solc-seqbench report 2024-04-18 sequence: the-good-parts-mk2 (cancun)

Sequence the-good-parts-mk2, cancun, all contracts and calls

Input

solc version: 0.8.26-seqbench.2024.4.18+commit.55cb7a7d.mod.Linux.g++
EVM version: cancun

Sequence

# Sequence constructed of only those parts of the default sequence that seem to improve metrics on test input.
# Second refinement, adjusted to improve results for the erc20.sol contract.

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
gvif                         # Run full inliner

jmul[jul] VcTOcul jmul       # Make source short and pretty

:fDnTOcmu

Contracts

Calls

`soltest` 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` 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 0x0000000000000000000000000000000000000000000000000000000000000000
transfer(string,address):       abc 0x0000000000000000000000000000000000000555
owner(string)                   abc
content(string)                 abc
setContent(string,bytes32)      def 0x0000000000000000000000000000000000000333000000000000000000000000
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` 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` for `ramanujan_pi`

prb_pi()

`soltest` for `strings`

toSlice(string)             hello_world
roundtrip(string)           hello_world
utf8len(string)             😃😃😃😃
multiconcat(string,uint256) hello_world 3
#benchmark(string,bytes32)  solidity 0x0842021

`soltest` for `erc20`

totalSupply()
transfer(address,uint256)             0x0000000000000000000000000000000000000002 5
allowance(address,address)            0xb1e32a5Dd6156A449F93b85110eC552E875BBb03 0x0000000000000000000000000000000000000002
decreaseAllowance(address,uint256)    0x0000000000000000000000000000000000000002 0
allowance(address,address)            0xb1e32a5Dd6156A449F93b85110eC552E875BBb03 0x0000000000000000000000000000000000000002
transfer(address,uint256)             0x0000000000000000000000000000000000000002 10
approve(address,uint256)              0xb1e32a5Dd6156A449F93b85110eC552E875BBb03 5
transferFrom(address,address,uint256) 0xb1e32a5Dd6156A449F93b85110eC552E875BBb03 0x0000000000000000000000000000000000000002 5
balanceOf(address)                    0xb1e32a5Dd6156A449F93b85110eC552E875BBb03
balanceOf(address)                    0x0000000000000000000000000000000000000002

`simple` for `oz-erc20`

name()
symbol()
decimals()

mint(address,uint256)                 0xb1e32a5Dd6156A449F93b85110eC552E875BBb03 400
totalSupply()
balanceOf(address)                    0xb1e32a5Dd6156A449F93b85110eC552E875BBb03

approve(address,uint256)              0xb1e32a5Dd6156A449F93b85110eC552E875BBb03 100
allowance(address,address)            0xb1e32a5Dd6156A449F93b85110eC552E875BBb03 0xb1e32a5Dd6156A449F93b85110eC552E875BBb03
transferFrom(address,address,uint256) 0xb1e32a5Dd6156A449F93b85110eC552E875BBb03 0xb1e32a5Dd6156A449F93b85110eC552E875BBb03 100

mint(address,uint256)                 0xb1e32a5Dd6156A449F93b85110eC552E875BBb03 200
transfer(address,uint256)             0x0000000000000000000000000000000000000001 100
transfer(address,uint256)             0x0000000000000000000000000000000000000002 100
balanceOf(address)                    0x0000000000000000000000000000000000000001
balanceOf(address)                    0x0000000000000000000000000000000000000002

burn(address,uint256)                 0xb1e32a5Dd6156A449F93b85110eC552E875BBb03 100
totalSupply()

Summary

Unoptimized values

	runtime gas	bytecode size	creation gas	compilation time
deposit_contract	757,905	4,947	1,748,008	198,777
erc20	323,363	2,221	471,594	77,489
FixedFeeRegistrar	742,447	2,416	569,266	90,226
oz-erc20	543,761	3,260	654,485	115,308
prbmath_unsigned	453,902	11,307	2,481,274	422,134
ramanujan_pi	167,795	2,829	656,698	118,483
strings	110,679	3,698	846,201	167,047

Final values

	runtime gas	bytecode size	creation gas	optimization time	compilation time
deposit_contract	633,669	3,075	1,378,327	142,023	233,893
erc20	309,765	1,459	370,176	58,638	125,456
FixedFeeRegistrar	700,830	1,617	397,224	84,539	136,796
oz-erc20	523,536	2,745	532,617	105,464	230,613
prbmath_unsigned	252,079	7,964	1,759,530	232,310	371,638
ramanujan_pi	55,037	1,615	396,516	121,657	202,998
strings	97,457	2,680	627,117	125,985	188,583

Final values vs unoptimized

	runtime gas	bytecode size	creation gas
deposit_contract	-16.4%	-37.8%	-21.1%
erc20	-4.2%	-34.3% (min: -34.4%)	-21.5% (min: -21.6%)
FixedFeeRegistrar	-5.6%	-33.1% (min: -34.8%)	-30.2% (min: -31.9%)
oz-erc20	-3.7%	-15.8%	-18.6% (min: -18.9%)
prbmath_unsigned	-44.5%	-29.6%	-29.1%
ramanujan_pi	-67.2% (min: -67.5%)	-42.9%	-39.6%
strings	-11.9% (min: -12.0%)	-27.5% (min: -29.6%)	-25.9% (min: -27.9%)

Plots

Tables

runtime_gas

	step deposit contract	deposit contract	step erc20	erc20	step FixedFeeRegistrar	FixedFeeRegistrar	step oz-erc20	oz-erc20	step prbmath unsigned	prbmath unsigned	step ramanujan pi	ramanujan pi	step strings	strings
0		757905.0		323363.0		742447.0		543761.0		453902.0		167,795		110679.0
1	d	757905.0	d	323363.0	d	722447.0	d	543761.0	d	453902.0	d	167,795	d	110679.0
2	h	757905.0	h	323363.0	h	722447.0	h	543761.0	h	453902.0	h	167,795	h	110679.0
3	f	757905.0	f	323363.0	f	722447.0	f	543761.0	f	453902.0	f	167,795	f	110679.0
4	o	757905.0	o	323363.0	o	722447.0	o	543761.0	o	453902.0	o	167,795	o	110679.0
5	D	757905.0	D	323363.0	D	722447.0	D	543761.0	D	453902.0	D	167,795	D	110679.0
6	g	757905.0	g	323363.0	g	722447.0	g	543761.0	g	453902.0	g	167,795	g	110679.0
7	v	757905.0	v	323363.0	v	722447.0	v	543761.0	v	453902.0	v	167,784	v	110679.0
8	u	757872.0	u	323321.0	u	722421.0	u	543743.0	u	454022.0	u	167,802	u	110614.0
9	l	757872.0	l	323321.0	l	722421.0	l	543743.0	l	454022.0	l	167,802	l	110614.0
10	f	757872.0	f	323321.0	f	722421.0	f	543743.0	f	454022.0	f	167,802	f	110614.0
11	n	757872.0	n	323321.0	n	722421.0	n	543743.0	n	454022.0	n	167,802	n	110614.0
12	T	757541.0	T	323318.0	T	722023.0	T	543797.0	T	453656.0	T	167,784	T	110566.0
13	U	757541.0	U	323318.0	U	722023.0	U	543797.0	U	453656.0	U	167,784	U	110566.0
14	t	757541.0	t	323318.0	t	722023.0	t	543797.0	t	453656.0	t	167,784	t	110566.0
15	n	757541.0	n	323318.0	n	722023.0	n	543797.0	n	453656.0	n	167,784	n	110566.0
16	I	757541.0	I	323318.0	I	722023.0	I	543797.0	I	453656.0	I	167,784	I	110566.0
17	f	757541.0	f	323318.0	f	722023.0	f	543797.0	f	453656.0	f	167,784	f	110566.0
18	x	757305.0	x	323274.0	x	721359.0	x	543733.0	x	453669.0	x	168,094	x	110447.0
19	a	759506.0	a	323274.0	a	721359.0	a	543739.0	a	458531.0	a	171,427	a	110705.0
20	r	759506.0	r	323274.0	r	721359.0	r	543739.0	r	458531.0	r	171,427	r	110705.0
21	E	759506.0	E	323274.0	E	721359.0	E	543739.0	E	458531.0	E	171,427	E	110705.0
22	s	759191.0	s	323274.0	s	721690.0	s	543719.0	s	458508.0	s	171,216	s	110741.0
23	c	740064.0	c	322838.0	c	722107.0	c	541418.0	c	404653.0	c	150,623	c	109427.0
24	L	740064.0	L	322838.0	L	722107.0	L	541418.0	L	404653.0	L	150,623	L	109427.0
25	M	715002.0	M	322838.0	M	722107.0	M	541418.0	M	372793.0	M	149,051	M	109287.0
26	V	715032.0	V	322838.0	V	722107.0	V	541432.0	V	372793.0	V	149,051	V	109302.0
27	c	720888.0	c	322838.0	c	722107.0	c	541412.0	c	373029.0	c	149,051	c	108064.0
28	u	721368.0	u	322791.0	u	721836.0	u	541383.0	u	371829.0	u	146,995	u	107668.0
29	l	721368.0	l	322791.0	l	721836.0	l	541383.0	l	371829.0	l	146,995	l	107668.0
30	j	721557.0	j	322633.0	j	721859.0	j	541221.0	j	371790.0	j	146,689	j	107698.0
31	T	715128.0	T	322473.0	T	721545.0	T	540795.0	T	369336.0	T	139,590	T	107563.0
32	p	715290.0	p	322916.0	p	721701.0	p	541335.0	p	369714.0	p	139,590	p	107575.0
33	e	678533.0	e	312815.0	e	710853.0	e	528303.0	e	269158.0	e	76,196	e	100824.0
34	u	678581.0	u	312855.0	u	710945.0	u	528366.0	u	269198.0	u	76,200	u	100840.0
35	l	678581.0	l	312855.0	l	710945.0	l	528366.0	l	269198.0	l	76,200	l	100840.0
36	x	678388.0	x	312717.0	x	710881.0	x	528327.0	x	269053.0	x	76,390	x	100881.0
37	a	680696.0	a	312717.0	a	710877.0	a	528333.0	a	273890.0	a	80,288	a	101179.0
38	r	680696.0	r	312717.0	r	710877.0	r	528333.0	r	273890.0	r	80,288	r	101179.0
39	c	684953.0	c	312871.0	c	710907.0	c	528611.0	c	271543.0	c	81,122	c	101075.0
40	L	685659.0	L	312871.0	L	710907.0	L	528611.0	L	271543.0	L	81,122	L	101075.0
41	g	685659.0	g	312871.0	g	710907.0	g	528611.0	g	271543.0	g	81,122	g	101075.0
42	v	685659.0	v	312871.0	v	710907.0	v	528611.0	v	271543.0	v	81,122	v	101075.0
43	i	660392.0	i	310699.0	i	701587.0	i	525584.0	i	262582.0	i	71,826	i	98172.0
44	f	660392.0	f	310699.0	f	701587.0	f	525584.0	f	262582.0	f	71,826	f	98172.0
45	C	660392.0	C	310699.0	C	701587.0	C	525584.0	C	262732.0	C	71,826	C	98172.0
46	T	643997.0	T	310632.0	T	700900.0	T	525424.0	T	255907.0	T	62,848	T	97891.0
47	U	643997.0	U	310632.0	U	700900.0	U	525424.0	U	255757.0	U	62,848	U	97891.0
48	c	659213.0	c	310929.0	c	702762.0	c	526053.0	c	262147.0	c	70,093	c	98405.0
49	a	658300.0	a	310929.0	a	702762.0	a	526057.0	a	265539.0	a	71,165	a	98621.0
50	r	658093.0	r	310929.0	r	702762.0	r	526057.0	r	265539.0	r	70,741	r	98621.0
51	L	658001.0	L	310929.0	L	702762.0	L	526149.0	L	265539.0	L	70,741	L	98612.0
52	S	657992.0	S	310929.0	S	702762.0	S	526149.0	S	265539.0	S	70,741	S	98612.0
53	s	646544.0	s	310771.0	s	703236.0	s	526026.0	s	262433.0	s	68,954	s	98634.0
54	T	641009.0	T	310502.0	T	701437.0	T	525539.0	T	257436.0	T	64,253	T	98274.0
55	F	639339.0	F	310502.0	F	701437.0	F	525628.0	F	257399.0	F	63,544	F	97989.0
56	O	639339.0	O	310502.0	O	701437.0	O	525628.0	O	257399.0	O	63,544	O	97989.0
57	t	641055.0	t	310500.0	t	701258.0	t	525628.0	t	257401.0	t	63,467	t	97986.0
58	f	641055.0	f	310500.0	f	701258.0	f	525628.0	f	257401.0	f	63,467	f	97986.0
59	D	641055.0	D	310500.0	D	701258.0	D	525628.0	D	257401.0	D	63,467	D	97986.0
60	n	641055.0	n	310500.0	n	701258.0	n	525628.0	n	257401.0	n	63,467	n	97986.0
61	c	645614.0	c	310578.0	c	702748.0	c	525535.0	c	258039.0	c	68,215	c	98210.0
62	a	647787.0	a	310578.0	a	702748.0	a	525541.0	a	260713.0	a	69,877	a	98444.0
63	r	647787.0	r	310578.0	r	702748.0	r	525541.0	r	260713.0	r	69,877	r	98444.0
64	I	647787.0	I	310578.0	I	702748.0	I	525541.0	I	260713.0	I	69,877	I	98444.0
65	u	647805.0	u	310287.0	u	702526.0	u	525361.0	u	261458.0	u	66,501	u	98273.0
66	l	647805.0	l	310287.0	l	702526.0	l	525361.0	l	261458.0	l	66,501	l	98273.0
67	c	645632.0	c	310287.0	c	702526.0	c	525355.0	c	257291.0	c	65,616	c	98018.0
68	s	645086.0	s	310321.0	s	702538.0	s	525312.0	s	257221.0	s	65,248	s	98024.0
69	c	645186.0	c	310285.0	c	702499.0	c	525262.0	c	257185.0	c	65,366	c	98021.0
70	C	645268.0	C	310285.0	C	702499.0	C	525262.0	C	257335.0	C	65,694	C	98021.0
71	T	633381.0	T	310056.0	T	701104.0	T	524821.0	T	253349.0	T	59,824	T	97590.0
72	U	633489.0	U	310056.0	U	701104.0	U	524821.0	U	253199.0	U	59,774	U	97590.0
73	t	633485.0	t	310056.0	t	701104.0	t	524751.0	t	253175.0	t	59,003	t	97590.0
74	g	633485.0	g	310056.0	g	701104.0	g	524751.0	g	253175.0	g	59,003	g	97590.0
75	v	633485.0	v	310056.0	v	701104.0	v	524751.0	v	253175.0	v	59,003	v	97590.0
76	i	633485.0	i	310056.0	i	701104.0	i	524513.0	i	253119.0	i	56,461	i	97547.0
77	f	633485.0	f	310056.0	f	701104.0	f	524513.0	f	253119.0	f	56,461	f	97547.0
78	s	633485.0	s	310056.0	s	701104.0	s	524513.0	s	253119.0	s	56,459	s	97547.0
79	c	642906.0	c	310285.0	c	702499.0	c	524896.0	c	257116.0	c	61,920	c	97964.0
80	C	643950.0	C	310285.0	C	702499.0	C	524885.0	C	257266.0	C	61,969	C	97964.0
81	T	633467.0	T	310056.0	T	701104.0	T	524104.0	T	253269.0	T	55,825	T	97547.0
82	U	633575.0	U	310056.0	U	701104.0	U	524104.0	U	253119.0	U	55,783	U	97547.0
83	t	633575.0	t	310056.0	t	701104.0	t	523900.0	t	253119.0	t	55,716	t	97547.0
84	s	633575.0	T	310056.0	T	701104.0	s	523885.0	s	253119.0	s	55,858	s	97547.0
85	c	642906.0	O	310056.0	O	701104.0	c	524554.0	c	257116.0	c	61,260	c	97964.0
86	C	643950.0	n	310056.0	n	701104.0	C	524554.0	C	257266.0	C	61,344	C	97964.0
87	T	633467.0	t	310056.0	t	701104.0	T	523886.0	T	253269.0	T	56,138	T	97547.0
88	U	633575.0	n	310056.0	n	701104.0	U	523886.0	U	253119.0	U	56,016	U	97547.0
89	t	633575.0	f	310056.0	f	701104.0	t	523886.0	t	253119.0	t	55,962	t	97547.0
90	T	633575.0	D	310056.0	D	701104.0	s	523886.0	T	253119.0	s	55,960	T	97547.0
91	O	633575.0	I	310056.0	I	701104.0	c	524554.0	O	253119.0	c	61,228	O	97547.0
92	n	633575.0	u	310058.0	u	700956.0	C	524554.0	n	253119.0	C	61,312	n	97547.0
93	t	633575.0	l	310058.0	l	700956.0	T	523886.0	t	253119.0	T	56,082	t	97547.0
94	n	633575.0	g	310058.0	g	700956.0	U	523886.0	n	253119.0	U	55,960	n	97547.0
95	f	633575.0	v	310058.0	v	700956.0	t	523886.0	f	253119.0	t	55,906	f	97547.0
96	D	633575.0	i	309965.0	i	700920.0	T	523886.0	D	253119.0	s	55,904	D	97547.0
97	I	633575.0	f	309965.0	f	700920.0	O	523886.0	I	253119.0	c	61,166	I	97547.0
98	u	633575.0	j	309965.0	j	700964.0	n	523886.0	u	253120.0	C	61,250	u	97547.0
99	l	633575.0	m	309900.0	m	700830.0	t	523886.0	l	253120.0	T	56,026	l	97547.0
100	g	633575.0	u	309900.0	u	700830.0	n	523886.0	g	253120.0	U	55,904	g	97547.0
101	v	633575.0	l	309900.0	l	700830.0	f	523886.0	v	253120.0	t	55,447	v	97547.0
102	i	633575.0	j	309900.0	j	700830.0	D	523886.0	i	253120.0	T	55,245	i	97547.0
103	f	633575.0	u	309900.0	u	700830.0	I	523886.0	f	253120.0	O	55,245	f	97547.0
104	j	633905.0	l	309900.0	l	700830.0	u	523841.0	j	253120.0	n	55,245	j	97508.0
105	m	633687.0	V	309900.0	V	700830.0	l	523841.0	m	253063.0	t	55,173	m	97457.0
106	u	633687.0	c	309756.0	c	700830.0	g	523841.0	u	253063.0	n	55,173	u	97457.0
107	l	633687.0	T	309765.0	T	700830.0	v	523841.0	l	253063.0	f	55,173	l	97457.0
108	j	633687.0	O	309765.0	O	700830.0	i	523800.0	j	253063.0	D	55,173	j	97472.0
109	u	633687.0	c	309756.0	c	700830.0	f	523800.0	u	253063.0	I	55,173	u	97472.0
110	l	633687.0	u	309756.0	u	700830.0	j	523781.0	l	253063.0	u	55,115	l	97472.0
111	V	633687.0	l	309756.0	l	700830.0	m	523661.0	V	253029.0	l	55,115	V	97472.0
112	c	634199.0	j	309756.0	j	700830.0	u	523612.0	c	252360.0	g	55,115	c	97412.0
113	T	633669.0	m	309765.0	m	700830.0	l	523612.0	T	252372.0	v	55,115	T	97419.0
114	O	633669.0	u	309765.0	u	700830.0	j	523612.0	O	252091.0	i	55,115	O	97457.0
115	c	634199.0	l	309765.0	l	700830.0	u	523612.0	c	252079.0	f	55,115	c	97457.0
116	u	634199.0	f	309765.0	f	700830.0	l	523612.0	u	252079.0	j	55,115	u	97457.0
117	l	634199.0	D	309765.0	D	700830.0	V	523612.0	l	252079.0	m	55,171	l	97457.0
118	j	634199.0	n	309765.0	n	700830.0	c	523606.0	j	252079.0	u	55,171	j	97457.0
119	m	633669.0	T	309765.0	T	700830.0	T	523536.0	m	252079.0	l	55,171	m	97457.0
120	u	633669.0	O	309765.0	O	700830.0	O	523536.0	u	252079.0	j	55,171	u	97457.0
121	l	633669.0	c	309756.0	c	700830.0	c	523606.0	l	252079.0	u	55,171	l	97457.0
122	f	633669.0	m	309765.0	m	700830.0	u	523606.0	f	252079.0	l	55,171	f	97457.0
123	D	633669.0	u	309765.0	u	700830.0	l	523606.0	D	252079.0	V	55,171	D	97457.0
124	n	633669.0					j	523606.0	n	252079.0	c	55,253	n	97457.0
125	T	633669.0					m	523536.0	T	252091.0	T	54,987	T	97457.0
126	O	633669.0					u	523536.0	O	252091.0	O	54,923	O	97457.0
127	c	634199.0					l	523536.0	c	252079.0	c	54,576	c	97457.0
128	m	633669.0					f	523536.0	m	252079.0	u	54,576	m	97457.0
129	u	633669.0					D	523536.0	u	252079.0	l	54,576	u	97457.0
130								523536.0			j	54,576
131								523536.0			m	55,037
132								523536.0			u	55,037
133								523606.0			l	55,037
134								523536.0			f	55,037
135								523536.0			D	55,037
136												55,037
137												54,923
138												54,923
139												54,576
140												55,037
141												55,037

bytecode_size

	step deposit contract	deposit contract	step erc20	erc20	step FixedFeeRegistrar	FixedFeeRegistrar	step oz-erc20	oz-erc20	step prbmath unsigned	prbmath unsigned	step ramanujan pi	ramanujan pi	step strings	strings
0		4947.0		2221.0		2416.0		3260.0		11307.0		2,829		3698.0
1	d	4947.0	d	2221.0	d	2416.0	d	3260.0	d	11307.0	d	2,829	d	3698.0
2	h	4947.0	h	2221.0	h	2416.0	h	3260.0	h	11307.0	h	2,829	h	3698.0
3	f	4947.0	f	2221.0	f	2416.0	f	3260.0	f	11307.0	f	2,829	f	3698.0
4	o	4947.0	o	2221.0	o	2416.0	o	3260.0	o	11307.0	o	2,829	o	3698.0
5	D	4947.0	D	2221.0	D	2416.0	D	3260.0	D	11307.0	D	2,829	D	3698.0
6	g	4947.0	g	2221.0	g	2416.0	g	3260.0	g	11307.0	g	2,829	g	3698.0
7	v	4947.0	v	2221.0	v	2416.0	v	3260.0	v	11307.0	v	2,825	v	3698.0
8	u	4888.0	u	2211.0	u	2413.0	u	3257.0	u	11321.0	u	2,822	u	3706.0
9	l	4888.0	l	2211.0	l	2413.0	l	3257.0	l	11321.0	l	2,822	l	3706.0
10	f	4888.0	f	2211.0	f	2413.0	f	3257.0	f	11321.0	f	2,822	f	3706.0
11	n	4888.0	n	2211.0	n	2413.0	n	3257.0	n	11321.0	n	2,822	n	3706.0
12	T	4868.0	T	2193.0	T	2369.0	T	3297.0	T	11299.0	T	2,794	T	3701.0
13	U	4868.0	U	2193.0	U	2369.0	U	3297.0	U	11299.0	U	2,794	U	3701.0
14	t	4868.0	t	2193.0	t	2369.0	t	3297.0	t	11299.0	t	2,794	t	3701.0
15	n	4868.0	n	2193.0	n	2369.0	n	3297.0	n	11299.0	n	2,794	n	3701.0
16	I	4868.0	I	2193.0	I	2369.0	I	3308.0	I	11299.0	I	2,794	I	3697.0
17	f	4868.0	f	2193.0	f	2369.0	f	3308.0	f	11299.0	f	2,794	f	3697.0
18	x	5101.0	x	2286.0	x	2367.0	x	3306.0	x	11297.0	x	2,789	x	3694.0
19	a	5120.0	a	2286.0	a	2366.0	a	3321.0	a	11978.0	a	2,955	a	3801.0
20	r	5120.0	r	2286.0	r	2366.0	r	3321.0	r	11978.0	r	2,955	r	3801.0
21	E	5120.0	E	2286.0	E	2366.0	E	3321.0	E	11978.0	E	2,955	E	3801.0
22	s	5217.0	s	2297.0	s	2380.0	s	3305.0	s	11895.0	s	2,949	s	3812.0
23	c	5050.0	c	2233.0	c	2497.0	c	3325.0	c	10985.0	c	2,975	c	3849.0
24	L	5050.0	L	2233.0	L	2497.0	L	3325.0	L	10985.0	L	2,975	L	3849.0
25	M	5069.0	M	2233.0	M	2497.0	M	3341.0	M	10993.0	M	3,003	M	3909.0
26	V	5070.0	V	2233.0	V	2497.0	V	3343.0	V	10993.0	V	3,003	V	3912.0
27	c	5103.0	c	2233.0	c	2497.0	c	3333.0	c	11014.0	c	3,003	c	3836.0
28	u	5110.0	u	2202.0	u	2415.0	u	3333.0	u	10732.0	u	2,809	u	3689.0
29	l	5110.0	l	2202.0	l	2415.0	l	3333.0	l	10732.0	l	2,809	l	3689.0
30	j	4978.0	j	2130.0	j	2411.0	j	3317.0	j	10731.0	j	2,808	j	3688.0
31	T	4890.0	T	2109.0	T	2364.0	T	3286.0	T	10693.0	T	2,720	T	3619.0
32	p	4906.0	p	2125.0	p	2380.0	p	3302.0	p	10701.0	p	2,720	p	3624.0
33	e	4123.0	e	1901.0	e	2027.0	e	2952.0	e	8468.0	e	1,930	e	2935.0
34	u	4128.0	u	1906.0	u	2032.0	u	2957.0	u	8473.0	u	1,935	u	2940.0
35	l	4128.0	l	1906.0	l	2032.0	l	2957.0	l	8473.0	l	1,935	l	2940.0
36	x	4240.0	x	1976.0	x	1987.0	x	2939.0	x	8480.0	x	1,925	x	2959.0
37	a	4266.0	a	1976.0	a	1987.0	a	2952.0	a	8924.0	a	2,055	a	3054.0
38	r	4266.0	r	1976.0	r	1987.0	r	2952.0	r	8924.0	r	2,055	r	3054.0
39	c	4490.0	c	2015.0	c	2007.0	c	3001.0	c	8607.0	c	1,882	c	3041.0
40	L	4483.0	L	2015.0	L	2007.0	L	3001.0	L	8607.0	L	1,882	L	3005.0
41	g	4483.0	g	2015.0	g	2007.0	g	3001.0	g	8607.0	g	1,882	g	3005.0
42	v	4483.0	v	2015.0	v	2007.0	v	3001.0	v	8607.0	v	1,882	v	3005.0
43	i	4660.0	i	1657.0	i	1629.0	i	3730.0	i	8415.0	i	2,292	i	2750.0
44	f	4660.0	f	1657.0	f	1629.0	f	3730.0	f	8415.0	f	2,292	f	2750.0
45	C	4660.0	C	1657.0	C	1629.0	C	3730.0	C	9695.0	C	2,292	C	2752.0
46	T	4071.0	T	1620.0	T	1575.0	T	3961.0	T	9322.0	T	2,107	T	2609.0
47	U	4071.0	U	1620.0	U	1575.0	U	3961.0	U	8061.0	U	2,107	U	2604.0
48	c	5310.0	c	1630.0	c	1764.0	c	4689.0	c	8461.0	c	2,469	c	2785.0
49	a	5062.0	a	1630.0	a	1764.0	a	4971.0	a	8883.0	a	2,576	a	2863.0
50	r	5070.0	r	1630.0	r	1764.0	r	4971.0	r	8883.0	r	2,573	r	2863.0
51	L	5065.0	L	1639.0	L	1764.0	L	5078.0	L	8883.0	L	2,573	L	2862.0
52	S	5048.0	S	1639.0	S	1764.0	S	5078.0	S	8883.0	S	2,573	S	2862.0
53	s	4445.0	s	1628.0	s	1827.0	s	5034.0	s	8664.0	s	2,389	s	2859.0
54	T	3842.0	T	1587.0	T	1672.0	T	4700.0	T	8476.0	T	2,142	T	2685.0
55	F	3790.0	F	1591.0	F	1668.0	F	4977.0	F	8873.0	F	3,286	F	3239.0
56	O	3790.0	O	1591.0	O	1668.0	O	4977.0	O	8873.0	O	3,286	O	3239.0
57	t	3810.0	t	1590.0	t	1660.0	t	4977.0	t	8874.0	t	3,255	t	3235.0
58	f	3810.0	f	1590.0	f	1660.0	f	4977.0	f	8874.0	f	3,255	f	3235.0
59	D	3810.0	D	1590.0	D	1660.0	D	4977.0	D	8874.0	D	3,255	D	3235.0
60	n	3810.0	n	1590.0	n	1660.0	n	4977.0	n	8874.0	n	3,255	n	3235.0
61	c	4390.0	c	1583.0	c	1820.0	c	5186.0	c	8644.0	c	3,975	c	3302.0
62	a	4452.0	a	1583.0	a	1820.0	a	5434.0	a	9082.0	a	4,184	a	3394.0
63	r	4452.0	r	1583.0	r	1820.0	r	5434.0	r	9082.0	r	4,184	r	3394.0
64	I	4452.0	I	1583.0	I	1820.0	I	5434.0	I	9082.0	I	4,184	I	3394.0
65	u	3446.0	u	1530.0	u	1841.0	u	3374.0	u	8538.0	u	2,195	u	2999.0
66	l	3446.0	l	1530.0	l	1841.0	l	3374.0	l	8538.0	l	2,195	l	2999.0
67	c	3432.0	c	1530.0	c	1841.0	c	3357.0	c	8097.0	c	2,122	c	2912.0
68	s	3458.0	s	1541.0	s	1838.0	s	3393.0	s	8076.0	s	2,238	s	2887.0
69	c	3432.0	c	1528.0	c	1830.0	c	3358.0	c	8080.0	c	2,267	c	2887.0
70	C	3407.0	C	1528.0	C	1830.0	C	3363.0	C	9282.0	C	2,307	C	2895.0
71	T	3088.0	T	1502.0	T	1577.0	T	3200.0	T	9341.0	T	2,188	T	2767.0
72	U	3088.0	U	1502.0	U	1577.0	U	3200.0	U	8001.0	U	2,178	U	2761.0
73	t	3087.0	t	1502.0	t	1577.0	t	3155.0	t	7991.0	t	2,100	t	2761.0
74	g	3087.0	g	1502.0	g	1577.0	g	3155.0	g	7991.0	g	2,100	g	2761.0
75	v	3087.0	v	1502.0	v	1577.0	v	3155.0	v	7991.0	v	2,100	v	2761.0
76	i	3087.0	i	1502.0	i	1577.0	i	3077.0	i	8098.0	i	2,385	i	2855.0
77	f	3087.0	f	1502.0	f	1577.0	f	3077.0	f	8098.0	f	2,385	f	2855.0
78	s	3087.0	s	1502.0	s	1577.0	s	3077.0	s	8098.0	s	2,396	s	2855.0
79	c	3367.0	c	1528.0	c	1830.0	c	3260.0	c	8202.0	c	2,449	c	2970.0
80	C	3372.0	C	1528.0	C	1830.0	C	3219.0	C	9404.0	C	2,457	C	2978.0
81	T	3090.0	T	1502.0	T	1577.0	T	2972.0	T	9439.0	T	2,415	T	2861.0
82	U	3090.0	U	1502.0	U	1577.0	U	2972.0	U	8099.0	U	2,412	U	2855.0
83	t	3090.0	t	1502.0	t	1577.0	t	2923.0	t	8099.0	t	2,354	t	2855.0
84	s	3090.0	T	1502.0	T	1577.0	s	2914.0	s	8099.0	s	2,374	s	2855.0
85	c	3367.0	O	1502.0	O	1577.0	c	3105.0	c	8202.0	c	2,403	c	2970.0
86	C	3372.0	n	1502.0	n	1577.0	C	3105.0	C	9404.0	C	2,423	C	2978.0
87	T	3090.0	t	1502.0	t	1577.0	T	2914.0	T	9439.0	T	2,427	T	2861.0
88	U	3090.0	n	1502.0	n	1577.0	U	2914.0	U	8099.0	U	2,408	U	2855.0
89	t	3090.0	f	1502.0	f	1577.0	t	2914.0	t	8099.0	t	2,353	t	2855.0
90	T	3090.0	D	1502.0	D	1577.0	s	2914.0	T	8099.0	s	2,362	T	2855.0
91	O	3090.0	I	1502.0	I	1577.0	c	3105.0	O	8099.0	c	2,334	O	2855.0
92	n	3090.0	u	1509.0	u	1617.0	C	3105.0	n	8099.0	C	2,354	n	2855.0
93	t	3090.0	l	1509.0	l	1617.0	T	2914.0	t	8099.0	T	2,381	t	2855.0
94	n	3090.0	g	1509.0	g	1617.0	U	2914.0	n	8099.0	U	2,362	n	2855.0
95	f	3090.0	v	1509.0	v	1617.0	t	2914.0	f	8099.0	t	2,329	f	2855.0
96	D	3090.0	i	1482.0	i	1609.0	T	2914.0	D	8099.0	s	2,337	D	2855.0
97	I	3090.0	f	1482.0	f	1609.0	O	2914.0	I	8099.0	c	2,306	I	2855.0
98	u	3093.0	j	1483.0	j	1614.0	n	2914.0	u	7998.0	C	2,326	u	2750.0
99	l	3093.0	m	1475.0	m	1617.0	t	2914.0	l	7998.0	T	2,356	l	2750.0
100	g	3093.0	u	1475.0	u	1617.0	n	2914.0	g	7998.0	U	2,337	g	2750.0
101	v	3093.0	l	1475.0	l	1617.0	f	2914.0	v	7998.0	t	2,040	v	2750.0
102	i	3093.0	j	1475.0	j	1617.0	D	2914.0	i	7998.0	T	1,923	i	2699.0
103	f	3093.0	u	1475.0	u	1617.0	I	2914.0	f	7998.0	O	1,923	f	2699.0
104	j	3091.0	l	1475.0	l	1617.0	u	2910.0	j	7998.0	n	1,923	j	2701.0
105	m	3085.0	V	1475.0	V	1617.0	l	2910.0	m	7986.0	t	1,923	m	2688.0
106	u	3085.0	c	1456.0	c	1617.0	g	2910.0	u	7986.0	n	1,923	u	2688.0
107	l	3085.0	T	1459.0	T	1617.0	v	2910.0	l	7986.0	f	1,923	l	2688.0
108	j	3085.0	O	1459.0	O	1617.0	i	2887.0	j	7986.0	D	1,923	j	2689.0
109	u	3085.0	c	1456.0	c	1617.0	f	2887.0	u	7986.0	I	1,923	u	2689.0
110	l	3085.0	u	1456.0	u	1617.0	j	2914.0	l	7986.0	u	1,693	l	2689.0
111	V	3085.0	l	1456.0	l	1617.0	m	2845.0	V	7981.0	l	1,693	V	2689.0
112	c	3184.0	j	1456.0	j	1617.0	u	2840.0	c	7968.0	g	1,693	c	2690.0
113	T	3084.0	m	1459.0	m	1617.0	l	2840.0	T	7970.0	v	1,693	T	2689.0
114	O	3075.0	u	1459.0	u	1617.0	j	2840.0	O	7966.0	i	1,693	O	2680.0
115	c	3183.0	l	1459.0	l	1617.0	u	2840.0	c	7964.0	f	1,693	c	2684.0
116	u	3183.0	f	1459.0	f	1617.0	l	2840.0	u	7964.0	j	1,693	u	2684.0
117	l	3183.0	D	1459.0	D	1617.0	V	2840.0	l	7964.0	m	1,692	l	2684.0
118	j	3183.0	n	1459.0	n	1617.0	c	2783.0	j	7964.0	u	1,692	j	2684.0
119	m	3075.0	T	1459.0	T	1617.0	T	2816.0	m	7964.0	l	1,692	m	2680.0
120	u	3075.0	O	1459.0	O	1617.0	O	2747.0	u	7964.0	j	1,692	u	2680.0
121	l	3075.0	c	1456.0	c	1617.0	c	2774.0	l	7964.0	u	1,692	l	2680.0
122	f	3075.0	m	1459.0	m	1617.0	u	2774.0	f	7964.0	l	1,692	f	2680.0
123	D	3075.0	u	1459.0	u	1617.0	l	2774.0	D	7964.0	V	1,692	D	2680.0
124	n	3075.0					j	2774.0	n	7964.0	c	1,724	n	2680.0
125	T	3075.0					m	2745.0	T	7966.0	T	1,684	T	2680.0
126	O	3075.0					u	2745.0	O	7966.0	O	1,670	O	2680.0
127	c	3183.0					l	2745.0	c	7964.0	c	1,697	c	2684.0
128	m	3075.0					f	2745.0	m	7964.0	u	1,697	m	2680.0
129	u	3075.0					D	2745.0	u	7964.0	l	1,697	u	2680.0
130								2745.0			j	1,697
131								2747.0			m	1,615
132								2747.0			u	1,615
133								2774.0			l	1,615
134								2745.0			f	1,615
135								2745.0			D	1,615
136												1,615
137												1,670
138												1,670
139												1,697
140												1,615
141												1,615

creation_gas

	step deposit contract	deposit contract	step erc20	erc20	step FixedFeeRegistrar	FixedFeeRegistrar	step oz-erc20	oz-erc20	step prbmath unsigned	prbmath unsigned	step ramanujan pi	ramanujan pi	step strings	strings
0		1748008.0		471594.0		569266.0		654485.0		2481274.0		656,698		846201.0
1	d	1748008.0	d	471594.0	d	569266.0	d	654485.0	d	2481274.0	d	656,698	d	846201.0
2	h	1748008.0	h	471594.0	h	569266.0	h	654485.0	h	2481274.0	h	656,698	h	846201.0
3	f	1748008.0	f	471594.0	f	569266.0	f	654485.0	f	2481274.0	f	656,698	f	846201.0
4	o	1748008.0	o	471594.0	o	569266.0	o	654485.0	o	2481274.0	o	656,698	o	846201.0
5	D	1748008.0	D	471594.0	D	569266.0	D	654485.0	D	2481274.0	D	656,698	D	846201.0
6	g	1748008.0	g	471594.0	g	569266.0	g	654485.0	g	2481274.0	g	656,698	g	846201.0
7	v	1748008.0	v	471594.0	v	569026.0	v	654485.0	v	2481274.0	v	655,810	v	846057.0
8	u	1735736.0	u	470224.0	u	568246.0	u	653837.0	u	2484310.0	u	655,186	u	847785.0
9	l	1735736.0	l	470224.0	l	568246.0	l	653837.0	l	2484310.0	l	655,186	l	847785.0
10	f	1735736.0	f	470224.0	f	568246.0	f	653837.0	f	2484310.0	f	655,186	f	847785.0
11	n	1735736.0	n	470224.0	n	568246.0	n	653837.0	n	2484310.0	n	655,186	n	847785.0
12	T	1731499.0	T	466525.0	T	558865.0	T	662512.0	T	2479534.0	T	649,142	T	846717.0
13	U	1731499.0	U	466525.0	U	558865.0	U	662512.0	U	2479534.0	U	649,142	U	846717.0
14	t	1731499.0	t	466525.0	t	558865.0	t	662512.0	t	2479534.0	t	649,142	t	846717.0
15	n	1731499.0	n	466525.0	n	558865.0	n	662512.0	n	2479534.0	n	649,142	n	846717.0
16	I	1731499.0	I	466525.0	I	558865.0	I	663288.0	I	2479534.0	I	649,142	I	845829.0
17	f	1731499.0	f	466525.0	f	558865.0	f	663288.0	f	2479534.0	f	649,142	f	845829.0
18	x	1779908.0	x	486601.0	x	558419.0	x	662250.0	x	2479006.0	x	648,038	x	845205.0
19	a	1784966.0	a	486601.0	a	558185.0	a	664302.0	a	2626289.0	a	683,972	a	868343.0
20	r	1784966.0	r	486601.0	r	558185.0	r	664302.0	r	2626289.0	r	683,972	r	868343.0
21	E	1784966.0	E	486601.0	E	558185.0	E	664302.0	E	2626289.0	E	683,972	E	868343.0
22	s	1802886.0	s	487035.0	s	561229.0	s	656815.0	s	2608380.0	s	682,700	s	870727.0
23	c	1765161.0	c	476224.0	c	586947.0	c	658162.0	c	2412017.0	c	689,310	c	879116.0
24	L	1765161.0	L	476224.0	L	586947.0	L	658162.0	L	2412017.0	L	689,310	L	879116.0
25	M	1758941.0	M	476224.0	M	586947.0	M	659226.0	M	2413697.0	M	695,276	M	892093.0
26	V	1759164.0	V	476224.0	V	586947.0	V	659660.0	V	2413697.0	V	695,276	V	892741.0
27	c	1766678.0	c	476224.0	c	586947.0	c	658874.0	c	2418278.0	c	695,276	c	876287.0
28	u	1769986.0	u	469718.0	u	569246.0	u	659286.0	u	2357390.0	u	653,382	u	844537.0
29	l	1769986.0	l	469718.0	l	569246.0	l	659286.0	l	2357390.0	l	653,382	l	844537.0
30	j	1741392.0	j	454573.0	j	568382.0	j	655815.0	j	2357174.0	j	653,166	j	844309.0
31	T	1725500.0	T	451243.0	T	558165.0	T	655661.0	T	2348837.0	T	634,115	T	829352.0
32	p	1728934.0	p	454695.0	p	561629.0	p	659174.0	p	2350637.0	p	634,115	p	830444.0
33	e	1578265.0	e	440234.0	e	485266.0	e	602277.0	e	1867594.0	e	463,918	e	681423.0
34	u	1579345.0	u	441302.0	u	486358.0	u	603369.0	u	1868746.0	u	464,998	u	682527.0
35	l	1579345.0	l	441302.0	l	486358.0	l	603369.0	l	1868746.0	l	464,998	l	682527.0
36	x	1601985.0	x	458591.0	x	476606.0	x	598267.0	x	1870265.0	x	462,862	x	686652.0
37	a	1609541.0	a	458591.0	a	476606.0	a	600083.0	a	1966277.0	a	490,975	a	707209.0
38	r	1609541.0	r	458591.0	r	476606.0	r	600083.0	r	1966277.0	r	490,975	r	707209.0
39	c	1655901.0	c	463253.0	c	480965.0	c	606540.0	c	1897820.0	c	453,692	c	704404.0
40	L	1654370.0	L	463253.0	L	480964.0	L	606540.0	L	1897819.0	L	453,691	L	696616.0
41	g	1654370.0	g	463253.0	g	480964.0	g	606540.0	g	1897819.0	g	453,691	g	696616.0
42	v	1654370.0	v	463253.0	v	480964.0	v	606540.0	v	1897819.0	v	453,691	v	696616.0
43	i	1674294.0	i	400517.0	i	399043.0	i	612078.0	i	1856677.0	i	542,046	i	641577.0
44	f	1674294.0	f	400517.0	f	399043.0	f	612078.0	f	1856677.0	f	542,046	f	641577.0
45	C	1674294.0	C	400517.0	C	399043.0	C	612078.0	C	2134026.0	C	542,046	C	641997.0
46	T	1559130.0	T	394830.0	T	387748.0	T	626965.0	T	2053516.0	T	501,958	T	611477.0
47	U	1559130.0	U	394830.0	U	387748.0	U	626965.0	U	1780281.0	U	501,958	U	610397.0
48	c	1783335.0	c	399857.0	c	428550.0	c	655757.0	c	1866900.0	c	580,100	c	649220.0
49	a	1725043.0	a	399857.0	a	428550.0	a	676004.0	a	1958182.0	a	603,201	a	666072.0
50	r	1726771.0	r	399857.0	r	428550.0	r	676004.0	r	1958182.0	r	602,565	r	666072.0
51	L	1724746.0	L	400034.0	L	428550.0	L	699111.0	L	1958182.0	L	602,565	L	665856.0
52	S	1721048.0	S	400034.0	S	428550.0	S	699111.0	S	1958182.0	S	602,565	S	665856.0
53	s	1623159.0	s	398833.0	s	442235.0	s	696059.0	s	1910766.0	s	562,819	s	665208.0
54	T	1511056.0	T	394326.0	T	408725.0	T	637077.0	T	1870026.0	T	509,742	T	627916.0
55	F	1499806.0	F	395772.0	F	407861.0	F	695232.0	F	1955781.0	F	756,744	F	747676.0
56	O	1499806.0	O	395772.0	O	407861.0	O	695232.0	O	1955781.0	O	756,744	O	747676.0
57	t	1504123.0	t	395544.0	t	406131.0	t	695232.0	t	1956009.0	t	750,100	t	746812.0
58	f	1504123.0	f	395544.0	f	406131.0	f	695232.0	f	1956009.0	f	750,100	f	746812.0
59	D	1504123.0	D	395544.0	D	406131.0	D	695232.0	D	1956009.0	D	750,100	D	746812.0
60	n	1504123.0	n	395544.0	n	406131.0	n	695232.0	n	1956009.0	n	750,100	n	746812.0
61	c	1605743.0	c	393937.0	c	440823.0	c	772539.0	c	1906386.0	c	905,600	c	761002.0
62	a	1614240.0	a	393937.0	a	440823.0	a	785653.0	a	2001136.0	a	950,891	a	780899.0
63	r	1614240.0	r	393937.0	r	440823.0	r	785653.0	r	2001136.0	r	950,891	r	780899.0
64	I	1614240.0	I	393937.0	I	440823.0	I	785653.0	I	2001136.0	I	950,891	I	780899.0
65	u	1445580.0	u	385390.0	u	445798.0	u	647386.0	u	1883969.0	u	521,789	u	695949.0
66	l	1445580.0	l	385390.0	l	445798.0	l	647386.0	l	1883969.0	l	521,789	l	695949.0
67	c	1442879.0	c	385390.0	c	445798.0	c	646323.0	c	1788596.0	c	506,016	c	677138.0
68	s	1453121.0	s	387486.0	s	445138.0	s	654515.0	s	1784051.0	s	531,091	s	671900.0
69	c	1447790.0	c	385275.0	c	443422.0	c	646957.0	c	1784927.0	c	537,363	c	671900.0
70	C	1446963.0	C	385275.0	C	443422.0	C	647045.0	C	2045407.0	C	546,026	C	673640.0
71	T	1379125.0	T	379253.0	T	388180.0	T	607579.0	T	2057520.0	T	519,881	T	645802.0
72	U	1379125.0	U	379253.0	U	388180.0	U	607579.0	U	1767185.0	U	517,709	U	644506.0
73	t	1378909.0	t	379253.0	t	388180.0	t	597851.0	t	1765028.0	t	500,824	t	644506.0
74	g	1378909.0	g	379253.0	g	388180.0	g	597851.0	g	1765028.0	g	500,824	g	644506.0
75	v	1378909.0	v	379253.0	v	388180.0	v	597851.0	v	1765028.0	v	500,824	v	644506.0
76	i	1378909.0	i	379253.0	i	388180.0	i	585371.0	i	1788164.0	i	562,650	i	664775.0
77	f	1378909.0	f	379253.0	f	388180.0	f	585371.0	f	1788164.0	f	562,650	f	664775.0
78	s	1378909.0	s	379253.0	s	388180.0	s	585371.0	s	1788164.0	s	564,973	s	664775.0
79	c	1438326.0	c	385275.0	c	443422.0	c	636909.0	c	1811279.0	c	576,743	c	689845.0
80	C	1439406.0	C	385275.0	C	443422.0	C	628033.0	C	2071782.0	C	578,471	C	691581.0
81	T	1379557.0	T	379253.0	T	388180.0	T	563058.0	T	2078703.0	T	568,983	T	666071.0
82	U	1379557.0	U	379253.0	U	388180.0	U	563058.0	U	1788392.0	U	568,323	U	664775.0
83	t	1379557.0	t	379253.0	t	388180.0	t	552436.0	t	1788392.0	t	555,778	t	664775.0
84	s	1379557.0	T	379253.0	T	388180.0	s	550468.0	s	1788392.0	s	560,094	s	664775.0
85	c	1438326.0	O	379253.0	O	388180.0	c	603396.0	c	1811279.0	c	566,679	c	689845.0
86	C	1439406.0	n	379253.0	n	388180.0	C	603396.0	C	2071782.0	C	571,119	C	691581.0
87	T	1379557.0	t	379253.0	t	388180.0	T	550468.0	T	2078703.0	T	571,629	T	666071.0
88	U	1379557.0	n	379253.0	n	388180.0	U	550468.0	U	1788392.0	U	567,519	U	664775.0
89	t	1379557.0	f	379253.0	f	388180.0	t	550468.0	t	1788392.0	t	555,706	t	664775.0
90	T	1379557.0	D	379253.0	D	388180.0	s	550468.0	T	1788392.0	s	557,566	T	664775.0
91	O	1379557.0	I	379253.0	I	388180.0	c	603396.0	O	1788392.0	c	551,876	O	664775.0
92	n	1379557.0	u	380785.0	u	397212.0	C	603396.0	n	1788392.0	C	556,162	n	664775.0
93	t	1379557.0	l	380785.0	l	397212.0	T	550468.0	t	1788392.0	T	561,678	t	664775.0
94	n	1379557.0	g	380785.0	g	397212.0	U	550468.0	n	1788392.0	U	557,566	n	664775.0
95	f	1379557.0	v	380785.0	v	397212.0	t	550468.0	f	1788392.0	t	550,514	f	664775.0
96	D	1379557.0	i	374957.0	i	395496.0	T	550468.0	D	1788392.0	s	552,154	D	664775.0
97	I	1379557.0	f	374957.0	f	395496.0	O	550468.0	I	1788392.0	c	545,822	I	664775.0
98	u	1380392.0	j	375173.0	j	396576.0	n	550468.0	u	1766847.0	C	550,142	u	642272.0
99	l	1380392.0	m	373640.0	m	397224.0	t	550468.0	l	1766847.0	T	556,270	l	642272.0
100	g	1380392.0	u	373640.0	u	397224.0	n	550468.0	g	1766847.0	U	552,154	g	642272.0
101	v	1380392.0	l	373640.0	l	397224.0	f	550468.0	v	1766847.0	t	488,099	v	642272.0
102	i	1380392.0	j	373640.0	j	397224.0	D	550468.0	i	1766847.0	T	462,695	i	631230.0
103	f	1380392.0	u	373640.0	u	397224.0	I	550468.0	f	1766847.0	O	462,695	f	631230.0
104	j	1379953.0	l	373640.0	l	397224.0	u	549638.0	j	1766847.0	n	462,695	j	631662.0
105	m	1378645.0	V	373640.0	V	397224.0	l	549638.0	m	1764200.0	t	462,695	m	628852.0
106	u	1378645.0	c	369528.0	c	397224.0	g	549638.0	u	1764200.0	n	462,695	u	628852.0
107	l	1378645.0	T	370176.0	T	397224.0	v	549638.0	l	1764200.0	f	462,695	l	628852.0
108	j	1378645.0	O	370176.0	O	397224.0	i	544687.0	j	1764200.0	D	462,695	j	629070.0
109	u	1378645.0	c	369528.0	c	397224.0	f	544687.0	u	1764200.0	I	462,695	u	629070.0
110	l	1378645.0	u	369528.0	u	397224.0	j	551322.0	l	1764200.0	u	413,231	l	629070.0
111	V	1378645.0	l	369528.0	l	397224.0	m	536005.0	V	1763192.0	l	413,231	V	629070.0
112	c	1395480.0	j	369528.0	j	397224.0	u	534925.0	c	1760382.0	g	413,231	c	629298.0
113	T	1378441.0	m	370176.0	m	397224.0	l	534925.0	T	1760804.0	v	413,231	T	629058.0
114	O	1378327.0	u	370176.0	u	397224.0	j	534925.0	O	1759950.0	i	413,231	O	627117.0
115	c	1395398.0	l	370176.0	l	397224.0	u	534925.0	c	1759530.0	f	413,231	c	628000.0
116	u	1395398.0	f	370176.0	f	397224.0	l	534925.0	u	1759530.0	j	413,231	u	628000.0
117	l	1395398.0	D	370176.0	D	397224.0	V	534925.0	l	1759530.0	m	413,015	l	628000.0
118	j	1395398.0	n	370176.0	n	397224.0	c	531447.0	j	1759530.0	u	413,015	j	628000.0
119	m	1378327.0	T	370176.0	T	397224.0	T	530921.0	m	1759530.0	l	413,015	m	627117.0
120	u	1378327.0	O	370176.0	O	397224.0	O	532649.0	u	1759530.0	j	413,015	u	627117.0
121	l	1378327.0	c	369528.0	c	397224.0	c	534127.0	l	1759530.0	u	413,015	l	627117.0
122	f	1378327.0	m	370176.0	m	397224.0	u	534127.0	f	1759530.0	l	413,015	f	627117.0
123	D	1378327.0	u	370176.0	u	397224.0	l	534127.0	D	1759530.0	V	413,015	D	627117.0
124	n	1378327.0					j	534127.0	n	1759530.0	c	420,067	n	627117.0
125	T	1378327.0					m	532617.0	T	1759950.0	T	411,245	T	627117.0
126	O	1378327.0					u	532617.0	O	1759950.0	O	408,269	O	627117.0
127	c	1395398.0					l	532617.0	c	1759530.0	c	414,253	c	628000.0
128	m	1378327.0					f	532617.0	m	1759530.0	u	414,253	m	627117.0
129	u	1378327.0					D	532617.0	u	1759530.0	l	414,253	u	627117.0
130								532617.0			j	414,253
131								532649.0			m	396,516
132								532649.0			u	396,516
133								534127.0			l	396,516
134								532617.0			f	396,516
135								532617.0			D	396,516
136												396,516
137												408,269
138												408,269
139												414,253
140												396,516
141												396,516

duration

	step deposit contract	deposit contract	step erc20	erc20	step FixedFeeRegistrar	FixedFeeRegistrar	step oz-erc20	oz-erc20	step prbmath unsigned	prbmath unsigned	step ramanujan pi	ramanujan pi	step strings	strings
0		0.0		0.0		0.0		0.0		0.0		0		0.0
1	d	38.0	d	22.0	d	24.0	d	21.0	d	72.0	d	48	d	41.0
2	h	128.0	h	45.0	h	45.0	h	45.0	h	219.0	h	78	h	94.0
3	f	42.0	f	10.0	f	15.0	f	16.0	f	42.0	f	22	f	30.0
4	o	68.0	o	11.0	o	16.0	o	18.0	o	53.0	o	30	o	40.0
5	D	3058.0	D	1131.0	D	1998.0	D	1629.0	D	7627.0	D	1,755	D	3254.0
6	g	1.0	g	0.0	g	0.0	g	0.0	g	1.0	g	0	g	1.0
7	v	744.0	v	208.0	v	356.0	v	345.0	v	1273.0	v	506	v	893.0
8	u	2510.0	u	964.0	u	2023.0	u	1209.0	u	3788.0	u	1,300	u	2398.0
9	l	220.0	l	87.0	l	144.0	l	118.0	l	443.0	l	136	l	167.0
10	f	30.0	f	10.0	f	15.0	f	16.0	f	40.0	f	22	f	27.0
11	n	239.0	n	99.0	n	129.0	n	136.0	n	418.0	n	200	n	229.0
12	T	704.0	T	229.0	T	294.0	T	311.0	T	1961.0	T	770	T	923.0
13	U	2405.0	U	1027.0	U	1728.0	U	1541.0	U	6406.0	U	1,641	U	2375.0
14	t	34.0	t	12.0	t	17.0	t	17.0	t	44.0	t	22	t	32.0
15	n	215.0	n	106.0	n	120.0	n	123.0	n	601.0	n	260	n	254.0
16	I	32.0	I	14.0	I	18.0	I	18.0	I	41.0	I	26	I	32.0
17	f	27.0	f	9.0	f	14.0	f	14.0	f	38.0	f	32	f	56.0
18	x	1430.0	x	370.0	x	640.0	x	583.0	x	2254.0	x	1,027	x	1008.0
19	a	1105.0	a	355.0	a	488.0	a	475.0	a	2577.0	a	1,023	a	1211.0
20	r	2728.0	r	1176.0	r	1797.0	r	1699.0	r	6303.0	r	2,000	r	2898.0
21	E	2165.0	E	956.0	E	1537.0	E	1312.0	E	5305.0	E	1,617	E	2388.0
22	s	2518.0	s	1114.0	s	1288.0	s	1275.0	s	4966.0	s	2,036	s	2093.0
23	c	2607.0	c	1148.0	c	1681.0	c	1485.0	c	7077.0	c	2,132	c	2642.0
24	L	2419.0	L	985.0	L	1534.0	L	1371.0	L	5617.0	L	1,695	L	2519.0
25	M	1553.0	M	688.0	M	1124.0	M	1006.0	M	3106.0	M	1,025	M	1619.0
26	V	145.0	V	73.0	V	94.0	V	81.0	V	262.0	V	112	V	243.0
27	c	2538.0	c	1100.0	c	1619.0	c	1426.0	c	6602.0	c	1,982	c	2553.0
28	u	3085.0	u	1267.0	u	1902.0	u	1896.0	u	5019.0	u	1,530	u	3054.0
29	l	187.0	l	80.0	l	159.0	l	111.0	l	589.0	l	96	l	163.0
30	j	369.0	j	126.0	j	191.0	j	189.0	j	774.0	j	225	j	493.0
31	T	378.0	T	182.0	T	167.0	T	189.0	T	557.0	T	257	T	657.0
32	p	313.0	p	172.0	p	174.0	p	169.0	p	484.0	p	106	p	420.0
33	e	196.0	e	172.0	e	112.0	e	115.0	e	683.0	e	181	e	362.0
34	u	1493.0	u	734.0	u	1017.0	u	893.0	u	1190.0	u	528	u	1575.0
35	l	158.0	l	70.0	l	100.0	l	90.0	l	81.0	l	46	l	134.0
36	x	996.0	x	593.0	x	518.0	x	541.0	x	1122.0	x	475	x	1032.0
37	a	643.0	a	318.0	a	308.0	a	307.0	a	1076.0	a	459	a	964.0
38	r	2178.0	r	944.0	r	1266.0	r	1057.0	r	1890.0	r	730	r	2415.0
39	c	1903.0	c	948.0	c	1100.0	c	988.0	c	2519.0	c	962	c	2067.0
40	L	1698.0	L	781.0	L	1084.0	L	1004.0	L	1889.0	L	943	L	2227.0
41	g	0.0	g	0.0	g	0.0	g	0.0	g	0.0	g	0	g	0.0
42	v	558.0	v	198.0	v	356.0	v	264.0	v	550.0	v	275	v	492.0
43	i	9340.0	i	3823.0	i	6522.0	i	5764.0	i	9660.0	i	3,135	i	5788.0
44	f	132.0	f	29.0	f	96.0	f	48.0	f	103.0	f	30	f	72.0
45	C	2306.0	C	895.0	C	1513.0	C	1364.0	C	2487.0	C	1,036	C	2186.0
46	T	4022.0	T	1330.0	T	2227.0	T	2331.0	T	4675.0	T	1,535	T	1997.0
47	U	2096.0	U	1082.0	U	1272.0	U	1314.0	U	2397.0	U	815	U	1710.0
48	c	6232.0	c	2247.0	c	3849.0	c	3679.0	c	8122.0	c	2,519	c	2364.0
49	a	4723.0	a	1497.0	a	2166.0	a	2414.0	a	5669.0	a	1,663	a	1787.0
50	r	3539.0	r	1410.0	r	2235.0	r	1941.0	r	4047.0	r	1,469	r	2032.0
51	L	4957.0	L	1986.0	L	3171.0	L	3099.0	L	6029.0	L	1,995	L	2354.0
52	S	7375.0	S	3295.0	S	4468.0	S	4394.0	S	7342.0	S	2,605	S	3256.0
53	s	6544.0	s	3322.0	s	4949.0	s	4323.0	s	9341.0	s	2,524	s	2427.0
54	T	3283.0	T	1261.0	T	1976.0	T	1964.0	T	6034.0	T	1,330	T	1289.0
55	F	607.0	F	560.0	F	706.0	F	5032.0	F	2915.0	F	5,649	F	1952.0
56	O	64.0	O	28.0	O	42.0	O	87.0	O	178.0	O	77	O	49.0
57	t	178.0	t	230.0	t	90.0	t	120.0	t	353.0	t	139	t	74.0
58	f	69.0	f	77.0	f	47.0	f	74.0	f	111.0	f	60	f	49.0
59	D	1931.0	D	1016.0	D	1563.0	D	2180.0	D	3347.0	D	1,623	D	2271.0
60	n	974.0	n	414.0	n	613.0	n	1146.0	n	1908.0	n	1,095	n	692.0
61	c	6189.0	c	2665.0	c	4043.0	c	6262.0	c	10125.0	c	6,128	c	3635.0
62	a	2257.0	a	919.0	a	1506.0	a	2497.0	a	6019.0	a	3,809	a	1876.0
63	r	2501.0	r	1398.0	r	1648.0	r	2472.0	r	3887.0	r	2,355	r	2534.0
64	I	57.0	I	25.0	I	37.0	I	60.0	I	94.0	I	54	I	86.0
65	u	3672.0	u	1634.0	u	2701.0	u	3657.0	u	5978.0	u	3,490	u	3152.0
66	l	41.0	l	34.0	l	25.0	l	80.0	l	55.0	l	67	l	130.0
67	c	1344.0	c	414.0	c	518.0	c	1043.0	c	2611.0	c	1,062	c	1349.0
68	s	1478.0	s	556.0	s	787.0	s	1215.0	s	3679.0	s	1,371	s	1469.0
69	c	992.0	c	388.0	c	504.0	c	770.0	c	2159.0	c	992	c	1350.0
70	C	600.0	C	420.0	C	479.0	C	445.0	C	945.0	C	630	C	1291.0
71	T	716.0	T	234.0	T	334.0	T	485.0	T	1616.0	T	654	T	718.0
72	U	611.0	U	229.0	U	234.0	U	418.0	U	829.0	U	557	U	1341.0
73	t	108.0	t	10.0	t	11.0	t	79.0	t	142.0	t	96	t	121.0
74	g	0.0	g	0.0	g	0.0	g	0.0	g	0.0	g	0	g	0.0
75	v	259.0	v	130.0	v	155.0	v	217.0	v	577.0	v	264	v	435.0
76	i	776.0	i	412.0	i	463.0	i	1073.0	i	1768.0	i	2,129	i	1889.0
77	f	20.0	f	9.0	f	10.0	f	34.0	f	55.0	f	68	f	76.0
78	s	1517.0	s	513.0	s	729.0	s	1437.0	s	3806.0	s	2,506	s	1437.0
79	c	1166.0	c	447.0	c	578.0	c	1085.0	c	2356.0	c	2,286	c	1423.0
80	C	550.0	C	241.0	C	257.0	C	442.0	C	874.0	C	611	C	1121.0
81	T	781.0	T	233.0	T	376.0	T	602.0	T	1529.0	T	1,564	T	796.0
82	U	528.0	U	224.0	U	235.0	U	458.0	U	905.0	U	594	U	1184.0
83	t	21.0	t	9.0	t	11.0	t	136.0	t	33.0	t	119	t	28.0
84	s	1338.0	T	186.0	T	265.0	s	1253.0	s	3653.0	s	2,463	s	1465.0
85	c	1165.0	O	8.0	O	9.0	c	1207.0	c	2318.0	c	2,271	c	1452.0
86	C	564.0	n	155.0	n	75.0	C	713.0	C	911.0	C	603	C	1167.0
87	T	671.0	t	9.0	t	10.0	T	709.0	T	1520.0	T	1,555	T	749.0
88	U	595.0	n	57.0	n	67.0	U	464.0	U	820.0	U	583	U	1109.0
89	t	21.0	f	8.0	f	10.0	t	23.0	t	32.0	t	111	t	28.0
90	T	568.0	D	255.0	D	270.0	s	1357.0	T	1507.0	s	2,390	T	720.0
91	O	20.0	I	6.0	I	7.0	c	1222.0	O	30.0	c	2,169	O	26.0
92	n	133.0	u	321.0	u	364.0	C	411.0	n	300.0	C	595	n	231.0
93	t	20.0	l	18.0	l	18.0	T	646.0	t	32.0	T	1,589	t	28.0
94	n	126.0	g	0.0	g	0.0	U	443.0	n	283.0	U	597	n	245.0
95	f	19.0	v	71.0	v	95.0	t	22.0	f	31.0	t	122	f	27.0
96	D	739.0	i	347.0	i	423.0	T	498.0	D	919.0	s	2,415	D	1319.0
97	I	17.0	f	6.0	f	8.0	O	20.0	I	26.0	c	2,213	I	24.0
98	u	705.0	j	100.0	j	92.0	n	153.0	u	1202.0	C	626	u	1254.0
99	l	36.0	m	175.0	m	155.0	t	22.0	l	41.0	T	1,525	l	115.0
100	g	0.0	u	437.0	u	238.0	n	147.0	g	0.0	U	565	g	0.0
101	v	183.0	l	37.0	l	19.0	f	96.0	v	373.0	t	104	v	265.0
102	i	720.0	j	42.0	j	30.0	D	470.0	i	918.0	T	1,362	i	1474.0
103	f	15.0	u	166.0	u	149.0	I	16.0	f	21.0	O	26	f	21.0
104	j	172.0	l	27.0	l	16.0	u	674.0	j	256.0	n	276	j	201.0
105	m	351.0	V	16.0	V	38.0	l	26.0	m	476.0	t	128	m	363.0
106	u	505.0	c	233.0	c	210.0	g	0.0	u	487.0	n	298	u	768.0
107	l	35.0	T	65.0	T	64.0	v	133.0	l	72.0	f	82	l	86.0
108	j	139.0	O	18.0	O	7.0	i	515.0	j	83.0	D	593	j	94.0
109	u	319.0	c	185.0	c	242.0	f	13.0	u	302.0	I	23	u	575.0
110	l	34.0	u	245.0	u	209.0	j	117.0	l	37.0	u	882	l	99.0
111	V	79.0	l	40.0	l	18.0	m	251.0	V	198.0	l	28	V	106.0
112	c	456.0	j	67.0	j	29.0	u	349.0	c	641.0	g	0	c	682.0
113	T	165.0	m	104.0	m	103.0	l	26.0	T	250.0	v	211	T	205.0
114	O	15.0	u	201.0	u	151.0	j	52.0	O	24.0	i	444	O	28.0
115	c	449.0	l	18.0	l	17.0	u	215.0	c	629.0	f	13	c	668.0
116	u	497.0	f	5.0	f	7.0	l	23.0	u	406.0	j	131	u	685.0
117	l	36.0	D	285.0	D	159.0	V	51.0	l	38.0	m	508	l	83.0
118	j	82.0	n	25.0	n	43.0	c	336.0	j	79.0	u	368	j	89.0
119	m	282.0	T	62.0	T	73.0	T	117.0	m	371.0	l	28	m	295.0
120	u	331.0	O	4.0	O	6.0	O	15.0	u	337.0	j	64	u	563.0
121	l	35.0	c	175.0	c	228.0	c	361.0	l	38.0	u	216	l	83.0
122	f	14.0	m	127.0	m	103.0	u	320.0	f	18.0	l	45	f	19.0
123	D	629.0	u	152.0	u	154.0	l	26.0	D	650.0	V	222	D	894.0
124	n	58.0					j	53.0	n	60.0	c	549	n	78.0
125	T	173.0					m	198.0	T	252.0	T	270	T	201.0
126	O	15.0					u	216.0	O	17.0	O	21	O	20.0
127	c	464.0					l	24.0	c	628.0	c	587	c	652.0
128	m	285.0					f	11.0	m	373.0	u	320	m	296.0
129	u	334.0					D	197.0	u	332.0	l	27	u	568.0
130								40.0			j	65
131								120.0			m	409
132								11.0			u	213
133								325.0			l	26
134								196.0			f	11
135								217.0			D	250
136												43
137												288
138												12
139												512
140												381
141												214

optimization_time

	step deposit contract	deposit contract	step erc20	erc20	step FixedFeeRegistrar	FixedFeeRegistrar	step oz-erc20	oz-erc20	step prbmath unsigned	prbmath unsigned	step ramanujan pi	ramanujan pi	step strings	strings
0		0.0		0.0		0.0		0.0		0.0		0		0.0
1	d	38.0	d	22.0	d	24.0	d	21.0	d	72.0	d	48	d	41.0
2	h	166.0	h	67.0	h	69.0	h	66.0	h	291.0	h	126	h	135.0
3	f	208.0	f	77.0	f	84.0	f	82.0	f	333.0	f	148	f	165.0
4	o	276.0	o	88.0	o	100.0	o	100.0	o	386.0	o	178	o	205.0
5	D	3334.0	D	1219.0	D	2098.0	D	1729.0	D	8013.0	D	1,933	D	3459.0
6	g	3335.0	g	1219.0	g	2098.0	g	1729.0	g	8014.0	g	1,933	g	3460.0
7	v	4079.0	v	1427.0	v	2454.0	v	2074.0	v	9287.0	v	2,439	v	4353.0
8	u	6589.0	u	2391.0	u	4477.0	u	3283.0	u	13075.0	u	3,739	u	6751.0
9	l	6809.0	l	2478.0	l	4621.0	l	3401.0	l	13518.0	l	3,875	l	6918.0
10	f	6839.0	f	2488.0	f	4636.0	f	3417.0	f	13558.0	f	3,897	f	6945.0
11	n	7078.0	n	2587.0	n	4765.0	n	3553.0	n	13976.0	n	4,097	n	7174.0
12	T	7782.0	T	2816.0	T	5059.0	T	3864.0	T	15937.0	T	4,867	T	8097.0
13	U	10187.0	U	3843.0	U	6787.0	U	5405.0	U	22343.0	U	6,508	U	10472.0
14	t	10221.0	t	3855.0	t	6804.0	t	5422.0	t	22387.0	t	6,530	t	10504.0
15	n	10436.0	n	3961.0	n	6924.0	n	5545.0	n	22988.0	n	6,790	n	10758.0
16	I	10468.0	I	3975.0	I	6942.0	I	5563.0	I	23029.0	I	6,816	I	10790.0
17	f	10495.0	f	3984.0	f	6956.0	f	5577.0	f	23067.0	f	6,848	f	10846.0
18	x	11925.0	x	4354.0	x	7596.0	x	6160.0	x	25321.0	x	7,875	x	11854.0
19	a	13030.0	a	4709.0	a	8084.0	a	6635.0	a	27898.0	a	8,898	a	13065.0
20	r	15758.0	r	5885.0	r	9881.0	r	8334.0	r	34201.0	r	10,898	r	15963.0
21	E	17923.0	E	6841.0	E	11418.0	E	9646.0	E	39506.0	E	12,515	E	18351.0
22	s	20441.0	s	7955.0	s	12706.0	s	10921.0	s	44472.0	s	14,551	s	20444.0
23	c	23048.0	c	9103.0	c	14387.0	c	12406.0	c	51549.0	c	16,683	c	23086.0
24	L	25467.0	L	10088.0	L	15921.0	L	13777.0	L	57166.0	L	18,378	L	25605.0
25	M	27020.0	M	10776.0	M	17045.0	M	14783.0	M	60272.0	M	19,403	M	27224.0
26	V	27165.0	V	10849.0	V	17139.0	V	14864.0	V	60534.0	V	19,515	V	27467.0
27	c	29703.0	c	11949.0	c	18758.0	c	16290.0	c	67136.0	c	21,497	c	30020.0
28	u	32788.0	u	13216.0	u	20660.0	u	18186.0	u	72155.0	u	23,027	u	33074.0
29	l	32975.0	l	13296.0	l	20819.0	l	18297.0	l	72744.0	l	23,123	l	33237.0
30	j	33344.0	j	13422.0	j	21010.0	j	18486.0	j	73518.0	j	23,348	j	33730.0
31	T	33722.0	T	13604.0	T	21177.0	T	18675.0	T	74075.0	T	23,605	T	34387.0
32	p	34035.0	p	13776.0	p	21351.0	p	18844.0	p	74559.0	p	23,711	p	34807.0
33	e	34231.0	e	13948.0	e	21463.0	e	18959.0	e	75242.0	e	23,892	e	35169.0
34	u	35724.0	u	14682.0	u	22480.0	u	19852.0	u	76432.0	u	24,420	u	36744.0
35	l	35882.0	l	14752.0	l	22580.0	l	19942.0	l	76513.0	l	24,466	l	36878.0
36	x	36878.0	x	15345.0	x	23098.0	x	20483.0	x	77635.0	x	24,941	x	37910.0
37	a	37521.0	a	15663.0	a	23406.0	a	20790.0	a	78711.0	a	25,400	a	38874.0
38	r	39699.0	r	16607.0	r	24672.0	r	21847.0	r	80601.0	r	26,130	r	41289.0
39	c	41602.0	c	17555.0	c	25772.0	c	22835.0	c	83120.0	c	27,092	c	43356.0
40	L	43300.0	L	18336.0	L	26856.0	L	23839.0	L	85009.0	L	28,035	L	45583.0
41	g	43300.0	g	18336.0	g	26856.0	g	23839.0	g	85009.0	g	28,035	g	45583.0
42	v	43858.0	v	18534.0	v	27212.0	v	24103.0	v	85559.0	v	28,310	v	46075.0
43	i	53198.0	i	22357.0	i	33734.0	i	29867.0	i	95219.0	i	31,445	i	51863.0
44	f	53330.0	f	22386.0	f	33830.0	f	29915.0	f	95322.0	f	31,475	f	51935.0
45	C	55636.0	C	23281.0	C	35343.0	C	31279.0	C	97809.0	C	32,511	C	54121.0
46	T	59658.0	T	24611.0	T	37570.0	T	33610.0	T	102484.0	T	34,046	T	56118.0
47	U	61754.0	U	25693.0	U	38842.0	U	34924.0	U	104881.0	U	34,861	U	57828.0
48	c	67986.0	c	27940.0	c	42691.0	c	38603.0	c	113003.0	c	37,380	c	60192.0
49	a	72709.0	a	29437.0	a	44857.0	a	41017.0	a	118672.0	a	39,043	a	61979.0
50	r	76248.0	r	30847.0	r	47092.0	r	42958.0	r	122719.0	r	40,512	r	64011.0
51	L	81205.0	L	32833.0	L	50263.0	L	46057.0	L	128748.0	L	42,507	L	66365.0
52	S	88580.0	S	36128.0	S	54731.0	S	50451.0	S	136090.0	S	45,112	S	69621.0
53	s	95124.0	s	39450.0	s	59680.0	s	54774.0	s	145431.0	s	47,636	s	72048.0
54	T	98407.0	T	40711.0	T	61656.0	T	56738.0	T	151465.0	T	48,966	T	73337.0
55	F	99014.0	F	41271.0	F	62362.0	F	61770.0	F	154380.0	F	54,615	F	75289.0
56	O	99078.0	O	41299.0	O	62404.0	O	61857.0	O	154558.0	O	54,692	O	75338.0
57	t	99256.0	t	41529.0	t	62494.0	t	61977.0	t	154911.0	t	54,831	t	75412.0
58	f	99325.0	f	41606.0	f	62541.0	f	62051.0	f	155022.0	f	54,891	f	75461.0
59	D	101256.0	D	42622.0	D	64104.0	D	64231.0	D	158369.0	D	56,514	D	77732.0
60	n	102230.0	n	43036.0	n	64717.0	n	65377.0	n	160277.0	n	57,609	n	78424.0
61	c	108419.0	c	45701.0	c	68760.0	c	71639.0	c	170402.0	c	63,737	c	82059.0
62	a	110676.0	a	46620.0	a	70266.0	a	74136.0	a	176421.0	a	67,546	a	83935.0
63	r	113177.0	r	48018.0	r	71914.0	r	76608.0	r	180308.0	r	69,901	r	86469.0
64	I	113234.0	I	48043.0	I	71951.0	I	76668.0	I	180402.0	I	69,955	I	86555.0
65	u	116906.0	u	49677.0	u	74652.0	u	80325.0	u	186380.0	u	73,445	u	89707.0
66	l	116947.0	l	49711.0	l	74677.0	l	80405.0	l	186435.0	l	73,512	l	89837.0
67	c	118291.0	c	50125.0	c	75195.0	c	81448.0	c	189046.0	c	74,574	c	91186.0
68	s	119769.0	s	50681.0	s	75982.0	s	82663.0	s	192725.0	s	75,945	s	92655.0
69	c	120761.0	c	51069.0	c	76486.0	c	83433.0	c	194884.0	c	76,937	c	94005.0
70	C	121361.0	C	51489.0	C	76965.0	C	83878.0	C	195829.0	C	77,567	C	95296.0
71	T	122077.0	T	51723.0	T	77299.0	T	84363.0	T	197445.0	T	78,221	T	96014.0
72	U	122688.0	U	51952.0	U	77533.0	U	84781.0	U	198274.0	U	78,778	U	97355.0
73	t	122796.0	t	51962.0	t	77544.0	t	84860.0	t	198416.0	t	78,874	t	97476.0
74	g	122796.0	g	51962.0	g	77544.0	g	84860.0	g	198416.0	g	78,874	g	97476.0
75	v	123055.0	v	52092.0	v	77699.0	v	85077.0	v	198993.0	v	79,138	v	97911.0
76	i	123831.0	i	52504.0	i	78162.0	i	86150.0	i	200761.0	i	81,267	i	99800.0
77	f	123851.0	f	52513.0	f	78172.0	f	86184.0	f	200816.0	f	81,335	f	99876.0
78	s	125368.0	s	53026.0	s	78901.0	s	87621.0	s	204622.0	s	83,841	s	101313.0
79	c	126534.0	c	53473.0	c	79479.0	c	88706.0	c	206978.0	c	86,127	c	102736.0
80	C	127084.0	C	53714.0	C	79736.0	C	89148.0	C	207852.0	C	86,738	C	103857.0
81	T	127865.0	T	53947.0	T	80112.0	T	89750.0	T	209381.0	T	88,302	T	104653.0
82	U	128393.0	U	54171.0	U	80347.0	U	90208.0	U	210286.0	U	88,896	U	105837.0
83	t	128414.0	t	54180.0	t	80358.0	t	90344.0	t	210319.0	t	89,015	t	105865.0
84	s	129752.0	T	54366.0	T	80623.0	s	91597.0	s	213972.0	s	91,478	s	107330.0
85	c	130917.0	O	54374.0	O	80632.0	c	92804.0	c	216290.0	c	93,749	c	108782.0
86	C	131481.0	n	54529.0	n	80707.0	C	93517.0	C	217201.0	C	94,352	C	109949.0
87	T	132152.0	t	54538.0	t	80717.0	T	94226.0	T	218721.0	T	95,907	T	110698.0
88	U	132747.0	n	54595.0	n	80784.0	U	94690.0	U	219541.0	U	96,490	U	111807.0
89	t	132768.0	f	54603.0	f	80794.0	t	94713.0	t	219573.0	t	96,601	t	111835.0
90	T	133336.0	D	54858.0	D	81064.0	s	96070.0	T	221080.0	s	98,991	T	112555.0
91	O	133356.0	I	54864.0	I	81071.0	c	97292.0	O	221110.0	c	101,160	O	112581.0
92	n	133489.0	u	55185.0	u	81435.0	C	97703.0	n	221410.0	C	101,755	n	112812.0
93	t	133509.0	l	55203.0	l	81453.0	T	98349.0	t	221442.0	T	103,344	t	112840.0
94	n	133635.0	g	55203.0	g	81453.0	U	98792.0	n	221725.0	U	103,941	n	113085.0
95	f	133654.0	v	55274.0	v	81548.0	t	98814.0	f	221756.0	t	104,063	f	113112.0
96	D	134393.0	i	55621.0	i	81971.0	T	99312.0	D	222675.0	s	106,478	D	114431.0
97	I	134410.0	f	55627.0	f	81979.0	O	99332.0	I	222701.0	c	108,691	I	114455.0
98	u	135115.0	j	55727.0	j	82071.0	n	99485.0	u	223903.0	C	109,317	u	115709.0
99	l	135151.0	m	55902.0	m	82226.0	t	99507.0	l	223944.0	T	110,842	l	115824.0
100	g	135151.0	u	56339.0	u	82464.0	n	99654.0	g	223944.0	U	111,407	g	115824.0
101	v	135334.0	l	56376.0	l	82483.0	f	99750.0	v	224317.0	t	111,511	v	116089.0
102	i	136054.0	j	56418.0	j	82513.0	D	100220.0	i	225235.0	T	112,873	i	117563.0
103	f	136069.0	u	56584.0	u	82662.0	I	100236.0	f	225256.0	O	112,899	f	117584.0
104	j	136241.0	l	56611.0	l	82678.0	u	100910.0	j	225512.0	n	113,175	j	117785.0
105	m	136592.0	V	56627.0	V	82716.0	l	100936.0	m	225988.0	t	113,303	m	118148.0
106	u	137097.0	c	56860.0	c	82926.0	g	100936.0	u	226475.0	n	113,601	u	118916.0
107	l	137132.0	T	56925.0	T	82990.0	v	101069.0	l	226547.0	f	113,683	l	119002.0
108	j	137271.0	O	56943.0	O	82997.0	i	101584.0	j	226630.0	D	114,276	j	119096.0
109	u	137590.0	c	57128.0	c	83239.0	f	101597.0	u	226932.0	I	114,299	u	119671.0
110	l	137624.0	u	57373.0	u	83448.0	j	101714.0	l	226969.0	u	115,181	l	119770.0
111	V	137703.0	l	57413.0	l	83466.0	m	101965.0	V	227167.0	l	115,209	V	119876.0
112	c	138159.0	j	57480.0	j	83495.0	u	102314.0	c	227808.0	g	115,209	c	120558.0
113	T	138324.0	m	57584.0	m	83598.0	l	102340.0	T	228058.0	v	115,420	T	120763.0
114	O	138339.0	u	57785.0	u	83749.0	j	102392.0	O	228082.0	i	115,864	O	120791.0
115	c	138788.0	l	57803.0	l	83766.0	u	102607.0	c	228711.0	f	115,877	c	121459.0
116	u	139285.0	f	57808.0	f	83773.0	l	102630.0	u	229117.0	j	116,008	u	122144.0
117	l	139321.0	D	58093.0	D	83932.0	V	102681.0	l	229155.0	m	116,516	l	122227.0
118	j	139403.0	n	58118.0	n	83975.0	c	103017.0	j	229234.0	u	116,884	j	122316.0
119	m	139685.0	T	58180.0	T	84048.0	T	103134.0	m	229605.0	l	116,912	m	122611.0
120	u	140016.0	O	58184.0	O	84054.0	O	103149.0	u	229942.0	j	116,976	u	123174.0
121	l	140051.0	c	58359.0	c	84282.0	c	103510.0	l	229980.0	u	117,192	l	123257.0
122	f	140065.0	m	58486.0	m	84385.0	u	103830.0	f	229998.0	l	117,237	f	123276.0
123	D	140694.0	u	58638.0	u	84539.0	l	103856.0	D	230648.0	V	117,459	D	124170.0
124	n	140752.0					j	103909.0	n	230708.0	c	118,008	n	124248.0
125	T	140925.0					m	104107.0	T	230960.0	T	118,278	T	124449.0
126	O	140940.0					u	104323.0	O	230977.0	O	118,299	O	124469.0
127	c	141404.0					l	104347.0	c	231605.0	c	118,886	c	125121.0
128	m	141689.0					f	104358.0	m	231978.0	u	119,206	m	125417.0
129	u	142023.0					D	104555.0	u	232310.0	l	119,233	u	125985.0
130								104595.0			j	119,298
131								104715.0			m	119,707
132								104726.0			u	119,920
133								105051.0			l	119,946
134								105247.0			f	119,957
135								105464.0			D	120,207
136												120,250
137												120,538
138												120,550
139												121,062
140												121,443
141												121,657

compilation_time

	step deposit contract	deposit contract	step erc20	erc20	step FixedFeeRegistrar	FixedFeeRegistrar	step oz-erc20	oz-erc20	step prbmath unsigned	prbmath unsigned	step ramanujan pi	ramanujan pi	step strings	strings
0		198777.0		77489.0		90226.0		115308.0		422134.0		118,483		167047.0
1	d	184780.0	d	74622.0	d	90907.0	d	102228.0	d	423298.0	d	132,522	d	169869.0
2	h	231425.0	h	79800.0	h	82355.0	h	111761.0	h	420445.0	h	116,929	h	164938.0
3	f	205468.0	f	71270.0	f	81613.0	f	105161.0	f	429449.0	f	120,786	f	163445.0
4	o	183109.0	o	64301.0	o	83882.0	o	107538.0	o	439468.0	o	129,859	o	166154.0
5	D	183375.0	D	74950.0	D	89943.0	D	109191.0	D	429374.0	D	136,536	D	177299.0
6	g	196326.0	g	67042.0	g	91737.0	g	115264.0	g	431537.0	g	123,393	g	173305.0
7	v	182464.0	v	72665.0	v	89331.0	v	114415.0	v	434091.0	v	125,304	v	169140.0
8	u	179638.0	u	75398.0	u	85317.0	u	108517.0	u	399923.0	u	119,355	u	168675.0
9	l	178751.0	l	70014.0	l	80307.0	l	122071.0	l	404320.0	l	112,948	l	164125.0
10	f	178741.0	f	74950.0	f	83413.0	f	110363.0	f	395911.0	f	115,375	f	169640.0
11	n	182550.0	n	76033.0	n	89398.0	n	113625.0	n	401968.0	n	123,292	n	169932.0
12	T	190814.0	T	72897.0	T	88577.0	T	112374.0	T	394610.0	T	123,674	T	181827.0
13	U	190728.0	U	78844.0	U	86332.0	U	114938.0	U	430155.0	U	121,827	U	162971.0
14	t	174646.0	t	88655.0	t	92779.0	t	109661.0	t	411998.0	t	124,829	t	163844.0
15	n	200177.0	n	127537.0	n	80146.0	n	113273.0	n	405830.0	n	122,705	n	171569.0
16	I	190907.0	I	89136.0	I	89684.0	I	111072.0	I	398232.0	I	128,365	I	166023.0
17	f	191826.0	f	103007.0	f	95186.0	f	126680.0	f	412723.0	f	118,003	f	172463.0
18	x	209118.0	x	78593.0	x	106388.0	x	114626.0	x	510795.0	x	135,092	x	183278.0
19	a	227633.0	a	95626.0	a	114696.0	a	120693.0	a	535599.0	a	143,156	a	196337.0
20	r	238380.0	r	98245.0	r	110769.0	r	122788.0	r	552782.0	r	153,120	r	216380.0
21	E	238074.0	E	90372.0	E	126435.0	E	124786.0	E	566593.0	E	150,567	E	202701.0
22	s	236231.0	s	89485.0	s	107689.0	s	123802.0	s	566134.0	s	149,360	s	194123.0
23	c	226040.0	c	91906.0	c	101278.0	c	128176.0	c	568651.0	c	163,697	c	224011.0
24	L	234012.0	L	145142.0	L	101275.0	L	127724.0	L	581787.0	L	146,516	L	218736.0
25	M	255118.0	M	100095.0	M	102320.0	M	142421.0	M	566608.0	M	159,076	M	232538.0
26	V	237787.0	V	160854.0	V	106223.0	V	138106.0	V	577475.0	V	167,747	V	235628.0
27	c	256890.0	c	104726.0	c	98096.0	c	129699.0	c	591354.0	c	164,779	c	222024.0
28	u	232241.0	u	121787.0	u	99157.0	u	146288.0	u	420808.0	u	130,740	u	189202.0
29	l	235542.0	l	100869.0	l	104324.0	l	146174.0	l	412691.0	l	141,350	l	196456.0
30	j	215549.0	j	101924.0	j	97529.0	j	210257.0	j	341603.0	j	122,710	j	174090.0
31	T	205577.0	T	89249.0	T	100704.0	T	147086.0	T	349798.0	T	122,030	T	168800.0
32	p	207184.0	p	121178.0	p	104724.0	p	160322.0	p	343111.0	p	123,838	p	165642.0
33	e	171562.0	e	137484.0	e	88520.0	e	157675.0	e	280954.0	e	110,991	e	138254.0
34	u	158889.0	u	93306.0	u	89477.0	u	110654.0	u	264568.0	u	99,228	u	128491.0
35	l	164934.0	l	96589.0	l	91176.0	l	107528.0	l	256284.0	l	94,175	l	132296.0
36	x	182476.0	x	93318.0	x	105136.0	x	129580.0	x	314311.0	x	107,954	x	160961.0
37	a	195830.0	a	101340.0	a	105628.0	a	134571.0	a	342012.0	a	122,406	a	161981.0
38	r	203604.0	r	92460.0	r	107615.0	r	132729.0	r	339761.0	r	118,275	r	154405.0
39	c	216993.0	c	101849.0	c	112166.0	c	124369.0	c	335740.0	c	116,242	c	163629.0
40	L	228086.0	L	93961.0	L	114857.0	L	152219.0	L	334612.0	L	117,156	L	169129.0
41	g	222506.0	g	141794.0	g	105946.0	g	127641.0	g	338158.0	g	113,117	g	165197.0
42	v	214598.0	v	146606.0	v	108427.0	v	182819.0	v	348591.0	v	117,516	v	158279.0
43	i	467416.0	i	225340.0	i	224185.0	i	475619.0	i	955474.0	i	191,223	i	203136.0
44	f	469226.0	f	220020.0	f	233281.0	f	644168.0	f	944836.0	f	182,645	f	204406.0
45	C	487527.0	C	217485.0	C	233613.0	C	604694.0	C	990329.0	C	188,089	C	197631.0
46	T	443216.0	T	180378.0	T	246959.0	T	480391.0	T	984318.0	T	170,352	T	190868.0
47	U	436436.0	U	277335.0	U	235508.0	U	471160.0	U	946895.0	U	166,086	U	206919.0
48	c	536640.0	c	297657.0	c	276007.0	c	511303.0	c	1681004.0	c	197,160	c	233583.0
49	a	490683.0	a	230126.0	a	284121.0	a	682051.0	a	2006569.0	a	212,108	a	245827.0
50	r	459214.0	r	317097.0	r	276452.0	r	636954.0	r	1944693.0	r	205,427	r	250216.0
51	L	478424.0	L	224846.0	L	280208.0	L	588796.0	L	2038383.0	L	211,843	L	251200.0
52	S	473391.0	S	247036.0	S	286973.0	S	604517.0	S	1965486.0	S	197,475	S	260743.0
53	s	493782.0	s	201178.0	s	282869.0	s	591504.0	s	1876888.0	s	187,936	s	255621.0
54	T	491792.0	T	281750.0	T	267309.0	T	471089.0	T	1072854.0	T	188,480	T	222168.0
55	F	510395.0	F	284370.0	F	279916.0	F	627672.0	F	1195041.0	F	395,504	F	337194.0
56	O	495022.0	O	243923.0	O	305543.0	O	651432.0	O	1192172.0	O	390,078	O	336226.0
57	t	475604.0	t	316203.0	t	296962.0	t	736476.0	t	1186554.0	t	382,516	t	318402.0
58	f	469696.0	f	217656.0	f	300485.0	f	654035.0	f	1154076.0	f	380,252	f	331335.0
59	D	475886.0	D	238215.0	D	301017.0	D	645138.0	D	1164683.0	D	385,484	D	333674.0
60	n	484657.0	n	309200.0	n	307838.0	n	724949.0	n	1165513.0	n	388,530	n	350042.0
61	c	440264.0	c	286292.0	c	348007.0	c	792689.0	c	1917967.0	c	434,150	c	357735.0
62	a	451916.0	a	281341.0	a	349029.0	a	809987.0	a	2133260.0	a	545,602	a	377433.0
63	r	451682.0	r	354951.0	r	310416.0	r	941688.0	r	2125209.0	r	575,522	r	376101.0
64	I	458110.0	I	308424.0	I	341212.0	I	886012.0	I	2128914.0	I	551,845	I	381894.0
65	u	287902.0	u	191951.0	u	145542.0	u	306086.0	u	404085.0	u	172,791	u	202476.0
66	l	308079.0	l	182788.0	l	145312.0	l	262293.0	l	397065.0	l	168,044	l	204639.0
67	c	295698.0	c	153866.0	c	143257.0	c	268526.0	c	406521.0	c	161,675	c	203833.0
68	s	284392.0	s	146038.0	s	135901.0	s	265546.0	s	411517.0	s	172,240	s	214843.0
69	c	295344.0	c	124672.0	c	132103.0	c	265250.0	c	401658.0	c	172,770	c	220132.0
70	C	294047.0	C	123530.0	C	138607.0	C	269599.0	C	415236.0	C	180,515	C	207909.0
71	T	256592.0	T	107176.0	T	137862.0	T	263028.0	T	401307.0	T	162,769	T	207258.0
72	U	243752.0	U	123141.0	U	137195.0	U	260313.0	U	391009.0	U	170,341	U	212996.0
73	t	252299.0	t	134417.0	t	135820.0	t	258388.0	t	393747.0	t	159,796	t	202291.0
74	g	251191.0	g	130809.0	g	126593.0	g	229548.0	g	406324.0	g	158,935	g	204196.0
75	v	247279.0	v	123325.0	v	128854.0	v	244878.0	v	397883.0	v	163,393	v	203198.0
76	i	253908.0	i	120590.0	i	136890.0	i	337384.0	i	413190.0	i	245,210	i	206664.0
77	f	249522.0	f	146750.0	f	127922.0	f	293173.0	f	399984.0	f	253,670	f	210502.0
78	s	248316.0	s	123892.0	s	135561.0	s	266662.0	s	425315.0	s	257,255	s	207685.0
79	c	296390.0	c	148050.0	c	142737.0	c	352480.0	c	424648.0	c	314,179	c	216776.0
80	C	283487.0	C	145810.0	C	140947.0	C	476137.0	C	439725.0	C	334,934	C	221036.0
81	T	251184.0	T	126752.0	T	133475.0	T	356819.0	T	420916.0	T	264,529	T	218725.0
82	U	248388.0	U	118575.0	U	139208.0	U	260414.0	U	415792.0	U	264,222	U	212324.0
83	t	263272.0	t	147637.0	t	127978.0	t	255650.0	t	434419.0	t	239,717	t	217716.0
84	s	256684.0	T	143988.0	T	135836.0	s	263107.0	s	437830.0	s	250,466	s	217757.0
85	c	302461.0	O	129937.0	O	138881.0	c	451367.0	c	436662.0	c	308,024	c	224785.0
86	C	287756.0	n	153317.0	n	136195.0	C	325786.0	C	447410.0	C	322,321	C	230502.0
87	T	266074.0	t	166273.0	t	130542.0	T	266182.0	T	428524.0	T	253,157	T	214645.0
88	U	256860.0	n	119426.0	n	137206.0	U	269933.0	U	419207.0	U	263,966	U	219725.0
89	t	257959.0	f	121150.0	f	135879.0	t	271529.0	t	435823.0	t	254,380	t	212653.0
90	T	255534.0	D	116818.0	D	128808.0	s	257552.0	T	430841.0	s	247,501	T	227115.0
91	O	256827.0	I	113697.0	I	138921.0	c	295331.0	O	429360.0	c	303,805	O	225120.0
92	n	262420.0	u	106006.0	u	123788.0	C	317485.0	n	434986.0	C	313,876	n	217563.0
93	t	258879.0	l	104511.0	l	128587.0	T	265040.0	t	430744.0	T	259,861	t	212778.0
94	n	266872.0	g	114227.0	g	131863.0	U	264279.0	n	435222.0	U	248,913	n	215679.0
95	f	264278.0	v	132672.0	v	127770.0	t	308234.0	f	436920.0	t	242,721	f	221195.0
96	D	268098.0	i	141351.0	i	120348.0	T	328399.0	D	423365.0	s	252,766	D	223467.0
97	I	265328.0	f	126333.0	f	135190.0	O	376395.0	I	428318.0	c	316,076	I	229620.0
98	u	243777.0	j	129309.0	j	125935.0	n	363638.0	u	376931.0	C	301,964	u	203632.0
99	l	256589.0	m	125286.0	m	137762.0	t	372203.0	l	378980.0	T	258,427	l	210460.0
100	g	250485.0	u	121964.0	u	126832.0	n	374366.0	g	372982.0	U	258,277	g	201371.0
101	v	257081.0	l	118782.0	l	130104.0	f	413353.0	v	379998.0	t	276,567	v	204281.0
102	i	249639.0	j	142793.0	j	120494.0	D	269985.0	i	373865.0	T	261,618	i	200047.0
103	f	239080.0	u	127271.0	u	131935.0	I	292957.0	f	372648.0	O	263,344	f	202493.0
104	j	251609.0	l	122170.0	l	130700.0	u	234675.0	j	362644.0	n	267,720	j	198107.0
105	m	237909.0	V	136181.0	V	122709.0	l	252926.0	m	367885.0	t	258,069	m	194108.0
106	u	230658.0	c	148460.0	c	122271.0	g	232444.0	u	373267.0	n	259,396	u	200313.0
107	l	237684.0	T	109594.0	T	126970.0	v	287510.0	l	370124.0	f	262,235	l	204372.0
108	j	235973.0	O	97272.0	O	123378.0	i	233480.0	j	371776.0	D	274,649	j	198801.0
109	u	233076.0	c	106357.0	c	129141.0	f	349765.0	u	362463.0	I	269,068	u	197991.0
110	l	240907.0	u	112449.0	u	128364.0	j	232214.0	l	374044.0	u	216,027	l	199335.0
111	V	234214.0	l	103509.0	l	133028.0	m	224791.0	V	362700.0	l	204,970	V	198208.0
112	c	250821.0	j	110553.0	j	127557.0	u	235806.0	c	365314.0	g	212,012	c	201795.0
113	T	230173.0	m	101710.0	m	120695.0	l	258920.0	T	368649.0	v	211,315	T	216079.0
114	O	245151.0	u	101743.0	u	117546.0	j	211427.0	O	366351.0	i	213,578	O	204486.0
115	c	242688.0	l	98673.0	l	117922.0	u	210718.0	c	374874.0	f	209,727	c	192898.0
116	u	243225.0	f	101699.0	f	137498.0	l	220598.0	u	364941.0	j	203,614	u	195324.0
117	l	250174.0	D	103657.0	D	123877.0	V	239520.0	l	368770.0	m	213,053	l	205137.0
118	j	240711.0	n	95436.0	n	130634.0	c	223206.0	j	367348.0	u	208,290	j	198613.0
119	m	243536.0	T	105931.0	T	119927.0	T	221691.0	m	362204.0	l	207,796	m	202898.0
120	u	245857.0	O	98427.0	O	123272.0	O	216834.0	u	381945.0	j	204,426	u	203611.0
121	l	244421.0	c	112275.0	c	129725.0	c	216783.0	l	363565.0	u	214,577	l	199955.0
122	f	242454.0	m	153852.0	m	125163.0	u	214492.0	f	367919.0	l	201,541	f	200484.0
123	D	247789.0	u	125456.0	u	136796.0	l	216707.0	D	364382.0	V	216,192	D	203224.0
124	n	240993.0					j	218885.0	n	370594.0	c	212,645	n	210188.0
125	T	238017.0					m	214419.0	T	372655.0	T	205,946	T	205511.0
126	O	249681.0					u	206180.0	O	374540.0	O	203,163	O	202307.0
127	c	238686.0					l	218181.0	c	380826.0	c	207,997	c	202733.0
128	m	239377.0					f	233584.0	m	367775.0	u	206,698	m	203985.0
129	u	233893.0					D	222892.0	u	371638.0	l	202,218	u	188583.0
130								207683.0			j	205,694
131								226422.0			m	207,116
132								215945.0			u	210,178
133								222054.0			l	213,548
134								216663.0			f	205,760
135								230613.0			D	213,585
136												201,676
137												205,352
138												211,505
139												213,307
140												198,605
141												202,998

cameel/solc-seqbench-2024-04-18-sequence-the-good-parts-mk2-cancun.md

Sequence the-good-parts-mk2, cancun, all contracts and calls

Input

Sequence

Contracts

Calls

soltest for deposit_contract

soltest for FixedFeeRegistrar

soltest for prbmath_unsigned

soltest for ramanujan_pi

soltest for strings

soltest for erc20

simple for oz-erc20

Summary

Unoptimized values

Final values

Final values vs unoptimized

Plots

Tables

runtime_gas

bytecode_size

creation_gas

duration

optimization_time

compilation_time

`soltest` for `deposit_contract`

`soltest` for `FixedFeeRegistrar`

`soltest` for `prbmath_unsigned`

`soltest` for `ramanujan_pi`

`soltest` for `strings`

`soltest` for `erc20`

`simple` for `oz-erc20`