From cb23bfcade444faf4bac15dd26053ea1da742a35 Mon Sep 17 00:00:00 2001 From: Nicholas Ward Date: Wed, 19 Apr 2023 14:55:19 -0700 Subject: [PATCH] check for special cases and align with yellow paper --- evm/src/cpu/kernel/aggregator.rs | 1 + evm/src/cpu/kernel/asm/bignum/isone.asm | 35 +++ evm/src/cpu/kernel/asm/bignum/modexp.asm | 64 ++++- evm/src/cpu/kernel/tests/bignum/mod.rs | 15 +- .../tests/bignum/test_data/modexp_outputs | 115 +++++++++ .../bignum/test_data/modexp_outputs_full | 242 ++++++++++++++++++ 6 files changed, 456 insertions(+), 16 deletions(-) create mode 100644 evm/src/cpu/kernel/asm/bignum/isone.asm diff --git a/evm/src/cpu/kernel/aggregator.rs b/evm/src/cpu/kernel/aggregator.rs index c529f5cf..63e63aae 100644 --- a/evm/src/cpu/kernel/aggregator.rs +++ b/evm/src/cpu/kernel/aggregator.rs @@ -16,6 +16,7 @@ pub(crate) fn combined_kernel() -> Kernel { include_str!("asm/bignum/add.asm"), include_str!("asm/bignum/addmul.asm"), include_str!("asm/bignum/cmp.asm"), + include_str!("asm/bignum/isone.asm"), include_str!("asm/bignum/iszero.asm"), include_str!("asm/bignum/modexp.asm"), include_str!("asm/bignum/modmul.asm"), diff --git a/evm/src/cpu/kernel/asm/bignum/isone.asm b/evm/src/cpu/kernel/asm/bignum/isone.asm new file mode 100644 index 00000000..69b2bfad --- /dev/null +++ b/evm/src/cpu/kernel/asm/bignum/isone.asm @@ -0,0 +1,35 @@ +// Arithmetic on little-endian integers represented with 128-bit limbs. +// All integers must be under a given length bound, and are padded with leading zeroes. + +global isone_bignum: + // stack: len, start_loc, retdest + DUP1 + // stack: len, len, start_loc, retdest + ISZERO + %jumpi(eqzero) + // stack: len, start_loc, retdest + DUP2 + // stack: start_loc, len, start_loc, retdest + %mload_kernel_general + // stack: start_val, len, start_loc, retdest + %eq_const(1) + %jumpi(starts_with_one) + // Does not start with one, so not equal to one. + // stack: len, start_loc, retdest + %stack (vals: 2, retdest) -> (retdest, 0) + JUMP +eqzero: + // Is zero, so not equal to one. + // stack: cur_loc, end_loc, retdest + %stack (vals: 2, retdest) -> (retdest, 0) + // stack: retdest, 0 + JUMP +starts_with_one: + // Starts with one, so check that the remaining limbs are zero. + // stack: len, start_loc, retdest + %decrement + SWAP1 + %increment + SWAP1 + // stack: len-1, start_loc+1, retdest + %jump(iszero_bignum) diff --git a/evm/src/cpu/kernel/asm/bignum/modexp.asm b/evm/src/cpu/kernel/asm/bignum/modexp.asm index a994b12b..eab7e347 100644 --- a/evm/src/cpu/kernel/asm/bignum/modexp.asm +++ b/evm/src/cpu/kernel/asm/bignum/modexp.asm @@ -8,10 +8,54 @@ // All of scratch_2..scratch_5 must have size 2 * length and be initialized with zeroes. // Also, scratch_2..scratch_5 must be CONSECUTIVE in memory. global modexp_bignum: - // stack: len, b_loc, e_loc, m_loc, out_loc, s1 (=scratch_1), s2, s3, s4, s5, retdest - DUP1 - ISZERO - %jumpi(len_zero) + // Special input cases: + + // (1) Modulus is zero (also covers len=0 case). + PUSH modulus_zero_return + // stack: modulus_zero_return, len, b_loc, e_loc, m_loc, out_loc, s1, s2, s3, s4, s5, retdest + DUP5 + // stack: m_loc, modulus_zero_return, len, b_loc, e_loc, m_loc, out_loc, s1, s2, s3, s4, s5, retdest + DUP3 + // stack: len, m_loc, modulus_zero_return, len, b_loc, e_loc, m_loc, out_loc, s1, s2, s3, s4, s5, retdest + %jump(iszero_bignum) +modulus_zero_return: + // stack: m==0, len, b_loc, e_loc, m_loc, out_loc, s1, s2, s3, s4, s5, retdest + %jumpi(modulus_zero_or_one) + + // (2) Modulus is one. + PUSH modulus_one_return + // stack: modulus_one_return, len, b_loc, e_loc, m_loc, out_loc, s1, s2, s3, s4, s5, retdest + DUP5 + // stack: m_loc, modulus_one_return, len, b_loc, e_loc, m_loc, out_loc, s1, s2, s3, s4, s5, retdest + DUP3 + // stack: len, m_loc, modulus_one_return, len, b_loc, e_loc, m_loc, out_loc, s1, s2, s3, s4, s5, retdest + %jump(isone_bignum) +modulus_one_return: + // stack: m==1, len, b_loc, e_loc, m_loc, out_loc, s1, s2, s3, s4, s5, retdest + %jumpi(modulus_zero_or_one) + + // (3) Both b and e are zero. + PUSH b_zero_return + // stack: b_zero_return, len, b_loc, e_loc, m_loc, out_loc, s1, s2, s3, s4, s5, retdest + DUP3 + // stack: b_loc, b_zero_return, len, b_loc, e_loc, m_loc, out_loc, s1, s2, s3, s4, s5, retdest + DUP3 + // stack: len, b_loc, b_zero_return, len, b_loc, e_loc, m_loc, out_loc, s1, s2, s3, s4, s5, retdest + %jump(iszero_bignum) +b_zero_return: + // stack: b==0, len, b_loc, e_loc, m_loc, out_loc, s1, s2, s3, s4, s5, retdest + PUSH e_zero_return + // stack: e_zero_return, b==0, len, b_loc, e_loc, m_loc, out_loc, s1, s2, s3, s4, s5, retdest + DUP5 + // stack: e_loc, e_zero_return, b==0, len, b_loc, e_loc, m_loc, out_loc, s1, s2, s3, s4, s5, retdest + DUP4 + // stack: len, e_loc, e_zero_return, b==0, len, b_loc, e_loc, m_loc, out_loc, s1, s2, s3, s4, s5, retdest + %jump(iszero_bignum) +e_zero_return: + // stack: e==0, b==0, len, b_loc, e_loc, m_loc, out_loc, s1, s2, s3, s4, s5, retdest + MUL // logical and + %jumpi(b_and_e_zero) + // We store the repeated-squares accumulator x_i in scratch_1, starting with x_0 := b. DUP1 @@ -128,8 +172,18 @@ modexp_iszero_return: // stack: e != 0, len, b_loc, e_loc, m_loc, out_loc, s1, s2, s3, s4, s5, retdest %jumpi(modexp_loop) // end of modexp_loop -len_zero: +modulus_zero_or_one: + // If modulus is zero or one, return 0. // stack: len, b_loc, e_loc, m_loc, out_loc, s1, s2, s3, s4, s5, retdest %pop10 // stack: retdest JUMP +b_and_e_zero: + // If base and exponent are zero (and modulus > 1), return 1. + // stack: len, b_loc, e_loc, m_loc, out_loc, s1, s2, s3, s4, s5, retdest + PUSH 1 + DUP6 + %mstore_kernel_general + %pop10 + // stack: retdest + JUMP \ No newline at end of file diff --git a/evm/src/cpu/kernel/tests/bignum/mod.rs b/evm/src/cpu/kernel/tests/bignum/mod.rs index 3764ffa5..86fee346 100644 --- a/evm/src/cpu/kernel/tests/bignum/mod.rs +++ b/evm/src/cpu/kernel/tests/bignum/mod.rs @@ -283,7 +283,7 @@ fn test_modexp_bignum(b: BigUint, e: BigUint, m: BigUint, expected_output: BigUi let scratch_3 = 7 * len; // size 2*len let scratch_4 = 9 * len; // size 2*len let scratch_5 = 11 * len; // size 2*len - let (new_memory, _new_stack) = run_test( + let (mut new_memory, _new_stack) = run_test( "modexp_bignum", memory, vec![ @@ -299,6 +299,7 @@ fn test_modexp_bignum(b: BigUint, e: BigUint, m: BigUint, expected_output: BigUi scratch_5.into(), ], )?; + new_memory.resize(new_memory.len().max(output_start_loc + output_len), 0.into()); let output = mem_vec_to_biguint(&new_memory[output_start_loc..output_start_loc + output_len]); assert_eq!(output, expected_output); @@ -535,11 +536,7 @@ fn test_modexp_bignum_all() -> Result<()> { for b in &inputs[..9] { // Include only smaller exponents, to keep tests from becoming too slow. for e in &inputs[..6] { - if b.is_zero() && e.is_zero() { - continue; - } - // For m, skip 0 and 1. - for m in &inputs[2..9] { + for m in &inputs[..9] { let output = modexp_outputs_iter.next().unwrap(); test_modexp_bignum(b.clone(), e.clone(), m.clone(), output)?; } @@ -581,11 +578,7 @@ fn test_modexp_bignum_all_full() -> Result<()> { for b in &inputs { // Include only smaller exponents, to keep tests from becoming too slow. for e in &inputs[..7] { - if b.is_zero() && e.is_zero() { - continue; - } - // For m, skip 0 and 1. - for m in &inputs[2..] { + for m in &inputs { let output = modexp_outputs_iter.next().unwrap(); test_modexp_bignum(b.clone(), e.clone(), m.clone(), output)?; } diff --git a/evm/src/cpu/kernel/tests/bignum/test_data/modexp_outputs b/evm/src/cpu/kernel/tests/bignum/test_data/modexp_outputs index 071cb222..e744abfe 100644 --- a/evm/src/cpu/kernel/tests/bignum/test_data/modexp_outputs +++ b/evm/src/cpu/kernel/tests/bignum/test_data/modexp_outputs @@ -1,5 +1,26 @@ 0 0 +1 +1 +1 +1 +1 +1 +1 +0 +0 +0 +0 +0 +0 +0 +0 +0 +0 +0 +0 +0 +0 0 0 0 @@ -40,6 +61,8 @@ 1 1 1 +0 +0 1 1 1 @@ -47,6 +70,8 @@ 1 1 1 +0 +0 1 1 1 @@ -54,6 +79,8 @@ 1 1 1 +0 +0 1 1 1 @@ -61,6 +88,8 @@ 1 1 1 +0 +0 1 1 1 @@ -68,6 +97,8 @@ 1 1 1 +0 +0 1 1 1 @@ -75,6 +106,8 @@ 1 1 1 +0 +0 1 1 1 @@ -83,6 +116,8 @@ 1 1 0 +0 +0 21 21 21 @@ -90,6 +125,8 @@ 21 21 0 +0 +0 309 5842587018385982521381124421 5842587018385982521381124421 @@ -97,6 +134,8 @@ 5842587018385982521381124421 5842587018385982521381124421 0 +0 +0 169 1232997389102826268860991065105 18618193491623480687965778108529490131 @@ -104,6 +143,8 @@ 28522822713801268588036943398667804191745915805046109428618723188679866502161 31706899640538131462557950751123123992423743151283050819612655945089903928361 0 +0 +0 501 163832143645086957897416441857 130403518609156362105805396406315208861 @@ -111,12 +152,16 @@ 89705076639198166424843052158202309145112564081865083245095301525986942648321 161580799869287829122678259656507339171378764462605635944908315838074450225541 0 +0 +0 361 349605011617414033395053481789 245857331472368514819046594566028058751 16196520401421423385786338368215415982698439852342927927980513551465948892989 25448670785549471741073803593965176921136178751681542787519830340854942519101 208746275861806526568796522022506082930013066308764940459575687169043802837726 +0 +0 1 1 1 @@ -124,6 +169,8 @@ 1 1 1 +0 +0 5 0 908 @@ -131,6 +178,8 @@ 908 908 908 +0 +0 20 0 444539926163396060618371891200 @@ -138,6 +187,8 @@ 131765835135960660552807451524089028158233849469678584969822208 131765835135960660552807451524089028158233849469678584969822208 131765835135960660552807451524089028158233849469678584969822208 +0 +0 4 0 458477653689271929750159360000 @@ -145,6 +196,8 @@ 39622934661811821553763744630506213929196932096668444518123439737845028225024 11662422067291787594026815204283885427659195788081136348012846295902003920896 196850617542733211416217278410575369737876420896781853126317893743949824168141 +0 +0 16 0 491348889049443876707510517760 @@ -152,6 +205,8 @@ 12836249910756408599207651670402691470189457253048470571408310293697570799616 89957821137359056393801843026144645477720961240687064113356371611922523488256 186628143002875342454100646575613221588500043779267673627434610024013060416436 +0 +0 20 0 995158961158262555374402928640 @@ -159,6 +214,8 @@ 6919681730812989105961680682293875199438003339556752544938537021004054528000 111415284413375575279069783743044849713138799010818236990829948938800785784832 2671371225382503991550810752302543668307773911036096851249073522360117594907 +0 +0 1 1 1 @@ -166,6 +223,8 @@ 1 1 1 +0 +0 1 160 0 @@ -173,6 +232,8 @@ 1267650597867046177654064545792 1267650597867046177654064545792 1267650597867046177654064545792 +0 +0 1 312 0 @@ -180,6 +241,8 @@ 43179616752915754651548109831528453372307533305539601542967080491130306953216 17577324162381258630474635337405333643146914114762554675606397827067886436352 24302243256145833886805174285503224697924343810958724170274784478667392432942 +0 +0 1 104 0 @@ -187,6 +250,8 @@ 55518020932873470218319288289245721296726991639699521321270937184899723952128 112628490590563884833405386435939751658584809004247538619207709896844158959616 5922841801814876533914360761483372163277450765372489528717658348886181069591 +0 +0 1 820 0 @@ -194,6 +259,8 @@ 30966933304654384056562480896427815565136977421206545694335698204395214733312 82119970857858981914834549178898483174623261423734314091990446749364630061056 17335345295685259772267515166522970642719156121663286480022840319361908909536 +0 +0 1 556 0 @@ -201,6 +268,8 @@ 26118405364148793884093212339004353321168506206731428575114534916913543249920 57371932048380839143645765917598495087491748880125189544237269309841806983168 21907868082798520198592834325003250611892002016702940923441999346792832444518 +0 +0 1 1 1 @@ -208,6 +277,8 @@ 1 1 1 +0 +0 3 827 633825295391748780828659810303 @@ -215,6 +286,8 @@ 340282366920938463463374607431768211455 340282366920938463463374607431768211455 340282366920938463463374607431768211455 +0 +0 6 883 1151402479073526177054249189375 @@ -222,6 +295,8 @@ 46236487016914252810359942606653565611806735985113905556189104784313205915647 10141063897320778511376522974043618320650062159021091584566880470490557710335 78190442020038551706136595408815344419350554279639655464038299447602848702950 +0 +0 9 257 148913685258606776538030407681 @@ -229,6 +304,8 @@ 15737081446634197346448238543290111090647984834849920547563580853437339795457 17796349368611048392083206935955698801625485975991150886750776582747396767745 87042183171820405426823900509602437553981065786933287231059322442248803404950 +0 +0 18 33 501502021891302937219905355777 @@ -236,6 +313,8 @@ 3229040287801688211109538153528907359157521678782897421936034456493449281537 43674379635609232592374808570316762057057239464140599073454048485319171375105 206574116687852983759940670284339037133974987477578735810964428283965343595925 +0 +0 6 515 140262897948655524553823354879 @@ -243,6 +322,8 @@ 51292049059523452610506083592610024599583816874803914322375719502751486443519 27936184963965071766976378876421641742859886164075202272073313001233759338495 13449010363647692703508349667378797433516756740069562881064298383864033242575 +0 +0 1 1 1 @@ -250,6 +331,8 @@ 1 1 1 +0 +0 13 120 145483342680740634262446800896 @@ -257,6 +340,8 @@ 0 57896044618658097611351864738157061705262361561497619362091104892532012613632 57896044618658097611351864738157061705262361561497619362091104892532012613632 +0 +0 13 588 242981830122332196998498746368 @@ -264,6 +349,8 @@ 0 110892457497452005403581430237946183767136503117162566153549053970000476372992 189155222634588421211288058609537932434095476696578287565656039885444474631257 +0 +0 1 40 447233008701926529533965500416 @@ -271,6 +358,8 @@ 0 80370191198978495857548168233658974342470488197481929432131097469881528877056 57378722967569161858531872288267370459698099854972954033385237027489681458401 +0 +0 1 412 442771250107780063583096799232 @@ -278,6 +367,8 @@ 0 83509925808939041219467836468971382374645162274742749382395185649452566183936 130737775035935455315064283330339683168756409303633081183629254780389959201676 +0 +0 13 172 791101013288846030830655504384 @@ -285,6 +376,8 @@ 0 16620630689278877851873420518904814002737213549417357007588250730268341567488 135713742926877628027400301750580746786742856540376082400065882631878268256343 +0 +0 1 1 1 @@ -292,6 +385,8 @@ 1 1 1 +0 +0 1 296 920477174324206192629261533184 @@ -299,6 +394,8 @@ 57896044618447473228882389021020048158893283581286713298429387432951596187648 0 115792089237105570840234253759177109864155645142784332660520492325483608801280 +0 +0 1 576 394649121464702711197113253888 @@ -306,6 +403,8 @@ 19171508671161797156614710182257630792593514679646789380628699765537557708800 0 83428280595193522049620352001877162940388365577102322638744416599597810157500 +0 +0 1 36 459149829216013907374855159808 @@ -313,6 +412,8 @@ 30121405346709427309695531890582421791203074728165296179965859962342252478464 0 42435402933391614285072618340065308663204835805291910450325661435301593697950 +0 +0 1 440 111480890522555005842506121216 @@ -320,6 +421,8 @@ 2219279707535425826019993588723715376924609733291444929791090369095624818688 0 125210688265252194710996471277583934881834379414003707914695928587186801398100 +0 +0 1 192 973066898438133470773494415360 @@ -327,6 +430,8 @@ 53535005721204496876936515275724889845817409334527168350061458281042045566976 0 35340054082346922390131417025011886439703502295343037882213639103251549897900 +0 +0 1 1 1 @@ -334,6 +439,8 @@ 1 1 1 +0 +0 4 771 891784777631246170114448424959 @@ -341,6 +448,8 @@ 57895602960811796650871631801676582813791887579127636891104569893774562426879 115791647579680518644692972256970658065423327120836162316857392245886991466495 0 +0 +0 1 43 597446603600272666897934188543 @@ -348,6 +457,8 @@ 4960875119562861993119998040929006214931859756877807299872704131313015193599 83869314384839239184918994159181415456293389193220202757469792852202756243455 0 +0 +0 16 417 51915870197464503363519381505 @@ -355,6 +466,8 @@ 49219110417420231511113764378238860427237875311237523872333835875498405658625 102059959947892163134217117691190804610012473033509494849327043219849901768705 0 +0 +0 4 857 1131685075580794109740493832193 @@ -362,6 +475,8 @@ 49306867245429292665712135123169680084542437782148851479415184718925278478337 25169675183049498057756995668265957449819867477380947926503567596715595792385 0 +0 +0 1 339 813911142051622544908469927935 diff --git a/evm/src/cpu/kernel/tests/bignum/test_data/modexp_outputs_full b/evm/src/cpu/kernel/tests/bignum/test_data/modexp_outputs_full index cdfc2666..4040fccb 100644 --- a/evm/src/cpu/kernel/tests/bignum/test_data/modexp_outputs_full +++ b/evm/src/cpu/kernel/tests/bignum/test_data/modexp_outputs_full @@ -1,5 +1,33 @@ 0 0 +1 +1 +1 +1 +1 +1 +1 +1 +1 +1 +1 +1 +0 +0 +0 +0 +0 +0 +0 +0 +0 +0 +0 +0 +0 +0 +0 +0 0 0 0 @@ -82,6 +110,8 @@ 1 1 1 +0 +0 1 1 1 @@ -94,6 +124,8 @@ 1 1 1 +0 +0 1 1 1 @@ -106,6 +138,8 @@ 1 1 1 +0 +0 1 1 1 @@ -118,6 +152,8 @@ 1 1 1 +0 +0 1 1 1 @@ -130,6 +166,8 @@ 1 1 1 +0 +0 1 1 1 @@ -142,6 +180,8 @@ 1 1 1 +0 +0 1 1 1 @@ -154,6 +194,8 @@ 1 1 1 +0 +0 1 1 1 @@ -167,6 +209,8 @@ 1 1 0 +0 +0 21 21 21 @@ -179,6 +223,8 @@ 21 21 0 +0 +0 309 5842587018385982521381124421 5842587018385982521381124421 @@ -191,6 +237,8 @@ 5842587018385982521381124421 5842587018385982521381124421 0 +0 +0 169 1232997389102826268860991065105 18618193491623480687965778108529490131 @@ -203,6 +251,8 @@ 2188719266686453452930405899199235044753192686954839466176162624683199938127424638750308949204554559166758220326224401920489333667474175603924673521175569 97683072410076712392282066589062765759142693107292941896505293584188136243288109019576354936509509922977328660487195240361272139205510222433941017334790678007764542793184659980312059915447722823578668568011564108579332326431723751410142184277342914838944751536309663705322838157117861387318160798897161585596832140403965513049019443014736754070054609736667260175758805144888061962097304053358670835773333470540890735799904230791681702069723170059730994966345549884415945422800168211660316601223536176280443881579581601353735508758304931277498652094516655270514463040776026586550201010112790848764931894737145319055710919828903365167548960625995539691849361659426748054745341215957250295921172194577332300749566307355206009183548481079880848158140024332983 0 +0 +0 501 163832143645086957897416441857 130403518609156362105805396406315208861 @@ -215,6 +265,8 @@ 4647428455414528310735419222346137778331384012634538551014412602117023622880652353771726881116679285768237724443091476402706202263926819772616832419102721 28906403319829335579152758638386875882157614960297137405961247837759673945253015729546983871627651295299575319061533798314387500195065807539803353638203395485986713693607566481778609628774446828616734151668234602307947424409538672904687959912738570330185363904523550454152635659490551290870515246999942195502104118152301334700089287366991317719093433052486678593858217226842307981271549071491620802771924028173932162208416803577135606285968124070284901637877651643821446019733885049153989665296997992788886918211374075831435931210077446773069558106221488521309239497226225767367827327143784702703425755307906283612559634838050993457902429094094933513319959004350518056515716806784625284507193189229626210411741030529099220711533547813203461920864443567261 0 +0 +0 361 349605011617414033395053481789 245857331472368514819046594566028058751 @@ -227,6 +279,8 @@ 4841490524461293458775865719630252706317774131797304941603107709106391551373400827563106022147424343461775948749633172375219539070706909069136692738510653 2740789198296345318965111850612712124652802051718746728440158354114594129999474575422329095265931082725696402694153115277645383596764582263006721610854081043248870278564998781931116935500580780582792000279161514916826840858575525432768051097577477367255077045382464021310113198660432638949403898388170795721793065002216164669679010725866562559739695895046156552765387872883795328098201847555353205101813822718040399910552301303131582151997608627639676073359537022621281032462623358483949826772477933699237569645211796888270724678872987960765671548627563068593024266312400431519682768720409103443029801469657858538886532661680709787379202798150567139685716652711550210175722552439867825919976479511936022577306731016108116152385593537502616696990796522755 0 +0 +0 625 268138222663085878899055263745 24352877979184920020466043837322220276 @@ -238,6 +292,8 @@ 540244355168038810439245856412365092477075663815074675095751794574495975677637107674742162091364766891790053303512224504116561928038681836474597949011431 22981118609480295020302390537085998300920429526471726567398293023445956296114258286587907654003543675558782486527003079440548040281611791112262372611325953 73941510060571769808707847667790966361814661795164158907944820368767039175329325204318632328932777023413894322006801235569878477004331269927355367279719698148339549611862266243948248034957017596288151561242678219756200772050065651639668126957338646741620454044238313630119096517295028568676012861463546531042912418706583467447570262205402306052654170522693798233816940007926095553081467230774677628419097478417656740275827661249952779211901082402701984013817630510703444381158174601539927553051608704757704256329593150815404929742382319437401751432803111155121722314969548641096333978274402305457624550606359775467371439424755012388172195256850392440613960542485094267479774582498660391674109469751118744651961944474483070585106972705876377013009303003480 +0 +0 1 1 1 @@ -250,6 +306,8 @@ 1 1 1 +0 +0 5 0 908 @@ -262,6 +320,8 @@ 908 908 908 +0 +0 20 0 444539926163396060618371891200 @@ -274,6 +334,8 @@ 131765835135960660552807451524089028158233849469678584969822208 131765835135960660552807451524089028158233849469678584969822208 131765835135960660552807451524089028158233849469678584969822208 +0 +0 4 0 458477653689271929750159360000 @@ -286,6 +348,8 @@ 826369288885297875981086985856579353870084500166446900173411432842694716669231467968748002518734902939451616083284004742033317955616293179658208664891021 22202087655311450647135419149250531087927146350676835345655785380157598138557194753184373294689489916297473124960377821312544654416163136210039001929744384 96326898017422549955901653473833317437779055242533369421502155472853312686359970920631618758332572373344127788925685357338018927325197920383756639905996985594464076611884108612383979058239243581333594431766225648327089235187237418565994427057194424144230986856523397430803984945243481297655005737624265563071611038633687040642892633295910225235789013409695764507857108219593405978524437916413344943216420760961385716325465327198936950858396311435969338610001054630999456127724084117584337225975391887983455600569619204999635614531187357888356383792407464654357840556181154590937696619387875087097799731553278646623958202450683045055334559548014107490770158063376348589984756721663474292053996814484159314973841417990207095034106982307493862880629121436691 +0 +0 16 0 491348889049443876707510517760 @@ -298,6 +362,8 @@ 11435172354316143741773241295887896087133672859698695578907055835282817586890921066517171600518967766241323412371609567006600523639894522363112407210324509 15149040910228070805694652326182650730845401534077532391632591405118117144643051256922675471878552887101021773709591676502861584900921169634374950540279808 56355766588100866282759682860797737644333456486609653821690145061731646301509427532577235211073754179875805682373375444169056701023240723500943049070332395713592503538088139163641332470621142182061028756763699330098279139021193717395765578924738553383866433961757002615115656618107086139201371155417227057833294387363725105804398704482830941592436648716775980247000000269741607274596027979588268573128057345637713854419746154790792746601966483920954150371581596833034052802813842628620625504186679387894821638490513018094217182975985101634425625016603667727602990826149251788162518904458942322862611953393619284289193102324110779630113399662848749417489714492032695738284419047277571615136307300694250850975078143754035182602823410211073763907416991824957 +0 +0 20 0 995158961158262555374402928640 @@ -310,6 +376,8 @@ 11027839566584582470519059073521721670466350661122931561173065258823257321580571220589430064206794766082774897831215317085884716390531116370426677289293467 2022634134337910980433929460688286697109516578140587883097911933500075648632085115589857581520940210394331242638360018211669767050461136520845948293742592 104434002006843236008977680607322179909107225265723195172106448264775516650476878743833547793134822307341579260328191748266784852490161978530160695975684513538749150196514786995025112319430605048357152763823300841556582239612109067728895698905501385995876685519110292901541609662899550868216317616138105858298678470326863134702237726421551517029247749909571485746296095446086931717436380624490524897483943213105857255382008413019679737361439910325961856292382954474416887424544673025993513511888208735498436773448767939462642401895140762934543757089989225250342650950389055472793689331649383437755553290743552677603436417327718879340225284742201264894059121415641518774058619813992793525299939440882356982132407391369731777608785484350813033980885141899629 +0 +0 16 0 1074929557660986703509960261632 @@ -322,6 +390,8 @@ 1438923259930704879657001108769207409876637192084506601145086731796010515496862959970405934371385188574753305943073462813023599491372378876317837370133527 3751312292780009820304966556683277538490745683704566160236438372682961982986048670343223416367070064938538731816396930813426231559274819821553090255912960 22245827804735705220117704141226501502064071390534072443304730331219236590933359461634355480686062688856652758824214234474569118470794815179202389882960630393289571816102623905452982847756909044174684278809183441442368980646940944033452129063556227674889674053321140347856710814670492783918404567115943752242132179948224781036963934893498091336265346815823342522106301789947400545161838051916557443788755305106534416055804785880604630383100935891307521128089394000417311935481221851817253939762456589711248274272603968362800596648622527005911004624214546005361950076957837412463355621056287213223178075347444917257993070579220268724782785908266671543562947422542040620358371842622681799613531211436766739540220187728136764807693542730662249246603715717954 +0 +0 1 1 1 @@ -334,6 +404,8 @@ 1 1 1 +0 +0 1 160 0 @@ -346,6 +418,8 @@ 1267650597867046177654064545792 1267650597867046177654064545792 1267650597867046177654064545792 +0 +0 1 312 0 @@ -358,6 +432,8 @@ 13073126603118771003805243197447306343271660677454831683154753707889268850436361661628016500641989777790467968280342772010149753216162050495370020985042625 20998284069276981893190892536141895412205721732777582241948778013718640245971369156599887283883776856426273476192138787335689583588114031186267728857006080 145542850807497848835319178145854049254749355997392611232552085578142798867040512655869746128273722688794373277401694240068639939714289029241882420255560766785421263830961288462589671284715213700259981420839552784433954764136129895647349608900424001098087782010788194049925972037176206755004721388556031373292370905301046483673732115270915431015370122027913276559667416729060604786258013103534906022354439463657079061912817809459399519217831107039092600535346674227177324605058446151697792280617616240531975687128608716128611655864852795243359772002145334023510826244773813417705825695275150689101537745023681398310201413740361940992 +0 +0 1 104 0 @@ -370,6 +446,8 @@ 11845528388829065193137342380492024118612741433871500160171557205928409375950091328760923663375034610212896359622832576619866946421226527978810823517767195 14358105553296630195074581259093482904061967322039003650287242246847189245898106579740731184467142158444184654938258232190794449000467281976153220954718208 29752262246259984678162071014197346968143136331663455256981077869842278686037898830681337972402546323960946254640523419175397824351219353528741213076338024666791105522838263742864055702639833923153008293117724612975777700118712172163321970946497599246107858287141120189876164900071195554149879560929714317726886802213377669062443329404613286649769284209181705417929996296531401439508394294295981454293915959331276279328651326916467814126531151303158821906765519330853044852025868724455596200247310910196642038596122167329758444440621256743172719588202406984180471326374255698187674614229475956485349393277466831070800337767440086480706912261115764441177598645584859965475859908792264470117807584960743322003648528490225730990797216523246007325125660813792 +0 +0 1 820 0 @@ -382,6 +460,8 @@ 3444397905407459769678888603161852413323651620442902175963208412202586537665061311535470334927067187735566811052881866689633902610439151941964220310971721 11022665256141102472940378463699540949238908279778600071282259749712264960911250408144499157327170064963756957223649027433072458668570655608803856874471424 81919800719046671517207878533082805186701437860813948669526605848765879544474579530529213258319904229463427416500034980139071493540508610379427202516273597241143095130860760643788268993138393873688928382393660799195777113637555095197708201349107045094113568679365641988474973555339779269195693828793499743438153464500880227617361433873295240468480091950267597172415617173026834985248894403081410665165176999289507171222751308781836602163165730218190683421881898534701677415079833299850716047375983171219380868596376070770512341426910609957412762987411547721228138660322763891960946563558118043129184649038871557137165767859126740489391397423454065954530520094206892394931511879782267862690117117821375879839535619206923499907870338087896184905875270865206 +0 +0 1 556 0 @@ -394,6 +474,8 @@ 13236721874325271723025473459287198396620022329708721480674722710511848773677038674125983763343329458361710367424043866874114509274517527946107266648826241 2194764262264585667059858125941452105865892742975859841108712998947329687982788884647082000066632025028061458492389933022294535208755309187928296471396352 57355845567277631605466891338726588644089168231176157542837482832445739996777264257736709708719870652751122872815779613324883278513875916648714007640679582725318528875933814419008616453081735986389172535526171417933073790237448684456371375012177818371017323800403026152821936870963289658435094570449606483182790495084679923580056098533465388873546412605658044277945663984045593268127930808295095416816320488700035120640634800027458402856427447416869101366825313425698561772279044096387622248612510184764590511957351321992760940588152562393870554012339866893305722152910751088759230319843257735303362591220388959031206648585192806326375249281349826218061542078179530915004289316383242721047093262796736375481154941024161803411599260123590363345661492356322 +0 +0 1 340 0 @@ -406,6 +488,8 @@ 1423443399352876324872592588473564301454095472277230446652620290446968276830664095418889947537872334002573975742103104497418388304230155249816071500187318 13271987893729173924722826693052254951121133786126776376721905614595108288958742926463506237918989779603882913708829786515628223071604050168421092211818496 77905163329900867420366537018313477469905867162687873813393972295483850618977227791693088449798950674478036536807908041173896960311217710308282172582393944149677514321195523061240702828647496809204345189326973455270189572598303985175508953019401483296366422730919952610005994556655769831109807353377091098573022662139773340132455526518635857168244936106911312371715079630324434205701454925506932022716037033236074043005019646714876385572906267836713196559389143711572457627590778030188607449891771267696070680749135917564518323190360612364871790463549758918603258303428611971436568217794166218285910235112620619466021065907142038809788800937452474220801409964080345487147019001555645524503805537058212837105068645433031569147212247780129911832438913883087 +0 +0 1 1 1 @@ -418,6 +502,8 @@ 1 1 1 +0 +0 3 827 633825295391748780828659810303 @@ -430,6 +516,8 @@ 340282366920938463463374607431768211455 340282366920938463463374607431768211455 340282366920938463463374607431768211455 +0 +0 6 883 1151402479073526177054249189375 @@ -442,6 +530,8 @@ 4270974226494341897280469825731968602385022467387106892501039803249858350601697035152008485439522684257776791254316572547412071137653017182505839419643661 13396349486729820333578617551105577176007659045388305976467765207187599750765003306881228272040491956095560694041316948995285357929407282941862450720407551 41335482013742092607340811393696289265383491659142322933176202133259802321593681034528755929862481933532393128757559300673957698811146130096420912757069006505560092013193058114993341087169760011081108233127450523524951040608820702691804101365559446397551316177148051517733484177074821304382338437764467306979862063585555745663882763752228397056876102734020204479560221614187264418308618629620880123146215622627304037187875802728513960072756165523453677069766105888884368223266356453595038697920292826607321992884044691584622439589759520114123421788741839649085676566641773228464920934169309554870587864775049223057007191810707214225188647666288834463204299431877132150564481249043414298411851323421333913909136986057992835748995108031438173716216778129698 +0 +0 9 257 148913685258606776538030407681 @@ -454,6 +544,8 @@ 4658367006324170812599422256080523502806559591300942419231897265664273942632706886970881430455450954648568107656318501922464893981721336262565505150036230 14176910549874618607407657930219555895908368234965503682114333452984200436110890119648814677868732070859714001297650338292337460853941658691514163789824001 3981590997528577985614013626496163269309337001530158828834919698707508463533911554477117533902325017572915525754176662144767060171245958294730597431813358362095749926259432146429268064183442642625483652372876461555552111669528698715632169681920785094541248195816649255512882995742569140939871664873643710831289778166479150632763297994113176828816163829137609722485397222557029388537555905894840696252924686455620903377787500951900791439866463151002257292062493531521259668828212238177466630166755813378978387753495507655220937258672560809333463242552800990330533067696358587513958431815046133411714898659555238120452857813163223926948860131697571033149747044928872650853564255699945166792002731329998286732647104143558910495746437412765192212775849994225 +0 +0 18 33 501502021891302937219905355777 @@ -466,6 +558,8 @@ 1139630468367775490336631812613571548165746938068725127033848437473514644842035232747054391798198457303514508910901267746988126523368144746838663920634335 23229321847788976756725283113649930370792069582610592470231250035730463613494249923319913356844479204498929051652932802538286625056745478043326957712572417 21487647700948725770264219795271945319749173192243211453565596987241176737462250667633618886948279562252171101905667946094773469883315171408531140186855386367646249336580544723963373739798434897480106621747141407500552065611752936446513575255452313224578647762353090456207919452697909630833138121540651400661437851470186602006938775128954463677340497236474210542169245851888174674678830034001396086853856173586859326673017624988194867397733165469207954391033672813066099060448147357170672504662139485543607498255164955555500404555706050039769127136110940772239631000421580210911841692191756394540966716847875044874206186693212588146722503861824552180465617343841495586000134019723162576895089813808176808430959645984761484461706924153776124666379090009872 +0 +0 6 515 140262897948655524553823354879 @@ -478,6 +572,8 @@ 2534000532084385254011173048792691142730414486367806853286959714601853302234763393270798424710144792599095332446397093107565422159020315343985501774159892 15542028513463832582045168836396386001625310864606581833373826691519685781220976702479707834361513658452848273358428791133185408252751328679278502490406911 27855593116714084078162208384054695954058993655347035442442179921961577060832675553361363768691284076718916857364752494526844926555439953895434905171819600393919839632321686484452963250758696733364354962412703929346121448165936594763979749743986180482780225609168629837008693038338408977887230386816779307922171459072440924593974717415489081076605422061521481900028889163041175095249269917613188334409527500605896088131198525624936674252007051575485702484149862125584208439328630135980638729947396581292462742088861126756410817710170706018291317780771586734693798945816799442649044357722598789451512849026273977421119557083044897445609719917137143831367136164117890467710418451810181780268537911406332672074241783568820460769615890093335916694542757288864 +0 +0 18 793 197025322184063122457151668225 @@ -490,6 +586,8 @@ 3558766711272482011504448167665545486379425587311683496485361619290623375415884515332307272266520310480366471739749365076632262898225547952923293595733728 12553285567146229581143238572266763310070996960196734618418238189114111487087176302379917708160855599798506766652438515952406574783180790667512374443900929 97159030126633829597136097971952095447819013982449285765934773565865340571860394947523612579798472319543447250648137552684505225800254817082318510333085200619841378709947507256156769600212492868513841001182586888796188714995803932972130045022421338995588284122277277252253773904930943448321203400640850726145956154506701740238971182204246652277481910635653257716342505752786715299131392950755696825083787096420904257094017949450230308096656371015076532528700124758206739955106033591193772505444903595304186731720399187581590976888363465586491099855056851754180558610125245962410906033444380950412894133308093881338615037037363848849681332843054706412988017518927595434433405772857527554569413308034400064517677000618708750917221012796646872214754875380955 +0 +0 1 1 1 @@ -502,6 +600,8 @@ 1 1 1 +0 +0 13 120 145483342680740634262446800896 @@ -514,6 +614,8 @@ 57896044618658097611351864738157061705262361561497619362091104892532012613632 57896044618658097611351864738157061705262361561497619362091104892532012613632 57896044618658097611351864738157061705262361561497619362091104892532012613632 +0 +0 13 588 242981830122332196998498746368 @@ -526,6 +628,8 @@ 5354055707309912886614410393569876624773886934053676926684306993550773407750553762949175437211369217571333055727536737153756343047932603108461352921558471 25365469084896632438831937795363726978720559453448504867481253590410035300967847867532559492662554029011867176416570131146842894254418120377083085899956224 22619096124871383318112295146842889073303814371605345095383233795170631479551746348815087421524678717453965509455660287838427423847169211714828596281997684789004627847353198055765599865486506422329293807467645077941773514592600738421251976380577575882032324559233081705659227219112318455656983110210809943601933625629880644853490850095007658538362417036453726855372348519767721147063930317955475407601904264304792774876267561255494505090533363568576267962083615004621048135707122075251747344476975836746644988257090294675499533514516099932667526906076602510814454355743316358417647066752438499266782078096470209967559276168613499470451000597854188801912120661390116619348790746561379486566757130299748657105161796124617016203782579238850942498672523329752 +0 +0 1 40 447233008701926529533965500416 @@ -538,6 +642,8 @@ 10809419853862469069424671860661466104583061712836069230246390212316112130066125544420392691125603322947467815628376833408555549515946984480656880021651380 1850019664799561828446887689859810128523634383437118940053115370804552962470182093340221950762057683211340120378944062888849213207787569638787758996586496 79146062726645406094125245786551837498939308900395005168244204631903484415658270158844664157707310955348248763771814711063046788391067524759221525529104368326321326084563472124318731918256168278623002358270765227604826669835435958891438295342434903159075288156677246336154439150755947520052886328714167256538973433346444421333656676210187605803784393721586492840057545981989309171468153197884162328945042603749066570005966624779093957794076862811092779063304321109842324091731703363279951462666574672700671376196246065961538032986903599915099739318454751915689195199186259591620422212377311621369407484297784432106440200065147739080924962213019703357438002437916474914343797507018762537475763362516037464530375045287476905864731829154079915391149321968191 +0 +0 1 412 442771250107780063583096799232 @@ -550,6 +656,8 @@ 9528330235712431695508651348872596587940214388314172729001944199117139203073649460506789237728120154262303033791074115687461447137304611451019062450033166 4143685306341548231504887338288660968707624803700705709343351955022110657856432837240377395875927501705908299984063250507069218496972459859740452129341440 104562740839673051503481578895764239526663080510065863568700531455357666811369786434424695396331208203674279431043760278050410976183787457855892806406288752625718864322157193135769794697567013312432056383089033459465930753275824303748732667955926341050919959544909694846454721655872047011992815813101904694198241623012881202256275588144302323618881878753528314530907071840869821031266325498114515282538879043478421665955468305417347448163949274702442224107731910630000156878070681872216439482078511101544761151961351666834740966456291969981543493720485639008116953134509164476604089589320621991058625751690463775539274052816775322437146286935605947581551624753707514918261540969042840854540826516277183600699165171925650708475149449313485973818422281998521 +0 +0 13 172 791101013288846030830655504384 @@ -562,6 +670,8 @@ 5573805721606072201024464091196637283572352485715830551875562715416314364897955988150179092473897788638830452265884540199145584775259028641318262487547968 4057677748936070618844094810747404761610038515502652344029344965685330894561953958031306249055086692013728933315233447834639061360828462307224389794398208 88805558984185112795255952736925324601122785431405035576602411741507621170399545249153338740407851719428060900073010468408821802935493225406349141834719114871624992935268626480271242919309083181247592470787139392455723749357111206028829838073246684382343203181677082339668604262839742742487557831265162674992762636154408019739353159847808458505828285614006445789755453887253630401662086162458718810862782531906728058604853740136139465565601302099053412977760544006397324270863858056884622177695713355282096557500701906162213797940826417474604859594028449742637862923899962768141687417119968332378928546368809483394380922906923652815578553545438336575578328749210393869199030932921031494164347096808050678532449008199752921295412645439010521079989198707275 +0 +0 1 316 71681696331238174643235848192 @@ -574,6 +684,8 @@ 7056836934790078890629897242686908388561326030807269602244791722619134700685270860402176255162872248124156286310896170748542196945067054699971451991857017 19653627676393504480845906820110557077219860495796321885850081681411361274754697849285945541928921052518914208933686885858752894441356909201046802838585344 80971491865621906872687361455266590261837769438953920156547938816925768812130351125693403692372531635187597207678371546119842393999946368251808241062815009537201922482343834280217543563385790528991891486955186752804442082611928288446541683061339642049117523243263526092524645999730641570341457586483133065003298380514028101577820902138870910908422214978896149068391330152027315094631190895000724733490201374419942438095933050937915756036226904754356983169613998368095692094533690592884544613225600675823643506613658403330578865342487542362468277076769889849827121184947189187765093232341824235548721589704690368245210012944395720194265051720532446465158583188993358700221084102969580809093675283436656573224838978616518282441341625699723104395311464856000 +0 +0 1 1 1 @@ -586,6 +698,8 @@ 1 1 1 +0 +0 1 296 920477174324206192629261533184 @@ -598,6 +712,8 @@ 115792089237105570840234253759177109864155645142784332660520492325483608801280 115792089237105570840234253759177109864155645142784332660520492325483608801280 115792089237105570840234253759177109864155645142784332660520492325483608801280 +0 +0 1 576 394649121464702711197113253888 @@ -610,6 +726,8 @@ 3201888256116239379504709172928241207634570507519243666267842079354934745091409880730742354222322722404797424377578771802961012486596039415971972097760189 4721437724763666216912653616574178996088489462586407187533602132486864388960603129501403388719024042140502457650359696753171122610737975161314352895623168 55205153321423885338956400064028198664777869807781110728609963023113127397799487072435330520570509674227424013583745810499657598526035601000813992406801177785654880796763619086540215022787992132190574189038172275832590358776861644727492756946966750658508989064774358448920178937939967901885420472435626511097953664008511962779746263834925846263368943609296037000961913781533108186027361869767679638534133572973581741775890124715963547264348199334411727966106430979815522908566738854258635779614741558605346566456990906260060286149956197404097883016944875962774702247371289156385212377503180483598168547092790446295055664483192046839671126731689954934743379048870609922204145815922015896815781635235421742690146908458094281966246581404186172173133753100062 +0 +0 1 36 459149829216013907374855159808 @@ -622,6 +740,8 @@ 13191762144369989130760985435688757812828881793396707694471183793997116204175863881278765015080350072806582669305591779418584954819749146010893985699341570 13301718048073450430547712527884367748161420561064642294015103641915503834019416126543999762601710015216018615418920000282926562454589067268249095837319168 49769281410460079587160175170567172396868114308017996853886640420533796807286477273833673204546740576725320996039722521612053833334969359392750604880174269269691563903355785551869296573598748844759330739045893089809768955601413769089329821698243159057856348655739971360896746872957056067463031995674345800660461377513320831790263825314771253934221261090427339884556900829469063294537348024008289581118375314929945056302399670691682691431742185244922959167693536920751966429893443774313559460258906531208397758280206465867926105953925426176615769227172870551762287519389652134919720196926711638429327818529325606413699532013110569630521033485451153039357638432468810344302542925792453000718773720773888713451243298922307261297537275224785799452209942707359 +0 +0 1 440 111480890522555005842506121216 @@ -634,6 +754,8 @@ 3321497911172409553001804903171022673679565313946048256955779288266740305599386551480119034076080803092083102364750364882135550956683614114559617436903767 12793018574047350137248079672509016968931556367756809163171704828712247163091906244764359814474025125944855607579655662889196220595429789208504167192068096 76689588434293201835619981066989977477908413005779753088866172810964808473094991876212777269773122696199331130485933575282270332735785700928413943556601975066482786096313163465341993412070612418928408710357145493143294698834250060597291905064146156670188605739321658556756932045817073412966209066142063156039312180285153065411311548383943716222450921593288580859391382453317396476747621728712240646643660359972038663779394318168094323388866014840669339297737399151832669131468852916425987004536557248422915005390001651936105161265315235641833312850786365439390074831681304150075182778531434833937852580505677817092104426326851552435105848297197549099189512817962975477262222108336785184201422735915682453207631211836049078758133269146887032420460663443098 +0 +0 1 192 973066898438133470773494415360 @@ -646,6 +768,8 @@ 4218798631160832202661168847672965043016773529025064083427701368151868437320716279368190139450621334670500868570495563594616568204374854957138784941027870 483959849385694416988953239395437763233014877575377690428602005170645490229330810160206389562974522706669622381302406569004289640692782430642495811485696 29906028071054660047981472687456811942854117777380291648479644593101403451134729390839923856506792491608604686349173972820836411471398517144783561852166707443288031772609799795421520218704696005881653249444293587084344906925582382385833765007518021414057245272257857513286192778815704104660157569277882610070331479401870391133503202094059866779539881025059786712040384113834568677737413823801351493948758683189504972649013495383723128253737143261767592099355975063319441155485484883757202590696381356714651681163927857735028516556612765982416921120650980465407310503954116569362383619864223066588196928057154054625583850781499498748269693042624253500111241966728384180291380590649385478398288572110568982422258266678645735032469585491009643093205739458889 +0 +0 1 532 1054096356549212854433844559872 @@ -658,6 +782,8 @@ 7173051967940195554257280536479042043827601659905799457098258573897554700956880589901442356513658795342086705483095145011273200575189131337241532322688171 14778026829432832620717758207920676238440861869481283376192906681351851826811501922740289231253685732115671799215873523794595875524613727991318894568538112 668067504300992717252313285562626189380629889111341091830534240703164407858722452235218413940670777439758195559237384098604159464100718268464060833022755680567822699161005143840662079622723282636344452411426226552839822155973011916925207170513568724737127970382747418516695456246080872159505564214904491958943630974686516554785906411149419613863756391212293819449403644890970105617508890739662736955041010715658738393820032566014396707892742492154887137823040904306377096304751108123753609280374579533467459444188258347076611992904793838673073224357117654214880814370422705211653066712982927068215108323247838043982832803519373681940171214501886315441940044454283398151994392726062247895395190990157884090912229945700120937761598924992761275839959911906 +0 +0 1 1 1 @@ -670,6 +796,8 @@ 1 1 1 +0 +0 4 771 891784777631246170114448424959 @@ -682,6 +810,8 @@ 231583736816786089484927226016147767929578972263620494977377884571370600267775 231583736816786089484927226016147767929578972263620494977377884571370600267775 231583736816786089484927226016147767929578972263620494977377884571370600267775 +0 +0 1 43 597446603600272666897934188543 @@ -694,6 +824,8 @@ 4104295260045454815975181617904063417540583687524096503951973213007375671429493052370291608008405377354342405201451646421020861407202042797591936611216757 5398900427668751217850873803494875937404578551752982184373461962988643267134263496913051856036153441820443871129747572123078186712219756428262779956232191 25531520392182917621337740014265445721361411239067575024230568347946075320398830026544382853557813619997106244783404600602273843615454111971321802832323954204758909584487837377147721299793435780761645822065614232271833405489542021999026595034251288100931732635677680664415277285956289483074905242080888390451447804532057853574474532668157069142722357346027408682960953231102254815893377964988502569695564237724002824307525923236722261247849213782126269361908681141220395046844058912660486234093554490328216557221498188571532941534379932605686821928769598267882437940244043304208109576414850186630091377631389750072498035265207407367166886810022150211578030876848768624043493097838663809519882479152575072930049411429000574417439368689782570260468950650236 +0 +0 16 417 51915870197464503363519381505 @@ -706,6 +838,8 @@ 3482683400560148150354019097545843271463498486574340530929160498845628623564983594731900657921818042087045491261078134766035389271551015123919424955561779 2250865723942111784039421608251851432625547218473942867505887413831061852377508665133755951631672797483190995230665622102487996363019684093932899173138433 61866270620994051976113571314671260206546611944748188112014889348493817466332260528520301269300858711370883733353426316921882265660293584980654356196771813752830814863393751514205166225063928375833366427041736421075638724317146660425062918645164125281670322555157768033263209921880226626073745938238353561817422240921335470283332639617981801975929597376257248840471906471329807309263918434948865990118449297463830076205345681272015774701876996655192982429160114187749508187454482524462594626273643456933329535616251439094405771525770802013707141754927319091798774497135450785624609672740195526493570561159214371152346595992797266701839077640764323028946890797349356558919797888149709272434268684802587758176996374949295489035483716749157376093129107707252 +0 +0 4 857 1131685075580794109740493832193 @@ -718,6 +852,8 @@ 1408524625048880495289336975458683532829516256219036238078109087870567897704916529748103852417398524574297919263661719753670147382638802928308999469587009 4742693590966914277133482345622645931210627503968707620206733070482049794927860629080377711683265908227819055370520162972241526589942916768449868513411073 58802344163554310313574978287775834467784857956644339721250016762118519806951148053474140926585685356202298098751139250100138314744225604873028679176491267298420186420381554202221786287213544660030226767383015807559348245256142726358221133944933425749923349300912609238400148112724373683122191718105736524831375412200353861993290888486983540153608895939442657041312429531038809147094126680019476596400280871477208987834492667531073192842174453455717785469219469725823299580119557925326668809782964063680858296559261638980508105364447435571398293447278460758141749296222837597474374812107194809169603306500140846258516651419124556186781001627564581437597576492697808115604193821199848040052454181045801939393118553214307066690010428647360865710351313245979 +0 +0 1 339 813911142051622544908469927935 @@ -730,6 +866,8 @@ 6266577599180715272643179829794667116364415231701874317566806045550798989424764451453171897199722686363150830763178386494247478884029147366386550475745174 19499454418662965629802092201099350207580257918576731805737028058666848388525076659636862212534884659279639848323707620894715396779028548909594207393415167 95862489324824888829063620932019725852833888164695526035022601535004945584766410932268167578549527575073071629132935713944998316919046789310121293504364041124532277236430262940542378173881448492913176491387398844399993039996789279577857848174346427604815454297671230985915025331674992916594895826262876530913916171850617716151441278682147025748960251878981479156374083721491872710427295466322992846907609488745954314715805957270283666039983078879793824466444419938190163155697145898133079802602602353722225107790055421648837935756995174223043214034050566670542186485923300401095619229934254702680429337508022944449649248198288421089834753256140619932771553037115981281018587500510997229178929836152007445007528380951317241720020980457731242414544349924054 +0 +0 4 729 828471727968036044453779079169 @@ -742,6 +880,8 @@ 12148110333218384648436139282566844904693423767379435822469549432550659540325752661673352721491851141598081552703324243494124595306618572675953315479573797 11028869767950066853862903870251721369434866526464337153519928986032553183047292589177288689002878431824162808354999536746934113300550015294401283448897537 58606743903456547221900468885249772291576952030679996097498477009743844995676543590192758644724090079751688530760171473541897119764421794956010728429006280978957388951179210589666065046283855669298206903519798531165135083505723514843194432031489074993214637785036796024933827363001124388230620312743627491315719415609068813186688905104367027578284183684797889586512143811049534490660482523966026899262043286492254927272738622395074038650865166965903827122630152337781020302738480811674375797966826600289037875084256686503563207679731661728079362620463413234443568150076382266727348860029360573126873091558335717737879504275102852798676585481840766965787992022925191117334050737265596965836939913217442685101717248568268676635054625934454260099074919309949 +0 +0 1 1 1 @@ -754,6 +894,8 @@ 1 1 1 +0 +0 10 348 734763819450510610632565325824 @@ -766,6 +908,8 @@ 3273390607896141870013189696827599152216642046043064789482248405676250539528505110690804490707447337828870590656092725446174963629590181147084998049792 3273390607896141870013189696827599152216642046043064789482248405676250539528505110690804490707447337828870590656092725446174963629590181147084998049792 3273390607896141870013189696827599152216642046043064789482248405676250539528505110690804490707447337828870590656092725446174963629590181147084998049792 +0 +0 13 684 887995200883511538239500451840 @@ -778,6 +922,8 @@ 3418924933199934873321329948743314146142040692630731923496865500679236033474734183436540120875605867521473258874285532970466381831296084581446997731696468 3109273453047763295057753183837237869395959180214923717206774456268927599702732452171437824488600294111292564013762251960507352853270412970588497512497152 88977217200146840664835987057871414342758656226482702119455134566079289759461293111455137678060305324123924650245282618632813746520379483136564091907304118161505302770042826556669491003997788040634250764459343012372640895868893685896302853009657056166286847643764352254944479236872120415948809439964977244216102420715456410411660886545767779677699315376084841335414581647517102345454786883637029530098791042769144912151097744363218237972900918795095222036559877208914398001283356608105215340062508789546403610568009222203488753181052446817053481932306339868837058506301443562692349864882744221053904653187414752280043967264954580774211209597627575080937932571575024581567429077910187545227659810710158840134973106598283417650179109728601466223548158882854 +0 +0 16 284 923020903585570222185243475968 @@ -790,6 +936,8 @@ 7786275362280256985096504919805326940788214494037837259488750879599254096754641518066648702992692840392471672645638933505566197966897842107066681649920912 8618362445903795498495298150872761763162723533326999016941555427533106887247180867507912332927251479902784257469217137485980295377407380260430728522629120 16490134315404647213406475029434823318168374910390512831510506183043332120558830896890815596494806986512558339133075794403795234456629635255196109630302274063596701645127268499059076587952023859015770347837308708846781657401257233464407323703928750607092699546669184153773323322475159132438875535982524264435538020967649556545078439217499131244698211417633902347244248116513105556404055186363737550878189887290194234432316841541132142640860294449814887861397238054043043687805797703480541139181008458487452494632886183551197864883932104816574402149990710531327784104683031823148067071502782716164931902527187266922087618072262539701943603716347752849105290562996477056326299873601871677329339992648973891648562337687129654590330095250352862403755335743881 +0 +0 4 192 132781846299563114295034118144 @@ -802,6 +950,8 @@ 10432168002169925309120503644722046609224368185326214525537866102657473676610157919783033661419495704812662343601179229565468596161053474859566232729971168 4434125550755468286273915949559378521845137875362780075693690876557539422008078027298618389135234122502995076657800647221775819541243724097410850717958144 58879788797133574843674131226486041883043037064364921634336146348882294403645081889149704029388967907656933395787481771948052519303852184993397307363710467889468536203573018705713826463259584860520796926335149895942517048054871254750870976735849529300524514232108704637780155141118411244754977929687460596842209901839253348640752544938339746749766226819465849574267355287548308057135150017728253762852882959593249872280268600100063435528304362920475150321014853691982290820505367135397257267603891072223573315334630909168764996403800044441159417477437125537149248656998496445381127256913909869799043466504230175983072915172182868528863530322908212009681173652253736821737022441593015806151561237138209580283454584751470614981673001307089147844396118914642 +0 +0 13 848 582024649450436441833425862656 @@ -814,6 +964,8 @@ 9512030017005233270085163286414408214444876161604376761868292912053847917535106665754020297449298958739630340441868032179720694634048588859831514895174004 3424474661482523359099400350868558228999347406743051468541630110333927244078257761445483195343636488588952518919760460591527948463291377508337491634028544 65118227872255208530978095704531485836531791966226954070036062366093202114962831327319660285109455888197133761203512225226041875764396311381690994387083960684631953535071227406811143021754477627057151829718556492631789876514561153094036662960783881750912022065256283109433376637350129397107611734206091378876306623078656111427158121771687232263391493393488514266430172677971487821825458132598600699519022946978758903380204148370574856240951611086240298576710022096482000928787252944656591755022573584348378606935374979005737085171301709078465765360521191167661768604901337941395774664950252681168911559209068972333611778924289152526326746867827632109174629937032521660350755374538076710856028955052886565380305045312456930204360072005577652223645437113583 +0 +0 4 524 580845881975944426787514089472 @@ -826,6 +978,8 @@ 2427597878315108052588416153186371822454229878691660809974423528713640874637568365876246285814256304894224389434236414966957500210729605332124313726402355 17899117585006203601483637166090154016991728785619486538375724587636009980913873117460186227173247676970981855052572465455831400785016798907992702502043648 82719099636401478752972883295793152872271583273831508899385879961946763312818213867448814790012207589877958696910786352022004017128491458398678502380092727265352370894849648327689817089369872665581355167087649797725569274446713910131583973239774555897530741710201488112735698863245376499177657901145733481399797327393996328870113233422246097739699922081427164348371229969681257982602491765348673669982560870277531296394337103334897894312101299211803382899983684502590889160634216771237753936528683049440831694982760288677341061831863338447913878280666371538325483664952174202444434304882598014748667048569192505645286173327534029793348718165869908522264528261983539603039105723499993523931967046987164591154463040088382996154836338979631948658199465914336 +0 +0 1 1 1 @@ -838,6 +992,8 @@ 1 1 1 +0 +0 1 455 12835319081690733822122917887 @@ -850,6 +1006,8 @@ 5027927973729236057982426364448826617555638513633071601633370220421967636306746498030257094484300966958703364072352628851378448187094873990326993486348287 5027927973729236057982426364448826617555638513633071601633370220421967636306746498030257094484300966958703364072352628851378448187094873990326993486348287 5027927973729236057982426364448826617555638513633071601633370220421967636306746498030257094484300966958703364072352628851378448187094873990326993486348287 +0 +0 1 455 346299262836863942390852878335 @@ -862,6 +1020,8 @@ 6499574949616620637580116906143754514426259529884439117780273025054849187451370731789917263550769050214853609122367946205434263410894715910936878759479861 10124369117566771149603816821574722189892029783289052707167197978669109873476852672835440349606345261291423564961708638702389275798144171277206026719330303 8705415614578401703439377544034032850201217707644163347213448385251820480402064059350202110481875528833463043667310923822604441385001445446052708783815053349633963516466471509187688789589316773369344615677792826626309051716580310906633140773315576308672949910323971834475319446949557690005611853568373950288360968175908668687766510861164934214529777553732432896865185158370237274446566279159090124925721960076023134644068706631984582242437068272120041502784115042808783006043527616116382358734970451299287076148174547739692786708052816344409042256904123745725458827196208845706437968200534005237308917033335162989529814740197634204603683936920599194317277256865413864485841368194284658974110212415023489145311654329202564690552488285659475304098262048261 +0 +0 1 1 1081180894199368861240340250625 @@ -874,6 +1034,8 @@ 4137577240563885180314014646510639308253117303602681600936018963727274657401877961996913350454564200277844605264306113013779943962820037004955398417119598 6012634743225204725211101132320048969685865768619552174466530181728480133292301029875548285114373185900664580122272341980596861811413330588763908353294337 81795937119532106335414628142007540909977658537640179159437059236630425650411885370326187121444740803210715500330984022270379288757433204420162387457613244457267982829771730115530977365339900995108866087275312353663936184818179575223977540191631985263739097531812210312755996680822466849659356805615283270271559218883156442720960075373128962323225954201545893321230436240679191047181572859564297275606464598132233617134504193123508950148217886663754637227759657863229014333138561206386634029631981247244317340373651674534396150486840052283462761691683271761813123839124550828306071030249616370906042368728428188678275642758172811081689374710468896615837529258853907516810148933427557064757233181559122827774230157455801620060265635590458075393637334298735 +0 +0 1 1 324956523760712896376838553601 @@ -886,6 +1048,8 @@ 308755345928398507077827126197262399264414124207949539753718673573534243084848112587571000480595914906260398850382596175138781946603416961836963870626141 18244350893087399850665188670118991037975220133032205465990746245721929325028153136705422106519390226837480732385191993725441112016188775082810504002928641 35497041025578847034501100086073209466536561136508516335013344270660017935868859278315896598293856322904030275411384771746298914220919105038326604256986745062645190294804526675489256642809751675533646043594633436860337913053703417141370429474001608393015936441508400591810630621128843720442719169952498841878428043616134170692538798672482845808628733736912222222835494868718990850193361338659654698100822633175501310238243228627468180773090337145705479830831741295755757245726438863169234409611568762132507269416198114830241213504234567974880642291566086992270545520441074370195803131662817790381334873417850159055327338002481911259609118913167424481776413764325684911684692540815623011260021939894562955348430481298027007410284302139530405351967536881873 +0 +0 1 455 1168225574662879022832991338495 @@ -898,6 +1062,8 @@ 560629320288680383605194363023384807151678143098424596613421718363041709472766750167486947243276747104145109416759625120625677741081131727837587049341019 21759673470171209133072662941401074809641596506044027427359195245599749269615278218888544963788731822407161900052925229605030503595641862078189438914002943 48914350145218439705906568672200367796969287350938182949379654192199011505216869338061795066404508514409711613257148436276038759959294510097071327557269961224657233124533675566196627680457707248004848068687893159393201712113146474154643723873117223111183020680896585619246094543573264302805376451620772423606446526420628061991035935289820171452375284762441434380410449759463426756883286554269235628531755002958821353224373032342079546971516226498682559814377619662262209744231352611522198524332131765194581996840783766846255253469180547953962698030763012753169497800349425558331288444588408837283091960297057338691424102975776370837552120268251157155308653220431283001956686251393146283998549094172293087591626540060360218133822122308383440495234963309922 +0 +0 1 1 87563840629716667648756940801 @@ -910,6 +1076,8 @@ 11889537611764019713474395414522017738805331131412830425961734413527746223621889642851856767739924676858324754442498238690013743634420772752231361918208575 10100837533498068062116682421711269237464416549039194254318934545331492474511664814492105364025928254622293940722169331634657785497327849544082846163927041 45253272398683486503135647480546932526735137482648983772602319829758278426282326548221674861255116095426333792573217354680883747412470857180423146853304197991995369543158047208601197540622717356875667661749000843836978338755449525157032244963760117525923053553081941890120196549770412880975555360904557764314756189571080933525608936448614857337235318443148692573094194685794107280259285183133505236685396056175003692596478944431702441646328891039761273277929456060982061303570556186099371719749726908630462163994404796714299891926613959427971511569286158738862769695640206622518511417148726413303897685871409215510922897034154940725003238330414715650272829271341547072549019581775308154038128433212364492506931128167734571430916037205627421756245756464875 +0 +0 1 1 1 @@ -922,6 +1090,8 @@ 1 1 1 +0 +0 20 595 182776107722364003135434784767 @@ -934,6 +1104,8 @@ 0 13407807929942597099574024997867385471458758537929012740010782671329620832395834992528134114986407662672821420428107228756016346166874193365792884690780159 13407807929942597099574024997867385471458758537929012740010782671329620832395834992528134114986407662672821420428107228756016346166874193365792884690780159 +0 +0 20 99 959889322504300279480128110591 @@ -946,6 +1118,8 @@ 0 3245766926972643552330628549049705392854964955772154252338528686239084242071182385973867724746592501989847967320150395945141828002524173519974765401473023 61080681645991414549067490692081334402081972397971028746517907412877430173442766887268502928938956689855686968723305555144818285896267263657710942751602205704048358528758460732296756008804811854842722305639692261245463676201421427021692640796896111199503032898911798682259054437677204216339229172434824743700358776298226543549612665706139787699818996505261338813388342911091730404851273471048067169751352130853775192270827166068955332150833437792442149070397683322292273034999892709561157211011989290641892339659870906874678677504859699231125692278719325534934035201975234131443854930601918538057100277806802757327886696961876993004881817336740781448664573364169350407114702705902813993358826145855515225329878902273560866951736476611475090737818033988659 +0 +0 1 853 801006859139436247401554247681 @@ -958,6 +1132,8 @@ 0 9819440398814080363130785191409752685155104538075120057014007750225191492119731772827023591993721591147390320845851382883568011993500439254883415399333889 7122048118945560119316699160720553961978433028250832356632987064632178469601289924334761716843864521194405971422994256309344299128243345780357318179573891332027174794596349900514436964878897341044541747221511411801379936266000034393130953351626231473024446300205114809692182751681382918793815319254538702558176147904801708426647532177700676433087822991182959261814482654296867542907531806086418523075444098944989035965323104111587337986738030358187241743843490343789019348630402171936696201446676114242834126722172863968855674947640604324144163958745324958813957622562236693952102477460729523924597596293556438095619187584135738107568196111010905928607888154445077963655076780117251537706889532737407608309004227600954352302398749172691718423958455958196 +0 +0 1 673 715561516884788010108823011329 @@ -970,6 +1146,8 @@ 0 25619912338425179981237074026942021799265536991310528535894660424287880718210785582129672576271686161615856398250702958965821900733894974363009685894725633 76010139396677895110827272325655170735073429812754244224065567827072674955856932119584786811151993167167501426583952464280371863780796745748456052461411101229527995926637941814484628183648009917423519376707821313085607510789924117200421530001135073989351921094438000753380349110659634417761484664096117454662720822651059990956245758663429700410864387600527899115840834751012921946678422566816724884299415039620785142784776219585718273085355667734156330825330852527721204878050664943807379704377280623463834377082200575952282427801903821552563762553924876437863681217229193327327952063777869515698432495570884538697893963662646742169138455099039661938773403989337857498529351848559385557226317341038460105140266809753792447714025965171823132637111727103356 +0 +0 20 319 798574734973800499883498536959 @@ -982,6 +1160,8 @@ 0 25671226303654754146969894507457657987204391426702541645624778236755811429128127378887919394161592482970532540809070418766878887011243610093297304929828863 15866606951591235556409191617213573399155927811878903607694869739495905400678992644637518436029559246426846377785378587987926252791949664825152889115083598102400393140235120405417417997457110081090628306335598171967679981092666003385383325972859314383907768209172868582249740126281615082843573939589158718380155501844256488600077946738820515383460955868182422292129795992585952215505240163432033184622635932548576865649973348050288000788639331974785273445844199983043022304855363518084651671719146933165057669295305321544071196137536533399138481915468269791078767728614599543591551954017339053729475630770769438637529489889077938682440068899125495245061566733534687037786573509633820482442842532515449103712758325050642085385733732747184720870296336579935 +0 +0 1 337 1188247491006021359695801876481 @@ -994,6 +1174,8 @@ 0 17855886664960195299137683256225599460539695469189441741138167148311674787837063586188982923974069115198316431121434733749422291458227574255634138536083457 59384566358794087713519036985941921971727779065663226676982961995154491198864950156674000316581952280716214848408093230901933126757201868871641534753628308280252753935126431103884375360812240262365325812639199087538091382144152792974414950141108853217718455335529345676161916298239217369740781198083301965528295312953779809502130360588408271070396938846868179567129569754220713703452395001463867093290041999114172263915537606735392097717571719562218093690326215509153961064259037323365352677591556046507171442020475354888438981613944670146542909526903328992226020955963740333419878396193097750885594896614110979159252979239707405514132990634945047790196417564984004506593382912262142143958951256493283696186469568641746587438284051577412867450570462631877 +0 +0 1 1 1 @@ -1006,6 +1188,8 @@ 1 1 1 +0 +0 3 780 899245128272588436190215012352 @@ -1018,6 +1202,8 @@ 17917957937422433684459538244547554224973162370938960458267029029640947834979519339152474433150005542914 0 26815615859885194199148049995734770942917517075858043397979502765092926124329914532610493203135186264306101107885244098459867671853087539206018919387103232 +0 +0 6 704 1177162594896717752709689638912 @@ -1030,6 +1216,8 @@ 10761508670374291972420269797715021028414464448240558938464987728552613552119689435329519427607648808039987095579973579961133046464353196386286909020663497 0 45482587854271028902770817885284143581635498662368194698025977352933743933799189109901017793688745577594623527694595604810313504358764575860083386515476807174987923177735804405284473755066934183256004639352108484702274953900333192385269530392210757684450187112003674444177836992150333249054702130799610355040881331216089333384447820718988928025554074304355567887574813315506152856851669230184726480128481499268920312416866515808041382410378316215204974756173877802603170296930710582089613410137158337317994538564658188439011523423780823240606329841082961200433291793972091062343918003068165989458033428353216141929996068678255654039247693104366764606274764078658617636217424991507187568278244109935035828898609479518101929066828346725868624049272030586043 +0 +0 9 692 76435178552732951009197817856 @@ -1042,6 +1230,8 @@ 11097141842847614394079602992178709247589894415852402133624794662338776078636709858667481909108996684238974927213647046033793578164937980468332310219323018 0 82530710943173231626463573325692779692754436886030672265032417122005977153566763311330845411954261860082611069743371135724846952083541297125118407037493050030091643369219829324270394014943329835515994201433775828649245506299733766913929800609741182391963525575197020867022940715414622480667671660318214941584751533775381692208931704572538156619567358516005504845014729061861609309938184807822494453768234138312147725645217994821103263459723465254832283850235782838705125412229606677970164359134170387049947834936747341490606705964743350233898238752785281953469479577105057231853639552966381327604682311651351459053909013509504660605533181768496353010464853798444299853619689055126369510353550151910971027759949464857702231495761241052789668272665559715128 +0 +0 18 856 672949534961130560651949768704 @@ -1054,6 +1244,8 @@ 5599082768478558353474373621584847716101862099962719911376003810521845817678124356992801556560959828813284665370289254359505555309567567683413487963442538 0 63614981716344260887316728944952136895331320691835789808211797760982858050080814744379959772662822086419621105477221657320538493043796273684769585579096177584643239556846663373469269063761585283623405673614268918152004727231417941803827358580201799024176999958175343719377925756364804719730190086604948077995925104080216677975705027083541462053344530267616661507574271008674113036010390145990008479521027421278966059966909296208780699736375119231619806996569871604678886482503296539830582107517385273769007336972457140938425032039801259553207518991916993266714618667514018606860146526253248470582661374014064895598863780107120671021812437399331942125813127174533956650265112004346544310754279846222746362678824781169770678080461547337584499680665583752196 +0 +0 6 528 754710143931888045283579265024 @@ -1066,6 +1258,8 @@ 2287281553939530956352194620419013279616295380484047525310562106105104280173822770723063903213369365468416110828105561770407010047970222328014275531881062 0 22560001863719192796895130044111283738945520048063603412446058847866470382227887350538096696720355715425217113703294078745750123427892008604381522584757059875738910777798922847776950659894269775989622503322713905674484029827036908225927648295253243636588948262687038057955837034631518628503896505484117164018589407950736774304265477087982799532022258738048312405013767357154695940386662807565228396300124620904083969296874790373985742813478204314013287258685560279464175856469039885349100694798098733709413909852948085783605761402713861540847716211278993698573479199785557338834966149172681110440896385904747269474735536523234021906650038473170693630524524884902017976797497627898992391869701702535398358340570017537063259494194026845815788634086073391689 +0 +0 18 884 269006938810274604690777833472 @@ -1078,6 +1272,8 @@ 2289668776080774022092664264319203559647600991451909561040327250000009538496148645073308529369889500343496260137733562205719817974360067449226154885838315 0 55792270959626079454245536536891746354044061015047378864251802708509060407086151697970260732559323247238038340248514574684316824272134174004243988966879849631208907971654413572741650607421546193766202020807183501106070183571003940038655481350482617321765238930755363311752183755302123466676483484756339745336948317667293942084049543762250035888819856859289316485878098427573790906104117375103618312469721978524651381801363881731773586408529411807824733791291961745654550372410248174655751091811290480475297754529147070427342112584772701229214077688828222555110528095105674230455201005627397295191268703416963965223576018402787685948928073019794376927754477549000044207277554142643898938434676637583745436658573054848623282334124500748223256654681856011928 +0 +0 1 1 1 @@ -1091,6 +1287,8 @@ 1 1 0 +0 +0 779 300715359548629347440791650303 102952137211174581797368872328305713571 @@ -1103,6 +1301,8 @@ 16638238834641956112960131003736280741738593054766265118601106882033202096218023706427311810640257941823837170462099179068909971646758601676945280397737983 0 0 +0 +0 215 619250515473902100851732774911 103650056966466853129126116701268879096 @@ -1115,6 +1315,8 @@ 8060703179875501734452397315645371132943842065312906287724986321339402104890394902953798729083389116031469222656762579407462366908520135082538921787129855 0 0 +0 +0 133 1142291584765711146581424603137 224218142599483019744159109472856123376 @@ -1127,4 +1329,44 @@ 8743749066401491218980507448428993195994925213193153534362044455477958023767821426016797793119641242022272990879238224077152409380573039679533424287154177 0 0 +0 +0 77 +277301662095735836746088185857 +142152606337025304918525812319838745556 +12534840175881050541917831132805720442145400436291151254501325700683775606785 +20878764386374173777118657238171357921836373711458087960880076400635863367681 +136552059111960251915276090336099326982899726428231723116111201986184982594466 +1309756871750733417455059188261971390672404632186814094430483190420092952237128472634463119986376912159204339035021972187813353867261934673638407012353 +2943370938733633382605808344901628632951369041812100574435646648657181085629472266341801305958290453327046622582139872251050014322560690522912986433898975 +9585845803470202086393444688608391911098205350216816791932597819794198747297646808582476755416085138620680263905816828708538683380792568203293817246109093 +2206621789143545137374253360345990308199762545199883788624752793974248232491530652167961020693395748368965925754644305556503287697444204056449929002876929 +0 +0 +0 +0 +411 +324570178940368711767358963711 +130173237873606161084081513111146125666 +4440243184057253002058366958949011297729551759653463141908729574974703009791 +104599104892758785945721006587405088655973823131502021182212424437563981299711 +227937449252631589648339596776884877916446709862604265787392220105881584676676 +2761661671097149506426178776418384527810269504846708444400993519040372610318448755622489684186366593808385933251347879225999716850530968694338659287039 +3326758864026021917927985608949523566048578856734365179616807109188697949259297193247893354152568830232368527655546919021919252855447574774424860276818119 +8973169221126471636848109947272753534539663485823225948654863833547893642416253412473354043645216680363593572499550915955052548192583464946608584977309944 +25295172712169986925695313510287246491016523019640348674864055622865874306543756462338800322323361265163416085720907702160935829004000553942038515296501759 +0 +0 +0 +0 +841 +9420399794733891643001274369 +26308239808977071113207244089376343366 +47302805955142258029697650139867929719657651495110021315452033696431664529409 +100219160123634284631294789632259431938605132574157213619083861154062642708481 +82087772153295270226001133350122835922114973611844362548444268958331029834966 +2117450239054833117818567728047394797813051157453267188024371670913736681578312878632530891860285848254755118558052690958479603408892033292293462032385 +2379888884486213427117291480161905955722461874746438148796605337728982724816128290033475728702112284664885760972474749948876959990565603221079913603426520 +1615235102089076361139051104485129565618834035334363566497760617314748626717238949288388003745630890305450300782302497900890298444504361582203127184376369 +13052856770005614178526443656735412215939232343908610985741660157597547881692618783955585903710495256222918417819937168580320734187963952696812226794749953 +0