{"id":"684.132.3.a","row":1175,"stored":{"file":"master_catalog.json","row":1175,"construction":null,"columns_sha256":null},"parameters":{"n":684,"k":132,"d":3,"N":168,"r":36,"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+94+95+96+97+98+99+100+101+102+103+104+105+106+107+108+109+110+111+112+113+114+115+116+117+118+119+120+121+122+123+124+125+126+127+128+129+130+131","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\u00b7T94\u00b7T95\u00b7T96\u00b7T97\u00b7T98\u00b7T99\u00b7T100\u00b7T101\u00b7T102\u00b7T103\u00b7T104\u00b7T105\u00b7T106\u00b7T107\u00b7T108\u00b7T109\u00b7T110\u00b7T111\u00b7T112\u00b7T113\u00b7T114\u00b7T115\u00b7T116\u00b7T117\u00b7T118\u00b7T119\u00b7T120\u00b7T121\u00b7T122\u00b7T123\u00b7T124\u00b7T125\u00b7T126\u00b7T127\u00b7T128\u00b7T129\u00b7T130\u00b7T131","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],[94],[95],[96],[97],[98],[99],[100],[101],[102],[103],[104],[105],[106],[107],[108],[109],[110],[111],[112],[113],[114],[115],[116],[117],[118],[119],[120],[121],[122],[123],[124],[125],[126],[127],[128],[129],[130],[131]],"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],[94],[95],[96],[97],[98],[99],[100],[101],[102],[103],[104],[105],[106],[107],[108],[109],[110],[111],[112],[113],[114],[115],[116],[117],[118],[119],[120],[121],[122],[123],[124],[125],[126],[127],[128],[129],[130],[131]],"sk_fingerprint":"1a3a38fa84fea8d3","sk_canonical_frame":true,"relabelled_into_canonical_frame":false},"circuit":{"columns":[[0,1,2,4,5,6,8,9,10,135,136,137],[0,1,2,4,5,6,8,132,133,136,137],[0,1,2,4,5,8,10,133,134,136,137],[0,1,2,4,5,132,133,134,136],[0,1,2,4,7,8,10,134,135,137],[0,1,2,7,9,133,136],[0,1,3,4,5,6,7,8,10,132,135,137],[0,1,3,4,6,7,8,133,134,135,136],[0,1,4,5,6,8,9,132,134,135],[0,1,4,5,7,9,10,132,133,134],[0,1,4,5,8,132,133,135,136],[0,1,5,9,10,133,135,136,137],[0,1,7,9,10,132,133,134,135,136,137],[0,1,9,132,134,137],[0,2,4,5,6,7,8,134,136,137],[0,2,4,6,7,132,133,134,135],[0,2,4,6,7,132,133,135,137],[0,2,5,6,7,134,135,136],[0,2,5,7,8,9,10,132,134],[0,2,6,7,10,132,133,134,137],[0,3,5,6,7,8,10,132,134,135,136,137],[0,3,6,7,8,133,135],[0,4,6,7,8,9,10,132,134,136],[0,4,7,9,10,132,136,137],[0,4,7,133,134,135,137],[0,7,10,133,137],[0,8,9,132,135,136],[1,2,4,5,7,9,10,132,134,136,137],[1,2,4,5,7,9,10,132,136],[1,2,4,5,9,133,135,137],[1,2,4,7,8,133,134,135],[1,2,5,7,8,9,10,133,134,137],[1,2,5,7,8,132,134,135,136],[1,2,6,7,9,132,135,136,137],[1,3,4,5,10,132,133,137],[1,3,4,134,136],[1,5,6,7,8,132,133,134,135,137],[1,6,7,8,10,134,135,136,137],[1,6,7,132,133,135],[1,135,137],[2,4,5,6,8,9,10,133,134,136],[2,4,5,6,8,9,10,133,135,136],[2,4,5,7,8,9,10,134,137],[2,5,6,7,9,132,137],[2,5,7,8,9,132,133],[2,6,7,9,10,133,134,135,136,137],[2,6,9,133,136,137],[3,5,10,132,133,134,136,137],[4,5,7,8,9,132,135],[4,5,10,132,133,136],[5,9,10,132,133,134,135,136],[10,132,133,135,136,137],[10,132,134,135,137],[10,133,134],[10,134,135],[10,135,136],[10,136,137],[11,12,13,15,16,17,19,20,21,141,142,143],[11,12,13,15,16,17,19,138,139,142,143],[11,12,13,15,16,19,21,139,140,142,143],[11,12,13,15,16,138,139,140,142],[11,12,13,15,18,19,21,140,141,143],[11,12,13,18,20,139,142],[11,12,14,15,16,17,18,19,21,138,141,143],[11,12,14,15,17,18,19,139,140,141,142],[11,12,15,16,17,19,20,138,140,141],[11,12,15,16,18,20,21,138,139,140],[11,12,15,16,19,138,139,141,142],[11,12,16,20,21,139,141,142,143],[11,12,18,20,21,138,139,140,141,142,143],[11,12,20,138,140,143],[11,13,15,16,17,18,19,140,142,143],[11,13,15,17,18,138,139,140,141],[11,13,15,17,18,138,139,141,143],[11,13,16,17,18,140,141,142],[11,13,16,18,19,20,21,138,140],[11,13,17,18,21,138,139,140,143],[11,14,16,17,18,19,21,138,140,141,142,143],[11,14,17,18,19,139,141],[11,15,17,18,19,20,21,138,140,142],[11,15,18,20,21,138,142,143],[11,15,18,139,140,141,143],[11,18,21,139,143],[11,19,20,138,141,142],[12,13,15,16,18,20,21,138,140,142,143],[12,13,15,16,18,20,21,138,142],[12,13,15,16,20,139,141,143],[12,13,15,18,19,139,140,141],[12,13,16,18,19,20,21,139,140,143],[12,13,16,18,19,138,140,141,142],[12,13,17,18,20,138,141,142,143],[12,14,15,16,21,138,139,143],[12,14,15,140,142],[12,16,17,18,19,138,139,140,141,143],[12,17,18,19,21,140,141,142,143],[12,17,18,138,139,141],[12,141,143],[13,15,16,17,19,20,21,139,140,142],[13,15,16,17,19,20,21,139,141,142],[13,15,16,18,19,20,21,140,143],[13,16,17,18,20,138,143],[13,16,18,19,20,138,139],[13,17,18,20,21,139,140,141,142,143],[13,17,20,139,142,143],[14,16,21,138,139,140,142,143],[15,16,18,19,20,138,141],[15,16,21,138,139,142],[16,20,21,138,139,140,141,142],[21,138,139,141,142,143],[21,138,140,141,143],[21,139,140],[21,140,141],[21,141,142],[21,142,143],[22,23,24,26,27,28,30,31,32,147,148,149],[22,23,24,26,27,28,30,144,145,148,149],[22,23,24,26,27,30,32,145,146,148,149],[22,23,24,26,27,144,145,146,148],[22,23,24,26,29,30,32,146,147,149],[22,23,24,29,31,145,148],[22,23,25,26,27,28,29,30,32,144,147,149],[22,23,25,26,28,29,30,145,146,147,148],[22,23,26,27,28,30,31,144,146,147],[22,23,26,27,29,31,32,144,145,146],[22,23,26,27,30,144,145,147,148],[22,23,27,31,32,145,147,148,149],[22,23,29,31,32,144,145,146,147,148,149],[22,23,31,144,146,149],[22,24,26,27,28,29,30,146,148,149],[22,24,26,28,29,144,145,146,147],[22,24,26,28,29,144,145,147,149],[22,24,27,28,29,146,147,148],[22,24,27,29,30,31,32,144,146],[22,24,28,29,32,144,145,146,149],[22,25,27,28,29,30,32,144,146,147,148,149],[22,25,28,29,30,145,147],[22,26,28,29,30,31,32,144,146,148],[22,26,29,31,32,144,148,149],[22,26,29,145,146,147,149],[22,29,32,145,149],[22,30,31,144,147,148],[23,24,26,27,29,31,32,144,146,148,149],[23,24,26,27,29,31,32,144,148],[23,24,26,27,31,145,147,149],[23,24,26,29,30,145,146,147],[23,24,27,29,30,31,32,145,146,149],[23,24,27,29,30,144,146,147,148],[23,24,28,29,31,144,147,148,149],[23,25,26,27,32,144,145,149],[23,25,26,146,148],[23,27,28,29,30,144,145,146,147,149],[23,28,29,30,32,146,147,148,149],[23,28,29,144,145,147],[23,147,149],[24,26,27,28,30,31,32,145,146,148],[24,26,27,28,30,31,32,145,147,148],[24,26,27,29,30,31,32,146,149],[24,27,28,29,31,144,149],[24,27,29,30,31,144,145],[24,28,29,31,32,145,146,147,148,149],[24,28,31,145,148,149],[25,27,32,144,145,146,148,149],[26,27,29,30,31,144,147],[26,27,32,144,145,148],[27,31,32,144,145,146,147,148],[32,144,145,147,148,149],[32,144,146,147,149],[32,145,146],[32,146,147],[32,147,148],[32,148,149],[33,34,35,37,38,39,41,42,43,153,154,155],[33,34,35,37,38,39,41,150,151,154,155],[33,34,35,37,38,41,43,151,152,154,155],[33,34,35,37,38,150,151,152,154],[33,34,35,37,40,41,43,152,153,155],[33,34,35,40,42,151,154],[33,34,36,37,38,39,40,41,43,150,153,155],[33,34,36,37,39,40,41,151,152,153,154],[33,34,37,38,39,41,42,150,152,153],[33,34,37,38,40,42,43,150,151,152],[33,34,37,38,41,150,151,153,154],[33,34,38,42,43,151,153,154,155],[33,34,40,42,43,150,151,152,153,154,155],[33,34,42,150,152,155],[33,35,37,38,39,40,41,152,154,155],[33,35,37,39,40,150,151,152,153],[33,35,37,39,40,150,151,153,155],[33,35,38,39,40,152,153,154],[33,35,38,40,41,42,43,150,152],[33,35,39,40,43,150,151,152,155],[33,36,38,39,40,41,43,150,152,153,154,155],[33,36,39,40,41,151,153],[33,37,39,40,41,42,43,150,152,154],[33,37,40,42,43,150,154,155],[33,37,40,151,152,153,155],[33,40,43,151,155],[33,41,42,150,153,154],[34,35,37,38,40,42,43,150,152,154,155],[34,35,37,38,40,42,43,150,154],[34,35,37,38,42,151,153,155],[34,35,37,40,41,151,152,153],[34,35,38,40,41,42,43,151,152,155],[34,35,38,40,41,150,152,153,154],[34,35,39,40,42,150,153,154,155],[34,36,37,38,43,150,151,155],[34,36,37,152,154],[34,38,39,40,41,150,151,152,153,155],[34,39,40,41,43,152,153,154,155],[34,39,40,150,151,153],[34,153,155],[35,37,38,39,41,42,43,151,152,154],[35,37,38,39,41,42,43,151,153,154],[35,37,38,40,41,42,43,152,155],[35,38,39,40,42,150,155],[35,38,40,41,42,150,151],[35,39,40,42,43,151,152,153,154,155],[35,39,42,151,154,155],[36,38,43,150,151,152,154,155],[37,38,40,41,42,150,153],[37,38,43,150,151,154],[38,42,43,150,151,152,153,154],[43,150,151,153,154,155],[43,150,152,153,155],[43,151,152],[43,152,153],[43,153,154],[43,154,155],[44,45,46,48,49,50,52,53,54,159,160,161],[44,45,46,48,49,50,52,156,157,160,161],[44,45,46,48,49,52,54,157,158,160,161],[44,45,46,48,49,156,157,158,160],[44,45,46,48,51,52,54,158,159,161],[44,45,46,51,53,157,160],[44,45,47,48,49,50,51,52,54,156,159,161],[44,45,47,48,50,51,52,157,158,159,160],[44,45,48,49,50,52,53,156,158,159],[44,45,48,49,51,53,54,156,157,158],[44,45,48,49,52,156,157,159,160],[44,45,49,53,54,157,159,160,161],[44,45,51,53,54,156,157,158,159,160,161],[44,45,53,156,158,161],[44,46,48,49,50,51,52,158,160,161],[44,46,48,50,51,156,157,158,159],[44,46,48,50,51,156,157,159,161],[44,46,49,50,51,158,159,160],[44,46,49,51,52,53,54,156,158],[44,46,50,51,54,156,157,158,161],[44,47,49,50,51,52,54,156,158,159,160,161],[44,47,50,51,52,157,159],[44,48,50,51,52,53,54,156,158,160],[44,48,51,53,54,156,160,161],[44,48,51,157,158,159,161],[44,51,54,157,161],[44,52,53,156,159,160],[45,46,48,49,51,53,54,156,158,160,161],[45,46,48,49,51,53,54,156,160],[45,46,48,49,53,157,159,161],[45,46,48,51,52,157,158,159],[45,46,49,51,52,53,54,157,158,161],[45,46,49,51,52,156,158,159,160],[45,46,50,51,53,156,159,160,161],[45,47,48,49,54,156,157,161],[45,47,48,158,160],[45,49,50,51,52,156,157,158,159,161],[45,50,51,52,54,158,159,160,161],[45,50,51,156,157,159],[45,159,161],[46,48,49,50,52,53,54,157,158,160],[46,48,49,50,52,53,54,157,159,160],[46,48,49,51,52,53,54,158,161],[46,49,50,51,53,156,161],[46,49,51,52,53,156,157],[46,50,51,53,54,157,158,159,160,161],[46,50,53,157,160,161],[47,49,54,156,157,158,160,161],[48,49,51,52,53,156,159],[48,49,54,156,157,160],[49,53,54,156,157,158,159,160],[54,156,157,159,160,161],[54,156,158,159,161],[54,157,158],[54,158,159],[54,159,160],[54,160,161],[55,56,57,59,60,61,63,64,65,165,166,167],[55,56,57,59,60,61,63,162,163,166,167],[55,56,57,59,60,63,65,163,164,166,167],[55,56,57,59,60,162,163,164,166],[55,56,57,59,62,63,65,164,165,167],[55,56,57,62,64,163,166],[55,56,58,59,60,61,62,63,65,162,165,167],[55,56,58,59,61,62,63,163,164,165,166],[55,56,59,60,61,63,64,162,164,165],[55,56,59,60,62,64,65,162,163,164],[55,56,59,60,63,162,163,165,166],[55,56,60,64,65,163,165,166,167],[55,56,62,64,65,162,163,164,165,166,167],[55,56,64,162,164,167],[55,57,59,60,61,62,63,164,166,167],[55,57,59,61,62,162,163,164,165],[55,57,59,61,62,162,163,165,167],[55,57,60,61,62,164,165,166],[55,57,60,62,63,64,65,162,164],[55,57,61,62,65,162,163,164,167],[55,58,60,61,62,63,65,162,164,165,166,167],[55,58,61,62,63,163,165],[55,59,61,62,63,64,65,162,164,166],[55,59,62,64,65,162,166,167],[55,59,62,163,164,165,167],[55,62,65,163,167],[55,63,64,162,165,166],[56,57,59,60,62,64,65,162,164,166,167],[56,57,59,60,62,64,65,162,166],[56,57,59,60,64,163,165,167],[56,57,59,62,63,163,164,165],[56,57,60,62,63,64,65,163,164,167],[56,57,60,62,63,162,164,165,166],[56,57,61,62,64,162,165,166,167],[56,58,59,60,65,162,163,167],[56,58,59,164,166],[56,60,61,62,63,162,163,164,165,167],[56,61,62,63,65,164,165,166,167],[56,61,62,162,163,165],[56,165,167],[57,59,60,61,63,64,65,163,164,166],[57,59,60,61,63,64,65,163,165,166],[57,59,60,62,63,64,65,164,167],[57,60,61,62,64,162,167],[57,60,62,63,64,162,163],[57,61,62,64,65,163,164,165,166,167],[57,61,64,163,166,167],[58,60,65,162,163,164,166,167],[59,60,62,63,64,162,165],[59,60,65,162,163,166],[60,64,65,162,163,164,165,166],[65,162,163,165,166,167],[65,162,164,165,167],[65,163,164],[65,164,165],[65,165,166],[65,166,167],[34,37,38,40,42,45,48,49,51,53,56,59,60,62,64,150,156,162],[1,4,5,7,9,12,15,16,18,20,45,48,49,51,53,56,59,60,62,64,70,72,73,75,76,132,138,156,162],[12,15,16,18,20,23,26,27,29,31,45,48,49,51,53,56,59,60,62,64,68,70,71,74,76,138,144,156,162],[1,4,5,7,9,12,15,16,18,20,23,26,27,29,31,45,48,49,51,53,66,67,70,71,72,73,74,132,138,144,156],[23,26,27,29,31,34,37,38,40,42,56,59,60,62,64,66,73,144,150,162],[12,15,16,18,20,45,48,49,51,53,66,67,68,71,72,73,76,138,156],[1,4,5,7,9,34,37,38,40,42,56,59,60,62,64,66,69,72,74,75,76,132,150,162],[12,15,16,18,20,23,26,27,29,31,34,37,38,40,42,45,48,49,51,53,69,70,72,73,74,138,144,150,156],[1,4,5,7,9,23,26,27,29,31,34,37,38,40,42,67,71,73,74,75,76,132,144,150],[1,4,5,7,9,12,15,16,18,20,23,26,27,29,31,132,138,144],[1,4,5,7,9,12,15,16,18,20,34,37,38,40,42,45,48,49,51,53,68,70,73,75,76,132,138,150,156],[12,15,16,18,20,34,37,38,40,42,45,48,49,51,53,56,59,60,62,64,66,67,72,138,150,156,162],[1,4,5,7,9,12,15,16,18,20,23,26,27,29,31,34,37,38,40,42,45,48,49,51,53,56,59,60,62,64,66,67,68,72,74,75,76,132,138,144,150,156,162],[1,4,5,7,9,23,26,27,29,31,56,59,60,62,64,67,70,72,73,75,76,132,144,162],[23,26,27,29,31,45,48,49,51,53,56,59,60,62,64,66,71,72,73,144,156,162],[1,4,5,7,9,12,15,16,18,20,23,26,27,29,31,34,37,38,40,42,66,67,70,74,76,132,138,144,150],[1,4,5,7,9,12,15,16,18,20,34,37,38,40,42,56,59,60,62,64,70,71,72,74,75,132,138,150,162],[23,26,27,29,31,34,37,38,40,42,45,48,49,51,53,66,70,71,72,73,74,144,150,156],[1,4,5,7,9,23,26,27,29,31,66,132,144],[1,4,5,7,9,12,15,16,18,20,23,26,27,29,31,56,59,60,62,64,66,67,74,132,138,144,162],[1,4,5,7,9,23,26,27,29,31,34,37,38,40,42,45,48,49,51,53,56,59,60,62,64,67,69,70,71,74,76,132,144,150,156,162],[12,15,16,18,20,34,37,38,40,42,66,67,69,71,73,74,75,138,150],[1,4,5,7,9,23,26,27,29,31,45,48,49,51,53,67,74,75,76,132,144,156],[1,4,5,7,9,45,48,49,51,53,56,59,60,62,64,66,71,132,156,162],[12,15,16,18,20,23,26,27,29,31,34,37,38,40,42,56,59,60,62,64,70,73,76,138,144,150,162],[12,15,16,18,20,56,59,60,62,64,66,67,71,72,73,75,76,138,162],[1,4,5,7,9,34,37,38,40,42,45,48,49,51,53,66,70,71,73,74,76,132,150,156],[1,4,5,7,9,23,26,27,29,31,45,48,49,51,53,56,59,60,62,64,70,74,76,132,144,156,162],[1,4,5,7,9,45,48,49,51,53,66,67,70,71,72,74,75,132,156],[12,15,16,18,20,34,37,38,40,42,56,59,60,62,64,66,71,74,75,138,150,162],[12,15,16,18,20,23,26,27,29,31,34,37,38,40,42,67,71,72,73,75,76,138,144,150],[12,15,16,18,20,23,26,27,29,31,56,59,60,62,64,67,70,72,73,138,144,162],[1,4,5,7,9,23,26,27,29,31,34,37,38,40,42,45,48,49,51,53,75,132,144,150,156],[1,4,5,7,9,34,37,38,40,42,45,48,49,51,53,56,59,60,62,64,66,67,74,75,76,132,150,156,162],[1,4,5,7,9,12,15,16,18,20,56,59,60,62,64,67,69,71,72,73,76,132,138,162],[23,26,27,29,31,45,48,49,51,53,66,67,69,70,71,72,75,144,156],[1,4,5,7,9,12,15,16,18,20,23,26,27,29,31,34,37,38,40,42,56,59,60,62,64,66,70,72,74,75,76,132,138,144,150,162],[23,26,27,29,31,34,37,38,40,42,45,48,49,51,53,56,59,60,62,64,66,67,71,73,74,75,76,144,150,156,162],[1,4,5,7,9,12,15,16,18,20,34,37,38,40,42,67,70,132,138,150],[34,37,38,40,42,56,59,60,62,64,67,150,162],[12,15,16,18,20,23,26,27,29,31,45,48,49,51,53,67,76,138,144,156],[12,15,16,18,20,34,37,38,40,42,45,48,49,51,53,66,71,72,75,138,150,156],[23,26,27,29,31,56,59,60,62,64,66,67,68,70,72,73,74,144,162],[1,4,5,7,9,56,59,60,62,64,66,67,71,74,75,132,162],[1,4,5,7,9,12,15,16,18,20,66,132,138],[12,15,16,18,20,23,26,27,29,31,34,37,38,40,42,45,48,49,51,53,56,59,60,62,64,67,70,71,73,74,76,138,144,150,156,162],[12,15,16,18,20,45,48,49,51,53,56,59,60,62,64,66,70,72,74,75,76,138,156,162],[1,4,5,7,9,12,15,16,18,20,23,26,27,29,31,45,48,49,51,53,56,59,60,62,64,66,69,70,73,75,76,132,138,144,156,162],[1,4,5,7,9,34,37,38,40,42,66,67,68,70,71,72,75,132,150],[1,4,5,7,9,12,15,16,18,20,45,48,49,51,53,67,71,72,73,132,138,156],[1,4,5,7,9,12,15,16,18,20,23,26,27,29,31,34,37,38,40,42,45,48,49,51,53,66,70,73,76,132,138,144,150,156],[1,4,5,7,9,12,15,16,18,20,34,37,38,40,42,45,48,49,51,53,56,59,60,62,64,67,70,72,73,132,138,150,156,162],[1,4,5,7,9,23,26,27,29,31,34,37,38,40,42,56,59,60,62,64,68,71,73,74,75,132,144,150,162],[12,15,16,18,20,23,26,27,29,31,66,138,144],[23,26,27,29,31,34,37,38,40,42,66,67,71,72,75,144,150],[34,37,38,40,42,45,48,49,51,53,67,150,156],[45,48,49,51,53,56,59,60,62,64,67,156,162],[33,34,35,37,41,44,45,46,48,52,55,56,57,59,63,151,157,163],[0,1,2,4,8,11,12,13,15,19,44,45,46,48,52,55,56,57,59,63,81,83,84,86,87,133,139,157,163],[11,12,13,15,19,22,23,24,26,30,44,45,46,48,52,55,56,57,59,63,79,81,82,85,87,139,145,157,163],[0,1,2,4,8,11,12,13,15,19,22,23,24,26,30,44,45,46,48,52,77,78,81,82,83,84,85,133,139,145,157],[22,23,24,26,30,33,34,35,37,41,55,56,57,59,63,77,84,145,151,163],[11,12,13,15,19,44,45,46,48,52,77,78,79,82,83,84,87,139,157],[0,1,2,4,8,33,34,35,37,41,55,56,57,59,63,77,80,83,85,86,87,133,151,163],[11,12,13,15,19,22,23,24,26,30,33,34,35,37,41,44,45,46,48,52,80,81,83,84,85,139,145,151,157],[0,1,2,4,8,22,23,24,26,30,33,34,35,37,41,78,82,84,85,86,87,133,145,151],[0,1,2,4,8,11,12,13,15,19,22,23,24,26,30,133,139,145],[0,1,2,4,8,11,12,13,15,19,33,34,35,37,41,44,45,46,48,52,79,81,84,86,87,133,139,151,157],[11,12,13,15,19,33,34,35,37,41,44,45,46,48,52,55,56,57,59,63,77,78,83,139,151,157,163],[0,1,2,4,8,11,12,13,15,19,22,23,24,26,30,33,34,35,37,41,44,45,46,48,52,55,56,57,59,63,77,78,79,83,85,86,87,133,139,145,151,157,163],[0,1,2,4,8,22,23,24,26,30,55,56,57,59,63,78,81,83,84,86,87,133,145,163],[22,23,24,26,30,44,45,46,48,52,55,56,57,59,63,77,82,83,84,145,157,163],[0,1,2,4,8,11,12,13,15,19,22,23,24,26,30,33,34,35,37,41,77,78,81,85,87,133,139,145,151],[0,1,2,4,8,11,12,13,15,19,33,34,35,37,41,55,56,57,59,63,81,82,83,85,86,133,139,151,163],[22,23,24,26,30,33,34,35,37,41,44,45,46,48,52,77,81,82,83,84,85,145,151,157],[0,1,2,4,8,22,23,24,26,30,77,133,145],[0,1,2,4,8,11,12,13,15,19,22,23,24,26,30,55,56,57,59,63,77,78,85,133,139,145,163],[0,1,2,4,8,22,23,24,26,30,33,34,35,37,41,44,45,46,48,52,55,56,57,59,63,78,80,81,82,85,87,133,145,151,157,163],[11,12,13,15,19,33,34,35,37,41,77,78,80,82,84,85,86,139,151],[0,1,2,4,8,22,23,24,26,30,44,45,46,48,52,78,85,86,87,133,145,157],[0,1,2,4,8,44,45,46,48,52,55,56,57,59,63,77,82,133,157,163],[11,12,13,15,19,22,23,24,26,30,33,34,35,37,41,55,56,57,59,63,81,84,87,139,145,151,163],[11,12,13,15,19,55,56,57,59,63,77,78,82,83,84,86,87,139,163],[0,1,2,4,8,33,34,35,37,41,44,45,46,48,52,77,81,82,84,85,87,133,151,157],[0,1,2,4,8,22,23,24,26,30,44,45,46,48,52,55,56,57,59,63,81,85,87,133,145,157,163],[0,1,2,4,8,44,45,46,48,52,77,78,81,82,83,85,86,133,157],[11,12,13,15,19,33,34,35,37,41,55,56,57,59,63,77,82,85,86,139,151,163],[11,12,13,15,19,22,23,24,26,30,33,34,35,37,41,78,82,83,84,86,87,139,145,151],[11,12,13,15,19,22,23,24,26,30,55,56,57,59,63,78,81,83,84,139,145,163],[0,1,2,4,8,22,23,24,26,30,33,34,35,37,41,44,45,46,48,52,86,133,145,151,157],[0,1,2,4,8,33,34,35,37,41,44,45,46,48,52,55,56,57,59,63,77,78,85,86,87,133,151,157,163],[0,1,2,4,8,11,12,13,15,19,55,56,57,59,63,78,80,82,83,84,87,133,139,163],[22,23,24,26,30,44,45,46,48,52,77,78,80,81,82,83,86,145,157],[0,1,2,4,8,11,12,13,15,19,22,23,24,26,30,33,34,35,37,41,55,56,57,59,63,77,81,83,85,86,87,133,139,145,151,163],[22,23,24,26,30,33,34,35,37,41,44,45,46,48,52,55,56,57,59,63,77,78,82,84,85,86,87,145,151,157,163],[0,1,2,4,8,11,12,13,15,19,33,34,35,37,41,78,81,133,139,151],[33,34,35,37,41,55,56,57,59,63,78,151,163],[11,12,13,15,19,22,23,24,26,30,44,45,46,48,52,78,87,139,145,157],[11,12,13,15,19,33,34,35,37,41,44,45,46,48,52,77,82,83,86,139,151,157],[22,23,24,26,30,55,56,57,59,63,77,78,79,81,83,84,85,145,163],[0,1,2,4,8,55,56,57,59,63,77,78,82,85,86,133,163],[0,1,2,4,8,11,12,13,15,19,77,133,139],[11,12,13,15,19,22,23,24,26,30,33,34,35,37,41,44,45,46,48,52,55,56,57,59,63,78,81,82,84,85,87,139,145,151,157,163],[11,12,13,15,19,44,45,46,48,52,55,56,57,59,63,77,81,83,85,86,87,139,157,163],[0,1,2,4,8,11,12,13,15,19,22,23,24,26,30,44,45,46,48,52,55,56,57,59,63,77,80,81,84,86,87,133,139,145,157,163],[0,1,2,4,8,33,34,35,37,41,77,78,79,81,82,83,86,133,151],[0,1,2,4,8,11,12,13,15,19,44,45,46,48,52,78,82,83,84,133,139,157],[0,1,2,4,8,11,12,13,15,19,22,23,24,26,30,33,34,35,37,41,44,45,46,48,52,77,81,84,87,133,139,145,151,157],[0,1,2,4,8,11,12,13,15,19,33,34,35,37,41,44,45,46,48,52,55,56,57,59,63,78,81,83,84,133,139,151,157,163],[0,1,2,4,8,22,23,24,26,30,33,34,35,37,41,55,56,57,59,63,79,82,84,85,86,133,145,151,163],[11,12,13,15,19,22,23,24,26,30,77,139,145],[22,23,24,26,30,33,34,35,37,41,77,78,82,83,86,145,151],[33,34,35,37,41,44,45,46,48,52,78,151,157],[44,45,46,48,52,55,56,57,59,63,78,157,163],[34,35,37,41,43,45,46,48,52,54,56,57,59,63,65,152,158,164],[1,2,4,8,10,12,13,15,19,21,45,46,48,52,54,56,57,59,63,65,92,94,95,97,98,134,140,158,164],[12,13,15,19,21,23,24,26,30,32,45,46,48,52,54,56,57,59,63,65,90,92,93,96,98,140,146,158,164],[1,2,4,8,10,12,13,15,19,21,23,24,26,30,32,45,46,48,52,54,88,89,92,93,94,95,96,134,140,146,158],[23,24,26,30,32,34,35,37,41,43,56,57,59,63,65,88,95,146,152,164],[12,13,15,19,21,45,46,48,52,54,88,89,90,93,94,95,98,140,158],[1,2,4,8,10,34,35,37,41,43,56,57,59,63,65,88,91,94,96,97,98,134,152,164],[12,13,15,19,21,23,24,26,30,32,34,35,37,41,43,45,46,48,52,54,91,92,94,95,96,140,146,152,158],[1,2,4,8,10,23,24,26,30,32,34,35,37,41,43,89,93,95,96,97,98,134,146,152],[1,2,4,8,10,12,13,15,19,21,23,24,26,30,32,134,140,146],[1,2,4,8,10,12,13,15,19,21,34,35,37,41,43,45,46,48,52,54,90,92,95,97,98,134,140,152,158],[12,13,15,19,21,34,35,37,41,43,45,46,48,52,54,56,57,59,63,65,88,89,94,140,152,158,164],[1,2,4,8,10,12,13,15,19,21,23,24,26,30,32,34,35,37,41,43,45,46,48,52,54,56,57,59,63,65,88,89,90,94,96,97,98,134,140,146,152,158,164],[1,2,4,8,10,23,24,26,30,32,56,57,59,63,65,89,92,94,95,97,98,134,146,164],[23,24,26,30,32,45,46,48,52,54,56,57,59,63,65,88,93,94,95,146,158,164],[1,2,4,8,10,12,13,15,19,21,23,24,26,30,32,34,35,37,41,43,88,89,92,96,98,134,140,146,152],[1,2,4,8,10,12,13,15,19,21,34,35,37,41,43,56,57,59,63,65,92,93,94,96,97,134,140,152,164],[23,24,26,30,32,34,35,37,41,43,45,46,48,52,54,88,92,93,94,95,96,146,152,158],[1,2,4,8,10,23,24,26,30,32,88,134,146],[1,2,4,8,10,12,13,15,19,21,23,24,26,30,32,56,57,59,63,65,88,89,96,134,140,146,164],[1,2,4,8,10,23,24,26,30,32,34,35,37,41,43,45,46,48,52,54,56,57,59,63,65,89,91,92,93,96,98,134,146,152,158,164],[12,13,15,19,21,34,35,37,41,43,88,89,91,93,95,96,97,140,152],[1,2,4,8,10,23,24,26,30,32,45,46,48,52,54,89,96,97,98,134,146,158],[1,2,4,8,10,45,46,48,52,54,56,57,59,63,65,88,93,134,158,164],[12,13,15,19,21,23,24,26,30,32,34,35,37,41,43,56,57,59,63,65,92,95,98,140,146,152,164],[12,13,15,19,21,56,57,59,63,65,88,89,93,94,95,97,98,140,164],[1,2,4,8,10,34,35,37,41,43,45,46,48,52,54,88,92,93,95,96,98,134,152,158],[1,2,4,8,10,23,24,26,30,32,45,46,48,52,54,56,57,59,63,65,92,96,98,134,146,158,164],[1,2,4,8,10,45,46,48,52,54,88,89,92,93,94,96,97,134,158],[12,13,15,19,21,34,35,37,41,43,56,57,59,63,65,88,93,96,97,140,152,164],[12,13,15,19,21,23,24,26,30,32,34,35,37,41,43,89,93,94,95,97,98,140,146,152],[12,13,15,19,21,23,24,26,30,32,56,57,59,63,65,89,92,94,95,140,146,164],[1,2,4,8,10,23,24,26,30,32,34,35,37,41,43,45,46,48,52,54,97,134,146,152,158],[1,2,4,8,10,34,35,37,41,43,45,46,48,52,54,56,57,59,63,65,88,89,96,97,98,134,152,158,164],[1,2,4,8,10,12,13,15,19,21,56,57,59,63,65,89,91,93,94,95,98,134,140,164],[23,24,26,30,32,45,46,48,52,54,88,89,91,92,93,94,97,146,158],[1,2,4,8,10,12,13,15,19,21,23,24,26,30,32,34,35,37,41,43,56,57,59,63,65,88,92,94,96,97,98,134,140,146,152,164],[23,24,26,30,32,34,35,37,41,43,45,46,48,52,54,56,57,59,63,65,88,89,93,95,96,97,98,146,152,158,164],[1,2,4,8,10,12,13,15,19,21,34,35,37,41,43,89,92,134,140,152],[34,35,37,41,43,56,57,59,63,65,89,152,164],[12,13,15,19,21,23,24,26,30,32,45,46,48,52,54,89,98,140,146,158],[12,13,15,19,21,34,35,37,41,43,45,46,48,52,54,88,93,94,97,140,152,158],[23,24,26,30,32,56,57,59,63,65,88,89,90,92,94,95,96,146,164],[1,2,4,8,10,56,57,59,63,65,88,89,93,96,97,134,164],[1,2,4,8,10,12,13,15,19,21,88,134,140],[12,13,15,19,21,23,24,26,30,32,34,35,37,41,43,45,46,48,52,54,56,57,59,63,65,89,92,93,95,96,98,140,146,152,158,164],[12,13,15,19,21,45,46,48,52,54,56,57,59,63,65,88,92,94,96,97,98,140,158,164],[1,2,4,8,10,12,13,15,19,21,23,24,26,30,32,45,46,48,52,54,56,57,59,63,65,88,91,92,95,97,98,134,140,146,158,164],[1,2,4,8,10,34,35,37,41,43,88,89,90,92,93,94,97,134,152],[1,2,4,8,10,12,13,15,19,21,45,46,48,52,54,89,93,94,95,134,140,158],[1,2,4,8,10,12,13,15,19,21,23,24,26,30,32,34,35,37,41,43,45,46,48,52,54,88,92,95,98,134,140,146,152,158],[1,2,4,8,10,12,13,15,19,21,34,35,37,41,43,45,46,48,52,54,56,57,59,63,65,89,92,94,95,134,140,152,158,164],[1,2,4,8,10,23,24,26,30,32,34,35,37,41,43,56,57,59,63,65,90,93,95,96,97,134,146,152,164],[12,13,15,19,21,23,24,26,30,32,88,140,146],[23,24,26,30,32,34,35,37,41,43,88,89,93,94,97,146,152],[34,35,37,41,43,45,46,48,52,54,89,152,158],[45,46,48,52,54,56,57,59,63,65,89,158,164],[33,35,37,38,39,41,42,44,46,48,49,50,52,53,55,57,59,60,61,63,64,153,159,165],[0,2,4,5,6,8,9,11,13,15,16,17,19,20,44,46,48,49,50,52,53,55,57,59,60,61,63,64,103,105,106,108,109,135,141,159,165],[11,13,15,16,17,19,20,22,24,26,27,28,30,31,44,46,48,49,50,52,53,55,57,59,60,61,63,64,101,103,104,107,109,141,147,159,165],[0,2,4,5,6,8,9,11,13,15,16,17,19,20,22,24,26,27,28,30,31,44,46,48,49,50,52,53,99,100,103,104,105,106,107,135,141,147,159],[22,24,26,27,28,30,31,33,35,37,38,39,41,42,55,57,59,60,61,63,64,99,106,147,153,165],[11,13,15,16,17,19,20,44,46,48,49,50,52,53,99,100,101,104,105,106,109,141,159],[0,2,4,5,6,8,9,33,35,37,38,39,41,42,55,57,59,60,61,63,64,99,102,105,107,108,109,135,153,165],[11,13,15,16,17,19,20,22,24,26,27,28,30,31,33,35,37,38,39,41,42,44,46,48,49,50,52,53,102,103,105,106,107,141,147,153,159],[0,2,4,5,6,8,9,22,24,26,27,28,30,31,33,35,37,38,39,41,42,100,104,106,107,108,109,135,147,153],[0,2,4,5,6,8,9,11,13,15,16,17,19,20,22,24,26,27,28,30,31,135,141,147],[0,2,4,5,6,8,9,11,13,15,16,17,19,20,33,35,37,38,39,41,42,44,46,48,49,50,52,53,101,103,106,108,109,135,141,153,159],[11,13,15,16,17,19,20,33,35,37,38,39,41,42,44,46,48,49,50,52,53,55,57,59,60,61,63,64,99,100,105,141,153,159,165],[0,2,4,5,6,8,9,11,13,15,16,17,19,20,22,24,26,27,28,30,31,33,35,37,38,39,41,42,44,46,48,49,50,52,53,55,57,59,60,61,63,64,99,100,101,105,107,108,109,135,141,147,153,159,165],[0,2,4,5,6,8,9,22,24,26,27,28,30,31,55,57,59,60,61,63,64,100,103,105,106,108,109,135,147,165],[22,24,26,27,28,30,31,44,46,48,49,50,52,53,55,57,59,60,61,63,64,99,104,105,106,147,159,165],[0,2,4,5,6,8,9,11,13,15,16,17,19,20,22,24,26,27,28,30,31,33,35,37,38,39,41,42,99,100,103,107,109,135,141,147,153],[0,2,4,5,6,8,9,11,13,15,16,17,19,20,33,35,37,38,39,41,42,55,57,59,60,61,63,64,103,104,105,107,108,135,141,153,165],[22,24,26,27,28,30,31,33,35,37,38,39,41,42,44,46,48,49,50,52,53,99,103,104,105,106,107,147,153,159],[0,2,4,5,6,8,9,22,24,26,27,28,30,31,99,135,147],[0,2,4,5,6,8,9,11,13,15,16,17,19,20,22,24,26,27,28,30,31,55,57,59,60,61,63,64,99,100,107,135,141,147,165],[0,2,4,5,6,8,9,22,24,26,27,28,30,31,33,35,37,38,39,41,42,44,46,48,49,50,52,53,55,57,59,60,61,63,64,100,102,103,104,107,109,135,147,153,159,165],[11,13,15,16,17,19,20,33,35,37,38,39,41,42,99,100,102,104,106,107,108,141,153],[0,2,4,5,6,8,9,22,24,26,27,28,30,31,44,46,48,49,50,52,53,100,107,108,109,135,147,159],[0,2,4,5,6,8,9,44,46,48,49,50,52,53,55,57,59,60,61,63,64,99,104,135,159,165],[11,13,15,16,17,19,20,22,24,26,27,28,30,31,33,35,37,38,39,41,42,55,57,59,60,61,63,64,103,106,109,141,147,153,165],[11,13,15,16,17,19,20,55,57,59,60,61,63,64,99,100,104,105,106,108,109,141,165],[0,2,4,5,6,8,9,33,35,37,38,39,41,42,44,46,48,49,50,52,53,99,103,104,106,107,109,135,153,159],[0,2,4,5,6,8,9,22,24,26,27,28,30,31,44,46,48,49,50,52,53,55,57,59,60,61,63,64,103,107,109,135,147,159,165],[0,2,4,5,6,8,9,44,46,48,49,50,52,53,99,100,103,104,105,107,108,135,159],[11,13,15,16,17,19,20,33,35,37,38,39,41,42,55,57,59,60,61,63,64,99,104,107,108,141,153,165],[11,13,15,16,17,19,20,22,24,26,27,28,30,31,33,35,37,38,39,41,42,100,104,105,106,108,109,141,147,153],[11,13,15,16,17,19,20,22,24,26,27,28,30,31,55,57,59,60,61,63,64,100,103,105,106,141,147,165],[0,2,4,5,6,8,9,22,24,26,27,28,30,31,33,35,37,38,39,41,42,44,46,48,49,50,52,53,108,135,147,153,159],[0,2,4,5,6,8,9,33,35,37,38,39,41,42,44,46,48,49,50,52,53,55,57,59,60,61,63,64,99,100,107,108,109,135,153,159,165],[0,2,4,5,6,8,9,11,13,15,16,17,19,20,55,57,59,60,61,63,64,100,102,104,105,106,109,135,141,165],[22,24,26,27,28,30,31,44,46,48,49,50,52,53,99,100,102,103,104,105,108,147,159],[0,2,4,5,6,8,9,11,13,15,16,17,19,20,22,24,26,27,28,30,31,33,35,37,38,39,41,42,55,57,59,60,61,63,64,99,103,105,107,108,109,135,141,147,153,165],[22,24,26,27,28,30,31,33,35,37,38,39,41,42,44,46,48,49,50,52,53,55,57,59,60,61,63,64,99,100,104,106,107,108,109,147,153,159,165],[0,2,4,5,6,8,9,11,13,15,16,17,19,20,33,35,37,38,39,41,42,100,103,135,141,153],[33,35,37,38,39,41,42,55,57,59,60,61,63,64,100,153,165],[11,13,15,16,17,19,20,22,24,26,27,28,30,31,44,46,48,49,50,52,53,100,109,141,147,159],[11,13,15,16,17,19,20,33,35,37,38,39,41,42,44,46,48,49,50,52,53,99,104,105,108,141,153,159],[22,24,26,27,28,30,31,55,57,59,60,61,63,64,99,100,101,103,105,106,107,147,165],[0,2,4,5,6,8,9,55,57,59,60,61,63,64,99,100,104,107,108,135,165],[0,2,4,5,6,8,9,11,13,15,16,17,19,20,99,135,141],[11,13,15,16,17,19,20,22,24,26,27,28,30,31,33,35,37,38,39,41,42,44,46,48,49,50,52,53,55,57,59,60,61,63,64,100,103,104,106,107,109,141,147,153,159,165],[11,13,15,16,17,19,20,44,46,48,49,50,52,53,55,57,59,60,61,63,64,99,103,105,107,108,109,141,159,165],[0,2,4,5,6,8,9,11,13,15,16,17,19,20,22,24,26,27,28,30,31,44,46,48,49,50,52,53,55,57,59,60,61,63,64,99,102,103,106,108,109,135,141,147,159,165],[0,2,4,5,6,8,9,33,35,37,38,39,41,42,99,100,101,103,104,105,108,135,153],[0,2,4,5,6,8,9,11,13,15,16,17,19,20,44,46,48,49,50,52,53,100,104,105,106,135,141,159],[0,2,4,5,6,8,9,11,13,15,16,17,19,20,22,24,26,27,28,30,31,33,35,37,38,39,41,42,44,46,48,49,50,52,53,99,103,106,109,135,141,147,153,159],[0,2,4,5,6,8,9,11,13,15,16,17,19,20,33,35,37,38,39,41,42,44,46,48,49,50,52,53,55,57,59,60,61,63,64,100,103,105,106,135,141,153,159,165],[0,2,4,5,6,8,9,22,24,26,27,28,30,31,33,35,37,38,39,41,42,55,57,59,60,61,63,64,101,104,106,107,108,135,147,153,165],[11,13,15,16,17,19,20,22,24,26,27,28,30,31,99,141,147],[22,24,26,27,28,30,31,33,35,37,38,39,41,42,99,100,104,105,108,147,153],[33,35,37,38,39,41,42,44,46,48,49,50,52,53,100,153,159],[44,46,48,49,50,52,53,55,57,59,60,61,63,64,100,159,165],[33,34,35,37,38,39,41,42,43,44,45,46,48,49,50,52,53,54,55,56,57,59,60,61,63,64,65,154,160,166],[0,1,2,4,5,6,8,9,10,11,12,13,15,16,17,19,20,21,44,45,46,48,49,50,52,53,54,55,56,57,59,60,61,63,64,65,114,116,117,119,120,136,142,160,166],[11,12,13,15,16,17,19,20,21,22,23,24,26,27,28,30,31,32,44,45,46,48,49,50,52,53,54,55,56,57,59,60,61,63,64,65,112,114,115,118,120,142,148,160,166],[0,1,2,4,5,6,8,9,10,11,12,13,15,16,17,19,20,21,22,23,24,26,27,28,30,31,32,44,45,46,48,49,50,52,53,54,110,111,114,115,116,117,118,136,142,148,160],[22,23,24,26,27,28,30,31,32,33,34,35,37,38,39,41,42,43,55,56,57,59,60,61,63,64,65,110,117,148,154,166],[11,12,13,15,16,17,19,20,21,44,45,46,48,49,50,52,53,54,110,111,112,115,116,117,120,142,160],[0,1,2,4,5,6,8,9,10,33,34,35,37,38,39,41,42,43,55,56,57,59,60,61,63,64,65,110,113,116,118,119,120,136,154,166],[11,12,13,15,16,17,19,20,21,22,23,24,26,27,28,30,31,32,33,34,35,37,38,39,41,42,43,44,45,46,48,49,50,52,53,54,113,114,116,117,118,142,148,154,160],[0,1,2,4,5,6,8,9,10,22,23,24,26,27,28,30,31,32,33,34,35,37,38,39,41,42,43,111,115,117,118,119,120,136,148,154],[0,1,2,4,5,6,8,9,10,11,12,13,15,16,17,19,20,21,22,23,24,26,27,28,30,31,32,136,142,148],[0,1,2,4,5,6,8,9,10,11,12,13,15,16,17,19,20,21,33,34,35,37,38,39,41,42,43,44,45,46,48,49,50,52,53,54,112,114,117,119,120,136,142,154,160],[11,12,13,15,16,17,19,20,21,33,34,35,37,38,39,41,42,43,44,45,46,48,49,50,52,53,54,55,56,57,59,60,61,63,64,65,110,111,116,142,154,160,166],[0,1,2,4,5,6,8,9,10,11,12,13,15,16,17,19,20,21,22,23,24,26,27,28,30,31,32,33,34,35,37,38,39,41,42,43,44,45,46,48,49,50,52,53,54,55,56,57,59,60,61,63,64,65,110,111,112,116,118,119,120,136,142,148,154,160,166],[0,1,2,4,5,6,8,9,10,22,23,24,26,27,28,30,31,32,55,56,57,59,60,61,63,64,65,111,114,116,117,119,120,136,148,166],[22,23,24,26,27,28,30,31,32,44,45,46,48,49,50,52,53,54,55,56,57,59,60,61,63,64,65,110,115,116,117,148,160,166],[0,1,2,4,5,6,8,9,10,11,12,13,15,16,17,19,20,21,22,23,24,26,27,28,30,31,32,33,34,35,37,38,39,41,42,43,110,111,114,118,120,136,142,148,154],[0,1,2,4,5,6,8,9,10,11,12,13,15,16,17,19,20,21,33,34,35,37,38,39,41,42,43,55,56,57,59,60,61,63,64,65,114,115,116,118,119,136,142,154,166],[22,23,24,26,27,28,30,31,32,33,34,35,37,38,39,41,42,43,44,45,46,48,49,50,52,53,54,110,114,115,116,117,118,148,154,160],[0,1,2,4,5,6,8,9,10,22,23,24,26,27,28,30,31,32,110,136,148],[0,1,2,4,5,6,8,9,10,11,12,13,15,16,17,19,20,21,22,23,24,26,27,28,30,31,32,55,56,57,59,60,61,63,64,65,110,111,118,136,142,148,166],[0,1,2,4,5,6,8,9,10,22,23,24,26,27,28,30,31,32,33,34,35,37,38,39,41,42,43,44,45,46,48,49,50,52,53,54,55,56,57,59,60,61,63,64,65,111,113,114,115,118,120,136,148,154,160,166],[11,12,13,15,16,17,19,20,21,33,34,35,37,38,39,41,42,43,110,111,113,115,117,118,119,142,154],[0,1,2,4,5,6,8,9,10,22,23,24,26,27,28,30,31,32,44,45,46,48,49,50,52,53,54,111,118,119,120,136,148,160],[0,1,2,4,5,6,8,9,10,44,45,46,48,49,50,52,53,54,55,56,57,59,60,61,63,64,65,110,115,136,160,166],[11,12,13,15,16,17,19,20,21,22,23,24,26,27,28,30,31,32,33,34,35,37,38,39,41,42,43,55,56,57,59,60,61,63,64,65,114,117,120,142,148,154,166],[11,12,13,15,16,17,19,20,21,55,56,57,59,60,61,63,64,65,110,111,115,116,117,119,120,142,166],[0,1,2,4,5,6,8,9,10,33,34,35,37,38,39,41,42,43,44,45,46,48,49,50,52,53,54,110,114,115,117,118,120,136,154,160],[0,1,2,4,5,6,8,9,10,22,23,24,26,27,28,30,31,32,44,45,46,48,49,50,52,53,54,55,56,57,59,60,61,63,64,65,114,118,120,136,148,160,166],[0,1,2,4,5,6,8,9,10,44,45,46,48,49,50,52,53,54,110,111,114,115,116,118,119,136,160],[11,12,13,15,16,17,19,20,21,33,34,35,37,38,39,41,42,43,55,56,57,59,60,61,63,64,65,110,115,118,119,142,154,166],[11,12,13,15,16,17,19,20,21,22,23,24,26,27,28,30,31,32,33,34,35,37,38,39,41,42,43,111,115,116,117,119,120,142,148,154],[11,12,13,15,16,17,19,20,21,22,23,24,26,27,28,30,31,32,55,56,57,59,60,61,63,64,65,111,114,116,117,142,148,166],[0,1,2,4,5,6,8,9,10,22,23,24,26,27,28,30,31,32,33,34,35,37,38,39,41,42,43,44,45,46,48,49,50,52,53,54,119,136,148,154,160],[0,1,2,4,5,6,8,9,10,33,34,35,37,38,39,41,42,43,44,45,46,48,49,50,52,53,54,55,56,57,59,60,61,63,64,65,110,111,118,119,120,136,154,160,166],[0,1,2,4,5,6,8,9,10,11,12,13,15,16,17,19,20,21,55,56,57,59,60,61,63,64,65,111,113,115,116,117,120,136,142,166],[22,23,24,26,27,28,30,31,32,44,45,46,48,49,50,52,53,54,110,111,113,114,115,116,119,148,160],[0,1,2,4,5,6,8,9,10,11,12,13,15,16,17,19,20,21,22,23,24,26,27,28,30,31,32,33,34,35,37,38,39,41,42,43,55,56,57,59,60,61,63,64,65,110,114,116,118,119,120,136,142,148,154,166],[22,23,24,26,27,28,30,31,32,33,34,35,37,38,39,41,42,43,44,45,46,48,49,50,52,53,54,55,56,57,59,60,61,63,64,65,110,111,115,117,118,119,120,148,154,160,166],[0,1,2,4,5,6,8,9,10,11,12,13,15,16,17,19,20,21,33,34,35,37,38,39,41,42,43,111,114,136,142,154],[33,34,35,37,38,39,41,42,43,55,56,57,59,60,61,63,64,65,111,154,166],[11,12,13,15,16,17,19,20,21,22,23,24,26,27,28,30,31,32,44,45,46,48,49,50,52,53,54,111,120,142,148,160],[11,12,13,15,16,17,19,20,21,33,34,35,37,38,39,41,42,43,44,45,46,48,49,50,52,53,54,110,115,116,119,142,154,160],[22,23,24,26,27,28,30,31,32,55,56,57,59,60,61,63,64,65,110,111,112,114,116,117,118,148,166],[0,1,2,4,5,6,8,9,10,55,56,57,59,60,61,63,64,65,110,111,115,118,119,136,166],[0,1,2,4,5,6,8,9,10,11,12,13,15,16,17,19,20,21,110,136,142],[11,12,13,15,16,17,19,20,21,22,23,24,26,27,28,30,31,32,33,34,35,37,38,39,41,42,43,44,45,46,48,49,50,52,53,54,55,56,57,59,60,61,63,64,65,111,114,115,117,118,120,142,148,154,160,166],[11,12,13,15,16,17,19,20,21,44,45,46,48,49,50,52,53,54,55,56,57,59,60,61,63,64,65,110,114,116,118,119,120,142,160,166],[0,1,2,4,5,6,8,9,10,11,12,13,15,16,17,19,20,21,22,23,24,26,27,28,30,31,32,44,45,46,48,49,50,52,53,54,55,56,57,59,60,61,63,64,65,110,113,114,117,119,120,136,142,148,160,166],[0,1,2,4,5,6,8,9,10,33,34,35,37,38,39,41,42,43,110,111,112,114,115,116,119,136,154],[0,1,2,4,5,6,8,9,10,11,12,13,15,16,17,19,20,21,44,45,46,48,49,50,52,53,54,111,115,116,117,136,142,160],[0,1,2,4,5,6,8,9,10,11,12,13,15,16,17,19,20,21,22,23,24,26,27,28,30,31,32,33,34,35,37,38,39,41,42,43,44,45,46,48,49,50,52,53,54,110,114,117,120,136,142,148,154,160],[0,1,2,4,5,6,8,9,10,11,12,13,15,16,17,19,20,21,33,34,35,37,38,39,41,42,43,44,45,46,48,49,50,52,53,54,55,56,57,59,60,61,63,64,65,111,114,116,117,136,142,154,160,166],[0,1,2,4,5,6,8,9,10,22,23,24,26,27,28,30,31,32,33,34,35,37,38,39,41,42,43,55,56,57,59,60,61,63,64,65,112,115,117,118,119,136,148,154,166],[11,12,13,15,16,17,19,20,21,22,23,24,26,27,28,30,31,32,110,142,148],[22,23,24,26,27,28,30,31,32,33,34,35,37,38,39,41,42,43,110,111,115,116,119,148,154],[33,34,35,37,38,39,41,42,43,44,45,46,48,49,50,52,53,54,111,154,160],[44,45,46,48,49,50,52,53,54,55,56,57,59,60,61,63,64,65,111,160,166],[33,35,37,38,39,41,42,44,46,48,49,50,52,53,55,57,59,60,61,63,64,155,161,167],[0,2,4,5,6,8,9,11,13,15,16,17,19,20,44,46,48,49,50,52,53,55,57,59,60,61,63,64,125,127,128,130,131,137,143,161,167],[11,13,15,16,17,19,20,22,24,26,27,28,30,31,44,46,48,49,50,52,53,55,57,59,60,61,63,64,123,125,126,129,131,143,149,161,167],[0,2,4,5,6,8,9,11,13,15,16,17,19,20,22,24,26,27,28,30,31,44,46,48,49,50,52,53,121,122,125,126,127,128,129,137,143,149,161],[22,24,26,27,28,30,31,33,35,37,38,39,41,42,55,57,59,60,61,63,64,121,128,149,155,167],[11,13,15,16,17,19,20,44,46,48,49,50,52,53,121,122,123,126,127,128,131,143,161],[0,2,4,5,6,8,9,33,35,37,38,39,41,42,55,57,59,60,61,63,64,121,124,127,129,130,131,137,155,167],[11,13,15,16,17,19,20,22,24,26,27,28,30,31,33,35,37,38,39,41,42,44,46,48,49,50,52,53,124,125,127,128,129,143,149,155,161],[0,2,4,5,6,8,9,22,24,26,27,28,30,31,33,35,37,38,39,41,42,122,126,128,129,130,131,137,149,155],[0,2,4,5,6,8,9,11,13,15,16,17,19,20,22,24,26,27,28,30,31,137,143,149],[0,2,4,5,6,8,9,11,13,15,16,17,19,20,33,35,37,38,39,41,42,44,46,48,49,50,52,53,123,125,128,130,131,137,143,155,161],[11,13,15,16,17,19,20,33,35,37,38,39,41,42,44,46,48,49,50,52,53,55,57,59,60,61,63,64,121,122,127,143,155,161,167],[0,2,4,5,6,8,9,11,13,15,16,17,19,20,22,24,26,27,28,30,31,33,35,37,38,39,41,42,44,46,48,49,50,52,53,55,57,59,60,61,63,64,121,122,123,127,129,130,131,137,143,149,155,161,167],[0,2,4,5,6,8,9,22,24,26,27,28,30,31,55,57,59,60,61,63,64,122,125,127,128,130,131,137,149,167],[22,24,26,27,28,30,31,44,46,48,49,50,52,53,55,57,59,60,61,63,64,121,126,127,128,149,161,167],[0,2,4,5,6,8,9,11,13,15,16,17,19,20,22,24,26,27,28,30,31,33,35,37,38,39,41,42,121,122,125,129,131,137,143,149,155],[0,2,4,5,6,8,9,11,13,15,16,17,19,20,33,35,37,38,39,41,42,55,57,59,60,61,63,64,125,126,127,129,130,137,143,155,167],[22,24,26,27,28,30,31,33,35,37,38,39,41,42,44,46,48,49,50,52,53,121,125,126,127,128,129,149,155,161],[0,2,4,5,6,8,9,22,24,26,27,28,30,31,121,137,149],[0,2,4,5,6,8,9,11,13,15,16,17,19,20,22,24,26,27,28,30,31,55,57,59,60,61,63,64,121,122,129,137,143,149,167],[0,2,4,5,6,8,9,22,24,26,27,28,30,31,33,35,37,38,39,41,42,44,46,48,49,50,52,53,55,57,59,60,61,63,64,122,124,125,126,129,131,137,149,155,161,167],[11,13,15,16,17,19,20,33,35,37,38,39,41,42,121,122,124,126,128,129,130,143,155],[0,2,4,5,6,8,9,22,24,26,27,28,30,31,44,46,48,49,50,52,53,122,129,130,131,137,149,161],[0,2,4,5,6,8,9,44,46,48,49,50,52,53,55,57,59,60,61,63,64,121,126,137,161,167],[11,13,15,16,17,19,20,22,24,26,27,28,30,31,33,35,37,38,39,41,42,55,57,59,60,61,63,64,125,128,131,143,149,155,167],[11,13,15,16,17,19,20,55,57,59,60,61,63,64,121,122,126,127,128,130,131,143,167],[0,2,4,5,6,8,9,33,35,37,38,39,41,42,44,46,48,49,50,52,53,121,125,126,128,129,131,137,155,161],[0,2,4,5,6,8,9,22,24,26,27,28,30,31,44,46,48,49,50,52,53,55,57,59,60,61,63,64,125,129,131,137,149,161,167],[0,2,4,5,6,8,9,44,46,48,49,50,52,53,121,122,125,126,127,129,130,137,161],[11,13,15,16,17,19,20,33,35,37,38,39,41,42,55,57,59,60,61,63,64,121,126,129,130,143,155,167],[11,13,15,16,17,19,20,22,24,26,27,28,30,31,33,35,37,38,39,41,42,122,126,127,128,130,131,143,149,155],[11,13,15,16,17,19,20,22,24,26,27,28,30,31,55,57,59,60,61,63,64,122,125,127,128,143,149,167],[0,2,4,5,6,8,9,22,24,26,27,28,30,31,33,35,37,38,39,41,42,44,46,48,49,50,52,53,130,137,149,155,161],[0,2,4,5,6,8,9,33,35,37,38,39,41,42,44,46,48,49,50,52,53,55,57,59,60,61,63,64,121,122,129,130,131,137,155,161,167],[0,2,4,5,6,8,9,11,13,15,16,17,19,20,55,57,59,60,61,63,64,122,124,126,127,128,131,137,143,167],[22,24,26,27,28,30,31,44,46,48,49,50,52,53,121,122,124,125,126,127,130,149,161],[0,2,4,5,6,8,9,11,13,15,16,17,19,20,22,24,26,27,28,30,31,33,35,37,38,39,41,42,55,57,59,60,61,63,64,121,125,127,129,130,131,137,143,149,155,167],[22,24,26,27,28,30,31,33,35,37,38,39,41,42,44,46,48,49,50,52,53,55,57,59,60,61,63,64,121,122,126,128,129,130,131,149,155,161,167],[0,2,4,5,6,8,9,11,13,15,16,17,19,20,33,35,37,38,39,41,42,122,125,137,143,155],[33,35,37,38,39,41,42,55,57,59,60,61,63,64,122,155,167],[11,13,15,16,17,19,20,22,24,26,27,28,30,31,44,46,48,49,50,52,53,122,131,143,149,161],[11,13,15,16,17,19,20,33,35,37,38,39,41,42,44,46,48,49,50,52,53,121,126,127,130,143,155,161],[22,24,26,27,28,30,31,55,57,59,60,61,63,64,121,122,123,125,127,128,129,149,167],[0,2,4,5,6,8,9,55,57,59,60,61,63,64,121,122,126,129,130,137,167],[0,2,4,5,6,8,9,11,13,15,16,17,19,20,121,137,143],[11,13,15,16,17,19,20,22,24,26,27,28,30,31,33,35,37,38,39,41,42,44,46,48,49,50,52,53,55,57,59,60,61,63,64,122,125,126,128,129,131,143,149,155,161,167],[11,13,15,16,17,19,20,44,46,48,49,50,52,53,55,57,59,60,61,63,64,121,125,127,129,130,131,143,161,167],[0,2,4,5,6,8,9,11,13,15,16,17,19,20,22,24,26,27,28,30,31,44,46,48,49,50,52,53,55,57,59,60,61,63,64,121,124,125,128,130,131,137,143,149,161,167],[0,2,4,5,6,8,9,33,35,37,38,39,41,42,121,122,123,125,126,127,130,137,155],[0,2,4,5,6,8,9,11,13,15,16,17,19,20,44,46,48,49,50,52,53,122,126,127,128,137,143,161],[0,2,4,5,6,8,9,11,13,15,16,17,19,20,22,24,26,27,28,30,31,33,35,37,38,39,41,42,44,46,48,49,50,52,53,121,125,128,131,137,143,149,155,161],[0,2,4,5,6,8,9,11,13,15,16,17,19,20,33,35,37,38,39,41,42,44,46,48,49,50,52,53,55,57,59,60,61,63,64,122,125,127,128,137,143,155,161,167],[0,2,4,5,6,8,9,22,24,26,27,28,30,31,33,35,37,38,39,41,42,55,57,59,60,61,63,64,123,126,128,129,130,137,149,155,167],[11,13,15,16,17,19,20,22,24,26,27,28,30,31,121,143,149],[22,24,26,27,28,30,31,33,35,37,38,39,41,42,121,122,126,127,130,149,155],[33,35,37,38,39,41,42,44,46,48,49,50,52,53,122,155,161],[44,46,48,49,50,52,53,55,57,59,60,61,63,64,122,161,167]]},"distance":{"d":3,"is_exact":true,"upper":3,"witness":[0,1,38],"A_d":5760,"certified":null},"clifford":{"kind":"powers","correction":{"S":[[0,1],[1,1],[2,2],[3,1],[4,2],[6,3],[7,1],[8,3],[9,2],[10,2],[11,1],[12,1],[13,2],[14,1],[15,2],[17,3],[18,1],[19,3],[20,2],[21,2],[22,1],[23,1],[24,2],[25,1],[26,2],[28,3],[29,1],[30,3],[31,2],[32,2],[33,1],[34,1],[35,2],[36,1],[37,2],[39,3],[40,1],[41,3],[42,2],[43,2],[44,1],[45,1],[46,2],[47,1],[48,2],[50,3],[51,1],[52,3],[53,2],[54,2],[55,1],[56,1],[57,2],[58,1],[59,2],[61,3],[62,1],[63,3],[64,2],[65,2],[66,1],[67,1],[68,1],[69,1],[77,1],[78,1],[79,1],[80,1],[88,1],[89,1],[90,1],[91,1],[99,1],[100,1],[101,1],[102,1],[110,1],[111,1],[112,1],[113,1],[121,1],[122,1],[123,1],[124,1],[132,1],[133,1],[134,1],[135,1],[136,1],[137,1],[138,1],[139,1],[140,1],[141,1],[142,1],[143,1],[144,1],[145,1],[146,1],[147,1],[148,1],[149,1],[150,1],[151,1],[152,1],[153,1],[154,1],[155,1],[156,1],[157,1],[158,1],[159,1],[160,1],[161,1],[162,1],[163,1],[164,1],[165,1],[166,1],[167,1]],"CZ":[[0,5],[0,6],[0,7],[0,8],[0,133],[0,135],[0,136],[0,137],[1,2],[1,5],[1,7],[1,8],[1,9],[1,10],[1,132],[1,133],[1,134],[1,136],[2,4],[2,5],[2,6],[2,7],[2,10],[2,133],[2,134],[2,135],[2,136],[2,137],[4,5],[4,7],[4,8],[4,132],[4,133],[4,134],[4,136],[5,7],[5,8],[5,132],[5,137],[6,8],[6,9],[6,135],[7,9],[7,132],[7,135],[7,136],[7,137],[8,10],[8,133],[8,134],[8,135],[8,137],[9,10],[9,132],[9,135],[9,136],[10,134],[10,135],[10,136],[11,16],[11,17],[11,18],[11,19],[11,139],[11,141],[11,142],[11,143],[12,13],[12,16],[12,18],[12,19],[12,20],[12,21],[12,138],[12,139],[12,140],[12,142],[13,15],[13,16],[13,17],[13,18],[13,21],[13,139],[13,140],[13,141],[13,142],[13,143],[15,16],[15,18],[15,19],[15,138],[15,139],[15,140],[15,142],[16,18],[16,19],[16,138],[16,143],[17,19],[17,20],[17,141],[18,20],[18,138],[18,141],[18,142],[18,143],[19,21],[19,139],[19,140],[19,141],[19,143],[20,21],[20,138],[20,141],[20,142],[21,140],[21,141],[21,142],[22,27],[22,28],[22,29],[22,30],[22,145],[22,147],[22,148],[22,149],[23,24],[23,27],[23,29],[23,30],[23,31],[23,32],[23,144],[23,145],[23,146],[23,148],[24,26],[24,27],[24,28],[24,29],[24,32],[24,145],[24,146],[24,147],[24,148],[24,149],[26,27],[26,29],[26,30],[26,144],[26,145],[26,146],[26,148],[27,29],[27,30],[27,144],[27,149],[28,30],[28,31],[28,147],[29,31],[29,144],[29,147],[29,148],[29,149],[30,32],[30,145],[30,146],[30,147],[30,149],[31,32],[31,144],[31,147],[31,148],[32,146],[32,147],[32,148],[33,38],[33,39],[33,40],[33,41],[33,81],[33,82],[33,84],[33,87],[33,103],[33,104],[33,106],[33,109],[33,114],[33,115],[33,117],[33,120],[33,125],[33,126],[33,128],[33,131],[33,151],[33,153],[33,154],[33,155],[34,35],[34,38],[34,40],[34,41],[34,42],[34,43],[34,70],[34,71],[34,73],[34,76],[34,81],[34,82],[34,84],[34,87],[34,92],[34,93],[34,95],[34,98],[34,114],[34,115],[34,117],[34,120],[34,150],[34,151],[34,152],[34,154],[35,37],[35,38],[35,39],[35,40],[35,43],[35,81],[35,82],[35,84],[35,87],[35,92],[35,93],[35,95],[35,98],[35,103],[35,104],[35,106],[35,109],[35,114],[35,115],[35,117],[35,120],[35,125],[35,126],[35,128],[35,131],[35,151],[35,152],[35,153],[35,154],[35,155],[37,38],[37,40],[37,41],[37,70],[37,71],[37,73],[37,76],[37,81],[37,82],[37,84],[37,87],[37,92],[37,93],[37,95],[37,98],[37,103],[37,104],[37,106],[37,109],[37,114],[37,115],[37,117],[37,120],[37,125],[37,126],[37,128],[37,131],[37,150],[37,151],[37,152],[37,154],[38,40],[38,41],[38,70],[38,71],[38,73],[38,76],[38,103],[38,104],[38,106],[38,109],[38,114],[38,115],[38,117],[38,120],[38,125],[38,126],[38,128],[38,131],[38,150],[38,155],[39,41],[39,42],[39,103],[39,104],[39,106],[39,109],[39,114],[39,115],[39,117],[39,120],[39,125],[39,126],[39,128],[39,131],[39,153],[40,42],[40,70],[40,71],[40,73],[40,76],[40,150],[40,153],[40,154],[40,155],[41,43],[41,81],[41,82],[41,84],[41,87],[41,92],[41,93],[41,95],[41,98],[41,103],[41,104],[41,106],[41,109],[41,114],[41,115],[41,117],[41,120],[41,125],[41,126],[41,128],[41,131],[41,151],[41,152],[41,153],[41,155],[42,43],[42,70],[42,71],[42,73],[42,76],[42,103],[42,104],[42,106],[42,109],[42,114],[42,115],[42,117],[42,120],[42,125],[42,126],[42,128],[42,131],[42,150],[42,153],[42,154],[43,92],[43,93],[43,95],[43,98],[43,114],[43,115],[43,117],[43,120],[43,152],[43,153],[43,154],[44,49],[44,50],[44,51],[44,52],[44,82],[44,83],[44,84],[44,85],[44,104],[44,105],[44,106],[44,107],[44,115],[44,116],[44,117],[44,118],[44,126],[44,127],[44,128],[44,129],[44,157],[44,159],[44,160],[44,161],[45,46],[45,49],[45,51],[45,52],[45,53],[45,54],[45,71],[45,72],[45,73],[45,74],[45,82],[45,83],[45,84],[45,85],[45,93],[45,94],[45,95],[45,96],[45,115],[45,116],[45,117],[45,118],[45,156],[45,157],[45,158],[45,160],[46,48],[46,49],[46,50],[46,51],[46,54],[46,82],[46,83],[46,84],[46,85],[46,93],[46,94],[46,95],[46,96],[46,104],[46,105],[46,106],[46,107],[46,115],[46,116],[46,117],[46,118],[46,126],[46,127],[46,128],[46,129],[46,157],[46,158],[46,159],[46,160],[46,161],[48,49],[48,51],[48,52],[48,71],[48,72],[48,73],[48,74],[48,82],[48,83],[48,84],[48,85],[48,93],[48,94],[48,95],[48,96],[48,104],[48,105],[48,106],[48,107],[48,115],[48,116],[48,117],[48,118],[48,126],[48,127],[48,128],[48,129],[48,156],[48,157],[48,158],[48,160],[49,51],[49,52],[49,71],[49,72],[49,73],[49,74],[49,104],[49,105],[49,106],[49,107],[49,115],[49,116],[49,117],[49,118],[49,126],[49,127],[49,128],[49,129],[49,156],[49,161],[50,52],[50,53],[50,104],[50,105],[50,106],[50,107],[50,115],[50,116],[50,117],[50,118],[50,126],[50,127],[50,128],[50,129],[50,159],[51,53],[51,71],[51,72],[51,73],[51,74],[51,156],[51,159],[51,160],[51,161],[52,54],[52,82],[52,83],[52,84],[52,85],[52,93],[52,94],[52,95],[52,96],[52,104],[52,105],[52,106],[52,107],[52,115],[52,116],[52,117],[52,118],[52,126],[52,127],[52,128],[52,129],[52,157],[52,158],[52,159],[52,161],[53,54],[53,71],[53,72],[53,73],[53,74],[53,104],[53,105],[53,106],[53,107],[53,115],[53,116],[53,117],[53,118],[53,126],[53,127],[53,128],[53,129],[53,156],[53,159],[53,160],[54,93],[54,94],[54,95],[54,96],[54,115],[54,116],[54,117],[54,118],[54,158],[54,159],[54,160],[55,60],[55,61],[55,62],[55,63],[55,81],[55,83],[55,84],[55,86],[55,103],[55,105],[55,106],[55,108],[55,114],[55,116],[55,117],[55,119],[55,125],[55,127],[55,128],[55,130],[55,163],[55,165],[55,166],[55,167],[56,57],[56,60],[56,62],[56,63],[56,64],[56,65],[56,70],[56,72],[56,73],[56,75],[56,81],[56,83],[56,84],[56,86],[56,92],[56,94],[56,95],[56,97],[56,114],[56,116],[56,117],[56,119],[56,162],[56,163],[56,164],[56,166],[57,59],[57,60],[57,61],[57,62],[57,65],[57,81],[57,83],[57,84],[57,86],[57,92],[57,94],[57,95],[57,97],[57,103],[57,105],[57,106],[57,108],[57,114],[57,116],[57,117],[57,119],[57,125],[57,127],[57,128],[57,130],[57,163],[57,164],[57,165],[57,166],[57,167],[59,60],[59,62],[59,63],[59,70],[59,72],[59,73],[59,75],[59,81],[59,83],[59,84],[59,86],[59,92],[59,94],[59,95],[59,97],[59,103],[59,105],[59,106],[59,108],[59,114],[59,116],[59,117],[59,119],[59,125],[59,127],[59,128],[59,130],[59,162],[59,163],[59,164],[59,166],[60,62],[60,63],[60,70],[60,72],[60,73],[60,75],[60,103],[60,105],[60,106],[60,108],[60,114],[60,116],[60,117],[60,119],[60,125],[60,127],[60,128],[60,130],[60,162],[60,167],[61,63],[61,64],[61,103],[61,105],[61,106],[61,108],[61,114],[61,116],[61,117],[61,119],[61,125],[61,127],[61,128],[61,130],[61,165],[62,64],[62,70],[62,72],[62,73],[62,75],[62,162],[62,165],[62,166],[62,167],[63,65],[63,81],[63,83],[63,84],[63,86],[63,92],[63,94],[63,95],[63,97],[63,103],[63,105],[63,106],[63,108],[63,114],[63,116],[63,117],[63,119],[63,125],[63,127],[63,128],[63,130],[63,163],[63,164],[63,165],[63,167],[64,65],[64,70],[64,72],[64,73],[64,75],[64,103],[64,105],[64,106],[64,108],[64,114],[64,116],[64,117],[64,119],[64,125],[64,127],[64,128],[64,130],[64,162],[64,165],[64,166],[65,92],[65,94],[65,95],[65,97],[65,114],[65,116],[65,117],[65,119],[65,164],[65,165],[65,166],[67,73],[67,74],[67,75],[67,76],[70,71],[70,72],[70,73],[70,74],[70,75],[70,76],[70,150],[70,162],[71,72],[71,73],[71,74],[71,75],[71,76],[71,150],[71,156],[72,73],[72,74],[72,75],[72,76],[72,156],[72,162],[73,74],[73,75],[73,76],[73,150],[73,156],[73,162],[74,75],[74,76],[74,156],[75,76],[75,162],[76,150],[78,84],[78,85],[78,86],[78,87],[81,82],[81,83],[81,84],[81,85],[81,86],[81,87],[81,151],[81,163],[82,83],[82,84],[82,85],[82,86],[82,87],[82,151],[82,157],[83,84],[83,85],[83,86],[83,87],[83,157],[83,163],[84,85],[84,86],[84,87],[84,151],[84,157],[84,163],[85,86],[85,87],[85,157],[86,87],[86,163],[87,151],[89,95],[89,96],[89,97],[89,98],[92,93],[92,94],[92,95],[92,96],[92,97],[92,98],[92,152],[92,164],[93,94],[93,95],[93,96],[93,97],[93,98],[93,152],[93,158],[94,95],[94,96],[94,97],[94,98],[94,158],[94,164],[95,96],[95,97],[95,98],[95,152],[95,158],[95,164],[96,97],[96,98],[96,158],[97,98],[97,164],[98,152],[100,106],[100,107],[100,108],[100,109],[103,104],[103,105],[103,106],[103,107],[103,108],[103,109],[103,153],[103,165],[104,105],[104,106],[104,107],[104,108],[104,109],[104,153],[104,159],[105,106],[105,107],[105,108],[105,109],[105,159],[105,165],[106,107],[106,108],[106,109],[106,153],[106,159],[106,165],[107,108],[107,109],[107,159],[108,109],[108,165],[109,153],[111,117],[111,118],[111,119],[111,120],[114,115],[114,116],[114,117],[114,118],[114,119],[114,120],[114,154],[114,166],[115,116],[115,117],[115,118],[115,119],[115,120],[115,154],[115,160],[116,117],[116,118],[116,119],[116,120],[116,160],[116,166],[117,118],[117,119],[117,120],[117,154],[117,160],[117,166],[118,119],[118,120],[118,160],[119,120],[119,166],[120,154],[122,128],[122,129],[122,130],[122,131],[125,126],[125,127],[125,128],[125,129],[125,130],[125,131],[125,155],[125,167],[126,127],[126,128],[126,129],[126,130],[126,131],[126,155],[126,161],[127,128],[127,129],[127,130],[127,131],[127,161],[127,167],[128,129],[128,130],[128,131],[128,155],[128,161],[128,167],[129,130],[129,131],[129,161],[130,131],[130,167],[131,155]]},"rotation_powers":[[0,7],[1,3],[2,7],[3,5],[4,7],[5,7],[6,7],[7,3],[8,5],[9,5],[10,5],[13,7],[14,3],[15,7],[16,3],[23,3],[25,3],[27,5],[30,3],[36,3],[38,3],[39,3],[40,3],[42,3],[44,3],[45,3],[47,3],[51,3],[57,3],[58,3],[59,7],[60,5],[61,7],[62,7],[63,7],[64,3],[65,5],[67,5],[70,7],[71,3],[72,7],[73,3],[80,3],[82,3],[84,5],[87,3],[93,3],[95,3],[96,3],[97,3],[99,3],[101,3],[102,3],[104,3],[108,3],[114,3],[115,3],[116,7],[117,5],[118,7],[119,7],[120,7],[121,3],[122,5],[124,5],[127,7],[128,3],[129,7],[130,3],[137,3],[139,3],[141,5],[144,3],[150,3],[152,3],[153,3],[154,3],[156,3],[158,3],[159,3],[161,3],[165,3],[171,7],[172,3],[173,7],[174,5],[175,7],[176,7],[177,7],[178,3],[179,5],[180,5],[181,5],[184,7],[185,3],[186,7],[187,3],[194,3],[196,3],[198,5],[201,3],[207,3],[209,3],[210,3],[211,3],[213,3],[215,3],[216,3],[218,3],[222,3],[228,7],[229,3],[230,7],[231,5],[232,7],[233,7],[234,7],[235,3],[236,5],[237,5],[238,5],[241,7],[242,3],[243,7],[244,3],[251,3],[253,3],[255,5],[258,3],[264,3],[266,3],[267,3],[268,3],[270,3],[272,3],[273,3],[275,3],[279,3],[285,7],[286,3],[287,7],[288,5],[289,7],[290,7],[291,7],[292,3],[293,5],[294,5],[295,5],[298,7],[299,3],[300,7],[301,3],[308,3],[310,3],[312,5],[315,3],[321,3],[323,3],[324,3],[325,3],[327,3],[329,3],[330,3],[332,3],[336,3],[343,5],[344,3],[345,7],[346,7],[347,3],[349,7],[350,3],[352,7],[354,3],[356,5],[357,3],[358,3],[359,3],[360,3],[363,3],[365,3],[366,3],[371,3],[373,3],[377,3],[378,3],[379,3],[380,3],[381,3],[382,3],[384,3],[385,3],[386,3],[387,3],[390,3],[391,3],[392,3],[394,3],[395,3],[397,3],[398,3],[400,5],[401,3],[402,7],[403,7],[404,3],[406,7],[407,3],[409,7],[411,3],[413,5],[414,3],[415,3],[416,3],[417,3],[420,3],[422,3],[423,3],[428,3],[430,3],[434,3],[435,3],[436,3],[437,3],[438,3],[439,3],[441,3],[442,3],[443,3],[444,3],[447,3],[448,3],[449,3],[451,3],[452,3],[454,3],[455,3],[456,3],[457,5],[458,3],[459,7],[460,5],[461,3],[462,3],[463,7],[465,3],[466,7],[468,3],[469,3],[470,7],[471,3],[472,3],[474,3],[476,3],[477,3],[478,3],[480,3],[482,3],[486,3],[490,3],[491,3],[493,3],[495,3],[497,3],[498,3],[499,3],[500,3],[502,3],[503,3],[504,3],[507,3],[508,3],[509,3],[511,3],[512,3],[513,3],[514,5],[515,3],[516,7],[517,5],[518,3],[519,3],[520,7],[522,3],[523,7],[525,3],[526,3],[527,7],[528,3],[529,3],[531,3],[533,3],[534,3],[535,3],[537,3],[539,3],[543,3],[547,3],[548,3],[550,3],[552,3],[554,3],[555,3],[556,3],[557,3],[559,3],[560,3],[561,3],[564,3],[565,3],[566,3],[568,3],[569,3],[571,5],[572,3],[573,7],[574,7],[575,3],[577,7],[578,3],[580,7],[582,3],[584,5],[585,3],[586,3],[587,3],[588,3],[591,3],[593,3],[594,3],[599,3],[601,3],[605,3],[606,3],[607,3],[608,3],[609,3],[610,3],[612,3],[613,3],[614,3],[615,3],[618,3],[619,3],[620,3],[622,3],[623,3],[625,3],[626,3],[627,3],[628,5],[629,3],[630,7],[631,5],[632,3],[633,3],[634,7],[636,3],[637,7],[639,3],[640,3],[641,7],[642,3],[643,3],[645,3],[647,3],[648,3],[649,3],[651,3],[653,3],[657,3],[661,3],[662,3],[664,3],[666,3],[668,3],[669,3],[670,3],[671,3],[673,3],[674,3],[675,3],[678,3],[679,3],[680,3],[682,3],[683,3]]},"metrics":{"gamma":1.497485520602237,"gamma_t":null,"gamma_rho":1.497485520602237,"gamma_claim":1.497485520602237,"gamma_t_claim":null,"gamma_rho_claim":1.497485520602237,"v_ex":132,"rate":0.19298245614035087,"t_count":null,"poly_degree":null,"effective_width":132},"provenance":{"regimes":["AI search: graph gluing"],"discovery":"AI search","strongest_claim":"found by an AI search that glues catalogued small factories along a graph of paired-column contractions; exact distance verified from columns; a verified witness, not a maximum","sources":[{"regime":"AI search: graph gluing","file":"master_catalog/imports/2026-09-18_graph_gluing_d3/factories.json","label":"graph gluing [[684,132,3]]","N":168,"d":3,"d_is_exact":true,"origin":null,"provenance":"AI search: graph gluing -- twelve [[63,11,3]] glued along K6,6 by 36 paired-column contraction(s) (independent ports); construction and witness in master_catalog/imports/2026-09-18_graph_gluing_d3/witnesses/graph_bipartite_n684_k132_d3.json","notes":"Exact A3=5760 independently counted; details in master_catalog/imports/2026-09-18_graph_gluing_d3/README.md. General gluing has prior art; publication novelty is not asserted."}]},"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"}]}