{"id":"430.80.4.a","row":1051,"stored":{"file":"master_catalog.json","row":1051,"construction":null,"columns_sha256":null},"parameters":{"n":430,"k":80,"d":4,"N":101,"r":21,"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","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","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]],"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]],"sk_fingerprint":"d11392ce54687804","sk_canonical_frame":true,"relabelled_into_canonical_frame":false},"circuit":{"columns":[[46,92],[41,92,93],[35,92,94],[0,1,7,8,10,11,12,15,16,19,20,21,24,25,26,27,29,30,32,33,34,35,36,38,42,43,45,46,47,49,50,55,56,57,59,61,63,67,69,70,73,74,75,77,79,82,83,84,87,91,92,93,95,97,100],[0,5,7,12,17,18,19,20,25,26,27,28,31,33,34,44,45,47,48,49,51,52,54,55,57,58,60,62,65,66,68,70,71,73,74,77,79,80,81,82,86,88,91,92,99],[1,2,3,4,5,6,9,13,16,19,20,22,24,25,28,29,32,41,42,43,45,46,47,49,50,51,52,53,54,55,56,58,61,65,66,68,70,72,73,74,77,80,84,86,87,88,90,94,96,100],[1,2,10,12,13,15,18,19,24,30,32,33,36,37,39,41,43,44,45,47,49,51,52,53,55,57,58,60,62,63,67,70,72,73,75,76,78,81,82,83,84,90,91,92,94,96,97,98,99,100],[4,5,8,10,13,15,16,18,21,22,23,25,26,27,32,34,36,39,41,43,45,46,49,56,57,61,62,65,70,72,73,74,75,76,78,82,83,85,86,89,92,93,94,96,97,98,99],[0,1,4,5,6,8,10,15,16,21,22,23,25,26,27,28,31,32,34,35,36,38,40,41,45,49,51,57,60,61,62,64,65,66,67,69,71,72,74,75,78,80,81,83,85,86,90,92,93,94,98,100],[2,3,5,6,7,9,15,16,19,20,23,24,27,30,31,34,36,37,39,43,45,46,48,49,60,61,63,65,66,68,69,70,73,74,75,76,77,80,83,84,85,86,87,89,90,91,96,97,99,100],[62,92,95,96],[15,92,93,95,96],[2,5,9,10,11,12,13,14,15,16,19,21,22,27,30,31,35,37,38,39,40,42,45,46,47,48,49,52,54,55,56,57,62,65,66,68,73,74,75,76,78,80,82,84,85,88,89,92,98,99,100],[0,1,4,6,7,8,9,10,14,15,17,18,23,25,28,32,33,34,36,37,38,41,42,43,47,48,54,55,58,59,61,64,66,67,69,73,74,80,81,82,83,84,86,87,88,89,92,93,94,95,99],[2,7,8,11,12,13,14,17,18,19,22,23,26,29,30,31,33,35,36,40,43,45,50,51,54,56,58,59,60,61,62,65,68,70,71,72,76,78,79,81,83,86,87,88,90,93,94,96],[2,6,7,8,9,10,13,14,15,16,18,21,22,24,25,26,27,33,34,35,41,42,45,46,49,52,53,54,55,56,57,58,64,65,66,69,72,75,79,80,82,83,84,85,86,95,99,100],[2,3,5,6,9,11,13,16,17,19,20,22,23,24,25,29,31,34,41,43,45,47,49,50,51,52,53,54,55,61,62,64,65,66,67,69,73,74,76,77,79,81,89,91,93,97,98],[0,2,4,5,8,9,10,11,14,15,18,23,24,25,28,33,34,36,37,38,39,41,42,47,48,52,54,56,58,59,61,64,68,69,72,75,78,81,83,86,93,95,97,98],[0,2,4,5,6,7,8,9,10,12,13,14,15,18,21,24,25,27,28,29,30,33,34,36,39,40,41,43,44,48,49,50,51,54,56,58,59,62,67,68,72,73,74,75,76,80,84,88,91,95,97,98,99,100],[17,28,31,34,39,68,79,80,81,82,84,86,87,89,90,98,99],[1,2,7,9,12,13,16,18,22,24,26,27,28,29,33,39,43,44,45,46,48,50,54,56,57,58,60,64,72,73,76,80,86,89,91,92,94,100],[1,5,8,10,16,17,18,19,25,27,28,30,31,32,33,36,39,41,45,46,49,51,55,59,61,64,65,70,71,76,79,80,81,82,83,86,87,88,90,92,94,95,96,97,98,99,100],[4,8,9,11,13,18,19,21,25,27,29,31,32,34,35,36,37,39,41,46,48,50,54,57,59,60,62,63,67,68,70,71,72,73,77,80,81,82,83,85,87,88,90,91,92,94,95,97],[17,39,56,68,69,70,79,80,81,83,84,86,87,88,90,98,99,100],[20,92,93,94,96,97],[2,4,6,9,10,14,15,17,18,20,24,25,26,28,31,33,34,36,37,38,39,40,41,43,47,48,52,53,55,56,58,59,62,63,64,67,69,71,73,78,79,80,82,83,84,87,89,90,91,94,96,99],[0,1,3,4,5,10,11,12,13,14,15,16,19,20,21,22,24,27,30,31,32,33,35,37,39,40,42,45,46,48,49,51,52,53,54,55,57,58,60,63,65,66,67,69,70,71,73,74,75,76,77,78,79,80,81,82,87,89,90,92,94,95,98,99],[0,1,2,4,5,9,11,13,15,16,19,22,23,24,25,29,31,32,34,39,41,43,45,46,47,49,50,51,52,55,56,58,62,63,65,66,67,70,71,74,77,80,83,84,86,87,88,89,90,91,93,95,96,97,98,99,100],[42,92,93,94,95,96,97],[0,2,3,5,6,7,8,9,11,12,15,16,18,19,20,21,22,23,25,27,29,32,33,34,35,36,38,39,40,41,43,45,48,49,50,51,53,54,55,56,59,61,62,63,65,67,68,70,71,72,73,76,78,81,82,86,88,91,93,94,96,99,100],[4,5,6,7,12,14,16,19,20,21,22,24,27,28,29,30,33,34,36,37,40,42,43,45,46,47,49,50,52,53,54,55,58,59,62,63,64,65,67,69,70,71,73,75,76,80,81,83,84,88,91,94,95,96,97,99,100],[0,3,4,7,9,10,12,14,15,19,21,24,27,28,35,39,43,47,51,52,53,54,56,59,60,63,64,66,68,69,70,71,73,74,75,77,78,80,81,82,86,87,90,92,94,95,96,98,99,100],[0,1,2,4,5,6,7,11,12,13,14,15,16,17,18,19,21,25,29,31,32,34,35,41,43,45,46,49,50,51,54,56,57,58,64,65,66,67,68,70,71,72,74,75,79,81,83,84,87,89,90,94,95,98],[0,3,4,8,9,11,12,14,18,20,23,24,26,29,30,33,35,36,42,50,52,53,57,58,60,62,63,64,67,68,69,70,71,72,76,78,79,83,84,85,86,91],[4,92,96,98],[1,2,3,6,8,9,16,17,20,21,22,23,25,26,28,29,31,32,34,35,36,38,40,41,42,43,44,45,46,47,50,52,53,56,57,60,61,63,66,67,72,74,77,78,79,81,82,84,92,94,98,100],[1,2,3,7,8,10,12,15,20,21,25,26,27,30,31,32,34,35,36,37,38,40,41,46,48,49,53,54,56,60,62,64,66,69,71,72,73,74,75,76,77,81,82,83,84,87,91,92,94,95,96,97,98,99,100],[0,1,4,6,7,8,9,10,14,15,17,18,23,24,25,28,32,33,34,36,37,38,40,41,42,43,44,47,48,54,55,57,58,59,61,64,67,69,73,74,75,80,81,83,84,86,87,89,91,95,96,100],[0,1,2,4,5,6,7,10,11,12,13,14,15,16,21,22,23,27,29,32,34,35,39,46,49,50,55,60,61,62,64,65,69,71,72,75,78,80,88,93,95,98,99],[0,1,4,5,6,8,10,15,21,22,23,25,26,27,28,31,34,35,36,40,41,45,49,51,57,60,61,62,64,65,66,67,70,71,74,75,78,80,81,82,83,84,86,88,90,91,92,93,94,95,97,98,99],[0,2,3,5,6,7,9,10,12,15,16,17,20,22,23,28,30,36,37,45,46,48,56,57,61,63,65,66,67,73,75,76,77,78,79,80,82,84,85,86,90,92,93,94,95,97,98],[2,3,4,5,6,7,8,11,13,16,17,20,21,22,23,24,27,28,31,32,36,37,39,40,43,45,46,48,49,51,53,57,59,60,61,62,63,64,65,68,71,72,76,77,79,80,83,89,90,93,95,97,100],[0,1,2,3,10,11,13,15,17,20,21,24,26,27,29,30,31,32,34,35,38,39,40,43,47,48,50,51,52,53,54,55,57,60,68,71,72,76,77,78,79,81,82,83,84,85,92,93,95,97,100],[0,6,8,9,10,11,13,14,18,19,23,33,36,38,39,40,42,43,46,48,51,58,59,60,61,62,71,72,75,80,81,86,88,92,93,95,96,97,98,99],[3,4,6,7,10,11,12,14,19,20,22,23,24,27,29,35,36,38,40,42,43,47,50,54,55,56,60,61,62,63,68,69,70,73,77,78,79,82,83,86,87,88,89,91,92,98,99,100],[17,28,31,39,59,68,79,86,87,89,90,99],[1,2,4,5,8,9,12,14,17,18,19,21,23,24,25,27,28,31,32,34,35,37,39,40,42,44,45,47,48,52,53,55,56,57,59,61,62,63,70,71,73,78,79,80,82,84,85,87,91,93,95,97],[1,2,9,10,11,12,13,14,15,16,19,21,22,27,29,30,31,32,35,37,38,42,43,45,47,48,50,51,54,55,56,60,62,64,65,67,68,69,70,71,72,73,74,75,76,78,79,80,82,89,91,92,94,97,98,99],[2,3,4,7,8,10,12,14,15,16,17,19,22,23,24,25,26,27,28,29,34,36,38,39,40,44,46,50,51,53,56,57,62,63,64,67,72,75,79,81,83,86,87,88,89,90,93,94,95,97,98,99,100],[1,2,5,7,11,12,13,14,18,19,26,29,30,32,38,39,40,49,50,51,56,57,59,61,63,64,66,68,69,70,72,74,76,81,82,83,85,86,88,92,99,100],[5,6,9,10,11,12,13,15,16,18,20,23,24,25,26,29,31,33,34,37,40,43,45,46,48,50,54,56,57,59,60,61,63,64,66,67,68,69,71,72,73,75,77,80,81,84,85,87,89,92,93,95,96,100],[17,32,39,67,68,72,79,80,81,82,83,84,86,87,90,91],[0,2,3,4,5,6,7,10,11,12,13,14,15,16,17,19,21,22,23,25,27,29,31,32,34,35,41,45,46,49,50,54,56,60,62,65,70,71,72,75,76,78,79,81,83,84,86,87,90,93,98,99,100],[1,5,8,15,17,21,22,26,28,32,35,36,38,39,44,45,49,54,56,58,59,60,62,63,64,65,66,68,71,73,74,78,79,80,81,84,85,87,90,91,93,97,98,99,100],[17,18,35,39,49,68,79,86,87,88,89,91,99,100],[0,1,3,8,11,12,17,18,19,20,21,24,25,26,27,31,32,33,34,35,36,37,38,39,41,43,44,45,48,51,52,53,54,57,58,60,62,66,68,69,70,72,73,75,77,84,88,90,92,93,95,96,97,98,99,100],[4,8,9,10,11,13,14,15,18,23,25,28,33,34,36,38,39,40,41,42,43,46,48,51,54,56,58,59,60,61,62,68,69,71,72,75,76,80,81,82,83,86,89,92,93,95,96,97,100],[3,4,6,7,9,10,11,12,14,15,17,19,20,21,23,24,27,35,42,43,47,51,52,53,55,56,60,61,62,64,66,69,70,73,74,75,77,78,79,80,81,82,89,92,94,96,99,100],[1,2,3,5,6,8,11,14,20,24,25,26,29,31,32,33,34,36,38,39,41,47,48,49,50,51,52,53,54,55,56,57,58,59,61,65,67,68,73,77,78,81,86,87,89,91,92,95,96,97,99],[3,4,9,13,15,19,34,35,36,38,39,40,43,49,51,53,54,58,60,63,66,67,68,73,75,80,81,83,86,89,90,92,93,94,96,97,98,99,100],[1,3,6,7,9,10,11,12,13,14,15,20,21,22,23,27,32,34,35,40,42,43,47,52,53,55,56,57,60,61,71,72,75,77,78,80,81,82,84,85,87,90,99,100],[53,92,93,95,96,99],[0,1,4,5,6,8,10,15,16,17,21,22,23,25,26,28,31,34,35,36,39,40,41,45,49,51,57,60,61,62,64,65,66,67,68,70,71,74,75,78,79,84,87,88,90,92,93,94,95,97],[0,1,4,6,7,8,10,14,15,18,23,25,28,32,33,34,36,37,38,39,41,42,43,47,48,54,55,58,59,61,64,66,67,68,69,73,74,75,79,80,81,82,83,84,86,88,89,91,92,93,94,95,99],[3,6,7,8,9,10,11,13,14,15,16,18,21,22,23,25,27,28,31,32,33,34,38,39,43,44,45,46,47,49,51,52,53,55,58,59,60,61,65,67,68,72,76,77,78,80,81,87,93,95,97,98,100],[1,2,4,5,8,9,10,11,12,14,15,17,18,23,25,28,29,32,33,34,36,37,38,40,41,42,43,47,48,49,50,54,57,58,59,60,61,64,66,67,69,71,75,80,85,87,90,91,93,98],[0,2,7,8,10,11,12,13,14,16,17,20,23,25,26,27,28,29,31,34,36,38,42,44,45,46,50,54,56,59,61,62,66,68,69,72,74,75,79,81,84,85,87,88,90,91,92,93,97,99,100],[3,4,6,7,9,11,12,14,15,16,18,20,22,24,25,31,33,38,39,41,42,45,46,47,52,53,54,57,58,63,64,65,67,68,69,72,75,76,77,83,85,87,90,91,95,97,98],[1,2,3,5,6,9,12,13,16,18,19,22,23,29,31,32,33,35,41,42,43,46,47,48,50,51,52,53,54,55,56,58,59,61,62,68,70,72,73,74,77,80,84,86,87,91,92,94,98],[73,92,94,95,97,99],[0,1,2,5,7,8,9,11,12,16,17,18,20,21,22,23,27,28,29,31,32,33,35,36,38,40,41,43,48,49,50,51,53,56,58,59,61,62,63,65,67,72,73,78,79,80,84,87,88,89,90,91,96,97,99,100],[0,1,3,4,7,8,9,14,17,20,23,24,26,31,32,33,36,38,40,42,47,51,52,53,54,56,58,60,61,63,66,67,71,74,77,78,79,80,81,83,85,88,90,91,92,93,94,96,97,98],[14,92,93,96,97,99],[1,2,3,4,5,6,7,10,12,14,15,16,17,19,21,24,25,27,29,31,32,35,40,41,45,46,49,50,51,54,56,57,58,60,65,66,67,68,69,71,72,74,75,78,79,80,82,84,85,87,89,90,91,94,96,99,100],[1,2,3,8,11,13,14,17,18,19,21,24,25,29,31,32,33,34,35,37,41,42,46,47,48,50,51,53,56,57,58,59,61,62,63,68,70,71,73,81,82,85,86,87,88,91,94,96,98],[0,92,93,94,95,96,97,99],[0,1,2,3,4,5,8,10,11,14,15,16,18,19,20,22,23,24,25,29,31,32,33,36,38,39,40,41,45,46,47,48,49,50,51,52,53,54,56,58,60,61,62,63,65,66,67,70,71,72,74,75,77,80,82,83,87,89,90,91,93,98,99,100],[6,92,93,98,99],[1,4,5,9,10,11,13,14,15,16,18,21,22,25,27,32,33,34,39,40,41,42,45,46,48,49,57,61,64,65,66,69,72,73,74,75,78,80,81,82,83,84,85,88,90,91,92,98,100],[0,1,2,8,12,18,20,21,26,29,31,32,35,38,42,47,50,51,52,55,56,57,63,64,71,72,76,77,78,81,83,86,87,88,90,91,92,94,95,96,100],[0,1,6,7,9,10,11,12,13,14,15,19,20,21,22,27,28,31,32,35,39,40,42,43,46,47,51,52,53,55,57,58,60,61,62,64,69,70,71,72,75,77,78,80,81,83,84,85,87,88,89,90,95,96,99],[55,92,93,95,98,99],[12,92,94,95,98,99],[0,1,5,6,7,9,13,14,16,17,21,22,27,28,33,37,38,39,40,42,43,45,46,47,48,49,54,55,56,57,58,59,62,64,65,67,69,70,72,76,78,80,81,83,84,85,87,88,89,95,96,97,98],[51,92,96,98,99],[0,1,3,4,6,7,9,10,12,14,15,17,19,21,24,27,31,35,39,41,43,45,47,51,52,54,60,63,64,66,67,70,71,72,74,75,77,78,79,80,81,88,89,91,96,97,98,99],[10,92,94,96,98,99],[0,1,2,3,7,9,11,12,13,14,16,17,18,21,22,23,26,27,28,29,31,32,33,35,37,40,41,42,43,46,48,49,50,51,52,53,56,58,59,61,66,68,72,73,77,80,82,84,85,86,88,89,90,93,96,97,98],[1,3,4,5,7,8,9,10,12,14,19,22,23,24,25,26,27,28,32,34,36,38,39,43,44,47,49,52,53,61,63,65,68,69,70,75,77,80,81,85,87,89,90,91,93,94,97,98,99],[2,7,8,14,17,20,23,24,25,26,29,31,40,42,43,44,46,49,50,54,60,61,62,64,66,67,68,70,72,74,75,78,79,80,82,83,85,87,91,92,93,95,96,98,99,100],[21,92,97,98,99],[48,92,93,97,98,99],[3,4,6,7,9,10,11,12,14,15,17,19,20,21,23,24,27,35,42,43,47,51,52,53,55,56,60,61,62,64,66,69,70,73,74,75,77,78,79,80,81,82,89,92,93,95,96,97,98,99,100],[0,2,3,4,5,8,10,14,15,16,17,18,19,20,22,24,25,29,33,36,38,40,41,42,45,46,47,48,49,50,51,52,55,58,60,63,64,65,66,67,68,69,71,72,74,75,76,77,79,81,82,84,86,88,89,91,94,96,97,98],[0,1,5,6,7,9,10,13,15,16,19,22,23,24,26,28,32,35,37,45,46,47,48,49,54,55,57,59,61,62,63,64,65,68,69,70,72,73,75,78,79,82,83,86,88,91,92,93,95,96,98,99],[2,3,5,6,9,16,17,19,20,23,25,28,29,32,34,40,41,43,45,47,49,50,51,52,53,54,55,57,61,62,64,65,67,70,72,73,76,77,79,80,82,85,86,89,91,92,94,95,97,98,99],[2,4,6,7,8,9,11,13,15,16,17,18,19,20,22,24,28,29,31,32,37,38,42,45,46,48,49,50,51,52,54,56,58,59,61,62,64,65,66,67,69,70,71,72,73,75,77,80,83,84,86,91,93,94,95,97,98,100],[70,92,94,96,97,98,99],[0,1,2,3,5,9,11,13,16,17,19,20,22,23,24,25,29,31,32,34,39,41,43,45,46,47,49,50,52,53,54,55,56,61,62,65,66,70,71,72,74,77,79,81,82,88,89,92,94,95,98,99,100],[1,3,6,7,9,10,11,12,13,15,16,20,21,22,23,24,27,32,33,34,35,38,43,44,47,51,52,53,55,58,60,61,65,66,67,68,72,77,78,80,81,87,88,90,91,93,97],[0,1,4,5,6,8,15,17,21,22,23,25,26,28,31,32,34,35,36,38,39,41,42,44,45,49,51,56,58,60,62,64,65,66,68,71,74,78,79,82,85,87,90,91,92,93,94,95,98,99,100],[4,8,9,10,13,14,15,17,18,23,25,31,32,33,34,36,37,38,40,41,42,43,47,48,50,54,56,58,59,60,61,70,71,74,75,76,79,80,83,84,87,89,90,93,95,97,98,99],[7,11,17,24,28,31,39,40,41,47,50,51,55,57,62,66,68,74,79,80,81,82,85,87,90,91,92,96,97,99,100],[5,6,8,9,10,12,13,14,15,17,19,20,22,25,29,30,31,34,35,36,37,39,48,50,54,57,58,61,62,63,64,65,66,69,70,73,75,76,77,78,79,84,85,86,88,89,90,91,94,95,96,98,99,100],[0,4,5,7,8,9,10,11,12,13,14,15,19,20,23,26,27,31,36,37,38,40,41,42,43,44,45,46,47,49,52,55,56,57,59,61,65,66,68,69,70,72,73,74,75,76,77,83,86,88,93,95,96,97,99,100],[0,2,3,5,8,10,13,14,15,16,17,18,19,20,22,23,24,29,33,34,36,37,38,40,45,46,48,49,50,51,52,53,55,56,59,64,65,66,67,68,69,70,72,75,77,82,87,90,92,93,95,96,99],[1,2,10,11,12,13,15,17,19,24,28,30,31,32,33,35,36,37,41,43,44,45,47,49,51,52,53,55,57,58,60,62,63,67,68,70,72,73,74,75,76,78,79,81,83,84,85,86,87,89,91,92,94,95,96],[17,39,50,51,63,68,79,80,83,86,88,92,96,98,99],[1,17,24,32,40,47,50,51,57,62,66,68,69,70,72,84,85,86,88,93,95,97,99,100],[2,3,5,6,7,9,15,16,17,19,20,23,27,30,31,34,36,37,43,45,46,48,49,57,60,61,63,65,66,69,70,73,74,75,76,77,79,80,83,84,85,86,88,89,90,92,93,94,97],[0,1,4,6,7,8,9,10,14,18,23,25,28,32,33,34,36,37,38,40,41,42,43,47,48,54,55,58,59,61,64,67,68,69,73,74,75,80,82,83,84,86,88,89,94,96,99],[0,1,2,4,6,8,9,11,12,13,14,19,23,25,26,28,30,34,36,37,38,39,41,42,46,47,48,51,52,54,55,56,60,61,64,67,68,70,71,73,76,80,82,85,86,89,90,91,92,93,96,97,98],[3,4,5,6,12,14,16,18,19,20,21,24,26,27,28,29,30,32,33,35,37,39,46,48,49,50,52,53,54,56,57,58,63,64,70,77,78,81,84,86,87,88,89,92,94,95,96,98],[0,1,2,5,8,11,14,17,18,19,21,23,24,25,27,29,31,32,33,34,37,39,40,41,42,48,50,51,52,53,56,57,58,59,61,63,70,73,74,78,79,81,82,85,87,88,93,95],[11,45,74,80,81,84],[0,3,6,7,9,10,11,13,14,15,16,17,18,20,21,22,25,27,28,33,34,38,40,41,42,43,45,46,49,50,53,54,56,57,58,60,63,65,70,71,72,74,75,76,77,78,79,82,85,86,87,91,92,96,97,98,99,100],[0,2,6,7,9,10,12,15,16,17,19,21,22,26,27,28,30,35,38,39,42,44,45,46,48,50,51,54,56,57,59,63,65,70,73,75,76,78,79,83,84,88,90,92,93,94,96,98],[34,92,94,95,97,100],[0,3,4,5,8,9,10,12,13,14,15,19,20,24,26,27,28,36,37,38,39,42,43,44,46,49,51,52,53,54,56,59,60,62,64,65,69,70,73,74,75,77,79,80,81,85,86,87,88,90,92,93,94,97,98,100],[0,2,3,4,5,7,9,10,14,16,17,18,19,20,23,24,25,26,27,28,30,38,40,41,42,45,46,47,49,52,53,54,55,56,58,59,60,63,64,65,66,67,68,70,74,76,77,78,79,82,85,87,88,90,92,93,95,96,97],[56,92,94,96,97,100],[2,3,4,5,6,7,8,10,11,13,14,15,16,18,19,22,24,28,29,31,33,36,37,38,39,40,42,45,46,48,49,50,52,53,56,58,59,60,62,64,65,66,67,69,70,71,72,73,75,77,79,80,82,83,86,87,88,90,93,99],[0,1,3,6,7,8,10,15,18,23,25,28,32,34,37,39,41,42,43,47,48,50,54,55,59,60,61,64,66,69,73,74,77,80,81,82,83,84,87,88,89,90,91,93,95,96,99,100],[3,4,5,6,7,12,16,17,20,22,23,28,29,30,37,38,40,43,45,48,49,52,53,54,57,61,64,65,67,68,69,70,73,76,77,78,79,80,82,85,88,91,92,94,98,99,100],[0,1,2,4,5,9,11,13,15,16,17,19,22,23,24,25,29,31,34,41,43,45,46,47,49,50,51,52,55,56,58,62,63,65,66,67,68,70,71,72,74,77,79,80,83,84,88,89,93,95,96,97,98,99,100],[0,1,2,3,5,9,11,13,16,19,20,22,23,25,29,31,32,34,40,41,42,43,45,46,47,49,50,52,53,54,55,56,57,60,61,62,65,68,70,71,72,74,77,81,84,85,87,88,89,90,91,93,96,99,100],[0,2,3,4,5,6,7,10,11,12,13,14,16,17,19,20,21,22,27,29,31,35,37,39,42,45,46,47,49,51,53,55,58,60,62,63,65,67,68,72,73,74,75,78,79,81,82,83,84,86,87,88,89,90,91,92,94,95,96,97,98,100],[0,1,4,6,8,9,10,11,14,15,17,18,24,25,31,32,33,34,36,37,38,41,42,43,48,50,51,54,57,58,59,61,62,64,66,67,69,73,75,81,82,84,85,86,87,88,89,90,91,92,94,95,96,97,100],[4,5,6,7,12,14,16,18,19,20,21,22,24,27,28,29,30,33,34,35,36,37,40,42,43,45,46,47,49,50,52,53,54,55,58,59,62,63,64,65,67,69,70,71,73,75,76,83,84,88,91,92,95,96,97,99,100],[4,5,8,10,11,13,15,16,17,18,21,22,23,24,25,26,27,28,31,34,36,40,41,45,46,49,56,61,62,65,66,68,69,73,75,76,79,80,81,82,83,84,85,87,90,95,96,97,98],[4,8,9,10,11,13,14,15,17,18,23,25,28,33,34,36,37,38,40,41,42,43,46,48,51,54,56,58,59,60,61,62,69,71,72,75,79,81,83,91,92,93,95,96,97,100],[0,3,4,9,10,12,14,15,17,19,21,24,27,28,35,43,47,51,52,53,54,55,56,59,60,63,64,66,69,70,71,73,74,75,77,78,79,80,81,82,86,87,89,90,92,94,95,96,98,99],[0,1,2,4,5,6,7,12,13,14,15,16,19,21,25,28,29,32,34,39,41,43,45,46,49,50,51,54,56,57,58,64,65,66,67,70,71,72,75,80,83,84,85,86,94,97,99,100],[1,3,4,5,6,7,8,11,12,13,16,18,20,21,22,23,24,27,28,29,30,35,36,37,38,40,43,45,46,47,48,49,50,52,53,54,55,56,59,60,63,65,71,80,81,86,88,91,95,96,97,98],[4,17,39,50,51,68,79,86,88,99],[0,2,3,4,7,10,14,15,16,18,20,21,22,24,26,29,31,32,33,35,37,39,40,44,45,46,47,48,51,52,53,54,55,56,58,59,60,62,63,64,70,73,75,77,78,80,81,82,83,84,85,89,97,98],[0,2,3,4,5,6,7,12,16,20,22,23,28,30,37,38,45,46,48,51,53,54,56,57,61,65,67,73,76,77,78,81,82,83,84,85,86,87,90,91,93,95,96,97,99],[0,1,2,4,5,6,7,10,11,12,13,14,15,16,21,22,23,27,29,32,34,35,39,46,47,49,50,55,60,61,64,65,69,71,72,75,78,82,83,88,92,93,96,98,99],[16,92,94,95,96,98,100],[0,2,3,5,6,7,9,10,12,15,16,20,22,23,28,30,36,37,39,40,45,46,48,56,57,61,63,65,67,68,73,75,76,77,78,80,82,84,85,86,87,90,92,93,94,95,97,98],[52,92,97,98,100],[0,1,2,3,4,5,8,10,14,15,16,18,19,20,21,22,24,25,27,28,30,32,33,36,39,40,41,42,45,46,48,49,52,53,54,55,57,58,60,63,65,66,67,70,71,76,77,82,85,87,89,93,94,97],[1,2,3,4,5,6,7,9,13,15,16,17,20,22,23,24,28,29,31,32,37,43,45,46,49,50,52,53,60,61,65,66,68,71,72,76,77,81,91,93,94,96],[2,3,4,5,6,7,8,13,16,17,20,21,22,23,24,27,30,36,37,39,40,43,45,46,47,48,49,50,52,53,57,59,60,61,63,64,65,68,69,70,71,74,76,77,79,80,81,83,84,85,87,91,92,93,95,96,99,100],[0,1,3,4,5,9,11,12,13,14,15,16,17,20,26,27,28,32,36,37,38,39,40,42,43,45,46,48,49,50,56,57,59,60,64,65,68,72,75,77,79,87,90,92,96,97,98,99],[59,92,94,95,97,98,100],[2,3,5,6,9,16,19,20,22,23,25,28,29,32,34,39,40,41,43,45,47,49,50,51,52,53,54,55,57,61,62,65,67,68,70,72,73,76,77,80,82,85,86,87,90,91,92,94,95,97,98,99],[0,3,5,7,12,17,18,19,20,21,25,26,27,28,33,34,35,36,37,38,44,45,48,51,54,55,57,58,59,60,62,66,67,68,70,73,74,77,79,80,81,82,86,87,91,94,95,97,98,99,100],[0,2,6,7,9,12,16,22,23,28,30,32,33,37,40,45,46,48,51,54,56,57,58,61,63,65,67,68,73,76,78,80,81,85,86,87,90,92,93,94,98],[2,3,4,7,8,10,12,14,15,16,19,22,23,24,25,26,27,28,29,34,36,38,40,44,46,50,51,53,56,57,62,63,64,67,68,69,70,72,75,81,83,89,92,93,95,96,100],[0,1,2,3,5,9,11,13,16,19,20,22,23,24,25,29,31,32,34,41,43,45,46,47,49,50,52,53,54,55,56,58,60,61,62,65,66,68,70,71,72,74,77,81,82,87,89,90,93,95,96,97],[0,3,4,5,8,9,11,12,13,17,18,19,20,23,24,29,30,31,33,36,39,42,49,51,52,53,54,57,58,59,60,62,64,67,68,69,70,71,72,76,77,78,79,80,84,85,86,92,93,94,95,99],[4,5,6,8,10,12,15,16,17,19,20,21,23,26,27,33,35,36,41,43,45,47,50,51,56,57,61,64,68,72,75,77,79,82,83,84,86,89,90,91,94,95,96,99],[2,3,4,5,6,7,8,10,11,13,14,15,16,18,19,20,22,25,28,29,31,33,36,37,38,39,42,45,46,48,49,50,52,53,56,57,58,59,60,62,64,65,67,69,70,71,72,73,75,77,79,80,82,83,84,85,86,87,90,91,93,97,100],[0,2,3,5,6,7,8,9,11,12,16,17,18,19,21,22,27,29,33,35,36,37,38,39,40,42,43,45,47,48,49,58,59,61,62,65,68,72,74,78,79,80,81,88,91,92,95,97,100],[1,5,7,8,11,15,17,21,22,24,26,31,32,35,36,38,39,40,44,45,47,49,50,51,54,55,56,57,58,59,60,63,64,65,68,71,73,78,79,82,84,88,89,91,96,98],[49,92,94,99,100],[3,5,6,7,8,9,12,13,14,16,17,18,19,20,22,25,34,35,36,39,41,42,44,46,47,49,51,52,53,55,56,57,59,60,64,65,67,69,70,72,73,74,75,76,77,78,79,82,83,84,85,86,88,91,94,95,100],[0,1,3,7,8,11,12,17,18,19,20,21,24,25,27,28,32,33,34,35,36,37,38,39,40,41,48,51,52,53,54,55,56,58,59,60,62,66,67,68,70,77,78,81,84,86,88,91,93,95,96],[1,2,3,5,6,8,14,18,20,24,25,26,28,29,32,33,34,35,36,38,39,41,47,48,49,50,51,52,53,54,55,56,57,58,59,61,65,67,68,73,74,77,78,81,82,85,86,87,89,90,92,96,98,100],[3,5,8,9,10,16,17,18,19,21,22,23,25,26,27,32,35,38,39,40,41,43,45,46,51,53,54,56,57,58,60,61,62,63,65,66,67,70,72,74,76,78,79,80,81,82,85,87,89,90,91,100],[50,51,54,80,83,91,92,96,98,99],[1,3,6,7,9,10,11,12,13,14,15,20,21,22,23,24,27,34,35,39,42,43,50,51,52,53,55,56,60,61,62,66,69,70,71,75,77,78,79,80,81,82,86,87,90,91,93,95,97],[0,1,4,5,6,8,10,15,16,17,21,22,23,25,26,27,28,31,32,34,35,39,40,41,45,49,51,57,60,61,62,64,65,66,67,68,69,71,72,74,75,78,79,80,81,83,85,87,88,90,91,92,93,94,98,100],[57,92,93,94,96,99,100],[17,39,47,62,68,71,79,86,91,92,95,96],[0,1,4,6,7,8,9,10,14,15,17,18,23,25,28,32,33,34,36,37,38,39,40,41,42,43,47,48,53,54,55,58,59,61,64,67,69,73,74,75,79,80,82,83,84,86,88,89,91,94,96],[27,92,94,95,96,99,100],[2,4,5,9,10,14,15,18,20,24,25,33,34,36,37,38,39,40,44,47,48,55,57,58,62,63,64,67,68,71,78,80,81,83,84,86,87,88,91,92,97,100],[0,2,4,6,7,8,12,13,14,16,17,18,19,22,25,26,28,31,33,34,35,36,38,41,42,43,45,46,47,51,55,57,58,60,63,65,67,68,70,71,72,73,74,78,79,81,83,84,85,86,89,98,99,100],[0,2,7,8,10,12,13,14,16,20,23,25,26,27,28,29,31,34,36,38,39,42,44,45,46,50,54,56,59,61,62,66,69,72,75,80,85,86,89,92,93,97,99,100],[2,3,5,6,9,11,16,20,22,23,24,25,29,31,34,39,41,43,45,47,49,50,51,52,53,54,55,61,62,64,65,66,67,68,69,73,74,76,77,81,87,88,90,93,97,98],[2,5,8,9,11,12,13,14,15,18,21,23,25,27,31,33,36,37,38,39,40,41,42,43,48,49,50,54,58,59,60,61,67,68,70,71,72,74,75,81,82,86,89,91,92,93,96,97,98,99,100],[1,2,3,4,6,8,9,12,14,23,24,25,26,31,32,34,36,38,39,40,45,47,48,49,50,51,52,53,54,55,56,57,59,61,63,65,67,68,73,77,78,83,84,86,87,89,91,93,95,96,97,98,99,100],[28,31,73,80,81,82,84,91,98,100],[3,4,9,10,11,12,14,15,19,21,23,27,28,31,32,35,37,39,40,41,42,43,45,52,56,57,61,63,67,68,69,70,73,74,75,76,77,78,79,80,81,84,85,87,89,90,91,93,96,98,99,100],[2,92,96,97,99,100],[4,8,9,11,13,14,17,18,19,21,25,27,29,31,32,34,35,36,37,41,46,48,50,54,57,59,60,62,63,67,70,71,72,73,79,80,81,82,83,85,87,93,94,95,96,99],[1,2,3,4,5,6,7,10,12,14,15,16,17,19,21,24,25,27,29,31,32,35,40,41,45,46,49,50,51,54,56,57,58,60,65,66,67,68,70,71,72,74,75,78,79,81,82,83,85,87,89,90,92,97,98,100],[2,3,4,5,6,7,8,10,11,13,14,15,16,17,18,19,20,22,24,28,29,31,33,36,37,38,40,42,45,46,48,49,50,52,53,56,58,59,60,61,62,64,65,66,67,68,69,70,71,72,73,75,77,80,82,83,86,91,92,94,96,97,99],[0,1,2,3,4,7,8,9,14,20,23,24,26,31,32,36,38,39,40,42,50,52,53,54,56,58,60,61,62,63,66,67,68,71,74,77,78,81,86,88,90,91,93,94,95,100],[0,2,3,6,7,8,10,15,17,18,23,25,27,28,34,37,38,41,43,47,48,50,53,55,56,57,59,60,62,64,66,68,70,73,74,75,79,82,86,89,91,94,95,96,98,100],[1,2,3,5,9,11,13,16,17,19,20,22,23,25,29,31,32,34,39,40,41,43,45,46,47,49,50,52,53,54,55,56,57,60,61,62,65,70,71,72,74,77,79,81,84,85,88,89,93,96,100],[0,1,2,3,5,9,11,13,16,19,20,22,24,29,34,37,42,43,45,49,51,52,53,59,62,63,65,66,67,68,72,76,77,80,82,84,86,88,89,91,92,95,97,100],[0,1,4,8,9,10,11,14,15,18,23,24,25,31,32,33,34,36,37,38,39,41,42,43,48,50,51,54,57,58,59,61,62,64,66,67,68,69,73,75,79,81,82,84,85,86,87,90,91,93,94,95,96,97,98,99,100],[1,4,5,9,10,11,13,14,15,16,17,21,22,25,27,32,33,34,35,40,41,42,45,46,48,49,57,61,64,65,66,68,69,72,73,74,75,78,79,82,83,84,85,86,87,89,90,91,94,98,100],[0,1,2,4,5,10,11,12,13,15,16,20,22,23,24,25,27,28,29,32,34,35,36,38,39,40,41,42,45,46,47,49,50,51,52,55,57,61,62,63,64,65,66,69,71,72,73,75,77,80,82,84,85,86,87,89,91,92,94,97,98,100],[0,1,4,6,7,8,12,18,19,20,21,22,23,25,27,31,32,33,34,35,36,37,38,41,47,48,52,53,54,55,56,57,59,64,68,70,76,77,78,80,84,85,86,87,88,90,91,92,93,97,99,100],[7,92,93,95,98,99,100],[11,12,18,28,31,35,74,80,81,85,90,92,94,97,100],[3,8,12,17,18,19,21,23,25,27,28,31,33,34,35,36,37,38,39,42,45,47,48,50,52,55,57,58,59,60,61,62,63,68,71,73,77,78,79,81,83,85,91,92,94,96,98,99,100],[0,1,4,5,6,8,15,16,17,21,22,23,25,26,27,28,31,32,34,35,36,39,40,41,45,49,51,57,60,61,62,64,65,66,67,68,69,71,72,74,75,78,79,85,87,88,90,93,96,99,100],[2,3,4,6,8,10,11,12,13,15,16,17,21,22,24,25,26,27,29,31,34,35,36,38,39,46,47,49,50,51,52,53,54,55,56,57,64,66,67,69,72,74,75,77,79,81,82,83,85,90,91,93,95,97,98,100],[1,3,4,5,7,8,9,10,12,14,17,19,22,23,24,25,26,27,28,32,34,36,38,43,44,49,52,53,61,62,63,65,69,70,75,77,79,81,82,83,85,86,87,89,90,91,92,93,94,95,96,97,98,99],[0,1,2,4,5,6,7,10,14,15,16,20,21,22,24,27,28,29,34,35,36,39,41,42,43,44,45,46,50,51,54,57,65,71,72,81,84,85,88,90,92,95,97,98],[2,3,4,5,6,7,8,11,13,16,20,22,23,24,27,28,31,32,36,37,40,43,45,46,48,49,51,52,53,57,59,60,61,62,63,64,65,71,72,76,77,80,83,86,88,93,95,97,99],[4,5,8,11,13,14,16,18,19,22,25,26,28,29,31,33,34,35,36,38,39,41,42,43,45,46,47,48,49,50,51,58,63,65,66,67,70,72,78,81,83,84,87,88,90,93,94,95,97,98,99,100],[3,4,6,7,9,10,12,14,15,19,20,21,23,24,27,35,39,42,43,47,51,52,53,55,56,60,61,62,64,66,68,69,70,73,75,77,78,80,81,82,86,87,88,90,92,93,95,96,97,98,99,100],[1,7,11,17,25,28,31,32,37,41,46,47,53,55,59,60,62,63,64,67,68,69,71,72,74,80,81,82,84,87,88,90,92,95,96,99],[2,3,4,5,6,7,13,16,20,21,22,23,24,27,36,37,40,43,45,46,47,48,49,50,52,53,57,59,60,61,63,64,65,69,70,71,74,76,77,80,81,83,84,85,86,87,89,90,91,92,93,95,96,99,100],[29,92,93,95,97,98,99,100],[28,92,94,95,97,98,99,100],[0,1,2,3,4,7,8,9,14,17,20,23,24,26,31,32,33,36,38,40,42,47,51,52,53,54,56,58,60,61,63,65,66,67,71,74,77,78,79,81,84,85,88,90,93,94,98,99,100],[0,1,2,4,8,9,10,14,16,18,20,21,22,23,24,27,32,33,35,37,39,40,43,45,47,48,49,51,52,54,55,56,57,59,60,63,65,66,67,68,73,74,77,80,81,82,83,84,85,87,88,89,94,95,98,99,100],[60,92,93,94,96,97,98,99,100],[0,1,2,3,4,5,7,8,9,14,20,23,24,26,31,32,33,36,38,39,40,42,50,52,53,54,56,58,60,61,62,63,66,67,68,71,74,77,78,80,81,82,83,84,86,88,90,93,94,95,100],[1,3,4,6,7,8,10,12,15,16,18,19,20,22,23,25,29,31,32,33,36,37,38,39,40,41,43,44,46,48,52,53,54,55,58,59,61,63,65,69,71,72,73,77,78,82,83,85,86,88,90,92,94,97,99,100],[3,32,72,80,81,82,83,84,91],[0,1,2,3,7,10,11,13,14,16,18,19,20,21,23,25,26,29,32,33,34,35,37,39,41,44,46,48,50,51,52,53,57,59,66,67,69,70,72,73,74,75,77,78,79,80,83,84,86,87,90,92,94,95,97,98,99],[0,1,7,8,10,11,12,15,16,19,20,21,24,25,26,27,29,30,32,33,34,35,36,38,42,43,45,46,47,49,50,55,56,57,59,61,63,67,69,70,73,74,75,77,79,82,83,84,87,91,94,95,97,100],[0,5,7,12,17,18,19,20,25,26,27,28,31,33,34,44,45,47,48,49,51,52,54,55,57,58,60,62,65,66,68,70,71,73,74,77,79,80,81,82,86,88,91,95,99],[1,2,3,4,5,6,9,13,16,19,20,22,24,25,28,29,32,41,42,43,45,46,47,49,50,51,52,53,54,55,56,58,61,65,66,68,70,72,73,74,77,80,84,86,87,88,90,92,93,94,95,96,100],[1,2,10,12,13,15,18,19,24,30,32,33,36,37,39,41,43,44,45,47,49,51,52,53,55,57,58,60,62,63,67,70,72,73,75,76,78,81,82,83,84,90,91,95,96,97,98,99,100],[4,5,8,10,13,15,16,18,21,22,23,25,26,27,32,34,36,39,41,43,45,46,49,56,57,61,62,65,70,72,73,74,75,76,78,82,83,85,86,89,95,96,97,98,99],[63,92,96],[1,92,93,96],[0,1,4,5,6,8,10,15,16,21,22,23,25,26,27,28,31,32,34,35,36,38,40,41,45,49,51,57,60,61,62,64,65,66,67,69,71,72,74,75,78,80,81,83,85,86,90,93,96,98,100],[2,3,5,6,7,9,15,16,19,20,23,24,27,30,31,34,36,37,39,43,45,46,48,49,60,61,63,65,66,68,69,70,73,74,75,76,77,80,83,84,85,86,87,89,90,91,92,93,94,97,99,100],[2,5,9,10,11,12,13,14,15,16,19,21,22,27,30,31,35,37,38,39,40,42,45,46,47,48,49,52,54,55,56,57,62,65,66,68,73,74,75,76,78,80,82,84,85,88,89,94,95,96,98,99,100],[0,1,4,6,7,8,9,10,14,15,17,18,23,25,28,32,33,34,36,37,38,41,42,43,47,48,54,55,58,59,61,64,66,67,69,73,74,80,81,82,83,84,86,87,88,89,96,99],[2,7,8,11,12,13,14,17,18,19,22,23,26,29,30,31,33,35,36,40,43,45,50,51,54,56,58,59,60,61,62,65,68,70,71,72,76,78,79,81,83,86,87,88,90,92,93,94,96,97],[2,6,7,8,9,10,13,14,15,16,18,21,22,24,25,26,27,33,34,35,41,42,45,46,49,52,53,54,55,56,57,58,64,65,66,69,72,75,79,80,82,83,84,85,86,92,93,95,97,99,100],[45,92,94,97],[2,3,5,6,9,11,13,16,17,19,20,22,23,24,25,29,31,34,41,43,45,47,49,50,51,52,53,54,55,61,62,64,65,66,67,69,73,74,76,77,79,81,89,91,92,94,98],[0,2,4,5,8,9,10,11,14,15,18,23,24,25,28,33,34,36,37,38,39,41,42,47,48,52,54,56,58,59,61,64,68,69,72,75,78,81,83,86,92,93,98],[0,2,4,5,6,7,8,9,10,12,13,14,15,18,21,24,25,27,28,29,30,33,34,36,39,40,41,43,44,48,49,50,51,54,56,58,59,62,67,68,72,73,74,75,76,80,84,88,91,92,93,98,99,100],[17,28,31,34,39,68,79,80,81,82,84,86,87,89,90,92,94,95,97,98,99],[1,2,7,9,12,13,16,18,22,24,26,27,28,29,33,39,43,44,45,46,48,50,54,56,57,58,60,64,72,73,76,80,86,89,91,93,95,97,100],[1,5,8,10,16,17,18,19,25,27,28,30,31,32,33,36,39,41,45,46,49,51,55,59,61,64,65,70,71,76,79,80,81,82,83,86,87,88,90,94,95,98,99,100],[4,8,9,11,13,18,19,21,25,27,29,31,32,34,35,36,37,39,41,46,48,50,54,57,59,60,62,63,67,68,70,71,72,73,77,80,81,82,83,85,87,88,90,91,93,94,95,96],[17,39,56,68,69,70,79,80,81,83,84,86,87,88,90,92,94,96,97,98,99,100],[2,4,6,9,10,14,15,17,18,20,24,25,26,28,31,33,34,36,37,38,39,40,41,43,47,48,52,53,55,56,58,59,62,63,64,67,69,71,73,78,79,80,82,83,84,87,89,90,91,92,94,95,97,99],[0,1,3,4,5,10,11,12,13,14,15,16,19,20,21,22,24,27,30,31,32,33,35,37,39,40,42,45,46,48,49,51,52,53,54,55,57,58,60,63,65,66,67,69,70,71,73,74,75,76,77,78,79,80,81,82,87,89,90,93,94,96,97,98,99],[0,1,2,4,5,9,11,13,15,16,19,22,23,24,25,29,31,32,34,39,41,43,45,46,47,49,50,51,52,55,56,58,62,63,65,66,67,70,71,74,77,80,83,84,86,87,88,89,90,91,92,93,94,98,99,100],[0,2,3,5,6,7,8,9,11,12,15,16,18,19,20,21,22,23,25,27,29,32,33,34,35,36,38,39,40,41,43,45,48,49,50,51,53,54,55,56,59,61,62,63,65,67,68,70,71,72,73,76,78,81,82,86,88,91,92,93,94,96,98,99,100],[23,92,93,98],[4,5,6,7,12,14,16,19,20,21,22,24,27,28,29,30,33,34,36,37,40,42,43,45,46,47,49,50,52,53,54,55,58,59,62,63,64,65,67,69,70,71,73,75,76,80,81,83,84,88,91,92,95,96,97,98,99,100],[78,92,93,94,98],[76,92,95,98],[0,3,4,7,9,10,12,14,15,19,21,24,27,28,35,39,43,47,51,52,53,54,56,59,60,63,64,66,68,69,70,71,73,74,75,77,78,80,81,82,86,87,90,93,94,96,99,100],[0,1,2,4,5,6,7,11,12,13,14,15,16,17,18,19,21,25,29,31,32,34,35,41,43,45,46,49,50,51,54,56,57,58,64,65,66,67,68,70,71,72,74,75,79,81,83,84,87,89,90,92],[0,3,4,8,9,11,12,14,18,20,23,24,26,29,30,33,35,36,42,50,52,53,57,58,60,62,63,64,67,68,69,70,71,72,76,78,79,83,84,85,86,91,92,93,94,95,98],[1,2,3,6,8,9,16,17,20,21,22,23,25,26,28,29,31,32,34,35,36,38,40,41,42,43,44,45,46,47,50,52,53,56,57,60,61,63,66,67,72,74,77,78,79,81,82,84,93,94,96,100],[1,2,3,7,8,10,12,15,20,21,25,26,27,30,31,32,34,35,36,37,38,40,41,46,48,49,53,54,56,60,62,64,66,69,71,72,73,74,75,76,77,81,82,83,84,87,91,95,97,99,100],[0,1,4,6,7,8,9,10,14,15,17,18,23,24,25,28,32,33,34,36,37,38,40,41,42,43,44,47,48,54,55,57,58,59,61,64,67,69,73,74,75,80,81,83,84,86,87,89,91,92,93,94,95,98,100],[0,1,2,4,5,6,7,10,11,12,13,14,15,16,21,22,23,27,29,32,34,35,39,46,49,50,55,60,61,62,64,65,69,71,72,75,78,80,88,92,93,96,99],[39,92,93,95,96,98],[0,1,4,5,6,8,10,15,21,22,23,25,26,27,28,31,34,35,36,40,41,45,49,51,57,60,61,62,64,65,66,67,70,71,74,75,78,80,81,82,83,84,86,88,90,91,93,96,97,99],[0,2,3,5,6,7,9,10,12,15,16,17,20,22,23,28,30,36,37,45,46,48,56,57,61,63,65,66,67,73,75,76,77,78,79,80,82,84,85,86,90,96,97],[2,3,4,5,6,7,8,11,13,16,17,20,21,22,23,24,27,28,31,32,36,37,39,40,43,45,46,48,49,51,53,57,59,60,61,62,63,64,65,68,71,72,76,77,79,80,83,89,90,92,93,95,98,100],[0,1,2,3,10,11,13,15,17,20,21,24,26,27,29,30,31,32,34,35,38,39,40,43,47,48,50,51,52,53,54,55,57,60,68,71,72,76,77,78,79,81,82,83,84,85,95,98,100],[11,92,94,97,98],[0,6,8,9,10,11,13,14,18,19,23,33,36,38,39,40,42,43,46,48,51,58,59,60,61,62,71,72,75,80,81,86,88,94,95,96,99],[30,92,95,97,98],[3,4,6,7,10,11,12,14,19,20,22,23,24,27,29,35,36,38,40,42,43,47,50,54,55,56,60,61,62,63,68,69,70,73,77,78,79,82,83,86,87,88,89,91,93,95,97,99,100],[17,28,31,39,59,68,79,86,87,89,90,92,94,95,97,98,99],[64,92,93,94,95,97,98],[1,2,4,5,8,9,12,14,17,18,19,21,23,24,25,27,28,31,32,34,35,37,39,40,42,44,45,47,48,52,53,55,56,57,59,61,62,63,70,71,73,78,79,80,82,84,85,87,91,92,93,95,96,98],[1,2,9,10,11,12,13,14,15,16,19,21,22,27,29,30,31,32,35,37,38,42,43,45,47,48,50,51,54,55,56,60,62,64,65,67,68,69,70,71,72,73,74,75,76,78,79,80,82,89,91,93,94,96,99],[2,3,4,7,8,10,12,14,15,16,17,19,22,23,24,25,26,27,28,29,34,36,38,39,40,44,46,50,51,53,56,57,62,63,64,67,72,75,79,81,83,86,87,88,89,90,92,93,95,96,99,100],[58,92,93,94,96,97,98],[1,2,5,7,11,12,13,14,18,19,26,29,30,32,38,39,40,49,50,51,56,57,59,61,63,64,66,68,69,70,72,74,76,81,82,83,85,86,88,95,96,97,98,99,100],[5,6,9,10,11,12,13,15,16,18,20,23,24,25,26,29,31,33,34,37,40,43,45,46,48,50,54,56,57,59,60,61,63,64,66,67,68,69,71,72,73,75,77,80,81,84,85,87,89,97,98,100],[17,32,39,67,68,72,79,80,81,82,83,84,86,87,90,91,92,94,95,96,97,98],[25,92,93,94,95,96,97,98],[0,2,3,4,5,6,7,10,11,12,13,14,15,16,17,19,21,22,23,25,27,29,31,32,34,35,41,45,46,49,50,54,56,60,62,65,70,71,72,75,76,78,79,81,83,84,86,87,90,92,93,98,100],[1,5,8,15,17,21,22,26,28,32,35,36,38,39,44,45,49,54,56,58,59,60,62,63,64,65,66,68,71,73,74,78,79,80,81,84,85,87,90,91,92,97,98,100],[17,18,35,39,49,68,79,86,87,88,89,91,92,94,100],[0,1,3,8,11,12,17,18,19,20,21,24,25,26,27,31,32,33,34,35,36,37,38,39,41,43,44,45,48,51,52,53,54,57,58,60,62,66,68,69,70,72,73,75,77,84,88,90,94,95,96,97,98,100],[4,8,9,10,11,13,14,15,18,23,25,28,33,34,36,38,39,40,41,42,43,46,48,51,54,56,58,59,60,61,62,68,69,71,72,75,76,80,81,82,83,86,89,93,96,97,99,100],[1,2,3,5,6,8,11,14,20,24,25,26,29,31,32,33,34,36,38,39,41,47,48,49,50,51,52,53,54,55,56,57,58,59,61,65,67,68,73,77,78,81,86,87,89,91,94,96,97],[3,4,9,13,15,19,34,35,36,38,39,40,43,49,51,53,54,58,60,63,66,67,68,73,75,80,81,83,86,89,90,95,96,97,98,100],[54,92,96,99],[1,3,6,7,9,10,11,12,13,14,15,20,21,22,23,27,32,34,35,40,42,43,47,52,53,55,56,57,60,61,71,72,75,77,78,80,81,82,84,85,87,90,92,93,96,100],[36,92,94,96,99],[24,92,93,94,96,99],[71,92,95,96,99],[0,1,4,5,6,8,10,15,16,17,21,22,23,25,26,28,31,34,35,36,39,40,41,45,49,51,57,60,61,62,64,65,66,67,68,70,71,74,75,78,79,84,87,88,90,93,96,97,99],[0,1,4,6,7,8,10,14,15,18,23,25,28,32,33,34,36,37,38,39,41,42,43,47,48,54,55,58,59,61,64,66,67,68,69,73,74,75,79,80,81,82,83,84,86,88,89,91,96],[3,6,7,8,9,10,11,13,14,15,16,18,21,22,23,25,27,28,31,32,33,34,38,39,43,44,45,46,47,49,51,52,53,55,58,59,60,61,65,67,68,72,76,77,78,80,81,87,92,93,95,98,99,100],[1,2,4,5,8,9,10,11,12,14,15,17,18,23,25,28,29,32,33,34,36,37,38,40,41,42,43,47,48,49,50,54,57,58,59,60,61,64,66,67,69,71,75,80,85,87,90,91,92,97,98,99],[0,2,7,8,10,11,12,13,14,16,17,20,23,25,26,27,28,29,31,34,36,38,42,44,45,46,50,54,56,59,61,62,66,68,69,72,74,75,79,81,84,85,87,88,90,91,93,94,100],[19,92,93,94,97,99],[3,4,6,7,9,11,12,14,15,16,18,20,22,24,25,31,33,38,39,41,42,45,46,47,52,53,54,57,58,63,64,65,67,68,69,72,75,76,77,83,85,87,90,91,92,98,99],[1,2,3,5,6,9,12,13,16,18,19,22,23,29,31,32,33,35,41,42,43,46,47,48,50,51,52,53,54,55,56,58,59,61,62,68,70,72,73,74,77,80,84,86,87,91,93,94,95,97,98,99],[0,1,2,5,7,8,9,11,12,16,17,18,20,21,22,23,27,28,29,31,32,33,35,36,38,40,41,43,48,49,50,51,53,56,58,59,61,62,63,65,67,72,73,78,79,80,84,87,88,89,90,91,92,93,94,95,96,100],[0,1,3,4,7,8,9,14,17,20,23,24,26,31,32,33,36,38,40,42,47,51,52,53,54,56,58,60,61,63,66,67,71,74,77,78,79,80,81,83,85,88,90,91,93,94,98,99],[1,2,3,4,5,6,7,10,12,14,15,16,17,19,21,24,25,27,29,31,32,35,40,41,45,46,49,50,51,54,56,57,58,60,65,66,67,68,69,71,72,74,75,78,79,80,82,84,85,87,89,90,91,92,97,100],[61,92,93,94,96,97,99],[33,92,95,96,97,99],[1,2,3,8,11,13,14,17,18,19,21,24,25,29,31,32,33,34,35,37,41,42,46,47,48,50,51,53,56,57,58,59,61,62,63,68,70,71,73,81,82,85,86,87,88,91,92,93,94,95,97,98,99],[32,92,94,95,96,97,99],[0,1,2,3,4,5,8,10,11,14,15,16,18,19,20,22,23,24,25,29,31,32,33,36,38,39,40,41,45,46,47,48,49,50,51,52,53,54,56,58,60,61,62,63,65,66,67,70,71,72,74,75,77,80,82,83,87,89,90,91,92,93,100],[1,4,5,9,10,11,13,14,15,16,18,21,22,25,27,32,33,34,39,40,41,42,45,46,48,49,57,61,64,65,66,69,72,73,74,75,78,80,81,82,83,84,85,88,90,91,94,99,100],[0,1,2,8,12,18,20,21,26,29,31,32,35,38,42,47,50,51,52,55,56,57,63,64,71,72,76,77,78,81,83,86,87,88,90,91,93,95,96,98,99,100],[0,1,6,7,9,10,11,12,13,14,15,19,20,21,22,27,28,31,32,35,39,40,42,43,46,47,51,52,53,55,57,58,60,61,62,64,69,70,71,72,75,77,78,80,81,83,84,85,87,88,89,90,92,96,98],[0,1,5,6,7,9,13,14,16,17,21,22,27,28,33,37,38,39,40,42,43,45,46,47,48,49,54,55,56,57,58,59,62,64,65,67,69,70,72,76,78,80,81,83,84,85,87,88,89,92,93,94,96,97,99],[0,1,3,4,6,7,9,10,12,14,15,17,19,21,24,27,31,35,39,41,43,45,47,51,52,54,60,63,64,66,67,70,71,72,74,75,77,78,79,80,81,88,89,91,92,93,97],[0,1,2,3,7,9,11,12,13,14,16,17,18,21,22,23,26,27,28,29,31,32,33,35,37,40,41,42,43,46,48,49,50,51,52,53,56,58,59,61,66,68,72,73,77,80,82,84,85,86,88,89,90,92,94,97,99],[1,3,4,5,7,8,9,10,12,14,19,22,23,24,25,26,27,28,32,34,36,38,39,43,44,47,49,52,53,61,63,65,68,69,70,75,77,80,81,85,87,89,90,91,92,93,94,95,96,97],[68,92,93,95,96,98,99],[2,7,8,14,17,20,23,24,25,26,29,31,40,42,43,44,46,49,50,54,60,61,62,64,66,67,68,70,72,74,75,78,79,80,82,83,85,87,91,93,94,100],[66,92,93,94,95,96,98,99],[0,2,3,4,5,8,10,14,15,16,17,18,19,20,22,24,25,29,33,36,38,40,41,42,45,46,47,48,49,50,51,52,55,58,60,63,64,65,66,67,68,69,71,72,74,75,76,77,79,81,82,84,86,88,89,91,92,93,96,99],[8,92,95,97,98,99],[0,1,5,6,7,9,10,13,15,16,19,22,23,24,26,28,32,35,37,45,46,47,48,49,54,55,57,59,61,62,63,64,65,68,69,70,72,73,75,78,79,82,83,86,88,91,96,97],[31,92,94,95,97,98,99],[2,3,5,6,9,16,17,19,20,23,25,28,29,32,34,40,41,43,45,47,49,50,51,52,53,54,55,57,61,62,64,65,67,70,72,73,76,77,79,80,82,85,86,89,91,93],[65,92,96,97,98,99],[2,4,6,7,8,9,11,13,15,16,17,18,19,20,22,24,28,29,31,32,37,38,42,45,46,48,49,50,51,52,54,56,58,59,61,62,64,65,66,67,69,70,71,72,73,75,77,80,83,84,86,91,92,94,95,96,99,100],[0,1,2,3,5,9,11,13,16,17,19,20,22,23,24,25,29,31,32,34,39,41,43,45,46,47,49,50,52,53,54,55,56,61,62,65,66,70,71,72,74,77,79,81,82,88,89,93,95,96,97,100],[5,92,95,96,97,98,99],[1,3,6,7,9,10,11,12,13,15,16,20,21,22,23,24,27,32,33,34,35,38,43,44,47,51,52,53,55,58,60,61,65,66,67,68,72,77,78,80,81,87,88,90,91,92,95,96,98,99],[3,92,94,95,96,97,98,99],[0,1,4,5,6,8,15,17,21,22,23,25,26,28,31,32,34,35,36,38,39,41,42,44,45,49,51,56,58,60,62,64,65,66,68,71,74,78,79,82,85,87,90,91,96,97,100],[4,8,9,10,13,14,15,17,18,23,25,31,32,33,34,36,37,38,40,41,42,43,47,48,50,54,56,58,59,60,61,70,71,74,75,76,79,80,83,84,87,89,90,92,93,95,97,98,99,100],[7,11,17,24,28,31,39,40,41,47,50,51,55,57,62,66,68,74,79,80,81,82,85,87,90,91,93,96,97,99],[18,92,94,100],[5,6,8,9,10,12,13,14,15,17,19,20,22,25,29,30,31,34,35,36,37,39,48,50,54,57,58,61,62,63,64,65,66,69,70,73,75,76,77,78,79,84,85,86,88,89,90,91,92,93,95,96,98,99],[0,4,5,7,8,9,10,11,12,13,14,15,19,20,23,26,27,31,36,37,38,40,41,42,43,44,45,46,47,49,52,55,56,57,59,61,65,66,68,69,70,72,73,74,75,76,77,83,86,88,92,93,96,97,99],[0,2,3,5,8,10,13,14,15,16,17,18,19,20,22,23,24,29,33,34,36,37,38,40,45,46,48,49,50,51,52,53,55,56,59,64,65,66,67,68,69,70,72,75,77,82,87,90,96,99,100],[1,2,10,11,12,13,15,17,19,24,28,30,31,32,33,35,36,37,41,43,44,45,47,49,51,52,53,55,57,58,60,62,63,67,68,70,72,73,74,75,76,78,79,81,83,84,85,86,87,89,91,96,100],[43,92,93,94,95,100],[17,39,50,51,63,68,79,80,83,86,88,98,99,100],[1,17,24,32,40,47,50,51,57,62,66,68,69,70,72,84,85,86,88,92,95,96,97,99],[38,92,94,96,100],[2,3,5,6,7,9,15,16,17,19,20,23,27,30,31,34,36,37,43,45,46,48,49,57,60,61,63,65,66,69,70,73,74,75,76,77,79,80,83,84,85,86,88,89,90,96,97,100],[47,92,95,96,100],[0,1,4,6,7,8,9,10,14,18,23,25,28,32,33,34,36,37,38,40,41,42,43,47,48,54,55,58,59,61,64,67,68,69,73,74,75,80,82,83,84,86,88,89,92,93,94,95,99,100],[0,1,2,4,6,8,9,11,12,13,14,19,23,25,26,28,30,34,36,37,38,39,41,42,46,47,48,51,52,54,55,56,60,61,64,67,68,70,71,73,76,80,82,85,86,89,90,91,93,94,95,97,98,100],[75,92,93,94,95,96,100],[3,4,5,6,12,14,16,18,19,20,21,24,26,27,28,29,30,32,33,35,37,39,46,48,49,50,52,53,54,56,57,58,63,64,70,77,78,81,84,86,87,88,89,94,95,96,97,98,100],[0,1,2,5,8,11,14,17,18,19,21,23,24,25,27,29,31,32,33,34,37,39,40,41,42,48,50,51,52,53,56,57,58,59,61,63,70,73,74,78,79,81,82,85,87,88,92,95,97,100],[11,45,74,80,81,84,92,94,97,100],[13,92,93,94,97,100],[0,3,6,7,9,10,11,13,14,15,16,17,18,20,21,22,25,27,28,33,34,38,40,41,42,43,45,46,49,50,53,54,56,57,58,60,63,65,70,71,72,74,75,76,77,78,79,82,85,86,87,91,95,96,98,99],[0,2,6,7,9,10,12,15,16,17,19,21,22,26,27,28,30,35,38,39,42,44,45,46,48,50,51,54,56,57,59,63,65,70,73,75,76,78,79,83,84,88,90,94,95,96,97,98,100],[0,3,4,5,8,9,10,12,13,14,15,19,20,24,26,27,28,36,37,38,39,42,43,44,46,49,51,52,53,54,56,59,60,62,64,65,69,70,73,74,75,77,79,80,81,85,86,87,88,90,95,98],[0,2,3,4,5,7,9,10,14,16,17,18,19,20,23,24,25,26,27,28,30,38,40,41,42,45,46,47,49,52,53,54,55,56,58,59,60,63,64,65,66,67,68,70,74,76,77,78,79,82,85,87,88,90,93,95,100],[77,92,93,96,97,100],[2,3,4,5,6,7,8,10,11,13,14,15,16,18,19,22,24,28,29,31,33,36,37,38,39,40,42,45,46,48,49,50,52,53,56,58,59,60,62,64,65,66,67,69,70,71,72,73,75,77,79,80,82,83,86,87,88,90,92,94,96,97,99,100],[0,1,3,6,7,8,10,15,18,23,25,28,32,34,37,39,41,42,43,47,48,50,54,55,59,60,61,64,66,69,73,74,77,80,81,82,83,84,87,88,89,90,91,92,93,97,99],[3,4,5,6,7,12,16,17,20,22,23,28,29,30,37,38,40,43,45,48,49,52,53,54,57,61,64,65,67,68,69,70,73,76,77,78,79,80,82,85,88,91,93,94,95,96,97,98,99],[0,1,2,4,5,9,11,13,15,16,17,19,22,23,24,25,29,31,34,41,43,45,46,47,49,50,51,52,55,56,58,62,63,65,66,67,68,70,71,72,74,77,79,80,83,84,88,89,92,93,94,98,99],[0,1,2,3,5,9,11,13,16,19,20,22,23,25,29,31,32,34,40,41,42,43,45,46,47,49,50,52,53,54,55,56,57,60,61,62,65,68,70,71,72,74,77,81,84,85,87,88,89,90,91,92,94,95,97,99],[0,2,3,4,5,6,7,10,11,12,13,14,16,17,19,20,21,22,27,29,31,35,37,39,42,45,46,47,49,51,53,55,58,60,62,63,65,67,68,72,73,74,75,78,79,81,82,83,84,86,87,88,89,90,91,94,95,96,97],[0,1,4,6,8,9,10,11,14,15,17,18,24,25,31,32,33,34,36,37,38,41,42,43,48,50,51,54,57,58,59,61,62,64,66,67,69,73,75,81,82,84,85,86,87,88,89,90,91,93,94,95,96,97,98],[4,5,6,7,12,14,16,18,19,20,21,22,24,27,28,29,30,33,34,35,36,37,40,42,43,45,46,47,49,50,52,53,54,55,58,59,62,63,64,65,67,69,70,71,73,75,76,83,84,88,91,94,95,96,97,98,99],[4,5,8,10,11,13,15,16,17,18,21,22,23,24,25,26,27,28,31,34,36,40,41,45,46,49,56,61,62,65,66,68,69,73,75,76,79,80,81,82,83,84,85,87,90,92,93,94,95,96,97,100],[4,8,9,10,11,13,14,15,17,18,23,25,28,33,34,36,37,38,40,41,42,43,46,48,51,54,56,58,59,60,61,62,69,71,72,75,79,81,83,91,93,96,97,98],[0,3,4,9,10,12,14,15,17,19,21,24,27,28,35,43,47,51,52,53,54,55,56,59,60,63,64,66,69,70,71,73,74,75,77,78,79,80,81,82,86,87,89,90,93,94,96,99,100],[0,1,2,4,5,6,7,12,13,14,15,16,19,21,25,28,29,32,34,39,41,43,45,46,49,50,51,54,56,57,58,64,65,66,67,70,71,72,75,80,83,84,85,86,92,95,97,98,99],[1,3,4,5,6,7,8,11,12,13,16,18,20,21,22,23,24,27,28,29,30,35,36,37,38,40,43,45,46,47,48,49,50,52,53,54,55,56,59,60,63,65,71,80,81,86,88,91,92,93,94,96,97,100],[4,17,39,50,51,68,79,86,88,92,96,98,99,100],[0,2,3,4,7,10,14,15,16,18,20,21,22,24,26,29,31,32,33,35,37,39,40,44,45,46,47,48,51,52,53,54,55,56,58,59,60,62,63,64,70,73,75,77,78,80,81,82,83,84,85,89,92,93,96,97,100],[0,2,3,4,5,6,7,12,16,20,22,23,28,30,37,38,45,46,48,51,53,54,56,57,61,65,67,73,76,77,78,81,82,83,84,85,86,87,90,91,92,93,94,95,97,98,99,100],[44,92,93,94,96,98,100],[0,1,2,4,5,6,7,10,11,12,13,14,15,16,21,22,23,27,29,32,34,35,39,46,47,49,50,55,60,61,64,65,69,71,72,75,78,82,83,88,93,95,99,100],[79,92,93,95,96,98,100],[0,2,3,5,6,7,9,10,12,15,16,20,22,23,28,30,36,37,39,40,45,46,48,56,57,61,63,65,67,68,73,75,76,77,78,80,82,84,85,86,87,90,96,97,100],[0,1,2,3,4,5,8,10,14,15,16,18,19,20,21,22,24,25,27,28,30,32,33,36,39,40,41,42,45,46,48,49,52,53,54,55,57,58,60,63,65,66,67,70,71,76,77,82,85,87,89,92,94,98,100],[74,92,94,97,98,100],[1,2,3,4,5,6,7,9,13,15,16,17,20,22,23,24,28,29,31,32,37,43,45,46,49,50,52,53,60,61,65,66,68,71,72,76,77,81,91,92,96,97,98,100],[2,3,4,5,6,7,8,13,16,17,20,21,22,23,24,27,30,36,37,39,40,43,45,46,47,48,49,50,52,53,57,59,60,61,63,64,65,68,69,70,71,74,76,77,79,80,81,83,84,85,87,91,93,96,97,98,99],[0,1,3,4,5,9,11,12,13,14,15,16,17,20,26,27,28,32,36,37,38,39,40,42,43,45,46,48,49,50,56,57,59,60,64,65,68,72,75,77,79,87,90,93,95,96,99,100],[2,3,5,6,9,16,19,20,22,23,25,28,29,32,34,39,40,41,43,45,47,49,50,51,52,53,54,55,57,61,62,65,67,68,70,72,73,76,77,80,82,85,86,87,90,91,93,99,100],[0,3,5,7,12,17,18,19,20,21,25,26,27,28,33,34,35,36,37,38,44,45,48,51,54,55,57,58,59,60,62,66,67,68,70,73,74,77,79,80,81,82,86,87,91,92,94,95,96,99],[0,2,6,7,9,12,16,22,23,28,30,32,33,37,40,45,46,48,51,54,56,57,58,61,63,65,67,68,73,76,78,80,81,85,86,87,90,94,96,97,100],[2,3,4,7,8,10,12,14,15,16,19,22,23,24,25,26,27,28,29,34,36,38,40,44,46,50,51,53,56,57,62,63,64,67,68,69,70,72,75,81,83,89,93,94,95,97,98],[0,1,2,3,5,9,11,13,16,19,20,22,23,24,25,29,31,32,34,41,43,45,46,47,49,50,52,53,54,55,56,58,60,61,62,65,66,68,70,71,72,74,77,81,82,87,89,90,92,94,95,98,100],[0,3,4,5,8,9,11,12,13,17,18,19,20,23,24,29,30,31,33,36,39,42,49,51,52,53,54,57,58,59,60,62,64,67,68,69,70,71,72,76,77,78,79,80,84,85,86,93,94,96,97,98,99,100],[4,5,6,8,10,12,15,16,17,19,20,21,23,26,27,33,35,36,41,43,45,47,50,51,56,57,61,64,68,72,75,77,79,82,83,84,86,89,90,91,92,93,94,97,98,99,100],[67,92,94,95,96,97,98,100],[2,3,4,5,6,7,8,10,11,13,14,15,16,18,19,20,22,25,28,29,31,33,36,37,38,39,42,45,46,48,49,50,52,53,56,57,58,59,60,62,64,65,67,69,70,71,72,73,75,77,79,80,82,83,84,85,86,87,90,91,92,94,95,96,98],[0,2,3,5,6,7,8,9,11,12,16,17,18,19,21,22,27,29,33,35,36,37,38,39,40,42,43,45,47,48,49,58,59,61,62,65,68,72,74,78,79,80,81,88,91,95,97,99],[1,5,7,8,11,15,17,21,22,24,26,31,32,35,36,38,39,40,44,45,47,49,50,51,54,55,56,57,58,59,60,63,64,65,68,71,73,78,79,82,84,88,89,91,92,93,96,98,99,100],[3,5,6,7,8,9,12,13,14,16,17,18,19,20,22,25,34,35,36,39,41,42,44,46,47,49,51,52,53,55,56,57,59,60,64,65,67,69,70,72,73,74,75,76,77,78,79,82,83,84,85,86,88,91,92,93,95,99],[37,92,95,99,100],[0,1,3,7,8,11,12,17,18,19,20,21,24,25,27,28,32,33,34,35,36,37,38,39,40,41,48,51,52,53,54,55,56,58,59,60,62,66,67,68,70,77,78,81,84,86,88,91,92,96,99,100],[1,2,3,5,6,8,14,18,20,24,25,26,28,29,32,33,34,35,36,38,39,41,47,48,49,50,51,52,53,54,55,56,57,58,59,61,65,67,68,73,74,77,78,81,82,85,86,87,89,90,94,95,96,98,99],[3,5,8,9,10,16,17,18,19,21,22,23,25,26,27,32,35,38,39,40,41,43,45,46,51,53,54,56,57,58,60,61,62,63,65,66,67,70,72,74,76,78,79,80,81,82,85,87,89,90,91,92,93,94,95,99],[50,51,54,80,83,91,98,100],[1,3,6,7,9,10,11,12,13,14,15,20,21,22,23,24,27,34,35,39,42,43,50,51,52,53,55,56,60,61,62,66,69,70,71,75,77,78,79,80,81,82,86,87,90,91,92,95,96,97,99,100],[0,1,4,5,6,8,10,15,16,17,21,22,23,25,26,27,28,31,32,34,35,39,40,41,45,49,51,57,60,61,62,64,65,66,67,68,69,71,72,74,75,78,79,80,81,83,85,87,88,90,91,93,96,98,99],[17,39,47,62,68,71,79,86,91,99,100],[0,1,4,6,7,8,9,10,14,15,17,18,23,25,28,32,33,34,36,37,38,39,40,41,42,43,47,48,53,54,55,58,59,61,64,67,69,73,74,75,79,80,82,83,84,86,88,89,91,92,93,94,95,99,100],[9,92,93,94,95,96,99,100],[2,4,5,9,10,14,15,18,20,24,25,33,34,36,37,38,39,40,44,47,48,55,57,58,62,63,64,67,68,71,78,80,81,83,84,86,87,88,91,99],[0,2,4,6,7,8,12,13,14,16,17,18,19,22,25,26,28,31,33,34,35,36,38,41,42,43,45,46,47,51,55,57,58,60,63,65,67,68,70,71,72,73,74,78,79,81,83,84,85,86,89,92,93,97,98],[0,2,7,8,10,12,13,14,16,20,23,25,26,27,28,29,31,34,36,38,39,42,44,45,46,50,54,56,59,61,62,66,69,72,75,80,85,86,89,93,94],[2,3,5,6,9,11,16,20,22,23,24,25,29,31,34,39,41,43,45,47,49,50,51,52,53,54,55,61,62,64,65,66,67,68,69,73,74,76,77,81,87,88,90,92,94,98,99,100],[2,5,8,9,11,12,13,14,15,18,21,23,25,27,31,33,36,37,38,39,40,41,42,43,48,49,50,54,58,59,60,61,67,68,70,71,72,74,75,81,82,86,89,91,93,95,96,98],[1,2,3,4,6,8,9,12,14,23,24,25,26,31,32,34,36,38,39,40,45,47,48,49,50,51,52,53,54,55,56,57,59,61,63,65,67,68,73,77,78,83,84,86,87,89,91,92,96,98],[28,31,73,80,81,82,84,91,92,94,95,97,98,99],[3,4,9,10,11,12,14,15,19,21,23,27,28,31,32,35,37,39,40,41,42,43,45,52,56,57,61,63,67,68,69,70,73,74,75,76,77,78,79,80,81,84,85,87,89,90,91,92,94,95,96,97,98],[4,8,9,11,13,14,17,18,19,21,25,27,29,31,32,34,35,36,37,41,46,48,50,54,57,59,60,62,63,67,70,71,72,73,79,80,81,82,83,85,87,92,94,95,97,100],[1,2,3,4,5,6,7,10,12,14,15,16,17,19,21,24,25,27,29,31,32,35,40,41,45,46,49,50,51,54,56,57,58,60,65,66,67,68,70,71,72,74,75,78,79,81,82,83,85,87,89,90,94,96,98,99],[2,3,4,5,6,7,8,10,11,13,14,15,16,17,18,19,20,22,24,28,29,31,33,36,37,38,40,42,45,46,48,49,50,52,53,56,58,59,60,61,62,64,65,66,67,68,69,70,71,72,73,75,77,80,82,83,86,91,93,100],[0,1,2,3,4,7,8,9,14,20,23,24,26,31,32,36,38,39,40,42,50,52,53,54,56,58,60,61,62,63,66,67,68,71,74,77,78,81,86,88,90,91,92,93,94,96,97,99],[0,2,3,6,7,8,10,15,17,18,23,25,27,28,34,37,38,41,43,47,48,50,53,55,56,57,59,60,62,64,66,68,70,73,74,75,79,82,86,89,91,92,93,94,97,98,99],[72,92,94,95,96,97,99,100],[1,2,3,5,9,11,13,16,17,19,20,22,23,25,29,31,32,34,39,40,41,43,45,46,47,49,50,52,53,54,55,56,57,60,61,62,65,70,71,72,74,77,79,81,84,85,88,89,92,94,95,97,99],[0,1,2,3,5,9,11,13,16,19,20,22,24,29,34,37,42,43,45,49,51,52,53,59,62,63,65,66,67,68,72,76,77,80,82,84,86,88,89,91,95,97,98,99],[0,1,4,8,9,10,11,14,15,18,23,24,25,31,32,33,34,36,37,38,39,41,42,43,48,50,51,54,57,58,59,61,62,64,66,67,68,69,73,75,79,81,82,84,85,86,87,90,91,92,94,95,96,97],[1,4,5,9,10,11,13,14,15,16,17,21,22,25,27,32,33,34,35,40,41,42,45,46,48,49,57,61,64,65,66,68,69,72,73,74,75,78,79,82,83,84,85,86,87,89,90,91,92,99],[0,1,2,4,5,10,11,12,13,15,16,20,22,23,24,25,27,28,29,32,34,35,36,38,39,40,41,42,45,46,47,49,50,51,52,55,57,61,62,63,64,65,66,69,71,72,73,75,77,80,82,84,85,86,87,89,91,93,97,99],[0,1,4,6,7,8,12,18,19,20,21,22,23,25,27,31,32,33,34,35,36,37,38,41,47,48,52,53,54,55,56,57,59,64,68,70,76,77,78,80,84,85,86,87,88,90,91,93,95,97,98],[11,12,18,28,31,35,74,80,81,85,90,95,97,98,99],[26,92,93,94,95,98,99,100],[50,92,96,98,99,100],[3,8,12,17,18,19,21,23,25,27,28,31,33,34,35,36,37,38,39,42,45,47,48,50,52,55,57,58,59,60,61,62,63,68,71,73,77,78,79,81,83,85,91,93,94],[0,1,4,5,6,8,15,16,17,21,22,23,25,26,27,28,31,32,34,35,36,39,40,41,45,49,51,57,60,61,62,64,65,66,67,68,69,71,72,74,75,78,79,85,87,88,90,92,93,94,98],[2,3,4,6,8,10,11,12,13,15,16,17,21,22,24,25,26,27,29,31,34,35,36,38,39,46,47,49,50,51,52,53,54,55,56,57,64,66,67,69,72,74,75,77,79,81,82,83,85,90,91,92,94,95,96,97,99],[1,3,4,5,7,8,9,10,12,14,17,19,22,23,24,25,26,27,28,32,34,36,38,43,44,49,52,53,61,62,63,65,69,70,75,77,79,81,82,83,85,86,87,89,90,91,93,94,97,100],[17,92,93,95,96,98,99,100],[0,1,2,4,5,6,7,10,14,15,16,20,21,22,24,27,28,29,34,35,36,39,41,42,43,44,45,46,50,51,54,57,65,71,72,81,84,85,88,90,94,96,97,99,100],[40,92,93,94,95,96,98,99,100],[2,3,4,5,6,7,8,11,13,16,20,22,23,24,27,28,31,32,36,37,40,43,45,46,48,49,51,52,53,57,59,60,61,62,63,64,65,71,72,76,77,80,83,86,88,92,93,95,98,100],[4,5,8,11,13,14,16,18,19,22,25,26,28,29,31,33,34,35,36,38,39,41,42,43,45,46,47,48,49,50,51,58,63,65,66,67,70,72,78,81,83,84,87,88,90,92,94,95],[3,4,6,7,9,10,12,14,15,19,20,21,23,24,27,35,39,42,43,47,51,52,53,55,56,60,61,62,64,66,68,69,70,73,75,77,78,80,81,82,86,87,88,90,93,94,95,96],[1,7,11,17,25,28,31,32,37,41,46,47,53,55,59,60,62,63,64,67,68,69,71,72,74,80,81,82,84,87,88,90,93,94,95,96,97,98,100],[2,3,4,5,6,7,13,16,20,21,22,23,24,27,36,37,40,43,45,46,47,48,49,50,52,53,57,59,60,61,63,64,65,69,70,71,74,76,77,80,81,83,84,85,86,87,89,90,91,93,96,97,98],[22,92,93,94,95,97,98,99,100],[0,1,2,3,4,7,8,9,14,17,20,23,24,26,31,32,33,36,38,40,42,47,51,52,53,54,56,58,60,61,63,65,66,67,71,74,77,78,79,81,84,85,88,90,92,93,94,96,97],[0,1,2,4,8,9,10,14,16,18,20,21,22,23,24,27,32,33,35,37,39,40,43,45,47,48,49,51,52,54,55,56,57,59,60,63,65,66,67,68,73,74,77,80,81,82,83,84,85,87,88,89,92,93,94,95,96,97],[69,92,94,96,97,98,99,100],[0,1,2,3,4,5,7,8,9,14,20,23,24,26,31,32,33,36,38,39,40,42,50,52,53,54,56,58,60,61,62,63,66,67,68,71,74,77,78,80,81,82,83,84,86,88,90,92,93,94,96,97,98,99],[1,3,4,6,7,8,10,12,15,16,18,19,20,22,23,25,29,31,32,33,36,37,38,39,40,41,43,44,46,48,52,53,54,55,58,59,61,63,65,69,71,72,73,77,78,82,83,85,86,88,90,93,94,95,96,98],[3,32,72,80,81,82,83,84,91,92,94,95,96,97,98,99,100],[0,1,2,3,7,10,11,13,14,16,18,19,20,21,23,25,26,29,32,33,34,35,37,39,41,44,46,48,50,51,52,53,57,59,66,67,69,70,72,73,74,75,77,78,79,80,83,84,86,87,90,93,96,100]]},"distance":{"d":4,"is_exact":true,"upper":4,"witness":[0,1,10,11],"A_d":7262,"certified":null},"clifford":{"kind":"powers","correction":{"S":[[0,1],[1,1],[2,1],[3,2],[4,2],[5,1],[6,2],[7,2],[8,1],[9,2],[10,2],[11,2],[12,2],[13,1],[14,2],[15,2],[16,1],[17,2],[18,1],[19,2],[20,2],[21,2],[22,1],[23,2],[24,2],[25,1],[26,1],[27,2],[28,1],[29,1],[30,1],[31,1],[32,1],[33,1],[34,1],[35,2],[36,1],[37,1],[38,1],[39,1],[40,1],[41,1],[42,2],[43,2],[44,1],[45,1],[46,1],[47,2],[48,1],[49,1],[50,1],[51,2],[52,2],[53,2],[54,1],[55,2],[56,2],[57,1],[58,1],[59,1],[60,2],[61,2],[62,2],[63,1],[64,2],[65,1],[66,2],[67,1],[68,1],[69,2],[70,2],[71,1],[72,1],[73,2],[74,2],[75,2],[76,1],[77,2],[78,2],[79,2],[80,1],[81,1],[82,1],[89,1],[93,1],[94,1],[95,1],[96,1],[100,1]],"CZ":[[3,4],[3,6],[3,7],[3,9],[3,10],[3,11],[3,12],[3,14],[3,15],[3,17],[3,19],[3,20],[3,21],[3,23],[3,24],[3,27],[3,35],[3,42],[3,43],[3,47],[3,51],[3,52],[3,53],[3,55],[3,56],[3,60],[3,61],[3,62],[3,64],[3,66],[3,69],[3,70],[3,73],[3,74],[3,75],[3,77],[3,78],[3,79],[3,80],[3,81],[3,82],[3,89],[3,93],[3,94],[3,95],[3,96],[3,100],[4,6],[4,7],[4,9],[4,10],[4,11],[4,12],[4,14],[4,15],[4,17],[4,19],[4,20],[4,21],[4,23],[4,24],[4,27],[4,35],[4,42],[4,43],[4,47],[4,51],[4,52],[4,53],[4,55],[4,56],[4,60],[4,61],[4,62],[4,64],[4,66],[4,69],[4,70],[4,73],[4,74],[4,75],[4,77],[4,78],[4,79],[4,80],[4,81],[4,82],[4,89],[4,93],[4,94],[4,95],[4,96],[4,100],[6,7],[6,9],[6,10],[6,11],[6,12],[6,14],[6,15],[6,17],[6,19],[6,20],[6,21],[6,23],[6,24],[6,27],[6,35],[6,42],[6,43],[6,47],[6,51],[6,52],[6,53],[6,55],[6,56],[6,60],[6,61],[6,62],[6,64],[6,66],[6,69],[6,70],[6,73],[6,74],[6,75],[6,77],[6,78],[6,79],[6,80],[6,81],[6,82],[6,89],[6,93],[6,94],[6,95],[6,96],[6,100],[7,9],[7,10],[7,11],[7,12],[7,14],[7,15],[7,17],[7,19],[7,20],[7,21],[7,23],[7,24],[7,27],[7,35],[7,42],[7,43],[7,47],[7,51],[7,52],[7,53],[7,55],[7,56],[7,60],[7,61],[7,62],[7,64],[7,66],[7,69],[7,70],[7,73],[7,74],[7,75],[7,77],[7,78],[7,79],[7,80],[7,81],[7,82],[7,89],[7,93],[7,94],[7,95],[7,96],[7,100],[9,10],[9,11],[9,12],[9,14],[9,15],[9,17],[9,19],[9,20],[9,21],[9,23],[9,24],[9,27],[9,35],[9,42],[9,43],[9,47],[9,51],[9,52],[9,53],[9,55],[9,56],[9,60],[9,61],[9,62],[9,64],[9,66],[9,69],[9,70],[9,73],[9,74],[9,75],[9,77],[9,78],[9,79],[9,80],[9,81],[9,82],[9,89],[9,93],[9,94],[9,95],[9,96],[9,100],[10,11],[10,12],[10,14],[10,15],[10,17],[10,19],[10,20],[10,21],[10,23],[10,24],[10,27],[10,35],[10,42],[10,43],[10,47],[10,51],[10,52],[10,53],[10,55],[10,56],[10,60],[10,61],[10,62],[10,64],[10,66],[10,69],[10,70],[10,73],[10,74],[10,75],[10,77],[10,78],[10,79],[10,80],[10,81],[10,82],[10,89],[10,93],[10,94],[10,95],[10,96],[10,100],[11,12],[11,14],[11,15],[11,17],[11,19],[11,20],[11,21],[11,23],[11,24],[11,27],[11,35],[11,42],[11,43],[11,47],[11,51],[11,52],[11,53],[11,55],[11,56],[11,60],[11,61],[11,62],[11,64],[11,66],[11,69],[11,70],[11,73],[11,74],[11,75],[11,77],[11,78],[11,79],[11,80],[11,81],[11,82],[11,89],[11,93],[11,94],[11,95],[11,96],[11,100],[12,14],[12,15],[12,17],[12,19],[12,20],[12,21],[12,23],[12,24],[12,27],[12,35],[12,42],[12,43],[12,47],[12,51],[12,52],[12,53],[12,55],[12,56],[12,60],[12,61],[12,62],[12,64],[12,66],[12,69],[12,70],[12,73],[12,74],[12,75],[12,77],[12,78],[12,79],[12,80],[12,81],[12,82],[12,89],[12,93],[12,94],[12,95],[12,96],[12,100],[14,15],[14,17],[14,19],[14,20],[14,21],[14,23],[14,24],[14,27],[14,35],[14,42],[14,43],[14,47],[14,51],[14,52],[14,53],[14,55],[14,56],[14,60],[14,61],[14,62],[14,64],[14,66],[14,69],[14,70],[14,73],[14,74],[14,75],[14,77],[14,78],[14,79],[14,80],[14,81],[14,82],[14,89],[14,93],[14,94],[14,95],[14,96],[14,100],[15,17],[15,19],[15,20],[15,21],[15,23],[15,24],[15,27],[15,35],[15,42],[15,43],[15,47],[15,51],[15,52],[15,53],[15,55],[15,56],[15,60],[15,61],[15,62],[15,64],[15,66],[15,69],[15,70],[15,73],[15,74],[15,75],[15,77],[15,78],[15,79],[15,80],[15,81],[15,82],[15,89],[15,93],[15,94],[15,95],[15,96],[15,100],[17,19],[17,20],[17,21],[17,23],[17,24],[17,27],[17,35],[17,42],[17,43],[17,47],[17,51],[17,52],[17,53],[17,55],[17,56],[17,60],[17,61],[17,62],[17,64],[17,66],[17,69],[17,70],[17,73],[17,74],[17,75],[17,77],[17,78],[17,79],[17,80],[17,81],[17,82],[17,89],[17,93],[17,94],[17,95],[17,96],[17,100],[19,20],[19,21],[19,23],[19,24],[19,27],[19,35],[19,42],[19,43],[19,47],[19,51],[19,52],[19,53],[19,55],[19,56],[19,60],[19,61],[19,62],[19,64],[19,66],[19,69],[19,70],[19,73],[19,74],[19,75],[19,77],[19,78],[19,79],[19,80],[19,81],[19,82],[19,89],[19,93],[19,94],[19,95],[19,96],[19,100],[20,21],[20,23],[20,24],[20,27],[20,35],[20,42],[20,43],[20,47],[20,51],[20,52],[20,53],[20,55],[20,56],[20,60],[20,61],[20,62],[20,64],[20,66],[20,69],[20,70],[20,73],[20,74],[20,75],[20,77],[20,78],[20,79],[20,80],[20,81],[20,82],[20,89],[20,93],[20,94],[20,95],[20,96],[20,100],[21,23],[21,24],[21,27],[21,35],[21,42],[21,43],[21,47],[21,51],[21,52],[21,53],[21,55],[21,56],[21,60],[21,61],[21,62],[21,64],[21,66],[21,69],[21,70],[21,73],[21,74],[21,75],[21,77],[21,78],[21,79],[21,80],[21,81],[21,82],[21,89],[21,93],[21,94],[21,95],[21,96],[21,100],[23,24],[23,27],[23,35],[23,42],[23,43],[23,47],[23,51],[23,52],[23,53],[23,55],[23,56],[23,60],[23,61],[23,62],[23,64],[23,66],[23,69],[23,70],[23,73],[23,74],[23,75],[23,77],[23,78],[23,79],[23,80],[23,81],[23,82],[23,89],[23,93],[23,94],[23,95],[23,96],[23,100],[24,27],[24,35],[24,42],[24,43],[24,47],[24,51],[24,52],[24,53],[24,55],[24,56],[24,60],[24,61],[24,62],[24,64],[24,66],[24,69],[24,70],[24,73],[24,74],[24,75],[24,77],[24,78],[24,79],[24,80],[24,81],[24,82],[24,89],[24,93],[24,94],[24,95],[24,96],[24,100],[27,35],[27,42],[27,43],[27,47],[27,51],[27,52],[27,53],[27,55],[27,56],[27,60],[27,61],[27,62],[27,64],[27,66],[27,69],[27,70],[27,73],[27,74],[27,75],[27,77],[27,78],[27,79],[27,80],[27,81],[27,82],[27,89],[27,93],[27,94],[27,95],[27,96],[27,100],[35,42],[35,43],[35,47],[35,51],[35,52],[35,53],[35,55],[35,56],[35,60],[35,61],[35,62],[35,64],[35,66],[35,69],[35,70],[35,73],[35,74],[35,75],[35,77],[35,78],[35,79],[35,80],[35,81],[35,82],[35,89],[35,93],[35,94],[35,95],[35,96],[35,100],[42,43],[42,47],[42,51],[42,52],[42,53],[42,55],[42,56],[42,60],[42,61],[42,62],[42,64],[42,66],[42,69],[42,70],[42,73],[42,74],[42,75],[42,77],[42,78],[42,79],[42,80],[42,81],[42,82],[42,89],[42,93],[42,94],[42,95],[42,96],[42,100],[43,47],[43,51],[43,52],[43,53],[43,55],[43,56],[43,60],[43,61],[43,62],[43,64],[43,66],[43,69],[43,70],[43,73],[43,74],[43,75],[43,77],[43,78],[43,79],[43,80],[43,81],[43,82],[43,89],[43,93],[43,94],[43,95],[43,96],[43,100],[47,51],[47,52],[47,53],[47,55],[47,56],[47,60],[47,61],[47,62],[47,64],[47,66],[47,69],[47,70],[47,73],[47,74],[47,75],[47,77],[47,78],[47,79],[47,80],[47,81],[47,82],[47,89],[47,93],[47,94],[47,95],[47,96],[47,100],[51,52],[51,53],[51,55],[51,56],[51,60],[51,61],[51,62],[51,64],[51,66],[51,69],[51,70],[51,73],[51,74],[51,75],[51,77],[51,78],[51,79],[51,80],[51,81],[51,82],[51,89],[51,93],[51,94],[51,95],[51,96],[51,100],[52,53],[52,55],[52,56],[52,60],[52,61],[52,62],[52,64],[52,66],[52,69],[52,70],[52,73],[52,74],[52,75],[52,77],[52,78],[52,79],[52,80],[52,81],[52,82],[52,89],[52,93],[52,94],[52,95],[52,96],[52,100],[53,55],[53,56],[53,60],[53,61],[53,62],[53,64],[53,66],[53,69],[53,70],[53,73],[53,74],[53,75],[53,77],[53,78],[53,79],[53,80],[53,81],[53,82],[53,89],[53,93],[53,94],[53,95],[53,96],[53,100],[55,56],[55,60],[55,61],[55,62],[55,64],[55,66],[55,69],[55,70],[55,73],[55,74],[55,75],[55,77],[55,78],[55,79],[55,80],[55,81],[55,82],[55,89],[55,93],[55,94],[55,95],[55,96],[55,100],[56,60],[56,61],[56,62],[56,64],[56,66],[56,69],[56,70],[56,73],[56,74],[56,75],[56,77],[56,78],[56,79],[56,80],[56,81],[56,82],[56,89],[56,93],[56,94],[56,95],[56,96],[56,100],[60,61],[60,62],[60,64],[60,66],[60,69],[60,70],[60,73],[60,74],[60,75],[60,77],[60,78],[60,79],[60,80],[60,81],[60,82],[60,89],[60,93],[60,94],[60,95],[60,96],[60,100],[61,62],[61,64],[61,66],[61,69],[61,70],[61,73],[61,74],[61,75],[61,77],[61,78],[61,79],[61,80],[61,81],[61,82],[61,89],[61,93],[61,94],[61,95],[61,96],[61,100],[62,64],[62,66],[62,69],[62,70],[62,73],[62,74],[62,75],[62,77],[62,78],[62,79],[62,80],[62,81],[62,82],[62,89],[62,93],[62,94],[62,95],[62,96],[62,100],[64,66],[64,69],[64,70],[64,73],[64,74],[64,75],[64,77],[64,78],[64,79],[64,80],[64,81],[64,82],[64,89],[64,93],[64,94],[64,95],[64,96],[64,100],[66,69],[66,70],[66,73],[66,74],[66,75],[66,77],[66,78],[66,79],[66,80],[66,81],[66,82],[66,89],[66,93],[66,94],[66,95],[66,96],[66,100],[69,70],[69,73],[69,74],[69,75],[69,77],[69,78],[69,79],[69,80],[69,81],[69,82],[69,89],[69,93],[69,94],[69,95],[69,96],[69,100],[70,73],[70,74],[70,75],[70,77],[70,78],[70,79],[70,80],[70,81],[70,82],[70,89],[70,93],[70,94],[70,95],[70,96],[70,100],[73,74],[73,75],[73,77],[73,78],[73,79],[73,80],[73,81],[73,82],[73,89],[73,93],[73,94],[73,95],[73,96],[73,100],[74,75],[74,77],[74,78],[74,79],[74,80],[74,81],[74,82],[74,89],[74,93],[74,94],[74,95],[74,96],[74,100],[75,77],[75,78],[75,79],[75,80],[75,81],[75,82],[75,89],[75,93],[75,94],[75,95],[75,96],[75,100],[77,78],[77,79],[77,80],[77,81],[77,82],[77,89],[77,93],[77,94],[77,95],[77,96],[77,100],[78,79],[78,80],[78,81],[78,82],[78,89],[78,93],[78,94],[78,95],[78,96],[78,100],[79,80],[79,81],[79,82],[79,89],[79,93],[79,94],[79,95],[79,96],[79,100],[80,81],[80,82],[80,89],[80,93],[80,94],[80,95],[80,96],[80,100],[81,82],[81,89],[81,93],[81,94],[81,95],[81,96],[81,100],[82,89],[82,93],[82,94],[82,95],[82,96],[82,100],[89,93],[89,94],[89,95],[89,96],[89,100],[93,94],[93,95],[93,96],[93,100],[94,95],[94,96],[94,100],[95,96],[95,100],[96,100]]},"rotation_powers":[[1,5],[3,3],[4,3],[5,3],[6,3],[9,7],[10,5],[11,5],[12,5],[13,7],[15,7],[16,7],[17,3],[18,3],[19,7],[21,7],[22,5],[25,5],[27,3],[30,7],[31,7],[32,5],[33,7],[34,5],[35,7],[36,5],[38,3],[40,7],[41,3],[42,7],[44,3],[46,5],[52,5],[53,7],[54,5],[55,7],[56,3],[57,3],[60,3],[62,3],[64,3],[65,3],[66,7],[71,7],[76,3],[78,3],[80,7],[83,3],[84,5],[88,3],[89,3],[90,5],[98,3],[99,3],[100,3],[102,7],[103,7],[104,5],[105,5],[107,3],[108,3],[109,5],[111,3],[113,7],[114,3],[115,3],[117,5],[119,7],[121,3],[125,3],[127,5],[128,7],[130,7],[131,3],[132,3],[134,7],[136,3],[140,5],[143,3],[148,3],[149,3],[150,3],[151,3],[152,3],[155,3],[156,5],[157,3],[158,5],[159,3],[161,3],[163,3],[165,3],[168,5],[169,3],[170,3],[177,3],[179,3],[180,3],[181,3],[182,3],[183,3],[186,3],[189,3],[192,3],[193,3],[194,3],[196,3],[198,3],[199,3],[203,3],[206,3],[207,3],[209,5],[213,3],[214,5],[216,3],[218,3],[220,3],[227,3],[229,3],[230,3],[231,3],[232,3],[234,3],[240,3],[243,3],[244,3],[247,3],[252,3],[255,3],[257,3],[258,3],[259,3],[261,3],[262,3],[263,3],[265,7],[267,3],[270,3],[271,3],[278,3],[283,3],[284,3],[285,3],[287,3],[290,3],[294,3],[297,3],[298,3],[303,3],[305,3],[307,3],[309,3],[315,7],[319,3],[320,3],[321,3],[326,3],[328,3],[331,3],[336,3],[337,3],[341,3],[342,3],[343,3],[345,3],[346,3],[348,3],[352,3],[354,3],[357,3],[359,3],[360,3],[362,3],[364,3],[365,3],[366,3],[373,3],[374,3],[378,3],[380,3],[382,3],[385,3],[387,3],[390,3],[391,3],[392,3],[393,3],[394,3],[396,3],[403,3],[404,3],[406,3],[410,3],[411,3],[417,3],[419,3],[423,3],[426,3],[429,3]]},"metrics":{"gamma":1.213132377351049,"gamma_t":null,"gamma_rho":1.213132377351049,"gamma_claim":1.213132377351049,"gamma_t_claim":null,"gamma_rho_claim":1.213132377351049,"v_ex":80,"rate":0.18604651162790697,"t_count":null,"poly_degree":null,"effective_width":80},"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_430_80_4_284672c3c5ec.json","label":"paired_column_contraction_430_80_4_284672c3c5ec","N":101,"d":4,"d_is_exact":true,"origin":"Existing triorthogonal code with physical paired-column contraction","provenance":"gamma frontier release record paired_column_contraction_430_80_4_284672c3c5ec (source catalogue id paired_column_contraction_430_80_4_284672c3c5ec); construction: Existing triorthogonal code with physical paired-column contraction; matrix 284672c3c5ecf884...; the release states d=4 (exact), gamma=1.213132377351049 (exact)","notes":"matrix gamma_frontier_release/matrices/284672c3c5ecf884c68617d808b826a9b3b7ff150a89cf86a97837561439cf0f.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"}]}