{"id":"406.100.3.a","row":1029,"stored":{"file":"master_catalog.json","row":1029,"construction":null,"columns_sha256":null},"parameters":{"n":406,"k":100,"d":3,"N":112,"r":12,"level":3},"gate":{"string":"0+1+2+3+4+5+6+7+8+9+10+11+12+13+14+15+16+17+18+19+20+21+22+23+24+25+26+27+28+29+30+31+32+33+34+35+36+37+38+39+40+41+42+43+44+45+46+47+48+49+50+51+52+53+54+55+56+57+58+59+60+61+62+63+64+65+66+67+68+69+70+71+72+73+74+75+76+77+78+79+80+81+82+83+84+85+86+87+88+89+90+91+92+93+94+95+96+97+98+99","human":"T0\u00b7T1\u00b7T2\u00b7T3\u00b7T4\u00b7T5\u00b7T6\u00b7T7\u00b7T8\u00b7T9\u00b7T10\u00b7T11\u00b7T12\u00b7T13\u00b7T14\u00b7T15\u00b7T16\u00b7T17\u00b7T18\u00b7T19\u00b7T20\u00b7T21\u00b7T22\u00b7T23\u00b7T24\u00b7T25\u00b7T26\u00b7T27\u00b7T28\u00b7T29\u00b7T30\u00b7T31\u00b7T32\u00b7T33\u00b7T34\u00b7T35\u00b7T36\u00b7T37\u00b7T38\u00b7T39\u00b7T40\u00b7T41\u00b7T42\u00b7T43\u00b7T44\u00b7T45\u00b7T46\u00b7T47\u00b7T48\u00b7T49\u00b7T50\u00b7T51\u00b7T52\u00b7T53\u00b7T54\u00b7T55\u00b7T56\u00b7T57\u00b7T58\u00b7T59\u00b7T60\u00b7T61\u00b7T62\u00b7T63\u00b7T64\u00b7T65\u00b7T66\u00b7T67\u00b7T68\u00b7T69\u00b7T70\u00b7T71\u00b7T72\u00b7T73\u00b7T74\u00b7T75\u00b7T76\u00b7T77\u00b7T78\u00b7T79\u00b7T80\u00b7T81\u00b7T82\u00b7T83\u00b7T84\u00b7T85\u00b7T86\u00b7T87\u00b7T88\u00b7T89\u00b7T90\u00b7T91\u00b7T92\u00b7T93\u00b7T94\u00b7T95\u00b7T96\u00b7T97\u00b7T98\u00b7T99","monomials":[[0],[1],[2],[3],[4],[5],[6],[7],[8],[9],[10],[11],[12],[13],[14],[15],[16],[17],[18],[19],[20],[21],[22],[23],[24],[25],[26],[27],[28],[29],[30],[31],[32],[33],[34],[35],[36],[37],[38],[39],[40],[41],[42],[43],[44],[45],[46],[47],[48],[49],[50],[51],[52],[53],[54],[55],[56],[57],[58],[59],[60],[61],[62],[63],[64],[65],[66],[67],[68],[69],[70],[71],[72],[73],[74],[75],[76],[77],[78],[79],[80],[81],[82],[83],[84],[85],[86],[87],[88],[89],[90],[91],[92],[93],[94],[95],[96],[97],[98],[99]],"sk_key":[[0],[1],[2],[3],[4],[5],[6],[7],[8],[9],[10],[11],[12],[13],[14],[15],[16],[17],[18],[19],[20],[21],[22],[23],[24],[25],[26],[27],[28],[29],[30],[31],[32],[33],[34],[35],[36],[37],[38],[39],[40],[41],[42],[43],[44],[45],[46],[47],[48],[49],[50],[51],[52],[53],[54],[55],[56],[57],[58],[59],[60],[61],[62],[63],[64],[65],[66],[67],[68],[69],[70],[71],[72],[73],[74],[75],[76],[77],[78],[79],[80],[81],[82],[83],[84],[85],[86],[87],[88],[89],[90],[91],[92],[93],[94],[95],[96],[97],[98],[99]],"sk_fingerprint":"d36787882068d006","sk_canonical_frame":true,"relabelled_into_canonical_frame":false},"circuit":{"columns":[[20,104,105],[28,104,105,106],[0,2,5,6,7,8,9,10,14,15,16,19,22,27,28,29,31,33,35,40,41,44,46,47,49,50,51,52,53,55,56,58,59,63,64,70,71,72,74,78,80,81,83,84,87,88,89,92,93,94,96,97,99,100,101,102,103,104,106,107,109,110,111],[0,2,3,5,7,9,10,11,14,16,17,18,26,27,28,30,31,32,37,39,40,41,43,44,45,46,48,50,55,56,57,58,59,60,63,66,67,68,69,70,71,72,75,76,79,83,85,87,88,95,97,98,99,100,101,102,103,106,107,108,111],[1,3,6,7,8,11,13,15,19,21,22,23,25,29,31,32,33,37,41,43,44,46,49,51,52,55,59,60,62,63,64,65,68,70,74,77,81,82,83,86,87,91,92,93,94,95,96,97,99,100,101,103,106],[91,104,105,106,107],[96,104,108],[57,104,105,108],[0,4,7,8,10,11,14,16,21,25,30,36,37,38,40,41,57,59,62,65,67,68,69,71,76,77,86,87,92,95,98,102,104,105,106,107,108,109],[1,4,5,6,7,8,10,14,17,19,20,22,26,29,31,33,34,35,39,43,44,45,48,52,53,56,59,62,64,65,66,72,73,74,76,81,82,84,85,86,89,90,92,93,94,95,99,100,102,103,104,105,108,110],[38,104,106,107,108],[1,3,4,5,7,9,10,11,12,13,14,16,25,27,32,35,36,38,40,43,44,45,50,53,54,55,57,58,60,68,72,73,74,75,76,77,78,79,80,82,84,85,88,89,91,92,98,100,104,105,108,109,110],[27,100,101,104,109],[2,5,6,7,8,9,10,11,12,15,16,18,19,21,22,27,29,30,33,35,36,37,38,40,44,45,46,47,49,50,51,52,54,56,58,63,64,65,67,69,70,73,75,78,81,82,83,84,88,92,93,95,96,97,99,100,104,105,106,111],[1,2,3,6,10,13,19,21,22,29,32,33,34,35,36,43,45,46,49,51,52,53,55,59,60,62,63,64,69,70,72,73,75,76,77,81,82,83,89,91,93,94,96,97,99,102,103,104,105,106,107,108,110],[1,2,4,6,7,8,9,11,13,15,19,21,22,25,26,29,31,32,33,37,44,46,47,50,52,53,55,56,60,61,62,63,64,65,67,68,70,74,76,77,80,83,84,86,89,90,91,93,94,95,96,97,98,100,101,102,104,105,111],[0,2,5,6,7,8,9,10,14,15,16,19,22,27,28,29,31,33,35,40,41,44,46,47,49,50,51,52,53,55,56,58,59,63,64,70,71,72,74,78,80,81,83,84,87,89,92,93,96,97,99,100,102,103,104,106,107,110,111],[31,104,105,107,109],[1,2,3,5,9,10,12,13,16,18,23,25,27,30,31,32,35,36,38,40,41,43,44,45,47,50,54,55,56,58,59,60,61,62,67,68,69,73,74,77,78,84,86,87,88,91,94,100,101,103,109,111],[58,104,105,108,109],[26,104,106,108,109],[0,1,2,3,4,6,8,11,12,13,15,19,22,25,28,29,31,32,33,36,38,41,43,45,46,47,49,51,52,54,57,59,60,63,64,68,70,71,73,75,76,77,79,81,82,83,85,87,91,93,95,96,97,98,99,100,102,103,104,105,106,107,108,109,111],[0,2,4,7,12,13,21,23,28,36,37,38,45,47,54,55,57,62,65,71,73,74,75,76,79,85,86,92,94,95,98,100,101,102,104,105,106,108,109,111],[81,104,106,107,108,109],[25,104,105,106,107,108,109],[54,104,110],[2,3,5,6,10,11,13,15,19,21,22,23,25,31,34,35,36,41,42,43,45,46,52,55,59,62,65,68,69,72,74,76,77,81,82,83,86,89,90,91,92,94,95,96,97,101,105,106,109,110],[0,1,2,3,5,9,10,11,13,14,16,21,23,25,27,28,32,35,37,40,42,43,44,47,50,53,56,58,60,62,65,68,71,72,77,78,80,82,84,86,88,89,91,94,95,100,109,110,111],[0,1,3,6,7,8,12,13,14,15,18,19,22,23,25,28,29,30,32,33,36,38,43,45,46,49,51,52,53,54,60,62,63,64,67,68,69,70,71,72,73,77,81,83,86,89,91,92,93,94,96,97,99,100,101,104,105],[0,1,3,6,7,8,10,13,14,19,21,22,28,29,31,32,33,35,40,41,43,46,47,49,51,52,53,54,55,59,60,63,64,65,67,68,70,71,72,73,74,76,78,80,81,82,83,92,93,96,97,98,99,103,107,108,110],[1,3,6,7,8,11,13,15,19,21,22,23,25,29,31,32,37,41,43,46,49,51,52,55,59,60,62,63,64,65,68,70,74,77,81,82,83,86,87,91,92,93,94,95,96,97,99,100,101,102,103,104,107,110],[47,104,105,106,107,110],[4,5,6,8,9,10,12,14,15,19,21,22,23,27,29,31,33,35,36,37,38,40,41,44,45,46,49,50,51,52,53,54,56,57,58,59,62,63,64,65,70,72,73,75,76,78,79,80,81,83,84,85,86,87,88,89,93,94,95,96,97,98,99,100,101,102,103,104,105,107,108,109],[0,1,3,5,7,9,10,13,16,18,21,25,27,28,30,31,32,35,37,40,41,43,44,50,56,57,58,59,60,65,67,68,69,71,75,76,77,78,79,84,85,87,88,91,92,95,98,100,103,106,107,109],[0,4,5,6,8,9,10,11,15,16,18,19,22,23,27,28,29,30,33,35,40,44,46,49,50,51,52,55,56,57,58,62,63,67,69,70,71,74,75,76,78,79,81,82,83,84,85,86,88,93,94,96,97,98,99,100,101,104,108,109,110],[21,104,105,107,108,110],[1,2,3,4,6,8,13,14,15,18,19,21,22,25,29,30,32,33,37,43,46,47,49,51,52,53,55,57,59,60,63,64,65,67,68,69,70,72,74,75,76,77,79,80,81,83,85,89,91,93,95,96,97,98,99,100,101,102,107,110,111],[70,104,105,106,107,108,110],[48,104,109,110],[2,5,6,7,8,9,10,11,12,15,16,18,19,21,22,27,29,30,33,34,35,36,37,38,40,44,45,46,47,49,50,51,52,54,56,58,63,64,65,67,69,70,73,78,81,82,83,84,88,92,93,95,96,97,99,100,102,104,105,106,110,111],[3,4,5,7,9,10,11,12,13,17,20,25,27,28,29,32,34,36,38,39,40,43,45,46,50,52,53,54,56,57,59,60,64,65,66,68,73,74,75,76,78,79,80,81,82,86,88,91,94,95,97,98,99,100,102,103,104,105,106,107,108,110],[0,2,5,6,7,8,9,10,14,15,16,19,22,27,28,29,31,33,35,40,41,44,46,47,49,50,51,53,55,56,58,59,63,64,70,71,72,74,78,80,81,83,84,87,88,89,92,93,96,97,99,100,103,106,109,110,111],[1,2,3,5,9,10,12,13,16,18,23,25,27,30,31,32,35,36,38,40,41,43,44,45,47,50,54,55,56,58,59,60,62,67,68,69,73,74,77,78,83,84,86,87,88,91,94,100,101,102,103,109,111],[2,4,7,11,14,18,23,30,31,37,41,47,53,57,59,62,67,69,72,75,76,79,80,82,85,86,87,89,92,94,98,100,101,102,103,104,106,107,108,109,111],[4,5,6,8,9,10,12,14,15,16,19,21,22,23,24,27,29,31,33,35,36,37,38,40,41,44,45,46,49,50,51,52,53,54,56,57,58,59,62,63,64,65,70,72,73,75,76,78,79,80,81,83,84,85,86,87,88,89,93,94,95,96,97,98,99,100,102,103,107,109,110],[0,1,3,4,5,6,9,10,13,16,17,19,22,23,24,25,27,30,35,36,37,38,39,40,45,47,48,49,50,51,54,56,61,63,64,66,68,69,71,72,73,77,81,83,91,92,95,101,103,106,107,108,109],[87,104,105,106,108,109,110],[0,4,5,6,8,9,11,15,16,18,19,22,23,27,28,29,30,33,35,40,44,46,49,50,51,52,55,56,57,58,62,63,64,67,69,70,71,74,75,76,78,79,81,82,83,84,85,86,88,93,94,96,97,98,99,100,104,108,110],[0,2,3,4,8,11,13,16,18,21,23,24,25,27,28,29,33,34,36,40,42,44,48,52,53,56,58,59,65,68,70,71,72,77,78,79,82,86,88,89,91,94,95,101,102,104,106,109,110],[2,3,4,8,9,12,13,14,20,24,29,40,42,43,45,47,48,49,50,51,53,55,59,61,64,68,69,73,76,77,78,79,80,81,82,83,84,85,87,88,89,90,92,93,96,98,99,100,101,102,103,106,107],[97,100,103,104,111],[35,104,106,111],[2,4,17,20,21,28,32,39,43,44,45,46,48,51,55,58,62,63,65,66,70,71,81,83,85,86,92,94,95,100,103,105,106,108,109],[72,104,105,107,111],[0,1,3,6,7,8,12,13,14,15,18,19,22,23,25,28,29,30,32,33,36,38,43,45,46,49,51,52,53,54,60,62,63,64,67,68,69,70,71,72,73,77,78,80,81,83,86,89,91,92,93,94,96,97,99,103,105,109,111],[1,2,3,5,9,10,12,13,16,18,23,25,27,30,31,32,35,36,38,40,41,43,44,45,47,50,54,55,56,58,59,60,62,67,68,69,73,74,77,78,86,87,88,91,94,100,109,111],[2,4,7,11,14,18,23,30,31,41,47,53,57,59,62,67,72,75,76,79,80,82,85,86,87,89,92,94,98,100,106,107,110,111],[1,4,5,6,8,9,10,12,14,19,20,21,22,23,29,31,33,34,35,36,38,41,45,46,47,49,51,52,55,57,60,61,62,63,64,67,70,72,73,75,78,79,80,83,86,87,88,90,92,93,94,95,98,102,103,104,106],[0,1,2,3,4,6,8,11,12,13,15,19,22,25,28,29,31,32,33,38,41,43,45,46,47,49,51,52,54,57,59,60,63,64,68,70,71,73,75,76,77,79,81,82,83,85,87,91,93,96,97,98,99,100,101,102,107,111],[0,4,5,6,7,8,9,10,11,15,16,18,19,22,23,27,28,29,30,33,35,40,44,46,49,50,51,52,55,56,57,58,62,63,64,67,69,70,71,74,75,76,78,79,81,82,83,84,85,86,88,93,94,96,97,98,99,100,101,102,103,107,109],[1,3,4,7,10,11,13,14,16,17,18,21,23,28,30,31,32,39,40,41,43,44,45,46,47,48,49,50,54,57,58,59,60,61,63,65,66,67,68,69,70,71,72,73,75,78,79,83,84,85,87,88,92,95,96,100,101,105,106,108,109,111],[1,2,3,4,6,8,13,14,15,18,19,21,22,25,29,30,32,33,37,43,46,47,49,50,51,52,53,55,57,60,63,64,65,67,68,69,70,72,74,75,76,77,79,80,81,83,85,89,91,93,95,96,97,98,99,100,101,103,104,106,108,110],[18,100,101,103,104,109,111],[2,5,6,7,8,9,10,11,12,15,16,18,19,21,22,27,29,30,33,35,36,37,38,40,44,45,46,47,49,50,51,52,54,56,58,60,63,64,65,67,69,70,73,78,81,82,83,84,88,92,93,95,96,97,99,100,103,106,109,111],[0,1,2,3,5,9,10,11,13,14,16,21,23,25,27,28,32,35,37,40,43,44,47,49,50,53,56,58,60,62,65,68,71,72,77,78,80,82,84,86,88,89,91,94,95,100,101,102,103,109,110,111],[0,1,3,6,7,8,13,14,15,18,19,22,23,25,28,29,30,32,33,36,38,43,45,46,49,51,52,53,54,60,62,63,64,67,68,69,70,71,72,73,77,80,81,83,86,89,91,92,93,94,96,97,99,100,102,103,106,110],[79,104,107,109,111],[0,5,11,12,14,18,21,28,30,31,36,37,38,41,45,53,54,55,59,65,67,69,71,72,73,74,80,82,87,89,95,100,101,102,110],[0,1,3,6,7,11,12,13,14,16,19,22,23,28,29,30,32,33,34,36,37,40,43,45,46,47,49,51,52,55,57,59,60,63,64,65,68,70,72,73,74,75,76,77,78,80,81,83,85,86,93,94,96,97,99,100,102,103,105,106,107,108,109,110,111],[4,5,6,8,9,10,12,14,15,16,19,21,22,23,27,29,31,33,35,36,37,38,40,41,44,45,46,49,50,51,52,53,54,56,57,58,59,63,64,65,70,72,73,75,76,78,79,80,81,83,84,85,86,87,88,89,93,94,95,96,97,98,99,100,104,105,107,108,110,111],[77,104,106,108,109,111],[0,1,2,3,4,6,8,11,12,13,15,19,22,25,28,29,31,32,33,36,38,41,43,45,46,47,49,52,54,57,59,60,63,64,68,70,71,73,75,76,77,79,81,82,83,85,87,91,93,96,97,98,99,100,102,104,105,106,107,108,109],[14,104,105,107,108,109,111],[1,3,4,5,7,9,10,11,12,13,14,16,25,27,32,35,36,38,40,43,44,45,50,53,54,55,56,57,58,60,68,72,73,74,75,76,77,78,79,80,82,84,85,88,89,91,92,98,99,100,101,103,106,107,109,110],[0,2,3,6,7,11,12,14,19,21,23,24,28,30,36,37,38,47,48,49,50,51,53,54,55,57,61,62,64,65,66,69,71,73,74,80,81,82,84,86,89,93,95,101,107,108],[2,5,6,7,8,9,10,11,12,16,18,19,21,22,27,29,30,33,35,36,37,38,40,44,45,46,47,49,50,51,52,54,56,58,63,64,65,67,69,70,73,78,81,82,83,84,88,92,93,95,96,97,99,100,101,102,103,106,109,111],[0,1,3,5,8,9,13,14,15,16,18,19,22,23,24,27,28,29,30,36,38,44,48,49,51,52,53,56,57,58,60,62,63,64,66,67,69,71,74,76,80,81,82,83,86,91,92,93,94,96,97,98,99,103,104,106],[0,2,3,4,6,7,8,11,13,14,16,18,21,23,24,25,27,28,29,30,31,33,34,36,39,40,42,47,48,50,58,61,64,65,66,67,68,70,71,76,77,78,81,82,84,85,88,90,91,92,93,95,99,102,103,107,109,111],[73,104,105,107,110,111],[1,3,6,7,8,11,13,15,19,21,22,23,25,29,31,32,33,37,41,43,46,49,51,52,53,55,59,60,62,63,64,65,68,70,74,77,81,82,83,86,87,91,92,93,94,95,96,97,99,100,101,102,106],[0,6,7,9,11,14,19,23,24,26,28,30,32,36,37,38,39,41,42,43,44,46,47,48,51,55,56,57,58,59,60,63,64,66,67,69,70,75,76,79,81,87,88,98,99,102,103,105,106,107,110,111],[19,104,105,108,110,111],[46,104,106,108,110,111],[0,1,2,3,4,6,8,11,12,13,15,19,22,25,28,29,31,32,33,36,38,43,45,46,47,49,51,52,54,57,59,60,63,64,68,70,71,73,75,76,77,79,81,82,83,85,87,91,93,96,97,98,99,100,101,104,105,106,107,108,110],[0,4,5,6,8,9,10,11,15,16,18,19,22,23,27,28,29,30,33,35,40,44,46,49,50,51,52,55,56,57,58,62,63,64,67,68,69,70,71,74,75,76,78,79,81,82,83,84,85,86,88,93,94,96,97,98,99,100,101,103,104,108,109,110,111],[39,104,105,107,108,110,111],[0,1,2,7,11,12,13,14,16,19,23,25,26,28,29,32,36,37,38,39,41,45,46,47,51,54,55,57,58,59,63,64,68,70,73,74,75,76,77,79,81,85,94,98,99,100,101,102,103,104,105,108,110],[55,100,101,102,103],[2,5,6,8,9,10,11,12,15,16,21,22,23,26,27,29,31,33,35,36,37,38,39,40,43,45,46,48,49,50,53,54,56,57,58,65,66,70,73,75,76,78,79,80,82,83,85,87,88,92,93,95,96,97,98,100,101,102,105,106,108,109,111],[0,1,2,3,5,9,10,11,13,14,16,17,21,23,25,27,28,32,35,37,40,43,44,47,50,53,56,58,60,62,65,68,71,72,77,78,80,82,84,86,88,89,91,94,95,100,101,103,104,106],[0,1,3,6,7,8,12,13,14,15,18,19,22,23,25,28,29,30,32,33,36,38,43,45,46,49,51,52,53,54,60,62,63,64,67,68,69,70,71,72,73,77,80,81,82,83,86,89,91,92,93,94,96,97,99,100,103,104,105,109,111],[1,2,3,5,7,9,10,12,13,21,27,28,32,34,36,38,40,41,43,44,45,50,53,54,56,57,58,59,60,62,65,71,73,74,75,76,78,79,80,84,86,88,94,95,98,100,102,103,105,106,108,109],[0,11,12,14,18,21,28,30,31,36,37,38,41,45,53,54,55,59,65,66,67,69,71,72,73,74,80,82,87,89,95,100,101,104,105,107,109,111],[1,2,3,6,7,8,15,20,22,23,25,31,33,34,37,41,49,51,60,64,65,66,70,72,74,78,85,86,87,93,96,100,101,105,106,107,108,110,111],[0,2,6,7,8,9,13,14,16,18,19,21,23,25,26,27,28,29,30,33,34,36,39,40,41,42,44,48,50,51,52,53,57,58,62,63,64,65,67,68,69,70,71,72,76,77,78,79,81,82,87,88,89,91,92,94,95,98,99,101,103,104,105,106,110],[40,104,105,108,109,110,111],[98,104,106,108,109,110,111],[2,3,7,10,13,15,17,19,20,21,22,31,32,33,37,42,43,44,45,46,49,51,52,55,56,59,62,63,65,66,69,70,73,75,77,81,82,83,86,90,91,92,94,95,97,104,106],[0,4,5,8,9,10,11,15,16,18,19,22,23,27,28,29,30,33,35,40,44,46,49,50,51,52,55,56,57,58,62,63,64,67,69,70,71,74,75,76,78,79,81,82,83,84,85,86,88,93,94,96,97,98,99,100,103,107,109],[2,4,7,12,21,23,28,36,37,38,45,47,54,55,57,62,65,71,73,74,75,76,79,85,86,92,94,95,98,100,101,103,104,105,106,108,109,110],[1,2,3,4,6,8,13,14,15,18,19,21,22,25,29,30,32,33,37,43,46,47,49,51,52,53,55,57,60,63,64,65,68,69,70,72,74,75,76,77,79,80,81,83,85,89,91,93,95,96,97,98,99,100,102,103,107,110,111],[22,104,105,106,107,108,109,110,111],[45,104],[2,5,6,7,8,9,10,11,12,15,16,18,19,20,21,22,27,29,30,33,35,36,37,38,40,44,45,46,47,49,50,51,52,54,56,58,63,64,65,67,69,70,73,78,81,82,83,84,88,92,93,95,96,97,99,100,101,104,105,106,109,111],[0,11,12,14,18,21,28,30,31,36,37,38,41,45,53,54,55,59,65,67,69,71,72,73,74,80,82,85,87,89,95,101,104,105,106,107,109,111],[0,1,3,6,7,8,12,13,14,15,18,19,22,23,25,29,30,32,33,36,38,43,45,46,49,51,52,53,54,60,62,63,64,67,68,69,70,71,72,73,77,80,81,83,86,89,91,92,93,94,96,97,99,100,101,102,104,105,110],[94,104,107],[2,3,5,7,9,10,12,16,17,21,26,27,32,36,38,39,40,43,44,46,48,50,53,54,56,57,58,60,63,65,66,68,70,73,74,75,76,79,80,82,83,85,88,89,97,98,99,101,106,107,108,110,111],[1,2,3,5,9,10,12,13,16,18,23,25,27,30,31,32,35,36,38,40,41,43,44,45,47,50,54,55,56,58,59,60,62,67,68,69,73,74,77,78,84,86,87,88,94,100,103,104,105,106,107,109,111],[2,4,7,11,14,18,23,30,31,41,47,53,57,59,62,67,69,72,75,76,79,80,82,85,86,87,89,92,94,96,98,100,103,104,106,107,108,110,111],[4,5,6,8,9,10,12,14,15,16,19,21,22,23,27,29,31,33,35,36,37,38,40,41,44,45,46,49,50,51,52,53,54,56,58,59,62,63,64,65,70,72,73,75,76,78,79,80,81,83,84,85,86,87,88,89,93,94,95,96,97,98,99,100,101,103,104,105,107,108,109,110],[1,3,5,8,9,11,13,14,18,27,28,31,32,35,36,38,43,44,50,56,58,60,62,75,78,79,84,85,86,88,91,100,103,104,105,108],[0,1,2,4,6,8,11,12,13,15,19,22,25,28,29,31,32,33,36,38,41,43,45,46,47,49,51,52,54,57,59,60,63,64,68,70,71,73,75,76,77,79,81,82,83,85,87,91,93,96,97,98,99,100,101,102,103,107,111],[0,1,7,9,11,14,15,16,17,18,20,23,26,27,28,30,31,34,39,40,43,45,46,48,49,50,51,53,55,57,58,59,63,65,66,67,69,70,71,72,73,75,78,79,83,88,89,90,92,95,96,97,98,101,103,104,105,107,108,109,110],[0,2,4,7,12,21,23,28,30,36,37,38,45,47,54,55,57,62,65,71,73,74,75,76,79,85,86,92,94,95,98,100,102,106,107,111],[1,2,3,4,6,8,13,14,15,18,19,21,22,25,29,30,32,33,37,38,43,46,47,49,51,52,53,55,57,60,63,64,65,67,68,69,70,72,74,75,76,77,79,80,81,83,85,89,91,93,95,96,97,98,99,100,101,104,106,108,110,111],[56,104,105,106,107,108],[27,104,109],[75,104,105,109],[0,5,6,9,11,14,16,19,22,23,25,27,28,29,33,34,36,37,40,44,45,46,47,49,50,51,52,55,56,58,59,63,64,65,68,69,70,71,73,75,76,78,80,81,83,84,86,88,93,95,96,97,99,100,101,103,104,105,106,107,108,109,111],[0,2,3,4,9,11,12,14,18,21,23,26,28,30,31,36,37,38,43,44,45,47,49,50,51,54,55,56,61,65,69,71,72,73,74,76,81,84,90,92,95,98,99,101,104,105,106,110,111],[88,104,107,109],[0,11,12,14,18,21,28,30,36,37,38,41,45,53,54,55,59,65,67,69,71,72,73,74,80,82,87,89,95,100,101,102,103,104,105,107,109,110],[1,3,6,7,8,11,13,15,19,21,22,23,25,29,31,32,33,37,41,43,46,49,51,52,55,59,60,62,63,64,65,68,70,77,81,82,83,86,87,91,92,93,94,95,96,97,99,100,103,106],[2,4,7,14,18,23,30,31,41,47,53,57,59,62,67,69,72,75,76,79,80,82,85,86,87,89,92,94,98,100,101,103,106,107,110,111],[4,5,6,8,9,10,12,14,15,16,19,21,22,23,27,29,31,33,35,36,37,38,40,41,44,45,46,49,50,51,52,53,54,56,57,59,62,63,64,65,70,72,73,75,76,78,79,80,81,83,84,85,86,87,88,89,93,94,95,96,97,98,99,100,103,104,105,107,108,110],[0,1,3,4,5,7,9,10,13,16,18,21,25,26,27,28,30,31,32,35,37,40,41,43,44,50,56,57,58,59,60,65,67,68,69,71,75,76,77,78,79,84,85,87,88,91,92,95,98,100,101,102,103,104,107,108],[95,104,105,106,108,109],[0,4,5,6,8,9,10,11,15,16,18,19,22,23,27,28,29,30,33,35,40,44,46,49,50,51,52,55,56,57,58,62,63,64,67,69,70,71,74,75,76,78,79,81,82,83,84,85,88,93,94,96,97,98,99,100,102,107,109],[13,104,105,107,108,109],[1,2,3,4,6,8,13,14,15,18,19,21,22,25,29,30,32,33,37,43,46,47,49,51,52,53,55,57,60,63,64,65,67,68,69,70,72,74,75,76,77,79,80,83,85,89,91,93,95,96,97,98,99,100,104,106,108,109,110,111],[1,3,4,5,7,9,10,11,12,13,14,16,27,32,35,36,38,40,43,44,45,50,53,54,55,56,57,58,60,68,72,73,74,75,76,77,78,79,80,82,84,85,88,89,91,92,98,100,101,104,105,108,110],[54,100,102,104,110],[3,7,8,9,12,13,16,18,23,25,27,29,30,31,33,34,37,38,40,41,42,43,44,47,49,50,51,54,55,56,58,59,62,63,64,67,68,70,72,73,74,76,77,78,84,86,88,89,90,91,93,94,99,100,102,105,110,111],[80,104,105,106,110],[1,2,3,5,9,13,15,16,21,27,32,43,44,50,54,56,58,60,65,67,68,73,76,82,84,87,88,89,98,100,101,106,107,108,109,111],[0,11,12,14,18,21,28,30,31,36,37,38,41,45,53,54,55,59,65,67,69,71,72,73,74,80,82,87,89,93,95,100,103,110],[33,104,106,107,110],[1,2,3,5,9,10,12,13,16,18,23,25,27,30,31,32,35,36,38,40,41,43,44,45,50,54,55,56,58,59,60,62,67,68,69,73,74,77,78,84,86,87,88,91,94,100,102,103,104,105,106,107,109,110,111],[2,4,7,11,14,18,23,30,31,41,47,53,57,59,62,63,67,69,72,75,76,79,80,82,85,86,87,89,92,94,98,100,102,103,106,107,110,111],[16,104,105,108,110],[0,1,2,3,4,6,8,11,12,13,15,19,22,25,28,31,32,33,36,38,41,43,45,46,47,49,51,52,54,57,59,60,63,64,68,70,71,73,75,76,77,79,81,82,83,85,87,91,93,96,97,98,99,100,101,103,107,111],[64,104,107,108,110],[0,2,4,7,12,23,28,36,37,38,45,47,54,55,57,62,65,71,73,74,75,76,79,85,86,92,94,95,98,100,104,105,106,108,110,111],[1,3,4,5,7,9,10,11,12,13,14,16,25,27,32,35,36,38,40,43,44,45,50,53,54,55,56,57,58,60,68,70,72,73,74,75,76,77,78,79,80,82,84,85,88,89,91,92,98,100,102,104,105,108,109],[48,100,101,102,104,109,110],[34,104,105,109,110],[0,1,3,5,9,10,11,13,14,16,21,23,25,27,28,32,35,37,40,43,44,47,50,53,56,58,60,62,65,68,71,72,77,78,80,82,84,86,88,89,91,94,95,100,101,109,110,111],[0,1,4,5,6,8,9,10,11,14,15,17,18,19,20,22,23,27,30,33,34,39,40,49,50,51,56,57,59,62,63,65,66,67,69,70,71,72,74,75,76,77,78,79,82,83,88,89,92,93,95,96,98,102,103,104,105,107,108],[78,104,105,107,109,110],[1,3,6,7,8,11,13,15,19,21,22,23,25,29,31,32,33,37,41,43,46,49,51,52,55,59,60,62,63,64,65,68,70,74,77,81,82,83,86,87,89,91,92,93,94,95,96,97,99,100,102,103,106],[37,104,108,109,110],[6,7,17,18,19,21,22,23,24,28,31,32,36,38,39,41,43,44,45,47,48,49,51,54,57,58,59,60,61,63,64,65,66,67,72,73,75,76,78,79,81,83,84,85,87,88,98,100,108],[0,1,2,3,4,6,8,11,12,13,15,19,22,25,28,29,31,32,33,36,38,41,43,45,46,47,49,51,52,54,57,59,60,63,64,68,70,71,73,75,76,77,79,81,82,83,85,91,93,96,97,98,99,100,103,104,105,106,107,108,109,110,111],[10,104,107,108,109,110],[3,7,8,11,12,13,16,18,24,25,27,29,33,34,37,38,40,42,44,45,47,48,52,53,54,55,56,57,58,59,62,68,70,72,73,74,75,76,77,78,82,85,88,89,91,92,98,100,102,104,107,109,110,111],[1,6,9,12,15,18,19,20,21,22,24,25,30,32,33,37,40,42,45,46,48,50,52,57,59,60,61,63,65,67,70,72,73,74,75,78,82,84,87,88,90,91,92,95,97,101,103,106,110,111],[1,3,4,5,7,9,10,11,12,13,14,16,25,27,32,35,36,38,40,43,44,45,50,53,54,55,56,57,58,60,68,72,73,74,75,77,78,79,80,82,84,85,88,89,91,92,98,100,101,102,106,107,109,110],[97,104,111],[2,5,6,7,8,9,10,11,12,15,16,18,19,21,22,27,29,30,33,35,36,37,38,40,44,46,47,49,50,51,52,54,56,58,63,64,65,67,69,70,73,78,81,82,83,84,88,92,93,95,96,97,99,101,103,104,106,109,111],[0,1,2,3,5,9,10,11,13,14,16,21,23,25,27,28,32,37,40,43,44,47,50,53,56,58,60,62,65,68,71,72,77,78,80,82,84,86,88,89,91,94,95,100,102,103,104,106,109,110],[0,1,3,6,7,8,12,13,14,15,18,19,22,23,25,28,29,30,32,33,36,38,45,46,49,51,52,53,54,60,62,63,64,67,68,69,70,71,72,73,77,80,81,83,86,89,91,92,93,94,96,97,99,100,101,102,103,106,110],[0,4,5,6,7,8,9,10,14,15,16,17,19,20,21,22,27,29,31,32,33,35,39,40,41,43,45,47,48,49,50,52,53,56,59,62,64,65,66,72,74,78,80,84,85,86,87,88,89,93,94,95,96,97,99,101,102,103,105,108,110,111],[0,11,12,14,18,21,28,30,31,36,37,38,41,45,53,54,55,59,65,67,69,71,73,74,80,82,87,89,95,100,102,104,105,107,110,111],[0,11,12,14,18,21,28,30,31,36,37,38,41,45,53,54,55,59,65,67,69,71,72,73,74,78,80,82,87,89,95,100,101,103,105,106,109,111],[1,15,16,20,27,34,37,40,44,47,50,53,54,55,56,58,59,60,61,65,67,76,81,84,85,89,90,92,96,97,99,100,101,102,103,104,106,107,109,110],[0,1,3,4,5,7,10,13,16,18,21,25,27,28,30,31,32,35,37,40,41,43,44,50,56,57,58,59,60,65,67,68,69,71,75,76,77,78,79,84,85,87,88,91,92,95,98,100,102,106,107,109],[0,1,2,3,10,11,12,13,14,16,17,18,30,31,32,36,37,38,39,40,41,43,44,46,48,49,50,55,58,59,60,61,62,63,66,67,68,69,70,72,74,76,78,83,84,86,87,88,94,96,98,101,102,103,105,107,108,109],[50,104,106,107,108,111],[1,3,4,5,7,8,9,10,11,12,13,14,16,25,27,32,35,36,38,40,43,44,45,50,53,54,55,56,57,58,60,68,72,73,74,75,76,77,78,79,80,82,84,85,88,89,91,92,98,100,103,106,107,109,110],[18,104,109,111],[0,2,5,6,7,8,9,10,14,15,16,19,22,27,28,29,31,33,35,40,41,44,46,47,49,50,51,52,53,55,56,58,59,63,64,70,71,72,74,78,79,80,81,83,84,87,88,89,92,93,96,97,99,100,102,104,106,107,110],[1,3,6,7,8,11,13,15,19,21,22,23,25,29,31,32,33,37,41,43,46,49,51,52,55,59,60,62,63,64,65,68,70,74,77,81,82,83,86,87,90,91,92,93,94,95,96,97,99,100,106],[0,2,5,6,7,9,10,11,14,18,19,22,25,27,28,29,31,33,34,35,37,38,41,44,46,49,50,51,52,54,56,57,58,62,63,64,65,67,69,70,72,75,76,80,81,83,84,85,87,88,91,93,96,97,99,101,102,103,105,106,107,108,110],[1,2,4,7,11,14,18,23,30,31,41,47,53,57,59,62,67,69,72,75,76,79,80,82,85,86,87,89,92,94,98,100,101,106,107,110,111],[62,104,105,108,109,111],[0,1,3,4,5,7,9,10,13,16,18,21,25,27,28,30,31,32,35,37,40,41,43,44,50,56,57,58,59,60,65,67,68,69,71,75,76,78,79,84,85,87,88,91,92,95,98,100,101,102,104,107,108,111],[51,104,105,106,108,109,111],[0,4,5,6,8,9,10,11,15,16,18,19,22,23,27,28,29,30,32,33,35,40,44,46,49,50,51,52,55,56,57,58,62,63,64,67,69,70,71,74,75,76,78,79,81,82,83,84,85,86,88,93,94,96,97,98,99,100,102,103,107,109],[0,2,4,7,12,14,21,23,28,36,37,38,45,47,54,55,57,62,65,71,73,74,75,76,79,85,86,92,94,95,98,100,101,102,103,104,105,106,108,109],[1,2,3,4,6,8,13,14,15,18,19,21,22,25,29,30,32,33,37,43,46,47,49,51,52,53,55,57,60,63,64,65,67,68,69,70,71,72,74,75,76,77,79,80,81,83,85,89,91,93,95,96,97,98,99,100,103,107,110,111],[0,2,3,6,7,11,12,14,19,21,23,24,28,30,36,37,38,47,48,49,50,51,53,54,55,57,61,62,64,65,66,69,71,73,74,80,81,82,84,86,89,93,95,100,101,102,103,107,108],[0,1,2,3,5,9,10,11,13,14,16,21,25,27,28,32,35,37,40,43,44,47,50,53,56,58,60,62,65,68,71,72,77,78,80,82,84,86,88,89,91,94,95,100,103,109,110,111],[5,6,7,9,12,16,24,25,27,32,33,43,44,45,46,48,54,56,57,58,66,68,70,72,73,74,76,77,82,89,98,100,101,104,110],[3,4,5,9,10,11,13,15,18,19,21,22,23,24,25,30,34,35,36,39,41,42,44,46,48,49,51,52,53,55,56,59,61,63,65,66,67,68,72,74,76,77,80,82,83,85,87,89,90,91,95,96,97,100,101,102,103,106,107,110],[0,11,12,14,18,21,28,30,31,36,37,38,41,45,53,54,55,59,65,67,69,71,72,74,80,82,87,89,95,100,104,105,107,111],[0,1,2,3,5,6,7,10,11,12,13,14,16,18,19,24,25,26,27,28,31,35,37,39,40,42,45,46,48,50,51,54,57,62,63,64,66,68,70,73,74,75,76,77,78,79,81,84,86,91,94,98,99,100,103,105,106,107,109,110],[2,4,7,11,14,18,23,30,31,41,47,53,57,59,62,65,67,69,72,75,76,79,80,82,85,86,87,89,92,94,98,100,102,106,107,110,111],[4,5,6,8,9,10,12,14,15,16,21,22,23,27,29,31,33,35,36,37,38,40,41,44,45,46,49,50,51,52,53,54,56,57,58,59,62,63,64,65,70,72,73,75,76,78,79,80,81,83,84,85,86,87,88,89,93,94,95,96,97,98,99,100,101,102,104,105,107,108,109,111],[0,1,3,4,5,7,9,10,13,16,18,21,25,27,28,30,31,32,35,37,40,41,43,44,46,50,56,57,58,59,60,65,67,68,69,71,75,76,77,78,79,84,85,87,88,91,92,95,98,100,104,107,108,109,110,111],[41,104,105,106,108,110,111],[68,104,107,108,110,111],[0,2,4,7,12,21,23,28,36,37,38,39,45,47,54,55,57,62,65,71,73,74,75,76,79,85,86,92,94,95,98,100,103,104,105,106,108,110],[0,3,4,6,7,8,11,12,15,16,18,21,22,23,26,28,30,33,36,38,39,41,43,45,49,52,53,54,58,59,60,65,67,69,72,73,80,83,89,91,93,94,95,96,97,104,105,107,108,111],[1,3,4,5,7,9,10,11,12,13,14,16,25,27,32,35,36,38,40,43,44,45,50,53,54,55,56,57,58,60,68,72,73,74,75,76,77,78,79,80,82,84,85,88,89,91,98,100,102,103,106,107,109,110],[7,18,19,23,26,30,31,39,43,44,47,48,51,52,53,57,63,64,66,67,69,75,76,79,80,81,84,85,87,98,99,101,103,105,108],[17,104,106,109,110,111],[82,104,105,106,109,110,111],[0,1,3,6,8,12,13,14,15,16,19,21,22,29,31,32,33,34,35,36,38,43,45,46,47,49,51,52,54,55,57,60,62,63,64,65,70,72,73,75,76,79,81,83,86,87,89,92,93,94,95,96,97,98,99,102,103,105,108,110,111],[66,104,105,107,109,110,111],[2,11,13,19,20,21,29,32,34,43,46,52,55,59,62,63,66,68,72,77,78,81,82,83,85,91,92,94,95,97,99,101,102,105,107,108,110,111],[85,104,105,106,107,109,110,111],[0,4,6,8,9,11,13,16,19,21,25,26,27,28,29,31,33,34,36,39,40,42,44,47,48,50,51,52,58,59,63,64,65,68,70,71,75,77,78,80,81,85,86,88,91,95,99,100,102,103,104,105,107,111],[4,5,6,8,9,10,12,14,15,16,19,21,22,23,27,29,31,33,35,36,37,38,41,44,45,46,49,50,51,52,53,54,56,57,58,59,62,63,64,65,70,72,73,75,76,78,79,80,81,83,84,85,86,87,88,89,93,94,95,96,97,98,99,100,102,104,105,107,108,111],[0,1,3,4,5,7,9,10,13,16,18,21,25,27,28,30,31,32,35,37,40,41,43,44,50,56,57,58,59,60,65,67,68,69,71,75,76,77,78,79,84,85,87,88,91,92,95,100,101,104,107,108,110,111],[0,1,4,6,7,8,10,11,12,17,20,21,25,28,29,36,37,38,41,42,44,47,54,55,56,57,60,62,64,65,66,68,69,71,76,79,85,86,87,90,92,93,94,95,96,98,99,100,104,106,107,111],[0,104,105,107,108,109,110,111],[1,3,4,5,7,9,10,11,12,13,14,16,22,25,27,32,35,36,38,40,43,44,45,50,53,54,55,56,57,58,60,68,72,73,74,75,76,77,78,79,80,82,84,85,88,89,91,92,98,100,101,102,103,104,105,108,111],[45,100],[1,2,3,5,9,10,12,13,16,18,23,25,27,30,31,32,35,36,38,40,41,43,44,45,47,50,54,55,56,58,59,60,62,67,68,69,73,74,77,78,84,85,86,87,88,91,94,100,101,102,105,107,110],[0,2,5,6,7,8,9,10,14,15,16,19,22,27,28,29,31,33,35,40,41,44,46,47,49,50,51,52,53,55,56,58,59,63,64,70,71,72,74,78,80,81,83,84,87,88,89,92,93,94,96,97,99,100,101,102,103,106,109,110,111],[0,2,3,5,7,9,10,11,14,16,17,18,26,27,28,30,31,32,37,39,40,41,43,44,45,46,48,50,55,56,57,58,59,60,63,66,67,68,69,70,71,72,75,76,79,83,85,87,88,95,97,98,99,100,101,102,103,104,105,106,108,111],[1,3,6,7,8,11,13,15,19,21,22,23,25,29,31,32,33,37,41,43,44,46,49,51,52,55,59,60,62,63,64,65,68,70,74,77,81,82,83,86,87,91,92,93,94,95,96,97,99,100,101,103,104,107],[0,4,7,8,10,11,14,16,21,25,30,36,37,38,40,41,57,59,62,65,67,68,69,71,76,77,86,87,92,95,98,102,105,107,109],[3,104,105,106,108],[1,4,5,6,7,8,10,14,17,19,20,22,26,29,31,33,34,35,39,43,44,45,48,52,53,56,59,62,64,65,66,72,73,74,76,81,82,84,85,86,89,90,92,93,94,95,99,100,102,103,105,107,110],[30,104,105,107,108],[1,3,4,5,7,9,10,11,12,13,14,16,25,27,32,35,36,38,40,43,44,45,50,53,54,55,57,58,60,68,72,73,74,75,76,77,78,79,80,82,84,85,88,89,91,92,98,100,106,107,109,110],[27,100,101],[2,5,6,7,8,9,10,11,12,15,16,18,19,21,22,27,29,30,33,35,36,37,38,40,44,45,46,47,49,50,51,52,54,56,58,63,64,65,67,69,70,73,75,78,81,82,83,84,88,92,93,95,96,97,99,100,106,109,111],[1,2,3,6,10,13,19,21,22,29,32,33,34,35,36,43,45,46,49,51,52,53,55,59,60,62,63,64,69,70,72,73,75,76,77,81,82,83,89,91,93,94,96,97,99,102,103,105,107,108,109,110],[1,2,4,6,7,8,9,11,13,15,19,21,22,25,26,29,31,32,33,37,44,46,47,50,52,53,55,56,60,61,62,63,64,65,67,68,70,74,76,77,80,83,84,86,89,90,91,93,94,95,96,97,98,100,101,102,106,109,111],[0,2,5,6,7,8,9,10,14,15,16,19,22,27,28,29,31,33,35,40,41,44,46,47,49,50,51,52,53,55,56,58,59,63,64,70,71,72,74,78,80,81,83,84,87,89,92,93,96,97,99,100,102,103,106,109,110,111],[74,104,106,107,109],[1,2,3,5,9,10,12,13,16,18,23,25,27,30,31,32,35,36,38,40,41,43,44,45,47,50,54,55,56,58,59,60,61,62,67,68,69,73,74,77,78,84,86,87,88,91,94,100,101,103,104,105,106,107,111],[11,104,108,109],[0,1,2,3,4,6,8,11,12,13,15,19,22,25,28,29,31,32,33,36,38,41,43,45,46,47,49,51,52,54,57,59,60,63,64,68,70,71,73,75,76,77,79,81,82,83,85,87,91,93,95,96,97,98,99,100,102,103,107,111],[86,104,107,108,109],[0,2,4,7,12,13,21,23,28,36,37,38,45,47,54,55,57,62,65,71,73,74,75,76,79,85,86,92,94,95,98,100,101,102,106,107,111],[2,3,5,6,10,11,13,15,19,21,22,23,25,31,34,35,36,41,42,43,45,46,52,55,59,62,65,68,69,72,74,76,77,81,82,83,86,89,90,91,92,94,95,96,97,101,104,106,109],[0,1,2,3,5,9,10,11,13,14,16,21,23,25,27,28,32,35,37,40,42,43,44,47,50,53,56,58,60,62,65,68,71,72,77,78,80,82,84,86,88,89,91,94,95,100,104,106,109,111],[0,1,3,6,7,8,12,13,14,15,18,19,22,23,25,28,29,30,32,33,36,38,43,45,46,49,51,52,53,54,60,62,63,64,67,68,69,70,71,72,73,77,81,83,86,89,91,92,93,94,96,97,99,100,101,106,110],[0,1,3,6,7,8,10,13,14,19,21,22,28,29,31,32,33,35,40,41,43,46,47,49,51,52,53,54,55,59,60,63,64,65,67,68,70,71,72,73,74,76,78,80,81,82,83,92,93,96,97,98,99,103,104,108],[93,104,105,107,110],[1,3,6,7,8,11,13,15,19,21,22,23,25,29,31,32,37,41,43,46,49,51,52,55,59,60,62,63,64,65,68,70,74,77,81,82,83,86,87,91,92,93,94,95,96,97,99,100,101,102,103,106],[63,104,108,110],[4,5,6,8,9,10,12,14,15,19,21,22,23,27,29,31,33,35,36,37,38,40,41,44,45,46,49,50,51,52,53,54,56,57,58,59,62,63,64,65,70,72,73,75,76,78,79,80,81,83,84,85,86,87,88,89,93,94,95,96,97,98,99,100,101,102,103,107,109,110],[0,1,3,5,7,9,10,13,16,18,21,25,27,28,30,31,32,35,37,40,41,43,44,50,56,57,58,59,60,65,67,68,69,71,75,76,77,78,79,84,85,87,88,91,92,95,98,100,103,104,107,108,109,110],[29,104,105,106,108,110],[0,4,5,6,8,9,10,11,15,16,18,19,22,23,27,28,29,30,33,35,40,44,46,49,50,51,52,55,56,57,58,62,63,67,69,70,71,74,75,76,78,79,81,82,83,84,85,86,88,93,94,96,97,98,99,100,101,107,109],[1,2,3,4,6,8,13,14,15,18,19,21,22,25,29,30,32,33,37,43,46,47,49,51,52,53,55,57,59,60,63,64,65,67,68,69,70,72,74,75,76,77,79,80,81,83,85,89,91,93,95,96,97,98,99,100,101,102,104,106,108,111],[2,5,6,7,8,9,10,11,12,15,16,18,19,21,22,27,29,30,33,34,35,36,37,38,40,44,45,46,47,49,50,51,52,54,56,58,63,64,65,67,69,70,73,78,81,82,83,84,88,92,93,95,96,97,99,100,102,106,109,111],[2,104,106,109,110],[3,4,5,7,9,10,11,12,13,17,20,25,27,28,29,32,34,36,38,39,40,43,45,46,50,52,53,54,56,57,59,60,64,65,66,68,73,74,75,76,78,79,80,81,82,86,88,91,94,95,97,98,99,100,102,103,107,108,109],[0,2,5,6,7,8,9,10,14,15,16,19,22,27,28,29,31,33,35,40,41,44,46,47,49,50,51,53,55,56,58,59,63,64,70,71,72,74,78,80,81,83,84,87,88,89,92,93,96,97,99,100,103,104,106,107,111],[0,11,12,14,18,21,28,30,31,36,37,38,41,45,53,54,55,59,65,67,69,71,72,73,74,78,80,82,87,89,95,100,101,103,110],[89,104,106,107,109,110],[1,2,3,5,9,10,12,13,16,18,23,25,27,30,31,32,35,36,38,40,41,43,44,45,47,50,54,55,56,58,59,60,62,67,68,69,73,74,77,78,83,84,86,87,88,91,94,100,101,102,103,104,105,106,107,110,111],[2,4,7,11,14,18,23,30,31,37,41,47,53,57,59,62,67,69,72,75,76,79,80,82,85,86,87,89,92,94,98,100,101,102,103,106,107,110,111],[4,5,6,8,9,10,12,14,15,16,19,21,22,23,24,27,29,31,33,35,36,37,38,40,41,44,45,46,49,50,51,52,53,54,56,57,58,59,62,63,64,65,70,72,73,75,76,78,79,80,81,83,84,85,86,87,88,89,93,94,95,96,97,98,99,100,102,103,104,105,107,108],[0,1,3,4,5,6,9,10,13,16,17,19,22,23,24,25,27,30,35,36,37,38,39,40,45,47,48,49,50,51,54,56,61,63,64,66,68,69,71,72,73,77,81,83,91,92,95,101,103,104,107,110],[0,4,5,6,8,9,11,15,16,18,19,22,23,27,28,29,30,33,35,40,44,46,49,50,51,52,55,56,57,58,62,63,64,67,69,70,71,74,75,76,78,79,81,82,83,84,85,86,88,93,94,96,97,98,99,100,107,109],[0,2,3,4,8,11,13,16,18,21,23,24,25,27,28,29,33,34,36,40,42,44,48,52,53,56,58,59,65,68,70,71,72,77,78,79,82,86,88,89,91,94,95,101,102,105,106,107,108],[2,3,4,8,9,12,13,14,20,24,29,40,42,43,45,47,48,49,50,51,53,55,59,61,64,68,69,73,76,77,78,79,80,81,82,83,84,85,87,88,89,90,92,93,96,98,99,100,101,102,103,104,108,109,110],[76,104,105,106,107,108,109,110],[97,100,103],[45,100,105,111],[43,104,105,106,111],[2,4,17,20,21,28,32,39,43,44,45,46,48,51,55,58,62,63,65,66,70,71,81,83,85,86,92,94,95,100,103,104,105,106,107,108,109,111],[0,1,3,6,7,8,12,13,14,15,18,19,22,23,25,28,29,30,32,33,36,38,43,45,46,49,51,52,53,54,60,62,63,64,67,68,69,70,71,72,73,77,78,80,81,83,86,89,91,92,93,94,96,97,99,103,104,105,106,107,109],[1,2,3,5,9,10,12,13,16,18,23,25,27,30,31,32,35,36,38,40,41,43,44,45,47,50,54,55,56,58,59,60,62,67,68,69,73,74,77,78,86,87,88,91,94,100,104,105,106,107,109],[2,4,7,11,14,18,23,30,31,41,47,53,57,59,62,67,72,75,76,79,80,82,85,86,87,89,92,94,98,100,104,106,107,108,110],[1,4,5,6,8,9,10,12,14,19,20,21,22,23,29,31,33,34,35,36,38,41,45,46,47,49,51,52,55,57,60,61,62,63,64,67,70,72,73,75,78,79,80,83,86,87,88,90,92,93,94,95,98,102,103,105,106,108,111],[9,104,106,108,111],[0,1,2,3,4,6,8,11,12,13,15,19,22,25,28,29,31,32,33,38,41,43,45,46,47,49,51,52,54,57,59,60,63,64,68,70,71,73,75,76,77,79,81,82,83,85,87,91,93,96,97,98,99,100,101,102,104,105,106,107,108],[0,4,5,6,7,8,9,10,11,15,16,18,19,22,23,27,28,29,30,33,35,40,44,46,49,50,51,52,55,56,57,58,62,63,64,67,69,70,71,74,75,76,78,79,81,82,83,84,85,86,88,93,94,96,97,98,99,100,101,102,103,104,108,109,111],[1,3,4,7,10,11,13,14,16,17,18,21,23,28,30,31,32,39,40,41,43,44,45,46,47,48,49,50,54,57,58,59,60,61,63,65,66,67,68,69,70,71,72,73,75,78,79,83,84,85,87,88,92,95,96,100,101,104,106,107,109],[1,2,3,4,6,8,13,14,15,18,19,21,22,25,29,30,32,33,37,43,46,47,49,50,51,52,53,55,57,60,63,64,65,67,68,69,70,72,74,75,76,77,79,80,81,83,85,89,91,93,95,96,97,98,99,100,101,103,107,110,111],[8,104,105,106,107,108,111],[18,100,101,103],[2,5,6,7,8,9,10,11,12,15,16,18,19,21,22,27,29,30,33,35,36,37,38,40,44,45,46,47,49,50,51,52,54,56,58,60,63,64,65,67,69,70,73,78,81,82,83,84,88,92,93,95,96,97,99,100,103,104,105,106],[0,1,2,3,5,9,10,11,13,14,16,21,23,25,27,28,32,35,37,40,43,44,47,49,50,53,56,58,60,62,65,68,71,72,77,78,80,82,84,86,88,89,91,94,95,100,101,102,103,104,106,110],[0,1,3,6,7,8,13,14,15,18,19,22,23,25,28,29,30,32,33,36,38,43,45,46,49,51,52,53,54,60,62,63,64,67,68,69,70,71,72,73,77,80,81,83,86,89,91,92,93,94,96,97,99,100,102,103,104,105,109,110,111],[0,5,11,12,14,18,21,28,30,31,36,37,38,41,45,53,54,55,59,65,67,69,71,72,73,74,80,82,87,89,95,100,101,102,104,105,107,109,110,111],[90,104,106,107,109,111],[0,1,3,6,7,11,12,13,14,16,19,22,23,28,29,30,32,33,34,36,37,40,43,45,46,47,49,51,52,55,57,59,60,63,64,65,68,70,72,73,74,75,76,77,78,80,81,83,85,86,93,94,96,97,99,100,102,103,104,108,110],[1,104,108,109,111],[4,5,6,8,9,10,12,14,15,16,19,21,22,23,27,29,31,33,35,36,37,38,40,41,44,45,46,49,50,51,52,53,54,56,57,58,59,63,64,65,70,72,73,75,76,78,79,80,81,83,84,85,86,87,88,89,93,94,95,96,97,98,99,100,107,109,110],[0,1,2,3,4,6,8,11,12,13,15,19,22,25,28,29,31,32,33,36,38,41,43,45,46,47,49,52,54,57,59,60,63,64,68,70,71,73,75,76,77,79,81,82,83,85,87,91,93,96,97,98,99,100,102,107,111],[32,104,107,108,109,111],[71,104,106,107,108,109,111],[1,3,4,5,7,9,10,11,12,13,14,16,25,27,32,35,36,38,40,43,44,45,50,53,54,55,56,57,58,60,68,72,73,74,75,76,77,78,79,80,82,84,85,88,89,91,92,98,99,100,101,103,104,105,108,110,111],[0,2,3,6,7,11,12,14,19,21,23,24,28,30,36,37,38,47,48,49,50,51,53,54,55,57,61,62,64,65,66,69,71,73,74,80,81,82,84,86,89,93,95,101,104,107,108,110,111],[2,5,6,7,8,9,10,11,12,16,18,19,21,22,27,29,30,33,35,36,37,38,40,44,45,46,47,49,50,51,52,54,56,58,63,64,65,67,69,70,73,78,81,82,83,84,88,92,93,95,96,97,99,100,101,102,103,104,105,106,109,110],[23,104,106,110,111],[0,1,3,5,8,9,13,14,15,16,18,19,22,23,24,27,28,29,30,36,38,44,48,49,51,52,53,56,57,58,60,62,63,64,66,67,69,71,74,76,80,81,82,83,86,91,92,93,94,96,97,98,99,103,105,110,111],[0,2,3,4,6,7,8,11,13,14,16,18,21,23,24,25,27,28,29,30,31,33,34,36,39,40,42,47,48,50,58,61,64,65,66,67,68,70,71,76,77,78,81,82,84,85,88,90,91,92,93,95,99,102,103,104,109,110],[1,3,6,7,8,11,13,15,19,21,22,23,25,29,31,32,33,37,41,43,46,49,51,52,53,55,59,60,62,63,64,65,68,70,74,77,81,82,83,86,87,91,92,93,94,95,96,97,99,100,101,102,104,107,110,111],[0,6,7,9,11,14,19,23,24,26,28,30,32,36,37,38,39,41,42,43,44,46,47,48,51,55,56,57,58,59,60,63,64,66,67,69,70,75,76,79,81,87,88,98,99,102,103,104],[65,104,108,110,111],[0,1,2,3,4,6,8,11,12,13,15,19,22,25,28,29,31,32,33,36,38,43,45,46,47,49,51,52,54,57,59,60,63,64,68,70,71,73,75,76,77,79,81,82,83,85,87,91,93,96,97,98,99,100,101,107,111],[0,4,5,6,8,9,10,11,15,16,18,19,22,23,27,28,29,30,33,35,40,44,46,49,50,51,52,55,56,57,58,62,63,64,67,68,69,70,71,74,75,76,78,79,81,82,83,84,85,86,88,93,94,96,97,98,99,100,101,103,107,109],[0,1,2,7,11,12,13,14,16,19,23,25,26,28,29,32,36,37,38,39,41,45,46,47,51,54,55,57,58,59,63,64,68,70,73,74,75,76,77,79,81,85,94,98,99,100,101,102,103,105,106,107,111],[92,104,105,106,107,108,110,111],[55,100,101,102,103,104,109,110,111],[2,5,6,8,9,10,11,12,15,16,21,22,23,26,27,29,31,33,35,36,37,38,39,40,43,45,46,48,49,50,53,54,56,57,58,65,66,70,73,75,76,78,79,80,82,83,85,87,88,92,93,95,96,97,98,100,101,102,104,106,108,110],[0,1,2,3,5,9,10,11,13,14,16,17,21,23,25,27,28,32,35,37,40,43,44,47,50,53,56,58,60,62,65,68,71,72,77,78,80,82,84,86,88,89,91,94,95,100,101,103,109,110,111],[0,1,3,6,7,8,12,13,14,15,18,19,22,23,25,28,29,30,32,33,36,38,43,45,46,49,51,52,53,54,60,62,63,64,67,68,69,70,71,72,73,77,80,81,82,83,86,89,91,92,93,94,96,97,99,100,103,106,110],[1,2,3,5,7,9,10,12,13,21,27,28,32,34,36,38,40,41,43,44,45,50,53,54,56,57,58,59,60,62,65,71,73,74,75,76,78,79,80,84,86,88,94,95,98,100,102,103,104,105,106,107,108,110,111],[0,11,12,14,18,21,28,30,31,36,37,38,41,45,53,54,55,59,65,66,67,69,71,72,73,74,80,82,87,89,95,100,101,110],[1,2,3,6,7,8,15,20,22,23,25,31,33,34,37,41,49,51,60,64,65,66,70,72,74,78,85,86,87,93,96,100,101,104,105,108,109],[1,2,3,5,9,10,12,13,16,18,23,25,27,30,31,32,35,36,38,40,41,43,44,45,47,50,54,55,56,58,59,60,62,67,68,69,73,74,77,78,84,85,86,87,88,91,94,100,101,102,109,111],[0,2,6,7,8,9,13,14,16,18,19,21,23,25,26,27,28,29,30,33,34,36,39,40,41,42,44,48,50,51,52,53,57,58,62,63,64,65,67,68,69,70,71,72,76,77,78,79,81,82,87,88,89,91,92,94,95,98,99,101,103,105,106,108,109,111],[2,3,7,10,13,15,17,19,20,21,22,31,32,33,37,42,43,44,45,46,49,51,52,55,56,59,62,63,65,66,69,70,73,75,77,81,82,83,86,90,91,92,94,95,97,105,108,109,110,111],[0,4,5,8,9,10,11,15,16,18,19,22,23,27,28,29,30,33,35,40,44,46,49,50,51,52,55,56,57,58,62,63,64,67,69,70,71,74,75,76,78,79,81,82,83,84,85,86,88,93,94,96,97,98,99,100,103,104,108,110,111],[2,4,7,12,21,23,28,36,37,38,45,47,54,55,57,62,65,71,73,74,75,76,79,85,86,92,94,95,98,100,101,103,106,107,111],[1,2,3,4,6,8,13,14,15,18,19,21,22,25,29,30,32,33,37,43,46,47,49,51,52,53,55,57,60,63,64,65,68,69,70,72,74,75,76,77,79,80,81,83,85,89,91,93,95,96,97,98,99,100,102,103,104,106,108,109],[2,5,6,7,8,9,10,11,12,15,16,18,19,20,21,22,27,29,30,33,35,36,37,38,40,44,45,46,47,49,50,51,52,54,56,58,63,64,65,67,69,70,73,78,81,82,83,84,88,92,93,95,96,97,99,100,101,106,109,111],[0,11,12,14,18,21,28,30,31,36,37,38,41,45,53,54,55,59,65,67,69,71,72,73,74,80,82,85,87,89,95,101,105,107,109,111],[0,1,3,6,7,8,12,13,14,15,18,19,22,23,25,29,30,32,33,36,38,43,45,46,49,51,52,53,54,60,62,63,64,67,68,69,70,71,72,73,77,80,81,83,86,89,91,92,93,94,96,97,99,100,101,102,106,110],[2,3,5,7,9,10,12,16,17,21,26,27,32,36,38,39,40,43,44,46,48,50,53,54,56,57,58,60,63,65,66,68,70,73,74,75,76,79,80,82,83,85,88,89,97,98,99,101,104,105,106,108,110,111],[44,104,106,107],[1,2,3,5,9,10,12,13,16,18,23,25,27,30,31,32,35,36,38,40,41,43,44,45,47,50,54,55,56,58,59,60,62,67,68,69,73,74,77,78,84,86,87,88,94,100,103,109,111],[2,4,7,11,14,18,23,30,31,41,47,53,57,59,62,67,69,72,75,76,79,80,82,85,86,87,89,92,94,96,98,100,103,106,107,110,111],[4,5,6,8,9,10,12,14,15,16,19,21,22,23,27,29,31,33,35,36,37,38,40,41,44,45,46,49,50,51,52,53,54,56,58,59,62,63,64,65,70,72,73,75,76,78,79,80,81,83,84,85,86,87,88,89,93,94,95,96,97,98,99,100,101,103,107,109,110],[1,3,5,8,9,11,13,14,18,27,28,31,32,35,36,38,43,44,50,56,58,60,62,75,78,79,84,85,86,88,91,100,103,105,106],[0,1,2,4,6,8,11,12,13,15,19,22,25,28,29,31,32,33,36,38,41,43,45,46,47,49,51,52,54,57,59,60,63,64,68,70,71,73,75,76,77,79,81,82,83,85,87,91,93,96,97,98,99,100,101,102,103,104,105,106,107,108,111],[0,1,7,9,11,14,15,16,17,18,20,23,26,27,28,30,31,34,39,40,43,45,46,48,49,50,51,53,55,57,58,59,63,65,66,67,69,70,71,72,73,75,78,79,83,88,89,90,92,95,96,97,98,101,103,105,109,110],[0,2,4,7,12,21,23,28,30,36,37,38,45,47,54,55,57,62,65,71,73,74,75,76,79,85,86,92,94,95,98,100,102,104,105,106,108,111],[1,2,3,4,6,8,13,14,15,18,19,21,22,25,29,30,32,33,37,38,43,46,47,49,51,52,53,55,57,60,63,64,65,67,68,69,70,72,74,75,76,77,79,80,81,83,85,89,91,93,95,96,97,98,99,100,101,107,110,111],[0,5,6,9,11,14,16,19,22,23,25,27,28,29,33,34,36,37,40,44,45,46,47,49,50,51,52,55,56,58,59,63,64,65,68,69,70,71,73,75,76,78,80,81,83,84,86,88,93,95,96,97,99,100,101,103,105,107,108,111],[0,2,3,4,9,11,12,14,18,21,23,26,28,30,31,36,37,38,43,44,45,47,49,50,51,54,55,56,61,65,69,71,72,73,74,76,81,84,90,92,95,98,99,101,109,110,111],[0,11,12,14,18,21,28,30,36,37,38,41,45,53,54,55,59,65,67,69,71,72,73,74,80,82,87,89,95,100,101,102,103,110],[1,3,6,7,8,11,13,15,19,21,22,23,25,29,31,32,33,37,41,43,46,49,51,52,55,59,60,62,63,64,65,68,70,77,81,82,83,86,87,91,92,93,94,95,96,97,99,100,103,104,107,109],[61,104,105,106,107,109],[2,4,7,14,18,23,30,31,41,47,53,57,59,62,67,69,72,75,76,79,80,82,85,86,87,89,92,94,98,100,101,103,104,106,107,108,109,110,111],[4,5,6,8,9,10,12,14,15,16,19,21,22,23,27,29,31,33,35,36,37,38,40,41,44,45,46,49,50,51,52,53,54,56,57,59,62,63,64,65,70,72,73,75,76,78,79,80,81,83,84,85,86,87,88,89,93,94,95,96,97,98,99,100,103,107,109,110],[0,1,3,4,5,7,9,10,13,16,18,21,25,26,27,28,30,31,32,35,37,40,41,43,44,50,56,57,58,59,60,65,67,68,69,71,75,76,77,78,79,84,85,87,88,91,92,95,98,100,101,102,103,106,107,109],[0,4,5,6,8,9,10,11,15,16,18,19,22,23,27,28,29,30,33,35,40,44,46,49,50,51,52,55,56,57,58,62,63,64,67,69,70,71,74,75,76,78,79,81,82,83,84,85,88,93,94,96,97,98,99,100,102,104,108],[1,2,3,4,6,8,13,14,15,18,19,21,22,25,29,30,32,33,37,43,46,47,49,51,52,53,55,57,60,63,64,65,67,68,69,70,72,74,75,76,77,79,80,83,85,89,91,93,95,96,97,98,99,100,107,110,111],[1,3,4,5,7,9,10,11,12,13,14,16,27,32,35,36,38,40,43,44,45,50,53,54,55,56,57,58,60,68,72,73,74,75,76,77,78,79,80,82,84,85,88,89,91,92,98,100,101,106,107,109,110],[54,100,102],[3,7,8,9,12,13,16,18,23,25,27,29,30,31,33,34,37,38,40,41,42,43,44,47,49,50,51,54,55,56,58,59,62,63,64,67,68,70,72,73,74,76,77,78,84,86,88,89,90,91,93,94,99,100,102,104,111],[42,104,106,110],[1,2,3,5,9,13,15,16,21,27,32,43,44,50,54,56,58,60,65,67,68,73,76,82,84,87,88,89,98,100,101,104,106,108,109,110,111],[0,11,12,14,18,21,28,30,31,36,37,38,41,45,53,54,55,59,65,67,69,71,72,73,74,80,82,87,89,93,95,100,103,104,105,107],[1,2,3,5,9,10,12,13,16,18,23,25,27,30,31,32,35,36,38,40,41,43,44,45,50,54,55,56,58,59,60,62,67,68,69,73,74,77,78,84,86,87,88,91,94,100,102,103,109,111],[2,4,7,11,14,18,23,30,31,41,47,53,57,59,62,63,67,69,72,75,76,79,80,82,85,86,87,89,92,94,98,100,102,103,104,106,107,108,111],[4,104,106,108,110],[0,1,2,3,4,6,8,11,12,13,15,19,22,25,28,31,32,33,36,38,41,43,45,46,47,49,51,52,54,57,59,60,63,64,68,70,71,73,75,76,77,79,81,82,83,85,87,91,93,96,97,98,99,100,101,103,104,105,106,107,108,110,111],[0,2,4,7,12,23,28,36,37,38,45,47,54,55,57,62,65,71,73,74,75,76,79,85,86,92,94,95,98,100,106,107,111],[59,104,106,107,108,110],[1,3,4,5,7,9,10,11,12,13,14,16,25,27,32,35,36,38,40,43,44,45,50,53,54,55,56,57,58,60,68,70,72,73,74,75,76,77,78,79,80,82,84,85,88,89,91,92,98,100,102,106,107,109,110],[48,100,101,102],[0,1,3,5,9,10,11,13,14,16,21,23,25,27,28,32,35,37,40,43,44,47,50,53,56,58,60,62,65,68,71,72,77,78,80,82,84,86,88,89,91,94,95,100,101,104,106,111],[0,1,4,5,6,8,9,10,11,14,15,17,18,19,20,22,23,27,30,33,34,39,40,49,50,51,56,57,59,62,63,65,66,67,69,70,71,72,74,75,76,77,78,79,82,83,88,89,92,93,95,96,98,102,103,106,107,108,109,110],[52,104,107,109,110],[1,3,6,7,8,11,13,15,19,21,22,23,25,29,31,32,33,37,41,43,46,49,51,52,55,59,60,62,63,64,65,68,70,74,77,81,82,83,86,87,89,91,92,93,94,95,96,97,99,100,102,103,104,107,109,110],[83,104,105,106,107,109,110],[24,104,105,108,109,110],[6,7,17,18,19,21,22,23,24,28,31,32,36,38,39,41,43,44,45,47,48,49,51,54,57,58,59,60,61,63,64,65,66,67,72,73,75,76,78,79,81,83,84,85,87,88,98,100,104,106,109,110],[0,1,2,3,4,6,8,11,12,13,15,19,22,25,28,29,31,32,33,36,38,41,43,45,46,47,49,51,52,54,57,59,60,63,64,68,70,71,73,75,76,77,79,81,82,83,85,91,93,96,97,98,99,100,103,107,111],[3,7,8,11,12,13,16,18,24,25,27,29,33,34,37,38,40,42,44,45,47,48,52,53,54,55,56,57,58,59,62,68,70,72,73,74,75,76,77,78,82,85,88,89,91,92,98,100,102,105,108,111],[1,6,9,12,15,18,19,20,21,22,24,25,30,32,33,37,40,42,45,46,48,50,52,57,59,60,61,63,65,67,70,72,73,74,75,78,82,84,87,88,90,91,92,95,97,101,103,104,107,108,109,111],[1,3,4,5,7,9,10,11,12,13,14,16,25,27,32,35,36,38,40,43,44,45,50,53,54,55,56,57,58,60,68,72,73,74,75,77,78,79,80,82,84,85,88,89,91,92,98,100,101,102,104,105,108],[2,5,6,7,8,9,10,11,12,15,16,18,19,21,22,27,29,30,33,35,36,37,38,40,44,46,47,49,50,51,52,54,56,58,63,64,65,67,69,70,73,78,81,82,83,84,88,92,93,95,96,97,99,101,103,105,106,109],[0,1,2,3,5,9,10,11,13,14,16,21,23,25,27,28,32,37,40,43,44,47,50,53,56,58,60,62,65,68,71,72,77,78,80,82,84,86,88,89,91,94,95,100,102,103,109,110,111],[0,1,3,6,7,8,12,13,14,15,18,19,22,23,25,28,29,30,32,33,36,38,45,46,49,51,52,53,54,60,62,63,64,67,68,69,70,71,72,73,77,80,81,83,86,89,91,92,93,94,96,97,99,100,101,102,103,104,105,110,111],[0,4,5,6,7,8,9,10,14,15,16,17,19,20,21,22,27,29,31,32,33,35,39,40,41,43,45,47,48,49,50,52,53,56,59,62,64,65,66,72,74,78,80,84,85,86,87,88,89,93,94,95,96,97,99,101,102,103,104,105,107,108,110],[0,11,12,14,18,21,28,30,31,36,37,38,41,45,53,54,55,59,65,67,69,71,73,74,80,82,87,89,95,100,102,110],[84,104,105,106,107,111],[69,104,108,111],[1,15,16,20,27,34,37,40,44,47,50,53,54,55,56,58,59,60,61,65,67,76,81,84,85,89,90,92,96,97,99,100,101,102,103,105,106,107,108,109,110,111],[0,1,3,4,5,7,10,13,16,18,21,25,27,28,30,31,32,35,37,40,41,43,44,50,56,57,58,59,60,65,67,68,69,71,75,76,77,78,79,84,85,87,88,91,92,95,98,100,102,104,107,108,109,111],[36,104,105,106,108,111],[7,104,107,108,111],[0,1,2,3,10,11,12,13,14,16,17,18,30,31,32,36,37,38,39,40,41,43,44,46,48,49,50,55,58,59,60,61,62,63,66,67,68,69,70,72,74,76,78,83,84,86,87,88,94,96,98,101,102,103,104,109,111],[1,3,4,5,7,8,9,10,11,12,13,14,16,25,27,32,35,36,38,40,43,44,45,50,53,54,55,56,57,58,60,68,72,73,74,75,76,77,78,79,80,82,84,85,88,89,91,92,98,100,103,104,105,108,109,110,111],[60,104,105,109,111],[49,104,106,109,111],[12,104,105,106,109,111],[0,2,5,6,7,8,9,10,14,15,16,19,22,27,28,29,31,33,35,40,41,44,46,47,49,50,51,52,53,55,56,58,59,63,64,70,71,72,74,78,79,80,81,83,84,87,88,89,92,93,96,97,99,100,102,106,109,110,111],[5,104,105,107,109,111],[1,3,6,7,8,11,13,15,19,21,22,23,25,29,31,32,33,37,41,43,46,49,51,52,55,59,60,62,63,64,65,68,70,74,77,81,82,83,86,87,90,91,92,93,94,95,96,97,99,100,104,107,109,111],[0,2,5,6,7,9,10,11,14,18,19,22,25,27,28,29,31,33,34,35,37,38,41,44,46,49,50,51,52,54,56,57,58,62,63,64,65,67,69,70,72,75,76,80,81,83,84,85,87,88,91,93,96,97,99,101,102,103,104,108,109,110,111],[1,2,4,7,11,14,18,23,30,31,41,47,53,57,59,62,67,69,72,75,76,79,80,82,85,86,87,89,92,94,98,100,101,104,106,107,108,109,110],[0,1,3,4,5,7,9,10,13,16,18,21,25,27,28,30,31,32,35,37,40,41,43,44,50,56,57,58,59,60,65,67,68,69,71,75,76,78,79,84,85,87,88,91,92,95,98,100,101,102,106,107,109],[0,4,5,6,8,9,10,11,15,16,18,19,22,23,27,28,29,30,32,33,35,40,44,46,49,50,51,52,55,56,57,58,62,63,64,67,69,70,71,74,75,76,78,79,81,82,83,84,85,86,88,93,94,96,97,98,99,100,102,103,104,108,111],[0,2,4,7,12,14,21,23,28,36,37,38,45,47,54,55,57,62,65,71,73,74,75,76,79,85,86,92,94,95,98,100,101,102,103,106,107,111],[1,2,3,4,6,8,13,14,15,18,19,21,22,25,29,30,32,33,37,43,46,47,49,51,52,53,55,57,60,63,64,65,67,68,69,70,71,72,74,75,76,77,79,80,81,83,85,89,91,93,95,96,97,98,99,100,103,104,106,108,109,110],[99,104,105,106,107,108,109,111],[0,2,3,6,7,11,12,14,19,21,23,24,28,30,36,37,38,47,48,49,50,51,53,54,55,57,61,62,64,65,66,69,71,73,74,80,81,82,84,86,89,93,95,100,101,102,103,104,107,108,110,111],[15,104,105,110,111],[0,1,2,3,5,9,10,11,13,14,16,21,25,27,28,32,35,37,40,43,44,47,50,53,56,58,60,62,65,68,71,72,77,78,80,82,84,86,88,89,91,94,95,100,103,104,106,109],[5,6,7,9,12,16,24,25,27,32,33,43,44,45,46,48,54,56,57,58,66,68,70,72,73,74,76,77,82,89,98,100,101,105,106,111],[3,4,5,9,10,11,13,15,18,19,21,22,23,24,25,30,34,35,36,39,41,42,44,46,48,49,51,52,53,55,56,59,61,63,65,66,67,68,72,74,76,77,80,82,83,85,87,89,90,91,95,96,97,100,101,102,103,104,106,111],[0,11,12,14,18,21,28,30,31,36,37,38,41,45,53,54,55,59,65,67,69,71,72,74,80,82,87,89,95,100,110],[53,104,106,107,110,111],[0,1,2,3,5,6,7,10,11,12,13,14,16,18,19,24,25,26,27,28,31,35,37,39,40,42,45,46,48,50,51,54,57,62,63,64,66,68,70,73,74,75,76,77,78,79,81,84,86,91,94,98,99,100,103,104,109,111],[2,4,7,11,14,18,23,30,31,41,47,53,57,59,62,65,67,69,72,75,76,79,80,82,85,86,87,89,92,94,98,100,102,104,106,107,108],[4,5,6,8,9,10,12,14,15,16,21,22,23,27,29,31,33,35,36,37,38,40,41,44,45,46,49,50,51,52,53,54,56,57,58,59,62,63,64,65,70,72,73,75,76,78,79,80,81,83,84,85,86,87,88,89,93,94,95,96,97,98,99,100,101,102,107,109,110],[0,1,3,4,5,7,9,10,13,16,18,21,25,27,28,30,31,32,35,37,40,41,43,44,46,50,56,57,58,59,60,65,67,68,69,71,75,76,77,78,79,84,85,87,88,91,92,95,98,100,106,107,109],[0,2,4,7,12,21,23,28,36,37,38,39,45,47,54,55,57,62,65,71,73,74,75,76,79,85,86,92,94,95,98,100,103,106,107,111],[0,3,4,6,7,8,11,12,15,16,18,21,22,23,26,28,30,33,36,38,39,41,43,45,49,52,53,54,58,59,60,65,67,69,72,73,80,83,89,91,93,94,95,96,97,105,106,110],[1,3,4,5,7,9,10,11,12,13,14,16,25,27,32,35,36,38,40,43,44,45,50,53,54,55,56,57,58,60,68,72,73,74,75,76,77,78,79,80,82,84,85,88,89,91,98,100,102,103,104,105,108,109,111],[55,104,109,110,111],[7,18,19,23,26,30,31,39,43,44,47,48,51,52,53,57,63,64,66,67,69,75,76,79,80,81,84,85,87,98,99,101,103,104,108,109,110,111],[0,1,3,6,8,12,13,14,15,16,19,21,22,29,31,32,33,34,35,36,38,43,45,46,47,49,51,52,54,55,57,60,62,63,64,65,70,72,73,75,76,79,81,83,86,87,89,92,93,94,95,96,97,98,99,102,103,104,105,107,108,109],[2,11,13,19,20,21,29,32,34,43,46,52,55,59,62,63,66,68,72,77,78,81,82,83,85,91,92,94,95,97,99,101,102,104,105,106,108,109],[0,4,6,8,9,11,13,16,19,21,25,26,27,28,29,31,33,34,36,39,40,42,44,47,48,50,51,52,58,59,63,64,65,68,70,71,75,77,78,80,81,85,86,88,91,95,99,100,102,103,105,107,108,109,110],[4,5,6,8,9,10,12,14,15,16,19,21,22,23,27,29,31,33,35,36,37,38,41,44,45,46,49,50,51,52,53,54,56,57,58,59,62,63,64,65,70,72,73,75,76,78,79,80,81,83,84,85,86,87,88,89,93,94,95,96,97,98,99,100,102,107,109,110],[0,1,3,4,5,7,9,10,13,16,18,21,25,27,28,30,31,32,35,37,40,41,43,44,50,56,57,58,59,60,65,67,68,69,71,75,76,77,78,79,84,85,87,88,91,92,95,100,101,106,107,109],[0,1,4,6,7,8,10,11,12,17,20,21,25,28,29,36,37,38,41,42,44,47,54,55,56,57,60,62,64,65,66,68,69,71,76,79,85,86,87,90,92,93,94,95,96,98,99,100,105,107,108,109,110],[6,104,107,108,109,110,111],[67,104,106,107,108,109,110,111],[1,3,4,5,7,9,10,11,12,13,14,16,22,25,27,32,35,36,38,40,43,44,45,50,53,54,55,56,57,58,60,68,72,73,74,75,76,77,78,79,80,82,84,85,88,89,91,92,98,100,101,102,103,106,107,109,110]]},"distance":{"d":3,"is_exact":true,"upper":3,"witness":[0,3,316],"A_d":2617,"certified":null},"clifford":{"kind":"powers","correction":{"S":[[0,2],[1,2],[2,2],[3,2],[4,1],[5,2],[6,1],[7,1],[8,1],[9,2],[10,2],[11,2],[12,3],[13,2],[14,2],[15,1],[16,2],[17,1],[18,3],[19,1],[20,1],[21,2],[22,1],[23,2],[24,1],[25,2],[26,1],[27,2],[28,2],[29,1],[30,3],[31,3],[32,2],[33,1],[34,1],[35,2],[36,3],[37,2],[38,3],[39,1],[40,2],[41,3],[42,1],[43,2],[44,2],[46,1],[47,2],[48,1],[49,1],[50,2],[51,1],[52,1],[53,2],[54,3],[55,3],[56,2],[57,1],[58,2],[59,3],[60,2],[61,1],[62,2],[63,1],[64,1],[65,2],[66,1],[67,3],[68,2],[69,3],[70,1],[71,2],[72,2],[73,3],[74,3],[75,1],[76,1],[77,2],[78,3],[79,1],[80,2],[81,1],[82,2],[83,1],[84,2],[85,2],[86,2],[87,3],[88,2],[89,2],[90,1],[91,2],[92,1],[93,1],[94,2],[95,2],[96,1],[97,1],[98,1],[99,1],[100,3],[101,2],[102,1],[103,1],[104,3],[105,2],[106,1],[107,2],[109,1],[110,1]],"CZ":[[0,11],[0,12],[0,14],[0,18],[0,21],[0,28],[0,30],[0,31],[0,36],[0,37],[0,38],[0,41],[0,45],[0,53],[0,54],[0,55],[0,59],[0,65],[0,67],[0,69],[0,71],[0,72],[0,73],[0,74],[0,78],[0,80],[0,82],[0,87],[0,89],[0,95],[0,100],[0,101],[0,103],[0,104],[0,105],[0,107],[0,109],[1,2],[1,3],[1,5],[1,9],[1,10],[1,12],[1,13],[1,16],[1,18],[1,23],[1,25],[1,27],[1,30],[1,31],[1,32],[1,35],[1,36],[1,38],[1,40],[1,41],[1,43],[1,44],[1,45],[1,47],[1,50],[1,54],[1,55],[1,56],[1,58],[1,59],[1,60],[1,62],[1,67],[1,68],[1,69],[1,73],[1,74],[1,77],[1,78],[1,84],[1,85],[1,86],[1,87],[1,88],[1,91],[1,94],[1,100],[1,101],[1,102],[1,104],[1,105],[1,106],[1,107],[1,110],[2,3],[2,5],[2,9],[2,10],[2,12],[2,13],[2,16],[2,18],[2,23],[2,25],[2,27],[2,30],[2,31],[2,32],[2,35],[2,36],[2,38],[2,40],[2,41],[2,43],[2,44],[2,45],[2,47],[2,50],[2,54],[2,55],[2,56],[2,58],[2,59],[2,60],[2,62],[2,67],[2,68],[2,69],[2,73],[2,74],[2,77],[2,78],[2,84],[2,85],[2,86],[2,87],[2,88],[2,91],[2,94],[2,100],[2,101],[2,102],[2,104],[2,105],[2,106],[2,107],[2,110],[3,5],[3,9],[3,10],[3,12],[3,13],[3,16],[3,18],[3,23],[3,25],[3,27],[3,30],[3,31],[3,32],[3,35],[3,36],[3,38],[3,40],[3,41],[3,43],[3,44],[3,45],[3,47],[3,50],[3,54],[3,55],[3,56],[3,58],[3,59],[3,60],[3,62],[3,67],[3,68],[3,69],[3,73],[3,74],[3,77],[3,78],[3,84],[3,85],[3,86],[3,87],[3,88],[3,91],[3,94],[3,100],[3,101],[3,102],[3,104],[3,105],[3,106],[3,107],[3,110],[5,9],[5,10],[5,12],[5,13],[5,16],[5,18],[5,23],[5,25],[5,27],[5,30],[5,31],[5,32],[5,35],[5,36],[5,38],[5,40],[5,41],[5,43],[5,44],[5,45],[5,47],[5,50],[5,54],[5,55],[5,56],[5,58],[5,59],[5,60],[5,62],[5,67],[5,68],[5,69],[5,73],[5,74],[5,77],[5,78],[5,84],[5,85],[5,86],[5,87],[5,88],[5,91],[5,94],[5,100],[5,101],[5,102],[5,104],[5,105],[5,106],[5,107],[5,110],[9,10],[9,12],[9,13],[9,16],[9,18],[9,23],[9,25],[9,27],[9,30],[9,31],[9,32],[9,35],[9,36],[9,38],[9,40],[9,41],[9,43],[9,44],[9,45],[9,47],[9,50],[9,54],[9,55],[9,56],[9,58],[9,59],[9,60],[9,62],[9,67],[9,68],[9,69],[9,73],[9,74],[9,77],[9,78],[9,84],[9,85],[9,86],[9,87],[9,88],[9,91],[9,94],[9,100],[9,101],[9,102],[9,104],[9,105],[9,106],[9,107],[9,110],[10,12],[10,13],[10,16],[10,18],[10,23],[10,25],[10,27],[10,30],[10,31],[10,32],[10,35],[10,36],[10,38],[10,40],[10,41],[10,43],[10,44],[10,45],[10,47],[10,50],[10,54],[10,55],[10,56],[10,58],[10,59],[10,60],[10,62],[10,67],[10,68],[10,69],[10,73],[10,74],[10,77],[10,78],[10,84],[10,85],[10,86],[10,87],[10,88],[10,91],[10,94],[10,100],[10,101],[10,102],[10,104],[10,105],[10,106],[10,107],[10,110],[11,12],[11,14],[11,18],[11,21],[11,28],[11,30],[11,31],[11,36],[11,37],[11,38],[11,41],[11,45],[11,53],[11,54],[11,55],[11,59],[11,65],[11,67],[11,69],[11,71],[11,72],[11,73],[11,74],[11,78],[11,80],[11,82],[11,87],[11,89],[11,95],[11,100],[11,101],[11,103],[11,104],[11,105],[11,107],[11,109],[12,13],[12,14],[12,16],[12,21],[12,23],[12,25],[12,27],[12,28],[12,32],[12,35],[12,37],[12,40],[12,43],[12,44],[12,47],[12,50],[12,53],[12,56],[12,58],[12,60],[12,62],[12,65],[12,68],[12,71],[12,72],[12,77],[12,80],[12,82],[12,84],[12,85],[12,86],[12,88],[12,89],[12,91],[12,94],[12,95],[12,102],[12,103],[12,106],[12,109],[12,110],[13,16],[13,18],[13,23],[13,25],[13,27],[13,30],[13,31],[13,32],[13,35],[13,36],[13,38],[13,40],[13,41],[13,43],[13,44],[13,45],[13,47],[13,50],[13,54],[13,55],[13,56],[13,58],[13,59],[13,60],[13,62],[13,67],[13,68],[13,69],[13,73],[13,74],[13,77],[13,78],[13,84],[13,85],[13,86],[13,87],[13,88],[13,91],[13,94],[13,100],[13,101],[13,102],[13,104],[13,105],[13,106],[13,107],[13,110],[14,18],[14,21],[14,28],[14,30],[14,31],[14,36],[14,37],[14,38],[14,41],[14,45],[14,53],[14,54],[14,55],[14,59],[14,65],[14,67],[14,69],[14,71],[14,72],[14,73],[14,74],[14,78],[14,80],[14,82],[14,87],[14,89],[14,95],[14,100],[14,101],[14,103],[14,104],[14,105],[14,107],[14,109],[16,18],[16,23],[16,25],[16,27],[16,30],[16,31],[16,32],[16,35],[16,36],[16,38],[16,40],[16,41],[16,43],[16,44],[16,45],[16,47],[16,50],[16,54],[16,55],[16,56],[16,58],[16,59],[16,60],[16,62],[16,67],[16,68],[16,69],[16,73],[16,74],[16,77],[16,78],[16,84],[16,85],[16,86],[16,87],[16,88],[16,91],[16,94],[16,100],[16,101],[16,102],[16,104],[16,105],[16,106],[16,107],[16,110],[18,21],[18,23],[18,25],[18,27],[18,28],[18,32],[18,35],[18,37],[18,40],[18,43],[18,44],[18,47],[18,50],[18,53],[18,56],[18,58],[18,60],[18,62],[18,65],[18,68],[18,71],[18,72],[18,77],[18,80],[18,82],[18,84],[18,85],[18,86],[18,88],[18,89],[18,91],[18,94],[18,95],[18,102],[18,103],[18,106],[18,109],[18,110],[21,28],[21,30],[21,31],[21,36],[21,37],[21,38],[21,41],[21,45],[21,53],[21,54],[21,55],[21,59],[21,65],[21,67],[21,69],[21,71],[21,72],[21,73],[21,74],[21,78],[21,80],[21,82],[21,87],[21,89],[21,95],[21,100],[21,101],[21,103],[21,104],[21,105],[21,107],[21,109],[23,25],[23,27],[23,30],[23,31],[23,32],[23,35],[23,36],[23,38],[23,40],[23,41],[23,43],[23,44],[23,45],[23,47],[23,50],[23,54],[23,55],[23,56],[23,58],[23,59],[23,60],[23,62],[23,67],[23,68],[23,69],[23,73],[23,74],[23,77],[23,78],[23,84],[23,85],[23,86],[23,87],[23,88],[23,91],[23,94],[23,100],[23,101],[23,102],[23,104],[23,105],[23,106],[23,107],[23,110],[25,27],[25,30],[25,31],[25,32],[25,35],[25,36],[25,38],[25,40],[25,41],[25,43],[25,44],[25,45],[25,47],[25,50],[25,54],[25,55],[25,56],[25,58],[25,59],[25,60],[25,62],[25,67],[25,68],[25,69],[25,73],[25,74],[25,77],[25,78],[25,84],[25,85],[25,86],[25,87],[25,88],[25,91],[25,94],[25,100],[25,101],[25,102],[25,104],[25,105],[25,106],[25,107],[25,110],[27,30],[27,31],[27,32],[27,35],[27,36],[27,38],[27,40],[27,41],[27,43],[27,44],[27,45],[27,47],[27,50],[27,54],[27,55],[27,56],[27,58],[27,59],[27,60],[27,62],[27,67],[27,68],[27,69],[27,73],[27,74],[27,77],[27,78],[27,84],[27,85],[27,86],[27,87],[27,88],[27,91],[27,94],[27,100],[27,101],[27,102],[27,104],[27,105],[27,106],[27,107],[27,110],[28,30],[28,31],[28,36],[28,37],[28,38],[28,41],[28,45],[28,53],[28,54],[28,55],[28,59],[28,65],[28,67],[28,69],[28,71],[28,72],[28,73],[28,74],[28,78],[28,80],[28,82],[28,87],[28,89],[28,95],[28,100],[28,101],[28,103],[28,104],[28,105],[28,107],[28,109],[30,32],[30,35],[30,37],[30,40],[30,43],[30,44],[30,47],[30,50],[30,53],[30,56],[30,58],[30,60],[30,62],[30,65],[30,68],[30,71],[30,72],[30,77],[30,80],[30,82],[30,84],[30,85],[30,86],[30,88],[30,89],[30,91],[30,94],[30,95],[30,102],[30,103],[30,106],[30,109],[30,110],[31,32],[31,35],[31,37],[31,40],[31,43],[31,44],[31,47],[31,50],[31,53],[31,56],[31,58],[31,60],[31,62],[31,65],[31,68],[31,71],[31,72],[31,77],[31,80],[31,82],[31,84],[31,85],[31,86],[31,88],[31,89],[31,91],[31,94],[31,95],[31,102],[31,103],[31,106],[31,109],[31,110],[32,35],[32,36],[32,38],[32,40],[32,41],[32,43],[32,44],[32,45],[32,47],[32,50],[32,54],[32,55],[32,56],[32,58],[32,59],[32,60],[32,62],[32,67],[32,68],[32,69],[32,73],[32,74],[32,77],[32,78],[32,84],[32,85],[32,86],[32,87],[32,88],[32,91],[32,94],[32,100],[32,101],[32,102],[32,104],[32,105],[32,106],[32,107],[32,110],[35,36],[35,38],[35,40],[35,41],[35,43],[35,44],[35,45],[35,47],[35,50],[35,54],[35,55],[35,56],[35,58],[35,59],[35,60],[35,62],[35,67],[35,68],[35,69],[35,73],[35,74],[35,77],[35,78],[35,84],[35,85],[35,86],[35,87],[35,88],[35,91],[35,94],[35,100],[35,101],[35,102],[35,104],[35,105],[35,106],[35,107],[35,110],[36,37],[36,40],[36,43],[36,44],[36,47],[36,50],[36,53],[36,56],[36,58],[36,60],[36,62],[36,65],[36,68],[36,71],[36,72],[36,77],[36,80],[36,82],[36,84],[36,85],[36,86],[36,88],[36,89],[36,91],[36,94],[36,95],[36,102],[36,103],[36,106],[36,109],[36,110],[37,38],[37,41],[37,45],[37,53],[37,54],[37,55],[37,59],[37,65],[37,67],[37,69],[37,71],[37,72],[37,73],[37,74],[37,78],[37,80],[37,82],[37,87],[37,89],[37,95],[37,100],[37,101],[37,103],[37,104],[37,105],[37,107],[37,109],[38,40],[38,43],[38,44],[38,47],[38,50],[38,53],[38,56],[38,58],[38,60],[38,62],[38,65],[38,68],[38,71],[38,72],[38,77],[38,80],[38,82],[38,84],[38,85],[38,86],[38,88],[38,89],[38,91],[38,94],[38,95],[38,102],[38,103],[38,106],[38,109],[38,110],[40,41],[40,43],[40,44],[40,45],[40,47],[40,50],[40,54],[40,55],[40,56],[40,58],[40,59],[40,60],[40,62],[40,67],[40,68],[40,69],[40,73],[40,74],[40,77],[40,78],[40,84],[40,85],[40,86],[40,87],[40,88],[40,91],[40,94],[40,100],[40,101],[40,102],[40,104],[40,105],[40,106],[40,107],[40,110],[41,43],[41,44],[41,47],[41,50],[41,53],[41,56],[41,58],[41,60],[41,62],[41,65],[41,68],[41,71],[41,72],[41,77],[41,80],[41,82],[41,84],[41,85],[41,86],[41,88],[41,89],[41,91],[41,94],[41,95],[41,102],[41,103],[41,106],[41,109],[41,110],[43,44],[43,45],[43,47],[43,50],[43,54],[43,55],[43,56],[43,58],[43,59],[43,60],[43,62],[43,67],[43,68],[43,69],[43,73],[43,74],[43,77],[43,78],[43,84],[43,85],[43,86],[43,87],[43,88],[43,91],[43,94],[43,100],[43,101],[43,102],[43,104],[43,105],[43,106],[43,107],[43,110],[44,45],[44,47],[44,50],[44,54],[44,55],[44,56],[44,58],[44,59],[44,60],[44,62],[44,67],[44,68],[44,69],[44,73],[44,74],[44,77],[44,78],[44,84],[44,85],[44,86],[44,87],[44,88],[44,91],[44,94],[44,100],[44,101],[44,102],[44,104],[44,105],[44,106],[44,107],[44,110],[45,47],[45,50],[45,53],[45,56],[45,58],[45,60],[45,62],[45,65],[45,68],[45,71],[45,72],[45,77],[45,80],[45,82],[45,84],[45,85],[45,86],[45,88],[45,89],[45,91],[45,94],[45,95],[45,100],[45,102],[45,103],[45,104],[45,106],[45,109],[45,110],[47,50],[47,54],[47,55],[47,56],[47,58],[47,59],[47,60],[47,62],[47,67],[47,68],[47,69],[47,73],[47,74],[47,77],[47,78],[47,84],[47,85],[47,86],[47,87],[47,88],[47,91],[47,94],[47,100],[47,101],[47,102],[47,104],[47,105],[47,106],[47,107],[47,110],[50,54],[50,55],[50,56],[50,58],[50,59],[50,60],[50,62],[50,67],[50,68],[50,69],[50,73],[50,74],[50,77],[50,78],[50,84],[50,85],[50,86],[50,87],[50,88],[50,91],[50,94],[50,100],[50,101],[50,102],[50,104],[50,105],[50,106],[50,107],[50,110],[53,54],[53,55],[53,59],[53,65],[53,67],[53,69],[53,71],[53,72],[53,73],[53,74],[53,78],[53,80],[53,82],[53,87],[53,89],[53,95],[53,100],[53,101],[53,103],[53,104],[53,105],[53,107],[53,109],[54,56],[54,58],[54,60],[54,62],[54,65],[54,68],[54,71],[54,72],[54,77],[54,80],[54,82],[54,84],[54,85],[54,86],[54,88],[54,89],[54,91],[54,94],[54,95],[54,102],[54,103],[54,106],[54,109],[54,110],[55,56],[55,58],[55,60],[55,62],[55,65],[55,68],[55,71],[55,72],[55,77],[55,80],[55,82],[55,84],[55,85],[55,86],[55,88],[55,89],[55,91],[55,94],[55,95],[55,102],[55,103],[55,106],[55,109],[55,110],[56,58],[56,59],[56,60],[56,62],[56,67],[56,68],[56,69],[56,73],[56,74],[56,77],[56,78],[56,84],[56,85],[56,86],[56,87],[56,88],[56,91],[56,94],[56,100],[56,101],[56,102],[56,104],[56,105],[56,106],[56,107],[56,110],[58,59],[58,60],[58,62],[58,67],[58,68],[58,69],[58,73],[58,74],[58,77],[58,78],[58,84],[58,85],[58,86],[58,87],[58,88],[58,91],[58,94],[58,100],[58,101],[58,102],[58,104],[58,105],[58,106],[58,107],[58,110],[59,60],[59,62],[59,65],[59,68],[59,71],[59,72],[59,77],[59,80],[59,82],[59,84],[59,85],[59,86],[59,88],[59,89],[59,91],[59,94],[59,95],[59,102],[59,103],[59,106],[59,109],[59,110],[60,62],[60,67],[60,68],[60,69],[60,73],[60,74],[60,77],[60,78],[60,84],[60,85],[60,86],[60,87],[60,88],[60,91],[60,94],[60,100],[60,101],[60,102],[60,104],[60,105],[60,106],[60,107],[60,110],[62,67],[62,68],[62,69],[62,73],[62,74],[62,77],[62,78],[62,84],[62,85],[62,86],[62,87],[62,88],[62,91],[62,94],[62,100],[62,101],[62,102],[62,104],[62,105],[62,106],[62,107],[62,110],[65,67],[65,69],[65,71],[65,72],[65,73],[65,74],[65,78],[65,80],[65,82],[65,87],[65,89],[65,95],[65,100],[65,101],[65,103],[65,104],[65,105],[65,107],[65,109],[67,68],[67,71],[67,72],[67,77],[67,80],[67,82],[67,84],[67,85],[67,86],[67,88],[67,89],[67,91],[67,94],[67,95],[67,102],[67,103],[67,106],[67,109],[67,110],[68,69],[68,73],[68,74],[68,77],[68,78],[68,84],[68,85],[68,86],[68,87],[68,88],[68,91],[68,94],[68,100],[68,101],[68,102],[68,104],[68,105],[68,106],[68,107],[68,110],[69,71],[69,72],[69,77],[69,80],[69,82],[69,84],[69,85],[69,86],[69,88],[69,89],[69,91],[69,94],[69,95],[69,102],[69,103],[69,106],[69,109],[69,110],[71,72],[71,73],[71,74],[71,78],[71,80],[71,82],[71,87],[71,89],[71,95],[71,100],[71,101],[71,103],[71,104],[71,105],[71,107],[71,109],[72,73],[72,74],[72,78],[72,80],[72,82],[72,87],[72,89],[72,95],[72,100],[72,101],[72,103],[72,104],[72,105],[72,107],[72,109],[73,77],[73,80],[73,82],[73,84],[73,85],[73,86],[73,88],[73,89],[73,91],[73,94],[73,95],[73,102],[73,103],[73,106],[73,109],[73,110],[74,77],[74,80],[74,82],[74,84],[74,85],[74,86],[74,88],[74,89],[74,91],[74,94],[74,95],[74,102],[74,103],[74,106],[74,109],[74,110],[77,78],[77,84],[77,85],[77,86],[77,87],[77,88],[77,91],[77,94],[77,100],[77,101],[77,102],[77,104],[77,105],[77,106],[77,107],[77,110],[78,80],[78,82],[78,84],[78,85],[78,86],[78,88],[78,89],[78,91],[78,94],[78,95],[78,102],[78,103],[78,106],[78,109],[78,110],[80,82],[80,87],[80,89],[80,95],[80,100],[80,101],[80,103],[80,104],[80,105],[80,107],[80,109],[82,87],[82,89],[82,95],[82,100],[82,101],[82,103],[82,104],[82,105],[82,107],[82,109],[84,85],[84,86],[84,87],[84,88],[84,91],[84,94],[84,100],[84,101],[84,102],[84,104],[84,105],[84,106],[84,107],[84,110],[85,86],[85,87],[85,88],[85,91],[85,94],[85,100],[85,101],[85,102],[85,104],[85,105],[85,106],[85,107],[85,110],[86,87],[86,88],[86,91],[86,94],[86,100],[86,101],[86,102],[86,104],[86,105],[86,106],[86,107],[86,110],[87,88],[87,89],[87,91],[87,94],[87,95],[87,102],[87,103],[87,106],[87,109],[87,110],[88,91],[88,94],[88,100],[88,101],[88,102],[88,104],[88,105],[88,106],[88,107],[88,110],[89,95],[89,100],[89,101],[89,103],[89,104],[89,105],[89,107],[89,109],[91,94],[91,100],[91,101],[91,102],[91,104],[91,105],[91,106],[91,107],[91,110],[94,100],[94,101],[94,102],[94,104],[94,105],[94,106],[94,107],[94,110],[95,100],[95,101],[95,103],[95,104],[95,105],[95,107],[95,109],[100,102],[100,103],[100,104],[100,106],[100,109],[100,110],[101,102],[101,103],[101,106],[101,109],[101,110],[102,104],[102,105],[102,106],[102,107],[102,110],[103,104],[103,105],[103,107],[103,109],[104,106],[104,109],[104,110],[105,106],[105,109],[105,110],[106,107],[106,110],[107,109],[107,110]]},"rotation_powers":[[0,3],[1,5],[2,5],[3,3],[4,3],[8,3],[9,5],[10,3],[12,5],[16,5],[17,5],[19,3],[20,5],[21,5],[23,5],[24,5],[26,7],[29,5],[31,3],[33,3],[34,5],[35,7],[36,7],[37,5],[38,7],[39,5],[40,5],[41,5],[42,3],[44,3],[46,7],[47,5],[49,7],[50,5],[51,3],[52,5],[55,5],[56,5],[57,3],[58,3],[59,5],[60,3],[62,5],[63,5],[64,7],[65,7],[66,3],[68,5],[70,3],[74,3],[75,5],[76,5],[77,3],[78,7],[79,3],[80,7],[82,7],[83,5],[84,5],[85,5],[86,7],[87,7],[88,3],[89,5],[90,5],[92,5],[93,3],[94,3],[95,7],[96,5],[100,3],[102,3],[103,5],[104,7],[106,7],[114,3],[116,3],[117,5],[119,3],[120,3],[129,3],[133,3],[134,3],[136,3],[137,3],[140,3],[141,3],[142,3],[146,3],[147,3],[149,3],[150,3],[152,3],[159,3],[164,3],[166,3],[169,3],[170,3],[172,3],[174,3],[177,3],[178,3],[182,3],[186,3],[187,3],[190,3],[195,3],[196,3],[197,3],[201,3],[206,3],[209,5],[211,7],[213,7],[214,3],[215,3],[218,3],[219,3],[222,3],[223,3],[225,3],[226,3],[227,3],[232,3],[235,3],[243,3],[248,3],[251,3],[252,3],[253,3],[254,3],[255,3],[257,3],[258,3],[262,3],[266,3],[267,3],[275,3],[277,3],[280,3],[282,3],[285,3],[286,3],[291,3],[292,3],[293,3],[298,3],[299,3],[300,3],[302,3],[303,3],[309,3],[312,3],[313,3],[314,3],[317,3],[320,3],[321,3],[322,3],[324,3],[327,3],[329,3],[330,3],[331,3],[333,3],[334,3],[342,3],[345,3],[346,3],[350,3],[352,3],[358,3],[359,3],[360,3],[361,3],[365,3],[368,3],[372,3],[374,3],[378,3],[380,3],[382,3],[384,3],[390,3],[392,3],[397,3],[401,3],[402,3],[403,3],[405,3]]},"metrics":{"gamma":1.275411706264773,"gamma_t":null,"gamma_rho":1.275411706264773,"gamma_claim":1.275411706264773,"gamma_t_claim":null,"gamma_rho_claim":1.275411706264773,"v_ex":100,"rate":0.24630541871921183,"t_count":null,"poly_degree":null,"effective_width":100},"provenance":{"regimes":["AI search (gamma frontier): contraction of an existing code"],"discovery":"AI search","strongest_claim":"a paired-column contraction of an existing triorthogonal code, in the pure-T distillation-exponent release (gamma = log(n/k)/log d, n < 1000); a verified witness, not a maximum -- only the release's own frontier points are the lowest gamma it knows","sources":[{"regime":"AI search (gamma frontier): contraction of an existing code","file":"gamma_frontier_release/protocols/paired_column_contraction_406_100_3_05646a41869f.json","label":"paired_column_contraction_406_100_3_05646a41869f","N":112,"d":3,"d_is_exact":true,"origin":"Existing triorthogonal code with physical paired-column contraction","provenance":"gamma frontier release record paired_column_contraction_406_100_3_05646a41869f (source catalogue id paired_column_contraction_406_100_3_05646a41869f); construction: Existing triorthogonal code with physical paired-column contraction; matrix 05646a41869f0988...; the release states d=3 (exact), gamma=1.275411706264773 (exact)","notes":"matrix gamma_frontier_release/matrices/05646a41869f0988b46d2e61c03c4fb7e3181d62d73c0831640a334fbcd43a1b.matrix"}]},"references":[{"key":"jain2026symmetry","short":"Jain et al. (2026)","full":"S. P. Jain, A. Wills, and S. Singh, \"Symmetry and AI-assisted discovery of magic-state factories,\" arXiv:2610.06535 (2026).","url":"https://arxiv.org/abs/2610.06535","date":"2026-10-05"}]}