{"id":"360.86.3.a","row":998,"stored":{"file":"master_catalog.json","row":998,"construction":null,"columns_sha256":null},"parameters":{"n":360,"k":86,"d":3,"N":98,"r":12,"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,88,90,92,95,97],[0,3,5,6,7,8,12,13,15,16,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,87,92,93,94,95,96,97],[3,92],[1,3,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,67,68,70,72,74,75,79,80,82,85,87,91,92,93,94,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,52,53,54,55,57,61,63,64,67,68,70,72,73,74,75,79,80,82,85,94,95,96,97],[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,95,96],[0,1,4,5,9,15,18,19,26,31,32,33,36,43,49,50,51,54,60,67,69,71,72,73,78,87,88,91],[2,10,15,16,20,21,30,32,33,34,44,45,46,47,48,52,53,60,65,68,69,70,72,75,78,79,80,86,87,89,90,91,92,93,94,96],[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,67,68,70,74,75,79,80,82,85,86,87,88,90,93,94,96],[0,2,3,5,8,10,12,14,15,16,17,18,20,23,27,30,32,33,36,37,38,47,49,50,55,62,65,66,67,68,70,72,77,78,80,81,83,84,85,87,89,92,94,96,97],[43,91,92,94],[0,1,4,5,9,15,18,19,23,26,32,33,36,43,49,50,51,54,60,67,69,71,72,73,78,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,63,64,67,68,70,72,73,74,75,79,80,82,85,86,88,94,95,96,97],[33,67,73,86,87,90,93,95,97],[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,88,90,91,94,96],[56,90,91,95],[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,90,91,92,96,97],[0,3,5,6,7,8,11,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,87,88,92,93,94,95,96],[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,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,54,55,57,61,63,64,67,68,70,72,73,74,75,79,80,82,85,87,88,94,95,96,97],[33,90,91,92,93,95],[2,3,6,8,10,14,15,16,19,23,24,25,30,31,32,34,35,37,39,40,41,43,44,47,48,51,54,56,57,60,61,62,63,64,66,68,69,70,71,72,73,75,76,77,80,82,84,87,88,89,95,96],[28,91,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,57,61,63,64,65,67,68,70,72,74,75,79,80,82,85,86,90,93,94,96],[76,93,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,89,90],[0,1,4,5,6,7,9,12,13,17,18,19,23,30,31,33,36,37,38,40,41,43,48,49,51,54,55,57,60,63,64,65,67,69,71,74,82,83,85,87,90,91,92,93,95,97],[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,89,92,95],[0,5,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,74,75,76,79,83,84,87,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,88,90,91,92,93,94,96,97],[0,1,3,4,9,11,12,13,14,15,18,20,21,22,25,26,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,80,82,83,84,85,87,90,92,97],[2,92,93,96],[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,46,47,48,49,50,51,52,53,54,55,57,59,61,65,66,67,68,71,72,73,76,78,80,82,83,84,85,87,90,92,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,88,90,94,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,51,52,54,59,60,63,64,65,66,67,70,72,74,75,76,79,83,84,86,87,90,92,93,95,96],[10,92,94,96],[1,4,5,6,7,8,9,11,14,16,18,19,22,23,25,27,28,30,31,35,36,38,39,42,45,48,52,59,60,63,64,65,66,69,70,71,74,75,76,78,79,83,84,86,87,90,92,93,96,97],[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,90,91,93,95,96],[1,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,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,87,88,90,94,95],[1,2,3,4,11,12,13,14,17,18,20,22,25,27,28,29,30,31,32,35,38,39,40,41,42,43,45,46,47,57,59,60,61,62,65,68,69,75,76,77,79,80,81,82,83,87,89,91,92],[0,91,92,93,94,96],[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,88,90,91,94,96,97],[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,89,90,91,92,93,94,95,96],[3,5,11,12,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,87,88,90,91,96,97],[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,88,93,94,96,97],[79,93,95,96],[0,6,7,8,11,14,15,16,22,24,25,26,27,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,94,95,96,97],[68,94,95,96],[16,90,91,94,95,96],[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,89,90,91,92,94,95,97],[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,88,90,93,96],[0,6,7,8,11,14,15,16,22,25,26,27,28,30,32,33,35,38,39,42,43,45,48,49,50,51,52,54,59,60,63,64,65,67,70,72,73,74,75,76,79,83,84,86,87,88,91,92,94,97],[1,4,5,6,7,8,9,11,14,16,18,19,22,23,25,27,28,30,31,33,35,36,38,39,41,42,45,48,52,59,63,64,65,66,69,70,71,73,74,75,76,78,79,83,84,86,87,88,90,91,92,93,96],[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,88,90,92,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,89,90,91,92,93,94,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,89,90,92,95,97],[0,1,2,3,5,6,7,8,9,11,12,13,14,15,17,19,22,24,26,28,29,31,36,37,38,40,41,42,46,47,49,50,51,52,53,54,57,62,63,65,66,67,68,69,72,75,77,79,80,81,82,83,84,87,88,91,94],[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,90,91,93,96,97],[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,88,89,92,93,94,95,96],[30,90,91,92,93,97],[3,7,8,10,13,15,17,18,22,23,25,26,28,30,32,35,39,40,42,43,45,47,48,50,51,52,54,56,60,63,65,67,73,74,75,76,78,79,80,81,83,86,87,88,89,93,96],[44,92,94,97],[1,3,4,6,7,8,9,12,13,16,18,20,21,26,29,32,34,38,40,41,44,45,46,47,48,49,50,51,53,54,55,57,61,63,64,67,68,70,72,74,75,79,80,82,85,86,87,89,91,92,93,96,97],[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,89,94,95,96,97],[33,59,73,86,87,88,89,90,93,95,97],[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,89,90,92,94,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,88,90,91,93,95,97],[0,1,4,5,9,15,17,18,19,23,26,31,32,36,43,49,50,51,54,60,67,69,71,72,78,87,88,89,92],[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,89,91,92,93,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,87,88,89,91,92,95,96,97],[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,89,90,93,94,96],[1,3,4,6,7,8,9,12,13,16,18,20,21,26,29,32,33,34,38,40,41,44,45,47,49,50,51,53,54,55,57,61,63,64,67,68,70,72,73,74,75,79,80,82,85,87,89,93,94,96],[78,90,91,93,95,97],[0,1,4,5,9,15,18,19,23,26,29,31,32,36,43,49,50,51,54,60,67,69,71,72,78,86,87,89,90,92,95,97],[49,91,92,94,95,97],[37,90,93,94,95,97],[14,92,93,94,95,97],[81,90,96,97],[62,91,96,97],[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,88,91,92,93,96,97],[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,89,90,91,93,94,95,96,97],[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,89,90,91,93,94,96],[63,91,92,93,96,97],[21,94,96,97],[1,4,5,6,7,8,9,11,14,16,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,76,78,79,83,84,86,87,88,89,91,93,94,97],[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,91,93,95],[64,91,92,94,96,97],[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,89,91,93,97],[25,91,93,94,96,97],[6,92,93,94,96,97],[2,3,4,7,9,11,12,13,16,18,21,24,26,29,30,34,35,37,38,41,44,45,46,49,50,52,53,57,58,59,63,64,66,68,69,72,74,75,77,79,80,82,83,84,85,86,87,90,93,94,97],[3,88,92],[4,90,91,92],[32,33,73,87,88,90,93,95,97],[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,90,92,94,95],[23,91,92,93],[2,10,15,16,20,21,30,32,33,34,44,45,46,47,48,52,53,60,65,68,69,70,72,75,78,79,80,87,89,90,91,92,93,94,96],[1,2,3,4,8,9,10,12,14,16,17,19,20,26,27,30,31,33,37,38,43,47,51,54,55,60,62,65,66,68,69,70,71,77,80,81,83,84,85,86,87,89,90,94,95,96],[0,3,5,6,7,8,12,13,15,16,19,20,21,23,29,31,34,36,38,40,41,44,45,46,47,53,55,57,60,61,63,64,68,69,70,71,74,75,78,79,80,82,85,86,87,88,91,93,95,96,97],[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,88,90,92,94,96],[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,88,90,91,94,96],[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,88,91,93,94,95,96],[0,1,4,5,9,15,18,19,23,26,31,32,36,43,49,50,51,54,57,60,67,69,71,72,78,87,90,92,95,97],[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,88,90,91,93,94,95],[11,90,93,95],[35,91,93,95],[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,89,90,92,96,97],[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,96,97],[80,86,87,88],[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,70,72,73,74,75,76,79,80,82,85,86,87,93,96,97],[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,88,89,93,95,97],[0,3,5,6,7,8,12,13,15,16,19,20,21,23,29,31,33,34,36,38,40,41,43,44,45,46,47,53,57,60,61,63,64,68,69,70,71,73,74,75,78,79,80,82,85,86,87,90,92,94,96],[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,88,92,93],[0,1,3,4,6,7,9,11,14,17,18,20,21,22,25,26,27,28,29,32,33,34,35,37,38,39,42,43,44,46,47,50,52,53,59,60,61,63,64,66,68,72,74,76,78,80,84,87,92,93,95,96],[1,4,5,6,7,8,9,11,14,16,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,87,88,91,93,94,97],[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,89,91,96],[27,90,93,96],[26,91,93,96],[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,88,90,91,92,93,94,95,96],[69,90,91,92,93,96],[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,92,94],[50,91,94,96],[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,88,90,91,92,94,97],[60,90,91,92,94,96],[83,93,94,96],[1,90,91,93,94,96],[0,1,2,3,4,6,7,8,12,13,15,16,17,18,20,26,29,31,33,40,41,46,47,48,49,50,51,52,54,57,61,62,63,64,66,67,68,69,70,72,73,74,77,80,81,82,84,86,87,89,94,97],[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,80,82,83,84,85,86,87,88,90,94,97],[0,2,3,7,8,12,13,14,17,21,22,23,28,29,31,33,36,37,38,40,44,46,47,49,50,51,52,53,58,60,62,63,65,66,69,71,73,75,76,77,79,82,83,84,85,87,90,92,94,95,97],[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,89,96],[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,88,91,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,83,84,87,90,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,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,88,91,93,95,96],[24,90,92,93,95,96],[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,88,90,91,92,93,96,97],[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,69,71,72,76,78,80,82,83,84,85,86,87,90,91,94,95,97],[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,88,90,93,95,96,97],[2,5,6,10,12,13,20,21,22,26,27,34,35,36,37,40,42,43,45,50,52,54,55,56,59,60,62,63,64,67,68,70,74,75,77,79,80,83,85,87,89,90,94,96,97],[74,91,92,94,95,96],[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,90,91,92,93,96,97],[41,92,93,94,95,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,91,93,95,96],[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,88,89,90,92,95,96],[0,2,4,6,10,12,15,16,17,20,21,22,24,25,27,28,30,32,33,36,41,42,43,46,48,49,52,53,56,57,60,65,68,70,72,75,77,78,79,83,85,86,87,88,91,92],[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,53,55,57,60,61,63,64,68,69,70,71,73,74,75,78,79,80,82,85,87,88,89,92,93,94,95,96,97],[1,2,9,11,14,16,17,20,21,22,23,24,26,28,33,34,37,42,43,44,45,49,50,51,52,54,55,60,61,62,64,65,66,67,70,71,72,73,74,77,78,81,83,84,85,87,89,90,91,92,96],[1,3,4,6,7,8,9,12,13,15,18,20,21,22,23,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,85,86,87,89,90,91,92,96,97],[70,92,93,97],[30,33,73,87,89,91,92,95],[0,1,3,4,5,7,8,9,10,13,17,19,22,25,28,30,31,35,36,39,40,42,45,47,48,49,52,56,63,65,69,71,72,73,74,75,76,79,80,81,83,87,90,92,93,95,96,97],[0,3,5,6,7,8,12,13,15,16,19,20,21,22,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,86,87,89,92,93,94,95,96,97],[44,86,88,89,92,94,97],[48,90,91,92,94,97],[0,2,6,14,15,16,20,22,25,28,30,31,32,33,41,43,45,46,47,48,49,50,51,52,53,58,60,61,64,65,69,70,72,74,75,76,77,78,79,83,84,86,87,89,90,91,92,95,97],[17,90,95,97],[9,91,95,97],[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,91,92,95,96,97],[46,93,95,97],[33,73,78,88,89,91],[0,3,5,6,7,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,87,89,90,92,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,88,89,92,93],[34,86,87,89],[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,88,89,90,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,88,89,91,93,96],[0,3,5,6,7,8,12,13,15,16,19,20,21,23,29,31,33,34,36,37,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,87,88,89,92,93,95,96,97],[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,89,92,93],[1,3,4,6,7,8,9,12,13,14,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,70,72,73,74,75,79,80,82,85,86,87,88,89,92,93,96],[33,71,73,86,89,90,93,95,97],[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,88,89,90,91,92,95,97],[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,62,63,64,65,66,67,70,72,74,75,76,79,83,84,87,89,90,92,93,94,95,96,97],[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,88,89,90,91,96,97],[0,2,5,6,8,10,11,12,14,15,16,17,18,19,20,21,25,27,28,30,32,33,36,37,42,49,50,52,55,56,57,62,64,65,66,68,70,73,76,77,78,83,85,87,88,89,92,94,96],[20,93,96,97],[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,46,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,88,89,91,93,95,96],[42,90,92,93,96,97],[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,63,65,66,68,73,76,80,82,83,84,85,87,88,89,90],[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,89,90,91,94],[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,89,92,93,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,65,66,67,70,72,74,75,76,79,83,84,86,87,88,89,90,93,95,96,97],[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,88,92,93,94],[0,1,3,4,9,11,12,13,14,15,18,20,21,22,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,80,82,83,84,85,86,87,89,90,92,94],[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,88,89,90,91,92,93,95,96,97],[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,89,90,91,94,95,96,97],[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,88,92,95,97],[0,3,5,6,7,8,12,13,15,16,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,87,91,92,93,94,95,96,97],[1,3,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,67,68,70,72,74,75,79,80,82,85,87,90,93,94,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,52,53,54,55,57,61,63,64,67,68,70,72,73,74,75,79,80,82,85,93,94,95,96,97],[32,90,91,93],[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,90,92,93,95,96],[0,1,4,5,9,15,18,19,26,31,32,33,36,43,49,50,51,54,60,67,69,71,72,73,78,87,88,92,93],[2,10,15,16,20,21,30,32,33,34,44,45,46,47,48,52,53,60,65,68,69,70,72,75,78,79,80,86,87,89,90,91,92,93,96],[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,67,68,70,74,75,79,80,82,85,86,87,88,91,93,96],[0,2,3,5,8,10,12,14,15,16,17,18,20,23,27,30,32,33,36,37,38,47,49,50,55,62,65,66,67,68,70,72,77,78,80,81,83,84,85,87,89,90,96,97],[38,90,93,94],[0,1,4,5,9,15,18,19,23,26,32,33,36,43,49,50,51,54,60,67,69,71,72,73,78,86,87,91,92,94],[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,88,92,93,95,96,97],[33,67,73,86,87,91,92,94,95,97],[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,88,90,91,94,95,96],[57,90,92,95],[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,90,95,96,97],[0,3,5,6,7,8,11,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,87,88,90,92,94,96],[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,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,54,55,57,61,63,64,67,68,70,72,73,74,75,79,80,82,85,87,88,92,93,94,96,97],[2,3,6,8,10,14,15,16,19,23,24,25,30,31,32,34,35,37,39,40,41,43,44,47,48,51,54,56,57,60,61,62,63,64,66,68,69,70,71,72,73,75,76,77,80,82,84,87,88,89,90,94,96],[80,92,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,57,61,63,64,65,67,68,70,72,74,75,79,80,82,85,86,91,92,93,95,96],[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,89,91,93,94,95],[55,90,92,93,94,95],[84,91,92,93,94,95],[0,1,4,5,6,7,9,12,13,17,18,19,23,30,31,33,36,37,38,40,41,43,48,49,51,54,55,57,60,63,64,65,67,69,71,74,82,83,85,87,90,91,92,93,95,96,97],[18,90,91,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,89,90,95,96],[0,5,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,74,75,76,79,83,84,87,88,90,93,94,95,96],[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,88,91,92,94,97],[0,1,3,4,9,11,12,13,14,15,18,20,21,22,25,26,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,80,82,83,84,85,87,90,91,92,93,96,97],[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,46,47,48,49,50,51,52,53,54,55,57,59,61,65,66,67,68,71,72,73,76,78,80,82,83,84,85,87,91,93,95,96],[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,88,95],[0,6,7,8,11,14,15,16,22,25,26,27,28,30,32,35,38,39,42,43,45,48,49,51,52,54,59,60,63,64,65,66,67,70,72,74,75,76,79,83,84,86,87,90,91,92,93,94,95],[1,4,5,6,7,8,9,11,14,16,18,19,22,23,25,27,28,30,31,35,36,38,39,42,45,48,52,59,60,63,64,65,66,69,70,71,74,75,76,78,79,83,84,86,87,91,93,94,97],[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,90,91,94,95],[1,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,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,87,88,91,93,95,96],[1,2,3,4,11,12,13,14,17,18,20,22,25,27,28,29,30,31,32,35,38,39,40,41,42,43,45,46,47,57,59,60,61,62,65,68,69,75,76,77,79,80,81,82,83,87,89,90,91,93,94,96],[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,88,91,94,95,97],[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,89,90,92,93,94],[3,5,11,12,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,87,88,90,91,92,95,97],[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,88,90,91,92,93,94,95,97],[45,90,91,93,95,96],[0,6,7,8,11,14,15,16,22,24,25,26,27,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,91,92,94,97],[40,91,92,93,95,96],[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,89,91,96,97],[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,88,90,91,92,93,94,95],[0,6,7,8,11,14,15,16,22,25,26,27,28,30,32,33,35,38,39,42,43,45,48,49,50,51,52,54,59,60,63,64,65,67,70,72,73,74,75,76,79,83,84,86,87,88,90,91,92,93,95,96,97],[77,91,93,94,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,41,42,45,48,52,59,63,64,65,66,69,70,71,73,74,75,76,78,79,83,84,86,87,88,90,91,94,95],[39,90,91,92,93,94,95,96],[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,88,90,92,95,96,97],[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,89,92,93,94,96,97],[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,89,95],[0,1,2,3,5,6,7,8,9,11,12,13,14,15,17,19,22,24,26,28,29,31,36,37,38,40,41,42,46,47,49,50,51,52,53,54,57,62,63,65,66,67,68,69,72,75,77,79,80,81,82,83,84,87,88,90,91,93,94,97],[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,90,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,88,89,94,95,96,97],[3,7,8,10,13,15,17,18,22,23,25,26,28,30,32,35,39,40,42,43,45,47,48,50,51,52,54,56,60,63,65,67,73,74,75,76,78,79,80,81,83,86,87,88,89,90,93,94,96,97],[22,91,94,97],[1,3,4,6,7,8,9,12,13,16,18,20,21,26,29,32,34,38,40,41,44,45,46,47,48,49,50,51,53,54,55,57,61,63,64,67,68,70,72,74,75,79,80,82,85,86,87,89,90,93,94,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,89,93,95,96],[33,59,73,86,87,88,89,91,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,89,93,96,97],[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,88,90,92,94,95],[0,1,4,5,9,15,17,18,19,23,26,31,32,36,43,49,50,51,54,60,67,69,71,72,78,87,88,89,90,92,95,97],[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,89,92,93,94,95,96,97],[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,87,88,89,91,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,89,91,92,93,94,95,96,97],[1,3,4,6,7,8,9,12,13,16,18,20,21,26,29,32,33,34,38,40,41,44,45,47,49,50,51,53,54,55,57,61,63,64,67,68,70,72,73,74,75,79,80,82,85,87,89,94,95,96,97],[8,90,92,93,95,97],[54,91,92,93,95,97],[34,94,95,97],[15,90,91,94,95,97],[0,1,4,5,9,15,18,19,23,26,29,31,32,36,43,49,50,51,54,60,67,69,71,72,78,86,87,89,94],[51,91,93,94,95,97],[71,90,91,92,93,94,95,97],[82,92,96,97],[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,88,90,93],[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,89,90,91,94,95],[47,90,91,93,96,97],[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,89,91,92,94,97],[1,4,5,6,7,8,9,11,14,16,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,76,78,79,83,84,86,87,88,89,90,93,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,91,92,93,94,95,96,97],[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,89,90,91,94,96],[2,3,4,7,9,11,12,13,16,18,21,24,26,29,30,34,35,37,38,41,44,45,46,49,50,52,53,57,58,59,63,64,66,68,69,72,74,75,77,79,80,82,83,84,85,86,87,91,92,96],[12,90],[19,91],[3,88],[52,93],[32,33,73,87,88,91,95,97],[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,93,94,95],[2,10,15,16,20,21,30,32,33,34,44,45,46,47,48,52,53,60,65,68,69,70,72,75,78,79,80,87,89,90,91,92,93,96],[72,90,91,94],[1,2,3,4,8,9,10,12,14,16,17,19,20,26,27,30,31,33,37,38,43,47,51,54,55,60,62,65,66,68,69,70,71,77,80,81,83,84,85,86,87,89,92,95,96],[0,3,5,6,7,8,12,13,15,16,19,20,21,23,29,31,34,36,38,40,41,44,45,46,47,53,55,57,60,61,63,64,68,69,70,71,74,75,78,79,80,82,85,86,87,88,92,93,94,95,96,97],[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,88,92,93,96],[31,91,93,94],[61,92,93,94],[67,90,91,92,93,94],[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,88,90,91,94,95,96],[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,88,90,93,94,96],[0,1,4,5,9,15,18,19,23,26,31,32,36,43,49,50,51,54,57,60,67,69,71,72,78,87,97],[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,88,90,92,93,94],[53,92,93,95],[73,90,93,95,97],[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,89,92,94,95,96,97],[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,92,93,94,95,96,97],[80,86,87,88,92,94,95],[65,90,91,92,94,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,70,72,73,74,75,76,79,80,82,85,86,87,94,95,96,97],[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,88,89,90,91,94,97],[0,3,5,6,7,8,12,13,15,16,19,20,21,23,29,31,33,34,36,38,40,41,43,44,45,46,47,53,57,60,61,63,64,68,69,70,71,73,74,75,78,79,80,82,85,86,87,93,95,96],[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,88,91,94,95],[0,1,3,4,6,7,9,11,14,17,18,20,21,22,25,26,27,28,29,32,33,34,35,37,38,39,42,43,44,46,47,50,52,53,59,60,61,63,64,66,68,72,74,76,78,80,84,87,92,93,95],[1,4,5,6,7,8,9,11,14,16,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,87,88,90,93,94,96,97],[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,89,90,91,92],[5,91,92,96],[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,88,90,91,94,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,91,92,96],[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,88,90,91,96,97],[0,1,2,3,4,6,7,8,12,13,15,16,17,18,20,26,29,31,33,40,41,46,47,48,49,50,51,52,54,57,61,62,63,64,66,67,68,69,70,72,73,74,77,80,81,82,84,86,87,89,90,92,93,96,97],[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,80,82,83,84,85,86,87,88,90,91,92,93,96,97],[0,2,3,7,8,12,13,14,17,21,22,23,28,29,31,33,36,37,38,40,44,46,47,49,50,51,52,53,58,60,62,63,65,66,69,71,73,75,76,77,79,82,83,84,85,87,92,94,96,97],[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,89,91,95],[13,92,95,96],[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,88,90,92,95],[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,83,84,87,90,91,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,88,90],[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,88,90,95,97],[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,69,71,72,76,78,80,82,83,84,85,86,87,90,91,96,97],[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,88,91,93,94,97],[2,5,6,10,12,13,20,21,22,26,27,34,35,36,37,40,42,43,45,50,52,54,55,56,59,60,62,63,64,67,68,70,74,75,77,79,80,83,85,87,89,92,95,97],[66,90,93,94,95,96],[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,90,92,94,95,97],[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],[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,88,89,90,92,95,96,97],[0,2,4,6,10,12,15,16,17,20,21,22,24,25,27,28,30,32,33,36,41,42,43,46,48,49,52,53,56,57,60,65,68,70,72,75,77,78,79,83,85,86,87,88,90,92,97],[85,90,92,97],[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,53,55,57,60,61,63,64,68,69,70,71,73,74,75,78,79,80,82,85,87,88,89,91,93,94,95,96],[1,2,9,11,14,16,17,20,21,22,23,24,26,28,33,34,37,42,43,44,45,49,50,51,52,54,55,60,61,62,64,65,66,67,70,71,72,73,74,77,78,81,83,84,85,87,89,91,92,93,96,97],[1,3,4,6,7,8,9,12,13,15,18,20,21,22,23,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,85,86,87,89,90,92,93,96],[30,33,73,87,89,90,93,95,97],[0,1,3,4,5,7,8,9,10,13,17,19,22,25,28,30,31,35,36,39,40,42,45,47,48,49,52,56,63,65,69,71,72,73,74,75,76,79,80,81,83,87,92,93,94,95,96],[0,3,5,6,7,8,12,13,15,16,19,20,21,22,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,86,87,89,91,92,93,95,96],[44,86,88,89],[58,93,94,97],[59,90,91,93,94,97],[7,90,92,93,94,97],[0,2,6,14,15,16,20,22,25,28,30,31,32,33,41,43,45,46,47,48,49,50,51,52,53,58,60,61,64,65,69,70,72,74,75,76,77,78,79,83,84,86,87,89,90,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,91,96],[36,90,91,92,95,97],[33,73,78,88,89,90,93,95,97],[0,3,5,6,7,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,87,89,93,94,95,96,97],[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,88,89,91,95,97],[34,86,87,89,94,95,97],[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,88,89,91,93,95,96,97],[29,90,92,94,95,97],[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,88,89,92,93,94,95,96,97],[0,3,5,6,7,8,12,13,15,16,19,20,21,23,29,31,33,34,36,37,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,87,88,89,90,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,89,91,92,94,95,97],[1,3,4,6,7,8,9,12,13,14,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,70,72,73,74,75,79,80,82,85,86,87,88,89,94,95,96,97],[33,71,73,86,89,91,92,94],[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,88,89,91,92,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,62,63,64,65,66,67,70,72,74,75,76,79,83,84,87,89,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,88,89,90,91,92],[0,2,5,6,8,10,11,12,14,15,16,17,18,19,20,21,25,27,28,30,32,33,36,37,42,49,50,52,55,56,57,62,64,65,66,68,70,73,76,77,78,83,85,87,88,89,90,91,94,97],[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,46,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,88,89,90,95,97],[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,63,65,66,68,73,76,80,82,83,84,85,87,88,89,90,91,92,93,96,97],[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,89,90,91,96,97],[75,90,91,94,96,97],[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,89,90,93,94,97],[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,65,66,67,70,72,74,75,76,79,83,84,86,87,88,89,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,88,90,92,96,97],[0,1,3,4,9,11,12,13,14,15,18,20,21,22,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,80,82,83,84,85,86,87,89,90,91,92,93,96,97],[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,88,89,90,91,94,95],[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,89,92,93,95]]},"distance":{"d":3,"is_exact":true,"upper":3,"witness":[0,2,312],"A_d":1559,"certified":null},"clifford":{"kind":"powers","correction":{"S":[[0,1],[1,1],[2,1],[3,1],[4,1],[5,1],[6,1],[7,1],[8,1],[9,1],[10,1],[11,1],[12,1],[13,1],[14,1],[15,1],[16,1],[17,1],[18,1],[19,1],[20,1],[21,1],[22,1],[23,1],[24,1],[25,1],[26,1],[27,1],[28,1],[29,1],[30,1],[31,1],[32,1],[33,1],[34,1],[35,1],[36,1],[37,1],[38,1],[39,1],[40,1],[41,1],[42,1],[43,1],[44,1],[45,1],[46,1],[47,1],[48,1],[49,1],[50,1],[51,1],[52,1],[53,1],[54,1],[55,1],[56,1],[57,1],[58,1],[59,1],[60,1],[61,1],[62,1],[63,1],[64,1],[65,1],[66,1],[67,1],[68,1],[69,1],[70,1],[71,1],[72,1],[73,2],[74,1],[75,1],[76,1],[77,1],[78,1],[79,1],[80,1],[81,1],[82,1],[83,1],[84,1],[85,1],[91,1],[92,1],[97,1]],"CZ":[[73,91],[73,92],[73,97],[91,92],[91,97],[92,97]]},"rotation_powers":[[0,3],[1,3],[2,3],[5,5],[6,3],[10,3],[11,7],[12,5],[15,5],[16,7],[17,7],[18,7],[19,7],[22,5],[23,3],[25,7],[26,5],[28,3],[29,5],[32,7],[33,3],[35,5],[36,3],[37,3],[38,7],[39,3],[41,7],[42,5],[43,7],[45,3],[47,7],[48,7],[49,5],[52,3],[53,3],[54,5],[55,7],[56,7],[57,3],[58,5],[59,3],[60,3],[61,7],[63,5],[65,3],[67,7],[68,7],[69,7],[70,3],[73,5],[74,5],[78,5],[79,3],[80,7],[82,5],[83,5],[92,3],[93,5],[94,5],[95,3],[96,3],[98,3],[99,3],[100,5],[106,3],[107,3],[108,3],[110,3],[113,3],[118,3],[120,3],[122,3],[126,3],[129,3],[131,3],[132,3],[133,3],[135,3],[136,3],[137,3],[138,3],[140,3],[141,3],[143,3],[144,3],[145,3],[146,3],[147,3],[149,3],[150,3],[152,3],[156,3],[161,3],[162,3],[163,3],[164,3],[167,3],[176,3],[181,3],[182,3],[183,3],[184,7],[185,5],[187,3],[189,3],[193,3],[194,3],[197,7],[203,3],[209,7],[211,3],[213,3],[214,3],[217,3],[222,3],[224,3],[226,3],[228,3],[232,3],[233,3],[234,3],[235,3],[237,3],[238,3],[239,3],[241,3],[242,3],[246,3],[252,3],[257,3],[264,3],[265,3],[266,3],[267,3],[268,3],[269,3],[270,3],[272,3],[275,3],[276,3],[278,3],[279,3],[280,3],[281,3],[282,3],[283,3],[284,3],[285,3],[286,3],[288,3],[293,3],[295,3],[296,3],[298,3],[299,3],[305,3],[307,3],[308,3],[310,3],[311,3],[313,3],[314,3],[315,3],[316,3],[318,3],[320,3],[321,3],[322,3],[323,3],[324,3],[326,3],[327,3],[329,3],[330,3],[331,3],[335,3],[336,3],[337,3],[343,3],[344,3],[346,3],[347,3],[348,3],[349,3],[350,3],[351,3],[354,3],[355,3],[356,3],[357,3]]},"metrics":{"gamma":1.3032411433631623,"gamma_t":null,"gamma_rho":1.3032411433631623,"gamma_claim":1.3032411433631623,"gamma_t_claim":null,"gamma_rho_claim":1.3032411433631623,"v_ex":86,"rate":0.2388888888888889,"t_count":null,"poly_degree":null,"effective_width":86},"provenance":{"regimes":["AI search (gamma frontier): contraction of an existing code"],"discovery":"AI search","strongest_claim":"a paired-column contraction of an existing triorthogonal code, in the pure-T distillation-exponent release (gamma = log(n/k)/log d, n < 1000); a verified witness, not a maximum -- only the release's own frontier points are the lowest gamma it knows","sources":[{"regime":"AI search (gamma frontier): contraction of an existing code","file":"gamma_frontier_release/protocols/paired_column_contraction_360_86_3_54e77bf6a426.json","label":"paired_column_contraction_360_86_3_54e77bf6a426","N":98,"d":3,"d_is_exact":true,"origin":"Existing triorthogonal code with physical paired-column contraction","provenance":"gamma frontier release record paired_column_contraction_360_86_3_54e77bf6a426 (source catalogue id paired_column_contraction_360_86_3_54e77bf6a426); construction: Existing triorthogonal code with physical paired-column contraction; matrix 54e77bf6a426f8fa...; the release states d=3 (exact), gamma=1.3032411433631623 (exact)","notes":"matrix gamma_frontier_release/matrices/54e77bf6a426f8faa687a1917d67cbf82960d45ef6dfbc7f43501967902a6a8c.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"}]}