# This program is called Res8point. # File1=testschemes is a list of test schemes Z # Change the line below to "verbose = 0" to # disable printing out all of the negative curves. # Each line of testschemes should be of the form: # 12 1 2 2 3 3 4 5 5 # The 12 represents which config out of the 146 possible # to use. The rest of the numbers are the 8 multiplicities. # Run this as: # awk -f Res8point testschemes BEGIN {verbose = 1 # Make an array of all 8 point (-1)-classes E[1]="0 1 0 0 0 0 0 0 0" E[2]="0 0 1 0 0 0 0 0 0" E[3]="0 0 0 1 0 0 0 0 0" E[4]="0 0 0 0 1 0 0 0 0" E[5]="0 0 0 0 0 1 0 0 0" E[6]="0 0 0 0 0 0 1 0 0" E[7]="0 0 0 0 0 0 0 1 0" E[8]="0 0 0 0 0 0 0 0 1" E[9]="1 -1 -1 0 0 0 0 0 0" E[10]="1 -1 0 -1 0 0 0 0 0" E[11]="1 -1 0 0 -1 0 0 0 0" E[12]="1 -1 0 0 0 -1 0 0 0" E[13]="1 -1 0 0 0 0 -1 0 0" E[14]="1 -1 0 0 0 0 0 -1 0" E[15]="1 -1 0 0 0 0 0 0 -1" E[16]="1 0 -1 -1 0 0 0 0 0" E[17]="1 0 -1 0 -1 0 0 0 0" E[18]="1 0 -1 0 0 -1 0 0 0" E[19]="1 0 -1 0 0 0 -1 0 0" E[20]="1 0 -1 0 0 0 0 -1 0" E[21]="1 0 -1 0 0 0 0 0 -1" E[22]="1 0 0 -1 -1 0 0 0 0" E[23]="1 0 0 -1 0 -1 0 0 0" E[24]="1 0 0 -1 0 0 -1 0 0" E[25]="1 0 0 -1 0 0 0 -1 0" E[26]="1 0 0 -1 0 0 0 0 -1" E[27]="1 0 0 0 -1 -1 0 0 0" E[28]="1 0 0 0 -1 0 -1 0 0" E[29]="1 0 0 0 -1 0 0 -1 0" E[30]="1 0 0 0 -1 0 0 0 -1" E[31]="1 0 0 0 0 -1 -1 0 0" E[32]="1 0 0 0 0 -1 0 -1 0" E[33]="1 0 0 0 0 -1 0 0 -1" E[34]="1 0 0 0 0 0 -1 -1 0" E[35]="1 0 0 0 0 0 -1 0 -1" E[36]="1 0 0 0 0 0 0 -1 -1" E[37]="2 0 0 0 -1 -1 -1 -1 -1" E[38]="2 0 0 -1 0 -1 -1 -1 -1" E[39]="2 0 0 -1 -1 0 -1 -1 -1" E[40]="2 0 0 -1 -1 -1 0 -1 -1" E[41]="2 0 0 -1 -1 -1 -1 0 -1" E[42]="2 0 0 -1 -1 -1 -1 -1 0" E[43]="2 0 -1 0 0 -1 -1 -1 -1" E[44]="2 0 -1 0 -1 0 -1 -1 -1" E[45]="2 0 -1 0 -1 -1 0 -1 -1" E[46]="2 0 -1 0 -1 -1 -1 0 -1" E[47]="2 0 -1 0 -1 -1 -1 -1 0" E[48]="2 0 -1 -1 0 0 -1 -1 -1" E[49]="2 0 -1 -1 0 -1 0 -1 -1" E[50]="2 0 -1 -1 0 -1 -1 0 -1" E[51]="2 0 -1 -1 0 -1 -1 -1 0" E[52]="2 0 -1 -1 -1 0 0 -1 -1" E[53]="2 0 -1 -1 -1 0 -1 0 -1" E[54]="2 0 -1 -1 -1 0 -1 -1 0" E[55]="2 0 -1 -1 -1 -1 0 0 -1" E[56]="2 0 -1 -1 -1 -1 0 -1 0" E[57]="2 0 -1 -1 -1 -1 -1 0 0" E[58]="2 -1 0 0 0 -1 -1 -1 -1" E[59]="2 -1 0 0 -1 0 -1 -1 -1" E[60]="2 -1 0 0 -1 -1 0 -1 -1" E[61]="2 -1 0 0 -1 -1 -1 0 -1" E[62]="2 -1 0 0 -1 -1 -1 -1 0" E[63]="2 -1 0 -1 0 0 -1 -1 -1" E[64]="2 -1 0 -1 0 -1 0 -1 -1" E[65]="2 -1 0 -1 0 -1 -1 0 -1" E[66]="2 -1 0 -1 0 -1 -1 -1 0" E[67]="2 -1 0 -1 -1 0 0 -1 -1" E[68]="2 -1 0 -1 -1 0 -1 0 -1" E[69]="2 -1 0 -1 -1 0 -1 -1 0" E[70]="2 -1 0 -1 -1 -1 0 0 -1" E[71]="2 -1 0 -1 -1 -1 0 -1 0" E[72]="2 -1 0 -1 -1 -1 -1 0 0" E[73]="2 -1 -1 0 0 0 -1 -1 -1" E[74]="2 -1 -1 0 0 -1 0 -1 -1" E[75]="2 -1 -1 0 0 -1 -1 0 -1" E[76]="2 -1 -1 0 0 -1 -1 -1 0" E[77]="2 -1 -1 0 -1 0 0 -1 -1" E[78]="2 -1 -1 0 -1 0 -1 0 -1" E[79]="2 -1 -1 0 -1 0 -1 -1 0" E[80]="2 -1 -1 0 -1 -1 0 0 -1" E[81]="2 -1 -1 0 -1 -1 0 -1 0" E[82]="2 -1 -1 0 -1 -1 -1 0 0" E[83]="2 -1 -1 -1 0 0 0 -1 -1" E[84]="2 -1 -1 -1 0 0 -1 0 -1" E[85]="2 -1 -1 -1 0 0 -1 -1 0" E[86]="2 -1 -1 -1 0 -1 0 0 -1" E[87]="2 -1 -1 -1 0 -1 0 -1 0" E[88]="2 -1 -1 -1 0 -1 -1 0 0" E[89]="2 -1 -1 -1 -1 0 0 0 -1" E[90]="2 -1 -1 -1 -1 0 0 -1 0" E[91]="2 -1 -1 -1 -1 0 -1 0 0" E[92]="2 -1 -1 -1 -1 -1 0 0 0" E[93]="3 -2 0 -1 -1 -1 -1 -1 -1" E[94]="3 0 -2 -1 -1 -1 -1 -1 -1" E[95]="3 -2 -1 0 -1 -1 -1 -1 -1" E[96]="3 0 -1 -2 -1 -1 -1 -1 -1" E[97]="3 -2 -1 -1 0 -1 -1 -1 -1" E[98]="3 0 -1 -1 -2 -1 -1 -1 -1" E[99]="3 -2 -1 -1 -1 0 -1 -1 -1" E[100]="3 0 -1 -1 -1 -2 -1 -1 -1" E[101]="3 -2 -1 -1 -1 -1 0 -1 -1" E[102]="3 0 -1 -1 -1 -1 -2 -1 -1" E[103]="3 -2 -1 -1 -1 -1 -1 0 -1" E[104]="3 0 -1 -1 -1 -1 -1 -2 -1" E[105]="3 -2 -1 -1 -1 -1 -1 -1 0" E[106]="3 0 -1 -1 -1 -1 -1 -1 -2" E[107]="3 -1 -2 0 -1 -1 -1 -1 -1" E[108]="3 -1 0 -2 -1 -1 -1 -1 -1" E[109]="3 -1 -2 -1 0 -1 -1 -1 -1" E[110]="3 -1 0 -1 -2 -1 -1 -1 -1" E[111]="3 -1 -2 -1 -1 0 -1 -1 -1" E[112]="3 -1 0 -1 -1 -2 -1 -1 -1" E[113]="3 -1 -2 -1 -1 -1 0 -1 -1" E[114]="3 -1 0 -1 -1 -1 -2 -1 -1" E[115]="3 -1 -2 -1 -1 -1 -1 0 -1" E[116]="3 -1 0 -1 -1 -1 -1 -2 -1" E[117]="3 -1 -2 -1 -1 -1 -1 -1 0" E[118]="3 -1 0 -1 -1 -1 -1 -1 -2" E[119]="3 -1 -1 -2 0 -1 -1 -1 -1" E[120]="3 -1 -1 0 -2 -1 -1 -1 -1" E[121]="3 -1 -1 -2 -1 0 -1 -1 -1" E[122]="3 -1 -1 0 -1 -2 -1 -1 -1" E[123]="3 -1 -1 -2 -1 -1 0 -1 -1" E[124]="3 -1 -1 0 -1 -1 -2 -1 -1" E[125]="3 -1 -1 -2 -1 -1 -1 0 -1" E[126]="3 -1 -1 0 -1 -1 -1 -2 -1" E[127]="3 -1 -1 -2 -1 -1 -1 -1 0" E[128]="3 -1 -1 0 -1 -1 -1 -1 -2" E[129]="3 -1 -1 -1 -2 0 -1 -1 -1" E[130]="3 -1 -1 -1 0 -2 -1 -1 -1" E[131]="3 -1 -1 -1 -2 -1 0 -1 -1" E[132]="3 -1 -1 -1 0 -1 -2 -1 -1" E[133]="3 -1 -1 -1 -2 -1 -1 0 -1" E[134]="3 -1 -1 -1 0 -1 -1 -2 -1" E[135]="3 -1 -1 -1 -2 -1 -1 -1 0" E[136]="3 -1 -1 -1 0 -1 -1 -1 -2" E[137]="3 -1 -1 -1 -1 -2 0 -1 -1" E[138]="3 -1 -1 -1 -1 0 -2 -1 -1" E[139]="3 -1 -1 -1 -1 -2 -1 0 -1" E[140]="3 -1 -1 -1 -1 0 -1 -2 -1" E[141]="3 -1 -1 -1 -1 -2 -1 -1 0" E[142]="3 -1 -1 -1 -1 0 -1 -1 -2" E[143]="3 -1 -1 -1 -1 -1 -2 0 -1" E[144]="3 -1 -1 -1 -1 -1 0 -2 -1" E[145]="3 -1 -1 -1 -1 -1 -2 -1 0" E[146]="3 -1 -1 -1 -1 -1 0 -1 -2" E[147]="3 -1 -1 -1 -1 -1 -1 -2 0" E[148]="3 -1 -1 -1 -1 -1 -1 0 -2" E[149]="4 -2 -2 -2 -1 -1 -1 -1 -1" E[150]="4 -2 -2 -1 -2 -1 -1 -1 -1" E[151]="4 -2 -2 -1 -1 -2 -1 -1 -1" E[152]="4 -2 -2 -1 -1 -1 -2 -1 -1" E[153]="4 -2 -2 -1 -1 -1 -1 -2 -1" E[154]="4 -2 -2 -1 -1 -1 -1 -1 -2" E[155]="4 -2 -1 -2 -2 -1 -1 -1 -1" E[156]="4 -2 -1 -2 -1 -2 -1 -1 -1" E[157]="4 -2 -1 -2 -1 -1 -2 -1 -1" E[158]="4 -2 -1 -2 -1 -1 -1 -2 -1" E[159]="4 -2 -1 -2 -1 -1 -1 -1 -2" E[160]="4 -2 -1 -1 -2 -2 -1 -1 -1" E[161]="4 -2 -1 -1 -2 -1 -2 -1 -1" E[162]="4 -2 -1 -1 -2 -1 -1 -2 -1" E[163]="4 -2 -1 -1 -2 -1 -1 -1 -2" E[164]="4 -2 -1 -1 -1 -2 -2 -1 -1" E[165]="4 -2 -1 -1 -1 -2 -1 -2 -1" E[166]="4 -2 -1 -1 -1 -2 -1 -1 -2" E[167]="4 -2 -1 -1 -1 -1 -2 -2 -1" E[168]="4 -2 -1 -1 -1 -1 -2 -1 -2" E[169]="4 -2 -1 -1 -1 -1 -1 -2 -2" E[170]="4 -1 -2 -2 -2 -1 -1 -1 -1" E[171]="4 -1 -2 -2 -1 -2 -1 -1 -1" E[172]="4 -1 -2 -2 -1 -1 -2 -1 -1" E[173]="4 -1 -2 -2 -1 -1 -1 -2 -1" E[174]="4 -1 -2 -2 -1 -1 -1 -1 -2" E[175]="4 -1 -2 -1 -2 -2 -1 -1 -1" E[176]="4 -1 -2 -1 -2 -1 -2 -1 -1" E[177]="4 -1 -2 -1 -2 -1 -1 -2 -1" E[178]="4 -1 -2 -1 -2 -1 -1 -1 -2" E[179]="4 -1 -2 -1 -1 -2 -2 -1 -1" E[180]="4 -1 -2 -1 -1 -2 -1 -2 -1" E[181]="4 -1 -2 -1 -1 -2 -1 -1 -2" E[182]="4 -1 -2 -1 -1 -1 -2 -2 -1" E[183]="4 -1 -2 -1 -1 -1 -2 -1 -2" E[184]="4 -1 -2 -1 -1 -1 -1 -2 -2" E[185]="4 -1 -1 -2 -2 -2 -1 -1 -1" E[186]="4 -1 -1 -2 -2 -1 -2 -1 -1" E[187]="4 -1 -1 -2 -2 -1 -1 -2 -1" E[188]="4 -1 -1 -2 -2 -1 -1 -1 -2" E[189]="4 -1 -1 -2 -1 -2 -2 -1 -1" E[190]="4 -1 -1 -2 -1 -2 -1 -2 -1" E[191]="4 -1 -1 -2 -1 -2 -1 -1 -2" E[192]="4 -1 -1 -2 -1 -1 -2 -2 -1" E[193]="4 -1 -1 -2 -1 -1 -2 -1 -2" E[194]="4 -1 -1 -2 -1 -1 -1 -2 -2" E[195]="4 -1 -1 -1 -2 -2 -2 -1 -1" E[196]="4 -1 -1 -1 -2 -2 -1 -2 -1" E[197]="4 -1 -1 -1 -2 -2 -1 -1 -2" E[198]="4 -1 -1 -1 -2 -1 -2 -2 -1" E[199]="4 -1 -1 -1 -2 -1 -2 -1 -2" E[200]="4 -1 -1 -1 -2 -1 -1 -2 -2" E[201]="4 -1 -1 -1 -1 -2 -2 -2 -1" E[202]="4 -1 -1 -1 -1 -2 -2 -1 -2" E[203]="4 -1 -1 -1 -1 -2 -1 -2 -2" E[204]="4 -1 -1 -1 -1 -1 -2 -2 -2" E[205]="5 -1 -1 -2 -2 -2 -2 -2 -2" E[206]="5 -1 -2 -1 -2 -2 -2 -2 -2" E[207]="5 -1 -2 -2 -1 -2 -2 -2 -2" E[208]="5 -1 -2 -2 -2 -1 -2 -2 -2" E[209]="5 -1 -2 -2 -2 -2 -1 -2 -2" E[210]="5 -1 -2 -2 -2 -2 -2 -1 -2" E[211]="5 -1 -2 -2 -2 -2 -2 -2 -1" E[212]="5 -2 -1 -1 -2 -2 -2 -2 -2" E[213]="5 -2 -1 -2 -1 -2 -2 -2 -2" E[214]="5 -2 -1 -2 -2 -1 -2 -2 -2" E[215]="5 -2 -1 -2 -2 -2 -1 -2 -2" E[216]="5 -2 -1 -2 -2 -2 -2 -1 -2" E[217]="5 -2 -1 -2 -2 -2 -2 -2 -1" E[218]="5 -2 -2 -1 -1 -2 -2 -2 -2" E[219]="5 -2 -2 -1 -2 -1 -2 -2 -2" E[220]="5 -2 -2 -1 -2 -2 -1 -2 -2" E[221]="5 -2 -2 -1 -2 -2 -2 -1 -2" E[222]="5 -2 -2 -1 -2 -2 -2 -2 -1" E[223]="5 -2 -2 -2 -1 -1 -2 -2 -2" E[224]="5 -2 -2 -2 -1 -2 -1 -2 -2" E[225]="5 -2 -2 -2 -1 -2 -2 -1 -2" E[226]="5 -2 -2 -2 -1 -2 -2 -2 -1" E[227]="5 -2 -2 -2 -2 -1 -1 -2 -2" E[228]="5 -2 -2 -2 -2 -1 -2 -1 -2" E[229]="5 -2 -2 -2 -2 -1 -2 -2 -1" E[230]="5 -2 -2 -2 -2 -2 -1 -1 -2" E[231]="5 -2 -2 -2 -2 -2 -1 -2 -1" E[232]="5 -2 -2 -2 -2 -2 -2 -1 -1" E[233]="6 -3 -2 -2 -2 -2 -2 -2 -2" E[234]="6 -2 -3 -2 -2 -2 -2 -2 -2" E[235]="6 -2 -2 -3 -2 -2 -2 -2 -2" E[236]="6 -2 -2 -2 -3 -2 -2 -2 -2" E[237]="6 -2 -2 -2 -2 -3 -2 -2 -2" E[238]="6 -2 -2 -2 -2 -2 -3 -2 -2" E[239]="6 -2 -2 -2 -2 -2 -2 -3 -2" E[240]="6 -2 -2 -2 -2 -2 -2 -2 -3" En=240 Start[1]=1 C[1]="0 0 0 0 0 0 0 0 0" Finish[1]=1 Start[2]=2 C[2]="1 -1 -1 -1 0 0 0 0 0" Finish[2]=2 Start[3]=3 C[3]="1 -1 -1 -1 0 0 0 0 0" C[4]="1 0 0 0 -1 -1 -1 0 0" Finish[3]=4 Start[4]=5 C[5]="1 -1 -1 -1 0 0 0 0 0" C[6]="1 -1 0 0 -1 -1 0 0 0" Finish[4]=6 Start[5]=7 C[7]="1 -1 -1 -1 0 0 0 0 0" C[8]="1 -1 0 0 -1 -1 0 0 0" C[9]="1 -1 0 0 0 0 -1 -1 0" Finish[5]=9 Start[6]=10 C[10]="1 -1 -1 -1 0 0 0 0 0" C[11]="1 -1 0 0 -1 -1 0 0 0" C[12]="1 0 -1 0 -1 0 -1 0 0" Finish[6]=12 Start[7]=13 C[13]="1 -1 -1 -1 0 0 0 0 0" C[14]="1 -1 0 0 -1 -1 0 0 0" C[15]="1 0 -1 0 0 0 -1 -1 0" Finish[7]=15 Start[8]=16 C[16]="1 -1 -1 -1 0 0 0 0 0" C[17]="1 -1 0 0 -1 -1 0 0 0" C[18]="1 0 0 0 0 0 -1 -1 -1" Finish[8]=18 Start[9]=19 C[19]="1 -1 -1 -1 0 0 0 0 0" C[20]="1 -1 0 0 -1 -1 0 0 0" C[21]="1 0 -1 0 -1 0 -1 0 0" C[22]="1 0 0 -1 0 0 0 -1 -1" Finish[9]=22 Start[10]=23 C[23]="1 -1 -1 -1 0 0 0 0 0" C[24]="1 -1 0 0 -1 -1 0 0 0" C[25]="1 0 -1 0 -1 0 -1 0 0" C[26]="1 0 0 -1 0 -1 0 -1 0" Finish[10]=26 Start[11]=27 C[27]="1 -1 -1 -1 0 0 0 0 0" C[28]="1 -1 0 0 -1 -1 0 0 0" C[29]="1 0 -1 0 -1 0 -1 0 0" C[30]="1 0 0 -1 0 -1 -1 0 0" Finish[11]=30 Start[12]=31 C[31]="1 -1 -1 -1 0 0 0 0 0" C[32]="1 -1 0 0 -1 -1 0 0 0" C[33]="1 0 -1 0 0 0 -1 -1 0" C[34]="1 0 0 0 -1 0 -1 0 -1" Finish[12]=34 Start[13]=35 C[35]="1 -1 -1 -1 0 0 0 0 0" C[36]="1 -1 0 0 -1 -1 0 0 0" C[37]="1 -1 0 0 0 0 -1 -1 0" C[38]="1 0 -1 0 -1 0 -1 0 0" Finish[13]=38 Start[14]=39 C[39]="1 -1 -1 -1 0 0 0 0 0" C[40]="1 -1 0 0 -1 -1 0 0 0" C[41]="1 -1 0 0 0 0 -1 -1 0" C[42]="1 0 -1 0 -1 0 0 0 -1" Finish[14]=42 Start[15]=43 C[43]="1 -1 -1 -1 0 0 0 0 0" C[44]="1 -1 0 0 -1 -1 0 0 0" C[45]="1 -1 0 0 0 0 -1 -1 0" C[46]="1 0 -1 0 -1 0 -1 0 0" C[47]="1 0 0 -1 0 -1 0 -1 0" Finish[15]=47 Start[16]=48 C[48]="1 -1 -1 -1 0 0 0 0 0" C[49]="1 -1 0 0 -1 -1 0 0 0" C[50]="1 -1 0 0 0 0 -1 -1 0" C[51]="1 0 -1 0 -1 0 -1 0 0" C[52]="1 0 -1 0 0 -1 0 -1 0" Finish[16]=52 Start[17]=53 C[53]="1 -1 -1 -1 0 0 0 0 0" C[54]="1 -1 0 0 -1 -1 0 0 0" C[55]="1 -1 0 0 0 0 -1 -1 0" C[56]="1 0 -1 0 -1 0 -1 0 0" C[57]="1 0 0 -1 0 -1 0 0 -1" Finish[17]=57 Start[18]=58 C[58]="1 -1 -1 -1 0 0 0 0 0" C[59]="1 -1 0 0 -1 -1 0 0 0" C[60]="1 -1 0 0 0 0 -1 -1 0" C[61]="1 0 -1 0 -1 0 -1 0 0" C[62]="1 0 -1 0 0 -1 0 0 -1" Finish[18]=62 Start[19]=63 C[63]="1 -1 -1 -1 0 0 0 0 0" C[64]="1 -1 0 0 -1 -1 0 0 0" C[65]="1 -1 0 0 0 0 -1 -1 0" C[66]="1 0 -1 0 -1 0 0 0 -1" C[67]="1 0 0 -1 0 -1 0 0 -1" Finish[19]=67 Start[20]=68 C[68]="1 -1 -1 -1 0 0 0 0 0" C[69]="1 -1 0 0 -1 -1 0 0 0" C[70]="1 -1 0 0 0 0 -1 -1 0" C[71]="1 0 -1 0 -1 0 0 0 -1" C[72]="1 0 0 -1 0 0 -1 0 -1" Finish[20]=72 Start[21]=73 C[73]="1 -1 -1 -1 0 0 0 0 0" C[74]="1 -1 0 0 -1 -1 0 0 0" C[75]="1 0 -1 0 -1 0 -1 0 0" C[76]="1 0 0 -1 0 0 0 -1 -1" C[77]="1 0 0 0 0 -1 -1 -1 0" Finish[21]=77 Start[22]=78 C[78]="1 -1 -1 -1 0 0 0 0 0" C[79]="1 -1 0 0 -1 -1 0 0 0" C[80]="1 -1 0 0 0 0 -1 -1 0" C[81]="1 0 -1 0 -1 0 -1 0 0" C[82]="1 0 0 -1 0 -1 0 -1 0" C[83]="1 0 -1 0 0 -1 0 0 -1" Finish[22]=83 Start[23]=84 C[84]="1 -1 -1 -1 0 0 0 0 0" C[85]="1 -1 0 0 -1 -1 0 0 0" C[86]="1 -1 0 0 0 0 -1 -1 0" C[87]="1 0 -1 0 -1 0 -1 0 0" C[88]="1 0 -1 0 0 -1 0 -1 0" C[89]="1 0 0 -1 -1 0 0 -1 0" Finish[23]=89 Start[24]=90 C[90]="1 -1 -1 -1 0 0 0 0 0" C[91]="1 -1 0 0 -1 -1 0 0 0" C[92]="1 -1 0 0 0 0 -1 -1 0" C[93]="1 0 -1 0 -1 0 -1 0 0" C[94]="1 0 -1 0 0 -1 0 -1 0" C[95]="1 0 0 0 -1 0 0 -1 -1" Finish[24]=95 Start[25]=96 C[96]="1 -1 -1 -1 0 0 0 0 0" C[97]="1 -1 0 0 -1 -1 0 0 0" C[98]="1 -1 0 0 0 0 -1 -1 0" C[99]="1 0 -1 0 -1 0 -1 0 0" C[100]="1 0 -1 0 0 -1 0 -1 0" C[101]="1 0 0 -1 -1 0 0 0 -1" Finish[25]=101 Start[26]=102 C[102]="1 -1 -1 -1 0 0 0 0 0" C[103]="1 -1 0 0 -1 -1 0 0 0" C[104]="1 -1 0 0 0 0 -1 -1 0" C[105]="1 0 -1 0 -1 0 -1 0 0" C[106]="1 0 0 -1 0 -1 0 0 -1" C[107]="1 0 -1 0 0 0 0 -1 -1" Finish[26]=107 Start[27]=108 C[108]="1 -1 -1 -1 0 0 0 0 0" C[109]="1 -1 0 0 -1 -1 0 0 0" C[110]="1 -1 0 0 0 0 -1 -1 0" C[111]="1 0 -1 0 -1 0 0 0 -1" C[112]="1 0 0 -1 0 0 -1 0 -1" C[113]="1 0 0 0 0 -1 0 -1 -1" Finish[27]=113 Start[28]=114 C[114]="1 -1 -1 -1 0 0 0 0 0" C[115]="1 -1 0 0 -1 -1 0 0 0" C[116]="1 -1 0 0 0 0 -1 -1 0" C[117]="1 0 -1 0 -1 0 -1 0 0" C[118]="1 0 0 -1 0 -1 0 -1 0" C[119]="1 0 -1 0 0 -1 0 0 -1" C[120]="1 0 0 -1 0 0 -1 0 -1" Finish[28]=120 Start[29]=121 C[121]="1 -1 -1 -1 0 0 0 0 0" C[122]="1 -1 0 0 -1 -1 0 0 0" C[123]="1 -1 0 0 0 0 -1 -1 0" C[124]="1 0 -1 0 -1 0 -1 0 0" C[125]="1 0 0 -1 0 -1 0 -1 0" C[126]="1 0 -1 0 0 -1 0 0 -1" C[127]="1 0 0 -1 -1 0 0 0 -1" Finish[29]=127 Start[30]=128 C[128]="1 -1 -1 -1 0 0 0 0 0" C[129]="1 -1 0 0 -1 -1 0 0 0" C[130]="1 -1 0 0 0 0 -1 -1 0" C[131]="1 0 -1 0 -1 0 -1 0 0" C[132]="1 0 -1 0 0 -1 0 -1 0" C[133]="1 0 0 -1 -1 0 0 -1 0" C[134]="1 0 0 -1 0 -1 -1 0 0" Finish[30]=134 Start[31]=135 C[135]="1 -1 -1 -1 0 0 0 0 0" C[136]="1 -1 0 0 -1 -1 0 0 0" C[137]="1 -1 0 0 0 0 -1 -1 0" C[138]="1 0 -1 0 -1 0 -1 0 0" C[139]="1 0 -1 0 0 -1 0 -1 0" C[140]="1 0 0 -1 -1 0 0 -1 0" C[141]="1 0 0 -1 0 -1 0 0 -1" Finish[31]=141 Start[32]=142 C[142]="1 -1 -1 -1 0 0 0 0 0" C[143]="1 -1 0 0 -1 -1 0 0 0" C[144]="1 -1 0 0 0 0 -1 -1 0" C[145]="1 0 -1 0 -1 0 -1 0 0" C[146]="1 0 0 -1 0 -1 0 -1 0" C[147]="1 0 -1 0 0 -1 0 0 -1" C[148]="1 0 0 -1 0 0 -1 0 -1" C[149]="1 0 0 0 -1 0 0 -1 -1" Finish[32]=149 Start[33]=150 C[150]="3 -1 -1 -1 -1 -1 -1 -1 -2" Finish[33]=150 Start[34]=151 C[151]="1 -1 -1 -1 0 0 0 0 0" C[152]="3 -1 -1 -1 -1 -1 -1 -1 -2" Finish[34]=152 Start[35]=153 C[153]="1 -1 -1 -1 0 0 0 0 0" C[154]="1 0 0 0 -1 -1 -1 0 0" C[155]="3 -1 -1 -1 -1 -1 -1 -1 -2" Finish[35]=155 Start[36]=156 C[156]="1 -1 -1 -1 0 0 0 0 0" C[157]="1 -1 0 0 -1 -1 0 0 0" C[158]="3 -1 -1 -1 -1 -1 -1 -1 -2" Finish[36]=158 Start[37]=159 C[159]="1 -1 -1 -1 0 0 0 0 0" C[160]="1 -1 0 0 -1 -1 0 0 0" C[161]="1 -1 0 0 0 0 -1 -1 0" C[162]="3 -1 -1 -1 -1 -1 -1 -1 -2" Finish[37]=162 Start[38]=163 C[163]="1 -1 -1 -1 0 0 0 0 0" C[164]="1 -1 0 0 -1 -1 0 0 0" C[165]="1 0 -1 0 -1 0 -1 0 0" C[166]="3 -1 -1 -1 -1 -1 -1 -1 -2" Finish[38]=166 Start[39]=167 C[167]="1 -1 -1 -1 0 0 0 0 0" C[168]="1 -1 0 0 -1 -1 0 0 0" C[169]="1 0 -1 0 0 0 -1 -1 0" C[170]="3 -1 -1 -1 -1 -1 -1 -1 -2" Finish[39]=170 Start[40]=171 C[171]="1 -1 -1 -1 0 0 0 0 0" C[172]="1 -1 0 0 -1 -1 0 0 0" C[173]="1 0 -1 0 -1 0 -1 0 0" C[174]="1 0 0 -1 0 -1 0 -1 0" C[175]="3 -1 -1 -1 -1 -1 -1 -1 -2" Finish[40]=175 Start[41]=176 C[176]="1 -1 -1 -1 0 0 0 0 0" C[177]="1 -1 0 0 -1 -1 0 0 0" C[178]="1 0 -1 0 -1 0 -1 0 0" C[179]="1 0 0 -1 0 -1 -1 0 0" C[180]="3 -1 -1 -1 -1 -1 -1 -1 -2" Finish[41]=180 Start[42]=181 C[181]="1 -1 -1 -1 0 0 0 0 0" C[182]="1 -1 0 0 -1 -1 0 0 0" C[183]="1 -1 0 0 0 0 -1 -1 0" C[184]="1 0 -1 0 -1 0 -1 0 0" C[185]="3 -1 -1 -1 -1 -1 -1 -1 -2" Finish[42]=185 Start[43]=186 C[186]="1 -1 -1 -1 0 0 0 0 0" C[187]="1 -1 0 0 -1 -1 0 0 0" C[188]="1 -1 0 0 0 0 -1 -1 0" C[189]="1 0 -1 0 -1 0 -1 0 0" C[190]="1 0 0 -1 0 -1 0 -1 0" C[191]="3 -1 -1 -1 -1 -1 -1 -1 -2" Finish[43]=191 Start[44]=192 C[192]="1 -1 -1 -1 0 0 0 0 0" C[193]="1 -1 0 0 -1 -1 0 0 0" C[194]="1 -1 0 0 0 0 -1 -1 0" C[195]="1 0 -1 0 -1 0 -1 0 0" C[196]="1 0 -1 0 0 -1 0 -1 0" C[197]="3 -1 -1 -1 -1 -1 -1 -1 -2" Finish[44]=197 Start[45]=198 C[198]="1 -1 -1 -1 0 0 0 0 0" C[199]="1 -1 0 0 -1 -1 0 0 0" C[200]="1 -1 0 0 0 0 -1 -1 0" C[201]="1 0 -1 0 -1 0 -1 0 0" C[202]="1 0 -1 0 0 -1 0 -1 0" C[203]="1 0 0 -1 -1 0 0 -1 0" C[204]="3 -1 -1 -1 -1 -1 -1 -1 -2" Finish[45]=204 Start[46]=205 C[205]="1 -1 -1 -1 0 0 0 0 0" C[206]="1 -1 0 0 -1 -1 0 0 0" C[207]="1 -1 0 0 0 0 -1 -1 0" C[208]="1 0 -1 0 -1 0 -1 0 0" C[209]="1 0 -1 0 0 -1 0 -1 0" C[210]="1 0 0 -1 -1 0 0 -1 0" C[211]="1 0 0 -1 0 -1 -1 0 0" C[212]="3 -1 -1 -1 -1 -1 -1 -1 -2" Finish[46]=212 Start[47]=213 C[213]="3 -1 -1 -1 -1 -1 -1 -1 -2" C[214]="2 -1 -1 -1 -1 -1 -1 0 0" Finish[47]=214 Start[48]=215 C[215]="1 -1 -1 -1 0 0 0 0 0" C[216]="3 -1 -1 -1 -1 -1 -1 -1 -2" C[217]="2 0 -1 -1 -1 -1 -1 -1 0" Finish[48]=217 Start[49]=218 C[218]="1 -1 -1 -1 0 0 0 0 0" C[219]="1 -1 0 0 -1 -1 0 0 0" C[220]="3 -1 -1 -1 -1 -1 -1 -1 -2" C[221]="2 0 -1 -1 -1 -1 -1 -1 0" Finish[49]=221 Start[50]=222 C[222]="1 -1 -1 -1 0 0 0 0 0" C[223]="1 -1 0 0 -1 -1 0 0 0" C[224]="1 -1 0 0 0 0 -1 -1 0" C[225]="2 0 -1 -1 -1 -1 -1 -1 0" C[226]="3 -1 -1 -1 -1 -1 -1 -1 -2" Finish[50]=226 Start[51]=227 C[227]="2 -1 -1 -1 -1 -1 -1 0 0" Finish[51]=227 Start[52]=228 C[228]="2 -1 -1 -1 -1 -1 -1 0 0" C[229]="2 -1 -1 -1 -1 0 0 -1 -1" Finish[52]=229 Start[53]=230 C[230]="2 -1 -1 -1 -1 -1 -1 0 0" C[231]="2 -1 -1 -1 -1 0 0 -1 -1" C[232]="2 -1 -1 0 0 -1 -1 -1 -1" Finish[53]=232 Start[54]=233 C[233]="2 -1 -1 -1 -1 -1 -1 0 0" C[234]="2 -1 -1 -1 -1 0 0 -1 -1" C[235]="2 -1 -1 0 0 -1 -1 -1 -1" C[236]="2 0 0 -1 -1 -1 -1 -1 -1" Finish[54]=236 Start[55]=237 C[237]="1 -1 -1 -1 0 0 0 0 0" C[238]="1 -1 0 0 -1 -1 0 0 0" C[239]="1 0 0 0 0 0 -1 -1 -1" C[240]="2 0 -1 -1 -1 -1 0 -1 -1" Finish[55]=240 Start[56]=241 C[241]="1 -1 -1 -1 0 0 0 0 0" C[242]="1 -1 0 0 -1 -1 0 0 0" C[243]="1 0 -1 0 -1 0 -1 0 0" C[244]="1 0 0 -1 0 0 0 -1 -1" C[245]="2 -1 -1 0 0 -1 -1 -1 -1" Finish[56]=245 Start[57]=246 C[246]="1 -1 -1 -1 0 0 0 0 0" C[247]="1 -1 0 0 -1 -1 0 0 0" C[248]="1 -1 0 0 0 0 -1 -1 0" C[249]="1 0 -1 0 -1 0 -1 0 0" C[250]="2 0 0 -1 -1 -1 -1 -1 -1" Finish[57]=250 Start[58]=251 C[251]="1 -1 -1 -1 0 0 0 0 0" C[252]="1 -1 0 0 -1 -1 0 0 0" C[253]="1 -1 0 0 0 0 -1 -1 0" C[254]="1 0 -1 0 -1 0 -1 0 0" C[255]="1 0 -1 0 0 -1 0 -1 0" C[256]="2 0 0 -1 -1 -1 -1 -1 -1" Finish[58]=256 Start[59]=257 C[257]="1 -1 -1 -1 0 0 0 0 0" C[258]="1 -1 0 0 -1 -1 0 0 0" C[259]="1 -1 0 0 0 0 -1 -1 0" C[260]="1 0 -1 0 -1 0 -1 0 0" C[261]="1 0 -1 0 0 -1 0 0 -1" C[262]="2 0 0 -1 -1 -1 -1 -1 -1" Finish[59]=262 Start[60]=263 C[263]="1 -1 -1 -1 0 0 0 0 0" C[264]="1 -1 0 0 -1 -1 0 0 0" C[265]="1 -1 0 0 0 0 -1 -1 0" C[266]="1 0 -1 0 -1 0 0 0 -1" C[267]="1 0 0 -1 0 -1 0 0 -1" C[268]="2 0 -1 -1 -1 -1 -1 -1 0" Finish[60]=268 Start[61]=269 C[269]="1 -1 -1 -1 0 0 0 0 0" C[270]="1 -1 0 0 -1 -1 0 0 0" C[271]="1 -1 0 0 0 0 -1 -1 0" C[272]="1 0 -1 0 -1 0 0 0 -1" C[273]="1 0 0 -1 0 0 -1 0 -1" C[274]="2 0 -1 -1 -1 -1 -1 -1 0" Finish[61]=274 Start[62]=275 C[275]="1 -1 -1 -1 0 0 0 0 0" C[276]="1 -1 0 0 -1 -1 0 0 0" C[277]="1 -1 0 0 0 0 -1 -1 0" C[278]="1 0 -1 0 -1 0 0 0 -1" C[279]="1 0 0 -1 0 0 -1 0 -1" C[280]="1 0 0 0 0 -1 0 -1 -1" C[281]="2 0 -1 -1 -1 -1 -1 -1 0" Finish[62]=281 Start[63]=282 C[282]="1 -1 -1 -1 0 0 0 0 0" C[283]="2 0 0 -1 -1 -1 -1 -1 -1" Finish[63]=283 Start[64]=284 C[284]="1 -1 -1 -1 0 0 0 0 0" C[285]="1 -1 0 0 -1 -1 0 0 0" C[286]="2 0 -1 -1 -1 -1 0 -1 -1" Finish[64]=286 Start[65]=287 C[287]="1 -1 -1 -1 0 0 0 0 0" C[288]="1 -1 0 0 -1 -1 0 0 0" C[289]="1 -1 0 0 0 0 -1 -1 0" C[290]="2 0 -1 -1 -1 -1 -1 -1 0" Finish[65]=290 Start[66]=291 C[291]="1 -1 -1 -1 0 0 0 0 0" C[292]="1 -1 0 0 -1 -1 0 0 0" C[293]="1 0 -1 0 -1 0 -1 0 0" C[294]="2 0 0 -1 -1 -1 -1 -1 -1" Finish[66]=294 Start[67]=295 C[295]="1 -1 -1 -1 0 0 0 0 0" C[296]="1 -1 0 0 -1 -1 0 0 0" C[297]="1 0 -1 0 0 0 -1 -1 0" C[298]="2 0 0 -1 -1 -1 -1 -1 -1" Finish[67]=298 Start[68]=299 C[299]="1 -1 -1 -1 0 0 0 0 0" C[300]="1 -1 0 0 -1 -1 0 0 0" C[301]="1 -1 0 0 0 0 -1 -1 0" C[302]="1 0 -1 0 -1 0 0 0 -1" C[303]="2 0 0 -1 -1 -1 -1 -1 -1" Finish[68]=303 Start[69]=304 C[304]="1 -1 -1 -1 0 0 0 0 0" C[305]="2 0 -1 -1 -1 -1 -1 -1 0" Finish[69]=305 Start[70]=306 C[306]="1 -1 -1 -1 0 0 0 0 0" C[307]="1 -1 0 0 -1 -1 0 0 0" C[308]="2 0 0 -1 -1 -1 -1 -1 -1" Finish[70]=308 Start[71]=309 C[309]="1 -1 -1 -1 0 0 0 0 0" C[310]="1 -1 0 0 -1 -1 0 0 0" C[311]="1 -1 0 0 0 0 -1 -1 0" C[312]="2 0 0 -1 -1 -1 -1 -1 -1" Finish[71]=312 Start[72]=313 C[313]="1 -1 -1 -1 0 0 0 0 0" C[314]="1 -1 0 0 -1 -1 0 0 0" C[315]="1 0 -1 0 -1 0 -1 0 0" C[316]="2 0 -1 -1 -1 -1 0 -1 -1" Finish[72]=316 Start[73]=317 C[317]="1 -1 -1 -1 0 0 0 0 0" C[318]="1 -1 0 0 -1 -1 0 0 0" C[319]="1 0 -1 0 0 0 -1 -1 0" C[320]="2 0 -1 -1 -1 -1 0 -1 -1" Finish[73]=320 Start[74]=321 C[321]="1 -1 -1 -1 0 0 0 0 0" C[322]="1 -1 0 0 -1 -1 0 0 0" C[323]="1 -1 0 0 0 0 -1 -1 0" C[324]="1 0 -1 0 -1 0 0 0 -1" C[325]="2 0 -1 -1 -1 -1 -1 -1 0" Finish[74]=325 Start[75]=326 C[326]="1 -1 -1 -1 0 0 0 0 0" C[327]="1 -1 0 0 -1 -1 0 0 0" C[328]="2 -1 0 -1 0 -1 -1 -1 -1" Finish[75]=328 Start[76]=329 C[329]="1 -1 -1 -1 0 0 0 0 0" C[330]="1 0 0 0 -1 -1 -1 0 0" C[331]="2 0 -1 -1 0 -1 -1 -1 -1" Finish[76]=331 Start[77]=332 C[332]="1 -1 -1 -1 0 0 0 0 0" C[333]="1 -1 0 0 -1 -1 0 0 0" C[334]="1 0 -1 0 -1 0 -1 0 0" C[335]="1 0 0 -1 0 -1 0 -1 0" C[336]="2 -1 0 -1 -1 0 -1 -1 -1" Finish[77]=336 Start[78]=337 C[337]="1 -1 -1 -1 0 0 0 0 0" C[338]="1 -1 0 0 -1 -1 0 0 0" C[339]="1 0 -1 0 -1 0 -1 0 0" C[340]="1 0 0 -1 0 -1 -1 0 0" C[341]="2 0 -1 -1 -1 -1 0 -1 -1" Finish[78]=341 Start[79]=342 C[342]="1 -1 -1 -1 0 0 0 0 0" C[343]="1 -1 0 0 -1 -1 0 0 0" C[344]="1 0 -1 0 0 0 -1 -1 0" C[345]="1 0 0 0 -1 0 -1 0 -1" C[346]="2 0 -1 -1 -1 -1 0 -1 -1" Finish[79]=346 Start[80]=347 C[347]="1 -1 -1 -1 0 0 0 0 0" C[348]="2 0 0 -1 -1 -1 -1 -1 -1" C[349]="2 -1 -1 0 0 -1 -1 -1 -1" Finish[80]=349 Start[81]=350 C[350]="1 -1 -1 -1 0 0 0 0 0" C[351]="1 -1 0 0 -1 -1 0 0 0" C[352]="2 0 -1 -1 -1 -1 0 -1 -1" C[353]="2 -1 0 -1 0 -1 -1 -1 -1" Finish[81]=353 Start[82]=354 C[354]="1 -1 -1 -1 0 0 0 0 0" C[355]="1 -1 0 0 -1 -1 0 0 0" C[356]="1 0 -1 0 -1 0 -1 0 0" C[357]="2 0 -1 -1 -1 -1 0 -1 -1" C[358]="2 -1 0 -1 -1 0 -1 -1 -1" Finish[82]=358 Start[83]=359 C[359]="1 -1 -1 -1 0 0 0 0 0" C[360]="2 -1 0 -1 -1 -1 -1 -1 0" C[361]="2 -1 -1 0 0 -1 -1 -1 -1" Finish[83]=361 Start[84]=362 C[362]="1 -1 -1 -1 0 0 0 0 0" C[363]="1 -1 0 0 -1 -1 0 0 0" C[364]="2 0 -1 0 -1 -1 -1 -1 -1" C[365]="2 -1 0 -1 0 -1 -1 -1 -1" Finish[84]=365 Start[85]=366 C[366]="1 -1 -1 -1 0 0 0 0 0" C[367]="1 -1 0 0 -1 -1 0 0 0" C[368]="1 0 -1 0 -1 0 -1 0 0" C[369]="2 0 0 -1 -1 -1 -1 -1 -1" C[370]="2 -1 -1 0 0 -1 -1 -1 -1" Finish[85]=370 Start[86]=371 C[371]="1 -1 -1 -1 0 0 0 0 0" C[372]="1 -1 0 0 -1 -1 0 0 0" C[373]="2 -1 0 -1 0 -1 -1 -1 -1" C[374]="2 -1 -1 0 -1 0 -1 -1 -1" Finish[86]=374 Start[87]=375 C[375]="1 -1 -1 -1 0 0 0 0 0" C[376]="1 0 0 0 -1 -1 -1 0 0" C[377]="2 0 -1 -1 0 -1 -1 -1 -1" C[378]="2 -1 0 -1 -1 0 -1 -1 -1" Finish[87]=378 Start[88]=379 C[379]="1 -1 -1 -1 0 0 0 0 0" C[380]="1 -1 0 0 -1 -1 0 0 0" C[381]="1 0 -1 0 0 0 -1 -1 0" C[382]="2 0 -1 -1 -1 -1 0 -1 -1" C[383]="2 -1 0 -1 0 -1 -1 -1 -1" Finish[88]=383 Start[89]=384 C[384]="1 -1 -1 -1 0 0 0 0 0" C[385]="1 -1 0 0 -1 -1 0 0 0" C[386]="1 0 -1 0 -1 0 -1 0 0" C[387]="1 0 0 -1 0 -1 0 -1 0" C[388]="2 -1 0 -1 -1 0 -1 -1 -1" C[389]="2 -1 -1 0 0 -1 -1 -1 -1" Finish[89]=389 Start[90]=390 C[390]="1 -1 -1 -1 0 0 0 0 0" C[391]="1 -1 0 0 -1 -1 0 0 0" C[392]="1 0 -1 0 -1 0 -1 0 0" C[393]="1 0 0 -1 0 -1 -1 0 0" C[394]="2 0 -1 -1 -1 -1 0 -1 -1" C[395]="2 -1 0 -1 -1 0 -1 -1 -1" Finish[90]=395 Start[91]=396 C[396]="1 -1 -1 -1 0 0 0 0 0" C[397]="1 -1 0 0 -1 -1 0 0 0" C[398]="1 0 -1 0 0 0 -1 -1 0" C[399]="1 0 0 0 -1 0 -1 0 -1" C[400]="2 0 -1 -1 -1 -1 0 -1 -1" C[401]="2 -1 0 -1 0 -1 -1 -1 -1" Finish[91]=401 Start[92]=402 C[402]="1 -1 -1 -1 0 0 0 0 0" C[403]="2 0 -1 -1 -1 0 -1 -1 -1" C[404]="2 -1 0 -1 -1 -1 -1 -1 0" C[405]="2 -1 -1 0 0 -1 -1 -1 -1" Finish[92]=405 Start[93]=406 C[406]="1 -1 -1 -1 0 0 0 0 0" C[407]="1 0 0 0 -1 -1 -1 0 0" C[408]="2 0 -1 -1 0 -1 -1 -1 -1" C[409]="2 -1 0 -1 -1 0 -1 -1 -1" C[410]="2 -1 -1 0 -1 -1 0 -1 -1" Finish[93]=410 Start[94]=411 C[411]="1 -1 -1 -1 0 0 0 0 0" C[412]="1 -1 0 0 -1 -1 0 0 0" C[413]="2 0 -1 -1 -1 -1 0 -1 -1" C[414]="2 -1 0 -1 0 -1 -1 -1 -1" C[415]="2 -1 -1 0 -1 0 -1 -1 -1" Finish[94]=415 Start[95]=416 C[416]="1 -1 -1 -1 0 0 0 0 0" C[417]="1 -1 0 0 -1 -1 0 0 0" C[418]="1 0 -1 0 -1 0 -1 0 0" C[419]="2 0 -1 -1 -1 -1 0 -1 -1" C[420]="2 -1 0 -1 -1 0 -1 -1 -1" C[421]="2 -1 -1 0 0 -1 -1 -1 -1" Finish[95]=421 Start[96]=422 C[422]="1 -1 -1 -1 0 0 0 0 0" C[423]="1 -1 0 0 -1 -1 0 0 0" C[424]="1 0 -1 0 -1 0 -1 0 0" C[425]="1 0 0 -1 0 -1 -1 0 0" C[426]="2 0 -1 -1 -1 -1 0 -1 -1" C[427]="2 -1 0 -1 -1 0 -1 -1 -1" C[428]="2 -1 -1 0 0 -1 -1 -1 -1" Finish[96]=428 Start[97]=429 C[429]="1 -1 -1 -1 0 0 0 0 0" C[430]="1 -1 0 0 -1 -1 0 0 0" C[431]="2 0 -1 -1 -1 -1 0 -1 -1" C[432]="1 -1 0 0 0 0 -1 -1 -1" Finish[97]=432 Start[98]=433 C[433]="1 -1 -1 -1 0 0 0 0 0" C[434]="1 0 0 0 -1 -1 -1 -1 0" Finish[98]=434 Start[99]=435 C[435]="1 -1 -1 -1 0 0 0 0 0" C[436]="1 -1 0 0 -1 -1 0 0 0" C[437]="1 -1 0 0 0 0 -1 -1 -1" Finish[99]=437 Start[100]=438 C[438]="1 -1 -1 -1 0 0 0 0 0" C[439]="1 -1 0 0 -1 -1 0 0 0" C[440]="1 0 -1 0 -1 0 -1 0 0" C[441]="1 -1 0 0 0 0 -1 -1 -1" Finish[100]=441 Start[101]=442 C[442]="1 -1 -1 -1 0 0 0 0 0" C[443]="1 -1 0 0 -1 -1 0 0 0" C[444]="1 -1 0 0 0 0 -1 -1 0" C[445]="1 0 -1 0 -1 0 -1 0 0" C[446]="1 0 0 -1 0 -1 0 -1 -1" Finish[101]=446 Start[102]=447 C[447]="1 -1 -1 -1 0 0 0 0 0" C[448]="2 0 -1 -1 -1 -1 -1 -1 0" C[449]="1 -1 0 0 -1 -1 0 0 -1" Finish[102]=449 Start[103]=450 C[450]="1 -1 -1 -1 0 0 0 0 0" C[451]="1 -1 0 0 -1 -1 0 0 0" C[452]="1 0 -1 0 -1 0 -1 0 0" C[453]="2 0 -1 -1 -1 -1 0 -1 -1" C[454]="1 -1 0 0 0 0 -1 -1 -1" Finish[103]=454 Start[104]=455 C[455]="1 -1 -1 -1 0 0 0 0 0" C[456]="1 -1 0 0 -1 -1 -1 0 0" Finish[104]=456 Start[105]=457 C[457]="1 -1 -1 -1 0 0 0 0 0" C[458]="1 -1 0 0 -1 -1 0 0 0" C[459]="1 0 -1 0 -1 0 -1 -1 0" Finish[105]=459 Start[106]=460 C[460]="1 -1 -1 -1 0 0 0 0 0" C[461]="1 -1 0 0 -1 -1 0 0 0" C[462]="1 0 -1 0 -1 0 -1 0 0" C[463]="1 0 0 -1 0 -1 0 -1 -1" Finish[106]=463 Start[107]=464 C[464]="1 -1 -1 -1 0 0 0 0 0" C[465]="1 -1 0 0 -1 -1 0 0 0" C[466]="1 -1 0 0 0 0 -1 -1 0" C[467]="1 0 -1 0 -1 0 -1 0 0" C[468]="1 0 -1 0 0 -1 0 -1 -1" Finish[107]=468 Start[108]=469 C[469]="1 -1 -1 -1 0 0 0 0 0" C[470]="1 -1 0 0 -1 -1 0 0 0" C[471]="2 -1 0 -1 0 -1 -1 -1 -1" C[472]="1 0 -1 0 -1 0 -1 -1 0" Finish[108]=472 Start[109]=473 C[473]="1 -1 -1 -1 0 0 0 0 0" C[474]="1 -1 0 0 -1 -1 0 0 0" C[475]="1 0 -1 0 0 0 -1 -1 -1" Finish[109]=475 Start[110]=476 C[476]="1 -1 -1 -1 0 0 0 0 0" C[477]="1 -1 0 0 -1 -1 0 0 0" C[478]="1 0 -1 0 -1 0 -1 0 0" C[479]="1 0 0 -1 0 -1 -1 -1 0" Finish[110]=479 Start[111]=480 C[480]="1 -1 -1 -1 0 0 0 0 0" C[481]="1 0 0 0 -1 -1 -1 0 0" C[482]="2 0 -1 -1 0 -1 -1 -1 -1" C[483]="1 -1 0 0 -1 0 0 -1 -1" Finish[111]=483 Start[112]=484 C[484]="1 -1 -1 -1 0 0 0 0 0" C[485]="1 -1 0 0 -1 -1 0 0 0" C[486]="1 0 -1 0 -1 0 -1 0 0" C[487]="1 0 0 -1 0 -1 -1 0 0" C[488]="2 0 -1 -1 -1 -1 0 -1 -1" C[489]="1 -1 0 0 0 0 -1 -1 -1" Finish[112]=489 Start[113]=490 C[490]="1 -1 -1 -1 -1 0 0 0 0" Finish[113]=490 Start[114]=491 C[491]="1 -1 -1 -1 0 0 0 0 0" C[492]="1 -1 0 0 -1 -1 0 0 0" C[493]="1 -1 0 0 0 0 -1 -1 0" C[494]="1 0 -1 0 -1 0 -1 0 -1" Finish[114]=494 Start[115]=495 C[495]="1 -1 -1 -1 -1 0 0 0 0" C[496]="1 0 0 0 0 -1 -1 -1 -1" Finish[115]=496 Start[116]=497 C[497]="1 -1 -1 -1 -1 0 0 0 0" C[498]="1 -1 0 0 0 -1 -1 -1 0" Finish[116]=498 Start[117]=499 C[499]="1 -1 -1 -1 0 0 0 0 0" C[500]="1 -1 0 0 -1 -1 -1 0 0" C[501]="1 0 -1 0 -1 0 0 -1 -1" Finish[117]=501 Start[118]=502 C[502]="1 -1 -1 -1 0 0 0 0 0" C[503]="1 -1 0 0 -1 -1 0 0 0" C[504]="1 0 -1 0 -1 0 -1 -1 0" C[505]="1 0 0 -1 0 -1 -1 0 -1" Finish[118]=505 Start[119]=506 C[506]="1 -1 -1 -1 0 0 0 0 0" C[507]="1 -1 0 0 -1 -1 0 0 0" C[508]="1 -1 0 0 0 0 -1 -1 0" C[509]="1 0 -1 0 -1 0 -1 0 -1" C[510]="1 0 0 -1 0 -1 0 -1 -1" Finish[119]=510 Start[120]=511 C[511]="2 -1 -1 -1 -1 -1 -1 0 0" C[512]="1 -1 -1 0 0 0 0 -1 -1" Finish[120]=512 Start[121]=513 C[513]="2 -1 -1 -1 -1 -1 -1 0 0" C[514]="2 -1 -1 -1 -1 0 0 -1 -1" C[515]="1 0 0 0 0 -1 -1 -1 -1" Finish[121]=515 Start[122]=516 C[516]="1 -1 -1 -1 0 0 0 0 0" C[517]="1 0 0 0 -1 -1 -1 0 0" C[518]="1 -1 0 0 -1 0 0 -1 -1" Finish[122]=518 Start[123]=519 C[519]="1 -1 -1 -1 0 0 0 0 0" C[520]="1 -1 0 0 -1 -1 0 0 0" C[521]="1 0 -1 0 0 0 -1 -1 0" C[522]="1 0 0 -1 -1 0 -1 0 -1" Finish[123]=522 Start[124]=523 C[523]="1 -1 -1 -1 0 0 0 0 0" C[524]="1 -1 0 0 -1 -1 0 0 0" C[525]="1 0 -1 0 -1 0 -1 0 0" C[526]="1 0 0 -1 0 -1 0 -1 0" C[527]="1 -1 0 0 0 0 -1 -1 -1" Finish[124]=527 Start[125]=528 C[528]="1 -1 -1 -1 0 0 0 0 0" C[529]="1 -1 0 0 -1 -1 0 0 0" C[530]="1 0 -1 0 -1 0 -1 0 0" C[531]="1 0 0 -1 0 -1 -1 0 0" C[532]="1 -1 0 0 0 0 -1 -1 -1" Finish[125]=532 Start[126]=533 C[533]="1 -1 -1 -1 0 0 0 0 0" C[534]="1 -1 0 0 -1 -1 0 0 0" C[535]="1 0 -1 0 0 0 -1 -1 0" C[536]="1 0 0 0 -1 0 -1 0 -1" C[537]="1 0 0 -1 0 -1 0 -1 -1" Finish[126]=537 Start[127]=538 C[538]="1 -1 -1 -1 0 0 0 0 0" C[539]="1 -1 0 0 -1 -1 0 0 0" C[540]="1 -1 0 0 0 0 -1 -1 0" C[541]="1 0 -1 0 -1 0 0 0 -1" C[542]="1 0 0 -1 0 -1 -1 0 -1" Finish[127]=542 Start[128]=543 C[543]="1 -1 -1 -1 0 0 0 0 0" C[544]="1 -1 0 0 -1 -1 0 0 0" C[545]="1 -1 0 0 0 0 -1 -1 0" C[546]="1 0 -1 0 -1 0 -1 0 0" C[547]="1 0 -1 0 0 -1 0 -1 0" C[548]="1 0 0 -1 -1 0 0 -1 -1" Finish[128]=548 Start[129]=549 C[549]="1 -1 -1 -1 0 0 0 0 0" C[550]="1 -1 0 0 -1 -1 0 0 0" C[551]="1 -1 0 0 0 0 -1 -1 0" C[552]="1 0 -1 0 -1 0 -1 0 0" C[553]="1 0 -1 0 0 -1 0 0 -1" C[554]="1 0 0 -1 -1 0 0 -1 -1" Finish[129]=554 Start[130]=555 C[555]="1 -1 -1 -1 0 0 0 0 0" C[556]="1 -1 0 0 -1 -1 0 0 0" C[557]="1 -1 0 0 0 0 -1 -1 0" C[558]="1 0 -1 0 -1 0 -1 0 0" C[559]="1 0 -1 0 0 -1 0 -1 0" C[560]="1 0 0 -1 -1 0 0 -1 0" C[561]="1 0 0 -1 0 -1 -1 0 -1" Finish[130]=561 Start[131]=562 C[562]="1 -1 -1 -1 0 0 0 0 0" C[563]="1 -1 0 0 -1 -1 0 0 0" C[564]="1 -1 0 0 0 0 -1 -1 0" C[565]="1 0 -1 0 -1 0 -1 0 0" C[566]="1 0 -1 0 0 -1 0 -1 0" C[567]="1 0 0 0 -1 0 0 -1 -1" C[568]="1 0 0 -1 0 -1 -1 0 -1" Finish[131]=568 Start[132]=569 C[569]="1 -1 -1 -1 -1 -1 0 0 0" Finish[132]=569 Start[133]=570 C[570]="1 -1 -1 -1 -1 -1 0 0 0" C[571]="1 -1 0 0 0 0 -1 -1 -1" Finish[133]=571 Start[134]=572 C[572]="1 -1 -1 -1 -1 -1 0 0 0" C[573]="1 0 0 0 0 0 -1 -1 -1" Finish[134]=573 Start[135]=574 C[574]="1 -1 -1 -1 -1 -1 0 0 0" C[575]="1 -1 0 0 0 0 -1 -1 0" Finish[135]=575 Start[136]=576 C[576]="1 -1 -1 -1 -1 -1 0 0 0" C[577]="1 -1 0 0 0 0 -1 -1 0" C[578]="1 0 -1 0 0 0 -1 0 -1" Finish[136]=578 Start[137]=579 C[579]="1 -1 -1 -1 -1 -1 0 0 0" C[580]="1 -1 0 0 0 0 -1 -1 0" C[581]="1 0 -1 0 0 0 -1 0 -1" C[582]="1 0 0 -1 0 0 0 -1 -1" Finish[137]=582 Start[138]=583 C[583]="1 -1 -1 -1 -1 -1 -1 0 0" Finish[138]=583 Start[139]=584 C[584]="1 -1 -1 -1 -1 -1 -1 0 0" C[585]="1 -1 0 0 0 0 0 -1 -1" Finish[139]=585 Start[140]=586 C[586]="1 -1 -1 -1 -1 -1 -1 -1 0" Finish[140]=586 Start[141]=587 C[587]="1 -1 -1 -1 -1 -1 -1 -1 -1" Finish[141]=587 Start[142]=588 C[588]="2 -1 -1 -1 -1 -1 -1 -1 0" Finish[142]=588 Start[143]=589 C[589]="2 -1 -1 -1 -1 -1 -1 -1 0" C[590]="1 -1 -1 0 0 0 0 0 -1" Finish[143]=590 Start[144]=591 C[591]="2 -1 -1 -1 -1 -1 -1 -1 0" C[592]="1 -1 -1 0 0 0 0 0 -1" C[593]="1 0 0 -1 -1 0 0 0 -1" Finish[144]=593 Start[145]=594 C[594]="2 -1 -1 -1 -1 -1 -1 -1 0" C[595]="1 -1 -1 0 0 0 0 0 -1" C[596]="1 0 0 -1 -1 0 0 0 -1" C[597]="1 0 0 0 0 -1 -1 0 -1" Finish[145]=597 Start[146]=598 C[598]="2 -1 -1 -1 -1 -1 -1 -1 -1" Finish[146]=598 } {config=$1 testscheme=$2" "$3" "$4" "$5" "$6" "$7" "$8" "$9 print ".........................................." print "Configuration: "config print ".........................................." print " " # Find the minus 1 curves k=0 for(i=1;i<=En;i++) { j=Start[config] test=0 while(test==0 && j<=Finish[config]) { if(dot(E[i],C[j]) < 0) test=1 j=j+1 } if(test==0) { k=k+1 M1[k]=i M1n=k } } if(verbose==1) { print "The exceptional curves are:" for(i=1;i<=M1n;i++) print " "E[M1[i]] print "The other negative curves are:" for(i=Start[config];i<=Finish[config];i++) print " "C[i] } print "Scheme: Z = "testscheme Ftmp=0" "testscheme flg=1 flag=0 while(flg==1) { flg=0 for(i=1;i<=M1n;i++) if(dot("1 0 0 0 0 0 0 0 0",E[M1[i]])==0 && dot(Ftmp,E[M1[i]]) > 0) { Ftmp=subtract(Ftmp,mult(E[M1[i]],-1)) flg=1 flag=1} for(i=Start[config];i<=Finish[config];i++) if(dot("1 0 0 0 0 0 0 0 0",C[i])==0 && dot(Ftmp,C[i]) > 0) { Ftmp=subtract(Ftmp,mult(C[i],-1)) flg=1 flag=1} } if(flag==1) { split(Ftmp, D, " ") testscheme=D[2]" "D[3]" "D[4]" "D[5]" "D[6]" "D[7]" "D[8]" "D[9] print "Your Z does not satisfy the proximity inequalities." print "Subtracting off components of blow ups to get a Z" print "which does, turns your Z into: Z = "testscheme } h0=0 deg=-1 fflag=1 while(h0==0) { deg=deg+1 testclass=deg" "mult(testscheme,-1) split(h0andh1(testclass), hh, " ") h0=hh[1] h1=hh[2] fflag=fixedflag(testclass)} alpha=deg print "alpha: "alpha while(fflag==1) { deg=deg+1 testclass=deg" "mult(testscheme,-1) fflag=fixedflag(testclass)} print "FCfree in degree: "deg delta=deg+1 h1=1 deg=alpha-2 while(h1>0) { deg=deg+1 testclass=deg" "mult(testscheme,-1) split(h0andh1(testclass), hh, " ") h0=hh[1] h1=hh[2]} tau=deg print "tau: "tau for(j=alpha;j<=delta+2;j++) { testclass=j" "mult(testscheme,-1) split(h0andh1(testclass), hh, " ") hilb[j-alpha+1]=hh[1] } for(j=alpha;j<=delta+1;j++) { # print testscheme testclass=j" "mult(testscheme,-1) # print testclass myclass=subtract(getFreepart(testclass),"-1 0 0 0 0 0 0 0 0") # print myclass split(h0andh1(myclass), hh, " ") hilbfree[j-alpha+2]=hh[1] print "#\!/usr/bin/perl -w" > "test" mystr="system(\"echo "myclass" | ./numgens.cgi\")" print mystr >> "test" close("test") # print mystr "./test" | getline nmbr close("./test") # print "..."nmbr freecok[j-alpha+1]=nmbr # print "...::: ", j-alpha+1,nmbr, freecok[j-alpha+1] myclass=subtract(getFreepart(testclass),"1 -1 0 0 0 0 0 0 0 0") split(h0andh1(myclass), hh, " ") tmpl=hh[1] myclass=subtract(getFreepart(testclass),"0 1 0 0 0 0 0 0 0 0") split(h0andh1(myclass), hh, " ") tmpq=hh[1] mydelta[j-alpha+1]=tmpl+tmpq myclass=subtract(getFreepart(testclass),"1 0 -1 0 0 0 0 0 0 0") split(h0andh1(myclass), hh, " ") tmpl=hh[1] myclass=subtract(getFreepart(testclass),"0 0 1 0 0 0 0 0 0 0") split(h0andh1(myclass), hh, " ") tmpq=hh[1] tmpdelta=tmpl+tmpq if(mydelta[j-alpha+1]> tmpdelta) mydelta[j-alpha+1]=tmpdelta myclass=subtract(getFreepart(testclass),"1 0 0 -1 0 0 0 0 0 0") split(h0andh1(myclass), hh, " ") tmpl=hh[1] myclass=subtract(getFreepart(testclass),"0 0 0 1 0 0 0 0 0 0") split(h0andh1(myclass), hh, " ") tmpq=hh[1] tmpdelta=tmpl+tmpq if(mydelta[j-alpha+1]> tmpdelta) mydelta[j-alpha+1]=tmpdelta myclass=subtract(getFreepart(testclass),"1 0 0 0 -1 0 0 0 0 0") split(h0andh1(myclass), hh, " ") tmpl=hh[1] myclass=subtract(getFreepart(testclass),"0 0 0 0 1 0 0 0 0 0") split(h0andh1(myclass), hh, " ") tmpq=hh[1] tmpdelta=tmpl+tmpq if(mydelta[j-alpha+1]> tmpdelta) mydelta[j-alpha+1]=tmpdelta myclass=subtract(getFreepart(testclass),"1 0 0 0 0 -1 0 0 0 0") split(h0andh1(myclass), hh, " ") tmpl=hh[1] myclass=subtract(getFreepart(testclass),"0 0 0 0 0 1 0 0 0 0") split(h0andh1(myclass), hh, " ") tmpq=hh[1] tmpdelta=tmpl+tmpq if(mydelta[j-alpha+1]> tmpdelta) mydelta[j-alpha+1]=tmpdelta myclass=subtract(getFreepart(testclass),"1 0 0 0 0 0 -1 0 0 0") split(h0andh1(myclass), hh, " ") tmpl=hh[1] myclass=subtract(getFreepart(testclass),"0 0 0 0 0 0 1 0 0 0") split(h0andh1(myclass), hh, " ") tmpq=hh[1] tmpdelta=tmpl+tmpq if(mydelta[j-alpha+1]> tmpdelta) mydelta[j-alpha+1]=tmpdelta myclass=subtract(getFreepart(testclass),"1 0 0 0 0 0 0 -1 0 0") split(h0andh1(myclass), hh, " ") tmpl=hh[1] myclass=subtract(getFreepart(testclass),"0 0 0 0 0 0 0 1 0 0") split(h0andh1(myclass), hh, " ") tmpq=hh[1] tmpdelta=tmpl+tmpq if(mydelta[j-alpha+1]> tmpdelta) mydelta[j-alpha+1]=tmpdelta myclass=subtract(getFreepart(testclass),"1 0 0 0 0 0 0 0 -1 0") split(h0andh1(myclass), hh, " ") tmpl=hh[1] myclass=subtract(getFreepart(testclass),"0 0 0 0 0 0 0 0 1 0") split(h0andh1(myclass), hh, " ") tmpq=hh[1] tmpdelta=tmpl+tmpq if(mydelta[j-alpha+1]> tmpdelta) mydelta[j-alpha+1]=tmpdelta myclass=subtract(getFreepart(testclass),"1 0 0 0 0 0 0 0 0 -1") split(h0andh1(myclass), hh, " ") tmpl=hh[1] myclass=subtract(getFreepart(testclass),"0 0 0 0 0 0 0 0 0 1") split(h0andh1(myclass), hh, " ") tmpq=hh[1] tmpdelta=tmpl+tmpq if(mydelta[j-alpha+1]> tmpdelta) mydelta[j-alpha+1]=tmpdelta } lbgens[1]=hilb[1] ubgens[1]=hilb[1] for(j=alpha+1;j<=delta+2;j++) { # print "...::: ",j-alpha, freecok[j-alpha] ubgens[j-alpha+1]=hilb[j-alpha+1]-3*hilb[j-alpha]+mydelta[j-alpha] lbgens[j-alpha+1]=hilb[j-alpha+1]-hilbfree[j-alpha+1]+freecok[j-alpha] # The following two lines were a former estimate used in place of freecok[j-alpha+1] # if(hilbfree[j-alpha+1]>3*hilb[j-1-alpha+1]) # lbgens[j-alpha+1]= lbgens[j-alpha+1]+hilbfree[j-alpha+1]-3*hilb[j-1-alpha+1] } lbsyz[1]= lbgens[1]-hilb[1] lbsyz[2]= lbgens[2]-hilb[2]+3*hilb[1] lbsyz[3]= lbgens[3]-hilb[3]+3*hilb[2]-3*hilb[1] for(j=alpha+3;j<=delta+2;j++) { lbsyz[j-alpha+1]= lbgens[j-alpha+1]-hilb[j-alpha+1]+3*hilb[j-alpha]-3*hilb[j-alpha-1]+hilb[j-alpha-2] } print "deg hilb_I lbgens ubgens lbsyz ubsyz hilb_Z" for(j=alpha;j<=delta+2;j++) print j" "hilb[j-alpha+1]" "lbgens[j-alpha+1]" "ubgens[j-alpha+1]" "lbsyz[j-alpha+1]" "ubgens[j-alpha+1]-lbgens[j-alpha+1]+lbsyz[j-alpha+1]" "(j+1)*(j+2)/2-hilb[j-alpha+1] # end of testschemes loop print ".........................................." print " " } function fixedflag(F, flg,i) # return 1 if fixed part is nonempty, 0 otherwise {flg=0 for(i=1;i<=M1n;i++) if(dot(F,E[M1[i]]) < 0) { flg=1} for(i=Start[config];i<=Finish[config];i++) if(dot(F,C[i]) < 0) { flg=1} return flg } function getFreepart(F, Ftmp,n,D,flg,i) {Ftmp=F n=split(F, D, " ") flg=0 while(D[1]>=0 && flg==0) { flg=1 for(i=1;i<=M1n;i++) if(dot(Ftmp,E[M1[i]]) < 0) { Ftmp=subtract(Ftmp,E[M1[i]]) flg=0} for(i=Start[config];i<=Finish[config];i++) if(dot(Ftmp,C[i]) < 0) { Ftmp=subtract(Ftmp,C[i]) flg=0} split(Ftmp, D, " ") } return Ftmp } # F must be a class for at least 3 blow ups function h0andh1(F, n, D, Ftmp, i, vdim, dim, flg) {Ftmp=F n=split(F, D, " ") vdim=(D[1]+1)*(D[1]+2) for(i=2;i<=n;i++) vdim=vdim-(-D[i]+1)*(-D[i]) i=int(vdim/2)-1 while(i*2=0 && flg==0) { flg=1 for(i=1;i<=M1n;i++) if(dot(Ftmp,E[M1[i]]) < 0) { Ftmp=subtract(Ftmp,E[M1[i]]) flg=0} for(i=Start[config];i<=Finish[config];i++) if(dot(Ftmp,C[i]) < 0) { Ftmp=subtract(Ftmp,C[i]) flg=0} split(Ftmp, D, " ") } # The divisor has now been reduced if(D[1]<0) dim=0 else { dim=(D[1]+1)*(D[1]+2) for(i=2;i<=n;i++) { dim=dim-(-D[i]+1)*(-D[i])} i=int(dim/2)-1 while(i*2