{"id":"840.10.2.a","row":1242,"stored":{"file":"master_catalog.json","row":1242,"construction":null,"columns_sha256":null},"parameters":{"n":840,"k":10,"d":2,"N":14,"r":4,"level":3},"gate":{"string":"0+1+2+3+4+5+6+7+8+9+012+013+014+015+016+017+018+019+023+024+025+026+027+028+029+034+035+036+037+038+039+045+046+047+048+049+056+057+058+059+067+068+069+078+079+089+123+124+125+126+127+128+129+134+135+136+137+138+139+145+146+147+148+149+156+157+158+159+167+168+169+178+179+189+234+235+236+237+238+239+245+246+247+248+249+256+257+258+259+267+268+269+278+279+289+345+346+347+348+349+356+357+358+359+367+368+369+378+379+389+456+457+458+459+467+468+469+478+479+489+567+568+569+578+579+589+678+679+689+789","human":"T0\u00b7T1\u00b7T2\u00b7T3\u00b7T4\u00b7T5\u00b7T6\u00b7T7\u00b7T8\u00b7T9\u00b7CCZ012\u00b7CCZ013\u00b7CCZ014\u00b7CCZ015\u00b7CCZ016\u00b7CCZ017\u00b7CCZ018\u00b7CCZ019\u00b7CCZ023\u00b7CCZ024\u00b7CCZ025\u00b7CCZ026\u00b7CCZ027\u00b7CCZ028\u00b7CCZ029\u00b7CCZ034\u00b7CCZ035\u00b7CCZ036\u00b7CCZ037\u00b7CCZ038\u00b7CCZ039\u00b7CCZ045\u00b7CCZ046\u00b7CCZ047\u00b7CCZ048\u00b7CCZ049\u00b7CCZ056\u00b7CCZ057\u00b7CCZ058\u00b7CCZ059\u00b7CCZ067\u00b7CCZ068\u00b7CCZ069\u00b7CCZ078\u00b7CCZ079\u00b7CCZ089\u00b7CCZ123\u00b7CCZ124\u00b7CCZ125\u00b7CCZ126\u00b7CCZ127\u00b7CCZ128\u00b7CCZ129\u00b7CCZ134\u00b7CCZ135\u00b7CCZ136\u00b7CCZ137\u00b7CCZ138\u00b7CCZ139\u00b7CCZ145\u00b7CCZ146\u00b7CCZ147\u00b7CCZ148\u00b7CCZ149\u00b7CCZ156\u00b7CCZ157\u00b7CCZ158\u00b7CCZ159\u00b7CCZ167\u00b7CCZ168\u00b7CCZ169\u00b7CCZ178\u00b7CCZ179\u00b7CCZ189\u00b7CCZ234\u00b7CCZ235\u00b7CCZ236\u00b7CCZ237\u00b7CCZ238\u00b7CCZ239\u00b7CCZ245\u00b7CCZ246\u00b7CCZ247\u00b7CCZ248\u00b7CCZ249\u00b7CCZ256\u00b7CCZ257\u00b7CCZ258\u00b7CCZ259\u00b7CCZ267\u00b7CCZ268\u00b7CCZ269\u00b7CCZ278\u00b7CCZ279\u00b7CCZ289\u00b7CCZ345\u00b7CCZ346\u00b7CCZ347\u00b7CCZ348\u00b7CCZ349\u00b7CCZ356\u00b7CCZ357\u00b7CCZ358\u00b7CCZ359\u00b7CCZ367\u00b7CCZ368\u00b7CCZ369\u00b7CCZ378\u00b7CCZ379\u00b7CCZ389\u00b7CCZ456\u00b7CCZ457\u00b7CCZ458\u00b7CCZ459\u00b7CCZ467\u00b7CCZ468\u00b7CCZ469\u00b7CCZ478\u00b7CCZ479\u00b7CCZ489\u00b7CCZ567\u00b7CCZ568\u00b7CCZ569\u00b7CCZ578\u00b7CCZ579\u00b7CCZ589\u00b7CCZ678\u00b7CCZ679\u00b7CCZ689\u00b7CCZ789","monomials":[[0],[1],[2],[3],[4],[5],[6],[7],[8],[9],[0,1,2],[0,1,3],[0,1,4],[0,1,5],[0,1,6],[0,1,7],[0,1,8],[0,1,9],[0,2,3],[0,2,4],[0,2,5],[0,2,6],[0,2,7],[0,2,8],[0,2,9],[0,3,4],[0,3,5],[0,3,6],[0,3,7],[0,3,8],[0,3,9],[0,4,5],[0,4,6],[0,4,7],[0,4,8],[0,4,9],[0,5,6],[0,5,7],[0,5,8],[0,5,9],[0,6,7],[0,6,8],[0,6,9],[0,7,8],[0,7,9],[0,8,9],[1,2,3],[1,2,4],[1,2,5],[1,2,6],[1,2,7],[1,2,8],[1,2,9],[1,3,4],[1,3,5],[1,3,6],[1,3,7],[1,3,8],[1,3,9],[1,4,5],[1,4,6],[1,4,7],[1,4,8],[1,4,9],[1,5,6],[1,5,7],[1,5,8],[1,5,9],[1,6,7],[1,6,8],[1,6,9],[1,7,8],[1,7,9],[1,8,9],[2,3,4],[2,3,5],[2,3,6],[2,3,7],[2,3,8],[2,3,9],[2,4,5],[2,4,6],[2,4,7],[2,4,8],[2,4,9],[2,5,6],[2,5,7],[2,5,8],[2,5,9],[2,6,7],[2,6,8],[2,6,9],[2,7,8],[2,7,9],[2,8,9],[3,4,5],[3,4,6],[3,4,7],[3,4,8],[3,4,9],[3,5,6],[3,5,7],[3,5,8],[3,5,9],[3,6,7],[3,6,8],[3,6,9],[3,7,8],[3,7,9],[3,8,9],[4,5,6],[4,5,7],[4,5,8],[4,5,9],[4,6,7],[4,6,8],[4,6,9],[4,7,8],[4,7,9],[4,8,9],[5,6,7],[5,6,8],[5,6,9],[5,7,8],[5,7,9],[5,8,9],[6,7,8],[6,7,9],[6,8,9],[7,8,9]],"sk_key":null,"sk_fingerprint":"959723944e513e0b","sk_canonical_frame":false,"relabelled_into_canonical_frame":false},"circuit":{"columns":[[0,1,2,3,4,5,6,7,10],[0,1,2,3,4,5,6,7,10,11],[0,1,2,3,4,5,6,7,10,11,12],[0,1,2,3,4,5,6,7,10,11,12,13],[0,1,2,3,4,5,6,7,10,11,13],[0,1,2,3,4,5,6,7,10,12],[0,1,2,3,4,5,6,7,10,12,13],[0,1,2,3,4,5,6,7,10,13],[0,1,2,3,4,5,6,7,11],[0,1,2,3,4,5,6,7,11,12],[0,1,2,3,4,5,6,7,11,12,13],[0,1,2,3,4,5,6,7,11,13],[0,1,2,3,4,5,6,7,12],[0,1,2,3,4,5,6,7,12,13],[0,1,2,3,4,5,6,7,13],[0,1,2,3,4,5,6,8,10],[0,1,2,3,4,5,6,8,10,11],[0,1,2,3,4,5,6,8,10,11,12],[0,1,2,3,4,5,6,8,10,11,12,13],[0,1,2,3,4,5,6,8,10,11,13],[0,1,2,3,4,5,6,8,10,12],[0,1,2,3,4,5,6,8,10,12,13],[0,1,2,3,4,5,6,8,10,13],[0,1,2,3,4,5,6,8,11],[0,1,2,3,4,5,6,8,11,12],[0,1,2,3,4,5,6,8,11,12,13],[0,1,2,3,4,5,6,8,11,13],[0,1,2,3,4,5,6,8,12],[0,1,2,3,4,5,6,8,12,13],[0,1,2,3,4,5,6,8,13],[0,1,2,3,4,5,6,9,10],[0,1,2,3,4,5,6,9,10,11],[0,1,2,3,4,5,6,9,10,11,12],[0,1,2,3,4,5,6,9,10,11,12,13],[0,1,2,3,4,5,6,9,10,11,13],[0,1,2,3,4,5,6,9,10,12],[0,1,2,3,4,5,6,9,10,12,13],[0,1,2,3,4,5,6,9,10,13],[0,1,2,3,4,5,6,9,11],[0,1,2,3,4,5,6,9,11,12],[0,1,2,3,4,5,6,9,11,12,13],[0,1,2,3,4,5,6,9,11,13],[0,1,2,3,4,5,6,9,12],[0,1,2,3,4,5,6,9,12,13],[0,1,2,3,4,5,6,9,13],[0,1,2,3,4,5,7,8,10],[0,1,2,3,4,5,7,8,10,11],[0,1,2,3,4,5,7,8,10,11,12],[0,1,2,3,4,5,7,8,10,11,12,13],[0,1,2,3,4,5,7,8,10,11,13],[0,1,2,3,4,5,7,8,10,12],[0,1,2,3,4,5,7,8,10,12,13],[0,1,2,3,4,5,7,8,10,13],[0,1,2,3,4,5,7,8,11],[0,1,2,3,4,5,7,8,11,12],[0,1,2,3,4,5,7,8,11,12,13],[0,1,2,3,4,5,7,8,11,13],[0,1,2,3,4,5,7,8,12],[0,1,2,3,4,5,7,8,12,13],[0,1,2,3,4,5,7,8,13],[0,1,2,3,4,5,7,9,10],[0,1,2,3,4,5,7,9,10,11],[0,1,2,3,4,5,7,9,10,11,12],[0,1,2,3,4,5,7,9,10,11,12,13],[0,1,2,3,4,5,7,9,10,11,13],[0,1,2,3,4,5,7,9,10,12],[0,1,2,3,4,5,7,9,10,12,13],[0,1,2,3,4,5,7,9,10,13],[0,1,2,3,4,5,7,9,11],[0,1,2,3,4,5,7,9,11,12],[0,1,2,3,4,5,7,9,11,12,13],[0,1,2,3,4,5,7,9,11,13],[0,1,2,3,4,5,7,9,12],[0,1,2,3,4,5,7,9,12,13],[0,1,2,3,4,5,7,9,13],[0,1,2,3,4,5,8,9,10],[0,1,2,3,4,5,8,9,10,11],[0,1,2,3,4,5,8,9,10,11,12],[0,1,2,3,4,5,8,9,10,11,12,13],[0,1,2,3,4,5,8,9,10,11,13],[0,1,2,3,4,5,8,9,10,12],[0,1,2,3,4,5,8,9,10,12,13],[0,1,2,3,4,5,8,9,10,13],[0,1,2,3,4,5,8,9,11],[0,1,2,3,4,5,8,9,11,12],[0,1,2,3,4,5,8,9,11,12,13],[0,1,2,3,4,5,8,9,11,13],[0,1,2,3,4,5,8,9,12],[0,1,2,3,4,5,8,9,12,13],[0,1,2,3,4,5,8,9,13],[0,1,2,3,4,6,7,8,10],[0,1,2,3,4,6,7,8,10,11],[0,1,2,3,4,6,7,8,10,11,12],[0,1,2,3,4,6,7,8,10,11,12,13],[0,1,2,3,4,6,7,8,10,11,13],[0,1,2,3,4,6,7,8,10,12],[0,1,2,3,4,6,7,8,10,12,13],[0,1,2,3,4,6,7,8,10,13],[0,1,2,3,4,6,7,8,11],[0,1,2,3,4,6,7,8,11,12],[0,1,2,3,4,6,7,8,11,12,13],[0,1,2,3,4,6,7,8,11,13],[0,1,2,3,4,6,7,8,12],[0,1,2,3,4,6,7,8,12,13],[0,1,2,3,4,6,7,8,13],[0,1,2,3,4,6,7,9,10],[0,1,2,3,4,6,7,9,10,11],[0,1,2,3,4,6,7,9,10,11,12],[0,1,2,3,4,6,7,9,10,11,12,13],[0,1,2,3,4,6,7,9,10,11,13],[0,1,2,3,4,6,7,9,10,12],[0,1,2,3,4,6,7,9,10,12,13],[0,1,2,3,4,6,7,9,10,13],[0,1,2,3,4,6,7,9,11],[0,1,2,3,4,6,7,9,11,12],[0,1,2,3,4,6,7,9,11,12,13],[0,1,2,3,4,6,7,9,11,13],[0,1,2,3,4,6,7,9,12],[0,1,2,3,4,6,7,9,12,13],[0,1,2,3,4,6,7,9,13],[0,1,2,3,4,6,8,9,10],[0,1,2,3,4,6,8,9,10,11],[0,1,2,3,4,6,8,9,10,11,12],[0,1,2,3,4,6,8,9,10,11,12,13],[0,1,2,3,4,6,8,9,10,11,13],[0,1,2,3,4,6,8,9,10,12],[0,1,2,3,4,6,8,9,10,12,13],[0,1,2,3,4,6,8,9,10,13],[0,1,2,3,4,6,8,9,11],[0,1,2,3,4,6,8,9,11,12],[0,1,2,3,4,6,8,9,11,12,13],[0,1,2,3,4,6,8,9,11,13],[0,1,2,3,4,6,8,9,12],[0,1,2,3,4,6,8,9,12,13],[0,1,2,3,4,6,8,9,13],[0,1,2,3,4,7,8,9,10],[0,1,2,3,4,7,8,9,10,11],[0,1,2,3,4,7,8,9,10,11,12],[0,1,2,3,4,7,8,9,10,11,12,13],[0,1,2,3,4,7,8,9,10,11,13],[0,1,2,3,4,7,8,9,10,12],[0,1,2,3,4,7,8,9,10,12,13],[0,1,2,3,4,7,8,9,10,13],[0,1,2,3,4,7,8,9,11],[0,1,2,3,4,7,8,9,11,12],[0,1,2,3,4,7,8,9,11,12,13],[0,1,2,3,4,7,8,9,11,13],[0,1,2,3,4,7,8,9,12],[0,1,2,3,4,7,8,9,12,13],[0,1,2,3,4,7,8,9,13],[0,1,2,3,5,6,7,8,10],[0,1,2,3,5,6,7,8,10,11],[0,1,2,3,5,6,7,8,10,11,12],[0,1,2,3,5,6,7,8,10,11,12,13],[0,1,2,3,5,6,7,8,10,11,13],[0,1,2,3,5,6,7,8,10,12],[0,1,2,3,5,6,7,8,10,12,13],[0,1,2,3,5,6,7,8,10,13],[0,1,2,3,5,6,7,8,11],[0,1,2,3,5,6,7,8,11,12],[0,1,2,3,5,6,7,8,11,12,13],[0,1,2,3,5,6,7,8,11,13],[0,1,2,3,5,6,7,8,12],[0,1,2,3,5,6,7,8,12,13],[0,1,2,3,5,6,7,8,13],[0,1,2,3,5,6,7,9,10],[0,1,2,3,5,6,7,9,10,11],[0,1,2,3,5,6,7,9,10,11,12],[0,1,2,3,5,6,7,9,10,11,12,13],[0,1,2,3,5,6,7,9,10,11,13],[0,1,2,3,5,6,7,9,10,12],[0,1,2,3,5,6,7,9,10,12,13],[0,1,2,3,5,6,7,9,10,13],[0,1,2,3,5,6,7,9,11],[0,1,2,3,5,6,7,9,11,12],[0,1,2,3,5,6,7,9,11,12,13],[0,1,2,3,5,6,7,9,11,13],[0,1,2,3,5,6,7,9,12],[0,1,2,3,5,6,7,9,12,13],[0,1,2,3,5,6,7,9,13],[0,1,2,3,5,6,8,9,10],[0,1,2,3,5,6,8,9,10,11],[0,1,2,3,5,6,8,9,10,11,12],[0,1,2,3,5,6,8,9,10,11,12,13],[0,1,2,3,5,6,8,9,10,11,13],[0,1,2,3,5,6,8,9,10,12],[0,1,2,3,5,6,8,9,10,12,13],[0,1,2,3,5,6,8,9,10,13],[0,1,2,3,5,6,8,9,11],[0,1,2,3,5,6,8,9,11,12],[0,1,2,3,5,6,8,9,11,12,13],[0,1,2,3,5,6,8,9,11,13],[0,1,2,3,5,6,8,9,12],[0,1,2,3,5,6,8,9,12,13],[0,1,2,3,5,6,8,9,13],[0,1,2,3,5,7,8,9,10],[0,1,2,3,5,7,8,9,10,11],[0,1,2,3,5,7,8,9,10,11,12],[0,1,2,3,5,7,8,9,10,11,12,13],[0,1,2,3,5,7,8,9,10,11,13],[0,1,2,3,5,7,8,9,10,12],[0,1,2,3,5,7,8,9,10,12,13],[0,1,2,3,5,7,8,9,10,13],[0,1,2,3,5,7,8,9,11],[0,1,2,3,5,7,8,9,11,12],[0,1,2,3,5,7,8,9,11,12,13],[0,1,2,3,5,7,8,9,11,13],[0,1,2,3,5,7,8,9,12],[0,1,2,3,5,7,8,9,12,13],[0,1,2,3,5,7,8,9,13],[0,1,2,3,6,7,8,9,10],[0,1,2,3,6,7,8,9,10,11],[0,1,2,3,6,7,8,9,10,11,12],[0,1,2,3,6,7,8,9,10,11,12,13],[0,1,2,3,6,7,8,9,10,11,13],[0,1,2,3,6,7,8,9,10,12],[0,1,2,3,6,7,8,9,10,12,13],[0,1,2,3,6,7,8,9,10,13],[0,1,2,3,6,7,8,9,11],[0,1,2,3,6,7,8,9,11,12],[0,1,2,3,6,7,8,9,11,12,13],[0,1,2,3,6,7,8,9,11,13],[0,1,2,3,6,7,8,9,12],[0,1,2,3,6,7,8,9,12,13],[0,1,2,3,6,7,8,9,13],[0,1,2,4,5,6,7,8,10],[0,1,2,4,5,6,7,8,10,11],[0,1,2,4,5,6,7,8,10,11,12],[0,1,2,4,5,6,7,8,10,11,12,13],[0,1,2,4,5,6,7,8,10,11,13],[0,1,2,4,5,6,7,8,10,12],[0,1,2,4,5,6,7,8,10,12,13],[0,1,2,4,5,6,7,8,10,13],[0,1,2,4,5,6,7,8,11],[0,1,2,4,5,6,7,8,11,12],[0,1,2,4,5,6,7,8,11,12,13],[0,1,2,4,5,6,7,8,11,13],[0,1,2,4,5,6,7,8,12],[0,1,2,4,5,6,7,8,12,13],[0,1,2,4,5,6,7,8,13],[0,1,2,4,5,6,7,9,10],[0,1,2,4,5,6,7,9,10,11],[0,1,2,4,5,6,7,9,10,11,12],[0,1,2,4,5,6,7,9,10,11,12,13],[0,1,2,4,5,6,7,9,10,11,13],[0,1,2,4,5,6,7,9,10,12],[0,1,2,4,5,6,7,9,10,12,13],[0,1,2,4,5,6,7,9,10,13],[0,1,2,4,5,6,7,9,11],[0,1,2,4,5,6,7,9,11,12],[0,1,2,4,5,6,7,9,11,12,13],[0,1,2,4,5,6,7,9,11,13],[0,1,2,4,5,6,7,9,12],[0,1,2,4,5,6,7,9,12,13],[0,1,2,4,5,6,7,9,13],[0,1,2,4,5,6,8,9,10],[0,1,2,4,5,6,8,9,10,11],[0,1,2,4,5,6,8,9,10,11,12],[0,1,2,4,5,6,8,9,10,11,12,13],[0,1,2,4,5,6,8,9,10,11,13],[0,1,2,4,5,6,8,9,10,12],[0,1,2,4,5,6,8,9,10,12,13],[0,1,2,4,5,6,8,9,10,13],[0,1,2,4,5,6,8,9,11],[0,1,2,4,5,6,8,9,11,12],[0,1,2,4,5,6,8,9,11,12,13],[0,1,2,4,5,6,8,9,11,13],[0,1,2,4,5,6,8,9,12],[0,1,2,4,5,6,8,9,12,13],[0,1,2,4,5,6,8,9,13],[0,1,2,4,5,7,8,9,10],[0,1,2,4,5,7,8,9,10,11],[0,1,2,4,5,7,8,9,10,11,12],[0,1,2,4,5,7,8,9,10,11,12,13],[0,1,2,4,5,7,8,9,10,11,13],[0,1,2,4,5,7,8,9,10,12],[0,1,2,4,5,7,8,9,10,12,13],[0,1,2,4,5,7,8,9,10,13],[0,1,2,4,5,7,8,9,11],[0,1,2,4,5,7,8,9,11,12],[0,1,2,4,5,7,8,9,11,12,13],[0,1,2,4,5,7,8,9,11,13],[0,1,2,4,5,7,8,9,12],[0,1,2,4,5,7,8,9,12,13],[0,1,2,4,5,7,8,9,13],[0,1,2,4,6,7,8,9,10],[0,1,2,4,6,7,8,9,10,11],[0,1,2,4,6,7,8,9,10,11,12],[0,1,2,4,6,7,8,9,10,11,12,13],[0,1,2,4,6,7,8,9,10,11,13],[0,1,2,4,6,7,8,9,10,12],[0,1,2,4,6,7,8,9,10,12,13],[0,1,2,4,6,7,8,9,10,13],[0,1,2,4,6,7,8,9,11],[0,1,2,4,6,7,8,9,11,12],[0,1,2,4,6,7,8,9,11,12,13],[0,1,2,4,6,7,8,9,11,13],[0,1,2,4,6,7,8,9,12],[0,1,2,4,6,7,8,9,12,13],[0,1,2,4,6,7,8,9,13],[0,1,2,5,6,7,8,9,10],[0,1,2,5,6,7,8,9,10,11],[0,1,2,5,6,7,8,9,10,11,12],[0,1,2,5,6,7,8,9,10,11,12,13],[0,1,2,5,6,7,8,9,10,11,13],[0,1,2,5,6,7,8,9,10,12],[0,1,2,5,6,7,8,9,10,12,13],[0,1,2,5,6,7,8,9,10,13],[0,1,2,5,6,7,8,9,11],[0,1,2,5,6,7,8,9,11,12],[0,1,2,5,6,7,8,9,11,12,13],[0,1,2,5,6,7,8,9,11,13],[0,1,2,5,6,7,8,9,12],[0,1,2,5,6,7,8,9,12,13],[0,1,2,5,6,7,8,9,13],[0,1,3,4,5,6,7,8,10],[0,1,3,4,5,6,7,8,10,11],[0,1,3,4,5,6,7,8,10,11,12],[0,1,3,4,5,6,7,8,10,11,12,13],[0,1,3,4,5,6,7,8,10,11,13],[0,1,3,4,5,6,7,8,10,12],[0,1,3,4,5,6,7,8,10,12,13],[0,1,3,4,5,6,7,8,10,13],[0,1,3,4,5,6,7,8,11],[0,1,3,4,5,6,7,8,11,12],[0,1,3,4,5,6,7,8,11,12,13],[0,1,3,4,5,6,7,8,11,13],[0,1,3,4,5,6,7,8,12],[0,1,3,4,5,6,7,8,12,13],[0,1,3,4,5,6,7,8,13],[0,1,3,4,5,6,7,9,10],[0,1,3,4,5,6,7,9,10,11],[0,1,3,4,5,6,7,9,10,11,12],[0,1,3,4,5,6,7,9,10,11,12,13],[0,1,3,4,5,6,7,9,10,11,13],[0,1,3,4,5,6,7,9,10,12],[0,1,3,4,5,6,7,9,10,12,13],[0,1,3,4,5,6,7,9,10,13],[0,1,3,4,5,6,7,9,11],[0,1,3,4,5,6,7,9,11,12],[0,1,3,4,5,6,7,9,11,12,13],[0,1,3,4,5,6,7,9,11,13],[0,1,3,4,5,6,7,9,12],[0,1,3,4,5,6,7,9,12,13],[0,1,3,4,5,6,7,9,13],[0,1,3,4,5,6,8,9,10],[0,1,3,4,5,6,8,9,10,11],[0,1,3,4,5,6,8,9,10,11,12],[0,1,3,4,5,6,8,9,10,11,12,13],[0,1,3,4,5,6,8,9,10,11,13],[0,1,3,4,5,6,8,9,10,12],[0,1,3,4,5,6,8,9,10,12,13],[0,1,3,4,5,6,8,9,10,13],[0,1,3,4,5,6,8,9,11],[0,1,3,4,5,6,8,9,11,12],[0,1,3,4,5,6,8,9,11,12,13],[0,1,3,4,5,6,8,9,11,13],[0,1,3,4,5,6,8,9,12],[0,1,3,4,5,6,8,9,12,13],[0,1,3,4,5,6,8,9,13],[0,1,3,4,5,7,8,9,10],[0,1,3,4,5,7,8,9,10,11],[0,1,3,4,5,7,8,9,10,11,12],[0,1,3,4,5,7,8,9,10,11,12,13],[0,1,3,4,5,7,8,9,10,11,13],[0,1,3,4,5,7,8,9,10,12],[0,1,3,4,5,7,8,9,10,12,13],[0,1,3,4,5,7,8,9,10,13],[0,1,3,4,5,7,8,9,11],[0,1,3,4,5,7,8,9,11,12],[0,1,3,4,5,7,8,9,11,12,13],[0,1,3,4,5,7,8,9,11,13],[0,1,3,4,5,7,8,9,12],[0,1,3,4,5,7,8,9,12,13],[0,1,3,4,5,7,8,9,13],[0,1,3,4,6,7,8,9,10],[0,1,3,4,6,7,8,9,10,11],[0,1,3,4,6,7,8,9,10,11,12],[0,1,3,4,6,7,8,9,10,11,12,13],[0,1,3,4,6,7,8,9,10,11,13],[0,1,3,4,6,7,8,9,10,12],[0,1,3,4,6,7,8,9,10,12,13],[0,1,3,4,6,7,8,9,10,13],[0,1,3,4,6,7,8,9,11],[0,1,3,4,6,7,8,9,11,12],[0,1,3,4,6,7,8,9,11,12,13],[0,1,3,4,6,7,8,9,11,13],[0,1,3,4,6,7,8,9,12],[0,1,3,4,6,7,8,9,12,13],[0,1,3,4,6,7,8,9,13],[0,1,3,5,6,7,8,9,10],[0,1,3,5,6,7,8,9,10,11],[0,1,3,5,6,7,8,9,10,11,12],[0,1,3,5,6,7,8,9,10,11,12,13],[0,1,3,5,6,7,8,9,10,11,13],[0,1,3,5,6,7,8,9,10,12],[0,1,3,5,6,7,8,9,10,12,13],[0,1,3,5,6,7,8,9,10,13],[0,1,3,5,6,7,8,9,11],[0,1,3,5,6,7,8,9,11,12],[0,1,3,5,6,7,8,9,11,12,13],[0,1,3,5,6,7,8,9,11,13],[0,1,3,5,6,7,8,9,12],[0,1,3,5,6,7,8,9,12,13],[0,1,3,5,6,7,8,9,13],[0,1,4,5,6,7,8,9,10],[0,1,4,5,6,7,8,9,10,11],[0,1,4,5,6,7,8,9,10,11,12],[0,1,4,5,6,7,8,9,10,11,12,13],[0,1,4,5,6,7,8,9,10,11,13],[0,1,4,5,6,7,8,9,10,12],[0,1,4,5,6,7,8,9,10,12,13],[0,1,4,5,6,7,8,9,10,13],[0,1,4,5,6,7,8,9,11],[0,1,4,5,6,7,8,9,11,12],[0,1,4,5,6,7,8,9,11,12,13],[0,1,4,5,6,7,8,9,11,13],[0,1,4,5,6,7,8,9,12],[0,1,4,5,6,7,8,9,12,13],[0,1,4,5,6,7,8,9,13],[0,2,3,4,5,6,7,8,10],[0,2,3,4,5,6,7,8,10,11],[0,2,3,4,5,6,7,8,10,11,12],[0,2,3,4,5,6,7,8,10,11,12,13],[0,2,3,4,5,6,7,8,10,11,13],[0,2,3,4,5,6,7,8,10,12],[0,2,3,4,5,6,7,8,10,12,13],[0,2,3,4,5,6,7,8,10,13],[0,2,3,4,5,6,7,8,11],[0,2,3,4,5,6,7,8,11,12],[0,2,3,4,5,6,7,8,11,12,13],[0,2,3,4,5,6,7,8,11,13],[0,2,3,4,5,6,7,8,12],[0,2,3,4,5,6,7,8,12,13],[0,2,3,4,5,6,7,8,13],[0,2,3,4,5,6,7,9,10],[0,2,3,4,5,6,7,9,10,11],[0,2,3,4,5,6,7,9,10,11,12],[0,2,3,4,5,6,7,9,10,11,12,13],[0,2,3,4,5,6,7,9,10,11,13],[0,2,3,4,5,6,7,9,10,12],[0,2,3,4,5,6,7,9,10,12,13],[0,2,3,4,5,6,7,9,10,13],[0,2,3,4,5,6,7,9,11],[0,2,3,4,5,6,7,9,11,12],[0,2,3,4,5,6,7,9,11,12,13],[0,2,3,4,5,6,7,9,11,13],[0,2,3,4,5,6,7,9,12],[0,2,3,4,5,6,7,9,12,13],[0,2,3,4,5,6,7,9,13],[0,2,3,4,5,6,8,9,10],[0,2,3,4,5,6,8,9,10,11],[0,2,3,4,5,6,8,9,10,11,12],[0,2,3,4,5,6,8,9,10,11,12,13],[0,2,3,4,5,6,8,9,10,11,13],[0,2,3,4,5,6,8,9,10,12],[0,2,3,4,5,6,8,9,10,12,13],[0,2,3,4,5,6,8,9,10,13],[0,2,3,4,5,6,8,9,11],[0,2,3,4,5,6,8,9,11,12],[0,2,3,4,5,6,8,9,11,12,13],[0,2,3,4,5,6,8,9,11,13],[0,2,3,4,5,6,8,9,12],[0,2,3,4,5,6,8,9,12,13],[0,2,3,4,5,6,8,9,13],[0,2,3,4,5,7,8,9,10],[0,2,3,4,5,7,8,9,10,11],[0,2,3,4,5,7,8,9,10,11,12],[0,2,3,4,5,7,8,9,10,11,12,13],[0,2,3,4,5,7,8,9,10,11,13],[0,2,3,4,5,7,8,9,10,12],[0,2,3,4,5,7,8,9,10,12,13],[0,2,3,4,5,7,8,9,10,13],[0,2,3,4,5,7,8,9,11],[0,2,3,4,5,7,8,9,11,12],[0,2,3,4,5,7,8,9,11,12,13],[0,2,3,4,5,7,8,9,11,13],[0,2,3,4,5,7,8,9,12],[0,2,3,4,5,7,8,9,12,13],[0,2,3,4,5,7,8,9,13],[0,2,3,4,6,7,8,9,10],[0,2,3,4,6,7,8,9,10,11],[0,2,3,4,6,7,8,9,10,11,12],[0,2,3,4,6,7,8,9,10,11,12,13],[0,2,3,4,6,7,8,9,10,11,13],[0,2,3,4,6,7,8,9,10,12],[0,2,3,4,6,7,8,9,10,12,13],[0,2,3,4,6,7,8,9,10,13],[0,2,3,4,6,7,8,9,11],[0,2,3,4,6,7,8,9,11,12],[0,2,3,4,6,7,8,9,11,12,13],[0,2,3,4,6,7,8,9,11,13],[0,2,3,4,6,7,8,9,12],[0,2,3,4,6,7,8,9,12,13],[0,2,3,4,6,7,8,9,13],[0,2,3,5,6,7,8,9,10],[0,2,3,5,6,7,8,9,10,11],[0,2,3,5,6,7,8,9,10,11,12],[0,2,3,5,6,7,8,9,10,11,12,13],[0,2,3,5,6,7,8,9,10,11,13],[0,2,3,5,6,7,8,9,10,12],[0,2,3,5,6,7,8,9,10,12,13],[0,2,3,5,6,7,8,9,10,13],[0,2,3,5,6,7,8,9,11],[0,2,3,5,6,7,8,9,11,12],[0,2,3,5,6,7,8,9,11,12,13],[0,2,3,5,6,7,8,9,11,13],[0,2,3,5,6,7,8,9,12],[0,2,3,5,6,7,8,9,12,13],[0,2,3,5,6,7,8,9,13],[0,2,4,5,6,7,8,9,10],[0,2,4,5,6,7,8,9,10,11],[0,2,4,5,6,7,8,9,10,11,12],[0,2,4,5,6,7,8,9,10,11,12,13],[0,2,4,5,6,7,8,9,10,11,13],[0,2,4,5,6,7,8,9,10,12],[0,2,4,5,6,7,8,9,10,12,13],[0,2,4,5,6,7,8,9,10,13],[0,2,4,5,6,7,8,9,11],[0,2,4,5,6,7,8,9,11,12],[0,2,4,5,6,7,8,9,11,12,13],[0,2,4,5,6,7,8,9,11,13],[0,2,4,5,6,7,8,9,12],[0,2,4,5,6,7,8,9,12,13],[0,2,4,5,6,7,8,9,13],[0,3,4,5,6,7,8,9,10],[0,3,4,5,6,7,8,9,10,11],[0,3,4,5,6,7,8,9,10,11,12],[0,3,4,5,6,7,8,9,10,11,12,13],[0,3,4,5,6,7,8,9,10,11,13],[0,3,4,5,6,7,8,9,10,12],[0,3,4,5,6,7,8,9,10,12,13],[0,3,4,5,6,7,8,9,10,13],[0,3,4,5,6,7,8,9,11],[0,3,4,5,6,7,8,9,11,12],[0,3,4,5,6,7,8,9,11,12,13],[0,3,4,5,6,7,8,9,11,13],[0,3,4,5,6,7,8,9,12],[0,3,4,5,6,7,8,9,12,13],[0,3,4,5,6,7,8,9,13],[0,10],[0,10,11],[0,10,11,12],[0,10,11,12,13],[0,10,11,13],[0,10,12],[0,10,12,13],[0,10,13],[0,11],[0,11,12],[0,11,12,13],[0,11,13],[0,12],[0,12,13],[0,13],[1,2,3,4,5,6,7,8,10],[1,2,3,4,5,6,7,8,10,11],[1,2,3,4,5,6,7,8,10,11,12],[1,2,3,4,5,6,7,8,10,11,12,13],[1,2,3,4,5,6,7,8,10,11,13],[1,2,3,4,5,6,7,8,10,12],[1,2,3,4,5,6,7,8,10,12,13],[1,2,3,4,5,6,7,8,10,13],[1,2,3,4,5,6,7,8,11],[1,2,3,4,5,6,7,8,11,12],[1,2,3,4,5,6,7,8,11,12,13],[1,2,3,4,5,6,7,8,11,13],[1,2,3,4,5,6,7,8,12],[1,2,3,4,5,6,7,8,12,13],[1,2,3,4,5,6,7,8,13],[1,2,3,4,5,6,7,9,10],[1,2,3,4,5,6,7,9,10,11],[1,2,3,4,5,6,7,9,10,11,12],[1,2,3,4,5,6,7,9,10,11,12,13],[1,2,3,4,5,6,7,9,10,11,13],[1,2,3,4,5,6,7,9,10,12],[1,2,3,4,5,6,7,9,10,12,13],[1,2,3,4,5,6,7,9,10,13],[1,2,3,4,5,6,7,9,11],[1,2,3,4,5,6,7,9,11,12],[1,2,3,4,5,6,7,9,11,12,13],[1,2,3,4,5,6,7,9,11,13],[1,2,3,4,5,6,7,9,12],[1,2,3,4,5,6,7,9,12,13],[1,2,3,4,5,6,7,9,13],[1,2,3,4,5,6,8,9,10],[1,2,3,4,5,6,8,9,10,11],[1,2,3,4,5,6,8,9,10,11,12],[1,2,3,4,5,6,8,9,10,11,12,13],[1,2,3,4,5,6,8,9,10,11,13],[1,2,3,4,5,6,8,9,10,12],[1,2,3,4,5,6,8,9,10,12,13],[1,2,3,4,5,6,8,9,10,13],[1,2,3,4,5,6,8,9,11],[1,2,3,4,5,6,8,9,11,12],[1,2,3,4,5,6,8,9,11,12,13],[1,2,3,4,5,6,8,9,11,13],[1,2,3,4,5,6,8,9,12],[1,2,3,4,5,6,8,9,12,13],[1,2,3,4,5,6,8,9,13],[1,2,3,4,5,7,8,9,10],[1,2,3,4,5,7,8,9,10,11],[1,2,3,4,5,7,8,9,10,11,12],[1,2,3,4,5,7,8,9,10,11,12,13],[1,2,3,4,5,7,8,9,10,11,13],[1,2,3,4,5,7,8,9,10,12],[1,2,3,4,5,7,8,9,10,12,13],[1,2,3,4,5,7,8,9,10,13],[1,2,3,4,5,7,8,9,11],[1,2,3,4,5,7,8,9,11,12],[1,2,3,4,5,7,8,9,11,12,13],[1,2,3,4,5,7,8,9,11,13],[1,2,3,4,5,7,8,9,12],[1,2,3,4,5,7,8,9,12,13],[1,2,3,4,5,7,8,9,13],[1,2,3,4,6,7,8,9,10],[1,2,3,4,6,7,8,9,10,11],[1,2,3,4,6,7,8,9,10,11,12],[1,2,3,4,6,7,8,9,10,11,12,13],[1,2,3,4,6,7,8,9,10,11,13],[1,2,3,4,6,7,8,9,10,12],[1,2,3,4,6,7,8,9,10,12,13],[1,2,3,4,6,7,8,9,10,13],[1,2,3,4,6,7,8,9,11],[1,2,3,4,6,7,8,9,11,12],[1,2,3,4,6,7,8,9,11,12,13],[1,2,3,4,6,7,8,9,11,13],[1,2,3,4,6,7,8,9,12],[1,2,3,4,6,7,8,9,12,13],[1,2,3,4,6,7,8,9,13],[1,2,3,5,6,7,8,9,10],[1,2,3,5,6,7,8,9,10,11],[1,2,3,5,6,7,8,9,10,11,12],[1,2,3,5,6,7,8,9,10,11,12,13],[1,2,3,5,6,7,8,9,10,11,13],[1,2,3,5,6,7,8,9,10,12],[1,2,3,5,6,7,8,9,10,12,13],[1,2,3,5,6,7,8,9,10,13],[1,2,3,5,6,7,8,9,11],[1,2,3,5,6,7,8,9,11,12],[1,2,3,5,6,7,8,9,11,12,13],[1,2,3,5,6,7,8,9,11,13],[1,2,3,5,6,7,8,9,12],[1,2,3,5,6,7,8,9,12,13],[1,2,3,5,6,7,8,9,13],[1,2,4,5,6,7,8,9,10],[1,2,4,5,6,7,8,9,10,11],[1,2,4,5,6,7,8,9,10,11,12],[1,2,4,5,6,7,8,9,10,11,12,13],[1,2,4,5,6,7,8,9,10,11,13],[1,2,4,5,6,7,8,9,10,12],[1,2,4,5,6,7,8,9,10,12,13],[1,2,4,5,6,7,8,9,10,13],[1,2,4,5,6,7,8,9,11],[1,2,4,5,6,7,8,9,11,12],[1,2,4,5,6,7,8,9,11,12,13],[1,2,4,5,6,7,8,9,11,13],[1,2,4,5,6,7,8,9,12],[1,2,4,5,6,7,8,9,12,13],[1,2,4,5,6,7,8,9,13],[1,3,4,5,6,7,8,9,10],[1,3,4,5,6,7,8,9,10,11],[1,3,4,5,6,7,8,9,10,11,12],[1,3,4,5,6,7,8,9,10,11,12,13],[1,3,4,5,6,7,8,9,10,11,13],[1,3,4,5,6,7,8,9,10,12],[1,3,4,5,6,7,8,9,10,12,13],[1,3,4,5,6,7,8,9,10,13],[1,3,4,5,6,7,8,9,11],[1,3,4,5,6,7,8,9,11,12],[1,3,4,5,6,7,8,9,11,12,13],[1,3,4,5,6,7,8,9,11,13],[1,3,4,5,6,7,8,9,12],[1,3,4,5,6,7,8,9,12,13],[1,3,4,5,6,7,8,9,13],[1,10],[1,10,11],[1,10,11,12],[1,10,11,12,13],[1,10,11,13],[1,10,12],[1,10,12,13],[1,10,13],[1,11],[1,11,12],[1,11,12,13],[1,11,13],[1,12],[1,12,13],[1,13],[2,3,4,5,6,7,8,9,10],[2,3,4,5,6,7,8,9,10,11],[2,3,4,5,6,7,8,9,10,11,12],[2,3,4,5,6,7,8,9,10,11,12,13],[2,3,4,5,6,7,8,9,10,11,13],[2,3,4,5,6,7,8,9,10,12],[2,3,4,5,6,7,8,9,10,12,13],[2,3,4,5,6,7,8,9,10,13],[2,3,4,5,6,7,8,9,11],[2,3,4,5,6,7,8,9,11,12],[2,3,4,5,6,7,8,9,11,12,13],[2,3,4,5,6,7,8,9,11,13],[2,3,4,5,6,7,8,9,12],[2,3,4,5,6,7,8,9,12,13],[2,3,4,5,6,7,8,9,13],[2,10],[2,10,11],[2,10,11,12],[2,10,11,12,13],[2,10,11,13],[2,10,12],[2,10,12,13],[2,10,13],[2,11],[2,11,12],[2,11,12,13],[2,11,13],[2,12],[2,12,13],[2,13],[3,10],[3,10,11],[3,10,11,12],[3,10,11,12,13],[3,10,11,13],[3,10,12],[3,10,12,13],[3,10,13],[3,11],[3,11,12],[3,11,12,13],[3,11,13],[3,12],[3,12,13],[3,13],[4,10],[4,10,11],[4,10,11,12],[4,10,11,12,13],[4,10,11,13],[4,10,12],[4,10,12,13],[4,10,13],[4,11],[4,11,12],[4,11,12,13],[4,11,13],[4,12],[4,12,13],[4,13],[5,10],[5,10,11],[5,10,11,12],[5,10,11,12,13],[5,10,11,13],[5,10,12],[5,10,12,13],[5,10,13],[5,11],[5,11,12],[5,11,12,13],[5,11,13],[5,12],[5,12,13],[5,13],[6,10],[6,10,11],[6,10,11,12],[6,10,11,12,13],[6,10,11,13],[6,10,12],[6,10,12,13],[6,10,13],[6,11],[6,11,12],[6,11,12,13],[6,11,13],[6,12],[6,12,13],[6,13],[7,10],[7,10,11],[7,10,11,12],[7,10,11,12,13],[7,10,11,13],[7,10,12],[7,10,12,13],[7,10,13],[7,11],[7,11,12],[7,11,12,13],[7,11,13],[7,12],[7,12,13],[7,13],[8,10],[8,10,11],[8,10,11,12],[8,10,11,12,13],[8,10,11,13],[8,10,12],[8,10,12,13],[8,10,13],[8,11],[8,11,12],[8,11,12,13],[8,11,13],[8,12],[8,12,13],[8,13],[9,10],[9,10,11],[9,10,11,12],[9,10,11,12,13],[9,10,11,13],[9,10,12],[9,10,12,13],[9,10,13],[9,11],[9,11,12],[9,11,12,13],[9,11,13],[9,12],[9,12,13],[9,13],[10],[10,11],[10,11,12],[10,11,12,13],[10,11,13],[10,12],[10,12,13],[10,13],[11],[11,12],[11,12,13],[11,13],[12],[12,13],[13]]},"distance":{"d":2,"is_exact":true,"upper":2,"witness":[0,15],"A_d":23100,"certified":null},"clifford":{"kind":"powers","correction":{"S":[[0,3],[1,3],[2,3],[3,3],[4,3],[5,3],[6,3],[7,3],[8,3],[9,3]],"CZ":[]},"rotation_powers":[[0,3],[1,3],[2,3],[3,3],[4,3],[5,3],[6,3],[7,3],[8,3],[9,3],[10,3],[11,3],[12,3],[13,3],[14,3],[15,3],[16,3],[17,3],[18,3],[19,3],[20,3],[21,3],[22,3],[23,3],[24,3],[25,3],[26,3],[27,3],[28,3],[29,3],[30,3],[31,3],[32,3],[33,3],[34,3],[35,3],[36,3],[37,3],[38,3],[39,3],[40,3],[41,3],[42,3],[43,3],[44,3],[45,3],[46,3],[47,3],[48,3],[49,3],[50,3],[51,3],[52,3],[53,3],[54,3],[55,3],[56,3],[57,3],[58,3],[59,3],[60,3],[61,3],[62,3],[63,3],[64,3],[65,3],[66,3],[67,3],[68,3],[69,3],[70,3],[71,3],[72,3],[73,3],[74,3],[75,3],[76,3],[77,3],[78,3],[79,3],[80,3],[81,3],[82,3],[83,3],[84,3],[85,3],[86,3],[87,3],[88,3],[89,3],[90,3],[91,3],[92,3],[93,3],[94,3],[95,3],[96,3],[97,3],[98,3],[99,3],[100,3],[101,3],[102,3],[103,3],[104,3],[105,3],[106,3],[107,3],[108,3],[109,3],[110,3],[111,3],[112,3],[113,3],[114,3],[115,3],[116,3],[117,3],[118,3],[119,3],[120,3],[121,3],[122,3],[123,3],[124,3],[125,3],[126,3],[127,3],[128,3],[129,3],[130,3],[131,3],[132,3],[133,3],[134,3],[135,3],[136,3],[137,3],[138,3],[139,3],[140,3],[141,3],[142,3],[143,3],[144,3],[145,3],[146,3],[147,3],[148,3],[149,3],[150,3],[151,3],[152,3],[153,3],[154,3],[155,3],[156,3],[157,3],[158,3],[159,3],[160,3],[161,3],[162,3],[163,3],[164,3],[165,3],[166,3],[167,3],[168,3],[169,3],[170,3],[171,3],[172,3],[173,3],[174,3],[175,3],[176,3],[177,3],[178,3],[179,3],[180,3],[181,3],[182,3],[183,3],[184,3],[185,3],[186,3],[187,3],[188,3],[189,3],[190,3],[191,3],[192,3],[193,3],[194,3],[195,3],[196,3],[197,3],[198,3],[199,3],[200,3],[201,3],[202,3],[203,3],[204,3],[205,3],[206,3],[207,3],[208,3],[209,3],[210,3],[211,3],[212,3],[213,3],[214,3],[215,3],[216,3],[217,3],[218,3],[219,3],[220,3],[221,3],[222,3],[223,3],[224,3],[225,3],[226,3],[227,3],[228,3],[229,3],[230,3],[231,3],[232,3],[233,3],[234,3],[235,3],[236,3],[237,3],[238,3],[239,3],[240,3],[241,3],[242,3],[243,3],[244,3],[245,3],[246,3],[247,3],[248,3],[249,3],[250,3],[251,3],[252,3],[253,3],[254,3],[255,3],[256,3],[257,3],[258,3],[259,3],[260,3],[261,3],[262,3],[263,3],[264,3],[265,3],[266,3],[267,3],[268,3],[269,3],[270,3],[271,3],[272,3],[273,3],[274,3],[275,3],[276,3],[277,3],[278,3],[279,3],[280,3],[281,3],[282,3],[283,3],[284,3],[285,3],[286,3],[287,3],[288,3],[289,3],[290,3],[291,3],[292,3],[293,3],[294,3],[295,3],[296,3],[297,3],[298,3],[299,3],[300,3],[301,3],[302,3],[303,3],[304,3],[305,3],[306,3],[307,3],[308,3],[309,3],[310,3],[311,3],[312,3],[313,3],[314,3],[315,3],[316,3],[317,3],[318,3],[319,3],[320,3],[321,3],[322,3],[323,3],[324,3],[325,3],[326,3],[327,3],[328,3],[329,3],[330,3],[331,3],[332,3],[333,3],[334,3],[335,3],[336,3],[337,3],[338,3],[339,3],[340,3],[341,3],[342,3],[343,3],[344,3],[345,3],[346,3],[347,3],[348,3],[349,3],[350,3],[351,3],[352,3],[353,3],[354,3],[355,3],[356,3],[357,3],[358,3],[359,3],[360,3],[361,3],[362,3],[363,3],[364,3],[365,3],[366,3],[367,3],[368,3],[369,3],[370,3],[371,3],[372,3],[373,3],[374,3],[375,3],[376,3],[377,3],[378,3],[379,3],[380,3],[381,3],[382,3],[383,3],[384,3],[385,3],[386,3],[387,3],[388,3],[389,3],[390,3],[391,3],[392,3],[393,3],[394,3],[395,3],[396,3],[397,3],[398,3],[399,3],[400,3],[401,3],[402,3],[403,3],[404,3],[405,3],[406,3],[407,3],[408,3],[409,3],[410,3],[411,3],[412,3],[413,3],[414,3],[415,3],[416,3],[417,3],[418,3],[419,3],[420,3],[421,3],[422,3],[423,3],[424,3],[425,3],[426,3],[427,3],[428,3],[429,3],[430,3],[431,3],[432,3],[433,3],[434,3],[435,3],[436,3],[437,3],[438,3],[439,3],[440,3],[441,3],[442,3],[443,3],[444,3],[445,3],[446,3],[447,3],[448,3],[449,3],[450,3],[451,3],[452,3],[453,3],[454,3],[455,3],[456,3],[457,3],[458,3],[459,3],[460,3],[461,3],[462,3],[463,3],[464,3],[465,3],[466,3],[467,3],[468,3],[469,3],[470,3],[471,3],[472,3],[473,3],[474,3],[475,3],[476,3],[477,3],[478,3],[479,3],[480,3],[481,3],[482,3],[483,3],[484,3],[485,3],[486,3],[487,3],[488,3],[489,3],[490,3],[491,3],[492,3],[493,3],[494,3],[495,3],[496,3],[497,3],[498,3],[499,3],[500,3],[501,3],[502,3],[503,3],[504,3],[505,3],[506,3],[507,3],[508,3],[509,3],[510,3],[511,3],[512,3],[513,3],[514,3],[515,3],[516,3],[517,3],[518,3],[519,3],[520,3],[521,3],[522,3],[523,3],[524,3],[525,3],[526,3],[527,3],[528,3],[529,3],[530,3],[531,3],[532,3],[533,3],[534,3],[535,3],[536,3],[537,3],[538,3],[539,3],[540,3],[541,3],[542,3],[543,3],[544,3],[545,3],[546,3],[547,3],[548,3],[549,3],[550,3],[551,3],[552,3],[553,3],[554,3],[555,3],[556,3],[557,3],[558,3],[559,3],[560,3],[561,3],[562,3],[563,3],[564,3],[565,3],[566,3],[567,3],[568,3],[569,3],[570,3],[571,3],[572,3],[573,3],[574,3],[575,3],[576,3],[577,3],[578,3],[579,3],[580,3],[581,3],[582,3],[583,3],[584,3],[585,3],[586,3],[587,3],[588,3],[589,3],[590,3],[591,3],[592,3],[593,3],[594,3],[595,3],[596,3],[597,3],[598,3],[599,3],[600,3],[601,3],[602,3],[603,3],[604,3],[605,3],[606,3],[607,3],[608,3],[609,3],[610,3],[611,3],[612,3],[613,3],[614,3],[615,3],[616,3],[617,3],[618,3],[619,3],[620,3],[621,3],[622,3],[623,3],[624,3],[625,3],[626,3],[627,3],[628,3],[629,3],[630,3],[631,3],[632,3],[633,3],[634,3],[635,3],[636,3],[637,3],[638,3],[639,3],[640,3],[641,3],[642,3],[643,3],[644,3],[645,3],[646,3],[647,3],[648,3],[649,3],[650,3],[651,3],[652,3],[653,3],[654,3],[655,3],[656,3],[657,3],[658,3],[659,3],[660,3],[661,3],[662,3],[663,3],[664,3],[665,3],[666,3],[667,3],[668,3],[669,3],[670,3],[671,3],[672,3],[673,3],[674,3],[675,3],[676,3],[677,3],[678,3],[679,3],[680,3],[681,3],[682,3],[683,3],[684,3],[685,3],[686,3],[687,3],[688,3],[689,3],[690,3],[691,3],[692,3],[693,3],[694,3],[695,3],[696,3],[697,3],[698,3],[699,3],[700,3],[701,3],[702,3],[703,3],[704,3],[705,3],[706,3],[707,3],[708,3],[709,3],[710,3],[711,3],[712,3],[713,3],[714,3],[715,3],[716,3],[717,3],[718,3],[719,3],[720,3],[721,3],[722,3],[723,3],[724,3],[725,3],[726,3],[727,3],[728,3],[729,3],[730,3],[731,3],[732,3],[733,3],[734,3],[735,3],[736,3],[737,3],[738,3],[739,3],[740,3],[741,3],[742,3],[743,3],[744,3],[745,3],[746,3],[747,3],[748,3],[749,3],[750,3],[751,3],[752,3],[753,3],[754,3],[755,3],[756,3],[757,3],[758,3],[759,3],[760,3],[761,3],[762,3],[763,3],[764,3],[765,3],[766,3],[767,3],[768,3],[769,3],[770,3],[771,3],[772,3],[773,3],[774,3],[775,3],[776,3],[777,3],[778,3],[779,3],[780,3],[781,3],[782,3],[783,3],[784,3],[785,3],[786,3],[787,3],[788,3],[789,3],[790,3],[791,3],[792,3],[793,3],[794,3],[795,3],[796,3],[797,3],[798,3],[799,3],[800,3],[801,3],[802,3],[803,3],[804,3],[805,3],[806,3],[807,3],[808,3],[809,3],[810,3],[811,3],[812,3],[813,3],[814,3],[815,3],[816,3],[817,3],[818,3],[819,3],[820,3],[821,3],[822,3],[823,3],[824,3],[825,3],[826,3],[827,3],[828,3],[829,3],[830,3],[831,3],[832,3],[833,3],[834,3],[835,3],[836,3],[837,3],[838,3],[839,3]]},"metrics":{"gamma":6.39231742277876,"gamma_t":null,"gamma_rho":null,"gamma_claim":6.39231742277876,"gamma_t_claim":null,"gamma_rho_claim":null,"v_ex":null,"rate":0.011904761904761904,"t_count":null,"poly_degree":null,"effective_width":10},"provenance":{"regimes":["borrowed-identity search: two-group"],"discovery":"pre-existing","strongest_claim":"found by the two-group borrowed-identity search of Singh, Gidney and Jones (arXiv:2606.28518; borrowed_identities/): an identity circuit symmetric within its output and check blocks, with its output-only gates removed; a verified witness, not a maximum","sources":[{"regime":"borrowed-identity search: two-group","file":"borrowed_identities/circuits/large_unified_l3.json","label":"lu-1103","N":14,"d":2,"d_is_exact":true,"origin":"https://github.com/shraggy/Magic_state_factory_search at ae9fbf8, outputs/large_unified_factories_l3.csv line 1103","provenance":"larger unified search l=3, two-group s_total=1,s_O=7"}]},"references":[{"key":"singh2026borrowed","short":"Singh et al. (2026)","full":"S. Singh, C. Gidney, and C. Jones, \"Borrowed Identities: Malleable Distillation Factories and a Unified Numerical Search,\" arXiv:2606.28518 (2026).","url":"https://arxiv.org/abs/2606.28518","date":"2026-06-26"}]}