{"id":"426.80.4.a","row":1044,"stored":{"file":"master_catalog.json","row":1044,"construction":null,"columns_sha256":null},"parameters":{"n":426,"k":80,"d":4,"N":99,"r":19,"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,90],[41,90,91],[35,90,92],[1,2,5,7,8,9,11,13,14,21,22,23,24,25,26,28,29,30,32,33,34,37,39,44,45,47,48,51,52,55,56,57,59,61,62,63,65,66,68,70,72,73,74,75,76,78,79,81,83,85,86,87,89,92,93,94,95,96,97],[2,4,5,6,7,8,9,11,12,14,15,16,18,20,21,22,24,25,27,28,31,33,35,36,37,38,39,43,45,46,49,52,53,56,57,58,61,62,63,64,67,68,71,75,76,81,83,85,87,88,89,90,94,95],[0,1,3,5,8,11,13,14,15,17,20,21,25,26,28,29,32,34,35,36,37,38,39,41,42,44,45,48,49,50,52,58,60,63,64,67,68,72,75,76,79,80,82,83,87,92,95,97,98],[0,1,5,9,14,16,18,20,22,23,24,27,28,30,32,33,35,38,41,42,45,46,47,48,50,53,55,57,58,60,63,65,66,68,69,70,73,75,77,80,81,83,86,87,88,89,91,95],[0,2,4,8,9,12,14,18,19,20,21,25,26,28,32,34,35,37,38,41,42,44,45,48,50,51,52,56,57,61,66,67,68,69,70,73,74,75,77,81,82,84,86,95,98],[0,1,11,12,13,15,16,17,20,22,24,25,31,32,35,36,38,40,41,42,45,47,50,51,52,53,54,55,56,57,63,65,66,67,68,70,71,73,79,82,83,85,95],[2,3,4,7,8,9,10,11,12,13,15,16,17,19,21,26,28,30,31,36,37,39,42,43,45,46,47,48,50,52,53,54,55,56,62,64,65,66,72,76,77,78,79,80,83,87,89,90,91,92,94,96,97],[62,90,93,94],[15,90,91,93,94],[0,4,5,6,8,10,12,13,17,24,26,27,30,31,34,36,40,42,43,44,45,49,51,52,53,57,60,61,62,63,64,67,68,70,77,78,79,80,81,82,84,85,88,90,94,95,96,98],[0,1,5,7,9,11,12,13,14,15,18,20,21,24,25,26,27,32,33,36,37,38,41,43,48,49,50,52,53,56,58,59,60,62,63,66,67,68,70,72,75,78,79,81,86,87,88,93,95,96,97,98],[0,5,7,8,9,10,11,15,16,17,18,20,26,27,28,29,30,31,33,37,38,39,40,42,44,45,46,48,49,52,54,56,58,59,60,61,66,67,69,70,71,77,79,80,82,83,84,85,87,88,90,96,97,98],[2,4,5,7,9,11,12,14,15,16,17,18,20,22,23,25,28,33,35,41,45,46,47,50,57,58,60,61,62,63,65,66,68,70,73,74,78,80,81,83,85,88,90,91,92,93,95,96,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,80,87,89,91,95,96],[4,8,11,12,13,16,18,19,20,22,24,25,27,33,34,35,41,43,44,46,47,49,50,51,54,56,58,59,61,62,64,65,66,67,75,76,77,80,82,83,84,86,87,90,92,93,94,95,97,98],[5,7,10,11,12,13,16,17,18,19,22,25,26,27,28,29,30,33,35,37,38,40,41,46,47,49,50,53,55,58,59,60,61,62,63,64,65,66,68,70,72,77,79,80,82,83,84,85,87,88,89,93,94,96,98],[0,2,4,6,8,9,11,14,15,16,19,21,22,24,26,28,31,35,36,37,38,43,44,46,47,48,51,53,54,55,56,60,61,63,64,65,66,67,68,70,73,74,75,76,77,81,82,83,86,94,95,96],[0,1,4,6,7,8,11,12,13,14,15,17,18,19,21,27,28,29,33,34,35,36,37,38,45,47,50,51,53,55,57,58,61,63,65,66,67,70,72,74,75,77,79,80,83,85,86,88,89,90,92,94,95,97,98],[1,4,6,11,12,13,16,18,19,20,21,23,24,25,26,30,31,32,33,34,36,39,41,42,45,46,47,50,51,52,53,54,56,59,60,62,63,65,68,69,71,72,73,74,75,76,78,81,82,86,91,93,94,97],[5,6,9,10,12,17,18,19,20,23,24,25,26,28,29,31,32,35,36,37,39,41,42,46,47,48,49,52,53,55,56,57,59,61,64,67,69,71,74,75,77,78,79,81,82,83,84,86,89,91,93,96,98],[4,5,6,8,10,11,12,13,20,21,23,24,26,27,28,34,39,42,47,49,50,52,53,54,55,60,61,62,63,64,72,73,74,75,78,86,90,91,92,95,97],[20,90,91,92,94,95],[1,2,3,5,6,8,9,10,12,13,17,20,26,27,30,31,32,33,34,36,38,40,42,43,44,45,47,49,52,56,57,58,61,64,69,71,78,81,83,84,86,90,92,93,94,95,96],[0,1,2,6,8,9,10,12,15,16,17,19,20,21,22,25,26,27,28,29,31,32,39,41,42,43,45,46,51,53,54,58,60,61,64,65,66,67,68,69,71,72,73,75,77,78,79,80,86,87,89,90,92,93,94,97],[42,90,91,92,93,94,95],[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,80,81,84,86,89,91,92,94,97,98],[7,8,10,11,13,14,16,17,19,22,23,26,29,30,33,36,37,40,43,45,46,56,58,59,60,61,65,67,68,71,72,74,76,78,79,84,85,86,88,89,90,91,93,94,96,97],[2,3,6,7,8,10,11,12,16,17,22,26,27,28,34,36,37,38,44,46,48,52,55,59,61,65,67,68,69,71,76,78,79,81,83,86,87,90,92,93,95,96,98],[1,4,6,7,9,10,11,17,18,20,21,22,23,25,27,28,29,31,32,34,36,37,38,39,41,42,44,45,48,52,54,56,57,58,62,64,69,70,71,74,75,76,77,78,79,80,83,85,86,88,90,91,93,94,97,98],[2,3,4,5,8,10,11,13,15,16,18,19,22,24,26,27,28,29,30,33,37,38,39,43,44,46,48,49,51,53,57,58,60,63,64,65,66,70,71,77,79,84,86,87,89,90,91,92,94,96,97,98],[4,90,94,96],[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,80,81,82,90,92,96,98],[0,1,3,5,7,8,9,13,14,16,19,21,22,23,25,26,28,30,31,32,34,39,40,41,42,43,44,50,51,52,53,54,56,60,64,65,67,68,71,73,74,75,78,80,81,83,85,86,87,89,91,93,95],[0,1,5,7,9,11,12,13,14,15,18,20,21,25,26,27,32,33,36,37,38,40,41,43,44,48,49,50,52,53,56,57,58,59,60,62,63,67,68,70,72,78,79,87,88,89,90,91,92,93,94,95,96],[1,5,7,8,9,10,12,13,17,19,23,24,26,27,29,32,36,37,38,43,44,47,48,49,50,51,53,54,56,62,63,66,67,69,70,71,72,73,74,76,77,78,79,80,83,84,85,87,88,91,93,94,95,96],[0,1,11,12,13,15,17,20,22,24,25,31,35,36,40,41,42,45,47,50,51,52,53,54,55,56,57,63,65,66,67,68,69,71,72,73,79,81,85,86,89,93,97,98],[3,4,5,7,8,10,11,12,14,19,20,21,23,24,26,28,30,34,35,38,39,43,44,45,47,51,53,54,55,57,60,64,70,74,78,80,81,82,85,86,87,90,91,92,93,94,96,97],[2,3,7,10,12,16,22,26,31,32,34,36,37,39,40,42,43,45,46,47,48,50,51,52,54,55,56,57,59,65,69,70,71,73,74,75,76,77,78,80,82,84,85,87,90,92,93,96],[1,3,5,9,11,12,14,16,17,19,21,22,23,24,26,28,29,30,31,32,34,36,37,40,42,44,46,47,49,53,54,55,57,60,62,65,66,67,69,71,79,80,81,86,87,92,93,94,95,96,97],[2,4,10,13,15,16,17,18,21,22,23,24,26,33,34,35,37,40,42,44,47,53,54,55,56,58,59,62,63,64,65,66,67,70,71,72,73,74,76,77,79,83,85,87,88,90,91,93,96],[0,2,3,4,5,6,7,9,11,13,15,16,24,28,29,37,39,40,44,46,47,48,49,51,52,54,55,56,60,61,63,65,66,67,70,72,73,76,79,81,82,83,84,85,89,91,92,94],[17,28,31,39,59,68,79,84,85,87,88,97],[0,1,5,6,11,12,15,16,18,22,23,25,26,27,28,31,32,36,38,40,42,43,45,46,51,52,54,57,59,60,62,64,65,66,67,71,74,75,76,77,78,80,81,82,84,86,87,88,89,91,93,94,97],[0,1,4,6,8,10,12,13,17,24,26,27,29,30,31,32,34,36,39,42,44,45,46,50,53,61,62,63,66,68,69,71,72,77,78,80,81,83,84,85,86,88,89,90,92,94,96],[0,3,4,5,7,8,9,13,17,20,24,25,26,29,34,35,37,40,42,43,48,49,52,53,56,57,63,64,65,66,68,69,75,76,77,78,79,80,82,83,84,85,88,90,93,94,95],[0,1,7,9,10,11,15,16,18,20,22,23,26,27,28,29,30,32,35,36,37,40,42,43,44,46,48,52,56,57,59,61,62,63,64,65,67,70,74,77,78,80,81,82,84,87,91,92,94,96],[0,2,4,5,8,10,12,13,14,17,18,19,20,21,22,23,25,29,31,33,35,36,38,39,40,44,45,47,50,51,53,55,57,59,65,68,69,70,71,72,74,76,79,82,84,86,88,90,91,93,95,97,98],[4,5,6,8,10,11,12,13,20,21,23,24,26,27,28,32,34,39,42,47,49,50,52,53,54,55,56,60,61,62,63,64,67,69,70,73,74,75,78,81,89,90,91,92,95,96,98],[3,4,6,7,9,11,17,20,21,25,28,29,31,32,34,36,37,38,39,41,42,43,44,45,48,51,52,54,56,60,66,67,68,69,70,71,75,77,79,80,83,84,85,86,87,88,90,92,94],[0,1,2,4,5,6,9,11,14,16,19,24,28,32,34,37,43,45,46,47,48,49,51,53,55,58,59,61,62,67,68,70,71,75,76,77,78,82,84,86,87,89,91,94,96,98],[17,18,35,39,49,68,79,84,85,86,87,89,97,98],[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,82,86,88,90,91,93,94,95,96,97,98],[5,6,9,12,14,15,17,18,20,21,24,25,26,27,33,36,38,39,40,41,43,46,47,48,49,50,51,52,53,55,58,59,63,64,70,71,73,74,76,78,79,81,82,85,87,88,92,93,94,96],[0,2,3,7,8,10,12,16,20,22,23,26,27,34,36,37,38,39,42,44,46,48,52,54,62,63,65,67,69,76,78,81,83,84,85,86,88,90,92,95,98],[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,80,84,85,87,89,90,93,94,95,97],[3,5,6,8,9,10,11,12,15,17,19,20,21,23,24,26,27,28,35,36,38,39,40,42,43,47,50,51,52,55,56,58,61,62,64,66,67,69,70,72,74,78,79,82,85,87,94,97],[0,1,2,3,4,7,8,10,12,13,16,17,19,20,23,24,26,27,32,36,37,38,39,40,42,44,46,48,51,52,54,57,63,64,65,66,67,70,71,72,73,74,76,78,79,81,82,84,86,87,94,95,98],[53,90,91,93,94,97],[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,82,85,86,88,90,91,92,93,95],[0,1,5,7,11,12,13,14,15,17,18,20,21,24,25,26,27,32,33,36,37,38,39,41,43,48,49,50,52,53,56,58,59,60,62,63,66,67,70,72,78,81,85,86,87,88,89,93,95,96,97,98],[0,2,3,4,7,10,13,17,18,19,23,24,25,26,27,28,31,32,33,35,36,37,45,48,49,52,54,56,58,59,63,64,66,68,70,72,73,74,75,78,79,83,84,86,87,88,91,93,94,96,97,98],[0,1,5,6,10,12,16,18,19,21,22,23,24,25,26,28,29,32,33,35,39,40,41,42,44,46,49,50,51,53,55,56,57,58,59,63,65,69,70,71,73,74,76,77,79,80,84,86,87,89,91,94,95,96,97],[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,80,82,83,85,86,88,89,90,91,95,97,98],[0,2,3,4,5,6,7,10,11,13,18,19,23,24,25,27,28,31,33,35,36,37,41,43,44,45,47,48,49,50,51,53,54,57,58,62,63,64,66,75,78,82,85,86,87,88,89,90,91,92,93,94,95,97,98],[0,1,3,4,5,8,11,12,13,14,15,17,18,21,23,24,26,29,31,32,33,34,36,37,38,39,41,42,44,50,52,58,59,60,62,63,64,65,66,67,68,72,75,76,79,80,82,83,86,87,88,89,90,92,94,95,96,97],[73,90,92,93,95,97],[1,4,5,6,7,12,14,15,18,19,20,23,24,26,27,28,29,31,32,33,34,37,39,40,41,44,46,47,49,50,54,55,58,59,60,62,64,66,70,72,74,75,76,77,78,80,82,83,84,89,98],[0,1,3,5,6,7,9,10,11,12,13,14,21,27,28,31,32,33,34,36,38,40,49,50,51,55,58,62,64,66,67,68,69,70,71,72,73,75,77,82,83,84,85,86,89,94,98],[14,90,91,94,95,97],[0,1,3,5,7,8,9,10,11,12,22,25,26,27,29,31,32,34,36,37,38,39,40,41,43,44,45,47,48,49,50,53,55,57,58,61,63,64,68,69,70,71,72,73,76,77,78,80,81,82,84,86,89,92,95,98],[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,80,81,83,84,85,86,89,92,94,96],[0,90,91,92,93,94,95,97],[0,1,2,3,6,12,13,14,15,16,17,18,19,21,22,25,26,27,28,29,31,32,33,34,36,38,39,40,41,42,45,46,48,51,55,58,64,65,66,67,68,69,71,73,77,78,79,80,81,82,84,87,89,90,92,95,97],[6,90,91,96,97],[1,6,8,9,12,14,15,16,17,18,20,22,23,24,25,26,28,32,33,39,40,41,45,46,47,48,50,52,53,54,55,56,57,60,62,63,65,66,68,70,79,81,83,84,85,86,89,91,92,95],[1,5,8,9,10,13,14,15,16,18,19,21,22,23,26,27,28,29,31,32,36,37,39,43,44,46,47,48,49,55,56,57,62,63,64,65,66,67,68,69,71,80,82,83,84,85,87,88,89,91,93,96,97],[0,1,4,5,7,8,9,14,15,17,19,22,23,24,26,31,32,34,35,39,40,43,46,49,50,51,54,56,57,58,63,68,71,73,74,77,79,83,84,86,87,90,91,92,93,94,95,96,97,98],[55,90,91,93,96,97],[12,90,92,93,96,97],[0,1,4,7,8,9,10,11,12,14,16,20,22,23,24,26,33,34,37,38,39,40,43,45,46,48,50,52,53,57,58,59,60,61,63,65,67,68,73,74,75,76,79,83,84,86,87,88,90,91,92,93,94,98],[51,90,94,96,97],[1,2,3,7,8,10,11,12,16,22,26,27,31,34,36,37,38,41,44,45,46,48,52,53,55,56,61,65,71,72,73,76,78,83,84,85,88,89,96],[10,90,92,94,96,97],[1,3,4,6,7,8,12,13,15,18,19,23,24,27,28,29,31,32,33,34,36,38,39,40,41,42,44,47,49,50,52,54,55,58,59,60,63,64,65,67,68,70,72,74,75,76,79,80,81,82,85,91,96,97],[0,1,2,3,5,6,7,10,11,12,15,16,17,21,23,25,27,28,32,35,37,46,48,49,51,52,54,55,56,60,64,66,67,68,69,73,74,76,79,84,86,89,91,92,94,96],[2,4,5,6,7,10,11,12,13,14,21,25,27,28,29,31,34,40,43,44,46,47,52,53,55,56,63,66,67,69,73,80,81,82,83,84,88,89,92,93,94,95,97],[21,90,95,96,97],[48,90,91,95,96,97],[0,2,3,7,8,10,12,16,20,22,23,26,27,34,36,37,38,39,42,44,46,48,52,54,62,63,65,67,69,76,78,81,83,84,85,86,88,90,91,93,96,98],[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,80,81,82,84,86,87,89,92,94,95,96],[1,2,6,7,12,14,20,24,26,27,32,36,38,39,42,43,44,45,47,50,51,52,54,55,57,59,61,63,64,66,67,70,73,75,76,77,79,81,82,83,84,87,89,92,93,98],[0,3,4,5,8,11,14,15,20,21,22,23,24,25,26,28,29,32,35,36,37,38,39,40,41,44,45,46,48,49,50,52,56,57,60,62,63,66,72,74,75,80,81,85,86,88,89,90,92,93,94,96],[2,5,7,9,10,12,15,16,18,19,21,22,23,26,27,29,31,32,34,37,38,45,46,47,48,51,53,55,58,59,60,63,65,66,67,68,71,74,77,78,79,80,85,88,89,90,93],[70,90,92,94,95,96,97],[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,80,81,86,87,90,92,93,96,97,98],[0,1,2,3,4,7,8,10,12,13,14,17,19,20,23,26,27,32,33,36,37,39,46,48,52,54,56,58,63,64,68,70,72,73,74,75,76,78,79,83,84,87,89,91,94,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,81,83,85,88,89,90,91,92,93,96,97,98],[5,6,9,11,12,14,15,18,20,21,24,25,26,27,28,31,32,33,36,37,38,40,41,43,48,49,52,53,55,58,59,62,63,64,68,69,71,72,73,76,78,80,84,87,90,92,93,97,98],[0,2,4,6,7,8,9,14,15,16,19,21,22,26,28,31,34,35,36,37,38,40,41,43,44,46,48,50,53,54,56,57,60,61,62,63,64,65,67,68,70,73,75,76,77,81,84,86,87,89,90,98],[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,82,83,84,86,87,88,89,92,93,94,96,97,98],[2,4,7,8,11,16,22,26,28,31,35,39,40,41,45,47,48,50,51,55,56,57,59,61,62,67,70,73,74,75,78,82,83,84,87,90,92,93,95,96],[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,81,85,88,90,91,93,94,97],[0,1,5,9,11,14,16,17,20,22,23,24,27,30,31,32,33,38,39,41,42,45,46,47,48,50,53,55,57,58,60,63,65,66,69,70,73,74,75,77,79,80,84,85,86,89,91,93,96,97,98],[4,5,6,8,10,11,12,13,20,21,23,24,26,27,28,34,39,42,47,49,51,52,53,54,55,56,60,61,62,64,69,70,72,73,74,75,78,80,82,85,86,88,91,92,94,95,97,98],[1,17,24,32,40,47,50,51,57,62,66,68,69,70,72,82,83,84,86,91,93,95,97,98],[2,3,4,7,8,9,10,11,12,13,15,16,19,21,24,26,28,30,31,36,37,42,43,45,46,47,48,50,52,53,54,55,56,57,62,64,65,66,68,72,76,77,78,80,83,85,86,87,96,98],[0,1,5,7,9,11,12,13,14,17,18,20,21,24,25,26,27,32,33,36,37,38,40,41,43,48,49,50,52,53,56,58,59,60,62,63,67,70,72,78,79,80,81,85,86,87,88,90,91,94,95,96,97,98],[1,12,13,15,16,17,21,22,23,24,25,28,30,35,41,42,43,44,52,53,63,65,66,68,71,74,75,77,79,80,81,85,86,89,90,91,96,97],[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,80,82,84,85,86,87,90,92,93,94,96],[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,80,81,83,85,86,91,93],[0,2,4,6,8,9,14,15,16,17,19,21,22,24,26,34,35,36,37,38,39,43,44,45,46,47,48,51,53,54,55,56,60,61,63,64,65,66,67,70,73,75,76,77,79,82,83,84,85,86,87,88,94,95,97],[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,81,83,84,85,89,90,94,95,96,97,98],[5,6,7,13,14,17,20,21,23,26,30,36,37,43,45,49,52,54,56,57,59,62,63,66,67,68,69,70,72,73,75,77,79,83,87,88,97,98],[34,90,92,93,95,98],[2,3,5,6,10,11,12,13,16,17,20,21,22,27,28,34,35,42,47,48,49,52,55,59,61,62,63,66,67,69,76,87,90,91,92,94,96,97,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,81,83,85,86,88,90,91,93,94,95],[56,90,92,94,95,98],[2,3,7,12,14,15,16,17,18,19,20,21,22,23,26,27,29,31,33,34,36,37,38,39,40,45,46,47,48,54,55,58,59,61,63,65,66,67,68,71,74,77,78,80,81,82,86,90,92,95,96,97,98],[0,1,3,4,5,7,11,12,13,15,17,18,20,21,24,25,26,27,32,37,39,41,43,48,49,52,53,56,59,62,63,66,68,70,72,75,77,78,79,81,84,86,87,89,90,92,93,94,95,96,97],[0,2,3,5,7,8,9,11,12,14,15,19,20,21,23,24,26,28,29,30,34,35,36,39,40,44,45,46,47,49,51,52,55,56,57,60,63,66,68,69,74,75,78,80,81,84,85,87,88,89,90,92,94,95,96,98],[0,1,2,6,8,9,10,12,15,16,19,20,21,22,25,26,27,28,29,31,41,42,43,45,46,51,53,54,58,60,61,64,65,66,67,69,71,73,75,77,78,80,84,85,86,87,88,90,92,93,94,97],[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,80,82,83,85,86,87,88,89,91,94,97,98],[3,4,6,7,9,11,15,17,21,23,28,29,31,36,38,43,44,45,47,48,50,52,53,55,58,60,63,66,69,73,74,75,76,77,79,80,81,83,84,85,88,89,91,93,95,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,80,81,82,83,84,85,86,87,88,89,90,92,93,94,95,98],[0,2,4,6,7,9,10,13,15,18,21,23,24,29,30,33,34,38,39,40,44,45,47,48,51,53,54,55,58,59,63,64,66,68,70,71,72,73,75,77,78,83,87,89,91,92,93,95,96],[6,12,15,16,18,20,22,25,31,36,40,41,42,45,46,47,50,52,53,54,55,60,63,64,65,66,70,72,74,76,78,81,83,84,90,91,92,93,94,98],[0,2,4,5,8,11,12,16,17,18,19,20,22,25,27,33,34,35,39,40,41,44,49,50,52,54,56,58,59,60,61,65,66,67,68,71,75,76,77,78,79,80,82,83,86,87,89,92,93,95,96,97],[2,3,6,8,10,11,12,16,22,26,27,28,34,36,37,38,39,44,46,48,52,59,61,65,67,69,71,76,78,81,83,86,90,92,93,95,96],[0,1,2,7,8,10,11,14,15,16,17,19,20,23,24,25,26,27,29,32,39,41,42,43,45,46,47,51,52,53,55,57,58,60,61,62,63,65,66,67,68,69,71,73,74,78,79,80,83,85,88,90,91,96,97],[0,1,2,3,5,7,9,12,13,14,15,17,18,19,20,23,26,27,28,29,30,34,39,40,44,45,49,50,51,52,59,61,64,66,67,70,71,73,74,75,76,77,79,83,85,87,88,89,93,96,97],[4,17,39,50,51,68,79,84,86,97],[0,2,3,5,6,7,8,11,12,13,14,15,16,17,18,22,23,27,28,29,31,32,33,34,35,37,39,40,42,44,45,46,48,49,50,51,58,59,61,68,69,72,74,77,79,81,83,84,85,87,88,90,91,92,98],[3,4,6,7,9,10,13,14,15,19,27,30,35,36,39,42,43,44,45,49,50,52,53,54,56,57,61,62,66,68,69,72,73,80,81,84,85,86,87,88,89,90,92,93,95,96,98],[1,4,6,7,9,11,19,20,21,28,29,32,34,36,37,38,42,43,44,47,48,51,52,55,60,61,62,64,66,67,68,71,75,76,77,81,82,83,87,92,98],[16,90,92,93,94,96,98],[3,4,5,7,8,10,11,12,14,17,19,20,21,23,24,26,28,30,34,35,38,40,43,44,45,47,51,53,54,55,57,60,64,66,68,70,74,78,79,80,81,82,86,87,90,91,92,93,94,96,97],[52,90,95,96,98],[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,81,83,85,87,91,92,95],[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,80,89,91,92,94],[2,3,7,10,11,12,16,22,26,28,30,34,36,37,39,40,42,43,45,46,48,54,55,56,57,59,62,65,71,72,73,75,76,77,78,83,84,88,89,92,93,94,95,96,97],[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,85,88,90,94,95,96,97],[59,90,92,93,95,96,98],[0,3,4,5,8,11,14,15,17,20,21,23,24,25,26,28,29,32,35,36,37,38,40,41,44,45,46,48,49,50,52,56,57,60,62,63,64,66,68,72,74,75,79,80,81,86,87,89,90,92,93,94,96],[2,3,4,5,6,7,8,9,11,12,14,15,16,18,20,22,24,25,27,28,33,39,43,45,46,47,53,56,57,58,59,61,62,63,64,65,68,75,76,81,83,86,87,88,89,92,93,94,96,98],[4,7,8,11,12,14,15,17,19,21,23,24,26,28,30,32,33,34,35,36,38,39,40,43,44,45,47,53,55,57,58,60,64,66,68,70,74,75,77,78,79,86,87,90,91,92,94,95,96,97],[0,3,4,5,7,8,9,13,20,24,25,26,29,34,35,37,39,40,42,43,48,49,52,53,56,57,63,64,65,66,70,75,76,77,78,80,82,83,86,92,93,96,97],[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,80,81,85,87,88,91,93,94,95],[2,3,5,6,12,13,14,15,16,18,20,21,22,23,26,29,30,31,33,34,35,37,38,42,43,44,46,47,48,49,52,55,56,57,58,59,61,62,63,65,66,68,69,71,72,73,74,75,78,80,82,85,86,87,88,90,91,92,93,94,95],[0,2,4,6,8,9,13,14,17,21,22,26,28,33,37,38,39,41,42,44,45,46,47,48,49,52,56,57,61,62,64,65,66,67,69,75,76,78,79,81,83,84,86,88,89,90,91,93,96,98],[2,3,7,12,14,15,16,17,18,19,21,22,23,24,25,26,27,29,31,33,34,36,37,38,39,45,46,47,48,54,55,57,58,59,61,63,65,67,68,71,74,77,78,80,81,83,89,90,92,96],[3,4,5,7,12,14,15,18,24,26,27,29,33,34,40,42,44,45,46,49,51,53,54,55,56,58,59,60,62,63,64,66,67,68,70,72,73,75,76,77,78,83,84,85,87,88,89,90,93,94,97,98],[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,81,82,86,87,89,94,96],[49,90,92,97,98],[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,81,84,87,89,90,91,93,94,96,97],[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,80,82,84,86,89,91,93,94],[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,80,81,83,84,85,87,88,90,94,96,98],[0,2,3,4,5,6,10,11,14,15,18,23,24,25,27,32,34,36,37,40,41,44,45,47,48,55,57,58,62,64,72,73,75,77,78,81,84,86,89,94,95,97,98],[4,5,6,8,10,11,12,13,17,20,21,23,24,26,27,28,34,42,47,49,51,52,53,55,56,60,61,62,63,64,68,69,70,72,73,74,75,78,79,80,82,84,85,88,89,91,92,94,95,97,98],[0,1,2,3,4,7,8,10,12,13,16,17,19,20,23,26,27,36,37,38,42,44,46,47,48,50,52,54,62,63,64,65,67,69,71,73,74,76,78,81,83,86,87,89,91,93,94,97],[0,1,11,12,13,15,16,20,22,24,25,31,32,35,39,40,41,42,45,47,50,51,52,53,54,55,56,57,63,65,66,67,70,71,73,82,83,84,86,89,95],[57,90,91,92,94,97,98],[17,39,47,62,68,71,79,84,89,90,93,94],[0,1,5,7,9,11,12,13,14,15,18,20,21,24,25,26,27,32,33,36,37,38,39,40,41,43,48,49,50,52,56,58,59,60,62,63,67,68,70,72,78,80,81,85,86,87,88,89,90,91,94,95,96,98],[27,90,92,93,94,97,98],[2,6,8,9,11,12,13,14,15,17,18,21,23,25,26,27,28,33,36,37,38,39,40,42,44,48,49,50,52,53,54,56,57,58,60,61,67,69,70,71,72,73,74,75,79,86,88,89,91,92,96],[4,5,6,7,8,9,10,15,17,18,20,23,25,26,27,31,33,34,37,39,41,44,45,47,48,49,50,52,55,57,58,60,62,63,66,69,70,71,73,74,76,77,79,80,84,86,90,91,92,94],[4,6,7,9,10,11,12,13,15,17,19,20,21,22,23,24,25,27,28,29,31,35,37,42,43,45,47,48,50,51,53,55,59,60,62,63,64,65,67,69,70,72,73,74,76,77,79,80,85,86,88,90,91,94,98],[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,80,85,86,88,91,95,96],[0,1,3,4,5,6,8,10,13,15,16,19,20,22,24,25,26,27,28,31,32,34,35,37,40,42,43,44,45,46,47,53,54,55,56,57,59,61,62,63,66,69,72,73,76,83,84,85,86,89,90,92,93,95],[0,2,4,6,8,9,11,14,15,16,17,19,21,22,24,26,28,31,34,35,36,37,38,39,43,44,46,47,48,51,53,54,55,56,60,61,63,64,65,66,67,70,74,75,76,77,79,81,82,83,84,85,86,87,88,89,94,95,96,97,98],[0,2,3,6,8,10,12,16,17,22,23,24,26,27,28,31,32,34,36,38,40,41,42,44,45,46,47,48,51,52,53,54,55,57,60,64,65,66,68,69,78,82,84,86,89,91,95,96,98],[2,90,94,95,97,98],[5,6,9,10,12,14,18,19,20,23,24,25,26,28,29,31,32,35,36,37,41,42,46,47,48,49,52,53,55,56,57,59,61,64,67,68,69,71,74,75,78,81,82,83,84,88,90,93,94,95,96,97,98],[0,1,3,4,6,7,9,13,17,20,21,22,23,24,25,28,29,31,32,36,37,38,39,40,41,42,43,44,45,48,52,54,56,57,58,60,62,69,70,71,74,75,76,77,79,80,81,82,85,86,88,91,92,94,95,97],[2,3,7,12,14,15,16,18,19,21,22,23,26,27,29,31,33,34,36,37,38,40,45,46,47,48,54,55,58,59,63,65,66,67,71,74,77,78,79,80,81,82,85,88,89,91,94,96,97,98],[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,80,84,86,88,89,91,92,93,98],[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,80,82,83,86,87,91,94,98],[1,3,4,5,6,8,13,14,15,17,20,21,26,29,35,36,38,39,42,44,45,46,47,48,49,52,54,55,56,59,60,61,62,64,68,70,72,73,74,75,79,80,81,82,83,85,88,89,90,93,94,97,98],[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,80,81,82,83,84,85,88,89,91,92,93,94,95,96,97,98],[0,1,2,4,11,12,17,19,20,21,23,25,28,32,33,34,36,37,38,39,40,41,43,44,45,50,51,52,57,61,62,64,67,73,74,75,76,77,79,81,84,85,86,88,89,90,91,94,97],[1,5,6,8,9,10,12,13,14,17,19,20,21,23,25,26,27,28,29,32,37,40,41,42,43,44,45,48,49,50,52,53,54,56,57,60,62,67,69,70,71,72,74,76,79,80,81,82,86,88,89,90,92,94,96,97,98],[1,2,7,9,11,12,14,15,16,17,18,20,23,24,25,26,27,31,32,33,39,41,43,44,46,51,52,57,59,60,61,63,65,66,67,68,73,74,75,78,79,80,82,87,89,90,91,94,98],[7,90,91,93,96,97,98],[0,2,4,6,8,9,12,14,15,16,17,18,19,21,22,24,26,28,31,34,36,37,38,39,43,44,46,47,48,51,53,54,55,56,60,61,63,64,65,66,67,70,73,75,76,77,79,84,85,86,87,90,92,94,97,98],[0,2,3,5,8,9,10,13,14,15,16,17,18,20,21,22,25,31,33,34,43,44,45,46,47,49,51,55,57,58,59,60,61,63,65,66,67,69,71,72,73,76,79,80,82,86,87,89,91],[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,83,85,86,88,91,94,97,98],[0,3,4,5,6,8,9,11,14,17,19,20,21,23,24,25,26,28,29,31,34,37,42,43,44,47,48,53,54,55,56,57,62,64,65,68,74,75,76,78,79,80,81,82,86,87,88,89,90,92,93,94,95,97],[0,1,2,3,4,7,8,13,15,16,17,20,24,25,26,32,34,35,37,39,42,46,48,50,51,53,61,63,66,67,68,70,72,75,76,78,79,80,81,82,84,85,86,88,89,93,95,98],[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,80,82,83,86,88,90,93,95,96],[2,3,7,10,12,16,17,21,22,26,31,32,34,36,37,40,42,43,45,46,47,48,50,51,54,55,56,57,59,65,68,69,70,71,73,74,75,76,77,78,79,80,82,85,86,88,90,92,93,96,97,98],[0,2,4,8,9,10,11,12,15,18,20,23,25,26,27,29,31,33,34,37,41,44,45,47,52,58,62,63,68,69,70,76,77,80,83,85,87,88,90,93,94,95],[0,2,3,7,8,10,11,12,16,17,20,22,23,26,27,34,36,37,38,42,44,46,48,52,54,62,63,65,67,68,69,74,76,78,79,81,83,87,90,91,93,96,98],[0,1,2,4,6,7,8,9,14,15,16,19,21,22,24,25,26,28,31,32,34,35,36,38,39,41,43,44,48,51,54,56,59,61,62,65,66,68,69,70,71,72,73,75,76,77,79,81,82,83,84,87,90,93,95],[2,3,7,8,10,11,12,16,17,22,26,28,34,36,37,40,42,43,45,46,48,54,55,56,57,59,62,65,68,71,72,73,75,76,77,78,79,83,87,89,92,93,94,95,96,97],[29,90,91,93,95,96,97,98],[28,90,92,93,95,96,97,98],[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,80,82,83,86,88,91,92,96,97,98],[0,1,2,5,6,9,11,12,13,14,16,17,18,22,26,28,32,33,34,35,37,39,40,42,43,45,48,50,51,53,57,59,61,62,64,65,66,67,69,70,72,75,77,78,79,81,83,84,86,87,88,90,91,93,95,97],[60,90,91,92,94,95,96,97,98],[0,1,2,3,6,7,9,10,11,12,13,14,17,21,27,28,31,32,33,34,36,38,39,40,47,49,55,58,64,66,67,69,70,71,72,73,75,77,79,81,85,86,90,93,95,96],[0,1,2,3,4,5,6,7,8,9,13,14,18,25,27,28,29,31,32,33,35,40,41,42,49,50,51,53,54,55,58,59,61,62,63,66,67,68,71,73,76,81,82,84,87,88,91,94,95,96],[3,4,5,6,8,10,11,12,13,17,20,21,23,24,26,27,28,32,34,42,47,49,50,52,53,54,55,56,60,61,62,63,64,68,69,70,73,74,75,78,79,81,84,85,88,89,90,91,92,95,96,98],[0,1,2,3,4,5,6,7,8,12,14,16,17,18,19,24,25,27,28,29,32,33,35,37,39,41,42,44,46,47,48,49,51,54,55,56,57,59,60,61,62,63,64,66,67,68,77,80,91,93,97,98],[1,2,5,7,8,9,11,13,14,21,22,23,24,25,26,28,29,30,32,33,34,37,39,44,45,47,48,51,52,55,56,57,59,61,62,63,65,66,68,70,72,73,74,75,76,78,79,81,83,85,86,87,89,90,91,93,94,95,96,97],[2,4,5,6,7,8,9,11,12,14,15,16,18,20,21,22,24,25,27,28,31,33,35,36,37,38,39,43,45,46,49,52,53,56,57,58,61,62,63,64,67,68,71,75,76,81,83,85,87,88,89,93,94,95],[0,1,3,5,8,11,13,14,15,17,20,21,25,26,28,29,32,34,35,36,37,38,39,41,42,44,45,48,49,50,52,58,60,63,64,67,68,72,75,76,79,80,82,83,87,90,91,92,93,95,97,98],[0,1,5,9,14,16,18,20,22,23,24,27,28,30,32,33,35,38,41,42,45,46,47,48,50,53,55,57,58,60,63,65,66,68,69,70,73,75,77,80,81,83,86,87,88,89,90,91,92,93,95],[0,2,4,8,9,12,14,18,19,20,21,25,26,28,32,34,35,37,38,41,42,44,45,48,50,51,52,56,57,61,66,67,68,69,70,73,74,75,77,81,82,84,86,90,91,92,93,95,98],[63,90,94],[1,90,91,94],[0,1,11,12,13,15,16,17,20,22,24,25,31,32,35,36,38,40,41,42,45,47,50,51,52,53,54,55,56,57,63,65,66,67,68,70,71,73,79,82,83,85,90,92,94,95],[2,3,4,7,8,9,10,11,12,13,15,16,17,19,21,26,28,30,31,36,37,39,42,43,45,46,47,48,50,52,53,54,55,56,62,64,65,66,72,76,77,78,79,80,83,87,89,96,97],[0,4,5,6,8,10,12,13,17,24,26,27,30,31,34,36,40,42,43,44,45,49,51,52,53,57,60,61,62,63,64,67,68,70,77,78,79,80,81,82,84,85,88,92,93,95,96,98],[0,1,5,7,9,11,12,13,14,15,18,20,21,24,25,26,27,32,33,36,37,38,41,43,48,49,50,52,53,56,58,59,60,62,63,66,67,68,70,72,75,78,79,81,86,87,88,90,91,92,94,95,96,97,98],[0,5,7,8,9,10,11,15,16,17,18,20,26,27,28,29,30,31,33,37,38,39,40,42,44,45,46,48,49,52,54,56,58,59,60,61,66,67,69,70,71,77,79,80,82,83,84,85,87,88,95,96,97,98],[2,4,5,7,9,11,12,14,15,16,17,18,20,22,23,25,28,33,35,41,45,46,47,50,57,58,60,61,62,63,65,66,68,70,73,74,78,80,81,83,85,88,92,93,96,97],[45,90,92,95],[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,80,87,89,90,92,96],[4,8,11,12,13,16,18,19,20,22,24,25,27,33,34,35,41,43,44,46,47,49,50,51,54,56,58,59,61,62,64,65,66,67,75,76,77,80,82,83,84,86,87,92,94,97,98],[5,7,10,11,12,13,16,17,18,19,22,25,26,27,28,29,30,33,35,37,38,40,41,46,47,49,50,53,55,58,59,60,61,62,63,64,65,66,68,70,72,77,79,80,82,83,84,85,87,88,89,90,91,94,95,96,98],[0,2,4,6,8,9,11,14,15,16,19,21,22,24,26,28,31,35,36,37,38,43,44,46,47,48,51,53,54,55,56,60,61,63,64,65,66,67,68,70,73,74,75,76,77,81,82,83,86,90,92,93,94,96],[0,1,4,6,7,8,11,12,13,14,15,17,18,19,21,27,28,29,33,34,35,36,37,38,45,47,50,51,53,55,57,58,61,63,65,66,67,70,72,74,75,77,79,80,83,85,86,88,89,91,93,94,97,98],[1,4,6,11,12,13,16,18,19,20,21,23,24,25,26,30,31,32,33,34,36,39,41,42,45,46,47,50,51,52,53,54,56,59,60,62,63,65,68,69,71,72,73,74,75,76,78,81,82,86,90,91,93,95,97],[5,6,9,10,12,17,18,19,20,23,24,25,26,28,29,31,32,35,36,37,39,41,42,46,47,48,49,52,53,55,56,57,59,61,64,67,69,71,74,75,77,78,79,81,82,83,84,86,89,90,93,94,95,96,98],[4,5,6,8,10,11,12,13,20,21,23,24,26,27,28,34,39,42,47,49,50,52,53,54,55,60,61,62,63,64,72,73,74,75,78,86,91,94,97],[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,80,81,84,87,89,91,93,96,97,98],[1,2,3,5,6,8,9,10,12,13,17,20,26,27,30,31,32,33,34,36,38,40,42,43,44,45,47,49,52,56,57,58,61,64,69,71,78,81,83,84,86,91,92,96],[0,1,2,6,8,9,10,12,15,16,17,19,20,21,22,25,26,27,28,29,31,32,39,41,42,43,45,46,51,53,54,58,60,61,64,65,66,67,68,69,71,72,73,75,77,78,79,80,86,87,89,95,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,80,81,84,86,89,90,91,92,94,96,97,98],[23,90,91,96],[7,8,10,11,13,14,16,17,19,22,23,26,29,30,33,36,37,40,43,45,46,56,58,59,60,61,65,67,68,71,72,74,76,78,79,84,85,86,88,89,91,92,93,94,97],[78,90,91,92,96],[76,90,93,96],[2,3,6,7,8,10,11,12,16,17,22,26,27,28,34,36,37,38,44,46,48,52,55,59,61,65,67,68,69,71,76,78,79,81,83,86,87,91,92,95,98],[1,4,6,7,9,10,11,17,18,20,21,22,23,25,27,28,29,31,32,34,36,37,38,39,41,42,44,45,48,52,54,56,57,58,62,64,69,70,71,74,75,76,77,78,79,80,83,85,86,88,91,92,94,96,97,98],[2,3,4,5,8,10,11,13,15,16,18,19,22,24,26,27,28,29,30,33,37,38,39,43,44,46,48,49,51,53,57,58,60,63,64,65,66,70,71,77,79,84,86,87,89,93,94,97,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,80,81,82,91,92,94,98],[0,1,3,5,7,8,9,13,14,16,19,21,22,23,25,26,28,30,31,32,34,39,40,41,42,43,44,50,51,52,53,54,56,60,64,65,67,68,71,73,74,75,78,80,81,83,85,86,87,89,90,91,92,93,94,95,96],[0,1,5,7,9,11,12,13,14,15,18,20,21,25,26,27,32,33,36,37,38,40,41,43,44,48,49,50,52,53,56,57,58,59,60,62,63,67,68,70,72,78,79,87,88,89,93,95],[1,5,7,8,9,10,12,13,17,19,23,24,26,27,29,32,36,37,38,43,44,47,48,49,50,51,53,54,56,62,63,66,67,69,70,71,72,73,74,76,77,78,79,80,83,84,85,87,88,90,91,95],[39,90,91,93,94,96],[0,1,11,12,13,15,17,20,22,24,25,31,35,36,40,41,42,45,47,50,51,52,53,54,55,56,57,63,65,66,67,68,69,71,72,73,79,81,85,86,89,90,92,94,96,97,98],[3,4,5,7,8,10,11,12,14,19,20,21,23,24,26,28,30,34,35,38,39,43,44,45,47,51,53,54,55,57,60,64,70,74,78,80,81,82,85,86,87,97],[2,3,7,10,12,16,22,26,31,32,34,36,37,39,40,42,43,45,46,47,48,50,51,52,54,55,56,57,59,65,69,70,71,73,74,75,76,77,78,80,82,84,85,87,92,93,95],[1,3,5,9,11,12,14,16,17,19,21,22,23,24,26,28,29,30,31,32,34,36,37,40,42,44,46,47,49,53,54,55,57,60,62,65,66,67,69,71,79,80,81,86,87,90,91,92,93,94,97],[11,90,92,95,96],[2,4,10,13,15,16,17,18,21,22,23,24,26,33,34,35,37,40,42,44,47,53,54,55,56,58,59,62,63,64,65,66,67,70,71,72,73,74,76,77,79,83,85,87,88,92,93,95],[30,90,93,95,96],[0,2,3,4,5,6,7,9,11,13,15,16,24,28,29,37,39,40,44,46,47,48,49,51,52,54,55,56,60,61,63,65,66,67,70,72,73,76,79,81,82,83,84,85,89,90,92,93,94,95,96],[17,28,31,39,59,68,79,84,85,87,88,90,92,93,95,96,97],[64,90,91,92,93,95,96],[0,1,5,6,11,12,15,16,18,22,23,25,26,27,28,31,32,36,38,40,42,43,45,46,51,52,54,57,59,60,62,64,65,66,67,71,74,75,76,77,78,80,81,82,84,86,87,88,89,90,91,93,95,96,97],[0,1,4,6,8,10,12,13,17,24,26,27,29,30,31,32,34,36,39,42,44,45,46,50,53,61,62,63,66,68,69,71,72,77,78,80,81,83,84,85,86,88,89,91,92,95],[0,3,4,5,7,8,9,13,17,20,24,25,26,29,34,35,37,40,42,43,48,49,52,53,56,57,63,64,65,66,68,69,75,76,77,78,79,80,82,83,84,85,88,92,93,96],[58,90,91,92,94,95,96],[0,1,7,9,10,11,15,16,18,20,22,23,26,27,28,29,30,32,35,36,37,40,42,43,44,46,48,52,56,57,59,61,62,63,64,65,67,70,74,77,78,80,81,82,84,87,90,91,92,93,95],[0,2,4,5,8,10,12,13,14,17,18,19,20,21,22,23,25,29,31,33,35,36,38,39,40,44,45,47,50,51,53,55,57,59,65,68,69,70,71,72,74,76,79,82,84,86,88,94,96,97,98],[4,5,6,8,10,11,12,13,20,21,23,24,26,27,28,32,34,39,42,47,49,50,52,53,54,55,56,60,61,62,63,64,67,69,70,73,74,75,78,81,89,91,93,94,98],[25,90,91,92,93,94,95,96],[3,4,6,7,9,11,17,20,21,25,28,29,31,32,34,36,37,38,39,41,42,43,44,45,48,51,52,54,56,60,66,67,68,69,70,71,75,77,79,80,83,84,85,86,87,88,92,94,97],[0,1,2,4,5,6,9,11,14,16,19,24,28,32,34,37,43,45,46,47,48,49,51,53,55,58,59,61,62,67,68,70,71,75,76,77,78,82,84,86,87,89,90,94,96,97,98],[17,18,35,39,49,68,79,84,85,86,87,89,90,92,98],[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,82,86,88,92,93,94,95,96,98],[5,6,9,12,14,15,17,18,20,21,24,25,26,27,33,36,38,39,40,41,43,46,47,48,49,50,51,52,53,55,58,59,63,64,70,71,73,74,76,78,79,81,82,85,87,88,90,92,94,96,97],[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,80,84,85,87,89,92,94,95],[3,5,6,8,9,10,11,12,15,17,19,20,21,23,24,26,27,28,35,36,38,39,40,42,43,47,50,51,52,55,56,58,61,62,64,66,67,69,70,72,74,78,79,82,85,87,90,91,92,93,94],[54,90,94,97],[0,1,2,3,4,7,8,10,12,13,16,17,19,20,23,24,26,27,32,36,37,38,39,40,42,44,46,48,51,52,54,57,63,64,65,66,67,70,71,72,73,74,76,78,79,81,82,84,86,87,90,91,95,97,98],[36,90,92,94,97],[24,90,91,92,94,97],[71,90,93,94,97],[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,82,85,86,88,91,94,95,97],[0,1,5,7,11,12,13,14,15,17,18,20,21,24,25,26,27,32,33,36,37,38,39,41,43,48,49,50,52,53,56,58,59,60,62,63,66,67,70,72,78,81,85,86,87,88,89,90,91,92,94,95,96,98],[0,2,3,4,7,10,13,17,18,19,23,24,25,26,27,28,31,32,33,35,36,37,45,48,49,52,54,56,58,59,63,64,66,68,70,72,73,74,75,78,79,83,84,86,87,88,90,91,93,94,95,96,98],[0,1,5,6,10,12,16,18,19,21,22,23,24,25,26,28,29,32,33,35,39,40,41,42,44,46,49,50,51,53,55,56,57,58,59,63,65,69,70,71,73,74,76,77,79,80,84,86,87,89,90,94,96],[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,80,82,83,85,86,88,89,91,92,98],[19,90,91,92,95,97],[0,2,3,4,5,6,7,10,11,13,18,19,23,24,25,27,28,31,33,35,36,37,41,43,44,45,47,48,49,50,51,53,54,57,58,62,63,64,66,75,78,82,85,86,87,88,89,91,92,94,98],[0,1,3,4,5,8,11,12,13,14,15,17,18,21,23,24,26,29,31,32,33,34,36,37,38,39,41,42,44,50,52,58,59,60,62,63,64,65,66,67,68,72,75,76,79,80,82,83,86,87,88,89,91,92,93,94,96],[1,4,5,6,7,12,14,15,18,19,20,23,24,26,27,28,29,31,32,33,34,37,39,40,41,44,46,47,49,50,54,55,58,59,60,62,64,66,70,72,74,75,76,77,78,80,82,83,84,89,90,91,92,93,95,97,98],[0,1,3,5,6,7,9,10,11,12,13,14,21,27,28,31,32,33,34,36,38,40,49,50,51,55,58,62,64,66,67,68,69,70,71,72,73,75,77,82,83,84,85,86,89,90,95,97,98],[0,1,3,5,7,8,9,10,11,12,22,25,26,27,29,31,32,34,36,37,38,39,40,41,43,44,45,47,48,49,50,53,55,57,58,61,63,64,68,69,70,71,72,73,76,77,78,80,81,82,84,86,89,90,94,97,98],[61,90,91,92,94,95,97],[33,90,93,94,95,97],[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,80,81,83,84,85,86,89,90,91,92,93,95,96,97],[32,90,92,93,94,95,97],[0,1,2,3,6,12,13,14,15,16,17,18,19,21,22,25,26,27,28,29,31,32,33,34,36,38,39,40,41,42,45,46,48,51,55,58,64,65,66,67,68,69,71,73,77,78,79,80,81,82,84,87,89,92,95,96],[1,6,8,9,12,14,15,16,17,18,20,22,23,24,25,26,28,32,33,39,40,41,45,46,47,48,50,52,53,54,55,56,57,60,62,63,65,66,68,70,79,81,83,84,85,86,89,90,91,95,96,97],[1,5,8,9,10,13,14,15,16,18,19,21,22,23,26,27,28,29,31,32,36,37,39,43,44,46,47,48,49,55,56,57,62,63,64,65,66,67,68,69,71,80,82,83,84,85,87,88,89,90,92,93],[0,1,4,5,7,8,9,14,15,17,19,22,23,24,26,31,32,34,35,39,40,43,46,49,50,51,54,56,57,58,63,68,71,73,74,77,79,83,84,86,87,91,92,94,95,98],[0,1,4,7,8,9,10,11,12,14,16,20,22,23,24,26,33,34,37,38,39,40,43,45,46,48,50,52,53,57,58,59,60,61,63,65,67,68,73,74,75,76,79,83,84,86,87,88,94,96,97,98],[1,2,3,7,8,10,11,12,16,22,26,27,31,34,36,37,38,41,44,45,46,48,52,53,55,56,61,65,71,72,73,76,78,83,84,85,88,89,90,91,94,97],[1,3,4,6,7,8,12,13,15,18,19,23,24,27,28,29,31,32,33,34,36,38,39,40,41,42,44,47,49,50,52,54,55,58,59,60,63,64,65,67,68,70,72,74,75,76,79,80,81,82,85,90,92,94],[0,1,2,3,5,6,7,10,11,12,15,16,17,21,23,25,27,28,32,35,37,46,48,49,51,52,54,55,56,60,64,66,67,68,69,73,74,76,79,84,86,89,90,91,92,93,97],[68,90,91,93,94,96,97],[2,4,5,6,7,10,11,12,13,14,21,25,27,28,29,31,34,40,43,44,46,47,52,53,55,56,63,66,67,69,73,80,81,82,83,84,88,89,90,95,96],[66,90,91,92,93,94,96,97],[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,80,81,82,84,86,87,89,90,91,94,97],[8,90,93,95,96,97],[1,2,6,7,12,14,20,24,26,27,32,36,38,39,42,43,44,45,47,50,51,52,54,55,57,59,61,63,64,66,67,70,73,75,76,77,79,81,82,83,84,87,89,90,91,92,95,96,97,98],[31,90,92,93,95,96,97],[0,3,4,5,8,11,14,15,20,21,22,23,24,25,26,28,29,32,35,36,37,38,39,40,41,44,45,46,48,49,50,52,56,57,60,62,63,66,72,74,75,80,81,85,86,88,89,91,94,95,97],[65,90,94,95,96,97],[2,5,7,9,10,12,15,16,18,19,21,22,23,26,27,29,31,32,34,37,38,45,46,47,48,51,53,55,58,59,60,63,65,66,67,68,71,74,77,78,79,80,85,88,89,91,93,94,95,96,97],[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,80,81,86,87,91,93,94,95,98],[5,90,93,94,95,96,97],[0,1,2,3,4,7,8,10,12,13,14,17,19,20,23,26,27,32,33,36,37,39,46,48,52,54,56,58,63,64,68,70,72,73,74,75,76,78,79,83,84,87,89,90,93,95,96],[3,90,92,93,94,95,96,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,81,83,85,88,89,94,95,98],[5,6,9,11,12,14,15,18,20,21,24,25,26,27,28,31,32,33,36,37,38,40,41,43,48,49,52,53,55,58,59,62,63,64,68,69,71,72,73,76,78,80,84,87,92,93,97],[0,2,4,6,7,8,9,14,15,16,19,21,22,26,28,31,34,35,36,37,38,40,41,43,44,46,48,50,53,54,56,57,60,61,62,63,64,65,67,68,70,73,75,76,77,81,84,86,87,89,91],[18,90,92,98],[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,82,83,84,86,87,88,89,90,91,93,94,96,97],[2,4,7,8,11,16,22,26,28,31,35,39,40,41,45,47,48,50,51,55,56,57,59,61,62,67,70,73,74,75,78,82,83,84,87,92,95,96,98],[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,81,85,88,94,97,98],[0,1,5,9,11,14,16,17,20,22,23,24,27,30,31,32,33,38,39,41,42,45,46,47,48,50,53,55,57,58,60,63,65,66,69,70,73,74,75,77,79,80,84,85,86,89,90,91,92,96,97],[43,90,91,92,93,98],[4,5,6,8,10,11,12,13,20,21,23,24,26,27,28,34,39,42,47,49,51,52,53,54,55,56,60,61,62,64,69,70,72,73,74,75,78,80,82,85,86,88,90,91,92,95,97],[1,17,24,32,40,47,50,51,57,62,66,68,69,70,72,82,83,84,86,90,93,94,95,97],[38,90,92,94,98],[2,3,4,7,8,9,10,11,12,13,15,16,19,21,24,26,28,30,31,36,37,42,43,45,46,47,48,50,52,53,54,55,56,57,62,64,65,66,68,72,76,77,78,80,83,85,86,87,90,91,92,94,96],[47,90,93,94,98],[0,1,5,7,9,11,12,13,14,17,18,20,21,24,25,26,27,32,33,36,37,38,40,41,43,48,49,50,52,53,56,58,59,60,62,63,67,70,72,78,79,80,81,85,86,87,88,93,95,96,97],[1,12,13,15,16,17,21,22,23,24,25,28,30,35,41,42,43,44,52,53,63,65,66,68,71,74,75,77,79,80,81,85,86,89,91,92,93,94,96,97,98],[75,90,91,92,93,94,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,80,82,84,85,86,87,92,93,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,80,81,83,85,86,90,93,95,98],[0,2,4,6,8,9,14,15,16,17,19,21,22,24,26,34,35,36,37,38,39,43,44,45,46,47,48,51,53,54,55,56,60,61,63,64,65,66,67,70,73,75,76,77,79,82,83,84,85,86,87,88,90,92,94,97,98],[13,90,91,92,95,98],[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,81,83,84,85,89,93,94,96,97],[5,6,7,13,14,17,20,21,23,26,30,36,37,43,45,49,52,54,56,57,59,62,63,66,67,68,69,70,72,73,75,77,79,83,87,88,90,91,93,95,97],[2,3,5,6,10,11,12,13,16,17,20,21,22,27,28,34,35,42,47,48,49,52,55,59,61,62,63,66,67,69,76,87,93,94,95,96,97],[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,81,83,85,86,88,91,93,98],[77,90,91,94,95,98],[2,3,7,12,14,15,16,17,18,19,20,21,22,23,26,27,29,31,33,34,36,37,38,39,40,45,46,47,48,54,55,58,59,61,63,65,66,67,68,71,74,77,78,80,81,82,86,91,94,96,97],[0,1,3,4,5,7,11,12,13,15,17,18,20,21,24,25,26,27,32,37,39,41,43,48,49,52,53,56,59,62,63,66,68,70,72,75,77,78,79,81,84,86,87,89,92,96,97,98],[0,2,3,5,7,8,9,11,12,14,15,19,20,21,23,24,26,28,29,30,34,35,36,39,40,44,45,46,47,49,51,52,55,56,57,60,63,66,68,69,74,75,78,80,81,84,85,87,88,89,91,92,93,96],[0,1,2,6,8,9,10,12,15,16,19,20,21,22,25,26,27,28,29,31,41,42,43,45,46,51,53,54,58,60,61,64,65,66,67,69,71,73,75,77,78,80,84,85,86,87,88,95,97,98],[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,80,82,83,85,86,87,88,89,90,92,93,95,97],[3,4,6,7,9,11,15,17,21,23,28,29,31,36,38,43,44,45,47,48,50,52,53,55,58,60,63,66,69,73,74,75,76,77,79,80,81,83,84,85,88,89,90,91,93,95,96,97,98],[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,80,81,82,83,84,85,86,87,88,89,91,92,93,94,95,96],[0,2,4,6,7,9,10,13,15,18,21,23,24,29,30,33,34,38,39,40,44,45,47,48,51,53,54,55,58,59,63,64,66,68,70,71,72,73,75,77,78,83,87,89,90,91,93,95,98],[6,12,15,16,18,20,22,25,31,36,40,41,42,45,46,47,50,52,53,54,55,60,63,64,65,66,70,72,74,76,78,81,83,84,93,94,96],[0,2,4,5,8,11,12,16,17,18,19,20,22,25,27,33,34,35,39,40,41,44,49,50,52,54,56,58,59,60,61,65,66,67,68,71,75,76,77,78,79,80,82,83,86,87,89,90,92,95,97,98],[2,3,6,8,10,11,12,16,22,26,27,28,34,36,37,38,39,44,46,48,52,59,61,65,67,69,71,76,78,81,83,86,91,92,95,98],[0,1,2,7,8,10,11,14,15,16,17,19,20,23,24,25,26,27,29,32,39,41,42,43,45,46,47,51,52,53,55,57,58,60,61,62,63,65,66,67,68,69,71,73,74,78,79,80,83,85,88,91,92,93,97,98],[0,1,2,3,5,7,9,12,13,14,15,17,18,19,20,23,26,27,28,29,30,34,39,40,44,45,49,50,51,52,59,61,64,66,67,70,71,73,74,75,76,77,79,83,85,87,88,89,90,91,92,97,98],[4,17,39,50,51,68,79,84,86,90,94,96,97,98],[0,2,3,5,6,7,8,11,12,13,14,15,16,17,18,22,23,27,28,29,31,32,33,34,35,37,39,40,42,44,45,46,48,49,50,51,58,59,61,68,69,72,74,77,79,81,83,84,85,87,88,92,94,96],[3,4,6,7,9,10,13,14,15,19,27,30,35,36,39,42,43,44,45,49,50,52,53,54,56,57,61,62,66,68,69,72,73,80,81,84,85,86,87,88,89,93,94,95],[44,90,91,92,94,96,98],[1,4,6,7,9,11,19,20,21,28,29,32,34,36,37,38,42,43,44,47,48,51,52,55,60,61,62,64,66,67,68,71,75,76,77,81,82,83,87,90,92,93,94,96],[79,90,91,93,94,96,98],[3,4,5,7,8,10,11,12,14,17,19,20,21,23,24,26,28,30,34,35,38,40,43,44,45,47,51,53,54,55,57,60,64,66,68,70,74,78,79,80,81,82,86,87,97,98],[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,81,83,85,87,90,92,96,98],[74,90,92,95,96,98],[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,80,89,90,94,95,96,98],[2,3,7,10,11,12,16,22,26,28,30,34,36,37,39,40,42,43,45,46,48,54,55,56,57,59,62,65,71,72,73,75,76,77,78,83,84,88,89,90,92,94,97,98],[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,85,88,91,93,94,97,98],[0,3,4,5,8,11,14,15,17,20,21,23,24,25,26,28,29,32,35,36,37,38,40,41,44,45,46,48,49,50,52,56,57,60,62,63,64,66,68,72,74,75,79,80,81,86,87,89,91,94,95,98],[2,3,4,5,6,7,8,9,11,12,14,15,16,18,20,22,24,25,27,28,33,39,43,45,46,47,53,56,57,58,59,61,62,63,64,65,68,75,76,81,83,86,87,88,89,90,92,93,95],[4,7,8,11,12,14,15,17,19,21,23,24,26,28,30,32,33,34,35,36,38,39,40,43,44,45,47,53,55,57,58,60,64,66,68,70,74,75,77,78,79,86,87,92,97,98],[0,3,4,5,7,8,9,13,20,24,25,26,29,34,35,37,39,40,42,43,48,49,52,53,56,57,63,64,65,66,70,75,76,77,78,80,82,83,86,90,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,80,81,85,87,88,90,92,93,96,98],[2,3,5,6,12,13,14,15,16,18,20,21,22,23,26,29,30,31,33,34,35,37,38,42,43,44,46,47,48,49,52,55,56,57,58,59,61,62,63,65,66,68,69,71,72,73,74,75,78,80,82,85,86,87,88,91,92,96,98],[0,2,4,6,8,9,13,14,17,21,22,26,28,33,37,38,39,41,42,44,45,46,47,48,49,52,56,57,61,62,64,65,66,67,69,75,76,78,79,81,83,84,86,88,89,94,95],[67,90,92,93,94,95,96,98],[2,3,7,12,14,15,16,17,18,19,21,22,23,24,25,26,27,29,31,33,34,36,37,38,39,45,46,47,48,54,55,57,58,59,61,63,65,67,68,71,74,77,78,80,81,83,89,91,93,94,95,98],[3,4,5,7,12,14,15,18,24,26,27,29,33,34,40,42,44,45,46,49,51,53,54,55,56,58,59,60,62,63,64,66,67,68,70,72,73,75,76,77,78,83,84,85,87,88,89,93,94],[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,81,82,86,87,89,90,91,94,96,97,98],[37,90,93,97,98],[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,80,82,84,86,89,90,94,97,98],[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,80,81,83,84,85,87,88,92,93,94,96,97],[0,2,3,4,5,6,10,11,14,15,18,23,24,25,27,32,34,36,37,40,41,44,45,47,48,55,57,58,62,64,72,73,75,77,78,81,84,86,89,90,91,92,93,94,95],[4,5,6,8,10,11,12,13,17,20,21,23,24,26,27,28,34,42,47,49,51,52,53,55,56,60,61,62,63,64,68,69,70,72,73,74,75,78,79,80,82,84,85,88,89,90,91,92,95],[0,1,2,3,4,7,8,10,12,13,16,17,19,20,23,26,27,36,37,38,42,44,46,47,48,50,52,54,62,63,64,65,67,69,71,73,74,76,78,81,83,86,87,89,90,93,98],[0,1,11,12,13,15,16,20,22,24,25,31,32,35,39,40,41,42,45,47,50,51,52,53,54,55,56,57,63,65,66,67,70,71,73,82,83,84,86,89,90,92,94,95,97,98],[17,39,47,62,68,71,79,84,89,97,98],[0,1,5,7,9,11,12,13,14,15,18,20,21,24,25,26,27,32,33,36,37,38,39,40,41,43,48,49,50,52,56,58,59,60,62,63,67,68,70,72,78,80,81,85,86,87,88,89,93,95,96,97],[9,90,91,92,93,94,97,98],[2,6,8,9,11,12,13,14,15,17,18,21,23,25,26,27,28,33,36,37,38,39,40,42,44,48,49,50,52,53,54,56,57,58,60,61,67,69,70,71,72,73,74,75,79,86,88,89,90,91,92,95,96,97,98],[4,5,6,7,8,9,10,15,17,18,20,23,25,26,27,31,33,34,37,39,41,44,45,47,48,49,50,52,55,57,58,60,62,63,66,69,70,71,73,74,76,77,79,80,84,86,92,94,95,97,98],[4,6,7,9,10,11,12,13,15,17,19,20,21,22,23,24,25,27,28,29,31,35,37,42,43,45,47,48,50,51,53,55,59,60,62,63,64,65,67,69,70,72,73,74,76,77,79,80,85,86,88,91,92,94,95,97],[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,80,85,86,88,90,92,96,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,80,81,84,87,89,91,93,94,96],[0,1,3,4,5,6,8,10,13,15,16,19,20,22,24,25,26,27,28,31,32,34,35,37,40,42,43,44,45,46,47,53,54,55,56,57,59,61,62,63,66,69,72,73,76,83,84,85,86,89,91,92,97,98],[0,2,4,6,8,9,11,14,15,16,17,19,21,22,24,26,28,31,34,35,36,37,38,39,43,44,46,47,48,51,53,54,55,56,60,61,63,64,65,66,67,70,74,75,76,77,79,81,82,83,84,85,86,87,88,89,90,92,93,94,96],[0,2,3,6,8,10,12,16,17,22,23,24,26,27,28,31,32,34,36,38,40,41,42,44,45,46,47,48,51,52,53,54,55,57,60,64,65,66,68,69,78,82,84,86,89,90,92,93,96,97],[5,6,9,10,12,14,18,19,20,23,24,25,26,28,29,31,32,35,36,37,41,42,46,47,48,49,52,53,55,56,57,59,61,64,67,68,69,71,74,75,78,81,82,83,84,88,91,93,96],[0,1,3,4,6,7,9,13,17,20,21,22,23,24,25,28,29,31,32,36,37,38,39,40,41,42,43,44,45,48,52,54,56,57,58,60,62,69,70,71,74,75,76,77,79,80,81,82,85,86,88,90,91,98],[2,3,7,12,14,15,16,18,19,21,22,23,26,27,29,31,33,34,36,37,38,40,45,46,47,48,54,55,58,59,63,65,66,67,71,74,77,78,79,80,81,82,85,88,89,90,92,95,96],[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,80,84,86,88,89,90,91,92,94,95,97],[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,81,84,87,89,90,91,92,95,96,97],[72,90,92,93,94,95,97,98],[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,80,82,83,86,87,90,92,93,95,97],[1,3,4,5,6,8,13,14,15,17,20,21,26,29,35,36,38,39,42,44,45,46,47,48,49,52,54,55,56,59,60,61,62,64,68,70,72,73,74,75,79,80,81,82,83,85,88,89,93,94,96],[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,80,81,82,83,84,85,88,89,90,92,93,94,95],[0,1,2,4,11,12,17,19,20,21,23,25,28,32,33,34,36,37,38,39,40,41,43,44,45,50,51,52,57,61,62,64,67,73,74,75,76,77,79,81,84,85,86,88,89,91,92,94,96,98],[1,5,6,8,9,10,12,13,14,17,19,20,21,23,25,26,27,28,29,32,37,40,41,42,43,44,45,48,49,50,52,53,54,56,57,60,62,67,69,70,71,72,74,76,79,80,81,82,86,88,89,91,94],[1,2,7,9,11,12,14,15,16,17,18,20,23,24,25,26,27,31,32,33,39,41,43,44,46,51,52,57,59,60,61,63,65,66,67,68,73,74,75,78,79,80,82,87,89,91,93,94,96,97],[0,2,4,6,8,9,12,14,15,16,17,18,19,21,22,24,26,28,31,34,36,37,38,39,43,44,46,47,48,51,53,54,55,56,60,61,63,64,65,66,67,70,73,75,76,77,79,84,85,86,87,93,94,96],[26,90,91,92,93,96,97,98],[50,90,94,96,97,98],[0,2,3,5,8,9,10,13,14,15,16,17,18,20,21,22,25,31,33,34,43,44,45,46,47,49,51,55,57,58,59,60,61,63,65,66,67,69,71,72,73,76,79,80,82,86,87,89,90,94,96,97,98],[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,83,85,86,88,90,91,92,96],[0,3,4,5,6,8,9,11,14,17,19,20,21,23,24,25,26,28,29,31,34,37,42,43,44,47,48,53,54,55,56,57,62,64,65,68,74,75,76,78,79,80,81,82,86,87,88,89,91,93,95,96,98],[0,1,2,3,4,7,8,13,15,16,17,20,24,25,26,32,34,35,37,39,42,46,48,50,51,53,61,63,66,67,68,70,72,75,76,78,79,80,81,82,84,85,86,88,89,90,94,95,96,97],[17,90,91,93,94,96,97,98],[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,80,82,83,86,88,92,94,95,97,98],[40,90,91,92,93,94,96,97,98],[2,3,7,10,12,16,17,21,22,26,31,32,34,36,37,40,42,43,45,46,47,48,50,51,54,55,56,57,59,65,68,69,70,71,73,74,75,76,77,78,79,80,82,85,86,88,92,93,95],[0,2,4,8,9,10,11,12,15,18,20,23,25,26,27,29,31,33,34,37,41,44,45,47,52,58,62,63,68,69,70,76,77,80,83,85,87,88,91,93,94,96,97,98],[0,2,3,7,8,10,11,12,16,17,20,22,23,26,27,34,36,37,38,42,44,46,48,52,54,62,63,65,67,68,69,74,76,78,79,81,83,87,91,92,93,95,97],[0,1,2,4,6,7,8,9,14,15,16,19,21,22,24,25,26,28,31,32,34,35,36,38,39,41,43,44,48,51,54,56,59,61,62,65,66,68,69,70,71,72,73,75,76,77,79,81,82,83,84,87,91,92,93,96,97,98],[2,3,7,8,10,11,12,16,17,22,26,28,34,36,37,40,42,43,45,46,48,54,55,56,57,59,62,65,68,71,72,73,75,76,77,78,79,83,87,89,90,92,94,98],[22,90,91,92,93,95,96,97,98],[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,80,82,83,86,88,90,91,92,94,95],[0,1,2,5,6,9,11,12,13,14,16,17,18,22,26,28,32,33,34,35,37,39,40,42,43,45,48,50,51,53,57,59,61,62,64,65,66,67,69,70,72,75,77,78,79,81,83,84,86,87,88,93,94,96,98],[69,90,92,94,95,96,97,98],[0,1,2,3,6,7,9,10,11,12,13,14,17,21,27,28,31,32,33,34,36,38,39,40,47,49,55,58,64,66,67,69,70,71,72,73,75,77,79,81,85,86,94,97,98],[0,1,2,3,4,5,6,7,8,9,13,14,18,25,27,28,29,31,32,33,35,40,41,42,49,50,51,53,54,55,58,59,61,62,63,66,67,68,71,73,76,81,82,84,87,88,90,93,97,98],[3,4,5,6,8,10,11,12,13,17,20,21,23,24,26,27,28,32,34,42,47,49,50,52,53,54,55,56,60,61,62,63,64,68,69,70,73,74,75,78,79,81,84,85,88,89,91,93,94,97],[0,1,2,3,4,5,6,7,8,12,14,16,17,18,19,24,25,27,28,29,32,33,35,37,39,41,42,44,46,47,48,49,51,54,55,56,57,59,60,61,62,63,64,66,67,68,77,80,90,92,94,95,96]]},"distance":{"d":4,"is_exact":true,"upper":4,"witness":[0,1,10,11],"A_d":9091,"certified":null},"clifford":{"kind":"powers","correction":{"S":[[0,3],[1,1],[3,3],[4,1],[5,2],[6,2],[7,3],[9,2],[10,3],[11,2],[12,3],[13,2],[14,2],[15,3],[16,2],[17,2],[18,3],[19,1],[20,2],[21,2],[22,2],[24,1],[25,3],[26,2],[28,2],[29,1],[30,1],[31,2],[32,1],[33,2],[34,3],[35,1],[36,3],[39,3],[40,2],[41,3],[42,3],[43,3],[44,2],[45,1],[46,2],[47,2],[49,2],[50,3],[51,1],[52,2],[53,2],[54,3],[55,2],[56,2],[57,2],[58,2],[59,3],[60,3],[61,2],[62,3],[63,2],[64,2],[65,2],[66,2],[67,3],[68,3],[69,2],[70,3],[71,2],[72,2],[73,2],[74,3],[75,3],[76,2],[77,1],[78,2],[79,2],[80,1],[81,3],[83,1],[84,3],[85,1],[86,1],[87,2],[88,1],[89,2],[90,1],[91,2],[92,2],[93,2],[94,2],[95,2],[96,2],[97,2],[98,3]],"CZ":[[0,6],[0,12],[0,15],[0,16],[0,17],[0,18],[0,20],[0,22],[0,25],[0,26],[0,28],[0,36],[0,39],[0,41],[0,42],[0,43],[0,44],[0,46],[0,47],[0,50],[0,52],[0,53],[0,54],[0,55],[0,56],[0,57],[0,59],[0,60],[0,63],[0,64],[0,65],[0,66],[0,67],[0,68],[0,69],[0,70],[0,73],[0,74],[0,75],[0,76],[0,78],[0,79],[0,83],[0,85],[0,86],[0,87],[0,88],[0,89],[0,91],[0,94],[0,95],[0,96],[0,97],[2,5],[2,6],[2,8],[2,9],[2,11],[2,13],[2,14],[2,16],[2,17],[2,20],[2,21],[2,22],[2,23],[2,26],[2,27],[2,28],[2,31],[2,33],[2,37],[2,38],[2,40],[2,44],[2,46],[2,47],[2,48],[2,49],[2,52],[2,53],[2,55],[2,56],[2,57],[2,58],[2,61],[2,63],[2,64],[2,65],[2,66],[2,69],[2,71],[2,72],[2,73],[2,76],[2,78],[2,79],[2,80],[2,81],[2,83],[2,84],[2,85],[2,86],[2,88],[2,90],[2,98],[3,6],[3,12],[3,15],[3,16],[3,17],[3,18],[3,20],[3,22],[3,25],[3,26],[3,28],[3,36],[3,39],[3,41],[3,42],[3,43],[3,44],[3,46],[3,47],[3,50],[3,52],[3,53],[3,54],[3,55],[3,56],[3,57],[3,59],[3,60],[3,63],[3,64],[3,65],[3,66],[3,67],[3,68],[3,69],[3,70],[3,73],[3,74],[3,75],[3,76],[3,78],[3,79],[3,83],[3,85],[3,86],[3,87],[3,88],[3,89],[3,91],[3,94],[3,95],[3,96],[3,97],[5,8],[5,9],[5,11],[5,12],[5,13],[5,14],[5,15],[5,18],[5,21],[5,23],[5,25],[5,27],[5,31],[5,33],[5,36],[5,37],[5,38],[5,39],[5,40],[5,41],[5,42],[5,43],[5,48],[5,49],[5,50],[5,54],[5,58],[5,59],[5,60],[5,61],[5,67],[5,68],[5,70],[5,71],[5,72],[5,74],[5,75],[5,80],[5,81],[5,84],[5,87],[5,89],[5,90],[5,91],[5,94],[5,95],[5,96],[5,97],[5,98],[6,7],[6,8],[6,10],[6,15],[6,17],[6,18],[6,23],[6,25],[6,27],[6,28],[6,34],[6,37],[6,38],[6,41],[6,43],[6,47],[6,48],[6,50],[6,53],[6,55],[6,56],[6,57],[6,59],[6,60],[6,62],[6,64],[6,66],[6,68],[6,70],[6,73],[6,74],[6,75],[6,79],[6,81],[6,84],[6,87],[6,89],[6,92],[6,93],[6,94],[6,96],[6,98],[7,12],[7,15],[7,16],[7,17],[7,18],[7,20],[7,22],[7,25],[7,26],[7,28],[7,36],[7,39],[7,41],[7,42],[7,43],[7,44],[7,46],[7,47],[7,50],[7,52],[7,53],[7,54],[7,55],[7,56],[7,57],[7,59],[7,60],[7,63],[7,64],[7,65],[7,66],[7,67],[7,68],[7,69],[7,70],[7,73],[7,74],[7,75],[7,76],[7,78],[7,79],[7,83],[7,85],[7,86],[7,87],[7,88],[7,89],[7,91],[7,94],[7,95],[7,96],[7,97],[8,9],[8,11],[8,13],[8,14],[8,16],[8,17],[8,20],[8,21],[8,22],[8,23],[8,26],[8,27],[8,28],[8,31],[8,33],[8,37],[8,38],[8,40],[8,44],[8,46],[8,47],[8,48],[8,49],[8,52],[8,53],[8,55],[8,56],[8,57],[8,58],[8,61],[8,63],[8,64],[8,65],[8,66],[8,69],[8,71],[8,72],[8,73],[8,76],[8,78],[8,79],[8,80],[8,81],[8,83],[8,84],[8,85],[8,86],[8,88],[8,90],[8,98],[9,11],[9,12],[9,13],[9,14],[9,15],[9,18],[9,21],[9,23],[9,25],[9,27],[9,31],[9,33],[9,36],[9,37],[9,38],[9,39],[9,40],[9,41],[9,42],[9,43],[9,48],[9,49],[9,50],[9,54],[9,58],[9,59],[9,60],[9,61],[9,67],[9,68],[9,70],[9,71],[9,72],[9,74],[9,75],[9,80],[9,81],[9,84],[9,87],[9,89],[9,90],[9,91],[9,94],[9,95],[9,96],[9,97],[9,98],[10,12],[10,15],[10,16],[10,17],[10,18],[10,20],[10,22],[10,25],[10,26],[10,28],[10,36],[10,39],[10,41],[10,42],[10,43],[10,44],[10,46],[10,47],[10,50],[10,52],[10,53],[10,54],[10,55],[10,56],[10,57],[10,59],[10,60],[10,63],[10,64],[10,65],[10,66],[10,67],[10,68],[10,69],[10,70],[10,73],[10,74],[10,75],[10,76],[10,78],[10,79],[10,83],[10,85],[10,86],[10,87],[10,88],[10,89],[10,91],[10,94],[10,95],[10,96],[10,97],[11,12],[11,13],[11,14],[11,15],[11,18],[11,21],[11,23],[11,25],[11,27],[11,31],[11,33],[11,36],[11,37],[11,38],[11,39],[11,40],[11,41],[11,42],[11,43],[11,48],[11,49],[11,50],[11,54],[11,58],[11,59],[11,60],[11,61],[11,67],[11,68],[11,70],[11,71],[11,72],[11,74],[11,75],[11,80],[11,81],[11,84],[11,87],[11,89],[11,90],[11,91],[11,94],[11,95],[11,96],[11,97],[11,98],[12,13],[12,14],[12,15],[12,16],[12,18],[12,20],[12,21],[12,22],[12,25],[12,26],[12,31],[12,33],[12,34],[12,40],[12,41],[12,43],[12,44],[12,46],[12,49],[12,50],[12,52],[12,58],[12,59],[12,60],[12,61],[12,62],[12,63],[12,65],[12,68],[12,69],[12,70],[12,71],[12,72],[12,74],[12,75],[12,76],[12,78],[12,80],[12,83],[12,85],[12,86],[12,87],[12,88],[12,89],[12,90],[12,92],[12,93],[12,94],[12,96],[13,14],[13,15],[13,18],[13,21],[13,23],[13,25],[13,27],[13,31],[13,33],[13,36],[13,37],[13,38],[13,39],[13,40],[13,41],[13,42],[13,43],[13,48],[13,49],[13,50],[13,54],[13,58],[13,59],[13,60],[13,61],[13,67],[13,68],[13,70],[13,71],[13,72],[13,74],[13,75],[13,80],[13,81],[13,84],[13,87],[13,89],[13,90],[13,91],[13,94],[13,95],[13,96],[13,97],[13,98],[14,15],[14,18],[14,21],[14,23],[14,25],[14,27],[14,31],[14,33],[14,36],[14,37],[14,38],[14,39],[14,40],[14,41],[14,42],[14,43],[14,48],[14,49],[14,50],[14,54],[14,58],[14,59],[14,60],[14,61],[14,67],[14,68],[14,70],[14,71],[14,72],[14,74],[14,75],[14,80],[14,81],[14,84],[14,87],[14,89],[14,90],[14,91],[14,94],[14,95],[14,96],[14,97],[14,98],[15,17],[15,21],[15,28],[15,31],[15,33],[15,34],[15,36],[15,39],[15,40],[15,42],[15,47],[15,49],[15,53],[15,54],[15,55],[15,56],[15,57],[15,58],[15,61],[15,62],[15,64],[15,66],[15,67],[15,71],[15,72],[15,73],[15,79],[15,80],[15,90],[15,91],[15,92],[15,93],[15,95],[15,97],[16,20],[16,22],[16,23],[16,26],[16,27],[16,34],[16,36],[16,37],[16,38],[16,39],[16,42],[16,44],[16,46],[16,48],[16,52],[16,54],[16,62],[16,63],[16,65],[16,67],[16,69],[16,76],[16,78],[16,81],[16,83],[16,84],[16,85],[16,86],[16,88],[16,91],[16,92],[16,93],[16,95],[16,97],[16,98],[17,18],[17,23],[17,25],[17,27],[17,28],[17,34],[17,37],[17,38],[17,41],[17,43],[17,47],[17,48],[17,50],[17,53],[17,55],[17,56],[17,57],[17,59],[17,60],[17,62],[17,64],[17,66],[17,68],[17,70],[17,73],[17,74],[17,75],[17,79],[17,81],[17,84],[17,87],[17,89],[17,92],[17,93],[17,94],[17,96],[17,98],[18,21],[18,28],[18,31],[18,33],[18,34],[18,36],[18,39],[18,40],[18,42],[18,47],[18,49],[18,53],[18,54],[18,55],[18,56],[18,57],[18,58],[18,61],[18,62],[18,64],[18,66],[18,67],[18,71],[18,72],[18,73],[18,79],[18,80],[18,90],[18,91],[18,92],[18,93],[18,95],[18,97],[20,22],[20,23],[20,26],[20,27],[20,34],[20,36],[20,37],[20,38],[20,39],[20,42],[20,44],[20,46],[20,48],[20,52],[20,54],[20,62],[20,63],[20,65],[20,67],[20,69],[20,76],[20,78],[20,81],[20,83],[20,84],[20,85],[20,86],[20,88],[20,91],[20,92],[20,93],[20,95],[20,97],[20,98],[21,23],[21,25],[21,27],[21,31],[21,33],[21,36],[21,37],[21,38],[21,39],[21,40],[21,41],[21,42],[21,43],[21,48],[21,49],[21,50],[21,54],[21,58],[21,59],[21,60],[21,61],[21,67],[21,68],[21,70],[21,71],[21,72],[21,74],[21,75],[21,80],[21,81],[21,84],[21,87],[21,89],[21,90],[21,91],[21,94],[21,95],[21,96],[21,97],[21,98],[22,23],[22,26],[22,27],[22,34],[22,36],[22,37],[22,38],[22,39],[22,42],[22,44],[22,46],[22,48],[22,52],[22,54],[22,62],[22,63],[22,65],[22,67],[22,69],[22,76],[22,78],[22,81],[22,83],[22,84],[22,85],[22,86],[22,88],[22,91],[22,92],[22,93],[22,95],[22,97],[22,98],[23,26],[23,27],[23,28],[23,31],[23,33],[23,37],[23,38],[23,40],[23,44],[23,46],[23,47],[23,48],[23,49],[23,52],[23,53],[23,55],[23,56],[23,57],[23,58],[23,61],[23,63],[23,64],[23,65],[23,66],[23,69],[23,71],[23,72],[23,73],[23,76],[23,78],[23,79],[23,80],[23,81],[23,83],[23,84],[23,85],[23,86],[23,88],[23,90],[23,98],[25,28],[25,31],[25,33],[25,34],[25,36],[25,39],[25,40],[25,42],[25,47],[25,49],[25,53],[25,54],[25,55],[25,56],[25,57],[25,58],[25,61],[25,62],[25,64],[25,66],[25,67],[25,71],[25,72],[25,73],[25,79],[25,80],[25,90],[25,91],[25,92],[25,93],[25,95],[25,97],[26,27],[26,34],[26,36],[26,37],[26,38],[26,39],[26,42],[26,44],[26,46],[26,48],[26,52],[26,54],[26,62],[26,63],[26,65],[26,67],[26,69],[26,76],[26,78],[26,81],[26,83],[26,84],[26,85],[26,86],[26,88],[26,91],[26,92],[26,93],[26,95],[26,97],[26,98],[27,28],[27,31],[27,33],[27,37],[27,38],[27,40],[27,44],[27,46],[27,47],[27,48],[27,49],[27,52],[27,53],[27,55],[27,56],[27,57],[27,58],[27,61],[27,63],[27,64],[27,65],[27,66],[27,69],[27,71],[27,72],[27,73],[27,76],[27,78],[27,79],[27,80],[27,81],[27,83],[27,84],[27,85],[27,86],[27,88],[27,90],[27,98],[28,34],[28,37],[28,38],[28,41],[28,43],[28,47],[28,48],[28,50],[28,53],[28,55],[28,56],[28,57],[28,59],[28,60],[28,62],[28,64],[28,66],[28,68],[28,70],[28,73],[28,74],[28,75],[28,79],[28,81],[28,84],[28,87],[28,89],[28,92],[28,93],[28,94],[28,96],[28,98],[31,33],[31,36],[31,37],[31,38],[31,39],[31,40],[31,41],[31,42],[31,43],[31,48],[31,49],[31,50],[31,54],[31,58],[31,59],[31,60],[31,61],[31,67],[31,68],[31,70],[31,71],[31,72],[31,74],[31,75],[31,80],[31,81],[31,84],[31,87],[31,89],[31,90],[31,91],[31,94],[31,95],[31,96],[31,97],[31,98],[33,36],[33,37],[33,38],[33,39],[33,40],[33,41],[33,42],[33,43],[33,48],[33,49],[33,50],[33,54],[33,58],[33,59],[33,60],[33,61],[33,67],[33,68],[33,70],[33,71],[33,72],[33,74],[33,75],[33,80],[33,81],[33,84],[33,87],[33,89],[33,90],[33,91],[33,94],[33,95],[33,96],[33,97],[33,98],[34,36],[34,39],[34,41],[34,42],[34,43],[34,44],[34,46],[34,47],[34,50],[34,52],[34,53],[34,54],[34,55],[34,56],[34,57],[34,59],[34,60],[34,63],[34,64],[34,65],[34,66],[34,67],[34,68],[34,69],[34,70],[34,73],[34,74],[34,75],[34,76],[34,78],[34,79],[34,83],[34,85],[34,86],[34,87],[34,88],[34,89],[34,91],[34,94],[34,95],[34,96],[34,97],[36,40],[36,41],[36,43],[36,44],[36,46],[36,49],[36,50],[36,52],[36,58],[36,59],[36,60],[36,61],[36,62],[36,63],[36,65],[36,68],[36,69],[36,70],[36,71],[36,72],[36,74],[36,75],[36,76],[36,78],[36,80],[36,83],[36,85],[36,86],[36,87],[36,88],[36,89],[36,90],[36,92],[36,93],[36,94],[36,96],[37,38],[37,40],[37,44],[37,46],[37,47],[37,48],[37,49],[37,52],[37,53],[37,55],[37,56],[37,57],[37,58],[37,61],[37,63],[37,64],[37,65],[37,66],[37,69],[37,71],[37,72],[37,73],[37,76],[37,78],[37,79],[37,80],[37,81],[37,83],[37,84],[37,85],[37,86],[37,88],[37,90],[37,98],[38,40],[38,44],[38,46],[38,47],[38,48],[38,49],[38,52],[38,53],[38,55],[38,56],[38,57],[38,58],[38,61],[38,63],[38,64],[38,65],[38,66],[38,69],[38,71],[38,72],[38,73],[38,76],[38,78],[38,79],[38,80],[38,81],[38,83],[38,84],[38,85],[38,86],[38,88],[38,90],[38,98],[39,40],[39,41],[39,43],[39,44],[39,46],[39,49],[39,50],[39,52],[39,58],[39,59],[39,60],[39,61],[39,62],[39,63],[39,65],[39,68],[39,69],[39,70],[39,71],[39,72],[39,74],[39,75],[39,76],[39,78],[39,80],[39,83],[39,85],[39,86],[39,87],[39,88],[39,89],[39,90],[39,92],[39,93],[39,94],[39,96],[40,41],[40,42],[40,43],[40,48],[40,49],[40,50],[40,54],[40,58],[40,59],[40,60],[40,61],[40,67],[40,68],[40,70],[40,71],[40,72],[40,74],[40,75],[40,80],[40,81],[40,84],[40,87],[40,89],[40,90],[40,91],[40,94],[40,95],[40,96],[40,97],[40,98],[41,42],[41,47],[41,49],[41,53],[41,54],[41,55],[41,56],[41,57],[41,58],[41,61],[41,62],[41,64],[41,66],[41,67],[41,71],[41,72],[41,73],[41,79],[41,80],[41,90],[41,91],[41,92],[41,93],[41,95],[41,97],[42,43],[42,44],[42,46],[42,49],[42,50],[42,52],[42,58],[42,59],[42,60],[42,61],[42,62],[42,63],[42,65],[42,68],[42,69],[42,70],[42,71],[42,72],[42,74],[42,75],[42,76],[42,78],[42,80],[42,83],[42,85],[42,86],[42,87],[42,88],[42,89],[42,90],[42,92],[42,93],[42,94],[42,96],[43,47],[43,49],[43,53],[43,54],[43,55],[43,56],[43,57],[43,58],[43,61],[43,62],[43,64],[43,66],[43,67],[43,71],[43,72],[43,73],[43,79],[43,80],[43,90],[43,91],[43,92],[43,93],[43,95],[43,97],[44,46],[44,48],[44,52],[44,54],[44,62],[44,63],[44,65],[44,67],[44,69],[44,76],[44,78],[44,81],[44,83],[44,84],[44,85],[44,86],[44,88],[44,91],[44,92],[44,93],[44,95],[44,97],[44,98],[46,48],[46,52],[46,54],[46,62],[46,63],[46,65],[46,67],[46,69],[46,76],[46,78],[46,81],[46,83],[46,84],[46,85],[46,86],[46,88],[46,91],[46,92],[46,93],[46,95],[46,97],[46,98],[47,48],[47,50],[47,53],[47,55],[47,56],[47,57],[47,59],[47,60],[47,62],[47,64],[47,66],[47,68],[47,70],[47,73],[47,74],[47,75],[47,79],[47,81],[47,84],[47,87],[47,89],[47,92],[47,93],[47,94],[47,96],[47,98],[48,49],[48,52],[48,53],[48,55],[48,56],[48,57],[48,58],[48,61],[48,63],[48,64],[48,65],[48,66],[48,69],[48,71],[48,72],[48,73],[48,76],[48,78],[48,79],[48,80],[48,81],[48,83],[48,84],[48,85],[48,86],[48,88],[48,90],[48,98],[49,50],[49,54],[49,58],[49,59],[49,60],[49,61],[49,67],[49,68],[49,70],[49,71],[49,72],[49,74],[49,75],[49,80],[49,81],[49,84],[49,87],[49,89],[49,90],[49,91],[49,94],[49,95],[49,96],[49,97],[49,98],[50,53],[50,54],[50,55],[50,56],[50,57],[50,58],[50,61],[50,62],[50,64],[50,66],[50,67],[50,71],[50,72],[50,73],[50,79],[50,80],[50,90],[50,91],[50,92],[50,93],[50,95],[50,97],[52,54],[52,62],[52,63],[52,65],[52,67],[52,69],[52,76],[52,78],[52,81],[52,83],[52,84],[52,85],[52,86],[52,88],[52,91],[52,92],[52,93],[52,95],[52,97],[52,98],[53,55],[53,56],[53,57],[53,59],[53,60],[53,62],[53,64],[53,66],[53,68],[53,70],[53,73],[53,74],[53,75],[53,79],[53,81],[53,84],[53,87],[53,89],[53,92],[53,93],[53,94],[53,96],[53,98],[54,58],[54,59],[54,60],[54,61],[54,62],[54,63],[54,65],[54,68],[54,69],[54,70],[54,71],[54,72],[54,74],[54,75],[54,76],[54,78],[54,80],[54,83],[54,85],[54,86],[54,87],[54,88],[54,89],[54,90],[54,92],[54,93],[54,94],[54,96],[55,56],[55,57],[55,59],[55,60],[55,62],[55,64],[55,66],[55,68],[55,70],[55,73],[55,74],[55,75],[55,79],[55,81],[55,84],[55,87],[55,89],[55,92],[55,93],[55,94],[55,96],[55,98],[56,57],[56,59],[56,60],[56,62],[56,64],[56,66],[56,68],[56,70],[56,73],[56,74],[56,75],[56,79],[56,81],[56,84],[56,87],[56,89],[56,92],[56,93],[56,94],[56,96],[56,98],[57,59],[57,60],[57,62],[57,64],[57,66],[57,68],[57,70],[57,73],[57,74],[57,75],[57,79],[57,81],[57,84],[57,87],[57,89],[57,92],[57,93],[57,94],[57,96],[57,98],[58,59],[58,60],[58,61],[58,67],[58,68],[58,70],[58,71],[58,72],[58,74],[58,75],[58,80],[58,81],[58,84],[58,87],[58,89],[58,90],[58,91],[58,94],[58,95],[58,96],[58,97],[58,98],[59,61],[59,62],[59,64],[59,66],[59,67],[59,71],[59,72],[59,73],[59,79],[59,80],[59,90],[59,91],[59,92],[59,93],[59,95],[59,97],[60,61],[60,62],[60,64],[60,66],[60,67],[60,71],[60,72],[60,73],[60,79],[60,80],[60,90],[60,91],[60,92],[60,93],[60,95],[60,97],[61,67],[61,68],[61,70],[61,71],[61,72],[61,74],[61,75],[61,80],[61,81],[61,84],[61,87],[61,89],[61,90],[61,91],[61,94],[61,95],[61,96],[61,97],[61,98],[62,63],[62,64],[62,65],[62,66],[62,67],[62,68],[62,69],[62,70],[62,73],[62,74],[62,75],[62,76],[62,78],[62,79],[62,83],[62,85],[62,86],[62,87],[62,88],[62,89],[62,91],[62,94],[62,95],[62,96],[62,97],[63,65],[63,67],[63,69],[63,76],[63,78],[63,81],[63,83],[63,84],[63,85],[63,86],[63,88],[63,91],[63,92],[63,93],[63,95],[63,97],[63,98],[64,66],[64,68],[64,70],[64,73],[64,74],[64,75],[64,79],[64,81],[64,84],[64,87],[64,89],[64,92],[64,93],[64,94],[64,96],[64,98],[65,67],[65,69],[65,76],[65,78],[65,81],[65,83],[65,84],[65,85],[65,86],[65,88],[65,91],[65,92],[65,93],[65,95],[65,97],[65,98],[66,68],[66,70],[66,73],[66,74],[66,75],[66,79],[66,81],[66,84],[66,87],[66,89],[66,92],[66,93],[66,94],[66,96],[66,98],[67,68],[67,69],[67,70],[67,71],[67,72],[67,74],[67,75],[67,76],[67,78],[67,80],[67,83],[67,85],[67,86],[67,87],[67,88],[67,89],[67,90],[67,92],[67,93],[67,94],[67,96],[68,71],[68,72],[68,73],[68,79],[68,80],[68,90],[68,91],[68,92],[68,93],[68,95],[68,97],[69,76],[69,78],[69,81],[69,83],[69,84],[69,85],[69,86],[69,88],[69,91],[69,92],[69,93],[69,95],[69,97],[69,98],[70,71],[70,72],[70,73],[70,79],[70,80],[70,90],[70,91],[70,92],[70,93],[70,95],[70,97],[71,72],[71,74],[71,75],[71,80],[71,81],[71,84],[71,87],[71,89],[71,90],[71,91],[71,94],[71,95],[71,96],[71,97],[71,98],[72,74],[72,75],[72,80],[72,81],[72,84],[72,87],[72,89],[72,90],[72,91],[72,94],[72,95],[72,96],[72,97],[72,98],[73,74],[73,75],[73,79],[73,81],[73,84],[73,87],[73,89],[73,92],[73,93],[73,94],[73,96],[73,98],[74,79],[74,80],[74,90],[74,91],[74,92],[74,93],[74,95],[74,97],[75,79],[75,80],[75,90],[75,91],[75,92],[75,93],[75,95],[75,97],[76,78],[76,81],[76,83],[76,84],[76,85],[76,86],[76,88],[76,91],[76,92],[76,93],[76,95],[76,97],[76,98],[78,81],[78,83],[78,84],[78,85],[78,86],[78,88],[78,91],[78,92],[78,93],[78,95],[78,97],[78,98],[79,81],[79,84],[79,87],[79,89],[79,92],[79,93],[79,94],[79,96],[79,98],[80,81],[80,84],[80,87],[80,89],[80,90],[80,91],[80,94],[80,95],[80,96],[80,97],[80,98],[81,83],[81,84],[81,85],[81,86],[81,88],[81,90],[81,98],[83,84],[83,85],[83,86],[83,88],[83,91],[83,92],[83,93],[83,95],[83,97],[83,98],[84,85],[84,86],[84,88],[84,90],[84,98],[85,86],[85,88],[85,91],[85,92],[85,93],[85,95],[85,97],[85,98],[86,88],[86,91],[86,92],[86,93],[86,95],[86,97],[86,98],[87,90],[87,91],[87,92],[87,93],[87,95],[87,97],[88,91],[88,92],[88,93],[88,95],[88,97],[88,98],[89,90],[89,91],[89,92],[89,93],[89,95],[89,97],[90,91],[90,94],[90,95],[90,96],[90,97],[90,98],[91,92],[91,93],[91,94],[91,96],[92,94],[92,95],[92,96],[92,97],[93,94],[93,95],[93,96],[93,97],[94,95],[94,97],[95,96],[96,97]]},"rotation_powers":[[0,7],[1,3],[2,3],[4,3],[5,3],[6,7],[8,7],[9,3],[10,7],[11,7],[12,3],[13,3],[14,3],[15,5],[16,3],[17,3],[19,5],[20,5],[21,3],[23,3],[25,7],[26,3],[28,3],[29,7],[30,7],[31,5],[32,5],[33,5],[34,7],[35,7],[36,3],[39,5],[41,7],[45,5],[51,7],[52,7],[54,3],[56,5],[57,3],[59,3],[60,3],[61,3],[62,3],[63,7],[65,7],[66,7],[70,7],[75,3],[77,3],[79,7],[82,3],[83,5],[86,3],[87,3],[89,7],[90,3],[91,3],[92,3],[93,3],[94,3],[96,3],[97,3],[99,3],[100,5],[101,5],[102,3],[105,7],[108,5],[109,3],[112,5],[113,7],[118,7],[120,3],[121,3],[122,3],[123,3],[126,7],[127,7],[128,3],[129,7],[131,3],[132,3],[133,7],[134,3],[135,3],[136,3],[139,7],[141,3],[142,3],[144,3],[145,3],[148,3],[149,3],[152,3],[153,7],[155,3],[158,3],[161,3],[162,3],[163,3],[165,3],[166,3],[168,3],[169,3],[172,3],[175,3],[179,3],[180,3],[184,3],[186,3],[187,3],[190,3],[191,3],[193,3],[194,3],[195,3],[197,3],[198,3],[201,3],[202,3],[203,3],[207,3],[208,3],[209,3],[211,7],[212,3],[213,3],[214,3],[215,3],[216,3],[218,3],[222,3],[223,3],[224,3],[226,3],[228,3],[237,3],[238,3],[242,3],[244,3],[245,3],[247,3],[248,3],[250,3],[253,3],[257,3],[261,3],[262,3],[263,3],[265,3],[267,3],[269,3],[270,3],[271,3],[272,3],[273,3],[274,3],[275,3],[277,3],[281,3],[282,3],[284,3],[287,3],[291,3],[294,3],[298,3],[300,3],[301,3],[302,3],[303,3],[304,3],[305,3],[307,3],[308,3],[310,3],[311,3],[314,3],[315,3],[318,3],[319,3],[322,3],[324,3],[325,3],[327,3],[328,3],[329,3],[332,3],[333,3],[334,3],[341,3],[342,3],[347,3],[356,3],[358,3],[359,3],[360,3],[362,3],[365,3],[366,3],[369,3],[370,3],[371,3],[373,3],[375,3],[378,3],[379,3],[381,3],[382,3],[383,3],[386,3],[388,3],[390,3],[392,3],[393,3],[394,3],[399,3],[400,3],[401,3],[407,3],[408,3],[414,3],[415,3],[416,3],[418,3],[421,3],[422,3],[423,3]]},"metrics":{"gamma":1.206390762669238,"gamma_t":null,"gamma_rho":1.206390762669238,"gamma_claim":1.206390762669238,"gamma_t_claim":null,"gamma_rho_claim":1.206390762669238,"v_ex":80,"rate":0.18779342723004694,"t_count":null,"poly_degree":null,"effective_width":80},"provenance":{"regimes":["AI search (gamma frontier): from Wills parent codes"],"discovery":"AI search","strongest_claim":"built from one of Wills's parent codes (weighted Reed-Muller, restricted-light or one-heavy) by searched punctures, paired-column contractions or logical-pair checks, 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): from Wills parent codes","file":"gamma_frontier_release/protocols/paired_column_contraction_426_80_4_fb10a80ac5ea.json","label":"paired_column_contraction_426_80_4_fb10a80ac5ea","N":99,"d":4,"d_is_exact":true,"origin":"Wills weighted Reed\u2013Muller parent (weights 1^8,2^1, cutoff 3), with searched graph punctures; 3 paired-column contractions","provenance":"gamma frontier release record paired_column_contraction_426_80_4_fb10a80ac5ea (source catalogue id paired_column_contraction_426_80_4_fb10a80ac5ea); construction: Wills weighted Reed\u2013Muller parent (weights 1^8,2^1, cutoff 3), with searched graph punctures; 3 paired-column contractions; matrix fb10a80ac5eaf2bd...; the release states d=4 (exact), gamma=1.206390762669238 (exact)","notes":"matrix gamma_frontier_release/matrices/fb10a80ac5eaf2bdca099c17b94fe3068e5f3df159b8e129b528feb384736b16.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"}]}