Geth VM Trace Transaction

GETH Trace for Txn Hash 0xf1defbe5cbdc4433192d2b33e3b8e7c97372461fc6eb3f1500f27ca4c1e4141c

Contract transaction successfully completed.

Raw traces

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

Step	PC	Operation	Gas	GasCost	Depth
[1]	0	PUSH1	88798	3	1
[2]	2	DUP1	88795	3	1
[3]	3	PUSH1	88792	3	1
[4]	5	MSTORE	88789	12	1
[5]	6	PUSH1	88777	3	1
[6]	8	CALLDATASIZE	88774	2	1
[7]	9	LT	88772	3	1
[8]	10	ISZERO	88769	3	1
[9]	11	PUSH2	88766	3	1
[10]	14	JUMPI	88763	10	1
[11]	29	JUMPDEST	88753	1	1
[12]	30	PUSH1	88752	3	1
[13]	32	SWAP1	88749	3	1
[14]	33	DUP2	88746	3	1
[15]	34	DUP1	88743	3	1
[16]	35	CALLDATALOAD	88740	3	1
[17]	36	PUSH1	88737	3	1
[18]	38	SHR	88734	3	1
[19]	39	SWAP2	88731	3	1
[20]	40	DUP3	88728	3	1
[21]	41	PUSH4	88725	3	1
[22]	46	EQ	88722	3	1
[23]	47	PUSH2	88719	3	1
[24]	50	JUMPI	88716	10	1
[25]	51	POP	88706	2	1
[26]	52	POP	88704	2	1
[27]	53	DUP1	88702	3	1
[28]	54	PUSH4	88699	3	1
[29]	59	EQ	88696	3	1
[30]	60	PUSH2	88693	3	1
[31]	63	JUMPI	88690	10	1
[32]	114	JUMPDEST	88680	1	1
[33]	115	POP	88679	2	1
[34]	116	CALLVALUE	88677	2	1
[35]	117	PUSH2	88675	3	1
[36]	120	JUMPI	88672	10	1
[37]	121	PUSH1	88662	3	1
[38]	123	CALLDATASIZE	88659	2	1
[39]	124	PUSH1	88657	3	1
[40]	126	NOT	88654	3	1
[41]	127	ADD	88651	3	1
[42]	128	SLT	88648	3	1
[43]	129	PUSH2	88645	3	1
[44]	132	JUMPI	88642	10	1
[45]	133	PUSH1	88632	3	1
[46]	135	CALLDATALOAD	88629	3	1
[47]	136	PUSH8	88626	3	1
[48]	145	DUP2	88623	3	1
[49]	146	GT	88620	3	1
[50]	147	PUSH2	88617	3	1
[51]	150	JUMPI	88614	10	1
[52]	151	PUSH2	88604	3	1
[53]	154	SWAP1	88601	3	1
[54]	155	CALLDATASIZE	88598	2	1
[55]	156	SWAP1	88596	3	1
[56]	157	PUSH1	88593	3	1
[57]	159	ADD	88590	3	1
[58]	160	PUSH2	88587	3	1
[59]	163	JUMP	88584	8	1
[60]	845	JUMPDEST	88576	1	1
[61]	846	SWAP2	88575	3	1
[62]	847	DUP2	88572	3	1
[63]	848	PUSH1	88569	3	1
[64]	850	DUP5	88566	3	1
[65]	851	ADD	88563	3	1
[66]	852	SLT	88560	3	1
[67]	853	ISZERO	88557	3	1
[68]	854	PUSH2	88554	3	1
[69]	857	JUMPI	88551	10	1
[70]	858	DUP3	88541	3	1
[71]	859	CALLDATALOAD	88538	3	1
[72]	860	SWAP2	88535	3	1
[73]	861	PUSH8	88532	3	1
[74]	870	DUP4	88529	3	1
[75]	871	GT	88526	3	1
[76]	872	PUSH2	88523	3	1
[77]	875	JUMPI	88520	10	1
[78]	876	PUSH1	88510	3	1
[79]	878	DUP1	88507	3	1
[80]	879	DUP6	88504	3	1
[81]	880	ADD	88501	3	1
[82]	881	SWAP5	88498	3	1
[83]	882	DUP5	88495	3	1
[84]	883	PUSH1	88492	3	1
[85]	885	SHL	88489	3	1
[86]	886	ADD	88486	3	1
[87]	887	ADD	88483	3	1
[88]	888	GT	88480	3	1
[89]	889	PUSH2	88477	3	1
[90]	892	JUMPI	88474	10	1
[91]	893	JUMP	88464	8	1
[92]	164	JUMPDEST	88456	1	1
[93]	165	SWAP1	88455	3	1
[94]	166	PUSH1	88452	3	1
[95]	168	CALLDATALOAD	88449	3	1
[96]	169	PUSH8	88446	3	1
[97]	178	DUP2	88443	3	1
[98]	179	GT	88440	3	1
[99]	180	PUSH2	88437	3	1
[100]	183	JUMPI	88434	10	1
[101]	184	PUSH2	88424	3	1
[102]	187	SWAP1	88421	3	1
[103]	188	CALLDATASIZE	88418	2	1
[104]	189	SWAP1	88416	3	1
[105]	190	PUSH1	88413	3	1
[106]	192	ADD	88410	3	1
[107]	193	PUSH2	88407	3	1
[108]	196	JUMP	88404	8	1
[109]	845	JUMPDEST	88396	1	1
[110]	846	SWAP2	88395	3	1
[111]	847	DUP2	88392	3	1
[112]	848	PUSH1	88389	3	1
[113]	850	DUP5	88386	3	1
[114]	851	ADD	88383	3	1
[115]	852	SLT	88380	3	1
[116]	853	ISZERO	88377	3	1
[117]	854	PUSH2	88374	3	1
[118]	857	JUMPI	88371	10	1
[119]	858	DUP3	88361	3	1
[120]	859	CALLDATALOAD	88358	3	1
[121]	860	SWAP2	88355	3	1
[122]	861	PUSH8	88352	3	1
[123]	870	DUP4	88349	3	1
[124]	871	GT	88346	3	1
[125]	872	PUSH2	88343	3	1
[126]	875	JUMPI	88340	10	1
[127]	876	PUSH1	88330	3	1
[128]	878	DUP1	88327	3	1
[129]	879	DUP6	88324	3	1
[130]	880	ADD	88321	3	1
[131]	881	SWAP5	88318	3	1
[132]	882	DUP5	88315	3	1
[133]	883	PUSH1	88312	3	1
[134]	885	SHL	88309	3	1
[135]	886	ADD	88306	3	1
[136]	887	ADD	88303	3	1
[137]	888	GT	88300	3	1
[138]	889	PUSH2	88297	3	1
[139]	892	JUMPI	88294	10	1
[140]	893	JUMP	88284	8	1
[141]	197	JUMPDEST	88276	1	1
[142]	198	DUP5	88275	3	1
[143]	199	SLOAD	88272	2100	1
[144]	200	PUSH1	86172	3	1
[145]	202	PUSH1	86169	3	1
[146]	204	PUSH1	86166	3	1
[147]	206	SHL	86163	3	1
[148]	207	SUB	86160	3	1
[149]	208	AND	86157	3	1
[150]	209	SWAP3	86154	3	1
[151]	210	DUP4	86151	3	1
[152]	211	EXTCODESIZE	86148	2600	1
[153]	212	ISZERO	83548	3	1
[154]	213	PUSH2	83545	3	1
[155]	216	JUMPI	83542	10	1
[156]	217	SWAP4	83532	3	1
[157]	218	SWAP1	83529	3	1
[158]	219	DUP6	83526	3	1
[159]	220	SWAP3	83523	3	1
[160]	221	PUSH1	83520	3	1
[161]	223	MLOAD	83517	3	1
[162]	224	SWAP6	83514	3	1
[163]	225	DUP7	83511	3	1
[164]	226	SWAP4	83508	3	1
[165]	227	PUSH4	83505	3	1
[166]	232	PUSH1	83502	3	1
[167]	234	SHL	83499	3	1
[168]	235	DUP6	83496	3	1
[169]	236	MSTORE	83493	9	1
[170]	237	DUP1	83484	3	1
[171]	238	PUSH1	83481	3	1
[172]	240	DUP7	83478	3	1
[173]	241	ADD	83475	3	1
[174]	242	PUSH1	83472	3	1
[175]	244	CALLDATALOAD	83469	3	1
[176]	245	PUSH1	83466	3	1
[177]	247	DUP9	83463	3	1
[178]	248	ADD	83460	3	1
[179]	249	MSTORE	83457	6	1
[180]	250	PUSH1	83451	3	1
[181]	252	PUSH1	83448	3	1
[182]	254	DUP9	83445	3	1
[183]	255	ADD	83442	3	1
[184]	256	MSTORE	83439	6	1
[185]	257	MSTORE	83433	9	1
[186]	258	PUSH1	83424	3	1
[187]	260	DUP6	83421	3	1
[188]	261	ADD	83418	3	1
[189]	262	SWAP2	83415	3	1
[190]	263	SWAP1	83412	3	1
[191]	264	DUP7	83409	3	1
[192]	265	SWAP1	83406	3	1
[193]	266	JUMPDEST	83403	1	1
[194]	267	DUP1	83402	3	1
[195]	268	DUP3	83399	3	1
[196]	269	LT	83396	3	1
[197]	270	PUSH2	83393	3	1
[198]	273	JUMPI	83390	10	1
[199]	505	JUMPDEST	83380	1	1
[200]	506	SWAP4	83379	3	1
[201]	507	SWAP7	83376	3	1
[202]	508	POP	83373	2	1
[203]	509	SWAP4	83371	3	1
[204]	510	SWAP5	83368	3	1
[205]	511	POP	83365	2	1
[206]	512	SWAP3	83363	3	1
[207]	513	SWAP2	83360	3	1
[208]	514	SWAP1	83357	3	1
[209]	515	DUP4	83354	3	1
[210]	516	CALLDATALOAD	83351	3	1
[211]	517	PUSH1	83348	3	1
[212]	519	PUSH1	83345	3	1
[213]	521	PUSH1	83342	3	1
[214]	523	SHL	83339	3	1
[215]	524	SUB	83336	3	1
[216]	525	DUP2	83333	3	1
[217]	526	AND	83330	3	1
[218]	527	SWAP2	83327	3	1
[219]	528	SWAP1	83324	3	1
[220]	529	DUP3	83321	3	1
[221]	530	SWAP1	83318	3	1
[222]	531	SUB	83315	3	1
[223]	532	PUSH2	83312	3	1
[224]	535	JUMPI	83309	10	1
[225]	536	PUSH1	83299	3	1
[226]	538	DUP2	83296	3	1
[227]	539	PUSH1	83293	3	1
[228]	541	SWAP4	83290	3	1
[229]	542	DUP3	83287	3	1
[230]	543	SWAP4	83284	3	1
[231]	544	MSTORE	83281	6	1
[232]	545	ADD	83275	3	1
[233]	546	SWAP5	83272	3	1
[234]	547	ADD	83269	3	1
[235]	548	SWAP3	83266	3	1
[236]	549	ADD	83263	3	1
[237]	550	SWAP2	83260	3	1
[238]	551	DUP9	83257	3	1
[239]	552	SWAP6	83254	3	1
[240]	553	SWAP3	83251	3	1
[241]	554	DUP9	83248	3	1
[242]	555	SWAP6	83245	3	1
[243]	556	SWAP5	83242	3	1
[244]	557	SWAP3	83239	3	1
[245]	558	PUSH2	83236	3	1
[246]	561	JUMP	83233	8	1
[247]	266	JUMPDEST	83225	1	1
[248]	267	DUP1	83224	3	1
[249]	268	DUP3	83221	3	1
[250]	269	LT	83218	3	1
[251]	270	PUSH2	83215	3	1
[252]	273	JUMPI	83212	10	1
[253]	505	JUMPDEST	83202	1	1
[254]	506	SWAP4	83201	3	1
[255]	507	SWAP7	83198	3	1
[256]	508	POP	83195	2	1
[257]	509	SWAP4	83193	3	1
[258]	510	SWAP5	83190	3	1
[259]	511	POP	83187	2	1
[260]	512	SWAP3	83185	3	1
[261]	513	SWAP2	83182	3	1
[262]	514	SWAP1	83179	3	1
[263]	515	DUP4	83176	3	1
[264]	516	CALLDATALOAD	83173	3	1
[265]	517	PUSH1	83170	3	1
[266]	519	PUSH1	83167	3	1
[267]	521	PUSH1	83164	3	1
[268]	523	SHL	83161	3	1
[269]	524	SUB	83158	3	1
[270]	525	DUP2	83155	3	1
[271]	526	AND	83152	3	1
[272]	527	SWAP2	83149	3	1
[273]	528	SWAP1	83146	3	1
[274]	529	DUP3	83143	3	1
[275]	530	SWAP1	83140	3	1
[276]	531	SUB	83137	3	1
[277]	532	PUSH2	83134	3	1
[278]	535	JUMPI	83131	10	1
[279]	536	PUSH1	83121	3	1
[280]	538	DUP2	83118	3	1
[281]	539	PUSH1	83115	3	1
[282]	541	SWAP4	83112	3	1
[283]	542	DUP3	83109	3	1
[284]	543	SWAP4	83106	3	1
[285]	544	MSTORE	83103	6	1
[286]	545	ADD	83097	3	1
[287]	546	SWAP5	83094	3	1
[288]	547	ADD	83091	3	1
[289]	548	SWAP3	83088	3	1
[290]	549	ADD	83085	3	1
[291]	550	SWAP2	83082	3	1
[292]	551	DUP9	83079	3	1
[293]	552	SWAP6	83076	3	1
[294]	553	SWAP3	83073	3	1
[295]	554	DUP9	83070	3	1
[296]	555	SWAP6	83067	3	1
[297]	556	SWAP5	83064	3	1
[298]	557	SWAP3	83061	3	1
[299]	558	PUSH2	83058	3	1
[300]	561	JUMP	83055	8	1
[301]	266	JUMPDEST	83047	1	1
[302]	267	DUP1	83046	3	1
[303]	268	DUP3	83043	3	1
[304]	269	LT	83040	3	1
[305]	270	PUSH2	83037	3	1
[306]	273	JUMPI	83034	10	1
[307]	274	POP	83024	2	1
[308]	275	POP	83022	2	1
[309]	276	POP	83020	2	1
[310]	277	PUSH1	83018	3	1
[311]	279	NOT	83015	3	1
[312]	280	DUP5	83012	3	1
[313]	281	DUP3	83009	3	1
[314]	282	SUB	83006	3	1
[315]	283	ADD	83003	3	1
[316]	284	PUSH1	83000	3	1
[317]	286	DUP6	82997	3	1
[318]	287	ADD	82994	3	1
[319]	288	MSTORE	82991	3	1
[320]	289	DUP3	82988	3	1
[321]	290	DUP2	82985	3	1
[322]	291	MSTORE	82982	6	1
[323]	292	PUSH1	82976	3	1
[324]	294	DUP2	82973	3	1
[325]	295	ADD	82970	3	1
[326]	296	SWAP3	82967	3	1
[327]	297	PUSH1	82964	3	1
[328]	299	DUP2	82961	3	1
[329]	300	PUSH1	82958	3	1
[330]	302	SHL	82955	3	1
[331]	303	DUP4	82952	3	1
[332]	304	ADD	82949	3	1
[333]	305	ADD	82946	3	1
[334]	306	SWAP4	82943	3	1
[335]	307	DUP4	82940	3	1
[336]	308	DUP8	82937	3	1
[337]	309	SWAP4	82934	3	1
[338]	310	PUSH1	82931	3	1
[339]	312	NOT	82928	3	1
[340]	313	DUP3	82925	3	1
[341]	314	CALLDATASIZE	82922	2	1
[342]	315	SUB	82920	3	1
[343]	316	ADD	82917	3	1
[344]	317	SWAP1	82914	3	1
[345]	318	JUMPDEST	82911	1	1
[346]	319	DUP5	82910	3	1
[347]	320	DUP7	82907	3	1
[348]	321	LT	82904	3	1
[349]	322	PUSH2	82901	3	1
[350]	325	JUMPI	82898	10	1
[351]	382	JUMPDEST	82888	1	1
[352]	383	SWAP3	82887	3	1
[353]	384	SWAP6	82884	3	1
[354]	385	SWAP9	82881	3	1
[355]	386	POP	82878	2	1
[356]	387	SWAP3	82876	3	1
[357]	388	SWAP6	82873	3	1
[358]	389	SWAP1	82870	3	1
[359]	390	SWAP4	82867	3	1
[360]	391	SWAP7	82864	3	1
[361]	392	POP	82861	2	1
[362]	393	PUSH1	82859	3	1
[363]	395	NOT	82856	3	1
[364]	396	DUP3	82853	3	1
[365]	397	DUP3	82850	3	1
[366]	398	SUB	82847	3	1
[367]	399	ADD	82844	3	1
[368]	400	DUP6	82841	3	1
[369]	401	MSTORE	82838	6	1
[370]	402	DUP8	82832	3	1
[371]	403	CALLDATALOAD	82829	3	1
[372]	404	DUP4	82826	3	1
[373]	405	DUP2	82823	3	1
[374]	406	SLT	82820	3	1
[375]	407	ISZERO	82817	3	1
[376]	408	PUSH2	82814	3	1
[377]	411	JUMPI	82811	10	1
[378]	412	DUP5	82801	3	1
[379]	413	ADD	82798	3	1
[380]	414	DUP12	82795	3	1
[381]	415	PUSH1	82792	3	1
[382]	417	DUP3	82789	3	1
[383]	418	CALLDATALOAD	82786	3	1
[384]	419	SWAP3	82783	3	1
[385]	420	ADD	82780	3	1
[386]	421	PUSH8	82777	3	1
[387]	430	DUP4	82774	3	1
[388]	431	GT	82771	3	1
[389]	432	PUSH2	82768	3	1
[390]	435	JUMPI	82765	10	1
[391]	436	DUP3	82755	3	1
[392]	437	CALLDATASIZE	82752	2	1
[393]	438	SUB	82750	3	1
[394]	439	DUP2	82747	3	1
[395]	440	SGT	82744	3	1
[396]	441	PUSH2	82741	3	1
[397]	444	JUMPI	82738	10	1
[398]	445	DUP3	82728	3	1
[399]	446	DUP5	82725	3	1
[400]	447	MSTORE	82722	6	1
[401]	448	PUSH1	82716	3	1
[402]	450	SWAP4	82713	3	1
[403]	451	PUSH1	82710	3	1
[404]	453	SWAP4	82707	3	1
[405]	454	DUP5	82704	3	1
[406]	455	SWAP4	82701	3	1
[407]	456	DUP5	82698	3	1
[408]	457	SWAP4	82695	3	1
[409]	458	DUP3	82692	3	1
[410]	459	SWAP1	82689	3	1
[411]	460	DUP6	82686	3	1
[412]	461	DUP6	82683	3	1
[413]	462	ADD	82680	3	1
[414]	463	CALLDATACOPY	82677	58	1
[415]	464	DUP4	82619	3	1
[416]	465	DUP3	82616	3	1
[417]	466	DUP5	82613	3	1
[418]	467	ADD	82610	3	1
[419]	468	ADD	82607	3	1
[420]	469	MSTORE	82604	6	1
[421]	470	PUSH1	82598	3	1
[422]	472	DUP1	82595	3	1
[423]	473	NOT	82592	3	1
[424]	474	SWAP2	82589	3	1
[425]	475	ADD	82586	3	1
[426]	476	AND	82583	3	1
[427]	477	ADD	82580	3	1
[428]	478	ADD	82577	3	1
[429]	479	SWAP10	82574	3	1
[430]	480	ADD	82571	3	1
[431]	481	SWAP6	82568	3	1
[432]	482	ADD	82565	3	1
[433]	483	SWAP7	82562	3	1
[434]	484	ADD	82559	3	1
[435]	485	SWAP3	82556	3	1
[436]	486	DUP11	82553	3	1
[437]	487	SWAP8	82550	3	1
[438]	488	SWAP6	82547	3	1
[439]	489	SWAP3	82544	3	1
[440]	490	DUP11	82541	3	1
[441]	491	SWAP8	82538	3	1
[442]	492	SWAP3	82535	3	1
[443]	493	PUSH2	82532	3	1
[444]	496	JUMP	82529	8	1
[445]	318	JUMPDEST	82521	1	1
[446]	319	DUP5	82520	3	1
[447]	320	DUP7	82517	3	1
[448]	321	LT	82514	3	1
[449]	322	PUSH2	82511	3	1
[450]	325	JUMPI	82508	10	1
[451]	326	POP	82498	2	1
[452]	327	POP	82496	2	1
[453]	328	POP	82494	2	1
[454]	329	POP	82492	2	1
[455]	330	POP	82490	2	1
[456]	331	POP	82488	2	1
[457]	332	POP	82486	2	1
[458]	333	SWAP3	82484	3	1
[459]	334	DUP2	82481	3	1
[460]	335	DUP4	82478	3	1
[461]	336	DUP2	82475	3	1
[462]	337	DUP2	82472	3	1
[463]	338	SWAP7	82469	3	1
[464]	339	SUB	82466	3	1
[465]	340	SWAP3	82463	3	1
[466]	341	GAS	82460	2	1
[467]	342	CALL	82458	81172	1
[468]	0	PUSH1	81072	3	2
[469]	2	PUSH1	81069	3	2
[470]	4	MSTORE	81066	12	2
[471]	5	PUSH1	81054	3	2
[472]	7	CALLDATASIZE	81051	2	2
[473]	8	LT	81049	3	2
[474]	9	ISZERO	81046	3	2
[475]	10	PUSH2	81043	3	2
[476]	13	JUMPI	81040	10	2
[477]	27	JUMPDEST	81030	1	2
[478]	28	PUSH1	81029	3	2
[479]	30	DUP1	81026	3	2
[480]	31	CALLDATALOAD	81023	3	2
[481]	32	PUSH1	81020	3	2
[482]	34	SHR	81017	3	2
[483]	35	DUP1	81014	3	2
[484]	36	PUSH4	81011	3	2
[485]	41	EQ	81008	3	2
[486]	42	PUSH2	81005	3	2
[487]	45	JUMPI	81002	10	2
[488]	46	DUP1	80992	3	2
[489]	47	PUSH4	80989	3	2
[490]	52	EQ	80986	3	2
[491]	53	PUSH2	80983	3	2
[492]	56	JUMPI	80980	10	2
[493]	57	DUP1	80970	3	2
[494]	58	PUSH4	80967	3	2
[495]	63	EQ	80964	3	2
[496]	64	PUSH2	80961	3	2
[497]	67	JUMPI	80958	10	2
[498]	68	DUP1	80948	3	2
[499]	69	PUSH4	80945	3	2
[500]	74	EQ	80942	3	2
[501]	75	PUSH2	80939	3	2
[502]	78	JUMPI	80936	10	2
[503]	79	DUP1	80926	3	2
[504]	80	PUSH4	80923	3	2
[505]	85	EQ	80920	3	2
[506]	86	PUSH2	80917	3	2
[507]	89	JUMPI	80914	10	2
[508]	90	DUP1	80904	3	2
[509]	91	PUSH4	80901	3	2
[510]	96	EQ	80898	3	2
[511]	97	PUSH2	80895	3	2
[512]	100	JUMPI	80892	10	2
[513]	101	DUP1	80882	3	2
[514]	102	PUSH4	80879	3	2
[515]	107	EQ	80876	3	2
[516]	108	PUSH2	80873	3	2
[517]	111	JUMPI	80870	10	2
[518]	112	DUP1	80860	3	2
[519]	113	PUSH4	80857	3	2
[520]	118	EQ	80854	3	2
[521]	119	PUSH2	80851	3	2
[522]	122	JUMPI	80848	10	2
[523]	123	DUP1	80838	3	2
[524]	124	PUSH4	80835	3	2
[525]	129	EQ	80832	3	2
[526]	130	PUSH2	80829	3	2
[527]	133	JUMPI	80826	10	2
[528]	134	DUP1	80816	3	2
[529]	135	PUSH4	80813	3	2
[530]	140	EQ	80810	3	2
[531]	141	PUSH2	80807	3	2
[532]	144	JUMPI	80804	10	2
[533]	145	DUP1	80794	3	2
[534]	146	PUSH4	80791	3	2
[535]	151	EQ	80788	3	2
[536]	152	PUSH2	80785	3	2
[537]	155	JUMPI	80782	10	2
[538]	156	DUP1	80772	3	2
[539]	157	PUSH4	80769	3	2
[540]	162	EQ	80766	3	2
[541]	163	PUSH2	80763	3	2
[542]	166	JUMPI	80760	10	2
[543]	5848	JUMPDEST	80750	1	2
[544]	5849	POP	80749	2	2
[545]	5850	CALLVALUE	80747	2	2
[546]	5851	PUSH2	80745	3	2
[547]	5854	JUMPI	80742	10	2
[548]	5855	PUSH2	80732	3	2
[549]	5858	PUSH2	80729	3	2
[550]	5861	CALLDATASIZE	80726	2	2
[551]	5862	PUSH2	80724	3	2
[552]	5865	JUMP	80721	8	2
[553]	8165	JUMPDEST	80713	1	2
[554]	8166	SWAP1	80712	3	2
[555]	8167	PUSH1	80709	3	2
[556]	8169	PUSH1	80706	3	2
[557]	8171	NOT	80703	3	2
[558]	8172	DUP4	80700	3	2
[559]	8173	ADD	80697	3	2
[560]	8174	SLT	80694	3	2
[561]	8175	PUSH2	80691	3	2
[562]	8178	JUMPI	80688	10	2
[563]	8179	PUSH1	80678	3	2
[564]	8181	CALLDATALOAD	80675	3	2
[565]	8182	SWAP2	80672	3	2
[566]	8183	PUSH1	80669	3	2
[567]	8185	CALLDATALOAD	80666	3	2
[568]	8186	PUSH1	80663	3	2
[569]	8188	PUSH1	80660	3	2
[570]	8190	PUSH1	80657	3	2
[571]	8192	SHL	80654	3	2
[572]	8193	SUB	80651	3	2
[573]	8194	DUP2	80648	3	2
[574]	8195	GT	80645	3	2
[575]	8196	PUSH2	80642	3	2
[576]	8199	JUMPI	80639	10	2
[577]	8200	DUP2	80629	3	2
[578]	8201	PUSH2	80626	3	2
[579]	8204	SWAP2	80623	3	2
[580]	8205	PUSH1	80620	3	2
[581]	8207	ADD	80617	3	2
[582]	8208	PUSH2	80614	3	2
[583]	8211	JUMP	80611	8	2
[584]	8117	JUMPDEST	80603	1	2
[585]	8118	SWAP2	80602	3	2
[586]	8119	DUP2	80599	3	2
[587]	8120	PUSH1	80596	3	2
[588]	8122	DUP5	80593	3	2
[589]	8123	ADD	80590	3	2
[590]	8124	SLT	80587	3	2
[591]	8125	ISZERO	80584	3	2
[592]	8126	PUSH2	80581	3	2
[593]	8129	JUMPI	80578	10	2
[594]	8130	DUP3	80568	3	2
[595]	8131	CALLDATALOAD	80565	3	2
[596]	8132	SWAP2	80562	3	2
[597]	8133	PUSH1	80559	3	2
[598]	8135	PUSH1	80556	3	2
[599]	8137	PUSH1	80553	3	2
[600]	8139	SHL	80550	3	2
[601]	8140	SUB	80547	3	2
[602]	8141	DUP4	80544	3	2
[603]	8142	GT	80541	3	2
[604]	8143	PUSH2	80538	3	2
[605]	8146	JUMPI	80535	10	2
[606]	8147	PUSH1	80525	3	2
[607]	8149	DUP1	80522	3	2
[608]	8150	DUP6	80519	3	2
[609]	8151	ADD	80516	3	2
[610]	8152	SWAP5	80513	3	2
[611]	8153	DUP5	80510	3	2
[612]	8154	PUSH1	80507	3	2
[613]	8156	SHL	80504	3	2
[614]	8157	ADD	80501	3	2
[615]	8158	ADD	80498	3	2
[616]	8159	GT	80495	3	2
[617]	8160	PUSH2	80492	3	2
[618]	8163	JUMPI	80489	10	2
[619]	8164	JUMP	80479	8	2
[620]	8212	JUMPDEST	80471	1	2
[621]	8213	SWAP3	80470	3	2
[622]	8214	SWAP1	80467	3	2
[623]	8215	SWAP3	80464	3	2
[624]	8216	SWAP2	80461	3	2
[625]	8217	PUSH1	80458	3	2
[626]	8219	CALLDATALOAD	80455	3	2
[627]	8220	SWAP1	80452	3	2
[628]	8221	PUSH1	80449	3	2
[629]	8223	PUSH1	80446	3	2
[630]	8225	PUSH1	80443	3	2
[631]	8227	SHL	80440	3	2
[632]	8228	SUB	80437	3	2
[633]	8229	DUP3	80434	3	2
[634]	8230	GT	80431	3	2
[635]	8231	PUSH2	80428	3	2
[636]	8234	JUMPI	80425	10	2
[637]	8235	PUSH2	80415	3	2
[638]	8238	SWAP2	80412	3	2
[639]	8239	PUSH1	80409	3	2
[640]	8241	ADD	80406	3	2
[641]	8242	PUSH2	80403	3	2
[642]	8245	JUMP	80400	8	2
[643]	8117	JUMPDEST	80392	1	2
[644]	8118	SWAP2	80391	3	2
[645]	8119	DUP2	80388	3	2
[646]	8120	PUSH1	80385	3	2
[647]	8122	DUP5	80382	3	2
[648]	8123	ADD	80379	3	2
[649]	8124	SLT	80376	3	2
[650]	8125	ISZERO	80373	3	2
[651]	8126	PUSH2	80370	3	2
[652]	8129	JUMPI	80367	10	2
[653]	8130	DUP3	80357	3	2
[654]	8131	CALLDATALOAD	80354	3	2
[655]	8132	SWAP2	80351	3	2
[656]	8133	PUSH1	80348	3	2
[657]	8135	PUSH1	80345	3	2
[658]	8137	PUSH1	80342	3	2
[659]	8139	SHL	80339	3	2
[660]	8140	SUB	80336	3	2
[661]	8141	DUP4	80333	3	2
[662]	8142	GT	80330	3	2
[663]	8143	PUSH2	80327	3	2
[664]	8146	JUMPI	80324	10	2
[665]	8147	PUSH1	80314	3	2
[666]	8149	DUP1	80311	3	2
[667]	8150	DUP6	80308	3	2
[668]	8151	ADD	80305	3	2
[669]	8152	SWAP5	80302	3	2
[670]	8153	DUP5	80299	3	2
[671]	8154	PUSH1	80296	3	2
[672]	8156	SHL	80293	3	2
[673]	8157	ADD	80290	3	2
[674]	8158	ADD	80287	3	2
[675]	8159	GT	80284	3	2
[676]	8160	PUSH2	80281	3	2
[677]	8163	JUMPI	80278	10	2
[678]	8164	JUMP	80268	8	2
[679]	8246	JUMPDEST	80260	1	2
[680]	8247	SWAP1	80259	3	2
[681]	8248	SWAP2	80256	3	2
[682]	8249	JUMP	80253	8	2
[683]	5866	JUMPDEST	80245	1	2
[684]	5867	DUP5	80244	3	2
[685]	5868	DUP8	80241	3	2
[686]	5869	MSTORE	80238	3	2
[687]	5870	PUSH1	80235	3	2
[688]	5872	PUSH1	80232	3	2
[689]	5874	MSTORE	80229	3	2
[690]	5875	PUSH1	80226	3	2
[691]	5877	DUP8	80223	3	2
[692]	5878	KECCAK256	80220	42	2
[693]	5879	SWAP4	80178	3	2
[694]	5880	SWAP6	80175	3	2
[695]	5881	SWAP3	80172	3	2
[696]	5882	SWAP5	80169	3	2
[697]	5883	SWAP3	80166	3	2
[698]	5884	SWAP2	80163	3	2
[699]	5885	PUSH2	80160	3	2
[700]	5888	DUP6	80157	3	2
[701]	5889	PUSH2	80154	3	2
[702]	5892	JUMP	80151	8	2
[703]	12940	JUMPDEST	80143	1	2
[704]	12941	SLOAD	80142	2100	2
[705]	12942	PUSH5	78042	3	2
[706]	12948	DUP2	78039	3	2
[707]	12949	PUSH1	78036	3	2
[708]	12951	SHR	78033	3	2
[709]	12952	AND	78030	3	2
[710]	12953	TIMESTAMP	78027	2	2
[711]	12954	LT	78025	3	2
[712]	12955	SWAP1	78022	3	2
[713]	12956	DUP2	78019	3	2
[714]	12957	ISZERO	78016	3	2
[715]	12958	PUSH2	78013	3	2
[716]	12961	JUMPI	78010	10	2
[717]	12986	JUMPDEST	78000	1	2
[718]	12987	PUSH5	77999	3	2
[719]	12993	SWAP2	77996	3	2
[720]	12994	POP	77993	2	2
[721]	12995	PUSH1	77991	3	2
[722]	12997	SHR	77988	3	2
[723]	12998	AND	77985	3	2
[724]	12999	TIMESTAMP	77982	2	2
[725]	13000	GT	77980	3	2
[726]	13001	CODESIZE	77977	2	2
[727]	13002	PUSH2	77975	3	2
[728]	13005	JUMP	77972	8	2
[729]	12962	JUMPDEST	77964	1	2
[730]	12963	POP	77963	2	2
[731]	12964	PUSH2	77961	3	2
[732]	12967	JUMPI	77958	10	2
[733]	12968	JUMP	77948	8	2
[734]	5893	JUMPDEST	77940	1	2
[735]	5894	PUSH2	77939	3	2
[736]	5897	JUMP	77936	8	2
[737]	12626	JUMPDEST	77928	1	2
[738]	12627	PUSH1	77927	3	2
[739]	12629	MLOAD	77924	3	2
[740]	12630	PUSH4	77921	3	2
[741]	12635	PUSH1	77918	3	2
[742]	12637	SHL	77915	3	2
[743]	12638	DUP2	77912	3	2
[744]	12639	MSTORE	77909	9	2
[745]	12640	PUSH1	77900	3	2
[746]	12642	PUSH1	77897	3	2
[747]	12644	DUP3	77894	3	2
[748]	12645	ADD	77891	3	2
[749]	12646	DUP2	77888	3	2
[750]	12647	SWAP1	77885	3	2
[751]	12648	MSTORE	77882	6	2
[752]	12649	PUSH1	77876	3	2
[753]	12651	SWAP4	77873	3	2
[754]	12652	PUSH32	77870	3	2
[755]	12685	PUSH1	77867	3	2
[756]	12687	PUSH1	77864	3	2
[757]	12689	PUSH1	77861	3	2
[758]	12691	SHL	77858	3	2
[759]	12692	SUB	77855	3	2
[760]	12693	AND	77852	3	2
[761]	12694	SWAP3	77849	3	2
[762]	12695	SWAP1	77846	3	2
[763]	12696	SWAP2	77843	3	2
[764]	12697	DUP2	77840	3	2
[765]	12698	DUP1	77837	3	2
[766]	12699	PUSH2	77834	3	2
[767]	12702	PUSH1	77831	3	2
[768]	12704	DUP3	77828	3	2
[769]	12705	ADD	77825	3	2
[770]	12706	DUP7	77822	3	2
[771]	12707	DUP10	77819	3	2
[772]	12708	PUSH2	77816	3	2
[773]	12711	JUMP	77813	8	2
[774]	12336	JUMPDEST	77805	1	2
[775]	12337	SWAP1	77804	3	2
[776]	12338	PUSH1	77801	3	2
[777]	12340	DUP4	77798	3	2
[778]	12341	DUP3	77795	3	2
[779]	12342	DUP2	77792	3	2
[780]	12343	MSTORE	77789	6	2
[781]	12344	ADD	77783	3	2
[782]	12345	SWAP1	77780	3	2
[783]	12346	PUSH1	77777	3	2
[784]	12348	DUP2	77774	3	2
[785]	12349	PUSH1	77771	3	2
[786]	12351	SHL	77768	3	2
[787]	12352	DUP6	77765	3	2
[788]	12353	ADD	77762	3	2
[789]	12354	ADD	77759	3	2
[790]	12355	SWAP4	77756	3	2
[791]	12356	DUP4	77753	3	2
[792]	12357	PUSH1	77750	3	2
[793]	12359	SWAP2	77747	3	2
[794]	12360	JUMPDEST	77744	1	2
[795]	12361	DUP4	77743	3	2
[796]	12362	DUP4	77740	3	2
[797]	12363	LT	77737	3	2
[798]	12364	PUSH2	77734	3	2
[799]	12367	JUMPI	77731	10	2
[800]	12376	JUMPDEST	77721	1	2
[801]	12377	SWAP1	77720	3	2
[802]	12378	SWAP2	77717	3	2
[803]	12379	SWAP3	77714	3	2
[804]	12380	SWAP4	77711	3	2
[805]	12381	SWAP5	77708	3	2
[806]	12382	SWAP6	77705	3	2
[807]	12383	PUSH1	77702	3	2
[808]	12385	NOT	77699	3	2
[809]	12386	DUP3	77696	3	2
[810]	12387	DUP3	77693	3	2
[811]	12388	SUB	77690	3	2
[812]	12389	ADD	77687	3	2
[813]	12390	DUP7	77684	3	2
[814]	12391	MSTORE	77681	6	2
[815]	12392	DUP7	77675	3	2
[816]	12393	CALLDATALOAD	77672	3	2
[817]	12394	PUSH1	77669	3	2
[818]	12396	NOT	77666	3	2
[819]	12397	DUP5	77663	3	2
[820]	12398	CALLDATASIZE	77660	2	2
[821]	12399	SUB	77658	3	2
[822]	12400	ADD	77655	3	2
[823]	12401	DUP2	77652	3	2
[824]	12402	SLT	77649	3	2
[825]	12403	ISZERO	77646	3	2
[826]	12404	PUSH2	77643	3	2
[827]	12407	JUMPI	77640	10	2
[828]	12408	DUP4	77630	3	2
[829]	12409	ADD	77627	3	2
[830]	12410	SWAP1	77624	3	2
[831]	12411	PUSH1	77621	3	2
[832]	12413	DUP3	77618	3	2
[833]	12414	CALLDATALOAD	77615	3	2
[834]	12415	SWAP3	77612	3	2
[835]	12416	ADD	77609	3	2
[836]	12417	SWAP2	77606	3	2
[837]	12418	PUSH1	77603	3	2
[838]	12420	PUSH1	77600	3	2
[839]	12422	PUSH1	77597	3	2
[840]	12424	SHL	77594	3	2
[841]	12425	SUB	77591	3	2
[842]	12426	DUP2	77588	3	2
[843]	12427	GT	77585	3	2
[844]	12428	PUSH2	77582	3	2
[845]	12431	JUMPI	77579	10	2
[846]	12432	DUP1	77569	3	2
[847]	12433	CALLDATASIZE	77566	2	2
[848]	12434	SUB	77564	3	2
[849]	12435	DUP4	77561	3	2
[850]	12436	SGT	77558	3	2
[851]	12437	PUSH2	77555	3	2
[852]	12440	JUMPI	77552	10	2
[853]	12441	PUSH1	77542	3	2
[854]	12443	DUP3	77539	3	2
[855]	12444	DUP3	77536	3	2
[856]	12445	DUP1	77533	3	2
[857]	12446	PUSH1	77530	3	2
[858]	12448	SWAP7	77527	3	2
[859]	12449	DUP5	77524	3	2
[860]	12450	SWAP7	77521	3	2
[861]	12451	SWAP6	77518	3	2
[862]	12452	DUP6	77515	3	2
[863]	12453	SWAP7	77512	3	2
[864]	12454	MSTORE	77509	6	2
[865]	12455	DUP5	77503	3	2
[866]	12456	DUP5	77500	3	2
[867]	12457	ADD	77497	3	2
[868]	12458	CALLDATACOPY	77494	57	2
[869]	12459	PUSH1	77437	3	2
[870]	12461	DUP3	77434	3	2
[871]	12462	DUP3	77431	3	2
[872]	12463	ADD	77428	3	2
[873]	12464	DUP5	77425	3	2
[874]	12465	ADD	77422	3	2
[875]	12466	MSTORE	77419	6	2
[876]	12467	PUSH1	77413	3	2
[877]	12469	ADD	77410	3	2
[878]	12470	PUSH1	77407	3	2
[879]	12472	NOT	77404	3	2
[880]	12473	AND	77401	3	2
[881]	12474	ADD	77398	3	2
[882]	12475	ADD	77395	3	2
[883]	12476	SWAP9	77392	3	2
[884]	12477	ADD	77389	3	2
[885]	12478	SWAP7	77386	3	2
[886]	12479	ADD	77383	3	2
[887]	12480	SWAP5	77380	3	2
[888]	12481	SWAP4	77377	3	2
[889]	12482	ADD	77374	3	2
[890]	12483	SWAP2	77371	3	2
[891]	12484	SWAP1	77368	3	2
[892]	12485	PUSH2	77365	3	2
[893]	12488	JUMP	77362	8	2
[894]	12360	JUMPDEST	77354	1	2
[895]	12361	DUP4	77353	3	2
[896]	12362	DUP4	77350	3	2
[897]	12363	LT	77347	3	2
[898]	12364	PUSH2	77344	3	2
[899]	12367	JUMPI	77341	10	2
[900]	12368	POP	77331	2	2
[901]	12369	POP	77329	2	2
[902]	12370	POP	77327	2	2
[903]	12371	POP	77325	2	2
[904]	12372	POP	77323	2	2
[905]	12373	POP	77321	2	2
[906]	12374	SWAP1	77319	3	2
[907]	12375	JUMP	77316	8	2
[908]	12712	JUMPDEST	77308	1	2
[909]	12713	SUB	77307	3	2
[910]	12714	DUP2	77304	3	2
[911]	12715	DUP7	77301	3	2
[912]	12716	GAS	77298	2	2
[913]	12717	STATICCALL	77296	76129	2
[914]	0	PUSH1	73529	3	3
[915]	2	PUSH1	73526	3	3
[916]	4	MSTORE	73523	12	3
[917]	5	PUSH1	73511	3	3
[918]	7	CALLDATASIZE	73508	2	3
[919]	8	LT	73506	3	3
[920]	9	PUSH2	73503	3	3
[921]	12	JUMPI	73500	10	3
[922]	13	PUSH1	73490	3	3
[923]	15	CALLDATALOAD	73487	3	3
[924]	16	PUSH1	73484	3	3
[925]	18	SHR	73481	3	3
[926]	19	DUP1	73478	3	3
[927]	20	PUSH4	73475	3	3
[928]	25	GT	73472	3	3
[929]	26	PUSH2	73469	3	3
[930]	29	JUMPI	73466	10	3
[931]	30	DUP1	73456	3	3
[932]	31	PUSH4	73453	3	3
[933]	36	GT	73450	3	3
[934]	37	PUSH2	73447	3	3
[935]	40	JUMPI	73444	10	3
[936]	41	DUP1	73434	3	3
[937]	42	PUSH4	73431	3	3
[938]	47	EQ	73428	3	3
[939]	48	PUSH2	73425	3	3
[940]	51	JUMPI	73422	10	3
[941]	52	DUP1	73412	3	3
[942]	53	PUSH4	73409	3	3
[943]	58	EQ	73406	3	3
[944]	59	PUSH2	73403	3	3
[945]	62	JUMPI	73400	10	3
[946]	646	JUMPDEST	73390	1	3
[947]	647	CALLVALUE	73389	2	3
[948]	648	DUP1	73387	3	3
[949]	649	ISZERO	73384	3	3
[950]	650	PUSH2	73381	3	3
[951]	653	JUMPI	73378	10	3
[952]	658	JUMPDEST	73368	1	3
[953]	659	POP	73367	2	3
[954]	660	PUSH2	73365	3	3
[955]	663	PUSH2	73362	3	3
[956]	666	CALLDATASIZE	73359	2	3
[957]	667	PUSH1	73357	3	3
[958]	669	PUSH2	73354	3	3
[959]	672	JUMP	73351	8	3
[960]	3912	JUMPDEST	73343	1	3
[961]	3913	PUSH1	73342	3	3
[962]	3915	DUP1	73339	3	3
[963]	3916	PUSH1	73336	3	3
[964]	3918	DUP4	73333	3	3
[965]	3919	DUP6	73330	3	3
[966]	3920	SUB	73327	3	3
[967]	3921	SLT	73324	3	3
[968]	3922	ISZERO	73321	3	3
[969]	3923	PUSH2	73318	3	3
[970]	3926	JUMPI	73315	10	3
[971]	3931	JUMPDEST	73305	1	3
[972]	3932	DUP3	73304	3	3
[973]	3933	CALLDATALOAD	73301	3	3
[974]	3934	PUSH1	73298	3	3
[975]	3936	PUSH1	73295	3	3
[976]	3938	PUSH1	73292	3	3
[977]	3940	SHL	73289	3	3
[978]	3941	SUB	73286	3	3
[979]	3942	DUP2	73283	3	3
[980]	3943	GT	73280	3	3
[981]	3944	ISZERO	73277	3	3
[982]	3945	PUSH2	73274	3	3
[983]	3948	JUMPI	73271	10	3
[984]	3953	JUMPDEST	73261	1	3
[985]	3954	PUSH2	73260	3	3
[986]	3957	DUP6	73257	3	3
[987]	3958	DUP3	73254	3	3
[988]	3959	DUP7	73251	3	3
[989]	3960	ADD	73248	3	3
[990]	3961	PUSH2	73245	3	3
[991]	3964	JUMP	73242	8	3
[992]	3084	JUMPDEST	73234	1	3
[993]	3085	PUSH1	73233	3	3
[994]	3087	DUP1	73230	3	3
[995]	3088	DUP4	73227	3	3
[996]	3089	PUSH1	73224	3	3
[997]	3091	DUP5	73221	3	3
[998]	3092	ADD	73218	3	3
[999]	3093	SLT	73215	3	3
[1000]	3094	PUSH2	73212	3	3