Sequence the-good-parts, all contracts and calls
solc version: 0.8.25-seqbench.2024.2.14+commit.a2cabcb9.mod.Linux.g++
# Sequence constructed of only those parts of the default sequence that seem to improve metrics on test input.
dhfoDgvulfnTUtnIf # None of these can make stack problems worse
xa[r]EscLM # Turn into SSA and simplify
Vcul [j] # Reverse SSA
Tpeul # Run functional expression inliner
xa[r]cL # Turn into SSA again and simplify
gvif # Run full inliner
CTUca[r]LSsTFOtfDnca[r]Iulc # SSA plus simplify
scCTUt
gvif # Run full inliner
[scCTUt] TOntnfDIul # Perform structural simplification
jmul[jul] VcTOcul jmul # Make source short and pretty
:fDnTOcmu # Cleanup sequence
soltest-input
for deposit_contract
supportsInterface(bytes4) 0x00000000
supportsInterface(bytes4) 0xffffffff
supportsInterface(bytes4) 0x01ffc9a7
supportsInterface(bytes4) 0x85640907
get_deposit_root()
get_deposit_count()
deposit(bytes,bytes,bytes,bytes32) --value 1ether 0x933ad9491b62059dd065b560d256d8957a8c402cc6e8d8ee7290ae11e8f7329267a8811c397529dac52ae1342ba58c95 0x00f50428677c60f997aadeab24aabf7fceaef491c96a52b463ae91f95611cf71 0xa29d01cc8c6296a8150e515b5995390ef841dc18948aa3e79be6d7c1851b4cbb5d6ff49fa70b9c782399506a22a85193151b9b691245cebafd2063012443c1324b6c36debaedefb7b2d71b0503ffdc00150aaffd42e63358238ec888901738b8 0xaa4a8d0b7d9077248630f1a4701ae9764e42271d7f22b7838778411857fd349e
get_deposit_root()
get_deposit_count()
deposit(bytes,bytes,bytes,bytes32) --value 32ether 0xb2ce0f79f90e7b3a113ca5783c65756f96c4b4673c2b5c1eb4efc2228025944106d601211e8866dc5b50dc48a244dd7c 0x00344b6c73f71b11c56aba0d01b7d8ad83559f209d0a4101a515f6ad54c89771 0x945caaf82d18e78c033927d51f452ebcd76524497b91d7a11219cb3db6a1d3697595fc095ce489e46b2ef129591f2f6d079be4faaf345a02c5eb133c072e7c560c6c3617eee66b4b878165c502357d49485326bc6b31bc96873f308c8f19c09d 0xdbd986dc85ceb382708cf90a3500f500f0a393c5ece76963ac3ed72eccd2c301
get_deposit_root()
get_deposit_count()
soltest-input
for FixedFeeRegistrar
reserve(string) abc --value 69ether
owner(string) abc
reserve(string) def --value 70ether
owner(string) def
reserve(string) ghi --value 68ether
owner(string) ghi
reserve(string) abc --value 69ether
owner(string) abc
setContent(string,bytes32) abc 0x00000000
transfer(string,address): abc 0x0000000000000000000000000000000000000555
owner(string) abc
content(string) abc
setContent(string,bytes32) def 0x0000000000000000000000000000000000000333
setAddr(string,address) def 0x0000000000000000000000000000000000000124
setSubRegistrar(string,address) def 0x0000000000000000000000000000000000000125
content(string) def
addr(string) def
subRegistrar(string) def
disown(string,address) def 0x0000000000000000000000000000000000000124
owner(string) def
content(string) def
addr(string) def
subRegistrar(string) def
soltest-input
for prbmath_unsigned
div(uint256,uint256) 3141592653589793238 88714123
exp(uint256) 3141592653589793238
exp2(uint256) 3141592653589793238
gm(uint256,uint256) 3141592653589793238 88714123
log10(uint256) 3141592653589793238
log2(uint256) 3141592653589793238
mul(uint256,uint256) 3141592653589793238 88714123
pow(uint256,uint256) 3141592653589793238 5
sqrt(uint256) 3141592653589793238
benchmark(uint256) 3141592653589793238
soltest-input
for ramanujan_pi
prb_pi()
soltest-input
for strings
toSlice(string) hello_world
roundtrip(string) hello_world
utf8len(string) 😃😃😃😃
multiconcat(string,uint256) hello_world 3
#benchmark(string,bytes32) solidity 0x0842021
runtime gas
bytecode size
creation gas
optimization time
compilation time
deposit_contract
774,549
5,063
1,757,620
0
203,944
FixedFeeRegistrar
743,040
2,439
574,030
0
92,241
prbmath_unsigned
453,902
11,308
2,481,278
0
444,652
ramanujan_pi
167,795
2,830
656,702
0
134,374
strings
110,955
3,721
850,978
0
185,155
runtime gas
bytecode size
creation gas
optimization time
compilation time
deposit_contract
655,884
3,073
1,375,899
160,608
259,827
FixedFeeRegistrar
701,482
1,648
403,716
92,176
135,080
prbmath_unsigned
252,079
7,965
1,759,534
249,370
409,066
ramanujan_pi
55,037
1,616
396,520
135,190
233,124
strings
97,799
2,758
643,766
134,327
239,340
Final values vs unoptimized
runtime gas
bytecode size
creation gas
deposit_contract
-15.3%
-39.3%
-21.7%
FixedFeeRegistrar
-5.6%
-32.4% (min: -34.3% )
-29.7% (min: -31.5% )
prbmath_unsigned
-44.5%
-29.6%
-29.1%
ramanujan_pi
-67.2% (min: -67.5% )
-42.9%
-39.6%
strings
-11.9%
-25.9% (min: -27.7% )
-24.3% (min: -26.1% )
step deposit contract
deposit contract
step FixedFeeRegistrar
FixedFeeRegistrar
step prbmath unsigned
prbmath unsigned
step ramanujan pi
ramanujan pi
step strings
strings
0
774549.0
743040.0
453902.0
167,795
110955.0
1
d
774549.0
d
723040.0
d
453902.0
d
167,795
d
110955.0
2
h
774549.0
h
723040.0
h
453902.0
h
167,795
h
110955.0
3
f
774549.0
f
723040.0
f
453902.0
f
167,795
f
110955.0
4
o
774549.0
o
723040.0
o
453902.0
o
167,795
o
110955.0
5
D
774549.0
D
723040.0
D
453902.0
D
167,795
D
110955.0
6
g
774549.0
g
723040.0
g
453902.0
g
167,795
g
110955.0
7
v
774549.0
v
723040.0
v
453902.0
v
167,784
v
110955.0
8
u
774516.0
u
723014.0
u
454022.0
u
167,802
u
110890.0
9
l
774516.0
l
723014.0
l
454022.0
l
167,802
l
110890.0
10
f
774516.0
f
723014.0
f
454022.0
f
167,802
f
110890.0
11
n
774516.0
n
723014.0
n
454022.0
n
167,802
n
110890.0
12
T
774185.0
T
722615.0
T
453656.0
T
167,784
T
110842.0
13
U
774185.0
U
722615.0
U
453656.0
U
167,784
U
110842.0
14
t
774185.0
t
722615.0
t
453656.0
t
167,784
t
110842.0
15
n
774185.0
n
722615.0
n
453656.0
n
167,784
n
110842.0
16
I
776681.0
I
722756.0
I
453656.0
I
167,784
I
110882.0
17
f
776681.0
f
722756.0
f
453656.0
f
167,784
f
110882.0
18
x
776445.0
x
722092.0
x
453669.0
x
168,094
x
110763.0
19
a
779618.0
a
722131.0
a
458531.0
a
171,427
a
111037.0
20
r
779618.0
r
722131.0
r
458531.0
r
171,427
r
111037.0
21
E
779618.0
E
722131.0
E
458531.0
E
171,427
E
111037.0
22
s
779303.0
s
722462.0
s
458508.0
s
171,216
s
111073.0
23
c
759708.0
c
722895.0
c
404653.0
c
150,623
c
109757.0
24
L
759708.0
L
722895.0
L
404653.0
L
150,623
L
109757.0
25
M
734520.0
M
722887.0
M
372793.0
M
149,051
M
109615.0
26
V
734550.0
V
722887.0
V
372793.0
V
149,051
V
109630.0
27
c
740406.0
c
722887.0
c
373029.0
c
149,051
c
108392.0
28
u
740886.0
u
722592.0
u
371829.0
u
146,995
u
107990.0
29
l
740886.0
l
722592.0
l
371829.0
l
146,995
l
107990.0
30
j
741453.0
j
722639.0
j
371790.0
j
146,689
j
108026.0
31
T
734268.0
T
722278.0
T
369336.0
T
139,590
T
107879.0
32
p
734430.0
p
722435.0
p
369714.0
p
139,590
p
107891.0
33
e
697673.0
e
711587.0
e
269158.0
e
76,196
e
101140.0
34
u
697721.0
u
711678.0
u
269198.0
u
76,200
u
101156.0
35
l
697721.0
l
711678.0
l
269198.0
l
76,200
l
101156.0
36
x
697528.0
x
711614.0
x
269053.0
x
76,390
x
101197.0
37
a
700808.0
a
711650.0
a
273890.0
a
80,288
a
101511.0
38
r
700808.0
r
711650.0
r
273890.0
r
80,288
r
101511.0
39
c
704975.0
c
711695.0
c
271543.0
c
81,122
c
101405.0
40
L
705681.0
L
711695.0
L
271543.0
L
81,122
L
101405.0
41
g
705681.0
g
711695.0
g
271543.0
g
81,122
g
101405.0
42
v
705681.0
v
711695.0
v
271543.0
v
81,122
v
101405.0
43
i
684462.0
i
702469.0
i
262582.0
i
71,826
i
98500.0
44
f
684462.0
f
702469.0
f
262582.0
f
71,826
f
98500.0
45
C
684462.0
C
702469.0
C
262732.0
C
71,826
C
98500.0
46
T
669431.0
T
701750.0
T
255907.0
T
62,848
T
98199.0
47
U
669431.0
U
701750.0
U
255757.0
U
62,848
U
98199.0
48
c
683091.0
c
703612.0
c
262147.0
c
70,093
c
98761.0
49
a
684862.0
a
703628.0
a
265539.0
a
71,165
a
99005.0
50
r
686917.0
r
703628.0
r
265539.0
r
70,741
r
99005.0
51
L
686825.0
L
703628.0
L
265539.0
L
70,741
L
98996.0
52
S
686861.0
S
703628.0
S
265539.0
S
70,741
S
98996.0
53
s
673693.0
s
704102.0
s
262433.0
s
68,954
s
99044.0
54
T
667376.0
T
702186.0
T
257436.0
T
64,253
T
98672.0
55
F
665706.0
F
702186.0
F
257399.0
F
63,544
F
98387.0
56
O
665706.0
O
702186.0
O
257399.0
O
63,544
O
98387.0
57
t
667470.0
t
702007.0
t
257401.0
t
63,467
t
98384.0
58
f
667470.0
f
702007.0
f
257401.0
f
63,467
f
98384.0
59
D
667470.0
D
702007.0
D
257401.0
D
63,467
D
98384.0
60
n
667470.0
n
702007.0
n
257401.0
n
63,467
n
98384.0
61
c
671621.0
c
703598.0
c
258039.0
c
68,215
c
98590.0
62
a
674865.0
a
703614.0
a
260713.0
a
69,877
a
98854.0
63
r
674865.0
r
703614.0
r
260713.0
r
69,877
r
98854.0
64
I
674865.0
I
703614.0
I
260713.0
I
69,877
I
98854.0
65
u
674883.0
u
703391.0
u
261458.0
u
66,501
u
98647.0
66
l
674883.0
l
703391.0
l
261458.0
l
66,501
l
98647.0
67
c
671639.0
c
703352.0
c
257291.0
c
65,616
c
98376.0
68
s
670521.0
s
703364.0
s
257221.0
s
65,248
s
98382.0
69
c
672004.0
c
703325.0
c
257185.0
c
65,366
c
98379.0
70
C
672086.0
C
703325.0
C
257335.0
C
65,694
C
98379.0
71
T
657936.0
T
701790.0
T
253349.0
T
59,824
T
97942.0
72
U
658044.0
U
701790.0
U
253199.0
U
59,774
U
97942.0
73
t
658046.0
t
701790.0
t
253175.0
t
59,003
t
97942.0
74
g
658046.0
g
701790.0
g
253175.0
g
59,003
g
97942.0
75
v
658046.0
v
701790.0
v
253175.0
v
59,003
v
97942.0
76
i
658046.0
i
701790.0
i
253119.0
i
56,461
i
97899.0
77
f
658046.0
f
701790.0
f
253119.0
f
56,461
f
97899.0
78
s
658046.0
s
701790.0
s
253119.0
s
56,459
s
97899.0
79
c
670012.0
c
703325.0
c
257116.0
c
61,920
c
98322.0
80
C
671056.0
C
703325.0
C
257266.0
C
61,969
C
98322.0
81
T
658028.0
T
701790.0
T
253269.0
T
55,825
T
97899.0
82
U
658136.0
U
701790.0
U
253119.0
U
55,783
U
97899.0
83
t
658136.0
t
701790.0
t
253119.0
t
55,716
t
97899.0
84
s
658136.0
T
701790.0
s
253119.0
s
55,858
s
97899.0
85
c
670012.0
O
701790.0
c
257116.0
c
61,260
c
98322.0
86
C
671056.0
n
701790.0
C
257266.0
C
61,344
C
98322.0
87
T
658028.0
t
701790.0
T
253269.0
T
56,138
T
97899.0
88
U
658136.0
n
701790.0
U
253119.0
U
56,016
U
97899.0
89
t
658136.0
f
701790.0
t
253119.0
t
55,962
t
97899.0
90
T
658136.0
D
701790.0
T
253119.0
s
55,960
T
97899.0
91
O
658136.0
I
701790.0
O
253119.0
c
61,228
O
97899.0
92
n
658136.0
u
701642.0
n
253119.0
C
61,312
n
97899.0
93
t
658136.0
l
701642.0
t
253119.0
T
56,082
t
97899.0
94
n
658136.0
j
701686.0
n
253119.0
U
55,960
n
97899.0
95
f
658136.0
m
701552.0
f
253119.0
t
55,906
f
97899.0
96
D
658136.0
u
701552.0
D
253119.0
s
55,904
D
97899.0
97
I
658136.0
l
701552.0
I
253119.0
c
61,166
I
97899.0
98
u
658136.0
j
701552.0
u
253120.0
C
61,250
u
97899.0
99
l
658136.0
u
701552.0
l
253120.0
T
56,026
l
97899.0
100
j
658508.0
l
701552.0
j
253120.0
U
55,904
j
97860.0
101
m
658398.0
V
701552.0
m
253063.0
t
55,447
m
97821.0
102
u
658398.0
c
701552.0
u
253063.0
T
55,245
u
97821.0
103
l
658398.0
T
701552.0
l
253063.0
O
55,245
l
97821.0
104
j
658398.0
O
701482.0
j
253063.0
n
55,245
j
97836.0
105
u
658398.0
c
701482.0
u
253063.0
t
55,173
u
97836.0
106
l
658398.0
u
701482.0
l
253063.0
n
55,173
l
97836.0
107
V
658398.0
l
701482.0
V
253029.0
f
55,173
V
97836.0
108
c
659354.0
j
701482.0
c
252360.0
D
55,173
c
97776.0
109
T
658380.0
m
701482.0
T
252372.0
I
55,173
T
97783.0
110
O
655884.0
u
701482.0
O
252091.0
u
55,115
O
97799.0
111
c
656858.0
l
701482.0
c
252079.0
l
55,115
c
97799.0
112
u
656858.0
f
701482.0
u
252079.0
j
55,115
u
97799.0
113
l
656858.0
D
701482.0
l
252079.0
m
55,171
l
97799.0
114
j
656858.0
n
701482.0
j
252079.0
u
55,171
j
97799.0
115
m
655884.0
T
701482.0
m
252079.0
l
55,171
m
97799.0
116
u
655884.0
O
701482.0
u
252079.0
j
55,171
u
97799.0
117
l
655884.0
c
701482.0
l
252079.0
u
55,171
l
97799.0
118
f
655884.0
m
701482.0
f
252079.0
l
55,171
f
97799.0
119
D
655884.0
u
701482.0
D
252079.0
V
55,171
D
97799.0
120
n
655884.0
n
252079.0
c
55,253
n
97799.0
121
T
655884.0
T
252091.0
T
54,987
T
97799.0
122
O
655884.0
O
252091.0
O
54,923
O
97799.0
123
c
656858.0
c
252079.0
c
54,576
c
97799.0
124
m
655884.0
m
252079.0
u
54,576
m
97799.0
125
u
655884.0
u
252079.0
l
54,576
u
97799.0
126
54,576
127
55,037
128
55,037
129
55,037
130
55,037
131
55,037
132
55,037
133
54,923
134
54,923
135
54,576
136
55,037
137
55,037
step deposit contract
deposit contract
step FixedFeeRegistrar
FixedFeeRegistrar
step prbmath unsigned
prbmath unsigned
step ramanujan pi
ramanujan pi
step strings
strings
0
5063.0
2439.0
11308.0
2,830
3721.0
1
d
5063.0
d
2439.0
d
11308.0
d
2,830
d
3721.0
2
h
5063.0
h
2439.0
h
11308.0
h
2,830
h
3721.0
3
f
5063.0
f
2439.0
f
11308.0
f
2,830
f
3721.0
4
o
5063.0
o
2439.0
o
11308.0
o
2,830
o
3721.0
5
D
5063.0
D
2439.0
D
11308.0
D
2,830
D
3721.0
6
g
5063.0
g
2439.0
g
11308.0
g
2,830
g
3721.0
7
v
5063.0
v
2439.0
v
11308.0
v
2,826
v
3721.0
8
u
5004.0
u
2436.0
u
11322.0
u
2,823
u
3729.0
9
l
5004.0
l
2436.0
l
11322.0
l
2,823
l
3729.0
10
f
5004.0
f
2436.0
f
11322.0
f
2,823
f
3729.0
11
n
5004.0
n
2436.0
n
11322.0
n
2,823
n
3729.0
12
T
4984.0
T
2392.0
T
11300.0
T
2,795
T
3724.0
13
U
4984.0
U
2392.0
U
11300.0
U
2,795
U
3724.0
14
t
4984.0
t
2392.0
t
11300.0
t
2,795
t
3724.0
15
n
4984.0
n
2392.0
n
11300.0
n
2,795
n
3724.0
16
I
4994.0
I
2397.0
I
11300.0
I
2,795
I
3725.0
17
f
4994.0
f
2397.0
f
11300.0
f
2,795
f
3725.0
18
x
5228.0
x
2395.0
x
11298.0
x
2,790
x
3722.0
19
a
5247.0
a
2395.0
a
11979.0
a
2,956
a
3830.0
20
r
5247.0
r
2395.0
r
11979.0
r
2,956
r
3830.0
21
E
5247.0
E
2395.0
E
11979.0
E
2,956
E
3830.0
22
s
5349.0
s
2409.0
s
11896.0
s
2,950
s
3841.0
23
c
5179.0
c
2527.0
c
10986.0
c
2,976
c
3879.0
24
L
5179.0
L
2527.0
L
10986.0
L
2,976
L
3879.0
25
M
5200.0
M
2527.0
M
10994.0
M
3,004
M
3939.0
26
V
5201.0
V
2527.0
V
10994.0
V
3,004
V
3942.0
27
c
5234.0
c
2527.0
c
11015.0
c
3,004
c
3866.0
28
u
5240.0
u
2444.0
u
10733.0
u
2,810
u
3718.0
29
l
5240.0
l
2444.0
l
10733.0
l
2,810
l
3718.0
30
j
5110.0
j
2441.0
j
10732.0
j
2,809
j
3718.0
31
T
5018.0
T
2392.0
T
10694.0
T
2,721
T
3647.0
32
p
5034.0
p
2408.0
p
10702.0
p
2,721
p
3652.0
33
e
4220.0
e
2055.0
e
8469.0
e
1,931
e
2963.0
34
u
4225.0
u
2060.0
u
8474.0
u
1,936
u
2968.0
35
l
4225.0
l
2060.0
l
8474.0
l
1,936
l
2968.0
36
x
4338.0
x
2015.0
x
8481.0
x
1,926
x
2987.0
37
a
4364.0
a
2016.0
a
8925.0
a
2,056
a
3083.0
38
r
4364.0
r
2016.0
r
8925.0
r
2,056
r
3083.0
39
c
4592.0
c
2037.0
c
8608.0
c
1,883
c
3071.0
40
L
4585.0
L
2037.0
L
8608.0
L
1,883
L
3035.0
41
g
4585.0
g
2037.0
g
8608.0
g
1,883
g
3035.0
42
v
4585.0
v
2037.0
v
8608.0
v
1,883
v
3035.0
43
i
4657.0
i
1737.0
i
8416.0
i
2,293
i
2838.0
44
f
4657.0
f
1737.0
f
8416.0
f
2,293
f
2838.0
45
C
4657.0
C
1737.0
C
9696.0
C
2,293
C
2840.0
46
T
4366.0
T
1684.0
T
9323.0
T
2,108
T
2695.0
47
U
4366.0
U
1684.0
U
8062.0
U
2,108
U
2690.0
48
c
5364.0
c
1867.0
c
8462.0
c
2,470
c
2876.0
49
a
5105.0
a
1871.0
a
8884.0
a
2,577
a
2959.0
50
r
5170.0
r
1871.0
r
8884.0
r
2,574
r
2959.0
51
L
5173.0
L
1871.0
L
8884.0
L
2,574
L
2958.0
52
S
5168.0
S
1871.0
S
8884.0
S
2,574
S
2958.0
53
s
4642.0
s
1938.0
s
8665.0
s
2,390
s
2995.0
54
T
3948.0
T
1775.0
T
8477.0
T
2,143
T
2814.0
55
F
3896.0
F
1771.0
F
8874.0
F
3,287
F
3368.0
56
O
3896.0
O
1771.0
O
8874.0
O
3,287
O
3368.0
57
t
3926.0
t
1763.0
t
8875.0
t
3,256
t
3364.0
58
f
3926.0
f
1763.0
f
8875.0
f
3,256
f
3364.0
59
D
3926.0
D
1763.0
D
8875.0
D
3,256
D
3364.0
60
n
3926.0
n
1763.0
n
8875.0
n
3,256
n
3364.0
61
c
4526.0
c
1925.0
c
8645.0
c
3,976
c
3428.0
62
a
4623.0
a
1929.0
a
9083.0
a
4,185
a
3524.0
63
r
4623.0
r
1929.0
r
9083.0
r
4,185
r
3524.0
64
I
4623.0
I
1929.0
I
9083.0
I
4,185
I
3524.0
65
u
3481.0
u
1873.0
u
8539.0
u
2,196
u
3031.0
66
l
3481.0
l
1873.0
l
8539.0
l
2,196
l
3031.0
67
c
3462.0
c
1872.0
c
8098.0
c
2,123
c
2943.0
68
s
3563.0
s
1869.0
s
8077.0
s
2,239
s
2918.0
69
c
3528.0
c
1861.0
c
8081.0
c
2,268
c
2918.0
70
C
3505.0
C
1861.0
C
9283.0
C
2,308
C
2926.0
71
T
3079.0
T
1602.0
T
9342.0
T
2,189
T
2797.0
72
U
3079.0
U
1602.0
U
8002.0
U
2,179
U
2791.0
73
t
3079.0
t
1602.0
t
7992.0
t
2,101
t
2791.0
74
g
3079.0
g
1602.0
g
7992.0
g
2,101
g
2791.0
75
v
3079.0
v
1602.0
v
7992.0
v
2,101
v
2791.0
76
i
3079.0
i
1602.0
i
8099.0
i
2,386
i
2885.0
77
f
3079.0
f
1602.0
f
8099.0
f
2,386
f
2885.0
78
s
3079.0
s
1602.0
s
8099.0
s
2,397
s
2885.0
79
c
3465.0
c
1861.0
c
8203.0
c
2,450
c
3001.0
80
C
3470.0
C
1861.0
C
9405.0
C
2,458
C
3009.0
81
T
3082.0
T
1602.0
T
9440.0
T
2,416
T
2891.0
82
U
3082.0
U
1602.0
U
8100.0
U
2,413
U
2885.0
83
t
3082.0
t
1602.0
t
8100.0
t
2,355
t
2885.0
84
s
3082.0
T
1602.0
s
8100.0
s
2,375
s
2885.0
85
c
3465.0
O
1602.0
c
8203.0
c
2,404
c
3001.0
86
C
3470.0
n
1602.0
C
9405.0
C
2,424
C
3009.0
87
T
3082.0
t
1602.0
T
9440.0
T
2,428
T
2891.0
88
U
3082.0
n
1602.0
U
8100.0
U
2,409
U
2885.0
89
t
3082.0
f
1602.0
t
8100.0
t
2,354
t
2885.0
90
T
3082.0
D
1602.0
T
8100.0
s
2,363
T
2885.0
91
O
3082.0
I
1602.0
O
8100.0
c
2,335
O
2885.0
92
n
3082.0
u
1642.0
n
8100.0
C
2,355
n
2885.0
93
t
3082.0
l
1642.0
t
8100.0
T
2,382
t
2885.0
94
n
3082.0
j
1647.0
n
8100.0
U
2,363
n
2885.0
95
f
3082.0
m
1650.0
f
8100.0
t
2,330
f
2885.0
96
D
3082.0
u
1650.0
D
8100.0
s
2,338
D
2885.0
97
I
3082.0
l
1650.0
I
8100.0
c
2,307
I
2885.0
98
u
3085.0
j
1650.0
u
7999.0
C
2,327
u
2780.0
99
l
3085.0
u
1650.0
l
7999.0
T
2,357
l
2780.0
100
j
3085.0
l
1650.0
j
7999.0
U
2,338
j
2779.0
101
m
3081.0
V
1650.0
m
7987.0
t
2,041
m
2771.0
102
u
3081.0
c
1650.0
u
7987.0
T
1,924
u
2771.0
103
l
3081.0
T
1650.0
l
7987.0
O
1,924
l
2771.0
104
j
3081.0
O
1648.0
j
7987.0
n
1,924
j
2772.0
105
u
3081.0
c
1648.0
u
7987.0
t
1,924
u
2772.0
106
l
3081.0
u
1648.0
l
7987.0
n
1,924
l
2772.0
107
V
3081.0
l
1648.0
V
7982.0
f
1,924
V
2772.0
108
c
3183.0
j
1648.0
c
7969.0
D
1,924
c
2764.0
109
T
3080.0
m
1648.0
T
7971.0
I
1,924
T
2767.0
110
O
3073.0
u
1648.0
O
7967.0
u
1,694
O
2758.0
111
c
3173.0
l
1648.0
c
7965.0
l
1,694
c
2758.0
112
u
3173.0
f
1648.0
u
7965.0
j
1,694
u
2758.0
113
l
3173.0
D
1648.0
l
7965.0
m
1,693
l
2758.0
114
j
3173.0
n
1648.0
j
7965.0
u
1,693
j
2758.0
115
m
3073.0
T
1648.0
m
7965.0
l
1,693
m
2758.0
116
u
3073.0
O
1648.0
u
7965.0
j
1,693
u
2758.0
117
l
3073.0
c
1648.0
l
7965.0
u
1,693
l
2758.0
118
f
3073.0
m
1648.0
f
7965.0
l
1,693
f
2758.0
119
D
3073.0
u
1648.0
D
7965.0
V
1,693
D
2758.0
120
n
3073.0
n
7965.0
c
1,725
n
2758.0
121
T
3073.0
T
7967.0
T
1,685
T
2758.0
122
O
3073.0
O
7967.0
O
1,671
O
2758.0
123
c
3173.0
c
7965.0
c
1,698
c
2758.0
124
m
3073.0
m
7965.0
u
1,698
m
2758.0
125
u
3073.0
u
7965.0
l
1,698
u
2758.0
126
1,698
127
1,616
128
1,616
129
1,616
130
1,616
131
1,616
132
1,616
133
1,671
134
1,671
135
1,698
136
1,616
137
1,616
step deposit contract
deposit contract
step FixedFeeRegistrar
FixedFeeRegistrar
step prbmath unsigned
prbmath unsigned
step ramanujan pi
ramanujan pi
step strings
strings
0
1757620.0
574030.0
2481278.0
656,702
850978.0
1
d
1757620.0
d
574030.0
d
2481278.0
d
656,702
d
850978.0
2
h
1757620.0
h
574030.0
h
2481278.0
h
656,702
h
850978.0
3
f
1757620.0
f
574030.0
f
2481278.0
f
656,702
f
850978.0
4
o
1757620.0
o
574030.0
o
2481278.0
o
656,702
o
850978.0
5
D
1757620.0
D
574030.0
D
2481278.0
D
656,702
D
850978.0
6
g
1757620.0
g
574030.0
g
2481278.0
g
656,702
g
850978.0
7
v
1757620.0
v
573790.0
v
2481278.0
v
655,814
v
850834.0
8
u
1745349.0
u
573142.0
u
2484314.0
u
655,190
u
852562.0
9
l
1745349.0
l
573142.0
l
2484314.0
l
655,190
l
852562.0
10
f
1745349.0
f
573142.0
f
2484314.0
f
655,190
f
852562.0
11
n
1745349.0
n
573142.0
n
2484314.0
n
655,190
n
852562.0
12
T
1741199.0
T
563621.0
T
2479538.0
T
649,146
T
851470.0
13
U
1741199.0
U
563621.0
U
2479538.0
U
649,146
U
851470.0
14
t
1741199.0
t
563621.0
t
2479538.0
t
649,146
t
851470.0
15
n
1741199.0
n
563621.0
n
2479538.0
n
649,146
n
851470.0
16
I
1743000.0
I
564689.0
I
2479538.0
I
649,146
I
851674.0
17
f
1743000.0
f
564689.0
f
2479538.0
f
649,146
f
851674.0
18
x
1791293.0
x
564245.0
x
2479010.0
x
648,042
x
851038.0
19
a
1796876.0
a
564245.0
a
2626293.0
a
683,976
a
874415.0
20
r
1796876.0
r
564245.0
r
2626293.0
r
683,976
r
874415.0
21
E
1796876.0
E
564245.0
E
2626293.0
E
683,976
E
874415.0
22
s
1814871.0
s
567290.0
s
2608384.0
s
682,704
s
876776.0
23
c
1777115.0
c
593221.0
c
2412021.0
c
689,314
c
885368.0
24
L
1777115.0
L
593221.0
L
2412021.0
L
689,314
L
885368.0
25
M
1770872.0
M
593221.0
M
2413701.0
M
695,280
M
898381.0
26
V
1771088.0
V
593221.0
V
2413701.0
V
695,280
V
899017.0
27
c
1778626.0
c
593221.0
c
2418282.0
c
695,280
c
882564.0
28
u
1781832.0
u
575294.0
u
2357394.0
u
653,386
u
850526.0
29
l
1781832.0
l
575294.0
l
2357394.0
l
653,386
l
850526.0
30
j
1753574.0
j
574658.0
j
2357178.0
j
653,170
j
850574.0
31
T
1736985.0
T
563997.0
T
2348841.0
T
634,121
T
835207.0
32
p
1740431.0
p
567474.0
p
2350641.0
p
634,121
p
836289.0
33
e
1589617.0
e
491111.0
e
1867598.0
e
463,922
e
687292.0
34
u
1590718.0
u
492191.0
u
1868750.0
u
465,002
u
688372.0
35
l
1590718.0
l
492191.0
l
1868750.0
l
465,002
l
688372.0
36
x
1613360.0
x
482448.0
x
1870271.0
x
462,866
x
692496.0
37
a
1621387.0
a
482664.0
a
1966281.0
a
490,979
a
713257.0
38
r
1621387.0
r
482664.0
r
1966281.0
r
490,979
r
713257.0
39
c
1667957.0
c
487241.0
c
1897824.0
c
453,696
c
710678.0
40
L
1666426.0
L
487240.0
L
1897823.0
L
453,695
L
702874.0
41
g
1666426.0
g
487240.0
g
1897823.0
g
453,695
g
702874.0
42
v
1666426.0
v
487240.0
v
1897823.0
v
453,695
v
702874.0
43
i
1639703.0
i
422186.0
i
1856681.0
i
542,050
i
660392.0
44
f
1639703.0
f
422186.0
f
1856681.0
f
542,050
f
660392.0
45
C
1639703.0
C
422186.0
C
2134030.0
C
542,050
C
660824.0
46
T
1593207.0
T
411105.0
T
2053520.0
T
501,962
T
629854.0
47
U
1593207.0
U
411105.0
U
1780285.0
U
501,962
U
628774.0
48
c
1778142.0
c
450611.0
c
1866904.0
c
580,104
c
668668.0
49
a
1708510.0
a
451475.0
a
1958186.0
a
603,205
a
686610.0
50
r
1722544.0
r
451475.0
r
1958186.0
r
602,569
r
686610.0
51
L
1719835.0
L
451475.0
L
1958186.0
L
602,569
L
686406.0
52
S
1718755.0
S
451475.0
S
1958186.0
S
602,569
S
686406.0
53
s
1626535.0
s
466024.0
s
1910770.0
s
562,823
s
694394.0
54
T
1504402.0
T
430785.0
T
1870030.0
T
509,746
T
655601.0
55
F
1493152.0
F
429921.0
F
1955785.0
F
756,748
F
775374.0
56
O
1493152.0
O
429921.0
O
1955785.0
O
756,748
O
775374.0
57
t
1499817.0
t
428193.0
t
1956013.0
t
750,104
t
774510.0
58
f
1499817.0
f
428193.0
f
1956013.0
f
750,104
f
774510.0
59
D
1499817.0
D
428193.0
D
1956013.0
D
750,104
D
774510.0
60
n
1499817.0
n
428193.0
n
1956013.0
n
750,104
n
774510.0
61
c
1604029.0
c
463336.0
c
1906390.0
c
905,604
c
788040.0
62
a
1613865.0
a
464200.0
a
2001140.0
a
950,895
a
808669.0
63
r
1613865.0
r
464200.0
r
2001140.0
r
950,895
r
808669.0
64
I
1613865.0
I
464200.0
I
2001140.0
I
950,895
I
808669.0
65
u
1453259.0
u
452506.0
u
1883973.0
u
521,793
u
702633.0
66
l
1453259.0
l
452506.0
l
1883973.0
l
521,793
l
702633.0
67
c
1449577.0
c
452290.0
c
1788600.0
c
506,020
c
683643.0
68
s
1471675.0
s
451630.0
s
1784055.0
s
531,095
s
678404.0
69
c
1467997.0
c
449914.0
c
1784931.0
c
537,367
c
678404.0
70
C
1467424.0
C
449914.0
C
2045411.0
C
546,030
C
680132.0
71
T
1376941.0
T
393376.0
T
2057524.0
T
519,885
T
652079.0
72
U
1376941.0
U
393376.0
U
1767189.0
U
517,713
U
650783.0
73
t
1376929.0
t
393376.0
t
1765032.0
t
500,828
t
650783.0
74
g
1376929.0
g
393376.0
g
1765032.0
g
500,828
g
650783.0
75
v
1376929.0
v
393376.0
v
1765032.0
v
500,828
v
650783.0
76
i
1376929.0
i
393376.0
i
1788168.0
i
562,654
i
671088.0
77
f
1376929.0
f
393376.0
f
1788168.0
f
562,654
f
671088.0
78
s
1376929.0
s
393376.0
s
1788168.0
s
564,977
s
671088.0
79
c
1458977.0
c
449914.0
c
1811283.0
c
576,747
c
696325.0
80
C
1460057.0
C
449914.0
C
2071786.0
C
578,475
C
698049.0
81
T
1377577.0
T
393376.0
T
2078707.0
T
568,987
T
672384.0
82
U
1377577.0
U
393376.0
U
1788396.0
U
568,327
U
671088.0
83
t
1377577.0
t
393376.0
t
1788396.0
t
555,782
t
671088.0
84
s
1377577.0
T
393376.0
s
1788396.0
s
560,098
s
671088.0
85
c
1458977.0
O
393376.0
c
1811283.0
c
566,683
c
696325.0
86
C
1460057.0
n
393376.0
C
2071786.0
C
571,123
C
698049.0
87
T
1377577.0
t
393376.0
T
2078707.0
T
571,633
T
672384.0
88
U
1377577.0
n
393376.0
U
1788396.0
U
567,523
U
671088.0
89
t
1377577.0
f
393376.0
t
1788396.0
t
555,710
t
671088.0
90
T
1377577.0
D
393376.0
T
1788396.0
s
557,570
T
671088.0
91
O
1377577.0
I
393376.0
O
1788396.0
c
551,880
O
671088.0
92
n
1377577.0
u
402408.0
n
1788396.0
C
556,166
n
671088.0
93
t
1377577.0
l
402408.0
t
1788396.0
T
561,682
t
671088.0
94
n
1377577.0
j
403488.0
n
1788396.0
U
557,570
n
671088.0
95
f
1377577.0
m
404148.0
f
1788396.0
t
550,518
f
671088.0
96
D
1377577.0
u
404148.0
D
1788396.0
s
552,158
D
671088.0
97
I
1377577.0
l
404148.0
I
1788396.0
c
545,826
I
671088.0
98
u
1378345.0
j
404148.0
u
1766851.0
C
550,146
u
648549.0
99
l
1378345.0
u
404148.0
l
1766851.0
T
556,274
l
648549.0
100
j
1378345.0
l
404148.0
j
1766851.0
U
552,158
j
648326.0
101
m
1377553.0
V
404148.0
m
1764204.0
t
488,103
m
646586.0
102
u
1377553.0
c
404148.0
u
1764204.0
T
462,699
u
646586.0
103
l
1377553.0
T
404148.0
l
1764204.0
O
462,699
l
646586.0
104
j
1377553.0
O
403716.0
j
1764204.0
n
462,699
j
646802.0
105
u
1377553.0
c
403716.0
u
1764204.0
t
462,699
u
646802.0
106
l
1377553.0
u
403716.0
l
1764204.0
n
462,699
l
646802.0
107
V
1377553.0
l
403716.0
V
1763196.0
f
462,699
V
646802.0
108
c
1394831.0
j
403716.0
c
1760388.0
D
462,699
c
645074.0
109
T
1377337.0
m
403716.0
T
1760808.0
I
462,699
T
645722.0
110
O
1375899.0
u
403716.0
O
1759954.0
u
413,235
O
643766.0
111
c
1392966.0
l
403716.0
c
1759534.0
l
413,235
c
643766.0
112
u
1392966.0
f
403716.0
u
1759534.0
j
413,235
u
643766.0
113
l
1392966.0
D
403716.0
l
1759534.0
m
413,019
l
643766.0
114
j
1392966.0
n
403716.0
j
1759534.0
u
413,019
j
643766.0
115
m
1375899.0
T
403716.0
m
1759534.0
l
413,019
m
643766.0
116
u
1375899.0
O
403716.0
u
1759534.0
j
413,019
u
643766.0
117
l
1375899.0
c
403716.0
l
1759534.0
u
413,019
l
643766.0
118
f
1375899.0
m
403716.0
f
1759534.0
l
413,019
f
643766.0
119
D
1375899.0
u
403716.0
D
1759534.0
V
413,019
D
643766.0
120
n
1375899.0
n
1759534.0
c
420,071
n
643766.0
121
T
1375899.0
T
1759954.0
T
411,249
T
643766.0
122
O
1375899.0
O
1759954.0
O
408,273
O
643766.0
123
c
1392966.0
c
1759534.0
c
414,257
c
643766.0
124
m
1375899.0
m
1759534.0
u
414,257
m
643766.0
125
u
1375899.0
u
1759534.0
l
414,257
u
643766.0
126
414,257
127
396,520
128
396,520
129
396,520
130
396,520
131
396,520
132
396,520
133
408,273
134
408,273
135
414,257
136
396,520
137
396,520
step deposit contract
deposit contract
step FixedFeeRegistrar
FixedFeeRegistrar
step prbmath unsigned
prbmath unsigned
step ramanujan pi
ramanujan pi
step strings
strings
0
0.0
0.0
0.0
0
0.0
1
d
65.0
d
26.0
d
77.0
d
64
d
47.0
2
h
116.0
h
59.0
h
283.0
h
107
h
139.0
3
f
30.0
f
17.0
f
46.0
f
21
f
34.0
4
o
44.0
o
20.0
o
55.0
o
30
o
45.0
5
D
4066.0
D
2199.0
D
8148.0
D
1,963
D
3706.0
6
g
1.0
g
0.0
g
1.0
g
0
g
1.0
7
v
914.0
v
385.0
v
1371.0
v
510
v
600.0
8
u
2530.0
u
1806.0
u
4262.0
u
1,284
u
2468.0
9
l
373.0
l
139.0
l
482.0
l
111
l
176.0
10
f
52.0
f
17.0
f
43.0
f
21
f
30.0
11
n
295.0
n
145.0
n
455.0
n
188
n
243.0
12
T
746.0
T
371.0
T
2048.0
T
765
T
876.0
13
U
2524.0
U
1885.0
U
6964.0
U
1,513
U
2611.0
14
t
427.0
t
23.0
t
67.0
t
28
t
30.0
15
n
240.0
n
133.0
n
561.0
n
293
n
306.0
16
I
383.0
I
22.0
I
44.0
I
28
I
37.0
17
f
29.0
f
15.0
f
40.0
f
21
f
28.0
18
x
1870.0
x
642.0
x
2485.0
x
1,095
x
957.0
19
a
1260.0
a
612.0
a
2629.0
a
1,108
a
1346.0
20
r
3173.0
r
1926.0
r
6633.0
r
1,988
r
2910.0
21
E
3025.0
E
1596.0
E
5476.0
E
1,695
E
2931.0
22
s
4056.0
s
1421.0
s
5341.0
s
2,057
s
2352.0
23
c
3111.0
c
1710.0
c
7394.0
c
2,554
c
2806.0
24
L
2513.0
L
1590.0
L
6187.0
L
1,736
L
2526.0
25
M
1677.0
M
1213.0
M
3599.0
M
1,035
M
1765.0
26
V
157.0
V
86.0
V
297.0
V
115
V
181.0
27
c
3675.0
c
1752.0
c
6881.0
c
1,946
c
2604.0
28
u
4535.0
u
2345.0
u
5470.0
u
1,868
u
3141.0
29
l
255.0
l
167.0
l
609.0
l
141
l
171.0
30
j
578.0
j
232.0
j
786.0
j
311
j
345.0
31
T
629.0
T
194.0
T
561.0
T
318
T
449.0
32
p
509.0
p
207.0
p
496.0
p
136
p
278.0
33
e
318.0
e
130.0
e
720.0
e
228
e
263.0
34
u
1426.0
u
1082.0
u
1340.0
u
644
u
1402.0
35
l
145.0
l
108.0
l
123.0
l
68
l
115.0
36
x
1035.0
x
666.0
x
1094.0
x
605
x
736.0
37
a
765.0
a
355.0
a
1142.0
a
519
a
815.0
38
r
1858.0
r
1313.0
r
2121.0
r
708
r
1655.0
39
c
3045.0
c
1140.0
c
2507.0
c
903
c
1910.0
40
L
2982.0
L
1193.0
L
2012.0
L
781
L
1558.0
41
g
0.0
g
0.0
g
0.0
g
0
g
0.0
42
v
655.0
v
314.0
v
588.0
v
256
v
473.0
43
i
9401.0
i
6932.0
i
10601.0
i
3,391
i
4162.0
44
f
82.0
f
62.0
f
132.0
f
33
f
70.0
45
C
2528.0
C
1704.0
C
2840.0
C
941
C
1804.0
46
T
4264.0
T
2354.0
T
4956.0
T
1,563
T
2052.0
47
U
2773.0
U
1503.0
U
2721.0
U
858
U
2690.0
48
c
6382.0
c
4215.0
c
8444.0
c
2,742
c
2629.0
49
a
4205.0
a
2602.0
a
6270.0
a
2,298
a
2049.0
50
r
3841.0
r
2420.0
r
4398.0
r
1,555
r
2146.0
51
L
5552.0
L
3584.0
L
9605.0
L
2,134
L
2350.0
52
S
9265.0
S
5126.0
S
9057.0
S
2,824
S
4144.0
53
s
6637.0
s
5399.0
s
10210.0
s
3,258
s
2681.0
54
T
3380.0
T
2248.0
T
5473.0
T
1,427
T
1465.0
55
F
682.0
F
852.0
F
2659.0
F
6,646
F
1988.0
56
O
68.0
O
68.0
O
131.0
O
142
O
58.0
57
t
193.0
t
112.0
t
339.0
t
204
t
86.0
58
f
75.0
f
57.0
f
107.0
f
70
f
125.0
59
D
2016.0
D
1601.0
D
2704.0
D
1,749
D
2271.0
60
n
1141.0
n
858.0
n
1962.0
n
1,210
n
747.0
61
c
6166.0
c
4225.0
c
10823.0
c
6,678
c
4076.0
62
a
2991.0
a
1766.0
a
6132.0
a
4,711
a
2610.0
63
r
2624.0
r
2114.0
r
4462.0
r
2,618
r
3522.0
64
I
58.0
I
45.0
I
103.0
I
57
I
51.0
65
u
4925.0
u
2752.0
u
6641.0
u
3,823
u
3501.0
66
l
45.0
l
26.0
l
110.0
l
72
l
120.0
67
c
1469.0
c
564.0
c
2657.0
c
1,727
c
1494.0
68
s
1556.0
s
856.0
s
3882.0
s
1,504
s
1661.0
69
c
1041.0
c
545.0
c
2197.0
c
1,041
c
1388.0
70
C
679.0
C
573.0
C
1055.0
C
776
C
1592.0
71
T
739.0
T
367.0
T
1542.0
T
751
T
1004.0
72
U
590.0
U
267.0
U
882.0
U
567
U
1820.0
73
t
109.0
t
14.0
t
152.0
t
102
t
161.0
74
g
0.0
g
0.0
g
0.0
g
0
g
0.0
75
v
254.0
v
170.0
v
650.0
v
253
v
564.0
76
i
869.0
i
506.0
i
1815.0
i
2,912
i
2091.0
77
f
21.0
f
12.0
f
58.0
f
115
f
30.0
78
s
1527.0
s
829.0
s
3845.0
s
3,061
s
1671.0
79
c
1126.0
c
689.0
c
2450.0
c
2,542
c
1910.0
80
C
591.0
C
317.0
C
1059.0
C
676
C
1466.0
81
T
760.0
T
368.0
T
1573.0
T
1,712
T
861.0
82
U
575.0
U
267.0
U
1013.0
U
639
U
1326.0
83
t
24.0
t
13.0
t
37.0
t
128
t
36.0
84
s
1427.0
T
293.0
s
3927.0
s
2,584
s
2036.0
85
c
1169.0
O
11.0
c
2449.0
c
2,539
c
1867.0
86
C
699.0
n
87.0
C
1001.0
C
659
C
2472.0
87
T
717.0
t
12.0
T
1839.0
T
1,828
T
1008.0
88
U
571.0
n
75.0
U
902.0
U
631
U
1324.0
89
t
22.0
f
12.0
t
37.0
t
122
t
33.0
90
T
710.0
D
299.0
T
1490.0
s
2,693
T
746.0
91
O
21.0
I
10.0
O
31.0
c
2,534
O
32.0
92
n
147.0
u
406.0
n
324.0
C
743
n
271.0
93
t
22.0
l
20.0
t
34.0
T
2,093
t
32.0
94
n
196.0
j
95.0
n
304.0
U
686
n
277.0
95
f
21.0
m
145.0
f
33.0
t
118
f
31.0
96
D
656.0
u
235.0
D
979.0
s
2,616
D
1335.0
97
I
17.0
l
19.0
I
26.0
c
2,338
I
28.0
98
u
734.0
j
32.0
u
1289.0
C
709
u
1250.0
99
l
38.0
u
160.0
l
42.0
T
1,904
l
96.0
100
j
185.0
l
17.0
j
277.0
U
651
j
213.0
101
m
351.0
V
85.0
m
468.0
t
115
m
418.0
102
u
534.0
c
229.0
u
468.0
T
1,744
u
774.0
103
l
36.0
T
68.0
l
39.0
O
46
l
96.0
104
j
81.0
O
10.0
j
158.0
n
340
j
120.0
105
u
341.0
c
259.0
u
325.0
t
104
u
639.0
106
l
37.0
u
221.0
l
38.0
n
286
l
111.0
107
V
195.0
l
18.0
V
230.0
f
88
V
285.0
108
c
469.0
j
31.0
c
730.0
D
593
c
731.0
109
T
164.0
m
111.0
T
263.0
I
24
T
213.0
110
O
19.0
u
162.0
O
25.0
u
1,015
O
31.0
111
c
461.0
l
17.0
c
664.0
l
30
c
771.0
112
u
504.0
f
8.0
u
434.0
j
140
u
748.0
113
l
37.0
D
183.0
l
40.0
m
497
l
158.0
114
j
81.0
n
29.0
j
85.0
u
411
j
144.0
115
m
270.0
T
74.0
m
393.0
l
30
m
485.0
116
u
344.0
O
7.0
u
317.0
j
80
u
624.0
117
l
35.0
c
223.0
l
38.0
u
228
l
95.0
118
f
14.0
m
110.0
f
19.0
l
27
f
21.0
119
D
622.0
u
165.0
D
698.0
V
283
D
1175.0
120
n
62.0
n
103.0
c
576
n
97.0
121
T
194.0
T
263.0
T
284
T
269.0
122
O
16.0
O
19.0
O
22
O
32.0
123
c
461.0
c
673.0
c
613
c
753.0
124
m
273.0
m
393.0
u
341
m
365.0
125
u
344.0
u
318.0
l
27
u
583.0
126
70
127
398
128
262
129
27
130
12
131
265
132
46
133
268
134
13
135
540
136
397
137
228
step deposit contract
deposit contract
step FixedFeeRegistrar
FixedFeeRegistrar
step prbmath unsigned
prbmath unsigned
step ramanujan pi
ramanujan pi
step strings
strings
0
0.0
0.0
0.0
0
0.0
1
d
65.0
d
26.0
d
77.0
d
64
d
47.0
2
h
181.0
h
85.0
h
360.0
h
171
h
186.0
3
f
211.0
f
102.0
f
406.0
f
192
f
220.0
4
o
255.0
o
122.0
o
461.0
o
222
o
265.0
5
D
4321.0
D
2321.0
D
8609.0
D
2,185
D
3971.0
6
g
4322.0
g
2321.0
g
8610.0
g
2,185
g
3972.0
7
v
5236.0
v
2706.0
v
9981.0
v
2,695
v
4572.0
8
u
7766.0
u
4512.0
u
14243.0
u
3,979
u
7040.0
9
l
8139.0
l
4651.0
l
14725.0
l
4,090
l
7216.0
10
f
8191.0
f
4668.0
f
14768.0
f
4,111
f
7246.0
11
n
8486.0
n
4813.0
n
15223.0
n
4,299
n
7489.0
12
T
9232.0
T
5184.0
T
17271.0
T
5,064
T
8365.0
13
U
11756.0
U
7069.0
U
24235.0
U
6,577
U
10976.0
14
t
12183.0
t
7092.0
t
24302.0
t
6,605
t
11006.0
15
n
12423.0
n
7225.0
n
24863.0
n
6,898
n
11312.0
16
I
12806.0
I
7247.0
I
24907.0
I
6,926
I
11349.0
17
f
12835.0
f
7262.0
f
24947.0
f
6,947
f
11377.0
18
x
14705.0
x
7904.0
x
27432.0
x
8,042
x
12334.0
19
a
15965.0
a
8516.0
a
30061.0
a
9,150
a
13680.0
20
r
19138.0
r
10442.0
r
36694.0
r
11,138
r
16590.0
21
E
22163.0
E
12038.0
E
42170.0
E
12,833
E
19521.0
22
s
26219.0
s
13459.0
s
47511.0
s
14,890
s
21873.0
23
c
29330.0
c
15169.0
c
54905.0
c
17,444
c
24679.0
24
L
31843.0
L
16759.0
L
61092.0
L
19,180
L
27205.0
25
M
33520.0
M
17972.0
M
64691.0
M
20,215
M
28970.0
26
V
33677.0
V
18058.0
V
64988.0
V
20,330
V
29151.0
27
c
37352.0
c
19810.0
c
71869.0
c
22,276
c
31755.0
28
u
41887.0
u
22155.0
u
77339.0
u
24,144
u
34896.0
29
l
42142.0
l
22322.0
l
77948.0
l
24,285
l
35067.0
30
j
42720.0
j
22554.0
j
78734.0
j
24,596
j
35412.0
31
T
43349.0
T
22748.0
T
79295.0
T
24,914
T
35861.0
32
p
43858.0
p
22955.0
p
79791.0
p
25,050
p
36139.0
33
e
44176.0
e
23085.0
e
80511.0
e
25,278
e
36402.0
34
u
45602.0
u
24167.0
u
81851.0
u
25,922
u
37804.0
35
l
45747.0
l
24275.0
l
81974.0
l
25,990
l
37919.0
36
x
46782.0
x
24941.0
x
83068.0
x
26,595
x
38655.0
37
a
47547.0
a
25296.0
a
84210.0
a
27,114
a
39470.0
38
r
49405.0
r
26609.0
r
86331.0
r
27,822
r
41125.0
39
c
52450.0
c
27749.0
c
88838.0
c
28,725
c
43035.0
40
L
55432.0
L
28942.0
L
90850.0
L
29,506
L
44593.0
41
g
55432.0
g
28942.0
g
90850.0
g
29,506
g
44593.0
42
v
56087.0
v
29256.0
v
91438.0
v
29,762
v
45066.0
43
i
65488.0
i
36188.0
i
102039.0
i
33,153
i
49228.0
44
f
65570.0
f
36250.0
f
102171.0
f
33,186
f
49298.0
45
C
68098.0
C
37954.0
C
105011.0
C
34,127
C
51102.0
46
T
72362.0
T
40308.0
T
109967.0
T
35,690
T
53154.0
47
U
75135.0
U
41811.0
U
112688.0
U
36,548
U
55844.0
48
c
81517.0
c
46026.0
c
121132.0
c
39,290
c
58473.0
49
a
85722.0
a
48628.0
a
127402.0
a
41,588
a
60522.0
50
r
89563.0
r
51048.0
r
131800.0
r
43,143
r
62668.0
51
L
95115.0
L
54632.0
L
141405.0
L
45,277
L
65018.0
52
S
104380.0
S
59758.0
S
150462.0
S
48,101
S
69162.0
53
s
111017.0
s
65157.0
s
160672.0
s
51,359
s
71843.0
54
T
114397.0
T
67405.0
T
166145.0
T
52,786
T
73308.0
55
F
115079.0
F
68257.0
F
168804.0
F
59,432
F
75296.0
56
O
115147.0
O
68325.0
O
168935.0
O
59,574
O
75354.0
57
t
115340.0
t
68437.0
t
169274.0
t
59,778
t
75440.0
58
f
115415.0
f
68494.0
f
169381.0
f
59,848
f
75565.0
59
D
117431.0
D
70095.0
D
172085.0
D
61,597
D
77836.0
60
n
118572.0
n
70953.0
n
174047.0
n
62,807
n
78583.0
61
c
124738.0
c
75178.0
c
184870.0
c
69,485
c
82659.0
62
a
127729.0
a
76944.0
a
191002.0
a
74,196
a
85269.0
63
r
130353.0
r
79058.0
r
195464.0
r
76,814
r
88791.0
64
I
130411.0
I
79103.0
I
195567.0
I
76,871
I
88842.0
65
u
135336.0
u
81855.0
u
202208.0
u
80,694
u
92343.0
66
l
135381.0
l
81881.0
l
202318.0
l
80,766
l
92463.0
67
c
136850.0
c
82445.0
c
204975.0
c
82,493
c
93957.0
68
s
138406.0
s
83301.0
s
208857.0
s
83,997
s
95618.0
69
c
139447.0
c
83846.0
c
211054.0
c
85,038
c
97006.0
70
C
140126.0
C
84419.0
C
212109.0
C
85,814
C
98598.0
71
T
140865.0
T
84786.0
T
213651.0
T
86,565
T
99602.0
72
U
141455.0
U
85053.0
U
214533.0
U
87,132
U
101422.0
73
t
141564.0
t
85067.0
t
214685.0
t
87,234
t
101583.0
74
g
141564.0
g
85067.0
g
214685.0
g
87,234
g
101583.0
75
v
141818.0
v
85237.0
v
215335.0
v
87,487
v
102147.0
76
i
142687.0
i
85743.0
i
217150.0
i
90,399
i
104238.0
77
f
142708.0
f
85755.0
f
217208.0
f
90,514
f
104268.0
78
s
144235.0
s
86584.0
s
221053.0
s
93,575
s
105939.0
79
c
145361.0
c
87273.0
c
223503.0
c
96,117
c
107849.0
80
C
145952.0
C
87590.0
C
224562.0
C
96,793
C
109315.0
81
T
146712.0
T
87958.0
T
226135.0
T
98,505
T
110176.0
82
U
147287.0
U
88225.0
U
227148.0
U
99,144
U
111502.0
83
t
147311.0
t
88238.0
t
227185.0
t
99,272
t
111538.0
84
s
148738.0
T
88531.0
s
231112.0
s
101,856
s
113574.0
85
c
149907.0
O
88542.0
c
233561.0
c
104,395
c
115441.0
86
C
150606.0
n
88629.0
C
234562.0
C
105,054
C
117913.0
87
T
151323.0
t
88641.0
T
236401.0
T
106,882
T
118921.0
88
U
151894.0
n
88716.0
U
237303.0
U
107,513
U
120245.0
89
t
151916.0
f
88728.0
t
237340.0
t
107,635
t
120278.0
90
T
152626.0
D
89027.0
T
238830.0
s
110,328
T
121024.0
91
O
152647.0
I
89037.0
O
238861.0
c
112,862
O
121056.0
92
n
152794.0
u
89443.0
n
239185.0
C
113,605
n
121327.0
93
t
152816.0
l
89463.0
t
239219.0
T
115,698
t
121359.0
94
n
153012.0
j
89558.0
n
239523.0
U
116,384
n
121636.0
95
f
153033.0
m
89703.0
f
239556.0
t
116,502
f
121667.0
96
D
153689.0
u
89938.0
D
240535.0
s
119,118
D
123002.0
97
I
153706.0
l
89957.0
I
240561.0
c
121,456
I
123030.0
98
u
154440.0
j
89989.0
u
241850.0
C
122,165
u
124280.0
99
l
154478.0
u
90149.0
l
241892.0
T
124,069
l
124376.0
100
j
154663.0
l
90166.0
j
242169.0
U
124,720
j
124589.0
101
m
155014.0
V
90251.0
m
242637.0
t
124,835
m
125007.0
102
u
155548.0
c
90480.0
u
243105.0
T
126,579
u
125781.0
103
l
155584.0
T
90548.0
l
243144.0
O
126,625
l
125877.0
104
j
155665.0
O
90558.0
j
243302.0
n
126,965
j
125997.0
105
u
156006.0
c
90817.0
u
243627.0
t
127,069
u
126636.0
106
l
156043.0
u
91038.0
l
243665.0
n
127,355
l
126747.0
107
V
156238.0
l
91056.0
V
243895.0
f
127,443
V
127032.0
108
c
156707.0
j
91087.0
c
244625.0
D
128,036
c
127763.0
109
T
156871.0
m
91198.0
T
244888.0
I
128,060
T
127976.0
110
O
156890.0
u
91360.0
O
244913.0
u
129,075
O
128007.0
111
c
157351.0
l
91377.0
c
245577.0
l
129,105
c
128778.0
112
u
157855.0
f
91385.0
u
246011.0
j
129,245
u
129526.0
113
l
157892.0
D
91568.0
l
246051.0
m
129,742
l
129684.0
114
j
157973.0
n
91597.0
j
246136.0
u
130,153
j
129828.0
115
m
158243.0
T
91671.0
m
246529.0
l
130,183
m
130313.0
116
u
158587.0
O
91678.0
u
246846.0
j
130,263
u
130937.0
117
l
158622.0
c
91901.0
l
246884.0
u
130,491
l
131032.0
118
f
158636.0
m
92011.0
f
246903.0
l
130,518
f
131053.0
119
D
159258.0
u
92176.0
D
247601.0
V
130,801
D
132228.0
120
n
159320.0
n
247704.0
c
131,377
n
132325.0
121
T
159514.0
T
247967.0
T
131,661
T
132594.0
122
O
159530.0
O
247986.0
O
131,683
O
132626.0
123
c
159991.0
c
248659.0
c
132,296
c
133379.0
124
m
160264.0
m
249052.0
u
132,637
m
133744.0
125
u
160608.0
u
249370.0
l
132,664
u
134327.0
126
132,734
127
133,132
128
133,394
129
133,421
130
133,433
131
133,698
132
133,744
133
134,012
134
134,025
135
134,565
136
134,962
137
135,190
step deposit contract
deposit contract
step FixedFeeRegistrar
FixedFeeRegistrar
step prbmath unsigned
prbmath unsigned
step ramanujan pi
ramanujan pi
step strings
strings
0
203944.0
92241.0
444652.0
134,374
185155.0
1
d
202761.0
d
84666.0
d
446130.0
d
128,925
d
189571.0
2
h
201790.0
h
86366.0
h
443764.0
h
130,882
h
191417.0
3
f
198766.0
f
90115.0
f
444989.0
f
126,843
f
198667.0
4
o
201498.0
o
92507.0
o
438400.0
o
137,037
o
187904.0
5
D
207218.0
D
90408.0
D
450678.0
D
139,215
D
187896.0
6
g
215193.0
g
89793.0
g
449719.0
g
138,375
g
199939.0
7
v
218091.0
v
92254.0
v
445482.0
v
146,245
v
187421.0
8
u
196712.0
u
88219.0
u
432099.0
u
132,730
u
184248.0
9
l
189908.0
l
91136.0
l
411422.0
l
124,911
l
178539.0
10
f
197826.0
f
88070.0
f
419117.0
f
138,700
f
178655.0
11
n
195112.0
n
92411.0
n
417213.0
n
127,939
n
192447.0
12
T
198256.0
T
89369.0
T
411619.0
T
122,035
T
183908.0
13
U
201396.0
U
90727.0
U
420444.0
U
150,830
U
192719.0
14
t
199576.0
t
90532.0
t
425081.0
t
123,772
t
199164.0
15
n
209270.0
n
88789.0
n
428212.0
n
133,755
n
183177.0
16
I
200279.0
I
90945.0
I
422327.0
I
139,266
I
214523.0
17
f
193430.0
f
94634.0
f
425339.0
f
138,415
f
186496.0
18
x
227398.0
x
115505.0
x
528812.0
x
149,991
x
211248.0
19
a
228393.0
a
116252.0
a
583150.0
a
162,241
a
222219.0
20
r
248565.0
r
121715.0
r
587011.0
r
161,464
r
235887.0
21
E
251851.0
E
126092.0
E
600412.0
E
185,705
E
218699.0
22
s
247586.0
s
110246.0
s
594713.0
s
175,070
s
234075.0
23
c
258301.0
c
114822.0
c
603713.0
c
180,386
c
262568.0
24
L
316544.0
L
126455.0
L
608915.0
L
176,178
L
261776.0
25
M
273775.0
M
121719.0
M
609356.0
M
179,293
M
269069.0
26
V
267863.0
V
110566.0
V
614631.0
V
178,665
V
256257.0
27
c
261568.0
c
114998.0
c
638952.0
c
185,695
c
253443.0
28
u
265791.0
u
100459.0
u
435800.0
u
155,322
u
216154.0
29
l
273168.0
l
108356.0
l
439942.0
l
151,514
l
205499.0
30
j
237798.0
j
97676.0
j
361314.0
j
132,127
j
188102.0
31
T
235566.0
T
103604.0
T
371414.0
T
127,804
T
174763.0
32
p
231259.0
p
103563.0
p
361760.0
p
136,787
p
189050.0
33
e
192828.0
e
101429.0
e
299309.0
e
109,462
e
169786.0
34
u
192296.0
u
95655.0
u
271006.0
u
107,522
u
150460.0
35
l
175111.0
l
97198.0
l
277122.0
l
101,173
l
149459.0
36
x
205345.0
x
112274.0
x
320525.0
x
114,213
x
162830.0
37
a
211205.0
a
124504.0
a
367190.0
a
129,236
a
181590.0
38
r
232080.0
r
116997.0
r
378690.0
r
133,644
r
165636.0
39
c
239197.0
c
112060.0
c
390689.0
c
127,281
c
184571.0
40
L
228389.0
L
118517.0
L
406433.0
L
130,265
L
183289.0
41
g
231047.0
g
114241.0
g
434486.0
g
124,546
g
192714.0
42
v
236841.0
v
123437.0
v
357178.0
v
126,152
v
220806.0
43
i
510064.0
i
248096.0
i
1045829.0
i
207,415
i
228605.0
44
f
624913.0
f
249828.0
f
1026779.0
f
213,790
f
227781.0
45
C
689401.0
C
253307.0
C
1000303.0
C
209,725
C
235268.0
46
T
646939.0
T
250516.0
T
964996.0
T
176,100
T
232274.0
47
U
479366.0
U
260059.0
U
968661.0
U
183,009
U
216837.0
48
c
651793.0
c
289666.0
c
1758015.0
c
227,378
c
278858.0
49
a
566786.0
a
307019.0
a
2007385.0
a
248,092
a
287321.0
50
r
523122.0
r
347607.0
r
2141561.0
r
227,910
r
293918.0
51
L
528731.0
L
308706.0
L
2022716.0
L
226,841
L
314366.0
52
S
525955.0
S
310858.0
S
2055596.0
S
234,936
S
280498.0
53
s
519405.0
s
318993.0
s
1933742.0
s
208,075
s
312857.0
54
T
629867.0
T
304397.0
T
1097755.0
T
224,421
T
275421.0
55
F
689836.0
F
287451.0
F
1217788.0
F
456,538
F
386254.0
56
O
676963.0
O
311398.0
O
1226592.0
O
444,935
O
410085.0
57
t
721431.0
t
306711.0
t
1174489.0
t
429,903
t
416984.0
58
f
511113.0
f
273670.0
f
1205042.0
f
430,901
f
394806.0
59
D
573629.0
D
290689.0
D
1203977.0
D
419,829
D
478114.0
60
n
529138.0
n
289493.0
n
1187010.0
n
457,998
n
543620.0
61
c
502251.0
c
324103.0
c
1975431.0
c
500,807
c
512704.0
62
a
491637.0
a
324760.0
a
2217204.0
a
616,277
a
547923.0
63
r
545046.0
r
320090.0
r
2218908.0
r
613,157
r
616547.0
64
I
499448.0
I
332172.0
I
2211764.0
I
600,895
I
512664.0
65
u
315484.0
u
150972.0
u
429377.0
u
192,976
u
240637.0
66
l
333282.0
l
144467.0
l
427043.0
l
224,488
l
257542.0
67
c
299531.0
c
155863.0
c
419362.0
c
191,916
c
257104.0
68
s
306081.0
s
148466.0
s
417626.0
s
197,487
s
239386.0
69
c
310579.0
c
156952.0
c
437175.0
c
198,012
c
249723.0
70
C
312556.0
C
155167.0
C
488232.0
C
193,343
C
254387.0
71
T
266293.0
T
143798.0
T
421521.0
T
199,481
T
243461.0
72
U
266436.0
U
144687.0
U
415105.0
U
191,031
U
275628.0
73
t
257642.0
t
144846.0
t
409876.0
t
181,065
t
244645.0
74
g
304928.0
g
137681.0
g
423392.0
g
184,034
g
245464.0
75
v
289248.0
v
144248.0
v
410450.0
v
190,054
v
227291.0
76
i
263789.0
i
146650.0
i
459725.0
i
284,436
i
246007.0
77
f
282755.0
f
142335.0
f
405207.0
f
273,139
f
237342.0
78
s
307424.0
s
137343.0
s
441173.0
s
300,652
s
243111.0
79
c
361055.0
c
154496.0
c
471019.0
c
358,172
c
240101.0
80
C
355686.0
C
159799.0
C
467754.0
C
355,491
C
265801.0
81
T
298875.0
T
144887.0
T
469051.0
T
286,217
T
247192.0
82
U
291594.0
U
146525.0
U
457206.0
U
291,260
U
249697.0
83
t
279214.0
t
147854.0
t
444747.0
t
266,670
t
239330.0
84
s
265382.0
T
147602.0
s
460264.0
s
288,925
s
274384.0
85
c
372157.0
O
144189.0
c
481771.0
c
339,534
c
352989.0
86
C
322519.0
n
142244.0
C
476332.0
C
363,204
C
348142.0
87
T
274118.0
t
149800.0
T
460411.0
T
301,301
T
333491.0
88
U
278243.0
n
141488.0
U
447186.0
U
294,963
U
393239.0
89
t
272864.0
f
143363.0
t
450834.0
t
289,180
t
370183.0
90
T
276173.0
D
142716.0
T
441612.0
s
288,654
T
353169.0
91
O
276919.0
I
147910.0
O
453166.0
c
357,034
O
362554.0
92
n
288296.0
u
132915.0
n
502825.0
C
367,882
n
318070.0
93
t
271530.0
l
138703.0
t
501015.0
T
289,922
t
264676.0
94
n
275159.0
j
141256.0
n
451548.0
U
308,531
n
349375.0
95
f
273915.0
m
141944.0
f
465561.0
t
284,446
f
358141.0
96
D
326487.0
u
143154.0
D
463402.0
s
294,147
D
312805.0
97
I
322962.0
l
135391.0
I
450883.0
c
348,734
I
357288.0
98
u
316591.0
j
134553.0
u
452626.0
C
356,962
u
313505.0
99
l
266846.0
u
139505.0
l
398879.0
T
297,625
l
246338.0
100
j
261122.0
l
138810.0
j
383740.0
U
287,174
j
228031.0
101
m
260601.0
V
130013.0
m
394347.0
t
320,315
m
346739.0
102
u
256490.0
c
143296.0
u
385195.0
T
295,803
u
271264.0
103
l
254523.0
T
144373.0
l
403059.0
O
296,530
l
315896.0
104
j
241799.0
O
133578.0
j
396231.0
n
312,339
j
267893.0
105
u
236783.0
c
139687.0
u
383854.0
t
292,284
u
311577.0
106
l
247406.0
u
129630.0
l
388271.0
n
299,539
l
257274.0
107
V
237025.0
l
135016.0
V
386974.0
f
308,335
V
288231.0
108
c
259382.0
j
140820.0
c
394248.0
D
288,603
c
320495.0
109
T
251642.0
m
146105.0
T
400576.0
I
308,289
T
246836.0
110
O
251118.0
u
140709.0
O
478978.0
u
239,144
O
232809.0
111
c
302822.0
l
144125.0
c
390277.0
l
244,102
c
224641.0
112
u
267965.0
f
143672.0
u
429076.0
j
228,434
u
229548.0
113
l
253474.0
D
141492.0
l
450103.0
m
222,944
l
273462.0
114
j
243957.0
n
144309.0
j
448829.0
u
231,842
j
230054.0
115
m
254554.0
T
145264.0
m
439620.0
l
228,086
m
223508.0
116
u
238662.0
O
150608.0
u
401660.0
j
230,468
u
221444.0
117
l
248125.0
c
134198.0
l
392047.0
u
225,622
l
228131.0
118
f
245760.0
m
147643.0
f
393074.0
l
233,306
f
223413.0
119
D
248439.0
u
135080.0
D
414417.0
V
219,977
D
220908.0
120
n
254509.0
n
424142.0
c
250,914
n
230030.0
121
T
242504.0
T
417754.0
T
241,896
T
217488.0
122
O
253372.0
O
397089.0
O
220,745
O
229440.0
123
c
296559.0
c
415221.0
c
244,959
c
231842.0
124
m
263583.0
m
380528.0
u
224,873
m
238136.0
125
u
259827.0
u
409066.0
l
235,596
u
239340.0
126
242,475
127
236,921
128
229,952
129
227,040
130
224,797
131
228,494
132
231,062
133
235,152
134
225,248
135
243,575
136
233,549
137
233,124