1 chain with 4 bits set 34 chains with 5 bits set 86 chains with 6 bits set 43 chains with 7 bits set 32 chains with 8 bits set Notation: @(.) means 2^(.) p,q,r,s are free nonnegative integer variables. A,B,C,D,E,F,G are also free nonnegative integer variables. * in the index-list as a right sub_index indicates a doubling step. : is a delimiter in the sub-index to refine this sub-index by a further 'value'. Such a 'value' is in general a polynomial of degree 0 or 1 in one variable [i.e. an affine form with integer coefficients and dimension less or equal 1]. This 'value' indicates either in a doubling step how many doubling steps are here, or when using a doubling step in another index how many doubling steps are used there. If a doubling step is used with exactly as many doubling steps it was generated then this delimiter and 'value' is optional [E.g. It may be left out in the left sub-index for every star-chain]. In all two-power-sum representations the two-power-exponents are always strictly monotonic decreasing and >= 0. Shortest Addition Chains with 3 Small Steps 5 4* @(p)+@(q)+@(r)+@(s) A=p, B=q, C=r, D=s 0 1 1( 0, *:A) @(A) 2( 1, 1:B) @(A)+@(B) 3( 2, 1:C) @(A)+@(B)+@(C) 4( 3, 1:D) @(A)+@(B)+@(C)+@(D) 6 5* @(p)+@(p-8)+@(p-12)+@(p-13)+@(p-14) A=p-11 0 1 1( 0, *:A) @(A) 2( 1, 1:A-3) @(A)+@(A-3) 3( 2, 1 ) @(A+1)+@(A-3) 4( 3, *:6) @(A+7)+@(A+3) 5( 4, 2 ) @(A+7)+@(A+3)+@(A)+@(A-3) 6( 5, *:1) @(A+8)+@(A+4)+@(A+1)+@(A-2) 7( 6, 5 ) @(A+8)+@(A+7)+@(A+4)+@(A+3)+@(A+1)+@(A)+@(A-2)+@(A-3) 8( 7, *:2) @(A+10)+@(A+9)+@(A+6)+@(A+5)+@(A+3)+@(A+2)+@(A)+@(A-1) 9( 8, 7 ) @(A+11)+@(A+3)+@(A-1)+@(A-2)+@(A-3) 7 5* @(p)+@(p-8)+@(p-10)+@(p-11)+@(p-14) A=p-8 0 1 1( 0, *:A) @(A) 2( 1, 1:A-6) @(A)+@(A-6) 3( 2, 1 ) @(A+1)+@(A-6) 4( 3, 2 ) @(A+1)+@(A)+@(A-5) 5( 4, 3 ) @(A+2)+@(A)+@(A-5)+@(A-6) 6( 5, *:4) @(A+6)+@(A+4)+@(A-1)+@(A-2) 7( 6, 5 ) @(A+6)+@(A+4)+@(A+2)+@(A)+@(A-1)+@(A-2)+@(A-5)+@(A-6) 8( 7, *:1) @(A+7)+@(A+5)+@(A+3)+@(A+1)+@(A)+@(A-1)+@(A-4)+@(A-5) 9( 8, 7 ) @(A+8)+@(A)+@(A-2)+@(A-3)+@(A-6) 8 5* @(p)+@(p-7)+@(q)+@(q-1)+@(q-3) ,q>=4 A=p-6, C=q-4 0 1 1( 0, *:A) @(A) 2( 1, 1:A-1) @(A)+@(A-1) 3( 2, 1:C) @(A)+@(A-1)+@(C) 4( 3, 2 ) @(A+1)+@(A)+@(C) 5( 4, 3 ) @(A+2)+@(A-1)+@(C+1) 6( 5, 4 ) @(A+2)+@(A+1)+@(A)+@(A-1)+@(C+1)+@(C) 7( 6, *:3) @(A+5)+@(A+4)+@(A+3)+@(A+2)+@(C+4)+@(C+3) 8( 7, 5 ) @(A+6)+@(A-1)+@(C+4)+@(C+3)+@(C+1) 9 5* @(p)+@(p-6)+@(p-9)+@(p-11)+@(p-12) A=p-6 0 1 1( 0, *:A) @(A) 2( 1, 1:A-1) @(A)+@(A-1) 3( 2, 1:A-6) @(A)+@(A-1)+@(A-6) 4( 3, *:3) @(A+3)+@(A+2)+@(A-3) 5( 4, 3 ) @(A+3)+@(A+2)+@(A)+@(A-1)+@(A-3)+@(A-6) 6( 5, 4 ) @(A+4)+@(A+3)+@(A)+@(A-1)+@(A-2)+@(A-6) 7( 6, 5 ) @(A+5)+@(A+2)+@(A+1)+@(A)+@(A-2)+@(A-3)+@(A-5) 8( 7, 6 ) @(A+6)+@(A)+@(A-3)+@(A-5)+@(A-6) 10 5* @(p)+@(p-6)+@(q)+@(q-2)+@(q-4) A=q-2, D=p-q-3 0 1 1( 0, *:A) @(A) 2( 1, 1:A-1) @(A)+@(A-1) 3( 2, 1:A-2) @(A)+@(A-1)+@(A-2) 4( 3, 2 ) @(A+1)+@(A)+@(A-2) 5( 4, *:D+1) @(A+D+2)+@(A+D+1)+@(A+D-1) 6( 5, 3 ) @(A+D+2)+@(A+D+1)+@(A+D-1)+@(A)+@(A-1)+@(A-2) 7( 6, 5 ) @(A+D+3)+@(A+D+2)+@(A+D)+@(A)+@(A-1)+@(A-2) 8( 7, 6 ) @(A+D+4)+@(A+D+1)+@(A+D)+@(A+D-1)+@(A+1)+@(A)+@(A-1) 9( 8, 7 ) @(A+D+5)+@(A+D-1)+@(A+2)+@(A)+@(A-2) 11 5* @(p)+@(p-6)+@(q)+@(q-1)+@(q-3) A=q, D=p-q-2 0 1 1( 0, *:A) @(A) 2( 1, 1:A-1) @(A)+@(A-1) 3( 2, 1:A-3) @(A)+@(A-1)+@(A-3) 4( 3, *:D+1) @(A+D+1)+@(A+D)+@(A+D-2) 5( 4, 3 ) @(A+D+1)+@(A+D)+@(A+D-2)+@(A)+@(A-1)+@(A-3) 6( 5, 4:D-1) @(A+D+2)+@(A+D-4)+@(A)+@(A-1)+@(A-3) 12 5* @(p)+@(p-6)+@(q)+@(q-1)+@(q-2) A=q, D=p-q-3 0 1 1( 0, *:A) @(A) 2( 1, 1:A-1) @(A)+@(A-1) 3( 2, 1:A-2) @(A)+@(A-1)+@(A-2) 4( 3, 2 ) @(A+1)+@(A)+@(A-2) 5( 4, *:D+1) @(A+D+2)+@(A+D+1)+@(A+D-1) 6( 5, 3 ) @(A+D+2)+@(A+D+1)+@(A+D-1)+@(A)+@(A-1)+@(A-2) 7( 6, 5:D-1) @(A+D+3)+@(A+D-3)+@(A)+@(A-1)+@(A-2) 13 5* @(p)+@(p-5)+@(p-6)+@(p-7)+@(q) A=p-5, D=q 0 1 1( 0, *:A) @(A) 2( 1, 1:A-2) @(A)+@(A-2) 3( 2, *:3) @(A+3)+@(A+1) 4( 3, 2 ) @(A+3)+@(A+1)+@(A)+@(A-2) 5( 4, 1:D) @(A+3)+@(A+1)+@(A)+@(A-2)+@(D) 6( 5, 4 ) @(A+4)+@(A+2)+@(A+1)+@(A-1)+@(D) 7( 6, 4 ) @(A+5)+@(A)+@(A-1)+@(A-2)+@(D) 14 5* @(p)+@(p-5)+@(q)+@(q-2)+@(q-3) A=q, D=p-q-2 0 1 1( 0, *:A) @(A) 2( 1, 1:A-2) @(A)+@(A-2) 3( 2, 1:A-3) @(A)+@(A-2)+@(A-3) 4( 3, *:D+1) @(A+D+1)+@(A+D-1)+@(A+D-2) 5( 4, 3 ) @(A+D+1)+@(A+D-1)+@(A+D-2)+@(A)+@(A-2)+@(A-3) 6( 5, 4:D) @(A+D+2)+@(A+D-3)+@(A)+@(A-2)+@(A-3) 15 5* @(p)+@(p-5)+@(q)+@(q-1)+@(q-2) A=q, E=p-q-3 0 1 1( 0, *:A) @(A) 2( 1, 1:A-1) @(A)+@(A-1) 3( 2, 1:A-2) @(A)+@(A-1)+@(A-2) 4( 3, 1 ) @(A+1)+@(A-1)+@(A-2) 5( 4, *:E+1) @(A+E+2)+@(A+E)+@(A+E-1) 6( 5, 3 ) @(A+E+2)+@(A+E)+@(A+E-1)+@(A)+@(A-1)+@(A-2) 7( 6, 5:E) @(A+E+3)+@(A+E-2)+@(A)+@(A-1)+@(A-2) 16 5* @(p)+@(p-3)+@(q)+@(q-1)+@(r) A=p-2, C=q-1, D=r 0 1 1( 0, *:A) @(A) 2( 1, 1:A-1) @(A)+@(A-1) 3( 2, 1:C) @(A)+@(A-1)+@(C) 4( 3, 1:D) @(A)+@(A-1)+@(C)+@(D) 5( 4, 3 ) @(A+1)+@(A)+@(C+1)+@(D) 6( 5, 3 ) @(A+2)+@(A-1)+@(C+1)+@(C)+@(D) 17 5* @(p)+@(p-3)+@(q)+@(r)+@(r-1) A=p-2, C=r-1, D=q 0 1 1( 0, *:A) @(A) 2( 1, 1:A-1) @(A)+@(A-1) 3( 2, 1:C) @(A)+@(A-1)+@(C) 4( 3, 1:D) @(A)+@(A-1)+@(D)+@(C) 5( 4, 3 ) @(A+1)+@(A)+@(D)+@(C+1) 6( 5, 3 ) @(A+2)+@(A-1)+@(D)+@(C+1)+@(C) 18 5* @(p)+@(p-1)+@(q)+@(r)+@(-p+q+r-1) A=r-1, B=-p+q+r-1, D=p-r-1 0 1 1( 0, *:A) @(A) 2( 1, 1:B) @(A)+@(B) 3( 2, 1 ) @(A+1)+@(B) 4( 3, 2 ) @(A+1)+@(A)+@(B+1) 5( 4, *:D+1) @(A+D+2)+@(A+D+1)+@(B+D+2) 6( 5, 3 ) @(A+D+2)+@(A+D+1)+@(B+D+2)+@(A+1)+@(B) 19 5* @(p)+@(q)+@(q-2)+@(q-3)+@(q-4) ,p>=6 A=p-4, G=-p+q+1 ==> G=0 ==> q=p-1 0 1 1( 0, *:A) @(A) 2( 1, 1:A-2) @(A)+@(A-2) 3( 2, 1 ) @(A+1)+@(A-2) 4( 3, *:1) @(A+2)+@(A-1) 5( 4, 2 ) @(A+2)+@(A)+@(A-1)+@(A-2) 6( 5, *:1) @(A+3)+@(A+1)+@(A)+@(A-1) 7( 6, 4 ) @(A+4) 8( 7, 6 ) @(A+4)+@(A+G+3)+@(A+G+1)+@(A+G)+@(A+G-1) 20 5* @(p)+@(q)+@(q-2)+@(r)+@(r-1) ,p-q>=2 A=r, D=p-q-2, E=q-r-2 0 1 1( 0, *:A) @(A) 2( 1, 1:A-1) @(A)+@(A-1) 3( 2, 1 ) @(A+1)+@(A-1) 4( 3, 2 ) @(A+2) 5( 4, *:D+1) @(A+D+3) 6( 5, 3 ) @(A+D+3)+@(A+1)+@(A-1) 7( 6, *:E+1) @(A+D+E+4)+@(A+E+2)+@(A+E) 8( 7, 2 ) @(A+D+E+4)+@(A+E+2)+@(A+E)+@(A)+@(A-1) 21 5* @(p)+@(q)+@(q-1)+@(q-2)+@(p-6) A=p-4, E=-p+q+2 0 1 1( 0, *:A) @(A) 2( 1, 1:A-2) @(A)+@(A-2) 3( 2, 1 ) @(A+1)+@(A-2) 4( 3, 2 ) @(A+1)+@(A)+@(A-1) 5( 4, *:2) @(A+3)+@(A+2)+@(A+1) 6( 5, 3 ) @(A+4)+@(A-2) 7( 6, 5:E+1) @(A+4)+@(A+E+2)+@(A+E+1)+@(A+E)+@(A-2) 22 5* @(p)+@(q)+@(q-1)+@(q-2)+@(p-5) A=p-3, E=-p+q+2 0 1 1( 0, *:A) @(A) 2( 1, 1:A-2) @(A)+@(A-2) 3( 2, 1:A-1) @(A)+@(A-1)+@(A-2) 4( 3, *:2) @(A+2)+@(A+1)+@(A) 5( 4, 2 ) @(A+3)+@(A-2) 6( 5, 4:E+1) @(A+3)+@(A+E+1)+@(A+E)+@(A+E-1)+@(A-2) 23 5* @(p)+@(q)+@(q-1)+@(r)+@(r-2) ,p-q>=3 A=p-3, B=r-2, C=q-1 0 1 1( 0, *:A) @(A) 2( 1, 1:B) @(A)+@(B) 3( 2, 1:C) @(A)+@(C)+@(B) 4( 3, 1 ) @(A+1)+@(C)+@(B) 5( 4, 2 ) @(A+1)+@(A)+@(C)+@(B+1) 6( 5, *:1) @(A+2)+@(A+1)+@(C+1)+@(B+2) 7( 6, 4 ) @(A+3)+@(C+1)+@(C)+@(B+2)+@(B) 24 5* @(p)+@(q)+@(q-1)+@(r)+@(-p+q+r+2) A=q, C=-p+q+r+2, E=p-q-3 0 1 1( 0, *:A) @(A) 2( 1, 1:A-1) @(A)+@(A-1) 3( 2, 1:C) @(A)+@(A-1)+@(C) 4( 3, 1 ) @(A+1)+@(A-1)+@(C) 5( 4, 2 ) @(A+2)+@(C) 6( 5, *:E+1) @(A+E+3)+@(C+E+1) 7( 6, 3 ) @(A+E+3)+@(A)+@(A-1)+@(C+E+1)+@(C) 25 5* @(p)+@(q)+@(-p+2q-2)+@(r)+@(-p+q+r-1) A=q-1, B=-p+2q-2, C=-p+q+r-1 0 1 1( 0, *:A) @(A) 2( 1, 1:B) @(A)+@(B) 3( 2, 1:C) @(A)+@(B)+@(C) 4( 3, *:A-B) @(2A-B)+@(A)+@(A-B+C) 5( 4, 3 ) @(2A-B)+@(A+1)+@(B)+@(A-B+C)+@(C) 26 5* @(p)+@(q)+@(r)+@(-p+2q-2)+@(-p+q+r-1) A=q-1, B=-p+2q-2, C=-p+q+r-1 0 1 1( 0, *:A) @(A) 2( 1, 1:B) @(A)+@(B) 3( 2, 1:C) @(A)+@(B)+@(C) 4( 3, *:A-B) @(2A-B)+@(A)+@(A-B+C) 5( 4, 3 ) @(2A-B)+@(A+1)+@(A-B+C)+@(B)+@(C) 27 5* @(p)+@(q)+@(r)+@(r-1)+@(-p+q+r+2) A=r, C=-p+q+r+2, E=p-r-3 0 1 1( 0, *:A) @(A) 2( 1, 1:A-1) @(A)+@(A-1) 3( 2, 1:C) @(A)+@(A-1)+@(C) 4( 3, 1 ) @(A+1)+@(A-1)+@(C) 5( 4, 2 ) @(A+2)+@(C) 6( 5, *:E+1) @(A+E+3)+@(C+E+1) 7( 6, 3 ) @(A+E+3)+@(C+E+1)+@(A)+@(A-1)+@(C) 28 5* @(p)+@(q)+@(r)+@(-p+q+r)+@(s) A=r, B=-p+q+r, C=p-r-1, D=s 0 1 1( 0, *:A) @(A) 2( 1, 1:B) @(A)+@(B) 3( 2, *:C+1) @(A+C+1)+@(B+C+1) 4( 3, 1:D) @(A+C+1)+@(B+C+1)+@(D) 5( 4, 2 ) @(A+C+1)+@(B+C+1)+@(A)+@(B)+@(D) 29 5* @(p)+@(q)+@(r)+@(-p+q+r-1)+@(-p+2r-2) A=r-1, B=-p+q+r-1, C=-p+2r-2 0 1 1( 0, *:A) @(A) 2( 1, 1:B) @(A)+@(B) 3( 2, 1:C) @(A)+@(B)+@(C) 4( 3, *:A-C) @(2A-C)+@(A+B-C)+@(A) 5( 4, 3 ) @(2A-C)+@(A+B-C)+@(A+1)+@(B)+@(C) 30 5* @(p)+@(q)+@(r)+@(-p+q+r+1)+@(s) A=r, B=-p+q+r+1, D=p-r-2, E=s 0 1 1( 0, *:A) @(A) 2( 1, 1:B) @(A)+@(B) 3( 2, 1 ) @(A+1)+@(B) 4( 3, *:D+1) @(A+D+2)+@(B+D+1) 5( 4, 1:E) @(A+D+2)+@(B+D+1)+@(E) 6( 5, 2 ) @(A+D+2)+@(B+D+1)+@(A)+@(B)+@(E) 31 5* @(p)+@(q)+@(r)+@(-p+q+r+2)+@(-2p+2q+r+1) A=q, B=-2p+2q+r+1, C=-p+q+r+1 0 1 1( 0, *:A) @(A) 2( 1, 1:B) @(A)+@(B) 3( 2, 1:C) @(A)+@(C)+@(B) 4( 3, 2 ) @(A+1)+@(C)+@(B+1) 5( 4, *:-B+C-1) @(A-B+C)+@(-B+2C-1)+@(C) 6( 5, 3 ) @(A-B+C)+@(A)+@(-B+2C-1)+@(C+1)+@(B) 32 5* @(p)+@(q)+@(r)+@(-p+q+r+2)+@(-2p+q+2r+1) A=r, B=-2p+q+2r+1, C=-p+q+r+1 0 1 1( 0, *:A) @(A) 2( 1, 1:B) @(A)+@(B) 3( 2, 1:C) @(A)+@(C)+@(B) 4( 3, 2 ) @(A+1)+@(C)+@(B+1) 5( 4, *:-B+C-1) @(A-B+C)+@(-B+2C-1)+@(C) 6( 5, 3 ) @(A-B+C)+@(-B+2C-1)+@(A)+@(C+1)+@(B) 33 5* @(p)+@(q)+@(r)+@(s)+@(-p+q+r) A=r, B=-p+q+r, C=p-r-1, D=s 0 1 1( 0, *:A) @(A) 2( 1, 1:B) @(A)+@(B) 3( 2, *:C+1) @(A+C+1)+@(B+C+1) 4( 3, 1:D) @(A+C+1)+@(B+C+1)+@(D) 5( 4, 2 ) @(A+C+1)+@(B+C+1)+@(A)+@(D)+@(B) 34 5* @(p)+@(q)+@(r)+@(s)+@(-p+q+r+1) A=r, B=-p+q+r+1, D=p-r-2, E=s 0 1 1( 0, *:A) @(A) 2( 1, 1:B) @(A)+@(B) 3( 2, 1 ) @(A+1)+@(B) 4( 3, *:D+1) @(A+D+2)+@(B+D+1) 5( 4, 1:E) @(A+D+2)+@(B+D+1)+@(E) 6( 5, 2 ) @(A+D+2)+@(B+D+1)+@(A)+@(E)+@(B) 35 5* @(p)+@(q)+@(r)+@(s)+@(-p+q+s) A=q, B=-p+q+s, C=-p+q+r, D=p-q-1 0 1 1( 0, *:A) @(A) 2( 1, 1:B) @(A)+@(B) 3( 2, 1:C) @(A)+@(C)+@(B) 4( 3, *:D+1) @(A+D+1)+@(C+D+1)+@(B+D+1) 5( 4, 2 ) @(A+D+1)+@(A)+@(C+D+1)+@(B+D+1)+@(B) 36 5* @(p)+@(q)+@(r)+@(s)+@(-p+q+s+1) A=q, B=-p+q+s+1, C=-p+q+r+1, E=p-q-2 0 1 1( 0, *:A) @(A) 2( 1, 1:B) @(A)+@(B) 3( 2, 1:C) @(A)+@(C)+@(B) 4( 3, 1 ) @(A+1)+@(C)+@(B) 5( 4, *:E+1) @(A+E+2)+@(C+E+1)+@(B+E+1) 6( 5, 2 ) @(A+E+2)+@(A)+@(C+E+1)+@(B+E+1)+@(B) 37 5* @(p)+@(q)+@(r)+@(s)+@(-p+r+s) A=s, B=-p+r+s, C=-p+q+s, D=p-s-1 0 1 1( 0, *:A) @(A) 2( 1, 1:B) @(A)+@(B) 3( 2, 1:C) @(A)+@(C)+@(B) 4( 3, *:D+1) @(A+D+1)+@(C+D+1)+@(B+D+1) 5( 4, 2 ) @(A+D+1)+@(C+D+1)+@(B+D+1)+@(A)+@(B) 38 5* @(p)+@(q)+@(r)+@(s)+@(-p+r+s+1) A=s, B=-p+r+s+1, D=-p+q+s+1, E=p-s-2 0 1 1( 0, *:A) @(A) 2( 1, 1:B) @(A)+@(B) 3( 2, 1 ) @(A+1)+@(B) 4( 3, 1:D) @(A+1)+@(D)+@(B) 5( 4, *:E+1) @(A+E+2)+@(D+E+1)+@(B+E+1) 6( 5, 2 ) @(A+E+2)+@(D+E+1)+@(B+E+1)+@(A)+@(B) 39 5 @(p)+@(q)+@(r)+@(s)+@(-q+r+s) A=s, B=-q+r+s, C=p-q-1, D=q-s-1 0 1 1( 0, *:A) @(A) 2( 1, 1:B) @(A)+@(B) 3( 1, *:C+1) @(A+C+1) 4( 3, 2 ) @(A+C+1)+@(A)+@(B) 5( 4, *:D+1) @(A+C+D+2)+@(A+D+1)+@(B+D+1) 6( 5, 2 ) @(A+C+D+2)+@(A+D+1)+@(B+D+1)+@(A)+@(B) 40 6* @(p)+@(p-7)+@(p-8)+@(p-11)+@(p-12)+@(p-13) A=p-10 0 1 1( 0, *:A) @(A) 2( 1, 1:A-3) @(A)+@(A-3) 3( 2, 1 ) @(A+1)+@(A-3) 4( 3, *:5) @(A+6)+@(A+2) 5( 4, 2 ) @(A+6)+@(A+2)+@(A)+@(A-3) 6( 5, *:2) @(A+8)+@(A+4)+@(A+2)+@(A-1) 7( 6, 5 ) @(A+8)+@(A+6)+@(A+4)+@(A+3)+@(A)+@(A-1)+@(A-3) 8( 7, *:1) @(A+9)+@(A+7)+@(A+5)+@(A+4)+@(A+1)+@(A)+@(A-2) 9( 8, 7 ) @(A+10)+@(A+3)+@(A+2)+@(A-1)+@(A-2)+@(A-3) 41 6* @(p)+@(p-7)+@(p-8)+@(p-9)+@(p-10)+@(p-13) A=p-8 0 1 1( 0, *:A) @(A) 2( 1, 1:A-5) @(A)+@(A-5) 3( 2, 1 ) @(A+1)+@(A-5) 4( 3, 2 ) @(A+1)+@(A)+@(A-4) 5( 4, 3 ) @(A+2)+@(A)+@(A-4)+@(A-5) 6( 5, *:4) @(A+6)+@(A+4)+@(A)+@(A-1) 7( 6, 5 ) @(A+6)+@(A+4)+@(A+2)+@(A+1)+@(A-1)+@(A-4)+@(A-5) 8( 7, *:1) @(A+7)+@(A+5)+@(A+3)+@(A+2)+@(A)+@(A-3)+@(A-4) 9( 8, 7 ) @(A+8)+@(A+1)+@(A)+@(A-1)+@(A-2)+@(A-5) 42 6* @(p)+@(p-7)+@(q)+@(q-3)+@(q-4)+@(q-5) ,q>=6 A=q-3, D=p-q-2 0 1 1( 0, *:A) @(A) 2( 1, 1:A-3) @(A)+@(A-3) 3( 2, 1 ) @(A+1)+@(A-3) 4( 3, 2 ) @(A+1)+@(A)+@(A-2) 5( 4, 3 ) @(A+2)+@(A)+@(A-2)+@(A-3) 6( 5, *:D+1) @(A+D+3)+@(A+D+1)+@(A+D-1)+@(A+D-2) 7( 6, 4 ) @(A+D+3)+@(A+D+1)+@(A+D-1)+@(A+D-2)+@(A+1)+@(A)+@(A-2) 8( 7, *:1) @(A+D+4)+@(A+D+2)+@(A+D)+@(A+D-1)+@(A+2)+@(A+1)+@(A-1) 9( 8, 7 ) @(A+D+5)+@(A+D-2)+@(A+3)+@(A)+@(A-1)+@(A-2) 43 6* @(p)+@(p-7)+@(q)+@(q-2)+@(q-4)+@(q-5) A=p-6, C=q-5 0 1 1( 0, *:A) @(A) 2( 1, 1:A-1) @(A)+@(A-1) 3( 2, 1:C) @(A)+@(A-1)+@(C) 4( 3, *:3) @(A+3)+@(A+2)+@(C+3) 5( 4, 3 ) @(A+3)+@(A+2)+@(A)+@(A-1)+@(C+3)+@(C) 6( 5, 4 ) @(A+4)+@(A+3)+@(A)+@(A-1)+@(C+4)+@(C) 7( 6, 5 ) @(A+5)+@(A+2)+@(A+1)+@(A)+@(C+4)+@(C+3)+@(C+1) 8( 7, 6 ) @(A+6)+@(A-1)+@(C+5)+@(C+3)+@(C+1)+@(C) 44 6* @(p)+@(p-7)+@(q)+@(q-2)+@(q-3)+@(q-4) A=p-6, C=q-4 0 1 1( 0, *:A) @(A) 2( 1, 1:A-1) @(A)+@(A-1) 3( 2, 1:C) @(A)+@(A-1)+@(C) 4( 3, 2 ) @(A+1)+@(A)+@(C) 5( 4, *:2) @(A+3)+@(A+2)+@(C+2) 6( 5, 3 ) @(A+3)+@(A+2)+@(A)+@(A-1)+@(C+2)+@(C) 7( 6, 5 ) @(A+4)+@(A+3)+@(A)+@(A-1)+@(C+3)+@(C) 8( 7, 6 ) @(A+5)+@(A+2)+@(A+1)+@(A)+@(C+3)+@(C+2)+@(C+1) 9( 8, 7 ) @(A+6)+@(A-1)+@(C+4)+@(C+2)+@(C+1)+@(C) 45 6* @(p)+@(p-7)+@(q)+@(q-1)+@(q-4)+@(q-5) A=p-6, B=q-5 0 1 1( 0, *:A) @(A) 2( 1, 1:B) @(A)+@(B) 3( 2, 1:A-1) @(A)+@(A-1)+@(B) 4( 3, 2 ) @(A+1)+@(A-1)+@(B+1) 5( 4, *:3) @(A+4)+@(A+2)+@(B+4) 6( 5, 3 ) @(A+4)+@(A+2)+@(A)+@(A-1)+@(B+4)+@(B) 7( 6, *:1) @(A+5)+@(A+3)+@(A+1)+@(A)+@(B+5)+@(B+1) 8( 7, 6 ) @(A+6)+@(A-1)+@(B+5)+@(B+4)+@(B+1)+@(B) 46 6* @(p)+@(p-7)+@(q)+@(q-1)+@(q-3)+@(q-4) A=p-6, C=q-4 0 1 1( 0, *:A) @(A) 2( 1, 1:A-1) @(A)+@(A-1) 3( 2, 1:C) @(A)+@(A-1)+@(C) 4( 3, 1 ) @(A+1)+@(A-1)+@(C) 5( 4, *:3) @(A+4)+@(A+2)+@(C+3) 6( 5, 3 ) @(A+4)+@(A+2)+@(A)+@(A-1)+@(C+3)+@(C) 7( 6, *:1) @(A+5)+@(A+3)+@(A+1)+@(A)+@(C+4)+@(C+1) 8( 7, 6 ) @(A+6)+@(A-1)+@(C+4)+@(C+3)+@(C+1)+@(C) 47 6* @(p)+@(p-7)+@(q)+@(q-1)+@(q-2)+@(q-3) A=p-4, B=q-3 0 1 1( 0, *:A) @(A) 2( 1, 1:B) @(A)+@(B) 3( 2, 1:A-3) @(A)+@(A-3)+@(B) 4( 3, 2 ) @(A+1)+@(A-3)+@(B+1) 5( 4, 3 ) @(A+1)+@(A)+@(A-2)+@(B+1)+@(B) 6( 5, 4 ) @(A+2)+@(A)+@(A-2)+@(A-3)+@(B+2)+@(B) 7( 6, *:1) @(A+3)+@(A+1)+@(A-1)+@(A-2)+@(B+3)+@(B+1) 8( 7, 6 ) @(A+4)+@(A-3)+@(B+3)+@(B+2)+@(B+1)+@(B) 48 6* @(p)+@(p-6)+@(q)+@(q-3)+@(q-4)+@(q-5) A=q-2, D=p-q-2 0 1 1( 0, *:A) @(A) 2( 1, 1:A-1) @(A)+@(A-1) 3( 2, 1:A-3) @(A)+@(A-1)+@(A-3) 4( 3, *:D+1) @(A+D+1)+@(A+D)+@(A+D-2) 5( 4, 3 ) @(A+D+1)+@(A+D)+@(A+D-2)+@(A)+@(A-1)+@(A-3) 6( 5, 4 ) @(A+D+2)+@(A+D+1)+@(A+D-1)+@(A)+@(A-1)+@(A-3) 7( 6, 5 ) @(A+D+3)+@(A+D)+@(A+D-1)+@(A+D-2)+@(A+1)+@(A)+@(A-2) 8( 7, 6 ) @(A+D+4)+@(A+D-2)+@(A+2)+@(A-1)+@(A-2)+@(A-3) 49 6* @(p)+@(p-6)+@(q)+@(q-2)+@(q-4)+@(q-6) A=q-3, D=p-q-2 0 1 1( 0, *:A) @(A) 2( 1, 1:A-3) @(A)+@(A-3) 3( 2, 1 ) @(A+1)+@(A-3) 4( 3, 2 ) @(A+1)+@(A)+@(A-2) 5( 4, *:D+1) @(A+D+2)+@(A+D+1)+@(A+D-1) 6( 5, 3 ) @(A+D+2)+@(A+D+1)+@(A+D-1)+@(A+1)+@(A-3) 7( 6, *:2) @(A+D+4)+@(A+D+3)+@(A+D+1)+@(A+3)+@(A-1) 8( 7, 6 ) @(A+D+5)+@(A+D-1)+@(A+3)+@(A+1)+@(A-1)+@(A-3) 50 6* @(p)+@(p-6)+@(q)+@(q-2)+@(q-3)+@(q-5) A=q-2, D=p-q-2 0 1 1( 0, *:A) @(A) 2( 1, 1:A-3) @(A)+@(A-3) 3( 2, 1:A-1) @(A)+@(A-1)+@(A-3) 4( 3, *:D+1) @(A+D+1)+@(A+D)+@(A+D-2) 5( 4, 2 ) @(A+D+1)+@(A+D)+@(A+D-2)+@(A)+@(A-3) 6( 5, *:2) @(A+D+3)+@(A+D+2)+@(A+D)+@(A+2)+@(A-1) 7( 6, 5 ) @(A+D+4)+@(A+D-2)+@(A+2)+@(A)+@(A-1)+@(A-3) 51 6* @(p)+@(p-6)+@(q)+@(q-1)+@(q-4)+@(q-5) A=q-2, D=p-q-3 0 1 1( 0, *:A) @(A) 2( 1, 1:A-3) @(A)+@(A-3) 3( 2, 1 ) @(A+1)+@(A-3) 4( 3, 2 ) @(A+1)+@(A)+@(A-2) 5( 4, *:D+1) @(A+D+2)+@(A+D+1)+@(A+D-1) 6( 5, 3 ) @(A+D+2)+@(A+D+1)+@(A+D-1)+@(A+1)+@(A-3) 7( 6, 5 ) @(A+D+3)+@(A+D+2)+@(A+D)+@(A+1)+@(A-3) 8( 7, 6 ) @(A+D+4)+@(A+D+1)+@(A+D)+@(A+D-1)+@(A+2)+@(A-2) 9( 8, 7 ) @(A+D+5)+@(A+D-1)+@(A+2)+@(A+1)+@(A-2)+@(A-3) 52 6* @(p)+@(p-6)+@(q)+@(q-1)+@(q-3)+@(q-4) A=q-1, D=p-q-3 0 1 1( 0, *:A) @(A) 2( 1, 1:A-3) @(A)+@(A-3) 3( 2, 1:A-1) @(A)+@(A-1)+@(A-3) 4( 3, *:D+1) @(A+D+1)+@(A+D)+@(A+D-2) 5( 4, 2 ) @(A+D+1)+@(A+D)+@(A+D-2)+@(A)+@(A-3) 6( 5, 4 ) @(A+D+2)+@(A+D+1)+@(A+D-1)+@(A)+@(A-3) 7( 6, 5 ) @(A+D+3)+@(A+D)+@(A+D-1)+@(A+D-2)+@(A+1)+@(A-2) 8( 7, 6 ) @(A+D+4)+@(A+D-2)+@(A+1)+@(A)+@(A-2)+@(A-3) 53 6* @(p)+@(p-6)+@(q)+@(q-1)+@(q-2)+@(q-3) A=p-4, B=q-3 0 1 1( 0, *:A) @(A) 2( 1, 1:B) @(A)+@(B) 3( 2, 1:A-2) @(A)+@(A-2)+@(B) 4( 3, 2 ) @(A+1)+@(A-2)+@(B+1) 5( 4, 2 ) @(A+1)+@(A)+@(A-2)+@(B+1)+@(B) 6( 5, *:2) @(A+3)+@(A+2)+@(A)+@(B+3)+@(B+2) 7( 6, 5 ) @(A+4)+@(A-2)+@(B+3)+@(B+2)+@(B+1)+@(B) 54 6* @(p)+@(p-5)+@(p-6)+@(p-7)+@(q)+@(q-3) A=p-5, C=q-3 0 1 1( 0, *:A) @(A) 2( 1, 1:A-2) @(A)+@(A-2) 3( 2, 1:C) @(A)+@(A-2)+@(C) 4( 3, 2 ) @(A+1)+@(A-1)+@(C) 5( 4, 2 ) @(A+1)+@(A)+@(A-1)+@(A-2)+@(C) 6( 5, *:3) @(A+4)+@(A+3)+@(A+2)+@(A+1)+@(C+3) 7( 6, 5 ) @(A+5)+@(A)+@(A-1)+@(A-2)+@(C+3)+@(C) 55 6* @(p)+@(p-5)+@(p-6)+@(p-7)+@(q)+@(q-2) A=p-4, C=q-2 0 1 1( 0, *:A) @(A) 2( 1, 1:A-3) @(A)+@(A-3) 3( 2, 1:C) @(A)+@(A-3)+@(C) 4( 3, 2 ) @(A+1)+@(A-2)+@(C) 5( 4, 2 ) @(A+1)+@(A)+@(A-2)+@(A-3)+@(C) 6( 5, *:2) @(A+3)+@(A+2)+@(A)+@(A-1)+@(C+2) 7( 6, 5 ) @(A+4)+@(A-1)+@(A-2)+@(A-3)+@(C+2)+@(C) 56 6* @(p)+@(p-5)+@(p-6)+@(p-7)+@(q)+@(q-1) A=p-5, D=q-1 0 1 1( 0, *:A) @(A) 2( 1, 1:A-2) @(A)+@(A-2) 3( 2, *:3) @(A+3)+@(A+1) 4( 3, 1:D) @(A+3)+@(A+1)+@(D) 5( 4, 2 ) @(A+3)+@(A+1)+@(A)+@(A-2)+@(D) 6( 5, *:1) @(A+4)+@(A+2)+@(A+1)+@(A-1)+@(D+1) 7( 6, 5 ) @(A+5)+@(A)+@(A-1)+@(A-2)+@(D+1)+@(D) 57 6* @(p)+@(p-5)+@(q)+@(q-3)+@(q-4)+@(q-5) A=q-2, D=p-q-2 0 1 1( 0, *:A) @(A) 2( 1, 1:A-3) @(A)+@(A-3) 3( 2, 1:A-1) @(A)+@(A-1)+@(A-3) 4( 3, 2 ) @(A+1)+@(A-1)+@(A-2) 5( 4, *:D+1) @(A+D+2)+@(A+D)+@(A+D-1) 6( 5, 3 ) @(A+D+2)+@(A+D)+@(A+D-1)+@(A)+@(A-1)+@(A-3) 7( 6, *:1) @(A+D+3)+@(A+D+1)+@(A+D)+@(A+1)+@(A)+@(A-2) 8( 7, 6 ) @(A+D+4)+@(A+D-1)+@(A+2)+@(A-1)+@(A-2)+@(A-3) 58 6* @(p)+@(p-5)+@(q)+@(q-2)+@(q-4)+@(q-5) A=p-6, B=q-5 0 1 1( 0, *:A) @(A) 2( 1, 1:B) @(A)+@(B) 3( 2, 1 ) @(A+1)+@(B) 4( 3, 2 ) @(A+1)+@(A)+@(B+1) 5( 4, *:2) @(A+3)+@(A+2)+@(B+3) 6( 5, 3 ) @(A+3)+@(A+2)+@(A+1)+@(B+3)+@(B) 7( 6, 5 ) @(A+4)+@(A+3)+@(A+1)+@(B+4)+@(B) 8( 7, 6 ) @(A+5)+@(A+3)+@(B+4)+@(B+3)+@(B+1) 9( 8, 7 ) @(A+6)+@(A+1)+@(B+5)+@(B+3)+@(B+1)+@(B) 59 6* @(p)+@(p-5)+@(q)+@(q-2)+@(q-3)+@(q-4) A=p-5, B=q-4 0 1 1( 0, *:A) @(A) 2( 1, 1:B) @(A)+@(B) 3( 2, 1:A-1) @(A)+@(A-1)+@(B) 4( 3, *:2) @(A+2)+@(A+1)+@(B+2) 5( 4, 2 ) @(A+2)+@(A+1)+@(A)+@(B+2)+@(B) 6( 5, 4 ) @(A+3)+@(A+2)+@(A)+@(B+3)+@(B) 7( 6, 5 ) @(A+4)+@(A+2)+@(B+3)+@(B+2)+@(B+1) 8( 7, 6 ) @(A+5)+@(A)+@(B+4)+@(B+2)+@(B+1)+@(B) 60 6* @(p)+@(p-5)+@(q)+@(q-1)+@(q-3)+@(q-4) A=q-1, D=p-q-2 0 1 1( 0, *:A) @(A) 2( 1, 1:A-3) @(A)+@(A-3) 3( 2, 1:A-2) @(A)+@(A-2)+@(A-3) 4( 3, *:D+1) @(A+D+1)+@(A+D-1)+@(A+D-2) 5( 4, 2 ) @(A+D+1)+@(A+D-1)+@(A+D-2)+@(A)+@(A-3) 6( 5, *:1) @(A+D+2)+@(A+D)+@(A+D-1)+@(A+1)+@(A-2) 7( 6, 5 ) @(A+D+3)+@(A+D-2)+@(A+1)+@(A)+@(A-2)+@(A-3) 61 6* @(p)+@(p-5)+@(q)+@(q-1)+@(q-2)+@(q-3) A=p-4, B=q-3 0 1 1( 0, *:A) @(A) 2( 1, 1:B) @(A)+@(B) 3( 2, 1:A-3) @(A)+@(A-3)+@(B) 4( 3, *:2) @(A+2)+@(A-1)+@(B+2) 5( 4, 2 ) @(A+2)+@(A)+@(A-1)+@(B+2)+@(B) 6( 5, *:1) @(A+3)+@(A+1)+@(A)+@(B+3)+@(B+1) 7( 6, 5 ) @(A+4)+@(A-1)+@(B+3)+@(B+2)+@(B+1)+@(B) 62 6* @(p)+@(p-4)+@(p-7)+@(p-11)+@(p-12)+@(p-13) A=p-12 0 1 1( 0, *:A) @(A) 2( 1, 1:A-1) @(A)+@(A-1) 3( 2, *:2) @(A+2)+@(A+1) 4( 3, 2 ) @(A+2)+@(A+1)+@(A)+@(A-1) 5( 4, *:6) @(A+8)+@(A+7)+@(A+6)+@(A+5) 6( 5, 4 ) @(A+8)+@(A+7)+@(A+6)+@(A+5)+@(A+2)+@(A+1)+@(A)+@(A-1) 7( 6, *:3) @(A+11)+@(A+10)+@(A+9)+@(A+8)+@(A+5)+@(A+4)+@(A+3)+@(A+2) 8( 7, 6 ) @(A+12)+@(A+8)+@(A+5)+@(A+1)+@(A)+@(A-1) 63 6* @(p)+@(p-4)+@(p-7)+@(p-8)+@(p-9)+@(p-11) A=p-6 0 1 1( 0, *:A) @(A) 2( 1, 1:A-1) @(A)+@(A-1) 3( 2, 1:A-5) @(A)+@(A-1)+@(A-5) 4( 3, *:2) @(A+2)+@(A+1)+@(A-3) 5( 4, 3 ) @(A+2)+@(A+1)+@(A)+@(A-1)+@(A-3)+@(A-5) 6( 5, *:3) @(A+5)+@(A+4)+@(A+3)+@(A+2)+@(A)+@(A-2) 7( 6, 5 ) @(A+6)+@(A+2)+@(A-1)+@(A-2)+@(A-3)+@(A-5) 64 6* @(p)+@(p-4)+@(p-6)+@(q)+@(q-2)+@(q-4) ,q>=5 A=q-3, D=p-q-2 0 1 1( 0, *:A) @(A) 2( 1, 1:A-2) @(A)+@(A-2) 3( 2, 1 ) @(A+1)+@(A-2) 4( 3, 2 ) @(A+1)+@(A)+@(A-1) 5( 4, 3 ) @(A+2)+@(A)+@(A-1)+@(A-2) 6( 5, *:D+1) @(A+D+3)+@(A+D+1)+@(A+D)+@(A+D-1) 7( 6, 4 ) @(A+D+3)+@(A+D+1)+@(A+D)+@(A+D-1)+@(A+1)+@(A)+@(A-1) 8( 7, *:1) @(A+D+4)+@(A+D+2)+@(A+D+1)+@(A+D)+@(A+2)+@(A+1)+@(A) 9( 8, 7 ) @(A+D+5)+@(A+D+1)+@(A+D-1)+@(A+3)+@(A+1)+@(A-1) 65 6* @(p)+@(p-4)+@(p-6)+@(q)+@(q-1)+@(q-3) A=p-5, C=q-3 0 1 1( 0, *:A) @(A) 2( 1, 1:A-1) @(A)+@(A-1) 3( 2, 1:C) @(A)+@(A-1)+@(C) 4( 3, 2 ) @(A+1)+@(A)+@(C) 5( 4, *:1) @(A+2)+@(A+1)+@(C+1) 6( 5, 3 ) @(A+2)+@(A+1)+@(A)+@(A-1)+@(C+1)+@(C) 7( 6, 5 ) @(A+3)+@(A+2)+@(A)+@(A-1)+@(C+2)+@(C) 8( 7, 6 ) @(A+4)+@(A+2)+@(A)+@(C+3) 9( 8, 7 ) @(A+5)+@(A+1)+@(A-1)+@(C+3)+@(C+2)+@(C) 66 6* @(p)+@(p-4)+@(p-6)+@(q)+@(q-1)+@(q-2) ,q>=3 A=p-5, C=q-3 0 1 1( 0, *:A) @(A) 2( 1, 1:A-1) @(A)+@(A-1) 3( 2, 1:C) @(A)+@(A-1)+@(C) 4( 3, 2 ) @(A+1)+@(A)+@(C) 5( 4, 3 ) @(A+2)+@(A-1)+@(C+1) 6( 5, 4 ) @(A+2)+@(A+1)+@(A)+@(A-1)+@(C+1)+@(C) 7( 6, *:2) @(A+4)+@(A+3)+@(A+2)+@(A+1)+@(C+3)+@(C+2) 8( 7, 5 ) @(A+5)+@(A+1)+@(A-1)+@(C+3)+@(C+2)+@(C+1) 67 6* @(p)+@(p-4)+@(p-5)+@(q)+@(q-2)+@(q-4) A=q-2, D=p-q-2 0 1 1( 0, *:A) @(A) 2( 1, 1:A-1) @(A)+@(A-1) 3( 2, 1:A-2) @(A)+@(A-1)+@(A-2) 4( 3, *:D+1) @(A+D+1)+@(A+D)+@(A+D-1) 5( 4, 3 ) @(A+D+1)+@(A+D)+@(A+D-1)+@(A)+@(A-1)+@(A-2) 6( 5, 4 ) @(A+D+2)+@(A+D+1)+@(A+D)+@(A)+@(A-1)+@(A-2) 7( 6, 5 ) @(A+D+3)+@(A+D+1)+@(A+D-1)+@(A+1)+@(A)+@(A-1) 8( 7, 6 ) @(A+D+4)+@(A+D)+@(A+D-1)+@(A+2)+@(A)+@(A-2) 68 6* @(p)+@(p-4)+@(p-5)+@(q)+@(q-1)+@(q-4) A=q-2, D=p-q-2 0 1 1( 0, *:A) @(A) 2( 1, 1:A-2) @(A)+@(A-2) 3( 2, 1:A-1) @(A)+@(A-1)+@(A-2) 4( 3, *:D+1) @(A+D+1)+@(A+D)+@(A+D-1) 5( 4, 2 ) @(A+D+1)+@(A+D)+@(A+D-1)+@(A)+@(A-2) 6( 5, *:2) @(A+D+3)+@(A+D+2)+@(A+D+1)+@(A+2)+@(A) 7( 6, 5 ) @(A+D+4)+@(A+D)+@(A+D-1)+@(A+2)+@(A+1)+@(A-2) 69 6* @(p)+@(p-4)+@(p-5)+@(q)+@(q-1)+@(q-2) A=q, D=p-q-2 0 1 1( 0, *:A) @(A) 2( 1, 1:A-1) @(A)+@(A-1) 3( 2, 1:A-2) @(A)+@(A-1)+@(A-2) 4( 3, *:D+1) @(A+D+1)+@(A+D)+@(A+D-1) 5( 4, 3 ) @(A+D+1)+@(A+D)+@(A+D-1)+@(A)+@(A-1)+@(A-2) 6( 5, 4:D-1) @(A+D+2)+@(A+D-2)+@(A+D-3)+@(A)+@(A-1)+@(A-2) 70 6* @(p)+@(p-4)+@(q)+@(q-1)+@(q-2)+@(q-3) A=q-2, E=p-q-2 0 1 1( 0, *:A) @(A) 2( 1, 1:A-1) @(A)+@(A-1) 3( 2, *:2) @(A+2)+@(A+1) 4( 3, 2 ) @(A+2)+@(A+1)+@(A)+@(A-1) 5( 4, 1 ) @(A+3)+@(A-1) 6( 5, *:E+1) @(A+E+4)+@(A+E) 7( 6, 4 ) @(A+E+4)+@(A+E)+@(A+2)+@(A+1)+@(A)+@(A-1) 71 6* @(p)+@(p-3)+@(p-5)+@(p-6)+@(q)+@(q-2) A=p-4, C=q-2 0 1 1( 0, *:A) @(A) 2( 1, 1:A-2) @(A)+@(A-2) 3( 2, 1:C) @(A)+@(A-2)+@(C) 4( 3, 2 ) @(A+1)+@(A-1)+@(C) 5( 4, 2 ) @(A+1)+@(A)+@(A-1)+@(A-2)+@(C) 6( 5, *:2) @(A+3)+@(A+2)+@(A+1)+@(A)+@(C+2) 7( 6, 5 ) @(A+4)+@(A+1)+@(A-1)+@(A-2)+@(C+2)+@(C) 72 6* @(p)+@(p-3)+@(q)+@(q-5)+@(-p+2q-3)+@(-p+2q-4) A=q-4, C=-p+2q-4 0 1 1( 0, *:A) @(A) 2( 1, 1:A-1) @(A)+@(A-1) 3( 2, 1:C) @(A)+@(A-1)+@(C) 4( 3, *:A-C+2) @(2A-C+2)+@(2A-C+1)+@(A+2) 5( 4, 3 ) @(2A-C+2)+@(2A-C+1)+@(A+2)+@(A)+@(A-1)+@(C) 6( 5, *:1) @(2A-C+3)+@(2A-C+2)+@(A+3)+@(A+1)+@(A)+@(C+1) 7( 6, 5 ) @(2A-C+4)+@(2A-C+1)+@(A+4)+@(A-1)+@(C+1)+@(C) 73 6* @(p)+@(p-3)+@(q)+@(q-5)+@(-p+2q-2)+@(-p+2q-3) A=q-4, C=-p+2q-3 0 1 1( 0, *:A) @(A) 2( 1, 1:A-1) @(A)+@(A-1) 3( 2, 1:C) @(A)+@(A-1)+@(C) 4( 3, 2 ) @(A+1)+@(A)+@(C) 5( 4, *:A-C+2) @(2A-C+3)+@(2A-C+2)+@(A+2) 6( 5, 3 ) @(2A-C+3)+@(2A-C+2)+@(A+2)+@(A)+@(A-1)+@(C) 7( 6, *:1) @(2A-C+4)+@(2A-C+3)+@(A+3)+@(A+1)+@(A)+@(C+1) 8( 7, 6 ) @(2A-C+5)+@(2A-C+2)+@(A+4)+@(A-1)+@(C+1)+@(C) 74 6* @(p)+@(p-3)+@(q)+@(q-3)+@(r)+@(r-1) A=p-3, B=q-3, C=r-1 0 1 1( 0, *:A) @(A) 2( 1, 1:B) @(A)+@(B) 3( 2, 1:C) @(A)+@(B)+@(C) 4( 3, 2 ) @(A+1)+@(B+1)+@(C) 5( 4, 2 ) @(A+1)+@(A)+@(B+1)+@(B)+@(C) 6( 5, *:1) @(A+2)+@(A+1)+@(B+2)+@(B+1)+@(C+1) 7( 6, 5 ) @(A+3)+@(A)+@(B+3)+@(B)+@(C+1)+@(C) 75 6* @(p)+@(p-3)+@(q)+@(q-1)+@(r)+@(r-3) A=p-3, B=r-3, C=q-1 0 1 1( 0, *:A) @(A) 2( 1, 1:B) @(A)+@(B) 3( 2, 1:C) @(A)+@(C)+@(B) 4( 3, 2 ) @(A+1)+@(C)+@(B+1) 5( 4, 2 ) @(A+1)+@(A)+@(C)+@(B+1)+@(B) 6( 5, *:1) @(A+2)+@(A+1)+@(C+1)+@(B+2)+@(B+1) 7( 6, 5 ) @(A+3)+@(A)+@(C+1)+@(C)+@(B+3)+@(B) 76 6* @(p)+@(p-3)+@(q)+@(q-1)+@(r)+@(r-1) A=p-2, C=q-1, D=r-1 0 1 1( 0, *:A) @(A) 2( 1, 1:A-1) @(A)+@(A-1) 3( 2, 1:C) @(A)+@(A-1)+@(C) 4( 3, 1:D) @(A)+@(A-1)+@(C)+@(D) 5( 4, *:1) @(A+1)+@(A)+@(C+1)+@(D+1) 6( 5, 4 ) @(A+2)+@(A-1)+@(C+1)+@(C)+@(D+1)+@(D) 77 6* @(p)+@(p-3)+@(q)+@(q-1)+@(r)+@(-p+q+r) A=r-1, B=-p+q+r, D=p-r-2 0 1 1( 0, *:A) @(A) 2( 1, 1:B) @(A)+@(B) 3( 2, 1 ) @(A+1)+@(B) 4( 3, 2 ) @(A+1)+@(A)+@(B+1) 5( 4, *:D+1) @(A+D+2)+@(A+D+1)+@(B+D+2) 6( 5, 3 ) @(A+D+2)+@(A+D+1)+@(B+D+2)+@(A+1)+@(B) 7( 6, 5:D) @(A+D+3)+@(A+D)+@(B+D+2)+@(B+D+1)+@(A+1)+@(B) 78 6* @(p)+@(p-3)+@(q)+@(q-1)+@(r)+@(-p+q+r+1) A=r, B=-p+q+r+1, D=p-r-2 0 1 1( 0, *:A) @(A) 2( 1, 1:B) @(A)+@(B) 3( 2, 1:A-1) @(A)+@(A-1)+@(B) 4( 3, *:D+1) @(A+D+1)+@(A+D)+@(B+D+1) 5( 4, 2 ) @(A+D+1)+@(A+D)+@(B+D+1)+@(A)+@(B) 6( 5, 4:D) @(A+D+2)+@(A+D-1)+@(B+D+1)+@(B+D)+@(A)+@(B) 79 6* @(p)+@(p-3)+@(q)+@(q-1)+@(r)+@(-p+q+r+2) A=q, C=-p+q+r+2, D=p-q-3 0 1 1( 0, *:A) @(A) 2( 1, 1:A-1) @(A)+@(A-1) 3( 2, 1:C) @(A)+@(A-1)+@(C) 4( 3, 2 ) @(A+1)+@(A)+@(C) 5( 4, 2 ) @(A+2)+@(A-1)+@(C) 6( 5, *:D+1) @(A+D+3)+@(A+D)+@(C+D+1) 7( 6, 3 ) @(A+D+3)+@(A+D)+@(A)+@(A-1)+@(C+D+1)+@(C) 80 6* @(p)+@(p-3)+@(q)+@(r)+@(r-1)+@(-p+q+r) A=r-1, C=-p+q+r, D=p-r-2 0 1 1( 0, *:A) @(A) 2( 1, 1:A-1) @(A)+@(A-1) 3( 2, 1:C) @(A)+@(A-1)+@(C) 4( 3, 2 ) @(A+1)+@(A)+@(C) 5( 4, 3 ) @(A+2)+@(A-1)+@(C+1) 6( 5, *:D+1) @(A+D+3)+@(A+D)+@(C+D+2) 7( 6, 4 ) @(A+D+3)+@(A+D)+@(C+D+2)+@(A+1)+@(A)+@(C) 81 6* @(p)+@(p-3)+@(q)+@(r)+@(r-1)+@(-p+q+r+1) A=q, B=-p+q+r+1, D=p-q-2 0 1 1( 0, *:A) @(A) 2( 1, 1:B) @(A)+@(B) 3( 2, 1:A-1) @(A)+@(A-1)+@(B) 4( 3, *:D+1) @(A+D+1)+@(A+D)+@(B+D+1) 5( 4, 2 ) @(A+D+1)+@(A+D)+@(A)+@(B+D+1)+@(B) 6( 5, 4:D) @(A+D+2)+@(A+D-1)+@(A)+@(B+D+1)+@(B+D)+@(B) 82 6* @(p)+@(p-3)+@(q)+@(r)+@(r-1)+@(-p+q+r+2) A=r, C=-p+q+r+2, D=p-r-3 0 1 1( 0, *:A) @(A) 2( 1, 1:A-1) @(A)+@(A-1) 3( 2, 1:C) @(A)+@(A-1)+@(C) 4( 3, 2 ) @(A+1)+@(A)+@(C) 5( 4, 2 ) @(A+2)+@(A-1)+@(C) 6( 5, *:D+1) @(A+D+3)+@(A+D)+@(C+D+1) 7( 6, 3 ) @(A+D+3)+@(A+D)+@(C+D+1)+@(A)+@(A-1)+@(C) 83 6* @(p)+@(p-2)+@(p-4)+@(q)+@(q-1)+@(q-2) A=q, D=p-q-2 0 1 1( 0, *:A) @(A) 2( 1, 1:A-1) @(A)+@(A-1) 3( 2, 1:A-2) @(A)+@(A-1)+@(A-2) 4( 3, *:D+1) @(A+D+1)+@(A+D)+@(A+D-1) 5( 4, 3 ) @(A+D+1)+@(A+D)+@(A+D-1)+@(A)+@(A-1)+@(A-2) 6( 5, 4:D) @(A+D+2)+@(A+D)+@(A+D-2)+@(A)+@(A-1)+@(A-2) 84 6* @(p)+@(p-2)+@(q)+@(q-4)+@(-p+2q-3)+@(-p+2q-4) A=q-4, B=-p+2q-4 0 1 1( 0, *:A) @(A) 2( 1, 1:B) @(A)+@(B) 3( 2, 1 ) @(A+1)+@(B) 4( 3, 2 ) @(A+1)+@(A)+@(B+1) 5( 4, 3 ) @(A+2)+@(A)+@(B+1)+@(B) 6( 5, *:A-B+2) @(2A-B+4)+@(2A-B+2)+@(A+3)+@(A+2) 7( 6, 5 ) @(2A-B+4)+@(2A-B+2)+@(A+4)+@(A)+@(B+1)+@(B) 85 6* @(p)+@(p-2)+@(q)+@(q-4)+@(-p+2q-2)+@(-p+2q-3) A=-p+2q-2, D=p-q-2 0 1 1( 0, *:A) @(A) 2( 1, 1:A-1) @(A)+@(A-1) 3( 2, 1 ) @(A+1)+@(A-1) 4( 3, *:D+1) @(A+D+2)+@(A+D) 5( 4, 2 ) @(A+D+2)+@(A+D)+@(A)+@(A-1) 6( 5, 4 ) @(A+D+3)+@(A+D+1)+@(A)+@(A-1) 7( 6, *:D+3) @(A+2D+6)+@(A+2D+4)+@(A+D+3)+@(A+D+2) 8( 7, 5 ) @(A+2D+6)+@(A+2D+4)+@(A+D+4)+@(A+D)+@(A)+@(A-1) 86 6* @(p)+@(p-1)+@(p-2)+@(p-3)+@(q)+@(q-3) A=p-3, B=q-3 0 1 1( 0, *:A) @(A) 2( 1, 1:B) @(A)+@(B) 3( 2, 1 ) @(A+1)+@(B) 4( 3, 2 ) @(A+1)+@(A)+@(B+1) 5( 4, 3 ) @(A+2)+@(A)+@(B+1)+@(B) 6( 5, *:1) @(A+3)+@(A+1)+@(B+2)+@(B+1) 7( 6, 5 ) @(A+3)+@(A+2)+@(A+1)+@(A)+@(B+3)+@(B) 87 6* @(p)+@(p-1)+@(q)+@(q-3)+@(-p+2q-3)+@(-p+2q-4) A=-p+2q-3, C=p-q 0 1 1( 0, *:A) @(A) 2( 1, 1:A-1) @(A)+@(A-1) 3( 2, *:C+1) @(A+C+1)+@(A+C) 4( 3, 2 ) @(A+C+1)+@(A+C)+@(A)+@(A-1) 5( 4, *:C+2) @(A+2C+3)+@(A+2C+2)+@(A+C+2)+@(A+C+1) 6( 5, 4 ) @(A+2C+3)+@(A+2C+2)+@(A+C+3)+@(A+C)+@(A)+@(A-1) 88 6* @(p)+@(p-1)+@(q)+@(q-3)+@(-p+2q-2)+@(-p+2q-3) A=q-3, B=-p+2q-3 0 1 1( 0, *:A) @(A) 2( 1, 1:B) @(A)+@(B) 3( 2, 1 ) @(A+1)+@(B) 4( 3, *:A-B+1) @(2A-B+2)+@(A+1) 5( 4, 2 ) @(2A-B+2)+@(A+1)+@(A)+@(B) 6( 5, *:1) @(2A-B+3)+@(A+2)+@(A+1)+@(B+1) 7( 6, 5 ) @(2A-B+3)+@(2A-B+2)+@(A+3)+@(A)+@(B+1)+@(B) 89 6* @(p)+@(q)+@(p-7)+@(q-3)+@(q-4)+@(q-5) ,q>=6 A=q-5, C=p-q-2 0 1 1( 0, *:A) @(A) 2( 1, 1:A-1) @(A)+@(A-1) 3( 2, *:C+1) @(A+C+1)+@(A+C) 4( 3, 2 ) @(A+C+1)+@(A+C)+@(A)+@(A-1) 5( 4, 3 ) @(A+C+2)+@(A+C+1)+@(A)+@(A-1) 6( 5, 4 ) @(A+C+3)+@(A+C)+@(A+1)+@(A) 7( 6, 5 ) @(A+C+3)+@(A+C+2)+@(A+C+1)+@(A+C)+@(A+2)+@(A-1) 8( 7, *:3) @(A+C+6)+@(A+C+5)+@(A+C+4)+@(A+C+3)+@(A+5)+@(A+2) 9( 8, 6 ) @(A+C+7)+@(A+5)+@(A+C)+@(A+2)+@(A+1)+@(A) 90 6* @(p)+@(q)+@(p-5)+@(q-3)+@(q-4)+@(q-5) A=q-4, E=p-q-2 0 1 1( 0, *:A) @(A) 2( 1, 1:A-1) @(A)+@(A-1) 3( 2, *:3) @(A+3)+@(A+2) 4( 3, 2 ) @(A+3)+@(A+2)+@(A)+@(A-1) 5( 4, 3:2) @(A+4)+@(A+1)+@(A)+@(A-1) 6( 5, 4 ) @(A+5)+@(A) 7( 6, *:E+1) @(A+E+6)+@(A+E+1) 8( 7, 5 ) @(A+E+6)+@(A+4)+@(A+E+1)+@(A+1)+@(A)+@(A-1) 91 6* @(p)+@(q)+@(p-3)+@(q-3)+@(r)+@(r-1) A=r, D=p-r-3, E=q-r-3 0 1 1( 0, *:A) @(A) 2( 1, 1:A-1) @(A)+@(A-1) 3( 2, *:1) @(A+1)+@(A) 4( 3, 2 ) @(A+2)+@(A-1) 5( 4, *:D+1) @(A+D+3)+@(A+D) 6( 5, 2 ) @(A+D+3)+@(A+D)+@(A)+@(A-1) 7( 6, 5:E+1) @(A+D+3)+@(A+E+3)+@(A+D)+@(A+E)+@(A)+@(A-1) 92 6* @(p)+@(q)+@(q-2)+@(r)+@(r-1)+@(-p+q+r+1) ,-p+q+r>=0 A=q-1, B=-p+q+r, D=p-q-2 0 1 1( 0, *:A) @(A) 2( 1, 1:B) @(A)+@(B) 3( 2, 1:A-1) @(A)+@(A-1)+@(B) 4( 3, 2 ) @(A+1)+@(A-1)+@(B+1) 5( 4, 3 ) @(A+2)+@(B+1)+@(B) 6( 5, *:D+1) @(A+D+3)+@(B+D+2)+@(B+D+1) 7( 6, 4 ) @(A+D+3)+@(A+1)+@(A-1)+@(B+D+2)+@(B+D+1)+@(B+1) 93 6* @(p)+@(q)+@(q-1)+@(p-7)+@(q-4)+@(q-5) A=q-4, E=p-q-3 0 1 1( 0, *:A) @(A) 2( 1, 1:A-1) @(A)+@(A-1) 3( 2, *:3) @(A+3)+@(A+2) 4( 3, 2 ) @(A+3)+@(A+2)+@(A)+@(A-1) 5( 4, 3 ) @(A+4)+@(A+3)+@(A)+@(A-1) 6( 5, 4 ) @(A+5)+@(A+2)+@(A+1)+@(A) 7( 6, 5 ) @(A+6)+@(A-1) 8( 7, *:E+1) @(A+E+7)+@(A+E) 9( 8, 5 ) @(A+E+7)+@(A+4)+@(A+3)+@(A+E)+@(A)+@(A-1) 94 6* @(p)+@(q)+@(q-1)+@(q-4)+@(-p+2q-2)+@(-p+2q-3) A=q-4, B=-p+2q-3 0 1 1( 0, *:A) @(A) 2( 1, 1:B) @(A)+@(B) 3( 2, 1 ) @(A+1)+@(B) 4( 3, 2 ) @(A+1)+@(A)+@(B+1) 5( 4, 3 ) @(A+2)+@(A)+@(B+1)+@(B) 6( 5, 4 ) @(A+3)+@(B+2)+@(B) 7( 6, *:A-B+2) @(2A-B+5)+@(A+4)+@(A+2) 8( 7, 5 ) @(2A-B+5)+@(A+4)+@(A+3)+@(A)+@(B+1)+@(B) 95 6* @(p)+@(q)+@(q-1)+@(q-2)+@(q-3)+@(p-7) A=p-6, F=-p+q+3 0 1 1( 0, *:A) @(A) 2( 1, 1:A-1) @(A)+@(A-1) 3( 2, *:1) @(A+1)+@(A) 4( 3, 2 ) @(A+2)+@(A-1) 5( 4, 3 ) @(A+2)+@(A+1)+@(A)+@(A-1) 6( 5, *:3) @(A+5)+@(A+4)+@(A+3)+@(A+2) 7( 6, 4 ) @(A+6)+@(A-1) 8( 7, 6:F+1) @(A+6)+@(A+F+3)+@(A+F+2)+@(A+F+1)+@(A+F)+@(A-1) 96 6* @(p)+@(q)+@(q-1)+@(q-2)+@(-p+2q)+@(-2p+3q-2) A=-p+2q-2, B=-2p+3q-2 0 1 1( 0, *:A) @(A) 2( 1, 1:B) @(A)+@(B) 3( 2, 1 ) @(A+1)+@(B) 4( 3, *:A-B+1) @(2A-B+2)+@(A+1) 5( 4, 2 ) @(2A-B+2)+@(A+1)+@(A)+@(B) 6( 5, *:A-B) @(3A-2B+2)+@(2A-B+1)+@(2A-B)+@(A) 7( 6, 5 ) @(3A-2B+2)+@(2A-B+2)+@(2A-B+1)+@(2A-B)+@(A+2)+@(B) 97 6* @(p)+@(q)+@(q-1)+@(-p+2q+1)+@(-2p+3q+1)+@(-3p+4q+1) A=-2p+3q, B=-3p+4q+1 0 1 1( 0, *:A) @(A) 2( 1, 1:B) @(A)+@(B) 3( 2, 1 ) @(A+1)+@(B) 4( 3, *:A-B) @(2A-B+1)+@(A) 5( 4, 2 ) @(2A-B+1)+@(A+1)+@(B) 6( 5, 4 ) @(2A-B+2)+@(A+1)+@(A)+@(B) 7( 6, *:2A-2B+1) @(4A-3B+3)+@(3A-2B+2)+@(3A-2B+1)+@(2A-B+1) 8( 7, 5 ) @(4A-3B+3)+@(3A-2B+2)+@(3A-2B+1)+@(2A-B+2)+@(A+1)+@(B) 98 6* @(p)+@(q)+@(q-1)+@(r)+@(r-2)+@(-p+q+r+1) ,-p+q+r>=0 A=r-1, B=-p+q+r, D=p-r-2 0 1 1( 0, *:A) @(A) 2( 1, 1:B) @(A)+@(B) 3( 2, 1:A-1) @(A)+@(A-1)+@(B) 4( 3, 2 ) @(A+1)+@(A-1)+@(B+1) 5( 4, 3 ) @(A+2)+@(B+1)+@(B) 6( 5, *:D+1) @(A+D+3)+@(B+D+2)+@(B+D+1) 7( 6, 4 ) @(A+D+3)+@(B+D+2)+@(B+D+1)+@(A+1)+@(A-1)+@(B+1) 99 6* @(p)+@(q)+@(q-1)+@(r)+@(r-1)+@(-p+q+r+1) A=q, B=-p+q+r+1, D=p-q-3 0 1 1( 0, *:A) @(A) 2( 1, 1:B) @(A)+@(B) 3( 2, 1:A-1) @(A)+@(A-1)+@(B) 4( 3, 2 ) @(A+1)+@(A-1)+@(B+1) 5( 4, 3 ) @(A+2)+@(B+1)+@(B) 6( 5, *:D+1) @(A+D+3)+@(B+D+2)+@(B+D+1) 7( 6, 3 ) @(A+D+3)+@(A)+@(A-1)+@(B+D+2)+@(B+D+1)+@(B) 100 6* @(p)+@(q)+@(-p+2q)+@(-2p+3q-1)+@(-2p+3q-2)+@(-3p+4q-1) A=-p+2q-1, D=p-q-2 0 1 1( 0, *:A) @(A) 2( 1, 1:A-2D-4) @(A)+@(A-2D-4) 3( 2, 1 ) @(A+1)+@(A-2D-4) 4( 3, *:D+1) @(A+D+2)+@(A-D-3) 5( 4, 2 ) @(A+D+2)+@(A)+@(A-D-3)+@(A-2D-4) 6( 5, 4 ) @(A+D+3)+@(A)+@(A-D-2)+@(A-2D-4) 7( 6, *:D+2) @(A+2D+5)+@(A+D+2)+@(A)+@(A-D-2) 8( 7, 5 ) @(A+2D+5)+@(A+D+3)+@(A+1)+@(A-D-2)+@(A-D-3)+@(A-2D-4) 101 6* @(p)+@(q)+@(-p+2q-2)+@(-p+2q-3)+@(-p+2q-4)+@(-2p+3q-4) A=-p+2q-4, B=-2p+3q-4 0 1 1( 0, *:A) @(A) 2( 1, 1:B) @(A)+@(B) 3( 2, 1 ) @(A+1)+@(B) 4( 3, *:A-B+1) @(2A-B+2)+@(A+1) 5( 4, 2 ) @(2A-B+2)+@(A+1)+@(A)+@(B) 6( 5, *:A-B+2) @(3A-2B+4)+@(2A-B+3)+@(2A-B+2)+@(A+2) 7( 6, 5 ) @(3A-2B+4)+@(2A-B+4)+@(A+2)+@(A+1)+@(A)+@(B) 102 6* @(p)+@(q)+@(-p+2q-2)+@(r)+@(-p+q+r+1)+@(-2p+2q+r) A=-p+q+r, B=-2p+2q+r, D=p-r-3 0 1 1( 0, *:A) @(A) 2( 1, 1:B) @(A)+@(B) 3( 2, 1 ) @(A+1)+@(B) 4( 3, *:D+1) @(A+D+2)+@(B+D+1) 5( 4, 2 ) @(A+D+2)+@(B+D+1)+@(A)+@(B) 6( 5, 4 ) @(A+D+3)+@(B+D+2)+@(A)+@(B) 7( 6, *:A-B) @(2A-B+D+3)+@(A+D+2)+@(2A-B)+@(A) 8( 7, 5 ) @(2A-B+D+3)+@(A+D+3)+@(B+D+1)+@(2A-B)+@(A+1)+@(B) 103 6* @(p)+@(q)+@(-p+2q-1)+@(-2p+3q-2)+@(-2p+3q-3)+@(-3p+4q-3) A=-2p+3q-3, B=-3p+4q-3 0 1 1( 0, *:A) @(A) 2( 1, 1:B) @(A)+@(B) 3( 2, 1 ) @(A+1)+@(B) 4( 3, *:2A-2B+1) @(3A-2B+2)+@(2A-B+1) 5( 4, 2 ) @(3A-2B+2)+@(2A-B+1)+@(A)+@(B) 6( 5, *:A-B+1) @(4A-3B+3)+@(3A-2B+2)+@(2A-B+1)+@(A+1) 7( 6, 5 ) @(4A-3B+3)+@(3A-2B+3)+@(2A-B+2)+@(A+1)+@(A)+@(B) 104 6* @(p)+@(q)+@(r)+@(-p+2q-2)+@(-p+q+r+1)+@(-2p+2q+r) A=-p+q+r, B=-2p+2q+r, D=p-r-3 0 1 1( 0, *:A) @(A) 2( 1, 1:B) @(A)+@(B) 3( 2, 1 ) @(A+1)+@(B) 4( 3, *:D+1) @(A+D+2)+@(B+D+1) 5( 4, 2 ) @(A+D+2)+@(B+D+1)+@(A)+@(B) 6( 5, 4 ) @(A+D+3)+@(B+D+2)+@(A)+@(B) 7( 6, *:A-B) @(2A-B+D+3)+@(A+D+2)+@(2A-B)+@(A) 8( 7, 5 ) @(2A-B+D+3)+@(A+D+3)+@(2A-B)+@(B+D+1)+@(A+1)+@(B) 105 6* @(p)+@(q)+@(r)+@(-p+q+r)+@(s)+@(-p+q+s) A=q, B=-p+q+r, C=-p+q+s, D=p-q-1 0 1 1( 0, *:A) @(A) 2( 1, 1:B) @(A)+@(B) 3( 2, 1:C) @(A)+@(B)+@(C) 4( 3, *:D+1) @(A+D+1)+@(B+D+1)+@(C+D+1) 5( 4, 3 ) @(A+D+1)+@(A)+@(B+D+1)+@(B)+@(C+D+1)+@(C) 106 6* @(p)+@(q)+@(r)+@(-p+q+r)+@(s)+@(-p+q+s+1) A=q, B=-p+q+r, C=-p+q+s+1, D=p-q-2 0 1 1( 0, *:A) @(A) 2( 1, 1:B) @(A)+@(B) 3( 2, 1:C) @(A)+@(B)+@(C) 4( 3, 2 ) @(A+1)+@(B+1)+@(C) 5( 4, *:D+1) @(A+D+2)+@(B+D+2)+@(C+D+1) 6( 5, 3 ) @(A+D+2)+@(A)+@(B+D+2)+@(B)+@(C+D+1)+@(C) 107 6* @(p)+@(q)+@(r)+@(-p+q+r)+@(s)+@(-p+r+s) A=r, B=-p+q+r, C=-p+r+s, D=p-r-1 0 1 1( 0, *:A) @(A) 2( 1, 1:B) @(A)+@(B) 3( 2, 1:C) @(A)+@(B)+@(C) 4( 3, *:D+1) @(A+D+1)+@(B+D+1)+@(C+D+1) 5( 4, 3 ) @(A+D+1)+@(B+D+1)+@(A)+@(B)+@(C+D+1)+@(C) 108 6* @(p)+@(q)+@(r)+@(-p+q+r)+@(s)+@(-p+r+s+1) A=r, B=-p+q+r, C=-p+r+s+1, D=p-r-2 0 1 1( 0, *:A) @(A) 2( 1, 1:B) @(A)+@(B) 3( 2, 1:C) @(A)+@(B)+@(C) 4( 3, 2 ) @(A+1)+@(B+1)+@(C) 5( 4, *:D+1) @(A+D+2)+@(B+D+2)+@(C+D+1) 6( 5, 3 ) @(A+D+2)+@(B+D+2)+@(A)+@(B)+@(C+D+1)+@(C) 109 6* @(p)+@(q)+@(r)+@(-p+q+r+1)+@(-p+2r-2)+@(-2p+q+2r) A=-p+q+r, B=-2p+q+2r, D=p-q-3 0 1 1( 0, *:A) @(A) 2( 1, 1:B) @(A)+@(B) 3( 2, 1 ) @(A+1)+@(B) 4( 3, *:D+1) @(A+D+2)+@(B+D+1) 5( 4, 2 ) @(A+D+2)+@(A)+@(B+D+1)+@(B) 6( 5, 4 ) @(A+D+3)+@(A)+@(B+D+2)+@(B) 7( 6, *:A-B) @(2A-B+D+3)+@(2A-B)+@(A+D+2)+@(A) 8( 7, 5 ) @(2A-B+D+3)+@(2A-B)+@(A+D+3)+@(A+1)+@(B+D+1)+@(B) 110 6* @(p)+@(q)+@(r)+@(-p+q+r+1)+@(s)+@(-p+q+s) A=q, B=-p+q+s, C=-p+q+r+1, D=p-q-2 0 1 1( 0, *:A) @(A) 2( 1, 1:B) @(A)+@(B) 3( 2, 1:C) @(A)+@(C)+@(B) 4( 3, 2 ) @(A+1)+@(C)+@(B+1) 5( 4, *:D+1) @(A+D+2)+@(C+D+1)+@(B+D+2) 6( 5, 3 ) @(A+D+2)+@(A)+@(C+D+1)+@(C)+@(B+D+2)+@(B) 111 6* @(p)+@(q)+@(r)+@(-p+q+r+1)+@(s)+@(-p+q+s+1) A=q, B=-p+q+r+1, C=-p+q+s+1, E=p-q-2 0 1 1( 0, *:A) @(A) 2( 1, 1:B) @(A)+@(B) 3( 2, 1:C) @(A)+@(B)+@(C) 4( 3, 1 ) @(A+1)+@(B)+@(C) 5( 4, *:E+1) @(A+E+2)+@(B+E+1)+@(C+E+1) 6( 5, 3 ) @(A+E+2)+@(A)+@(B+E+1)+@(B)+@(C+E+1)+@(C) 112 6* @(p)+@(q)+@(r)+@(-p+q+r+1)+@(s)+@(-p+r+s) A=r, B=-p+r+s, C=-p+q+r+1, D=p-r-2 0 1 1( 0, *:A) @(A) 2( 1, 1:B) @(A)+@(B) 3( 2, 1:C) @(A)+@(C)+@(B) 4( 3, 2 ) @(A+1)+@(C)+@(B+1) 5( 4, *:D+1) @(A+D+2)+@(C+D+1)+@(B+D+2) 6( 5, 3 ) @(A+D+2)+@(C+D+1)+@(A)+@(C)+@(B+D+2)+@(B) 113 6* @(p)+@(q)+@(r)+@(-p+q+r+1)+@(s)+@(-p+r+s+1) A=r, B=-p+q+r+1, C=-p+r+s+1, E=p-r-2 0 1 1( 0, *:A) @(A) 2( 1, 1:B) @(A)+@(B) 3( 2, 1:C) @(A)+@(B)+@(C) 4( 3, 1 ) @(A+1)+@(B)+@(C) 5( 4, *:E+1) @(A+E+2)+@(B+E+1)+@(C+E+1) 6( 5, 3 ) @(A+E+2)+@(B+E+1)+@(A)+@(B)+@(C+E+1)+@(C) 114 6* @(p)+@(q)+@(r)+@(s)+@(-p+q+r)+@(-p+q+s) A=q, B=-p+q+r, C=-p+q+s, D=p-q-1 0 1 1( 0, *:A) @(A) 2( 1, 1:B) @(A)+@(B) 3( 2, 1:C) @(A)+@(B)+@(C) 4( 3, *:D+1) @(A+D+1)+@(B+D+1)+@(C+D+1) 5( 4, 3 ) @(A+D+1)+@(A)+@(B+D+1)+@(C+D+1)+@(B)+@(C) 115 6* @(p)+@(q)+@(r)+@(s)+@(-p+q+r)+@(-p+q+s+1) A=q, B=-p+q+r, C=-p+q+s+1, D=p-q-2 0 1 1( 0, *:A) @(A) 2( 1, 1:B) @(A)+@(B) 3( 2, 1:C) @(A)+@(B)+@(C) 4( 3, 2 ) @(A+1)+@(B+1)+@(C) 5( 4, *:D+1) @(A+D+2)+@(B+D+2)+@(C+D+1) 6( 5, 3 ) @(A+D+2)+@(A)+@(B+D+2)+@(C+D+1)+@(B)+@(C) 116 6* @(p)+@(q)+@(r)+@(s)+@(-p+q+r)+@(-p+r+s) A=r, B=-p+q+r, C=-p+r+s, D=p-r-1 0 1 1( 0, *:A) @(A) 2( 1, 1:B) @(A)+@(B) 3( 2, 1:C) @(A)+@(B)+@(C) 4( 3, *:D+1) @(A+D+1)+@(B+D+1)+@(C+D+1) 5( 4, 3 ) @(A+D+1)+@(B+D+1)+@(A)+@(C+D+1)+@(B)+@(C) 117 6* @(p)+@(q)+@(r)+@(s)+@(-p+q+r)+@(-p+r+s+1) A=r, B=-p+q+r, C=-p+r+s+1, D=p-r-2 0 1 1( 0, *:A) @(A) 2( 1, 1:B) @(A)+@(B) 3( 2, 1:C) @(A)+@(B)+@(C) 4( 3, 2 ) @(A+1)+@(B+1)+@(C) 5( 4, *:D+1) @(A+D+2)+@(B+D+2)+@(C+D+1) 6( 5, 3 ) @(A+D+2)+@(B+D+2)+@(A)+@(C+D+1)+@(B)+@(C) 118 6* @(p)+@(q)+@(r)+@(s)+@(-p+q+r+1)+@(-p+q+s) A=q, B=-p+q+s, C=-p+q+r+1, D=p-q-2 0 1 1( 0, *:A) @(A) 2( 1, 1:B) @(A)+@(B) 3( 2, 1:C) @(A)+@(C)+@(B) 4( 3, 2 ) @(A+1)+@(C)+@(B+1) 5( 4, *:D+1) @(A+D+2)+@(C+D+1)+@(B+D+2) 6( 5, 3 ) @(A+D+2)+@(A)+@(C+D+1)+@(B+D+2)+@(C)+@(B) 119 6* @(p)+@(q)+@(r)+@(s)+@(-p+q+r+1)+@(-p+q+s+1) A=q, B=-p+q+r+1, C=-p+q+s+1, E=p-q-2 0 1 1( 0, *:A) @(A) 2( 1, 1:B) @(A)+@(B) 3( 2, 1:C) @(A)+@(B)+@(C) 4( 3, 1 ) @(A+1)+@(B)+@(C) 5( 4, *:E+1) @(A+E+2)+@(B+E+1)+@(C+E+1) 6( 5, 3 ) @(A+E+2)+@(A)+@(B+E+1)+@(C+E+1)+@(B)+@(C) 120 6* @(p)+@(q)+@(r)+@(s)+@(-p+q+r+1)+@(-p+r+s) A=r, B=-p+r+s, C=-p+q+r+1, D=p-r-2 0 1 1( 0, *:A) @(A) 2( 1, 1:B) @(A)+@(B) 3( 2, 1:C) @(A)+@(C)+@(B) 4( 3, 2 ) @(A+1)+@(C)+@(B+1) 5( 4, *:D+1) @(A+D+2)+@(C+D+1)+@(B+D+2) 6( 5, 3 ) @(A+D+2)+@(C+D+1)+@(A)+@(B+D+2)+@(C)+@(B) 121 6* @(p)+@(q)+@(r)+@(s)+@(-p+q+r+1)+@(-p+r+s+1) A=r, B=-p+q+r+1, C=-p+r+s+1, E=p-r-2 0 1 1( 0, *:A) @(A) 2( 1, 1:B) @(A)+@(B) 3( 2, 1:C) @(A)+@(B)+@(C) 4( 3, 1 ) @(A+1)+@(B)+@(C) 5( 4, *:E+1) @(A+E+2)+@(B+E+1)+@(C+E+1) 6( 5, 3 ) @(A+E+2)+@(B+E+1)+@(A)+@(C+E+1)+@(B)+@(C) 122 6* @(p)+@(q)+@(r)+@(s)+@(-p+q+s)+@(-p+r+s) A=s, B=-p+q+s, C=-p+r+s, D=p-s-1 0 1 1( 0, *:A) @(A) 2( 1, 1:B) @(A)+@(B) 3( 2, 1:C) @(A)+@(B)+@(C) 4( 3, *:D+1) @(A+D+1)+@(B+D+1)+@(C+D+1) 5( 4, 3 ) @(A+D+1)+@(B+D+1)+@(C+D+1)+@(A)+@(B)+@(C) 123 6* @(p)+@(q)+@(r)+@(s)+@(-p+q+s)+@(-p+r+s+1) A=s, B=-p+q+s, C=-p+r+s+1, D=p-s-2 0 1 1( 0, *:A) @(A) 2( 1, 1:B) @(A)+@(B) 3( 2, 1:C) @(A)+@(B)+@(C) 4( 3, 2 ) @(A+1)+@(B+1)+@(C) 5( 4, *:D+1) @(A+D+2)+@(B+D+2)+@(C+D+1) 6( 5, 3 ) @(A+D+2)+@(B+D+2)+@(C+D+1)+@(A)+@(B)+@(C) 124 6* @(p)+@(q)+@(r)+@(s)+@(-p+q+s+1)+@(-p+r+s) A=s, B=-p+r+s, C=-p+q+s+1, D=p-s-2 0 1 1( 0, *:A) @(A) 2( 1, 1:B) @(A)+@(B) 3( 2, 1:C) @(A)+@(C)+@(B) 4( 3, 2 ) @(A+1)+@(C)+@(B+1) 5( 4, *:D+1) @(A+D+2)+@(C+D+1)+@(B+D+2) 6( 5, 3 ) @(A+D+2)+@(C+D+1)+@(B+D+2)+@(A)+@(C)+@(B) 125 6* @(p)+@(q)+@(r)+@(s)+@(-p+q+s+1)+@(-p+r+s+1) A=s, B=-p+q+s+1, C=-p+r+s+1, E=p-s-2 0 1 1( 0, *:A) @(A) 2( 1, 1:B) @(A)+@(B) 3( 2, 1:C) @(A)+@(B)+@(C) 4( 3, 1 ) @(A+1)+@(B)+@(C) 5( 4, *:E+1) @(A+E+2)+@(B+E+1)+@(C+E+1) 6( 5, 3 ) @(A+E+2)+@(B+E+1)+@(C+E+1)+@(A)+@(B)+@(C) 126 7* @(p)+@(p-6)+@(p-7)+@(p-8)+@(p-10)+@(p-11)+@(p-12) A=p-9 0 1 1( 0, *:A) @(A) 2( 1, 1:A-3) @(A)+@(A-3) 3( 2, 1 ) @(A+1)+@(A-3) 4( 3, *:4) @(A+5)+@(A+1) 5( 4, 2 ) @(A+5)+@(A+1)+@(A)+@(A-3) 6( 5, *:2) @(A+7)+@(A+3)+@(A+2)+@(A-1) 7( 6, 5 ) @(A+7)+@(A+5)+@(A+3)+@(A+2)+@(A+1)+@(A)+@(A-1)+@(A-3) 8( 7, *:1) @(A+8)+@(A+6)+@(A+4)+@(A+3)+@(A+2)+@(A+1)+@(A)+@(A-2) 9( 8, 7 ) @(A+9)+@(A+3)+@(A+2)+@(A+1)+@(A-1)+@(A-2)+@(A-3) 127 7* @(p)+@(p-5)+@(p-6)+@(p-7)+@(q)+@(q-2)+@(q-6) A=p-7, B=q-6 0 1 1( 0, *:A) @(A) 2( 1, 1:B) @(A)+@(B) 3( 2, 1 ) @(A+1)+@(B) 4( 3, 2 ) @(A+1)+@(A)+@(B+1) 5( 4, 3 ) @(A+2)+@(A)+@(B+1)+@(B) 6( 5, *:3) @(A+5)+@(A+3)+@(B+4)+@(B+3) 7( 6, 5 ) @(A+5)+@(A+3)+@(A+2)+@(A)+@(B+4)+@(B+3)+@(B+1)+@(B) 8( 7, *:1) @(A+6)+@(A+4)+@(A+3)+@(A+1)+@(B+5)+@(B+4)+@(B+2)+@(B+1) 9( 8, 7 ) @(A+7)+@(A+2)+@(A+1)+@(A)+@(B+6)+@(B+4)+@(B) 128 7* @(p)+@(p-5)+@(p-6)+@(p-7)+@(q)+@(q-1)+@(q-4) A=p-6, C=q-4 0 1 1( 0, *:A) @(A) 2( 1, 1:A-1) @(A)+@(A-1) 3( 2, 1:C) @(A)+@(A-1)+@(C) 4( 3, 2 ) @(A+1)+@(A)+@(C) 5( 4, *:2) @(A+3)+@(A+2)+@(C+2) 6( 5, 3 ) @(A+3)+@(A+2)+@(A)+@(A-1)+@(C+2)+@(C) 7( 6, *:2) @(A+5)+@(A+4)+@(A+2)+@(A+1)+@(C+4)+@(C+2) 8( 7, 6 ) @(A+6)+@(A+1)+@(A)+@(A-1)+@(C+4)+@(C+3)+@(C) 129 7* @(p)+@(p-4)+@(p-6)+@(q)+@(q-3)+@(q-4)+@(q-5) A=q-4, F=p-q-2 0 1 1( 0, *:A) @(A) 2( 1, 1:A-1) @(A)+@(A-1) 3( 2, 1 ) @(A+1)+@(A-1) 4( 3, *:1) @(A+2)+@(A) 5( 4, 2 ) @(A+2)+@(A+1)+@(A-1) 6( 5, 4 ) @(A+3)+@(A+1)+@(A)+@(A-1) 7( 6, *:F+1) @(A+F+4)+@(A+F+2)+@(A+F+1)+@(A+F) 8( 7, 5 ) @(A+F+4)+@(A+F+2)+@(A+F+1)+@(A+F)+@(A+2)+@(A+1)+@(A-1) 9( 8, *:1) @(A+F+5)+@(A+F+3)+@(A+F+2)+@(A+F+1)+@(A+3)+@(A+2)+@(A) 10( 9, 8 ) @(A+F+6)+@(A+F+2)+@(A+F)+@(A+4)+@(A+1)+@(A)+@(A-1) 130 7* @(p)+@(p-4)+@(p-6)+@(q)+@(q-2)+@(q-3)+@(q-4) A=p-5, C=q-4 0 1 1( 0, *:A) @(A) 2( 1, 1:A-1) @(A)+@(A-1) 3( 2, 1:C) @(A)+@(A-1)+@(C) 4( 3, *:2) @(A+2)+@(A+1)+@(C+2) 5( 4, 3 ) @(A+2)+@(A+1)+@(A)+@(A-1)+@(C+2)+@(C) 6( 5, 4 ) @(A+3)+@(A+2)+@(A)+@(A-1)+@(C+3)+@(C) 7( 6, 5 ) @(A+4)+@(A+2)+@(A)+@(C+3)+@(C+2)+@(C+1) 8( 7, 6 ) @(A+5)+@(A+1)+@(A-1)+@(C+4)+@(C+2)+@(C+1)+@(C) 131 7* @(p)+@(p-4)+@(p-6)+@(q)+@(q-1)+@(q-3)+@(q-4) A=p-5, B=q-4 0 1 1( 0, *:A) @(A) 2( 1, 1:B) @(A)+@(B) 3( 2, 1:A-1) @(A)+@(A-1)+@(B) 4( 3, 2 ) @(A+1)+@(A-1)+@(B+1) 5( 4, *:2) @(A+3)+@(A+1)+@(B+3) 6( 5, 3 ) @(A+3)+@(A+1)+@(A)+@(A-1)+@(B+3)+@(B) 7( 6, *:1) @(A+4)+@(A+2)+@(A+1)+@(A)+@(B+4)+@(B+1) 8( 7, 6 ) @(A+5)+@(A+1)+@(A-1)+@(B+4)+@(B+3)+@(B+1)+@(B) 132 7* @(p)+@(p-4)+@(p-6)+@(q)+@(q-1)+@(q-2)+@(q-3) A=p-5, C=q-3 0 1 1( 0, *:A) @(A) 2( 1, 1:A-1) @(A)+@(A-1) 3( 2, 1:C) @(A)+@(A-1)+@(C) 4( 3, 1 ) @(A+1)+@(A-1)+@(C) 5( 4, *:2) @(A+3)+@(A+1)+@(C+2) 6( 5, 3 ) @(A+3)+@(A+1)+@(A)+@(A-1)+@(C+2)+@(C) 7( 6, *:1) @(A+4)+@(A+2)+@(A+1)+@(A)+@(C+3)+@(C+1) 8( 7, 6 ) @(A+5)+@(A+1)+@(A-1)+@(C+3)+@(C+2)+@(C+1)+@(C) 133 7* @(p)+@(p-4)+@(p-5)+@(p-6)+@(p-8)+@(p-9)+@(p-10) A=p-9 0 1 1( 0, *:A) @(A) 2( 1, 1:A-1) @(A)+@(A-1) 3( 2, 1 ) @(A+1)+@(A-1) 4( 3, *:1) @(A+2)+@(A) 5( 4, 2 ) @(A+2)+@(A+1)+@(A-1) 6( 5, 4 ) @(A+3)+@(A+1)+@(A)+@(A-1) 7( 6, *:4) @(A+7)+@(A+5)+@(A+4)+@(A+3) 8( 7, 5 ) @(A+7)+@(A+5)+@(A+4)+@(A+3)+@(A+2)+@(A+1)+@(A-1) 9( 8, *:1) @(A+8)+@(A+6)+@(A+5)+@(A+4)+@(A+3)+@(A+2)+@(A) 10( 9, 8 ) @(A+9)+@(A+5)+@(A+4)+@(A+3)+@(A+1)+@(A)+@(A-1) 134 7* @(p)+@(p-4)+@(p-5)+@(q)+@(q-2)+@(q-3)+@(q-5) A=q-3, D=p-q-2 0 1 1( 0, *:A) @(A) 2( 1, 1:A-2) @(A)+@(A-2) 3( 2, 1 ) @(A+1)+@(A-2) 4( 3, 2 ) @(A+1)+@(A)+@(A-1) 5( 4, *:D+1) @(A+D+2)+@(A+D+1)+@(A+D) 6( 5, 3 ) @(A+D+2)+@(A+D+1)+@(A+D)+@(A+1)+@(A-2) 7( 6, *:2) @(A+D+4)+@(A+D+3)+@(A+D+2)+@(A+3)+@(A) 8( 7, 6 ) @(A+D+5)+@(A+D+1)+@(A+D)+@(A+3)+@(A+1)+@(A)+@(A-2) 135 7* @(p)+@(p-4)+@(p-5)+@(q)+@(q-1)+@(q-2)+@(q-3) A=p-4, B=q-3 0 1 1( 0, *:A) @(A) 2( 1, 1:B) @(A)+@(B) 3( 2, 1:A-1) @(A)+@(A-1)+@(B) 4( 3, 2 ) @(A+1)+@(A-1)+@(B+1) 5( 4, 2 ) @(A+1)+@(A)+@(A-1)+@(B+1)+@(B) 6( 5, *:2) @(A+3)+@(A+2)+@(A+1)+@(B+3)+@(B+2) 7( 6, 5 ) @(A+4)+@(A)+@(A-1)+@(B+3)+@(B+2)+@(B+1)+@(B) 136 7* @(p)+@(p-3)+@(p-4)+@(p-6)+@(p-7)+@(p-8)+@(p-10) A=p-6 0 1 1( 0, *:A) @(A) 2( 1, 1:A-4) @(A)+@(A-4) 3( 2, 1 ) @(A+1)+@(A-4) 4( 3, 2 ) @(A+1)+@(A)+@(A-3) 5( 4, 3 ) @(A+2)+@(A)+@(A-3)+@(A-4) 6( 5, *:2) @(A+4)+@(A+2)+@(A-1)+@(A-2) 7( 6, 5 ) @(A+4)+@(A+3)+@(A)+@(A-1)+@(A-2)+@(A-3)+@(A-4) 8( 7, *:1) @(A+5)+@(A+4)+@(A+1)+@(A)+@(A-1)+@(A-2)+@(A-3) 9( 8, 7 ) @(A+6)+@(A+3)+@(A+2)+@(A)+@(A-1)+@(A-2)+@(A-4) 137 7* @(p)+@(p-3)+@(p-4)+@(p-5)+@(q)+@(q-2)+@(q-4) A=q-2, D=p-q-2 0 1 1( 0, *:A) @(A) 2( 1, 1:A-1) @(A)+@(A-1) 3( 2, 1:A-2) @(A)+@(A-1)+@(A-2) 4( 3, 2 ) @(A+1)+@(A)+@(A-2) 5( 4, *:D+1) @(A+D+2)+@(A+D+1)+@(A+D-1) 6( 5, 3 ) @(A+D+2)+@(A+D+1)+@(A+D-1)+@(A)+@(A-1)+@(A-2) 7( 6, *:1) @(A+D+3)+@(A+D+2)+@(A+D)+@(A+1)+@(A)+@(A-1) 8( 7, 6 ) @(A+D+4)+@(A+D+1)+@(A+D)+@(A+D-1)+@(A+2)+@(A)+@(A-2) 138 7* @(p)+@(p-3)+@(q)+@(q-2)+@(q-4)+@(-p+2q-3)+@(-p+2q-4) A=q-2, C=-p+2q-4 0 1 1( 0, *:A) @(A) 2( 1, 1:A-1) @(A)+@(A-1) 3( 2, 1:C) @(A)+@(A-1)+@(C) 4( 3, *:A-C-2) @(2A-C-2)+@(2A-C-3)+@(A-2) 5( 4, 3 ) @(2A-C-2)+@(2A-C-3)+@(A)+@(A-1)+@(A-2)+@(C) 6( 5, *:1) @(2A-C-1)+@(2A-C-2)+@(A+1)+@(A)+@(A-1)+@(C+1) 7( 6, 5 ) @(2A-C)+@(2A-C-3)+@(A+2)+@(A)+@(A-2)+@(C+1)+@(C) 139 7* @(p)+@(p-3)+@(q)+@(q-2)+@(q-4)+@(-p+2q-2)+@(-p+2q-3) A=q-3, C=-p+2q-3 0 1 1( 0, *:A) @(A) 2( 1, 1:A-1) @(A)+@(A-1) 3( 2, 1:C) @(A)+@(A-1)+@(C) 4( 3, *:A-C+1) @(2A-C+1)+@(2A-C)+@(A+1) 5( 4, 3 ) @(2A-C+1)+@(2A-C)+@(A+1)+@(A)+@(A-1)+@(C) 6( 5, *:1) @(2A-C+2)+@(2A-C+1)+@(A+2)+@(A+1)+@(A)+@(C+1) 7( 6, 5 ) @(2A-C+3)+@(2A-C)+@(A+3)+@(A+1)+@(A-1)+@(C+1)+@(C) 140 7* @(p)+@(p-3)+@(q)+@(q-2)+@(q-4)+@(-p+2q-1)+@(-p+2q-2) A=q-3, C=-p+2q-2 0 1 1( 0, *:A) @(A) 2( 1, 1:A-1) @(A)+@(A-1) 3( 2, 1:C) @(A)+@(A-1)+@(C) 4( 3, 2 ) @(A+1)+@(A)+@(C) 5( 4, *:A-C+1) @(2A-C+2)+@(2A-C+1)+@(A+1) 6( 5, 3 ) @(2A-C+2)+@(2A-C+1)+@(A+1)+@(A)+@(A-1)+@(C) 7( 6, *:1) @(2A-C+3)+@(2A-C+2)+@(A+2)+@(A+1)+@(A)+@(C+1) 8( 7, 6 ) @(2A-C+4)+@(2A-C+1)+@(A+3)+@(A+1)+@(A-1)+@(C+1)+@(C) 141 7* @(p)+@(p-3)+@(q)+@(q-1)+@(r)+@(r-1)+@(-p+q+r+1) A=r, C=-p+q+r+1, D=p-r-2 0 1 1( 0, *:A) @(A) 2( 1, 1:A-1) @(A)+@(A-1) 3( 2, 1:C) @(A)+@(A-1)+@(C) 4( 3, *:D+1) @(A+D+1)+@(A+D)+@(C+D+1) 5( 4, 3 ) @(A+D+1)+@(A+D)+@(C+D+1)+@(A)+@(A-1)+@(C) 6( 5, 4:D) @(A+D+2)+@(A+D-1)+@(C+D+1)+@(C+D)+@(A)+@(A-1)+@(C) 142 7* @(p)+@(p-3)+@(q)+@(q-1)+@(r)+@(r-1)+@(-p+q+r+2) A=r, C=-p+q+r+2, D=p-r-3 0 1 1( 0, *:A) @(A) 2( 1, 1:A-1) @(A)+@(A-1) 3( 2, 1:C) @(A)+@(A-1)+@(C) 4( 3, 2 ) @(A+1)+@(A)+@(C) 5( 4, *:D+1) @(A+D+2)+@(A+D+1)+@(C+D+1) 6( 5, 3 ) @(A+D+2)+@(A+D+1)+@(C+D+1)+@(A)+@(A-1)+@(C) 7( 6, 5:D) @(A+D+3)+@(A+D)+@(C+D+1)+@(C+D)+@(A)+@(A-1)+@(C) 143 7* @(p)+@(p-2)+@(p-6)+@(q)+@(q-1)+@(q-3)+@(q-4) A=p-5, C=q-4 0 1 1( 0, *:A) @(A) 2( 1, 1:A-1) @(A)+@(A-1) 3( 2, 1:C) @(A)+@(A-1)+@(C) 4( 3, *:3) @(A+3)+@(A+2)+@(C+3) 5( 4, 3 ) @(A+3)+@(A+2)+@(A)+@(A-1)+@(C+3)+@(C) 6( 5, *:1) @(A+4)+@(A+3)+@(A+1)+@(A)+@(C+4)+@(C+1) 7( 6, 5 ) @(A+5)+@(A+3)+@(A-1)+@(C+4)+@(C+3)+@(C+1)+@(C) 144 7* @(p)+@(p-2)+@(p-6)+@(q)+@(q-1)+@(q-2)+@(q-3) A=p-5, C=q-3 0 1 1( 0, *:A) @(A) 2( 1, 1:A-1) @(A)+@(A-1) 3( 2, 1:C) @(A)+@(A-1)+@(C) 4( 3, 2 ) @(A+1)+@(A)+@(C) 5( 4, *:2) @(A+3)+@(A+2)+@(C+2) 6( 5, 3 ) @(A+3)+@(A+2)+@(A)+@(A-1)+@(C+2)+@(C) 7( 6, *:1) @(A+4)+@(A+3)+@(A+1)+@(A)+@(C+3)+@(C+1) 8( 7, 6 ) @(A+5)+@(A+3)+@(A-1)+@(C+3)+@(C+2)+@(C+1)+@(C) 145 7* @(p)+@(p-2)+@(p-4)+@(q)+@(q-1)+@(q-3)+@(q-4) A=q-2, D=p-q-2 0 1 1( 0, *:A) @(A) 2( 1, 1:A-2) @(A)+@(A-2) 3( 2, 1 ) @(A+1)+@(A-2) 4( 3, 2 ) @(A+1)+@(A)+@(A-1) 5( 4, *:D+1) @(A+D+2)+@(A+D+1)+@(A+D) 6( 5, 3 ) @(A+D+2)+@(A+D+1)+@(A+D)+@(A+1)+@(A-2) 7( 6, *:1) @(A+D+3)+@(A+D+2)+@(A+D+1)+@(A+2)+@(A-1) 8( 7, 6 ) @(A+D+4)+@(A+D+2)+@(A+D)+@(A+2)+@(A+1)+@(A-1)+@(A-2) 146 7* @(p)+@(p-2)+@(p-4)+@(q)+@(q-1)+@(q-2)+@(q-3) A=q-1, D=p-q-2 0 1 1( 0, *:A) @(A) 2( 1, 1:A-2) @(A)+@(A-2) 3( 2, 1:A-1) @(A)+@(A-1)+@(A-2) 4( 3, *:D+1) @(A+D+1)+@(A+D)+@(A+D-1) 5( 4, 2 ) @(A+D+1)+@(A+D)+@(A+D-1)+@(A)+@(A-2) 6( 5, *:1) @(A+D+2)+@(A+D+1)+@(A+D)+@(A+1)+@(A-1) 7( 6, 5 ) @(A+D+3)+@(A+D+1)+@(A+D-1)+@(A+1)+@(A)+@(A-1)+@(A-2) 147 7* @(p)+@(p-2)+@(q)+@(q-1)+@(r)+@(r-1)+@(-p+q+r+1) ,-p+q+r>=0 A=r-1, B=-p+q+r, D=p-r-2 0 1 1( 0, *:A) @(A) 2( 1, 1:B) @(A)+@(B) 3( 2, 1 ) @(A+1)+@(B) 4( 3, 2 ) @(A+1)+@(A)+@(B+1) 5( 4, 3 ) @(A+2)+@(A)+@(B+1)+@(B) 6( 5, *:D+1) @(A+D+3)+@(A+D+1)+@(B+D+2)+@(B+D+1) 7( 6, 4 ) @(A+D+3)+@(A+D+1)+@(B+D+2)+@(B+D+1)+@(A+1)+@(A)+@(B+1) 148 7* @(p)+@(q)+@(q-2)+@(r)+@(r-2)+@(-p+q+r)+@(-p+q+r-1) A=r-2, B=-p+q+r-1, D=p-r-2 0 1 1( 0, *:A) @(A) 2( 1, 1:B) @(A)+@(B) 3( 2, 1 ) @(A+1)+@(B) 4( 3, 2 ) @(A+1)+@(A)+@(B+1) 5( 4, 3 ) @(A+2)+@(A)+@(B+1)+@(B) 6( 5, 4 ) @(A+3)+@(B+2)+@(B) 7( 6, *:D+1) @(A+D+4)+@(B+D+3)+@(B+D+1) 8( 7, 5 ) @(A+D+4)+@(B+D+3)+@(B+D+1)+@(A+2)+@(A)+@(B+1)+@(B) 149 7* @(p)+@(q)+@(q-1)+@(-p+2q)+@(r)+@(-p+q+r+1)+@(-2p+2q+r+1) A=-p+q+r, B=-2p+2q+r+1, F=p-r-2 0 1 1( 0, *:A) @(A) 2( 1, 1:B) @(A)+@(B) 3( 2, 1 ) @(A+1)+@(B) 4( 3, *:A-B) @(2A-B+1)+@(A) 5( 4, 2 ) @(2A-B+1)+@(A+1)+@(B) 6( 5, 4 ) @(2A-B+2)+@(A+1)+@(A)+@(B) 7( 6, *:F+1) @(2A-B+F+3)+@(A+F+2)+@(A+F+1)+@(B+F+1) 8( 7, 5 ) @(2A-B+F+3)+@(A+F+2)+@(A+F+1)+@(B+F+1)+@(2A-B+1)+@(A+1)+@(B) 150 7* @(p)+@(q)+@(q-1)+@(-p+2q-1)+@(r)+@(-p+q+r+1)+@(-2p+2q+r) A=-p+q+r, B=-2p+2q+r, E=p-r-2 0 1 1( 0, *:A) @(A) 2( 1, 1:B) @(A)+@(B) 3( 2, *:A-B) @(2A-B)+@(A) 4( 3, 2 ) @(2A-B)+@(A+1)+@(B) 5( 4, 3 ) @(2A-B+1)+@(A+1)+@(A)+@(B) 6( 5, *:E+1) @(2A-B+E+2)+@(A+E+2)+@(A+E+1)+@(B+E+1) 7( 6, 4 ) @(2A-B+E+2)+@(A+E+2)+@(A+E+1)+@(B+E+1)+@(2A-B)+@(A+1)+@(B) 151 7* @(p)+@(q)+@(q-1)+@(r)+@(-p+2q)+@(-p+q+r+1)+@(-2p+2q+r+1) A=-p+2q, B=-2p+2q+r+1, D=p-q-2 0 1 1( 0, *:A) @(A) 2( 1, 1:B) @(A)+@(B) 3( 2, 1 ) @(A+1)+@(B) 4( 3, *:D+1) @(A+D+2)+@(B+D+1) 5( 4, 2 ) @(A+D+2)+@(A)+@(B+D+1)+@(B) 6( 5, 4 ) @(A+D+3)+@(A)+@(B+D+2)+@(B) 7( 6, *:D+1) @(A+2D+4)+@(A+D+1)+@(B+2D+3)+@(B+D+1) 8( 7, 5 ) @(A+2D+4)+@(A+D+2)+@(A+D+1)+@(B+2D+3)+@(A)+@(B+D+2)+@(B) 152 7* @(p)+@(q)+@(q-1)+@(r)+@(-p+2q-1)+@(-p+q+r+1)+@(-2p+2q+r) A=-p+q+r, B=-2p+2q+r, D=p-r-2 0 1 1( 0, *:A) @(A) 2( 1, 1:B) @(A)+@(B) 3( 2, 1 ) @(A+1)+@(B) 4( 3, *:D+1) @(A+D+2)+@(B+D+1) 5( 4, 2 ) @(A+D+2)+@(B+D+1)+@(A)+@(B) 6( 5, *:A-B) @(2A-B+D+2)+@(A+D+1)+@(2A-B)+@(A) 7( 6, 5 ) @(2A-B+D+2)+@(A+D+2)+@(A+D+1)+@(2A-B)+@(B+D+1)+@(A+1)+@(B) 153 7* @(p)+@(q)+@(q-1)+@(r)+@(r-1)+@(-p+q+r+1)+@(-p+q+r) A=r-1, B=-p+q+r, E=p-r-2 0 1 1( 0, *:A) @(A) 2( 1, 1:B) @(A)+@(B) 3( 2, *:1) @(A+1)+@(B+1) 4( 3, 2 ) @(A+1)+@(A)+@(B+1)+@(B) 5( 4, 1 ) @(A+2)+@(B+1)+@(B) 6( 5, *:E+1) @(A+E+3)+@(B+E+2)+@(B+E+1) 7( 6, 4 ) @(A+E+3)+@(B+E+2)+@(B+E+1)+@(A+1)+@(A)+@(B+1)+@(B) 154 7* @(p)+@(q)+@(-p+2q-2)+@(r)+@(-p+q+r)+@(-p+q+r-1)+@(-2p+2q+r-1) A=-p+q+r, B=-2p+2q+r-1, E=p-r-2 0 1 1( 0, *:A) @(A) 2( 1, 1:B) @(A)+@(B) 3( 2, *:A-B-1) @(2A-B-1)+@(A-1) 4( 3, 2 ) @(2A-B-1)+@(A)+@(A-1)+@(B) 5( 4, 3 ) @(2A-B)+@(A+1)+@(B) 6( 5, *:E+1) @(2A-B+E+1)+@(A+E+2)+@(B+E+1) 7( 6, 4 ) @(2A-B+E+1)+@(A+E+2)+@(B+E+1)+@(2A-B-1)+@(A)+@(A-1)+@(B) 155 7* @(p)+@(q)+@(-p+2q-1)+@(r)+@(-p+q+r)+@(-p+q+r-1)+@(-2p+2q+r) A=-p+q+r, B=-2p+2q+r, F=p-r-2 0 1 1( 0, *:A) @(A) 2( 1, 1:B) @(A)+@(B) 3( 2, 1 ) @(A+1)+@(B) 4( 3, *:A-B-1) @(2A-B)+@(A-1) 5( 4, 2 ) @(2A-B)+@(A)+@(A-1)+@(B) 6( 5, 4 ) @(2A-B+1)+@(A+1)+@(B) 7( 6, *:F+1) @(2A-B+F+2)+@(A+F+2)+@(B+F+1) 8( 7, 5 ) @(2A-B+F+2)+@(A+F+2)+@(B+F+1)+@(2A-B)+@(A)+@(A-1)+@(B) 156 7* @(p)+@(q)+@(r)+@(-p+2q-2)+@(-p+q+r)+@(-p+q+r-1)+@(-2p+2q+r-1) A=-p+q+r-1, B=-2p+2q+r-1, D=p-r-2 0 1 1( 0, *:A) @(A) 2( 1, 1:B) @(A)+@(B) 3( 2, 1 ) @(A+1)+@(B) 4( 3, *:D+1) @(A+D+2)+@(B+D+1) 5( 4, 2 ) @(A+D+2)+@(B+D+1)+@(A)+@(B) 6( 5, *:A-B+1) @(2A-B+D+3)+@(A+D+2)+@(2A-B+1)+@(A+1) 7( 6, 5 ) @(2A-B+D+3)+@(A+D+3)+@(2A-B+1)+@(B+D+1)+@(A+1)+@(A)+@(B) 157 7* @(p)+@(q)+@(r)+@(-p+2q-1)+@(-p+q+r)+@(-p+q+r-1)+@(-2p+2q+r) A=-p+2q-1, B=-2p+2q+r, D=p-q-2 0 1 1( 0, *:A) @(A) 2( 1, 1:B) @(A)+@(B) 3( 2, 1 ) @(A+1)+@(B) 4( 3, *:D+1) @(A+D+2)+@(B+D+1) 5( 4, 2 ) @(A+D+2)+@(A)+@(B+D+1)+@(B) 6( 5, 4 ) @(A+D+3)+@(A)+@(B+D+2)+@(B) 7( 6, *:D+2) @(A+2D+5)+@(A+D+2)+@(B+2D+4)+@(B+D+2) 8( 7, 5 ) @(A+2D+5)+@(A+D+3)+@(B+2D+4)+@(A)+@(B+D+2)+@(B+D+1)+@(B) 158 7* @(p)+@(q)+@(r)+@(r-1)+@(-p+q+r+1)+@(-p+2r)+@(-2p+q+2r+1) A=-p+2r, B=-2p+q+2r+1, D=p-r-2 0 1 1( 0, *:A) @(A) 2( 1, 1:B) @(A)+@(B) 3( 2, 1 ) @(A+1)+@(B) 4( 3, *:D+1) @(A+D+2)+@(B+D+1) 5( 4, 2 ) @(A+D+2)+@(B+D+1)+@(A)+@(B) 6( 5, 4 ) @(A+D+3)+@(B+D+2)+@(A)+@(B) 7( 6, *:D+1) @(A+2D+4)+@(B+2D+3)+@(A+D+1)+@(B+D+1) 8( 7, 5 ) @(A+2D+4)+@(B+2D+3)+@(A+D+2)+@(A+D+1)+@(B+D+2)+@(A)+@(B) 159 7* @(p)+@(q)+@(r)+@(r-1)+@(-p+q+r+1)+@(-p+2r-1)+@(-2p+q+2r) A=-p+2r-1, B=-2p+q+2r, D=p-r-1 0 1 1( 0, *:A) @(A) 2( 1, 1:B) @(A)+@(B) 3( 2, 1 ) @(A+1)+@(B) 4( 3, *:D+1) @(A+D+2)+@(B+D+1) 5( 4, 2 ) @(A+D+2)+@(B+D+1)+@(A)+@(B) 6( 5, *:D+1) @(A+2D+3)+@(B+2D+2)+@(A+D+1)+@(B+D+1) 7( 6, 5 ) @(A+2D+3)+@(B+2D+2)+@(A+D+2)+@(A+D+1)+@(B+D+2)+@(A)+@(B) 160 7* @(p)+@(q)+@(r)+@(-p+q+r)+@(-p+q+r-1)+@(-p+2r-2)+@(-2p+q+2r-1) A=-p+2r-2, B=-2p+q+2r-1, D=p-r-1 0 1 1( 0, *:A) @(A) 2( 1, 1:B) @(A)+@(B) 3( 2, 1 ) @(A+1)+@(B) 4( 3, *:D+1) @(A+D+2)+@(B+D+1) 5( 4, 2 ) @(A+D+2)+@(B+D+1)+@(A)+@(B) 6( 5, *:D+2) @(A+2D+4)+@(B+2D+3)+@(A+D+2)+@(B+D+2) 7( 6, 5 ) @(A+2D+4)+@(B+2D+3)+@(A+D+3)+@(B+D+2)+@(B+D+1)+@(A)+@(B) 161 7* @(p)+@(q)+@(r)+@(-p+q+r)+@(-p+q+r-1)+@(-p+2r-1)+@(-2p+q+2r) A=-p+2r-1, B=-2p+q+2r, D=p-r-2 0 1 1( 0, *:A) @(A) 2( 1, 1:B) @(A)+@(B) 3( 2, 1 ) @(A+1)+@(B) 4( 3, *:D+1) @(A+D+2)+@(B+D+1) 5( 4, 2 ) @(A+D+2)+@(B+D+1)+@(A)+@(B) 6( 5, 4 ) @(A+D+3)+@(B+D+2)+@(A)+@(B) 7( 6, *:D+2) @(A+2D+5)+@(B+2D+4)+@(A+D+2)+@(B+D+2) 8( 7, 5 ) @(A+2D+5)+@(B+2D+4)+@(A+D+3)+@(B+D+2)+@(B+D+1)+@(A)+@(B) 162 7* @(p)+@(q)+@(r)+@(-p+q+r+1)+@(-2p+2q+r)+@(-2p+q+2r)+@(-3p+2q+2r) A=-2p+q+2r, B=-3p+2q+2r, C=p-r-1 0 1 1( 0, *:A) @(A) 2( 1, 1:B) @(A)+@(B) 3( 2, *:C+1) @(A+C+1)+@(B+C+1) 4( 3, 2 ) @(A+C+1)+@(B+C+1)+@(A)+@(B) 5( 4, *:A-B+C+1) @(2A-B+2C+2)+@(A+2C+2)+@(2A-B+C+1)+@(A+C+1) 6( 5, 4 ) @(2A-B+2C+2)+@(A+2C+2)+@(2A-B+C+1)+@(A+C+2)+@(B+C+1)+@(A)+@(B) 163 7* @(p)+@(q)+@(r)+@(-p+q+r+1)+@(-2p+2q+r)+@(-2p+q+2r+1)+@(-3p+2q+2r+1) A=-2p+2q+r, B=-3p+2q+2r+1, D=2p-q-r-2 0 1 1( 0, *:A) @(A) 2( 1, 1:B) @(A)+@(B) 3( 2, 1 ) @(A+1)+@(B) 4( 3, *:D+1) @(A+D+2)+@(B+D+1) 5( 4, 2 ) @(A+D+2)+@(B+D+1)+@(A)+@(B) 6( 5, *:-A+B+D+1) @(B+2D+3)+@(-A+2B+2D+2)+@(B+D+1)+@(-A+2B+D+1) 7( 6, 5 ) @(B+2D+3)+@(A+D+2)+@(-A+2B+2D+2)+@(B+D+2)+@(A)+@(-A+2B+D+1)+@(B) 164 7* @(p)+@(q)+@(r)+@(-p+q+r+1)+@(-2p+2q+r+1)+@(-2p+q+2r)+@(-3p+2q+2r+1) A=-2p+q+2r, B=-3p+2q+2r+1, D=2p-q-r-2 0 1 1( 0, *:A) @(A) 2( 1, 1:B) @(A)+@(B) 3( 2, 1 ) @(A+1)+@(B) 4( 3, *:D+1) @(A+D+2)+@(B+D+1) 5( 4, 2 ) @(A+D+2)+@(B+D+1)+@(A)+@(B) 6( 5, *:-A+B+D+1) @(B+2D+3)+@(-A+2B+2D+2)+@(B+D+1)+@(-A+2B+D+1) 7( 6, 5 ) @(B+2D+3)+@(-A+2B+2D+2)+@(A+D+2)+@(B+D+2)+@(-A+2B+D+1)+@(A)+@(B) 165 7* @(p)+@(q)+@(r)+@(-p+q+r+1)+@(-2p+2q+r+1)+@(-2p+q+2r+1)+@(-3p+2q+2r+2) A=-2p+q+2r+1, B=-3p+2q+2r+2, D=2p-q-r-3 0 1 1( 0, *:A) @(A) 2( 1, 1:B) @(A)+@(B) 3( 2, 1 ) @(A+1)+@(B) 4( 3, *:D+1) @(A+D+2)+@(B+D+1) 5( 4, 2 ) @(A+D+2)+@(B+D+1)+@(A)+@(B) 6( 5, 4 ) @(A+D+3)+@(B+D+2)+@(A)+@(B) 7( 6, *:-A+B+D+1) @(B+2D+4)+@(-A+2B+2D+3)+@(B+D+1)+@(-A+2B+D+1) 8( 7, 5 ) @(B+2D+4)+@(-A+2B+2D+3)+@(A+D+2)+@(B+D+2)+@(-A+2B+D+1)+@(A)+@(B) 166 7* @(p)+@(q)+@(r)+@(-p+q+r+2)+@(-2p+2q+r+1)+@(-2p+q+2r+1)+@(-3p+2q+2r+2) A=-2p+q+2r+1, B=-3p+2q+2r+2, D=p-r-2 0 1 1( 0, *:A) @(A) 2( 1, 1:B) @(A)+@(B) 3( 2, 1 ) @(A+1)+@(B) 4( 3, *:D+1) @(A+D+2)+@(B+D+1) 5( 4, 2 ) @(A+D+2)+@(B+D+1)+@(A)+@(B) 6( 5, *:A-B+D+2) @(2A-B+2D+4)+@(A+2D+3)+@(2A-B+D+2)+@(A+D+2) 7( 6, 5 ) @(2A-B+2D+4)+@(A+2D+3)+@(2A-B+D+2)+@(A+D+3)+@(B+D+1)+@(A)+@(B) 167 7* @(p)+@(q)+@(r)+@(-p+q+r+2)+@(-2p+2q+r+1)+@(-2p+q+2r+2)+@(-3p+2q+2r+3) A=-2p+q+2r+2, B=-3p+2q+2r+3, D=p-r-3 0 1 1( 0, *:A) @(A) 2( 1, 1:B) @(A)+@(B) 3( 2, 1 ) @(A+1)+@(B) 4( 3, *:D+1) @(A+D+2)+@(B+D+1) 5( 4, 2 ) @(A+D+2)+@(B+D+1)+@(A)+@(B) 6( 5, 4 ) @(A+D+3)+@(B+D+2)+@(A)+@(B) 7( 6, *:A-B+D+2) @(2A-B+2D+5)+@(A+2D+4)+@(2A-B+D+2)+@(A+D+2) 8( 7, 5 ) @(2A-B+2D+5)+@(A+2D+4)+@(2A-B+D+2)+@(A+D+3)+@(B+D+1)+@(A)+@(B) 168 7* @(p)+@(q)+@(r)+@(-p+q+r+2)+@(-2p+2q+r+2)+@(-2p+q+2r+1)+@(-3p+2q+2r+3) A=-2p+2q+r+2, B=-3p+2q+2r+3, D=p-q-3 0 1 1( 0, *:A) @(A) 2( 1, 1:B) @(A)+@(B) 3( 2, 1 ) @(A+1)+@(B) 4( 3, *:D+1) @(A+D+2)+@(B+D+1) 5( 4, 2 ) @(A+D+2)+@(A)+@(B+D+1)+@(B) 6( 5, 4 ) @(A+D+3)+@(A)+@(B+D+2)+@(B) 7( 6, *:A-B+D+2) @(2A-B+2D+5)+@(2A-B+D+2)+@(A+2D+4)+@(A+D+2) 8( 7, 5 ) @(2A-B+2D+5)+@(2A-B+D+2)+@(A+2D+4)+@(A+D+3)+@(A)+@(B+D+1)+@(B) 169 8* @(p)+@(p-9)+@(p-10)+@(p-11)+@(p-12)+@(p-13)+@(p-14)+@(p-15) A=p-14 0 1 1( 0, *:A) @(A) 2( 1, 1:A-1) @(A)+@(A-1) 3( 2, *:2) @(A+2)+@(A+1) 4( 3, 2 ) @(A+2)+@(A+1)+@(A)+@(A-1) 5( 4, *:4) @(A+6)+@(A+5)+@(A+4)+@(A+3) 6( 5, 4 ) @(A+6)+@(A+5)+@(A+4)+@(A+3)+@(A+2)+@(A+1)+@(A)+@(A-1) 7( 6, *:7) @(A+13)+@(A+12)+@(A+11)+@(A+10)+@(A+9)+@(A+8)+@(A+7)+@(A+6) 8( 7, 6 ) @(A+14)+@(A+5)+@(A+4)+@(A+3)+@(A+2)+@(A+1)+@(A)+@(A-1) 170 8* @(p)+@(p-7)+@(p-9)+@(p-10)+@(p-11)+@(p-12)+@(p-13)+@(p-14) A=p-13 0 1 1( 0, *:A) @(A) 2( 1, 1:A-1) @(A)+@(A-1) 3( 2, *:2) @(A+2)+@(A+1) 4( 3, 2 ) @(A+2)+@(A+1)+@(A)+@(A-1) 5( 4, *:4) @(A+6)+@(A+5)+@(A+4)+@(A+3) 6( 5, 4 ) @(A+6)+@(A+5)+@(A+4)+@(A+3)+@(A+2)+@(A+1)+@(A)+@(A-1) 7( 6, *:6) @(A+12)+@(A+11)+@(A+10)+@(A+9)+@(A+8)+@(A+7)+@(A+6)+@(A+5) 8( 7, 6 ) @(A+13)+@(A+6)+@(A+4)+@(A+3)+@(A+2)+@(A+1)+@(A)+@(A-1) 171 8* @(p)+@(p-6)+@(p-7)+@(p-9)+@(p-10)+@(p-11)+@(p-12)+@(p-13) A=p-12 0 1 1( 0, *:A) @(A) 2( 1, 1:A-1) @(A)+@(A-1) 3( 2, *:2) @(A+2)+@(A+1) 4( 3, 2 ) @(A+2)+@(A+1)+@(A)+@(A-1) 5( 4, *:4) @(A+6)+@(A+5)+@(A+4)+@(A+3) 6( 5, 4 ) @(A+6)+@(A+5)+@(A+4)+@(A+3)+@(A+2)+@(A+1)+@(A)+@(A-1) 7( 6, *:5) @(A+11)+@(A+10)+@(A+9)+@(A+8)+@(A+7)+@(A+6)+@(A+5)+@(A+4) 8( 7, 6 ) @(A+12)+@(A+6)+@(A+5)+@(A+3)+@(A+2)+@(A+1)+@(A)+@(A-1) 172 8* @(p)+@(p-5)+@(p-6)+@(p-7)+@(q)+@(q-5)+@(q-6)+@(q-7) A=q-6, D=p-q-1 0 1 1( 0, *:A) @(A) 2( 1, 1:A-1) @(A)+@(A-1) 3( 2, *:2) @(A+2)+@(A+1) 4( 3, 2 ) @(A+2)+@(A+1)+@(A)+@(A-1) 5( 4, *:D+1) @(A+D+3)+@(A+D+2)+@(A+D+1)+@(A+D) 6( 5, 4 ) @(A+D+3)+@(A+D+2)+@(A+D+1)+@(A+D)+@(A+2)+@(A+1)+@(A)+@(A-1) 7( 6, *:3) @(A+D+6)+@(A+D+5)+@(A+D+4)+@(A+D+3)+@(A+5)+@(A+4)+@(A+3)+@(A+2) 8( 7, 6 ) @(A+D+7)+@(A+D+2)+@(A+D+1)+@(A+D)+@(A+6)+@(A+1)+@(A)+@(A-1) 173 8* @(p)+@(p-5)+@(p-6)+@(p-7)+@(q)+@(q-3)+@(q-5)+@(q-6) A=q-4, D=p-q-2 0 1 1( 0, *:A) @(A) 2( 1, 1:A-2) @(A)+@(A-2) 3( 2, 1 ) @(A+1)+@(A-2) 4( 3, *:D+1) @(A+D+2)+@(A+D-1) 5( 4, 2 ) @(A+D+2)+@(A+D-1)+@(A)+@(A-2) 6( 5, *:2) @(A+D+4)+@(A+D+1)+@(A+2)+@(A) 7( 6, 5 ) @(A+D+4)+@(A+D+2)+@(A+D+1)+@(A+D-1)+@(A+2)+@(A+1)+@(A-2) 8( 7, *:1) @(A+D+5)+@(A+D+3)+@(A+D+2)+@(A+D)+@(A+3)+@(A+2)+@(A-1) 9( 8, 7 ) @(A+D+6)+@(A+D+1)+@(A+D)+@(A+D-1)+@(A+4)+@(A+1)+@(A-1)+@(A-2) 174 8* @(p)+@(p-5)+@(p-6)+@(p-7)+@(q)+@(q-2)+@(q-3)+@(q-5) A=p-6, C=q-5 0 1 1( 0, *:A) @(A) 2( 1, 1:A-1) @(A)+@(A-1) 3( 2, 1:C) @(A)+@(A-1)+@(C) 4( 3, *:2) @(A+2)+@(A+1)+@(C+2) 5( 4, 3 ) @(A+2)+@(A+1)+@(A)+@(A-1)+@(C+2)+@(C) 6( 5, *:3) @(A+5)+@(A+4)+@(A+3)+@(A+2)+@(C+5)+@(C+3) 7( 6, 5 ) @(A+6)+@(A+1)+@(A)+@(A-1)+@(C+5)+@(C+3)+@(C+2)+@(C) 175 8* @(p)+@(p-5)+@(p-6)+@(p-7)+@(q)+@(q-1)+@(q-3)+@(q-4) A=p-5, C=q-4 0 1 1( 0, *:A) @(A) 2( 1, 1:A-2) @(A)+@(A-2) 3( 2, 1:C) @(A)+@(A-2)+@(C) 4( 3, *:3) @(A+3)+@(A+1)+@(C+3) 5( 4, 3 ) @(A+3)+@(A+1)+@(A)+@(A-2)+@(C+3)+@(C) 6( 5, *:1) @(A+4)+@(A+2)+@(A+1)+@(A-1)+@(C+4)+@(C+1) 7( 6, 5 ) @(A+5)+@(A)+@(A-1)+@(A-2)+@(C+4)+@(C+3)+@(C+1)+@(C) 176 8* @(p)+@(p-5)+@(p-6)+@(p-7)+@(q)+@(q-1)+@(q-2)+@(q-3) A=p-4, C=q-3 0 1 1( 0, *:A) @(A) 2( 1, 1:A-3) @(A)+@(A-3) 3( 2, 1:C) @(A)+@(A-3)+@(C) 4( 3, *:1) @(A+1)+@(A-2)+@(C+1) 5( 4, 3 ) @(A+1)+@(A)+@(A-2)+@(A-3)+@(C+1)+@(C) 6( 5, *:2) @(A+3)+@(A+2)+@(A)+@(A-1)+@(C+3)+@(C+2) 7( 6, 5 ) @(A+4)+@(A-1)+@(A-2)+@(A-3)+@(C+3)+@(C+2)+@(C+1)+@(C) 177 8* @(p)+@(p-3)+@(p-5)+@(p-6)+@(q)+@(q-2)+@(q-3)+@(q-5) A=p-6, B=q-5 0 1 1( 0, *:A) @(A) 2( 1, 1:B) @(A)+@(B) 3( 2, 1 ) @(A+1)+@(B) 4( 3, 2 ) @(A+1)+@(A)+@(B+1) 5( 4, 3 ) @(A+2)+@(A)+@(B+1)+@(B) 6( 5, *:2) @(A+4)+@(A+2)+@(B+3)+@(B+2) 7( 6, 5 ) @(A+4)+@(A+3)+@(A)+@(B+3)+@(B+2)+@(B+1)+@(B) 8( 7, *:1) @(A+5)+@(A+4)+@(A+1)+@(B+4)+@(B+3)+@(B+2)+@(B+1) 9( 8, 7 ) @(A+6)+@(A+3)+@(A+1)+@(A)+@(B+5)+@(B+3)+@(B+2)+@(B) 178 8* @(p)+@(p-3)+@(p-5)+@(p-6)+@(q)+@(q-1)+@(q-2)+@(q-3) A=p-4, C=q-3 0 1 1( 0, *:A) @(A) 2( 1, 1:A-2) @(A)+@(A-2) 3( 2, 1:C) @(A)+@(A-2)+@(C) 4( 3, *:2) @(A+2)+@(A)+@(C+2) 5( 4, 3 ) @(A+2)+@(A+1)+@(A-2)+@(C+2)+@(C) 6( 5, *:1) @(A+3)+@(A+2)+@(A-1)+@(C+3)+@(C+1) 7( 6, 5 ) @(A+4)+@(A+1)+@(A-1)+@(A-2)+@(C+3)+@(C+2)+@(C+1)+@(C) 179 8* @(p)+@(p-3)+@(q)+@(q-3)+@(r)+@(r-1)+@(-p+q+r)+@(-p+q+r-1) A=q-2, C=-p+q+r-1, D=p-q-1 0 1 1( 0, *:A) @(A) 2( 1, 1:A-1) @(A)+@(A-1) 3( 2, 1:C) @(A)+@(A-1)+@(C) 4( 3, *:D+1) @(A+D+1)+@(A+D)+@(C+D+1) 5( 4, 3 ) @(A+D+1)+@(A+D)+@(A)+@(A-1)+@(C+D+1)+@(C) 6( 5, *:1) @(A+D+2)+@(A+D+1)+@(A+1)+@(A)+@(C+D+2)+@(C+1) 7( 6, 5 ) @(A+D+3)+@(A+D)+@(A+2)+@(A-1)+@(C+D+2)+@(C+D+1)+@(C+1)+@(C) 180 8* @(p)+@(p-3)+@(q)+@(q-3)+@(r)+@(r-1)+@(-p+q+r+1)+@(-p+q+r) A=q-2, C=-p+q+r, D=p-q-2 0 1 1( 0, *:A) @(A) 2( 1, 1:A-1) @(A)+@(A-1) 3( 2, 1:C) @(A)+@(A-1)+@(C) 4( 3, 2 ) @(A+1)+@(A)+@(C) 5( 4, *:D+1) @(A+D+2)+@(A+D+1)+@(C+D+1) 6( 5, 3 ) @(A+D+2)+@(A+D+1)+@(A)+@(A-1)+@(C+D+1)+@(C) 7( 6, *:1) @(A+D+3)+@(A+D+2)+@(A+1)+@(A)+@(C+D+2)+@(C+1) 8( 7, 6 ) @(A+D+4)+@(A+D+1)+@(A+2)+@(A-1)+@(C+D+2)+@(C+D+1)+@(C+1)+@(C) 181 8* @(p)+@(p-3)+@(q)+@(q-1)+@(r)+@(r-3)+@(-p+q+r)+@(-p+q+r-1) A=r-2, C=-p+q+r-1, D=p-r-1 0 1 1( 0, *:A) @(A) 2( 1, 1:A-1) @(A)+@(A-1) 3( 2, 1:C) @(A)+@(A-1)+@(C) 4( 3, *:D+1) @(A+D+1)+@(A+D)+@(C+D+1) 5( 4, 3 ) @(A+D+1)+@(A+D)+@(C+D+1)+@(A)+@(A-1)+@(C) 6( 5, *:1) @(A+D+2)+@(A+D+1)+@(C+D+2)+@(A+1)+@(A)+@(C+1) 7( 6, 5 ) @(A+D+3)+@(A+D)+@(C+D+2)+@(C+D+1)+@(A+2)+@(A-1)+@(C+1)+@(C) 182 8* @(p)+@(p-3)+@(q)+@(q-1)+@(r)+@(r-3)+@(-p+q+r+1)+@(-p+q+r) A=r-2, C=-p+q+r, D=p-r-2 0 1 1( 0, *:A) @(A) 2( 1, 1:A-1) @(A)+@(A-1) 3( 2, 1:C) @(A)+@(A-1)+@(C) 4( 3, 2 ) @(A+1)+@(A)+@(C) 5( 4, *:D+1) @(A+D+2)+@(A+D+1)+@(C+D+1) 6( 5, 3 ) @(A+D+2)+@(A+D+1)+@(C+D+1)+@(A)+@(A-1)+@(C) 7( 6, *:1) @(A+D+3)+@(A+D+2)+@(C+D+2)+@(A+1)+@(A)+@(C+1) 8( 7, 6 ) @(A+D+4)+@(A+D+1)+@(C+D+2)+@(C+D+1)+@(A+2)+@(A-1)+@(C+1)+@(C) 183 8* @(p)+@(p-3)+@(q)+@(q-1)+@(r)+@(r-1)+@(-p+q+r)+@(-p+q+r-1) A=r-2, B=-p+q+r-1, D=p-r-2 0 1 1( 0, *:A) @(A) 2( 1, 1:B) @(A)+@(B) 3( 2, 1 ) @(A+1)+@(B) 4( 3, 2 ) @(A+1)+@(A)+@(B+1) 5( 4, *:D+1) @(A+D+2)+@(A+D+1)+@(B+D+2) 6( 5, 3 ) @(A+D+2)+@(A+D+1)+@(B+D+2)+@(A+1)+@(B) 7( 6, *:1) @(A+D+3)+@(A+D+2)+@(B+D+3)+@(A+2)+@(B+1) 8( 7, 6 ) @(A+D+4)+@(A+D+1)+@(B+D+3)+@(B+D+2)+@(A+2)+@(A+1)+@(B+1)+@(B) 184 8* @(p)+@(p-3)+@(q)+@(q-1)+@(r)+@(r-1)+@(-p+q+r+1)+@(-p+q+r) A=r-1, B=-p+q+r, D=p-r-2 0 1 1( 0, *:A) @(A) 2( 1, 1:B) @(A)+@(B) 3( 2, 1:A-1) @(A)+@(A-1)+@(B) 4( 3, *:D+1) @(A+D+1)+@(A+D)+@(B+D+1) 5( 4, 2 ) @(A+D+1)+@(A+D)+@(B+D+1)+@(A)+@(B) 6( 5, *:1) @(A+D+2)+@(A+D+1)+@(B+D+2)+@(A+1)+@(B+1) 7( 6, 5 ) @(A+D+3)+@(A+D)+@(B+D+2)+@(B+D+1)+@(A+1)+@(A)+@(B+1)+@(B) 185 8* @(p)+@(p-3)+@(q)+@(q-1)+@(r)+@(r-1)+@(-p+q+r+2)+@(-p+q+r+1) A=r-1, B=-p+q+r+1, E=p-r-3 0 1 1( 0, *:A) @(A) 2( 1, 1:B) @(A)+@(B) 3( 2, 1 ) @(A+1)+@(B) 4( 3, 1 ) @(A+1)+@(A)+@(B) 5( 4, *:E+1) @(A+E+2)+@(A+E+1)+@(B+E+1) 6( 5, 2 ) @(A+E+2)+@(A+E+1)+@(B+E+1)+@(A)+@(B) 7( 6, *:1) @(A+E+3)+@(A+E+2)+@(B+E+2)+@(A+1)+@(B+1) 8( 7, 6 ) @(A+E+4)+@(A+E+1)+@(B+E+2)+@(B+E+1)+@(A+1)+@(A)+@(B+1)+@(B) 186 8* @(p)+@(q)+@(p-5)+@(p-6)+@(p-7)+@(q-5)+@(q-6)+@(q-7) A=q-6, E=p-q-1 0 1 1( 0, *:A) @(A) 2( 1, 1:A-1) @(A)+@(A-1) 3( 2, *:2) @(A+2)+@(A+1) 4( 3, 2 ) @(A+2)+@(A+1)+@(A)+@(A-1) 5( 4, *:3) @(A+5)+@(A+4)+@(A+3)+@(A+2) 6( 5, 4 ) @(A+6)+@(A+1)+@(A)+@(A-1) 7( 6, *:E+1) @(A+E+7)+@(A+E+2)+@(A+E+1)+@(A+E) 8( 7, 6 ) @(A+E+7)+@(A+6)+@(A+E+2)+@(A+E+1)+@(A+E)+@(A+1)+@(A)+@(A-1) 187 8* @(p)+@(q)+@(r)+@(-p+q+r)+@(s)+@(-p+q+s)+@(-p+r+s)+@(-2p+q+r+s) A=-p+r+s, B=-2p+q+r+s, C=p-r-1, D=p-s-1 0 1 1( 0, *:A) @(A) 2( 1, 1:B) @(A)+@(B) 3( 2, *:C+1) @(A+C+1)+@(B+C+1) 4( 3, 2 ) @(A+C+1)+@(B+C+1)+@(A)+@(B) 5( 4, *:D+1) @(A+C+D+2)+@(B+C+D+2)+@(A+D+1)+@(B+D+1) 6( 5, 4 ) @(A+C+D+2)+@(B+C+D+2)+@(A+D+1)+@(B+D+1)+@(A+C+1)+@(B+C+1)+@(A)+@(B) 188 8* @(p)+@(q)+@(r)+@(-p+q+r)+@(s)+@(-p+q+s)+@(-p+r+s+1)+@(-2p+q+r+s+1) A=-p+q+s, B=-2p+q+r+s+1, D=p-s-2, E=p-q-1 0 1 1( 0, *:A) @(A) 2( 1, 1:B) @(A)+@(B) 3( 2, 1 ) @(A+1)+@(B) 4( 3, *:D+1) @(A+D+2)+@(B+D+1) 5( 4, 2 ) @(A+D+2)+@(B+D+1)+@(A)+@(B) 6( 5, *:E+1) @(A+D+E+3)+@(B+D+E+2)+@(A+E+1)+@(B+E+1) 7( 6, 5 ) @(A+D+E+3)+@(A+D+2)+@(B+D+E+2)+@(B+D+1)+@(A+E+1)+@(A)+@(B+E+1)+@(B) 189 8* @(p)+@(q)+@(r)+@(-p+q+r)+@(s)+@(-p+q+s+1)+@(-p+r+s)+@(-2p+q+r+s+1) A=-p+r+s, B=-2p+q+r+s+1, D=p-s-2, E=p-r-1 0 1 1( 0, *:A) @(A) 2( 1, 1:B) @(A)+@(B) 3( 2, 1 ) @(A+1)+@(B) 4( 3, *:D+1) @(A+D+2)+@(B+D+1) 5( 4, 2 ) @(A+D+2)+@(B+D+1)+@(A)+@(B) 6( 5, *:E+1) @(A+D+E+3)+@(B+D+E+2)+@(A+E+1)+@(B+E+1) 7( 6, 5 ) @(A+D+E+3)+@(B+D+E+2)+@(A+D+2)+@(B+D+1)+@(A+E+1)+@(B+E+1)+@(A)+@(B) 190 8* @(p)+@(q)+@(r)+@(-p+q+r)+@(s)+@(-p+q+s+1)+@(-p+r+s+1)+@(-2p+q+r+s+2) A=-p+r+s+1, B=-2p+q+r+s+2, D=p-s-3, F=p-r-2 0 1 1( 0, *:A) @(A) 2( 1, 1:B) @(A)+@(B) 3( 2, 1 ) @(A+1)+@(B) 4( 3, *:D+1) @(A+D+2)+@(B+D+1) 5( 4, 2 ) @(A+D+2)+@(B+D+1)+@(A)+@(B) 6( 5, 4 ) @(A+D+3)+@(B+D+2)+@(A)+@(B) 7( 6, *:F+1) @(A+D+F+4)+@(B+D+F+3)+@(A+F+1)+@(B+F+1) 8( 7, 5 ) @(A+D+F+4)+@(B+D+F+3)+@(A+D+2)+@(B+D+1)+@(A+F+1)+@(B+F+1)+@(A)+@(B) 191 8* @(p)+@(q)+@(r)+@(-p+q+r+1)+@(s)+@(-p+q+s)+@(-p+r+s)+@(-2p+q+r+s+1) A=-p+r+s, B=-2p+q+r+s+1, D=p-r-2, E=p-s-1 0 1 1( 0, *:A) @(A) 2( 1, 1:B) @(A)+@(B) 3( 2, 1 ) @(A+1)+@(B) 4( 3, *:D+1) @(A+D+2)+@(B+D+1) 5( 4, 2 ) @(A+D+2)+@(B+D+1)+@(A)+@(B) 6( 5, *:E+1) @(A+D+E+3)+@(B+D+E+2)+@(A+E+1)+@(B+E+1) 7( 6, 5 ) @(A+D+E+3)+@(B+D+E+2)+@(A+E+1)+@(B+E+1)+@(A+D+2)+@(B+D+1)+@(A)+@(B) 192 8* @(p)+@(q)+@(r)+@(-p+q+r+1)+@(s)+@(-p+q+s)+@(-p+r+s+1)+@(-2p+q+r+s+2) A=-p+r+s+1, B=-2p+q+r+s+2, D=p-r-3, F=p-s-2 0 1 1( 0, *:A) @(A) 2( 1, 1:B) @(A)+@(B) 3( 2, 1 ) @(A+1)+@(B) 4( 3, *:D+1) @(A+D+2)+@(B+D+1) 5( 4, 2 ) @(A+D+2)+@(B+D+1)+@(A)+@(B) 6( 5, 4 ) @(A+D+3)+@(B+D+2)+@(A)+@(B) 7( 6, *:F+1) @(A+D+F+4)+@(B+D+F+3)+@(A+F+1)+@(B+F+1) 8( 7, 5 ) @(A+D+F+4)+@(B+D+F+3)+@(A+F+1)+@(B+F+1)+@(A+D+2)+@(B+D+1)+@(A)+@(B) 193 8* @(p)+@(q)+@(r)+@(-p+q+r+1)+@(s)+@(-p+q+s+1)+@(-p+r+s)+@(-2p+q+r+s+2) A=-p+q+s+1, B=-2p+q+r+s+2, D=p-q-3, F=p-s-2 0 1 1( 0, *:A) @(A) 2( 1, 1:B) @(A)+@(B) 3( 2, 1 ) @(A+1)+@(B) 4( 3, *:D+1) @(A+D+2)+@(B+D+1) 5( 4, 2 ) @(A+D+2)+@(A)+@(B+D+1)+@(B) 6( 5, 4 ) @(A+D+3)+@(A)+@(B+D+2)+@(B) 7( 6, *:F+1) @(A+D+F+4)+@(A+F+1)+@(B+D+F+3)+@(B+F+1) 8( 7, 5 ) @(A+D+F+4)+@(A+F+1)+@(B+D+F+3)+@(B+F+1)+@(A+D+2)+@(A)+@(B+D+1)+@(B) 194 8* @(p)+@(q)+@(r)+@(s)+@(-p+q+r)+@(-p+q+s)+@(-p+r+s)+@(-2p+q+r+s) A=-p+r+s, B=-2p+q+r+s, C=p-r-1, D=p-s-1 0 1 1( 0, *:A) @(A) 2( 1, 1:B) @(A)+@(B) 3( 2, *:C+1) @(A+C+1)+@(B+C+1) 4( 3, 2 ) @(A+C+1)+@(B+C+1)+@(A)+@(B) 5( 4, *:D+1) @(A+C+D+2)+@(B+C+D+2)+@(A+D+1)+@(B+D+1) 6( 5, 4 ) @(A+C+D+2)+@(B+C+D+2)+@(A+D+1)+@(A+C+1)+@(B+D+1)+@(B+C+1)+@(A)+@(B) 195 8* @(p)+@(q)+@(r)+@(s)+@(-p+q+r)+@(-p+q+s)+@(-p+r+s+1)+@(-2p+q+r+s+1) A=-p+q+s, B=-2p+q+r+s+1, D=p-s-2, E=p-q-1 0 1 1( 0, *:A) @(A) 2( 1, 1:B) @(A)+@(B) 3( 2, 1 ) @(A+1)+@(B) 4( 3, *:D+1) @(A+D+2)+@(B+D+1) 5( 4, 2 ) @(A+D+2)+@(B+D+1)+@(A)+@(B) 6( 5, *:E+1) @(A+D+E+3)+@(B+D+E+2)+@(A+E+1)+@(B+E+1) 7( 6, 5 ) @(A+D+E+3)+@(A+D+2)+@(B+D+E+2)+@(A+E+1)+@(B+D+1)+@(A)+@(B+E+1)+@(B) 196 8* @(p)+@(q)+@(r)+@(s)+@(-p+q+r)+@(-p+q+s+1)+@(-p+r+s)+@(-2p+q+r+s+1) A=-p+r+s, B=-2p+q+r+s+1, D=p-s-2, E=p-r-1 0 1 1( 0, *:A) @(A) 2( 1, 1:B) @(A)+@(B) 3( 2, 1 ) @(A+1)+@(B) 4( 3, *:D+1) @(A+D+2)+@(B+D+1) 5( 4, 2 ) @(A+D+2)+@(B+D+1)+@(A)+@(B) 6( 5, *:E+1) @(A+D+E+3)+@(B+D+E+2)+@(A+E+1)+@(B+E+1) 7( 6, 5 ) @(A+D+E+3)+@(B+D+E+2)+@(A+D+2)+@(A+E+1)+@(B+D+1)+@(B+E+1)+@(A)+@(B) 197 8* @(p)+@(q)+@(r)+@(s)+@(-p+q+r)+@(-p+q+s+1)+@(-p+r+s+1)+@(-2p+q+r+s+2) A=-p+r+s+1, B=-2p+q+r+s+2, D=p-s-3, F=p-r-2 0 1 1( 0, *:A) @(A) 2( 1, 1:B) @(A)+@(B) 3( 2, 1 ) @(A+1)+@(B) 4( 3, *:D+1) @(A+D+2)+@(B+D+1) 5( 4, 2 ) @(A+D+2)+@(B+D+1)+@(A)+@(B) 6( 5, 4 ) @(A+D+3)+@(B+D+2)+@(A)+@(B) 7( 6, *:F+1) @(A+D+F+4)+@(B+D+F+3)+@(A+F+1)+@(B+F+1) 8( 7, 5 ) @(A+D+F+4)+@(B+D+F+3)+@(A+D+2)+@(A+F+1)+@(B+D+1)+@(B+F+1)+@(A)+@(B) 198 8* @(p)+@(q)+@(r)+@(s)+@(-p+q+r+1)+@(-p+q+s)+@(-p+r+s)+@(-2p+q+r+s+1) A=-p+r+s, B=-2p+q+r+s+1, D=p-r-2, E=p-s-1 0 1 1( 0, *:A) @(A) 2( 1, 1:B) @(A)+@(B) 3( 2, 1 ) @(A+1)+@(B) 4( 3, *:D+1) @(A+D+2)+@(B+D+1) 5( 4, 2 ) @(A+D+2)+@(B+D+1)+@(A)+@(B) 6( 5, *:E+1) @(A+D+E+3)+@(B+D+E+2)+@(A+E+1)+@(B+E+1) 7( 6, 5 ) @(A+D+E+3)+@(B+D+E+2)+@(A+E+1)+@(A+D+2)+@(B+E+1)+@(B+D+1)+@(A)+@(B) 199 8* @(p)+@(q)+@(r)+@(s)+@(-p+q+r+1)+@(-p+q+s)+@(-p+r+s+1)+@(-2p+q+r+s+2) A=-p+r+s+1, B=-2p+q+r+s+2, D=p-r-3, F=p-s-2 0 1 1( 0, *:A) @(A) 2( 1, 1:B) @(A)+@(B) 3( 2, 1 ) @(A+1)+@(B) 4( 3, *:D+1) @(A+D+2)+@(B+D+1) 5( 4, 2 ) @(A+D+2)+@(B+D+1)+@(A)+@(B) 6( 5, 4 ) @(A+D+3)+@(B+D+2)+@(A)+@(B) 7( 6, *:F+1) @(A+D+F+4)+@(B+D+F+3)+@(A+F+1)+@(B+F+1) 8( 7, 5 ) @(A+D+F+4)+@(B+D+F+3)+@(A+F+1)+@(A+D+2)+@(B+F+1)+@(B+D+1)+@(A)+@(B) 200 8* @(p)+@(q)+@(r)+@(s)+@(-p+q+r+1)+@(-p+q+s+1)+@(-p+r+s)+@(-2p+q+r+s+2) A=-p+q+s+1, B=-2p+q+r+s+2, D=p-q-3, F=p-s-2 0 1 1( 0, *:A) @(A) 2( 1, 1:B) @(A)+@(B) 3( 2, 1 ) @(A+1)+@(B) 4( 3, *:D+1) @(A+D+2)+@(B+D+1) 5( 4, 2 ) @(A+D+2)+@(A)+@(B+D+1)+@(B) 6( 5, 4 ) @(A+D+3)+@(A)+@(B+D+2)+@(B) 7( 6, *:F+1) @(A+D+F+4)+@(A+F+1)+@(B+D+F+3)+@(B+F+1) 8( 7, 5 ) @(A+D+F+4)+@(A+F+1)+@(B+D+F+3)+@(A+D+2)+@(B+F+1)+@(A)+@(B+D+1)+@(B) Update: In March 2020 Neill Clift proved that 7 algebraic expressions of the above list are fully covered by the remaining ones. These redundant ones are: 19 covered by 20 and 26, 21 covered by 24 and 28 and 30, 22 covered by 28 and 30, 90 covered by 69 and 76, 91 covered by 105 and 106, 93 covered by 56 and 69, 95 covered by 86 and 99 and 110, Moreover he showed that non of the remaining 189 algebraic expressions can be covered by others totally. 2nd Update: In May 2020, during Achim checked for every listed addition chain whether its number of independent variables equals the dimension of its feasable set, he discovered for the chain 19 the missing condition -p+q+1>=0 implied from the strict monotony of the exponents which forces q=p-1. Furthermore the chains with no 19[G=0],21[E=0,1],22[E=0,1],89[C=3,4],90[E=0,1,2],91[D-E=1,2],93[E=1,2],95[F=0,1,2] and 186[E=2,3] has a one dimension smaller feasible set than their number of independent variables. In the preceeding sentence is indicated for each case in brackets which variable has which finite range. Moreover in case no 89 only C=4 is needed and in case no 186 only E=4 is needed to cover all numbers together with the remaining listed addition chains. Thus we may eliminate in case 89 q=p-6 and in case 186 q=p-4 and simplify both corresponding addition chains. Thus the list of needed 3-small-step addition chains can be shorten to 1 chain with 4 bits set 31 chains with 5 bits set 82 chains with 6 bits set 43 chains with 7 bits set 32 chains with 8 bits set A total of 189 chains.