Geth VM Trace Transaction

GETH Trace for Txn Hash 0x8a07cf0798a1798d1c74661a6ed4b99e740083dd7add0ff35e4446c66d57945a

Contract transaction successfully completed.

Raw traces

A total of 986 steps found

Step	PC	Operation	Gas	GasCost	Depth
[1]	0	PUSH1	13518	3	1
[2]	2	PUSH1	13515	3	1
[3]	4	MSTORE	13512	12	1
[4]	5	PUSH1	13500	3	1
[5]	7	CALLDATASIZE	13497	2	1
[6]	8	LT	13495	3	1
[7]	9	PUSH2	13492	3	1
[8]	12	JUMPI	13489	10	1
[9]	13	PUSH1	13479	3	1
[10]	15	CALLDATALOAD	13476	3	1
[11]	16	PUSH1	13473	3	1
[12]	18	SHR	13470	3	1
[13]	19	DUP1	13467	3	1
[14]	20	PUSH4	13464	3	1
[15]	25	GT	13461	3	1
[16]	26	PUSH2	13458	3	1
[17]	29	JUMPI	13455	10	1
[18]	236	JUMPDEST	13445	1	1
[19]	237	DUP1	13444	3	1
[20]	238	PUSH4	13441	3	1
[21]	243	GT	13438	3	1
[22]	244	PUSH2	13435	3	1
[23]	247	JUMPI	13432	10	1
[24]	345	JUMPDEST	13422	1	1
[25]	346	DUP1	13421	3	1
[26]	347	PUSH4	13418	3	1
[27]	352	GT	13415	3	1
[28]	353	PUSH2	13412	3	1
[29]	356	JUMPI	13409	10	1
[30]	405	JUMPDEST	13399	1	1
[31]	406	DUP1	13398	3	1
[32]	407	PUSH3	13395	3	1
[33]	411	EQ	13392	3	1
[34]	412	PUSH2	13389	3	1
[35]	415	JUMPI	13386	10	1
[36]	416	DUP1	13376	3	1
[37]	417	PUSH3	13373	3	1
[38]	421	EQ	13370	3	1
[39]	422	PUSH2	13367	3	1
[40]	425	JUMPI	13364	10	1
[41]	426	DUP1	13354	3	1
[42]	427	PUSH4	13351	3	1
[43]	432	EQ	13348	3	1
[44]	433	PUSH2	13345	3	1
[45]	436	JUMPI	13342	10	1
[46]	545	JUMPDEST	13332	1	1
[47]	546	CALLVALUE	13331	2	1
[48]	547	DUP1	13329	3	1
[49]	548	ISZERO	13326	3	1
[50]	549	PUSH2	13323	3	1
[51]	552	JUMPI	13320	10	1
[52]	557	JUMPDEST	13310	1	1
[53]	558	POP	13309	2	1
[54]	559	PUSH2	13307	3	1
[55]	562	PUSH2	13304	3	1
[56]	565	CALLDATASIZE	13301	2	1
[57]	566	PUSH1	13299	3	1
[58]	568	PUSH2	13296	3	1
[59]	571	JUMP	13293	8	1
[60]	11569	JUMPDEST	13285	1	1
[61]	11570	PUSH1	13284	3	1
[62]	11572	DUP1	13281	3	1
[63]	11573	PUSH1	13278	3	1
[64]	11575	DUP1	13275	3	1
[65]	11576	PUSH1	13272	3	1
[66]	11578	DUP1	13269	3	1
[67]	11579	PUSH1	13266	3	1
[68]	11581	PUSH1	13263	3	1
[69]	11583	DUP9	13260	3	1
[70]	11584	DUP11	13257	3	1
[71]	11585	SUB	13254	3	1
[72]	11586	SLT	13251	3	1
[73]	11587	ISZERO	13248	3	1
[74]	11588	PUSH2	13245	3	1
[75]	11591	JUMPI	13242	10	1
[76]	11596	JUMPDEST	13232	1	1
[77]	11597	DUP8	13231	3	1
[78]	11598	CALLDATALOAD	13228	3	1
[79]	11599	PUSH2	13225	3	1
[80]	11602	DUP2	13222	3	1
[81]	11603	PUSH2	13219	3	1
[82]	11606	JUMP	13216	8	1
[83]	11482	JUMPDEST	13208	1	1
[84]	11483	PUSH1	13207	3	1
[85]	11485	PUSH1	13204	3	1
[86]	11487	PUSH1	13201	3	1
[87]	11489	SHL	13198	3	1
[88]	11490	SUB	13195	3	1
[89]	11491	DUP2	13192	3	1
[90]	11492	AND	13189	3	1
[91]	11493	DUP2	13186	3	1
[92]	11494	EQ	13183	3	1
[93]	11495	PUSH2	13180	3	1
[94]	11498	JUMPI	13177	10	1
[95]	8871	JUMPDEST	13167	1	1
[96]	8872	POP	13166	2	1
[97]	8873	JUMP	13164	8	1
[98]	11607	JUMPDEST	13156	1	1
[99]	11608	SWAP7	13155	3	1
[100]	11609	POP	13152	2	1
[101]	11610	PUSH1	13150	3	1
[102]	11612	DUP9	13147	3	1
[103]	11613	ADD	13144	3	1
[104]	11614	CALLDATALOAD	13141	3	1
[105]	11615	SWAP6	13138	3	1
[106]	11616	POP	13135	2	1
[107]	11617	PUSH1	13133	3	1
[108]	11619	DUP9	13130	3	1
[109]	11620	ADD	13127	3	1
[110]	11621	CALLDATALOAD	13124	3	1
[111]	11622	SWAP5	13121	3	1
[112]	11623	POP	13118	2	1
[113]	11624	PUSH1	13116	3	1
[114]	11626	DUP9	13113	3	1
[115]	11627	ADD	13110	3	1
[116]	11628	CALLDATALOAD	13107	3	1
[117]	11629	PUSH8	13104	3	1
[118]	11638	DUP1	13101	3	1
[119]	11639	DUP3	13098	3	1
[120]	11640	GT	13095	3	1
[121]	11641	ISZERO	13092	3	1
[122]	11642	PUSH2	13089	3	1
[123]	11645	JUMPI	13086	10	1
[124]	11650	JUMPDEST	13076	1	1
[125]	11651	PUSH2	13075	3	1
[126]	11654	DUP12	13072	3	1
[127]	11655	DUP4	13069	3	1
[128]	11656	DUP13	13066	3	1
[129]	11657	ADD	13063	3	1
[130]	11658	PUSH2	13060	3	1
[131]	11661	JUMP	13057	8	1
[132]	11503	JUMPDEST	13049	1	1
[133]	11504	PUSH1	13048	3	1
[134]	11506	DUP1	13045	3	1
[135]	11507	DUP4	13042	3	1
[136]	11508	PUSH1	13039	3	1
[137]	11510	DUP5	13036	3	1
[138]	11511	ADD	13033	3	1
[139]	11512	SLT	13030	3	1
[140]	11513	PUSH2	13027	3	1
[141]	11516	JUMPI	13024	10	1
[142]	11521	JUMPDEST	13014	1	1
[143]	11522	POP	13013	2	1
[144]	11523	DUP2	13011	3	1
[145]	11524	CALLDATALOAD	13008	3	1
[146]	11525	PUSH8	13005	3	1
[147]	11534	DUP2	13002	3	1
[148]	11535	GT	12999	3	1
[149]	11536	ISZERO	12996	3	1
[150]	11537	PUSH2	12993	3	1
[151]	11540	JUMPI	12990	10	1
[152]	11545	JUMPDEST	12980	1	1
[153]	11546	PUSH1	12979	3	1
[154]	11548	DUP4	12976	3	1
[155]	11549	ADD	12973	3	1
[156]	11550	SWAP2	12970	3	1
[157]	11551	POP	12967	2	1
[158]	11552	DUP4	12965	3	1
[159]	11553	PUSH1	12962	3	1
[160]	11555	DUP3	12959	3	1
[161]	11556	DUP6	12956	3	1
[162]	11557	ADD	12953	3	1
[163]	11558	ADD	12950	3	1
[164]	11559	GT	12947	3	1
[165]	11560	ISZERO	12944	3	1
[166]	11561	PUSH2	12941	3	1
[167]	11564	JUMPI	12938	10	1
[168]	8507	JUMPDEST	12928	1	1
[169]	8508	SWAP3	12927	3	1
[170]	8509	POP	12924	2	1
[171]	8510	SWAP3	12922	3	1
[172]	8511	SWAP1	12919	3	1
[173]	8512	POP	12916	2	1
[174]	8513	JUMP	12914	8	1
[175]	11662	JUMPDEST	12906	1	1
[176]	11663	SWAP1	12905	3	1
[177]	11664	SWAP7	12902	3	1
[178]	11665	POP	12899	2	1
[179]	11666	SWAP5	12897	3	1
[180]	11667	POP	12894	2	1
[181]	11668	PUSH1	12892	3	1
[182]	11670	DUP11	12889	3	1
[183]	11671	ADD	12886	3	1
[184]	11672	CALLDATALOAD	12883	3	1
[185]	11673	SWAP2	12880	3	1
[186]	11674	POP	12877	2	1
[187]	11675	DUP1	12875	3	1
[188]	11676	DUP3	12872	3	1
[189]	11677	GT	12869	3	1
[190]	11678	ISZERO	12866	3	1
[191]	11679	PUSH2	12863	3	1
[192]	11682	JUMPI	12860	10	1
[193]	11687	JUMPDEST	12850	1	1
[194]	11688	POP	12849	2	1
[195]	11689	PUSH2	12847	3	1
[196]	11692	DUP11	12844	3	1
[197]	11693	DUP3	12841	3	1
[198]	11694	DUP12	12838	3	1
[199]	11695	ADD	12835	3	1
[200]	11696	PUSH2	12832	3	1
[201]	11699	JUMP	12829	8	1
[202]	11503	JUMPDEST	12821	1	1
[203]	11504	PUSH1	12820	3	1
[204]	11506	DUP1	12817	3	1
[205]	11507	DUP4	12814	3	1
[206]	11508	PUSH1	12811	3	1
[207]	11510	DUP5	12808	3	1
[208]	11511	ADD	12805	3	1
[209]	11512	SLT	12802	3	1
[210]	11513	PUSH2	12799	3	1
[211]	11516	JUMPI	12796	10	1
[212]	11521	JUMPDEST	12786	1	1
[213]	11522	POP	12785	2	1
[214]	11523	DUP2	12783	3	1
[215]	11524	CALLDATALOAD	12780	3	1
[216]	11525	PUSH8	12777	3	1
[217]	11534	DUP2	12774	3	1
[218]	11535	GT	12771	3	1
[219]	11536	ISZERO	12768	3	1
[220]	11537	PUSH2	12765	3	1
[221]	11540	JUMPI	12762	10	1
[222]	11545	JUMPDEST	12752	1	1
[223]	11546	PUSH1	12751	3	1
[224]	11548	DUP4	12748	3	1
[225]	11549	ADD	12745	3	1
[226]	11550	SWAP2	12742	3	1
[227]	11551	POP	12739	2	1
[228]	11552	DUP4	12737	3	1
[229]	11553	PUSH1	12734	3	1
[230]	11555	DUP3	12731	3	1
[231]	11556	DUP6	12728	3	1
[232]	11557	ADD	12725	3	1
[233]	11558	ADD	12722	3	1
[234]	11559	GT	12719	3	1
[235]	11560	ISZERO	12716	3	1
[236]	11561	PUSH2	12713	3	1
[237]	11564	JUMPI	12710	10	1
[238]	8507	JUMPDEST	12700	1	1
[239]	8508	SWAP3	12699	3	1
[240]	8509	POP	12696	2	1
[241]	8510	SWAP3	12694	3	1
[242]	8511	SWAP1	12691	3	1
[243]	8512	POP	12688	2	1
[244]	8513	JUMP	12686	8	1
[245]	11700	JUMPDEST	12678	1	1
[246]	11701	SWAP9	12677	3	1
[247]	11702	SWAP12	12674	3	1
[248]	11703	SWAP8	12671	3	1
[249]	11704	SWAP11	12668	3	1
[250]	11705	POP	12665	2	1
[251]	11706	SWAP6	12663	3	1
[252]	11707	SWAP9	12660	3	1
[253]	11708	POP	12657	2	1
[254]	11709	SWAP4	12655	3	1
[255]	11710	SWAP7	12652	3	1
[256]	11711	SWAP3	12649	3	1
[257]	11712	SWAP6	12646	3	1
[258]	11713	SWAP3	12643	3	1
[259]	11714	SWAP4	12640	3	1
[260]	11715	POP	12637	2	1
[261]	11716	POP	12635	2	1
[262]	11717	POP	12633	2	1
[263]	11718	JUMP	12631	8	1
[264]	572	JUMPDEST	12623	1	1
[265]	573	PUSH2	12622	3	1
[266]	576	JUMP	12619	8	1
[267]	1948	JUMPDEST	12611	1	1
[268]	1949	PUSH1	12610	3	1
[269]	1951	DUP8	12607	3	1
[270]	1952	PUSH1	12604	3	1
[271]	1954	PUSH1	12601	3	1
[272]	1956	PUSH1	12598	3	1
[273]	1958	SHL	12595	3	1
[274]	1959	SUB	12592	3	1
[275]	1960	AND	12589	3	1
[276]	1961	PUSH2	12586	3	1
[277]	1964	DUP5	12583	3	1
[278]	1965	DUP5	12580	3	1
[279]	1966	DUP1	12577	3	1
[280]	1967	DUP1	12574	3	1
[281]	1968	PUSH1	12571	3	1
[282]	1970	ADD	12568	3	1
[283]	1971	PUSH1	12565	3	1
[284]	1973	DUP1	12562	3	1
[285]	1974	SWAP2	12559	3	1
[286]	1975	DIV	12556	5	1
[287]	1976	MUL	12551	5	1
[288]	1977	PUSH1	12546	3	1
[289]	1979	ADD	12543	3	1
[290]	1980	PUSH1	12540	3	1
[291]	1982	MLOAD	12537	3	1
[292]	1983	SWAP1	12534	3	1
[293]	1984	DUP2	12531	3	1
[294]	1985	ADD	12528	3	1
[295]	1986	PUSH1	12525	3	1
[296]	1988	MSTORE	12522	3	1
[297]	1989	DUP1	12519	3	1
[298]	1990	SWAP4	12516	3	1
[299]	1991	SWAP3	12513	3	1
[300]	1992	SWAP2	12510	3	1
[301]	1993	SWAP1	12507	3	1
[302]	1994	DUP2	12504	3	1
[303]	1995	DUP2	12501	3	1
[304]	1996	MSTORE	12498	9	1
[305]	1997	PUSH1	12489	3	1
[306]	1999	ADD	12486	3	1
[307]	2000	DUP4	12483	3	1
[308]	2001	DUP4	12480	3	1
[309]	2002	DUP1	12477	3	1
[310]	2003	DUP3	12474	3	1
[311]	2004	DUP5	12471	3	1
[312]	2005	CALLDATACOPY	12468	21	1
[313]	2006	PUSH1	12447	3	1
[314]	2008	SWAP3	12444	3	1
[315]	2009	ADD	12441	3	1
[316]	2010	SWAP2	12438	3	1
[317]	2011	SWAP1	12435	3	1
[318]	2012	SWAP2	12432	3	1
[319]	2013	MSTORE	12429	6	1
[320]	2014	POP	12423	2	1
[321]	2015	POP	12421	2	1
[322]	2016	PUSH1	12419	3	1
[323]	2018	MLOAD	12416	3	1
[324]	2019	PUSH2	12413	3	1
[325]	2022	SWAP3	12410	3	1
[326]	2023	POP	12407	2	1
[327]	2024	PUSH2	12405	3	1
[328]	2027	SWAP2	12402	3	1
[329]	2028	POP	12399	2	1
[330]	2029	DUP13	12397	3	1
[331]	2030	SWAP1	12394	3	1
[332]	2031	DUP13	12391	3	1
[333]	2032	SWAP1	12388	3	1
[334]	2033	DUP13	12385	3	1
[335]	2034	SWAP1	12382	3	1
[336]	2035	DUP13	12379	3	1
[337]	2036	SWAP1	12376	3	1
[338]	2037	PUSH1	12373	3	1
[339]	2039	ADD	12370	3	1
[340]	2040	PUSH2	12367	3	1
[341]	2043	JUMP	12364	8	1
[342]	12415	JUMPDEST	12356	1	1
[343]	12416	DUP5	12355	3	1
[344]	12417	DUP2	12352	3	1
[345]	12418	MSTORE	12349	6	1
[346]	12419	DUP4	12343	3	1
[347]	12420	PUSH1	12340	3	1
[348]	12422	DUP3	12337	3	1
[349]	12423	ADD	12334	3	1
[350]	12424	MSTORE	12331	6	1
[351]	12425	DUP2	12325	3	1
[352]	12426	DUP4	12322	3	1
[353]	12427	PUSH1	12319	3	1
[354]	12429	DUP4	12316	3	1
[355]	12430	ADD	12313	3	1
[356]	12431	CALLDATACOPY	12310	9	1
[357]	12432	PUSH1	12301	3	1
[358]	12434	SWAP2	12298	3	1
[359]	12435	ADD	12295	3	1
[360]	12436	PUSH1	12292	3	1
[361]	12438	ADD	12289	3	1
[362]	12439	SWAP1	12286	3	1
[363]	12440	DUP2	12283	3	1
[364]	12441	MSTORE	12280	6	1
[365]	12442	SWAP4	12274	3	1
[366]	12443	SWAP3	12271	3	1
[367]	12444	POP	12268	2	1
[368]	12445	POP	12266	2	1
[369]	12446	POP	12264	2	1
[370]	12447	JUMP	12262	8	1
[371]	2044	JUMPDEST	12254	1	1
[372]	2045	PUSH1	12253	3	1
[373]	2047	MLOAD	12250	3	1
[374]	2048	PUSH1	12247	3	1
[375]	2050	DUP2	12244	3	1
[376]	2051	DUP4	12241	3	1
[377]	2052	SUB	12238	3	1
[378]	2053	SUB	12235	3	1
[379]	2054	DUP2	12232	3	1
[380]	2055	MSTORE	12229	3	1
[381]	2056	SWAP1	12226	3	1
[382]	2057	PUSH1	12223	3	1
[383]	2059	MSTORE	12220	3	1
[384]	2060	DUP1	12217	3	1
[385]	2061	MLOAD	12214	3	1
[386]	2062	SWAP1	12211	3	1
[387]	2063	PUSH1	12208	3	1
[388]	2065	ADD	12205	3	1
[389]	2066	KECCAK256	12202	48	1
[390]	2067	PUSH2	12154	3	1
[391]	2070	JUMP	12151	8	1
[392]	6292	JUMPDEST	12143	1	1
[393]	6293	PUSH1	12142	3	1
[394]	6295	MLOAD	12139	3	1
[395]	6296	PUSH32	12136	3	1
[396]	6329	PUSH1	12133	3	1
[397]	6331	DUP3	12130	3	1
[398]	6332	ADD	12127	3	1
[399]	6333	MSTORE	12124	6	1
[400]	6334	PUSH1	12118	3	1
[401]	6336	DUP2	12115	3	1
[402]	6337	ADD	12112	3	1
[403]	6338	DUP3	12109	3	1
[404]	6339	SWAP1	12106	3	1
[405]	6340	MSTORE	12103	6	1
[406]	6341	PUSH1	12097	3	1
[407]	6343	SWAP1	12094	3	1
[408]	6344	PUSH1	12091	3	1
[409]	6346	ADD	12088	3	1
[410]	6347	PUSH2	12085	3	1
[411]	6350	JUMP	12082	8	1
[412]	6263	JUMPDEST	12074	1	1
[413]	6264	PUSH1	12073	3	1
[414]	6266	MLOAD	12070	3	1
[415]	6267	PUSH1	12067	3	1
[416]	6269	DUP2	12064	3	1
[417]	6270	DUP4	12061	3	1
[418]	6271	SUB	12058	3	1
[419]	6272	SUB	12055	3	1
[420]	6273	DUP2	12052	3	1
[421]	6274	MSTORE	12049	3	1
[422]	6275	SWAP1	12046	3	1
[423]	6276	PUSH1	12043	3	1
[424]	6278	MSTORE	12040	3	1
[425]	6279	DUP1	12037	3	1
[426]	6280	MLOAD	12034	3	1
[427]	6281	SWAP1	12031	3	1
[428]	6282	PUSH1	12028	3	1
[429]	6284	ADD	12025	3	1
[430]	6285	KECCAK256	12022	42	1
[431]	6286	SWAP1	11980	3	1
[432]	6287	POP	11977	2	1
[433]	6288	SWAP2	11975	3	1
[434]	6289	SWAP1	11972	3	1
[435]	6290	POP	11969	2	1
[436]	6291	JUMP	11967	8	1
[437]	2071	JUMPDEST	11959	1	1
[438]	2072	SWAP1	11958	3	1
[439]	2073	PUSH2	11955	3	1
[440]	2076	JUMP	11952	8	1
[441]	6351	JUMPDEST	11944	1	1
[442]	6352	PUSH1	11943	3	1
[443]	6354	DUP1	11940	3	1
[444]	6355	PUSH1	11937	3	1
[445]	6357	PUSH2	11934	3	1
[446]	6360	DUP6	11931	3	1
[447]	6361	DUP6	11928	3	1
[448]	6362	PUSH2	11925	3	1
[449]	6365	JUMP	11922	8	1
[450]	8445	JUMPDEST	11914	1	1
[451]	8446	PUSH1	11913	3	1
[452]	8448	DUP1	11910	3	1
[453]	8449	DUP3	11907	3	1
[454]	8450	MLOAD	11904	3	1
[455]	8451	PUSH1	11901	3	1
[456]	8453	SUB	11898	3	1
[457]	8454	PUSH2	11895	3	1
[458]	8457	JUMPI	11892	10	1
[459]	8458	PUSH1	11882	3	1
[460]	8460	DUP4	11879	3	1
[461]	8461	ADD	11876	3	1
[462]	8462	MLOAD	11873	3	1
[463]	8463	PUSH1	11870	3	1
[464]	8465	DUP5	11867	3	1
[465]	8466	ADD	11864	3	1
[466]	8467	MLOAD	11861	3	1
[467]	8468	PUSH1	11858	3	1
[468]	8470	DUP6	11855	3	1
[469]	8471	ADD	11852	3	1
[470]	8472	MLOAD	11849	3	1
[471]	8473	PUSH1	11846	3	1
[472]	8475	BYTE	11843	3	1
[473]	8476	PUSH2	11840	3	1
[474]	8479	DUP8	11837	3	1
[475]	8480	DUP3	11834	3	1
[476]	8481	DUP6	11831	3	1
[477]	8482	DUP6	11828	3	1
[478]	8483	PUSH2	11825	3	1
[479]	8486	JUMP	11822	8	1
[480]	10270	JUMPDEST	11814	1	1
[481]	10271	PUSH1	11813	3	1
[482]	10273	DUP1	11810	3	1
[483]	10274	PUSH32	11807	3	1
[484]	10307	DUP4	11804	3	1
[485]	10308	GT	11801	3	1
[486]	10309	ISZERO	11798	3	1
[487]	10310	PUSH2	11795	3	1
[488]	10313	JUMPI	11792	10	1
[489]	10325	JUMPDEST	11782	1	1
[490]	10326	PUSH1	11781	3	1
[491]	10328	DUP1	11778	3	1
[492]	10329	MLOAD	11775	3	1
[493]	10330	PUSH1	11772	3	1
[494]	10332	DUP1	11769	3	1
[495]	10333	DUP3	11766	3	1
[496]	10334	MSTORE	11763	6	1
[497]	10335	PUSH1	11757	3	1
[498]	10337	DUP3	11754	3	1
[499]	10338	ADD	11751	3	1
[500]	10339	DUP1	11748	3	1
[501]	10340	DUP5	11745	3	1
[502]	10341	MSTORE	11742	3	1
[503]	10342	DUP10	11739	3	1
[504]	10343	SWAP1	11736	3	1
[505]	10344	MSTORE	11733	6	1
[506]	10345	PUSH1	11727	3	1
[507]	10347	DUP9	11724	3	1
[508]	10348	AND	11721	3	1
[509]	10349	SWAP3	11718	3	1
[510]	10350	DUP3	11715	3	1
[511]	10351	ADD	11712	3	1
[512]	10352	SWAP3	11709	3	1
[513]	10353	SWAP1	11706	3	1
[514]	10354	SWAP3	11703	3	1
[515]	10355	MSTORE	11700	6	1
[516]	10356	PUSH1	11694	3	1
[517]	10358	DUP2	11691	3	1
[518]	10359	ADD	11688	3	1
[519]	10360	DUP7	11685	3	1
[520]	10361	SWAP1	11682	3	1
[521]	10362	MSTORE	11679	6	1
[522]	10363	PUSH1	11673	3	1
[523]	10365	DUP2	11670	3	1
[524]	10366	ADD	11667	3	1
[525]	10367	DUP6	11664	3	1
[526]	10368	SWAP1	11661	3	1
[527]	10369	MSTORE	11658	6	1
[528]	10370	PUSH1	11652	3	1
[529]	10372	SWAP1	11649	3	1
[530]	10373	PUSH1	11646	3	1
[531]	10375	ADD	11643	3	1
[532]	10376	PUSH1	11640	3	1
[533]	10378	PUSH1	11637	3	1
[534]	10380	MLOAD	11634	3	1
[535]	10381	PUSH1	11631	3	1
[536]	10383	DUP2	11628	3	1
[537]	10384	SUB	11625	3	1
[538]	10385	SWAP1	11622	3	1
[539]	10386	DUP1	11619	3	1
[540]	10387	DUP5	11616	3	1
[541]	10388	SUB	11613	3	1
[542]	10389	SWAP1	11610	3	1
[543]	10390	DUP6	11607	3	1
[544]	10391	GAS	11604	2	1
[545]	10392	STATICCALL	11602	11423	1
[546]	10393	ISZERO	8502	3	1
[547]	10394	DUP1	8499	3	1
[548]	10395	ISZERO	8496	3	1
[549]	10396	PUSH2	8493	3	1
[550]	10399	JUMPI	8490	10	1
[551]	10409	JUMPDEST	8480	1	1
[552]	10410	POP	8479	2	1
[553]	10411	POP	8477	2	1
[554]	10412	PUSH1	8475	3	1
[555]	10414	MLOAD	8472	3	1
[556]	10415	PUSH1	8469	3	1
[557]	10417	NOT	8466	3	1
[558]	10418	ADD	8463	3	1
[559]	10419	MLOAD	8460	3	1
[560]	10420	SWAP2	8457	3	1
[561]	10421	POP	8454	2	1
[562]	10422	POP	8452	2	1
[563]	10423	PUSH1	8450	3	1
[564]	10425	PUSH1	8447	3	1
[565]	10427	PUSH1	8444	3	1
[566]	10429	SHL	8441	3	1
[567]	10430	SUB	8438	3	1
[568]	10431	DUP2	8435	3	1
[569]	10432	AND	8432	3	1
[570]	10433	PUSH2	8429	3	1
[571]	10436	JUMPI	8426	10	1
[572]	10450	JUMPDEST	8416	1	1
[573]	10451	SWAP2	8415	3	1
[574]	10452	POP	8412	2	1
[575]	10453	PUSH1	8410	3	1
[576]	10455	SWAP1	8407	3	1
[577]	10456	POP	8404	2	1
[578]	10457	JUMPDEST	8402	1	1
[579]	10458	SWAP5	8401	3	1
[580]	10459	POP	8398	2	1
[581]	10460	SWAP5	8396	3	1
[582]	10461	SWAP3	8393	3	1
[583]	10462	POP	8390	2	1
[584]	10463	POP	8388	2	1
[585]	10464	POP	8386	2	1
[586]	10465	JUMP	8384	8	1
[587]	8487	JUMPDEST	8376	1	1
[588]	8488	SWAP5	8375	3	1
[589]	8489	POP	8372	2	1
[590]	8490	SWAP5	8370	3	1
[591]	8491	POP	8367	2	1
[592]	8492	POP	8365	2	1
[593]	8493	POP	8363	2	1
[594]	8494	POP	8361	2	1
[595]	8495	PUSH2	8359	3	1
[596]	8498	JUMP	8356	8	1
[597]	8507	JUMPDEST	8348	1	1
[598]	8508	SWAP3	8347	3	1
[599]	8509	POP	8344	2	1
[600]	8510	SWAP3	8342	3	1
[601]	8511	SWAP1	8339	3	1
[602]	8512	POP	8336	2	1
[603]	8513	JUMP	8334	8	1
[604]	6366	JUMPDEST	8326	1	1
[605]	6367	SWAP2	8325	3	1
[606]	6368	POP	8322	2	1
[607]	6369	SWAP2	8320	3	1
[608]	6370	POP	8317	2	1
[609]	6371	PUSH2	8315	3	1
[610]	6374	DUP2	8312	3	1
[611]	6375	PUSH2	8309	3	1
[612]	6378	JUMP	8306	8	1
[613]	8514	JUMPDEST	8298	1	1
[614]	8515	PUSH1	8297	3	1
[615]	8517	DUP2	8294	3	1
[616]	8518	PUSH1	8291	3	1
[617]	8520	DUP2	8288	3	1
[618]	8521	GT	8285	3	1
[619]	8522	ISZERO	8282	3	1
[620]	8523	PUSH2	8279	3	1
[621]	8526	JUMPI	8276	10	1
[622]	8534	JUMPDEST	8266	1	1
[623]	8535	SUB	8265	3	1
[624]	8536	PUSH2	8262	3	1
[625]	8539	JUMPI	8259	10	1
[626]	8540	POP	8249	2	1
[627]	8541	JUMP	8247	8	1
[628]	6379	JUMPDEST	8239	1	1
[629]	6380	POP	8238	2	1
[630]	6381	SWAP1	8236	3	1
[631]	6382	POP	8233	2	1
[632]	6383	JUMPDEST	8231	1	1
[633]	6384	SWAP3	8230	3	1
[634]	6385	SWAP2	8227	3	1
[635]	6386	POP	8224	2	1
[636]	6387	POP	8222	2	1
[637]	6388	JUMP	8220	8	1
[638]	2077	JUMPDEST	8212	1	1
[639]	2078	PUSH1	8211	3	1
[640]	2080	PUSH1	8208	3	1
[641]	2082	PUSH1	8205	3	1
[642]	2084	SHL	8202	3	1
[643]	2085	SUB	8199	3	1
[644]	2086	AND	8196	3	1
[645]	2087	EQ	8193	3	1
[646]	2088	PUSH2	8190	3	1
[647]	2091	JUMPI	8187	10	1
[648]	2163	JUMPDEST	8177	1	1
[649]	2164	POP	8176	2	1
[650]	2165	PUSH1	8174	3	1
[651]	2167	DUP1	8171	3	1
[652]	2168	MLOAD	8168	3	1
[653]	2169	PUSH12	8165	3	1
[654]	2182	NOT	8162	3	1
[655]	2183	PUSH1	8159	3	1
[656]	2185	DUP11	8156	3	1
[657]	2186	SWAP1	8153	3	1
[658]	2187	SHL	8150	3	1
[659]	2188	AND	8147	3	1
[660]	2189	PUSH1	8144	3	1
[661]	2191	DUP1	8141	3	1
[662]	2192	DUP4	8138	3	1
[663]	2193	ADD	8135	3	1
[664]	2194	SWAP2	8132	3	1
[665]	2195	SWAP1	8129	3	1
[666]	2196	SWAP2	8126	3	1
[667]	2197	MSTORE	8123	3	1
[668]	2198	PUSH1	8120	3	1
[669]	2200	DUP1	8117	3	1
[670]	2201	DUP4	8114	3	1
[671]	2202	ADD	8111	3	1
[672]	2203	DUP11	8108	3	1
[673]	2204	SWAP1	8105	3	1
[674]	2205	MSTORE	8102	3	1
[675]	2206	DUP4	8099	3	1
[676]	2207	MLOAD	8096	3	1
[677]	2208	DUP1	8093	3	1
[678]	2209	DUP5	8090	3	1
[679]	2210	SUB	8087	3	1
[680]	2211	SWAP1	8084	3	1
[681]	2212	SWAP2	8081	3	1
[682]	2213	ADD	8078	3	1
[683]	2214	DUP2	8075	3	1
[684]	2215	MSTORE	8072	3	1
[685]	2216	PUSH1	8069	3	1
[686]	2218	SWAP1	8066	3	1
[687]	2219	SWAP3	8063	3	1
[688]	2220	ADD	8060	3	1
[689]	2221	SWAP1	8057	3	1
[690]	2222	SWAP3	8054	3	1
[691]	2223	MSTORE	8051	3	1
[692]	2224	DUP1	8048	3	1
[693]	2225	MLOAD	8045	3	1
[694]	2226	SWAP2	8042	3	1
[695]	2227	ADD	8039	3	1
[696]	2228	KECCAK256	8036	42	1
[697]	2229	PUSH1	7994	3	1
[698]	2231	PUSH2	7991	3	1
[699]	2234	DUP3	7988	3	1
[700]	2235	DUP9	7985	3	1
[701]	2236	DUP9	7982	3	1
[702]	2237	DUP9	7979	3	1
[703]	2238	PUSH2	7976	3	1
[704]	2241	JUMP	7973	8	1
[705]	6389	JUMPDEST	7965	1	1
[706]	6390	PUSH1	7964	3	1
[707]	6392	DUP4	7961	3	1
[708]	6393	TIMESTAMP	7958	2	1
[709]	6394	PUSH2	7956	3	1
[710]	6397	ADD	7953	3	1
[711]	6398	DUP2	7950	3	1
[712]	6399	LT	7947	3	1
[713]	6400	PUSH2	7944	3	1
[714]	6403	JUMPI	7941	10	1
[715]	6475	JUMPDEST	7931	1	1
[716]	6476	PUSH2	7930	3	1
[717]	6479	DUP5	7927	3	1
[718]	6480	DUP5	7924	3	1
[719]	6481	DUP1	7921	3	1
[720]	6482	DUP1	7918	3	1
[721]	6483	PUSH1	7915	3	1
[722]	6485	ADD	7912	3	1
[723]	6486	PUSH1	7909	3	1
[724]	6488	DUP1	7906	3	1
[725]	6489	SWAP2	7903	3	1
[726]	6490	DIV	7900	5	1
[727]	6491	MUL	7895	5	1
[728]	6492	PUSH1	7890	3	1
[729]	6494	ADD	7887	3	1
[730]	6495	PUSH1	7884	3	1
[731]	6497	MLOAD	7881	3	1
[732]	6498	SWAP1	7878	3	1
[733]	6499	DUP2	7875	3	1
[734]	6500	ADD	7872	3	1
[735]	6501	PUSH1	7869	3	1
[736]	6503	MSTORE	7866	3	1
[737]	6504	DUP1	7863	3	1
[738]	6505	SWAP4	7860	3	1
[739]	6506	SWAP3	7857	3	1
[740]	6507	SWAP2	7854	3	1
[741]	6508	SWAP1	7851	3	1
[742]	6509	DUP2	7848	3	1
[743]	6510	DUP2	7845	3	1
[744]	6511	MSTORE	7842	3	1
[745]	6512	PUSH1	7839	3	1
[746]	6514	ADD	7836	3	1
[747]	6515	DUP4	7833	3	1
[748]	6516	DUP4	7830	3	1
[749]	6517	DUP1	7827	3	1
[750]	6518	DUP3	7824	3	1
[751]	6519	DUP5	7821	3	1
[752]	6520	CALLDATACOPY	7818	9	1
[753]	6521	PUSH1	7809	3	1
[754]	6523	SWAP3	7806	3	1
[755]	6524	ADD	7803	3	1
[756]	6525	SWAP2	7800	3	1
[757]	6526	SWAP1	7797	3	1
[758]	6527	SWAP2	7794	3	1
[759]	6528	MSTORE	7791	6	1
[760]	6529	POP	7785	2	1
[761]	6530	PUSH2	7783	3	1
[762]	6533	SWAP3	7780	3	1
[763]	6534	POP	7777	2	1
[764]	6535	POP	7775	2	1
[765]	6536	POP	7773	2	1
[766]	6537	JUMP	7771	8	1
[767]	7583	JUMPDEST	7763	1	1
[768]	7584	PUSH1	7762	3	1
[769]	7586	DUP2	7759	3	1
[770]	7587	MLOAD	7756	3	1
[771]	7588	PUSH1	7753	3	1
[772]	7590	EQ	7750	3	1
[773]	7591	PUSH2	7747	3	1
[774]	7594	JUMPI	7744	10	1
[775]	7666	JUMPDEST	7734	1	1
[776]	7667	PUSH1	7733	3	1
[777]	7669	DUP3	7730	3	1
[778]	7670	DUP1	7727	3	1
[779]	7671	PUSH1	7724	3	1
[780]	7673	ADD	7721	3	1
[781]	7674	SWAP1	7718	3	1
[782]	7675	MLOAD	7715	3	1
[783]	7676	DUP2	7712	3	1
[784]	7677	ADD	7709	3	1
[785]	7678	SWAP1	7706	3	1
[786]	7679	PUSH2	7703	3	1
[787]	7682	SWAP2	7700	3	1
[788]	7683	SWAP1	7697	3	1
[789]	7684	PUSH2	7694	3	1
[790]	7687	JUMP	7691	8	1
[791]	12920	JUMPDEST	7683	1	1
[792]	12921	PUSH1	7682	3	1
[793]	12923	PUSH1	7679	3	1
[794]	12925	DUP3	7676	3	1
[795]	12926	DUP5	7673	3	1
[796]	12927	SUB	7670	3	1
[797]	12928	SLT	7667	3	1
[798]	12929	ISZERO	7664	3	1
[799]	12930	PUSH2	7661	3	1
[800]	12933	JUMPI	7658	10	1
[801]	12938	JUMPDEST	7648	1	1
[802]	12939	POP	7647	2	1
[803]	12940	MLOAD	7645	3	1
[804]	12941	SWAP2	7642	3	1
[805]	12942	SWAP1	7639	3	1
[806]	12943	POP	7636	2	1
[807]	12944	JUMP	7634	8	1
[808]	7688	JUMPDEST	7626	1	1
[809]	7689	SWAP1	7625	3	1
[810]	7690	POP	7622	2	1
[811]	7691	PUSH32	7620	3	1
[812]	7724	DUP2	7617	3	1
[813]	7725	SLT	7614	3	1
[814]	7726	DUP1	7611	3	1
[815]	7727	ISZERO	7608	3	1
[816]	7728	SWAP1	7605	3	1
[817]	7729	PUSH2	7602	3	1
[818]	7732	JUMPI	7599	10	1
[819]	7733	POP	7589	2	1
[820]	7734	PUSH28	7587	3	1
[821]	7763	DUP2	7584	3	1
[822]	7764	SGT	7581	3	1
[823]	7765	ISZERO	7578	3	1
[824]	7766	JUMPDEST	7575	1	1
[825]	7767	PUSH2	7574	3	1
[826]	7770	JUMPI	7571	10	1
[827]	6383	JUMPDEST	7561	1	1
[828]	6384	SWAP3	7560	3	1
[829]	6385	SWAP2	7557	3	1
[830]	6386	POP	7554	2	1
[831]	6387	POP	7552	2	1
[832]	6388	JUMP	7550	8	1
[833]	6538	JUMPDEST	7542	1	1
[834]	6539	PUSH1	7541	3	1
[835]	6541	DUP8	7538	3	1
[836]	6542	DUP2	7535	3	1
[837]	6543	MSTORE	7532	3	1
[838]	6544	PUSH1	7529	3	1
[839]	6546	PUSH1	7526	3	1
[840]	6548	MSTORE	7523	3	1
[841]	6549	PUSH1	7520	3	1
[842]	6551	SWAP1	7517	3	1
[843]	6552	KECCAK256	7514	42	1
[844]	6553	SLOAD	7472	2100	1
[845]	6554	SWAP1	5372	3	1
[846]	6555	SWAP3	5369	3	1
[847]	6556	POP	5366	2	1
[848]	6557	PUSH1	5364	3	1
[849]	6559	PUSH1	5361	3	1
[850]	6561	SHL	5358	3	1
[851]	6562	SWAP1	5355	3	1
[852]	6563	DIV	5352	5	1
[853]	6564	PUSH4	5347	3	1
[854]	6569	AND	5344	3	1
[855]	6570	DUP6	5341	3	1
[856]	6571	GT	5338	3	1
[857]	6572	PUSH2	5335	3	1
[858]	6575	JUMPI	5332	10	1
[859]	6647	JUMPDEST	5322	1	1
[860]	6648	POP	5321	2	1
[861]	6649	PUSH1	5319	3	1
[862]	6651	DUP1	5316	3	1
[863]	6652	MLOAD	5313	3	1
[864]	6653	DUP1	5310	3	1
[865]	6654	DUP3	5307	3	1
[866]	6655	ADD	5304	3	1
[867]	6656	DUP3	5301	3	1
[868]	6657	MSTORE	5298	3	1
[869]	6658	PUSH1	5295	3	1
[870]	6660	DUP4	5292	3	1
[871]	6661	SWAP1	5289	3	1
[872]	6662	SIGNEXTEND	5286	5	1
[873]	6663	DUP2	5281	3	1
[874]	6664	MSTORE	5278	3	1
[875]	6665	PUSH4	5275	3	1
[876]	6670	SWAP6	5272	3	1
[877]	6671	DUP7	5269	3	1
[878]	6672	AND	5266	3	1
[879]	6673	PUSH1	5263	3	1
[880]	6675	DUP1	5260	3	1
[881]	6676	DUP4	5257	3	1
[882]	6677	ADD	5254	3	1
[883]	6678	SWAP2	5251	3	1
[884]	6679	DUP3	5248	3	1
[885]	6680	MSTORE	5245	7	1
[886]	6681	PUSH1	5238	3	1
[887]	6683	SWAP9	5235	3	1
[888]	6684	DUP10	5232	3	1
[889]	6685	MSTORE	5229	3	1
[890]	6686	PUSH1	5226	3	1
[891]	6688	SWAP1	5223	3	1
[892]	6689	MSTORE	5220	3	1
[893]	6690	SWAP2	5217	3	1
[894]	6691	SWAP1	5214	3	1
[895]	6692	SWAP7	5211	3	1
[896]	6693	KECCAK256	5208	42	1
[897]	6694	SWAP6	5166	3	1
[898]	6695	MLOAD	5163	3	1
[899]	6696	SWAP1	5160	3	1
[900]	6697	MLOAD	5157	3	1
[901]	6698	SWAP1	5154	3	1
[902]	6699	SWAP5	5151	3	1
[903]	6700	AND	5148	3	1
[904]	6701	PUSH1	5145	3	1
[905]	6703	PUSH1	5142	3	1
[906]	6705	SHL	5139	3	1
[907]	6706	MUL	5136	5	1
[908]	6707	PUSH1	5131	3	1
[909]	6709	PUSH1	5128	3	1
[910]	6711	PUSH1	5125	3	1
[911]	6713	SHL	5122	3	1
[912]	6714	SUB	5119	3	1
[913]	6715	SWAP1	5116	3	1
[914]	6716	SWAP5	5113	3	1
[915]	6717	AND	5110	3	1
[916]	6718	SWAP4	5107	3	1
[917]	6719	SWAP1	5104	3	1
[918]	6720	SWAP4	5101	3	1
[919]	6721	OR	5098	3	1
[920]	6722	SWAP1	5095	3	1
[921]	6723	SWAP4	5092	3	1
[922]	6724	SSTORE	5089	2900	1
[923]	6725	POP	2189	2	1
[924]	6726	SWAP2	2187	3	1
[925]	6727	SWAP1	2184	3	1
[926]	6728	POP	2181	2	1
[927]	6729	JUMP	2179	8	1
[928]	2242	JUMPDEST	2171	1	1
[929]	2243	PUSH1	2170	3	1
[930]	2245	DUP1	2167	3	1
[931]	2246	MLOAD	2164	3	1
[932]	2247	PUSH1	2161	3	1
[933]	2249	DUP4	2158	3	1
[934]	2250	SWAP1	2155	3	1
[935]	2251	SIGNEXTEND	2152	5	1
[936]	2252	DUP2	2147	3	1
[937]	2253	MSTORE	2144	6	1
[938]	2254	PUSH4	2138	3	1
[939]	2259	DUP11	2135	3	1
[940]	2260	AND	2132	3	1
[941]	2261	PUSH1	2129	3	1
[942]	2263	DUP3	2126	3	1
[943]	2264	ADD	2123	3	1
[944]	2265	MSTORE	2120	6	1
[945]	2266	SWAP2	2114	3	1
[946]	2267	SWAP3	2111	3	1
[947]	2268	POP	2108	2	1
[948]	2269	DUP4	2106	3	1
[949]	2270	SWAP2	2103	3	1
[950]	2271	PUSH32	2100	3	1
[951]	2304	SWAP2	2097	3	1
[952]	2305	ADD	2094	3	1
[953]	2306	PUSH1	2091	3	1
[954]	2308	MLOAD	2088	3	1
[955]	2309	DUP1	2085	3	1
[956]	2310	SWAP2	2082	3	1
[957]	2311	SUB	2079	3	1
[958]	2312	SWAP1	2076	3	1
[959]	2313	LOG2	2073	1637	1
[960]	2314	POP	436	2	1
[961]	2315	SWAP8	434	3	1
[962]	2316	SWAP7	431	3	1
[963]	2317	POP	428	2	1
[964]	2318	POP	426	2	1
[965]	2319	POP	424	2	1
[966]	2320	POP	422	2	1
[967]	2321	POP	420	2	1
[968]	2322	POP	418	2	1
[969]	2323	POP	416	2	1
[970]	2324	JUMP	414	8	1
[971]	494	JUMPDEST	406	1	1
[972]	495	PUSH1	405	3	1
[973]	497	MLOAD	402	3	1
[974]	498	SWAP1	399	3	1
[975]	499	DUP2	396	3	1
[976]	500	MSTORE	393	3	1
[977]	501	PUSH1	390	3	1
[978]	503	ADD	387	3	1
[979]	504	JUMPDEST	384	1	1
[980]	505	PUSH1	383	3	1
[981]	507	MLOAD	380	3	1
[982]	508	DUP1	377	3	1
[983]	509	SWAP2	374	3	1
[984]	510	SUB	371	3	1
[985]	511	SWAP1	368	3	1
[986]	512	RETURN	365	0	1