{"id":"3528.10.2.a","row":117,"stored":{"file":"master_catalog_large.json","row":117,"construction":{"family":"two-group","k":10,"N":16,"s_total":1,"s_O":7},"columns_sha256":"8d5973f546006ed7ac98f3cff1c551ecac3f8db8f974635669783b9a3acdcaa5"},"parameters":{"n":3528,"k":10,"d":2,"N":16,"r":6,"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,12,13,14],[0,1,2,3,4,5,6,7,10,11,12,13,14,15],[0,1,2,3,4,5,6,7,10,11,12,13,15],[0,1,2,3,4,5,6,7,10,11,12,14],[0,1,2,3,4,5,6,7,10,11,12,14,15],[0,1,2,3,4,5,6,7,10,11,12,15],[0,1,2,3,4,5,6,7,10,11,13],[0,1,2,3,4,5,6,7,10,11,13,14],[0,1,2,3,4,5,6,7,10,11,13,14,15],[0,1,2,3,4,5,6,7,10,11,13,15],[0,1,2,3,4,5,6,7,10,11,14],[0,1,2,3,4,5,6,7,10,11,14,15],[0,1,2,3,4,5,6,7,10,11,15],[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,12,13,14],[0,1,2,3,4,5,6,7,10,12,13,14,15],[0,1,2,3,4,5,6,7,10,12,13,15],[0,1,2,3,4,5,6,7,10,12,14],[0,1,2,3,4,5,6,7,10,12,14,15],[0,1,2,3,4,5,6,7,10,12,15],[0,1,2,3,4,5,6,7,10,13],[0,1,2,3,4,5,6,7,10,13,14],[0,1,2,3,4,5,6,7,10,13,14,15],[0,1,2,3,4,5,6,7,10,13,15],[0,1,2,3,4,5,6,7,10,14],[0,1,2,3,4,5,6,7,10,14,15],[0,1,2,3,4,5,6,7,10,15],[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,12,13,14],[0,1,2,3,4,5,6,7,11,12,13,14,15],[0,1,2,3,4,5,6,7,11,12,13,15],[0,1,2,3,4,5,6,7,11,12,14],[0,1,2,3,4,5,6,7,11,12,14,15],[0,1,2,3,4,5,6,7,11,12,15],[0,1,2,3,4,5,6,7,11,13],[0,1,2,3,4,5,6,7,11,13,14],[0,1,2,3,4,5,6,7,11,13,14,15],[0,1,2,3,4,5,6,7,11,13,15],[0,1,2,3,4,5,6,7,11,14],[0,1,2,3,4,5,6,7,11,14,15],[0,1,2,3,4,5,6,7,11,15],[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,12,13,14],[0,1,2,3,4,5,6,7,12,13,14,15],[0,1,2,3,4,5,6,7,12,13,15],[0,1,2,3,4,5,6,7,12,14],[0,1,2,3,4,5,6,7,12,14,15],[0,1,2,3,4,5,6,7,12,15],[0,1,2,3,4,5,6,7,13],[0,1,2,3,4,5,6,7,13,14],[0,1,2,3,4,5,6,7,13,14,15],[0,1,2,3,4,5,6,7,13,15],[0,1,2,3,4,5,6,7,14],[0,1,2,3,4,5,6,7,14,15],[0,1,2,3,4,5,6,7,15],[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,12,13,14],[0,1,2,3,4,5,6,8,10,11,12,13,14,15],[0,1,2,3,4,5,6,8,10,11,12,13,15],[0,1,2,3,4,5,6,8,10,11,12,14],[0,1,2,3,4,5,6,8,10,11,12,14,15],[0,1,2,3,4,5,6,8,10,11,12,15],[0,1,2,3,4,5,6,8,10,11,13],[0,1,2,3,4,5,6,8,10,11,13,14],[0,1,2,3,4,5,6,8,10,11,13,14,15],[0,1,2,3,4,5,6,8,10,11,13,15],[0,1,2,3,4,5,6,8,10,11,14],[0,1,2,3,4,5,6,8,10,11,14,15],[0,1,2,3,4,5,6,8,10,11,15],[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,12,13,14],[0,1,2,3,4,5,6,8,10,12,13,14,15],[0,1,2,3,4,5,6,8,10,12,13,15],[0,1,2,3,4,5,6,8,10,12,14],[0,1,2,3,4,5,6,8,10,12,14,15],[0,1,2,3,4,5,6,8,10,12,15],[0,1,2,3,4,5,6,8,10,13],[0,1,2,3,4,5,6,8,10,13,14],[0,1,2,3,4,5,6,8,10,13,14,15],[0,1,2,3,4,5,6,8,10,13,15],[0,1,2,3,4,5,6,8,10,14],[0,1,2,3,4,5,6,8,10,14,15],[0,1,2,3,4,5,6,8,10,15],[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,12,13,14],[0,1,2,3,4,5,6,8,11,12,13,14,15],[0,1,2,3,4,5,6,8,11,12,13,15],[0,1,2,3,4,5,6,8,11,12,14],[0,1,2,3,4,5,6,8,11,12,14,15],[0,1,2,3,4,5,6,8,11,12,15],[0,1,2,3,4,5,6,8,11,13],[0,1,2,3,4,5,6,8,11,13,14],[0,1,2,3,4,5,6,8,11,13,14,15],[0,1,2,3,4,5,6,8,11,13,15],[0,1,2,3,4,5,6,8,11,14],[0,1,2,3,4,5,6,8,11,14,15],[0,1,2,3,4,5,6,8,11,15],[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,12,13,14],[0,1,2,3,4,5,6,8,12,13,14,15],[0,1,2,3,4,5,6,8,12,13,15],[0,1,2,3,4,5,6,8,12,14],[0,1,2,3,4,5,6,8,12,14,15],[0,1,2,3,4,5,6,8,12,15],[0,1,2,3,4,5,6,8,13],[0,1,2,3,4,5,6,8,13,14],[0,1,2,3,4,5,6,8,13,14,15],[0,1,2,3,4,5,6,8,13,15],[0,1,2,3,4,5,6,8,14],[0,1,2,3,4,5,6,8,14,15],[0,1,2,3,4,5,6,8,15],[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,12,13,14],[0,1,2,3,4,5,6,9,10,11,12,13,14,15],[0,1,2,3,4,5,6,9,10,11,12,13,15],[0,1,2,3,4,5,6,9,10,11,12,14],[0,1,2,3,4,5,6,9,10,11,12,14,15],[0,1,2,3,4,5,6,9,10,11,12,15],[0,1,2,3,4,5,6,9,10,11,13],[0,1,2,3,4,5,6,9,10,11,13,14],[0,1,2,3,4,5,6,9,10,11,13,14,15],[0,1,2,3,4,5,6,9,10,11,13,15],[0,1,2,3,4,5,6,9,10,11,14],[0,1,2,3,4,5,6,9,10,11,14,15],[0,1,2,3,4,5,6,9,10,11,15],[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,12,13,14],[0,1,2,3,4,5,6,9,10,12,13,14,15],[0,1,2,3,4,5,6,9,10,12,13,15],[0,1,2,3,4,5,6,9,10,12,14],[0,1,2,3,4,5,6,9,10,12,14,15],[0,1,2,3,4,5,6,9,10,12,15],[0,1,2,3,4,5,6,9,10,13],[0,1,2,3,4,5,6,9,10,13,14],[0,1,2,3,4,5,6,9,10,13,14,15],[0,1,2,3,4,5,6,9,10,13,15],[0,1,2,3,4,5,6,9,10,14],[0,1,2,3,4,5,6,9,10,14,15],[0,1,2,3,4,5,6,9,10,15],[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,12,13,14],[0,1,2,3,4,5,6,9,11,12,13,14,15],[0,1,2,3,4,5,6,9,11,12,13,15],[0,1,2,3,4,5,6,9,11,12,14],[0,1,2,3,4,5,6,9,11,12,14,15],[0,1,2,3,4,5,6,9,11,12,15],[0,1,2,3,4,5,6,9,11,13],[0,1,2,3,4,5,6,9,11,13,14],[0,1,2,3,4,5,6,9,11,13,14,15],[0,1,2,3,4,5,6,9,11,13,15],[0,1,2,3,4,5,6,9,11,14],[0,1,2,3,4,5,6,9,11,14,15],[0,1,2,3,4,5,6,9,11,15],[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,12,13,14],[0,1,2,3,4,5,6,9,12,13,14,15],[0,1,2,3,4,5,6,9,12,13,15],[0,1,2,3,4,5,6,9,12,14],[0,1,2,3,4,5,6,9,12,14,15],[0,1,2,3,4,5,6,9,12,15],[0,1,2,3,4,5,6,9,13],[0,1,2,3,4,5,6,9,13,14],[0,1,2,3,4,5,6,9,13,14,15],[0,1,2,3,4,5,6,9,13,15],[0,1,2,3,4,5,6,9,14],[0,1,2,3,4,5,6,9,14,15],[0,1,2,3,4,5,6,9,15],[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,12,13,14],[0,1,2,3,4,5,7,8,10,11,12,13,14,15],[0,1,2,3,4,5,7,8,10,11,12,13,15],[0,1,2,3,4,5,7,8,10,11,12,14],[0,1,2,3,4,5,7,8,10,11,12,14,15],[0,1,2,3,4,5,7,8,10,11,12,15],[0,1,2,3,4,5,7,8,10,11,13],[0,1,2,3,4,5,7,8,10,11,13,14],[0,1,2,3,4,5,7,8,10,11,13,14,15],[0,1,2,3,4,5,7,8,10,11,13,15],[0,1,2,3,4,5,7,8,10,11,14],[0,1,2,3,4,5,7,8,10,11,14,15],[0,1,2,3,4,5,7,8,10,11,15],[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,12,13,14],[0,1,2,3,4,5,7,8,10,12,13,14,15],[0,1,2,3,4,5,7,8,10,12,13,15],[0,1,2,3,4,5,7,8,10,12,14],[0,1,2,3,4,5,7,8,10,12,14,15],[0,1,2,3,4,5,7,8,10,12,15],[0,1,2,3,4,5,7,8,10,13],[0,1,2,3,4,5,7,8,10,13,14],[0,1,2,3,4,5,7,8,10,13,14,15],[0,1,2,3,4,5,7,8,10,13,15],[0,1,2,3,4,5,7,8,10,14],[0,1,2,3,4,5,7,8,10,14,15],[0,1,2,3,4,5,7,8,10,15],[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,12,13,14],[0,1,2,3,4,5,7,8,11,12,13,14,15],[0,1,2,3,4,5,7,8,11,12,13,15],[0,1,2,3,4,5,7,8,11,12,14],[0,1,2,3,4,5,7,8,11,12,14,15],[0,1,2,3,4,5,7,8,11,12,15],[0,1,2,3,4,5,7,8,11,13],[0,1,2,3,4,5,7,8,11,13,14],[0,1,2,3,4,5,7,8,11,13,14,15],[0,1,2,3,4,5,7,8,11,13,15],[0,1,2,3,4,5,7,8,11,14],[0,1,2,3,4,5,7,8,11,14,15],[0,1,2,3,4,5,7,8,11,15],[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,12,13,14],[0,1,2,3,4,5,7,8,12,13,14,15],[0,1,2,3,4,5,7,8,12,13,15],[0,1,2,3,4,5,7,8,12,14],[0,1,2,3,4,5,7,8,12,14,15],[0,1,2,3,4,5,7,8,12,15],[0,1,2,3,4,5,7,8,13],[0,1,2,3,4,5,7,8,13,14],[0,1,2,3,4,5,7,8,13,14,15],[0,1,2,3,4,5,7,8,13,15],[0,1,2,3,4,5,7,8,14],[0,1,2,3,4,5,7,8,14,15],[0,1,2,3,4,5,7,8,15],[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,12,13,14],[0,1,2,3,4,5,7,9,10,11,12,13,14,15],[0,1,2,3,4,5,7,9,10,11,12,13,15],[0,1,2,3,4,5,7,9,10,11,12,14],[0,1,2,3,4,5,7,9,10,11,12,14,15],[0,1,2,3,4,5,7,9,10,11,12,15],[0,1,2,3,4,5,7,9,10,11,13],[0,1,2,3,4,5,7,9,10,11,13,14],[0,1,2,3,4,5,7,9,10,11,13,14,15],[0,1,2,3,4,5,7,9,10,11,13,15],[0,1,2,3,4,5,7,9,10,11,14],[0,1,2,3,4,5,7,9,10,11,14,15],[0,1,2,3,4,5,7,9,10,11,15],[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,12,13,14],[0,1,2,3,4,5,7,9,10,12,13,14,15],[0,1,2,3,4,5,7,9,10,12,13,15],[0,1,2,3,4,5,7,9,10,12,14],[0,1,2,3,4,5,7,9,10,12,14,15],[0,1,2,3,4,5,7,9,10,12,15],[0,1,2,3,4,5,7,9,10,13],[0,1,2,3,4,5,7,9,10,13,14],[0,1,2,3,4,5,7,9,10,13,14,15],[0,1,2,3,4,5,7,9,10,13,15],[0,1,2,3,4,5,7,9,10,14],[0,1,2,3,4,5,7,9,10,14,15],[0,1,2,3,4,5,7,9,10,15],[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,12,13,14],[0,1,2,3,4,5,7,9,11,12,13,14,15],[0,1,2,3,4,5,7,9,11,12,13,15],[0,1,2,3,4,5,7,9,11,12,14],[0,1,2,3,4,5,7,9,11,12,14,15],[0,1,2,3,4,5,7,9,11,12,15],[0,1,2,3,4,5,7,9,11,13],[0,1,2,3,4,5,7,9,11,13,14],[0,1,2,3,4,5,7,9,11,13,14,15],[0,1,2,3,4,5,7,9,11,13,15],[0,1,2,3,4,5,7,9,11,14],[0,1,2,3,4,5,7,9,11,14,15],[0,1,2,3,4,5,7,9,11,15],[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,12,13,14],[0,1,2,3,4,5,7,9,12,13,14,15],[0,1,2,3,4,5,7,9,12,13,15],[0,1,2,3,4,5,7,9,12,14],[0,1,2,3,4,5,7,9,12,14,15],[0,1,2,3,4,5,7,9,12,15],[0,1,2,3,4,5,7,9,13],[0,1,2,3,4,5,7,9,13,14],[0,1,2,3,4,5,7,9,13,14,15],[0,1,2,3,4,5,7,9,13,15],[0,1,2,3,4,5,7,9,14],[0,1,2,3,4,5,7,9,14,15],[0,1,2,3,4,5,7,9,15],[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,12,13,14],[0,1,2,3,4,5,8,9,10,11,12,13,14,15],[0,1,2,3,4,5,8,9,10,11,12,13,15],[0,1,2,3,4,5,8,9,10,11,12,14],[0,1,2,3,4,5,8,9,10,11,12,14,15],[0,1,2,3,4,5,8,9,10,11,12,15],[0,1,2,3,4,5,8,9,10,11,13],[0,1,2,3,4,5,8,9,10,11,13,14],[0,1,2,3,4,5,8,9,10,11,13,14,15],[0,1,2,3,4,5,8,9,10,11,13,15],[0,1,2,3,4,5,8,9,10,11,14],[0,1,2,3,4,5,8,9,10,11,14,15],[0,1,2,3,4,5,8,9,10,11,15],[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,12,13,14],[0,1,2,3,4,5,8,9,10,12,13,14,15],[0,1,2,3,4,5,8,9,10,12,13,15],[0,1,2,3,4,5,8,9,10,12,14],[0,1,2,3,4,5,8,9,10,12,14,15],[0,1,2,3,4,5,8,9,10,12,15],[0,1,2,3,4,5,8,9,10,13],[0,1,2,3,4,5,8,9,10,13,14],[0,1,2,3,4,5,8,9,10,13,14,15],[0,1,2,3,4,5,8,9,10,13,15],[0,1,2,3,4,5,8,9,10,14],[0,1,2,3,4,5,8,9,10,14,15],[0,1,2,3,4,5,8,9,10,15],[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,12,13,14],[0,1,2,3,4,5,8,9,11,12,13,14,15],[0,1,2,3,4,5,8,9,11,12,13,15],[0,1,2,3,4,5,8,9,11,12,14],[0,1,2,3,4,5,8,9,11,12,14,15],[0,1,2,3,4,5,8,9,11,12,15],[0,1,2,3,4,5,8,9,11,13],[0,1,2,3,4,5,8,9,11,13,14],[0,1,2,3,4,5,8,9,11,13,14,15],[0,1,2,3,4,5,8,9,11,13,15],[0,1,2,3,4,5,8,9,11,14],[0,1,2,3,4,5,8,9,11,14,15],[0,1,2,3,4,5,8,9,11,15],[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,12,13,14],[0,1,2,3,4,5,8,9,12,13,14,15],[0,1,2,3,4,5,8,9,12,13,15],[0,1,2,3,4,5,8,9,12,14],[0,1,2,3,4,5,8,9,12,14,15],[0,1,2,3,4,5,8,9,12,15],[0,1,2,3,4,5,8,9,13],[0,1,2,3,4,5,8,9,13,14],[0,1,2,3,4,5,8,9,13,14,15],[0,1,2,3,4,5,8,9,13,15],[0,1,2,3,4,5,8,9,14],[0,1,2,3,4,5,8,9,14,15],[0,1,2,3,4,5,8,9,15],[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,12,13,14],[0,1,2,3,4,6,7,8,10,11,12,13,14,15],[0,1,2,3,4,6,7,8,10,11,12,13,15],[0,1,2,3,4,6,7,8,10,11,12,14],[0,1,2,3,4,6,7,8,10,11,12,14,15],[0,1,2,3,4,6,7,8,10,11,12,15],[0,1,2,3,4,6,7,8,10,11,13],[0,1,2,3,4,6,7,8,10,11,13,14],[0,1,2,3,4,6,7,8,10,11,13,14,15],[0,1,2,3,4,6,7,8,10,11,13,15],[0,1,2,3,4,6,7,8,10,11,14],[0,1,2,3,4,6,7,8,10,11,14,15],[0,1,2,3,4,6,7,8,10,11,15],[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,12,13,14],[0,1,2,3,4,6,7,8,10,12,13,14,15],[0,1,2,3,4,6,7,8,10,12,13,15],[0,1,2,3,4,6,7,8,10,12,14],[0,1,2,3,4,6,7,8,10,12,14,15],[0,1,2,3,4,6,7,8,10,12,15],[0,1,2,3,4,6,7,8,10,13],[0,1,2,3,4,6,7,8,10,13,14],[0,1,2,3,4,6,7,8,10,13,14,15],[0,1,2,3,4,6,7,8,10,13,15],[0,1,2,3,4,6,7,8,10,14],[0,1,2,3,4,6,7,8,10,14,15],[0,1,2,3,4,6,7,8,10,15],[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,12,13,14],[0,1,2,3,4,6,7,8,11,12,13,14,15],[0,1,2,3,4,6,7,8,11,12,13,15],[0,1,2,3,4,6,7,8,11,12,14],[0,1,2,3,4,6,7,8,11,12,14,15],[0,1,2,3,4,6,7,8,11,12,15],[0,1,2,3,4,6,7,8,11,13],[0,1,2,3,4,6,7,8,11,13,14],[0,1,2,3,4,6,7,8,11,13,14,15],[0,1,2,3,4,6,7,8,11,13,15],[0,1,2,3,4,6,7,8,11,14],[0,1,2,3,4,6,7,8,11,14,15],[0,1,2,3,4,6,7,8,11,15],[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,12,13,14],[0,1,2,3,4,6,7,8,12,13,14,15],[0,1,2,3,4,6,7,8,12,13,15],[0,1,2,3,4,6,7,8,12,14],[0,1,2,3,4,6,7,8,12,14,15],[0,1,2,3,4,6,7,8,12,15],[0,1,2,3,4,6,7,8,13],[0,1,2,3,4,6,7,8,13,14],[0,1,2,3,4,6,7,8,13,14,15],[0,1,2,3,4,6,7,8,13,15],[0,1,2,3,4,6,7,8,14],[0,1,2,3,4,6,7,8,14,15],[0,1,2,3,4,6,7,8,15],[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,12,13,14],[0,1,2,3,4,6,7,9,10,11,12,13,14,15],[0,1,2,3,4,6,7,9,10,11,12,13,15],[0,1,2,3,4,6,7,9,10,11,12,14],[0,1,2,3,4,6,7,9,10,11,12,14,15],[0,1,2,3,4,6,7,9,10,11,12,15],[0,1,2,3,4,6,7,9,10,11,13],[0,1,2,3,4,6,7,9,10,11,13,14],[0,1,2,3,4,6,7,9,10,11,13,14,15],[0,1,2,3,4,6,7,9,10,11,13,15],[0,1,2,3,4,6,7,9,10,11,14],[0,1,2,3,4,6,7,9,10,11,14,15],[0,1,2,3,4,6,7,9,10,11,15],[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,12,13,14],[0,1,2,3,4,6,7,9,10,12,13,14,15],[0,1,2,3,4,6,7,9,10,12,13,15],[0,1,2,3,4,6,7,9,10,12,14],[0,1,2,3,4,6,7,9,10,12,14,15],[0,1,2,3,4,6,7,9,10,12,15],[0,1,2,3,4,6,7,9,10,13],[0,1,2,3,4,6,7,9,10,13,14],[0,1,2,3,4,6,7,9,10,13,14,15],[0,1,2,3,4,6,7,9,10,13,15],[0,1,2,3,4,6,7,9,10,14],[0,1,2,3,4,6,7,9,10,14,15],[0,1,2,3,4,6,7,9,10,15],[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,12,13,14],[0,1,2,3,4,6,7,9,11,12,13,14,15],[0,1,2,3,4,6,7,9,11,12,13,15],[0,1,2,3,4,6,7,9,11,12,14],[0,1,2,3,4,6,7,9,11,12,14,15],[0,1,2,3,4,6,7,9,11,12,15],[0,1,2,3,4,6,7,9,11,13],[0,1,2,3,4,6,7,9,11,13,14],[0,1,2,3,4,6,7,9,11,13,14,15],[0,1,2,3,4,6,7,9,11,13,15],[0,1,2,3,4,6,7,9,11,14],[0,1,2,3,4,6,7,9,11,14,15],[0,1,2,3,4,6,7,9,11,15],[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,12,13,14],[0,1,2,3,4,6,7,9,12,13,14,15],[0,1,2,3,4,6,7,9,12,13,15],[0,1,2,3,4,6,7,9,12,14],[0,1,2,3,4,6,7,9,12,14,15],[0,1,2,3,4,6,7,9,12,15],[0,1,2,3,4,6,7,9,13],[0,1,2,3,4,6,7,9,13,14],[0,1,2,3,4,6,7,9,13,14,15],[0,1,2,3,4,6,7,9,13,15],[0,1,2,3,4,6,7,9,14],[0,1,2,3,4,6,7,9,14,15],[0,1,2,3,4,6,7,9,15],[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,12,13,14],[0,1,2,3,4,6,8,9,10,11,12,13,14,15],[0,1,2,3,4,6,8,9,10,11,12,13,15],[0,1,2,3,4,6,8,9,10,11,12,14],[0,1,2,3,4,6,8,9,10,11,12,14,15],[0,1,2,3,4,6,8,9,10,11,12,15],[0,1,2,3,4,6,8,9,10,11,13],[0,1,2,3,4,6,8,9,10,11,13,14],[0,1,2,3,4,6,8,9,10,11,13,14,15],[0,1,2,3,4,6,8,9,10,11,13,15],[0,1,2,3,4,6,8,9,10,11,14],[0,1,2,3,4,6,8,9,10,11,14,15],[0,1,2,3,4,6,8,9,10,11,15],[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,12,13,14],[0,1,2,3,4,6,8,9,10,12,13,14,15],[0,1,2,3,4,6,8,9,10,12,13,15],[0,1,2,3,4,6,8,9,10,12,14],[0,1,2,3,4,6,8,9,10,12,14,15],[0,1,2,3,4,6,8,9,10,12,15],[0,1,2,3,4,6,8,9,10,13],[0,1,2,3,4,6,8,9,10,13,14],[0,1,2,3,4,6,8,9,10,13,14,15],[0,1,2,3,4,6,8,9,10,13,15],[0,1,2,3,4,6,8,9,10,14],[0,1,2,3,4,6,8,9,10,14,15],[0,1,2,3,4,6,8,9,10,15],[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,12,13,14],[0,1,2,3,4,6,8,9,11,12,13,14,15],[0,1,2,3,4,6,8,9,11,12,13,15],[0,1,2,3,4,6,8,9,11,12,14],[0,1,2,3,4,6,8,9,11,12,14,15],[0,1,2,3,4,6,8,9,11,12,15],[0,1,2,3,4,6,8,9,11,13],[0,1,2,3,4,6,8,9,11,13,14],[0,1,2,3,4,6,8,9,11,13,14,15],[0,1,2,3,4,6,8,9,11,13,15],[0,1,2,3,4,6,8,9,11,14],[0,1,2,3,4,6,8,9,11,14,15],[0,1,2,3,4,6,8,9,11,15],[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,12,13,14],[0,1,2,3,4,6,8,9,12,13,14,15],[0,1,2,3,4,6,8,9,12,13,15],[0,1,2,3,4,6,8,9,12,14],[0,1,2,3,4,6,8,9,12,14,15],[0,1,2,3,4,6,8,9,12,15],[0,1,2,3,4,6,8,9,13],[0,1,2,3,4,6,8,9,13,14],[0,1,2,3,4,6,8,9,13,14,15],[0,1,2,3,4,6,8,9,13,15],[0,1,2,3,4,6,8,9,14],[0,1,2,3,4,6,8,9,14,15],[0,1,2,3,4,6,8,9,15],[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,12,13,14],[0,1,2,3,4,7,8,9,10,11,12,13,14,15],[0,1,2,3,4,7,8,9,10,11,12,13,15],[0,1,2,3,4,7,8,9,10,11,12,14],[0,1,2,3,4,7,8,9,10,11,12,14,15],[0,1,2,3,4,7,8,9,10,11,12,15],[0,1,2,3,4,7,8,9,10,11,13],[0,1,2,3,4,7,8,9,10,11,13,14],[0,1,2,3,4,7,8,9,10,11,13,14,15],[0,1,2,3,4,7,8,9,10,11,13,15],[0,1,2,3,4,7,8,9,10,11,14],[0,1,2,3,4,7,8,9,10,11,14,15],[0,1,2,3,4,7,8,9,10,11,15],[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,12,13,14],[0,1,2,3,4,7,8,9,10,12,13,14,15],[0,1,2,3,4,7,8,9,10,12,13,15],[0,1,2,3,4,7,8,9,10,12,14],[0,1,2,3,4,7,8,9,10,12,14,15],[0,1,2,3,4,7,8,9,10,12,15],[0,1,2,3,4,7,8,9,10,13],[0,1,2,3,4,7,8,9,10,13,14],[0,1,2,3,4,7,8,9,10,13,14,15],[0,1,2,3,4,7,8,9,10,13,15],[0,1,2,3,4,7,8,9,10,14],[0,1,2,3,4,7,8,9,10,14,15],[0,1,2,3,4,7,8,9,10,15],[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,12,13,14],[0,1,2,3,4,7,8,9,11,12,13,14,15],[0,1,2,3,4,7,8,9,11,12,13,15],[0,1,2,3,4,7,8,9,11,12,14],[0,1,2,3,4,7,8,9,11,12,14,15],[0,1,2,3,4,7,8,9,11,12,15],[0,1,2,3,4,7,8,9,11,13],[0,1,2,3,4,7,8,9,11,13,14],[0,1,2,3,4,7,8,9,11,13,14,15],[0,1,2,3,4,7,8,9,11,13,15],[0,1,2,3,4,7,8,9,11,14],[0,1,2,3,4,7,8,9,11,14,15],[0,1,2,3,4,7,8,9,11,15],[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,12,13,14],[0,1,2,3,4,7,8,9,12,13,14,15],[0,1,2,3,4,7,8,9,12,13,15],[0,1,2,3,4,7,8,9,12,14],[0,1,2,3,4,7,8,9,12,14,15],[0,1,2,3,4,7,8,9,12,15],[0,1,2,3,4,7,8,9,13],[0,1,2,3,4,7,8,9,13,14],[0,1,2,3,4,7,8,9,13,14,15],[0,1,2,3,4,7,8,9,13,15],[0,1,2,3,4,7,8,9,14],[0,1,2,3,4,7,8,9,14,15],[0,1,2,3,4,7,8,9,15],[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,12,13,14],[0,1,2,3,5,6,7,8,10,11,12,13,14,15],[0,1,2,3,5,6,7,8,10,11,12,13,15],[0,1,2,3,5,6,7,8,10,11,12,14],[0,1,2,3,5,6,7,8,10,11,12,14,15],[0,1,2,3,5,6,7,8,10,11,12,15],[0,1,2,3,5,6,7,8,10,11,13],[0,1,2,3,5,6,7,8,10,11,13,14],[0,1,2,3,5,6,7,8,10,11,13,14,15],[0,1,2,3,5,6,7,8,10,11,13,15],[0,1,2,3,5,6,7,8,10,11,14],[0,1,2,3,5,6,7,8,10,11,14,15],[0,1,2,3,5,6,7,8,10,11,15],[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,12,13,14],[0,1,2,3,5,6,7,8,10,12,13,14,15],[0,1,2,3,5,6,7,8,10,12,13,15],[0,1,2,3,5,6,7,8,10,12,14],[0,1,2,3,5,6,7,8,10,12,14,15],[0,1,2,3,5,6,7,8,10,12,15],[0,1,2,3,5,6,7,8,10,13],[0,1,2,3,5,6,7,8,10,13,14],[0,1,2,3,5,6,7,8,10,13,14,15],[0,1,2,3,5,6,7,8,10,13,15],[0,1,2,3,5,6,7,8,10,14],[0,1,2,3,5,6,7,8,10,14,15],[0,1,2,3,5,6,7,8,10,15],[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,12,13,14],[0,1,2,3,5,6,7,8,11,12,13,14,15],[0,1,2,3,5,6,7,8,11,12,13,15],[0,1,2,3,5,6,7,8,11,12,14],[0,1,2,3,5,6,7,8,11,12,14,15],[0,1,2,3,5,6,7,8,11,12,15],[0,1,2,3,5,6,7,8,11,13],[0,1,2,3,5,6,7,8,11,13,14],[0,1,2,3,5,6,7,8,11,13,14,15],[0,1,2,3,5,6,7,8,11,13,15],[0,1,2,3,5,6,7,8,11,14],[0,1,2,3,5,6,7,8,11,14,15],[0,1,2,3,5,6,7,8,11,15],[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,12,13,14],[0,1,2,3,5,6,7,8,12,13,14,15],[0,1,2,3,5,6,7,8,12,13,15],[0,1,2,3,5,6,7,8,12,14],[0,1,2,3,5,6,7,8,12,14,15],[0,1,2,3,5,6,7,8,12,15],[0,1,2,3,5,6,7,8,13],[0,1,2,3,5,6,7,8,13,14],[0,1,2,3,5,6,7,8,13,14,15],[0,1,2,3,5,6,7,8,13,15],[0,1,2,3,5,6,7,8,14],[0,1,2,3,5,6,7,8,14,15],[0,1,2,3,5,6,7,8,15],[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,12,13,14],[0,1,2,3,5,6,7,9,10,11,12,13,14,15],[0,1,2,3,5,6,7,9,10,11,12,13,15],[0,1,2,3,5,6,7,9,10,11,12,14],[0,1,2,3,5,6,7,9,10,11,12,14,15],[0,1,2,3,5,6,7,9,10,11,12,15],[0,1,2,3,5,6,7,9,10,11,13],[0,1,2,3,5,6,7,9,10,11,13,14],[0,1,2,3,5,6,7,9,10,11,13,14,15],[0,1,2,3,5,6,7,9,10,11,13,15],[0,1,2,3,5,6,7,9,10,11,14],[0,1,2,3,5,6,7,9,10,11,14,15],[0,1,2,3,5,6,7,9,10,11,15],[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,12,13,14],[0,1,2,3,5,6,7,9,10,12,13,14,15],[0,1,2,3,5,6,7,9,10,12,13,15],[0,1,2,3,5,6,7,9,10,12,14],[0,1,2,3,5,6,7,9,10,12,14,15],[0,1,2,3,5,6,7,9,10,12,15],[0,1,2,3,5,6,7,9,10,13],[0,1,2,3,5,6,7,9,10,13,14],[0,1,2,3,5,6,7,9,10,13,14,15],[0,1,2,3,5,6,7,9,10,13,15],[0,1,2,3,5,6,7,9,10,14],[0,1,2,3,5,6,7,9,10,14,15],[0,1,2,3,5,6,7,9,10,15],[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,12,13,14],[0,1,2,3,5,6,7,9,11,12,13,14,15],[0,1,2,3,5,6,7,9,11,12,13,15],[0,1,2,3,5,6,7,9,11,12,14],[0,1,2,3,5,6,7,9,11,12,14,15],[0,1,2,3,5,6,7,9,11,12,15],[0,1,2,3,5,6,7,9,11,13],[0,1,2,3,5,6,7,9,11,13,14],[0,1,2,3,5,6,7,9,11,13,14,15],[0,1,2,3,5,6,7,9,11,13,15],[0,1,2,3,5,6,7,9,11,14],[0,1,2,3,5,6,7,9,11,14,15],[0,1,2,3,5,6,7,9,11,15],[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,12,13,14],[0,1,2,3,5,6,7,9,12,13,14,15],[0,1,2,3,5,6,7,9,12,13,15],[0,1,2,3,5,6,7,9,12,14],[0,1,2,3,5,6,7,9,12,14,15],[0,1,2,3,5,6,7,9,12,15],[0,1,2,3,5,6,7,9,13],[0,1,2,3,5,6,7,9,13,14],[0,1,2,3,5,6,7,9,13,14,15],[0,1,2,3,5,6,7,9,13,15],[0,1,2,3,5,6,7,9,14],[0,1,2,3,5,6,7,9,14,15],[0,1,2,3,5,6,7,9,15],[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,12,13,14],[0,1,2,3,5,6,8,9,10,11,12,13,14,15],[0,1,2,3,5,6,8,9,10,11,12,13,15],[0,1,2,3,5,6,8,9,10,11,12,14],[0,1,2,3,5,6,8,9,10,11,12,14,15],[0,1,2,3,5,6,8,9,10,11,12,15],[0,1,2,3,5,6,8,9,10,11,13],[0,1,2,3,5,6,8,9,10,11,13,14],[0,1,2,3,5,6,8,9,10,11,13,14,15],[0,1,2,3,5,6,8,9,10,11,13,15],[0,1,2,3,5,6,8,9,10,11,14],[0,1,2,3,5,6,8,9,10,11,14,15],[0,1,2,3,5,6,8,9,10,11,15],[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,12,13,14],[0,1,2,3,5,6,8,9,10,12,13,14,15],[0,1,2,3,5,6,8,9,10,12,13,15],[0,1,2,3,5,6,8,9,10,12,14],[0,1,2,3,5,6,8,9,10,12,14,15],[0,1,2,3,5,6,8,9,10,12,15],[0,1,2,3,5,6,8,9,10,13],[0,1,2,3,5,6,8,9,10,13,14],[0,1,2,3,5,6,8,9,10,13,14,15],[0,1,2,3,5,6,8,9,10,13,15],[0,1,2,3,5,6,8,9,10,14],[0,1,2,3,5,6,8,9,10,14,15],[0,1,2,3,5,6,8,9,10,15],[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,12,13,14],[0,1,2,3,5,6,8,9,11,12,13,14,15],[0,1,2,3,5,6,8,9,11,12,13,15],[0,1,2,3,5,6,8,9,11,12,14],[0,1,2,3,5,6,8,9,11,12,14,15],[0,1,2,3,5,6,8,9,11,12,15],[0,1,2,3,5,6,8,9,11,13],[0,1,2,3,5,6,8,9,11,13,14],[0,1,2,3,5,6,8,9,11,13,14,15],[0,1,2,3,5,6,8,9,11,13,15],[0,1,2,3,5,6,8,9,11,14],[0,1,2,3,5,6,8,9,11,14,15],[0,1,2,3,5,6,8,9,11,15],[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,12,13,14],[0,1,2,3,5,6,8,9,12,13,14,15],[0,1,2,3,5,6,8,9,12,13,15],[0,1,2,3,5,6,8,9,12,14],[0,1,2,3,5,6,8,9,12,14,15],[0,1,2,3,5,6,8,9,12,15],[0,1,2,3,5,6,8,9,13],[0,1,2,3,5,6,8,9,13,14],[0,1,2,3,5,6,8,9,13,14,15],[0,1,2,3,5,6,8,9,13,15],[0,1,2,3,5,6,8,9,14],[0,1,2,3,5,6,8,9,14,15],[0,1,2,3,5,6,8,9,15],[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,12,13,14],[0,1,2,3,5,7,8,9,10,11,12,13,14,15],[0,1,2,3,5,7,8,9,10,11,12,13,15],[0,1,2,3,5,7,8,9,10,11,12,14],[0,1,2,3,5,7,8,9,10,11,12,14,15],[0,1,2,3,5,7,8,9,10,11,12,15],[0,1,2,3,5,7,8,9,10,11,13],[0,1,2,3,5,7,8,9,10,11,13,14],[0,1,2,3,5,7,8,9,10,11,13,14,15],[0,1,2,3,5,7,8,9,10,11,13,15],[0,1,2,3,5,7,8,9,10,11,14],[0,1,2,3,5,7,8,9,10,11,14,15],[0,1,2,3,5,7,8,9,10,11,15],[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,12,13,14],[0,1,2,3,5,7,8,9,10,12,13,14,15],[0,1,2,3,5,7,8,9,10,12,13,15],[0,1,2,3,5,7,8,9,10,12,14],[0,1,2,3,5,7,8,9,10,12,14,15],[0,1,2,3,5,7,8,9,10,12,15],[0,1,2,3,5,7,8,9,10,13],[0,1,2,3,5,7,8,9,10,13,14],[0,1,2,3,5,7,8,9,10,13,14,15],[0,1,2,3,5,7,8,9,10,13,15],[0,1,2,3,5,7,8,9,10,14],[0,1,2,3,5,7,8,9,10,14,15],[0,1,2,3,5,7,8,9,10,15],[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,12,13,14],[0,1,2,3,5,7,8,9,11,12,13,14,15],[0,1,2,3,5,7,8,9,11,12,13,15],[0,1,2,3,5,7,8,9,11,12,14],[0,1,2,3,5,7,8,9,11,12,14,15],[0,1,2,3,5,7,8,9,11,12,15],[0,1,2,3,5,7,8,9,11,13],[0,1,2,3,5,7,8,9,11,13,14],[0,1,2,3,5,7,8,9,11,13,14,15],[0,1,2,3,5,7,8,9,11,13,15],[0,1,2,3,5,7,8,9,11,14],[0,1,2,3,5,7,8,9,11,14,15],[0,1,2,3,5,7,8,9,11,15],[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,12,13,14],[0,1,2,3,5,7,8,9,12,13,14,15],[0,1,2,3,5,7,8,9,12,13,15],[0,1,2,3,5,7,8,9,12,14],[0,1,2,3,5,7,8,9,12,14,15],[0,1,2,3,5,7,8,9,12,15],[0,1,2,3,5,7,8,9,13],[0,1,2,3,5,7,8,9,13,14],[0,1,2,3,5,7,8,9,13,14,15],[0,1,2,3,5,7,8,9,13,15],[0,1,2,3,5,7,8,9,14],[0,1,2,3,5,7,8,9,14,15],[0,1,2,3,5,7,8,9,15],[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,12,13,14],[0,1,2,3,6,7,8,9,10,11,12,13,14,15],[0,1,2,3,6,7,8,9,10,11,12,13,15],[0,1,2,3,6,7,8,9,10,11,12,14],[0,1,2,3,6,7,8,9,10,11,12,14,15],[0,1,2,3,6,7,8,9,10,11,12,15],[0,1,2,3,6,7,8,9,10,11,13],[0,1,2,3,6,7,8,9,10,11,13,14],[0,1,2,3,6,7,8,9,10,11,13,14,15],[0,1,2,3,6,7,8,9,10,11,13,15],[0,1,2,3,6,7,8,9,10,11,14],[0,1,2,3,6,7,8,9,10,11,14,15],[0,1,2,3,6,7,8,9,10,11,15],[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,12,13,14],[0,1,2,3,6,7,8,9,10,12,13,14,15],[0,1,2,3,6,7,8,9,10,12,13,15],[0,1,2,3,6,7,8,9,10,12,14],[0,1,2,3,6,7,8,9,10,12,14,15],[0,1,2,3,6,7,8,9,10,12,15],[0,1,2,3,6,7,8,9,10,13],[0,1,2,3,6,7,8,9,10,13,14],[0,1,2,3,6,7,8,9,10,13,14,15],[0,1,2,3,6,7,8,9,10,13,15],[0,1,2,3,6,7,8,9,10,14],[0,1,2,3,6,7,8,9,10,14,15],[0,1,2,3,6,7,8,9,10,15],[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,12,13,14],[0,1,2,3,6,7,8,9,11,12,13,14,15],[0,1,2,3,6,7,8,9,11,12,13,15],[0,1,2,3,6,7,8,9,11,12,14],[0,1,2,3,6,7,8,9,11,12,14,15],[0,1,2,3,6,7,8,9,11,12,15],[0,1,2,3,6,7,8,9,11,13],[0,1,2,3,6,7,8,9,11,13,14],[0,1,2,3,6,7,8,9,11,13,14,15],[0,1,2,3,6,7,8,9,11,13,15],[0,1,2,3,6,7,8,9,11,14],[0,1,2,3,6,7,8,9,11,14,15],[0,1,2,3,6,7,8,9,11,15],[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,12,13,14],[0,1,2,3,6,7,8,9,12,13,14,15],[0,1,2,3,6,7,8,9,12,13,15],[0,1,2,3,6,7,8,9,12,14],[0,1,2,3,6,7,8,9,12,14,15],[0,1,2,3,6,7,8,9,12,15],[0,1,2,3,6,7,8,9,13],[0,1,2,3,6,7,8,9,13,14],[0,1,2,3,6,7,8,9,13,14,15],[0,1,2,3,6,7,8,9,13,15],[0,1,2,3,6,7,8,9,14],[0,1,2,3,6,7,8,9,14,15],[0,1,2,3,6,7,8,9,15],[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,12,13,14],[0,1,2,4,5,6,7,8,10,11,12,13,14,15],[0,1,2,4,5,6,7,8,10,11,12,13,15],[0,1,2,4,5,6,7,8,10,11,12,14],[0,1,2,4,5,6,7,8,10,11,12,14,15],[0,1,2,4,5,6,7,8,10,11,12,15],[0,1,2,4,5,6,7,8,10,11,13],[0,1,2,4,5,6,7,8,10,11,13,14],[0,1,2,4,5,6,7,8,10,11,13,14,15],[0,1,2,4,5,6,7,8,10,11,13,15],[0,1,2,4,5,6,7,8,10,11,14],[0,1,2,4,5,6,7,8,10,11,14,15],[0,1,2,4,5,6,7,8,10,11,15],[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,12,13,14],[0,1,2,4,5,6,7,8,10,12,13,14,15],[0,1,2,4,5,6,7,8,10,12,13,15],[0,1,2,4,5,6,7,8,10,12,14],[0,1,2,4,5,6,7,8,10,12,14,15],[0,1,2,4,5,6,7,8,10,12,15],[0,1,2,4,5,6,7,8,10,13],[0,1,2,4,5,6,7,8,10,13,14],[0,1,2,4,5,6,7,8,10,13,14,15],[0,1,2,4,5,6,7,8,10,13,15],[0,1,2,4,5,6,7,8,10,14],[0,1,2,4,5,6,7,8,10,14,15],[0,1,2,4,5,6,7,8,10,15],[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,12,13,14],[0,1,2,4,5,6,7,8,11,12,13,14,15],[0,1,2,4,5,6,7,8,11,12,13,15],[0,1,2,4,5,6,7,8,11,12,14],[0,1,2,4,5,6,7,8,11,12,14,15],[0,1,2,4,5,6,7,8,11,12,15],[0,1,2,4,5,6,7,8,11,13],[0,1,2,4,5,6,7,8,11,13,14],[0,1,2,4,5,6,7,8,11,13,14,15],[0,1,2,4,5,6,7,8,11,13,15],[0,1,2,4,5,6,7,8,11,14],[0,1,2,4,5,6,7,8,11,14,15],[0,1,2,4,5,6,7,8,11,15],[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,12,13,14],[0,1,2,4,5,6,7,8,12,13,14,15],[0,1,2,4,5,6,7,8,12,13,15],[0,1,2,4,5,6,7,8,12,14],[0,1,2,4,5,6,7,8,12,14,15],[0,1,2,4,5,6,7,8,12,15],[0,1,2,4,5,6,7,8,13],[0,1,2,4,5,6,7,8,13,14],[0,1,2,4,5,6,7,8,13,14,15],[0,1,2,4,5,6,7,8,13,15],[0,1,2,4,5,6,7,8,14],[0,1,2,4,5,6,7,8,14,15],[0,1,2,4,5,6,7,8,15],[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,12,13,14],[0,1,2,4,5,6,7,9,10,11,12,13,14,15],[0,1,2,4,5,6,7,9,10,11,12,13,15],[0,1,2,4,5,6,7,9,10,11,12,14],[0,1,2,4,5,6,7,9,10,11,12,14,15],[0,1,2,4,5,6,7,9,10,11,12,15],[0,1,2,4,5,6,7,9,10,11,13],[0,1,2,4,5,6,7,9,10,11,13,14],[0,1,2,4,5,6,7,9,10,11,13,14,15],[0,1,2,4,5,6,7,9,10,11,13,15],[0,1,2,4,5,6,7,9,10,11,14],[0,1,2,4,5,6,7,9,10,11,14,15],[0,1,2,4,5,6,7,9,10,11,15],[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,12,13,14],[0,1,2,4,5,6,7,9,10,12,13,14,15],[0,1,2,4,5,6,7,9,10,12,13,15],[0,1,2,4,5,6,7,9,10,12,14],[0,1,2,4,5,6,7,9,10,12,14,15],[0,1,2,4,5,6,7,9,10,12,15],[0,1,2,4,5,6,7,9,10,13],[0,1,2,4,5,6,7,9,10,13,14],[0,1,2,4,5,6,7,9,10,13,14,15],[0,1,2,4,5,6,7,9,10,13,15],[0,1,2,4,5,6,7,9,10,14],[0,1,2,4,5,6,7,9,10,14,15],[0,1,2,4,5,6,7,9,10,15],[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,12,13,14],[0,1,2,4,5,6,7,9,11,12,13,14,15],[0,1,2,4,5,6,7,9,11,12,13,15],[0,1,2,4,5,6,7,9,11,12,14],[0,1,2,4,5,6,7,9,11,12,14,15],[0,1,2,4,5,6,7,9,11,12,15],[0,1,2,4,5,6,7,9,11,13],[0,1,2,4,5,6,7,9,11,13,14],[0,1,2,4,5,6,7,9,11,13,14,15],[0,1,2,4,5,6,7,9,11,13,15],[0,1,2,4,5,6,7,9,11,14],[0,1,2,4,5,6,7,9,11,14,15],[0,1,2,4,5,6,7,9,11,15],[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,12,13,14],[0,1,2,4,5,6,7,9,12,13,14,15],[0,1,2,4,5,6,7,9,12,13,15],[0,1,2,4,5,6,7,9,12,14],[0,1,2,4,5,6,7,9,12,14,15],[0,1,2,4,5,6,7,9,12,15],[0,1,2,4,5,6,7,9,13],[0,1,2,4,5,6,7,9,13,14],[0,1,2,4,5,6,7,9,13,14,15],[0,1,2,4,5,6,7,9,13,15],[0,1,2,4,5,6,7,9,14],[0,1,2,4,5,6,7,9,14,15],[0,1,2,4,5,6,7,9,15],[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,12,13,14],[0,1,2,4,5,6,8,9,10,11,12,13,14,15],[0,1,2,4,5,6,8,9,10,11,12,13,15],[0,1,2,4,5,6,8,9,10,11,12,14],[0,1,2,4,5,6,8,9,10,11,12,14,15],[0,1,2,4,5,6,8,9,10,11,12,15],[0,1,2,4,5,6,8,9,10,11,13],[0,1,2,4,5,6,8,9,10,11,13,14],[0,1,2,4,5,6,8,9,10,11,13,14,15],[0,1,2,4,5,6,8,9,10,11,13,15],[0,1,2,4,5,6,8,9,10,11,14],[0,1,2,4,5,6,8,9,10,11,14,15],[0,1,2,4,5,6,8,9,10,11,15],[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,12,13,14],[0,1,2,4,5,6,8,9,10,12,13,14,15],[0,1,2,4,5,6,8,9,10,12,13,15],[0,1,2,4,5,6,8,9,10,12,14],[0,1,2,4,5,6,8,9,10,12,14,15],[0,1,2,4,5,6,8,9,10,12,15],[0,1,2,4,5,6,8,9,10,13],[0,1,2,4,5,6,8,9,10,13,14],[0,1,2,4,5,6,8,9,10,13,14,15],[0,1,2,4,5,6,8,9,10,13,15],[0,1,2,4,5,6,8,9,10,14],[0,1,2,4,5,6,8,9,10,14,15],[0,1,2,4,5,6,8,9,10,15],[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,12,13,14],[0,1,2,4,5,6,8,9,11,12,13,14,15],[0,1,2,4,5,6,8,9,11,12,13,15],[0,1,2,4,5,6,8,9,11,12,14],[0,1,2,4,5,6,8,9,11,12,14,15],[0,1,2,4,5,6,8,9,11,12,15],[0,1,2,4,5,6,8,9,11,13],[0,1,2,4,5,6,8,9,11,13,14],[0,1,2,4,5,6,8,9,11,13,14,15],[0,1,2,4,5,6,8,9,11,13,15],[0,1,2,4,5,6,8,9,11,14],[0,1,2,4,5,6,8,9,11,14,15],[0,1,2,4,5,6,8,9,11,15],[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,12,13,14],[0,1,2,4,5,6,8,9,12,13,14,15],[0,1,2,4,5,6,8,9,12,13,15],[0,1,2,4,5,6,8,9,12,14],[0,1,2,4,5,6,8,9,12,14,15],[0,1,2,4,5,6,8,9,12,15],[0,1,2,4,5,6,8,9,13],[0,1,2,4,5,6,8,9,13,14],[0,1,2,4,5,6,8,9,13,14,15],[0,1,2,4,5,6,8,9,13,15],[0,1,2,4,5,6,8,9,14],[0,1,2,4,5,6,8,9,14,15],[0,1,2,4,5,6,8,9,15],[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,12,13,14],[0,1,2,4,5,7,8,9,10,11,12,13,14,15],[0,1,2,4,5,7,8,9,10,11,12,13,15],[0,1,2,4,5,7,8,9,10,11,12,14],[0,1,2,4,5,7,8,9,10,11,12,14,15],[0,1,2,4,5,7,8,9,10,11,12,15],[0,1,2,4,5,7,8,9,10,11,13],[0,1,2,4,5,7,8,9,10,11,13,14],[0,1,2,4,5,7,8,9,10,11,13,14,15],[0,1,2,4,5,7,8,9,10,11,13,15],[0,1,2,4,5,7,8,9,10,11,14],[0,1,2,4,5,7,8,9,10,11,14,15],[0,1,2,4,5,7,8,9,10,11,15],[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,12,13,14],[0,1,2,4,5,7,8,9,10,12,13,14,15],[0,1,2,4,5,7,8,9,10,12,13,15],[0,1,2,4,5,7,8,9,10,12,14],[0,1,2,4,5,7,8,9,10,12,14,15],[0,1,2,4,5,7,8,9,10,12,15],[0,1,2,4,5,7,8,9,10,13],[0,1,2,4,5,7,8,9,10,13,14],[0,1,2,4,5,7,8,9,10,13,14,15],[0,1,2,4,5,7,8,9,10,13,15],[0,1,2,4,5,7,8,9,10,14],[0,1,2,4,5,7,8,9,10,14,15],[0,1,2,4,5,7,8,9,10,15],[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,12,13,14],[0,1,2,4,5,7,8,9,11,12,13,14,15],[0,1,2,4,5,7,8,9,11,12,13,15],[0,1,2,4,5,7,8,9,11,12,14],[0,1,2,4,5,7,8,9,11,12,14,15],[0,1,2,4,5,7,8,9,11,12,15],[0,1,2,4,5,7,8,9,11,13],[0,1,2,4,5,7,8,9,11,13,14],[0,1,2,4,5,7,8,9,11,13,14,15],[0,1,2,4,5,7,8,9,11,13,15],[0,1,2,4,5,7,8,9,11,14],[0,1,2,4,5,7,8,9,11,14,15],[0,1,2,4,5,7,8,9,11,15],[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,12,13,14],[0,1,2,4,5,7,8,9,12,13,14,15],[0,1,2,4,5,7,8,9,12,13,15],[0,1,2,4,5,7,8,9,12,14],[0,1,2,4,5,7,8,9,12,14,15],[0,1,2,4,5,7,8,9,12,15],[0,1,2,4,5,7,8,9,13],[0,1,2,4,5,7,8,9,13,14],[0,1,2,4,5,7,8,9,13,14,15],[0,1,2,4,5,7,8,9,13,15],[0,1,2,4,5,7,8,9,14],[0,1,2,4,5,7,8,9,14,15],[0,1,2,4,5,7,8,9,15],[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,12,13,14],[0,1,2,4,6,7,8,9,10,11,12,13,14,15],[0,1,2,4,6,7,8,9,10,11,12,13,15],[0,1,2,4,6,7,8,9,10,11,12,14],[0,1,2,4,6,7,8,9,10,11,12,14,15],[0,1,2,4,6,7,8,9,10,11,12,15],[0,1,2,4,6,7,8,9,10,11,13],[0,1,2,4,6,7,8,9,10,11,13,14],[0,1,2,4,6,7,8,9,10,11,13,14,15],[0,1,2,4,6,7,8,9,10,11,13,15],[0,1,2,4,6,7,8,9,10,11,14],[0,1,2,4,6,7,8,9,10,11,14,15],[0,1,2,4,6,7,8,9,10,11,15],[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,12,13,14],[0,1,2,4,6,7,8,9,10,12,13,14,15],[0,1,2,4,6,7,8,9,10,12,13,15],[0,1,2,4,6,7,8,9,10,12,14],[0,1,2,4,6,7,8,9,10,12,14,15],[0,1,2,4,6,7,8,9,10,12,15],[0,1,2,4,6,7,8,9,10,13],[0,1,2,4,6,7,8,9,10,13,14],[0,1,2,4,6,7,8,9,10,13,14,15],[0,1,2,4,6,7,8,9,10,13,15],[0,1,2,4,6,7,8,9,10,14],[0,1,2,4,6,7,8,9,10,14,15],[0,1,2,4,6,7,8,9,10,15],[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,12,13,14],[0,1,2,4,6,7,8,9,11,12,13,14,15],[0,1,2,4,6,7,8,9,11,12,13,15],[0,1,2,4,6,7,8,9,11,12,14],[0,1,2,4,6,7,8,9,11,12,14,15],[0,1,2,4,6,7,8,9,11,12,15],[0,1,2,4,6,7,8,9,11,13],[0,1,2,4,6,7,8,9,11,13,14],[0,1,2,4,6,7,8,9,11,13,14,15],[0,1,2,4,6,7,8,9,11,13,15],[0,1,2,4,6,7,8,9,11,14],[0,1,2,4,6,7,8,9,11,14,15],[0,1,2,4,6,7,8,9,11,15],[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,12,13,14],[0,1,2,4,6,7,8,9,12,13,14,15],[0,1,2,4,6,7,8,9,12,13,15],[0,1,2,4,6,7,8,9,12,14],[0,1,2,4,6,7,8,9,12,14,15],[0,1,2,4,6,7,8,9,12,15],[0,1,2,4,6,7,8,9,13],[0,1,2,4,6,7,8,9,13,14],[0,1,2,4,6,7,8,9,13,14,15],[0,1,2,4,6,7,8,9,13,15],[0,1,2,4,6,7,8,9,14],[0,1,2,4,6,7,8,9,14,15],[0,1,2,4,6,7,8,9,15],[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,12,13,14],[0,1,2,5,6,7,8,9,10,11,12,13,14,15],[0,1,2,5,6,7,8,9,10,11,12,13,15],[0,1,2,5,6,7,8,9,10,11,12,14],[0,1,2,5,6,7,8,9,10,11,12,14,15],[0,1,2,5,6,7,8,9,10,11,12,15],[0,1,2,5,6,7,8,9,10,11,13],[0,1,2,5,6,7,8,9,10,11,13,14],[0,1,2,5,6,7,8,9,10,11,13,14,15],[0,1,2,5,6,7,8,9,10,11,13,15],[0,1,2,5,6,7,8,9,10,11,14],[0,1,2,5,6,7,8,9,10,11,14,15],[0,1,2,5,6,7,8,9,10,11,15],[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,12,13,14],[0,1,2,5,6,7,8,9,10,12,13,14,15],[0,1,2,5,6,7,8,9,10,12,13,15],[0,1,2,5,6,7,8,9,10,12,14],[0,1,2,5,6,7,8,9,10,12,14,15],[0,1,2,5,6,7,8,9,10,12,15],[0,1,2,5,6,7,8,9,10,13],[0,1,2,5,6,7,8,9,10,13,14],[0,1,2,5,6,7,8,9,10,13,14,15],[0,1,2,5,6,7,8,9,10,13,15],[0,1,2,5,6,7,8,9,10,14],[0,1,2,5,6,7,8,9,10,14,15],[0,1,2,5,6,7,8,9,10,15],[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,12,13,14],[0,1,2,5,6,7,8,9,11,12,13,14,15],[0,1,2,5,6,7,8,9,11,12,13,15],[0,1,2,5,6,7,8,9,11,12,14],[0,1,2,5,6,7,8,9,11,12,14,15],[0,1,2,5,6,7,8,9,11,12,15],[0,1,2,5,6,7,8,9,11,13],[0,1,2,5,6,7,8,9,11,13,14],[0,1,2,5,6,7,8,9,11,13,14,15],[0,1,2,5,6,7,8,9,11,13,15],[0,1,2,5,6,7,8,9,11,14],[0,1,2,5,6,7,8,9,11,14,15],[0,1,2,5,6,7,8,9,11,15],[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,12,13,14],[0,1,2,5,6,7,8,9,12,13,14,15],[0,1,2,5,6,7,8,9,12,13,15],[0,1,2,5,6,7,8,9,12,14],[0,1,2,5,6,7,8,9,12,14,15],[0,1,2,5,6,7,8,9,12,15],[0,1,2,5,6,7,8,9,13],[0,1,2,5,6,7,8,9,13,14],[0,1,2,5,6,7,8,9,13,14,15],[0,1,2,5,6,7,8,9,13,15],[0,1,2,5,6,7,8,9,14],[0,1,2,5,6,7,8,9,14,15],[0,1,2,5,6,7,8,9,15],[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,12,13,14],[0,1,3,4,5,6,7,8,10,11,12,13,14,15],[0,1,3,4,5,6,7,8,10,11,12,13,15],[0,1,3,4,5,6,7,8,10,11,12,14],[0,1,3,4,5,6,7,8,10,11,12,14,15],[0,1,3,4,5,6,7,8,10,11,12,15],[0,1,3,4,5,6,7,8,10,11,13],[0,1,3,4,5,6,7,8,10,11,13,14],[0,1,3,4,5,6,7,8,10,11,13,14,15],[0,1,3,4,5,6,7,8,10,11,13,15],[0,1,3,4,5,6,7,8,10,11,14],[0,1,3,4,5,6,7,8,10,11,14,15],[0,1,3,4,5,6,7,8,10,11,15],[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,12,13,14],[0,1,3,4,5,6,7,8,10,12,13,14,15],[0,1,3,4,5,6,7,8,10,12,13,15],[0,1,3,4,5,6,7,8,10,12,14],[0,1,3,4,5,6,7,8,10,12,14,15],[0,1,3,4,5,6,7,8,10,12,15],[0,1,3,4,5,6,7,8,10,13],[0,1,3,4,5,6,7,8,10,13,14],[0,1,3,4,5,6,7,8,10,13,14,15],[0,1,3,4,5,6,7,8,10,13,15],[0,1,3,4,5,6,7,8,10,14],[0,1,3,4,5,6,7,8,10,14,15],[0,1,3,4,5,6,7,8,10,15],[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,12,13,14],[0,1,3,4,5,6,7,8,11,12,13,14,15],[0,1,3,4,5,6,7,8,11,12,13,15],[0,1,3,4,5,6,7,8,11,12,14],[0,1,3,4,5,6,7,8,11,12,14,15],[0,1,3,4,5,6,7,8,11,12,15],[0,1,3,4,5,6,7,8,11,13],[0,1,3,4,5,6,7,8,11,13,14],[0,1,3,4,5,6,7,8,11,13,14,15],[0,1,3,4,5,6,7,8,11,13,15],[0,1,3,4,5,6,7,8,11,14],[0,1,3,4,5,6,7,8,11,14,15],[0,1,3,4,5,6,7,8,11,15],[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,12,13,14],[0,1,3,4,5,6,7,8,12,13,14,15],[0,1,3,4,5,6,7,8,12,13,15],[0,1,3,4,5,6,7,8,12,14],[0,1,3,4,5,6,7,8,12,14,15],[0,1,3,4,5,6,7,8,12,15],[0,1,3,4,5,6,7,8,13],[0,1,3,4,5,6,7,8,13,14],[0,1,3,4,5,6,7,8,13,14,15],[0,1,3,4,5,6,7,8,13,15],[0,1,3,4,5,6,7,8,14],[0,1,3,4,5,6,7,8,14,15],[0,1,3,4,5,6,7,8,15],[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,12,13,14],[0,1,3,4,5,6,7,9,10,11,12,13,14,15],[0,1,3,4,5,6,7,9,10,11,12,13,15],[0,1,3,4,5,6,7,9,10,11,12,14],[0,1,3,4,5,6,7,9,10,11,12,14,15],[0,1,3,4,5,6,7,9,10,11,12,15],[0,1,3,4,5,6,7,9,10,11,13],[0,1,3,4,5,6,7,9,10,11,13,14],[0,1,3,4,5,6,7,9,10,11,13,14,15],[0,1,3,4,5,6,7,9,10,11,13,15],[0,1,3,4,5,6,7,9,10,11,14],[0,1,3,4,5,6,7,9,10,11,14,15],[0,1,3,4,5,6,7,9,10,11,15],[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,12,13,14],[0,1,3,4,5,6,7,9,10,12,13,14,15],[0,1,3,4,5,6,7,9,10,12,13,15],[0,1,3,4,5,6,7,9,10,12,14],[0,1,3,4,5,6,7,9,10,12,14,15],[0,1,3,4,5,6,7,9,10,12,15],[0,1,3,4,5,6,7,9,10,13],[0,1,3,4,5,6,7,9,10,13,14],[0,1,3,4,5,6,7,9,10,13,14,15],[0,1,3,4,5,6,7,9,10,13,15],[0,1,3,4,5,6,7,9,10,14],[0,1,3,4,5,6,7,9,10,14,15],[0,1,3,4,5,6,7,9,10,15],[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,12,13,14],[0,1,3,4,5,6,7,9,11,12,13,14,15],[0,1,3,4,5,6,7,9,11,12,13,15],[0,1,3,4,5,6,7,9,11,12,14],[0,1,3,4,5,6,7,9,11,12,14,15],[0,1,3,4,5,6,7,9,11,12,15],[0,1,3,4,5,6,7,9,11,13],[0,1,3,4,5,6,7,9,11,13,14],[0,1,3,4,5,6,7,9,11,13,14,15],[0,1,3,4,5,6,7,9,11,13,15],[0,1,3,4,5,6,7,9,11,14],[0,1,3,4,5,6,7,9,11,14,15],[0,1,3,4,5,6,7,9,11,15],[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,12,13,14],[0,1,3,4,5,6,7,9,12,13,14,15],[0,1,3,4,5,6,7,9,12,13,15],[0,1,3,4,5,6,7,9,12,14],[0,1,3,4,5,6,7,9,12,14,15],[0,1,3,4,5,6,7,9,12,15],[0,1,3,4,5,6,7,9,13],[0,1,3,4,5,6,7,9,13,14],[0,1,3,4,5,6,7,9,13,14,15],[0,1,3,4,5,6,7,9,13,15],[0,1,3,4,5,6,7,9,14],[0,1,3,4,5,6,7,9,14,15],[0,1,3,4,5,6,7,9,15],[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,12,13,14],[0,1,3,4,5,6,8,9,10,11,12,13,14,15],[0,1,3,4,5,6,8,9,10,11,12,13,15],[0,1,3,4,5,6,8,9,10,11,12,14],[0,1,3,4,5,6,8,9,10,11,12,14,15],[0,1,3,4,5,6,8,9,10,11,12,15],[0,1,3,4,5,6,8,9,10,11,13],[0,1,3,4,5,6,8,9,10,11,13,14],[0,1,3,4,5,6,8,9,10,11,13,14,15],[0,1,3,4,5,6,8,9,10,11,13,15],[0,1,3,4,5,6,8,9,10,11,14],[0,1,3,4,5,6,8,9,10,11,14,15],[0,1,3,4,5,6,8,9,10,11,15],[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,12,13,14],[0,1,3,4,5,6,8,9,10,12,13,14,15],[0,1,3,4,5,6,8,9,10,12,13,15],[0,1,3,4,5,6,8,9,10,12,14],[0,1,3,4,5,6,8,9,10,12,14,15],[0,1,3,4,5,6,8,9,10,12,15],[0,1,3,4,5,6,8,9,10,13],[0,1,3,4,5,6,8,9,10,13,14],[0,1,3,4,5,6,8,9,10,13,14,15],[0,1,3,4,5,6,8,9,10,13,15],[0,1,3,4,5,6,8,9,10,14],[0,1,3,4,5,6,8,9,10,14,15],[0,1,3,4,5,6,8,9,10,15],[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,12,13,14],[0,1,3,4,5,6,8,9,11,12,13,14,15],[0,1,3,4,5,6,8,9,11,12,13,15],[0,1,3,4,5,6,8,9,11,12,14],[0,1,3,4,5,6,8,9,11,12,14,15],[0,1,3,4,5,6,8,9,11,12,15],[0,1,3,4,5,6,8,9,11,13],[0,1,3,4,5,6,8,9,11,13,14],[0,1,3,4,5,6,8,9,11,13,14,15],[0,1,3,4,5,6,8,9,11,13,15],[0,1,3,4,5,6,8,9,11,14],[0,1,3,4,5,6,8,9,11,14,15],[0,1,3,4,5,6,8,9,11,15],[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,12,13,14],[0,1,3,4,5,6,8,9,12,13,14,15],[0,1,3,4,5,6,8,9,12,13,15],[0,1,3,4,5,6,8,9,12,14],[0,1,3,4,5,6,8,9,12,14,15],[0,1,3,4,5,6,8,9,12,15],[0,1,3,4,5,6,8,9,13],[0,1,3,4,5,6,8,9,13,14],[0,1,3,4,5,6,8,9,13,14,15],[0,1,3,4,5,6,8,9,13,15],[0,1,3,4,5,6,8,9,14],[0,1,3,4,5,6,8,9,14,15],[0,1,3,4,5,6,8,9,15],[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,12,13,14],[0,1,3,4,5,7,8,9,10,11,12,13,14,15],[0,1,3,4,5,7,8,9,10,11,12,13,15],[0,1,3,4,5,7,8,9,10,11,12,14],[0,1,3,4,5,7,8,9,10,11,12,14,15],[0,1,3,4,5,7,8,9,10,11,12,15],[0,1,3,4,5,7,8,9,10,11,13],[0,1,3,4,5,7,8,9,10,11,13,14],[0,1,3,4,5,7,8,9,10,11,13,14,15],[0,1,3,4,5,7,8,9,10,11,13,15],[0,1,3,4,5,7,8,9,10,11,14],[0,1,3,4,5,7,8,9,10,11,14,15],[0,1,3,4,5,7,8,9,10,11,15],[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,12,13,14],[0,1,3,4,5,7,8,9,10,12,13,14,15],[0,1,3,4,5,7,8,9,10,12,13,15],[0,1,3,4,5,7,8,9,10,12,14],[0,1,3,4,5,7,8,9,10,12,14,15],[0,1,3,4,5,7,8,9,10,12,15],[0,1,3,4,5,7,8,9,10,13],[0,1,3,4,5,7,8,9,10,13,14],[0,1,3,4,5,7,8,9,10,13,14,15],[0,1,3,4,5,7,8,9,10,13,15],[0,1,3,4,5,7,8,9,10,14],[0,1,3,4,5,7,8,9,10,14,15],[0,1,3,4,5,7,8,9,10,15],[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,12,13,14],[0,1,3,4,5,7,8,9,11,12,13,14,15],[0,1,3,4,5,7,8,9,11,12,13,15],[0,1,3,4,5,7,8,9,11,12,14],[0,1,3,4,5,7,8,9,11,12,14,15],[0,1,3,4,5,7,8,9,11,12,15],[0,1,3,4,5,7,8,9,11,13],[0,1,3,4,5,7,8,9,11,13,14],[0,1,3,4,5,7,8,9,11,13,14,15],[0,1,3,4,5,7,8,9,11,13,15],[0,1,3,4,5,7,8,9,11,14],[0,1,3,4,5,7,8,9,11,14,15],[0,1,3,4,5,7,8,9,11,15],[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,12,13,14],[0,1,3,4,5,7,8,9,12,13,14,15],[0,1,3,4,5,7,8,9,12,13,15],[0,1,3,4,5,7,8,9,12,14],[0,1,3,4,5,7,8,9,12,14,15],[0,1,3,4,5,7,8,9,12,15],[0,1,3,4,5,7,8,9,13],[0,1,3,4,5,7,8,9,13,14],[0,1,3,4,5,7,8,9,13,14,15],[0,1,3,4,5,7,8,9,13,15],[0,1,3,4,5,7,8,9,14],[0,1,3,4,5,7,8,9,14,15],[0,1,3,4,5,7,8,9,15],[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,12,13,14],[0,1,3,4,6,7,8,9,10,11,12,13,14,15],[0,1,3,4,6,7,8,9,10,11,12,13,15],[0,1,3,4,6,7,8,9,10,11,12,14],[0,1,3,4,6,7,8,9,10,11,12,14,15],[0,1,3,4,6,7,8,9,10,11,12,15],[0,1,3,4,6,7,8,9,10,11,13],[0,1,3,4,6,7,8,9,10,11,13,14],[0,1,3,4,6,7,8,9,10,11,13,14,15],[0,1,3,4,6,7,8,9,10,11,13,15],[0,1,3,4,6,7,8,9,10,11,14],[0,1,3,4,6,7,8,9,10,11,14,15],[0,1,3,4,6,7,8,9,10,11,15],[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,12,13,14],[0,1,3,4,6,7,8,9,10,12,13,14,15],[0,1,3,4,6,7,8,9,10,12,13,15],[0,1,3,4,6,7,8,9,10,12,14],[0,1,3,4,6,7,8,9,10,12,14,15],[0,1,3,4,6,7,8,9,10,12,15],[0,1,3,4,6,7,8,9,10,13],[0,1,3,4,6,7,8,9,10,13,14],[0,1,3,4,6,7,8,9,10,13,14,15],[0,1,3,4,6,7,8,9,10,13,15],[0,1,3,4,6,7,8,9,10,14],[0,1,3,4,6,7,8,9,10,14,15],[0,1,3,4,6,7,8,9,10,15],[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,12,13,14],[0,1,3,4,6,7,8,9,11,12,13,14,15],[0,1,3,4,6,7,8,9,11,12,13,15],[0,1,3,4,6,7,8,9,11,12,14],[0,1,3,4,6,7,8,9,11,12,14,15],[0,1,3,4,6,7,8,9,11,12,15],[0,1,3,4,6,7,8,9,11,13],[0,1,3,4,6,7,8,9,11,13,14],[0,1,3,4,6,7,8,9,11,13,14,15],[0,1,3,4,6,7,8,9,11,13,15],[0,1,3,4,6,7,8,9,11,14],[0,1,3,4,6,7,8,9,11,14,15],[0,1,3,4,6,7,8,9,11,15],[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,12,13,14],[0,1,3,4,6,7,8,9,12,13,14,15],[0,1,3,4,6,7,8,9,12,13,15],[0,1,3,4,6,7,8,9,12,14],[0,1,3,4,6,7,8,9,12,14,15],[0,1,3,4,6,7,8,9,12,15],[0,1,3,4,6,7,8,9,13],[0,1,3,4,6,7,8,9,13,14],[0,1,3,4,6,7,8,9,13,14,15],[0,1,3,4,6,7,8,9,13,15],[0,1,3,4,6,7,8,9,14],[0,1,3,4,6,7,8,9,14,15],[0,1,3,4,6,7,8,9,15],[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,12,13,14],[0,1,3,5,6,7,8,9,10,11,12,13,14,15],[0,1,3,5,6,7,8,9,10,11,12,13,15],[0,1,3,5,6,7,8,9,10,11,12,14],[0,1,3,5,6,7,8,9,10,11,12,14,15],[0,1,3,5,6,7,8,9,10,11,12,15],[0,1,3,5,6,7,8,9,10,11,13],[0,1,3,5,6,7,8,9,10,11,13,14],[0,1,3,5,6,7,8,9,10,11,13,14,15],[0,1,3,5,6,7,8,9,10,11,13,15],[0,1,3,5,6,7,8,9,10,11,14],[0,1,3,5,6,7,8,9,10,11,14,15],[0,1,3,5,6,7,8,9,10,11,15],[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,12,13,14],[0,1,3,5,6,7,8,9,10,12,13,14,15],[0,1,3,5,6,7,8,9,10,12,13,15],[0,1,3,5,6,7,8,9,10,12,14],[0,1,3,5,6,7,8,9,10,12,14,15],[0,1,3,5,6,7,8,9,10,12,15],[0,1,3,5,6,7,8,9,10,13],[0,1,3,5,6,7,8,9,10,13,14],[0,1,3,5,6,7,8,9,10,13,14,15],[0,1,3,5,6,7,8,9,10,13,15],[0,1,3,5,6,7,8,9,10,14],[0,1,3,5,6,7,8,9,10,14,15],[0,1,3,5,6,7,8,9,10,15],[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,12,13,14],[0,1,3,5,6,7,8,9,11,12,13,14,15],[0,1,3,5,6,7,8,9,11,12,13,15],[0,1,3,5,6,7,8,9,11,12,14],[0,1,3,5,6,7,8,9,11,12,14,15],[0,1,3,5,6,7,8,9,11,12,15],[0,1,3,5,6,7,8,9,11,13],[0,1,3,5,6,7,8,9,11,13,14],[0,1,3,5,6,7,8,9,11,13,14,15],[0,1,3,5,6,7,8,9,11,13,15],[0,1,3,5,6,7,8,9,11,14],[0,1,3,5,6,7,8,9,11,14,15],[0,1,3,5,6,7,8,9,11,15],[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,12,13,14],[0,1,3,5,6,7,8,9,12,13,14,15],[0,1,3,5,6,7,8,9,12,13,15],[0,1,3,5,6,7,8,9,12,14],[0,1,3,5,6,7,8,9,12,14,15],[0,1,3,5,6,7,8,9,12,15],[0,1,3,5,6,7,8,9,13],[0,1,3,5,6,7,8,9,13,14],[0,1,3,5,6,7,8,9,13,14,15],[0,1,3,5,6,7,8,9,13,15],[0,1,3,5,6,7,8,9,14],[0,1,3,5,6,7,8,9,14,15],[0,1,3,5,6,7,8,9,15],[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,12,13,14],[0,1,4,5,6,7,8,9,10,11,12,13,14,15],[0,1,4,5,6,7,8,9,10,11,12,13,15],[0,1,4,5,6,7,8,9,10,11,12,14],[0,1,4,5,6,7,8,9,10,11,12,14,15],[0,1,4,5,6,7,8,9,10,11,12,15],[0,1,4,5,6,7,8,9,10,11,13],[0,1,4,5,6,7,8,9,10,11,13,14],[0,1,4,5,6,7,8,9,10,11,13,14,15],[0,1,4,5,6,7,8,9,10,11,13,15],[0,1,4,5,6,7,8,9,10,11,14],[0,1,4,5,6,7,8,9,10,11,14,15],[0,1,4,5,6,7,8,9,10,11,15],[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,12,13,14],[0,1,4,5,6,7,8,9,10,12,13,14,15],[0,1,4,5,6,7,8,9,10,12,13,15],[0,1,4,5,6,7,8,9,10,12,14],[0,1,4,5,6,7,8,9,10,12,14,15],[0,1,4,5,6,7,8,9,10,12,15],[0,1,4,5,6,7,8,9,10,13],[0,1,4,5,6,7,8,9,10,13,14],[0,1,4,5,6,7,8,9,10,13,14,15],[0,1,4,5,6,7,8,9,10,13,15],[0,1,4,5,6,7,8,9,10,14],[0,1,4,5,6,7,8,9,10,14,15],[0,1,4,5,6,7,8,9,10,15],[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,12,13,14],[0,1,4,5,6,7,8,9,11,12,13,14,15],[0,1,4,5,6,7,8,9,11,12,13,15],[0,1,4,5,6,7,8,9,11,12,14],[0,1,4,5,6,7,8,9,11,12,14,15],[0,1,4,5,6,7,8,9,11,12,15],[0,1,4,5,6,7,8,9,11,13],[0,1,4,5,6,7,8,9,11,13,14],[0,1,4,5,6,7,8,9,11,13,14,15],[0,1,4,5,6,7,8,9,11,13,15],[0,1,4,5,6,7,8,9,11,14],[0,1,4,5,6,7,8,9,11,14,15],[0,1,4,5,6,7,8,9,11,15],[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,12,13,14],[0,1,4,5,6,7,8,9,12,13,14,15],[0,1,4,5,6,7,8,9,12,13,15],[0,1,4,5,6,7,8,9,12,14],[0,1,4,5,6,7,8,9,12,14,15],[0,1,4,5,6,7,8,9,12,15],[0,1,4,5,6,7,8,9,13],[0,1,4,5,6,7,8,9,13,14],[0,1,4,5,6,7,8,9,13,14,15],[0,1,4,5,6,7,8,9,13,15],[0,1,4,5,6,7,8,9,14],[0,1,4,5,6,7,8,9,14,15],[0,1,4,5,6,7,8,9,15],[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,12,13,14],[0,2,3,4,5,6,7,8,10,11,12,13,14,15],[0,2,3,4,5,6,7,8,10,11,12,13,15],[0,2,3,4,5,6,7,8,10,11,12,14],[0,2,3,4,5,6,7,8,10,11,12,14,15],[0,2,3,4,5,6,7,8,10,11,12,15],[0,2,3,4,5,6,7,8,10,11,13],[0,2,3,4,5,6,7,8,10,11,13,14],[0,2,3,4,5,6,7,8,10,11,13,14,15],[0,2,3,4,5,6,7,8,10,11,13,15],[0,2,3,4,5,6,7,8,10,11,14],[0,2,3,4,5,6,7,8,10,11,14,15],[0,2,3,4,5,6,7,8,10,11,15],[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,12,13,14],[0,2,3,4,5,6,7,8,10,12,13,14,15],[0,2,3,4,5,6,7,8,10,12,13,15],[0,2,3,4,5,6,7,8,10,12,14],[0,2,3,4,5,6,7,8,10,12,14,15],[0,2,3,4,5,6,7,8,10,12,15],[0,2,3,4,5,6,7,8,10,13],[0,2,3,4,5,6,7,8,10,13,14],[0,2,3,4,5,6,7,8,10,13,14,15],[0,2,3,4,5,6,7,8,10,13,15],[0,2,3,4,5,6,7,8,10,14],[0,2,3,4,5,6,7,8,10,14,15],[0,2,3,4,5,6,7,8,10,15],[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,12,13,14],[0,2,3,4,5,6,7,8,11,12,13,14,15],[0,2,3,4,5,6,7,8,11,12,13,15],[0,2,3,4,5,6,7,8,11,12,14],[0,2,3,4,5,6,7,8,11,12,14,15],[0,2,3,4,5,6,7,8,11,12,15],[0,2,3,4,5,6,7,8,11,13],[0,2,3,4,5,6,7,8,11,13,14],[0,2,3,4,5,6,7,8,11,13,14,15],[0,2,3,4,5,6,7,8,11,13,15],[0,2,3,4,5,6,7,8,11,14],[0,2,3,4,5,6,7,8,11,14,15],[0,2,3,4,5,6,7,8,11,15],[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,12,13,14],[0,2,3,4,5,6,7,8,12,13,14,15],[0,2,3,4,5,6,7,8,12,13,15],[0,2,3,4,5,6,7,8,12,14],[0,2,3,4,5,6,7,8,12,14,15],[0,2,3,4,5,6,7,8,12,15],[0,2,3,4,5,6,7,8,13],[0,2,3,4,5,6,7,8,13,14],[0,2,3,4,5,6,7,8,13,14,15],[0,2,3,4,5,6,7,8,13,15],[0,2,3,4,5,6,7,8,14],[0,2,3,4,5,6,7,8,14,15],[0,2,3,4,5,6,7,8,15],[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,12,13,14],[0,2,3,4,5,6,7,9,10,11,12,13,14,15],[0,2,3,4,5,6,7,9,10,11,12,13,15],[0,2,3,4,5,6,7,9,10,11,12,14],[0,2,3,4,5,6,7,9,10,11,12,14,15],[0,2,3,4,5,6,7,9,10,11,12,15],[0,2,3,4,5,6,7,9,10,11,13],[0,2,3,4,5,6,7,9,10,11,13,14],[0,2,3,4,5,6,7,9,10,11,13,14,15],[0,2,3,4,5,6,7,9,10,11,13,15],[0,2,3,4,5,6,7,9,10,11,14],[0,2,3,4,5,6,7,9,10,11,14,15],[0,2,3,4,5,6,7,9,10,11,15],[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,12,13,14],[0,2,3,4,5,6,7,9,10,12,13,14,15],[0,2,3,4,5,6,7,9,10,12,13,15],[0,2,3,4,5,6,7,9,10,12,14],[0,2,3,4,5,6,7,9,10,12,14,15],[0,2,3,4,5,6,7,9,10,12,15],[0,2,3,4,5,6,7,9,10,13],[0,2,3,4,5,6,7,9,10,13,14],[0,2,3,4,5,6,7,9,10,13,14,15],[0,2,3,4,5,6,7,9,10,13,15],[0,2,3,4,5,6,7,9,10,14],[0,2,3,4,5,6,7,9,10,14,15],[0,2,3,4,5,6,7,9,10,15],[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,12,13,14],[0,2,3,4,5,6,7,9,11,12,13,14,15],[0,2,3,4,5,6,7,9,11,12,13,15],[0,2,3,4,5,6,7,9,11,12,14],[0,2,3,4,5,6,7,9,11,12,14,15],[0,2,3,4,5,6,7,9,11,12,15],[0,2,3,4,5,6,7,9,11,13],[0,2,3,4,5,6,7,9,11,13,14],[0,2,3,4,5,6,7,9,11,13,14,15],[0,2,3,4,5,6,7,9,11,13,15],[0,2,3,4,5,6,7,9,11,14],[0,2,3,4,5,6,7,9,11,14,15],[0,2,3,4,5,6,7,9,11,15],[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,12,13,14],[0,2,3,4,5,6,7,9,12,13,14,15],[0,2,3,4,5,6,7,9,12,13,15],[0,2,3,4,5,6,7,9,12,14],[0,2,3,4,5,6,7,9,12,14,15],[0,2,3,4,5,6,7,9,12,15],[0,2,3,4,5,6,7,9,13],[0,2,3,4,5,6,7,9,13,14],[0,2,3,4,5,6,7,9,13,14,15],[0,2,3,4,5,6,7,9,13,15],[0,2,3,4,5,6,7,9,14],[0,2,3,4,5,6,7,9,14,15],[0,2,3,4,5,6,7,9,15],[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,12,13,14],[0,2,3,4,5,6,8,9,10,11,12,13,14,15],[0,2,3,4,5,6,8,9,10,11,12,13,15],[0,2,3,4,5,6,8,9,10,11,12,14],[0,2,3,4,5,6,8,9,10,11,12,14,15],[0,2,3,4,5,6,8,9,10,11,12,15],[0,2,3,4,5,6,8,9,10,11,13],[0,2,3,4,5,6,8,9,10,11,13,14],[0,2,3,4,5,6,8,9,10,11,13,14,15],[0,2,3,4,5,6,8,9,10,11,13,15],[0,2,3,4,5,6,8,9,10,11,14],[0,2,3,4,5,6,8,9,10,11,14,15],[0,2,3,4,5,6,8,9,10,11,15],[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,12,13,14],[0,2,3,4,5,6,8,9,10,12,13,14,15],[0,2,3,4,5,6,8,9,10,12,13,15],[0,2,3,4,5,6,8,9,10,12,14],[0,2,3,4,5,6,8,9,10,12,14,15],[0,2,3,4,5,6,8,9,10,12,15],[0,2,3,4,5,6,8,9,10,13],[0,2,3,4,5,6,8,9,10,13,14],[0,2,3,4,5,6,8,9,10,13,14,15],[0,2,3,4,5,6,8,9,10,13,15],[0,2,3,4,5,6,8,9,10,14],[0,2,3,4,5,6,8,9,10,14,15],[0,2,3,4,5,6,8,9,10,15],[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,12,13,14],[0,2,3,4,5,6,8,9,11,12,13,14,15],[0,2,3,4,5,6,8,9,11,12,13,15],[0,2,3,4,5,6,8,9,11,12,14],[0,2,3,4,5,6,8,9,11,12,14,15],[0,2,3,4,5,6,8,9,11,12,15],[0,2,3,4,5,6,8,9,11,13],[0,2,3,4,5,6,8,9,11,13,14],[0,2,3,4,5,6,8,9,11,13,14,15],[0,2,3,4,5,6,8,9,11,13,15],[0,2,3,4,5,6,8,9,11,14],[0,2,3,4,5,6,8,9,11,14,15],[0,2,3,4,5,6,8,9,11,15],[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,12,13,14],[0,2,3,4,5,6,8,9,12,13,14,15],[0,2,3,4,5,6,8,9,12,13,15],[0,2,3,4,5,6,8,9,12,14],[0,2,3,4,5,6,8,9,12,14,15],[0,2,3,4,5,6,8,9,12,15],[0,2,3,4,5,6,8,9,13],[0,2,3,4,5,6,8,9,13,14],[0,2,3,4,5,6,8,9,13,14,15],[0,2,3,4,5,6,8,9,13,15],[0,2,3,4,5,6,8,9,14],[0,2,3,4,5,6,8,9,14,15],[0,2,3,4,5,6,8,9,15],[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,12,13,14],[0,2,3,4,5,7,8,9,10,11,12,13,14,15],[0,2,3,4,5,7,8,9,10,11,12,13,15],[0,2,3,4,5,7,8,9,10,11,12,14],[0,2,3,4,5,7,8,9,10,11,12,14,15],[0,2,3,4,5,7,8,9,10,11,12,15],[0,2,3,4,5,7,8,9,10,11,13],[0,2,3,4,5,7,8,9,10,11,13,14],[0,2,3,4,5,7,8,9,10,11,13,14,15],[0,2,3,4,5,7,8,9,10,11,13,15],[0,2,3,4,5,7,8,9,10,11,14],[0,2,3,4,5,7,8,9,10,11,14,15],[0,2,3,4,5,7,8,9,10,11,15],[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,12,13,14],[0,2,3,4,5,7,8,9,10,12,13,14,15],[0,2,3,4,5,7,8,9,10,12,13,15],[0,2,3,4,5,7,8,9,10,12,14],[0,2,3,4,5,7,8,9,10,12,14,15],[0,2,3,4,5,7,8,9,10,12,15],[0,2,3,4,5,7,8,9,10,13],[0,2,3,4,5,7,8,9,10,13,14],[0,2,3,4,5,7,8,9,10,13,14,15],[0,2,3,4,5,7,8,9,10,13,15],[0,2,3,4,5,7,8,9,10,14],[0,2,3,4,5,7,8,9,10,14,15],[0,2,3,4,5,7,8,9,10,15],[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,12,13,14],[0,2,3,4,5,7,8,9,11,12,13,14,15],[0,2,3,4,5,7,8,9,11,12,13,15],[0,2,3,4,5,7,8,9,11,12,14],[0,2,3,4,5,7,8,9,11,12,14,15],[0,2,3,4,5,7,8,9,11,12,15],[0,2,3,4,5,7,8,9,11,13],[0,2,3,4,5,7,8,9,11,13,14],[0,2,3,4,5,7,8,9,11,13,14,15],[0,2,3,4,5,7,8,9,11,13,15],[0,2,3,4,5,7,8,9,11,14],[0,2,3,4,5,7,8,9,11,14,15],[0,2,3,4,5,7,8,9,11,15],[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,12,13,14],[0,2,3,4,5,7,8,9,12,13,14,15],[0,2,3,4,5,7,8,9,12,13,15],[0,2,3,4,5,7,8,9,12,14],[0,2,3,4,5,7,8,9,12,14,15],[0,2,3,4,5,7,8,9,12,15],[0,2,3,4,5,7,8,9,13],[0,2,3,4,5,7,8,9,13,14],[0,2,3,4,5,7,8,9,13,14,15],[0,2,3,4,5,7,8,9,13,15],[0,2,3,4,5,7,8,9,14],[0,2,3,4,5,7,8,9,14,15],[0,2,3,4,5,7,8,9,15],[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,12,13,14],[0,2,3,4,6,7,8,9,10,11,12,13,14,15],[0,2,3,4,6,7,8,9,10,11,12,13,15],[0,2,3,4,6,7,8,9,10,11,12,14],[0,2,3,4,6,7,8,9,10,11,12,14,15],[0,2,3,4,6,7,8,9,10,11,12,15],[0,2,3,4,6,7,8,9,10,11,13],[0,2,3,4,6,7,8,9,10,11,13,14],[0,2,3,4,6,7,8,9,10,11,13,14,15],[0,2,3,4,6,7,8,9,10,11,13,15],[0,2,3,4,6,7,8,9,10,11,14],[0,2,3,4,6,7,8,9,10,11,14,15],[0,2,3,4,6,7,8,9,10,11,15],[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,12,13,14],[0,2,3,4,6,7,8,9,10,12,13,14,15],[0,2,3,4,6,7,8,9,10,12,13,15],[0,2,3,4,6,7,8,9,10,12,14],[0,2,3,4,6,7,8,9,10,12,14,15],[0,2,3,4,6,7,8,9,10,12,15],[0,2,3,4,6,7,8,9,10,13],[0,2,3,4,6,7,8,9,10,13,14],[0,2,3,4,6,7,8,9,10,13,14,15],[0,2,3,4,6,7,8,9,10,13,15],[0,2,3,4,6,7,8,9,10,14],[0,2,3,4,6,7,8,9,10,14,15],[0,2,3,4,6,7,8,9,10,15],[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,12,13,14],[0,2,3,4,6,7,8,9,11,12,13,14,15],[0,2,3,4,6,7,8,9,11,12,13,15],[0,2,3,4,6,7,8,9,11,12,14],[0,2,3,4,6,7,8,9,11,12,14,15],[0,2,3,4,6,7,8,9,11,12,15],[0,2,3,4,6,7,8,9,11,13],[0,2,3,4,6,7,8,9,11,13,14],[0,2,3,4,6,7,8,9,11,13,14,15],[0,2,3,4,6,7,8,9,11,13,15],[0,2,3,4,6,7,8,9,11,14],[0,2,3,4,6,7,8,9,11,14,15],[0,2,3,4,6,7,8,9,11,15],[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,12,13,14],[0,2,3,4,6,7,8,9,12,13,14,15],[0,2,3,4,6,7,8,9,12,13,15],[0,2,3,4,6,7,8,9,12,14],[0,2,3,4,6,7,8,9,12,14,15],[0,2,3,4,6,7,8,9,12,15],[0,2,3,4,6,7,8,9,13],[0,2,3,4,6,7,8,9,13,14],[0,2,3,4,6,7,8,9,13,14,15],[0,2,3,4,6,7,8,9,13,15],[0,2,3,4,6,7,8,9,14],[0,2,3,4,6,7,8,9,14,15],[0,2,3,4,6,7,8,9,15],[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,12,13,14],[0,2,3,5,6,7,8,9,10,11,12,13,14,15],[0,2,3,5,6,7,8,9,10,11,12,13,15],[0,2,3,5,6,7,8,9,10,11,12,14],[0,2,3,5,6,7,8,9,10,11,12,14,15],[0,2,3,5,6,7,8,9,10,11,12,15],[0,2,3,5,6,7,8,9,10,11,13],[0,2,3,5,6,7,8,9,10,11,13,14],[0,2,3,5,6,7,8,9,10,11,13,14,15],[0,2,3,5,6,7,8,9,10,11,13,15],[0,2,3,5,6,7,8,9,10,11,14],[0,2,3,5,6,7,8,9,10,11,14,15],[0,2,3,5,6,7,8,9,10,11,15],[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,12,13,14],[0,2,3,5,6,7,8,9,10,12,13,14,15],[0,2,3,5,6,7,8,9,10,12,13,15],[0,2,3,5,6,7,8,9,10,12,14],[0,2,3,5,6,7,8,9,10,12,14,15],[0,2,3,5,6,7,8,9,10,12,15],[0,2,3,5,6,7,8,9,10,13],[0,2,3,5,6,7,8,9,10,13,14],[0,2,3,5,6,7,8,9,10,13,14,15],[0,2,3,5,6,7,8,9,10,13,15],[0,2,3,5,6,7,8,9,10,14],[0,2,3,5,6,7,8,9,10,14,15],[0,2,3,5,6,7,8,9,10,15],[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,12,13,14],[0,2,3,5,6,7,8,9,11,12,13,14,15],[0,2,3,5,6,7,8,9,11,12,13,15],[0,2,3,5,6,7,8,9,11,12,14],[0,2,3,5,6,7,8,9,11,12,14,15],[0,2,3,5,6,7,8,9,11,12,15],[0,2,3,5,6,7,8,9,11,13],[0,2,3,5,6,7,8,9,11,13,14],[0,2,3,5,6,7,8,9,11,13,14,15],[0,2,3,5,6,7,8,9,11,13,15],[0,2,3,5,6,7,8,9,11,14],[0,2,3,5,6,7,8,9,11,14,15],[0,2,3,5,6,7,8,9,11,15],[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,12,13,14],[0,2,3,5,6,7,8,9,12,13,14,15],[0,2,3,5,6,7,8,9,12,13,15],[0,2,3,5,6,7,8,9,12,14],[0,2,3,5,6,7,8,9,12,14,15],[0,2,3,5,6,7,8,9,12,15],[0,2,3,5,6,7,8,9,13],[0,2,3,5,6,7,8,9,13,14],[0,2,3,5,6,7,8,9,13,14,15],[0,2,3,5,6,7,8,9,13,15],[0,2,3,5,6,7,8,9,14],[0,2,3,5,6,7,8,9,14,15],[0,2,3,5,6,7,8,9,15],[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,12,13,14],[0,2,4,5,6,7,8,9,10,11,12,13,14,15],[0,2,4,5,6,7,8,9,10,11,12,13,15],[0,2,4,5,6,7,8,9,10,11,12,14],[0,2,4,5,6,7,8,9,10,11,12,14,15],[0,2,4,5,6,7,8,9,10,11,12,15],[0,2,4,5,6,7,8,9,10,11,13],[0,2,4,5,6,7,8,9,10,11,13,14],[0,2,4,5,6,7,8,9,10,11,13,14,15],[0,2,4,5,6,7,8,9,10,11,13,15],[0,2,4,5,6,7,8,9,10,11,14],[0,2,4,5,6,7,8,9,10,11,14,15],[0,2,4,5,6,7,8,9,10,11,15],[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,12,13,14],[0,2,4,5,6,7,8,9,10,12,13,14,15],[0,2,4,5,6,7,8,9,10,12,13,15],[0,2,4,5,6,7,8,9,10,12,14],[0,2,4,5,6,7,8,9,10,12,14,15],[0,2,4,5,6,7,8,9,10,12,15],[0,2,4,5,6,7,8,9,10,13],[0,2,4,5,6,7,8,9,10,13,14],[0,2,4,5,6,7,8,9,10,13,14,15],[0,2,4,5,6,7,8,9,10,13,15],[0,2,4,5,6,7,8,9,10,14],[0,2,4,5,6,7,8,9,10,14,15],[0,2,4,5,6,7,8,9,10,15],[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,12,13,14],[0,2,4,5,6,7,8,9,11,12,13,14,15],[0,2,4,5,6,7,8,9,11,12,13,15],[0,2,4,5,6,7,8,9,11,12,14],[0,2,4,5,6,7,8,9,11,12,14,15],[0,2,4,5,6,7,8,9,11,12,15],[0,2,4,5,6,7,8,9,11,13],[0,2,4,5,6,7,8,9,11,13,14],[0,2,4,5,6,7,8,9,11,13,14,15],[0,2,4,5,6,7,8,9,11,13,15],[0,2,4,5,6,7,8,9,11,14],[0,2,4,5,6,7,8,9,11,14,15],[0,2,4,5,6,7,8,9,11,15],[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,12,13,14],[0,2,4,5,6,7,8,9,12,13,14,15],[0,2,4,5,6,7,8,9,12,13,15],[0,2,4,5,6,7,8,9,12,14],[0,2,4,5,6,7,8,9,12,14,15],[0,2,4,5,6,7,8,9,12,15],[0,2,4,5,6,7,8,9,13],[0,2,4,5,6,7,8,9,13,14],[0,2,4,5,6,7,8,9,13,14,15],[0,2,4,5,6,7,8,9,13,15],[0,2,4,5,6,7,8,9,14],[0,2,4,5,6,7,8,9,14,15],[0,2,4,5,6,7,8,9,15],[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,12,13,14],[0,3,4,5,6,7,8,9,10,11,12,13,14,15],[0,3,4,5,6,7,8,9,10,11,12,13,15],[0,3,4,5,6,7,8,9,10,11,12,14],[0,3,4,5,6,7,8,9,10,11,12,14,15],[0,3,4,5,6,7,8,9,10,11,12,15],[0,3,4,5,6,7,8,9,10,11,13],[0,3,4,5,6,7,8,9,10,11,13,14],[0,3,4,5,6,7,8,9,10,11,13,14,15],[0,3,4,5,6,7,8,9,10,11,13,15],[0,3,4,5,6,7,8,9,10,11,14],[0,3,4,5,6,7,8,9,10,11,14,15],[0,3,4,5,6,7,8,9,10,11,15],[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,12,13,14],[0,3,4,5,6,7,8,9,10,12,13,14,15],[0,3,4,5,6,7,8,9,10,12,13,15],[0,3,4,5,6,7,8,9,10,12,14],[0,3,4,5,6,7,8,9,10,12,14,15],[0,3,4,5,6,7,8,9,10,12,15],[0,3,4,5,6,7,8,9,10,13],[0,3,4,5,6,7,8,9,10,13,14],[0,3,4,5,6,7,8,9,10,13,14,15],[0,3,4,5,6,7,8,9,10,13,15],[0,3,4,5,6,7,8,9,10,14],[0,3,4,5,6,7,8,9,10,14,15],[0,3,4,5,6,7,8,9,10,15],[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,12,13,14],[0,3,4,5,6,7,8,9,11,12,13,14,15],[0,3,4,5,6,7,8,9,11,12,13,15],[0,3,4,5,6,7,8,9,11,12,14],[0,3,4,5,6,7,8,9,11,12,14,15],[0,3,4,5,6,7,8,9,11,12,15],[0,3,4,5,6,7,8,9,11,13],[0,3,4,5,6,7,8,9,11,13,14],[0,3,4,5,6,7,8,9,11,13,14,15],[0,3,4,5,6,7,8,9,11,13,15],[0,3,4,5,6,7,8,9,11,14],[0,3,4,5,6,7,8,9,11,14,15],[0,3,4,5,6,7,8,9,11,15],[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,12,13,14],[0,3,4,5,6,7,8,9,12,13,14,15],[0,3,4,5,6,7,8,9,12,13,15],[0,3,4,5,6,7,8,9,12,14],[0,3,4,5,6,7,8,9,12,14,15],[0,3,4,5,6,7,8,9,12,15],[0,3,4,5,6,7,8,9,13],[0,3,4,5,6,7,8,9,13,14],[0,3,4,5,6,7,8,9,13,14,15],[0,3,4,5,6,7,8,9,13,15],[0,3,4,5,6,7,8,9,14],[0,3,4,5,6,7,8,9,14,15],[0,3,4,5,6,7,8,9,15],[0,10],[0,10,11],[0,10,11,12],[0,10,11,12,13],[0,10,11,12,13,14],[0,10,11,12,13,14,15],[0,10,11,12,13,15],[0,10,11,12,14],[0,10,11,12,14,15],[0,10,11,12,15],[0,10,11,13],[0,10,11,13,14],[0,10,11,13,14,15],[0,10,11,13,15],[0,10,11,14],[0,10,11,14,15],[0,10,11,15],[0,10,12],[0,10,12,13],[0,10,12,13,14],[0,10,12,13,14,15],[0,10,12,13,15],[0,10,12,14],[0,10,12,14,15],[0,10,12,15],[0,10,13],[0,10,13,14],[0,10,13,14,15],[0,10,13,15],[0,10,14],[0,10,14,15],[0,10,15],[0,11],[0,11,12],[0,11,12,13],[0,11,12,13,14],[0,11,12,13,14,15],[0,11,12,13,15],[0,11,12,14],[0,11,12,14,15],[0,11,12,15],[0,11,13],[0,11,13,14],[0,11,13,14,15],[0,11,13,15],[0,11,14],[0,11,14,15],[0,11,15],[0,12],[0,12,13],[0,12,13,14],[0,12,13,14,15],[0,12,13,15],[0,12,14],[0,12,14,15],[0,12,15],[0,13],[0,13,14],[0,13,14,15],[0,13,15],[0,14],[0,14,15],[0,15],[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,12,13,14],[1,2,3,4,5,6,7,8,10,11,12,13,14,15],[1,2,3,4,5,6,7,8,10,11,12,13,15],[1,2,3,4,5,6,7,8,10,11,12,14],[1,2,3,4,5,6,7,8,10,11,12,14,15],[1,2,3,4,5,6,7,8,10,11,12,15],[1,2,3,4,5,6,7,8,10,11,13],[1,2,3,4,5,6,7,8,10,11,13,14],[1,2,3,4,5,6,7,8,10,11,13,14,15],[1,2,3,4,5,6,7,8,10,11,13,15],[1,2,3,4,5,6,7,8,10,11,14],[1,2,3,4,5,6,7,8,10,11,14,15],[1,2,3,4,5,6,7,8,10,11,15],[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,12,13,14],[1,2,3,4,5,6,7,8,10,12,13,14,15],[1,2,3,4,5,6,7,8,10,12,13,15],[1,2,3,4,5,6,7,8,10,12,14],[1,2,3,4,5,6,7,8,10,12,14,15],[1,2,3,4,5,6,7,8,10,12,15],[1,2,3,4,5,6,7,8,10,13],[1,2,3,4,5,6,7,8,10,13,14],[1,2,3,4,5,6,7,8,10,13,14,15],[1,2,3,4,5,6,7,8,10,13,15],[1,2,3,4,5,6,7,8,10,14],[1,2,3,4,5,6,7,8,10,14,15],[1,2,3,4,5,6,7,8,10,15],[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,12,13,14],[1,2,3,4,5,6,7,8,11,12,13,14,15],[1,2,3,4,5,6,7,8,11,12,13,15],[1,2,3,4,5,6,7,8,11,12,14],[1,2,3,4,5,6,7,8,11,12,14,15],[1,2,3,4,5,6,7,8,11,12,15],[1,2,3,4,5,6,7,8,11,13],[1,2,3,4,5,6,7,8,11,13,14],[1,2,3,4,5,6,7,8,11,13,14,15],[1,2,3,4,5,6,7,8,11,13,15],[1,2,3,4,5,6,7,8,11,14],[1,2,3,4,5,6,7,8,11,14,15],[1,2,3,4,5,6,7,8,11,15],[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,12,13,14],[1,2,3,4,5,6,7,8,12,13,14,15],[1,2,3,4,5,6,7,8,12,13,15],[1,2,3,4,5,6,7,8,12,14],[1,2,3,4,5,6,7,8,12,14,15],[1,2,3,4,5,6,7,8,12,15],[1,2,3,4,5,6,7,8,13],[1,2,3,4,5,6,7,8,13,14],[1,2,3,4,5,6,7,8,13,14,15],[1,2,3,4,5,6,7,8,13,15],[1,2,3,4,5,6,7,8,14],[1,2,3,4,5,6,7,8,14,15],[1,2,3,4,5,6,7,8,15],[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,12,13,14],[1,2,3,4,5,6,7,9,10,11,12,13,14,15],[1,2,3,4,5,6,7,9,10,11,12,13,15],[1,2,3,4,5,6,7,9,10,11,12,14],[1,2,3,4,5,6,7,9,10,11,12,14,15],[1,2,3,4,5,6,7,9,10,11,12,15],[1,2,3,4,5,6,7,9,10,11,13],[1,2,3,4,5,6,7,9,10,11,13,14],[1,2,3,4,5,6,7,9,10,11,13,14,15],[1,2,3,4,5,6,7,9,10,11,13,15],[1,2,3,4,5,6,7,9,10,11,14],[1,2,3,4,5,6,7,9,10,11,14,15],[1,2,3,4,5,6,7,9,10,11,15],[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,12,13,14],[1,2,3,4,5,6,7,9,10,12,13,14,15],[1,2,3,4,5,6,7,9,10,12,13,15],[1,2,3,4,5,6,7,9,10,12,14],[1,2,3,4,5,6,7,9,10,12,14,15],[1,2,3,4,5,6,7,9,10,12,15],[1,2,3,4,5,6,7,9,10,13],[1,2,3,4,5,6,7,9,10,13,14],[1,2,3,4,5,6,7,9,10,13,14,15],[1,2,3,4,5,6,7,9,10,13,15],[1,2,3,4,5,6,7,9,10,14],[1,2,3,4,5,6,7,9,10,14,15],[1,2,3,4,5,6,7,9,10,15],[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,12,13,14],[1,2,3,4,5,6,7,9,11,12,13,14,15],[1,2,3,4,5,6,7,9,11,12,13,15],[1,2,3,4,5,6,7,9,11,12,14],[1,2,3,4,5,6,7,9,11,12,14,15],[1,2,3,4,5,6,7,9,11,12,15],[1,2,3,4,5,6,7,9,11,13],[1,2,3,4,5,6,7,9,11,13,14],[1,2,3,4,5,6,7,9,11,13,14,15],[1,2,3,4,5,6,7,9,11,13,15],[1,2,3,4,5,6,7,9,11,14],[1,2,3,4,5,6,7,9,11,14,15],[1,2,3,4,5,6,7,9,11,15],[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,12,13,14],[1,2,3,4,5,6,7,9,12,13,14,15],[1,2,3,4,5,6,7,9,12,13,15],[1,2,3,4,5,6,7,9,12,14],[1,2,3,4,5,6,7,9,12,14,15],[1,2,3,4,5,6,7,9,12,15],[1,2,3,4,5,6,7,9,13],[1,2,3,4,5,6,7,9,13,14],[1,2,3,4,5,6,7,9,13,14,15],[1,2,3,4,5,6,7,9,13,15],[1,2,3,4,5,6,7,9,14],[1,2,3,4,5,6,7,9,14,15],[1,2,3,4,5,6,7,9,15],[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,12,13,14],[1,2,3,4,5,6,8,9,10,11,12,13,14,15],[1,2,3,4,5,6,8,9,10,11,12,13,15],[1,2,3,4,5,6,8,9,10,11,12,14],[1,2,3,4,5,6,8,9,10,11,12,14,15],[1,2,3,4,5,6,8,9,10,11,12,15],[1,2,3,4,5,6,8,9,10,11,13],[1,2,3,4,5,6,8,9,10,11,13,14],[1,2,3,4,5,6,8,9,10,11,13,14,15],[1,2,3,4,5,6,8,9,10,11,13,15],[1,2,3,4,5,6,8,9,10,11,14],[1,2,3,4,5,6,8,9,10,11,14,15],[1,2,3,4,5,6,8,9,10,11,15],[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,12,13,14],[1,2,3,4,5,6,8,9,10,12,13,14,15],[1,2,3,4,5,6,8,9,10,12,13,15],[1,2,3,4,5,6,8,9,10,12,14],[1,2,3,4,5,6,8,9,10,12,14,15],[1,2,3,4,5,6,8,9,10,12,15],[1,2,3,4,5,6,8,9,10,13],[1,2,3,4,5,6,8,9,10,13,14],[1,2,3,4,5,6,8,9,10,13,14,15],[1,2,3,4,5,6,8,9,10,13,15],[1,2,3,4,5,6,8,9,10,14],[1,2,3,4,5,6,8,9,10,14,15],[1,2,3,4,5,6,8,9,10,15],[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,12,13,14],[1,2,3,4,5,6,8,9,11,12,13,14,15],[1,2,3,4,5,6,8,9,11,12,13,15],[1,2,3,4,5,6,8,9,11,12,14],[1,2,3,4,5,6,8,9,11,12,14,15],[1,2,3,4,5,6,8,9,11,12,15],[1,2,3,4,5,6,8,9,11,13],[1,2,3,4,5,6,8,9,11,13,14],[1,2,3,4,5,6,8,9,11,13,14,15],[1,2,3,4,5,6,8,9,11,13,15],[1,2,3,4,5,6,8,9,11,14],[1,2,3,4,5,6,8,9,11,14,15],[1,2,3,4,5,6,8,9,11,15],[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,12,13,14],[1,2,3,4,5,6,8,9,12,13,14,15],[1,2,3,4,5,6,8,9,12,13,15],[1,2,3,4,5,6,8,9,12,14],[1,2,3,4,5,6,8,9,12,14,15],[1,2,3,4,5,6,8,9,12,15],[1,2,3,4,5,6,8,9,13],[1,2,3,4,5,6,8,9,13,14],[1,2,3,4,5,6,8,9,13,14,15],[1,2,3,4,5,6,8,9,13,15],[1,2,3,4,5,6,8,9,14],[1,2,3,4,5,6,8,9,14,15],[1,2,3,4,5,6,8,9,15],[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,12,13,14],[1,2,3,4,5,7,8,9,10,11,12,13,14,15],[1,2,3,4,5,7,8,9,10,11,12,13,15],[1,2,3,4,5,7,8,9,10,11,12,14],[1,2,3,4,5,7,8,9,10,11,12,14,15],[1,2,3,4,5,7,8,9,10,11,12,15],[1,2,3,4,5,7,8,9,10,11,13],[1,2,3,4,5,7,8,9,10,11,13,14],[1,2,3,4,5,7,8,9,10,11,13,14,15],[1,2,3,4,5,7,8,9,10,11,13,15],[1,2,3,4,5,7,8,9,10,11,14],[1,2,3,4,5,7,8,9,10,11,14,15],[1,2,3,4,5,7,8,9,10,11,15],[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,12,13,14],[1,2,3,4,5,7,8,9,10,12,13,14,15],[1,2,3,4,5,7,8,9,10,12,13,15],[1,2,3,4,5,7,8,9,10,12,14],[1,2,3,4,5,7,8,9,10,12,14,15],[1,2,3,4,5,7,8,9,10,12,15],[1,2,3,4,5,7,8,9,10,13],[1,2,3,4,5,7,8,9,10,13,14],[1,2,3,4,5,7,8,9,10,13,14,15],[1,2,3,4,5,7,8,9,10,13,15],[1,2,3,4,5,7,8,9,10,14],[1,2,3,4,5,7,8,9,10,14,15],[1,2,3,4,5,7,8,9,10,15],[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,12,13,14],[1,2,3,4,5,7,8,9,11,12,13,14,15],[1,2,3,4,5,7,8,9,11,12,13,15],[1,2,3,4,5,7,8,9,11,12,14],[1,2,3,4,5,7,8,9,11,12,14,15],[1,2,3,4,5,7,8,9,11,12,15],[1,2,3,4,5,7,8,9,11,13],[1,2,3,4,5,7,8,9,11,13,14],[1,2,3,4,5,7,8,9,11,13,14,15],[1,2,3,4,5,7,8,9,11,13,15],[1,2,3,4,5,7,8,9,11,14],[1,2,3,4,5,7,8,9,11,14,15],[1,2,3,4,5,7,8,9,11,15],[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,12,13,14],[1,2,3,4,5,7,8,9,12,13,14,15],[1,2,3,4,5,7,8,9,12,13,15],[1,2,3,4,5,7,8,9,12,14],[1,2,3,4,5,7,8,9,12,14,15],[1,2,3,4,5,7,8,9,12,15],[1,2,3,4,5,7,8,9,13],[1,2,3,4,5,7,8,9,13,14],[1,2,3,4,5,7,8,9,13,14,15],[1,2,3,4,5,7,8,9,13,15],[1,2,3,4,5,7,8,9,14],[1,2,3,4,5,7,8,9,14,15],[1,2,3,4,5,7,8,9,15],[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,12,13,14],[1,2,3,4,6,7,8,9,10,11,12,13,14,15],[1,2,3,4,6,7,8,9,10,11,12,13,15],[1,2,3,4,6,7,8,9,10,11,12,14],[1,2,3,4,6,7,8,9,10,11,12,14,15],[1,2,3,4,6,7,8,9,10,11,12,15],[1,2,3,4,6,7,8,9,10,11,13],[1,2,3,4,6,7,8,9,10,11,13,14],[1,2,3,4,6,7,8,9,10,11,13,14,15],[1,2,3,4,6,7,8,9,10,11,13,15],[1,2,3,4,6,7,8,9,10,11,14],[1,2,3,4,6,7,8,9,10,11,14,15],[1,2,3,4,6,7,8,9,10,11,15],[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,12,13,14],[1,2,3,4,6,7,8,9,10,12,13,14,15],[1,2,3,4,6,7,8,9,10,12,13,15],[1,2,3,4,6,7,8,9,10,12,14],[1,2,3,4,6,7,8,9,10,12,14,15],[1,2,3,4,6,7,8,9,10,12,15],[1,2,3,4,6,7,8,9,10,13],[1,2,3,4,6,7,8,9,10,13,14],[1,2,3,4,6,7,8,9,10,13,14,15],[1,2,3,4,6,7,8,9,10,13,15],[1,2,3,4,6,7,8,9,10,14],[1,2,3,4,6,7,8,9,10,14,15],[1,2,3,4,6,7,8,9,10,15],[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,12,13,14],[1,2,3,4,6,7,8,9,11,12,13,14,15],[1,2,3,4,6,7,8,9,11,12,13,15],[1,2,3,4,6,7,8,9,11,12,14],[1,2,3,4,6,7,8,9,11,12,14,15],[1,2,3,4,6,7,8,9,11,12,15],[1,2,3,4,6,7,8,9,11,13],[1,2,3,4,6,7,8,9,11,13,14],[1,2,3,4,6,7,8,9,11,13,14,15],[1,2,3,4,6,7,8,9,11,13,15],[1,2,3,4,6,7,8,9,11,14],[1,2,3,4,6,7,8,9,11,14,15],[1,2,3,4,6,7,8,9,11,15],[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,12,13,14],[1,2,3,4,6,7,8,9,12,13,14,15],[1,2,3,4,6,7,8,9,12,13,15],[1,2,3,4,6,7,8,9,12,14],[1,2,3,4,6,7,8,9,12,14,15],[1,2,3,4,6,7,8,9,12,15],[1,2,3,4,6,7,8,9,13],[1,2,3,4,6,7,8,9,13,14],[1,2,3,4,6,7,8,9,13,14,15],[1,2,3,4,6,7,8,9,13,15],[1,2,3,4,6,7,8,9,14],[1,2,3,4,6,7,8,9,14,15],[1,2,3,4,6,7,8,9,15],[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,12,13,14],[1,2,3,5,6,7,8,9,10,11,12,13,14,15],[1,2,3,5,6,7,8,9,10,11,12,13,15],[1,2,3,5,6,7,8,9,10,11,12,14],[1,2,3,5,6,7,8,9,10,11,12,14,15],[1,2,3,5,6,7,8,9,10,11,12,15],[1,2,3,5,6,7,8,9,10,11,13],[1,2,3,5,6,7,8,9,10,11,13,14],[1,2,3,5,6,7,8,9,10,11,13,14,15],[1,2,3,5,6,7,8,9,10,11,13,15],[1,2,3,5,6,7,8,9,10,11,14],[1,2,3,5,6,7,8,9,10,11,14,15],[1,2,3,5,6,7,8,9,10,11,15],[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,12,13,14],[1,2,3,5,6,7,8,9,10,12,13,14,15],[1,2,3,5,6,7,8,9,10,12,13,15],[1,2,3,5,6,7,8,9,10,12,14],[1,2,3,5,6,7,8,9,10,12,14,15],[1,2,3,5,6,7,8,9,10,12,15],[1,2,3,5,6,7,8,9,10,13],[1,2,3,5,6,7,8,9,10,13,14],[1,2,3,5,6,7,8,9,10,13,14,15],[1,2,3,5,6,7,8,9,10,13,15],[1,2,3,5,6,7,8,9,10,14],[1,2,3,5,6,7,8,9,10,14,15],[1,2,3,5,6,7,8,9,10,15],[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,12,13,14],[1,2,3,5,6,7,8,9,11,12,13,14,15],[1,2,3,5,6,7,8,9,11,12,13,15],[1,2,3,5,6,7,8,9,11,12,14],[1,2,3,5,6,7,8,9,11,12,14,15],[1,2,3,5,6,7,8,9,11,12,15],[1,2,3,5,6,7,8,9,11,13],[1,2,3,5,6,7,8,9,11,13,14],[1,2,3,5,6,7,8,9,11,13,14,15],[1,2,3,5,6,7,8,9,11,13,15],[1,2,3,5,6,7,8,9,11,14],[1,2,3,5,6,7,8,9,11,14,15],[1,2,3,5,6,7,8,9,11,15],[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,12,13,14],[1,2,3,5,6,7,8,9,12,13,14,15],[1,2,3,5,6,7,8,9,12,13,15],[1,2,3,5,6,7,8,9,12,14],[1,2,3,5,6,7,8,9,12,14,15],[1,2,3,5,6,7,8,9,12,15],[1,2,3,5,6,7,8,9,13],[1,2,3,5,6,7,8,9,13,14],[1,2,3,5,6,7,8,9,13,14,15],[1,2,3,5,6,7,8,9,13,15],[1,2,3,5,6,7,8,9,14],[1,2,3,5,6,7,8,9,14,15],[1,2,3,5,6,7,8,9,15],[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,12,13,14],[1,2,4,5,6,7,8,9,10,11,12,13,14,15],[1,2,4,5,6,7,8,9,10,11,12,13,15],[1,2,4,5,6,7,8,9,10,11,12,14],[1,2,4,5,6,7,8,9,10,11,12,14,15],[1,2,4,5,6,7,8,9,10,11,12,15],[1,2,4,5,6,7,8,9,10,11,13],[1,2,4,5,6,7,8,9,10,11,13,14],[1,2,4,5,6,7,8,9,10,11,13,14,15],[1,2,4,5,6,7,8,9,10,11,13,15],[1,2,4,5,6,7,8,9,10,11,14],[1,2,4,5,6,7,8,9,10,11,14,15],[1,2,4,5,6,7,8,9,10,11,15],[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,12,13,14],[1,2,4,5,6,7,8,9,10,12,13,14,15],[1,2,4,5,6,7,8,9,10,12,13,15],[1,2,4,5,6,7,8,9,10,12,14],[1,2,4,5,6,7,8,9,10,12,14,15],[1,2,4,5,6,7,8,9,10,12,15],[1,2,4,5,6,7,8,9,10,13],[1,2,4,5,6,7,8,9,10,13,14],[1,2,4,5,6,7,8,9,10,13,14,15],[1,2,4,5,6,7,8,9,10,13,15],[1,2,4,5,6,7,8,9,10,14],[1,2,4,5,6,7,8,9,10,14,15],[1,2,4,5,6,7,8,9,10,15],[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,12,13,14],[1,2,4,5,6,7,8,9,11,12,13,14,15],[1,2,4,5,6,7,8,9,11,12,13,15],[1,2,4,5,6,7,8,9,11,12,14],[1,2,4,5,6,7,8,9,11,12,14,15],[1,2,4,5,6,7,8,9,11,12,15],[1,2,4,5,6,7,8,9,11,13],[1,2,4,5,6,7,8,9,11,13,14],[1,2,4,5,6,7,8,9,11,13,14,15],[1,2,4,5,6,7,8,9,11,13,15],[1,2,4,5,6,7,8,9,11,14],[1,2,4,5,6,7,8,9,11,14,15],[1,2,4,5,6,7,8,9,11,15],[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,12,13,14],[1,2,4,5,6,7,8,9,12,13,14,15],[1,2,4,5,6,7,8,9,12,13,15],[1,2,4,5,6,7,8,9,12,14],[1,2,4,5,6,7,8,9,12,14,15],[1,2,4,5,6,7,8,9,12,15],[1,2,4,5,6,7,8,9,13],[1,2,4,5,6,7,8,9,13,14],[1,2,4,5,6,7,8,9,13,14,15],[1,2,4,5,6,7,8,9,13,15],[1,2,4,5,6,7,8,9,14],[1,2,4,5,6,7,8,9,14,15],[1,2,4,5,6,7,8,9,15],[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,12,13,14],[1,3,4,5,6,7,8,9,10,11,12,13,14,15],[1,3,4,5,6,7,8,9,10,11,12,13,15],[1,3,4,5,6,7,8,9,10,11,12,14],[1,3,4,5,6,7,8,9,10,11,12,14,15],[1,3,4,5,6,7,8,9,10,11,12,15],[1,3,4,5,6,7,8,9,10,11,13],[1,3,4,5,6,7,8,9,10,11,13,14],[1,3,4,5,6,7,8,9,10,11,13,14,15],[1,3,4,5,6,7,8,9,10,11,13,15],[1,3,4,5,6,7,8,9,10,11,14],[1,3,4,5,6,7,8,9,10,11,14,15],[1,3,4,5,6,7,8,9,10,11,15],[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,12,13,14],[1,3,4,5,6,7,8,9,10,12,13,14,15],[1,3,4,5,6,7,8,9,10,12,13,15],[1,3,4,5,6,7,8,9,10,12,14],[1,3,4,5,6,7,8,9,10,12,14,15],[1,3,4,5,6,7,8,9,10,12,15],[1,3,4,5,6,7,8,9,10,13],[1,3,4,5,6,7,8,9,10,13,14],[1,3,4,5,6,7,8,9,10,13,14,15],[1,3,4,5,6,7,8,9,10,13,15],[1,3,4,5,6,7,8,9,10,14],[1,3,4,5,6,7,8,9,10,14,15],[1,3,4,5,6,7,8,9,10,15],[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,12,13,14],[1,3,4,5,6,7,8,9,11,12,13,14,15],[1,3,4,5,6,7,8,9,11,12,13,15],[1,3,4,5,6,7,8,9,11,12,14],[1,3,4,5,6,7,8,9,11,12,14,15],[1,3,4,5,6,7,8,9,11,12,15],[1,3,4,5,6,7,8,9,11,13],[1,3,4,5,6,7,8,9,11,13,14],[1,3,4,5,6,7,8,9,11,13,14,15],[1,3,4,5,6,7,8,9,11,13,15],[1,3,4,5,6,7,8,9,11,14],[1,3,4,5,6,7,8,9,11,14,15],[1,3,4,5,6,7,8,9,11,15],[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,12,13,14],[1,3,4,5,6,7,8,9,12,13,14,15],[1,3,4,5,6,7,8,9,12,13,15],[1,3,4,5,6,7,8,9,12,14],[1,3,4,5,6,7,8,9,12,14,15],[1,3,4,5,6,7,8,9,12,15],[1,3,4,5,6,7,8,9,13],[1,3,4,5,6,7,8,9,13,14],[1,3,4,5,6,7,8,9,13,14,15],[1,3,4,5,6,7,8,9,13,15],[1,3,4,5,6,7,8,9,14],[1,3,4,5,6,7,8,9,14,15],[1,3,4,5,6,7,8,9,15],[1,10],[1,10,11],[1,10,11,12],[1,10,11,12,13],[1,10,11,12,13,14],[1,10,11,12,13,14,15],[1,10,11,12,13,15],[1,10,11,12,14],[1,10,11,12,14,15],[1,10,11,12,15],[1,10,11,13],[1,10,11,13,14],[1,10,11,13,14,15],[1,10,11,13,15],[1,10,11,14],[1,10,11,14,15],[1,10,11,15],[1,10,12],[1,10,12,13],[1,10,12,13,14],[1,10,12,13,14,15],[1,10,12,13,15],[1,10,12,14],[1,10,12,14,15],[1,10,12,15],[1,10,13],[1,10,13,14],[1,10,13,14,15],[1,10,13,15],[1,10,14],[1,10,14,15],[1,10,15],[1,11],[1,11,12],[1,11,12,13],[1,11,12,13,14],[1,11,12,13,14,15],[1,11,12,13,15],[1,11,12,14],[1,11,12,14,15],[1,11,12,15],[1,11,13],[1,11,13,14],[1,11,13,14,15],[1,11,13,15],[1,11,14],[1,11,14,15],[1,11,15],[1,12],[1,12,13],[1,12,13,14],[1,12,13,14,15],[1,12,13,15],[1,12,14],[1,12,14,15],[1,12,15],[1,13],[1,13,14],[1,13,14,15],[1,13,15],[1,14],[1,14,15],[1,15],[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,12,13,14],[2,3,4,5,6,7,8,9,10,11,12,13,14,15],[2,3,4,5,6,7,8,9,10,11,12,13,15],[2,3,4,5,6,7,8,9,10,11,12,14],[2,3,4,5,6,7,8,9,10,11,12,14,15],[2,3,4,5,6,7,8,9,10,11,12,15],[2,3,4,5,6,7,8,9,10,11,13],[2,3,4,5,6,7,8,9,10,11,13,14],[2,3,4,5,6,7,8,9,10,11,13,14,15],[2,3,4,5,6,7,8,9,10,11,13,15],[2,3,4,5,6,7,8,9,10,11,14],[2,3,4,5,6,7,8,9,10,11,14,15],[2,3,4,5,6,7,8,9,10,11,15],[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,12,13,14],[2,3,4,5,6,7,8,9,10,12,13,14,15],[2,3,4,5,6,7,8,9,10,12,13,15],[2,3,4,5,6,7,8,9,10,12,14],[2,3,4,5,6,7,8,9,10,12,14,15],[2,3,4,5,6,7,8,9,10,12,15],[2,3,4,5,6,7,8,9,10,13],[2,3,4,5,6,7,8,9,10,13,14],[2,3,4,5,6,7,8,9,10,13,14,15],[2,3,4,5,6,7,8,9,10,13,15],[2,3,4,5,6,7,8,9,10,14],[2,3,4,5,6,7,8,9,10,14,15],[2,3,4,5,6,7,8,9,10,15],[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,12,13,14],[2,3,4,5,6,7,8,9,11,12,13,14,15],[2,3,4,5,6,7,8,9,11,12,13,15],[2,3,4,5,6,7,8,9,11,12,14],[2,3,4,5,6,7,8,9,11,12,14,15],[2,3,4,5,6,7,8,9,11,12,15],[2,3,4,5,6,7,8,9,11,13],[2,3,4,5,6,7,8,9,11,13,14],[2,3,4,5,6,7,8,9,11,13,14,15],[2,3,4,5,6,7,8,9,11,13,15],[2,3,4,5,6,7,8,9,11,14],[2,3,4,5,6,7,8,9,11,14,15],[2,3,4,5,6,7,8,9,11,15],[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,12,13,14],[2,3,4,5,6,7,8,9,12,13,14,15],[2,3,4,5,6,7,8,9,12,13,15],[2,3,4,5,6,7,8,9,12,14],[2,3,4,5,6,7,8,9,12,14,15],[2,3,4,5,6,7,8,9,12,15],[2,3,4,5,6,7,8,9,13],[2,3,4,5,6,7,8,9,13,14],[2,3,4,5,6,7,8,9,13,14,15],[2,3,4,5,6,7,8,9,13,15],[2,3,4,5,6,7,8,9,14],[2,3,4,5,6,7,8,9,14,15],[2,3,4,5,6,7,8,9,15],[2,10],[2,10,11],[2,10,11,12],[2,10,11,12,13],[2,10,11,12,13,14],[2,10,11,12,13,14,15],[2,10,11,12,13,15],[2,10,11,12,14],[2,10,11,12,14,15],[2,10,11,12,15],[2,10,11,13],[2,10,11,13,14],[2,10,11,13,14,15],[2,10,11,13,15],[2,10,11,14],[2,10,11,14,15],[2,10,11,15],[2,10,12],[2,10,12,13],[2,10,12,13,14],[2,10,12,13,14,15],[2,10,12,13,15],[2,10,12,14],[2,10,12,14,15],[2,10,12,15],[2,10,13],[2,10,13,14],[2,10,13,14,15],[2,10,13,15],[2,10,14],[2,10,14,15],[2,10,15],[2,11],[2,11,12],[2,11,12,13],[2,11,12,13,14],[2,11,12,13,14,15],[2,11,12,13,15],[2,11,12,14],[2,11,12,14,15],[2,11,12,15],[2,11,13],[2,11,13,14],[2,11,13,14,15],[2,11,13,15],[2,11,14],[2,11,14,15],[2,11,15],[2,12],[2,12,13],[2,12,13,14],[2,12,13,14,15],[2,12,13,15],[2,12,14],[2,12,14,15],[2,12,15],[2,13],[2,13,14],[2,13,14,15],[2,13,15],[2,14],[2,14,15],[2,15],[3,10],[3,10,11],[3,10,11,12],[3,10,11,12,13],[3,10,11,12,13,14],[3,10,11,12,13,14,15],[3,10,11,12,13,15],[3,10,11,12,14],[3,10,11,12,14,15],[3,10,11,12,15],[3,10,11,13],[3,10,11,13,14],[3,10,11,13,14,15],[3,10,11,13,15],[3,10,11,14],[3,10,11,14,15],[3,10,11,15],[3,10,12],[3,10,12,13],[3,10,12,13,14],[3,10,12,13,14,15],[3,10,12,13,15],[3,10,12,14],[3,10,12,14,15],[3,10,12,15],[3,10,13],[3,10,13,14],[3,10,13,14,15],[3,10,13,15],[3,10,14],[3,10,14,15],[3,10,15],[3,11],[3,11,12],[3,11,12,13],[3,11,12,13,14],[3,11,12,13,14,15],[3,11,12,13,15],[3,11,12,14],[3,11,12,14,15],[3,11,12,15],[3,11,13],[3,11,13,14],[3,11,13,14,15],[3,11,13,15],[3,11,14],[3,11,14,15],[3,11,15],[3,12],[3,12,13],[3,12,13,14],[3,12,13,14,15],[3,12,13,15],[3,12,14],[3,12,14,15],[3,12,15],[3,13],[3,13,14],[3,13,14,15],[3,13,15],[3,14],[3,14,15],[3,15],[4,10],[4,10,11],[4,10,11,12],[4,10,11,12,13],[4,10,11,12,13,14],[4,10,11,12,13,14,15],[4,10,11,12,13,15],[4,10,11,12,14],[4,10,11,12,14,15],[4,10,11,12,15],[4,10,11,13],[4,10,11,13,14],[4,10,11,13,14,15],[4,10,11,13,15],[4,10,11,14],[4,10,11,14,15],[4,10,11,15],[4,10,12],[4,10,12,13],[4,10,12,13,14],[4,10,12,13,14,15],[4,10,12,13,15],[4,10,12,14],[4,10,12,14,15],[4,10,12,15],[4,10,13],[4,10,13,14],[4,10,13,14,15],[4,10,13,15],[4,10,14],[4,10,14,15],[4,10,15],[4,11],[4,11,12],[4,11,12,13],[4,11,12,13,14],[4,11,12,13,14,15],[4,11,12,13,15],[4,11,12,14],[4,11,12,14,15],[4,11,12,15],[4,11,13],[4,11,13,14],[4,11,13,14,15],[4,11,13,15],[4,11,14],[4,11,14,15],[4,11,15],[4,12],[4,12,13],[4,12,13,14],[4,12,13,14,15],[4,12,13,15],[4,12,14],[4,12,14,15],[4,12,15],[4,13],[4,13,14],[4,13,14,15],[4,13,15],[4,14],[4,14,15],[4,15],[5,10],[5,10,11],[5,10,11,12],[5,10,11,12,13],[5,10,11,12,13,14],[5,10,11,12,13,14,15],[5,10,11,12,13,15],[5,10,11,12,14],[5,10,11,12,14,15],[5,10,11,12,15],[5,10,11,13],[5,10,11,13,14],[5,10,11,13,14,15],[5,10,11,13,15],[5,10,11,14],[5,10,11,14,15],[5,10,11,15],[5,10,12],[5,10,12,13],[5,10,12,13,14],[5,10,12,13,14,15],[5,10,12,13,15],[5,10,12,14],[5,10,12,14,15],[5,10,12,15],[5,10,13],[5,10,13,14],[5,10,13,14,15],[5,10,13,15],[5,10,14],[5,10,14,15],[5,10,15],[5,11],[5,11,12],[5,11,12,13],[5,11,12,13,14],[5,11,12,13,14,15],[5,11,12,13,15],[5,11,12,14],[5,11,12,14,15],[5,11,12,15],[5,11,13],[5,11,13,14],[5,11,13,14,15],[5,11,13,15],[5,11,14],[5,11,14,15],[5,11,15],[5,12],[5,12,13],[5,12,13,14],[5,12,13,14,15],[5,12,13,15],[5,12,14],[5,12,14,15],[5,12,15],[5,13],[5,13,14],[5,13,14,15],[5,13,15],[5,14],[5,14,15],[5,15],[6,10],[6,10,11],[6,10,11,12],[6,10,11,12,13],[6,10,11,12,13,14],[6,10,11,12,13,14,15],[6,10,11,12,13,15],[6,10,11,12,14],[6,10,11,12,14,15],[6,10,11,12,15],[6,10,11,13],[6,10,11,13,14],[6,10,11,13,14,15],[6,10,11,13,15],[6,10,11,14],[6,10,11,14,15],[6,10,11,15],[6,10,12],[6,10,12,13],[6,10,12,13,14],[6,10,12,13,14,15],[6,10,12,13,15],[6,10,12,14],[6,10,12,14,15],[6,10,12,15],[6,10,13],[6,10,13,14],[6,10,13,14,15],[6,10,13,15],[6,10,14],[6,10,14,15],[6,10,15],[6,11],[6,11,12],[6,11,12,13],[6,11,12,13,14],[6,11,12,13,14,15],[6,11,12,13,15],[6,11,12,14],[6,11,12,14,15],[6,11,12,15],[6,11,13],[6,11,13,14],[6,11,13,14,15],[6,11,13,15],[6,11,14],[6,11,14,15],[6,11,15],[6,12],[6,12,13],[6,12,13,14],[6,12,13,14,15],[6,12,13,15],[6,12,14],[6,12,14,15],[6,12,15],[6,13],[6,13,14],[6,13,14,15],[6,13,15],[6,14],[6,14,15],[6,15],[7,10],[7,10,11],[7,10,11,12],[7,10,11,12,13],[7,10,11,12,13,14],[7,10,11,12,13,14,15],[7,10,11,12,13,15],[7,10,11,12,14],[7,10,11,12,14,15],[7,10,11,12,15],[7,10,11,13],[7,10,11,13,14],[7,10,11,13,14,15],[7,10,11,13,15],[7,10,11,14],[7,10,11,14,15],[7,10,11,15],[7,10,12],[7,10,12,13],[7,10,12,13,14],[7,10,12,13,14,15],[7,10,12,13,15],[7,10,12,14],[7,10,12,14,15],[7,10,12,15],[7,10,13],[7,10,13,14],[7,10,13,14,15],[7,10,13,15],[7,10,14],[7,10,14,15],[7,10,15],[7,11],[7,11,12],[7,11,12,13],[7,11,12,13,14],[7,11,12,13,14,15],[7,11,12,13,15],[7,11,12,14],[7,11,12,14,15],[7,11,12,15],[7,11,13],[7,11,13,14],[7,11,13,14,15],[7,11,13,15],[7,11,14],[7,11,14,15],[7,11,15],[7,12],[7,12,13],[7,12,13,14],[7,12,13,14,15],[7,12,13,15],[7,12,14],[7,12,14,15],[7,12,15],[7,13],[7,13,14],[7,13,14,15],[7,13,15],[7,14],[7,14,15],[7,15],[8,10],[8,10,11],[8,10,11,12],[8,10,11,12,13],[8,10,11,12,13,14],[8,10,11,12,13,14,15],[8,10,11,12,13,15],[8,10,11,12,14],[8,10,11,12,14,15],[8,10,11,12,15],[8,10,11,13],[8,10,11,13,14],[8,10,11,13,14,15],[8,10,11,13,15],[8,10,11,14],[8,10,11,14,15],[8,10,11,15],[8,10,12],[8,10,12,13],[8,10,12,13,14],[8,10,12,13,14,15],[8,10,12,13,15],[8,10,12,14],[8,10,12,14,15],[8,10,12,15],[8,10,13],[8,10,13,14],[8,10,13,14,15],[8,10,13,15],[8,10,14],[8,10,14,15],[8,10,15],[8,11],[8,11,12],[8,11,12,13],[8,11,12,13,14],[8,11,12,13,14,15],[8,11,12,13,15],[8,11,12,14],[8,11,12,14,15],[8,11,12,15],[8,11,13],[8,11,13,14],[8,11,13,14,15],[8,11,13,15],[8,11,14],[8,11,14,15],[8,11,15],[8,12],[8,12,13],[8,12,13,14],[8,12,13,14,15],[8,12,13,15],[8,12,14],[8,12,14,15],[8,12,15],[8,13],[8,13,14],[8,13,14,15],[8,13,15],[8,14],[8,14,15],[8,15],[9,10],[9,10,11],[9,10,11,12],[9,10,11,12,13],[9,10,11,12,13,14],[9,10,11,12,13,14,15],[9,10,11,12,13,15],[9,10,11,12,14],[9,10,11,12,14,15],[9,10,11,12,15],[9,10,11,13],[9,10,11,13,14],[9,10,11,13,14,15],[9,10,11,13,15],[9,10,11,14],[9,10,11,14,15],[9,10,11,15],[9,10,12],[9,10,12,13],[9,10,12,13,14],[9,10,12,13,14,15],[9,10,12,13,15],[9,10,12,14],[9,10,12,14,15],[9,10,12,15],[9,10,13],[9,10,13,14],[9,10,13,14,15],[9,10,13,15],[9,10,14],[9,10,14,15],[9,10,15],[9,11],[9,11,12],[9,11,12,13],[9,11,12,13,14],[9,11,12,13,14,15],[9,11,12,13,15],[9,11,12,14],[9,11,12,14,15],[9,11,12,15],[9,11,13],[9,11,13,14],[9,11,13,14,15],[9,11,13,15],[9,11,14],[9,11,14,15],[9,11,15],[9,12],[9,12,13],[9,12,13,14],[9,12,13,14,15],[9,12,13,15],[9,12,14],[9,12,14,15],[9,12,15],[9,13],[9,13,14],[9,13,14,15],[9,13,15],[9,14],[9,14,15],[9,15],[10],[10,11],[10,11,12],[10,11,12,13],[10,11,12,13,14],[10,11,12,13,14,15],[10,11,12,13,15],[10,11,12,14],[10,11,12,14,15],[10,11,12,15],[10,11,13],[10,11,13,14],[10,11,13,14,15],[10,11,13,15],[10,11,14],[10,11,14,15],[10,11,15],[10,12],[10,12,13],[10,12,13,14],[10,12,13,14,15],[10,12,13,15],[10,12,14],[10,12,14,15],[10,12,15],[10,13],[10,13,14],[10,13,14,15],[10,13,15],[10,14],[10,14,15],[10,15],[11],[11,12],[11,12,13],[11,12,13,14],[11,12,13,14,15],[11,12,13,15],[11,12,14],[11,12,14,15],[11,12,15],[11,13],[11,13,14],[11,13,14,15],[11,13,15],[11,14],[11,14,15],[11,15],[12],[12,13],[12,13,14],[12,13,14,15],[12,13,15],[12,14],[12,14,15],[12,15],[13],[13,14],[13,14,15],[13,15],[14],[14,15],[15]]},"distance":{"d":2,"is_exact":true,"upper":2,"witness":[0,63],"A_d":97020,"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],[840,3],[841,3],[842,3],[843,3],[844,3],[845,3],[846,3],[847,3],[848,3],[849,3],[850,3],[851,3],[852,3],[853,3],[854,3],[855,3],[856,3],[857,3],[858,3],[859,3],[860,3],[861,3],[862,3],[863,3],[864,3],[865,3],[866,3],[867,3],[868,3],[869,3],[870,3],[871,3],[872,3],[873,3],[874,3],[875,3],[876,3],[877,3],[878,3],[879,3],[880,3],[881,3],[882,3],[883,3],[884,3],[885,3],[886,3],[887,3],[888,3],[889,3],[890,3],[891,3],[892,3],[893,3],[894,3],[895,3],[896,3],[897,3],[898,3],[899,3],[900,3],[901,3],[902,3],[903,3],[904,3],[905,3],[906,3],[907,3],[908,3],[909,3],[910,3],[911,3],[912,3],[913,3],[914,3],[915,3],[916,3],[917,3],[918,3],[919,3],[920,3],[921,3],[922,3],[923,3],[924,3],[925,3],[926,3],[927,3],[928,3],[929,3],[930,3],[931,3],[932,3],[933,3],[934,3],[935,3],[936,3],[937,3],[938,3],[939,3],[940,3],[941,3],[942,3],[943,3],[944,3],[945,3],[946,3],[947,3],[948,3],[949,3],[950,3],[951,3],[952,3],[953,3],[954,3],[955,3],[956,3],[957,3],[958,3],[959,3],[960,3],[961,3],[962,3],[963,3],[964,3],[965,3],[966,3],[967,3],[968,3],[969,3],[970,3],[971,3],[972,3],[973,3],[974,3],[975,3],[976,3],[977,3],[978,3],[979,3],[980,3],[981,3],[982,3],[983,3],[984,3],[985,3],[986,3],[987,3],[988,3],[989,3],[990,3],[991,3],[992,3],[993,3],[994,3],[995,3],[996,3],[997,3],[998,3],[999,3],[1000,3],[1001,3],[1002,3],[1003,3],[1004,3],[1005,3],[1006,3],[1007,3],[1008,3],[1009,3],[1010,3],[1011,3],[1012,3],[1013,3],[1014,3],[1015,3],[1016,3],[1017,3],[1018,3],[1019,3],[1020,3],[1021,3],[1022,3],[1023,3],[1024,3],[1025,3],[1026,3],[1027,3],[1028,3],[1029,3],[1030,3],[1031,3],[1032,3],[1033,3],[1034,3],[1035,3],[1036,3],[1037,3],[1038,3],[1039,3],[1040,3],[1041,3],[1042,3],[1043,3],[1044,3],[1045,3],[1046,3],[1047,3],[1048,3],[1049,3],[1050,3],[1051,3],[1052,3],[1053,3],[1054,3],[1055,3],[1056,3],[1057,3],[1058,3],[1059,3],[1060,3],[1061,3],[1062,3],[1063,3],[1064,3],[1065,3],[1066,3],[1067,3],[1068,3],[1069,3],[1070,3],[1071,3],[1072,3],[1073,3],[1074,3],[1075,3],[1076,3],[1077,3],[1078,3],[1079,3],[1080,3],[1081,3],[1082,3],[1083,3],[1084,3],[1085,3],[1086,3],[1087,3],[1088,3],[1089,3],[1090,3],[1091,3],[1092,3],[1093,3],[1094,3],[1095,3],[1096,3],[1097,3],[1098,3],[1099,3],[1100,3],[1101,3],[1102,3],[1103,3],[1104,3],[1105,3],[1106,3],[1107,3],[1108,3],[1109,3],[1110,3],[1111,3],[1112,3],[1113,3],[1114,3],[1115,3],[1116,3],[1117,3],[1118,3],[1119,3],[1120,3],[1121,3],[1122,3],[1123,3],[1124,3],[1125,3],[1126,3],[1127,3],[1128,3],[1129,3],[1130,3],[1131,3],[1132,3],[1133,3],[1134,3],[1135,3],[1136,3],[1137,3],[1138,3],[1139,3],[1140,3],[1141,3],[1142,3],[1143,3],[1144,3],[1145,3],[1146,3],[1147,3],[1148,3],[1149,3],[1150,3],[1151,3],[1152,3],[1153,3],[1154,3],[1155,3],[1156,3],[1157,3],[1158,3],[1159,3],[1160,3],[1161,3],[1162,3],[1163,3],[1164,3],[1165,3],[1166,3],[1167,3],[1168,3],[1169,3],[1170,3],[1171,3],[1172,3],[1173,3],[1174,3],[1175,3],[1176,3],[1177,3],[1178,3],[1179,3],[1180,3],[1181,3],[1182,3],[1183,3],[1184,3],[1185,3],[1186,3],[1187,3],[1188,3],[1189,3],[1190,3],[1191,3],[1192,3],[1193,3],[1194,3],[1195,3],[1196,3],[1197,3],[1198,3],[1199,3],[1200,3],[1201,3],[1202,3],[1203,3],[1204,3],[1205,3],[1206,3],[1207,3],[1208,3],[1209,3],[1210,3],[1211,3],[1212,3],[1213,3],[1214,3],[1215,3],[1216,3],[1217,3],[1218,3],[1219,3],[1220,3],[1221,3],[1222,3],[1223,3],[1224,3],[1225,3],[1226,3],[1227,3],[1228,3],[1229,3],[1230,3],[1231,3],[1232,3],[1233,3],[1234,3],[1235,3],[1236,3],[1237,3],[1238,3],[1239,3],[1240,3],[1241,3],[1242,3],[1243,3],[1244,3],[1245,3],[1246,3],[1247,3],[1248,3],[1249,3],[1250,3],[1251,3],[1252,3],[1253,3],[1254,3],[1255,3],[1256,3],[1257,3],[1258,3],[1259,3],[1260,3],[1261,3],[1262,3],[1263,3],[1264,3],[1265,3],[1266,3],[1267,3],[1268,3],[1269,3],[1270,3],[1271,3],[1272,3],[1273,3],[1274,3],[1275,3],[1276,3],[1277,3],[1278,3],[1279,3],[1280,3],[1281,3],[1282,3],[1283,3],[1284,3],[1285,3],[1286,3],[1287,3],[1288,3],[1289,3],[1290,3],[1291,3],[1292,3],[1293,3],[1294,3],[1295,3],[1296,3],[1297,3],[1298,3],[1299,3],[1300,3],[1301,3],[1302,3],[1303,3],[1304,3],[1305,3],[1306,3],[1307,3],[1308,3],[1309,3],[1310,3],[1311,3],[1312,3],[1313,3],[1314,3],[1315,3],[1316,3],[1317,3],[1318,3],[1319,3],[1320,3],[1321,3],[1322,3],[1323,3],[1324,3],[1325,3],[1326,3],[1327,3],[1328,3],[1329,3],[1330,3],[1331,3],[1332,3],[1333,3],[1334,3],[1335,3],[1336,3],[1337,3],[1338,3],[1339,3],[1340,3],[1341,3],[1342,3],[1343,3],[1344,3],[1345,3],[1346,3],[1347,3],[1348,3],[1349,3],[1350,3],[1351,3],[1352,3],[1353,3],[1354,3],[1355,3],[1356,3],[1357,3],[1358,3],[1359,3],[1360,3],[1361,3],[1362,3],[1363,3],[1364,3],[1365,3],[1366,3],[1367,3],[1368,3],[1369,3],[1370,3],[1371,3],[1372,3],[1373,3],[1374,3],[1375,3],[1376,3],[1377,3],[1378,3],[1379,3],[1380,3],[1381,3],[1382,3],[1383,3],[1384,3],[1385,3],[1386,3],[1387,3],[1388,3],[1389,3],[1390,3],[1391,3],[1392,3],[1393,3],[1394,3],[1395,3],[1396,3],[1397,3],[1398,3],[1399,3],[1400,3],[1401,3],[1402,3],[1403,3],[1404,3],[1405,3],[1406,3],[1407,3],[1408,3],[1409,3],[1410,3],[1411,3],[1412,3],[1413,3],[1414,3],[1415,3],[1416,3],[1417,3],[1418,3],[1419,3],[1420,3],[1421,3],[1422,3],[1423,3],[1424,3],[1425,3],[1426,3],[1427,3],[1428,3],[1429,3],[1430,3],[1431,3],[1432,3],[1433,3],[1434,3],[1435,3],[1436,3],[1437,3],[1438,3],[1439,3],[1440,3],[1441,3],[1442,3],[1443,3],[1444,3],[1445,3],[1446,3],[1447,3],[1448,3],[1449,3],[1450,3],[1451,3],[1452,3],[1453,3],[1454,3],[1455,3],[1456,3],[1457,3],[1458,3],[1459,3],[1460,3],[1461,3],[1462,3],[1463,3],[1464,3],[1465,3],[1466,3],[1467,3],[1468,3],[1469,3],[1470,3],[1471,3],[1472,3],[1473,3],[1474,3],[1475,3],[1476,3],[1477,3],[1478,3],[1479,3],[1480,3],[1481,3],[1482,3],[1483,3],[1484,3],[1485,3],[1486,3],[1487,3],[1488,3],[1489,3],[1490,3],[1491,3],[1492,3],[1493,3],[1494,3],[1495,3],[1496,3],[1497,3],[1498,3],[1499,3],[1500,3],[1501,3],[1502,3],[1503,3],[1504,3],[1505,3],[1506,3],[1507,3],[1508,3],[1509,3],[1510,3],[1511,3],[1512,3],[1513,3],[1514,3],[1515,3],[1516,3],[1517,3],[1518,3],[1519,3],[1520,3],[1521,3],[1522,3],[1523,3],[1524,3],[1525,3],[1526,3],[1527,3],[1528,3],[1529,3],[1530,3],[1531,3],[1532,3],[1533,3],[1534,3],[1535,3],[1536,3],[1537,3],[1538,3],[1539,3],[1540,3],[1541,3],[1542,3],[1543,3],[1544,3],[1545,3],[1546,3],[1547,3],[1548,3],[1549,3],[1550,3],[1551,3],[1552,3],[1553,3],[1554,3],[1555,3],[1556,3],[1557,3],[1558,3],[1559,3],[1560,3],[1561,3],[1562,3],[1563,3],[1564,3],[1565,3],[1566,3],[1567,3],[1568,3],[1569,3],[1570,3],[1571,3],[1572,3],[1573,3],[1574,3],[1575,3],[1576,3],[1577,3],[1578,3],[1579,3],[1580,3],[1581,3],[1582,3],[1583,3],[1584,3],[1585,3],[1586,3],[1587,3],[1588,3],[1589,3],[1590,3],[1591,3],[1592,3],[1593,3],[1594,3],[1595,3],[1596,3],[1597,3],[1598,3],[1599,3],[1600,3],[1601,3],[1602,3],[1603,3],[1604,3],[1605,3],[1606,3],[1607,3],[1608,3],[1609,3],[1610,3],[1611,3],[1612,3],[1613,3],[1614,3],[1615,3],[1616,3],[1617,3],[1618,3],[1619,3],[1620,3],[1621,3],[1622,3],[1623,3],[1624,3],[1625,3],[1626,3],[1627,3],[1628,3],[1629,3],[1630,3],[1631,3],[1632,3],[1633,3],[1634,3],[1635,3],[1636,3],[1637,3],[1638,3],[1639,3],[1640,3],[1641,3],[1642,3],[1643,3],[1644,3],[1645,3],[1646,3],[1647,3],[1648,3],[1649,3],[1650,3],[1651,3],[1652,3],[1653,3],[1654,3],[1655,3],[1656,3],[1657,3],[1658,3],[1659,3],[1660,3],[1661,3],[1662,3],[1663,3],[1664,3],[1665,3],[1666,3],[1667,3],[1668,3],[1669,3],[1670,3],[1671,3],[1672,3],[1673,3],[1674,3],[1675,3],[1676,3],[1677,3],[1678,3],[1679,3],[1680,3],[1681,3],[1682,3],[1683,3],[1684,3],[1685,3],[1686,3],[1687,3],[1688,3],[1689,3],[1690,3],[1691,3],[1692,3],[1693,3],[1694,3],[1695,3],[1696,3],[1697,3],[1698,3],[1699,3],[1700,3],[1701,3],[1702,3],[1703,3],[1704,3],[1705,3],[1706,3],[1707,3],[1708,3],[1709,3],[1710,3],[1711,3],[1712,3],[1713,3],[1714,3],[1715,3],[1716,3],[1717,3],[1718,3],[1719,3],[1720,3],[1721,3],[1722,3],[1723,3],[1724,3],[1725,3],[1726,3],[1727,3],[1728,3],[1729,3],[1730,3],[1731,3],[1732,3],[1733,3],[1734,3],[1735,3],[1736,3],[1737,3],[1738,3],[1739,3],[1740,3],[1741,3],[1742,3],[1743,3],[1744,3],[1745,3],[1746,3],[1747,3],[1748,3],[1749,3],[1750,3],[1751,3],[1752,3],[1753,3],[1754,3],[1755,3],[1756,3],[1757,3],[1758,3],[1759,3],[1760,3],[1761,3],[1762,3],[1763,3],[1764,3],[1765,3],[1766,3],[1767,3],[1768,3],[1769,3],[1770,3],[1771,3],[1772,3],[1773,3],[1774,3],[1775,3],[1776,3],[1777,3],[1778,3],[1779,3],[1780,3],[1781,3],[1782,3],[1783,3],[1784,3],[1785,3],[1786,3],[1787,3],[1788,3],[1789,3],[1790,3],[1791,3],[1792,3],[1793,3],[1794,3],[1795,3],[1796,3],[1797,3],[1798,3],[1799,3],[1800,3],[1801,3],[1802,3],[1803,3],[1804,3],[1805,3],[1806,3],[1807,3],[1808,3],[1809,3],[1810,3],[1811,3],[1812,3],[1813,3],[1814,3],[1815,3],[1816,3],[1817,3],[1818,3],[1819,3],[1820,3],[1821,3],[1822,3],[1823,3],[1824,3],[1825,3],[1826,3],[1827,3],[1828,3],[1829,3],[1830,3],[1831,3],[1832,3],[1833,3],[1834,3],[1835,3],[1836,3],[1837,3],[1838,3],[1839,3],[1840,3],[1841,3],[1842,3],[1843,3],[1844,3],[1845,3],[1846,3],[1847,3],[1848,3],[1849,3],[1850,3],[1851,3],[1852,3],[1853,3],[1854,3],[1855,3],[1856,3],[1857,3],[1858,3],[1859,3],[1860,3],[1861,3],[1862,3],[1863,3],[1864,3],[1865,3],[1866,3],[1867,3],[1868,3],[1869,3],[1870,3],[1871,3],[1872,3],[1873,3],[1874,3],[1875,3],[1876,3],[1877,3],[1878,3],[1879,3],[1880,3],[1881,3],[1882,3],[1883,3],[1884,3],[1885,3],[1886,3],[1887,3],[1888,3],[1889,3],[1890,3],[1891,3],[1892,3],[1893,3],[1894,3],[1895,3],[1896,3],[1897,3],[1898,3],[1899,3],[1900,3],[1901,3],[1902,3],[1903,3],[1904,3],[1905,3],[1906,3],[1907,3],[1908,3],[1909,3],[1910,3],[1911,3],[1912,3],[1913,3],[1914,3],[1915,3],[1916,3],[1917,3],[1918,3],[1919,3],[1920,3],[1921,3],[1922,3],[1923,3],[1924,3],[1925,3],[1926,3],[1927,3],[1928,3],[1929,3],[1930,3],[1931,3],[1932,3],[1933,3],[1934,3],[1935,3],[1936,3],[1937,3],[1938,3],[1939,3],[1940,3],[1941,3],[1942,3],[1943,3],[1944,3],[1945,3],[1946,3],[1947,3],[1948,3],[1949,3],[1950,3],[1951,3],[1952,3],[1953,3],[1954,3],[1955,3],[1956,3],[1957,3],[1958,3],[1959,3],[1960,3],[1961,3],[1962,3],[1963,3],[1964,3],[1965,3],[1966,3],[1967,3],[1968,3],[1969,3],[1970,3],[1971,3],[1972,3],[1973,3],[1974,3],[1975,3],[1976,3],[1977,3],[1978,3],[1979,3],[1980,3],[1981,3],[1982,3],[1983,3],[1984,3],[1985,3],[1986,3],[1987,3],[1988,3],[1989,3],[1990,3],[1991,3],[1992,3],[1993,3],[1994,3],[1995,3],[1996,3],[1997,3],[1998,3],[1999,3],[2000,3],[2001,3],[2002,3],[2003,3],[2004,3],[2005,3],[2006,3],[2007,3],[2008,3],[2009,3],[2010,3],[2011,3],[2012,3],[2013,3],[2014,3],[2015,3],[2016,3],[2017,3],[2018,3],[2019,3],[2020,3],[2021,3],[2022,3],[2023,3],[2024,3],[2025,3],[2026,3],[2027,3],[2028,3],[2029,3],[2030,3],[2031,3],[2032,3],[2033,3],[2034,3],[2035,3],[2036,3],[2037,3],[2038,3],[2039,3],[2040,3],[2041,3],[2042,3],[2043,3],[2044,3],[2045,3],[2046,3],[2047,3],[2048,3],[2049,3],[2050,3],[2051,3],[2052,3],[2053,3],[2054,3],[2055,3],[2056,3],[2057,3],[2058,3],[2059,3],[2060,3],[2061,3],[2062,3],[2063,3],[2064,3],[2065,3],[2066,3],[2067,3],[2068,3],[2069,3],[2070,3],[2071,3],[2072,3],[2073,3],[2074,3],[2075,3],[2076,3],[2077,3],[2078,3],[2079,3],[2080,3],[2081,3],[2082,3],[2083,3],[2084,3],[2085,3],[2086,3],[2087,3],[2088,3],[2089,3],[2090,3],[2091,3],[2092,3],[2093,3],[2094,3],[2095,3],[2096,3],[2097,3],[2098,3],[2099,3],[2100,3],[2101,3],[2102,3],[2103,3],[2104,3],[2105,3],[2106,3],[2107,3],[2108,3],[2109,3],[2110,3],[2111,3],[2112,3],[2113,3],[2114,3],[2115,3],[2116,3],[2117,3],[2118,3],[2119,3],[2120,3],[2121,3],[2122,3],[2123,3],[2124,3],[2125,3],[2126,3],[2127,3],[2128,3],[2129,3],[2130,3],[2131,3],[2132,3],[2133,3],[2134,3],[2135,3],[2136,3],[2137,3],[2138,3],[2139,3],[2140,3],[2141,3],[2142,3],[2143,3],[2144,3],[2145,3],[2146,3],[2147,3],[2148,3],[2149,3],[2150,3],[2151,3],[2152,3],[2153,3],[2154,3],[2155,3],[2156,3],[2157,3],[2158,3],[2159,3],[2160,3],[2161,3],[2162,3],[2163,3],[2164,3],[2165,3],[2166,3],[2167,3],[2168,3],[2169,3],[2170,3],[2171,3],[2172,3],[2173,3],[2174,3],[2175,3],[2176,3],[2177,3],[2178,3],[2179,3],[2180,3],[2181,3],[2182,3],[2183,3],[2184,3],[2185,3],[2186,3],[2187,3],[2188,3],[2189,3],[2190,3],[2191,3],[2192,3],[2193,3],[2194,3],[2195,3],[2196,3],[2197,3],[2198,3],[2199,3],[2200,3],[2201,3],[2202,3],[2203,3],[2204,3],[2205,3],[2206,3],[2207,3],[2208,3],[2209,3],[2210,3],[2211,3],[2212,3],[2213,3],[2214,3],[2215,3],[2216,3],[2217,3],[2218,3],[2219,3],[2220,3],[2221,3],[2222,3],[2223,3],[2224,3],[2225,3],[2226,3],[2227,3],[2228,3],[2229,3],[2230,3],[2231,3],[2232,3],[2233,3],[2234,3],[2235,3],[2236,3],[2237,3],[2238,3],[2239,3],[2240,3],[2241,3],[2242,3],[2243,3],[2244,3],[2245,3],[2246,3],[2247,3],[2248,3],[2249,3],[2250,3],[2251,3],[2252,3],[2253,3],[2254,3],[2255,3],[2256,3],[2257,3],[2258,3],[2259,3],[2260,3],[2261,3],[2262,3],[2263,3],[2264,3],[2265,3],[2266,3],[2267,3],[2268,3],[2269,3],[2270,3],[2271,3],[2272,3],[2273,3],[2274,3],[2275,3],[2276,3],[2277,3],[2278,3],[2279,3],[2280,3],[2281,3],[2282,3],[2283,3],[2284,3],[2285,3],[2286,3],[2287,3],[2288,3],[2289,3],[2290,3],[2291,3],[2292,3],[2293,3],[2294,3],[2295,3],[2296,3],[2297,3],[2298,3],[2299,3],[2300,3],[2301,3],[2302,3],[2303,3],[2304,3],[2305,3],[2306,3],[2307,3],[2308,3],[2309,3],[2310,3],[2311,3],[2312,3],[2313,3],[2314,3],[2315,3],[2316,3],[2317,3],[2318,3],[2319,3],[2320,3],[2321,3],[2322,3],[2323,3],[2324,3],[2325,3],[2326,3],[2327,3],[2328,3],[2329,3],[2330,3],[2331,3],[2332,3],[2333,3],[2334,3],[2335,3],[2336,3],[2337,3],[2338,3],[2339,3],[2340,3],[2341,3],[2342,3],[2343,3],[2344,3],[2345,3],[2346,3],[2347,3],[2348,3],[2349,3],[2350,3],[2351,3],[2352,3],[2353,3],[2354,3],[2355,3],[2356,3],[2357,3],[2358,3],[2359,3],[2360,3],[2361,3],[2362,3],[2363,3],[2364,3],[2365,3],[2366,3],[2367,3],[2368,3],[2369,3],[2370,3],[2371,3],[2372,3],[2373,3],[2374,3],[2375,3],[2376,3],[2377,3],[2378,3],[2379,3],[2380,3],[2381,3],[2382,3],[2383,3],[2384,3],[2385,3],[2386,3],[2387,3],[2388,3],[2389,3],[2390,3],[2391,3],[2392,3],[2393,3],[2394,3],[2395,3],[2396,3],[2397,3],[2398,3],[2399,3],[2400,3],[2401,3],[2402,3],[2403,3],[2404,3],[2405,3],[2406,3],[2407,3],[2408,3],[2409,3],[2410,3],[2411,3],[2412,3],[2413,3],[2414,3],[2415,3],[2416,3],[2417,3],[2418,3],[2419,3],[2420,3],[2421,3],[2422,3],[2423,3],[2424,3],[2425,3],[2426,3],[2427,3],[2428,3],[2429,3],[2430,3],[2431,3],[2432,3],[2433,3],[2434,3],[2435,3],[2436,3],[2437,3],[2438,3],[2439,3],[2440,3],[2441,3],[2442,3],[2443,3],[2444,3],[2445,3],[2446,3],[2447,3],[2448,3],[2449,3],[2450,3],[2451,3],[2452,3],[2453,3],[2454,3],[2455,3],[2456,3],[2457,3],[2458,3],[2459,3],[2460,3],[2461,3],[2462,3],[2463,3],[2464,3],[2465,3],[2466,3],[2467,3],[2468,3],[2469,3],[2470,3],[2471,3],[2472,3],[2473,3],[2474,3],[2475,3],[2476,3],[2477,3],[2478,3],[2479,3],[2480,3],[2481,3],[2482,3],[2483,3],[2484,3],[2485,3],[2486,3],[2487,3],[2488,3],[2489,3],[2490,3],[2491,3],[2492,3],[2493,3],[2494,3],[2495,3],[2496,3],[2497,3],[2498,3],[2499,3],[2500,3],[2501,3],[2502,3],[2503,3],[2504,3],[2505,3],[2506,3],[2507,3],[2508,3],[2509,3],[2510,3],[2511,3],[2512,3],[2513,3],[2514,3],[2515,3],[2516,3],[2517,3],[2518,3],[2519,3],[2520,3],[2521,3],[2522,3],[2523,3],[2524,3],[2525,3],[2526,3],[2527,3],[2528,3],[2529,3],[2530,3],[2531,3],[2532,3],[2533,3],[2534,3],[2535,3],[2536,3],[2537,3],[2538,3],[2539,3],[2540,3],[2541,3],[2542,3],[2543,3],[2544,3],[2545,3],[2546,3],[2547,3],[2548,3],[2549,3],[2550,3],[2551,3],[2552,3],[2553,3],[2554,3],[2555,3],[2556,3],[2557,3],[2558,3],[2559,3],[2560,3],[2561,3],[2562,3],[2563,3],[2564,3],[2565,3],[2566,3],[2567,3],[2568,3],[2569,3],[2570,3],[2571,3],[2572,3],[2573,3],[2574,3],[2575,3],[2576,3],[2577,3],[2578,3],[2579,3],[2580,3],[2581,3],[2582,3],[2583,3],[2584,3],[2585,3],[2586,3],[2587,3],[2588,3],[2589,3],[2590,3],[2591,3],[2592,3],[2593,3],[2594,3],[2595,3],[2596,3],[2597,3],[2598,3],[2599,3],[2600,3],[2601,3],[2602,3],[2603,3],[2604,3],[2605,3],[2606,3],[2607,3],[2608,3],[2609,3],[2610,3],[2611,3],[2612,3],[2613,3],[2614,3],[2615,3],[2616,3],[2617,3],[2618,3],[2619,3],[2620,3],[2621,3],[2622,3],[2623,3],[2624,3],[2625,3],[2626,3],[2627,3],[2628,3],[2629,3],[2630,3],[2631,3],[2632,3],[2633,3],[2634,3],[2635,3],[2636,3],[2637,3],[2638,3],[2639,3],[2640,3],[2641,3],[2642,3],[2643,3],[2644,3],[2645,3],[2646,3],[2647,3],[2648,3],[2649,3],[2650,3],[2651,3],[2652,3],[2653,3],[2654,3],[2655,3],[2656,3],[2657,3],[2658,3],[2659,3],[2660,3],[2661,3],[2662,3],[2663,3],[2664,3],[2665,3],[2666,3],[2667,3],[2668,3],[2669,3],[2670,3],[2671,3],[2672,3],[2673,3],[2674,3],[2675,3],[2676,3],[2677,3],[2678,3],[2679,3],[2680,3],[2681,3],[2682,3],[2683,3],[2684,3],[2685,3],[2686,3],[2687,3],[2688,3],[2689,3],[2690,3],[2691,3],[2692,3],[2693,3],[2694,3],[2695,3],[2696,3],[2697,3],[2698,3],[2699,3],[2700,3],[2701,3],[2702,3],[2703,3],[2704,3],[2705,3],[2706,3],[2707,3],[2708,3],[2709,3],[2710,3],[2711,3],[2712,3],[2713,3],[2714,3],[2715,3],[2716,3],[2717,3],[2718,3],[2719,3],[2720,3],[2721,3],[2722,3],[2723,3],[2724,3],[2725,3],[2726,3],[2727,3],[2728,3],[2729,3],[2730,3],[2731,3],[2732,3],[2733,3],[2734,3],[2735,3],[2736,3],[2737,3],[2738,3],[2739,3],[2740,3],[2741,3],[2742,3],[2743,3],[2744,3],[2745,3],[2746,3],[2747,3],[2748,3],[2749,3],[2750,3],[2751,3],[2752,3],[2753,3],[2754,3],[2755,3],[2756,3],[2757,3],[2758,3],[2759,3],[2760,3],[2761,3],[2762,3],[2763,3],[2764,3],[2765,3],[2766,3],[2767,3],[2768,3],[2769,3],[2770,3],[2771,3],[2772,3],[2773,3],[2774,3],[2775,3],[2776,3],[2777,3],[2778,3],[2779,3],[2780,3],[2781,3],[2782,3],[2783,3],[2784,3],[2785,3],[2786,3],[2787,3],[2788,3],[2789,3],[2790,3],[2791,3],[2792,3],[2793,3],[2794,3],[2795,3],[2796,3],[2797,3],[2798,3],[2799,3],[2800,3],[2801,3],[2802,3],[2803,3],[2804,3],[2805,3],[2806,3],[2807,3],[2808,3],[2809,3],[2810,3],[2811,3],[2812,3],[2813,3],[2814,3],[2815,3],[2816,3],[2817,3],[2818,3],[2819,3],[2820,3],[2821,3],[2822,3],[2823,3],[2824,3],[2825,3],[2826,3],[2827,3],[2828,3],[2829,3],[2830,3],[2831,3],[2832,3],[2833,3],[2834,3],[2835,3],[2836,3],[2837,3],[2838,3],[2839,3],[2840,3],[2841,3],[2842,3],[2843,3],[2844,3],[2845,3],[2846,3],[2847,3],[2848,3],[2849,3],[2850,3],[2851,3],[2852,3],[2853,3],[2854,3],[2855,3],[2856,3],[2857,3],[2858,3],[2859,3],[2860,3],[2861,3],[2862,3],[2863,3],[2864,3],[2865,3],[2866,3],[2867,3],[2868,3],[2869,3],[2870,3],[2871,3],[2872,3],[2873,3],[2874,3],[2875,3],[2876,3],[2877,3],[2878,3],[2879,3],[2880,3],[2881,3],[2882,3],[2883,3],[2884,3],[2885,3],[2886,3],[2887,3],[2888,3],[2889,3],[2890,3],[2891,3],[2892,3],[2893,3],[2894,3],[2895,3],[2896,3],[2897,3],[2898,3],[2899,3],[2900,3],[2901,3],[2902,3],[2903,3],[2904,3],[2905,3],[2906,3],[2907,3],[2908,3],[2909,3],[2910,3],[2911,3],[2912,3],[2913,3],[2914,3],[2915,3],[2916,3],[2917,3],[2918,3],[2919,3],[2920,3],[2921,3],[2922,3],[2923,3],[2924,3],[2925,3],[2926,3],[2927,3],[2928,3],[2929,3],[2930,3],[2931,3],[2932,3],[2933,3],[2934,3],[2935,3],[2936,3],[2937,3],[2938,3],[2939,3],[2940,3],[2941,3],[2942,3],[2943,3],[2944,3],[2945,3],[2946,3],[2947,3],[2948,3],[2949,3],[2950,3],[2951,3],[2952,3],[2953,3],[2954,3],[2955,3],[2956,3],[2957,3],[2958,3],[2959,3],[2960,3],[2961,3],[2962,3],[2963,3],[2964,3],[2965,3],[2966,3],[2967,3],[2968,3],[2969,3],[2970,3],[2971,3],[2972,3],[2973,3],[2974,3],[2975,3],[2976,3],[2977,3],[2978,3],[2979,3],[2980,3],[2981,3],[2982,3],[2983,3],[2984,3],[2985,3],[2986,3],[2987,3],[2988,3],[2989,3],[2990,3],[2991,3],[2992,3],[2993,3],[2994,3],[2995,3],[2996,3],[2997,3],[2998,3],[2999,3],[3000,3],[3001,3],[3002,3],[3003,3],[3004,3],[3005,3],[3006,3],[3007,3],[3008,3],[3009,3],[3010,3],[3011,3],[3012,3],[3013,3],[3014,3],[3015,3],[3016,3],[3017,3],[3018,3],[3019,3],[3020,3],[3021,3],[3022,3],[3023,3],[3024,3],[3025,3],[3026,3],[3027,3],[3028,3],[3029,3],[3030,3],[3031,3],[3032,3],[3033,3],[3034,3],[3035,3],[3036,3],[3037,3],[3038,3],[3039,3],[3040,3],[3041,3],[3042,3],[3043,3],[3044,3],[3045,3],[3046,3],[3047,3],[3048,3],[3049,3],[3050,3],[3051,3],[3052,3],[3053,3],[3054,3],[3055,3],[3056,3],[3057,3],[3058,3],[3059,3],[3060,3],[3061,3],[3062,3],[3063,3],[3064,3],[3065,3],[3066,3],[3067,3],[3068,3],[3069,3],[3070,3],[3071,3],[3072,3],[3073,3],[3074,3],[3075,3],[3076,3],[3077,3],[3078,3],[3079,3],[3080,3],[3081,3],[3082,3],[3083,3],[3084,3],[3085,3],[3086,3],[3087,3],[3088,3],[3089,3],[3090,3],[3091,3],[3092,3],[3093,3],[3094,3],[3095,3],[3096,3],[3097,3],[3098,3],[3099,3],[3100,3],[3101,3],[3102,3],[3103,3],[3104,3],[3105,3],[3106,3],[3107,3],[3108,3],[3109,3],[3110,3],[3111,3],[3112,3],[3113,3],[3114,3],[3115,3],[3116,3],[3117,3],[3118,3],[3119,3],[3120,3],[3121,3],[3122,3],[3123,3],[3124,3],[3125,3],[3126,3],[3127,3],[3128,3],[3129,3],[3130,3],[3131,3],[3132,3],[3133,3],[3134,3],[3135,3],[3136,3],[3137,3],[3138,3],[3139,3],[3140,3],[3141,3],[3142,3],[3143,3],[3144,3],[3145,3],[3146,3],[3147,3],[3148,3],[3149,3],[3150,3],[3151,3],[3152,3],[3153,3],[3154,3],[3155,3],[3156,3],[3157,3],[3158,3],[3159,3],[3160,3],[3161,3],[3162,3],[3163,3],[3164,3],[3165,3],[3166,3],[3167,3],[3168,3],[3169,3],[3170,3],[3171,3],[3172,3],[3173,3],[3174,3],[3175,3],[3176,3],[3177,3],[3178,3],[3179,3],[3180,3],[3181,3],[3182,3],[3183,3],[3184,3],[3185,3],[3186,3],[3187,3],[3188,3],[3189,3],[3190,3],[3191,3],[3192,3],[3193,3],[3194,3],[3195,3],[3196,3],[3197,3],[3198,3],[3199,3],[3200,3],[3201,3],[3202,3],[3203,3],[3204,3],[3205,3],[3206,3],[3207,3],[3208,3],[3209,3],[3210,3],[3211,3],[3212,3],[3213,3],[3214,3],[3215,3],[3216,3],[3217,3],[3218,3],[3219,3],[3220,3],[3221,3],[3222,3],[3223,3],[3224,3],[3225,3],[3226,3],[3227,3],[3228,3],[3229,3],[3230,3],[3231,3],[3232,3],[3233,3],[3234,3],[3235,3],[3236,3],[3237,3],[3238,3],[3239,3],[3240,3],[3241,3],[3242,3],[3243,3],[3244,3],[3245,3],[3246,3],[3247,3],[3248,3],[3249,3],[3250,3],[3251,3],[3252,3],[3253,3],[3254,3],[3255,3],[3256,3],[3257,3],[3258,3],[3259,3],[3260,3],[3261,3],[3262,3],[3263,3],[3264,3],[3265,3],[3266,3],[3267,3],[3268,3],[3269,3],[3270,3],[3271,3],[3272,3],[3273,3],[3274,3],[3275,3],[3276,3],[3277,3],[3278,3],[3279,3],[3280,3],[3281,3],[3282,3],[3283,3],[3284,3],[3285,3],[3286,3],[3287,3],[3288,3],[3289,3],[3290,3],[3291,3],[3292,3],[3293,3],[3294,3],[3295,3],[3296,3],[3297,3],[3298,3],[3299,3],[3300,3],[3301,3],[3302,3],[3303,3],[3304,3],[3305,3],[3306,3],[3307,3],[3308,3],[3309,3],[3310,3],[3311,3],[3312,3],[3313,3],[3314,3],[3315,3],[3316,3],[3317,3],[3318,3],[3319,3],[3320,3],[3321,3],[3322,3],[3323,3],[3324,3],[3325,3],[3326,3],[3327,3],[3328,3],[3329,3],[3330,3],[3331,3],[3332,3],[3333,3],[3334,3],[3335,3],[3336,3],[3337,3],[3338,3],[3339,3],[3340,3],[3341,3],[3342,3],[3343,3],[3344,3],[3345,3],[3346,3],[3347,3],[3348,3],[3349,3],[3350,3],[3351,3],[3352,3],[3353,3],[3354,3],[3355,3],[3356,3],[3357,3],[3358,3],[3359,3],[3360,3],[3361,3],[3362,3],[3363,3],[3364,3],[3365,3],[3366,3],[3367,3],[3368,3],[3369,3],[3370,3],[3371,3],[3372,3],[3373,3],[3374,3],[3375,3],[3376,3],[3377,3],[3378,3],[3379,3],[3380,3],[3381,3],[3382,3],[3383,3],[3384,3],[3385,3],[3386,3],[3387,3],[3388,3],[3389,3],[3390,3],[3391,3],[3392,3],[3393,3],[3394,3],[3395,3],[3396,3],[3397,3],[3398,3],[3399,3],[3400,3],[3401,3],[3402,3],[3403,3],[3404,3],[3405,3],[3406,3],[3407,3],[3408,3],[3409,3],[3410,3],[3411,3],[3412,3],[3413,3],[3414,3],[3415,3],[3416,3],[3417,3],[3418,3],[3419,3],[3420,3],[3421,3],[3422,3],[3423,3],[3424,3],[3425,3],[3426,3],[3427,3],[3428,3],[3429,3],[3430,3],[3431,3],[3432,3],[3433,3],[3434,3],[3435,3],[3436,3],[3437,3],[3438,3],[3439,3],[3440,3],[3441,3],[3442,3],[3443,3],[3444,3],[3445,3],[3446,3],[3447,3],[3448,3],[3449,3],[3450,3],[3451,3],[3452,3],[3453,3],[3454,3],[3455,3],[3456,3],[3457,3],[3458,3],[3459,3],[3460,3],[3461,3],[3462,3],[3463,3],[3464,3],[3465,3],[3466,3],[3467,3],[3468,3],[3469,3],[3470,3],[3471,3],[3472,3],[3473,3],[3474,3],[3475,3],[3476,3],[3477,3],[3478,3],[3479,3],[3480,3],[3481,3],[3482,3],[3483,3],[3484,3],[3485,3],[3486,3],[3487,3],[3488,3],[3489,3],[3490,3],[3491,3],[3492,3],[3493,3],[3494,3],[3495,3],[3496,3],[3497,3],[3498,3],[3499,3],[3500,3],[3501,3],[3502,3],[3503,3],[3504,3],[3505,3],[3506,3],[3507,3],[3508,3],[3509,3],[3510,3],[3511,3],[3512,3],[3513,3],[3514,3],[3515,3],[3516,3],[3517,3],[3518,3],[3519,3],[3520,3],[3521,3],[3522,3],[3523,3],[3524,3],[3525,3],[3526,3],[3527,3]]},"metrics":{"gamma":8.462706750670158,"gamma_t":null,"gamma_rho":null,"gamma_claim":8.462706750670158,"gamma_t_claim":null,"gamma_rho_claim":null,"v_ex":null,"rate":0.002834467120181406,"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-1130","N":16,"d":2,"d_is_exact":true,"origin":"https://github.com/shraggy/Magic_state_factory_search at ae9fbf8, outputs/large_unified_factories_l3.csv line 1130","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"}]}