{"id":"429.81.4.a","row":1049,"stored":{"file":"master_catalog.json","row":1049,"construction":null,"columns_sha256":null},"parameters":{"n":429,"k":81,"d":4,"N":101,"r":20,"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","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","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]],"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]],"sk_fingerprint":"7e4e7496d169a4ff","sk_canonical_frame":true,"relabelled_into_canonical_frame":false},"circuit":{"columns":[[3,4,5,8,9,10,15,16,17,18,19,20,22,26,31,34,36,37,38,39,41,48,50,51,52,55,58,59,62,64,65,68,69,70,71,73,74,78,79,81,83,87,88,90,91,92,96,97],[73,92,93],[2,7,9,11,12,13,15,16,17,18,19,21,24,27,28,30,31,34,35,37,38,39,45,46,51,52,53,55,56,57,60,61,63,66,67,69,72,73,74,75,77,78,79,82,85,88,89,91,92,93,94,97,98],[28,38,47,50,52,53,66,83,84,85,86,87,89,90,91,99,100],[1,4,7,8,10,11,12,13,15,17,18,20,21,22,24,25,26,27,29,30,33,34,35,38,40,42,44,46,49,54,56,57,59,60,63,67,68,69,70,72,77,78,80,81,82,83,84,87,89,90,92,93,99],[2,3,4,5,7,8,10,12,14,18,19,20,21,24,27,31,33,38,39,40,42,44,46,48,49,50,51,53,56,58,59,61,63,64,65,66,69,70,73,74,75,77,80,81,82,83,84,85,87,88,90,91,93,94,95,97,98,99],[4,5,7,8,9,10,11,12,13,14,19,21,22,23,24,26,27,30,31,33,36,38,40,42,44,46,47,50,52,57,59,60,61,63,64,69,70,75,78,79,80,81,84,86,88,89,90,95,99],[3,4,5,7,10,11,13,15,16,18,19,21,22,24,26,28,30,31,32,33,35,37,38,39,40,43,45,46,49,51,54,56,59,60,61,62,67,68,73,75,79,81,83,87,90,92,94,95,98],[1,2,3,4,6,9,10,11,14,15,17,18,19,20,23,24,28,29,30,32,33,34,36,37,39,41,42,45,47,52,53,55,56,57,58,62,64,68,70,71,72,73,75,78,80,82,84,85,87,88,90,92,97,98,99,100],[2,6,10,11,13,14,18,19,21,22,24,25,29,32,33,40,42,43,44,45,47,51,52,53,56,58,59,61,64,66,67,70,72,73,75,77,78,81,84,87,88,91,93,96,97,100],[0,2,3,4,7,9,10,13,14,15,17,18,19,21,22,25,27,28,30,33,34,36,37,39,40,41,43,44,45,46,47,48,52,53,54,56,57,62,63,64,66,69,72,73,75,77,78,82,84,87,90,91,93,95,98,99],[3,5,8,9,10,15,16,17,18,23,25,27,28,29,31,32,34,37,40,43,48,49,53,54,55,57,58,59,60,64,70,71,73,74,75,76,79,81,82,83,86,89,90,91,92,95],[2,4,5,8,10,14,18,21,24,33,40,41,42,44,45,47,51,56,58,59,60,61,63,64,70,71,73,76,77,78,79,81,82,86,88,89,91,93,96,97,99,100],[15,23,38,52,53,66,72,82,84,88,90,92,93,94,95,96,98,99],[70,92,97],[67,92,93,97],[57,92,94,97],[1,2,3,6,7,8,10,15,16,17,19,23,24,25,27,28,30,31,33,35,38,41,42,44,45,48,52,53,55,57,60,63,67,70,71,72,74,75,77,78,79,82,83,85,86,88,90,93,98,99,100],[71,92,95,97],[1,2,3,5,9,10,12,14,16,17,19,25,26,29,31,34,35,36,40,42,43,44,45,46,47,48,50,51,52,55,56,58,59,60,61,62,64,66,68,69,70,71,74,75,76,78,80,81,82,83,88,93,96,99],[0,3,8,9,10,12,16,18,23,26,27,32,34,38,42,43,44,45,47,49,51,52,54,56,57,58,59,60,62,64,67,68,69,70,71,72,73,74,76,77,79,81,83,84,86,87,88,89,94,95,96,97,100],[1,3,4,5,6,8,12,16,17,18,19,20,21,25,27,28,30,31,32,33,34,35,38,39,40,42,44,47,49,51,56,57,59,60,61,62,67,70,71,73,77,78,80,81,82,83,86,87,90,93,95,96,98,99,100],[18,92,96,97],[5,6,8,11,14,15,19,23,26,27,28,30,31,32,33,34,35,36,40,41,44,45,46,49,50,52,53,54,57,58,62,63,65,67,68,69,71,74,75,77,79,82,86,87,89,92,94,96],[75,92,94,96,97],[66,92,93,94,96,97],[1,6,7,9,10,11,13,15,16,19,20,22,25,27,28,29,38,40,42,43,44,46,47,48,50,51,52,55,57,58,61,63,65,69,70,74,75,77,80,81,82,83,84,86,87,88,89,90,92,93,95,97,99],[3,10,16,18,19,21,22,23,26,27,28,29,32,34,36,39,40,41,42,43,44,48,49,50,53,56,57,58,59,62,64,65,67,71,72,73,74,75,77,79,80,82,83,84,87,91,93],[1,5,7,8,9,11,13,17,21,22,23,24,25,29,30,31,33,35,40,43,45,46,48,50,51,52,53,54,58,59,60,67,69,71,72,78,79,88,93,95,96,97,98,100],[0,1,3,4,7,8,10,11,12,15,21,22,23,25,28,31,34,35,36,41,43,44,45,48,50,51,54,55,57,59,60,61,62,63,64,65,67,68,69,73,79,84,85,86,87,88,89,90,91,92,94,95,98],[1,2,5,6,11,12,14,15,18,30,31,33,34,37,38,39,40,41,42,44,45,47,51,56,58,59,60,61,65,66,67,71,75,78,80,82,87,88,90,91,97,100],[1,3,4,5,7,9,11,12,13,16,17,18,21,22,24,26,29,30,31,32,33,34,35,36,38,43,46,48,49,50,53,55,56,58,60,62,63,68,71,73,74,76,77,78,80,82,83,84,85,86,87,88,90,91,93,94,96,98],[1,3,4,5,6,7,8,10,12,14,16,17,18,19,20,23,25,27,30,31,32,33,34,35,36,40,42,44,49,50,51,56,57,59,60,61,62,63,66,67,70,71,72,73,74,75,76,78,80,81,82,84,87,90,91,93,99],[0,1,2,3,4,5,6,8,10,11,13,14,16,19,20,25,29,33,35,36,37,39,42,44,46,47,49,51,53,54,55,59,61,62,65,66,68,69,70,74,75,77,78,81,86,88,91,92,94,97],[2,4,5,7,9,10,12,14,17,18,19,21,24,29,32,33,37,38,39,42,44,46,47,48,50,54,56,58,61,63,65,66,69,71,73,75,78,79,80,81,82,83,84,85,87,88,90,92,93,95,96,97,99,100],[2,6,7,8,9,10,12,13,14,16,25,26,28,35,38,42,43,44,45,46,47,48,52,54,55,56,57,63,65,67,69,71,74,79,80,81,83,84,85,87,88,89,91,92,93,98],[1,3,4,5,7,9,10,11,13,20,21,22,23,24,28,30,32,33,35,37,38,42,44,45,46,48,49,53,55,58,60,63,66,67,69,70,72,73,74,77,80,81,82,83,84,86,87,91,92,96,99,100],[1,2,3,6,7,8,10,16,19,20,23,24,25,27,30,31,34,41,45,47,48,49,50,55,57,60,62,63,64,66,67,69,70,71,72,74,75,77,78,82,84,86,88,90,94,95,98,99,100],[1,2,6,7,8,9,10,14,16,17,18,19,20,23,25,28,30,31,32,35,36,42,43,44,46,47,50,51,54,55,56,60,61,64,66,69,70,71,73,75,80,81,84,85,88,90,92,93,94,95,96,98],[29,92,94,96,98],[7,8,11,12,13,15,16,18,19,20,21,22,23,24,28,30,31,33,34,35,37,38,39,40,44,46,48,50,51,53,57,58,61,63,66,69,70,71,72,73,74,75,78,85,88,89,91,92,96,97,98,99,100],[45,92,95,96,98],[0,1,3,4,7,9,10,11,13,15,16,21,22,24,25,30,32,33,35,37,40,42,43,45,46,47,49,51,52,58,60,63,67,69,71,74,75,79,80,81,83,85,86,93,94,96,100],[7,21,59,60,71,78,79,81,83,84,85,87,88,89,98,99],[15,23,34,85,86,87,88,89,91],[26,92,93,97,98],[2,4,6,8,9,10,11,16,17,18,24,26,27,28,29,30,34,36,37,39,40,41,42,43,44,45,47,48,59,60,61,62,64,67,71,72,73,74,77,79,80,82,84,86,87,88,92,93,94,97,99,100],[0,1,2,6,7,9,12,14,15,16,18,19,20,21,25,28,30,31,35,36,37,38,42,43,44,46,48,50,51,52,53,54,56,58,61,63,64,66,67,70,72,73,78,79,80,81,85,87,89,94,95,96,97,98],[44,92,96,97,98],[2,7,8,10,11,12,13,16,17,20,21,27,28,29,30,33,34,36,37,38,39,42,43,44,46,48,52,54,57,58,62,65,66,67,69,70,72,73,76,77,78,83,87,90,91,93,94,97],[10,60,71,75,76,78,79,81,82,83,92,94,96,97,98,100],[1,2,3,4,5,6,9,11,12,13,14,16,17,20,21,25,26,32,33,34,36,40,41,42,44,45,47,48,49,50,52,55,58,59,60,61,62,64,67,68,70,72,74,78,80,81,83,84,85,86,87,89,91,92,94,97,100],[0,3,5,6,9,10,12,15,17,19,20,21,24,26,28,30,31,32,33,34,35,36,40,43,44,49,51,52,53,55,56,57,61,62,63,64,65,68,69,70,73,75,79,81,83,88,90,98,99,100],[33,92,93,94,95,96,97,98],[6,10,15,21,23,25,30,38,52,56,59,71,73,75,79,82,84,85,86,87,88,89,92,93,95,97,98,99,100],[25,51,73,85,86,100],[3,6,7,8,9,11,13,18,20,24,25,28,32,34,36,41,46,49,51,55,56,58,60,61,62,63,64,65,66,67,69,70,72,73,78,86,88,91,92,96,97,99],[69,92,95,99],[0,2,5,7,9,10,12,14,17,18,19,20,21,22,24,29,31,33,37,39,42,44,46,47,48,50,51,52,53,54,56,61,63,65,69,70,75,79,80,85,86,89,90,91,95,96,97,98,99],[2,92,94,95,99],[1,3,4,5,7,10,11,13,20,21,22,23,24,27,28,30,32,33,35,37,42,44,45,46,48,49,52,55,58,60,63,67,69,70,72,73,74,77,80,81,86,87,88,89,90,93,94,95,96,100],[68,92,96,99],[1,2,4,5,7,8,10,14,18,21,24,33,40,42,44,45,46,48,50,51,52,56,58,59,60,63,64,65,67,69,70,71,73,74,76,77,78,79,80,82,84,86,88,89,91,92,96,99],[4,5,7,9,10,13,15,16,17,18,20,23,24,26,28,30,33,41,44,45,46,51,54,56,57,58,60,61,64,65,67,69,74,76,77,78,80,83,85,89,90,93,94,95,100],[5,92,93,94,96,99],[0,2,4,6,8,9,11,12,15,16,19,20,21,24,28,30,31,35,36,38,43,44,45,51,53,54,58,59,61,64,65,66,72,73,74,75,77,78,79,83,84,87,88,91,95,96,99],[1,7,8,11,12,13,20,21,22,23,24,26,27,30,33,34,35,37,38,40,42,44,46,47,48,54,56,57,59,62,68,70,73,75,77,78,80,84,85,87,88,89,93,94,96,97],[21,92,94,95,96,99],[1,5,6,10,12,15,21,22,24,25,29,30,33,35,37,38,39,43,58,64,65,70,72,73,77,78,80,81,85,90,93,96],[8,32,58,60,71,78,79,82,85,90,92,97,98],[1,4,5,6,7,9,17,19,20,23,24,25,30,31,32,33,40,41,43,45,48,50,53,54,58,59,63,66,67,75,76,78,79,82,84,85,86,96,97,98,100],[3,10,12,16,18,20,22,23,25,26,32,34,38,40,42,43,44,45,47,48,49,50,52,54,56,57,59,62,64,67,68,69,72,74,76,81,82,83,84,85,87,88,89,92,93,95,96,97,98,100],[20,71,79,85,88,90,100],[0,1,5,7,8,10,11,13,17,20,21,22,23,24,27,29,30,33,35,42,44,45,46,52,53,54,55,57,59,60,63,67,69,70,72,73,77,78,80,82,85,86,87,88,89,91,99],[1,3,6,7,8,9,10,11,13,14,15,16,17,18,20,23,24,25,26,32,36,39,49,50,51,52,53,55,56,62,63,64,67,68,71,73,75,79,80,82,83,84,86,89,91,93,96,98],[1,5,6,10,12,15,18,20,21,22,23,24,25,29,30,31,33,34,35,37,38,39,42,43,44,47,50,58,60,65,70,73,78,79,80,81,82,83,85,86,87,88,91,92,94,96,98],[1,2,4,5,8,9,11,14,15,18,19,20,21,23,24,29,34,35,36,37,38,39,40,41,42,43,48,52,54,55,56,60,62,64,66,67,70,71,73,74,75,79,80,83,85,86,87,88,91,93,94,95,96,97,98,100],[10,63,75,85,87,89,90,92,94,96,97,99],[46,53,66,85,86,87,89,90,92,93,94,96,97],[5,7,9,11,12,13,16,19,20,21,22,23,24,27,28,30,32,33,34,35,37,39,40,42,44,46,48,51,52,57,58,60,61,63,69,70,71,73,74,75,77,79,80,82,84,88,89,93,94,95,96,97,99],[1,7,8,9,12,14,19,26,29,32,35,37,38,40,45,47,51,52,53,54,55,59,60,61,64,66,67,72,75,81,83,85,86,87,89,90,91,96,97,99,100],[0,2,5,6,7,8,9,10,13,14,15,16,17,23,26,28,35,40,42,43,46,47,51,53,54,57,63,65,69,71,72,73,74,79,80,81,82,83,86,87,89,90,91,92,93,94,95,96,100],[1,8,10,12,13,19,20,21,24,25,29,30,31,32,33,35,37,38,39,41,43,46,49,52,60,64,65,69,70,71,72,73,77,79,80,81,82,84,92,93,95,96,97],[4,25,38,52,53,66,73,81,83,84,87,89,90,98,99],[28,47,77,85,86,87,91,99],[0,1,5,6,8,9,15,17,19,23,24,25,26,30,33,35,40,41,43,45,48,50,51,52,53,54,58,67,71,72,73,75,79,81,83,87,88,89,90,92,94,97,98],[1,3,4,5,7,9,11,12,13,16,17,18,21,22,24,26,29,30,31,32,33,34,35,36,38,43,46,48,49,50,53,55,56,58,60,62,63,68,71,73,74,76,77,78,80,82,83,84,85,86,87,88,90,91,93,94,95,96,98,99],[2,5,6,7,9,10,11,12,16,17,23,24,27,28,29,30,31,32,37,38,39,41,42,43,44,47,48,49,50,51,53,55,56,61,63,64,66,67,68,71,73,74,76,78,80,81,84,85,86,87,89,90,91,92,96],[2,3,4,5,7,8,9,10,12,14,18,19,21,22,24,32,33,38,39,40,42,44,46,47,48,49,51,53,56,59,61,63,65,66,69,71,73,74,75,78,80,81,82,83,84,87,88,91,92,95,97,98,100],[17,92,96,98,99],[16,92,93,96,98,99],[1,3,4,5,11,13,16,18,19,20,24,25,26,29,30,31,34,35,36,37,39,40,41,43,45,46,54,55,56,58,59,62,63,64,65,66,68,69,70,71,73,74,75,78,79,82,87,90,91,92,93,95,97,100],[1,2,7,8,14,16,21,24,28,33,38,42,45,46,47,48,50,53,56,57,59,63,65,66,67,69,73,74,80,86,88,90,92,96,99],[1,2,4,5,7,8,9,10,18,20,21,22,24,26,27,32,35,36,37,39,42,44,47,49,51,55,56,57,63,65,66,67,68,69,70,72,77,78,80,81,82,83,85,89,91,92,93,94,100],[0,3,4,5,6,7,9,10,11,12,13,15,16,20,23,25,28,29,32,36,39,40,44,45,46,47,48,49,53,60,64,65,66,67,69,70,71,73,74,75,78,82,83,84,86,89,91,92,96,97,98,100],[5,6,8,10,21,22,25,29,30,33,35,43,52,53,58,59,60,66,67,71,72,73,79,86,87,89,91,93,94,96,97,98],[8,22,58,85,90,91,92,97,98,100],[2,6,9,10,12,14,15,17,18,19,20,21,22,24,25,26,30,31,34,37,39,42,43,44,47,48,50,51,53,54,56,58,61,65,66,67,70,72,73,75,78,79,80,81,83,84,87,92,94,98,100],[1,5,7,9,10,11,13,17,20,21,22,23,24,25,29,30,31,32,33,35,36,42,44,45,46,50,51,52,53,54,55,59,63,67,69,70,72,79,80,82,85,87,89,90,93,95,97,98,99],[1,2,7,10,13,14,16,17,18,19,24,25,30,33,34,41,42,44,45,46,47,48,49,52,57,58,60,62,63,65,67,68,71,72,74,75,80,83,86,88,91,92,94,99],[3,4,7,9,11,15,16,17,18,19,20,21,23,25,26,29,33,35,36,37,39,41,43,46,48,50,52,55,56,60,62,63,64,65,66,67,68,69,70,72,73,74,75,82,86,87,90,91,92,93,94,95,97,98,99],[0,1,3,5,6,9,14,15,17,18,22,25,27,29,30,32,33,34,35,36,38,39,41,42,44,45,47,49,51,53,54,56,57,58,61,62,64,65,66,74,75,77,80,82,85,86,87,90,91,94,95,96,100],[42,92,96,97,98,99],[1,2,8,9,10,11,12,13,14,16,17,20,22,25,26,29,30,32,34,35,36,38,40,41,42,43,44,49,51,52,53,54,55,59,60,61,62,64,68,70,71,78,80,85,87,89,90,92,94,95,96,97,98,99],[3,6,7,9,10,11,13,15,16,17,18,20,23,25,26,32,36,37,39,46,48,49,50,51,53,55,56,60,62,64,65,68,70,73,74,75,78,81,82,83,84,86,89,94,99,100],[55,92,95,96,97,98,99],[1,2,3,4,6,8,9,10,12,16,21,22,23,24,25,27,28,29,30,32,34,36,39,40,47,48,49,52,54,55,57,59,60,62,63,65,66,67,71,72,73,74,76,77,78,79,80,81,82,84,86,89,91,93,95],[0,1,8,9,12,16,17,18,19,20,28,29,31,32,34,37,39,43,44,45,51,53,54,57,59,60,61,67,70,71,72,74,75,76,79,81,82,83,84,86,87,88,90,91,92,93,98,99],[3,4,5,8,9,16,17,18,19,20,21,22,23,25,26,30,31,34,36,37,39,41,48,50,51,55,56,58,62,64,65,68,69,70,74,75,78,81,82,83,84,86,89,90,91,92,93,95,96,98],[25,92,93,100],[2,3,6,8,12,15,16,17,19,20,21,25,27,30,31,32,35,36,37,38,41,45,49,52,53,57,58,62,64,65,70,74,75,77,79,82,86,87,89,93,94,96,98,99],[50,92,93,94,100],[0,1,5,6,8,9,15,17,19,23,24,25,26,30,33,40,43,45,48,50,51,52,53,54,58,60,67,72,73,75,78,81,83,84,85,87,89,90,91,92,94,97,98,100],[5,6,9,10,17,19,21,24,25,30,33,35,40,43,45,48,50,51,52,54,59,66,67,71,72,73,79,85,86,87,89,90,92,94,95,98,99],[1,5,6,7,8,11,12,13,15,17,20,23,24,28,29,30,36,37,38,39,40,41,45,46,47,48,49,51,52,54,56,57,58,59,61,62,63,64,65,66,67,68,69,70,72,74,78,81,83,85,90,91,92,95,97,98,100],[1,2,8,9,11,12,13,14,18,19,22,23,28,30,31,32,35,37,38,39,40,45,50,51,52,53,55,56,59,60,61,64,65,66,67,72,75,82,83,84,87,88,89,91,96,97,98,99,100],[1,3,4,5,6,8,12,14,16,18,19,20,21,22,23,25,27,30,31,32,33,34,39,40,41,42,44,49,50,51,55,56,57,59,60,61,62,65,66,67,71,72,73,78,80,81,82,84,85,89,91,92,93,95,99],[3,4,5,7,10,11,13,15,18,19,21,22,24,26,28,30,31,32,33,35,37,39,40,43,45,46,49,51,52,53,54,56,59,60,62,66,67,68,73,75,79,83,84,92,94,95,99],[1,3,4,6,7,9,10,11,13,16,17,18,19,20,26,29,32,34,36,37,39,41,46,48,50,53,55,56,60,62,63,64,65,67,68,69,70,71,72,74,75,81,82,83,84,86,87,88,91,95,96,97,98,99],[1,6,7,8,10,11,16,18,19,22,25,28,29,32,40,43,44,46,48,50,51,53,57,58,61,63,64,65,66,69,70,72,74,75,77,78,80,81,86,87,91,94,96,97,99,100],[3,92,95,96,100],[0,2,4,5,6,9,10,11,14,16,18,19,20,21,22,23,24,25,29,31,33,34,38,44,45,51,56,59,61,64,65,67,73,74,75,76,77,81,85,87,92,93,95,96,98,99,100],[2,4,5,8,10,14,18,24,33,40,41,42,44,45,47,51,56,58,60,61,63,64,70,71,73,76,77,78,79,81,82,85,86,87,91,92,93,94,95,97,100],[72,92,93,94,95,96,100],[8,58,60,70,71,78,79,82,98],[1,26,38,52,53,66,67,81,83,85,86,87,89,90,91,99,100],[3,4,5,6,10,19,21,24,29,30,32,33,35,37,38,40,43,45,47,49,50,51,60,67,71,72,79,81,83,84,85,86,96,99,100],[2,3,4,5,6,8,9,10,11,13,16,17,18,20,24,26,27,28,29,30,31,34,36,37,38,39,40,42,43,44,46,48,50,53,59,61,62,64,65,66,67,69,72,73,74,77,78,82,84,85,88,89,90,91,92,95,97,98,99],[79,92,95,97,100],[1,2,3,5,9,10,12,14,16,17,19,25,26,29,30,31,34,35,36,40,42,43,44,45,46,47,48,50,51,52,55,58,59,60,61,62,64,66,68,69,70,71,74,75,76,78,80,81,82,83,85,86,90,93,96,99],[1,3,5,7,9,11,12,13,16,17,18,20,21,22,24,26,29,30,32,33,34,35,38,43,46,47,49,51,53,55,56,58,62,63,64,68,71,76,78,79,80,81,82,83,84,87,88,90,91,94,95,96,97,99,100],[0,4,8,9,12,15,16,19,20,21,22,28,29,31,36,38,40,41,45,52,54,58,59,60,64,65,67,70,71,73,74,75,78,81,82,85,88,89,91,93,94,100],[1,2,3,4,5,6,7,13,14,18,19,25,29,30,32,35,37,38,40,42,43,46,47,48,49,51,52,56,58,59,61,63,65,69,72,74,75,78,80,82,86,88,89,91,94,97,100],[1,2,4,6,9,18,20,21,24,26,27,28,29,30,31,32,33,37,38,39,42,43,44,45,46,48,49,50,53,54,55,56,57,58,60,63,64,65,66,68,69,70,73,77,80,82,83,86,88,90,91,92,93,95,97,98,100],[10,92,94,96,97,100],[0,2,6,8,11,14,15,16,19,21,22,24,25,28,29,31,33,38,42,45,47,48,50,56,57,59,63,65,67,73,74,75,80,85,87,88,89,96,99,100],[1,2,3,4,5,6,9,11,12,13,14,16,17,19,21,22,25,26,31,34,36,40,41,42,44,45,46,47,48,50,53,55,59,60,61,62,64,67,68,71,72,74,80,81,82,83,84,86,87,89,90,93,96,98,100],[1,2,5,6,10,11,12,14,18,21,23,25,31,33,34,37,39,40,41,42,44,45,47,51,52,58,61,65,66,67,71,73,80,82,86,89,90,91,93,95,98],[1,3,4,5,7,9,11,12,13,16,17,18,21,22,24,25,26,29,30,31,32,33,34,35,36,43,46,48,49,50,52,55,56,58,60,62,63,66,68,71,74,76,77,78,80,81,82,88,89,93,94,96,99],[1,4,5,9,10,11,12,13,14,16,17,19,23,24,27,28,30,31,33,35,39,40,41,42,44,46,50,55,57,58,59,60,64,65,69,74,75,76,78,79,80,85,86,88,90,92,93,96,97,100],[28,92,93,94,98,100],[2,3,4,9,10,11,13,14,15,16,17,20,23,24,26,29,30,36,37,39,40,42,43,44,45,46,47,48,49,50,52,55,58,59,61,62,65,66,67,68,69,70,71,72,73,74,77,78,79,83,85,86,87,88,89,90,98],[0,2,4,6,7,12,14,18,25,29,30,32,35,37,39,40,42,43,44,45,46,47,51,53,56,58,59,61,63,65,66,67,69,72,75,78,80,85,87,88,90,91,93,94,96,97,99],[2,4,5,7,8,9,12,13,14,16,18,21,22,23,27,33,34,36,37,38,39,41,43,46,51,54,55,56,57,58,61,62,63,64,66,67,69,77,78,82,83,84,88,92,95,97,99],[27,92,93,94,95,98,100],[2,8,9,11,13,18,19,23,26,27,30,31,32,36,38,39,45,46,48,50,51,52,56,57,65,71,73,74,77,82,83,85,91,92,93,94,95,98,99],[1,2,6,7,8,9,10,14,17,18,19,20,23,25,28,30,31,32,35,36,42,43,44,46,47,50,51,54,55,56,60,64,66,69,70,71,73,75,80,81,84,86,88,89,90,91,92,93,94,95,96,98,100],[2,7,13,14,15,16,23,24,26,28,29,30,33,42,45,46,47,48,50,52,57,58,63,65,67,69,71,73,74,79,80,82,84,85,86,90,91,94,95,98],[1,2,11,12,14,15,18,19,20,22,23,30,31,34,35,37,39,40,42,44,45,47,51,56,58,59,61,65,67,70,71,72,75,78,80,87,90,92,93,94,96,97,99],[0,2,4,7,9,10,13,14,15,17,18,19,21,22,25,27,28,30,33,34,36,37,39,40,41,43,44,46,47,48,52,53,54,56,57,60,62,63,64,66,69,71,72,73,75,77,79,82,83,87,90,91,93,95,99],[1,2,6,7,8,9,10,13,14,16,17,19,20,25,27,28,30,35,42,44,46,47,48,54,55,56,57,61,63,65,66,69,70,74,75,77,80,84,85,86,94,100],[7,92,94,95,96,98,100],[8,92,97,98,100],[3,4,5,6,10,19,21,24,29,30,32,33,35,37,38,43,45,47,49,50,51,57,67,72,78,82,83,84,85,86,92,94,96,97,99],[1,2,5,6,7,8,10,13,15,16,17,19,20,23,24,25,27,28,30,33,35,38,42,44,46,47,48,50,53,55,57,63,65,67,69,70,72,74,75,77,80,82,85,86,88,90,94,95,98,100],[11,30,38,52,53,56,66,81,82,83,87,88,89,91,98,99,100],[0,1,5,7,8,10,11,13,17,20,21,22,23,24,27,29,30,33,35,36,42,44,45,46,52,53,54,55,57,59,63,67,69,70,71,72,73,74,77,79,80,81,82,86,89,90,91,99,100],[2,3,5,7,12,14,16,17,19,20,21,22,27,28,29,31,32,33,34,37,39,41,43,45,46,47,48,49,50,52,57,62,63,65,67,70,72,73,74,75,77,78,79,81,82,85,87,88,89,97,98,100],[1,2,3,4,5,6,7,13,14,19,25,29,30,32,35,37,38,40,42,43,44,46,47,48,49,51,52,56,58,59,60,61,63,65,69,71,72,74,75,79,80,83,86,88,89,91,94,97,98],[1,4,5,7,9,10,12,13,14,15,16,17,18,19,23,24,27,28,30,33,35,38,40,41,44,46,52,53,54,55,56,57,58,60,64,65,66,69,71,72,74,75,76,77,78,79,80,81,85,86,87,88,90,91,95,96,99],[76,92,94,96,97,98,100],[1,2,3,4,5,6,9,11,12,13,14,16,17,20,21,25,26,32,33,34,36,38,40,41,42,44,45,47,48,49,50,55,58,59,60,61,62,64,67,68,70,72,74,78,80,81,83,84,90,93,96,98,99],[1,6,7,9,10,11,13,15,16,19,20,22,25,27,28,29,38,40,42,43,44,46,47,48,50,51,52,55,57,58,60,61,63,69,70,71,74,75,77,78,79,81,82,84,86,87,88,89,90,92,93,95,97,99,100],[3,10,16,18,19,21,22,23,24,26,27,28,29,32,34,36,37,38,39,40,41,42,43,44,48,49,50,52,56,57,58,59,62,64,65,66,67,71,72,73,74,75,77,79,80,81,83,84,85,86,89,90,93,98,99,100],[1,2,3,7,10,12,13,14,16,20,21,23,24,26,31,32,33,34,36,38,42,44,46,47,49,54,55,58,61,62,64,68,70,72,74,79,80,85,87,88,89,90,93,95,97],[0,2,5,6,7,8,9,10,13,14,15,16,17,19,23,26,28,33,35,38,40,42,43,46,47,51,52,54,57,63,65,66,69,71,72,73,74,79,80,81,83,86,87,88,89,90,97,99],[6,92,99,100],[28,38,47,52,53,64,66,83,84,89,90,91,92,93,94,99],[0,1,5,6,8,9,15,17,19,23,24,25,26,30,33,35,40,43,45,48,50,51,52,53,54,58,60,67,69,72,73,75,78,81,83,84,87,88,89,90,91,94,95,97,98,99,100],[2,6,7,12,14,18,20,22,25,29,30,31,35,37,39,40,42,43,44,45,46,47,53,56,59,61,63,65,66,67,69,70,71,72,73,75,80,85,86,87,88,91,92,94,96,97],[2,4,5,6,10,18,21,22,23,25,26,27,28,33,34,35,36,37,39,41,42,44,45,47,48,51,52,58,60,61,62,64,65,66,74,77,80,82,84,88,89,91,92,93,94,97,98,100],[1,3,6,7,9,10,11,13,16,18,20,24,25,26,32,34,36,38,39,41,46,47,49,51,52,55,56,62,63,64,65,66,67,68,69,70,71,72,73,75,79,82,86,88,89,90,91,93,96,99],[1,2,4,5,7,8,10,14,16,18,21,24,33,38,40,42,44,45,46,48,50,51,53,56,58,59,60,61,63,64,65,66,67,69,70,71,73,74,76,77,78,79,80,81,82,85,87,88,90,91,92,96,98],[2,4,5,9,10,14,17,18,20,41,42,44,47,48,50,51,52,54,56,61,63,64,73,76,77,81,85,86,87,91,92,93,94,96],[1,2,5,7,8,13,14,16,21,24,28,33,42,45,46,47,48,50,52,56,57,59,63,65,67,69,73,74,80,84,85,87,88,89,92,96],[6,7,8,10,11,12,13,14,16,17,18,20,22,24,25,27,31,33,34,35,37,38,39,40,41,46,47,48,51,52,56,57,58,59,61,62,63,65,69,74,79,82,83,85,89,90,92,93,95,98,100],[0,1,2,3,4,6,7,12,13,14,15,17,19,23,26,28,30,32,34,35,42,43,45,46,47,49,51,53,55,58,59,60,61,62,65,67,68,71,73,75,78,79,80,82,83,84,85,89,90,91,94,97,98,99,100],[1,5,6,10,12,21,22,23,24,25,29,30,33,35,37,39,43,52,53,58,64,65,66,70,72,73,77,78,80,81,82,84,86,87,89,93,96,98,99,100],[4,5,6,7,9,17,19,20,23,24,25,26,30,31,32,33,38,40,41,43,45,48,50,52,54,58,59,63,67,75,76,78,79,81,82,83,84,85,86,87,89,91,92,93,96,98,99],[4,5,6,12,16,18,19,20,21,22,23,24,25,26,29,30,33,34,35,37,42,44,48,51,52,54,56,59,60,62,64,68,69,71,74,76,79,82,85,86,88,89,90,93,94,95,98,99],[1,4,5,7,9,11,13,15,18,19,20,23,25,26,29,33,34,35,36,37,39,40,41,43,45,46,50,52,55,57,59,60,61,63,64,65,66,69,70,71,73,75,79,83,84,85,87,89,90,91,92,93,95,97,100],[0,5,7,8,10,11,13,14,16,20,22,23,24,26,27,29,30,33,34,35,41,42,44,45,47,50,53,54,55,57,58,61,63,65,67,68,71,73,74,77,79,82,84,86,93,94,95,99],[2,3,4,7,10,12,13,14,15,18,19,20,21,22,23,24,31,32,33,34,39,40,44,46,48,49,50,51,52,56,59,60,61,63,69,70,72,73,74,75,79,81,83,87,90,98,100],[63,92,94,96,97,99,100],[1,5,6,10,12,15,21,23,24,25,29,30,32,33,34,35,37,38,39,43,47,50,55,60,71,73,79,81,83,85,86,87,88,89,92,94,96],[1,3,7,8,9,10,12,14,16,18,21,22,23,24,27,28,34,35,36,37,38,39,41,42,43,44,45,47,48,49,50,51,52,54,55,56,57,58,60,61,62,65,66,71,73,74,77,79,80,81,82,84,88,93,96,97,99,100],[0,1,2,5,6,7,9,13,14,15,16,17,19,23,28,30,35,38,40,42,46,47,51,52,53,54,56,57,58,60,63,65,69,71,72,73,74,75,78,79,80,88,90,93,95,97,98,99],[1,8,12,13,15,19,20,23,24,29,31,32,33,35,37,39,41,43,46,49,56,59,64,65,69,70,71,72,75,77,78,79,80,81,82,84,85,86,87,88,89,91,92,96,98,100],[3,6,7,8,9,11,12,13,18,20,24,25,28,32,34,36,39,41,46,49,51,55,56,58,61,62,63,64,65,66,67,69,70,71,72,73,79,81,82,84,86,88,92,96,97,99,100],[77,92,93,94,98,99,100],[0,1,3,4,6,7,10,11,12,13,16,18,19,22,25,26,29,31,32,34,36,40,45,46,49,51,54,55,56,58,59,60,62,63,67,68,72,74,76,77,78,79,80,81,87,90,91,92,93,96,98,99,100],[2,4,7,9,11,12,16,17,18,21,22,24,25,26,29,30,31,32,33,34,35,36,38,43,45,49,50,52,53,55,56,58,62,63,65,67,68,73,76,77,79,82,84,85,86,87,88,90,91,92,93,95,96,97,98,99],[1,2,8,11,12,13,14,18,19,20,23,27,28,30,35,37,39,40,45,47,51,55,56,58,59,60,61,65,67,70,71,72,75,77,78,85,87,91,92,93,94,96,97,99,100],[1,3,6,7,9,10,11,13,16,17,18,20,24,25,26,32,34,36,38,39,41,46,47,49,51,52,55,56,60,62,63,64,65,66,67,69,70,72,73,75,78,83,84,86,88,89,90,93,96,98,99,100],[61,92,93,96,98,99,100],[1,2,3,4,5,7,11,14,15,18,19,20,23,25,28,29,31,33,34,35,36,37,39,40,41,42,43,47,48,50,52,54,55,56,57,59,62,64,66,67,68,70,75,78,80,84,86,89,91,93,96,97,100],[13,92,93,94,96,98,99,100],[0,1,5,8,13,14,15,17,19,20,24,25,26,28,30,32,33,34,35,40,41,42,43,45,46,48,49,51,52,53,54,55,60,62,64,65,67,68,70,71,73,75,78,79,80,81,87,88,90,91,94,96,98,99,100],[2,5,7,8,9,10,12,13,14,16,17,19,21,22,23,24,25,27,29,33,36,37,39,43,46,47,51,52,53,54,55,56,57,58,61,64,69,73,74,75,77,78,79,81,82,85,88,92,93,97,98,100],[5,6,8,10,22,25,29,30,33,35,43,52,53,58,66,67,72,73,78,81,83,84,86,87,89,92,93,95,97,98,99,100],[1,2,6,9,10,12,14,15,17,18,19,20,21,22,24,25,30,31,34,37,39,42,43,44,47,48,50,51,53,54,56,58,61,65,66,67,70,72,73,75,78,79,80,81,83,84,85,86,87,90,91,93,94,97,100],[1,3,4,6,7,9,11,13,17,19,20,22,23,25,31,36,37,38,40,42,43,44,46,47,49,52,53,54,55,57,59,63,69,70,78,79,80,83,84,85,86,89,91,92,93,94,95,96,98],[2,4,5,9,10,11,14,15,16,17,20,23,24,26,29,30,35,36,37,38,39,40,42,43,44,47,48,49,50,52,53,55,58,59,61,64,67,68,69,70,72,73,74,79,80,83,84,88,93,94,95,97,98],[31,60,78,85,88,90,91],[3,4,7,9,11,15,16,17,18,19,20,21,23,25,26,29,30,33,35,36,37,38,39,41,43,46,48,50,53,55,60,62,63,64,65,67,68,69,70,72,73,74,75,81,83,85,89,91,92,93,94,95,97,100],[0,1,5,7,8,10,11,13,17,20,21,22,23,24,27,29,30,33,35,42,44,45,46,48,52,53,54,55,57,59,63,67,69,70,71,72,73,74,77,79,80,81,82,85,86,87,88,89,99,100],[1,2,3,4,5,6,7,13,14,19,25,29,30,32,35,37,38,40,43,46,47,48,49,51,52,56,58,59,60,61,63,65,69,71,72,74,75,79,80,83,85,86,88,90,94,97,98,99],[4,5,10,12,13,15,16,17,18,19,21,22,23,24,25,26,30,32,37,38,39,44,48,49,51,52,54,56,59,61,67,68,73,74,75,78,79,81,83,85,87,88,91,92,93,98],[3,6,7,9,11,13,15,16,17,18,20,23,25,26,32,36,37,39,46,48,49,50,51,53,55,56,62,64,65,68,70,71,73,74,79,84,85,86,87,90,91,94,99,100],[38,92,93,94,96,97,98,99,100],[1,6,7,9,10,11,13,15,16,19,20,22,25,27,28,29,38,40,42,43,44,46,47,48,50,51,52,57,58,60,61,63,69,70,71,74,75,77,78,79,80,81,82,84,85,86,87,91,93,96,98,100],[1,2,4,6,8,9,12,18,19,25,26,30,38,41,42,43,44,47,50,54,55,56,58,60,63,64,75,76,78,82,83,86,88,89,95,98,99,100],[2,5,6,7,8,12,13,14,15,18,20,23,29,30,31,32,34,35,37,38,39,40,42,44,45,46,47,52,56,58,59,60,61,63,65,67,69,70,71,73,76,79,80,82,84,86,87,92,95,97,100],[0,2,5,6,7,8,9,10,13,14,15,16,17,19,23,26,28,35,38,40,42,43,46,47,49,51,52,54,57,63,65,66,69,71,72,73,74,79,80,81,83,85,91,92,93,94,95,96,98,99],[3,4,5,8,9,10,15,16,17,18,19,20,22,26,31,34,36,37,38,39,41,48,50,51,52,55,58,59,62,64,65,68,69,70,71,73,74,78,79,81,83,87,88,90,91,96,97],[2,7,9,11,12,13,15,16,17,18,19,21,24,27,28,30,31,34,35,37,38,39,45,46,51,52,53,55,56,57,60,61,63,66,67,69,72,73,74,75,77,78,79,82,85,88,89,91,93,97,98],[28,38,47,50,52,53,66,83,84,85,86,87,89,90,91,92,93,94,99,100],[35,92,95],[0,92,93,95],[1,4,7,8,10,11,12,13,15,17,18,20,21,22,24,25,26,27,29,30,33,34,35,38,40,42,44,46,49,54,56,57,59,60,63,67,68,69,70,72,77,78,80,81,82,83,84,87,89,90,93,94,95,99],[2,3,4,5,7,8,10,12,14,18,19,20,21,24,27,31,33,38,39,40,42,44,46,48,49,50,51,53,56,58,59,61,63,64,65,66,69,70,73,74,75,77,80,81,82,83,84,85,87,88,90,91,92,97,98,99],[4,5,7,8,9,10,11,12,13,14,19,21,22,23,24,26,27,30,31,33,36,38,40,42,44,46,47,50,52,57,59,60,61,63,64,69,70,75,78,79,80,81,84,86,88,89,90,92,95,96,99],[3,4,5,7,10,11,13,15,16,18,19,21,22,24,26,28,30,31,32,33,35,37,38,39,40,43,45,46,49,51,54,56,59,60,61,62,67,68,73,75,79,81,83,87,90,93,94,95,96,98],[1,2,3,4,6,9,10,11,14,15,17,18,19,20,23,24,28,29,30,32,33,34,36,37,39,41,42,45,47,52,53,55,56,57,58,62,64,68,70,71,72,73,75,78,80,82,84,85,87,88,90,94,96,97,98,99,100],[2,6,10,11,13,14,18,19,21,22,24,25,29,32,33,40,42,43,44,45,47,51,52,53,56,58,59,61,64,66,67,70,72,73,75,77,78,81,84,87,88,91,92,94,97,100],[0,2,3,4,7,9,10,13,14,15,17,18,19,21,22,25,27,28,30,33,34,36,37,39,40,41,43,44,45,46,47,48,52,53,54,56,57,62,63,64,66,69,72,73,75,77,78,82,84,87,90,91,92,93,96,98,99],[3,5,8,9,10,15,16,17,18,23,25,27,28,29,31,32,34,37,40,43,48,49,53,54,55,57,58,59,60,64,70,71,73,74,75,76,79,81,82,83,86,89,90,91,93,96],[2,4,5,8,10,14,18,21,24,33,40,41,42,44,45,47,51,56,58,59,60,61,63,64,70,71,73,76,77,78,79,81,82,86,88,89,91,92,93,94,95,97,99,100],[15,23,38,52,53,66,72,82,84,88,90,98,99],[1,2,3,6,7,8,10,15,16,17,19,23,24,25,27,28,30,31,33,35,38,41,42,44,45,48,52,53,55,57,60,63,67,70,71,72,74,75,77,78,79,82,83,85,86,88,90,92,94,97,98,99,100],[1,2,3,5,9,10,12,14,16,17,19,25,26,29,31,34,35,36,40,42,43,44,45,46,47,48,50,51,52,55,56,58,59,60,61,62,64,66,68,69,70,71,74,75,76,78,80,81,82,83,88,92,95,96,97,99],[0,3,8,9,10,12,16,18,23,26,27,32,34,38,42,43,44,45,47,49,51,52,54,56,57,58,59,60,62,64,67,68,69,70,71,72,73,74,76,77,79,81,83,84,86,87,88,89,92,96,100],[1,3,4,5,6,8,12,16,17,18,19,20,21,25,27,28,30,31,32,33,34,35,38,39,40,42,44,47,49,51,56,57,59,60,61,62,67,70,71,73,77,78,80,81,82,83,86,87,90,92,94,96,97,98,99,100],[5,6,8,11,14,15,19,23,26,27,28,30,31,32,33,34,35,36,40,41,44,45,46,49,50,52,53,54,57,58,62,63,65,67,68,69,71,74,75,77,79,82,86,87,89,93,94,97],[1,6,7,9,10,11,13,15,16,19,20,22,25,27,28,29,38,40,42,43,44,46,47,48,50,51,52,55,57,58,61,63,65,69,70,74,75,77,80,81,82,83,84,86,87,88,89,90,93,96,99],[3,10,16,18,19,21,22,23,26,27,28,29,32,34,36,39,40,41,42,43,44,48,49,50,53,56,57,58,59,62,64,65,67,71,72,73,74,75,77,79,80,82,83,84,87,91,92,95,96,97],[1,5,7,8,9,11,13,17,21,22,23,24,25,29,30,31,33,35,40,43,45,46,48,50,51,52,53,54,58,59,60,67,69,71,72,78,79,88,92,93,94,98,100],[0,1,3,4,7,8,10,11,12,15,21,22,23,25,28,31,34,35,36,41,43,44,45,48,50,51,54,55,57,59,60,61,62,63,64,65,67,68,69,73,79,84,85,86,87,88,89,90,91,93,96,97,98],[1,2,5,6,11,12,14,15,18,30,31,33,34,37,38,39,40,41,42,44,45,47,51,56,58,59,60,61,65,66,67,71,75,78,80,82,87,88,90,91,92,97,98,100],[1,3,4,5,6,7,8,10,12,14,16,17,18,19,20,23,25,27,30,31,32,33,34,35,36,40,42,44,49,50,51,56,57,59,60,61,62,63,66,67,70,71,72,73,74,75,76,78,80,81,82,84,87,90,91,92,93,94,98,99],[47,92,93,94,98],[0,1,2,3,4,5,6,8,10,11,13,14,16,19,20,25,29,33,35,36,37,39,42,44,46,47,49,51,53,54,55,59,61,62,65,66,68,69,70,74,75,77,78,81,86,88,91,94,95,97,98],[2,4,5,7,9,10,12,14,17,18,19,21,24,29,32,33,37,38,39,42,44,46,47,48,50,54,56,58,61,63,65,66,69,71,73,75,78,79,80,81,82,83,84,85,87,88,90,96,97,98,99,100],[2,6,7,8,9,10,12,13,14,16,25,26,28,35,38,42,43,44,45,46,47,48,52,54,55,56,57,63,65,67,69,71,74,79,80,81,83,84,85,87,88,89,91,93,94,95],[1,3,4,5,7,9,10,11,13,20,21,22,23,24,28,30,32,33,35,37,38,42,44,45,46,48,49,53,55,58,60,63,66,67,69,70,72,73,74,77,80,81,82,83,84,86,87,91,93,94,95,96,98,99,100],[1,2,3,6,7,8,10,16,19,20,23,24,25,27,30,31,34,41,45,47,48,49,50,55,57,60,62,63,64,66,67,69,70,71,72,74,75,77,78,82,84,86,88,90,92,94,95,96,99,100],[1,2,6,7,8,9,10,14,16,17,18,19,20,23,25,28,30,31,32,35,36,42,43,44,46,47,50,51,54,55,56,60,61,64,66,69,70,71,73,75,80,81,84,85,88,90,94,95],[7,8,11,12,13,15,16,18,19,20,21,22,23,24,28,30,31,33,34,35,37,38,39,40,44,46,48,50,51,53,57,58,61,63,66,69,70,71,72,73,74,75,78,85,88,89,91,93,94,97,99,100],[0,1,3,4,7,9,10,11,13,15,16,21,22,24,25,30,32,33,35,37,40,42,43,45,46,47,49,51,52,58,60,63,67,69,71,74,75,79,80,81,83,85,86,92,94,95,98,100],[7,21,59,60,71,78,79,81,83,84,85,87,88,89,92,94,95,96,99],[15,23,34,85,86,87,88,89,91,92,93,94,95,96,98],[58,92,97,98],[40,92,94,97,98],[2,4,6,8,9,10,11,16,17,18,24,26,27,28,29,30,34,36,37,39,40,41,42,43,44,45,47,48,59,60,61,62,64,67,71,72,73,74,77,79,80,82,84,86,87,88,98,99,100],[60,92,95,97,98],[11,92,93,95,97,98],[36,92,94,95,97,98],[0,1,2,6,7,9,12,14,15,16,18,19,20,21,25,28,30,31,35,36,37,38,42,43,44,46,48,50,51,52,53,54,56,58,61,63,64,66,67,70,72,73,78,79,80,81,85,87,89,92,93,96],[2,7,8,10,11,12,13,16,17,20,21,27,28,29,30,33,34,36,37,38,39,42,43,44,46,48,52,54,57,58,62,65,66,67,69,70,72,73,76,77,78,83,87,90,91,92,94,96,98],[10,60,71,75,76,78,79,81,82,83,100],[1,2,3,4,5,6,9,11,12,13,14,16,17,20,21,25,26,32,33,34,36,40,41,42,44,45,47,48,49,50,52,55,58,59,60,61,62,64,67,68,70,72,74,78,80,81,83,84,85,86,87,89,91,93,96,98,100],[80,92,95,96,97,98],[37,92,93,95,96,97,98],[0,3,5,6,9,10,12,15,17,19,20,21,24,26,28,30,31,32,33,34,35,36,40,43,44,49,51,52,53,55,56,57,61,62,63,64,65,68,69,70,73,75,79,81,83,88,90,92,94,95,96,97,99,100],[6,10,15,21,23,25,30,38,52,56,59,71,73,75,79,82,84,85,86,87,88,89,93,95,97,98,100],[25,51,73,85,86,92,93,99,100],[3,6,7,8,9,11,13,18,20,24,25,28,32,34,36,41,46,49,51,55,56,58,60,61,62,63,64,65,66,67,69,70,72,73,78,86,88,91,94,96,97],[64,92,93,94,99],[0,2,5,7,9,10,12,14,17,18,19,20,21,22,24,29,31,33,37,39,42,44,46,47,48,50,51,52,53,54,56,61,63,65,69,70,75,79,80,85,86,89,90,91,92,93,96,97,98],[1,3,4,5,7,10,11,13,20,21,22,23,24,27,28,30,32,33,35,37,42,44,45,46,48,49,52,55,58,60,63,67,69,70,72,73,74,77,80,81,86,87,88,89,90,92,96,99,100],[1,2,4,5,7,8,10,14,18,21,24,33,40,42,44,45,46,48,50,51,52,56,58,59,60,63,64,65,67,69,70,71,73,74,76,77,78,79,80,82,84,86,88,89,91,93],[4,5,7,9,10,13,15,16,17,18,20,23,24,26,28,30,33,41,44,45,46,51,54,56,57,58,60,61,64,65,67,69,74,76,77,78,80,83,85,89,90,92,93,95,96,99,100],[0,2,4,6,8,9,11,12,15,16,19,20,21,24,28,30,31,35,36,38,43,44,45,51,53,54,58,59,61,64,65,66,72,73,74,75,77,78,79,83,84,87,88,91,92],[1,7,8,11,12,13,20,21,22,23,24,26,27,30,33,34,35,37,38,40,42,44,46,47,48,54,56,57,59,62,68,70,73,75,77,78,80,84,85,87,88,89,92,94,95,97,99],[1,5,6,10,12,15,21,22,24,25,29,30,33,35,37,38,39,43,58,64,65,70,72,73,77,78,80,81,85,90,92,94,95,99],[8,32,58,60,71,78,79,82,85,90,98,99],[1,4,5,6,7,9,17,19,20,23,24,25,30,31,32,33,40,41,43,45,48,50,53,54,58,59,63,66,67,75,76,78,79,82,84,85,86,92,93,96,98,99,100],[3,10,12,16,18,20,22,23,25,26,32,34,38,40,42,43,44,45,47,48,49,50,52,54,56,57,59,62,64,67,68,69,72,74,76,81,82,83,84,85,87,88,89,93,94,95,96,98,99,100],[62,92,93,94,97,99],[20,71,79,85,88,90,92,95,97,99,100],[56,92,93,95,97,99],[0,1,5,7,8,10,11,13,17,20,21,22,23,24,27,29,30,33,35,42,44,45,46,52,53,54,55,57,59,60,63,67,69,70,72,73,77,78,80,82,85,86,87,88,89,91,92,94,95,97],[1,3,6,7,8,9,10,11,13,14,15,16,17,18,20,23,24,25,26,32,36,39,49,50,51,52,53,55,56,62,63,64,67,68,71,73,75,79,80,82,83,84,86,89,91,92,94,95,96,97,98,99],[1,5,6,10,12,15,18,20,21,22,23,24,25,29,30,31,33,34,35,37,38,39,42,43,44,47,50,58,60,65,70,73,78,79,80,81,82,83,85,86,87,88,91,94,97,98,99],[1,2,4,5,8,9,11,14,15,18,19,20,21,23,24,29,34,35,36,37,38,39,40,41,42,43,48,52,54,55,56,60,62,64,66,67,70,71,73,74,75,79,80,83,85,86,87,88,91,92,94,95,98,99,100],[10,63,75,85,87,89,90],[46,53,66,85,86,87,89,90,99],[5,7,9,11,12,13,16,19,20,21,22,23,24,27,28,30,32,33,34,35,37,39,40,42,44,46,48,51,52,57,58,60,61,63,69,70,71,73,74,75,77,79,80,82,84,88,89,92,93,94],[1,7,8,9,12,14,19,26,29,32,35,37,38,40,45,47,51,52,53,54,55,59,60,61,64,66,67,72,75,81,83,85,86,87,89,90,91,92,93,95,100],[43,92,94,95,96,97,99],[0,2,5,6,7,8,9,10,13,14,15,16,17,23,26,28,35,40,42,43,46,47,51,53,54,57,63,65,69,71,72,73,74,79,80,81,82,83,86,87,89,90,91,97,99,100],[1,8,10,12,13,19,20,21,24,25,29,30,31,32,33,35,37,38,39,41,43,46,49,52,60,64,65,69,70,71,72,73,77,79,80,81,82,84,93,95,96,97,98,99],[4,25,38,52,53,66,73,81,83,84,87,89,90,92,93],[12,92,94,98,99],[28,47,77,85,86,87,91,92,93,94,98],[0,1,5,6,8,9,15,17,19,23,24,25,26,30,33,35,40,41,43,45,48,50,51,52,53,54,58,67,71,72,73,75,79,81,83,87,88,89,90,94,95,97,99],[2,5,6,7,9,10,11,12,16,17,23,24,27,28,29,30,31,32,37,38,39,41,42,43,44,47,48,49,50,51,53,55,56,61,63,64,66,67,68,71,73,74,76,78,80,81,84,85,86,87,89,90,91,94,95,96,98,99],[2,3,4,5,7,8,9,10,12,14,18,19,21,22,24,32,33,38,39,40,42,44,46,47,48,49,51,53,56,59,61,63,65,66,69,71,73,74,75,78,80,81,82,83,84,87,88,91,93,94,97,99,100],[1,3,4,5,11,13,16,18,19,20,24,25,26,29,30,31,34,35,36,37,39,40,41,43,45,46,54,55,56,58,59,62,63,64,65,66,68,69,70,71,73,74,75,78,79,82,87,90,91,93,94,95,96,97,98,99,100],[1,2,7,8,14,16,21,24,28,33,38,42,45,46,47,48,50,53,56,57,59,63,65,66,67,69,73,74,80,86,88,90,93,94,98],[1,2,4,5,7,8,9,10,18,20,21,22,24,26,27,32,35,36,37,39,42,44,47,49,51,55,56,57,63,65,66,67,68,69,70,72,77,78,80,81,82,83,85,89,91,93,94,95,96,98,99,100],[0,3,4,5,6,7,9,10,11,12,13,15,16,20,23,25,28,29,32,36,39,40,44,45,46,47,48,49,53,60,64,65,66,67,69,70,71,73,74,75,78,82,83,84,86,89,91,93,95,97,99,100],[5,6,8,10,21,22,25,29,30,33,35,43,52,53,58,59,60,66,67,71,72,73,79,86,87,89,91,92,93,95,97,99],[23,92,93,94,95,96,98,99],[8,22,58,85,90,91,99,100],[2,6,9,10,12,14,15,17,18,19,20,21,22,24,25,26,30,31,34,37,39,42,43,44,47,48,50,51,53,54,56,58,61,65,66,67,70,72,73,75,78,79,80,81,83,84,87,93,94,97,99,100],[1,5,7,9,10,11,13,17,20,21,22,23,24,25,29,30,31,32,33,35,36,42,44,45,46,50,51,52,53,54,55,59,63,67,69,70,72,79,80,82,85,87,89,90,92,93,94,95],[1,2,7,10,13,14,16,17,18,19,24,25,30,33,34,41,42,44,45,46,47,48,49,52,57,58,60,62,63,65,67,68,71,72,74,75,80,83,86,88,91,93,97,98],[31,92,95,97,98,99],[3,4,7,9,11,15,16,17,18,19,20,21,23,25,26,29,33,35,36,37,39,41,43,46,48,50,52,55,56,60,62,63,64,65,66,67,68,69,70,72,73,74,75,82,86,87,90,91,94],[48,92,94,95,97,98,99],[0,1,3,5,6,9,14,15,17,18,22,25,27,29,30,32,33,34,35,36,38,39,41,42,44,45,47,49,51,53,54,56,57,58,61,62,64,65,66,74,75,77,80,82,85,86,87,90,91,92,93,96,97,98,99,100],[1,2,8,9,10,11,12,13,14,16,17,20,22,25,26,29,30,32,34,35,36,38,40,41,42,43,44,49,51,52,53,54,55,59,60,61,62,64,68,70,71,78,80,85,87,89,90,93,94,95],[3,6,7,9,10,11,13,15,16,17,18,20,23,25,26,32,36,37,39,46,48,49,50,51,53,55,56,60,62,64,65,68,70,73,74,75,78,81,82,83,84,86,89,92,96,97,98,100],[52,92,93,94,96,97,98,99],[1,2,3,4,6,8,9,10,12,16,21,22,23,24,25,27,28,29,30,32,34,36,39,40,47,48,49,52,54,55,57,59,60,62,63,65,66,67,71,72,73,74,76,77,78,79,80,81,82,84,86,89,91,92,96,97,98,99],[0,1,8,9,12,16,17,18,19,20,28,29,31,32,34,37,39,43,44,45,51,53,54,57,59,60,61,67,70,71,72,74,75,76,79,81,82,83,84,86,87,88,90,91,93,94,95,96,97],[49,92,93,94,95,96,97,98,99],[3,4,5,8,9,16,17,18,19,20,21,22,23,25,26,30,31,34,36,37,39,41,48,50,51,55,56,58,62,64,65,68,69,70,74,75,78,81,82,83,84,86,89,90,91,93,95,96,98,100],[2,3,6,8,12,15,16,17,19,20,21,25,27,30,31,32,35,36,37,38,41,45,49,52,53,57,58,62,64,65,70,74,75,77,79,82,86,87,89,92,93,96,98,99,100],[0,1,5,6,8,9,15,17,19,23,24,25,26,30,33,40,43,45,48,50,51,52,53,54,58,60,67,72,73,75,78,81,83,84,85,87,89,90,91,94,95,97,98],[5,6,9,10,17,19,21,24,25,30,33,35,40,43,45,48,50,51,52,54,59,66,67,71,72,73,79,85,86,87,89,90,93,94,98,99,100],[1,5,6,7,8,11,12,13,15,17,20,23,24,28,29,30,36,37,38,39,40,41,45,46,47,48,49,51,52,54,56,57,58,59,61,62,63,64,65,66,67,68,69,70,72,74,78,81,83,85,90,91,94,97,98],[1,2,8,9,11,12,13,14,18,19,22,23,28,30,31,32,35,37,38,39,40,45,50,51,52,53,55,56,59,60,61,64,65,66,67,72,75,82,83,84,87,88,89,91,92,93,94,95,96,97,98,99],[1,3,4,5,6,8,12,14,16,18,19,20,21,22,23,25,27,30,31,32,33,34,39,40,41,42,44,49,50,51,55,56,57,59,60,61,62,65,66,67,71,72,73,78,80,81,82,84,85,89,91,93,95,96,99,100],[3,4,5,7,10,11,13,15,18,19,21,22,24,26,28,30,31,32,33,35,37,39,40,43,45,46,49,51,52,53,54,56,59,60,62,66,67,68,73,75,79,83,84,93,94,95,96,99,100],[1,3,4,6,7,9,10,11,13,16,17,18,19,20,26,29,32,34,36,37,39,41,46,48,50,53,55,56,60,62,63,64,65,67,68,69,70,71,72,74,75,81,82,83,84,86,87,88,91,92,94,95,97,98,99,100],[1,6,7,8,10,11,16,18,19,22,25,28,29,32,40,43,44,46,48,50,51,53,57,58,61,63,64,65,66,69,70,72,74,75,77,78,80,81,86,87,91,92,93,97,99],[0,2,4,5,6,9,10,11,14,16,18,19,20,21,22,23,24,25,29,31,33,34,38,44,45,51,56,59,61,64,65,67,73,74,75,76,77,81,85,87,98,99],[2,4,5,8,10,14,18,24,33,40,41,42,44,45,47,51,56,58,60,61,63,64,70,71,73,76,77,78,79,81,82,85,86,87,91,93,96,97],[8,58,60,70,71,78,79,82,92,97,98,100],[1,26,38,52,53,66,67,81,83,85,86,87,89,90,91,92,93,97,99],[3,4,5,6,10,19,21,24,29,30,32,33,35,37,38,40,43,45,47,49,50,51,60,67,71,72,79,81,83,84,85,86,92,94,96,97,99],[2,3,4,5,6,8,9,10,11,13,16,17,18,20,24,26,27,28,29,30,31,34,36,37,38,39,40,42,43,44,46,48,50,53,59,61,62,64,65,66,67,69,72,73,74,77,78,82,84,85,88,89,90,91,93,94,95,98,99,100],[1,2,3,5,9,10,12,14,16,17,19,25,26,29,30,31,34,35,36,40,42,43,44,45,46,47,48,50,51,52,55,58,59,60,61,62,64,66,68,69,70,71,74,75,76,78,80,81,82,83,85,86,90,92,95,96,97,99,100],[1,3,5,7,9,11,12,13,16,17,18,20,21,22,24,26,29,30,32,33,34,35,38,43,46,47,49,51,53,55,56,58,62,63,64,68,71,76,78,79,80,81,82,83,84,87,88,90,91,92,96,99],[0,4,8,9,12,15,16,19,20,21,22,28,29,31,36,38,40,41,45,52,54,58,59,60,64,65,67,70,71,73,74,75,78,81,82,85,88,89,91,92,95,97],[1,2,3,4,5,6,7,13,14,18,19,25,29,30,32,35,37,38,40,42,43,46,47,48,49,51,52,56,58,59,61,63,65,69,72,74,75,78,80,82,86,88,89,91,92,94,96],[1,2,4,6,9,18,20,21,24,26,27,28,29,30,31,32,33,37,38,39,42,43,44,45,46,48,49,50,53,54,55,56,57,58,60,63,64,65,66,68,69,70,73,77,80,82,83,86,88,90,91,95,96,98],[53,92,93,94,96,97,100],[65,92,95,96,97,100],[24,92,93,95,96,97,100],[0,2,6,8,11,14,15,16,19,21,22,24,25,28,29,31,33,38,42,45,47,48,50,56,57,59,63,65,67,73,74,75,80,85,87,88,89,92,94,95,97,99],[1,2,3,4,5,6,9,11,12,13,14,16,17,19,21,22,25,26,31,34,36,40,41,42,44,45,46,47,48,50,53,55,59,60,61,62,64,67,68,71,72,74,80,81,82,83,84,86,87,89,90,92,94,95,97,98],[1,2,5,6,10,11,12,14,18,21,23,25,31,33,34,37,39,40,41,42,44,45,47,51,52,58,61,65,66,67,71,73,80,82,86,89,90,91,92,93,95,100],[1,3,4,5,7,9,11,12,13,16,17,18,21,22,24,25,26,29,30,31,32,33,34,35,36,43,46,48,49,50,52,55,56,58,60,62,63,66,68,71,74,76,77,78,80,81,82,88,89,92,94,96,98,99,100],[1,4,5,9,10,11,12,13,14,16,17,19,23,24,27,28,30,31,33,35,39,40,41,42,44,46,50,55,57,58,59,60,64,65,69,74,75,76,78,79,80,85,86,88,90,93,94,96,97,98],[2,3,4,9,10,11,13,14,15,16,17,20,23,24,26,29,30,36,37,39,40,42,43,44,45,46,47,48,49,50,52,55,58,59,61,62,65,66,67,68,69,70,71,72,73,74,77,78,79,83,85,86,87,88,89,90,92,95,100],[0,2,4,6,7,12,14,18,25,29,30,32,35,37,39,40,42,43,44,45,46,47,51,53,56,58,59,61,63,65,66,67,69,72,75,78,80,85,87,88,90,91,92,94,95,96,97,98,99,100],[2,4,5,7,8,9,12,13,14,16,18,21,22,23,27,33,34,36,37,38,39,41,43,46,51,54,55,56,57,58,61,62,63,64,66,67,69,77,78,82,83,84,88,94,97,98,99,100],[2,8,9,11,13,18,19,23,26,27,30,31,32,36,38,39,45,46,48,50,51,52,56,57,65,71,73,74,77,82,83,85,91,93,94,95,96,99,100],[1,2,6,7,8,9,10,14,17,18,19,20,23,25,28,30,31,32,35,36,42,43,44,46,47,50,51,54,55,56,60,64,66,69,70,71,73,75,80,81,84,86,88,89,90,91,94,95],[2,7,13,14,15,16,23,24,26,28,29,30,33,42,45,46,47,48,50,52,57,58,63,65,67,69,71,73,74,79,80,82,84,85,86,90,91,92,95,96,100],[1,2,11,12,14,15,18,19,20,22,23,30,31,34,35,37,39,40,42,44,45,47,51,56,58,59,61,65,67,70,71,72,75,78,80,87,90,97,98,99,100],[0,2,4,7,9,10,13,14,15,17,18,19,21,22,25,27,28,30,33,34,36,37,39,40,41,43,44,46,47,48,52,53,54,56,57,60,62,63,64,66,69,71,72,73,75,77,79,82,83,87,90,91,92,93,96,98,99,100],[1,2,6,7,8,9,10,13,14,16,17,19,20,25,27,28,30,35,42,44,46,47,48,54,55,56,57,61,63,65,66,69,70,74,75,77,80,84,85,86,92,93,94,95,96,98],[34,92,93,94,95,96,98,100],[1,92,93,97,98,100],[3,4,5,6,10,19,21,24,29,30,32,33,35,37,38,43,45,47,49,50,51,57,67,72,78,82,83,84,85,86,96,98,99,100],[1,2,5,6,7,8,10,13,15,16,17,19,20,23,24,25,27,28,30,33,35,38,42,44,46,47,48,50,53,55,57,63,65,67,69,70,72,74,75,77,80,82,85,86,88,90,92,93,95,97],[78,92,95,97,98,100],[11,30,38,52,53,56,66,81,82,83,87,88,89,91,92,93,95,97,99],[0,1,5,7,8,10,11,13,17,20,21,22,23,24,27,29,30,33,35,36,42,44,45,46,52,53,54,55,57,59,63,67,69,70,71,72,73,74,77,79,80,81,82,86,89,90,91,92,94,95,97,98,99],[2,3,5,7,12,14,16,17,19,20,21,22,27,28,29,31,32,33,34,37,39,41,43,45,46,47,48,49,50,52,57,62,63,65,67,70,72,73,74,75,77,78,79,81,82,85,87,88,89,92,93,94,95],[1,2,3,4,5,6,7,13,14,19,25,29,30,32,35,37,38,40,42,43,44,46,47,48,49,51,52,56,58,59,60,61,63,65,69,71,72,74,75,79,80,83,86,88,89,91,92,94,96,100],[1,4,5,7,9,10,12,13,14,15,16,17,18,19,23,24,27,28,30,33,35,38,40,41,44,46,52,53,54,55,56,57,58,60,64,65,66,69,71,72,74,75,76,77,78,79,80,81,85,86,87,88,90,91,92,93,95,97,98,99,100],[1,2,3,4,5,6,9,11,12,13,14,16,17,20,21,25,26,32,33,34,36,38,40,41,42,44,45,47,48,49,50,55,58,59,60,61,62,64,67,68,70,72,74,78,80,81,83,84,90,92,94,97,99,100],[1,6,7,9,10,11,13,15,16,19,20,22,25,27,28,29,38,40,42,43,44,46,47,48,50,51,52,55,57,58,60,61,63,69,70,71,74,75,77,78,79,81,82,84,86,87,88,89,90,93,96,98,99],[3,10,16,18,19,21,22,23,24,26,27,28,29,32,34,36,37,38,39,40,41,42,43,44,48,49,50,52,56,57,58,59,62,64,65,66,67,71,72,73,74,75,77,79,80,81,83,84,85,86,89,90,92,95,96,97,99],[1,2,3,7,10,12,13,14,16,20,21,23,24,26,31,32,33,34,36,38,42,44,46,47,49,54,55,58,61,62,64,68,70,72,74,79,80,85,87,88,89,90,92,93,94,96,98,100],[0,2,5,6,7,8,9,10,13,14,15,16,17,19,23,26,28,33,35,38,40,42,43,46,47,51,52,54,57,63,65,66,69,71,72,73,74,79,80,81,83,86,87,88,89,90,92,93,94,95,96,98,99,100],[51,92,93,99,100],[39,92,94,99,100],[28,38,47,52,53,64,66,83,84,89,90,91,100],[0,1,5,6,8,9,15,17,19,23,24,25,26,30,33,35,40,43,45,48,50,51,52,53,54,58,60,67,69,72,73,75,78,81,83,84,87,88,89,90,91,92,94,97,98],[2,6,7,12,14,18,20,22,25,29,30,31,35,37,39,40,42,43,44,45,46,47,53,56,59,61,63,65,66,67,69,70,71,72,73,75,80,85,86,87,88,91,93,94,95,96,97,99,100],[2,4,5,6,10,18,21,22,23,25,26,27,28,33,34,35,36,37,39,41,42,44,45,47,48,51,52,58,60,61,62,64,65,66,74,77,80,82,84,88,89,91,93,95,97,98,99],[9,92,93,94,95,99,100],[1,3,6,7,9,10,11,13,16,18,20,24,25,26,32,34,36,38,39,41,46,47,49,51,52,55,56,62,63,64,65,66,67,68,69,70,71,72,73,75,79,82,86,88,89,90,91,92,93,100],[1,2,4,5,7,8,10,14,16,18,21,24,33,38,40,42,44,45,46,48,50,51,53,56,58,59,60,61,63,64,65,66,67,69,70,71,73,74,76,77,78,79,80,81,82,85,87,88,90,91,93,98,99,100],[2,4,5,9,10,14,17,18,20,41,42,44,47,48,50,51,52,54,56,61,63,64,73,76,77,81,85,86,87,91,93,99,100],[1,2,5,7,8,13,14,16,21,24,28,33,42,45,46,47,48,50,52,56,57,59,63,65,67,69,73,74,80,84,85,87,88,89,93,94,99,100],[6,7,8,10,11,12,13,14,16,17,18,20,22,24,25,27,31,33,34,35,37,38,39,40,41,46,47,48,51,52,56,57,58,59,61,62,63,65,69,74,79,82,83,85,89,90,93,96,98,99],[0,1,2,3,4,6,7,12,13,14,15,17,19,23,26,28,30,32,34,35,42,43,45,46,47,49,51,53,55,58,59,60,61,62,65,67,68,71,73,75,78,79,80,82,83,84,85,89,90,91,92,93,94,95,96,97,98],[59,92,94,95,96,99,100],[1,5,6,10,12,21,22,23,24,25,29,30,33,35,37,39,43,52,53,58,64,65,66,70,72,73,77,78,80,81,82,84,86,87,89,92,94,95,98],[32,92,97,99,100],[4,5,6,7,9,17,19,20,23,24,25,26,30,31,32,33,38,40,41,43,45,48,50,52,54,58,59,63,67,75,76,78,79,81,82,83,84,85,86,87,89,91,96,97,98,100],[4,5,6,12,16,18,19,20,21,22,23,24,25,26,29,30,33,34,35,37,42,44,48,51,52,54,56,59,60,62,64,68,69,71,74,76,79,82,85,86,88,89,90,92,93,95,97,98,100],[1,4,5,7,9,11,13,15,18,19,20,23,25,26,29,33,34,35,36,37,39,40,41,43,45,46,50,52,55,57,59,60,61,63,64,65,66,69,70,71,73,75,79,83,84,85,87,89,90,91,94,95,99],[20,92,95,97,99,100],[30,92,93,95,97,99,100],[74,92,94,95,97,99,100],[0,5,7,8,10,11,13,14,16,20,22,23,24,26,27,29,30,33,34,35,41,42,44,45,47,50,53,54,55,57,58,61,63,65,67,68,71,73,74,77,79,82,84,86,92,97,100],[2,3,4,7,10,12,13,14,15,18,19,20,21,22,23,24,31,32,33,34,39,40,44,46,48,49,50,51,52,56,59,60,61,63,69,70,72,73,74,75,79,81,83,87,90,92,96,97,98,99],[54,92,93,96,97,99,100],[46,92,93,94,96,97,99,100],[1,5,6,10,12,15,21,23,24,25,29,30,32,33,34,35,37,38,39,43,47,50,55,60,71,73,79,81,83,85,86,87,88,89,94,95,97,99,100],[1,3,7,8,9,10,12,14,16,18,21,22,23,24,27,28,34,35,36,37,38,39,41,42,43,44,45,47,48,49,50,51,52,54,55,56,57,58,60,61,62,65,66,71,73,74,77,79,80,81,82,84,88,92,95],[0,1,2,5,6,7,9,13,14,15,16,17,19,23,28,30,35,38,40,42,46,47,51,52,53,54,56,57,58,60,63,65,69,71,72,73,74,75,78,79,80,88,90,92,93,94,96,98,100],[19,92,93,94,95,96,97,99,100],[1,8,12,13,15,19,20,23,24,29,31,32,33,35,37,39,41,43,46,49,56,59,64,65,69,70,71,72,75,77,78,79,80,81,82,84,85,86,87,88,89,91,96,99],[4,92,93,98,99,100],[3,6,7,8,9,11,12,13,18,20,24,25,28,32,34,36,39,41,46,49,51,55,56,58,61,62,63,64,65,66,67,69,70,71,72,73,79,81,82,84,86,88,94,96,97,98],[41,92,95,98,99,100],[0,1,3,4,6,7,10,11,12,13,16,18,19,22,25,26,29,31,32,34,36,40,45,46,49,51,54,55,56,58,59,60,62,63,67,68,72,74,76,77,78,79,80,81,87,90,91,95,96],[2,4,7,9,11,12,16,17,18,21,22,24,25,26,29,30,31,32,33,34,35,36,38,43,45,49,50,52,53,55,56,58,62,63,65,67,68,73,76,77,79,82,84,85,86,87,88,90,91,93,94,96,97,100],[1,2,8,11,12,13,14,18,19,20,23,27,28,30,35,37,39,40,45,47,51,55,56,58,59,60,61,65,67,70,71,72,75,77,78,85,87,91,95,96,97,98],[1,3,6,7,9,10,11,13,16,17,18,20,24,25,26,32,34,36,38,39,41,46,47,49,51,52,55,56,60,62,63,64,65,66,67,69,70,72,73,75,78,83,84,86,88,89,90,92,93],[1,2,3,4,5,7,11,14,15,18,19,20,23,25,28,29,31,33,34,35,36,37,39,40,41,42,43,47,48,50,52,54,55,56,57,59,62,64,66,67,68,70,75,78,80,84,86,89,91,92,93,94,97,98,99],[0,1,5,8,13,14,15,17,19,20,24,25,26,28,30,32,33,34,35,40,41,42,43,45,46,48,49,51,52,53,54,55,60,62,64,65,67,68,70,71,73,75,78,79,80,81,87,88,90,91,92,94,95],[2,5,7,8,9,10,12,13,14,16,17,19,21,22,23,24,25,27,29,33,36,37,39,43,46,47,51,52,53,54,55,56,57,58,61,64,69,73,74,75,77,78,79,81,82,85,88,95,96,97,99],[5,6,8,10,22,25,29,30,33,35,43,52,53,58,66,67,72,73,78,81,83,84,86,87,89,93,94,96,97],[15,92,93,94,95,96,98,99,100],[22,92,97,98,99,100],[1,2,6,9,10,12,14,15,17,18,19,20,21,22,24,25,30,31,34,37,39,42,43,44,47,48,50,51,53,54,56,58,61,65,66,67,70,72,73,75,78,79,80,81,83,84,85,86,87,90,91,92,94,98,99],[1,3,4,6,7,9,11,13,17,19,20,22,23,25,31,36,37,38,40,42,43,44,46,47,49,52,53,54,55,57,59,63,69,70,78,79,80,83,84,85,86,89,91,93,95,96,97,99,100],[2,4,5,9,10,11,14,15,16,17,20,23,24,26,29,30,35,36,37,38,39,40,42,43,44,47,48,49,50,52,53,55,58,59,61,64,67,68,69,70,72,73,74,79,80,83,84,88,92,95,99,100],[31,60,78,85,88,90,91,92,95,97,98,99,100],[3,4,7,9,11,15,16,17,18,19,20,21,23,25,26,29,30,33,35,36,37,38,39,41,43,46,48,50,53,55,60,62,63,64,65,67,68,69,70,72,73,74,75,81,83,85,89,91,94,98,99],[0,1,5,7,8,10,11,13,17,20,21,22,23,24,27,29,30,33,35,42,44,45,46,48,52,53,54,55,57,59,63,67,69,70,71,72,73,74,77,79,80,81,82,85,86,87,88,89,92,94,95,97,98],[14,92,93,94,95,97,98,99,100],[1,2,3,4,5,6,7,13,14,19,25,29,30,32,35,37,38,40,43,46,47,48,49,51,52,56,58,59,60,61,63,65,69,71,72,74,75,79,80,83,85,86,88,90,92,94,96,100],[4,5,10,12,13,15,16,17,18,19,21,22,23,24,25,26,30,32,37,38,39,44,48,49,51,52,54,56,59,61,67,68,73,74,75,78,79,81,83,85,87,88,91,96,97,99,100],[3,6,7,9,11,13,15,16,17,18,20,23,25,26,32,36,37,39,46,48,49,50,51,53,55,56,62,64,65,68,70,71,73,74,79,84,85,86,87,90,91,92,96,97,98],[1,6,7,9,10,11,13,15,16,19,20,22,25,27,28,29,38,40,42,43,44,46,47,48,50,51,52,57,58,60,61,63,69,70,71,74,75,77,78,79,80,81,82,84,85,86,87,91,92,93,95,97,99],[1,2,4,6,8,9,12,18,19,25,26,30,38,41,42,43,44,47,50,54,55,56,58,60,63,64,75,76,78,82,83,86,88,89,92,93,96,97],[2,5,6,7,8,12,13,14,15,18,20,23,29,30,31,32,34,35,37,38,39,40,42,44,45,46,47,52,56,58,59,60,61,63,65,67,69,70,71,73,76,79,80,82,84,86,87,94,96,98,99],[0,2,5,6,7,8,9,10,13,14,15,16,17,19,23,26,28,35,38,40,42,43,46,47,49,51,52,54,57,63,65,66,69,71,72,73,74,79,80,81,83,85,91,97,100]]},"distance":{"d":4,"is_exact":true,"upper":4,"witness":[0,2,136,150],"A_d":8343,"certified":null},"clifford":{"kind":"powers","correction":{"S":[[0,1],[1,2],[2,1],[3,2],[4,2],[5,2],[6,1],[7,2],[8,1],[9,2],[10,1],[11,2],[12,2],[13,2],[14,1],[15,1],[16,2],[17,2],[18,2],[19,1],[20,1],[21,2],[22,2],[23,1],[24,2],[25,1],[26,2],[27,1],[28,1],[29,2],[30,2],[31,2],[32,2],[33,2],[34,2],[35,2],[36,2],[37,1],[38,2],[39,1],[40,1],[41,1],[42,1],[43,2],[44,1],[45,1],[46,2],[47,1],[48,2],[49,2],[50,2],[51,1],[52,1],[53,2],[54,1],[55,2],[56,2],[57,1],[58,2],[59,1],[60,2],[61,1],[62,2],[63,2],[64,1],[65,1],[66,1],[67,1],[68,2],[69,1],[70,1],[71,2],[72,1],[73,2],[74,2],[75,1],[76,2],[77,2],[78,2],[79,1],[80,2],[82,1],[83,1],[84,1],[85,1],[86,1],[87,1],[88,1],[90,1],[91,1],[92,1],[94,1],[96,1]],"CZ":[[1,3],[1,4],[1,5],[1,7],[1,9],[1,11],[1,12],[1,13],[1,16],[1,17],[1,18],[1,21],[1,22],[1,24],[1,26],[1,29],[1,30],[1,31],[1,32],[1,33],[1,34],[1,35],[1,36],[1,38],[1,43],[1,46],[1,48],[1,49],[1,50],[1,53],[1,55],[1,56],[1,58],[1,60],[1,62],[1,63],[1,68],[1,71],[1,73],[1,74],[1,76],[1,77],[1,78],[1,80],[1,82],[1,83],[1,84],[1,85],[1,86],[1,87],[1,88],[1,90],[1,91],[1,92],[1,94],[1,96],[3,4],[3,5],[3,7],[3,9],[3,11],[3,12],[3,13],[3,16],[3,17],[3,18],[3,21],[3,22],[3,24],[3,26],[3,29],[3,30],[3,31],[3,32],[3,33],[3,34],[3,35],[3,36],[3,38],[3,43],[3,46],[3,48],[3,49],[3,50],[3,53],[3,55],[3,56],[3,58],[3,60],[3,62],[3,63],[3,68],[3,71],[3,73],[3,74],[3,76],[3,77],[3,78],[3,80],[3,82],[3,83],[3,84],[3,85],[3,86],[3,87],[3,88],[3,90],[3,91],[3,92],[3,94],[3,96],[4,5],[4,7],[4,9],[4,11],[4,12],[4,13],[4,16],[4,17],[4,18],[4,21],[4,22],[4,24],[4,26],[4,29],[4,30],[4,31],[4,32],[4,33],[4,34],[4,35],[4,36],[4,38],[4,43],[4,46],[4,48],[4,49],[4,50],[4,53],[4,55],[4,56],[4,58],[4,60],[4,62],[4,63],[4,68],[4,71],[4,73],[4,74],[4,76],[4,77],[4,78],[4,80],[4,82],[4,83],[4,84],[4,85],[4,86],[4,87],[4,88],[4,90],[4,91],[4,92],[4,94],[4,96],[5,7],[5,9],[5,11],[5,12],[5,13],[5,16],[5,17],[5,18],[5,21],[5,22],[5,24],[5,26],[5,29],[5,30],[5,31],[5,32],[5,33],[5,34],[5,35],[5,36],[5,38],[5,43],[5,46],[5,48],[5,49],[5,50],[5,53],[5,55],[5,56],[5,58],[5,60],[5,62],[5,63],[5,68],[5,71],[5,73],[5,74],[5,76],[5,77],[5,78],[5,80],[5,82],[5,83],[5,84],[5,85],[5,86],[5,87],[5,88],[5,90],[5,91],[5,92],[5,94],[5,96],[7,9],[7,11],[7,12],[7,13],[7,16],[7,17],[7,18],[7,21],[7,22],[7,24],[7,26],[7,29],[7,30],[7,31],[7,32],[7,33],[7,34],[7,35],[7,36],[7,38],[7,43],[7,46],[7,48],[7,49],[7,50],[7,53],[7,55],[7,56],[7,58],[7,60],[7,62],[7,63],[7,68],[7,71],[7,73],[7,74],[7,76],[7,77],[7,78],[7,80],[7,82],[7,83],[7,84],[7,85],[7,86],[7,87],[7,88],[7,90],[7,91],[7,92],[7,94],[7,96],[9,11],[9,12],[9,13],[9,16],[9,17],[9,18],[9,21],[9,22],[9,24],[9,26],[9,29],[9,30],[9,31],[9,32],[9,33],[9,34],[9,35],[9,36],[9,38],[9,43],[9,46],[9,48],[9,49],[9,50],[9,53],[9,55],[9,56],[9,58],[9,60],[9,62],[9,63],[9,68],[9,71],[9,73],[9,74],[9,76],[9,77],[9,78],[9,80],[9,82],[9,83],[9,84],[9,85],[9,86],[9,87],[9,88],[9,90],[9,91],[9,92],[9,94],[9,96],[11,12],[11,13],[11,16],[11,17],[11,18],[11,21],[11,22],[11,24],[11,26],[11,29],[11,30],[11,31],[11,32],[11,33],[11,34],[11,35],[11,36],[11,38],[11,43],[11,46],[11,48],[11,49],[11,50],[11,53],[11,55],[11,56],[11,58],[11,60],[11,62],[11,63],[11,68],[11,71],[11,73],[11,74],[11,76],[11,77],[11,78],[11,80],[11,82],[11,83],[11,84],[11,85],[11,86],[11,87],[11,88],[11,90],[11,91],[11,92],[11,94],[11,96],[12,13],[12,16],[12,17],[12,18],[12,21],[12,22],[12,24],[12,26],[12,29],[12,30],[12,31],[12,32],[12,33],[12,34],[12,35],[12,36],[12,38],[12,43],[12,46],[12,48],[12,49],[12,50],[12,53],[12,55],[12,56],[12,58],[12,60],[12,62],[12,63],[12,68],[12,71],[12,73],[12,74],[12,76],[12,77],[12,78],[12,80],[12,82],[12,83],[12,84],[12,85],[12,86],[12,87],[12,88],[12,90],[12,91],[12,92],[12,94],[12,96],[13,16],[13,17],[13,18],[13,21],[13,22],[13,24],[13,26],[13,29],[13,30],[13,31],[13,32],[13,33],[13,34],[13,35],[13,36],[13,38],[13,43],[13,46],[13,48],[13,49],[13,50],[13,53],[13,55],[13,56],[13,58],[13,60],[13,62],[13,63],[13,68],[13,71],[13,73],[13,74],[13,76],[13,77],[13,78],[13,80],[13,82],[13,83],[13,84],[13,85],[13,86],[13,87],[13,88],[13,90],[13,91],[13,92],[13,94],[13,96],[16,17],[16,18],[16,21],[16,22],[16,24],[16,26],[16,29],[16,30],[16,31],[16,32],[16,33],[16,34],[16,35],[16,36],[16,38],[16,43],[16,46],[16,48],[16,49],[16,50],[16,53],[16,55],[16,56],[16,58],[16,60],[16,62],[16,63],[16,68],[16,71],[16,73],[16,74],[16,76],[16,77],[16,78],[16,80],[16,82],[16,83],[16,84],[16,85],[16,86],[16,87],[16,88],[16,90],[16,91],[16,92],[16,94],[16,96],[17,18],[17,21],[17,22],[17,24],[17,26],[17,29],[17,30],[17,31],[17,32],[17,33],[17,34],[17,35],[17,36],[17,38],[17,43],[17,46],[17,48],[17,49],[17,50],[17,53],[17,55],[17,56],[17,58],[17,60],[17,62],[17,63],[17,68],[17,71],[17,73],[17,74],[17,76],[17,77],[17,78],[17,80],[17,82],[17,83],[17,84],[17,85],[17,86],[17,87],[17,88],[17,90],[17,91],[17,92],[17,94],[17,96],[18,21],[18,22],[18,24],[18,26],[18,29],[18,30],[18,31],[18,32],[18,33],[18,34],[18,35],[18,36],[18,38],[18,43],[18,46],[18,48],[18,49],[18,50],[18,53],[18,55],[18,56],[18,58],[18,60],[18,62],[18,63],[18,68],[18,71],[18,73],[18,74],[18,76],[18,77],[18,78],[18,80],[18,82],[18,83],[18,84],[18,85],[18,86],[18,87],[18,88],[18,90],[18,91],[18,92],[18,94],[18,96],[21,22],[21,24],[21,26],[21,29],[21,30],[21,31],[21,32],[21,33],[21,34],[21,35],[21,36],[21,38],[21,43],[21,46],[21,48],[21,49],[21,50],[21,53],[21,55],[21,56],[21,58],[21,60],[21,62],[21,63],[21,68],[21,71],[21,73],[21,74],[21,76],[21,77],[21,78],[21,80],[21,82],[21,83],[21,84],[21,85],[21,86],[21,87],[21,88],[21,90],[21,91],[21,92],[21,94],[21,96],[22,24],[22,26],[22,29],[22,30],[22,31],[22,32],[22,33],[22,34],[22,35],[22,36],[22,38],[22,43],[22,46],[22,48],[22,49],[22,50],[22,53],[22,55],[22,56],[22,58],[22,60],[22,62],[22,63],[22,68],[22,71],[22,73],[22,74],[22,76],[22,77],[22,78],[22,80],[22,82],[22,83],[22,84],[22,85],[22,86],[22,87],[22,88],[22,90],[22,91],[22,92],[22,94],[22,96],[24,26],[24,29],[24,30],[24,31],[24,32],[24,33],[24,34],[24,35],[24,36],[24,38],[24,43],[24,46],[24,48],[24,49],[24,50],[24,53],[24,55],[24,56],[24,58],[24,60],[24,62],[24,63],[24,68],[24,71],[24,73],[24,74],[24,76],[24,77],[24,78],[24,80],[24,82],[24,83],[24,84],[24,85],[24,86],[24,87],[24,88],[24,90],[24,91],[24,92],[24,94],[24,96],[26,29],[26,30],[26,31],[26,32],[26,33],[26,34],[26,35],[26,36],[26,38],[26,43],[26,46],[26,48],[26,49],[26,50],[26,53],[26,55],[26,56],[26,58],[26,60],[26,62],[26,63],[26,68],[26,71],[26,73],[26,74],[26,76],[26,77],[26,78],[26,80],[26,82],[26,83],[26,84],[26,85],[26,86],[26,87],[26,88],[26,90],[26,91],[26,92],[26,94],[26,96],[29,30],[29,31],[29,32],[29,33],[29,34],[29,35],[29,36],[29,38],[29,43],[29,46],[29,48],[29,49],[29,50],[29,53],[29,55],[29,56],[29,58],[29,60],[29,62],[29,63],[29,68],[29,71],[29,73],[29,74],[29,76],[29,77],[29,78],[29,80],[29,82],[29,83],[29,84],[29,85],[29,86],[29,87],[29,88],[29,90],[29,91],[29,92],[29,94],[29,96],[30,31],[30,32],[30,33],[30,34],[30,35],[30,36],[30,38],[30,43],[30,46],[30,48],[30,49],[30,50],[30,53],[30,55],[30,56],[30,58],[30,60],[30,62],[30,63],[30,68],[30,71],[30,73],[30,74],[30,76],[30,77],[30,78],[30,80],[30,82],[30,83],[30,84],[30,85],[30,86],[30,87],[30,88],[30,90],[30,91],[30,92],[30,94],[30,96],[31,32],[31,33],[31,34],[31,35],[31,36],[31,38],[31,43],[31,46],[31,48],[31,49],[31,50],[31,53],[31,55],[31,56],[31,58],[31,60],[31,62],[31,63],[31,68],[31,71],[31,73],[31,74],[31,76],[31,77],[31,78],[31,80],[31,82],[31,83],[31,84],[31,85],[31,86],[31,87],[31,88],[31,90],[31,91],[31,92],[31,94],[31,96],[32,33],[32,34],[32,35],[32,36],[32,38],[32,43],[32,46],[32,48],[32,49],[32,50],[32,53],[32,55],[32,56],[32,58],[32,60],[32,62],[32,63],[32,68],[32,71],[32,73],[32,74],[32,76],[32,77],[32,78],[32,80],[32,82],[32,83],[32,84],[32,85],[32,86],[32,87],[32,88],[32,90],[32,91],[32,92],[32,94],[32,96],[33,34],[33,35],[33,36],[33,38],[33,43],[33,46],[33,48],[33,49],[33,50],[33,53],[33,55],[33,56],[33,58],[33,60],[33,62],[33,63],[33,68],[33,71],[33,73],[33,74],[33,76],[33,77],[33,78],[33,80],[33,82],[33,83],[33,84],[33,85],[33,86],[33,87],[33,88],[33,90],[33,91],[33,92],[33,94],[33,96],[34,35],[34,36],[34,38],[34,43],[34,46],[34,48],[34,49],[34,50],[34,53],[34,55],[34,56],[34,58],[34,60],[34,62],[34,63],[34,68],[34,71],[34,73],[34,74],[34,76],[34,77],[34,78],[34,80],[34,82],[34,83],[34,84],[34,85],[34,86],[34,87],[34,88],[34,90],[34,91],[34,92],[34,94],[34,96],[35,36],[35,38],[35,43],[35,46],[35,48],[35,49],[35,50],[35,53],[35,55],[35,56],[35,58],[35,60],[35,62],[35,63],[35,68],[35,71],[35,73],[35,74],[35,76],[35,77],[35,78],[35,80],[35,82],[35,83],[35,84],[35,85],[35,86],[35,87],[35,88],[35,90],[35,91],[35,92],[35,94],[35,96],[36,38],[36,43],[36,46],[36,48],[36,49],[36,50],[36,53],[36,55],[36,56],[36,58],[36,60],[36,62],[36,63],[36,68],[36,71],[36,73],[36,74],[36,76],[36,77],[36,78],[36,80],[36,82],[36,83],[36,84],[36,85],[36,86],[36,87],[36,88],[36,90],[36,91],[36,92],[36,94],[36,96],[38,43],[38,46],[38,48],[38,49],[38,50],[38,53],[38,55],[38,56],[38,58],[38,60],[38,62],[38,63],[38,68],[38,71],[38,73],[38,74],[38,76],[38,77],[38,78],[38,80],[38,82],[38,83],[38,84],[38,85],[38,86],[38,87],[38,88],[38,90],[38,91],[38,92],[38,94],[38,96],[43,46],[43,48],[43,49],[43,50],[43,53],[43,55],[43,56],[43,58],[43,60],[43,62],[43,63],[43,68],[43,71],[43,73],[43,74],[43,76],[43,77],[43,78],[43,80],[43,82],[43,83],[43,84],[43,85],[43,86],[43,87],[43,88],[43,90],[43,91],[43,92],[43,94],[43,96],[46,48],[46,49],[46,50],[46,53],[46,55],[46,56],[46,58],[46,60],[46,62],[46,63],[46,68],[46,71],[46,73],[46,74],[46,76],[46,77],[46,78],[46,80],[46,82],[46,83],[46,84],[46,85],[46,86],[46,87],[46,88],[46,90],[46,91],[46,92],[46,94],[46,96],[48,49],[48,50],[48,53],[48,55],[48,56],[48,58],[48,60],[48,62],[48,63],[48,68],[48,71],[48,73],[48,74],[48,76],[48,77],[48,78],[48,80],[48,82],[48,83],[48,84],[48,85],[48,86],[48,87],[48,88],[48,90],[48,91],[48,92],[48,94],[48,96],[49,50],[49,53],[49,55],[49,56],[49,58],[49,60],[49,62],[49,63],[49,68],[49,71],[49,73],[49,74],[49,76],[49,77],[49,78],[49,80],[49,82],[49,83],[49,84],[49,85],[49,86],[49,87],[49,88],[49,90],[49,91],[49,92],[49,94],[49,96],[50,53],[50,55],[50,56],[50,58],[50,60],[50,62],[50,63],[50,68],[50,71],[50,73],[50,74],[50,76],[50,77],[50,78],[50,80],[50,82],[50,83],[50,84],[50,85],[50,86],[50,87],[50,88],[50,90],[50,91],[50,92],[50,94],[50,96],[53,55],[53,56],[53,58],[53,60],[53,62],[53,63],[53,68],[53,71],[53,73],[53,74],[53,76],[53,77],[53,78],[53,80],[53,82],[53,83],[53,84],[53,85],[53,86],[53,87],[53,88],[53,90],[53,91],[53,92],[53,94],[53,96],[55,56],[55,58],[55,60],[55,62],[55,63],[55,68],[55,71],[55,73],[55,74],[55,76],[55,77],[55,78],[55,80],[55,82],[55,83],[55,84],[55,85],[55,86],[55,87],[55,88],[55,90],[55,91],[55,92],[55,94],[55,96],[56,58],[56,60],[56,62],[56,63],[56,68],[56,71],[56,73],[56,74],[56,76],[56,77],[56,78],[56,80],[56,82],[56,83],[56,84],[56,85],[56,86],[56,87],[56,88],[56,90],[56,91],[56,92],[56,94],[56,96],[58,60],[58,62],[58,63],[58,68],[58,71],[58,73],[58,74],[58,76],[58,77],[58,78],[58,80],[58,82],[58,83],[58,84],[58,85],[58,86],[58,87],[58,88],[58,90],[58,91],[58,92],[58,94],[58,96],[60,62],[60,63],[60,68],[60,71],[60,73],[60,74],[60,76],[60,77],[60,78],[60,80],[60,82],[60,83],[60,84],[60,85],[60,86],[60,87],[60,88],[60,90],[60,91],[60,92],[60,94],[60,96],[62,63],[62,68],[62,71],[62,73],[62,74],[62,76],[62,77],[62,78],[62,80],[62,82],[62,83],[62,84],[62,85],[62,86],[62,87],[62,88],[62,90],[62,91],[62,92],[62,94],[62,96],[63,68],[63,71],[63,73],[63,74],[63,76],[63,77],[63,78],[63,80],[63,82],[63,83],[63,84],[63,85],[63,86],[63,87],[63,88],[63,90],[63,91],[63,92],[63,94],[63,96],[68,71],[68,73],[68,74],[68,76],[68,77],[68,78],[68,80],[68,82],[68,83],[68,84],[68,85],[68,86],[68,87],[68,88],[68,90],[68,91],[68,92],[68,94],[68,96],[71,73],[71,74],[71,76],[71,77],[71,78],[71,80],[71,82],[71,83],[71,84],[71,85],[71,86],[71,87],[71,88],[71,90],[71,91],[71,92],[71,94],[71,96],[73,74],[73,76],[73,77],[73,78],[73,80],[73,82],[73,83],[73,84],[73,85],[73,86],[73,87],[73,88],[73,90],[73,91],[73,92],[73,94],[73,96],[74,76],[74,77],[74,78],[74,80],[74,82],[74,83],[74,84],[74,85],[74,86],[74,87],[74,88],[74,90],[74,91],[74,92],[74,94],[74,96],[76,77],[76,78],[76,80],[76,82],[76,83],[76,84],[76,85],[76,86],[76,87],[76,88],[76,90],[76,91],[76,92],[76,94],[76,96],[77,78],[77,80],[77,82],[77,83],[77,84],[77,85],[77,86],[77,87],[77,88],[77,90],[77,91],[77,92],[77,94],[77,96],[78,80],[78,82],[78,83],[78,84],[78,85],[78,86],[78,87],[78,88],[78,90],[78,91],[78,92],[78,94],[78,96],[80,82],[80,83],[80,84],[80,85],[80,86],[80,87],[80,88],[80,90],[80,91],[80,92],[80,94],[80,96],[82,83],[82,84],[82,85],[82,86],[82,87],[82,88],[82,90],[82,91],[82,92],[82,94],[82,96],[83,84],[83,85],[83,86],[83,87],[83,88],[83,90],[83,91],[83,92],[83,94],[83,96],[84,85],[84,86],[84,87],[84,88],[84,90],[84,91],[84,92],[84,94],[84,96],[85,86],[85,87],[85,88],[85,90],[85,91],[85,92],[85,94],[85,96],[86,87],[86,88],[86,90],[86,91],[86,92],[86,94],[86,96],[87,88],[87,90],[87,91],[87,92],[87,94],[87,96],[88,90],[88,91],[88,92],[88,94],[88,96],[90,91],[90,92],[90,94],[90,96],[91,92],[91,94],[91,96],[92,94],[92,96],[94,96]]},"rotation_powers":[[0,7],[2,5],[3,5],[5,7],[6,3],[7,3],[8,5],[9,7],[10,5],[11,3],[13,5],[14,3],[15,7],[16,7],[17,7],[18,3],[19,7],[22,5],[23,5],[24,5],[26,5],[30,5],[31,3],[32,3],[33,3],[34,3],[35,3],[38,5],[39,7],[41,3],[45,3],[46,7],[47,3],[55,5],[56,5],[57,3],[58,7],[59,3],[61,5],[62,3],[63,5],[65,3],[69,5],[70,7],[71,5],[72,7],[75,3],[77,3],[79,3],[80,3],[81,3],[82,3],[84,3],[85,5],[86,3],[87,3],[88,3],[89,5],[92,3],[96,7],[97,3],[98,3],[99,3],[102,3],[103,3],[104,3],[105,3],[108,7],[110,5],[112,7],[113,5],[114,3],[115,3],[116,5],[117,5],[118,7],[120,7],[121,3],[123,3],[125,3],[126,5],[127,3],[128,7],[129,3],[130,3],[131,3],[133,3],[137,3],[138,7],[139,3],[141,7],[142,3],[143,3],[145,5],[146,3],[150,3],[151,3],[152,7],[156,3],[158,3],[159,3],[163,3],[164,3],[166,3],[168,5],[169,3],[170,3],[171,5],[172,3],[175,3],[176,3],[178,7],[179,3],[180,3],[181,3],[182,3],[183,3],[186,3],[187,7],[189,3],[193,3],[200,3],[203,3],[204,3],[205,3],[208,3],[209,3],[212,3],[213,3],[214,5],[215,3],[216,7],[217,5],[219,3],[221,7],[222,3],[224,3],[226,3],[229,3],[230,3],[233,3],[234,3],[235,3],[236,3],[237,3],[238,7],[244,3],[251,3],[252,3],[253,3],[254,3],[255,3],[256,3],[257,3],[258,3],[259,3],[260,3],[263,3],[267,3],[268,3],[271,3],[273,3],[274,3],[275,3],[277,3],[281,3],[282,3],[283,3],[285,3],[287,3],[288,3],[289,3],[290,3],[291,3],[293,3],[294,3],[296,3],[297,3],[298,3],[300,3],[301,3],[302,3],[309,3],[311,3],[312,3],[313,3],[314,3],[317,3],[318,5],[319,3],[321,3],[326,3],[328,3],[331,3],[333,3],[334,3],[335,3],[336,3],[337,3],[342,3],[343,3],[351,3],[355,3],[356,3],[357,3],[360,3],[362,3],[366,3],[367,3],[370,3],[371,3],[372,3],[375,3],[376,3],[377,3],[378,3],[380,3],[381,3],[385,3],[394,3],[395,3],[396,3],[399,3],[400,3],[401,3],[402,3],[404,3],[409,3],[410,3],[411,3],[412,3],[416,3],[417,3],[424,3],[427,3],[428,3]]},"metrics":{"gamma":1.2024919173074606,"gamma_t":null,"gamma_rho":1.2024919173074606,"gamma_claim":1.2024919173074606,"gamma_t_claim":null,"gamma_rho_claim":1.2024919173074606,"v_ex":81,"rate":0.1888111888111888,"t_count":null,"poly_degree":null,"effective_width":81},"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_429_81_4_0ac160565659.json","label":"paired_column_contraction_429_81_4_0ac160565659","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_429_81_4_0ac160565659 (source catalogue id paired_column_contraction_429_81_4_0ac160565659); construction: Existing triorthogonal code with physical paired-column contraction; matrix 0ac1605656590f2a...; the release states d=4 (exact), gamma=1.2024919173074606 (exact)","notes":"matrix gamma_frontier_release/matrices/0ac1605656590f2a62dfad582e857055a918beab2e0602856f8d6ff69f71f498.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"}]}