{"id":"358.86.3.a","row":996,"stored":{"file":"master_catalog.json","row":996,"construction":null,"columns_sha256":null},"parameters":{"n":358,"k":86,"d":3,"N":97,"r":11,"level":3},"gate":{"string":"0+1+2+3+4+5+6+7+8+9+10+11+12+13+14+15+16+17+18+19+20+21+22+23+24+25+26+27+28+29+30+31+32+33+34+35+36+37+38+39+40+41+42+43+44+45+46+47+48+49+50+51+52+53+54+55+56+57+58+59+60+61+62+63+64+65+66+67+68+69+70+71+72+73+74+75+76+77+78+79+80+81+82+83+84+85","human":"T0\u00b7T1\u00b7T2\u00b7T3\u00b7T4\u00b7T5\u00b7T6\u00b7T7\u00b7T8\u00b7T9\u00b7T10\u00b7T11\u00b7T12\u00b7T13\u00b7T14\u00b7T15\u00b7T16\u00b7T17\u00b7T18\u00b7T19\u00b7T20\u00b7T21\u00b7T22\u00b7T23\u00b7T24\u00b7T25\u00b7T26\u00b7T27\u00b7T28\u00b7T29\u00b7T30\u00b7T31\u00b7T32\u00b7T33\u00b7T34\u00b7T35\u00b7T36\u00b7T37\u00b7T38\u00b7T39\u00b7T40\u00b7T41\u00b7T42\u00b7T43\u00b7T44\u00b7T45\u00b7T46\u00b7T47\u00b7T48\u00b7T49\u00b7T50\u00b7T51\u00b7T52\u00b7T53\u00b7T54\u00b7T55\u00b7T56\u00b7T57\u00b7T58\u00b7T59\u00b7T60\u00b7T61\u00b7T62\u00b7T63\u00b7T64\u00b7T65\u00b7T66\u00b7T67\u00b7T68\u00b7T69\u00b7T70\u00b7T71\u00b7T72\u00b7T73\u00b7T74\u00b7T75\u00b7T76\u00b7T77\u00b7T78\u00b7T79\u00b7T80\u00b7T81\u00b7T82\u00b7T83\u00b7T84\u00b7T85","monomials":[[0],[1],[2],[3],[4],[5],[6],[7],[8],[9],[10],[11],[12],[13],[14],[15],[16],[17],[18],[19],[20],[21],[22],[23],[24],[25],[26],[27],[28],[29],[30],[31],[32],[33],[34],[35],[36],[37],[38],[39],[40],[41],[42],[43],[44],[45],[46],[47],[48],[49],[50],[51],[52],[53],[54],[55],[56],[57],[58],[59],[60],[61],[62],[63],[64],[65],[66],[67],[68],[69],[70],[71],[72],[73],[74],[75],[76],[77],[78],[79],[80],[81],[82],[83],[84],[85]],"sk_key":[[0],[1],[2],[3],[4],[5],[6],[7],[8],[9],[10],[11],[12],[13],[14],[15],[16],[17],[18],[19],[20],[21],[22],[23],[24],[25],[26],[27],[28],[29],[30],[31],[32],[33],[34],[35],[36],[37],[38],[39],[40],[41],[42],[43],[44],[45],[46],[47],[48],[49],[50],[51],[52],[53],[54],[55],[56],[57],[58],[59],[60],[61],[62],[63],[64],[65],[66],[67],[68],[69],[70],[71],[72],[73],[74],[75],[76],[77],[78],[79],[80],[81],[82],[83],[84],[85]],"sk_fingerprint":"d6a8896df06c731a","sk_canonical_frame":true,"relabelled_into_canonical_frame":false},"circuit":{"columns":[[0,1,4,5,9,12,15,18,19,23,26,31,32,36,43,49,50,51,54,60,67,69,71,72,78,87,89,91,94,96],[15,16,19,22,23,26,28,30,32,33,35,40,43,45,47,48,49,50,54,60,63,64,65,69,72,74,75,78,84,87,88,89,91,92,93,94,96],[3,91],[0,1,5,9,16,18,19,22,28,30,31,33,35,36,40,45,47,48,51,63,64,65,67,71,74,75,84,87,88,89,90,91,92,93],[1,3,4,6,7,8,9,12,13,16,18,20,21,26,29,32,33,34,38,40,41,44,45,46,47,49,50,51,52,53,54,55,57,61,63,64,67,68,70,72,73,74,75,79,80,82,85,93,94,95,96],[0,1,3,5,6,7,9,12,13,14,16,17,19,20,26,27,29,31,33,36,37,38,40,41,43,47,48,51,54,57,60,62,63,64,66,67,68,69,70,73,74,77,80,81,82,83,84,86,94,95],[1,3,4,6,7,8,9,12,13,15,18,20,21,22,28,29,30,34,35,38,41,43,44,46,48,51,53,55,57,60,61,65,67,68,69,70,73,78,79,80,82,84,85,88,89,90,95],[0,2,3,5,6,7,8,10,12,13,15,16,19,22,26,28,29,31,35,36,38,41,45,47,49,50,52,54,55,57,60,61,69,71,75,78,82,84,85,86,87,90,91,92,93],[0,1,4,5,9,16,18,19,22,28,30,31,33,35,36,40,45,47,48,51,63,64,65,67,71,72,74,75,84,86,88,92,93],[2,6,7,10,13,14,15,16,17,18,19,21,22,23,26,27,28,29,31,34,35,37,41,44,46,47,48,53,54,57,61,62,66,67,71,77,78,79,81,82,83,87,89,91,93,96],[43,90,91,93],[1,3,4,6,7,8,9,12,13,15,18,20,21,22,23,28,29,30,31,34,35,38,41,43,44,46,48,51,53,55,57,60,61,65,67,68,69,70,73,78,79,80,82,84,85,86,87,88,89,91,92,95],[1,3,4,6,7,8,9,12,13,16,18,20,21,26,29,32,33,34,38,40,41,44,45,46,47,49,50,51,53,54,55,57,63,64,67,68,70,72,73,74,75,79,80,82,85,86,87,93,94,95,96],[0,3,5,6,7,8,12,13,19,20,21,22,26,28,29,30,31,32,34,35,36,38,41,44,46,48,49,50,53,54,55,57,61,65,67,68,70,71,72,73,79,80,82,84,85,86,87,88,92,94,95,96],[1,2,4,7,11,13,17,18,20,22,25,26,27,29,31,32,33,35,37,38,39,42,46,47,54,58,59,60,61,62,64,66,68,72,73,76,77,78,79,80,84,86,88,90,93],[56,89,90,94],[0,6,7,9,10,12,14,15,17,19,21,22,25,28,30,32,37,38,41,43,46,48,49,50,52,53,55,57,58,61,64,65,68,70,72,74,76,77,78,83,85,89,90,91,95,96],[11,15,16,22,23,26,28,30,32,35,40,43,45,47,48,49,50,54,60,63,64,65,69,72,73,74,75,78,84,88,89,91,92,93,94],[0,1,4,5,9,15,18,19,23,26,31,32,33,35,36,43,49,50,51,54,60,67,69,71,72,73,78,90,91,94],[0,1,4,5,9,16,18,19,22,28,30,31,35,36,40,45,47,48,51,53,63,64,65,67,71,73,74,75,84,88,89,93,94,96],[33,89,90,91,92,94],[0,2,5,7,10,12,13,14,15,16,20,21,22,23,24,25,26,28,29,33,36,37,38,39,40,43,46,47,49,50,51,53,55,56,60,62,63,64,65,66,69,73,75,76,77,79,85,89,94],[28,90,93,94],[1,3,4,6,7,8,9,12,13,16,18,20,21,26,29,32,34,38,40,41,44,45,46,47,49,50,51,53,54,55,57,61,63,64,65,67,68,70,72,74,75,79,80,82,85,86,89,92,93,95],[76,92,93,94],[3,5,8,12,13,19,20,21,22,23,24,25,26,27,28,29,30,31,32,34,36,37,42,44,45,47,48,49,50,52,57,59,61,65,67,68,69,72,73,77,79,80,82,83,85,88,89],[1,3,4,8,9,17,18,20,21,22,23,26,28,29,32,34,35,37,40,43,44,46,50,51,53,60,61,63,64,67,68,69,70,72,74,79,80,83,84,87,88,90,91,92,94,95,96],[0,2,3,6,7,8,13,21,23,29,30,31,32,33,36,37,38,40,41,43,44,45,46,51,52,53,57,60,61,62,63,64,65,66,71,74,75,77,78,79,81,82,84,88,91,94],[3,11,12,13,14,15,16,19,20,21,25,27,29,31,33,34,36,39,41,42,43,44,45,46,51,52,53,55,57,59,60,61,63,64,66,67,68,71,74,75,76,80,82,83,85,88,90,91,92,93,94,95],[0,6,7,8,11,14,15,16,22,25,26,28,30,32,33,35,38,39,42,43,45,48,49,50,51,52,54,59,60,63,64,65,66,67,70,72,73,74,75,76,79,83,84,87,89,90,91,92,93,95,96],[1,4,5,6,7,8,9,11,14,15,18,19,25,27,31,32,36,38,39,40,42,43,47,49,50,52,54,59,60,66,70,71,72,73,76,79,83,87,88,91,95,96],[2,91,92,95],[0,6,7,8,11,14,23,25,27,38,39,40,42,47,51,52,59,66,67,70,73,76,78,79,83,87,88,91,94,95],[0,2,3,4,6,7,10,11,12,14,16,19,22,25,28,29,30,31,32,33,34,35,39,42,43,45,46,48,51,52,59,61,63,64,65,66,69,70,72,73,74,75,76,78,79,83,84,87,89,93,94,95],[3,5,11,12,13,14,15,16,19,20,21,25,27,29,31,33,34,36,39,41,42,43,44,45,46,50,51,52,53,55,57,59,60,61,63,64,66,67,68,71,74,75,76,80,82,83,85,86,87,88,91,92,94],[10,91,93,95],[0,1,3,4,9,11,12,13,14,16,18,20,21,23,25,26,27,29,32,33,34,39,41,42,44,45,46,49,50,52,53,54,55,57,59,60,61,63,64,66,68,69,72,74,75,76,78,80,82,83,85,86,87,88,91,92,96],[1,4,5,6,7,8,9,11,14,16,18,19,22,23,25,27,28,30,31,33,35,36,38,39,42,45,48,52,59,63,64,65,66,69,70,71,73,74,75,76,78,79,84,86,89,90,92,94,95],[0,1,6,7,8,11,14,23,25,27,38,39,40,42,47,51,52,59,66,67,69,70,73,76,78,79,83,86,88,93,94,95],[0,1,2,4,5,6,7,8,11,14,17,18,19,21,25,26,27,33,34,36,39,40,42,43,44,45,47,48,49,50,53,54,55,59,60,62,69,70,71,72,75,76,77,81,83,84,85,87,89,90,91,95],[0,90,91,92,93,95],[1,2,4,7,8,9,11,15,17,18,20,23,25,27,30,31,33,34,35,36,37,38,39,41,42,43,48,49,50,51,55,57,58,59,61,62,63,68,69,71,73,75,77,79,80,87,89,90,93,95,96],[1,2,4,7,9,10,12,17,18,19,20,21,23,25,26,30,31,33,36,37,38,43,48,49,50,51,54,55,57,60,62,65,67,68,69,71,77,79,85,88,89,90,91,92,93,94,95],[0,6,7,8,11,13,14,23,25,27,33,38,39,40,42,47,51,52,59,66,67,69,70,76,78,79,83,88,90,96],[2,5,6,8,11,15,16,19,20,22,24,33,36,37,43,50,52,55,56,58,61,62,64,65,66,70,83,87,92,93,95,96],[79,92,94,95],[3,5,11,12,13,14,15,16,19,20,21,24,25,27,29,31,34,36,39,41,42,43,44,45,46,51,52,53,55,57,59,60,61,63,64,66,67,68,71,73,74,75,76,80,82,83,85,87,88,90,92,93,94,96],[68,93,94,95],[16,89,90,93,94,95],[0,1,2,3,4,5,6,9,10,11,14,15,18,25,26,28,29,30,36,37,39,41,44,45,46,47,48,50,53,54,56,57,61,62,63,64,65,66,67,70,74,75,76,77,79,82,84,86,88,89,90,91,93,94,96],[0,6,7,8,11,14,15,16,22,25,26,27,28,30,32,35,38,39,42,43,45,48,49,50,51,52,54,59,60,63,64,65,66,67,70,72,75,76,79,83,84,86,87,89,92,95],[3,5,11,12,13,14,15,16,19,20,21,25,27,29,31,34,36,39,41,42,43,44,45,46,51,52,53,55,57,59,60,61,63,64,67,68,71,73,74,75,76,80,82,83,85,86,88,89,90,91,93,95,96],[0,1,3,4,9,11,12,13,14,16,18,20,21,23,25,26,27,29,32,34,39,42,44,45,46,49,50,52,53,54,55,57,59,61,63,64,66,68,69,72,73,74,75,76,78,80,82,83,85,86,88,90,91,92],[0,1,2,4,5,6,7,9,11,15,16,17,18,19,21,25,26,27,28,29,30,37,38,39,40,41,42,44,45,46,48,51,53,54,59,61,62,63,65,66,69,70,73,74,75,77,82,86,87,89,91,94,95],[0,1,2,3,7,8,9,10,13,15,17,18,22,24,25,26,27,28,29,30,33,34,36,38,40,42,43,44,45,47,48,50,51,52,54,55,56,60,61,63,64,65,67,74,77,78,80,82,83,86,88,89,90,91,92,93,95],[0,1,4,5,9,15,18,19,23,26,31,32,36,43,49,50,51,54,60,67,69,71,72,78,85,88,89,91,94,96],[1,2,9,11,14,15,17,20,21,24,30,32,33,34,35,37,40,42,44,47,48,51,52,55,61,62,63,66,67,69,70,71,75,77,81,83,85,88,89,90,93,95],[0,3,5,6,7,8,12,13,19,20,21,22,26,28,29,30,31,32,33,34,35,36,38,41,44,46,48,49,50,53,54,55,57,61,65,68,70,71,72,79,80,82,85,86,89,90,92,95,96],[1,3,4,6,7,8,9,12,13,16,18,20,21,26,29,32,33,34,38,40,41,44,45,46,47,49,50,51,53,54,55,57,61,63,64,67,68,72,73,74,75,79,80,82,85,87,88,91,92,93,94,95],[30,89,90,91,92,96],[0,5,6,10,12,15,17,18,19,20,21,23,25,29,31,33,34,36,38,39,40,41,42,43,44,45,46,47,49,51,52,53,55,56,57,60,61,63,67,68,70,71,72,73,74,75,76,78,81,82,83,84,85,86,89,92],[44,91,93,96],[0,1,4,5,9,16,18,19,22,28,30,31,33,35,36,40,45,47,51,63,64,65,67,71,74,75,84,86,87,89,90,91,92,96],[1,3,4,6,7,8,9,12,13,16,18,20,21,26,29,32,33,34,38,40,41,44,45,46,47,49,50,51,53,54,55,57,58,61,63,64,67,68,70,72,73,74,75,79,80,82,85,86,88,93,94,95,96],[0,3,5,6,7,8,12,13,19,20,21,22,26,28,29,30,31,32,34,35,36,38,41,44,46,48,49,50,53,54,55,57,59,61,65,68,70,71,72,73,79,80,82,84,85,86,92,94,95,96],[0,3,5,6,8,12,13,15,16,19,20,21,23,29,31,33,34,36,38,40,41,43,44,45,46,47,53,55,57,60,61,63,64,68,69,70,71,73,74,75,78,79,80,82,85,86,88,89,91,93,95],[1,2,4,5,6,9,14,16,18,19,20,22,23,25,26,28,30,36,41,45,46,47,48,52,53,54,58,61,64,65,67,70,71,73,74,75,76,77,79,83,84,87,89,90,92,94,96],[1,3,4,6,7,8,9,12,13,15,17,18,20,21,22,23,28,29,30,33,34,35,38,41,43,44,46,48,51,53,55,57,60,61,65,67,68,69,70,78,79,80,82,84,85,89,91,95],[0,3,5,6,7,8,9,12,13,15,16,19,20,21,23,29,31,34,36,38,40,41,43,44,45,46,47,53,55,57,60,61,63,64,68,69,70,71,74,75,78,79,80,82,85,88,90,91,92,93,95],[8,9,14,16,17,22,23,26,28,29,30,32,34,35,36,37,40,43,45,46,47,48,50,51,60,63,64,65,69,71,72,73,74,75,84,86,89,90,91,94,96],[1,3,4,6,7,8,9,12,13,16,18,20,21,26,29,32,34,36,38,40,41,44,45,46,47,49,50,51,53,54,55,57,61,63,64,67,68,70,72,74,75,79,80,82,85,88,89,92,93,95],[0,1,4,5,9,16,18,19,22,28,30,31,35,36,40,45,46,47,48,51,63,64,65,67,71,73,74,75,84,87,89,92,93],[78,89,90,92,94,96],[1,3,4,6,7,8,9,12,13,15,18,20,21,22,23,28,30,33,34,35,38,41,43,44,46,48,51,53,55,57,60,61,65,67,68,69,70,78,79,80,82,84,85,86,87,91,94,95,96],[49,90,91,93,94,96],[37,89,92,93,94,96],[14,91,92,93,94,96],[81,89,95,96],[62,90,95,96],[0,1,2,4,7,9,10,12,15,17,20,21,22,23,31,32,33,35,37,38,39,45,48,49,50,55,56,57,59,62,63,68,69,71,73,74,75,77,79,84,85,87,90,91,92,95,96],[1,4,5,6,7,8,9,11,14,16,18,19,20,22,23,25,27,28,30,31,33,35,36,38,39,42,45,48,52,59,63,64,65,66,69,70,71,73,74,75,76,78,79,83,84,88,89,90,92,93,94,95,96],[0,6,7,8,11,14,15,16,22,25,26,27,28,30,32,33,35,38,39,43,45,48,49,50,51,52,54,59,60,63,64,65,66,67,70,72,73,74,75,76,79,83,84,88,89,90,92,93,95],[63,90,91,92,95,96],[21,93,95,96],[0,1,3,4,9,11,12,13,14,16,18,20,21,23,25,26,27,29,32,33,34,39,41,42,44,45,46,49,50,52,53,54,55,57,59,61,63,64,66,68,69,72,74,76,78,80,82,83,85,86,89,90,92,93,95,96],[1,2,5,7,9,10,12,15,18,19,20,21,22,24,27,31,32,33,34,35,36,37,40,41,43,44,45,51,52,53,54,56,57,59,60,62,63,64,67,68,72,73,74,75,77,78,79,82,83,86,90,92,94],[64,90,91,93,95,96],[2,3,5,8,9,12,13,14,15,17,19,20,22,23,28,29,32,36,37,38,40,46,47,49,50,52,55,57,58,62,63,65,68,70,71,72,75,76,77,78,80,81,82,83,84,86,88,90,92,96],[25,90,92,93,95,96],[6,91,92,93,95,96],[0,2,4,5,6,8,9,11,16,18,19,20,22,24,28,31,32,33,36,37,45,48,52,54,55,58,59,61,63,64,65,66,69,70,71,74,75,77,83,86,87,88,92,93,95,96],[3,87,91],[4,89,90,91],[0,3,5,6,7,8,12,13,19,20,21,22,26,28,29,30,31,34,35,36,38,41,44,46,48,49,50,53,54,55,57,61,65,68,70,71,72,73,79,80,82,84,85,88,92,94,95,96],[1,8,9,14,15,17,21,23,26,27,34,37,44,45,46,48,51,53,54,55,61,62,66,67,71,75,77,78,79,81,83,84,85,86,89,91,93,94],[23,90,91,92],[0,2,3,5,6,7,8,10,12,13,15,16,19,22,26,28,29,31,35,36,38,41,45,47,49,50,52,54,55,57,60,61,69,71,75,78,82,84,85,87,90,91,92,93],[0,1,2,4,5,6,7,9,10,13,14,16,17,21,22,27,28,29,32,34,35,36,37,41,43,44,46,47,48,49,50,51,53,57,60,61,62,66,69,72,77,79,81,82,83,86,87,93,94],[15,16,22,23,26,28,30,32,33,35,40,45,47,48,49,50,54,60,63,64,65,69,72,74,75,78,84,86,88,89,90,92,94,96],[0,3,5,6,7,8,12,13,15,16,19,20,21,23,29,31,33,34,36,40,41,43,44,45,46,47,53,55,57,60,61,63,64,68,69,70,71,73,74,75,78,79,80,82,85,86,87,89,91,93,95],[0,1,2,3,4,5,6,8,11,12,17,18,19,21,25,27,28,30,34,36,37,39,41,42,44,47,48,49,50,53,55,57,58,59,60,62,64,65,66,70,71,73,76,77,78,82,85,86,87,89,90,93,95],[1,3,4,6,7,8,9,12,13,16,18,20,21,26,29,32,34,38,40,41,44,45,46,47,49,50,51,53,54,55,56,57,61,63,64,67,68,70,72,74,75,79,80,82,85,87,90,92,93,94,95],[1,3,4,6,7,8,9,12,13,15,18,20,21,22,23,28,29,30,33,34,35,38,41,43,44,46,48,51,53,55,60,61,65,67,68,69,70,78,79,80,82,84,85,87,88,91,94,95,96],[3,5,8,9,10,13,14,16,17,20,22,23,25,28,29,30,31,32,34,36,37,40,44,45,47,48,49,50,52,58,60,63,65,69,71,72,75,76,77,79,80,82,83,87,89,90,92,93,94],[11,89,92,94],[35,90,92,94],[0,1,2,3,4,5,6,8,9,10,14,16,18,24,25,26,30,34,35,36,37,39,40,41,44,47,48,49,50,56,57,61,62,63,64,66,67,68,70,73,75,76,77,78,80,82,84,86,88,89,91,95,96],[0,3,5,6,7,8,12,13,15,16,19,20,21,23,28,29,31,34,36,38,40,41,43,44,45,46,47,53,55,57,60,61,63,64,68,69,70,71,74,75,78,79,80,82,85,86,90,91,92,95,96],[0,3,5,6,7,8,12,13,19,20,21,22,26,28,29,30,31,32,33,34,35,36,38,41,44,46,48,49,50,53,54,55,57,61,65,68,70,71,72,79,82,84,85,86,88,89,95],[0,1,4,5,9,16,18,19,22,28,30,31,35,36,40,45,47,48,51,63,64,65,67,71,73,74,75,76,84,86,87,88,89,92,96],[3,5,8,12,13,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,36,37,42,44,45,47,48,49,50,52,57,59,61,65,67,68,69,72,77,79,80,82,83,85,86,87,88,92,94,96],[15,16,22,23,26,28,30,32,35,40,43,45,47,48,49,50,54,55,60,63,64,65,69,72,73,74,75,78,84,86,87,88,91,93],[1,4,5,8,9,11,12,13,14,17,18,19,25,27,30,31,36,37,39,41,42,43,47,48,49,52,54,55,57,59,60,63,64,65,66,70,71,74,76,78,79,82,85,87,88,89,91,92,94],[0,1,3,4,9,11,12,13,14,16,20,21,23,25,26,27,29,32,33,34,39,41,42,44,45,46,49,50,52,53,54,55,57,59,61,63,64,66,68,69,72,74,75,76,78,80,82,83,85,88,89,90,92,93,95,96],[1,2,4,6,7,8,9,11,12,14,15,18,20,22,23,25,27,28,31,32,33,34,35,36,37,38,39,42,45,47,48,51,55,59,62,63,64,68,71,74,75,76,77,78,79,80,81,83,85,88,90,95],[27,89,92,95],[26,90,92,95],[1,2,4,5,6,7,8,9,11,14,16,18,19,22,23,25,27,28,30,31,33,35,36,38,39,42,45,48,52,59,63,64,65,66,69,70,71,73,74,75,76,78,79,83,84,87,89,90,91,92,93,94,95],[69,89,90,91,92,95],[1,2,6,7,9,10,13,15,16,18,19,20,21,27,31,32,33,40,41,44,45,47,51,53,55,57,60,63,64,68,69,70,72,73,74,75,78,79,80,82,85,86,89,90,91,93],[50,90,93,95],[3,5,10,11,12,13,14,19,20,21,22,23,25,26,27,28,29,30,31,32,34,35,36,39,40,41,42,44,46,47,48,49,50,51,52,53,54,55,57,59,61,65,66,67,68,69,71,72,76,78,80,82,83,84,85,86,87,89,90,91,93,96],[60,89,90,91,93,95],[83,92,93,95],[1,89,90,92,93,95],[1,2,4,5,15,16,17,18,19,21,22,28,30,32,34,35,36,38,40,44,47,51,52,53,55,62,63,64,65,66,67,69,71,73,74,77,79,81,85,86,87,89,93,95,96],[0,1,4,5,6,7,8,9,11,14,15,18,19,25,26,27,31,32,36,38,39,40,42,43,47,49,50,52,54,59,60,66,70,71,72,73,76,79,83,86,88,93,95,96],[2,5,6,14,17,19,20,23,26,30,32,34,35,37,40,41,47,48,51,52,54,55,57,58,60,61,62,63,66,68,69,70,72,73,75,76,77,80,83,87,88,91,93,94,95,96],[0,1,2,4,6,8,9,10,11,12,14,15,16,17,18,19,20,21,22,23,27,28,31,32,33,35,36,37,39,42,45,52,55,57,59,62,63,64,66,68,69,70,71,72,74,75,76,77,83,84,85,88,95],[1,2,4,7,9,14,15,18,20,23,24,25,27,28,30,31,33,35,37,38,39,42,43,45,48,50,55,56,58,59,61,62,63,69,71,74,75,76,78,79,84,87,90,95],[0,1,3,4,9,11,12,13,14,16,18,20,21,23,25,26,27,29,32,34,39,41,42,44,45,46,49,50,52,53,54,55,57,59,61,63,64,66,68,69,72,73,74,75,76,78,79,80,82,83,85,87,88,90,92,93],[3,5,11,12,13,14,19,20,21,22,23,25,26,27,28,29,30,31,32,33,34,35,36,39,40,41,42,44,45,46,47,48,49,50,51,52,53,54,55,57,59,61,65,66,67,68,69,71,72,73,76,78,80,82,83,84,85,87,90,92,94,95],[24,89,91,92,94,95],[0,1,3,4,9,11,12,13,14,15,18,20,21,22,25,27,28,29,30,33,34,35,39,41,42,43,44,46,47,48,52,53,55,57,59,60,61,65,66,68,73,76,80,82,83,84,85,87,89,90,91,92,95,96],[0,6,7,8,11,14,23,25,27,33,38,39,40,42,47,51,52,59,66,67,68,69,70,76,78,79,83,86,87,88,90,93,94,95,96],[1,4,5,6,7,8,9,11,14,18,19,22,23,25,27,28,30,31,35,36,38,39,42,45,48,52,59,63,64,65,66,69,70,71,74,75,76,78,79,83,84,86,87,89,92,94,95,96],[0,2,3,7,8,10,19,27,28,29,30,31,32,33,37,38,40,41,42,43,44,45,46,48,49,52,53,56,57,59,60,61,62,63,64,65,67,71,72,74,75,77,82,83,84,87,93,96],[74,90,91,93,94,95],[0,1,3,4,9,11,12,13,14,15,18,20,21,22,25,27,28,29,30,33,34,35,39,40,41,42,43,44,46,47,48,52,53,55,57,59,60,61,65,66,68,73,76,77,80,82,83,84,85,86,89,90,91,92,95,96],[41,91,92,93,94,95],[3,5,11,12,13,14,19,20,21,22,23,25,26,27,28,29,30,31,32,33,34,35,36,40,41,42,44,46,47,48,49,50,51,52,53,54,55,57,59,61,65,66,67,68,69,71,72,73,76,78,80,82,83,84,85,86,90,92,94,95],[0,1,2,4,5,6,7,9,11,15,16,17,18,19,21,25,26,27,28,29,30,37,38,39,40,41,42,44,45,46,48,51,53,54,59,61,62,63,65,66,69,70,73,74,75,77,82,86,87,88,89,91,94,95],[2,3,4,5,7,8,10,13,15,16,17,19,24,25,26,27,29,31,34,35,38,42,43,44,50,52,54,55,56,60,61,71,75,77,78,80,82,83,84,86,88,89,90,91,95],[15,16,22,23,26,28,30,32,33,35,40,43,45,47,48,49,50,54,60,63,64,65,69,72,73,74,75,78,84,89,91,92,93,94,96],[0,1,2,3,5,6,7,8,9,11,12,13,14,16,17,19,23,24,29,30,31,32,35,36,37,38,41,42,43,45,46,48,51,52,53,57,60,62,64,66,67,68,73,74,77,78,79,80,81,82,83,87,90,91],[0,1,4,5,9,15,18,19,23,26,31,32,33,36,43,49,50,51,54,60,67,69,71,72,73,78,84,86,87,90,91,96],[70,91,92,96],[0,3,5,6,7,8,12,13,19,20,21,22,26,28,29,31,32,34,35,36,38,41,44,46,48,49,50,53,54,55,57,61,65,68,70,71,72,73,79,80,82,84,85,87,89,90,91,94,95],[1,4,6,9,10,12,17,20,21,25,26,29,32,33,34,38,39,40,41,42,44,45,46,47,50,52,53,54,55,56,57,61,63,68,69,70,73,74,75,76,81,82,83,84,85,87,88,91,92,94,96],[15,16,23,26,28,30,32,33,35,40,43,45,47,48,49,50,54,60,63,64,65,69,72,74,75,78,84,86,87,89,91,92,93,94,96],[44,86,87,88,91,93,96],[48,89,90,91,93,96],[2,3,5,7,8,12,13,14,15,16,19,21,25,26,29,34,35,36,38,43,44,45,47,51,52,54,55,57,58,60,64,68,69,71,74,75,76,77,78,80,82,83,85,86,87,90,91,94,95,96],[17,89,94,96],[9,90,94,96],[0,3,5,6,7,9,12,13,14,16,17,19,20,21,23,31,33,37,38,40,41,43,44,45,47,49,51,53,54,55,57,60,61,63,64,68,69,70,73,74,75,79,80,82,85,86,90,91,94,95,96],[46,92,94,96],[33,73,78,87,88,90],[8,15,16,22,23,26,28,30,32,35,40,43,45,47,48,49,50,54,60,63,64,65,69,72,73,74,75,78,84,87,91,93],[0,1,4,5,9,15,18,19,23,26,31,32,33,36,43,49,50,51,60,67,69,71,72,73,78,87,88,91,92],[0,3,5,6,7,8,12,13,19,20,21,22,26,28,29,30,31,32,33,35,36,38,41,44,46,48,49,50,53,54,55,57,61,65,68,70,71,72,79,80,82,84,85,86,87,89,95],[1,3,4,6,7,8,9,12,13,15,16,18,20,21,26,29,32,34,38,40,41,44,45,46,47,49,50,51,53,54,55,57,61,63,64,67,68,70,72,74,75,79,80,82,85,86,87,88,89,92,93,95],[0,3,5,6,7,8,12,13,15,16,19,20,21,23,29,31,34,36,38,40,41,43,44,45,46,47,49,53,55,57,60,61,63,64,68,69,70,71,74,75,78,79,80,82,85,86,87,88,90,92,95],[15,16,22,23,26,28,30,32,35,37,40,43,45,47,48,49,50,54,60,63,64,65,69,72,73,74,75,78,84,86,89,91,92,94,96],[0,1,4,5,9,15,18,19,23,26,31,32,33,36,43,49,50,54,60,67,69,71,72,73,78,86,88,91,92],[0,1,4,5,9,14,16,18,19,22,28,30,31,35,36,40,45,47,48,51,63,64,65,67,71,73,74,75,84,86,89,91,92],[33,71,73,86,88,89,92,94,96],[0,1,3,4,9,11,12,13,14,15,18,20,21,22,25,27,28,29,30,34,35,39,40,41,42,43,44,46,47,48,52,53,55,57,59,60,61,65,66,68,76,80,81,82,83,84,85,87,88,89,90,91,94,96],[3,5,11,12,13,14,15,16,19,20,21,25,27,29,31,33,34,36,39,41,42,43,44,45,46,51,52,53,55,57,59,60,61,62,63,64,66,67,68,71,74,75,76,80,82,83,85,87,91,92,93,94,96],[3,5,11,12,13,14,19,20,21,22,23,25,26,27,28,29,30,31,32,34,35,36,39,40,41,42,44,46,47,48,49,50,51,52,53,54,55,57,59,61,65,66,67,68,69,71,72,76,78,80,83,84,85,87,88,89,90,95,96],[2,3,7,10,11,13,14,15,16,17,18,22,25,26,27,29,31,34,35,37,38,41,42,44,46,48,52,53,54,56,61,62,64,66,71,72,73,76,77,78,79,80,82,83,84,89,91,93],[20,92,95,96],[0,6,7,8,11,14,23,25,27,38,39,40,42,51,52,59,66,67,69,70,73,76,78,79,83,89,90,92,94],[42,89,91,92,95,96],[1,4,5,6,7,8,9,11,14,15,18,19,25,26,27,31,32,36,38,39,40,42,43,47,49,50,52,54,59,60,63,66,70,71,72,73,76,79,83,95],[3,5,11,12,13,14,19,20,22,23,25,26,27,28,29,30,31,32,34,35,36,39,40,41,42,44,46,47,48,49,50,51,52,53,54,55,57,59,61,65,66,67,68,69,71,72,76,78,80,82,83,84,85,86,88,89,90,93],[0,2,3,4,5,7,10,11,13,14,19,24,25,28,29,30,31,32,33,36,37,39,42,45,46,47,48,51,54,55,56,61,62,63,64,65,66,67,72,73,74,75,76,77,78,79,80,84,85,88,91,92,95],[3,5,11,12,13,14,15,16,19,20,21,25,27,29,31,33,34,36,39,41,42,43,44,45,46,51,52,53,55,57,59,60,61,63,66,67,68,71,74,75,76,80,82,83,85,86,92,94,96],[0,2,3,5,6,7,9,11,12,13,16,17,19,20,23,25,26,27,29,30,33,35,36,37,39,40,42,43,45,46,47,48,51,54,55,57,58,59,60,62,64,66,67,68,71,73,74,77,78,79,80,81,82,87,91,92,93],[1,4,5,6,7,8,9,11,14,15,18,19,26,27,31,32,36,38,39,40,42,43,47,49,50,52,54,59,60,66,70,71,72,73,76,79,83,86,87,91,93,95],[1,4,5,7,8,9,11,14,16,18,19,22,23,25,27,28,30,31,33,35,36,38,39,42,45,48,52,59,63,64,65,66,69,70,71,73,74,75,76,78,79,83,84,86,87,88,89,90,91,92,94,95,96],[2,4,5,7,9,14,16,18,19,20,22,23,24,25,27,28,31,32,33,36,37,38,39,40,42,45,47,48,51,54,55,58,61,63,64,65,67,71,73,74,75,76,77,78,79,88,89,90,93,94,95,96],[0,1,4,5,9,12,15,18,19,23,26,31,32,36,43,49,50,51,54,60,67,69,71,72,78,87,91,94,96],[15,16,19,22,23,26,28,30,32,33,35,40,43,45,47,48,49,50,54,60,63,64,65,69,72,74,75,78,84,87,88,89,90,91,92,93,94,96],[0,1,5,9,16,18,19,22,28,30,31,33,35,36,40,45,47,48,51,63,64,65,67,71,74,75,84,87,88,92,93],[1,3,4,6,7,8,9,12,13,16,18,20,21,26,29,32,33,34,38,40,41,44,45,46,47,49,50,51,52,53,54,55,57,61,63,64,67,68,70,72,73,74,75,79,80,82,85,92,93,94,95,96],[32,89,90,92],[0,1,3,5,6,7,9,12,13,14,16,17,19,20,26,27,29,31,33,36,37,38,40,41,43,47,48,51,54,57,60,62,63,64,66,67,68,69,70,73,74,77,80,81,82,83,84,86,89,91,92,94,95],[1,3,4,6,7,8,9,12,13,15,18,20,21,22,28,29,30,34,35,38,41,43,44,46,48,51,53,55,57,60,61,65,67,68,69,70,73,78,79,80,82,84,85,88,89,91,92,95],[0,2,3,5,6,7,8,10,12,13,15,16,19,22,26,28,29,31,35,36,38,41,45,47,49,50,52,54,55,57,60,61,69,71,75,78,82,84,85,86,87,90,91,92],[0,1,4,5,9,16,18,19,22,28,30,31,33,35,36,40,45,47,48,51,63,64,65,67,71,72,74,75,84,86,88,89,90,92],[2,6,7,10,13,14,15,16,17,18,19,21,22,23,26,27,28,29,31,34,35,37,41,44,46,47,48,53,54,57,61,62,66,67,71,77,78,79,81,82,83,87,96],[38,89,92,93],[1,3,4,6,7,8,9,12,13,15,18,20,21,22,23,28,29,30,31,34,35,38,41,43,44,46,48,51,53,55,57,60,61,65,67,68,69,70,73,78,79,80,82,84,85,86,87,88,89,90,91,93,95],[1,3,4,6,7,8,9,12,13,16,18,20,21,26,29,32,33,34,38,40,41,44,45,46,47,49,50,51,53,54,55,57,63,64,67,68,70,72,73,74,75,79,80,82,85,86,87,91,92,94,95,96],[0,3,5,6,7,8,12,13,19,20,21,22,26,28,29,30,31,32,34,35,36,38,41,44,46,48,49,50,53,54,55,57,61,65,67,68,70,71,72,73,79,80,82,84,85,86,87,88,89,90,91,93,94,95,96],[1,2,4,7,11,13,17,18,20,22,25,26,27,29,31,32,33,35,37,38,39,42,46,47,54,58,59,60,61,62,64,66,68,72,73,76,77,78,79,80,84,86,88,90,93,94],[57,89,91,94],[0,6,7,9,10,12,14,15,17,19,21,22,25,28,30,32,37,38,41,43,46,48,49,50,52,53,55,57,58,61,64,65,68,70,72,74,76,77,78,83,85,89,94,95,96],[11,15,16,22,23,26,28,30,32,35,40,43,45,47,48,49,50,54,60,63,64,65,69,72,73,74,75,78,84,88,91,93],[0,1,4,5,9,15,18,19,23,26,31,32,33,35,36,43,49,50,51,54,60,67,69,71,72,73,78,91,92],[0,1,4,5,9,16,18,19,22,28,30,31,35,36,40,45,47,48,51,53,63,64,65,67,71,73,74,75,84,88,89,91,92,93,96],[0,2,5,7,10,12,13,14,15,16,20,21,22,23,24,25,26,28,29,33,36,37,38,39,40,43,46,47,49,50,51,53,55,56,60,62,63,64,65,66,69,73,75,76,77,79,85,93],[80,91,93,94],[1,3,4,6,7,8,9,12,13,16,18,20,21,26,29,32,34,38,40,41,44,45,46,47,49,50,51,53,54,55,57,61,63,64,65,67,68,70,72,74,75,79,80,82,85,86,90,91,92,94,95],[3,5,8,12,13,19,20,21,22,23,24,25,26,27,28,29,30,31,32,34,36,37,42,44,45,47,48,49,50,52,57,59,61,65,67,68,69,72,73,77,79,80,82,83,85,88,90,92,93,94],[55,89,91,92,93,94],[84,90,91,92,93,94],[1,3,4,8,9,17,18,20,21,22,23,26,28,29,32,34,35,37,40,43,44,46,50,51,53,60,61,63,64,67,68,69,70,72,74,79,80,83,84,87,88,90,91,92,94,96],[18,89,90,95],[0,2,3,6,7,8,13,21,23,29,30,31,32,33,36,37,38,40,41,43,44,45,46,51,52,53,57,60,61,62,63,64,65,66,71,74,75,77,78,79,81,82,84,88,89,94,95],[3,11,12,13,14,15,16,19,20,21,25,27,29,31,33,34,36,39,41,42,43,44,45,46,51,52,53,55,57,59,60,61,63,64,66,67,68,71,74,75,76,80,82,83,85,88,92,93,94],[0,6,7,8,11,14,15,16,22,25,26,28,30,32,33,35,38,39,42,43,45,48,49,50,51,52,54,59,60,63,64,65,66,67,70,72,73,74,75,76,79,83,84,87,90,91,93,96],[1,4,5,6,7,8,9,11,14,15,18,19,25,27,31,32,36,38,39,40,42,43,47,49,50,52,54,59,60,66,70,71,72,73,76,79,83,87,88,90,91,92,96],[0,6,7,8,11,14,23,25,27,38,39,40,42,47,51,52,59,66,67,70,73,76,78,79,83,87,88,89,90,92,94],[0,2,3,4,6,7,10,11,12,14,16,19,22,25,28,29,30,31,32,33,34,35,39,42,43,45,46,48,51,52,59,61,63,64,65,66,69,70,72,73,74,75,76,78,79,83,84,87,94],[3,5,11,12,13,14,15,16,19,20,21,25,27,29,31,33,34,36,39,41,42,43,44,45,46,50,51,52,53,55,57,59,60,61,63,64,66,67,68,71,74,75,76,80,82,83,85,86,87,88,90,91,92,93,94,95],[0,1,3,4,9,11,12,13,14,16,18,20,21,23,25,26,27,29,32,33,34,39,41,42,44,45,46,49,50,52,53,54,55,57,59,60,61,63,64,66,68,69,72,74,75,76,78,80,82,83,85,86,87,88,89,90,92,93,95,96],[1,4,5,6,7,8,9,11,14,16,18,19,22,23,25,27,28,30,31,33,35,36,38,39,42,45,48,52,59,63,64,65,66,69,70,71,73,74,75,76,78,79,84,86,89,90,93,94],[0,1,6,7,8,11,14,23,25,27,38,39,40,42,47,51,52,59,66,67,69,70,73,76,78,79,83,86,88,89,90,92,94],[0,1,2,4,5,6,7,8,11,14,17,18,19,21,25,26,27,33,34,36,39,40,42,43,44,45,47,48,49,50,53,54,55,59,60,62,69,70,71,72,75,76,77,81,83,84,85,87,90,92,93],[1,2,4,7,8,9,11,15,17,18,20,23,25,27,30,31,33,34,35,36,37,38,39,41,42,43,48,49,50,51,55,57,58,59,61,62,63,68,69,71,73,75,77,79,80,87,90,93,94,96],[1,2,4,7,9,10,12,17,18,19,20,21,23,25,26,30,31,33,36,37,38,43,48,49,50,51,54,55,57,60,62,65,67,68,69,71,77,79,85,88,89,91,92,93],[0,6,7,8,11,13,14,23,25,27,33,38,39,40,42,47,51,52,59,66,67,69,70,76,78,79,83,88,90,91,94,95,96],[2,5,6,8,11,15,16,19,20,22,24,33,36,37,43,50,52,55,56,58,61,62,64,65,66,70,83,87,89,90,91,92,93,94,96],[45,89,90,92,94,95],[3,5,11,12,13,14,15,16,19,20,21,24,25,27,29,31,34,36,39,41,42,43,44,45,46,51,52,53,55,57,59,60,61,63,64,66,67,68,71,73,74,75,76,80,82,83,85,87,88,89,90,91,93,95,96],[40,90,91,92,94,95],[0,1,2,3,4,5,6,9,10,11,14,15,18,25,26,28,29,30,36,37,39,41,44,45,46,47,48,50,53,54,56,57,61,62,63,64,65,66,67,70,74,75,76,77,79,82,84,86,88,90,95,96],[0,6,7,8,11,14,15,16,22,25,26,27,28,30,32,35,38,39,42,43,45,48,49,50,51,52,54,59,60,63,64,65,66,67,70,72,75,76,79,83,84,86,87,89,90,91,92,93,94],[3,5,11,12,13,14,15,16,19,20,21,25,27,29,31,34,36,39,41,42,43,44,45,46,51,52,53,55,57,59,60,61,63,64,67,68,71,73,74,75,76,80,82,83,85,86,88,90,91,92,94,96],[77,90,92,93,94,95],[0,1,3,4,9,11,12,13,14,16,18,20,21,23,25,26,27,29,32,34,39,42,44,45,46,49,50,52,53,54,55,57,59,61,63,64,66,68,69,72,73,74,75,76,78,80,82,83,85,86,88,90,93,94,95],[39,89,90,91,92,93,94,95],[0,1,2,4,5,6,7,9,11,15,16,17,18,19,21,25,26,27,28,29,30,37,38,39,40,41,42,44,45,46,48,51,53,54,59,61,62,63,65,66,69,70,73,74,75,77,82,86,87,89,91,94,95,96],[0,1,2,3,7,8,9,10,13,15,17,18,22,24,25,26,27,28,29,30,33,34,36,38,40,42,43,44,45,47,48,50,51,52,54,55,56,60,61,63,64,65,67,74,77,78,80,82,83,86,88,91,92,93,95,96],[0,1,4,5,9,15,18,19,23,26,31,32,36,43,49,50,51,54,60,67,69,71,72,78,85,88,94],[1,2,9,11,14,15,17,20,21,24,30,32,33,34,35,37,40,42,44,47,48,51,52,55,61,62,63,66,67,69,70,71,75,77,81,83,85,88,90,92,93,95,96],[0,3,5,6,7,8,12,13,19,20,21,22,26,28,29,30,31,32,33,34,35,36,38,41,44,46,48,49,50,53,54,55,57,61,65,68,70,71,72,79,80,82,85,86,89,95],[1,3,4,6,7,8,9,12,13,16,18,20,21,26,29,32,33,34,38,40,41,44,45,46,47,49,50,51,53,54,55,57,61,63,64,67,68,72,73,74,75,79,80,82,85,87,88,93,94,95,96],[0,5,6,10,12,15,17,18,19,20,21,23,25,29,31,33,34,36,38,39,40,41,42,43,44,45,46,47,49,51,52,53,55,56,57,60,61,63,67,68,70,71,72,73,74,75,76,78,81,82,83,84,85,86,92,93,96],[22,90,93,96],[0,1,4,5,9,16,18,19,22,28,30,31,33,35,36,40,45,47,51,63,64,65,67,71,74,75,84,86,87,92,93],[1,3,4,6,7,8,9,12,13,16,18,20,21,26,29,32,33,34,38,40,41,44,45,46,47,49,50,51,53,54,55,57,58,61,63,64,67,68,70,72,73,74,75,79,80,82,85,86,88,92,94,95],[0,3,5,6,7,8,12,13,19,20,21,22,26,28,29,30,31,32,34,35,36,38,41,44,46,48,49,50,53,54,55,57,59,61,65,68,70,71,72,73,79,80,82,84,85,86,89,90,93,94,95],[0,3,5,6,8,12,13,15,16,19,20,21,23,29,31,33,34,36,38,40,41,43,44,45,46,47,53,55,57,60,61,63,64,68,69,70,71,73,74,75,78,79,80,82,85,86,88,92,95,96],[1,2,4,5,6,9,14,16,18,19,20,22,23,25,26,28,30,36,41,45,46,47,48,52,53,54,58,61,64,65,67,70,71,73,74,75,76,77,79,83,84,87,89,91,93,94],[1,3,4,6,7,8,9,12,13,15,17,18,20,21,22,23,28,29,30,33,34,35,38,41,43,44,46,48,51,53,55,57,60,61,65,67,68,69,70,78,79,80,82,84,85,91,94,95,96],[0,3,5,6,7,8,9,12,13,15,16,19,20,21,23,29,31,34,36,38,40,41,43,44,45,46,47,53,55,57,60,61,63,64,68,69,70,71,74,75,78,79,80,82,85,88,91,92,93,94,95,96],[8,9,14,16,17,22,23,26,28,29,30,32,34,35,36,37,40,43,45,46,47,48,50,51,60,63,64,65,69,71,72,73,74,75,84,86,89,90],[1,3,4,6,7,8,9,12,13,16,18,20,21,26,29,32,34,36,38,40,41,44,45,46,47,49,50,51,53,54,55,57,61,63,64,67,68,70,72,74,75,79,80,82,85,88,90,91,92,93,94,95,96],[0,1,4,5,9,16,18,19,22,28,30,31,35,36,40,45,46,47,48,51,63,64,65,67,71,73,74,75,84,87,89,93,94,96],[8,89,91,92,94,96],[54,90,91,92,94,96],[34,93,94,96],[15,89,90,93,94,96],[1,3,4,6,7,8,9,12,13,15,18,20,21,22,23,28,30,33,34,35,38,41,43,44,46,48,51,53,55,57,60,61,65,67,68,69,70,78,79,80,82,84,85,86,87,89,93,95],[51,90,92,93,94,96],[71,89,90,91,92,93,94,96],[82,91,95,96],[0,1,2,4,7,9,10,12,15,17,20,21,22,23,31,32,33,35,37,38,39,45,48,49,50,55,56,57,59,62,63,68,69,71,73,74,75,77,79,84,85,87,89,92],[1,4,5,6,7,8,9,11,14,16,18,19,20,22,23,25,27,28,30,31,33,35,36,38,39,42,45,48,52,59,63,64,65,66,69,70,71,73,74,75,76,78,79,83,84,88,89,90,93,94],[47,89,90,92,95,96],[0,6,7,8,11,14,15,16,22,25,26,27,28,30,32,33,35,38,39,43,45,48,49,50,51,52,54,59,60,63,64,65,66,67,70,72,73,74,75,76,79,83,84,88,90,91,93,96],[0,1,3,4,9,11,12,13,14,16,18,20,21,23,25,26,27,29,32,33,34,39,41,42,44,45,46,49,50,52,53,54,55,57,59,61,63,64,66,68,69,72,74,76,78,80,82,83,85,86,92],[1,2,5,7,9,10,12,15,18,19,20,21,22,24,27,31,32,33,34,35,36,37,40,41,43,44,45,51,52,53,54,56,57,59,60,62,63,64,67,68,72,73,74,75,77,78,79,82,83,86,89,90,91,92,93,94,95,96],[2,3,5,8,9,12,13,14,15,17,19,20,22,23,28,29,32,36,37,38,40,46,47,49,50,52,55,57,58,62,63,65,68,70,71,72,75,76,77,78,80,81,82,83,84,86,88,89,90,93,95],[0,2,4,5,6,8,9,11,16,18,19,20,22,24,28,31,32,33,36,37,45,48,52,54,55,58,59,61,63,64,65,66,69,70,71,74,75,77,83,86,87,88,89,90,91],[12,89],[19,90],[3,87],[52,92],[0,3,5,6,7,8,12,13,19,20,21,22,26,28,29,30,31,34,35,36,38,41,44,46,48,49,50,53,54,55,57,61,65,68,70,71,72,73,79,80,82,84,85,88,89,90,94,95,96],[1,8,9,14,15,17,21,23,26,27,34,37,44,45,46,48,51,53,54,55,61,62,66,67,71,75,77,78,79,81,83,84,85,86,92,93,94],[0,2,3,5,6,7,8,10,12,13,15,16,19,22,26,28,29,31,35,36,38,41,45,47,49,50,52,54,55,57,60,61,69,71,75,78,82,84,85,87,90,91,92],[72,89,90,93],[0,1,2,4,5,6,7,9,10,13,14,16,17,21,22,27,28,29,32,34,35,36,37,41,43,44,46,47,48,49,50,51,53,57,60,61,62,66,69,72,77,79,81,82,83,86,87,89,91,94],[15,16,22,23,26,28,30,32,33,35,40,45,47,48,49,50,54,60,63,64,65,69,72,74,75,78,84,86,88,89,91,92,93,94,96],[0,3,5,6,7,8,12,13,15,16,19,20,21,23,29,31,33,34,36,40,41,43,44,45,46,47,53,55,57,60,61,63,64,68,69,70,71,73,74,75,78,79,80,82,85,86,87,91,92,95],[31,90,92,93],[61,91,92,93],[67,89,90,91,92,93],[0,1,2,3,4,5,6,8,11,12,17,18,19,21,25,27,28,30,34,36,37,39,41,42,44,47,48,49,50,53,55,57,58,59,60,62,64,65,66,70,71,73,76,77,78,82,85,86,87,89,90,93,94,95],[1,3,4,6,7,8,9,12,13,16,18,20,21,26,29,32,34,38,40,41,44,45,46,47,49,50,51,53,54,55,56,57,61,63,64,67,68,70,72,74,75,79,80,82,85,87,89,92,93,95],[1,3,4,6,7,8,9,12,13,15,18,20,21,22,23,28,29,30,33,34,35,38,41,43,44,46,48,51,53,55,60,61,65,67,68,69,70,78,79,80,82,84,85,87,88,89,95,96],[3,5,8,9,10,13,14,16,17,20,22,23,25,28,29,30,31,32,34,36,37,40,44,45,47,48,49,50,52,58,60,63,65,69,71,72,75,76,77,79,80,82,83,87,89,91,92,93],[53,91,92,94],[73,89,92,94,96],[0,1,2,3,4,5,6,8,9,10,14,16,18,24,25,26,30,34,35,36,37,39,40,41,44,47,48,49,50,56,57,61,62,63,64,66,67,68,70,73,75,76,77,78,80,82,84,86,88,91,93,94,95,96],[0,3,5,6,7,8,12,13,15,16,19,20,21,23,28,29,31,34,36,38,40,41,43,44,45,46,47,53,55,57,60,61,63,64,68,69,70,71,74,75,78,79,80,82,85,86,91,92,93,94,95,96],[0,3,5,6,7,8,12,13,19,20,21,22,26,28,29,30,31,32,33,34,35,36,38,41,44,46,48,49,50,53,54,55,57,61,65,68,70,71,72,79,82,84,85,86,88,89,91,93,94,95],[65,89,90,91,93,94],[0,1,4,5,9,16,18,19,22,28,30,31,35,36,40,45,47,48,51,63,64,65,67,71,73,74,75,76,84,86,87,88,89,93,94,96],[3,5,8,12,13,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,36,37,42,44,45,47,48,49,50,52,57,59,61,65,67,68,69,72,77,79,80,82,83,85,86,87,88,89,90,93,96],[15,16,22,23,26,28,30,32,35,40,43,45,47,48,49,50,54,55,60,63,64,65,69,72,73,74,75,78,84,86,87,88,89,92,94],[0,1,4,5,9,15,18,19,23,26,31,32,33,36,43,49,50,51,54,60,67,69,71,72,73,78,84,86,87,90,93,94],[1,4,5,8,9,11,12,13,14,17,18,19,25,27,30,31,36,37,39,41,42,43,47,48,49,52,54,55,57,59,60,63,64,65,66,70,71,74,76,78,79,82,85,87,88,89,91,92,94,95],[0,1,3,4,9,11,12,13,14,16,20,21,23,25,26,27,29,32,33,34,39,41,42,44,45,46,49,50,52,53,54,55,57,59,61,63,64,66,68,69,72,74,75,76,78,80,82,83,85,88,92,93,96],[1,2,4,6,7,8,9,11,12,14,15,18,20,22,23,25,27,28,31,32,33,34,35,36,37,38,39,42,45,47,48,51,55,59,62,63,64,68,71,74,75,76,77,78,79,80,81,83,85,88,89,90,91],[5,90,91,95],[1,2,4,5,6,7,8,9,11,14,16,18,19,22,23,25,27,28,30,31,33,35,36,38,39,42,45,48,52,59,63,64,65,66,69,70,71,73,74,75,76,78,79,83,84,87,89,90,93,94],[1,2,6,7,9,10,13,15,16,18,19,20,21,27,31,32,33,40,41,44,45,47,51,53,55,57,60,63,64,68,69,70,72,73,74,75,78,79,80,82,85,86,90,91,95],[3,5,10,11,12,13,14,19,20,21,22,23,25,26,27,28,29,30,31,32,34,35,36,39,40,41,42,44,46,47,48,49,50,51,52,53,54,55,57,59,61,65,66,67,68,69,71,72,76,78,80,82,83,84,85,86,87,89,90,95,96],[1,2,4,5,15,16,17,18,19,21,22,28,30,32,34,35,36,38,40,44,47,51,52,53,55,62,63,64,65,66,67,69,71,73,74,77,79,81,85,86,87,91,92,96],[0,1,4,5,6,7,8,9,11,14,15,18,19,25,26,27,31,32,36,38,39,40,42,43,47,49,50,52,54,59,60,66,70,71,72,73,76,79,83,86,88,90,91,92,96],[2,5,6,14,17,19,20,23,26,30,32,34,35,37,40,41,47,48,51,52,54,55,57,58,60,61,62,63,66,68,69,70,72,73,75,76,77,80,83,87,88,89,91,93,96],[0,1,2,4,6,8,9,10,11,12,14,15,16,17,18,19,20,21,22,23,27,28,31,32,33,35,36,37,39,42,45,52,55,57,59,62,63,64,66,68,69,70,71,72,74,75,76,77,83,84,85,88,90,94],[13,91,94,95],[1,2,4,7,9,14,15,18,20,23,24,25,27,28,30,31,33,35,37,38,39,42,43,45,48,50,55,56,58,59,61,62,63,69,71,74,75,76,78,79,84,87,89,91,94],[0,1,3,4,9,11,12,13,14,16,18,20,21,23,25,26,27,29,32,34,39,41,42,44,45,46,49,50,52,53,54,55,57,59,61,63,64,66,68,69,72,73,74,75,76,78,79,80,82,83,85,87,88,90,93,94,95],[3,5,11,12,13,14,19,20,21,22,23,25,26,27,28,29,30,31,32,33,34,35,36,39,40,41,42,44,45,46,47,48,49,50,51,52,53,54,55,57,59,61,65,66,67,68,69,71,72,73,76,78,80,82,83,84,85,87,89],[0,1,3,4,9,11,12,13,14,15,18,20,21,22,25,27,28,29,30,33,34,35,39,41,42,43,44,46,47,48,52,53,55,57,59,60,61,65,66,68,73,76,80,82,83,84,85,87,89,94,96],[0,6,7,8,11,14,23,25,27,33,38,39,40,42,47,51,52,59,66,67,68,69,70,76,78,79,83,86,87,88,90,96],[1,4,5,6,7,8,9,11,14,18,19,22,23,25,27,28,30,31,35,36,38,39,42,45,48,52,59,63,64,65,66,69,70,71,74,75,76,78,79,83,84,86,87,90,92,93,96],[0,2,3,7,8,10,19,27,28,29,30,31,32,33,37,38,40,41,42,43,44,45,46,48,49,52,53,56,57,59,60,61,62,63,64,65,67,71,72,74,75,77,82,83,84,87,89,91,94,95,96],[66,89,92,93,94,95],[0,1,3,4,9,11,12,13,14,15,18,20,21,22,25,27,28,29,30,33,34,35,39,40,41,42,43,44,46,47,48,52,53,55,57,59,60,61,65,66,68,73,76,77,80,82,83,84,85,86,89,91,93,94,96],[3,5,11,12,13,14,19,20,21,22,23,25,26,27,28,29,30,31,32,33,34,35,36,40,41,42,44,46,47,48,49,50,51,52,53,54,55,57,59,61,65,66,67,68,69,71,72,73,76,78,80,82,83,84,85,86,89,91,93],[0,1,2,4,5,6,7,9,11,15,16,17,18,19,21,25,26,27,28,29,30,37,38,39,40,41,42,44,45,46,48,51,53,54,59,61,62,63,65,66,69,70,73,74,75,77,82,86,87,88,89,91,94,95,96],[2,3,4,5,7,8,10,13,15,16,17,19,24,25,26,27,29,31,34,35,38,42,43,44,50,52,54,55,56,60,61,71,75,77,78,80,82,83,84,86,88,91,95,96],[85,89,91,96],[15,16,22,23,26,28,30,32,33,35,40,43,45,47,48,49,50,54,60,63,64,65,69,72,73,74,75,78,84,89,90,92,93,94],[0,1,2,3,5,6,7,8,9,11,12,13,14,16,17,19,23,24,29,30,31,32,35,36,37,38,41,42,43,45,46,48,51,52,53,57,60,62,64,66,67,68,73,74,77,78,79,80,81,82,83,87,89,90,91,92,96],[0,3,5,6,7,8,12,13,19,20,21,22,26,28,29,31,32,34,35,36,38,41,44,46,48,49,50,53,54,55,57,61,65,68,70,71,72,73,79,80,82,84,85,87,92,94,95,96],[1,4,6,9,10,12,17,20,21,25,26,29,32,33,34,38,39,40,41,42,44,45,46,47,50,52,53,54,55,56,57,61,63,68,69,70,73,74,75,76,81,82,83,84,85,87,88,89,91,92,93,94],[15,16,23,26,28,30,32,33,35,40,43,45,47,48,49,50,54,60,63,64,65,69,72,74,75,78,84,86,87,89,90,91,92,94],[44,86,87,88],[58,92,93,96],[59,89,90,92,93,96],[7,89,91,92,93,96],[2,3,5,7,8,12,13,14,15,16,19,21,25,26,29,34,35,36,38,43,44,45,47,51,52,54,55,57,58,60,64,68,69,71,74,75,76,77,78,80,82,83,85,86,87,92,93,94,95],[0,3,5,6,7,9,12,13,14,16,17,19,20,21,23,31,33,37,38,40,41,43,44,45,47,49,51,53,54,55,57,60,61,63,64,68,69,70,73,74,75,79,80,82,85,86,90,95],[36,89,90,91,94,96],[33,73,78,87,88,89,92,94,96],[8,15,16,22,23,26,28,30,32,35,40,43,45,47,48,49,50,54,60,63,64,65,69,72,73,74,75,78,84,87,89,92,93,94,96],[0,1,4,5,9,15,18,19,23,26,31,32,33,36,43,49,50,51,60,67,69,71,72,73,78,87,88,90,94,96],[0,3,5,6,7,8,12,13,19,20,21,22,26,28,29,30,31,32,33,35,36,38,41,44,46,48,49,50,53,54,55,57,61,65,68,70,71,72,79,80,82,84,85,86,87,89,93,94,95,96],[1,3,4,6,7,8,9,12,13,15,16,18,20,21,26,29,32,34,38,40,41,44,45,46,47,49,50,51,53,54,55,57,61,63,64,67,68,70,72,74,75,79,80,82,85,86,87,88,90,92,94,95,96],[29,89,91,93,94,96],[0,3,5,6,7,8,12,13,15,16,19,20,21,23,29,31,34,36,38,40,41,43,44,45,46,47,49,53,55,57,60,61,63,64,68,69,70,71,74,75,78,79,80,82,85,86,87,88,91,92,93,94,95,96],[15,16,22,23,26,28,30,32,35,37,40,43,45,47,48,49,50,54,60,63,64,65,69,72,73,74,75,78,84,86,91,93],[0,1,4,5,9,15,18,19,23,26,31,32,33,36,43,49,50,54,60,67,69,71,72,73,78,86,88,90,91,93,94,96],[0,1,4,5,9,14,16,18,19,22,28,30,31,35,36,40,45,47,48,51,63,64,65,67,71,73,74,75,84,86,89,93,94,96],[33,71,73,86,88,90,91,93],[0,1,3,4,9,11,12,13,14,15,18,20,21,22,25,27,28,29,30,34,35,39,40,41,42,43,44,46,47,48,52,53,55,57,59,60,61,65,66,68,76,80,81,82,83,84,85,87,88,90,91,94,95],[3,5,11,12,13,14,15,16,19,20,21,25,27,29,31,33,34,36,39,41,42,43,44,45,46,51,52,53,55,57,59,60,61,62,63,64,66,67,68,71,74,75,76,80,82,83,85,87,90,91,92,93,94,95],[3,5,11,12,13,14,19,20,21,22,23,25,26,27,28,29,30,31,32,34,35,36,39,40,41,42,44,46,47,48,49,50,51,52,53,54,55,57,59,61,65,66,67,68,69,71,72,76,78,80,83,84,85,87,88,89,90,91],[2,3,7,10,11,13,14,15,16,17,18,22,25,26,27,29,31,34,35,37,38,41,42,44,46,48,52,53,54,56,61,62,64,66,71,72,73,76,77,78,79,80,82,83,84,90,93,95,96],[0,6,7,8,11,14,23,25,27,38,39,40,42,51,52,59,66,67,69,70,73,76,78,79,83,94,95,96],[1,4,5,6,7,8,9,11,14,15,18,19,25,26,27,31,32,36,38,39,40,42,43,47,49,50,52,54,59,60,63,66,70,71,72,73,76,79,83,90,91,92,96],[3,5,11,12,13,14,19,20,22,23,25,26,27,28,29,30,31,32,34,35,36,39,40,41,42,44,46,47,48,49,50,51,52,53,54,55,57,59,61,65,66,67,68,69,71,72,76,78,80,82,83,84,85,86,88,89,90,95,96],[75,89,90,93,95,96],[0,2,3,4,5,7,10,11,13,14,19,24,25,28,29,30,31,32,33,36,37,39,42,45,46,47,48,51,54,55,56,61,62,63,64,65,66,67,72,73,74,75,76,77,78,79,80,84,85,88,89,92,93,96],[3,5,11,12,13,14,15,16,19,20,21,25,27,29,31,33,34,36,39,41,42,43,44,45,46,51,52,53,55,57,59,60,61,63,66,67,68,71,74,75,76,80,82,83,85,86,90,91,92,93,94,95],[0,2,3,5,6,7,9,11,12,13,16,17,19,20,23,25,26,27,29,30,33,35,36,37,39,40,42,43,45,46,47,48,51,54,55,57,58,59,60,62,64,66,67,68,71,73,74,77,78,79,80,81,82,87,89,91,95,96],[1,4,5,6,7,8,9,11,14,15,18,19,26,27,31,32,36,38,39,40,42,43,47,49,50,52,54,59,60,66,70,71,72,73,76,79,83,86,87,90,91,92,96],[1,4,5,7,8,9,11,14,16,18,19,22,23,25,27,28,30,31,33,35,36,38,39,42,45,48,52,59,63,64,65,66,69,70,71,73,74,75,76,78,79,83,84,86,87,88,89,90,93,94],[2,4,5,7,9,14,16,18,19,20,22,23,24,25,27,28,31,32,33,36,37,38,39,40,42,45,47,48,51,54,55,58,61,63,64,65,67,71,73,74,75,76,77,78,79,88,91,92,94]]},"distance":{"d":3,"is_exact":true,"upper":3,"witness":[0,2,311],"A_d":3116,"certified":null},"clifford":{"kind":"powers","correction":{"S":[[0,2],[1,2],[2,1],[3,1],[4,2],[5,2],[6,1],[7,1],[8,1],[9,2],[10,1],[11,1],[12,1],[13,1],[14,1],[15,2],[16,1],[17,1],[18,2],[19,2],[20,1],[21,1],[22,1],[23,2],[24,1],[25,1],[26,2],[27,1],[28,1],[29,1],[30,1],[31,2],[32,2],[33,2],[34,1],[35,1],[36,2],[37,1],[38,1],[39,1],[40,1],[41,1],[42,1],[43,2],[44,1],[45,1],[46,1],[47,1],[48,1],[49,2],[50,2],[51,2],[52,1],[53,1],[54,2],[55,1],[56,1],[57,1],[58,1],[59,1],[60,2],[61,1],[62,1],[63,1],[64,1],[65,1],[66,1],[67,2],[68,1],[69,2],[70,1],[71,2],[72,2],[73,3],[74,1],[75,1],[76,1],[77,1],[78,2],[79,1],[80,1],[81,1],[82,1],[83,1],[84,2],[85,1],[86,1],[87,1],[90,1],[91,2],[92,1],[96,1]],"CZ":[[0,1],[0,4],[0,5],[0,9],[0,15],[0,18],[0,19],[0,23],[0,26],[0,31],[0,32],[0,33],[0,36],[0,43],[0,49],[0,50],[0,51],[0,54],[0,60],[0,67],[0,69],[0,71],[0,72],[0,73],[0,78],[0,84],[0,86],[0,87],[0,91],[0,92],[1,4],[1,5],[1,9],[1,15],[1,18],[1,19],[1,23],[1,26],[1,31],[1,32],[1,33],[1,36],[1,43],[1,49],[1,50],[1,51],[1,54],[1,60],[1,67],[1,69],[1,71],[1,72],[1,73],[1,78],[1,84],[1,86],[1,87],[1,91],[1,92],[4,5],[4,9],[4,15],[4,18],[4,19],[4,23],[4,26],[4,31],[4,32],[4,33],[4,36],[4,43],[4,49],[4,50],[4,51],[4,54],[4,60],[4,67],[4,69],[4,71],[4,72],[4,73],[4,78],[4,84],[4,86],[4,87],[4,91],[4,92],[5,9],[5,15],[5,18],[5,19],[5,23],[5,26],[5,31],[5,32],[5,33],[5,36],[5,43],[5,49],[5,50],[5,51],[5,54],[5,60],[5,67],[5,69],[5,71],[5,72],[5,73],[5,78],[5,84],[5,86],[5,87],[5,91],[5,92],[9,15],[9,18],[9,19],[9,23],[9,26],[9,31],[9,32],[9,33],[9,36],[9,43],[9,49],[9,50],[9,51],[9,54],[9,60],[9,67],[9,69],[9,71],[9,72],[9,73],[9,78],[9,84],[9,86],[9,87],[9,91],[9,92],[15,18],[15,19],[15,23],[15,26],[15,31],[15,32],[15,33],[15,36],[15,43],[15,49],[15,50],[15,51],[15,54],[15,60],[15,67],[15,69],[15,71],[15,72],[15,73],[15,78],[15,84],[15,86],[15,87],[15,91],[15,92],[18,19],[18,23],[18,26],[18,31],[18,32],[18,33],[18,36],[18,43],[18,49],[18,50],[18,51],[18,54],[18,60],[18,67],[18,69],[18,71],[18,72],[18,73],[18,78],[18,84],[18,86],[18,87],[18,91],[18,92],[19,23],[19,26],[19,31],[19,32],[19,33],[19,36],[19,43],[19,49],[19,50],[19,51],[19,54],[19,60],[19,67],[19,69],[19,71],[19,72],[19,73],[19,78],[19,84],[19,86],[19,87],[19,91],[19,92],[23,26],[23,31],[23,32],[23,33],[23,36],[23,43],[23,49],[23,50],[23,51],[23,54],[23,60],[23,67],[23,69],[23,71],[23,72],[23,73],[23,78],[23,84],[23,86],[23,87],[23,91],[23,92],[26,31],[26,32],[26,33],[26,36],[26,43],[26,49],[26,50],[26,51],[26,54],[26,60],[26,67],[26,69],[26,71],[26,72],[26,73],[26,78],[26,84],[26,86],[26,87],[26,91],[26,92],[31,32],[31,33],[31,36],[31,43],[31,49],[31,50],[31,51],[31,54],[31,60],[31,67],[31,69],[31,71],[31,72],[31,73],[31,78],[31,84],[31,86],[31,87],[31,91],[31,92],[32,33],[32,36],[32,43],[32,49],[32,50],[32,51],[32,54],[32,60],[32,67],[32,69],[32,71],[32,72],[32,73],[32,78],[32,84],[32,86],[32,87],[32,91],[32,92],[33,36],[33,43],[33,49],[33,50],[33,51],[33,54],[33,60],[33,67],[33,69],[33,71],[33,72],[33,73],[33,78],[33,84],[33,86],[33,87],[33,91],[33,92],[36,43],[36,49],[36,50],[36,51],[36,54],[36,60],[36,67],[36,69],[36,71],[36,72],[36,73],[36,78],[36,84],[36,86],[36,87],[36,91],[36,92],[43,49],[43,50],[43,51],[43,54],[43,60],[43,67],[43,69],[43,71],[43,72],[43,73],[43,78],[43,84],[43,86],[43,87],[43,91],[43,92],[49,50],[49,51],[49,54],[49,60],[49,67],[49,69],[49,71],[49,72],[49,73],[49,78],[49,84],[49,86],[49,87],[49,91],[49,92],[50,51],[50,54],[50,60],[50,67],[50,69],[50,71],[50,72],[50,73],[50,78],[50,84],[50,86],[50,87],[50,91],[50,92],[51,54],[51,60],[51,67],[51,69],[51,71],[51,72],[51,73],[51,78],[51,84],[51,86],[51,87],[51,91],[51,92],[54,60],[54,67],[54,69],[54,71],[54,72],[54,73],[54,78],[54,84],[54,86],[54,87],[54,91],[54,92],[60,67],[60,69],[60,71],[60,72],[60,73],[60,78],[60,84],[60,86],[60,87],[60,91],[60,92],[67,69],[67,71],[67,72],[67,73],[67,78],[67,84],[67,86],[67,87],[67,91],[67,92],[69,71],[69,72],[69,73],[69,78],[69,84],[69,86],[69,87],[69,91],[69,92],[71,72],[71,73],[71,78],[71,84],[71,86],[71,87],[71,91],[71,92],[72,73],[72,78],[72,84],[72,86],[72,87],[72,91],[72,92],[73,78],[73,84],[73,86],[73,87],[73,90],[73,92],[73,96],[78,84],[78,86],[78,87],[78,91],[78,92],[84,86],[84,87],[84,91],[84,92],[86,87],[86,91],[86,92],[87,91],[87,92],[90,91],[90,96],[91,92],[91,96]]},"rotation_powers":[[0,3],[1,3],[2,7],[3,5],[6,3],[7,5],[10,3],[11,7],[12,5],[14,5],[16,3],[17,7],[18,3],[19,7],[20,5],[23,7],[25,3],[27,5],[28,3],[31,5],[32,7],[33,7],[36,3],[37,7],[38,7],[39,7],[41,7],[42,5],[43,7],[45,3],[47,7],[48,7],[49,5],[52,3],[53,7],[54,5],[55,3],[56,3],[57,3],[59,3],[60,7],[61,3],[65,7],[67,7],[68,7],[69,7],[70,3],[73,5],[74,5],[78,5],[79,3],[80,7],[82,5],[83,5],[91,5],[92,7],[93,5],[95,3],[96,7],[98,3],[99,3],[106,3],[107,3],[108,3],[110,3],[112,3],[117,3],[119,3],[121,3],[125,3],[128,3],[130,3],[131,3],[132,3],[134,3],[135,3],[136,3],[137,3],[139,3],[140,3],[142,3],[143,3],[144,3],[145,3],[146,3],[148,3],[149,3],[151,3],[155,3],[160,3],[161,3],[162,3],[163,3],[166,3],[175,3],[180,3],[181,3],[182,3],[183,7],[184,5],[186,3],[188,3],[192,3],[193,3],[196,7],[202,3],[208,7],[210,3],[212,3],[213,3],[216,3],[221,3],[223,3],[225,3],[227,3],[231,3],[232,3],[233,3],[234,3],[236,3],[237,3],[238,3],[240,3],[241,3],[245,3],[251,3],[256,3],[263,3],[264,3],[265,3],[266,3],[267,3],[268,3],[269,3],[271,3],[274,3],[275,3],[277,3],[278,3],[279,3],[280,3],[281,3],[282,3],[283,3],[284,3],[285,3],[287,3],[292,3],[294,3],[295,3],[297,3],[298,3],[304,3],[306,3],[307,3],[309,3],[310,3],[312,3],[313,3],[314,3],[315,3],[317,3],[319,3],[320,3],[321,3],[322,3],[324,3],[325,3],[327,3],[328,3],[329,3],[333,3],[334,3],[335,3],[341,3],[342,3],[344,3],[345,3],[346,3],[347,3],[348,3],[349,3],[352,3],[353,3],[354,3],[355,3]]},"metrics":{"gamma":1.2981701596258428,"gamma_t":null,"gamma_rho":1.2981701596258428,"gamma_claim":1.2981701596258428,"gamma_t_claim":null,"gamma_rho_claim":1.2981701596258428,"v_ex":86,"rate":0.24022346368715083,"t_count":null,"poly_degree":null,"effective_width":86},"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_358_86_3_63543349f23e.json","label":"paired_column_contraction_358_86_3_63543349f23e","N":97,"d":3,"d_is_exact":true,"origin":"Wills-derived four-block Schur-orthogonal restricted-light parent (|S|=112), with searched graph punctures; 2 paired-column contractions","provenance":"gamma frontier release record paired_column_contraction_358_86_3_63543349f23e (source catalogue id paired_column_contraction_358_86_3_63543349f23e); construction: Wills-derived four-block Schur-orthogonal restricted-light parent (|S|=112), with searched graph punctures; 2 paired-column contractions; matrix 63543349f23e4369...; the release states d=3 (exact), gamma=1.2981701596258428 (exact)","notes":"matrix gamma_frontier_release/matrices/63543349f23e43695d89847d4b65368ffa8284f980a1ec03f1fa5b152bcf2c63.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"}]}