TSTP Solution File: SYN819-1 by Gandalf---c-2.6
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Gandalf---c-2.6
% Problem : SYN819-1 : TPTP v3.4.2. Released v2.5.0.
% Transfm : add_equality:r
% Format : otter:hypothesis:set(auto),clear(print_given)
% Command : gandalf-wrapper -time %d %s
% Computer : art06.cs.miami.edu
% Model : i686 unknown
% CPU : Intel(R) Pentium(R) 4 CPU 2.80GHz @ 2793MHz
% Memory : 1000MB
% OS : Linux 2.4.22-21mdk-i686-up-4GB
% CPULimit : 600s
% Result : Unsatisfiable 9.9s
% Output : Assurance 9.9s
% Verified :
% SZS Type : None (Parsing solution fails)
% Syntax : Number of formulae : 0
% Comments :
%------------------------------------------------------------------------------
%----NO SOLUTION OUTPUT BY SYSTEM
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
%
% Gandalf c-2.6 r1 starting to prove: /home/graph/tptp/TSTP/PreparedTPTP/otter:hypothesis:set(auto),clear(print_given)---add_equality:r/SYN/SYN819-1+noeq.in
%
% Some predicates or functions were curried and renamed.
% Using automatic strategy selection.
% Time limit in seconds: 600
%
% prove-all-passes started
%
% detected problem class: nne
% detected subclass: big
%
% strategies selected:
% (hyper 30 #f 1 47)
% (binary-unit 30 #f 1 47)
% (binary-double 18 #f 1 47)
% (binary 90 #t 1 47)
% (binary-order 30 #f 1 47)
% (binary-posweight-order 54 #f)
% (binary-order-sos 30 #t)
% (binary-unit-uniteq 30 #f)
% (binary-weightorder 30 #f)
% (binary-weightorder-sos 30 #f)
% (binary-order 30 #f)
% (hyper-order 30 #f)
% (binary 168 #t)
%
%
% ********* EMPTY CLAUSE DERIVED *********
%
%
% timer checkpoints: c(544,40,36,1088,0,45)
%
%
% START OF PROOF
% 630 [] -ss^nder1_0(0) | -$ganappred17($ganc221,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8,X9,X10,X11) | -$ganappred17($ganc219,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8,X9,X10,X11) | -$ganappred17($ganc227,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8,X9,X10,X11) | $ganappred17($ganc255,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8,X9,X10,X11) | -$ganappred16($ganc193,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8,X9,X10) | -$ganappred15($ganc172,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8,X9) | -$ganappred14($ganc151,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8) | -$ganappred13($ganc129,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7) | -$ganappred12($ganc110,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6) | -$ganappred11($ganc93,X,Y,Z,U,V,W,X1,X2,X3,X4,X5) | -$ganappred10($ganc76,X,Y,Z,U,V,W,X1,X2,X3,X4) | -$ganappred9($ganc55,X,Y,Z,U,V,W,X1,X2,X3) | -$ganappred8($ganc35,X,Y,Z,U,V,W,X1,X2) | -$ganappred7($ganc17,X,Y,Z,U,V,W,X1) | -$ganappred6($ganc4,X,Y,Z,U,V,W) | -ss^nder1_5r1r1r1r1r1(X,Y,Z,U,V) | -ss^nder1_4r1r1r1r1(X,Y,Z,U) | -ss^nder1_3r1r1r1(X,Y,Z) | -ss^nder1_2r1r1(X,Y) | -ss^nder1_1r1(X).
% 631 [] -ss^nder1_0(0) | -$ganappred17($ganc223,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8,X9,X10,X11) | -$ganappred17($ganc255,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8,X9,X10,X11) | -$ganappred17($ganc234,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8,X9,X10,X11) | $ganappred17($ganc220,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8,X9,X10,X11) | -$ganappred16($ganc193,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8,X9,X10) | -$ganappred15($ganc172,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8,X9) | -$ganappred14($ganc151,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8) | -$ganappred13($ganc129,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7) | -$ganappred12($ganc110,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6) | -$ganappred11($ganc93,X,Y,Z,U,V,W,X1,X2,X3,X4,X5) | -$ganappred10($ganc76,X,Y,Z,U,V,W,X1,X2,X3,X4) | -$ganappred9($ganc55,X,Y,Z,U,V,W,X1,X2,X3) | -$ganappred8($ganc35,X,Y,Z,U,V,W,X1,X2) | -$ganappred7($ganc17,X,Y,Z,U,V,W,X1) | -$ganappred6($ganc4,X,Y,Z,U,V,W) | -ss^nder1_5r1r1r1r1r1(X,Y,Z,U,V) | -ss^nder1_4r1r1r1r1(X,Y,Z,U) | -ss^nder1_3r1r1r1(X,Y,Z) | -ss^nder1_2r1r1(X,Y) | -ss^nder1_1r1(X).
% 633 [] -ss^nder1_0(0) | -$ganappred17($ganc234,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8,X9,X10,X11) | -$ganappred17($ganc232,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8,X9,X10,X11) | $ganappred17($ganc255,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8,X9,X10,X11) | $ganappred17($ganc226,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8,X9,X10,X11) | -$ganappred16($ganc193,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8,X9,X10) | -$ganappred15($ganc172,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8,X9) | -$ganappred14($ganc151,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8) | -$ganappred13($ganc129,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7) | -$ganappred12($ganc110,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6) | -$ganappred11($ganc93,X,Y,Z,U,V,W,X1,X2,X3,X4,X5) | -$ganappred10($ganc76,X,Y,Z,U,V,W,X1,X2,X3,X4) | -$ganappred9($ganc55,X,Y,Z,U,V,W,X1,X2,X3) | -$ganappred8($ganc35,X,Y,Z,U,V,W,X1,X2) | -$ganappred7($ganc17,X,Y,Z,U,V,W,X1) | -$ganappred6($ganc4,X,Y,Z,U,V,W) | -ss^nder1_5r1r1r1r1r1(X,Y,Z,U,V) | -ss^nder1_4r1r1r1r1(X,Y,Z,U) | -ss^nder1_3r1r1r1(X,Y,Z) | -ss^nder1_2r1r1(X,Y) | -ss^nder1_1r1(X).
% 671 [] -ss^nder1_0(0) | -$ganappred16($ganc211,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8,X9,X10) | -$ganappred16($ganc173,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8,X9,X10) | -$ganappred16($ganc201,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8,X9,X10) | $ganappred16($ganc207,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8,X9,X10) | -$ganappred15($ganc172,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8,X9) | -$ganappred14($ganc151,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8) | -$ganappred13($ganc129,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7) | -$ganappred12($ganc110,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6) | -$ganappred11($ganc93,X,Y,Z,U,V,W,X1,X2,X3,X4,X5) | -$ganappred10($ganc76,X,Y,Z,U,V,W,X1,X2,X3,X4) | -$ganappred9($ganc55,X,Y,Z,U,V,W,X1,X2,X3) | -$ganappred8($ganc35,X,Y,Z,U,V,W,X1,X2) | -$ganappred7($ganc17,X,Y,Z,U,V,W,X1) | -$ganappred6($ganc4,X,Y,Z,U,V,W) | -ss^nder1_5r1r1r1r1r1(X,Y,Z,U,V) | -ss^nder1_4r1r1r1r1(X,Y,Z,U) | -ss^nder1_3r1r1r1(X,Y,Z) | -ss^nder1_2r1r1(X,Y) | -ss^nder1_1r1(X).
% 674 [] -ss^nder1_0(0) | -$ganappred16($ganc205,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8,X9,X10) | -$ganappred16($ganc173,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8,X9,X10) | -$ganappred16($ganc210,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8,X9,X10) | $ganappred16($ganc201,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8,X9,X10) | -$ganappred15($ganc172,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8,X9) | -$ganappred14($ganc151,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8) | -$ganappred13($ganc129,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7) | -$ganappred12($ganc110,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6) | -$ganappred11($ganc93,X,Y,Z,U,V,W,X1,X2,X3,X4,X5) | -$ganappred10($ganc76,X,Y,Z,U,V,W,X1,X2,X3,X4) | -$ganappred9($ganc55,X,Y,Z,U,V,W,X1,X2,X3) | -$ganappred8($ganc35,X,Y,Z,U,V,W,X1,X2) | -$ganappred7($ganc17,X,Y,Z,U,V,W,X1) | -$ganappred6($ganc4,X,Y,Z,U,V,W) | -ss^nder1_5r1r1r1r1r1(X,Y,Z,U,V) | -ss^nder1_4r1r1r1r1(X,Y,Z,U) | -ss^nder1_3r1r1r1(X,Y,Z) | -ss^nder1_2r1r1(X,Y) | -ss^nder1_1r1(X).
% 688 [] -ss^nder1_0(0) | -$ganappred17($ganc226,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8,X9,X10,X11) | -$ganappred16($ganc193,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8,X9,X10) | $ganappred16($ganc210,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8,X9,X10) | -$ganappred15($ganc172,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8,X9) | -$ganappred14($ganc151,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8) | -$ganappred13($ganc129,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7) | -$ganappred12($ganc110,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6) | -$ganappred11($ganc93,X,Y,Z,U,V,W,X1,X2,X3,X4,X5) | -$ganappred10($ganc76,X,Y,Z,U,V,W,X1,X2,X3,X4) | -$ganappred9($ganc55,X,Y,Z,U,V,W,X1,X2,X3) | -$ganappred8($ganc35,X,Y,Z,U,V,W,X1,X2) | -$ganappred7($ganc17,X,Y,Z,U,V,W,X1) | -$ganappred6($ganc4,X,Y,Z,U,V,W) | -ss^nder1_5r1r1r1r1r1(X,Y,Z,U,V) | -ss^nder1_4r1r1r1r1(X,Y,Z,U) | -ss^nder1_3r1r1r1(X,Y,Z) | -ss^nder1_2r1r1(X,Y) | -ss^nder1_1r1(X).
% 695 [] -ss^nder1_0(0) | $ganappred17($ganc219,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8,X9,X10,X11) | -$ganappred16($ganc204,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8,X9,X10) | -$ganappred16($ganc193,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8,X9,X10) | -$ganappred15($ganc172,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8,X9) | -$ganappred14($ganc151,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8) | -$ganappred13($ganc129,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7) | -$ganappred12($ganc110,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6) | -$ganappred11($ganc93,X,Y,Z,U,V,W,X1,X2,X3,X4,X5) | -$ganappred10($ganc76,X,Y,Z,U,V,W,X1,X2,X3,X4) | -$ganappred9($ganc55,X,Y,Z,U,V,W,X1,X2,X3) | -$ganappred8($ganc35,X,Y,Z,U,V,W,X1,X2) | -$ganappred7($ganc17,X,Y,Z,U,V,W,X1) | -$ganappred6($ganc4,X,Y,Z,U,V,W) | -ss^nder1_5r1r1r1r1r1(X,Y,Z,U,V) | -ss^nder1_4r1r1r1r1(X,Y,Z,U) | -ss^nder1_3r1r1r1(X,Y,Z) | -ss^nder1_2r1r1(X,Y) | -ss^nder1_1r1(X).
% 696 [] -ss^nder1_0(0) | $ganappred17($ganc234,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8,X9,X10,X11) | -$ganappred16($ganc203,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8,X9,X10) | -$ganappred16($ganc193,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8,X9,X10) | -$ganappred15($ganc172,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8,X9) | -$ganappred14($ganc151,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8) | -$ganappred13($ganc129,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7) | -$ganappred12($ganc110,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6) | -$ganappred11($ganc93,X,Y,Z,U,V,W,X1,X2,X3,X4,X5) | -$ganappred10($ganc76,X,Y,Z,U,V,W,X1,X2,X3,X4) | -$ganappred9($ganc55,X,Y,Z,U,V,W,X1,X2,X3) | -$ganappred8($ganc35,X,Y,Z,U,V,W,X1,X2) | -$ganappred7($ganc17,X,Y,Z,U,V,W,X1) | -$ganappred6($ganc4,X,Y,Z,U,V,W) | -ss^nder1_5r1r1r1r1r1(X,Y,Z,U,V) | -ss^nder1_4r1r1r1r1(X,Y,Z,U) | -ss^nder1_3r1r1r1(X,Y,Z) | -ss^nder1_2r1r1(X,Y) | -ss^nder1_1r1(X).
% 698 [] -ss^nder1_0(0) | $ganappred17($ganc232,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8,X9,X10,X11) | -$ganappred16($ganc201,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8,X9,X10) | -$ganappred16($ganc193,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8,X9,X10) | -$ganappred15($ganc172,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8,X9) | -$ganappred14($ganc151,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8) | -$ganappred13($ganc129,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7) | -$ganappred12($ganc110,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6) | -$ganappred11($ganc93,X,Y,Z,U,V,W,X1,X2,X3,X4,X5) | -$ganappred10($ganc76,X,Y,Z,U,V,W,X1,X2,X3,X4) | -$ganappred9($ganc55,X,Y,Z,U,V,W,X1,X2,X3) | -$ganappred8($ganc35,X,Y,Z,U,V,W,X1,X2) | -$ganappred7($ganc17,X,Y,Z,U,V,W,X1) | -$ganappred6($ganc4,X,Y,Z,U,V,W) | -ss^nder1_5r1r1r1r1r1(X,Y,Z,U,V) | -ss^nder1_4r1r1r1r1(X,Y,Z,U) | -ss^nder1_3r1r1r1(X,Y,Z) | -ss^nder1_2r1r1(X,Y) | -ss^nder1_1r1(X).
% 703 [] -ss^nder1_0(0) | $ganappred17($ganc227,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8,X9,X10,X11) | -$ganappred16($ganc211,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8,X9,X10) | -$ganappred16($ganc193,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8,X9,X10) | -$ganappred15($ganc172,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8,X9) | -$ganappred14($ganc151,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8) | -$ganappred13($ganc129,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7) | -$ganappred12($ganc110,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6) | -$ganappred11($ganc93,X,Y,Z,U,V,W,X1,X2,X3,X4,X5) | -$ganappred10($ganc76,X,Y,Z,U,V,W,X1,X2,X3,X4) | -$ganappred9($ganc55,X,Y,Z,U,V,W,X1,X2,X3) | -$ganappred8($ganc35,X,Y,Z,U,V,W,X1,X2) | -$ganappred7($ganc17,X,Y,Z,U,V,W,X1) | -$ganappred6($ganc4,X,Y,Z,U,V,W) | -ss^nder1_5r1r1r1r1r1(X,Y,Z,U,V) | -ss^nder1_4r1r1r1r1(X,Y,Z,U) | -ss^nder1_3r1r1r1(X,Y,Z) | -ss^nder1_2r1r1(X,Y) | -ss^nder1_1r1(X).
% 707 [] -ss^nder1_0(0) | $ganappred17($ganc223,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8,X9,X10,X11) | -$ganappred16($ganc207,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8,X9,X10) | -$ganappred16($ganc193,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8,X9,X10) | -$ganappred15($ganc172,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8,X9) | -$ganappred14($ganc151,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8) | -$ganappred13($ganc129,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7) | -$ganappred12($ganc110,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6) | -$ganappred11($ganc93,X,Y,Z,U,V,W,X1,X2,X3,X4,X5) | -$ganappred10($ganc76,X,Y,Z,U,V,W,X1,X2,X3,X4) | -$ganappred9($ganc55,X,Y,Z,U,V,W,X1,X2,X3) | -$ganappred8($ganc35,X,Y,Z,U,V,W,X1,X2) | -$ganappred7($ganc17,X,Y,Z,U,V,W,X1) | -$ganappred6($ganc4,X,Y,Z,U,V,W) | -ss^nder1_5r1r1r1r1r1(X,Y,Z,U,V) | -ss^nder1_4r1r1r1r1(X,Y,Z,U) | -ss^nder1_3r1r1r1(X,Y,Z) | -ss^nder1_2r1r1(X,Y) | -ss^nder1_1r1(X).
% 709 [] -ss^nder1_0(0) | $ganappred17($ganc221,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8,X9,X10,X11) | -$ganappred16($ganc205,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8,X9,X10) | -$ganappred16($ganc193,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8,X9,X10) | -$ganappred15($ganc172,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8,X9) | -$ganappred14($ganc151,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8) | -$ganappred13($ganc129,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7) | -$ganappred12($ganc110,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6) | -$ganappred11($ganc93,X,Y,Z,U,V,W,X1,X2,X3,X4,X5) | -$ganappred10($ganc76,X,Y,Z,U,V,W,X1,X2,X3,X4) | -$ganappred9($ganc55,X,Y,Z,U,V,W,X1,X2,X3) | -$ganappred8($ganc35,X,Y,Z,U,V,W,X1,X2) | -$ganappred7($ganc17,X,Y,Z,U,V,W,X1) | -$ganappred6($ganc4,X,Y,Z,U,V,W) | -ss^nder1_5r1r1r1r1r1(X,Y,Z,U,V) | -ss^nder1_4r1r1r1r1(X,Y,Z,U) | -ss^nder1_3r1r1r1(X,Y,Z) | -ss^nder1_2r1r1(X,Y) | -ss^nder1_1r1(X).
% 710 [] -ss^nder1_0(0) | -$ganappred17($ganc220,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8,X9,X10,X11) | -$ganappred16($ganc193,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8,X9,X10) | $ganappred16($ganc173,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8,X9,X10) | -$ganappred15($ganc172,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8,X9) | -$ganappred14($ganc151,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8) | -$ganappred13($ganc129,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7) | -$ganappred12($ganc110,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6) | -$ganappred11($ganc93,X,Y,Z,U,V,W,X1,X2,X3,X4,X5) | -$ganappred10($ganc76,X,Y,Z,U,V,W,X1,X2,X3,X4) | -$ganappred9($ganc55,X,Y,Z,U,V,W,X1,X2,X3) | -$ganappred8($ganc35,X,Y,Z,U,V,W,X1,X2) | -$ganappred7($ganc17,X,Y,Z,U,V,W,X1) | -$ganappred6($ganc4,X,Y,Z,U,V,W) | -ss^nder1_5r1r1r1r1r1(X,Y,Z,U,V) | -ss^nder1_4r1r1r1r1(X,Y,Z,U) | -ss^nder1_3r1r1r1(X,Y,Z) | -ss^nder1_2r1r1(X,Y) | -ss^nder1_1r1(X).
% 716 [] -ss^nder1_0(0) | -$ganappred15($ganc152,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8,X9) | -$ganappred15($ganc187,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8,X9) | $ganappred15($ganc186,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8,X9) | $ganappred15($ganc189,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8,X9) | -$ganappred14($ganc151,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8) | -$ganappred13($ganc129,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7) | -$ganappred12($ganc110,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6) | -$ganappred11($ganc93,X,Y,Z,U,V,W,X1,X2,X3,X4,X5) | -$ganappred10($ganc76,X,Y,Z,U,V,W,X1,X2,X3,X4) | -$ganappred9($ganc55,X,Y,Z,U,V,W,X1,X2,X3) | -$ganappred8($ganc35,X,Y,Z,U,V,W,X1,X2) | -$ganappred7($ganc17,X,Y,Z,U,V,W,X1) | -$ganappred6($ganc4,X,Y,Z,U,V,W) | -ss^nder1_5r1r1r1r1r1(X,Y,Z,U,V) | -ss^nder1_4r1r1r1r1(X,Y,Z,U) | -ss^nder1_3r1r1r1(X,Y,Z) | -ss^nder1_2r1r1(X,Y) | -ss^nder1_1r1(X).
% 723 [] -ss^nder1_0(0) | $ganappred16($ganc211,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8,X9,X10) | -$ganappred15($ganc181,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8,X9) | -$ganappred15($ganc172,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8,X9) | -$ganappred14($ganc151,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8) | -$ganappred13($ganc129,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7) | -$ganappred12($ganc110,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6) | -$ganappred11($ganc93,X,Y,Z,U,V,W,X1,X2,X3,X4,X5) | -$ganappred10($ganc76,X,Y,Z,U,V,W,X1,X2,X3,X4) | -$ganappred9($ganc55,X,Y,Z,U,V,W,X1,X2,X3) | -$ganappred8($ganc35,X,Y,Z,U,V,W,X1,X2) | -$ganappred7($ganc17,X,Y,Z,U,V,W,X1) | -$ganappred6($ganc4,X,Y,Z,U,V,W) | -ss^nder1_5r1r1r1r1r1(X,Y,Z,U,V) | -ss^nder1_4r1r1r1r1(X,Y,Z,U) | -ss^nder1_3r1r1r1(X,Y,Z) | -ss^nder1_2r1r1(X,Y) | -ss^nder1_1r1(X).
% 724 [] -ss^nder1_0(0) | $ganappred16($ganc210,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8,X9,X10) | -$ganappred15($ganc180,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8,X9) | -$ganappred15($ganc172,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8,X9) | -$ganappred14($ganc151,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8) | -$ganappred13($ganc129,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7) | -$ganappred12($ganc110,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6) | -$ganappred11($ganc93,X,Y,Z,U,V,W,X1,X2,X3,X4,X5) | -$ganappred10($ganc76,X,Y,Z,U,V,W,X1,X2,X3,X4) | -$ganappred9($ganc55,X,Y,Z,U,V,W,X1,X2,X3) | -$ganappred8($ganc35,X,Y,Z,U,V,W,X1,X2) | -$ganappred7($ganc17,X,Y,Z,U,V,W,X1) | -$ganappred6($ganc4,X,Y,Z,U,V,W) | -ss^nder1_5r1r1r1r1r1(X,Y,Z,U,V) | -ss^nder1_4r1r1r1r1(X,Y,Z,U) | -ss^nder1_3r1r1r1(X,Y,Z) | -ss^nder1_2r1r1(X,Y) | -ss^nder1_1r1(X).
% 727 [] -ss^nder1_0(0) | $ganappred16($ganc207,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8,X9,X10) | -$ganappred15($ganc191,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8,X9) | -$ganappred15($ganc172,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8,X9) | -$ganappred14($ganc151,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8) | -$ganappred13($ganc129,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7) | -$ganappred12($ganc110,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6) | -$ganappred11($ganc93,X,Y,Z,U,V,W,X1,X2,X3,X4,X5) | -$ganappred10($ganc76,X,Y,Z,U,V,W,X1,X2,X3,X4) | -$ganappred9($ganc55,X,Y,Z,U,V,W,X1,X2,X3) | -$ganappred8($ganc35,X,Y,Z,U,V,W,X1,X2) | -$ganappred7($ganc17,X,Y,Z,U,V,W,X1) | -$ganappred6($ganc4,X,Y,Z,U,V,W) | -ss^nder1_5r1r1r1r1r1(X,Y,Z,U,V) | -ss^nder1_4r1r1r1r1(X,Y,Z,U) | -ss^nder1_3r1r1r1(X,Y,Z) | -ss^nder1_2r1r1(X,Y) | -ss^nder1_1r1(X).
% 729 [] -ss^nder1_0(0) | $ganappred16($ganc205,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8,X9,X10) | -$ganappred15($ganc189,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8,X9) | -$ganappred15($ganc172,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8,X9) | -$ganappred14($ganc151,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8) | -$ganappred13($ganc129,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7) | -$ganappred12($ganc110,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6) | -$ganappred11($ganc93,X,Y,Z,U,V,W,X1,X2,X3,X4,X5) | -$ganappred10($ganc76,X,Y,Z,U,V,W,X1,X2,X3,X4) | -$ganappred9($ganc55,X,Y,Z,U,V,W,X1,X2,X3) | -$ganappred8($ganc35,X,Y,Z,U,V,W,X1,X2) | -$ganappred7($ganc17,X,Y,Z,U,V,W,X1) | -$ganappred6($ganc4,X,Y,Z,U,V,W) | -ss^nder1_5r1r1r1r1r1(X,Y,Z,U,V) | -ss^nder1_4r1r1r1r1(X,Y,Z,U) | -ss^nder1_3r1r1r1(X,Y,Z) | -ss^nder1_2r1r1(X,Y) | -ss^nder1_1r1(X).
% 739 [] -ss^nder1_0(0) | -$ganappred16($ganc210,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8,X9,X10) | -$ganappred15($ganc172,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8,X9) | $ganappred15($ganc180,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8,X9) | -$ganappred14($ganc151,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8) | -$ganappred13($ganc129,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7) | -$ganappred12($ganc110,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6) | -$ganappred11($ganc93,X,Y,Z,U,V,W,X1,X2,X3,X4,X5) | -$ganappred10($ganc76,X,Y,Z,U,V,W,X1,X2,X3,X4) | -$ganappred9($ganc55,X,Y,Z,U,V,W,X1,X2,X3) | -$ganappred8($ganc35,X,Y,Z,U,V,W,X1,X2) | -$ganappred7($ganc17,X,Y,Z,U,V,W,X1) | -$ganappred6($ganc4,X,Y,Z,U,V,W) | -ss^nder1_5r1r1r1r1r1(X,Y,Z,U,V) | -ss^nder1_4r1r1r1r1(X,Y,Z,U) | -ss^nder1_3r1r1r1(X,Y,Z) | -ss^nder1_2r1r1(X,Y) | -ss^nder1_1r1(X).
% 742 [] -ss^nder1_0(0) | -$ganappred16($ganc207,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8,X9,X10) | -$ganappred15($ganc172,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8,X9) | $ganappred15($ganc191,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8,X9) | -$ganappred14($ganc151,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8) | -$ganappred13($ganc129,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7) | -$ganappred12($ganc110,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6) | -$ganappred11($ganc93,X,Y,Z,U,V,W,X1,X2,X3,X4,X5) | -$ganappred10($ganc76,X,Y,Z,U,V,W,X1,X2,X3,X4) | -$ganappred9($ganc55,X,Y,Z,U,V,W,X1,X2,X3) | -$ganappred8($ganc35,X,Y,Z,U,V,W,X1,X2) | -$ganappred7($ganc17,X,Y,Z,U,V,W,X1) | -$ganappred6($ganc4,X,Y,Z,U,V,W) | -ss^nder1_5r1r1r1r1r1(X,Y,Z,U,V) | -ss^nder1_4r1r1r1r1(X,Y,Z,U) | -ss^nder1_3r1r1r1(X,Y,Z) | -ss^nder1_2r1r1(X,Y) | -ss^nder1_1r1(X).
% 745 [] -ss^nder1_0(0) | $ganappred16($ganc204,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8,X9,X10) | -$ganappred15($ganc152,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8,X9) | -$ganappred15($ganc172,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8,X9) | -$ganappred14($ganc151,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8) | -$ganappred13($ganc129,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7) | -$ganappred12($ganc110,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6) | -$ganappred11($ganc93,X,Y,Z,U,V,W,X1,X2,X3,X4,X5) | -$ganappred10($ganc76,X,Y,Z,U,V,W,X1,X2,X3,X4) | -$ganappred9($ganc55,X,Y,Z,U,V,W,X1,X2,X3) | -$ganappred8($ganc35,X,Y,Z,U,V,W,X1,X2) | -$ganappred7($ganc17,X,Y,Z,U,V,W,X1) | -$ganappred6($ganc4,X,Y,Z,U,V,W) | -ss^nder1_5r1r1r1r1r1(X,Y,Z,U,V) | -ss^nder1_4r1r1r1r1(X,Y,Z,U) | -ss^nder1_3r1r1r1(X,Y,Z) | -ss^nder1_2r1r1(X,Y) | -ss^nder1_1r1(X).
% 746 [] -ss^nder1_0(0) | $ganappred16($ganc203,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8,X9,X10) | -$ganappred15($ganc188,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8,X9) | -$ganappred15($ganc172,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8,X9) | -$ganappred14($ganc151,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8) | -$ganappred13($ganc129,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7) | -$ganappred12($ganc110,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6) | -$ganappred11($ganc93,X,Y,Z,U,V,W,X1,X2,X3,X4,X5) | -$ganappred10($ganc76,X,Y,Z,U,V,W,X1,X2,X3,X4) | -$ganappred9($ganc55,X,Y,Z,U,V,W,X1,X2,X3) | -$ganappred8($ganc35,X,Y,Z,U,V,W,X1,X2) | -$ganappred7($ganc17,X,Y,Z,U,V,W,X1) | -$ganappred6($ganc4,X,Y,Z,U,V,W) | -ss^nder1_5r1r1r1r1r1(X,Y,Z,U,V) | -ss^nder1_4r1r1r1r1(X,Y,Z,U) | -ss^nder1_3r1r1r1(X,Y,Z) | -ss^nder1_2r1r1(X,Y) | -ss^nder1_1r1(X).
% 748 [] -ss^nder1_0(0) | $ganappred16($ganc201,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8,X9,X10) | -$ganappred15($ganc186,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8,X9) | -$ganappred15($ganc172,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8,X9) | -$ganappred14($ganc151,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8) | -$ganappred13($ganc129,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7) | -$ganappred12($ganc110,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6) | -$ganappred11($ganc93,X,Y,Z,U,V,W,X1,X2,X3,X4,X5) | -$ganappred10($ganc76,X,Y,Z,U,V,W,X1,X2,X3,X4) | -$ganappred9($ganc55,X,Y,Z,U,V,W,X1,X2,X3) | -$ganappred8($ganc35,X,Y,Z,U,V,W,X1,X2) | -$ganappred7($ganc17,X,Y,Z,U,V,W,X1) | -$ganappred6($ganc4,X,Y,Z,U,V,W) | -ss^nder1_5r1r1r1r1r1(X,Y,Z,U,V) | -ss^nder1_4r1r1r1r1(X,Y,Z,U) | -ss^nder1_3r1r1r1(X,Y,Z) | -ss^nder1_2r1r1(X,Y) | -ss^nder1_1r1(X).
% 759 [] -ss^nder1_0(0) | $ganappred16($ganc193,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8,X9,X10) | -$ganappred15($ganc172,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8,X9) | -$ganappred14($ganc151,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8) | -$ganappred13($ganc129,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7) | -$ganappred12($ganc110,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6) | -$ganappred11($ganc93,X,Y,Z,U,V,W,X1,X2,X3,X4,X5) | -$ganappred10($ganc76,X,Y,Z,U,V,W,X1,X2,X3,X4) | -$ganappred9($ganc55,X,Y,Z,U,V,W,X1,X2,X3) | -$ganappred8($ganc35,X,Y,Z,U,V,W,X1,X2) | -$ganappred7($ganc17,X,Y,Z,U,V,W,X1) | -$ganappred6($ganc4,X,Y,Z,U,V,W) | -ss^nder1_5r1r1r1r1r1(X,Y,Z,U,V) | -ss^nder1_4r1r1r1r1(X,Y,Z,U) | -ss^nder1_3r1r1r1(X,Y,Z) | -ss^nder1_2r1r1(X,Y) | -ss^nder1_1r1(X).
% 761 [] -ss^nder1_0(0) | -$ganappred15($ganc191,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8,X9) | -$ganappred14($ganc151,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8) | $ganappred14($ganc162,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8) | -$ganappred13($ganc129,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7) | -$ganappred12($ganc110,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6) | -$ganappred11($ganc93,X,Y,Z,U,V,W,X1,X2,X3,X4,X5) | -$ganappred10($ganc76,X,Y,Z,U,V,W,X1,X2,X3,X4) | -$ganappred9($ganc55,X,Y,Z,U,V,W,X1,X2,X3) | -$ganappred8($ganc35,X,Y,Z,U,V,W,X1,X2) | -$ganappred7($ganc17,X,Y,Z,U,V,W,X1) | -$ganappred6($ganc4,X,Y,Z,U,V,W) | -ss^nder1_5r1r1r1r1r1(X,Y,Z,U,V) | -ss^nder1_4r1r1r1r1(X,Y,Z,U) | -ss^nder1_3r1r1r1(X,Y,Z) | -ss^nder1_2r1r1(X,Y) | -ss^nder1_1r1(X).
% 763 [] -ss^nder1_0(0) | -$ganappred15($ganc189,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8,X9) | -$ganappred14($ganc151,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8) | $ganappred14($ganc160,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8) | -$ganappred13($ganc129,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7) | -$ganappred12($ganc110,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6) | -$ganappred11($ganc93,X,Y,Z,U,V,W,X1,X2,X3,X4,X5) | -$ganappred10($ganc76,X,Y,Z,U,V,W,X1,X2,X3,X4) | -$ganappred9($ganc55,X,Y,Z,U,V,W,X1,X2,X3) | -$ganappred8($ganc35,X,Y,Z,U,V,W,X1,X2) | -$ganappred7($ganc17,X,Y,Z,U,V,W,X1) | -$ganappred6($ganc4,X,Y,Z,U,V,W) | -ss^nder1_5r1r1r1r1r1(X,Y,Z,U,V) | -ss^nder1_4r1r1r1r1(X,Y,Z,U) | -ss^nder1_3r1r1r1(X,Y,Z) | -ss^nder1_2r1r1(X,Y) | -ss^nder1_1r1(X).
% 764 [] -ss^nder1_0(0) | $ganappred15($ganc188,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8,X9) | -$ganappred14($ganc130,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8) | -$ganappred14($ganc151,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8) | -$ganappred13($ganc129,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7) | -$ganappred12($ganc110,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6) | -$ganappred11($ganc93,X,Y,Z,U,V,W,X1,X2,X3,X4,X5) | -$ganappred10($ganc76,X,Y,Z,U,V,W,X1,X2,X3,X4) | -$ganappred9($ganc55,X,Y,Z,U,V,W,X1,X2,X3) | -$ganappred8($ganc35,X,Y,Z,U,V,W,X1,X2) | -$ganappred7($ganc17,X,Y,Z,U,V,W,X1) | -$ganappred6($ganc4,X,Y,Z,U,V,W) | -ss^nder1_5r1r1r1r1r1(X,Y,Z,U,V) | -ss^nder1_4r1r1r1r1(X,Y,Z,U) | -ss^nder1_3r1r1r1(X,Y,Z) | -ss^nder1_2r1r1(X,Y) | -ss^nder1_1r1(X).
% 765 [] -ss^nder1_0(0) | $ganappred15($ganc187,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8,X9) | -$ganappred14($ganc159,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8) | -$ganappred14($ganc151,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8) | -$ganappred13($ganc129,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7) | -$ganappred12($ganc110,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6) | -$ganappred11($ganc93,X,Y,Z,U,V,W,X1,X2,X3,X4,X5) | -$ganappred10($ganc76,X,Y,Z,U,V,W,X1,X2,X3,X4) | -$ganappred9($ganc55,X,Y,Z,U,V,W,X1,X2,X3) | -$ganappred8($ganc35,X,Y,Z,U,V,W,X1,X2) | -$ganappred7($ganc17,X,Y,Z,U,V,W,X1) | -$ganappred6($ganc4,X,Y,Z,U,V,W) | -ss^nder1_5r1r1r1r1r1(X,Y,Z,U,V) | -ss^nder1_4r1r1r1r1(X,Y,Z,U) | -ss^nder1_3r1r1r1(X,Y,Z) | -ss^nder1_2r1r1(X,Y) | -ss^nder1_1r1(X).
% 766 [] -ss^nder1_0(0) | $ganappred15($ganc186,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8,X9) | -$ganappred14($ganc171,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8) | -$ganappred14($ganc151,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8) | -$ganappred13($ganc129,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7) | -$ganappred12($ganc110,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6) | -$ganappred11($ganc93,X,Y,Z,U,V,W,X1,X2,X3,X4,X5) | -$ganappred10($ganc76,X,Y,Z,U,V,W,X1,X2,X3,X4) | -$ganappred9($ganc55,X,Y,Z,U,V,W,X1,X2,X3) | -$ganappred8($ganc35,X,Y,Z,U,V,W,X1,X2) | -$ganappred7($ganc17,X,Y,Z,U,V,W,X1) | -$ganappred6($ganc4,X,Y,Z,U,V,W) | -ss^nder1_5r1r1r1r1r1(X,Y,Z,U,V) | -ss^nder1_4r1r1r1r1(X,Y,Z,U) | -ss^nder1_3r1r1r1(X,Y,Z) | -ss^nder1_2r1r1(X,Y) | -ss^nder1_1r1(X).
% 771 [] -ss^nder1_0(0) | $ganappred15($ganc181,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8,X9) | -$ganappred14($ganc166,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8) | -$ganappred14($ganc151,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8) | -$ganappred13($ganc129,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7) | -$ganappred12($ganc110,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6) | -$ganappred11($ganc93,X,Y,Z,U,V,W,X1,X2,X3,X4,X5) | -$ganappred10($ganc76,X,Y,Z,U,V,W,X1,X2,X3,X4) | -$ganappred9($ganc55,X,Y,Z,U,V,W,X1,X2,X3) | -$ganappred8($ganc35,X,Y,Z,U,V,W,X1,X2) | -$ganappred7($ganc17,X,Y,Z,U,V,W,X1) | -$ganappred6($ganc4,X,Y,Z,U,V,W) | -ss^nder1_5r1r1r1r1r1(X,Y,Z,U,V) | -ss^nder1_4r1r1r1r1(X,Y,Z,U) | -ss^nder1_3r1r1r1(X,Y,Z) | -ss^nder1_2r1r1(X,Y) | -ss^nder1_1r1(X).
% 772 [] -ss^nder1_0(0) | $ganappred15($ganc180,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8,X9) | -$ganappred14($ganc165,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8) | -$ganappred14($ganc151,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8) | -$ganappred13($ganc129,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7) | -$ganappred12($ganc110,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6) | -$ganappred11($ganc93,X,Y,Z,U,V,W,X1,X2,X3,X4,X5) | -$ganappred10($ganc76,X,Y,Z,U,V,W,X1,X2,X3,X4) | -$ganappred9($ganc55,X,Y,Z,U,V,W,X1,X2,X3) | -$ganappred8($ganc35,X,Y,Z,U,V,W,X1,X2) | -$ganappred7($ganc17,X,Y,Z,U,V,W,X1) | -$ganappred6($ganc4,X,Y,Z,U,V,W) | -ss^nder1_5r1r1r1r1r1(X,Y,Z,U,V) | -ss^nder1_4r1r1r1r1(X,Y,Z,U) | -ss^nder1_3r1r1r1(X,Y,Z) | -ss^nder1_2r1r1(X,Y) | -ss^nder1_1r1(X).
% 775 [] -ss^nder1_0(0) | $ganappred15($ganc191,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8,X9) | -$ganappred14($ganc162,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8) | -$ganappred14($ganc151,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8) | -$ganappred13($ganc129,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7) | -$ganappred12($ganc110,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6) | -$ganappred11($ganc93,X,Y,Z,U,V,W,X1,X2,X3,X4,X5) | -$ganappred10($ganc76,X,Y,Z,U,V,W,X1,X2,X3,X4) | -$ganappred9($ganc55,X,Y,Z,U,V,W,X1,X2,X3) | -$ganappred8($ganc35,X,Y,Z,U,V,W,X1,X2) | -$ganappred7($ganc17,X,Y,Z,U,V,W,X1) | -$ganappred6($ganc4,X,Y,Z,U,V,W) | -ss^nder1_5r1r1r1r1r1(X,Y,Z,U,V) | -ss^nder1_4r1r1r1r1(X,Y,Z,U) | -ss^nder1_3r1r1r1(X,Y,Z) | -ss^nder1_2r1r1(X,Y) | -ss^nder1_1r1(X).
% 777 [] -ss^nder1_0(0) | $ganappred15($ganc189,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8,X9) | -$ganappred14($ganc160,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8) | -$ganappred14($ganc151,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8) | -$ganappred13($ganc129,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7) | -$ganappred12($ganc110,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6) | -$ganappred11($ganc93,X,Y,Z,U,V,W,X1,X2,X3,X4,X5) | -$ganappred10($ganc76,X,Y,Z,U,V,W,X1,X2,X3,X4) | -$ganappred9($ganc55,X,Y,Z,U,V,W,X1,X2,X3) | -$ganappred8($ganc35,X,Y,Z,U,V,W,X1,X2) | -$ganappred7($ganc17,X,Y,Z,U,V,W,X1) | -$ganappred6($ganc4,X,Y,Z,U,V,W) | -ss^nder1_5r1r1r1r1r1(X,Y,Z,U,V) | -ss^nder1_4r1r1r1r1(X,Y,Z,U) | -ss^nder1_3r1r1r1(X,Y,Z) | -ss^nder1_2r1r1(X,Y) | -ss^nder1_1r1(X).
% 780 [] -ss^nder1_0(0) | -$ganappred15($ganc186,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8,X9) | -$ganappred14($ganc151,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8) | $ganappred14($ganc171,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8) | -$ganappred13($ganc129,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7) | -$ganappred12($ganc110,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6) | -$ganappred11($ganc93,X,Y,Z,U,V,W,X1,X2,X3,X4,X5) | -$ganappred10($ganc76,X,Y,Z,U,V,W,X1,X2,X3,X4) | -$ganappred9($ganc55,X,Y,Z,U,V,W,X1,X2,X3) | -$ganappred8($ganc35,X,Y,Z,U,V,W,X1,X2) | -$ganappred7($ganc17,X,Y,Z,U,V,W,X1) | -$ganappred6($ganc4,X,Y,Z,U,V,W) | -ss^nder1_5r1r1r1r1r1(X,Y,Z,U,V) | -ss^nder1_4r1r1r1r1(X,Y,Z,U) | -ss^nder1_3r1r1r1(X,Y,Z) | -ss^nder1_2r1r1(X,Y) | -ss^nder1_1r1(X).
% 786 [] -ss^nder1_0(0) | -$ganappred15($ganc180,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8,X9) | -$ganappred14($ganc151,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8) | $ganappred14($ganc165,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8) | -$ganappred13($ganc129,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7) | -$ganappred12($ganc110,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6) | -$ganappred11($ganc93,X,Y,Z,U,V,W,X1,X2,X3,X4,X5) | -$ganappred10($ganc76,X,Y,Z,U,V,W,X1,X2,X3,X4) | -$ganappred9($ganc55,X,Y,Z,U,V,W,X1,X2,X3) | -$ganappred8($ganc35,X,Y,Z,U,V,W,X1,X2) | -$ganappred7($ganc17,X,Y,Z,U,V,W,X1) | -$ganappred6($ganc4,X,Y,Z,U,V,W) | -ss^nder1_5r1r1r1r1r1(X,Y,Z,U,V) | -ss^nder1_4r1r1r1r1(X,Y,Z,U) | -ss^nder1_3r1r1r1(X,Y,Z) | -ss^nder1_2r1r1(X,Y) | -ss^nder1_1r1(X).
% 796 [] -ss^nder1_0(0) | $ganappred16($ganc173,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8,X9,skc16) | -$ganappred14($ganc151,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8) | -$ganappred13($ganc129,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7) | -$ganappred12($ganc110,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6) | -$ganappred11($ganc93,X,Y,Z,U,V,W,X1,X2,X3,X4,X5) | -$ganappred10($ganc76,X,Y,Z,U,V,W,X1,X2,X3,X4) | -$ganappred9($ganc55,X,Y,Z,U,V,W,X1,X2,X3) | -$ganappred8($ganc35,X,Y,Z,U,V,W,X1,X2) | -$ganappred7($ganc17,X,Y,Z,U,V,W,X1) | -$ganappred6($ganc4,X,Y,Z,U,V,W) | -ss^nder1_5r1r1r1r1r1(X,Y,Z,U,V) | -ss^nder1_4r1r1r1r1(X,Y,Z,U) | -ss^nder1_3r1r1r1(X,Y,Z) | -ss^nder1_2r1r1(X,Y) | -ss^nder1_1r1(X).
% 797 [] -ss^nder1_0(0) | $ganappred15($ganc172,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8,X9) | -$ganappred14($ganc151,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8) | -$ganappred13($ganc129,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7) | -$ganappred12($ganc110,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6) | -$ganappred11($ganc93,X,Y,Z,U,V,W,X1,X2,X3,X4,X5) | -$ganappred10($ganc76,X,Y,Z,U,V,W,X1,X2,X3,X4) | -$ganappred9($ganc55,X,Y,Z,U,V,W,X1,X2,X3) | -$ganappred8($ganc35,X,Y,Z,U,V,W,X1,X2) | -$ganappred7($ganc17,X,Y,Z,U,V,W,X1) | -$ganappred6($ganc4,X,Y,Z,U,V,W) | -ss^nder1_5r1r1r1r1r1(X,Y,Z,U,V) | -ss^nder1_4r1r1r1r1(X,Y,Z,U) | -ss^nder1_3r1r1r1(X,Y,Z) | -ss^nder1_2r1r1(X,Y) | -ss^nder1_1r1(X).
% 799 [] -ss^nder1_0(0) | -$ganappred14($ganc171,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8) | -$ganappred13($ganc129,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7) | $ganappred13($ganc145,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7) | -$ganappred12($ganc110,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6) | -$ganappred11($ganc93,X,Y,Z,U,V,W,X1,X2,X3,X4,X5) | -$ganappred10($ganc76,X,Y,Z,U,V,W,X1,X2,X3,X4) | -$ganappred9($ganc55,X,Y,Z,U,V,W,X1,X2,X3) | -$ganappred8($ganc35,X,Y,Z,U,V,W,X1,X2) | -$ganappred7($ganc17,X,Y,Z,U,V,W,X1) | -$ganappred6($ganc4,X,Y,Z,U,V,W) | -ss^nder1_5r1r1r1r1r1(X,Y,Z,U,V) | -ss^nder1_4r1r1r1r1(X,Y,Z,U) | -ss^nder1_3r1r1r1(X,Y,Z) | -ss^nder1_2r1r1(X,Y) | -ss^nder1_1r1(X).
% 805 [] -ss^nder1_0(0) | -$ganappred14($ganc165,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8) | -$ganappred13($ganc129,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7) | $ganappred13($ganc138,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7) | -$ganappred12($ganc110,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6) | -$ganappred11($ganc93,X,Y,Z,U,V,W,X1,X2,X3,X4,X5) | -$ganappred10($ganc76,X,Y,Z,U,V,W,X1,X2,X3,X4) | -$ganappred9($ganc55,X,Y,Z,U,V,W,X1,X2,X3) | -$ganappred8($ganc35,X,Y,Z,U,V,W,X1,X2) | -$ganappred7($ganc17,X,Y,Z,U,V,W,X1) | -$ganappred6($ganc4,X,Y,Z,U,V,W) | -ss^nder1_5r1r1r1r1r1(X,Y,Z,U,V) | -ss^nder1_4r1r1r1r1(X,Y,Z,U) | -ss^nder1_3r1r1r1(X,Y,Z) | -ss^nder1_2r1r1(X,Y) | -ss^nder1_1r1(X).
% 808 [] -ss^nder1_0(0) | -$ganappred14($ganc162,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8) | -$ganappred13($ganc129,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7) | $ganappred13($ganc148,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7) | -$ganappred12($ganc110,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6) | -$ganappred11($ganc93,X,Y,Z,U,V,W,X1,X2,X3,X4,X5) | -$ganappred10($ganc76,X,Y,Z,U,V,W,X1,X2,X3,X4) | -$ganappred9($ganc55,X,Y,Z,U,V,W,X1,X2,X3) | -$ganappred8($ganc35,X,Y,Z,U,V,W,X1,X2) | -$ganappred7($ganc17,X,Y,Z,U,V,W,X1) | -$ganappred6($ganc4,X,Y,Z,U,V,W) | -ss^nder1_5r1r1r1r1r1(X,Y,Z,U,V) | -ss^nder1_4r1r1r1r1(X,Y,Z,U) | -ss^nder1_3r1r1r1(X,Y,Z) | -ss^nder1_2r1r1(X,Y) | -ss^nder1_1r1(X).
% 810 [] -ss^nder1_0(0) | -$ganappred14($ganc160,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8) | -$ganappred13($ganc129,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7) | $ganappred13($ganc146,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7) | -$ganappred12($ganc110,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6) | -$ganappred11($ganc93,X,Y,Z,U,V,W,X1,X2,X3,X4,X5) | -$ganappred10($ganc76,X,Y,Z,U,V,W,X1,X2,X3,X4) | -$ganappred9($ganc55,X,Y,Z,U,V,W,X1,X2,X3) | -$ganappred8($ganc35,X,Y,Z,U,V,W,X1,X2) | -$ganappred7($ganc17,X,Y,Z,U,V,W,X1) | -$ganappred6($ganc4,X,Y,Z,U,V,W) | -ss^nder1_5r1r1r1r1r1(X,Y,Z,U,V) | -ss^nder1_4r1r1r1r1(X,Y,Z,U) | -ss^nder1_3r1r1r1(X,Y,Z) | -ss^nder1_2r1r1(X,Y) | -ss^nder1_1r1(X).
% 811 [] -ss^nder1_0(0) | $ganappred14($ganc159,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8) | -$ganappred13($ganc111,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7) | -$ganappred13($ganc129,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7) | -$ganappred12($ganc110,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6) | -$ganappred11($ganc93,X,Y,Z,U,V,W,X1,X2,X3,X4,X5) | -$ganappred10($ganc76,X,Y,Z,U,V,W,X1,X2,X3,X4) | -$ganappred9($ganc55,X,Y,Z,U,V,W,X1,X2,X3) | -$ganappred8($ganc35,X,Y,Z,U,V,W,X1,X2) | -$ganappred7($ganc17,X,Y,Z,U,V,W,X1) | -$ganappred6($ganc4,X,Y,Z,U,V,W) | -ss^nder1_5r1r1r1r1r1(X,Y,Z,U,V) | -ss^nder1_4r1r1r1r1(X,Y,Z,U) | -ss^nder1_3r1r1r1(X,Y,Z) | -ss^nder1_2r1r1(X,Y) | -ss^nder1_1r1(X).
% 812 [] -ss^nder1_0(0) | $ganappred14($ganc171,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8) | -$ganappred13($ganc145,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7) | -$ganappred13($ganc129,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7) | -$ganappred12($ganc110,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6) | -$ganappred11($ganc93,X,Y,Z,U,V,W,X1,X2,X3,X4,X5) | -$ganappred10($ganc76,X,Y,Z,U,V,W,X1,X2,X3,X4) | -$ganappred9($ganc55,X,Y,Z,U,V,W,X1,X2,X3) | -$ganappred8($ganc35,X,Y,Z,U,V,W,X1,X2) | -$ganappred7($ganc17,X,Y,Z,U,V,W,X1) | -$ganappred6($ganc4,X,Y,Z,U,V,W) | -ss^nder1_5r1r1r1r1r1(X,Y,Z,U,V) | -ss^nder1_4r1r1r1r1(X,Y,Z,U) | -ss^nder1_3r1r1r1(X,Y,Z) | -ss^nder1_2r1r1(X,Y) | -ss^nder1_1r1(X).
% 817 [] -ss^nder1_0(0) | $ganappred14($ganc166,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8) | -$ganappred13($ganc139,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7) | -$ganappred13($ganc129,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7) | -$ganappred12($ganc110,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6) | -$ganappred11($ganc93,X,Y,Z,U,V,W,X1,X2,X3,X4,X5) | -$ganappred10($ganc76,X,Y,Z,U,V,W,X1,X2,X3,X4) | -$ganappred9($ganc55,X,Y,Z,U,V,W,X1,X2,X3) | -$ganappred8($ganc35,X,Y,Z,U,V,W,X1,X2) | -$ganappred7($ganc17,X,Y,Z,U,V,W,X1) | -$ganappred6($ganc4,X,Y,Z,U,V,W) | -ss^nder1_5r1r1r1r1r1(X,Y,Z,U,V) | -ss^nder1_4r1r1r1r1(X,Y,Z,U) | -ss^nder1_3r1r1r1(X,Y,Z) | -ss^nder1_2r1r1(X,Y) | -ss^nder1_1r1(X).
% 818 [] -ss^nder1_0(0) | $ganappred14($ganc165,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8) | -$ganappred13($ganc138,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7) | -$ganappred13($ganc129,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7) | -$ganappred12($ganc110,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6) | -$ganappred11($ganc93,X,Y,Z,U,V,W,X1,X2,X3,X4,X5) | -$ganappred10($ganc76,X,Y,Z,U,V,W,X1,X2,X3,X4) | -$ganappred9($ganc55,X,Y,Z,U,V,W,X1,X2,X3) | -$ganappred8($ganc35,X,Y,Z,U,V,W,X1,X2) | -$ganappred7($ganc17,X,Y,Z,U,V,W,X1) | -$ganappred6($ganc4,X,Y,Z,U,V,W) | -ss^nder1_5r1r1r1r1r1(X,Y,Z,U,V) | -ss^nder1_4r1r1r1r1(X,Y,Z,U) | -ss^nder1_3r1r1r1(X,Y,Z) | -ss^nder1_2r1r1(X,Y) | -ss^nder1_1r1(X).
% 821 [] -ss^nder1_0(0) | $ganappred14($ganc162,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8) | -$ganappred13($ganc148,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7) | -$ganappred13($ganc129,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7) | -$ganappred12($ganc110,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6) | -$ganappred11($ganc93,X,Y,Z,U,V,W,X1,X2,X3,X4,X5) | -$ganappred10($ganc76,X,Y,Z,U,V,W,X1,X2,X3,X4) | -$ganappred9($ganc55,X,Y,Z,U,V,W,X1,X2,X3) | -$ganappred8($ganc35,X,Y,Z,U,V,W,X1,X2) | -$ganappred7($ganc17,X,Y,Z,U,V,W,X1) | -$ganappred6($ganc4,X,Y,Z,U,V,W) | -ss^nder1_5r1r1r1r1r1(X,Y,Z,U,V) | -ss^nder1_4r1r1r1r1(X,Y,Z,U) | -ss^nder1_3r1r1r1(X,Y,Z) | -ss^nder1_2r1r1(X,Y) | -ss^nder1_1r1(X).
% 823 [] -ss^nder1_0(0) | $ganappred14($ganc160,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8) | -$ganappred13($ganc146,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7) | -$ganappred13($ganc129,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7) | -$ganappred12($ganc110,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6) | -$ganappred11($ganc93,X,Y,Z,U,V,W,X1,X2,X3,X4,X5) | -$ganappred10($ganc76,X,Y,Z,U,V,W,X1,X2,X3,X4) | -$ganappred9($ganc55,X,Y,Z,U,V,W,X1,X2,X3) | -$ganappred8($ganc35,X,Y,Z,U,V,W,X1,X2) | -$ganappred7($ganc17,X,Y,Z,U,V,W,X1) | -$ganappred6($ganc4,X,Y,Z,U,V,W) | -ss^nder1_5r1r1r1r1r1(X,Y,Z,U,V) | -ss^nder1_4r1r1r1r1(X,Y,Z,U) | -ss^nder1_3r1r1r1(X,Y,Z) | -ss^nder1_2r1r1(X,Y) | -ss^nder1_1r1(X).
% 835 [] -ss^nder1_0(0) | $ganappred15($ganc152,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8,skc18) | -$ganappred13($ganc129,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7) | -$ganappred12($ganc110,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6) | -$ganappred11($ganc93,X,Y,Z,U,V,W,X1,X2,X3,X4,X5) | -$ganappred10($ganc76,X,Y,Z,U,V,W,X1,X2,X3,X4) | -$ganappred9($ganc55,X,Y,Z,U,V,W,X1,X2,X3) | -$ganappred8($ganc35,X,Y,Z,U,V,W,X1,X2) | -$ganappred7($ganc17,X,Y,Z,U,V,W,X1) | -$ganappred6($ganc4,X,Y,Z,U,V,W) | -ss^nder1_5r1r1r1r1r1(X,Y,Z,U,V) | -ss^nder1_4r1r1r1r1(X,Y,Z,U) | -ss^nder1_3r1r1r1(X,Y,Z) | -ss^nder1_2r1r1(X,Y) | -ss^nder1_1r1(X).
% 836 [] -ss^nder1_0(0) | $ganappred14($ganc151,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8) | -$ganappred13($ganc129,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7) | -$ganappred12($ganc110,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6) | -$ganappred11($ganc93,X,Y,Z,U,V,W,X1,X2,X3,X4,X5) | -$ganappred10($ganc76,X,Y,Z,U,V,W,X1,X2,X3,X4) | -$ganappred9($ganc55,X,Y,Z,U,V,W,X1,X2,X3) | -$ganappred8($ganc35,X,Y,Z,U,V,W,X1,X2) | -$ganappred7($ganc17,X,Y,Z,U,V,W,X1) | -$ganappred6($ganc4,X,Y,Z,U,V,W) | -ss^nder1_5r1r1r1r1r1(X,Y,Z,U,V) | -ss^nder1_4r1r1r1r1(X,Y,Z,U) | -ss^nder1_3r1r1r1(X,Y,Z) | -ss^nder1_2r1r1(X,Y) | -ss^nder1_1r1(X).
% 840 [] -ss^nder1_0(0) | $ganappred13($ganc148,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7) | -$ganappred12($ganc110,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6) | -$ganappred12($ganc117,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6) | -$ganappred11($ganc93,X,Y,Z,U,V,W,X1,X2,X3,X4,X5) | -$ganappred10($ganc76,X,Y,Z,U,V,W,X1,X2,X3,X4) | -$ganappred9($ganc55,X,Y,Z,U,V,W,X1,X2,X3) | -$ganappred8($ganc35,X,Y,Z,U,V,W,X1,X2) | -$ganappred7($ganc17,X,Y,Z,U,V,W,X1) | -$ganappred6($ganc4,X,Y,Z,U,V,W) | -ss^nder1_5r1r1r1r1r1(X,Y,Z,U,V) | -ss^nder1_4r1r1r1r1(X,Y,Z,U) | -ss^nder1_3r1r1r1(X,Y,Z) | -ss^nder1_2r1r1(X,Y) | -ss^nder1_1r1(X).
% 842 [] -ss^nder1_0(0) | $ganappred13($ganc146,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7) | -$ganappred12($ganc110,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6) | -$ganappred12($ganc127,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6) | -$ganappred11($ganc93,X,Y,Z,U,V,W,X1,X2,X3,X4,X5) | -$ganappred10($ganc76,X,Y,Z,U,V,W,X1,X2,X3,X4) | -$ganappred9($ganc55,X,Y,Z,U,V,W,X1,X2,X3) | -$ganappred8($ganc35,X,Y,Z,U,V,W,X1,X2) | -$ganappred7($ganc17,X,Y,Z,U,V,W,X1) | -$ganappred6($ganc4,X,Y,Z,U,V,W) | -ss^nder1_5r1r1r1r1r1(X,Y,Z,U,V) | -ss^nder1_4r1r1r1r1(X,Y,Z,U) | -ss^nder1_3r1r1r1(X,Y,Z) | -ss^nder1_2r1r1(X,Y) | -ss^nder1_1r1(X).
% 843 [] -ss^nder1_0(0) | -$ganappred13($ganc145,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7) | -$ganappred12($ganc110,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6) | $ganappred12($ganc144,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6) | -$ganappred11($ganc93,X,Y,Z,U,V,W,X1,X2,X3,X4,X5) | -$ganappred10($ganc76,X,Y,Z,U,V,W,X1,X2,X3,X4) | -$ganappred9($ganc55,X,Y,Z,U,V,W,X1,X2,X3) | -$ganappred8($ganc35,X,Y,Z,U,V,W,X1,X2) | -$ganappred7($ganc17,X,Y,Z,U,V,W,X1) | -$ganappred6($ganc4,X,Y,Z,U,V,W) | -ss^nder1_5r1r1r1r1r1(X,Y,Z,U,V) | -ss^nder1_4r1r1r1r1(X,Y,Z,U) | -ss^nder1_3r1r1r1(X,Y,Z) | -ss^nder1_2r1r1(X,Y) | -ss^nder1_1r1(X).
% 849 [] -ss^nder1_0(0) | -$ganappred13($ganc138,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7) | -$ganappred12($ganc110,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6) | $ganappred12($ganc120,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6) | -$ganappred11($ganc93,X,Y,Z,U,V,W,X1,X2,X3,X4,X5) | -$ganappred10($ganc76,X,Y,Z,U,V,W,X1,X2,X3,X4) | -$ganappred9($ganc55,X,Y,Z,U,V,W,X1,X2,X3) | -$ganappred8($ganc35,X,Y,Z,U,V,W,X1,X2) | -$ganappred7($ganc17,X,Y,Z,U,V,W,X1) | -$ganappred6($ganc4,X,Y,Z,U,V,W) | -ss^nder1_5r1r1r1r1r1(X,Y,Z,U,V) | -ss^nder1_4r1r1r1r1(X,Y,Z,U) | -ss^nder1_3r1r1r1(X,Y,Z) | -ss^nder1_2r1r1(X,Y) | -ss^nder1_1r1(X).
% 852 [] -ss^nder1_0(0) | -$ganappred13($ganc148,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7) | -$ganappred12($ganc110,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6) | $ganappred12($ganc117,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6) | -$ganappred11($ganc93,X,Y,Z,U,V,W,X1,X2,X3,X4,X5) | -$ganappred10($ganc76,X,Y,Z,U,V,W,X1,X2,X3,X4) | -$ganappred9($ganc55,X,Y,Z,U,V,W,X1,X2,X3) | -$ganappred8($ganc35,X,Y,Z,U,V,W,X1,X2) | -$ganappred7($ganc17,X,Y,Z,U,V,W,X1) | -$ganappred6($ganc4,X,Y,Z,U,V,W) | -ss^nder1_5r1r1r1r1r1(X,Y,Z,U,V) | -ss^nder1_4r1r1r1r1(X,Y,Z,U) | -ss^nder1_3r1r1r1(X,Y,Z) | -ss^nder1_2r1r1(X,Y) | -ss^nder1_1r1(X).
% 854 [] -ss^nder1_0(0) | -$ganappred13($ganc146,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7) | -$ganappred12($ganc110,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6) | $ganappred12($ganc127,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6) | -$ganappred11($ganc93,X,Y,Z,U,V,W,X1,X2,X3,X4,X5) | -$ganappred10($ganc76,X,Y,Z,U,V,W,X1,X2,X3,X4) | -$ganappred9($ganc55,X,Y,Z,U,V,W,X1,X2,X3) | -$ganappred8($ganc35,X,Y,Z,U,V,W,X1,X2) | -$ganappred7($ganc17,X,Y,Z,U,V,W,X1) | -$ganappred6($ganc4,X,Y,Z,U,V,W) | -ss^nder1_5r1r1r1r1r1(X,Y,Z,U,V) | -ss^nder1_4r1r1r1r1(X,Y,Z,U) | -ss^nder1_3r1r1r1(X,Y,Z) | -ss^nder1_2r1r1(X,Y) | -ss^nder1_1r1(X).
% 855 [] -ss^nder1_0(0) | $ganappred13($ganc145,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7) | -$ganappred12($ganc110,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6) | -$ganappred12($ganc144,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6) | -$ganappred11($ganc93,X,Y,Z,U,V,W,X1,X2,X3,X4,X5) | -$ganappred10($ganc76,X,Y,Z,U,V,W,X1,X2,X3,X4) | -$ganappred9($ganc55,X,Y,Z,U,V,W,X1,X2,X3) | -$ganappred8($ganc35,X,Y,Z,U,V,W,X1,X2) | -$ganappred7($ganc17,X,Y,Z,U,V,W,X1) | -$ganappred6($ganc4,X,Y,Z,U,V,W) | -ss^nder1_5r1r1r1r1r1(X,Y,Z,U,V) | -ss^nder1_4r1r1r1r1(X,Y,Z,U) | -ss^nder1_3r1r1r1(X,Y,Z) | -ss^nder1_2r1r1(X,Y) | -ss^nder1_1r1(X).
% 860 [] -ss^nder1_0(0) | $ganappred13($ganc139,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7) | -$ganappred12($ganc110,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6) | -$ganappred12($ganc121,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6) | -$ganappred11($ganc93,X,Y,Z,U,V,W,X1,X2,X3,X4,X5) | -$ganappred10($ganc76,X,Y,Z,U,V,W,X1,X2,X3,X4) | -$ganappred9($ganc55,X,Y,Z,U,V,W,X1,X2,X3) | -$ganappred8($ganc35,X,Y,Z,U,V,W,X1,X2) | -$ganappred7($ganc17,X,Y,Z,U,V,W,X1) | -$ganappred6($ganc4,X,Y,Z,U,V,W) | -ss^nder1_5r1r1r1r1r1(X,Y,Z,U,V) | -ss^nder1_4r1r1r1r1(X,Y,Z,U) | -ss^nder1_3r1r1r1(X,Y,Z) | -ss^nder1_2r1r1(X,Y) | -ss^nder1_1r1(X).
% 861 [] -ss^nder1_0(0) | $ganappred13($ganc138,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7) | -$ganappred12($ganc110,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6) | -$ganappred12($ganc120,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6) | -$ganappred11($ganc93,X,Y,Z,U,V,W,X1,X2,X3,X4,X5) | -$ganappred10($ganc76,X,Y,Z,U,V,W,X1,X2,X3,X4) | -$ganappred9($ganc55,X,Y,Z,U,V,W,X1,X2,X3) | -$ganappred8($ganc35,X,Y,Z,U,V,W,X1,X2) | -$ganappred7($ganc17,X,Y,Z,U,V,W,X1) | -$ganappred6($ganc4,X,Y,Z,U,V,W) | -ss^nder1_5r1r1r1r1r1(X,Y,Z,U,V) | -ss^nder1_4r1r1r1r1(X,Y,Z,U) | -ss^nder1_3r1r1r1(X,Y,Z) | -ss^nder1_2r1r1(X,Y) | -ss^nder1_1r1(X).
% 868 [] -ss^nder1_0(0) | $ganappred14($ganc130,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,skc20) | -$ganappred12($ganc110,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6) | -$ganappred11($ganc93,X,Y,Z,U,V,W,X1,X2,X3,X4,X5) | -$ganappred10($ganc76,X,Y,Z,U,V,W,X1,X2,X3,X4) | -$ganappred9($ganc55,X,Y,Z,U,V,W,X1,X2,X3) | -$ganappred8($ganc35,X,Y,Z,U,V,W,X1,X2) | -$ganappred7($ganc17,X,Y,Z,U,V,W,X1) | -$ganappred6($ganc4,X,Y,Z,U,V,W) | -ss^nder1_5r1r1r1r1r1(X,Y,Z,U,V) | -ss^nder1_4r1r1r1r1(X,Y,Z,U) | -ss^nder1_3r1r1r1(X,Y,Z) | -ss^nder1_2r1r1(X,Y) | -ss^nder1_1r1(X).
% 869 [] -ss^nder1_0(0) | $ganappred13($ganc129,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7) | -$ganappred12($ganc110,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6) | -$ganappred11($ganc93,X,Y,Z,U,V,W,X1,X2,X3,X4,X5) | -$ganappred10($ganc76,X,Y,Z,U,V,W,X1,X2,X3,X4) | -$ganappred9($ganc55,X,Y,Z,U,V,W,X1,X2,X3) | -$ganappred8($ganc35,X,Y,Z,U,V,W,X1,X2) | -$ganappred7($ganc17,X,Y,Z,U,V,W,X1) | -$ganappred6($ganc4,X,Y,Z,U,V,W) | -ss^nder1_5r1r1r1r1r1(X,Y,Z,U,V) | -ss^nder1_4r1r1r1r1(X,Y,Z,U) | -ss^nder1_3r1r1r1(X,Y,Z) | -ss^nder1_2r1r1(X,Y) | -ss^nder1_1r1(X).
% 872 [] -ss^nder1_0(0) | -$ganappred12($ganc127,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6) | -$ganappred11($ganc93,X,Y,Z,U,V,W,X1,X2,X3,X4,X5) | $ganappred11($ganc108,X,Y,Z,U,V,W,X1,X2,X3,X4,X5) | -$ganappred10($ganc76,X,Y,Z,U,V,W,X1,X2,X3,X4) | -$ganappred9($ganc55,X,Y,Z,U,V,W,X1,X2,X3) | -$ganappred8($ganc35,X,Y,Z,U,V,W,X1,X2) | -$ganappred7($ganc17,X,Y,Z,U,V,W,X1) | -$ganappred6($ganc4,X,Y,Z,U,V,W) | -ss^nder1_5r1r1r1r1r1(X,Y,Z,U,V) | -ss^nder1_4r1r1r1r1(X,Y,Z,U) | -ss^nder1_3r1r1r1(X,Y,Z) | -ss^nder1_2r1r1(X,Y) | -ss^nder1_1r1(X).
% 877 [] -ss^nder1_0(0) | $ganappred12($ganc121,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6) | -$ganappred11($ganc93,X,Y,Z,U,V,W,X1,X2,X3,X4,X5) | -$ganappred11($ganc103,X,Y,Z,U,V,W,X1,X2,X3,X4,X5) | -$ganappred10($ganc76,X,Y,Z,U,V,W,X1,X2,X3,X4) | -$ganappred9($ganc55,X,Y,Z,U,V,W,X1,X2,X3) | -$ganappred8($ganc35,X,Y,Z,U,V,W,X1,X2) | -$ganappred7($ganc17,X,Y,Z,U,V,W,X1) | -$ganappred6($ganc4,X,Y,Z,U,V,W) | -ss^nder1_5r1r1r1r1r1(X,Y,Z,U,V) | -ss^nder1_4r1r1r1r1(X,Y,Z,U) | -ss^nder1_3r1r1r1(X,Y,Z) | -ss^nder1_2r1r1(X,Y) | -ss^nder1_1r1(X).
% 878 [] -ss^nder1_0(0) | $ganappred12($ganc120,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6) | -$ganappred11($ganc93,X,Y,Z,U,V,W,X1,X2,X3,X4,X5) | -$ganappred11($ganc102,X,Y,Z,U,V,W,X1,X2,X3,X4,X5) | -$ganappred10($ganc76,X,Y,Z,U,V,W,X1,X2,X3,X4) | -$ganappred9($ganc55,X,Y,Z,U,V,W,X1,X2,X3) | -$ganappred8($ganc35,X,Y,Z,U,V,W,X1,X2) | -$ganappred7($ganc17,X,Y,Z,U,V,W,X1) | -$ganappred6($ganc4,X,Y,Z,U,V,W) | -ss^nder1_5r1r1r1r1r1(X,Y,Z,U,V) | -ss^nder1_4r1r1r1r1(X,Y,Z,U) | -ss^nder1_3r1r1r1(X,Y,Z) | -ss^nder1_2r1r1(X,Y) | -ss^nder1_1r1(X).
% 881 [] -ss^nder1_0(0) | $ganappred12($ganc117,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6) | -$ganappred11($ganc93,X,Y,Z,U,V,W,X1,X2,X3,X4,X5) | -$ganappred11($ganc99,X,Y,Z,U,V,W,X1,X2,X3,X4,X5) | -$ganappred10($ganc76,X,Y,Z,U,V,W,X1,X2,X3,X4) | -$ganappred9($ganc55,X,Y,Z,U,V,W,X1,X2,X3) | -$ganappred8($ganc35,X,Y,Z,U,V,W,X1,X2) | -$ganappred7($ganc17,X,Y,Z,U,V,W,X1) | -$ganappred6($ganc4,X,Y,Z,U,V,W) | -ss^nder1_5r1r1r1r1r1(X,Y,Z,U,V) | -ss^nder1_4r1r1r1r1(X,Y,Z,U) | -ss^nder1_3r1r1r1(X,Y,Z) | -ss^nder1_2r1r1(X,Y) | -ss^nder1_1r1(X).
% 883 [] -ss^nder1_0(0) | $ganappred12($ganc127,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6) | -$ganappred11($ganc93,X,Y,Z,U,V,W,X1,X2,X3,X4,X5) | -$ganappred11($ganc108,X,Y,Z,U,V,W,X1,X2,X3,X4,X5) | -$ganappred10($ganc76,X,Y,Z,U,V,W,X1,X2,X3,X4) | -$ganappred9($ganc55,X,Y,Z,U,V,W,X1,X2,X3) | -$ganappred8($ganc35,X,Y,Z,U,V,W,X1,X2) | -$ganappred7($ganc17,X,Y,Z,U,V,W,X1) | -$ganappred6($ganc4,X,Y,Z,U,V,W) | -ss^nder1_5r1r1r1r1r1(X,Y,Z,U,V) | -ss^nder1_4r1r1r1r1(X,Y,Z,U) | -ss^nder1_3r1r1r1(X,Y,Z) | -ss^nder1_2r1r1(X,Y) | -ss^nder1_1r1(X).
% 889 [] -ss^nder1_0(0) | -$ganappred12($ganc120,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6) | -$ganappred11($ganc93,X,Y,Z,U,V,W,X1,X2,X3,X4,X5) | $ganappred11($ganc102,X,Y,Z,U,V,W,X1,X2,X3,X4,X5) | -$ganappred10($ganc76,X,Y,Z,U,V,W,X1,X2,X3,X4) | -$ganappred9($ganc55,X,Y,Z,U,V,W,X1,X2,X3) | -$ganappred8($ganc35,X,Y,Z,U,V,W,X1,X2) | -$ganappred7($ganc17,X,Y,Z,U,V,W,X1) | -$ganappred6($ganc4,X,Y,Z,U,V,W) | -ss^nder1_5r1r1r1r1r1(X,Y,Z,U,V) | -ss^nder1_4r1r1r1r1(X,Y,Z,U) | -ss^nder1_3r1r1r1(X,Y,Z) | -ss^nder1_2r1r1(X,Y) | -ss^nder1_1r1(X).
% 892 [] -ss^nder1_0(0) | -$ganappred12($ganc117,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6) | -$ganappred11($ganc93,X,Y,Z,U,V,W,X1,X2,X3,X4,X5) | $ganappred11($ganc99,X,Y,Z,U,V,W,X1,X2,X3,X4,X5) | -$ganappred10($ganc76,X,Y,Z,U,V,W,X1,X2,X3,X4) | -$ganappred9($ganc55,X,Y,Z,U,V,W,X1,X2,X3) | -$ganappred8($ganc35,X,Y,Z,U,V,W,X1,X2) | -$ganappred7($ganc17,X,Y,Z,U,V,W,X1) | -$ganappred6($ganc4,X,Y,Z,U,V,W) | -ss^nder1_5r1r1r1r1r1(X,Y,Z,U,V) | -ss^nder1_4r1r1r1r1(X,Y,Z,U) | -ss^nder1_3r1r1r1(X,Y,Z) | -ss^nder1_2r1r1(X,Y) | -ss^nder1_1r1(X).
% 896 [] -ss^nder1_0(0) | $ganappred13($ganc111,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,skc22) | -$ganappred11($ganc93,X,Y,Z,U,V,W,X1,X2,X3,X4,X5) | -$ganappred10($ganc76,X,Y,Z,U,V,W,X1,X2,X3,X4) | -$ganappred9($ganc55,X,Y,Z,U,V,W,X1,X2,X3) | -$ganappred8($ganc35,X,Y,Z,U,V,W,X1,X2) | -$ganappred7($ganc17,X,Y,Z,U,V,W,X1) | -$ganappred6($ganc4,X,Y,Z,U,V,W) | -ss^nder1_5r1r1r1r1r1(X,Y,Z,U,V) | -ss^nder1_4r1r1r1r1(X,Y,Z,U) | -ss^nder1_3r1r1r1(X,Y,Z) | -ss^nder1_2r1r1(X,Y) | -ss^nder1_1r1(X).
% 897 [] -ss^nder1_0(0) | $ganappred12($ganc110,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6) | -$ganappred11($ganc93,X,Y,Z,U,V,W,X1,X2,X3,X4,X5) | -$ganappred10($ganc76,X,Y,Z,U,V,W,X1,X2,X3,X4) | -$ganappred9($ganc55,X,Y,Z,U,V,W,X1,X2,X3) | -$ganappred8($ganc35,X,Y,Z,U,V,W,X1,X2) | -$ganappred7($ganc17,X,Y,Z,U,V,W,X1) | -$ganappred6($ganc4,X,Y,Z,U,V,W) | -ss^nder1_5r1r1r1r1r1(X,Y,Z,U,V) | -ss^nder1_4r1r1r1r1(X,Y,Z,U) | -ss^nder1_3r1r1r1(X,Y,Z) | -ss^nder1_2r1r1(X,Y) | -ss^nder1_1r1(X).
% 900 [] -ss^nder1_0(0) | $ganappred11($ganc108,X,Y,Z,U,V,W,X1,X2,X3,X4,X5) | -$ganappred10($ganc76,X,Y,Z,U,V,W,X1,X2,X3,X4) | -$ganappred10($ganc83,X,Y,Z,U,V,W,X1,X2,X3,X4) | -$ganappred9($ganc55,X,Y,Z,U,V,W,X1,X2,X3) | -$ganappred8($ganc35,X,Y,Z,U,V,W,X1,X2) | -$ganappred7($ganc17,X,Y,Z,U,V,W,X1) | -$ganappred6($ganc4,X,Y,Z,U,V,W) | -ss^nder1_5r1r1r1r1r1(X,Y,Z,U,V) | -ss^nder1_4r1r1r1r1(X,Y,Z,U) | -ss^nder1_3r1r1r1(X,Y,Z) | -ss^nder1_2r1r1(X,Y) | -ss^nder1_1r1(X).
% 905 [] -ss^nder1_0(0) | -$ganappred11($ganc102,X,Y,Z,U,V,W,X1,X2,X3,X4,X5) | -$ganappred10($ganc76,X,Y,Z,U,V,W,X1,X2,X3,X4) | $ganappred10($ganc88,X,Y,Z,U,V,W,X1,X2,X3,X4) | -$ganappred9($ganc55,X,Y,Z,U,V,W,X1,X2,X3) | -$ganappred8($ganc35,X,Y,Z,U,V,W,X1,X2) | -$ganappred7($ganc17,X,Y,Z,U,V,W,X1) | -$ganappred6($ganc4,X,Y,Z,U,V,W) | -ss^nder1_5r1r1r1r1r1(X,Y,Z,U,V) | -ss^nder1_4r1r1r1r1(X,Y,Z,U) | -ss^nder1_3r1r1r1(X,Y,Z) | -ss^nder1_2r1r1(X,Y) | -ss^nder1_1r1(X).
% 908 [] -ss^nder1_0(0) | -$ganappred11($ganc99,X,Y,Z,U,V,W,X1,X2,X3,X4,X5) | -$ganappred10($ganc76,X,Y,Z,U,V,W,X1,X2,X3,X4) | $ganappred10($ganc85,X,Y,Z,U,V,W,X1,X2,X3,X4) | -$ganappred9($ganc55,X,Y,Z,U,V,W,X1,X2,X3) | -$ganappred8($ganc35,X,Y,Z,U,V,W,X1,X2) | -$ganappred7($ganc17,X,Y,Z,U,V,W,X1) | -$ganappred6($ganc4,X,Y,Z,U,V,W) | -ss^nder1_5r1r1r1r1r1(X,Y,Z,U,V) | -ss^nder1_4r1r1r1r1(X,Y,Z,U) | -ss^nder1_3r1r1r1(X,Y,Z) | -ss^nder1_2r1r1(X,Y) | -ss^nder1_1r1(X).
% 910 [] -ss^nder1_0(0) | -$ganappred11($ganc108,X,Y,Z,U,V,W,X1,X2,X3,X4,X5) | -$ganappred10($ganc76,X,Y,Z,U,V,W,X1,X2,X3,X4) | $ganappred10($ganc83,X,Y,Z,U,V,W,X1,X2,X3,X4) | -$ganappred9($ganc55,X,Y,Z,U,V,W,X1,X2,X3) | -$ganappred8($ganc35,X,Y,Z,U,V,W,X1,X2) | -$ganappred7($ganc17,X,Y,Z,U,V,W,X1) | -$ganappred6($ganc4,X,Y,Z,U,V,W) | -ss^nder1_5r1r1r1r1r1(X,Y,Z,U,V) | -ss^nder1_4r1r1r1r1(X,Y,Z,U) | -ss^nder1_3r1r1r1(X,Y,Z) | -ss^nder1_2r1r1(X,Y) | -ss^nder1_1r1(X).
% 914 [] -ss^nder1_0(0) | $ganappred11($ganc103,X,Y,Z,U,V,W,X1,X2,X3,X4,X5) | -$ganappred10($ganc76,X,Y,Z,U,V,W,X1,X2,X3,X4) | -$ganappred10($ganc89,X,Y,Z,U,V,W,X1,X2,X3,X4) | -$ganappred9($ganc55,X,Y,Z,U,V,W,X1,X2,X3) | -$ganappred8($ganc35,X,Y,Z,U,V,W,X1,X2) | -$ganappred7($ganc17,X,Y,Z,U,V,W,X1) | -$ganappred6($ganc4,X,Y,Z,U,V,W) | -ss^nder1_5r1r1r1r1r1(X,Y,Z,U,V) | -ss^nder1_4r1r1r1r1(X,Y,Z,U) | -ss^nder1_3r1r1r1(X,Y,Z) | -ss^nder1_2r1r1(X,Y) | -ss^nder1_1r1(X).
% 915 [] -ss^nder1_0(0) | $ganappred11($ganc102,X,Y,Z,U,V,W,X1,X2,X3,X4,X5) | -$ganappred10($ganc76,X,Y,Z,U,V,W,X1,X2,X3,X4) | -$ganappred10($ganc88,X,Y,Z,U,V,W,X1,X2,X3,X4) | -$ganappred9($ganc55,X,Y,Z,U,V,W,X1,X2,X3) | -$ganappred8($ganc35,X,Y,Z,U,V,W,X1,X2) | -$ganappred7($ganc17,X,Y,Z,U,V,W,X1) | -$ganappred6($ganc4,X,Y,Z,U,V,W) | -ss^nder1_5r1r1r1r1r1(X,Y,Z,U,V) | -ss^nder1_4r1r1r1r1(X,Y,Z,U) | -ss^nder1_3r1r1r1(X,Y,Z) | -ss^nder1_2r1r1(X,Y) | -ss^nder1_1r1(X).
% 918 [] -ss^nder1_0(0) | $ganappred11($ganc99,X,Y,Z,U,V,W,X1,X2,X3,X4,X5) | -$ganappred10($ganc76,X,Y,Z,U,V,W,X1,X2,X3,X4) | -$ganappred10($ganc85,X,Y,Z,U,V,W,X1,X2,X3,X4) | -$ganappred9($ganc55,X,Y,Z,U,V,W,X1,X2,X3) | -$ganappred8($ganc35,X,Y,Z,U,V,W,X1,X2) | -$ganappred7($ganc17,X,Y,Z,U,V,W,X1) | -$ganappred6($ganc4,X,Y,Z,U,V,W) | -ss^nder1_5r1r1r1r1r1(X,Y,Z,U,V) | -ss^nder1_4r1r1r1r1(X,Y,Z,U) | -ss^nder1_3r1r1r1(X,Y,Z) | -ss^nder1_2r1r1(X,Y) | -ss^nder1_1r1(X).
% 924 [] -ss^nder1_0(0) | $ganappred11($ganc93,X,Y,Z,U,V,W,X1,X2,X3,X4,X5) | -$ganappred10($ganc76,X,Y,Z,U,V,W,X1,X2,X3,X4) | -$ganappred9($ganc55,X,Y,Z,U,V,W,X1,X2,X3) | -$ganappred8($ganc35,X,Y,Z,U,V,W,X1,X2) | -$ganappred7($ganc17,X,Y,Z,U,V,W,X1) | -$ganappred6($ganc4,X,Y,Z,U,V,W) | -ss^nder1_5r1r1r1r1r1(X,Y,Z,U,V) | -ss^nder1_4r1r1r1r1(X,Y,Z,U) | -ss^nder1_3r1r1r1(X,Y,Z) | -ss^nder1_2r1r1(X,Y) | -ss^nder1_1r1(X).
% 927 [] -ss^nder1_0(0) | $ganappred10($ganc89,X,Y,Z,U,V,W,X1,X2,X3,X4) | -$ganappred9($ganc55,X,Y,Z,U,V,W,X1,X2,X3) | -$ganappred9($ganc75,X,Y,Z,U,V,W,X1,X2,X3) | -$ganappred8($ganc35,X,Y,Z,U,V,W,X1,X2) | -$ganappred7($ganc17,X,Y,Z,U,V,W,X1) | -$ganappred6($ganc4,X,Y,Z,U,V,W) | -ss^nder1_5r1r1r1r1r1(X,Y,Z,U,V) | -ss^nder1_4r1r1r1r1(X,Y,Z,U) | -ss^nder1_3r1r1r1(X,Y,Z) | -ss^nder1_2r1r1(X,Y) | -ss^nder1_1r1(X).
% 928 [] -ss^nder1_0(0) | $ganappred10($ganc88,X,Y,Z,U,V,W,X1,X2,X3,X4) | -$ganappred9($ganc55,X,Y,Z,U,V,W,X1,X2,X3) | -$ganappred9($ganc74,X,Y,Z,U,V,W,X1,X2,X3) | -$ganappred8($ganc35,X,Y,Z,U,V,W,X1,X2) | -$ganappred7($ganc17,X,Y,Z,U,V,W,X1) | -$ganappred6($ganc4,X,Y,Z,U,V,W) | -ss^nder1_5r1r1r1r1r1(X,Y,Z,U,V) | -ss^nder1_4r1r1r1r1(X,Y,Z,U) | -ss^nder1_3r1r1r1(X,Y,Z) | -ss^nder1_2r1r1(X,Y) | -ss^nder1_1r1(X).
% 931 [] -ss^nder1_0(0) | $ganappred10($ganc85,X,Y,Z,U,V,W,X1,X2,X3,X4) | -$ganappred9($ganc55,X,Y,Z,U,V,W,X1,X2,X3) | -$ganappred9($ganc71,X,Y,Z,U,V,W,X1,X2,X3) | -$ganappred8($ganc35,X,Y,Z,U,V,W,X1,X2) | -$ganappred7($ganc17,X,Y,Z,U,V,W,X1) | -$ganappred6($ganc4,X,Y,Z,U,V,W) | -ss^nder1_5r1r1r1r1r1(X,Y,Z,U,V) | -ss^nder1_4r1r1r1r1(X,Y,Z,U) | -ss^nder1_3r1r1r1(X,Y,Z) | -ss^nder1_2r1r1(X,Y) | -ss^nder1_1r1(X).
% 933 [] -ss^nder1_0(0) | $ganappred10($ganc83,X,Y,Z,U,V,W,X1,X2,X3,X4) | -$ganappred9($ganc55,X,Y,Z,U,V,W,X1,X2,X3) | -$ganappred9($ganc69,X,Y,Z,U,V,W,X1,X2,X3) | -$ganappred8($ganc35,X,Y,Z,U,V,W,X1,X2) | -$ganappred7($ganc17,X,Y,Z,U,V,W,X1) | -$ganappred6($ganc4,X,Y,Z,U,V,W) | -ss^nder1_5r1r1r1r1r1(X,Y,Z,U,V) | -ss^nder1_4r1r1r1r1(X,Y,Z,U) | -ss^nder1_3r1r1r1(X,Y,Z) | -ss^nder1_2r1r1(X,Y) | -ss^nder1_1r1(X).
% 937 [] -ss^nder1_0(0) | -$ganappred10($ganc88,X,Y,Z,U,V,W,X1,X2,X3,X4) | -$ganappred9($ganc55,X,Y,Z,U,V,W,X1,X2,X3) | $ganappred9($ganc74,X,Y,Z,U,V,W,X1,X2,X3) | -$ganappred8($ganc35,X,Y,Z,U,V,W,X1,X2) | -$ganappred7($ganc17,X,Y,Z,U,V,W,X1) | -$ganappred6($ganc4,X,Y,Z,U,V,W) | -ss^nder1_5r1r1r1r1r1(X,Y,Z,U,V) | -ss^nder1_4r1r1r1r1(X,Y,Z,U) | -ss^nder1_3r1r1r1(X,Y,Z) | -ss^nder1_2r1r1(X,Y) | -ss^nder1_1r1(X).
% 940 [] -ss^nder1_0(0) | -$ganappred10($ganc85,X,Y,Z,U,V,W,X1,X2,X3,X4) | -$ganappred9($ganc55,X,Y,Z,U,V,W,X1,X2,X3) | $ganappred9($ganc71,X,Y,Z,U,V,W,X1,X2,X3) | -$ganappred8($ganc35,X,Y,Z,U,V,W,X1,X2) | -$ganappred7($ganc17,X,Y,Z,U,V,W,X1) | -$ganappred6($ganc4,X,Y,Z,U,V,W) | -ss^nder1_5r1r1r1r1r1(X,Y,Z,U,V) | -ss^nder1_4r1r1r1r1(X,Y,Z,U) | -ss^nder1_3r1r1r1(X,Y,Z) | -ss^nder1_2r1r1(X,Y) | -ss^nder1_1r1(X).
% 942 [] -ss^nder1_0(0) | -$ganappred10($ganc83,X,Y,Z,U,V,W,X1,X2,X3,X4) | -$ganappred9($ganc55,X,Y,Z,U,V,W,X1,X2,X3) | $ganappred9($ganc69,X,Y,Z,U,V,W,X1,X2,X3) | -$ganappred8($ganc35,X,Y,Z,U,V,W,X1,X2) | -$ganappred7($ganc17,X,Y,Z,U,V,W,X1) | -$ganappred6($ganc4,X,Y,Z,U,V,W) | -ss^nder1_5r1r1r1r1r1(X,Y,Z,U,V) | -ss^nder1_4r1r1r1r1(X,Y,Z,U) | -ss^nder1_3r1r1r1(X,Y,Z) | -ss^nder1_2r1r1(X,Y) | -ss^nder1_1r1(X).
% 947 [] -ss^nder1_0(0) | $ganappred10($ganc76,X,Y,Z,U,V,W,X1,X2,X3,X4) | -$ganappred9($ganc55,X,Y,Z,U,V,W,X1,X2,X3) | -$ganappred8($ganc35,X,Y,Z,U,V,W,X1,X2) | -$ganappred7($ganc17,X,Y,Z,U,V,W,X1) | -$ganappred6($ganc4,X,Y,Z,U,V,W) | -ss^nder1_5r1r1r1r1r1(X,Y,Z,U,V) | -ss^nder1_4r1r1r1r1(X,Y,Z,U) | -ss^nder1_3r1r1r1(X,Y,Z) | -ss^nder1_2r1r1(X,Y) | -ss^nder1_1r1(X).
% 949 [] -ss^nder1_0(0) | -$ganappred9($ganc74,X,Y,Z,U,V,W,X1,X2,X3) | -$ganappred8($ganc35,X,Y,Z,U,V,W,X1,X2) | $ganappred8($ganc53,X,Y,Z,U,V,W,X1,X2) | -$ganappred7($ganc17,X,Y,Z,U,V,W,X1) | -$ganappred6($ganc4,X,Y,Z,U,V,W) | -ss^nder1_5r1r1r1r1r1(X,Y,Z,U,V) | -ss^nder1_4r1r1r1r1(X,Y,Z,U) | -ss^nder1_3r1r1r1(X,Y,Z) | -ss^nder1_2r1r1(X,Y) | -ss^nder1_1r1(X).
% 952 [] -ss^nder1_0(0) | -$ganappred9($ganc71,X,Y,Z,U,V,W,X1,X2,X3) | -$ganappred8($ganc35,X,Y,Z,U,V,W,X1,X2) | $ganappred8($ganc50,X,Y,Z,U,V,W,X1,X2) | -$ganappred7($ganc17,X,Y,Z,U,V,W,X1) | -$ganappred6($ganc4,X,Y,Z,U,V,W) | -ss^nder1_5r1r1r1r1r1(X,Y,Z,U,V) | -ss^nder1_4r1r1r1r1(X,Y,Z,U) | -ss^nder1_3r1r1r1(X,Y,Z) | -ss^nder1_2r1r1(X,Y) | -ss^nder1_1r1(X).
% 954 [] -ss^nder1_0(0) | -$ganappred9($ganc69,X,Y,Z,U,V,W,X1,X2,X3) | -$ganappred8($ganc35,X,Y,Z,U,V,W,X1,X2) | $ganappred8($ganc48,X,Y,Z,U,V,W,X1,X2) | -$ganappred7($ganc17,X,Y,Z,U,V,W,X1) | -$ganappred6($ganc4,X,Y,Z,U,V,W) | -ss^nder1_5r1r1r1r1r1(X,Y,Z,U,V) | -ss^nder1_4r1r1r1r1(X,Y,Z,U) | -ss^nder1_3r1r1r1(X,Y,Z) | -ss^nder1_2r1r1(X,Y) | -ss^nder1_1r1(X).
% 956 [] -ss^nder1_0(0) | $ganappred9($ganc75,X,Y,Z,U,V,W,X1,X2,X3) | -$ganappred8($ganc54,X,Y,Z,U,V,W,X1,X2) | -$ganappred8($ganc35,X,Y,Z,U,V,W,X1,X2) | -$ganappred7($ganc17,X,Y,Z,U,V,W,X1) | -$ganappred6($ganc4,X,Y,Z,U,V,W) | -ss^nder1_5r1r1r1r1r1(X,Y,Z,U,V) | -ss^nder1_4r1r1r1r1(X,Y,Z,U) | -ss^nder1_3r1r1r1(X,Y,Z) | -ss^nder1_2r1r1(X,Y) | -ss^nder1_1r1(X).
% 957 [] -ss^nder1_0(0) | $ganappred9($ganc74,X,Y,Z,U,V,W,X1,X2,X3) | -$ganappred8($ganc53,X,Y,Z,U,V,W,X1,X2) | -$ganappred8($ganc35,X,Y,Z,U,V,W,X1,X2) | -$ganappred7($ganc17,X,Y,Z,U,V,W,X1) | -$ganappred6($ganc4,X,Y,Z,U,V,W) | -ss^nder1_5r1r1r1r1r1(X,Y,Z,U,V) | -ss^nder1_4r1r1r1r1(X,Y,Z,U) | -ss^nder1_3r1r1r1(X,Y,Z) | -ss^nder1_2r1r1(X,Y) | -ss^nder1_1r1(X).
% 960 [] -ss^nder1_0(0) | $ganappred9($ganc71,X,Y,Z,U,V,W,X1,X2,X3) | -$ganappred8($ganc50,X,Y,Z,U,V,W,X1,X2) | -$ganappred8($ganc35,X,Y,Z,U,V,W,X1,X2) | -$ganappred7($ganc17,X,Y,Z,U,V,W,X1) | -$ganappred6($ganc4,X,Y,Z,U,V,W) | -ss^nder1_5r1r1r1r1r1(X,Y,Z,U,V) | -ss^nder1_4r1r1r1r1(X,Y,Z,U) | -ss^nder1_3r1r1r1(X,Y,Z) | -ss^nder1_2r1r1(X,Y) | -ss^nder1_1r1(X).
% 962 [] -ss^nder1_0(0) | $ganappred9($ganc69,X,Y,Z,U,V,W,X1,X2,X3) | -$ganappred8($ganc48,X,Y,Z,U,V,W,X1,X2) | -$ganappred8($ganc35,X,Y,Z,U,V,W,X1,X2) | -$ganappred7($ganc17,X,Y,Z,U,V,W,X1) | -$ganappred6($ganc4,X,Y,Z,U,V,W) | -ss^nder1_5r1r1r1r1r1(X,Y,Z,U,V) | -ss^nder1_4r1r1r1r1(X,Y,Z,U) | -ss^nder1_3r1r1r1(X,Y,Z) | -ss^nder1_2r1r1(X,Y) | -ss^nder1_1r1(X).
% 973 [] -ss^nder1_0(0) | $ganappred9($ganc55,X,Y,Z,U,V,W,X1,X2,X3) | -$ganappred8($ganc35,X,Y,Z,U,V,W,X1,X2) | -$ganappred7($ganc17,X,Y,Z,U,V,W,X1) | -$ganappred6($ganc4,X,Y,Z,U,V,W) | -ss^nder1_5r1r1r1r1r1(X,Y,Z,U,V) | -ss^nder1_4r1r1r1r1(X,Y,Z,U) | -ss^nder1_3r1r1r1(X,Y,Z) | -ss^nder1_2r1r1(X,Y) | -ss^nder1_1r1(X).
% 975 [] -ss^nder1_0(0) | -$ganappred8($ganc53,X,Y,Z,U,V,W,X1,X2) | -$ganappred7($ganc17,X,Y,Z,U,V,W,X1) | $ganappred7($ganc33,X,Y,Z,U,V,W,X1) | -$ganappred6($ganc4,X,Y,Z,U,V,W) | -ss^nder1_5r1r1r1r1r1(X,Y,Z,U,V) | -ss^nder1_4r1r1r1r1(X,Y,Z,U) | -ss^nder1_3r1r1r1(X,Y,Z) | -ss^nder1_2r1r1(X,Y) | -ss^nder1_1r1(X).
% 978 [] -ss^nder1_0(0) | -$ganappred8($ganc50,X,Y,Z,U,V,W,X1,X2) | -$ganappred7($ganc17,X,Y,Z,U,V,W,X1) | $ganappred7($ganc30,X,Y,Z,U,V,W,X1) | -$ganappred6($ganc4,X,Y,Z,U,V,W) | -ss^nder1_5r1r1r1r1r1(X,Y,Z,U,V) | -ss^nder1_4r1r1r1r1(X,Y,Z,U) | -ss^nder1_3r1r1r1(X,Y,Z) | -ss^nder1_2r1r1(X,Y) | -ss^nder1_1r1(X).
% 980 [] -ss^nder1_0(0) | -$ganappred8($ganc48,X,Y,Z,U,V,W,X1,X2) | -$ganappred7($ganc17,X,Y,Z,U,V,W,X1) | $ganappred7($ganc34,X,Y,Z,U,V,W,X1) | -$ganappred6($ganc4,X,Y,Z,U,V,W) | -ss^nder1_5r1r1r1r1r1(X,Y,Z,U,V) | -ss^nder1_4r1r1r1r1(X,Y,Z,U) | -ss^nder1_3r1r1r1(X,Y,Z) | -ss^nder1_2r1r1(X,Y) | -ss^nder1_1r1(X).
% 981 [] -ss^nder1_0(0) | $ganappred8($ganc54,X,Y,Z,U,V,W,X1,X2) | -$ganappred7($ganc7,X,Y,Z,U,V,W,X1) | -$ganappred7($ganc17,X,Y,Z,U,V,W,X1) | -$ganappred6($ganc4,X,Y,Z,U,V,W) | -ss^nder1_5r1r1r1r1r1(X,Y,Z,U,V) | -ss^nder1_4r1r1r1r1(X,Y,Z,U) | -ss^nder1_3r1r1r1(X,Y,Z) | -ss^nder1_2r1r1(X,Y) | -ss^nder1_1r1(X).
% 982 [] -ss^nder1_0(0) | $ganappred8($ganc53,X,Y,Z,U,V,W,X1,X2) | -$ganappred7($ganc33,X,Y,Z,U,V,W,X1) | -$ganappred7($ganc17,X,Y,Z,U,V,W,X1) | -$ganappred6($ganc4,X,Y,Z,U,V,W) | -ss^nder1_5r1r1r1r1r1(X,Y,Z,U,V) | -ss^nder1_4r1r1r1r1(X,Y,Z,U) | -ss^nder1_3r1r1r1(X,Y,Z) | -ss^nder1_2r1r1(X,Y) | -ss^nder1_1r1(X).
% 985 [] -ss^nder1_0(0) | $ganappred8($ganc50,X,Y,Z,U,V,W,X1,X2) | -$ganappred7($ganc30,X,Y,Z,U,V,W,X1) | -$ganappred7($ganc17,X,Y,Z,U,V,W,X1) | -$ganappred6($ganc4,X,Y,Z,U,V,W) | -ss^nder1_5r1r1r1r1r1(X,Y,Z,U,V) | -ss^nder1_4r1r1r1r1(X,Y,Z,U) | -ss^nder1_3r1r1r1(X,Y,Z) | -ss^nder1_2r1r1(X,Y) | -ss^nder1_1r1(X).
% 987 [] -ss^nder1_0(0) | $ganappred8($ganc48,X,Y,Z,U,V,W,X1,X2) | -$ganappred7($ganc34,X,Y,Z,U,V,W,X1) | -$ganappred7($ganc17,X,Y,Z,U,V,W,X1) | -$ganappred6($ganc4,X,Y,Z,U,V,W) | -ss^nder1_5r1r1r1r1r1(X,Y,Z,U,V) | -ss^nder1_4r1r1r1r1(X,Y,Z,U) | -ss^nder1_3r1r1r1(X,Y,Z) | -ss^nder1_2r1r1(X,Y) | -ss^nder1_1r1(X).
% 995 [] -ss^nder1_0(0) | $ganappred8($ganc35,X,Y,Z,U,V,W,X1,X2) | -$ganappred7($ganc17,X,Y,Z,U,V,W,X1) | -$ganappred6($ganc4,X,Y,Z,U,V,W) | -ss^nder1_5r1r1r1r1r1(X,Y,Z,U,V) | -ss^nder1_4r1r1r1r1(X,Y,Z,U) | -ss^nder1_3r1r1r1(X,Y,Z) | -ss^nder1_2r1r1(X,Y) | -ss^nder1_1r1(X).
% 996 [] -ss^nder1_0(0) | $ganappred7($ganc34,X,Y,Z,U,V,W,X1) | -$ganappred6($ganc14,X,Y,Z,U,V,W) | -$ganappred6($ganc4,X,Y,Z,U,V,W) | -ss^nder1_5r1r1r1r1r1(X,Y,Z,U,V) | -ss^nder1_4r1r1r1r1(X,Y,Z,U) | -ss^nder1_3r1r1r1(X,Y,Z) | -ss^nder1_2r1r1(X,Y) | -ss^nder1_1r1(X).
% 997 [] -ss^nder1_0(0) | -$ganappred7($ganc33,X,Y,Z,U,V,W,X1) | -$ganappred6($ganc4,X,Y,Z,U,V,W) | ss^pv15_6r1r1r1r1r1r1(X,Y,Z,U,V,W) | -ss^nder1_5r1r1r1r1r1(X,Y,Z,U,V) | -ss^nder1_4r1r1r1r1(X,Y,Z,U) | -ss^nder1_3r1r1r1(X,Y,Z) | -ss^nder1_2r1r1(X,Y) | -ss^nder1_1r1(X).
% 1000 [] -ss^nder1_0(0) | -$ganappred7($ganc30,X,Y,Z,U,V,W,X1) | -$ganappred6($ganc4,X,Y,Z,U,V,W) | $ganappred6($ganc16,X,Y,Z,U,V,W) | -ss^nder1_5r1r1r1r1r1(X,Y,Z,U,V) | -ss^nder1_4r1r1r1r1(X,Y,Z,U) | -ss^nder1_3r1r1r1(X,Y,Z) | -ss^nder1_2r1r1(X,Y) | -ss^nder1_1r1(X).
% 1002 [] -ss^nder1_0(0) | -$ganappred7($ganc34,X,Y,Z,U,V,W,X1) | -$ganappred6($ganc4,X,Y,Z,U,V,W) | $ganappred6($ganc14,X,Y,Z,U,V,W) | -ss^nder1_5r1r1r1r1r1(X,Y,Z,U,V) | -ss^nder1_4r1r1r1r1(X,Y,Z,U) | -ss^nder1_3r1r1r1(X,Y,Z) | -ss^nder1_2r1r1(X,Y) | -ss^nder1_1r1(X).
% 1003 [] -ss^nder1_0(0) | $ganappred7($ganc33,X,Y,Z,U,V,W,X1) | -$ganappred6($ganc4,X,Y,Z,U,V,W) | -ss^pv15_6r1r1r1r1r1r1(X,Y,Z,U,V,W) | -ss^nder1_5r1r1r1r1r1(X,Y,Z,U,V) | -ss^nder1_4r1r1r1r1(X,Y,Z,U) | -ss^nder1_3r1r1r1(X,Y,Z) | -ss^nder1_2r1r1(X,Y) | -ss^nder1_1r1(X).
% 1006 [] -ss^nder1_0(0) | $ganappred7($ganc30,X,Y,Z,U,V,W,X1) | -$ganappred6($ganc16,X,Y,Z,U,V,W) | -$ganappred6($ganc4,X,Y,Z,U,V,W) | -ss^nder1_5r1r1r1r1r1(X,Y,Z,U,V) | -ss^nder1_4r1r1r1r1(X,Y,Z,U) | -ss^nder1_3r1r1r1(X,Y,Z) | -ss^nder1_2r1r1(X,Y) | -ss^nder1_1r1(X).
% 1013 [] -ss^nder1_0(0) | $ganappred7($ganc17,X,Y,Z,U,V,W,X1) | -$ganappred6($ganc4,X,Y,Z,U,V,W) | -ss^nder1_5r1r1r1r1r1(X,Y,Z,U,V) | -ss^nder1_4r1r1r1r1(X,Y,Z,U) | -ss^nder1_3r1r1r1(X,Y,Z) | -ss^nder1_2r1r1(X,Y) | -ss^nder1_1r1(X).
% 1015 [] -ss^nder1_0(0) | $ganappred6($ganc16,X,Y,Z,U,V,W) | -$ganappred5($ganc1,X,Y,Z,U,V) | -ss^nder1_5r1r1r1r1r1(X,Y,Z,U,V) | -ss^nder1_4r1r1r1r1(X,Y,Z,U) | -ss^nder1_3r1r1r1(X,Y,Z) | -ss^nder1_2r1r1(X,Y) | -ss^nder1_1r1(X).
% 1017 [] -ss^nder1_0(0) | $ganappred6($ganc14,X,Y,Z,U,V,W) | -ss^pv20_5r1r1r1r1r1(X,Y,Z,U,V) | -ss^nder1_5r1r1r1r1r1(X,Y,Z,U,V) | -ss^nder1_4r1r1r1r1(X,Y,Z,U) | -ss^nder1_3r1r1r1(X,Y,Z) | -ss^nder1_2r1r1(X,Y) | -ss^nder1_1r1(X).
% 1020 [] -ss^nder1_0(0) | -$ganappred6($ganc16,X,Y,Z,U,V,W) | $ganappred5($ganc1,X,Y,Z,U,V) | -ss^nder1_5r1r1r1r1r1(X,Y,Z,U,V) | -ss^nder1_4r1r1r1r1(X,Y,Z,U) | -ss^nder1_3r1r1r1(X,Y,Z) | -ss^nder1_2r1r1(X,Y) | -ss^nder1_1r1(X).
% 1022 [] -ss^nder1_0(0) | -$ganappred6($ganc14,X,Y,Z,U,V,W) | -ss^nder1_5r1r1r1r1r1(X,Y,Z,U,V) | ss^pv20_5r1r1r1r1r1(X,Y,Z,U,V) | -ss^nder1_4r1r1r1r1(X,Y,Z,U) | -ss^nder1_3r1r1r1(X,Y,Z) | -ss^nder1_2r1r1(X,Y) | -ss^nder1_1r1(X).
% 1027 [] -ss^nder1_0(0) | $ganappred7($ganc7,X,Y,Z,U,V,W,skc26) | -ss^nder1_5r1r1r1r1r1(X,Y,Z,U,V) | -ss^nder1_4r1r1r1r1(X,Y,Z,U) | -ss^nder1_3r1r1r1(X,Y,Z) | -ss^nder1_2r1r1(X,Y) | -ss^nder1_1r1(X).
% 1029 [] -ss^nder1_0(0) | $ganappred6($ganc4,X,Y,Z,U,V,W) | -ss^nder1_5r1r1r1r1r1(X,Y,Z,U,V) | -ss^nder1_4r1r1r1r1(X,Y,Z,U) | -ss^nder1_3r1r1r1(X,Y,Z) | -ss^nder1_2r1r1(X,Y) | -ss^nder1_1r1(X).
% 1032 [] -ss^nder1_0(0) | $ganappred5($ganc1,X,Y,Z,U,V) | -ss^pv18_4r1r1r1r1(X,Y,Z,U) | -ss^nder1_4r1r1r1r1(X,Y,Z,U) | -ss^nder1_3r1r1r1(X,Y,Z) | -ss^nder1_2r1r1(X,Y) | -ss^nder1_1r1(X).
% 1034 [] -ss^nder1_0(0) | ss^pv20_5r1r1r1r1r1(X,Y,Z,U,V) | -ss^pv20_4r1r1r1r1(X,Y,Z,U) | -ss^nder1_4r1r1r1r1(X,Y,Z,U) | -ss^nder1_3r1r1r1(X,Y,Z) | -ss^nder1_2r1r1(X,Y) | -ss^nder1_1r1(X).
% 1036 [] -ss^nder1_0(0) | -$ganappred5($ganc1,X,Y,Z,U,V) | -ss^nder1_4r1r1r1r1(X,Y,Z,U) | ss^pv18_4r1r1r1r1(X,Y,Z,U) | -ss^nder1_3r1r1r1(X,Y,Z) | -ss^nder1_2r1r1(X,Y) | -ss^nder1_1r1(X).
% 1038 [] -ss^nder1_0(0) | -ss^pv20_5r1r1r1r1r1(X,Y,Z,U,V) | -ss^nder1_4r1r1r1r1(X,Y,Z,U) | ss^pv20_4r1r1r1r1(X,Y,Z,U) | -ss^nder1_3r1r1r1(X,Y,Z) | -ss^nder1_2r1r1(X,Y) | -ss^nder1_1r1(X).
% 1042 [] -ss^nder1_0(0) | ss^pv15_6r1r1r1r1r1r1(X,Y,Z,U,V,skc28) | -ss^nder1_4r1r1r1r1(X,Y,Z,U) | -ss^nder1_3r1r1r1(X,Y,Z) | -ss^nder1_2r1r1(X,Y) | -ss^nder1_1r1(X).
% 1043 [] -ss^nder1_0(0) | ss^nder1_5r1r1r1r1r1(X,Y,Z,U,V) | -ss^nder1_4r1r1r1r1(X,Y,Z,U) | -ss^nder1_3r1r1r1(X,Y,Z) | -ss^nder1_2r1r1(X,Y) | -ss^nder1_1r1(X).
% 1047 [] -ss^nder1_0(0) | ss^pv20_4r1r1r1r1(X,Y,Z,U) | -ss^pv20_3r1r1r1(X,Y,Z) | -ss^nder1_3r1r1r1(X,Y,Z) | -ss^nder1_2r1r1(X,Y) | -ss^nder1_1r1(X).
% 1048 [] -ss^nder1_0(0) | -ss^pv18_4r1r1r1r1(X,Y,Z,U) | -ss^nder1_3r1r1r1(X,Y,Z) | ss^pv18_3r1r1r1(X,Y,Z) | -ss^nder1_2r1r1(X,Y) | -ss^nder1_1r1(X).
% 1050 [] -ss^nder1_0(0) | -ss^pv20_4r1r1r1r1(X,Y,Z,U) | -ss^nder1_3r1r1r1(X,Y,Z) | ss^pv20_3r1r1r1(X,Y,Z) | -ss^nder1_2r1r1(X,Y) | -ss^nder1_1r1(X).
% 1051 [] -ss^nder1_0(0) | ss^pv18_4r1r1r1r1(X,Y,Z,U) | -ss^pv18_3r1r1r1(X,Y,Z) | -ss^nder1_3r1r1r1(X,Y,Z) | -ss^nder1_2r1r1(X,Y) | -ss^nder1_1r1(X).
% 1055 [] -ss^nder1_0(0) | ss^nder1_4r1r1r1r1(X,Y,Z,U) | -ss^nder1_3r1r1r1(X,Y,Z) | -ss^nder1_2r1r1(X,Y) | -ss^nder1_1r1(X).
% 1059 [] -ss^nder1_0(0) | -ss^pv20_3r1r1r1(X,Y,Z) | -ss^nder1_2r1r1(X,Y) | ss^pv20_2r1r1(X,Y) | -ss^nder1_1r1(X).
% 1061 [] -ss^nder1_0(0) | ss^pv20_3r1r1r1(X,Y,Z) | -ss^pv20_2r1r1(X,Y) | -ss^nder1_2r1r1(X,Y) | -ss^nder1_1r1(X).
% 1064 [] -ss^nder1_0(0) | ss^nder1_3r1r1r1(X,Y,Z) | -ss^nder1_2r1r1(X,Y) | -ss^nder1_1r1(X).
% 1068 [] -ss^nder1_0(0) | -ss^pv20_2r1r1(X,Y) | -ss^nder1_1r1(X) | ss^pv20_1r1(X).
% 1069 [] -ss^nder1_0(0) | ss^pv20_2r1r1(X,Y) | -ss^pv20_1r1(X) | -ss^nder1_1r1(X).
% 1070 [] -ss^nder1_0(0) | ss^nder1_2r1r1(X,Y) | -ss^nder1_1r1(X).
% 1071 [] -ss^nder1_0(0) | ss^nder1_1r1(X).
% 1072 [] ss^nder1_0(0).
% 1075 [] -ss^nder1_0(0) | -ss^pv15_6r1r1r1r1r1r1(X,Y,Z,U,V,skc29) | -ss^nder1_4r1r1r1r1(X,Y,Z,U) | -ss^nder1_3r1r1r1(X,Y,Z) | -ss^nder1_2r1r1(X,Y) | -ss^nder1_1r1(X).
% 1081 [] -ss^nder1_0(0) | -$ganappred16($ganc173,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8,X9,skc17) | -$ganappred14($ganc151,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8) | -$ganappred13($ganc129,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7) | -$ganappred12($ganc110,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6) | -$ganappred11($ganc93,X,Y,Z,U,V,W,X1,X2,X3,X4,X5) | -$ganappred10($ganc76,X,Y,Z,U,V,W,X1,X2,X3,X4) | -$ganappred9($ganc55,X,Y,Z,U,V,W,X1,X2,X3) | -$ganappred8($ganc35,X,Y,Z,U,V,W,X1,X2) | -$ganappred7($ganc17,X,Y,Z,U,V,W,X1) | -$ganappred6($ganc4,X,Y,Z,U,V,W) | -ss^nder1_5r1r1r1r1r1(X,Y,Z,U,V) | -ss^nder1_4r1r1r1r1(X,Y,Z,U) | -ss^nder1_3r1r1r1(X,Y,Z) | -ss^nder1_2r1r1(X,Y) | -ss^nder1_1r1(X).
% 1631 [hyper:1071,1072] ss^nder1_1r1(X).
% 2168 [hyper:1070,1631,cut:1072] ss^nder1_2r1r1(X,Y).
% 2699 [hyper:1064,2168,cut:1072,cut:1631] ss^nder1_3r1r1r1(X,Y,Z).
% 3219 [hyper:1055,2699,cut:1072,cut:2168,cut:1631] ss^nder1_4r1r1r1r1(X,Y,Z,U).
% 3725 [hyper:1042,3219,cut:1072,cut:2699,cut:2168,cut:1631] ss^pv15_6r1r1r1r1r1r1(X,Y,Z,U,V,skc28).
% 3726 [hyper:1043,3219,cut:1072,cut:2699,cut:2168,cut:1631] ss^nder1_5r1r1r1r1r1(X,Y,Z,U,V).
% 4217 [hyper:1027,3726,cut:1072,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred7($ganc7,X,Y,Z,U,V,W,skc26).
% 4218 [hyper:1029,3726,cut:1072,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred6($ganc4,X,Y,Z,U,V,W).
% 4222 [hyper:1003,3725,cut:4218,cut:1072,cut:3726,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred7($ganc33,X,Y,Z,U,V,skc28,W).
% 4692 [hyper:1013,4218,cut:1072,cut:3726,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred7($ganc17,X,Y,Z,U,V,W,X1).
% 5143 [hyper:995,4692,cut:1072,cut:4218,cut:3726,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred8($ganc35,X,Y,Z,U,V,W,X1,X2).
% 5146 [hyper:981,4217,cut:1072,cut:4692,cut:4218,cut:3726,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred8($ganc54,X,Y,Z,U,V,W,skc26,X1).
% 5148 [hyper:982,4222,cut:1072,cut:4692,cut:4218,cut:3726,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred8($ganc53,X,Y,Z,U,V,skc28,W,X1).
% 5584 [hyper:973,5143,cut:1072,cut:4692,cut:4218,cut:3726,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred9($ganc55,X,Y,Z,U,V,W,X1,X2,X3).
% 5588 [hyper:956,5146,cut:1072,cut:5143,cut:4692,cut:4218,cut:3726,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred9($ganc75,X,Y,Z,U,V,W,skc26,X1,X2).
% 5589 [hyper:957,5148,cut:1072,cut:5143,cut:4692,cut:4218,cut:3726,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred9($ganc74,X,Y,Z,U,V,skc28,W,X1,X2).
% 5996 [hyper:947,5584,cut:1072,cut:5143,cut:4692,cut:4218,cut:3726,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred10($ganc76,X,Y,Z,U,V,W,X1,X2,X3,X4).
% 6000 [hyper:927,5588,cut:5584,cut:1072,cut:5143,cut:4692,cut:4218,cut:3726,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred10($ganc89,X,Y,Z,U,V,W,skc26,X1,X2,X3).
% 6001 [hyper:928,5589,cut:5584,cut:1072,cut:5143,cut:4692,cut:4218,cut:3726,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred10($ganc88,X,Y,Z,U,V,skc28,W,X1,X2,X3).
% 6393 [hyper:924,5996,cut:1072,cut:5584,cut:5143,cut:4692,cut:4218,cut:3726,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred11($ganc93,X,Y,Z,U,V,W,X1,X2,X3,X4,X5).
% 6398 [hyper:914,6000,cut:5996,cut:1072,cut:5584,cut:5143,cut:4692,cut:4218,cut:3726,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred11($ganc103,X,Y,Z,U,V,W,skc26,X1,X2,X3,X4).
% 6400 [hyper:915,6001,cut:5996,cut:1072,cut:5584,cut:5143,cut:4692,cut:4218,cut:3726,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred11($ganc102,X,Y,Z,U,V,skc28,W,X1,X2,X3,X4).
% 6758 [hyper:896,6393,cut:1072,cut:5996,cut:5584,cut:5143,cut:4692,cut:4218,cut:3726,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred13($ganc111,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,skc22).
% 6759 [hyper:897,6393,cut:1072,cut:5996,cut:5584,cut:5143,cut:4692,cut:4218,cut:3726,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred12($ganc110,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6).
% 6771 [hyper:877,6398,cut:6393,cut:1072,cut:5996,cut:5584,cut:5143,cut:4692,cut:4218,cut:3726,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred12($ganc121,X,Y,Z,U,V,W,skc26,X1,X2,X3,X4,X5).
% 6772 [hyper:878,6400,cut:6393,cut:1072,cut:5996,cut:5584,cut:5143,cut:4692,cut:4218,cut:3726,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred12($ganc120,X,Y,Z,U,V,skc28,W,X1,X2,X3,X4,X5).
% 7098 [hyper:868,6759,cut:1072,cut:6393,cut:5996,cut:5584,cut:5143,cut:4692,cut:4218,cut:3726,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred14($ganc130,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,skc20).
% 7099 [hyper:869,6759,cut:1072,cut:6393,cut:5996,cut:5584,cut:5143,cut:4692,cut:4218,cut:3726,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred13($ganc129,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7).
% 7110 [hyper:860,6771,cut:6759,cut:1072,cut:6393,cut:5996,cut:5584,cut:5143,cut:4692,cut:4218,cut:3726,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred13($ganc139,X,Y,Z,U,V,W,skc26,X1,X2,X3,X4,X5,X6).
% 7112 [hyper:861,6772,cut:6759,cut:1072,cut:6393,cut:5996,cut:5584,cut:5143,cut:4692,cut:4218,cut:3726,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred13($ganc138,X,Y,Z,U,V,skc28,W,X1,X2,X3,X4,X5,X6).
% 7398 [hyper:835,7099,cut:1072,cut:6759,cut:6393,cut:5996,cut:5584,cut:5143,cut:4692,cut:4218,cut:3726,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred15($ganc152,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8,skc18).
% 7399 [hyper:836,7099,cut:1072,cut:6759,cut:6393,cut:5996,cut:5584,cut:5143,cut:4692,cut:4218,cut:3726,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred14($ganc151,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8).
% 7413 [hyper:811,6758,cut:1072,cut:7099,cut:6759,cut:6393,cut:5996,cut:5584,cut:5143,cut:4692,cut:4218,cut:3726,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred14($ganc159,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,skc22,X7).
% 7416 [hyper:817,7110,cut:1072,cut:7099,cut:6759,cut:6393,cut:5996,cut:5584,cut:5143,cut:4692,cut:4218,cut:3726,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred14($ganc166,X,Y,Z,U,V,W,skc26,X1,X2,X3,X4,X5,X6,X7).
% 7417 [hyper:818,7112,cut:1072,cut:7099,cut:6759,cut:6393,cut:5996,cut:5584,cut:5143,cut:4692,cut:4218,cut:3726,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred14($ganc165,X,Y,Z,U,V,skc28,W,X1,X2,X3,X4,X5,X6,X7).
% 7667 [hyper:796,7399,cut:1072,cut:7099,cut:6759,cut:6393,cut:5996,cut:5584,cut:5143,cut:4692,cut:4218,cut:3726,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred16($ganc173,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8,X9,skc16).
% 7668 [hyper:797,7399,cut:1072,cut:7099,cut:6759,cut:6393,cut:5996,cut:5584,cut:5143,cut:4692,cut:4218,cut:3726,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred15($ganc172,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8,X9).
% 7684 [hyper:764,7098,cut:1072,cut:7399,cut:7099,cut:6759,cut:6393,cut:5996,cut:5584,cut:5143,cut:4692,cut:4218,cut:3726,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred15($ganc188,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,skc20,X8).
% 7686 [hyper:765,7413,cut:1072,cut:7399,cut:7099,cut:6759,cut:6393,cut:5996,cut:5584,cut:5143,cut:4692,cut:4218,cut:3726,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred15($ganc187,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,skc22,X7,X8).
% 7688 [hyper:771,7416,cut:1072,cut:7399,cut:7099,cut:6759,cut:6393,cut:5996,cut:5584,cut:5143,cut:4692,cut:4218,cut:3726,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred15($ganc181,X,Y,Z,U,V,W,skc26,X1,X2,X3,X4,X5,X6,X7,X8).
% 7689 [hyper:772,7417,cut:1072,cut:7399,cut:7099,cut:6759,cut:6393,cut:5996,cut:5584,cut:5143,cut:4692,cut:4218,cut:3726,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred15($ganc180,X,Y,Z,U,V,skc28,W,X1,X2,X3,X4,X5,X6,X7,X8).
% 7900 [hyper:759,7668,cut:1072,cut:7399,cut:7099,cut:6759,cut:6393,cut:5996,cut:5584,cut:5143,cut:4692,cut:4218,cut:3726,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred16($ganc193,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8,X9,X10).
% 7914 [hyper:745,7398,cut:1072,cut:7668,cut:7399,cut:7099,cut:6759,cut:6393,cut:5996,cut:5584,cut:5143,cut:4692,cut:4218,cut:3726,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred16($ganc204,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8,skc18,X9).
% 7919 [hyper:746,7684,cut:1072,cut:7668,cut:7399,cut:7099,cut:6759,cut:6393,cut:5996,cut:5584,cut:5143,cut:4692,cut:4218,cut:3726,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred16($ganc203,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,skc20,X8,X9).
% 7923 [hyper:716,7686,7398,cut:1072,cut:7399,cut:7099,cut:6759,cut:6393,cut:5996,cut:5584,cut:5143,cut:4692,cut:4218,cut:3726,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred15($ganc186,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,skc22,X7,skc18) | $ganappred15($ganc189,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,skc22,X7,skc18).
% 7929 [hyper:723,7688,cut:1072,cut:7668,cut:7399,cut:7099,cut:6759,cut:6393,cut:5996,cut:5584,cut:5143,cut:4692,cut:4218,cut:3726,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred16($ganc211,X,Y,Z,U,V,W,skc26,X1,X2,X3,X4,X5,X6,X7,X8,X9).
% 7930 [hyper:724,7689,cut:1072,cut:7668,cut:7399,cut:7099,cut:6759,cut:6393,cut:5996,cut:5584,cut:5143,cut:4692,cut:4218,cut:3726,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred16($ganc210,X,Y,Z,U,V,skc28,W,X1,X2,X3,X4,X5,X6,X7,X8,X9).
% 8113 [hyper:695,7914,cut:1072,cut:7900,cut:7668,cut:7399,cut:7099,cut:6759,cut:6393,cut:5996,cut:5584,cut:5143,cut:4692,cut:4218,cut:3726,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred17($ganc219,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8,skc18,X9,X10).
% 8117 [hyper:696,7919,cut:1072,cut:7900,cut:7668,cut:7399,cut:7099,cut:6759,cut:6393,cut:5996,cut:5584,cut:5143,cut:4692,cut:4218,cut:3726,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred17($ganc234,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,skc20,X8,X9,X10).
% 8124 [hyper:703,7929,cut:1072,cut:7900,cut:7668,cut:7399,cut:7099,cut:6759,cut:6393,cut:5996,cut:5584,cut:5143,cut:4692,cut:4218,cut:3726,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred17($ganc227,X,Y,Z,U,V,W,skc26,X1,X2,X3,X4,X5,X6,X7,X8,X9,X10).
% 9825 [hyper:763,7923,cut:1072,cut:7399,cut:7099,cut:6759,cut:6393,cut:5996,cut:5584,cut:5143,cut:4692,cut:4218,cut:3726,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred15($ganc186,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,skc22,X7,skc18) | $ganappred14($ganc160,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,skc22,X7).
% 9831 [hyper:780,9825,cut:1072,cut:7399,cut:7099,cut:6759,cut:6393,cut:5996,cut:5584,cut:5143,cut:4692,cut:4218,cut:3726,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred14($ganc160,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,skc22,X7) | $ganappred14($ganc171,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,skc22,X7).
% 9838 [hyper:799,9831,cut:1072,cut:7099,cut:6759,cut:6393,cut:5996,cut:5584,cut:5143,cut:4692,cut:4218,cut:3726,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred14($ganc160,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,skc22,X7) | $ganappred13($ganc145,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,skc22).
% 9845 [hyper:843,9838,cut:1072,cut:6759,cut:6393,cut:5996,cut:5584,cut:5143,cut:4692,cut:4218,cut:3726,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred14($ganc160,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,skc22,X7) | $ganappred12($ganc144,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6).
% 9848 [hyper:810,9845,cut:1072,cut:7099,cut:6759,cut:6393,cut:5996,cut:5584,cut:5143,cut:4692,cut:4218,cut:3726,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred13($ganc146,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,skc22) | $ganappred12($ganc144,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6).
% 9873 [hyper:854,9848,cut:1072,cut:6759,cut:6393,cut:5996,cut:5584,cut:5143,cut:4692,cut:4218,cut:3726,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred12($ganc144,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6) | $ganappred12($ganc127,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6).
% 9902 [hyper:872,9873,cut:1072,cut:6393,cut:5996,cut:5584,cut:5143,cut:4692,cut:4218,cut:3726,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred12($ganc144,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6) | $ganappred11($ganc108,X,Y,Z,U,V,W,X1,X2,X3,X4,X5).
% 9917 [hyper:910,9902,cut:1072,cut:5996,cut:5584,cut:5143,cut:4692,cut:4218,cut:3726,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred12($ganc144,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6) | $ganappred10($ganc83,X,Y,Z,U,V,W,X1,X2,X3,X4).
% 9932 [hyper:942,9917,cut:1072,cut:5584,cut:5143,cut:4692,cut:4218,cut:3726,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred12($ganc144,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6) | $ganappred9($ganc69,X,Y,Z,U,V,W,X1,X2,X3).
% 9947 [hyper:954,9932,cut:1072,cut:5143,cut:4692,cut:4218,cut:3726,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred12($ganc144,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6) | $ganappred8($ganc48,X,Y,Z,U,V,W,X1,X2).
% 9962 [hyper:980,9947,cut:1072,cut:4692,cut:4218,cut:3726,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred12($ganc144,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6) | $ganappred7($ganc34,X,Y,Z,U,V,W,X1).
% 9980 [hyper:1002,9962,cut:1072,cut:4218,cut:3726,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred12($ganc144,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6) | $ganappred6($ganc14,X,Y,Z,U,V,W).
% 9996 [hyper:1022,9980,cut:1072,cut:3726,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred12($ganc144,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6) | ss^pv20_5r1r1r1r1r1(X,Y,Z,U,V).
% 10011 [hyper:1038,9996,cut:1072,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred12($ganc144,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6) | ss^pv20_4r1r1r1r1(X,Y,Z,U).
% 10026 [hyper:1050,10011,cut:1072,cut:2699,cut:2168,cut:1631] $ganappred12($ganc144,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6) | ss^pv20_3r1r1r1(X,Y,Z).
% 10041 [hyper:1059,10026,cut:1072,cut:2168,cut:1631] $ganappred12($ganc144,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6) | ss^pv20_2r1r1(X,Y).
% 10057 [hyper:1068,10041,cut:1072,cut:1631] $ganappred12($ganc144,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6) | ss^pv20_1r1(X).
% 10070 [hyper:855,10057,cut:6759,cut:1072,cut:6393,cut:5996,cut:5584,cut:5143,cut:4692,cut:4218,cut:3726,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred13($ganc145,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7) | ss^pv20_1r1(X).
% 10073 [hyper:1069,10057,cut:1072,cut:1631] $ganappred12($ganc144,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6) | ss^pv20_2r1r1(X,X7).
% 10078 [hyper:812,10070,cut:1072,cut:7099,cut:6759,cut:6393,cut:5996,cut:5584,cut:5143,cut:4692,cut:4218,cut:3726,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred14($ganc171,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8) | ss^pv20_1r1(X).
% 10096 [hyper:1061,10073,cut:1072,cut:2168,cut:1631] $ganappred12($ganc144,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6) | ss^pv20_3r1r1r1(X,X7,X8).
% 10101 [hyper:766,10078,cut:1072,cut:7399,cut:7099,cut:6759,cut:6393,cut:5996,cut:5584,cut:5143,cut:4692,cut:4218,cut:3726,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred15($ganc186,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8,X9) | ss^pv20_1r1(X).
% 10122 [hyper:1047,10096,cut:1072,cut:2699,cut:2168,cut:1631] $ganappred12($ganc144,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6) | ss^pv20_4r1r1r1r1(X,X7,X8,X9).
% 10127 [hyper:748,10101,cut:1072,cut:7668,cut:7399,cut:7099,cut:6759,cut:6393,cut:5996,cut:5584,cut:5143,cut:4692,cut:4218,cut:3726,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred16($ganc201,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8,X9,X10) | ss^pv20_1r1(X).
% 10153 [hyper:1034,10122,cut:1072,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred12($ganc144,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6) | ss^pv20_5r1r1r1r1r1(X,X7,X8,X9,X10).
% 10158 [hyper:671,10127,7929,7667,cut:1072,cut:7668,cut:7399,cut:7099,cut:6759,cut:6393,cut:5996,cut:5584,cut:5143,cut:4692,cut:4218,cut:3726,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred16($ganc207,X,Y,Z,U,V,W,skc26,X1,X2,X3,X4,X5,X6,X7,X8,skc16) | ss^pv20_1r1(X).
% 10195 [hyper:1017,10153,cut:1072,cut:3726,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred12($ganc144,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6) | $ganappred6($ganc14,X,X7,X8,X9,X10,X11).
% 10198 [hyper:742,10158,cut:1072,cut:7668,cut:7399,cut:7099,cut:6759,cut:6393,cut:5996,cut:5584,cut:5143,cut:4692,cut:4218,cut:3726,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred15($ganc191,X,Y,Z,U,V,W,skc26,X1,X2,X3,X4,X5,X6,X7,X8) | ss^pv20_1r1(X).
% 10206 [hyper:761,10198,cut:1072,cut:7399,cut:7099,cut:6759,cut:6393,cut:5996,cut:5584,cut:5143,cut:4692,cut:4218,cut:3726,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred14($ganc162,X,Y,Z,U,V,W,skc26,X1,X2,X3,X4,X5,X6,X7) | ss^pv20_1r1(X).
% 10218 [hyper:808,10206,cut:1072,cut:7099,cut:6759,cut:6393,cut:5996,cut:5584,cut:5143,cut:4692,cut:4218,cut:3726,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred13($ganc148,X,Y,Z,U,V,W,skc26,X1,X2,X3,X4,X5,X6) | ss^pv20_1r1(X).
% 10225 [hyper:852,10218,cut:1072,cut:6759,cut:6393,cut:5996,cut:5584,cut:5143,cut:4692,cut:4218,cut:3726,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred12($ganc117,X,Y,Z,U,V,W,skc26,X1,X2,X3,X4,X5) | ss^pv20_1r1(X).
% 10232 [hyper:892,10225,cut:1072,cut:6393,cut:5996,cut:5584,cut:5143,cut:4692,cut:4218,cut:3726,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred11($ganc99,X,Y,Z,U,V,W,skc26,X1,X2,X3,X4) | ss^pv20_1r1(X).
% 10239 [hyper:908,10232,cut:1072,cut:5996,cut:5584,cut:5143,cut:4692,cut:4218,cut:3726,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred10($ganc85,X,Y,Z,U,V,W,skc26,X1,X2,X3) | ss^pv20_1r1(X).
% 10246 [hyper:940,10239,cut:1072,cut:5584,cut:5143,cut:4692,cut:4218,cut:3726,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred9($ganc71,X,Y,Z,U,V,W,skc26,X1,X2) | ss^pv20_1r1(X).
% 10259 [hyper:952,10246,cut:1072,cut:5143,cut:4692,cut:4218,cut:3726,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred8($ganc50,X,Y,Z,U,V,W,skc26,X1) | ss^pv20_1r1(X).
% 10266 [hyper:978,10259,cut:1072,cut:4692,cut:4218,cut:3726,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred7($ganc30,X,Y,Z,U,V,W,skc26) | ss^pv20_1r1(X).
% 10273 [hyper:1000,10266,cut:1072,cut:4218,cut:3726,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred6($ganc16,X,Y,Z,U,V,W) | ss^pv20_1r1(X).
% 10281 [hyper:1020,10273,cut:1072,cut:3726,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred5($ganc1,X,Y,Z,U,V) | ss^pv20_1r1(X).
% 10288 [hyper:1036,10281,cut:1072,cut:3219,cut:2699,cut:2168,cut:1631] ss^pv18_4r1r1r1r1(X,Y,Z,U) | ss^pv20_1r1(X).
% 10298 [hyper:1048,10288,cut:1072,cut:2699,cut:2168,cut:1631] ss^pv18_3r1r1r1(X,Y,Z) | ss^pv20_1r1(X).
% 10309 [hyper:1069,10298,cut:1072,cut:1631] ss^pv18_3r1r1r1(X,Y,Z) | ss^pv20_2r1r1(X,U).
% 10317 [hyper:1061,10309,cut:1072,cut:2168,cut:1631] ss^pv18_3r1r1r1(X,Y,Z) | ss^pv20_3r1r1r1(X,U,V).
% 10325 [hyper:1047,10317,cut:1072,cut:2699,cut:2168,cut:1631] ss^pv20_4r1r1r1r1(X,Y,Z,U) | ss^pv18_3r1r1r1(X,V,W).
% 10333 [hyper:1034,10325,cut:1072,cut:3219,cut:2699,cut:2168,cut:1631] ss^pv20_5r1r1r1r1r1(X,Y,Z,U,V) | ss^pv18_3r1r1r1(X,W,X1).
% 10343 [hyper:1017,10333,cut:1072,cut:3726,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred6($ganc14,X,Y,Z,U,V,W) | ss^pv18_3r1r1r1(X,X1,X2).
% 10368 [hyper:996,10343,cut:1072,cut:4218,cut:3726,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred7($ganc34,X,Y,Z,U,V,W,X1) | ss^pv18_3r1r1r1(X,X2,X3).
% 10397 [hyper:987,10368,cut:1072,cut:4692,cut:4218,cut:3726,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred8($ganc48,X,Y,Z,U,V,W,X1,X2) | ss^pv18_3r1r1r1(X,X3,X4).
% 10426 [hyper:962,10397,cut:1072,cut:5143,cut:4692,cut:4218,cut:3726,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred9($ganc69,X,Y,Z,U,V,W,X1,X2,X3) | ss^pv18_3r1r1r1(X,X4,X5).
% 10454 [hyper:933,10426,cut:5584,cut:1072,cut:5143,cut:4692,cut:4218,cut:3726,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred10($ganc83,X,Y,Z,U,V,W,X1,X2,X3,X4) | ss^pv18_3r1r1r1(X,X5,X6).
% 10483 [hyper:900,10454,cut:5996,cut:1072,cut:5584,cut:5143,cut:4692,cut:4218,cut:3726,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred11($ganc108,X,Y,Z,U,V,W,X1,X2,X3,X4,X5) | ss^pv18_3r1r1r1(X,X6,X7).
% 10516 [hyper:883,10483,cut:6393,cut:1072,cut:5996,cut:5584,cut:5143,cut:4692,cut:4218,cut:3726,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred12($ganc127,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6) | ss^pv18_3r1r1r1(X,X7,X8).
% 10558 [hyper:842,10516,cut:6759,cut:1072,cut:6393,cut:5996,cut:5584,cut:5143,cut:4692,cut:4218,cut:3726,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred13($ganc146,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7) | ss^pv18_3r1r1r1(X,X8,X9).
% 10604 [hyper:823,10558,cut:1072,cut:7099,cut:6759,cut:6393,cut:5996,cut:5584,cut:5143,cut:4692,cut:4218,cut:3726,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred14($ganc160,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8) | ss^pv18_3r1r1r1(X,X9,X10).
% 10646 [hyper:777,10604,cut:1072,cut:7399,cut:7099,cut:6759,cut:6393,cut:5996,cut:5584,cut:5143,cut:4692,cut:4218,cut:3726,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred15($ganc189,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8,X9) | ss^pv18_3r1r1r1(X,X10,X11).
% 10728 [hyper:729,10646,cut:1072,cut:7668,cut:7399,cut:7099,cut:6759,cut:6393,cut:5996,cut:5584,cut:5143,cut:4692,cut:4218,cut:3726,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred16($ganc205,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8,X9,X10) | ss^pv18_3r1r1r1(X,X11,X12).
% 10823 [hyper:674,10728,7930,7667,cut:1072,cut:7668,cut:7399,cut:7099,cut:6759,cut:6393,cut:5996,cut:5584,cut:5143,cut:4692,cut:4218,cut:3726,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred16($ganc201,X,Y,Z,U,V,skc28,W,X1,X2,X3,X4,X5,X6,X7,X8,skc16) | ss^pv18_3r1r1r1(X,X9,X10).
% 10856 [hyper:996,10195,cut:1072,cut:4218,cut:3726,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred12($ganc144,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6) | $ganappred7($ganc34,X,X7,X8,X9,X10,X11,X12).
% 10893 [hyper:671,10823,7929,cut:7667,cut:1072,cut:7668,cut:7399,cut:7099,cut:6759,cut:6393,cut:5996,cut:5584,cut:5143,cut:4692,cut:4218,cut:3726,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred16($ganc207,X,Y,Z,U,V,skc28,skc26,W,X1,X2,X3,X4,X5,X6,X7,skc16) | ss^pv18_3r1r1r1(X,X8,X9).
% 11022 [hyper:742,10893,cut:1072,cut:7668,cut:7399,cut:7099,cut:6759,cut:6393,cut:5996,cut:5584,cut:5143,cut:4692,cut:4218,cut:3726,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred15($ganc191,X,Y,Z,U,V,skc28,skc26,W,X1,X2,X3,X4,X5,X6,X7) | ss^pv18_3r1r1r1(X,X8,X9).
% 11030 [hyper:761,11022,cut:1072,cut:7399,cut:7099,cut:6759,cut:6393,cut:5996,cut:5584,cut:5143,cut:4692,cut:4218,cut:3726,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred14($ganc162,X,Y,Z,U,V,skc28,skc26,W,X1,X2,X3,X4,X5,X6) | ss^pv18_3r1r1r1(X,X7,X8).
% 11039 [hyper:808,11030,cut:1072,cut:7099,cut:6759,cut:6393,cut:5996,cut:5584,cut:5143,cut:4692,cut:4218,cut:3726,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred13($ganc148,X,Y,Z,U,V,skc28,skc26,W,X1,X2,X3,X4,X5) | ss^pv18_3r1r1r1(X,X6,X7).
% 11046 [hyper:852,11039,cut:1072,cut:6759,cut:6393,cut:5996,cut:5584,cut:5143,cut:4692,cut:4218,cut:3726,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred12($ganc117,X,Y,Z,U,V,skc28,skc26,W,X1,X2,X3,X4) | ss^pv18_3r1r1r1(X,X5,X6).
% 11053 [hyper:892,11046,cut:1072,cut:6393,cut:5996,cut:5584,cut:5143,cut:4692,cut:4218,cut:3726,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred11($ganc99,X,Y,Z,U,V,skc28,skc26,W,X1,X2,X3) | ss^pv18_3r1r1r1(X,X4,X5).
% 11061 [hyper:908,11053,cut:1072,cut:5996,cut:5584,cut:5143,cut:4692,cut:4218,cut:3726,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred10($ganc85,X,Y,Z,U,V,skc28,skc26,W,X1,X2) | ss^pv18_3r1r1r1(X,X3,X4).
% 11068 [hyper:940,11061,cut:1072,cut:5584,cut:5143,cut:4692,cut:4218,cut:3726,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred9($ganc71,X,Y,Z,U,V,skc28,skc26,W,X1) | ss^pv18_3r1r1r1(X,X2,X3).
% 11075 [hyper:952,11068,cut:1072,cut:5143,cut:4692,cut:4218,cut:3726,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred8($ganc50,X,Y,Z,U,V,skc28,skc26,W) | ss^pv18_3r1r1r1(X,X1,X2).
% 11082 [hyper:978,11075,cut:1072,cut:4692,cut:4218,cut:3726,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred7($ganc30,X,Y,Z,U,V,skc28,skc26) | ss^pv18_3r1r1r1(X,W,X1).
% 11089 [hyper:1000,11082,cut:1072,cut:4218,cut:3726,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred6($ganc16,X,Y,Z,U,V,skc28) | ss^pv18_3r1r1r1(X,W,X1).
% 11098 [hyper:1020,11089,cut:1072,cut:3726,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred5($ganc1,X,Y,Z,U,V) | ss^pv18_3r1r1r1(X,W,X1).
% 11106 [hyper:1036,11098,cut:1072,cut:3219,cut:2699,cut:2168,cut:1631] ss^pv18_4r1r1r1r1(X,Y,Z,U) | ss^pv18_3r1r1r1(X,V,W).
% 11118 [hyper:1051,11106,cut:1072,cut:2699,cut:2168,cut:1631,factor] ss^pv18_4r1r1r1r1(X,Y,Z,U).
% 11123 [hyper:1032,11118,cut:1072,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred5($ganc1,X,Y,Z,U,V).
% 11125 [hyper:1015,11123,cut:1072,cut:3726,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred6($ganc16,X,Y,Z,U,V,W).
% 11126 [hyper:1006,11125,cut:1072,cut:4218,cut:3726,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred7($ganc30,X,Y,Z,U,V,W,X1).
% 11128 [hyper:985,11126,cut:1072,cut:4692,cut:4218,cut:3726,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred8($ganc50,X,Y,Z,U,V,W,X1,X2).
% 11130 [hyper:960,11128,cut:1072,cut:5143,cut:4692,cut:4218,cut:3726,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred9($ganc71,X,Y,Z,U,V,W,X1,X2,X3).
% 11131 [hyper:931,11130,cut:5584,cut:1072,cut:5143,cut:4692,cut:4218,cut:3726,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred10($ganc85,X,Y,Z,U,V,W,X1,X2,X3,X4).
% 11132 [hyper:918,11131,cut:5996,cut:1072,cut:5584,cut:5143,cut:4692,cut:4218,cut:3726,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred11($ganc99,X,Y,Z,U,V,W,X1,X2,X3,X4,X5).
% 11135 [hyper:881,11132,cut:6393,cut:1072,cut:5996,cut:5584,cut:5143,cut:4692,cut:4218,cut:3726,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred12($ganc117,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6).
% 11136 [hyper:840,11135,cut:6759,cut:1072,cut:6393,cut:5996,cut:5584,cut:5143,cut:4692,cut:4218,cut:3726,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred13($ganc148,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7).
% 11139 [hyper:821,11136,cut:1072,cut:7099,cut:6759,cut:6393,cut:5996,cut:5584,cut:5143,cut:4692,cut:4218,cut:3726,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred14($ganc162,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8).
% 11143 [hyper:775,11139,cut:1072,cut:7399,cut:7099,cut:6759,cut:6393,cut:5996,cut:5584,cut:5143,cut:4692,cut:4218,cut:3726,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred15($ganc191,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8,X9).
% 11145 [hyper:727,11143,cut:1072,cut:7668,cut:7399,cut:7099,cut:6759,cut:6393,cut:5996,cut:5584,cut:5143,cut:4692,cut:4218,cut:3726,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred16($ganc207,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8,X9,X10).
% 11148 [hyper:707,11145,cut:1072,cut:7900,cut:7668,cut:7399,cut:7099,cut:6759,cut:6393,cut:5996,cut:5584,cut:5143,cut:4692,cut:4218,cut:3726,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred17($ganc223,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8,X9,X10,X11).
% 11198 [hyper:987,10856,cut:1072,cut:4692,cut:4218,cut:3726,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred12($ganc144,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6) | $ganappred8($ganc48,X,X7,X8,X9,X10,X11,X12,X13).
% 11239 [hyper:962,11198,cut:1072,cut:5143,cut:4692,cut:4218,cut:3726,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred12($ganc144,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6) | $ganappred9($ganc69,X,X7,X8,X9,X10,X11,X12,X13,X14).
% 11276 [hyper:933,11239,cut:5584,cut:1072,cut:5143,cut:4692,cut:4218,cut:3726,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred12($ganc144,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6) | $ganappred10($ganc83,X,X7,X8,X9,X10,X11,X12,X13,X14,X15).
% 11310 [hyper:900,11276,cut:5996,cut:1072,cut:5584,cut:5143,cut:4692,cut:4218,cut:3726,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred12($ganc144,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6) | $ganappred11($ganc108,X,X7,X8,X9,X10,X11,X12,X13,X14,X15,X16).
% 11347 [hyper:883,11310,cut:6393,cut:1072,cut:5996,cut:5584,cut:5143,cut:4692,cut:4218,cut:3726,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred12($ganc144,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6) | $ganappred12($ganc127,X,X7,X8,X9,X10,X11,X12,X13,X14,X15,X16,X17).
% 11390 [hyper:842,11347,cut:6759,cut:1072,cut:6393,cut:5996,cut:5584,cut:5143,cut:4692,cut:4218,cut:3726,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred13($ganc146,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7) | $ganappred12($ganc144,X,X8,X9,X10,X11,X12,X13,X14,X15,X16,X17,X18).
% 11426 [hyper:823,11390,cut:1072,cut:7099,cut:6759,cut:6393,cut:5996,cut:5584,cut:5143,cut:4692,cut:4218,cut:3726,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred14($ganc160,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8) | $ganappred12($ganc144,X,X9,X10,X11,X12,X13,X14,X15,X16,X17,X18,X19).
% 11469 [hyper:777,11426,cut:1072,cut:7399,cut:7099,cut:6759,cut:6393,cut:5996,cut:5584,cut:5143,cut:4692,cut:4218,cut:3726,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred15($ganc189,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8,X9) | $ganappred12($ganc144,X,X10,X11,X12,X13,X14,X15,X16,X17,X18,X19,X20).
% 13023 [hyper:729,11469,cut:1072,cut:7668,cut:7399,cut:7099,cut:6759,cut:6393,cut:5996,cut:5584,cut:5143,cut:4692,cut:4218,cut:3726,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred16($ganc205,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8,X9,X10) | $ganappred12($ganc144,X,X11,X12,X13,X14,X15,X16,X17,X18,X19,X20,X21).
% 13432 [hyper:709,13023,cut:1072,cut:7900,cut:7668,cut:7399,cut:7099,cut:6759,cut:6393,cut:5996,cut:5584,cut:5143,cut:4692,cut:4218,cut:3726,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred17($ganc221,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8,X9,X10,X11) | $ganappred12($ganc144,X,X12,X13,X14,X15,X16,X17,X18,X19,X20,X21,X22).
% 14504 [hyper:630,13432,8113,8124,cut:1072,cut:7900,cut:7668,cut:7399,cut:7099,cut:6759,cut:6393,cut:5996,cut:5584,cut:5143,cut:4692,cut:4218,cut:3726,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred17($ganc255,X,Y,Z,U,V,W,skc26,X1,X2,X3,X4,X5,X6,X7,skc18,X8,X9) | $ganappred12($ganc144,X,X10,X11,X12,X13,X14,X15,X16,X17,X18,X19,X20).
% 15478 [hyper:631,14504,8117,cut:11148,cut:1072,cut:7900,cut:7668,cut:7399,cut:7099,cut:6759,cut:6393,cut:5996,cut:5584,cut:5143,cut:4692,cut:4218,cut:3726,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred17($ganc220,X,Y,Z,U,V,W,skc26,X1,X2,X3,X4,X5,X6,skc20,skc18,X7,X8) | $ganappred12($ganc144,X,X9,X10,X11,X12,X13,X14,X15,X16,X17,X18,X19).
% 15653 [hyper:710,15478,cut:1072,cut:7900,cut:7668,cut:7399,cut:7099,cut:6759,cut:6393,cut:5996,cut:5584,cut:5143,cut:4692,cut:4218,cut:3726,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred16($ganc173,X,Y,Z,U,V,W,skc26,X1,X2,X3,X4,X5,X6,skc20,skc18,X7) | $ganappred12($ganc144,X,X8,X9,X10,X11,X12,X13,X14,X15,X16,X17,X18).
% 15676 [hyper:1081,15653,cut:1072,cut:7399,cut:7099,cut:6759,cut:6393,cut:5996,cut:5584,cut:5143,cut:4692,cut:4218,cut:3726,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred12($ganc144,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6).
% 15692 [hyper:855,15676,cut:6759,cut:1072,cut:6393,cut:5996,cut:5584,cut:5143,cut:4692,cut:4218,cut:3726,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred13($ganc145,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7).
% 15698 [hyper:812,15692,cut:1072,cut:7099,cut:6759,cut:6393,cut:5996,cut:5584,cut:5143,cut:4692,cut:4218,cut:3726,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred14($ganc171,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8).
% 15703 [hyper:766,15698,cut:1072,cut:7399,cut:7099,cut:6759,cut:6393,cut:5996,cut:5584,cut:5143,cut:4692,cut:4218,cut:3726,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred15($ganc186,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8,X9).
% 15706 [hyper:748,15703,cut:1072,cut:7668,cut:7399,cut:7099,cut:6759,cut:6393,cut:5996,cut:5584,cut:5143,cut:4692,cut:4218,cut:3726,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred16($ganc201,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8,X9,X10).
% 15711 [hyper:698,15706,cut:1072,cut:7900,cut:7668,cut:7399,cut:7099,cut:6759,cut:6393,cut:5996,cut:5584,cut:5143,cut:4692,cut:4218,cut:3726,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred17($ganc232,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,X8,X9,X10,X11).
% 15714 [hyper:633,15711,8117,cut:1072,cut:7900,cut:7668,cut:7399,cut:7099,cut:6759,cut:6393,cut:5996,cut:5584,cut:5143,cut:4692,cut:4218,cut:3726,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred17($ganc255,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,skc20,X8,X9,X10) | $ganappred17($ganc226,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,skc20,X8,X9,X10).
% 21242 [hyper:688,15714,cut:1072,cut:7900,cut:7668,cut:7399,cut:7099,cut:6759,cut:6393,cut:5996,cut:5584,cut:5143,cut:4692,cut:4218,cut:3726,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred17($ganc255,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,skc20,X8,X9,X10) | $ganappred16($ganc210,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,skc20,X8,X9).
% 21247 [hyper:739,21242,cut:1072,cut:7668,cut:7399,cut:7099,cut:6759,cut:6393,cut:5996,cut:5584,cut:5143,cut:4692,cut:4218,cut:3726,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred17($ganc255,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,skc20,X8,X9,X10) | $ganappred15($ganc180,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,skc20,X8).
% 21252 [hyper:786,21247,cut:1072,cut:7399,cut:7099,cut:6759,cut:6393,cut:5996,cut:5584,cut:5143,cut:4692,cut:4218,cut:3726,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred17($ganc255,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,skc20,X8,X9,X10) | $ganappred14($ganc165,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,skc20).
% 21257 [hyper:805,21252,cut:1072,cut:7099,cut:6759,cut:6393,cut:5996,cut:5584,cut:5143,cut:4692,cut:4218,cut:3726,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred17($ganc255,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,skc20,X8,X9,X10) | $ganappred13($ganc138,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7).
% 21262 [hyper:849,21257,cut:1072,cut:6759,cut:6393,cut:5996,cut:5584,cut:5143,cut:4692,cut:4218,cut:3726,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred17($ganc255,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,skc20,X8,X9,X10) | $ganappred12($ganc120,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6).
% 21267 [hyper:889,21262,cut:1072,cut:6393,cut:5996,cut:5584,cut:5143,cut:4692,cut:4218,cut:3726,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred17($ganc255,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,skc20,X8,X9,X10) | $ganappred11($ganc102,X,Y,Z,U,V,W,X1,X2,X3,X4,X5).
% 21272 [hyper:905,21267,cut:1072,cut:5996,cut:5584,cut:5143,cut:4692,cut:4218,cut:3726,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred17($ganc255,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,skc20,X8,X9,X10) | $ganappred10($ganc88,X,Y,Z,U,V,W,X1,X2,X3,X4).
% 21277 [hyper:937,21272,cut:1072,cut:5584,cut:5143,cut:4692,cut:4218,cut:3726,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred17($ganc255,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,skc20,X8,X9,X10) | $ganappred9($ganc74,X,Y,Z,U,V,W,X1,X2,X3).
% 21288 [hyper:949,21277,cut:1072,cut:5143,cut:4692,cut:4218,cut:3726,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred17($ganc255,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,skc20,X8,X9,X10) | $ganappred8($ganc53,X,Y,Z,U,V,W,X1,X2).
% 21293 [hyper:975,21288,cut:1072,cut:4692,cut:4218,cut:3726,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred17($ganc255,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,skc20,X8,X9,X10) | $ganappred7($ganc33,X,Y,Z,U,V,W,X1).
% 21298 [hyper:997,21293,cut:1072,cut:4218,cut:3726,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred17($ganc255,X,Y,Z,U,V,W,X1,X2,X3,X4,X5,X6,X7,skc20,X8,X9,X10) | ss^pv15_6r1r1r1r1r1r1(X,Y,Z,U,V,W).
% 21300 [hyper:1075,21298,cut:1072,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred17($ganc255,X,Y,Z,U,V,skc29,W,X1,X2,X3,X4,X5,X6,skc20,X7,X8,X9).
% 21306 [hyper:631,21300,cut:11148,cut:1072,cut:8117,cut:7900,cut:7668,cut:7399,cut:7099,cut:6759,cut:6393,cut:5996,cut:5584,cut:5143,cut:4692,cut:4218,cut:3726,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred17($ganc220,X,Y,Z,U,V,skc29,W,X1,X2,X3,X4,X5,X6,skc20,X7,X8,X9).
% 21309 [hyper:710,21306,cut:1072,cut:7900,cut:7668,cut:7399,cut:7099,cut:6759,cut:6393,cut:5996,cut:5584,cut:5143,cut:4692,cut:4218,cut:3726,cut:3219,cut:2699,cut:2168,cut:1631] $ganappred16($ganc173,X,Y,Z,U,V,skc29,W,X1,X2,X3,X4,X5,X6,skc20,X7,X8).
% 21310 [hyper:1081,21309,cut:1072,cut:7399,cut:7099,cut:6759,cut:6393,cut:5996,cut:5584,cut:5143,cut:4692,cut:4218,cut:3726,cut:3219,cut:2699,cut:2168,cut:1631] contradiction
% END OF PROOF
%
% Proof found by the following strategy:
%
% using hyperresolution
% not using sos strategy
% using positive unit paramodulation strategy
% using dynamic demodulation
% using ordered paramodulation
% using kb ordering for equality
% preferring bigger arities for lex ordering
% clause length limited to 47
% clause depth limited to 1
% seconds given: 30
%
%
% ***GANDALF_FOUND_A_REFUTATION***
%
% Global statistics over all passes:
%
% given clauses: 2717
% derived clauses: 39198
% kept clauses: 3536
% kept size sum: 119346
% kept mid-nuclei: 14136
% kept new demods: 0
% forw unit-subs: 691
% forw double-subs: 6788
% forw overdouble-subs: 11834
% backward subs: 2037
% fast unit cutoff: 18455
% full unit cutoff: 0
% dbl unit cutoff: 1
% real runtime: 11.68
% process. runtime: 11.56
% specific non-discr-tree subsumption statistics:
% tried: 127463
% length fails: 12622
% strength fails: 5787
% predlist fails: 45457
% aux str. fails: 211
% by-lit fails: 30983
% full subs tried: 20538
% full subs fail: 8698
%
% ; program args: ("/home/graph/tptp/Systems/Gandalf---c-2.6/gandalf" "-time" "600" "/home/graph/tptp/TSTP/PreparedTPTP/otter:hypothesis:set(auto),clear(print_given)---add_equality:r/SYN/SYN819-1+noeq.in")
%
%------------------------------------------------------------------------------