{"id":"386.94.3.a","row":1014,"stored":{"file":"master_catalog.json","row":1014,"construction":null,"columns_sha256":null},"parameters":{"n":386,"k":94,"d":3,"N":105,"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+87+88+89+90+91+92+93","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\u00b7T87\u00b7T88\u00b7T89\u00b7T90\u00b7T91\u00b7T92\u00b7T93","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],[87],[88],[89],[90],[91],[92],[93]],"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],[87],[88],[89],[90],[91],[92],[93]],"sk_fingerprint":"be23c3d8e6e7220c","sk_canonical_frame":true,"relabelled_into_canonical_frame":false},"circuit":{"columns":[[3,4,8,10,11,12,13,16,17,20,21,24,29,30,31,33,34,37,38,40,42,43,45,47,50,51,53,55,57,59,61,62,63,66,67,68,69,71,72,74,76,78,79,81,82,85,87,88,89,91,92,94,96,98,99,104],[44,99],[24,96,97,99],[1,4,5,6,8,12,13,15,18,20,22,24,25,26,27,29,31,32,33,35,38,39,40,43,47,58,60,61,62,63,65,67,68,73,76,77,79,80,83,84,87,88,90,94,95,96,97,99,100,103],[1,5,10,11,12,13,14,15,17,22,23,24,26,27,31,32,36,37,47,50,53,57,58,60,61,62,63,66,69,71,72,73,74,78,81,82,84,85,86,87,89,90,91,92,93,94,95,96,98,100,102,103],[1,3,4,5,6,8,14,18,20,22,24,29,31,36,37,38,40,43,47,49,51,52,55,57,58,67,68,73,76,78,79,83,90,94,95,96,97,98,102,103,104],[42,96,98,100],[0,1,5,9,11,13,15,17,18,20,23,24,31,33,35,37,40,41,42,43,44,47,48,54,55,56,58,60,62,63,64,67,68,70,73,74,75,76,78,79,81,83,84,85,87,88,89,91,92,94,95,100,101,102],[0,2,4,8,9,11,13,15,16,17,26,27,28,29,35,36,40,41,42,43,45,46,47,48,51,52,53,56,57,59,60,61,62,63,64,66,70,71,78,80,81,82,83,86,87,88,89,90,93,97,99,100,101,102,104],[2,6,7,8,10,12,13,14,15,16,18,20,21,22,23,24,25,27,28,29,31,32,34,36,37,38,43,45,46,48,50,55,59,63,65,67,68,70,71,72,76,78,79,80,83,85,87,88,89,90,91,92,93,94,96,98,99,101,103,104],[2,12,13,18,22,25,26,27,28,30,33,35,36,37,38,39,40,43,46,47,49,51,52,53,54,55,60,62,63,65,66,69,71,74,75,77,78,82,84,85,87,88,91,92,93,94,96,98,99,100,101,103,104],[2,6,7,8,10,12,13,14,15,16,18,20,21,22,23,24,25,27,28,29,32,36,38,43,45,46,48,50,52,55,59,60,63,65,67,68,70,71,72,76,78,79,80,83,85,87,89,90,91,92,93,94,99,103,104],[3,4,6,7,8,11,14,18,20,22,23,25,28,29,33,36,37,38,39,43,46,47,50,58,65,67,68,70,71,72,76,78,79,81,83,85,86,89,90,91,92,94,96,97,98,99,101,102],[3,4,6,7,8,11,14,18,20,22,23,25,28,29,31,33,34,36,37,38,39,43,47,50,52,58,60,65,67,68,70,71,72,76,78,79,83,85,86,89,90,91,92,94,98,99,101,102],[3,4,10,11,15,16,18,21,24,25,26,28,30,31,32,34,35,36,38,40,41,43,45,48,49,51,52,53,54,58,59,60,62,65,66,69,71,74,75,77,78,80,81,82,84,85,86,91,92,94,97,99,100,102],[1,2,4,5,7,8,10,14,15,16,17,20,21,23,26,27,28,29,30,31,32,33,35,36,38,42,43,45,47,52,53,55,57,59,66,67,68,69,70,73,74,76,77,79,80,82,83,84,86,94,95,96,97,98,100,101,102,103,104],[1,4,5,6,17,22,24,27,28,31,36,37,38,39,40,42,43,48,49,50,51,52,54,55,57,62,72,73,86,89,90,94,95,96,102,103,104],[1,4,5,7,8,10,14,15,16,17,20,21,23,26,27,28,29,30,32,33,34,35,36,38,42,43,45,47,48,53,55,57,59,60,66,67,68,69,70,73,74,76,77,79,80,82,83,84,86,94,95,98,100,101,102,103,104],[0,1,4,8,9,10,12,13,16,18,19,21,23,26,27,30,32,33,34,38,45,48,49,50,52,53,54,55,58,59,61,62,64,65,66,70,72,73,77,78,80,82,83,95,96,97,99,100,102],[1,2,5,7,11,12,13,18,23,24,25,26,27,30,34,35,36,37,38,43,46,47,50,52,53,54,62,63,66,69,70,72,73,74,75,77,78,81,82,84,86,87,88,89,93,94,95,96,97,100,101],[1,2,5,6,8,10,11,12,13,14,15,16,18,20,21,22,27,29,31,32,33,36,38,39,40,43,45,46,48,49,51,59,60,63,67,68,73,76,78,79,80,81,83,85,86,87,88,90,93,94,95,96,97,100,101,102],[0,1,2,4,8,9,10,12,13,14,16,18,19,20,23,24,25,26,27,30,31,32,33,36,41,44,45,46,47,49,50,51,53,54,55,58,59,60,62,64,65,66,69,70,71,72,73,75,77,78,80,81,82,85,93,95,96,97,98,99,100,102],[2,3,8,12,13,14,17,20,25,26,29,30,33,35,36,37,40,42,43,46,48,49,50,51,52,53,55,57,58,60,63,65,66,67,68,69,71,72,74,76,77,79,82,83,84,85,86,87,88,89,91,92,93,94,97,101,102,103,104],[2,3,6,7,10,12,13,15,16,17,21,22,23,24,25,32,36,38,39,42,43,45,46,47,52,54,55,57,58,59,60,61,62,63,65,70,71,75,80,85,86,87,88,90,91,92,93,94,99,101,103,104],[1,2,3,5,7,11,14,15,18,23,24,25,30,31,32,33,38,39,43,46,47,49,50,52,53,54,55,61,63,65,66,69,70,72,73,74,75,80,81,82,86,89,93,94,95,96,101,102,104],[3,4,8,11,12,13,14,15,20,21,24,28,29,33,34,37,38,42,45,46,50,51,54,55,56,57,59,60,61,62,66,67,72,73,74,76,77,78,79,80,81,82,83,84,87,88,90,91,92,95,96,97,98,99,100,101,102,104],[1,2,3,4,5,10,11,12,13,14,15,16,20,21,22,27,29,31,32,33,34,36,38,41,42,45,50,51,55,57,58,59,68,75,80,81,83,86,87,88,93,97,103,104],[2,6,7,10,12,14,16,17,21,22,23,24,26,27,33,35,37,38,42,43,45,46,47,49,54,57,58,59,61,70,71,75,77,78,84,85,86,90,91,92,93,94,96,99,100,101,102,103],[2,8,15,17,20,27,29,30,32,38,39,40,42,43,46,48,51,53,57,58,61,62,66,67,68,69,71,72,74,76,78,79,80,82,83,85,86,89,91,92,93,94,96,97,98,99,102,103],[1,2,3,6,10,12,13,15,17,18,19,20,21,22,23,28,31,35,36,38,40,41,42,43,44,45,46,47,52,53,54,55,57,59,62,63,65,71,73,75,81,84,85,86,87,88,89,90,93,95,96,98,99,100,104],[29,99,100,102],[3,7,10,11,12,13,16,17,21,22,23,25,26,27,30,32,35,38,39,42,43,46,47,48,53,54,57,61,62,68,70,71,72,75,78,85,86,88,90,91,92,94,96,97,99,100,101,103],[4,10,11,12,13,14,16,18,21,24,27,28,30,33,37,38,39,40,43,45,48,51,52,53,54,55,56,58,59,60,61,63,66,69,71,74,75,81,82,85,86,87,88,91,92,94,96,98,100,102,104],[4,6,7,8,11,12,13,15,18,20,22,23,26,27,28,29,32,35,38,43,47,49,50,52,55,58,60,61,62,63,67,70,71,72,76,77,79,80,81,83,84,85,86,87,88,89,90,91,92,94,97,98,99,100,101,104],[1,3,4,5,6,12,13,14,15,17,19,22,24,25,26,28,32,33,34,35,38,40,42,43,48,50,51,52,54,57,61,63,65,72,73,75,77,78,80,84,86,87,88,89,90,94,95,97,102,103],[3,4,5,7,8,10,12,13,16,17,20,21,23,25,28,29,30,34,37,38,39,42,43,45,47,49,52,53,57,59,61,62,63,65,66,67,68,69,70,73,74,76,78,79,82,83,86,87,88,94,95,96,97,98,100,101,102,103],[1,2,6,7,10,11,12,17,18,21,22,25,26,27,31,32,34,37,38,39,42,43,45,47,53,54,55,57,59,61,65,70,71,72,75,77,78,80,81,85,90,91,92,96,97,98,99,100,103,104],[18,94],[23,96,98,103],[6,7,8,10,14,15,16,20,21,22,23,24,26,29,30,31,32,33,34,35,37,39,40,45,47,48,49,50,51,52,53,54,59,60,62,66,67,68,69,70,72,74,75,77,79,80,82,83,84,89,90,94,96,97,100,101,103],[1,3,5,7,8,11,14,17,18,20,23,24,25,27,29,31,33,40,42,43,47,48,49,51,52,54,55,57,58,62,65,67,68,70,71,73,75,76,78,79,81,83,85,91,92,94,95,97,98,99,101,103,104],[1,3,5,10,11,15,16,17,18,21,22,25,26,27,30,32,34,35,37,39,42,45,50,53,55,57,58,59,60,65,66,69,71,72,73,74,77,78,80,81,82,84,85,89,90,91,92,94,95,96,97,98,100,104],[0,1,3,5,7,8,11,14,17,18,20,23,24,25,27,29,33,34,40,42,47,48,49,51,54,55,57,58,60,62,65,67,68,70,71,73,75,76,78,79,81,83,85,91,92,94,95,96,98,99,101,103,104],[1,2,3,5,6,7,8,9,11,14,15,17,18,23,25,29,30,31,33,36,40,41,42,47,49,51,52,53,54,57,58,61,62,65,67,68,69,70,72,73,74,75,78,80,81,82,93,95,97,99,101,102,104],[33,96,97,100,101,103],[1,2,3,4,5,7,10,12,13,15,16,21,23,25,27,28,31,32,37,40,45,46,47,48,49,50,51,58,59,60,63,65,70,71,72,73,80,85,87,88,89,92,93,94,95,98,99,100,102,103],[0,4,6,7,9,11,12,13,17,20,21,22,26,28,30,32,33,35,36,39,40,41,42,43,44,46,49,52,54,57,60,61,63,66,69,70,71,72,77,78,79,80,81,84,85,87,88,90,93,97,98,99,104],[54,98,99,100,101,103],[1,2,4,5,6,8,15,20,22,24,28,29,30,31,32,36,37,46,49,52,53,54,55,58,61,66,67,68,69,71,73,74,75,76,79,80,82,83,85,90,91,92,93,94,95,97,98,99,104],[1,2,5,6,11,13,15,17,21,30,31,33,35,36,40,42,45,49,51,53,54,56,57,58,59,60,61,62,63,68,69,70,71,72,73,75,78,80,81,82,87,91,93,95,98,99,100,101],[1,2,4,5,6,8,15,20,22,24,26,28,29,30,32,34,36,37,46,49,53,54,55,58,60,61,66,67,68,69,71,73,74,75,76,78,79,80,82,83,85,90,91,92,93,94,95,96,98,99,104],[1,2,4,5,7,10,14,16,21,23,26,28,33,34,35,36,39,40,45,46,47,48,50,51,55,58,59,60,61,62,67,70,71,72,73,77,78,84,85,89,91,92,93,94,95,96,97,99,100,101,104],[73,97,101,103],[6,9,12,13,15,16,20,23,25,26,28,31,32,34,35,37,38,39,40,41,43,44,46,47,48,54,61,62,63,64,65,66,72,73,75,77,78,79,80,83,86,87,88,89,91,92,93,94,96,97,100,101,102,103,104],[2,3,4,8,9,10,11,12,13,15,16,17,18,21,22,24,29,31,32,33,34,36,38,40,41,48,49,50,54,59,62,63,66,68,73,76,80,81,83,86,87,88,93,96,101,102,103,104],[3,12,13,14,15,25,26,27,31,32,33,34,35,36,37,39,49,55,59,61,62,63,65,77,78,80,84,87,88,94,97,100,102,104],[2,3,6,10,13,16,18,21,23,24,25,32,36,39,40,42,43,50,52,55,56,57,59,60,61,62,63,65,66,68,69,70,73,74,75,77,84,85,86,87,90,91,93,96,97,98,100,104],[45,97,98,99,100,103],[64,96,100,103],[1,5,7,8,11,12,13,15,17,18,20,23,24,26,29,31,32,35,36,37,39,40,42,47,48,51,54,57,58,60,61,63,67,68,70,71,73,75,76,77,79,80,81,83,84,85,87,88,89,91,92,94,95,96,97,99,101,102],[1,2,4,5,6,14,15,17,18,22,24,27,30,31,32,36,37,39,42,46,47,48,49,50,52,53,55,57,61,62,66,69,71,72,73,74,80,82,85,86,89,90,91,92,93,94,95,96,99,100,101,102,103,104],[1,2,3,4,5,7,8,10,16,17,18,20,21,23,26,27,29,31,33,35,36,40,42,45,46,51,52,54,55,57,59,61,67,68,70,71,73,75,76,77,79,82,83,84,85,86,91,92,93,94,95,97,98,99,100,101,104],[2,4,10,11,14,16,21,24,25,26,35,36,45,46,47,48,49,58,59,61,62,65,77,78,80,81,84,86,93,94,99,101,102],[2,4,10,11,14,16,21,24,25,26,31,34,35,36,45,46,47,48,49,52,55,58,59,60,61,62,65,77,78,81,84,86,93,94,97,98,99,101,102],[1,2,3,4,6,8,9,10,12,16,19,21,26,27,31,32,33,38,40,41,43,45,46,49,50,53,54,58,59,60,61,62,64,65,66,70,71,72,73,75,76,77,78,79,81,83,92,94,95,96,97,101],[6,7,9,10,12,13,14,16,17,18,21,22,23,24,25,28,30,31,34,36,39,40,42,45,51,53,55,57,58,59,61,62,63,65,66,69,70,74,82,86,87,88,90,94,96,97,101,103,104],[3,4,6,10,11,13,15,16,18,23,26,27,30,32,33,35,45,49,53,55,58,59,62,65,66,72,77,78,80,84,86,94,96,97,98,100],[74,98,102,103],[8,12,13,15,17,18,20,25,26,28,29,32,33,35,36,37,42,47,48,49,50,52,54,55,57,58,60,61,63,65,66,67,68,72,75,76,77,79,80,83,84,86,87,88,89,94,100,103,104],[1,2,3,11,13,17,19,20,23,24,25,26,29,30,31,32,33,36,37,38,41,42,43,44,46,48,49,51,52,53,55,57,58,63,64,65,66,67,68,69,70,71,73,74,77,79,80,81,82,83,87,88,89,92,93,94,95,97,98,99,100,102,104],[1,3,5,6,8,10,11,12,13,16,20,21,22,27,28,29,30,33,34,36,39,45,47,48,49,52,53,54,59,61,63,66,67,68,69,71,72,73,74,75,76,78,79,81,82,83,85,86,87,88,90,91,92,94,95,96,97,98],[53,97,98,99,102,103],[58,96,99,100,102,103],[7,97,99,100,102,103],[3,6,7,8,10,15,16,17,18,21,22,23,24,26,27,28,30,31,32,33,34,35,37,40,42,45,49,51,52,53,57,58,59,60,66,69,70,74,77,78,80,82,84,86,90,94,96,97,100,101],[1,5,6,8,11,14,15,16,20,21,22,25,26,28,29,30,31,32,35,37,45,47,48,52,53,54,55,59,62,65,66,67,68,69,71,73,74,75,76,77,79,80,81,82,83,84,85,86,90,91,92,94,95,97,98,99,100,103,104],[1,5,7,11,23,24,25,28,31,33,39,40,49,50,51,52,55,65,70,71,72,73,81,85,86,89,90,91,92,94,95,99,101,103,104],[1,4,5,6,8,10,11,14,15,16,20,21,22,25,26,28,29,30,32,34,35,37,45,47,48,53,54,55,59,60,62,65,66,67,68,69,71,73,74,75,76,77,79,80,81,82,83,84,85,86,90,91,92,94,95,99,102,104],[0,1,2,4,10,13,14,16,17,18,19,20,21,23,25,27,33,34,35,37,40,42,43,44,45,46,49,52,54,56,57,59,67,68,69,70,71,73,75,77,78,79,80,85,86,88,90,91,93,95,96,97,99,100,102,103],[1,2,4,5,6,9,10,11,16,17,18,20,21,24,25,26,28,29,34,38,42,43,45,46,47,48,57,58,59,60,61,65,66,67,68,72,73,76,77,81,84,86,93,95,96,99,101,103,104],[65,97,99,101,102,103],[1,2,4,5,6,12,13,17,18,22,24,25,26,30,31,33,42,46,47,48,50,53,57,60,63,65,66,69,71,72,73,74,77,78,82,84,85,86,87,88,89,90,91,92,93,94,95,96,99,100,102],[0,1,2,7,8,9,10,12,14,18,19,21,22,23,24,25,27,28,29,30,34,35,37,38,40,42,46,47,49,50,51,53,54,56,57,60,61,62,63,65,69,73,74,75,76,79,80,81,82,83,86,87,89,90,92,94,95,98,99,100,104],[62,96,97,101,102,103],[17,96,98,101,102,103],[2,3,5,12,13,14,17,22,25,26,27,30,32,33,36,37,39,45,49,50,53,55,57,58,60,62,65,68,69,71,73,74,77,82,84,85,87,88,89,90,91,92,93,94,97,100,102,103,104],[3,4,5,8,10,11,15,16,18,20,21,22,24,25,26,27,28,29,30,34,36,39,42,46,49,53,54,58,59,63,65,67,69,71,72,73,74,75,76,77,78,79,80,81,82,83,84,85,90,91,92,94,95,96,98,100],[2,3,5,12,13,14,17,22,25,26,27,30,32,33,36,37,39,45,49,50,52,53,55,57,58,62,65,68,69,71,73,74,77,82,84,85,87,88,89,90,91,92,93,94,96,97,99,101,102,103],[3,4,5,8,10,11,15,16,18,20,21,22,24,25,26,27,28,29,30,34,36,39,42,46,49,52,53,54,58,59,60,63,65,67,69,71,72,73,74,75,76,77,78,79,80,81,82,83,84,85,90,91,92,94,95,98,99,101,104],[60,96,99,100,101,104],[2,4,8,10,11,12,13,14,15,16,17,18,20,21,24,28,29,32,33,34,37,42,45,46,50,54,55,57,59,62,63,67,68,72,75,76,78,79,80,81,83,87,88,89,93,95,97,98,99,100,101,102,103],[2,4,8,10,11,12,13,14,15,16,17,18,20,21,24,28,29,32,33,34,37,42,45,46,50,52,54,55,57,59,60,62,63,67,68,72,75,76,78,79,80,81,83,87,88,89,93,95,96,97,98,102,103,104],[3,4,6,7,11,12,13,14,15,17,21,22,23,26,31,32,34,35,38,39,42,43,48,49,54,55,57,61,63,70,71,75,77,78,80,81,84,85,87,88,90,91,92,94,96,97,99,100,101,104],[3,4,8,10,11,12,13,16,17,20,21,24,29,30,33,37,38,40,42,43,45,47,50,51,52,53,55,57,59,60,61,62,63,66,67,68,71,72,74,76,78,79,81,82,83,85,87,88,89,91,92,94,97,98,99,104],[3,4,6,7,11,12,13,14,15,17,22,23,26,32,35,38,39,42,43,47,48,49,52,54,55,57,60,61,63,70,71,75,77,78,80,81,84,85,87,88,90,91,92,94,99,100,101,104],[1,4,5,6,8,12,13,15,18,20,22,24,25,26,27,29,32,33,34,35,38,39,40,43,44,47,51,52,58,61,62,63,65,67,68,73,76,77,79,80,83,84,87,88,90,94,95,96,98,99,100,103],[1,4,5,7,10,12,13,14,16,18,21,23,24,25,27,30,34,37,38,43,45,48,49,50,52,53,54,58,59,61,63,65,66,69,70,72,73,74,75,82,87,88,89,94,95,99,101,103],[51,96,98,99],[1,4,5,7,10,12,13,14,16,18,21,23,25,27,30,31,37,38,43,45,48,49,50,53,54,58,59,60,61,63,65,66,69,70,72,73,74,75,82,87,88,89,93,94,95,101,103],[3,4,7,11,12,13,14,16,17,18,21,22,24,27,30,33,35,37,38,39,43,45,47,48,52,54,55,57,59,60,61,63,70,71,75,77,80,81,85,86,87,90,91,92,93,98,101,104],[1,3,4,5,7,10,15,16,18,21,23,26,30,32,33,34,35,36,38,39,42,43,45,48,50,53,54,55,58,59,60,62,66,69,70,72,73,74,75,77,78,80,82,84,89,94,95,96,97,98,101,102,103,104],[0,3,4,6,8,9,11,13,14,15,17,22,23,29,31,33,34,35,36,38,41,42,44,48,49,51,54,56,62,63,64,70,74,75,81,84,85,87,88,89,90,91,92,98,100,101,103,104],[0,4,8,9,11,12,15,16,17,18,25,29,30,31,33,34,37,38,39,41,42,45,48,49,52,54,55,56,57,59,60,61,64,65,69,70,74,75,77,80,81,83,84,85,86,89,90,91,92,94,96,101,102,103],[22,96,98,101],[88,97,98,101],[3,4,10,11,15,16,18,21,24,25,26,28,30,32,35,36,38,40,43,45,48,49,51,53,54,58,59,62,65,66,69,74,75,77,78,80,81,82,84,85,86,91,92,94,96,99,100,102],[0,5,6,8,9,10,12,13,16,17,18,19,21,22,23,24,26,28,30,32,33,36,37,39,40,42,43,45,51,52,53,57,58,59,60,61,64,65,66,70,75,77,78,80,82,83,86,89,90,94,96,99,100,103,104],[1,2,5,6,8,10,11,12,13,14,15,16,18,21,22,27,29,32,33,34,36,38,39,40,43,45,46,48,49,51,52,59,63,67,68,73,76,78,79,80,81,83,86,87,88,90,93,94,95,96,98],[85,96,98,100,101,102],[1,2,5,7,11,12,13,14,18,23,24,26,27,30,31,35,36,37,38,43,46,47,50,53,54,60,62,63,66,69,70,72,73,74,75,77,78,81,82,84,86,87,88,89,93,94,95,100,101],[0,1,3,4,9,10,16,17,18,19,23,24,27,29,32,34,35,37,38,40,41,42,43,44,45,47,48,54,57,59,60,62,63,64,67,68,70,73,74,75,76,78,79,80,81,83,84,86,87,88,89,91,92,94,95,97,102,103,104],[2,3,6,7,10,12,13,15,16,17,21,22,23,24,25,31,32,34,38,39,42,43,45,46,47,54,55,57,58,59,62,63,65,70,71,75,80,85,86,87,88,90,91,92,93,94,96,97,99,101,103,104],[38,98,99,100,101,102],[1,2,4,5,6,10,12,13,14,15,16,18,22,24,25,26,28,31,33,34,35,40,42,43,48,50,52,54,56,57,60,65,66,68,72,74,78,80,82,86,87,88,91,92,93,94,99,101],[1,2,3,5,7,11,14,15,18,23,24,25,30,32,33,34,38,39,43,46,47,49,50,53,54,55,60,61,65,66,69,70,72,73,74,75,80,81,82,86,87,89,93,94,95,97,101,102,104],[4,6,8,12,13,14,15,18,25,26,27,31,32,33,35,36,37,40,41,42,43,46,48,50,57,58,60,61,62,65,67,73,75,76,77,79,80,84,87,88,90,94,95,97,98,100,102,103],[2,6,7,10,14,16,17,21,22,23,24,26,27,31,33,34,35,37,38,39,42,43,45,46,47,49,52,54,57,58,59,60,61,70,71,75,77,78,84,85,86,90,91,92,93,94,97,99,100,101,102,103],[1,3,6,8,10,12,13,18,19,21,22,23,27,28,29,30,32,34,35,36,39,41,44,45,47,48,50,51,54,55,58,59,60,61,63,65,66,67,68,69,72,73,74,75,76,78,79,80,81,82,83,84,87,88,90,91,92,94,95,96,100,102,103,104],[4,10,11,12,13,14,16,18,21,24,27,28,29,30,31,33,34,37,38,39,40,43,45,48,51,53,54,55,58,59,61,63,66,69,71,74,75,81,82,85,86,87,88,91,92,94,96,97,100,102,104],[3,4,6,8,10,15,16,17,18,20,21,25,28,29,30,31,34,39,42,46,48,49,50,53,54,55,57,58,63,67,75,76,77,78,79,80,81,83,84,87,89,97,98,103,104],[56,96,98,99,100,102],[19,96,100,102],[1,97,100,102],[1,3,4,6,12,13,14,15,17,22,24,25,26,28,31,32,33,35,38,40,42,43,48,50,51,54,57,60,61,63,65,72,73,75,77,78,80,84,86,87,88,89,90,94,95,100,103],[2,3,4,5,6,8,11,13,16,18,20,22,23,26,27,28,29,30,32,34,49,54,55,60,62,63,66,67,68,69,71,72,73,74,75,76,77,79,80,81,82,83,85,86,87,88,90,91,92,94,95,96,99,100,101,104],[6,7,8,10,14,15,16,20,21,22,23,24,26,29,30,32,33,35,37,39,40,45,47,48,49,50,51,53,54,59,62,66,67,68,69,70,72,74,75,76,77,79,80,82,83,84,89,90,92,94,97,98,100,101],[23,31,34,52,60,94,97,98,103],[76,97,98,103],[1,3,5,6,10,11,15,16,17,18,21,22,25,26,27,31,32,35,37,39,42,45,50,52,53,55,57,58,59,65,66,69,71,72,73,74,77,78,80,81,82,84,85,89,90,91,92,94,95,99,100,103,104],[6,98,99,103],[4,6,8,9,10,11,12,13,14,16,17,18,21,27,28,29,30,31,32,33,34,36,37,41,42,45,46,48,50,53,54,57,59,61,62,63,67,68,69,71,74,75,78,81,82,85,87,88,89,91,92,94,104],[1,2,3,4,5,6,8,12,13,14,20,22,24,25,26,27,28,29,30,34,35,39,46,52,53,54,58,62,63,65,66,67,68,69,71,73,74,75,76,77,79,82,83,84,85,87,88,90,91,92,93,94,95,96,97,98,99,101,102,103],[91,96,98,100,101,103],[1,2,3,4,5,6,8,12,13,14,20,22,24,25,26,27,28,29,30,31,32,33,35,39,46,53,54,58,60,62,63,65,66,67,68,69,71,73,74,75,76,77,79,82,83,84,85,87,88,90,91,92,93,94,95,96,97,98,99,100,102],[0,2,9,18,20,21,23,31,32,33,34,36,41,43,44,47,48,51,52,53,54,55,60,61,71,72,74,79,80,82,85,94,98,99,100,101,102,103],[2,4,8,10,11,12,13,14,15,16,17,18,20,21,24,27,28,29,31,32,33,34,37,42,45,46,50,54,55,57,59,62,63,67,68,72,75,76,78,79,80,81,83,87,88,89,93,94,98,102,103,104],[2,4,6,7,11,12,13,17,18,22,23,26,28,30,35,39,40,42,46,47,48,49,51,52,53,54,55,57,60,63,66,69,70,74,77,78,81,82,84,87,88,90,93,94,96,98,99,102,104],[2,4,8,10,11,12,13,14,16,17,18,20,21,24,28,29,32,33,37,42,45,46,50,52,54,55,57,59,60,62,63,67,68,72,75,76,78,79,80,81,83,87,88,89,93,94,96,97,98,102,103,104],[4,6,7,10,11,13,14,15,16,17,23,26,28,30,39,42,46,47,48,49,50,52,53,54,55,56,57,60,63,68,69,75,77,80,81,82,84,85,87,89,92,94,98,104],[2,3,4,8,10,11,16,17,18,20,21,24,25,26,27,28,29,35,36,39,42,45,46,49,50,54,57,59,61,65,67,68,72,75,76,77,79,81,83,89,93,94,97,98,100,103],[2,3,4,6,7,11,14,15,17,18,22,23,25,27,28,30,32,33,36,37,40,42,46,47,48,51,53,57,61,62,65,66,69,70,73,74,80,81,82,90,93,94,97],[2,3,4,8,10,11,16,17,18,20,21,24,25,26,27,28,29,31,34,35,36,39,42,45,46,50,52,54,57,59,60,61,65,67,68,72,75,76,77,79,81,83,84,89,93,94,96,98,100,103],[2,3,4,7,9,11,12,13,14,16,17,18,20,22,26,27,30,33,35,36,38,39,41,42,43,44,51,52,53,54,57,60,63,64,69,70,72,73,74,75,77,78,79,81,82,83,86,87,88,89,90,91,92,100,102,104],[2,4,6,7,9,11,15,17,18,20,23,25,27,30,32,33,38,41,45,47,49,51,53,55,61,62,65,67,69,70,72,73,74,75,78,79,80,81,82,86,89,90,93,94,96,98,103],[2,7,8,12,18,20,22,27,29,30,32,39,42,43,45,47,48,51,53,54,56,57,62,67,72,73,76,77,78,79,82,83,84,85,86,88,89,91,93,94,100,101,102],[3,12,13,14,15,25,26,27,32,33,35,36,37,39,45,49,52,55,60,61,62,63,65,77,78,80,84,87,88,94,96,97,98,99,102,103,104],[1,5,7,8,11,12,13,15,17,18,20,23,24,26,29,32,34,35,36,37,39,40,42,47,48,51,52,54,57,58,61,63,64,67,68,70,71,73,75,76,77,79,80,81,83,84,85,87,88,91,92,94,95,96,98,99,101,102],[1,5,6,10,11,12,13,14,16,17,18,21,22,30,33,34,36,42,45,49,50,52,53,57,58,59,61,62,63,66,69,71,72,73,74,81,82,85,86,87,88,89,90,91,92,94,95,97,99,102,103],[89,98,100,103],[1,5,6,10,11,12,13,14,17,18,21,22,30,31,33,36,42,45,49,50,53,57,58,59,60,61,62,63,66,69,71,72,73,74,81,82,85,87,88,89,90,91,92,94,95,96,99,102,103],[3,96,100,101,102,103],[1,2,3,4,5,6,13,14,15,17,18,22,24,27,30,32,34,36,37,39,42,46,47,48,49,50,53,55,57,60,61,62,66,69,71,72,73,74,80,82,85,86,89,90,91,92,93,94,95,96,97,99,104],[1,2,3,4,5,7,8,10,16,17,18,20,21,23,26,27,29,33,34,35,36,40,42,45,46,51,54,55,57,59,60,61,67,68,70,71,73,75,76,77,83,84,85,86,91,92,93,94,95,96,98,99,100,101,104],[80,99,100,101,102,103],[2,4,6,7,8,11,15,20,22,23,25,29,30,32,33,36,37,39,46,50,51,53,54,58,61,65,66,67,68,69,70,72,74,75,76,78,79,80,81,82,83,86,89,90,93,94,97,98,101,103],[55,96,98,99,100,101,102,103],[1,3,7,9,10,11,12,15,16,19,20,21,22,23,25,26,27,29,30,34,36,37,38,39,41,43,45,49,51,52,59,62,64,67,68,69,71,73,74,77,80,82,86,89,90,92,93,95,97,98,103],[9,96,102,103],[3,4,6,8,10,11,12,16,17,20,23,25,27,28,29,30,31,34,36,37,42,45,47,48,50,53,54,57,59,61,62,63,66,67,68,75,76,78,79,83,87,88,89,96,97,102,104],[6,7,10,12,13,14,16,17,18,21,22,23,24,25,28,30,36,39,40,42,45,51,52,53,55,57,58,59,60,61,62,63,65,66,69,70,82,86,87,88,90,94,96,98,101,103,104],[66,96,97,98,102,103],[2,5,7,12,14,15,17,19,20,25,27,28,29,30,31,33,34,35,38,40,41,42,43,44,46,48,49,50,53,55,57,58,61,62,64,65,66,67,68,69,72,74,78,79,82,83,84,85,86,91,93,98,101,103,104],[72,96,97,99,102,103],[1,3,5,7,11,12,13,14,15,23,24,26,27,31,32,35,36,37,40,50,51,60,61,62,63,70,71,72,73,77,78,80,81,84,85,86,87,88,89,91,92,94,95,96,99,100,101,102,103],[1,3,5,6,8,10,11,12,13,16,20,21,22,27,28,29,30,31,33,36,39,45,47,48,49,54,59,60,61,63,66,67,68,69,71,73,74,75,76,78,79,81,82,83,85,86,87,88,90,91,92,94,95,96],[3,8,14,17,18,20,27,28,29,39,42,47,48,50,54,57,62,67,68,72,75,76,78,79,83,86,89,94,96,97,98,99,100,102,103],[3,6,10,15,16,17,18,21,22,23,24,26,27,28,30,32,33,35,37,40,42,45,49,51,53,57,58,59,66,69,70,74,77,78,80,82,84,86,90,94,97,99,101,102,103],[3,8,11,14,17,18,20,27,28,29,31,34,39,42,47,48,50,52,54,57,58,60,62,67,68,72,75,76,78,79,83,86,89,94,96,98],[4,96,98,100,102,103],[0,2,4,5,7,10,11,13,14,16,17,18,19,20,21,24,27,28,35,37,39,42,43,44,45,46,50,51,52,54,55,56,57,59,60,65,67,68,69,72,75,77,78,79,80,81,88,89,90,92,93,94,100,101,102,104],[6,7,8,9,11,12,13,14,15,23,24,26,28,32,37,38,39,40,43,47,48,49,51,52,54,58,60,61,62,63,66,70,71,72,75,77,78,79,80,81,83,84,85,87,88,91,92,94,96,98,102,103,104],[1,2,4,5,6,12,13,17,18,22,24,25,26,30,33,34,35,42,46,47,48,50,52,53,57,63,66,69,71,72,73,74,77,78,82,84,85,86,87,88,89,90,91,92,93,94,95,100,101,103],[1,2,4,5,7,8,10,12,13,14,15,16,17,18,20,21,23,25,29,31,32,37,39,40,42,45,46,49,51,54,57,59,60,62,63,65,67,68,71,73,75,76,78,79,80,83,85,86,87,88,91,92,93,94,95,96,97,98,99,101,102],[0,1,3,4,6,9,10,11,13,18,19,20,21,24,25,26,28,31,37,38,42,47,55,56,57,58,60,61,65,66,67,68,70,72,73,77,80,84,88,92,93,95,99,101,102,103],[2,3,4,10,11,12,13,15,16,21,24,27,31,32,33,34,37,39,45,46,47,48,55,58,59,62,63,80,81,86,87,88,93,94,96,101,104],[2,3,4,6,7,8,11,12,13,14,17,20,22,23,26,27,29,30,35,40,46,49,50,51,52,53,54,55,58,60,62,63,66,67,68,69,70,72,74,75,76,77,79,81,82,83,84,86,87,88,89,90,93,94,97,100,104],[2,3,4,10,11,12,13,15,16,21,24,27,32,33,37,39,45,46,47,48,52,55,58,59,60,63,77,80,81,86,87,88,93,94,96,102,103,104],[2,3,5,12,13,14,17,22,25,26,27,30,32,33,36,37,39,45,49,50,53,55,57,58,60,62,65,68,69,71,73,74,77,82,84,85,87,88,89,90,91,92,93,94,95,97,100,102,103,104],[3,4,5,6,7,11,14,18,23,25,27,28,32,33,34,35,36,37,40,42,45,46,47,48,50,51,58,62,63,65,66,68,70,71,73,78,81,85,89,91,92,94,96,97,101],[2,3,5,12,13,14,17,22,25,26,27,30,31,32,33,34,36,37,39,45,49,50,53,55,57,58,60,62,65,68,69,71,73,74,77,82,84,85,87,88,89,90,91,92,93,94,95,99,101,102,103],[3,4,5,6,7,11,14,18,23,25,27,28,31,32,33,35,36,37,40,42,45,46,47,48,50,51,58,62,63,65,66,68,70,71,73,78,81,85,89,91,92,94,96,99,100,104],[2,4,6,7,11,12,13,17,18,22,23,26,28,30,31,34,35,39,40,42,46,47,48,49,51,53,55,57,60,63,66,69,70,74,77,78,81,82,84,87,88,90,93,95,96,97,99,102,103],[31,97,99,100,101,104],[2,4,6,7,11,12,13,17,18,22,23,26,28,30,35,39,40,42,46,47,48,49,51,53,55,57,60,63,66,69,70,74,77,78,81,82,84,87,88,90,93,95,96,100,101,102,103,104],[3,4,8,10,11,12,13,16,17,20,21,24,29,30,31,33,34,37,38,40,42,43,45,47,50,51,53,55,57,59,61,62,63,66,67,68,69,71,72,74,76,78,79,81,82,85,87,88,89,91,92,94,98,99,104],[21,97],[69,98],[47,96,97,98],[1,4,5,6,8,12,13,15,18,20,22,24,25,26,27,29,31,32,33,35,38,39,40,43,47,58,60,61,62,63,65,67,68,73,76,77,79,80,83,84,87,88,90,94,95,97,98,100,103],[93,97,98,99],[1,5,10,11,12,13,14,15,17,22,23,24,26,27,31,32,36,37,47,50,53,57,58,60,61,62,63,66,69,71,72,73,74,78,81,82,84,85,86,87,89,90,91,92,93,94,95,96,98,102,103],[1,3,4,5,6,8,14,18,20,22,24,29,31,36,37,38,40,43,47,49,51,52,55,57,58,67,68,73,76,78,79,83,90,94,95,98,100,102,103,104],[0,1,5,9,11,13,15,17,18,20,23,24,31,33,35,37,40,41,42,43,44,47,48,54,55,56,58,60,62,63,64,67,68,70,73,74,75,76,78,79,81,83,84,85,87,88,89,91,92,94,95,97,98,101,102],[0,2,4,8,9,11,13,15,16,17,26,27,28,29,35,36,40,41,42,43,45,46,47,48,51,52,53,56,57,59,60,61,62,63,64,66,70,71,78,80,81,82,83,86,87,88,89,90,93,97,99,100,102,104],[2,6,7,8,10,12,13,14,15,16,18,20,21,22,23,24,25,27,28,29,31,32,34,36,37,38,43,45,46,48,50,55,59,63,65,67,68,70,71,72,76,78,79,80,83,85,87,88,89,90,91,92,93,94,97,98,99,103,104],[2,12,13,18,22,25,26,27,28,30,33,35,36,37,38,39,40,43,46,47,49,51,52,53,54,55,60,62,63,65,66,69,71,74,75,77,78,82,84,85,87,88,91,92,93,94,99,100,103,104],[2,6,7,8,10,12,13,14,15,16,18,20,21,22,23,24,25,27,28,29,32,36,38,43,45,46,48,50,52,55,59,60,63,65,67,68,70,71,72,76,78,79,80,83,85,87,89,90,91,92,93,94,97,98,99,101,103,104],[3,4,6,7,8,11,14,18,20,22,23,25,28,29,33,36,37,38,39,43,46,47,50,58,65,67,68,70,71,72,76,78,79,81,83,85,86,89,90,91,92,94,96,97,98,99,101],[71,96,97,102],[3,4,6,7,8,11,14,18,20,22,23,25,28,29,31,33,34,36,37,38,39,43,47,50,52,58,60,65,67,68,70,71,72,76,78,79,83,85,86,89,90,91,92,94,96,99,101],[3,4,10,11,15,16,18,21,24,25,26,28,30,31,32,34,35,36,38,40,41,43,45,48,49,51,52,53,54,58,59,60,62,65,66,69,71,74,75,77,78,80,81,82,84,85,86,91,92,94,98,99,100],[1,2,4,5,7,8,10,14,15,16,17,20,21,23,26,27,28,29,30,31,32,33,35,36,38,42,43,45,47,52,53,55,57,59,66,67,68,69,70,73,74,76,77,79,80,82,83,84,86,94,95,97,98,99,100,101,103,104],[1,4,5,6,17,22,24,27,28,31,36,37,38,39,40,42,43,48,49,50,51,52,54,55,57,62,72,73,86,89,90,94,95,96,97,99,103,104],[1,4,5,7,8,10,14,15,16,17,20,21,23,26,27,28,29,30,32,33,34,35,36,38,42,43,45,47,48,53,55,57,59,60,66,67,68,69,70,73,74,76,77,79,80,82,83,84,86,94,95,99,100,101,103,104],[0,1,4,8,9,10,12,13,16,18,19,21,23,26,27,30,32,33,34,38,45,48,49,50,52,53,54,55,58,59,61,62,64,65,66,70,72,73,77,78,80,82,83,95,98,100],[20,100,101,102],[1,2,5,7,11,12,13,18,23,24,25,26,27,30,34,35,36,37,38,43,46,47,50,52,53,54,62,63,66,69,70,72,73,74,75,77,78,81,82,84,86,87,88,89,93,94,95,102],[1,2,5,6,8,10,11,12,13,14,15,16,18,20,21,22,27,29,31,32,33,36,38,39,40,43,45,46,48,49,51,59,60,63,67,68,73,76,78,79,80,81,83,85,86,87,88,90,93,94,95,97,98],[14,97,98,100,101,102],[0,1,2,4,8,9,10,12,13,14,16,18,19,20,23,24,25,26,27,30,31,32,33,36,41,44,45,46,47,49,50,51,53,54,55,58,59,60,62,64,65,66,69,70,71,72,73,75,77,78,80,81,82,85,93,95,97,98,101],[36,97,99,100,101,102],[2,3,8,12,13,14,17,20,25,26,29,30,33,35,36,37,40,42,43,46,48,49,50,51,52,53,55,57,58,60,63,65,66,67,68,69,71,72,74,76,77,79,82,83,84,85,86,87,88,89,91,92,93,94,97,98,99,100,103,104],[2,3,6,7,10,12,13,15,16,17,21,22,23,24,25,32,36,38,39,42,43,45,46,47,52,54,55,57,58,59,60,61,62,63,65,70,71,75,80,85,86,87,88,90,91,92,93,94,96,97,98,100,102,103,104],[1,2,3,5,7,11,14,15,18,23,24,25,30,31,32,33,38,39,43,46,47,49,50,52,53,54,55,61,63,65,66,69,70,72,73,74,75,80,81,82,86,89,93,94,95,96,99,104],[3,4,8,11,12,13,14,15,20,21,24,28,29,33,34,37,38,42,45,46,50,51,54,55,56,57,59,60,61,62,66,67,72,73,74,76,77,78,79,80,81,82,83,84,87,88,90,91,92,95,98,100,104],[87,96,98,99,101,102],[1,2,3,4,5,10,11,12,13,14,15,16,20,21,22,27,29,31,32,33,34,36,38,41,42,45,50,51,55,57,58,59,68,75,80,81,83,86,87,88,93,98,99,101,102,103,104],[2,6,7,10,12,14,16,17,21,22,23,24,26,27,33,35,37,38,42,43,45,46,47,49,54,57,58,59,61,70,71,75,77,78,84,85,86,90,91,92,93,94,99,100,103],[2,8,15,17,20,27,29,30,32,38,39,40,42,43,46,48,51,53,57,58,61,62,66,67,68,69,71,72,74,76,78,79,80,82,83,85,86,89,91,92,93,94,96,98,99,101,103],[39,98,101,102],[1,2,3,6,10,12,13,15,17,18,19,20,21,22,23,28,31,35,36,38,40,41,42,43,44,45,46,47,52,53,54,55,57,59,62,63,65,71,73,75,81,84,85,86,87,88,89,90,93,95,97,99,100,101,102,104],[3,7,10,11,12,13,16,17,21,22,23,25,26,27,30,32,35,38,39,42,43,46,47,48,53,54,57,61,62,68,70,71,72,75,78,85,86,88,90,91,92,94,101,102,103],[4,10,11,12,13,14,16,18,21,24,27,28,30,33,37,38,39,40,43,45,48,51,52,53,54,55,56,58,59,60,61,63,66,69,71,74,75,81,82,85,86,87,88,91,92,94,99,104],[4,6,7,8,11,12,13,15,18,20,22,23,26,27,28,29,32,35,38,43,47,49,50,52,55,58,60,61,62,63,67,70,71,72,76,77,79,80,81,83,84,85,86,87,88,89,90,91,92,94,101,102,104],[1,3,4,5,6,12,13,14,15,17,19,22,24,25,26,28,32,33,34,35,38,40,42,43,48,50,51,52,54,57,61,63,65,72,73,75,77,78,80,84,86,87,88,89,90,94,95,96,97,100,103],[3,4,5,7,8,10,12,13,16,17,20,21,23,25,28,29,30,34,37,38,39,42,43,45,47,49,52,53,57,59,61,62,63,65,66,67,68,69,70,73,74,76,78,79,82,83,86,87,88,94,95,96,98,101,103],[5,98,100,102],[1,2,6,7,10,11,12,17,18,21,22,25,26,27,31,32,34,37,38,39,42,43,45,47,53,54,55,57,59,61,65,70,71,72,75,77,78,80,81,85,90,91,92,99,102,103,104],[18,94,103],[92,96,97,103],[6,7,8,10,14,15,16,20,21,22,23,24,26,29,30,31,32,33,34,35,37,39,40,45,47,48,49,50,51,52,53,54,59,60,62,66,67,68,69,70,72,74,75,77,79,80,82,83,84,89,90,94,96,98,100,101],[30,96,99,103],[1,3,5,7,8,11,14,17,18,20,23,24,25,27,29,31,33,40,42,43,47,48,49,51,52,54,55,57,58,62,65,67,68,70,71,73,75,76,78,79,81,83,85,91,92,94,95,98,101,104],[1,3,5,10,11,15,16,17,18,21,22,25,26,27,30,32,34,35,37,39,42,45,50,53,55,57,58,59,60,65,66,69,71,72,73,74,77,78,80,81,82,84,85,89,90,91,92,94,95,96,97,99,100,103,104],[0,1,3,5,7,8,11,14,17,18,20,23,24,25,27,29,33,34,40,42,47,48,49,51,54,55,57,58,60,62,65,67,68,70,71,73,75,76,78,79,81,83,85,91,92,94,95,97,101,104],[1,2,3,5,6,7,8,9,11,14,15,17,18,23,25,29,30,31,33,36,40,41,42,47,49,51,52,53,54,57,58,61,62,65,67,68,69,70,72,73,74,75,78,80,81,82,93,95,97,99,100,102,103,104],[1,2,3,4,5,7,10,12,13,15,16,21,23,25,27,28,31,32,37,40,45,46,47,48,49,50,51,58,59,60,63,65,70,71,72,73,80,85,87,88,89,92,93,94,95,96,99,101,102],[32,97,98,100,101,103],[0,4,6,7,9,11,12,13,17,20,21,22,26,28,30,32,33,35,36,39,40,41,42,43,44,46,49,52,54,57,60,61,63,66,69,70,71,72,77,78,79,80,81,84,85,87,88,90,93,96,97,98,100,101,103,104],[27,97,99,100,101,103],[15,96,97,98,99,100,101,103],[1,2,4,5,6,8,15,20,22,24,28,29,30,31,32,36,37,46,49,52,53,54,55,58,61,66,67,68,69,71,73,74,75,76,79,80,82,83,85,90,91,92,93,94,95,97,98,101,103,104],[1,2,5,6,11,13,15,17,21,30,31,33,35,36,40,42,45,49,51,53,54,56,57,58,59,60,61,62,63,68,69,70,71,72,73,75,78,80,81,82,87,91,93,95,96,97,98,100,103],[1,2,4,5,6,8,15,20,22,24,26,28,29,30,32,34,36,37,46,49,53,54,55,58,60,61,66,67,68,69,71,73,74,75,76,78,79,80,82,83,85,90,91,92,93,94,95,101,103,104],[1,2,4,5,7,10,14,16,21,23,26,28,33,34,35,36,39,40,45,46,47,48,50,51,55,58,59,60,61,62,67,70,71,72,73,77,78,84,85,89,91,92,93,94,95,96,98,100,103,104],[84,96,101,103],[49,98,101,103],[6,9,12,13,15,16,20,23,25,26,28,31,32,34,35,37,38,39,40,41,43,44,46,47,48,54,61,62,63,64,65,66,72,73,75,77,78,79,80,83,86,87,88,89,91,92,93,94,98,100,102,104],[2,3,4,8,9,10,11,12,13,15,16,17,18,21,22,24,29,31,32,33,34,36,38,40,41,48,49,50,54,59,62,63,66,68,73,76,80,81,83,86,87,88,93,96,99,100,101,102,104],[3,12,13,14,15,25,26,27,31,32,33,34,35,36,37,39,49,55,59,61,62,63,65,77,78,80,84,87,88,94,96,99,102,103,104],[2,3,6,10,13,16,18,21,23,24,25,32,36,39,40,42,43,50,52,55,56,57,59,60,61,62,63,65,66,68,69,70,73,74,75,77,84,85,86,87,90,91,93,97,99,103,104],[86,97,100,103],[1,5,7,8,11,12,13,15,17,18,20,23,24,26,29,31,32,35,36,37,39,40,42,47,48,51,54,57,58,60,61,63,67,68,70,71,73,75,76,77,79,80,81,83,84,85,87,88,89,91,92,94,95,96,97,98,99,100,101,102,103],[16,96,97,98,100,103],[1,2,4,5,6,14,15,17,18,22,24,27,30,31,32,36,37,39,42,46,47,48,49,50,52,53,55,57,61,62,66,69,71,72,73,74,80,82,85,86,89,90,91,92,93,94,95,99,104],[1,2,3,4,5,7,8,10,16,17,18,20,21,23,26,27,29,31,33,35,36,40,42,45,46,51,52,54,55,57,59,61,67,68,70,71,73,75,76,77,79,82,83,84,85,86,91,92,93,94,95,98,99,102,103,104],[13,98,100,101,102,103],[79,96,97,98,100,101,102,103],[2,4,10,11,14,16,21,24,25,26,35,36,45,46,47,48,49,58,59,61,62,65,77,78,80,81,84,86,93,94,100,103],[40,96,97,99,100,101,102,103],[2,4,10,11,14,16,21,24,25,26,31,34,35,36,45,46,47,48,49,52,55,58,59,60,61,62,65,77,78,81,84,86,93,94,96,97,100,103],[1,2,3,4,6,8,9,10,12,16,19,21,26,27,31,32,33,38,40,41,43,45,46,49,50,53,54,58,59,60,61,62,64,65,66,70,71,72,73,75,76,77,78,79,81,83,92,94,95,96,98,99,100,102,103],[6,7,9,10,12,13,14,16,17,18,21,22,23,24,25,28,30,31,34,36,39,40,42,45,51,53,55,57,58,59,61,62,63,65,66,69,70,74,82,86,87,88,90,94,97,101,102,104],[3,4,6,10,11,13,15,16,18,23,26,27,30,32,33,35,45,49,53,55,58,59,62,65,66,72,77,78,80,84,86,94,96,98,100,102,103],[8,12,13,15,17,18,20,25,26,28,29,32,33,35,36,37,42,47,48,49,50,52,54,55,57,58,60,61,63,65,66,67,68,72,75,76,77,79,80,83,84,86,87,88,89,94,96,97,98,100,102,104],[1,2,3,11,13,17,19,20,23,24,25,26,29,30,31,32,33,36,37,38,41,42,43,44,46,48,49,51,52,53,55,57,58,63,64,65,66,67,68,69,70,71,73,74,77,79,80,81,82,83,87,88,89,92,93,94,95,97,98,100,103,104],[1,3,5,6,8,10,11,12,13,16,20,21,22,27,28,29,30,33,34,36,39,45,47,48,49,52,53,54,59,61,63,66,67,68,69,71,72,73,74,75,76,78,79,81,82,83,85,86,87,88,90,91,92,94,95,98,99,102,103],[28,96,98,99,102,103],[11,98,99,100,102,103],[3,6,7,8,10,15,16,17,18,21,22,23,24,26,27,28,30,31,32,33,34,35,37,40,42,45,49,51,52,53,57,58,59,60,66,69,70,74,77,78,80,82,84,86,90,94,98,99,101,102,103],[1,5,6,8,11,14,15,16,20,21,22,25,26,28,29,30,31,32,35,37,45,47,48,52,53,54,55,59,62,65,66,67,68,69,71,73,74,75,76,77,79,80,81,82,83,84,85,86,90,91,92,94,95,97,98,99,102,104],[1,5,7,11,23,24,25,28,31,33,39,40,49,50,51,52,55,65,70,71,72,73,81,85,86,89,90,91,92,94,95,96,97,99,100,101,102,104],[1,4,5,6,8,10,11,14,15,16,20,21,22,25,26,28,29,30,32,34,35,37,45,47,48,53,54,55,59,60,62,65,66,67,68,69,71,73,74,75,76,77,79,80,81,82,83,84,85,86,90,91,92,94,95,96,98,99,100,103,104],[0,1,2,4,10,13,14,16,17,18,19,20,21,23,25,27,33,34,35,37,40,42,43,44,45,46,49,52,54,56,57,59,67,68,69,70,71,73,75,77,78,79,80,85,86,88,90,91,93,95,96,98,99],[1,2,4,5,6,9,10,11,16,17,18,20,21,24,25,26,28,29,34,38,42,43,45,46,47,48,57,58,59,60,61,65,66,67,68,72,73,76,77,81,84,86,93,95,102,104],[70,98,99,101,102,103],[1,2,4,5,6,12,13,17,18,22,24,25,26,30,31,33,42,46,47,48,50,53,57,60,63,65,66,69,71,72,73,74,77,78,82,84,85,86,87,88,89,90,91,92,93,94,95,97,98,100,101,103],[0,1,2,7,8,9,10,12,14,18,19,21,22,23,24,25,27,28,29,30,34,35,37,38,40,42,46,47,49,50,51,53,54,56,57,60,61,62,63,65,69,73,74,75,76,79,80,81,82,83,86,87,89,90,92,94,95,98,99,100,101,102,103,104],[77,97,98,101,102,103],[2,3,5,12,13,14,17,22,25,26,27,30,32,33,36,37,39,45,49,50,53,55,57,58,60,62,65,68,69,71,73,74,77,82,84,85,87,88,89,90,91,92,93,94,97,100,102,103],[3,4,5,8,10,11,15,16,18,20,21,22,24,25,26,27,28,29,30,34,36,39,42,46,49,53,54,58,59,63,65,67,69,71,72,73,74,75,76,77,78,79,80,81,82,83,84,85,90,91,92,94,95,97,98,100,104],[2,3,5,12,13,14,17,22,25,26,27,30,32,33,36,37,39,45,49,50,52,53,55,57,58,62,65,68,69,71,73,74,77,82,84,85,87,88,89,90,91,92,93,94,97,98,99,101,102,103,104],[3,4,5,8,10,11,15,16,18,20,21,22,24,25,26,27,28,29,30,34,36,39,42,46,49,52,53,54,58,59,60,63,65,67,69,71,72,73,74,75,76,77,78,79,80,81,82,83,84,85,90,91,92,94,95,97,99,101],[2,4,8,10,11,12,13,14,15,16,17,18,20,21,24,28,29,32,33,34,37,42,45,46,50,54,55,57,59,62,63,67,68,72,75,76,78,79,80,81,83,87,88,89,93,95,98,102,103,104],[52,98,99,100,101,104],[2,4,8,10,11,12,13,14,15,16,17,18,20,21,24,28,29,32,33,34,37,42,45,46,50,52,54,55,57,59,60,62,63,67,68,72,75,76,78,79,80,81,83,87,88,89,93,95,99,100,101,102,103],[83,96],[3,4,6,7,11,12,13,14,15,17,21,22,23,26,31,32,34,35,38,39,42,43,48,49,54,55,57,61,63,70,71,75,77,78,80,81,84,85,87,88,90,91,92,94,96,99,100,101,104],[3,4,8,10,11,12,13,16,17,20,21,24,29,30,33,37,38,40,42,43,45,47,50,51,52,53,55,57,59,60,61,62,63,66,67,68,71,72,74,76,78,79,81,82,83,85,87,88,89,91,92,94,97,99,104],[3,4,6,7,11,12,13,14,15,17,22,23,26,32,35,38,39,42,43,47,48,49,52,54,55,57,60,61,63,70,71,75,77,78,80,81,84,85,87,88,90,91,92,94,96,97,98,99,100,101,104],[1,4,5,6,8,12,13,15,18,20,22,24,25,26,27,29,32,33,34,35,38,39,40,43,44,47,51,52,58,61,62,63,65,67,68,73,76,77,79,80,83,84,87,88,90,94,95,96,98,100,103],[1,4,5,7,10,12,13,14,16,18,21,23,24,25,27,30,34,37,38,43,45,48,49,50,52,53,54,58,59,61,63,65,66,69,70,72,73,74,75,82,87,88,89,94,95,96,97,101,103],[1,4,5,7,10,12,13,14,16,18,21,23,25,27,30,31,37,38,43,45,48,49,50,53,54,58,59,60,61,63,65,66,69,70,72,73,74,75,82,87,88,89,93,94,95,97,98,99,101,103],[3,4,7,11,12,13,14,16,17,18,21,22,24,27,30,33,35,37,38,39,43,45,47,48,52,54,55,57,59,60,61,63,70,71,75,77,80,81,85,86,87,90,91,92,93,98,100,101,104],[57,96,97,100],[1,3,4,5,7,10,15,16,18,21,23,26,30,32,33,34,35,36,38,39,42,43,45,48,50,53,54,55,58,59,60,62,66,69,70,72,73,74,75,77,78,80,82,84,89,94,95,97,100,101,102,103,104],[0,3,4,6,8,9,11,13,14,15,17,22,23,29,31,33,34,35,36,38,41,42,44,48,49,51,54,56,62,63,64,70,74,75,81,84,85,87,88,89,90,91,92,97,101,103,104],[0,4,8,9,11,12,15,16,17,18,25,29,30,31,33,34,37,38,39,41,42,45,48,49,52,54,55,56,57,59,60,61,64,65,69,70,74,75,77,80,81,83,84,85,86,89,90,91,92,94,96,102,103],[37,96,97,101],[46,102],[3,4,10,11,15,16,18,21,24,25,26,28,30,32,35,36,38,40,43,45,48,49,51,53,54,58,59,62,65,66,69,74,75,77,78,80,81,82,84,85,86,91,92,94,97,99,100],[81,96,98,102],[41,97,98,102],[2,96,99,102],[75,97,99,102],[48,98,99,102],[0,5,6,8,9,10,12,13,16,17,18,19,21,22,23,24,26,28,30,32,33,36,37,39,40,42,43,45,51,52,53,57,58,59,60,61,64,65,66,70,75,77,78,80,82,83,86,89,90,94,97,98,100,102,103,104],[1,2,5,6,8,10,11,12,13,14,15,16,18,21,22,27,29,32,33,34,36,38,39,40,43,45,46,48,49,51,52,59,63,67,68,73,76,78,79,80,81,83,86,87,88,90,93,94,95,96,98,100,101,102],[25,96,97,100,101,102],[1,2,5,7,11,12,13,14,18,23,24,26,27,30,31,35,36,37,38,43,46,47,50,53,54,60,62,63,66,69,70,72,73,74,75,77,78,81,82,84,86,87,88,89,93,94,95,97,98,102],[0,1,3,4,9,10,16,17,18,19,23,24,27,29,32,34,35,37,38,40,41,42,43,44,45,47,48,54,57,59,60,62,63,64,67,68,70,73,74,75,76,78,79,80,81,83,84,86,87,88,89,91,92,94,95,96,97,99,100,101,103,104],[2,3,6,7,10,12,13,15,16,17,21,22,23,24,25,31,32,34,38,39,42,43,45,46,47,54,55,57,58,59,62,63,65,70,71,75,80,85,86,87,88,90,91,92,93,94,96,100,102,103,104],[61,96,97,98,99,100,101,102],[63,99,101,102],[1,2,4,5,6,10,12,13,14,15,16,18,22,24,25,26,28,31,33,34,35,40,42,43,48,50,52,54,56,57,60,65,66,68,72,74,78,80,82,86,87,88,91,92,93,94,96,97,102],[1,2,3,5,7,11,14,15,18,23,24,25,30,32,33,34,38,39,43,46,47,49,50,53,54,55,60,61,65,66,69,70,72,73,74,75,80,81,82,86,87,89,93,94,95,96,97,98,99,104],[4,6,8,12,13,14,15,18,25,26,27,31,32,33,35,36,37,40,41,42,43,46,48,50,57,58,60,61,62,65,67,73,75,76,77,79,80,84,87,88,90,94,95,99,100,101,103],[12,96,101,102],[50,97,101,102],[2,6,7,10,14,16,17,21,22,23,24,26,27,31,33,34,35,37,38,39,42,43,45,46,47,49,52,54,57,58,59,60,61,70,71,75,77,78,84,85,86,90,91,92,93,94,97,98,99,100,103],[1,3,6,8,10,12,13,18,19,21,22,23,27,28,29,30,32,34,35,36,39,41,44,45,47,48,50,51,54,55,58,59,60,61,63,65,66,67,68,69,72,73,74,75,76,78,79,80,81,82,83,84,87,88,90,91,92,94,95,97,98,100,101,103,104],[4,10,11,12,13,14,16,18,21,24,27,28,29,30,31,33,34,37,38,39,40,43,45,48,51,53,54,55,58,59,61,63,66,69,71,74,75,81,82,85,86,87,88,91,92,94,96,97,99,104],[3,4,6,8,10,15,16,17,18,20,21,25,28,29,30,31,34,39,42,46,48,49,50,53,54,55,57,58,63,67,75,76,77,78,79,80,81,83,84,87,89,96,98,99,100,102,103,104],[68,97,98,99,100,102],[1,3,4,6,12,13,14,15,17,22,24,25,26,28,31,32,33,35,38,40,42,43,48,50,51,54,57,60,61,63,65,72,73,75,77,78,80,84,86,87,88,89,90,94,95,98,102,103],[2,3,4,5,6,8,11,13,16,18,20,22,23,26,27,28,29,30,32,34,49,54,55,60,62,63,66,67,68,69,71,72,73,74,75,76,77,79,80,81,82,83,85,86,87,88,90,91,92,94,95,97,98,99,101,102,104],[18,103],[6,7,8,10,14,15,16,20,21,22,23,24,26,29,30,32,33,35,37,39,40,45,47,48,49,50,51,53,54,59,62,66,67,68,69,70,72,74,75,76,77,79,80,82,83,84,89,90,92,94,96,98,100,101,103],[23,31,34,52,60,94,96,97],[1,3,5,6,10,11,15,16,17,18,21,22,25,26,27,31,32,35,37,39,42,45,50,52,53,55,57,58,59,65,66,69,71,72,73,74,77,78,80,81,82,84,85,89,90,91,92,94,95,96,100,104],[43,97,99,103],[0,96,97,98,99,103],[4,6,8,9,10,11,12,13,14,16,17,18,21,27,28,29,30,31,32,33,34,36,37,41,42,45,46,48,50,53,54,57,59,61,62,63,67,68,69,71,74,75,78,81,82,85,87,88,89,91,92,94,100,101,103,104],[1,2,3,4,5,6,8,12,13,14,20,22,24,25,26,27,28,29,30,34,35,39,46,52,53,54,58,62,63,65,66,67,68,69,71,73,74,75,76,77,79,82,83,84,85,87,88,90,91,92,93,94,95,98,99,100,102],[1,2,3,4,5,6,8,12,13,14,20,22,24,25,26,27,28,29,30,31,32,33,35,39,46,53,54,58,60,62,63,65,66,67,68,69,71,73,74,75,76,77,79,82,83,84,85,87,88,90,91,92,93,94,95,96,99,101,102,103],[0,2,9,18,20,21,23,31,32,33,34,36,41,43,44,47,48,51,52,53,54,55,60,61,71,72,74,79,80,82,85,94,96,98,102],[2,4,8,10,11,12,13,14,15,16,17,18,20,21,24,27,28,29,31,32,33,34,37,42,45,46,50,54,55,57,59,62,63,67,68,72,75,76,78,79,80,81,83,87,88,89,93,94,97,98,99,100,101,102,104],[2,4,6,7,11,12,13,17,18,22,23,26,28,30,35,39,40,42,46,47,48,49,51,52,53,54,55,57,60,63,66,69,70,74,77,78,81,82,84,87,88,90,93,94,96,100,101,102,103,104],[2,4,8,10,11,12,13,14,16,17,18,20,21,24,28,29,32,33,37,42,45,46,50,52,54,55,57,59,60,62,63,67,68,72,75,76,78,79,80,81,83,87,88,89,93,94,99,100,101,102,104],[78,99,101,103],[4,6,7,10,11,13,14,15,16,17,23,26,28,30,39,42,46,47,48,49,50,52,53,54,55,56,57,60,63,68,69,75,77,80,81,82,84,85,87,89,92,94,96,97,98,99,101,103,104],[26,96,98,99,101,103],[67,97,98,99,101,103],[2,3,4,8,10,11,16,17,18,20,21,24,25,26,27,28,29,35,36,39,42,45,46,49,50,54,57,59,61,65,67,68,72,75,76,77,79,81,83,89,93,94,96,97,98,100,101],[2,3,4,6,7,11,14,15,17,18,22,23,25,27,28,30,32,33,36,37,40,42,46,47,48,51,53,57,61,62,65,66,69,70,73,74,80,81,82,90,93,94,101,103],[2,3,4,8,10,11,16,17,18,20,21,24,25,26,27,28,29,31,34,35,36,39,42,45,46,50,52,54,57,59,60,61,65,67,68,72,75,76,77,79,81,83,84,89,93,94,96,100,101],[2,3,4,7,9,11,12,13,14,16,17,18,20,22,26,27,30,33,35,36,38,39,41,42,43,44,51,52,53,54,57,60,63,64,69,70,72,73,74,75,77,78,79,81,82,83,86,87,88,89,90,91,92,96,97,98,100,101,102,103,104],[2,4,6,7,9,11,15,17,18,20,23,25,27,30,32,33,38,41,45,47,49,51,53,55,61,62,65,67,69,70,72,73,74,75,78,79,80,81,82,86,89,90,93,94,96,98,99,100],[59,96,97,99,100,103],[2,7,8,12,18,20,22,27,29,30,32,39,42,43,45,47,48,51,53,54,56,57,62,67,72,73,76,77,78,79,82,83,84,85,86,88,89,91,93,94,96,98,99,101,102,103],[3,12,13,14,15,25,26,27,32,33,35,36,37,39,45,49,52,55,60,61,62,63,65,77,78,80,84,87,88,94,96,100,102,104],[1,5,7,8,11,12,13,15,17,18,20,23,24,26,29,32,34,35,36,37,39,40,42,47,48,51,52,54,57,58,61,63,64,67,68,70,71,73,75,76,77,79,80,81,83,84,85,87,88,91,92,94,95,98,99,100,101,102,103],[1,5,6,10,11,12,13,14,16,17,18,21,22,30,33,34,36,42,45,49,50,52,53,57,58,59,61,62,63,66,69,71,72,73,74,81,82,85,86,87,88,89,90,91,92,94,95,99,100,102],[1,5,6,10,11,12,13,14,17,18,21,22,30,31,33,36,42,45,49,50,53,57,58,59,60,61,62,63,66,69,71,72,73,74,81,82,85,87,88,89,90,91,92,94,95,97,98,99,100,102],[82,97,100,101,102,103],[1,2,3,4,5,6,13,14,15,17,18,22,24,27,30,32,34,36,37,39,42,46,47,48,49,50,53,55,57,60,61,62,66,69,71,72,73,74,80,82,85,86,89,90,91,92,93,94,95,96,97,98,99,100,101,102,103,104],[1,2,3,4,5,7,8,10,16,17,18,20,21,23,26,27,29,33,34,35,36,40,42,45,46,51,54,55,57,59,60,61,67,68,70,71,73,75,76,77,83,84,85,86,91,92,93,94,95,97,99,102,103,104],[2,4,6,7,8,11,15,20,22,23,25,29,30,32,33,36,37,39,46,50,51,53,54,58,61,65,66,67,68,69,70,72,74,75,76,78,79,80,81,82,83,86,89,90,93,94,96,98,99,100,102],[1,3,7,9,10,11,12,15,16,19,20,21,22,23,25,26,27,29,30,34,36,37,38,39,41,43,45,49,51,52,59,62,64,67,68,69,71,73,74,77,80,82,86,89,90,92,93,95,99,100,101,102],[3,4,6,8,10,11,12,16,17,20,23,25,27,28,29,30,31,34,36,37,42,45,47,48,50,53,54,57,59,61,62,63,66,67,68,75,76,78,79,83,87,88,89,96,103,104],[6,7,10,12,13,14,16,17,18,21,22,23,24,25,28,30,36,39,40,42,45,51,52,53,55,57,58,59,60,61,62,63,65,66,69,70,82,86,87,88,90,94,96,101,102,104],[2,5,7,12,14,15,17,19,20,25,27,28,29,30,31,33,34,35,38,40,41,42,43,44,46,48,49,50,53,55,57,58,61,62,64,65,66,67,68,69,72,74,78,79,82,83,84,85,86,91,93,98,99,101,102,104],[1,3,5,7,11,12,13,14,15,23,24,26,27,31,32,35,36,37,40,50,51,60,61,62,63,70,71,72,73,77,78,80,81,84,85,86,87,88,89,91,92,94,95,98,100,101],[1,3,5,6,8,10,11,12,13,16,20,21,22,27,28,29,30,31,33,36,39,45,47,48,49,54,59,60,61,63,66,67,68,69,71,73,74,75,76,78,79,81,82,83,85,86,87,88,90,91,92,94,95,96,97,98,99,102,103],[3,8,14,17,18,20,27,28,29,39,42,47,48,50,54,57,62,67,68,72,75,76,78,79,83,86,89,94,97,98],[3,6,10,15,16,17,18,21,22,23,24,26,27,28,30,32,33,35,37,40,42,45,49,51,53,57,58,59,66,69,70,74,77,78,80,82,84,86,90,94,100,101],[3,8,11,14,17,18,20,27,28,29,31,34,39,42,47,48,50,52,54,57,58,60,62,67,68,72,75,76,78,79,83,86,89,94,96,99,100,102,103],[8,96,97,98,99,100,102,103],[10,100,102,103],[90,96,97,100,102,103],[0,2,4,5,7,10,11,13,14,16,17,18,19,20,21,24,27,28,35,37,39,42,43,44,45,46,50,51,52,54,55,56,57,59,60,65,67,68,69,72,75,77,78,79,80,81,88,89,90,92,93,94,97,98,101,103,104],[6,7,8,9,11,12,13,14,15,23,24,26,28,32,37,38,39,40,43,47,48,49,51,52,54,58,60,61,62,63,66,70,71,72,75,77,78,79,80,81,83,84,85,87,88,91,92,94,98,99,101,104],[1,2,4,5,6,12,13,17,18,22,24,25,26,30,33,34,35,42,46,47,48,50,52,53,57,63,66,69,71,72,73,74,77,78,82,84,85,86,87,88,89,90,91,92,93,94,95,97,99,100,102],[1,2,4,5,7,8,10,12,13,14,15,16,17,18,20,21,23,25,29,31,32,37,39,40,42,45,46,49,51,54,57,59,60,62,63,65,67,68,71,73,75,76,78,79,80,83,85,86,87,88,91,92,93,94,95,96,97,103],[35,96,97,98,99,101,102,103],[0,1,3,4,6,9,10,11,13,18,19,20,21,24,25,26,28,31,37,38,42,47,55,56,57,58,60,61,65,66,67,68,70,72,73,77,80,84,88,92,93,95,99],[2,3,4,10,11,12,13,15,16,21,24,27,31,32,33,34,37,39,45,46,47,48,55,58,59,62,63,80,81,86,87,88,93,94,97,102,103,104],[2,3,4,6,7,8,11,12,13,14,17,20,22,23,26,27,29,30,35,40,46,49,50,51,52,53,54,55,58,60,62,63,66,67,68,69,70,72,74,75,76,77,79,81,82,83,84,86,87,88,89,90,93,94,96,97,98,100,101,102,103,104],[2,3,4,10,11,12,13,15,16,21,24,27,32,33,37,39,45,46,47,48,52,55,58,59,60,63,77,80,81,86,87,88,93,94,96,97,98,101,104],[2,3,5,12,13,14,17,22,25,26,27,30,32,33,36,37,39,45,49,50,53,55,57,58,60,62,65,68,69,71,73,74,77,82,84,85,87,88,89,90,91,92,93,94,95,97,100,102,103],[3,4,5,6,7,11,14,18,23,25,27,28,32,33,34,35,36,37,40,42,45,46,47,48,50,51,58,62,63,65,66,68,70,71,73,78,81,85,89,91,92,94,101,104],[2,3,5,12,13,14,17,22,25,26,27,30,31,32,33,34,36,37,39,45,49,50,53,55,57,58,60,62,65,68,69,71,73,74,77,82,84,85,87,88,89,90,91,92,93,94,95,96,98,99,101,102,103,104],[3,4,5,6,7,11,14,18,23,25,27,28,31,32,33,35,36,37,40,42,45,46,47,48,50,51,58,62,63,65,66,68,70,71,73,78,81,85,89,91,92,94,96,97,98,99,100],[2,4,6,7,11,12,13,17,18,22,23,26,28,30,31,34,35,39,40,42,46,47,48,49,51,53,55,57,60,63,66,69,70,74,77,78,81,82,84,87,88,90,93,95,97,100,101,102,103,104],[2,4,6,7,11,12,13,17,18,22,23,26,28,30,35,39,40,42,46,47,48,49,51,53,55,57,60,63,66,69,70,74,77,78,81,82,84,87,88,90,93,95,96,98,99,102,103],[34,96,97,98,99,100,101,104]]},"distance":{"d":3,"is_exact":true,"upper":3,"witness":[0,11,38],"A_d":4290,"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],[80,1],[81,1],[82,1],[83,1],[84,1],[85,1],[86,1],[87,1],[88,1],[89,1],[90,1],[91,1],[92,1],[93,1],[96,2],[97,2],[98,2]],"CZ":[[6,96],[6,98],[7,96],[7,98],[8,96],[8,98],[10,96],[10,98],[14,96],[14,98],[15,96],[15,98],[16,96],[16,98],[20,96],[20,98],[21,96],[21,98],[22,96],[22,98],[23,96],[23,98],[24,96],[24,98],[26,96],[26,98],[29,96],[29,98],[30,96],[30,98],[31,96],[31,97],[32,96],[32,98],[33,96],[33,98],[34,96],[34,97],[35,96],[35,98],[37,96],[37,98],[39,96],[39,98],[40,96],[40,98],[45,96],[45,98],[47,96],[47,98],[48,96],[48,98],[49,96],[49,98],[50,96],[50,98],[51,96],[51,98],[52,96],[52,97],[53,96],[53,98],[54,96],[54,98],[59,96],[59,98],[60,96],[60,97],[62,96],[62,98],[66,96],[66,98],[67,96],[67,98],[68,96],[68,98],[69,96],[69,98],[70,96],[70,98],[72,96],[72,98],[74,96],[74,98],[75,96],[75,98],[76,96],[76,98],[77,96],[77,98],[79,96],[79,98],[80,96],[80,98],[82,96],[82,98],[83,96],[83,98],[84,96],[84,98],[89,96],[89,98],[90,96],[90,98],[96,97],[96,98],[96,100],[96,101],[97,98],[98,100],[98,101]]},"rotation_powers":[[0,5],[1,7],[2,7],[3,5],[4,7],[5,7],[6,5],[7,3],[8,7],[9,7],[10,5],[11,7],[12,7],[13,5],[14,7],[15,3],[16,5],[20,3],[21,3],[22,5],[23,3],[24,3],[25,3],[26,3],[27,3],[29,7],[30,3],[32,3],[33,7],[35,3],[36,5],[37,7],[38,7],[39,7],[40,5],[41,3],[42,7],[43,7],[46,3],[47,5],[48,3],[49,3],[51,7],[52,3],[53,5],[54,7],[55,5],[56,5],[57,7],[58,3],[59,3],[61,3],[62,7],[63,7],[64,7],[65,5],[66,3],[67,5],[68,7],[69,7],[70,5],[71,7],[72,3],[73,7],[74,5],[76,3],[77,3],[78,7],[79,7],[80,7],[81,5],[82,7],[84,3],[85,7],[87,7],[89,3],[92,3],[93,3],[96,7],[102,5],[105,5],[107,3],[109,3],[110,3],[112,3],[115,3],[117,3],[118,3],[119,3],[125,5],[127,3],[128,3],[130,3],[131,3],[132,3],[133,3],[134,3],[136,3],[137,3],[139,3],[143,3],[144,3],[145,3],[146,3],[149,3],[150,3],[151,3],[154,3],[155,3],[157,3],[158,3],[163,3],[166,3],[167,3],[168,3],[171,3],[172,3],[175,3],[179,3],[180,3],[183,3],[184,7],[186,3],[187,3],[188,3],[190,7],[191,3],[193,3],[194,3],[195,3],[197,3],[198,3],[199,3],[202,3],[205,3],[212,3],[213,3],[214,3],[218,3],[219,3],[220,3],[224,3],[226,3],[230,3],[231,3],[237,3],[238,3],[239,3],[244,3],[245,3],[247,3],[249,3],[251,3],[255,3],[260,3],[261,3],[263,3],[266,3],[267,3],[269,3],[270,3],[272,3],[273,3],[274,3],[276,3],[278,3],[280,3],[281,3],[285,3],[288,3],[291,3],[292,3],[294,3],[295,3],[296,3],[298,3],[299,3],[305,3],[307,3],[308,3],[311,3],[312,3],[313,3],[315,3],[320,3],[321,3],[322,3],[327,3],[329,3],[330,3],[334,3],[335,3],[340,3],[341,3],[342,3],[343,3],[345,3],[346,3],[349,3],[350,3],[351,3],[354,3],[356,3],[359,3],[360,3],[361,3],[362,3],[365,3],[372,3],[375,3],[376,3],[377,3],[383,3],[384,3],[385,3]]},"metrics":{"gamma":1.2857516721456912,"gamma_t":null,"gamma_rho":1.2857516721456912,"gamma_claim":1.2857516721456912,"gamma_t_claim":null,"gamma_rho_claim":1.2857516721456912,"v_ex":94,"rate":0.24352331606217617,"t_count":null,"poly_degree":null,"effective_width":94},"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_386_94_3.json","label":"restricted_light_386_94_3","N":105,"d":3,"d_is_exact":true,"origin":"Wills-derived restricted-light construction","provenance":"gamma frontier release record restricted_light_386_94_3 (source catalogue id restricted_light_386_94_3); construction: Wills-derived restricted-light construction; matrix 463bdfadd4d966a8...; the release states d=3 (exact), gamma=1.2857516721456912 (exact)","notes":"matrix gamma_frontier_release/matrices/463bdfadd4d966a8b8b7f9312efefc29bd27a5e4052e3f735293ff02c6f61f8a.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"}]}