Geth VM Trace Transaction

GETH Trace for Txn Hash 0xd6f0a407eeaa3c1125a7f9b5f10267948591c3ee1eeef193706d7e49ff564bc0

Contract transaction successfully completed.

Raw traces

A total of 542 steps found

Step	PC	Operation	Gas	GasCost	Depth
[1]	0	PUSH1	30739	3	1
[2]	2	PUSH1	30736	3	1
[3]	4	MSTORE	30733	12	1
[4]	5	CALLVALUE	30721	2	1
[5]	6	DUP1	30719	3	1
[6]	7	ISZERO	30716	3	1
[7]	8	PUSH2	30713	3	1
[8]	11	JUMPI	30710	10	1
[9]	16	JUMPDEST	30700	1	1
[10]	17	POP	30699	2	1
[11]	18	PUSH1	30697	3	1
[12]	20	CALLDATASIZE	30694	2	1
[13]	21	LT	30692	3	1
[14]	22	PUSH2	30689	3	1
[15]	25	JUMPI	30686	10	1
[16]	26	PUSH1	30676	3	1
[17]	28	CALLDATALOAD	30673	3	1
[18]	29	PUSH1	30670	3	1
[19]	31	SHR	30667	3	1
[20]	32	DUP1	30664	3	1
[21]	33	PUSH4	30661	3	1
[22]	38	GT	30658	3	1
[23]	39	PUSH2	30655	3	1
[24]	42	JUMPI	30652	10	1
[25]	43	DUP1	30642	3	1
[26]	44	PUSH4	30639	3	1
[27]	49	GT	30636	3	1
[28]	50	PUSH2	30633	3	1
[29]	53	JUMPI	30630	10	1
[30]	54	DUP1	30620	3	1
[31]	55	PUSH4	30617	3	1
[32]	60	EQ	30614	3	1
[33]	61	PUSH2	30611	3	1
[34]	64	JUMPI	30608	10	1
[35]	65	DUP1	30598	3	1
[36]	66	PUSH4	30595	3	1
[37]	71	EQ	30592	3	1
[38]	72	PUSH2	30589	3	1
[39]	75	JUMPI	30586	10	1
[40]	76	DUP1	30576	3	1
[41]	77	PUSH4	30573	3	1
[42]	82	EQ	30570	3	1
[43]	83	PUSH2	30567	3	1
[44]	86	JUMPI	30564	10	1
[45]	836	JUMPDEST	30554	1	1
[46]	837	PUSH2	30553	3	1
[47]	840	PUSH1	30550	3	1
[48]	842	DUP1	30547	3	1
[49]	843	CALLDATASIZE	30544	2	1
[50]	844	SUB	30542	3	1
[51]	845	DUP2	30539	3	1
[52]	846	ADD	30536	3	1
[53]	847	SWAP1	30533	3	1
[54]	848	PUSH2	30530	3	1
[55]	851	SWAP2	30527	3	1
[56]	852	SWAP1	30524	3	1
[57]	853	PUSH2	30521	3	1
[58]	856	JUMP	30518	8	1
[59]	5665	JUMPDEST	30510	1	1
[60]	5666	PUSH1	30509	3	1
[61]	5668	DUP1	30506	3	1
[62]	5669	PUSH1	30503	3	1
[63]	5671	DUP4	30500	3	1
[64]	5672	DUP6	30497	3	1
[65]	5673	SUB	30494	3	1
[66]	5674	SLT	30491	3	1
[67]	5675	ISZERO	30488	3	1
[68]	5676	PUSH2	30485	3	1
[69]	5679	JUMPI	30482	10	1
[70]	5688	JUMPDEST	30472	1	1
[71]	5689	PUSH1	30471	3	1
[72]	5691	PUSH2	30468	3	1
[73]	5694	DUP6	30465	3	1
[74]	5695	DUP3	30462	3	1
[75]	5696	DUP7	30459	3	1
[76]	5697	ADD	30456	3	1
[77]	5698	PUSH2	30453	3	1
[78]	5701	JUMP	30450	8	1
[79]	5410	JUMPDEST	30442	1	1
[80]	5411	PUSH1	30441	3	1
[81]	5413	DUP2	30438	3	1
[82]	5414	CALLDATALOAD	30435	3	1
[83]	5415	SWAP1	30432	3	1
[84]	5416	POP	30429	2	1
[85]	5417	PUSH2	30427	3	1
[86]	5420	DUP2	30424	3	1
[87]	5421	PUSH2	30421	3	1
[88]	5424	JUMP	30418	8	1
[89]	7978	JUMPDEST	30410	1	1
[90]	7979	PUSH2	30409	3	1
[91]	7982	DUP2	30406	3	1
[92]	7983	PUSH2	30403	3	1
[93]	7986	JUMP	30400	8	1
[94]	6952	JUMPDEST	30392	1	1
[95]	6953	PUSH1	30391	3	1
[96]	6955	PUSH2	30388	3	1
[97]	6958	DUP3	30385	3	1
[98]	6959	PUSH2	30382	3	1
[99]	6962	JUMP	30379	8	1
[100]	6992	JUMPDEST	30371	1	1
[101]	6993	PUSH1	30370	3	1
[102]	6995	PUSH20	30367	3	1
[103]	7016	DUP3	30364	3	1
[104]	7017	AND	30361	3	1
[105]	7018	SWAP1	30358	3	1
[106]	7019	POP	30355	2	1
[107]	7020	SWAP2	30353	3	1
[108]	7021	SWAP1	30350	3	1
[109]	7022	POP	30347	2	1
[110]	7023	JUMP	30345	8	1
[111]	6963	JUMPDEST	30337	1	1
[112]	6964	SWAP1	30336	3	1
[113]	6965	POP	30333	2	1
[114]	6966	SWAP2	30331	3	1
[115]	6967	SWAP1	30328	3	1
[116]	6968	POP	30325	2	1
[117]	6969	JUMP	30323	8	1
[118]	7987	JUMPDEST	30315	1	1
[119]	7988	DUP2	30314	3	1
[120]	7989	EQ	30311	3	1
[121]	7990	PUSH2	30308	3	1
[122]	7993	JUMPI	30305	10	1
[123]	7998	JUMPDEST	30295	1	1
[124]	7999	POP	30294	2	1
[125]	8000	JUMP	30292	8	1
[126]	5425	JUMPDEST	30284	1	1
[127]	5426	SWAP3	30283	3	1
[128]	5427	SWAP2	30280	3	1
[129]	5428	POP	30277	2	1
[130]	5429	POP	30275	2	1
[131]	5430	JUMP	30273	8	1
[132]	5702	JUMPDEST	30265	1	1
[133]	5703	SWAP3	30264	3	1
[134]	5704	POP	30261	2	1
[135]	5705	POP	30259	2	1
[136]	5706	PUSH1	30257	3	1
[137]	5708	PUSH2	30254	3	1
[138]	5711	DUP6	30251	3	1
[139]	5712	DUP3	30248	3	1
[140]	5713	DUP7	30245	3	1
[141]	5714	ADD	30242	3	1
[142]	5715	PUSH2	30239	3	1
[143]	5718	JUMP	30236	8	1
[144]	5452	JUMPDEST	30228	1	1
[145]	5453	PUSH1	30227	3	1
[146]	5455	DUP2	30224	3	1
[147]	5456	CALLDATALOAD	30221	3	1
[148]	5457	SWAP1	30218	3	1
[149]	5458	POP	30215	2	1
[150]	5459	PUSH2	30213	3	1
[151]	5462	DUP2	30210	3	1
[152]	5463	PUSH2	30207	3	1
[153]	5466	JUMP	30204	8	1
[154]	8024	JUMPDEST	30196	1	1
[155]	8025	PUSH2	30195	3	1
[156]	8028	DUP2	30192	3	1
[157]	8029	PUSH2	30189	3	1
[158]	8032	JUMP	30186	8	1
[159]	7024	JUMPDEST	30178	1	1
[160]	7025	PUSH1	30177	3	1
[161]	7027	DUP2	30174	3	1
[162]	7028	SWAP1	30171	3	1
[163]	7029	POP	30168	2	1
[164]	7030	SWAP2	30166	3	1
[165]	7031	SWAP1	30163	3	1
[166]	7032	POP	30160	2	1
[167]	7033	JUMP	30158	8	1
[168]	8033	JUMPDEST	30150	1	1
[169]	8034	DUP2	30149	3	1
[170]	8035	EQ	30146	3	1
[171]	8036	PUSH2	30143	3	1
[172]	8039	JUMPI	30140	10	1
[173]	8044	JUMPDEST	30130	1	1
[174]	8045	POP	30129	2	1
[175]	8046	JUMP	30127	8	1
[176]	5467	JUMPDEST	30119	1	1
[177]	5468	SWAP3	30118	3	1
[178]	5469	SWAP2	30115	3	1
[179]	5470	POP	30112	2	1
[180]	5471	POP	30110	2	1
[181]	5472	JUMP	30108	8	1
[182]	5719	JUMPDEST	30100	1	1
[183]	5720	SWAP2	30099	3	1
[184]	5721	POP	30096	2	1
[185]	5722	POP	30094	2	1
[186]	5723	SWAP3	30092	3	1
[187]	5724	POP	30089	2	1
[188]	5725	SWAP3	30087	3	1
[189]	5726	SWAP1	30084	3	1
[190]	5727	POP	30081	2	1
[191]	5728	JUMP	30079	8	1
[192]	857	JUMPDEST	30071	1	1
[193]	858	PUSH2	30070	3	1
[194]	861	JUMP	30067	8	1
[195]	3089	JUMPDEST	30059	1	1
[196]	3090	PUSH1	30058	3	1
[197]	3092	DUP1	30055	3	1
[198]	3093	PUSH2	30052	3	1
[199]	3096	PUSH2	30049	3	1
[200]	3099	JUMP	30046	8	1
[201]	3297	JUMPDEST	30038	1	1
[202]	3298	PUSH1	30037	3	1
[203]	3300	CALLER	30034	2	1
[204]	3301	SWAP1	30032	3	1
[205]	3302	POP	30029	2	1
[206]	3303	SWAP1	30027	3	1
[207]	3304	JUMP	30024	8	1
[208]	3100	JUMPDEST	30016	1	1
[209]	3101	SWAP1	30015	3	1
[210]	3102	POP	30012	2	1
[211]	3103	PUSH2	30010	3	1
[212]	3106	DUP2	30007	3	1
[213]	3107	DUP6	30004	3	1
[214]	3108	DUP6	30001	3	1
[215]	3109	PUSH2	29998	3	1
[216]	3112	JUMP	29995	8	1
[217]	4256	JUMPDEST	29987	1	1
[218]	4257	PUSH1	29986	3	1
[219]	4259	PUSH20	29983	3	1
[220]	4280	AND	29980	3	1
[221]	4281	DUP4	29977	3	1
[222]	4282	PUSH20	29974	3	1
[223]	4303	AND	29971	3	1
[224]	4304	EQ	29968	3	1
[225]	4305	ISZERO	29965	3	1
[226]	4306	PUSH2	29962	3	1
[227]	4309	JUMPI	29959	10	1
[228]	4368	JUMPDEST	29949	1	1
[229]	4369	PUSH1	29948	3	1
[230]	4371	PUSH20	29945	3	1
[231]	4392	AND	29942	3	1
[232]	4393	DUP3	29939	3	1
[233]	4394	PUSH20	29936	3	1
[234]	4415	AND	29933	3	1
[235]	4416	EQ	29930	3	1
[236]	4417	ISZERO	29927	3	1
[237]	4418	PUSH2	29924	3	1
[238]	4421	JUMPI	29921	10	1
[239]	4480	JUMPDEST	29911	1	1
[240]	4481	PUSH2	29910	3	1
[241]	4484	DUP4	29907	3	1
[242]	4485	DUP4	29904	3	1
[243]	4486	DUP4	29901	3	1
[244]	4487	PUSH2	29898	3	1
[245]	4490	JUMP	29895	8	1
[246]	5400	JUMPDEST	29887	1	1
[247]	5401	POP	29886	2	1
[248]	5402	POP	29884	2	1
[249]	5403	POP	29882	2	1
[250]	5404	JUMP	29880	8	1
[251]	4491	JUMPDEST	29872	1	1
[252]	4492	PUSH1	29871	3	1
[253]	4494	DUP1	29868	3	1
[254]	4495	PUSH1	29865	3	1
[255]	4497	DUP6	29862	3	1
[256]	4498	PUSH20	29859	3	1
[257]	4519	AND	29856	3	1
[258]	4520	PUSH20	29853	3	1
[259]	4541	AND	29850	3	1
[260]	4542	DUP2	29847	3	1
[261]	4543	MSTORE	29844	3	1
[262]	4544	PUSH1	29841	3	1
[263]	4546	ADD	29838	3	1
[264]	4547	SWAP1	29835	3	1
[265]	4548	DUP2	29832	3	1
[266]	4549	MSTORE	29829	3	1
[267]	4550	PUSH1	29826	3	1
[268]	4552	ADD	29823	3	1
[269]	4553	PUSH1	29820	3	1
[270]	4555	KECCAK256	29817	42	1
[271]	4556	SLOAD	29775	2100	1
[272]	4557	SWAP1	27675	3	1
[273]	4558	POP	27672	2	1
[274]	4559	DUP2	27670	3	1
[275]	4560	DUP2	27667	3	1
[276]	4561	LT	27664	3	1
[277]	4562	ISZERO	27661	3	1
[278]	4563	PUSH2	27658	3	1
[279]	4566	JUMPI	27655	10	1
[280]	4625	JUMPDEST	27645	1	1
[281]	4626	DUP2	27644	3	1
[282]	4627	DUP2	27641	3	1
[283]	4628	SUB	27638	3	1
[284]	4629	PUSH1	27635	3	1
[285]	4631	DUP1	27632	3	1
[286]	4632	DUP7	27629	3	1
[287]	4633	PUSH20	27626	3	1
[288]	4654	AND	27623	3	1
[289]	4655	PUSH20	27620	3	1
[290]	4676	AND	27617	3	1
[291]	4677	DUP2	27614	3	1
[292]	4678	MSTORE	27611	3	1
[293]	4679	PUSH1	27608	3	1
[294]	4681	ADD	27605	3	1
[295]	4682	SWAP1	27602	3	1
[296]	4683	DUP2	27599	3	1
[297]	4684	MSTORE	27596	3	1
[298]	4685	PUSH1	27593	3	1
[299]	4687	ADD	27590	3	1
[300]	4688	PUSH1	27587	3	1
[301]	4690	KECCAK256	27584	42	1
[302]	4691	DUP2	27542	3	1
[303]	4692	SWAP1	27539	3	1
[304]	4693	SSTORE	27536	2900	1
[305]	4694	POP	24636	2	1
[306]	4695	DUP2	24634	3	1
[307]	4696	PUSH1	24631	3	1
[308]	4698	DUP1	24628	3	1
[309]	4699	DUP6	24625	3	1
[310]	4700	PUSH20	24622	3	1
[311]	4721	AND	24619	3	1
[312]	4722	PUSH20	24616	3	1
[313]	4743	AND	24613	3	1
[314]	4744	DUP2	24610	3	1
[315]	4745	MSTORE	24607	3	1
[316]	4746	PUSH1	24604	3	1
[317]	4748	ADD	24601	3	1
[318]	4749	SWAP1	24598	3	1
[319]	4750	DUP2	24595	3	1
[320]	4751	MSTORE	24592	3	1
[321]	4752	PUSH1	24589	3	1
[322]	4754	ADD	24586	3	1
[323]	4755	PUSH1	24583	3	1
[324]	4757	KECCAK256	24580	42	1
[325]	4758	PUSH1	24538	3	1
[326]	4760	DUP3	24535	3	1
[327]	4761	DUP3	24532	3	1
[328]	4762	SLOAD	24529	2100	1
[329]	4763	PUSH2	22429	3	1
[330]	4766	SWAP2	22426	3	1
[331]	4767	SWAP1	22423	3	1
[332]	4768	PUSH2	22420	3	1
[333]	4771	JUMP	22417	8	1
[334]	6814	JUMPDEST	22409	1	1
[335]	6815	PUSH1	22408	3	1
[336]	6817	PUSH2	22405	3	1
[337]	6820	DUP3	22402	3	1
[338]	6821	PUSH2	22399	3	1
[339]	6824	JUMP	22396	8	1
[340]	7024	JUMPDEST	22388	1	1
[341]	7025	PUSH1	22387	3	1
[342]	7027	DUP2	22384	3	1
[343]	7028	SWAP1	22381	3	1
[344]	7029	POP	22378	2	1
[345]	7030	SWAP2	22376	3	1
[346]	7031	SWAP1	22373	3	1
[347]	7032	POP	22370	2	1
[348]	7033	JUMP	22368	8	1
[349]	6825	JUMPDEST	22360	1	1
[350]	6826	SWAP2	22359	3	1
[351]	6827	POP	22356	2	1
[352]	6828	PUSH2	22354	3	1
[353]	6831	DUP4	22351	3	1
[354]	6832	PUSH2	22348	3	1
[355]	6835	JUMP	22345	8	1
[356]	7024	JUMPDEST	22337	1	1
[357]	7025	PUSH1	22336	3	1
[358]	7027	DUP2	22333	3	1
[359]	7028	SWAP1	22330	3	1
[360]	7029	POP	22327	2	1
[361]	7030	SWAP2	22325	3	1
[362]	7031	SWAP1	22322	3	1
[363]	7032	POP	22319	2	1
[364]	7033	JUMP	22317	8	1
[365]	6836	JUMPDEST	22309	1	1
[366]	6837	SWAP3	22308	3	1
[367]	6838	POP	22305	2	1
[368]	6839	DUP3	22303	3	1
[369]	6840	PUSH32	22300	3	1
[370]	6873	SUB	22297	3	1
[371]	6874	DUP3	22294	3	1
[372]	6875	GT	22291	3	1
[373]	6876	ISZERO	22288	3	1
[374]	6877	PUSH2	22285	3	1
[375]	6880	JUMPI	22282	10	1
[376]	6889	JUMPDEST	22272	1	1
[377]	6890	DUP3	22271	3	1
[378]	6891	DUP3	22268	3	1
[379]	6892	ADD	22265	3	1
[380]	6893	SWAP1	22262	3	1
[381]	6894	POP	22259	2	1
[382]	6895	SWAP3	22257	3	1
[383]	6896	SWAP2	22254	3	1
[384]	6897	POP	22251	2	1
[385]	6898	POP	22249	2	1
[386]	6899	JUMP	22247	8	1
[387]	4772	JUMPDEST	22239	1	1
[388]	4773	SWAP3	22238	3	1
[389]	4774	POP	22235	2	1
[390]	4775	POP	22233	2	1
[391]	4776	DUP2	22231	3	1
[392]	4777	SWAP1	22228	3	1
[393]	4778	SSTORE	22225	20000	1
[394]	4779	POP	2225	2	1
[395]	4780	DUP3	2223	3	1
[396]	4781	PUSH20	2220	3	1
[397]	4802	AND	2217	3	1
[398]	4803	DUP5	2214	3	1
[399]	4804	PUSH20	2211	3	1
[400]	4825	AND	2208	3	1
[401]	4826	PUSH32	2205	3	1
[402]	4859	DUP5	2202	3	1
[403]	4860	PUSH1	2199	3	1
[404]	4862	MLOAD	2196	3	1
[405]	4863	PUSH2	2193	3	1
[406]	4866	SWAP2	2190	3	1
[407]	4867	SWAP1	2187	3	1
[408]	4868	PUSH2	2184	3	1
[409]	4871	JUMP	2181	8	1
[410]	6732	JUMPDEST	2173	1	1
[411]	6733	PUSH1	2172	3	1
[412]	6735	PUSH1	2169	3	1
[413]	6737	DUP3	2166	3	1
[414]	6738	ADD	2163	3	1
[415]	6739	SWAP1	2160	3	1
[416]	6740	POP	2157	2	1
[417]	6741	PUSH2	2155	3	1
[418]	6744	PUSH1	2152	3	1
[419]	6746	DUP4	2149	3	1
[420]	6747	ADD	2146	3	1
[421]	6748	DUP5	2143	3	1
[422]	6749	PUSH2	2140	3	1
[423]	6752	JUMP	2137	8	1
[424]	6294	JUMPDEST	2129	1	1
[425]	6295	PUSH2	2128	3	1
[426]	6298	DUP2	2125	3	1
[427]	6299	PUSH2	2122	3	1
[428]	6302	JUMP	2119	8	1
[429]	7024	JUMPDEST	2111	1	1
[430]	7025	PUSH1	2110	3	1
[431]	7027	DUP2	2107	3	1
[432]	7028	SWAP1	2104	3	1
[433]	7029	POP	2101	2	1
[434]	7030	SWAP2	2099	3	1
[435]	7031	SWAP1	2096	3	1
[436]	7032	POP	2093	2	1
[437]	7033	JUMP	2091	8	1
[438]	6303	JUMPDEST	2083	1	1
[439]	6304	DUP3	2082	3	1
[440]	6305	MSTORE	2079	9	1
[441]	6306	POP	2070	2	1
[442]	6307	POP	2068	2	1
[443]	6308	JUMP	2066	8	1
[444]	6753	JUMPDEST	2058	1	1
[445]	6754	SWAP3	2057	3	1
[446]	6755	SWAP2	2054	3	1
[447]	6756	POP	2051	2	1
[448]	6757	POP	2049	2	1
[449]	6758	JUMP	2047	8	1
[450]	4872	JUMPDEST	2039	1	1
[451]	4873	PUSH1	2038	3	1
[452]	4875	MLOAD	2035	3	1
[453]	4876	DUP1	2032	3	1
[454]	4877	SWAP2	2029	3	1
[455]	4878	SUB	2026	3	1
[456]	4879	SWAP1	2023	3	1
[457]	4880	LOG3	2020	1756	1
[458]	4881	PUSH2	264	3	1
[459]	4884	DUP5	261	3	1
[460]	4885	DUP5	258	3	1
[461]	4886	DUP5	255	3	1
[462]	4887	PUSH2	252	3	1
[463]	4890	JUMP	249	8	1
[464]	5405	JUMPDEST	241	1	1
[465]	5406	POP	240	2	1
[466]	5407	POP	238	2	1
[467]	5408	POP	236	2	1
[468]	5409	JUMP	234	8	1
[469]	4891	JUMPDEST	226	1	1
[470]	4892	POP	225	2	1
[471]	4893	POP	223	2	1
[472]	4894	POP	221	2	1
[473]	4895	POP	219	2	1
[474]	4896	JUMP	217	8	1
[475]	3113	JUMPDEST	209	1	1
[476]	3114	PUSH1	208	3	1
[477]	3116	SWAP2	205	3	1
[478]	3117	POP	202	2	1
[479]	3118	POP	200	2	1
[480]	3119	SWAP3	198	3	1
[481]	3120	SWAP2	195	3	1
[482]	3121	POP	192	2	1
[483]	3122	POP	190	2	1
[484]	3123	JUMP	188	8	1
[485]	862	JUMPDEST	180	1	1
[486]	863	PUSH1	179	3	1
[487]	865	MLOAD	176	3	1
[488]	866	PUSH2	173	3	1
[489]	869	SWAP2	170	3	1
[490]	870	SWAP1	167	3	1
[491]	871	PUSH2	164	3	1
[492]	874	JUMP	161	8	1
[493]	6351	JUMPDEST	153	1	1
[494]	6352	PUSH1	152	3	1
[495]	6354	PUSH1	149	3	1
[496]	6356	DUP3	146	3	1
[497]	6357	ADD	143	3	1
[498]	6358	SWAP1	140	3	1
[499]	6359	POP	137	2	1
[500]	6360	PUSH2	135	3	1
[501]	6363	PUSH1	132	3	1
[502]	6365	DUP4	129	3	1
[503]	6366	ADD	126	3	1
[504]	6367	DUP5	123	3	1
[505]	6368	PUSH2	120	3	1
[506]	6371	JUMP	117	8	1
[507]	5872	JUMPDEST	109	1	1
[508]	5873	PUSH2	108	3	1
[509]	5876	DUP2	105	3	1
[510]	5877	PUSH2	102	3	1
[511]	5880	JUMP	99	8	1
[512]	6970	JUMPDEST	91	1	1
[513]	6971	PUSH1	90	3	1
[514]	6973	DUP2	87	3	1
[515]	6974	ISZERO	84	3	1
[516]	6975	ISZERO	81	3	1
[517]	6976	SWAP1	78	3	1
[518]	6977	POP	75	2	1
[519]	6978	SWAP2	73	3	1
[520]	6979	SWAP1	70	3	1
[521]	6980	POP	67	2	1
[522]	6981	JUMP	65	8	1
[523]	5881	JUMPDEST	57	1	1
[524]	5882	DUP3	56	3	1
[525]	5883	MSTORE	53	3	1
[526]	5884	POP	50	2	1
[527]	5885	POP	48	2	1
[528]	5886	JUMP	46	8	1
[529]	6372	JUMPDEST	38	1	1
[530]	6373	SWAP3	37	3	1
[531]	6374	SWAP2	34	3	1
[532]	6375	POP	31	2	1
[533]	6376	POP	29	2	1
[534]	6377	JUMP	27	8	1
[535]	875	JUMPDEST	19	1	1
[536]	876	PUSH1	18	3	1
[537]	878	MLOAD	15	3	1
[538]	879	DUP1	12	3	1
[539]	880	SWAP2	9	3	1
[540]	881	SUB	6	3	1
[541]	882	SWAP1	3	3	1
[542]	883	RETURN	0	0	1