{"id":"408.100.3.a","row":1033,"stored":{"file":"master_catalog.json","row":1033,"construction":null,"columns_sha256":null},"parameters":{"n":408,"k":100,"d":3,"N":113,"r":13,"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,105,106],[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,102,103,105,106,107,108,111],[28,105,106,107],[94,100,101,105,108],[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,102,103,104,107,108,109,112],[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,102,104,107],[91,105,106,107,108],[96,105,109],[57,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,103,105,106,107,108,109,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,100,103,104,105,106,109,111],[38,105,107,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,56,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,109,112],[27,100,102,105,110],[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,75,80,82,87,89,95,100,101,102,103,104,105,106,110,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,103,104,105,106,107,108,109,111],[0,1,4,5,10,11,13,14,16,21,25,26,27,28,32,35,37,40,41,49,51,58,59,60,61,62,65,67,68,71,72,76,77,78,81,86,87,88,90,91,92,94,95,98,99,100,101,104,105,106,107,110,111],[88,100,101,102,105,108,110],[31,105,106,108,110],[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,61,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,103,107,111],[58,105,106,109,110],[26,105,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,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,103,104,105,106,107,108,109,110,112],[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,102,103,105,106,107,109,110,112],[81,105,107,108,109,110],[25,105,106,107,108,109,110],[54,105,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,102,106,107,110,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,100,101,102,103,104,107],[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,102,105,106],[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,104,108,109,111],[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,102,103,104,105,108,111],[47,105,106,107,108,111],[0,2,4,7,12,16,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,105,106,107,108,109,111,112],[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,100,101,102,103,108,111,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,100,101,103,104,105,107,109,112],[21,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,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,102,103,108,111,112],[70,105,106,107,108,109,111],[48,105,110,111],[0,11,12,14,18,21,28,30,31,34,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,106,110],[0,2,3,4,6,8,11,12,13,14,15,16,17,19,20,22,25,31,32,33,34,35,36,38,39,41,43,44,45,47,49,51,54,55,57,58,60,63,65,66,68,70,71,72,73,75,76,79,82,83,84,86,87,89,91,92,93,94,95,96,98,100,101,102,105,106,108,109,110,112],[52,100,101,102,103],[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,86,89,91,92,93,94,96,97,99,100,101,107,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,102,103,104,105,107,108,109,110,112],[0,2,4,7,12,21,23,24,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,107,108,112],[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,102,104,107,108,109,110],[87,105,106,107,109,110,111],[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,100,101,102,103,104,105,107,109,110,112],[3,4,5,6,7,9,10,11,13,14,15,18,19,21,22,23,24,25,31,34,35,36,41,42,46,47,48,49,50,51,55,63,64,65,68,74,77,79,80,81,82,83,84,86,87,91,92,93,94,95,96,97,99,101,104,105,112],[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,100,101,108,110,111,112],[97,100,104,105,112],[35,105,107,112],[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,104,106,107,109,110],[72,105,106,108,112],[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,104,106,110,112],[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,83,84,86,89,91,92,93,94,96,97,99,100,101,102,103,104,107,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,107,108,111,112],[0,1,2,4,7,12,15,16,20,21,23,27,28,34,36,38,40,44,45,50,53,56,57,58,59,60,61,62,67,71,73,74,75,79,81,84,86,89,90,94,95,96,97,98,99,101,102,105,110,111,112],[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,102,103,108,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,100,101,107,108,111,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,100,101,103,104,106,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,102,104,105,107,109,111],[18,100,102,104,105,110,112],[0,11,12,14,18,21,28,30,31,36,37,38,41,45,53,54,55,59,60,65,67,69,71,72,73,74,80,82,87,89,95,100,101,102,103,111],[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,100,101,107],[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,103,104,107,111],[79,105,108,110,112],[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,102,103,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,103,104,106,107,108,109,110,111,112],[0,2,4,7,12,21,23,28,36,37,38,45,47,54,55,57,65,71,73,74,75,76,79,85,86,92,94,95,98,100,101,102,103,104,105,106,107,108,109,110],[77,105,107,109,110,112],[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,103,105,106,107,108,109,110],[14,105,106,108,109,110,112],[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,96,97,98,100,101,103,108,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,101,103,104,107,108,109,110,111,112],[0,11,12,14,15,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,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,104,105,107],[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,101,102,107,108,111],[73,105,106,108,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,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,102,103,107],[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,103,104,106,107,108,111,112],[19,105,106,109,111,112],[46,105,107,109,111,112],[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,102,105,106,107,108,109,111],[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,100,101,103,105,107,109],[39,105,106,108,109,111,112],[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,102,103,104,105,106,109,111],[55,100,102,103,104],[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,102,103,106,107,109,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,100,101,103,105,110,111,112],[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,104,105,106,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,100,101,102,106,109,111,112],[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,102,105,106,108,110,112],[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,100,101,103,104,106,108,109,110],[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,83,85,86,89,91,92,93,94,96,97,99,100,101,104,105,106,108,110,112],[5,10,13,15,18,21,22,23,25,26,30,31,34,35,36,39,42,46,47,48,49,55,56,57,59,62,65,67,68,69,74,76,77,79,80,82,83,84,91,93,94,95,96,97,98,101,103,105,106,110,112],[40,105,106,109,110,111,112],[98,105,107,109,110,111,112],[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,107],[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,100,101,102,103,107,108,111,112],[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,102,104,105,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,68,69,70,72,74,75,76,77,79,80,81,83,85,89,91,93,95,96,97,98,99,100,103,104,108,111,112],[22,105,106,107,108,109,110,111,112],[45,105],[0,11,12,14,18,20,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,103,104,105,106,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,63,64,65,67,69,70,73,78,81,82,83,84,85,88,92,93,95,96,97,99,101,103,104,105,106,108,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,102,103,105,106,111],[94,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,102,107,108,109,111,112],[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,83,86,89,92,93,94,96,97,99,100,101,102,103,105,106,108,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,104,105,107,108,109,111,112],[0,2,4,7,12,21,23,28,36,37,38,45,47,54,55,62,65,71,73,74,75,76,79,85,86,92,94,95,98,100,101,103,105,106,107,108,109,112],[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,100,101,102,103,105,106,107,109,110,111,112],[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,102,103,104,108,112],[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,101,103,105,106,107,108,109,112],[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,103,107,108,112],[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,102,105,107,109,111,112],[56,105,106,107,108,109],[27,105,110],[75,105,106,110],[2,7,8,10,11,15,23,25,31,34,35,36,37,41,45,53,65,68,69,72,73,74,75,76,86,87,89,92,95,100,101,103,105,106,108,109,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,101,103,104,105,106,110],[88,105,108,110],[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,102,103,104,105,106,108,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,77,81,82,83,86,87,91,92,93,94,95,96,97,99,100,104,107],[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,102,104,107,108,111,112],[0,2,4,7,12,21,23,28,36,37,38,45,47,54,55,57,58,62,65,71,73,74,75,76,79,85,86,92,94,95,98,100,101,102,103,105,106,107,108,109,110,112],[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,100,101,105,107,108,109,110,111,112],[95,105,106,107,109,110],[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,100,101,102,104,107,108,111,112],[13,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,67,68,69,70,72,74,75,76,77,79,80,83,85,89,91,93,95,96,97,98,99,100,105,107,109,110,111,112],[0,1,2,3,4,6,8,11,12,13,15,19,22,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,103,104,105,106,107,109,110,112],[54,100,103,105,111],[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,101,102,104,106,107,110],[80,105,106,107,111],[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,100,101,103,104,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,104,111],[33,105,107,108,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,47,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,105,106,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,100,103,104,107,108,111,112],[16,105,106,109,111],[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,102,104,108,112],[64,105,108,109,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,105,106,107,109,111,112],[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,71,73,75,76,77,79,81,82,83,85,87,91,93,96,97,98,99,100,101,102,104,105,106,107,109,111,112],[48,100,102,103,105,110,111],[34,105,106,110,111],[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,100,101,103,104,107],[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,101,102,105,106,107,108,109,110,111,112],[78,105,106,108,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,86,87,89,91,92,93,94,95,96,97,99,100,103,104,107],[37,105,109,110,111],[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,100,101,102,103,104,107,109,110,111,112],[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,104,105,106,107,108,109,110,111,112],[10,105,108,109,110,111],[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,100,101,102,104,105,107,108],[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,101,103,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,77,79,81,82,83,85,87,91,93,96,97,98,99,100,101,104,108,112],[97,105,112],[0,11,12,14,18,21,28,30,31,36,37,38,41,53,54,55,59,65,67,69,71,72,73,74,80,82,87,89,95,101,103,105,111],[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,100,101,102,105,112],[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,102,103,104,107,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,101,106,107,109,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,103,105,106,108,111,112],[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,102,104,106,107,110,112],[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,102,103,104,105,107,108,110,111],[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,100,101,102,104,108,111,112],[1,3,5,6,7,8,9,11,12,13,15,17,18,19,22,27,28,29,30,32,33,35,36,37,38,39,43,47,48,51,52,53,56,60,61,62,64,66,67,68,69,71,76,80,81,86,89,92,93,94,97,98,99,101,106,107,108,109,111,112],[50,105,107,108,109,112],[0,1,2,3,4,6,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,108,112],[18,105,110,112],[79,100,101,102,104,105,108,110,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,90,91,92,93,94,95,96,97,99,100,107],[8,11,15,16,18,25,34,37,38,40,47,53,54,55,57,59,62,65,67,69,71,74,75,76,78,85,89,91,92,101,106,108,109,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,100,102,107,108,111,112],[62,105,106,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,76,79,80,81,83,85,89,91,93,95,96,97,98,99,100,101,104,105,107,108,109,110,111],[51,105,106,107,109,110,112],[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,100,101,102,107,108,111,112],[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,102,103,104,105,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,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,104,108,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,100,101,107,108,109,110,111,112],[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,100,101,102,103,107],[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,102,105,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,102,103,104,107,108,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,105,106,108,112],[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,100,101,102,103,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,100,103,107,108,111,112],[0,2,4,7,12,19,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,104,105,106,107,108,109,111],[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,100,101,102,103,104,105,107,108,109],[41,105,106,107,109,111,112],[68,105,108,109,111,112],[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,104,105,106,107,109,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,108,109,112],[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,92,93,96,97,98,99,100,101,102,108,112],[0,2,5,6,8,9,10,14,15,16,18,22,23,26,27,28,29,30,33,35,39,40,41,43,46,48,49,50,55,56,57,58,59,66,67,69,70,71,72,74,75,76,78,79,83,85,88,89,92,93,96,97,98,101,103,106,107,109,110,111,112],[17,105,107,110,111,112],[82,105,106,107,110,111,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,103,104,106,109,111,112],[66,105,106,108,110,111,112],[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,101,104,106,107,108,109,110],[85,105,106,107,108,110,111,112],[2,4,5,7,10,11,13,14,15,21,22,25,26,34,35,36,39,41,42,46,48,49,53,55,56,65,68,72,74,75,77,83,84,85,86,87,89,91,92,93,95,96,97,100,101,102,105,106,107,108,110,111],[0,2,4,7,12,21,23,28,36,37,38,40,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,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,100,101,103,104,105,107,108,109,110],[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,112],[0,105,106,108,109,110,111,112],[0,1,2,3,4,6,8,11,12,13,15,19,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,105,106,107,109,110,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,102,103,106,108,111],[94,100,101],[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,102,103,104,105,106,107,109,112],[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,102,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,103,106,108,110],[3,105,106,107,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,103,104,106,108,111],[30,105,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,56,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,108,112],[27,100,102],[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,75,80,82,87,89,95,100,101,102,103,104,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,103,104,106,108,109,110,111],[0,1,4,5,10,11,13,14,16,21,25,26,27,28,32,35,37,40,41,49,51,58,59,60,61,62,65,67,68,71,72,76,77,78,81,86,87,88,90,91,92,94,95,98,99,100,101,104,111],[88,100,101,102],[74,105,107,108,110],[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,61,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,103,105,106,108,110,111],[11,105,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,87,91,93,95,96,97,98,99,100,103,104,108,112],[86,105,108,109,110],[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,102,103,107,108,112],[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,102,105,107,110],[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,100,101,102,103,104,105,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,102,107,111],[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,104,105,109],[93,105,106,108,111],[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,102,103,104,107],[63,105,109,111],[0,2,4,7,12,16,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,107,108,112],[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,100,101,102,103,105,107,108,109,112],[29,105,106,107,109,111],[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,100,101,103,104,107,108,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,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,102,103,105,107,109,112],[0,11,12,14,18,21,28,30,31,34,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,111],[2,105,107,110,111],[0,2,3,4,6,8,11,12,13,14,15,16,17,19,20,22,25,31,32,33,34,35,36,38,39,41,43,44,45,47,49,51,54,55,57,58,60,63,65,66,68,70,71,72,73,75,76,79,82,83,84,86,87,89,91,92,93,94,95,96,98,100,101,102,107,108,109,111,112],[52,100,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,72,73,74,78,80,82,87,89,95,100,102,104,111],[89,105,107,108,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,86,89,91,92,93,94,96,97,99,100,101,105,106,108,110],[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,102,103,104,107,108,111,112],[0,2,4,7,12,21,23,24,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,105,106,107,108,109,110,111,112],[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,102,104,105,108,111],[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,100,101,102,103,104,107,108,111,112],[3,4,5,6,7,9,10,11,13,14,15,18,19,21,22,23,24,25,31,34,35,36,41,42,46,47,48,49,50,51,55,63,64,65,68,74,77,79,80,81,82,83,84,86,87,91,92,93,94,95,96,97,99,101,104,106,108,109,110,111,112],[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,100,101,105,107,109,112],[76,105,106,107,108,109,110,111],[97,100,104],[45,100,106,112],[43,105,106,107,112],[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,104,105,106,107,108,109,110,112],[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,104,105,106,107,108,110],[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,83,84,86,89,91,92,93,94,96,97,99,100,101,102,103,104,105,106,108,111,112],[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,105,107,108,109,111],[0,1,2,4,7,12,15,16,20,21,23,27,28,34,36,38,40,44,45,50,53,56,57,58,59,60,61,62,67,71,73,74,75,79,81,84,86,89,90,94,95,96,97,98,99,101,102,106,109,110,111],[9,105,107,109,112],[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,102,103,105,106,107,108,109],[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,100,101,105,107,109,111],[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,100,101,103,104,105,108,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,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,102,104,108,111,112],[8,105,106,107,108,109,112],[18,100,102,104],[0,11,12,14,18,21,28,30,31,36,37,38,41,45,53,54,55,59,60,65,67,69,71,72,73,74,80,82,87,89,95,100,101,102,103,105,106,110,111,112],[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,100,101,105,110,112],[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,103,104,105,106,110,111,112],[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,102,103,105,106,108,110,111,112],[90,105,107,108,110,112],[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,103,104,105,109,111],[1,105,109,110,112],[0,2,4,7,12,21,23,28,36,37,38,45,47,54,55,57,65,71,73,74,75,76,79,85,86,92,94,95,98,100,101,102,103,104,107,108,112],[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,103,108,112],[32,105,108,109,110,112],[71,105,107,108,109,110,112],[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,96,97,98,100,101,103,105,106,107,109,110],[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,103,104,105,107,108,109,110],[0,11,12,14,15,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,105,106,112],[23,105,107,111,112],[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,104,106,111,112],[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,101,102,105,107,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,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,102,103,105,108,111,112],[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,103,104,105],[65,105,109,111,112],[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,102,108,112],[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,100,101,103,107,108,111,112],[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,102,103,104,106,107,108,112],[92,105,106,107,108,109,111,112],[55,100,102,103,104,105,110,111,112],[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,102,103,105,107,109,111],[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,100,101,103,107],[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,104,107,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,100,101,102,105,106,108,109,110],[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,102,111],[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,100,101,103,104,105,106,107,109,111,112],[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,83,85,86,89,91,92,93,94,96,97,99,100,101,104,107,111],[5,10,13,15,18,21,22,23,25,26,30,31,34,35,36,39,42,46,47,48,49,55,56,57,59,62,65,67,68,69,74,76,77,79,80,82,83,84,91,93,94,95,96,97,98,101,103,106,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,106,109,110,111,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,100,101,102,103,105,107,109,110],[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,102,104,107,108,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,68,69,70,72,74,75,76,77,79,80,81,83,85,89,91,93,95,96,97,98,99,100,103,104,105,107,109,110],[0,11,12,14,18,20,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,103,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,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,101,103,104,106,107,108,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,102,103,107,111],[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,102,105,106,107,109,111,112],[44,105,107,108],[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,83,86,89,92,93,94,96,97,99,100,101,102,103,107,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,104,107,108,111,112],[0,2,4,7,12,21,23,28,36,37,38,45,47,54,55,62,65,71,73,74,75,76,79,85,86,92,94,95,98,100,101,103,107,108,112],[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,100,101,102,103,106,110,111,112],[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,102,103,104,105,106,107,108,109,112],[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,101,103,106,107,112],[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,103,105,106,107,109,112],[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,102,108,111,112],[2,7,8,10,11,15,23,25,31,34,35,36,37,41,45,53,65,68,69,72,73,74,75,76,86,87,89,92,95,100,101,103,106,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,101,103,104,107],[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,102,103,104,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,100,104,105,108,110],[61,105,106,107,108,110],[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,102,104,105,107,108,109,110,111,112],[0,2,4,7,12,21,23,28,36,37,38,45,47,54,55,57,58,62,65,71,73,74,75,76,79,85,86,92,94,95,98,100,101,102,103,107,108,112],[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,100,101,108,111,112],[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,100,101,102,104,105,107,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,77,79,80,83,85,89,91,93,95,96,97,98,99,100,108,111,112],[0,1,2,3,4,6,8,11,12,13,15,19,22,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,103,104,108,112],[54,100,103],[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,101,102,104,105,107,110,111],[42,105,107,111],[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,100,101,103,104,105,109],[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,104,105,106,108],[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,47,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,107,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,103,104,105,107,108,109,112],[4,105,107,109,111],[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,102,104,105,106,107,108,109,111,112],[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,107,108,112],[59,105,107,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,51,52,54,57,59,60,63,64,68,71,73,75,76,77,79,81,82,83,85,87,91,93,96,97,98,99,100,101,102,104,108,112],[48,100,102,103],[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,100,101,103,104,105,110,111],[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,101,102,108,109,112],[52,105,108,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,86,87,89,91,92,93,94,95,96,97,99,100,103,104,105,108,110,111],[83,105,106,107,108,110,111],[24,105,106,109,110,111],[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,100,101,102,103,104,105,112],[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,104,108,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,100,101,102,104,106,107,109,110,111],[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,101,103,105,107,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,51,52,54,57,59,60,63,64,68,70,71,73,75,77,79,81,82,83,85,87,91,93,96,97,98,99,100,101,104,105,106,107,109,110,111,112],[0,11,12,14,18,21,28,30,31,36,37,38,41,53,54,55,59,65,67,69,71,72,73,74,80,82,87,89,95,101,103,106,111,112],[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,100,101,102,107],[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,102,103,104,105,106,111,112],[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,101,105,106,107,108,109,110,112],[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,103,111],[84,105,106,107,108,112],[69,105,109,112],[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,102,103,104,106,107,108,109,110,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,100,101,102,104,105,107,108,109,111],[36,105,106,107,109,112],[7,105,108,109,112],[1,3,5,6,7,8,9,11,12,13,15,17,18,19,22,27,28,29,30,32,33,35,36,37,38,39,43,47,48,51,52,53,56,60,61,62,64,66,67,68,69,71,76,80,81,86,89,92,93,94,97,98,99,101,105,107,111],[0,1,2,3,4,6,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,105,106,107,109],[60,105,106,110,112],[49,105,107,110,112],[12,105,106,107,110,112],[79,100,101,102,104],[5,105,106,108,110,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,90,91,92,93,94,95,96,97,99,100,105,108,110,112],[8,11,15,16,18,25,34,37,38,40,47,53,54,55,57,59,62,65,67,69,71,74,75,76,78,85,89,91,92,101,105,107,109],[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,102,105,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,79,80,81,83,85,89,91,93,95,96,97,98,99,100,101,104,108,111,112],[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,100,101,102,105,107,109,110,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,102,103,104,107,108,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,100,104,105,107,109,110,111],[99,105,106,107,108,109,110,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,100,101,105,107,108,109,110],[15,105,106,111,112],[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,100,101,102,103,105,111,112],[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,102,106,107,112],[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,102,103,104,105,107,112],[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,111],[53,105,107,108,111,112],[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,100,101,102,103,105,107,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,103,105,107,108,109],[0,2,4,7,12,19,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,104,107,108,112],[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,100,101,102,103,104,108,111,112],[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,104,107,108,112],[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,106,107,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,51,52,54,57,59,60,63,64,68,70,71,73,75,76,77,79,81,82,83,85,87,91,92,93,96,97,98,99,100,101,102,105,106,107,109,111],[55,105,110,111,112],[0,2,5,6,8,9,10,14,15,16,18,22,23,26,27,28,29,30,33,35,39,40,41,43,46,48,49,50,55,56,57,58,59,66,67,69,70,71,72,74,75,76,78,79,83,85,88,89,92,93,96,97,98,101,103,105,107,109],[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,103,104,105,106,108,109,110],[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,101,104,105,106,109,111,112],[2,4,5,7,10,11,13,14,15,21,22,25,26,34,35,36,39,41,42,46,48,49,53,55,56,65,68,72,74,75,77,83,84,85,86,87,89,91,92,93,95,96,97,100,101,102,106,107,108,109,112],[0,2,4,7,12,21,23,28,36,37,38,40,45,47,54,55,57,62,65,71,73,74,75,76,79,85,86,92,94,95,98,100,101,102,104,107,108,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,77,79,80,81,83,85,89,91,93,95,96,97,99,100,101,103,104,108,111,112],[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,106,108,109,110,111],[6,105,108,109,110,111,112],[67,105,107,108,109,110,111,112],[0,1,2,3,4,6,8,11,12,13,15,19,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,108,112]]},"distance":{"d":3,"is_exact":true,"upper":3,"witness":[0,4,318],"A_d":1434,"certified":null},"clifford":{"kind":"powers","correction":{"S":[[0,2],[1,1],[2,1],[3,1],[4,1],[5,1],[6,1],[7,1],[8,1],[9,1],[10,1],[11,2],[12,2],[13,1],[14,2],[15,1],[16,1],[17,1],[18,2],[19,1],[20,1],[21,2],[22,1],[23,1],[24,1],[25,1],[26,1],[27,1],[28,2],[29,1],[30,2],[31,2],[32,1],[33,1],[34,1],[35,1],[36,2],[37,2],[38,2],[39,1],[40,1],[41,2],[42,1],[43,1],[44,1],[45,3],[46,1],[47,1],[48,1],[49,1],[50,1],[51,1],[52,1],[53,2],[54,2],[55,2],[56,1],[57,1],[58,1],[59,2],[60,1],[61,1],[62,1],[63,1],[64,1],[65,2],[66,1],[67,2],[68,1],[69,2],[70,1],[71,2],[72,2],[73,2],[74,2],[75,1],[76,1],[77,1],[78,2],[79,1],[80,2],[81,1],[82,2],[83,1],[84,1],[85,1],[86,1],[87,2],[88,1],[89,2],[90,1],[91,1],[92,1],[93,1],[94,1],[95,2],[96,1],[97,1],[98,1],[99,1],[100,2],[102,1],[104,1],[105,2],[106,1],[108,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,102],[0,104],[0,105],[0,106],[0,108],[0,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,102],[11,104],[11,105],[11,106],[11,108],[11,110],[12,14],[12,18],[12,21],[12,28],[12,30],[12,31],[12,36],[12,37],[12,38],[12,41],[12,45],[12,53],[12,54],[12,55],[12,59],[12,65],[12,67],[12,69],[12,71],[12,72],[12,73],[12,74],[12,78],[12,80],[12,82],[12,87],[12,89],[12,95],[12,100],[12,102],[12,104],[12,105],[12,106],[12,108],[12,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,102],[14,104],[14,105],[14,106],[14,108],[14,110],[18,21],[18,28],[18,30],[18,31],[18,36],[18,37],[18,38],[18,41],[18,45],[18,53],[18,54],[18,55],[18,59],[18,65],[18,67],[18,69],[18,71],[18,72],[18,73],[18,74],[18,78],[18,80],[18,82],[18,87],[18,89],[18,95],[18,100],[18,102],[18,104],[18,105],[18,106],[18,108],[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,102],[21,104],[21,105],[21,106],[21,108],[21,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,102],[28,104],[28,105],[28,106],[28,108],[28,110],[30,31],[30,36],[30,37],[30,38],[30,41],[30,45],[30,53],[30,54],[30,55],[30,59],[30,65],[30,67],[30,69],[30,71],[30,72],[30,73],[30,74],[30,78],[30,80],[30,82],[30,87],[30,89],[30,95],[30,100],[30,102],[30,104],[30,105],[30,106],[30,108],[30,110],[31,36],[31,37],[31,38],[31,41],[31,45],[31,53],[31,54],[31,55],[31,59],[31,65],[31,67],[31,69],[31,71],[31,72],[31,73],[31,74],[31,78],[31,80],[31,82],[31,87],[31,89],[31,95],[31,100],[31,102],[31,104],[31,105],[31,106],[31,108],[31,110],[36,37],[36,38],[36,41],[36,45],[36,53],[36,54],[36,55],[36,59],[36,65],[36,67],[36,69],[36,71],[36,72],[36,73],[36,74],[36,78],[36,80],[36,82],[36,87],[36,89],[36,95],[36,100],[36,102],[36,104],[36,105],[36,106],[36,108],[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,102],[37,104],[37,105],[37,106],[37,108],[37,110],[38,41],[38,45],[38,53],[38,54],[38,55],[38,59],[38,65],[38,67],[38,69],[38,71],[38,72],[38,73],[38,74],[38,78],[38,80],[38,82],[38,87],[38,89],[38,95],[38,100],[38,102],[38,104],[38,105],[38,106],[38,108],[38,110],[41,45],[41,53],[41,54],[41,55],[41,59],[41,65],[41,67],[41,69],[41,71],[41,72],[41,73],[41,74],[41,78],[41,80],[41,82],[41,87],[41,89],[41,95],[41,100],[41,102],[41,104],[41,105],[41,106],[41,108],[41,110],[45,53],[45,54],[45,55],[45,59],[45,65],[45,67],[45,69],[45,71],[45,72],[45,73],[45,74],[45,78],[45,80],[45,82],[45,87],[45,89],[45,95],[45,102],[45,104],[45,106],[45,108],[45,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,102],[53,104],[53,105],[53,106],[53,108],[53,110],[54,55],[54,59],[54,65],[54,67],[54,69],[54,71],[54,72],[54,73],[54,74],[54,78],[54,80],[54,82],[54,87],[54,89],[54,95],[54,100],[54,102],[54,104],[54,105],[54,106],[54,108],[54,110],[55,59],[55,65],[55,67],[55,69],[55,71],[55,72],[55,73],[55,74],[55,78],[55,80],[55,82],[55,87],[55,89],[55,95],[55,100],[55,102],[55,104],[55,105],[55,106],[55,108],[55,110],[59,65],[59,67],[59,69],[59,71],[59,72],[59,73],[59,74],[59,78],[59,80],[59,82],[59,87],[59,89],[59,95],[59,100],[59,102],[59,104],[59,105],[59,106],[59,108],[59,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,102],[65,104],[65,105],[65,106],[65,108],[65,110],[67,69],[67,71],[67,72],[67,73],[67,74],[67,78],[67,80],[67,82],[67,87],[67,89],[67,95],[67,100],[67,102],[67,104],[67,105],[67,106],[67,108],[67,110],[69,71],[69,72],[69,73],[69,74],[69,78],[69,80],[69,82],[69,87],[69,89],[69,95],[69,100],[69,102],[69,104],[69,105],[69,106],[69,108],[69,110],[71,72],[71,73],[71,74],[71,78],[71,80],[71,82],[71,87],[71,89],[71,95],[71,100],[71,102],[71,104],[71,105],[71,106],[71,108],[71,110],[72,73],[72,74],[72,78],[72,80],[72,82],[72,87],[72,89],[72,95],[72,100],[72,102],[72,104],[72,105],[72,106],[72,108],[72,110],[73,74],[73,78],[73,80],[73,82],[73,87],[73,89],[73,95],[73,100],[73,102],[73,104],[73,105],[73,106],[73,108],[73,110],[74,78],[74,80],[74,82],[74,87],[74,89],[74,95],[74,100],[74,102],[74,104],[74,105],[74,106],[74,108],[74,110],[78,80],[78,82],[78,87],[78,89],[78,95],[78,100],[78,102],[78,104],[78,105],[78,106],[78,108],[78,110],[80,82],[80,87],[80,89],[80,95],[80,100],[80,102],[80,104],[80,105],[80,106],[80,108],[80,110],[82,87],[82,89],[82,95],[82,100],[82,102],[82,104],[82,105],[82,106],[82,108],[82,110],[87,89],[87,95],[87,100],[87,102],[87,104],[87,105],[87,106],[87,108],[87,110],[89,95],[89,100],[89,102],[89,104],[89,105],[89,106],[89,108],[89,110],[95,100],[95,102],[95,104],[95,105],[95,106],[95,108],[95,110],[100,102],[100,104],[100,106],[100,108],[100,110],[102,104],[102,105],[102,106],[102,108],[102,110],[104,105],[104,106],[104,108],[104,110],[105,106],[105,108],[105,110],[106,108],[106,110],[108,110]]},"rotation_powers":[[1,7],[2,3],[3,5],[4,3],[5,5],[6,7],[7,5],[8,3],[9,7],[10,3],[11,7],[12,3],[13,7],[14,5],[15,3],[16,5],[17,7],[19,7],[20,3],[21,3],[23,3],[24,3],[26,7],[27,5],[28,3],[29,7],[32,7],[33,3],[34,3],[35,5],[36,7],[37,7],[38,5],[39,7],[40,7],[41,7],[42,5],[44,3],[45,5],[46,5],[47,5],[48,7],[49,5],[52,5],[53,3],[55,5],[56,5],[58,5],[61,5],[63,3],[64,3],[65,7],[66,7],[67,7],[68,7],[69,7],[70,7],[71,3],[72,5],[73,7],[74,7],[75,3],[76,7],[77,7],[79,5],[80,3],[81,7],[82,7],[83,3],[84,5],[85,5],[86,3],[90,7],[92,7],[93,7],[97,7],[98,7],[104,3],[105,7],[106,5],[108,7],[111,3],[119,7],[121,3],[123,3],[125,3],[126,3],[127,3],[128,3],[130,3],[131,3],[132,3],[134,3],[136,3],[138,3],[140,3],[141,3],[142,3],[143,3],[145,3],[154,3],[155,3],[157,3],[158,3],[160,3],[162,3],[165,3],[166,3],[167,3],[169,3],[170,3],[172,3],[173,3],[174,3],[175,3],[176,3],[177,3],[178,3],[180,3],[181,3],[182,3],[183,3],[184,3],[185,3],[188,3],[189,3],[190,3],[191,3],[194,3],[196,3],[197,3],[199,3],[202,3],[203,3],[204,3],[207,3],[208,3],[209,3],[211,5],[213,5],[214,3],[215,7],[218,3],[220,3],[221,3],[224,3],[226,3],[228,3],[230,3],[231,3],[233,3],[236,3],[238,3],[239,3],[241,3],[242,3],[245,3],[259,3],[260,3],[261,3],[263,3],[265,3],[266,3],[267,3],[271,3],[274,3],[277,3],[279,3],[280,3],[282,3],[284,3],[287,3],[290,3],[292,3],[293,3],[297,3],[300,3],[302,3],[304,3],[305,3],[306,3],[310,3],[312,3],[318,3],[319,3],[324,3],[326,3],[328,3],[329,3],[331,3],[332,3],[333,3],[334,3],[338,3],[340,3],[342,3],[343,3],[344,3],[346,3],[348,3],[349,3],[350,3],[351,3],[352,3],[354,3],[355,3],[356,3],[357,3],[362,3],[364,3],[368,3],[369,3],[372,3],[373,3],[376,3],[378,3],[380,3],[381,3],[383,3],[386,3],[388,3],[390,3],[392,3],[393,3],[394,3],[397,3],[406,3]]},"metrics":{"gamma":1.279884635298169,"gamma_t":null,"gamma_rho":1.279884635298169,"gamma_claim":1.279884635298169,"gamma_t_claim":null,"gamma_rho_claim":1.279884635298169,"v_ex":100,"rate":0.24509803921568626,"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_408_100_3_3770b737c8bc.json","label":"paired_column_contraction_408_100_3_3770b737c8bc","N":113,"d":3,"d_is_exact":true,"origin":"Existing triorthogonal code with physical paired-column contraction","provenance":"gamma frontier release record paired_column_contraction_408_100_3_3770b737c8bc (source catalogue id paired_column_contraction_408_100_3_3770b737c8bc); construction: Existing triorthogonal code with physical paired-column contraction; matrix 3770b737c8bced91...; the release states d=3 (exact), gamma=1.279884635298169 (exact)","notes":"matrix gamma_frontier_release/matrices/3770b737c8bced91f17781da9e446a29f17a5728e11854076fe41750a303f48a.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"}]}