{"id":"410.100.3.a","row":1038,"stored":{"file":"master_catalog.json","row":1038,"construction":null,"columns_sha256":null},"parameters":{"n":410,"k":100,"d":3,"N":114,"r":14,"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,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,85,86,87,88,91,94,101,103,104,106,107,108,109,112],[28,106,107,108],[94,101,102,106,109],[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,100,101,102,103,108,109,110,112,113],[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,101,103,105,108],[91,106,107,108,109],[96,106,110],[57,106,107,110],[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,104,106,107,108,109,110,111],[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,101,104,105,106,107,110,112],[38,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,56,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,106,107,108,110,112,113],[27,101,103,106,111],[75,100,101,103,106,107,111],[0,1,2,3,6,10,11,12,13,14,18,19,22,28,29,30,31,32,33,34,35,37,38,41,43,46,49,51,52,54,60,62,63,64,65,67,70,71,74,75,76,77,80,81,83,87,91,93,94,95,96,97,99,100,102,106,107,108,109,110],[1,4,5,10,12,13,16,18,25,26,27,30,31,32,35,36,38,40,45,49,51,53,54,55,58,60,61,62,68,69,73,74,76,77,78,80,81,82,86,88,89,90,91,92,94,98,99,100,101,104,106,107,108,111],[88,101,102,103,106,109,111],[31,106,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,61,62,63,64,65,68,70,74,77,81,82,83,86,87,91,92,93,94,95,96,97,99,100,101,105,108],[58,106,107,110,111],[26,106,108,110,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,72,74,75,76,77,79,80,81,83,85,89,91,93,96,97,98,99,100,101,102,106,107,108,109,110,111,112,113],[2,4,7,11,13,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,102,103,105,106,107,108,110,111,112,113],[81,106,108,109,110,111],[25,106,107,108,109,110,111],[54,106,112],[0,2,3,5,6,10,12,13,14,15,18,19,22,23,25,28,30,34,35,37,38,42,43,46,52,53,54,62,67,68,71,73,76,77,80,81,83,86,87,90,91,92,94,96,97,100,102,103,104,105,107,108,111],[1,3,6,7,8,11,13,15,19,21,22,23,25,29,31,32,33,37,41,42,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,101,102,103,104,105,108],[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,80,81,82,83,86,87,91,92,93,94,95,96,97,99,100,101,102,103,104,105,106,107,112],[1,3,6,7,8,10,11,12,13,18,19,22,29,30,32,33,35,36,37,38,40,43,45,46,47,49,51,52,60,63,64,68,69,70,76,78,81,83,87,89,92,93,95,96,97,98,99,100,102,104,109,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,101,103,104,105,106,109,112],[47,106,107,108,109,112],[2,4,7,11,14,16,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,105,106,107,108,109,110,113],[1,2,3,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,81,83,85,89,91,93,95,96,97,98,99,101,102,103,104,109,112,113],[2,4,7,11,14,18,23,30,31,41,47,53,57,59,62,64,67,69,72,75,76,79,80,82,85,86,87,89,92,94,98,101,102,104,105,106,108,110,113],[21,106,107,109,110,112],[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,101,103,104,109,112,113],[70,106,107,108,109,110,112],[48,106,111,112],[34,100,101,103,104,106,107,111,112],[2,3,4,6,8,13,15,16,17,18,19,20,21,22,25,28,30,32,33,34,35,37,39,43,44,47,49,51,53,57,58,59,60,63,66,67,68,69,70,74,75,76,79,80,83,84,86,91,92,93,94,96,98,100,101,103,104,105,106,107,109,110,111,112,113],[52,101,102,103,104],[78,100,101,102,103,104,106,107,109,111,112],[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,86,87,91,92,93,94,95,96,97,99,100,101,104,105,108],[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,101,103,104,105,106,108,109,110,111,113],[2,4,7,11,14,18,23,24,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,105,108,109,112,113],[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,103,105,108,109,110,111],[87,106,107,108,110,111,112],[2,4,7,10,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,101,102,103,104,105,106,108,110,111,113],[0,3,4,5,6,7,9,10,12,13,15,19,22,23,24,25,28,30,34,35,37,38,42,45,46,47,48,49,50,51,53,54,59,63,64,67,68,69,71,72,73,77,79,81,83,84,86,89,91,92,93,94,96,97,99,100,104,106,112,113],[0,3,4,5,6,7,10,12,13,15,16,19,20,22,24,27,28,31,33,35,41,42,43,44,45,46,48,52,56,58,61,63,68,69,70,71,72,73,74,76,77,79,82,85,90,97,98,101,102,109,111,112,113],[97,101,105,106,113],[35,106,108,113],[0,2,4,11,12,14,17,18,20,30,31,32,36,37,38,39,41,43,44,46,48,51,53,54,58,59,62,63,66,67,69,70,72,73,74,80,81,82,83,85,86,87,89,92,94,100,101,102,104,107,108,110,111,112],[72,106,107,109,113],[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,105,107,111,113],[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,84,86,87,91,92,93,94,95,96,97,99,100,101,103,108],[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,101,108,109,112,113],[1,2,4,7,11,14,15,16,18,20,23,27,30,31,34,37,40,41,44,50,54,55,56,57,58,60,61,62,65,69,72,75,79,80,81,82,84,86,87,90,94,96,97,98,99,100,103,104,105,106,111,113],[1,2,3,4,6,8,13,14,15,18,19,21,22,25,29,30,32,33,36,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,81,83,85,89,91,93,95,96,97,98,99,100,101,102,103,105,109,112,113],[2,4,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,101,102,108,109,112,113],[0,1,2,3,4,5,6,8,9,11,13,15,17,18,19,21,22,23,27,29,30,32,33,35,39,43,45,48,51,52,53,54,55,56,57,60,61,64,65,66,67,68,69,73,74,75,79,80,81,85,89,93,95,97,99,101,102,104,105,107,110,112],[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,101,103,105,106,108,110,112],[18,101,103,105,106,111,113],[60,100,101,103,105],[1,3,6,7,8,11,13,15,19,21,22,23,25,29,31,32,33,37,41,43,46,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,101,102,108],[1,3,6,7,8,11,12,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,91,92,93,94,95,96,97,99,100,101,102,108],[79,106,109,111,113],[5,100,101,102,103,105],[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,101,104,105,107,108,109,110,111,112,113],[2,4,7,11,14,18,23,30,31,41,47,53,57,59,67,69,72,75,76,79,80,82,85,86,87,89,92,94,98,100,101,103,106,107,108,109,110,111,112],[77,106,108,110,111,113],[1,2,3,4,6,8,13,14,15,18,19,21,22,25,29,30,32,33,37,43,46,47,49,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,102,105,106,107,108,109,110,111,112],[14,106,107,109,110,111,113],[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,81,83,85,89,91,93,95,96,97,98,100,101,105,109,112,113],[3,5,8,9,10,11,12,15,16,21,22,23,24,27,29,30,31,33,35,36,37,38,40,41,44,46,48,52,54,56,57,58,59,61,62,63,65,66,69,70,72,73,78,82,83,86,87,88,92,95,96,97,99,102,104,105,108,109,110,111,112,113],[15,100,101,104,105],[1,3,5,8,9,11,12,13,15,16,19,21,22,23,24,27,29,31,37,41,44,45,48,49,51,52,54,55,56,57,58,59,60,62,63,64,65,66,72,73,76,81,83,86,87,89,91,92,93,94,95,96,97,98,99,100,102,104,106,108,112],[0,3,4,5,9,10,12,13,14,15,19,22,23,24,25,28,31,34,35,37,38,39,42,44,45,46,48,49,51,52,54,56,61,63,66,68,69,71,73,76,77,83,85,90,91,96,97,100,103,104,105,108,109],[73,106,107,109,112,113],[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,101,103,104,108],[6,7,9,12,18,19,21,23,24,26,31,32,39,42,43,44,45,46,47,48,51,53,54,56,57,58,60,63,64,65,66,70,71,72,73,74,75,76,79,80,81,82,88,89,95,98,99,100,102,107,108,109,113],[19,106,107,110,112,113],[46,106,108,110,112,113],[1,2,3,4,6,8,13,14,15,18,19,21,22,25,29,30,32,33,37,41,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,102,103,104,105,106,107,108,109,110],[2,4,7,11,14,18,23,30,31,41,47,53,57,59,62,67,68,69,72,75,76,79,80,82,85,86,87,89,92,94,98,101,102,104,106,108,110],[39,106,107,109,110,112,113],[1,2,7,13,16,18,19,21,23,25,26,29,30,31,32,39,46,47,51,53,57,58,63,64,65,67,68,69,70,71,72,75,76,77,79,80,81,82,85,87,89,94,95,98,99,100,101,102,103,106,107,110],[55,101,103,104,105],[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,101,103,104,107,108,110,111,113],[1,3,6,7,8,11,13,15,17,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,91,92,93,94,95,96,97,99,101,102,104,106,111,112,113],[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,83,86,87,91,92,93,94,95,96,97,99,100,101,102,104,106,107,111,112,113],[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,101,102,103,107,110,112,113],[66,100,101,102,103,104,105,106,107,109,111,112,113],[0,1,3,5,9,10,14,16,19,20,23,25,27,28,29,34,35,37,40,44,46,47,50,52,53,55,56,58,59,60,63,65,66,71,80,81,83,84,85,86,88,89,92,97,99,101,102,104,105,107,109,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,55,59,60,62,63,64,65,68,70,74,77,81,82,83,85,86,87,91,92,93,94,95,96,97,99,100,101,104,106,107,109,111,112,113],[0,5,10,11,12,13,14,15,22,23,25,26,28,34,35,37,38,39,41,42,45,46,47,48,49,53,54,56,57,62,68,71,72,73,76,77,79,83,84,87,89,91,93,94,96,97,98,100,105,106,107,111,112,113],[40,106,107,110,111,112,113],[98,106,108,110,111,112,113],[0,2,3,7,10,11,12,13,14,15,17,18,19,20,22,28,30,32,33,36,38,41,42,43,44,46,49,51,52,53,54,56,62,63,66,67,70,71,72,74,75,77,80,81,83,86,87,89,90,91,92,94,97,100,102,104,105,106,108,112],[2,4,6,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,101,102,103,104,108,109,112,113],[0,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,102,103,104,106,107,108,110,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,101,104,105,109,112,113],[22,106,107,108,109,110,111,112,113],[45,106],[20,100,101,106,107],[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,78,81,82,83,84,85,88,92,93,95,96,97,99,102,104,105,106,107,109,112],[1,3,6,7,8,11,13,15,19,21,22,23,25,28,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,91,92,93,94,95,96,97,99,100,101,102,103,105,106,107],[94,106,109],[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,103,108,109,110,112,113],[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,92,93,94,95,96,97,99,100,101,103,105,106,107,109],[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,101,105,106,108,109,110,112,113],[2,4,7,11,14,18,23,30,31,41,47,53,59,62,67,69,72,75,76,79,80,82,85,86,87,89,92,94,98,100,101,105,106,107,108,109,110,112,113],[0,1,2,3,6,7,10,11,13,15,16,18,19,22,29,32,33,36,38,40,41,43,46,47,49,51,52,53,55,59,60,62,63,64,70,71,72,74,75,79,80,81,83,85,86,87,89,91,92,93,96,97,99,101,102,103,104,106,107,108,110,111,112,113],[1,2,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,81,83,85,89,91,93,95,96,97,98,99,100,101,102,103,109,112,113],[1,2,5,6,8,10,11,17,18,19,20,22,23,26,29,30,33,34,35,39,41,43,44,45,47,48,52,56,57,64,65,66,67,69,73,74,75,79,80,81,84,87,90,93,95,98,99,102,104,106,107,108,109,110,113],[2,4,7,11,14,18,23,31,41,47,53,57,59,62,67,69,72,75,76,79,80,82,85,86,87,89,92,94,98,100,101,102,105,108,109,112,113],[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,101,103,106,108,110,112,113],[56,106,107,108,109,110],[27,106,111],[75,106,107,111],[0,2,7,8,10,12,14,15,18,21,23,25,28,30,34,35,38,54,55,59,67,68,71,75,76,80,82,86,92,100,101,105,106,107,109,110],[3,4,5,6,7,8,10,11,12,15,16,18,19,21,22,23,26,27,29,30,33,35,36,37,38,40,41,43,45,46,52,53,54,58,59,61,63,64,65,69,70,73,76,78,80,83,87,88,89,90,93,95,96,97,98,102,104,105,106,107,111],[88,106,109,111],[31,100,101,102,103,106,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,77,81,82,83,86,87,91,92,93,94,95,96,97,99,101,105,108],[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,101,103,105,108,109,112,113],[2,4,7,11,14,18,23,30,31,41,47,53,57,58,59,62,67,69,72,75,76,79,80,82,85,86,87,89,92,94,98,100,101,103,105,106,107,108,109,110,111,112,113],[1,2,3,4,6,8,13,14,15,18,19,21,22,25,26,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,81,83,85,89,91,93,95,96,97,98,99,101,102,106,108,109,110,111,112,113],[95,106,107,108,110,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,87,89,92,94,98,101,102,103,105,108,109,112,113],[13,106,107,109,110,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,72,74,75,76,77,79,80,83,85,89,91,93,95,96,97,98,99,101,106,108,110,111,112,113],[1,2,3,4,6,8,13,14,15,18,19,21,22,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,81,83,85,89,91,93,95,96,97,98,99,100,101,106,107,108,110,111,112,113],[54,101,104,106,112],[0,2,3,5,6,10,12,13,14,15,18,19,22,23,25,28,30,34,35,37,38,42,43,46,52,53,54,62,67,68,71,73,76,77,80,81,83,86,87,90,91,92,94,96,97,101,102,103,105,107,108,111],[80,106,107,108,112],[1,3,6,7,8,10,11,12,13,18,19,22,29,30,32,33,35,36,37,38,40,43,45,46,47,49,51,52,60,63,64,68,69,70,76,78,81,83,87,89,92,93,95,96,97,98,99,100,101,109,110],[93,100,101,102,104],[33,106,108,109,112],[1,3,6,7,8,11,13,15,19,21,22,23,25,29,31,32,33,37,41,43,46,47,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,105,106,107,109,112],[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,101,104,105,108,109,112,113],[16,106,107,110,112],[1,2,3,4,6,8,13,14,15,18,19,21,22,25,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,81,83,85,89,91,93,95,96,97,98,99,100,101,102,103,104,109,112,113],[64,106,109,110,112],[2,4,7,11,14,18,21,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,102,104,105,106,107,108,110,113],[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,72,74,75,76,77,79,80,81,83,85,89,91,93,95,96,97,98,99,100,101,103,104,106,107,108,110,113],[48,101,103,104,106,111,112],[34,106,107,111,112],[1,2,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,91,92,93,94,95,96,97,99,101,102,104,105,108],[1,2,4,7,11,16,17,18,20,23,28,29,30,31,34,35,39,41,44,46,47,52,53,55,57,58,62,64,65,66,67,69,75,76,77,79,80,81,82,84,87,95,97,98,99,102,103,106,107,108,109,110,111,112,113],[78,106,107,109,111,112],[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,101,104,105,108],[37,106,110,111,112],[0,2,5,8,9,10,14,15,16,17,18,21,23,24,27,29,32,33,35,36,38,39,40,43,45,46,48,50,52,53,54,55,56,57,60,61,65,66,67,70,71,73,74,75,76,79,80,85,89,92,93,96,97,98,99,101,102,103,104,105,108,110,111,112,113],[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,81,83,85,87,89,91,93,95,96,97,98,99,100,101,102,104,106,107,108,109,110,111,113],[10,106,109,110,111,112],[0,2,3,5,6,9,10,11,12,13,14,15,18,19,22,24,25,28,31,34,35,37,38,41,42,45,46,48,49,50,51,54,57,62,63,64,68,71,73,75,76,77,80,81,82,83,84,85,87,91,93,96,97,98,99,101,102,103,105,106,108,109],[0,1,2,5,7,8,10,12,14,16,18,20,21,24,25,27,28,29,30,31,32,35,37,41,42,44,45,47,48,49,51,53,55,56,57,58,60,61,64,65,67,71,73,75,80,81,82,83,89,90,91,93,95,96,99,102,104,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,72,74,75,77,79,80,81,83,85,89,91,93,95,96,97,98,99,100,101,104,109,112,113],[97,106,113],[45,100,105,106],[1,3,6,7,8,11,13,15,19,21,22,23,25,29,31,32,33,35,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,101,102,103,106,113],[1,3,6,7,8,11,13,15,19,21,22,23,25,29,31,32,33,37,41,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,108],[0,2,4,11,12,14,17,18,20,30,31,32,36,37,38,39,41,43,44,46,48,51,53,54,58,59,62,63,66,67,69,70,72,73,74,80,81,82,83,85,86,87,89,92,94,100,104,105,107,108,110,111,112],[72,100,101,102,105,106,107,109,113],[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,101,103,105,107,108,111,113],[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,101,103,104,105,106,108,109,111,112],[1,2,3,4,6,8,9,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,81,83,85,89,91,93,95,96,97,98,99,101,102,103,105,109,112,113],[0,1,3,5,6,7,8,9,13,14,15,17,19,21,22,27,29,31,32,33,35,39,41,43,45,47,48,51,52,54,55,56,59,60,61,62,64,65,66,68,72,73,74,76,81,82,86,87,92,93,94,95,97,98,99,100,104,105,107,108,109,110,113],[50,106,108,109,110,113],[1,2,3,4,6,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,81,83,85,89,91,93,95,96,97,98,99,100,101,103,105,109,112,113],[18,106,111,113],[79,101,102,103,105,106,109,111,113],[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,101,108],[0,8,12,14,15,16,21,25,28,30,31,34,36,40,41,45,47,57,62,72,73,75,76,78,80,82,85,87,91,92,95,100,104,105,107,109,110,111,112,113],[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,101,103,108,109,112,113],[62,106,107,110,111,113],[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,79,80,81,83,85,89,91,93,95,96,97,98,99,101,102,105,106,108,109,110,111,112],[51,106,107,108,110,111,113],[2,4,7,11,14,18,23,30,31,32,41,47,53,57,59,62,67,69,72,75,76,79,80,82,85,86,87,89,92,94,98,101,102,103,108,109,112,113],[2,4,7,11,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,102,103,106,107,108,110,111,112],[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,101,105,109,112,113],[3,5,8,9,10,11,12,15,16,21,22,23,24,27,29,30,31,33,35,36,37,38,40,41,44,46,48,52,54,56,57,58,59,61,62,63,65,66,69,70,72,73,78,82,83,86,87,88,92,95,96,97,99,101,102,108,109,110,111,112,113],[1,3,6,7,8,11,13,15,19,21,22,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,91,92,93,94,95,96,97,99,101,102,103,104,108],[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,101,103,106,112],[0,3,4,5,9,10,12,13,14,15,19,22,23,24,25,28,31,34,35,37,38,39,42,44,45,46,48,49,51,52,54,56,61,63,66,68,69,71,73,76,77,83,85,90,91,96,97,100,101,102,103,108,109],[73,100,101,102,104,105,106,107,109,112,113],[1,3,8,9,11,12,13,15,18,22,24,25,26,29,33,37,39,41,42,44,45,47,48,49,52,53,54,55,56,57,58,59,62,66,68,71,72,73,75,76,77,79,80,83,86,87,88,89,91,92,93,94,96,97,98,101,102,103,104,107,109,113],[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,101,104,108,109,112,113],[2,4,7,11,14,18,19,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],[1,2,3,4,6,8,13,14,15,18,19,21,22,25,29,30,32,33,37,43,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,101,102,103,104,105,106,108,109,110],[41,106,107,108,110,112,113],[68,106,109,110,112,113],[2,4,7,11,14,18,23,30,31,39,41,47,53,57,59,62,67,69,72,75,76,79,80,82,85,86,87,89,92,94,98,100,101,102,104,106,107,108,110],[3,4,6,7,8,14,15,16,22,23,26,31,33,37,39,43,49,52,55,58,60,71,74,82,83,87,91,93,94,96,97,100,102,104,105,106,107,109,110,112,113],[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,81,83,85,89,91,92,93,95,96,97,98,99,100,101,103,104,105,109,112,113],[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,105,107,108,110,111,113],[17,106,108,111,112,113],[82,106,107,108,111,112,113],[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,104,105,107,110,112,113],[66,106,107,109,111,112,113],[0,5,6,7,8,9,10,11,13,14,15,16,20,21,22,27,28,31,32,33,34,35,40,41,43,44,47,49,50,51,53,56,58,62,64,66,68,70,71,74,77,80,82,84,85,87,88,89,91,93,94,95,96,102,105,107,108,109,110,111],[85,106,107,108,109,111,112,113],[0,2,4,5,7,10,12,13,15,18,22,25,26,28,30,31,34,35,37,38,39,42,45,46,48,49,54,56,59,67,68,69,71,73,75,77,80,82,83,84,85,86,91,92,93,96,97,100,101,103,104,105,106,107,108,109,111],[2,4,7,11,14,18,23,30,31,40,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],[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,81,83,85,89,91,93,95,96,97,99,101,102,104,105,106,108,109,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,101,106,108,109,113],[0,106,107,109,110,111,112,113],[1,2,3,4,6,8,13,14,15,18,19,21,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,81,83,85,89,91,93,95,96,97,98,99,100,101,104,105,106,107,108,110,111],[45,101],[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,101,103,104,107,109,112],[94,101,102],[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,100,101,102,103,106,107,108,110,112,113],[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,101,103,105,106,109],[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,104,107,109,111],[3,106,107,108,110],[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,101,104,105,107,109,112],[30,106,107,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,56,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,109,112,113],[27,101,103],[75,100,101,103],[0,1,2,3,6,10,11,12,13,14,18,19,22,28,29,30,31,32,33,34,35,37,38,41,43,46,49,51,52,54,60,62,63,64,65,67,70,71,74,75,76,77,80,81,83,87,91,93,94,95,96,97,99,100,102,107,109,110,111],[1,4,5,10,12,13,16,18,25,26,27,30,31,32,35,36,38,40,45,49,51,53,54,55,58,60,61,62,68,69,73,74,76,77,78,80,81,82,86,88,89,90,91,92,94,98,99,100,101,104],[88,101,102,103],[74,106,108,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,61,62,63,64,65,68,70,74,77,81,82,83,86,87,91,92,93,94,95,96,97,99,100,101,105,106,107,109,111],[11,106,110,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,72,74,75,76,77,79,80,81,83,85,89,91,93,96,97,98,99,100,101,102,109,112,113],[86,106,109,110,111],[2,4,7,11,13,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,102,103,105,108,109,112,113],[0,2,3,5,6,10,12,13,14,15,18,19,22,23,25,28,30,34,35,37,38,42,43,46,52,53,54,62,67,68,71,73,76,77,80,81,83,86,87,90,91,92,94,96,97,100,102,103,104,105,106,108,111,112],[1,3,6,7,8,11,13,15,19,21,22,23,25,29,31,32,33,37,41,42,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,101,102,103,104,105,106,112],[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,80,81,82,83,86,87,91,92,93,94,95,96,97,99,100,101,102,103,104,105,108],[1,3,6,7,8,10,11,12,13,18,19,22,29,30,32,33,35,36,37,38,40,43,45,46,47,49,51,52,60,63,64,68,69,70,76,78,81,83,87,89,92,93,95,96,97,98,99,100,102,104,106,110,112],[93,106,107,109,112],[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,101,103,104,105,108],[63,106,110,112],[2,4,7,11,14,16,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,105,108,109,112,113],[1,2,3,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,81,83,85,89,91,93,95,96,97,98,99,101,102,103,104,106,108,109,110,113],[29,106,107,108,110,112],[2,4,7,11,14,18,23,30,31,41,47,53,57,59,62,64,67,69,72,75,76,79,80,82,85,86,87,89,92,94,98,101,102,104,105,108,109,112,113],[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,101,103,104,106,108,110,113],[34,100,101,103,104],[2,106,108,111,112],[2,3,4,6,8,13,15,16,17,18,19,20,21,22,25,28,30,32,33,34,35,37,39,43,44,47,49,51,53,57,58,59,60,63,66,67,68,69,70,74,75,76,79,80,83,84,86,91,92,93,94,96,98,100,101,103,104,105,108,109,110,113],[52,101,102,103,104,106,109,111,112],[78,100,101,102,103,104],[89,106,108,109,111,112],[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,86,87,91,92,93,94,95,96,97,99,100,101,104,105,106,107,109,111,112],[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,101,103,104,105,108,109,112,113],[2,4,7,11,14,18,23,24,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,105,106,107,108,109,110,111,113],[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,103,105,106,109,112],[2,4,7,10,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,101,102,103,104,105,108,109,112,113],[0,3,4,5,6,7,9,10,12,13,15,19,22,23,24,25,28,30,34,35,37,38,42,45,46,47,48,49,50,51,53,54,59,63,64,67,68,69,71,72,73,77,79,81,83,84,86,89,91,92,93,94,96,97,99,100,104,107,109,110,111,113],[0,3,4,5,6,7,10,12,13,15,16,19,20,22,24,27,28,31,33,35,41,42,43,44,45,46,48,52,56,58,61,63,68,69,70,71,72,73,74,76,77,79,82,85,90,97,98,101,102,106,108,110,113],[76,106,107,108,109,110,111,112],[97,101,105],[45,101,107,113],[43,106,107,108,113],[0,2,4,11,12,14,17,18,20,30,31,32,36,37,38,39,41,43,44,46,48,51,53,54,58,59,62,63,66,67,69,70,72,73,74,80,81,82,83,85,86,87,89,92,94,100,101,102,104,106,107,108,109,110,111,112,113],[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,105,106,107,108,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,84,86,87,91,92,93,94,95,96,97,99,100,101,103,106,107,109,113],[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,101,106,108,109,110,112],[1,2,4,7,11,14,15,16,18,20,23,27,30,31,34,37,40,41,44,50,54,55,56,57,58,60,61,62,65,69,72,75,79,80,81,82,84,86,87,90,94,96,97,98,99,100,103,104,105,107,110,111],[9,106,108,110,113],[1,2,3,4,6,8,13,14,15,18,19,21,22,25,29,30,32,33,36,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,81,83,85,89,91,93,95,96,97,98,99,100,101,102,103,105,106,107,108,109,110,112],[2,4,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,101,102,106,108,110,112],[0,1,2,3,4,5,6,8,9,11,13,15,17,18,19,21,22,23,27,29,30,32,33,35,39,43,45,48,51,52,53,54,55,56,57,60,61,64,65,66,67,68,69,73,74,75,79,80,81,85,89,93,95,97,99,101,102,104,105,106,109,112,113],[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,101,103,105,109,112,113],[8,106,107,108,109,110,113],[18,101,103,105],[60,100,101,103,105,106,107,111,113],[1,3,6,7,8,11,13,15,19,21,22,23,25,29,31,32,33,37,41,43,46,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,101,102,106,111,113],[1,3,6,7,8,11,12,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,91,92,93,94,95,96,97,99,100,101,102,106,107,111,113],[5,100,101,102,103,105,106,107,109,111,113],[90,106,108,109,111,113],[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,101,104,105,106,110,112],[1,106,110,111,113],[2,4,7,11,14,18,23,30,31,41,47,53,57,59,67,69,72,75,76,79,80,82,85,86,87,89,92,94,98,100,101,103,108,109,112,113],[1,2,3,4,6,8,13,14,15,18,19,21,22,25,29,30,32,33,37,43,46,47,49,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,102,105,109,112,113],[32,106,109,110,111,113],[71,106,108,109,110,111,113],[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,81,83,85,89,91,93,95,96,97,98,100,101,105,106,107,108,110,111,112],[3,5,8,9,10,11,12,15,16,21,22,23,24,27,29,30,31,33,35,36,37,38,40,41,44,46,48,52,54,56,57,58,59,61,62,63,65,66,69,70,72,73,78,82,83,86,87,88,92,95,96,97,99,102,104,105,106,108,109,110,111],[15,100,101,104,105,106,107,112,113],[23,106,108,112,113],[1,3,5,8,9,11,12,13,15,16,19,21,22,23,24,27,29,31,37,41,44,45,48,49,51,52,54,55,56,57,58,59,60,62,63,64,65,66,72,73,76,81,83,86,87,89,91,92,93,94,95,96,97,98,99,100,102,104,107,113],[0,3,4,5,9,10,12,13,14,15,19,22,23,24,25,28,31,34,35,37,38,39,42,44,45,46,48,49,51,52,54,56,61,63,66,68,69,71,73,76,77,83,85,90,91,96,97,100,103,104,105,106,108,112,113],[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,101,103,104,106,109,112,113],[6,7,9,12,18,19,21,23,24,26,31,32,39,42,43,44,45,46,47,48,51,53,54,56,57,58,60,63,64,65,66,70,71,72,73,74,75,76,79,80,81,82,88,89,95,98,99,100,102,106,112],[65,106,110,112,113],[1,2,3,4,6,8,13,14,15,18,19,21,22,25,29,30,32,33,37,41,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,102,103,104,105,109,112,113],[2,4,7,11,14,18,23,30,31,41,47,53,57,59,62,67,68,69,72,75,76,79,80,82,85,86,87,89,92,94,98,101,102,104,108,109,112,113],[1,2,7,13,16,18,19,21,23,25,26,29,30,31,32,39,46,47,51,53,57,58,63,64,65,67,68,69,70,71,72,75,76,77,79,80,81,82,85,87,89,94,95,98,99,100,101,102,103,107,108,109,112,113],[92,106,107,108,109,110,112,113],[55,101,103,104,105,106,111,112,113],[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,101,103,104,106,108,110,112],[1,3,6,7,8,11,13,15,17,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,91,92,93,94,95,96,97,99,101,102,104,108],[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,83,86,87,91,92,93,94,95,96,97,99,100,101,102,104,108],[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,101,102,103,106,107,109,110,111],[66,100,101,102,103,104,105],[0,1,3,5,9,10,14,16,19,20,23,25,27,28,29,34,35,37,40,44,46,47,50,52,53,55,56,58,59,60,63,65,66,71,80,81,83,84,85,86,88,89,92,97,99,101,102,104,105,106,107,108,110,112,113],[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,85,86,87,91,92,93,94,95,96,97,99,100,101,104,108],[0,5,10,11,12,13,14,15,22,23,25,26,28,34,35,37,38,39,41,42,45,46,47,48,49,53,54,56,57,62,68,71,72,73,76,77,79,83,84,87,89,91,93,94,96,97,98,100,105,107,110],[0,2,3,7,10,11,12,13,14,15,17,18,19,20,22,28,30,32,33,36,38,41,42,43,44,46,49,51,52,53,54,56,62,63,66,67,70,71,72,74,75,77,80,81,83,86,87,89,90,91,92,94,97,100,102,104,105,107,110,111,113],[2,4,6,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,101,102,103,104,106,108,110,111],[0,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,102,103,104,108,109,112,113],[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,101,104,105,106,108,110,111],[20,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,78,81,82,83,84,85,88,92,93,95,96,97,99,102,104,105,107,108,109,112],[1,3,6,7,8,11,13,15,19,21,22,23,25,28,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,91,92,93,94,95,96,97,99,100,101,102,103,105,108],[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,103,106,107,108,110,112,113],[44,106,108,109],[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,92,93,94,95,96,97,99,100,101,103,105,108],[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,101,105,108,109,112,113],[2,4,7,11,14,18,23,30,31,41,47,53,59,62,67,69,72,75,76,79,80,82,85,86,87,89,92,94,98,100,101,105,108,109,112,113],[0,1,2,3,6,7,10,11,13,15,16,18,19,22,29,32,33,36,38,40,41,43,46,47,49,51,52,53,55,59,60,62,63,64,70,71,72,74,75,79,80,81,83,85,86,87,89,91,92,93,96,97,99,101,102,103,104,107,111,112,113],[1,2,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,81,83,85,89,91,93,95,96,97,98,99,100,101,102,103,106,107,108,109,110,112,113],[1,2,5,6,8,10,11,17,18,19,20,22,23,26,29,30,33,34,35,39,41,43,44,45,47,48,52,56,57,64,65,66,67,69,73,74,75,79,80,81,84,87,90,93,95,98,99,102,104,107,108,113],[2,4,7,11,14,18,23,31,41,47,53,57,59,62,67,69,72,75,76,79,80,82,85,86,87,89,92,94,98,100,101,102,105,106,107,108,110,112,113],[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,101,103,109,112,113],[0,2,7,8,10,12,14,15,18,21,23,25,28,30,34,35,38,54,55,59,67,68,71,75,76,80,82,86,92,100,101,105,107,108,109,110,111],[3,4,5,6,7,8,10,11,12,15,16,18,19,21,22,23,26,27,29,30,33,35,36,37,38,40,41,43,45,46,52,53,54,58,59,61,63,64,65,69,70,73,76,78,80,83,87,88,89,90,93,95,96,97,98,102,104,105,108],[31,100,101,102,103],[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,101,105,106,109,111],[61,106,107,108,109,111],[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,101,103,105,106,108,109,110,111,112,113],[2,4,7,11,14,18,23,30,31,41,47,53,57,58,59,62,67,69,72,75,76,79,80,82,85,86,87,89,92,94,98,100,101,103,105,108,109,112,113],[1,2,3,4,6,8,13,14,15,18,19,21,22,25,26,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,81,83,85,89,91,93,95,96,97,98,99,101,102,109,112,113],[2,4,7,11,14,18,23,30,31,41,47,53,57,59,62,67,69,72,75,76,79,80,82,85,87,89,92,94,98,101,102,103,105,106,108,110,111,112,113],[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,101,109,112,113],[1,2,3,4,6,8,13,14,15,18,19,21,22,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,81,83,85,89,91,93,95,96,97,98,99,100,101,109,112,113],[54,101,104],[0,2,3,5,6,10,12,13,14,15,18,19,22,23,25,28,30,34,35,37,38,42,43,46,52,53,54,62,67,68,71,73,76,77,80,81,83,86,87,90,91,92,94,96,97,101,102,103,105,106,108,111,112],[42,106,108,112],[1,3,6,7,8,10,11,12,13,18,19,22,29,30,32,33,35,36,37,38,40,43,45,46,47,49,51,52,60,63,64,68,69,70,76,78,81,83,87,89,92,93,95,96,97,98,99,100,101,106,110,112],[93,100,101,102,104,106,107,109,112],[1,3,6,7,8,11,13,15,19,21,22,23,25,29,31,32,33,37,41,43,46,47,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,105,108],[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,101,104,105,106,108,109,110,113],[4,106,108,110,112],[1,2,3,4,6,8,13,14,15,18,19,21,22,25,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,81,83,85,89,91,93,95,96,97,98,99,100,101,102,103,104,106,107,108,109,110,113],[2,4,7,11,14,18,21,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,102,104,105,108,109,112,113],[59,106,108,109,110,112],[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,72,74,75,76,77,79,80,81,83,85,89,91,93,95,96,97,98,99,100,101,103,104,109,112,113],[48,101,103,104],[1,2,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,91,92,93,94,95,96,97,99,101,102,104,105,106,111,112],[1,2,4,7,11,16,17,18,20,23,28,29,30,31,34,35,39,41,44,46,47,52,53,55,57,58,62,64,65,66,67,69,75,76,77,79,80,81,82,84,87,95,97,98,99,102,103,109,110,113],[52,106,109,111,112],[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,101,104,105,106,109,111,112],[83,106,107,108,109,111,112],[24,106,107,110,111,112],[0,2,5,8,9,10,14,15,16,17,18,21,23,24,27,29,32,33,35,36,38,39,40,43,45,46,48,50,52,53,54,55,56,57,60,61,65,66,67,70,71,73,74,75,76,79,80,85,89,92,93,96,97,98,99,101,102,103,104,105,106,113],[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,81,83,85,87,89,91,93,95,96,97,98,99,100,101,102,104,109,112,113],[0,2,3,5,6,9,10,11,12,13,14,15,18,19,22,24,25,28,31,34,35,37,38,41,42,45,46,48,49,50,51,54,57,62,63,64,68,71,73,75,76,77,80,81,82,83,84,85,87,91,93,96,97,98,99,101,102,103,105,107,108,110,111,112],[0,1,2,5,7,8,10,12,14,16,18,20,21,24,25,27,28,29,30,31,32,35,37,41,42,44,45,47,48,49,51,53,55,56,57,58,60,61,64,65,67,71,73,75,80,81,82,83,89,90,91,93,95,96,99,102,104,106,108,109,110,112],[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,77,79,80,81,83,85,89,91,93,95,96,97,98,99,100,101,104,106,107,108,110,111,113],[45,100,105,107,113],[1,3,6,7,8,11,13,15,19,21,22,23,25,29,31,32,33,35,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,101,102,103,108],[1,3,6,7,8,11,13,15,19,21,22,23,25,29,31,32,33,37,41,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,107,113],[0,2,4,11,12,14,17,18,20,30,31,32,36,37,38,39,41,43,44,46,48,51,53,54,58,59,62,63,66,67,69,70,72,73,74,80,81,82,83,85,86,87,89,92,94,100,104,105,106,107,108,109,110,111,112,113],[72,100,101,102,105],[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,101,103,105,106,107,109,111],[84,106,107,108,109,113],[69,106,110,113],[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,101,103,104,105,107,108,109,110,111,112,113],[1,2,3,4,6,8,9,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,81,83,85,89,91,93,95,96,97,98,99,101,102,103,105,106,108,109,110,112],[36,106,107,108,110,113],[7,106,109,110,113],[0,1,3,5,6,7,8,9,13,14,15,17,19,21,22,27,29,31,32,33,35,39,41,43,45,47,48,51,52,54,55,56,59,60,61,62,64,65,66,68,72,73,74,76,81,82,86,87,92,93,94,95,97,98,99,100,104,105,106,108],[1,2,3,4,6,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,81,83,85,89,91,93,95,96,97,98,99,100,101,103,105,106,107,108,110,112],[60,106,107,111,113],[49,106,108,111,113],[12,106,107,108,111,113],[79,101,102,103,105],[5,106,107,109,111,113],[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,101,106,109,111,113],[0,8,12,14,15,16,21,25,28,30,31,34,36,40,41,45,47,57,62,72,73,75,76,78,80,82,85,87,91,92,95,100,104,105,106,108,110,112],[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,101,103,106,108,109,110,111,112],[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,79,80,81,83,85,89,91,93,95,96,97,98,99,101,102,105,109,112,113],[2,4,7,11,14,18,23,30,31,32,41,47,53,57,59,62,67,69,72,75,76,79,80,82,85,86,87,89,92,94,98,101,102,103,106,108,110,111,112],[2,4,7,11,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,102,103,108,109,112,113],[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,101,105,106,108,110,111,112],[99,106,107,108,109,110,111,113],[3,5,8,9,10,11,12,15,16,21,22,23,24,27,29,30,31,33,35,36,37,38,40,41,44,46,48,52,54,56,57,58,59,61,62,63,65,66,69,70,72,73,78,82,83,86,87,88,92,95,96,97,99,101,102,106,108,109,110,111],[15,106,107,112,113],[1,3,6,7,8,11,13,15,19,21,22,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,91,92,93,94,95,96,97,99,101,102,103,104,106,112,113],[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,101,103,107,108,113],[0,3,4,5,9,10,12,13,14,15,19,22,23,24,25,28,31,34,35,37,38,39,42,44,45,46,48,49,51,52,54,56,61,63,66,68,69,71,73,76,77,83,85,90,91,96,97,100,101,102,103,106,108,112,113],[73,100,101,102,104,105],[53,106,108,109,112,113],[1,3,8,9,11,12,13,15,18,22,24,25,26,29,33,37,39,41,42,44,45,47,48,49,52,53,54,55,56,57,58,59,62,66,68,71,72,73,75,76,77,79,80,83,86,87,88,89,91,92,93,94,96,97,98,101,102,103,104,106,108,112],[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,101,104,106,108,109,110],[2,4,7,11,14,18,19,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,108,109,112,113],[1,2,3,4,6,8,13,14,15,18,19,21,22,25,29,30,32,33,37,43,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,101,102,103,104,105,109,112,113],[2,4,7,11,14,18,23,30,31,39,41,47,53,57,59,62,67,69,72,75,76,79,80,82,85,86,87,89,92,94,98,100,101,102,104,108,109,112,113],[3,4,6,7,8,14,15,16,22,23,26,31,33,37,39,43,49,52,55,58,60,71,74,82,83,87,91,93,94,96,97,100,102,104,105,107,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,81,83,85,89,91,92,93,95,96,97,98,99,100,101,103,104,105,106,107,108,110],[55,106,111,112,113],[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,105,106,108,110,112],[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,104,105,106,107,109,110,111],[0,5,6,7,8,9,10,11,13,14,15,16,20,21,22,27,28,31,32,33,34,35,40,41,43,44,47,49,50,51,53,56,58,62,64,66,68,70,71,74,77,80,82,84,85,87,88,89,91,93,94,95,96,102,105,106,107,110,112,113],[0,2,4,5,7,10,12,13,15,18,22,25,26,28,30,31,34,35,37,38,39,42,45,46,48,49,54,56,59,67,68,69,71,73,75,77,80,82,83,84,85,86,91,92,93,96,97,100,101,103,104,105,107,108,109,110,112,113],[2,4,7,11,14,18,23,30,31,40,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,108,109,112,113],[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,81,83,85,89,91,93,95,96,97,99,101,102,104,105,109,112,113],[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,101,107,109,110,111,112],[6,106,109,110,111,112,113],[67,106,108,109,110,111,112,113],[1,2,3,4,6,8,13,14,15,18,19,21,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,81,83,85,89,91,93,95,96,97,98,99,100,101,104,105,109,112,113]]},"distance":{"d":3,"is_exact":true,"upper":3,"witness":[0,4,319],"A_d":771,"certified":null},"clifford":{"kind":"powers","correction":{"S":[[0,1],[1,1],[2,1],[3,1],[4,1],[5,1],[6,1],[7,1],[8,1],[9,1],[10,1],[11,1],[12,1],[13,1],[14,1],[15,1],[16,1],[17,1],[18,1],[19,1],[20,1],[21,1],[22,1],[23,1],[24,1],[25,1],[26,1],[27,1],[28,1],[29,1],[30,1],[31,1],[32,1],[33,1],[34,1],[35,1],[36,1],[37,1],[38,1],[39,1],[40,1],[41,1],[42,1],[43,1],[44,1],[45,2],[46,1],[47,1],[48,1],[49,1],[50,1],[51,1],[52,1],[53,1],[54,1],[55,1],[56,1],[57,1],[58,1],[59,1],[60,1],[61,1],[62,1],[63,1],[64,1],[65,1],[66,1],[67,1],[68,1],[69,1],[70,1],[71,1],[72,1],[73,1],[74,1],[75,1],[76,1],[77,1],[78,1],[79,1],[80,1],[81,1],[82,1],[83,1],[84,1],[85,1],[86,1],[87,1],[88,1],[89,1],[90,1],[91,1],[92,1],[93,1],[94,1],[95,1],[96,1],[97,1],[98,1],[99,1],[101,1],[106,1]],"CZ":[[45,101],[45,106],[101,106]]},"rotation_powers":[[0,5],[1,5],[3,3],[5,5],[7,3],[8,3],[11,7],[13,5],[14,7],[15,7],[20,7],[21,3],[22,7],[23,3],[24,3],[25,3],[27,5],[28,3],[29,3],[30,3],[31,5],[33,3],[35,5],[36,3],[37,5],[38,3],[40,5],[44,3],[45,3],[46,5],[47,5],[48,7],[49,3],[50,7],[51,7],[52,3],[53,3],[55,3],[56,3],[59,5],[60,3],[61,5],[62,5],[63,7],[65,7],[67,7],[68,3],[69,3],[70,7],[71,7],[73,7],[76,5],[77,3],[78,5],[79,3],[80,3],[81,5],[82,7],[85,3],[86,5],[88,3],[89,3],[90,3],[91,3],[92,5],[93,7],[95,5],[97,7],[98,5],[106,5],[107,7],[109,5],[112,3],[118,3],[119,3],[120,5],[122,3],[123,3],[125,3],[126,3],[128,3],[130,3],[132,3],[134,3],[136,3],[138,3],[141,3],[143,3],[144,3],[145,3],[146,3],[147,3],[148,3],[154,3],[157,3],[159,3],[161,3],[162,3],[163,3],[167,3],[172,3],[173,3],[176,3],[177,3],[181,3],[182,3],[183,3],[184,3],[188,3],[189,3],[190,3],[191,3],[195,3],[196,3],[199,3],[200,3],[201,3],[202,3],[204,3],[207,3],[212,7],[214,7],[215,3],[216,5],[217,3],[219,3],[221,3],[224,3],[225,3],[227,3],[228,3],[229,3],[230,3],[231,3],[232,3],[237,3],[238,3],[239,3],[241,3],[244,3],[246,3],[247,3],[248,3],[251,3],[254,3],[255,3],[256,3],[257,3],[258,3],[260,3],[262,3],[264,3],[265,3],[268,3],[269,3],[273,3],[275,3],[276,3],[277,3],[278,3],[284,3],[286,3],[287,3],[289,3],[291,3],[294,3],[297,3],[298,3],[299,3],[301,3],[306,3],[307,3],[308,3],[309,3],[310,3],[312,3],[313,3],[315,3],[316,3],[322,3],[329,3],[333,3],[334,3],[338,3],[341,3],[342,3],[343,3],[344,3],[345,3],[347,3],[348,3],[350,3],[352,3],[356,3],[358,3],[359,3],[363,3],[364,3],[366,3],[367,3],[370,3],[372,3],[373,3],[374,3],[376,3],[378,3],[380,3],[385,3],[386,3],[390,3],[391,3],[392,3],[395,3],[398,3],[399,3],[401,3],[403,3],[404,3],[406,3],[409,3]]},"metrics":{"gamma":1.2843356917305706,"gamma_t":null,"gamma_rho":1.2843356917305706,"gamma_claim":1.2843356917305706,"gamma_t_claim":null,"gamma_rho_claim":1.2843356917305706,"v_ex":100,"rate":0.24390243902439024,"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_410_100_3_96b4627da4a3.json","label":"paired_column_contraction_410_100_3_96b4627da4a3","N":114,"d":3,"d_is_exact":true,"origin":"Existing triorthogonal code with physical paired-column contraction","provenance":"gamma frontier release record paired_column_contraction_410_100_3_96b4627da4a3 (source catalogue id paired_column_contraction_410_100_3_96b4627da4a3); construction: Existing triorthogonal code with physical paired-column contraction; matrix 96b4627da4a35d22...; the release states d=3 (exact), gamma=1.2843356917305706 (exact)","notes":"matrix gamma_frontier_release/matrices/96b4627da4a35d22884c3ead12efe67a30a52cad6f7b9c468b545f70bc97e350.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"}]}