logos-storage/plonky2
1
0
Fork 0
mirror of https://github.com/logos-storage/plonky2.git synced 2026-01-02 22:03:07 +00:00
Code Issues Packages Projects Releases Wiki Activity

check for special cases and align with yellow paper

Browse Source
This commit is contained in:
Nicholas Ward 2023-04-19 14:55:19 -07:00
parent 3e437a0c4c
commit cb23bfcade
6 changed files with 456 additions and 16 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
evm/src/cpu/kernel/aggregator.rs
View File

@ -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"),

35
evm/src/cpu/kernel/asm/bignum/isone.asm Normal file
View File

@ -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)

64
evm/src/cpu/kernel/asm/bignum/modexp.asm
View File

@ -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

15
evm/src/cpu/kernel/tests/bignum/mod.rs
View File

@ -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)?;
}

115
evm/src/cpu/kernel/tests/bignum/test_data/modexp_outputs
View File

@ -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

242
evm/src/cpu/kernel/tests/bignum/test_data/modexp_outputs_full
View File

@ -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