{"id":"960.184.3.a","row":1295,"stored":{"file":"master_catalog.json","row":1295,"construction":null,"columns_sha256":null},"parameters":{"n":960,"k":184,"d":3,"N":212,"r":28,"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+132+133+134+135+136+137+138+139+140+141+142+143+144+145+146+147+148+149+150+151+152+153+154+155+156+157+158+159+160+161+162+163+164+165+166+167+168+169+170+171+172+173+174+175+176+177+178+179+180+181+182+183","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\u00b7T132\u00b7T133\u00b7T134\u00b7T135\u00b7T136\u00b7T137\u00b7T138\u00b7T139\u00b7T140\u00b7T141\u00b7T142\u00b7T143\u00b7T144\u00b7T145\u00b7T146\u00b7T147\u00b7T148\u00b7T149\u00b7T150\u00b7T151\u00b7T152\u00b7T153\u00b7T154\u00b7T155\u00b7T156\u00b7T157\u00b7T158\u00b7T159\u00b7T160\u00b7T161\u00b7T162\u00b7T163\u00b7T164\u00b7T165\u00b7T166\u00b7T167\u00b7T168\u00b7T169\u00b7T170\u00b7T171\u00b7T172\u00b7T173\u00b7T174\u00b7T175\u00b7T176\u00b7T177\u00b7T178\u00b7T179\u00b7T180\u00b7T181\u00b7T182\u00b7T183","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],[132],[133],[134],[135],[136],[137],[138],[139],[140],[141],[142],[143],[144],[145],[146],[147],[148],[149],[150],[151],[152],[153],[154],[155],[156],[157],[158],[159],[160],[161],[162],[163],[164],[165],[166],[167],[168],[169],[170],[171],[172],[173],[174],[175],[176],[177],[178],[179],[180],[181],[182],[183]],"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],[132],[133],[134],[135],[136],[137],[138],[139],[140],[141],[142],[143],[144],[145],[146],[147],[148],[149],[150],[151],[152],[153],[154],[155],[156],[157],[158],[159],[160],[161],[162],[163],[164],[165],[166],[167],[168],[169],[170],[171],[172],[173],[174],[175],[176],[177],[178],[179],[180],[181],[182],[183]],"sk_fingerprint":"d8000747ff72c4ee","sk_canonical_frame":true,"relabelled_into_canonical_frame":false},"circuit":{"columns":[[0,16,20,184,186],[0,16,185,186],[0,20,184,185],[0,20,184,185,186],[1,16,18,20,185,186,189,190],[1,16,18,22,184,185,188,189],[1,16,20,22,185,187,189],[1,16,184,185,186,187,188,189,190],[1,18,20,184,187,188],[1,18,22,186,187,190],[1,20,22,184,186,188,190],[2,16,20,21,22,184,186,187,188,189],[2,16,20,22,184,185,189,190],[2,16,21,184,188,189],[2,16,184,185,186,187,189,190],[2,20,21,22,185,188,190],[2,20,22,186,187],[2,21,185,186,187,188,190],[3,16,18,20,21,184,186,187,189,190],[3,16,18,20,21,184,187,189],[3,16,18,22,185,186,187,188,189],[3,16,18,22,185,187,188,189,190],[3,20,21,22,184,185,186,188],[3,20,21,22,184,185,188,190],[3,186,190],[4,16,20,21,185,187,188,189],[4,16,20,22,184,185,186,187,190],[4,16,21,184,189,190],[4,16,22,186,188],[4,20,21,22,185,186,187,189],[4,20,184,185,187,188,190],[4,21,22,184,186,188,189,190],[5,16,18,20,21,184,186,189],[5,16,18,22,185,188],[5,16,20,22,185,186,187,190],[5,16,21,184,187,188,189,190],[5,18,20,186,187,188,190],[5,18,21,22,184,185,187,189,190],[5,20,21,22,184,185,186,188,189],[6,16,20,21,184,185,186,189],[6,16,20,21,184,185,187,188,189],[6,16,20,21,185,186,188,189,190],[6,16,20,21,185,187,189,190],[6,184,186,187,190],[6,184,188,190],[6,186,187,188],[7,16,18,20,21,22,184,185,186,187,188,190],[7,16,18,20,22,184,186,187,188],[7,16,20,21,184,185,187],[7,16,20,184,187,190],[7,18,21,22,185,186,188],[7,18,22,186,188,190],[7,21,185,190],[8,16,17,20,21,22,185,186,188,190],[8,16,17,20,184,185,187,189],[8,16,17,21,184,185,186,187],[8,16,17,22,185,188,189,190],[8,20,21,186,189],[8,20,22,184,187,188,190],[8,21,22,184,186,187,188,189,190],[9,16,19,20,21,22,184,185,187,188],[9,16,19,20,184,185,186,188,189,190],[9,16,20,21,185,187,188,190],[9,16,20,22,185,186,188,189],[9,19,21,184,186,187,189],[9,19,22,184,190],[9,21,22,186,187,189,190],[10,16,17,20,21,22,185,189],[10,16,17,22,185,186,187],[10,16,20,21,22,184,187,189,190],[10,16,22,184,186,190],[10,17,20,21,184,185,186,189,190],[10,17,184,185,187,190],[10,20,21,186,187,189],[11,16,19,20,21,22,184,185,186,187,188],[11,16,19,20,184,185,187,188,189,190],[11,16,21,22,185,187],[11,16,185,186,187,189,190],[11,19,20,21,22,184,188,189,190],[11,19,20,184,186,188],[11,21,22,186,189,190],[12,17,19,20,184,185,188,189,190],[12,17,19,21,184,185,186,190],[12,17,20,22,185,186,187,188,189,190],[12,17,21,22,185,187,190],[12,19,20,21,22,184,187,188,189],[12,19,22,184,186,187],[12,20,21,186,188,189],[13,16,18,21,22,186,187,188,189,190],[13,16,18,21,184,185,186,187,188,189],[13,16,18,22,185,186,187,188],[13,16,18,184,186,187,188,190],[13,21,22,184,189],[13,21,185,189,190],[13,22,184,185,190],[14,16,17,19,20,22,184,185,186,187,189],[14,16,17,19,21,22,184,185,188],[14,16,19,20,22,184,187],[14,16,19,21,22,184,186,188,189],[14,17,20,21,185,187,188],[14,17,185,186,189],[14,20,21,186,187,188,189],[15,20,21,22,185,186,190],[15,20,21,184,186,189,190],[15,20,22,184,188],[15,20,185,188,189],[15,21,22,186,188,189,190],[15,21,184,185,186,188,190],[15,22,184,185,189],[16,17,19,187,190],[16,17,21,187,189],[16,17,21,188,189],[16,18,22,187,188,189,190],[16,18,22,187,188,190],[16,20,21,188,190],[16,20,22,187,189,190],[16,21,22,188,189,190],[16,187,188],[16,189,190],[20,21,22,187,188,189],[0,16,20,184,192],[23,39,191,192],[0,16,20,39,184,191],[0,16,20,39,184,191,192],[24,39,41,43,191,192,195,196],[0,16,20,23,24,41,43,45,184,191,194,195],[24,39,43,45,191,193,195],[0,16,20,23,24,43,184,191,192,193,194,195,196],[0,16,20,23,24,39,41,184,193,194],[24,41,45,192,193,196],[0,16,20,23,24,39,45,184,192,194,196],[0,16,20,23,25,44,45,184,192,193,194,195],[0,16,20,23,25,45,184,191,195,196],[0,16,20,23,25,43,44,184,194,195],[0,16,20,23,25,43,184,191,192,193,195,196],[25,43,44,45,191,194,196],[25,43,45,192,193],[25,44,191,192,193,194,196],[0,16,20,23,26,41,44,184,192,193,195,196],[0,16,20,23,26,41,44,184,193,195],[26,39,41,45,191,192,193,194,195],[26,39,41,45,191,193,194,195,196],[0,16,20,23,26,39,44,45,184,191,192,194],[0,16,20,23,26,39,44,45,184,191,194,196],[26,192,196],[27,39,43,44,191,193,194,195],[0,16,20,23,27,45,184,191,192,193,196],[0,16,20,23,27,43,44,184,195,196],[27,39,45,192,194],[27,43,44,45,191,192,193,195],[0,16,20,23,27,39,184,191,193,194,196],[0,16,20,23,27,39,43,44,45,184,192,194,195,196],[0,16,20,23,28,41,44,184,192,195],[28,39,41,45,191,194],[28,39,43,45,191,192,193,196],[0,16,20,23,28,43,44,184,193,194,195,196],[28,41,43,192,193,194,196],[0,16,20,23,28,39,41,43,44,45,184,191,193,195,196],[0,16,20,23,28,39,44,45,184,191,192,194,195],[0,16,20,23,29,44,184,191,192,195],[0,16,20,23,29,44,184,191,193,194,195],[29,39,43,44,191,192,194,195,196],[29,39,43,44,191,193,195,196],[0,16,20,23,29,39,43,184,192,193,196],[0,16,20,23,29,39,43,184,194,196],[29,192,193,194],[0,16,20,23,30,41,44,45,184,191,192,193,194,196],[0,16,20,23,30,41,45,184,192,193,194],[0,16,20,23,30,44,184,191,193],[0,16,20,23,30,184,193,196],[30,41,44,45,191,192,194],[30,41,45,192,194,196],[30,44,191,196],[31,39,40,43,44,45,191,192,194,196],[0,16,20,23,31,40,184,191,193,195],[0,16,20,23,31,40,43,44,184,191,192,193],[31,39,40,45,191,194,195,196],[31,43,44,192,195],[0,16,20,23,31,39,45,184,193,194,196],[0,16,20,23,31,39,43,44,45,184,192,193,194,195,196],[0,16,20,23,32,42,44,45,184,191,193,194],[0,16,20,23,32,42,184,191,192,194,195,196],[32,39,43,44,191,193,194,196],[32,39,43,45,191,192,194,195],[0,16,20,23,32,39,42,43,44,184,192,193,195],[0,16,20,23,32,39,42,43,45,184,196],[32,44,45,192,193,195,196],[33,39,40,43,44,45,191,195],[33,39,40,45,191,192,193],[0,16,20,23,33,44,45,184,193,195,196],[0,16,20,23,33,43,45,184,192,196],[0,16,20,23,33,39,40,44,184,191,192,195,196],[0,16,20,23,33,39,40,43,184,191,193,196],[33,43,44,192,193,195],[0,16,20,23,34,42,44,45,184,191,192,193,194],[0,16,20,23,34,42,184,191,193,194,195,196],[34,39,44,45,191,193],[34,39,191,192,193,195,196],[0,16,20,23,34,39,42,44,45,184,194,195,196],[0,16,20,23,34,39,42,184,192,194],[34,44,45,192,195,196],[0,16,20,23,35,39,40,42,184,191,194,195,196],[0,16,20,23,35,39,40,42,43,44,184,191,192,196],[35,40,43,45,191,192,193,194,195,196],[35,40,44,45,191,193,196],[0,16,20,23,35,39,42,44,45,184,193,194,195],[0,16,20,23,35,39,42,43,45,184,192,193],[35,43,44,192,194,195],[36,39,41,44,45,192,193,194,195,196],[0,16,20,23,36,41,43,44,184,191,192,193,194,195],[36,39,41,45,191,192,193,194],[0,16,20,23,36,41,43,184,192,193,194,196],[0,16,20,23,36,39,43,44,45,184,195],[36,44,191,195,196],[0,16,20,23,36,39,43,45,184,191,196],[0,16,20,23,37,40,42,45,184,191,192,193,195],[0,16,20,23,37,40,42,43,44,45,184,191,194],[0,16,20,23,37,42,45,184,193],[0,16,20,23,37,42,43,44,45,184,192,194,195],[37,40,43,44,191,193,194],[37,40,191,192,195],[37,43,44,192,193,194,195],[38,43,44,45,191,192,196],[0,16,20,23,38,39,44,184,192,195,196],[0,16,20,23,38,39,45,184,194],[38,43,191,194,195],[38,44,45,192,194,195,196],[0,16,20,23,38,39,43,44,184,191,192,194,196],[0,16,20,23,38,39,43,45,184,191,195],[39,40,42,193,196],[39,40,44,193,195],[39,40,44,194,195],[39,41,45,193,194,195,196],[39,41,45,193,194,196],[39,43,44,194,196],[39,43,45,193,195,196],[39,44,45,194,195,196],[39,193,194],[39,195,196],[43,44,45,193,194,195],[0,16,185,197],[23,39,191,197],[0,16,23,39,46,185,191],[0,16,23,39,46,185,191,197],[23,39,46,47,64,66,191,197,200,201],[0,16,23,39,47,62,64,66,68,185,191,199,200],[23,39,46,47,66,68,191,198,200],[0,16,23,39,47,62,66,185,191,197,198,199,200,201],[0,16,46,47,62,64,185,198,199],[47,64,68,197,198,201],[0,16,46,47,62,68,185,197,199,201],[0,16,46,48,67,68,185,197,198,199,200],[0,16,23,39,48,62,68,185,191,200,201],[0,16,46,48,66,67,185,199,200],[0,16,23,39,48,62,66,185,191,197,198,200,201],[23,39,46,48,62,66,67,68,191,199,201],[48,66,68,197,198],[23,39,46,48,62,67,191,197,198,199,201],[0,16,46,49,64,67,185,197,198,200,201],[0,16,46,49,64,67,185,198,200],[23,39,46,49,64,68,191,197,198,199,200],[23,39,46,49,64,68,191,198,199,200,201],[0,16,23,39,49,67,68,185,191,197,199],[0,16,23,39,49,67,68,185,191,199,201],[49,197,201],[23,39,46,50,66,67,191,198,199,200],[0,16,23,39,50,62,68,185,191,197,198,201],[0,16,46,50,66,67,185,200,201],[50,62,68,197,199],[23,39,46,50,62,66,67,68,191,197,198,200],[0,16,23,39,50,185,191,198,199,201],[0,16,46,50,62,66,67,68,185,197,199,200,201],[0,16,46,51,64,67,185,197,200],[23,39,46,51,64,68,191,199],[23,39,46,51,66,68,191,197,198,201],[0,16,46,51,66,67,185,198,199,200,201],[51,64,66,197,198,199,201],[0,16,23,39,51,64,66,67,68,185,191,198,200,201],[0,16,23,39,51,67,68,185,191,197,199,200],[0,16,23,39,52,62,67,185,191,197,200],[0,16,23,39,52,62,67,185,191,198,199,200],[23,39,46,52,66,67,191,197,199,200,201],[23,39,46,52,66,67,191,198,200,201],[0,16,46,52,62,66,185,197,198,201],[0,16,46,52,62,66,185,199,201],[52,197,198,199],[0,16,23,39,53,62,64,67,68,185,191,197,198,199,201],[0,16,46,53,64,68,185,197,198,199],[0,16,23,39,53,62,67,185,191,198],[0,16,46,53,185,198,201],[23,39,46,53,62,64,67,68,191,197,199],[53,64,68,197,199,201],[23,39,46,53,62,67,191,201],[23,39,46,54,63,66,67,68,191,197,199,201],[0,16,23,39,54,62,63,185,191,198,200],[0,16,23,39,54,62,63,66,67,185,191,197,198],[23,39,46,54,63,68,191,199,200,201],[54,66,67,197,200],[0,16,46,54,62,68,185,198,199,201],[0,16,46,54,62,66,67,68,185,197,198,199,200,201],[0,16,23,39,55,62,65,67,68,185,191,198,199],[0,16,23,39,55,62,65,185,191,197,199,200,201],[23,39,46,55,66,67,191,198,199,201],[23,39,46,55,66,68,191,197,199,200],[0,16,46,55,62,65,66,67,185,197,198,200],[0,16,46,55,62,65,66,68,185,201],[55,67,68,197,198,200,201],[23,39,46,56,63,66,67,68,191,200],[23,39,46,56,63,68,191,197,198],[0,16,46,56,67,68,185,198,200,201],[0,16,46,56,66,68,185,197,201],[0,16,23,39,56,63,67,185,191,197,200,201],[0,16,23,39,56,63,66,185,191,198,201],[56,66,67,197,198,200],[0,16,23,39,57,62,65,67,68,185,191,197,198,199],[0,16,23,39,57,62,65,185,191,198,199,200,201],[23,39,46,57,67,68,191,198],[23,39,46,57,191,197,198,200,201],[0,16,46,57,62,65,67,68,185,199,200,201],[0,16,46,57,62,65,185,197,199],[57,67,68,197,200,201],[0,16,23,39,58,63,65,185,191,199,200,201],[0,16,23,39,58,63,65,66,67,185,191,197,201],[23,39,46,58,62,63,66,68,191,197,198,199,200,201],[23,39,46,58,62,63,67,68,191,198,201],[0,16,46,58,62,65,67,68,185,198,199,200],[0,16,46,58,62,65,66,68,185,197,198],[58,66,67,197,199,200],[59,62,64,67,68,197,198,199,200,201],[0,16,23,39,59,62,64,66,67,185,191,197,198,199,200],[23,39,46,59,64,68,191,197,198,199],[0,16,46,59,64,66,185,197,198,199,201],[0,16,46,59,62,66,67,68,185,200],[23,39,46,59,62,67,191,200,201],[0,16,23,39,59,66,68,185,191,201],[0,16,23,39,60,62,63,65,68,185,191,197,198,200],[0,16,23,39,60,62,63,65,66,67,68,185,191,199],[0,16,46,60,65,68,185,198],[0,16,46,60,65,66,67,68,185,197,199,200],[23,39,46,60,62,63,66,67,191,198,199],[23,39,46,60,62,63,191,197,200],[60,66,67,197,198,199,200],[23,39,46,61,62,66,67,68,191,197,201],[0,16,46,61,62,67,185,197,200,201],[0,16,46,61,62,68,185,199],[23,39,46,61,62,66,191,199,200],[61,67,68,197,199,200,201],[0,16,23,39,61,66,67,185,191,197,199,201],[0,16,23,39,61,66,68,185,191,200],[62,63,65,198,201],[62,63,67,198,200],[62,63,67,199,200],[62,64,68,198,199,200,201],[62,64,68,198,199,201],[62,66,67,199,201],[62,66,68,198,200,201],[62,67,68,199,200,201],[62,198,199],[62,200,201],[66,67,68,198,199,200],[0,46,69,186,197],[23,46,69,192,197],[0,23,69,186,192],[0,23,46,186,192,197],[23,46,70,87,89,192,197,204,205],[0,23,70,85,87,89,91,186,192,203,204],[23,69,70,89,91,192,202,204],[0,23,46,69,70,85,89,186,192,197,202,203,204,205],[0,69,70,85,87,186,202,203],[46,69,70,87,91,197,202,205],[0,46,70,85,91,186,197,203,205],[0,46,71,90,91,186,197,202,203,204],[0,23,71,85,91,186,192,204,205],[0,69,71,89,90,186,203,204],[0,23,46,69,71,85,89,186,192,197,202,204,205],[23,69,71,85,89,90,91,192,203,205],[46,69,71,89,91,197,202],[23,46,71,85,90,192,197,202,203,205],[0,46,72,87,90,186,197,202,204,205],[0,69,72,87,90,186,202,204],[23,46,72,87,91,192,197,202,203,204],[23,69,72,87,91,192,202,203,204,205],[0,23,46,69,72,90,91,186,192,197,203],[0,23,72,90,91,186,192,203,205],[46,69,72,197,205],[23,69,73,89,90,192,202,203,204],[0,23,46,69,73,85,91,186,192,197,202,205],[0,69,73,89,90,186,204,205],[46,69,73,85,91,197,203],[23,46,73,85,89,90,91,192,197,202,204],[0,23,73,186,192,202,203,205],[0,46,73,85,89,90,91,186,197,203,204,205],[0,46,74,87,90,186,197,204],[23,69,74,87,91,192,203],[23,46,74,89,91,192,197,202,205],[0,69,74,89,90,186,202,203,204,205],[46,69,74,87,89,197,202,203,205],[0,23,74,87,89,90,91,186,192,202,204,205],[0,23,46,69,74,90,91,186,192,197,203,204],[0,23,46,69,75,85,90,186,192,197,204],[0,23,75,85,90,186,192,202,203,204],[23,46,75,89,90,192,197,203,204,205],[23,69,75,89,90,192,202,204,205],[0,46,75,85,89,186,197,202,205],[0,69,75,85,89,186,203,205],[46,69,75,197,202,203],[0,23,46,69,76,85,87,90,91,186,192,197,202,203,205],[0,46,76,87,91,186,197,202,203],[0,23,76,85,90,186,192,202],[0,69,76,186,202,205],[23,46,76,85,87,90,91,192,197,203],[46,69,76,87,91,197,203,205],[23,69,76,85,90,192,205],[23,46,77,86,89,90,91,192,197,203,205],[0,23,77,85,86,186,192,202,204],[0,23,46,69,77,85,86,89,90,186,192,197,202],[23,69,77,86,91,192,203,204,205],[46,69,77,89,90,197,204],[0,69,77,85,91,186,202,203,205],[0,46,77,85,89,90,91,186,197,202,203,204,205],[0,23,78,85,88,90,91,186,192,202,203],[0,23,46,69,78,85,88,186,192,197,203,204,205],[23,69,78,89,90,192,202,203,205],[23,46,78,89,91,192,197,203,204],[0,46,78,85,88,89,90,186,197,202,204],[0,69,78,85,88,89,91,186,205],[46,69,78,90,91,197,202,204,205],[23,69,79,86,89,90,91,192,204],[23,46,79,86,91,192,197,202],[0,69,79,90,91,186,202,204,205],[0,46,79,89,91,186,197,205],[0,23,46,69,79,86,90,186,192,197,204,205],[0,23,79,86,89,186,192,202,205],[46,69,79,89,90,197,202,204],[0,23,46,69,80,85,88,90,91,186,192,197,202,203],[0,23,80,85,88,186,192,202,203,204,205],[23,69,80,90,91,192,202],[23,46,80,192,197,202,204,205],[0,69,80,85,88,90,91,186,203,204,205],[0,46,80,85,88,186,197,203],[46,69,80,90,91,197,204,205],[0,23,81,86,88,186,192,203,204,205],[0,23,46,69,81,86,88,89,90,186,192,197,205],[23,46,81,85,86,89,91,192,197,202,203,204,205],[23,69,81,85,86,90,91,192,202,205],[0,69,81,85,88,90,91,186,202,203,204],[0,46,81,85,88,89,91,186,197,202],[46,69,81,89,90,197,203,204],[46,69,82,85,87,90,91,197,202,203,204,205],[0,23,46,69,82,85,87,89,90,186,192,197,202,203,204],[23,46,82,87,91,192,197,202,203],[0,46,82,87,89,186,197,202,203,205],[0,69,82,85,89,90,91,186,204],[23,69,82,85,90,192,204,205],[0,23,82,89,91,186,192,205],[0,23,46,69,83,85,86,88,91,186,192,197,202,204],[0,23,83,85,86,88,89,90,91,186,192,203],[0,69,83,88,91,186,202],[0,46,83,88,89,90,91,186,197,203,204],[23,69,83,85,86,89,90,192,202,203],[23,46,83,85,86,192,197,204],[46,69,83,89,90,197,202,203,204],[23,46,84,85,89,90,91,192,197,205],[0,46,84,85,90,186,197,204,205],[0,69,84,85,91,186,203],[23,69,84,85,89,192,203,204],[46,69,84,90,91,197,203,204,205],[0,23,46,69,84,89,90,186,192,197,203,205],[0,23,84,89,91,186,192,204],[85,86,88,202,205],[85,86,90,202,204],[85,86,90,203,204],[85,87,91,202,203,204,205],[85,87,91,202,203,205],[85,89,90,203,205],[85,89,91,202,204,205],[85,90,91,203,204,205],[85,202,203],[85,204,205],[89,90,91,202,203,204],[19,65,92,187,198],[42,65,92,193,198],[19,42,92,187,193],[19,42,65,187,193,198],[42,65,93,110,112,193,198,207,208],[19,42,93,108,110,112,114,187,193,206,207],[42,88,92,93,111,112,114,193,202,207],[19,42,65,88,92,93,108,111,112,187,193,198,202,206,207,208],[19,88,92,93,108,110,111,187,202,206],[65,88,92,93,110,111,114,198,202,208],[19,65,93,108,114,187,198,206,208],[19,65,88,94,111,113,114,187,198,202,206,207],[19,42,94,108,114,187,193,207,208],[19,92,94,112,113,187,206,207],[19,42,65,88,92,94,108,111,112,187,193,198,202,207,208],[42,92,94,108,112,113,114,193,206,208],[65,88,92,94,111,112,114,198,202],[42,65,88,94,108,111,113,193,198,202,206,208],[19,65,88,95,110,111,113,187,198,202,207,208],[19,88,92,95,110,111,113,187,202,207],[42,65,88,95,110,111,114,193,198,202,206,207],[42,88,92,95,110,111,114,193,202,206,207,208],[19,42,65,92,95,113,114,187,193,198,206],[19,42,95,113,114,187,193,206,208],[65,92,95,198,208],[42,88,92,96,111,112,113,193,202,206,207],[19,42,65,88,92,96,108,111,114,187,193,198,202,208],[19,92,96,112,113,187,207,208],[65,92,96,108,114,198,206],[42,65,88,96,108,111,112,113,114,193,198,202,207],[19,42,88,96,111,187,193,202,206,208],[19,65,96,108,112,113,114,187,198,206,207,208],[19,65,97,110,113,187,198,207],[42,92,97,110,114,193,206],[42,65,88,97,111,112,114,193,198,202,208],[19,88,92,97,111,112,113,187,202,206,207,208],[65,88,92,97,110,111,112,198,202,206,208],[19,42,88,97,110,111,112,113,114,187,193,202,207,208],[19,42,65,92,97,113,114,187,193,198,206,207],[19,42,65,92,98,108,113,187,193,198,207],[19,42,88,98,108,111,113,187,193,202,206,207],[42,65,98,112,113,193,198,206,207,208],[42,88,92,98,111,112,113,193,202,207,208],[19,65,88,98,108,111,112,187,198,202,208],[19,92,98,108,112,187,206,208],[65,88,92,98,111,198,202,206],[19,42,65,88,92,99,108,110,111,113,114,187,193,198,202,206,208],[19,65,88,99,110,111,114,187,198,202,206],[19,42,88,99,108,111,113,187,193,202],[19,88,92,99,111,187,202,208],[42,65,99,108,110,113,114,193,198,206],[65,92,99,110,114,198,206,208],[42,92,99,108,113,193,208],[42,65,100,109,112,113,114,193,198,206,208],[19,42,88,100,108,109,111,187,193,202,207],[19,42,65,88,92,100,108,109,111,112,113,187,193,198,202],[42,92,100,109,114,193,206,207,208],[65,92,100,112,113,198,207],[19,88,92,100,108,111,114,187,202,206,208],[19,65,88,100,108,111,112,113,114,187,198,202,206,207,208],[19,42,88,101,108,113,114,187,193,202,206],[19,42,65,92,101,108,111,187,193,198,206,207,208],[42,88,92,101,111,112,113,193,202,206,208],[42,65,101,112,114,193,198,206,207],[19,65,88,101,108,112,113,187,198,202,207],[19,92,101,108,111,112,114,187,208],[65,88,92,101,111,113,114,198,202,207,208],[42,92,102,109,112,113,114,193,207],[42,65,88,102,109,111,114,193,198,202],[19,88,92,102,111,113,114,187,202,207,208],[19,65,102,112,114,187,198,208],[19,42,65,92,102,109,113,187,193,198,207,208],[19,42,88,102,109,111,112,187,193,202,208],[65,88,92,102,111,112,113,198,202,207],[19,42,65,88,92,103,108,113,114,187,193,198,202,206],[19,42,88,103,108,187,193,202,206,207,208],[42,88,92,103,111,113,114,193,202],[42,65,88,103,111,193,198,202,207,208],[19,92,103,108,111,113,114,187,206,207,208],[19,65,103,108,111,187,198,206],[65,92,103,113,114,198,207,208],[19,42,104,109,111,187,193,206,207,208],[19,42,65,92,104,109,111,112,113,187,193,198,208],[42,65,88,104,108,109,111,112,114,193,198,202,206,207,208],[42,88,92,104,108,109,111,113,114,193,202,208],[19,88,92,104,108,113,114,187,202,206,207],[19,65,88,104,108,112,114,187,198,202],[65,92,104,112,113,198,206,207],[65,88,92,105,108,110,111,113,114,198,202,206,207,208],[19,42,65,88,92,105,108,110,111,112,113,187,193,198,202,206,207],[42,65,88,105,110,111,114,193,198,202,206],[19,65,88,105,110,111,112,187,198,202,206,208],[19,92,105,108,112,113,114,187,207],[42,92,105,108,113,193,207,208],[19,42,105,112,114,187,193,208],[19,42,65,88,92,106,108,109,114,187,193,198,202,207],[19,42,106,108,109,111,112,113,114,187,193,206],[19,88,92,106,114,187,202],[19,65,106,111,112,113,114,187,198,206,207],[42,88,92,106,108,109,111,112,113,193,202,206],[42,65,106,108,109,193,198,207],[65,88,92,106,111,112,113,198,202,206,207],[42,65,107,108,112,113,114,193,198,208],[19,65,107,108,113,187,198,207,208],[19,92,107,108,114,187,206],[42,92,107,108,112,193,206,207],[65,92,107,113,114,198,206,207,208],[19,42,65,92,107,112,113,187,193,198,206,208],[19,42,107,112,114,187,193,207],[88,108,109,202,208],[88,108,109,111,113,202,207],[108,109,113,206,207],[88,108,110,111,114,202,206,207,208],[88,108,110,111,114,202,206,208],[108,112,113,206,208],[88,108,111,112,114,202,207,208],[108,113,114,206,207,208],[88,108,111,202,206],[108,207,208],[88,111,112,113,114,202,206,207],[17,63,115,188,199],[40,63,115,194,199],[17,40,115,188,194],[17,40,63,188,194,199],[40,63,116,133,135,194,199,209,210],[17,40,109,116,131,132,133,135,137,188,194,206,209],[40,86,115,116,134,135,137,194,203,209],[17,40,63,86,109,115,116,131,132,134,135,188,194,199,203,206,209,210],[17,86,109,115,116,131,132,133,134,188,203,206],[63,86,115,116,133,134,137,199,203,210],[17,63,109,116,131,132,137,188,199,206,210],[17,63,86,109,117,132,134,136,137,188,199,203,206,209],[17,40,117,131,137,188,194,209,210],[17,109,115,117,132,135,136,188,206,209],[17,40,63,86,115,117,131,134,135,188,194,199,203,209,210],[40,109,115,117,131,132,135,136,137,194,206,210],[63,86,115,117,134,135,137,199,203],[40,63,86,109,117,131,132,134,136,194,199,203,206,210],[17,63,86,118,133,134,136,188,199,203,209,210],[17,86,115,118,133,134,136,188,203,209],[40,63,86,109,118,132,133,134,137,194,199,203,206,209],[40,86,109,115,118,132,133,134,137,194,203,206,209,210],[17,40,63,109,115,118,132,136,137,188,194,199,206],[17,40,109,118,132,136,137,188,194,206,210],[63,115,118,199,210],[40,86,109,115,119,132,134,135,136,194,203,206,209],[17,40,63,86,115,119,131,134,137,188,194,199,203,210],[17,115,119,135,136,188,209,210],[63,109,115,119,131,132,137,199,206],[40,63,86,119,131,134,135,136,137,194,199,203,209],[17,40,86,109,119,132,134,188,194,203,206,210],[17,63,109,119,131,132,135,136,137,188,199,206,209,210],[17,63,120,133,136,188,199,209],[40,109,115,120,132,133,137,194,206],[40,63,86,120,134,135,137,194,199,203,210],[17,86,109,115,120,132,134,135,136,188,203,206,209,210],[63,86,109,115,120,132,133,134,135,199,203,206,210],[17,40,86,120,133,134,135,136,137,188,194,203,209,210],[17,40,63,109,115,120,132,136,137,188,194,199,206,209],[17,40,63,115,121,131,136,188,194,199,209],[17,40,86,109,121,131,132,134,136,188,194,203,206,209],[40,63,109,121,132,135,136,194,199,206,209,210],[40,86,115,121,134,135,136,194,203,209,210],[17,63,86,121,131,134,135,188,199,203,210],[17,109,115,121,131,132,135,188,206,210],[63,86,109,115,121,132,134,199,203,206],[17,40,63,86,109,115,122,131,132,133,134,136,137,188,194,199,203,206,210],[17,63,86,109,122,132,133,134,137,188,199,203,206],[17,40,86,122,131,134,136,188,194,203],[17,86,115,122,134,188,203,210],[40,63,109,122,131,132,133,136,137,194,199,206],[63,109,115,122,132,133,137,199,206,210],[40,115,122,131,136,194,210],[40,63,109,123,135,136,137,194,199,206,210],[17,40,86,123,131,132,134,188,194,203,209],[17,40,63,86,115,123,131,132,134,135,136,188,194,199,203],[40,109,115,123,137,194,206,209,210],[63,115,123,135,136,199,209],[17,86,109,115,123,131,132,134,137,188,203,206,210],[17,63,86,109,123,131,132,134,135,136,137,188,199,203,206,209,210],[17,40,86,109,124,131,132,136,137,188,194,203,206],[17,40,63,109,115,124,131,132,134,188,194,199,206,209,210],[40,86,109,115,124,132,134,135,136,194,203,206,210],[40,63,109,124,132,135,137,194,199,206,209],[17,63,86,124,131,135,136,188,199,203,209],[17,115,124,131,134,135,137,188,210],[63,86,115,124,134,136,137,199,203,209,210],[40,115,125,132,135,136,137,194,209],[40,63,86,125,132,134,137,194,199,203],[17,86,115,125,134,136,137,188,203,209,210],[17,63,125,135,137,188,199,210],[17,40,63,115,125,132,136,188,194,199,209,210],[17,40,86,125,132,134,135,188,194,203,210],[63,86,115,125,134,135,136,199,203,209],[17,40,63,86,109,115,126,131,132,136,137,188,194,199,203,206],[17,40,86,109,126,131,132,188,194,203,206,209,210],[40,86,115,126,134,136,137,194,203],[40,63,86,126,134,194,199,203,209,210],[17,109,115,126,131,132,134,136,137,188,206,209,210],[17,63,109,126,131,132,134,188,199,206],[63,115,126,136,137,199,209,210],[17,40,109,127,134,188,194,206,209,210],[17,40,63,115,127,132,134,135,136,188,194,199,210],[40,63,86,109,127,131,134,135,137,194,199,203,206,209,210],[40,86,115,127,131,132,134,136,137,194,203,210],[17,86,109,115,127,131,132,136,137,188,203,206,209],[17,63,86,127,131,135,137,188,199,203],[63,109,115,127,132,135,136,199,206,209],[63,86,109,115,128,131,132,133,134,136,137,199,203,206,209,210],[17,40,63,86,109,115,128,131,132,133,134,135,136,188,194,199,203,206,209],[40,63,86,109,128,132,133,134,137,194,199,203,206],[17,63,86,109,128,132,133,134,135,188,199,203,206,210],[17,115,128,131,135,136,137,188,209],[40,115,128,131,136,194,209,210],[17,40,128,135,137,188,194,210],[17,40,63,86,115,129,131,132,137,188,194,199,203,209],[17,40,109,129,131,134,135,136,137,188,194,206],[17,86,115,129,137,188,203],[17,63,109,129,132,134,135,136,137,188,199,206,209],[40,86,109,115,129,131,134,135,136,194,203,206],[40,63,129,131,132,194,199,209],[63,86,109,115,129,132,134,135,136,199,203,206,209],[40,63,130,131,135,136,137,194,199,210],[17,63,130,131,136,188,199,209,210],[17,109,115,130,131,132,137,188,206],[40,109,115,130,131,132,135,194,206,209],[63,109,115,130,132,136,137,199,206,209,210],[17,40,63,109,115,130,132,135,136,188,194,199,206,210],[17,40,130,135,137,188,194,209],[86,131,132,203,210],[86,131,132,134,136,203,209],[109,131,136,206,209],[86,109,131,132,133,134,137,203,206,209,210],[86,109,131,132,133,134,137,203,206,210],[109,131,132,135,136,206,210],[86,131,134,135,137,203,209,210],[109,131,132,136,137,206,209,210],[86,109,131,132,134,203,206],[131,209,210],[86,109,132,134,135,136,137,203,206,209],[18,64,138,189,200],[41,64,138,195,200],[18,41,138,189,195],[18,41,64,189,195,200],[41,64,133,139,158,195,200,209,211],[18,41,110,133,139,154,155,158,160,189,195,207,209],[41,87,133,138,139,156,157,158,160,195,204,209],[18,41,64,87,110,133,138,139,154,155,156,157,158,189,195,200,204,207,209,211],[18,87,110,138,139,154,155,156,157,189,204,207],[64,87,138,139,156,157,160,200,204,211],[18,64,110,139,154,155,160,189,200,207,211],[18,64,87,110,133,140,155,156,157,159,160,189,200,204,207,209],[18,41,133,140,154,156,160,189,195,209,211],[18,110,133,138,140,155,156,158,159,189,207,209],[18,41,64,87,133,138,140,154,156,157,158,189,195,200,204,209,211],[41,110,138,140,154,155,158,159,160,195,207,211],[64,87,138,140,157,158,160,200,204],[41,64,87,110,140,154,155,157,159,195,200,204,207,211],[18,64,87,133,141,157,159,189,200,204,209,211],[18,87,133,138,141,157,159,189,204,209],[41,64,87,110,133,141,155,157,160,195,200,204,207,209],[41,87,110,133,138,141,155,157,160,195,204,207,209,211],[18,41,64,110,138,141,155,159,160,189,195,200,207],[18,41,110,141,155,159,160,189,195,207,211],[64,138,141,200,211],[41,87,110,133,138,142,155,156,157,158,159,195,204,207,209],[18,41,64,87,138,142,154,157,160,189,195,200,204,211],[18,133,138,142,156,158,159,189,209,211],[64,110,138,142,154,155,160,200,207],[41,64,87,133,142,154,156,157,158,159,160,195,200,204,209],[18,41,87,110,142,155,157,189,195,204,207,211],[18,64,110,133,142,154,155,156,158,159,160,189,200,207,209,211],[18,64,133,143,159,189,200,209],[41,110,138,143,155,156,160,195,207],[41,64,87,143,157,158,160,195,200,204,211],[18,87,110,133,138,143,155,156,157,158,159,189,204,207,209,211],[64,87,110,138,143,155,156,157,158,200,204,207,211],[18,41,87,133,143,157,158,159,160,189,195,204,209,211],[18,41,64,110,133,138,143,155,156,159,160,189,195,200,207,209],[18,41,64,133,138,144,154,156,159,189,195,200,209],[18,41,87,110,133,144,154,155,156,157,159,189,195,204,207,209],[41,64,110,133,144,155,156,158,159,195,200,207,209,211],[41,87,133,138,144,156,157,158,159,195,204,209,211],[18,64,87,144,154,157,158,189,200,204,211],[18,110,138,144,154,155,158,189,207,211],[64,87,110,138,144,155,157,200,204,207],[18,41,64,87,110,138,145,154,155,156,157,159,160,189,195,200,204,207,211],[18,64,87,110,145,155,156,157,160,189,200,204,207],[18,41,87,145,154,157,159,189,195,204],[18,87,138,145,157,189,204,211],[41,64,110,145,154,155,156,159,160,195,200,207],[64,110,138,145,155,156,160,200,207,211],[41,138,145,154,159,195,211],[41,64,110,146,158,159,160,195,200,207,211],[18,41,87,133,146,154,155,156,157,189,195,204,209],[18,41,64,87,138,146,154,155,157,158,159,189,195,200,204],[41,110,133,138,146,156,160,195,207,209,211],[64,133,138,146,156,158,159,200,209],[18,87,110,138,146,154,155,157,160,189,204,207,211],[18,64,87,110,133,146,154,155,156,157,158,159,160,189,200,204,207,209,211],[18,41,87,110,147,154,155,159,160,189,195,204,207],[18,41,64,110,133,138,147,154,155,156,157,189,195,200,207,209,211],[41,87,110,138,147,155,157,158,159,195,204,207,211],[41,64,110,133,147,155,156,158,160,195,200,207,209],[18,64,87,133,147,154,156,158,159,189,200,204,209],[18,138,147,154,157,158,160,189,211],[64,87,133,138,147,156,157,159,160,200,204,209,211],[41,133,138,148,155,156,158,159,160,195,209],[41,64,87,148,155,157,160,195,200,204],[18,87,133,138,148,156,157,159,160,189,204,209,211],[18,64,148,158,160,189,200,211],[18,41,64,133,138,148,155,156,159,189,195,200,209,211],[18,41,87,148,155,157,158,189,195,204,211],[64,87,133,138,148,156,157,158,159,200,204,209],[18,41,64,87,110,138,149,154,155,159,160,189,195,200,204,207],[18,41,87,110,133,149,154,155,156,189,195,204,207,209,211],[41,87,138,149,157,159,160,195,204],[41,64,87,133,149,156,157,195,200,204,209,211],[18,110,133,138,149,154,155,156,157,159,160,189,207,209,211],[18,64,110,149,154,155,157,189,200,207],[64,133,138,149,156,159,160,200,209,211],[18,41,110,133,150,156,157,189,195,207,209,211],[18,41,64,138,150,155,157,158,159,189,195,200,211],[41,64,87,110,133,150,154,156,157,158,160,195,200,204,207,209,211],[41,87,138,150,154,155,157,159,160,195,204,211],[18,87,110,133,138,150,154,155,156,159,160,189,204,207,209],[18,64,87,150,154,158,160,189,200,204],[64,110,133,138,150,155,156,158,159,200,207,209],[64,87,110,133,138,151,154,155,157,159,160,200,204,207,209,211],[18,41,64,87,110,133,138,151,154,155,157,158,159,189,195,200,204,207,209],[41,64,87,110,151,155,156,157,160,195,200,204,207],[18,64,87,110,151,155,156,157,158,189,200,204,207,211],[18,133,138,151,154,156,158,159,160,189,209],[41,133,138,151,154,156,159,195,209,211],[18,41,151,158,160,189,195,211],[18,41,64,87,133,138,152,154,155,156,160,189,195,200,204,209],[18,41,110,152,154,157,158,159,160,189,195,207],[18,87,138,152,160,189,204],[18,64,110,133,152,155,156,157,158,159,160,189,200,207,209],[41,87,110,138,152,154,157,158,159,195,204,207],[41,64,133,152,154,155,156,195,200,209],[64,87,110,133,138,152,155,156,157,158,159,200,204,207,209],[41,64,153,154,158,159,160,195,200,211],[18,64,133,153,154,156,159,189,200,209,211],[18,110,138,153,154,155,160,189,207],[41,110,133,138,153,154,155,156,158,195,207,209],[64,110,133,138,153,155,156,159,160,200,207,209,211],[18,41,64,110,138,153,155,158,159,189,195,200,207,211],[18,41,133,153,156,158,160,189,195,209],[87,154,155,204,211],[87,133,154,155,156,157,159,204,209],[110,133,154,156,159,207,209],[87,110,133,154,155,157,160,204,207,209,211],[87,110,154,155,156,157,160,204,207,211],[110,154,155,158,159,207,211],[87,133,154,156,157,158,160,204,209,211],[110,133,154,155,156,159,160,207,209,211],[87,110,154,155,157,204,207],[133,154,156,209,211],[87,110,133,155,156,157,158,159,160,204,207,209],[16,17,19,62,63,65,161,190,201],[39,40,42,62,63,65,161,196,201],[16,17,19,39,40,42,161,190,196],[16,17,19,39,40,42,62,63,65,190,196,201],[39,40,42,62,63,65,131,132,134,154,155,157,162,177,178,180,181,196,201,210,211],[16,17,19,39,40,42,108,109,111,131,132,134,162,177,178,181,183,190,196,208,210],[39,40,42,85,86,88,131,132,134,161,162,179,180,181,183,196,205,210],[16,17,19,39,40,42,62,63,65,85,86,88,108,109,111,131,132,134,154,155,157,161,162,179,181,190,196,201,205,208,210,211],[16,17,19,85,86,88,108,109,111,161,162,177,178,179,180,190,205,208],[62,63,65,85,86,88,154,155,157,161,162,177,178,179,183,201,205,211],[16,17,19,62,63,65,108,109,111,154,155,157,162,180,183,190,201,208,211],[16,17,19,62,63,65,85,86,88,108,109,111,131,132,134,163,178,179,180,182,183,190,201,205,208,210],[16,17,19,39,40,42,131,132,134,154,155,157,163,178,179,180,183,190,196,210,211],[16,17,19,108,109,111,131,132,134,161,163,178,179,181,182,190,208,210],[16,17,19,39,40,42,62,63,65,85,86,88,131,132,134,154,155,157,161,163,178,179,181,190,196,201,205,210,211],[39,40,42,108,109,111,154,155,157,161,163,180,181,182,183,196,208,211],[62,63,65,85,86,88,161,163,180,181,183,201,205],[39,40,42,62,63,65,85,86,88,108,109,111,154,155,157,163,182,196,201,205,208,211],[16,17,19,62,63,65,85,86,88,131,132,134,154,155,157,164,177,178,182,190,201,205,210,211],[16,17,19,85,86,88,131,132,134,161,164,180,182,190,205,210],[39,40,42,62,63,65,85,86,88,108,109,111,131,132,134,164,178,180,183,196,201,205,208,210],[39,40,42,85,86,88,108,109,111,131,132,134,154,155,157,161,164,177,183,196,205,208,210,211],[16,17,19,39,40,42,62,63,65,108,109,111,161,164,178,182,183,190,196,201,208],[16,17,19,39,40,42,108,109,111,154,155,157,164,177,180,182,183,190,196,208,211],[62,63,65,154,155,157,161,164,177,178,180,201,211],[39,40,42,85,86,88,108,109,111,131,132,134,161,165,178,179,180,181,182,196,205,208,210],[16,17,19,39,40,42,62,63,65,85,86,88,154,155,157,161,165,178,183,190,196,201,205,211],[16,17,19,131,132,134,154,155,157,161,165,177,178,179,180,181,182,190,210,211],[62,63,65,108,109,111,161,165,177,178,183,201,208],[39,40,42,62,63,65,85,86,88,131,132,134,165,177,179,180,181,182,183,196,201,205,210],[16,17,19,39,40,42,85,86,88,108,109,111,154,155,157,165,177,190,196,205,208,211],[16,17,19,62,63,65,108,109,111,131,132,134,154,155,157,165,179,180,181,182,183,190,201,208,210,211],[16,17,19,62,63,65,131,132,134,166,182,190,201,210],[39,40,42,108,109,111,161,166,178,179,183,196,208],[39,40,42,62,63,65,85,86,88,154,155,157,166,177,178,181,183,196,201,205,211],[16,17,19,85,86,88,108,109,111,131,132,134,154,155,157,161,166,177,179,181,182,190,205,208,210,211],[62,63,65,85,86,88,108,109,111,154,155,157,161,166,177,179,181,201,205,208,211],[16,17,19,39,40,42,85,86,88,131,132,134,154,155,157,166,177,178,181,182,183,190,196,205,210,211],[16,17,19,39,40,42,62,63,65,108,109,111,131,132,134,161,166,178,179,182,183,190,196,201,208,210],[16,17,19,39,40,42,62,63,65,131,132,134,161,167,177,179,182,190,196,201,210],[16,17,19,39,40,42,85,86,88,108,109,111,131,132,134,167,177,178,179,180,182,190,196,205,208,210],[39,40,42,62,63,65,108,109,111,131,132,134,154,155,157,167,177,179,180,181,182,196,201,208,210,211],[39,40,42,85,86,88,131,132,134,154,155,157,161,167,177,178,179,181,182,196,205,210,211],[16,17,19,62,63,65,85,86,88,154,155,157,167,178,181,190,201,205,211],[16,17,19,108,109,111,154,155,157,161,167,180,181,190,208,211],[62,63,65,85,86,88,108,109,111,161,167,178,180,201,205,208],[16,17,19,39,40,42,62,63,65,85,86,88,108,109,111,154,155,157,161,168,179,182,183,190,196,201,205,208,211],[16,17,19,62,63,65,85,86,88,108,109,111,168,178,179,180,183,190,201,205,208],[16,17,19,39,40,42,85,86,88,168,177,180,182,190,196,205],[16,17,19,85,86,88,154,155,157,161,168,177,178,190,205,211],[39,40,42,62,63,65,108,109,111,168,177,178,179,182,183,196,201,208],[62,63,65,108,109,111,154,155,157,161,168,177,179,180,183,201,208,211],[39,40,42,154,155,157,161,168,178,180,182,196,211],[39,40,42,62,63,65,108,109,111,154,155,157,169,177,178,180,181,182,183,196,201,208,211],[16,17,19,39,40,42,85,86,88,131,132,134,169,177,178,179,180,190,196,205,210],[16,17,19,39,40,42,62,63,65,85,86,88,161,169,177,178,180,181,182,190,196,201,205],[39,40,42,108,109,111,131,132,134,154,155,157,161,169,177,178,179,180,183,196,208,210,211],[62,63,65,131,132,134,161,169,179,181,182,201,210],[16,17,19,85,86,88,108,109,111,154,155,157,161,169,183,190,205,208,211],[16,17,19,62,63,65,85,86,88,108,109,111,131,132,134,154,155,157,169,179,181,182,183,190,201,205,208,210,211],[16,17,19,39,40,42,85,86,88,108,109,111,170,177,178,182,183,190,196,205,208],[16,17,19,39,40,42,62,63,65,108,109,111,131,132,134,154,155,157,161,170,179,190,196,201,208,210,211],[39,40,42,85,86,88,108,109,111,154,155,157,161,170,177,181,182,196,205,208,211],[39,40,42,62,63,65,108,109,111,131,132,134,170,178,179,181,183,196,201,208,210],[16,17,19,62,63,65,85,86,88,131,132,134,170,177,179,181,182,190,201,205,210],[16,17,19,154,155,157,161,170,178,181,183,190,211],[62,63,65,85,86,88,131,132,134,154,155,157,161,170,177,178,179,182,183,201,205,210,211],[39,40,42,131,132,134,161,171,178,179,181,182,183,196,210],[39,40,42,62,63,65,85,86,88,171,178,180,183,196,201,205],[16,17,19,85,86,88,131,132,134,154,155,157,161,171,177,178,179,182,183,190,205,210,211],[16,17,19,62,63,65,154,155,157,171,177,178,180,181,183,190,201,211],[16,17,19,39,40,42,62,63,65,131,132,134,154,155,157,161,171,177,179,180,182,190,196,201,210,211],[16,17,19,39,40,42,85,86,88,154,155,157,171,177,181,190,196,205,211],[62,63,65,85,86,88,131,132,134,161,171,179,180,181,182,201,205,210],[16,17,19,39,40,42,62,63,65,85,86,88,108,109,111,161,172,177,178,182,183,190,196,201,205,208],[16,17,19,39,40,42,85,86,88,108,109,111,131,132,134,154,155,157,172,179,180,190,196,205,208,210,211],[39,40,42,85,86,88,161,172,180,182,183,196,205],[39,40,42,62,63,65,85,86,88,131,132,134,154,155,157,172,177,178,179,196,201,205,210,211],[16,17,19,108,109,111,131,132,134,154,155,157,161,172,179,182,183,190,208,210,211],[16,17,19,62,63,65,108,109,111,172,177,178,180,190,201,208],[62,63,65,131,132,134,154,155,157,161,172,177,178,179,180,182,183,201,210,211],[16,17,19,39,40,42,108,109,111,131,132,134,154,155,157,173,177,178,179,190,196,208,210,211],[16,17,19,39,40,42,62,63,65,154,155,157,161,173,177,181,182,190,196,201,211],[39,40,42,62,63,65,85,86,88,108,109,111,131,132,134,154,155,157,173,178,179,181,183,196,201,205,208,210,211],[39,40,42,85,86,88,154,155,157,161,173,182,183,196,205,211],[16,17,19,85,86,88,108,109,111,131,132,134,161,173,177,178,179,182,183,190,205,208,210],[16,17,19,62,63,65,85,86,88,173,177,181,183,190,201,205],[62,63,65,108,109,111,131,132,134,161,173,178,179,181,182,201,208,210],[62,63,65,85,86,88,108,109,111,131,132,134,154,155,157,161,174,182,183,201,205,208,210,211],[16,17,19,39,40,42,62,63,65,85,86,88,108,109,111,131,132,134,161,174,177,178,180,181,182,190,196,201,205,208,210],[39,40,42,62,63,65,85,86,88,108,109,111,174,178,179,180,183,196,201,205,208],[16,17,19,62,63,65,85,86,88,108,109,111,154,155,157,174,177,179,181,190,201,205,208,211],[16,17,19,131,132,134,161,174,177,179,181,182,183,190,210],[39,40,42,131,132,134,154,155,157,161,174,178,179,180,182,196,210,211],[16,17,19,39,40,42,154,155,157,174,177,178,180,181,183,190,196,211],[16,17,19,39,40,42,62,63,65,85,86,88,131,132,134,161,175,177,178,179,183,190,196,201,205,210],[16,17,19,39,40,42,108,109,111,175,177,180,181,182,183,190,196,208],[16,17,19,85,86,88,161,175,183,190,205],[16,17,19,62,63,65,108,109,111,131,132,134,175,178,179,180,181,182,183,190,201,208,210],[39,40,42,85,86,88,108,109,111,161,175,177,180,181,182,196,205,208],[39,40,42,62,63,65,131,132,134,175,177,178,179,196,201,210],[62,63,65,85,86,88,108,109,111,131,132,134,161,175,178,179,180,181,182,201,205,208,210],[39,40,42,62,63,65,154,155,157,176,178,180,181,182,183,196,201,211],[16,17,19,62,63,65,131,132,134,154,155,157,176,178,179,180,182,190,201,210,211],[16,17,19,108,109,111,161,176,177,178,183,190,208],[39,40,42,108,109,111,131,132,134,161,176,177,178,179,181,196,208,210],[62,63,65,108,109,111,131,132,134,154,155,157,161,176,177,179,180,182,183,201,208,210,211],[16,17,19,39,40,42,62,63,65,108,109,111,154,155,157,161,176,177,180,181,182,190,196,201,208,211],[16,17,19,39,40,42,131,132,134,176,179,181,183,190,196,210],[85,86,88,154,155,157,180,205,211],[85,86,88,131,132,134,177,178,179,180,182,205,210],[108,109,111,131,132,134,177,179,182,208,210],[85,86,88,108,109,111,131,132,134,154,155,157,183,205,208,210,211],[85,86,88,108,109,111,154,155,157,179,183,205,208,211],[108,109,111,154,155,157,180,181,182,208,211],[85,86,88,131,132,134,154,155,157,178,179,181,183,205,210,211],[108,109,111,131,132,134,154,155,157,179,180,182,183,208,210,211],[85,86,88,108,109,111,177,178,180,205,208],[131,132,134,154,155,157,178,179,180,210,211],[85,86,88,108,109,111,131,132,134,178,179,180,181,182,183,205,208,210]]},"distance":{"d":3,"is_exact":true,"upper":3,"witness":[0,1,2],"A_d":18032,"certified":null},"clifford":{"kind":"required","correction":{"S":[[1,1],[2,1],[3,1],[4,1],[5,1],[6,1],[7,1],[8,1],[9,1],[10,1],[11,1],[12,1],[13,1],[14,1],[15,1],[16,2],[18,2],[19,1],[20,2],[21,2],[22,2],[23,3],[24,1],[25,1],[26,1],[27,1],[28,1],[29,1],[30,1],[31,1],[32,1],[33,1],[34,1],[35,1],[36,1],[37,1],[38,1],[39,3],[41,2],[42,1],[43,3],[44,2],[45,2],[46,2],[47,1],[48,1],[49,1],[50,1],[51,1],[52,1],[53,1],[54,1],[55,1],[56,1],[57,1],[58,1],[59,1],[60,1],[61,1],[64,2],[65,1],[66,3],[67,2],[68,2],[69,1],[70,1],[71,1],[72,1],[73,1],[74,1],[75,1],[76,1],[77,1],[78,1],[79,1],[80,1],[81,1],[82,1],[83,1],[84,1],[87,2],[88,1],[89,3],[90,2],[91,2],[92,1],[93,1],[94,1],[95,1],[96,1],[97,1],[98,1],[99,1],[100,1],[101,1],[102,1],[103,1],[104,1],[105,1],[106,1],[107,1],[110,2],[111,2],[112,3],[113,2],[114,2],[115,1],[116,1],[117,1],[118,1],[119,1],[120,1],[121,1],[122,1],[123,1],[124,1],[125,1],[126,1],[127,1],[128,1],[129,1],[130,1],[132,3],[133,2],[134,2],[135,3],[136,2],[137,2],[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],[155,3],[156,1],[157,2],[158,3],[159,2],[160,2],[161,1],[162,1],[163,1],[164,1],[165,1],[166,1],[167,1],[168,1],[169,1],[170,1],[171,1],[172,1],[173,1],[174,1],[175,1],[176,1],[177,3],[179,1],[180,1],[181,3],[182,2],[183,2],[184,1],[185,1],[186,1],[187,1],[188,1],[189,1],[190,1],[191,1],[192,1],[193,1],[194,1],[195,1],[196,1],[197,1],[198,1],[199,1],[200,1],[201,1],[202,1],[203,1],[204,1],[205,1],[206,1],[207,1],[208,1],[209,1],[210,1],[211,1]],"CZ":[[0,20],[0,39],[0,41],[0,43],[0,45],[0,62],[0,64],[0,66],[0,68],[0,85],[0,87],[0,89],[0,91],[0,184],[0,185],[0,186],[16,17],[16,21],[16,39],[16,41],[16,43],[16,45],[16,62],[16,64],[16,66],[16,68],[16,177],[16,179],[16,181],[16,183],[16,186],[16,188],[16,189],[16,190],[17,21],[17,131],[17,133],[17,135],[17,137],[17,177],[17,179],[17,181],[17,183],[17,187],[17,188],[17,189],[18,22],[18,154],[18,156],[18,158],[18,160],[18,184],[18,185],[18,186],[18,189],[19,20],[19,22],[19,108],[19,110],[19,112],[19,114],[19,177],[19,179],[19,181],[19,183],[19,188],[19,190],[20,21],[20,22],[20,39],[20,41],[20,43],[20,45],[20,187],[20,188],[20,189],[21,22],[21,187],[21,188],[21,190],[22,184],[22,189],[23,41],[23,43],[23,45],[23,62],[23,64],[23,85],[23,87],[23,191],[23,192],[39,40],[39,41],[39,43],[39,44],[39,45],[39,62],[39,64],[39,177],[39,179],[39,184],[39,192],[39,194],[39,195],[39,196],[40,44],[40,131],[40,133],[40,177],[40,179],[40,193],[40,194],[40,195],[41,43],[41,45],[41,154],[41,156],[41,184],[41,191],[41,192],[41,195],[42,43],[42,45],[42,108],[42,110],[42,177],[42,179],[42,194],[42,196],[43,44],[43,184],[43,193],[43,194],[43,195],[44,45],[44,193],[44,194],[44,196],[45,184],[45,195],[46,66],[46,68],[46,85],[46,87],[46,197],[62,63],[62,66],[62,67],[62,68],[62,177],[62,179],[62,185],[62,191],[62,197],[62,199],[62,200],[62,201],[63,67],[63,131],[63,133],[63,177],[63,179],[63,198],[63,199],[63,200],[64,66],[64,68],[64,154],[64,156],[64,185],[64,191],[64,197],[64,200],[65,66],[65,68],[65,108],[65,110],[65,177],[65,179],[65,199],[65,201],[66,67],[66,185],[66,198],[66,199],[66,200],[67,68],[67,198],[67,199],[67,201],[68,185],[68,200],[69,85],[69,87],[69,89],[69,91],[85,86],[85,89],[85,90],[85,91],[85,178],[85,180],[85,181],[85,182],[85,186],[85,192],[85,197],[85,203],[85,204],[85,205],[86,90],[86,132],[86,134],[86,135],[86,136],[86,178],[86,180],[86,181],[86,182],[86,202],[86,203],[86,204],[87,89],[87,91],[87,155],[87,157],[87,158],[87,159],[87,186],[87,192],[87,197],[87,204],[88,89],[88,91],[88,109],[88,111],[88,112],[88,113],[88,178],[88,180],[88,181],[88,182],[88,203],[88,205],[89,90],[89,186],[89,202],[89,203],[89,204],[90,91],[90,202],[90,203],[90,205],[91,186],[91,204],[92,108],[92,110],[92,112],[92,114],[108,109],[108,112],[108,113],[108,114],[108,177],[108,180],[108,181],[108,182],[108,187],[108,193],[108,198],[108,206],[108,207],[108,208],[109,111],[109,113],[109,131],[109,134],[109,135],[109,136],[109,177],[109,180],[109,181],[109,182],[109,202],[109,206],[109,207],[110,112],[110,114],[110,154],[110,157],[110,158],[110,159],[110,187],[110,193],[110,198],[110,207],[111,113],[111,114],[111,177],[111,180],[111,181],[111,182],[111,202],[111,206],[111,208],[112,113],[112,187],[112,202],[112,206],[112,207],[113,114],[113,202],[113,206],[113,208],[114,187],[114,207],[115,131],[115,133],[115,135],[115,137],[131,135],[131,136],[131,137],[131,177],[131,178],[131,181],[131,183],[131,188],[131,194],[131,199],[131,206],[131,209],[131,210],[132,135],[132,177],[132,178],[132,181],[132,183],[132,203],[132,209],[133,135],[133,137],[133,154],[133,155],[133,158],[133,160],[133,188],[133,194],[133,199],[133,209],[134,136],[134,137],[134,177],[134,178],[134,181],[134,183],[134,203],[134,206],[134,210],[135,136],[135,188],[135,203],[135,206],[135,209],[136,137],[136,203],[136,206],[136,210],[137,188],[137,209],[138,154],[138,156],[138,158],[138,160],[154,156],[154,158],[154,159],[154,160],[154,178],[154,182],[154,189],[154,195],[154,200],[154,207],[154,209],[154,211],[155,156],[155,158],[155,178],[155,182],[155,204],[155,209],[156,189],[156,195],[156,200],[157,159],[157,160],[157,178],[157,182],[157,204],[157,207],[157,211],[158,159],[158,189],[158,204],[158,207],[158,209],[159,160],[159,204],[159,207],[159,211],[160,189],[160,209],[161,177],[161,179],[161,181],[161,183],[177,179],[177,180],[177,181],[177,183],[177,190],[177,196],[177,201],[177,208],[177,210],[178,179],[178,181],[178,182],[178,205],[178,210],[178,211],[179,190],[179,196],[179,201],[180,183],[180,205],[180,208],[181,182],[181,190],[181,205],[181,208],[181,210],[182,183],[182,205],[182,208],[182,211],[183,190],[183,210]]},"rotation_powers":null},"metrics":{"gamma":1.5037129512320282,"gamma_t":null,"gamma_rho":1.5037129512320282,"gamma_claim":1.5037129512320282,"gamma_t_claim":null,"gamma_rho_claim":1.5037129512320282,"v_ex":184,"rate":0.19166666666666668,"t_count":null,"poly_degree":null,"effective_width":184},"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 [[960,184,3]]","N":212,"d":3,"d_is_exact":true,"origin":null,"provenance":"AI search: graph gluing -- eight [[127,23,3]] glued along K8 by 28 paired-column contraction(s) (independent ports); construction and witness in master_catalog/imports/2026-09-18_graph_gluing_d3/witnesses/graph_complete_n960_k184_d3.json","notes":"Exact A3=18032 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"}]}