Geth VM Trace Transaction

GETH Trace for Txn Hash 0xb578584f27b3101d1ec191eea47611612fd241d532b9b5d06e28a917b652cc6c

Contract transaction successfully completed.

Raw traces

A total of 986 steps found

Step	PC	Operation	Gas	GasCost	Depth
[1]	0	PUSH1	13517	3	1
[2]	2	PUSH1	13514	3	1
[3]	4	MSTORE	13511	12	1
[4]	5	PUSH1	13499	3	1
[5]	7	CALLDATASIZE	13496	2	1
[6]	8	LT	13494	3	1
[7]	9	PUSH2	13491	3	1
[8]	12	JUMPI	13488	10	1
[9]	13	PUSH1	13478	3	1
[10]	15	CALLDATALOAD	13475	3	1
[11]	16	PUSH1	13472	3	1
[12]	18	SHR	13469	3	1
[13]	19	DUP1	13466	3	1
[14]	20	PUSH4	13463	3	1
[15]	25	GT	13460	3	1
[16]	26	PUSH2	13457	3	1
[17]	29	JUMPI	13454	10	1
[18]	236	JUMPDEST	13444	1	1
[19]	237	DUP1	13443	3	1
[20]	238	PUSH4	13440	3	1
[21]	243	GT	13437	3	1
[22]	244	PUSH2	13434	3	1
[23]	247	JUMPI	13431	10	1
[24]	345	JUMPDEST	13421	1	1
[25]	346	DUP1	13420	3	1
[26]	347	PUSH4	13417	3	1
[27]	352	GT	13414	3	1
[28]	353	PUSH2	13411	3	1
[29]	356	JUMPI	13408	10	1
[30]	405	JUMPDEST	13398	1	1
[31]	406	DUP1	13397	3	1
[32]	407	PUSH3	13394	3	1
[33]	411	EQ	13391	3	1
[34]	412	PUSH2	13388	3	1
[35]	415	JUMPI	13385	10	1
[36]	416	DUP1	13375	3	1
[37]	417	PUSH3	13372	3	1
[38]	421	EQ	13369	3	1
[39]	422	PUSH2	13366	3	1
[40]	425	JUMPI	13363	10	1
[41]	426	DUP1	13353	3	1
[42]	427	PUSH4	13350	3	1
[43]	432	EQ	13347	3	1
[44]	433	PUSH2	13344	3	1
[45]	436	JUMPI	13341	10	1
[46]	545	JUMPDEST	13331	1	1
[47]	546	CALLVALUE	13330	2	1
[48]	547	DUP1	13328	3	1
[49]	548	ISZERO	13325	3	1
[50]	549	PUSH2	13322	3	1
[51]	552	JUMPI	13319	10	1
[52]	557	JUMPDEST	13309	1	1
[53]	558	POP	13308	2	1
[54]	559	PUSH2	13306	3	1
[55]	562	PUSH2	13303	3	1
[56]	565	CALLDATASIZE	13300	2	1
[57]	566	PUSH1	13298	3	1
[58]	568	PUSH2	13295	3	1
[59]	571	JUMP	13292	8	1
[60]	11569	JUMPDEST	13284	1	1
[61]	11570	PUSH1	13283	3	1
[62]	11572	DUP1	13280	3	1
[63]	11573	PUSH1	13277	3	1
[64]	11575	DUP1	13274	3	1
[65]	11576	PUSH1	13271	3	1
[66]	11578	DUP1	13268	3	1
[67]	11579	PUSH1	13265	3	1
[68]	11581	PUSH1	13262	3	1
[69]	11583	DUP9	13259	3	1
[70]	11584	DUP11	13256	3	1
[71]	11585	SUB	13253	3	1
[72]	11586	SLT	13250	3	1
[73]	11587	ISZERO	13247	3	1
[74]	11588	PUSH2	13244	3	1
[75]	11591	JUMPI	13241	10	1
[76]	11596	JUMPDEST	13231	1	1
[77]	11597	DUP8	13230	3	1
[78]	11598	CALLDATALOAD	13227	3	1
[79]	11599	PUSH2	13224	3	1
[80]	11602	DUP2	13221	3	1
[81]	11603	PUSH2	13218	3	1
[82]	11606	JUMP	13215	8	1
[83]	11482	JUMPDEST	13207	1	1
[84]	11483	PUSH1	13206	3	1
[85]	11485	PUSH1	13203	3	1
[86]	11487	PUSH1	13200	3	1
[87]	11489	SHL	13197	3	1
[88]	11490	SUB	13194	3	1
[89]	11491	DUP2	13191	3	1
[90]	11492	AND	13188	3	1
[91]	11493	DUP2	13185	3	1
[92]	11494	EQ	13182	3	1
[93]	11495	PUSH2	13179	3	1
[94]	11498	JUMPI	13176	10	1
[95]	8871	JUMPDEST	13166	1	1
[96]	8872	POP	13165	2	1
[97]	8873	JUMP	13163	8	1
[98]	11607	JUMPDEST	13155	1	1
[99]	11608	SWAP7	13154	3	1
[100]	11609	POP	13151	2	1
[101]	11610	PUSH1	13149	3	1
[102]	11612	DUP9	13146	3	1
[103]	11613	ADD	13143	3	1
[104]	11614	CALLDATALOAD	13140	3	1
[105]	11615	SWAP6	13137	3	1
[106]	11616	POP	13134	2	1
[107]	11617	PUSH1	13132	3	1
[108]	11619	DUP9	13129	3	1
[109]	11620	ADD	13126	3	1
[110]	11621	CALLDATALOAD	13123	3	1
[111]	11622	SWAP5	13120	3	1
[112]	11623	POP	13117	2	1
[113]	11624	PUSH1	13115	3	1
[114]	11626	DUP9	13112	3	1
[115]	11627	ADD	13109	3	1
[116]	11628	CALLDATALOAD	13106	3	1
[117]	11629	PUSH8	13103	3	1
[118]	11638	DUP1	13100	3	1
[119]	11639	DUP3	13097	3	1
[120]	11640	GT	13094	3	1
[121]	11641	ISZERO	13091	3	1
[122]	11642	PUSH2	13088	3	1
[123]	11645	JUMPI	13085	10	1
[124]	11650	JUMPDEST	13075	1	1
[125]	11651	PUSH2	13074	3	1
[126]	11654	DUP12	13071	3	1
[127]	11655	DUP4	13068	3	1
[128]	11656	DUP13	13065	3	1
[129]	11657	ADD	13062	3	1
[130]	11658	PUSH2	13059	3	1
[131]	11661	JUMP	13056	8	1
[132]	11503	JUMPDEST	13048	1	1
[133]	11504	PUSH1	13047	3	1
[134]	11506	DUP1	13044	3	1
[135]	11507	DUP4	13041	3	1
[136]	11508	PUSH1	13038	3	1
[137]	11510	DUP5	13035	3	1
[138]	11511	ADD	13032	3	1
[139]	11512	SLT	13029	3	1
[140]	11513	PUSH2	13026	3	1
[141]	11516	JUMPI	13023	10	1
[142]	11521	JUMPDEST	13013	1	1
[143]	11522	POP	13012	2	1
[144]	11523	DUP2	13010	3	1
[145]	11524	CALLDATALOAD	13007	3	1
[146]	11525	PUSH8	13004	3	1
[147]	11534	DUP2	13001	3	1
[148]	11535	GT	12998	3	1
[149]	11536	ISZERO	12995	3	1
[150]	11537	PUSH2	12992	3	1
[151]	11540	JUMPI	12989	10	1
[152]	11545	JUMPDEST	12979	1	1
[153]	11546	PUSH1	12978	3	1
[154]	11548	DUP4	12975	3	1
[155]	11549	ADD	12972	3	1
[156]	11550	SWAP2	12969	3	1
[157]	11551	POP	12966	2	1
[158]	11552	DUP4	12964	3	1
[159]	11553	PUSH1	12961	3	1
[160]	11555	DUP3	12958	3	1
[161]	11556	DUP6	12955	3	1
[162]	11557	ADD	12952	3	1
[163]	11558	ADD	12949	3	1
[164]	11559	GT	12946	3	1
[165]	11560	ISZERO	12943	3	1
[166]	11561	PUSH2	12940	3	1
[167]	11564	JUMPI	12937	10	1
[168]	8507	JUMPDEST	12927	1	1
[169]	8508	SWAP3	12926	3	1
[170]	8509	POP	12923	2	1
[171]	8510	SWAP3	12921	3	1
[172]	8511	SWAP1	12918	3	1
[173]	8512	POP	12915	2	1
[174]	8513	JUMP	12913	8	1
[175]	11662	JUMPDEST	12905	1	1
[176]	11663	SWAP1	12904	3	1
[177]	11664	SWAP7	12901	3	1
[178]	11665	POP	12898	2	1
[179]	11666	SWAP5	12896	3	1
[180]	11667	POP	12893	2	1
[181]	11668	PUSH1	12891	3	1
[182]	11670	DUP11	12888	3	1
[183]	11671	ADD	12885	3	1
[184]	11672	CALLDATALOAD	12882	3	1
[185]	11673	SWAP2	12879	3	1
[186]	11674	POP	12876	2	1
[187]	11675	DUP1	12874	3	1
[188]	11676	DUP3	12871	3	1
[189]	11677	GT	12868	3	1
[190]	11678	ISZERO	12865	3	1
[191]	11679	PUSH2	12862	3	1
[192]	11682	JUMPI	12859	10	1
[193]	11687	JUMPDEST	12849	1	1
[194]	11688	POP	12848	2	1
[195]	11689	PUSH2	12846	3	1
[196]	11692	DUP11	12843	3	1
[197]	11693	DUP3	12840	3	1
[198]	11694	DUP12	12837	3	1
[199]	11695	ADD	12834	3	1
[200]	11696	PUSH2	12831	3	1
[201]	11699	JUMP	12828	8	1
[202]	11503	JUMPDEST	12820	1	1
[203]	11504	PUSH1	12819	3	1
[204]	11506	DUP1	12816	3	1
[205]	11507	DUP4	12813	3	1
[206]	11508	PUSH1	12810	3	1
[207]	11510	DUP5	12807	3	1
[208]	11511	ADD	12804	3	1
[209]	11512	SLT	12801	3	1
[210]	11513	PUSH2	12798	3	1
[211]	11516	JUMPI	12795	10	1
[212]	11521	JUMPDEST	12785	1	1
[213]	11522	POP	12784	2	1
[214]	11523	DUP2	12782	3	1
[215]	11524	CALLDATALOAD	12779	3	1
[216]	11525	PUSH8	12776	3	1
[217]	11534	DUP2	12773	3	1
[218]	11535	GT	12770	3	1
[219]	11536	ISZERO	12767	3	1
[220]	11537	PUSH2	12764	3	1
[221]	11540	JUMPI	12761	10	1
[222]	11545	JUMPDEST	12751	1	1
[223]	11546	PUSH1	12750	3	1
[224]	11548	DUP4	12747	3	1
[225]	11549	ADD	12744	3	1
[226]	11550	SWAP2	12741	3	1
[227]	11551	POP	12738	2	1
[228]	11552	DUP4	12736	3	1
[229]	11553	PUSH1	12733	3	1
[230]	11555	DUP3	12730	3	1
[231]	11556	DUP6	12727	3	1
[232]	11557	ADD	12724	3	1
[233]	11558	ADD	12721	3	1
[234]	11559	GT	12718	3	1
[235]	11560	ISZERO	12715	3	1
[236]	11561	PUSH2	12712	3	1
[237]	11564	JUMPI	12709	10	1
[238]	8507	JUMPDEST	12699	1	1
[239]	8508	SWAP3	12698	3	1
[240]	8509	POP	12695	2	1
[241]	8510	SWAP3	12693	3	1
[242]	8511	SWAP1	12690	3	1
[243]	8512	POP	12687	2	1
[244]	8513	JUMP	12685	8	1
[245]	11700	JUMPDEST	12677	1	1
[246]	11701	SWAP9	12676	3	1
[247]	11702	SWAP12	12673	3	1
[248]	11703	SWAP8	12670	3	1
[249]	11704	SWAP11	12667	3	1
[250]	11705	POP	12664	2	1
[251]	11706	SWAP6	12662	3	1
[252]	11707	SWAP9	12659	3	1
[253]	11708	POP	12656	2	1
[254]	11709	SWAP4	12654	3	1
[255]	11710	SWAP7	12651	3	1
[256]	11711	SWAP3	12648	3	1
[257]	11712	SWAP6	12645	3	1
[258]	11713	SWAP3	12642	3	1
[259]	11714	SWAP4	12639	3	1
[260]	11715	POP	12636	2	1
[261]	11716	POP	12634	2	1
[262]	11717	POP	12632	2	1
[263]	11718	JUMP	12630	8	1
[264]	572	JUMPDEST	12622	1	1
[265]	573	PUSH2	12621	3	1
[266]	576	JUMP	12618	8	1
[267]	1948	JUMPDEST	12610	1	1
[268]	1949	PUSH1	12609	3	1
[269]	1951	DUP8	12606	3	1
[270]	1952	PUSH1	12603	3	1
[271]	1954	PUSH1	12600	3	1
[272]	1956	PUSH1	12597	3	1
[273]	1958	SHL	12594	3	1
[274]	1959	SUB	12591	3	1
[275]	1960	AND	12588	3	1
[276]	1961	PUSH2	12585	3	1
[277]	1964	DUP5	12582	3	1
[278]	1965	DUP5	12579	3	1
[279]	1966	DUP1	12576	3	1
[280]	1967	DUP1	12573	3	1
[281]	1968	PUSH1	12570	3	1
[282]	1970	ADD	12567	3	1
[283]	1971	PUSH1	12564	3	1
[284]	1973	DUP1	12561	3	1
[285]	1974	SWAP2	12558	3	1
[286]	1975	DIV	12555	5	1
[287]	1976	MUL	12550	5	1
[288]	1977	PUSH1	12545	3	1
[289]	1979	ADD	12542	3	1
[290]	1980	PUSH1	12539	3	1
[291]	1982	MLOAD	12536	3	1
[292]	1983	SWAP1	12533	3	1
[293]	1984	DUP2	12530	3	1
[294]	1985	ADD	12527	3	1
[295]	1986	PUSH1	12524	3	1
[296]	1988	MSTORE	12521	3	1
[297]	1989	DUP1	12518	3	1
[298]	1990	SWAP4	12515	3	1
[299]	1991	SWAP3	12512	3	1
[300]	1992	SWAP2	12509	3	1
[301]	1993	SWAP1	12506	3	1
[302]	1994	DUP2	12503	3	1
[303]	1995	DUP2	12500	3	1
[304]	1996	MSTORE	12497	9	1
[305]	1997	PUSH1	12488	3	1
[306]	1999	ADD	12485	3	1
[307]	2000	DUP4	12482	3	1
[308]	2001	DUP4	12479	3	1
[309]	2002	DUP1	12476	3	1
[310]	2003	DUP3	12473	3	1
[311]	2004	DUP5	12470	3	1
[312]	2005	CALLDATACOPY	12467	21	1
[313]	2006	PUSH1	12446	3	1
[314]	2008	SWAP3	12443	3	1
[315]	2009	ADD	12440	3	1
[316]	2010	SWAP2	12437	3	1
[317]	2011	SWAP1	12434	3	1
[318]	2012	SWAP2	12431	3	1
[319]	2013	MSTORE	12428	6	1
[320]	2014	POP	12422	2	1
[321]	2015	POP	12420	2	1
[322]	2016	PUSH1	12418	3	1
[323]	2018	MLOAD	12415	3	1
[324]	2019	PUSH2	12412	3	1
[325]	2022	SWAP3	12409	3	1
[326]	2023	POP	12406	2	1
[327]	2024	PUSH2	12404	3	1
[328]	2027	SWAP2	12401	3	1
[329]	2028	POP	12398	2	1
[330]	2029	DUP13	12396	3	1
[331]	2030	SWAP1	12393	3	1
[332]	2031	DUP13	12390	3	1
[333]	2032	SWAP1	12387	3	1
[334]	2033	DUP13	12384	3	1
[335]	2034	SWAP1	12381	3	1
[336]	2035	DUP13	12378	3	1
[337]	2036	SWAP1	12375	3	1
[338]	2037	PUSH1	12372	3	1
[339]	2039	ADD	12369	3	1
[340]	2040	PUSH2	12366	3	1
[341]	2043	JUMP	12363	8	1
[342]	12415	JUMPDEST	12355	1	1
[343]	12416	DUP5	12354	3	1
[344]	12417	DUP2	12351	3	1
[345]	12418	MSTORE	12348	6	1
[346]	12419	DUP4	12342	3	1
[347]	12420	PUSH1	12339	3	1
[348]	12422	DUP3	12336	3	1
[349]	12423	ADD	12333	3	1
[350]	12424	MSTORE	12330	6	1
[351]	12425	DUP2	12324	3	1
[352]	12426	DUP4	12321	3	1
[353]	12427	PUSH1	12318	3	1
[354]	12429	DUP4	12315	3	1
[355]	12430	ADD	12312	3	1
[356]	12431	CALLDATACOPY	12309	9	1
[357]	12432	PUSH1	12300	3	1
[358]	12434	SWAP2	12297	3	1
[359]	12435	ADD	12294	3	1
[360]	12436	PUSH1	12291	3	1
[361]	12438	ADD	12288	3	1
[362]	12439	SWAP1	12285	3	1
[363]	12440	DUP2	12282	3	1
[364]	12441	MSTORE	12279	6	1
[365]	12442	SWAP4	12273	3	1
[366]	12443	SWAP3	12270	3	1
[367]	12444	POP	12267	2	1
[368]	12445	POP	12265	2	1
[369]	12446	POP	12263	2	1
[370]	12447	JUMP	12261	8	1
[371]	2044	JUMPDEST	12253	1	1
[372]	2045	PUSH1	12252	3	1
[373]	2047	MLOAD	12249	3	1
[374]	2048	PUSH1	12246	3	1
[375]	2050	DUP2	12243	3	1
[376]	2051	DUP4	12240	3	1
[377]	2052	SUB	12237	3	1
[378]	2053	SUB	12234	3	1
[379]	2054	DUP2	12231	3	1
[380]	2055	MSTORE	12228	3	1
[381]	2056	SWAP1	12225	3	1
[382]	2057	PUSH1	12222	3	1
[383]	2059	MSTORE	12219	3	1
[384]	2060	DUP1	12216	3	1
[385]	2061	MLOAD	12213	3	1
[386]	2062	SWAP1	12210	3	1
[387]	2063	PUSH1	12207	3	1
[388]	2065	ADD	12204	3	1
[389]	2066	KECCAK256	12201	48	1
[390]	2067	PUSH2	12153	3	1
[391]	2070	JUMP	12150	8	1
[392]	6292	JUMPDEST	12142	1	1
[393]	6293	PUSH1	12141	3	1
[394]	6295	MLOAD	12138	3	1
[395]	6296	PUSH32	12135	3	1
[396]	6329	PUSH1	12132	3	1
[397]	6331	DUP3	12129	3	1
[398]	6332	ADD	12126	3	1
[399]	6333	MSTORE	12123	6	1
[400]	6334	PUSH1	12117	3	1
[401]	6336	DUP2	12114	3	1
[402]	6337	ADD	12111	3	1
[403]	6338	DUP3	12108	3	1
[404]	6339	SWAP1	12105	3	1
[405]	6340	MSTORE	12102	6	1
[406]	6341	PUSH1	12096	3	1
[407]	6343	SWAP1	12093	3	1
[408]	6344	PUSH1	12090	3	1
[409]	6346	ADD	12087	3	1
[410]	6347	PUSH2	12084	3	1
[411]	6350	JUMP	12081	8	1
[412]	6263	JUMPDEST	12073	1	1
[413]	6264	PUSH1	12072	3	1
[414]	6266	MLOAD	12069	3	1
[415]	6267	PUSH1	12066	3	1
[416]	6269	DUP2	12063	3	1
[417]	6270	DUP4	12060	3	1
[418]	6271	SUB	12057	3	1
[419]	6272	SUB	12054	3	1
[420]	6273	DUP2	12051	3	1
[421]	6274	MSTORE	12048	3	1
[422]	6275	SWAP1	12045	3	1
[423]	6276	PUSH1	12042	3	1
[424]	6278	MSTORE	12039	3	1
[425]	6279	DUP1	12036	3	1
[426]	6280	MLOAD	12033	3	1
[427]	6281	SWAP1	12030	3	1
[428]	6282	PUSH1	12027	3	1
[429]	6284	ADD	12024	3	1
[430]	6285	KECCAK256	12021	42	1
[431]	6286	SWAP1	11979	3	1
[432]	6287	POP	11976	2	1
[433]	6288	SWAP2	11974	3	1
[434]	6289	SWAP1	11971	3	1
[435]	6290	POP	11968	2	1
[436]	6291	JUMP	11966	8	1
[437]	2071	JUMPDEST	11958	1	1
[438]	2072	SWAP1	11957	3	1
[439]	2073	PUSH2	11954	3	1
[440]	2076	JUMP	11951	8	1
[441]	6351	JUMPDEST	11943	1	1
[442]	6352	PUSH1	11942	3	1
[443]	6354	DUP1	11939	3	1
[444]	6355	PUSH1	11936	3	1
[445]	6357	PUSH2	11933	3	1
[446]	6360	DUP6	11930	3	1
[447]	6361	DUP6	11927	3	1
[448]	6362	PUSH2	11924	3	1
[449]	6365	JUMP	11921	8	1
[450]	8445	JUMPDEST	11913	1	1
[451]	8446	PUSH1	11912	3	1
[452]	8448	DUP1	11909	3	1
[453]	8449	DUP3	11906	3	1
[454]	8450	MLOAD	11903	3	1
[455]	8451	PUSH1	11900	3	1
[456]	8453	SUB	11897	3	1
[457]	8454	PUSH2	11894	3	1
[458]	8457	JUMPI	11891	10	1
[459]	8458	PUSH1	11881	3	1
[460]	8460	DUP4	11878	3	1
[461]	8461	ADD	11875	3	1
[462]	8462	MLOAD	11872	3	1
[463]	8463	PUSH1	11869	3	1
[464]	8465	DUP5	11866	3	1
[465]	8466	ADD	11863	3	1
[466]	8467	MLOAD	11860	3	1
[467]	8468	PUSH1	11857	3	1
[468]	8470	DUP6	11854	3	1
[469]	8471	ADD	11851	3	1
[470]	8472	MLOAD	11848	3	1
[471]	8473	PUSH1	11845	3	1
[472]	8475	BYTE	11842	3	1
[473]	8476	PUSH2	11839	3	1
[474]	8479	DUP8	11836	3	1
[475]	8480	DUP3	11833	3	1
[476]	8481	DUP6	11830	3	1
[477]	8482	DUP6	11827	3	1
[478]	8483	PUSH2	11824	3	1
[479]	8486	JUMP	11821	8	1
[480]	10270	JUMPDEST	11813	1	1
[481]	10271	PUSH1	11812	3	1
[482]	10273	DUP1	11809	3	1
[483]	10274	PUSH32	11806	3	1
[484]	10307	DUP4	11803	3	1
[485]	10308	GT	11800	3	1
[486]	10309	ISZERO	11797	3	1
[487]	10310	PUSH2	11794	3	1
[488]	10313	JUMPI	11791	10	1
[489]	10325	JUMPDEST	11781	1	1
[490]	10326	PUSH1	11780	3	1
[491]	10328	DUP1	11777	3	1
[492]	10329	MLOAD	11774	3	1
[493]	10330	PUSH1	11771	3	1
[494]	10332	DUP1	11768	3	1
[495]	10333	DUP3	11765	3	1
[496]	10334	MSTORE	11762	6	1
[497]	10335	PUSH1	11756	3	1
[498]	10337	DUP3	11753	3	1
[499]	10338	ADD	11750	3	1
[500]	10339	DUP1	11747	3	1
[501]	10340	DUP5	11744	3	1
[502]	10341	MSTORE	11741	3	1
[503]	10342	DUP10	11738	3	1
[504]	10343	SWAP1	11735	3	1
[505]	10344	MSTORE	11732	6	1
[506]	10345	PUSH1	11726	3	1
[507]	10347	DUP9	11723	3	1
[508]	10348	AND	11720	3	1
[509]	10349	SWAP3	11717	3	1
[510]	10350	DUP3	11714	3	1
[511]	10351	ADD	11711	3	1
[512]	10352	SWAP3	11708	3	1
[513]	10353	SWAP1	11705	3	1
[514]	10354	SWAP3	11702	3	1
[515]	10355	MSTORE	11699	6	1
[516]	10356	PUSH1	11693	3	1
[517]	10358	DUP2	11690	3	1
[518]	10359	ADD	11687	3	1
[519]	10360	DUP7	11684	3	1
[520]	10361	SWAP1	11681	3	1
[521]	10362	MSTORE	11678	6	1
[522]	10363	PUSH1	11672	3	1
[523]	10365	DUP2	11669	3	1
[524]	10366	ADD	11666	3	1
[525]	10367	DUP6	11663	3	1
[526]	10368	SWAP1	11660	3	1
[527]	10369	MSTORE	11657	6	1
[528]	10370	PUSH1	11651	3	1
[529]	10372	SWAP1	11648	3	1
[530]	10373	PUSH1	11645	3	1
[531]	10375	ADD	11642	3	1
[532]	10376	PUSH1	11639	3	1
[533]	10378	PUSH1	11636	3	1
[534]	10380	MLOAD	11633	3	1
[535]	10381	PUSH1	11630	3	1
[536]	10383	DUP2	11627	3	1
[537]	10384	SUB	11624	3	1
[538]	10385	SWAP1	11621	3	1
[539]	10386	DUP1	11618	3	1
[540]	10387	DUP5	11615	3	1
[541]	10388	SUB	11612	3	1
[542]	10389	SWAP1	11609	3	1
[543]	10390	DUP6	11606	3	1
[544]	10391	GAS	11603	2	1
[545]	10392	STATICCALL	11601	11422	1
[546]	10393	ISZERO	8501	3	1
[547]	10394	DUP1	8498	3	1
[548]	10395	ISZERO	8495	3	1
[549]	10396	PUSH2	8492	3	1
[550]	10399	JUMPI	8489	10	1
[551]	10409	JUMPDEST	8479	1	1
[552]	10410	POP	8478	2	1
[553]	10411	POP	8476	2	1
[554]	10412	PUSH1	8474	3	1
[555]	10414	MLOAD	8471	3	1
[556]	10415	PUSH1	8468	3	1
[557]	10417	NOT	8465	3	1
[558]	10418	ADD	8462	3	1
[559]	10419	MLOAD	8459	3	1
[560]	10420	SWAP2	8456	3	1
[561]	10421	POP	8453	2	1
[562]	10422	POP	8451	2	1
[563]	10423	PUSH1	8449	3	1
[564]	10425	PUSH1	8446	3	1
[565]	10427	PUSH1	8443	3	1
[566]	10429	SHL	8440	3	1
[567]	10430	SUB	8437	3	1
[568]	10431	DUP2	8434	3	1
[569]	10432	AND	8431	3	1
[570]	10433	PUSH2	8428	3	1
[571]	10436	JUMPI	8425	10	1
[572]	10450	JUMPDEST	8415	1	1
[573]	10451	SWAP2	8414	3	1
[574]	10452	POP	8411	2	1
[575]	10453	PUSH1	8409	3	1
[576]	10455	SWAP1	8406	3	1
[577]	10456	POP	8403	2	1
[578]	10457	JUMPDEST	8401	1	1
[579]	10458	SWAP5	8400	3	1
[580]	10459	POP	8397	2	1
[581]	10460	SWAP5	8395	3	1
[582]	10461	SWAP3	8392	3	1
[583]	10462	POP	8389	2	1
[584]	10463	POP	8387	2	1
[585]	10464	POP	8385	2	1
[586]	10465	JUMP	8383	8	1
[587]	8487	JUMPDEST	8375	1	1
[588]	8488	SWAP5	8374	3	1
[589]	8489	POP	8371	2	1
[590]	8490	SWAP5	8369	3	1
[591]	8491	POP	8366	2	1
[592]	8492	POP	8364	2	1
[593]	8493	POP	8362	2	1
[594]	8494	POP	8360	2	1
[595]	8495	PUSH2	8358	3	1
[596]	8498	JUMP	8355	8	1
[597]	8507	JUMPDEST	8347	1	1
[598]	8508	SWAP3	8346	3	1
[599]	8509	POP	8343	2	1
[600]	8510	SWAP3	8341	3	1
[601]	8511	SWAP1	8338	3	1
[602]	8512	POP	8335	2	1
[603]	8513	JUMP	8333	8	1
[604]	6366	JUMPDEST	8325	1	1
[605]	6367	SWAP2	8324	3	1
[606]	6368	POP	8321	2	1
[607]	6369	SWAP2	8319	3	1
[608]	6370	POP	8316	2	1
[609]	6371	PUSH2	8314	3	1
[610]	6374	DUP2	8311	3	1
[611]	6375	PUSH2	8308	3	1
[612]	6378	JUMP	8305	8	1
[613]	8514	JUMPDEST	8297	1	1
[614]	8515	PUSH1	8296	3	1
[615]	8517	DUP2	8293	3	1
[616]	8518	PUSH1	8290	3	1
[617]	8520	DUP2	8287	3	1
[618]	8521	GT	8284	3	1
[619]	8522	ISZERO	8281	3	1
[620]	8523	PUSH2	8278	3	1
[621]	8526	JUMPI	8275	10	1
[622]	8534	JUMPDEST	8265	1	1
[623]	8535	SUB	8264	3	1
[624]	8536	PUSH2	8261	3	1
[625]	8539	JUMPI	8258	10	1
[626]	8540	POP	8248	2	1
[627]	8541	JUMP	8246	8	1
[628]	6379	JUMPDEST	8238	1	1
[629]	6380	POP	8237	2	1
[630]	6381	SWAP1	8235	3	1
[631]	6382	POP	8232	2	1
[632]	6383	JUMPDEST	8230	1	1
[633]	6384	SWAP3	8229	3	1
[634]	6385	SWAP2	8226	3	1
[635]	6386	POP	8223	2	1
[636]	6387	POP	8221	2	1
[637]	6388	JUMP	8219	8	1
[638]	2077	JUMPDEST	8211	1	1
[639]	2078	PUSH1	8210	3	1
[640]	2080	PUSH1	8207	3	1
[641]	2082	PUSH1	8204	3	1
[642]	2084	SHL	8201	3	1
[643]	2085	SUB	8198	3	1
[644]	2086	AND	8195	3	1
[645]	2087	EQ	8192	3	1
[646]	2088	PUSH2	8189	3	1
[647]	2091	JUMPI	8186	10	1
[648]	2163	JUMPDEST	8176	1	1
[649]	2164	POP	8175	2	1
[650]	2165	PUSH1	8173	3	1
[651]	2167	DUP1	8170	3	1
[652]	2168	MLOAD	8167	3	1
[653]	2169	PUSH12	8164	3	1
[654]	2182	NOT	8161	3	1
[655]	2183	PUSH1	8158	3	1
[656]	2185	DUP11	8155	3	1
[657]	2186	SWAP1	8152	3	1
[658]	2187	SHL	8149	3	1
[659]	2188	AND	8146	3	1
[660]	2189	PUSH1	8143	3	1
[661]	2191	DUP1	8140	3	1
[662]	2192	DUP4	8137	3	1
[663]	2193	ADD	8134	3	1
[664]	2194	SWAP2	8131	3	1
[665]	2195	SWAP1	8128	3	1
[666]	2196	SWAP2	8125	3	1
[667]	2197	MSTORE	8122	3	1
[668]	2198	PUSH1	8119	3	1
[669]	2200	DUP1	8116	3	1
[670]	2201	DUP4	8113	3	1
[671]	2202	ADD	8110	3	1
[672]	2203	DUP11	8107	3	1
[673]	2204	SWAP1	8104	3	1
[674]	2205	MSTORE	8101	3	1
[675]	2206	DUP4	8098	3	1
[676]	2207	MLOAD	8095	3	1
[677]	2208	DUP1	8092	3	1
[678]	2209	DUP5	8089	3	1
[679]	2210	SUB	8086	3	1
[680]	2211	SWAP1	8083	3	1
[681]	2212	SWAP2	8080	3	1
[682]	2213	ADD	8077	3	1
[683]	2214	DUP2	8074	3	1
[684]	2215	MSTORE	8071	3	1
[685]	2216	PUSH1	8068	3	1
[686]	2218	SWAP1	8065	3	1
[687]	2219	SWAP3	8062	3	1
[688]	2220	ADD	8059	3	1
[689]	2221	SWAP1	8056	3	1
[690]	2222	SWAP3	8053	3	1
[691]	2223	MSTORE	8050	3	1
[692]	2224	DUP1	8047	3	1
[693]	2225	MLOAD	8044	3	1
[694]	2226	SWAP2	8041	3	1
[695]	2227	ADD	8038	3	1
[696]	2228	KECCAK256	8035	42	1
[697]	2229	PUSH1	7993	3	1
[698]	2231	PUSH2	7990	3	1
[699]	2234	DUP3	7987	3	1
[700]	2235	DUP9	7984	3	1
[701]	2236	DUP9	7981	3	1
[702]	2237	DUP9	7978	3	1
[703]	2238	PUSH2	7975	3	1
[704]	2241	JUMP	7972	8	1
[705]	6389	JUMPDEST	7964	1	1
[706]	6390	PUSH1	7963	3	1
[707]	6392	DUP4	7960	3	1
[708]	6393	TIMESTAMP	7957	2	1
[709]	6394	PUSH2	7955	3	1
[710]	6397	ADD	7952	3	1
[711]	6398	DUP2	7949	3	1
[712]	6399	LT	7946	3	1
[713]	6400	PUSH2	7943	3	1
[714]	6403	JUMPI	7940	10	1
[715]	6475	JUMPDEST	7930	1	1
[716]	6476	PUSH2	7929	3	1
[717]	6479	DUP5	7926	3	1
[718]	6480	DUP5	7923	3	1
[719]	6481	DUP1	7920	3	1
[720]	6482	DUP1	7917	3	1
[721]	6483	PUSH1	7914	3	1
[722]	6485	ADD	7911	3	1
[723]	6486	PUSH1	7908	3	1
[724]	6488	DUP1	7905	3	1
[725]	6489	SWAP2	7902	3	1
[726]	6490	DIV	7899	5	1
[727]	6491	MUL	7894	5	1
[728]	6492	PUSH1	7889	3	1
[729]	6494	ADD	7886	3	1
[730]	6495	PUSH1	7883	3	1
[731]	6497	MLOAD	7880	3	1
[732]	6498	SWAP1	7877	3	1
[733]	6499	DUP2	7874	3	1
[734]	6500	ADD	7871	3	1
[735]	6501	PUSH1	7868	3	1
[736]	6503	MSTORE	7865	3	1
[737]	6504	DUP1	7862	3	1
[738]	6505	SWAP4	7859	3	1
[739]	6506	SWAP3	7856	3	1
[740]	6507	SWAP2	7853	3	1
[741]	6508	SWAP1	7850	3	1
[742]	6509	DUP2	7847	3	1
[743]	6510	DUP2	7844	3	1
[744]	6511	MSTORE	7841	3	1
[745]	6512	PUSH1	7838	3	1
[746]	6514	ADD	7835	3	1
[747]	6515	DUP4	7832	3	1
[748]	6516	DUP4	7829	3	1
[749]	6517	DUP1	7826	3	1
[750]	6518	DUP3	7823	3	1
[751]	6519	DUP5	7820	3	1
[752]	6520	CALLDATACOPY	7817	9	1
[753]	6521	PUSH1	7808	3	1
[754]	6523	SWAP3	7805	3	1
[755]	6524	ADD	7802	3	1
[756]	6525	SWAP2	7799	3	1
[757]	6526	SWAP1	7796	3	1
[758]	6527	SWAP2	7793	3	1
[759]	6528	MSTORE	7790	6	1
[760]	6529	POP	7784	2	1
[761]	6530	PUSH2	7782	3	1
[762]	6533	SWAP3	7779	3	1
[763]	6534	POP	7776	2	1
[764]	6535	POP	7774	2	1
[765]	6536	POP	7772	2	1
[766]	6537	JUMP	7770	8	1
[767]	7583	JUMPDEST	7762	1	1
[768]	7584	PUSH1	7761	3	1
[769]	7586	DUP2	7758	3	1
[770]	7587	MLOAD	7755	3	1
[771]	7588	PUSH1	7752	3	1
[772]	7590	EQ	7749	3	1
[773]	7591	PUSH2	7746	3	1
[774]	7594	JUMPI	7743	10	1
[775]	7666	JUMPDEST	7733	1	1
[776]	7667	PUSH1	7732	3	1
[777]	7669	DUP3	7729	3	1
[778]	7670	DUP1	7726	3	1
[779]	7671	PUSH1	7723	3	1
[780]	7673	ADD	7720	3	1
[781]	7674	SWAP1	7717	3	1
[782]	7675	MLOAD	7714	3	1
[783]	7676	DUP2	7711	3	1
[784]	7677	ADD	7708	3	1
[785]	7678	SWAP1	7705	3	1
[786]	7679	PUSH2	7702	3	1
[787]	7682	SWAP2	7699	3	1
[788]	7683	SWAP1	7696	3	1
[789]	7684	PUSH2	7693	3	1
[790]	7687	JUMP	7690	8	1
[791]	12920	JUMPDEST	7682	1	1
[792]	12921	PUSH1	7681	3	1
[793]	12923	PUSH1	7678	3	1
[794]	12925	DUP3	7675	3	1
[795]	12926	DUP5	7672	3	1
[796]	12927	SUB	7669	3	1
[797]	12928	SLT	7666	3	1
[798]	12929	ISZERO	7663	3	1
[799]	12930	PUSH2	7660	3	1
[800]	12933	JUMPI	7657	10	1
[801]	12938	JUMPDEST	7647	1	1
[802]	12939	POP	7646	2	1
[803]	12940	MLOAD	7644	3	1
[804]	12941	SWAP2	7641	3	1
[805]	12942	SWAP1	7638	3	1
[806]	12943	POP	7635	2	1
[807]	12944	JUMP	7633	8	1
[808]	7688	JUMPDEST	7625	1	1
[809]	7689	SWAP1	7624	3	1
[810]	7690	POP	7621	2	1
[811]	7691	PUSH32	7619	3	1
[812]	7724	DUP2	7616	3	1
[813]	7725	SLT	7613	3	1
[814]	7726	DUP1	7610	3	1
[815]	7727	ISZERO	7607	3	1
[816]	7728	SWAP1	7604	3	1
[817]	7729	PUSH2	7601	3	1
[818]	7732	JUMPI	7598	10	1
[819]	7733	POP	7588	2	1
[820]	7734	PUSH28	7586	3	1
[821]	7763	DUP2	7583	3	1
[822]	7764	SGT	7580	3	1
[823]	7765	ISZERO	7577	3	1
[824]	7766	JUMPDEST	7574	1	1
[825]	7767	PUSH2	7573	3	1
[826]	7770	JUMPI	7570	10	1
[827]	6383	JUMPDEST	7560	1	1
[828]	6384	SWAP3	7559	3	1
[829]	6385	SWAP2	7556	3	1
[830]	6386	POP	7553	2	1
[831]	6387	POP	7551	2	1
[832]	6388	JUMP	7549	8	1
[833]	6538	JUMPDEST	7541	1	1
[834]	6539	PUSH1	7540	3	1
[835]	6541	DUP8	7537	3	1
[836]	6542	DUP2	7534	3	1
[837]	6543	MSTORE	7531	3	1
[838]	6544	PUSH1	7528	3	1
[839]	6546	PUSH1	7525	3	1
[840]	6548	MSTORE	7522	3	1
[841]	6549	PUSH1	7519	3	1
[842]	6551	SWAP1	7516	3	1
[843]	6552	KECCAK256	7513	42	1
[844]	6553	SLOAD	7471	2100	1
[845]	6554	SWAP1	5371	3	1
[846]	6555	SWAP3	5368	3	1
[847]	6556	POP	5365	2	1
[848]	6557	PUSH1	5363	3	1
[849]	6559	PUSH1	5360	3	1
[850]	6561	SHL	5357	3	1
[851]	6562	SWAP1	5354	3	1
[852]	6563	DIV	5351	5	1
[853]	6564	PUSH4	5346	3	1
[854]	6569	AND	5343	3	1
[855]	6570	DUP6	5340	3	1
[856]	6571	GT	5337	3	1
[857]	6572	PUSH2	5334	3	1
[858]	6575	JUMPI	5331	10	1
[859]	6647	JUMPDEST	5321	1	1
[860]	6648	POP	5320	2	1
[861]	6649	PUSH1	5318	3	1
[862]	6651	DUP1	5315	3	1
[863]	6652	MLOAD	5312	3	1
[864]	6653	DUP1	5309	3	1
[865]	6654	DUP3	5306	3	1
[866]	6655	ADD	5303	3	1
[867]	6656	DUP3	5300	3	1
[868]	6657	MSTORE	5297	3	1
[869]	6658	PUSH1	5294	3	1
[870]	6660	DUP4	5291	3	1
[871]	6661	SWAP1	5288	3	1
[872]	6662	SIGNEXTEND	5285	5	1
[873]	6663	DUP2	5280	3	1
[874]	6664	MSTORE	5277	3	1
[875]	6665	PUSH4	5274	3	1
[876]	6670	SWAP6	5271	3	1
[877]	6671	DUP7	5268	3	1
[878]	6672	AND	5265	3	1
[879]	6673	PUSH1	5262	3	1
[880]	6675	DUP1	5259	3	1
[881]	6676	DUP4	5256	3	1
[882]	6677	ADD	5253	3	1
[883]	6678	SWAP2	5250	3	1
[884]	6679	DUP3	5247	3	1
[885]	6680	MSTORE	5244	7	1
[886]	6681	PUSH1	5237	3	1
[887]	6683	SWAP9	5234	3	1
[888]	6684	DUP10	5231	3	1
[889]	6685	MSTORE	5228	3	1
[890]	6686	PUSH1	5225	3	1
[891]	6688	SWAP1	5222	3	1
[892]	6689	MSTORE	5219	3	1
[893]	6690	SWAP2	5216	3	1
[894]	6691	SWAP1	5213	3	1
[895]	6692	SWAP7	5210	3	1
[896]	6693	KECCAK256	5207	42	1
[897]	6694	SWAP6	5165	3	1
[898]	6695	MLOAD	5162	3	1
[899]	6696	SWAP1	5159	3	1
[900]	6697	MLOAD	5156	3	1
[901]	6698	SWAP1	5153	3	1
[902]	6699	SWAP5	5150	3	1
[903]	6700	AND	5147	3	1
[904]	6701	PUSH1	5144	3	1
[905]	6703	PUSH1	5141	3	1
[906]	6705	SHL	5138	3	1
[907]	6706	MUL	5135	5	1
[908]	6707	PUSH1	5130	3	1
[909]	6709	PUSH1	5127	3	1
[910]	6711	PUSH1	5124	3	1
[911]	6713	SHL	5121	3	1
[912]	6714	SUB	5118	3	1
[913]	6715	SWAP1	5115	3	1
[914]	6716	SWAP5	5112	3	1
[915]	6717	AND	5109	3	1
[916]	6718	SWAP4	5106	3	1
[917]	6719	SWAP1	5103	3	1
[918]	6720	SWAP4	5100	3	1
[919]	6721	OR	5097	3	1
[920]	6722	SWAP1	5094	3	1
[921]	6723	SWAP4	5091	3	1
[922]	6724	SSTORE	5088	2900	1
[923]	6725	POP	2188	2	1
[924]	6726	SWAP2	2186	3	1
[925]	6727	SWAP1	2183	3	1
[926]	6728	POP	2180	2	1
[927]	6729	JUMP	2178	8	1
[928]	2242	JUMPDEST	2170	1	1
[929]	2243	PUSH1	2169	3	1
[930]	2245	DUP1	2166	3	1
[931]	2246	MLOAD	2163	3	1
[932]	2247	PUSH1	2160	3	1
[933]	2249	DUP4	2157	3	1
[934]	2250	SWAP1	2154	3	1
[935]	2251	SIGNEXTEND	2151	5	1
[936]	2252	DUP2	2146	3	1
[937]	2253	MSTORE	2143	6	1
[938]	2254	PUSH4	2137	3	1
[939]	2259	DUP11	2134	3	1
[940]	2260	AND	2131	3	1
[941]	2261	PUSH1	2128	3	1
[942]	2263	DUP3	2125	3	1
[943]	2264	ADD	2122	3	1
[944]	2265	MSTORE	2119	6	1
[945]	2266	SWAP2	2113	3	1
[946]	2267	SWAP3	2110	3	1
[947]	2268	POP	2107	2	1
[948]	2269	DUP4	2105	3	1
[949]	2270	SWAP2	2102	3	1
[950]	2271	PUSH32	2099	3	1
[951]	2304	SWAP2	2096	3	1
[952]	2305	ADD	2093	3	1
[953]	2306	PUSH1	2090	3	1
[954]	2308	MLOAD	2087	3	1
[955]	2309	DUP1	2084	3	1
[956]	2310	SWAP2	2081	3	1
[957]	2311	SUB	2078	3	1
[958]	2312	SWAP1	2075	3	1
[959]	2313	LOG2	2072	1637	1
[960]	2314	POP	435	2	1
[961]	2315	SWAP8	433	3	1
[962]	2316	SWAP7	430	3	1
[963]	2317	POP	427	2	1
[964]	2318	POP	425	2	1
[965]	2319	POP	423	2	1
[966]	2320	POP	421	2	1
[967]	2321	POP	419	2	1
[968]	2322	POP	417	2	1
[969]	2323	POP	415	2	1
[970]	2324	JUMP	413	8	1
[971]	494	JUMPDEST	405	1	1
[972]	495	PUSH1	404	3	1
[973]	497	MLOAD	401	3	1
[974]	498	SWAP1	398	3	1
[975]	499	DUP2	395	3	1
[976]	500	MSTORE	392	3	1
[977]	501	PUSH1	389	3	1
[978]	503	ADD	386	3	1
[979]	504	JUMPDEST	383	1	1
[980]	505	PUSH1	382	3	1
[981]	507	MLOAD	379	3	1
[982]	508	DUP1	376	3	1
[983]	509	SWAP2	373	3	1
[984]	510	SUB	370	3	1
[985]	511	SWAP1	367	3	1
[986]	512	RETURN	364	0	1