{"id":"495.99.3.a","row":1071,"stored":{"file":"master_catalog.json","row":1071,"construction":null,"columns_sha256":null},"parameters":{"n":495,"k":99,"d":3,"N":118,"r":19,"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","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","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]],"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]],"sk_fingerprint":"94c6b5508067997a","sk_canonical_frame":true,"relabelled_into_canonical_frame":false},"circuit":{"columns":[[0,1,2,4,5,6,8,9,10,102,103,104],[0,1,2,4,5,6,8,99,100,103,104],[0,1,2,4,5,99,100,101,103],[0,1,2,4,7,8,10,101,102,104],[0,1,2,4,8,100],[0,1,3,4,5,6,7,8,10,99,102,104],[0,1,3,4,6,7,8,100,101,102,103],[0,1,4,5,6,8,9,99,101,102],[0,1,4,5,7,9,10,99,100,101],[0,1,5,9,10,100,102,103,104],[0,1,9,99,101,104],[0,2,4,5,6,7,8,101,103,104],[0,2,4,5,6,8,9,102],[0,2,4,6,7,99,100,101,102],[0,2,4,6,7,99,100,102,104],[0,2,5,6,7,101,102,103],[0,2,5,7,8,9,10,99,101],[0,2,6,7,10,99,100,101,104],[0,3,5,6,7,8,10,99,101,102,103,104],[0,3,6,7,8,100,102],[0,4,6,7,8,9,10,99,101,103],[0,4,7,9,10,99,103,104],[0,4,7,100,101,102,104],[0,7,10,100,104],[0,8,9,99,102,103],[1,2,4,5,7,9,10,99,101,103,104],[1,2,4,5,7,9,10,99,103],[1,2,4,5,9,100,102,104],[1,2,4,7,8,100,101,102],[1,2,4,8,10,101],[1,2,5,7,8,9,10,100,101,104],[1,2,5,7,8,99,101,102,103],[1,2,6,7,9,99,102,103,104],[1,3,4,5,10,99,100,104],[1,3,4,101,103],[1,4,5,7,9,99],[1,5,6,7,8,99,100,101,102,104],[1,6,7,8,10,101,102,103,104],[1,6,7,99,100,102],[2,4,5,6,8,9,10,100,101,103],[2,4,5,6,8,9,10,100,102,103],[2,4,5,7,8,9,10,101,104],[2,5,6,7,9,99,104],[2,5,7,8,9,99,100],[2,6,7,9,10,100,101,102,103,104],[2,6,9,100,103,104],[3,5,10,99,100,101,103,104],[4,5,7,8,9,99,102],[4,5,10,99,100,103],[5,9,10,99,100,101,102,103],[10,99,100,102,103,104],[10,99,101,102,104],[10,100,101],[10,101,102],[10,103,104],[0,1,2,7,9,11,12,13,15,16,17,19,20,100,103,109],[0,1,2,7,9,11,12,13,15,16,17,19,21,100,103,105,106,108,109],[0,1,2,7,9,11,12,13,15,16,21,100,103,105,106,107,108],[11,12,13,15,18,19,21,107,108,109],[11,12,13,15,19,106],[11,12,14,15,16,17,18,19,21,105,108,109],[0,1,2,7,9,11,12,14,15,17,18,19,21,100,103,106,107],[11,12,15,16,17,19,20,105,107,108],[11,12,15,16,18,20,21,105,106,107],[0,1,2,7,9,11,12,16,20,100,103,106,109],[11,12,20,105,107,109],[0,1,2,7,9,11,13,15,16,17,18,19,21,100,103,107,108,109],[11,13,15,16,17,19,20,108],[11,13,15,17,18,105,106,107,108],[11,13,15,17,18,105,106,108,109],[0,1,2,7,9,11,13,16,17,18,21,100,103,107],[11,13,16,18,19,20,21,105,107],[11,13,17,18,21,105,106,107,109],[0,1,2,7,9,11,14,16,17,18,19,100,103,105,107,109],[11,14,17,18,19,106,108],[0,1,2,7,9,11,15,17,18,19,20,100,103,105,107,108],[0,1,2,7,9,11,15,18,20,100,103,105,108,109],[11,15,18,106,107,108,109],[11,18,21,106,109],[0,1,2,7,9,11,19,20,21,100,103,105],[0,1,2,7,9,12,13,15,16,18,20,100,103,105,107,108,109],[0,1,2,7,9,12,13,15,16,18,20,100,103,105,108],[12,13,15,16,20,106,108,109],[12,13,15,18,19,106,107,108],[12,13,15,19,21,107],[12,13,16,18,19,20,21,106,107,109],[0,1,2,7,9,12,13,16,18,19,21,100,103,105,107],[0,1,2,7,9,12,13,17,18,20,21,100,103,105,109],[12,14,15,16,21,105,106,109],[0,1,2,7,9,12,14,15,21,100,103,107,108],[12,15,16,18,20,105],[12,16,17,18,19,105,106,107,108,109],[0,1,2,7,9,12,17,18,19,100,103,107,109],[12,17,18,105,106,108],[0,1,2,7,9,13,15,16,17,19,20,100,103,106,107,108],[0,1,2,7,9,13,15,16,17,19,20,100,103,106],[13,15,16,18,19,20,21,107,109],[13,16,17,18,20,105,109],[13,16,18,19,20,105,106],[0,1,2,7,9,13,17,18,20,100,103,106,107,109],[0,1,2,7,9,13,17,20,21,100,103,106,108,109],[0,1,2,7,9,14,16,100,103,105,106,107,108,109],[15,16,18,19,20,105,108],[0,1,2,7,9,15,16,100,103,105,106,108],[0,1,2,7,9,16,20,100,103,105,106,107],[0,1,2,7,9,100,103,105,106,109],[21,105,107,108,109],[21,106,107],[21,107,108],[0,1,2,7,9,100,103,108,109],[0,1,2,4,5,6,8,9,10,28,31,103,111,112,113],[0,1,2,4,5,6,8,9,10,28,32,103,110,112],[0,1,2,7,9,11,12,13,15,16,19,26,27,29,31,100,103,106,107,108,109,110,112],[4,5,6,7,8,10,11,12,13,15,16,19,22,23,24,27,31,100,106,107,108,109,113],[22,23,24,26,30,111],[4,5,6,7,8,10,11,12,13,15,16,19,22,23,25,28,31,100,106,107,108,109,110,112,113],[0,1,2,7,9,11,12,13,15,16,19,24,25,26,28,30,31,100,103,106,107,108,109,112,113],[22,23,26,27,28,30,31,110,112,113],[22,23,26,27,29,31,32,110,111,112],[0,1,2,4,5,6,8,9,10,24,26,30,31,103,112,113],[4,5,6,7,8,10,11,12,13,15,16,19,22,23,26,27,29,30,32,100,106,107,108,109,110],[0,1,2,4,5,6,8,9,10,23,28,29,32,103,111],[22,24,26,27,28,30,31,113],[22,24,26,28,29,110,111,112,113],[4,5,6,7,8,10,11,12,13,15,16,19,22,24,27,28,30,31,32,100,106,107,108,109,110,111,112,113],[0,1,2,7,9,11,12,13,15,16,19,23,27,28,31,100,103,106,107,108,109,111,112,113],[22,24,27,29,30,31,32,110,112],[4,5,6,7,8,10,11,12,13,15,16,19,22,24,26,27,28,30,31,100,106,107,108,109,110,111],[0,1,2,4,5,6,8,9,10,23,24,25,26,28,29,103,110,111,113],[22,25,28,29,30,111,113],[0,1,2,7,9,11,12,13,15,16,19,23,24,26,28,30,32,100,103,106,107,108,109,110,111,112],[0,1,2,4,5,6,8,9,10,23,24,27,29,30,31,103,110,111,112],[4,5,6,7,8,10,11,12,13,15,16,19,22,27,30,31,32,100,106,107,108,109,111,113],[4,5,6,7,8,10,11,12,13,15,16,19,22,26,27,30,31,100,106,107,108,109,111,112],[0,1,2,7,9,11,12,13,15,16,19,23,24,29,30,100,103,106,107,108,109,110,111,113],[0,1,2,4,5,6,8,9,10,22,29,30,31,103,110,111],[0,1,2,7,9,11,12,13,15,16,19,22,26,27,32,100,103,106,107,108,109,110,111],[4,5,6,7,8,10,11,12,13,15,16,19,23,24,29,30,32,100,106,107,108,109,111,112,113],[23,24,26,29,30,111,112,113],[23,24,26,30,32,112],[4,5,6,7,8,10,11,12,13,15,16,19,23,24,26,100,106,107,108,109,111],[0,1,2,7,9,11,12,13,15,16,19,22,27,30,31,100,103,106,107,108,109,110,111,112,113],[0,1,2,4,5,6,8,9,10,22,26,27,28,29,30,31,32,103,110,111,112,113],[4,5,6,7,8,10,11,12,13,15,16,19,23,25,29,30,31,100,106,107,108,109,110,111,112],[0,1,2,7,9,11,12,13,15,16,19,22,24,25,26,29,31,100,103,106,107,108,109,111,112],[23,26,27,29,31,110],[4,5,6,7,8,10,11,12,13,15,16,19,23,26,28,31,32,100,106,107,108,109,110,111,113],[0,1,2,4,5,6,8,9,10,22,24,26,27,28,29,103,111,113],[23,28,29,110,111,113],[0,1,2,7,9,11,12,13,15,16,19,22,23,26,27,28,29,30,32,100,103,106,107,108,109,112],[0,1,2,7,9,11,12,13,15,16,19,22,23,26,27,28,29,30,32,100,103,106,107,108,109,113],[4,5,6,7,8,10,11,12,13,15,16,19,24,100,106,107,108,109],[4,5,6,7,8,10,11,12,13,15,16,19,24,26,28,30,32,100,106,107,108,109,110,112],[24,27,29,30,31,110,111],[0,1,2,4,5,6,8,9,10,22,23,26,27,28,29,30,31,103,113],[0,1,2,4,5,6,8,9,10,22,23,26,27,28,30,31,32,103,112],[0,1,2,4,5,6,8,9,10,22,23,24,25,26,30,103,110],[26,27,29,30,31,110,113],[0,1,2,7,9,11,12,13,15,16,19,22,23,24,26,27,29,31,32,100,103,106,107,108,109,110],[0,1,2,7,9,11,12,13,15,16,19,22,23,24,27,29,32,100,103,106,107,108,109,110,112,113],[0,1,2,4,5,6,8,9,10,22,23,24,26,27,30,103,110,112,113],[4,5,6,7,8,10,11,12,13,15,16,19,26,27,29,30,31,100,106,107,108,109,110,113],[32,111,112],[32,112,113],[0,1,2,4,5,6,8,9,10,22,23,24,26,27,30,103,111,112],[0,1,2,6,7,11,18,20,24,28,31,32,33,37,38,41,43,101,103,104,105,106,107,108,110,111,113,114,115],[0,2,6,7,10,11,18,20,26,27,28,29,30,32,34,35,39,101,105,106,107,108,111],[4,5,6,7,8,10,11,12,15,16,19,21,24,26,27,29,30,31,34,35,37,38,40,42,43,100,105,106,110,113],[0,1,2,4,5,8,10,12,15,16,18,19,20,21,26,27,28,29,30,32,37,39,41,100,101,103,104,107,108,111],[33,34,35,37,41,115],[0,1,2,4,5,6,8,9,10,24,26,27,29,30,31,33,36,37,38,39,40,41,43,103,110,113,114],[1,4,5,6,7,8,11,12,15,16,19,21,33,35,36,38,43,100,103,104,105,106,114],[1,6,9,10,12,15,16,18,19,20,21,26,27,28,29,30,32,33,39,40,43,100,101,103,107,108,111,114],[6,9,12,15,16,18,19,20,21,24,28,31,32,34,35,37,38,39,42,100,101,104,107,108,110,111,113,114,115],[0,1,2,6,7,11,18,20,24,28,31,32,33,35,38,39,43,101,103,104,105,106,107,108,110,111,113,114],[0,2,4,5,8,12,15,16,18,19,20,21,24,28,31,32,33,34,37,38,40,41,43,100,101,107,108,110,111,113,114],[0,2,7,9,10,11,12,15,16,19,21,24,26,27,29,30,31,33,43,100,104,105,106,110,113,114,115],[1,10,24,26,27,29,30,31,34,103,104,110,113],[1,6,9,10,12,15,16,18,19,20,21,26,27,28,29,30,32,33,34,35,38,39,41,42,43,100,101,103,107,108,111,114,115],[0,1,2,4,5,6,8,9,10,24,26,27,29,30,31,33,34,35,37,39,40,103,110,113,114,115],[1,4,5,6,7,8,11,12,15,16,19,21,33,34,37,41,43,100,103,104,105,106,114,115],[6,9,12,15,16,18,19,20,21,24,28,31,32,38,39,41,42,100,101,104,107,108,110,111,113,114],[0,2,4,5,8,12,15,16,18,19,20,21,24,28,31,32,33,35,37,38,39,41,42,100,101,107,108,110,111,113,114,115],[0,1,2,7,9,11,12,15,16,19,21,34,36,38,39,41,42,100,103,105,106,115],[1,10,24,26,27,29,30,31,34,35,36,37,38,40,42,103,104,110,113,115],[4,5,6,7,8,10,11,12,15,16,19,21,24,26,27,29,30,31,37,39,41,100,105,106,110,113,115],[0,2,6,7,10,11,18,20,26,27,28,29,30,32,38,40,41,42,43,101,105,106,107,108,111,115],[0,1,2,4,5,8,10,12,15,16,18,19,20,21,26,27,28,29,30,32,34,35,37,39,43,100,101,103,104,107,108,111,115],[0,2,4,5,6,8,9,35,37,38,39,40,41,42,43,104,115],[1,4,5,7,8,9,11,18,20,24,28,31,32,34,37,38,42,101,103,105,106,107,108,110,111,113,115],[0,2,7,9,10,11,12,15,16,19,21,24,26,27,29,30,31,34,39,41,42,100,104,105,106,110,113,115],[4,5,7,8,9,10,11,18,20,26,27,28,29,30,32,34,37,38,39,40,43,101,104,105,106,107,108,111,115],[0,1,2,4,5,6,8,9,10,24,26,27,29,30,31,35,37,38,42,103,110,113,115],[1,6,9,10,12,15,16,18,19,20,21,26,27,28,29,30,32,35,38,42,43,100,101,103,107,108,111,115],[6,9,12,15,16,18,19,20,21,24,28,31,32,33,34,37,39,40,41,100,101,104,107,108,110,111,113],[0,2,4,5,8,12,15,16,18,19,20,21,24,28,31,32,34,35,37,100,101,107,108,110,111,113,115],[1,4,5,6,7,8,11,12,15,16,19,21,37,39,43,100,103,104,105,106,115],[0,1,2,6,7,11,18,20,24,28,31,32,40,101,103,104,105,106,107,108,110,111,113,115],[0,2,4,5,6,8,9,33,34,35,36,39,41,42,43,104,114,115],[4,5,6,7,8,10,11,12,15,16,19,21,24,26,27,29,30,31,33,34,36,37,40,42,43,100,105,106,110,113,114,115],[34,37,38,40,42,114],[0,1,2,4,5,8,10,12,15,16,18,19,20,21,26,27,28,29,30,32,33,35,38,41,43,100,101,103,104,107,108,111,114,115],[0,1,2,7,9,11,12,15,16,19,21,33,39,41,42,100,103,105,106,114,115],[1,10,24,26,27,29,30,31,33,35,37,38,40,41,42,103,104,110,113,114,115],[4,5,6,7,8,10,11,12,15,16,19,21,24,26,27,29,30,31,33,35,37,38,39,40,41,100,105,106,110,113,114],[1,4,5,7,8,9,11,18,20,24,28,31,32,33,34,35,39,42,43,101,103,105,106,107,108,110,111,113,114],[0,2,4,5,8,12,15,16,18,19,20,21,24,28,31,32,35,100,101,107,108,110,111,113],[0,2,4,5,6,8,9,33,37,40,41,104,114],[35,38,40,41,42,114,115],[0,1,2,7,9,11,12,15,16,19,21,33,34,35,39,100,103,105,106,114],[0,2,6,7,10,11,18,20,26,27,28,29,30,32,33,35,37,38,39,41,42,101,105,106,107,108,111,114],[0,2,7,9,10,11,12,15,16,19,21,24,26,27,29,30,31,35,36,37,39,40,41,100,104,105,106,110,113],[1,10,24,26,27,29,30,31,33,34,35,39,40,103,104,110,113,114],[4,5,7,8,9,10,11,18,20,26,27,28,29,30,32,35,37,38,39,42,43,101,104,105,106,107,108,111],[1,4,5,6,7,8,11,12,15,16,19,21,34,35,37,39,40,41,42,100,103,104,105,106],[0,1,2,6,7,11,18,20,24,28,31,32,34,35,39,42,43,101,103,104,105,106,107,108,110,111,113],[0,1,2,4,5,8,10,12,15,16,18,19,20,21,26,27,28,29,30,32,33,34,35,39,40,100,101,103,104,107,108,111,114],[6,9,12,15,16,18,19,20,21,24,28,31,32,33,35,39,40,100,101,104,107,108,110,111,113,115],[1,6,9,10,12,15,16,18,19,20,21,26,27,28,29,30,32,34,37,38,40,41,42,100,101,103,107,108,111],[0,2,6,7,10,11,18,20,26,27,28,29,30,32,33,37,38,41,43,101,105,106,107,108,111,114,115],[0,4,5,8,10,13,21,22,23,26,27,30,32,33,34,39,40,46,54,99,100,102,104,105,107,108,109,110,111,114,116,117],[0,2,7,9,10,11,12,15,16,19,21,24,26,27,29,30,31,33,34,39,40,50,54,100,104,105,106,110,113,114,116,117],[0,1,2,7,9,11,12,13,18,20,21,48,49,51,53,100,103,106,108,116,117],[1,10,13,21,22,23,26,27,30,32,33,34,39,40,44,45,48,51,52,103,104,105,107,108,109,110,111,114,116],[2,4,5,7,8,9,11,12,13,18,20,21,44,45,46,49,50,51,54,99,102,106,108],[1,10,13,21,22,23,26,27,30,32,33,34,39,40,44,45,46,47,48,49,50,51,52,103,104,105,107,108,109,110,111,114,117],[0,1,2,7,9,11,12,13,15,16,19,22,23,24,29,31,32,47,49,50,51,100,103,106,107,108,109,111,113,116,117],[15,16,18,19,20,21,22,23,24,29,31,32,44,45,46,50,51,107,109,111,113,117],[2,4,5,7,8,9,11,12,13,18,20,21,44,45,50,52,53,99,102,106,108,116,117],[0,2,7,9,10,11,12,18,20,22,23,26,27,30,32,33,34,39,40,49,51,100,104,105,106,107,109,110,111,114,116,117],[1,10,13,15,16,18,19,20,24,26,27,29,30,31,33,34,39,40,44,45,48,49,51,52,54,103,104,105,108,110,113,114,116],[0,4,5,8,10,13,15,16,18,19,20,24,26,27,29,30,31,33,34,39,40,45,48,49,52,99,100,102,104,105,108,110,113,114],[15,16,18,19,20,21,22,23,24,29,31,32,44,50,51,107,109,111,113,116],[2,4,5,7,8,9,11,12,13,15,16,19,22,23,24,29,31,32,44,48,51,53,54,99,102,106,107,108,109,111,113,117],[1,2,4,5,7,8,9,10,11,12,18,20,22,23,26,27,30,32,33,34,39,40,44,49,52,99,102,103,104,105,106,107,109,110,111,114,117],[0,1,4,5,8,15,16,18,19,20,21,22,23,24,29,31,32,45,46,49,54,99,100,102,103,107,109,111,113,116,117],[44,46,49,51,52,53,54,116,117],[1,2,4,5,7,8,9,10,11,12,15,16,19,21,24,26,27,29,30,31,33,34,39,40,44,46,51,53,54,99,102,103,104,105,106,110,113,114,116],[0,4,5,8,10,13,21,22,23,26,27,30,32,33,34,39,40,45,47,48,51,53,54,99,100,102,104,105,107,108,109,110,111,114],[2,4,5,7,8,9,11,12,13,15,16,19,22,23,24,29,31,32,44,46,47,51,52,53,54,99,102,106,107,108,109,111,113,116],[0,1,4,5,8,45,46,49,51,99,100,102,103,116,117],[0,4,5,8,10,13,15,16,18,19,20,24,26,27,29,30,31,33,34,39,40,45,46,48,50,53,54,99,100,102,104,105,108,110,113,114,116,117],[1,2,4,5,7,8,9,10,11,12,18,20,22,23,26,27,30,32,33,34,39,40,44,46,49,50,52,99,102,103,104,105,106,107,109,110,111,114,116],[1,2,4,5,7,8,9,10,11,12,15,16,19,21,24,26,27,29,30,31,33,34,39,40,44,50,51,53,54,99,102,103,104,105,106,110,113,114,117],[0,1,4,5,8,15,16,18,19,20,21,22,23,24,29,31,32,45,50,51,52,53,54,99,100,102,103,107,109,111,113],[0,4,5,8,10,13,15,16,18,19,20,24,26,27,29,30,31,33,34,39,40,44,48,49,50,53,54,99,100,102,104,105,108,110,113,114,116],[0,1,4,5,8,44,50,51,52,99,100,102,103,116],[1,2,4,5,7,8,9,10,11,12,18,20,22,23,26,27,30,32,33,34,39,40,45,50,51,52,53,99,102,103,104,105,106,107,109,110,111,114,116,117],[2,4,5,7,8,9,11,12,13,15,16,19,22,23,24,29,31,32,45,48,50,51,52,53,54,99,102,106,107,108,109,111,113,116,117],[45,46,48,52,54,117],[1,2,4,5,7,8,9,10,11,12,15,16,19,21,24,26,27,29,30,31,33,34,39,40,45,46,49,50,51,52,54,99,102,103,104,105,106,110,113,114],[0,1,4,5,8,15,16,18,19,20,21,22,23,24,29,31,32,44,46,49,50,52,54,99,100,102,103,107,109,111,113,117],[0,4,5,8,10,13,21,22,23,26,27,30,32,33,34,39,40,44,46,48,49,51,52,99,100,102,104,105,107,108,109,110,111,114,117],[1,2,4,5,7,8,9,10,11,12,15,16,19,21,24,26,27,29,30,31,33,34,39,40,45,47,48,49,50,53,54,99,102,103,104,105,106,110,113,114,116,117],[0,1,4,5,8,44,46,47,49,50,52,53,54,99,100,102,103,117],[45,48,49,51,53,116],[1,2,4,5,7,8,9,10,11,12,18,20,22,23,26,27,30,32,33,34,39,40,45,46,48,99,102,103,104,105,106,107,109,110,111,114],[0,4,5,8,10,13,21,22,23,26,27,30,32,33,34,39,40,44,48,49,51,53,54,99,100,102,104,105,107,108,109,110,111,114,116],[2,4,5,7,8,9,11,12,13,15,16,19,22,23,24,29,31,32,45,46,51,53,54,99,102,106,107,108,109,111,113],[0,1,2,7,9,11,12,13,18,20,21,44,45,48,49,50,51,52,54,100,103,106,108,117],[0,1,2,7,9,11,12,13,15,16,19,22,23,24,29,31,32,44,45,46,50,53,54,100,103,106,107,108,109,111,113,116],[1,10,13,15,16,18,19,20,24,26,27,29,30,31,33,34,39,40,46,103,104,105,108,110,113,114],[1,10,13,15,16,18,19,20,24,26,27,29,30,31,33,34,39,40,46,48,50,52,54,103,104,105,108,110,113,114,116,117],[2,4,5,7,8,9,11,12,13,18,20,21,46,48,50,53,54,99,102,106,108,116],[0,2,7,9,10,11,12,18,20,22,23,26,27,30,32,33,34,39,40,44,45,46,50,100,104,105,106,107,109,110,111,114,116],[0,2,7,9,10,11,12,15,16,19,21,24,26,27,29,30,31,33,34,39,40,44,45,48,49,50,52,53,54,100,104,105,106,110,113,114,117],[0,2,7,9,10,11,12,15,16,19,21,24,26,27,29,30,31,33,34,39,40,44,45,46,47,48,52,100,104,105,106,110,113,114,116],[15,16,18,19,20,21,22,23,24,29,31,32,46,107,109,111,113],[0,1,2,7,9,11,12,13,18,20,21,44,45,46,48,49,51,53,54,100,103,106,108,116],[0,1,2,7,9,11,12,13,15,16,19,22,23,24,29,31,32,44,45,48,52,53,54,100,103,106,107,108,109,111,113,117],[0,2,7,9,10,11,12,18,20,22,23,26,27,30,32,33,34,39,40,44,45,51,53,100,104,105,106,107,109,110,111,114,117],[1,10,13,21,22,23,26,27,30,32,33,34,39,40,46,103,104,105,107,108,109,110,111,114],[2,4,5,7,8,9,11,12,13,18,20,21,48,49,50,51,52,99,102,106,108,117],[15,16,18,19,20,21,22,23,24,29,31,32,46,48,49,51,52,53,54,107,109,111,113,116,117],[0,4,5,8,10,13,15,16,18,19,20,24,26,27,29,30,31,33,34,39,40,44,45,46,50,51,54,99,100,102,104,105,108,110,113,114,117],[4,5,6,7,8,10,12,17,20,22,24,28,29,32,56,100,106,107,108,112],[0,2,6,7,10,12,17,20,22,24,28,29,32,33,34,39,40,44,46,50,51,54,56,57,61,101,106,107,108,112,114,117],[1,4,5,6,7,8,10,12,13,15,16,17,18,19,22,26,27,28,30,31,32,33,34,39,40,44,46,50,51,54,56,57,59,60,62,64,65,100,102,104,105,106,107,110,112,113,114,117],[0,2,4,5,8,10,11,13,15,16,17,19,20,33,34,39,40,44,46,50,51,54,59,61,63,100,101,102,103,109,114,117],[4,5,7,8,9,10,11,13,15,16,19,26,27,28,29,30,32,33,34,39,40,44,46,50,51,54,55,56,57,60,61,62,65,101,104,106,107,111,114,117],[0,2,4,5,6,8,9,12,22,24,26,27,30,56,58,59,60,63,65,104,108,109,111,112],[0,1,2,4,5,6,8,9,11,12,17,18,22,29,31,33,34,39,40,44,46,50,51,54,56,57,58,60,61,62,65,102,105,110,111,112,113,114,117],[1,6,9,12,13,15,16,18,19,20,22,29,31,56,65,100,101,102,105,109,110,111,112,113],[4,5,6,7,8,12,17,20,22,24,28,29,32,55,57,61,63,64,65,100,102,103,106,107,108,112],[6,9,11,12,13,15,16,17,19,20,22,24,26,27,30,33,34,39,40,44,46,50,51,54,56,57,60,62,65,100,101,104,108,111,112,114,117],[4,5,7,8,9,17,20,26,27,28,29,30,32,33,34,39,40,44,46,50,51,54,59,60,61,63,65,101,102,103,104,106,107,109,111,114,117],[0,2,4,5,8,10,33,34,39,40,44,46,50,51,54,56,59,60,63,100,101,102,103,114,117],[1,10,11,17,18,24,26,27,29,30,31,33,34,39,40,44,46,50,51,54,56,103,104,105,108,109,110,113,114,117],[1,4,5,6,7,8,10,11,12,18,20,22,26,27,28,30,31,32,33,34,39,40,44,46,50,51,54,57,59,61,64,100,102,104,105,106,107,109,110,112,113,114,117],[0,2,6,7,10,11,12,13,15,16,19,22,24,28,29,32,33,34,39,40,44,46,50,51,54,57,60,61,62,63,65,101,106,107,108,109,112,114,117],[0,1,2,6,7,10,12,13,15,16,17,18,19,22,26,27,28,30,31,32,60,101,102,104,105,106,107,110,112,113],[6,9,10,11,12,13,15,16,17,19,20,22,24,26,27,30,33,34,39,40,44,46,50,51,54,55,56,60,62,63,64,100,101,102,103,104,108,111,112,114,117],[10,11,13,15,16,17,19,20,56,57,61,64,65,102,103,109],[4,5,7,8,9,11,13,15,16,19,26,27,28,29,30,32,33,34,39,40,44,46,50,51,54,56,58,59,62,64,65,101,102,103,104,106,107,111,114,117],[1,4,5,7,8,9,13,15,16,17,18,19,24,28,31,32,56,57,58,61,63,64,65,101,103,105,106,107,108,109,110,111,113],[1,6,9,11,12,17,18,22,29,31,60,62,65,100,101,102,105,110,111,112,113],[0,2,4,5,6,8,9,11,12,13,15,16,17,19,20,22,24,26,27,30,59,61,64,104,108,111,112],[0,2,7,9,17,20,26,27,28,29,30,32,56,57,60,62,63,100,102,103,104,106,107,109,111],[6,9,12,22,24,26,27,30,33,34,39,40,44,46,50,51,54,57,64,100,101,104,108,109,111,112,114,117],[0,1,2,7,9,11,18,20,24,28,31,32,33,34,39,40,44,46,50,51,54,56,61,62,63,64,65,100,103,105,106,107,108,110,111,113,114,117],[1,4,5,7,8,9,10,13,15,16,17,18,19,24,28,31,32,56,59,60,62,64,65,101,102,105,106,107,108,109,110,111,113],[0,2,7,9,10,17,20,26,27,28,29,30,32,56,63,100,104,106,107,109,111],[1,6,9,10,11,12,17,18,22,29,31,57,61,62,63,64,65,100,101,103,105,110,111,112,113],[0,2,4,5,6,8,9,10,11,12,13,15,16,17,19,20,22,24,26,27,30,57,59,61,62,63,64,102,103,104,108,111,112],[0,1,2,6,7,10,11,12,18,20,22,26,27,28,30,31,32,55,56,59,61,62,63,101,102,104,105,106,107,109,110,112,113],[0,1,2,7,9,10,11,18,20,24,28,31,32,33,34,39,40,44,46,50,51,54,56,57,60,61,62,63,65,100,102,105,106,107,108,110,111,113,114,117],[6,9,10,12,22,24,26,27,30,33,34,39,40,44,46,50,51,54,60,62,63,100,101,102,103,104,108,109,111,112,114,117],[0,1,2,4,5,6,8,9,10,12,13,15,16,18,19,20,22,29,31,33,34,39,40,44,46,50,51,54,59,60,61,63,65,103,105,109,110,111,112,113,114,117],[0,1,2,6,7,12,13,15,16,17,18,19,22,26,27,28,30,31,32,57,58,59,60,61,64,101,103,104,105,106,107,110,112,113],[0,2,6,7,11,12,13,15,16,19,22,24,28,29,32,33,34,39,40,44,46,50,51,54,58,60,62,63,64,101,102,103,106,107,108,109,112,114,117],[0,1,2,7,9,13,15,16,17,18,19,24,28,31,32,33,34,39,40,44,46,50,51,54,55,59,60,61,64,100,103,105,106,107,108,109,110,111,113,114,117],[1,13,15,16,18,19,20,24,26,27,29,30,31,33,34,39,40,44,46,50,51,54,56,57,59,102,104,105,108,110,113,114,117],[0,1,2,4,5,8,11,17,18,24,26,27,29,30,31,56,59,60,61,64,65,100,101,102,104,105,108,109,110,113],[0,2,4,5,8,33,34,39,40,44,46,50,51,54,56,57,62,64,65,100,101,114,117],[0,2,4,5,6,8,9,10,12,22,24,26,27,30,56,57,59,60,63,102,103,104,108,109,111,112],[4,5,7,8,9,10,17,20,26,27,28,29,30,32,33,34,39,40,44,46,50,51,54,57,62,64,65,101,104,106,107,109,111,114,117],[0,1,2,4,5,8,13,15,16,18,19,20,24,26,27,29,30,31,57,100,101,102,104,105,108,110,113],[0,1,2,4,5,6,8,9,10,11,12,17,18,22,29,31,33,34,39,40,44,46,50,51,54,56,59,61,63,103,105,110,111,112,113,114,117],[0,1,2,4,5,8,10,11,17,18,24,26,27,29,30,31,55,56,57,59,62,64,65,100,101,103,104,105,108,109,110,113],[0,1,2,7,9,10,13,15,16,17,18,19,24,28,31,32,33,34,39,40,44,46,50,51,54,57,62,100,102,105,106,107,108,109,110,111,113,114,117],[1,6,9,10,12,13,15,16,18,19,20,22,29,31,56,57,59,60,62,63,64,100,101,103,105,109,110,111,112,113],[1,11,17,18,24,26,27,29,30,31,33,34,39,40,44,46,50,51,54,57,58,59,61,62,63,102,104,105,108,109,110,113,114,117],[0,2,7,9,10,11,13,15,16,19,26,27,28,29,30,32,57,100,104,106,107,111],[0,2,4,5,8,11,13,15,16,17,19,20,33,34,39,40,44,46,50,51,54,57,59,60,61,64,65,100,101,109,114,117],[4,5,6,7,8,11,12,13,15,16,19,22,24,28,29,32,56,57,59,61,62,63,64,100,102,103,106,107,108,109,112],[0,1,2,6,7,11,12,18,20,22,26,27,28,30,31,32,56,57,61,64,65,101,103,104,105,106,107,109,110,112,113],[1,4,5,7,8,9,10,11,18,20,24,28,31,32,57,101,102,105,106,107,108,110,111,113],[0,1,2,4,5,6,8,9,12,13,15,16,18,19,20,22,29,31,33,34,39,40,44,46,50,51,54,55,57,59,60,63,65,102,105,109,110,111,112,113,114,117],[0,2,6,7,12,17,20,22,24,28,29,32,33,34,39,40,44,46,50,51,54,56,59,60,62,63,64,101,102,103,106,107,108,112,114,117],[1,4,5,6,7,8,11,12,18,20,22,26,27,28,30,31,32,33,34,39,40,44,46,50,51,54,56,100,103,104,105,106,107,109,110,112,113,114,117],[1,12,67,102,104,108,109],[0,1,4,5,8,11,13,15,16,19,22,23,24,29,31,32,37,38,39,40,41,43,67,68,72,99,100,102,103,106,107,111,113,115],[0,2,7,9,10,11,12,15,16,19,21,22,23,28,29,33,34,39,40,45,46,54,67,68,70,71,73,75,76,100,104,105,106,110,114,116,117],[0,4,5,8,10,11,12,15,16,19,21,24,26,27,29,30,31,33,34,37,38,41,43,45,46,54,70,72,74,99,100,102,104,105,106,110,113,114,115,116,117],[0,1,7,9,12,15,16,18,19,20,21,24,28,31,32,45,46,54,66,67,68,71,72,73,76,99,100,101,104,107,108,110,111,113,116,117],[1,4,5,7,8,9,11,12,13,18,20,21,22,23,28,29,37,38,39,40,41,43,45,46,54,67,69,70,71,74,76,101,103,106,108,110,115,116,117],[0,1,2,4,5,8,10,12,13,15,16,18,19,20,33,34,37,38,41,43,67,68,69,71,72,73,76,100,101,103,104,105,109,114,115],[2,10,11,18,20,22,23,24,29,31,32,33,34,39,40,67,76,99,101,102,104,105,106,107,108,111,113,114],[10,12,13,21,22,23,26,27,30,32,33,34,39,40,45,46,54,66,68,72,74,75,76,102,103,105,107,110,111,114,116,117],[0,7,9,15,16,18,19,20,21,24,28,31,32,45,46,54,67,68,71,73,76,99,100,101,102,107,109,110,111,113,116,117],[0,1,7,9,10,12,13,15,16,18,19,20,22,23,24,26,27,28,30,31,33,34,39,40,70,71,72,74,76,99,100,101,102,103,104,105,109,113,114],[0,1,4,5,8,10,11,12,15,16,19,21,24,26,27,29,30,31,33,34,37,38,41,43,45,46,54,67,70,71,74,99,100,105,106,110,113,114,115,116,117],[0,1,2,7,9,11,13,15,16,19,26,27,28,29,30,32,67,100,103,106,107,111],[0,1,2,7,9,10,11,12,15,16,19,21,22,23,28,29,33,34,39,40,45,46,54,68,70,72,75,100,102,105,106,110,114,116,117],[0,4,5,8,11,13,15,16,19,22,23,24,29,31,32,37,38,39,40,41,43,68,71,72,73,74,76,99,100,103,104,106,107,111,113,115],[2,4,5,7,8,9,10,13,21,24,28,31,32,33,34,37,38,41,43,45,46,54,71,99,103,105,107,108,109,110,111,113,114,115,116,117],[0,1,7,9,10,13,15,16,18,19,20,22,23,24,26,27,28,30,31,33,34,39,40,66,67,71,73,74,75,99,100,101,102,103,104,105,108,113,114],[10,13,21,22,23,26,27,30,32,33,34,39,40,45,46,54,67,68,72,75,76,102,103,105,107,108,109,110,111,114,116,117],[0,7,9,10,12,13,15,16,18,19,20,22,23,24,26,27,28,30,31,33,34,39,40,67,69,70,73,75,76,99,100,101,103,105,109,113,114],[2,11,12,13,18,20,21,24,26,27,29,30,31,45,46,54,67,68,69,72,74,75,76,99,101,103,104,106,108,110,113,116,117],[1,2,10,11,18,20,22,23,24,29,31,32,33,34,39,40,71,73,76,99,101,105,106,107,108,111,113,114],[4,5,7,8,9,11,12,13,18,20,21,22,23,28,29,37,38,39,40,41,43,45,46,54,70,72,75,101,102,103,104,106,108,110,115,116,117],[1,4,5,7,8,9,10,11,18,20,26,27,28,29,30,32,33,34,37,38,41,43,67,68,71,73,74,101,102,105,106,107,108,111,114,115],[0,1,7,9,15,16,18,19,20,21,24,28,31,32,45,46,54,68,75,99,100,101,104,107,109,110,111,113,116,117],[0,1,2,4,5,8,15,16,18,19,20,21,22,23,26,27,30,32,37,38,39,40,41,43,45,46,54,67,72,73,74,75,76,100,101,102,104,107,109,110,111,115,116,117],[1,2,10,11,12,18,20,22,23,24,29,31,32,33,34,39,40,67,70,71,73,75,76,99,101,105,106,107,109,111,113,114],[4,5,7,8,9,11,13,18,20,21,22,23,28,29,37,38,39,40,41,43,45,46,54,67,74,101,102,103,104,106,109,110,115,116,117],[2,11,13,18,20,21,24,26,27,29,30,31,45,46,54,68,72,73,74,75,76,99,101,103,104,106,109,110,113,116,117],[1,4,5,7,8,9,10,11,12,18,20,26,27,28,29,30,32,33,34,37,38,41,43,68,70,72,73,74,75,101,102,105,106,107,109,111,114,115],[1,2,4,5,7,8,9,10,13,21,24,28,31,32,33,34,37,38,41,43,45,46,54,66,67,70,72,73,74,99,102,103,104,105,107,108,109,110,111,113,114,115,116,117],[0,2,4,5,8,10,13,15,16,18,19,20,33,34,37,38,41,43,67,68,71,72,73,74,76,100,101,102,103,105,108,114,115],[0,7,9,10,13,15,16,18,19,20,22,23,24,26,27,28,30,31,33,34,39,40,71,73,74,99,100,101,103,105,108,113,114],[0,1,2,4,5,8,12,15,16,18,19,20,21,22,23,26,27,30,32,37,38,39,40,41,43,45,46,54,70,71,72,74,76,100,101,102,104,107,108,110,111,115,116,117],[1,2,4,5,7,8,9,22,23,24,26,27,28,30,31,37,38,39,40,41,43,68,69,70,71,72,75,99,104,113,115],[0,1,4,5,8,10,11,15,16,19,21,24,26,27,29,30,31,33,34,37,38,41,43,45,46,54,69,71,73,74,75,99,100,105,106,108,109,110,113,114,115,116,117],[0,2,4,5,8,15,16,18,19,20,21,22,23,26,27,30,32,37,38,39,40,41,43,45,46,54,66,70,71,72,75,100,101,107,109,110,111,115,116,117],[0,1,2,7,9,10,11,15,16,19,21,22,23,28,29,33,34,39,40,45,46,54,67,68,70,100,102,105,106,108,109,110,114,116,117],[2,4,5,7,8,9,10,12,13,21,24,28,31,32,33,34,37,38,41,43,45,46,54,67,70,71,72,75,76,99,103,105,107,110,111,113,114,115,116,117],[0,4,5,8,11,12,13,15,16,19,22,23,24,29,31,32,37,38,39,40,41,43,67,68,73,75,76,99,100,103,104,106,107,108,109,111,113,115],[4,5,7,8,9,10,11,12,18,20,26,27,28,29,30,32,33,34,37,38,41,43,67,68,70,71,74,101,104,105,106,107,109,111,114,115],[0,7,9,12,15,16,18,19,20,21,24,28,31,32,45,46,54,68,73,75,76,99,100,101,102,107,108,110,111,113,116,117],[1,2,4,5,7,8,9,10,12,13,21,24,28,31,32,33,34,37,38,41,43,45,46,54,68,99,102,103,104,105,107,110,111,113,114,115,116,117],[0,2,4,5,8,12,15,16,18,19,20,21,22,23,26,27,30,32,37,38,39,40,41,43,45,46,54,67,70,72,74,100,101,107,108,110,111,115,116,117],[1,2,4,5,7,8,9,12,22,23,24,26,27,28,30,31,37,38,39,40,41,43,66,67,68,70,73,75,76,99,104,108,109,113,115],[0,1,2,4,5,8,10,13,15,16,18,19,20,33,34,37,38,41,43,68,73,100,101,103,104,105,108,114,115],[1,2,11,13,18,20,21,24,26,27,29,30,31,45,46,54,67,68,70,71,73,74,75,99,101,102,103,106,109,110,113,116,117],[0,2,7,9,10,11,15,16,19,21,22,23,28,29,33,34,39,40,45,46,54,68,69,70,72,73,74,100,104,105,106,108,109,110,114,116,117],[1,4,5,7,8,9,11,13,18,20,21,22,23,28,29,37,38,39,40,41,43,45,46,54,68,101,103,106,109,110,115,116,117],[0,1,4,5,8,11,12,13,15,16,19,22,23,24,29,31,32,37,38,39,40,41,43,68,70,71,72,75,76,99,100,102,103,106,107,108,109,111,113,115],[1,10,12,13,21,22,23,26,27,30,32,33,34,39,40,45,46,54,67,68,70,72,73,74,75,103,104,105,107,110,111,114,116,117],[2,4,5,7,8,9,22,23,24,26,27,28,30,31,37,38,39,40,41,43,67,68,72,75,76,99,102,113,115],[2,10,11,12,18,20,22,23,24,29,31,32,33,34,39,40,68,99,101,102,104,105,106,107,109,111,113,114],[0,2,4,5,8,10,12,13,15,16,18,19,20,33,34,37,38,41,43,66,68,70,71,74,76,100,101,102,103,105,109,114,115],[0,4,5,8,10,11,15,16,19,21,24,26,27,29,30,31,33,34,37,38,41,43,45,46,54,67,70,71,73,74,75,99,100,102,104,105,106,108,109,110,113,114,115,116,117],[0,2,7,9,11,12,13,15,16,19,26,27,28,29,30,32,67,100,102,103,104,106,107,108,109,111],[1,2,11,12,18,20,22,23,26,27,30,32,33,34,39,40,78,99,101,102,103,105,106,107,109,110,111,114],[0,1,4,5,6,8,9,11,12,13,15,16,19,23,26,27,29,30,31,32,78,79,83,99,101,102,103,104,106,107,108,109,112,113],[2,10,11,12,13,15,16,17,19,20,78,79,81,82,84,86,87,99,101,102,104,108],[6,9,12,17,20,22,24,28,29,32,37,38,39,40,41,43,81,83,85,100,101,104,106,107,108,112,115],[0,1,2,4,5,6,8,9,10,11,13,15,16,17,19,20,23,28,31,44,46,50,51,54,77,78,79,82,83,84,87,103,109,111,112,113,117],[1,2,4,5,7,8,9,10,11,12,17,18,24,26,27,29,30,31,33,34,37,38,41,43,44,46,50,51,54,78,80,81,82,85,87,99,102,103,104,105,110,113,114,115,117],[1,2,12,13,15,16,18,19,20,22,23,28,29,33,34,39,40,44,46,50,51,54,78,79,80,82,83,84,87,99,101,102,103,105,109,110,114,117],[0,6,7,11,12,18,20,23,24,32,33,34,37,38,41,43,44,46,50,51,54,78,87,99,102,104,105,106,107,109,110,112,114,115,117],[0,7,9,13,15,16,17,18,19,22,23,26,27,30,32,33,34,39,40,77,79,83,85,86,87,99,100,101,102,105,106,107,108,109,110,111,114],[0,4,5,6,8,9,10,12,13,15,16,17,18,19,22,26,27,28,30,31,32,33,34,39,40,44,46,50,51,54,78,79,82,84,87,99,101,102,105,106,107,110,112,113,114,117],[1,6,9,10,11,12,18,20,23,24,32,33,34,37,38,41,43,44,46,50,51,54,81,82,83,85,87,100,101,103,105,106,107,109,110,112,114,115,117],[1,4,5,6,7,8,11,12,17,18,22,29,31,33,34,39,40,78,81,82,85,100,103,104,105,110,111,112,113,114],[0,1,2,4,5,8,10,12,22,23,24,26,27,28,30,31,37,38,39,40,41,43,78,100,101,103,104,108,109,113,115],[1,2,4,5,7,8,9,10,12,13,15,16,17,18,19,24,28,31,32,33,34,37,38,41,43,79,81,83,86,99,102,103,104,105,106,107,110,111,113,114,115],[0,6,7,12,13,15,16,18,19,20,23,24,26,27,28,29,30,33,34,37,38,41,43,79,82,83,84,85,87,99,102,104,105,109,110,111,112,114,115],[0,4,5,6,8,9,10,11,12,17,18,22,29,31,33,34,39,40,82,99,101,102,105,110,111,112,113,114],[1,2,4,5,6,7,8,10,11,18,20,22,26,27,28,30,31,32,33,34,39,40,44,46,50,51,54,77,78,82,84,85,86,99,100,101,102,103,105,106,107,108,110,112,113,114,117],[0,2,4,5,8,12,13,15,16,17,18,19,24,28,31,32,33,34,37,38,41,43,78,79,83,86,87,100,101,105,106,107,110,111,113,114,115],[4,5,6,7,8,10,12,23,28,31,44,46,50,51,54,78,80,81,84,86,87,100,108,109,111,112,113,117],[6,9,11,12,13,15,16,17,19,20,22,24,26,27,30,37,38,39,40,41,43,44,46,50,51,54,78,79,80,83,85,86,87,100,101,104,108,111,112,115,117],[0,1,4,5,6,8,9,12,23,28,31,44,46,50,51,54,82,84,87,99,101,102,103,104,108,109,111,112,113,117],[2,10,12,17,20,26,27,28,29,30,32,44,46,50,51,54,81,83,86,99,101,102,104,106,107,108,111,117],[0,1,2,4,5,8,10,11,12,13,15,16,19,22,23,24,29,31,32,37,38,39,40,41,43,44,46,50,51,54,78,79,82,84,85,100,101,103,104,106,107,108,109,111,113,115,117],[0,1,6,7,10,11,12,13,15,16,17,19,20,22,24,26,27,30,37,38,39,40,41,43,44,46,50,51,54,79,86,99,102,103,108,111,112,115,117],[0,1,2,7,9,12,17,20,26,27,28,29,30,32,44,46,50,51,54,78,83,84,85,86,87,100,103,106,107,108,111,117],[0,1,2,6,7,22,24,26,27,30,37,38,39,40,41,43,44,46,50,51,54,78,81,82,84,86,87,101,103,104,111,112,115,117],[4,5,7,8,9,10,17,20,22,23,24,29,31,32,37,38,39,40,41,43,44,46,50,51,54,78,85,101,104,106,107,109,111,113,115,117],[2,4,5,6,7,8,11,13,15,16,17,19,20,23,28,31,44,46,50,51,54,79,83,84,85,86,87,99,100,101,102,104,109,111,112,113,117],[0,1,7,9,10,11,13,15,16,19,26,27,28,29,30,32,44,46,50,51,54,79,81,83,84,85,86,99,100,101,102,103,104,106,107,111,117],[0,1,6,7,10,12,17,20,22,24,28,29,32,37,38,39,40,41,43,77,78,81,83,84,85,99,102,103,106,107,108,112,115],[11,13,15,16,19,26,27,28,29,30,32,44,46,50,51,54,78,79,82,83,84,85,87,106,107,111,117],[2,6,9,10,22,24,26,27,30,37,38,39,40,41,43,44,46,50,51,54,82,84,85,99,100,102,111,112,115,117],[0,1,4,5,8,17,20,22,23,24,29,31,32,37,38,39,40,41,43,44,46,50,51,54,81,82,83,85,87,99,100,102,103,106,107,109,111,113,115,117],[1,2,4,5,6,7,8,10,13,15,16,18,19,20,22,29,31,33,34,39,40,79,80,81,82,83,86,99,100,101,102,103,105,108,110,111,112,113,114],[1,2,6,9,11,17,18,23,24,26,27,28,29,30,33,34,37,38,41,43,80,82,84,85,86,99,100,102,103,104,105,108,109,110,111,112,114,115],[0,2,4,5,8,11,12,17,18,24,26,27,29,30,31,33,34,37,38,41,43,44,46,50,51,54,77,81,82,83,86,100,101,105,110,113,114,115,117],[1,10,13,15,16,17,18,19,22,23,26,27,30,32,33,34,39,40,78,79,81,103,104,105,106,107,108,109,110,111,114],[0,2,6,7,10,11,17,18,23,24,26,27,28,29,30,33,34,37,38,41,43,78,81,82,83,86,87,101,105,108,109,110,111,112,114,115],[0,2,4,5,6,8,9,13,15,16,18,19,20,22,29,31,33,34,39,40,78,79,84,86,87,104,105,108,110,111,112,113,114],[0,4,5,8,10,13,15,16,18,19,20,24,26,27,29,30,31,33,34,37,38,41,43,44,46,50,51,54,78,79,81,82,85,99,100,102,104,105,108,110,113,114,115,117],[0,2,6,7,10,13,15,16,17,18,19,23,24,32,33,34,37,38,41,43,44,46,50,51,54,79,84,86,87,101,105,106,107,108,109,110,112,114,115,117],[0,1,2,4,5,6,8,9,10,17,20,23,26,27,29,30,31,32,79,103,106,107,109,112,113],[0,7,9,11,17,18,22,23,28,29,33,34,39,40,44,46,50,51,54,78,81,83,85,99,100,101,102,105,108,109,110,114,117],[1,6,9,10,12,13,15,16,18,19,20,23,24,26,27,28,29,30,33,34,37,38,41,43,77,78,79,81,84,86,87,100,101,103,105,109,110,111,112,114,115],[1,4,5,7,8,9,13,15,16,18,19,20,24,26,27,29,30,31,33,34,37,38,41,43,44,46,50,51,54,79,84,101,103,105,108,110,113,114,115,117],[1,2,6,9,13,15,16,17,18,19,23,24,32,33,34,37,38,41,43,44,46,50,51,54,78,79,81,82,84,85,86,99,100,102,103,104,105,106,107,108,109,110,112,114,115,117],[4,5,7,8,9,10,11,13,15,16,17,19,20,22,23,24,26,27,28,30,31,37,38,39,40,41,43,79,80,81,83,84,85,101,104,109,113,115],[1,10,11,17,18,22,23,28,29,33,34,39,40,44,46,50,51,54,79,103,104,105,108,109,110,114,117],[0,1,2,6,7,11,13,15,16,19,22,24,28,29,32,37,38,39,40,41,43,79,81,82,83,86,87,101,103,104,106,107,112,115],[0,1,4,5,8,11,13,15,16,17,19,20,22,23,24,26,27,28,30,31,37,38,39,40,41,43,78,79,81,83,84,85,86,99,100,102,103,109,113,115],[2,6,9,10,11,13,15,16,19,22,24,28,29,32,37,38,39,40,41,43,78,79,83,86,87,99,100,102,106,107,112,115],[0,2,4,5,6,8,9,11,18,20,22,26,27,28,30,31,32,33,34,39,40,44,46,50,51,54,79,104,105,106,107,108,110,112,113,114,117],[2,4,5,7,8,9,11,12,13,15,16,19,22,23,24,29,31,32,37,38,39,40,41,43,44,46,50,51,54,77,79,81,82,85,87,99,102,106,107,108,109,111,113,115,117],[2,4,5,6,7,8,17,20,23,26,27,29,30,31,32,78,81,82,84,85,86,99,100,101,102,104,106,107,109,112,113],[0,4,5,8,10,11,18,20,24,28,31,32,33,34,37,38,41,43,78,99,100,102,104,105,106,107,108,110,111,113,114,115],[4,5,7,8,9,10,11,12,13,15,16,19,24,26,27,29,30,31,89,101,104,106,107,108,109,110,113],[2,4,5,7,8,9,11,12,15,16,19,21,22,23,24,29,31,32,44,45,50,51,89,90,94,99,102,105,106,111,113,116],[0,1,2,4,5,8,10,12,26,27,28,29,30,32,33,34,39,40,89,90,92,93,95,97,98,100,101,103,104,108,109,111,114],[0,1,4,5,8,12,15,16,18,19,20,21,22,23,24,26,27,28,30,31,33,34,39,40,44,45,50,51,92,94,96,99,100,102,103,107,108,113,114,116],[1,4,5,7,8,9,12,22,23,24,26,27,28,30,31,33,34,39,40,44,46,50,51,54,88,89,90,93,94,95,98,101,103,108,109,113,114,117],[0,7,9,12,13,21,24,28,31,32,33,34,39,40,45,46,54,89,91,92,93,96,98,99,100,101,102,105,107,110,111,113,114,116,117],[0,7,9,13,21,24,26,27,29,30,31,45,46,54,89,90,91,93,94,95,98,99,100,101,102,105,107,108,109,110,113,116,117],[1,10,11,12,13,15,16,19,22,23,26,27,30,32,44,46,50,51,54,89,98,103,104,106,107,108,109,110,111,117],[12,13,15,16,18,19,20,24,28,31,32,33,34,39,40,88,90,94,96,97,98,105,109,110,111,113,114],[1,10,11,13,15,16,19,22,23,28,29,33,34,39,40,44,46,50,51,54,89,90,93,95,98,103,104,106,107,110,114,117],[0,2,7,9,10,13,15,16,18,19,20,22,23,26,27,30,32,44,46,50,51,54,92,93,94,96,98,100,104,105,108,110,111,117],[2,4,5,7,8,9,11,13,18,20,21,22,23,28,29,33,34,39,40,44,45,50,51,89,92,93,96,99,102,106,109,110,114,116],[4,5,7,8,9,10,11,12,18,20,89,101,104,105,106,107,109],[4,5,7,8,9,10,11,13,15,16,19,24,28,31,32,33,34,39,40,90,92,94,97,101,104,106,107,110,111,113,114],[0,1,4,5,8,13,21,22,23,26,27,30,32,44,45,50,51,90,93,94,95,96,98,99,100,102,103,105,107,108,109,110,111,116],[0,1,4,5,8,12,13,21,22,23,28,29,33,34,39,40,44,45,50,51,93,99,100,102,103,105,107,110,114,116],[1,4,5,7,8,9,13,15,16,18,19,20,22,23,26,27,30,32,44,46,50,51,54,88,89,93,95,96,97,101,103,105,108,110,111,117],[0,1,2,4,5,8,10,12,13,15,16,18,19,20,24,28,31,32,33,34,39,40,89,90,94,97,98,100,101,103,104,105,109,110,111,113,114],[1,10,11,12,18,20,22,23,24,29,31,32,44,46,50,51,54,89,91,92,95,97,98,103,104,105,106,107,109,111,113,117],[1,10,11,18,20,22,23,24,26,27,28,30,31,33,34,39,40,44,46,50,51,54,89,90,91,94,96,97,98,103,104,105,106,107,108,113,114,117],[0,2,7,9,10,22,23,24,29,31,32,44,46,50,51,54,93,95,98,100,104,111,113,117],[1,2,11,15,16,19,21,26,27,28,29,30,32,33,34,39,40,45,46,54,92,94,97,99,101,102,103,105,106,108,109,111,114,116,117],[0,7,9,15,16,18,19,20,21,45,46,54,89,90,93,95,96,99,100,101,102,107,109,116,117],[0,2,7,9,10,12,22,23,24,26,27,28,30,31,33,34,39,40,44,46,50,51,54,90,97,100,104,108,109,113,114,117],[0,7,9,12,15,16,18,19,20,21,26,27,28,29,30,32,33,34,39,40,45,46,54,89,94,95,96,97,98,99,100,101,102,107,108,111,114,116,117],[1,4,5,7,8,9,22,23,24,29,31,32,44,46,50,51,54,89,92,93,95,97,98,101,103,111,113,117],[0,4,5,8,10,11,15,16,19,21,26,27,28,29,30,32,33,34,39,40,45,46,54,89,96,99,100,102,104,105,106,108,109,111,114,116,117],[0,2,4,5,8,11,18,20,22,23,24,26,27,28,30,31,33,34,39,40,44,46,50,51,54,90,94,95,96,97,98,100,101,105,106,107,108,113,114,117],[1,2,4,5,7,8,9,10,15,16,18,19,20,21,45,46,54,90,92,94,95,96,97,99,102,103,104,107,109,116,117],[2,4,5,7,8,9,11,15,16,19,21,22,23,24,26,27,28,30,31,33,34,39,40,44,45,50,51,88,89,92,94,95,96,99,102,105,106,108,109,113,114,116],[0,4,5,8,10,11,12,15,16,19,21,45,46,54,89,90,93,94,95,96,98,99,100,102,104,105,106,116,117],[0,2,4,5,8,11,12,18,20,22,23,24,29,31,32,44,46,50,51,54,93,95,96,100,101,105,106,107,109,111,113,117],[1,2,4,5,7,8,9,10,12,15,16,18,19,20,21,26,27,28,29,30,32,33,34,39,40,45,46,54,92,93,94,96,98,99,102,103,104,107,108,111,114,116,117],[0,1,7,9,10,11,12,13,18,20,21,22,23,26,27,30,32,44,45,50,51,90,91,92,93,94,97,99,100,101,102,103,104,106,108,110,111,116],[0,1,7,9,10,11,13,18,20,21,22,23,28,29,33,34,39,40,44,45,50,51,91,93,95,96,97,99,100,101,102,103,104,106,109,110,114,116],[1,2,11,13,18,20,21,24,28,31,32,33,34,39,40,45,46,54,88,92,93,94,97,99,101,102,103,106,109,110,111,113,114,116,117],[0,1,2,7,9,11,13,15,16,19,24,28,31,32,33,34,39,40,89,90,92,100,103,106,107,110,111,113,114],[2,10,12,13,21,22,23,28,29,33,34,39,40,44,45,50,51,89,92,93,94,97,98,99,101,102,104,105,107,110,114,116],[2,10,13,21,22,23,26,27,30,32,44,45,50,51,89,90,95,97,98,99,101,102,104,105,107,108,109,110,111,116],[0,4,5,8,10,11,12,13,18,20,21,24,26,27,29,30,31,45,46,54,89,90,92,93,96,99,100,102,104,106,108,110,113,116,117],[0,2,4,5,8,11,13,15,16,19,22,23,28,29,33,34,39,40,44,46,50,51,54,90,95,97,98,100,101,106,107,110,114,117],[0,1,7,9,10,11,15,16,19,21,22,23,24,26,27,28,30,31,33,34,39,40,44,45,50,51,90,99,100,101,102,103,104,105,106,108,109,113,114,116],[0,4,5,8,10,11,13,18,20,21,24,28,31,32,33,34,39,40,45,46,54,89,92,94,96,99,100,102,104,106,109,110,111,113,114,116,117],[2,4,5,7,8,9,11,12,13,18,20,21,22,23,26,27,30,32,44,45,50,51,88,89,90,92,95,97,98,99,102,106,108,110,111,116],[1,2,4,5,7,8,9,10,13,21,24,26,27,29,30,31,45,46,54,90,95,99,102,103,104,105,107,108,109,110,113,116,117],[1,4,5,7,8,9,12,13,15,16,18,19,20,22,23,28,29,33,34,39,40,44,46,50,51,54,89,90,92,93,95,96,97,101,103,105,109,110,114,117],[12,26,27,28,29,30,32,33,34,39,40,90,91,92,94,95,96,108,109,111,114],[1,2,4,5,7,8,9,10,12,13,21,24,28,31,32,33,34,39,40,45,46,54,90,99,102,103,104,105,107,110,111,113,114,116,117],[0,1,7,9,10,11,12,15,16,19,21,22,23,24,29,31,32,44,45,50,51,90,92,93,94,97,98,99,100,101,102,103,104,105,106,111,113,116],[0,1,2,7,9,11,18,20,26,27,28,29,30,32,33,34,39,40,89,90,92,94,95,96,97,100,103,105,106,107,108,111,114],[2,10,15,16,18,19,20,21,22,23,24,29,31,32,44,45,50,51,89,90,94,97,98,99,101,102,104,107,109,111,113,116],[0,2,4,5,8,11,12,13,15,16,19,22,23,26,27,30,32,44,46,50,51,54,90,100,101,106,107,108,109,110,111,117],[1,2,11,12,15,16,19,21,45,46,54,88,90,92,93,96,98,99,101,102,103,105,106,116,117],[2,10,12,15,16,18,19,20,21,22,23,24,26,27,28,30,31,33,34,39,40,44,45,50,51,89,92,93,95,96,97,99,101,102,104,107,108,113,114,116],[13,15,16,18,19,20,24,26,27,29,30,31,89,105,108,110,113]]},"distance":{"d":3,"is_exact":true,"upper":3,"witness":[0,1,38],"A_d":3971,"certified":null},"clifford":{"kind":"powers","correction":{"S":[[0,2],[2,1],[3,1],[4,3],[5,3],[6,2],[7,2],[8,1],[10,3],[12,2],[13,1],[14,1],[17,3],[18,1],[19,2],[21,2],[22,1],[24,1],[25,1],[26,1],[27,3],[28,2],[29,3],[30,1],[31,1],[32,1],[33,2],[34,2],[35,1],[36,1],[37,3],[38,1],[41,1],[43,3],[44,1],[46,2],[47,1],[50,2],[54,1],[55,1],[56,1],[57,1],[58,1],[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],[104,2],[105,1],[106,2],[108,2],[109,2],[111,2],[112,3],[113,1],[114,1],[115,3],[116,3],[117,1]],"CZ":[[0,4],[0,5],[0,6],[0,7],[0,10],[0,11],[0,12],[0,13],[0,15],[0,18],[0,20],[0,26],[0,32],[0,33],[0,34],[0,37],[0,42],[0,45],[0,46],[0,49],[0,50],[0,51],[0,52],[0,54],[0,70],[0,72],[0,74],[0,76],[0,81],[0,83],[0,85],[0,87],[0,92],[0,93],[0,96],[0,97],[0,99],[0,101],[0,103],[0,108],[0,111],[0,114],[0,116],[0,117],[1,4],[1,7],[1,8],[1,9],[1,11],[1,13],[1,16],[1,17],[1,19],[1,20],[1,21],[1,23],[1,24],[1,27],[1,28],[1,29],[1,30],[1,32],[1,39],[1,41],[1,44],[1,45],[1,48],[1,49],[1,50],[1,51],[1,52],[1,53],[1,59],[1,61],[1,63],[1,65],[1,70],[1,71],[1,73],[1,76],[1,81],[1,82],[1,84],[1,87],[1,92],[1,93],[1,96],[1,97],[1,100],[1,102],[1,104],[1,106],[1,109],[1,110],[1,112],[1,115],[1,116],[2,6],[2,7],[2,8],[2,12],[2,16],[2,18],[2,19],[2,20],[2,24],[2,26],[2,28],[2,31],[2,33],[2,34],[2,38],[2,39],[2,40],[2,41],[2,42],[2,43],[2,44],[2,45],[2,50],[2,51],[2,70],[2,72],[2,74],[2,76],[2,84],[2,85],[2,86],[2,87],[2,92],[2,93],[2,96],[2,97],[2,100],[2,101],[2,102],[2,103],[2,104],[2,106],[2,107],[2,108],[2,110],[2,113],[2,114],[2,115],[2,116],[4,6],[4,8],[4,15],[4,16],[4,17],[4,18],[4,19],[4,21],[4,23],[4,24],[4,27],[4,30],[4,31],[4,39],[4,40],[4,42],[4,43],[4,45],[4,46],[4,49],[4,50],[4,51],[4,52],[4,54],[4,59],[4,61],[4,62],[4,64],[4,82],[4,83],[4,86],[4,87],[4,95],[4,96],[4,97],[4,98],[4,99],[4,100],[4,103],[4,104],[4,106],[4,110],[4,111],[4,112],[4,115],[4,116],[4,117],[5,6],[5,8],[5,10],[5,15],[5,16],[5,17],[5,18],[5,19],[5,21],[5,23],[5,24],[5,27],[5,30],[5,31],[5,39],[5,40],[5,42],[5,43],[5,45],[5,46],[5,49],[5,50],[5,51],[5,52],[5,54],[5,59],[5,61],[5,62],[5,64],[5,82],[5,83],[5,86],[5,87],[5,95],[5,96],[5,97],[5,98],[5,99],[5,100],[5,106],[5,110],[5,111],[5,112],[5,115],[5,116],[5,117],[6,7],[6,9],[6,10],[6,12],[6,13],[6,15],[6,16],[6,17],[6,18],[6,19],[6,23],[6,27],[6,28],[6,30],[6,32],[6,33],[6,34],[6,37],[6,42],[6,44],[6,46],[6,50],[6,51],[6,54],[6,59],[6,61],[6,62],[6,64],[6,100],[6,104],[6,105],[6,106],[6,107],[6,112],[6,113],[6,114],[6,117],[7,9],[7,11],[7,12],[7,13],[7,16],[7,17],[7,19],[7,20],[7,21],[7,23],[7,24],[7,26],[7,27],[7,30],[7,31],[7,32],[7,33],[7,34],[7,37],[7,39],[7,40],[7,43],[7,59],[7,61],[7,62],[7,64],[7,70],[7,72],[7,74],[7,76],[7,81],[7,82],[7,85],[7,86],[7,92],[7,93],[7,95],[7,98],[7,100],[7,101],[7,103],[7,104],[7,106],[7,108],[7,110],[7,112],[7,114],[7,115],[8,9],[8,10],[8,15],[8,16],[8,17],[8,18],[8,19],[8,21],[8,23],[8,24],[8,27],[8,30],[8,31],[8,39],[8,40],[8,42],[8,43],[8,45],[8,46],[8,49],[8,50],[8,51],[8,52],[8,54],[8,59],[8,61],[8,62],[8,64],[8,82],[8,83],[8,86],[8,87],[8,95],[8,96],[8,97],[8,98],[8,99],[8,100],[8,102],[8,106],[8,110],[8,111],[8,112],[8,115],[8,116],[8,117],[9,11],[9,15],[9,18],[9,20],[9,21],[9,24],[9,26],[9,28],[9,31],[9,39],[9,40],[9,42],[9,43],[9,44],[9,46],[9,50],[9,51],[9,54],[9,70],[9,72],[9,74],[9,76],[9,81],[9,82],[9,85],[9,86],[9,92],[9,93],[9,95],[9,98],[9,101],[9,102],[9,103],[9,104],[9,105],[9,107],[9,108],[9,110],[9,113],[9,115],[9,117],[10,12],[10,24],[10,27],[10,28],[10,30],[10,33],[10,34],[10,38],[10,39],[10,45],[10,46],[10,48],[10,50],[10,51],[10,53],[10,54],[10,62],[10,63],[10,64],[10,65],[10,81],[10,83],[10,85],[10,87],[10,95],[10,96],[10,97],[10,98],[10,99],[10,101],[10,102],[10,108],[10,109],[10,110],[10,113],[10,114],[10,115],[10,116],[10,117],[11,12],[11,13],[11,15],[11,16],[11,18],[11,20],[11,21],[11,22],[11,23],[11,24],[11,28],[11,33],[11,34],[11,38],[11,41],[11,45],[11,46],[11,54],[11,60],[11,61],[11,64],[11,65],[11,70],[11,72],[11,74],[11,76],[11,82],[11,83],[11,84],[11,85],[11,92],[11,93],[11,95],[11,98],[11,99],[11,100],[11,101],[11,104],[11,106],[11,107],[11,108],[11,109],[11,113],[11,114],[11,116],[11,117],[12,13],[12,15],[12,17],[12,19],[12,20],[12,21],[12,23],[12,26],[12,27],[12,28],[12,30],[12,37],[12,38],[12,39],[12,40],[12,41],[12,43],[12,45],[12,46],[12,54],[12,59],[12,61],[12,62],[12,64],[12,70],[12,72],[12,73],[12,75],[12,84],[12,85],[12,86],[12,87],[12,92],[12,93],[12,95],[12,98],[12,101],[12,106],[12,107],[12,108],[12,109],[12,111],[12,112],[12,113],[12,115],[12,116],[12,117],[13,15],[13,16],[13,17],[13,18],[13,22],[13,28],[13,32],[13,44],[13,46],[13,48],[13,53],[13,54],[13,59],[13,60],[13,63],[13,64],[13,70],[13,72],[13,74],[13,76],[13,93],[13,94],[13,95],[13,96],[13,99],[13,105],[13,107],[13,109],[13,110],[13,112],[13,113],[13,117],[15,16],[15,18],[15,21],[15,22],[15,24],[15,26],[15,27],[15,28],[15,29],[15,30],[15,31],[15,32],[15,45],[15,46],[15,49],[15,50],[15,53],[15,59],[15,60],[15,63],[15,64],[15,70],[15,72],[15,74],[15,76],[15,93],[15,94],[15,95],[15,96],[15,99],[15,101],[15,103],[15,107],[15,112],[15,116],[15,117],[16,18],[16,21],[16,22],[16,24],[16,26],[16,27],[16,28],[16,29],[16,30],[16,31],[16,32],[16,45],[16,46],[16,49],[16,50],[16,53],[16,59],[16,60],[16,63],[16,64],[16,70],[16,72],[16,74],[16,76],[16,93],[16,94],[16,95],[16,96],[16,99],[16,100],[16,101],[16,107],[16,108],[16,109],[16,112],[16,116],[16,117],[17,18],[17,19],[17,22],[17,26],[17,27],[17,28],[17,30],[17,31],[17,32],[17,33],[17,34],[17,39],[17,40],[17,44],[17,46],[17,50],[17,51],[17,54],[17,59],[17,60],[17,62],[17,65],[17,100],[17,103],[17,104],[17,105],[17,106],[17,107],[17,110],[17,112],[17,113],[17,114],[17,117],[18,19],[18,23],[18,26],[18,27],[18,29],[18,30],[18,31],[18,32],[18,33],[18,34],[18,38],[18,41],[18,49],[18,50],[18,53],[18,54],[18,59],[18,61],[18,63],[18,65],[18,82],[18,83],[18,84],[18,85],[18,92],[18,94],[18,96],[18,98],[18,104],[18,106],[18,109],[18,112],[18,113],[18,114],[19,20],[19,21],[19,22],[19,24],[19,26],[19,27],[19,28],[19,29],[19,30],[19,31],[19,32],[19,45],[19,46],[19,49],[19,50],[19,53],[19,59],[19,60],[19,63],[19,64],[19,70],[19,72],[19,74],[19,76],[19,93],[19,94],[19,95],[19,96],[19,99],[19,100],[19,101],[19,107],[19,109],[19,112],[19,116],[19,117],[20,21],[20,22],[20,23],[20,28],[20,29],[20,38],[20,39],[20,40],[20,41],[20,44],[20,46],[20,49],[20,51],[20,53],[20,60],[20,61],[20,62],[20,63],[20,82],[20,83],[20,84],[20,85],[20,92],[20,94],[20,96],[20,98],[20,100],[20,103],[20,105],[20,107],[20,108],[20,110],[20,117],[21,24],[21,26],[21,27],[21,29],[21,30],[21,31],[21,44],[21,45],[21,48],[21,49],[21,50],[21,54],[21,101],[21,103],[21,105],[21,110],[21,113],[21,116],[22,27],[22,28],[22,31],[22,32],[22,37],[22,38],[22,39],[22,40],[22,41],[22,43],[22,44],[22,46],[22,48],[22,49],[22,50],[22,59],[22,61],[22,62],[22,64],[22,84],[22,85],[22,86],[22,87],[22,109],[22,115],[22,117],[23,24],[23,29],[23,30],[23,31],[23,33],[23,34],[23,37],[23,38],[23,41],[23,43],[23,48],[23,49],[23,51],[23,54],[23,84],[23,85],[23,86],[23,87],[23,100],[23,103],[23,104],[23,105],[23,106],[23,107],[23,109],[23,110],[23,112],[23,114],[23,115],[24,26],[24,28],[24,29],[24,30],[24,33],[24,34],[24,37],[24,38],[24,39],[24,43],[24,49],[24,50],[24,53],[24,54],[24,62],[24,63],[24,64],[24,65],[24,82],[24,83],[24,86],[24,87],[24,93],[24,94],[24,95],[24,96],[24,99],[24,102],[24,103],[24,104],[24,105],[24,106],[24,108],[24,109],[24,112],[24,113],[24,114],[26,27],[26,29],[26,31],[26,32],[26,33],[26,34],[26,37],[26,40],[26,41],[26,43],[26,48],[26,50],[26,51],[26,53],[26,59],[26,61],[26,63],[26,65],[26,70],[26,72],[26,74],[26,76],[26,84],[26,85],[26,86],[26,87],[26,93],[26,94],[26,95],[26,96],[26,100],[26,102],[26,103],[26,104],[26,106],[26,108],[26,109],[26,110],[26,112],[26,114],[27,29],[27,30],[27,31],[27,32],[27,33],[27,34],[27,37],[27,40],[27,41],[27,43],[27,48],[27,50],[27,51],[27,53],[27,59],[27,61],[27,63],[27,65],[27,70],[27,72],[27,74],[27,76],[27,84],[27,85],[27,86],[27,87],[27,93],[27,94],[27,95],[27,96],[27,100],[27,102],[27,104],[27,106],[27,108],[27,109],[27,110],[27,111],[27,114],[28,30],[28,33],[28,34],[28,37],[28,39],[28,40],[28,43],[28,59],[28,61],[28,62],[28,64],[28,70],[28,72],[28,74],[28,76],[28,82],[28,83],[28,86],[28,87],[28,99],[28,100],[28,104],[28,108],[28,111],[28,112],[28,114],[28,115],[29,30],[29,32],[29,33],[29,34],[29,38],[29,39],[29,44],[29,46],[29,49],[29,51],[29,53],[29,62],[29,63],[29,64],[29,65],[29,70],[29,72],[29,74],[29,76],[29,93],[29,94],[29,95],[29,96],[29,102],[29,104],[29,107],[29,109],[29,110],[29,111],[29,112],[29,114],[29,115],[29,117],[30,32],[30,33],[30,34],[30,37],[30,40],[30,41],[30,43],[30,48],[30,50],[30,51],[30,53],[30,59],[30,61],[30,63],[30,65],[30,70],[30,72],[30,74],[30,76],[30,84],[30,85],[30,86],[30,87],[30,93],[30,94],[30,95],[30,96],[30,100],[30,102],[30,104],[30,106],[30,108],[30,109],[30,110],[30,111],[30,113],[30,114],[31,32],[31,37],[31,38],[31,40],[31,43],[31,44],[31,46],[31,49],[31,51],[31,53],[31,59],[31,61],[31,63],[31,65],[31,82],[31,83],[31,86],[31,87],[31,93],[31,94],[31,95],[31,96],[31,99],[31,102],[31,106],[31,110],[31,112],[31,113],[31,117],[32,38],[32,39],[32,40],[32,41],[32,48],[32,49],[32,51],[32,54],[32,59],[32,61],[32,62],[32,64],[32,70],[32,72],[32,74],[32,76],[32,82],[32,83],[32,84],[32,85],[32,99],[32,105],[32,106],[32,107],[32,108],[32,109],[32,110],[32,112],[32,113],[33,34],[33,38],[33,41],[33,44],[33,45],[33,48],[33,53],[33,59],[33,61],[33,63],[33,65],[33,82],[33,83],[33,84],[33,85],[33,101],[33,105],[33,108],[33,109],[33,110],[33,111],[33,112],[33,114],[33,116],[34,37],[34,42],[34,44],[34,45],[34,48],[34,53],[34,59],[34,61],[34,63],[34,65],[34,82],[34,83],[34,84],[34,85],[34,101],[34,105],[34,108],[34,109],[34,110],[34,111],[34,112],[34,114],[34,116],[37,38],[37,39],[37,40],[37,41],[37,42],[37,82],[37,83],[37,86],[37,87],[37,99],[37,102],[37,104],[37,108],[37,109],[37,113],[37,115],[38,39],[38,40],[38,42],[38,43],[38,82],[38,83],[38,86],[38,87],[38,99],[38,101],[38,102],[38,104],[38,105],[38,106],[38,107],[38,109],[38,111],[38,113],[38,114],[39,40],[39,41],[39,42],[39,43],[39,44],[39,45],[39,48],[39,53],[39,59],[39,61],[39,63],[39,65],[39,84],[39,85],[39,86],[39,87],[39,99],[39,102],[39,103],[39,104],[39,106],[39,107],[39,108],[39,112],[39,116],[40,41],[40,42],[40,43],[40,44],[40,45],[40,48],[40,53],[40,59],[40,61],[40,63],[40,65],[40,84],[40,85],[40,86],[40,87],[40,99],[40,102],[40,106],[40,107],[40,108],[40,110],[40,112],[40,113],[40,116],[41,42],[41,43],[41,82],[41,83],[41,86],[41,87],[41,99],[41,101],[41,102],[41,103],[41,105],[41,106],[41,107],[41,109],[41,110],[41,111],[41,114],[42,43],[42,104],[43,82],[43,83],[43,86],[43,87],[43,99],[43,102],[43,108],[43,109],[43,113],[43,115],[44,45],[44,46],[44,49],[44,50],[44,53],[44,59],[44,61],[44,63],[44,65],[44,99],[44,100],[44,102],[44,103],[44,104],[44,105],[44,106],[44,108],[44,110],[44,111],[44,112],[44,113],[44,114],[44,116],[44,117],[45,50],[45,52],[45,53],[45,54],[45,100],[45,101],[45,103],[45,104],[45,105],[45,106],[45,114],[45,116],[46,48],[46,53],[46,54],[46,59],[46,61],[46,63],[46,65],[46,99],[46,101],[46,102],[46,108],[46,110],[46,111],[46,112],[46,113],[46,117],[48,49],[48,50],[48,51],[48,52],[48,53],[48,103],[48,104],[48,105],[48,107],[48,108],[48,109],[48,110],[48,111],[48,114],[48,116],[48,117],[49,52],[49,53],[49,54],[49,99],[49,100],[49,102],[49,103],[49,107],[49,109],[49,111],[49,113],[49,116],[50,52],[50,59],[50,61],[50,63],[50,65],[50,103],[50,106],[50,111],[50,112],[50,116],[51,52],[51,59],[51,61],[51,63],[51,65],[51,103],[51,106],[51,107],[51,109],[51,112],[51,113],[52,53],[52,54],[52,99],[52,100],[52,102],[52,103],[53,103],[53,104],[53,105],[53,108],[53,110],[53,113],[53,114],[53,117],[54,59],[54,61],[54,63],[54,65],[54,99],[54,101],[54,102],[54,107],[54,108],[54,109],[54,110],[54,112],[54,116],[54,117],[56,59],[56,60],[56,63],[56,64],[59,60],[59,61],[59,62],[59,63],[59,64],[59,65],[59,100],[59,103],[59,104],[59,105],[59,106],[59,107],[59,110],[59,112],[59,113],[59,114],[59,117],[60,61],[60,62],[60,63],[60,64],[60,65],[60,109],[61,62],[61,63],[61,64],[61,65],[61,100],[61,103],[61,104],[61,105],[61,106],[61,107],[61,109],[61,110],[61,112],[61,113],[61,114],[61,117],[62,63],[62,64],[62,65],[62,100],[62,106],[62,107],[62,108],[62,112],[63,64],[63,65],[63,103],[63,104],[63,105],[63,108],[63,110],[63,113],[63,114],[63,117],[64,65],[64,100],[64,106],[64,107],[64,108],[64,109],[64,112],[65,103],[65,104],[65,105],[65,108],[65,109],[65,110],[65,113],[65,114],[65,117],[67,70],[67,71],[67,74],[67,75],[70,71],[70,72],[70,73],[70,74],[70,75],[70,76],[70,100],[70,103],[70,106],[70,107],[70,108],[70,109],[70,111],[71,72],[71,73],[71,74],[71,75],[71,76],[71,102],[71,104],[72,73],[72,74],[72,75],[72,76],[72,100],[72,102],[72,103],[72,104],[72,106],[72,107],[72,108],[72,109],[72,111],[73,74],[73,75],[73,76],[73,102],[73,104],[73,108],[73,109],[74,75],[74,76],[74,100],[74,102],[74,103],[74,104],[74,106],[74,107],[74,111],[75,76],[75,108],[75,109],[76,100],[76,103],[76,106],[76,107],[76,111],[78,81],[78,82],[78,85],[78,86],[81,82],[81,83],[81,84],[81,85],[81,86],[81,87],[81,99],[81,100],[81,101],[81,102],[81,103],[81,104],[82,83],[82,84],[82,85],[82,86],[82,87],[82,101],[82,103],[82,105],[82,106],[82,107],[82,108],[82,110],[82,111],[82,113],[82,114],[82,115],[83,84],[83,85],[83,86],[83,87],[83,99],[83,100],[83,102],[83,104],[83,105],[83,106],[83,107],[83,108],[83,110],[83,111],[83,113],[83,114],[83,115],[84,85],[84,86],[84,87],[84,99],[84,101],[84,102],[84,103],[84,105],[84,106],[84,107],[84,109],[84,110],[84,111],[84,114],[85,86],[85,87],[85,100],[85,104],[85,105],[85,106],[85,107],[85,109],[85,110],[85,111],[85,114],[86,87],[86,99],[86,102],[86,108],[86,109],[86,113],[86,115],[87,100],[87,101],[87,103],[87,104],[87,108],[87,109],[87,113],[87,115],[89,92],[89,93],[89,96],[89,97],[92,93],[92,94],[92,95],[92,96],[92,97],[92,98],[92,100],[92,103],[92,105],[92,106],[92,107],[92,109],[93,94],[93,95],[93,96],[93,97],[93,98],[93,100],[93,103],[93,106],[93,107],[93,108],[93,109],[93,110],[93,113],[94,95],[94,96],[94,97],[94,98],[94,105],[94,108],[94,110],[94,113],[95,96],[95,97],[95,98],[95,101],[95,104],[95,106],[95,107],[95,108],[95,109],[95,110],[95,113],[96,97],[96,98],[96,100],[96,101],[96,103],[96,104],[96,105],[96,108],[96,110],[96,113],[97,98],[97,100],[97,101],[97,103],[97,104],[98,101],[98,104],[98,105],[98,106],[98,107],[98,109],[99,100],[99,102],[99,104],[99,106],[99,107],[99,110],[99,111],[99,113],[99,115],[99,117],[100,101],[100,105],[100,106],[100,107],[100,108],[100,111],[100,112],[100,113],[100,116],[101,104],[101,105],[101,106],[101,114],[101,116],[101,117],[102,104],[102,110],[102,113],[102,115],[102,117],[103,104],[103,107],[103,109],[103,110],[103,111],[103,112],[103,115],[103,116],[104,105],[104,108],[104,109],[104,110],[104,111],[104,112],[104,115],[104,116],[105,106],[105,108],[105,110],[105,112],[105,114],[105,116],[106,110],[106,112],[106,116],[107,108],[107,112],[107,113],[108,109],[108,110],[108,111],[108,113],[108,114],[108,115],[108,117],[109,111],[109,113],[109,114],[109,115],[110,112],[110,113],[110,114],[110,115],[110,117],[111,114],[111,117],[112,114],[112,117],[113,117],[114,116]]},"rotation_powers":[[0,7],[1,7],[2,5],[3,3],[4,7],[5,7],[6,3],[10,7],[11,3],[13,7],[14,3],[21,3],[23,3],[28,3],[35,3],[36,3],[38,3],[39,3],[41,7],[43,3],[44,3],[46,3],[50,3],[55,3],[56,7],[58,7],[59,3],[60,7],[61,3],[62,5],[64,5],[65,7],[66,3],[68,7],[69,3],[71,5],[76,3],[78,3],[83,3],[90,3],[91,3],[93,3],[94,3],[96,3],[98,3],[99,3],[101,3],[105,3],[110,7],[111,5],[112,3],[114,7],[115,5],[116,3],[117,7],[119,5],[120,3],[121,5],[122,3],[129,3],[130,3],[132,3],[133,3],[135,3],[136,3],[137,3],[144,3],[145,3],[151,3],[153,3],[154,3],[155,3],[157,3],[158,3],[160,3],[161,3],[163,3],[164,3],[166,5],[167,3],[169,7],[171,5],[172,7],[174,3],[175,5],[176,5],[177,3],[180,3],[182,3],[183,3],[184,3],[185,3],[187,3],[189,3],[193,3],[194,3],[201,3],[203,3],[204,3],[206,3],[209,3],[211,3],[215,3],[217,3],[220,7],[222,5],[224,5],[225,3],[226,7],[227,3],[229,3],[233,3],[235,3],[236,3],[238,3],[239,3],[240,3],[241,3],[245,7],[247,3],[248,3],[249,3],[251,3],[253,3],[254,3],[255,3],[256,3],[257,3],[259,3],[260,3],[264,3],[265,3],[266,3],[268,3],[271,3],[273,3],[275,7],[276,5],[277,3],[279,5],[280,5],[282,7],[283,3],[284,7],[286,7],[287,3],[288,3],[289,3],[296,3],[298,3],[300,3],[301,3],[302,3],[304,3],[305,3],[306,3],[307,3],[308,3],[309,3],[312,3],[314,3],[316,3],[318,3],[319,3],[321,3],[325,3],[329,3],[330,7],[331,7],[333,3],[334,7],[335,7],[336,3],[337,5],[339,5],[340,3],[341,7],[343,3],[344,3],[351,3],[353,3],[358,3],[365,3],[366,3],[368,3],[369,3],[371,3],[373,3],[374,3],[376,3],[380,3],[385,7],[386,5],[388,3],[389,5],[390,5],[391,3],[392,5],[394,7],[395,3],[396,5],[397,3],[399,3],[400,3],[401,3],[402,3],[403,3],[405,3],[406,3],[407,3],[408,3],[411,3],[412,3],[413,3],[417,3],[418,3],[421,3],[428,3],[434,3],[435,3],[436,3],[437,3],[438,3],[439,3],[440,5],[441,5],[442,3],[443,3],[444,7],[445,7],[447,5],[449,7],[450,3],[451,5],[453,3],[454,3],[455,3],[458,3],[460,3],[463,3],[464,3],[465,3],[466,3],[468,3],[471,3],[472,3],[474,3],[475,3],[476,3],[477,3],[478,3],[480,3],[481,3],[483,3],[485,3],[488,3],[489,3],[494,3]]},"metrics":{"gamma":1.4649735207179269,"gamma_t":null,"gamma_rho":1.4649735207179269,"gamma_claim":1.4649735207179269,"gamma_t_claim":null,"gamma_rho_claim":1.4649735207179269,"v_ex":99,"rate":0.2,"t_count":null,"poly_degree":null,"effective_width":99},"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 [[495,99,3]]","N":118,"d":3,"d_is_exact":true,"origin":null,"provenance":"AI search: graph gluing -- nine [[63,11,3]] glued along K9 by 36 paired-column contraction(s) (dependent ports); construction and witness in master_catalog/imports/2026-09-18_graph_gluing_d3/witnesses/graph_dependent_ports_complete_n495_k99_d3.json","notes":"Exact A3=3971 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"}]}