{"id":"359.87.3.a","row":997,"stored":{"file":"master_catalog.json","row":997,"construction":null,"columns_sha256":null},"parameters":{"n":359,"k":87,"d":3,"N":98,"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+86","human":"T0\u00b7T1\u00b7T2\u00b7T3\u00b7T4\u00b7T5\u00b7T6\u00b7T7\u00b7T8\u00b7T9\u00b7T10\u00b7T11\u00b7T12\u00b7T13\u00b7T14\u00b7T15\u00b7T16\u00b7T17\u00b7T18\u00b7T19\u00b7T20\u00b7T21\u00b7T22\u00b7T23\u00b7T24\u00b7T25\u00b7T26\u00b7T27\u00b7T28\u00b7T29\u00b7T30\u00b7T31\u00b7T32\u00b7T33\u00b7T34\u00b7T35\u00b7T36\u00b7T37\u00b7T38\u00b7T39\u00b7T40\u00b7T41\u00b7T42\u00b7T43\u00b7T44\u00b7T45\u00b7T46\u00b7T47\u00b7T48\u00b7T49\u00b7T50\u00b7T51\u00b7T52\u00b7T53\u00b7T54\u00b7T55\u00b7T56\u00b7T57\u00b7T58\u00b7T59\u00b7T60\u00b7T61\u00b7T62\u00b7T63\u00b7T64\u00b7T65\u00b7T66\u00b7T67\u00b7T68\u00b7T69\u00b7T70\u00b7T71\u00b7T72\u00b7T73\u00b7T74\u00b7T75\u00b7T76\u00b7T77\u00b7T78\u00b7T79\u00b7T80\u00b7T81\u00b7T82\u00b7T83\u00b7T84\u00b7T85\u00b7T86","monomials":[[0],[1],[2],[3],[4],[5],[6],[7],[8],[9],[10],[11],[12],[13],[14],[15],[16],[17],[18],[19],[20],[21],[22],[23],[24],[25],[26],[27],[28],[29],[30],[31],[32],[33],[34],[35],[36],[37],[38],[39],[40],[41],[42],[43],[44],[45],[46],[47],[48],[49],[50],[51],[52],[53],[54],[55],[56],[57],[58],[59],[60],[61],[62],[63],[64],[65],[66],[67],[68],[69],[70],[71],[72],[73],[74],[75],[76],[77],[78],[79],[80],[81],[82],[83],[84],[85],[86]],"sk_key":[[0],[1],[2],[3],[4],[5],[6],[7],[8],[9],[10],[11],[12],[13],[14],[15],[16],[17],[18],[19],[20],[21],[22],[23],[24],[25],[26],[27],[28],[29],[30],[31],[32],[33],[34],[35],[36],[37],[38],[39],[40],[41],[42],[43],[44],[45],[46],[47],[48],[49],[50],[51],[52],[53],[54],[55],[56],[57],[58],[59],[60],[61],[62],[63],[64],[65],[66],[67],[68],[69],[70],[71],[72],[73],[74],[75],[76],[77],[78],[79],[80],[81],[82],[83],[84],[85],[86]],"sk_fingerprint":"5b2f41d02187589c","sk_canonical_frame":true,"relabelled_into_canonical_frame":false},"circuit":{"columns":[[1,2,3,5,8,9,11,17,20,21,23,24,26,27,28,29,30,31,34,35,40,41,42,45,47,48,52,54,55,57,62,71,72,74,75,79,82,87,90,91,92,95,97],[2,5,8,10,11,12,13,14,16,17,23,25,26,27,29,30,31,32,33,34,35,36,37,38,40,41,42,44,46,47,48,49,50,51,52,53,54,56,60,61,64,66,69,74,76,79,82,83,84,85,86,88,91,95,96],[0,1,4,7,8,10,11,12,15,19,21,23,24,25,28,31,32,40,42,43,44,45,47,51,52,56,59,61,62,63,67,68,69,70,73,75,78,80,81,83,84,88,90,94],[0,4,7,8,9,11,12,13,14,15,16,19,20,26,31,33,36,37,38,40,42,43,46,47,49,50,52,53,55,57,59,60,63,64,66,67,68,70,71,72,73,76,78,80,81,85,86,87,94,96,97],[82,90,91,93],[21,90,92,93],[2,5,7,8,9,10,14,15,17,18,19,20,21,24,26,27,29,32,33,35,36,38,39,41,42,45,46,47,48,49,51,53,54,55,58,59,60,62,66,69,72,73,77,79,80,81,82,84,86,88,89,92,96],[0,4,5,6,10,11,12,15,16,17,19,20,23,25,28,31,36,38,41,43,46,47,49,50,51,53,54,56,57,58,60,63,64,66,67,68,73,74,76,77,79,81,83,85,86,87,89,90,95,96,97],[1,2,6,7,9,11,12,18,19,20,22,23,26,27,28,29,30,31,32,35,36,39,44,47,48,49,50,51,53,54,56,57,58,59,61,66,69,70,71,74,77,79,82,83,85,87,89,90,92,93,94,95,97],[85,90,93,94],[4,7,9,11,12,14,16,20,27,28,29,30,31,32,33,34,36,42,43,44,46,47,49,50,52,53,55,56,59,60,61,64,65,66,69,70,71,76,77,78,80,81,84,85,86,87,90,94,96],[0,1,3,7,8,9,11,19,22,23,24,25,26,27,28,29,31,32,43,45,46,50,51,52,54,56,59,60,62,63,65,67,68,69,78,79,81,82,86,87,88,89,91,94,96],[0,1,3,5,7,13,14,17,21,22,23,24,26,29,30,31,36,39,40,41,43,44,45,46,49,50,55,58,59,60,63,65,66,67,68,69,70,72,74,77,78,79,81,82,83,84,86,87,90,91,92,93,94,96,97],[56,90,91,95],[57,90,92,95],[1,2,3,9,10,16,19,20,23,28,37,38,39,46,50,55,56,57,58,60,64,69,70,76,77,79,84,85,86,89,94,96,97],[35,91,93,95],[2,5,8,10,11,12,16,17,19,21,24,26,27,29,30,31,33,34,35,37,38,39,40,41,42,45,46,47,48,50,52,54,56,58,60,62,64,69,70,71,72,74,75,76,77,82,84,85,86,89,94,96],[0,1,3,7,8,9,11,13,14,21,22,23,26,28,29,31,33,36,39,43,44,46,49,50,52,53,54,56,58,59,60,63,65,66,67,68,69,70,71,72,75,77,78,81,82,83,86,87,90,91,92,93,96],[0,7,8,10,11,16,20,22,24,25,26,27,29,31,32,37,38,39,43,45,51,54,55,57,58,59,61,62,63,64,65,67,68,70,76,77,78,81,82,84,85,88,93,94,95,97],[1,2,3,4,5,8,10,11,13,14,16,17,20,21,23,25,30,31,32,33,35,36,37,38,40,41,44,46,49,50,51,53,54,56,60,61,62,64,65,66,69,72,74,75,79,83,84,85,86,87,88,90,91,94,96],[65,90,91,92,94,95],[0,2,5,7,12,13,14,17,20,22,24,30,33,34,35,36,39,40,41,42,43,44,45,46,47,48,49,50,53,55,56,57,58,59,60,62,63,65,66,67,68,69,70,74,76,77,78,79,81,83,86,87,93,94,96,97],[4,90,91,93,94,95],[75,90,92,93,94,95],[84,91,92,93,94,95],[4,5,6,7,8,9,11,12,13,14,15,16,19,20,22,23,26,29,32,33,36,37,38,39,40,42,43,45,46,47,49,50,51,54,57,61,62,64,65,66,67,70,71,72,73,76,80,87,90,91,93,96,97],[18,90,91,96],[0,2,4,5,7,9,10,15,17,19,20,25,26,27,29,30,32,34,35,41,43,44,48,51,54,55,56,57,59,61,63,67,68,69,70,71,72,73,74,79,80,81,82,83,84,87,90,91,92,94,95,97],[0,1,2,5,6,8,9,11,13,15,17,18,19,20,21,23,24,26,29,32,35,37,38,39,41,42,44,47,48,49,53,54,56,58,59,60,61,69,71,73,75,77,79,80,81,82,83,84,86,87,88,91,92,94,97],[1,2,3,5,8,9,11,12,17,20,21,23,24,26,27,28,29,30,31,34,35,40,41,42,45,47,48,52,54,55,57,62,71,72,74,75,77,79,82,88,90,91,92,93,95,96,97],[2,5,8,10,11,12,13,14,16,17,25,26,27,29,30,31,32,33,34,35,36,37,38,40,41,42,44,46,47,48,49,50,51,52,53,54,56,60,61,64,69,74,76,79,82,83,84,85,86,87,91,93,95],[0,5,8,9,13,15,17,19,21,22,27,28,29,30,36,37,38,40,44,49,51,56,57,58,63,65,66,68,70,73,74,82,83,84,85,88,90,91,92,93,96,97],[0,4,7,8,9,11,12,13,14,15,16,19,20,31,33,36,37,38,40,42,43,46,47,49,50,52,53,55,57,59,60,63,64,66,67,68,69,70,71,72,73,76,78,80,81,85,86,88,90,91,92,94,96,97],[0,1,3,4,7,12,13,14,15,16,17,19,20,22,25,26,27,31,33,34,36,37,38,43,44,45,47,49,53,54,55,57,60,62,63,64,66,68,70,71,72,73,75,76,78,79,80,81,82,85,86,87,90,92,93,94,95,96],[10,92,94,96],[2,3,4,5,7,10,11,12,13,14,15,16,17,19,24,25,26,28,29,30,32,33,34,35,37,38,40,41,42,43,44,48,49,50,52,53,54,60,63,64,66,67,68,72,73,74,76,78,81,82,83,85,86,87,91,94,95,96],[83,93,94,96],[1,3,4,12,13,14,15,16,20,22,23,24,25,26,27,28,29,33,36,37,38,40,42,45,47,49,51,53,54,55,56,57,61,62,64,65,66,69,70,71,72,73,76,79,80,82,85,89,91,96,97],[0,2,5,7,12,17,19,20,21,22,25,30,32,34,35,40,41,42,43,46,47,48,50,51,55,56,57,59,60,61,63,65,68,69,71,72,74,75,78,81,86,89,90,92,94,95,97],[0,1,2,3,4,7,10,11,12,15,21,22,23,25,28,31,32,33,34,36,37,38,39,41,42,43,47,48,49,53,55,58,59,61,63,64,65,67,71,72,77,78,79,81,85,87,91,93,94,95,96],[15,91,95,96],[1,2,3,5,8,9,11,12,13,14,17,19,20,23,25,26,27,28,29,30,31,32,33,34,35,36,39,41,42,44,47,48,49,51,52,53,54,55,57,58,61,66,70,74,77,82,83,89,91,92,94,97],[2,5,8,10,12,16,17,19,21,24,26,27,29,30,31,34,35,37,38,39,40,41,42,45,46,47,48,50,52,54,56,58,60,62,64,69,70,71,72,74,75,76,77,82,84,85,86,87,88,89,94,96],[79,93,95,96],[0,1,2,3,4,5,7,15,16,17,23,25,26,27,28,29,30,32,34,35,37,38,39,41,43,44,45,46,48,50,51,54,58,59,60,61,63,64,67,68,71,72,73,74,76,77,78,80,81,82,83,85,86,89,90,96],[0,1,3,4,5,8,12,13,14,16,19,20,23,24,25,26,29,30,31,32,34,35,36,39,42,44,47,48,54,55,58,61,66,68,70,71,74,76,77,80,82,83,86,87,88,89,91,94,95,96,97],[55,90,92,94,95,96],[1,3,4,12,15,16,19,20,21,22,23,26,27,28,29,30,37,38,39,40,42,44,47,54,55,56,57,58,64,65,69,73,75,76,77,80,82,83,85,88,90,91,92,93,94,96,97],[24,91,93,94,95,96],[0,4,8,13,14,15,17,19,21,25,27,28,30,31,32,37,39,40,44,45,49,53,56,57,58,61,62,65,66,68,70,71,72,74,77,83,86,88,90,94,97],[1,3,4,9,12,13,14,15,16,19,20,23,24,25,26,27,28,29,31,32,34,36,37,39,40,42,44,45,47,48,49,53,54,55,56,57,58,61,65,66,74,77,80,82,83,84,86,87,92,96],[63,89,97],[39,90,92,97],[0,1,2,3,4,5,7,14,15,16,17,19,21,23,24,26,27,28,29,30,33,34,35,36,37,38,41,43,45,46,48,49,50,53,54,59,60,62,63,64,66,67,68,70,73,74,75,76,78,79,80,81,82,85,86,89,90,91,92,94,95,96,97],[0,1,3,4,5,6,11,12,13,14,16,17,18,20,21,23,24,32,33,34,41,43,44,45,46,47,50,52,54,55,56,58,61,63,64,67,68,69,72,75,76,80,83,84,85,88,90,92,97],[2,5,7,8,10,11,12,13,14,16,17,25,26,27,29,30,31,32,33,34,35,36,37,38,40,41,42,44,46,47,48,49,50,51,52,53,54,56,60,61,64,66,69,74,76,79,82,83,84,85,86,87,88,89,91,93,95,96,97],[0,3,4,7,8,9,10,12,13,17,18,21,22,23,26,27,31,33,34,36,44,46,50,54,56,57,60,63,65,69,70,72,73,75,77,78,80,82,83,88,90,94,95,97],[5,6,7,8,13,14,17,20,25,37,38,41,42,48,51,59,60,64,70,73,80,81,84,88,89,90,91,93,95],[1,3,5,7,9,10,11,12,17,23,24,27,29,30,33,35,36,37,38,39,42,43,44,45,47,49,52,53,57,58,59,61,62,63,64,65,73,74,76,77,78,80,81,82,83,84,85,87,88,89,92,94],[73,91,94,97],[44,92,94,97],[0,7,8,10,11,13,14,16,19,20,21,22,25,26,27,29,31,33,36,37,38,43,44,49,52,53,54,55,57,59,63,64,65,66,67,68,71,72,75,76,78,79,81,82,83,84,85,87,93,97],[46,93,94,97],[1,3,4,12,13,14,15,16,20,22,23,24,25,26,27,28,29,32,33,36,37,38,40,42,45,47,49,51,53,54,55,56,57,59,61,62,64,65,66,69,70,71,72,73,76,79,80,82,85,88,90,93,94,97],[0,1,2,7,9,10,13,14,17,19,24,26,28,29,31,32,34,36,37,38,40,41,42,43,44,45,46,47,51,55,60,63,64,65,66,76,78,81,85,89,91,94,95,97],[0,1,2,3,5,7,9,10,12,13,14,16,17,19,22,23,24,28,30,33,34,35,36,37,38,40,41,42,43,44,45,47,48,49,53,59,60,62,63,64,65,66,67,68,74,76,78,81,83,84,85,87,91,92,93,95],[0,1,3,4,7,8,10,11,12,13,14,15,17,23,28,31,33,36,39,40,42,43,47,49,52,53,56,58,59,63,66,67,68,69,71,72,73,77,78,79,80,81,84,87,90,95],[70,92,95,97],[80,93,95,97],[8,90,92,93,95,97],[1,3,9,10,16,19,20,23,28,37,38,39,46,50,54,55,56,57,58,60,64,69,70,76,77,79,84,85,86,87,91,92,94,95,96,97],[5,94,95,97],[0,1,2,3,5,7,9,10,12,16,17,21,22,23,25,28,30,32,34,35,37,38,39,40,41,42,43,47,48,51,58,59,61,63,64,65,67,68,70,71,72,75,76,77,78,79,81,84,85,87,88,89,91,92,93,94],[4,9,10,12,13,14,15,19,22,24,25,26,27,29,32,33,36,39,40,42,45,46,47,49,50,53,54,58,60,61,62,65,66,71,72,73,77,80,82,84,86,87,88,89,91,93,94,96,97],[1,3,4,12,15,16,19,20,21,22,23,26,27,28,29,37,38,39,40,42,44,47,49,54,55,56,57,58,64,65,69,73,75,76,77,80,82,83,85,89,90,91,92,93,94],[0,1,3,7,8,9,11,13,14,21,22,23,26,27,28,29,31,33,36,37,39,43,44,46,49,50,52,53,54,56,58,59,60,63,65,66,67,68,69,70,71,72,75,77,78,81,82,83,86,89,90,91,92,96,97],[1,3,5,7,11,13,14,17,21,22,23,26,27,29,31,33,37,39,41,43,44,46,50,51,52,53,56,58,59,60,63,65,66,67,68,69,71,72,74,75,77,78,80,81,82,83,86,89,90,93,95,96],[41,92,93,94,95,97],[2,4,5,8,9,11,15,16,17,19,22,24,28,30,31,34,35,37,38,39,41,44,45,48,52,56,58,62,64,65,69,71,72,73,74,76,77,79,80,83,85,89,90,91,92,93],[1,3,4,12,15,16,19,20,21,22,23,26,27,28,29,37,38,39,40,42,44,47,54,55,56,57,58,64,65,69,73,75,76,77,80,82,83,84,85,87,93,95,96],[2,5,8,10,11,12,13,14,16,17,25,26,27,29,30,31,32,33,34,35,36,37,38,40,41,42,44,46,47,48,49,50,51,52,53,54,56,60,61,62,64,66,69,74,76,79,82,83,84,85,86,89,91,95,97],[29,90,91,92,96,97],[20,93,96,97],[0,2,4,5,7,9,10,15,17,19,20,25,26,27,29,30,32,34,35,41,42,43,44,48,51,54,55,56,57,59,61,63,67,68,69,70,71,72,73,74,78,79,80,81,82,83,84,89,91,93,94,95,96],[1,91,92,93,96,97],[4,9,10,12,14,15,21,22,26,27,29,40,42,44,46,47,50,54,60,65,70,73,75,79,80,82,83,84,86,88,90,91,92,93,97],[1,3,4,12,13,14,15,16,19,20,22,23,24,25,26,27,28,29,32,33,36,37,38,40,42,45,47,49,51,53,54,55,56,57,61,62,64,65,66,69,70,71,72,73,76,79,80,82,85,87,91,93,96],[0,2,5,7,12,17,19,20,21,22,25,30,32,34,35,38,40,41,42,43,46,47,48,50,51,55,56,57,59,60,61,63,65,67,68,69,71,72,74,75,78,81,86,87,93,95,96,97],[0,1,3,4,8,9,10,13,14,15,16,19,20,21,23,27,30,31,32,33,35,38,39,40,44,46,48,50,53,55,60,62,63,64,65,67,68,70,73,75,79,82,86,89,91,92,95,97],[1,2,3,4,5,8,10,11,15,17,20,22,23,24,28,30,31,34,35,41,44,45,46,48,50,52,55,57,60,62,65,70,71,72,73,74,80,81,83,84,86,88,90,93,94,95,96,97],[0,4,6,8,9,10,14,16,18,24,25,27,28,29,30,33,34,35,36,37,38,42,44,45,47,49,50,55,56,57,58,61,62,63,64,65,66,67,68,69,71,74,78,79,82,83,84,88,89,90,91,92,93,94,96,97],[0,1,3,6,7,8,9,11,19,22,23,24,25,26,27,28,29,31,32,43,45,46,50,51,52,54,56,59,60,61,62,63,65,67,68,69,78,79,81,82,86,87,91,92,93,96],[0,3,4,7,8,9,11,12,13,14,16,18,20,23,28,34,36,42,43,44,47,49,50,51,52,53,55,56,59,63,64,66,67,68,69,70,71,74,76,77,79,80,85,88,91,94,97],[12,90],[23,91],[26,90,91,92],[34,87],[1,3,9,10,13,14,16,20,21,23,24,25,28,32,33,36,37,38,44,45,46,49,50,51,53,55,56,57,60,61,62,64,66,69,71,72,75,76,82,83,84,85,86,88,90,92,93,96,97],[0,2,4,5,7,9,10,15,17,19,20,21,25,26,27,29,30,32,34,35,41,43,44,48,51,54,55,56,57,59,61,63,67,68,69,70,71,72,73,74,78,79,80,81,82,83,84,88,91,93,94,95,97],[0,1,2,3,4,5,7,13,14,15,16,17,19,21,23,24,26,27,28,29,30,33,34,35,36,37,38,41,43,45,46,48,49,50,53,54,59,60,62,63,64,66,67,68,70,72,73,74,75,76,78,79,80,81,82,85,86,87,90,94,95,96],[2,4,5,7,8,12,14,17,18,19,20,22,24,32,33,35,36,38,39,40,41,44,45,48,49,50,51,53,55,58,59,62,65,66,69,70,72,75,77,81,83,88,90,91,93,94],[0,1,3,5,6,10,11,13,14,17,19,22,24,26,27,29,31,32,33,37,40,41,42,43,45,46,50,55,58,60,61,62,63,65,67,68,69,70,71,72,74,77,80,81,82,83,86,88,93,94,95,96],[0,1,5,6,9,11,17,18,21,23,25,26,27,28,29,31,34,36,39,40,41,42,43,44,46,49,53,54,55,58,60,63,65,66,67,68,70,72,75,77,78,79,81,82,83,85,86,88,90,92,94,96],[0,1,2,3,5,7,9,10,12,13,14,16,17,19,22,23,24,28,30,33,34,35,36,37,38,40,41,42,44,45,47,48,49,53,59,62,63,64,65,66,67,68,74,76,78,81,83,84,85,89,91,92,93,95],[1,2,3,4,5,8,10,11,15,17,20,22,23,24,28,30,31,34,35,41,44,45,46,48,50,52,55,57,60,62,65,70,71,72,73,74,80,83,84,85,86,89,95,96,97],[2,5,7,8,12,13,15,17,20,21,22,25,27,28,29,35,37,38,41,42,43,44,46,47,48,50,51,55,59,60,71,73,74,75,77,78,81,84,86,88,89,91,92,93,95,96],[61,92,93,94],[0,7,8,10,11,13,14,16,19,20,21,22,26,27,29,31,33,36,37,38,43,44,49,52,53,54,55,57,58,59,63,64,65,66,67,68,71,72,75,76,78,79,81,82,83,84,85,89,93,97],[1,2,3,4,9,10,15,20,22,23,27,31,33,34,35,40,44,46,48,50,53,54,56,57,60,62,65,70,72,73,75,79,80,83,86,87,89,93,94,96],[0,1,2,3,4,5,7,15,16,17,23,25,26,27,28,29,30,32,34,35,37,38,39,41,43,44,46,48,50,51,54,56,58,59,60,61,63,64,67,68,71,72,73,74,76,77,78,80,81,82,83,85,86,87,88,89,91,95,96],[13,14,19,21,24,25,32,33,36,39,44,45,49,51,53,57,58,61,62,66,70,71,72,75,77,79,83,87,88,89,90,92,94],[2,91,92,95],[0,1,3,4,7,8,10,11,12,13,14,15,23,28,33,36,39,40,42,43,47,49,52,53,56,58,59,63,66,67,68,69,71,72,73,77,78,79,80,81,84,89,90,95],[0,4,7,8,9,11,12,15,16,20,21,24,25,31,32,35,37,38,39,40,42,43,44,45,46,47,50,51,52,55,57,58,59,60,61,62,63,64,67,68,73,75,76,77,78,79,80,81,83,85,86,87,88,89,90,92,93,96,97],[1,2,3,5,8,9,11,12,13,14,17,19,20,23,25,26,27,28,29,30,31,32,33,34,35,36,39,40,41,42,44,47,48,49,51,52,54,55,57,58,61,66,70,74,77,82,83,87,88,89,91,92,94,97],[27,90,94,95],[15,16,19,22,28,34,37,38,39,40,44,48,52,54,55,56,57,58,62,64,69,72,73,77,80,83,85,87,91,93,94,97],[2,4,5,8,9,11,15,16,17,19,22,24,30,31,34,35,37,38,39,41,44,45,48,52,56,58,62,64,69,71,72,73,74,76,77,79,80,83,85,87,93,94,95],[0,1,2,3,4,5,7,9,10,12,16,17,21,22,23,25,28,30,32,34,35,37,38,39,40,41,42,43,47,48,51,58,59,61,63,64,65,67,68,70,71,72,74,75,76,77,78,79,81,84,85,88,90,92,95],[4,9,10,12,13,14,15,19,22,24,25,26,27,29,32,33,36,39,40,42,45,46,47,49,50,51,53,54,58,60,61,62,65,66,71,72,73,75,77,80,82,84,86,88,91,94,96],[1,3,4,12,15,16,19,20,21,22,23,26,27,28,29,37,38,39,40,42,44,47,54,55,56,57,58,64,65,69,73,75,76,77,80,82,83,84,85,87,90,91,92,94,97],[4,5,6,7,8,9,11,12,13,14,15,16,19,20,22,23,26,29,32,33,36,37,38,39,40,42,43,45,46,47,49,50,51,54,57,61,62,64,65,66,67,70,71,72,73,76,80,87,88,90,91,93,96,97],[1,3,9,10,13,14,16,18,20,21,23,24,25,28,32,33,36,37,38,44,45,46,49,50,51,53,55,56,57,60,61,62,64,66,69,71,72,75,76,83,84,85,86,87,90,92,97],[3,4,6,7,8,9,11,14,16,18,20,27,28,30,32,33,34,36,39,42,43,44,45,46,47,50,56,58,61,62,63,64,66,67,68,69,70,71,74,76,77,78,83,84,85,87,90,91,92,95,96,97],[77,90,93,96],[66,91,93,96],[1,3,4,5,7,9,10,11,12,13,17,22,23,24,25,27,29,30,31,32,36,37,38,42,43,45,47,49,52,57,58,59,61,62,65,66,67,69,74,75,78,80,81,82,85,87,88,91,92,93,94,96,97],[0,2,5,7,8,10,11,12,13,14,16,19,23,24,25,26,27,28,30,33,35,36,37,38,41,43,46,47,48,49,50,52,53,54,63,64,65,66,68,74,75,76,78,79,81,82,83,84,85,88,89,92,97],[2,4,5,8,9,11,13,14,15,16,17,21,22,25,30,31,32,33,34,35,36,37,38,41,48,49,50,51,52,53,56,61,64,65,66,69,70,73,74,75,76,80,85,89,90,91,92,93,94,95],[0,1,3,7,8,9,10,11,19,22,23,24,25,26,27,28,29,31,32,43,45,46,50,51,52,54,56,59,60,61,62,63,65,67,68,69,78,79,81,82,86,89,91,93,94],[0,2,3,4,5,8,12,15,17,20,21,22,24,25,27,28,30,31,32,34,35,36,40,41,42,48,50,55,57,59,60,65,71,73,74,75,79,84,86,88,89,91,93,94,95,96,97],[4,9,10,12,15,21,22,26,27,29,40,42,44,46,47,50,54,60,65,70,73,75,79,80,82,84,86,87,88,89,90,91,92],[32,90,91,93,94,96],[67,90,92,93,94,96],[0,1,2,3,5,7,9,10,12,13,14,16,17,19,23,24,28,30,33,34,35,36,37,38,40,41,42,43,44,45,47,48,49,53,59,62,63,64,65,66,67,68,74,76,78,81,83,84,85,87,88,89,91,92,93,95],[2,8,13,14,21,22,25,32,34,37,38,40,41,48,52,55,56,61,64,65,66,68,69,73,80,84,85,88,89,90,91,93,94,96],[0,4,7,8,9,11,12,16,20,21,24,25,31,32,37,38,39,40,42,43,44,45,46,47,50,51,52,55,57,58,59,60,61,62,63,64,67,68,73,75,76,77,78,79,80,81,83,85,86,89,90,92,97],[0,2,4,5,7,9,10,13,14,15,17,20,21,24,26,27,29,30,33,34,35,36,39,41,43,45,48,49,53,54,55,56,57,58,59,62,63,66,67,68,69,73,74,75,77,78,79,80,81,82,84,87,88,89,90,91,92,93,95,96,97],[0,1,3,4,5,8,12,16,20,21,23,26,29,30,31,33,34,35,42,45,47,48,49,51,53,54,55,62,68,72,74,75,76,79,80,82,86,87,88,91,96,97],[1,3,9,10,16,19,20,23,28,37,38,39,46,50,55,56,57,58,60,64,69,70,76,77,79,84,85,87,88,89,91,92,94,95,96,97],[0,2,5,7,12,13,14,17,20,22,24,30,33,34,35,36,39,40,41,42,43,44,45,46,47,48,49,50,53,55,56,57,58,59,60,62,63,65,66,67,69,70,74,77,78,79,81,83,86,88,93,94,96,97],[0,1,2,3,5,7,9,10,12,17,21,22,23,25,28,30,32,34,35,37,38,39,40,41,42,43,47,48,51,58,59,61,63,64,65,67,68,70,71,72,74,75,76,77,78,79,81,84,85,87,91,92,93,94],[4,9,10,12,13,14,15,19,22,24,25,26,27,29,32,33,36,39,40,42,45,46,47,49,50,51,53,54,55,58,60,61,62,65,66,71,72,73,77,80,82,84,86,87,91,93,94],[30,91,92,94,95,96],[0,1,3,7,8,9,11,13,14,21,22,23,26,27,28,29,31,33,36,39,43,44,46,49,50,52,53,54,56,58,59,60,63,65,66,67,68,69,70,72,75,77,78,81,82,83,86,88,91,92,93,94,95,96],[0,7,8,10,11,16,20,22,25,26,27,29,31,32,37,38,39,43,45,51,52,54,55,57,58,59,61,62,63,64,65,67,68,70,76,77,78,81,82,84,85,87,91,96,97],[0,1,2,3,5,10,11,20,22,23,27,33,34,35,36,37,40,41,44,45,46,48,50,51,52,55,56,60,62,68,70,71,72,73,75,79,80,83,84,87,88,93,94,96],[1,2,3,5,8,11,12,13,14,17,20,22,23,25,26,27,28,29,30,32,35,36,38,40,41,42,47,49,52,53,54,55,57,61,62,64,66,69,71,72,73,76,79,82,84,85,86,87,88,90,91,93,96],[63,97],[1,3,9,10,13,14,16,20,21,23,24,25,28,32,33,36,37,38,44,45,46,49,50,51,53,55,56,57,60,61,62,66,69,71,72,75,76,83,84,85,86,87,88,89,91,92,96,97],[0,2,4,5,7,9,10,15,17,19,20,25,26,27,29,30,32,34,35,39,41,43,44,48,51,54,55,56,57,59,61,63,67,68,69,70,71,72,73,74,78,79,80,81,82,83,84,87,88,89,91,94,95],[13,91,92,97],[0,2,4,6,8,9,13,14,16,18,26,27,28,29,30,31,32,33,35,40,42,43,44,46,48,50,56,57,58,61,62,63,64,67,68,69,71,74,76,79,80,82,83,84,85,88,89,90,91,95],[7,91,93,97],[1,9,11,13,15,17,18,19,22,24,25,26,27,28,32,33,34,36,40,42,43,45,46,47,50,51,52,54,57,59,60,61,62,65,67,68,72,77,81,82,84,87,89,95,97],[0,4,5,6,9,11,12,15,16,17,19,25,31,33,36,40,41,43,46,47,48,49,50,51,52,53,55,57,63,66,67,68,71,72,76,78,84,85,86,88,92,93,94,95,96,97],[2,4,7,8,9,12,15,20,22,27,28,29,31,33,34,36,37,38,39,41,42,43,46,47,48,49,50,53,55,58,59,60,61,63,64,70,71,72,76,77,78,81,82,85,86,88,89,90,92,93,95,96,97],[2,4,5,8,9,11,13,14,15,16,17,21,22,25,30,31,32,33,34,35,36,37,38,41,48,49,51,52,53,56,61,64,65,66,69,70,74,75,76,80,85,88,90,92,93,95,97],[0,1,3,7,8,9,11,19,22,23,24,25,26,27,28,29,31,32,43,44,45,46,50,51,52,54,56,59,60,61,62,63,65,67,68,69,78,79,81,82,86,88,91,93,94,96,97],[4,9,10,12,15,21,22,26,27,29,40,42,44,47,50,54,60,65,70,73,75,79,80,82,83,84,86,87,90,91,92,96,97],[1,5,9,10,12,13,14,20,21,22,24,25,26,28,29,30,31,35,36,37,38,44,45,48,50,56,57,59,61,64,66,67,68,69,71,72,74,75,76,85,86,88,89,91,93,94,96],[0,4,7,8,11,12,15,16,20,21,24,25,31,32,37,38,39,40,42,43,44,45,46,47,50,51,52,55,57,58,59,60,61,62,63,64,67,68,73,75,76,77,78,79,80,81,83,85,86,88,90,91,92,95,96,97],[1,2,3,5,8,9,11,12,13,14,17,19,20,23,25,26,27,28,29,30,31,32,33,34,35,36,39,40,41,42,44,47,48,49,51,52,53,54,55,57,58,61,66,74,77,82,83,88,91,94,95],[2,5,8,10,11,12,16,17,19,21,24,26,27,29,30,31,34,35,36,37,38,39,40,41,42,45,46,47,48,50,52,54,56,58,60,62,64,69,70,71,72,74,75,76,77,82,84,85,86,87,94,96],[0,2,4,5,7,9,10,13,14,15,17,20,21,24,26,27,29,30,33,34,35,36,39,41,43,45,48,49,53,54,55,56,57,58,59,62,63,66,67,68,69,73,74,75,77,78,81,82,84,87,90,91,92,93,95],[1,2,3,4,5,7,15,16,17,23,25,26,27,28,29,30,32,34,35,37,38,39,41,43,44,46,48,50,51,54,58,59,60,61,63,64,67,68,71,72,73,74,76,77,78,80,81,82,83,85,86,88,90,96],[8,13,14,19,21,24,25,32,33,36,39,44,45,49,51,53,58,61,62,66,70,71,72,75,77,79,83,88,90,92,93,94,97],[0,2,7,12,13,14,17,20,22,24,30,33,34,35,36,39,40,41,42,43,44,45,46,47,48,49,50,53,55,56,57,58,59,60,62,63,65,66,67,68,69,70,74,77,78,79,81,83,86,89,93,95,96],[51,90,92,94,95,97],[49,91,92,94,95,97],[37,90,93,94,95,97],[0,1,3,5,8,10,13,14,16,17,20,21,23,24,25,32,33,38,41,44,45,46,50,53,54,55,56,57,60,61,62,64,66,69,70,71,72,74,75,76,80,83,84,85,86,87,88,90,94,96,97],[1,2,3,4,5,8,10,11,13,14,15,17,19,20,21,22,23,25,28,30,31,32,33,34,35,36,39,46,48,49,50,51,52,53,55,57,58,60,61,65,66,73,74,75,77,79,80,84,86,87,88,89,90,92,94,95,96],[2,4,5,8,9,11,15,16,17,19,22,24,30,31,34,35,37,38,39,41,44,45,48,52,56,58,62,64,65,69,71,72,73,74,76,77,79,80,83,84,85,88,89,91,92,93,96,97],[62,91,96,97],[0,1,3,4,7,8,10,11,12,15,19,21,23,24,25,28,31,32,40,42,43,44,45,47,48,51,52,56,59,61,62,63,67,68,69,70,73,75,78,80,81,83,84,89,90,94],[0,4,7,8,9,11,12,13,14,15,16,19,20,29,31,33,36,37,38,40,42,43,46,47,49,50,52,53,55,57,59,60,63,64,66,67,68,70,71,72,73,76,78,80,81,85,86,87,88,89,94],[20,87,88,89,93,96,97],[1,3,9,10,13,14,16,20,21,23,24,25,28,32,33,36,37,38,44,45,46,47,49,50,51,53,55,56,57,60,61,62,64,66,69,71,72,75,76,83,84,85,86,89,91,92,96,97],[42,90,92,93,96,97],[0,2,3,4,5,7,13,14,15,16,17,19,21,23,24,26,27,28,29,30,33,34,35,36,37,38,41,43,45,46,48,49,50,53,54,59,60,62,63,64,66,67,68,70,73,74,75,76,78,79,80,81,82,85,86,87,88,89,90,91,92,93,94,95,97],[14,94,96,97],[19,90,91,94,96,97],[2,4,5,7,8,12,15,17,20,21,22,24,27,28,31,32,34,36,37,39,41,42,43,45,46,47,49,50,55,59,60,66,70,73,74,75,76,78,79,81,82,83,84,85,86,88,89,93,97],[0,2,5,6,10,11,13,15,17,18,21,22,24,27,28,29,31,32,41,42,44,45,47,48,50,51,52,53,55,57,58,62,63,67,68,70,71,73,75,76,78,79,80,82,83,84,85,87,88,89,95,96,97],[3,4,9,10,12,18,19,21,22,23,26,27,28,29,31,33,34,37,38,42,47,50,51,54,56,57,65,69,70,72,74,75,77,78,80,81,82,83,84,91,93,94],[1,2,3,5,8,9,11,17,20,21,23,24,26,27,28,29,30,31,34,35,40,41,42,45,47,48,52,54,55,57,62,71,72,74,75,79,82,87,91,92,95,97],[2,5,8,10,11,12,13,14,16,17,23,25,26,27,29,30,31,32,33,34,35,36,37,38,40,41,42,44,46,47,48,49,50,51,52,53,54,56,60,61,64,66,69,74,76,79,82,83,84,85,86,88,95,96],[0,1,4,7,8,10,11,12,15,19,21,23,24,25,28,31,32,40,42,43,44,45,47,51,52,56,59,61,62,63,67,68,69,70,73,75,78,80,81,83,84,88,90,92,94],[0,4,7,8,9,11,12,13,14,15,16,19,20,26,31,33,36,37,38,40,42,43,46,47,49,50,52,53,55,57,59,60,63,64,66,67,68,70,71,72,73,76,78,80,81,85,86,87,90,91,92,94,96,97],[34,93],[72,91,92,93],[2,5,7,8,9,10,14,15,17,18,19,20,21,24,26,27,29,32,33,35,36,38,39,41,42,45,46,47,48,49,51,53,54,55,58,59,60,62,66,69,72,73,77,79,80,81,82,84,86,88,89,92,94,96],[0,4,5,6,10,11,12,15,16,17,19,20,23,25,28,31,36,38,41,43,46,47,49,50,51,53,54,56,57,58,60,63,64,66,67,68,73,74,76,77,79,81,83,85,86,87,89,91,94,95,96,97],[1,2,6,7,9,11,12,18,19,20,22,23,26,27,28,29,30,31,32,35,36,39,44,47,48,49,50,51,53,54,56,57,58,59,61,66,69,70,71,74,77,79,82,83,85,87,89,93,95,97],[43,91,92,94],[4,7,9,11,12,14,16,20,27,28,29,30,31,32,33,34,36,42,43,44,46,47,49,50,52,53,55,56,59,60,61,64,65,66,69,70,71,76,77,78,80,81,84,85,86,87,90,91,93,96],[0,1,3,7,8,9,11,19,22,23,24,25,26,27,28,29,31,32,43,45,46,50,51,52,54,56,59,60,62,63,65,67,68,69,78,79,81,82,86,87,88,89,91,92,93,96],[58,90,91,92,93,94],[0,1,3,5,7,13,14,17,21,22,23,24,26,29,30,31,36,39,40,41,43,44,45,46,49,50,55,58,59,60,63,65,66,67,68,69,70,72,74,77,78,79,81,82,83,84,86,87,90,91,92,93,94,95,96,97],[1,2,3,9,10,16,19,20,23,28,37,38,39,46,50,55,56,57,58,60,64,69,70,76,77,79,84,85,86,89,91,92,94,95,96,97],[31,90,93,95],[53,92,93,95],[2,5,8,10,11,12,16,17,19,21,24,26,27,29,30,31,33,34,35,37,38,39,40,41,42,45,46,47,48,50,52,54,56,58,60,62,64,69,70,71,72,74,75,76,77,82,84,85,86,89,90,91,92,93,94,95,96],[0,1,3,7,8,9,11,13,14,21,22,23,26,28,29,31,33,36,39,43,44,46,49,50,52,53,54,56,58,59,60,63,65,66,67,68,69,70,71,72,75,77,78,81,82,83,86,87,91,92,93,94,95,96],[0,7,8,10,11,16,20,22,24,25,26,27,29,31,32,37,38,39,43,45,51,54,55,57,58,59,61,62,63,64,65,67,68,70,76,77,78,81,82,84,85,88,91,93,97],[1,2,3,4,5,8,10,11,13,14,16,17,20,21,23,25,30,31,32,33,35,36,37,38,40,41,44,46,49,50,51,53,54,56,60,61,62,64,65,66,69,72,74,75,79,83,84,85,86,87,88,90,91,92,95,96],[0,2,5,7,12,13,14,17,20,22,24,30,33,34,35,36,39,40,41,42,43,44,45,46,47,48,49,50,53,55,56,57,58,59,60,62,63,65,66,67,68,69,70,74,76,77,78,79,81,83,86,87,95,96,97],[4,5,6,7,8,9,11,12,13,14,15,16,19,20,22,23,26,29,32,33,36,37,38,39,40,42,43,45,46,47,49,50,51,54,57,61,62,64,65,66,67,70,71,72,73,76,80,87,90,91,93,97],[0,2,4,5,7,9,10,15,17,19,20,25,26,27,29,30,32,34,35,41,43,44,48,51,54,55,56,57,59,61,63,67,68,69,70,71,72,73,74,79,80,81,82,83,84,87,91,94,95,96,97],[0,1,2,5,6,8,9,11,13,15,17,18,19,20,21,23,24,26,29,32,35,37,38,39,41,42,44,47,48,49,53,54,56,58,59,60,61,69,71,73,75,77,79,80,81,82,83,84,86,87,88,94,96,97],[1,2,3,5,8,9,11,12,17,20,21,23,24,26,27,28,29,30,31,34,35,40,41,42,45,47,48,52,54,55,57,62,71,72,74,75,77,79,82,88,91,92,95,97],[2,5,8,10,11,12,13,14,16,17,25,26,27,29,30,31,32,33,34,35,36,37,38,40,41,42,44,46,47,48,49,50,51,52,53,54,56,60,61,64,69,74,76,79,82,83,84,85,86,87,95,96],[0,5,8,9,13,15,17,19,21,22,27,28,29,30,36,37,38,40,44,49,51,56,57,58,63,65,66,68,70,73,74,82,83,84,85,88,90,91,97],[0,4,7,8,9,11,12,13,14,15,16,19,20,31,33,36,37,38,40,42,43,46,47,49,50,52,53,55,57,59,60,63,64,66,67,68,69,70,71,72,73,76,78,80,81,85,86,88,93,94,97],[0,1,3,4,7,12,13,14,15,16,17,19,20,22,25,26,27,31,33,34,36,37,38,43,44,45,47,49,53,54,55,57,60,62,63,64,66,68,70,71,72,73,75,76,78,79,80,81,82,85,86,87,92,93,95],[50,91,94,96],[2,3,4,5,7,10,11,12,13,14,15,16,17,19,24,25,26,28,29,30,32,33,34,35,37,38,40,41,42,43,44,48,49,50,52,53,54,60,63,64,66,67,68,72,73,74,76,78,81,82,83,85,86,87,90,92,95],[1,3,4,12,13,14,15,16,20,22,23,24,25,26,27,28,29,33,36,37,38,40,42,45,47,49,51,53,54,55,56,57,61,62,64,65,66,69,70,71,72,73,76,79,80,82,85,89,90,93,94,97],[0,2,5,7,12,17,19,20,21,22,25,30,32,34,35,40,41,42,43,46,47,48,50,51,55,56,57,59,60,61,63,65,68,69,71,72,74,75,78,81,86,89,93,95,96,97],[22,91,92,93,94,96],[0,1,2,3,4,7,10,11,12,15,21,22,23,25,28,31,32,33,34,36,37,38,39,41,42,43,47,48,49,53,55,58,59,61,63,64,65,67,71,72,77,78,79,81,85,87,90,91,93,94],[1,2,3,5,8,9,11,12,13,14,17,19,20,23,25,26,27,28,29,30,31,32,33,34,35,36,39,41,42,44,47,48,49,51,52,53,54,55,57,58,61,66,70,74,77,82,83,89,91,94,95,96,97],[2,5,8,10,12,16,17,19,21,24,26,27,29,30,31,34,35,37,38,39,40,41,42,45,46,47,48,50,52,54,56,58,60,62,64,69,70,71,72,74,75,76,77,82,84,85,86,87,88,89,90,91,92,94,95],[0,1,2,3,4,5,7,15,16,17,23,25,26,27,28,29,30,32,34,35,37,38,39,41,43,44,45,46,48,50,51,54,58,59,60,61,63,64,67,68,71,72,73,74,76,77,78,80,81,82,83,85,86,89,91,93,95],[0,1,3,4,5,8,12,13,14,16,19,20,23,24,25,26,29,30,31,32,34,35,36,39,42,44,47,48,54,55,58,61,66,68,70,71,74,76,77,80,82,83,86,87,88,89,90,91,92,93,94,97],[86,91,92,93,95,96],[68,94,95,96],[16,90,91,94,95,96],[1,3,4,12,15,16,19,20,21,22,23,26,27,28,29,30,37,38,39,40,42,44,47,54,55,56,57,58,64,65,69,73,75,76,77,80,82,83,85,88,90,93,95,97],[71,90,93,94,95,96],[0,4,8,13,14,15,17,19,21,25,27,28,30,31,32,37,39,40,44,45,49,53,56,57,58,61,62,65,66,68,70,71,72,74,77,83,86,88,90,92,93,95,96,97],[1,3,4,9,12,13,14,15,16,19,20,23,24,25,26,27,28,29,31,32,34,36,37,39,40,42,44,45,47,48,49,53,54,55,56,57,58,61,65,66,74,77,80,82,83,84,86,87,90,91,93,94,95],[63,89],[64,90,91,97],[0,1,2,3,4,5,7,14,15,16,17,19,21,23,24,26,27,28,29,30,33,34,35,36,37,38,41,43,45,46,48,49,50,53,54,59,60,62,63,64,66,67,68,70,73,74,75,76,78,79,80,81,82,85,86,89,90,94,95,96],[0,1,3,4,5,6,11,12,13,14,16,17,18,20,21,23,24,32,33,34,41,43,44,45,46,47,50,52,54,55,56,58,61,63,64,67,68,69,72,75,76,80,83,84,85,88,92,93],[2,5,7,8,10,11,12,13,14,16,17,25,26,27,29,30,31,32,33,34,35,36,37,38,40,41,42,44,46,47,48,49,50,51,52,53,54,56,60,61,64,66,69,74,76,79,82,83,84,85,86,87,88,89,95,96],[0,3,4,7,8,9,10,12,13,17,18,21,22,23,26,27,31,33,34,36,44,46,50,54,56,57,60,63,65,69,70,72,73,75,77,78,80,82,83,88,90,92,93,94,95],[5,6,7,8,13,14,17,20,25,37,38,41,42,48,51,59,60,64,70,73,80,81,84,88,89,92,95,97],[1,3,5,7,9,10,11,12,17,23,24,27,29,30,33,35,36,37,38,39,42,43,44,45,47,49,52,53,57,58,59,61,62,63,64,65,73,74,76,77,78,80,81,82,83,84,85,87,88,89,90,92,97],[0,7,8,10,11,13,14,16,19,20,21,22,25,26,27,29,31,33,36,37,38,43,44,49,52,53,54,55,57,59,63,64,65,66,67,68,71,72,75,76,78,79,81,82,83,84,85,87,90,91,92,93,94],[1,3,4,12,13,14,15,16,20,22,23,24,25,26,27,28,29,32,33,36,37,38,40,42,45,47,49,51,53,54,55,56,57,59,61,62,64,65,66,69,70,71,72,73,76,79,80,82,85,88,91],[0,1,2,7,9,10,13,14,17,19,24,26,28,29,31,32,34,36,37,38,40,41,42,43,44,45,46,47,51,55,60,63,64,65,66,76,78,81,85,89,90,91,92,93,95],[0,1,2,3,5,7,9,10,12,13,14,16,17,19,22,23,24,28,30,33,34,35,36,37,38,40,41,42,43,44,45,47,48,49,53,59,60,62,63,64,65,66,67,68,74,76,78,81,83,84,85,87,94,95,97],[0,1,3,4,7,8,10,11,12,13,14,15,17,23,28,31,33,36,39,40,42,43,47,49,52,53,56,58,59,63,66,67,68,69,71,72,73,77,78,79,80,81,84,87,97],[9,91,95,97],[36,90,91,92,95,97],[0,90,91,93,95,97],[1,3,9,10,16,19,20,23,28,37,38,39,46,50,54,55,56,57,58,60,64,69,70,76,77,79,84,85,86,87,93,94,96],[0,1,2,3,5,7,9,10,12,16,17,21,22,23,25,28,30,32,34,35,37,38,39,40,41,42,43,47,48,51,58,59,61,63,64,65,67,68,70,71,72,75,76,77,78,79,81,84,85,87,88,89,90,92,93,95,97],[4,9,10,12,13,14,15,19,22,24,25,26,27,29,32,33,36,39,40,42,45,46,47,49,50,53,54,58,60,61,62,65,66,71,72,73,77,80,82,84,86,87,88,89,90,91,92,93,95,96],[1,3,4,12,15,16,19,20,21,22,23,26,27,28,29,37,38,39,40,42,44,47,49,54,55,56,57,58,64,65,69,73,75,76,77,80,82,83,85,89,90,93,95,97],[0,1,3,7,8,9,11,13,14,21,22,23,26,27,28,29,31,33,36,37,39,43,44,46,49,50,52,53,54,56,58,59,60,63,65,66,67,68,69,70,71,72,75,77,78,81,82,83,86,89,91,92,93,94,95,96],[1,3,5,7,11,13,14,17,21,22,23,26,27,29,31,33,37,39,41,43,44,46,50,51,52,53,56,58,59,60,63,65,66,67,68,69,71,72,74,75,77,78,80,81,82,83,86,89,90,91,94,96,97],[2,4,5,8,9,11,15,16,17,19,22,24,28,30,31,34,35,37,38,39,41,44,45,48,52,56,58,62,64,65,69,71,72,73,74,76,77,79,80,83,85,89,94,95,97],[2,5,8,10,11,12,13,14,16,17,25,26,27,29,30,31,32,33,34,35,36,37,38,40,41,42,44,46,47,48,49,50,51,52,53,54,56,60,61,62,64,66,69,74,76,79,82,83,84,85,86,89,95,96],[48,92,96,97],[47,90,91,93,96,97],[0,2,4,5,7,9,10,15,17,19,20,25,26,27,29,30,32,34,35,41,42,43,44,48,51,54,55,56,57,59,61,63,67,68,69,70,71,72,73,74,78,79,80,81,82,83,84,89,90,91,92,94,95,97],[4,9,10,12,14,15,21,22,26,27,29,40,42,44,46,47,50,54,60,65,70,73,75,79,80,82,83,84,86,88,90,91,92,93,94,96],[1,3,4,12,13,14,15,16,19,20,22,23,24,25,26,27,28,29,32,33,36,37,38,40,42,45,47,49,51,53,54,55,56,57,61,62,64,65,66,69,70,71,72,73,76,79,80,82,85,87,90,93,94,97],[0,2,5,7,12,17,19,20,21,22,25,30,32,34,35,38,40,41,42,43,46,47,48,50,51,55,56,57,59,60,61,63,65,67,68,69,71,72,74,75,78,81,86,87,90,92,93,94,95],[0,1,3,4,8,9,10,13,14,15,16,19,20,21,23,27,30,31,32,33,35,38,39,40,44,46,48,50,53,55,60,62,63,64,65,67,68,70,73,75,79,82,86,89,94,95,96],[1,2,3,4,5,8,10,11,15,17,20,22,23,24,28,30,31,34,35,41,44,45,46,48,50,52,55,57,60,62,65,70,71,72,73,74,80,81,83,84,86,88,95],[0,4,6,8,9,10,14,16,18,24,25,27,28,29,30,33,34,35,36,37,38,42,44,45,47,49,50,55,56,57,58,61,62,63,64,65,66,67,68,69,71,74,78,79,82,83,84,88,89,90,92],[0,1,3,6,7,8,9,11,19,22,23,24,25,26,27,28,29,31,32,43,45,46,50,51,52,54,56,59,60,61,62,63,65,67,68,69,78,79,81,82,86,87,91,94,97],[0,3,4,7,8,9,11,12,13,14,16,18,20,23,28,34,36,42,43,44,47,49,50,51,52,53,55,56,59,63,64,66,67,68,69,70,71,74,76,77,79,80,85,88,90,92,93,96],[3,92],[34,87,93],[1,3,9,10,13,14,16,20,21,23,24,25,28,32,33,36,37,38,44,45,46,49,50,51,53,55,56,57,60,61,62,64,66,69,71,72,75,76,82,83,84,85,86,88,91,92,96,97],[0,2,4,5,7,9,10,15,17,19,20,21,25,26,27,29,30,32,34,35,41,43,44,48,51,54,55,56,57,59,61,63,67,68,69,70,71,72,73,74,78,79,80,81,82,83,84,88,90,91,92,94,95,97],[0,1,2,3,4,5,7,13,14,15,16,17,19,21,23,24,26,27,28,29,30,33,34,35,36,37,38,41,43,45,46,48,49,50,53,54,59,60,62,63,64,66,67,68,70,72,73,74,75,76,78,79,80,81,82,85,86,87,90,91,92,93,94,95,96],[2,4,5,7,8,12,14,17,18,19,20,22,24,32,33,35,36,38,39,40,41,44,45,48,49,50,51,53,55,58,59,62,65,66,69,70,72,75,77,81,83,88,90,91,93],[0,1,3,5,6,10,11,13,14,17,19,22,24,26,27,29,31,32,33,37,40,41,42,43,45,46,50,55,58,60,61,62,63,65,67,68,69,70,71,72,74,77,80,81,82,83,86,88,90,91,93,95,96],[0,1,5,6,9,11,17,18,21,23,25,26,27,28,29,31,34,36,39,40,41,42,43,44,46,49,53,54,55,58,60,63,65,66,67,68,70,72,75,77,78,79,81,82,83,85,86,88,96],[0,1,2,3,5,7,9,10,12,13,14,16,17,19,22,23,24,28,30,33,34,35,36,37,38,40,41,42,44,45,47,48,49,53,59,62,63,64,65,66,67,68,74,76,78,81,83,84,85,89,93,94,95],[1,2,3,4,5,8,10,11,15,17,20,22,23,24,28,30,31,34,35,41,44,45,46,48,50,52,55,57,60,62,65,70,71,72,73,74,80,83,84,85,86,89,90,93,94,95,96,97],[2,5,7,8,12,13,15,17,20,21,22,25,27,28,29,35,37,38,41,42,43,44,46,47,48,50,51,55,59,60,71,73,74,75,77,78,81,84,86,88,89,92,94,95,96],[0,7,8,10,11,13,14,16,19,20,21,22,26,27,29,31,33,36,37,38,43,44,49,52,53,54,55,57,58,59,63,64,65,66,67,68,71,72,75,76,78,79,81,82,83,84,85,89,90,91,92,94,97],[1,2,3,4,9,10,15,20,22,23,27,31,33,34,35,40,44,46,48,50,53,54,56,57,60,62,65,70,72,73,75,79,80,83,86,87,89,93,94,95,96],[0,1,2,3,4,5,7,15,16,17,23,25,26,27,28,29,30,32,34,35,37,38,39,41,43,44,46,48,50,51,54,56,58,59,60,61,63,64,67,68,71,72,73,74,76,77,78,80,81,82,83,85,86,87,88,89,90,96],[13,14,19,21,24,25,32,33,36,39,44,45,49,51,53,57,58,61,62,66,70,71,72,75,77,79,83,87,88,89,94,95],[0,1,3,4,7,8,10,11,12,13,14,15,23,28,33,36,39,40,42,43,47,49,52,53,56,58,59,63,66,67,68,69,71,72,73,77,78,79,80,81,84,89,93],[0,4,7,8,9,11,12,15,16,20,21,24,25,31,32,35,37,38,39,40,42,43,44,45,46,47,50,51,52,55,57,58,59,60,61,62,63,64,67,68,73,75,76,77,78,79,80,81,83,85,86,87,88,89,90,91,92,95,96,97],[1,2,3,5,8,9,11,12,13,14,17,19,20,23,25,26,27,28,29,30,31,32,33,34,35,36,39,40,41,42,44,47,48,49,51,52,54,55,57,58,61,66,70,74,77,82,83,87,88,89,91,93,94,95,97],[33,90,91,92,93,95],[52,91,94,95],[15,16,19,22,28,34,37,38,39,40,44,48,52,54,55,56,57,58,62,64,69,72,73,77,80,83,85,87,91,92,93,95,97],[2,4,5,8,9,11,15,16,17,19,22,24,30,31,34,35,37,38,39,41,44,45,48,52,56,58,62,64,69,71,72,73,74,76,77,79,80,83,85,87,90,91,92,93],[76,93,94,95],[0,1,2,3,4,5,7,9,10,12,16,17,21,22,23,25,28,30,32,34,35,37,38,39,40,41,42,43,47,48,51,58,59,61,63,64,65,67,68,70,71,72,74,75,76,77,78,79,81,84,85,88,91,92,93,94],[4,9,10,12,13,14,15,19,22,24,25,26,27,29,32,33,36,39,40,42,45,46,47,49,50,51,53,54,58,60,61,62,65,66,71,72,73,75,77,80,82,84,86,88,90,91,92,93,95,96],[4,5,6,7,8,9,11,12,13,14,15,16,19,20,22,23,26,29,32,33,36,37,38,39,40,42,43,45,46,47,49,50,51,54,57,61,62,64,65,66,67,70,71,72,73,76,80,87,88,90,91,93,97],[1,3,9,10,13,14,16,18,20,21,23,24,25,28,32,33,36,37,38,44,45,46,49,50,51,53,55,56,57,60,61,62,64,66,69,71,72,75,76,83,84,85,86,87,91,92,96,97],[78,90,92,96],[3,4,6,7,8,9,11,14,16,18,20,27,28,30,32,33,34,36,39,42,43,44,45,46,47,50,56,58,61,62,63,64,66,67,68,69,70,71,74,76,77,78,83,84,85,87,90,95,97],[1,3,4,5,7,9,10,11,12,13,17,22,23,24,25,27,29,30,31,32,36,37,38,42,43,45,47,49,52,57,58,59,61,62,65,66,67,69,74,75,78,80,81,82,85,87,88,91,94,97],[69,90,91,92,93,96],[0,2,5,7,8,10,11,12,13,14,16,19,23,24,25,26,27,28,30,33,35,36,37,38,41,43,46,47,48,49,50,52,53,54,63,64,65,66,68,74,75,76,78,79,81,82,83,84,85,88,89,90,92,94,96,97],[2,4,5,8,9,11,13,14,15,16,17,21,22,25,30,31,32,33,34,35,36,37,38,41,48,49,50,51,52,53,56,61,64,65,66,69,70,73,74,75,76,80,85,89,90,92,93,95,96],[0,1,3,7,8,9,10,11,19,22,23,24,25,26,27,28,29,31,32,43,45,46,50,51,52,54,56,59,60,61,62,63,65,67,68,69,78,79,81,82,86,89,91,92,93,96],[0,2,3,4,5,8,12,15,17,20,21,22,24,25,27,28,30,31,32,34,35,36,40,41,42,48,50,55,57,59,60,65,71,73,74,75,79,84,86,88,89,90,92,93,95,97],[4,9,10,12,15,21,22,26,27,29,40,42,44,46,47,50,54,60,65,70,73,75,79,80,82,84,86,87,88,89,90,91,92,93,94,96],[0,1,2,3,5,7,9,10,12,13,14,16,17,19,23,24,28,30,33,34,35,36,37,38,40,41,42,43,44,45,47,48,49,53,59,62,63,64,65,66,67,68,74,76,78,81,83,84,85,87,88,89,94,95,96],[2,8,13,14,21,22,25,32,34,37,38,40,41,48,52,55,56,61,64,65,66,68,69,73,80,84,85,88,89,91,93,94,95],[0,4,7,8,9,11,12,16,20,21,24,25,31,32,37,38,39,40,42,43,44,45,46,47,50,51,52,55,57,58,59,60,61,62,63,64,67,68,73,75,76,77,78,79,80,81,83,85,86,89,90,91,92,95,96,97],[40,92,95,96],[11,90,91,92,95,96],[0,2,4,5,7,9,10,13,14,15,17,20,21,24,26,27,29,30,33,34,35,36,39,41,43,45,48,49,53,54,55,56,57,58,59,62,63,66,67,68,69,73,74,75,77,78,79,80,81,82,84,87,88,89,90,91,92,97],[45,90,91,93,95,96],[0,1,3,4,5,8,12,16,20,21,23,26,29,30,31,33,34,35,42,45,47,48,49,51,53,54,55,62,68,72,74,75,76,79,80,82,86,87,88,90,91,92,93,95,97],[1,3,9,10,16,19,20,23,28,37,38,39,46,50,55,56,57,58,60,64,69,70,76,77,79,84,85,87,88,89,93,94,97],[0,2,5,7,12,13,14,17,20,22,24,30,33,34,35,36,39,40,41,42,43,44,45,46,47,48,49,50,53,55,56,57,58,59,60,62,63,65,66,67,69,70,74,77,78,79,81,83,86,88,93,95,97],[0,1,2,3,5,7,9,10,12,17,21,22,23,25,28,30,32,34,35,37,38,39,40,41,42,43,47,48,51,58,59,61,63,64,65,67,68,70,71,72,74,75,76,77,78,79,81,84,85,87,90,92,93,95,96],[4,9,10,12,13,14,15,19,22,24,25,26,27,29,32,33,36,39,40,42,45,46,47,49,50,51,53,54,55,58,60,61,62,65,66,71,72,73,77,80,82,84,86,87,90,91,92,93,95,96],[0,1,3,7,8,9,11,13,14,21,22,23,26,27,28,29,31,33,36,39,43,44,46,49,50,52,53,54,56,58,59,60,63,65,66,67,68,69,70,72,75,77,78,81,82,83,86,88,90,91,92],[0,7,8,10,11,16,20,22,25,26,27,29,31,32,37,38,39,43,45,51,52,54,55,57,58,59,61,62,63,64,65,67,68,70,76,77,78,81,82,84,85,87,93,94,95,97],[0,1,2,3,5,10,11,20,22,23,27,33,34,35,36,37,40,41,44,45,46,48,50,51,52,55,56,60,62,68,70,71,72,73,75,79,80,83,84,87,88,92,95],[1,2,3,5,8,11,12,13,14,17,20,22,23,25,26,27,28,29,30,32,35,36,38,40,41,42,47,49,52,53,54,55,57,61,62,64,66,69,71,72,73,76,79,82,84,85,86,87,88,92,94,95],[1,3,9,10,13,14,16,20,21,23,24,25,28,32,33,36,37,38,44,45,46,49,50,51,53,55,56,57,60,61,62,66,69,71,72,75,76,83,84,85,86,87,88,89,90,92,96],[0,2,4,5,7,9,10,15,17,19,20,25,26,27,29,30,32,34,35,39,41,43,44,48,51,54,55,56,57,59,61,63,67,68,69,70,71,72,73,74,78,79,80,81,82,83,84,87,88,89,90,91,92,94,95,97],[0,2,4,6,8,9,13,14,16,18,26,27,28,29,30,31,32,33,35,40,42,43,44,46,48,50,56,57,58,61,62,63,64,67,68,69,71,74,76,79,80,82,83,84,85,88,89,91,93,95,97],[1,9,11,13,15,17,18,19,22,24,25,26,27,28,32,33,34,36,40,42,43,45,46,47,50,51,52,54,57,59,60,61,62,65,67,68,72,77,81,82,84,87,89,92,93,95],[0,4,5,6,9,11,12,15,16,17,19,25,31,33,36,40,41,43,46,47,48,49,50,51,52,53,55,57,63,66,67,68,71,72,76,78,84,85,86,88,90,91,94,95,96],[2,4,7,8,9,12,15,20,22,27,28,29,31,33,34,36,37,38,39,41,42,43,46,47,48,49,50,53,55,58,59,60,61,63,64,70,71,72,76,77,78,81,82,85,86,88,89,92,93,94,95,96],[2,4,5,8,9,11,13,14,15,16,17,21,22,25,30,31,32,33,34,35,36,37,38,41,48,49,51,52,53,56,61,64,65,66,69,70,74,75,76,80,85,88,90,91,92,93,94,95],[0,1,3,7,8,9,11,19,22,23,24,25,26,27,28,29,31,32,43,44,45,46,50,51,52,54,56,59,60,61,62,63,65,67,68,69,78,79,81,82,86,88,91,92,93,96],[25,90,91,92,94,97],[4,9,10,12,15,21,22,26,27,29,40,42,44,47,50,54,60,65,70,73,75,79,80,82,83,84,86,87,90,91,92,93,94,96],[59,90,91,93,94,97],[1,5,9,10,12,13,14,20,21,22,24,25,26,28,29,30,31,35,36,37,38,44,45,48,50,56,57,59,61,64,66,67,68,69,71,72,74,75,76,85,86,88,89,90,91,92,96,97],[60,91,92,93,94,97],[17,90,95,97],[0,4,7,8,11,12,15,16,20,21,24,25,31,32,37,38,39,40,42,43,44,45,46,47,50,51,52,55,57,58,59,60,61,62,63,64,67,68,73,75,76,77,78,79,80,81,83,85,86,88,90,92,96],[1,2,3,5,8,9,11,12,13,14,17,19,20,23,25,26,27,28,29,30,31,32,33,34,35,36,39,40,41,42,44,47,48,49,51,52,53,54,55,57,58,61,66,74,77,82,83,88,91,92,94,97],[2,5,8,10,11,12,16,17,19,21,24,26,27,29,30,31,34,35,36,37,38,39,40,41,42,45,46,47,48,50,52,54,56,58,60,62,64,69,70,71,72,74,75,76,77,82,84,85,86,87,90,91,92,94,95,96,97],[0,2,4,5,7,9,10,13,14,15,17,20,21,24,26,27,29,30,33,34,35,36,39,41,43,45,48,49,53,54,55,56,57,58,59,62,63,66,67,68,69,73,74,75,77,78,81,82,84,87,90,91,92,97],[1,2,3,4,5,7,15,16,17,23,25,26,27,28,29,30,32,34,35,37,38,39,41,43,44,46,48,50,51,54,58,59,60,61,63,64,67,68,71,72,73,74,76,77,78,80,81,82,83,85,86,88,91,93,95,96,97],[8,13,14,19,21,24,25,32,33,36,39,44,45,49,51,53,58,61,62,66,70,71,72,75,77,79,83,88,94,95],[54,91,92,93,95,97],[0,2,7,12,13,14,17,20,22,24,30,33,34,35,36,39,40,41,42,43,44,45,46,47,48,49,50,53,55,56,57,58,59,60,62,63,65,66,67,68,69,70,74,77,78,79,81,83,86,89,93,94,96,97],[74,90,91,94,95,97],[0,1,3,5,8,10,13,14,16,17,20,21,23,24,25,32,33,38,41,44,45,46,50,53,54,55,56,57,60,61,62,64,66,69,70,71,72,74,75,76,80,83,84,85,86,87,88,90,91,93,95,96],[1,2,3,4,5,8,10,11,13,14,15,17,19,20,21,22,23,25,28,30,31,32,33,34,35,36,39,46,48,49,50,51,52,53,55,57,58,60,61,65,66,73,74,75,77,79,80,84,86,87,88,89,90,93,96,97],[28,90,91,92,93,94,95,97],[2,4,5,8,9,11,15,16,17,19,22,24,30,31,34,35,37,38,39,41,44,45,48,52,56,58,62,64,65,69,71,72,73,74,76,77,79,80,83,84,85,88,89,90,91,92,93],[0,1,3,4,7,8,10,11,12,15,19,21,23,24,25,28,31,32,40,42,43,44,45,47,48,51,52,56,59,61,62,63,67,68,69,70,73,75,78,80,81,83,84,89,90,92,94,96,97],[0,4,7,8,9,11,12,13,14,15,16,19,20,29,31,33,36,37,38,40,42,43,46,47,49,50,52,53,55,57,59,60,63,64,66,67,68,70,71,72,73,76,78,80,81,85,86,87,88,89,90,91,92,94,96,97],[20,87,88,89],[1,3,9,10,13,14,16,20,21,23,24,25,28,32,33,36,37,38,44,45,46,47,49,50,51,53,55,56,57,60,61,62,64,66,69,71,72,75,76,83,84,85,86,89,90,92,93],[0,2,3,4,5,7,13,14,15,16,17,19,21,23,24,26,27,28,29,30,33,34,35,36,37,38,41,43,45,46,48,49,50,53,54,59,60,62,63,64,66,67,68,70,73,74,75,76,78,79,80,81,82,85,86,87,88,89,90,94,95,96],[38,90,92,94,96,97],[2,4,5,7,8,12,15,17,20,21,22,24,27,28,31,32,34,36,37,39,41,42,43,45,46,47,49,50,55,59,60,66,70,73,74,75,76,78,79,81,82,83,84,85,86,88,89,91,92,93,94,96],[81,90,93,94,96,97],[0,2,5,6,10,11,13,15,17,18,21,22,24,27,28,29,31,32,41,42,44,45,47,48,50,51,52,53,55,57,58,62,63,67,68,70,71,73,75,76,78,79,80,82,83,84,85,87,88,89,91,93,94,95],[6,92,93,94,96,97],[3,4,9,10,12,18,19,21,22,23,26,27,28,29,31,33,34,37,38,42,47,50,51,54,56,57,65,69,70,72,74,75,77,78,80,81,82,83,84,90,92,96,97]]},"distance":{"d":3,"is_exact":true,"upper":3,"witness":[0,8,130],"A_d":3365,"certified":null},"clifford":{"kind":"powers","correction":{"S":[[0,1],[1,2],[2,1],[3,2],[4,2],[5,1],[6,1],[7,1],[8,1],[9,1],[10,1],[11,1],[12,2],[13,1],[14,1],[15,2],[16,2],[17,1],[18,1],[19,2],[20,2],[21,2],[22,2],[23,2],[24,1],[25,1],[26,2],[27,2],[28,2],[29,2],[30,1],[31,1],[32,1],[33,1],[34,1],[35,1],[36,1],[37,2],[38,2],[39,2],[40,2],[41,1],[42,2],[43,1],[44,2],[45,1],[46,1],[47,2],[48,1],[49,1],[50,1],[51,1],[52,1],[53,1],[54,2],[55,2],[56,2],[57,2],[58,2],[59,1],[60,1],[61,1],[62,1],[63,1],[64,2],[65,2],[66,1],[67,1],[68,1],[69,2],[70,1],[71,1],[72,1],[73,2],[74,1],[75,2],[76,2],[77,2],[78,1],[79,1],[80,2],[81,1],[82,2],[83,2],[84,2],[85,2],[86,1],[87,1],[90,1],[93,1],[95,1],[97,1]],"CZ":[[1,3],[1,4],[1,12],[1,15],[1,16],[1,19],[1,20],[1,21],[1,22],[1,23],[1,26],[1,27],[1,28],[1,29],[1,37],[1,38],[1,39],[1,40],[1,42],[1,44],[1,47],[1,54],[1,55],[1,56],[1,57],[1,58],[1,64],[1,65],[1,69],[1,73],[1,75],[1,76],[1,77],[1,80],[1,82],[1,83],[1,84],[1,85],[1,87],[1,90],[1,93],[1,95],[1,97],[3,4],[3,12],[3,15],[3,16],[3,19],[3,20],[3,21],[3,22],[3,23],[3,26],[3,27],[3,28],[3,29],[3,37],[3,38],[3,39],[3,40],[3,42],[3,44],[3,47],[3,54],[3,55],[3,56],[3,57],[3,58],[3,64],[3,65],[3,69],[3,73],[3,75],[3,76],[3,77],[3,80],[3,82],[3,83],[3,84],[3,85],[3,87],[3,90],[3,93],[3,95],[3,97],[4,12],[4,15],[4,16],[4,19],[4,20],[4,21],[4,22],[4,23],[4,26],[4,27],[4,28],[4,29],[4,37],[4,38],[4,39],[4,40],[4,42],[4,44],[4,47],[4,54],[4,55],[4,56],[4,57],[4,58],[4,64],[4,65],[4,69],[4,73],[4,75],[4,76],[4,77],[4,80],[4,82],[4,83],[4,84],[4,85],[4,87],[4,90],[4,93],[4,95],[4,97],[12,15],[12,16],[12,19],[12,20],[12,21],[12,22],[12,23],[12,26],[12,27],[12,28],[12,29],[12,37],[12,38],[12,39],[12,40],[12,42],[12,44],[12,47],[12,54],[12,55],[12,56],[12,57],[12,58],[12,64],[12,65],[12,69],[12,73],[12,75],[12,76],[12,77],[12,80],[12,82],[12,83],[12,84],[12,85],[12,87],[12,90],[12,93],[12,95],[12,97],[15,16],[15,19],[15,20],[15,21],[15,22],[15,23],[15,26],[15,27],[15,28],[15,29],[15,37],[15,38],[15,39],[15,40],[15,42],[15,44],[15,47],[15,54],[15,55],[15,56],[15,57],[15,58],[15,64],[15,65],[15,69],[15,73],[15,75],[15,76],[15,77],[15,80],[15,82],[15,83],[15,84],[15,85],[15,87],[15,90],[15,93],[15,95],[15,97],[16,19],[16,20],[16,21],[16,22],[16,23],[16,26],[16,27],[16,28],[16,29],[16,37],[16,38],[16,39],[16,40],[16,42],[16,44],[16,47],[16,54],[16,55],[16,56],[16,57],[16,58],[16,64],[16,65],[16,69],[16,73],[16,75],[16,76],[16,77],[16,80],[16,82],[16,83],[16,84],[16,85],[16,87],[16,90],[16,93],[16,95],[16,97],[19,20],[19,21],[19,22],[19,23],[19,26],[19,27],[19,28],[19,29],[19,37],[19,38],[19,39],[19,40],[19,42],[19,44],[19,47],[19,54],[19,55],[19,56],[19,57],[19,58],[19,64],[19,65],[19,69],[19,73],[19,75],[19,76],[19,77],[19,80],[19,82],[19,83],[19,84],[19,85],[19,87],[19,90],[19,93],[19,95],[19,97],[20,21],[20,22],[20,23],[20,26],[20,27],[20,28],[20,29],[20,37],[20,38],[20,39],[20,40],[20,42],[20,44],[20,47],[20,54],[20,55],[20,56],[20,57],[20,58],[20,64],[20,65],[20,69],[20,73],[20,75],[20,76],[20,77],[20,80],[20,82],[20,83],[20,84],[20,85],[20,87],[20,90],[20,93],[20,95],[20,97],[21,22],[21,23],[21,26],[21,27],[21,28],[21,29],[21,37],[21,38],[21,39],[21,40],[21,42],[21,44],[21,47],[21,54],[21,55],[21,56],[21,57],[21,58],[21,64],[21,65],[21,69],[21,73],[21,75],[21,76],[21,77],[21,80],[21,82],[21,83],[21,84],[21,85],[21,87],[21,90],[21,93],[21,95],[21,97],[22,23],[22,26],[22,27],[22,28],[22,29],[22,37],[22,38],[22,39],[22,40],[22,42],[22,44],[22,47],[22,54],[22,55],[22,56],[22,57],[22,58],[22,64],[22,65],[22,69],[22,73],[22,75],[22,76],[22,77],[22,80],[22,82],[22,83],[22,84],[22,85],[22,87],[22,90],[22,93],[22,95],[22,97],[23,26],[23,27],[23,28],[23,29],[23,37],[23,38],[23,39],[23,40],[23,42],[23,44],[23,47],[23,54],[23,55],[23,56],[23,57],[23,58],[23,64],[23,65],[23,69],[23,73],[23,75],[23,76],[23,77],[23,80],[23,82],[23,83],[23,84],[23,85],[23,87],[23,90],[23,93],[23,95],[23,97],[26,27],[26,28],[26,29],[26,37],[26,38],[26,39],[26,40],[26,42],[26,44],[26,47],[26,54],[26,55],[26,56],[26,57],[26,58],[26,64],[26,65],[26,69],[26,73],[26,75],[26,76],[26,77],[26,80],[26,82],[26,83],[26,84],[26,85],[26,87],[26,90],[26,93],[26,95],[26,97],[27,28],[27,29],[27,37],[27,38],[27,39],[27,40],[27,42],[27,44],[27,47],[27,54],[27,55],[27,56],[27,57],[27,58],[27,64],[27,65],[27,69],[27,73],[27,75],[27,76],[27,77],[27,80],[27,82],[27,83],[27,84],[27,85],[27,87],[27,90],[27,93],[27,95],[27,97],[28,29],[28,37],[28,38],[28,39],[28,40],[28,42],[28,44],[28,47],[28,54],[28,55],[28,56],[28,57],[28,58],[28,64],[28,65],[28,69],[28,73],[28,75],[28,76],[28,77],[28,80],[28,82],[28,83],[28,84],[28,85],[28,87],[28,90],[28,93],[28,95],[28,97],[29,37],[29,38],[29,39],[29,40],[29,42],[29,44],[29,47],[29,54],[29,55],[29,56],[29,57],[29,58],[29,64],[29,65],[29,69],[29,73],[29,75],[29,76],[29,77],[29,80],[29,82],[29,83],[29,84],[29,85],[29,87],[29,90],[29,93],[29,95],[29,97],[37,38],[37,39],[37,40],[37,42],[37,44],[37,47],[37,54],[37,55],[37,56],[37,57],[37,58],[37,64],[37,65],[37,69],[37,73],[37,75],[37,76],[37,77],[37,80],[37,82],[37,83],[37,84],[37,85],[37,87],[37,90],[37,93],[37,95],[37,97],[38,39],[38,40],[38,42],[38,44],[38,47],[38,54],[38,55],[38,56],[38,57],[38,58],[38,64],[38,65],[38,69],[38,73],[38,75],[38,76],[38,77],[38,80],[38,82],[38,83],[38,84],[38,85],[38,87],[38,90],[38,93],[38,95],[38,97],[39,40],[39,42],[39,44],[39,47],[39,54],[39,55],[39,56],[39,57],[39,58],[39,64],[39,65],[39,69],[39,73],[39,75],[39,76],[39,77],[39,80],[39,82],[39,83],[39,84],[39,85],[39,87],[39,90],[39,93],[39,95],[39,97],[40,42],[40,44],[40,47],[40,54],[40,55],[40,56],[40,57],[40,58],[40,64],[40,65],[40,69],[40,73],[40,75],[40,76],[40,77],[40,80],[40,82],[40,83],[40,84],[40,85],[40,87],[40,90],[40,93],[40,95],[40,97],[42,44],[42,47],[42,54],[42,55],[42,56],[42,57],[42,58],[42,64],[42,65],[42,69],[42,73],[42,75],[42,76],[42,77],[42,80],[42,82],[42,83],[42,84],[42,85],[42,87],[42,90],[42,93],[42,95],[42,97],[44,47],[44,54],[44,55],[44,56],[44,57],[44,58],[44,64],[44,65],[44,69],[44,73],[44,75],[44,76],[44,77],[44,80],[44,82],[44,83],[44,84],[44,85],[44,87],[44,90],[44,93],[44,95],[44,97],[47,54],[47,55],[47,56],[47,57],[47,58],[47,64],[47,65],[47,69],[47,73],[47,75],[47,76],[47,77],[47,80],[47,82],[47,83],[47,84],[47,85],[47,87],[47,90],[47,93],[47,95],[47,97],[54,55],[54,56],[54,57],[54,58],[54,64],[54,65],[54,69],[54,73],[54,75],[54,76],[54,77],[54,80],[54,82],[54,83],[54,84],[54,85],[54,87],[54,90],[54,93],[54,95],[54,97],[55,56],[55,57],[55,58],[55,64],[55,65],[55,69],[55,73],[55,75],[55,76],[55,77],[55,80],[55,82],[55,83],[55,84],[55,85],[55,87],[55,90],[55,93],[55,95],[55,97],[56,57],[56,58],[56,64],[56,65],[56,69],[56,73],[56,75],[56,76],[56,77],[56,80],[56,82],[56,83],[56,84],[56,85],[56,87],[56,90],[56,93],[56,95],[56,97],[57,58],[57,64],[57,65],[57,69],[57,73],[57,75],[57,76],[57,77],[57,80],[57,82],[57,83],[57,84],[57,85],[57,87],[57,90],[57,93],[57,95],[57,97],[58,64],[58,65],[58,69],[58,73],[58,75],[58,76],[58,77],[58,80],[58,82],[58,83],[58,84],[58,85],[58,87],[58,90],[58,93],[58,95],[58,97],[64,65],[64,69],[64,73],[64,75],[64,76],[64,77],[64,80],[64,82],[64,83],[64,84],[64,85],[64,87],[64,90],[64,93],[64,95],[64,97],[65,69],[65,73],[65,75],[65,76],[65,77],[65,80],[65,82],[65,83],[65,84],[65,85],[65,87],[65,90],[65,93],[65,95],[65,97],[69,73],[69,75],[69,76],[69,77],[69,80],[69,82],[69,83],[69,84],[69,85],[69,87],[69,90],[69,93],[69,95],[69,97],[73,75],[73,76],[73,77],[73,80],[73,82],[73,83],[73,84],[73,85],[73,87],[73,90],[73,93],[73,95],[73,97],[75,76],[75,77],[75,80],[75,82],[75,83],[75,84],[75,85],[75,87],[75,90],[75,93],[75,95],[75,97],[76,77],[76,80],[76,82],[76,83],[76,84],[76,85],[76,87],[76,90],[76,93],[76,95],[76,97],[77,80],[77,82],[77,83],[77,84],[77,85],[77,87],[77,90],[77,93],[77,95],[77,97],[80,82],[80,83],[80,84],[80,85],[80,87],[80,90],[80,93],[80,95],[80,97],[82,83],[82,84],[82,85],[82,87],[82,90],[82,93],[82,95],[82,97],[83,84],[83,85],[83,87],[83,90],[83,93],[83,95],[83,97],[84,85],[84,87],[84,90],[84,93],[84,95],[84,97],[85,87],[85,90],[85,93],[85,95],[85,97],[87,90],[87,93],[87,95],[87,97],[90,93],[90,95],[90,97],[93,95],[93,97],[95,97]]},"rotation_powers":[[0,3],[1,5],[2,7],[3,3],[4,7],[5,5],[6,5],[7,5],[8,5],[9,5],[10,3],[11,3],[12,7],[13,5],[14,7],[16,5],[17,5],[18,7],[19,5],[20,7],[22,7],[23,7],[24,5],[28,5],[29,7],[30,3],[31,5],[33,3],[34,7],[36,7],[37,7],[38,7],[39,3],[41,3],[43,7],[44,7],[45,3],[47,7],[48,7],[50,7],[51,7],[53,7],[54,5],[55,3],[56,7],[57,3],[59,7],[60,7],[61,5],[63,7],[67,3],[69,3],[70,5],[71,5],[73,5],[74,3],[75,5],[77,3],[78,7],[80,3],[81,7],[83,3],[84,3],[86,7],[93,3],[94,3],[95,7],[97,7],[101,5],[102,3],[107,3],[109,7],[110,3],[111,3],[112,3],[113,3],[114,3],[115,3],[116,3],[117,3],[118,3],[121,3],[122,7],[124,3],[127,3],[129,3],[130,3],[131,3],[133,3],[135,3],[136,3],[137,3],[139,3],[140,3],[142,3],[144,3],[148,3],[151,3],[152,3],[153,3],[155,3],[156,3],[157,3],[160,3],[165,3],[169,3],[170,3],[173,3],[175,3],[179,3],[186,3],[187,7],[191,7],[193,7],[194,3],[196,3],[198,3],[199,3],[200,5],[203,3],[205,3],[208,3],[209,7],[211,3],[213,3],[215,3],[216,3],[217,3],[219,3],[223,3],[225,3],[226,3],[230,3],[232,3],[233,3],[234,3],[239,3],[241,3],[242,3],[244,3],[245,3],[246,3],[247,3],[249,3],[250,3],[251,3],[252,3],[254,3],[257,3],[259,3],[262,3],[265,3],[266,3],[268,3],[270,3],[272,3],[273,3],[274,3],[278,3],[279,3],[283,3],[286,3],[287,3],[288,3],[291,3],[293,3],[295,3],[296,3],[297,3],[298,3],[299,3],[301,3],[306,3],[307,3],[311,3],[314,3],[317,3],[318,3],[320,3],[321,3],[322,3],[324,3],[325,3],[326,3],[328,3],[330,3],[331,3],[332,3],[334,3],[336,3],[337,3],[338,3],[340,3],[342,3],[344,3],[345,3],[346,3],[348,3],[349,3],[351,3],[352,3],[353,3],[356,3],[357,3],[358,3]]},"metrics":{"gamma":1.290186068783266,"gamma_t":null,"gamma_rho":1.290186068783266,"gamma_claim":1.290186068783266,"gamma_t_claim":null,"gamma_rho_claim":1.290186068783266,"v_ex":87,"rate":0.24233983286908078,"t_count":null,"poly_degree":null,"effective_width":87},"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_359_87_3_b8ef19793a88.json","label":"paired_column_contraction_359_87_3_b8ef19793a88","N":98,"d":3,"d_is_exact":true,"origin":"Wills-derived four-block Schur-orthogonal restricted-light parent (|S|=112), with searched graph punctures; 1 paired-column contraction","provenance":"gamma frontier release record paired_column_contraction_359_87_3_b8ef19793a88 (source catalogue id paired_column_contraction_359_87_3_b8ef19793a88); construction: Wills-derived four-block Schur-orthogonal restricted-light parent (|S|=112), with searched graph punctures; 1 paired-column contraction; matrix b8ef19793a88ca32...; the release states d=3 (exact), gamma=1.290186068783266 (exact)","notes":"matrix gamma_frontier_release/matrices/b8ef19793a88ca322c4e8c6388c9ded9c5ed92442e6d769410a93d3c73abbff6.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"}]}