# RDP is the list of # [p, R, n, sigmas] # where p is the prime integer, # R is the ADE-type, # n is the primitive degree h^2, and # sigmas is the set of possible Artin invariants, # that are geometrically realizable in characteristic p. RDP := [[19, A[3]+A[18], 76, [1]], [19, A[1]+A[2]+A[18], 114, [1]], [17, A[5]+ A[16], 102, [1]], [17, A[2]+A[3]+A[16], 204, [1]], [17, A[1]+A[4]+A[16], 170, [1]], [13, A[3]+A[6]+A[12], 364, [1]], [13, A[2]+A[12]+E[7], 78, [1]], [13, A[ 2]+A[7]+A[12], 312, [1]], [13, A[2]+A[3]+A[4]+A[12], 780, [1]], [13, A[1]+A[12 ], 26, [1]], [13, A[1]+A[8]+A[12], 234, [1]], [11, A[21], 22, [1]], [11, A[10] +D[11], 44, [1]], [11, A[10]+A[11], 132, [1]], [11, A[5]+A[6]+A[10], 462, [1]] , [11, A[4]+A[10]+D[7], 220, [1]], [11, A[3]+A[10], 44, [1]], [11, A[3]+A[8]+A [10], 396, [1]], [11, A[2]+A[10]+D[9], 132, [1]], [11, A[1]+2*A[10], 2, [1]], [11, A[1]+A[4]+A[6]+A[10], 770, [1]], [7, A[13], 14, [1]], [7, A[8]+A[13], 126 , [1]], [7, A[6]+E[7], 14, [1]], [7, A[6]+D[15], 28, [1]], [7, A[6]+D[7], 28, [1]], [7, A[6]+A[15], 112, [1]], [7, A[6]+A[15], 28, [1]], [7, A[6]+A[10]+D[5] , 308, [1]], [7, A[6]+A[9]+E[6], 210, [1]], [7, A[6]+A[8]+E[7], 126, [1]], [7, A[6]+A[7], 56, [1]], [7, A[6]+A[7]+D[8], 56, [1]], [7, A[6]+A[7]+A[8], 504, [1 ]], [7, 2*A[6]+D[9], 4, [1]], [7, 2*A[6]+A[9], 10, [1]], [7, A[4]+A[6]+A[11], 420, [1]], [7, A[4]+2*A[6]+D[5], 20, [1]], [7, A[4]+A[5]+2*A[6], 30, [1]], [7, A[3]+A[6]+D[12], 28, [1]], [7, A[3]+2*A[6]+E[6], 12, [1]], [7, A[2]+A[6]+A[13] , 6, [1]], [7, A[2]+2*A[6]+E[7], 6, [1]], [7, A[2]+A[5]+A[6]+A[8], 126, [1]], [7, A[2]+A[4]+A[6]+D[9], 420, [1]], [7, A[1]+A[20], 42, [1]], [7, A[1]+A[13]+E [7], 14, [1]], [7, A[1]+A[13]+D[7], 28, [1]], [7, A[1]+A[7]+A[13], 56, [1]], [ 7, A[1]+A[6]+D[14], 14, [1]], [7, A[1]+A[6]+A[14], 210, [1]], [7, A[1]+2*A[6], 2, [1]], [7, A[1]+2*A[6]+A[8], 18, [1]], [7, A[1]+A[5]+A[6]+A[9], 210, [1]], [ 7, A[1]+A[2]+A[6]+A[12], 546, [1]], [7, A[1]+A[2]+3*A[6], 42, [1, 2]], [7, 2*A [1]+A[6]+A[13], 2, [1]], [5, A[14]+E[7], 30, [1]], [5, A[9]+D[6]+E[6], 30, [1] ], [5, A[9]+D[5]+E[7], 20, [1]], [5, A[9]+A[12], 130, [1]], [5, A[7]+A[14], 120, [1]], [5, A[6]+A[9]+D[6], 70, [1]], [5, A[5]+A[9]+E[7], 30, [1]], [5, A[5 ]+A[7]+A[9], 120, [1]], [5, A[4]+D[10]+E[7], 10, [1]], [5, A[4]+A[17], 90, [1] ], [5, A[4]+A[17], 10, [1]], [5, A[4]+A[11]+D[6], 60, [1]], [5, A[4]+A[10]+E[7 ], 110, [1]], [5, A[4]+A[9], 2, [1]], [5, A[4]+A[8]+A[9], 18, [1]], [5, A[4]+A [7]+A[10], 440, [1]], [5, A[4]+A[6]+D[11], 140, [1]], [5, A[4]+A[5]+A[12], 390 , [1]], [5, 3*A[4]+A[9], 2, [1, 2]], [5, A[3]+A[4]+A[14], 12, [1]], [5, A[3]+A [4]+A[7]+D[7], 40, [1]], [5, A[3]+A[4]+A[6], 140, [1]], [5, A[3]+A[4]+A[6]+A[8 ], 1260, [1]], [5, A[3]+A[4]+A[5]+A[9], 12, [1]], [5, A[3]+3*A[4]+A[6], 140, [ 1, 2]], [5, 2*A[3]+A[4]+A[11], 60, [1]], [5, A[2]+A[19], 60, [1]], [5, A[2]+A[ 14]+D[5], 20, [1]], [5, A[2]+A[9]+A[10], 330, [1]], [5, A[2]+A[5]+A[14], 30, [ 1]], [5, A[2]+A[4]+D[15], 60, [1]], [5, A[2]+A[4]+D[7], 60, [1]], [5, A[2]+A[4 ]+A[15], 240, [1]], [5, A[2]+A[4]+A[15], 60, [1]], [5, A[2]+A[4]+A[9]+D[6], 6, [1]], [5, A[2]+A[4]+A[6]+A[9], 42, [1]], [5, A[2]+3*A[4]+D[7], 60, [1, 2]], [5 , A[2]+A[3]+A[4]+D[12], 60, [1]], [5, A[1]+A[9]+D[11], 20, [1]], [5, A[1]+A[4] , 10, [1]], [5, A[1]+A[4]+D[16], 10, [1]], [5, A[1]+A[4]+A[9]+E[7], 2, [1]], [ 5, A[1]+A[4]+A[9]+D[7], 4, [1]], [5, A[1]+A[4]+2*A[8], 90, [1]], [5, A[1]+3*A[ 4], 10, [1, 2]], [5, A[1]+5*A[4], 10, [1, 2, 3]], [5, A[1]+A[3]+A[9], 20, [1]] , [5, A[1]+A[3]+A[8]+A[9], 180, [1]], [5, A[1]+A[3]+A[4]+A[13], 140, [1]], [5, A[1]+A[3]+2*A[4]+A[9], 20, [1, 2]], [5, A[1]+A[2]+A[4]+A[14], 2, [1]], [3, E[6 ]+E[7], 6, [1]], [3, D[9]+2*E[6], 4, [1]], [3, A[14]+D[7], 60, [1]], [3, A[11] +D[10], 12, [1]], [3, A[9]+2*E[6], 10, [1]], [3, A[6]+A[11]+D[4], 84, [1]], [3 , A[5], 6, [1]], [3, A[5]+D[16], 6, [1]], [3, A[5]+D[10]+E[6], 2, [1]], [3, A[ 5]+D[6]+D[10], 6, [1]], [3, A[5]+A[10]+E[6], 22, [1]], [3, A[5]+A[9]+D[7], 60, [1]], [3, A[5]+A[6]+D[10], 42, [1]], [3, 2*A[5]+D[11], 4, [1]], [3, 2*A[5]+D[5 ]+E[6], 12, [1, 2]], [3, 2*A[5]+D[5]+D[6], 4, [1]], [3, 2*A[5]+D[4]+E[7], 2, [ 1]], [3, A[4]+D[5]+2*E[6], 20, [1]], [3, A[4]+A[5]+2*E[6], 30, [1, 2]], [3, A[ 4]+A[5]+A[6]+E[6], 70, [1]], [3, A[4]+2*A[5]+D[7], 20, [1]], [3, A[3]+3*E[6], 12, [1, 2]], [3, A[3]+A[11]+D[7], 12, [1]], [3, A[3]+A[5]+E[6]+E[7], 4, [1]], [3, A[3]+2*A[5], 4, [1]], [3, A[2]+2*E[6]+E[7], 6, [1, 2]], [3, A[2]+D[19], 12 , [1]], [3, A[2]+D[11], 12, [1]], [3, A[2]+D[7]+D[12], 12, [1]], [3, A[2]+D[5] +2*E[7], 12, [1]], [3, A[2]+A[15]+D[4], 12, [1]], [3, A[2]+A[12]+D[7], 156, [1 ]], [3, A[2]+A[11], 4, [1]], [3, A[2]+A[11]+D[8], 4, [1]], [3, A[2]+2*A[7]+D[5 ], 12, [1]], [3, A[2]+A[6]+D[13], 84, [1]], [3, A[2]+A[6]+D[5], 84, [1]], [3, A[2]+A[5]+E[6], 6, [1, 2]], [3, A[2]+3*A[5]+D[4], 2, [1, 2]], [3, A[2]+A[4]+E[ 7], 30, [1]], [3, A[2]+A[4]+A[11]+D[4], 20, [1]], [3, A[2]+A[4]+A[7], 120, [1] ], [3, A[2]+A[4]+A[7]+D[8], 120, [1]], [3, A[2]+A[3], 12, [1]], [3, A[2]+A[3]+ D[16], 12, [1]], [3, A[2]+A[3]+2*D[8], 12, [1]], [3, A[2]+A[3]+A[11]+D[5], 4, [1]], [3, A[2]+A[3]+2*A[5]+E[6], 4, [1, 2]], [3, 2*A[2]+D[17], 4, [1]], [3, 2* A[2]+D[11]+E[6], 12, [1, 2]], [3, 2*A[2]+D[10]+E[7], 2, [1]], [3, 2*A[2]+D[9], 4, [1]], [3, 2*A[2]+D[5]+D[12], 4, [1]], [3, 2*A[2]+A[17], 2, [1]], [3, 2*A[2] +A[12]+D[5], 52, [1]], [3, 2*A[2]+A[11]+E[6], 4, [1, 2]], [3, 2*A[2]+A[10]+E[7 ], 22, [1]], [3, 2*A[2]+A[9], 10, [1]], [3, 2*A[2]+A[7]+2*D[5], 8, [1]], [3, 2 *A[2]+A[6]+D[5]+E[6], 84, [1, 2]], [3, 2*A[2]+A[5]+2*E[6], 6, [1, 2, 3]], [3, 2*A[2]+A[5]+D[5]+E[7], 12, [1, 2]], [3, 2*A[2]+A[4]+E[6]+E[7], 30, [1, 2]], [3 , 2*A[2]+A[4]+D[13], 20, [1]], [3, 2*A[2]+A[4]+D[5], 20, [1]], [3, 2*A[2]+A[4] +A[13], 70, [1]], [3, 2*A[2]+A[4]+A[8]+D[5], 180, [1, 2]], [3, 2*A[2]+A[4]+A[7 ]+E[6], 120, [1, 2]], [3, 2*A[2]+A[4]+A[6]+E[7], 70, [1]], [3, 2*A[2]+A[4]+A[5 ], 30, [1, 2]], [3, 2*A[2]+2*A[4]+A[9], 10, [1]], [3, 2*A[2]+A[3]+2*E[7], 4, [ 1]], [3, 2*A[2]+A[3]+E[6], 12, [1, 2]], [3, 3*A[2]+E[7], 6, [1, 2]], [3, 3*A[2 ]+D[9]+E[6], 4, [2]], [3, 3*A[2]+A[9]+E[6], 10, [2]], [3, 3*A[2]+A[5]+D[10], 2 , [2]], [3, 3*A[2]+A[5]+A[10], 22, [2]], [3, 3*A[2]+2*A[5]+D[5], 12, [1, 2, 3] ], [3, 3*A[2]+A[4]+D[5]+E[6], 20, [2]], [3, 3*A[2]+A[4]+A[5]+E[6], 30, [1, 2, 3]], [3, 3*A[2]+A[4]+A[5]+A[6], 70, [2]], [3, 3*A[2]+A[3]+2*E[6], 12, [1, 2, 3 ]], [3, 3*A[2]+A[3]+A[5]+E[7], 4, [2]], [3, 4*A[2]+E[6]+E[7], 6, [1, 2, 3]], [ 3, 4*A[2]+A[5], 6, [1, 2, 3]], [3, 4*A[2]+A[3]+2*A[5], 4, [1, 2, 3]], [3, 5*A[ 2]+D[11], 12, [2, 3]], [3, 5*A[2]+A[11], 4, [2, 3]], [3, 5*A[2]+A[6]+D[5], 84, [2, 3]], [3, 5*A[2]+A[5]+E[6], 6, [1, 2, 3, 4]], [3, 5*A[2]+A[4]+E[7], 30, [2, 3]], [3, 5*A[2]+A[4]+A[7], 120, [2, 3]], [3, 5*A[2]+A[3], 12, [2, 3]], [3, 6*A [2]+D[9], 4, [2, 3]], [3, 6*A[2]+A[9], 10, [2, 3]], [3, 6*A[2]+A[4]+D[5], 20, [2, 3]], [3, 6*A[2]+A[4]+A[5], 30, [1, 2, 3, 4]], [3, 6*A[2]+A[3]+E[6], 12, [1 , 2, 3, 4]], [3, 7*A[2]+E[7], 6, [2, 3, 4]], [3, 8*A[2]+A[5], 6, [1, 2, 3, 4, 5]], [3, 9*A[2]+A[3], 12, [1, 2, 3, 4, 5]], [3, A[1]+2*E[6], 2, [1]], [3, A[1] +D[14]+E[6], 6, [1]], [3, A[1]+A[14]+E[6], 10, [1]], [3, A[1]+A[9]+D[5]+E[6], 60, [1]], [3, A[1]+A[8]+2*E[6], 18, [1, 2]], [3, A[1]+A[7]+E[6]+E[7], 24, [1]] , [3, A[1]+A[6]+E[6], 42, [1]], [3, A[1]+A[5]+D[8]+E[7], 6, [1]], [3, A[1]+A[5 ]+A[9]+E[6], 10, [1]], [3, A[1]+A[5]+A[7], 24, [1]], [3, A[1]+A[5]+A[7]+D[8], 24, [1]], [3, A[1]+2*A[5]+D[10], 2, [1]], [3, A[1]+A[4]+A[11]+D[5], 30, [1]], [3, A[1]+A[4]+A[10]+E[6], 330, [1]], [3, A[1]+A[2]+3*E[6], 2, [1, 2]], [3, A[1 ]+A[2]+A[13]+D[5], 84, [1]], [3, A[1]+A[2]+A[11]+D[7], 2, [1]], [3, A[1]+A[2]+ A[10], 66, [1]], [3, A[1]+A[2]+A[6]+2*E[6], 42, [1, 2]], [3, A[1]+A[2]+A[5]+A[ 7]+E[6], 24, [1, 2]], [3, A[1]+A[2]+2*A[5]+D[8], 6, [1, 2]], [3, A[1]+A[2]+A[4 ]+D[14], 30, [1]], [3, A[1]+2*A[2], 2, [1]], [3, A[1]+2*A[2]+D[16], 2, [1]], [ 3, A[1]+2*A[2]+A[16], 34, [1]], [3, A[1]+2*A[2]+A[11]+D[5], 6, [1, 2]], [3, A[ 1]+2*A[2]+A[10]+E[6], 66, [1, 2]], [3, A[1]+2*A[2]+A[9]+E[7], 10, [1]], [3, A[ 1]+2*A[2]+A[8], 18, [1, 2]], [3, A[1]+2*A[2]+A[4]+A[12], 130, [1]], [3, A[1]+3 *A[2]+E[6], 2, [2]], [3, A[1]+3*A[2]+D[14], 6, [1, 2]], [3, A[1]+3*A[2]+A[14], 10, [1, 2]], [3, A[1]+3*A[2]+A[9]+D[5], 60, [1, 2]], [3, A[1]+3*A[2]+A[8]+E[6] , 18, [1, 2, 3]], [3, A[1]+3*A[2]+A[7]+E[7], 24, [1, 2]], [3, A[1]+3*A[2]+A[6] , 42, [1, 2]], [3, A[1]+3*A[2]+A[5]+A[9], 10, [2]], [3, A[1]+3*A[2]+A[4]+A[10] , 330, [1, 2]], [3, A[1]+4*A[2]+2*E[6], 2, [1, 2, 3]], [3, A[1]+4*A[2]+A[6]+E[ 6], 42, [1, 2, 3]], [3, A[1]+4*A[2]+A[5]+A[7], 24, [1, 2, 3]], [3, A[1]+5*A[2] +A[10], 66, [2, 3]], [3, A[1]+6*A[2], 2, [2, 3]], [3, A[1]+6*A[2]+A[8], 18, [1 , 2, 3, 4]], [3, A[1]+7*A[2]+E[6], 2, [2, 3, 4]], [3, A[1]+7*A[2]+A[6], 42, [2 , 3, 4]], [3, A[1]+10*A[2], 2, [1, 2, 3, 4, 5]], [3, 2*A[1]+A[13]+E[6], 42, [1 ]], [3, 2*A[1]+A[11], 12, [1]], [3, 2*A[1]+A[2]+A[11]+E[6], 12, [1, 2]], [3, 2 *A[1]+2*A[2]+A[15], 4, [1]], [3, 2*A[1]+3*A[2]+A[13], 42, [1, 2]], [3, 2*A[1]+ 4*A[2]+A[11], 12, [1, 2, 3]], [2, 3*E[7], 2, [1]], [2, D[21], 4, [1]], [2, D[ 15]+E[6], 12, [1]], [2, D[14]+E[7], 2, [1]], [2, D[13], 4, [1]], [2, D[9]+D[12 ], 4, [1, 2]], [2, D[8]+D[13], 4, [1, 2]], [2, D[7]+2*E[7], 4, [1]], [2, D[7]+ E[6], 12, [1]], [2, D[7]+D[8]+E[6], 12, [1, 2]], [2, D[6]+E[7], 2, [1]], [2, D [6]+D[8]+E[7], 2, [1, 2]], [2, D[5], 4, [1]], [2, D[5]+D[16], 4, [1, 2]], [2, D[5]+D[8], 4, [1, 2]], [2, D[5]+2*D[8], 4, [1, 2, 3]], [2, D[4]+D[17], 4, [1, 2]], [2, D[4]+D[11]+E[6], 12, [1, 2]], [2, D[4]+D[10]+E[7], 2, [1, 2]], [2, D[ 4]+D[9], 4, [1, 2]], [2, D[4]+D[8]+D[9], 4, [1, 2, 3]], [2, D[4]+D[5]+D[12], 4 , [1, 2, 3]], [2, 2*D[4]+D[13], 4, [2, 3]], [2, 2*D[4]+D[7]+E[6], 12, [2, 3]], [2, 2*D[4]+D[6]+E[7], 2, [2, 3]], [2, 2*D[4]+D[5], 4, [2, 3]], [2, 2*D[4]+D[5] +D[8], 4, [1, 2, 3, 4]], [2, 3*D[4]+D[9], 4, [2, 3, 4]], [2, 4*D[4]+D[5], 4, [ 1, 2, 3, 4, 5]], [2, A[17]+D[4], 2, [1]], [2, A[16]+D[5], 68, [1]], [2, A[15]+ E[6], 12, [1]], [2, A[15]+D[6], 4, [1]], [2, A[12]+D[9], 52, [1]], [2, A[12]+D [4]+D[5], 52, [1, 2]], [2, A[11]+D[4]+E[6], 4, [1, 2]], [2, A[10]+D[4]+E[7], 22, [1]], [2, A[9]+D[12], 10, [1]], [2, A[9]+2*D[6], 10, [1, 2]], [2, A[9]+D[4 ], 10, [1]], [2, A[9]+D[4]+D[8], 10, [2]], [2, A[9]+3*D[4], 10, [3]], [2, A[8] +D[6]+E[7], 18, [1]], [2, 2*A[8]+D[5], 36, [1]], [2, A[7]+D[5]+D[9], 8, [1, 2] ], [2, A[7]+D[4]+2*D[5], 8, [1, 2, 3]], [2, A[6]+D[9]+E[6], 84, [1]], [2, A[6] +D[4]+D[5]+E[6], 84, [1, 2]], [2, A[5]+D[9]+E[7], 12, [1]], [2, A[5]+D[4]+2*E[ 6], 6, [1]], [2, A[5]+D[4]+D[5]+E[7], 12, [1, 2]], [2, A[5]+A[11]+D[5], 2, [1] ], [2, A[5]+A[10]+D[6], 66, [1]], [2, 2*A[5]+A[11], 12, [1]], [2, 3*A[5]+E[6], 2, [1]], [2, 3*A[5]+D[6], 6, [1, 2]], [2, 3*A[5]+A[6], 42, [1]], [2, A[4]+D[17 ], 20, [1]], [2, A[4]+D[9], 20, [1]], [2, A[4]+D[8]+D[9], 20, [1, 2]], [2, A[4 ]+D[5]+D[12], 20, [1, 2]], [2, A[4]+D[4]+E[6]+E[7], 30, [1]], [2, A[4]+D[4]+D[ 13], 20, [1, 2]], [2, A[4]+D[4]+D[5], 20, [1, 2]], [2, A[4]+D[4]+D[5]+D[8], 20 , [1, 2, 3]], [2, A[4]+2*D[4]+D[9], 20, [2, 3]], [2, A[4]+3*D[4]+D[5], 20, [2, 3, 4]], [2, A[4]+A[13]+D[4], 70, [1]], [2, A[4]+A[11]+E[6], 20, [1]], [2, A[4] +A[8]+D[9], 180, [1]], [2, A[4]+A[8]+D[4]+D[5], 180, [1, 2]], [2, A[4]+A[7]+D[ 4]+E[6], 120, [1, 2]], [2, A[4]+A[6]+D[4]+E[7], 70, [1]], [2, A[4]+A[5]+D[12], 30, [1]], [2, A[4]+A[5]+2*D[6], 30, [1, 2]], [2, A[4]+A[5]+D[4], 30, [1]], [2, A[4]+A[5]+D[4]+D[8], 30, [2]], [2, A[4]+A[5]+3*D[4], 30, [3]], [2, 2*A[4]+A[9] +D[4], 10, [1]], [2, A[3]+D[12]+E[6], 12, [1, 2]], [2, A[3]+3*D[6], 4, [1, 2, 3]], [2, A[3]+D[4]+2*E[7], 4, [1, 2]], [2, A[3]+D[4]+E[6], 12, [1, 2]], [2, A[ 3]+D[4]+D[8]+E[6], 12, [1, 2, 3]], [2, A[3]+3*D[4]+E[6], 12, [2, 3, 4]], [2, A [3]+A[12]+E[6], 156, [1]], [2, A[3]+A[11]+E[7], 6, [1]], [2, A[3]+2*A[9], 4, [ 1]], [2, A[3]+3*A[6], 28, [1]], [2, A[3]+A[5]+D[6]+E[7], 12, [1, 2]], [2, A[3] +A[5]+A[13], 84, [1]], [2, A[3]+A[5]+A[6]+E[7], 84, [1]], [2, A[3]+A[4]+2*E[7] , 20, [1]], [2, 7*A[3], 4, [1, 2, 3, 4]], [2, A[2]+D[12]+E[7], 6, [1]], [2, A[ 2]+2*D[6]+E[7], 6, [1, 2]], [2, A[2]+D[4]+E[7], 6, [1]], [2, A[2]+D[4]+D[8]+E[ 7], 6, [2]], [2, A[2]+3*D[4]+E[7], 6, [3]], [2, A[2]+A[13]+D[6], 42, [1]], [2, A[2]+A[7]+2*D[6], 24, [1, 2]], [2, A[2]+A[6]+D[6]+E[7], 42, [1]], [2, A[2]+A[5 ]+A[8]+D[6], 18, [1]], [2, A[2]+A[3]+A[9]+E[7], 60, [1]], [2, A[2]+A[3]+A[6]+A [10], 924, [1]], [2, A[2]+A[3]+A[5]+A[11], 6, [1]], [2, A[2]+2*A[3]+A[6]+A[7], 168, [1, 2]], [2, A[2]+4*A[3]+A[7], 24, [1, 2, 3]], [2, 2*A[2]+A[11]+D[6], 12, [1]], [2, 2*A[2]+A[6]+A[11], 84, [1]], [2, 2*A[2]+A[3]+A[14], 60, [1]], [2, 2* A[2]+2*A[3]+A[11], 12, [1, 2]], [2, A[1]+D[20], 2, [1]], [2, A[1]+D[12], 2, [1 ]], [2, A[1]+2*D[10], 2, [1, 2]], [2, A[1]+D[8]+D[12], 2, [1, 2]], [2, A[1]+D[ 6]+2*E[7], 2, [1, 2]], [2, A[1]+D[6]+D[14], 2, [1, 2]], [2, A[1]+D[6]+D[7]+E[7 ], 4, [1, 2]], [2, A[1]+2*D[6], 2, [2]], [2, A[1]+2*D[6]+D[8], 2, [1, 2, 3]], [2, A[1]+D[4], 2, [1]], [2, A[1]+D[4]+D[16], 2, [1, 2]], [2, A[1]+D[4]+D[8], 2 , [2]], [2, A[1]+D[4]+2*D[8], 2, [1, 2, 3]], [2, A[1]+D[4]+D[6]+D[10], 2, [1, 2, 3]], [2, A[1]+2*D[4]+D[12], 2, [2, 3]], [2, A[1]+2*D[4]+2*D[6], 2, [1, 2, 3 , 4]], [2, A[1]+3*D[4], 2, [3]], [2, A[1]+3*D[4]+D[8], 2, [2, 3, 4]], [2, A[1] +5*D[4], 2, [1, 2, 3, 4, 5]], [2, A[1]+A[16]+D[4], 34, [1]], [2, A[1]+A[15]+D[ 5], 2, [1]], [2, A[1]+A[11]+D[9], 6, [1]], [2, A[1]+A[11]+D[4]+D[5], 6, [1, 2] ], [2, A[1]+A[10]+D[10], 22, [1]], [2, A[1]+A[10]+D[4]+E[6], 66, [1]], [2, A[1 ]+A[10]+D[4]+D[6], 22, [2]], [2, A[1]+A[9]+D[4]+E[7], 10, [1, 2]], [2, A[1]+A[ 9]+A[11], 60, [1]], [2, A[1]+A[8]+D[12], 18, [1]], [2, A[1]+A[8]+2*D[6], 18, [ 2]], [2, A[1]+A[8]+D[4], 18, [1]], [2, A[1]+A[8]+D[4]+D[8], 18, [2]], [2, A[1] +A[8]+3*D[4], 18, [3]], [2, A[1]+A[6]+A[9]+D[5], 140, [1]], [2, A[1]+A[5]+D[6] +D[9], 12, [1, 2]], [2, A[1]+A[5]+D[5]+D[10], 12, [1, 2]], [2, A[1]+A[5]+D[4]+ D[5]+D[6], 12, [1, 2, 3]], [2, A[1]+2*A[5]+D[4]+E[6], 6, [1, 2]], [2, A[1]+4*A [5], 2, [1, 2]], [2, A[1]+A[4]+D[10]+E[6], 30, [1]], [2, A[1]+A[4]+D[4]+D[6]+E [6], 30, [2]], [2, A[1]+A[4]+A[12]+D[4], 130, [1]], [2, A[1]+A[4]+A[6]+D[10], 70, [1]], [2, A[1]+A[4]+A[6]+D[4]+D[6], 70, [2]], [2, A[1]+A[4]+A[5]+D[4]+E[7] , 30, [1, 2]], [2, A[1]+A[3]+D[10]+E[7], 4, [1, 2]], [2, A[1]+A[3]+D[4]+D[6]+E [7], 4, [1, 2, 3]], [2, A[1]+A[3]+A[17], 36, [1]], [2, A[1]+A[3]+A[17], 4, [1] ], [2, A[1]+A[3]+A[11]+E[6], 2, [1]], [2, A[1]+A[3]+A[11]+D[6], 6, [1, 2]], [2 , A[1]+A[3]+A[6]+A[11], 42, [1]], [2, A[1]+A[3]+A[5]+2*D[6], 12, [1, 2, 3]], [ 2, A[1]+A[3]+A[5]+A[6]+D[6], 84, [1, 2]], [2, A[1]+A[3]+A[4]+D[6]+E[7], 20, [1 , 2]], [2, A[1]+2*A[3]+A[7]+E[7], 8, [1, 2]], [2, A[1]+2*A[3]+2*A[7], 2, [1, 2 ]], [2, A[1]+A[2]+D[18], 6, [1]], [2, A[1]+A[2]+D[10], 6, [1]], [2, A[1]+A[2]+ D[8]+D[10], 6, [1, 2]], [2, A[1]+A[2]+D[6]+D[12], 6, [1, 2]], [2, A[1]+A[2]+3* D[6], 6, [1, 2, 3]], [2, A[1]+A[2]+D[4]+2*E[7], 6, [1, 2]], [2, A[1]+A[2]+D[4] +D[14], 6, [1, 2]], [2, A[1]+A[2]+D[4]+D[6], 6, [2]], [2, A[1]+A[2]+D[4]+D[6]+ D[8], 6, [1, 2, 3]], [2, A[1]+A[2]+2*D[4]+D[10], 6, [2, 3]], [2, A[1]+A[2]+3*D [4]+D[6], 6, [2, 3, 4]], [2, A[1]+A[2]+A[14]+D[4], 10, [1]], [2, A[1]+A[2]+A[9 ]+D[9], 60, [1]], [2, A[1]+A[2]+A[9]+D[4]+D[5], 60, [1, 2]], [2, A[1]+A[2]+2*A [9], 6, [1]], [2, A[1]+A[2]+A[8]+D[4]+E[6], 18, [1]], [2, A[1]+A[2]+A[7]+D[4]+ E[7], 24, [1, 2]], [2, A[1]+A[2]+A[6]+D[12], 42, [1]], [2, A[1]+A[2]+A[6]+2*D[ 6], 42, [2]], [2, A[1]+A[2]+A[6]+D[4], 42, [1]], [2, A[1]+A[2]+A[6]+D[4]+D[8], 42, [2]], [2, A[1]+A[2]+A[6]+3*D[4], 42, [3]], [2, A[1]+A[2]+A[4]+A[10]+D[4], 330, [1]], [2, A[1]+A[2]+A[3]+A[15], 6, [1]], [2, A[1]+A[2]+A[3]+A[9]+D[6], 60 , [1, 2]], [2, 2*A[1]+D[12]+E[7], 2, [1, 2]], [2, 2*A[1]+2*D[6]+E[7], 2, [1, 2 , 3]], [2, 2*A[1]+2*D[6]+D[7], 4, [1, 2, 3]], [2, 2*A[1]+D[5]+2*E[7], 4, [1, 2 ]], [2, 2*A[1]+D[4]+E[7], 2, [2]], [2, 2*A[1]+D[4]+D[8]+E[7], 2, [1, 2, 3]], [ 2, 2*A[1]+3*D[4]+E[7], 2, [2, 3, 4]], [2, 2*A[1]+A[19], 20, [1]], [2, 2*A[1]+A [15]+D[4], 4, [1, 2]], [2, 2*A[1]+A[9]+D[10], 10, [1, 2]], [2, 2*A[1]+A[9]+D[4 ]+D[6], 10, [2, 3]], [2, 2*A[1]+A[9]+A[10], 110, [1]], [2, 2*A[1]+A[8]+D[4]+E[ 7], 18, [2]], [2, 2*A[1]+2*A[7]+D[5], 4, [1, 2]], [2, 2*A[1]+A[5]+D[7]+E[7], 12, [1, 2]], [2, 2*A[1]+A[5]+A[10]+D[4], 66, [2]], [2, 2*A[1]+3*A[5]+D[4], 6, [1, 2, 3]], [2, 2*A[1]+A[4]+A[15], 20, [1]], [2, 2*A[1]+A[4]+A[5]+D[10], 30, [ 1, 2]], [2, 2*A[1]+A[4]+A[5]+D[4]+D[6], 30, [2, 3]], [2, 2*A[1]+A[3]+D[6]+D[10 ], 4, [1, 2, 3]], [2, 2*A[1]+A[3]+D[4]+2*D[6], 4, [1, 2, 3, 4]], [2, 2*A[1]+A[ 3]+A[5]+D[4]+E[7], 12, [1, 2, 3]], [2, 2*A[1]+A[3]+A[5]+A[11], 2, [1, 2]], [2, 2*A[1]+A[3]+A[4]+2*D[6], 20, [1, 2, 3]], [2, 2*A[1]+2*A[3]+A[7]+D[6], 8, [1, 2 , 3]], [2, 2*A[1]+A[2]+D[10]+E[7], 6, [1, 2]], [2, 2*A[1]+A[2]+D[4]+D[6]+E[7], 6, [2, 3]], [2, 2*A[1]+A[2]+A[17], 6, [1]], [2, 2*A[1]+A[2]+A[13]+D[4], 42, [1 , 2]], [2, 2*A[1]+A[2]+A[7]+D[10], 24, [1, 2]], [2, 2*A[1]+A[2]+A[7]+D[4]+D[6] , 24, [2, 3]], [2, 2*A[1]+A[2]+A[6]+D[4]+E[7], 42, [2]], [2, 2*A[1]+A[2]+A[5]+ A[8]+D[4], 18, [2]], [2, 2*A[1]+2*A[2]+A[11]+D[4], 12, [1, 2]], [2, 3*A[1]+3*E [6], 6, [1]], [2, 3*A[1]+D[18], 2, [1, 2]], [2, 3*A[1]+D[11]+E[7], 4, [1, 2]], [2, 3*A[1]+D[10], 2, [1, 2]], [2, 3*A[1]+D[8]+D[10], 2, [1, 2, 3]], [2, 3*A[1] +D[6]+D[12], 2, [1, 2, 3]], [2, 3*A[1]+3*D[6], 2, [1, 2, 3, 4]], [2, 3*A[1]+D[ 5]+E[6]+E[7], 12, [1, 2]], [2, 3*A[1]+D[5]+D[6]+E[7], 4, [1, 2, 3]], [2, 3*A[1 ]+D[4]+2*E[7], 2, [1, 2, 3]], [2, 3*A[1]+D[4]+D[14], 2, [2, 3]], [2, 3*A[1]+D[ 4]+D[7]+E[7], 4, [2, 3]], [2, 3*A[1]+D[4]+D[6], 2, [2, 3]], [2, 3*A[1]+D[4]+D[ 6]+D[8], 2, [1, 2, 3, 4]], [2, 3*A[1]+2*D[4]+D[10], 2, [2, 3, 4]], [2, 3*A[1]+ 3*D[4]+D[6], 2, [1, 2, 3, 4, 5]], [2, 3*A[1]+A[18], 38, [1]], [2, 3*A[1]+A[11] +D[7], 6, [1, 2]], [2, 3*A[1]+A[10], 22, [1]], [2, 3*A[1]+A[10]+D[8], 22, [2]] , [2, 3*A[1]+A[10]+2*D[4], 22, [3]], [2, 3*A[1]+2*A[9], 2, [1, 2]], [2, 3*A[1] +A[8]+D[10], 18, [1, 2]], [2, 3*A[1]+A[8]+D[4]+D[6], 18, [2, 3]], [2, 3*A[1]+A [6]+A[12], 182, [1]], [2, 3*A[1]+3*A[6], 14, [1]], [2, 3*A[1]+A[5]+D[13], 12, [1, 2]], [2, 3*A[1]+A[5]+D[6]+D[7], 12, [1, 2, 3]], [2, 3*A[1]+A[5]+D[5], 12, [1, 2]], [2, 3*A[1]+A[5]+D[5]+D[8], 12, [1, 2, 3]], [2, 3*A[1]+A[5]+D[4]+D[9], 12, [2, 3]], [2, 3*A[1]+A[5]+2*D[4]+D[5], 12, [2, 3, 4]], [2, 3*A[1]+A[5]+A[6] +D[7], 84, [1, 2]], [2, 3*A[1]+A[4]+E[6], 30, [1]], [2, 3*A[1]+A[4]+D[8]+E[6], 30, [2]], [2, 3*A[1]+A[4]+D[7]+E[7], 20, [1, 2]], [2, 3*A[1]+A[4]+2*D[4]+E[6], 30, [3]], [2, 3*A[1]+A[4]+A[6], 70, [1]], [2, 3*A[1]+A[4]+A[6]+D[8], 70, [2]], [2, 3*A[1]+A[4]+A[6]+2*D[4], 70, [3]], [2, 3*A[1]+A[3]+E[7], 4, [1, 2]], [2, 3 *A[1]+A[3]+D[8]+E[7], 4, [1, 2, 3]], [2, 3*A[1]+A[3]+2*D[4]+E[7], 4, [2, 3, 4] ], [2, 3*A[1]+A[3]+A[15], 2, [1, 2]], [2, 3*A[1]+A[3]+A[11]+D[4], 6, [2, 3]], [2, 3*A[1]+A[3]+A[6]+A[9], 140, [1, 2]], [2, 3*A[1]+A[3]+A[5]+D[10], 12, [1, 2 , 3]], [2, 3*A[1]+A[3]+A[5]+D[4]+D[6], 12, [1, 2, 3, 4]], [2, 3*A[1]+A[3]+A[5] +A[6]+D[4], 84, [2, 3]], [2, 3*A[1]+A[3]+A[4]+D[4]+E[7], 20, [2, 3]], [2, 3*A[ 1]+A[2], 6, [1]], [2, 3*A[1]+A[2]+D[16], 6, [1, 2]], [2, 3*A[1]+A[2]+D[8], 6, [2]], [2, 3*A[1]+A[2]+2*D[8], 6, [1, 2, 3]], [2, 3*A[1]+A[2]+D[6]+D[10], 6, [1 , 2, 3]], [2, 3*A[1]+A[2]+D[4]+D[12], 6, [2, 3]], [2, 3*A[1]+A[2]+D[4]+2*D[6], 6, [1, 2, 3, 4]], [2, 3*A[1]+A[2]+2*D[4], 6, [3]], [2, 3*A[1]+A[2]+2*D[4]+D[8] , 6, [2, 3, 4]], [2, 3*A[1]+A[2]+4*D[4], 6, [1, 2, 3, 4, 5]], [2, 3*A[1]+A[2]+ A[9]+D[7], 60, [1, 2]], [2, 3*A[1]+A[2]+A[6]+D[10], 42, [1, 2]], [2, 3*A[1]+A[ 2]+A[6]+D[4]+D[6], 42, [2, 3]], [2, 3*A[1]+A[2]+A[3]+A[9]+D[4], 60, [2, 3]], [ 2, 4*A[1]+D[10]+E[7], 2, [1, 2, 3]], [2, 4*A[1]+D[7]+D[10], 4, [1, 2, 3]], [2, 4*A[1]+D[6]+D[11], 4, [2, 3]], [2, 4*A[1]+D[5]+D[6]+E[6], 12, [2, 3]], [2, 4*A [1]+D[5]+2*D[6], 4, [1, 2, 3, 4]], [2, 4*A[1]+D[4]+D[6]+E[7], 2, [2, 3, 4]], [ 2, 4*A[1]+D[4]+D[6]+D[7], 4, [2, 3, 4]], [2, 4*A[1]+A[17], 2, [1, 2]], [2, 4*A [1]+A[10]+E[7], 22, [2]], [2, 4*A[1]+A[9], 10, [1, 2]], [2, 4*A[1]+A[9]+D[8], 10, [1, 2, 3]], [2, 4*A[1]+A[9]+2*D[4], 10, [2, 3, 4]], [2, 4*A[1]+A[7]+A[10], 88, [1, 2]], [2, 4*A[1]+A[5]+2*E[6], 6, [2]], [2, 4*A[1]+A[5]+D[5]+E[7], 12, [ 2, 3]], [2, 4*A[1]+A[4]+E[6]+E[7], 30, [2]], [2, 4*A[1]+A[4]+D[6]+D[7], 20, [2 , 3]], [2, 4*A[1]+A[4]+A[13], 70, [1, 2]], [2, 4*A[1]+A[4]+A[6]+E[7], 70, [2]] , [2, 4*A[1]+A[4]+A[6]+A[7], 280, [1, 2]], [2, 4*A[1]+A[4]+A[5], 30, [2]], [2, 4*A[1]+A[4]+A[5]+D[8], 30, [1, 2, 3]], [2, 4*A[1]+A[4]+A[5]+2*D[4], 30, [2, 3, 4]], [2, 4*A[1]+2*A[4]+A[9], 10, [1, 2]], [2, 4*A[1]+A[3]+2*E[7], 4, [2, 3]], [2, 4*A[1]+A[3]+D[14], 4, [1, 2, 3]], [2, 4*A[1]+A[3]+D[6], 4, [2, 3]], [2, 4* A[1]+A[3]+D[6]+D[8], 4, [1, 2, 3, 4]], [2, 4*A[1]+A[3]+D[4]+D[10], 4, [2, 3, 4 ]], [2, 4*A[1]+A[3]+2*D[4]+D[6], 4, [1, 2, 3, 4, 5]], [2, 4*A[1]+A[3]+A[7]+D[7 ], 8, [1, 2, 3]], [2, 4*A[1]+A[3]+2*A[7], 4, [1, 2, 3]], [2, 4*A[1]+A[3]+A[4]+ D[10], 20, [1, 2, 3]], [2, 4*A[1]+A[3]+A[4]+D[4]+D[6], 20, [2, 3, 4]], [2, 4*A [1]+2*A[3]+A[7]+D[4], 8, [2, 3, 4]], [2, 4*A[1]+A[2]+E[7], 6, [2]], [2, 4*A[1] +A[2]+D[8]+E[7], 6, [1, 2, 3]], [2, 4*A[1]+A[2]+2*D[4]+E[7], 6, [2, 3, 4]], [2 , 4*A[1]+A[2]+A[7], 24, [1, 2]], [2, 4*A[1]+A[2]+A[7]+D[8], 24, [1, 2, 3]], [2 , 4*A[1]+A[2]+A[7]+2*D[4], 24, [2, 3, 4]], [2, 5*A[1], 2, [2]], [2, 5*A[1]+D[ 16], 2, [2, 3]], [2, 5*A[1]+D[9]+E[7], 4, [2, 3]], [2, 5*A[1]+D[8], 2, [2, 3]] , [2, 5*A[1]+2*D[8], 2, [1, 2, 3, 4]], [2, 5*A[1]+D[6]+D[10], 2, [2, 3, 4]], [ 2, 5*A[1]+D[4]+D[12], 2, [2, 3, 4]], [2, 5*A[1]+D[4]+2*D[6], 2, [1, 2, 3, 4, 5 ]], [2, 5*A[1]+D[4]+D[5]+E[7], 4, [2, 3, 4]], [2, 5*A[1]+2*D[4], 2, [3, 4]], [ 2, 5*A[1]+2*D[4]+D[8], 2, [2, 3, 4, 5]], [2, 5*A[1]+4*D[4], 2, [1, 2, 3, 4, 5, 6]], [2, 5*A[1]+A[16], 34, [2]], [2, 5*A[1]+A[11]+D[5], 6, [2, 3]], [2, 5*A[1] +A[10]+E[6], 66, [2]], [2, 5*A[1]+A[10]+D[6], 22, [2, 3]], [2, 5*A[1]+A[9]+E[7 ], 10, [2, 3]], [2, 5*A[1]+A[8], 18, [2]], [2, 5*A[1]+A[8]+D[8], 18, [2, 3]], [2, 5*A[1]+A[8]+2*D[4], 18, [3, 4]], [2, 5*A[1]+A[5]+D[11], 12, [2, 3]], [2, 5 *A[1]+A[5]+D[5]+D[6], 12, [2, 3, 4]], [2, 5*A[1]+A[5]+D[4]+D[7], 12, [2, 3, 4] ], [2, 5*A[1]+A[5]+A[11], 4, [1, 2, 3]], [2, 5*A[1]+A[5]+A[6]+D[5], 84, [2, 3] ], [2, 5*A[1]+2*A[5]+E[6], 6, [2, 3]], [2, 5*A[1]+A[4]+D[6]+E[6], 30, [2, 3]], [2, 5*A[1]+A[4]+D[5]+E[7], 20, [2, 3]], [2, 5*A[1]+A[4]+A[12], 130, [2]], [2, 5*A[1]+A[4]+A[6]+D[6], 70, [2, 3]], [2, 5*A[1]+A[4]+A[5]+E[7], 30, [2, 3]], [2 , 5*A[1]+A[4]+A[5]+A[7], 120, [1, 2, 3]], [2, 5*A[1]+A[3]+E[6]+E[7], 12, [2, 3 ]], [2, 5*A[1]+A[3]+D[6]+E[7], 4, [2, 3, 4]], [2, 5*A[1]+A[3]+A[5], 12, [2, 3] ], [2, 5*A[1]+A[3]+A[5]+D[8], 12, [1, 2, 3, 4]], [2, 5*A[1]+A[3]+A[5]+2*D[4], 12, [2, 3, 4, 5]], [2, 5*A[1]+A[2]+2*E[7], 6, [2, 3]], [2, 5*A[1]+A[2]+D[14], 6, [2, 3]], [2, 5*A[1]+A[2]+D[6], 6, [2, 3]], [2, 5*A[1]+A[2]+D[6]+D[8], 6, [2 , 3, 4]], [2, 5*A[1]+A[2]+D[4]+D[10], 6, [2, 3, 4]], [2, 5*A[1]+A[2]+2*D[4]+D[ 6], 6, [2, 3, 4, 5]], [2, 5*A[1]+A[2]+A[14], 10, [2]], [2, 5*A[1]+A[2]+A[9]+D[ 5], 60, [2, 3]], [2, 5*A[1]+A[2]+A[8]+E[6], 18, [2]], [2, 5*A[1]+A[2]+A[7]+E[7 ], 24, [2, 3]], [2, 5*A[1]+A[2]+A[6], 42, [2]], [2, 5*A[1]+A[2]+A[6]+D[8], 42, [2, 3]], [2, 5*A[1]+A[2]+A[6]+2*D[4], 42, [3, 4]], [2, 5*A[1]+A[2]+A[4]+A[10], 330, [2]], [2, 6*A[1]+E[7], 2, [2, 3]], [2, 6*A[1]+D[15], 4, [2, 3]], [2, 6*A[ 1]+D[9]+E[6], 12, [2, 3]], [2, 6*A[1]+D[8]+E[7], 2, [2, 3, 4]], [2, 6*A[1]+D[7 ], 4, [2, 3]], [2, 6*A[1]+D[7]+D[8], 4, [2, 3, 4]], [2, 6*A[1]+D[6]+D[9], 4, [ 2, 3, 4]], [2, 6*A[1]+D[5]+D[10], 4, [2, 3, 4]], [2, 6*A[1]+D[4]+D[11], 4, [3, 4]], [2, 6*A[1]+D[4]+D[5]+E[6], 12, [3, 4]], [2, 6*A[1]+D[4]+D[5]+D[6], 4, [2, 3, 4, 5]], [2, 6*A[1]+2*D[4]+E[7], 2, [2, 3, 4, 5]], [2, 6*A[1]+2*D[4]+D[7], 4 , [2, 3, 4, 5]], [2, 6*A[1]+A[15], 4, [2, 3]], [2, 6*A[1]+A[9]+D[6], 10, [2, 3 , 4]], [2, 6*A[1]+A[8]+E[7], 18, [2, 3]], [2, 6*A[1]+A[5]+A[10], 66, [2, 3]], [2, 6*A[1]+3*A[5], 6, [1, 2, 3, 4]], [2, 6*A[1]+A[4]+D[11], 20, [2, 3]], [2, 6 *A[1]+A[4]+D[5]+D[6], 20, [2, 3, 4]], [2, 6*A[1]+A[4]+D[4]+D[7], 20, [3, 4]], [2, 6*A[1]+A[4]+A[5]+D[6], 30, [2, 3, 4]], [2, 6*A[1]+A[3]+D[12], 4, [2, 3, 4] ], [2, 6*A[1]+A[3]+D[6]+E[6], 12, [2, 3, 4]], [2, 6*A[1]+A[3]+2*D[6], 4, [2, 3 , 4, 5]], [2, 6*A[1]+A[3]+D[4], 4, [3, 4]], [2, 6*A[1]+A[3]+D[4]+D[8], 4, [2, 3, 4, 5]], [2, 6*A[1]+A[3]+3*D[4], 4, [1, 2, 3, 4, 5, 6]], [2, 6*A[1]+A[3]+A[ 12], 52, [2, 3]], [2, 6*A[1]+A[3]+A[7]+D[5], 8, [2, 3, 4]], [2, 6*A[1]+A[3]+A[ 6]+E[6], 84, [2, 3]], [2, 6*A[1]+A[3]+A[5]+E[7], 12, [2, 3, 4]], [2, 6*A[1]+A[ 3]+A[4], 20, [2, 3]], [2, 6*A[1]+A[3]+A[4]+D[8], 20, [2, 3, 4]], [2, 6*A[1]+A[ 3]+A[4]+2*D[4], 20, [2, 3, 4, 5]], [2, 6*A[1]+A[3]+A[4]+A[8], 180, [2, 3]], [2 , 6*A[1]+A[2]+D[6]+E[7], 6, [2, 3, 4]], [2, 6*A[1]+A[2]+A[13], 42, [2, 3]], [2 , 6*A[1]+A[2]+A[7]+D[6], 24, [2, 3, 4]], [2, 6*A[1]+A[2]+A[6]+E[7], 42, [2, 3] ], [2, 6*A[1]+A[2]+A[5]+A[8], 18, [2, 3]], [2, 6*A[1]+2*A[2]+A[11], 12, [2, 3] ], [2, 7*A[1]+2*E[7], 2, [2, 3, 4]], [2, 7*A[1]+D[14], 2, [2, 3, 4]], [2, 7*A[ 1]+D[7]+E[7], 4, [3, 4]], [2, 7*A[1]+D[6], 2, [3, 4]], [2, 7*A[1]+D[6]+D[8], 2 , [2, 3, 4, 5]], [2, 7*A[1]+D[4]+D[10], 2, [2, 3, 4, 5]], [2, 7*A[1]+2*D[4]+D[ 6], 2, [2, 3, 4, 5, 6]], [2, 7*A[1]+A[10]+D[4], 22, [3, 4]], [2, 7*A[1]+A[8]+D [6], 18, [3, 4]], [2, 7*A[1]+A[5]+D[9], 12, [3, 4]], [2, 7*A[1]+A[5]+D[4]+D[5] , 12, [2, 3, 4, 5]], [2, 7*A[1]+A[4]+D[4]+E[6], 30, [3, 4]], [2, 7*A[1]+A[4]+A [6]+D[4], 70, [3, 4]], [2, 7*A[1]+A[3]+D[4]+E[7], 4, [2, 3, 4, 5]], [2, 7*A[1] +A[3]+A[11], 6, [2, 3, 4]], [2, 7*A[1]+A[3]+A[5]+D[6], 12, [2, 3, 4, 5]], [2, 7*A[1]+A[3]+A[5]+A[6], 84, [3, 4]], [2, 7*A[1]+A[3]+A[4]+E[7], 20, [3, 4]], [2 , 7*A[1]+A[2]+D[12], 6, [2, 3, 4]], [2, 7*A[1]+A[2]+2*D[6], 6, [2, 3, 4, 5]], [2, 7*A[1]+A[2]+D[4], 6, [3, 4]], [2, 7*A[1]+A[2]+D[4]+D[8], 6, [2, 3, 4, 5]], [2, 7*A[1]+A[2]+3*D[4], 6, [2, 3, 4, 5, 6]], [2, 7*A[1]+A[2]+A[6]+D[6], 42, [3 , 4]], [2, 7*A[1]+A[2]+A[3]+A[9], 60, [2, 3, 4]], [2, 8*A[1]+D[13], 4, [3, 4]] , [2, 8*A[1]+D[7]+E[6], 12, [3, 4]], [2, 8*A[1]+D[6]+E[7], 2, [2, 3, 4, 5]], [ 2, 8*A[1]+D[6]+D[7], 4, [3, 4, 5]], [2, 8*A[1]+D[5], 4, [3, 4]], [2, 8*A[1]+D[ 5]+D[8], 4, [2, 3, 4, 5]], [2, 8*A[1]+D[4]+D[9], 4, [3, 4, 5]], [2, 8*A[1]+2*D [4]+D[5], 4, [2, 3, 4, 5, 6]], [2, 8*A[1]+A[9]+D[4], 10, [3, 4, 5]], [2, 8*A[1 ]+A[4]+D[9], 20, [3, 4]], [2, 8*A[1]+A[4]+D[4]+D[5], 20, [3, 4, 5]], [2, 8*A[1 ]+A[4]+A[5]+D[4], 30, [3, 4, 5]], [2, 8*A[1]+A[3]+D[10], 4, [3, 4, 5]], [2, 8* A[1]+A[3]+D[4]+E[6], 12, [3, 4, 5]], [2, 8*A[1]+A[3]+D[4]+D[6], 4, [2, 3, 4, 5 , 6]], [2, 8*A[1]+A[3]+A[4]+D[6], 20, [3, 4, 5]], [2, 8*A[1]+2*A[3]+A[7], 8, [ 3, 4, 5]], [2, 8*A[1]+A[2]+D[4]+E[7], 6, [3, 4, 5]], [2, 8*A[1]+A[2]+A[7]+D[4] , 24, [3, 4, 5]], [2, 9*A[1]+D[12], 2, [3, 4, 5]], [2, 9*A[1]+2*D[6], 2, [2, 3 , 4, 5, 6]], [2, 9*A[1]+D[5]+E[7], 4, [3, 4, 5]], [2, 9*A[1]+D[4], 2, [3, 4, 5 ]], [2, 9*A[1]+D[4]+D[8], 2, [2, 3, 4, 5, 6]], [2, 9*A[1]+3*D[4], 2, [1, 2, 3, 4, 5, 6, 7]], [2, 9*A[1]+A[8]+D[4], 18, [3, 4, 5]], [2, 9*A[1]+A[5]+D[7], 12, [3, 4, 5]], [2, 9*A[1]+A[3]+A[5]+D[4], 12, [2, 3, 4, 5, 6]], [2, 9*A[1]+A[2]+D [10], 6, [3, 4, 5]], [2, 9*A[1]+A[2]+D[4]+D[6], 6, [2, 3, 4, 5, 6]], [2, 9*A[1 ]+A[2]+A[6]+D[4], 42, [3, 4, 5]], [2, 10*A[1]+D[11], 4, [4, 5]], [2, 10*A[1]+D [5]+E[6], 12, [4, 5]], [2, 10*A[1]+D[5]+D[6], 4, [3, 4, 5, 6]], [2, 10*A[1]+D[ 4]+E[7], 2, [3, 4, 5, 6]], [2, 10*A[1]+D[4]+D[7], 4, [3, 4, 5, 6]], [2, 10*A[1 ]+A[4]+D[7], 20, [4, 5]], [2, 10*A[1]+A[3], 4, [4, 5]], [2, 10*A[1]+A[3]+D[8], 4, [3, 4, 5, 6]], [2, 10*A[1]+A[3]+2*D[4], 4, [2, 3, 4, 5, 6, 7]], [2, 10*A[1] +A[3]+A[4]+D[4], 20, [3, 4, 5, 6]], [2, 11*A[1]+D[10], 2, [3, 4, 5, 6]], [2, 11*A[1]+D[4]+D[6], 2, [2, 3, 4, 5, 6, 7]], [2, 11*A[1]+A[10], 22, [4, 5]], [2, 11*A[1]+A[5]+D[5], 12, [3, 4, 5, 6]], [2, 11*A[1]+A[4]+E[6], 30, [4, 5]], [2, 11*A[1]+A[4]+A[6], 70, [4, 5]], [2, 11*A[1]+A[3]+E[7], 4, [3, 4, 5, 6]], [2, 11*A[1]+A[2], 6, [4, 5]], [2, 11*A[1]+A[2]+D[8], 6, [3, 4, 5, 6]], [2, 11*A[1] +A[2]+2*D[4], 6, [2, 3, 4, 5, 6, 7]], [2, 12*A[1]+D[9], 4, [4, 5, 6]], [2, 12* A[1]+D[4]+D[5], 4, [3, 4, 5, 6, 7]], [2, 12*A[1]+A[9], 10, [3, 4, 5, 6]], [2, 12*A[1]+A[4]+D[5], 20, [4, 5, 6]], [2, 12*A[1]+A[4]+A[5], 30, [3, 4, 5, 6]], [ 2, 12*A[1]+A[3]+E[6], 12, [4, 5, 6]], [2, 12*A[1]+A[3]+D[6], 4, [2, 3, 4, 5, 6 , 7]], [2, 12*A[1]+A[2]+E[7], 6, [3, 4, 5, 6]], [2, 12*A[1]+A[2]+A[7], 24, [3, 4, 5, 6]], [2, 13*A[1], 2, [4, 5, 6]], [2, 13*A[1]+D[8], 2, [3, 4, 5, 6, 7]], [2, 13*A[1]+2*D[4], 2, [2, 3, 4, 5, 6, 7, 8]], [2, 13*A[1]+A[8], 18, [4, 5, 6] ], [2, 13*A[1]+A[3]+A[5], 12, [3, 4, 5, 6, 7]], [2, 13*A[1]+A[2]+D[6], 6, [3, 4, 5, 6, 7]], [2, 13*A[1]+A[2]+A[6], 42, [4, 5, 6]], [2, 14*A[1]+E[7], 2, [3, 4, 5, 6, 7]], [2, 14*A[1]+D[7], 4, [3, 4, 5, 6, 7]], [2, 14*A[1]+A[3]+D[4], 4, [2, 3, 4, 5, 6, 7, 8]], [2, 14*A[1]+A[3]+A[4], 20, [3, 4, 5, 6, 7]], [2, 15*A[ 1]+D[6], 2, [2, 3, 4, 5, 6, 7, 8]], [2, 15*A[1]+A[2]+D[4], 6, [2, 3, 4, 5, 6, 7, 8]], [2, 16*A[1]+D[5], 4, [2, 3, 4, 5, 6, 7, 8]], [2, 17*A[1]+D[4], 2, [2, 3, 4, 5, 6, 7, 8, 9]], [2, 18*A[1]+A[3], 4, [2, 3, 4, 5, 6, 7, 8, 9]], [2, 19* A[1]+A[2], 6, [2, 3, 4, 5, 6, 7, 8, 9]], [2, 21*A[1], 2, [1, 2, 3, 4, 5, 6, 7, 8, 9, 10]]];