diff --git a/Cargo.toml b/Cargo.toml index 28fb3fe..8e142ec 100644 --- a/Cargo.toml +++ b/Cargo.toml @@ -7,7 +7,7 @@ anyhow = { version = "1.0.89", default-features = false} unroll = { version = "0.1.5", default-features = false } plonky2 = { version = "1.0.0", default-features = false } plonky2_field = { version = "1.0.0", default-features = false } -plonky2_maybe_rayon = { version = "0.2.0", default-features = false } +plonky2_maybe_rayon = { version = "1.0.0", default-features = false } itertools = { version = "0.12.1", default-features = false } serde = { version = "1.0", features = ["derive"] } serde_json = "1.0" diff --git a/proof-input/circ_data.bin b/proof-input/circ_data.bin new file mode 100644 index 0000000..3bcbf59 Binary files /dev/null and b/proof-input/circ_data.bin differ diff --git a/proof-input/input.json b/proof-input/input.json index d3d9b2b..db5d3f0 100644 --- a/proof-input/input.json +++ b/proof-input/input.json @@ -1,9 +1,9 @@ { "dataSetRoot": [ - "12690693025243888817", - "11167388690585788787", - "9894264862680653801", - "10051263446564873176" + "4800195110087459144", + "896784746033147402", + "17402252944864141406", + "15021468478599182989" ], "entropy": [ "1234567", @@ -15,10 +15,10 @@ "nSlotsPerDataSet": 11, "slotIndex": 3, "slotRoot": [ - "15578571650204486892", - "6419948637516010938", - "12405570976456870058", - "4877732465582574840" + "10137070482032116165", + "10295272311288298152", + "5751507042263862041", + "5478567740991090873" ], "slotProof": [ "827439652992611846", @@ -56,1414 +56,1414 @@ ], "cellData": [ [ - "528750037418355700", - "4928571757517476649", - "3841986709424377209", - "14749611091665333140", - "6613216535653017185", - "12596150513308832590", - "9363906201086885062", - "17222460463661380172", - "17412741926994776455", - "66509157295891165", - "13220921510696900705", - "9223547457554843415", - "10720975403818420555", - "17413221806775974346", - "13666733799354531908", - "4530469176276726461", - "7085299137012446236", - "3271960477797011472", - "6831011502240942332", - "9780310738880786754", - "18226869185937158206", - "1901476976002252142", - "3506637425998302231", - "4051160434283339306", - "7540050531594559784", - "4786259303322041694", - "2345511491333520196", - "4731665941775121064", - "4851855758504825343", - "8146301262988536543", - "8895448383386707836", - "13647745687945016944", - "10744187577848291146", - "13404827119718234803", - "15431860384959022747", - "15125708193425262937", - "3324485689044382425", - "13877281288667555773", - "13145034959307684145", - "2225061525098833040", - "9470200263593240543", - "15253857209530269174", - "12750284430153939236", - "15953560080119477600", - "7936974074620221100", - "14653345527691925339", - "8106884376957252260", - "1695439691153547472", - "414135200399997363", - "6361934122319397329", - "13165081190740694659", - "8920177733126892604", - "10297320820428965189", - "2423943908465663170", - "2303882549239346428", - "11984539329491009891", - "14379418992141136315", - "9096434870307791090", - "5111673451415120185", - "15082647321659682588", - "17270648891222606342", - "1342794273919792266", - "16753831378254069580", - "17219866132088260134", - "93254065014247592", - "15644180993567556588", - "7905892915687599624", - "4524447884179665633", - "1731946121894183715", - "5322828099877209465", - "18385782677205533141", - "3502726981258351229", - "16841767994343568947", - "3448001988490610265", - "2078982289442770231", - "6426450216148130914", - "18050843082643201578", - "11187110955868031822", - "9989679762648068456", - "10965799307734300445", - "2533169950755904321", - "2125470360225882635", - "928676140354441336", - "4247026737261325369", - "1245898727774288604", - "7308719800328008519", - "9490577804633448315", - "6953595108184132337", - "14892921127774187731", - "11483341133827026585", - "8710878480166880734", - "14716805060162712479", - "312919648898456075", - "6069459041271892438", - "8609715232879911510", - "12777951929159345013", - "13374956588141074673", - "17676102737707465549", - "14547113731887258375", - "2124960977917051769", - "8150974240536393707", - "15838890332240138759", - "246839464657009403", - "17516802359471359650", - "3768788650978230759", - "2445367361757927744", - "8227718536148101063", - "1366894990400368760", - "9028930071081761726", - "377650041179055324", - "8144322346673010076", - "6643402404220225466", - "13600867198924490117", - "15717134188717588705", - "14235667524423456510", - "559022969861178779", - "17276559467892122495", - "10224849324178067436", - "13365239466819348506", - "8957673314672526473", - "9779723196193348646", - "12964847436148981136", - "5338298533317056586", - "15701284866888763190", - "83590390310631459", - "10012312700541365870", - "2083886356228279963", - "7214935816589498567", - "15635185161082919333", - "6811766183760244040", - "13157530295023431783", - "9380449211657518331", - "4717935758050090082", - "17391951085207049105", - "16782716598754897271", - "5796289811936236312", - "8667296648911740976", - "16245644072059414976", - "12340736849298465446", - "6340586645896926523", - "16197425422306352094", - "5500134923465135774", - "1240678119854096033", - "15376035273204602186", - "17534018307982122147", - "15206666806909771692", - "11575514841563450874", - "10817152518268347806", - "12895262877073998669", - "3972706322081113847", - "6912192729496809265", - "8544182480575391121", - "3748180525563986621", - "1642525380476061171", - "2801032920199781820", - "14742273122779601744", - "3594578376522740001", - "17338520225102465194", - "1983116141818742813", - "856882389601082148", - "14531981751581094818", - "2059980030536634317", - "5188518127824427291", - "12455838678524278776", - "13022206852386364271", - "6100117210648432551", - "7975497934589829689", - "12578040692398016673", - "6285593047308704702", - "6592419321892302249", - "5562531869284659064", - "13073629694144424805", - "12852914106906215097", - "8501398045939808039", - "1821965892698621512", - "1414450547439279363", - "14849258044353612301", - "10928561654339531468", - "8690221510273731748", - "5600829010913450980", - "13204636277749709197", - "14508416472272280646", - "9236097091877370312", - "16312788439463047986", - "11290497036053412707", - "16130096227519939139", - "393680493852586781", - "6099946759251136964", - "4479896504723401645", - "980148403231207626", - "8312733450524113939", - "18347932020824060734", - "17878728046714537612", - "6921994265029754066", - "11176976670798638806", - "11173047221228310896", - "16395431327163364592", - "809960235994465865", - "13072181412817050684", - "11540244242094662172", - "16237601764311276072", - "5910426468967558939", - "13762709626836627259", - "6958027863845488875", - "15436732381630685375", - "4367809107277116502", - "2838951329069882872", - "16024543697512708234", - "3134418299616581797", - "8026025260223176248", - "14980531553526915179", - "4230558237320542898", - "6281350655457337887", - "3244048782230334206", - "8707755740224200172", - "7249786793888003742", - "10268644540837557094", - "3034552498030645145", - "7309914795933578297", - "17473104700684801643", - "781906694977478144", - "3843117377643814071", - "9240908363685641247", - "374287078979821420", - "12612700768169162049", - "1779105275271496036", - "1664150609579981441", - "16266340578968107804", - "15095250539218978076", - "4891958202457197409", - "14426816638321104570", - "9262694661137366748", - "11425999813463565846", - "806071801867803941", - "10166361297585051346", - "8062339789788870575", - "5164955010833124400", - "12286416506959220567", - "17790878753929736172", - "8585124097308473984", - "11496668932976215368", - "15428762373533255289", - "15991337237464001220", - "10493619541358499808", - "5676707220373146073", - "17067597691261855648", - "4847134027519576141", - "4620498988532585056", - "2506741419809843677", - "16375394266868995584", - "8705420376624663083", - "10951521732636046735", - "6998959591921578074", - "15304991723658564278", - "10599430934688240014", - "10445215699877037788", - "9374476339627005542", - "1507631242283179743", - "8818734078189240471", - "7552695021102165780", - "7788469186669035", - "14331657492319620492", - "6801341938306645151", - "4385520049235279203", - "12146627884179795663", - "12121636074571212337", - "5511318744524970120", - "2999226487962097260", - "10644640095125685537", - "6226887042091831523", - "14077369338470631369", - "1247117939743644631" + "17506156075753802544", + "17094534304322015155", + "5352199686029736616", + "5773553119310669578", + "15451457541265747452", + "6617279370448668282", + "2943463148781294999", + "1503746000906691535", + "10867562803157108550", + "8280257851383784876", + "9616180402208082665", + "8185701266752056935", + "15705059507485137444", + "11162159504030490487", + "2569195643469003325", + "2865992052866660520", + "16259317599267146990", + "11812836945694923869", + "14143911728760318865", + "17166732420446511483", + "11157543716132994360", + "2852227662196425240", + "18417216738055489102", + "18340311556776940987", + "7015472752801890282", + "17370883241088619246", + "5673934148436950459", + "2578109050457770026", + "2480141116504997787", + "6088374408965600784", + "11339458554777202112", + "17475279723714086906", + "12397228832054527186", + "4747611188247984822", + "1605113112258238570", + "9062651188839776743", + "2493644440031166628", + "6907111134498278937", + "4482080518293226665", + "2776691258909692410", + "6559424908682858301", + "17811664134906744528", + "8216250437980322796", + "9438430335722780401", + "14506111665696587441", + "7973199094917460266", + "1508740249803841858", + "6094926672551300667", + "8215665373313142248", + "864958120788046568", + "18137070048049961371", + "17256272278451908234", + "12270283107360832334", + "16563066866118629291", + "2697643353032998875", + "1875825058456231945", + "6051080411738191591", + "15324377560673588865", + "17271790198573747780", + "16015823620708693582", + "2104713673664758890", + "13007627994305979637", + "10018762265140677935", + "12566066134154716238", + "6686397720631482670", + "9680218067204420716", + "16913910263485638205", + "4021554264714464126", + "10248767334766589680", + "15927723877716135871", + "7309861264131359544", + "18032738845279306399", + "3769511746560640035", + "5065571448612675315", + "254223064159663594", + "966230148155800587", + "13952326940259018031", + "17857484020768368734", + "2875384489459228989", + "9874023703317568228", + "17806441929025581262", + "4952714060696641347", + "2264300795793275396", + "5679208668467418103", + "12869176382608292744", + "12230976728856632139", + "5239534877531130651", + "5355804479905157653", + "6108969415020875751", + "10165509148451418340", + "12645574338358416641", + "14778334462350271031", + "9436292933027103802", + "5088585321737477147", + "6743152994628810919", + "4287133236392435197", + "5106423854769965637", + "177557703106221504", + "5031596761768084078", + "14699804087164434699", + "18187546140526450167", + "6852726203554660129", + "6736875965721225462", + "14827316715201878414", + "17121420393795563830", + "15691453388013949312", + "17882725803852842676", + "12301872473731316949", + "2227177746697329124", + "14016488751795556589", + "12513791198147169764", + "12527035306389356599", + "15434646516113284252", + "10315287713065811645", + "16109893382714845686", + "2589285757378330636", + "8928949086935252423", + "14775062809461690056", + "368680710878661642", + "3258523349673411811", + "257179596807223268", + "448348985053485600", + "14444000349103887582", + "11562677246702772569", + "11637465299272178013", + "16050575307318744628", + "3334534848885620764", + "8933795862575384093", + "15659064931277036719", + "11630260169503145206", + "5566240983503152111", + "12417179248514928184", + "13875468508852841135", + "10303512405131106106", + "6614905057248232561", + "12659310180394228705", + "14888375268739871957", + "16782489908555739681", + "11441101573168860847", + "5925262341072215047", + "5078624304590837138", + "13547012767957771557", + "17168933669117667212", + "16006198505035703415", + "7045317487892061434", + "6779564166319267950", + "8427301226222498280", + "9145356693422315872", + "18151246984129913577", + "3368959581520631739", + "6641962519056225755", + "797739169290664920", + "2000802141778464767", + "11083202950787935599", + "12158890279488259681", + "6603865961476704816", + "9240786238894629529", + "13178687643261196196", + "2562132141025053569", + "9575860176939218514", + "13092084650861287225", + "18192527889667519520", + "15779638536919306313", + "3844075670732438908", + "2191505857597999966", + "3183162625248970702", + "11636005905257650184", + "7617597815301528932", + "17680621796635743145", + "16603797672651016151", + "12806434128391887912", + "2031146766927121975", + "9494618779653498273", + "14797601653713800707", + "12792464636369724330", + "10426237260342413527", + "2764685226269323265", + "14242173505083093902", + "8296916794292577119", + "6783111219271879819", + "5983462472692277700", + "15721231690915972779", + "17089980040960244557", + "9472204060894307777", + "3710205384518590903", + "2325339925742485255", + "8832946044470357906", + "16905827938565769959", + "16956085583060799109", + "10141380415463878249", + "843327132639024336", + "8024464933281038533", + "8781552043157666166", + "4861609950946535416", + "3066881390996034448", + "8489991887909547638", + "10356744467812369278", + "659072725002514257", + "13348594388214585654", + "3244895746932839345", + "10013516161277240014", + "17007944844603477888", + "17512572647553080048", + "14424113872242431165", + "8590942072075827", + "8080262312316673780", + "109951017830909289", + "7519540794057783505", + "5526591650695595614", + "13204079394904372178", + "8890544303253672705", + "12525022039291848684", + "11328368979294094499", + "2292916572866032925", + "1390658675583548442", + "484755259442615947", + "12296383468926094411", + "8107745806068412128", + "8923202293214749857", + "10439179685835559037", + "15934782942624704094", + "16598234073320176268", + "6511412627245897261", + "9063611940487875896", + "8406877829986918206", + "15702597156624056096", + "16947720041623199529", + "6415799111246263094", + "14208671437931045017", + "5835762813268462501", + "2906869774112290817", + "12825518077971396240", + "15570206734887519328", + "15389073979999417197", + "3097150863410333379", + "13359014532718819611", + "11123911197820427813", + "4053086502622987753", + "17654260861166875022", + "925793825885122746", + "18418011772182671504", + "18426090395295390646", + "15996461495079095457", + "15546569956864591158", + "14871901408450669515", + "5768336215866074578", + "14747872240902574140", + "8659846745005731543", + "14907141269356463879", + "793221578612474589", + "6756597620144807216", + "2942724573867129403", + "17464807460690540838", + "6696313030568468665", + "17386681628783548978", + "9013209185147037153", + "7238741093736104676", + "15193462358141100050", + "16354994820029405335", + "13516596540305304235", + "12665033477243096781", + "8512479312640384556", + "1965368400696525895", + "10535533195019278164", + "6968848035592371521", + "9853247503892598970", + "4603762469781384207", + "2662690228949009082", + "9479445819941995664", + "5793724095026448805", + "18421390540690842729", + "282347262351946735" ], [ - "10760569198718713220", - "7214615387791997205", - "6153054860932980527", - "11034634462141214460", - "11075125139445645866", - "2756474840428029651", - "784844330389719282", - "2912796158228106187", - "2603730676317580774", - "6105892997322199159", - "8866701338228281372", - "4564436438727525790", - "10773252320558447048", - "5760648157525403242", - "13866512098146727101", - "3681679448345864382", - "14339517146968240448", - "12169579563799291036", - "2276465716327727753", - "6127363054311734008", - "12289254260448807997", - "11468268057414581930", - "16048811144374971758", - "8119373515923317172", - "13512774692906523289", - "8731853958035890059", - "13456510921268874848", - "8720182372676939775", - "10356539147422241174", - "956439719208876963", - "735635279655470390", - "14052630145444989766", - "9722963623514411747", - "9222125035067804175", - "597284995121401777", - "11884902765338297561", - "1032674691135795629", - "14534847928413378127", - "12475594129233307681", - "6698613517614860949", - "8215610802609987833", - "12157402345729123301", - "9345275155133751368", - "11504304552770810518", - "2869260833676714946", - "4384843603683500584", - "8012738526823210238", - "10938213311479987985", - "7513257617094794377", - "6332186878282519685", - "16193855068959861223", - "5597048144987760777", - "15116020538382369612", - "14210882972336509532", - "8390755989344793017", - "7782755226246482774", - "4670527075981396667", - "120347335701550198", - "5857416073646069204", - "1025867185285821485", - "17002550052059364038", - "17075212660029780585", - "8739982208384236993", - "6393728568131121262", - "12037688220177115193", - "3038174910566582317", - "10884563556285906714", - "985657191000188270", - "17945806909434591165", - "16271370434409246565", - "1818754870270229085", - "2168576253557318745", - "15686458074497187555", - "11514519902223967775", - "4910491747577799816", - "4301519050642708171", - "18279281092227382974", - "12161012516385620519", - "8646438554172174585", - "5389955009901725832", - "6429325069390026709", - "490592910851180787", - "15783560683483111317", - "5213576550217902599", - "1604839409356394195", - "6461357351108893306", - "12769369088522225935", - "18088306767066908943", - "229098293788872227", - "17670586230162668961", - "7259163478665929637", - "1232197706194782290", - "8021301271708492645", - "15580376795728426331", - "843455079901688630", - "3322853574745164072", - "14675561863240544849", - "11441831267127354074", - "2329703633440793092", - "16860798219427866951", - "1129629747792042553", - "8235288512699565197", - "99409150111853415", - "11880853179241952029", - "6127483146337829144", - "5190124837461499881", - "5034168621144868830", - "12127760713617244209", - "16349616545641836395", - "5190458457246314106", - "2112855437754929524", - "5194850489727158362", - "12770947429570598398", - "9517473917518808919", - "6514580111166794471", - "14731308536830006556", - "7641970379136626409", - "15716599956592415092", - "2310210967492920430", - "12335355553961983116", - "14788030146993139930", - "9868290888165290312", - "17904026060847647852", - "294076485011587878", - "6967720212491747277", - "1318989392658514478", - "4039080772848607442", - "4736391185586533992", - "4557769486059224170", - "5679122118897887168", - "5381198066563995524", - "11980208938385400473", - "9445175215847394101", - "2750429694475355755", - "16430709498233677209", - "15676911073529505850", - "16526441979451473388", - "6107407655925115749", - "4244338932436009958", - "3941681765279598201", - "5235790638763522127", - "17579065118528037378", - "7601244687177365536", - "15379141420822572734", - "12135323743603950606", - "7361409521134800597", - "5705454128128339734", - "10931490844120890071", - "11030578789222725308", - "1871573549997436232", - "1021656713123454115", - "11427832845014792476", - "15650400371192043473", - "14033074032016776481", - "11572233812195419687", - "5567834989150506251", - "13231856302534042452", - "446243070198842216", - "5067185132825041414", - "17311216340461527814", - "4561166086552195676", - "16997501013174252595", - "11907887939730823681", - "11164152532202080012", - "3216158593525778708", - "6501408673245955897", - "9722215781152789079", - "93264204012419168", - "15658362307358737486", - "7572759509775567877", - "4939379002982052337", - "7016988146156050700", - "13932121316985656735", - "3803027459285982945", - "6499961507489327867", - "2736808637526425645", - "11413216351024439960", - "477045443534556793", - "17952747161163999088", - "9471457000228113388", - "725446415107876783", - "6339004271437345885", - "9465327452230598355", - "6807370004107077192", - "5844401635182341254", - "10743729745287244928", - "1237264646499069832", - "7268367125749836498", - "12446350265779285205", - "2451309067515714018", - "7098747976919301961", - "15473284828017349217", - "1713067732749645942", - "4976043234729248200", - "11092561397081716045", - "10030996888088137015", - "4565217035581755453", - "9578670545993963477", - "830331569310327958", - "9329471618142423694", - "9909997954846393306", - "7801787310824240328", - "7395024619939201068", - "9648643084486378505", - "12797433837619369053", - "1052450534301856185", - "2257158002940287768", - "9899855251020328130", - "7769274170343837518", - "14618398631261525081", - "17175460686860100693", - "3825577516303936326", - "466985020908770526", - "6717099169764507969", - "17936090492290865307", - "12168465265453382250", - "3396477115140424722", - "8960109356563868900", - "6225088237014139462", - "703390376941510315", - "1976379250891527833", - "11830471653594371961", - "6281745237312197215", - "9075599730957228624", - "1078104177630329075", - "7203860184581616370", - "9434466537082049298", - "10257861039180055896", - "17892485287648015155", - "9256135764662801745", - "6202025521960107640", - "5422121326175866520", - "4294737290795009684", - "11597472188674989856", - "13449527144378542851", - "11997848369024764145", - "14059217919303239829", - "12674214172779330068", - "14119806242113733622", - "5613012798817150814", - "12515319957742169321", - "17768408608417379513", - "17385398852265696175", - "9614142972451022661", - "5357653849289991938", - "17460803310712557383", - "13769640886472132630", - "6846794377291575902", - "15116980690158195590", - "17901708724828324013", - "8719000291970452421", - "7285299686752596194", - "17264158968082679229", - "8234131589185371782", - "651641180458120153", - "12598924804398011467", - "9474858244846393930", - "11222670249666522757", - "5105415454879574325", - "15335758094511622948", - "13897268337477657448", - "14736896836967803275", - "4956857123708175842", - "2495026757032127463", - "1749567622670271562", - "13765886983495956706", - "8622656830101210861", - "1322619749211765536", - "11738164340701324546", - "17812233151672352856", - "11367960409866513570", - "6274841459256338378" + "14661204914807932512", + "10371367170176147988", + "1604113418681634192", + "11126720574303530601", + "1346186171904327497", + "5697839138040817484", + "11631584566098402401", + "1435274112664077749", + "17785290803129006619", + "588322966342971594", + "10466236616239013512", + "5417855295116461193", + "17381963066992257803", + "11485986004666904011", + "9693090119703514149", + "4114137673024649353", + "2035348719629770631", + "6617696653224401089", + "12851939150146179142", + "15213841246755778154", + "2587615928352769597", + "1376527176562711270", + "12002889878522855903", + "14056968432314671359", + "2337933663722868146", + "18109817394582998434", + "15470320768484475996", + "16512436924128169732", + "8248252171375830399", + "4237482384535016904", + "2572159779538127674", + "15010708277054918933", + "15962857267344716478", + "11074186997308003990", + "5064430563127180154", + "6569988536003741055", + "10533691087131745623", + "12123789617530819521", + "921452724573493237", + "4924126937109025264", + "12956882134870847703", + "3638809630349046134", + "11949739985105743432", + "16797087180296656628", + "10807307359258323219", + "9307332655130775061", + "10651605293780280494", + "3614043239293274618", + "6958865033254546870", + "774799954950145501", + "12004662509844287643", + "15279607905940419549", + "8394740894179007370", + "3575317808568964653", + "11938909738886644684", + "13152157563910357084", + "8199116483093463999", + "18301488653384276714", + "10088118253177106291", + "3502098094749641330", + "18079523295769063811", + "16895790386893657623", + "1553619426280655924", + "11200229327284579246", + "2095452074169897018", + "16355266706000962656", + "10130302812942260913", + "1045118690175145966", + "3587434732652801486", + "18024845029264866358", + "18200645780837275675", + "4359034158726902047", + "8826201740914756999", + "17784713602708718973", + "17922769030576564337", + "12906097381353627059", + "16067563613774895089", + "11509382990681767376", + "12503061593598689901", + "2983168266086392329", + "3441197656099393824", + "7291935023976882611", + "10477434685495385069", + "2313207908702391775", + "2324396561287242569", + "8837471044322256326", + "7382371121588144916", + "16694711590303384911", + "10512520353468059239", + "5488880695645485377", + "11543756773745712911", + "8598939980951299231", + "2640539733971110529", + "4415490513038834455", + "552392456921108967", + "14618929576091143100", + "7359799322545505158", + "15524817783982138496", + "6403881929602650837", + "3314030380941296194", + "14703941999552510066", + "8229876688570543083", + "14537465177423575841", + "2874437464444992294", + "16378166970337451520", + "16650602994329250868", + "10783156756377307009", + "462131343934297724", + "11959524080810187198", + "1435301032373457319", + "16634806176750377708", + "6644138849539327417", + "8613842925276024044", + "11970530352556296422", + "6989432611671412482", + "1762015178896317010", + "3089299238402963432", + "8139307776837241388", + "7748828572153402552", + "3151205788104757156", + "4766221686745153868", + "1228644712311096241", + "10273080281922033819", + "6819335812486830036", + "16243290414125165528", + "10147397578835534940", + "15148497582030277794", + "11095167818002218118", + "18082375015998841049", + "10675433285257630356", + "119897694747268272", + "18258290746033576076", + "12187964022863928176", + "16611565742293291343", + "6841847955804735370", + "5304684548232982090", + "13820099808876579514", + "10423225879057561614", + "14182887632477654108", + "728458939198599213", + "8914605953946849242", + "17811726078258251149", + "18368708223805523722", + "13471427080463235511", + "4721038429324496124", + "4373071225847265868", + "9019093810027729018", + "10930217753542656368", + "2814591889919375863", + "3666429654035479030", + "15220569890406990480", + "12172727222479171951", + "12057340520313669519", + "3471893800608837756", + "11479384025919120252", + "3018666107912745277", + "6214228507442846193", + "4984365334353024333", + "1801208645487836306", + "5307911006248681817", + "17552433776843283331", + "15493576009719784489", + "6303088135977738442", + "15764745067631715956", + "7773042762173415479", + "13300270620347890482", + "12714585889842649872", + "1091599036717795070", + "569664933169805897", + "1418231728877742364", + "16070560280700726067", + "14001610227478542834", + "15474057103920514603", + "4540221718185354779", + "15631907846995710200", + "2477869213417599105", + "1907539028400746971", + "5482940726694420035", + "2610718517847989023", + "12913207446572424002", + "1203462512281967126", + "15429803331404111224", + "12370293122274534167", + "5542923887398149476", + "3123916195843592888", + "12613366584620344683", + "17542014775956897726", + "16530083508442339059", + "8609169852979460819", + "7404463777839194293", + "12867255650656449551", + "16807513508961537578", + "3729189647565069523", + "10642480492512489829", + "1654922601015426945", + "9085091486468761712", + "4102625174540497459", + "7904295504516305322", + "1834180210028948789", + "4948475890679536078", + "5616756624387100028", + "8460923271637331489", + "14668084373371135708", + "1248648358465489571", + "17096976322476575632", + "89541295027802206", + "16775613956260669589", + "11006924864622838783", + "14179566968001864084", + "787335138630034379", + "17654423249316756547", + "708262680794829400", + "12781862188946795391", + "13373084000856498637", + "17404119298551201703", + "4793876782367303273", + "8428930903190859966", + "2736481317195040870", + "15225230616021137906", + "2623148888991841632", + "2369025995614942054", + "10620538125266108439", + "3181588562462817066", + "6954354976973216260", + "9329416112859397748", + "3476922276617994459", + "2029418638461695048", + "5736560326632967749", + "3418837976891227637", + "10801364617294075880", + "4009673938095933110", + "13017047179688305745", + "12273621725622942117", + "18427346450040055", + "17608027081286870316", + "8377485180649818659", + "3717116559431691055", + "11485894652509546361", + "1755766620662273806", + "8600931388722483795", + "12106799167244510225", + "6124957058362481670", + "6062975634528104070", + "11295449319764845887", + "6405088361689498568", + "17746238424876937441", + "14167193260531925577", + "14253861075499280838", + "10901801758293888306", + "3188833576486143952", + "13820826218907538091", + "9413570420474921853", + "14877482543993101117", + "7514725863986648983", + "5671769413105650518", + "2992196328228883284", + "10191300626025632768", + "4673656919063917167", + "5799050356270635310", + "16404576259469072963", + "13111890340562940598", + "974329352527744916", + "4941306752979880637", + "15967626643514530445", + "13636879168677194883", + "1081669616728967228", + "8093395151951311736", + "7746069943809698940", + "7753718023442392433", + "11101840842828798632", + "15591663744118331308", + "3916512921926666219" ], [ - "2646270110716863294", - "6496174324313966529", - "17704856541524027393", - "5517634282720717761", - "12916970702328527141", - "17256560411495947128", - "2149396601823435610", - "10844086882592336329", - "16658334244459832163", - "14530361512887853142", - "9196988239310608552", - "17038955245963977720", - "13190693215427696446", - "2202453057885079868", - "2873483115332221277", - "2103334986821513671", - "6979059710416362742", - "17387703417686717602", - "12545114941172016128", - "17080539514823126171", - "11907266163328992733", - "10636908147383914329", - "16741515973264273875", - "7512027883053981696", - "2169643185077883645", - "18354743613733699488", - "5095503338003163606", - "11675790329796231372", - "6386716245940258283", - "10711773170955120776", - "17823130921147091700", - "3695227367109164777", - "13232650554276011583", - "17071345602303371066", - "4901911551992828464", - "8858675950013143275", - "6607168685810156178", - "8211649398565740852", - "18166056125547049997", - "1477189868431078031", - "4851451464697982681", - "9388255807282891363", - "3593378137360378733", - "14646518370999477544", - "14497891721407371029", - "14831250303329222502", - "5653124214637104141", - "3497493430301731617", - "13547625751538363074", - "17562990821413236439", - "3793190392127678907", - "3658635743038727121", - "10399020712960091218", - "9783422705582816031", - "7872711343373215214", - "3078987330416186909", - "15042411187965050834", - "7462523971600967166", - "1775669624384430268", - "3973685445012119115", - "13444425579926785784", - "12621880131725296648", - "11367548200799904595", - "16492354654040263758", - "12661418508055999419", - "763625879844224094", - "8742423999217093175", - "2151650433049449358", - "17070196474441048363", - "13682623639379620132", - "1807200673740219192", - "324364709735660325", - "15713248233935348753", - "6667329003989453803", - "17662109898167913943", - "5600095882307280275", - "17102046891064074664", - "9271811673245452741", - "14318850517241320109", - "5677531451197403759", - "14898738967737458383", - "12835397635659340140", - "7772094324205413031", - "12964979677685968602", - "1078645802088481087", - "7803089764055978165", - "9702949537691900474", - "13326220804071115660", - "4949409461408917830", - "14770876079586206831", - "8493197888028805173", - "1105908217045796301", - "5801006660295938228", - "636982237840672281", - "2392699437588852491", - "736015803360631131", - "16675315366634833611", - "7056057064079652060", - "4672586730814425131", - "7803219395741813210", - "18290126191245939206", - "679719912555939050", - "13646250683349538159", - "12978894476037736200", - "6341509551231856198", - "2979519408968678397", - "574655143580217252", - "4090438936889067315", - "3074378647421415709", - "2489498396929880762", - "10423966338093916664", - "12040703143526444262", - "277760827709983349", - "16393256658828641904", - "7196078852295670140", - "8616865896921886543", - "17891084634160473335", - "11269058297687963214", - "3646816029305045140", - "16161319270824596585", - "9222702943524258601", - "13462877355818451474", - "5401427620569765124", - "3816155383136243122", - "12326953581786019949", - "2779749620344981112", - "2686742706241216896", - "13707536387001213527", - "18126708585682138572", - "8352098741376042917", - "9907918657944084942", - "3205951272834490956", - "8145005036445659323", - "15895030141662489787", - "13322505077543085374", - "18364843189531995294", - "8717193909123309341", - "18240514066600285180", - "1032130192736760581", - "10192080437136140043", - "9551231542964050213", - "3249879805553317205", - "3966195838140290061", - "2337530415762836407", - "9553203615356074234", - "15041551983198552670", - "4909031359487347696", - "12862142041528636138", - "7768050918089791363", - "5984598339763054283", - "4830940408474014959", - "12201555629157783117", - "3812127992208097544", - "9034409996350228738", - "8314039614757069508", - "15187646012220014265", - "16996080637547678846", - "18439959870911971229", - "11544701109997751107", - "409165581488325173", - "879373214033394697", - "15789858516049079266", - "4860735029215015985", - "4904699874457846534", - "3010260121540393770", - "2778374845977284078", - "4024790500215799149", - "10587975100516364723", - "16559886307615404614", - "17956157542329156423", - "9370403414470438233", - "11786422428590040172", - "851649766660043563", - "12380971319287631759", - "16493224194393535723", - "12358273667366258273", - "15684943371547025561", - "11771699079151921439", - "1770498479419368112", - "9588393695784566849", - "14509059953878162586", - "6570737231250694248", - "18205002385648698056", - "9172934551560120027", - "14982025212224806534", - "10381142133823383801", - "517973389294924152", - "14349998648937484072", - "11660893409908756311", - "11645225598577190342", - "17656378006632089243", - "2592390659829481043", - "1559936962429477272", - "6523309724593968889", - "13650775776532927646", - "621980710365816114", - "16510753183529413839", - "12200837111887393287", - "18160476617488460428", - "10484167307353733743", - "12732804402964010459", - "3306171829131638722", - "12086137402911017524", - "16927981740192716562", - "7026897723085338726", - "5164423244761563763", - "8587171583845323657", - "875581173106252604", - "14551761249358404854", - "10355516111104936053", - "14512252164934908936", - "11863031454678701420", - "1984655212977329633", - "3643730526170175828", - "12005321375031884243", - "17515045785439977708", - "18257083523749997201", - "6410707187568653573", - "15362937023302214306", - "8458942662379931735", - "14285118514862512597", - "15971225107941327798", - "10632652209293105780", - "14485825364542580516", - "5741158796407731326", - "18103078478471246895", - "9484995356253649116", - "383966123581268", - "16785954537279986505", - "15530594292609226549", - "360685776075314221", - "3040812292886898065", - "3814056169529219701", - "2666156424819003465", - "8975677663499101743", - "8424556608821151466", - "386746483098767767", - "2537751258885455653", - "2392959995380227306", - "9656764416594028080", - "5007319500397890373", - "5628734106056162881", - "11057278209144447410", - "1613048221061604041", - "6202317442478919063", - "283340093592921407", - "5635822035649597606", - "9761009923048404578", - "9982235211182094307", - "18048090359813261642", - "4540207710872317707", - "11252371672485627246", - "10561373485971012901", - "12392340081268540620", - "3685140302771768774", - "9519696812175676734", - "16535773097662630861", - "9472629446187903777", - "2437945816116571073", - "11264583771511129099", - "2541106353763468433", - "15244889563485753321", - "5548586091527058009", - "16938857286343372939", - "15388647644253359290", - "285025382642893725", - "13944003694201493936", - "13652248957983694644", - "16550199848269828991", - "13456644228586270041", - "15099734295515872208", - "10358632081590350145" + "12762226121650089050", + "5453333203371849958", + "6632329235748591594", + "3254326845300834445", + "3974776944304096010", + "1401585555019991737", + "5644267948950638280", + "12796734659059980666", + "11080915088993547326", + "10214097839503119643", + "8764255853648507954", + "14274713949054956028", + "10962142446536779639", + "6094109058919657830", + "1978562122269699131", + "13785561637301000949", + "11257204444252475462", + "7874165952476552935", + "245387179025745968", + "8783905966869869005", + "13522342714291258186", + "15413558282888831274", + "16580018596876418065", + "15127376699528385748", + "15918422781413273294", + "13387025828468238457", + "5431276824281009892", + "3787548584279922126", + "5459528355179927538", + "13749056973457448141", + "1766707724457377275", + "6964816784919797090", + "6599488614306344530", + "16781538371213952288", + "9326576208092748101", + "5854170663206830650", + "13513562847832428562", + "12273056717239538682", + "3421706059150073270", + "15453700786202670916", + "7842559024462302362", + "14289921468878925537", + "5429027051322140046", + "15074584450474224782", + "17019033913949212602", + "303937605591892517", + "2790766824858464871", + "2454345359547296756", + "7499479068561233815", + "16764753262408137740", + "14111967114939810964", + "8128052701004513887", + "13887717687948566746", + "11527619656406120610", + "9249997906059260778", + "2150364322572250724", + "17668751502725219402", + "11187714970112700224", + "1464848652547740295", + "8982434765325252035", + "30958345246898274", + "13771800982203996704", + "5857502119427814162", + "12168538782331795730", + "12639305787604207574", + "12053817609279402660", + "15568656609053507215", + "11062303655015939409", + "8840368851146558950", + "12608485493923872328", + "13970546269246151490", + "16947642620523564856", + "14434531261056658233", + "12203579937900445940", + "2591702107766808858", + "4378089612977402545", + "5095370368332360800", + "11395056659251604133", + "4277353678558269304", + "16224107909241529962", + "15886412242485910471", + "17942368400357270770", + "11170457470283666130", + "1924762539377979768", + "6992630305244332955", + "15529294083371724558", + "10599238546524043765", + "12990916825509683889", + "12598159581497735265", + "3259044038129089692", + "14836841245818961914", + "7183509299960017654", + "9268371604835672247", + "8784682057184380879", + "6928517111941923691", + "7158248657826392782", + "9422180172378525884", + "14940465071816920164", + "1926292735355808727", + "7910516143964743570", + "7901809613597034037", + "17074180127978094347", + "3642032490756756508", + "15321193323030737390", + "6167006900526386063", + "6450058533900979244", + "16166520661706436691", + "2614414179652583102", + "5502142089456004957", + "17928822038951678847", + "15810459935629219230", + "18415047524076624675", + "2752885666599415081", + "17300361822292239279", + "12804746116791461839", + "44279970745958362", + "13822758246918926139", + "7122669168350459028", + "2085599576066890295", + "2740430772483864584", + "9022028891761359558", + "9195784444346416832", + "12199363092330724084", + "5371201117854440524", + "1884616716577172942", + "34845393023710804", + "6887621049003714077", + "14026628788395018091", + "3738634482614849086", + "954069678706436732", + "14074501815066084676", + "11538319897687814911", + "863862254202947176", + "8407123952141077937", + "10524880283239995045", + "3601999548277522353", + "5376684935462176660", + "9864785696942543586", + "884126265962314247", + "7516685097483251848", + "12989807986342460959", + "15486450757246654499", + "5965922117605325849", + "14396287237436689604", + "14710049138512314834", + "8100766445072488214", + "16990866084327768285", + "15815521947649374795", + "5143901085590941111", + "9644480473214427693", + "3511626618259567618", + "10617492397346566434", + "2708461616802067051", + "14952814385328767389", + "8731937874226407492", + "11405537312961978229", + "14929378652403153976", + "1470304229453012960", + "6831661488103121380", + "10006868064040651427", + "3634478835709738790", + "18011949131481579105", + "16224406714977024595", + "4583680354390936507", + "9114637668010922149", + "4875182944290549240", + "4873273306818636597", + "3977173591407294344", + "1966088578297022017", + "17723012423198970958", + "11481229775942779991", + "5158163035171085649", + "7467806457402291605", + "1825741536564663435", + "31017170749633707", + "14516996124037344101", + "8933357051578699588", + "10385881738543330062", + "17499457491251311881", + "7678606591050029403", + "16048423648377564582", + "1844861509581149224", + "3912004953183013159", + "410433537216266564", + "13140316855429410981", + "4588380027899691955", + "130178597290244843", + "16702991029466385188", + "18330060935906409920", + "206250812175040213", + "16783115123090179130", + "1994114233264281283", + "16102952107579846447", + "7495892955443651953", + "7006454719818133168", + "8912730712214791523", + "3365969653991676836", + "7704184607310094894", + "7274165115438452661", + "11492718158123232022", + "14186189182860543420", + "14019117142625724132", + "6692920216888012059", + "7668566238899038658", + "7014793992269584071", + "7862619296866438586", + "5158945806454482234", + "3623214291121473293", + "4287826331737869919", + "15653969461812109994", + "17351067214212977177", + "11181395152256167378", + "6378450172029118230", + "4945289695747165221", + "4351464925964576645", + "8918837228491387776", + "6647189609589680298", + "10520131067952411126", + "10007241312775539085", + "3373969855553489443", + "5577671019557301531", + "3304732808981768223", + "11957645531084361756", + "417980951553125012", + "454103968351630702", + "8521953749029737766", + "17604639005983340813", + "7580032883368543229", + "16362314953931911955", + "15679269569912480120", + "4091623470533942041", + "7620944966115296581", + "14539177938280843233", + "5546622245036936016", + "12495595847257741950", + "17889372564431087826", + "17857515632410610889", + "5792733582263276757", + "8172206242697181606", + "5698558485227435974", + "9840395938719882717", + "16847584574632126772", + "10630332773702556656", + "13661673676429120341", + "5085739575683831552", + "6696315524265941584", + "10391136899475029789", + "1769189342946775570", + "16611649798876458114", + "15748590480061282011", + "17229457781949003197", + "8990616391645286805", + "12679403453733064986", + "16348885956512290758", + "9522109834223349044", + "3825267874530690633", + "5386738275286508818", + "500898824515208788", + "9658720551697864032", + "9815124206266962436", + "9018837250017289118", + "8769851015943555535", + "10187240510978724750", + "2431204752151925442", + "7281381662956200170", + "1266681284725695345", + "17388356457815978658", + "1814758196489177548", + "9178703702477684497", + "925782136417714144", + "16816867024082026588", + "2317794656163742850" ], [ - "12164336603542121566", - "12812817096453443447", - "15644343864316770640", - "5843464881856555656", - "7971988269334520732", - "12704457059633849508", - "160058570053634779", - "15965334470589837793", - "7811366049421715621", - "14704208403249186277", - "2083588611452649945", - "442533861690345141", - "16863709626758492174", - "10465160297176947271", - "11310918589487699166", - "13206218554922547167", - "366309698635438657", - "15265287135579755315", - "2792384244420509055", - "15328188348035040398", - "9898806380179992162", - "15997805847186116932", - "17255502475403207299", - "8941087424356317748", - "504585702059027707", - "6043503207852911483", - "16422952021777505285", - "2788281187815422572", - "16821605285799610920", - "116272997323618231", - "6912041251811020617", - "712898781282113866", - "12897232202611944390", - "3119483016881680568", - "17658510245935260275", - "9225416967493011778", - "4805624734614030549", - "11754293182232996857", - "5390739162351284019", - "18295019180278707489", - "7682464310166137317", - "6829970854269792770", - "14264137825793889818", - "11241124918869620342", - "6513788529048697114", - "16426077425781919148", - "4582788125285014220", - "18033463740996415062", - "4482691036226822239", - "14847425445247376545", - "12254195959067295571", - "1853744932163191317", - "9628640222682396129", - "18221346380136454195", - "13166812020456236832", - "18032396004680492290", - "7837872208029137092", - "10310722491832193486", - "14863564560146723599", - "10753613728361687530", - "9678737046016784104", - "617536546679249687", - "6533770177623927233", - "12525735578884710902", - "3819414929997738054", - "7478479259557271875", - "16418370745743688683", - "4789420763622016889", - "6743436825383962015", - "501040231442020213", - "16339272437415947240", - "9462605758409493918", - "2152101146538555888", - "3957192509362671569", - "542159063185276811", - "17236720207049883728", - "5843326596842780725", - "14935889225116336381", - "8675274340360211554", - "10947095717060285837", - "1905003324618375069", - "8970142393093623394", - "2156377454610079898", - "15869851389355392464", - "6810974837241544093", - "10921409972834261676", - "1927828313764036461", - "6772382931648012198", - "1939042278409804135", - "3698446049512123708", - "16148097678697790482", - "15724130715800693842", - "2812863718921396393", - "12083548460019240509", - "4879803286240795812", - "13885552695841701619", - "17923932964545177969", - "4001094483777251060", - "8665528840523834237", - "3667085420350556602", - "12898661751689658010", - "12365792714609859073", - "4654466305085346424", - "5456151484048737593", - "11714382675003356703", - "6591884804123500405", - "15138054514471035049", - "6542469854439001603", - "5227754479099216984", - "2669785802567929124", - "13580393025251555122", - "7534489541290210227", - "7620164554654335790", - "10770249500663885876", - "3594792543376929747", - "9688762784773015062", - "11290236681490953439", - "6320087533430181697", - "8711829401917274786", - "9745277378928001027", - "4403060589154811081", - "15477589671062494863", - "9999543625731001209", - "17630503816235457844", - "6201744767918640075", - "3275316291946853927", - "1822983075240160430", - "1063650615393345787", - "1401943193803658808", - "9077689119178907259", - "9374946440591722064", - "9065762668471575751", - "7184065402549936405", - "7676370121028749379", - "1884573162230432436", - "12759256846121245984", - "4227857495667027841", - "13521262037363354323", - "6515382860602387270", - "4490220372346361239", - "15820698500553581371", - "9529566625888235399", - "1951519840422243663", - "8441507629011423108", - "13281046283821149372", - "16478171010054643509", - "9577921259129978424", - "13465654440560829786", - "17755411084100356329", - "12532796592546736606", - "6078577480078135660", - "6783416183298041029", - "15050888196027606754", - "10010749060970026634", - "5860590010336382427", - "5748485854102632425", - "12685525017902016442", - "9245416585015934541", - "12348391720649338911", - "5469598280118221726", - "11386404061145675017", - "9373947472361434969", - "8830443981393487465", - "8395363244308760188", - "12628540117854992450", - "7555117727218758548", - "12740302372894518845", - "6380099261140482259", - "1312627132189011683", - "323553438263542626", - "4147463432532130271", - "4936035771149408695", - "2939899286347833817", - "16310200901692382343", - "2775246071630096517", - "152340020604641370", - "10487017997130714983", - "1229649896147203614", - "7831148882762832948", - "12411844707387219044", - "2236998278426564550", - "4863659399714382493", - "14172496117887235630", - "1745066518641560123", - "8959755632409343761", - "16629185682457850669", - "3395854262583615409", - "179684594989933911", - "18368000980397363204", - "12522828095312294190", - "17276344951917054574", - "5118510025467785967", - "15239810308810769272", - "11793694295538059056", - "2198257418660920584", - "11473209597796276582", - "7713482902202002841", - "2978096985001521633", - "1542565678642824571", - "6842069401794408844", - "10605137092245771762", - "521295575042876145", - "15756670042642500041", - "7930784562969658868", - "6032585743106640962", - "5378413054509930752", - "14647673004147433162", - "4316823117556895821", - "6872334413180434663", - "9182788181461913847", - "11394815350070390429", - "10619464489375161278", - "12806491488012564860", - "14621340883032798912", - "4963888574815243600", - "12729720494164719186", - "9162375586270712191", - "6656272780774680657", - "6951310959452255416", - "4461912024252654260", - "8686147100971510684", - "6946246197021564046", - "12734666718646474869", - "3374041699747250805", - "2005850177494752728", - "12689134284665892116", - "7956826654795386034", - "15083072334461719501", - "8575596556868481364", - "300696977960052843", - "10866385467014183699", - "10166595338156062015", - "18199451408676868512", - "18417130902235138606", - "11309054192328950951", - "18056166854256251551", - "10098159425739595438", - "14862757963281042840", - "8427921247807150421", - "17884330911802417285", - "13449736754677654626", - "7156134069169220996", - "11787675145099466618", - "307610464904499050", - "12316910934395995152", - "8257988298771324381", - "24072456599911983", - "13153830349073371793", - "7870701018975832939", - "14718161088198282691", - "4863403971758695098", - "4921899113814003222", - "452737529817096917", - "9482666330707036965", - "5783741898871403166", - "5613525149162520243", - "13731787196485809968", - "2207392656948246008", - "6674488333961147879", - "17857014950903107360", - "7323176415532895692", - "1116998036879625590", - "15319651197205070409", - "5952720464258724432", - "15072175678261577830", - "9488176868367628993", - "16885503655932383196", - "9851860115498139804", - "10574147441531050116", - "16242179677561905854", - "4479119593270333866", - "4417990019748059860" + "8225447216782198500", + "5612663032039766788", + "15046290212965614384", + "8935423616902308925", + "16376456006200026454", + "10204686759390434106", + "13025350190527439632", + "9486559740293991973", + "13463803727981583558", + "2244381737900013792", + "17063379901017192291", + "4086639318617860963", + "6508109730945095", + "1138203948042541969", + "13487890536247842041", + "17949481989142002249", + "7581526342573599325", + "7571141867558596589", + "14682547550870122615", + "17955714285087919006", + "3187143238023067059", + "12735304744754731678", + "11301968501425355957", + "16122667533881604614", + "10726602908494600785", + "3966019013229013764", + "13605149213509313169", + "6549766237725525232", + "18303694064241570183", + "1809573491212003211", + "14632193365918888810", + "5908467637206294702", + "12053358043509181496", + "16105455237094968955", + "15624214909563252249", + "808909111791815218", + "9450016170922660421", + "3697689468568186794", + "3845291282168357788", + "14582288976474046917", + "3417643240948797336", + "13762905918061927206", + "4896637793868940479", + "17789026864160691830", + "15734981091973101154", + "17276851373763464744", + "10653951503859726831", + "7692581710113881055", + "6135205477144065514", + "9999342068321340661", + "15729030574227669312", + "8490654628535446068", + "4186254573102548809", + "9398324660084037852", + "10761454494188992689", + "14807535047391393470", + "2797232384883508526", + "14625133696525885472", + "9436983084270688783", + "17875495011182838487", + "5692711502007825721", + "3633023982155268184", + "718019997773603950", + "6561577601099538468", + "1291469313549000408", + "15465077866677241555", + "14617512406884890146", + "6840166792108566793", + "5514413281658216564", + "12587206902148313057", + "8426098360106633073", + "11267479007299455496", + "1969275645051301893", + "7523321469208055640", + "13232767882819444867", + "2733990648933389954", + "1089763338843837491", + "1849965009445880535", + "2088124596968768114", + "4723058037338356536", + "10760656573399210489", + "6333173333938261561", + "12853803931262907431", + "14454491670861901031", + "13497771143959295104", + "4853100432933006557", + "4032747135655717972", + "12644350060353870125", + "10964682680963243211", + "9810061215690152326", + "14417347553014658433", + "14511899050319587154", + "11432463663599052376", + "9583109644059337709", + "10208282931055248936", + "16044426838169641468", + "537462193767496160", + "12645916220619899610", + "503237322717783157", + "16754176062183800023", + "1638088155226998593", + "9494285420764442170", + "12430161351796570098", + "5258343925060658833", + "5957112447003573115", + "5142551490430532310", + "7404027303475579407", + "1534708059428365150", + "3330913186423620736", + "16120760483859176671", + "4769558814621709368", + "4749953523178498980", + "6866065745574572124", + "9075967481469825462", + "17287110678742930317", + "2436991680009553468", + "12306458617640376497", + "14305057084165895955", + "16712553450183345974", + "8976761595003792551", + "12201379139699702126", + "14625412434473059395", + "14414313126361911316", + "940485631060478655", + "9560431807769988226", + "10025805858815068434", + "14774332233800484363", + "8754272916893254010", + "13122613320000139630", + "11055266699655431475", + "16568725548497107256", + "8287511812368449746", + "1694946315245500743", + "13168087390138065604", + "3238270942478719354", + "11404209761918223653", + "6296906917467932486", + "6137637280826853370", + "6731244406097819559", + "5519249078466861124", + "14759962596773252821", + "16540074683692820988", + "7767755741519620313", + "3639548895992825202", + "14887921193059967374", + "5170210447242203908", + "10213157058582598420", + "10472091955073258804", + "11162762704610026786", + "5531447007893544210", + "9453346412701027463", + "11755546855699168028", + "8164221807764555979", + "2976953042298973229", + "14489002045647709508", + "3983288161742228722", + "12495048075773700352", + "3382685772002001562", + "1993297570837243725", + "8144246723611175945", + "17076063475911432852", + "12842040221942342978", + "9806680472568018783", + "949132869500529415", + "1990388795704337051", + "133048184527750796", + "17086807787689750470", + "434574262189030002", + "17983753785749827766", + "4415639662820064747", + "16868080142574865551", + "5837267078075413669", + "11724326713637821026", + "13331066679708047925", + "14388039199029699948", + "9130175820832890427", + "8699494154624272356", + "1028330665608104807", + "5768289041687668338", + "8292616296248305795", + "14327675285422617736", + "5525591879696040703", + "2651926251057223411", + "5453785462137082196", + "16228484237868890113", + "4481842179408725690", + "11461898450409992676", + "7256466882006995749", + "4225054044263519547", + "16340427947614735126", + "2842846659015487394", + "17938457578702296794", + "17320022681855846178", + "1460820270493717681", + "14756135679907516126", + "1978492283710358406", + "12295501669040223706", + "690545476385442466", + "10755193105622547870", + "13752648222185228724", + "12232723547094835969", + "9973965624481272264", + "15771219237704243596", + "14541648483753781649", + "17846089079916478906", + "3768661020189262180", + "8883280512358958383", + "9011220914815892238", + "4824695106062292984", + "945207709098516102", + "5591361841448301719", + "7583803632562746742", + "17495264359492469294", + "10108081555573248500", + "4156302267087647951", + "2704495552961925410", + "9014231717817521481", + "15203773018254389016", + "1613335783218169488", + "8493746041883161801", + "2843760447160621436", + "12049831965973428827", + "8363032302660068835", + "3613773563499558304", + "10844880015081919702", + "451827630784053068", + "11248735874530240940", + "10772003968233975631", + "9803913888782429262", + "4988187128086995073", + "12531483392536941457", + "13614962746946839211", + "7879346793037764809", + "3508553652990961597", + "9627153493097643270", + "18060849153711712697", + "7483287348969506188", + "4390945222472023289", + "11888399417375270634", + "7173108354387980915", + "17803641548720857910", + "900599196019588386", + "4043184098838706022", + "13213024563846933532", + "3673519211916662505", + "14741639727530162569", + "2358010740953330897", + "12021009081821757911", + "16877180138674539735", + "10376907083349160346", + "18104704347952395916", + "10981326033516186691", + "15394543226876632742", + "12794413307403891969", + "6610953439724590726", + "13202043230844721144", + "3177812749163376077", + "14583227943205595497", + "9398758345710205774", + "6180712946058616080", + "14053581929859493179", + "2662492214605308027", + "6012852432448736354", + "4312905916292540302", + "14017590000855472809", + "7046342036069881171", + "11233889631994665226", + "1666364560511288236", + "5685431916064641665", + "6166227499947850978", + "14967873481075465066", + "15263149942865882614" ], [ - "12511823185350202412", - "11180861422534739666", - "12434575997962263196", - "6332783342225022407", - "12157036855527920192", - "6127433036372120763", - "14464926766956775574", - "17710010321751740572", - "6942353204073136041", - "1170282475569491488", - "5403227596420879364", - "18414823327546009348", - "6772667325009325419", - "16560420912301178900", - "3846834794387788699", - "5194676210991227245", - "5457024701619268586", - "3577405534257653118", - "10062521467984410893", - "2735589323638743491", - "3956333643244184554", - "15949661160342339609", - "11137499451311164191", - "3820479275630459790", - "4469329576959970266", - "8945245818812141256", - "12693872366880040648", - "5105289326407562642", - "5891174017851377531", - "8923200134785984827", - "1994212946938153985", - "73460868529909261", - "4500415638441431939", - "6838421661984920890", - "5225839355350409638", - "7692990043019921098", - "13293080086939490773", - "14043960303552340800", - "18181213611923370843", - "3516184592486798147", - "2165999995987596948", - "17975401954446871939", - "13070181427974333079", - "3716367197707875265", - "15301007952337483449", - "10626972806305972205", - "4639832534384239132", - "3244379275372690998", - "17574495100160780885", - "12320841379813129148", - "1690008347188904225", - "3365613905929596658", - "3267296055593618072", - "11280683138443152636", - "6743336720447317679", - "3438270303074022334", - "18052133701732400392", - "14000249014300943973", - "13254294646110353275", - "18327477734059738836", - "8895907511734088130", - "12444996040695415469", - "7312646730439429527", - "14262448719466614302", - "10744762995155161976", - "9460492641250555015", - "18226434251031362866", - "6419582177923278624", - "9306677102096770137", - "15749949948288563940", - "3578119879948427812", - "18001367168847865110", - "12119697746697536802", - "1381853391793517254", - "8011021077814086931", - "16524951672654141690", - "1325312704401223417", - "13344430627498698271", - "8273963297405283583", - "14210987360005146391", - "9790986993090486446", - "5951155242689073905", - "5633294052909339228", - "6119738690023599570", - "8979741046154272573", - "6851493724084514079", - "598416783157728334", - "8539714024486704401", - "1296798655350024173", - "12502755831665009427", - "6143297613652224943", - "13413228764599917029", - "9944284060219794794", - "18031272261836306460", - "331713361050407010", - "11080091611612014438", - "4979827562847227383", - "16237630133472912197", - "582852255154958647", - "16844729863615524909", - "12649753207901125696", - "998128350918484650", - "5734599790188409150", - "7022841183340717392", - "3832533136628164944", - "608682032040868147", - "13121369052952107519", - "11226182962195166450", - "17457786136864805381", - "5300829731965105373", - "11403765975429405290", - "14488028486851830393", - "5495453288952801860", - "9985484205740074178", - "9799271834879096232", - "9967664945660993497", - "10897652863866115745", - "17107172567962554102", - "4374757776163507362", - "5732661380382577765", - "15676142553076809991", - "13677439750511745368", - "17389217211597742758", - "10830630919147295230", - "17225801327473524203", - "17714149584987023030", - "16877683031149938134", - "2039015075223766102", - "8663554686028837931", - "14661147335259892101", - "13958455819230761376", - "13693383971890625275", - "12678385112531001942", - "5092850086958042984", - "5715222276776062618", - "5929531945330727713", - "13007700584096055942", - "451309616323177813", - "16446497980023506700", - "9657273368986222894", - "1117242181709295618", - "859003491815031257", - "620383927135188802", - "10282176472694187822", - "8507509387028074526", - "5560594301661697169", - "1388681795920237293", - "10533519754289282367", - "588904207863095721", - "1126036391310703793", - "8564983293292645744", - "1906378327600702173", - "17802549737177540880", - "5565664608312427528", - "12681374016213832336", - "12891905020153031782", - "16693058193828678331", - "4121278246578424834", - "15141867135809144799", - "14372775070424451048", - "13938137608219329607", - "11453054856798998293", - "11866160234202927497", - "486144381185153625", - "7626016757211760085", - "13068501235734416208", - "4830859423247319896", - "3791919714155162034", - "31512441298053772", - "7970400842614186865", - "5065755893734089787", - "10982193435635469846", - "12585908747385478327", - "5915657457265946477", - "2192489775477415326", - "11518657916809451707", - "121147360071059287", - "14675525325701301021", - "17035315449852612163", - "6345447735929968782", - "10866292534024387789", - "16688444628995578343", - "2232247353346595528", - "11993519759761054541", - "3413554057511290148", - "9567758256530904349", - "17086561742440908786", - "145208975016235461", - "13123467747282644307", - "16681213085437171243", - "5847320714178813810", - "15944316992466633265", - "5055083037785263603", - "288536633612283638", - "11898097113622314376", - "13261167934349444862", - "9480393165021083128", - "5626802877839974712", - "17918210349199132695", - "2507432891646585632", - "3929811695973981477", - "12734450718658486819", - "14564856135321523079", - "1738842124278585559", - "9172506503329316201", - "1704353153058352221", - "969113718443928127", - "5925708204364956049", - "14086944940934161188", - "16814188247008674098", - "3124794312224899820", - "17011800662642988819", - "8409893711443017176", - "363911306239814549", - "4507697697930674753", - "3191943502730511385", - "9024286284571504654", - "5582516772061812425", - "8967977774716227956", - "16939998509686000062", - "15136121862329916608", - "9131823726720838351", - "1659459249077788383", - "12486607230741639009", - "1353617385126674949", - "962979590423465278", - "7684984404000066549", - "8586286454284650668", - "15192264838055956111", - "20700898447097050", - "17736343975552347301", - "10866638426611271601", - "37928321699608906", - "7493570943055115143", - "13147773395025064092", - "14740427243060908297", - "9309560171402168110", - "9947983697896606419", - "6753046892530877556", - "7876139403625210041", - "18363156565121755859", - "8253106772793314700", - "15091099664880756782", - "1129016951004971457", - "3605199655246049322", - "8079577579730151904", - "10331319985615913751", - "13107430014022491832", - "10685472767401092147", - "15634920956284133826", - "8519677255357632837", - "1665926007247826207", - "3395389501835923798", - "13039368525111279043", - "15948621522689686847", - "9069810819463973531", - "18017411900823162128", - "11369870288781771542", - "2502503176136349688", - "17491939626637068976", - "14692864360403583574", - "5164515290143341188", - "7531146472310162026", - "3117488251733530347", - "11095905574490632481", - "5547322941548945836", - "18134112236478191629", - "17696876531144472649", - "4165517065860948898", - "8410204926966668189", - "14964376461298221549", - "4616790216143668392" + "1603320415682465505", + "11763865756149608250", + "13474795618618395131", + "5445255308747333009", + "3600478022642618054", + "9992517357269084232", + "6784669727176401469", + "1515581983811134445", + "10062801665255282175", + "86839290229682035", + "2208006260741257069", + "13926947665193740953", + "3205963530927269348", + "1590346377799068593", + "17146054908329775724", + "7582549280466963386", + "12811716257215697732", + "17274462794153396788", + "5252024270076870814", + "9449457875043678429", + "11225845381071796585", + "10430282416565636368", + "7402607773553671693", + "2499050039144696108", + "9218742732748084406", + "12152750954457269860", + "12911594555859265718", + "2005628054087023282", + "17941514681618185247", + "11084681401497371826", + "13551615485922950850", + "14940182388409465894", + "16190937803879918980", + "14572546135553988560", + "16132684214794736021", + "18310043483566402736", + "14037460666014548635", + "10551395282813735086", + "13966245480039257526", + "207330733528323102", + "8911367766398282180", + "14154195764934386317", + "1993503419255993420", + "6382861051982107130", + "17094549470412686783", + "4543602144753991781", + "17707829227000086354", + "16770301588966989662", + "13511936839038805249", + "17507136368242124653", + "16830326618702820662", + "5516973367219741198", + "13265628295142729157", + "8444225860005984001", + "293725905364426409", + "15455352490987650475", + "5963265763334386667", + "3397693396680614132", + "9005636685805655864", + "18238284684034194914", + "10037046518405611382", + "16202275518865806049", + "5281748242974476537", + "6203858254206164686", + "15307841774297906819", + "7030794436750625912", + "12640402968343975636", + "15541479547350581302", + "5155950430892271456", + "2895428634054501802", + "2849233463251125191", + "9561218469541586554", + "18295262571029623119", + "4611951924933514756", + "9777362204333085501", + "1139100817883464084", + "14730671565575582011", + "12610208976407028604", + "7305585070475755657", + "10032813694692187985", + "11401020493703049041", + "17858864867575399997", + "7386391170803762057", + "14384933921751356322", + "11974742355973003465", + "5502772330303104743", + "8071401973423754949", + "2860133428645653921", + "18019925348881805043", + "16031942351593967375", + "7952036655362238880", + "16945822563968826699", + "7861152006242165121", + "18356600247158082952", + "8877645949019674025", + "11110846473613461936", + "7470964773151712504", + "9252160969755449487", + "4457879129343195708", + "7458449323375116943", + "14731663470075813777", + "11242093891827173137", + "6578474676637189103", + "17470847633834939407", + "7468140046739066720", + "146226097951081659", + "13860971022033425257", + "14006416078358700461", + "16970239468011029241", + "3696084520509498156", + "2525235009878028359", + "6930885402749708341", + "14738106102724150246", + "5871887740447851896", + "15432993269666887091", + "10521900063180473950", + "13518510326168683697", + "1633844767744416056", + "9318868083699642812", + "679251341614803381", + "14648648466133464004", + "10388913579270588361", + "2402020775876031006", + "10984311582668548660", + "1043096739759983591", + "18399216998100090223", + "16750080489501486253", + "12124400330750948992", + "3167483043534013249", + "12916591915510034070", + "6861201743471667145", + "12430897350705313060", + "4681152534893041702", + "4021806422597314373", + "14308003759217000580", + "14778136911832247898", + "6628372311672750118", + "16856888373817221608", + "13293533718755946551", + "13520971665033941495", + "16189704771249305826", + "12245608735023221399", + "9407056565820376969", + "546340295164257587", + "7720504046506037118", + "9616395564582960368", + "8757491402732584632", + "12353086135242242693", + "2812878530844555079", + "10004511160904949414", + "8898387307154169993", + "2976689410189845567", + "1226331782287692334", + "9442291835454763732", + "6118185780182763935", + "6780506564191056879", + "8110712117257790431", + "270538348705329803", + "15700565256179513959", + "17727756580416893645", + "7109686001960215771", + "15315543269717981508", + "3434028437909128481", + "18360473896398019639", + "12479721900272173618", + "11758731568399632525", + "2375776637674629790", + "2364799464184712741", + "4656512229517241032", + "2434374858234848588", + "2880801647749454503", + "9823763568898496909", + "3057821447188785220", + "11965101747275627516", + "2748897523606766546", + "14931352990061630972", + "13119254618379776613", + "16667492301328476259", + "17659705798509180648", + "1159872743163404463", + "1921741962415017403", + "10762892881806831067", + "3982906931305992347", + "673843079251310501", + "11278423182977943691", + "18108013132642678300", + "14984910686272311582", + "14210795345529805849", + "13591862809502918495", + "14789975575289003190", + "16811255438212393996", + "12456953425264211117", + "1553556404535549135", + "15655740552658822848", + "10325397167218712346", + "13449926017411280254", + "10635936783470847684", + "3027709087077251318", + "17077926381049931312", + "4957689648523010199", + "16182922013461189997", + "16623672411506308998", + "2612661172740400460", + "17303300347304997337", + "13811016027564709966", + "653676333001147725", + "658275767369057271", + "6906477463235374439", + "13758573070882307196", + "17053592027684045994", + "8781780319997194359", + "12681840593406136513", + "3255112000227215032", + "13677089974782536962", + "11740037222810921243", + "3213126502836087143", + "13815331059532575680", + "17242234127606888108", + "16889606745407546126", + "8812103134088572978", + "14708666776325790918", + "2773669619128602332", + "8822275831924893221", + "1804702270378763668", + "1160701551717299361", + "16404421967646074682", + "1118497148442860345", + "6068559996008908540", + "14756082221387560788", + "14144123978116114924", + "18149055412387738468", + "11224365532319074564", + "205000636788034138", + "1664839022021008923", + "9388484513741979122", + "5317856436718517986", + "15884908866614882048", + "15778482653544060729", + "7100838324653085206", + "6053835679819391546", + "15016293314061158015", + "6895473308141609040", + "13140045356169065858", + "2116368821309884839", + "14306849194373196331", + "7657610551838216949", + "4621021973361721477", + "10615690043457114173", + "14783433287328874221", + "598774371275525088", + "15145342543284750856", + "2054111538964368780", + "7883486571424482089", + "14940925584562024134", + "6900417141225727772", + "12478653712812527770", + "17291502858586230668", + "2648333286127231896", + "17842081206873867662", + "2862526908042138536", + "11709418540356910152", + "7893270037303109950", + "1395171027227288741", + "17185339938964764532", + "1247291192271639400", + "13021348740680020390", + "12286174887902651660", + "15189664654280728750", + "3574747074239912638", + "143573641349782807", + "5553212949362224942", + "9888175480804015316" ] ], "merklePaths": [ [ - "17521812969004375809", - "17401775676693675814", - "2132449120064000121", - "2436267307902457551", - "12384040386556511126", - "7964970268715961117", - "4571252606243785214", - "18088599714218275576", - "15924765121551677905", - "4934356040860270913", - "8780785696799589453", - "2297706629669476114", - "6793177819952239791", - "16728391269790186262", - "6266237934659429220", - "4480684448074332738", - "1638907574212320529", - "11731596768172764326", - "943281309284911654", - "5224985487185041553", - "17709097030462454428", - "14063055819466580906", - "12956863906411951074", - "10396836250808212517", - "7701953957266246973", - "15349070021371789835", - "2545760875147221721", - "1827159974107190283", - "2469311978956307295", - "4843590159545409491", - "11193191064850196703", - "1569582949515545091", - "2661131462616805541", - "4186318559111643692", - "7050228477722835141", - "7145537746747741780", + "1986963761712532564", + "8738499204814543644", + "9439659284609177807", + "5454011783483974630", + "10803592650835896220", + "8512523783744709616", + "14043270695640915958", + "8374213178335014355", + "1987046889500337772", + "3833937495282551908", + "14833595582956104886", + "16070291798088115141", + "3776226206688873426", + "5521644353855824652", + "18389141866580927582", + "4695662660800859442", + "3203342772207952608", + "5359440804196990107", + "7355565350781200893", + "12116333360069217159", + "8001913629742446890", + "3459035810660367035", + "5479958428734205870", + "13181180172503189135", + "7753885253479055026", + "17568493042920387658", + "17240462375963125264", + "15203305310143408268", + "13985651594752366961", + "12770895334463189485", + "6378262513476061999", + "10207962841867824103", + "6516210790846920030", + "15379612660681176786", + "12442728621483592481", + "1535077264698685865", "0", "0", "0", @@ -1558,42 +1558,42 @@ "0" ], [ - "18410866441896247166", - "8056210349206878735", - "2252210463726727848", - "15272979491003466622", - "11588207298226455140", - "7533046894541940998", - "9943140235776472046", - "14794650385093099747", - "15387374016049185439", - "17971862662034295438", - "15117016146912858807", - "9287342109289723661", - "4474252326864047197", - "463656117437677372", - "11120148920654282456", - "14286519202834108167", - "13644286487580303492", - "4238476832459727219", - "6546069154547364045", - "12806277258173490659", - "15775320709361689380", - "12339331747891173807", - "10136899951782493170", - "11008595939073128285", - "11627502153493859624", - "15279600890081919484", - "14346668963739288776", - "17325331783956458102", - "8338554441185274404", - "6143243442766723694", - "1138850724263355331", - "14935088216339841761", - "2661131462616805541", - "4186318559111643692", - "7050228477722835141", - "7145537746747741780", + "17609225905348751403", + "4682683251904196791", + "17677124891710070020", + "11646730606355256960", + "4633595584528819593", + "2949044772549138734", + "11412364615869744680", + "3218480828839777372", + "11410403109423251773", + "1634853362789492189", + "3922789578659597272", + "4587357357952074615", + "2747636960396714394", + "8549882781595287617", + "16326450608519382710", + "443066712683949075", + "18445539464516919302", + "1274476153437350726", + "8190235928322366549", + "11059153419512472813", + "4654238968240723881", + "15995914912007684289", + "6028750608558158388", + "288526976295530962", + "9010274380901520231", + "1335212986137463964", + "9479188580062989517", + "3079242110489427562", + "13985651594752366961", + "12770895334463189485", + "6378262513476061999", + "10207962841867824103", + "6516210790846920030", + "15379612660681176786", + "12442728621483592481", + "1535077264698685865", "0", "0", "0", @@ -1688,42 +1688,42 @@ "0" ], [ - "13879899180386560633", - "844287429996712998", - "5276607796667922834", - "2022693834825994447", - "8239630488840719692", - "14919350527908615083", - "17579222155629310874", - "13643531029967709471", - "9244815123164952178", - "13920044382359719686", - "5179953074097412552", - "12989389928136876861", - "8238060481524523821", - "14437895657491648205", - "5008087763902025696", - "4312683966209697321", - "9142966634388453685", - "4177178266367433693", - "11964496336695985938", - "12560612610655277515", - "6439106297811590086", - "6408800859255380320", - "5194263822288353879", - "1431219862437240910", - "9040355469454998458", - "6001213857623493223", - "14309906362618559017", - "8284675051155156028", - "13601992630211140427", - "15342534933995875424", - "15266666429446062757", - "10334488843474068201", - "6562619337730545597", - "3566642693355360523", - "5804042823834294894", - "12406706627756222093", + "2322939300819776280", + "16458546500677867871", + "9316599539597247274", + "17696238492954804562", + "3036944342735293655", + "15679439220591016398", + "13766752048606826569", + "217686293837119158", + "13896524559868873796", + "15352403270026694615", + "17421759520476610539", + "6760975632971948402", + "6332247984185727373", + "11527194937150018674", + "12749856360008082767", + "6063259474759495048", + "12555886947085964108", + "12136848418269218210", + "5349856146903929887", + "1885161025061760369", + "14954762761723526865", + "10710588072526262089", + "14129114127295727750", + "17794739725439451982", + "11724486384923299878", + "9154635031361826599", + "1982325468367103759", + "15835820390528881021", + "11541956247044937127", + "12486174040092807417", + "5768267076381354143", + "17517022663147657902", + "3540627337573646109", + "10354332461283808490", + "6773801312834246515", + "9268085836559242792", "0", "0", "0", @@ -1818,42 +1818,42 @@ "0" ], [ - "4946563352738313304", - "2691548956022348388", - "6707767971592741818", - "7444279688363170762", - "4554187004289719850", - "5307889653005831518", - "8984571103117914372", - "2913796950166761889", - "2986685542663752962", - "8399530269760663153", - "18141973624923038791", - "2358021970331793349", - "11269190924739856397", - "14693165641435166523", - "13799948811091407347", - "14798055595499992311", - "946241700789389534", - "11577735914902897447", - "5105288952333374221", - "16842564821067711192", - "16780266084855523443", - "12833417235604196576", - "14814115936694539681", - "11942065392348950018", - "1272114958245428015", - "1154688454998566703", - "11236720114303192538", - "10376165810215713014", - "13601992630211140427", - "15342534933995875424", - "15266666429446062757", - "10334488843474068201", - "6562619337730545597", - "3566642693355360523", - "5804042823834294894", - "12406706627756222093", + "8426966374734033943", + "5777769069403790077", + "9304947797486285928", + "10263773540576510278", + "3485271863167616288", + "1455859404506885403", + "8505351961984680216", + "7797123358978584947", + "5460556757795380482", + "7367407684211308085", + "4251830017791616931", + "3998165456951419475", + "9530228291713676081", + "7952688244573158830", + "6892430404531124700", + "10136615359111402419", + "1762878939729020940", + "13510075971288178398", + "14954078126138252741", + "13751964934552315534", + "2592584941176167107", + "8505527845622561101", + "15614550089855430122", + "15333419727813313154", + "7516384110164594057", + "17581116972705913173", + "7080912656336232696", + "13857938058640126940", + "17312870547958000018", + "2633640987590411737", + "17957903501452433792", + "11747277719451386846", + "6516210790846920030", + "15379612660681176786", + "12442728621483592481", + "1535077264698685865", "0", "0", "0", @@ -1948,42 +1948,42 @@ "0" ], [ - "3087954896799700211", - "3619658158651448490", - "2780388756057905051", - "1810982789801032262", - "3595969523693561035", - "8117965694698418661", - "14861679554954300450", - "1121515385393167396", - "11449277721857853737", - "16396860094840750518", - "1620910850558949394", - "204167234873598813", - "14335341651824933149", - "7863833402773475111", - "2258583509484991502", - "15488098014922984620", - "4419072917930871911", - "12370574572665138883", - "16925549331061429240", - "3895742573730169641", - "15606411774873868329", - "4412176117981904638", - "13253263663829678823", - "8396688814826852457", - "7701953957266246973", - "15349070021371789835", - "2545760875147221721", - "1827159974107190283", - "2469311978956307295", - "4843590159545409491", - "11193191064850196703", - "1569582949515545091", - "2661131462616805541", - "4186318559111643692", - "7050228477722835141", - "7145537746747741780", + "13807965745190204061", + "1060516800252608828", + "12810580387945374232", + "15390224212380985046", + "2429351084438450164", + "1099457157542346742", + "13297204802629966206", + "3102948393217038252", + "15762410957226267004", + "15258940442462356535", + "16368818477534928371", + "2378617262953109708", + "6332247984185727373", + "11527194937150018674", + "12749856360008082767", + "6063259474759495048", + "12555886947085964108", + "12136848418269218210", + "5349856146903929887", + "1885161025061760369", + "14954762761723526865", + "10710588072526262089", + "14129114127295727750", + "17794739725439451982", + "11724486384923299878", + "9154635031361826599", + "1982325468367103759", + "15835820390528881021", + "11541956247044937127", + "12486174040092807417", + "5768267076381354143", + "17517022663147657902", + "3540627337573646109", + "10354332461283808490", + "6773801312834246515", + "9268085836559242792", "0", "0", "0",