{"id":"336.80.3.a","row":982,"stored":{"file":"master_catalog.json","row":982,"construction":null,"columns_sha256":null},"parameters":{"n":336,"k":80,"d":3,"N":91,"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","human":"T0\u00b7T1\u00b7T2\u00b7T3\u00b7T4\u00b7T5\u00b7T6\u00b7T7\u00b7T8\u00b7T9\u00b7T10\u00b7T11\u00b7T12\u00b7T13\u00b7T14\u00b7T15\u00b7T16\u00b7T17\u00b7T18\u00b7T19\u00b7T20\u00b7T21\u00b7T22\u00b7T23\u00b7T24\u00b7T25\u00b7T26\u00b7T27\u00b7T28\u00b7T29\u00b7T30\u00b7T31\u00b7T32\u00b7T33\u00b7T34\u00b7T35\u00b7T36\u00b7T37\u00b7T38\u00b7T39\u00b7T40\u00b7T41\u00b7T42\u00b7T43\u00b7T44\u00b7T45\u00b7T46\u00b7T47\u00b7T48\u00b7T49\u00b7T50\u00b7T51\u00b7T52\u00b7T53\u00b7T54\u00b7T55\u00b7T56\u00b7T57\u00b7T58\u00b7T59\u00b7T60\u00b7T61\u00b7T62\u00b7T63\u00b7T64\u00b7T65\u00b7T66\u00b7T67\u00b7T68\u00b7T69\u00b7T70\u00b7T71\u00b7T72\u00b7T73\u00b7T74\u00b7T75\u00b7T76\u00b7T77\u00b7T78\u00b7T79","monomials":[[0],[1],[2],[3],[4],[5],[6],[7],[8],[9],[10],[11],[12],[13],[14],[15],[16],[17],[18],[19],[20],[21],[22],[23],[24],[25],[26],[27],[28],[29],[30],[31],[32],[33],[34],[35],[36],[37],[38],[39],[40],[41],[42],[43],[44],[45],[46],[47],[48],[49],[50],[51],[52],[53],[54],[55],[56],[57],[58],[59],[60],[61],[62],[63],[64],[65],[66],[67],[68],[69],[70],[71],[72],[73],[74],[75],[76],[77],[78],[79]],"sk_key":[[0],[1],[2],[3],[4],[5],[6],[7],[8],[9],[10],[11],[12],[13],[14],[15],[16],[17],[18],[19],[20],[21],[22],[23],[24],[25],[26],[27],[28],[29],[30],[31],[32],[33],[34],[35],[36],[37],[38],[39],[40],[41],[42],[43],[44],[45],[46],[47],[48],[49],[50],[51],[52],[53],[54],[55],[56],[57],[58],[59],[60],[61],[62],[63],[64],[65],[66],[67],[68],[69],[70],[71],[72],[73],[74],[75],[76],[77],[78],[79]],"sk_fingerprint":"d11392ce54687804","sk_canonical_frame":true,"relabelled_into_canonical_frame":false},"circuit":{"columns":[[1,4,5,6,7,11,12,17,20,22,24,25,29,30,31,32,33,38,42,43,44,47,52,55,57,58,59,60,64,68,69,72,74,75,76,77,81,88,90],[0,2,3,4,5,6,7,8,9,10,11,15,16,19,20,23,24,31,36,39,43,46,48,50,52,53,57,59,60,64,66,68,72,74,75,76,80,81,82,87],[23,85],[2,9,11,13,15,18,21,23,47,50,56,60,61,66,75,80,83,85],[0,1,2,3,4,5,6,7,9,13,16,17,18,20,26,29,31,33,35,38,39,43,44,45,51,52,53,55,56,57,59,61,63,64,68,69,72,73,75,76,78,82,83,84,87,90],[4,5,6,7,8,10,12,13,18,19,20,21,22,23,25,26,30,31,32,35,36,42,43,45,46,47,48,50,51,52,57,58,59,61,63,64,66,68,72,73,76,77,78,80,84,88],[1,2,8,9,10,15,17,19,24,26,29,33,35,36,38,42,44,45,46,47,48,51,55,60,63,69,73,74,75,78,81,83,84,86,90],[0,2,3,12,16,21,22,23,24,25,26,30,32,35,39,45,50,51,53,58,63,66,73,74,77,78,80,81,82,83,86,87,88],[66,83,84,87],[0,1,2,5,6,7,9,10,11,12,13,18,19,21,23,24,25,26,30,31,32,33,35,40,43,46,47,52,55,56,57,59,61,62,63,64,65,66,68,69,70,76,78,80,84,88,89,90],[3,5,6,7,8,11,15,16,17,18,22,24,26,29,31,35,36,38,39,40,42,43,44,48,52,53,56,57,58,59,61,62,63,64,65,68,70,75,76,77,78,82,83,85,89],[18,88],[0,1,2,3,8,9,10,12,15,16,17,19,21,22,23,25,29,30,32,33,36,38,39,42,44,46,48,50,53,55,58,66,69,75,77,82,83,87,88,90],[0,3,4,5,6,7,8,9,10,13,16,18,19,20,24,31,36,39,42,43,46,47,48,52,53,56,57,59,61,64,68,72,74,76,80,81,82,83,85,87],[1,2,4,5,6,7,9,12,13,15,17,18,20,21,22,23,24,25,29,30,31,32,33,38,43,44,50,52,55,56,57,58,59,64,66,68,69,72,74,75,76,77,81,84,90],[0,2,4,9,10,13,17,18,19,20,21,22,23,26,29,35,38,40,42,44,46,50,56,58,60,61,62,63,65,66,68,70,72,74,77,80,83,84,85,87,89],[0,1,3,4,5,6,7,11,17,20,21,23,26,29,31,33,35,38,39,42,43,44,45,47,50,51,52,53,55,57,59,60,63,64,66,68,69,72,73,76,80,81,82,83,86,87,90],[8,83,84,86,87,89],[29,83,85,86,87,89],[0,5,6,7,10,11,13,15,16,18,20,24,25,26,30,31,32,33,35,39,40,43,48,52,53,55,56,57,59,61,62,63,64,65,69,70,72,76,81,83,84,85,90],[0,1,4,9,11,13,20,21,22,24,33,36,39,40,43,45,46,47,51,53,55,56,58,61,62,65,66,67,68,69,73,77,80,81,86,88,89,90],[2,8,10,12,13,17,21,24,26,28,33,35,36,38,42,44,45,46,47,48,50,51,53,55,56,61,63,67,68,69,70,72,73,74,78,80,85,90],[0,1,4,8,13,15,18,20,21,22,23,24,33,36,40,45,47,48,50,51,55,56,58,60,61,62,65,66,69,70,73,75,77,78,81,84,87,90],[0,1,3,12,16,21,22,23,24,25,26,30,32,35,39,45,50,51,53,58,63,66,73,74,77,82,88,89],[1,2,8,9,10,15,17,19,24,26,29,33,35,36,38,42,44,45,46,47,48,51,55,63,67,69,73,74,75,80,83,84,86,88,90],[3,5,6,7,9,10,11,13,15,16,18,19,20,21,22,23,28,31,33,39,40,42,45,47,51,52,53,55,57,58,59,60,61,62,64,65,67,69,70,73,74,75,76,77,80,81,82,84,86,88,89,90],[0,1,2,3,4,5,6,7,9,13,15,16,17,18,20,26,29,31,33,35,38,39,43,44,45,46,51,52,53,55,56,57,59,61,63,64,68,69,72,73,75,76,80,81,82,85,89,90],[0,1,2,4,9,12,13,16,20,21,22,23,24,29,33,36,39,40,45,48,50,51,53,55,58,62,65,66,69,72,73,75,77,80,83,85,86,87,90],[0,1,2,5,6,7,9,10,11,12,13,18,19,21,23,24,25,26,30,31,32,33,35,39,40,43,46,47,50,52,55,56,57,59,61,62,63,64,65,66,68,69,70,76,81,83,85,87,88,90],[0,4,10,11,12,15,17,19,20,22,26,29,35,38,40,44,46,47,58,62,63,65,70,72,74,75,77,80,83,85,87,88,89],[1,2,3,4,8,9,11,12,16,20,21,23,25,26,30,32,33,35,36,39,40,42,48,50,53,55,62,63,65,66,69,72,74,82,83,84,85,89,90],[1,2,3,5,6,7,8,10,11,13,20,22,28,29,31,33,39,40,45,46,48,51,52,55,56,57,58,59,62,64,65,69,70,73,74,76,77,80,82,84,86,87,90],[19,85,87,89],[81],[0,1,4,5,8,12,13,14,18,19,21,22,23,24,31,33,35,36,38,43,44,45,47,48,50,51,55,60,61,63,64,65,66,69,71,72,73,75,76,78,79,80,82,86,90],[38,83,84,90],[69,83,85,90],[52,84,85,90],[58,87,88,90],[0,4,10,11,14,15,17,19,20,22,26,29,35,38,40,44,46,47,58,62,63,65,70,72,74,75,77,78,80,81,82,83,85,87,88,89,90],[0,1,2,5,6,9,10,11,12,13,18,19,21,23,24,25,26,30,31,32,33,35,40,43,46,47,50,52,55,56,57,59,61,62,63,64,65,66,68,69,70,76,78,82,84,88,89,90],[3,5,6,7,8,11,13,15,16,17,18,22,24,26,29,30,31,35,36,38,39,40,42,43,44,48,52,53,56,57,58,59,61,62,63,64,65,68,70,75,76,77,78,80,83,85,88,89,90],[0,1,3,6,7,8,9,10,11,15,16,18,24,26,28,29,34,36,37,38,39,41,42,43,44,48,50,52,53,56,57,58,59,64,65,67,70,71,75,76,77,79,80,81,83,84,85,86,87,90],[0,1,5,6,8,9,11,18,19,20,22,28,29,31,32,33,36,37,38,40,41,45,48,51,54,57,59,62,65,66,67,69,73,74,77,80,82,88,89,90],[33,84,85,86,88,90],[0,83,84,86,87,90],[3,4,10,11,12,15,16,17,19,20,21,23,24,29,30,32,38,39,40,44,45,46,47,50,51,53,62,65,66,70,72,73,75,80,83,87,88,89],[0,1,2,4,8,9,11,20,22,24,33,36,40,42,45,48,51,54,55,58,62,65,69,70,72,73,77,82,89,90],[2,3,4,9,10,12,13,16,17,18,19,20,24,25,27,29,30,32,38,39,40,42,44,45,46,51,53,56,60,61,62,65,70,72,73,80,85,87,88,89],[1,3,4,7,8,10,11,12,14,15,16,20,21,23,25,26,27,30,32,34,35,36,38,39,40,45,47,48,51,53,54,55,57,62,65,70,71,72,75,78,80,81,83,84,86,87,89,90],[2,5,7,11,12,15,17,18,21,22,23,25,26,29,31,33,43,46,47,50,51,52,56,57,59,61,64,65,66,72,75,76,80,81,86,87,90],[0,1,2,10,11,12,23,26,27,28,29,35,37,38,41,42,43,46,47,56,58,60,62,64,65,67,68,71,72,75,76,78,79,80,82,83,84,86,88,89,90],[51,85,86,90],[0,1,2,4,7,11,12,13,14,15,17,19,20,21,22,25,27,28,30,34,37,40,41,43,44,45,50,51,54,56,58,59,60,64,66,67,68,70,71,75,76,77,80,81,82,86,88,90],[2,3,5,6,7,8,9,16,17,21,22,23,24,26,29,31,35,36,38,39,40,43,44,47,48,50,52,53,57,58,59,60,62,63,64,65,66,68,70,71,76,77,78,80,84,85,87,89],[0,1,3,4,6,9,12,13,15,16,17,18,19,26,29,30,33,38,39,51,53,55,56,60,61,62,63,68,70,72,73,75,77,83,84,85,86,89],[1,3,4,8,12,13,15,16,18,20,25,26,30,32,33,35,36,39,40,47,48,53,55,56,57,60,61,62,63,65,69,70,72,74,75,78,81,84,87,88,89,90],[2,9,11,13,15,18,21,23,42,45,47,50,56,60,61,66,75,82,84,88,90],[0,1,4,6,7,8,11,14,15,16,19,20,22,24,28,30,33,34,35,36,38,40,41,42,43,47,49,53,54,55,56,57,59,60,62,63,70,71,72,74,76,77,78,79,81,82],[0,3,4,5,6,7,8,10,13,16,18,19,20,24,31,39,42,43,46,47,48,52,53,56,57,59,61,64,68,72,74,76,78,80,84,89],[0,1,2,3,8,9,10,12,15,16,19,21,22,23,25,29,30,32,33,36,38,39,42,44,46,47,48,50,53,55,58,66,69,75,77,78,81,84,85,88,89,90],[5,6,7,8,11,13,15,16,17,18,22,24,26,29,31,35,36,38,39,40,42,43,44,48,52,53,56,57,58,59,61,62,63,64,65,68,70,75,76,77,81,85],[0,1,2,5,6,8,9,10,11,13,14,18,19,21,23,25,29,30,31,32,33,34,37,39,40,42,43,45,46,47,49,51,52,54,55,56,57,59,61,62,64,65,68,69,70,73,74,75,78,80,84,86,87,89,90],[0,4,10,11,15,17,19,20,22,26,29,35,37,38,40,44,46,47,58,62,63,65,70,72,74,75,77,82,83,87],[22,83,84,85,89,90],[0,3,12,16,21,22,23,24,25,26,30,32,35,39,45,50,51,53,55,58,63,66,73,74,77,80,88,89],[3,6,8,11,12,13,16,17,18,19,22,24,26,28,29,30,32,36,38,39,42,43,44,48,49,53,55,57,58,59,61,64,65,69,71,75,76,77,79,80,83,90],[4,5,6,7,8,10,12,13,18,19,20,21,22,23,25,26,30,31,32,35,36,42,43,45,46,47,48,50,51,52,56,57,58,59,61,63,66,68,72,73,76,77,80,81,82,83,86,88,90],[0,1,2,3,4,5,6,7,9,13,15,16,17,18,20,26,29,31,33,35,38,39,43,45,51,52,53,55,56,57,59,61,63,64,68,69,72,73,75,76,81,83,84,86,87],[0,1,2,4,8,9,11,20,22,24,33,36,40,42,45,48,49,51,55,58,62,65,69,70,72,73,77,78,80,81,82,83,84,85,87,90],[32,84,86,88,89,90],[0,5,6,7,8,11,12,13,15,17,18,21,23,25,29,30,31,32,36,38,40,42,43,44,45,48,50,51,52,56,57,59,61,62,64,65,66,68,70,73,74,75,78,82,83,84,87,88],[1,2,3,4,5,7,9,12,13,15,20,25,26,29,30,31,33,35,36,38,43,52,57,58,59,60,62,64,65,68,69,72,73,74,75,76,81,85,86,87,90],[1,2,3,4,7,8,13,14,16,18,19,20,25,26,28,30,31,32,33,36,38,40,43,44,45,47,49,53,56,57,60,61,62,65,70,71,72,73,74,75,76,78,81,84,86,89,90],[2,3,4,9,10,12,13,16,17,18,19,20,24,25,29,30,31,32,38,39,40,42,44,45,46,51,53,56,60,61,62,65,70,72,73,78,81,84,85,86,88,89,90],[0,1,4,8,13,15,18,20,21,22,23,24,33,36,40,45,47,48,50,51,55,56,58,60,61,65,66,69,70,72,73,75,77,78,80,81,82,84,87,90],[2,3,4,5,7,8,9,10,11,12,14,17,18,19,20,21,23,24,25,35,38,39,40,44,46,49,50,51,56,58,59,60,61,62,63,65,66,70,72,75,76,77,78,79,81,82,83,85,86,87,88,89],[73,83,84,86,87,88,89,90],[1,8,10,11,13,17,18,19,21,23,24,26,29,33,36,38,44,45,46,48,50,51,55,56,60,61,63,66,69,73,74,82,83,86,88],[0,2,3,5,9,11,12,13,15,16,18,22,24,25,26,30,32,35,39,42,45,47,51,53,56,58,60,61,63,73,74,75,77,80,83,84,86,87,90],[1,8,10,13,14,19,21,26,27,29,31,36,37,44,46,48,49,50,51,53,54,56,57,61,63,66,67,68,69,70,72,73,78,82,83,85,86,87,88,89,90],[0,2,4,6,9,10,13,17,18,19,20,21,22,23,26,29,35,38,40,42,44,46,50,56,58,60,61,62,63,65,66,70,72,74,77,82,83,84,85,87,88,89,90],[65,83,85,88,89,90],[0,1,2,4,14,18,19,20,22,23,27,28,29,31,34,37,40,42,43,47,53,58,60,62,65,67,68,71,76,77,78,82,83,84,85,87,88],[0,1,2,3,4,5,11,12,14,15,16,17,19,20,21,22,23,26,27,28,29,30,39,40,41,43,44,49,50,51,54,56,59,60,64,67,68,71,73,74,76,78,79,80,83,86,87,89],[3,6,7,9,11,13,14,16,18,19,21,23,27,28,31,33,34,38,39,40,41,42,45,51,52,55,57,58,59,60,61,63,66,67,69,71,72,73,76,78,80,81,82,86,87,88,89,90],[26,84,85,87,89,90],[75,83],[0,1,3,8,10,11,12,13,16,17,18,19,22,23,25,29,30,32,33,36,38,39,44,46,48,53,55,56,58,60,61,69,77,82,87,88,90],[60,83,85,86],[2,84,85,86],[1,2,3,4,8,9,12,16,20,21,23,25,26,30,32,33,35,36,39,40,42,48,50,53,55,62,63,65,66,69,70,72,74,78,80,81,82,83,84,85,87,88,89,90],[0,4,10,11,15,17,19,20,22,26,29,35,38,40,44,46,47,58,62,63,65,66,70,72,74,75,77,78,81,83,85,87,89],[13,84,85,87],[18,80,88],[61,84,85,88],[1,3,4,8,12,13,15,16,18,20,25,26,28,30,32,33,35,36,39,40,47,48,53,55,56,60,61,62,63,65,69,70,72,74,75,82,83,85,88,90],[68,83,84,89],[0,1,5,6,7,10,12,15,19,20,24,25,26,30,31,32,33,35,40,42,43,46,52,55,57,59,60,62,63,64,65,68,69,70,75,76,81,87,88,90],[2,3,5,6,7,8,9,16,17,21,22,23,24,26,29,31,35,36,38,39,40,44,47,48,50,52,53,57,58,59,60,62,63,64,65,66,68,70,76,77,80,81,82,83],[16,86,87,89],[2,4,5,6,7,9,10,11,12,15,19,20,22,25,26,30,31,32,35,36,43,45,46,48,51,52,57,58,59,60,63,64,68,72,73,75,76,77,81,83,84,86,88],[1,8,10,11,13,17,18,19,21,23,24,26,33,35,36,38,44,45,46,48,50,51,55,56,60,61,63,66,69,73,74,80,83,86,90],[0,2,3,9,11,12,13,15,16,18,22,24,25,26,30,32,35,39,42,45,47,51,56,58,60,61,63,73,74,75,77,82,83,85,88,89],[2,8,9,10,11,12,13,15,16,17,18,20,24,26,29,33,35,36,38,39,44,45,47,51,53,55,56,60,61,63,68,69,72,73,74,78,80,81,83,87,88,90],[0,3,4,5,6,7,9,10,11,13,15,16,19,20,23,24,31,36,42,47,50,52,56,57,59,60,61,64,67,70,74,75,76,78,80,81,82,83,84,85,86,88,89],[3,4,8,9,16,18,19,20,21,25,26,28,29,30,32,33,35,36,39,40,47,48,50,55,60,62,63,65,67,68,69,74,81,82,83,84,85,88,90],[67,84,86,87,88,89],[3,4,8,9,11,12,15,16,25,26,28,30,32,33,35,36,39,40,43,46,48,50,53,55,56,60,62,63,65,66,67,68,69,70,72,74,75,80,82,83,84,85,86,87,90],[0,1,2,3,4,5,6,7,8,9,11,12,15,17,18,20,21,23,26,31,33,35,38,42,43,44,45,50,51,52,55,56,57,59,61,63,64,66,68,69,70,72,73,76,81,82,83,86,87,90],[12,85,88,89],[70,83,84,85,88,89],[3,4,8,9,10,11,12,15,17,18,21,23,24,25,28,30,32,38,39,40,43,44,45,46,48,50,51,61,62,65,66,68,70,72,73,75,78,82,83,86,88,89],[0,3,4,5,6,7,8,10,13,16,18,19,20,24,31,36,39,42,43,46,47,52,53,56,57,59,61,64,68,72,74,76,78,82,84,89],[0,1,2,3,8,9,10,12,15,16,17,21,22,23,25,29,30,32,33,36,38,39,42,44,46,47,48,50,53,55,58,66,69,75,77,78,80,81,82,84,87,88,90],[78,83,84,85,87,89],[0,1,4,5,8,12,13,14,18,19,21,22,23,24,31,33,35,36,38,43,44,45,47,48,50,51,55,60,61,63,64,65,66,69,71,72,73,75,76,78,79,80,86,90],[0,1,2,3,8,9,10,12,15,16,17,19,21,22,23,25,29,30,32,33,36,39,42,44,46,47,48,50,53,55,58,66,69,75,77,80,84,87,88],[0,3,4,5,6,7,8,10,13,16,18,19,20,24,31,36,39,42,43,46,47,48,52,53,56,57,59,61,64,68,69,72,74,76,81,87,90],[1,2,4,5,6,7,9,12,13,15,17,18,20,21,22,23,24,25,29,30,31,32,33,38,43,44,50,55,56,57,58,59,61,64,66,68,69,72,74,75,76,77,80,81,82,84,88],[1,2,3,4,8,9,11,12,16,20,21,23,25,26,30,32,33,35,36,39,40,42,48,50,53,55,58,62,63,65,66,69,70,72,74,78,81,83,84,85,89],[14,83,84,87,88,90],[30,84,85,87,88,90],[0,1,2,3,4,5,6,7,9,10,13,15,16,17,18,20,26,29,31,33,35,38,39,43,44,45,51,52,53,55,56,57,59,61,63,64,68,69,72,73,75,76,78,80,83,84,87,90],[0,1,3,4,5,9,11,12,13,15,16,19,20,21,22,23,24,25,28,29,30,31,32,34,35,37,38,39,41,44,45,46,47,51,53,61,63,65,66,67,68,70,71,72,73,75,78,79,80,81,82,83,85,86,87,88,90],[0,2,5,6,10,11,15,17,18,20,22,24,26,28,31,32,35,37,40,41,42,44,46,47,54,55,57,59,62,63,65,66,67,75,77,78,81,84,85,88,89],[0,3,12,16,21,22,23,24,25,26,30,32,33,35,39,45,50,51,53,58,63,66,73,74,77,78,81,83,86,87,90],[0,5,6,7,8,11,12,13,15,17,18,21,23,25,29,30,31,32,34,36,38,40,42,43,44,45,48,50,51,52,56,57,59,61,62,64,65,66,68,70,73,74,75,76,80,81,82,85,88,89],[0,1,2,3,5,6,7,9,10,11,13,16,18,19,22,31,33,39,40,43,45,46,47,51,52,53,55,56,57,58,59,61,62,64,65,68,69,70,73,74,76,77,81,84,85,86,89],[0,1,8,13,15,18,20,21,22,23,24,33,36,40,45,47,48,50,51,55,56,58,60,61,62,65,66,69,70,72,73,75,77,82,83,85,89,90],[4,5,6,8,11,12,14,19,20,22,25,26,27,30,31,32,33,34,35,36,38,42,43,46,47,48,50,52,54,58,59,60,64,66,68,69,71,72,73,74,76,77,78,80,83,84,86],[0,6,8,9,11,15,18,21,22,23,26,30,32,33,36,38,40,44,45,46,48,50,56,60,61,62,66,68,70,72,73,74,75,82,83,86,87,88,89,90],[1,3,9,10,13,15,16,18,22,23,24,25,27,28,29,30,32,37,38,39,41,43,45,46,51,53,61,62,63,64,65,67,68,71,72,73,74,76,77,79,80,81,82,83,86,87,89,90],[1,8,10,11,13,17,18,19,21,23,24,26,29,33,35,36,38,44,45,46,48,50,51,55,56,60,61,63,66,69,73,78,80,81,82,83,84,90],[2,4,5,6,7,8,9,10,11,12,15,19,20,22,25,26,30,31,32,35,36,43,45,46,48,52,57,58,59,60,63,64,68,72,73,75,76,77,78,82,83,84,86,88,90],[2,3,5,6,12,13,14,15,16,19,22,23,25,26,27,28,29,30,31,33,34,35,37,38,39,40,41,42,47,52,53,54,55,56,57,58,63,67,69,70,71,72,73,75,77,78,81,82,84,85,86,87,88],[0,1,5,6,7,10,12,15,19,24,25,26,30,31,32,33,35,42,43,46,52,55,57,59,60,62,63,64,65,68,69,70,75,76,78,82,83,84,85,88,89,90],[1,2,3,6,10,12,15,16,20,21,22,23,30,33,35,39,40,42,44,46,50,51,53,55,58,65,66,68,73,74,75,78,80,81,82,85,86],[1,4,5,6,7,11,12,17,20,22,24,25,29,30,31,32,33,38,42,43,44,47,52,55,57,58,59,60,63,64,68,69,72,74,76,77,80,81,82,83,88,90],[0,2,3,4,5,6,7,8,9,10,11,15,16,19,20,21,23,24,31,36,39,43,46,48,50,52,53,57,59,60,64,66,68,72,74,75,76,79,81,87],[0,1,3,8,10,11,12,13,16,17,18,19,22,25,29,30,32,33,36,38,39,44,46,48,53,55,56,58,59,60,61,69,77,80,85,87,88,90],[45,83,84,85,88,90],[0,2,5,8,9,11,12,13,14,16,17,18,19,21,23,25,28,29,31,32,34,35,36,40,41,42,44,47,49,50,52,53,54,58,60,61,62,63,64,66,68,69,70,71,75,79,81,83,84,87,88,89,90],[41,78,80,81,82,83,84,85,87,89],[7,8,12,14,24,26,29,34,35,37,39,42,45,49,50,51,54,63,66,73,74,75,76,78,81,82,83,84,85,86,88,89],[1,2,3,4,8,9,11,12,16,20,21,22,23,25,26,30,32,33,35,36,39,40,42,48,50,53,55,62,63,65,66,69,70,72,74,80,83,84,85,88,89],[1,2,3,6,9,10,11,12,13,15,16,18,22,28,30,32,33,35,39,43,45,46,47,49,51,53,57,58,59,61,63,64,65,71,73,74,76,77,79,80,82,87,89],[64,85,86,87,89,90],[44,83,84,85,86,87,89,90],[3,4,10,11,12,15,16,17,19,20,21,23,24,25,29,30,38,39,40,44,45,46,47,50,51,53,62,65,66,70,72,73,75,78,81,85,86,89,90],[1,2,3,5,6,7,9,10,11,13,16,18,19,22,31,33,39,40,43,45,46,47,51,52,53,55,56,57,58,59,61,62,64,65,68,69,70,73,74,76,78,80,84,90],[0,1,3,4,6,8,13,15,17,20,26,32,33,35,40,44,45,47,48,51,58,69,70,72,75,78,81,82,84,86,88,90],[2,4,5,6,8,10,13,14,15,18,20,21,22,23,25,26,28,30,32,36,38,39,42,44,46,47,49,50,51,52,55,56,58,59,61,64,66,68,69,71,72,77,80,81,83,85,86,89],[31,83,85,86,89,90],[0,1,2,6,8,9,10,12,14,16,18,19,24,25,26,29,31,33,40,42,43,45,46,47,49,52,53,55,56,57,58,61,62,64,65,68,69,70,73,75,77,78,79,82,85,86,87,88,90],[2,4,5,6,7,8,9,10,11,12,15,19,20,22,25,26,30,31,32,35,36,43,45,46,48,51,52,57,58,59,60,63,64,68,72,75,76,77,80,81,82,83,84,86,90],[35,83,85,86,87,88,89,90],[5,84,85,86,87,88,89,90],[3,4,10,12,14,15,16,18,19,20,21,25,27,29,30,31,32,33,35,37,39,40,44,46,47,49,50,51,54,55,57,60,62,65,66,67,68,73,74,75,78,80,82,86,87,89],[6,83,84,88,89,90],[0,1,5,6,7,10,12,15,19,24,25,26,30,31,32,33,35,40,42,43,46,52,55,57,59,60,62,63,64,68,69,70,75,76,80,81,82,83,85,87,89],[0,1,3,4,5,6,7,8,9,14,16,17,18,19,20,21,24,26,27,28,34,35,36,37,38,39,42,44,48,50,52,57,59,63,64,66,67,70,71,78,81,82,84,85,87,88],[2,9,11,13,15,18,21,23,24,42,47,50,56,60,61,66,75,78,80,81,82,84,87,89],[2,4,5,8,10,13,14,15,18,20,21,23,25,26,27,28,32,33,36,38,40,41,43,46,48,49,50,51,53,54,55,58,59,61,64,67,68,69,71,73,74,76,77,79,80,81,84,86,87,88,90],[0,2,4,5,8,10,13,14,15,18,20,24,27,28,33,34,36,38,40,41,42,43,45,46,48,50,51,53,55,58,61,63,64,67,68,69,71,73,74,75,81,82,83,84,85,86,87,88,90],[1,4,5,6,7,11,12,17,20,22,24,25,26,29,30,31,32,33,38,42,43,44,47,52,55,57,58,59,60,64,68,69,72,74,76,77,78,82,88],[1,4,5,6,7,11,12,17,20,22,24,25,29,30,31,32,33,38,42,43,44,47,52,55,57,58,59,60,64,68,69,72,74,75,76,77,81,83,88,90],[0,2,3,4,5,6,7,8,9,10,11,15,16,19,20,23,24,31,36,39,43,46,48,50,52,53,57,59,60,64,66,68,72,74,75,76,80,81,82,84,87],[2,9,11,13,15,18,21,23,47,50,56,60,61,66,75,80,84],[0,1,2,3,4,5,6,7,9,13,16,17,18,20,26,29,31,33,35,38,39,43,44,45,51,52,53,55,56,57,59,61,63,64,68,69,72,73,75,76,78,82,83,84,86,87,90],[4,5,6,7,8,10,12,13,18,19,20,21,22,23,25,26,30,31,32,35,36,42,43,45,46,47,48,50,51,52,57,58,59,61,63,64,66,68,72,73,76,77,78,80,83,86,88],[1,2,8,9,10,15,17,19,24,26,29,33,35,36,38,42,44,45,46,47,48,51,55,60,63,69,73,74,75,78,81,84,85,90],[0,2,3,12,16,21,22,23,24,25,26,30,32,35,39,45,50,51,53,58,63,66,73,74,77,78,80,81,82,83,84,85,87,88],[11,87],[0,1,2,5,6,7,9,10,11,12,13,18,19,21,23,24,25,26,30,31,32,33,35,40,43,46,47,52,55,56,57,59,61,62,63,64,65,66,68,69,70,76,78,80,83,84,85,87,88,89,90],[3,5,6,7,8,11,15,16,17,18,22,24,26,29,31,35,36,38,39,40,42,43,44,48,52,53,56,57,58,59,61,62,63,64,65,68,70,75,76,77,78,82,83,84,87,89],[0,1,2,3,8,9,10,12,15,16,17,19,21,22,23,25,29,30,32,33,36,38,39,42,44,46,48,50,53,55,58,66,69,75,77,82,84,87,90],[0,3,4,5,6,7,8,9,10,13,16,18,19,20,24,31,36,39,42,43,46,47,48,52,53,56,57,59,61,64,68,72,74,76,80,81,82,87,88],[1,2,4,5,6,7,9,12,13,15,17,18,20,21,22,23,24,25,29,30,31,32,33,38,43,44,50,52,55,56,57,58,59,64,66,68,69,72,74,75,76,77,81,85,88,90],[28,89],[0,2,4,9,10,13,17,18,19,20,21,22,23,26,29,35,38,40,42,44,46,50,56,58,60,61,62,63,65,66,68,70,72,74,77,80,85,87],[20,83,85,89],[43,84,85,89],[0,1,3,4,5,6,7,11,17,20,21,23,26,29,31,33,35,38,39,42,43,44,45,47,50,51,52,53,55,57,59,60,63,64,66,68,69,72,73,76,80,81,82,83,89,90],[53,84,85,86,87,89],[0,5,6,7,10,11,13,15,16,18,20,24,25,26,30,31,32,33,35,39,40,43,48,52,53,55,56,57,59,61,62,63,64,65,69,70,72,76,81,83,84,85,86,88,89,90],[0,1,4,9,11,13,20,21,22,24,33,36,39,40,43,45,46,47,51,53,55,56,58,61,62,65,66,67,68,69,73,77,80,81,83,84,90],[2,8,10,12,13,17,21,24,26,28,33,35,36,38,42,44,45,46,47,48,50,51,53,55,56,61,63,67,68,69,70,72,73,74,78,80,83,86,88,89,90],[0,1,4,8,13,15,18,20,21,22,23,24,33,36,40,45,47,48,50,51,55,56,58,60,61,62,65,66,69,70,73,75,77,78,81,85,86,87,88,89,90],[0,1,3,12,16,21,22,23,24,25,26,30,32,35,39,45,50,51,53,58,63,66,73,74,77,82,83,86,87],[1,2,8,9,10,15,17,19,24,26,29,33,35,36,38,42,44,45,46,47,48,51,55,63,67,69,73,74,75,80,83,87,89,90],[3,5,6,7,9,10,11,13,15,16,18,19,20,21,22,23,28,31,33,39,40,42,45,47,51,52,53,55,57,58,59,60,61,62,64,65,67,69,70,73,74,75,76,77,80,81,82,84,85,87,90],[0,1,2,3,4,5,6,7,9,13,15,16,17,18,20,26,29,31,33,35,38,39,43,44,45,46,51,52,53,55,56,57,59,61,63,64,68,69,72,73,75,76,80,81,82,83,84,86,87,88,90],[0,1,2,4,9,12,13,16,20,21,22,23,24,29,33,36,39,40,45,48,50,51,53,55,58,62,65,66,69,72,73,75,77,80,85,86,87,88,89,90],[0,1,2,5,6,7,9,10,11,12,13,18,19,21,23,24,25,26,30,31,32,33,35,39,40,43,46,47,50,52,55,56,57,59,61,62,63,64,65,66,68,69,70,76,81,83,84,85,87,89,90],[0,4,10,11,12,15,17,19,20,22,26,29,35,38,40,44,46,47,58,62,63,65,70,72,74,75,77,80,83,87],[1,2,3,4,8,9,11,12,16,20,21,23,25,26,30,32,33,35,36,39,40,42,48,50,53,55,62,63,65,66,69,72,74,82,88,90],[1,2,3,5,6,7,8,10,11,13,20,22,28,29,31,33,39,40,45,46,48,51,52,55,56,57,58,59,62,64,65,69,70,73,74,76,77,80,82,83,84,86,89,90],[48,84,87,89],[81,83,84,85,87,89],[0,1,4,5,8,12,13,14,18,19,21,22,23,24,31,33,35,36,38,43,44,45,47,48,50,51,55,60,61,63,64,65,66,69,71,72,73,75,76,78,79,80,82,86],[0,4,10,11,14,15,17,19,20,22,26,29,35,38,40,44,46,47,58,62,63,65,70,72,74,75,77,78,80,81,82,84,85,89],[0,1,2,5,6,9,10,11,12,13,18,19,21,23,24,25,26,30,31,32,33,35,40,43,46,47,50,52,55,56,57,59,61,62,63,64,65,66,68,69,70,76,78,82,83,84,85,87,89],[3,5,6,7,8,11,13,15,16,17,18,22,24,26,29,30,31,35,36,38,39,40,42,43,44,48,52,53,56,57,58,59,61,62,63,64,65,68,70,75,76,77,78,80,83,84,87,89],[10,86,88,90],[0,1,3,6,7,8,9,10,11,15,16,18,24,26,28,29,34,36,37,38,39,41,42,43,44,48,50,52,53,56,57,58,59,64,65,67,70,71,75,76,77,79,80,81,85,87,88],[0,1,5,6,8,9,11,18,19,20,22,28,29,31,32,33,36,37,38,40,41,45,48,51,54,57,59,62,65,66,67,69,73,74,77,80,82,83,85,86,89],[34,86,87,90],[3,4,10,11,12,15,16,17,19,20,21,23,24,29,30,32,38,39,40,44,45,46,47,50,51,53,62,65,66,70,72,73,75,80,85,86,88,89,90],[0,1,2,4,8,9,11,20,22,24,33,36,40,42,45,48,51,54,55,58,62,65,69,70,72,73,77,82,84,85,86,87,89],[4,83,86,87,88,90],[2,3,4,9,10,12,13,16,17,18,19,20,24,25,27,29,30,32,38,39,40,42,44,45,46,51,53,56,60,61,62,65,70,72,73,80,84,85,86,89,90],[1,3,4,7,8,10,11,12,14,15,16,20,21,23,25,26,27,30,32,34,35,36,38,39,40,45,47,48,51,53,54,55,57,62,65,70,71,72,75,78,80,81,83,84,85,88,89],[2,5,7,11,12,15,17,18,21,22,23,25,26,29,31,33,43,46,47,50,51,52,56,57,59,61,64,65,66,72,75,76,80,81,83,84,85,88],[0,1,2,10,11,12,23,26,27,28,29,35,37,38,41,42,43,46,47,56,58,60,62,64,65,67,68,71,72,75,76,78,79,80,82,84,88,89],[74,84,86,90],[0,1,2,4,7,11,12,13,14,15,17,19,20,21,22,25,27,28,30,34,37,40,41,43,44,45,50,51,54,56,58,59,60,64,66,67,68,70,71,75,76,77,80,81,82,83,84,85,88],[2,3,5,6,7,8,9,16,17,21,22,23,24,26,29,31,35,36,38,39,40,43,44,47,48,50,52,53,57,58,59,60,62,63,64,65,66,68,70,71,76,77,78,80,83,84,85,89,90],[40,84,87,90],[0,1,3,4,6,9,12,13,15,16,17,18,19,26,29,30,33,38,39,51,53,55,56,60,61,62,63,68,70,72,73,75,77,83,84,86,87,89,90],[1,3,4,8,12,13,15,16,18,20,25,26,30,32,33,35,36,39,40,47,48,53,55,56,57,60,61,62,63,65,69,70,72,74,75,78,81,83,85,88,89],[63,83,88,90],[79,84,88,90],[59,85,88,90],[2,9,11,13,15,18,21,23,42,45,47,50,56,60,61,66,75,82,83,85],[0,1,4,6,7,8,11,14,15,16,19,20,22,24,28,30,33,34,35,36,38,40,41,42,43,47,49,53,54,55,56,57,59,60,62,63,70,71,72,74,76,77,78,79,81,82,83,87,88,89,90],[0,3,4,5,6,7,8,10,13,16,18,19,20,24,31,39,42,43,46,47,48,52,53,56,57,59,61,64,68,72,74,76,78,80,87,88,90],[0,1,2,3,8,9,10,12,15,16,19,21,22,23,25,29,30,32,33,36,38,39,42,44,46,47,48,50,53,55,58,66,69,75,77,78,81,84,87],[41,83,84,85,87,88,89,90],[5,6,7,8,11,13,15,16,17,18,22,24,26,29,31,35,36,38,39,40,42,43,44,48,52,53,56,57,58,59,61,62,63,64,65,68,70,75,76,77,81,83,85,89,90],[0,1,2,5,6,8,9,10,11,13,14,18,19,21,23,25,29,30,31,32,33,34,37,39,40,42,43,45,46,47,49,51,52,54,55,56,57,59,61,62,64,65,68,69,70,73,74,75,78,80,86,87],[0,4,10,11,15,17,19,20,22,26,29,35,37,38,40,44,46,47,58,62,63,65,70,72,74,75,77,82,83,85,87,89,90],[0,3,12,16,21,22,23,24,25,26,30,32,35,39,45,50,51,53,55,58,63,66,73,74,77,80,83,86,87,88,90],[3,6,8,11,12,13,16,17,18,19,22,24,26,28,29,30,32,36,38,39,42,43,44,48,49,53,55,57,58,59,61,64,65,69,71,75,76,77,79,80,83,84,86,87,89],[4,5,6,7,8,10,12,13,18,19,20,21,22,23,25,26,30,31,32,35,36,42,43,45,46,47,48,50,51,52,56,57,58,59,61,63,66,68,72,73,76,77,80,81,82,83,85,87,88,89],[0,1,2,3,4,5,6,7,9,13,15,16,17,18,20,26,29,31,33,35,38,39,43,45,51,52,53,55,56,57,59,61,63,64,68,69,72,73,75,76,81,85,89,90],[0,1,2,4,8,9,11,20,22,24,33,36,40,42,45,48,49,51,55,58,62,65,69,70,72,73,77,78,80,81,82,84,85,86,87,88,89],[77,85,86,88,89,90],[0,5,6,7,8,11,12,13,15,17,18,21,23,25,29,30,31,32,36,38,40,42,43,44,45,48,50,51,52,56,57,59,61,62,64,65,66,68,70,73,74,75,78,82,85,86,87,89,90],[1,2,3,4,5,7,9,12,13,15,20,25,26,29,30,31,33,35,36,38,43,52,57,58,59,60,62,64,65,68,69,72,73,74,75,76,81,85,87,89],[1,2,3,4,7,8,13,14,16,18,19,20,25,26,28,30,31,32,33,36,38,40,43,44,45,47,49,53,56,57,60,61,62,65,70,71,72,73,74,75,76,78,81,83],[2,3,4,9,10,12,13,16,17,18,19,20,24,25,29,30,31,32,38,39,40,42,44,45,46,51,53,56,60,61,62,65,70,72,73,78,81,83,84,88],[0,1,4,8,13,15,18,20,21,22,23,24,33,36,40,45,47,48,50,51,55,56,58,60,61,65,66,69,70,72,73,75,77,78,80,81,82,85,86,87,89],[2,3,4,5,7,8,9,10,11,12,14,17,18,19,20,21,23,24,25,35,38,39,40,44,46,49,50,51,56,58,59,60,61,62,63,65,66,70,72,75,76,77,78,79,81,82,83,85,90],[1,8,10,11,13,17,18,19,21,23,24,26,29,33,36,38,44,45,46,48,50,51,55,56,60,61,63,66,69,73,74,82,85,87,89,90],[0,2,3,5,9,11,12,13,15,16,18,22,24,25,26,30,32,35,39,42,45,47,51,53,56,58,60,61,63,73,74,75,77,80,83,85,88,89],[1,8,10,13,14,19,21,26,27,29,31,36,37,44,46,48,49,50,51,53,54,56,57,61,63,66,67,68,69,70,72,73,78,82,83,85,86,87],[0,2,4,6,9,10,13,17,18,19,20,21,22,23,26,29,35,38,40,42,44,46,50,56,58,60,61,62,63,65,66,70,72,74,77,82,85,87],[0,1,2,4,14,18,19,20,22,23,27,28,29,31,34,37,40,42,43,47,53,58,60,62,65,67,68,71,76,77,78,82,83,87,89,90],[24,87,89,90],[0,1,2,3,4,5,11,12,14,15,16,17,19,20,21,22,23,26,27,28,29,30,39,40,41,43,44,49,50,51,54,56,59,60,64,67,68,71,73,74,76,78,79,80,84,86,90],[3,6,7,9,11,13,14,16,18,19,21,23,27,28,31,33,34,38,39,40,41,42,45,51,52,55,57,58,59,60,61,63,66,67,69,71,72,73,76,78,80,81,82,83,85,86,88],[21,84],[0,1,3,8,10,11,12,13,16,17,18,19,22,23,25,29,30,32,33,36,38,39,44,46,48,53,55,56,58,60,61,69,77,82,85,87,88,90],[42,83,84,85],[15,86],[56,83,84,86],[1,2,3,4,8,9,12,16,20,21,23,25,26,30,32,33,35,36,39,40,42,48,50,53,55,62,63,65,66,69,70,72,74,78,80,81,82,83,84,85,88,89,90],[0,4,10,11,15,17,19,20,22,26,29,35,38,40,44,46,47,58,62,63,65,66,70,72,74,75,77,78,81,84,85,89],[50,83,85,87],[18,80],[47,83,84,88],[9,83,85,88],[1,3,4,8,12,13,15,16,18,20,25,26,28,30,32,33,35,36,39,40,47,48,53,55,56,60,61,62,63,65,69,70,72,74,75,82,83,85,88,89,90],[0,1,5,6,7,10,12,15,19,20,24,25,26,30,31,32,33,35,40,42,43,46,52,55,57,59,60,62,63,64,65,68,69,70,75,76,81,83,85,87,88,89,90],[2,3,5,6,7,8,9,16,17,21,22,23,24,26,29,31,35,36,38,39,40,44,47,48,50,52,53,57,58,59,60,62,63,64,65,66,68,70,76,77,80,81,82,83,84,85,89],[2,4,5,6,7,9,10,11,12,15,19,20,22,25,26,30,31,32,35,36,43,45,46,48,51,52,57,58,59,60,63,64,68,72,73,75,76,77,81,87,88,89],[1,8,10,11,13,17,18,19,21,23,24,26,33,35,36,38,44,45,46,48,50,51,55,56,60,61,63,66,69,73,74,80,85,87,89,90],[0,2,3,9,11,12,13,15,16,18,22,24,25,26,30,32,35,39,42,45,47,51,56,58,60,61,63,73,74,75,77,82,83,84,86,87,88],[2,8,9,10,11,12,13,15,16,17,18,20,24,26,29,33,35,36,38,39,44,45,47,51,53,55,56,60,61,63,68,69,72,73,74,78,80,81,83,86,87,89,90],[0,3,4,5,6,7,9,10,11,13,15,16,19,20,23,24,31,36,42,47,50,52,56,57,59,60,61,64,67,70,74,75,76,78,80,81,82,85],[3,4,8,9,16,18,19,20,21,25,26,28,29,30,32,33,35,36,39,40,47,48,50,55,60,62,63,65,67,68,69,74,81,82,84,86,89,90],[72,84,85,86,88,89],[1,83,86,87,88,89],[3,4,8,9,11,12,15,16,25,26,28,30,32,33,35,36,39,40,43,46,48,50,53,55,56,60,62,63,65,66,67,68,69,70,72,74,75,80,82,83,84,88,89,90],[46,83,84,85,86,87,88,89],[0,1,2,3,4,5,6,7,8,9,11,12,15,17,18,20,21,23,26,31,33,35,38,42,43,44,45,50,51,52,55,56,57,59,61,63,64,66,68,69,70,72,73,76,81,82,86,87,88,89,90],[39,84,88,89],[3,4,8,9,10,11,12,15,17,18,21,23,24,25,28,30,32,38,39,40,43,44,45,46,48,50,51,61,62,65,66,68,70,72,73,75,78,82,86,87,88],[0,3,4,5,6,7,8,10,13,16,18,19,20,24,31,36,39,42,43,46,47,52,53,56,57,59,61,64,68,72,74,76,78,82,87],[0,1,2,3,8,9,10,12,15,16,17,21,22,23,25,29,30,32,33,36,38,39,42,44,46,47,48,50,53,55,58,66,69,75,77,78,80,81,82,84,85,88,89,90],[0,1,4,5,8,12,13,14,18,19,21,22,23,24,31,33,35,36,38,43,44,45,47,48,50,51,55,60,61,63,64,65,66,69,71,72,73,75,76,78,79,80,86],[0,1,2,3,8,9,10,12,15,16,17,19,21,22,23,25,29,30,32,33,36,39,42,44,46,47,48,50,53,55,58,66,69,75,77,80,83,87,88,90],[0,3,4,5,6,7,8,10,13,16,18,19,20,24,31,36,39,42,43,46,47,48,52,53,56,57,59,61,64,68,69,72,74,76,81,83,85,87],[1,2,4,5,6,7,9,12,13,15,17,18,20,21,22,23,24,25,29,30,31,32,33,38,43,44,50,55,56,57,58,59,61,64,66,68,69,72,74,75,76,77,80,81,82,85,88,90],[1,2,3,4,8,9,11,12,16,20,21,23,25,26,30,32,33,35,36,39,40,42,48,50,53,55,58,62,63,65,66,69,70,72,74,78,81,83,84,85,87,88,89,90],[7,83,85,87,88,90],[0,1,2,3,4,5,6,7,9,10,13,15,16,17,18,20,26,29,31,33,35,38,39,43,44,45,51,52,53,55,56,57,59,61,63,64,68,69,72,73,75,76,78,80,83,84,86,87,88],[0,1,3,4,5,9,11,12,13,15,16,19,20,21,22,23,24,25,28,29,30,31,32,34,35,37,38,39,41,44,45,46,47,51,53,61,63,65,66,67,68,70,71,72,73,75,78,79,80,81,82,84,85,87],[0,2,5,6,10,11,15,17,18,20,22,24,26,28,31,32,35,37,40,41,42,44,46,47,54,55,57,59,62,63,65,66,67,75,77,78,81,83,84,86,89,90],[0,3,12,16,21,22,23,24,25,26,30,32,33,35,39,45,50,51,53,58,63,66,73,74,77,78,81,83,84,85,87,88],[0,5,6,7,8,11,12,13,15,17,18,21,23,25,29,30,31,32,34,36,38,40,42,43,44,45,48,50,51,52,56,57,59,61,62,64,65,66,68,70,73,74,75,76,80,81,82,85,86,87,88,89,90],[0,1,2,3,5,6,7,9,10,11,13,16,18,19,22,31,33,39,40,43,45,46,47,51,52,53,55,56,57,58,59,61,62,64,65,68,69,70,73,74,76,77,81,83,85,87,89,90],[25,83,85,86,87,90],[54,84,85,86,87,90],[0,1,8,13,15,18,20,21,22,23,24,33,36,40,45,47,48,50,51,55,56,58,60,61,62,65,66,69,70,72,73,75,77,82,85,86,87,88,89],[27,84,86,87,88,90],[4,5,6,8,11,12,14,19,20,22,25,26,27,30,31,32,33,34,35,36,38,42,43,46,47,48,50,52,54,58,59,60,64,66,68,69,71,72,73,74,76,77,78,80,83,84,85,87,88,90],[0,6,8,9,11,15,18,21,22,23,26,30,32,33,36,38,40,44,45,46,48,50,56,60,61,62,66,68,70,72,73,74,75,82,84,85,89],[1,3,9,10,13,15,16,18,22,23,24,25,27,28,29,30,32,37,38,39,41,43,45,46,51,53,61,62,63,64,65,67,68,71,72,73,74,76,77,79,80,81,82,87,89],[1,8,10,11,13,17,18,19,21,23,24,26,29,33,35,36,38,44,45,46,48,50,51,55,56,60,61,63,66,69,73,78,80,81,82,83,86],[2,4,5,6,7,8,9,10,11,12,15,19,20,22,25,26,30,31,32,35,36,43,45,46,48,52,57,58,59,60,63,64,68,72,73,75,76,77,78,82,83,84,85,88],[2,3,5,6,12,13,14,15,16,19,22,23,25,26,27,28,29,30,31,33,34,35,37,38,39,40,41,42,47,52,53,54,55,56,57,58,63,67,69,70,71,72,73,75,77,78,81,82,83,87,88,90],[71,83,87,90],[0,1,5,6,7,10,12,15,19,24,25,26,30,31,32,33,35,42,43,46,52,55,57,59,60,62,63,64,65,68,69,70,75,76,78,82,83,85,87,88,89],[1,2,3,6,10,12,15,16,20,21,22,23,30,33,35,39,40,42,44,46,50,51,53,55,58,65,66,68,73,74,75,78,80,81,82,86,87,90],[57,83,84,85,87,90],[1,4,5,6,7,11,12,17,20,22,24,25,29,30,31,32,33,38,42,43,44,47,52,55,57,58,59,60,63,64,68,69,72,74,76,77,80,81,82],[0,2,3,4,5,6,7,8,9,10,11,15,16,19,20,21,23,24,31,36,39,43,46,48,50,52,53,57,59,60,64,66,68,72,74,75,76,79,81,84,87,88,90],[0,1,3,8,10,11,12,13,16,17,18,19,22,25,29,30,32,33,36,38,39,44,46,48,53,55,56,58,59,60,61,69,77,80,87],[0,2,5,8,9,11,12,13,14,16,17,18,19,21,23,25,28,29,31,32,34,35,36,40,41,42,44,47,49,50,52,53,54,58,60,61,62,63,64,66,68,69,70,71,75,79,81,84],[36,84,87,88,89,90],[17,85,87,88,89,90],[41,78,80,81,82,88,90],[3,83,89,90],[7,8,12,14,24,26,29,34,35,37,39,42,45,49,50,51,54,63,66,73,74,75,76,78,81,82,83,85,86,88,90],[37,85,89,90],[1,2,3,4,8,9,11,12,16,20,21,22,23,25,26,30,32,33,35,36,39,40,42,48,50,53,55,62,63,65,66,69,70,72,74,80,88,90],[55,83,86,87,89,90],[1,2,3,6,9,10,11,12,13,15,16,18,22,28,30,32,33,35,39,43,45,46,47,49,51,53,57,58,59,61,63,64,65,71,73,74,76,77,79,80,82,84,86,90],[49,83,86,88,89,90],[3,4,10,11,12,15,16,17,19,20,21,23,24,25,29,30,38,39,40,44,45,46,47,50,51,53,62,65,66,70,72,73,75,78,81,84,85,88],[1,2,3,5,6,7,9,10,11,13,16,18,19,22,31,33,39,40,43,45,46,47,51,52,53,55,56,57,58,59,61,62,64,65,68,69,70,73,74,76,78,80,84,85,86,88,89],[76,83,84,85,86,88,89,90],[0,1,3,4,6,8,13,15,17,20,26,32,33,35,40,44,45,47,48,51,58,69,70,72,75,78,81,82,84,88,89],[2,4,5,6,8,10,13,14,15,18,20,21,22,23,25,26,28,30,32,36,38,39,42,44,46,47,49,50,51,52,55,56,58,59,61,64,66,68,69,71,72,77,80,81,84,85,90],[62,84,85,86,89,90],[0,1,2,6,8,9,10,12,14,16,18,19,24,25,26,29,31,33,40,42,43,45,46,47,49,52,53,55,56,57,58,61,62,64,65,68,69,70,73,75,77,78,79,82,85,89],[2,4,5,6,7,8,9,10,11,12,15,19,20,22,25,26,30,31,32,35,36,43,45,46,48,51,52,57,58,59,60,63,64,68,72,75,76,77,80,81,82,87,88,89],[3,4,10,12,14,15,16,18,19,20,21,25,27,29,30,31,32,33,35,37,39,40,44,46,47,49,50,51,54,55,57,60,62,65,66,67,68,73,74,75,78,80,82,86,87,88,90],[0,1,5,6,7,10,12,15,19,24,25,26,30,31,32,33,35,40,42,43,46,52,55,57,59,60,62,63,64,68,69,70,75,76,80,81,82,87,88,90],[0,1,3,4,5,6,7,8,9,14,16,17,18,19,20,21,24,26,27,28,34,35,36,37,38,39,42,44,48,50,52,57,59,63,64,66,67,70,71,78,81,82,87,89,90],[2,9,11,13,15,18,21,23,24,42,47,50,56,60,61,66,75,78,80,81,82,84,90],[2,4,5,8,10,13,14,15,18,20,21,23,25,26,27,28,32,33,36,38,40,41,43,46,48,49,50,51,53,54,55,58,59,61,64,67,68,69,71,73,74,76,77,79,80,81,83,86,88,89],[0,2,4,5,8,10,13,14,15,18,20,24,27,28,33,34,36,38,40,41,42,43,45,46,48,50,51,53,55,58,61,63,64,67,68,69,71,73,74,75,81,82,84,86,88,89],[1,4,5,6,7,11,12,17,20,22,24,25,26,29,30,31,32,33,38,42,43,44,47,52,55,57,58,59,60,64,68,69,72,74,76,77,78,82,84,85,87,88,89,90]]},"distance":{"d":3,"is_exact":true,"upper":3,"witness":[0,2,178],"A_d":2664,"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,1],[74,1],[75,1],[76,1],[77,1],[78,1],[79,1]],"CZ":[[0,84],[0,85],[1,83],[1,85],[2,83],[2,85],[3,84],[3,85],[4,83],[4,84],[5,83],[5,84],[6,83],[6,84],[7,83],[7,84],[8,84],[8,85],[9,83],[9,85],[10,84],[10,85],[12,83],[12,85],[13,83],[13,84],[15,83],[15,85],[16,84],[16,85],[17,83],[17,85],[18,83],[18,84],[19,84],[19,85],[20,83],[20,84],[21,83],[21,85],[22,83],[22,85],[23,83],[23,85],[24,83],[24,84],[25,83],[25,85],[29,83],[29,85],[30,83],[30,85],[31,83],[31,84],[32,83],[32,85],[33,83],[33,85],[36,84],[36,85],[38,83],[38,85],[39,84],[39,85],[42,84],[42,85],[43,83],[43,84],[44,83],[44,85],[46,84],[46,85],[47,84],[47,85],[48,84],[48,85],[50,83],[50,85],[52,83],[52,84],[53,84],[53,85],[55,83],[55,85],[56,83],[56,84],[57,83],[57,84],[58,83],[58,85],[59,83],[59,84],[61,83],[61,84],[64,83],[64,84],[66,83],[66,85],[68,83],[68,84],[69,83],[69,85],[72,83],[72,84],[74,83],[74,84],[75,83],[75,85],[76,83],[76,84],[77,83],[77,85],[80,83],[80,85],[81,83],[81,84],[82,84],[82,85],[83,84],[83,88],[83,90],[84,85],[84,87],[85,87],[85,88],[85,90]]},"rotation_powers":[[0,7],[2,7],[6,7],[7,3],[8,5],[9,5],[11,5],[12,3],[13,3],[14,7],[16,3],[17,7],[18,5],[19,7],[21,3],[24,5],[25,3],[27,5],[31,5],[32,3],[33,3],[34,7],[35,3],[38,7],[39,7],[40,7],[41,5],[44,3],[45,5],[46,5],[48,7],[50,7],[51,3],[52,3],[53,3],[55,7],[58,7],[59,5],[60,5],[61,3],[63,7],[65,7],[67,7],[68,7],[72,7],[73,5],[74,3],[75,3],[76,7],[80,3],[87,5],[89,5],[92,3],[93,3],[95,3],[96,3],[98,3],[99,3],[100,3],[101,3],[103,3],[105,3],[107,3],[109,3],[110,3],[111,3],[113,3],[114,3],[115,3],[116,5],[118,3],[119,3],[120,3],[121,3],[123,3],[126,3],[128,3],[129,3],[131,3],[138,3],[139,3],[140,3],[147,3],[148,3],[149,3],[151,3],[153,3],[155,3],[156,3],[157,3],[159,3],[160,3],[161,3],[162,3],[167,7],[177,3],[178,3],[180,3],[181,3],[182,3],[183,3],[185,3],[188,3],[192,3],[193,3],[194,3],[197,3],[199,3],[200,7],[201,3],[203,3],[205,3],[213,3],[216,3],[218,3],[220,3],[221,3],[222,3],[224,3],[225,3],[227,3],[229,3],[233,3],[234,3],[235,3],[236,3],[237,3],[240,3],[241,3],[242,3],[246,3],[248,3],[249,3],[251,3],[254,3],[255,3],[256,3],[257,3],[259,3],[260,3],[262,3],[264,3],[265,3],[266,3],[267,3],[270,3],[271,3],[273,3],[274,3],[278,3],[280,3],[285,3],[288,3],[290,3],[291,3],[293,3],[294,3],[298,3],[299,3],[300,3],[303,3],[305,3],[307,3],[308,3],[311,3],[313,3],[314,3],[317,3],[319,3],[323,3],[325,3],[326,3],[327,3],[332,3],[334,3],[335,3]]},"metrics":{"gamma":1.306270228443495,"gamma_t":null,"gamma_rho":1.306270228443495,"gamma_claim":1.306270228443495,"gamma_t_claim":null,"gamma_rho_claim":1.306270228443495,"v_ex":80,"rate":0.23809523809523808,"t_count":null,"poly_degree":null,"effective_width":80},"provenance":{"regimes":["AI search (gamma frontier): from Wills parent codes"],"discovery":"AI search","strongest_claim":"built from one of Wills's parent codes (weighted Reed-Muller, restricted-light or one-heavy) by searched punctures, paired-column contractions or logical-pair checks, in the pure-T distillation-exponent release (gamma = log(n/k)/log d, n < 1000); a verified witness, not a maximum -- only the release's own frontier points are the lowest gamma it knows","sources":[{"regime":"AI search (gamma frontier): from Wills parent codes","file":"gamma_frontier_release/protocols/restricted_light_336_80_3.json","label":"restricted_light_336_80_3","N":91,"d":3,"d_is_exact":true,"origin":"Wills-derived four-block Schur-orthogonal restricted-light parent (|S|=104), with searched graph punctures","provenance":"gamma frontier release record restricted_light_336_80_3 (source catalogue id restricted_light_336_80_3); construction: Wills-derived four-block Schur-orthogonal restricted-light parent (|S|=104), with searched graph punctures; matrix e0376e636f7c7c48...; the release states d=3 (exact), gamma=1.306270228443495 (exact)","notes":"matrix gamma_frontier_release/matrices/e0376e636f7c7c48993438dd1d19a93b24c25ff8ddc664a49ab414a2ae5cc2f9.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"}]}