Geth VM Trace Transaction

GETH Trace for Txn Hash 0x3ed694dc3e0a2c7dfd6c85833f70c9d00a5171ceec67d6ae39ffc3e6cfc9aa84

Contract transaction successfully completed.

Raw traces

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

Step	PC	Operation	Gas	GasCost	Depth
[1]	0	PUSH1	1966292	3	1
[2]	2	PUSH2	1966289	3	1
[3]	5	DUP2	1966286	3	1
[4]	6	MSTORE	1966283	12	1
[5]	7	PUSH1	1966271	3	1
[6]	9	SWAP1	1966268	3	1
[7]	10	DUP2	1966265	3	1
[8]	11	CALLDATASIZE	1966262	2	1
[9]	12	LT	1966260	3	1
[10]	13	ISZERO	1966257	3	1
[11]	14	PUSH2	1966254	3	1
[12]	17	JUMPI	1966251	10	1
[13]	32	JUMPDEST	1966241	1	1
[14]	33	PUSH0	1966240	2	1
[15]	34	SWAP2	1966238	3	1
[16]	35	PUSH0	1966235	2	1
[17]	36	CALLDATALOAD	1966233	3	1
[18]	37	PUSH1	1966230	3	1
[19]	39	SHR	1966227	3	1
[20]	40	DUP1	1966224	3	1
[21]	41	PUSH4	1966221	3	1
[22]	46	EQ	1966218	3	1
[23]	47	PUSH2	1966215	3	1
[24]	50	JUMPI	1966212	10	1
[25]	51	DUP1	1966202	3	1
[26]	52	PUSH4	1966199	3	1
[27]	57	EQ	1966196	3	1
[28]	58	PUSH2	1966193	3	1
[29]	61	JUMPI	1966190	10	1
[30]	62	DUP1	1966180	3	1
[31]	63	PUSH4	1966177	3	1
[32]	68	EQ	1966174	3	1
[33]	69	PUSH2	1966171	3	1
[34]	72	JUMPI	1966168	10	1
[35]	73	DUP1	1966158	3	1
[36]	74	PUSH4	1966155	3	1
[37]	79	EQ	1966152	3	1
[38]	80	PUSH2	1966149	3	1
[39]	83	JUMPI	1966146	10	1
[40]	2296	JUMPDEST	1966136	1	1
[41]	2297	POP	1966135	2	1
[42]	2298	PUSH1	1966133	3	1
[43]	2300	PUSH1	1966130	3	1
[44]	2302	NOT	1966127	3	1
[45]	2303	CALLDATASIZE	1966124	2	1
[46]	2304	ADD	1966122	3	1
[47]	2305	SLT	1966119	3	1
[48]	2306	PUSH2	1966116	3	1
[49]	2309	JUMPI	1966113	10	1
[50]	2310	DUP1	1966103	3	1
[51]	2311	CALLDATALOAD	1966100	3	1
[52]	2312	PUSH8	1966097	3	1
[53]	2321	DUP2	1966094	3	1
[54]	2322	GT	1966091	3	1
[55]	2323	PUSH2	1966088	3	1
[56]	2326	JUMPI	1966085	10	1
[57]	2327	PUSH2	1966075	3	1
[58]	2330	SWAP2	1966072	3	1
[59]	2331	CALLDATASIZE	1966069	2	1
[60]	2332	SWAP2	1966067	3	1
[61]	2333	ADD	1966064	3	1
[62]	2334	PUSH2	1966061	3	1
[63]	2337	JUMP	1966058	8	1
[64]	4966	JUMPDEST	1966050	1	1
[65]	4967	SWAP2	1966049	3	1
[66]	4968	DUP2	1966046	3	1
[67]	4969	PUSH1	1966043	3	1
[68]	4971	DUP5	1966040	3	1
[69]	4972	ADD	1966037	3	1
[70]	4973	SLT	1966034	3	1
[71]	4974	ISZERO	1966031	3	1
[72]	4975	PUSH2	1966028	3	1
[73]	4978	JUMPI	1966025	10	1
[74]	4979	DUP3	1966015	3	1
[75]	4980	CALLDATALOAD	1966012	3	1
[76]	4981	SWAP2	1966009	3	1
[77]	4982	PUSH8	1966006	3	1
[78]	4991	DUP4	1966003	3	1
[79]	4992	GT	1966000	3	1
[80]	4993	PUSH2	1965997	3	1
[81]	4996	JUMPI	1965994	10	1
[82]	4997	PUSH1	1965984	3	1
[83]	4999	DUP1	1965981	3	1
[84]	5000	DUP6	1965978	3	1
[85]	5001	ADD	1965975	3	1
[86]	5002	SWAP5	1965972	3	1
[87]	5003	DUP5	1965969	3	1
[88]	5004	PUSH1	1965966	3	1
[89]	5006	SHL	1965963	3	1
[90]	5007	ADD	1965960	3	1
[91]	5008	ADD	1965957	3	1
[92]	5009	GT	1965954	3	1
[93]	5010	PUSH2	1965951	3	1
[94]	5013	JUMPI	1965948	10	1
[95]	5014	JUMP	1965938	8	1
[96]	2338	JUMPDEST	1965930	1	1
[97]	2339	SWAP2	1965929	3	1
[98]	2340	SWAP1	1965926	3	1
[99]	2341	PUSH2	1965923	3	1
[100]	2344	PUSH2	1965920	3	1
[101]	2347	JUMP	1965917	8	1
[102]	4878	JUMPDEST	1965909	1	1
[103]	4879	PUSH1	1965908	3	1
[104]	4881	CALLDATALOAD	1965905	3	1
[105]	4882	SWAP1	1965902	3	1
[106]	4883	PUSH1	1965899	3	1
[107]	4885	PUSH1	1965896	3	1
[108]	4887	PUSH1	1965893	3	1
[109]	4889	SHL	1965890	3	1
[110]	4890	SUB	1965887	3	1
[111]	4891	DUP3	1965884	3	1
[112]	4892	AND	1965881	3	1
[113]	4893	DUP3	1965878	3	1
[114]	4894	SUB	1965875	3	1
[115]	4895	PUSH2	1965872	3	1
[116]	4898	JUMPI	1965869	10	1
[117]	4899	JUMP	1965859	8	1
[118]	2348	JUMPDEST	1965851	1	1
[119]	2349	PUSH2	1965850	3	1
[120]	2352	PUSH2	1965847	3	1
[121]	2355	JUMP	1965844	8	1
[122]	5015	JUMPDEST	1965836	1	1
[123]	5016	PUSH1	1965835	3	1
[124]	5018	CALLDATALOAD	1965832	3	1
[125]	5019	SWAP1	1965829	3	1
[126]	5020	PUSH1	1965826	3	1
[127]	5022	PUSH1	1965823	3	1
[128]	5024	PUSH1	1965820	3	1
[129]	5026	SHL	1965817	3	1
[130]	5027	SUB	1965814	3	1
[131]	5028	DUP3	1965811	3	1
[132]	5029	AND	1965808	3	1
[133]	5030	DUP3	1965805	3	1
[134]	5031	SUB	1965802	3	1
[135]	5032	PUSH2	1965799	3	1
[136]	5035	JUMPI	1965796	10	1
[137]	5036	JUMP	1965786	8	1
[138]	2356	JUMPDEST	1965778	1	1
[139]	2357	PUSH2	1965777	3	1
[140]	2360	PUSH2	1965774	3	1
[141]	2363	JUMP	1965771	8	1
[142]	5037	JUMPDEST	1965763	1	1
[143]	5038	PUSH1	1965762	3	1
[144]	5040	CALLDATALOAD	1965759	3	1
[145]	5041	SWAP1	1965756	3	1
[146]	5042	PUSH1	1965753	3	1
[147]	5044	PUSH1	1965750	3	1
[148]	5046	PUSH1	1965747	3	1
[149]	5048	SHL	1965744	3	1
[150]	5049	SUB	1965741	3	1
[151]	5050	DUP3	1965738	3	1
[152]	5051	AND	1965735	3	1
[153]	5052	DUP3	1965732	3	1
[154]	5053	SUB	1965729	3	1
[155]	5054	PUSH2	1965726	3	1
[156]	5057	JUMPI	1965723	10	1
[157]	5058	JUMP	1965713	8	1
[158]	2364	JUMPDEST	1965705	1	1
[159]	2365	PUSH2	1965704	3	1
[160]	2368	PUSH2	1965701	3	1
[161]	2371	JUMP	1965698	8	1
[162]	5059	JUMPDEST	1965690	1	1
[163]	5060	PUSH1	1965689	3	1
[164]	5062	CALLDATALOAD	1965686	3	1
[165]	5063	SWAP1	1965683	3	1
[166]	5064	PUSH1	1965680	3	1
[167]	5066	PUSH1	1965677	3	1
[168]	5068	PUSH1	1965674	3	1
[169]	5070	SHL	1965671	3	1
[170]	5071	SUB	1965668	3	1
[171]	5072	DUP3	1965665	3	1
[172]	5073	AND	1965662	3	1
[173]	5074	DUP3	1965659	3	1
[174]	5075	SUB	1965656	3	1
[175]	5076	PUSH2	1965653	3	1
[176]	5079	JUMPI	1965650	10	1
[177]	5080	JUMP	1965640	8	1
[178]	2372	JUMPDEST	1965632	1	1
[179]	2373	SWAP2	1965631	3	1
[180]	2374	PUSH1	1965628	3	1
[181]	2376	CALLDATALOAD	1965625	3	1
[182]	2377	SWAP4	1965622	3	1
[183]	2378	PUSH2	1965619	3	1
[184]	2381	DUP6	1965616	3	1
[185]	2382	AND	1965613	3	1
[186]	2383	DUP6	1965610	3	1
[187]	2384	SUB	1965607	3	1
[188]	2385	PUSH2	1965604	3	1
[189]	2388	JUMPI	1965601	10	1
[190]	2389	PUSH1	1965591	3	1
[191]	2391	SWAP8	1965588	3	1
[192]	2392	PUSH2	1965585	3	1
[193]	2395	SWAP7	1965582	3	1
[194]	2396	PUSH20	1965579	3	1
[195]	2417	CALLER	1965576	2	1
[196]	2418	EQ	1965574	3	1
[197]	2419	DUP1	1965571	3	1
[198]	2420	ISZERO	1965568	3	1
[199]	2421	PUSH2	1965565	3	1
[200]	2424	JUMPI	1965562	10	1
[201]	2425	JUMPDEST	1965552	1	1
[202]	2426	DUP1	1965551	3	1
[203]	2427	ISZERO	1965548	3	1
[204]	2428	PUSH2	1965545	3	1
[205]	2431	JUMPI	1965542	10	1
[206]	2432	JUMPDEST	1965532	1	1
[207]	2433	DUP1	1965531	3	1
[208]	2434	ISZERO	1965528	3	1
[209]	2435	PUSH2	1965525	3	1
[210]	2438	JUMPI	1965522	10	1
[211]	2439	JUMPDEST	1965512	1	1
[212]	2440	DUP1	1965511	3	1
[213]	2441	ISZERO	1965508	3	1
[214]	2442	PUSH2	1965505	3	1
[215]	2445	JUMPI	1965502	10	1
[216]	2446	JUMPDEST	1965492	1	1
[217]	2447	DUP1	1965491	3	1
[218]	2448	ISZERO	1965488	3	1
[219]	2449	PUSH2	1965485	3	1
[220]	2452	JUMPI	1965482	10	1
[221]	2453	JUMPDEST	1965472	1	1
[222]	2454	PUSH2	1965471	3	1
[223]	2457	SWAP1	1965468	3	1
[224]	2458	PUSH2	1965465	3	1
[225]	2461	JUMP	1965462	8	1
[226]	7785	JUMPDEST	1965454	1	1
[227]	7786	ISZERO	1965453	3	1
[228]	7787	PUSH2	1965450	3	1
[229]	7790	JUMPI	1965447	10	1
[230]	7791	JUMP	1965437	8	1
[231]	2462	JUMPDEST	1965429	1	1
[232]	2463	PUSH2	1965428	3	1
[233]	2466	JUMP	1965425	8	1
[234]	7959	JUMPDEST	1965417	1	1
[235]	7960	SWAP5	1965416	3	1
[236]	7961	SWAP4	1965413	3	1
[237]	7962	SWAP3	1965410	3	1
[238]	7963	SWAP1	1965407	3	1
[239]	7964	SWAP2	1965404	3	1
[240]	7965	PUSH1	1965401	3	1
[241]	7967	PUSH1	1965398	3	1
[242]	7969	PUSH1	1965395	3	1
[243]	7971	SHL	1965392	3	1
[244]	7972	SUB	1965389	3	1
[245]	7973	AND	1965386	3	1
[246]	7974	DUP1	1965383	3	1
[247]	7975	PUSH2	1965380	3	1
[248]	7978	JUMPI	1965377	10	1
[249]	10468	JUMPDEST	1965367	1	1
[250]	10469	PUSH2	1965366	3	1
[251]	10472	SWAP1	1965363	3	1
[252]	10473	COINBASE	1965360	2	1
[253]	10474	EQ	1965358	3	1
[254]	10475	PUSH2	1965355	3	1
[255]	10478	JUMP	1965352	8	1
[256]	7860	JUMPDEST	1965344	1	1
[257]	7861	ISZERO	1965343	3	1
[258]	7862	PUSH2	1965340	3	1
[259]	7865	JUMPI	1965337	10	1
[260]	7866	JUMP	1965327	8	1
[261]	10479	JUMPDEST	1965319	1	1
[262]	10480	PUSH1	1965318	3	1
[263]	10482	PUSH1	1965315	3	1
[264]	10484	PUSH1	1965312	3	1
[265]	10486	SHL	1965309	3	1
[266]	10487	SUB	1965306	3	1
[267]	10488	AND	1965303	3	1
[268]	10489	COINBASE	1965300	2	1
[269]	10490	BALANCE	1965298	100	1
[270]	10491	EQ	1965198	3	1
[271]	10492	PUSH2	1965195	3	1
[272]	10495	JUMPI	1965192	10	1
[273]	10496	PUSH0	1965182	2	1
[274]	10497	DUP1	1965180	3	1
[275]	10498	PUSH2	1965177	3	1
[276]	10501	JUMP	1965174	8	1
[277]	7979	JUMPDEST	1965166	1	1
[278]	7980	POP	1965165	2	1
[279]	7981	POP	1965163	2	1
[280]	7982	PUSH1	1965161	3	1
[281]	7984	MLOAD	1965158	3	1
[282]	7985	SWAP4	1965155	3	1
[283]	7986	PUSH4	1965152	3	1
[284]	7991	PUSH1	1965149	3	1
[285]	7993	SHL	1965146	3	1
[286]	7994	DUP6	1965143	3	1
[287]	7995	MSTORE	1965140	113	1
[288]	7996	ADDRESS	1965027	2	1
[289]	7997	PUSH1	1965025	3	1
[290]	7999	DUP7	1965022	3	1
[291]	8000	ADD	1965019	3	1
[292]	8001	MSTORE	1965016	7	1
[293]	8002	PUSH1	1965009	3	1
[294]	8004	DUP6	1965006	3	1
[295]	8005	PUSH1	1965003	3	1
[296]	8007	DUP2	1965000	3	1
[297]	8008	PUSH20	1964997	3	1
[298]	8029	GAS	1964994	2	1
[299]	8030	STATICCALL	1964992	1934330	1
[300]	0	PUSH1	1931730	3	2
[301]	2	PUSH1	1931727	3	2
[302]	4	MSTORE	1931724	12	2
[303]	5	PUSH1	1931712	3	2
[304]	7	CALLDATASIZE	1931709	2	2
[305]	8	LT	1931707	3	2
[306]	9	PUSH2	1931704	3	2
[307]	12	JUMPI	1931701	10	2
[308]	13	PUSH1	1931691	3	2
[309]	15	CALLDATALOAD	1931688	3	2
[310]	16	PUSH29	1931685	3	2
[311]	46	SWAP1	1931682	3	2
[312]	47	DIV	1931679	5	2
[313]	48	PUSH4	1931674	3	2
[314]	53	AND	1931671	3	2
[315]	54	DUP1	1931668	3	2
[316]	55	PUSH4	1931665	3	2
[317]	60	EQ	1931662	3	2
[318]	61	PUSH2	1931659	3	2
[319]	64	JUMPI	1931656	10	2
[320]	65	DUP1	1931646	3	2
[321]	66	PUSH4	1931643	3	2
[322]	71	EQ	1931640	3	2
[323]	72	PUSH2	1931637	3	2
[324]	75	JUMPI	1931634	10	2
[325]	76	DUP1	1931624	3	2
[326]	77	PUSH4	1931621	3	2
[327]	82	EQ	1931618	3	2
[328]	83	PUSH2	1931615	3	2
[329]	86	JUMPI	1931612	10	2
[330]	87	DUP1	1931602	3	2
[331]	88	PUSH4	1931599	3	2
[332]	93	EQ	1931596	3	2
[333]	94	PUSH2	1931593	3	2
[334]	97	JUMPI	1931590	10	2
[335]	98	DUP1	1931580	3	2
[336]	99	PUSH4	1931577	3	2
[337]	104	EQ	1931574	3	2
[338]	105	PUSH2	1931571	3	2
[339]	108	JUMPI	1931568	10	2
[340]	109	DUP1	1931558	3	2
[341]	110	PUSH4	1931555	3	2
[342]	115	EQ	1931552	3	2
[343]	116	PUSH2	1931549	3	2
[344]	119	JUMPI	1931546	10	2
[345]	120	DUP1	1931536	3	2
[346]	121	PUSH4	1931533	3	2
[347]	126	EQ	1931530	3	2
[348]	127	PUSH2	1931527	3	2
[349]	130	JUMPI	1931524	10	2
[350]	661	JUMPDEST	1931514	1	2
[351]	662	CALLVALUE	1931513	2	2
[352]	663	ISZERO	1931511	3	2
[353]	664	PUSH2	1931508	3	2
[354]	667	JUMPI	1931505	10	2
[355]	672	JUMPDEST	1931495	1	2
[356]	673	PUSH2	1931494	3	2
[357]	676	PUSH1	1931491	3	2
[358]	678	DUP1	1931488	3	2
[359]	679	DUP1	1931485	3	2
[360]	680	CALLDATALOAD	1931482	3	2
[361]	681	PUSH20	1931479	3	2
[362]	702	AND	1931476	3	2
[363]	703	SWAP1	1931473	3	2
[364]	704	PUSH1	1931470	3	2
[365]	706	ADD	1931467	3	2
[366]	707	SWAP1	1931464	3	2
[367]	708	SWAP2	1931461	3	2
[368]	709	SWAP1	1931458	3	2
[369]	710	POP	1931455	2	2
[370]	711	POP	1931453	2	2
[371]	712	PUSH2	1931451	3	2
[372]	715	JUMP	1931448	8	2
[373]	2840	JUMPDEST	1931440	1	2
[374]	2841	PUSH1	1931439	3	2
[375]	2843	PUSH1	1931436	3	2
[376]	2845	MSTORE	1931433	3	2
[377]	2846	DUP1	1931430	3	2
[378]	2847	PUSH1	1931427	3	2
[379]	2849	MSTORE	1931424	3	2
[380]	2850	PUSH1	1931421	3	2
[381]	2852	PUSH1	1931418	3	2
[382]	2854	KECCAK256	1931415	42	2
[383]	2855	PUSH1	1931373	3	2
[384]	2857	SWAP2	1931370	3	2
[385]	2858	POP	1931367	2	2
[386]	2859	SWAP1	1931365	3	2
[387]	2860	POP	1931362	2	2
[388]	2861	SLOAD	1931360	2100	2
[389]	2862	DUP2	1929260	3	2
[390]	2863	JUMP	1929257	8	2
[391]	716	JUMPDEST	1929249	1	2
[392]	717	PUSH1	1929248	3	2
[393]	719	MLOAD	1929245	3	2
[394]	720	DUP1	1929242	3	2
[395]	721	DUP3	1929239	3	2
[396]	722	DUP2	1929236	3	2
[397]	723	MSTORE	1929233	6	2
[398]	724	PUSH1	1929227	3	2
[399]	726	ADD	1929224	3	2
[400]	727	SWAP2	1929221	3	2
[401]	728	POP	1929218	2	2
[402]	729	POP	1929216	2	2
[403]	730	PUSH1	1929214	3	2
[404]	732	MLOAD	1929211	3	2
[405]	733	DUP1	1929208	3	2
[406]	734	SWAP2	1929205	3	2
[407]	735	SUB	1929202	3	2
[408]	736	SWAP1	1929199	3	2
[409]	737	RETURN	1929196	0	2
[410]	8031	SWAP5	1959858	3	1
[411]	8032	DUP6	1959855	3	1
[412]	8033	ISZERO	1959852	3	1
[413]	8034	PUSH2	1959849	3	1
[414]	8037	JUMPI	1959846	10	1
[415]	8038	PUSH0	1959836	2	1
[416]	8039	SWAP6	1959834	3	1
[417]	8040	PUSH2	1959831	3	1
[418]	8043	JUMPI	1959828	10	1
[419]	10416	JUMPDEST	1959818	1	1
[420]	10417	SWAP1	1959817	3	1
[421]	10418	SWAP5	1959814	3	1
[422]	10419	POP	1959811	2	1
[423]	10420	PUSH1	1959809	3	1
[424]	10422	DUP2	1959806	3	1
[425]	10423	RETURNDATASIZE	1959803	2	1
[426]	10424	PUSH1	1959801	3	1
[427]	10426	GT	1959798	3	1
[428]	10427	PUSH2	1959795	3	1
[429]	10430	JUMPI	1959792	10	1
[430]	10431	JUMPDEST	1959782	1	1
[431]	10432	DUP2	1959781	3	1
[432]	10433	PUSH2	1959778	3	1
[433]	10436	PUSH1	1959775	3	1
[434]	10438	SWAP4	1959772	3	1
[435]	10439	DUP4	1959769	3	1
[436]	10440	PUSH2	1959766	3	1
[437]	10443	JUMP	1959763	8	1
[438]	5408	JUMPDEST	1959755	1	1
[439]	5409	SWAP1	1959754	3	1
[440]	5410	PUSH1	1959751	3	1
[441]	5412	PUSH1	1959748	3	1
[442]	5414	NOT	1959745	3	1
[443]	5415	SWAP2	1959742	3	1
[444]	5416	ADD	1959739	3	1
[445]	5417	AND	1959736	3	1
[446]	5418	DUP2	1959733	3	1
[447]	5419	ADD	1959730	3	1
[448]	5420	SWAP1	1959727	3	1
[449]	5421	DUP2	1959724	3	1
[450]	5422	LT	1959721	3	1
[451]	5423	PUSH8	1959718	3	1
[452]	5432	DUP3	1959715	3	1
[453]	5433	GT	1959712	3	1
[454]	5434	OR	1959709	3	1
[455]	5435	PUSH2	1959706	3	1
[456]	5438	JUMPI	1959703	10	1
[457]	5439	PUSH1	1959693	3	1
[458]	5441	MSTORE	1959690	3	1
[459]	5442	JUMP	1959687	8	1
[460]	10444	JUMPDEST	1959679	1	1
[461]	10445	DUP2	1959678	3	1
[462]	10446	ADD	1959675	3	1
[463]	10447	SUB	1959672	3	1
[464]	10448	SLT	1959669	3	1
[465]	10449	PUSH2	1959666	3	1
[466]	10452	JUMPI	1959663	10	1
[467]	10453	MLOAD	1959653	3	1
[468]	10454	SWAP4	1959650	3	1
[469]	10455	PUSH0	1959647	2	1
[470]	10456	PUSH2	1959645	3	1
[471]	10459	JUMP	1959642	8	1
[472]	8044	JUMPDEST	1959634	1	1
[473]	8045	POP	1959633	2	1
[474]	8046	PUSH1	1959631	3	1
[475]	8048	PUSH1	1959628	3	1
[476]	8050	PUSH1	1959625	3	1
[477]	8052	SHL	1959622	3	1
[478]	8053	SUB	1959619	3	1
[479]	8054	DUP4	1959616	3	1
[480]	8055	AND	1959613	3	1
[481]	8056	ISZERO	1959610	3	1
[482]	8057	PUSH2	1959607	3	1
[483]	8060	JUMPI	1959604	10	1
[484]	9646	JUMPDEST	1959594	1	1
[485]	9647	PUSH0	1959593	2	1
[486]	9648	SWAP3	1959591	3	1
[487]	9649	POP	1959588	2	1
[488]	9650	DUP3	1959586	3	1
[489]	9651	SWAP2	1959583	3	1
[490]	9652	DUP3	1959580	3	1
[491]	9653	JUMPDEST	1959577	1	1
[492]	9654	DUP2	1959576	3	1
[493]	9655	DUP2	1959573	3	1
[494]	9656	LT	1959570	3	1
[495]	9657	PUSH2	1959567	3	1
[496]	9660	JUMPI	1959564	10	1
[497]	10172	JUMPDEST	1959554	1	1
[498]	10173	PUSH2	1959553	3	1
[499]	10176	PUSH2	1959550	3	1
[500]	10179	DUP3	1959547	3	1
[501]	10180	DUP5	1959544	3	1
[502]	10181	DUP7	1959541	3	1
[503]	10182	PUSH2	1959538	3	1
[504]	10185	JUMP	1959535	8	1
[505]	18100	JUMPDEST	1959527	1	1
[506]	18101	SWAP1	1959526	3	1
[507]	18102	DUP3	1959523	3	1
[508]	18103	LT	1959520	3	1
[509]	18104	ISZERO	1959517	3	1
[510]	18105	PUSH2	1959514	3	1
[511]	18108	JUMPI	1959511	10	1
[512]	18109	PUSH2	1959501	3	1
[513]	18112	SWAP2	1959498	3	1
[514]	18113	PUSH1	1959495	3	1
[515]	18115	SHL	1959492	3	1
[516]	18116	DUP2	1959489	3	1
[517]	18117	ADD	1959486	3	1
[518]	18118	SWAP1	1959483	3	1
[519]	18119	PUSH2	1959480	3	1
[520]	18122	JUMP	1959477	8	1
[521]	18049	JUMPDEST	1959469	1	1
[522]	18050	SWAP1	1959468	3	1
[523]	18051	CALLDATALOAD	1959465	3	1
[524]	18052	SWAP1	1959462	3	1
[525]	18053	PUSH32	1959459	3	1
[526]	18086	DUP2	1959456	3	1
[527]	18087	CALLDATASIZE	1959453	2	1
[528]	18088	SUB	1959451	3	1
[529]	18089	ADD	1959448	3	1
[530]	18090	DUP3	1959445	3	1
[531]	18091	SLT	1959442	3	1
[532]	18092	ISZERO	1959439	3	1
[533]	18093	PUSH2	1959436	3	1
[534]	18096	JUMPI	1959433	10	1
[535]	18097	ADD	1959423	3	1
[536]	18098	SWAP1	1959420	3	1
[537]	18099	JUMP	1959417	8	1
[538]	5572	JUMPDEST	1959409	1	1
[539]	5573	SWAP1	1959408	3	1
[540]	5574	JUMP	1959405	8	1
[541]	8335	JUMPDEST	1959397	1	1
[542]	8336	DUP1	1959396	3	1
[543]	8337	PUSH2	1959393	3	1
[544]	8340	JUMP	1959390	8	1
[545]	17356	JUMPDEST	1959382	1	1
[546]	17357	SWAP1	1959381	3	1
[547]	17358	CALLDATALOAD	1959378	3	1
[548]	17359	SWAP1	1959375	3	1
[549]	17360	PUSH1	1959372	3	1
[550]	17362	NOT	1959369	3	1
[551]	17363	DUP2	1959366	3	1
[552]	17364	CALLDATASIZE	1959363	2	1
[553]	17365	SUB	1959361	3	1
[554]	17366	ADD	1959358	3	1
[555]	17367	DUP3	1959355	3	1
[556]	17368	SLT	1959352	3	1
[557]	17369	ISZERO	1959349	3	1
[558]	17370	PUSH2	1959346	3	1
[559]	17373	JUMPI	1959343	10	1
[560]	17374	ADD	1959333	3	1
[561]	17375	DUP1	1959330	3	1
[562]	17376	CALLDATALOAD	1959327	3	1
[563]	17377	SWAP1	1959324	3	1
[564]	17378	PUSH8	1959321	3	1
[565]	17387	DUP3	1959318	3	1
[566]	17388	GT	1959315	3	1
[567]	17389	PUSH2	1959312	3	1
[568]	17392	JUMPI	1959309	10	1
[569]	17393	PUSH1	1959299	3	1
[570]	17395	ADD	1959296	3	1
[571]	17396	SWAP2	1959293	3	1
[572]	17397	DUP2	1959290	3	1
[573]	17398	PUSH1	1959287	3	1
[574]	17400	SHL	1959284	3	1
[575]	17401	CALLDATASIZE	1959281	2	1
[576]	17402	SUB	1959279	3	1
[577]	17403	DUP4	1959276	3	1
[578]	17404	SGT	1959273	3	1
[579]	17405	PUSH2	1959270	3	1
[580]	17408	JUMPI	1959267	10	1
[581]	17409	JUMP	1959257	8	1
[582]	10186	JUMPDEST	1959249	1	1
[583]	10187	SWAP1	1959248	3	1
[584]	10188	POP	1959245	2	1
[585]	10189	PUSH2	1959243	3	1
[586]	10192	PUSH2	1959240	3	1
[587]	10195	DUP4	1959237	3	1
[588]	10196	DUP6	1959234	3	1
[589]	10197	DUP8	1959231	3	1
[590]	10198	PUSH2	1959228	3	1
[591]	10201	JUMP	1959225	8	1
[592]	18100	JUMPDEST	1959217	1	1
[593]	18101	SWAP1	1959216	3	1
[594]	18102	DUP3	1959213	3	1
[595]	18103	LT	1959210	3	1
[596]	18104	ISZERO	1959207	3	1
[597]	18105	PUSH2	1959204	3	1
[598]	18108	JUMPI	1959201	10	1
[599]	18109	PUSH2	1959191	3	1
[600]	18112	SWAP2	1959188	3	1
[601]	18113	PUSH1	1959185	3	1
[602]	18115	SHL	1959182	3	1
[603]	18116	DUP2	1959179	3	1
[604]	18117	ADD	1959176	3	1
[605]	18118	SWAP1	1959173	3	1
[606]	18119	PUSH2	1959170	3	1
[607]	18122	JUMP	1959167	8	1
[608]	18049	JUMPDEST	1959159	1	1
[609]	18050	SWAP1	1959158	3	1
[610]	18051	CALLDATALOAD	1959155	3	1
[611]	18052	SWAP1	1959152	3	1
[612]	18053	PUSH32	1959149	3	1
[613]	18086	DUP2	1959146	3	1
[614]	18087	CALLDATASIZE	1959143	2	1
[615]	18088	SUB	1959141	3	1
[616]	18089	ADD	1959138	3	1
[617]	18090	DUP3	1959135	3	1
[618]	18091	SLT	1959132	3	1
[619]	18092	ISZERO	1959129	3	1
[620]	18093	PUSH2	1959126	3	1
[621]	18096	JUMPI	1959123	10	1
[622]	18097	ADD	1959113	3	1
[623]	18098	SWAP1	1959110	3	1
[624]	18099	JUMP	1959107	8	1
[625]	5572	JUMPDEST	1959099	1	1
[626]	5573	SWAP1	1959098	3	1
[627]	5574	JUMP	1959095	8	1
[628]	8335	JUMPDEST	1959087	1	1
[629]	8336	DUP1	1959086	3	1
[630]	8337	PUSH2	1959083	3	1
[631]	8340	JUMP	1959080	8	1
[632]	17356	JUMPDEST	1959072	1	1
[633]	17357	SWAP1	1959071	3	1
[634]	17358	CALLDATALOAD	1959068	3	1
[635]	17359	SWAP1	1959065	3	1
[636]	17360	PUSH1	1959062	3	1
[637]	17362	NOT	1959059	3	1
[638]	17363	DUP2	1959056	3	1
[639]	17364	CALLDATASIZE	1959053	2	1
[640]	17365	SUB	1959051	3	1
[641]	17366	ADD	1959048	3	1
[642]	17367	DUP3	1959045	3	1
[643]	17368	SLT	1959042	3	1
[644]	17369	ISZERO	1959039	3	1
[645]	17370	PUSH2	1959036	3	1
[646]	17373	JUMPI	1959033	10	1
[647]	17374	ADD	1959023	3	1
[648]	17375	DUP1	1959020	3	1
[649]	17376	CALLDATALOAD	1959017	3	1
[650]	17377	SWAP1	1959014	3	1
[651]	17378	PUSH8	1959011	3	1
[652]	17387	DUP3	1959008	3	1
[653]	17388	GT	1959005	3	1
[654]	17389	PUSH2	1959002	3	1
[655]	17392	JUMPI	1958999	10	1
[656]	17393	PUSH1	1958989	3	1
[657]	17395	ADD	1958986	3	1
[658]	17396	SWAP2	1958983	3	1
[659]	17397	DUP2	1958980	3	1
[660]	17398	PUSH1	1958977	3	1
[661]	17400	SHL	1958974	3	1
[662]	17401	CALLDATASIZE	1958971	2	1
[663]	17402	SUB	1958969	3	1
[664]	17403	DUP4	1958966	3	1
[665]	17404	SGT	1958963	3	1
[666]	17405	PUSH2	1958960	3	1
[667]	17408	JUMPI	1958957	10	1
[668]	17409	JUMP	1958947	8	1
[669]	10202	JUMPDEST	1958939	1	1
[670]	10203	SWAP2	1958938	3	1
[671]	10204	SWAP1	1958935	3	1
[672]	10205	DUP2	1958932	3	1
[673]	10206	PUSH0	1958929	2	1
[674]	10207	NOT	1958927	3	1
[675]	10208	DUP2	1958924	3	1
[676]	10209	ADD	1958921	3	1
[677]	10210	GT	1958918	3	1
[678]	10211	SWAP3	1958915	3	1
[679]	10212	DUP4	1958912	3	1
[680]	10213	PUSH2	1958909	3	1
[681]	10216	JUMPI	1958906	10	1
[682]	10217	PUSH2	1958896	3	1
[683]	10220	SWAP2	1958893	3	1
[684]	10221	PUSH2	1958890	3	1
[685]	10224	SWAP2	1958887	3	1
[686]	10225	PUSH0	1958884	2	1
[687]	10226	NOT	1958882	3	1
[688]	10227	DUP6	1958879	3	1
[689]	10228	ADD	1958876	3	1
[690]	10229	SWAP2	1958873	3	1
[691]	10230	PUSH2	1958870	3	1
[692]	10233	JUMP	1958867	8	1
[693]	7749	JUMPDEST	1958859	1	1
[694]	7750	SWAP2	1958858	3	1
[695]	7751	SWAP1	1958855	3	1
[696]	7752	DUP2	1958852	3	1
[697]	7753	LT	1958849	3	1
[698]	7754	ISZERO	1958846	3	1
[699]	7755	PUSH2	1958843	3	1
[700]	7758	JUMPI	1958840	10	1
[701]	7759	PUSH1	1958830	3	1
[702]	7761	SHL	1958827	3	1
[703]	7762	ADD	1958824	3	1
[704]	7763	SWAP1	1958821	3	1
[705]	7764	JUMP	1958818	8	1
[706]	9358	JUMPDEST	1958810	1	1
[707]	9359	CALLDATALOAD	1958809	3	1
[708]	9360	PUSH1	1958806	3	1
[709]	9362	PUSH1	1958803	3	1
[710]	9364	PUSH1	1958800	3	1
[711]	9366	SHL	1958797	3	1
[712]	9367	SUB	1958794	3	1
[713]	9368	DUP2	1958791	3	1
[714]	9369	AND	1958788	3	1
[715]	9370	SWAP2	1958785	3	1
[716]	9371	PUSH3	1958782	3	1
[717]	9375	DUP3	1958779	3	1
[718]	9376	PUSH1	1958776	3	1
[719]	9378	SHR	1958773	3	1
[720]	9379	AND	1958770	3	1
[721]	9380	SWAP2	1958767	3	1
[722]	9381	PUSH1	1958764	3	1
[723]	9383	PUSH1	1958761	3	1
[724]	9385	SHL	1958758	3	1
[725]	9386	DUP2	1958755	3	1
[726]	9387	AND	1958752	3	1
[727]	9388	ISZERO	1958749	3	1
[728]	9389	ISZERO	1958746	3	1
[729]	9390	SWAP2	1958743	3	1
[730]	9391	PUSH24	1958740	3	1
[731]	9416	DUP3	1958737	3	1
[732]	9417	AND	1958734	3	1
[733]	9418	ISZERO	1958731	3	1
[734]	9419	ISZERO	1958728	3	1
[735]	9420	SWAP2	1958725	3	1
[736]	9421	PUSH1	1958722	3	1
[737]	9423	SHR	1958719	3	1
[738]	9424	SWAP1	1958716	3	1
[739]	9425	JUMP	1958713	8	1
[740]	10234	JUMPDEST	1958705	1	1
[741]	10235	POP	1958704	2	1
[742]	10236	POP	1958702	2	1
[743]	10237	SWAP4	1958700	3	1
[744]	10238	SWAP1	1958697	3	1
[745]	10239	POP	1958694	2	1
[746]	10240	PUSH2	1958692	3	1
[747]	10243	PUSH2	1958689	3	1
[748]	10246	DUP7	1958686	3	1
[749]	10247	DUP9	1958683	3	1
[750]	10248	DUP11	1958680	3	1
[751]	10249	PUSH2	1958677	3	1
[752]	10252	JUMP	1958674	8	1
[753]	18100	JUMPDEST	1958666	1	1
[754]	18101	SWAP1	1958665	3	1
[755]	18102	DUP3	1958662	3	1
[756]	18103	LT	1958659	3	1
[757]	18104	ISZERO	1958656	3	1
[758]	18105	PUSH2	1958653	3	1
[759]	18108	JUMPI	1958650	10	1
[760]	18109	PUSH2	1958640	3	1
[761]	18112	SWAP2	1958637	3	1
[762]	18113	PUSH1	1958634	3	1
[763]	18115	SHL	1958631	3	1
[764]	18116	DUP2	1958628	3	1
[765]	18117	ADD	1958625	3	1
[766]	18118	SWAP1	1958622	3	1
[767]	18119	PUSH2	1958619	3	1
[768]	18122	JUMP	1958616	8	1
[769]	18049	JUMPDEST	1958608	1	1
[770]	18050	SWAP1	1958607	3	1
[771]	18051	CALLDATALOAD	1958604	3	1
[772]	18052	SWAP1	1958601	3	1
[773]	18053	PUSH32	1958598	3	1
[774]	18086	DUP2	1958595	3	1
[775]	18087	CALLDATASIZE	1958592	2	1
[776]	18088	SUB	1958590	3	1
[777]	18089	ADD	1958587	3	1
[778]	18090	DUP3	1958584	3	1
[779]	18091	SLT	1958581	3	1
[780]	18092	ISZERO	1958578	3	1
[781]	18093	PUSH2	1958575	3	1
[782]	18096	JUMPI	1958572	10	1
[783]	18097	ADD	1958562	3	1
[784]	18098	SWAP1	1958559	3	1
[785]	18099	JUMP	1958556	8	1
[786]	5572	JUMPDEST	1958548	1	1
[787]	5573	SWAP1	1958547	3	1
[788]	5574	JUMP	1958544	8	1
[789]	8669	JUMPDEST	1958536	1	1
[790]	8670	PUSH1	1958535	3	1
[791]	8672	DUP2	1958532	3	1
[792]	8673	ADD	1958529	3	1
[793]	8674	SWAP1	1958526	3	1
[794]	8675	PUSH2	1958523	3	1
[795]	8678	JUMP	1958520	8	1
[796]	17356	JUMPDEST	1958512	1	1
[797]	17357	SWAP1	1958511	3	1
[798]	17358	CALLDATALOAD	1958508	3	1
[799]	17359	SWAP1	1958505	3	1
[800]	17360	PUSH1	1958502	3	1
[801]	17362	NOT	1958499	3	1
[802]	17363	DUP2	1958496	3	1
[803]	17364	CALLDATASIZE	1958493	2	1
[804]	17365	SUB	1958491	3	1
[805]	17366	ADD	1958488	3	1
[806]	17367	DUP3	1958485	3	1
[807]	17368	SLT	1958482	3	1
[808]	17369	ISZERO	1958479	3	1
[809]	17370	PUSH2	1958476	3	1
[810]	17373	JUMPI	1958473	10	1
[811]	17374	ADD	1958463	3	1
[812]	17375	DUP1	1958460	3	1
[813]	17376	CALLDATALOAD	1958457	3	1
[814]	17377	SWAP1	1958454	3	1
[815]	17378	PUSH8	1958451	3	1
[816]	17387	DUP3	1958448	3	1
[817]	17388	GT	1958445	3	1
[818]	17389	PUSH2	1958442	3	1
[819]	17392	JUMPI	1958439	10	1
[820]	17393	PUSH1	1958429	3	1
[821]	17395	ADD	1958426	3	1
[822]	17396	SWAP2	1958423	3	1
[823]	17397	DUP2	1958420	3	1
[824]	17398	PUSH1	1958417	3	1
[825]	17400	SHL	1958414	3	1
[826]	17401	CALLDATASIZE	1958411	2	1
[827]	17402	SUB	1958409	3	1
[828]	17403	DUP4	1958406	3	1
[829]	17404	SGT	1958403	3	1
[830]	17405	PUSH2	1958400	3	1
[831]	17408	JUMPI	1958397	10	1
[832]	17409	JUMP	1958387	8	1
[833]	10253	JUMPDEST	1958379	1	1
[834]	10254	SWAP2	1958378	3	1
[835]	10255	DUP6	1958375	3	1
[836]	10256	ISZERO	1958372	3	1
[837]	10257	PUSH2	1958369	3	1
[838]	10260	JUMPI	1958366	10	1
[839]	10400	JUMPDEST	1958356	1	1
[840]	10401	SWAP2	1958355	3	1
[841]	10402	PUSH2	1958352	3	1
[842]	10405	SWAP2	1958349	3	1
[843]	10406	PUSH2	1958346	3	1
[844]	10409	SWAP2	1958343	3	1
[845]	10410	DUP7	1958340	3	1
[846]	10411	SWAP2	1958337	3	1
[847]	10412	PUSH2	1958334	3	1
[848]	10415	JUMP	1958331	8	1
[849]	7749	JUMPDEST	1958323	1	1
[850]	7750	SWAP2	1958322	3	1
[851]	7751	SWAP1	1958319	3	1
[852]	7752	DUP2	1958316	3	1
[853]	7753	LT	1958313	3	1
[854]	7754	ISZERO	1958310	3	1
[855]	7755	PUSH2	1958307	3	1
[856]	7758	JUMPI	1958304	10	1
[857]	7759	PUSH1	1958294	3	1
[858]	7761	SHL	1958291	3	1
[859]	7762	ADD	1958288	3	1
[860]	7763	SWAP1	1958285	3	1
[861]	7764	JUMP	1958282	8	1
[862]	2766	JUMPDEST	1958274	1	1
[863]	2767	PUSH2	1958273	3	1
[864]	2770	JUMP	1958270	8	1
[865]	7765	JUMPDEST	1958262	1	1
[866]	7766	CALLDATALOAD	1958261	3	1
[867]	7767	PUSH1	1958258	3	1
[868]	7769	PUSH1	1958255	3	1
[869]	7771	PUSH1	1958252	3	1
[870]	7773	SHL	1958249	3	1
[871]	7774	SUB	1958246	3	1
[872]	7775	DUP2	1958243	3	1
[873]	7776	AND	1958240	3	1
[874]	7777	DUP2	1958237	3	1
[875]	7778	SUB	1958234	3	1
[876]	7779	PUSH2	1958231	3	1
[877]	7782	JUMPI	1958228	10	1
[878]	7783	SWAP1	1958218	3	1
[879]	7784	JUMP	1958215	8	1
[880]	10280	JUMPDEST	1958207	1	1
[881]	10281	SWAP3	1958206	3	1
[882]	10282	PUSH2	1958203	3	1
[883]	10285	PUSH2	1958200	3	1
[884]	10288	DUP8	1958197	3	1
[885]	10289	DUP10	1958194	3	1
[886]	10290	DUP12	1958191	3	1
[887]	10291	PUSH2	1958188	3	1
[888]	10294	JUMP	1958185	8	1
[889]	18100	JUMPDEST	1958177	1	1
[890]	18101	SWAP1	1958176	3	1
[891]	18102	DUP3	1958173	3	1
[892]	18103	LT	1958170	3	1
[893]	18104	ISZERO	1958167	3	1
[894]	18105	PUSH2	1958164	3	1
[895]	18108	JUMPI	1958161	10	1
[896]	18109	PUSH2	1958151	3	1
[897]	18112	SWAP2	1958148	3	1
[898]	18113	PUSH1	1958145	3	1
[899]	18115	SHL	1958142	3	1
[900]	18116	DUP2	1958139	3	1
[901]	18117	ADD	1958136	3	1
[902]	18118	SWAP1	1958133	3	1
[903]	18119	PUSH2	1958130	3	1
[904]	18122	JUMP	1958127	8	1
[905]	18049	JUMPDEST	1958119	1	1
[906]	18050	SWAP1	1958118	3	1
[907]	18051	CALLDATALOAD	1958115	3	1
[908]	18052	SWAP1	1958112	3	1
[909]	18053	PUSH32	1958109	3	1
[910]	18086	DUP2	1958106	3	1
[911]	18087	CALLDATASIZE	1958103	2	1
[912]	18088	SUB	1958101	3	1
[913]	18089	ADD	1958098	3	1
[914]	18090	DUP3	1958095	3	1
[915]	18091	SLT	1958092	3	1
[916]	18092	ISZERO	1958089	3	1
[917]	18093	PUSH2	1958086	3	1
[918]	18096	JUMPI	1958083	10	1
[919]	18097	ADD	1958073	3	1
[920]	18098	SWAP1	1958070	3	1
[921]	18099	JUMP	1958067	8	1
[922]	5572	JUMPDEST	1958059	1	1
[923]	5573	SWAP1	1958058	3	1
[924]	5574	JUMP	1958055	8	1
[925]	8669	JUMPDEST	1958047	1	1
[926]	8670	PUSH1	1958046	3	1
[927]	8672	DUP2	1958043	3	1
[928]	8673	ADD	1958040	3	1
[929]	8674	SWAP1	1958037	3	1
[930]	8675	PUSH2	1958034	3	1
[931]	8678	JUMP	1958031	8	1
[932]	17356	JUMPDEST	1958023	1	1
[933]	17357	SWAP1	1958022	3	1
[934]	17358	CALLDATALOAD	1958019	3	1
[935]	17359	SWAP1	1958016	3	1
[936]	17360	PUSH1	1958013	3	1
[937]	17362	NOT	1958010	3	1
[938]	17363	DUP2	1958007	3	1
[939]	17364	CALLDATASIZE	1958004	2	1
[940]	17365	SUB	1958002	3	1
[941]	17366	ADD	1957999	3	1
[942]	17367	DUP3	1957996	3	1
[943]	17368	SLT	1957993	3	1
[944]	17369	ISZERO	1957990	3	1
[945]	17370	PUSH2	1957987	3	1
[946]	17373	JUMPI	1957984	10	1
[947]	17374	ADD	1957974	3	1
[948]	17375	DUP1	1957971	3	1
[949]	17376	CALLDATALOAD	1957968	3	1
[950]	17377	SWAP1	1957965	3	1
[951]	17378	PUSH8	1957962	3	1
[952]	17387	DUP3	1957959	3	1
[953]	17388	GT	1957956	3	1
[954]	17389	PUSH2	1957953	3	1
[955]	17392	JUMPI	1957950	10	1
[956]	17393	PUSH1	1957940	3	1
[957]	17395	ADD	1957937	3	1
[958]	17396	SWAP2	1957934	3	1
[959]	17397	DUP2	1957931	3	1
[960]	17398	PUSH1	1957928	3	1
[961]	17400	SHL	1957925	3	1
[962]	17401	CALLDATASIZE	1957922	2	1
[963]	17402	SUB	1957920	3	1
[964]	17403	DUP4	1957917	3	1
[965]	17404	SGT	1957914	3	1
[966]	17405	PUSH2	1957911	3	1
[967]	17408	JUMPI	1957908	10	1
[968]	17409	JUMP	1957898	8	1
[969]	10295	JUMPDEST	1957890	1	1
[970]	10296	SWAP3	1957889	3	1
[971]	10297	SWAP1	1957886	3	1
[972]	10298	SWAP6	1957883	3	1
[973]	10299	PUSH0	1957880	2	1
[974]	10300	EQ	1957878	3	1
[975]	10301	PUSH2	1957875	3	1
[976]	10304	JUMPI	1957872	10	1
[977]	10375	JUMPDEST	1957862	1	1
[978]	10376	PUSH2	1957861	3	1
[979]	10379	JUMPI	1957858	10	1
[980]	10380	PUSH2	1957848	3	1
[981]	10383	SWAP5	1957845	3	1
[982]	10384	PUSH2	1957842	3	1
[983]	10387	SWAP3	1957839	3	1
[984]	10388	PUSH0	1957836	2	1
[985]	10389	NOT	1957834	3	1
[986]	10390	PUSH2	1957831	3	1
[987]	10393	SWAP4	1957828	3	1
[988]	10394	ADD	1957825	3	1
[989]	10395	SWAP2	1957822	3	1
[990]	10396	PUSH2	1957819	3	1
[991]	10399	JUMP	1957816	8	1
[992]	7749	JUMPDEST	1957808	1	1
[993]	7750	SWAP2	1957807	3	1
[994]	7751	SWAP1	1957804	3	1
[995]	7752	DUP2	1957801	3	1
[996]	7753	LT	1957798	3	1
[997]	7754	ISZERO	1957795	3	1
[998]	7755	PUSH2	1957792	3	1
[999]	7758	JUMPI	1957789	10	1
[1000]	7759	PUSH1	1957779	3	1

Tools & Services

Geth VM Trace Transaction