Geth VM Trace Transaction

GETH Trace for Txn Hash 0x416db9f8fade11fd7935fa2511c8365d5048d46dd3d4726917c5388cf2395f49

Contract transaction successfully completed.

Raw traces

A total of 5,502 steps found. Showing the first 1,000 steps only

Step	PC	Operation	Gas	GasCost	Depth
[1]	0	PUSH1	88864	3	1
[2]	2	DUP1	88861	3	1
[3]	3	PUSH1	88858	3	1
[4]	5	MSTORE	88855	12	1
[5]	6	PUSH1	88843	3	1
[6]	8	CALLDATASIZE	88840	2	1
[7]	9	LT	88838	3	1
[8]	10	ISZERO	88835	3	1
[9]	11	PUSH2	88832	3	1
[10]	14	JUMPI	88829	10	1
[11]	29	JUMPDEST	88819	1	1
[12]	30	PUSH1	88818	3	1
[13]	32	SWAP1	88815	3	1
[14]	33	DUP2	88812	3	1
[15]	34	DUP1	88809	3	1
[16]	35	CALLDATALOAD	88806	3	1
[17]	36	PUSH1	88803	3	1
[18]	38	SHR	88800	3	1
[19]	39	SWAP2	88797	3	1
[20]	40	DUP3	88794	3	1
[21]	41	PUSH4	88791	3	1
[22]	46	EQ	88788	3	1
[23]	47	PUSH2	88785	3	1
[24]	50	JUMPI	88782	10	1
[25]	51	POP	88772	2	1
[26]	52	POP	88770	2	1
[27]	53	DUP1	88768	3	1
[28]	54	PUSH4	88765	3	1
[29]	59	EQ	88762	3	1
[30]	60	PUSH2	88759	3	1
[31]	63	JUMPI	88756	10	1
[32]	114	JUMPDEST	88746	1	1
[33]	115	POP	88745	2	1
[34]	116	CALLVALUE	88743	2	1
[35]	117	PUSH2	88741	3	1
[36]	120	JUMPI	88738	10	1
[37]	121	PUSH1	88728	3	1
[38]	123	CALLDATASIZE	88725	2	1
[39]	124	PUSH1	88723	3	1
[40]	126	NOT	88720	3	1
[41]	127	ADD	88717	3	1
[42]	128	SLT	88714	3	1
[43]	129	PUSH2	88711	3	1
[44]	132	JUMPI	88708	10	1
[45]	133	PUSH1	88698	3	1
[46]	135	CALLDATALOAD	88695	3	1
[47]	136	PUSH8	88692	3	1
[48]	145	DUP2	88689	3	1
[49]	146	GT	88686	3	1
[50]	147	PUSH2	88683	3	1
[51]	150	JUMPI	88680	10	1
[52]	151	PUSH2	88670	3	1
[53]	154	SWAP1	88667	3	1
[54]	155	CALLDATASIZE	88664	2	1
[55]	156	SWAP1	88662	3	1
[56]	157	PUSH1	88659	3	1
[57]	159	ADD	88656	3	1
[58]	160	PUSH2	88653	3	1
[59]	163	JUMP	88650	8	1
[60]	845	JUMPDEST	88642	1	1
[61]	846	SWAP2	88641	3	1
[62]	847	DUP2	88638	3	1
[63]	848	PUSH1	88635	3	1
[64]	850	DUP5	88632	3	1
[65]	851	ADD	88629	3	1
[66]	852	SLT	88626	3	1
[67]	853	ISZERO	88623	3	1
[68]	854	PUSH2	88620	3	1
[69]	857	JUMPI	88617	10	1
[70]	858	DUP3	88607	3	1
[71]	859	CALLDATALOAD	88604	3	1
[72]	860	SWAP2	88601	3	1
[73]	861	PUSH8	88598	3	1
[74]	870	DUP4	88595	3	1
[75]	871	GT	88592	3	1
[76]	872	PUSH2	88589	3	1
[77]	875	JUMPI	88586	10	1
[78]	876	PUSH1	88576	3	1
[79]	878	DUP1	88573	3	1
[80]	879	DUP6	88570	3	1
[81]	880	ADD	88567	3	1
[82]	881	SWAP5	88564	3	1
[83]	882	DUP5	88561	3	1
[84]	883	PUSH1	88558	3	1
[85]	885	SHL	88555	3	1
[86]	886	ADD	88552	3	1
[87]	887	ADD	88549	3	1
[88]	888	GT	88546	3	1
[89]	889	PUSH2	88543	3	1
[90]	892	JUMPI	88540	10	1
[91]	893	JUMP	88530	8	1
[92]	164	JUMPDEST	88522	1	1
[93]	165	SWAP1	88521	3	1
[94]	166	PUSH1	88518	3	1
[95]	168	CALLDATALOAD	88515	3	1
[96]	169	PUSH8	88512	3	1
[97]	178	DUP2	88509	3	1
[98]	179	GT	88506	3	1
[99]	180	PUSH2	88503	3	1
[100]	183	JUMPI	88500	10	1
[101]	184	PUSH2	88490	3	1
[102]	187	SWAP1	88487	3	1
[103]	188	CALLDATASIZE	88484	2	1
[104]	189	SWAP1	88482	3	1
[105]	190	PUSH1	88479	3	1
[106]	192	ADD	88476	3	1
[107]	193	PUSH2	88473	3	1
[108]	196	JUMP	88470	8	1
[109]	845	JUMPDEST	88462	1	1
[110]	846	SWAP2	88461	3	1
[111]	847	DUP2	88458	3	1
[112]	848	PUSH1	88455	3	1
[113]	850	DUP5	88452	3	1
[114]	851	ADD	88449	3	1
[115]	852	SLT	88446	3	1
[116]	853	ISZERO	88443	3	1
[117]	854	PUSH2	88440	3	1
[118]	857	JUMPI	88437	10	1
[119]	858	DUP3	88427	3	1
[120]	859	CALLDATALOAD	88424	3	1
[121]	860	SWAP2	88421	3	1
[122]	861	PUSH8	88418	3	1
[123]	870	DUP4	88415	3	1
[124]	871	GT	88412	3	1
[125]	872	PUSH2	88409	3	1
[126]	875	JUMPI	88406	10	1
[127]	876	PUSH1	88396	3	1
[128]	878	DUP1	88393	3	1
[129]	879	DUP6	88390	3	1
[130]	880	ADD	88387	3	1
[131]	881	SWAP5	88384	3	1
[132]	882	DUP5	88381	3	1
[133]	883	PUSH1	88378	3	1
[134]	885	SHL	88375	3	1
[135]	886	ADD	88372	3	1
[136]	887	ADD	88369	3	1
[137]	888	GT	88366	3	1
[138]	889	PUSH2	88363	3	1
[139]	892	JUMPI	88360	10	1
[140]	893	JUMP	88350	8	1
[141]	197	JUMPDEST	88342	1	1
[142]	198	DUP5	88341	3	1
[143]	199	SLOAD	88338	2100	1
[144]	200	PUSH1	86238	3	1
[145]	202	PUSH1	86235	3	1
[146]	204	PUSH1	86232	3	1
[147]	206	SHL	86229	3	1
[148]	207	SUB	86226	3	1
[149]	208	AND	86223	3	1
[150]	209	SWAP3	86220	3	1
[151]	210	DUP4	86217	3	1
[152]	211	EXTCODESIZE	86214	2600	1
[153]	212	ISZERO	83614	3	1
[154]	213	PUSH2	83611	3	1
[155]	216	JUMPI	83608	10	1
[156]	217	SWAP4	83598	3	1
[157]	218	SWAP1	83595	3	1
[158]	219	DUP6	83592	3	1
[159]	220	SWAP3	83589	3	1
[160]	221	PUSH1	83586	3	1
[161]	223	MLOAD	83583	3	1
[162]	224	SWAP6	83580	3	1
[163]	225	DUP7	83577	3	1
[164]	226	SWAP4	83574	3	1
[165]	227	PUSH4	83571	3	1
[166]	232	PUSH1	83568	3	1
[167]	234	SHL	83565	3	1
[168]	235	DUP6	83562	3	1
[169]	236	MSTORE	83559	9	1
[170]	237	DUP1	83550	3	1
[171]	238	PUSH1	83547	3	1
[172]	240	DUP7	83544	3	1
[173]	241	ADD	83541	3	1
[174]	242	PUSH1	83538	3	1
[175]	244	CALLDATALOAD	83535	3	1
[176]	245	PUSH1	83532	3	1
[177]	247	DUP9	83529	3	1
[178]	248	ADD	83526	3	1
[179]	249	MSTORE	83523	6	1
[180]	250	PUSH1	83517	3	1
[181]	252	PUSH1	83514	3	1
[182]	254	DUP9	83511	3	1
[183]	255	ADD	83508	3	1
[184]	256	MSTORE	83505	6	1
[185]	257	MSTORE	83499	9	1
[186]	258	PUSH1	83490	3	1
[187]	260	DUP6	83487	3	1
[188]	261	ADD	83484	3	1
[189]	262	SWAP2	83481	3	1
[190]	263	SWAP1	83478	3	1
[191]	264	DUP7	83475	3	1
[192]	265	SWAP1	83472	3	1
[193]	266	JUMPDEST	83469	1	1
[194]	267	DUP1	83468	3	1
[195]	268	DUP3	83465	3	1
[196]	269	LT	83462	3	1
[197]	270	PUSH2	83459	3	1
[198]	273	JUMPI	83456	10	1
[199]	505	JUMPDEST	83446	1	1
[200]	506	SWAP4	83445	3	1
[201]	507	SWAP7	83442	3	1
[202]	508	POP	83439	2	1
[203]	509	SWAP4	83437	3	1
[204]	510	SWAP5	83434	3	1
[205]	511	POP	83431	2	1
[206]	512	SWAP3	83429	3	1
[207]	513	SWAP2	83426	3	1
[208]	514	SWAP1	83423	3	1
[209]	515	DUP4	83420	3	1
[210]	516	CALLDATALOAD	83417	3	1
[211]	517	PUSH1	83414	3	1
[212]	519	PUSH1	83411	3	1
[213]	521	PUSH1	83408	3	1
[214]	523	SHL	83405	3	1
[215]	524	SUB	83402	3	1
[216]	525	DUP2	83399	3	1
[217]	526	AND	83396	3	1
[218]	527	SWAP2	83393	3	1
[219]	528	SWAP1	83390	3	1
[220]	529	DUP3	83387	3	1
[221]	530	SWAP1	83384	3	1
[222]	531	SUB	83381	3	1
[223]	532	PUSH2	83378	3	1
[224]	535	JUMPI	83375	10	1
[225]	536	PUSH1	83365	3	1
[226]	538	DUP2	83362	3	1
[227]	539	PUSH1	83359	3	1
[228]	541	SWAP4	83356	3	1
[229]	542	DUP3	83353	3	1
[230]	543	SWAP4	83350	3	1
[231]	544	MSTORE	83347	6	1
[232]	545	ADD	83341	3	1
[233]	546	SWAP5	83338	3	1
[234]	547	ADD	83335	3	1
[235]	548	SWAP3	83332	3	1
[236]	549	ADD	83329	3	1
[237]	550	SWAP2	83326	3	1
[238]	551	DUP9	83323	3	1
[239]	552	SWAP6	83320	3	1
[240]	553	SWAP3	83317	3	1
[241]	554	DUP9	83314	3	1
[242]	555	SWAP6	83311	3	1
[243]	556	SWAP5	83308	3	1
[244]	557	SWAP3	83305	3	1
[245]	558	PUSH2	83302	3	1
[246]	561	JUMP	83299	8	1
[247]	266	JUMPDEST	83291	1	1
[248]	267	DUP1	83290	3	1
[249]	268	DUP3	83287	3	1
[250]	269	LT	83284	3	1
[251]	270	PUSH2	83281	3	1
[252]	273	JUMPI	83278	10	1
[253]	505	JUMPDEST	83268	1	1
[254]	506	SWAP4	83267	3	1
[255]	507	SWAP7	83264	3	1
[256]	508	POP	83261	2	1
[257]	509	SWAP4	83259	3	1
[258]	510	SWAP5	83256	3	1
[259]	511	POP	83253	2	1
[260]	512	SWAP3	83251	3	1
[261]	513	SWAP2	83248	3	1
[262]	514	SWAP1	83245	3	1
[263]	515	DUP4	83242	3	1
[264]	516	CALLDATALOAD	83239	3	1
[265]	517	PUSH1	83236	3	1
[266]	519	PUSH1	83233	3	1
[267]	521	PUSH1	83230	3	1
[268]	523	SHL	83227	3	1
[269]	524	SUB	83224	3	1
[270]	525	DUP2	83221	3	1
[271]	526	AND	83218	3	1
[272]	527	SWAP2	83215	3	1
[273]	528	SWAP1	83212	3	1
[274]	529	DUP3	83209	3	1
[275]	530	SWAP1	83206	3	1
[276]	531	SUB	83203	3	1
[277]	532	PUSH2	83200	3	1
[278]	535	JUMPI	83197	10	1
[279]	536	PUSH1	83187	3	1
[280]	538	DUP2	83184	3	1
[281]	539	PUSH1	83181	3	1
[282]	541	SWAP4	83178	3	1
[283]	542	DUP3	83175	3	1
[284]	543	SWAP4	83172	3	1
[285]	544	MSTORE	83169	6	1
[286]	545	ADD	83163	3	1
[287]	546	SWAP5	83160	3	1
[288]	547	ADD	83157	3	1
[289]	548	SWAP3	83154	3	1
[290]	549	ADD	83151	3	1
[291]	550	SWAP2	83148	3	1
[292]	551	DUP9	83145	3	1
[293]	552	SWAP6	83142	3	1
[294]	553	SWAP3	83139	3	1
[295]	554	DUP9	83136	3	1
[296]	555	SWAP6	83133	3	1
[297]	556	SWAP5	83130	3	1
[298]	557	SWAP3	83127	3	1
[299]	558	PUSH2	83124	3	1
[300]	561	JUMP	83121	8	1
[301]	266	JUMPDEST	83113	1	1
[302]	267	DUP1	83112	3	1
[303]	268	DUP3	83109	3	1
[304]	269	LT	83106	3	1
[305]	270	PUSH2	83103	3	1
[306]	273	JUMPI	83100	10	1
[307]	274	POP	83090	2	1
[308]	275	POP	83088	2	1
[309]	276	POP	83086	2	1
[310]	277	PUSH1	83084	3	1
[311]	279	NOT	83081	3	1
[312]	280	DUP5	83078	3	1
[313]	281	DUP3	83075	3	1
[314]	282	SUB	83072	3	1
[315]	283	ADD	83069	3	1
[316]	284	PUSH1	83066	3	1
[317]	286	DUP6	83063	3	1
[318]	287	ADD	83060	3	1
[319]	288	MSTORE	83057	3	1
[320]	289	DUP3	83054	3	1
[321]	290	DUP2	83051	3	1
[322]	291	MSTORE	83048	6	1
[323]	292	PUSH1	83042	3	1
[324]	294	DUP2	83039	3	1
[325]	295	ADD	83036	3	1
[326]	296	SWAP3	83033	3	1
[327]	297	PUSH1	83030	3	1
[328]	299	DUP2	83027	3	1
[329]	300	PUSH1	83024	3	1
[330]	302	SHL	83021	3	1
[331]	303	DUP4	83018	3	1
[332]	304	ADD	83015	3	1
[333]	305	ADD	83012	3	1
[334]	306	SWAP4	83009	3	1
[335]	307	DUP4	83006	3	1
[336]	308	DUP8	83003	3	1
[337]	309	SWAP4	83000	3	1
[338]	310	PUSH1	82997	3	1
[339]	312	NOT	82994	3	1
[340]	313	DUP3	82991	3	1
[341]	314	CALLDATASIZE	82988	2	1
[342]	315	SUB	82986	3	1
[343]	316	ADD	82983	3	1
[344]	317	SWAP1	82980	3	1
[345]	318	JUMPDEST	82977	1	1
[346]	319	DUP5	82976	3	1
[347]	320	DUP7	82973	3	1
[348]	321	LT	82970	3	1
[349]	322	PUSH2	82967	3	1
[350]	325	JUMPI	82964	10	1
[351]	382	JUMPDEST	82954	1	1
[352]	383	SWAP3	82953	3	1
[353]	384	SWAP6	82950	3	1
[354]	385	SWAP9	82947	3	1
[355]	386	POP	82944	2	1
[356]	387	SWAP3	82942	3	1
[357]	388	SWAP6	82939	3	1
[358]	389	SWAP1	82936	3	1
[359]	390	SWAP4	82933	3	1
[360]	391	SWAP7	82930	3	1
[361]	392	POP	82927	2	1
[362]	393	PUSH1	82925	3	1
[363]	395	NOT	82922	3	1
[364]	396	DUP3	82919	3	1
[365]	397	DUP3	82916	3	1
[366]	398	SUB	82913	3	1
[367]	399	ADD	82910	3	1
[368]	400	DUP6	82907	3	1
[369]	401	MSTORE	82904	6	1
[370]	402	DUP8	82898	3	1
[371]	403	CALLDATALOAD	82895	3	1
[372]	404	DUP4	82892	3	1
[373]	405	DUP2	82889	3	1
[374]	406	SLT	82886	3	1
[375]	407	ISZERO	82883	3	1
[376]	408	PUSH2	82880	3	1
[377]	411	JUMPI	82877	10	1
[378]	412	DUP5	82867	3	1
[379]	413	ADD	82864	3	1
[380]	414	DUP12	82861	3	1
[381]	415	PUSH1	82858	3	1
[382]	417	DUP3	82855	3	1
[383]	418	CALLDATALOAD	82852	3	1
[384]	419	SWAP3	82849	3	1
[385]	420	ADD	82846	3	1
[386]	421	PUSH8	82843	3	1
[387]	430	DUP4	82840	3	1
[388]	431	GT	82837	3	1
[389]	432	PUSH2	82834	3	1
[390]	435	JUMPI	82831	10	1
[391]	436	DUP3	82821	3	1
[392]	437	CALLDATASIZE	82818	2	1
[393]	438	SUB	82816	3	1
[394]	439	DUP2	82813	3	1
[395]	440	SGT	82810	3	1
[396]	441	PUSH2	82807	3	1
[397]	444	JUMPI	82804	10	1
[398]	445	DUP3	82794	3	1
[399]	446	DUP5	82791	3	1
[400]	447	MSTORE	82788	6	1
[401]	448	PUSH1	82782	3	1
[402]	450	SWAP4	82779	3	1
[403]	451	PUSH1	82776	3	1
[404]	453	SWAP4	82773	3	1
[405]	454	DUP5	82770	3	1
[406]	455	SWAP4	82767	3	1
[407]	456	DUP5	82764	3	1
[408]	457	SWAP4	82761	3	1
[409]	458	DUP3	82758	3	1
[410]	459	SWAP1	82755	3	1
[411]	460	DUP6	82752	3	1
[412]	461	DUP6	82749	3	1
[413]	462	ADD	82746	3	1
[414]	463	CALLDATACOPY	82743	58	1
[415]	464	DUP4	82685	3	1
[416]	465	DUP3	82682	3	1
[417]	466	DUP5	82679	3	1
[418]	467	ADD	82676	3	1
[419]	468	ADD	82673	3	1
[420]	469	MSTORE	82670	6	1
[421]	470	PUSH1	82664	3	1
[422]	472	DUP1	82661	3	1
[423]	473	NOT	82658	3	1
[424]	474	SWAP2	82655	3	1
[425]	475	ADD	82652	3	1
[426]	476	AND	82649	3	1
[427]	477	ADD	82646	3	1
[428]	478	ADD	82643	3	1
[429]	479	SWAP10	82640	3	1
[430]	480	ADD	82637	3	1
[431]	481	SWAP6	82634	3	1
[432]	482	ADD	82631	3	1
[433]	483	SWAP7	82628	3	1
[434]	484	ADD	82625	3	1
[435]	485	SWAP3	82622	3	1
[436]	486	DUP11	82619	3	1
[437]	487	SWAP8	82616	3	1
[438]	488	SWAP6	82613	3	1
[439]	489	SWAP3	82610	3	1
[440]	490	DUP11	82607	3	1
[441]	491	SWAP8	82604	3	1
[442]	492	SWAP3	82601	3	1
[443]	493	PUSH2	82598	3	1
[444]	496	JUMP	82595	8	1
[445]	318	JUMPDEST	82587	1	1
[446]	319	DUP5	82586	3	1
[447]	320	DUP7	82583	3	1
[448]	321	LT	82580	3	1
[449]	322	PUSH2	82577	3	1
[450]	325	JUMPI	82574	10	1
[451]	326	POP	82564	2	1
[452]	327	POP	82562	2	1
[453]	328	POP	82560	2	1
[454]	329	POP	82558	2	1
[455]	330	POP	82556	2	1
[456]	331	POP	82554	2	1
[457]	332	POP	82552	2	1
[458]	333	SWAP3	82550	3	1
[459]	334	DUP2	82547	3	1
[460]	335	DUP4	82544	3	1
[461]	336	DUP2	82541	3	1
[462]	337	DUP2	82538	3	1
[463]	338	SWAP7	82535	3	1
[464]	339	SUB	82532	3	1
[465]	340	SWAP3	82529	3	1
[466]	341	GAS	82526	2	1
[467]	342	CALL	82524	81237	1
[468]	0	PUSH1	81137	3	2
[469]	2	PUSH1	81134	3	2
[470]	4	MSTORE	81131	12	2
[471]	5	PUSH1	81119	3	2
[472]	7	CALLDATASIZE	81116	2	2
[473]	8	LT	81114	3	2
[474]	9	ISZERO	81111	3	2
[475]	10	PUSH2	81108	3	2
[476]	13	JUMPI	81105	10	2
[477]	27	JUMPDEST	81095	1	2
[478]	28	PUSH1	81094	3	2
[479]	30	DUP1	81091	3	2
[480]	31	CALLDATALOAD	81088	3	2
[481]	32	PUSH1	81085	3	2
[482]	34	SHR	81082	3	2
[483]	35	DUP1	81079	3	2
[484]	36	PUSH4	81076	3	2
[485]	41	EQ	81073	3	2
[486]	42	PUSH2	81070	3	2
[487]	45	JUMPI	81067	10	2
[488]	46	DUP1	81057	3	2
[489]	47	PUSH4	81054	3	2
[490]	52	EQ	81051	3	2
[491]	53	PUSH2	81048	3	2
[492]	56	JUMPI	81045	10	2
[493]	57	DUP1	81035	3	2
[494]	58	PUSH4	81032	3	2
[495]	63	EQ	81029	3	2
[496]	64	PUSH2	81026	3	2
[497]	67	JUMPI	81023	10	2
[498]	68	DUP1	81013	3	2
[499]	69	PUSH4	81010	3	2
[500]	74	EQ	81007	3	2
[501]	75	PUSH2	81004	3	2
[502]	78	JUMPI	81001	10	2
[503]	79	DUP1	80991	3	2
[504]	80	PUSH4	80988	3	2
[505]	85	EQ	80985	3	2
[506]	86	PUSH2	80982	3	2
[507]	89	JUMPI	80979	10	2
[508]	90	DUP1	80969	3	2
[509]	91	PUSH4	80966	3	2
[510]	96	EQ	80963	3	2
[511]	97	PUSH2	80960	3	2
[512]	100	JUMPI	80957	10	2
[513]	101	DUP1	80947	3	2
[514]	102	PUSH4	80944	3	2
[515]	107	EQ	80941	3	2
[516]	108	PUSH2	80938	3	2
[517]	111	JUMPI	80935	10	2
[518]	112	DUP1	80925	3	2
[519]	113	PUSH4	80922	3	2
[520]	118	EQ	80919	3	2
[521]	119	PUSH2	80916	3	2
[522]	122	JUMPI	80913	10	2
[523]	123	DUP1	80903	3	2
[524]	124	PUSH4	80900	3	2
[525]	129	EQ	80897	3	2
[526]	130	PUSH2	80894	3	2
[527]	133	JUMPI	80891	10	2
[528]	134	DUP1	80881	3	2
[529]	135	PUSH4	80878	3	2
[530]	140	EQ	80875	3	2
[531]	141	PUSH2	80872	3	2
[532]	144	JUMPI	80869	10	2
[533]	145	DUP1	80859	3	2
[534]	146	PUSH4	80856	3	2
[535]	151	EQ	80853	3	2
[536]	152	PUSH2	80850	3	2
[537]	155	JUMPI	80847	10	2
[538]	156	DUP1	80837	3	2
[539]	157	PUSH4	80834	3	2
[540]	162	EQ	80831	3	2
[541]	163	PUSH2	80828	3	2
[542]	166	JUMPI	80825	10	2
[543]	167	DUP1	80815	3	2
[544]	168	PUSH4	80812	3	2
[545]	173	EQ	80809	3	2
[546]	174	PUSH2	80806	3	2
[547]	177	JUMPI	80803	10	2
[548]	178	DUP1	80793	3	2
[549]	179	PUSH4	80790	3	2
[550]	184	EQ	80787	3	2
[551]	185	PUSH2	80784	3	2
[552]	188	JUMPI	80781	10	2
[553]	189	DUP1	80771	3	2
[554]	190	PUSH4	80768	3	2
[555]	195	EQ	80765	3	2
[556]	196	PUSH2	80762	3	2
[557]	199	JUMPI	80759	10	2
[558]	6358	JUMPDEST	80749	1	2
[559]	6359	POP	80748	2	2
[560]	6360	CALLVALUE	80746	2	2
[561]	6361	PUSH2	80744	3	2
[562]	6364	JUMPI	80741	10	2
[563]	6365	PUSH2	80731	3	2
[564]	6368	PUSH2	80728	3	2
[565]	6371	CALLDATASIZE	80725	2	2
[566]	6372	PUSH2	80723	3	2
[567]	6375	JUMP	80720	8	2
[568]	8892	JUMPDEST	80712	1	2
[569]	8893	SWAP1	80711	3	2
[570]	8894	PUSH1	80708	3	2
[571]	8896	PUSH1	80705	3	2
[572]	8898	NOT	80702	3	2
[573]	8899	DUP4	80699	3	2
[574]	8900	ADD	80696	3	2
[575]	8901	SLT	80693	3	2
[576]	8902	PUSH2	80690	3	2
[577]	8905	JUMPI	80687	10	2
[578]	8906	PUSH1	80677	3	2
[579]	8908	CALLDATALOAD	80674	3	2
[580]	8909	SWAP2	80671	3	2
[581]	8910	PUSH1	80668	3	2
[582]	8912	CALLDATALOAD	80665	3	2
[583]	8913	PUSH1	80662	3	2
[584]	8915	PUSH1	80659	3	2
[585]	8917	PUSH1	80656	3	2
[586]	8919	SHL	80653	3	2
[587]	8920	SUB	80650	3	2
[588]	8921	DUP2	80647	3	2
[589]	8922	GT	80644	3	2
[590]	8923	PUSH2	80641	3	2
[591]	8926	JUMPI	80638	10	2
[592]	8927	DUP2	80628	3	2
[593]	8928	PUSH2	80625	3	2
[594]	8931	SWAP2	80622	3	2
[595]	8932	PUSH1	80619	3	2
[596]	8934	ADD	80616	3	2
[597]	8935	PUSH2	80613	3	2
[598]	8938	JUMP	80610	8	2
[599]	8844	JUMPDEST	80602	1	2
[600]	8845	SWAP2	80601	3	2
[601]	8846	DUP2	80598	3	2
[602]	8847	PUSH1	80595	3	2
[603]	8849	DUP5	80592	3	2
[604]	8850	ADD	80589	3	2
[605]	8851	SLT	80586	3	2
[606]	8852	ISZERO	80583	3	2
[607]	8853	PUSH2	80580	3	2
[608]	8856	JUMPI	80577	10	2
[609]	8857	DUP3	80567	3	2
[610]	8858	CALLDATALOAD	80564	3	2
[611]	8859	SWAP2	80561	3	2
[612]	8860	PUSH1	80558	3	2
[613]	8862	PUSH1	80555	3	2
[614]	8864	PUSH1	80552	3	2
[615]	8866	SHL	80549	3	2
[616]	8867	SUB	80546	3	2
[617]	8868	DUP4	80543	3	2
[618]	8869	GT	80540	3	2
[619]	8870	PUSH2	80537	3	2
[620]	8873	JUMPI	80534	10	2
[621]	8874	PUSH1	80524	3	2
[622]	8876	DUP1	80521	3	2
[623]	8877	DUP6	80518	3	2
[624]	8878	ADD	80515	3	2
[625]	8879	SWAP5	80512	3	2
[626]	8880	DUP5	80509	3	2
[627]	8881	PUSH1	80506	3	2
[628]	8883	SHL	80503	3	2
[629]	8884	ADD	80500	3	2
[630]	8885	ADD	80497	3	2
[631]	8886	GT	80494	3	2
[632]	8887	PUSH2	80491	3	2
[633]	8890	JUMPI	80488	10	2
[634]	8891	JUMP	80478	8	2
[635]	8939	JUMPDEST	80470	1	2
[636]	8940	SWAP3	80469	3	2
[637]	8941	SWAP1	80466	3	2
[638]	8942	SWAP3	80463	3	2
[639]	8943	SWAP2	80460	3	2
[640]	8944	PUSH1	80457	3	2
[641]	8946	CALLDATALOAD	80454	3	2
[642]	8947	SWAP1	80451	3	2
[643]	8948	PUSH1	80448	3	2
[644]	8950	PUSH1	80445	3	2
[645]	8952	PUSH1	80442	3	2
[646]	8954	SHL	80439	3	2
[647]	8955	SUB	80436	3	2
[648]	8956	DUP3	80433	3	2
[649]	8957	GT	80430	3	2
[650]	8958	PUSH2	80427	3	2
[651]	8961	JUMPI	80424	10	2
[652]	8962	PUSH2	80414	3	2
[653]	8965	SWAP2	80411	3	2
[654]	8966	PUSH1	80408	3	2
[655]	8968	ADD	80405	3	2
[656]	8969	PUSH2	80402	3	2
[657]	8972	JUMP	80399	8	2
[658]	8844	JUMPDEST	80391	1	2
[659]	8845	SWAP2	80390	3	2
[660]	8846	DUP2	80387	3	2
[661]	8847	PUSH1	80384	3	2
[662]	8849	DUP5	80381	3	2
[663]	8850	ADD	80378	3	2
[664]	8851	SLT	80375	3	2
[665]	8852	ISZERO	80372	3	2
[666]	8853	PUSH2	80369	3	2
[667]	8856	JUMPI	80366	10	2
[668]	8857	DUP3	80356	3	2
[669]	8858	CALLDATALOAD	80353	3	2
[670]	8859	SWAP2	80350	3	2
[671]	8860	PUSH1	80347	3	2
[672]	8862	PUSH1	80344	3	2
[673]	8864	PUSH1	80341	3	2
[674]	8866	SHL	80338	3	2
[675]	8867	SUB	80335	3	2
[676]	8868	DUP4	80332	3	2
[677]	8869	GT	80329	3	2
[678]	8870	PUSH2	80326	3	2
[679]	8873	JUMPI	80323	10	2
[680]	8874	PUSH1	80313	3	2
[681]	8876	DUP1	80310	3	2
[682]	8877	DUP6	80307	3	2
[683]	8878	ADD	80304	3	2
[684]	8879	SWAP5	80301	3	2
[685]	8880	DUP5	80298	3	2
[686]	8881	PUSH1	80295	3	2
[687]	8883	SHL	80292	3	2
[688]	8884	ADD	80289	3	2
[689]	8885	ADD	80286	3	2
[690]	8886	GT	80283	3	2
[691]	8887	PUSH2	80280	3	2
[692]	8890	JUMPI	80277	10	2
[693]	8891	JUMP	80267	8	2
[694]	8973	JUMPDEST	80259	1	2
[695]	8974	SWAP1	80258	3	2
[696]	8975	SWAP2	80255	3	2
[697]	8976	JUMP	80252	8	2
[698]	6376	JUMPDEST	80244	1	2
[699]	6377	DUP5	80243	3	2
[700]	6378	DUP8	80240	3	2
[701]	6379	MSTORE	80237	3	2
[702]	6380	PUSH1	80234	3	2
[703]	6382	PUSH1	80231	3	2
[704]	6384	MSTORE	80228	3	2
[705]	6385	PUSH1	80225	3	2
[706]	6387	DUP8	80222	3	2
[707]	6388	KECCAK256	80219	42	2
[708]	6389	SWAP4	80177	3	2
[709]	6390	SWAP6	80174	3	2
[710]	6391	SWAP3	80171	3	2
[711]	6392	SWAP5	80168	3	2
[712]	6393	SWAP3	80165	3	2
[713]	6394	SWAP2	80162	3	2
[714]	6395	PUSH2	80159	3	2
[715]	6398	DUP6	80156	3	2
[716]	6399	PUSH2	80153	3	2
[717]	6402	JUMP	80150	8	2
[718]	13678	JUMPDEST	80142	1	2
[719]	13679	SLOAD	80141	2100	2
[720]	13680	PUSH5	78041	3	2
[721]	13686	DUP2	78038	3	2
[722]	13687	PUSH1	78035	3	2
[723]	13689	SHR	78032	3	2
[724]	13690	AND	78029	3	2
[725]	13691	TIMESTAMP	78026	2	2
[726]	13692	LT	78024	3	2
[727]	13693	SWAP1	78021	3	2
[728]	13694	DUP2	78018	3	2
[729]	13695	ISZERO	78015	3	2
[730]	13696	PUSH2	78012	3	2
[731]	13699	JUMPI	78009	10	2
[732]	13724	JUMPDEST	77999	1	2
[733]	13725	PUSH5	77998	3	2
[734]	13731	SWAP2	77995	3	2
[735]	13732	POP	77992	2	2
[736]	13733	PUSH1	77990	3	2
[737]	13735	SHR	77987	3	2
[738]	13736	AND	77984	3	2
[739]	13737	TIMESTAMP	77981	2	2
[740]	13738	GT	77979	3	2
[741]	13739	CODESIZE	77976	2	2
[742]	13740	PUSH2	77974	3	2
[743]	13743	JUMP	77971	8	2
[744]	13700	JUMPDEST	77963	1	2
[745]	13701	POP	77962	2	2
[746]	13702	PUSH2	77960	3	2
[747]	13705	JUMPI	77957	10	2
[748]	13706	JUMP	77947	8	2
[749]	6403	JUMPDEST	77939	1	2
[750]	6404	PUSH2	77938	3	2
[751]	6407	JUMP	77935	8	2
[752]	13331	JUMPDEST	77927	1	2
[753]	13332	PUSH1	77926	3	2
[754]	13334	MLOAD	77923	3	2
[755]	13335	PUSH4	77920	3	2
[756]	13340	PUSH1	77917	3	2
[757]	13342	SHL	77914	3	2
[758]	13343	DUP2	77911	3	2
[759]	13344	MSTORE	77908	9	2
[760]	13345	PUSH1	77899	3	2
[761]	13347	PUSH1	77896	3	2
[762]	13349	DUP3	77893	3	2
[763]	13350	ADD	77890	3	2
[764]	13351	DUP2	77887	3	2
[765]	13352	SWAP1	77884	3	2
[766]	13353	MSTORE	77881	6	2
[767]	13354	PUSH1	77875	3	2
[768]	13356	SWAP4	77872	3	2
[769]	13357	PUSH32	77869	3	2
[770]	13390	PUSH1	77866	3	2
[771]	13392	PUSH1	77863	3	2
[772]	13394	PUSH1	77860	3	2
[773]	13396	SHL	77857	3	2
[774]	13397	SUB	77854	3	2
[775]	13398	AND	77851	3	2
[776]	13399	SWAP3	77848	3	2
[777]	13400	SWAP1	77845	3	2
[778]	13401	SWAP2	77842	3	2
[779]	13402	DUP2	77839	3	2
[780]	13403	DUP1	77836	3	2
[781]	13404	PUSH2	77833	3	2
[782]	13407	PUSH1	77830	3	2
[783]	13409	DUP3	77827	3	2
[784]	13410	ADD	77824	3	2
[785]	13411	DUP7	77821	3	2
[786]	13412	DUP10	77818	3	2
[787]	13413	PUSH2	77815	3	2
[788]	13416	JUMP	77812	8	2
[789]	13041	JUMPDEST	77804	1	2
[790]	13042	SWAP1	77803	3	2
[791]	13043	PUSH1	77800	3	2
[792]	13045	DUP4	77797	3	2
[793]	13046	DUP3	77794	3	2
[794]	13047	DUP2	77791	3	2
[795]	13048	MSTORE	77788	6	2
[796]	13049	ADD	77782	3	2
[797]	13050	SWAP1	77779	3	2
[798]	13051	PUSH1	77776	3	2
[799]	13053	DUP2	77773	3	2
[800]	13054	PUSH1	77770	3	2
[801]	13056	SHL	77767	3	2
[802]	13057	DUP6	77764	3	2
[803]	13058	ADD	77761	3	2
[804]	13059	ADD	77758	3	2
[805]	13060	SWAP4	77755	3	2
[806]	13061	DUP4	77752	3	2
[807]	13062	PUSH1	77749	3	2
[808]	13064	SWAP2	77746	3	2
[809]	13065	JUMPDEST	77743	1	2
[810]	13066	DUP4	77742	3	2
[811]	13067	DUP4	77739	3	2
[812]	13068	LT	77736	3	2
[813]	13069	PUSH2	77733	3	2
[814]	13072	JUMPI	77730	10	2
[815]	13081	JUMPDEST	77720	1	2
[816]	13082	SWAP1	77719	3	2
[817]	13083	SWAP2	77716	3	2
[818]	13084	SWAP3	77713	3	2
[819]	13085	SWAP4	77710	3	2
[820]	13086	SWAP5	77707	3	2
[821]	13087	SWAP6	77704	3	2
[822]	13088	PUSH1	77701	3	2
[823]	13090	NOT	77698	3	2
[824]	13091	DUP3	77695	3	2
[825]	13092	DUP3	77692	3	2
[826]	13093	SUB	77689	3	2
[827]	13094	ADD	77686	3	2
[828]	13095	DUP7	77683	3	2
[829]	13096	MSTORE	77680	6	2
[830]	13097	DUP7	77674	3	2
[831]	13098	CALLDATALOAD	77671	3	2
[832]	13099	PUSH1	77668	3	2
[833]	13101	NOT	77665	3	2
[834]	13102	DUP5	77662	3	2
[835]	13103	CALLDATASIZE	77659	2	2
[836]	13104	SUB	77657	3	2
[837]	13105	ADD	77654	3	2
[838]	13106	DUP2	77651	3	2
[839]	13107	SLT	77648	3	2
[840]	13108	ISZERO	77645	3	2
[841]	13109	PUSH2	77642	3	2
[842]	13112	JUMPI	77639	10	2
[843]	13113	DUP4	77629	3	2
[844]	13114	ADD	77626	3	2
[845]	13115	SWAP1	77623	3	2
[846]	13116	PUSH1	77620	3	2
[847]	13118	DUP3	77617	3	2
[848]	13119	CALLDATALOAD	77614	3	2
[849]	13120	SWAP3	77611	3	2
[850]	13121	ADD	77608	3	2
[851]	13122	SWAP2	77605	3	2
[852]	13123	PUSH1	77602	3	2
[853]	13125	PUSH1	77599	3	2
[854]	13127	PUSH1	77596	3	2
[855]	13129	SHL	77593	3	2
[856]	13130	SUB	77590	3	2
[857]	13131	DUP2	77587	3	2
[858]	13132	GT	77584	3	2
[859]	13133	PUSH2	77581	3	2
[860]	13136	JUMPI	77578	10	2
[861]	13137	DUP1	77568	3	2
[862]	13138	CALLDATASIZE	77565	2	2
[863]	13139	SUB	77563	3	2
[864]	13140	DUP4	77560	3	2
[865]	13141	SGT	77557	3	2
[866]	13142	PUSH2	77554	3	2
[867]	13145	JUMPI	77551	10	2
[868]	13146	PUSH1	77541	3	2
[869]	13148	DUP3	77538	3	2
[870]	13149	DUP3	77535	3	2
[871]	13150	DUP1	77532	3	2
[872]	13151	PUSH1	77529	3	2
[873]	13153	SWAP7	77526	3	2
[874]	13154	DUP5	77523	3	2
[875]	13155	SWAP7	77520	3	2
[876]	13156	SWAP6	77517	3	2
[877]	13157	DUP6	77514	3	2
[878]	13158	SWAP7	77511	3	2
[879]	13159	MSTORE	77508	6	2
[880]	13160	DUP5	77502	3	2
[881]	13161	DUP5	77499	3	2
[882]	13162	ADD	77496	3	2
[883]	13163	CALLDATACOPY	77493	57	2
[884]	13164	PUSH1	77436	3	2
[885]	13166	DUP3	77433	3	2
[886]	13167	DUP3	77430	3	2
[887]	13168	ADD	77427	3	2
[888]	13169	DUP5	77424	3	2
[889]	13170	ADD	77421	3	2
[890]	13171	MSTORE	77418	6	2
[891]	13172	PUSH1	77412	3	2
[892]	13174	ADD	77409	3	2
[893]	13175	PUSH1	77406	3	2
[894]	13177	NOT	77403	3	2
[895]	13178	AND	77400	3	2
[896]	13179	ADD	77397	3	2
[897]	13180	ADD	77394	3	2
[898]	13181	SWAP9	77391	3	2
[899]	13182	ADD	77388	3	2
[900]	13183	SWAP7	77385	3	2
[901]	13184	ADD	77382	3	2
[902]	13185	SWAP5	77379	3	2
[903]	13186	SWAP4	77376	3	2
[904]	13187	ADD	77373	3	2
[905]	13188	SWAP2	77370	3	2
[906]	13189	SWAP1	77367	3	2
[907]	13190	PUSH2	77364	3	2
[908]	13193	JUMP	77361	8	2
[909]	13065	JUMPDEST	77353	1	2
[910]	13066	DUP4	77352	3	2
[911]	13067	DUP4	77349	3	2
[912]	13068	LT	77346	3	2
[913]	13069	PUSH2	77343	3	2
[914]	13072	JUMPI	77340	10	2
[915]	13073	POP	77330	2	2
[916]	13074	POP	77328	2	2
[917]	13075	POP	77326	2	2
[918]	13076	POP	77324	2	2
[919]	13077	POP	77322	2	2
[920]	13078	POP	77320	2	2
[921]	13079	SWAP1	77318	3	2
[922]	13080	JUMP	77315	8	2
[923]	13417	JUMPDEST	77307	1	2
[924]	13418	SUB	77306	3	2
[925]	13419	DUP2	77303	3	2
[926]	13420	DUP7	77300	3	2
[927]	13421	GAS	77297	2	2
[928]	13422	STATICCALL	77295	76128	2
[929]	0	PUSH1	73528	3	3
[930]	2	PUSH1	73525	3	3
[931]	4	MSTORE	73522	12	3
[932]	5	PUSH1	73510	3	3
[933]	7	CALLDATASIZE	73507	2	3
[934]	8	LT	73505	3	3
[935]	9	PUSH2	73502	3	3
[936]	12	JUMPI	73499	10	3
[937]	13	PUSH1	73489	3	3
[938]	15	CALLDATALOAD	73486	3	3
[939]	16	PUSH1	73483	3	3
[940]	18	SHR	73480	3	3
[941]	19	DUP1	73477	3	3
[942]	20	PUSH4	73474	3	3
[943]	25	GT	73471	3	3
[944]	26	PUSH2	73468	3	3
[945]	29	JUMPI	73465	10	3
[946]	30	DUP1	73455	3	3
[947]	31	PUSH4	73452	3	3
[948]	36	GT	73449	3	3
[949]	37	PUSH2	73446	3	3
[950]	40	JUMPI	73443	10	3
[951]	41	DUP1	73433	3	3
[952]	42	PUSH4	73430	3	3
[953]	47	EQ	73427	3	3
[954]	48	PUSH2	73424	3	3
[955]	51	JUMPI	73421	10	3
[956]	52	DUP1	73411	3	3
[957]	53	PUSH4	73408	3	3
[958]	58	EQ	73405	3	3
[959]	59	PUSH2	73402	3	3
[960]	62	JUMPI	73399	10	3
[961]	646	JUMPDEST	73389	1	3
[962]	647	CALLVALUE	73388	2	3
[963]	648	DUP1	73386	3	3
[964]	649	ISZERO	73383	3	3
[965]	650	PUSH2	73380	3	3
[966]	653	JUMPI	73377	10	3
[967]	658	JUMPDEST	73367	1	3
[968]	659	POP	73366	2	3
[969]	660	PUSH2	73364	3	3
[970]	663	PUSH2	73361	3	3
[971]	666	CALLDATASIZE	73358	2	3
[972]	667	PUSH1	73356	3	3
[973]	669	PUSH2	73353	3	3
[974]	672	JUMP	73350	8	3
[975]	3912	JUMPDEST	73342	1	3
[976]	3913	PUSH1	73341	3	3
[977]	3915	DUP1	73338	3	3
[978]	3916	PUSH1	73335	3	3
[979]	3918	DUP4	73332	3	3
[980]	3919	DUP6	73329	3	3
[981]	3920	SUB	73326	3	3
[982]	3921	SLT	73323	3	3
[983]	3922	ISZERO	73320	3	3
[984]	3923	PUSH2	73317	3	3
[985]	3926	JUMPI	73314	10	3
[986]	3931	JUMPDEST	73304	1	3
[987]	3932	DUP3	73303	3	3
[988]	3933	CALLDATALOAD	73300	3	3
[989]	3934	PUSH1	73297	3	3
[990]	3936	PUSH1	73294	3	3
[991]	3938	PUSH1	73291	3	3
[992]	3940	SHL	73288	3	3
[993]	3941	SUB	73285	3	3
[994]	3942	DUP2	73282	3	3
[995]	3943	GT	73279	3	3
[996]	3944	ISZERO	73276	3	3
[997]	3945	PUSH2	73273	3	3
[998]	3948	JUMPI	73270	10	3
[999]	3953	JUMPDEST	73260	1	3
[1000]	3954	PUSH2	73259	3	3