if [n,t,nb] eq EX1 then
support:=[x[46]^2,x[44]^2,x[59]^2,x[7]*x[55],x[47]*x[54],x[56]^2,x[5]*x[40],x[16]*x[54],x[5]*x[16],x[33]*x[54],x[22]*x[28],x[11]*x[54],x[20]*x[56],x[49]*x[60],x[39]*x[44],x[42]^2,x[6]*x[35],x[11]*x[35],x[49]^2,x[33]*x[42],x[52]^2,x[39]^2,x[37]^2,x[54]^2,x[47]^2,x[32]^2,x[45]^2,x[7]*x[49],x[15]*x[25],x[38]*x[45],x[55]^2,x[57]^2,x[38]^2,x[40]^2,x[1]*x[45],x[16]*x[55],x[35]^2,x[31]^2,x[33]^2,x[50]^2,x[48]^2,x[11]*x[57],x[16]*x[60],x[16]*x[56],x[16]*x[58],x[1]*x[28],x[41]*x[60],x[58]^2,x[11]*x[41],x[41]^2,x[11]*x[60],x[60]^2,x[43]^2,x[2]*x[50],x[50]*x[51],x[36]^2,x[53]^2,x[51]^2,x[34]^2,x[27]*x[30],x[38]*x[44],x[12]*x[57],x[21]*x[46]];

// list of admissible signatures:  if Fsign[i] = [j1, j2 , ...] then support[j1]*F[i],support[j2]*F[i], ... are admissible
Fsign:=[[],[],[],[],[],[],[],[16,24],[],[],[],[],[],[],[2,27],[2],[],[],[],[51],[20],[],[],[61],[15],[],[],[30],[],[],[],[24],[],[],[],[],[58],[55],[],[],[],[],[51],[10],[5],[],[],[],[],[],[],[],[],[],[],[],[],[],[]];
sign:=[14,43,47,52];
end if;

if [n,t,nb] eq EX2 then
support:=[x[62]*x[121], x[97]*x[118], x[67]*x[104], x[99]*x[136], x[51]*x[81], x[16]*x[124], x[28]*x[144], x[4]*x[95], x[15]*x[33], x[1]*x[143], x[79]*x[97], x[25]*x[135], x[68]*x[76], x[48]*x[56], x[3]*x[93], x[8]*x[129], x[55]*x[130], x[56]*x[122], x[26]*x[56], x[32]*x[110], x[14]*x[96], x[31]*x[87], x[100]*x[106], x[65]*x[125], x[37]*x[107], x[19]*x[30], x[66]*x[130], x[62]*x[94], x[7]*x[103], x[23]*x[119], x[44]*x[76], x[29]*x[125], x[77]*x[141], x[38]*x[102], x[28]*x[60], x[2]*x[128], x[57]*x[91], x[150]^2, x[55]*x[106], x[19]*x[135], x[51]*x[135], x[42]*x[55], x[64]*x[127], x[22]*x[79], x[50]*x[148], x[143]^2, x[3]*x[75], x[32]*x[140], x[122]*x[131], x[116]*x[141], x[13]*x[20], x[77]*x[84], x[53]*x[82], x[72]*x[143], x[47]*x[136], x[15]*x[136], x[64]*x[138], x[42]*x[64], x[10]*x[128], x[65]*x[139], x[1]*x[139], x[1]*x[43], x[43]*x[129], x[97]*x[112], x[59]*x[73], x[125]*x[150], x[118]*x[125], x[85]*x[109], x[38]*x[82], x[37]*x[121], x[37]*x[57], x[125]*x[143], x[29]*x[40], x[72]*x[125], x[29]*x[72], x[4]*x[119], x[73]*x[88], x[105]*x[120], x[83]*x[120], x[17]*x[141], x[21]*x[110], x[133]*x[137], x[5]*x[41], x[34]*x[52], x[146]^2, x[37]*x[83], x[101]*x[147], x[69]*x[115], x[69]*x[147], x[52]*x[63], x[80]*x[118], x[95]*x[116], x[25]*x[65], x[86]*x[122], x[18]*x[30], x[98]*x[149], x[21]*x[66], x[2]*x[53], x[15]*x[144], x[44]*x[84], x[26]*x[79], x[31]*x[149], x[50]*x[135], x[18]*x[39], x[105]*x[131], x[38]*x[130], x[119]*x[128], x[23]*x[64], x[8]*x[122], x[10]*x[52], x[21]*x[76], x[53]*x[140], x[21]*x[140], x[17]*x[34], x[81]*x[98], x[90]*x[93], x[38]*x[76], x[33]*x[83], x[51]*x[97], x[17]*x[140], x[113]*x[140], x[86]*x[89], x[47]*x[121], x[7]*x[78], x[18]*x[124], x[10]*x[17], x[116]*x[132], x[124]*x[141], x[144]^2, x[7]*x[98], x[26]*x[139], x[122]*x[144], x[58]*x[144], x[12]*x[94], x[4]*x[117], x[68]*x[85], x[68]*x[117], x[13]*x[56], x[15]*x[41], x[88]*x[141], x[19]*x[47], x[19]*x[111], x[79]*x[115], x[15]*x[147], x[111]*x[115], x[83]*x[143], x[51]*x[143], x[71]*x[76], x[77]*x[101], x[69]*x[141], x[117]*x[119], x[53]*x[55], x[103]*x[138], x[10]*x[71], x[59]*x[66], x[46]*x[88], x[20]*x[32], x[20]*x[128], x[99]*x[146], x[19]*x[29], x[66]*x[124], x[27]*x[63], x[89]*x[107], x[25]*x[48], x[21]*x[96], x[23]*x[49], x[81]*x[87], x[69]*x[78], x[33]*x[50], x[44]*x[60], x[36]*x[126], x[102]*x[128], x[33]*x[45], x[45]*x[129], x[2]*x[5], x[28]*x[138], x[60]*x[106], x[73]*x[75], x[48]*x[105], x[7]*x[132], x[103]*x[132], x[39]*x[100], x[71]*x[132], x[128]*x[145], x[5]*x[95], x[14]*x[99], x[88]*x[106], x[5]*x[108], x[58]*x[147], x[26]*x[147], x[7]*x[87], x[10]*x[69], x[42]*x[101], x[148]^2, x[34]*x[65], x[77]*x[118], x[45]*x[54], x[13]*x[150], x[8]*x[114], x[28]*x[68], x[28]*x[36], x[45]*x[47], x[13]*x[111], x[33]*x[76], x[36]*x[88], x[68]*x[88], x[87]*x[123], x[89]*x[147], x[149]^2, x[55]*x[124], x[55]*x[60], x[106]*x[129], x[17]*x[52], x[81]*x[84], x[17]*x[116], x[111]*x[142], x[119]*x[120], x[72]*x[142], x[118]*x[130], x[22]*x[66], x[22]*x[98], x[49]*x[53], x[15]*x[66], x[63]*x[86], x[147]^2, x[144]*x[146], x[63]*x[143], x[49]*x[102], x[40]*x[98], x[81]*x[134], x[100]*x[131], x[35]*x[100], x[22]*x[108], x[12]*x[22], x[140]*x[150], x[120]*x[128], x[32]*x[120], x[116]*x[126], x[84]*x[94], x[126]*x[148], x[52]*x[62], x[8]*x[31], x[145]^2, x[80]*x[141], x[138]*x[150], x[136]*x[140], x[39]*x[84], x[135]*x[148], x[21]*x[94], x[10]*x[111], x[42]*x[111], x[55]*x[131], x[23]*x[131], x[95]*x[125], x[74]*x[104], x[61]*x[108], x[44]*x[125], x[71]*x[85], x[6]*x[94], x[43]*x[110], x[17]*x[62], x[58]*x[78], x[17]*x[94], x[93]*x[106], x[10]*x[125], x[20]*x[59], x[27]*x[116], x[27]*x[84], x[84]*x[91], x[139]^2, x[49]*x[135], x[39]*x[49], x[39]*x[145], x[135]*x[145], x[116]*x[124], x[52]*x[60], x[60]*x[148], x[77]*x[89], x[36]*x[150], x[65]*x[96], x[31]*x[90], x[11]*x[76], x[60]*x[117], x[104]*x[132], x[18]*x[105], x[9]*x[50], x[59]*x[134], x[23]*x[118], x[54]*x[55], x[18]*x[51], x[23]*x[79], x[79]*x[87], x[84]*x[133], x[14]*x[57], x[84]*x[101], x[109]*x[137], x[7]*x[126], x[49]*x[91], x[91]*x[145], x[60]*x[81], x[23]*x[136], x[85]*x[101], x[34]*x[57], x[25]*x[130], x[24]*x[145], x[47]*x[128], x[35]*x[84], x[3]*x[52], x[6]*x[37], x[37]*x[134], x[64]*x[136], x[32]*x[136], x[46]*x[83], x[83]*x[110], x[53]*x[131], x[28]*x[62], x[36]*x[144], x[34]*x[73], x[7]*x[27], x[57]*x[106], x[10]*x[57], x[106]*x[121], x[7]*x[124], x[94]*x[120], x[120]*x[126], x[129]*x[149], x[41]*x[63], x[85]*x[97], x[33]*x[149], x[108]*x[137], x[105]*x[108], x[19]*x[31], x[11]*x[55], x[49]*x[131], x[99]*x[145], x[88]*x[135], x[7]*x[120], x[12]*x[83], x[44]*x[83], x[33]*x[113], x[17]*x[33], x[69]*x[135], x[5]*x[39], x[5]*x[135], x[138]*x[147], x[10]*x[115], x[32]*x[75], x[52]*x[143], x[141]*x[146], x[94]*x[99], x[8]*x[52], x[141]^2, x[126]*x[129], x[55]*x[121], x[70]*x[86], x[47]*x[70], x[1]*x[7], x[5]*x[28], x[49]*x[118], x[14]*x[18], x[78]*x[146], x[46]*x[114], x[17]*x[86], x[15]*x[113], x[4]*x[115], x[19]*x[36], x[56]*x[101], x[77]*x[110], x[14]*x[45], x[81]*x[136], x[11]*x[50], x[2]*x[18], x[9]*x[23], x[27]*x[99], x[67]*x[92], x[66]*x[77], x[34]*x[109], x[139]*x[148], x[52]*x[139], x[30]*x[150], x[82]*x[108], x[62]*x[143], x[142]^2, x[92]*x[97], x[32]*x[41], x[96]*x[137], x[39]*x[150], x[22]*x[39], x[21]*x[43], x[11]*x[21], x[43]*x[149], x[42]*x[50], x[24]*x[129], x[120]*x[129], x[102]*x[139], x[6]*x[43], x[103]*x[104], x[29]*x[126], x[125]*x[126], x[29]*x[30], x[30]*x[93], x[58]*x[70], x[97]*x[101], x[81]*x[139], x[49]*x[144], x[49]*x[112], x[49]*x[80], x[12]*x[110], x[46]*x[76], x[78]*x[108], x[86]*x[91], x[57]*x[116], x[20]*x[25], x[63]*x[130], x[98]*x[127], x[15]*x[27], x[42]*x[110], x[27]*x[104], x[8]*x[92], x[127]*x[140], x[24]*x[47], x[47]*x[88], x[2]*x[106], x[61]*x[123], x[26]*x[126], x[122]*x[126], x[140]^2, x[18]*x[55], x[74]*x[127], x[39]*x[139], x[147]*x[148], x[25]*x[81], x[117]*x[137], x[85]*x[105], x[24]*x[61], x[101]*x[136], x[85]*x[115], x[6]*x[41], x[6]*x[137], x[9]*x[38], x[38]*x[73], x[70]*x[115], x[6]*x[51], x[41]*x[113], x[107]*x[123], x[36]*x[43], x[75]*x[132], x[2]*x[100], x[66]*x[100], x[36]*x[98]];


// list of admissible signatures:  if Fsign[i] = [j1, j2 , ...] then support[j1]*F[i],support[j2]*F[i], ... are admissible
Fsign:=[[104,182],[],[84,150,241,303,412],[39,152,182,343],[],[],[],[],[],[],[127,238,275,284,397],[4,327],[],[171],[],[],[],[],[],[236],[444],[121],[110,241,321,412],[336,398,422],[129,206],[],[],[233,271,274,448],[448],[188,449],[],[],[],[162,312,340],[56,121],[],[249],[259],[353],[],[],[205,336],[174,184],[393],[],[91,315],[231,269,274,299,344,395],[],[42,204],[282],[333],[],[],[],[],[72,261,303],[28,224,382],[60,261,321],[39,231,428],[252,253],[],[],[105,423],[],[334,423],[],[],[87,426],[],[215],[],[215],[322],[],[137,241],[214],[316,378,404],[322],[],[348],[],[46,227,263],[],[],[46,363,382],[],[436],[404],[379],[],[368],[182],[],[205,283],[80,145],[],[],[437],[72,399],[],[],[],[],[],[],[],[],[313,339],[],[118,313],[118,206,339],[156,258],[136],[81,128,219],[],[89,226],[189,349],[],[2],[],[288],[41,60],[12],[100,378,379],[],[],[324],[],[],[72],[],[350],[182],[232,298,299,404],[],[],[430,436],[],[346],[],[],[],[115],[],[],[130],[40],[],[40,322],[],[],[87],[],[],[273,274],[],[273],[],[],[],[],[],[],[],[79,81],[113],[120,408],[],[374],[],[],[],[],[],[],[288,437],[143],[],[171],[],[297],[],[],[],[56],[],[315],[],[334],[],[311,368],[190],[2,208,417],[370],[],[196],[],[430],[284,418],[127,180],[],[],[180],[252],[],[],[],[231],[70],[354],[123],[],[252],[],[],[],[],[],[],[],[],[],[],[],[48],[79,113],[],[],[],[237],[88],[],[],[],[2],[359],[246],[120],[48],[],[],[],[],[],[],[],[],[],[128,352],[180,284,297,323],[],[399],[],[],[],[334],[253],[27,244],[33],[],[],[],[],[353],[158],[],[],[],[],[],[],[],[],[],[353],[425],[],[],[],[],[127,238],[],[],[27],[17,33],[80,180,297,352],[348],[54],[146],[],[46,398],[238],[],[127,394],[378],[],[63,132],[180],[],[16,317],[],[246],[],[],[],[],[],[305],[],[],[],[],[],[],[],[],[],[],[],[],[],[],[],[],[],[132],[],[],[],[],[405],[],[],[],[],[],[],[],[],[],[],[273],[],[],[273,299],[],[],[140],[150],[87,121],[],[427],[],[420],[],[],[144],[],[],[],[],[],[],[],[],[],[348],[240],[],[10,277],[],[277],[],[],[],[],[246],[],[],[],[],[],[50],[361],[],[],[],[128],[],[85],[],[],[],[],[],[227,382],[],[],[72],[],[],[],[189],[317],[],[],[144,361],[],[85],[],[],[],[],[],[],[],[],[],[349],[226],[],[],[240,378],[],[248],[],[],[],[],[248],[],[],[],[378]];
sign:=[38,66,96,102,194,198,209,235,245,279,326,329,380,387,391,431];
end if;

if [n,t,nb] eq EX3 then
    // Bilinear System in (nx,ny) variables
nx:=7;ny:=30;    
support:=[x[i]*x[j+nx] : i in [1..nx], j in [1..ny]];
    Fsign:=[[9,10,11,12,13,14,16,17,18,19,20,21,23,24,25,26,27,28,30,31,32,33,34,35,37,38,39,40,41,42,44,45,46,47,48,49,51,52,53,54,55,56,58,59,60,61,62,63,65,66,67,68,69,70,72,73,74,75,76],[8,10,11,12,13,14,15,17,18,19,20,21,22,24,25,26,27,28,29,31,32,33,34,35,36,38,39,40,41,42,43,45,46,47,48,49,50,52,53,54,55,56,57,59,60,61,62,63,64,66,67,68,69,70,71,73,74,75,76],[8,9,11,12,13,14,15,16,18,19,20,21,22,23,25,26,27,28,29,30,32,33,34,35,36,37,39,40,41,42,43,44,46,47,48,49,50,51,53,54,55,56,57,58,60,61,62,63,64,65,67,68,69,70,71,72,74,75,76],[8,9,10,12,13,14,15,16,17,19,20,21,22,23,24,26,27,28,29,30,31,33,34,35,36,37,38,40,41,42,43,44,45,47,48,49,50,51,52,54,55,56,57,58,59,61,62,63,64,65,66,68,69,70,71,72,73,75,76],[8,9,10,11,13,14,15,16,17,18,20,21,22,23,24,25,27,28,29,30,31,32,34,35,36,37,38,39,41,42,43,44,45,46,48,49,50,51,52,53,55,56,57,58,59,60,62,63,64,65,66,67,69,70,71,72,73,74,76],[8,9,10,11,12,14,15,16,17,18,19,21,22,23,24,25,26,28,29,30,31,32,33,35,36,37,38,39,40,42,43,44,45,46,47,49,50,51,52,53,54,56,57,58,59,60,61,63,64,65,66,67,68,70,71,72,73,74,75],[8,9,10,11,12,13,15,16,17,18,19,20,22,23,24,25,26,27,29,30,31,32,33,34,36,37,38,39,40,41,43,44,45,46,47,48,50,51,52,53,54,55,57,58,59,60,61,62,64,65,66,67,68,69,71,72,73,74,75,76],[16,17,18,19,20,21,23,24,25,26,27,28,30,31,32,33,34,35,37,38,39,40,41,42,44,45,46,47,48,49,51,52,53,54,55,56,58,59,60,61,62,63,65,66,67,68,69,70,72,73,74,75,76],[15,17,18,19,20,21,22,24,25,26,27,28,29,31,32,33,34,35,36,38,39,40,41,42,43,45,46,47,48,49,50,52,53,54,55,56,57,59,60,61,62,63,64,66,67,68,69,70,71,73,74,75,76],[15,16,18,19,20,21,22,23,25,26,27,28,29,30,32,33,34,35,36,37,39,40,41,42,43,44,46,47,48,49,50,51,53,54,55,56,57,58,60,61,62,63,64,65,67,68,69,70,71,72,74,75,76],[15,16,17,19,20,21,22,23,24,26,27,28,29,30,31,33,34,35,36,37,38,40,41,42,43,44,45,47,48,49,50,51,52,54,55,56,57,58,59,61,62,63,64,65,66,68,69,70,71,72,73,75,76],[15,16,17,18,20,21,22,23,24,25,27,28,29,30,31,32,34,35,36,37,38,39,41,42,43,44,45,46,48,49,50,51,52,53,55,56,57,58,59,60,62,63,64,65,66,67,69,70,71,72,73,74,76],[15,16,17,18,19,21,22,23,24,25,26,28,29,30,31,32,33,35,36,37,38,39,40,42,43,44,45,46,47,49,50,51,52,53,54,56,57,58,59,60,61,63,64,65,66,67,68,70,71,72,73,74,75],[15,16,17,18,19,20,22,23,24,25,26,27,29,30,31,32,33,34,36,37,38,39,40,41,43,44,45,46,47,48,50,51,52,53,54,55,57,58,59,60,61,62,64,65,66,67,68,69,71,72,73,74,75,76],[23,24,25,26,27,28,30,31,32,33,34,35,37,38,39,40,41,42,44,45,46,47,48,49,51,52,53,54,55,56,58,59,60,61,62,63,65,66,67,68,69,70,72,73,74,75,76],[22,24,25,26,27,28,29,31,32,33,34,35,36,38,39,40,41,42,43,45,46,47,48,49,50,52,53,54,55,56,57,59,60,61,62,63,64,66,67,68,69,70,71,73,74,75,76],[22,23,25,26,27,28,29,30,32,33,34,35,36,37,39,40,41,42,43,44,46,47,48,49,50,51,53,54,55,56,57,58,60,61,62,63,64,65,67,68,69,70,71,72,74,75,76],[22,23,24,26,27,28,29,30,31,33,34,35,36,37,38,40,41,42,43,44,45,47,48,49,50,51,52,54,55,56,57,58,59,61,62,63,64,65,66,68,69,70,71,72,73,75,76],[22,23,24,25,27,28,29,30,31,32,34,35,36,37,38,39,41,42,43,44,45,46,48,49,50,51,52,53,55,56,57,58,59,60,62,63,64,65,66,67,69,70,71,72,73,74,76],[22,23,24,25,26,28,29,30,31,32,33,35,36,37,38,39,40,42,43,44,45,46,47,49,50,51,52,53,54,56,57,58,59,60,61,63,64,65,66,67,68,70,71,72,73,74,75],[22,23,24,25,26,27,29,30,31,32,33,34,36,37,38,39,40,41,43,44,45,46,47,48,50,51,52,53,54,55,57,58,59,60,61,62,64,65,66,67,68,69,71,72,73,74,75,76],[30,31,32,33,34,35,37,38,39,40,41,42,44,45,46,47,48,49,51,52,53,54,55,56,58,59,60,61,62,63,65,66,67,68,69,70,72,73,74,75,76],[29,31,32,33,34,35,36,38,39,40,41,42,43,45,46,47,48,49,50,52,53,54,55,56,57,59,60,61,62,63,64,66,67,68,69,70,71,73,74,75,76],[29,30,32,33,34,35,36,37,39,40,41,42,43,44,46,47,48,49,50,51,53,54,55,56,57,58,60,61,62,63,64,65,67,68,69,70,71,72,74,75,76],[29,30,31,33,34,35,36,37,38,40,41,42,43,44,45,47,48,49,50,51,52,54,55,56,57,58,59,61,62,63,64,65,66,68,69,70,71,72,73,75,76],[29,30,31,32,34,35,36,37,38,39,41,42,43,44,45,46,48,49,50,51,52,53,55,56,57,58,59,60,62,63,64,65,66,67,69,70,71,72,73,74,76],[29,30,31,32,33,35,36,37,38,39,40,42,43,44,45,46,47,49,50,51,52,53,54,56,57,58,59,60,61,63,64,65,66,67,68,70,71,72,73,74,75],[29,30,31,32,33,34,36,37,38,39,40,41,43,44,45,46,47,48,50,51,52,53,54,55,57,58,59,60,61,62,64,65,66,67,68,69,71,72,73,74,75,76],[37,38,39,40,41,42,44,45,46,47,48,49,51,52,53,54,55,56,58,59,60,61,62,63,65,66,67,68,69,70,72,73,74,75,76],[36,38,39,40,41,42,43,45,46,47,48,49,50,52,53,54,55,56,57,59,60,61,62,63,64,66,67,68,69,70,71,73,74,75,76],[36,37,39,40,41,42,43,44,46,47,48,49,50,51,53,54,55,56,57,58,60,61,62,63,64,65,67,68,69,70,71,72,74,75,76],[36,37,38,40,41,42,43,44,45,47,48,49,50,51,52,54,55,56,57,58,59,61,62,63,64,65,66,68,69,70,71,72,73,75,76],[36,37,38,39,41,42,43,44,45,46,48,49,50,51,52,53,55,56,57,58,59,60,62,63,64,65,66,67,69,70,71,72,73,74,76],[36,37,38,39,40,42,43,44,45,46,47,49,50,51,52,53,54,56,57,58,59,60,61,63,64,65,66,67,68,70,71,72,73,74,75],[36,37,38,39,40,41,43,44,45,46,47,48,50,51,52,53,54,55,57,58,59,60,61,62,64,65,66,67,68,69,71,72,73,74,75,76],[44,45,46,47,48,49,51,52,53,54,55,56,58,59,60,61,62,63,65,66,67,68,69,70,72,73,74,75,76],[43,45,46,47,48,49,50,52,53,54,55,56,57,59,60,61,62,63,64,66,67,68,69,70,71,73,74,75,76],[43,44,46,47,48,49,50,51,53,54,55,56,57,58,60,61,62,63,64,65,67,68,69,70,71,72,74,75,76],[43,44,45,47,48,49,50,51,52,54,55,56,57,58,59,61,62,63,64,65,66,68,69,70,71,72,73,75,76],[43,44,45,46,48,49,50,51,52,53,55,56,57,58,59,60,62,63,64,65,66,67,69,70,71,72,73,74,76],[43,44,45,46,47,49,50,51,52,53,54,56,57,58,59,60,61,63,64,65,66,67,68,70,71,72,73,74,75],[43,44,45,46,47,48,50,51,52,53,54,55,57,58,59,60,61,62,64,65,66,67,68,69,71,72,73,74,75,76],[51,52,53,54,55,56,58,59,60,61,62,63,65,66,67,68,69,70,72,73,74,75,76],[50,52,53,54,55,56,57,59,60,61,62,63,64,66,67,68,69,70,71,73,74,75,76],[50,51,53,54,55,56,57,58,60,61,62,63,64,65,67,68,69,70,71,72,74,75,76],[50,51,52,54,55,56,57,58,59,61,62,63,64,65,66,68,69,70,71,72,73,75,76],[50,51,52,53,55,56,57,58,59,60,62,63,64,65,66,67,69,70,71,72,73,74,76],[50,51,52,53,54,56,57,58,59,60,61,63,64,65,66,67,68,70,71,72,73,74,75],[50,51,52,53,54,55,57,58,59,60,61,62,64,65,66,67,68,69,71,72,73,74,75,76],[58,59,60,61,62,63,65,66,67,68,69,70,72,73,74,75,76],[57,59,60,61,62,63,64,66,67,68,69,70,71,73,74,75,76],[57,58,60,61,62,63,64,65,67,68,69,70,71,72,74,75,76],[57,58,59,61,62,63,64,65,66,68,69,70,71,72,73,75,76],[57,58,59,60,62,63,64,65,66,67,69,70,71,72,73,74,76],[57,58,59,60,61,63,64,65,66,67,68,70,71,72,73,74,75],[57,58,59,60,61,62,64,65,66,67,68,69,71,72,73,74,75,76],[65,66,67,68,69,70,72,73,74,75,76],[64,66,67,68,69,70,71,73,74,75,76],[64,65,67,68,69,70,71,72,74,75,76],[64,65,66,68,69,70,71,72,73,75,76],[64,65,66,67,69,70,71,72,73,74,76],[64,65,66,67,68,70,71,72,73,74,75],[64,65,66,67,68,69,71,72,73,74,75,76],[72,73,74,75,76],[71,73,74,75,76],[71,72,74,75,76],[71,72,73,75,76],[71,72,73,74,76],[71,72,73,74,75],[71,72,73,74,75,76],[],[],[],[],[],[]];
sign:=[i : i in [77..210]];
end if;