Geth VM Trace Transaction

GETH Trace for Txn Hash 0x9ab3d62d207988f118eb3915ffccb50b504eb12186d78f809463cd443bc1f2d4

Contract transaction successfully completed.

Raw traces

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

Step	PC	Operation	Gas	GasCost	Depth
[1]	0	PUSH1	90996	3	1
[2]	2	PUSH1	90993	3	1
[3]	4	MSTORE	90990	12	1
[4]	5	PUSH1	90978	3	1
[5]	7	CALLDATASIZE	90975	2	1
[6]	8	LT	90973	3	1
[7]	9	ISZERO	90970	3	1
[8]	10	PUSH2	90967	3	1
[9]	13	JUMPI	90964	10	1
[10]	27	JUMPDEST	90954	1	1
[11]	28	PUSH1	90953	3	1
[12]	30	DUP1	90950	3	1
[13]	31	CALLDATALOAD	90947	3	1
[14]	32	PUSH1	90944	3	1
[15]	34	SHR	90941	3	1
[16]	35	DUP1	90938	3	1
[17]	36	PUSH4	90935	3	1
[18]	41	EQ	90932	3	1
[19]	42	PUSH2	90929	3	1
[20]	45	JUMPI	90926	10	1
[21]	46	DUP1	90916	3	1
[22]	47	PUSH4	90913	3	1
[23]	52	EQ	90910	3	1
[24]	53	PUSH2	90907	3	1
[25]	56	JUMPI	90904	10	1
[26]	57	DUP1	90894	3	1
[27]	58	PUSH4	90891	3	1
[28]	63	EQ	90888	3	1
[29]	64	PUSH2	90885	3	1
[30]	67	JUMPI	90882	10	1
[31]	68	DUP1	90872	3	1
[32]	69	PUSH4	90869	3	1
[33]	74	EQ	90866	3	1
[34]	75	PUSH2	90863	3	1
[35]	78	JUMPI	90860	10	1
[36]	79	DUP1	90850	3	1
[37]	80	PUSH4	90847	3	1
[38]	85	EQ	90844	3	1
[39]	86	PUSH2	90841	3	1
[40]	89	JUMPI	90838	10	1
[41]	90	DUP1	90828	3	1
[42]	91	PUSH4	90825	3	1
[43]	96	EQ	90822	3	1
[44]	97	PUSH2	90819	3	1
[45]	100	JUMPI	90816	10	1
[46]	101	DUP1	90806	3	1
[47]	102	PUSH4	90803	3	1
[48]	107	EQ	90800	3	1
[49]	108	PUSH2	90797	3	1
[50]	111	JUMPI	90794	10	1
[51]	112	DUP1	90784	3	1
[52]	113	PUSH4	90781	3	1
[53]	118	EQ	90778	3	1
[54]	119	PUSH2	90775	3	1
[55]	122	JUMPI	90772	10	1
[56]	123	DUP1	90762	3	1
[57]	124	PUSH4	90759	3	1
[58]	129	EQ	90756	3	1
[59]	130	PUSH2	90753	3	1
[60]	133	JUMPI	90750	10	1
[61]	134	DUP1	90740	3	1
[62]	135	PUSH4	90737	3	1
[63]	140	EQ	90734	3	1
[64]	141	PUSH2	90731	3	1
[65]	144	JUMPI	90728	10	1
[66]	145	DUP1	90718	3	1
[67]	146	PUSH4	90715	3	1
[68]	151	EQ	90712	3	1
[69]	152	PUSH2	90709	3	1
[70]	155	JUMPI	90706	10	1
[71]	6400	JUMPDEST	90696	1	1
[72]	6401	POP	90695	2	1
[73]	6402	CALLVALUE	90693	2	1
[74]	6403	PUSH2	90691	3	1
[75]	6406	JUMPI	90688	10	1
[76]	6407	PUSH2	90678	3	1
[77]	6410	PUSH2	90675	3	1
[78]	6413	CALLDATASIZE	90672	2	1
[79]	6414	PUSH2	90670	3	1
[80]	6417	JUMP	90667	8	1
[81]	7802	JUMPDEST	90659	1	1
[82]	7803	SWAP1	90658	3	1
[83]	7804	PUSH1	90655	3	1
[84]	7806	PUSH1	90652	3	1
[85]	7808	NOT	90649	3	1
[86]	7809	DUP4	90646	3	1
[87]	7810	ADD	90643	3	1
[88]	7811	SLT	90640	3	1
[89]	7812	PUSH2	90637	3	1
[90]	7815	JUMPI	90634	10	1
[91]	7816	PUSH1	90624	3	1
[92]	7818	CALLDATALOAD	90621	3	1
[93]	7819	SWAP2	90618	3	1
[94]	7820	PUSH1	90615	3	1
[95]	7822	CALLDATALOAD	90612	3	1
[96]	7823	PUSH1	90609	3	1
[97]	7825	PUSH1	90606	3	1
[98]	7827	PUSH1	90603	3	1
[99]	7829	SHL	90600	3	1
[100]	7830	SUB	90597	3	1
[101]	7831	DUP2	90594	3	1
[102]	7832	GT	90591	3	1
[103]	7833	PUSH2	90588	3	1
[104]	7836	JUMPI	90585	10	1
[105]	7837	DUP2	90575	3	1
[106]	7838	PUSH2	90572	3	1
[107]	7841	SWAP2	90569	3	1
[108]	7842	PUSH1	90566	3	1
[109]	7844	ADD	90563	3	1
[110]	7845	PUSH2	90560	3	1
[111]	7848	JUMP	90557	8	1
[112]	7754	JUMPDEST	90549	1	1
[113]	7755	SWAP2	90548	3	1
[114]	7756	DUP2	90545	3	1
[115]	7757	PUSH1	90542	3	1
[116]	7759	DUP5	90539	3	1
[117]	7760	ADD	90536	3	1
[118]	7761	SLT	90533	3	1
[119]	7762	ISZERO	90530	3	1
[120]	7763	PUSH2	90527	3	1
[121]	7766	JUMPI	90524	10	1
[122]	7767	DUP3	90514	3	1
[123]	7768	CALLDATALOAD	90511	3	1
[124]	7769	SWAP2	90508	3	1
[125]	7770	PUSH1	90505	3	1
[126]	7772	PUSH1	90502	3	1
[127]	7774	PUSH1	90499	3	1
[128]	7776	SHL	90496	3	1
[129]	7777	SUB	90493	3	1
[130]	7778	DUP4	90490	3	1
[131]	7779	GT	90487	3	1
[132]	7780	PUSH2	90484	3	1
[133]	7783	JUMPI	90481	10	1
[134]	7784	PUSH1	90471	3	1
[135]	7786	DUP1	90468	3	1
[136]	7787	DUP6	90465	3	1
[137]	7788	ADD	90462	3	1
[138]	7789	SWAP5	90459	3	1
[139]	7790	DUP5	90456	3	1
[140]	7791	PUSH1	90453	3	1
[141]	7793	SHL	90450	3	1
[142]	7794	ADD	90447	3	1
[143]	7795	ADD	90444	3	1
[144]	7796	GT	90441	3	1
[145]	7797	PUSH2	90438	3	1
[146]	7800	JUMPI	90435	10	1
[147]	7801	JUMP	90425	8	1
[148]	7849	JUMPDEST	90417	1	1
[149]	7850	SWAP3	90416	3	1
[150]	7851	SWAP1	90413	3	1
[151]	7852	SWAP3	90410	3	1
[152]	7853	SWAP2	90407	3	1
[153]	7854	PUSH1	90404	3	1
[154]	7856	CALLDATALOAD	90401	3	1
[155]	7857	SWAP1	90398	3	1
[156]	7858	PUSH1	90395	3	1
[157]	7860	PUSH1	90392	3	1
[158]	7862	PUSH1	90389	3	1
[159]	7864	SHL	90386	3	1
[160]	7865	SUB	90383	3	1
[161]	7866	DUP3	90380	3	1
[162]	7867	GT	90377	3	1
[163]	7868	PUSH2	90374	3	1
[164]	7871	JUMPI	90371	10	1
[165]	7872	PUSH2	90361	3	1
[166]	7875	SWAP2	90358	3	1
[167]	7876	PUSH1	90355	3	1
[168]	7878	ADD	90352	3	1
[169]	7879	PUSH2	90349	3	1
[170]	7882	JUMP	90346	8	1
[171]	7754	JUMPDEST	90338	1	1
[172]	7755	SWAP2	90337	3	1
[173]	7756	DUP2	90334	3	1
[174]	7757	PUSH1	90331	3	1
[175]	7759	DUP5	90328	3	1
[176]	7760	ADD	90325	3	1
[177]	7761	SLT	90322	3	1
[178]	7762	ISZERO	90319	3	1
[179]	7763	PUSH2	90316	3	1
[180]	7766	JUMPI	90313	10	1
[181]	7767	DUP3	90303	3	1
[182]	7768	CALLDATALOAD	90300	3	1
[183]	7769	SWAP2	90297	3	1
[184]	7770	PUSH1	90294	3	1
[185]	7772	PUSH1	90291	3	1
[186]	7774	PUSH1	90288	3	1
[187]	7776	SHL	90285	3	1
[188]	7777	SUB	90282	3	1
[189]	7778	DUP4	90279	3	1
[190]	7779	GT	90276	3	1
[191]	7780	PUSH2	90273	3	1
[192]	7783	JUMPI	90270	10	1
[193]	7784	PUSH1	90260	3	1
[194]	7786	DUP1	90257	3	1
[195]	7787	DUP6	90254	3	1
[196]	7788	ADD	90251	3	1
[197]	7789	SWAP5	90248	3	1
[198]	7790	DUP5	90245	3	1
[199]	7791	PUSH1	90242	3	1
[200]	7793	SHL	90239	3	1
[201]	7794	ADD	90236	3	1
[202]	7795	ADD	90233	3	1
[203]	7796	GT	90230	3	1
[204]	7797	PUSH2	90227	3	1
[205]	7800	JUMPI	90224	10	1
[206]	7801	JUMP	90214	8	1
[207]	7883	JUMPDEST	90206	1	1
[208]	7884	SWAP1	90205	3	1
[209]	7885	SWAP2	90202	3	1
[210]	7886	JUMP	90199	8	1
[211]	6418	JUMPDEST	90191	1	1
[212]	6419	DUP5	90190	3	1
[213]	6420	DUP8	90187	3	1
[214]	6421	SWAP7	90184	3	1
[215]	6422	SWAP3	90181	3	1
[216]	6423	SWAP4	90178	3	1
[217]	6424	SWAP6	90175	3	1
[218]	6425	SWAP7	90172	3	1
[219]	6426	MSTORE	90169	3	1
[220]	6427	PUSH1	90166	3	1
[221]	6429	PUSH1	90163	3	1
[222]	6431	MSTORE	90160	3	1
[223]	6432	PUSH1	90157	3	1
[224]	6434	DUP8	90154	3	1
[225]	6435	KECCAK256	90151	42	1
[226]	6436	SWAP3	90109	3	1
[227]	6437	PUSH2	90106	3	1
[228]	6440	DUP5	90103	3	1
[229]	6441	PUSH2	90100	3	1
[230]	6444	JUMP	90097	8	1
[231]	10278	JUMPDEST	90089	1	1
[232]	10279	SLOAD	90088	2100	1
[233]	10280	PUSH5	87988	3	1
[234]	10286	DUP2	87985	3	1
[235]	10287	PUSH1	87982	3	1
[236]	10289	SHR	87979	3	1
[237]	10290	AND	87976	3	1
[238]	10291	TIMESTAMP	87973	2	1
[239]	10292	LT	87971	3	1
[240]	10293	SWAP1	87968	3	1
[241]	10294	DUP2	87965	3	1
[242]	10295	ISZERO	87962	3	1
[243]	10296	PUSH2	87959	3	1
[244]	10299	JUMPI	87956	10	1
[245]	10324	JUMPDEST	87946	1	1
[246]	10325	PUSH5	87945	3	1
[247]	10331	SWAP2	87942	3	1
[248]	10332	POP	87939	2	1
[249]	10333	PUSH1	87937	3	1
[250]	10335	SHR	87934	3	1
[251]	10336	AND	87931	3	1
[252]	10337	TIMESTAMP	87928	2	1
[253]	10338	GT	87926	3	1
[254]	10339	CODESIZE	87923	2	1
[255]	10340	PUSH2	87921	3	1
[256]	10343	JUMP	87918	8	1
[257]	10300	JUMPDEST	87910	1	1
[258]	10301	POP	87909	2	1
[259]	10302	PUSH2	87907	3	1
[260]	10305	JUMPI	87904	10	1
[261]	10306	JUMP	87894	8	1
[262]	6445	JUMPDEST	87886	1	1
[263]	6446	PUSH2	87885	3	1
[264]	6449	JUMP	87882	8	1
[265]	9964	JUMPDEST	87874	1	1
[266]	9965	PUSH1	87873	3	1
[267]	9967	MLOAD	87870	3	1
[268]	9968	PUSH4	87867	3	1
[269]	9973	PUSH1	87864	3	1
[270]	9975	SHL	87861	3	1
[271]	9976	DUP2	87858	3	1
[272]	9977	MSTORE	87855	9	1
[273]	9978	PUSH1	87846	3	1
[274]	9980	PUSH1	87843	3	1
[275]	9982	DUP3	87840	3	1
[276]	9983	ADD	87837	3	1
[277]	9984	DUP2	87834	3	1
[278]	9985	SWAP1	87831	3	1
[279]	9986	MSTORE	87828	6	1
[280]	9987	PUSH1	87822	3	1
[281]	9989	SWAP4	87819	3	1
[282]	9990	PUSH32	87816	3	1
[283]	10023	PUSH1	87813	3	1
[284]	10025	PUSH1	87810	3	1
[285]	10027	PUSH1	87807	3	1
[286]	10029	SHL	87804	3	1
[287]	10030	SUB	87801	3	1
[288]	10031	AND	87798	3	1
[289]	10032	SWAP3	87795	3	1
[290]	10033	SWAP1	87792	3	1
[291]	10034	SWAP2	87789	3	1
[292]	10035	DUP2	87786	3	1
[293]	10036	DUP1	87783	3	1
[294]	10037	PUSH2	87780	3	1
[295]	10040	PUSH1	87777	3	1
[296]	10042	DUP3	87774	3	1
[297]	10043	ADD	87771	3	1
[298]	10044	DUP7	87768	3	1
[299]	10045	DUP10	87765	3	1
[300]	10046	PUSH2	87762	3	1
[301]	10049	JUMP	87759	8	1
[302]	9685	JUMPDEST	87751	1	1
[303]	9686	SWAP1	87750	3	1
[304]	9687	PUSH1	87747	3	1
[305]	9689	DUP4	87744	3	1
[306]	9690	DUP3	87741	3	1
[307]	9691	DUP2	87738	3	1
[308]	9692	MSTORE	87735	6	1
[309]	9693	ADD	87729	3	1
[310]	9694	SWAP1	87726	3	1
[311]	9695	PUSH1	87723	3	1
[312]	9697	DUP2	87720	3	1
[313]	9698	PUSH1	87717	3	1
[314]	9700	SHL	87714	3	1
[315]	9701	DUP6	87711	3	1
[316]	9702	ADD	87708	3	1
[317]	9703	ADD	87705	3	1
[318]	9704	SWAP4	87702	3	1
[319]	9705	DUP4	87699	3	1
[320]	9706	PUSH1	87696	3	1
[321]	9708	SWAP2	87693	3	1
[322]	9709	JUMPDEST	87690	1	1
[323]	9710	DUP4	87689	3	1
[324]	9711	DUP4	87686	3	1
[325]	9712	LT	87683	3	1
[326]	9713	PUSH2	87680	3	1
[327]	9716	JUMPI	87677	10	1
[328]	9725	JUMPDEST	87667	1	1
[329]	9726	SWAP1	87666	3	1
[330]	9727	SWAP2	87663	3	1
[331]	9728	SWAP3	87660	3	1
[332]	9729	SWAP4	87657	3	1
[333]	9730	SWAP5	87654	3	1
[334]	9731	SWAP6	87651	3	1
[335]	9732	PUSH1	87648	3	1
[336]	9734	NOT	87645	3	1
[337]	9735	DUP3	87642	3	1
[338]	9736	DUP3	87639	3	1
[339]	9737	SUB	87636	3	1
[340]	9738	ADD	87633	3	1
[341]	9739	DUP7	87630	3	1
[342]	9740	MSTORE	87627	6	1
[343]	9741	DUP7	87621	3	1
[344]	9742	CALLDATALOAD	87618	3	1
[345]	9743	PUSH1	87615	3	1
[346]	9745	NOT	87612	3	1
[347]	9746	DUP5	87609	3	1
[348]	9747	CALLDATASIZE	87606	2	1
[349]	9748	SUB	87604	3	1
[350]	9749	ADD	87601	3	1
[351]	9750	DUP2	87598	3	1
[352]	9751	SLT	87595	3	1
[353]	9752	ISZERO	87592	3	1
[354]	9753	PUSH2	87589	3	1
[355]	9756	JUMPI	87586	10	1
[356]	9757	DUP4	87576	3	1
[357]	9758	ADD	87573	3	1
[358]	9759	SWAP1	87570	3	1
[359]	9760	PUSH1	87567	3	1
[360]	9762	DUP3	87564	3	1
[361]	9763	CALLDATALOAD	87561	3	1
[362]	9764	SWAP3	87558	3	1
[363]	9765	ADD	87555	3	1
[364]	9766	SWAP2	87552	3	1
[365]	9767	PUSH1	87549	3	1
[366]	9769	PUSH1	87546	3	1
[367]	9771	PUSH1	87543	3	1
[368]	9773	SHL	87540	3	1
[369]	9774	SUB	87537	3	1
[370]	9775	DUP2	87534	3	1
[371]	9776	GT	87531	3	1
[372]	9777	PUSH2	87528	3	1
[373]	9780	JUMPI	87525	10	1
[374]	9781	DUP1	87515	3	1
[375]	9782	CALLDATASIZE	87512	2	1
[376]	9783	SUB	87510	3	1
[377]	9784	DUP4	87507	3	1
[378]	9785	SGT	87504	3	1
[379]	9786	PUSH2	87501	3	1
[380]	9789	JUMPI	87498	10	1
[381]	9790	PUSH1	87488	3	1
[382]	9792	DUP3	87485	3	1
[383]	9793	DUP3	87482	3	1
[384]	9794	DUP1	87479	3	1
[385]	9795	PUSH1	87476	3	1
[386]	9797	SWAP7	87473	3	1
[387]	9798	DUP5	87470	3	1
[388]	9799	SWAP7	87467	3	1
[389]	9800	SWAP6	87464	3	1
[390]	9801	DUP6	87461	3	1
[391]	9802	SWAP7	87458	3	1
[392]	9803	MSTORE	87455	6	1
[393]	9804	DUP5	87449	3	1
[394]	9805	DUP5	87446	3	1
[395]	9806	ADD	87443	3	1
[396]	9807	CALLDATACOPY	87440	57	1
[397]	9808	PUSH1	87383	3	1
[398]	9810	DUP3	87380	3	1
[399]	9811	DUP3	87377	3	1
[400]	9812	ADD	87374	3	1
[401]	9813	DUP5	87371	3	1
[402]	9814	ADD	87368	3	1
[403]	9815	MSTORE	87365	6	1
[404]	9816	PUSH1	87359	3	1
[405]	9818	ADD	87356	3	1
[406]	9819	PUSH1	87353	3	1
[407]	9821	NOT	87350	3	1
[408]	9822	AND	87347	3	1
[409]	9823	ADD	87344	3	1
[410]	9824	ADD	87341	3	1
[411]	9825	SWAP9	87338	3	1
[412]	9826	ADD	87335	3	1
[413]	9827	SWAP7	87332	3	1
[414]	9828	ADD	87329	3	1
[415]	9829	SWAP5	87326	3	1
[416]	9830	SWAP4	87323	3	1
[417]	9831	ADD	87320	3	1
[418]	9832	SWAP2	87317	3	1
[419]	9833	SWAP1	87314	3	1
[420]	9834	PUSH2	87311	3	1
[421]	9837	JUMP	87308	8	1
[422]	9709	JUMPDEST	87300	1	1
[423]	9710	DUP4	87299	3	1
[424]	9711	DUP4	87296	3	1
[425]	9712	LT	87293	3	1
[426]	9713	PUSH2	87290	3	1
[427]	9716	JUMPI	87287	10	1
[428]	9717	POP	87277	2	1
[429]	9718	POP	87275	2	1
[430]	9719	POP	87273	2	1
[431]	9720	POP	87271	2	1
[432]	9721	POP	87269	2	1
[433]	9722	POP	87267	2	1
[434]	9723	SWAP1	87265	3	1
[435]	9724	JUMP	87262	8	1
[436]	10050	JUMPDEST	87254	1	1
[437]	10051	SUB	87253	3	1
[438]	10052	DUP2	87250	3	1
[439]	10053	DUP7	87247	3	1
[440]	10054	GAS	87244	2	1
[441]	10055	STATICCALL	87242	85920	1
[442]	0	PUSH1	83320	3	2
[443]	2	PUSH1	83317	3	2
[444]	4	MSTORE	83314	12	2
[445]	5	PUSH1	83302	3	2
[446]	7	CALLDATASIZE	83299	2	2
[447]	8	LT	83297	3	2
[448]	9	PUSH2	83294	3	2
[449]	12	JUMPI	83291	10	2
[450]	13	PUSH1	83281	3	2
[451]	15	CALLDATALOAD	83278	3	2
[452]	16	PUSH1	83275	3	2
[453]	18	SHR	83272	3	2
[454]	19	DUP1	83269	3	2
[455]	20	PUSH4	83266	3	2
[456]	25	GT	83263	3	2
[457]	26	PUSH2	83260	3	2
[458]	29	JUMPI	83257	10	2
[459]	30	DUP1	83247	3	2
[460]	31	PUSH4	83244	3	2
[461]	36	GT	83241	3	2
[462]	37	PUSH2	83238	3	2
[463]	40	JUMPI	83235	10	2
[464]	41	DUP1	83225	3	2
[465]	42	PUSH4	83222	3	2
[466]	47	EQ	83219	3	2
[467]	48	PUSH2	83216	3	2
[468]	51	JUMPI	83213	10	2
[469]	52	DUP1	83203	3	2
[470]	53	PUSH4	83200	3	2
[471]	58	EQ	83197	3	2
[472]	59	PUSH2	83194	3	2
[473]	62	JUMPI	83191	10	2
[474]	646	JUMPDEST	83181	1	2
[475]	647	CALLVALUE	83180	2	2
[476]	648	DUP1	83178	3	2
[477]	649	ISZERO	83175	3	2
[478]	650	PUSH2	83172	3	2
[479]	653	JUMPI	83169	10	2
[480]	658	JUMPDEST	83159	1	2
[481]	659	POP	83158	2	2
[482]	660	PUSH2	83156	3	2
[483]	663	PUSH2	83153	3	2
[484]	666	CALLDATASIZE	83150	2	2
[485]	667	PUSH1	83148	3	2
[486]	669	PUSH2	83145	3	2
[487]	672	JUMP	83142	8	2
[488]	3912	JUMPDEST	83134	1	2
[489]	3913	PUSH1	83133	3	2
[490]	3915	DUP1	83130	3	2
[491]	3916	PUSH1	83127	3	2
[492]	3918	DUP4	83124	3	2
[493]	3919	DUP6	83121	3	2
[494]	3920	SUB	83118	3	2
[495]	3921	SLT	83115	3	2
[496]	3922	ISZERO	83112	3	2
[497]	3923	PUSH2	83109	3	2
[498]	3926	JUMPI	83106	10	2
[499]	3931	JUMPDEST	83096	1	2
[500]	3932	DUP3	83095	3	2
[501]	3933	CALLDATALOAD	83092	3	2
[502]	3934	PUSH1	83089	3	2
[503]	3936	PUSH1	83086	3	2
[504]	3938	PUSH1	83083	3	2
[505]	3940	SHL	83080	3	2
[506]	3941	SUB	83077	3	2
[507]	3942	DUP2	83074	3	2
[508]	3943	GT	83071	3	2
[509]	3944	ISZERO	83068	3	2
[510]	3945	PUSH2	83065	3	2
[511]	3948	JUMPI	83062	10	2
[512]	3953	JUMPDEST	83052	1	2
[513]	3954	PUSH2	83051	3	2
[514]	3957	DUP6	83048	3	2
[515]	3958	DUP3	83045	3	2
[516]	3959	DUP7	83042	3	2
[517]	3960	ADD	83039	3	2
[518]	3961	PUSH2	83036	3	2
[519]	3964	JUMP	83033	8	2
[520]	3084	JUMPDEST	83025	1	2
[521]	3085	PUSH1	83024	3	2
[522]	3087	DUP1	83021	3	2
[523]	3088	DUP4	83018	3	2
[524]	3089	PUSH1	83015	3	2
[525]	3091	DUP5	83012	3	2
[526]	3092	ADD	83009	3	2
[527]	3093	SLT	83006	3	2
[528]	3094	PUSH2	83003	3	2
[529]	3097	JUMPI	83000	10	2
[530]	3102	JUMPDEST	82990	1	2
[531]	3103	POP	82989	2	2
[532]	3104	DUP2	82987	3	2
[533]	3105	CALLDATALOAD	82984	3	2
[534]	3106	PUSH1	82981	3	2
[535]	3108	PUSH1	82978	3	2
[536]	3110	PUSH1	82975	3	2
[537]	3112	SHL	82972	3	2
[538]	3113	SUB	82969	3	2
[539]	3114	DUP2	82966	3	2
[540]	3115	GT	82963	3	2
[541]	3116	ISZERO	82960	3	2
[542]	3117	PUSH2	82957	3	2
[543]	3120	JUMPI	82954	10	2
[544]	3125	JUMPDEST	82944	1	2
[545]	3126	PUSH1	82943	3	2
[546]	3128	DUP4	82940	3	2
[547]	3129	ADD	82937	3	2
[548]	3130	SWAP2	82934	3	2
[549]	3131	POP	82931	2	2
[550]	3132	DUP4	82929	3	2
[551]	3133	PUSH1	82926	3	2
[552]	3135	DUP3	82923	3	2
[553]	3136	PUSH1	82920	3	2
[554]	3138	SHL	82917	3	2
[555]	3139	DUP6	82914	3	2
[556]	3140	ADD	82911	3	2
[557]	3141	ADD	82908	3	2
[558]	3142	GT	82905	3	2
[559]	3143	ISZERO	82902	3	2
[560]	3144	PUSH2	82899	3	2
[561]	3147	JUMPI	82896	10	2
[562]	3152	JUMPDEST	82886	1	2
[563]	3153	SWAP3	82885	3	2
[564]	3154	POP	82882	2	2
[565]	3155	SWAP3	82880	3	2
[566]	3156	SWAP1	82877	3	2
[567]	3157	POP	82874	2	2
[568]	3158	JUMP	82872	8	2
[569]	3965	JUMPDEST	82864	1	2
[570]	3966	SWAP1	82863	3	2
[571]	3967	SWAP7	82860	3	2
[572]	3968	SWAP1	82857	3	2
[573]	3969	SWAP6	82854	3	2
[574]	3970	POP	82851	2	2
[575]	3971	SWAP4	82849	3	2
[576]	3972	POP	82846	2	2
[577]	3973	POP	82844	2	2
[578]	3974	POP	82842	2	2
[579]	3975	POP	82840	2	2
[580]	3976	JUMP	82838	8	2
[581]	673	JUMPDEST	82830	1	2
[582]	674	PUSH2	82829	3	2
[583]	677	JUMP	82826	8	2
[584]	2087	JUMPDEST	82818	1	2
[585]	2088	PUSH1	82817	3	2
[586]	2090	SLOAD	82814	2100	2
[587]	2091	PUSH1	80714	3	2
[588]	2093	SWAP1	80711	3	2
[589]	2094	PUSH2	80708	3	2
[590]	2097	SWAP1	80705	3	2
[591]	2098	DUP4	80702	3	2
[592]	2099	SWAP1	80699	3	2
[593]	2100	PUSH2	80696	3	2
[594]	2103	JUMP	80693	8	2
[595]	4398	JUMPDEST	80685	1	2
[596]	4399	DUP1	80684	3	2
[597]	4400	DUP3	80681	3	2
[598]	4401	MUL	80678	5	2
[599]	4402	DUP2	80673	3	2
[600]	4403	ISZERO	80670	3	2
[601]	4404	DUP3	80667	3	2
[602]	4405	DUP3	80664	3	2
[603]	4406	DIV	80661	5	2
[604]	4407	DUP5	80656	3	2
[605]	4408	EQ	80653	3	2
[606]	4409	OR	80650	3	2
[607]	4410	PUSH2	80647	3	2
[608]	4413	JUMPI	80644	10	2
[609]	753	JUMPDEST	80634	1	2
[610]	754	SWAP3	80633	3	2
[611]	755	SWAP2	80630	3	2
[612]	756	POP	80627	2	2
[613]	757	POP	80625	2	2
[614]	758	JUMP	80623	8	2
[615]	1585	JUMPDEST	80615	1	2
[616]	1586	SWAP4	80614	3	2
[617]	1587	SWAP3	80611	3	2
[618]	1588	POP	80608	2	2
[619]	1589	POP	80606	2	2
[620]	1590	POP	80604	2	2
[621]	1591	JUMP	80602	8	2
[622]	678	JUMPDEST	80594	1	2
[623]	679	PUSH1	80593	3	2
[624]	681	MLOAD	80590	3	2
[625]	682	SWAP1	80587	3	2
[626]	683	DUP2	80584	3	2
[627]	684	MSTORE	80581	9	2
[628]	685	PUSH1	80572	3	2
[629]	687	ADD	80569	3	2
[630]	688	PUSH2	80566	3	2
[631]	691	JUMP	80563	8	2
[632]	271	JUMPDEST	80555	1	2
[633]	272	PUSH1	80554	3	2
[634]	274	MLOAD	80551	3	2
[635]	275	DUP1	80548	3	2
[636]	276	SWAP2	80545	3	2
[637]	277	SUB	80542	3	2
[638]	278	SWAP1	80539	3	2
[639]	279	RETURN	80536	0	2
[640]	10056	SWAP1	81858	3	1
[641]	10057	DUP2	81855	3	1
[642]	10058	ISZERO	81852	3	1
[643]	10059	PUSH2	81849	3	1
[644]	10062	JUMPI	81846	10	1
[645]	10063	DUP6	81836	3	1
[646]	10064	SWAP2	81833	3	1
[647]	10065	PUSH2	81830	3	1
[648]	10068	JUMPI	81827	10	1
[649]	10152	JUMPDEST	81817	1	1
[650]	10153	SWAP1	81816	3	1
[651]	10154	POP	81813	2	1
[652]	10155	PUSH1	81811	3	1
[653]	10157	DUP2	81808	3	1
[654]	10158	RETURNDATASIZE	81805	2	1
[655]	10159	PUSH1	81803	3	1
[656]	10161	GT	81800	3	1
[657]	10162	PUSH2	81797	3	1
[658]	10165	JUMPI	81794	10	1
[659]	10166	JUMPDEST	81784	1	1
[660]	10167	DUP2	81783	3	1
[661]	10168	PUSH2	81780	3	1
[662]	10171	PUSH1	81777	3	1
[663]	10173	SWAP4	81774	3	1
[664]	10174	DUP4	81771	3	1
[665]	10175	PUSH2	81768	3	1
[666]	10178	JUMP	81765	8	1
[667]	7990	JUMPDEST	81757	1	1
[668]	7991	SWAP1	81756	3	1
[669]	7992	PUSH1	81753	3	1
[670]	7994	DUP1	81750	3	1
[671]	7995	NOT	81747	3	1
[672]	7996	SWAP2	81744	3	1
[673]	7997	ADD	81741	3	1
[674]	7998	AND	81738	3	1
[675]	7999	DUP2	81735	3	1
[676]	8000	ADD	81732	3	1
[677]	8001	SWAP1	81729	3	1
[678]	8002	DUP2	81726	3	1
[679]	8003	LT	81723	3	1
[680]	8004	PUSH1	81720	3	1
[681]	8006	PUSH1	81717	3	1
[682]	8008	PUSH1	81714	3	1
[683]	8010	SHL	81711	3	1
[684]	8011	SUB	81708	3	1
[685]	8012	DUP3	81705	3	1
[686]	8013	GT	81702	3	1
[687]	8014	OR	81699	3	1
[688]	8015	PUSH2	81696	3	1
[689]	8018	JUMPI	81693	10	1
[690]	8019	PUSH1	81683	3	1
[691]	8021	MSTORE	81680	3	1
[692]	8022	JUMP	81677	8	1
[693]	10179	JUMPDEST	81669	1	1
[694]	10180	DUP2	81668	3	1
[695]	10181	ADD	81665	3	1
[696]	10182	SUB	81662	3	1
[697]	10183	SLT	81659	3	1
[698]	10184	PUSH2	81656	3	1
[699]	10187	JUMPI	81653	10	1
[700]	10188	MLOAD	81643	3	1
[701]	10189	CODESIZE	81640	2	1
[702]	10190	PUSH2	81638	3	1
[703]	10193	JUMP	81635	8	1
[704]	10069	JUMPDEST	81627	1	1
[705]	10070	POP	81626	2	1
[706]	10071	DUP3	81624	3	1
[707]	10072	EXTCODESIZE	81621	100	1
[708]	10073	ISZERO	81521	3	1
[709]	10074	PUSH2	81518	3	1
[710]	10077	JUMPI	81515	10	1
[711]	10078	SWAP2	81505	3	1
[712]	10079	PUSH2	81502	3	1
[713]	10082	SWAP4	81499	3	1
[714]	10083	SWAP2	81496	3	1
[715]	10084	DUP6	81493	3	1
[716]	10085	SWAP4	81490	3	1
[717]	10086	PUSH1	81487	3	1
[718]	10088	MLOAD	81484	3	1
[719]	10089	DUP1	81481	3	1
[720]	10090	SWAP7	81478	3	1
[721]	10091	DUP2	81475	3	1
[722]	10092	SWAP6	81472	3	1
[723]	10093	DUP3	81469	3	1
[724]	10094	SWAP5	81466	3	1
[725]	10095	PUSH4	81463	3	1
[726]	10100	PUSH1	81460	3	1
[727]	10102	SHL	81457	3	1
[728]	10103	DUP5	81454	3	1
[729]	10104	MSTORE	81451	3	1
[730]	10105	PUSH1	81448	3	1
[731]	10107	PUSH1	81445	3	1
[732]	10109	DUP6	81442	3	1
[733]	10110	ADD	81439	3	1
[734]	10111	MSTORE	81436	3	1
[735]	10112	PUSH1	81433	3	1
[736]	10114	DUP5	81430	3	1
[737]	10115	ADD	81427	3	1
[738]	10116	SWAP2	81424	3	1
[739]	10117	PUSH2	81421	3	1
[740]	10120	JUMP	81418	8	1
[741]	9685	JUMPDEST	81410	1	1
[742]	9686	SWAP1	81409	3	1
[743]	9687	PUSH1	81406	3	1
[744]	9689	DUP4	81403	3	1
[745]	9690	DUP3	81400	3	1
[746]	9691	DUP2	81397	3	1
[747]	9692	MSTORE	81394	3	1
[748]	9693	ADD	81391	3	1
[749]	9694	SWAP1	81388	3	1
[750]	9695	PUSH1	81385	3	1
[751]	9697	DUP2	81382	3	1
[752]	9698	PUSH1	81379	3	1
[753]	9700	SHL	81376	3	1
[754]	9701	DUP6	81373	3	1
[755]	9702	ADD	81370	3	1
[756]	9703	ADD	81367	3	1
[757]	9704	SWAP4	81364	3	1
[758]	9705	DUP4	81361	3	1
[759]	9706	PUSH1	81358	3	1
[760]	9708	SWAP2	81355	3	1
[761]	9709	JUMPDEST	81352	1	1
[762]	9710	DUP4	81351	3	1
[763]	9711	DUP4	81348	3	1
[764]	9712	LT	81345	3	1
[765]	9713	PUSH2	81342	3	1
[766]	9716	JUMPI	81339	10	1
[767]	9725	JUMPDEST	81329	1	1
[768]	9726	SWAP1	81328	3	1
[769]	9727	SWAP2	81325	3	1
[770]	9728	SWAP3	81322	3	1
[771]	9729	SWAP4	81319	3	1
[772]	9730	SWAP5	81316	3	1
[773]	9731	SWAP6	81313	3	1
[774]	9732	PUSH1	81310	3	1
[775]	9734	NOT	81307	3	1
[776]	9735	DUP3	81304	3	1
[777]	9736	DUP3	81301	3	1
[778]	9737	SUB	81298	3	1
[779]	9738	ADD	81295	3	1
[780]	9739	DUP7	81292	3	1
[781]	9740	MSTORE	81289	3	1
[782]	9741	DUP7	81286	3	1
[783]	9742	CALLDATALOAD	81283	3	1
[784]	9743	PUSH1	81280	3	1
[785]	9745	NOT	81277	3	1
[786]	9746	DUP5	81274	3	1
[787]	9747	CALLDATASIZE	81271	2	1
[788]	9748	SUB	81269	3	1
[789]	9749	ADD	81266	3	1
[790]	9750	DUP2	81263	3	1
[791]	9751	SLT	81260	3	1
[792]	9752	ISZERO	81257	3	1
[793]	9753	PUSH2	81254	3	1
[794]	9756	JUMPI	81251	10	1
[795]	9757	DUP4	81241	3	1
[796]	9758	ADD	81238	3	1
[797]	9759	SWAP1	81235	3	1
[798]	9760	PUSH1	81232	3	1
[799]	9762	DUP3	81229	3	1
[800]	9763	CALLDATALOAD	81226	3	1
[801]	9764	SWAP3	81223	3	1
[802]	9765	ADD	81220	3	1
[803]	9766	SWAP2	81217	3	1
[804]	9767	PUSH1	81214	3	1
[805]	9769	PUSH1	81211	3	1
[806]	9771	PUSH1	81208	3	1
[807]	9773	SHL	81205	3	1
[808]	9774	SUB	81202	3	1
[809]	9775	DUP2	81199	3	1
[810]	9776	GT	81196	3	1
[811]	9777	PUSH2	81193	3	1
[812]	9780	JUMPI	81190	10	1
[813]	9781	DUP1	81180	3	1
[814]	9782	CALLDATASIZE	81177	2	1
[815]	9783	SUB	81175	3	1
[816]	9784	DUP4	81172	3	1
[817]	9785	SGT	81169	3	1
[818]	9786	PUSH2	81166	3	1
[819]	9789	JUMPI	81163	10	1
[820]	9790	PUSH1	81153	3	1
[821]	9792	DUP3	81150	3	1
[822]	9793	DUP3	81147	3	1
[823]	9794	DUP1	81144	3	1
[824]	9795	PUSH1	81141	3	1
[825]	9797	SWAP7	81138	3	1
[826]	9798	DUP5	81135	3	1
[827]	9799	SWAP7	81132	3	1
[828]	9800	SWAP6	81129	3	1
[829]	9801	DUP6	81126	3	1
[830]	9802	SWAP7	81123	3	1
[831]	9803	MSTORE	81120	3	1
[832]	9804	DUP5	81117	3	1
[833]	9805	DUP5	81114	3	1
[834]	9806	ADD	81111	3	1
[835]	9807	CALLDATACOPY	81108	30	1
[836]	9808	PUSH1	81078	3	1
[837]	9810	DUP3	81075	3	1
[838]	9811	DUP3	81072	3	1
[839]	9812	ADD	81069	3	1
[840]	9813	DUP5	81066	3	1
[841]	9814	ADD	81063	3	1
[842]	9815	MSTORE	81060	6	1
[843]	9816	PUSH1	81054	3	1
[844]	9818	ADD	81051	3	1
[845]	9819	PUSH1	81048	3	1
[846]	9821	NOT	81045	3	1
[847]	9822	AND	81042	3	1
[848]	9823	ADD	81039	3	1
[849]	9824	ADD	81036	3	1
[850]	9825	SWAP9	81033	3	1
[851]	9826	ADD	81030	3	1
[852]	9827	SWAP7	81027	3	1
[853]	9828	ADD	81024	3	1
[854]	9829	SWAP5	81021	3	1
[855]	9830	SWAP4	81018	3	1
[856]	9831	ADD	81015	3	1
[857]	9832	SWAP2	81012	3	1
[858]	9833	SWAP1	81009	3	1
[859]	9834	PUSH2	81006	3	1
[860]	9837	JUMP	81003	8	1
[861]	9709	JUMPDEST	80995	1	1
[862]	9710	DUP4	80994	3	1
[863]	9711	DUP4	80991	3	1
[864]	9712	LT	80988	3	1
[865]	9713	PUSH2	80985	3	1
[866]	9716	JUMPI	80982	10	1
[867]	9717	POP	80972	2	1
[868]	9718	POP	80970	2	1
[869]	9719	POP	80968	2	1
[870]	9720	POP	80966	2	1
[871]	9721	POP	80964	2	1
[872]	9722	POP	80962	2	1
[873]	9723	SWAP1	80960	3	1
[874]	9724	JUMP	80957	8	1
[875]	10121	JUMPDEST	80949	1	1
[876]	10122	SUB	80948	3	1
[877]	10123	SWAP3	80945	3	1
[878]	10124	GAS	80942	2	1
[879]	10125	CALL	80940	79818	1
[880]	0	PUSH1	73018	3	2
[881]	2	PUSH1	73015	3	2
[882]	4	MSTORE	73012	12	2
[883]	5	PUSH1	73000	3	2
[884]	7	CALLDATASIZE	72997	2	2
[885]	8	LT	72995	3	2
[886]	9	PUSH2	72992	3	2
[887]	12	JUMPI	72989	10	2
[888]	13	PUSH1	72979	3	2
[889]	15	CALLDATALOAD	72976	3	2
[890]	16	PUSH1	72973	3	2
[891]	18	SHR	72970	3	2
[892]	19	DUP1	72967	3	2
[893]	20	PUSH4	72964	3	2
[894]	25	GT	72961	3	2
[895]	26	PUSH2	72958	3	2
[896]	29	JUMPI	72955	10	2
[897]	30	DUP1	72945	3	2
[898]	31	PUSH4	72942	3	2
[899]	36	GT	72939	3	2
[900]	37	PUSH2	72936	3	2
[901]	40	JUMPI	72933	10	2
[902]	41	DUP1	72923	3	2
[903]	42	PUSH4	72920	3	2
[904]	47	EQ	72917	3	2
[905]	48	PUSH2	72914	3	2
[906]	51	JUMPI	72911	10	2
[907]	52	DUP1	72901	3	2
[908]	53	PUSH4	72898	3	2
[909]	58	EQ	72895	3	2
[910]	59	PUSH2	72892	3	2
[911]	62	JUMPI	72889	10	2
[912]	63	DUP1	72879	3	2
[913]	64	PUSH4	72876	3	2
[914]	69	EQ	72873	3	2
[915]	70	PUSH2	72870	3	2
[916]	73	JUMPI	72867	10	2
[917]	74	DUP1	72857	3	2
[918]	75	PUSH4	72854	3	2
[919]	80	EQ	72851	3	2
[920]	81	PUSH2	72848	3	2
[921]	84	JUMPI	72845	10	2
[922]	713	JUMPDEST	72835	1	2
[923]	714	PUSH2	72834	3	2
[924]	717	PUSH2	72831	3	2
[925]	720	CALLDATASIZE	72828	2	2
[926]	721	PUSH1	72826	3	2
[927]	723	PUSH2	72823	3	2
[928]	726	JUMP	72820	8	2
[929]	3912	JUMPDEST	72812	1	2
[930]	3913	PUSH1	72811	3	2
[931]	3915	DUP1	72808	3	2
[932]	3916	PUSH1	72805	3	2
[933]	3918	DUP4	72802	3	2
[934]	3919	DUP6	72799	3	2
[935]	3920	SUB	72796	3	2
[936]	3921	SLT	72793	3	2
[937]	3922	ISZERO	72790	3	2
[938]	3923	PUSH2	72787	3	2
[939]	3926	JUMPI	72784	10	2
[940]	3931	JUMPDEST	72774	1	2
[941]	3932	DUP3	72773	3	2
[942]	3933	CALLDATALOAD	72770	3	2
[943]	3934	PUSH1	72767	3	2
[944]	3936	PUSH1	72764	3	2
[945]	3938	PUSH1	72761	3	2
[946]	3940	SHL	72758	3	2
[947]	3941	SUB	72755	3	2
[948]	3942	DUP2	72752	3	2
[949]	3943	GT	72749	3	2
[950]	3944	ISZERO	72746	3	2
[951]	3945	PUSH2	72743	3	2
[952]	3948	JUMPI	72740	10	2
[953]	3953	JUMPDEST	72730	1	2
[954]	3954	PUSH2	72729	3	2
[955]	3957	DUP6	72726	3	2
[956]	3958	DUP3	72723	3	2
[957]	3959	DUP7	72720	3	2
[958]	3960	ADD	72717	3	2
[959]	3961	PUSH2	72714	3	2
[960]	3964	JUMP	72711	8	2
[961]	3084	JUMPDEST	72703	1	2
[962]	3085	PUSH1	72702	3	2
[963]	3087	DUP1	72699	3	2
[964]	3088	DUP4	72696	3	2
[965]	3089	PUSH1	72693	3	2
[966]	3091	DUP5	72690	3	2
[967]	3092	ADD	72687	3	2
[968]	3093	SLT	72684	3	2
[969]	3094	PUSH2	72681	3	2
[970]	3097	JUMPI	72678	10	2
[971]	3102	JUMPDEST	72668	1	2
[972]	3103	POP	72667	2	2
[973]	3104	DUP2	72665	3	2
[974]	3105	CALLDATALOAD	72662	3	2
[975]	3106	PUSH1	72659	3	2
[976]	3108	PUSH1	72656	3	2
[977]	3110	PUSH1	72653	3	2
[978]	3112	SHL	72650	3	2
[979]	3113	SUB	72647	3	2
[980]	3114	DUP2	72644	3	2
[981]	3115	GT	72641	3	2
[982]	3116	ISZERO	72638	3	2
[983]	3117	PUSH2	72635	3	2
[984]	3120	JUMPI	72632	10	2
[985]	3125	JUMPDEST	72622	1	2
[986]	3126	PUSH1	72621	3	2
[987]	3128	DUP4	72618	3	2
[988]	3129	ADD	72615	3	2
[989]	3130	SWAP2	72612	3	2
[990]	3131	POP	72609	2	2
[991]	3132	DUP4	72607	3	2
[992]	3133	PUSH1	72604	3	2
[993]	3135	DUP3	72601	3	2
[994]	3136	PUSH1	72598	3	2
[995]	3138	SHL	72595	3	2
[996]	3139	DUP6	72592	3	2
[997]	3140	ADD	72589	3	2
[998]	3141	ADD	72586	3	2
[999]	3142	GT	72583	3	2
[1000]	3143	ISZERO	72580	3	2