Geth VM Trace Transaction

GETH Trace for Txn Hash 0xa9bf3e4c21b9789d598a4ede386979c09d97e8307bdbd2038cb56142410d6d5b

Contract transaction successfully completed.

Raw traces

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

Step	PC	Operation	Gas	GasCost	Depth
[1]	0	PUSH1	38111	3	1
[2]	2	DUP1	38108	3	1
[3]	3	PUSH1	38105	3	1
[4]	5	MSTORE	38102	12	1
[5]	6	PUSH1	38090	3	1
[6]	8	CALLDATASIZE	38087	2	1
[7]	9	LT	38085	3	1
[8]	10	ISZERO	38082	3	1
[9]	11	PUSH2	38079	3	1
[10]	14	JUMPI	38076	10	1
[11]	29	JUMPDEST	38066	1	1
[12]	30	PUSH1	38065	3	1
[13]	32	SWAP1	38062	3	1
[14]	33	DUP2	38059	3	1
[15]	34	DUP1	38056	3	1
[16]	35	CALLDATALOAD	38053	3	1
[17]	36	PUSH1	38050	3	1
[18]	38	SHR	38047	3	1
[19]	39	SWAP2	38044	3	1
[20]	40	DUP3	38041	3	1
[21]	41	PUSH4	38038	3	1
[22]	46	EQ	38035	3	1
[23]	47	PUSH2	38032	3	1
[24]	50	JUMPI	38029	10	1
[25]	51	POP	38019	2	1
[26]	52	POP	38017	2	1
[27]	53	DUP1	38015	3	1
[28]	54	PUSH4	38012	3	1
[29]	59	EQ	38009	3	1
[30]	60	PUSH2	38006	3	1
[31]	63	JUMPI	38003	10	1
[32]	114	JUMPDEST	37993	1	1
[33]	115	POP	37992	2	1
[34]	116	CALLVALUE	37990	2	1
[35]	117	PUSH2	37988	3	1
[36]	120	JUMPI	37985	10	1
[37]	121	PUSH1	37975	3	1
[38]	123	CALLDATASIZE	37972	2	1
[39]	124	PUSH1	37970	3	1
[40]	126	NOT	37967	3	1
[41]	127	ADD	37964	3	1
[42]	128	SLT	37961	3	1
[43]	129	PUSH2	37958	3	1
[44]	132	JUMPI	37955	10	1
[45]	133	PUSH1	37945	3	1
[46]	135	CALLDATALOAD	37942	3	1
[47]	136	PUSH8	37939	3	1
[48]	145	DUP2	37936	3	1
[49]	146	GT	37933	3	1
[50]	147	PUSH2	37930	3	1
[51]	150	JUMPI	37927	10	1
[52]	151	PUSH2	37917	3	1
[53]	154	SWAP1	37914	3	1
[54]	155	CALLDATASIZE	37911	2	1
[55]	156	SWAP1	37909	3	1
[56]	157	PUSH1	37906	3	1
[57]	159	ADD	37903	3	1
[58]	160	PUSH2	37900	3	1
[59]	163	JUMP	37897	8	1
[60]	845	JUMPDEST	37889	1	1
[61]	846	SWAP2	37888	3	1
[62]	847	DUP2	37885	3	1
[63]	848	PUSH1	37882	3	1
[64]	850	DUP5	37879	3	1
[65]	851	ADD	37876	3	1
[66]	852	SLT	37873	3	1
[67]	853	ISZERO	37870	3	1
[68]	854	PUSH2	37867	3	1
[69]	857	JUMPI	37864	10	1
[70]	858	DUP3	37854	3	1
[71]	859	CALLDATALOAD	37851	3	1
[72]	860	SWAP2	37848	3	1
[73]	861	PUSH8	37845	3	1
[74]	870	DUP4	37842	3	1
[75]	871	GT	37839	3	1
[76]	872	PUSH2	37836	3	1
[77]	875	JUMPI	37833	10	1
[78]	876	PUSH1	37823	3	1
[79]	878	DUP1	37820	3	1
[80]	879	DUP6	37817	3	1
[81]	880	ADD	37814	3	1
[82]	881	SWAP5	37811	3	1
[83]	882	DUP5	37808	3	1
[84]	883	PUSH1	37805	3	1
[85]	885	SHL	37802	3	1
[86]	886	ADD	37799	3	1
[87]	887	ADD	37796	3	1
[88]	888	GT	37793	3	1
[89]	889	PUSH2	37790	3	1
[90]	892	JUMPI	37787	10	1
[91]	893	JUMP	37777	8	1
[92]	164	JUMPDEST	37769	1	1
[93]	165	SWAP1	37768	3	1
[94]	166	PUSH1	37765	3	1
[95]	168	CALLDATALOAD	37762	3	1
[96]	169	PUSH8	37759	3	1
[97]	178	DUP2	37756	3	1
[98]	179	GT	37753	3	1
[99]	180	PUSH2	37750	3	1
[100]	183	JUMPI	37747	10	1
[101]	184	PUSH2	37737	3	1
[102]	187	SWAP1	37734	3	1
[103]	188	CALLDATASIZE	37731	2	1
[104]	189	SWAP1	37729	3	1
[105]	190	PUSH1	37726	3	1
[106]	192	ADD	37723	3	1
[107]	193	PUSH2	37720	3	1
[108]	196	JUMP	37717	8	1
[109]	845	JUMPDEST	37709	1	1
[110]	846	SWAP2	37708	3	1
[111]	847	DUP2	37705	3	1
[112]	848	PUSH1	37702	3	1
[113]	850	DUP5	37699	3	1
[114]	851	ADD	37696	3	1
[115]	852	SLT	37693	3	1
[116]	853	ISZERO	37690	3	1
[117]	854	PUSH2	37687	3	1
[118]	857	JUMPI	37684	10	1
[119]	858	DUP3	37674	3	1
[120]	859	CALLDATALOAD	37671	3	1
[121]	860	SWAP2	37668	3	1
[122]	861	PUSH8	37665	3	1
[123]	870	DUP4	37662	3	1
[124]	871	GT	37659	3	1
[125]	872	PUSH2	37656	3	1
[126]	875	JUMPI	37653	10	1
[127]	876	PUSH1	37643	3	1
[128]	878	DUP1	37640	3	1
[129]	879	DUP6	37637	3	1
[130]	880	ADD	37634	3	1
[131]	881	SWAP5	37631	3	1
[132]	882	DUP5	37628	3	1
[133]	883	PUSH1	37625	3	1
[134]	885	SHL	37622	3	1
[135]	886	ADD	37619	3	1
[136]	887	ADD	37616	3	1
[137]	888	GT	37613	3	1
[138]	889	PUSH2	37610	3	1
[139]	892	JUMPI	37607	10	1
[140]	893	JUMP	37597	8	1
[141]	197	JUMPDEST	37589	1	1
[142]	198	DUP5	37588	3	1
[143]	199	SLOAD	37585	2100	1
[144]	200	PUSH1	35485	3	1
[145]	202	PUSH1	35482	3	1
[146]	204	PUSH1	35479	3	1
[147]	206	SHL	35476	3	1
[148]	207	SUB	35473	3	1
[149]	208	AND	35470	3	1
[150]	209	SWAP3	35467	3	1
[151]	210	DUP4	35464	3	1
[152]	211	EXTCODESIZE	35461	2600	1
[153]	212	ISZERO	32861	3	1
[154]	213	PUSH2	32858	3	1
[155]	216	JUMPI	32855	10	1
[156]	217	SWAP4	32845	3	1
[157]	218	SWAP1	32842	3	1
[158]	219	DUP6	32839	3	1
[159]	220	SWAP3	32836	3	1
[160]	221	PUSH1	32833	3	1
[161]	223	MLOAD	32830	3	1
[162]	224	SWAP6	32827	3	1
[163]	225	DUP7	32824	3	1
[164]	226	SWAP4	32821	3	1
[165]	227	PUSH4	32818	3	1
[166]	232	PUSH1	32815	3	1
[167]	234	SHL	32812	3	1
[168]	235	DUP6	32809	3	1
[169]	236	MSTORE	32806	9	1
[170]	237	DUP1	32797	3	1
[171]	238	PUSH1	32794	3	1
[172]	240	DUP7	32791	3	1
[173]	241	ADD	32788	3	1
[174]	242	PUSH1	32785	3	1
[175]	244	CALLDATALOAD	32782	3	1
[176]	245	PUSH1	32779	3	1
[177]	247	DUP9	32776	3	1
[178]	248	ADD	32773	3	1
[179]	249	MSTORE	32770	6	1
[180]	250	PUSH1	32764	3	1
[181]	252	PUSH1	32761	3	1
[182]	254	DUP9	32758	3	1
[183]	255	ADD	32755	3	1
[184]	256	MSTORE	32752	6	1
[185]	257	MSTORE	32746	9	1
[186]	258	PUSH1	32737	3	1
[187]	260	DUP6	32734	3	1
[188]	261	ADD	32731	3	1
[189]	262	SWAP2	32728	3	1
[190]	263	SWAP1	32725	3	1
[191]	264	DUP7	32722	3	1
[192]	265	SWAP1	32719	3	1
[193]	266	JUMPDEST	32716	1	1
[194]	267	DUP1	32715	3	1
[195]	268	DUP3	32712	3	1
[196]	269	LT	32709	3	1
[197]	270	PUSH2	32706	3	1
[198]	273	JUMPI	32703	10	1
[199]	505	JUMPDEST	32693	1	1
[200]	506	SWAP4	32692	3	1
[201]	507	SWAP7	32689	3	1
[202]	508	POP	32686	2	1
[203]	509	SWAP4	32684	3	1
[204]	510	SWAP5	32681	3	1
[205]	511	POP	32678	2	1
[206]	512	SWAP3	32676	3	1
[207]	513	SWAP2	32673	3	1
[208]	514	SWAP1	32670	3	1
[209]	515	DUP4	32667	3	1
[210]	516	CALLDATALOAD	32664	3	1
[211]	517	PUSH1	32661	3	1
[212]	519	PUSH1	32658	3	1
[213]	521	PUSH1	32655	3	1
[214]	523	SHL	32652	3	1
[215]	524	SUB	32649	3	1
[216]	525	DUP2	32646	3	1
[217]	526	AND	32643	3	1
[218]	527	SWAP2	32640	3	1
[219]	528	SWAP1	32637	3	1
[220]	529	DUP3	32634	3	1
[221]	530	SWAP1	32631	3	1
[222]	531	SUB	32628	3	1
[223]	532	PUSH2	32625	3	1
[224]	535	JUMPI	32622	10	1
[225]	536	PUSH1	32612	3	1
[226]	538	DUP2	32609	3	1
[227]	539	PUSH1	32606	3	1
[228]	541	SWAP4	32603	3	1
[229]	542	DUP3	32600	3	1
[230]	543	SWAP4	32597	3	1
[231]	544	MSTORE	32594	6	1
[232]	545	ADD	32588	3	1
[233]	546	SWAP5	32585	3	1
[234]	547	ADD	32582	3	1
[235]	548	SWAP3	32579	3	1
[236]	549	ADD	32576	3	1
[237]	550	SWAP2	32573	3	1
[238]	551	DUP9	32570	3	1
[239]	552	SWAP6	32567	3	1
[240]	553	SWAP3	32564	3	1
[241]	554	DUP9	32561	3	1
[242]	555	SWAP6	32558	3	1
[243]	556	SWAP5	32555	3	1
[244]	557	SWAP3	32552	3	1
[245]	558	PUSH2	32549	3	1
[246]	561	JUMP	32546	8	1
[247]	266	JUMPDEST	32538	1	1
[248]	267	DUP1	32537	3	1
[249]	268	DUP3	32534	3	1
[250]	269	LT	32531	3	1
[251]	270	PUSH2	32528	3	1
[252]	273	JUMPI	32525	10	1
[253]	274	POP	32515	2	1
[254]	275	POP	32513	2	1
[255]	276	POP	32511	2	1
[256]	277	PUSH1	32509	3	1
[257]	279	NOT	32506	3	1
[258]	280	DUP5	32503	3	1
[259]	281	DUP3	32500	3	1
[260]	282	SUB	32497	3	1
[261]	283	ADD	32494	3	1
[262]	284	PUSH1	32491	3	1
[263]	286	DUP6	32488	3	1
[264]	287	ADD	32485	3	1
[265]	288	MSTORE	32482	3	1
[266]	289	DUP3	32479	3	1
[267]	290	DUP2	32476	3	1
[268]	291	MSTORE	32473	6	1
[269]	292	PUSH1	32467	3	1
[270]	294	DUP2	32464	3	1
[271]	295	ADD	32461	3	1
[272]	296	SWAP3	32458	3	1
[273]	297	PUSH1	32455	3	1
[274]	299	DUP2	32452	3	1
[275]	300	PUSH1	32449	3	1
[276]	302	SHL	32446	3	1
[277]	303	DUP4	32443	3	1
[278]	304	ADD	32440	3	1
[279]	305	ADD	32437	3	1
[280]	306	SWAP4	32434	3	1
[281]	307	DUP4	32431	3	1
[282]	308	DUP8	32428	3	1
[283]	309	SWAP4	32425	3	1
[284]	310	PUSH1	32422	3	1
[285]	312	NOT	32419	3	1
[286]	313	DUP3	32416	3	1
[287]	314	CALLDATASIZE	32413	2	1
[288]	315	SUB	32411	3	1
[289]	316	ADD	32408	3	1
[290]	317	SWAP1	32405	3	1
[291]	318	JUMPDEST	32402	1	1
[292]	319	DUP5	32401	3	1
[293]	320	DUP7	32398	3	1
[294]	321	LT	32395	3	1
[295]	322	PUSH2	32392	3	1
[296]	325	JUMPI	32389	10	1
[297]	326	POP	32379	2	1
[298]	327	POP	32377	2	1
[299]	328	POP	32375	2	1
[300]	329	POP	32373	2	1
[301]	330	POP	32371	2	1
[302]	331	POP	32369	2	1
[303]	332	POP	32367	2	1
[304]	333	SWAP3	32365	3	1
[305]	334	DUP2	32362	3	1
[306]	335	DUP4	32359	3	1
[307]	336	DUP2	32356	3	1
[308]	337	DUP2	32353	3	1
[309]	338	SWAP7	32350	3	1
[310]	339	SUB	32347	3	1
[311]	340	SWAP3	32344	3	1
[312]	341	GAS	32341	2	1
[313]	342	CALL	32339	31836	1
[314]	0	PUSH1	31736	3	2
[315]	2	PUSH1	31733	3	2
[316]	4	MSTORE	31730	12	2
[317]	5	PUSH1	31718	3	2
[318]	7	CALLDATASIZE	31715	2	2
[319]	8	LT	31713	3	2
[320]	9	ISZERO	31710	3	2
[321]	10	PUSH2	31707	3	2
[322]	13	JUMPI	31704	10	2
[323]	27	JUMPDEST	31694	1	2
[324]	28	PUSH1	31693	3	2
[325]	30	DUP1	31690	3	2
[326]	31	CALLDATALOAD	31687	3	2
[327]	32	PUSH1	31684	3	2
[328]	34	SHR	31681	3	2
[329]	35	DUP1	31678	3	2
[330]	36	PUSH4	31675	3	2
[331]	41	EQ	31672	3	2
[332]	42	PUSH2	31669	3	2
[333]	45	JUMPI	31666	10	2
[334]	46	DUP1	31656	3	2
[335]	47	PUSH4	31653	3	2
[336]	52	EQ	31650	3	2
[337]	53	PUSH2	31647	3	2
[338]	56	JUMPI	31644	10	2
[339]	57	DUP1	31634	3	2
[340]	58	PUSH4	31631	3	2
[341]	63	EQ	31628	3	2
[342]	64	PUSH2	31625	3	2
[343]	67	JUMPI	31622	10	2
[344]	68	DUP1	31612	3	2
[345]	69	PUSH4	31609	3	2
[346]	74	EQ	31606	3	2
[347]	75	PUSH2	31603	3	2
[348]	78	JUMPI	31600	10	2
[349]	79	DUP1	31590	3	2
[350]	80	PUSH4	31587	3	2
[351]	85	EQ	31584	3	2
[352]	86	PUSH2	31581	3	2
[353]	89	JUMPI	31578	10	2
[354]	90	DUP1	31568	3	2
[355]	91	PUSH4	31565	3	2
[356]	96	EQ	31562	3	2
[357]	97	PUSH2	31559	3	2
[358]	100	JUMPI	31556	10	2
[359]	101	DUP1	31546	3	2
[360]	102	PUSH4	31543	3	2
[361]	107	EQ	31540	3	2
[362]	108	PUSH2	31537	3	2
[363]	111	JUMPI	31534	10	2
[364]	112	DUP1	31524	3	2
[365]	113	PUSH4	31521	3	2
[366]	118	EQ	31518	3	2
[367]	119	PUSH2	31515	3	2
[368]	122	JUMPI	31512	10	2
[369]	123	DUP1	31502	3	2
[370]	124	PUSH4	31499	3	2
[371]	129	EQ	31496	3	2
[372]	130	PUSH2	31493	3	2
[373]	133	JUMPI	31490	10	2
[374]	134	DUP1	31480	3	2
[375]	135	PUSH4	31477	3	2
[376]	140	EQ	31474	3	2
[377]	141	PUSH2	31471	3	2
[378]	144	JUMPI	31468	10	2
[379]	145	DUP1	31458	3	2
[380]	146	PUSH4	31455	3	2
[381]	151	EQ	31452	3	2
[382]	152	PUSH2	31449	3	2
[383]	155	JUMPI	31446	10	2
[384]	156	DUP1	31436	3	2
[385]	157	PUSH4	31433	3	2
[386]	162	EQ	31430	3	2
[387]	163	PUSH2	31427	3	2
[388]	166	JUMPI	31424	10	2
[389]	5808	JUMPDEST	31414	1	2
[390]	5809	POP	31413	2	2
[391]	5810	CALLVALUE	31411	2	2
[392]	5811	PUSH2	31409	3	2
[393]	5814	JUMPI	31406	10	2
[394]	5815	PUSH2	31396	3	2
[395]	5818	PUSH2	31393	3	2
[396]	5821	CALLDATASIZE	31390	2	2
[397]	5822	PUSH2	31388	3	2
[398]	5825	JUMP	31385	8	2
[399]	8127	JUMPDEST	31377	1	2
[400]	8128	SWAP1	31376	3	2
[401]	8129	PUSH1	31373	3	2
[402]	8131	PUSH1	31370	3	2
[403]	8133	NOT	31367	3	2
[404]	8134	DUP4	31364	3	2
[405]	8135	ADD	31361	3	2
[406]	8136	SLT	31358	3	2
[407]	8137	PUSH2	31355	3	2
[408]	8140	JUMPI	31352	10	2
[409]	8141	PUSH1	31342	3	2
[410]	8143	CALLDATALOAD	31339	3	2
[411]	8144	SWAP2	31336	3	2
[412]	8145	PUSH1	31333	3	2
[413]	8147	CALLDATALOAD	31330	3	2
[414]	8148	PUSH1	31327	3	2
[415]	8150	PUSH1	31324	3	2
[416]	8152	PUSH1	31321	3	2
[417]	8154	SHL	31318	3	2
[418]	8155	SUB	31315	3	2
[419]	8156	DUP2	31312	3	2
[420]	8157	GT	31309	3	2
[421]	8158	PUSH2	31306	3	2
[422]	8161	JUMPI	31303	10	2
[423]	8162	DUP2	31293	3	2
[424]	8163	PUSH2	31290	3	2
[425]	8166	SWAP2	31287	3	2
[426]	8167	PUSH1	31284	3	2
[427]	8169	ADD	31281	3	2
[428]	8170	PUSH2	31278	3	2
[429]	8173	JUMP	31275	8	2
[430]	8079	JUMPDEST	31267	1	2
[431]	8080	SWAP2	31266	3	2
[432]	8081	DUP2	31263	3	2
[433]	8082	PUSH1	31260	3	2
[434]	8084	DUP5	31257	3	2
[435]	8085	ADD	31254	3	2
[436]	8086	SLT	31251	3	2
[437]	8087	ISZERO	31248	3	2
[438]	8088	PUSH2	31245	3	2
[439]	8091	JUMPI	31242	10	2
[440]	8092	DUP3	31232	3	2
[441]	8093	CALLDATALOAD	31229	3	2
[442]	8094	SWAP2	31226	3	2
[443]	8095	PUSH1	31223	3	2
[444]	8097	PUSH1	31220	3	2
[445]	8099	PUSH1	31217	3	2
[446]	8101	SHL	31214	3	2
[447]	8102	SUB	31211	3	2
[448]	8103	DUP4	31208	3	2
[449]	8104	GT	31205	3	2
[450]	8105	PUSH2	31202	3	2
[451]	8108	JUMPI	31199	10	2
[452]	8109	PUSH1	31189	3	2
[453]	8111	DUP1	31186	3	2
[454]	8112	DUP6	31183	3	2
[455]	8113	ADD	31180	3	2
[456]	8114	SWAP5	31177	3	2
[457]	8115	DUP5	31174	3	2
[458]	8116	PUSH1	31171	3	2
[459]	8118	SHL	31168	3	2
[460]	8119	ADD	31165	3	2
[461]	8120	ADD	31162	3	2
[462]	8121	GT	31159	3	2
[463]	8122	PUSH2	31156	3	2
[464]	8125	JUMPI	31153	10	2
[465]	8126	JUMP	31143	8	2
[466]	8174	JUMPDEST	31135	1	2
[467]	8175	SWAP3	31134	3	2
[468]	8176	SWAP1	31131	3	2
[469]	8177	SWAP3	31128	3	2
[470]	8178	SWAP2	31125	3	2
[471]	8179	PUSH1	31122	3	2
[472]	8181	CALLDATALOAD	31119	3	2
[473]	8182	SWAP1	31116	3	2
[474]	8183	PUSH1	31113	3	2
[475]	8185	PUSH1	31110	3	2
[476]	8187	PUSH1	31107	3	2
[477]	8189	SHL	31104	3	2
[478]	8190	SUB	31101	3	2
[479]	8191	DUP3	31098	3	2
[480]	8192	GT	31095	3	2
[481]	8193	PUSH2	31092	3	2
[482]	8196	JUMPI	31089	10	2
[483]	8197	PUSH2	31079	3	2
[484]	8200	SWAP2	31076	3	2
[485]	8201	PUSH1	31073	3	2
[486]	8203	ADD	31070	3	2
[487]	8204	PUSH2	31067	3	2
[488]	8207	JUMP	31064	8	2
[489]	8079	JUMPDEST	31056	1	2
[490]	8080	SWAP2	31055	3	2
[491]	8081	DUP2	31052	3	2
[492]	8082	PUSH1	31049	3	2
[493]	8084	DUP5	31046	3	2
[494]	8085	ADD	31043	3	2
[495]	8086	SLT	31040	3	2
[496]	8087	ISZERO	31037	3	2
[497]	8088	PUSH2	31034	3	2
[498]	8091	JUMPI	31031	10	2
[499]	8092	DUP3	31021	3	2
[500]	8093	CALLDATALOAD	31018	3	2
[501]	8094	SWAP2	31015	3	2
[502]	8095	PUSH1	31012	3	2
[503]	8097	PUSH1	31009	3	2
[504]	8099	PUSH1	31006	3	2
[505]	8101	SHL	31003	3	2
[506]	8102	SUB	31000	3	2
[507]	8103	DUP4	30997	3	2
[508]	8104	GT	30994	3	2
[509]	8105	PUSH2	30991	3	2
[510]	8108	JUMPI	30988	10	2
[511]	8109	PUSH1	30978	3	2
[512]	8111	DUP1	30975	3	2
[513]	8112	DUP6	30972	3	2
[514]	8113	ADD	30969	3	2
[515]	8114	SWAP5	30966	3	2
[516]	8115	DUP5	30963	3	2
[517]	8116	PUSH1	30960	3	2
[518]	8118	SHL	30957	3	2
[519]	8119	ADD	30954	3	2
[520]	8120	ADD	30951	3	2
[521]	8121	GT	30948	3	2
[522]	8122	PUSH2	30945	3	2
[523]	8125	JUMPI	30942	10	2
[524]	8126	JUMP	30932	8	2
[525]	8208	JUMPDEST	30924	1	2
[526]	8209	SWAP1	30923	3	2
[527]	8210	SWAP2	30920	3	2
[528]	8211	JUMP	30917	8	2
[529]	5826	JUMPDEST	30909	1	2
[530]	5827	DUP5	30908	3	2
[531]	5828	DUP8	30905	3	2
[532]	5829	MSTORE	30902	3	2
[533]	5830	PUSH1	30899	3	2
[534]	5832	PUSH1	30896	3	2
[535]	5834	MSTORE	30893	3	2
[536]	5835	PUSH1	30890	3	2
[537]	5837	DUP8	30887	3	2
[538]	5838	KECCAK256	30884	42	2
[539]	5839	SWAP4	30842	3	2
[540]	5840	SWAP6	30839	3	2
[541]	5841	SWAP3	30836	3	2
[542]	5842	SWAP5	30833	3	2
[543]	5843	SWAP3	30830	3	2
[544]	5844	SWAP2	30827	3	2
[545]	5845	PUSH2	30824	3	2
[546]	5848	DUP6	30821	3	2
[547]	5849	PUSH2	30818	3	2
[548]	5852	JUMP	30815	8	2
[549]	12439	JUMPDEST	30807	1	2
[550]	12440	SLOAD	30806	2100	2
[551]	12441	PUSH5	28706	3	2
[552]	12447	DUP2	28703	3	2
[553]	12448	PUSH1	28700	3	2
[554]	12450	SHR	28697	3	2
[555]	12451	AND	28694	3	2
[556]	12452	TIMESTAMP	28691	2	2
[557]	12453	LT	28689	3	2
[558]	12454	SWAP1	28686	3	2
[559]	12455	DUP2	28683	3	2
[560]	12456	ISZERO	28680	3	2
[561]	12457	PUSH2	28677	3	2
[562]	12460	JUMPI	28674	10	2
[563]	12485	JUMPDEST	28664	1	2
[564]	12486	PUSH5	28663	3	2
[565]	12492	SWAP2	28660	3	2
[566]	12493	POP	28657	2	2
[567]	12494	PUSH1	28655	3	2
[568]	12496	SHR	28652	3	2
[569]	12497	AND	28649	3	2
[570]	12498	TIMESTAMP	28646	2	2
[571]	12499	GT	28644	3	2
[572]	12500	CODESIZE	28641	2	2
[573]	12501	PUSH2	28639	3	2
[574]	12504	JUMP	28636	8	2
[575]	12461	JUMPDEST	28628	1	2
[576]	12462	POP	28627	2	2
[577]	12463	PUSH2	28625	3	2
[578]	12466	JUMPI	28622	10	2
[579]	12467	JUMP	28612	8	2
[580]	5853	JUMPDEST	28604	1	2
[581]	5854	PUSH2	28603	3	2
[582]	5857	JUMP	28600	8	2
[583]	12125	JUMPDEST	28592	1	2
[584]	12126	PUSH1	28591	3	2
[585]	12128	MLOAD	28588	3	2
[586]	12129	PUSH4	28585	3	2
[587]	12134	PUSH1	28582	3	2
[588]	12136	SHL	28579	3	2
[589]	12137	DUP2	28576	3	2
[590]	12138	MSTORE	28573	9	2
[591]	12139	PUSH1	28564	3	2
[592]	12141	PUSH1	28561	3	2
[593]	12143	DUP3	28558	3	2
[594]	12144	ADD	28555	3	2
[595]	12145	DUP2	28552	3	2
[596]	12146	SWAP1	28549	3	2
[597]	12147	MSTORE	28546	6	2
[598]	12148	PUSH1	28540	3	2
[599]	12150	SWAP4	28537	3	2
[600]	12151	PUSH32	28534	3	2
[601]	12184	PUSH1	28531	3	2
[602]	12186	PUSH1	28528	3	2
[603]	12188	PUSH1	28525	3	2
[604]	12190	SHL	28522	3	2
[605]	12191	SUB	28519	3	2
[606]	12192	AND	28516	3	2
[607]	12193	SWAP3	28513	3	2
[608]	12194	SWAP1	28510	3	2
[609]	12195	SWAP2	28507	3	2
[610]	12196	DUP2	28504	3	2
[611]	12197	DUP1	28501	3	2
[612]	12198	PUSH2	28498	3	2
[613]	12201	PUSH1	28495	3	2
[614]	12203	DUP3	28492	3	2
[615]	12204	ADD	28489	3	2
[616]	12205	DUP7	28486	3	2
[617]	12206	DUP10	28483	3	2
[618]	12207	PUSH2	28480	3	2
[619]	12210	JUMP	28477	8	2
[620]	11835	JUMPDEST	28469	1	2
[621]	11836	SWAP1	28468	3	2
[622]	11837	PUSH1	28465	3	2
[623]	11839	DUP4	28462	3	2
[624]	11840	DUP3	28459	3	2
[625]	11841	DUP2	28456	3	2
[626]	11842	MSTORE	28453	6	2
[627]	11843	ADD	28447	3	2
[628]	11844	SWAP1	28444	3	2
[629]	11845	PUSH1	28441	3	2
[630]	11847	DUP2	28438	3	2
[631]	11848	PUSH1	28435	3	2
[632]	11850	SHL	28432	3	2
[633]	11851	DUP6	28429	3	2
[634]	11852	ADD	28426	3	2
[635]	11853	ADD	28423	3	2
[636]	11854	SWAP4	28420	3	2
[637]	11855	DUP4	28417	3	2
[638]	11856	PUSH1	28414	3	2
[639]	11858	SWAP2	28411	3	2
[640]	11859	JUMPDEST	28408	1	2
[641]	11860	DUP4	28407	3	2
[642]	11861	DUP4	28404	3	2
[643]	11862	LT	28401	3	2
[644]	11863	PUSH2	28398	3	2
[645]	11866	JUMPI	28395	10	2
[646]	11867	POP	28385	2	2
[647]	11868	POP	28383	2	2
[648]	11869	POP	28381	2	2
[649]	11870	POP	28379	2	2
[650]	11871	POP	28377	2	2
[651]	11872	POP	28375	2	2
[652]	11873	SWAP1	28373	3	2
[653]	11874	JUMP	28370	8	2
[654]	12211	JUMPDEST	28362	1	2
[655]	12212	SUB	28361	3	2
[656]	12213	DUP2	28358	3	2
[657]	12214	DUP7	28355	3	2
[658]	12215	GAS	28352	2	2
[659]	12216	STATICCALL	28350	27948	2
[660]	0	PUSH1	25348	3	3
[661]	2	PUSH1	25345	3	3
[662]	4	MSTORE	25342	12	3
[663]	5	PUSH1	25330	3	3
[664]	7	CALLDATASIZE	25327	2	3
[665]	8	LT	25325	3	3
[666]	9	PUSH2	25322	3	3
[667]	12	JUMPI	25319	10	3
[668]	13	PUSH1	25309	3	3
[669]	15	CALLDATALOAD	25306	3	3
[670]	16	PUSH1	25303	3	3
[671]	18	SHR	25300	3	3
[672]	19	DUP1	25297	3	3
[673]	20	PUSH4	25294	3	3
[674]	25	GT	25291	3	3
[675]	26	PUSH2	25288	3	3
[676]	29	JUMPI	25285	10	3
[677]	30	DUP1	25275	3	3
[678]	31	PUSH4	25272	3	3
[679]	36	GT	25269	3	3
[680]	37	PUSH2	25266	3	3
[681]	40	JUMPI	25263	10	3
[682]	41	DUP1	25253	3	3
[683]	42	PUSH4	25250	3	3
[684]	47	EQ	25247	3	3
[685]	48	PUSH2	25244	3	3
[686]	51	JUMPI	25241	10	3
[687]	52	DUP1	25231	3	3
[688]	53	PUSH4	25228	3	3
[689]	58	EQ	25225	3	3
[690]	59	PUSH2	25222	3	3
[691]	62	JUMPI	25219	10	3
[692]	646	JUMPDEST	25209	1	3
[693]	647	CALLVALUE	25208	2	3
[694]	648	DUP1	25206	3	3
[695]	649	ISZERO	25203	3	3
[696]	650	PUSH2	25200	3	3
[697]	653	JUMPI	25197	10	3
[698]	658	JUMPDEST	25187	1	3
[699]	659	POP	25186	2	3
[700]	660	PUSH2	25184	3	3
[701]	663	PUSH2	25181	3	3
[702]	666	CALLDATASIZE	25178	2	3
[703]	667	PUSH1	25176	3	3
[704]	669	PUSH2	25173	3	3
[705]	672	JUMP	25170	8	3
[706]	3912	JUMPDEST	25162	1	3
[707]	3913	PUSH1	25161	3	3
[708]	3915	DUP1	25158	3	3
[709]	3916	PUSH1	25155	3	3
[710]	3918	DUP4	25152	3	3
[711]	3919	DUP6	25149	3	3
[712]	3920	SUB	25146	3	3
[713]	3921	SLT	25143	3	3
[714]	3922	ISZERO	25140	3	3
[715]	3923	PUSH2	25137	3	3
[716]	3926	JUMPI	25134	10	3
[717]	3931	JUMPDEST	25124	1	3
[718]	3932	DUP3	25123	3	3
[719]	3933	CALLDATALOAD	25120	3	3
[720]	3934	PUSH1	25117	3	3
[721]	3936	PUSH1	25114	3	3
[722]	3938	PUSH1	25111	3	3
[723]	3940	SHL	25108	3	3
[724]	3941	SUB	25105	3	3
[725]	3942	DUP2	25102	3	3
[726]	3943	GT	25099	3	3
[727]	3944	ISZERO	25096	3	3
[728]	3945	PUSH2	25093	3	3
[729]	3948	JUMPI	25090	10	3
[730]	3953	JUMPDEST	25080	1	3
[731]	3954	PUSH2	25079	3	3
[732]	3957	DUP6	25076	3	3
[733]	3958	DUP3	25073	3	3
[734]	3959	DUP7	25070	3	3
[735]	3960	ADD	25067	3	3
[736]	3961	PUSH2	25064	3	3
[737]	3964	JUMP	25061	8	3
[738]	3084	JUMPDEST	25053	1	3
[739]	3085	PUSH1	25052	3	3
[740]	3087	DUP1	25049	3	3
[741]	3088	DUP4	25046	3	3
[742]	3089	PUSH1	25043	3	3
[743]	3091	DUP5	25040	3	3
[744]	3092	ADD	25037	3	3
[745]	3093	SLT	25034	3	3
[746]	3094	PUSH2	25031	3	3
[747]	3097	JUMPI	25028	10	3
[748]	3102	JUMPDEST	25018	1	3
[749]	3103	POP	25017	2	3
[750]	3104	DUP2	25015	3	3
[751]	3105	CALLDATALOAD	25012	3	3
[752]	3106	PUSH1	25009	3	3
[753]	3108	PUSH1	25006	3	3
[754]	3110	PUSH1	25003	3	3
[755]	3112	SHL	25000	3	3
[756]	3113	SUB	24997	3	3
[757]	3114	DUP2	24994	3	3
[758]	3115	GT	24991	3	3
[759]	3116	ISZERO	24988	3	3
[760]	3117	PUSH2	24985	3	3
[761]	3120	JUMPI	24982	10	3
[762]	3125	JUMPDEST	24972	1	3
[763]	3126	PUSH1	24971	3	3
[764]	3128	DUP4	24968	3	3
[765]	3129	ADD	24965	3	3
[766]	3130	SWAP2	24962	3	3
[767]	3131	POP	24959	2	3
[768]	3132	DUP4	24957	3	3
[769]	3133	PUSH1	24954	3	3
[770]	3135	DUP3	24951	3	3
[771]	3136	PUSH1	24948	3	3
[772]	3138	SHL	24945	3	3
[773]	3139	DUP6	24942	3	3
[774]	3140	ADD	24939	3	3
[775]	3141	ADD	24936	3	3
[776]	3142	GT	24933	3	3
[777]	3143	ISZERO	24930	3	3
[778]	3144	PUSH2	24927	3	3
[779]	3147	JUMPI	24924	10	3
[780]	3152	JUMPDEST	24914	1	3
[781]	3153	SWAP3	24913	3	3
[782]	3154	POP	24910	2	3
[783]	3155	SWAP3	24908	3	3
[784]	3156	SWAP1	24905	3	3
[785]	3157	POP	24902	2	3
[786]	3158	JUMP	24900	8	3
[787]	3965	JUMPDEST	24892	1	3
[788]	3966	SWAP1	24891	3	3
[789]	3967	SWAP7	24888	3	3
[790]	3968	SWAP1	24885	3	3
[791]	3969	SWAP6	24882	3	3
[792]	3970	POP	24879	2	3
[793]	3971	SWAP4	24877	3	3
[794]	3972	POP	24874	2	3
[795]	3973	POP	24872	2	3
[796]	3974	POP	24870	2	3
[797]	3975	POP	24868	2	3
[798]	3976	JUMP	24866	8	3
[799]	673	JUMPDEST	24858	1	3
[800]	674	PUSH2	24857	3	3
[801]	677	JUMP	24854	8	3
[802]	2080	JUMPDEST	24846	1	3
[803]	2081	PUSH1	24845	3	3
[804]	2083	SLOAD	24842	2100	3
[805]	2084	PUSH1	22742	3	3
[806]	2086	SWAP1	22739	3	3
[807]	2087	PUSH2	22736	3	3
[808]	2090	SWAP1	22733	3	3
[809]	2091	DUP4	22730	3	3
[810]	2092	SWAP1	22727	3	3
[811]	2093	PUSH2	22724	3	3
[812]	2096	JUMP	22721	8	3
[813]	4398	JUMPDEST	22713	1	3
[814]	4399	DUP1	22712	3	3
[815]	4400	DUP3	22709	3	3
[816]	4401	MUL	22706	5	3
[817]	4402	DUP2	22701	3	3
[818]	4403	ISZERO	22698	3	3
[819]	4404	DUP3	22695	3	3
[820]	4405	DUP3	22692	3	3
[821]	4406	DIV	22689	5	3
[822]	4407	DUP5	22684	3	3
[823]	4408	EQ	22681	3	3
[824]	4409	OR	22678	3	3
[825]	4410	PUSH2	22675	3	3
[826]	4413	JUMPI	22672	10	3
[827]	753	JUMPDEST	22662	1	3
[828]	754	SWAP3	22661	3	3
[829]	755	SWAP2	22658	3	3
[830]	756	POP	22655	2	3
[831]	757	POP	22653	2	3
[832]	758	JUMP	22651	8	3
[833]	2097	JUMPDEST	22643	1	3
[834]	2098	SWAP4	22642	3	3
[835]	2099	SWAP3	22639	3	3
[836]	2100	POP	22636	2	3
[837]	2101	POP	22634	2	3
[838]	2102	POP	22632	2	3
[839]	2103	JUMP	22630	8	3
[840]	678	JUMPDEST	22622	1	3
[841]	679	PUSH1	22621	3	3
[842]	681	MLOAD	22618	3	3
[843]	682	SWAP1	22615	3	3
[844]	683	DUP2	22612	3	3
[845]	684	MSTORE	22609	9	3
[846]	685	PUSH1	22600	3	3
[847]	687	ADD	22597	3	3
[848]	688	PUSH2	22594	3	3
[849]	691	JUMP	22591	8	3
[850]	271	JUMPDEST	22583	1	3
[851]	272	PUSH1	22582	3	3
[852]	274	MLOAD	22579	3	3
[853]	275	DUP1	22576	3	3
[854]	276	SWAP2	22573	3	3
[855]	277	SUB	22570	3	3
[856]	278	SWAP1	22567	3	3
[857]	279	RETURN	22564	0	3
[858]	12217	SWAP1	22966	3	2
[859]	12218	DUP2	22963	3	2
[860]	12219	ISZERO	22960	3	2
[861]	12220	PUSH2	22957	3	2
[862]	12223	JUMPI	22954	10	2
[863]	12224	DUP6	22944	3	2
[864]	12225	SWAP2	22941	3	2
[865]	12226	PUSH2	22938	3	2
[866]	12229	JUMPI	22935	10	2
[867]	12313	JUMPDEST	22925	1	2
[868]	12314	SWAP1	22924	3	2
[869]	12315	POP	22921	2	2
[870]	12316	PUSH1	22919	3	2
[871]	12318	DUP2	22916	3	2
[872]	12319	RETURNDATASIZE	22913	2	2
[873]	12320	PUSH1	22911	3	2
[874]	12322	GT	22908	3	2
[875]	12323	PUSH2	22905	3	2
[876]	12326	JUMPI	22902	10	2
[877]	12327	JUMPDEST	22892	1	2
[878]	12328	DUP2	22891	3	2
[879]	12329	PUSH2	22888	3	2
[880]	12332	PUSH1	22885	3	2
[881]	12334	SWAP4	22882	3	2
[882]	12335	DUP4	22879	3	2
[883]	12336	PUSH2	22876	3	2
[884]	12339	JUMP	22873	8	2
[885]	8316	JUMPDEST	22865	1	2
[886]	8317	SWAP1	22864	3	2
[887]	8318	PUSH1	22861	3	2
[888]	8320	DUP1	22858	3	2
[889]	8321	NOT	22855	3	2
[890]	8322	SWAP2	22852	3	2
[891]	8323	ADD	22849	3	2
[892]	8324	AND	22846	3	2
[893]	8325	DUP2	22843	3	2
[894]	8326	ADD	22840	3	2
[895]	8327	SWAP1	22837	3	2
[896]	8328	DUP2	22834	3	2
[897]	8329	LT	22831	3	2
[898]	8330	PUSH1	22828	3	2
[899]	8332	PUSH1	22825	3	2
[900]	8334	PUSH1	22822	3	2
[901]	8336	SHL	22819	3	2
[902]	8337	SUB	22816	3	2
[903]	8338	DUP3	22813	3	2
[904]	8339	GT	22810	3	2
[905]	8340	OR	22807	3	2
[906]	8341	PUSH2	22804	3	2
[907]	8344	JUMPI	22801	10	2
[908]	8345	PUSH1	22791	3	2
[909]	8347	MSTORE	22788	3	2
[910]	8348	JUMP	22785	8	2
[911]	12340	JUMPDEST	22777	1	2
[912]	12341	DUP2	22776	3	2
[913]	12342	ADD	22773	3	2
[914]	12343	SUB	22770	3	2
[915]	12344	SLT	22767	3	2
[916]	12345	PUSH2	22764	3	2
[917]	12348	JUMPI	22761	10	2
[918]	12349	MLOAD	22751	3	2
[919]	12350	CODESIZE	22748	2	2
[920]	12351	PUSH2	22746	3	2
[921]	12354	JUMP	22743	8	2
[922]	12230	JUMPDEST	22735	1	2
[923]	12231	POP	22734	2	2
[924]	12232	DUP3	22732	3	2
[925]	12233	EXTCODESIZE	22729	100	2
[926]	12234	ISZERO	22629	3	2
[927]	12235	PUSH2	22626	3	2
[928]	12238	JUMPI	22623	10	2
[929]	12239	SWAP2	22613	3	2
[930]	12240	PUSH2	22610	3	2
[931]	12243	SWAP4	22607	3	2
[932]	12244	SWAP2	22604	3	2
[933]	12245	DUP6	22601	3	2
[934]	12246	SWAP4	22598	3	2
[935]	12247	PUSH1	22595	3	2
[936]	12249	MLOAD	22592	3	2
[937]	12250	DUP1	22589	3	2
[938]	12251	SWAP7	22586	3	2
[939]	12252	DUP2	22583	3	2
[940]	12253	SWAP6	22580	3	2
[941]	12254	DUP3	22577	3	2
[942]	12255	SWAP5	22574	3	2
[943]	12256	PUSH4	22571	3	2
[944]	12261	PUSH1	22568	3	2
[945]	12263	SHL	22565	3	2
[946]	12264	DUP5	22562	3	2
[947]	12265	MSTORE	22559	3	2
[948]	12266	PUSH1	22556	3	2
[949]	12268	PUSH1	22553	3	2
[950]	12270	DUP6	22550	3	2
[951]	12271	ADD	22547	3	2
[952]	12272	MSTORE	22544	3	2
[953]	12273	PUSH1	22541	3	2
[954]	12275	DUP5	22538	3	2
[955]	12276	ADD	22535	3	2
[956]	12277	SWAP2	22532	3	2
[957]	12278	PUSH2	22529	3	2
[958]	12281	JUMP	22526	8	2
[959]	11835	JUMPDEST	22518	1	2
[960]	11836	SWAP1	22517	3	2
[961]	11837	PUSH1	22514	3	2
[962]	11839	DUP4	22511	3	2
[963]	11840	DUP3	22508	3	2
[964]	11841	DUP2	22505	3	2
[965]	11842	MSTORE	22502	6	2
[966]	11843	ADD	22496	3	2
[967]	11844	SWAP1	22493	3	2
[968]	11845	PUSH1	22490	3	2
[969]	11847	DUP2	22487	3	2
[970]	11848	PUSH1	22484	3	2
[971]	11850	SHL	22481	3	2
[972]	11851	DUP6	22478	3	2
[973]	11852	ADD	22475	3	2
[974]	11853	ADD	22472	3	2
[975]	11854	SWAP4	22469	3	2
[976]	11855	DUP4	22466	3	2
[977]	11856	PUSH1	22463	3	2
[978]	11858	SWAP2	22460	3	2
[979]	11859	JUMPDEST	22457	1	2
[980]	11860	DUP4	22456	3	2
[981]	11861	DUP4	22453	3	2
[982]	11862	LT	22450	3	2
[983]	11863	PUSH2	22447	3	2
[984]	11866	JUMPI	22444	10	2
[985]	11867	POP	22434	2	2
[986]	11868	POP	22432	2	2
[987]	11869	POP	22430	2	2
[988]	11870	POP	22428	2	2
[989]	11871	POP	22426	2	2
[990]	11872	POP	22424	2	2
[991]	11873	SWAP1	22422	3	2
[992]	11874	JUMP	22419	8	2
[993]	12282	JUMPDEST	22411	1	2
[994]	12283	SUB	22410	3	2
[995]	12284	SWAP3	22407	3	2
[996]	12285	GAS	22404	2	2
[997]	12286	CALL	22402	22054	2
[998]	0	PUSH1	21954	3	3
[999]	2	PUSH1	21951	3	3
[1000]	4	MSTORE	21948	12	3