[ { "r": 8, "kind": "Q_at_least_16", "weighted_by_L": [ 32281802128991715266, 34587645138205409210, 41505174165846491050, 41505174165846491050, 46116860184273878946, 46116860184273878946, 40928713413543067566, 39199331156632797108, 39199331156632797108, 40928713413543067566, 46116860184273878946, 46116860184273878946, 41505174165846491050, 41505174165846491050, 34587645138205409210, 32281802128991715266 ], "by_u": [ 516508834063867444256, 615660083460056283952, 617965926469269977896, 645636042579834305248, 627189298506124753696, 664082786653543856832, 613354240450842590024, 581072438321850874760, 571849066284996098992, 615660083460056283952, 654859414616689081064, 645636042579834305248, 590295810358705650528, 664082786653543856832, 562625694248141323176, 581072438321850874760 ], "constant": [ 85316191340906676053, 2305843009213693949 ], "u": 5 }, { "r": 9, "kind": "Q_at_least_16", "weighted_by_L": [ 39199331156632797108, 42081634918149914538, 50728546202701266838, 50728546202701266838, 55340232221128654734, 55340232221128654734, 48422703193487572894, 46116860184273878950, 46116860184273878950, 48422703193487572894, 55340232221128654734, 55340232221128654734, 50728546202701266838, 50728546202701266838, 42081634918149914538, 39199331156632797108 ], "by_u": [ 627189298506124753728, 740175605957595757096, 747093134985236838936, 783986623132655942072, 756316507022091614736, 802433367206365493656, 728646390911527287384, 700976274800962960016, 682529530727253408464, 740175605957595757096, 783986623132655942104, 783986623132655942072, 719423018874672511568, 802433367206365493656, 677917844708826020536, 700976274800962960016 ], "constant": [ 102610013910009380656, 2305843009213693949 ], "u": 5 }, { "r": 10, "kind": "Q_at_least_16", "weighted_by_L": [ 46116860184273878950, 49575624698094419866, 59951918239556042626, 59951918239556042626, 64563604257983430522, 64563604257983430522, 55916692973432078222, 53034389211914960792, 53034389211914960792, 55916692973432078222, 64563604257983430522, 64563604257983430522, 59951918239556042626, 59951918239556042626, 49575624698094419866, 46116860184273878950 ], "by_u": [ 737869762948382063200, 864691128455135230240, 876220343501203699976, 922337203685477578896, 885443715538058475776, 940783947759187130480, 843938541372211984744, 820880111280075045272, 793209995169510717936, 864691128455135230240, 913113831648622803144, 922337203685477578896, 848550227390639372608, 940783947759187130480, 793209995169510717896, 820880111280075045272 ], "constant": [ 119903836479112085259, 2305843009213693949 ], "u": 5 }, { "r": 11, "kind": "Q_at_least_16", "weighted_by_L": [ 53034389211914960792, 57069614478038925194, 69175290276410818414, 69175290276410818414, 73786976294838206310, 73786976294838206310, 63410682753376583550, 59951918239556042634, 59951918239556042634, 63410682753376583550, 73786976294838206310, 73786976294838206310, 69175290276410818414, 69175290276410818414, 57069614478038925194, 53034389211914960792 ], "by_u": [ 848550227390639372672, 989206650952674703384, 1005347552017170561016, 1060687784238299215720, 1014570924054025336816, 1079134528312008767304, 959230691832896682104, 940783947759187130528, 903890459611768027408, 989206650952674703384, 1042241040164589664184, 1060687784238299215720, 977677435906606233648, 1079134528312008767304, 908502145630195415256, 940783947759187130528 ], "constant": [ 137197659048214789862, 2305843009213693949 ], "u": 5 }, { "r": 12, "kind": "Q_at_least_16", "weighted_by_L": [ 59951918239556042634, 64563604257983430522, 78398662313265594202, 78398662313265594202, 83010348331692982098, 83010348331692982098, 70904672533321088878, 66869447267197124476, 66869447267197124476, 70904672533321088878, 83010348331692982098, 83010348331692982098, 78398662313265594202, 78398662313265594202, 64563604257983430522, 59951918239556042634 ], "by_u": [ 959230691832896682144, 1113722173450214176528, 1134474760533137422056, 1199038364791120852544, 1143698132569992197856, 1217485108864830404128, 1074522842293581379464, 1060687784238299215784, 1014570924054025336880, 1113722173450214176528, 1171368248680556525224, 1199038364791120852544, 1106804644422573094688, 1217485108864830404128, 1023794296090880112616, 1060687784238299215784 ], "constant": [ 154491481617317494465, 2305843009213693949 ], "u": 5 }, { "r": 13, "kind": "Q_at_least_16", "weighted_by_L": [ 66869447267197124476, 72057594037927935850, 87622034350120369990, 87622034350120369990, 92233720368547757886, 92233720368547757886, 78398662313265594206, 73786976294838206318, 73786976294838206318, 78398662313265594206, 92233720368547757886, 92233720368547757886, 87622034350120369990, 87622034350120369990, 72057594037927935850, 66869447267197124476 ], "by_u": [ 1069911156275153991616, 1238237695947753649672, 1263601969049104283096, 1337388945343942489368, 1272825341085959058896, 1355835689417652040952, 1189814992754266076824, 1180591620717411301040, 1125251388496282646352, 1238237695947753649672, 1300495457196523386264, 1337388945343942489368, 1235931852938539955728, 1355835689417652040952, 1139086446551564809976, 1180591620717411301040 ], "constant": [ 171785304186420199068, 2305843009213693949 ], "u": 5 }, { "r": 14, "kind": "Q_at_least_16", "weighted_by_L": [ 73786976294838206318, 79551583817872441178, 96845406386975145778, 96845406386975145778, 101457092405402533674, 101457092405402533674, 85892652093210099534, 80704505322479288160, 80704505322479288160, 85892652093210099534, 101457092405402533674, 101457092405402533674, 96845406386975145778, 96845406386975145778, 79551583817872441178, 73786976294838206318 ], "by_u": [ 1180591620717411301088, 1362753218445293122816, 1392729177565071144136, 1475739525896764126192, 1401952549601925919936, 1494186269970473677776, 1305107143214950774184, 1300495457196523386296, 1235931852938539955824, 1362753218445293122816, 1429622665712490247304, 1475739525896764126192, 1365059061454506816768, 1494186269970473677776, 1254378597012249507336, 1300495457196523386296 ], "constant": [ 189079126755522903671, 2305843009213693949 ], "u": 5 }, { "r": 15, "kind": "Q_at_least_16", "weighted_by_L": [ 80704505322479288160, 87045573597816946506, 106068778423829921566, 106068778423829921566, 110680464442257309462, 110680464442257309462, 93386641873154604862, 87622034350120370002, 87622034350120370002, 93386641873154604862, 110680464442257309462, 110680464442257309462, 106068778423829921566, 106068778423829921566, 87045573597816946506, 80704505322479288160 ], "by_u": [ 1291272085159668610560, 1487268740942832595960, 1521856386081038005176, 1614090106449585763016, 1531079758117892780976, 1632536850523295314600, 1420399293675635471544, 1420399293675635471552, 1346612317380797265296, 1487268740942832595960, 1558749874228457108344, 1614090106449585763016, 1494186269970473677808, 1632536850523295314600, 1369670747472934204696, 1420399293675635471552 ], "constant": [ 206372949324625608274, 2305843009213693949 ], "u": 5 }, { "r": 16, "kind": "Q_at_least_16", "weighted_by_L": [ 87622034350120370002, 94539563377761451834, 115292150460684697354, 115292150460684697354, 119903836479112085250, 119903836479112085250, 100880631653099110190, 94539563377761451844, 94539563377761451844, 100880631653099110190, 119903836479112085250, 119903836479112085250, 115292150460684697354, 115292150460684697354, 94539563377761451834, 87622034350120370002 ], "by_u": [ 1401952549601925920032, 1611784263440372069104, 1650983594597004866216, 1752440687002407399840, 1660206966633859642016, 1770887431076116951424, 1535691444136320168904, 1540303130154747556808, 1457292781823054574768, 1611784263440372069104, 1687877082744423969384, 1752440687002407399840, 1623313478486440538848, 1770887431076116951424, 1484962897933618902056, 1540303130154747556808 ], "constant": [ 223666771893728312877, 2305843009213693949 ], "u": 5 }, { "r": 17, "kind": "Q_at_least_16", "weighted_by_L": [ 94539563377761451844, 102033553157705957162, 124515522497539473142, 124515522497539473142, 129127208515966861038, 129127208515966861038, 108374621433043615518, 101457092405402533686, 101457092405402533686, 108374621433043615518, 129127208515966861038, 129127208515966861038, 124515522497539473142, 124515522497539473142, 102033553157705957162, 94539563377761451844 ], "by_u": [ 1512633014044183229504, 1736299785937911542248, 1780110803112971727256, 1890791267555229036664, 1789334175149826503056, 1909238011628938588248, 1650983594597004866264, 1660206966633859642064, 1567973246265311884240, 1736299785937911542248, 1817004291260390830424, 1890791267555229036664, 1752440687002407399888, 1909238011628938588248, 1600255048394303599416, 1660206966633859642064 ], "constant": [ 240960594462831017480, 2305843009213693949 ], "u": 5 }, { "r": 18, "kind": "Q_at_least_16", "weighted_by_L": [ 101457092405402533686, 109527542937650462490, 133738894534394248930, 133738894534394248930, 138350580552821636826, 138350580552821636826, 115868611212988120846, 108374621433043615528, 108374621433043615528, 115868611212988120846, 138350580552821636826, 138350580552821636826, 133738894534394248930, 133738894534394248930, 109527542937650462490, 101457092405402533686 ], "by_u": [ 1623313478486440538976, 1860815308435451015392, 1909238011628938588296, 2029141848108050673488, 1918461383665793364096, 2047588592181760225072, 1766275745057689563624, 1780110803112971727320, 1678653710707569193712, 1860815308435451015392, 1946131499776357691464, 2029141848108050673488, 1881567895518374260928, 2047588592181760225072, 1715547198854988296776, 1780110803112971727320 ], "constant": [ 258254417031933722083, 2305843009213693949 ], "u": 5 }, { "r": 19, "kind": "Q_at_least_16", "weighted_by_L": [ 108374621433043615528, 117021532717594967818, 142962266571249024718, 142962266571249024718, 147573952589676412614, 147573952589676412614, 123362600992932626174, 115292150460684697370, 115292150460684697370, 123362600992932626174, 147573952589676412614, 147573952589676412614, 142962266571249024718, 142962266571249024718, 117021532717594967818, 108374621433043615528 ], "by_u": [ 1733993942928697848448, 1985330830932990488536, 2038365220144905449336, 2167492428660872310312, 2047588592181760225136, 2185939172734581861896, 1881567895518374260984, 1900014639592083812576, 1789334175149826503184, 1985330830932990488536, 2075258708292324552504, 2167492428660872310312, 2010695104034341121968, 2185939172734581861896, 1830839349315672994136, 1900014639592083812576 ], "constant": [ 275548239601036426686, 2305843009213693949 ], "u": 5 }, { "r": 20, "kind": "Q_at_least_16", "weighted_by_L": [ 115292150460684697370, 124515522497539473146, 152185638608103800506, 152185638608103800506, 156797324626531188402, 156797324626531188402, 130856590772877131502, 122209679488325779212, 122209679488325779212, 130856590772877131502, 156797324626531188402, 156797324626531188402, 152185638608103800506, 152185638608103800506, 124515522497539473146, 115292150460684697370 ], "by_u": [ 1844674407370955157920, 2109846353430529961680, 2167492428660872310376, 2305843009213693947136, 2176715800697727086176, 2324289753287403498720, 1996860045979058958344, 2019918476071195897832, 1900014639592083812656, 2109846353430529961680, 2204385916808291413544, 2305843009213693947136, 2139822312550307983008, 2324289753287403498720, 1946131499776357691496, 2019918476071195897832 ], "constant": [ 292842062170139131289, 2305843009213693949 ], "u": 5 }, { "r": 21, "kind": "Q_at_least_16", "weighted_by_L": [ 122209679488325779212, 132009512277483978474, 161409010644958576294, 161409010644958576294, 166020696663385964190, 166020696663385964190, 138350580552821636830, 129127208515966861054, 129127208515966861054, 138350580552821636830, 166020696663385964190, 166020696663385964190, 161409010644958576294, 161409010644958576294, 132009512277483978474, 122209679488325779212 ], "by_u": [ 1955354871813212467392, 2234361875928069434824, 2296619637176839171416, 2444193589766515583960, 2305843009213693947216, 2462640333840225135544, 2112152196439743655704, 2139822312550307983088, 2010695104034341122128, 2234361875928069434824, 2333513125324258274584, 2444193589766515583960, 2268949521066274844048, 2462640333840225135544, 2061423650237042388856, 2139822312550307983088 ], "constant": [ 310135884739241835892, 2305843009213693949 ], "u": 5 }, { "r": 22, "kind": "Q_at_least_16", "weighted_by_L": [ 129127208515966861054, 139503502057428483802, 170632382681813352082, 170632382681813352082, 175244068700240739978, 175244068700240739978, 145844570332766142158, 136044737543607942896, 136044737543607942896, 145844570332766142158, 175244068700240739978, 175244068700240739978, 170632382681813352082, 170632382681813352082, 139503502057428483802, 129127208515966861054 ], "by_u": [ 2066035336255469776864, 2358877398425608907968, 2425746845692806032456, 2582544170319337220784, 2434970217729660808256, 2600990914393046772368, 2227444346900428353064, 2259726149029420068344, 2121375568476598431600, 2358877398425608907968, 2462640333840225135624, 2582544170319337220784, 2398076729582241705088, 2600990914393046772368, 2176715800697727086216, 2259726149029420068344 ], "constant": [ 327429707308344540495, 2305843009213693949 ], "u": 5 }, { "r": 23, "kind": "Q_at_least_16", "weighted_by_L": [ 136044737543607942896, 146997491837372989130, 179855754718668127870, 179855754718668127870, 184467440737095515766, 184467440737095515766, 153338560112710647486, 142962266571249024738, 142962266571249024738, 153338560112710647486, 184467440737095515766, 184467440737095515766, 179855754718668127870, 179855754718668127870, 146997491837372989130, 136044737543607942896 ], "by_u": [ 2176715800697727086336, 2483392920923148381112, 2554874054208772893496, 2720894750872158857608, 2564097426245627669296, 2739341494945868409192, 2342736497361113050424, 2379629985508532153600, 2232056032918855741072, 2483392920923148381112, 2591767542356191996664, 2720894750872158857608, 2527203938098208566128, 2739341494945868409192, 2292007951158411783576, 2379629985508532153600 ], "constant": [ 344723529877447245098, 2305843009213693949 ], "u": 5 }, { "r": 24, "kind": "Q_at_least_16", "weighted_by_L": [ 142962266571249024738, 154491481617317494458, 189079126755522903658, 189079126755522903658, 193690812773950291554, 193690812773950291554, 160832549892655152814, 149879795598890106580, 149879795598890106580, 160832549892655152814, 193690812773950291554, 193690812773950291554, 189079126755522903658, 189079126755522903658, 154491481617317494458, 142962266571249024738 ], "by_u": [ 2287396265139984395808, 2607908443420687854256, 2684001262724739754536, 2859245331424980494432, 2693224634761594530336, 2877692075498690046016, 2458028647821797747784, 2499533821987644238856, 2342736497361113050544, 2607908443420687854256, 2720894750872158857704, 2859245331424980494432, 2656331146614175427168, 2877692075498690046016, 2407300101619096480936, 2499533821987644238856 ], "constant": [ 362017352446549949701, 2305843009213693949 ], "u": 5 }, { "r": 25, "kind": "Q_at_least_16", "weighted_by_L": [ 149879795598890106580, 161985471397261999786, 198302498792377679446, 198302498792377679446, 202914184810805067342, 202914184810805067342, 168326539672599658142, 156797324626531188422, 156797324626531188422, 168326539672599658142, 202914184810805067342, 202914184810805067342, 198302498792377679446, 198302498792377679446, 161985471397261999786, 149879795598890106580 ], "by_u": [ 2398076729582241705280, 2732423965918227327400, 2813128471240706615576, 2997595911977802131256, 2822351843277561391376, 3016042656051511682840, 2573320798282482445144, 2619437658466756324112, 2453416961803370360016, 2732423965918227327400, 2850021959388125718744, 2997595911977802131256, 2785458355130142288208, 3016042656051511682840, 2522592252079781178296, 2619437658466756324112 ], "constant": [ 379311175015652654304, 2305843009213693949 ], "u": 5 }, { "r": 26, "kind": "Q_at_least_16", "weighted_by_L": [ 156797324626531188422, 169479461177206505114, 207525870829232455234, 207525870829232455234, 212137556847659843130, 212137556847659843130, 175820529452544163470, 163714853654172270264, 163714853654172270264, 175820529452544163470, 212137556847659843130, 212137556847659843130, 207525870829232455234, 207525870829232455234, 169479461177206505114, 156797324626531188422 ], "by_u": [ 2508757194024499014752, 2856939488415766800544, 2942255679756673476616, 3135946492530623768080, 2951479051793528252416, 3154393236604333319664, 2688612948743167142504, 2739341494945868409368, 2564097426245627669488, 2856939488415766800544, 2979149167904092579784, 3135946492530623768080, 2914585563646109149248, 3154393236604333319664, 2637884402540465875656, 2739341494945868409368 ], "constant": [ 396604997584755358907, 2305843009213693949 ], "u": 5 }, { "r": 27, "kind": "Q_at_least_16", "weighted_by_L": [ 163714853654172270264, 176973450957151010442, 216749242866087231022, 216749242866087231022, 221360928884514618918, 221360928884514618918, 183314519232488668798, 170632382681813352106, 170632382681813352106, 183314519232488668798, 221360928884514618918, 221360928884514618918, 216749242866087231022, 216749242866087231022, 176973450957151010442, 163714853654172270264 ], "by_u": [ 2619437658466756324224, 2981455010913306273688, 3071382888272640337656, 3274297073083445404904, 3080606260309495113456, 3292743817157154956488, 2803905099203851839864, 2859245331424980494624, 2674777890687884978960, 2981455010913306273688, 3108276376420059440824, 3274297073083445404904, 3043712772162076010288, 3292743817157154956488, 2753176553001150573016, 2859245331424980494624 ], "constant": [ 413898820153858063510, 2305843009213693949 ], "u": 5 }, { "r": 28, "kind": "Q_at_least_16", "weighted_by_L": [ 170632382681813352106, 184467440737095515770, 225972614902942006810, 225972614902942006810, 230584300921369394706, 230584300921369394706, 190808509012433174126, 177549911709454433948, 177549911709454433948, 190808509012433174126, 230584300921369394706, 230584300921369394706, 225972614902942006810, 225972614902942006810, 184467440737095515770, 170632382681813352106 ], "by_u": [ 2730118122909013633696, 3105970533410845746832, 3200510096788607198696, 3412647653636267041728, 3209733468825461974496, 3431094397709976593312, 2919197249664536537224, 2979149167904092579880, 2785458355130142288432, 3105970533410845746832, 3237403584936026301864, 3412647653636267041728, 3172839980678042871328, 3431094397709976593312, 2868468703461835270376, 2979149167904092579880 ], "constant": [ 431192642722960768113, 2305843009213693949 ], "u": 5 }, { "r": 29, "kind": "Q_at_least_16", "weighted_by_L": [ 177549911709454433948, 191961430517040021098, 235195986939796782598, 235195986939796782598, 239807672958224170494, 239807672958224170494, 198302498792377679454, 184467440737095515790, 184467440737095515790, 198302498792377679454, 239807672958224170494, 239807672958224170494, 235195986939796782598, 235195986939796782598, 191961430517040021098, 177549911709454433948 ], "by_u": [ 2840798587351270943168, 3230486055908385219976, 3329637305304574059736, 3550998234189088678552, 3338860677341428835536, 3569444978262798230136, 3034489400125221234584, 3099053004383204665136, 2896138819572399597904, 3230486055908385219976, 3366530793451993162904, 3550998234189088678552, 3301967189194009732368, 3569444978262798230136, 2983760853922519967736, 3099053004383204665136 ], "constant": [ 448486465292063472716, 2305843009213693949 ], "u": 5 }, { "r": 30, "kind": "Q_at_least_16", "weighted_by_L": [ 184467440737095515790, 199455420296984526426, 244419358976651558386, 244419358976651558386, 249031044995078946282, 249031044995078946282, 205796488572322184782, 191384969764736597632, 191384969764736597632, 205796488572322184782, 249031044995078946282, 249031044995078946282, 244419358976651558386, 244419358976651558386, 199455420296984526426, 184467440737095515790 ], "by_u": [ 2951479051793528252640, 3355001578405924693120, 3458764513820540920776, 3689348814741910315376, 3467987885857395696576, 3707795558815619866960, 3149781550585905931944, 3218956840862316750392, 3006819284014656907376, 3355001578405924693120, 3495658001967960023944, 3689348814741910315376, 3431094397709976593408, 3707795558815619866960, 3099053004383204665096, 3218956840862316750392 ], "constant": [ 465780287861166177319, 2305843009213693949 ], "u": 5 }, { "r": 31, "kind": "Q_at_least_16", "weighted_by_L": [ 191384969764736597632, 206949410076929031754, 253642731013506334174, 253642731013506334174, 258254417031933722070, 258254417031933722070, 213290478352266690110, 198302498792377679474, 198302498792377679474, 213290478352266690110, 258254417031933722070, 258254417031933722070, 253642731013506334174, 253642731013506334174, 206949410076929031754, 191384969764736597632 ], "by_u": [ 3062159516235785562112, 3479517100903464166264, 3587891722336507781816, 3827699395294731952200, 3597115094373362557616, 3846146139368441503784, 3265073701046590629304, 3338860677341428835648, 3117499748456914216848, 3479517100903464166264, 3624785210483926884984, 3827699395294731952200, 3560221606225943454448, 3846146139368441503784, 3214345154843889362456, 3338860677341428835648 ], "constant": [ 483074110430268881922, 2305843009213693949 ], "u": 5 }, { "r": 32, "kind": "Q_at_least_16", "weighted_by_L": [ 198302498792377679474, 214443399856873537082, 262866103050361109962, 262866103050361109962, 267477789068788497858, 267477789068788497858, 220784468132211195438, 205220027820018761316, 205220027820018761316, 220784468132211195438, 267477789068788497858, 267477789068788497858, 262866103050361109962, 262866103050361109962, 214443399856873537082, 198302498792377679474 ], "by_u": [ 3172839980678042871584, 3604032623401003639408, 3717018930852474642856, 3966049975847553589024, 3726242302889329418656, 3984496719921263140608, 3380365851507275326664, 3458764513820540920904, 3228180212899171526320, 3604032623401003639408, 3753912418999893746024, 3966049975847553589024, 3689348814741910315488, 3984496719921263140608, 3329637305304574059816, 3458764513820540920904 ], "constant": [ 500367932999371586525, 2305843009213693949 ], "u": 5 }, { "r": 33, "kind": "Q_at_least_16", "weighted_by_L": [ 205220027820018761316, 221937389636818042410, 272089475087215885750, 272089475087215885750, 276701161105643273646, 276701161105643273646, 228278457912155700766, 212137556847659843158, 212137556847659843158, 228278457912155700766, 276701161105643273646, 276701161105643273646, 272089475087215885750, 272089475087215885750, 221937389636818042410, 205220027820018761316 ], "by_u": [ 3283520445120300181056, 3728548145898543112552, 3846146139368441503896, 4104400556400375225848, 3855369511405296279696, 4122847300474084777432, 3495658001967960024024, 3578668350299653006160, 3338860677341428835792, 3728548145898543112552, 3883039627515860607064, 4104400556400375225848, 3818476023257877176528, 4122847300474084777432, 3444929455765258757176, 3578668350299653006160 ], "constant": [ 517661755568474291128, 2305843009213693949 ], "u": 5 }, { "r": 34, "kind": "Q_at_least_16", "weighted_by_L": [ 212137556847659843158, 229431379416762547738, 281312847124070661538, 281312847124070661538, 285924533142498049434, 285924533142498049434, 235772447692100206094, 219055085875300925000, 219055085875300925000, 235772447692100206094, 285924533142498049434, 285924533142498049434, 281312847124070661538, 281312847124070661538, 229431379416762547738, 212137556847659843158 ], "by_u": [ 3394200909562557490528, 3853063668396082585696, 3975273347884408364936, 4242751136953196862672, 3984496719921263140736, 4261197881026906414256, 3610950152428644721384, 3698572186778765091416, 3449541141783686145264, 3853063668396082585696, 4012166836031827468104, 4242751136953196862672, 3947603231773844037568, 4261197881026906414256, 3560221606225943454536, 3698572186778765091416 ], "constant": [ 534955578137576995731, 2305843009213693949 ], "u": 5 }, { "r": 35, "kind": "Q_at_least_16", "weighted_by_L": [ 219055085875300925000, 236925369196707053066, 290536219160925437326, 290536219160925437326, 295147905179352825222, 295147905179352825222, 243266437472044711422, 225972614902942006842, 225972614902942006842, 243266437472044711422, 295147905179352825222, 295147905179352825222, 290536219160925437326, 290536219160925437326, 236925369196707053066, 219055085875300925000 ], "by_u": [ 3504881374004814800000, 3977579190893622058840, 4104400556400375225976, 4381101717506018499496, 4113623928437230001776, 4399548461579728051080, 3726242302889329418744, 3818476023257877176672, 3560221606225943454736, 3977579190893622058840, 4141294044547794329144, 4381101717506018499496, 4076730440289810898608, 4399548461579728051080, 3675513756686628151896, 3818476023257877176672 ], "constant": [ 552249400706679700334, 2305843009213693949 ], "u": 5 }, { "r": 36, "kind": "Q_at_least_16", "weighted_by_L": [ 225972614902942006842, 244419358976651558394, 299759591197780213114, 299759591197780213114, 304371277216207601010, 304371277216207601010, 250760427251989216750, 232890143930583088684, 232890143930583088684, 250760427251989216750, 304371277216207601010, 304371277216207601010, 299759591197780213114, 299759591197780213114, 244419358976651558394, 225972614902942006842 ], "by_u": [ 3615561838447072109472, 4102094713391161531984, 4233527764916342087016, 4519452298058840136320, 4242751136953196862816, 4537899042132549687904, 3841534453350014116104, 3938379859736989261928, 3670902070668200764208, 4102094713391161531984, 4270421253063761190184, 4519452298058840136320, 4205857648805777759648, 4537899042132549687904, 3790805907147312849256, 3938379859736989261928 ], "constant": [ 569543223275782404937, 2305843009213693949 ], "u": 5 }, { "r": 37, "kind": "Q_at_least_16", "weighted_by_L": [ 232890143930583088684, 251913348756596063722, 308982963234634988902, 308982963234634988902, 313594649253062376798, 313594649253062376798, 258254417031933722078, 239807672958224170526, 239807672958224170526, 258254417031933722078, 313594649253062376798, 313594649253062376798, 308982963234634988902, 308982963234634988902, 251913348756596063722, 232890143930583088684 ], "by_u": [ 3726242302889329418944, 4226610235888701005128, 4362654973432308948056, 4657802878611661773144, 4371878345469163723856, 4676249622685371324728, 3956826603810698813464, 4058283696216101347184, 3781582535110458073680, 4226610235888701005128, 4399548461579728051224, 4657802878611661773144, 4334984857321744620688, 4676249622685371324728, 3906098057607997546616, 4058283696216101347184 ], "constant": [ 586837045844885109540, 2305843009213693949 ], "u": 5 }, { "r": 38, "kind": "Q_at_least_16", "weighted_by_L": [ 239807672958224170526, 259407338536540569050, 318206335271489764690, 318206335271489764690, 322818021289917152586, 322818021289917152586, 265748406811878227406, 246725201985865252368, 246725201985865252368, 265748406811878227406, 322818021289917152586, 322818021289917152586, 318206335271489764690, 318206335271489764690, 259407338536540569050, 239807672958224170526 ], "by_u": [ 3836922767331586728416, 4351125758386240478272, 4491782181948275809096, 4796153459164483409968, 4501005553985130584896, 4814600203238192961552, 4072118754271383510824, 4178187532695213432440, 3892262999552715383152, 4351125758386240478272, 4528675670095694912264, 4796153459164483409968, 4464112065837711481728, 4814600203238192961552, 4021390208068682243976, 4178187532695213432440 ], "constant": [ 604130868413987814143, 2305843009213693949 ], "u": 5 }, { "r": 39, "kind": "Q_at_least_16", "weighted_by_L": [ 246725201985865252368, 266901328316485074378, 327429707308344540478, 327429707308344540478, 332041393326771928374, 332041393326771928374, 273242396591822732734, 253642731013506334210, 253642731013506334210, 273242396591822732734, 332041393326771928374, 332041393326771928374, 327429707308344540478, 327429707308344540478, 266901328316485074378, 246725201985865252368 ], "by_u": [ 3947603231773844037888, 4475641280883779951416, 4620909390464242670136, 4934504039717305046792, 4630132762501097445936, 4952950783791014598376, 4187410904732068208184, 4298091369174325517696, 4002943463994972692624, 4475641280883779951416, 4657802878611661773304, 4934504039717305046792, 4593239274353678342768, 4952950783791014598376, 4136682358529366941336, 4298091369174325517696 ], "constant": [ 621424690983090518746, 2305843009213693949 ], "u": 5 }, { "r": 40, "kind": "Q_at_least_16", "weighted_by_L": [ 253642731013506334210, 274395318096429579706, 336653079345199316266, 336653079345199316266, 341264765363626704162, 341264765363626704162, 280736386371767238062, 260560260041147416052, 260560260041147416052, 280736386371767238062, 341264765363626704162, 341264765363626704162, 336653079345199316266, 336653079345199316266, 274395318096429579706, 253642731013506334210 ], "by_u": [ 4058283696216101347360, 4600156803381319424560, 4750036598980209531176, 5072854620270126683616, 4759259971017064306976, 5091301364343836235200, 4302703055192752905544, 4417995205653437602952, 4113623928437230002096, 4600156803381319424560, 4786930087127628634344, 5072854620270126683616, 4722366482869645203808, 5091301364343836235200, 4251974508990051638696, 4417995205653437602952 ], "constant": [ 638718513552193223349, 2305843009213693949 ], "u": 5 }, { "r": 41, "kind": "Q_at_least_16", "weighted_by_L": [ 260560260041147416052, 281889307876374085034, 345876451382054092054, 345876451382054092054, 350488137400481479950, 350488137400481479950, 288230376151711743390, 267477789068788497894, 267477789068788497894, 288230376151711743390, 350488137400481479950, 350488137400481479950, 345876451382054092054, 345876451382054092054, 281889307876374085034, 260560260041147416052 ], "by_u": [ 4168964160658358656832, 4724672325878858897704, 4879163807496176392216, 5211205200822948320440, 4888387179533031168016, 5229651944896657872024, 4417995205653437602904, 4537899042132549688208, 4224304392879487311568, 4724672325878858897704, 4916057295643595495384, 5211205200822948320440, 4851493691385612064848, 5229651944896657872024, 4367266659450736336056, 4537899042132549688208 ], "constant": [ 656012336121295927952, 2305843009213693949 ], "u": 5 }, { "r": 42, "kind": "Q_at_least_16", "weighted_by_L": [ 267477789068788497894, 289383297656318590362, 355099823418908867842, 355099823418908867842, 359711509437336255738, 359711509437336255738, 295724365931656248718, 274395318096429579736, 274395318096429579736, 295724365931656248718, 359711509437336255738, 359711509437336255738, 355099823418908867842, 355099823418908867842, 289383297656318590362, 267477789068788497894 ], "by_u": [ 4279644625100615966304, 4849187848376398370848, 5008291016012143253256, 5349555781375769957264, 5017514388048998029056, 5368002525449479508848, 4533287356114122300264, 4657802878611661773464, 4334984857321744621040, 4849187848376398370848, 5045184504159562356424, 5349555781375769957264, 4980620899901578925888, 5368002525449479508848, 4482558809911421033416, 4657802878611661773464 ], "constant": [ 673306158690398632555, 2305843009213693949 ], "u": 5 }, { "r": 43, "kind": "Q_at_least_16", "weighted_by_L": [ 274395318096429579736, 296877287436263095690, 364323195455763643630, 364323195455763643630, 368934881474191031526, 368934881474191031526, 303218355711600754046, 281312847124070661578, 281312847124070661578, 303218355711600754046, 368934881474191031526, 368934881474191031526, 364323195455763643630, 364323195455763643630, 296877287436263095690, 274395318096429579736 ], "by_u": [ 4390325089542873275776, 4973703370873937843992, 5137418224528110114296, 5487906361928591594088, 5146641596564964890096, 5506353106002301145672, 4648579506574806997624, 4777706715090773858720, 4445665321764001930512, 4973703370873937843992, 5174311712675529217464, 5487906361928591594088, 5109748108417545786928, 5506353106002301145672, 4597850960372105730776, 4777706715090773858720 ], "constant": [ 690599981259501337158, 2305843009213693949 ], "u": 5 }, { "r": 44, "kind": "Q_at_least_16", "weighted_by_L": [ 281312847124070661578, 304371277216207601018, 373546567492618419418, 373546567492618419418, 378158253511045807314, 378158253511045807314, 310712345491545259374, 288230376151711743420, 288230376151711743420, 310712345491545259374, 378158253511045807314, 378158253511045807314, 373546567492618419418, 373546567492618419418, 304371277216207601018, 281312847124070661578 ], "by_u": [ 4501005553985130585248, 5098218893371477317136, 5266545433044076975336, 5626256942481413230912, 5275768805080931751136, 5644703686555122782496, 4763871657035491694984, 4897610551569885943976, 4556345786206259239984, 5098218893371477317136, 5303438921191496078504, 5626256942481413230912, 5238875316933512647968, 5644703686555122782496, 4713143110832790428136, 4897610551569885943976 ], "constant": [ 707893803828604041761, 2305843009213693949 ], "u": 5 }, { "r": 45, "kind": "Q_at_least_16", "weighted_by_L": [ 288230376151711743420, 311865266996152106346, 382769939529473195206, 382769939529473195206, 387381625547900583102, 387381625547900583102, 318206335271489764702, 295147905179352825262, 295147905179352825262, 318206335271489764702, 387381625547900583102, 387381625547900583102, 382769939529473195206, 382769939529473195206, 311865266996152106346, 288230376151711743420 ], "by_u": [ 4611686018427387894720, 5222734415869016790280, 5395672641560043836376, 5764607523034234867736, 5404896013596898612176, 5783054267107944419320, 4879163807496176392344, 5017514388048998029232, 4667026250648516549456, 5222734415869016790280, 5432566129707462939544, 5764607523034234867736, 5368002525449479509008, 5783054267107944419320, 4828435261293475125496, 5017514388048998029232 ], "constant": [ 725187626397706746364, 2305843009213693949 ], "u": 5 }, { "r": 46, "kind": "Q_at_least_16", "weighted_by_L": [ 295147905179352825262, 319359256776096611674, 391993311566327970994, 391993311566327970994, 396604997584755358890, 396604997584755358890, 325700325051434270030, 302065434206993907104, 302065434206993907104, 325700325051434270030, 396604997584755358890, 396604997584755358890, 391993311566327970994, 391993311566327970994, 319359256776096611674, 295147905179352825262 ], "by_u": [ 4722366482869645204192, 5347249938366556263424, 5524799850076010697416, 5902958103587056504560, 5534023222112865473216, 5921404847660766056144, 4994455957956861089704, 5137418224528110114488, 4777706715090773858928, 5347249938366556263424, 5561693338223429800584, 5902958103587056504560, 5497129733965446370048, 5921404847660766056144, 4943727411754159822856, 5137418224528110114488 ], "constant": [ 742481448966809450967, 2305843009213693949 ], "u": 5 }, { "r": 47, "kind": "Q_at_least_16", "weighted_by_L": [ 302065434206993907104, 326853246556041117002, 401216683603182746782, 401216683603182746782, 405828369621610134678, 405828369621610134678, 333194314831378775358, 308982963234634988946, 308982963234634988946, 333194314831378775358, 405828369621610134678, 405828369621610134678, 401216683603182746782, 401216683603182746782, 326853246556041117002, 302065434206993907104 ], "by_u": [ 4833046947311902513664, 5471765460864095736568, 5653927058591977558456, 6041308684139878141384, 5663150430628832334256, 6059755428213587692968, 5109748108417545787064, 5257322061007222199744, 4888387179533031168400, 5471765460864095736568, 5690820546739396661624, 6041308684139878141384, 5626256942481413231088, 6059755428213587692968, 5059019562214844520216, 5257322061007222199744 ], "constant": [ 759775271535912155570, 2305843009213693949 ], "u": 5 }, { "r": 48, "kind": "Q_at_least_16", "weighted_by_L": [ 308982963234634988946, 334347236335985622330, 410440055640037522570, 410440055640037522570, 415051741658464910466, 415051741658464910466, 340688304611323280686, 315900492262276070788, 315900492262276070788, 340688304611323280686, 415051741658464910466, 415051741658464910466, 410440055640037522570, 410440055640037522570, 334347236335985622330, 308982963234634988946 ], "by_u": [ 4943727411754159823136, 5596280983361635209712, 5783054267107944419496, 6179659264692699778208, 5792277639144799195296, 6198106008766409329792, 5225040258878230484424, 5377225897486334285000, 4999067643975288477872, 5596280983361635209712, 5819947755255363522664, 6179659264692699778208, 5755384150997380092128, 6198106008766409329792, 5174311712675529217576, 5377225897486334285000 ], "constant": [ 777069094105014860173, 2305843009213693949 ], "u": 5 }, { "r": 49, "kind": "Q_at_least_16", "weighted_by_L": [ 315900492262276070788, 341841226115930127658, 419663427676892298358, 419663427676892298358, 424275113695319686254, 424275113695319686254, 348182294391267786014, 322818021289917152630, 322818021289917152630, 348182294391267786014, 424275113695319686254, 424275113695319686254, 419663427676892298358, 419663427676892298358, 341841226115930127658, 315900492262276070788 ], "by_u": [ 5054407876196417132608, 5720796505859174682856, 5912181475623911280536, 6318009845245521415032, 5921404847660766056336, 6336456589319230966616, 5340332409338915181784, 5497129733965446370256, 5109748108417545787344, 5720796505859174682856, 5949074963771330383704, 6318009845245521415032, 5884511359513346953168, 6336456589319230966616, 5289603863136213914936, 5497129733965446370256 ], "constant": [ 794362916674117564776, 2305843009213693949 ], "u": 5 }, { "r": 50, "kind": "Q_at_least_16", "weighted_by_L": [ 322818021289917152630, 349335215895874632986, 428886799713747074146, 428886799713747074146, 433498485732174462042, 433498485732174462042, 355676284171212291342, 329735550317558234472, 329735550317558234472, 355676284171212291342, 433498485732174462042, 433498485732174462042, 428886799713747074146, 428886799713747074146, 349335215895874632986, 322818021289917152630 ], "by_u": [ 5165088340638674442080, 5845312028356714156000, 6041308684139878141576, 6456360425798343051856, 6050532056176732917376, 6474807169872052603440, 5455624559799599879144, 5617033570444558455512, 5220428572859803096816, 5845312028356714156000, 6078202172287297244744, 6456360425798343051856, 6013638568029313814208, 6474807169872052603440, 5404896013596898612296, 5617033570444558455512 ], "constant": [ 811656739243220269379, 2305843009213693949 ], "u": 5 }, { "r": 51, "kind": "Q_at_least_16", "weighted_by_L": [ 329735550317558234472, 356829205675819138314, 438110171750601849934, 438110171750601849934, 442721857769029237830, 442721857769029237830, 363170273951156796670, 336653079345199316314, 336653079345199316314, 363170273951156796670, 442721857769029237830, 442721857769029237830, 438110171750601849934, 438110171750601849934, 356829205675819138314, 329735550317558234472 ], "by_u": [ 5275768805080931751552, 5969827550854253629144, 6170435892655845002616, 6594711006351164688680, 6179659264692699778416, 6613157750424874240264, 5570916710260284576504, 5736937406923670540768, 5331109037302060406288, 5969827550854253629144, 6207329380803264105784, 6594711006351164688680, 6142765776545280675248, 6613157750424874240264, 5520188164057583309656, 5736937406923670540768 ], "constant": [ 828950561812322973982, 2305843009213693949 ], "u": 5 }, { "r": 52, "kind": "Q_at_least_16", "weighted_by_L": [ 336653079345199316314, 364323195455763643642, 447333543787456625722, 447333543787456625722, 451945229805884013618, 451945229805884013618, 370664263731101301998, 343570608372840398156, 343570608372840398156, 370664263731101301998, 451945229805884013618, 451945229805884013618, 447333543787456625722, 447333543787456625722, 364323195455763643642, 336653079345199316314 ], "by_u": [ 5386449269523189061024, 6094343073351793102288, 6299563101171811863656, 6733061586903986325504, 6308786473208666639456, 6751508330977695877088, 5686208860720969273864, 5856841243402782626024, 5441789501744317715760, 6094343073351793102288, 6336456589319230966824, 6733061586903986325504, 6271892985061247536288, 6751508330977695877088, 5635480314518268007016, 5856841243402782626024 ], "constant": [ 846244384381425678585, 2305843009213693949 ], "u": 5 }, { "r": 53, "kind": "Q_at_least_16", "weighted_by_L": [ 343570608372840398156, 371817185235708148970, 456556915824311401510, 456556915824311401510, 461168601842738789406, 461168601842738789406, 378158253511045807326, 350488137400481479998, 350488137400481479998, 378158253511045807326, 461168601842738789406, 461168601842738789406, 456556915824311401510, 456556915824311401510, 371817185235708148970, 343570608372840398156 ], "by_u": [ 5497129733965446370496, 6218858595849332575432, 6428690309687778724696, 6871412167456807962328, 6437913681724633500496, 6889858911530517513912, 5801501011181653971224, 5976745079881894711280, 5552469966186575025232, 6218858595849332575432, 6465583797835197827864, 6871412167456807962328, 6401020193577214397328, 6889858911530517513912, 5750772464978952704376, 5976745079881894711280 ], "constant": [ 863538206950528383188, 2305843009213693949 ], "u": 5 }, { "r": 54, "kind": "Q_at_least_16", "weighted_by_L": [ 350488137400481479998, 379311175015652654298, 465780287861166177298, 465780287861166177298, 470391973879593565194, 470391973879593565194, 385652243290990312654, 357405666428122561840, 357405666428122561840, 385652243290990312654, 470391973879593565194, 470391973879593565194, 465780287861166177298, 465780287861166177298, 379311175015652654298, 350488137400481479998 ], "by_u": [ 5607810198407703679968, 6343374118346872048576, 6557817518203745585736, 7009762748009629599152, 6567040890240600361536, 7028209492083339150736, 5916793161642338668584, 6096648916361006796536, 5663150430628832334704, 6343374118346872048576, 6594711006351164688904, 7009762748009629599152, 6530147402093181258368, 7028209492083339150736, 5866064615439637401736, 6096648916361006796536 ], "constant": [ 880832029519631087791, 2305843009213693949 ], "u": 5 }, { "r": 55, "kind": "Q_at_least_16", "weighted_by_L": [ 357405666428122561840, 386805164795597159626, 475003659898020953086, 475003659898020953086, 479615345916448340982, 479615345916448340982, 393146233070934817982, 364323195455763643682, 364323195455763643682, 393146233070934817982, 479615345916448340982, 479615345916448340982, 475003659898020953086, 475003659898020953086, 386805164795597159626, 357405666428122561840 ], "by_u": [ 5718490662849960989440, 6467889640844411521720, 6686944726719712446776, 7148113328562451235976, 6696168098756567222576, 7166560072636160787560, 6032085312103023365944, 6216552752840118881792, 5773830895071089644176, 6467889640844411521720, 6723838214867131549944, 7148113328562451235976, 6659274610609148119408, 7166560072636160787560, 5981356765900322099096, 6216552752840118881792 ], "constant": [ 898125852088733792394, 2305843009213693949 ], "u": 5 }, { "r": 56, "kind": "Q_at_least_16", "weighted_by_L": [ 364323195455763643682, 394299154575541664954, 484227031934875728874, 484227031934875728874, 488838717953303116770, 488838717953303116770, 400640222850879323310, 371240724483404725524, 371240724483404725524, 400640222850879323310, 488838717953303116770, 488838717953303116770, 484227031934875728874, 484227031934875728874, 394299154575541664954, 364323195455763643682 ], "by_u": [ 5829171127292218298912, 6592405163341950994864, 6816071935235679307816, 7286463909115272872800, 6825295307272534083616, 7304910653188982424384, 6147377462563708063304, 6336456589319230967048, 5884511359513346953648, 6592405163341950994864, 6852965423383098410984, 7286463909115272872800, 6788401819125114980448, 7304910653188982424384, 6096648916361006796456, 6336456589319230967048 ], "constant": [ 915419674657836496997, 2305843009213693949 ], "u": 5 }, { "r": 57, "kind": "Q_at_least_16", "weighted_by_L": [ 371240724483404725524, 401793144355486170282, 493450403971730504662, 493450403971730504662, 498062089990157892558, 498062089990157892558, 408134212630823828638, 378158253511045807366, 378158253511045807366, 408134212630823828638, 498062089990157892558, 498062089990157892558, 493450403971730504662, 493450403971730504662, 401793144355486170282, 371240724483404725524 ], "by_u": [ 5939851591734475608384, 6716920685839490468008, 6945199143751646168856, 7424814489668094509624, 6954422515788500944656, 7443261233741804061208, 6262669613024392760664, 6456360425798343052304, 5995191823955604263120, 6716920685839490468008, 6982092631899065272024, 7424814489668094509624, 6917529027641081841488, 7443261233741804061208, 6211941066821691493816, 6456360425798343052304 ], "constant": [ 932713497226939201600, 2305843009213693949 ], "u": 5 }, { "r": 58, "kind": "Q_at_least_16", "weighted_by_L": [ 378158253511045807366, 409287134135430675610, 502673776008585280450, 502673776008585280450, 507285462027012668346, 507285462027012668346, 415628202410768333966, 385075782538686889208, 385075782538686889208, 415628202410768333966, 507285462027012668346, 507285462027012668346, 502673776008585280450, 502673776008585280450, 409287134135430675610, 378158253511045807366 ], "by_u": [ 6050532056176732917856, 6841436208337029941152, 7074326352267613029896, 7563165070220916146448, 7083549724304467805696, 7581611814294625698032, 6377961763485077458024, 6576264262277455137560, 6105872288397861572592, 6841436208337029941152, 7111219840415032133064, 7563165070220916146448, 7046656236157048702528, 7581611814294625698032, 6327233217282376191176, 6576264262277455137560 ], "constant": [ 950007319796041906203, 2305843009213693949 ], "u": 5 }, { "r": 59, "kind": "Q_at_least_16", "weighted_by_L": [ 385075782538686889208, 416781123915375180938, 511897148045440056238, 511897148045440056238, 516508834063867444134, 516508834063867444134, 423122192190712839294, 391993311566327971050, 391993311566327971050, 423122192190712839294, 516508834063867444134, 516508834063867444134, 511897148045440056238, 511897148045440056238, 416781123915375180938, 385075782538686889208 ], "by_u": [ 6161212520618990227328, 6965951730834569414296, 7203453560783579890936, 7701515650773737783272, 7212676932820434666736, 7719962394847447334856, 6493253913945762155384, 6696168098756567222816, 6216552752840118882064, 6965951730834569414296, 7240347048930998994104, 7701515650773737783272, 7175783444673015563568, 7719962394847447334856, 6442525367743060888536, 6696168098756567222816 ], "constant": [ 967301142365144610806, 2305843009213693949 ], "u": 5 }, { "r": 60, "kind": "Q_at_least_16", "weighted_by_L": [ 391993311566327971050, 424275113695319686266, 521120520082294832026, 521120520082294832026, 525732206100722219922, 525732206100722219922, 430616181970657344622, 398910840593969052892, 398910840593969052892, 430616181970657344622, 525732206100722219922, 525732206100722219922, 521120520082294832026, 521120520082294832026, 424275113695319686266, 391993311566327971050 ], "by_u": [ 6271892985061247536800, 7090467253332108887440, 7332580769299546751976, 7839866231326559420096, 7341804141336401527776, 7858312975400268971680, 6608546064406446852744, 6816071935235679308072, 6327233217282376191536, 7090467253332108887440, 7369474257446965855144, 7839866231326559420096, 7304910653188982424608, 7858312975400268971680, 6557817518203745585896, 6816071935235679308072 ], "constant": [ 984594964934247315409, 2305843009213693949 ], "u": 5 }, { "r": 61, "kind": "small_Q", "table": [ [ 1, 0, 0, 51208161548617715182592 ], [ 1, 0, 1, 51355735501207391595648 ], [ 1, 1, 0, 110975612347436662293248 ], [ 1, 1, 1, 110975612347436662293248 ], [ 1, 2, 0, 107175583068252494666880 ], [ 1, 2, 1, 107175583068252494666880 ], [ 1, 3, 0, 127946616895249449736064 ], [ 1, 3, 1, 127946616895249449736064 ], [ 1, 4, 0, 119239753692458541395712 ], [ 1, 4, 1, 119239753692458541395712 ], [ 1, 5, 0, 127651468990070096910720 ], [ 1, 5, 1, 127651468990070096910720 ], [ 1, 6, 0, 119682475550227570633600 ], [ 1, 6, 1, 119682475550227570633600 ], [ 1, 7, 0, 115439724413274373769344 ], [ 1, 7, 1, 115439724413274373769344 ], [ 3, 0, 0, 51208161548617715182592 ], [ 3, 0, 1, 51355735501207391595648 ], [ 3, 1, 0, 127946616895249449736064 ], [ 3, 1, 1, 127946616895249449736064 ], [ 3, 2, 0, 119682475550227570633600 ], [ 3, 2, 1, 119682475550227570633600 ], [ 3, 3, 0, 110975612347436662293248 ], [ 3, 3, 1, 110975612347436662293248 ], [ 3, 4, 0, 119239753692458541395712 ], [ 3, 4, 1, 119239753692458541395712 ], [ 3, 5, 0, 115439724413274373769344 ], [ 3, 5, 1, 115439724413274373769344 ], [ 3, 6, 0, 107175583068252494666880 ], [ 3, 6, 1, 107175583068252494666880 ], [ 3, 7, 0, 127651468990070096910720 ], [ 3, 7, 1, 127651468990070096910720 ], [ 5, 0, 0, 51208161548617715182592 ], [ 5, 0, 1, 51355735501207391595648 ], [ 5, 1, 0, 127651468990070096910720 ], [ 5, 1, 1, 127651468990070096910720 ], [ 5, 2, 0, 107175583068252494666880 ], [ 5, 2, 1, 107175583068252494666880 ], [ 5, 3, 0, 115439724413274373769344 ], [ 5, 3, 1, 115439724413274373769344 ], [ 5, 4, 0, 119239753692458541395712 ], [ 5, 4, 1, 119239753692458541395712 ], [ 5, 5, 0, 110975612347436662293248 ], [ 5, 5, 1, 110975612347436662293248 ], [ 5, 6, 0, 119682475550227570633600 ], [ 5, 6, 1, 119682475550227570633600 ], [ 5, 7, 0, 127946616895249449736064 ], [ 5, 7, 1, 127946616895249449736064 ], [ 7, 0, 0, 51208161548617715182592 ], [ 7, 0, 1, 51355735501207391595648 ], [ 7, 1, 0, 115439724413274373769344 ], [ 7, 1, 1, 115439724413274373769344 ], [ 7, 2, 0, 119682475550227570633600 ], [ 7, 2, 1, 119682475550227570633600 ], [ 7, 3, 0, 127651468990070096910720 ], [ 7, 3, 1, 127651468990070096910720 ], [ 7, 4, 0, 119239753692458541395712 ], [ 7, 4, 1, 119239753692458541395712 ], [ 7, 5, 0, 127946616895249449736064 ], [ 7, 5, 1, 127946616895249449736064 ], [ 7, 6, 0, 107175583068252494666880 ], [ 7, 6, 1, 107175583068252494666880 ], [ 7, 7, 0, 110975612347436662293248 ], [ 7, 7, 1, 110975612347436662293248 ] ], "constant": [ 1001888787503350020012, 2305843009213693949 ], "witness": [ 1, 3, 0 ] }, { "r": 62, "kind": "small_Q", "table": [ [ 1, 0, 0, 28241965176849323464000 ], [ 1, 0, 1, 28278858664996742570976 ], [ 1, 0, 2, 28241965176849323464064 ], [ 1, 0, 3, 28278858664996742570976 ], [ 1, 1, 0, 60726681490651843792416 ], [ 1, 1, 1, 60800468466946681998880 ], [ 1, 1, 2, 60726681490651843792416 ], [ 1, 1, 3, 60800468466946681998880 ], [ 1, 2, 0, 57609181742194929576688 ], [ 1, 2, 1, 57544618137936946145984 ], [ 1, 2, 2, 57627628486268639128336 ], [ 1, 2, 3, 57544618137936946145984 ], [ 1, 3, 0, 61861156251184981213120 ], [ 1, 3, 1, 61787369274890143006656 ], [ 1, 3, 2, 61861156251184981213120 ], [ 1, 3, 3, 61787369274890143006656 ], [ 3, 0, 0, 28241965176849323464000 ], [ 3, 0, 1, 28278858664996742570976 ], [ 3, 0, 2, 28241965176849323464064 ], [ 3, 0, 3, 28278858664996742570976 ], [ 3, 1, 0, 61861156251184981213120 ], [ 3, 1, 1, 61787369274890143006656 ], [ 3, 1, 2, 61861156251184981213120 ], [ 3, 1, 3, 61787369274890143006656 ], [ 3, 2, 0, 57609181742194929576688 ], [ 3, 2, 1, 57544618137936946145984 ], [ 3, 2, 2, 57627628486268639128336 ], [ 3, 2, 3, 57544618137936946145984 ], [ 3, 3, 0, 60726681490651843792416 ], [ 3, 3, 1, 60800468466946681998880 ], [ 3, 3, 2, 60726681490651843792416 ], [ 3, 3, 3, 60800468466946681998880 ] ], "constant": [ 968886409433979025404, 2305843009213693949 ], "witness": [ 1, 3, 0 ] }, { "r": 63, "kind": "small_Q", "table": [ [ 1, 0, 0, 15746601909920315964808 ], [ 1, 0, 1, 14928027641649454614688 ], [ 1, 0, 2, 14649020637534597645560 ], [ 1, 0, 3, 14928027641649454614688 ], [ 1, 0, 4, 15709708421772896861608 ], [ 1, 0, 5, 14928027641649454614688 ], [ 1, 0, 6, 14649020637534597645560 ], [ 1, 0, 7, 14928027641649454614688 ], [ 1, 1, 0, 31188832542624424330800 ], [ 1, 1, 1, 30162732403524330522152 ], [ 1, 1, 2, 29028257642991193101528 ], [ 1, 1, 3, 30088945427229492315752 ], [ 1, 1, 4, 31184220856605996942912 ], [ 1, 1, 5, 30088945427229492315752 ], [ 1, 1, 6, 29028257642991193101528 ], [ 1, 1, 7, 30162732403524330522152 ] ], "constant": [ 67376335170084617537, 159023655807840962 ], "witness": [ 1, 1, 0 ] } ]