
Preprocessing Cost Relations
=====================================

#### Computed strongly connected components 
0. recursive  : [f2/27,f3/27,f4/27,f6/27]
1. non_recursive  : [exit_location/1]
2. non_recursive  : [f7/15]
3. non_recursive  : [f2_loop_cont/16]
4. non_recursive  : [f1/15]
5. non_recursive  : [f0/15]

#### Obtained direct recursion through partial evaluation 
0. SCC is partially evaluated into f2/27
1. SCC is completely evaluated into other SCCs
2. SCC is completely evaluated into other SCCs
3. SCC is partially evaluated into f2_loop_cont/16
4. SCC is partially evaluated into f1/15
5. SCC is partially evaluated into f0/15

Control-Flow Refinement of Cost Relations
=====================================

### Specialization of cost equations f2/27 
* CE 45 is refined into CE [48] 
* CE 18 is refined into CE [49] 
* CE 12 is refined into CE [50] 
* CE 19 is refined into CE [51] 
* CE 13 is refined into CE [52] 
* CE 20 is refined into CE [53] 
* CE 14 is refined into CE [54] 
* CE 15 is refined into CE [55] 
* CE 9 is refined into CE [56] 
* CE 16 is refined into CE [57] 
* CE 10 is refined into CE [58] 
* CE 17 is refined into CE [59] 
* CE 11 is refined into CE [60] 
* CE 6 is refined into CE [61] 
* CE 8 is refined into CE [62] 
* CE 7 is refined into CE [63] 
* CE 34 is refined into CE [64] 
* CE 28 is refined into CE [65] 
* CE 35 is refined into CE [66] 
* CE 29 is refined into CE [67] 
* CE 30 is refined into CE [68] 
* CE 24 is refined into CE [69] 
* CE 31 is refined into CE [70] 
* CE 25 is refined into CE [71] 
* CE 32 is refined into CE [72] 
* CE 26 is refined into CE [73] 
* CE 21 is refined into CE [74] 
* CE 23 is refined into CE [75] 
* CE 22 is refined into CE [76] 
* CE 33 is refined into CE [77] 
* CE 27 is refined into CE [78] 
* CE 43 is refined into CE [79] 
* CE 40 is refined into CE [80] 
* CE 44 is refined into CE [81] 
* CE 41 is refined into CE [82] 
* CE 36 is refined into CE [83] 
* CE 37 is refined into CE [84] 
* CE 38 is refined into CE [85] 
* CE 42 is refined into CE [86] 
* CE 39 is refined into CE [87] 


### Cost equations --> "Loop" of f2/27 
* CEs [79] --> Loop 45 
* CEs [80] --> Loop 46 
* CEs [81] --> Loop 47 
* CEs [82] --> Loop 48 
* CEs [83] --> Loop 49 
* CEs [84] --> Loop 50 
* CEs [85] --> Loop 51 
* CEs [86] --> Loop 52 
* CEs [87] --> Loop 53 
* CEs [48] --> Loop 54 
* CEs [49] --> Loop 55 
* CEs [50] --> Loop 56 
* CEs [51] --> Loop 57 
* CEs [52] --> Loop 58 
* CEs [53] --> Loop 59 
* CEs [54] --> Loop 60 
* CEs [55] --> Loop 61 
* CEs [56] --> Loop 62 
* CEs [57] --> Loop 63 
* CEs [58] --> Loop 64 
* CEs [59] --> Loop 65 
* CEs [60] --> Loop 66 
* CEs [61] --> Loop 67 
* CEs [62] --> Loop 68 
* CEs [63] --> Loop 69 
* CEs [64] --> Loop 70 
* CEs [65] --> Loop 71 
* CEs [66] --> Loop 72 
* CEs [67] --> Loop 73 
* CEs [68] --> Loop 74 
* CEs [69] --> Loop 75 
* CEs [70] --> Loop 76 
* CEs [71] --> Loop 77 
* CEs [72] --> Loop 78 
* CEs [73] --> Loop 79 
* CEs [74] --> Loop 80 
* CEs [75] --> Loop 81 
* CEs [76] --> Loop 82 
* CEs [77] --> Loop 83 
* CEs [78] --> Loop 84 

### Ranking functions of CR f2(A,B,C,D,E,F,G,H,I,J,K,L,M,N,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1) 

#### Partial ranking functions of CR f2(A,B,C,D,E,F,G,H,I,J,K,L,M,N,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1) 
* Partial RF of phase [45,46,47,48,49,50,51]:
  - RF of loop [46:1,51:1]:
    -B/2+N/2-1
    -C/2+N/2-1
    -D/2+M/2-1
    -E/2+M/2-1
  - RF of loop [48:1,49:1]:
    -B+N-1
    -C+N-1
    -D+M-1
    -E+M-1
  - RF of loop [50:1]:
    -B/3+N/3-1
    -C/3+N/3-1
    -D/3+M/3-1
    -E/3+M/3-1


### Specialization of cost equations f2_loop_cont/16 
* CE 47 is refined into CE [88] 
* CE 46 is refined into CE [89] 


### Cost equations --> "Loop" of f2_loop_cont/16 
* CEs [88] --> Loop 85 
* CEs [89] --> Loop 86 

### Ranking functions of CR f2_loop_cont(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P) 

#### Partial ranking functions of CR f2_loop_cont(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P) 


### Specialization of cost equations f1/15 
* CE 2 is refined into CE [90] 
* CE 3 is refined into CE [91,92,93,94,95,96,97,98,99,100,101,102,103,104,105,106,107,108,109,110,111,112,113,114,115,116,117,118,119,120,121,122,123,124,125,126,127,128,129,130,131,132,133,134,135,136,137,138,139,140,141,142,143,144,145,146,147,148] 
* CE 4 is refined into CE [149,150,151,152,153,154,155,156,157,158,159,160,161,162,163,164,165,166,167,168,169,170,171,172,173,174,175,176,177,178,179,180,181,182,183,184,185,186,187,188,189,190,191,192,193,194,195,196,197,198,199,200,201,202,203,204,205,206] 
* CE 5 is refined into CE [207,208,209,210,211,212,213,214,215,216,217,218,219,220,221,222,223,224,225,226,227,228,229,230,231,232,233,234,235,236,237,238,239,240,241,242,243,244,245,246,247,248,249,250,251,252,253,254,255,256,257,258,259,260,261,262,263,264,265,266,267,268,269,270,271,272,273,274,275,276,277,278,279,280,281,282,283,284,285,286,287,288,289,290,291,292,293,294,295,296,297,298,299,300,301,302,303,304,305,306,307,308,309,310,311,312,313,314,315,316,317,318,319,320,321,322,323,324,325,326,327,328,329,330,331,332,333,334,335,336,337,338,339,340,341,342,343,344,345,346,347,348,349,350,351,352,353,354,355,356,357,358,359,360,361,362,363,364,365,366,367,368,369,370,371,372,373,374] 


### Cost equations --> "Loop" of f1/15 
* CEs [373,374] --> Loop 87 
* CEs [147,148,205,206,369,370,371,372] --> Loop 88 
* CEs [97,98,155,156] --> Loop 89 
* CEs [93,101,102,111,112,151,159,160,169,170,241,242,319,320] --> Loop 90 
* CEs [92,99,100,109,110,150,157,158,167,168,315,323,324,333,334] --> Loop 91 
* CEs [91,149,314,321,322,331,332] --> Loop 92 
* CEs [313] --> Loop 93 
* CEs [227,228] --> Loop 94 
* CEs [212,225,226,249,250] --> Loop 95 
* CEs [211,222,224,246,248] --> Loop 96 
* CEs [209] --> Loop 97 
* CEs [210,221,223,245,247] --> Loop 98 
* CEs [208] --> Loop 99 
* CEs [213,214,215,229,230,231,235,236,237,251,252,255,256,260,262,264,265,266,267,272,274,276,278,280,282,283,284,285,289,290,291,296,298,300,302,303,304,307,308,312] --> Loop 100 
* CEs [94,95,96,103,104,105,106,107,108,113,114,115,116,120,121,122,129,130,131,132,133,134,139,140,141,142,146,152,153,154,161,162,163,164,165,166,171,172,173,174,178,179,180,187,188,189,190,191,192,197,198,199,200,204,216,217,218,232,233,234,238,239,240,253,254,257,258,259,261,263,268,269,270,271,273,275,277,279,281,286,287,288,292,293,294,295,297,299,301,305,306,309,310,311,316,317,318,325,326,327,328,329,330,335,336,337,338,342,343,344,351,352,353,354,355,356,361,362,363,364,368] --> Loop 101 
* CEs [207,219,220,243,244] --> Loop 102 
* CEs [90,117,118,119,123,124,125,126,127,128,135,136,137,138,143,144,145,175,176,177,181,182,183,184,185,186,193,194,195,196,201,202,203,339,340,341,345,346,347,348,349,350,357,358,359,360,365,366,367] --> Loop 103 

### Ranking functions of CR f1(A,B,C,D,E,F,G,H,I,J,K,L,M,N,S) 

#### Partial ranking functions of CR f1(A,B,C,D,E,F,G,H,I,J,K,L,M,N,S) 


### Specialization of cost equations f0/15 
* CE 1 is refined into CE [375,376,377,378,379,380,381,382,383,384,385,386,387,388,389,390,391] 


### Cost equations --> "Loop" of f0/15 
* CEs [391] --> Loop 104 
* CEs [390] --> Loop 105 
* CEs [389] --> Loop 106 
* CEs [388] --> Loop 107 
* CEs [387] --> Loop 108 
* CEs [386] --> Loop 109 
* CEs [385] --> Loop 110 
* CEs [384] --> Loop 111 
* CEs [383] --> Loop 112 
* CEs [382] --> Loop 113 
* CEs [381] --> Loop 114 
* CEs [380] --> Loop 115 
* CEs [379] --> Loop 116 
* CEs [378] --> Loop 117 
* CEs [377] --> Loop 118 
* CEs [376] --> Loop 119 
* CEs [375] --> Loop 120 

### Ranking functions of CR f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,S) 

#### Partial ranking functions of CR f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,S) 


Computing Bounds
=====================================

#### Cost of chains of f2(A,B,C,D,E,F,G,H,I,J,K,L,M,N,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1):
* Chain [[45,46,47,48,49,50,51]]...: 2*it(45)+1*it(46)+2*it(48)+1*it(50)+1*it(51)+0
  Such that:aux(1) =< -B+N
aux(3) =< -B/2+N/2
it(50) =< -B/3+N/3
aux(5) =< -C+N
aux(7) =< -C/2+N/2
it(50) =< -C/3+N/3
aux(9) =< -D+M
aux(11) =< -D/2+M/2
it(50) =< -D/3+M/3
aux(13) =< -E+M
aux(15) =< -E/2+M/2
it(50) =< -E/3+M/3
it(48) =< aux(1)
it(50) =< aux(1)
it(51) =< aux(1)
it(46) =< aux(3)
it(50) =< aux(3)
it(51) =< aux(3)
it(48) =< aux(5)
it(50) =< aux(5)
it(51) =< aux(5)
it(46) =< aux(7)
it(50) =< aux(7)
it(51) =< aux(7)
it(48) =< aux(9)
it(50) =< aux(9)
it(51) =< aux(9)
it(46) =< aux(11)
it(50) =< aux(11)
it(51) =< aux(11)
it(48) =< aux(13)
it(50) =< aux(13)
it(51) =< aux(13)
it(46) =< aux(15)
it(50) =< aux(15)
it(51) =< aux(15)

  with precondition: [G=K,F=J,D=E,B=C,A=0,G>=3*H+1,F>=2*H+1,7>=3*H+G,7>=4*H+F,H>=0,I=0,L=2,M>=1,N>=1] 

* Chain [[45,46,47,48,49,50,51],82]: 2*it(45)+1*it(46)+2*it(48)+1*it(50)+1*it(51)+0
  Such that:aux(1) =< -B+N
aux(3) =< -B/2+N/2
it(50) =< -B/3+N/3
aux(5) =< -C+N
aux(7) =< -C/2+N/2
it(50) =< -C/3+N/3
it(50) =< -C/3+V/3
aux(9) =< -D+M
aux(11) =< -D/2+M/2
it(50) =< -D/3+M/3
aux(13) =< -E+M
aux(15) =< -E/2+M/2
it(50) =< -E/3+M/3
aux(17) =< -C+V
aux(18) =< -C/2+V/2
it(48) =< aux(1)
it(50) =< aux(1)
it(51) =< aux(1)
it(48) =< aux(17)
it(50) =< aux(17)
it(51) =< aux(17)
it(46) =< aux(3)
it(50) =< aux(3)
it(51) =< aux(3)
it(46) =< aux(18)
it(50) =< aux(18)
it(51) =< aux(18)
it(48) =< aux(5)
it(50) =< aux(5)
it(51) =< aux(5)
it(46) =< aux(7)
it(50) =< aux(7)
it(51) =< aux(7)
it(48) =< aux(9)
it(50) =< aux(9)
it(51) =< aux(9)
it(46) =< aux(11)
it(50) =< aux(11)
it(51) =< aux(11)
it(48) =< aux(13)
it(50) =< aux(13)
it(51) =< aux(13)
it(46) =< aux(15)
it(50) =< aux(15)
it(51) =< aux(15)

  with precondition: [A=0,I=0,L=2,S=2,T=0,Z=4,A1=1,B1=0,D1=4,E1=7,B=C,D=E,F=J,G=K,U=V,Y=C1,D+U=B+W,D+U=B+X,7>=Y,H>=0,M>=1,N>=1,Y>=1,7>=4*H+F,7>=3*H+G,G>=3*H+1,F>=2*H+1,U>=B+4,U>=N,D+U>=B+M] 

* Chain [[45,46,47,48,49,50,51],81]: 2*it(45)+1*it(46)+2*it(48)+1*it(50)+1*it(51)+0
  Such that:aux(1) =< -B+N
aux(3) =< -B/2+N/2
it(50) =< -B/3+N/3
aux(5) =< -C+N
aux(7) =< -C/2+N/2
it(50) =< -C/3+N/3
it(50) =< -C/3+V/3
aux(9) =< -D+M
aux(11) =< -D/2+M/2
it(50) =< -D/3+M/3
aux(13) =< -E+M
aux(15) =< -E/2+M/2
it(50) =< -E/3+M/3
aux(19) =< -C+V
aux(20) =< -C/2+V/2
it(48) =< aux(1)
it(50) =< aux(1)
it(51) =< aux(1)
it(48) =< aux(19)
it(50) =< aux(19)
it(51) =< aux(19)
it(46) =< aux(3)
it(50) =< aux(3)
it(51) =< aux(3)
it(46) =< aux(20)
it(50) =< aux(20)
it(51) =< aux(20)
it(48) =< aux(5)
it(50) =< aux(5)
it(51) =< aux(5)
it(46) =< aux(7)
it(50) =< aux(7)
it(51) =< aux(7)
it(48) =< aux(9)
it(50) =< aux(9)
it(51) =< aux(9)
it(46) =< aux(11)
it(50) =< aux(11)
it(51) =< aux(11)
it(48) =< aux(13)
it(50) =< aux(13)
it(51) =< aux(13)
it(46) =< aux(15)
it(50) =< aux(15)
it(51) =< aux(15)

  with precondition: [A=0,I=0,L=2,S=2,T=0,Z=4,A1=1,B1=0,D1=4,E1=7,B=C,D=E,F=J,G=K,U=V,Y=C1,D+U=B+W,D+U=B+X,7>=Y,H>=0,M>=1,N>=1,Y>=1,7>=4*H+F,7>=3*H+G,G>=3*H+1,F>=2*H+1,U>=B+3,U>=N,D+U>=B+M] 

* Chain [[45,46,47,48,49,50,51],80]: 2*it(45)+1*it(46)+2*it(48)+1*it(50)+1*it(51)+0
  Such that:aux(1) =< -B+N
aux(3) =< -B/2+N/2
it(50) =< -B/3+N/3
it(50) =< -B/3+V/3
aux(5) =< -C+N
aux(7) =< -C/2+N/2
it(50) =< -C/3+N/3
aux(9) =< -D+M
aux(11) =< -D/2+M/2
it(50) =< -D/3+M/3
aux(13) =< -E+M
aux(15) =< -E/2+M/2
it(50) =< -E/3+M/3
aux(21) =< -B+V
aux(22) =< -B/2+V/2
it(48) =< aux(1)
it(50) =< aux(1)
it(51) =< aux(1)
it(48) =< aux(21)
it(50) =< aux(21)
it(51) =< aux(21)
it(46) =< aux(3)
it(50) =< aux(3)
it(51) =< aux(3)
it(46) =< aux(22)
it(50) =< aux(22)
it(51) =< aux(22)
it(48) =< aux(5)
it(50) =< aux(5)
it(51) =< aux(5)
it(46) =< aux(7)
it(50) =< aux(7)
it(51) =< aux(7)
it(48) =< aux(9)
it(50) =< aux(9)
it(51) =< aux(9)
it(46) =< aux(11)
it(50) =< aux(11)
it(51) =< aux(11)
it(48) =< aux(13)
it(50) =< aux(13)
it(51) =< aux(13)
it(46) =< aux(15)
it(50) =< aux(15)
it(51) =< aux(15)

  with precondition: [A=0,I=0,L=2,S=2,T=0,Z=4,A1=1,B1=0,D1=4,E1=7,B=C,D=E,F=J,G=K,U=V,Y=C1,D+U=B+W,D+U=B+X,7>=Y,H>=0,M>=1,N>=1,Y>=1,7>=4*H+F,7>=3*H+G,G>=3*H+1,F>=2*H+1,U>=B+2,U>=N,D+U>=B+M] 

* Chain [[45,46,47,48,49,50,51],79]: 2*it(45)+1*it(46)+2*it(48)+1*it(50)+1*it(51)+0
  Such that:aux(1) =< -B+N
aux(3) =< -B/2+N/2
it(50) =< -B/3+N/3
it(50) =< -B/3+V/3
aux(5) =< -C+N
aux(7) =< -C/2+N/2
it(50) =< -C/3+N/3
aux(9) =< -D+M
aux(11) =< -D/2+M/2
it(50) =< -D/3+M/3
aux(13) =< -E+M
aux(15) =< -E/2+M/2
it(50) =< -E/3+M/3
aux(23) =< -B+V
aux(24) =< -B/2+V/2
it(48) =< aux(1)
it(50) =< aux(1)
it(51) =< aux(1)
it(48) =< aux(23)
it(50) =< aux(23)
it(51) =< aux(23)
it(46) =< aux(3)
it(50) =< aux(3)
it(51) =< aux(3)
it(46) =< aux(24)
it(50) =< aux(24)
it(51) =< aux(24)
it(48) =< aux(5)
it(50) =< aux(5)
it(51) =< aux(5)
it(46) =< aux(7)
it(50) =< aux(7)
it(51) =< aux(7)
it(48) =< aux(9)
it(50) =< aux(9)
it(51) =< aux(9)
it(46) =< aux(11)
it(50) =< aux(11)
it(51) =< aux(11)
it(48) =< aux(13)
it(50) =< aux(13)
it(51) =< aux(13)
it(46) =< aux(15)
it(50) =< aux(15)
it(51) =< aux(15)

  with precondition: [A=0,I=0,L=2,S=2,T=0,A1=0,B1=0,E1=7,B=C,D=E,F=J,G=K,U=V,Y=C1,Z=D1,D+U=B+W,D+U=B+X,7>=Y,7>=Z,H>=0,M>=1,N>=1,Y>=1,Z>=5,7>=4*H+F,7>=3*H+G,G>=3*H+1,F>=2*H+1,U>=B+2,U>=N,D+U>=B+M] 

* Chain [[45,46,47,48,49,50,51],78]: 2*it(45)+1*it(46)+2*it(48)+1*it(50)+1*it(51)+0
  Such that:aux(1) =< -B+N
aux(3) =< -B/2+N/2
it(50) =< -B/3+N/3
it(50) =< -B/3+V/3
aux(5) =< -C+N
aux(7) =< -C/2+N/2
it(50) =< -C/3+N/3
aux(9) =< -D+M
aux(11) =< -D/2+M/2
it(50) =< -D/3+M/3
aux(13) =< -E+M
aux(15) =< -E/2+M/2
it(50) =< -E/3+M/3
aux(25) =< -B+V
aux(26) =< -B/2+V/2
it(48) =< aux(1)
it(50) =< aux(1)
it(51) =< aux(1)
it(48) =< aux(25)
it(50) =< aux(25)
it(51) =< aux(25)
it(46) =< aux(3)
it(50) =< aux(3)
it(51) =< aux(3)
it(46) =< aux(26)
it(50) =< aux(26)
it(51) =< aux(26)
it(48) =< aux(5)
it(50) =< aux(5)
it(51) =< aux(5)
it(46) =< aux(7)
it(50) =< aux(7)
it(51) =< aux(7)
it(48) =< aux(9)
it(50) =< aux(9)
it(51) =< aux(9)
it(46) =< aux(11)
it(50) =< aux(11)
it(51) =< aux(11)
it(48) =< aux(13)
it(50) =< aux(13)
it(51) =< aux(13)
it(46) =< aux(15)
it(50) =< aux(15)
it(51) =< aux(15)

  with precondition: [A=0,I=0,L=2,S=2,T=0,A1=0,B1=0,E1=7,B=C,D=E,F=J,G=K,U=V,Y=C1,Z=D1,D+U=B+W,D+U=B+X,7>=Y,3>=Z,H>=0,M>=1,N>=1,Y>=1,Z>=1,7>=4*H+F,7>=3*H+G,G>=3*H+1,F>=2*H+1,U>=B+2,U>=N,D+U>=B+M] 

* Chain [[45,46,47,48,49,50,51],77]: 2*it(45)+1*it(46)+2*it(48)+1*it(50)+1*it(51)+0
  Such that:aux(1) =< -B+N
aux(3) =< -B/2+N/2
it(50) =< -B/3+N/3
it(50) =< -B/3+V/3
aux(5) =< -C+N
aux(7) =< -C/2+N/2
it(50) =< -C/3+N/3
aux(9) =< -D+M
aux(11) =< -D/2+M/2
it(50) =< -D/3+M/3
aux(13) =< -E+M
aux(15) =< -E/2+M/2
it(50) =< -E/3+M/3
aux(27) =< -B+V
aux(28) =< -B/2+V/2
it(48) =< aux(1)
it(50) =< aux(1)
it(51) =< aux(1)
it(48) =< aux(27)
it(50) =< aux(27)
it(51) =< aux(27)
it(46) =< aux(3)
it(50) =< aux(3)
it(51) =< aux(3)
it(46) =< aux(28)
it(50) =< aux(28)
it(51) =< aux(28)
it(48) =< aux(5)
it(50) =< aux(5)
it(51) =< aux(5)
it(46) =< aux(7)
it(50) =< aux(7)
it(51) =< aux(7)
it(48) =< aux(9)
it(50) =< aux(9)
it(51) =< aux(9)
it(46) =< aux(11)
it(50) =< aux(11)
it(51) =< aux(11)
it(48) =< aux(13)
it(50) =< aux(13)
it(51) =< aux(13)
it(46) =< aux(15)
it(50) =< aux(15)
it(51) =< aux(15)

  with precondition: [A=0,I=0,L=2,S=2,T=0,A1=0,B1=0,E1=7,B=C,D=E,F=J,G=K,U=V,Y=C1,Z=D1,D+U=B+W,D+U=B+X,7>=Y,7>=Z,H>=0,M>=1,N>=1,Y>=1,Z>=5,7>=4*H+F,7>=3*H+G,G>=3*H+1,F>=2*H+1,U>=B+3,U>=N,D+U>=B+M] 

* Chain [[45,46,47,48,49,50,51],76]: 2*it(45)+1*it(46)+2*it(48)+1*it(50)+1*it(51)+0
  Such that:aux(1) =< -B+N
aux(3) =< -B/2+N/2
it(50) =< -B/3+N/3
it(50) =< -B/3+V/3
aux(5) =< -C+N
aux(7) =< -C/2+N/2
it(50) =< -C/3+N/3
aux(9) =< -D+M
aux(11) =< -D/2+M/2
it(50) =< -D/3+M/3
aux(13) =< -E+M
aux(15) =< -E/2+M/2
it(50) =< -E/3+M/3
aux(29) =< -B+V
aux(30) =< -B/2+V/2
it(48) =< aux(1)
it(50) =< aux(1)
it(51) =< aux(1)
it(48) =< aux(29)
it(50) =< aux(29)
it(51) =< aux(29)
it(46) =< aux(3)
it(50) =< aux(3)
it(51) =< aux(3)
it(46) =< aux(30)
it(50) =< aux(30)
it(51) =< aux(30)
it(48) =< aux(5)
it(50) =< aux(5)
it(51) =< aux(5)
it(46) =< aux(7)
it(50) =< aux(7)
it(51) =< aux(7)
it(48) =< aux(9)
it(50) =< aux(9)
it(51) =< aux(9)
it(46) =< aux(11)
it(50) =< aux(11)
it(51) =< aux(11)
it(48) =< aux(13)
it(50) =< aux(13)
it(51) =< aux(13)
it(46) =< aux(15)
it(50) =< aux(15)
it(51) =< aux(15)

  with precondition: [A=0,I=0,L=2,S=2,T=0,A1=0,B1=0,E1=7,B=C,D=E,F=J,G=K,U=V,Y=C1,Z=D1,D+U=B+W,D+U=B+X,7>=Y,3>=Z,H>=0,M>=1,N>=1,Y>=1,Z>=1,7>=4*H+F,7>=3*H+G,G>=3*H+1,F>=2*H+1,U>=B+3,U>=N,D+U>=B+M] 

* Chain [[45,46,47,48,49,50,51],75]: 2*it(45)+1*it(46)+2*it(48)+1*it(50)+1*it(51)+0
  Such that:aux(1) =< -B+N
aux(3) =< -B/2+N/2
it(50) =< -B/3+N/3
it(50) =< -B/3+V/3
aux(5) =< -C+N
aux(7) =< -C/2+N/2
it(50) =< -C/3+N/3
aux(9) =< -D+M
aux(11) =< -D/2+M/2
it(50) =< -D/3+M/3
aux(13) =< -E+M
aux(15) =< -E/2+M/2
it(50) =< -E/3+M/3
aux(31) =< -B+V
aux(32) =< -B/2+V/2
it(48) =< aux(1)
it(50) =< aux(1)
it(51) =< aux(1)
it(48) =< aux(31)
it(50) =< aux(31)
it(51) =< aux(31)
it(46) =< aux(3)
it(50) =< aux(3)
it(51) =< aux(3)
it(46) =< aux(32)
it(50) =< aux(32)
it(51) =< aux(32)
it(48) =< aux(5)
it(50) =< aux(5)
it(51) =< aux(5)
it(46) =< aux(7)
it(50) =< aux(7)
it(51) =< aux(7)
it(48) =< aux(9)
it(50) =< aux(9)
it(51) =< aux(9)
it(46) =< aux(11)
it(50) =< aux(11)
it(51) =< aux(11)
it(48) =< aux(13)
it(50) =< aux(13)
it(51) =< aux(13)
it(46) =< aux(15)
it(50) =< aux(15)
it(51) =< aux(15)

  with precondition: [A=0,I=0,L=2,S=2,T=0,A1=0,B1=0,E1=7,B=C,D=E,F=J,G=K,U=V,Y=C1,Z=D1,D+U=B+W,D+U=B+X,7>=Y,7>=Z,H>=0,M>=1,N>=1,Y>=1,Z>=5,7>=4*H+F,7>=3*H+G,G>=3*H+1,F>=2*H+1,U>=B+1,U>=N,D+U>=B+M] 

* Chain [[45,46,47,48,49,50,51],74]: 2*it(45)+1*it(46)+2*it(48)+1*it(50)+1*it(51)+0
  Such that:aux(1) =< -B+N
aux(3) =< -B/2+N/2
it(50) =< -B/3+N/3
it(50) =< -B/3+V/3
aux(5) =< -C+N
aux(7) =< -C/2+N/2
it(50) =< -C/3+N/3
aux(9) =< -D+M
aux(11) =< -D/2+M/2
it(50) =< -D/3+M/3
aux(13) =< -E+M
aux(15) =< -E/2+M/2
it(50) =< -E/3+M/3
aux(33) =< -B+V
aux(34) =< -B/2+V/2
it(48) =< aux(1)
it(50) =< aux(1)
it(51) =< aux(1)
it(48) =< aux(33)
it(50) =< aux(33)
it(51) =< aux(33)
it(46) =< aux(3)
it(50) =< aux(3)
it(51) =< aux(3)
it(46) =< aux(34)
it(50) =< aux(34)
it(51) =< aux(34)
it(48) =< aux(5)
it(50) =< aux(5)
it(51) =< aux(5)
it(46) =< aux(7)
it(50) =< aux(7)
it(51) =< aux(7)
it(48) =< aux(9)
it(50) =< aux(9)
it(51) =< aux(9)
it(46) =< aux(11)
it(50) =< aux(11)
it(51) =< aux(11)
it(48) =< aux(13)
it(50) =< aux(13)
it(51) =< aux(13)
it(46) =< aux(15)
it(50) =< aux(15)
it(51) =< aux(15)

  with precondition: [A=0,I=0,L=2,S=2,T=0,A1=0,B1=0,E1=7,B=C,D=E,F=J,G=K,U=V,Y=C1,Z=D1,D+U=B+W,D+U=B+X,7>=Y,3>=Z,H>=0,M>=1,N>=1,Y>=1,Z>=1,7>=4*H+F,7>=3*H+G,G>=3*H+1,F>=2*H+1,U>=B+1,U>=N,D+U>=B+M] 

* Chain [[45,46,47,48,49,50,51],73]: 2*it(45)+1*it(46)+2*it(48)+1*it(50)+1*it(51)+0
  Such that:aux(1) =< -B+N
aux(3) =< -B/2+N/2
it(50) =< -B/3+N/3
it(50) =< -B/3+V/3
aux(5) =< -C+N
aux(7) =< -C/2+N/2
it(50) =< -C/3+N/3
aux(9) =< -D+M
aux(11) =< -D/2+M/2
it(50) =< -D/3+M/3
aux(13) =< -E+M
aux(15) =< -E/2+M/2
it(50) =< -E/3+M/3
aux(35) =< -B+V
aux(36) =< -B/2+V/2
it(48) =< aux(1)
it(50) =< aux(1)
it(51) =< aux(1)
it(48) =< aux(35)
it(50) =< aux(35)
it(51) =< aux(35)
it(46) =< aux(3)
it(50) =< aux(3)
it(51) =< aux(3)
it(46) =< aux(36)
it(50) =< aux(36)
it(51) =< aux(36)
it(48) =< aux(5)
it(50) =< aux(5)
it(51) =< aux(5)
it(46) =< aux(7)
it(50) =< aux(7)
it(51) =< aux(7)
it(48) =< aux(9)
it(50) =< aux(9)
it(51) =< aux(9)
it(46) =< aux(11)
it(50) =< aux(11)
it(51) =< aux(11)
it(48) =< aux(13)
it(50) =< aux(13)
it(51) =< aux(13)
it(46) =< aux(15)
it(50) =< aux(15)
it(51) =< aux(15)

  with precondition: [A=0,I=0,L=2,S=2,T=0,A1=1,B1=0,E1=7,B=C,D=E,F=J,G=K,U=V,Y=C1,Z=D1,D+U=B+W,D+U=B+X,7>=Y,7>=Z,H>=0,M>=1,N>=1,Y>=1,Z>=5,7>=4*H+F,7>=3*H+G,G>=3*H+1,F>=2*H+1,U>=B+2,U>=N,D+U>=B+M] 

* Chain [[45,46,47,48,49,50,51],72]: 2*it(45)+1*it(46)+2*it(48)+1*it(50)+1*it(51)+0
  Such that:aux(1) =< -B+N
aux(3) =< -B/2+N/2
it(50) =< -B/3+N/3
it(50) =< -B/3+V/3
aux(5) =< -C+N
aux(7) =< -C/2+N/2
it(50) =< -C/3+N/3
aux(9) =< -D+M
aux(11) =< -D/2+M/2
it(50) =< -D/3+M/3
aux(13) =< -E+M
aux(15) =< -E/2+M/2
it(50) =< -E/3+M/3
aux(37) =< -B+V
aux(38) =< -B/2+V/2
it(48) =< aux(1)
it(50) =< aux(1)
it(51) =< aux(1)
it(48) =< aux(37)
it(50) =< aux(37)
it(51) =< aux(37)
it(46) =< aux(3)
it(50) =< aux(3)
it(51) =< aux(3)
it(46) =< aux(38)
it(50) =< aux(38)
it(51) =< aux(38)
it(48) =< aux(5)
it(50) =< aux(5)
it(51) =< aux(5)
it(46) =< aux(7)
it(50) =< aux(7)
it(51) =< aux(7)
it(48) =< aux(9)
it(50) =< aux(9)
it(51) =< aux(9)
it(46) =< aux(11)
it(50) =< aux(11)
it(51) =< aux(11)
it(48) =< aux(13)
it(50) =< aux(13)
it(51) =< aux(13)
it(46) =< aux(15)
it(50) =< aux(15)
it(51) =< aux(15)

  with precondition: [A=0,I=0,L=2,S=2,T=0,A1=1,B1=0,E1=7,B=C,D=E,F=J,G=K,U=V,Y=C1,Z=D1,D+U=B+W,D+U=B+X,7>=Y,3>=Z,H>=0,M>=1,N>=1,Y>=1,Z>=1,7>=4*H+F,7>=3*H+G,G>=3*H+1,F>=2*H+1,U>=B+2,U>=N,D+U>=B+M] 

* Chain [[45,46,47,48,49,50,51],71]: 2*it(45)+1*it(46)+2*it(48)+1*it(50)+1*it(51)+0
  Such that:aux(1) =< -B+N
aux(3) =< -B/2+N/2
it(50) =< -B/3+N/3
it(50) =< -B/3+V/3
aux(5) =< -C+N
aux(7) =< -C/2+N/2
it(50) =< -C/3+N/3
aux(9) =< -D+M
aux(11) =< -D/2+M/2
it(50) =< -D/3+M/3
aux(13) =< -E+M
aux(15) =< -E/2+M/2
it(50) =< -E/3+M/3
aux(39) =< -B+V
aux(40) =< -B/2+V/2
it(48) =< aux(1)
it(50) =< aux(1)
it(51) =< aux(1)
it(48) =< aux(39)
it(50) =< aux(39)
it(51) =< aux(39)
it(46) =< aux(3)
it(50) =< aux(3)
it(51) =< aux(3)
it(46) =< aux(40)
it(50) =< aux(40)
it(51) =< aux(40)
it(48) =< aux(5)
it(50) =< aux(5)
it(51) =< aux(5)
it(46) =< aux(7)
it(50) =< aux(7)
it(51) =< aux(7)
it(48) =< aux(9)
it(50) =< aux(9)
it(51) =< aux(9)
it(46) =< aux(11)
it(50) =< aux(11)
it(51) =< aux(11)
it(48) =< aux(13)
it(50) =< aux(13)
it(51) =< aux(13)
it(46) =< aux(15)
it(50) =< aux(15)
it(51) =< aux(15)

  with precondition: [A=0,I=0,L=2,S=2,T=0,A1=1,B1=0,E1=7,B=C,D=E,F=J,G=K,U=V,Y=C1,Z=D1,D+U=B+W,D+U=B+X,7>=Y,7>=Z,H>=0,M>=1,N>=1,Y>=1,Z>=5,7>=4*H+F,7>=3*H+G,G>=3*H+1,F>=2*H+1,U>=B+3,U>=N,D+U>=B+M] 

* Chain [[45,46,47,48,49,50,51],70]: 2*it(45)+1*it(46)+2*it(48)+1*it(50)+1*it(51)+0
  Such that:aux(1) =< -B+N
aux(3) =< -B/2+N/2
it(50) =< -B/3+N/3
it(50) =< -B/3+V/3
aux(5) =< -C+N
aux(7) =< -C/2+N/2
it(50) =< -C/3+N/3
aux(9) =< -D+M
aux(11) =< -D/2+M/2
it(50) =< -D/3+M/3
aux(13) =< -E+M
aux(15) =< -E/2+M/2
it(50) =< -E/3+M/3
aux(41) =< -B+V
aux(42) =< -B/2+V/2
it(48) =< aux(1)
it(50) =< aux(1)
it(51) =< aux(1)
it(48) =< aux(41)
it(50) =< aux(41)
it(51) =< aux(41)
it(46) =< aux(3)
it(50) =< aux(3)
it(51) =< aux(3)
it(46) =< aux(42)
it(50) =< aux(42)
it(51) =< aux(42)
it(48) =< aux(5)
it(50) =< aux(5)
it(51) =< aux(5)
it(46) =< aux(7)
it(50) =< aux(7)
it(51) =< aux(7)
it(48) =< aux(9)
it(50) =< aux(9)
it(51) =< aux(9)
it(46) =< aux(11)
it(50) =< aux(11)
it(51) =< aux(11)
it(48) =< aux(13)
it(50) =< aux(13)
it(51) =< aux(13)
it(46) =< aux(15)
it(50) =< aux(15)
it(51) =< aux(15)

  with precondition: [A=0,I=0,L=2,S=2,T=0,A1=1,B1=0,E1=7,B=C,D=E,F=J,G=K,U=V,Y=C1,Z=D1,D+U=B+W,D+U=B+X,7>=Y,3>=Z,H>=0,M>=1,N>=1,Y>=1,Z>=1,7>=4*H+F,7>=3*H+G,G>=3*H+1,F>=2*H+1,U>=B+3,U>=N,D+U>=B+M] 

* Chain [[45,46,47,48,49,50,51],69]: 2*it(45)+1*it(46)+2*it(48)+1*it(50)+1*it(51)+0
  Such that:aux(1) =< -B+N
aux(3) =< -B/2+N/2
it(50) =< -B/3+N/3
it(50) =< -B/3+V/3
aux(5) =< -C+N
aux(7) =< -C/2+N/2
it(50) =< -C/3+N/3
aux(9) =< -D+M
aux(11) =< -D/2+M/2
it(50) =< -D/3+M/3
aux(13) =< -E+M
aux(15) =< -E/2+M/2
it(50) =< -E/3+M/3
aux(43) =< -B+V
aux(44) =< -B/2+V/2
it(48) =< aux(1)
it(50) =< aux(1)
it(51) =< aux(1)
it(48) =< aux(43)
it(50) =< aux(43)
it(51) =< aux(43)
it(46) =< aux(3)
it(50) =< aux(3)
it(51) =< aux(3)
it(46) =< aux(44)
it(50) =< aux(44)
it(51) =< aux(44)
it(48) =< aux(5)
it(50) =< aux(5)
it(51) =< aux(5)
it(46) =< aux(7)
it(50) =< aux(7)
it(51) =< aux(7)
it(48) =< aux(9)
it(50) =< aux(9)
it(51) =< aux(9)
it(46) =< aux(11)
it(50) =< aux(11)
it(51) =< aux(11)
it(48) =< aux(13)
it(50) =< aux(13)
it(51) =< aux(13)
it(46) =< aux(15)
it(50) =< aux(15)
it(51) =< aux(15)

  with precondition: [A=0,I=0,L=2,S=2,T=1,Z=4,A1=1,B1=1,D1=4,E1=7,B=C,D=E,F=J,G=K,U=V,Y=C1,D+U=B+W,D+U=B+X,7>=Y,H>=0,M>=1,N>=1,Y>=1,7>=4*H+F,7>=3*H+G,G>=3*H+1,F>=2*H+1,U>=B+4] 

* Chain [[45,46,47,48,49,50,51],68]: 2*it(45)+1*it(46)+2*it(48)+1*it(50)+1*it(51)+0
  Such that:aux(1) =< -B+N
aux(3) =< -B/2+N/2
it(50) =< -B/3+N/3
it(50) =< -B/3+V/3
aux(5) =< -C+N
aux(7) =< -C/2+N/2
it(50) =< -C/3+N/3
aux(9) =< -D+M
aux(11) =< -D/2+M/2
it(50) =< -D/3+M/3
aux(13) =< -E+M
aux(15) =< -E/2+M/2
it(50) =< -E/3+M/3
aux(45) =< -B+V
aux(46) =< -B/2+V/2
it(48) =< aux(1)
it(50) =< aux(1)
it(51) =< aux(1)
it(48) =< aux(45)
it(50) =< aux(45)
it(51) =< aux(45)
it(46) =< aux(3)
it(50) =< aux(3)
it(51) =< aux(3)
it(46) =< aux(46)
it(50) =< aux(46)
it(51) =< aux(46)
it(48) =< aux(5)
it(50) =< aux(5)
it(51) =< aux(5)
it(46) =< aux(7)
it(50) =< aux(7)
it(51) =< aux(7)
it(48) =< aux(9)
it(50) =< aux(9)
it(51) =< aux(9)
it(46) =< aux(11)
it(50) =< aux(11)
it(51) =< aux(11)
it(48) =< aux(13)
it(50) =< aux(13)
it(51) =< aux(13)
it(46) =< aux(15)
it(50) =< aux(15)
it(51) =< aux(15)

  with precondition: [A=0,I=0,L=2,S=2,T=1,Z=4,A1=1,B1=1,D1=4,E1=7,B=C,D=E,F=J,G=K,U=V,Y=C1,D+U=B+W,D+U=B+X,7>=Y,H>=0,M>=1,N>=1,Y>=1,7>=4*H+F,7>=3*H+G,G>=3*H+1,F>=2*H+1,U>=B+3] 

* Chain [[45,46,47,48,49,50,51],67]: 2*it(45)+1*it(46)+2*it(48)+1*it(50)+1*it(51)+0
  Such that:aux(1) =< -B+N
aux(3) =< -B/2+N/2
it(50) =< -B/3+N/3
it(50) =< -B/3+V/3
aux(5) =< -C+N
aux(7) =< -C/2+N/2
it(50) =< -C/3+N/3
aux(9) =< -D+M
aux(11) =< -D/2+M/2
it(50) =< -D/3+M/3
aux(13) =< -E+M
aux(15) =< -E/2+M/2
it(50) =< -E/3+M/3
aux(47) =< -B+V
aux(48) =< -B/2+V/2
it(48) =< aux(1)
it(50) =< aux(1)
it(51) =< aux(1)
it(48) =< aux(47)
it(50) =< aux(47)
it(51) =< aux(47)
it(46) =< aux(3)
it(50) =< aux(3)
it(51) =< aux(3)
it(46) =< aux(48)
it(50) =< aux(48)
it(51) =< aux(48)
it(48) =< aux(5)
it(50) =< aux(5)
it(51) =< aux(5)
it(46) =< aux(7)
it(50) =< aux(7)
it(51) =< aux(7)
it(48) =< aux(9)
it(50) =< aux(9)
it(51) =< aux(9)
it(46) =< aux(11)
it(50) =< aux(11)
it(51) =< aux(11)
it(48) =< aux(13)
it(50) =< aux(13)
it(51) =< aux(13)
it(46) =< aux(15)
it(50) =< aux(15)
it(51) =< aux(15)

  with precondition: [A=0,I=0,L=2,S=2,T=1,Z=4,A1=1,B1=1,D1=4,E1=7,B=C,D=E,F=J,G=K,U=V,Y=C1,D+U=B+W,D+U=B+X,7>=Y,H>=0,M>=1,N>=1,Y>=1,7>=4*H+F,7>=3*H+G,G>=3*H+1,F>=2*H+1,U>=B+2] 

* Chain [[45,46,47,48,49,50,51],66]: 2*it(45)+1*it(46)+2*it(48)+1*it(50)+1*it(51)+0
  Such that:aux(1) =< -B+N
aux(3) =< -B/2+N/2
it(50) =< -B/3+N/3
it(50) =< -B/3+V/3
aux(5) =< -C+N
aux(7) =< -C/2+N/2
it(50) =< -C/3+N/3
aux(9) =< -D+M
aux(11) =< -D/2+M/2
it(50) =< -D/3+M/3
aux(13) =< -E+M
aux(15) =< -E/2+M/2
it(50) =< -E/3+M/3
aux(49) =< -B+V
aux(50) =< -B/2+V/2
it(48) =< aux(1)
it(50) =< aux(1)
it(51) =< aux(1)
it(48) =< aux(49)
it(50) =< aux(49)
it(51) =< aux(49)
it(46) =< aux(3)
it(50) =< aux(3)
it(51) =< aux(3)
it(46) =< aux(50)
it(50) =< aux(50)
it(51) =< aux(50)
it(48) =< aux(5)
it(50) =< aux(5)
it(51) =< aux(5)
it(46) =< aux(7)
it(50) =< aux(7)
it(51) =< aux(7)
it(48) =< aux(9)
it(50) =< aux(9)
it(51) =< aux(9)
it(46) =< aux(11)
it(50) =< aux(11)
it(51) =< aux(11)
it(48) =< aux(13)
it(50) =< aux(13)
it(51) =< aux(13)
it(46) =< aux(15)
it(50) =< aux(15)
it(51) =< aux(15)

  with precondition: [A=0,I=0,L=2,S=2,T=1,A1=0,B1=1,E1=7,B=C,D=E,F=J,G=K,U=V,Y=C1,Z=D1,D+U=B+W,D+U=B+X,7>=Y,7>=Z,H>=0,M>=1,N>=1,Y>=1,Z>=5,7>=4*H+F,7>=3*H+G,G>=3*H+1,F>=2*H+1,U>=B+2] 

* Chain [[45,46,47,48,49,50,51],65]: 2*it(45)+1*it(46)+2*it(48)+1*it(50)+1*it(51)+0
  Such that:aux(1) =< -B+N
aux(3) =< -B/2+N/2
it(50) =< -B/3+N/3
it(50) =< -B/3+V/3
aux(5) =< -C+N
aux(7) =< -C/2+N/2
it(50) =< -C/3+N/3
aux(9) =< -D+M
aux(11) =< -D/2+M/2
it(50) =< -D/3+M/3
aux(13) =< -E+M
aux(15) =< -E/2+M/2
it(50) =< -E/3+M/3
aux(51) =< -B+V
aux(52) =< -B/2+V/2
it(48) =< aux(1)
it(50) =< aux(1)
it(51) =< aux(1)
it(48) =< aux(51)
it(50) =< aux(51)
it(51) =< aux(51)
it(46) =< aux(3)
it(50) =< aux(3)
it(51) =< aux(3)
it(46) =< aux(52)
it(50) =< aux(52)
it(51) =< aux(52)
it(48) =< aux(5)
it(50) =< aux(5)
it(51) =< aux(5)
it(46) =< aux(7)
it(50) =< aux(7)
it(51) =< aux(7)
it(48) =< aux(9)
it(50) =< aux(9)
it(51) =< aux(9)
it(46) =< aux(11)
it(50) =< aux(11)
it(51) =< aux(11)
it(48) =< aux(13)
it(50) =< aux(13)
it(51) =< aux(13)
it(46) =< aux(15)
it(50) =< aux(15)
it(51) =< aux(15)

  with precondition: [A=0,I=0,L=2,S=2,T=1,A1=0,B1=1,E1=7,B=C,D=E,F=J,G=K,U=V,Y=C1,Z=D1,D+U=B+W,D+U=B+X,7>=Y,3>=Z,H>=0,M>=1,N>=1,Y>=1,Z>=1,7>=4*H+F,7>=3*H+G,G>=3*H+1,F>=2*H+1,U>=B+2] 

* Chain [[45,46,47,48,49,50,51],64]: 2*it(45)+1*it(46)+2*it(48)+1*it(50)+1*it(51)+0
  Such that:aux(1) =< -B+N
aux(3) =< -B/2+N/2
it(50) =< -B/3+N/3
it(50) =< -B/3+V/3
aux(5) =< -C+N
aux(7) =< -C/2+N/2
it(50) =< -C/3+N/3
aux(9) =< -D+M
aux(11) =< -D/2+M/2
it(50) =< -D/3+M/3
aux(13) =< -E+M
aux(15) =< -E/2+M/2
it(50) =< -E/3+M/3
aux(53) =< -B+V
aux(54) =< -B/2+V/2
it(48) =< aux(1)
it(50) =< aux(1)
it(51) =< aux(1)
it(48) =< aux(53)
it(50) =< aux(53)
it(51) =< aux(53)
it(46) =< aux(3)
it(50) =< aux(3)
it(51) =< aux(3)
it(46) =< aux(54)
it(50) =< aux(54)
it(51) =< aux(54)
it(48) =< aux(5)
it(50) =< aux(5)
it(51) =< aux(5)
it(46) =< aux(7)
it(50) =< aux(7)
it(51) =< aux(7)
it(48) =< aux(9)
it(50) =< aux(9)
it(51) =< aux(9)
it(46) =< aux(11)
it(50) =< aux(11)
it(51) =< aux(11)
it(48) =< aux(13)
it(50) =< aux(13)
it(51) =< aux(13)
it(46) =< aux(15)
it(50) =< aux(15)
it(51) =< aux(15)

  with precondition: [A=0,I=0,L=2,S=2,T=1,A1=0,B1=1,E1=7,B=C,D=E,F=J,G=K,U=V,Y=C1,Z=D1,D+U=B+W,D+U=B+X,7>=Y,7>=Z,H>=0,M>=1,N>=1,Y>=1,Z>=5,7>=4*H+F,7>=3*H+G,G>=3*H+1,F>=2*H+1,U>=B+3] 

* Chain [[45,46,47,48,49,50,51],63]: 2*it(45)+1*it(46)+2*it(48)+1*it(50)+1*it(51)+0
  Such that:aux(1) =< -B+N
aux(3) =< -B/2+N/2
it(50) =< -B/3+N/3
it(50) =< -B/3+V/3
aux(5) =< -C+N
aux(7) =< -C/2+N/2
it(50) =< -C/3+N/3
aux(9) =< -D+M
aux(11) =< -D/2+M/2
it(50) =< -D/3+M/3
aux(13) =< -E+M
aux(15) =< -E/2+M/2
it(50) =< -E/3+M/3
aux(55) =< -B+V
aux(56) =< -B/2+V/2
it(48) =< aux(1)
it(50) =< aux(1)
it(51) =< aux(1)
it(48) =< aux(55)
it(50) =< aux(55)
it(51) =< aux(55)
it(46) =< aux(3)
it(50) =< aux(3)
it(51) =< aux(3)
it(46) =< aux(56)
it(50) =< aux(56)
it(51) =< aux(56)
it(48) =< aux(5)
it(50) =< aux(5)
it(51) =< aux(5)
it(46) =< aux(7)
it(50) =< aux(7)
it(51) =< aux(7)
it(48) =< aux(9)
it(50) =< aux(9)
it(51) =< aux(9)
it(46) =< aux(11)
it(50) =< aux(11)
it(51) =< aux(11)
it(48) =< aux(13)
it(50) =< aux(13)
it(51) =< aux(13)
it(46) =< aux(15)
it(50) =< aux(15)
it(51) =< aux(15)

  with precondition: [A=0,I=0,L=2,S=2,T=1,A1=0,B1=1,E1=7,B=C,D=E,F=J,G=K,U=V,Y=C1,Z=D1,D+U=B+W,D+U=B+X,7>=Y,3>=Z,H>=0,M>=1,N>=1,Y>=1,Z>=1,7>=4*H+F,7>=3*H+G,G>=3*H+1,F>=2*H+1,U>=B+3] 

* Chain [[45,46,47,48,49,50,51],62]: 2*it(45)+1*it(46)+2*it(48)+1*it(50)+1*it(51)+0
  Such that:aux(1) =< -B+N
aux(3) =< -B/2+N/2
it(50) =< -B/3+N/3
it(50) =< -B/3+V/3
aux(5) =< -C+N
aux(7) =< -C/2+N/2
it(50) =< -C/3+N/3
aux(9) =< -D+M
aux(11) =< -D/2+M/2
it(50) =< -D/3+M/3
aux(13) =< -E+M
aux(15) =< -E/2+M/2
it(50) =< -E/3+M/3
aux(57) =< -B+V
aux(58) =< -B/2+V/2
it(48) =< aux(1)
it(50) =< aux(1)
it(51) =< aux(1)
it(48) =< aux(57)
it(50) =< aux(57)
it(51) =< aux(57)
it(46) =< aux(3)
it(50) =< aux(3)
it(51) =< aux(3)
it(46) =< aux(58)
it(50) =< aux(58)
it(51) =< aux(58)
it(48) =< aux(5)
it(50) =< aux(5)
it(51) =< aux(5)
it(46) =< aux(7)
it(50) =< aux(7)
it(51) =< aux(7)
it(48) =< aux(9)
it(50) =< aux(9)
it(51) =< aux(9)
it(46) =< aux(11)
it(50) =< aux(11)
it(51) =< aux(11)
it(48) =< aux(13)
it(50) =< aux(13)
it(51) =< aux(13)
it(46) =< aux(15)
it(50) =< aux(15)
it(51) =< aux(15)

  with precondition: [A=0,I=0,L=2,S=2,T=1,A1=0,B1=1,E1=7,B=C,D=E,F=J,G=K,U=V,Y=C1,Z=D1,D+U=B+W,D+U=B+X,7>=Y,7>=Z,H>=0,M>=1,N>=1,Y>=1,Z>=5,7>=4*H+F,7>=3*H+G,G>=3*H+1,F>=2*H+1,U>=B+1] 

* Chain [[45,46,47,48,49,50,51],61]: 2*it(45)+1*it(46)+2*it(48)+1*it(50)+1*it(51)+0
  Such that:aux(1) =< -B+N
aux(3) =< -B/2+N/2
it(50) =< -B/3+N/3
it(50) =< -B/3+V/3
aux(5) =< -C+N
aux(7) =< -C/2+N/2
it(50) =< -C/3+N/3
aux(9) =< -D+M
aux(11) =< -D/2+M/2
it(50) =< -D/3+M/3
aux(13) =< -E+M
aux(15) =< -E/2+M/2
it(50) =< -E/3+M/3
aux(59) =< -B+V
aux(60) =< -B/2+V/2
it(48) =< aux(1)
it(50) =< aux(1)
it(51) =< aux(1)
it(48) =< aux(59)
it(50) =< aux(59)
it(51) =< aux(59)
it(46) =< aux(3)
it(50) =< aux(3)
it(51) =< aux(3)
it(46) =< aux(60)
it(50) =< aux(60)
it(51) =< aux(60)
it(48) =< aux(5)
it(50) =< aux(5)
it(51) =< aux(5)
it(46) =< aux(7)
it(50) =< aux(7)
it(51) =< aux(7)
it(48) =< aux(9)
it(50) =< aux(9)
it(51) =< aux(9)
it(46) =< aux(11)
it(50) =< aux(11)
it(51) =< aux(11)
it(48) =< aux(13)
it(50) =< aux(13)
it(51) =< aux(13)
it(46) =< aux(15)
it(50) =< aux(15)
it(51) =< aux(15)

  with precondition: [A=0,I=0,L=2,S=2,T=1,A1=0,B1=1,E1=7,B=C,D=E,F=J,G=K,U=V,Y=C1,Z=D1,D+U=B+W,D+U=B+X,7>=Y,3>=Z,H>=0,M>=1,N>=1,Y>=1,Z>=1,7>=4*H+F,7>=3*H+G,G>=3*H+1,F>=2*H+1,U>=B+1] 

* Chain [[45,46,47,48,49,50,51],60]: 2*it(45)+1*it(46)+2*it(48)+1*it(50)+1*it(51)+0
  Such that:aux(1) =< -B+N
aux(3) =< -B/2+N/2
it(50) =< -B/3+N/3
it(50) =< -B/3+V/3
aux(5) =< -C+N
aux(7) =< -C/2+N/2
it(50) =< -C/3+N/3
aux(9) =< -D+M
aux(11) =< -D/2+M/2
it(50) =< -D/3+M/3
aux(13) =< -E+M
aux(15) =< -E/2+M/2
it(50) =< -E/3+M/3
aux(61) =< -B+V
aux(62) =< -B/2+V/2
it(48) =< aux(1)
it(50) =< aux(1)
it(51) =< aux(1)
it(48) =< aux(61)
it(50) =< aux(61)
it(51) =< aux(61)
it(46) =< aux(3)
it(50) =< aux(3)
it(51) =< aux(3)
it(46) =< aux(62)
it(50) =< aux(62)
it(51) =< aux(62)
it(48) =< aux(5)
it(50) =< aux(5)
it(51) =< aux(5)
it(46) =< aux(7)
it(50) =< aux(7)
it(51) =< aux(7)
it(48) =< aux(9)
it(50) =< aux(9)
it(51) =< aux(9)
it(46) =< aux(11)
it(50) =< aux(11)
it(51) =< aux(11)
it(48) =< aux(13)
it(50) =< aux(13)
it(51) =< aux(13)
it(46) =< aux(15)
it(50) =< aux(15)
it(51) =< aux(15)

  with precondition: [A=0,I=0,L=2,S=2,T=1,A1=1,B1=1,E1=7,B=C,D=E,F=J,G=K,U=V,Y=C1,Z=D1,D+U=B+W,D+U=B+X,7>=Y,7>=Z,H>=0,M>=1,N>=1,Y>=1,Z>=5,7>=4*H+F,7>=3*H+G,G>=3*H+1,F>=2*H+1,U>=B+2] 

* Chain [[45,46,47,48,49,50,51],59]: 2*it(45)+1*it(46)+2*it(48)+1*it(50)+1*it(51)+0
  Such that:aux(1) =< -B+N
aux(3) =< -B/2+N/2
it(50) =< -B/3+N/3
it(50) =< -B/3+V/3
aux(5) =< -C+N
aux(7) =< -C/2+N/2
it(50) =< -C/3+N/3
aux(9) =< -D+M
aux(11) =< -D/2+M/2
it(50) =< -D/3+M/3
aux(13) =< -E+M
aux(15) =< -E/2+M/2
it(50) =< -E/3+M/3
aux(63) =< -B+V
aux(64) =< -B/2+V/2
it(48) =< aux(1)
it(50) =< aux(1)
it(51) =< aux(1)
it(48) =< aux(63)
it(50) =< aux(63)
it(51) =< aux(63)
it(46) =< aux(3)
it(50) =< aux(3)
it(51) =< aux(3)
it(46) =< aux(64)
it(50) =< aux(64)
it(51) =< aux(64)
it(48) =< aux(5)
it(50) =< aux(5)
it(51) =< aux(5)
it(46) =< aux(7)
it(50) =< aux(7)
it(51) =< aux(7)
it(48) =< aux(9)
it(50) =< aux(9)
it(51) =< aux(9)
it(46) =< aux(11)
it(50) =< aux(11)
it(51) =< aux(11)
it(48) =< aux(13)
it(50) =< aux(13)
it(51) =< aux(13)
it(46) =< aux(15)
it(50) =< aux(15)
it(51) =< aux(15)

  with precondition: [A=0,I=0,L=2,S=2,T=1,A1=1,B1=1,E1=7,B=C,D=E,F=J,G=K,U=V,Y=C1,Z=D1,D+U=B+W,D+U=B+X,7>=Y,3>=Z,H>=0,M>=1,N>=1,Y>=1,Z>=1,7>=4*H+F,7>=3*H+G,G>=3*H+1,F>=2*H+1,U>=B+2] 

* Chain [[45,46,47,48,49,50,51],58]: 2*it(45)+1*it(46)+2*it(48)+1*it(50)+1*it(51)+0
  Such that:aux(1) =< -B+N
aux(3) =< -B/2+N/2
it(50) =< -B/3+N/3
it(50) =< -B/3+V/3
aux(5) =< -C+N
aux(7) =< -C/2+N/2
it(50) =< -C/3+N/3
aux(9) =< -D+M
aux(11) =< -D/2+M/2
it(50) =< -D/3+M/3
aux(13) =< -E+M
aux(15) =< -E/2+M/2
it(50) =< -E/3+M/3
aux(65) =< -B+V
aux(66) =< -B/2+V/2
it(48) =< aux(1)
it(50) =< aux(1)
it(51) =< aux(1)
it(48) =< aux(65)
it(50) =< aux(65)
it(51) =< aux(65)
it(46) =< aux(3)
it(50) =< aux(3)
it(51) =< aux(3)
it(46) =< aux(66)
it(50) =< aux(66)
it(51) =< aux(66)
it(48) =< aux(5)
it(50) =< aux(5)
it(51) =< aux(5)
it(46) =< aux(7)
it(50) =< aux(7)
it(51) =< aux(7)
it(48) =< aux(9)
it(50) =< aux(9)
it(51) =< aux(9)
it(46) =< aux(11)
it(50) =< aux(11)
it(51) =< aux(11)
it(48) =< aux(13)
it(50) =< aux(13)
it(51) =< aux(13)
it(46) =< aux(15)
it(50) =< aux(15)
it(51) =< aux(15)

  with precondition: [A=0,I=0,L=2,S=2,T=1,A1=1,B1=1,E1=7,B=C,D=E,F=J,G=K,U=V,Y=C1,Z=D1,D+U=B+W,D+U=B+X,7>=Y,7>=Z,H>=0,M>=1,N>=1,Y>=1,Z>=5,7>=4*H+F,7>=3*H+G,G>=3*H+1,F>=2*H+1,U>=B+3] 

* Chain [[45,46,47,48,49,50,51],57]: 2*it(45)+1*it(46)+2*it(48)+1*it(50)+1*it(51)+0
  Such that:aux(1) =< -B+N
aux(3) =< -B/2+N/2
it(50) =< -B/3+N/3
it(50) =< -B/3+V/3
aux(5) =< -C+N
aux(7) =< -C/2+N/2
it(50) =< -C/3+N/3
aux(9) =< -D+M
aux(11) =< -D/2+M/2
it(50) =< -D/3+M/3
aux(13) =< -E+M
aux(15) =< -E/2+M/2
it(50) =< -E/3+M/3
aux(67) =< -B+V
aux(68) =< -B/2+V/2
it(48) =< aux(1)
it(50) =< aux(1)
it(51) =< aux(1)
it(48) =< aux(67)
it(50) =< aux(67)
it(51) =< aux(67)
it(46) =< aux(3)
it(50) =< aux(3)
it(51) =< aux(3)
it(46) =< aux(68)
it(50) =< aux(68)
it(51) =< aux(68)
it(48) =< aux(5)
it(50) =< aux(5)
it(51) =< aux(5)
it(46) =< aux(7)
it(50) =< aux(7)
it(51) =< aux(7)
it(48) =< aux(9)
it(50) =< aux(9)
it(51) =< aux(9)
it(46) =< aux(11)
it(50) =< aux(11)
it(51) =< aux(11)
it(48) =< aux(13)
it(50) =< aux(13)
it(51) =< aux(13)
it(46) =< aux(15)
it(50) =< aux(15)
it(51) =< aux(15)

  with precondition: [A=0,I=0,L=2,S=2,T=1,A1=1,B1=1,E1=7,B=C,D=E,F=J,G=K,U=V,Y=C1,Z=D1,D+U=B+W,D+U=B+X,7>=Y,3>=Z,H>=0,M>=1,N>=1,Y>=1,Z>=1,7>=4*H+F,7>=3*H+G,G>=3*H+1,F>=2*H+1,U>=B+3] 

* Chain [[45,46,47,48,49,50,51],56]: 2*it(45)+1*it(46)+2*it(48)+1*it(50)+1*it(51)+0
  Such that:aux(1) =< -B+N
aux(3) =< -B/2+N/2
it(50) =< -B/3+N/3
it(50) =< -B/3+V/3
aux(5) =< -C+N
aux(7) =< -C/2+N/2
it(50) =< -C/3+N/3
aux(9) =< -D+M
aux(11) =< -D/2+M/2
it(50) =< -D/3+M/3
aux(13) =< -E+M
aux(15) =< -E/2+M/2
it(50) =< -E/3+M/3
aux(69) =< -B+V
aux(70) =< -B/2+V/2
it(48) =< aux(1)
it(50) =< aux(1)
it(51) =< aux(1)
it(48) =< aux(69)
it(50) =< aux(69)
it(51) =< aux(69)
it(46) =< aux(3)
it(50) =< aux(3)
it(51) =< aux(3)
it(46) =< aux(70)
it(50) =< aux(70)
it(51) =< aux(70)
it(48) =< aux(5)
it(50) =< aux(5)
it(51) =< aux(5)
it(46) =< aux(7)
it(50) =< aux(7)
it(51) =< aux(7)
it(48) =< aux(9)
it(50) =< aux(9)
it(51) =< aux(9)
it(46) =< aux(11)
it(50) =< aux(11)
it(51) =< aux(11)
it(48) =< aux(13)
it(50) =< aux(13)
it(51) =< aux(13)
it(46) =< aux(15)
it(50) =< aux(15)
it(51) =< aux(15)

  with precondition: [A=0,I=0,L=2,S=2,T=1,A1=0,B1=1,E1=7,B=C,D=E,F=J,G=K,U=V,Y=C1,Z=D1,D+U=B+W,D+U=B+X,7>=Y,7>=Z,H>=0,M>=1,N>=1,Y>=1,Z>=5,7>=4*H+F,7>=3*H+G,G>=3*H+1,F>=2*H+1,U>=B+1] 

* Chain [[45,46,47,48,49,50,51],55]: 2*it(45)+1*it(46)+2*it(48)+1*it(50)+1*it(51)+0
  Such that:aux(1) =< -B+N
aux(3) =< -B/2+N/2
it(50) =< -B/3+N/3
it(50) =< -B/3+V/3
aux(5) =< -C+N
aux(7) =< -C/2+N/2
it(50) =< -C/3+N/3
aux(9) =< -D+M
aux(11) =< -D/2+M/2
it(50) =< -D/3+M/3
aux(13) =< -E+M
aux(15) =< -E/2+M/2
it(50) =< -E/3+M/3
aux(71) =< -B+V
aux(72) =< -B/2+V/2
it(48) =< aux(1)
it(50) =< aux(1)
it(51) =< aux(1)
it(48) =< aux(71)
it(50) =< aux(71)
it(51) =< aux(71)
it(46) =< aux(3)
it(50) =< aux(3)
it(51) =< aux(3)
it(46) =< aux(72)
it(50) =< aux(72)
it(51) =< aux(72)
it(48) =< aux(5)
it(50) =< aux(5)
it(51) =< aux(5)
it(46) =< aux(7)
it(50) =< aux(7)
it(51) =< aux(7)
it(48) =< aux(9)
it(50) =< aux(9)
it(51) =< aux(9)
it(46) =< aux(11)
it(50) =< aux(11)
it(51) =< aux(11)
it(48) =< aux(13)
it(50) =< aux(13)
it(51) =< aux(13)
it(46) =< aux(15)
it(50) =< aux(15)
it(51) =< aux(15)

  with precondition: [A=0,I=0,L=2,S=2,T=1,A1=0,B1=1,E1=7,B=C,D=E,F=J,G=K,U=V,Y=C1,Z=D1,D+U=B+W,D+U=B+X,7>=Y,3>=Z,H>=0,M>=1,N>=1,Y>=1,Z>=1,7>=4*H+F,7>=3*H+G,G>=3*H+1,F>=2*H+1,U>=B+1] 

* Chain [[45,46,47,48,49,50,51],54]: 2*it(45)+1*it(46)+2*it(48)+1*it(50)+1*it(51)+0
  Such that:aux(1) =< -B+N
aux(3) =< -B/2+N/2
it(50) =< -B/3+N/3
aux(5) =< -C+N
aux(7) =< -C/2+N/2
it(50) =< -C/3+N/3
aux(9) =< -D+M
aux(11) =< -D/2+M/2
it(50) =< -D/3+M/3
aux(13) =< -E+M
aux(15) =< -E/2+M/2
it(50) =< -E/3+M/3
it(48) =< aux(1)
it(50) =< aux(1)
it(51) =< aux(1)
it(46) =< aux(3)
it(50) =< aux(3)
it(51) =< aux(3)
it(48) =< aux(5)
it(50) =< aux(5)
it(51) =< aux(5)
it(46) =< aux(7)
it(50) =< aux(7)
it(51) =< aux(7)
it(48) =< aux(9)
it(50) =< aux(9)
it(51) =< aux(9)
it(46) =< aux(11)
it(50) =< aux(11)
it(51) =< aux(11)
it(48) =< aux(13)
it(50) =< aux(13)
it(51) =< aux(13)
it(46) =< aux(15)
it(50) =< aux(15)
it(51) =< aux(15)

  with precondition: [A=0,I=0,L=2,S=3,B=C,D=E,F=J,G=K,H>=0,M>=1,N>=1,7>=4*H+F,7>=3*H+G,G>=3*H+1,F>=2*H+1] 

* Chain [84]: 0
  with precondition: [A=0,F=3,G=4,H=1,I=0,J=3,K=4,L=2,S=2,T=0,A1=1,B1=0,E1=7,C=B,E=D,C=U,C=V,E=W,E=X,Y=C1,Z=D1,7>=Y,7>=Z,Y>=1,Z>=5,E>=M,C>=N] 

* Chain [83]: 0
  with precondition: [A=0,F=3,G=4,H=1,I=0,J=3,K=4,L=2,S=2,T=0,A1=1,B1=0,E1=7,C=B,E=D,C=U,C=V,E=W,E=X,Y=C1,Z=D1,7>=Y,3>=Z,Y>=1,Z>=1,E>=M,C>=N] 

* Chain [82]: 0
  with precondition: [A=0,I=0,L=2,S=2,T=0,Z=4,A1=1,B1=0,D1=4,E1=7,C=B,E=D,J=F,K=G,C+3=U,C+3=V,E+3=W,E+3=X,Y=C1,7>=Y,H>=0,Y>=1,7>=4*H+J,7>=3*H+K,K>=3*H+1,J>=2*H+1,E+3>=M,C+3>=N] 

* Chain [81]: 0
  with precondition: [A=0,I=0,L=2,S=2,T=0,Z=4,A1=1,B1=0,D1=4,E1=7,C=B,E=D,J=F,K=G,C+2=U,C+2=V,E+2=W,E+2=X,Y=C1,7>=Y,H>=0,Y>=1,7>=4*H+J,7>=3*H+K,K>=3*H+1,J>=2*H+1,E+2>=M,C+2>=N] 

* Chain [80]: 0
  with precondition: [A=0,I=0,L=2,S=2,T=0,Z=4,A1=1,B1=0,D1=4,E1=7,C=B,E=D,J=F,K=G,C+1=U,C+1=V,E+1=W,E+1=X,Y=C1,7>=Y,H>=0,Y>=1,7>=4*H+J,7>=3*H+K,K>=3*H+1,J>=2*H+1,E+1>=M,C+1>=N] 

* Chain [79]: 0
  with precondition: [A=0,I=0,L=2,S=2,T=0,A1=0,B1=0,E1=7,B=C,D=E,J=F,K=G,B+1=U,B+1=V,D+1=W,D+1=X,Y=C1,Z=D1,7>=Y,7>=Z,H>=0,Y>=1,Z>=5,7>=4*H+J,7>=3*H+K,K>=3*H+1,J>=2*H+1,D+1>=M,B+1>=N] 

* Chain [78]: 0
  with precondition: [A=0,I=0,L=2,S=2,T=0,A1=0,B1=0,E1=7,B=C,D=E,J=F,K=G,B+1=U,B+1=V,D+1=W,D+1=X,Y=C1,Z=D1,7>=Y,3>=Z,H>=0,Y>=1,Z>=1,7>=4*H+J,7>=3*H+K,K>=3*H+1,J>=2*H+1,D+1>=M,B+1>=N] 

* Chain [77]: 0
  with precondition: [A=0,I=0,L=2,S=2,T=0,A1=0,B1=0,E1=7,B=C,D=E,J=F,K=G,B+2=U,B+2=V,D+2=W,D+2=X,Y=C1,Z=D1,7>=Y,7>=Z,H>=0,Y>=1,Z>=5,7>=4*H+J,7>=3*H+K,K>=3*H+1,J>=2*H+1,D+2>=M,B+2>=N] 

* Chain [76]: 0
  with precondition: [A=0,I=0,L=2,S=2,T=0,A1=0,B1=0,E1=7,B=C,D=E,J=F,K=G,B+2=U,B+2=V,D+2=W,D+2=X,Y=C1,Z=D1,7>=Y,3>=Z,H>=0,Y>=1,Z>=1,7>=4*H+J,7>=3*H+K,K>=3*H+1,J>=2*H+1,D+2>=M,B+2>=N] 

* Chain [75]: 0
  with precondition: [A=0,I=0,L=2,S=2,T=0,A1=0,B1=0,E1=7,C=B,E=D,J=F,K=G,C=U,C=V,E=W,E=X,Y=C1,Z=D1,7>=Y,7>=Z,H>=0,Y>=1,Z>=5,7>=4*H+J,7>=3*H+K,K>=3*H+1,J>=2*H+1,E>=M,C>=N] 

* Chain [74]: 0
  with precondition: [A=0,I=0,L=2,S=2,T=0,A1=0,B1=0,E1=7,C=B,E=D,J=F,K=G,C=U,C=V,E=W,E=X,Y=C1,Z=D1,7>=Y,3>=Z,H>=0,Y>=1,Z>=1,7>=4*H+J,7>=3*H+K,K>=3*H+1,J>=2*H+1,E>=M,C>=N] 

* Chain [73]: 0
  with precondition: [A=0,I=0,L=2,S=2,T=0,A1=1,B1=0,E1=7,B=C,D=E,J=F,K=G,B+1=U,B+1=V,D+1=W,D+1=X,Y=C1,Z=D1,7>=Y,7>=Z,H>=0,Y>=1,Z>=5,7>=4*H+J,7>=3*H+K,K>=3*H+1,J>=2*H+1,D+1>=M,B+1>=N] 

* Chain [72]: 0
  with precondition: [A=0,I=0,L=2,S=2,T=0,A1=1,B1=0,E1=7,B=C,D=E,J=F,K=G,B+1=U,B+1=V,D+1=W,D+1=X,Y=C1,Z=D1,7>=Y,3>=Z,H>=0,Y>=1,Z>=1,7>=4*H+J,7>=3*H+K,K>=3*H+1,J>=2*H+1,D+1>=M,B+1>=N] 

* Chain [71]: 0
  with precondition: [A=0,I=0,L=2,S=2,T=0,A1=1,B1=0,E1=7,B=C,D=E,J=F,K=G,B+2=U,B+2=V,D+2=W,D+2=X,Y=C1,Z=D1,7>=Y,7>=Z,H>=0,Y>=1,Z>=5,7>=4*H+J,7>=3*H+K,K>=3*H+1,J>=2*H+1,D+2>=M,B+2>=N] 

* Chain [70]: 0
  with precondition: [A=0,I=0,L=2,S=2,T=0,A1=1,B1=0,E1=7,B=C,D=E,J=F,K=G,B+2=U,B+2=V,D+2=W,D+2=X,Y=C1,Z=D1,7>=Y,3>=Z,H>=0,Y>=1,Z>=1,7>=4*H+J,7>=3*H+K,K>=3*H+1,J>=2*H+1,D+2>=M,B+2>=N] 

* Chain [69]: 0
  with precondition: [A=0,I=0,L=2,S=2,T=1,Z=4,A1=1,B1=1,D1=4,E1=7,C=B,E=D,J=F,K=G,C+3=U,C+3=V,E+3=W,E+3=X,Y=C1,7>=Y,H>=0,Y>=1,7>=4*H+J,7>=3*H+K,K>=3*H+1,J>=2*H+1] 

* Chain [68]: 0
  with precondition: [A=0,I=0,L=2,S=2,T=1,Z=4,A1=1,B1=1,D1=4,E1=7,C=B,E=D,J=F,K=G,C+2=U,C+2=V,E+2=W,E+2=X,Y=C1,7>=Y,H>=0,Y>=1,7>=4*H+J,7>=3*H+K,K>=3*H+1,J>=2*H+1] 

* Chain [67]: 0
  with precondition: [A=0,I=0,L=2,S=2,T=1,Z=4,A1=1,B1=1,D1=4,E1=7,C=B,E=D,J=F,K=G,C+1=U,C+1=V,E+1=W,E+1=X,Y=C1,7>=Y,H>=0,Y>=1,7>=4*H+J,7>=3*H+K,K>=3*H+1,J>=2*H+1] 

* Chain [66]: 0
  with precondition: [A=0,I=0,L=2,S=2,T=1,A1=0,B1=1,E1=7,B=C,D=E,J=F,K=G,B+1=U,B+1=V,D+1=W,D+1=X,Y=C1,Z=D1,7>=Y,7>=Z,H>=0,Y>=1,Z>=5,7>=4*H+J,7>=3*H+K,K>=3*H+1,J>=2*H+1] 

* Chain [65]: 0
  with precondition: [A=0,I=0,L=2,S=2,T=1,A1=0,B1=1,E1=7,B=C,D=E,J=F,K=G,B+1=U,B+1=V,D+1=W,D+1=X,Y=C1,Z=D1,7>=Y,3>=Z,H>=0,Y>=1,Z>=1,7>=4*H+J,7>=3*H+K,K>=3*H+1,J>=2*H+1] 

* Chain [64]: 0
  with precondition: [A=0,I=0,L=2,S=2,T=1,A1=0,B1=1,E1=7,B=C,D=E,J=F,K=G,B+2=U,B+2=V,D+2=W,D+2=X,Y=C1,Z=D1,7>=Y,7>=Z,H>=0,Y>=1,Z>=5,7>=4*H+J,7>=3*H+K,K>=3*H+1,J>=2*H+1] 

* Chain [63]: 0
  with precondition: [A=0,I=0,L=2,S=2,T=1,A1=0,B1=1,E1=7,B=C,D=E,J=F,K=G,B+2=U,B+2=V,D+2=W,D+2=X,Y=C1,Z=D1,7>=Y,3>=Z,H>=0,Y>=1,Z>=1,7>=4*H+J,7>=3*H+K,K>=3*H+1,J>=2*H+1] 

* Chain [62]: 0
  with precondition: [A=0,I=0,L=2,S=2,T=1,A1=0,B1=1,E1=7,C=B,E=D,J=F,K=G,C=U,C=V,E=W,E=X,Y=C1,Z=D1,7>=Y,7>=Z,H>=0,Y>=1,Z>=5,7>=4*H+J,7>=3*H+K,K>=3*H+1,J>=2*H+1] 

* Chain [61]: 0
  with precondition: [A=0,I=0,L=2,S=2,T=1,A1=0,B1=1,E1=7,C=B,E=D,J=F,K=G,C=U,C=V,E=W,E=X,Y=C1,Z=D1,7>=Y,3>=Z,H>=0,Y>=1,Z>=1,7>=4*H+J,7>=3*H+K,K>=3*H+1,J>=2*H+1] 

* Chain [60]: 0
  with precondition: [A=0,I=0,L=2,S=2,T=1,A1=1,B1=1,E1=7,B=C,D=E,J=F,K=G,B+1=U,B+1=V,D+1=W,D+1=X,Y=C1,Z=D1,7>=Y,7>=Z,H>=0,Y>=1,Z>=5,7>=4*H+J,7>=3*H+K,K>=3*H+1,J>=2*H+1] 

* Chain [59]: 0
  with precondition: [A=0,I=0,L=2,S=2,T=1,A1=1,B1=1,E1=7,B=C,D=E,J=F,K=G,B+1=U,B+1=V,D+1=W,D+1=X,Y=C1,Z=D1,7>=Y,3>=Z,H>=0,Y>=1,Z>=1,7>=4*H+J,7>=3*H+K,K>=3*H+1,J>=2*H+1] 

* Chain [58]: 0
  with precondition: [A=0,I=0,L=2,S=2,T=1,A1=1,B1=1,E1=7,B=C,D=E,J=F,K=G,B+2=U,B+2=V,D+2=W,D+2=X,Y=C1,Z=D1,7>=Y,7>=Z,H>=0,Y>=1,Z>=5,7>=4*H+J,7>=3*H+K,K>=3*H+1,J>=2*H+1] 

* Chain [57]: 0
  with precondition: [A=0,I=0,L=2,S=2,T=1,A1=1,B1=1,E1=7,B=C,D=E,J=F,K=G,B+2=U,B+2=V,D+2=W,D+2=X,Y=C1,Z=D1,7>=Y,3>=Z,H>=0,Y>=1,Z>=1,7>=4*H+J,7>=3*H+K,K>=3*H+1,J>=2*H+1] 

* Chain [56]: 0
  with precondition: [A=0,I=0,L=2,S=2,T=1,B1=1,E1=7,C=B,E=D,J=F,K=G,C=U,C=V,E=W,E=X,H=A1,Y=C1,Z=D1,7>=Y,7>=Z,H>=0,Y>=1,Z>=5,7>=4*H+J,7>=3*H+K,K>=3*H+1,J>=2*H+1] 

* Chain [55]: 0
  with precondition: [A=0,I=0,L=2,S=2,T=1,B1=1,E1=7,C=B,E=D,J=F,K=G,C=U,C=V,E=W,E=X,H=A1,Y=C1,Z=D1,7>=Y,3>=Z,H>=0,Y>=1,Z>=1,7>=4*H+J,7>=3*H+K,K>=3*H+1,J>=2*H+1] 

* Chain [54]: 0
  with precondition: [A=0,I=0,L=2,S=3,C=B,E=D,J=F,K=G,H>=0,7>=4*H+J,7>=3*H+K,K>=3*H+1,J>=2*H+1] 

* Chain [53,[45,46,47,48,49,50,51]]...: 2*it(45)+1*it(46)+2*it(48)+1*it(50)+1*it(51)+1
  Such that:it(50) =< -C/3+N/3
it(50) =< -D/3+M/3
aux(73) =< -C+N
aux(74) =< -C/2+N/2
aux(75) =< -D+M
aux(76) =< -D/2+M/2
it(48) =< aux(73)
it(50) =< aux(73)
it(51) =< aux(73)
it(46) =< aux(74)
it(50) =< aux(74)
it(51) =< aux(74)
it(48) =< aux(75)
it(50) =< aux(75)
it(51) =< aux(75)
it(46) =< aux(76)
it(50) =< aux(76)
it(51) =< aux(76)

  with precondition: [A=0,F=3,G=4,H=1,I=0,J=3,K=4,L=2,B=C,D=E,M>=1,N>=1,N>=B+1,M>=D+1] 

* Chain [53,[45,46,47,48,49,50,51],82]: 2*it(45)+1*it(46)+2*it(48)+1*it(50)+1*it(51)+1
  Such that:aux(17) =< -B+V
aux(18) =< -B/2+V/2
it(50) =< -B/3+M/3+V/3-X/3
it(50) =< -B/3+N/3
aux(77) =< -B+M+V-X
aux(78) =< -B+N
aux(79) =< -B/2+M/2+V/2-X/2
aux(80) =< -B/2+N/2
it(48) =< aux(78)
it(50) =< aux(78)
it(51) =< aux(78)
it(48) =< aux(17)
it(50) =< aux(17)
it(51) =< aux(17)
it(46) =< aux(80)
it(50) =< aux(80)
it(51) =< aux(80)
it(46) =< aux(18)
it(50) =< aux(18)
it(51) =< aux(18)
it(48) =< aux(77)
it(50) =< aux(77)
it(51) =< aux(77)
it(46) =< aux(79)
it(50) =< aux(79)
it(51) =< aux(79)

  with precondition: [A=0,F=3,G=4,H=1,I=0,J=3,K=4,L=2,S=2,T=0,Z=4,A1=1,B1=0,D1=4,E1=7,B=C,D=E,U=V,Y=C1,D+U=B+W,D+U=B+X,7>=Y,M>=1,N>=1,Y>=1,N>=B+1,U>=B+4,M>=D+1,U>=N,D+U>=B+M] 

* Chain [53,[45,46,47,48,49,50,51],81]: 2*it(45)+1*it(46)+2*it(48)+1*it(50)+1*it(51)+1
  Such that:aux(19) =< -B+V
aux(20) =< -B/2+V/2
it(50) =< -B/3+M/3+V/3-X/3
it(50) =< -B/3+N/3
aux(81) =< -B+M+V-X
aux(82) =< -B+N
aux(83) =< -B/2+M/2+V/2-X/2
aux(84) =< -B/2+N/2
it(48) =< aux(82)
it(50) =< aux(82)
it(51) =< aux(82)
it(48) =< aux(19)
it(50) =< aux(19)
it(51) =< aux(19)
it(46) =< aux(84)
it(50) =< aux(84)
it(51) =< aux(84)
it(46) =< aux(20)
it(50) =< aux(20)
it(51) =< aux(20)
it(48) =< aux(81)
it(50) =< aux(81)
it(51) =< aux(81)
it(46) =< aux(83)
it(50) =< aux(83)
it(51) =< aux(83)

  with precondition: [A=0,F=3,G=4,H=1,I=0,J=3,K=4,L=2,S=2,T=0,Z=4,A1=1,B1=0,D1=4,E1=7,B=C,D=E,U=V,Y=C1,D+U=B+W,D+U=B+X,7>=Y,M>=1,N>=1,Y>=1,N>=B+1,U>=B+3,M>=D+1,U>=N,D+U>=B+M] 

* Chain [53,[45,46,47,48,49,50,51],80]: 2*it(45)+1*it(46)+2*it(48)+1*it(50)+1*it(51)+1
  Such that:aux(21) =< -B+V
aux(22) =< -B/2+V/2
it(50) =< -B/3+M/3+V/3-X/3
it(50) =< -B/3+N/3
aux(85) =< -B+M+V-X
aux(86) =< -B+N
aux(87) =< -B/2+M/2+V/2-X/2
aux(88) =< -B/2+N/2
it(48) =< aux(86)
it(50) =< aux(86)
it(51) =< aux(86)
it(48) =< aux(21)
it(50) =< aux(21)
it(51) =< aux(21)
it(46) =< aux(88)
it(50) =< aux(88)
it(51) =< aux(88)
it(46) =< aux(22)
it(50) =< aux(22)
it(51) =< aux(22)
it(48) =< aux(85)
it(50) =< aux(85)
it(51) =< aux(85)
it(46) =< aux(87)
it(50) =< aux(87)
it(51) =< aux(87)

  with precondition: [A=0,F=3,G=4,H=1,I=0,J=3,K=4,L=2,S=2,T=0,Z=4,A1=1,B1=0,D1=4,E1=7,B=C,D=E,U=V,Y=C1,D+U=B+W,D+U=B+X,7>=Y,M>=1,N>=1,Y>=1,N>=B+1,U>=B+2,M>=D+1,U>=N,D+U>=B+M] 

* Chain [53,[45,46,47,48,49,50,51],79]: 2*it(45)+1*it(46)+2*it(48)+1*it(50)+1*it(51)+1
  Such that:aux(23) =< -B+V
aux(24) =< -B/2+V/2
it(50) =< -B/3+M/3+V/3-X/3
it(50) =< -B/3+N/3
aux(89) =< -B+M+V-X
aux(90) =< -B+N
aux(91) =< -B/2+M/2+V/2-X/2
aux(92) =< -B/2+N/2
it(48) =< aux(90)
it(50) =< aux(90)
it(51) =< aux(90)
it(48) =< aux(23)
it(50) =< aux(23)
it(51) =< aux(23)
it(46) =< aux(92)
it(50) =< aux(92)
it(51) =< aux(92)
it(46) =< aux(24)
it(50) =< aux(24)
it(51) =< aux(24)
it(48) =< aux(89)
it(50) =< aux(89)
it(51) =< aux(89)
it(46) =< aux(91)
it(50) =< aux(91)
it(51) =< aux(91)

  with precondition: [A=0,F=3,G=4,H=1,I=0,J=3,K=4,L=2,S=2,T=0,A1=0,B1=0,E1=7,B=C,D=E,U=V,Y=C1,Z=D1,D+U=B+W,D+U=B+X,7>=Y,7>=Z,M>=1,N>=1,Y>=1,Z>=5,N>=B+1,U>=B+2,M>=D+1,U>=N,D+U>=B+M] 

* Chain [53,[45,46,47,48,49,50,51],78]: 2*it(45)+1*it(46)+2*it(48)+1*it(50)+1*it(51)+1
  Such that:aux(25) =< -B+V
aux(26) =< -B/2+V/2
it(50) =< -B/3+M/3+V/3-X/3
it(50) =< -B/3+N/3
aux(93) =< -B+M+V-X
aux(94) =< -B+N
aux(95) =< -B/2+M/2+V/2-X/2
aux(96) =< -B/2+N/2
it(48) =< aux(94)
it(50) =< aux(94)
it(51) =< aux(94)
it(48) =< aux(25)
it(50) =< aux(25)
it(51) =< aux(25)
it(46) =< aux(96)
it(50) =< aux(96)
it(51) =< aux(96)
it(46) =< aux(26)
it(50) =< aux(26)
it(51) =< aux(26)
it(48) =< aux(93)
it(50) =< aux(93)
it(51) =< aux(93)
it(46) =< aux(95)
it(50) =< aux(95)
it(51) =< aux(95)

  with precondition: [A=0,F=3,G=4,H=1,I=0,J=3,K=4,L=2,S=2,T=0,A1=0,B1=0,E1=7,B=C,D=E,U=V,Y=C1,Z=D1,D+U=B+W,D+U=B+X,7>=Y,3>=Z,M>=1,N>=1,Y>=1,Z>=1,N>=B+1,U>=B+2,M>=D+1,U>=N,D+U>=B+M] 

* Chain [53,[45,46,47,48,49,50,51],77]: 2*it(45)+1*it(46)+2*it(48)+1*it(50)+1*it(51)+1
  Such that:aux(27) =< -B+V
aux(28) =< -B/2+V/2
it(50) =< -B/3+M/3+V/3-X/3
it(50) =< -B/3+N/3
aux(97) =< -B+M+V-X
aux(98) =< -B+N
aux(99) =< -B/2+M/2+V/2-X/2
aux(100) =< -B/2+N/2
it(48) =< aux(98)
it(50) =< aux(98)
it(51) =< aux(98)
it(48) =< aux(27)
it(50) =< aux(27)
it(51) =< aux(27)
it(46) =< aux(100)
it(50) =< aux(100)
it(51) =< aux(100)
it(46) =< aux(28)
it(50) =< aux(28)
it(51) =< aux(28)
it(48) =< aux(97)
it(50) =< aux(97)
it(51) =< aux(97)
it(46) =< aux(99)
it(50) =< aux(99)
it(51) =< aux(99)

  with precondition: [A=0,F=3,G=4,H=1,I=0,J=3,K=4,L=2,S=2,T=0,A1=0,B1=0,E1=7,B=C,D=E,U=V,Y=C1,Z=D1,D+U=B+W,D+U=B+X,7>=Y,7>=Z,M>=1,N>=1,Y>=1,Z>=5,N>=B+1,U>=B+3,M>=D+1,U>=N,D+U>=B+M] 

* Chain [53,[45,46,47,48,49,50,51],76]: 2*it(45)+1*it(46)+2*it(48)+1*it(50)+1*it(51)+1
  Such that:aux(29) =< -B+V
aux(30) =< -B/2+V/2
it(50) =< -B/3+M/3+V/3-X/3
it(50) =< -B/3+N/3
aux(101) =< -B+M+V-X
aux(102) =< -B+N
aux(103) =< -B/2+M/2+V/2-X/2
aux(104) =< -B/2+N/2
it(48) =< aux(102)
it(50) =< aux(102)
it(51) =< aux(102)
it(48) =< aux(29)
it(50) =< aux(29)
it(51) =< aux(29)
it(46) =< aux(104)
it(50) =< aux(104)
it(51) =< aux(104)
it(46) =< aux(30)
it(50) =< aux(30)
it(51) =< aux(30)
it(48) =< aux(101)
it(50) =< aux(101)
it(51) =< aux(101)
it(46) =< aux(103)
it(50) =< aux(103)
it(51) =< aux(103)

  with precondition: [A=0,F=3,G=4,H=1,I=0,J=3,K=4,L=2,S=2,T=0,A1=0,B1=0,E1=7,B=C,D=E,U=V,Y=C1,Z=D1,D+U=B+W,D+U=B+X,7>=Y,3>=Z,M>=1,N>=1,Y>=1,Z>=1,N>=B+1,U>=B+3,M>=D+1,U>=N,D+U>=B+M] 

* Chain [53,[45,46,47,48,49,50,51],75]: 2*it(45)+1*it(46)+2*it(48)+1*it(50)+1*it(51)+1
  Such that:aux(31) =< -B+V
aux(32) =< -B/2+V/2
it(50) =< -B/3+M/3+V/3-X/3
it(50) =< -B/3+N/3
aux(105) =< -B+M+V-X
aux(106) =< -B+N
aux(107) =< -B/2+M/2+V/2-X/2
aux(108) =< -B/2+N/2
it(48) =< aux(106)
it(50) =< aux(106)
it(51) =< aux(106)
it(48) =< aux(31)
it(50) =< aux(31)
it(51) =< aux(31)
it(46) =< aux(108)
it(50) =< aux(108)
it(51) =< aux(108)
it(46) =< aux(32)
it(50) =< aux(32)
it(51) =< aux(32)
it(48) =< aux(105)
it(50) =< aux(105)
it(51) =< aux(105)
it(46) =< aux(107)
it(50) =< aux(107)
it(51) =< aux(107)

  with precondition: [A=0,F=3,G=4,H=1,I=0,J=3,K=4,L=2,S=2,T=0,A1=0,B1=0,E1=7,B=C,D=E,U=V,Y=C1,Z=D1,D+U=B+W,D+U=B+X,7>=Y,7>=Z,M>=1,N>=1,Y>=1,Z>=5,N>=B+1,M>=D+1,U>=N,D+U>=B+M] 

* Chain [53,[45,46,47,48,49,50,51],74]: 2*it(45)+1*it(46)+2*it(48)+1*it(50)+1*it(51)+1
  Such that:aux(33) =< -B+V
aux(34) =< -B/2+V/2
it(50) =< -B/3+M/3+V/3-X/3
it(50) =< -B/3+N/3
aux(109) =< -B+M+V-X
aux(110) =< -B+N
aux(111) =< -B/2+M/2+V/2-X/2
aux(112) =< -B/2+N/2
it(48) =< aux(110)
it(50) =< aux(110)
it(51) =< aux(110)
it(48) =< aux(33)
it(50) =< aux(33)
it(51) =< aux(33)
it(46) =< aux(112)
it(50) =< aux(112)
it(51) =< aux(112)
it(46) =< aux(34)
it(50) =< aux(34)
it(51) =< aux(34)
it(48) =< aux(109)
it(50) =< aux(109)
it(51) =< aux(109)
it(46) =< aux(111)
it(50) =< aux(111)
it(51) =< aux(111)

  with precondition: [A=0,F=3,G=4,H=1,I=0,J=3,K=4,L=2,S=2,T=0,A1=0,B1=0,E1=7,B=C,D=E,U=V,Y=C1,Z=D1,D+U=B+W,D+U=B+X,7>=Y,3>=Z,M>=1,N>=1,Y>=1,Z>=1,N>=B+1,M>=D+1,U>=N,D+U>=B+M] 

* Chain [53,[45,46,47,48,49,50,51],73]: 2*it(45)+1*it(46)+2*it(48)+1*it(50)+1*it(51)+1
  Such that:aux(35) =< -B+V
aux(36) =< -B/2+V/2
it(50) =< -B/3+M/3+V/3-X/3
it(50) =< -B/3+N/3
aux(113) =< -B+M+V-X
aux(114) =< -B+N
aux(115) =< -B/2+M/2+V/2-X/2
aux(116) =< -B/2+N/2
it(48) =< aux(114)
it(50) =< aux(114)
it(51) =< aux(114)
it(48) =< aux(35)
it(50) =< aux(35)
it(51) =< aux(35)
it(46) =< aux(116)
it(50) =< aux(116)
it(51) =< aux(116)
it(46) =< aux(36)
it(50) =< aux(36)
it(51) =< aux(36)
it(48) =< aux(113)
it(50) =< aux(113)
it(51) =< aux(113)
it(46) =< aux(115)
it(50) =< aux(115)
it(51) =< aux(115)

  with precondition: [A=0,F=3,G=4,H=1,I=0,J=3,K=4,L=2,S=2,T=0,A1=1,B1=0,E1=7,B=C,D=E,U=V,Y=C1,Z=D1,D+U=B+W,D+U=B+X,7>=Y,7>=Z,M>=1,N>=1,Y>=1,Z>=5,N>=B+1,U>=B+2,M>=D+1,U>=N,D+U>=B+M] 

* Chain [53,[45,46,47,48,49,50,51],72]: 2*it(45)+1*it(46)+2*it(48)+1*it(50)+1*it(51)+1
  Such that:aux(37) =< -B+V
aux(38) =< -B/2+V/2
it(50) =< -B/3+M/3+V/3-X/3
it(50) =< -B/3+N/3
aux(117) =< -B+M+V-X
aux(118) =< -B+N
aux(119) =< -B/2+M/2+V/2-X/2
aux(120) =< -B/2+N/2
it(48) =< aux(118)
it(50) =< aux(118)
it(51) =< aux(118)
it(48) =< aux(37)
it(50) =< aux(37)
it(51) =< aux(37)
it(46) =< aux(120)
it(50) =< aux(120)
it(51) =< aux(120)
it(46) =< aux(38)
it(50) =< aux(38)
it(51) =< aux(38)
it(48) =< aux(117)
it(50) =< aux(117)
it(51) =< aux(117)
it(46) =< aux(119)
it(50) =< aux(119)
it(51) =< aux(119)

  with precondition: [A=0,F=3,G=4,H=1,I=0,J=3,K=4,L=2,S=2,T=0,A1=1,B1=0,E1=7,B=C,D=E,U=V,Y=C1,Z=D1,D+U=B+W,D+U=B+X,7>=Y,3>=Z,M>=1,N>=1,Y>=1,Z>=1,N>=B+1,U>=B+2,M>=D+1,U>=N,D+U>=B+M] 

* Chain [53,[45,46,47,48,49,50,51],71]: 2*it(45)+1*it(46)+2*it(48)+1*it(50)+1*it(51)+1
  Such that:aux(39) =< -B+V
aux(40) =< -B/2+V/2
it(50) =< -B/3+M/3+V/3-X/3
it(50) =< -B/3+N/3
aux(121) =< -B+M+V-X
aux(122) =< -B+N
aux(123) =< -B/2+M/2+V/2-X/2
aux(124) =< -B/2+N/2
it(48) =< aux(122)
it(50) =< aux(122)
it(51) =< aux(122)
it(48) =< aux(39)
it(50) =< aux(39)
it(51) =< aux(39)
it(46) =< aux(124)
it(50) =< aux(124)
it(51) =< aux(124)
it(46) =< aux(40)
it(50) =< aux(40)
it(51) =< aux(40)
it(48) =< aux(121)
it(50) =< aux(121)
it(51) =< aux(121)
it(46) =< aux(123)
it(50) =< aux(123)
it(51) =< aux(123)

  with precondition: [A=0,F=3,G=4,H=1,I=0,J=3,K=4,L=2,S=2,T=0,A1=1,B1=0,E1=7,B=C,D=E,U=V,Y=C1,Z=D1,D+U=B+W,D+U=B+X,7>=Y,7>=Z,M>=1,N>=1,Y>=1,Z>=5,N>=B+1,U>=B+3,M>=D+1,U>=N,D+U>=B+M] 

* Chain [53,[45,46,47,48,49,50,51],70]: 2*it(45)+1*it(46)+2*it(48)+1*it(50)+1*it(51)+1
  Such that:aux(41) =< -B+V
aux(42) =< -B/2+V/2
it(50) =< -B/3+M/3+V/3-X/3
it(50) =< -B/3+N/3
aux(125) =< -B+M+V-X
aux(126) =< -B+N
aux(127) =< -B/2+M/2+V/2-X/2
aux(128) =< -B/2+N/2
it(48) =< aux(126)
it(50) =< aux(126)
it(51) =< aux(126)
it(48) =< aux(41)
it(50) =< aux(41)
it(51) =< aux(41)
it(46) =< aux(128)
it(50) =< aux(128)
it(51) =< aux(128)
it(46) =< aux(42)
it(50) =< aux(42)
it(51) =< aux(42)
it(48) =< aux(125)
it(50) =< aux(125)
it(51) =< aux(125)
it(46) =< aux(127)
it(50) =< aux(127)
it(51) =< aux(127)

  with precondition: [A=0,F=3,G=4,H=1,I=0,J=3,K=4,L=2,S=2,T=0,A1=1,B1=0,E1=7,B=C,D=E,U=V,Y=C1,Z=D1,D+U=B+W,D+U=B+X,7>=Y,3>=Z,M>=1,N>=1,Y>=1,Z>=1,N>=B+1,U>=B+3,M>=D+1,U>=N,D+U>=B+M] 

* Chain [53,[45,46,47,48,49,50,51],69]: 2*it(45)+1*it(46)+2*it(48)+1*it(50)+1*it(51)+1
  Such that:aux(43) =< -B+V
aux(44) =< -B/2+V/2
it(50) =< -B/3+M/3+V/3-X/3
it(50) =< -B/3+N/3
aux(129) =< -B+M+V-X
aux(130) =< -B+N
aux(131) =< -B/2+M/2+V/2-X/2
aux(132) =< -B/2+N/2
it(48) =< aux(130)
it(50) =< aux(130)
it(51) =< aux(130)
it(48) =< aux(43)
it(50) =< aux(43)
it(51) =< aux(43)
it(46) =< aux(132)
it(50) =< aux(132)
it(51) =< aux(132)
it(46) =< aux(44)
it(50) =< aux(44)
it(51) =< aux(44)
it(48) =< aux(129)
it(50) =< aux(129)
it(51) =< aux(129)
it(46) =< aux(131)
it(50) =< aux(131)
it(51) =< aux(131)

  with precondition: [A=0,F=3,G=4,H=1,I=0,J=3,K=4,L=2,S=2,T=1,Z=4,A1=1,B1=1,D1=4,E1=7,B=C,D=E,U=V,Y=C1,D+U=B+W,D+U=B+X,7>=Y,M>=1,N>=1,Y>=1,N>=B+1,U>=B+4,M>=D+1] 

* Chain [53,[45,46,47,48,49,50,51],68]: 2*it(45)+1*it(46)+2*it(48)+1*it(50)+1*it(51)+1
  Such that:aux(45) =< -B+V
aux(46) =< -B/2+V/2
it(50) =< -B/3+M/3+V/3-X/3
it(50) =< -B/3+N/3
aux(133) =< -B+M+V-X
aux(134) =< -B+N
aux(135) =< -B/2+M/2+V/2-X/2
aux(136) =< -B/2+N/2
it(48) =< aux(134)
it(50) =< aux(134)
it(51) =< aux(134)
it(48) =< aux(45)
it(50) =< aux(45)
it(51) =< aux(45)
it(46) =< aux(136)
it(50) =< aux(136)
it(51) =< aux(136)
it(46) =< aux(46)
it(50) =< aux(46)
it(51) =< aux(46)
it(48) =< aux(133)
it(50) =< aux(133)
it(51) =< aux(133)
it(46) =< aux(135)
it(50) =< aux(135)
it(51) =< aux(135)

  with precondition: [A=0,F=3,G=4,H=1,I=0,J=3,K=4,L=2,S=2,T=1,Z=4,A1=1,B1=1,D1=4,E1=7,B=C,D=E,U=V,Y=C1,D+U=B+W,D+U=B+X,7>=Y,M>=1,N>=1,Y>=1,N>=B+1,U>=B+3,M>=D+1] 

* Chain [53,[45,46,47,48,49,50,51],67]: 2*it(45)+1*it(46)+2*it(48)+1*it(50)+1*it(51)+1
  Such that:aux(47) =< -B+V
aux(48) =< -B/2+V/2
it(50) =< -B/3+M/3+V/3-X/3
it(50) =< -B/3+N/3
aux(137) =< -B+M+V-X
aux(138) =< -B+N
aux(139) =< -B/2+M/2+V/2-X/2
aux(140) =< -B/2+N/2
it(48) =< aux(138)
it(50) =< aux(138)
it(51) =< aux(138)
it(48) =< aux(47)
it(50) =< aux(47)
it(51) =< aux(47)
it(46) =< aux(140)
it(50) =< aux(140)
it(51) =< aux(140)
it(46) =< aux(48)
it(50) =< aux(48)
it(51) =< aux(48)
it(48) =< aux(137)
it(50) =< aux(137)
it(51) =< aux(137)
it(46) =< aux(139)
it(50) =< aux(139)
it(51) =< aux(139)

  with precondition: [A=0,F=3,G=4,H=1,I=0,J=3,K=4,L=2,S=2,T=1,Z=4,A1=1,B1=1,D1=4,E1=7,B=C,D=E,U=V,Y=C1,D+U=B+W,D+U=B+X,7>=Y,M>=1,N>=1,Y>=1,N>=B+1,U>=B+2,M>=D+1] 

* Chain [53,[45,46,47,48,49,50,51],66]: 2*it(45)+1*it(46)+2*it(48)+1*it(50)+1*it(51)+1
  Such that:aux(49) =< -B+V
aux(50) =< -B/2+V/2
it(50) =< -B/3+M/3+V/3-X/3
it(50) =< -B/3+N/3
aux(141) =< -B+M+V-X
aux(142) =< -B+N
aux(143) =< -B/2+M/2+V/2-X/2
aux(144) =< -B/2+N/2
it(48) =< aux(142)
it(50) =< aux(142)
it(51) =< aux(142)
it(48) =< aux(49)
it(50) =< aux(49)
it(51) =< aux(49)
it(46) =< aux(144)
it(50) =< aux(144)
it(51) =< aux(144)
it(46) =< aux(50)
it(50) =< aux(50)
it(51) =< aux(50)
it(48) =< aux(141)
it(50) =< aux(141)
it(51) =< aux(141)
it(46) =< aux(143)
it(50) =< aux(143)
it(51) =< aux(143)

  with precondition: [A=0,F=3,G=4,H=1,I=0,J=3,K=4,L=2,S=2,T=1,A1=0,B1=1,E1=7,B=C,D=E,U=V,Y=C1,Z=D1,D+U=B+W,D+U=B+X,7>=Y,7>=Z,M>=1,N>=1,Y>=1,Z>=5,N>=B+1,U>=B+2,M>=D+1] 

* Chain [53,[45,46,47,48,49,50,51],65]: 2*it(45)+1*it(46)+2*it(48)+1*it(50)+1*it(51)+1
  Such that:aux(51) =< -B+V
aux(52) =< -B/2+V/2
it(50) =< -B/3+M/3+V/3-X/3
it(50) =< -B/3+N/3
aux(145) =< -B+M+V-X
aux(146) =< -B+N
aux(147) =< -B/2+M/2+V/2-X/2
aux(148) =< -B/2+N/2
it(48) =< aux(146)
it(50) =< aux(146)
it(51) =< aux(146)
it(48) =< aux(51)
it(50) =< aux(51)
it(51) =< aux(51)
it(46) =< aux(148)
it(50) =< aux(148)
it(51) =< aux(148)
it(46) =< aux(52)
it(50) =< aux(52)
it(51) =< aux(52)
it(48) =< aux(145)
it(50) =< aux(145)
it(51) =< aux(145)
it(46) =< aux(147)
it(50) =< aux(147)
it(51) =< aux(147)

  with precondition: [A=0,F=3,G=4,H=1,I=0,J=3,K=4,L=2,S=2,T=1,A1=0,B1=1,E1=7,B=C,D=E,U=V,Y=C1,Z=D1,D+U=B+W,D+U=B+X,7>=Y,3>=Z,M>=1,N>=1,Y>=1,Z>=1,N>=B+1,U>=B+2,M>=D+1] 

* Chain [53,[45,46,47,48,49,50,51],64]: 2*it(45)+1*it(46)+2*it(48)+1*it(50)+1*it(51)+1
  Such that:aux(53) =< -B+V
aux(54) =< -B/2+V/2
it(50) =< -B/3+M/3+V/3-X/3
it(50) =< -B/3+N/3
aux(149) =< -B+M+V-X
aux(150) =< -B+N
aux(151) =< -B/2+M/2+V/2-X/2
aux(152) =< -B/2+N/2
it(48) =< aux(150)
it(50) =< aux(150)
it(51) =< aux(150)
it(48) =< aux(53)
it(50) =< aux(53)
it(51) =< aux(53)
it(46) =< aux(152)
it(50) =< aux(152)
it(51) =< aux(152)
it(46) =< aux(54)
it(50) =< aux(54)
it(51) =< aux(54)
it(48) =< aux(149)
it(50) =< aux(149)
it(51) =< aux(149)
it(46) =< aux(151)
it(50) =< aux(151)
it(51) =< aux(151)

  with precondition: [A=0,F=3,G=4,H=1,I=0,J=3,K=4,L=2,S=2,T=1,A1=0,B1=1,E1=7,B=C,D=E,U=V,Y=C1,Z=D1,D+U=B+W,D+U=B+X,7>=Y,7>=Z,M>=1,N>=1,Y>=1,Z>=5,N>=B+1,U>=B+3,M>=D+1] 

* Chain [53,[45,46,47,48,49,50,51],63]: 2*it(45)+1*it(46)+2*it(48)+1*it(50)+1*it(51)+1
  Such that:aux(55) =< -B+V
aux(56) =< -B/2+V/2
it(50) =< -B/3+M/3+V/3-X/3
it(50) =< -B/3+N/3
aux(153) =< -B+M+V-X
aux(154) =< -B+N
aux(155) =< -B/2+M/2+V/2-X/2
aux(156) =< -B/2+N/2
it(48) =< aux(154)
it(50) =< aux(154)
it(51) =< aux(154)
it(48) =< aux(55)
it(50) =< aux(55)
it(51) =< aux(55)
it(46) =< aux(156)
it(50) =< aux(156)
it(51) =< aux(156)
it(46) =< aux(56)
it(50) =< aux(56)
it(51) =< aux(56)
it(48) =< aux(153)
it(50) =< aux(153)
it(51) =< aux(153)
it(46) =< aux(155)
it(50) =< aux(155)
it(51) =< aux(155)

  with precondition: [A=0,F=3,G=4,H=1,I=0,J=3,K=4,L=2,S=2,T=1,A1=0,B1=1,E1=7,B=C,D=E,U=V,Y=C1,Z=D1,D+U=B+W,D+U=B+X,7>=Y,3>=Z,M>=1,N>=1,Y>=1,Z>=1,N>=B+1,U>=B+3,M>=D+1] 

* Chain [53,[45,46,47,48,49,50,51],62]: 2*it(45)+1*it(46)+2*it(48)+1*it(50)+1*it(51)+1
  Such that:aux(57) =< -B+V
aux(58) =< -B/2+V/2
it(50) =< -B/3+M/3+V/3-X/3
it(50) =< -B/3+N/3
aux(157) =< -B+M+V-X
aux(158) =< -B+N
aux(159) =< -B/2+M/2+V/2-X/2
aux(160) =< -B/2+N/2
it(48) =< aux(158)
it(50) =< aux(158)
it(51) =< aux(158)
it(48) =< aux(57)
it(50) =< aux(57)
it(51) =< aux(57)
it(46) =< aux(160)
it(50) =< aux(160)
it(51) =< aux(160)
it(46) =< aux(58)
it(50) =< aux(58)
it(51) =< aux(58)
it(48) =< aux(157)
it(50) =< aux(157)
it(51) =< aux(157)
it(46) =< aux(159)
it(50) =< aux(159)
it(51) =< aux(159)

  with precondition: [A=0,F=3,G=4,H=1,I=0,J=3,K=4,L=2,S=2,T=1,A1=0,B1=1,E1=7,B=C,D=E,U=V,Y=C1,Z=D1,D+U=B+W,D+U=B+X,7>=Y,7>=Z,M>=1,N>=1,Y>=1,Z>=5,N>=B+1,U>=B+1,M>=D+1] 

* Chain [53,[45,46,47,48,49,50,51],61]: 2*it(45)+1*it(46)+2*it(48)+1*it(50)+1*it(51)+1
  Such that:aux(59) =< -B+V
aux(60) =< -B/2+V/2
it(50) =< -B/3+M/3+V/3-X/3
it(50) =< -B/3+N/3
aux(161) =< -B+M+V-X
aux(162) =< -B+N
aux(163) =< -B/2+M/2+V/2-X/2
aux(164) =< -B/2+N/2
it(48) =< aux(162)
it(50) =< aux(162)
it(51) =< aux(162)
it(48) =< aux(59)
it(50) =< aux(59)
it(51) =< aux(59)
it(46) =< aux(164)
it(50) =< aux(164)
it(51) =< aux(164)
it(46) =< aux(60)
it(50) =< aux(60)
it(51) =< aux(60)
it(48) =< aux(161)
it(50) =< aux(161)
it(51) =< aux(161)
it(46) =< aux(163)
it(50) =< aux(163)
it(51) =< aux(163)

  with precondition: [A=0,F=3,G=4,H=1,I=0,J=3,K=4,L=2,S=2,T=1,A1=0,B1=1,E1=7,B=C,D=E,U=V,Y=C1,Z=D1,D+U=B+W,D+U=B+X,7>=Y,3>=Z,M>=1,N>=1,Y>=1,Z>=1,N>=B+1,U>=B+1,M>=D+1] 

* Chain [53,[45,46,47,48,49,50,51],60]: 2*it(45)+1*it(46)+2*it(48)+1*it(50)+1*it(51)+1
  Such that:aux(61) =< -B+V
aux(62) =< -B/2+V/2
it(50) =< -B/3+M/3+V/3-X/3
it(50) =< -B/3+N/3
aux(165) =< -B+M+V-X
aux(166) =< -B+N
aux(167) =< -B/2+M/2+V/2-X/2
aux(168) =< -B/2+N/2
it(48) =< aux(166)
it(50) =< aux(166)
it(51) =< aux(166)
it(48) =< aux(61)
it(50) =< aux(61)
it(51) =< aux(61)
it(46) =< aux(168)
it(50) =< aux(168)
it(51) =< aux(168)
it(46) =< aux(62)
it(50) =< aux(62)
it(51) =< aux(62)
it(48) =< aux(165)
it(50) =< aux(165)
it(51) =< aux(165)
it(46) =< aux(167)
it(50) =< aux(167)
it(51) =< aux(167)

  with precondition: [A=0,F=3,G=4,H=1,I=0,J=3,K=4,L=2,S=2,T=1,A1=1,B1=1,E1=7,B=C,D=E,U=V,Y=C1,Z=D1,D+U=B+W,D+U=B+X,7>=Y,7>=Z,M>=1,N>=1,Y>=1,Z>=5,N>=B+1,U>=B+2,M>=D+1] 

* Chain [53,[45,46,47,48,49,50,51],59]: 2*it(45)+1*it(46)+2*it(48)+1*it(50)+1*it(51)+1
  Such that:aux(63) =< -B+V
aux(64) =< -B/2+V/2
it(50) =< -B/3+M/3+V/3-X/3
it(50) =< -B/3+N/3
aux(169) =< -B+M+V-X
aux(170) =< -B+N
aux(171) =< -B/2+M/2+V/2-X/2
aux(172) =< -B/2+N/2
it(48) =< aux(170)
it(50) =< aux(170)
it(51) =< aux(170)
it(48) =< aux(63)
it(50) =< aux(63)
it(51) =< aux(63)
it(46) =< aux(172)
it(50) =< aux(172)
it(51) =< aux(172)
it(46) =< aux(64)
it(50) =< aux(64)
it(51) =< aux(64)
it(48) =< aux(169)
it(50) =< aux(169)
it(51) =< aux(169)
it(46) =< aux(171)
it(50) =< aux(171)
it(51) =< aux(171)

  with precondition: [A=0,F=3,G=4,H=1,I=0,J=3,K=4,L=2,S=2,T=1,A1=1,B1=1,E1=7,B=C,D=E,U=V,Y=C1,Z=D1,D+U=B+W,D+U=B+X,7>=Y,3>=Z,M>=1,N>=1,Y>=1,Z>=1,N>=B+1,U>=B+2,M>=D+1] 

* Chain [53,[45,46,47,48,49,50,51],58]: 2*it(45)+1*it(46)+2*it(48)+1*it(50)+1*it(51)+1
  Such that:aux(65) =< -B+V
aux(66) =< -B/2+V/2
it(50) =< -B/3+M/3+V/3-X/3
it(50) =< -B/3+N/3
aux(173) =< -B+M+V-X
aux(174) =< -B+N
aux(175) =< -B/2+M/2+V/2-X/2
aux(176) =< -B/2+N/2
it(48) =< aux(174)
it(50) =< aux(174)
it(51) =< aux(174)
it(48) =< aux(65)
it(50) =< aux(65)
it(51) =< aux(65)
it(46) =< aux(176)
it(50) =< aux(176)
it(51) =< aux(176)
it(46) =< aux(66)
it(50) =< aux(66)
it(51) =< aux(66)
it(48) =< aux(173)
it(50) =< aux(173)
it(51) =< aux(173)
it(46) =< aux(175)
it(50) =< aux(175)
it(51) =< aux(175)

  with precondition: [A=0,F=3,G=4,H=1,I=0,J=3,K=4,L=2,S=2,T=1,A1=1,B1=1,E1=7,B=C,D=E,U=V,Y=C1,Z=D1,D+U=B+W,D+U=B+X,7>=Y,7>=Z,M>=1,N>=1,Y>=1,Z>=5,N>=B+1,U>=B+3,M>=D+1] 

* Chain [53,[45,46,47,48,49,50,51],57]: 2*it(45)+1*it(46)+2*it(48)+1*it(50)+1*it(51)+1
  Such that:aux(67) =< -B+V
aux(68) =< -B/2+V/2
it(50) =< -B/3+M/3+V/3-X/3
it(50) =< -B/3+N/3
aux(177) =< -B+M+V-X
aux(178) =< -B+N
aux(179) =< -B/2+M/2+V/2-X/2
aux(180) =< -B/2+N/2
it(48) =< aux(178)
it(50) =< aux(178)
it(51) =< aux(178)
it(48) =< aux(67)
it(50) =< aux(67)
it(51) =< aux(67)
it(46) =< aux(180)
it(50) =< aux(180)
it(51) =< aux(180)
it(46) =< aux(68)
it(50) =< aux(68)
it(51) =< aux(68)
it(48) =< aux(177)
it(50) =< aux(177)
it(51) =< aux(177)
it(46) =< aux(179)
it(50) =< aux(179)
it(51) =< aux(179)

  with precondition: [A=0,F=3,G=4,H=1,I=0,J=3,K=4,L=2,S=2,T=1,A1=1,B1=1,E1=7,B=C,D=E,U=V,Y=C1,Z=D1,D+U=B+W,D+U=B+X,7>=Y,3>=Z,M>=1,N>=1,Y>=1,Z>=1,N>=B+1,U>=B+3,M>=D+1] 

* Chain [53,[45,46,47,48,49,50,51],56]: 2*it(45)+1*it(46)+2*it(48)+1*it(50)+1*it(51)+1
  Such that:aux(69) =< -B+V
aux(70) =< -B/2+V/2
it(50) =< -B/3+M/3+V/3-X/3
it(50) =< -B/3+N/3
aux(181) =< -B+M+V-X
aux(182) =< -B+N
aux(183) =< -B/2+M/2+V/2-X/2
aux(184) =< -B/2+N/2
it(48) =< aux(182)
it(50) =< aux(182)
it(51) =< aux(182)
it(48) =< aux(69)
it(50) =< aux(69)
it(51) =< aux(69)
it(46) =< aux(184)
it(50) =< aux(184)
it(51) =< aux(184)
it(46) =< aux(70)
it(50) =< aux(70)
it(51) =< aux(70)
it(48) =< aux(181)
it(50) =< aux(181)
it(51) =< aux(181)
it(46) =< aux(183)
it(50) =< aux(183)
it(51) =< aux(183)

  with precondition: [A=0,F=3,G=4,H=1,I=0,J=3,K=4,L=2,S=2,T=1,A1=0,B1=1,E1=7,B=C,D=E,U=V,Y=C1,Z=D1,D+U=B+W,D+U=B+X,7>=Y,7>=Z,M>=1,N>=1,Y>=1,Z>=5,N>=B+1,U>=B+1,M>=D+1] 

* Chain [53,[45,46,47,48,49,50,51],55]: 2*it(45)+1*it(46)+2*it(48)+1*it(50)+1*it(51)+1
  Such that:aux(71) =< -B+V
aux(72) =< -B/2+V/2
it(50) =< -B/3+M/3+V/3-X/3
it(50) =< -B/3+N/3
aux(185) =< -B+M+V-X
aux(186) =< -B+N
aux(187) =< -B/2+M/2+V/2-X/2
aux(188) =< -B/2+N/2
it(48) =< aux(186)
it(50) =< aux(186)
it(51) =< aux(186)
it(48) =< aux(71)
it(50) =< aux(71)
it(51) =< aux(71)
it(46) =< aux(188)
it(50) =< aux(188)
it(51) =< aux(188)
it(46) =< aux(72)
it(50) =< aux(72)
it(51) =< aux(72)
it(48) =< aux(185)
it(50) =< aux(185)
it(51) =< aux(185)
it(46) =< aux(187)
it(50) =< aux(187)
it(51) =< aux(187)

  with precondition: [A=0,F=3,G=4,H=1,I=0,J=3,K=4,L=2,S=2,T=1,A1=0,B1=1,E1=7,B=C,D=E,U=V,Y=C1,Z=D1,D+U=B+W,D+U=B+X,7>=Y,3>=Z,M>=1,N>=1,Y>=1,Z>=1,N>=B+1,U>=B+1,M>=D+1] 

* Chain [53,[45,46,47,48,49,50,51],54]: 2*it(45)+1*it(46)+2*it(48)+1*it(50)+1*it(51)+1
  Such that:it(50) =< -B/3+N/3
it(50) =< -E/3+M/3
aux(189) =< -B+N
aux(190) =< -B/2+N/2
aux(191) =< -E+M
aux(192) =< -E/2+M/2
it(48) =< aux(189)
it(50) =< aux(189)
it(51) =< aux(189)
it(46) =< aux(190)
it(50) =< aux(190)
it(51) =< aux(190)
it(48) =< aux(191)
it(50) =< aux(191)
it(51) =< aux(191)
it(46) =< aux(192)
it(50) =< aux(192)
it(51) =< aux(192)

  with precondition: [A=0,F=3,G=4,H=1,I=0,J=3,K=4,L=2,S=3,B=C,D=E,M>=1,N>=1,N>=B+1,M>=D+1] 

* Chain [53,82]: 1
  with precondition: [A=0,F=3,G=4,H=1,I=0,J=3,K=4,L=2,S=2,T=0,Z=4,A1=1,B1=0,D1=4,E1=7,B=C,D=E,B+3=U,B+3=V,D+3=W,D+3=X,Y=C1,7>=Y,M>=1,N>=1,Y>=1,N>=B+1,M>=D+1,D+3>=M,B+3>=N] 

* Chain [53,81]: 1
  with precondition: [A=0,F=3,G=4,H=1,I=0,J=3,K=4,L=2,S=2,T=0,Z=4,A1=1,B1=0,D1=4,E1=7,B=C,D=E,B+2=U,B+2=V,D+2=W,D+2=X,Y=C1,7>=Y,M>=1,N>=1,Y>=1,N>=B+1,M>=D+1,D+2>=M,B+2>=N] 

* Chain [53,80]: 1
  with precondition: [A=0,F=3,G=4,H=1,I=0,J=3,K=4,L=2,S=2,T=0,Z=4,A1=1,B1=0,D1=4,E1=7,B=C,D=E,D+1=M,B+1=N,B+1=U,B+1=V,D+1=W,D+1=X,Y=C1,7>=Y,B>=0,D>=0,Y>=1] 

* Chain [53,79]: 1
  with precondition: [A=0,F=3,G=4,H=1,I=0,J=3,K=4,L=2,S=2,T=0,A1=0,B1=0,E1=7,B=C,D=E,D+1=M,B+1=N,B+1=U,B+1=V,D+1=W,D+1=X,Y=C1,Z=D1,7>=Y,7>=Z,B>=0,D>=0,Y>=1,Z>=5] 

* Chain [53,78]: 1
  with precondition: [A=0,F=3,G=4,H=1,I=0,J=3,K=4,L=2,S=2,T=0,A1=0,B1=0,E1=7,B=C,D=E,D+1=M,B+1=N,B+1=U,B+1=V,D+1=W,D+1=X,Y=C1,Z=D1,7>=Y,3>=Z,B>=0,D>=0,Y>=1,Z>=1] 

* Chain [53,77]: 1
  with precondition: [A=0,F=3,G=4,H=1,I=0,J=3,K=4,L=2,S=2,T=0,A1=0,B1=0,E1=7,B=C,D=E,B+2=U,B+2=V,D+2=W,D+2=X,Y=C1,Z=D1,7>=Y,7>=Z,M>=1,N>=1,Y>=1,Z>=5,N>=B+1,M>=D+1,D+2>=M,B+2>=N] 

* Chain [53,76]: 1
  with precondition: [A=0,F=3,G=4,H=1,I=0,J=3,K=4,L=2,S=2,T=0,A1=0,B1=0,E1=7,B=C,D=E,B+2=U,B+2=V,D+2=W,D+2=X,Y=C1,Z=D1,7>=Y,3>=Z,M>=1,N>=1,Y>=1,Z>=1,N>=B+1,M>=D+1,D+2>=M,B+2>=N] 

* Chain [53,73]: 1
  with precondition: [A=0,F=3,G=4,H=1,I=0,J=3,K=4,L=2,S=2,T=0,A1=1,B1=0,E1=7,B=C,D=E,D+1=M,B+1=N,B+1=U,B+1=V,D+1=W,D+1=X,Y=C1,Z=D1,7>=Y,7>=Z,B>=0,D>=0,Y>=1,Z>=5] 

* Chain [53,72]: 1
  with precondition: [A=0,F=3,G=4,H=1,I=0,J=3,K=4,L=2,S=2,T=0,A1=1,B1=0,E1=7,B=C,D=E,D+1=M,B+1=N,B+1=U,B+1=V,D+1=W,D+1=X,Y=C1,Z=D1,7>=Y,3>=Z,B>=0,D>=0,Y>=1,Z>=1] 

* Chain [53,71]: 1
  with precondition: [A=0,F=3,G=4,H=1,I=0,J=3,K=4,L=2,S=2,T=0,A1=1,B1=0,E1=7,B=C,D=E,B+2=U,B+2=V,D+2=W,D+2=X,Y=C1,Z=D1,7>=Y,7>=Z,M>=1,N>=1,Y>=1,Z>=5,N>=B+1,M>=D+1,D+2>=M,B+2>=N] 

* Chain [53,70]: 1
  with precondition: [A=0,F=3,G=4,H=1,I=0,J=3,K=4,L=2,S=2,T=0,A1=1,B1=0,E1=7,B=C,D=E,B+2=U,B+2=V,D+2=W,D+2=X,Y=C1,Z=D1,7>=Y,3>=Z,M>=1,N>=1,Y>=1,Z>=1,N>=B+1,M>=D+1,D+2>=M,B+2>=N] 

* Chain [53,69]: 1
  with precondition: [A=0,F=3,G=4,H=1,I=0,J=3,K=4,L=2,S=2,T=1,Z=4,A1=1,B1=1,D1=4,E1=7,B=C,D=E,B+3=U,B+3=V,D+3=W,D+3=X,Y=C1,7>=Y,M>=1,N>=1,Y>=1,N>=B+1,M>=D+1] 

* Chain [53,68]: 1
  with precondition: [A=0,F=3,G=4,H=1,I=0,J=3,K=4,L=2,S=2,T=1,Z=4,A1=1,B1=1,D1=4,E1=7,B=C,D=E,B+2=U,B+2=V,D+2=W,D+2=X,Y=C1,7>=Y,M>=1,N>=1,Y>=1,N>=B+1,M>=D+1] 

* Chain [53,67]: 1
  with precondition: [A=0,F=3,G=4,H=1,I=0,J=3,K=4,L=2,S=2,T=1,Z=4,A1=1,B1=1,D1=4,E1=7,B=C,D=E,B+1=U,B+1=V,D+1=W,D+1=X,Y=C1,7>=Y,M>=1,N>=1,Y>=1,N>=B+1,M>=D+1] 

* Chain [53,66]: 1
  with precondition: [A=0,F=3,G=4,H=1,I=0,J=3,K=4,L=2,S=2,T=1,A1=0,B1=1,E1=7,B=C,D=E,B+1=U,B+1=V,D+1=W,D+1=X,Y=C1,Z=D1,7>=Y,7>=Z,M>=1,N>=1,Y>=1,Z>=5,N>=B+1,M>=D+1] 

* Chain [53,65]: 1
  with precondition: [A=0,F=3,G=4,H=1,I=0,J=3,K=4,L=2,S=2,T=1,A1=0,B1=1,E1=7,B=C,D=E,B+1=U,B+1=V,D+1=W,D+1=X,Y=C1,Z=D1,7>=Y,3>=Z,M>=1,N>=1,Y>=1,Z>=1,N>=B+1,M>=D+1] 

* Chain [53,64]: 1
  with precondition: [A=0,F=3,G=4,H=1,I=0,J=3,K=4,L=2,S=2,T=1,A1=0,B1=1,E1=7,B=C,D=E,B+2=U,B+2=V,D+2=W,D+2=X,Y=C1,Z=D1,7>=Y,7>=Z,M>=1,N>=1,Y>=1,Z>=5,N>=B+1,M>=D+1] 

* Chain [53,63]: 1
  with precondition: [A=0,F=3,G=4,H=1,I=0,J=3,K=4,L=2,S=2,T=1,A1=0,B1=1,E1=7,B=C,D=E,B+2=U,B+2=V,D+2=W,D+2=X,Y=C1,Z=D1,7>=Y,3>=Z,M>=1,N>=1,Y>=1,Z>=1,N>=B+1,M>=D+1] 

* Chain [53,62]: 1
  with precondition: [A=0,F=3,G=4,H=1,I=0,J=3,K=4,L=2,S=2,T=1,A1=0,B1=1,E1=7,B=C,D=E,B=U,B=V,D=W,D=X,Y=C1,Z=D1,7>=Y,7>=Z,M>=1,N>=1,Y>=1,Z>=5,N>=B+1,M>=D+1] 

* Chain [53,61]: 1
  with precondition: [A=0,F=3,G=4,H=1,I=0,J=3,K=4,L=2,S=2,T=1,A1=0,B1=1,E1=7,B=C,D=E,B=U,B=V,D=W,D=X,Y=C1,Z=D1,7>=Y,3>=Z,M>=1,N>=1,Y>=1,Z>=1,N>=B+1,M>=D+1] 

* Chain [53,60]: 1
  with precondition: [A=0,F=3,G=4,H=1,I=0,J=3,K=4,L=2,S=2,T=1,A1=1,B1=1,E1=7,B=C,D=E,B+1=U,B+1=V,D+1=W,D+1=X,Y=C1,Z=D1,7>=Y,7>=Z,M>=1,N>=1,Y>=1,Z>=5,N>=B+1,M>=D+1] 

* Chain [53,59]: 1
  with precondition: [A=0,F=3,G=4,H=1,I=0,J=3,K=4,L=2,S=2,T=1,A1=1,B1=1,E1=7,B=C,D=E,B+1=U,B+1=V,D+1=W,D+1=X,Y=C1,Z=D1,7>=Y,3>=Z,M>=1,N>=1,Y>=1,Z>=1,N>=B+1,M>=D+1] 

* Chain [53,58]: 1
  with precondition: [A=0,F=3,G=4,H=1,I=0,J=3,K=4,L=2,S=2,T=1,A1=1,B1=1,E1=7,B=C,D=E,B+2=U,B+2=V,D+2=W,D+2=X,Y=C1,Z=D1,7>=Y,7>=Z,M>=1,N>=1,Y>=1,Z>=5,N>=B+1,M>=D+1] 

* Chain [53,57]: 1
  with precondition: [A=0,F=3,G=4,H=1,I=0,J=3,K=4,L=2,S=2,T=1,A1=1,B1=1,E1=7,B=C,D=E,B+2=U,B+2=V,D+2=W,D+2=X,Y=C1,Z=D1,7>=Y,3>=Z,M>=1,N>=1,Y>=1,Z>=1,N>=B+1,M>=D+1] 

* Chain [53,56]: 1
  with precondition: [A=0,F=3,G=4,H=1,I=0,J=3,K=4,L=2,S=2,T=1,A1=0,B1=1,E1=7,B=C,D=E,B=U,B=V,D=W,D=X,Y=C1,Z=D1,7>=Y,7>=Z,M>=1,N>=1,Y>=1,Z>=5,N>=B+1,M>=D+1] 

* Chain [53,55]: 1
  with precondition: [A=0,F=3,G=4,H=1,I=0,J=3,K=4,L=2,S=2,T=1,A1=0,B1=1,E1=7,B=C,D=E,B=U,B=V,D=W,D=X,Y=C1,Z=D1,7>=Y,3>=Z,M>=1,N>=1,Y>=1,Z>=1,N>=B+1,M>=D+1] 

* Chain [53,54]: 1
  with precondition: [A=0,F=3,G=4,H=1,I=0,J=3,K=4,L=2,S=3,B=C,D=E,M>=1,N>=1,N>=B+1,M>=D+1] 

* Chain [52,[45,46,47,48,49,50,51]]...: 2*it(45)+1*it(46)+2*it(48)+1*it(50)+1*it(51)+1
  Such that:it(50) =< -B/3+N/3
it(50) =< -C/3+N/3
it(50) =< -D/3+M/3
it(50) =< -E/3+M/3
aux(193) =< -B+N
aux(194) =< -B/2+N/2
aux(195) =< -C+N
aux(196) =< -C/2+N/2
aux(197) =< -D+M
aux(198) =< -D/2+M/2
aux(199) =< -E+M
aux(200) =< -E/2+M/2
aux(1) =< aux(193)
aux(3) =< aux(194)
aux(1) =< aux(195)
aux(3) =< aux(196)
aux(9) =< aux(197)
aux(11) =< aux(198)
aux(9) =< aux(199)
aux(11) =< aux(200)
it(48) =< aux(1)
it(50) =< aux(1)
it(51) =< aux(1)
it(46) =< aux(3)
it(50) =< aux(3)
it(51) =< aux(3)
it(48) =< aux(9)
it(50) =< aux(9)
it(51) =< aux(9)
it(46) =< aux(11)
it(50) =< aux(11)
it(51) =< aux(11)

  with precondition: [A=0,F=3,G=4,H=1,I=0,J=3,K=4,L=2,B=C,D=E,M>=1,N>=1] 

* Chain [52,[45,46,47,48,49,50,51],82]: 2*it(45)+1*it(46)+2*it(48)+1*it(50)+1*it(51)+1
  Such that:aux(17) =< -B+V
aux(18) =< -B/2+V/2
it(50) =< -B/3+V/3
it(50) =< -C/3+M/3+U/3-W/3
it(50) =< -C/3+N/3
it(50) =< -D/3+M/3
it(50) =< -D/3+N/3-U/3+X/3
aux(201) =< -C+M+U-W
aux(202) =< -C+N
aux(203) =< -C/2+M/2+U/2-W/2
aux(204) =< -C/2+N/2
aux(205) =< -D+M
aux(206) =< -D+N-U+X
aux(207) =< -D/2+M/2
aux(208) =< -D/2+N/2-U/2+X/2
aux(9) =< aux(201)
aux(1) =< aux(202)
aux(11) =< aux(203)
aux(3) =< aux(204)
aux(9) =< aux(205)
aux(1) =< aux(206)
aux(11) =< aux(207)
aux(3) =< aux(208)
it(48) =< aux(1)
it(50) =< aux(1)
it(51) =< aux(1)
it(48) =< aux(17)
it(50) =< aux(17)
it(51) =< aux(17)
it(46) =< aux(3)
it(50) =< aux(3)
it(51) =< aux(3)
it(46) =< aux(18)
it(50) =< aux(18)
it(51) =< aux(18)
it(48) =< aux(9)
it(50) =< aux(9)
it(51) =< aux(9)
it(46) =< aux(11)
it(50) =< aux(11)
it(51) =< aux(11)

  with precondition: [A=0,F=3,G=4,H=1,I=0,J=3,K=4,L=2,S=2,T=0,Z=4,A1=1,B1=0,D1=4,E1=7,B=C,D=E,U=V,Y=C1,D+U=B+W,D+U=B+X,7>=Y,M>=1,N>=1,Y>=1,U>=B+4,U>=N,D+U>=B+M] 

* Chain [52,[45,46,47,48,49,50,51],81]: 2*it(45)+1*it(46)+2*it(48)+1*it(50)+1*it(51)+1
  Such that:aux(19) =< -B+V
aux(20) =< -B/2+V/2
it(50) =< -B/3+V/3
it(50) =< -C/3+M/3+U/3-W/3
it(50) =< -C/3+N/3
it(50) =< -D/3+M/3
it(50) =< -D/3+N/3-U/3+X/3
aux(209) =< -C+M+U-W
aux(210) =< -C+N
aux(211) =< -C/2+M/2+U/2-W/2
aux(212) =< -C/2+N/2
aux(213) =< -D+M
aux(214) =< -D+N-U+X
aux(215) =< -D/2+M/2
aux(216) =< -D/2+N/2-U/2+X/2
aux(9) =< aux(209)
aux(1) =< aux(210)
aux(11) =< aux(211)
aux(3) =< aux(212)
aux(9) =< aux(213)
aux(1) =< aux(214)
aux(11) =< aux(215)
aux(3) =< aux(216)
it(48) =< aux(1)
it(50) =< aux(1)
it(51) =< aux(1)
it(48) =< aux(19)
it(50) =< aux(19)
it(51) =< aux(19)
it(46) =< aux(3)
it(50) =< aux(3)
it(51) =< aux(3)
it(46) =< aux(20)
it(50) =< aux(20)
it(51) =< aux(20)
it(48) =< aux(9)
it(50) =< aux(9)
it(51) =< aux(9)
it(46) =< aux(11)
it(50) =< aux(11)
it(51) =< aux(11)

  with precondition: [A=0,F=3,G=4,H=1,I=0,J=3,K=4,L=2,S=2,T=0,Z=4,A1=1,B1=0,D1=4,E1=7,B=C,D=E,U=V,Y=C1,D+U=B+W,D+U=B+X,7>=Y,M>=1,N>=1,Y>=1,U>=B+3,U>=N,D+U>=B+M] 

* Chain [52,[45,46,47,48,49,50,51],80]: 2*it(45)+1*it(46)+2*it(48)+1*it(50)+1*it(51)+1
  Such that:aux(21) =< -B+V
aux(22) =< -B/2+V/2
it(50) =< -B/3+V/3
it(50) =< -C/3+M/3+U/3-W/3
it(50) =< -C/3+N/3
it(50) =< -D/3+M/3
it(50) =< -D/3+N/3-U/3+X/3
aux(217) =< -C+M+U-W
aux(218) =< -C+N
aux(219) =< -C/2+M/2+U/2-W/2
aux(220) =< -C/2+N/2
aux(221) =< -D+M
aux(222) =< -D+N-U+X
aux(223) =< -D/2+M/2
aux(224) =< -D/2+N/2-U/2+X/2
aux(9) =< aux(217)
aux(1) =< aux(218)
aux(11) =< aux(219)
aux(3) =< aux(220)
aux(9) =< aux(221)
aux(1) =< aux(222)
aux(11) =< aux(223)
aux(3) =< aux(224)
it(48) =< aux(1)
it(50) =< aux(1)
it(51) =< aux(1)
it(48) =< aux(21)
it(50) =< aux(21)
it(51) =< aux(21)
it(46) =< aux(3)
it(50) =< aux(3)
it(51) =< aux(3)
it(46) =< aux(22)
it(50) =< aux(22)
it(51) =< aux(22)
it(48) =< aux(9)
it(50) =< aux(9)
it(51) =< aux(9)
it(46) =< aux(11)
it(50) =< aux(11)
it(51) =< aux(11)

  with precondition: [A=0,F=3,G=4,H=1,I=0,J=3,K=4,L=2,S=2,T=0,Z=4,A1=1,B1=0,D1=4,E1=7,B=C,D=E,U=V,Y=C1,D+U=B+W,D+U=B+X,7>=Y,M>=1,N>=1,Y>=1,U>=B+2,U>=N,D+U>=B+M] 

* Chain [52,[45,46,47,48,49,50,51],79]: 2*it(45)+1*it(46)+2*it(48)+1*it(50)+1*it(51)+1
  Such that:aux(23) =< -B+V
aux(24) =< -B/2+V/2
it(50) =< -B/3+V/3
it(50) =< -C/3+M/3+U/3-W/3
it(50) =< -C/3+N/3
it(50) =< -D/3+M/3
it(50) =< -D/3+N/3-U/3+X/3
aux(225) =< -C+M+U-W
aux(226) =< -C+N
aux(227) =< -C/2+M/2+U/2-W/2
aux(228) =< -C/2+N/2
aux(229) =< -D+M
aux(230) =< -D+N-U+X
aux(231) =< -D/2+M/2
aux(232) =< -D/2+N/2-U/2+X/2
aux(9) =< aux(225)
aux(1) =< aux(226)
aux(11) =< aux(227)
aux(3) =< aux(228)
aux(9) =< aux(229)
aux(1) =< aux(230)
aux(11) =< aux(231)
aux(3) =< aux(232)
it(48) =< aux(1)
it(50) =< aux(1)
it(51) =< aux(1)
it(48) =< aux(23)
it(50) =< aux(23)
it(51) =< aux(23)
it(46) =< aux(3)
it(50) =< aux(3)
it(51) =< aux(3)
it(46) =< aux(24)
it(50) =< aux(24)
it(51) =< aux(24)
it(48) =< aux(9)
it(50) =< aux(9)
it(51) =< aux(9)
it(46) =< aux(11)
it(50) =< aux(11)
it(51) =< aux(11)

  with precondition: [A=0,F=3,G=4,H=1,I=0,J=3,K=4,L=2,S=2,T=0,A1=0,B1=0,E1=7,B=C,D=E,U=V,Y=C1,Z=D1,D+U=B+W,D+U=B+X,7>=Y,7>=Z,M>=1,N>=1,Y>=1,Z>=5,U>=B+2,U>=N,D+U>=B+M] 

* Chain [52,[45,46,47,48,49,50,51],78]: 2*it(45)+1*it(46)+2*it(48)+1*it(50)+1*it(51)+1
  Such that:aux(25) =< -B+V
aux(26) =< -B/2+V/2
it(50) =< -B/3+V/3
it(50) =< -C/3+M/3+U/3-W/3
it(50) =< -C/3+N/3
it(50) =< -D/3+M/3
it(50) =< -D/3+N/3-U/3+X/3
aux(233) =< -C+M+U-W
aux(234) =< -C+N
aux(235) =< -C/2+M/2+U/2-W/2
aux(236) =< -C/2+N/2
aux(237) =< -D+M
aux(238) =< -D+N-U+X
aux(239) =< -D/2+M/2
aux(240) =< -D/2+N/2-U/2+X/2
aux(9) =< aux(233)
aux(1) =< aux(234)
aux(11) =< aux(235)
aux(3) =< aux(236)
aux(9) =< aux(237)
aux(1) =< aux(238)
aux(11) =< aux(239)
aux(3) =< aux(240)
it(48) =< aux(1)
it(50) =< aux(1)
it(51) =< aux(1)
it(48) =< aux(25)
it(50) =< aux(25)
it(51) =< aux(25)
it(46) =< aux(3)
it(50) =< aux(3)
it(51) =< aux(3)
it(46) =< aux(26)
it(50) =< aux(26)
it(51) =< aux(26)
it(48) =< aux(9)
it(50) =< aux(9)
it(51) =< aux(9)
it(46) =< aux(11)
it(50) =< aux(11)
it(51) =< aux(11)

  with precondition: [A=0,F=3,G=4,H=1,I=0,J=3,K=4,L=2,S=2,T=0,A1=0,B1=0,E1=7,B=C,D=E,U=V,Y=C1,Z=D1,D+U=B+W,D+U=B+X,7>=Y,3>=Z,M>=1,N>=1,Y>=1,Z>=1,U>=B+2,U>=N,D+U>=B+M] 

* Chain [52,[45,46,47,48,49,50,51],77]: 2*it(45)+1*it(46)+2*it(48)+1*it(50)+1*it(51)+1
  Such that:aux(27) =< -B+V
aux(28) =< -B/2+V/2
it(50) =< -B/3+V/3
it(50) =< -C/3+M/3+U/3-W/3
it(50) =< -C/3+N/3
it(50) =< -D/3+M/3
it(50) =< -D/3+N/3-U/3+X/3
aux(241) =< -C+M+U-W
aux(242) =< -C+N
aux(243) =< -C/2+M/2+U/2-W/2
aux(244) =< -C/2+N/2
aux(245) =< -D+M
aux(246) =< -D+N-U+X
aux(247) =< -D/2+M/2
aux(248) =< -D/2+N/2-U/2+X/2
aux(9) =< aux(241)
aux(1) =< aux(242)
aux(11) =< aux(243)
aux(3) =< aux(244)
aux(9) =< aux(245)
aux(1) =< aux(246)
aux(11) =< aux(247)
aux(3) =< aux(248)
it(48) =< aux(1)
it(50) =< aux(1)
it(51) =< aux(1)
it(48) =< aux(27)
it(50) =< aux(27)
it(51) =< aux(27)
it(46) =< aux(3)
it(50) =< aux(3)
it(51) =< aux(3)
it(46) =< aux(28)
it(50) =< aux(28)
it(51) =< aux(28)
it(48) =< aux(9)
it(50) =< aux(9)
it(51) =< aux(9)
it(46) =< aux(11)
it(50) =< aux(11)
it(51) =< aux(11)

  with precondition: [A=0,F=3,G=4,H=1,I=0,J=3,K=4,L=2,S=2,T=0,A1=0,B1=0,E1=7,B=C,D=E,U=V,Y=C1,Z=D1,D+U=B+W,D+U=B+X,7>=Y,7>=Z,M>=1,N>=1,Y>=1,Z>=5,U>=B+3,U>=N,D+U>=B+M] 

* Chain [52,[45,46,47,48,49,50,51],76]: 2*it(45)+1*it(46)+2*it(48)+1*it(50)+1*it(51)+1
  Such that:aux(29) =< -B+V
aux(30) =< -B/2+V/2
it(50) =< -B/3+V/3
it(50) =< -C/3+M/3+U/3-W/3
it(50) =< -C/3+N/3
it(50) =< -D/3+M/3
it(50) =< -D/3+N/3-U/3+X/3
aux(249) =< -C+M+U-W
aux(250) =< -C+N
aux(251) =< -C/2+M/2+U/2-W/2
aux(252) =< -C/2+N/2
aux(253) =< -D+M
aux(254) =< -D+N-U+X
aux(255) =< -D/2+M/2
aux(256) =< -D/2+N/2-U/2+X/2
aux(9) =< aux(249)
aux(1) =< aux(250)
aux(11) =< aux(251)
aux(3) =< aux(252)
aux(9) =< aux(253)
aux(1) =< aux(254)
aux(11) =< aux(255)
aux(3) =< aux(256)
it(48) =< aux(1)
it(50) =< aux(1)
it(51) =< aux(1)
it(48) =< aux(29)
it(50) =< aux(29)
it(51) =< aux(29)
it(46) =< aux(3)
it(50) =< aux(3)
it(51) =< aux(3)
it(46) =< aux(30)
it(50) =< aux(30)
it(51) =< aux(30)
it(48) =< aux(9)
it(50) =< aux(9)
it(51) =< aux(9)
it(46) =< aux(11)
it(50) =< aux(11)
it(51) =< aux(11)

  with precondition: [A=0,F=3,G=4,H=1,I=0,J=3,K=4,L=2,S=2,T=0,A1=0,B1=0,E1=7,B=C,D=E,U=V,Y=C1,Z=D1,D+U=B+W,D+U=B+X,7>=Y,3>=Z,M>=1,N>=1,Y>=1,Z>=1,U>=B+3,U>=N,D+U>=B+M] 

* Chain [52,[45,46,47,48,49,50,51],75]: 2*it(45)+1*it(46)+2*it(48)+1*it(50)+1*it(51)+1
  Such that:aux(31) =< -B+V
aux(32) =< -B/2+V/2
it(50) =< -B/3+V/3
it(50) =< -C/3+M/3+U/3-W/3
it(50) =< -C/3+N/3
it(50) =< -D/3+M/3
it(50) =< -D/3+N/3-U/3+X/3
aux(257) =< -C+M+U-W
aux(258) =< -C+N
aux(259) =< -C/2+M/2+U/2-W/2
aux(260) =< -C/2+N/2
aux(261) =< -D+M
aux(262) =< -D+N-U+X
aux(263) =< -D/2+M/2
aux(264) =< -D/2+N/2-U/2+X/2
aux(9) =< aux(257)
aux(1) =< aux(258)
aux(11) =< aux(259)
aux(3) =< aux(260)
aux(9) =< aux(261)
aux(1) =< aux(262)
aux(11) =< aux(263)
aux(3) =< aux(264)
it(48) =< aux(1)
it(50) =< aux(1)
it(51) =< aux(1)
it(48) =< aux(31)
it(50) =< aux(31)
it(51) =< aux(31)
it(46) =< aux(3)
it(50) =< aux(3)
it(51) =< aux(3)
it(46) =< aux(32)
it(50) =< aux(32)
it(51) =< aux(32)
it(48) =< aux(9)
it(50) =< aux(9)
it(51) =< aux(9)
it(46) =< aux(11)
it(50) =< aux(11)
it(51) =< aux(11)

  with precondition: [A=0,F=3,G=4,H=1,I=0,J=3,K=4,L=2,S=2,T=0,A1=0,B1=0,E1=7,B=C,D=E,U=V,Y=C1,Z=D1,D+U=B+W,D+U=B+X,7>=Y,7>=Z,M>=1,N>=1,Y>=1,Z>=5,U>=B+1,U>=N,D+U>=B+M] 

* Chain [52,[45,46,47,48,49,50,51],74]: 2*it(45)+1*it(46)+2*it(48)+1*it(50)+1*it(51)+1
  Such that:aux(33) =< -B+V
aux(34) =< -B/2+V/2
it(50) =< -B/3+V/3
it(50) =< -C/3+M/3+U/3-W/3
it(50) =< -C/3+N/3
it(50) =< -D/3+M/3
it(50) =< -D/3+N/3-U/3+X/3
aux(265) =< -C+M+U-W
aux(266) =< -C+N
aux(267) =< -C/2+M/2+U/2-W/2
aux(268) =< -C/2+N/2
aux(269) =< -D+M
aux(270) =< -D+N-U+X
aux(271) =< -D/2+M/2
aux(272) =< -D/2+N/2-U/2+X/2
aux(9) =< aux(265)
aux(1) =< aux(266)
aux(11) =< aux(267)
aux(3) =< aux(268)
aux(9) =< aux(269)
aux(1) =< aux(270)
aux(11) =< aux(271)
aux(3) =< aux(272)
it(48) =< aux(1)
it(50) =< aux(1)
it(51) =< aux(1)
it(48) =< aux(33)
it(50) =< aux(33)
it(51) =< aux(33)
it(46) =< aux(3)
it(50) =< aux(3)
it(51) =< aux(3)
it(46) =< aux(34)
it(50) =< aux(34)
it(51) =< aux(34)
it(48) =< aux(9)
it(50) =< aux(9)
it(51) =< aux(9)
it(46) =< aux(11)
it(50) =< aux(11)
it(51) =< aux(11)

  with precondition: [A=0,F=3,G=4,H=1,I=0,J=3,K=4,L=2,S=2,T=0,A1=0,B1=0,E1=7,B=C,D=E,U=V,Y=C1,Z=D1,D+U=B+W,D+U=B+X,7>=Y,3>=Z,M>=1,N>=1,Y>=1,Z>=1,U>=B+1,U>=N,D+U>=B+M] 

* Chain [52,[45,46,47,48,49,50,51],73]: 2*it(45)+1*it(46)+2*it(48)+1*it(50)+1*it(51)+1
  Such that:aux(35) =< -B+V
aux(36) =< -B/2+V/2
it(50) =< -B/3+V/3
it(50) =< -C/3+M/3+U/3-W/3
it(50) =< -C/3+N/3
it(50) =< -D/3+M/3
it(50) =< -D/3+N/3-U/3+X/3
aux(273) =< -C+M+U-W
aux(274) =< -C+N
aux(275) =< -C/2+M/2+U/2-W/2
aux(276) =< -C/2+N/2
aux(277) =< -D+M
aux(278) =< -D+N-U+X
aux(279) =< -D/2+M/2
aux(280) =< -D/2+N/2-U/2+X/2
aux(9) =< aux(273)
aux(1) =< aux(274)
aux(11) =< aux(275)
aux(3) =< aux(276)
aux(9) =< aux(277)
aux(1) =< aux(278)
aux(11) =< aux(279)
aux(3) =< aux(280)
it(48) =< aux(1)
it(50) =< aux(1)
it(51) =< aux(1)
it(48) =< aux(35)
it(50) =< aux(35)
it(51) =< aux(35)
it(46) =< aux(3)
it(50) =< aux(3)
it(51) =< aux(3)
it(46) =< aux(36)
it(50) =< aux(36)
it(51) =< aux(36)
it(48) =< aux(9)
it(50) =< aux(9)
it(51) =< aux(9)
it(46) =< aux(11)
it(50) =< aux(11)
it(51) =< aux(11)

  with precondition: [A=0,F=3,G=4,H=1,I=0,J=3,K=4,L=2,S=2,T=0,A1=1,B1=0,E1=7,B=C,D=E,U=V,Y=C1,Z=D1,D+U=B+W,D+U=B+X,7>=Y,7>=Z,M>=1,N>=1,Y>=1,Z>=5,U>=B+2,U>=N,D+U>=B+M] 

* Chain [52,[45,46,47,48,49,50,51],72]: 2*it(45)+1*it(46)+2*it(48)+1*it(50)+1*it(51)+1
  Such that:aux(37) =< -B+V
aux(38) =< -B/2+V/2
it(50) =< -B/3+V/3
it(50) =< -C/3+M/3+U/3-W/3
it(50) =< -C/3+N/3
it(50) =< -D/3+M/3
it(50) =< -D/3+N/3-U/3+X/3
aux(281) =< -C+M+U-W
aux(282) =< -C+N
aux(283) =< -C/2+M/2+U/2-W/2
aux(284) =< -C/2+N/2
aux(285) =< -D+M
aux(286) =< -D+N-U+X
aux(287) =< -D/2+M/2
aux(288) =< -D/2+N/2-U/2+X/2
aux(9) =< aux(281)
aux(1) =< aux(282)
aux(11) =< aux(283)
aux(3) =< aux(284)
aux(9) =< aux(285)
aux(1) =< aux(286)
aux(11) =< aux(287)
aux(3) =< aux(288)
it(48) =< aux(1)
it(50) =< aux(1)
it(51) =< aux(1)
it(48) =< aux(37)
it(50) =< aux(37)
it(51) =< aux(37)
it(46) =< aux(3)
it(50) =< aux(3)
it(51) =< aux(3)
it(46) =< aux(38)
it(50) =< aux(38)
it(51) =< aux(38)
it(48) =< aux(9)
it(50) =< aux(9)
it(51) =< aux(9)
it(46) =< aux(11)
it(50) =< aux(11)
it(51) =< aux(11)

  with precondition: [A=0,F=3,G=4,H=1,I=0,J=3,K=4,L=2,S=2,T=0,A1=1,B1=0,E1=7,B=C,D=E,U=V,Y=C1,Z=D1,D+U=B+W,D+U=B+X,7>=Y,3>=Z,M>=1,N>=1,Y>=1,Z>=1,U>=B+2,U>=N,D+U>=B+M] 

* Chain [52,[45,46,47,48,49,50,51],71]: 2*it(45)+1*it(46)+2*it(48)+1*it(50)+1*it(51)+1
  Such that:aux(39) =< -B+V
aux(40) =< -B/2+V/2
it(50) =< -B/3+V/3
it(50) =< -C/3+M/3+U/3-W/3
it(50) =< -C/3+N/3
it(50) =< -D/3+M/3
it(50) =< -D/3+N/3-U/3+X/3
aux(289) =< -C+M+U-W
aux(290) =< -C+N
aux(291) =< -C/2+M/2+U/2-W/2
aux(292) =< -C/2+N/2
aux(293) =< -D+M
aux(294) =< -D+N-U+X
aux(295) =< -D/2+M/2
aux(296) =< -D/2+N/2-U/2+X/2
aux(9) =< aux(289)
aux(1) =< aux(290)
aux(11) =< aux(291)
aux(3) =< aux(292)
aux(9) =< aux(293)
aux(1) =< aux(294)
aux(11) =< aux(295)
aux(3) =< aux(296)
it(48) =< aux(1)
it(50) =< aux(1)
it(51) =< aux(1)
it(48) =< aux(39)
it(50) =< aux(39)
it(51) =< aux(39)
it(46) =< aux(3)
it(50) =< aux(3)
it(51) =< aux(3)
it(46) =< aux(40)
it(50) =< aux(40)
it(51) =< aux(40)
it(48) =< aux(9)
it(50) =< aux(9)
it(51) =< aux(9)
it(46) =< aux(11)
it(50) =< aux(11)
it(51) =< aux(11)

  with precondition: [A=0,F=3,G=4,H=1,I=0,J=3,K=4,L=2,S=2,T=0,A1=1,B1=0,E1=7,B=C,D=E,U=V,Y=C1,Z=D1,D+U=B+W,D+U=B+X,7>=Y,7>=Z,M>=1,N>=1,Y>=1,Z>=5,U>=B+3,U>=N,D+U>=B+M] 

* Chain [52,[45,46,47,48,49,50,51],70]: 2*it(45)+1*it(46)+2*it(48)+1*it(50)+1*it(51)+1
  Such that:aux(41) =< -B+V
aux(42) =< -B/2+V/2
it(50) =< -B/3+V/3
it(50) =< -C/3+M/3+U/3-W/3
it(50) =< -C/3+N/3
it(50) =< -D/3+M/3
it(50) =< -D/3+N/3-U/3+X/3
aux(297) =< -C+M+U-W
aux(298) =< -C+N
aux(299) =< -C/2+M/2+U/2-W/2
aux(300) =< -C/2+N/2
aux(301) =< -D+M
aux(302) =< -D+N-U+X
aux(303) =< -D/2+M/2
aux(304) =< -D/2+N/2-U/2+X/2
aux(9) =< aux(297)
aux(1) =< aux(298)
aux(11) =< aux(299)
aux(3) =< aux(300)
aux(9) =< aux(301)
aux(1) =< aux(302)
aux(11) =< aux(303)
aux(3) =< aux(304)
it(48) =< aux(1)
it(50) =< aux(1)
it(51) =< aux(1)
it(48) =< aux(41)
it(50) =< aux(41)
it(51) =< aux(41)
it(46) =< aux(3)
it(50) =< aux(3)
it(51) =< aux(3)
it(46) =< aux(42)
it(50) =< aux(42)
it(51) =< aux(42)
it(48) =< aux(9)
it(50) =< aux(9)
it(51) =< aux(9)
it(46) =< aux(11)
it(50) =< aux(11)
it(51) =< aux(11)

  with precondition: [A=0,F=3,G=4,H=1,I=0,J=3,K=4,L=2,S=2,T=0,A1=1,B1=0,E1=7,B=C,D=E,U=V,Y=C1,Z=D1,D+U=B+W,D+U=B+X,7>=Y,3>=Z,M>=1,N>=1,Y>=1,Z>=1,U>=B+3,U>=N,D+U>=B+M] 

* Chain [52,[45,46,47,48,49,50,51],69]: 2*it(45)+1*it(46)+2*it(48)+1*it(50)+1*it(51)+1
  Such that:aux(43) =< -B+V
aux(44) =< -B/2+V/2
it(50) =< -B/3+M/3+V/3-W/3
it(50) =< -B/3+V/3
it(50) =< -C/3+N/3
aux(5) =< -D+N-U+X
aux(1) =< -D+N-V+X
aux(7) =< -D/2+N/2-U/2+X/2
aux(3) =< -D/2+N/2-V/2+X/2
it(50) =< -D/3+N/3-U/3+X/3
it(50) =< -D/3+N/3-V/3+X/3
it(50) =< -E/3+M/3
aux(305) =< -B+M+V-W
aux(306) =< -B/2+M/2+V/2-W/2
aux(307) =< -C+N
aux(308) =< -C/2+N/2
aux(309) =< -E+M
aux(310) =< -E/2+M/2
aux(9) =< aux(305)
aux(11) =< aux(306)
aux(1) =< aux(307)
aux(5) =< aux(307)
aux(3) =< aux(308)
aux(7) =< aux(308)
aux(9) =< aux(309)
aux(11) =< aux(310)
it(48) =< aux(1)
it(50) =< aux(1)
it(51) =< aux(1)
it(48) =< aux(43)
it(50) =< aux(43)
it(51) =< aux(43)
it(46) =< aux(3)
it(50) =< aux(3)
it(51) =< aux(3)
it(46) =< aux(44)
it(50) =< aux(44)
it(51) =< aux(44)
it(48) =< aux(5)
it(50) =< aux(5)
it(51) =< aux(5)
it(46) =< aux(7)
it(50) =< aux(7)
it(51) =< aux(7)
it(48) =< aux(9)
it(50) =< aux(9)
it(51) =< aux(9)
it(46) =< aux(11)
it(50) =< aux(11)
it(51) =< aux(11)

  with precondition: [A=0,F=3,G=4,H=1,I=0,J=3,K=4,L=2,S=2,T=1,Z=4,A1=1,B1=1,D1=4,E1=7,B=C,D=E,U=V,Y=C1,D+U=B+W,D+U=B+X,7>=Y,M>=1,N>=1,Y>=1,U>=B+4] 

* Chain [52,[45,46,47,48,49,50,51],68]: 2*it(45)+1*it(46)+2*it(48)+1*it(50)+1*it(51)+1
  Such that:aux(45) =< -B+V
aux(46) =< -B/2+V/2
it(50) =< -B/3+M/3+V/3-W/3
it(50) =< -B/3+V/3
it(50) =< -C/3+N/3
aux(5) =< -D+N-U+X
aux(1) =< -D+N-V+X
aux(7) =< -D/2+N/2-U/2+X/2
aux(3) =< -D/2+N/2-V/2+X/2
it(50) =< -D/3+N/3-U/3+X/3
it(50) =< -D/3+N/3-V/3+X/3
it(50) =< -E/3+M/3
aux(311) =< -B+M+V-W
aux(312) =< -B/2+M/2+V/2-W/2
aux(313) =< -C+N
aux(314) =< -C/2+N/2
aux(315) =< -E+M
aux(316) =< -E/2+M/2
aux(9) =< aux(311)
aux(11) =< aux(312)
aux(1) =< aux(313)
aux(5) =< aux(313)
aux(3) =< aux(314)
aux(7) =< aux(314)
aux(9) =< aux(315)
aux(11) =< aux(316)
it(48) =< aux(1)
it(50) =< aux(1)
it(51) =< aux(1)
it(48) =< aux(45)
it(50) =< aux(45)
it(51) =< aux(45)
it(46) =< aux(3)
it(50) =< aux(3)
it(51) =< aux(3)
it(46) =< aux(46)
it(50) =< aux(46)
it(51) =< aux(46)
it(48) =< aux(5)
it(50) =< aux(5)
it(51) =< aux(5)
it(46) =< aux(7)
it(50) =< aux(7)
it(51) =< aux(7)
it(48) =< aux(9)
it(50) =< aux(9)
it(51) =< aux(9)
it(46) =< aux(11)
it(50) =< aux(11)
it(51) =< aux(11)

  with precondition: [A=0,F=3,G=4,H=1,I=0,J=3,K=4,L=2,S=2,T=1,Z=4,A1=1,B1=1,D1=4,E1=7,B=C,D=E,U=V,Y=C1,D+U=B+W,D+U=B+X,7>=Y,M>=1,N>=1,Y>=1,U>=B+3] 

* Chain [52,[45,46,47,48,49,50,51],67]: 2*it(45)+1*it(46)+2*it(48)+1*it(50)+1*it(51)+1
  Such that:aux(47) =< -B+V
aux(48) =< -B/2+V/2
it(50) =< -B/3+M/3+V/3-X/3
it(50) =< -B/3+V/3
it(50) =< -C/3+N/3
aux(5) =< -D+N-U+X
aux(1) =< -D+N-V+X
aux(7) =< -D/2+N/2-U/2+X/2
aux(3) =< -D/2+N/2-V/2+X/2
it(50) =< -D/3+N/3-V/3+X/3
it(50) =< -E/3+M/3
aux(317) =< -B+M+V-W
aux(318) =< -B/2+M/2+V/2-W/2
aux(319) =< -C+N
aux(320) =< -C/2+N/2
aux(321) =< -E+M
aux(322) =< -E/2+M/2
aux(9) =< aux(317)
aux(11) =< aux(318)
aux(1) =< aux(319)
aux(5) =< aux(319)
aux(3) =< aux(320)
aux(7) =< aux(320)
aux(9) =< aux(321)
aux(11) =< aux(322)
it(48) =< aux(1)
it(50) =< aux(1)
it(51) =< aux(1)
it(48) =< aux(47)
it(50) =< aux(47)
it(51) =< aux(47)
it(46) =< aux(3)
it(50) =< aux(3)
it(51) =< aux(3)
it(46) =< aux(48)
it(50) =< aux(48)
it(51) =< aux(48)
it(48) =< aux(5)
it(50) =< aux(5)
it(51) =< aux(5)
it(46) =< aux(7)
it(50) =< aux(7)
it(51) =< aux(7)
it(48) =< aux(9)
it(50) =< aux(9)
it(51) =< aux(9)
it(46) =< aux(11)
it(50) =< aux(11)
it(51) =< aux(11)

  with precondition: [A=0,F=3,G=4,H=1,I=0,J=3,K=4,L=2,S=2,T=1,Z=4,A1=1,B1=1,D1=4,E1=7,B=C,D=E,U=V,Y=C1,D+U=B+W,D+U=B+X,7>=Y,M>=1,N>=1,Y>=1,U>=B+2] 

* Chain [52,[45,46,47,48,49,50,51],66]: 2*it(45)+1*it(46)+2*it(48)+1*it(50)+1*it(51)+1
  Such that:aux(49) =< -B+V
aux(50) =< -B/2+V/2
it(50) =< -B/3+M/3+V/3-X/3
it(50) =< -B/3+V/3
it(50) =< -C/3+N/3
it(50) =< -D/3+N/3-V/3+X/3
it(50) =< -E/3+M/3
aux(323) =< -B+M+V-W
aux(324) =< -B/2+M/2+V/2-W/2
aux(325) =< -C+N
aux(326) =< -C/2+N/2
aux(327) =< -D+N-U+X
aux(328) =< -D/2+N/2-U/2+X/2
aux(329) =< -E+M
aux(330) =< -E/2+M/2
aux(9) =< aux(323)
aux(11) =< aux(324)
aux(1) =< aux(325)
aux(3) =< aux(326)
aux(1) =< aux(327)
aux(3) =< aux(328)
aux(9) =< aux(329)
aux(11) =< aux(330)
it(48) =< aux(1)
it(50) =< aux(1)
it(51) =< aux(1)
it(48) =< aux(49)
it(50) =< aux(49)
it(51) =< aux(49)
it(46) =< aux(3)
it(50) =< aux(3)
it(51) =< aux(3)
it(46) =< aux(50)
it(50) =< aux(50)
it(51) =< aux(50)
it(48) =< aux(9)
it(50) =< aux(9)
it(51) =< aux(9)
it(46) =< aux(11)
it(50) =< aux(11)
it(51) =< aux(11)

  with precondition: [A=0,F=3,G=4,H=1,I=0,J=3,K=4,L=2,S=2,T=1,A1=0,B1=1,E1=7,B=C,D=E,U=V,Y=C1,Z=D1,D+U=B+W,D+U=B+X,7>=Y,7>=Z,M>=1,N>=1,Y>=1,Z>=5,U>=B+2] 

* Chain [52,[45,46,47,48,49,50,51],65]: 2*it(45)+1*it(46)+2*it(48)+1*it(50)+1*it(51)+1
  Such that:aux(51) =< -B+V
aux(52) =< -B/2+V/2
it(50) =< -B/3+M/3+V/3-X/3
it(50) =< -B/3+V/3
it(50) =< -C/3+N/3
it(50) =< -D/3+N/3-V/3+X/3
it(50) =< -E/3+M/3
aux(331) =< -B+M+V-W
aux(332) =< -B/2+M/2+V/2-W/2
aux(333) =< -C+N
aux(334) =< -C/2+N/2
aux(335) =< -D+N-U+X
aux(336) =< -D/2+N/2-U/2+X/2
aux(337) =< -E+M
aux(338) =< -E/2+M/2
aux(9) =< aux(331)
aux(11) =< aux(332)
aux(1) =< aux(333)
aux(3) =< aux(334)
aux(1) =< aux(335)
aux(3) =< aux(336)
aux(9) =< aux(337)
aux(11) =< aux(338)
it(48) =< aux(1)
it(50) =< aux(1)
it(51) =< aux(1)
it(48) =< aux(51)
it(50) =< aux(51)
it(51) =< aux(51)
it(46) =< aux(3)
it(50) =< aux(3)
it(51) =< aux(3)
it(46) =< aux(52)
it(50) =< aux(52)
it(51) =< aux(52)
it(48) =< aux(9)
it(50) =< aux(9)
it(51) =< aux(9)
it(46) =< aux(11)
it(50) =< aux(11)
it(51) =< aux(11)

  with precondition: [A=0,F=3,G=4,H=1,I=0,J=3,K=4,L=2,S=2,T=1,A1=0,B1=1,E1=7,B=C,D=E,U=V,Y=C1,Z=D1,D+U=B+W,D+U=B+X,7>=Y,3>=Z,M>=1,N>=1,Y>=1,Z>=1,U>=B+2] 

* Chain [52,[45,46,47,48,49,50,51],64]: 2*it(45)+1*it(46)+2*it(48)+1*it(50)+1*it(51)+1
  Such that:aux(53) =< -B+V
aux(54) =< -B/2+V/2
it(50) =< -B/3+M/3+V/3-W/3
it(50) =< -B/3+V/3
it(50) =< -C/3+N/3
it(50) =< -D/3+N/3-U/3+X/3
it(50) =< -E/3+M/3
aux(339) =< -B+M+V-W
aux(340) =< -B/2+M/2+V/2-W/2
aux(341) =< -C+N
aux(342) =< -C/2+N/2
aux(343) =< -D+N-U+X
aux(344) =< -D/2+N/2-U/2+X/2
aux(345) =< -E+M
aux(346) =< -E/2+M/2
aux(9) =< aux(339)
aux(11) =< aux(340)
aux(1) =< aux(341)
aux(3) =< aux(342)
aux(1) =< aux(343)
aux(3) =< aux(344)
aux(9) =< aux(345)
aux(11) =< aux(346)
it(48) =< aux(1)
it(50) =< aux(1)
it(51) =< aux(1)
it(48) =< aux(53)
it(50) =< aux(53)
it(51) =< aux(53)
it(46) =< aux(3)
it(50) =< aux(3)
it(51) =< aux(3)
it(46) =< aux(54)
it(50) =< aux(54)
it(51) =< aux(54)
it(48) =< aux(9)
it(50) =< aux(9)
it(51) =< aux(9)
it(46) =< aux(11)
it(50) =< aux(11)
it(51) =< aux(11)

  with precondition: [A=0,F=3,G=4,H=1,I=0,J=3,K=4,L=2,S=2,T=1,A1=0,B1=1,E1=7,B=C,D=E,U=V,Y=C1,Z=D1,D+U=B+W,D+U=B+X,7>=Y,7>=Z,M>=1,N>=1,Y>=1,Z>=5,U>=B+3] 

* Chain [52,[45,46,47,48,49,50,51],63]: 2*it(45)+1*it(46)+2*it(48)+1*it(50)+1*it(51)+1
  Such that:aux(55) =< -B+V
aux(56) =< -B/2+V/2
it(50) =< -B/3+M/3+V/3-W/3
it(50) =< -B/3+V/3
it(50) =< -C/3+N/3
it(50) =< -D/3+N/3-U/3+X/3
it(50) =< -E/3+M/3
aux(347) =< -B+M+V-W
aux(348) =< -B/2+M/2+V/2-W/2
aux(349) =< -C+N
aux(350) =< -C/2+N/2
aux(351) =< -D+N-U+X
aux(352) =< -D/2+N/2-U/2+X/2
aux(353) =< -E+M
aux(354) =< -E/2+M/2
aux(9) =< aux(347)
aux(11) =< aux(348)
aux(1) =< aux(349)
aux(3) =< aux(350)
aux(1) =< aux(351)
aux(3) =< aux(352)
aux(9) =< aux(353)
aux(11) =< aux(354)
it(48) =< aux(1)
it(50) =< aux(1)
it(51) =< aux(1)
it(48) =< aux(55)
it(50) =< aux(55)
it(51) =< aux(55)
it(46) =< aux(3)
it(50) =< aux(3)
it(51) =< aux(3)
it(46) =< aux(56)
it(50) =< aux(56)
it(51) =< aux(56)
it(48) =< aux(9)
it(50) =< aux(9)
it(51) =< aux(9)
it(46) =< aux(11)
it(50) =< aux(11)
it(51) =< aux(11)

  with precondition: [A=0,F=3,G=4,H=1,I=0,J=3,K=4,L=2,S=2,T=1,A1=0,B1=1,E1=7,B=C,D=E,U=V,Y=C1,Z=D1,D+U=B+W,D+U=B+X,7>=Y,3>=Z,M>=1,N>=1,Y>=1,Z>=1,U>=B+3] 

* Chain [52,[45,46,47,48,49,50,51],62]: 2*it(45)+1*it(46)+2*it(48)+1*it(50)+1*it(51)+1
  Such that:aux(57) =< -B+V
aux(58) =< -B/2+V/2
it(50) =< -B/3+M/3+V/3-W/3
it(50) =< -B/3+V/3
it(50) =< -C/3+N/3
it(50) =< -D/3+N/3-U/3+X/3
it(50) =< -E/3+M/3
aux(355) =< -B+M+V-W
aux(356) =< -B/2+M/2+V/2-X/2
aux(357) =< -C+N
aux(358) =< -C/2+N/2
aux(359) =< -D+N-U+X
aux(360) =< -D/2+N/2-V/2+X/2
aux(361) =< -E+M
aux(362) =< -E/2+M/2
aux(9) =< aux(355)
aux(11) =< aux(356)
aux(1) =< aux(357)
aux(3) =< aux(358)
aux(1) =< aux(359)
aux(3) =< aux(360)
aux(9) =< aux(361)
aux(11) =< aux(362)
it(48) =< aux(1)
it(50) =< aux(1)
it(51) =< aux(1)
it(48) =< aux(57)
it(50) =< aux(57)
it(51) =< aux(57)
it(46) =< aux(3)
it(50) =< aux(3)
it(51) =< aux(3)
it(46) =< aux(58)
it(50) =< aux(58)
it(51) =< aux(58)
it(48) =< aux(9)
it(50) =< aux(9)
it(51) =< aux(9)
it(46) =< aux(11)
it(50) =< aux(11)
it(51) =< aux(11)

  with precondition: [A=0,F=3,G=4,H=1,I=0,J=3,K=4,L=2,S=2,T=1,A1=0,B1=1,E1=7,B=C,D=E,U=V,Y=C1,Z=D1,D+U=B+W,D+U=B+X,7>=Y,7>=Z,M>=1,N>=1,Y>=1,Z>=5,U>=B+1] 

* Chain [52,[45,46,47,48,49,50,51],61]: 2*it(45)+1*it(46)+2*it(48)+1*it(50)+1*it(51)+1
  Such that:aux(59) =< -B+V
aux(60) =< -B/2+V/2
it(50) =< -B/3+M/3+V/3-W/3
it(50) =< -B/3+V/3
it(50) =< -C/3+N/3
it(50) =< -D/3+N/3-U/3+X/3
it(50) =< -E/3+M/3
aux(363) =< -B+M+V-W
aux(364) =< -B/2+M/2+V/2-X/2
aux(365) =< -C+N
aux(366) =< -C/2+N/2
aux(367) =< -D+N-U+X
aux(368) =< -D/2+N/2-V/2+X/2
aux(369) =< -E+M
aux(370) =< -E/2+M/2
aux(9) =< aux(363)
aux(11) =< aux(364)
aux(1) =< aux(365)
aux(3) =< aux(366)
aux(1) =< aux(367)
aux(3) =< aux(368)
aux(9) =< aux(369)
aux(11) =< aux(370)
it(48) =< aux(1)
it(50) =< aux(1)
it(51) =< aux(1)
it(48) =< aux(59)
it(50) =< aux(59)
it(51) =< aux(59)
it(46) =< aux(3)
it(50) =< aux(3)
it(51) =< aux(3)
it(46) =< aux(60)
it(50) =< aux(60)
it(51) =< aux(60)
it(48) =< aux(9)
it(50) =< aux(9)
it(51) =< aux(9)
it(46) =< aux(11)
it(50) =< aux(11)
it(51) =< aux(11)

  with precondition: [A=0,F=3,G=4,H=1,I=0,J=3,K=4,L=2,S=2,T=1,A1=0,B1=1,E1=7,B=C,D=E,U=V,Y=C1,Z=D1,D+U=B+W,D+U=B+X,7>=Y,3>=Z,M>=1,N>=1,Y>=1,Z>=1,U>=B+1] 

* Chain [52,[45,46,47,48,49,50,51],60]: 2*it(45)+1*it(46)+2*it(48)+1*it(50)+1*it(51)+1
  Such that:aux(61) =< -B+V
aux(62) =< -B/2+V/2
it(50) =< -B/3+M/3+V/3-X/3
it(50) =< -B/3+V/3
it(50) =< -C/3+N/3
it(50) =< -D/3+N/3-V/3+X/3
it(50) =< -E/3+M/3
aux(371) =< -B+M+V-W
aux(372) =< -B/2+M/2+V/2-W/2
aux(373) =< -C+N
aux(374) =< -C/2+N/2
aux(375) =< -D+N-U+X
aux(376) =< -D/2+N/2-U/2+X/2
aux(377) =< -E+M
aux(378) =< -E/2+M/2
aux(9) =< aux(371)
aux(11) =< aux(372)
aux(1) =< aux(373)
aux(3) =< aux(374)
aux(1) =< aux(375)
aux(3) =< aux(376)
aux(9) =< aux(377)
aux(11) =< aux(378)
it(48) =< aux(1)
it(50) =< aux(1)
it(51) =< aux(1)
it(48) =< aux(61)
it(50) =< aux(61)
it(51) =< aux(61)
it(46) =< aux(3)
it(50) =< aux(3)
it(51) =< aux(3)
it(46) =< aux(62)
it(50) =< aux(62)
it(51) =< aux(62)
it(48) =< aux(9)
it(50) =< aux(9)
it(51) =< aux(9)
it(46) =< aux(11)
it(50) =< aux(11)
it(51) =< aux(11)

  with precondition: [A=0,F=3,G=4,H=1,I=0,J=3,K=4,L=2,S=2,T=1,A1=1,B1=1,E1=7,B=C,D=E,U=V,Y=C1,Z=D1,D+U=B+W,D+U=B+X,7>=Y,7>=Z,M>=1,N>=1,Y>=1,Z>=5,U>=B+2] 

* Chain [52,[45,46,47,48,49,50,51],59]: 2*it(45)+1*it(46)+2*it(48)+1*it(50)+1*it(51)+1
  Such that:aux(63) =< -B+V
aux(64) =< -B/2+V/2
it(50) =< -B/3+M/3+V/3-X/3
it(50) =< -B/3+V/3
it(50) =< -C/3+N/3
it(50) =< -D/3+N/3-V/3+X/3
it(50) =< -E/3+M/3
aux(379) =< -B+M+V-W
aux(380) =< -B/2+M/2+V/2-W/2
aux(381) =< -C+N
aux(382) =< -C/2+N/2
aux(383) =< -D+N-U+X
aux(384) =< -D/2+N/2-U/2+X/2
aux(385) =< -E+M
aux(386) =< -E/2+M/2
aux(9) =< aux(379)
aux(11) =< aux(380)
aux(1) =< aux(381)
aux(3) =< aux(382)
aux(1) =< aux(383)
aux(3) =< aux(384)
aux(9) =< aux(385)
aux(11) =< aux(386)
it(48) =< aux(1)
it(50) =< aux(1)
it(51) =< aux(1)
it(48) =< aux(63)
it(50) =< aux(63)
it(51) =< aux(63)
it(46) =< aux(3)
it(50) =< aux(3)
it(51) =< aux(3)
it(46) =< aux(64)
it(50) =< aux(64)
it(51) =< aux(64)
it(48) =< aux(9)
it(50) =< aux(9)
it(51) =< aux(9)
it(46) =< aux(11)
it(50) =< aux(11)
it(51) =< aux(11)

  with precondition: [A=0,F=3,G=4,H=1,I=0,J=3,K=4,L=2,S=2,T=1,A1=1,B1=1,E1=7,B=C,D=E,U=V,Y=C1,Z=D1,D+U=B+W,D+U=B+X,7>=Y,3>=Z,M>=1,N>=1,Y>=1,Z>=1,U>=B+2] 

* Chain [52,[45,46,47,48,49,50,51],58]: 2*it(45)+1*it(46)+2*it(48)+1*it(50)+1*it(51)+1
  Such that:aux(65) =< -B+V
aux(66) =< -B/2+V/2
it(50) =< -B/3+M/3+V/3-W/3
it(50) =< -B/3+V/3
it(50) =< -C/3+N/3
it(50) =< -D/3+N/3-U/3+X/3
it(50) =< -E/3+M/3
aux(387) =< -B+M+V-W
aux(388) =< -B/2+M/2+V/2-W/2
aux(389) =< -C+N
aux(390) =< -C/2+N/2
aux(391) =< -D+N-U+X
aux(392) =< -D/2+N/2-U/2+X/2
aux(393) =< -E+M
aux(394) =< -E/2+M/2
aux(9) =< aux(387)
aux(11) =< aux(388)
aux(1) =< aux(389)
aux(3) =< aux(390)
aux(1) =< aux(391)
aux(3) =< aux(392)
aux(9) =< aux(393)
aux(11) =< aux(394)
it(48) =< aux(1)
it(50) =< aux(1)
it(51) =< aux(1)
it(48) =< aux(65)
it(50) =< aux(65)
it(51) =< aux(65)
it(46) =< aux(3)
it(50) =< aux(3)
it(51) =< aux(3)
it(46) =< aux(66)
it(50) =< aux(66)
it(51) =< aux(66)
it(48) =< aux(9)
it(50) =< aux(9)
it(51) =< aux(9)
it(46) =< aux(11)
it(50) =< aux(11)
it(51) =< aux(11)

  with precondition: [A=0,F=3,G=4,H=1,I=0,J=3,K=4,L=2,S=2,T=1,A1=1,B1=1,E1=7,B=C,D=E,U=V,Y=C1,Z=D1,D+U=B+W,D+U=B+X,7>=Y,7>=Z,M>=1,N>=1,Y>=1,Z>=5,U>=B+3] 

* Chain [52,[45,46,47,48,49,50,51],57]: 2*it(45)+1*it(46)+2*it(48)+1*it(50)+1*it(51)+1
  Such that:aux(67) =< -B+V
aux(68) =< -B/2+V/2
it(50) =< -B/3+M/3+V/3-W/3
it(50) =< -B/3+V/3
it(50) =< -C/3+N/3
it(50) =< -D/3+N/3-U/3+X/3
it(50) =< -E/3+M/3
aux(395) =< -B+M+V-W
aux(396) =< -B/2+M/2+V/2-W/2
aux(397) =< -C+N
aux(398) =< -C/2+N/2
aux(399) =< -D+N-U+X
aux(400) =< -D/2+N/2-U/2+X/2
aux(401) =< -E+M
aux(402) =< -E/2+M/2
aux(9) =< aux(395)
aux(11) =< aux(396)
aux(1) =< aux(397)
aux(3) =< aux(398)
aux(1) =< aux(399)
aux(3) =< aux(400)
aux(9) =< aux(401)
aux(11) =< aux(402)
it(48) =< aux(1)
it(50) =< aux(1)
it(51) =< aux(1)
it(48) =< aux(67)
it(50) =< aux(67)
it(51) =< aux(67)
it(46) =< aux(3)
it(50) =< aux(3)
it(51) =< aux(3)
it(46) =< aux(68)
it(50) =< aux(68)
it(51) =< aux(68)
it(48) =< aux(9)
it(50) =< aux(9)
it(51) =< aux(9)
it(46) =< aux(11)
it(50) =< aux(11)
it(51) =< aux(11)

  with precondition: [A=0,F=3,G=4,H=1,I=0,J=3,K=4,L=2,S=2,T=1,A1=1,B1=1,E1=7,B=C,D=E,U=V,Y=C1,Z=D1,D+U=B+W,D+U=B+X,7>=Y,3>=Z,M>=1,N>=1,Y>=1,Z>=1,U>=B+3] 

* Chain [52,[45,46,47,48,49,50,51],56]: 2*it(45)+1*it(46)+2*it(48)+1*it(50)+1*it(51)+1
  Such that:aux(69) =< -B+V
aux(70) =< -B/2+V/2
it(50) =< -B/3+M/3+V/3-W/3
it(50) =< -B/3+V/3
it(50) =< -C/3+N/3
it(50) =< -D/3+N/3-U/3+X/3
it(50) =< -E/3+M/3
aux(403) =< -B+M+V-W
aux(404) =< -B/2+M/2+V/2-X/2
aux(405) =< -C+N
aux(406) =< -C/2+N/2
aux(407) =< -D+N-U+X
aux(408) =< -D/2+N/2-V/2+X/2
aux(409) =< -E+M
aux(410) =< -E/2+M/2
aux(9) =< aux(403)
aux(11) =< aux(404)
aux(1) =< aux(405)
aux(3) =< aux(406)
aux(1) =< aux(407)
aux(3) =< aux(408)
aux(9) =< aux(409)
aux(11) =< aux(410)
it(48) =< aux(1)
it(50) =< aux(1)
it(51) =< aux(1)
it(48) =< aux(69)
it(50) =< aux(69)
it(51) =< aux(69)
it(46) =< aux(3)
it(50) =< aux(3)
it(51) =< aux(3)
it(46) =< aux(70)
it(50) =< aux(70)
it(51) =< aux(70)
it(48) =< aux(9)
it(50) =< aux(9)
it(51) =< aux(9)
it(46) =< aux(11)
it(50) =< aux(11)
it(51) =< aux(11)

  with precondition: [A=0,F=3,G=4,H=1,I=0,J=3,K=4,L=2,S=2,T=1,A1=0,B1=1,E1=7,B=C,D=E,U=V,Y=C1,Z=D1,D+U=B+W,D+U=B+X,7>=Y,7>=Z,M>=1,N>=1,Y>=1,Z>=5,U>=B+1] 

* Chain [52,[45,46,47,48,49,50,51],55]: 2*it(45)+1*it(46)+2*it(48)+1*it(50)+1*it(51)+1
  Such that:aux(71) =< -B+V
aux(72) =< -B/2+V/2
it(50) =< -B/3+M/3+V/3-W/3
it(50) =< -B/3+V/3
it(50) =< -C/3+N/3
it(50) =< -D/3+N/3-U/3+X/3
it(50) =< -E/3+M/3
aux(411) =< -B+M+V-W
aux(412) =< -B/2+M/2+V/2-X/2
aux(413) =< -C+N
aux(414) =< -C/2+N/2
aux(415) =< -D+N-U+X
aux(416) =< -D/2+N/2-V/2+X/2
aux(417) =< -E+M
aux(418) =< -E/2+M/2
aux(9) =< aux(411)
aux(11) =< aux(412)
aux(1) =< aux(413)
aux(3) =< aux(414)
aux(1) =< aux(415)
aux(3) =< aux(416)
aux(9) =< aux(417)
aux(11) =< aux(418)
it(48) =< aux(1)
it(50) =< aux(1)
it(51) =< aux(1)
it(48) =< aux(71)
it(50) =< aux(71)
it(51) =< aux(71)
it(46) =< aux(3)
it(50) =< aux(3)
it(51) =< aux(3)
it(46) =< aux(72)
it(50) =< aux(72)
it(51) =< aux(72)
it(48) =< aux(9)
it(50) =< aux(9)
it(51) =< aux(9)
it(46) =< aux(11)
it(50) =< aux(11)
it(51) =< aux(11)

  with precondition: [A=0,F=3,G=4,H=1,I=0,J=3,K=4,L=2,S=2,T=1,A1=0,B1=1,E1=7,B=C,D=E,U=V,Y=C1,Z=D1,D+U=B+W,D+U=B+X,7>=Y,3>=Z,M>=1,N>=1,Y>=1,Z>=1,U>=B+1] 

* Chain [52,[45,46,47,48,49,50,51],54]: 2*it(45)+1*it(46)+2*it(48)+1*it(50)+1*it(51)+1
  Such that:it(50) =< -B/3+N/3
it(50) =< -C/3+N/3
it(50) =< -D/3+M/3
it(50) =< -E/3+M/3
aux(419) =< -B+N
aux(420) =< -B/2+N/2
aux(421) =< -C+N
aux(422) =< -C/2+N/2
aux(423) =< -D+M
aux(424) =< -D/2+M/2
aux(425) =< -E+M
aux(426) =< -E/2+M/2
aux(1) =< aux(419)
aux(3) =< aux(420)
aux(1) =< aux(421)
aux(3) =< aux(422)
aux(9) =< aux(423)
aux(11) =< aux(424)
aux(9) =< aux(425)
aux(11) =< aux(426)
it(48) =< aux(1)
it(50) =< aux(1)
it(51) =< aux(1)
it(46) =< aux(3)
it(50) =< aux(3)
it(51) =< aux(3)
it(48) =< aux(9)
it(50) =< aux(9)
it(51) =< aux(9)
it(46) =< aux(11)
it(50) =< aux(11)
it(51) =< aux(11)

  with precondition: [A=0,F=3,G=4,H=1,I=0,J=3,K=4,L=2,S=3,B=C,D=E,M>=1,N>=1] 

* Chain [52,82]: 1
  with precondition: [A=0,F=3,G=4,H=1,I=0,J=3,K=4,L=2,S=2,T=0,Z=4,A1=1,B1=0,D1=4,E1=7,B=C,D=E,B+3=U,B+3=V,D+3=W,D+3=X,Y=C1,7>=Y,M>=1,N>=1,Y>=1,D+3>=M,B+3>=N] 

* Chain [52,81]: 1
  with precondition: [A=0,F=3,G=4,H=1,I=0,J=3,K=4,L=2,S=2,T=0,Z=4,A1=1,B1=0,D1=4,E1=7,B=C,D=E,B+2=U,B+2=V,D+2=W,D+2=X,Y=C1,7>=Y,M>=1,N>=1,Y>=1,D+2>=M,B+2>=N] 

* Chain [52,80]: 1
  with precondition: [A=0,F=3,G=4,H=1,I=0,J=3,K=4,L=2,S=2,T=0,Z=4,A1=1,B1=0,D1=4,E1=7,B=C,D=E,B+1=U,B+1=V,D+1=W,D+1=X,Y=C1,7>=Y,M>=1,N>=1,Y>=1,D+1>=M,B+1>=N] 

* Chain [52,79]: 1
  with precondition: [A=0,F=3,G=4,H=1,I=0,J=3,K=4,L=2,S=2,T=0,A1=0,B1=0,E1=7,B=C,D=E,B+1=U,B+1=V,D+1=W,D+1=X,Y=C1,Z=D1,7>=Y,7>=Z,M>=1,N>=1,Y>=1,Z>=5,D+1>=M,B+1>=N] 

* Chain [52,78]: 1
  with precondition: [A=0,F=3,G=4,H=1,I=0,J=3,K=4,L=2,S=2,T=0,A1=0,B1=0,E1=7,B=C,D=E,B+1=U,B+1=V,D+1=W,D+1=X,Y=C1,Z=D1,7>=Y,3>=Z,M>=1,N>=1,Y>=1,Z>=1,D+1>=M,B+1>=N] 

* Chain [52,77]: 1
  with precondition: [A=0,F=3,G=4,H=1,I=0,J=3,K=4,L=2,S=2,T=0,A1=0,B1=0,E1=7,B=C,D=E,B+2=U,B+2=V,D+2=W,D+2=X,Y=C1,Z=D1,7>=Y,7>=Z,M>=1,N>=1,Y>=1,Z>=5,D+2>=M,B+2>=N] 

* Chain [52,76]: 1
  with precondition: [A=0,F=3,G=4,H=1,I=0,J=3,K=4,L=2,S=2,T=0,A1=0,B1=0,E1=7,B=C,D=E,B+2=U,B+2=V,D+2=W,D+2=X,Y=C1,Z=D1,7>=Y,3>=Z,M>=1,N>=1,Y>=1,Z>=1,D+2>=M,B+2>=N] 

* Chain [52,75]: 1
  with precondition: [A=0,F=3,G=4,H=1,I=0,J=3,K=4,L=2,S=2,T=0,A1=0,B1=0,E1=7,B=C,D=E,B=U,B=V,D=W,D=X,Y=C1,Z=D1,7>=Y,7>=Z,M>=1,N>=1,Y>=1,Z>=5,D>=M,B>=N] 

* Chain [52,74]: 1
  with precondition: [A=0,F=3,G=4,H=1,I=0,J=3,K=4,L=2,S=2,T=0,A1=0,B1=0,E1=7,B=C,D=E,B=U,B=V,D=W,D=X,Y=C1,Z=D1,7>=Y,3>=Z,M>=1,N>=1,Y>=1,Z>=1,D>=M,B>=N] 

* Chain [52,73]: 1
  with precondition: [A=0,F=3,G=4,H=1,I=0,J=3,K=4,L=2,S=2,T=0,A1=1,B1=0,E1=7,B=C,D=E,B+1=U,B+1=V,D+1=W,D+1=X,Y=C1,Z=D1,7>=Y,7>=Z,M>=1,N>=1,Y>=1,Z>=5,D+1>=M,B+1>=N] 

* Chain [52,72]: 1
  with precondition: [A=0,F=3,G=4,H=1,I=0,J=3,K=4,L=2,S=2,T=0,A1=1,B1=0,E1=7,B=C,D=E,B+1=U,B+1=V,D+1=W,D+1=X,Y=C1,Z=D1,7>=Y,3>=Z,M>=1,N>=1,Y>=1,Z>=1,D+1>=M,B+1>=N] 

* Chain [52,71]: 1
  with precondition: [A=0,F=3,G=4,H=1,I=0,J=3,K=4,L=2,S=2,T=0,A1=1,B1=0,E1=7,B=C,D=E,B+2=U,B+2=V,D+2=W,D+2=X,Y=C1,Z=D1,7>=Y,7>=Z,M>=1,N>=1,Y>=1,Z>=5,D+2>=M,B+2>=N] 

* Chain [52,70]: 1
  with precondition: [A=0,F=3,G=4,H=1,I=0,J=3,K=4,L=2,S=2,T=0,A1=1,B1=0,E1=7,B=C,D=E,B+2=U,B+2=V,D+2=W,D+2=X,Y=C1,Z=D1,7>=Y,3>=Z,M>=1,N>=1,Y>=1,Z>=1,D+2>=M,B+2>=N] 

* Chain [52,69]: 1
  with precondition: [A=0,F=3,G=4,H=1,I=0,J=3,K=4,L=2,S=2,T=1,Z=4,A1=1,B1=1,D1=4,E1=7,B=C,D=E,B+3=U,B+3=V,D+3=W,D+3=X,Y=C1,7>=Y,M>=1,N>=1,Y>=1] 

* Chain [52,68]: 1
  with precondition: [A=0,F=3,G=4,H=1,I=0,J=3,K=4,L=2,S=2,T=1,Z=4,A1=1,B1=1,D1=4,E1=7,B=C,D=E,B+2=U,B+2=V,D+2=W,D+2=X,Y=C1,7>=Y,M>=1,N>=1,Y>=1] 

* Chain [52,67]: 1
  with precondition: [A=0,F=3,G=4,H=1,I=0,J=3,K=4,L=2,S=2,T=1,Z=4,A1=1,B1=1,D1=4,E1=7,B=C,D=E,B+1=U,B+1=V,D+1=W,D+1=X,Y=C1,7>=Y,M>=1,N>=1,Y>=1] 

* Chain [52,66]: 1
  with precondition: [A=0,F=3,G=4,H=1,I=0,J=3,K=4,L=2,S=2,T=1,A1=0,B1=1,E1=7,B=C,D=E,B+1=U,B+1=V,D+1=W,D+1=X,Y=C1,Z=D1,7>=Y,7>=Z,M>=1,N>=1,Y>=1,Z>=5] 

* Chain [52,65]: 1
  with precondition: [A=0,F=3,G=4,H=1,I=0,J=3,K=4,L=2,S=2,T=1,A1=0,B1=1,E1=7,B=C,D=E,B+1=U,B+1=V,D+1=W,D+1=X,Y=C1,Z=D1,7>=Y,3>=Z,M>=1,N>=1,Y>=1,Z>=1] 

* Chain [52,64]: 1
  with precondition: [A=0,F=3,G=4,H=1,I=0,J=3,K=4,L=2,S=2,T=1,A1=0,B1=1,E1=7,B=C,D=E,B+2=U,B+2=V,D+2=W,D+2=X,Y=C1,Z=D1,7>=Y,7>=Z,M>=1,N>=1,Y>=1,Z>=5] 

* Chain [52,63]: 1
  with precondition: [A=0,F=3,G=4,H=1,I=0,J=3,K=4,L=2,S=2,T=1,A1=0,B1=1,E1=7,B=C,D=E,B+2=U,B+2=V,D+2=W,D+2=X,Y=C1,Z=D1,7>=Y,3>=Z,M>=1,N>=1,Y>=1,Z>=1] 

* Chain [52,62]: 1
  with precondition: [A=0,F=3,G=4,H=1,I=0,J=3,K=4,L=2,S=2,T=1,A1=0,B1=1,E1=7,B=C,D=E,B=U,B=V,D=W,D=X,Y=C1,Z=D1,7>=Y,7>=Z,M>=1,N>=1,Y>=1,Z>=5] 

* Chain [52,61]: 1
  with precondition: [A=0,F=3,G=4,H=1,I=0,J=3,K=4,L=2,S=2,T=1,A1=0,B1=1,E1=7,B=C,D=E,B=U,B=V,D=W,D=X,Y=C1,Z=D1,7>=Y,3>=Z,M>=1,N>=1,Y>=1,Z>=1] 

* Chain [52,60]: 1
  with precondition: [A=0,F=3,G=4,H=1,I=0,J=3,K=4,L=2,S=2,T=1,A1=1,B1=1,E1=7,B=C,D=E,B+1=U,B+1=V,D+1=W,D+1=X,Y=C1,Z=D1,7>=Y,7>=Z,M>=1,N>=1,Y>=1,Z>=5] 

* Chain [52,59]: 1
  with precondition: [A=0,F=3,G=4,H=1,I=0,J=3,K=4,L=2,S=2,T=1,A1=1,B1=1,E1=7,B=C,D=E,B+1=U,B+1=V,D+1=W,D+1=X,Y=C1,Z=D1,7>=Y,3>=Z,M>=1,N>=1,Y>=1,Z>=1] 

* Chain [52,58]: 1
  with precondition: [A=0,F=3,G=4,H=1,I=0,J=3,K=4,L=2,S=2,T=1,A1=1,B1=1,E1=7,B=C,D=E,B+2=U,B+2=V,D+2=W,D+2=X,Y=C1,Z=D1,7>=Y,7>=Z,M>=1,N>=1,Y>=1,Z>=5] 

* Chain [52,57]: 1
  with precondition: [A=0,F=3,G=4,H=1,I=0,J=3,K=4,L=2,S=2,T=1,A1=1,B1=1,E1=7,B=C,D=E,B+2=U,B+2=V,D+2=W,D+2=X,Y=C1,Z=D1,7>=Y,3>=Z,M>=1,N>=1,Y>=1,Z>=1] 

* Chain [52,56]: 1
  with precondition: [A=0,F=3,G=4,H=1,I=0,J=3,K=4,L=2,S=2,T=1,A1=0,B1=1,E1=7,B=C,D=E,B=U,B=V,D=W,D=X,Y=C1,Z=D1,7>=Y,7>=Z,M>=1,N>=1,Y>=1,Z>=5] 

* Chain [52,55]: 1
  with precondition: [A=0,F=3,G=4,H=1,I=0,J=3,K=4,L=2,S=2,T=1,A1=0,B1=1,E1=7,B=C,D=E,B=U,B=V,D=W,D=X,Y=C1,Z=D1,7>=Y,3>=Z,M>=1,N>=1,Y>=1,Z>=1] 

* Chain [52,54]: 1
  with precondition: [A=0,F=3,G=4,H=1,I=0,J=3,K=4,L=2,S=3,B=C,D=E,M>=1,N>=1] 


#### Cost of chains of f2_loop_cont(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P):
* Chain [86]: 0
  with precondition: [A=2] 

* Chain [85]: 0
  with precondition: [A=3] 


#### Cost of chains of f1(A,B,C,D,E,F,G,H,I,J,K,L,M,N,S):
* Chain [103]: 0
  with precondition: [] 

* Chain [102]: 1
  with precondition: [N=C+2,M=E+2,M>=1,N>=1] 

* Chain [101]: 116*s(209)+232*s(218)+116*s(219)+116*s(220)+232*s(221)+1
  Such that:aux(951) =< -C+N
aux(952) =< -C/2+N/2
aux(953) =< -C/3+N/3
aux(954) =< -E+M
aux(955) =< -E/2+M/2
aux(956) =< -E/3+M/3
s(209) =< aux(953)
s(209) =< aux(956)
s(218) =< aux(951)
s(209) =< aux(951)
s(219) =< aux(951)
s(220) =< aux(952)
s(209) =< aux(952)
s(219) =< aux(952)
s(218) =< aux(954)
s(209) =< aux(954)
s(219) =< aux(954)
s(220) =< aux(955)
s(209) =< aux(955)
s(219) =< aux(955)

  with precondition: [M>=1,N>=1] 

* Chain [100]: 29*s(1969)+58*s(1974)+29*s(1975)+29*s(1976)+58*s(1977)+1
  Such that:aux(957) =< -C+N
aux(958) =< -C/2+N/2
aux(959) =< -C/3+N/3
aux(960) =< -E+M
aux(961) =< -E/2+M/2
aux(962) =< -E/3+M/3
s(1969) =< aux(959)
s(1969) =< aux(962)
s(1974) =< aux(957)
s(1969) =< aux(957)
s(1975) =< aux(957)
s(1976) =< aux(958)
s(1969) =< aux(958)
s(1975) =< aux(958)
s(1974) =< aux(960)
s(1969) =< aux(960)
s(1975) =< aux(960)
s(1976) =< aux(961)
s(1969) =< aux(961)
s(1975) =< aux(961)

  with precondition: [M>=1,N>=1,N>=C+2,M>=E+2] 

* Chain [99]: 1
  with precondition: [M>=1,N>=1,N>=C+2,M>=E+2,E+4>=M,C+4>=N] 

* Chain [98]: 1
  with precondition: [M>=1,N>=1,N>=C+2,M>=E+2,E+3>=M,C+3>=N] 

* Chain [97]: 1
  with precondition: [M>=1,N>=1,E+4>=M,C+4>=N] 

* Chain [96]: 1
  with precondition: [M>=1,N>=1,E+3>=M,C+3>=N] 

* Chain [95]: 1
  with precondition: [M>=1,N>=1,E+2>=M,C+2>=N] 

* Chain [94]: 1
  with precondition: [M>=1,N>=1,E+1>=M,C+1>=N] 

* Chain [93]: 0
  with precondition: [E+4>=M,C+4>=N] 

* Chain [92]: 0
  with precondition: [E+3>=M,C+3>=N] 

* Chain [91]: 0
  with precondition: [E+2>=M,C+2>=N] 

* Chain [90]: 0
  with precondition: [E+1>=M,C+1>=N] 

* Chain [89]: 0
  with precondition: [E>=M,C>=N] 

* Chain [88]...: 8*s(2268)+16*s(2275)+8*s(2276)+8*s(2277)+16*s(2278)+1
  Such that:aux(995) =< -C+N
aux(996) =< -C/2+N/2
aux(997) =< -C/3+N/3
aux(998) =< -E+M
aux(999) =< -E/2+M/2
aux(1000) =< -E/3+M/3
s(2268) =< aux(997)
s(2268) =< aux(1000)
s(2275) =< aux(995)
s(2268) =< aux(995)
s(2276) =< aux(995)
s(2277) =< aux(996)
s(2268) =< aux(996)
s(2276) =< aux(996)
s(2275) =< aux(998)
s(2268) =< aux(998)
s(2276) =< aux(998)
s(2277) =< aux(999)
s(2268) =< aux(999)
s(2276) =< aux(999)

  with precondition: [M>=1,N>=1] 

* Chain [87]...: 2*s(2378)+4*s(2383)+2*s(2384)+2*s(2385)+4*s(2386)+1
  Such that:aux(1001) =< -C+N
aux(1002) =< -C/2+N/2
aux(1003) =< -C/3+N/3
aux(1004) =< -E+M
aux(1005) =< -E/2+M/2
aux(1006) =< -E/3+M/3
s(2378) =< aux(1003)
s(2378) =< aux(1006)
s(2383) =< aux(1001)
s(2378) =< aux(1001)
s(2384) =< aux(1001)
s(2385) =< aux(1002)
s(2378) =< aux(1002)
s(2384) =< aux(1002)
s(2383) =< aux(1004)
s(2378) =< aux(1004)
s(2384) =< aux(1004)
s(2385) =< aux(1005)
s(2378) =< aux(1005)
s(2384) =< aux(1005)

  with precondition: [M>=1,N>=1,N>=C+2,M>=E+2] 


#### Cost of chains of f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,S):
* Chain [120]: 0
  with precondition: [] 

* Chain [119]: 1
  with precondition: [N=C+2,M=E+2,M>=1,N>=1] 

* Chain [118]: 116*s(2402)+232*s(2403)+116*s(2404)+116*s(2405)+232*s(2406)+1
  Such that:s(2396) =< -C+N
s(2397) =< -C/2+N/2
s(2398) =< -C/3+N/3
s(2399) =< -E+M
s(2400) =< -E/2+M/2
s(2401) =< -E/3+M/3
s(2402) =< s(2398)
s(2402) =< s(2401)
s(2403) =< s(2396)
s(2402) =< s(2396)
s(2404) =< s(2396)
s(2405) =< s(2397)
s(2402) =< s(2397)
s(2404) =< s(2397)
s(2403) =< s(2399)
s(2402) =< s(2399)
s(2404) =< s(2399)
s(2405) =< s(2400)
s(2402) =< s(2400)
s(2404) =< s(2400)

  with precondition: [M>=1,N>=1] 

* Chain [117]: 29*s(2413)+58*s(2414)+29*s(2415)+29*s(2416)+58*s(2417)+1
  Such that:s(2407) =< -C+N
s(2408) =< -C/2+N/2
s(2409) =< -C/3+N/3
s(2410) =< -E+M
s(2411) =< -E/2+M/2
s(2412) =< -E/3+M/3
s(2413) =< s(2409)
s(2413) =< s(2412)
s(2414) =< s(2407)
s(2413) =< s(2407)
s(2415) =< s(2407)
s(2416) =< s(2408)
s(2413) =< s(2408)
s(2415) =< s(2408)
s(2414) =< s(2410)
s(2413) =< s(2410)
s(2415) =< s(2410)
s(2416) =< s(2411)
s(2413) =< s(2411)
s(2415) =< s(2411)

  with precondition: [M>=1,N>=1,N>=C+2,M>=E+2] 

* Chain [116]: 1
  with precondition: [M>=1,N>=1,N>=C+2,M>=E+2,E+4>=M,C+4>=N] 

* Chain [115]: 1
  with precondition: [M>=1,N>=1,N>=C+2,M>=E+2,E+3>=M,C+3>=N] 

* Chain [114]: 1
  with precondition: [M>=1,N>=1,E+4>=M,C+4>=N] 

* Chain [113]: 1
  with precondition: [M>=1,N>=1,E+3>=M,C+3>=N] 

* Chain [112]: 1
  with precondition: [M>=1,N>=1,E+2>=M,C+2>=N] 

* Chain [111]: 1
  with precondition: [M>=1,N>=1,E+1>=M,C+1>=N] 

* Chain [110]: 0
  with precondition: [E+4>=M,C+4>=N] 

* Chain [109]: 0
  with precondition: [E+3>=M,C+3>=N] 

* Chain [108]: 0
  with precondition: [E+2>=M,C+2>=N] 

* Chain [107]: 0
  with precondition: [E+1>=M,C+1>=N] 

* Chain [106]: 0
  with precondition: [E>=M,C>=N] 

* Chain [105]...: 8*s(2424)+16*s(2425)+8*s(2426)+8*s(2427)+16*s(2428)+1
  Such that:s(2418) =< -C+N
s(2419) =< -C/2+N/2
s(2420) =< -C/3+N/3
s(2421) =< -E+M
s(2422) =< -E/2+M/2
s(2423) =< -E/3+M/3
s(2424) =< s(2420)
s(2424) =< s(2423)
s(2425) =< s(2418)
s(2424) =< s(2418)
s(2426) =< s(2418)
s(2427) =< s(2419)
s(2424) =< s(2419)
s(2426) =< s(2419)
s(2425) =< s(2421)
s(2424) =< s(2421)
s(2426) =< s(2421)
s(2427) =< s(2422)
s(2424) =< s(2422)
s(2426) =< s(2422)

  with precondition: [M>=1,N>=1] 

* Chain [104]...: 2*s(2435)+4*s(2436)+2*s(2437)+2*s(2438)+4*s(2439)+1
  Such that:s(2429) =< -C+N
s(2430) =< -C/2+N/2
s(2431) =< -C/3+N/3
s(2432) =< -E+M
s(2433) =< -E/2+M/2
s(2434) =< -E/3+M/3
s(2435) =< s(2431)
s(2435) =< s(2434)
s(2436) =< s(2429)
s(2435) =< s(2429)
s(2437) =< s(2429)
s(2438) =< s(2430)
s(2435) =< s(2430)
s(2437) =< s(2430)
s(2436) =< s(2432)
s(2435) =< s(2432)
s(2437) =< s(2432)
s(2438) =< s(2433)
s(2435) =< s(2433)
s(2437) =< s(2433)

  with precondition: [M>=1,N>=1,N>=C+2,M>=E+2] 


Closed-form bounds of f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,S): 
-------------------------------------
* Chain [120] with precondition: [] 
    - Upper bound: 0 
    - Complexity: constant 
* Chain [119] with precondition: [N=C+2,M=E+2,M>=1,N>=1] 
    - Upper bound: 1 
    - Complexity: constant 
* Chain [118] with precondition: [M>=1,N>=1] 
    - Upper bound: inf 
    - Complexity: infinity 
* Chain [117] with precondition: [M>=1,N>=1,N>=C+2,M>=E+2] 
    - Upper bound: inf 
    - Complexity: infinity 
* Chain [116] with precondition: [M>=1,N>=1,N>=C+2,M>=E+2,E+4>=M,C+4>=N] 
    - Upper bound: 1 
    - Complexity: constant 
* Chain [115] with precondition: [M>=1,N>=1,N>=C+2,M>=E+2,E+3>=M,C+3>=N] 
    - Upper bound: 1 
    - Complexity: constant 
* Chain [114] with precondition: [M>=1,N>=1,E+4>=M,C+4>=N] 
    - Upper bound: 1 
    - Complexity: constant 
* Chain [113] with precondition: [M>=1,N>=1,E+3>=M,C+3>=N] 
    - Upper bound: 1 
    - Complexity: constant 
* Chain [112] with precondition: [M>=1,N>=1,E+2>=M,C+2>=N] 
    - Upper bound: 1 
    - Complexity: constant 
* Chain [111] with precondition: [M>=1,N>=1,E+1>=M,C+1>=N] 
    - Upper bound: 1 
    - Complexity: constant 
* Chain [110] with precondition: [E+4>=M,C+4>=N] 
    - Upper bound: 0 
    - Complexity: constant 
* Chain [109] with precondition: [E+3>=M,C+3>=N] 
    - Upper bound: 0 
    - Complexity: constant 
* Chain [108] with precondition: [E+2>=M,C+2>=N] 
    - Upper bound: 0 
    - Complexity: constant 
* Chain [107] with precondition: [E+1>=M,C+1>=N] 
    - Upper bound: 0 
    - Complexity: constant 
* Chain [106] with precondition: [E>=M,C>=N] 
    - Upper bound: 0 
    - Complexity: constant 
* Chain [105]... with precondition: [M>=1,N>=1] 
    - Upper bound: inf 
    - Complexity: infinity 
* Chain [104]... with precondition: [M>=1,N>=1,N>=C+2,M>=E+2] 
    - Upper bound: inf 
    - Complexity: infinity 

### Maximum cost of f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,S): inf 
Asymptotic class: infinity 
* Total analysis performed in 24603 ms.

