package _weierstrass /* ------ GENERATED ------ DO NOT EDIT ------ GENERATED ------ DO NOT EDIT ------ GENERATED ------ */ import "core:crypto" when crypto.COMPACT_IMPLS == false { @(private,rodata) Gen_Multiply_Table_p256r1_hi := [32][15]Affine_Point_p256r1 { { { {9259451175701532574, 15597985540941612547, 4541553034987877619, 8927802479718285609}, {14672230714928802576, 14284617950605306700, 13339970812390782046, 787078889494395850}, }, { {18165439414433063919, 14693282888419586094, 14992616289789993230, 13232208150801553912}, {16850347485914337693, 223364064845089224, 7302899015436300563, 4391216311540396088}, }, { {12558388403188680537, 10687978569513354810, 9373570856564649772, 4079327722512691465}, {5372437374337150740, 3297421622932790851, 9326853593823854687, 8305371884938201251}, }, { {13121472331750731303, 323745485980480220, 15110308702528119977, 4696302365805118372}, {9859094500834571602, 5315656270700787939, 4187063204400651801, 1695695129564818327}, }, { {12817586844019849804, 15425488216915741929, 15293562913126043054, 11770898970765978555}, {6806103820345670787, 17789094149138630459, 3807781571713999192, 5823254011289457198}, }, { {10112524230916015604, 13571143908656270599, 6031089010487808103, 5774558171390644848}, {1808959243244841573, 14071312530426692155, 9241399242704553402, 9836150050655369231}, }, { {14083007972403535491, 16009534514129505275, 12481249112231139039, 10309390659262581143}, {5782517315325366794, 16717384553294759530, 4578392002424884134, 239005024949492645}, }, { {1836857790164349346, 11263074778654917115, 4786985732596838094, 10525445084936097674}, {1484357665966453236, 3110871407036679558, 1668700683093601768, 2736269131339849752}, }, { {9249362594190920246, 8088172462140746331, 4080107866285682736, 16205599538438551353}, {18312943145606312277, 9100632964181080418, 3969991115337154345, 5340098959750368315}, }, { {12122448407048035645, 2891250339380982359, 12794212052932523400, 7166035112141500392}, {15777441312724841162, 4552528682229856831, 2210391301762911476, 16410254680957321386}, }, { {6910044784455706429, 11951245774670922855, 207795885948948810, 3884359690300962405}, {4578772752480772344, 2948797025787714138, 16774444535658202808, 1388183483009000463}, }, { {16561979129019905420, 1881862411760441386, 15441950514711322010, 12933020223458438856}, {5570341451312029630, 18172638959728259059, 9074261777549091198, 6171200053222754816}, }, { {10126435102176037237, 1545112930055760251, 11563139991870561593, 10766754172364938834}, {5116781688621052838, 14471715119500781375, 4724882615229687192, 10031687030722046325}, }, { {15016829467434780812, 6777508689306592732, 3811682306063049290, 11475361222871876387}, {6080948654298953274, 11612742274762615033, 5268311600240325047, 9147351973710519861}, }, { {12130203770930472759, 3880998309361490881, 8807462332494735511, 9291388074337055133}, {18165312304248982432, 12733144434841535979, 18090195697688236271, 5825342884125782172}, }, }, { { {194633990068625151, 1028128699653523895, 7436102537486268753, 1855520454959348468}, {5098690958966904466, 3342676718901330604, 6942212660412942406, 16510188838209674083}, }, { {7963995066277321795, 14986230345162551366, 10616366460602472778, 16186943329215681149}, {9522855644164647723, 9858336437877021178, 16344942402271072884, 18027353494090590022}, }, { {13392726161043192788, 7606793939450765773, 9543984695709321129, 6135912406103198328}, {10903991926178685177, 529801710637680784, 8207012095420105234, 4590962949922268360}, }, { {13175608910844763921, 11168387468381338510, 5555873864224342205, 17780559602571640345}, {1582669533588472814, 8145133762789622706, 1625372887980692455, 4576809104068554285}, }, { {17616803153811079355, 17809794753465712025, 10788493879428408032, 1263026253532745742}, {331896291298606534, 13299145463579793142, 8951131463540898010, 11121758705853021600}, }, { {17015522374255846157, 7155392284047197223, 1248775493117789546, 9199472299655737207}, {13126885324657282947, 12092989376083683289, 2035698983314262432, 835441512024005104}, }, { {12481871371020004325, 15786477648044981224, 2586272424816191689, 4208704695692543659}, {16940467964964992440, 11207566805119564978, 2858987625603639630, 9561510646236248154}, }, { {2900978533555060931, 1749946807863203576, 11705734511931072459, 4446980691693419424}, {14437524160594907241, 12795912566640000773, 10400036254697939154, 8356113088668925361}, }, { {3770654812111500682, 7723332701546321657, 12057007323752084660, 11871339027463593983}, {8927366002257844381, 331175455338905356, 6085376066711046662, 195998713859126244}, }, { {15888580251537997623, 14253909833728698978, 14445538492667230716, 4028538972354525849}, {7720263170150940477, 1190890222876864097, 8657188516818851005, 1987613286973742753}, }, { {1556082539082087499, 9191446579576007527, 16923484407567577707, 4662661048159090855}, {12760778972220173745, 3942937056545553996, 12952479961991875179, 8914103212381870290}, }, { {8900726473285671992, 890209742292473781, 16059468388719373167, 16577940938542233221}, {17381766864962227733, 231915274132518769, 16477817024012878700, 15646021286310268545}, }, { {10104554368814337641, 170400126349943750, 16051269335758964391, 7842493858299913771}, {9246756702190574744, 110682656515867335, 11402798562961521905, 17325237240525801251}, }, { {15837018286366797690, 18114413810565810328, 9441874034567150801, 14075941137889189393}, {12786763055047269260, 9121030808281463204, 1713778999270814105, 17015261864438490667}, }, { {12997570542605430113, 5500897611058123544, 4160129407772614089, 13768264346635084004}, {6638654171187871203, 6080635069726153281, 2255431148803290413, 3789670411999607189}, }, }, { { {1830819081327272165, 11951292080860646547, 18002500803418629938, 13317986695217403840}, {5005574200470766330, 10138179785738652504, 1610518863105278224, 13309443265578956954}, }, { {14192194428653714479, 11578618567931657764, 6032668189933768881, 15981535562386193924}, {8925792218631314923, 9408714146004183681, 8859017894477140398, 1675606340537058506}, }, { {3265119697568866078, 13753322853248061974, 15435163376825672274, 13646180516491714938}, {15620545622955090250, 18241486585498394565, 459566729126467878, 9728217493753855944}, }, { {9883406233903270985, 17184231210468300584, 5498903678702785900, 6903833261382863389}, {11489138095102981636, 9021901931786177471, 3227433089132150317, 16639455550797627042}, }, { {839045372102318861, 2032615141683118500, 1921816835840256924, 504869150737570005}, {15932184001422473505, 7849475855313305697, 1189994394722618598, 9874798350548229684}, }, { {4636201671610663345, 16662311204732135584, 12398897461787695675, 1355753199357412657}, {14695655628527768564, 1692838776852698754, 7346906782826540912, 14869028424564984700}, }, { {14240080119980315297, 4751983902385717684, 7941412103662252178, 4796803816695225123}, {9327986654018000413, 15111345676387005726, 3582558555283734415, 11913156735178831102}, }, { {12915868875134296756, 3071143582305760275, 10848717856747030010, 10973183887638314967}, {5983269487036236823, 9885184706933333413, 14509493669845681951, 9669608065801379977}, }, { {7848634325810890057, 4356492357483949442, 8777700982672429871, 447737364627887590}, {2892466086138453900, 12013259293340538023, 3423275627272380730, 11171074631447548946}, }, { {14593553227914306527, 7393098159726367793, 959457858782426605, 12924066827318848802}, {14790800265003508462, 13805969419986022239, 4408523909823076864, 16722715416825698787}, }, { {8554182115079118694, 17233907570567075631, 12336560627384786590, 5123566378696582545}, {96401035522143140, 10138155491929979850, 17651328686428132420, 3453390145222258032}, }, { {16197242500758474188, 3349369240724295499, 9422940308750670637, 16888844525585804807}, {14045424784406071799, 13180603138700207746, 2683581192503868543, 3842875784859878}, }, { {17498073686183419231, 6922314891526280784, 16083733402282932920, 15425477806093217459}, {12425976625898608391, 16458101989314253841, 10013521940061058050, 10858868879196007236}, }, { {123600201037598181, 6690762836954208162, 17157040810691942664, 15263405971805161132}, {8685477170453562173, 10331174323986544033, 5789045082422148337, 3007978469441468974}, }, { {2402095889286816125, 18054120920831753009, 11753130221915918396, 10341553510464463050}, {280903370426929900, 14994955837151914025, 13551362401871479612, 14711789630561753093}, }, }, { { {14086745261650819748, 17953107869776717888, 1777725846494438428, 2765314406831814212}, {2603997194371852991, 2223517025105045134, 15579901335531749634, 6571733615332171148}, }, { {5478465698516556930, 287443454357750768, 12201204663663129285, 782849770204658255}, {11270045035009204251, 18152683972363144337, 10463300037926642739, 14363641589598863851}, }, { {3790592075869665284, 5120320091554329756, 15361581282394028709, 14360464660911164915}, {15249656958991931940, 2563751872827049233, 13745792006936646733, 14572943674933168173}, }, { {3167679014977537749, 3417445004776702290, 1709246158507866266, 5861367897285174360}, {8437429877561342262, 17231607446243478748, 16047596399306766948, 17656438585829685897}, }, { {12977336347094692192, 13723871955002954132, 17399919575273038847, 16163973860244779675}, {14997921584659740746, 6543247361992425067, 4675926398794487109, 17580512382853194054}, }, { {10778828023580771765, 9812611440536367405, 14168149065325522570, 6692229110872358750}, {11010962724400581057, 13055203605065073902, 11396463140731730116, 16969789651736772232}, }, { {3285258013801327520, 14114268241282882888, 5367399533198476395, 17277410244918727028}, {2751895479568588421, 751309667192066167, 13038472116718581917, 16013586354334596135}, }, { {12364168614988940500, 13194367252463423118, 12223406606527741280, 5014139294736037086}, {11244699482831816093, 5336498572491451990, 14268404582568856142, 14502318820969599316}, }, { {13295673091232554814, 313981772853781347, 11829785736449464030, 13341198421333360997}, {16787450350663111566, 6525407229623764159, 2012189087039636323, 2110887590404698758}, }, { {16984895766311549717, 1057465499230843916, 13565444352859773343, 1019268943988786852}, {2190009140530404855, 10045598732295352970, 4789803496780829836, 10700158388954091321}, }, { {14840255112988420500, 10066628133368048408, 6527354835873855384, 16106607076894419125}, {3989024604987083046, 10713316697020150694, 16811389107269552264, 11294596059797019619}, }, { {622403023838932676, 11423409007234191765, 17086830255702454786, 1213655124481948199}, {3976593910085142945, 6315875935390432543, 17947502153968859628, 18031540937011531543}, }, { {342675887578148289, 18366454547938469828, 3853530442390999217, 7499455395579634652}, {768597405171336502, 1636271570683567151, 16786205337983572309, 13056241332863199715}, }, { {15991153618414855143, 803325462494472241, 5709347424437559249, 10138502962472290727}, {4675124205115228106, 9599016746550345197, 2769443894695609085, 12311020551315051087}, }, { {11470964304318784059, 17313372553735202469, 10686997186364536871, 9228453594798060121}, {57933324335302024, 8931389936300346353, 17823596478938529898, 1126996688113949835}, }, }, { { {15804957839814547154, 7924193945337173678, 1080401129055171214, 10816444561878528576}, {13171610473229361771, 8099842733764406841, 9284741070210451667, 9245195215372025289}, }, { {7185947197544988797, 13306809398790059447, 11440959253278285287, 15084384140482244570}, {5059824327869316332, 7585354587200615362, 6801884469610571467, 6427162399794357267}, }, { {1505501490785526604, 6062033360335279190, 13214531355927393851, 8869230490276248430}, {11596558698255017116, 6698268011950867978, 15445165013361223076, 4910055064120213146}, }, { {1453348772281274490, 13028088570940491471, 16100623112750251840, 5210244400259879874}, {9443916155735416174, 16869520919318450506, 7479400208826706574, 14374970913352602458}, }, { {13057495656815142976, 1743194961605203063, 15733599697884179267, 3501754291485677593}, {7405256272105757266, 12344297842308545819, 3389605493339498760, 3092252531918600248}, }, { {5038191990715247960, 2723916483244871576, 4891019526710760134, 11094632341133260369}, {6274429941353136467, 1408871421293516065, 12455625869488488781, 3401549469990652817}, }, { {4716563932720198201, 1584625214845878997, 13213357619008940082, 13122950207230795185}, {12303370001794463898, 6725033180592084698, 12302152314224424594, 6139100303374835750}, }, { {10149597276931117465, 5778043705364022356, 13888443605241209218, 6889225091714429810}, {16209363638493043975, 8516350006446457646, 9214830076046105138, 8894115046323798175}, }, { {161027176918876103, 2287100732338401479, 16561946444121779293, 9805329436091376243}, {11473978632757961256, 1245289731366992705, 7338435771556366282, 15749864527919116005}, }, { {2753237807828198865, 11508305846735597339, 9058745440380813449, 3960739040735759442}, {17921955885187582871, 10231929062430218022, 18115018235326517243, 17854413167898372208}, }, { {638684488109167329, 14596365931372343092, 1917271942976854297, 12291978018935761003}, {5076527739384635812, 7833625460571766680, 17060902137821849350, 17134703695475138982}, }, { {13026208197163596446, 1935567165776196957, 17296090833026336866, 8461284827078097590}, {14545382879887213077, 3302103559307506085, 16026840048628844803, 4599071908983273604}, }, { {9156540407095300222, 7598243263658987831, 1996711254516517688, 13013193687414837552}, {116495354444693499, 12803585308662671588, 8278106437192580735, 3374263264867687146}, }, { {4318910866113560561, 8122780372606489166, 11952351993471767425, 9581759925599323445}, {12268585667545114307, 7286163136539353394, 12697490728074784421, 7270019569202782882}, }, { {16247467139569457576, 14043942371464607677, 6338399572126720647, 9528527345786650933}, {16344656963096275115, 13804658662065732334, 2991248997774547140, 12174436388699549119}, }, }, { { {1169887957113173798, 4936710663791789838, 8029349457377894665, 3317691225106441967}, {3622769674498678594, 1954144360900150482, 1432045977341997899, 934737636789214593}, }, { {9646181593082190523, 16068017411165381498, 13319927590045936565, 6113055520205251774}, {5576373032696512038, 13880344501714804196, 12022206929479211261, 7387979357081975315}, }, { {13553890993911526641, 1237937561304731611, 11053651340854998814, 8737874920379363783}, {15414508226001886918, 9311523317130687807, 12080742822716708234, 4715194040021784977}, }, { {17182132836049601530, 1486820395924546410, 14089047182364760490, 5375431386740917568}, {2352352269256972682, 6220398075470064021, 11444733678216077372, 8173002234516562536}, }, { {7896339057146013415, 17613745684396593735, 4238258305077796259, 15438639564771394288}, {1482402451684594916, 3104492350488980260, 5195487229736262641, 1361150797580203482}, }, { {15949855327936545010, 15892613064802301412, 7776232754624386979, 2193423430757249310}, {10751855334513902678, 13772090376350944100, 5644047706587449960, 370992037484721524}, }, { {16329953561108738383, 14553061366216182492, 5112198484879130320, 1893048255589705004}, {11469678860036344015, 8992526488267920066, 18208245559304821518, 8980963391041920447}, }, { {5783711159088718530, 3503029393593618754, 10736192136662142256, 15443859608128978668}, {271805305647187927, 8244170003029416464, 17017071503038388446, 2536084345379259313}, }, { {9850291665987916519, 6499970366121170030, 7001995026899086280, 9961826319039756858}, {7497823327397141096, 6975352931548332265, 4068344268340314997, 15888973419716629698}, }, { {3982898776583485812, 10403233710814076420, 8681461491810344216, 4116685619183896910}, {18192868132325233114, 17377077437999490605, 17997716263755054576, 10376686656480866118}, }, { {3479412946560984795, 5044366097675527819, 13707564929638264911, 5666779920208401261}, {10137470376683230183, 2075467328249870088, 11457126564907274413, 13701087332649256159}, }, { {12574253652565934836, 8388159655344384255, 16127953452716629313, 1877819316325313228}, {8945746653921217760, 4616678606113198065, 1336330019150074567, 11910289150769410280}, }, { {9565592090082898867, 1968790057506790036, 4797721149040405609, 13125809848505545280}, {14122665390767023537, 17271175538744290850, 16007653062195668190, 16371835205840876479}, }, { {10409691258933377688, 13736467137095186370, 2757793467881882435, 12443439690522935631}, {17601924849565694404, 988048065500720515, 7554063443268400107, 4274248596892038508}, }, { {8972162505776549196, 16209364130421564220, 13018196697272262431, 418388148277092169}, {11645493996879973039, 5024734975063482607, 3708889997144620499, 11208942121415360714}, }, }, { { {17596113920958619489, 11920824479658301378, 3786905428099710821, 11112764289322906111}, {8817260450068629272, 6518847791514184438, 14593687325057339783, 18018581321332807475}, }, { {2056254186648603335, 12143016575009965669, 3290271983033386616, 4338404082685850854}, {12660444972475266123, 6345409453044955404, 13278869140778657354, 10063005167581762786}, }, { {5303950317664091150, 17409642188139937758, 12135894348302287058, 16444741243419918751}, {13935885817311324323, 8496908197501732703, 12163317723288843510, 16891353436915314685}, }, { {4168420842704770545, 338440394515115377, 2102734009665481092, 9772725684473416465}, {1247616337419130000, 4222072446972129729, 4836898447189504007, 9154346000276664999}, }, { {14649401370738987318, 10044081678892811795, 1306517740393103656, 16586067283450489622}, {8211832777731897494, 12849393859171286949, 17327526552807783018, 14171704619529498238}, }, { {12849053390245557890, 12693731077061619694, 5891211584023409476, 1008960642219209210}, {15593393872187214387, 7381248773473326001, 16559656086795428559, 2106025108820858934}, }, { {4347667984894353308, 2129883711661222690, 1076488804494872856, 15059968377755299195}, {12380937310378496242, 16425480883270944108, 4769192332535557551, 10388305045430499744}, }, { {8553482596123775980, 12627020622203381515, 10774788686070344669, 6271789114731522097}, {6270586844349642345, 5584690155569770537, 9478526526319537174, 3405597782572827563}, }, { {10255408065071335198, 2384996481315588922, 10679447117297819075, 3734157461055440416}, {1635042286365643780, 11321809677772938996, 2373960964139986040, 4869129159740273704}, }, { {16681657814739017038, 2045405432090866328, 9473434018957974472, 5549808619751464269}, {3650191693776946828, 15805634549736708741, 16764187297356548667, 6849534466635874363}, }, { {15295973549776084894, 8150873746601283651, 8017271980921908229, 4899654767305073834}, {15257501950484641691, 17365331272978440066, 14582514748324426172, 14727798284858071666}, }, { {3180828552573045472, 17698570278585440462, 8986722854533057232, 4518665117523514004}, {1718699978312382231, 16973074530347269964, 5684175730451960274, 17228649521631238473}, }, { {2897180423141326703, 13691273076814343144, 2967066815351306232, 1032540647518716635}, {16365716239989474776, 9503666134295232767, 4599017511227366879, 14475021161770955579}, }, { {4512626226592149712, 13575110216387069176, 13488662643497927183, 9673147324484250604}, {143936220816719815, 2307325398241477161, 468315224038772027, 17743582630124600591}, }, { {1476494936296433813, 3408612621327299295, 11632756669813257564, 14296719897220703576}, {2241234207239321749, 12237974399755684219, 16253635131573079566, 11892871179872526079}, }, }, { { {9440495138081785154, 17328162383695942099, 1870751290505230781, 17987066187778049275}, {9952223038481207705, 10126409487298126876, 1181369784146909444, 8158422380540037915}, }, { {10892870009313407934, 5709686117526627488, 16343828906887149047, 16063790174205876315}, {9076070192754075075, 4639156357669822592, 4904064385440242264, 5942264027390072320}, }, { {14586043427955633062, 1886633882927769308, 12786104261802569226, 17414735423561048102}, {3869682486341171982, 17146691898427698057, 9886217016173201579, 17515773620461053745}, }, { {17271984572727555145, 2097715321690717305, 5328035183708920909, 13206781766168781008}, {5915693606819932446, 3870849056297265622, 18070792155150730518, 7786839743829304936}, }, { {14091274565690260814, 5039742420071412611, 2322945829654574283, 7678395717670225646}, {17396071770599775867, 4747582460834310767, 13387178106758137047, 7224458787360678986}, }, { {2020583809775623843, 3803516109208330416, 10492323079463714031, 18244921722581618682}, {6400055933742731191, 18370212581946723247, 11415812944884122048, 5987324147127294665}, }, { {3106709870210381627, 3437108621064387068, 3265644153772373951, 14353255805499610949}, {11329727508866046420, 5461257448868659690, 8139681370942905079, 8439558396411914298}, }, { {7939886940063870939, 3597929036186322512, 12732772396498766041, 13300425267730247515}, {2345112231224079293, 12327614629296314761, 17106102937162407683, 1702694317559034053}, }, { {4276582831142955483, 1304336253044853784, 18317056640605949326, 11200473213973297420}, {3937030502759894542, 2315314353886242360, 2673827662906962132, 9781744582918546067}, }, { {17837268310687096164, 10122495457633601623, 11985150009870152981, 11282144500794610389}, {13999168735732598559, 9030771445951876212, 6423904381826094276, 6148980837201061250}, }, { {14621142736654260750, 1806201536162806753, 12562675185535659971, 5326177198980139868}, {8675433132905478434, 10796034085894917871, 7562073626744691385, 1491977564717017512}, }, { {8821632341545057929, 16708916351043551467, 9171560460858577216, 5711973041149612575}, {15808302665077457285, 8412173943543358851, 12602476370021215716, 4778674887660148537}, }, { {7524796586818405222, 5468491023058834244, 7965536127579551161, 9575670558568595724}, {4020611179055350793, 186082735900253826, 11198349470461895384, 2693853052562145978}, }, { {7977371007734934919, 1442746893361509157, 15080044066626816201, 9179319344686817504}, {17927184654813605164, 16541635384799094673, 1663389722548868092, 9157422724003022421}, }, { {4167146676307544690, 12042136744739037957, 6606952994938338836, 7554398412699794678}, {11844277247778765775, 8165791089025933303, 14954338535964037723, 16693854111477654477}, }, }, { { {5841260956815214452, 9461234662498869948, 4761949640006529525, 18229823346336752572}, {16055957459773168413, 4272222475092786627, 18249888117586812770, 4531982814021269346}, }, { {7270238601276019194, 7318279377964882079, 5226788506940171017, 16838449902078450273}, {3375184937745100689, 16320655850583231520, 2173229791272659780, 9816381971766204380}, }, { {17113448198982970082, 8879656883528014268, 15215762680430094206, 15232212751792759071}, {13699137317730183483, 11815206710130297569, 12298409691055054593, 2192455093917691024}, }, { {9742819322069712752, 8779224519997661749, 2591205872359340025, 9144644967919881415}, {10495832103710459914, 4557264342687723360, 935865282128150338, 7120324256648044882}, }, { {4683169301229531061, 14940390399739549639, 13128742567354398401, 15222231511210090535}, {7352694898928671332, 1221555526903686446, 8697118143614336514, 14515400523185205597}, }, { {10239864229747754958, 12477284975467600510, 14054830413782031834, 17752968481181892755}, {16082713391521411762, 17191329716867535304, 11245514405315337909, 15159733745232554536}, }, { {15444441705629456398, 12030687282161152512, 16500102437404896225, 11467410246278043769}, {14031300093087427598, 14458597378298191386, 9434445586505481169, 18221119130471329822}, }, { {12694666558858009121, 10992313774737315187, 6046508760845509477, 16818819584649823054}, {10464090160691032219, 1221502600750419478, 8658907655588546849, 16110628890984509877}, }, { {14304143349839262251, 13048055876309896774, 8676204847923624352, 8365498293767636038}, {13565995665971214654, 10895028049457785231, 5911971723937387023, 8436244239466286317}, }, { {11501032393232899227, 3895174794911924947, 3230698222875450976, 7264134402609589101}, {18091100044992147344, 13252184705645692134, 8424205723200969631, 5731735154358029264}, }, { {12163905774765001813, 3911227235818691672, 9833792088244333742, 6413344327541478453}, {15325942369130325853, 12629318625161567307, 8784755949357111975, 9462269284575183222}, }, { {2157617452419341992, 3753997642171159286, 6553292364671628995, 4814048166016850277}, {6152139240994642263, 14066819599579263267, 7377541740373798192, 17830582976167057789}, }, { {6906089045659836134, 17967958089618664024, 13353206790928340833, 14671934547763383296}, {12187232481950713594, 8718528695481423527, 18137604428804898613, 17758096361511845106}, }, { {17646581888040948752, 8252837592394234071, 2508742924483223473, 5332070238932154531}, {13165985796861395246, 4409584176627274781, 9230253121183107430, 8784052955551358471}, }, { {5394535031187713437, 5279515585052353937, 14159976884067043134, 10130852155763718010}, {13777927158878861230, 14015445621678244733, 3350717438960860318, 7071836838770144750}, }, }, { { {10708602749843635238, 8046488591192123621, 11391158257016334553, 2512908912806916201}, {14760224624269838038, 2631910198880826809, 2387247811669872033, 2048193899742148806}, }, { {17392983665205025720, 12603331233691760840, 3752711326309791976, 8281544857330094164}, {17004651346561270106, 10399322540256775923, 9721299450284863176, 3725182263994944884}, }, { {13643198694788276032, 8127425924819487897, 14165945065582850538, 16520977003164405917}, {1941948502806705647, 12390949208067741787, 17112117376594486408, 10232906951259490042}, }, { {74190110112564319, 11227229657066745164, 10151080599595091944, 16591051376074591375}, {8256332495682655293, 7127985739945537626, 5708687346183367016, 18310921046455023281}, }, { {10040565835468209502, 3986586816478505371, 7957179672896506016, 13347112914739722590}, {14099734293320932556, 13921950344400895005, 17478414833301838037, 961445463330402797}, }, { {10553899634420153414, 4215979268474142438, 3643081140297634139, 11620906704125380460}, {17733628678553828301, 137473878710304143, 6211837577294956591, 13926110616399428016}, }, { {15203257341351417031, 11597829209697937782, 17317571979811895272, 15929491640570317745}, {5731227916276913121, 17093153916149088230, 3908757069480556294, 18211818355208735794}, }, { {6887629766078662088, 15330755394432598442, 14144608177273202986, 13258654996547018856}, {8975611270007504091, 16869834856279102361, 12707970875852047823, 8520055680055874514}, }, { {1643407997152867899, 5400650551136488814, 14663391437159245064, 4743209938058826866}, {1728998201888511561, 11238331920657195520, 11617984741897247805, 13858029141809651878}, }, { {14003691155137683825, 14641672309228817657, 4031783205073356111, 7414359968614421153}, {8166814052414482491, 5209260157266028169, 17555696996149558694, 9780166780476833956}, }, { {16029688335186691281, 4244772808651443261, 6450459413414527821, 695875191412722741}, {11104054226249884864, 146461617619843327, 17480214580411209436, 11285418463967817315}, }, { {4922928863857449168, 7226901725606965824, 7568276305032368752, 6253457805758596797}, {14345040877576203078, 1718759302498746946, 3544444746772280646, 17880302727399449566}, }, { {10693864548794383214, 736148233485985101, 5241869061152863453, 7166954323782542739}, {16861482585847848251, 11483636939866570861, 5950529069765100144, 700887039653157350}, }, { {3906969739692830848, 5546431121705298614, 10491799900914853406, 5871175286230239238}, {2851574662174517162, 5511397532379144624, 17409985391224790540, 319012646822749823}, }, { {15269778527761027251, 16471737837294177924, 8830398856035267114, 8206807757132984992}, {1421214226977370752, 14233751335943482739, 9668238787333455452, 8700964319357541954}, }, }, { { {16477698187919702699, 2757160833848759781, 5976267476122243443, 7375951277779829055}, {6525111513935493528, 9969722922172879681, 12582700753056539952, 3861958159147836631}, }, { {6001837395299394988, 7545846298204709215, 6662102781970969966, 12696054550672669874}, {7436995610194789060, 9042605089262227561, 11621508125069628605, 7289479057360149973}, }, { {9447061002880879247, 14620964119546151815, 12310553083192998735, 15923694411935453454}, {7392925129127637753, 14135139889986895975, 12760571438361221130, 17000514617803354735}, }, { {15555649500689005370, 7857014165815014600, 4664069234996337119, 8058230521837307501}, {18090421626009183450, 9278179697462444898, 17138879353097908770, 18285223269807746171}, }, { {6099842409325199202, 2732701612070195412, 18229871238556385053, 10275023622778520796}, {5986266691884320152, 9796109565274465130, 8132405984970989382, 4521405733027618902}, }, { {7427469853953577123, 9581104712231034671, 1702722776800247878, 12656779221313783543}, {17977155285174544822, 7208039998659519604, 16978428797146101290, 4487821481774245164}, }, { {8040999562333134211, 6854344540855006667, 2481534773419348751, 15571316619985340537}, {10089854957334316687, 4775911690791701632, 15619815835608539594, 336338508421162031}, }, { {12741225973381753432, 5461579923265799106, 4348015554411389960, 14970536173310927872}, {11568371199139699619, 11748662751675667230, 15495664823061891700, 670495577617908409}, }, { {6065163107315563308, 10179715614080542168, 15046885616273736618, 3965401047645186422}, {7013093813183571821, 6087826007582017410, 14469686436525543908, 9620661780899615891}, }, { {4469547109588409455, 11124190799085603197, 7471495874998642156, 14754586999614006506}, {88849924092797594, 3031352551776027825, 15701321561580429717, 783416358537121491}, }, { {16899538363784443428, 1224176808212436099, 8044883358999763192, 8119246882922976226}, {1602185320898819533, 7795133078900055750, 15379182653822915088, 11717676755990779936}, }, { {9865772269601493999, 7325690007062740244, 18437964667185475354, 9546360111100619473}, {6266116854923135821, 295905071295541234, 16037468634731642095, 16602609756229843150}, }, { {9871952371310035629, 16929106233175362415, 3445554197529258762, 1598752868683659684}, {10123732080482057842, 2393692486932623922, 2380673894473467164, 14578017559552626408}, }, { {16688239163561330036, 11170579336923472003, 3699145675255553709, 3266133724446548264}, {13646430870088709566, 9802235972068927845, 4016187574117121322, 8646347483626678378}, }, { {3473609455134319994, 8666646689587058890, 10588670228528079578, 1636194164122827747}, {10443498896203771168, 1711092164750178258, 3641509682909832777, 11037852869436666140}, }, }, { { {15254713655124736464, 6283719686609422435, 5417864180357938798, 14010638809605797246}, {10873690600705871523, 15014239467130590294, 15765460219545280655, 6048061577845125750}, }, { {12012729503226546642, 4811951115754240681, 2652621264600062520, 1108958391967017223}, {2508980100759035797, 9023233544151778447, 11183557587641545146, 10726727280840759519}, }, { {396296174223428093, 16763788748988621834, 10606803701784640909, 2399987183687936561}, {3641562114746393614, 8536687357022564742, 14532545286961725758, 14658331097531946901}, }, { {2386026063595321071, 9144724461940169335, 13121187420621518554, 17351696676224980491}, {143495028693925520, 4590642171152119027, 8655406817079059692, 10005507077955932112}, }, { {2047964090310465728, 14133690277069748515, 8287749071957055844, 16821270580974431218}, {10324684883587585565, 9652498187344172497, 2461802306013063247, 15048850312040680643}, }, { {105705035058376953, 7541598459498134635, 6627685529861836787, 5724525771392188178}, {13865897118300842617, 627652561624109853, 167084371112939132, 14192831153344015422}, }, { {12837696619944805389, 13470316523008526719, 3074966674353053986, 2630814767089382743}, {13353767941686870870, 11405513520090968568, 3071969598389884693, 8212421686942839224}, }, { {3464453985305889088, 7486900500389940957, 8944303108517222303, 18319933556403836918}, {6782476025105836770, 12822840946923377510, 2799592944286097404, 8737598030273298051}, }, { {170025682710985810, 13049055489275530431, 1714038719952287416, 8470425667049459662}, {15692449588624337561, 6306908925988159475, 7292362624201217567, 10084542069209889549}, }, { {5788423445465760069, 7489854375947810149, 2512436350424132958, 18422682564857699600}, {5177251288327577128, 13879051611542381588, 12430182880452441435, 16367520376757404605}, }, { {1828702178325893477, 504110179554648546, 13285173922848349127, 15811513724231368560}, {5009291056218383875, 12726125712718222937, 2511326207435121241, 4878070763721166868}, }, { {3151967592390934907, 8745573685636820318, 6591530195811780291, 2269684725432150574}, {7575618284647930930, 14430170051221190457, 17370623489799706048, 17190167628015666439}, }, { {13971505255871035961, 14447456703883945351, 7749508685925819836, 12281701633335081378}, {4638096293890044597, 16388439049639616700, 2805317369196495081, 5611057071508020450}, }, { {3416635149605340108, 10996030428276056653, 14121021550848949146, 17748729969482499931}, {12079053778595035959, 7473419378019222577, 1862205264236631673, 13655366704192015583}, }, { {4817911180954611512, 14468615228783100826, 5900448495927012352, 2522071476550218088}, {15649024877429766334, 3445298745493942789, 2295617386899137580, 18376023059372246253}, }, }, { { {5228416958727036186, 12534300056259911378, 6859045937063682340, 16561718753727911412}, {9427589074776024847, 4167904055656501509, 10156691045253563236, 17557096561606923049}, }, { {12847261474293104380, 15935635664155479706, 11956861064550631146, 11743590506948225647}, {15973092866215748716, 8269726904881958353, 15639962392523441528, 15171417818360069012}, }, { {2605212343977737441, 18393471024186189813, 2302707671753008158, 8606549841034095192}, {3842822953634987820, 3094721493917442423, 6408313759447502937, 13486364200254727287}, }, { {2191808101092881088, 128992526124656216, 738676021426139131, 10157323147642681558}, {11221959943853120586, 18255489816550713347, 10885231659068427649, 12104397395119665023}, }, { {7707807226411417919, 16609863548699265350, 17639371636697428128, 8755472387723764172}, {164779854477783265, 9714199241756765614, 3491355372893948450, 17683742455036967163}, }, { {13595758632462338296, 14515163666150177917, 6720823780841221770, 15071435664343609336}, {9016075014492765983, 16881277609836316886, 6969993988115170067, 15419704786434737070}, }, { {14933348768149415725, 8499210770493553168, 6778840616148281272, 13282837866452012488}, {12007326272174861053, 11172739862019218274, 15202495365302649711, 8797477675597086120}, }, { {17862558746132168231, 4941846130090682869, 17131557654945008226, 5312800819142473968}, {5818269467205924209, 13458582047859447022, 2683428091382447153, 12956887954464730664}, }, { {11820752998821943867, 5623379642132478491, 11666807493120740820, 7241997274572162616}, {17165010508995490690, 1769225877906480182, 3814296306467163522, 1913823003062817434}, }, { {11936813336110488997, 3878433838529606580, 6540053284493149566, 10610279324743393563}, {14079852809920102066, 9176732841330794388, 14287311909822853963, 7146204303626670196}, }, { {1222343790928490335, 2199405396044383670, 14080919887213592148, 7341303626667347624}, {11784881532696657518, 17307742911086150556, 6036132721599132043, 12167106497065306941}, }, { {13817073203406999359, 7220729284169210756, 14908407498603601482, 13536224989620701632}, {1615171540711527931, 2063856048260214664, 10622581435417474559, 16378505765730768032}, }, { {6855676470217754770, 9517149712286624325, 11080380031068971680, 667425509348698033}, {6136243307299269825, 5326577850303193160, 16120190278345757447, 1982981965726975383}, }, { {15399454106099176868, 3988744407816581672, 3596277710300384050, 15129113714633923498}, {1554582462382333698, 3164553872715651710, 12729140363982748426, 16366728035709811784}, }, { {11647936211409428873, 14704462653811533865, 10005129575282387925, 1526194796943187368}, {10906326807488904308, 18256878690674435807, 13093574545395154003, 12352810226542367406}, }, }, { { {17055119974261943875, 6266720893662254540, 13102139953381148874, 5249314164321788611}, {7157525732140787612, 15381277459195914226, 17265025258266710353, 17573500432599548120}, }, { {940679263188661008, 14653357165718140350, 15439920797347843673, 9415587255510557494}, {18115037054677722678, 8165849408798239027, 17369387099667572407, 17619066457126678815}, }, { {8649149223282317557, 7756351751136698462, 18239772072009739451, 9817506578949224559}, {18378033667730800420, 16794121140066562876, 5288247581483071333, 12402303517382928119}, }, { {11047138821675365077, 8918121441180891972, 26692501222219426, 15248413052700323978}, {7305399157133896461, 7065644238942265367, 3949166834387057064, 14178248206708015607}, }, { {2031270890855333638, 16982096442429440651, 16686304398848635900, 5829842366016448839}, {14111080098472974183, 12565301877743332219, 1685254887702201709, 10638099573980009130}, }, { {9618597135962048429, 4323708363301758294, 1934098864729515110, 12038442338797726450}, {8373847126955513333, 3300151407444969023, 15888126952439796914, 1426880256839266097}, }, { {6428576619669681259, 7657770350257045071, 17839413659396163406, 4702043961312931605}, {8200928556018997183, 13282376860743810804, 13005614455417667639, 17419029631791664639}, }, { {69860179712677448, 15464996655458230480, 15095351218136595554, 3792171085643513009}, {3187131848664503636, 12713332789590787064, 6278731049699775392, 1597379696359884724}, }, { {15673011075664376010, 15519225812231888543, 1336371877669824820, 4354970830277120843}, {8744720488959125220, 17541792919601146935, 14299260104084112815, 16082554294713598652}, }, { {13540612390708052286, 10213354985487483900, 11366371415587713866, 10334937577432263044}, {13368390835254255145, 13453645319717588760, 6303196127329783110, 1204334422768264234}, }, { {18221540219239501535, 8536815826205784644, 17328509446048600304, 13923028809228258331}, {13984621134784540482, 10254983270679630247, 17457131706329229663, 927850905006752032}, }, { {3952205381894147962, 11371446109407143937, 7231851263356642380, 11612512368538303138}, {5227214975837085115, 10737565048439707166, 6333629542995218640, 12386725921557807638}, }, { {3772067962000745672, 4436468403847408320, 10612599615182677580, 13738755391074136269}, {13665557786177426407, 14568219921857752, 2691062926825113708, 14666515738377567975}, }, { {5392936538333570234, 10526292103645946001, 14132494129869423619, 7207059073717065545}, {283545293669631007, 15845011600683983526, 5081287846871250008, 17931854980704528162}, }, { {8364400939527235175, 7959571573625351093, 15849019287994534535, 6982609389731776566}, {6287382484291579264, 16496145344132275167, 12062306229709713775, 312030175316686885}, }, }, { { {17224650011872599657, 11430188086182976152, 12892063618843720029, 5912993124689510433}, {7069617917494051681, 1298012103142698333, 7943359430865057535, 9329776843721719539}, }, { {9464085603669036454, 7848014338005901108, 2368914226155404065, 11578416111848517850}, {6323647866244499941, 14399589996703947996, 2824522520842155768, 391310842153371124}, }, { {9948650801233133770, 5836115460383443197, 11404170696974449207, 4791020823967734476}, {423024247809958592, 11251668387880260801, 5562546584223492723, 578572156618131794}, }, { {13988854693674964723, 10817154032069031941, 3171651998645961547, 5518712225783687705}, {14706905091132091970, 13960758460934966876, 12141035142079693145, 3149939820435101269}, }, { {2505301881938098126, 9962323478923652140, 9312199523950444342, 12957822502673689705}, {8060810607849163143, 737408553843844193, 8143568733429881786, 18003168270780769476}, }, { {4460927228453411137, 16058422703785787527, 8016770980039986075, 11450941100964860520}, {2742597710491507274, 16940752978671801273, 5897441526901650840, 5926672707007682446}, }, { {5772778048593061508, 15424756817708323928, 11842041259277183807, 17669952685051160523}, {5405007811515938363, 4415223809135251038, 2223192286456742546, 15742105795795272774}, }, { {11809342655313500273, 16822704101813284237, 13097372075606737923, 5463281428453250615}, {11967866991673525562, 6828790575157689223, 12568831962097805646, 8385980093725157349}, }, { {8090324765778815982, 15997433100218204643, 7771766025433829989, 914551143312324786}, {4640358803642182649, 17428148208737756210, 12144967737399770998, 15075125743380741412}, }, { {5954807828598238451, 3186352433639831389, 333598278340882889, 8647732331490039308}, {3706589107409903019, 7338319463305947507, 3829684452513478938, 8551967121356509963}, }, { {16753777599759754869, 12028154198579512953, 7911616552276519044, 789841268294170739}, {8228995103825761982, 14293958931719060336, 2778055819582565008, 1399082948378499882}, }, { {12492565198527218900, 17337285577296730202, 15088344513573802417, 4272568906387671217}, {2365541522321646412, 678395397666822608, 437334842774934301, 13443327606166079837}, }, { {1266313952277763194, 11470850617813390661, 10426389264474337810, 2996447663006153747}, {15218295359022152122, 14634539952819815592, 1775270187047190460, 2942637199921677956}, }, { {4952377176677649521, 7473631065005310719, 7363684030854414233, 12556891399998587233}, {2190850394642244911, 5458637782288631421, 270926994697866523, 5528436328062366401}, }, { {9497175173535366966, 25345745857275253, 5047829133239508177, 5340238103822773099}, {3133339556064328840, 666970525709876149, 15575505473500291502, 12769675806855640654}, }, }, { { {7669790431656261769, 2776517632462593286, 11694025667665633506, 9533794089008895277}, {2895611631120558023, 11551410655448788956, 10026541900772270925, 6243136875017000843}, }, { {9434484992529186384, 16435748047660609525, 16190660694150989986, 7083965852434071085}, {4216306437741910756, 2698742177539497614, 5199793642504009017, 17298424769819019160}, }, { {4041169394784902550, 5699517344009382913, 5306272267462320559, 15846674482556330025}, {2606351264228884283, 4162585980422107281, 3715151019132039005, 6607223447043258693}, }, { {8168579295855409503, 16727569921530031841, 6182114460261837773, 8940603165471931374}, {6081572078077526926, 5890840443923124563, 11215305828294759727, 2875117534361804712}, }, { {9045974983664041829, 905036705033699463, 6962033946652121779, 3027264198782618401}, {13786415307358010100, 3643342525745067473, 13641958783381681886, 15675065537779359584}, }, { {7507377696839752642, 1061259379811757443, 10276590160392917813, 6889137095037822679}, {16373913505782725550, 12287733095803524526, 5695917172259210496, 6360958736925918808}, }, { {7459854586357006968, 702429387211615855, 8231296036461604410, 628323703857882004}, {1059802628602873385, 12517208225099517507, 2368172548334856593, 4792344750094708709}, }, { {18352334786472886037, 7096021570596476676, 17045407505128867173, 2467670847537319400}, {2225663888244226889, 1876713214939672742, 5329943993157142620, 12168650975912182188}, }, { {6639850268372381409, 2284514769224558945, 15390110317831975716, 13933785559694229008}, {12787641603764341997, 793886210532292741, 3222136169196008839, 11104892506868626444}, }, { {12660547967989039787, 2109392063597767300, 9889743271997754037, 11803327596624324036}, {6940409327849314286, 1466399127363116843, 2572333022681966275, 4216097356402537802}, }, { {16858757460581672909, 5838407119753001493, 4453405435911954669, 2828665451507432751}, {13657966632733241760, 6875986784381874300, 2390233934255482553, 17386653779125555159}, }, { {2976756344404126744, 17032556609402836559, 16348907464011574182, 2196781021202618892}, {8270822867494340805, 4738372358350764889, 6088256422707334932, 17121369334507507505}, }, { {2081729301541563384, 5577186154173396778, 1865152567701500436, 1422284589642218069}, {2489023909725140903, 276494395149046869, 17420927169263487236, 8292343688801608074}, }, { {7819174654675104600, 12778055482430336726, 14615848543490171611, 17498415175263742825}, {4785899184222234034, 5227136636239697699, 1570704808469050246, 2858953380860123257}, }, { {4323577007857413306, 10524228743339400397, 5418808897687027557, 5939367271366264075}, {3569359126353670574, 12961495213964770607, 8906990808988099905, 261084295374207271}, }, }, { { {14408045416865494124, 2442199381796557002, 10475326303775862953, 13637445125954159957}, {3778313603630758744, 9247460369874272772, 17572237597883145087, 11338350096360776602}, }, { {4336697789732072031, 16054848662858822197, 17934449813415035557, 14518380622432694666}, {14100582434152190048, 6262866632984449325, 18069160441815400774, 9798342103009260692}, }, { {17244020587062193870, 7625407515295016845, 12692919397126044801, 739129074276464779}, {977900962655641355, 1516169712468716336, 16875961107875019625, 1582931498538195018}, }, { {687104890149081183, 1938816743979859301, 11342071981175913904, 4270322127259097184}, {4964776270155503160, 17849333582861534767, 15814479527332819692, 8083943565773123408}, }, { {7977186743666958490, 3126199553548085949, 16879636338977836444, 16647578924708995556}, {5526017172393528596, 11328754652335568585, 8095074058116436597, 14648690727521713743}, }, { {18335678403814425235, 13764304056086998207, 18139296224460762074, 17620705673387523052}, {16059975647897396183, 14392541906869470064, 13641721532745636092, 6122032872822720831}, }, { {13983401929934353021, 13860725962778449344, 11760533704789481157, 12566657951327299627}, {14697122142882732522, 1606632877136342124, 7872716135734366961, 18220536079227927821}, }, { {3986890035154628803, 15316660330065019741, 11560940574529263780, 12576851520091035878}, {10883944418224886092, 9908329441525486205, 11238684990962507809, 12900626758810151662}, }, { {2629393050548942288, 6363222898077806203, 18404650886731368903, 2691451856029551156}, {5104932743043229112, 1302939624985069019, 11820239270922660661, 16228045717328023331}, }, { {778457530134061801, 4290661013056586404, 12033745869654330486, 17833837257536520292}, {950548111600899172, 16026254932420015523, 14620989142158250051, 8236598933984161995}, }, { {8828068000936861634, 10901971915827198521, 15635295283164640480, 352740455954411610}, {4853015383138960329, 2945696874639059776, 7204307993540375148, 11980890732241054979}, }, { {4077800412543228484, 7173833470188867493, 4604439809988262876, 8090706047559948234}, {6117166546062912279, 15748537214854486946, 16719594636199001564, 563850925691991999}, }, { {4802884399593912281, 13437020732272033050, 12197788481695720547, 2162699662292229581}, {4193517889478995518, 8610646873096992408, 9485787089338760040, 12392145097158647056}, }, { {18079795516810465755, 15723042000668265475, 12488322519570427659, 14012836221417650412}, {6534900133691249330, 8115921632235353076, 4093907116172233459, 16784728000548766561}, }, { {6262200118048820167, 12719453838344002789, 5526427573572313315, 8520226123932607126}, {3618116539863181413, 14020033065434801713, 15675496263723836857, 11987954535452978647}, }, }, { { {10847249691051757241, 13332329214721571156, 12457628412284474075, 17044657510482764070}, {5218221397478351943, 6922630493693541156, 6207927102810766143, 5644846665334649748}, }, { {6506371904134856034, 9541373683805144018, 3149037850125132851, 7111810601994573897}, {16732445693192247884, 4994069681898274622, 7223719243730104348, 5649174084086150712}, }, { {16562962997045986629, 1977585352264948582, 15588655103333244279, 253344970359156714}, {12939363813291366775, 12548224526376199974, 14450582788883748364, 5869541533939881460}, }, { {13970586842647892965, 3680317572634289692, 3416494470839852757, 8341497967750607131}, {5522860734580749818, 6847292760525096386, 9317394708872196559, 8522252330730808934}, }, { {6838341670149165895, 12326189699069923388, 9258908232339348843, 17297038041466207989}, {5242182985453021593, 9648294165629935142, 9715128265517308395, 2662662536493743894}, }, { {6790869670806738567, 4499989093713728199, 17496748050437205626, 7194829324969293638}, {18432532588985091708, 12041300075343806904, 7788543067151959941, 13703334460383638224}, }, { {5996381448168274884, 8108757135223610234, 8067369725584584297, 7184925262427750366}, {8199341143188441284, 13031376443169557016, 16036606349050125404, 11958720833222295864}, }, { {9293668142017263584, 17134656749295164870, 5879480323258506465, 4788695233340705697}, {17809277710857366810, 15157733645094688870, 14143869691462709080, 3162286338158090229}, }, { {16056959590901591813, 1082823161154599460, 10221040439441372421, 18283403891485112294}, {17582486701671091218, 6489397700174053547, 3952499348250646760, 4381145145005361247}, }, { {464321249842430028, 11444362575253049653, 2734975360475017776, 4746579078625212558}, {11326126526565916100, 7840007639237722362, 7545779893877671555, 8952053274372957788}, }, { {9171324502111757965, 11245577625425383295, 15294815109909975990, 12306264653913762086}, {5906268309303228662, 2685370982867857233, 5470203265560800284, 1354105134944127233}, }, { {10610818607308010986, 1017341076592473937, 13259969743043862138, 1850907007366751943}, {7689302552902672401, 15375957693502270090, 13877050204486881614, 16441247744335371320}, }, { {18161720198110725057, 14887135440336057963, 6790952723850964648, 15120775513153544155}, {11797493458812299470, 9090758778610315656, 605835259544633945, 14755333155432393992}, }, { {14967102006962978091, 4301508725220174920, 11299977101982031802, 14410789725331022027}, {17005709003661351591, 9843840931527318478, 11917612896070173894, 12007179364072802553}, }, { {15913542135925395264, 2830138374220921671, 6395020779026969444, 1239443258852925290}, {4519359001030231260, 9606729174209623750, 14291346135557028396, 16179513817501558495}, }, }, { { {10223936123327786454, 2321887803300626936, 13607747528117965743, 10456421630388400123}, {3266519591187534953, 1053691207967834494, 7151443045753788549, 18124688636664828399}, }, { {6946488664257064464, 9775328903143754150, 58700362449753229, 7901817271072273406}, {5074738678159003249, 18397239731906005785, 15911102965988125888, 9277654580204145348}, }, { {1874700306906525099, 7337351570334852732, 7954195906114335343, 17230226427261850070}, {5181329498860909261, 107167242193237170, 4364856176182710332, 14611171841443342914}, }, { {10990327814895720476, 16588412771027628390, 2850177278998422188, 11569813740328484871}, {3922148781422941186, 3581659216490446242, 3646872304052351376, 10887870617200051198}, }, { {8175121141368087217, 15079393830876652065, 16766987879267543828, 10582796406546815217}, {16832256009371376870, 10042650470778064892, 17867163453935683780, 7123418345572641116}, }, { {1782651072016504775, 11033882508408412333, 11105300284232190625, 3276372405089292929}, {6399472468041061588, 15319690780388315076, 4928530863063375966, 11596222198340277418}, }, { {5452424185619067445, 12050433097586021281, 15018766900844679217, 273234254926088220}, {15426383635547379531, 5213762666043737626, 2829185842069118470, 3230799283770935127}, }, { {280030342772428106, 17354882606189694746, 17455445295460080284, 18076709382926018941}, {9895982528034548913, 13681172423928175330, 1656433131309057012, 11935757350437721114}, }, { {14437472586336929440, 17387041914242263390, 14861577074379746687, 5146556788377906297}, {13036814755814090195, 15108836859245573802, 1667563994642521213, 14722845469958372258}, }, { {7781061995240980266, 2066078418484154391, 4089376589847114892, 2434843609506038666}, {18376509832460312721, 7187709121160627756, 2455436656049651823, 14419116837518875372}, }, { {1270185079976403265, 9214436628411717184, 15450450827683432913, 2880014804806096082}, {15448799931519826757, 10080240282127928735, 10673974088219619287, 12998944469117087518}, }, { {18028691745165748687, 8931519595829275195, 18379893031942930865, 12120980098075498008}, {9596371470855895261, 4133427878071274570, 13159312399982591699, 1639865074052258019}, }, { {1661696187746428348, 2656198437014978712, 13769477291975851694, 12512848714492869444}, {5980926616932344693, 15821983893144953005, 5816015630031200526, 15887565799959254415}, }, { {16463929919291729278, 14920112063826664828, 10056471508435050704, 10696267144984026763}, {12049530292963090991, 11926086636123189182, 9464890378472966538, 9719194510330239601}, }, { {18110249193861022779, 5612784685592189906, 11360454032996393150, 6795401682138043705}, {1961398978248902107, 8999847457729547905, 8941741619641401180, 6086938661427918241}, }, }, { { {1119490156854665483, 16772836556735128526, 8607715508817325509, 9931017263385440911}, {8799481055779587022, 11740562709785257943, 1956849872282864970, 595288629437737005}, }, { {11601570184515356415, 11247678357869162156, 8415095559389686315, 9625816053586466047}, {11807876143163335372, 15690209134241397733, 8684637224468015605, 15974968144193406020}, }, { {6498861108824484382, 4670555282769381189, 6606014320886832914, 17078765892830617318}, {546267528591230105, 17808649363082080722, 3219358059129920687, 9180845247506322192}, }, { {11275984449259340674, 14922638629881602958, 17186426309348732477, 2094500549052461127}, {1245672419927595636, 7529921141299797945, 3181089597449057707, 7749529014968942143}, }, { {11277133910568934671, 4278895672933635880, 5062049475469993812, 2827897582327968966}, {2992831031801695571, 13244636528396736375, 11509629662092358067, 9385849226639579800}, }, { {8454236707620433029, 10192313737667573051, 18232259474515025711, 6196538652828521245}, {6326999652188467228, 7611130140249634596, 5729331023083628955, 9386297316005425714}, }, { {7621274909358193632, 3619625095597194913, 18038386254997645285, 17262892689028255302}, {17953989125460428814, 4571031913557658215, 12218524221515562809, 12016327352942264220}, }, { {12842581296013847382, 7845624487558348664, 8747439372999364825, 849305823897878133}, {2217292264321907974, 8173534404179332054, 3588643190593022889, 12047811416592660080}, }, { {8121746263843271081, 10363835147942471345, 312023379108980148, 17191823034761670562}, {315776409136454719, 8322002171533871918, 659256727451485128, 6073539214057006838}, }, { {5999134638957620752, 14196265207258829507, 5400793612736232063, 16259338359738368573}, {11179852704740695306, 3486799782309774463, 3060529319750906379, 3540275797284687957}, }, { {5485176043812882513, 10727553589889164848, 5617457077214333092, 15937493816713568462}, {6287330459840726949, 5451240171054977850, 3524414944972920777, 8740440597273129486}, }, { {6959527445237219799, 17170778245769606301, 807762173031474321, 9151445233487017286}, {15103411489939446333, 7976669669591851659, 14824323986579638641, 1535817133122800221}, }, { {13993486080187419934, 14882121651768660644, 7947881871819932407, 1364312030151957949}, {10673187305202558690, 15038997055055408315, 9268330880459316485, 4319340556575124142}, }, { {12846922591360496097, 15518450931549829779, 3843880753372237176, 11741559986398913430}, {16974382348775305594, 7085384294841794242, 10278478682851578175, 16997904984485898637}, }, { {13670930062027115328, 9912297966339314023, 17061419147322177635, 6220676237879734303}, {12723388668517709225, 14967294924815531226, 7286002704046609276, 2105494380036834916}, }, }, { { {17955247196574331290, 285928599571507431, 11902987704297070981, 2841167725097799100}, {9281167410796848363, 16444340476026142274, 3423202423051178709, 9101021305726472246}, }, { {8869273893561412239, 10349812081309865197, 8913824872487209090, 3148808685596180274}, {530908416884501807, 10284103744075805979, 13606889938905754722, 2418062398586758364}, }, { {2298603653884322501, 601221199968240092, 1285112712738261659, 13882709760355308533}, {13563254433762438170, 13447718334658435053, 13493687958886238103, 11032778298151679283}, }, { {8626760324117733843, 16403951745962159364, 5837394731212322914, 6847167719031297053}, {2888142337636247281, 3409818743436360750, 1677113113408664401, 1222157560539217476}, }, { {2294668553308381923, 17165287249067859297, 9897724011823072967, 17409851874231284314}, {13888575318617508639, 12092766090379658603, 8412268183255186961, 8046572777745318483}, }, { {13178439025428734594, 16388038968589028071, 16165750006742628176, 17903639397633243161}, {9560319088110737392, 7888974492854359310, 16116323630343158496, 10177829649622711030}, }, { {2378363646789710539, 494954399989334038, 6915496914984330558, 757197055392642378}, {9097171378505823650, 12104288338329241488, 1905673690814481722, 13011078677095066032}, }, { {12712274459771886808, 15748114764509451764, 1994630377849062253, 564390855806287868}, {135493276425567450, 4305883520257541088, 4842008929542073044, 7035106970720249617}, }, { {4772079965696324995, 15925041062593990538, 2818172089014580505, 11304215074611546986}, {10130691823118346040, 11796228810049908587, 9262801389703476249, 6629344122525229781}, }, { {11045983914861167112, 14106148195606833916, 4442596873181225087, 15627975325288846806}, {8173496855557146242, 6061080385918934423, 5233260187121969538, 17554093556474728494}, }, { {12122792368758575262, 810814789452398299, 6387727669765211854, 3304731719391402237}, {15296845834923103160, 3685348582131767195, 12636335057478947340, 16971253767099552987}, }, { {12345454807632743424, 11546569651702761483, 8873100774001529421, 7001975923028025552}, {8129283832066039281, 18147888225504425296, 3510907297028745651, 897602195837260824}, }, { {17896345382362222994, 2167374959533815311, 5029128091600127895, 1770543276160593316}, {17234124146043512942, 5338191548265818047, 15676046602975694398, 1943153641089805200}, }, { {11084819495273800718, 12966507689731825252, 15026437832429189138, 2506312683689776139}, {7417463323869895004, 9819555221238697390, 1250200244896601539, 1394555910521460172}, }, { {2221512141494043286, 9203854585477888176, 12171379127551511504, 10667358469120985695}, {3795093165005123272, 6129005969593025264, 8738204659003189419, 5273583671698415302}, }, }, { { {16549155412115374305, 75977962737081600, 8870825488941031605, 7403557657089993256}, {5825394234709429518, 11978746413791918409, 1876293130790608838, 9416631623519692610}, }, { {12346821858361333862, 6352722970730511156, 9920942104315084988, 10492373916708072181}, {11163323626947992791, 17035282992056675772, 835685192553490421, 12792459312570503983}, }, { {10447922451077327640, 1515090998837129975, 13498807582085718212, 1212623301098019779}, {11573518650162536086, 4823461685803772444, 7289704908733783271, 13167881392748327839}, }, { {16959954449957105311, 11051594981465026138, 16062472412226411858, 1976004115345602080}, {3630495248560019222, 12698191555196404138, 10107923614229901155, 1597725222698864118}, }, { {3416019089997140849, 3011417601086561495, 6275242351124667286, 14197557183081060761}, {5633711018871057458, 9723496411345030748, 13910057756335530832, 7285051335492395815}, }, { {16774605620279328247, 10223834398868957807, 15781733027568799739, 2607095622729296315}, {16499590296954181006, 7576646116121533069, 16638313875339315529, 14296194207652471696}, }, { {12874411821611501068, 1998417862388106640, 13882642435422318946, 5791129521978463837}, {7512934139125398199, 6966283273373526248, 5475728301311080129, 13542211842758381589}, }, { {7798993150530415596, 3288770257171840452, 13373286069558329631, 9784279046496345014}, {15725032660238528813, 16038931923358478835, 6921788930154218900, 6093507035435214187}, }, { {12194839527972802101, 8376199250979271449, 9055995864116790217, 8125030124567662718}, {1070812422878398727, 3950906148308170707, 10121516919638719072, 813471384549762068}, }, { {7610605259962047827, 14617655900985224117, 16089669078196617440, 10594009761533811214}, {3425971360520359121, 1245021768718221594, 16690372892586114152, 9933179766195044175}, }, { {15142732720676276463, 17435583143726694663, 6030257647680338377, 243683009289621849}, {3064238900429394982, 7655019927497549159, 4484400084400458429, 11650860345018651068}, }, { {16203650576183697977, 17614744533772112337, 1119292890050870301, 4574885263986729787}, {8108207498737924504, 9708434439316056191, 10676823369888368482, 1078311554675991883}, }, { {6876202174636220158, 18057502510666060150, 7821730895845187783, 8882321799602877790}, {16220624224336230256, 15562800387021280583, 3043825293109091520, 697130162105054983}, }, { {5394549491776704087, 14795348078061113966, 14206080764200897220, 4623073019242398493}, {5850602047109930316, 13783531993760979209, 14764346975698048641, 8951680172224205890}, }, { {7302725075484262769, 12572584665857403749, 6499691362933905099, 14476353114356185371}, {7381716148644532401, 1573798302334388880, 8128390307766282880, 14547454176248589604}, }, }, { { {4477325369345373420, 299141931133875776, 6787652129916359301, 2498016036564260464}, {13342319943892943548, 11124287719737492205, 2456333599771808442, 5084719026388755304}, }, { {12246932755942887931, 10842213418139067847, 1827392608284960926, 6961756951208563550}, {14626966634382828071, 12653808277900379805, 3359368990539585596, 1190255644328095727}, }, { {14845756090430871381, 1260135108359348096, 18373249503604334230, 14931345532671487262}, {8304897926217252744, 16639705302116302354, 14578633917159176703, 5624357498623418462}, }, { {10836955050615624183, 6228108794259714192, 3769609579318360527, 1481673673659326756}, {301329772189110029, 3574710782304999603, 3037244905687722509, 14442941761397229485}, }, { {3863379967423475252, 4598414140150397553, 13498347034161095546, 5995458763090398343}, {8994138995797612256, 1053878477247308872, 16525881906724873538, 16597989933510424042}, }, { {18195618552940791509, 12801347400921689158, 13372055618013067129, 14929951832730936581}, {2563109394536979589, 3392102243539970867, 2978145866937578695, 15809561751101461921}, }, { {6470844231261685519, 4860920111547376221, 6133864928365904793, 8914566156785557227}, {8258394874597607714, 4464810914649217913, 120457844518757378, 18209291810039348360}, }, { {7739110373965523311, 11019153332996240080, 7346010155518751797, 14853737521111213548}, {2542883237207113209, 11015136828834421504, 1998601666328316353, 1540417751495800469}, }, { {3376092179741497360, 12221254335784366861, 5282973200516004163, 11372960528472533628}, {8188139842572259074, 3946305224334575645, 16643338862665650950, 5859492058050333909}, }, { {14916042081488114271, 3303190861468284762, 14234546272335492538, 5776190344932209905}, {16339988209459724195, 10022514953301624769, 7878363685856556300, 3127365206552843780}, }, { {8340102858481562978, 5401806343794775245, 12619159636229742566, 16221085737347795155}, {1241298364136442056, 9142635103215118982, 14403222699038355211, 12145678822325215894}, }, { {599034134015360884, 11263317530774995092, 6667501365379084069, 9844276013103312691}, {7566306886180438990, 13702768345615509363, 12525031963170717968, 8463786212988210464}, }, { {7279390679700007004, 10579602100702377479, 4366146547587324748, 6962092370680728424}, {16372420580520124739, 4597019194685908384, 13217149760366044828, 7222487257194391332}, }, { {8454830421421057736, 4100731209937375984, 18348214289895908213, 6778376865226169852}, {12945227893790929647, 1818657910008686277, 3629900123705314093, 2861658388952811590}, }, { {15882969890737930334, 5849157078791136995, 10068103243390577755, 13131421240079433547}, {10404642120419399290, 8199866428750316037, 1032443962738597455, 15582122438927179496}, }, }, { { {6390361653475754940, 1093882175267357438, 3784079074949811167, 17343872969822169769}, {3359715652121662979, 16808529787251986583, 5169730697018536870, 52766949850965558}, }, { {13147212495082910072, 5628914243538540648, 439989514095330941, 7620472329041817834}, {4272251824771633288, 16564977601507013119, 5441117136715882317, 5622571730905974389}, }, { {4207421531032215145, 7924589143024019458, 5496622772676523695, 7061817399179278712}, {7371689806847905735, 8282663810521090335, 11422487361383982601, 6397294642072086677}, }, { {960381383357168877, 16774709963697143275, 17896181076874992240, 1150415168189819777}, {5498481130530161530, 6895900060791069290, 2079514944189747822, 3428689507902936354}, }, { {12056920178557394302, 5131253251712581899, 16251877995882633963, 10883064494054484051}, {9473274815269607947, 8874308005470196739, 4412709653190846630, 16469366225886156991}, }, { {3547198835521135552, 9940690805769919242, 15170549880149605690, 10701681269101530298}, {5914809102954412895, 15790219349994701461, 13664049285300230863, 5735249081148743651}, }, { {14753645881295168970, 9410794713982813264, 13485977523338061503, 14267793994973767571}, {15813187206361118954, 16449603969001878152, 17705410933007144731, 10960511750491378082}, }, { {4669722990542640772, 10017368027073540045, 13392819319228640800, 1070815632453829996}, {7274130058405640448, 4460835865761538026, 15283885107956150892, 5815884817303156137}, }, { {3469614802230980914, 18060080625283048965, 580464295809221798, 3338153928139206412}, {9845192339392693455, 13250323899168115720, 11058696855422647818, 9665232062806155902}, }, { {14461336556325939926, 16946363864290460645, 17546878353664479567, 17949437676666656135}, {7932367178689988878, 4806368097560008659, 3460529608269790679, 6065321700046177254}, }, { {16883816924971606835, 5486714189826473375, 15204267662844332028, 17199232837602035696}, {15958749676770074119, 5540664038667498053, 15914281753951743318, 12225053486711127081}, }, { {15346266095840263783, 14129675453960658911, 1781465630073142581, 12398710533895277470}, {17697074063253841985, 13826156613321578228, 8855030685964401164, 3749659313217692983}, }, { {14888039192306165275, 11233459160096048886, 709252573146299872, 17614748022803380926}, {10853790173866038588, 2988411430602910678, 1343284586410250367, 4491892393582674365}, }, { {5653853395031137185, 11847098886335071270, 15046954358935848863, 490763079643421287}, {3113500211585712650, 15997550469331041114, 5281575885072775975, 2887311255648554506}, }, { {5376335754670737023, 13164671289498247151, 6846569847526260467, 5496656304894178122}, {2009132493403453913, 17250524577747091030, 2315376314333653245, 142024984008484689}, }, }, { { {7237168574323016859, 17908810107504968137, 16225708127838178121, 11127095986977103648}, {9346291308317410251, 7381283458277047010, 15168602815371846943, 9193719743691734294}, }, { {9607254959726458411, 16837156817186931862, 16178143308706847393, 10970721795101931539}, {10840376278605273092, 8298765077094727469, 15520543037910966843, 11484620381947762562}, }, { {17395070963094117711, 7608132718922490881, 6531178971071758016, 1302814667007331361}, {4002629363862769670, 14649492495298089937, 6868174210142585697, 15456170652716048683}, }, { {3688308493559609536, 5123828159813683938, 6245436817220183971, 13062234263274605325}, {1313395302496832996, 4961840797708687855, 4990192311341859196, 5283131006216350959}, }, { {16952735659396950704, 1249482796824289329, 17859504101404809981, 13260403650830168625}, {1583343855370236084, 11389120333403185826, 13676599385745755008, 5066667130137739346}, }, { {4799264864906918301, 18347145714884655971, 17034125441088681346, 11828378178487279470}, {1759038296522081901, 9582407833575609381, 4195817009050503354, 12618256395967210055}, }, { {6486755100213398364, 5270923715575268322, 9268255346880651103, 3147724493117082267}, {16710318779269985633, 1240462642985509644, 2400811796254219369, 13670743068809614358}, }, { {11437779990773246594, 13609113239383378152, 31268927496646090, 11618772705165035208}, {3078024460365036167, 12138983306908962712, 4779157919015181380, 11901698850260672002}, }, { {14642787507945832432, 16258081639927585935, 2560321462542164242, 16286882196975458174}, {4328159372518768969, 14313553865397841147, 13769372656320240568, 8950675126435331579}, }, { {1309709344837422378, 18403288028608342631, 17102350491414677993, 1133523394849437315}, {12526496222782003755, 5447309058259018864, 17311120581405946631, 3760058661125144368}, }, { {17891474172606596407, 320094264574086461, 93927075222964142, 14355817838636249140}, {1777882427773785068, 8237021421587560510, 11520559469641852991, 10567910693910023157}, }, { {9164300764173563614, 12322279811717869943, 2768902015676238485, 7761799112151133995}, {5740162933856370894, 8043946608495226840, 8923704438836381869, 15189322655373943849}, }, { {12046275966378825708, 5909386969214935556, 1201990704907881028, 12128549009950617306}, {10773478878317625320, 4554854625564648958, 14029736945871573056, 1353247251064221090}, }, { {11909123603272307101, 5517949035179831783, 3295386484950432959, 5605137795524476293}, {10718654547602473221, 4984952409581272095, 883267724006996723, 17328431094026829348}, }, { {13671210467347025770, 9980617617519781731, 8339868735163579231, 2150724314757661915}, {8571153021065445899, 9146903697769397191, 9122246102814640373, 7744779513085605450}, }, }, { { {9508384588323002196, 4786531415304518048, 2690306308552249535, 12208815515689370850}, {5145548243685871201, 1536915039528215765, 709289946127949333, 7152734178531880864}, }, { {9627905753364576437, 12776456422166281355, 2851899644189834214, 16998174196920379994}, {9001602524188761177, 8960294999163663712, 6580949973363012183, 7568306074815116797}, }, { {7686633626025788546, 8110394872630496906, 8482210436161892079, 16882855163559885891}, {1154081680627148904, 12804224766760790394, 1850455828762691082, 14191115350906359627}, }, { {13345381996769253014, 6278048669175242345, 15990349685835870151, 16358261962292186792}, {8505261070637963021, 9396725065098564446, 15331953351049782155, 16194796339208321205}, }, { {15505898598362934929, 16825210854979603981, 4697782190623959274, 9370503401456774242}, {12874840227707962403, 6119547445810629810, 9764164009057494220, 5416853666956021065}, }, { {7699498684510298360, 16542285627069734869, 200751785530104649, 6985944962584804095}, {7365545959109847649, 14865387755379324112, 4167319688751668987, 12162483513847343974}, }, { {1039980316046001816, 7207503221801597145, 10591680158322288825, 11266400320575557454}, {10706275395641440317, 9288394947884616208, 10167533985006762418, 1456585988309878747}, }, { {7076257175157660597, 13221730879315432464, 4499548735964119085, 7559253754663705944}, {10196808438730350168, 2391718471837563931, 914409564589897387, 6649744842278078706}, }, { {10039057354622246685, 7195562849416781100, 17696866082062058984, 3668253949076972503}, {3291647709604288622, 14581068695089559804, 10104544037456163379, 5446494334499941155}, }, { {11083442423555675697, 16463352501129765262, 8326106600927169880, 14461723217830443766}, {8960039240507947123, 6112452535158412156, 16298251376476091126, 5185774007776019173}, }, { {5801222283949474418, 13946418525037992779, 2275515160040674505, 3244981365190546382}, {9460698310301428534, 14807942233170768102, 6180104492182570514, 4695926909096500015}, }, { {5502356275170104522, 12750322860129485966, 9581277511584938955, 3872282844937972630}, {13668854758739140874, 15020438121087800965, 4581631138384430657, 13296613956093963588}, }, { {7394309355461523862, 5374161350639568117, 2763783634295242959, 10215168014269656712}, {10862202275249464165, 16813773246956503013, 4644566761082532589, 15300517379307655907}, }, { {10894319502247195436, 16018449015752583379, 7936971022695592164, 8273950599391165937}, {1130484969598457981, 10652972605389048300, 5964985167476071140, 1178111465674979168}, }, { {3215460690308212256, 13044009109542950831, 1248575312568743704, 5805472854961471970}, {16935262056111009166, 14323719510498371522, 4137201278518680629, 9262447671880633672}, }, }, { { {10228366644420455452, 12084265406352277347, 10265869676493821892, 3560143954870272139}, {14368775225608592689, 13173522067191372913, 3592475039513249949, 11243554718624931135}, }, { {6543255501112359319, 6063422531520498671, 17228726254778244409, 7570754775709645369}, {18222396492501523182, 14903937974816691813, 1216646642383641441, 7602781158453005929}, }, { {14568782576170814716, 17582848432122737506, 1079387064102681806, 17278567874821675408}, {3094302191119669899, 3730448048895347901, 3508894590334961422, 14091660942919228106}, }, { {13329033749048978810, 4765695903433858377, 4452680451529163940, 5638854187414651620}, {7897503022043776206, 17187635538005569019, 17766753195497526986, 13201529234556380285}, }, { {8934119620399766972, 4226481091885914732, 16000709195004445297, 14687868180928846933}, {16269913392757896907, 18294005838441325342, 17625669613551023126, 10864307042201644469}, }, { {14722530431277419104, 12333728409662476827, 4162946257347548625, 7052045338975163666}, {16435875989376103923, 527141841571514699, 8480360258792897962, 4322786951393806781}, }, { {14380803034817149259, 11042134597430846555, 9992762805140200547, 9895143575678511242}, {3228768306004664915, 16153114680219541243, 12036181641761325912, 491369524302296324}, }, { {12320933424684960076, 8906954611339502145, 16931708732547376267, 6446897311644431583}, {13749563256713530203, 11522599770043814384, 14455556215959342791, 9022955938835504923}, }, { {8738648866901281761, 4688741093801776285, 17069682640810525423, 7158141773766072053}, {11460933790638879246, 687134766504463570, 7796313120876518884, 11150451731319135164}, }, { {13652684811535265600, 8494726433844453583, 15999979552047212740, 16433235792902853942}, {13641303900302396790, 418630713805776951, 13090797093697365883, 6529658430803752768}, }, { {3944614182924380177, 9542495129087581473, 6699683662731923419, 5017219913619823514}, {17045736494588140273, 3578045824537114332, 15234910011456151711, 4392310298224006475}, }, { {13050963220563520130, 16311879939705207639, 12461297624582251388, 9677731599265769222}, {5160679975931966230, 3218707041599533629, 17098083534384492023, 2330141721984719029}, }, { {8245975647138927146, 11496799090887525271, 1709462103065191917, 18401529677683893204}, {13971543411749700717, 15107687167816783802, 7171906080161032790, 2549191081579169610}, }, { {17251496610557148115, 13056982918233222110, 16321077587645226911, 15873643227887663856}, {7790198561388957118, 9539520576306975575, 15234893276112958324, 12999697377068360422}, }, { {16169560456946825943, 18091964243071526492, 4341876361632902705, 7532668331381251135}, {15346381760818990405, 18301333564088079147, 6565096728885044125, 2494845330727350075}, }, }, { { {16319476863352440541, 10283930715856640343, 17675054544532098447, 11261132162985242084}, {13712716897981761400, 2681907143459288706, 6930256922080133347, 1445069157579547822}, }, { {16928574868467385886, 166417019993787654, 5882811520342817815, 14106304179344008065}, {3747123724781081800, 197109533566874475, 14303280595714789450, 15457633026018307066}, }, { {10773597511592584859, 12552868588431074640, 13500771767160426835, 8002499270056378440}, {13792839099998553174, 12949371255843262119, 1713974340992291550, 16150173130483658061}, }, { {14745984256428057001, 9333707338036985191, 15365925315303462, 11789129028059619744}, {7873100217437235208, 5289763977161829145, 17731215200358323788, 8876377479309635703}, }, { {265950821974454804, 5047467530470542278, 17523044368516619801, 10054436503372765176}, {10321185867287373431, 1212061937729015591, 15311258419138633926, 11236518538207084768}, }, { {10904693956407098222, 9013418755007070130, 15510005599846320670, 995378633446250700}, {12234095025518917836, 6689106237771514188, 2809193993744369126, 548124799387888260}, }, { {267350765778774337, 2853877351938464055, 3677119082593358544, 7685335121077514739}, {6491980094762370981, 1384870316654548002, 10568872345228996498, 241629538659623878}, }, { {5839400175629113441, 5238299193248381245, 16787876416022887315, 6051613843621920008}, {9219569873668974552, 5916753090530931032, 13390630214643423749, 3265335490455191268}, }, { {1507475744849985303, 2597075068965622770, 14968669113917266926, 597606442423659891}, {44293923912414886, 3832651144752540816, 17438860065613195810, 782112340603343331}, }, { {9050896199196733903, 6427608033444590004, 13787696679536621857, 9682087046920409188}, {4519093754155995429, 13564098392055667371, 10512507082236058799, 5289934424008191746}, }, { {3477191607403300916, 18283244229745029067, 8462159792484018099, 3056576498976014760}, {7259283167233712785, 12530251965039903998, 10232104933720625111, 14190745998092156987}, }, { {15759362035410895911, 16075598437961371531, 4651513528876405575, 7694151626503869614}, {14468862724637972284, 1838601521755586245, 4168957446435305706, 8694905613027663664}, }, { {14825552838983151434, 8639609968952840931, 15547914584352392016, 2313507499500708287}, {6902543375698033684, 9987468886016348918, 9068175779860656258, 6899641689193116297}, }, { {7449110402827616954, 5689206471789540768, 12722069021950813669, 16017131401246233663}, {2240977975275954837, 4794705713606614946, 5734937900461809607, 118285984764445639}, }, { {13917685647531721740, 2432096911145792817, 17733637484624159521, 3848601825403209903}, {8192433211051054683, 17388066421914150767, 14336306308847565282, 7501625553608785022}, }, }, { { {9194523390605857831, 2335161171394626054, 12290490336543843159, 12464172604156286188}, {15842196578033029974, 9081285134201585379, 6123406461662038242, 5504260508195082396}, }, { {9599159247384506427, 13011559959971256245, 6331802547989957841, 2642320882309956905}, {9140255367820630480, 6883541786494880896, 9560822438260750771, 9273862677291701694}, }, { {12578940088863451089, 4698579870843180556, 13634180401794570924, 15763130743395284022}, {7444441842547931942, 4944622454458561492, 9589156490791486440, 14762328488235724618}, }, { {6185067974942684922, 6452325785873503452, 15247257292915812252, 3689324664200339196}, {3264129576054154137, 14977721630214750038, 10720913377937894256, 15914487080763816378}, }, { {8926126498606164569, 12956394005759769716, 16902149488499586013, 7841840983349613625}, {10587053251468526108, 696362153501209498, 9784750880259098186, 1207696323194229080}, }, { {6366297849225708271, 1653728037493780302, 924103820671018926, 2050213326049184692}, {5527413390519421127, 129805527414320490, 11550889572378802302, 15667992622431666977}, }, { {3759028419971240833, 201899490644698259, 16787882148977818573, 3755266958958128460}, {16997526157701685291, 6920710029293447897, 14077301651040071328, 10880144992445166875}, }, { {5498621600689515064, 11498885804037952971, 12697073118321478539, 13999008478737234463}, {4324885099420360642, 14021182496192299466, 10763088992583373843, 12898585157666243299}, }, { {9367059860785010847, 15787147891143727655, 2519720658767337732, 11593809545681651942}, {11966083811953753216, 12761111316475086277, 5681625861426437827, 15920587591610358813}, }, { {390729441391219522, 16780558466241830343, 1374488446906327562, 10865131913700232628}, {10115076211715532468, 18184016780675566832, 8365356477197603014, 672096097598251136}, }, { {2393424067712509928, 16879911507754196299, 6441307574161100589, 2818743579517374412}, {7083174841445248189, 3410683030590349702, 14697584027599531676, 8328975445543175696}, }, { {11622402383521841588, 18271726976204770291, 4805501248621435402, 13483122453682180759}, {9288143526654965614, 4688427612851085031, 3280806057528512375, 2249349779106893174}, }, { {6807440366000180651, 16399452121226315247, 5098169947999459087, 3558234272787006753}, {1792969085845015294, 5524357634740353242, 9429244535996516945, 3937357214017147760}, }, { {15504868609044485967, 6752328153557303622, 3778610801922734369, 13830970685441980645}, {8715733351182855585, 13970559751738714496, 11410776131378170826, 5487441016062951646}, }, { {13162254303511925286, 1500183854026947752, 6344593292969383689, 13968537166293685529}, {3100593991852309751, 464141462036312207, 5107705843278430088, 1965835506583809167}, }, }, { { {12081034000518110752, 2773740877021737013, 6429475399936543899, 6804412599792308979}, {16082860502313571182, 10013838454082912732, 7176778953927883654, 8065751639278576331}, }, { {17741525051518363144, 1374267330336191942, 4677891169679898540, 9639823611685431337}, {5482431056894095950, 6629146695374718376, 3884574854221819712, 13266790928096813258}, }, { {17505459029376928465, 14087658194607915364, 12240552390931686885, 1809009366037859941}, {9468395484396723291, 9446052656478984520, 3720796795453397330, 18035355127900871187}, }, { {18221138344920380175, 16761112742545021198, 14421639991115588619, 9419167563943683547}, {6237248361283446238, 889754338720059891, 2289880386545166424, 4280148734121099084}, }, { {5259165122317589354, 6306061166879114159, 2622163270351284906, 15212813592118086979}, {11497359168652342849, 7085380391293263482, 11799059272489792659, 4912160901181298022}, }, { {10512473611770099290, 11735037909076331019, 2922606398008539984, 2599799834378751770}, {10226702495047936424, 6109026252412854338, 15572556822827169237, 11993701786788749663}, }, { {5106897453764491321, 10540479232768400094, 3938246597140945859, 13156157265138481529}, {4932443191001849637, 11374218582626530502, 2907557293167002437, 6807344711257391317}, }, { {3993197157612782947, 14810882170056329119, 3476738916713041107, 1512933700383846542}, {17820889751141311776, 9132720567660500233, 17598924894608972696, 9704537908665702455}, }, { {12121941964759747109, 161674837074510172, 2599887134944602725, 10582301831176576187}, {17746858667522793487, 10735346620578591475, 90382511151212475, 8756617880518165297}, }, { {13269854730742674802, 16128423099443070808, 3557230428644480193, 9637953317416090984}, {6295039911768726240, 7019479692290635445, 11667616931857432446, 7159479331923350611}, }, { {14416651741118525418, 10180867452897498870, 5073925566889872021, 17399294023945814271}, {2042657564518230341, 3364886656428812718, 6324877312192616572, 12778324589036538810}, }, { {10574237360751578123, 5116798422805306054, 14491722292795290218, 10799156134310323684}, {12689926633011134844, 2658342468671191169, 15293758403109373386, 16248058473163364262}, }, { {17412396133163580666, 6474892296180387693, 3334160446575187305, 12749216946172573968}, {18160154520597666127, 8818156595950176943, 16077267238396508593, 12651459389529897136}, }, { {7837268594975894598, 3733413917041538879, 9408433334074005916, 9807113299110084489}, {673053561909802023, 10235823672366472244, 9197803481286702511, 5670973022205283920}, }, { {4435804333677545569, 12530066828083700918, 14652119799285589695, 7610189145859517535}, {16049951379406478991, 1895939661259683634, 10886955028200106760, 10575752015672416378}, }, }, { { {7454214833719424418, 2128900810399984335, 8254953962723841408, 5341529923812819418}, {11486532916552139238, 4528331821405917357, 5048485034448492541, 4189495710753944825}, }, { {9223539587116638677, 879142711399260546, 2878829560233905572, 13081522393987952773}, {3067261963348061547, 16008150780594711643, 5466468631453287640, 16659147898971349582}, }, { {8047766502132608624, 8715815570878148809, 9093649079884580138, 3437267783531715968}, {17562225708466062266, 3512667182749067601, 9223059995161026858, 1366690634827047376}, }, { {17929132376737482163, 5565926714491294456, 5252303555134107501, 8169975563698132305}, {1829326230943509100, 13780918661853274468, 17736665596871232627, 4246797342334307384}, }, { {5113556452592134569, 7304867793218750141, 6016631926489320290, 16471860203547627727}, {3444471410714850041, 16571738096215232488, 2003912224952639024, 4203884000388032492}, }, { {16858425223672505353, 3192567884201479579, 1688923188642613263, 4159042130811153987}, {14900413503869744297, 7521485042788722327, 14038093805562042641, 14713051866364662650}, }, { {3738774192924465076, 14037618828827556145, 12882915396530927286, 10882862194263941815}, {13115222579444494605, 18244214260845794346, 17217867059738274194, 2458870331386500577}, }, { {8768788172344064509, 2761897497254272960, 1400167175024837359, 2591319596670212133}, {1499652044223484974, 6820326453941021707, 9701009499879906773, 6897435972338565418}, }, { {8314355711464256163, 8435944020779763783, 1814803522962187872, 1875253356755380905}, {8214588085484192137, 18062045700553127821, 6649947905482043494, 3119726140944397531}, }, { {11881571666857493523, 6300786026612414187, 4928573492087752294, 18343550313462089203}, {6770642120472453960, 11296815027803718740, 17312916793783562794, 13028515123652649961}, }, { {583508939637547757, 3195115082527873085, 8497784022800549923, 15135719419829981016}, {1180291993378114150, 5447281494912347899, 4710517655176242215, 606503081693490000}, }, { {17732293765863716052, 853971165248416821, 2022886284923413326, 7522564752651732633}, {1417954193520965954, 5046659528429172066, 11426939225844711305, 17687206690616539318}, }, { {6518552374736169438, 7940416740434530770, 15228615103587329007, 10662504584317997513}, {18370800756791469891, 5564085264882124489, 51043856061444814, 11996026931884728651}, }, { {7009195269496826002, 18330778751427846129, 7903886241001925539, 8198930484643879628}, {5453546027419466587, 10378692433982210944, 2242412603379120569, 14762161396393277464}, }, { {6146718865488327808, 8559779132928137805, 14001994895150170346, 9915701789711858841}, {17119408219089522083, 4345363585985782988, 7559492126634131602, 17074565022279033371}, }, }, { { {9262509587234749312, 6377906816499461739, 15415592259881792841, 6113140067088447267}, {17505803833889144731, 3922849788840338823, 6180172597177093790, 7272741317181956640}, }, { {15620168851912893400, 13762314693487747007, 13577625382054330775, 4116976667540664996}, {712200332640207605, 9098568002202933512, 8905476951567380032, 7075673514150314660}, }, { {7724870937269356050, 12054277107553403808, 1881284905431205309, 14429595888039183277}, {4176419490283315185, 803567059653412279, 12138878637145159139, 9651152331113389250}, }, { {15811459837282651008, 4038049993244767161, 9054218236388056577, 10807376403937048775}, {11113869110590438959, 10336442539492421506, 9228056645601479672, 2983388754829658480}, }, { {5272549712777700740, 3890998652469537324, 2338530655383446899, 13889100994494825258}, {2605827345546331653, 1946537408424111099, 5960128674616374312, 2996461229050766944}, }, { {9235630643187100528, 7874836741106774683, 1509645736063284557, 1291934408179243533}, {2170879231846765016, 18243888082459973651, 266993053446290594, 4551583084211481457}, }, { {7680050744092380106, 10728235076013009138, 5020205498410121740, 8174117988374987111}, {15823303896577313648, 6268651341788131847, 16646239256422284672, 7277830349937654337}, }, { {7189376137127712298, 9147574701720272724, 3983921661449444789, 12479790317447783959}, {13221020976679959405, 13001868979553711359, 17918176319017234744, 18030393246529651080}, }, { {1277346094474678251, 9498303380775859142, 5384923668452161486, 1780647986160100011}, {8642790494747200341, 9734232043260261391, 5142834828615817260, 13851307413031336094}, }, { {13856162196947802633, 8991033151317963811, 9758143338284799726, 16669930361261935141}, {2769693485089420097, 14961618614592883242, 6027973048684521312, 339045855685213514}, }, { {4705473345956039571, 17384553086897199761, 4490030246274451948, 1509996255726148943}, {13542663230247432557, 15148026535112827520, 10014941605271261089, 5488071105468657298}, }, { {13903368497828271814, 8050546449078305498, 6932373216915935575, 16010012759059004304}, {15451708272653450375, 211711129247219149, 10435723642185827585, 17790507800712341232}, }, { {11196283625212661460, 11223173364796389182, 15927254202510526683, 15939111530538795368}, {3486548927974609940, 8233744837082586587, 7138041412908951164, 12863368836600604627}, }, { {587498550288996803, 9937849083717302378, 17460580580397185843, 16850270092759302710}, {8661654791709545973, 2350686583325065432, 14816283856648791595, 13021196930055398267}, }, { {9641099975481205848, 5936405208377074167, 16926315209235053832, 9612898534540818137}, {17782980290875306043, 4118599702370009503, 5379494204096737612, 10529123509904334042}, }, }, } @(private,rodata) Gen_Multiply_Table_p256r1_lo := [32][15]Affine_Point_p256r1 { { { {17511864284462479051, 4391315454785363822, 16633389246499252566, 4290325975494843430}, {15912670649662225191, 14172733821603328367, 12709802627494541709, 9648238681838878635}, }, { {12840624483048662115, 13614226123606379619, 15087571995173849344, 1395488309690794621}, {7173958427217959878, 1198561064176820332, 16821886260165681626, 10019479169661217935}, }, { {9901328250515532535, 12796305315632203942, 10819069447660403847, 12542238242508661240}, {17077777737462854238, 4364294351375777648, 8335244153165894685, 8863541604979427311}, }, { {11029520456752683158, 2297291237551781454, 7934683676555855479, 1563954733146546128}, {2252805128528536255, 10523375695822939112, 4598652721256818062, 17493379105069761435}, }, { {2747551692916263132, 3151123035150683281, 13938314333309683791, 11970864255483579560}, {7894236725861110998, 10515613623232567716, 10445557830757066839, 11155097727742050955}, }, { {9569762631377921701, 10341967309273270300, 4697570564829842013, 16684762125903667303}, {5281929071085172097, 13027961546412671127, 18398764602992176314, 3872796039504642974}, }, { {5035609627965208105, 6338722048255995169, 11594969687968475335, 5639340633771742838}, {6928934109570365590, 11589609913085167707, 18353534295019770247, 6879412911232288750}, }, { {10042008593756684008, 6713471518385846030, 10961845838926538977, 855334359173719954}, {7598642325962297361, 18006511265377032901, 6844179774752820363, 248341098560552116}, }, { {12797853895127133352, 17314687680589848148, 4801569699821499927, 9711604734594547217}, {8212610645535363590, 17221681508724305642, 11398663136094709935, 14918164175449979798}, }, { {14940688064094792027, 10874356086032303420, 9942334156288812894, 18314945846365913248}, {2026773265909278528, 13079907189666226787, 2413436844382479762, 17172916412715413729}, }, { {6906211734178583215, 2568977141255648055, 12122130143181371713, 828440041422552532}, {9361946962651414191, 8982763378443381215, 13842936470438971226, 14726899303190381422}, }, { {15233793159839573220, 7091365221489488397, 7026505041428577564, 7614138360854053029}, {5906758210005848219, 18266182645583974519, 15465977441750183309, 15365799046100584430}, }, { {5523310814149808824, 11103439607538154330, 10292039577546071548, 1169663949743807030}, {902203905701917473, 12346725749938989079, 17633270407605278415, 6960688675023695455}, }, { {4505161139988645144, 10689463780805884897, 9379083335142738351, 1333253488693735633}, {16044931735888519844, 16145584549427855743, 15405407720239538978, 11239573776554839202}, }, { {6975554318981968975, 15982286720404911512, 1685931425716796252, 17715405440768877495}, {4827607732096558544, 6375626601740689475, 3502039151843227915, 12085565714635174559}, }, }, { { {1190044221726873109, 732025666411072563, 7781096808432277694, 13079879637655900365}, {9048680577986693793, 12528346194104542124, 10575369576322629835, 14068913038053465964}, }, { {3297775431071502652, 7947266993949467566, 6161673381820779563, 10604626734847205996}, {17669018066064502925, 2386071939136502354, 1076023928806956187, 16075459682742916440}, }, { {12387028018538599950, 5791681577936683396, 7536922194386052138, 15377770247350254336}, {6564316170002440575, 10629371267149545956, 16125760269901494382, 16051398044897962024}, }, { {6237354803374899565, 1782400080026955610, 16115027077529639342, 17907259814836219524}, {13179234383592426160, 7302978467158243198, 13607720993463749225, 6693531817169120736}, }, { {9659467198848065929, 13765104107473534739, 820057324758632016, 16604163594878267405}, {15321524555426147294, 14524167419333362957, 157291234996957911, 3689488130722730671}, }, { {13896531645245568605, 13598412639648980920, 3875086557856143664, 9242105512956135595}, {17410265178284161091, 14904754836127450463, 2354327747158525902, 3858493849578874654}, }, { {17288438225198818690, 15275190140700748774, 14532856272428522409, 2192294551011758591}, {4275966798014984695, 13252812474545742114, 8604705074440591847, 504054699541924162}, }, { {3623027910997185067, 15957466839356832933, 3504133700071704955, 4135728439139397021}, {1160600455691338871, 4431928072859292239, 1542956305318065546, 14109181184369694855}, }, { {9135041378474229537, 15626265487594878380, 2645257479784082878, 8105679948445763432}, {8579715781576202730, 13437359533149316300, 4344754720520585005, 13326372852934103673}, }, { {11341622086474305983, 17104958945811183278, 8154944722722765678, 6696975609844549775}, {10895966360082878017, 2277686037575837054, 12236842881540344526, 2086470279064067791}, }, { {2942668817124399651, 11439025398519255779, 17477264434671471242, 9606507094132585461}, {1771475584689465869, 10791261379080046759, 12901998265727968789, 16423426725595035468}, }, { {555419805011031621, 13715683285513290290, 15526654591995532751, 7023761423093873354}, {15093366433178982304, 8625749648874372840, 6412297471587129206, 12161114204724955762}, }, { {9362623422820895267, 6491356159483508885, 8543224082493101588, 17290929683278258587}, {17348088672546490894, 3323350644823701753, 398525379151271104, 17794417664139368677}, }, { {5880914635028486784, 2898124605786107494, 7953506026198179840, 2189477357380899574}, {11207122442953694293, 9288539232660208671, 13527697625010979453, 448462453367651162}, }, { {11262205719433170585, 7539606872920196479, 492385789142086954, 16036594120332851267}, {8084547797138041354, 10063336189771527714, 2484395715469739911, 4879298610504146231}, }, }, { { {10457697409306668434, 7830477435299250296, 7772379952622394912, 6109610138112185532}, {4382803614711332911, 286231563340803504, 14408860285425706036, 9445290615796219321}, }, { {8838210194055479741, 16190279688839291456, 16520121358582757556, 16768959728701970634}, {17279896910204983538, 3582816187015369256, 372137484481226748, 12972230207718993241}, }, { {5372953569411270487, 17808033035436856194, 18122397266105109983, 7100719381161799491}, {14789750485957107776, 7797117101197801156, 3512936690589352328, 17020065099624467120}, }, { {11480031272463364121, 2525856087688686375, 5875255653057452580, 5606696614467440464}, {12094715534218447962, 6173479337351577758, 18244015404482482803, 13199349349511499695}, }, { {15137716704658930971, 10986987873306909694, 1939043496821343401, 831824210330752494}, {1056638569496361761, 1714583153436391847, 5183439003162975519, 1665087783666164342}, }, { {8618628902870211609, 18064648431799903596, 7274877928823092285, 5660734703123876155}, {17178150811821260605, 5485275535084805985, 12607767610318589165, 2215859519135800862}, }, { {14525253431314563485, 18061438239992695424, 3753059877845742067, 6434164734885086330}, {7925955539869645215, 5236273722884803492, 17135463959633855728, 1885217581414238490}, }, { {6097225965006328457, 2630336000831717722, 7049638698786526134, 4203465038263485233}, {4677974565964393904, 16044036678123636261, 7266049959100300634, 11339674070148504929}, }, { {8932509163442546090, 15088719838810504543, 16380598316811388529, 11816509227456545305}, {16117098651837966507, 6506253137957995237, 7842840841723336777, 14854630695614255489}, }, { {13319400996902371533, 7582870533150862327, 3853021819016824068, 1553148791440569506}, {1383156799113954152, 15192818247458559870, 16096167687117464686, 6356494963887209448}, }, { {16159738883836847557, 12797888767862801410, 14516904553705186948, 13070086184381080434}, {916885380224317954, 9486576895096666538, 2320292919516422975, 5019772534786350963}, }, { {1979992348876614621, 7494083465935166973, 16035723662722831744, 6820849908885211777}, {16740735239901023053, 2017530162004533409, 3087262288875984227, 9072904925376793991}, }, { {11716934526135332476, 433379719600995157, 14981324743710487461, 16580162143428931768}, {17678216037230646787, 2252837520490636634, 15914299694597684738, 15253999728204986937}, }, { {15673599333229961794, 8862902775863712472, 7565222536246787763, 6724910605061440481}, {5835390808530098179, 9647776340035782792, 1038074137838521743, 3352456378381259564}, }, { {13166325906224116930, 10408481058915151795, 13583679214409957982, 13238337156927685694}, {16088785436819834700, 15860660615594092228, 6472158593272826810, 15600310172166391652}, }, }, { { {16375505785562641226, 4903074653735993511, 10355787845763031761, 3188849033041803587}, {3145147452182864049, 13878747873108378466, 2798650520315922121, 2325962694441538199}, }, { {11530583608023224967, 15979155166527001287, 592931868138800645, 5361781029549479856}, {11246418752830406096, 11882251984248471436, 12026389461944629423, 12289077922798223820}, }, { {1328339467113622233, 13374824154992864223, 12057132015324007824, 8507647484414695512}, {9286016370798146986, 9083798709648036612, 4312959727577073260, 3732271624824420608}, }, { {14129872794455315922, 16354810591314135702, 3177417010197743958, 16494351130927698692}, {16557765056328447818, 3139394196704738651, 16891813998271303650, 7374470997276173905}, }, { {1547814412223404746, 14194709348405912167, 15771028929623393801, 10945048172868684389}, {11234483878611528405, 9542605377580701681, 4555391547268120796, 14916872217451960022}, }, { {15490131882364039637, 5140304620645573547, 9403655757498826823, 9824850954989176893}, {6366139388903157264, 1981838834216345294, 14659870286877979556, 12091578124492612524}, }, { {6832171775190531128, 7903951882621813138, 13717573220828409267, 15400575122727850054}, {6101307565293576434, 17226772767105983314, 3485283905347036760, 18439321272895583847}, }, { {6289130721434350290, 16129337673129720846, 6648351866142453445, 7705983837166554199}, {8120136556582544814, 7924417299222764443, 7821995671300500892, 17697662726179084739}, }, { {6669506511185916061, 7036555931205961476, 15471324228012955656, 1075869467462424743}, {14834182808856841386, 9481869408708862398, 193651363902981365, 3496053494343565969}, }, { {15198290782478916101, 16205293865829644684, 2104596565474767471, 7783918193658109501}, {1567469099169331732, 11324634977690198924, 1374141643017900909, 18368642394438425630}, }, { {13389638006727712302, 17518324493263447682, 13178832200681259657, 8955667391164524441}, {9331759525815425703, 12920722511913101049, 15807602761711044426, 17873219821625976662}, }, { {12103811390374960600, 2801185238127939998, 16289223959107648345, 17243660994858386104}, {14818957729322960498, 10018491794651971206, 5502065678180783560, 4158378425043433526}, }, { {10278921174996593635, 4630624563386647486, 11179643216044347020, 8701826069861381281}, {5839989039471676569, 3060138177923841885, 11279648082143612852, 15207786733412131883}, }, { {18277950978951138342, 2577918906618404946, 11684553042740786163, 3082582313241836872}, {5222056779189126973, 7794579876203167869, 8527673475629739407, 9851790541007784515}, }, { {671618501514350673, 3455246317052893537, 18161533457452722900, 8968434886308785175}, {8445049055511813064, 16897132794064300993, 14420937999674600470, 11110627336577683437}, }, }, { { {11535283160083833975, 15102917952496589829, 12909095696891909745, 4611119212602854744}, {4195756524232932570, 3754603965149529000, 11539276962358607816, 4401424391553230481}, }, { {6842993463058627120, 2708745114617181146, 3832382691810282630, 10333834458057320812}, {15028197197004077388, 7681293343255119354, 16227537691626587485, 6703363869832495607}, }, { {17567108285065737529, 8693245930330183070, 4025672038042952121, 3491067119247522844}, {2100799837993193702, 9579542950705774054, 5091525285265581997, 1806757015709820088}, }, { {7757354840118131559, 16227348978414023262, 5800861674805516343, 16486235803248700961}, {15646700163023677309, 504258765210816549, 13724147899924699697, 13588899538317277096}, }, { {15895596198730294923, 12513494396374459899, 13552575153453342654, 11312160635199213507}, {12446618129881485796, 11286186116805515445, 1584191291800429567, 10188741008566636830}, }, { {10157626021970320469, 6580688164585715207, 17158416694471177787, 2873484006255074946}, {14852216457444863041, 7463041347566136496, 2190030775722958628, 1116223035803602728}, }, { {8598875756176012541, 2146658618778432566, 17575736667490551813, 3602654209723135985}, {7223347129734689099, 7256921024940026570, 12249118963297692963, 18168532365040819099}, }, { {7585174044375463988, 2491923406404093282, 9355733262044036112, 11484079611349577325}, {13145030009254943291, 1234932884591406048, 479845670619308618, 87735010308690865}, }, { {17307641427543377277, 5862898330718319545, 485176909118483750, 9845223919324484076}, {4293549583740204024, 12765124043303931186, 17870894781132657382, 6508172378961793849}, }, { {14234156373312856400, 16210939788814051708, 6478880037923038392, 10435512103812909561}, {18142844321802359753, 3243996803126554757, 395603619159523019, 10213589535656704607}, }, { {13256075137060741204, 991285459654295161, 7857174835799942102, 16201105040554625727}, {18398612085349994216, 4512860776717176840, 3521452275695011919, 10622137733045360311}, }, { {14993897771652736376, 3320388672992783302, 18421556740970114213, 7438967127794745135}, {15048397725789819354, 12721899159423777001, 1135125102123667189, 6637485660805148630}, }, { {205606553319362431, 15484041062449893984, 12896720585684759529, 16675624014916513672}, {7579112430564108390, 4602460356900251082, 2677787525524280838, 16723483619407414479}, }, { {17981939084373319995, 3989926231875116241, 15342509934701840045, 12999252495311233519}, {15389919024942778009, 6136335679373143315, 4117381415379544275, 13342256463740646775}, }, { {7622769999043907199, 15227992053145045634, 2719412067263856950, 17811161335980566241}, {15036003689029442301, 4919601685231030712, 6756893600905532338, 18029567067112075531}, }, }, { { {8492025373682814159, 9341562763134230960, 10104358220305514878, 17545404790574939459}, {15737064134098795026, 3880597485411313924, 388663918823974597, 15032915458906101183}, }, { {9452334891928331309, 15207477416486363718, 8081596400773698461, 7528187414539292243}, {4773782664413845594, 9435822414884353799, 2722451711480791323, 13642248100035410269}, }, { {14202843175914986568, 9421566354325954710, 8667368258699634314, 8733557788892402517}, {331451278037425751, 1109013653863287548, 8802742738207038150, 4667769857523050796}, }, { {16570512961992288509, 15784840936011612960, 17797638261217375128, 10589124475671334830}, {16848440972121709899, 697679021479737566, 1456738239410270672, 7214966028857473701}, }, { {13782421991242364698, 14661156263311647121, 4726455119103158850, 5026680986111581594}, {15610213195880130268, 13703306863846075517, 1371700218221235399, 16792392307217237043}, }, { {3250188629442787152, 2728518744775098354, 3140694818026767341, 17566141747707001105}, {9569291890730505101, 4439949820491175035, 13751802166620923317, 6602549032413906269}, }, { {1067242659333881602, 11852011445832610026, 10644339539182752718, 15519552867360295119}, {8817864336906465495, 8844034637292547409, 8850766994595652906, 5299330403389585218}, }, { {11434157439953722433, 9090860151661100670, 8407869262026581159, 17882547383849407986}, {5277257988019769029, 11463853580825342183, 13607489835500075467, 16878800997498950751}, }, { {11526703690786988415, 6919770449526881259, 6713486711636442468, 14697284704991333147}, {5405738839499060129, 4737011393825878948, 8707677918280383477, 16881185094380241198}, }, { {9056014389564242176, 13179419520216397988, 9815298409700670396, 15302091100015307530}, {12552178314548371153, 3975519917079954227, 17211203317279781814, 17755252427177154090}, }, { {14056502343958951437, 9570378325961888046, 18335930130582329417, 12188057598786655680}, {605832426765150582, 15265028749599155713, 4881763628803375168, 425422732543303669}, }, { {16059297404709367406, 8426877510924536482, 15269952608796785555, 6256768900860981984}, {13142655793714702073, 14566340391957173918, 17147065283704191109, 879106195264399}, }, { {14152733561556558931, 6788431167332998309, 2303657738205239031, 12712406085467592411}, {1740483284496903693, 7206807366776489586, 13420608648010812358, 9180900918550128115}, }, { {7193311017682954852, 7916342489073401148, 7990830552202175554, 15066065171478273830}, {15601436495559985484, 11056245839590890541, 15963012082312968312, 7270947051909344657}, }, { {5010740583028703301, 15413348048560455978, 2028314374959411194, 16685660750422250777}, {14284468905357216559, 13715859397068327775, 400943255937053645, 15390787503961331119}, }, }, { { {2707032230021934480, 14943945588296447659, 13333962501998857701, 10603744732015256400}, {3386903941135274495, 8507451908469049716, 9231176235773710950, 995464562185179329}, }, { {1497127512412966214, 11292269970549257426, 13920714718237672232, 1363993524078475237}, {3687544717271789391, 14097532154250414203, 8367320351336033564, 11089672460564007700}, }, { {16993953276024768829, 12025590727803527383, 2672535181364381995, 2183111709986676538}, {14822521615475063339, 10618745739454592027, 9957515072444869664, 4797521918890127374}, }, { {18097777493026370528, 398882723487597643, 10462164796529820357, 7704526739683689547}, {12438059168025171393, 8163001730991802064, 3319372757738711275, 11518015261707325261}, }, { {7809927122217534998, 6003738786706135597, 16541272992243715653, 11352602417510156921}, {6070703545889058045, 3742828100079104877, 9416263310824977145, 1406892456840131842}, }, { {4005088727670892586, 10215872293486093012, 7634075494800881158, 7707144163086802537}, {7085702388211248163, 12168208652772836726, 16347414703478252736, 9386623607672009940}, }, { {16530167766100505402, 14672843572926881623, 10752276706209340624, 6888427606311779724}, {9060900993058482991, 10439396339124215720, 17640982730425880863, 12916411341252677116}, }, { {11776245660806714247, 18129100488268011560, 15389929343761297429, 14544292652959164154}, {18063319363114104433, 13433144948667100183, 462314076175867487, 1862686058702915115}, }, { {17306422602774323327, 17272002328208118653, 9314885036861009829, 7485631191912561636}, {1933835651414138452, 15231897024969540970, 507247317572839552, 10741595984991150047}, }, { {18297797979313130180, 16976628082093243813, 13059060093619519046, 6865085966096869228}, {15021840537243000183, 17843637254308940381, 13122764022765250336, 12556030904692962295}, }, { {11175787671000337381, 17757097628648374409, 13408571223487217321, 2720103532070247452}, {3237822932023459208, 10155101091021157316, 13910068101949253623, 648579517754264097}, }, { {16597587101652675879, 3941450686064909756, 17635514250964078220, 13107347044039852240}, {8910347370050088758, 3114023981351548745, 5209360756412143979, 8990623441581200588}, }, { {7692284195082081732, 15977071788000084350, 3594719301791478282, 16545490512039598136}, {7629535887569375952, 3241949087900065139, 170526822997903747, 3422990592513330514}, }, { {5473399325468482480, 2511351254139828397, 1124856552206019504, 210074180589003934}, {9693298849967626723, 16185054013081266938, 16070865229793723400, 734500463998096984}, }, { {4895849847827915947, 15252720925614851036, 5944268852782996266, 8171510665067151601}, {10594809041696466609, 4377920841124876663, 3816206760439007336, 17150624011379500381}, }, }, { { {6266830413981331818, 10890859480409122410, 738708598357264321, 9241173142142102299}, {9152169484987657321, 12122430118903337055, 14270062735458703743, 13877635605034675649}, }, { {4572419849863661964, 16330741525817240677, 5456771007607263420, 8798510164381810403}, {16547183593064549865, 11355135595370359779, 17581910791451710925, 11684604415749005488}, }, { {2766130068233451740, 15909689412657372214, 3272828023364980896, 12907534005596438003}, {7065629942275705493, 10609982651084321649, 17330343421617897811, 1746246157222856918}, }, { {13168953859078137190, 9072500190247791267, 11090199374278127099, 3503847851309060744}, {14395788825673846582, 15073993563711333791, 12879874391706003251, 15417028700542288171}, }, { {2686132933630431595, 334448852204016400, 5636563341880055087, 3897420469445246068}, {10569177829735084588, 8244586887721364305, 17973493209847502315, 18083956436923498083}, }, { {15514509130323617046, 9833490355170899102, 12028021566105512521, 6349458533674010018}, {13470024118569549588, 7867188201997717819, 6110792121234766402, 9917858515766574695}, }, { {8273062939911446888, 1936638151089648185, 44602505720759914, 7839132833110815763}, {13045756168264521992, 5375972549477973022, 16964151563535745964, 2871770426902555432}, }, { {14164643693563803212, 6386904235704679249, 931435629437735510, 4496152555914735639}, {820099532545743339, 13419988718062417698, 8948965620484833159, 7238410427920554862}, }, { {4387941928212462673, 8023190031094282215, 12322462122895470016, 17311901330042910195}, {16445894183838823370, 690424095855074674, 12820742226551488738, 227935274674223825}, }, { {17437729542205914525, 8439533239207225162, 2862942422640746698, 7340866642549630610}, {6770451500989398335, 17262212260581413381, 2156505157624055602, 12195119268846383898}, }, { {13685370053507732180, 8304030489296890211, 7042719123662732989, 12115154796394040286}, {10496877583013829980, 8909625177349683785, 5268451666475070682, 8910488385056259560}, }, { {8874918984373509240, 6652428549855789281, 14866714872885601270, 12093494664302554643}, {10149999253136441007, 1611873554177023520, 10271627298853910516, 15171882630355491729}, }, { {17085353800722834618, 3271271583189511718, 9338466116389304614, 4685545953421459012}, {5059702655119414343, 201476627889215522, 6388612869673101372, 8357217932305360896}, }, { {1836621694151238424, 11438765101326043062, 5537182303007083642, 2657011195641217678}, {15370176245454161308, 1478361893117141052, 8729368992402422055, 4807782542738120272}, }, { {5084555197036037383, 500829604818691390, 8128181767026348964, 17895639808733462562}, {4138748420878083709, 267892430674902987, 8954358455330696651, 1946224964877667668}, }, }, { { {17561670470565298976, 9524122142014309347, 12619871254022879995, 4098610542031538614}, {8338691110372464881, 4378598564044777665, 16435680634249352743, 12067828180476756532}, }, { {12574920924242276218, 18146097977073890534, 18281543194137545725, 4432773597060264867}, {797962164984225968, 13432184750641235201, 12394976215803938078, 3054137600383896411}, }, { {12910897300898239001, 14116919300756610521, 9737100313909655285, 8792063194563201934}, {924297264228895146, 975866810375743708, 14953819883516375119, 9992561966868201517}, }, { {18270562314314829224, 17574550722906577917, 15522987576586641271, 4200899284963891561}, {15719788437321868967, 18390235318178988753, 17371818886753265385, 4583380351670429228}, }, { {11290716045321163897, 423611636875887759, 8716385793549629027, 8029377844845093468}, {16573848460451650185, 15094868140191104543, 14624483608434776103, 9086586764934160662}, }, { {1320522168839874087, 6395673054871725696, 7793960979093413321, 11402054451286901177}, {17278080290632229040, 3823680337747309837, 7840042035002848151, 17839593774203285281}, }, { {10024545625018137606, 3780616370895328213, 1516632588067435378, 13846630703933575818}, {14323905768888574358, 16062987352815864444, 13444338098535013457, 13400662018607341910}, }, { {10102001197913431240, 6211688443233768420, 1986665099237206297, 9248907879269017005}, {3081890249882755206, 7828527646248386813, 12676034092230326487, 14655968027461080131}, }, { {3763532248936424432, 13507960710132312440, 2003243330622949364, 8723351916784911918}, {17411870179533482591, 495549359712213584, 6958432541445845486, 7674356092204128350}, }, { {11814337248412299972, 9347461245743305200, 15456560932072269534, 9579754357941936175}, {2098168907840746456, 2063921976437345588, 9267808714920405578, 6482702408130663270}, }, { {3313415711246730386, 4607422129142883607, 278072683866121896, 830840258180061490}, {16961959739026004139, 7896385585906900106, 7610238284391475173, 7231671772874233939}, }, { {11464797300361906821, 1444449385286554508, 12433005157477847389, 964895564896662942}, {8457290958728547067, 7044433897330872257, 12292673928275053405, 13679355097865192207}, }, { {15352304695586484723, 1527883079108513336, 5890042963344522083, 13407971103520766077}, {12385239629152188662, 315706510218287516, 5361117161753711484, 8824676525356150938}, }, { {4555925933619499493, 14889603365479712329, 15898222225673484215, 878884802170861101}, {430001626591485427, 881428142547721183, 653855015067704092, 11378990354467312809}, }, { {10219225570653005145, 9205374019534090202, 16828986596058027743, 1089575570166892706}, {3079144130112884386, 4682944567048139400, 7674497449298779575, 14137535283566239898}, }, }, { { {13266892287530449189, 2232961926857263527, 5934654989155432442, 5415975493246016158}, {17117784386882463158, 3875398271691758986, 15755743581177209843, 11380746535012415659}, }, { {10162459499000477259, 7534168794800651527, 6320985751131807192, 9263840233901040421}, {12178625283764017250, 13143797113231152006, 13089053551699608219, 13480464010111258056}, }, { {11426681347395118622, 17135867298562042628, 10870734720453621112, 13803364322975322217}, {9740527283062276630, 13765238480893165263, 4792349632705804116, 18359029140065847048}, }, { {1420251412241033168, 6449255753238336368, 7468624722117319576, 5716072259994197219}, {8165015263320602150, 4757529151848960259, 2040364517493350115, 11069642333484542749}, }, { {9434687670958330812, 4808705744496679962, 13910334628239183613, 2628594509406050235}, {10055911465166862298, 8069256921143792190, 11886968715847498191, 6351594160398684406}, }, { {5472832021993175857, 6120966193470238758, 13156950075464061259, 14833372202848630444}, {5760885723102571027, 18022572190906170343, 9870918995920897221, 9546055667466056471}, }, { {17124591880405051324, 3379747334483646957, 2084957978131092947, 2413497199486596627}, {2867893699156486423, 1357836849049583382, 13607307985344221035, 18039194570940763745}, }, { {13230815692170010235, 10662664037814374845, 10120384214921531334, 8892863196093018212}, {4443096401408136417, 1896901619181196514, 739574867683694091, 11233952771600927581}, }, { {13885878918475208407, 18415131106660406656, 14362601436612948914, 5740711586144226035}, {220574937152712384, 16774016249557318959, 4658351269477373440, 7890975779439252404}, }, { {16628715286876183012, 5300385226682547206, 4493053153469218188, 6690552861098862065}, {9359345201611660030, 17390357193161728482, 9283655448484665614, 13747647357786913441}, }, { {3101241556869117917, 4731590937333975732, 8347709942856514723, 580858462407103829}, {8937550160715031857, 563888416351720575, 6928865729903641398, 8295908905021542009}, }, { {2219303446125808132, 7766409607764464233, 4492816761527421087, 1687012079818776091}, {9967512906892097592, 8099397263797608226, 264054732854154094, 14515622825083967497}, }, { {10586626338424063837, 11285305220583812031, 1552873676034063335, 7108571382532772330}, {12077600502438115659, 4925647731241250576, 887903929602864140, 3575833277214438245}, }, { {14685642695197717757, 4830460343095831969, 1748938116371486214, 3212377924501398108}, {7575821759023381902, 4416593227203343304, 17810665332121047202, 5387420006905173437}, }, { {8644732068940188724, 17116805484232699355, 6611042643736763845, 12686480611232016266}, {13422256101258226329, 15901664205323922499, 100273141428472746, 3184681836469139902}, }, }, { { {2754563581284692865, 11257360722362829387, 8254261291934606879, 10023569920325096229}, {7980898855627864603, 17162063449612285703, 9275759455936104363, 15936804738099638644}, }, { {303387668469489035, 7978391052264888020, 15413722057350324494, 508608987485166058}, {5585753287556892522, 1344134516582665443, 15144279405777509214, 17014353449841567149}, }, { {12518577022215294774, 11347384788122950558, 17122718824958020364, 5431993665805279177}, {1445831254446028321, 9845654210244803480, 18315778529692612284, 930563922336183289}, }, { {4894710987714215219, 15704993603878996107, 1606204036324478223, 14308635149530198932}, {5026736228773269251, 2911689442372084137, 9004077539360196849, 7770049130277452000}, }, { {2745120518194234905, 17255944807561408883, 7371907591838942770, 11781525288383871227}, {7814952754785494862, 15022715213812536212, 4112388658963418656, 13703771908397991335}, }, { {17455440140812341569, 16738670164475421762, 13259904130186215994, 2168106064304872507}, {1969289843772256992, 9025317999701057831, 5835661391798891929, 3826587698101558069}, }, { {9149648374608464235, 7248346993716635643, 17283919168525322365, 10107681064815728795}, {12176813938029507719, 15110337574289033068, 2436453685316043712, 5876967059744625564}, }, { {6197919059881189313, 3300993078638782623, 9357667752372201437, 17688129755135009447}, {5477090746558113696, 12602024521188880300, 15889961935507293355, 7135039746373941272}, }, { {12561063426893244305, 3079971284510744316, 15695857190375815873, 16730673956207425338}, {12065477821845465116, 13846158368121919228, 2126156187526559500, 3005167441915916768}, }, { {3858987859895327040, 17043903959888117395, 5861237635520080595, 3292646198413575902}, {14286644557048422360, 14346409530388980974, 12583555046601155161, 4665981927428063991}, }, { {7657686120974201842, 2388299767028319466, 17934808017791217639, 16708640707026372313}, {14122341266134976486, 9547124998857374491, 11194069918436025923, 14657538980930727877}, }, { {18115789712912297420, 6543740714573413570, 1955886376702349613, 14736853369719086334}, {3914330395250768396, 7607848156418885173, 18220633528980056514, 11930952850158858930}, }, { {17010681753474701341, 6961088634819162945, 18395881317121515295, 11611411242007267179}, {7996717433149311639, 2687736005475404867, 15340214362731923149, 7116441414289074727}, }, { {14302198697220662403, 11915041511943922518, 12363437164440173650, 4047410026894059083}, {11439743031696133447, 8776097395071907030, 6851061783357383945, 16484733576581941012}, }, { {2861660066704264713, 16453202148771053225, 10039035813504063627, 6275446616881871868}, {7150609984920482782, 11100941755544354363, 6219760433202580646, 2875377482232912143}, }, }, { { {15290817014272444879, 8012864091692295774, 7591940515496590516, 9299619125326026848}, {7297256232167521068, 17861204372399797627, 3100022958796565106, 15313770879200204613}, }, { {9902363248877274636, 15776195244792726061, 1935342462634574355, 16572507349421626602}, {7503944294807242065, 7454248748618678609, 2837392985175901475, 16494567631149775512}, }, { {7821919851875204434, 3437243050078433703, 16281279739393410040, 3105985403882097775}, {6392071520880083076, 2042340026857542253, 2492719020444109453, 7325465357665053546}, }, { {12299242278498309265, 117303082144788574, 18382936515565701803, 7941141688858846015}, {14923823358299367958, 15681089039073030752, 16878721085421212785, 3933697483394042011}, }, { {17669228922922186836, 6423621568318435743, 16298886067880336557, 11009276012664659704}, {2934438101395245878, 7492928446481808311, 1311515713186855284, 4493146166488261630}, }, { {14009653500169461120, 12982754496644678513, 14586034645437015762, 18126832542767444974}, {627541781236454235, 3801503508930355635, 14654684147782092084, 4179096323459534629}, }, { {14829342742512426992, 12453047655591346244, 13146459409240287380, 18077963306248855764}, {17149389409735171474, 13591892902058002302, 13872587256559899629, 15878632005942819501}, }, { {2878536922988449879, 8819365314325664735, 2696760638950720974, 11357179421800829605}, {14730809809256560583, 16277258726425730599, 13189689275745970592, 13769784951430309444}, }, { {14706229979050107962, 8679247682181027680, 9705538653507374238, 12793525936716723768}, {10022723640772366793, 2224403391050849804, 11511158380587667232, 3250960576892370870}, }, { {17671892277522139639, 1384260767972381005, 7623504419117295292, 11197930232971575240}, {14867469242175831789, 897596747715880677, 3892483173599058531, 13453254609965163080}, }, { {2690362926234343281, 12134546410412600166, 15715872358030533545, 18160163251393343275}, {12233720002415141519, 556081697748597124, 1099809960955937522, 15489604457800724223}, }, { {10292669945637125918, 13595563061674492799, 18301330068714272653, 16981073598172019270}, {4022713583718555211, 847970754090163894, 12867993617169467387, 10021141621864633865}, }, { {5408393826294570360, 16896935186698126584, 13028972412622343885, 7850626233281656805}, {962076344521148275, 12332350290936839731, 1774588207039851940, 17877147526933423087}, }, { {11625440764115934244, 17372224561416726989, 13457342366450471135, 1569549943944038472}, {17753658357081801983, 14093490077993040859, 1282770820260996510, 16402793994329437670}, }, { {13086054618104175873, 11714492854942191582, 1743587223054035136, 5474094059388998723}, {13150833497051757606, 17129392131927259958, 5739140380294248045, 10239738807213437974}, }, }, { { {3631886121917081375, 14286411187847401959, 1546298555066841633, 4790996540037176549}, {9541492152219486842, 12304868498960755609, 11426775785781090329, 10793898029125361155}, }, { {10932352970046201499, 5875690226460998551, 3699681560657289718, 8665743594825198441}, {10232089728487302472, 15664572298733091969, 7267222702489958195, 10552093353886118696}, }, { {4008236965647744142, 8547116629188387980, 13874587567755370880, 12696453513706541959}, {10752386832421030566, 365775083075323708, 14295272684753058141, 11024897725724291722}, }, { {2399232949134869057, 16408469118941953277, 17229778225562184411, 15990256768949242309}, {10694906341686584836, 2816242351659628719, 10794163145486835660, 15601904974333104002}, }, { {1158521281204350113, 6232098057848694897, 12517518152351190341, 17852831094628421272}, {11653774695260269881, 4420518556213490728, 13835371272800239099, 12119809446886544909}, }, { {5143546864201185527, 6400878864024957342, 15513803558106064076, 6712861984922181478}, {15623960351786428150, 3094277713920675576, 6184647748693682810, 7857605928718754519}, }, { {2219152199405421709, 5367881810186787185, 9606063680551349934, 18233690822105957780}, {9941441403610160291, 14996958158691873775, 4936282940888570414, 16608409936766385729}, }, { {13270099407878039596, 11569032926557804346, 7759575992876193458, 8239088820951102451}, {9633607727685959064, 9775909232917811341, 12297921731498614906, 14756100221590046549}, }, { {3076166255574886489, 5587891405059542759, 2449830540875545916, 15616237426524550707}, {17820334717580127167, 11506219580693301288, 15242532286743473103, 3266057695402840388}, }, { {7193168093115966016, 8050992763687139302, 9734357192061785185, 15553552690657851227}, {4632257996795951659, 1007158456255834509, 17052740163052114844, 15619284827675470063}, }, { {4224824291132201768, 5709863556852834901, 13539485156399791894, 10330250853413634451}, {2817020820518906625, 14306724568884734914, 10421968182740721623, 6943068506740047695}, }, { {10830476567180688368, 10003074695797360184, 5589380226277136479, 14952961630386717087}, {6354514974022878533, 3426762794422332369, 17950815054280597743, 14940277403242978595}, }, { {14582622177810553114, 2819236216667324430, 11333005326119114902, 15900677556115860419}, {12265999577465855236, 14521351376076108710, 3999293994697120555, 2365385934872188434}, }, { {1803647016552158312, 12981833819573589527, 11371133227762071, 8210800033974528109}, {16927172347295306236, 11674533305143999306, 1514600283696801303, 17036724058500952986}, }, { {15551380071341300893, 1378878534597097794, 16601031904934455368, 14515377519758777108}, {7039813638645241317, 12524221355672362377, 10483072291636269482, 5711815649533531303}, }, }, { { {9246769514475702626, 5788284997389507365, 15857897362850327403, 13864676801095094218}, {12881526722328523267, 2620841421323221200, 12599981775316397124, 12820989846844560040}, }, { {13066648645100247757, 16727492115601921665, 15749471761440498106, 937594351871983779}, {8381111811209734349, 10884357918725639691, 781591570669492079, 12778743765298428266}, }, { {1797915488494232282, 17274756142259274463, 14207994319179101777, 9405903752538915237}, {9001743317941152797, 15048752608061590843, 4925745663463425863, 17143694017177138485}, }, { {11613437975225156304, 8619196433402562266, 11907033287998837424, 5056904365610561965}, {7637552956459333558, 2827449950719061527, 9998507085256853501, 9238562885525900325}, }, { {13246436769495027717, 5445015753017977819, 16266739009580878036, 15566606095998238977}, {12196078605380432771, 4854324313875295137, 10974170498288217052, 6425550765546527417}, }, { {14574824159194628650, 16992289415800830701, 3499062703303067574, 11220872042664151226}, {18135860701984580530, 13630928571014923388, 2913126838766947469, 15869180955632349704}, }, { {10621010745328025245, 14637275395423748577, 12928463178963493980, 3270672471462681194}, {11765440832075775157, 8138439106739837848, 10004644076263261924, 12582897670868871780}, }, { {9605391611675301152, 14014632424042523224, 4638465078692570733, 3013469722048440965}, {10972600060210514686, 4497572559400894366, 2652629676209366276, 15827846806499715082}, }, { {216774559418075105, 7056732230404238374, 4342481467357759950, 16143194646968227790}, {12304857685680249595, 5021239809847286634, 745754913624924064, 1603290801266214539}, }, { {2784418922013631805, 3554650219010546629, 8896448905401216908, 13445015286698819482}, {6508982623352460996, 3322529327934132311, 18417788670080975365, 17554108945303789353}, }, { {17620122226715347133, 9738429733440215024, 15577771434516492888, 12422193389576942718}, {18383756008252443605, 12736926759685644351, 16981429110294392086, 11999528928951986433}, }, { {14489177617081844909, 15995916840320959685, 6361381313838994395, 11146176143708648759}, {17190512001934479207, 8406914945663974955, 18073221191428103088, 14075266763636071788}, }, { {11493260321718935244, 7134447477334726345, 10489281872281557152, 6145540581503915475}, {4002857892747271740, 5167943945955725680, 2892864850826359384, 16887114279977647596}, }, { {16493058314197913501, 14642843949567816202, 8421201635021034279, 3645913604138483317}, {6127272877310948153, 3660286308390076870, 14343325047340052700, 5355450922054278073}, }, { {8426383571761073988, 17627146217941553397, 7396223609641674418, 2402241526082789613}, {4067059813672963823, 10306840429023537942, 18342506396531908477, 7249869764848707701}, }, }, { { {13937553904380032591, 9165760362893872288, 14159606902675650669, 7794101517494576908}, {11994596892880464164, 16211278212275417034, 1568324133241165712, 6579463633356173526}, }, { {369660229032730089, 11851915833529805698, 13485269529443969890, 1270120511649175022}, {9128783725626301238, 6173048611666804214, 14151404531169195672, 18241008099921643437}, }, { {16331025972320545471, 6852381640421896437, 9324740413214863495, 15718339035381717722}, {1521756232012903545, 5431459367124818841, 5364830919043042094, 11104748870982011750}, }, { {16226789363155700046, 13734705589524056856, 9629995513492843231, 2636144377026081617}, {1233405076007260313, 2119672919365858964, 4932766292290315579, 4185117177904214366}, }, { {6556637108078954923, 854911879338322327, 17335608616262058670, 8212786550755149003}, {8111194132924193031, 15689965289081013375, 16641361924274000294, 13131032775030004856}, }, { {8653575060724839982, 11482527594744353256, 10837608928215660048, 3651629796762058243}, {7098570919231943894, 16903422906687575782, 6449467519885582678, 14455694979526406871}, }, { {781149662684377075, 9606778745577048892, 16642923833572014687, 6804945833779567806}, {7749938807818369385, 4119995592971432914, 17172069782410404367, 11558710124840085255}, }, { {16996170392430604056, 2476294162951949891, 6677439492116109133, 1649550562276235959}, {7307278264575968221, 17128676264244010843, 9768062299436691373, 3825325732056225433}, }, { {6593955722549970555, 17069122731812152854, 9033349482403834703, 17728559655579364768}, {16586780540128534825, 13307658170018069777, 3129405955501687685, 11183053750385689524}, }, { {396019325068553604, 11523268935121791712, 15099363117146465288, 15263791092270534216}, {13442484747453660303, 9234120847672647934, 12419564747087042045, 11765927783051357577}, }, { {6946885342337567475, 7614129273290805579, 5593360004251714058, 12661112521307810378}, {3109170497657341517, 17179338146382046416, 10757457188650866858, 6777926602245453235}, }, { {5861627228365499618, 5011684805137210454, 1579621475012951778, 11535371650014354624}, {12847902922833318241, 4997014846790385136, 9875988184618650628, 13094082946822736823}, }, { {2372542806512167707, 4770713673953713652, 14348746494327256696, 7497346441434630132}, {8937635379675246570, 8485257033326447249, 9021969910533595955, 17083952234675640995}, }, { {15253158548483712314, 10967825792345015198, 9742716807127259344, 14359543366972625129}, {6622650705673586588, 10738437674137632549, 1628663686364470696, 6788821495127737255}, }, { {10456049238997614164, 3762844951386993276, 489305084297229810, 1360312650067674972}, {11869321173985817492, 5817931657599210177, 16741327479242559412, 1205037582258757668}, }, }, { { {7109145612337154341, 10502845970727626855, 6527587047878193251, 7049690136888681718}, {16750703006415156202, 2559311261501721445, 1222802194566919230, 18019462938525560766}, }, { {2592184418896595488, 1723751460114310463, 11198512454461769811, 6203707848404803677}, {2601731234271436477, 18186700975610533226, 4757569424831899615, 13359873383138312209}, }, { {13904640252203718708, 10747313134117021792, 14667070697514384141, 2600977347774743546}, {15498986940124021079, 14740645313274577011, 17403811028932224808, 8060102076475954685}, }, { {12990649636107730851, 13002224935892458030, 4380799638612122791, 7935443787987894924}, {10438069978940053126, 302419699431148366, 551508078777729872, 366155636877501719}, }, { {14734735764746786753, 1378251478826083755, 13509550209468602124, 14458158239096821346}, {5681313138148713219, 9054039627425609375, 4235536482830620712, 1502753755874778370}, }, { {8914021876030553161, 9071747156187788379, 14974736924255494885, 17070198435868341999}, {3643991391224035758, 260637732328275649, 17609644917816078225, 2302996326941944665}, }, { {5888744936142942064, 17277140802638358763, 10290028650289820825, 1940657436863195045}, {10796401239257150661, 7788083050548605852, 13474393003015663489, 8961936186303685357}, }, { {16407225233842256953, 13423683834633513951, 17454464203550700633, 6033758555290610449}, {5063673994339442907, 12250392784929419939, 5954485814444410119, 10099095370725442279}, }, { {4687621216548073298, 12683256962895584277, 1406415612737291460, 3991320149877222007}, {403384179417053146, 7072351635192146705, 14388831570324308780, 2518546598792352745}, }, { {2866701220158780648, 14345701180700655413, 10383205903323525163, 14561034237887346332}, {4525630512028460468, 7470042867870921036, 12498636959757093905, 14959680069767374094}, }, { {939355076355747784, 236998652239230884, 7862332576114728232, 3008745396212765985}, {16892515157128448879, 1688671543548974140, 582235491724828261, 2879861045707356356}, }, { {5793581539270397654, 12067972155882240315, 1914416028486337582, 2044052608129533771}, {1045680055817519578, 6183307954634642810, 1115903654002488241, 9729229622559998051}, }, { {11505233554542243613, 13650372171621554098, 11886401428750724176, 2616122636264787282}, {9807875738265530891, 2065326856613209663, 3841177149705795822, 12478836916087572836}, }, { {8725096612265348131, 16959754534248500306, 3934616751368449170, 887912345061829880}, {11410178859948957868, 12867384504930748729, 4367798270196663137, 4359910421693489126}, }, { {18221589825782480868, 15875305463032670629, 1054133002549446970, 2220911650204683784}, {10874691797030180071, 13903803155513130100, 14873882741737344436, 9374498718172057556}, }, }, { { {4471613312912718060, 13601785177495103328, 8083849806888905297, 9053545412554844461}, {1876605639999952155, 6124537911475118673, 16877891074567085688, 16541720065079132344}, }, { {18138305348849897995, 11498878557125400853, 14125346336359365201, 11991638807788804369}, {13935355764550912568, 16209147067155729660, 11086190285777019292, 16727288863943596410}, }, { {8873152377611229668, 6260821826956744083, 11489383533808918262, 6585112195310961861}, {7365821041919648819, 1936165695028211587, 16164747634991415711, 17957320776652490392}, }, { {13065030057172289846, 7278765836407486850, 383827150208081081, 7832055893191054601}, {5249323286889945617, 1631661912887095912, 4431088469837785451, 2866263172993336891}, }, { {6140213328062333551, 16704025329777067037, 5839832043209342792, 9196354634862869885}, {2735762290983671190, 5323501742548818139, 3199127466610501482, 6719610946615763192}, }, { {4032564124345275293, 240208626666701335, 10264845378648897042, 15608289126091352415}, {17866864241918154829, 6207477318890336372, 491708931325462670, 7002400618323099260}, }, { {11507747783030541234, 13683043390668171754, 9924966309328785763, 5549516466627385909}, {3724001483041449858, 2408778220985427590, 10510707601023430105, 12862520912519186496}, }, { {5012372868660694231, 12033652755433827667, 5960732801180177919, 6089487525155575261}, {18400192045204062277, 12754175136438960528, 6170965736016609163, 10141374482047067946}, }, { {11781193922347227447, 16937876011211881637, 2982972111293427964, 1728244726890919596}, {3327997232304084768, 4754833121145407334, 5871027825507908591, 15772493911709624273}, }, { {5862944033912881884, 11132730978666088350, 12167180155548291888, 16449838286695349787}, {14399676610730016345, 17071083123672650337, 13727728787831175379, 7507765123422748291}, }, { {4883057314704644529, 6606742732149784343, 16070555141087563722, 8408294891669305261}, {4298316003054547788, 1573237855902568238, 5357176885445018289, 5855732582172939202}, }, { {11721126538980357625, 7216004194033429913, 12765889884935948315, 6003399149613653734}, {4571046290325663920, 15023470461830485075, 11463513436288928362, 16135217522406374542}, }, { {14300855104129153291, 11491527690078786162, 5674183453812271017, 5044682546652747711}, {9153978680942338831, 400454762074409409, 12351470849648616331, 10559229320903248832}, }, { {11839166519633311143, 16489041153719856002, 4820713204385149226, 13768001962143023630}, {13107713406478328396, 15471245828032402460, 6733652296473831544, 7665657127090105428}, }, { {6114372925011600760, 13061069979571997963, 12156991017966837826, 12403009591138383583}, {5761958709898299258, 1907771304051897263, 3007439379929412593, 18410854883912163962}, }, }, { { {10153847769616409178, 16591913677701651064, 11369151065084080884, 9493662847124813178}, {14299126668179023903, 2451525064998641745, 16055696673728703463, 7600736037142850105}, }, { {3339871688614476269, 2937156932445032796, 2071344655111136329, 509603454456841298}, {10929109734329673813, 4531629375826317764, 1802431569220697099, 7971315018970882891}, }, { {831440329504272059, 17398063681351066636, 14954668702259408996, 5717183520144440084}, {5683898996859918421, 9613688159291425744, 14476049487507222229, 3689544236835488368}, }, { {4307546666223047416, 13914498777427309061, 6812156124789414732, 1680174913762530491}, {6756325174405757110, 2535144759174364990, 11263393915003278429, 14767595249676286403}, }, { {16671897597823309975, 8846923580617118936, 16420413907022376284, 2344779928765541883}, {13727655669851883280, 934227091954463432, 4722713881950047653, 11812583008287470589}, }, { {5321392406277114518, 347488367118035707, 13877286915167943316, 9829617275563347891}, {12220860524024630629, 12190721936758412489, 7308208895364574537, 1525158119497637419}, }, { {12984508126047021344, 13884472939864196037, 7382834581395586970, 11638480609720520178}, {3822030693056621440, 16565826187005934945, 8411123762207988382, 1177726217844912325}, }, { {6981289090623415465, 8930069945493884157, 8223216504978132408, 796477795300774057}, {3120155459209743472, 14825603392456550470, 3711879425019804830, 11041054473536223927}, }, { {6533202055887887500, 8435346764005128028, 14910943752455571727, 12906760590440667071}, {6009159206340842586, 15232286290711710102, 13101554303130256987, 9535887764075322183}, }, { {2364828287094520952, 12465747625792776806, 2520175043973011525, 17224593222741233568}, {1891958595100476046, 14167979679885431508, 6587293950576996181, 438078840840804918}, }, { {3740623254035318453, 2026091438664349886, 10842473205058238690, 5471257179527938221}, {7725900701946760330, 2830662433803069280, 17799722315873409980, 10759084277615005300}, }, { {14135544350792474553, 6171419888118563156, 12495035851387242130, 2843310747449412555}, {5668766087526340552, 10117858698838396246, 5181027414039980750, 13247490124270426}, }, { {5630566354382744149, 13019515676216329576, 5170054423571001981, 6980215251505169036}, {12147009277250683724, 5685374899516102781, 10470553909247052379, 13479624060240397189}, }, { {9352291669847160009, 8941401423217216209, 14488820078509299610, 16185610851702419585}, {11995025321082820298, 8447817180287020945, 5861763576711981236, 14278368152612939946}, }, { {17266177108677586607, 54295173557875478, 6565771227548453510, 11327083086584790599}, {2516266639353612660, 16450448808532150212, 4693041555468884719, 10262468795248362309}, }, }, { { {2365455792963674834, 2249234228455309648, 5237136544555745182, 8814246419234451463}, {13017813702607013347, 2241193992640629733, 17982226236989862510, 9800528153239873634}, }, { {17271890190678399664, 284117971978206043, 14999643475704678808, 6264699496666119083}, {8859934981351804429, 8300880062060532031, 3667839168820458685, 17133003164910522197}, }, { {17791633957402883820, 5938849497629314459, 8356801465373786047, 3163889445599730677}, {9723709910898285412, 2841967670768995554, 10896757438566636700, 7434996874241771203}, }, { {14086272070125896854, 12009239107306499026, 6592816798466831203, 11371087141421707743}, {16277593907837607793, 16449564916599232060, 17471042072158213549, 11953382410698485455}, }, { {14613304240735929191, 7658770973133328064, 3028731168325633068, 1486737152001467114}, {16715835021406106944, 15214200823642287507, 18441898204110447697, 5669963154424393607}, }, { {8381651800836461905, 275661552864412688, 5548629401959193001, 7174991431295718071}, {7441251258233899268, 14052832476485122412, 301250917807487282, 17797202428295526090}, }, { {16448089571044203401, 1396460397790470601, 9796571033221459545, 8162511506983092708}, {13893406727199803081, 16188892369453405032, 16023105002157964343, 7061289566170423383}, }, { {8743817608749172620, 7804846024944300667, 507107926259802795, 5258061329638283805}, {15071070675288472598, 1848743106176521296, 16295570828486620412, 7409462376590083349}, }, { {2825832734356158434, 10662490421734807455, 6363563030616301959, 16552149102037287266}, {8852342875874616869, 16848248230809388411, 6581680050166700198, 245046966305064563}, }, { {7828655274510399422, 8354801505584011854, 17818478328917068523, 17325245990806811268}, {750899848242404370, 6729023687199559366, 5406329621088392947, 9196565205678366888}, }, { {8064539304829538257, 6441901327220658696, 17278408443193767018, 6094106832683864460}, {9824329910822370076, 5272517980512991724, 8211352561755619726, 16303987070546290759}, }, { {16798983177239698753, 12189491924433050580, 9517619110936281609, 17570406314312177597}, {9873809692789257777, 7539953961664846819, 14652839873293130968, 11082914471633564328}, }, { {5471221015674785794, 8844747884377425274, 10084666525179707178, 11340747033059217003}, {7295797213045550755, 8395678759725657352, 9654316500807954493, 9062353099996695484}, }, { {4588282548354659427, 7317148840331807496, 1344326657487996813, 1542409176821028318}, {16178223850158437787, 14916858636047869579, 13512744779273961596, 13549205429423761570}, }, { {12307321769285447055, 293357554223804370, 1007020265087773203, 701738899338647839}, {12276634770118212432, 14777553112070534726, 4541693432120405052, 9103025487888313415}, }, }, { { {5757832545805155636, 17609080533053427627, 13855662030602089892, 9622498683452213297}, {12281586442064581946, 610529441714948581, 14740357477019436626, 16983190111725558863}, }, { {8470173855499872166, 15915210069852758660, 12368087246231545517, 3867174158581293223}, {9082358201271846042, 16663463402757176964, 13740908859955866819, 7748969412274962298}, }, { {13375424826931892789, 8508645806391261552, 18359272328758476903, 16433208398005282080}, {13071423254987294580, 7999383023651164492, 14514701556577587750, 4848295889377673720}, }, { {1020519568493754982, 10467781020270669620, 17607771250627508499, 6620300538436640218}, {3858527175523168333, 13798129597334232823, 12495322651937391008, 3926713306087152023}, }, { {5116038770086590715, 9943789276328255827, 13715439407309914230, 4887040860130243503}, {18288477612078228131, 7640050573721350378, 14537362862524718973, 1658575506924200900}, }, { {18400486168653423966, 18026904540891591040, 2037921821724043966, 18010956304511658647}, {3751340308708032971, 16275459031633957091, 17177866831427164840, 1635431811339422016}, }, { {3897330996014812355, 14347736534650088376, 16862404119462964612, 12216005411754788835}, {11561909516001453735, 6261639657930189859, 9101978764314050064, 12280333151331067982}, }, { {910276569977357717, 2872810615152156462, 1942106118995935911, 8734004121981822024}, {13862118436432879698, 1912639548162720505, 13060137938875924732, 10642216911059510120}, }, { {5132232031613377471, 3053931945527415993, 2695169719602504430, 11855046366025891084}, {16462491222215366712, 16664416596202206835, 3077124688577987843, 7109495326459366311}, }, { {3858762384693274897, 7520194928987242278, 4496744297661574884, 16159343214247089321}, {6441167128044578145, 3604951495694157848, 3072075325567814428, 1964798869371174506}, }, { {13689578474000942304, 8998724267038772595, 3350174507425430811, 15015413657749135511}, {4848907595494161497, 7935644131326131098, 385849363817229511, 10087353746314516691}, }, { {6067717601858189468, 10438404859927821308, 9991403870358837471, 17728358586134467771}, {13476949968946830198, 7311235997042381570, 4429835371823736972, 17463216455983091974}, }, { {3446799583712077997, 6763499387263152328, 9231082163128267527, 7733182914440272884}, {17225092062157610409, 8163842076250628108, 14230171836718858439, 8195740716303697476}, }, { {57759226194841354, 14962480748390190557, 2047254208877381876, 2830450574091058648}, {14905486147404440754, 15792397930637469157, 16383409053580142957, 8686506861607761226}, }, { {11120178572139812895, 11534611317577597022, 10437856602660752754, 13925966850017814278}, {16776862023867799947, 17362554889424346260, 3408825299914455645, 2606150045870067742}, }, }, { { {12109367644744157376, 18037756988516427980, 814572839386760074, 913616818805172815}, {12974490864633240943, 5228203788953366069, 11458421156905635350, 14534725545904442520}, }, { {13918155529832261002, 12953608416498491778, 4285102780598248527, 15853935066983430239}, {2610351403194505517, 14905969693015035277, 12043976761492019990, 3883507340167876094}, }, { {5439519346074792827, 2176389624009388617, 2631244572392601375, 15049241095214776941}, {16292195309463965431, 4379169091046493311, 2454237863606964835, 16333960950959567989}, }, { {10994470105201067642, 16033352651464686189, 15774427704233149170, 4596106024708523955}, {8854068685612048031, 13529126595187822090, 11509928293490788309, 11620850709434334690}, }, { {267621988570094461, 10587206279243947181, 11593510291287574067, 14787400314862354894}, {4136983718443464652, 2976380359687256413, 11142324903811863489, 4610908641771667701}, }, { {296274281547444433, 3085587185113256560, 12609265193181717917, 4535801536028989527}, {3096496338675531142, 9292526016029159200, 13112825412047135381, 16663099831183411702}, }, { {2767353193349225715, 8712112934471091092, 608599382922156785, 4028449356066786979}, {17542394472389324402, 8680897831809226389, 7666317335732585298, 17261030852301003617}, }, { {2068337952936280662, 6856444059219131741, 17213926210819196459, 513413453513211652}, {5520465604253824995, 12970886588014924605, 12296275668437451137, 16808287251356954962}, }, { {15914937173048753781, 12510295026185206015, 15954705664179129326, 9689253582699600268}, {15356442010394775998, 2438265211465631320, 15141425278420483672, 17026865278332658671}, }, { {775118291486058191, 14811108570252044526, 1277462327112210144, 1303109520734915949}, {17662756477349124684, 3447822852149651619, 6150341860560710757, 13223916277431807977}, }, { {9324118164416603919, 86833914568469678, 16815316898277944489, 5015780480822908208}, {4077581079810359659, 6644887514971920354, 4892606269782662646, 12780428915404556278}, }, { {3413637388791433603, 16937929882486384885, 11215805046681294327, 11559398419268924015}, {11697258172757450737, 6137795229387768085, 3190984692021653574, 15347236891154706739}, }, { {12504195828868930633, 14311735968635225029, 3580069346315758668, 12909891866007218579}, {10780120525711488015, 17942431687417272891, 4966616543136223651, 11565637729828595342}, }, { {12013939709036934636, 4233656138400235608, 5744753585886244254, 7800398410233442143}, {15609887409465530711, 11633197710359969914, 4221051249637072360, 11317958694020095179}, }, { {5703670472856822602, 8043375474958283103, 2470834322231268196, 13020386017071254236}, {13795230438353673114, 9108571599173545401, 10145331563807416240, 17474439008571566321}, }, }, { { {16430555432520738762, 11225321696360643709, 11777973654353154098, 13133115227828884393}, {17678738157022850345, 1586660156856830642, 840647763693221003, 8645742354464326466}, }, { {3598736754916501501, 4827022662021197854, 8203180748141933720, 10283251600632599041}, {16186680658340956808, 15183393398087319142, 8714402370450665212, 13217902016653171217}, }, { {11743016372336018414, 6125536020759642301, 16563280170798047733, 14529052521060111789}, {15253502329174644388, 1556763737841306861, 3041940064290508531, 18020881359462953336}, }, { {2297585344913389180, 13965959247788377604, 11341378863608387800, 9890953382689640379}, {10443523266835246852, 9631856696811288063, 6944503116553031744, 10030824122780966395}, }, { {6636244234467769744, 18284390012667441869, 722929822219329257, 3274166388651987221}, {13177791837760949480, 2568122970128111127, 3477167651270374316, 11371867850093288299}, }, { {12876460969864886954, 4692925517843901006, 17390372170975588763, 14692578774429957295}, {1759864963511373267, 12016553435172103063, 13015881292003590351, 16187569590073958370}, }, { {5868176722765418764, 8429364877332796959, 7785756492654137899, 14975349488807886278}, {3272010964035218775, 8946396491617515063, 3774503492701710541, 2113917870331282160}, }, { {13276631120161396750, 16968574704982977753, 2376454925072971568, 9477134218094425043}, {13784622991820528988, 2074505569780291922, 14294803056569335889, 8759684036994631222}, }, { {9884417819806228161, 10473583853313294601, 14339795822328931094, 8504498283323826917}, {526127293629665058, 10891388783681447537, 4568472708151557518, 10369081088106148862}, }, { {14875690099724520068, 15708131372860771936, 15063351920655636623, 13673754555867312132}, {15920462627529593070, 9885706734937065436, 16823591115242423655, 1258777215756511827}, }, { {8202515950988182345, 14546423651242108828, 14227698061016162353, 10918615690964448766}, {17106085332738434415, 16355746637376756806, 990444867181428081, 15553043817355146246}, }, { {3823475181283510630, 10848691050793796395, 6491636971888772243, 757676231362735550}, {8973136455980928416, 6503381298194573307, 7834237673135397878, 10787325521157907075}, }, { {455211601892268020, 1552688795129565862, 8165081519906588268, 5446810663215253742}, {6750786745561416995, 6997284811902307211, 16012972729607911414, 9114458230677816387}, }, { {10975008541567105079, 3750365577590028809, 13516995106985748006, 8919511738051569176}, {12930984911878205493, 14293252788401143455, 1989517604536428154, 10167748824687611261}, }, { {4403033949751056724, 8371165401092074176, 4457099049748166877, 18160854660487137945}, {18090711188318162626, 2052332783995780991, 10990843822512572670, 8096670640545581193}, }, }, { { {987127652983079722, 6872208513691823695, 10110578719299008714, 16457381243184327116}, {10779072738879347999, 5965282398006505989, 18251577267494363268, 9321323379108563422}, }, { {6119049170407437179, 12938407708038792521, 10105420405825346383, 3416306788177016826}, {330648587825212481, 125568991290568141, 13857127346570918649, 4376080986981308805}, }, { {5930434126597036589, 11240994623469578584, 839346533006694594, 10015087329724081709}, {6285097815938761787, 17244606485954860090, 11523249727882012981, 7178451948850151803}, }, { {16733615335426327004, 14833564736134873977, 15736159435317472941, 17560193966711884894}, {4670172300306758374, 9477713670983496835, 14243955354032737980, 6459864769649694970}, }, { {16053517698989562256, 2069464650596796670, 18305730134729303993, 1090863611964008044}, {10595928817546105363, 11743183506441120484, 8584767248013363683, 9187452830514379903}, }, { {6938579711827578880, 16268282168771714072, 4567473305742437221, 754548046014059669}, {7773636946295303572, 8132380485366854656, 5054542590195827722, 6074347500754248128}, }, { {3955857908381474930, 11852678900999621852, 13783017203403417097, 13616745777931267488}, {13189924588414196918, 14519927295809952876, 9334100965942760501, 15172548734242885286}, }, { {4869852132020793901, 14921212823114724347, 14342559113353033349, 13336827701782657309}, {11168346789878684452, 9790480725902426052, 9171116079841529936, 9268902731763220711}, }, { {4417372365016540659, 17280138652899703220, 6650972319709075180, 11252221422799491438}, {6825784270383052414, 18308562203755695191, 4237445205082731447, 8485872406483449772}, }, { {11718726714045105993, 2624508790343569765, 5794111482300008213, 12819216567095091385}, {285329842793152354, 17257707863943097374, 16912487373614458842, 9501952033607497057}, }, { {13074643344738491288, 8505193022029238118, 9932652098552590323, 267408114280737600}, {14802861246220332716, 17506028737327736269, 15929083591675282371, 10937680132245212187}, }, { {16688733766460131050, 12777635326299184071, 7769405825716531061, 12435979606514844725}, {2767987141420672349, 6723940414217341603, 16114182069580717377, 4541113259200434040}, }, { {8506371389960537559, 18031198550689409305, 11510251852995503442, 1923472385053944821}, {6189904387119195613, 345664413118550356, 6439003191582953600, 18344385760549575361}, }, { {5320548958745018096, 8341561189829530680, 3327828110998403156, 17981346269177513223}, {14254804273025688074, 11111147827704077234, 9093333670517437191, 7272552282364063165}, }, { {7587268797387514088, 4402481408866840263, 11260815389095334885, 14391444701764948710}, {4224880318604689771, 2472148458660279030, 961218007313548745, 13826356220879831691}, }, }, { { {5733697799130763963, 962857090393715865, 10538932452511329419, 3413281437172590207}, {6635428480179771287, 4404718679994229138, 329074170931436370, 17746708206910902139}, }, { {179238781994802586, 9017860544212172426, 16179187983079961859, 1380105261896053495}, {6187003332254463653, 9896593306091975718, 17181949235068293496, 6820143159816507763}, }, { {4652378169433586070, 2069013165869224423, 13972912433480425078, 2248203233787863058}, {12819880125496785064, 12462800229583867169, 7969192387226362512, 15450728326339004590}, }, { {11156900805411912784, 1737275748212365168, 16993486692205800040, 12538938066475152524}, {13167476167764338790, 17373319366642541595, 6054831428930905282, 7118452124011953000}, }, { {15319323094268250368, 15751569639563379275, 9174762389399453601, 5359273060607997116}, {7548480167962649047, 4093535200286790152, 18255003581953064302, 17037929372197430710}, }, { {3640693116491518731, 9689920283410066894, 16070225083132083168, 13505008973802466003}, {750230942699692016, 15522838682331888368, 112268476925002814, 17491605970126192984}, }, { {16769567946241955549, 17099752525969374817, 14041401861628609700, 13883170585376164878}, {1568639950869924595, 7305902646691031157, 12536573783075304502, 12490145094151973568}, }, { {743288751022377974, 9226164090128370715, 17669221687181604232, 1117842260351396541}, {17697784451833850722, 14382209306891991103, 16951372733687268016, 188390802712613066}, }, { {7332583781810119624, 11974900502289827649, 9825039434151224666, 13612433455140779130}, {11167094757836568968, 148858902984029622, 4325547061862811500, 8439987427904092212}, }, { {9775040802880336170, 2183956155792599391, 10102475962557589963, 14902149990037881859}, {7528893974593517583, 18271333130592009124, 11812759747597590978, 3931581515688264350}, }, { {7368734173241076742, 12419301291748626639, 10534790951032501149, 16676926058266807225}, {13614593066288445663, 5547469267128540754, 5071513241190976074, 6206141439571986364}, }, { {13268209255833199938, 16633146482265079265, 6044233937395578074, 1733872861371247406}, {14239198956565602758, 4036306057099495106, 1778912298053970082, 6174082695927204648}, }, { {9563897475320169888, 3828463449263891363, 4522408683909966848, 10085044841903958270}, {15115863363467748291, 3921763467143122522, 3241611744432406503, 16149166019569794702}, }, { {13355027832202142668, 13259310595418810737, 16638224598838046396, 388655643128437049}, {6131988039969669992, 16758867465997134050, 793705445085763779, 16225736542798627427}, }, { {12060616483613851492, 11185023117529741833, 15286366164051065546, 5407795227432242447}, {3261413161331398298, 7182873809282605970, 2155509494582452911, 16998725707829879258}, }, }, { { {14380343880230315251, 6834909096379668102, 15975839936772635678, 7738230945027714388}, {7971648870467745046, 8320128435052726628, 10820026056424631461, 7058118462476293754}, }, { {11165438517321289842, 8661037418831619311, 4401480924846865713, 9355650368902126256}, {14352422544185763829, 12268031594529744663, 17607497268577344783, 12698954426769962214}, }, { {5091534986326281709, 8005812102849517353, 17366496686564185717, 3658878980438307796}, {8455810244524637026, 7649393961871195909, 8629386422022530934, 507133797409068858}, }, { {10098955144981013765, 4095621933458866623, 313357785962326778, 14880249056209398407}, {10605627454111004262, 7841561005378789988, 5015399193497762029, 5818383539901203899}, }, { {829322392873083372, 3459913121476606612, 4547714508342797986, 5801286056105229312}, {11591136160675314269, 17965845487226778560, 7022309609363885527, 5990586084398664157}, }, { {6288277991521986035, 12231480617236286340, 8633990423689180869, 13535190275290488690}, {13419223868164389899, 17622732596713666209, 10071779220640400024, 9451660464882303005}, }, { {11761084765182152401, 9226969173242076459, 5445719591917489914, 9371133174853825566}, {18381867235964583187, 17262888224001222346, 1934253649802391267, 3574888052111089863}, }, { {15270079546607712667, 8471883658965202468, 10333206241569264742, 7414741159725097798}, {7709713706668701850, 4461310100162632915, 10099194304024685274, 4760203118683828795}, }, { {784143359277603248, 15514589681861498400, 4131024411374659852, 3624433493936743696}, {3251402229976672212, 4649659622203715244, 926933500763282104, 6444675794782453444}, }, { {3756269038539504739, 7020323719189662644, 9035687928909659722, 10611580746254894906}, {6310976205075048332, 11776014447017145895, 18193543588427463707, 12941703752632419110}, }, { {13258346207952257162, 14737306929596267614, 139896257833059475, 5049568122463438631}, {12260461320589066027, 46497756452454082, 15185750105748824007, 3681406295924007900}, }, { {2833339165549332500, 18300762432878821923, 13251805801497937312, 17798840894981774941}, {10659715417364364943, 9241413425866019176, 9144746556705463526, 18018473193185776281}, }, { {7436336871105679313, 3718902224813103412, 8186181643677715434, 17182578567975462342}, {659724975715028710, 9425698860660002856, 796351253238186633, 18323943433898241577}, }, { {13500588337778130334, 15143039800006025480, 5471884014140775766, 8599189774825271733}, {14063442714998210193, 17130659899212878144, 2181888550891204616, 13594088124987533554}, }, { {16216101853436910766, 13302132899821289315, 8876723129840557561, 2026846371223185778}, {7753254296964005427, 16607365864296868674, 1800351426181020953, 12473523172043936884}, }, }, { { {14734199666349771791, 4159865781008764547, 4413963548436270853, 4489431649937855880}, {2824856157476907519, 5111945927271461159, 9825486821405155220, 7657332565522279292}, }, { {8798422177670065832, 1250388939918922012, 5145324733132743026, 3716299737175574168}, {14387202892738514375, 10255681359895407489, 8563822744122397080, 18430417713920116013}, }, { {7857399215288147901, 2593284350589299949, 10086687882410147351, 14407837835956327624}, {4469878646287387405, 6845712208092605310, 3019047164798827279, 2760591274816994522}, }, { {10930605176025081830, 5850835312463207607, 9603163404664606781, 15623771803942139684}, {4096748595672894276, 13060617166821837740, 11222939712741281346, 18445178894593253710}, }, { {7976335583419810431, 16568954524837045521, 5581116346602990350, 18369129318179031997}, {1930478946186473631, 14255806344323769850, 5302512325798050097, 10008570767203424472}, }, { {929118050943456183, 445163760697913504, 7208246135487165437, 13565354217377841149}, {3835063466770003968, 8214155842021576753, 2078717035803259674, 12502657820500987763}, }, { {17741004372977419914, 16320851348541958575, 11853008901690968430, 9954777341381304447}, {14274892887030297417, 10721339848307167540, 8731332510371325649, 13676383433520290197}, }, { {6251805914672095769, 1063060143452094078, 16647397170554915088, 15454955736319919321}, {11509235104607349098, 8441647766544589978, 956121464218389431, 10752793912033728149}, }, { {14879603883666664508, 11158422912437249402, 8667988090392051507, 12702057193823135575}, {13234479167199208223, 13752955092077643608, 1117550756888145931, 1184967682872965330}, }, { {7004802666964716824, 395433501626287206, 16674151908279399004, 2279551165611331131}, {18032555740803644790, 3573953642384243989, 9892480504006025100, 2397759375236735831}, }, { {15032723931727013905, 4176673226777913017, 7270920367565154969, 8867675920919464620}, {8174119413251699506, 15030539680120439131, 12325981936900309518, 2932283844656871802}, }, { {3227890727136855788, 10772277744280338071, 10065219931092397730, 17233706446636791341}, {1372997838851103811, 14430098741859995846, 3290287064497023581, 13054133915521430696}, }, { {3404625123065318735, 11884832674715736469, 16513753127836546671, 2355202492840722899}, {2182039060332057784, 17942518439766613327, 16731345075928062112, 5501869092504492134}, }, { {15704211025163561149, 14596679078416770266, 10262177146233936833, 12443005669252298316}, {1541294166390346144, 2952804996209068760, 15358481016273272880, 1321729586231860999}, }, { {6862865331233391228, 15106279167311639122, 3283008666555627541, 13405610967904725343}, {9845239597399801983, 10764942720093673542, 6506992344666983370, 2483131164245259278}, }, }, { { {9844707592410952215, 8167497709587672711, 18115463401502884199, 8471563375691441535}, {17525405040226359165, 2460181803833371342, 3375780580907171205, 3024376384135966552}, }, { {18138724984190926809, 4154767406604950048, 5209478936276366634, 15469512148904762872}, {3613429290324777670, 12631812917445459751, 10280179062385049041, 19656860716268566}, }, { {14203862032167128161, 13470939927320077756, 10327441827790615277, 10318573137694660185}, {14560780313347476436, 17088464982837309355, 733937949060316950, 14069325810788446179}, }, { {12030193727051241373, 13981191132445467472, 18205169646206905593, 12162181194046583886}, {10929925499200074058, 15291772758590352491, 8452344520852919320, 8199821440451878776}, }, { {702956275289752726, 11856189935311796245, 14185745521831658392, 4370665693013677718}, {4339320942948136612, 7422618440224759582, 871840009976682819, 1758213746931263134}, }, { {7463305936638691553, 10552402742907536443, 9732741351132553899, 194397927117005699}, {12837197785265289115, 4412933472643099429, 12440864981406580998, 17072316007921211511}, }, { {5025653014579399483, 6266285559889618786, 17667439302823084142, 8837073500207072384}, {16230880878690171580, 8966359704103918073, 2671625161783975934, 5761959268140569579}, }, { {9876482463501409337, 17331045017548147052, 17542726936580732548, 8299195336372136083}, {12891767721269002608, 14062358772374813347, 4165127680073507756, 16350672737379495431}, }, { {15987859092221739938, 10999006767011320329, 16931834873460681704, 40989027820989117}, {16439290771012023473, 6900965556474667785, 7253680936177336810, 17240235510851599487}, }, { {4114449005477323279, 11333071244606712260, 5639227616302034307, 15107257128889549417}, {5046122977641767311, 17558812465185003134, 18137671581165086239, 4382776603153058089}, }, { {18024760665596162063, 4581156045659391508, 968287218068232238, 9228777525067749703}, {17309990917327276325, 7114941925430814300, 16735731670154258613, 6290532662018771504}, }, { {7595271959296927018, 15286771623821390629, 980612661413312852, 5738158184597378995}, {6972117550390447038, 6246497134979772260, 2935831443692029059, 12837371529160496660}, }, { {10790135298802805255, 7259368218310211690, 12050916808246223984, 2030323364779525994}, {12824594050397534312, 4098150364864727064, 15604500991562385767, 2831443658783115116}, }, { {6469454686530052235, 2594644969515545140, 5284951626835069400, 14441180041267617906}, {16001664398759990060, 13049178223054879255, 3268931999230968043, 3072360434503949622}, }, { {4565530397071857053, 857029374864691712, 15955478286869670604, 17781316921869181573}, {16457191703043818907, 5989113593649065091, 4425872606756635499, 4532030700973621003}, }, }, { { {2317249352525369754, 15030797481081533168, 12237590576308284360, 15660076992611440873}, {11341015819700735887, 8280257602754365719, 9212501234696283343, 9673375202141178099}, }, { {9762534010701623728, 15349113802811029024, 8305297169667044246, 18013018210154476198}, {18414050009163335761, 2190126859433916996, 5444481274452218807, 13415988647365667724}, }, { {11641532224340210206, 71261001011952801, 2321745415903209397, 6595984444855093239}, {10341299657770272718, 11529878689049370930, 14381510695605158203, 6869272773579747365}, }, { {1073778278665127828, 301289653767944933, 11482324780950168317, 10626716202328004967}, {7258024014655363102, 12597648090458567878, 2617914106162603499, 12324652644266476584}, }, { {13957732574177025801, 1100344278733481546, 12156946932617203965, 2007756425747006287}, {16454508610548016441, 18058668363064769203, 15619001054652658323, 1201476243910931863}, }, { {16341334571424533804, 4657494880554316004, 18092783076286521475, 19832895869027143}, {8667365497283429486, 11501953273367138162, 5832487631687776985, 664754160781757174}, }, { {13524719886605363170, 11553593166914861649, 12034020205580665813, 985175984881624722}, {11040631342644137311, 12107496606245418129, 7328748654066365904, 14741972847454326011}, }, { {12828567388121500364, 2264959796189127526, 6222205589523394088, 8827682270015065013}, {2619170858745203321, 14835030117099398518, 5960028394532808010, 2233397097850889639}, }, { {3879642723354138203, 5439355518658448857, 14194463322012776543, 14947367699252203702}, {11497182458118153903, 16347396442451668378, 16912659817226286851, 6972297461053626970}, }, { {14953681219966965709, 18116944572750863844, 16774540053916392198, 6518998682436778354}, {11207035159486725904, 17279266785091386830, 15987732680339874714, 4953887381255790681}, }, { {18128055290529398111, 4838636144867908799, 17655818333374840693, 5013823741985131317}, {1920449774281311783, 13898340137609808546, 861099289958274037, 12441596565887895930}, }, { {7244015348755525626, 13520825180887535513, 9165067445392785660, 9250553550156732893}, {15663564389384259196, 5724018088820370997, 11379531752316746866, 17687565409319417941}, }, { {11050714794366707475, 12230144450501707996, 12363862313107363407, 6348205119671766380}, {14263471584626838352, 7350100163762375926, 1902788311165167298, 11691126042005505984}, }, { {3948847772791576201, 11933738159609952054, 15749315384347059669, 8831922078851474178}, {8463496071867925621, 12756218686011120865, 4691766390469398064, 5252134452066688477}, }, { {4880806069791899809, 11099088460364672063, 12627384861893315861, 4239079797011518662}, {14560690935803003234, 15267325636353169132, 16919582304973803583, 10073876067858458517}, }, }, { { {15695265447782578013, 15506558718447241194, 12341861439298989232, 18400958156300100845}, {13704811286967591150, 5802260047239067846, 3266013253411255445, 9892957742319181954}, }, { {6053458788987550519, 3243549259991905443, 17990025476026266205, 3918149716414968130}, {562225565996136148, 12175287017902713154, 16317970834262634990, 5431198806775607012}, }, { {15123186170178367264, 3054913246068400920, 8130663466272395280, 2852812622149318730}, {6747630551931917110, 18302049774259156971, 3663865061939346221, 12340091610704678811}, }, { {17453312277789785069, 1148609799196055657, 5931758962926317381, 5297597381576544508}, {9136842287749269744, 3007653173299649609, 12364677607049679091, 3656932227466449489}, }, { {17732801126130995365, 16093023291975796560, 17028512234142609413, 6293028118993952199}, {4019599708379609715, 3557632583507755601, 16737140015288442165, 7041678499288317736}, }, { {5187842645752673199, 14914432544387315508, 4944360914161982641, 4177329533692612281}, {18423887817846407126, 11935898134550505219, 9191754399457615042, 962223885189306707}, }, { {5467152559317256227, 13407023128339380091, 656806207084558176, 10823228592509573890}, {282802378108427873, 13003319652664166176, 11501612671901244594, 8595770155487539951}, }, { {1805255869285898834, 11676967700876044626, 3486630203654875772, 8366336693945605431}, {17874084888474647879, 8803709150655606891, 680993178667234696, 1603785777136148315}, }, { {3637712241808318043, 1673622542455477465, 14468899013751477571, 6607241816357171779}, {2332200248940843815, 14077155355848738174, 17298155509321457563, 13624623885136011130}, }, { {12550073596584561722, 13898852145577133829, 31360866049197404, 12629522544897401454}, {4563446134761510332, 7272813487383198495, 16767195814334178362, 13600498026689482359}, }, { {5170414136067325373, 10875290278133558518, 7331268231382198947, 4082234313337835514}, {11725295114019619895, 6488017511603508543, 11399466652931338200, 2898113599278666684}, }, { {7553418756944942759, 2324485560009697358, 16004009784734101843, 8345371056076551939}, {7377284629098981027, 11049718262343754276, 8021605820736410979, 8175349759714152494}, }, { {805625092558946929, 11996029844853502332, 1725029464967101849, 8189609560660709539}, {10396089572662865065, 1756007811373736605, 7645529329516777410, 2608132938055260111}, }, { {17014595621244604813, 1574499958190108567, 8684546755761322906, 9997538531915911005}, {5652402150243592363, 6315865356369667235, 8687115108443972047, 12369176255146729475}, }, { {5117004045853299762, 2238407612548002914, 12392667457861900490, 10614312910576266709}, {6446577503758597410, 3767883614425995197, 17954966454260719539, 5233322901463099}, }, }, { { {1081257522368061155, 16144982029632101790, 2280210790959566458, 5000326950136078873}, {10441086845859171982, 5717080014740953823, 16816253740467637151, 5185838557034755093}, }, { {3897734650128449985, 3892478283047854402, 153850176068596076, 4448963435449755938}, {9911011406822436713, 6379744721342779297, 360324666931028426, 8002086405015565067}, }, { {13662666854424521459, 17028614494600252018, 13372166182804100759, 8978661571842967509}, {1689945315009228820, 9997133634912151808, 4070075534875432478, 5780712439158341418}, }, { {18068291112584812890, 10288580446655316879, 16866690514199445805, 15458664010538199871}, {17175925202246173890, 12208778610361755998, 927739404697616036, 10330183209424493139}, }, { {4422872630455196261, 14815650254807917367, 9426346157598724768, 17764302665164113296}, {9474027272970951461, 3048886202121388617, 7073604597785890399, 9516006646305083675}, }, { {16541317581647968302, 7221753201217091047, 554497992080233562, 12743131795939254731}, {6113032707000257613, 4448176364247161206, 738044254484725063, 3096942233684051465}, }, { {2801392933730991479, 15502003900939246745, 11340323610824656109, 13690394827169426680}, {2298413291804124677, 12243772219106809119, 9550327342593445260, 18354548835264437008}, }, { {17095781462759061506, 13984950766342782369, 7038608479806172868, 7073471193601880894}, {9212126909381119712, 15865851343492198107, 3874039137971369196, 15366505242302572319}, }, { {10476508037395688256, 5905562397524931472, 15147896444621280595, 3856601647293477321}, {4204909177546012159, 17515684210872904454, 12561834979880779760, 6477848309789627185}, }, { {3226022509034031128, 5771385963704757771, 17861700165696478115, 14976034400726774156}, {17945959497662269352, 6322288130414861016, 3008853024335853994, 5599925939427067989}, }, { {15408448007738805625, 3855259080280453396, 11776434265478354726, 11784885919111239520}, {8108981861486003291, 16553896039002150783, 5694423121092647200, 16414563259092889693}, }, { {3235058267792568155, 8030551941244615429, 12851363585510555514, 9786973022560471711}, {4901414898060251968, 13240438628487941170, 4707852389766057435, 6503805666511566831}, }, { {1178073204986944698, 10685133932326477495, 11710162005310407793, 11019188929725710305}, {16244991946372165706, 3272168887117805467, 15045747299972144833, 8155681972478369649}, }, { {12308450869393289693, 14268794937571237354, 9141189178824378983, 11605207657904000518}, {17071770108549330148, 11045960524457021256, 13807710432855107212, 8427718050873363613}, }, { {16762196363426636910, 7316863360113205703, 7937998445095491508, 3946557199536080470}, {16019910399697645039, 11522845950519380293, 2362453023191035102, 6547077716792082654}, }, }, { { {5218985848865375996, 5835476376320976237, 9096499658845542933, 8952489298840360492}, {16605895184424459659, 505731104315931813, 17784248872812610986, 4151555707609374291}, }, { {4963953120977916566, 6585250545846301109, 4490972754776862709, 10674499592300479120}, {17494988318349821345, 1814042777264686189, 8938395423478059768, 9062966010283426056}, }, { {3879469818714011415, 11493820457829716643, 10091807027724827301, 5032134849078736052}, {18015749204009276046, 9667758283246223357, 4629693773460610802, 3807196436109718946}, }, { {5724217930909760221, 15420221591912350415, 9910465013739250802, 12511683773790779491}, {2841532862707547306, 16614426471009646589, 407574220261191228, 17422057170120224031}, }, { {3725101809714764432, 2995111022132376824, 9338883729618021504, 8824923738291347476}, {3745497072215538317, 3576446898425965872, 2350077748663612773, 15793255155885543355}, }, { {12904339001067417585, 1972265247859388742, 8908590936681392405, 10320719400504224158}, {8298368064038407143, 2105745729886511647, 16509751074757847095, 15156289751671616565}, }, { {885617946245226760, 17871561572095909264, 16413308527330544768, 2938750343525834336}, {6332736376778563648, 16772687696658236231, 9760470695949399178, 17420556823805232882}, }, { {4407657041250297528, 13832960959347315977, 15056546959967740939, 4350443362134191429}, {8013419913016572733, 8888684099801298477, 15401479253620745715, 18279947201669400847}, }, { {16774767206504477529, 15784248755460218800, 890363416232172440, 6798249980336291014}, {1295939576916968887, 14501516576359061383, 5181286196215569291, 8884842683907072200}, }, { {12906144535917740163, 4179201185048577793, 8949647323841299627, 2168773816567792706}, {1715683170634778607, 9901501903322086192, 7624633731287546358, 10530124063631858009}, }, { {14199956317346734484, 13250211595320054421, 18197952479293091552, 16161313407818957084}, {17435507292968186894, 6560268436714668609, 1299607057816966726, 8157462320016248727}, }, { {3603583288706717651, 17387128326071547512, 17907604816622771553, 17853094381965037384}, {12273843852205811233, 13840584476006398280, 2018654168596055410, 11549248055135584644}, }, { {4742377140579111706, 845465928037625085, 12028953960657292824, 16438644767032965255}, {17377088622232632294, 1631558517096568450, 11363064014018667511, 6006029335296807862}, }, { {8877393780281438935, 9848923171251074575, 1554975198005028643, 2251034043951525516}, {9696558687758873050, 3889942916226212472, 8326933892612496812, 7463785348361544799}, }, { {4205364996189816688, 5453611962777060261, 16993840011943171053, 11689161310506207011}, {16699173739044458906, 6254168288000491517, 12642281218300963313, 10028950653175051753}, }, }, { { {8784043285714375740, 8483257759279461889, 8789745728267363600, 1770019616739251654}, {15992936863339206154, 10037038012062884956, 15197544864945402661, 9615747158586711429}, }, { {9583737883674400333, 12279877754802111101, 8296198976379850969, 17778859909846088251}, {3401986641240187301, 1525831644595056632, 1849003687033449918, 8702493044913179195}, }, { {18423170064697770279, 12693387071620743675, 7398701556189346968, 2779682216903406718}, {12703629940499916779, 6358598532389273114, 8683512038509439374, 15415938252666293255}, }, { {8408419572923862476, 5066733120953500019, 926242532005776114, 6301489109130024811}, {3285079390283344806, 1685054835664548935, 7740622190510199342, 9561507292862134371}, }, { {13698695174800826869, 10442832251048252285, 10672604962207744524, 14485711676978308040}, {16947216143812808464, 8342189264337602603, 3837253281927274344, 8331789856935110934}, }, { {4627808394696681034, 6174000022702321214, 15351247319787348909, 1371147458593240691}, {10651965436787680331, 2998319090323362997, 17592419471314886417, 11874181791118522207}, }, { {524165018444839759, 3157588572894920951, 17599692088379947784, 1421537803477597699}, {2902517390503550285, 7440776657136679901, 17263207614729765269, 16928425260420958311}, }, { {2878166099891431311, 5056053391262430293, 10345032411278802027, 13214556496570163981}, {17698482058276194679, 2441850938900527637, 1314061001345252336, 6263402014353842038}, }, { {8487436533858443496, 12386798851261442113, 3224748875345095424, 16166568617729909099}, {2213369110503306004, 6246347469485852131, 3129440554298978074, 605269941184323483}, }, { {3177531230451277512, 11022989490494865721, 8321856985295555401, 14727273563873821327}, {876865438755954294, 14139765236890058248, 6880705719513638354, 8678887646434118325}, }, { {16896703203004244996, 11377226897030111200, 2302364246994590389, 4499255394192625779}, {1906858144627445384, 2670515414718439880, 868537809054295101, 7535366755622172814}, }, { {339769604981749608, 12384581172556225075, 2596838235904096350, 5684069910326796630}, {913125548148611907, 1661497269948077623, 2892028918424825190, 9220412792897768138}, }, { {14754959387565938441, 1023838193204581133, 13599978343236540433, 8323909593307920217}, {3852032956982813055, 7526785533690696419, 8993798556223495105, 18140648187477079959}, }, { {11692087196810962506, 1328079167955601379, 1664008958165329504, 18063501818261063470}, {2861243404839114859, 13702578580056324034, 16781565866279299035, 1524194541633674171}, }, { {8267721299596412251, 273633183929630283, 17164190306640434032, 16332882679719778825}, {4663567915067622493, 15521151801790569253, 7273215397645141911, 2324445691280731636}, }, }, } }