From 3a1d87d4508315b8e4dd7ba2b09f00f40c4a0089 Mon Sep 17 00:00:00 2001
From: M Alghazwi <m.ghazwi@gmail.com>
Date: Tue, 26 Nov 2024 11:04:22 +0100
Subject: [PATCH] change entropy to hashout

---
 .../src/circuits/sample_cells.rs              |    4 +-
 codex-plonky2-circuits/src/circuits/utils.rs  |    7 +-
 proof-input/input.json                        | 3096 ++++++++---------
 proof-input/src/gen_input.rs                  |    4 +-
 proof-input/src/json.rs                       |    8 +-
 5 files changed, 1560 insertions(+), 1559 deletions(-)

diff --git a/codex-plonky2-circuits/src/circuits/sample_cells.rs b/codex-plonky2-circuits/src/circuits/sample_cells.rs
index 81e7743..a38b965 100644
--- a/codex-plonky2-circuits/src/circuits/sample_cells.rs
+++ b/codex-plonky2-circuits/src/circuits/sample_cells.rs
@@ -67,7 +67,7 @@ pub struct SampleCircuitInput<
     F: RichField + Extendable<D> + Poseidon2,
     const D: usize,
 >{
-    pub entropy: Vec<F>,
+    pub entropy: HashOut<F>,
     pub dataset_root: HashOut<F>,
     pub slot_index: F,
 
@@ -342,7 +342,7 @@ impl<
         pw.set_hash_target(targets.slot_root, witnesses.slot_root);
 
         // assign entropy
-        assign_hash_out_targets(pw, &targets.entropy.elements, &witnesses.entropy);
+        assign_hash_out_targets(pw, &targets.entropy.elements, &witnesses.entropy.elements);
 
         // do the sample N times
         for i in 0..n_samples {
diff --git a/codex-plonky2-circuits/src/circuits/utils.rs b/codex-plonky2-circuits/src/circuits/utils.rs
index 9448bd2..0ad7106 100644
--- a/codex-plonky2-circuits/src/circuits/utils.rs
+++ b/codex-plonky2-circuits/src/circuits/utils.rs
@@ -1,12 +1,7 @@
-use plonky2::hash::hash_types::{HashOut, HashOutTarget, NUM_HASH_OUT_ELTS, RichField};
+use plonky2::hash::hash_types::{HashOutTarget, NUM_HASH_OUT_ELTS, RichField};
 use plonky2::iop::witness::{PartialWitness, WitnessWrite};
-use plonky2::plonk::circuit_data::{CircuitData, VerifierCircuitData};
-use plonky2::plonk::config::{AlgebraicHasher, GenericConfig, Hasher};
-use plonky2::plonk::proof::{Proof, ProofWithPublicInputs};
 use plonky2_field::extension::Extendable;
 use plonky2_poseidon2::poseidon2_hash::poseidon2::Poseidon2;
-use crate::circuits::params::HF;
-use anyhow::Result;
 use plonky2::iop::target::{BoolTarget, Target};
 use plonky2::plonk::circuit_builder::CircuitBuilder;
 
diff --git a/proof-input/input.json b/proof-input/input.json
index fb5bdcc..203e059 100644
--- a/proof-input/input.json
+++ b/proof-input/input.json
@@ -1,9 +1,9 @@
 {
   "dataSetRoot": [
-    "3613794662362217393",
-    "12132776282825703651",
-    "8253653101310428527",
-    "10915122772396906599"
+    "4760173294100036867",
+    "5358064736915990803",
+    "9772950932489489825",
+    "6491995742534379164"
   ],
   "entropy": [
     "1234567",
@@ -15,10 +15,10 @@
   "nSlotsPerDataSet": 11,
   "slotIndex": 3,
   "slotRoot": [
-    "429662213503648492",
-    "10890585133787901820",
-    "13187952969400876308",
-    "16575496996187626198"
+    "11208856525545947750",
+    "12058525425216103625",
+    "3149473218406221854",
+    "859537620666194365"
   ],
   "slotProof": [
     "827439652992611846",
@@ -56,1414 +56,1414 @@
   ],
   "cellData": [
     [
-      "132588551183555248",
-      "14035338510123443849",
-      "9385598632739334819",
-      "7907228924607296891",
-      "17148269250382463422",
-      "1961618131941292034",
-      "12332454545367707891",
-      "5927403812314342527",
-      "7025913973326392370",
-      "3173894095891265198",
-      "11242175941238076432",
-      "17332932735018124424",
-      "3110666094725980316",
-      "14381859642488262691",
-      "9991815589120219484",
-      "18303458253820310854",
-      "11917822731634422267",
-      "1242418442703677840",
-      "11387832556773606059",
-      "5118718497448786224",
-      "496060152896430425",
-      "14279266754662033494",
-      "8543881821724434533",
-      "11322097246013684759",
-      "10336111132747422153",
-      "5148730678443659926",
-      "14545138053820490991",
-      "13588262308972909396",
-      "12607434109725876847",
-      "15776756612156581253",
-      "1349957755865481871",
-      "16931217033535158106",
-      "17232121344009272571",
-      "13265241729485557294",
-      "1593632224902108504",
-      "7987847555161640181",
-      "2259933831646179225",
-      "17638133530041404094",
-      "17293004737044624041",
-      "5395056861094580678",
-      "12916194740733319133",
-      "7854013109881700290",
-      "9915004071342861614",
-      "838491408621567726",
-      "7345423828616363847",
-      "843414590294343028",
-      "17379193136139284923",
-      "351843766510333972",
-      "17878578988489233008",
-      "6333678750151704780",
-      "16441479223153343766",
-      "16790751014747161052",
-      "701731868243078861",
-      "18276989562324041059",
-      "15074753742924883269",
-      "2102489970380769163",
-      "9411352530326229744",
-      "3203362317018079602",
-      "2283198226844551414",
-      "9544879713968889312",
-      "12618455757301305658",
-      "862471053753077929",
-      "1497541185571625799",
-      "5051747576662105509",
-      "11642726712780162542",
-      "8989035661925030328",
-      "3356359932753662757",
-      "1776837869811191245",
-      "5616046352818866999",
-      "6931373635816605985",
-      "7104056804822839379",
-      "11436560402191240468",
-      "15331125775145718144",
-      "2550727131493617396",
-      "14420162595844027602",
-      "8605150223994577485",
-      "1955001164555932958",
-      "3284250146629748710",
-      "4398085464950545371",
-      "5644441913650505379",
-      "2232762554666808214",
-      "16268030323253744419",
-      "13410910935199902910",
-      "2024995886049060482",
-      "6527499220771738058",
-      "15270108473958120577",
-      "12236108004308316151",
-      "15520969405304042511",
-      "15727917967214192235",
-      "5108017441629431456",
-      "9019852458135520297",
-      "15712404499719005221",
-      "13952134734385466070",
-      "3130351746149733849",
-      "3693490388093070851",
-      "2463747208910150264",
-      "2096539574644575104",
-      "5362892813949797096",
-      "6967529565777833641",
-      "12125069790874695504",
-      "6868825225120410852",
-      "15206569242572838349",
-      "5813093915342033053",
-      "14388539021801228871",
-      "16789084995875289408",
-      "12275164155804024423",
-      "8367672667996066500",
-      "3274664478204651776",
-      "8977878885251470357",
-      "970602053029903483",
-      "11568518011058677277",
-      "215831248655756777",
-      "8251038898145762842",
-      "7777870269769441319",
-      "1345750831564165599",
-      "3072322824905964361",
-      "1689006883509515211",
-      "7702361340866377990",
-      "3850463885647730138",
-      "12839626823468307114",
-      "4248881309707447046",
-      "2941551936274606542",
-      "6167409786985939756",
-      "2753141322547778737",
-      "12906410225180905637",
-      "2324966629404973144",
-      "10406721938231957808",
-      "3660923936440318821",
-      "7489311752135456045",
-      "2222328126452018363",
-      "9203265111027833379",
-      "6778838453741444906",
-      "8758324985414500611",
-      "5836691028315947908",
-      "13069488308252313003",
-      "17179781547056510361",
-      "11593331483262635797",
-      "5964260163863685093",
-      "12614698575402298123",
-      "6117678943094553695",
-      "14396399623126755647",
-      "15744328882157656839",
-      "7429119479717987172",
-      "5879924642135011002",
-      "1054877754638163151",
-      "10012145635057014545",
-      "1908470339642425989",
-      "6515860711925359520",
-      "16373938651649407151",
-      "3150755596569282993",
-      "14939382450602697343",
-      "2096477500760351136",
-      "13510584108982430496",
-      "3267388629684582741",
-      "9459551159709299214",
-      "8856031743144571147",
-      "8998393449983447986",
-      "6316251763325755642",
-      "5296950231130677816",
-      "9673142184400834518",
-      "8739412631374559733",
-      "10933451490310554658",
-      "1000542662024715673",
-      "17802598817405876917",
-      "18102534287162674375",
-      "9748507058025063150",
-      "13422170042229028635",
-      "17217065505352856013",
-      "5583400321961043268",
-      "7796875905348770779",
-      "4158416013196978062",
-      "7493651607437148409",
-      "12386606916856352991",
-      "17323688808839770929",
-      "2470912101713215418",
-      "14135217546441345823",
-      "11325761618288289895",
-      "11685910330334339631",
-      "6420574517221124120",
-      "5005924461306512281",
-      "11626969595453740138",
-      "10903934862420847952",
-      "3000209066313108402",
-      "9138518552862707238",
-      "13104951722825663615",
-      "891650756396271184",
-      "18012073913125902618",
-      "14328931759643535072",
-      "4299280060354476387",
-      "11503357449648812119",
-      "6784555791160019290",
-      "18184933731120320992",
-      "12491413629931417889",
-      "3927971272094911804",
-      "3538297781331990229",
-      "12191416732692483626",
-      "6485208800034206652",
-      "7431053310063486937",
-      "8817756206410936084",
-      "7326352882373652809",
-      "7130007380591694684",
-      "14358971882049864124",
-      "15796637941158175018",
-      "6119280982443281703",
-      "17775749431046117854",
-      "15980436222607995658",
-      "7653120529927890634",
-      "6173744134352838153",
-      "1521537554111805502",
-      "7171573281548376271",
-      "9800563026401505740",
-      "17515978068171768227",
-      "505475530459225629",
-      "9871766308374136968",
-      "5579363222446067439",
-      "16763393321450124382",
-      "10952707592142061477",
-      "15339455126896406861",
-      "10095669280086436398",
-      "9377600774182323180",
-      "17261703275566466583",
-      "9339100839954540136",
-      "13686913895258532280",
-      "11048655238703722020",
-      "7350642958406535360",
-      "1901111773362873877",
-      "2446057662939281235",
-      "4037270370218663532",
-      "14693954042062690739",
-      "2445742448889273264",
-      "5629464926699924822",
-      "7064338158641583461",
-      "11784249443180358630",
-      "5251050566185324733",
-      "18086373191613366900",
-      "996293155106976544",
-      "9983770411109826790",
-      "5321828398186769423",
-      "2801227450780398493",
-      "2547992631906654160",
-      "9836079640370171630",
-      "1346691294385032125",
-      "3923247834386599063",
-      "10138195965367017114",
-      "13326247499104269506",
-      "4192550363943594675",
-      "15669421159463199269",
-      "13983315300948181383",
-      "6747652125584970272",
-      "8150713492095621038",
-      "16001349341552125639",
-      "495366569621618647",
-      "10261674696106832218",
-      "4118488834604982976",
-      "11164325056500602238",
-      "15378295246000349587",
-      "10019107578102206794",
-      "27671577022760910",
-      "5976199910496901641",
-      "13405394988325206902",
-      "13023610410251397546",
-      "7852301621205612213",
-      "2093957361069778425",
-      "7066195967147139684",
-      "530064797758614478",
-      "4747276204792588337",
-      "5543227722891454958",
-      "10647018920743195157",
-      "14253121222526413455",
-      "14346656179027599478",
-      "5365396699028756568",
-      "16981243337622445008"
+      "6973111353291731241",
+      "10452042332261262017",
+      "6808009728242459948",
+      "16589077547086671346",
+      "6775365263257132728",
+      "9659473671418270670",
+      "11550494033213626566",
+      "11348509419978199381",
+      "11308789604650225208",
+      "7503777153985313322",
+      "13130149018801549907",
+      "4976471628852401998",
+      "17287712205764445902",
+      "9882547409584845215",
+      "6479382585602316683",
+      "10469296267134010069",
+      "592357195391822363",
+      "12040384799554283155",
+      "2348690412038159819",
+      "4583384024931567974",
+      "11435310288152342658",
+      "7264157071566763594",
+      "16785339528572142692",
+      "5683233572293346246",
+      "3917787578211573699",
+      "3967979685491927057",
+      "17423129386013637514",
+      "3193814809598130937",
+      "4090114187920329995",
+      "6042165709704101935",
+      "12630271782612175008",
+      "13368005551823969202",
+      "14938256920556338266",
+      "804560941771930487",
+      "774483082185136695",
+      "4601791785306249163",
+      "4170495871523092255",
+      "1959330925063406880",
+      "5693738617699090976",
+      "4646793411422987180",
+      "16526446898066810914",
+      "5609426008041491544",
+      "8838053963573349873",
+      "5630864513913889921",
+      "1061058499070664240",
+      "15450544194307179818",
+      "10465715818495395780",
+      "12193983020673107362",
+      "11332505342219597826",
+      "5347615710148828062",
+      "13106583981982561852",
+      "537963243070867783",
+      "14826499780921972251",
+      "9351594654979812516",
+      "10891499734790921811",
+      "7276403899513939081",
+      "2229555245908402521",
+      "4325574328248445390",
+      "15710164519376253825",
+      "2224663871589875386",
+      "6123255656091537424",
+      "4390501471394350297",
+      "6886915099968651945",
+      "489263442437234207",
+      "10425418438680415784",
+      "5533066938174678013",
+      "1755256736622978111",
+      "1267879811014704841",
+      "10297089484462010993",
+      "10935877826261515837",
+      "9352529770878232950",
+      "5012464287035354220",
+      "17801453447887748170",
+      "16225159166710701912",
+      "799200812699647560",
+      "13548158004696115717",
+      "12650024042965320607",
+      "16913140140322300594",
+      "10199823416318432899",
+      "7388444991023307330",
+      "13893811578776237650",
+      "10237137406177972119",
+      "11869942889143744616",
+      "11465328413518636579",
+      "10022814717883898976",
+      "6411078659587693140",
+      "14397516961640103024",
+      "12471556283371777779",
+      "15669078471869559497",
+      "17599568334980581931",
+      "4849738194896592062",
+      "7649127136727068147",
+      "11391371866046825079",
+      "10521014682586143156",
+      "7875668676299509360",
+      "11848116921897335470",
+      "7540718224988647519",
+      "2627032739432477827",
+      "3596359056232559326",
+      "2360762494800587954",
+      "15740466100532827376",
+      "11866886362300113737",
+      "5270553499276164259",
+      "5116820858870423606",
+      "2156810414982892540",
+      "17789662226672132871",
+      "4868877367010412682",
+      "15192185582161993660",
+      "3728848884419829234",
+      "7477559151073540409",
+      "2354206477779737776",
+      "12553291232080390012",
+      "9402137326132483443",
+      "17221974190068476190",
+      "98496338892624345",
+      "11520257981792610629",
+      "5564161568973659096",
+      "8830060104309039878",
+      "7885957450329105354",
+      "251963281870810963",
+      "17743620068887885050",
+      "12824633132563255147",
+      "17922137392328819780",
+      "14885908467290358633",
+      "9789253587887858856",
+      "17909262335821399945",
+      "15975457818031233944",
+      "5213442903577854086",
+      "7293638886005531741",
+      "18197796789726138173",
+      "3781378030062028315",
+      "12913081347070137107",
+      "4823363510898964025",
+      "4894440484378917737",
+      "1976155656123548737",
+      "2394991964493674820",
+      "13695316593170580574",
+      "5598510072504327244",
+      "10225569688744023551",
+      "6592380391797156837",
+      "18042892509497088588",
+      "10488347271728176984",
+      "5325548066538065285",
+      "5686355647753325376",
+      "17339135929651765528",
+      "6203489864317105930",
+      "74954415827763127",
+      "81732759523588101",
+      "12122648227633210260",
+      "14979666730523379277",
+      "5033984736685145078",
+      "3971854003956781803",
+      "6587503368339496379",
+      "16907348757618071472",
+      "12803610219751001813",
+      "9841273616417488015",
+      "14871743587151793115",
+      "15005669655302767181",
+      "12932484807183145288",
+      "6705482132698648564",
+      "3010837368581783871",
+      "17988446984299255991",
+      "15019559346007350599",
+      "11692026749578153596",
+      "6572145968412601535",
+      "12496665466352078890",
+      "4983049890555504089",
+      "7353984173342169303",
+      "7856408790213230253",
+      "10085288244851881116",
+      "3575713656600008704",
+      "6086501290028894755",
+      "4677105218231549470",
+      "8729814066762555982",
+      "7002119417460514087",
+      "1534201574928037636",
+      "15195225102664251653",
+      "13606599398293875653",
+      "251654520710833190",
+      "7328818632940919985",
+      "11683541187376083291",
+      "4710036454365080519",
+      "16529742472501936064",
+      "1934407053232295323",
+      "15127671551351808746",
+      "9588772640299600894",
+      "503722039860758956",
+      "12286753101416349093",
+      "3316745270076600393",
+      "9489230139765927198",
+      "17513124480955075618",
+      "2705216191887130384",
+      "4263553463236312440",
+      "5533778260764761821",
+      "8474330578470408948",
+      "8780178468265907483",
+      "13679557842629994793",
+      "1117752656463228477",
+      "1413278723610612130",
+      "15904726593871344045",
+      "14327445585605334564",
+      "11170141218333993435",
+      "11127027717196856300",
+      "12355455641784093207",
+      "8604974059680459201",
+      "9173197419710688763",
+      "17144504768138441325",
+      "17294085441853923273",
+      "12180303080989369306",
+      "4428675975618151923",
+      "5975276719317460668",
+      "1589001202730241863",
+      "2285174246093986689",
+      "17266257806077757123",
+      "7576404905073593003",
+      "13223309502832310470",
+      "15254249916695310181",
+      "193734918873715936",
+      "9128087312497548884",
+      "7684708312003397962",
+      "9539870802306847174",
+      "7502211056817821699",
+      "7532629530523644922",
+      "95854875587742136",
+      "2212295784674728806",
+      "9500146771483995512",
+      "18140027857054919215",
+      "16216450162103317216",
+      "7705782094357643214",
+      "16000964191859083201",
+      "16595205127675069108",
+      "17226766851029975593",
+      "13430657005218857411",
+      "14545692964486882644",
+      "6898859341205513750",
+      "6685039122664526956",
+      "11175542851989662839",
+      "18069707345247333652",
+      "8590292261221637173",
+      "8774220025756493592",
+      "15833454030342307841",
+      "1640238837059251993",
+      "1425572721673951593",
+      "11219963618846747137",
+      "10366644136811486455",
+      "10536350597494633214",
+      "17309332021081223896",
+      "18097493091248368779",
+      "18380734478077271819",
+      "6963270491971037558",
+      "9261953441433584473",
+      "8977701399053236017",
+      "12124178829665886699",
+      "7069494241221316367",
+      "2722927456851420682",
+      "6569153450117084358",
+      "2995691081200450837",
+      "7989068675449195114",
+      "1122657464650194399",
+      "601070548468026066",
+      "2776611948396363559",
+      "11972592738534588489",
+      "3006040161548260002",
+      "12176935600945426629",
+      "9894648166152022379",
+      "9891129573256599526",
+      "14918674382589342530",
+      "14000869958088112507",
+      "10302728120276282497",
+      "1039310677213611900",
+      "11315614275463791510",
+      "9950705562130806759"
     ],
     [
-      "15725096500320511875",
-      "14108875189537428711",
-      "5658469200271699791",
-      "16228933239638990894",
-      "5703775612654107098",
-      "2208992634228836682",
-      "14591563465544022242",
-      "3792540473968165232",
-      "16334489793717869611",
-      "11558451878723555938",
-      "5644177905665577575",
-      "4829194178348558427",
-      "8391830177844612436",
-      "9917397657686037788",
-      "3329843840572734010",
-      "10479782502420843462",
-      "3239086472184020037",
-      "9559396147529341914",
-      "17182969158572224259",
-      "9663122048467263539",
-      "2653623204156861330",
-      "14234093800422412997",
-      "2630121219688353837",
-      "264047303267554029",
-      "13826738550413319863",
-      "11265859674500125098",
-      "10996104807070637521",
-      "13985116816365077719",
-      "4210534549660785703",
-      "15776296362738267555",
-      "8641404841977231514",
-      "7051999029534997160",
-      "7952382374584248312",
-      "16045709598819926929",
-      "5934263356612412987",
-      "2275034109163502791",
-      "837869030308906510",
-      "1445805451522104891",
-      "6796062687065224021",
-      "1071668612003017452",
-      "3914804918675289153",
-      "6492017184027326015",
-      "7729222864783362852",
-      "14870432959851037876",
-      "6210911259655211840",
-      "3487235899928763243",
-      "2528142103359039220",
-      "16568293418917582560",
-      "15995507810091966546",
-      "11586025104561424973",
-      "558600749909882663",
-      "14808739227243942736",
-      "255734213233512663",
-      "3248787061910342943",
-      "6836102832662120390",
-      "13953518005449114312",
-      "15215795676431371118",
-      "14304006365359291496",
-      "4299931688231966080",
-      "2175392307062827497",
-      "353441558793984110",
-      "7417751820036629372",
-      "7132257674063049",
-      "6251102515292481941",
-      "8949708723978942304",
-      "8836503581357796607",
-      "11932629636833879999",
-      "3403366891649609144",
-      "14321123436031006813",
-      "14227626524273695761",
-      "17434343562067181305",
-      "18060627637547228474",
-      "2526451012293787050",
-      "13410835857204495412",
-      "11521634411012455307",
-      "11685887571420044380",
-      "12072014656907826684",
-      "1932418400488236038",
-      "13543379840255185871",
-      "14843925621110555122",
-      "2116504119824574386",
-      "16718819263944807298",
-      "1511219931889294876",
-      "8902633242408479382",
-      "2305611130467784604",
-      "13205199088425929077",
-      "7824424464328109954",
-      "2377702042468527196",
-      "7526835693691896639",
-      "1392920924271672101",
-      "7267248175291408004",
-      "4031199373593508745",
-      "7363504959780833373",
-      "1785370032194563824",
-      "9502009314204432663",
-      "10203740494848220015",
-      "9898210340514689968",
-      "7868224795956205253",
-      "17379739242031086263",
-      "9204097315303065700",
-      "12597611732556321296",
-      "10692720739706171306",
-      "9311793887916276114",
-      "13528645941267872048",
-      "7717634318647617647",
-      "2740062469524762489",
-      "18430996003768995371",
-      "15062621597540549270",
-      "6412243706395987135",
-      "4358790663570301827",
-      "6799887447685653556",
-      "16828909547041535742",
-      "1777015345592485810",
-      "4140620995893621999",
-      "4068999322599237508",
-      "16398380273709678629",
-      "8634457469627483952",
-      "18170296383376907953",
-      "8028037114577529020",
-      "17185163890504153860",
-      "6632100451593563839",
-      "17203649494223709907",
-      "13290627872252267265",
-      "12280239394752352533",
-      "4824776424753956007",
-      "860475113311581441",
-      "12502081226165708044",
-      "5198499261256251828",
-      "9331655957797612820",
-      "5056116067390304570",
-      "9907355062172204178",
-      "2229123084162877482",
-      "17032048966428108386",
-      "14477191825707335444",
-      "4528450378755981473",
-      "3981058629167791086",
-      "12654976999291896503",
-      "15818461469143774988",
-      "910848451339508629",
-      "15384567119465485575",
-      "15606269558521248194",
-      "6837134960977440396",
-      "4401845999033417880",
-      "413532437146607827",
-      "3603556877157458438",
-      "16771881008311084689",
-      "16874545630236063226",
-      "14143117172656904805",
-      "665834400160534017",
-      "16714604120229120270",
-      "5947879257033442361",
-      "8511005465436542802",
-      "11493104014692742817",
-      "4539765784295444058",
-      "2776626644183855784",
-      "1265484482047503536",
-      "179282259813627607",
-      "7955813745380081598",
-      "11112129077153120800",
-      "1785027218569130625",
-      "14611170156390763525",
-      "17618632935062588019",
-      "2879730023216448308",
-      "16307886700075352187",
-      "13353777862111394914",
-      "8501186916059782687",
-      "13956861086559197683",
-      "7434202623590731035",
-      "10547648878100814456",
-      "5896220165981431225",
-      "2266723513651336083",
-      "12030673368454006424",
-      "8865571856513348793",
-      "5090290208901636651",
-      "3529755978181227087",
-      "12561560863202261060",
-      "18124924245912336410",
-      "17753525101734237954",
-      "9645425516640487488",
-      "3571694007344089997",
-      "5932571106346997612",
-      "10978020104629512322",
-      "18428737875718663273",
-      "17748538503058306245",
-      "4358570091591479770",
-      "17490520990426004259",
-      "14198280892392076657",
-      "10411420893529366779",
-      "10778716038052132365",
-      "17169687751571945444",
-      "7995674428794291059",
-      "5805084336923606930",
-      "2700219683431861",
-      "14253023290631769921",
-      "4646527974550400557",
-      "3116374475451066241",
-      "12182300741383273764",
-      "1367830047936327134",
-      "9993658095451837154",
-      "6548857288097884504",
-      "12102298916583929344",
-      "10976573049618023208",
-      "17997255107356373238",
-      "15276872873745498916",
-      "14614763210529567503",
-      "18370866119623062337",
-      "17097291553229204622",
-      "12374832585917738933",
-      "16153764457668184121",
-      "2450326728126771415",
-      "4478923450505942840",
-      "14459657022692356681",
-      "594695264300625547",
-      "17039400601007563161",
-      "13892211309256753448",
-      "6953444419749333302",
-      "6264201548371917805",
-      "17502030061153959188",
-      "11316862572210358956",
-      "6250436464836074199",
-      "12825366827079135974",
-      "646194547152649818",
-      "3882952523317363283",
-      "1051102895102363884",
-      "11694519006335090393",
-      "3677103042706264910",
-      "10141904401508486052",
-      "17590835682531138053",
-      "11371633871386072121",
-      "14178005428306128769",
-      "10144574335552932677",
-      "13478014034806511827",
-      "15505541674200492468",
-      "6001318478165362323",
-      "10130724152923636610",
-      "12392471584898058314",
-      "2671043088808610300",
-      "12337142270855548335",
-      "7031054394656115685",
-      "16893202918854074872",
-      "14403304196660660911",
-      "12414639483749347667",
-      "9535886029605564501",
-      "149641594284560845",
-      "14459212061884261988",
-      "10097896199181386007",
-      "11101387912654765066",
-      "670274394699418680",
-      "6657567785348290550",
-      "8090753137340206199",
-      "16242885738783761908",
-      "8996949812029711055",
-      "15468097329580599756",
-      "13834388491680775919",
-      "10287999517486417048",
-      "9938667140763871518",
-      "7832188017057966241",
-      "7159522964143200667",
-      "10294515916380812937",
-      "3090049919020298053",
-      "7254261730887347794",
-      "14908565089281884936",
-      "12313033935358833900",
-      "7528225091358436700",
-      "1675678086974906493",
-      "4349832009209361208",
-      "10748257437598706572",
-      "3824644635573463769",
-      "5048014509282048987",
-      "7919620201860809885",
-      "9997486473678175278",
-      "9068286139198624521"
+      "16148252782977275393",
+      "14271599252788268879",
+      "13202828725997353378",
+      "14287855603992256199",
+      "8630161488715269508",
+      "6987738543466619894",
+      "5784273154474383632",
+      "11220540921844867644",
+      "11784671382641860638",
+      "5477158961303456955",
+      "15189554099480698916",
+      "1255349773769683761",
+      "4650941931971839988",
+      "547187877545398109",
+      "5950720153654558254",
+      "14959515909103211150",
+      "1043879441664022183",
+      "14100302137606101542",
+      "15898629980451644883",
+      "12590883778116054568",
+      "6608679944858938833",
+      "13701641462040886835",
+      "1303033451325610582",
+      "6489918313609746945",
+      "4192747182764402142",
+      "16608739956304783748",
+      "16590326094441810329",
+      "17276688072462081047",
+      "6452132621554987649",
+      "6133319346489437442",
+      "5908547808283092630",
+      "16493196453940107575",
+      "3458585725844666833",
+      "6543268816346170467",
+      "13412134303526667060",
+      "9299759878368735876",
+      "14671378692545841091",
+      "3588470442220220100",
+      "6324340146535407908",
+      "3369447386124265117",
+      "2039724457651571861",
+      "147958296398191076",
+      "15412477990739117761",
+      "3915350158607791265",
+      "18320512652095909519",
+      "17463590606248005889",
+      "5805948040949439804",
+      "12782129947922342960",
+      "3081236124262488218",
+      "8176984919593865269",
+      "1910497076938803181",
+      "9303010686277908888",
+      "12893441016548428828",
+      "9379684623685704012",
+      "4529172230908661006",
+      "4623781646432261751",
+      "15983985801565576233",
+      "8846396816014904300",
+      "2740131376662447308",
+      "16447083099675201735",
+      "18168815197539950017",
+      "15117043456519703437",
+      "8325835866885074413",
+      "9334647008376950023",
+      "1581469799777873368",
+      "17494643738013908980",
+      "11062416108112870118",
+      "17078475768981714603",
+      "14276142942531898934",
+      "5822618597098237956",
+      "12765083236293301497",
+      "7574662983983459023",
+      "17414070680541875417",
+      "8487683272596137368",
+      "11450306340069764863",
+      "6794834514248420426",
+      "4577220256482441004",
+      "5697870459123780598",
+      "12969583323243287529",
+      "18170338758216455379",
+      "14925685714638131019",
+      "12767587455197409908",
+      "1999370832337864800",
+      "845170250041368325",
+      "8557304705094228756",
+      "11820176929638137456",
+      "6313054965866638145",
+      "634075185239066697",
+      "11553936164538504286",
+      "14228501722672726381",
+      "13754153528516013962",
+      "11719319336538897773",
+      "9552787986616945189",
+      "8602975108633372146",
+      "200264992020861934",
+      "332776768069758162",
+      "17241573899221033655",
+      "1044166237441273306",
+      "17255502082868260770",
+      "7391186206334731398",
+      "11810390969651159922",
+      "4194695169414150146",
+      "14092996499963497429",
+      "1570429285024530935",
+      "18219803812506225310",
+      "5305159687582874173",
+      "13938658080803371229",
+      "7078228682364091397",
+      "7688345547952698469",
+      "10182535643858406912",
+      "3006698122804609142",
+      "15708565472049606098",
+      "11134175581924314613",
+      "1278236570774703453",
+      "2748214518670090667",
+      "12412676404394731185",
+      "9710718999314612159",
+      "1267760161264907055",
+      "6812702369023069972",
+      "8494768063114425896",
+      "15682191667973743185",
+      "320599714573355706",
+      "2351628245560896498",
+      "13873519578299098480",
+      "8042161130479627550",
+      "9028815166381142674",
+      "8761897242977655948",
+      "13900643547275428728",
+      "573658867288529705",
+      "12179233523785983213",
+      "754776912436094628",
+      "5740569552018876361",
+      "10464247293593777266",
+      "9682962531875949270",
+      "17316218467303607721",
+      "18393416073672290335",
+      "9080825754268760592",
+      "7667077840136274492",
+      "6371364825681267063",
+      "12811478211802159499",
+      "711531034452483684",
+      "2746124823330023100",
+      "6568601866689099892",
+      "6789044333185093071",
+      "8227905157409030650",
+      "12508232725868219673",
+      "4288536642349714646",
+      "13236071338650313309",
+      "18436800315077832842",
+      "9468161783347592914",
+      "14824626541989446978",
+      "384123939883864597",
+      "8144384112392692266",
+      "17667693344234617292",
+      "7726877997869617881",
+      "15896794855557977733",
+      "1141727681813634847",
+      "11156722406576761484",
+      "15060880659611854104",
+      "17078069800874855183",
+      "14229787686994593468",
+      "8804274776179574423",
+      "1550028558169498792",
+      "14339382692961629914",
+      "16219595702260089762",
+      "14283501811078226791",
+      "3244558401709075730",
+      "6672673741384392769",
+      "8294586369431035919",
+      "3608742722234689011",
+      "9630826952474719804",
+      "1519658139698535883",
+      "18048706916075132149",
+      "17927206090253465177",
+      "7422505439171000942",
+      "5453402644602254239",
+      "17273705083951428624",
+      "16609831140239564758",
+      "10309703097238652454",
+      "16106503151996608097",
+      "850626455059283410",
+      "10856437179401779404",
+      "8613170720689952591",
+      "6650457054560723407",
+      "2133324040869029621",
+      "17857914599298316635",
+      "12196448398407286022",
+      "11916020080784219169",
+      "12334825301541918093",
+      "11023030296114423525",
+      "12782201423911722921",
+      "10072517703390361507",
+      "9594520689943417927",
+      "14266535846631097907",
+      "3213504557862177359",
+      "15991063804133190004",
+      "16865312436442781399",
+      "975105511898130271",
+      "2512218757932057292",
+      "18102886854419219333",
+      "2699954152258933872",
+      "959573383088975498",
+      "3523408061063908457",
+      "14845927030842229370",
+      "17260045828162021855",
+      "3432230644781881345",
+      "10729532180235170581",
+      "154726479899477804",
+      "15543449580653198812",
+      "11991115014445796865",
+      "5229101424832737669",
+      "8292355098903863139",
+      "12902176484236866777",
+      "2019633940412880294",
+      "10120670566881400959",
+      "18361320615482138756",
+      "3524247463198247809",
+      "4200630004617433304",
+      "1338241728493633170",
+      "1984001378125102847",
+      "2018474797735143418",
+      "11726726392055846086",
+      "5881042470655403918",
+      "17326907421544102580",
+      "5726646358702824966",
+      "2325513050646293361",
+      "5536904819856381312",
+      "6072611736044789848",
+      "9723825070638321282",
+      "14305936482132372366",
+      "8944285220747641989",
+      "12864326326850086726",
+      "14982834288847694782",
+      "2200947836658948113",
+      "3771275007061569241",
+      "6229012001388376118",
+      "3975113614411633171",
+      "4480148154510280807",
+      "17687442938281937434",
+      "16374844264143600912",
+      "9278358370816858226",
+      "14019966576517094100",
+      "3503730517685760985",
+      "420125826420913964",
+      "3641770484467081946",
+      "17370643798615302007",
+      "6956864044491544555",
+      "3946747655077949329",
+      "2542938985550381641",
+      "16110346385048439398",
+      "1094681953523330650",
+      "7078817038941390270",
+      "17138288518651505637",
+      "11110630173966122145",
+      "2229946156603714952",
+      "7828862675541851217",
+      "8016847532250530229",
+      "11517323320090033165",
+      "12314345720248167791",
+      "92480734037978046",
+      "17648507526451038755",
+      "12004009722540117522",
+      "10606883643076568112",
+      "18366972592986508215",
+      "8437311559911179800",
+      "11333097431514014058",
+      "6362777387358327837",
+      "2593279257225640305",
+      "15445187551660670736",
+      "6698084793083639421",
+      "8650563054125966606",
+      "17729872849107808966"
     ],
     [
-      "132588551183555248",
-      "14035338510123443849",
-      "9385598632739334819",
-      "7907228924607296891",
-      "17148269250382463422",
-      "1961618131941292034",
-      "12332454545367707891",
-      "5927403812314342527",
-      "7025913973326392370",
-      "3173894095891265198",
-      "11242175941238076432",
-      "17332932735018124424",
-      "3110666094725980316",
-      "14381859642488262691",
-      "9991815589120219484",
-      "18303458253820310854",
-      "11917822731634422267",
-      "1242418442703677840",
-      "11387832556773606059",
-      "5118718497448786224",
-      "496060152896430425",
-      "14279266754662033494",
-      "8543881821724434533",
-      "11322097246013684759",
-      "10336111132747422153",
-      "5148730678443659926",
-      "14545138053820490991",
-      "13588262308972909396",
-      "12607434109725876847",
-      "15776756612156581253",
-      "1349957755865481871",
-      "16931217033535158106",
-      "17232121344009272571",
-      "13265241729485557294",
-      "1593632224902108504",
-      "7987847555161640181",
-      "2259933831646179225",
-      "17638133530041404094",
-      "17293004737044624041",
-      "5395056861094580678",
-      "12916194740733319133",
-      "7854013109881700290",
-      "9915004071342861614",
-      "838491408621567726",
-      "7345423828616363847",
-      "843414590294343028",
-      "17379193136139284923",
-      "351843766510333972",
-      "17878578988489233008",
-      "6333678750151704780",
-      "16441479223153343766",
-      "16790751014747161052",
-      "701731868243078861",
-      "18276989562324041059",
-      "15074753742924883269",
-      "2102489970380769163",
-      "9411352530326229744",
-      "3203362317018079602",
-      "2283198226844551414",
-      "9544879713968889312",
-      "12618455757301305658",
-      "862471053753077929",
-      "1497541185571625799",
-      "5051747576662105509",
-      "11642726712780162542",
-      "8989035661925030328",
-      "3356359932753662757",
-      "1776837869811191245",
-      "5616046352818866999",
-      "6931373635816605985",
-      "7104056804822839379",
-      "11436560402191240468",
-      "15331125775145718144",
-      "2550727131493617396",
-      "14420162595844027602",
-      "8605150223994577485",
-      "1955001164555932958",
-      "3284250146629748710",
-      "4398085464950545371",
-      "5644441913650505379",
-      "2232762554666808214",
-      "16268030323253744419",
-      "13410910935199902910",
-      "2024995886049060482",
-      "6527499220771738058",
-      "15270108473958120577",
-      "12236108004308316151",
-      "15520969405304042511",
-      "15727917967214192235",
-      "5108017441629431456",
-      "9019852458135520297",
-      "15712404499719005221",
-      "13952134734385466070",
-      "3130351746149733849",
-      "3693490388093070851",
-      "2463747208910150264",
-      "2096539574644575104",
-      "5362892813949797096",
-      "6967529565777833641",
-      "12125069790874695504",
-      "6868825225120410852",
-      "15206569242572838349",
-      "5813093915342033053",
-      "14388539021801228871",
-      "16789084995875289408",
-      "12275164155804024423",
-      "8367672667996066500",
-      "3274664478204651776",
-      "8977878885251470357",
-      "970602053029903483",
-      "11568518011058677277",
-      "215831248655756777",
-      "8251038898145762842",
-      "7777870269769441319",
-      "1345750831564165599",
-      "3072322824905964361",
-      "1689006883509515211",
-      "7702361340866377990",
-      "3850463885647730138",
-      "12839626823468307114",
-      "4248881309707447046",
-      "2941551936274606542",
-      "6167409786985939756",
-      "2753141322547778737",
-      "12906410225180905637",
-      "2324966629404973144",
-      "10406721938231957808",
-      "3660923936440318821",
-      "7489311752135456045",
-      "2222328126452018363",
-      "9203265111027833379",
-      "6778838453741444906",
-      "8758324985414500611",
-      "5836691028315947908",
-      "13069488308252313003",
-      "17179781547056510361",
-      "11593331483262635797",
-      "5964260163863685093",
-      "12614698575402298123",
-      "6117678943094553695",
-      "14396399623126755647",
-      "15744328882157656839",
-      "7429119479717987172",
-      "5879924642135011002",
-      "1054877754638163151",
-      "10012145635057014545",
-      "1908470339642425989",
-      "6515860711925359520",
-      "16373938651649407151",
-      "3150755596569282993",
-      "14939382450602697343",
-      "2096477500760351136",
-      "13510584108982430496",
-      "3267388629684582741",
-      "9459551159709299214",
-      "8856031743144571147",
-      "8998393449983447986",
-      "6316251763325755642",
-      "5296950231130677816",
-      "9673142184400834518",
-      "8739412631374559733",
-      "10933451490310554658",
-      "1000542662024715673",
-      "17802598817405876917",
-      "18102534287162674375",
-      "9748507058025063150",
-      "13422170042229028635",
-      "17217065505352856013",
-      "5583400321961043268",
-      "7796875905348770779",
-      "4158416013196978062",
-      "7493651607437148409",
-      "12386606916856352991",
-      "17323688808839770929",
-      "2470912101713215418",
-      "14135217546441345823",
-      "11325761618288289895",
-      "11685910330334339631",
-      "6420574517221124120",
-      "5005924461306512281",
-      "11626969595453740138",
-      "10903934862420847952",
-      "3000209066313108402",
-      "9138518552862707238",
-      "13104951722825663615",
-      "891650756396271184",
-      "18012073913125902618",
-      "14328931759643535072",
-      "4299280060354476387",
-      "11503357449648812119",
-      "6784555791160019290",
-      "18184933731120320992",
-      "12491413629931417889",
-      "3927971272094911804",
-      "3538297781331990229",
-      "12191416732692483626",
-      "6485208800034206652",
-      "7431053310063486937",
-      "8817756206410936084",
-      "7326352882373652809",
-      "7130007380591694684",
-      "14358971882049864124",
-      "15796637941158175018",
-      "6119280982443281703",
-      "17775749431046117854",
-      "15980436222607995658",
-      "7653120529927890634",
-      "6173744134352838153",
-      "1521537554111805502",
-      "7171573281548376271",
-      "9800563026401505740",
-      "17515978068171768227",
-      "505475530459225629",
-      "9871766308374136968",
-      "5579363222446067439",
-      "16763393321450124382",
-      "10952707592142061477",
-      "15339455126896406861",
-      "10095669280086436398",
-      "9377600774182323180",
-      "17261703275566466583",
-      "9339100839954540136",
-      "13686913895258532280",
-      "11048655238703722020",
-      "7350642958406535360",
-      "1901111773362873877",
-      "2446057662939281235",
-      "4037270370218663532",
-      "14693954042062690739",
-      "2445742448889273264",
-      "5629464926699924822",
-      "7064338158641583461",
-      "11784249443180358630",
-      "5251050566185324733",
-      "18086373191613366900",
-      "996293155106976544",
-      "9983770411109826790",
-      "5321828398186769423",
-      "2801227450780398493",
-      "2547992631906654160",
-      "9836079640370171630",
-      "1346691294385032125",
-      "3923247834386599063",
-      "10138195965367017114",
-      "13326247499104269506",
-      "4192550363943594675",
-      "15669421159463199269",
-      "13983315300948181383",
-      "6747652125584970272",
-      "8150713492095621038",
-      "16001349341552125639",
-      "495366569621618647",
-      "10261674696106832218",
-      "4118488834604982976",
-      "11164325056500602238",
-      "15378295246000349587",
-      "10019107578102206794",
-      "27671577022760910",
-      "5976199910496901641",
-      "13405394988325206902",
-      "13023610410251397546",
-      "7852301621205612213",
-      "2093957361069778425",
-      "7066195967147139684",
-      "530064797758614478",
-      "4747276204792588337",
-      "5543227722891454958",
-      "10647018920743195157",
-      "14253121222526413455",
-      "14346656179027599478",
-      "5365396699028756568",
-      "16981243337622445008"
+      "8652022312224366767",
+      "18388766756341019127",
+      "13628101049718786427",
+      "12271650385718889553",
+      "39827370670556786",
+      "7697582879948027255",
+      "3263657281847218084",
+      "8016291713447955588",
+      "205506467683076211",
+      "5018047597683514747",
+      "12069711227021492670",
+      "17116210449810257959",
+      "2880174327770677333",
+      "7727946206999673797",
+      "10896777693935558848",
+      "13082322057667022071",
+      "2751841022538539143",
+      "2501710945314601627",
+      "9497976923926620194",
+      "5008791009931140164",
+      "5489974463302948401",
+      "17144093520106005521",
+      "2945714819967849096",
+      "5147373087623156828",
+      "3144772879469409366",
+      "14841246028855223340",
+      "150728636113875564",
+      "15331829774108308065",
+      "866698628258814498",
+      "8679720692183266512",
+      "9496740141750003389",
+      "2110200545594080817",
+      "9834947683806468261",
+      "16149311579247851660",
+      "12116506792060365289",
+      "10807058632691185503",
+      "3207754255024936927",
+      "3863461390944960759",
+      "16020973099020251882",
+      "16352903239575927629",
+      "16814614351974008436",
+      "456734025186849323",
+      "1231151405157069820",
+      "7538772188672444872",
+      "5514475897418064439",
+      "15954643843287593690",
+      "10474686798984416542",
+      "3781496193324124859",
+      "5109888323691759375",
+      "1071576475510960012",
+      "126391319779749607",
+      "12989507497876627051",
+      "11341007674700253009",
+      "13105847115394542194",
+      "4601057723718200588",
+      "10563440702269649289",
+      "3324183144335241341",
+      "14947231568641610709",
+      "8708735948793071485",
+      "1629788310376064031",
+      "8274116487128484656",
+      "11283098199999813599",
+      "15229085235068287617",
+      "5586603865749213604",
+      "15543196452182925961",
+      "9869334984613494209",
+      "7314055806522280664",
+      "17739331364367900476",
+      "16146127503595232246",
+      "6282423962532270846",
+      "12039811335409739659",
+      "10172718032678222997",
+      "10778248063801660945",
+      "6848324830083267862",
+      "4739062273254647771",
+      "10737787771382164879",
+      "8472352520965259907",
+      "17778901170630619",
+      "18291286340525461016",
+      "1675328452575308628",
+      "5349716919601775757",
+      "5012716701256833122",
+      "7532150139852540670",
+      "13518687880882626829",
+      "10073360830374854838",
+      "744125938620529406",
+      "5171063867673407257",
+      "16923191593392440209",
+      "9766353287040986858",
+      "14945633716981359748",
+      "866688375035224424",
+      "4996360826266322250",
+      "10856517986356892857",
+      "9055978259133042865",
+      "7015859812406447946",
+      "10254618466483535398",
+      "15185852028412565734",
+      "2200890307932304600",
+      "13069609922605572893",
+      "17009750162251044545",
+      "8330408666631087880",
+      "2717219170755414167",
+      "2942947396675606460",
+      "15578253763441845897",
+      "5279141327187894437",
+      "14429565114884403154",
+      "8338323594320520971",
+      "6950293277118401339",
+      "5787795872722656590",
+      "9097035767880088014",
+      "37789182832621992",
+      "11196667590285204792",
+      "14095634541952332228",
+      "2180638472519728596",
+      "7619358397356687334",
+      "16692839364364708703",
+      "13778658923442049598",
+      "14586348646230340583",
+      "8445863364345400841",
+      "9706999407781591283",
+      "9780270612249660907",
+      "17837639016428185714",
+      "2998918102559540971",
+      "5528722581402185099",
+      "17152588003155466718",
+      "10517479040136380515",
+      "580363332900286396",
+      "1001241164260396548",
+      "15341251393767183646",
+      "17343323949942719431",
+      "16572097330207541445",
+      "15655539017926794284",
+      "16099102533514735250",
+      "7358120690137115880",
+      "17733721182897808697",
+      "9556267407616386395",
+      "10165536752526929528",
+      "271428559886346671",
+      "1906321119038817197",
+      "10258791642455289949",
+      "11696980718686675282",
+      "7380654447415521048",
+      "13142472342796476099",
+      "6602033015392279939",
+      "17866998134420889914",
+      "12275389569392712792",
+      "14009163464937198112",
+      "17987972452036970",
+      "3893009930852324740",
+      "234444293932819158",
+      "5002028302201081897",
+      "2936315517679572376",
+      "13294008911340340573",
+      "12807114744584566956",
+      "5981685410650946838",
+      "3919961443241383750",
+      "2086661614940772483",
+      "7563369112670776236",
+      "6117687040011584518",
+      "9110290122651958236",
+      "14132023548095068120",
+      "14518452371772487095",
+      "12667939491350867915",
+      "4506159514510340799",
+      "11549372071859615062",
+      "12727715370882726623",
+      "2025291095028323540",
+      "7304868270094939184",
+      "18146076578185033493",
+      "16854006299065827643",
+      "12076382138843073996",
+      "993954922803984077",
+      "4093099363497284267",
+      "4400588436880556669",
+      "2656666986676990618",
+      "16844475669536384704",
+      "8336722803957084190",
+      "10891612488067637863",
+      "17276529402667463700",
+      "15364455106068613604",
+      "3309306883246659136",
+      "17771064942547898198",
+      "9751390171149555250",
+      "5237320376383693771",
+      "5917971355505672130",
+      "17995677008471054658",
+      "1694162648135681502",
+      "9308838144277615746",
+      "9139054442098967525",
+      "3559656284431932097",
+      "17183866170849437795",
+      "764366789147350699",
+      "5577513338401149725",
+      "5570516479425127688",
+      "15568121267652593729",
+      "4718974240590172007",
+      "12009800851441897629",
+      "5256900412650635712",
+      "11804841000806974416",
+      "4636831140137222366",
+      "14988989892503048695",
+      "5194285274680962787",
+      "3665247033554010083",
+      "7708254402220830859",
+      "17600349092613880794",
+      "7659698144384694819",
+      "9265270444526986821",
+      "5097893135744755175",
+      "1556980835401592120",
+      "6609248284725868230",
+      "12030245935010694647",
+      "7410657486174352445",
+      "18005417531113535339",
+      "12078406389236300255",
+      "3972219805535279965",
+      "9330868384076279892",
+      "13576517711171284611",
+      "18432010631965659850",
+      "14069787070431592447",
+      "16698014651497804702",
+      "7499052636571091945",
+      "11362528974514530764",
+      "2268465306140824811",
+      "1068523450963971580",
+      "2234523892080419554",
+      "8108936034283850466",
+      "7120030236410721294",
+      "664539811671437097",
+      "10283652495346623372",
+      "14902716157834002138",
+      "14479739952287840270",
+      "12368218034973220029",
+      "12259476537535437206",
+      "1989521546691577226",
+      "13711538709162020026",
+      "7045453356855518996",
+      "3980787523818800952",
+      "8598993985374492616",
+      "6827305821540619441",
+      "10783085794299262883",
+      "17077729326891331522",
+      "9848288736452332345",
+      "15988484653849047937",
+      "1583789082900735427",
+      "3761247077374178403",
+      "7128971177644882199",
+      "10852530428637265726",
+      "11409627589963793979",
+      "11928125805663274624",
+      "17378368257871496718",
+      "1352318032945086933",
+      "5125585696399586257",
+      "13637565168138384450",
+      "683896255022357842",
+      "3480090576982492794",
+      "9576097697681926668",
+      "3505782649248098959",
+      "11023968144188098054",
+      "12211789353901238234",
+      "7121593577416616831",
+      "10523472332997684440",
+      "13289291645560095054",
+      "13151520269450308484",
+      "4002580181761529530",
+      "17223832294449919039",
+      "15096365866589185515",
+      "2738810458605458011",
+      "33659389349309041",
+      "9105493679298074222",
+      "16917515700843577739",
+      "10955183185316310266",
+      "17164051227610220168"
     ],
     [
-      "11090747564914397812",
-      "17075015272420996804",
-      "5854398584050953183",
-      "3233362085751940101",
-      "6251569029908946027",
-      "1292932322215343712",
-      "5535182651841022420",
-      "4928355416197470698",
-      "2422043528283690366",
-      "3821828811121784248",
-      "17683534101812375813",
-      "10625436014404178078",
-      "11041692623023354773",
-      "1275903310242692548",
-      "899065024151851400",
-      "15920853982734341892",
-      "18161113246874572736",
-      "323789007797833030",
-      "11808944361580076353",
-      "7658046137457863803",
-      "11817184096245934143",
-      "12544011109579878504",
-      "3408401597148942448",
-      "8211373130067135400",
-      "16877724502994023280",
-      "10144799502657540022",
-      "17324547552990918267",
-      "2502694574143855834",
-      "15176532823113543189",
-      "15798208914591261252",
-      "5687071910325072089",
-      "6365305185080579204",
-      "18321500385498074358",
-      "4933327592239458349",
-      "269056447394413114",
-      "4014697921463655958",
-      "14962501564281615590",
-      "16443954629470381545",
-      "2106627891824702387",
-      "14811340567590227388",
-      "4602834342780818260",
-      "2061090748466797792",
-      "8113209907649085636",
-      "12579945351381459750",
-      "9517972784257098571",
-      "7531003745324639842",
-      "3155337829057509928",
-      "1215677686303109515",
-      "12491660259651218412",
-      "17280315076224486252",
-      "1159054156464619855",
-      "3594953249036418265",
-      "653875921516988462",
-      "9772759858373972045",
-      "2508283357325186157",
-      "16340362102321391043",
-      "3345289504317359081",
-      "4378435224065426323",
-      "12090497954061457355",
-      "8586481951646752841",
-      "10746463541528328033",
-      "17299308558334516774",
-      "18093819459448685479",
-      "6836611342051351337",
-      "9290832618593346362",
-      "16117562148199556298",
-      "12950948951784223456",
-      "5830361442771296833",
-      "9150809571360523032",
-      "16642238672968846491",
-      "9724171779685992533",
-      "15291193570342853120",
-      "3007136560751655762",
-      "8969451790730850523",
-      "8333334526491998699",
-      "14464931015939503832",
-      "9991817603463185133",
-      "3361826090113427102",
-      "8788170033892490831",
-      "11748741864968936725",
-      "7101188026584147687",
-      "13426065994419441886",
-      "6103529896565845762",
-      "5512719274250295161",
-      "12211711814533295596",
-      "7676958100950334829",
-      "14617563296882211810",
-      "15583179711543519793",
-      "8159005161806220120",
-      "3153216123985210770",
-      "15883944423618812918",
-      "1473131278356893455",
-      "3382446146373561780",
-      "7471059047626720113",
-      "2858322765708142391",
-      "6359678265051676617",
-      "12639266183589202582",
-      "4660257149826961744",
-      "10841396532854152394",
-      "13454586850068967460",
-      "4563114964746500521",
-      "7924678498931319811",
-      "2489250808466049875",
-      "17932161078434432577",
-      "2749450648384933537",
-      "10220536875379900340",
-      "276746291103532797",
-      "16151076910585128219",
-      "6288671332133545401",
-      "3651515811665721009",
-      "4303729682286077919",
-      "10422249685384040623",
-      "317926993833403923",
-      "15566980630585211280",
-      "3593868855135109284",
-      "9513237834036104306",
-      "14954559410759224557",
-      "6916322161598981941",
-      "2174195182908851415",
-      "7409064529869114223",
-      "12296456563389673456",
-      "4385992346574848909",
-      "7029667401275325758",
-      "16640884455571827746",
-      "2427239129114368775",
-      "16906508700040114642",
-      "7489736776437429602",
-      "4733821285259442673",
-      "5613294121583665116",
-      "5916154919699365082",
-      "4030492699164175547",
-      "18014485030548931685",
-      "18064023278651077103",
-      "13257061035569360616",
-      "14111415508794976577",
-      "13456585536367075277",
-      "3481755625011281389",
-      "2497914785977140637",
-      "5946729095277148852",
-      "15686799353942707754",
-      "6285688089403901004",
-      "6509243965348968112",
-      "15050799699766139957",
-      "17562721559404290301",
-      "12309674842305475825",
-      "15246615231348088905",
-      "14768228583142193248",
-      "17852791598951028866",
-      "7061555498121926517",
-      "7963614036616535077",
-      "1049223294226020109",
-      "7884170078294208293",
-      "3669266190943808594",
-      "13535423331252752386",
-      "443042703292035718",
-      "3507496089898896782",
-      "17297377296200504799",
-      "10766169141645440412",
-      "5381117189772319398",
-      "6894930453484212600",
-      "12155240669417261205",
-      "4914624140575567478",
-      "12434023900719484240",
-      "15475548012518221052",
-      "17346590537540933456",
-      "2658108104529258865",
-      "4816195181965594020",
-      "3475406849612414245",
-      "17189388586697122896",
-      "18210009580727810612",
-      "14056017114757929467",
-      "6078622552999959774",
-      "13312127492954047781",
-      "5596100989063410850",
-      "2077738197250649623",
-      "5771438060516513448",
-      "14470440976717773383",
-      "13399498463124612046",
-      "14537941404443966153",
-      "928032176093890065",
-      "7117324299034758250",
-      "14170332876935148339",
-      "4553341932346931208",
-      "15258938910877880113",
-      "7426567399821077868",
-      "11444122375692839102",
-      "9332403194936595418",
-      "8089587008307992106",
-      "6406391504872705844",
-      "2081560981109632953",
-      "14642797852361155182",
-      "11383885207538224101",
-      "15842186951719092949",
-      "18415064135256475361",
-      "6652847162219418949",
-      "190706462459147363",
-      "8056598225898389044",
-      "2198262024406696459",
-      "2083536112114978871",
-      "8250829109740328542",
-      "9169095238938449707",
-      "9463205770220176312",
-      "5264160040792056884",
-      "3723865288786152615",
-      "13606288713127496454",
-      "7958709756007120734",
-      "13411417797547436623",
-      "14430527555472641840",
-      "6389865582050018511",
-      "16209255640900295432",
-      "8549313696770009177",
-      "5709843328283564439",
-      "11047251140563554856",
-      "12257137830682264491",
-      "12207651708161778137",
-      "2252624760481280233",
-      "582068180739224684",
-      "13098810224180369940",
-      "8348791243744910344",
-      "3117644375818561002",
-      "8194161391296631696",
-      "526047807750225998",
-      "4604502174076166477",
-      "11963890356575735696",
-      "10507477994574157843",
-      "13276827378451140957",
-      "1373023912567679122",
-      "17404999957913593052",
-      "12819648118313196817",
-      "8769158373739965535",
-      "16083350508006346221",
-      "7096775765647076829",
-      "4911860691257522165",
-      "12370061441699013128",
-      "1701015977792794617",
-      "16148792153161103236",
-      "8334041838893898704",
-      "2437019347216576947",
-      "3570512938440080431",
-      "8514142859878498519",
-      "247744891212920420",
-      "1760796536445540171",
-      "2842530043791416750",
-      "16462207677280293765",
-      "340891036358275106",
-      "14429033829862324741",
-      "16877592400481531446",
-      "3955320938696701679",
-      "10249188405154243303",
-      "3301666628524386097",
-      "6676249454663921214",
-      "2825578837550714996",
-      "9201880465298269432",
-      "11759779967414628020",
-      "14937066890218335622",
-      "11465852252365769983",
-      "7425611895829615883",
-      "2319622542851096493",
-      "12583947519385885875",
-      "8486943831710233056",
-      "875739703836130377",
-      "11790161685552087617",
-      "298252483100734635",
-      "10992486546414851906",
-      "4986304545989664684",
-      "5455185305973047090",
-      "1921654514345828024",
-      "11077715973406134714",
-      "1204711433592917817",
-      "12696504207550928999",
-      "14839216494103458419",
-      "5998136482495017063"
+      "13972602485731723492",
+      "3441807322001149117",
+      "4876462956471557871",
+      "14610968425117956798",
+      "12708106906558885388",
+      "9253916272975113588",
+      "3669196434413291903",
+      "13070800784632243415",
+      "10306690339999630925",
+      "17520914673784760915",
+      "350795524191614026",
+      "16911752366529859776",
+      "7923170673255117326",
+      "14248168496569924841",
+      "5260887299846170413",
+      "1493950087488251931",
+      "16506158510081639654",
+      "881520465809665065",
+      "14700294208918502760",
+      "12294017552733696690",
+      "10103942716967682719",
+      "8492912941628447421",
+      "12597324029399126991",
+      "9726662755386844825",
+      "5863231780970036141",
+      "2606227966155234980",
+      "14548117717109203211",
+      "14150721933340780610",
+      "5866640883002543201",
+      "876563629916660140",
+      "17277955051079482724",
+      "3005629326814881887",
+      "13746200604316867286",
+      "9433880047824387752",
+      "12818722355270697675",
+      "7633732353637943643",
+      "14995997285703164959",
+      "3703527114253194223",
+      "2852327142656662421",
+      "13757830303567602423",
+      "13943643701940252854",
+      "10576523196000551306",
+      "7938094769481139833",
+      "11362110432585454531",
+      "194701391434491229",
+      "7291482247915407334",
+      "3752768958674195950",
+      "2219333408351661830",
+      "1221059640402106179",
+      "13773219356093410242",
+      "12708666584469941618",
+      "14781454629556910660",
+      "18275970721473067414",
+      "12584870049183072812",
+      "13981684362032470082",
+      "1672538751744877672",
+      "5323573238999919719",
+      "4933825135460520544",
+      "9021226792196427758",
+      "8988635914160337351",
+      "9092599554701936156",
+      "2859417140140506286",
+      "10193716989743588884",
+      "8248371305023778777",
+      "13259979859475520064",
+      "12392106861398281359",
+      "574528998503884101",
+      "17591378865341944906",
+      "13182245424056742011",
+      "4514217645089168735",
+      "8437273337782730489",
+      "15792079949178784967",
+      "11924546042158533577",
+      "199877196317681635",
+      "11302726608789996344",
+      "1583162797982962319",
+      "12023081286589927621",
+      "6414381450285393114",
+      "2619670392132555650",
+      "7156002706401364184",
+      "14947473199372177272",
+      "5202354573793107221",
+      "10479629938676597551",
+      "12926588012388156163",
+      "1450163399233639238",
+      "658202033300705078",
+      "5333381398665825220",
+      "18279933051147744419",
+      "10354937941363491745",
+      "17359895038056485439",
+      "9068759134917973394",
+      "7269906128743900683",
+      "12591842749428462063",
+      "14656295419578491393",
+      "8676138925923742635",
+      "14992566129405470164",
+      "2918027892055477457",
+      "314141513785178617",
+      "1635762358279408064",
+      "6680929283858432078",
+      "16123222440964513050",
+      "3529180503674659270",
+      "2332495810280905613",
+      "11150071416172638593",
+      "3064262855642072701",
+      "3065741613822141089",
+      "7769941352072529984",
+      "8839186152254323172",
+      "14616322749531314789",
+      "9951012952980322744",
+      "11950725537450334118",
+      "17808290595618115500",
+      "13303507505514629404",
+      "9698349192522934107",
+      "2249109065303568179",
+      "13694063311995652789",
+      "10959713569337635154",
+      "11806306805642835734",
+      "3959508695026897241",
+      "14400589457849849027",
+      "5596447783733828601",
+      "12646438750393292881",
+      "11024803761686044656",
+      "8069662349294500018",
+      "1862712262868659780",
+      "17395646016621695815",
+      "8196141435802553830",
+      "3670071848215875755",
+      "8800836438689691691",
+      "1407997055942908102",
+      "1017920181527134851",
+      "2526138627529668927",
+      "8124882236506552716",
+      "15712289573700549261",
+      "18416392880212604946",
+      "1635212571551874988",
+      "1848434659739566211",
+      "4924353807766629385",
+      "5048220401487905959",
+      "944533868162204596",
+      "11308671281773490235",
+      "12740347361023390251",
+      "15003051044188581921",
+      "16098677553888263837",
+      "14904398639275464766",
+      "13334375095495818470",
+      "15375324553460687844",
+      "6637279578066982758",
+      "8840874102586996509",
+      "1873954092884268780",
+      "11972355865119907282",
+      "17421634953999683292",
+      "17686875279240050837",
+      "6430009199679254153",
+      "9930258198060545362",
+      "11485355344648469784",
+      "13852245057278266213",
+      "13759330179631244485",
+      "11428899269418646206",
+      "7336243412588710152",
+      "12950005696071168386",
+      "9300222299290608257",
+      "17694751737005453098",
+      "18030423347064404428",
+      "14086601840406243319",
+      "12091166442234548512",
+      "6751570041043739604",
+      "794988070812353022",
+      "7531414824679442578",
+      "8471831351633077395",
+      "9383250818507570320",
+      "9591354744850437179",
+      "11513507391194787943",
+      "17438889765684590999",
+      "10326986831704875923",
+      "8905428489264106147",
+      "4843347270585356119",
+      "5005663235779488580",
+      "4059253855409931870",
+      "16477766010537113534",
+      "15967243404485172478",
+      "3839070182394206075",
+      "16653808244899851345",
+      "18068342758922493537",
+      "13658566672657921191",
+      "3537814431730762862",
+      "5609386480116342266",
+      "5903887785093507832",
+      "10242705188890843298",
+      "15596181180967876648",
+      "7382227670845269610",
+      "15381106179708245819",
+      "3482547193612818041",
+      "484860224171807707",
+      "3088070862345957752",
+      "17508340959316589682",
+      "14774953284004533768",
+      "6731999897609903440",
+      "18061927131636268671",
+      "7790632254434464613",
+      "33249010270227894",
+      "10569394015020034916",
+      "6924893260810801908",
+      "4975467580315630014",
+      "13556883261362366686",
+      "9209984508230276857",
+      "10340821566320221257",
+      "14745809323844978300",
+      "2265512198804436007",
+      "3177566242655196891",
+      "8281402858457414156",
+      "4193487087446565971",
+      "12246167366466388531",
+      "8067187021478687942",
+      "17845387835987535416",
+      "8710921316452749819",
+      "14424716249716050302",
+      "16652028908507967130",
+      "3198559089172203529",
+      "10649413551707837893",
+      "2638048742838730267",
+      "3322350099808128163",
+      "5610284519723226478",
+      "16411047593329521258",
+      "227047994156885295",
+      "3985483192001537456",
+      "14953941343571990427",
+      "2780727308200419676",
+      "11753705011024974662",
+      "13031580478544775751",
+      "2239719672283458440",
+      "11163776939125799951",
+      "12219564749057992077",
+      "6153929727562304381",
+      "2896753726537888697",
+      "3628474080209102426",
+      "17283533412288963019",
+      "13958716434503154681",
+      "5782137418647760047",
+      "12737202612164716991",
+      "11630957483794677273",
+      "10216065631973038249",
+      "10886776239844039325",
+      "3356060041704664907",
+      "17114893526298417291",
+      "3803157837940909468",
+      "8050094343771162897",
+      "6765747709477890189",
+      "1400632387474288727",
+      "11018849387001151776",
+      "17194397484957093754",
+      "965849088191026808",
+      "17983384723778874180",
+      "5601765988059827235",
+      "8488533643251394160",
+      "1777991349950745406",
+      "12332579627077467443",
+      "3811186681185952515",
+      "10812122259306398745",
+      "16514150852541436444",
+      "11930419006469884600",
+      "1860959031437270093",
+      "2609189512582540360",
+      "17821839685244675271",
+      "16945518908249438257",
+      "15721315388575309715",
+      "3469295873561969647",
+      "8622096047611828198",
+      "13860186330517738957",
+      "13621408688499481696",
+      "9613068952146574080",
+      "5302244165326535057"
     ],
     [
-      "16387281547063619070",
-      "4636586672559474273",
-      "17509907949558926425",
-      "9916812663731004267",
-      "2794113346341441814",
-      "17353898573893964308",
-      "1674617612408350743",
-      "2900776994543732510",
-      "16434273391784210747",
-      "8334094107754060520",
-      "18079961064849955344",
-      "11511912227649231143",
-      "4723423277987863246",
-      "17798003542998120400",
-      "5353936554158956642",
-      "14540944103079203163",
-      "3143371727506322266",
-      "9586727674435638199",
-      "6063066477961366146",
-      "8481140338104913622",
-      "7357702953736356132",
-      "9166078404945207999",
-      "9012531970971342699",
-      "7819399436204314265",
-      "2532509595890233238",
-      "7191714741828028755",
-      "3218477221591972358",
-      "14499379343298317629",
-      "12739613981689816087",
-      "1758350226276252640",
-      "2606274948571421746",
-      "7493618470542829793",
-      "17475936222860101204",
-      "244739855328597013",
-      "1046144154260947332",
-      "3369576615832605696",
-      "6494463771278365661",
-      "15482451089440744738",
-      "15846663929419371601",
-      "11918800315349257327",
-      "5858428287950046032",
-      "5349592736086768790",
-      "3165452766893609039",
-      "50032857625168599",
-      "17529525060072286568",
-      "9937289820876908016",
-      "6611779641457964179",
-      "1745547297820372846",
-      "12398367171885318596",
-      "7553063447223681423",
-      "5571665255115659894",
-      "6689294167701265243",
-      "18026247559358710417",
-      "6814616527139224201",
-      "5527628293345125753",
-      "8897432665133375533",
-      "9682710853663897856",
-      "15052895495834844146",
-      "12568190812999694247",
-      "16056943253844796573",
-      "4312739532010139504",
-      "8690837145755507055",
-      "2023029968614433671",
-      "15267696037025909493",
-      "5634722812203152605",
-      "13271721889806664995",
-      "12140810382719017192",
-      "11794386562031378233",
-      "8365871829001351689",
-      "7479203278318109950",
-      "16674052924055813479",
-      "5846680140898603798",
-      "372596229689825400",
-      "8839349723568859177",
-      "6323728119624429139",
-      "6809362846975670530",
-      "17239241203320900113",
-      "11317467950785716738",
-      "10667147978062502740",
-      "12483289655594613073",
-      "6384145680953516093",
-      "887557945124073867",
-      "5278207558759377888",
-      "11884904460503687141",
-      "8151943428251745836",
-      "16074752402702899941",
-      "4501031556865467452",
-      "13807840998480744267",
-      "17415789020650240137",
-      "10145226334951326648",
-      "6021189522431504048",
-      "8879330373135297427",
-      "5283628845417725087",
-      "9753737412263628775",
-      "4845562802975813186",
-      "5646844569868977776",
-      "6879268389019965602",
-      "2818797740285297822",
-      "1387985168759253275",
-      "11046510271901204737",
-      "13999724235108667780",
-      "1346294347207335625",
-      "8249404507343944301",
-      "12781515268959870214",
-      "8213870915767459864",
-      "5355194277911305255",
-      "13007643911428714405",
-      "15034452900065433919",
-      "15013752915752209681",
-      "45013833825871343",
-      "13751813339591148498",
-      "9532000205171409452",
-      "11053227088022849140",
-      "5101603956433285041",
-      "3029065853394360149",
-      "13164783257504200322",
-      "9150269387963602525",
-      "17243367380047925456",
-      "6036804853120760660",
-      "6705050561454182007",
-      "3992453273216682103",
-      "14879377651787749138",
-      "11054792085594164128",
-      "16458276444049549618",
-      "13072545249604328058",
-      "8092976362390268792",
-      "13418769696772014321",
-      "11451022971677423067",
-      "9796522882781845497",
-      "17532839730770452962",
-      "1697567121827782611",
-      "6419233756481988529",
-      "1187913008593393892",
-      "6877030030027807497",
-      "11935537688925768116",
-      "8329920084699139039",
-      "16467929977684026748",
-      "1191050195125808392",
-      "15041631766466502948",
-      "12727067672365430602",
-      "15428419600085734925",
-      "13687678831810996758",
-      "12959294358496518294",
-      "4601554029723681880",
-      "2956293664381236249",
-      "13378479756143109358",
-      "10974816568266382584",
-      "18046059575913944073",
-      "7993828980620220565",
-      "1551047601990813230",
-      "6810212889237034648",
-      "8292487043972396958",
-      "8004884724770270618",
-      "2681815766048612038",
-      "5307184383484528030",
-      "5607992017670291051",
-      "10963499370421277557",
-      "443605235821819144",
-      "5320897513599401503",
-      "1542107654412879545",
-      "18362046413777859364",
-      "13483687056042660994",
-      "12700279449010615712",
-      "6241027109115566333",
-      "3648748526991700354",
-      "4070610255657376845",
-      "8226712995874188235",
-      "6371162910243362186",
-      "5797326195235987558",
-      "5471782293869179170",
-      "7003871154957155337",
-      "15476109319040264799",
-      "68028506060966027",
-      "17803966024201983205",
-      "3315168527585022650",
-      "7493332628413429637",
-      "9808508319121194019",
-      "12326005026803236346",
-      "6614481716670999339",
-      "6433594372142790994",
-      "17552969695073942087",
-      "4487279051872473692",
-      "7372399654013244793",
-      "8712946684522643047",
-      "8277163179129065014",
-      "990354133979273478",
-      "3329162038322584720",
-      "17618736396029440820",
-      "2716524420241930792",
-      "14029968820194728733",
-      "10222274743285664578",
-      "9870690976437907147",
-      "17672369309596983433",
-      "15610401278480251279",
-      "9820904110597121697",
-      "3369445350048724369",
-      "383484029195324800",
-      "16954994328068867387",
-      "10474116368138599897",
-      "6407114942857237831",
-      "9618156236908115756",
-      "5771157146968642635",
-      "5614656995400444902",
-      "15241591920717084834",
-      "6923456073934374133",
-      "7699028652434885280",
-      "7450731788622605718",
-      "6688937588850443491",
-      "9907349576256160491",
-      "1002746348106071353",
-      "4087378639087323849",
-      "17657549212916071996",
-      "14720156901548369224",
-      "17834901560064286042",
-      "17630692009598215017",
-      "8193195221742901393",
-      "518067242603990034",
-      "3092401224205520002",
-      "12815788241163589380",
-      "5979551941078419835",
-      "10308634433238194262",
-      "7748159006498095333",
-      "966386385119234726",
-      "13944873858931576682",
-      "856111264409019931",
-      "3291360487082635291",
-      "2879840843038873110",
-      "10400355960267130474",
-      "12912080709786007135",
-      "6846439243181296816",
-      "17575641985766296816",
-      "7252893095613684159",
-      "4072804884966180819",
-      "10734804361307723019",
-      "10220024942306967170",
-      "11863741811675655075",
-      "12177939808252525883",
-      "4939508272106065456",
-      "16983754161948641074",
-      "7273938997216408697",
-      "3676343512584402822",
-      "1189030661065957835",
-      "10735172883358371973",
-      "5301463817209532115",
-      "17959002637073731377",
-      "13945690497415657018",
-      "16941558633470632693",
-      "15144741016938777501",
-      "4086665438735815268",
-      "14304266782252782960",
-      "15901413609808222397",
-      "7275180320133773890",
-      "2155624945638952821",
-      "15495248969239287617",
-      "16197050714601582679",
-      "15075007578271588435",
-      "8961454684966706856",
-      "1679488276856382833",
-      "11806211631148927225",
-      "8869830212624952378",
-      "11919600591923732963",
-      "13349002225566683193",
-      "7590277660458802859",
-      "3699645231772018177",
-      "3945325370957287011",
-      "13714230401662903043",
-      "4376904280696909854",
-      "12662191960039260042",
-      "15184156594597286904",
-      "10884473983100604979",
-      "14448606945396890103",
-      "3323508039094440106"
+      "9998817529167371662",
+      "1171422543663017037",
+      "15760147840776492052",
+      "14772158633572518928",
+      "14807220237351205196",
+      "15014332324241704146",
+      "10012397175240103094",
+      "5449014195217560078",
+      "2174891110843436411",
+      "5922578572312470746",
+      "2420567209039051668",
+      "9316131284510635754",
+      "18107760467599590048",
+      "4816983976724917293",
+      "17149841261579203784",
+      "14201195839742415783",
+      "6360366530721585144",
+      "14882936753573661563",
+      "15911571117939235788",
+      "10630316824378788743",
+      "7416623089651866146",
+      "5754244461627170737",
+      "15096920445333724901",
+      "12957999926066654110",
+      "600626282414239191",
+      "15994781041498472471",
+      "15270158735059060386",
+      "14468397907330697461",
+      "4945064848594064944",
+      "14049703245814834604",
+      "2424544247857735605",
+      "7181820406473063282",
+      "2288400650401243780",
+      "62205647075150136",
+      "11034312802423649006",
+      "16239418835325555244",
+      "3849756351074073976",
+      "3871191700890400254",
+      "15255012007156796794",
+      "7105767106659944967",
+      "4970180144262427199",
+      "11649346580030286488",
+      "7239966041552919810",
+      "9673616556736274696",
+      "14007723664894815612",
+      "299969068178461980",
+      "12458328471124866580",
+      "3386833891507098091",
+      "6183014918036041617",
+      "11446117491607527391",
+      "6434402134480529068",
+      "371421983764923258",
+      "14182534353685139020",
+      "12510845406778852832",
+      "16761540287985525010",
+      "3513921515260495861",
+      "9789904362827939009",
+      "6543044699441052858",
+      "17549575816917907607",
+      "822208848064456128",
+      "4986898415627833803",
+      "3420347990515190850",
+      "11925481556794697666",
+      "1794343673811846187",
+      "13395230893415167597",
+      "3297371440630669207",
+      "7780042790476640394",
+      "1242273805365020907",
+      "13228076496236475326",
+      "6363585517812364594",
+      "12124881602073965933",
+      "6290254935925964480",
+      "381034438918498057",
+      "18227114435960251751",
+      "6136734050003825987",
+      "1218951699706617210",
+      "12078054768021655658",
+      "10332763515533623201",
+      "9538244369129074104",
+      "4344678723419106053",
+      "15254981993596200997",
+      "12206625512534127748",
+      "9137244400928141312",
+      "9887023201013974362",
+      "15818060701858231505",
+      "9683628563260813521",
+      "5433620851136307591",
+      "14904263162506885687",
+      "15968807828432882726",
+      "15338963033277686039",
+      "5747435541005938585",
+      "4018300820388038587",
+      "2262435904132134024",
+      "3322008736788034857",
+      "14822678196775350361",
+      "10226762482941609068",
+      "15362991202816406166",
+      "14456141635966179765",
+      "18226345225386177022",
+      "9712300414593718144",
+      "11629795695115063033",
+      "2030199264316579101",
+      "4802359118539015392",
+      "13867436639531420767",
+      "16235966818325629076",
+      "4394799291741849719",
+      "14727478949236780251",
+      "14476635076434530277",
+      "12171421110331099098",
+      "11291510999770794014",
+      "2767375320534786737",
+      "1000710167985177585",
+      "13708540223515842868",
+      "10501643384236962407",
+      "15569357372992835233",
+      "771513906694567224",
+      "2820752200309093333",
+      "3452163466886827972",
+      "15335525643852964982",
+      "14062522826140243700",
+      "13226545798780291010",
+      "172399963474557795",
+      "15515063049217943527",
+      "12831646928285108450",
+      "9422143788841275467",
+      "12088975959151719532",
+      "5434054793396525837",
+      "11023401632164784679",
+      "11917002997330056809",
+      "4645082842085856214",
+      "1593565495100188204",
+      "7018451289991892146",
+      "3137265702881943512",
+      "19286983276943998",
+      "17192101352361792777",
+      "13198811357346080653",
+      "15634503070660405804",
+      "6817275977206287926",
+      "13939574321408828056",
+      "11442111020969438679",
+      "8182909377805248731",
+      "4703556166875058954",
+      "4780857116225290670",
+      "13781941569188845951",
+      "2988351061519006897",
+      "10138205782037497326",
+      "14546800903423026459",
+      "3248668302265717165",
+      "1526338290692510430",
+      "15210707734007742998",
+      "9845929522144125901",
+      "4152166781152268482",
+      "6792603163823546394",
+      "13932792788562939893",
+      "7481136171902385565",
+      "8082172043500316950",
+      "6678641619745468237",
+      "256234314182587236",
+      "12617150568218876807",
+      "9300427666566004515",
+      "12177263483153557234",
+      "8814859557717904153",
+      "250332482357618153",
+      "4729359902998629573",
+      "5775952456803969398",
+      "4400231739614748470",
+      "18348380297676788820",
+      "15250163343367858495",
+      "6729990222070285421",
+      "2059802315619326025",
+      "6262703037056200273",
+      "8050265657533810930",
+      "10670481125523417234",
+      "11801532838926127761",
+      "3402271926889152974",
+      "18121958344425318964",
+      "4505340914337090955",
+      "16563191955997243693",
+      "14467039583679702159",
+      "8213988692168130122",
+      "6701787447372742306",
+      "9680150917564554283",
+      "9533039815699553512",
+      "11548997974279978975",
+      "14260629868788239684",
+      "16782183300568598957",
+      "14505960621095196801",
+      "14767003219447115546",
+      "14489485365376400208",
+      "4039567222187163321",
+      "5099590606549144471",
+      "1883860981002470313",
+      "10897327059005957544",
+      "13810997147644161477",
+      "5205222829257117116",
+      "8119007795266006185",
+      "12182679253075421621",
+      "5565354379860888518",
+      "15666123337150135074",
+      "12862211657648572175",
+      "6020975611563054972",
+      "16840821685061286436",
+      "18411725730609649565",
+      "2709904706759756727",
+      "624945479332414976",
+      "15448583553870197216",
+      "17308098293085694030",
+      "716008865711804525",
+      "10052964051369629867",
+      "792327480287408059",
+      "7378714209625466953",
+      "9389073762301348684",
+      "454686827753573018",
+      "1964921585554810398",
+      "4578627727714535461",
+      "893688834348871544",
+      "10517843058491741659",
+      "2959518665322767929",
+      "18186255178911437410",
+      "15265525688741740451",
+      "12542093474883060540",
+      "10292174505938940964",
+      "13993093423088663918",
+      "16218731885509259057",
+      "13698645145431609754",
+      "16663572308667661165",
+      "16064486199425828142",
+      "11502259423297255587",
+      "14148762580197035615",
+      "999929190768303241",
+      "1363188302434594357",
+      "5762047653368947219",
+      "5357680710218521275",
+      "10253098397714522088",
+      "17655798124600902106",
+      "1727453038165951731",
+      "14357299985428854178",
+      "11370478532300118139",
+      "10627768037992585346",
+      "16793979275161788482",
+      "13249791463130631924",
+      "11495476402473195040",
+      "11144973463186699483",
+      "12797103968347531732",
+      "18048437260777200739",
+      "1153048366606781553",
+      "17794151393502222804",
+      "679710249695362924",
+      "11019435412290876828",
+      "6301887962788634011",
+      "5043282130364371301",
+      "13851419357760639006",
+      "12780387211320347236",
+      "1537192138517424582",
+      "16944356284228859132",
+      "3355976566284200795",
+      "13533736329204384478",
+      "2451838944989054057",
+      "8944569641062649314",
+      "3771914948524238885",
+      "14305345959747851122",
+      "8034128889312689335",
+      "14471632039377421651",
+      "2160503753184572378",
+      "679738820806767989",
+      "14097301365359907992",
+      "7582867965086622851",
+      "15760551922283838625",
+      "2369916337894892106",
+      "18278808274350456051",
+      "17724659214092662918",
+      "6460926325376634293"
     ]
   ],
   "merklePaths": [
     [
-      "5346309896732614331",
-      "17489235383595959608",
-      "14868743040989703863",
-      "8932817859166586357",
-      "4695946179875772736",
-      "1296058233453284452",
-      "11455858165883829108",
-      "14694963746488281244",
-      "16023710397237526903",
-      "1279098425705190758",
-      "16209833654047659197",
-      "6510161028364080774",
-      "6183833746793140790",
-      "3619431383675802090",
-      "12164720305595178964",
-      "1904086640261088958",
-      "17652159755104434868",
-      "304640590901342600",
-      "607512566085062463",
-      "13399881719994730275",
-      "13645530503071783525",
-      "13839178620918756753",
-      "6350648700418684375",
-      "10321134260793885154",
-      "6042174509947281598",
-      "7013858239032951223",
-      "16863847449548875876",
-      "9759993143529964496",
-      "2912641347814342812",
-      "3101640291690703637",
-      "18428456118965352852",
-      "15231172237121622724",
-      "15163475393972414472",
-      "13113070108673032187",
-      "11398819442364609336",
-      "9491002300258855745",
+      "12430532533496564250",
+      "4547412576470559081",
+      "463656396422323155",
+      "18082219596387603106",
+      "15031763080079916629",
+      "7979926676441066871",
+      "3333718872198821647",
+      "8535116152861483436",
+      "4371068318026282256",
+      "17375148583668002734",
+      "11137016715947558636",
+      "5234765958457997536",
+      "12949273472892834196",
+      "1621396631205683373",
+      "8839670985813175795",
+      "17020209468250962104",
+      "9338213541331525786",
+      "13112378918027454555",
+      "15985321461332504490",
+      "8769668492417858872",
+      "7632811476569957114",
+      "16023163005592697412",
+      "10925626449851348662",
+      "18374654561670795619",
+      "17933902645738292092",
+      "15835390839771474500",
+      "7283983571064701754",
+      "1258889127237921400",
+      "10608306159767735170",
+      "3284662053145246904",
+      "15951639836812987480",
+      "15883429374139527883",
+      "7754267101190451593",
+      "2679367595459552225",
+      "5804484250574373963",
+      "18248417390551701255",
       "0",
       "0",
       "0",
@@ -1558,42 +1558,42 @@
       "0"
     ],
     [
-      "2757292155431613297",
-      "3236410726941427862",
-      "14918486656113682620",
-      "6188979370320938978",
-      "7392262164113740717",
-      "4194508245491865215",
-      "6012535509211120228",
-      "14211052416111897036",
-      "7877735037852633730",
-      "10178793301901246110",
-      "11929622256765892611",
-      "13308705962948431209",
-      "15177652176109857437",
-      "6570471598530299494",
-      "8515763202816536314",
-      "10028745812193901378",
-      "2933947940183430569",
-      "2798480716925448155",
-      "4886369750621892089",
-      "15289923657032139740",
-      "14213177977805097227",
-      "4082751964486642574",
-      "10748966083217530530",
-      "8592662997120932294",
-      "17909477209525710688",
-      "362258729509344850",
-      "14211340915477093604",
-      "967648731814867500",
-      "5669812404134872758",
-      "13544640499315270317",
-      "5577464707385357809",
-      "15545227237172269672",
-      "15163475393972414472",
-      "13113070108673032187",
-      "11398819442364609336",
-      "9491002300258855745",
+      "7468279410817831886",
+      "12882430982781301870",
+      "13540391675194576141",
+      "16154599947436977988",
+      "15936093125671012971",
+      "8393018579372941385",
+      "9106156988854676197",
+      "4356936247169462518",
+      "1207749485019821342",
+      "4869011541226146744",
+      "11329276787699899701",
+      "6844762344288978131",
+      "3822145275424914019",
+      "16478395311813682119",
+      "14844291017528034598",
+      "14301951891479208694",
+      "6955584424235261142",
+      "9516503251758610205",
+      "15154626050034570847",
+      "17739672866404176747",
+      "17815203300787503695",
+      "5868500291427114877",
+      "7037808100981438309",
+      "9750722374490903449",
+      "11158697415071956741",
+      "9683931590919630911",
+      "12505910211645538698",
+      "994605159505596295",
+      "10608306159767735170",
+      "3284662053145246904",
+      "15951639836812987480",
+      "15883429374139527883",
+      "7754267101190451593",
+      "2679367595459552225",
+      "5804484250574373963",
+      "18248417390551701255",
       "0",
       "0",
       "0",
@@ -1688,42 +1688,42 @@
       "0"
     ],
     [
-      "5346309896732614331",
-      "17489235383595959608",
-      "14868743040989703863",
-      "8932817859166586357",
-      "4695946179875772736",
-      "1296058233453284452",
-      "11455858165883829108",
-      "14694963746488281244",
-      "16023710397237526903",
-      "1279098425705190758",
-      "16209833654047659197",
-      "6510161028364080774",
-      "6183833746793140790",
-      "3619431383675802090",
-      "12164720305595178964",
-      "1904086640261088958",
-      "17652159755104434868",
-      "304640590901342600",
-      "607512566085062463",
-      "13399881719994730275",
-      "13645530503071783525",
-      "13839178620918756753",
-      "6350648700418684375",
-      "10321134260793885154",
-      "6042174509947281598",
-      "7013858239032951223",
-      "16863847449548875876",
-      "9759993143529964496",
-      "2912641347814342812",
-      "3101640291690703637",
-      "18428456118965352852",
-      "15231172237121622724",
-      "15163475393972414472",
-      "13113070108673032187",
-      "11398819442364609336",
-      "9491002300258855745",
+      "7990729554063972674",
+      "7391229327386441975",
+      "10051690420939344987",
+      "1330339728044696667",
+      "4780325308502482493",
+      "18410275883559695594",
+      "6456690470635797002",
+      "8188535667097792249",
+      "3069576169516347827",
+      "13915565191089679683",
+      "12407696272500961822",
+      "15627707180902571543",
+      "672110781427615927",
+      "2649535275949230182",
+      "9329136216264899143",
+      "6713253754972185132",
+      "10647602530339586696",
+      "13288165607021691713",
+      "5245898546484567230",
+      "15883796102354584852",
+      "2820665944265323045",
+      "15146318892278681587",
+      "9893027422117223229",
+      "14674664550231473881",
+      "10456873788924328962",
+      "13566036704404640426",
+      "8836664986937365990",
+      "192050942108767005",
+      "80731099855203114",
+      "16326360119485506438",
+      "10707664516204300888",
+      "306877602577063362",
+      "7447795703272706870",
+      "7382535802843703752",
+      "16556977703187997245",
+      "16253348503593274568",
       "0",
       "0",
       "0",
@@ -1818,42 +1818,42 @@
       "0"
     ],
     [
-      "12389775166406120266",
-      "6613320365439758393",
-      "10660048213103152084",
-      "13253125881338405461",
-      "12950323420671280159",
-      "17419470654212632574",
-      "15882047109284259482",
-      "4497758382296823020",
-      "14157143640214466515",
-      "10087853558070696986",
-      "9308431711156523595",
-      "8597463331885550047",
-      "4348847935763513119",
-      "14929990388410598107",
-      "5686651221585293030",
-      "10528178180465191848",
-      "7735601410613924301",
-      "1213361542546734875",
-      "3513242277565906638",
-      "16493951690278092976",
-      "4792880732160804530",
-      "8710014641129582247",
-      "1042294712436114742",
-      "2721862945891858450",
-      "16691828072297109072",
-      "9549177159560235157",
-      "817655661875396095",
-      "2642728507733729886",
-      "4305466937357266411",
-      "16831779537215165438",
-      "1787675555472592218",
-      "1380748942055661424",
-      "12414411011155713113",
-      "11312749942415159663",
-      "5756370179151978394",
-      "1863489793158580608",
+      "8067677453306687228",
+      "332694499363474659",
+      "4309111988965110265",
+      "7446573718822891059",
+      "11876701405420679201",
+      "10165365056616696722",
+      "13449451789501488959",
+      "2469178286479337258",
+      "3244842632377694113",
+      "12604938448381275131",
+      "2013516306084496850",
+      "864228162808871986",
+      "2315966197434478607",
+      "15332809532071125685",
+      "13931435140780440811",
+      "1707883470361781317",
+      "10647602530339586696",
+      "13288165607021691713",
+      "5245898546484567230",
+      "15883796102354584852",
+      "2820665944265323045",
+      "15146318892278681587",
+      "9893027422117223229",
+      "14674664550231473881",
+      "10456873788924328962",
+      "13566036704404640426",
+      "8836664986937365990",
+      "192050942108767005",
+      "80731099855203114",
+      "16326360119485506438",
+      "10707664516204300888",
+      "306877602577063362",
+      "7447795703272706870",
+      "7382535802843703752",
+      "16556977703187997245",
+      "16253348503593274568",
       "0",
       "0",
       "0",
@@ -1948,42 +1948,42 @@
       "0"
     ],
     [
-      "4021678530024204734",
-      "8693637864875381517",
-      "15180012454023559806",
-      "7158214554230412745",
-      "13605469997192905423",
-      "7528977581637752721",
-      "11273690440995019746",
-      "14949335429017724320",
-      "6928512829646182421",
-      "15229801112762570300",
-      "10852263985215161769",
-      "12363610964887280956",
-      "2389880665833823441",
-      "10050332513514532602",
-      "4426973429454345204",
-      "4768973927260690693",
-      "15643281961805132410",
-      "8495476286498349002",
-      "10192800643656989572",
-      "3740681873640754786",
-      "3435841613533790196",
-      "4004761062423623819",
-      "218663253379018746",
-      "12272361582586154637",
-      "6042174509947281598",
-      "7013858239032951223",
-      "16863847449548875876",
-      "9759993143529964496",
-      "2912641347814342812",
-      "3101640291690703637",
-      "18428456118965352852",
-      "15231172237121622724",
-      "15163475393972414472",
-      "13113070108673032187",
-      "11398819442364609336",
-      "9491002300258855745",
+      "8450789820583911034",
+      "5209157929281257737",
+      "8066232928438395196",
+      "17541962093207135785",
+      "1137864081707635248",
+      "3450961714043929027",
+      "3282877390379779434",
+      "14545659594916138484",
+      "9953228688505232270",
+      "12138503931857945722",
+      "14456133246582478839",
+      "14082347637197798218",
+      "11354604074310900654",
+      "12242349353169088634",
+      "436912502484597160",
+      "6742500848221426238",
+      "14993025149047109012",
+      "18210384127028805512",
+      "7920406582903066953",
+      "10671157170353502976",
+      "9808453526804479361",
+      "15423038107300910673",
+      "4008982581390877521",
+      "10260776390951190974",
+      "18035479784946473894",
+      "12293270083522040417",
+      "2252420996863631704",
+      "13446246603952433837",
+      "18344985907994305562",
+      "17437812104100682776",
+      "6995402687472278041",
+      "18215234379970416162",
+      "7754267101190451593",
+      "2679367595459552225",
+      "5804484250574373963",
+      "18248417390551701255",
       "0",
       "0",
       "0",
diff --git a/proof-input/src/gen_input.rs b/proof-input/src/gen_input.rs
index 7206530..de9ce2f 100644
--- a/proof-input/src/gen_input.rs
+++ b/proof-input/src/gen_input.rs
@@ -37,7 +37,7 @@ pub fn gen_testing_circuit_input<
     }
 
     SampleCircuitInput::<F, D> {
-        entropy: proof.entropy.elements.clone().to_vec(),
+        entropy: proof.entropy,
         dataset_root: dataset_t.tree.root().unwrap(),
         slot_index: proof.slot_index.clone(),
         slot_root,
@@ -77,7 +77,7 @@ pub fn verify_circuit_input<
     let mask_bits = usize_to_bits_le(params.n_cells -1, params.max_depth);
     for i in 0..params.n_samples {
         let cell_index_bits = calculate_cell_index_bits(
-            &circ_input.entropy,
+            &circ_input.entropy.elements.to_vec(),
             slot_root,
             i + 1,
             params.max_depth,
diff --git a/proof-input/src/json.rs b/proof-input/src/json.rs
index 540e749..c6781d7 100644
--- a/proof-input/src/json.rs
+++ b/proof-input/src/json.rs
@@ -76,6 +76,7 @@ impl<
                 .collect(),
             entropy: circ_input
                 .entropy
+                .elements
                 .iter()
                 .map(|e| e.to_canonical_u64().to_string())
                 .collect(),
@@ -125,7 +126,7 @@ impl<> SerializableCircuitInput {
         const D: usize
     >(&self) -> Result<SampleCircuitInput<F, D>> {
         // Convert entropy
-        let entropy = self
+        let entropy_elements = self
             .entropy
             .iter()
             .map(|s| -> Result<F, Error> {
@@ -133,6 +134,11 @@ impl<> SerializableCircuitInput {
                 Ok(F::from_canonical_u64(n))
             })
             .collect::<Result<Vec<F>, Error>>()?;
+        let entropy = HashOut {
+            elements: entropy_elements
+                .try_into()
+                .map_err(|_| anyhow!("Invalid entropy length"))?,
+        };
 
         // Convert dataset_root
         let dataset_root_elements = self