Geth VM Trace Transaction

GETH Trace for Txn Hash 0x5d1a5a63e14746cbbe11f8e3c43e652a7b09a869aca1b4df328d3393e8afcadd

Contract transaction successfully completed.

Raw traces

A total of 574 steps found

Step	PC	Operation	Gas	GasCost	Depth
[1]	0	PUSH1	198940	3	1
[2]	2	PUSH1	198937	3	1
[3]	4	MSTORE	198934	12	1
[4]	5	PUSH1	198922	3	1
[5]	7	CALLDATASIZE	198919	2	1
[6]	8	LT	198917	3	1
[7]	9	PUSH2	198914	3	1
[8]	12	JUMPI	198911	10	1
[9]	13	PUSH1	198901	3	1
[10]	15	CALLDATALOAD	198898	3	1
[11]	16	PUSH1	198895	3	1
[12]	18	SHR	198892	3	1
[13]	19	DUP1	198889	3	1
[14]	20	PUSH4	198886	3	1
[15]	25	EQ	198883	3	1
[16]	26	PUSH2	198880	3	1
[17]	29	JUMPI	198877	10	1
[18]	30	DUP1	198867	3	1
[19]	31	PUSH4	198864	3	1
[20]	36	EQ	198861	3	1
[21]	37	PUSH2	198858	3	1
[22]	40	JUMPI	198855	10	1
[23]	41	DUP1	198845	3	1
[24]	42	PUSH4	198842	3	1
[25]	47	EQ	198839	3	1
[26]	48	PUSH2	198836	3	1
[27]	51	JUMPI	198833	10	1
[28]	52	DUP1	198823	3	1
[29]	53	PUSH4	198820	3	1
[30]	58	EQ	198817	3	1
[31]	59	PUSH2	198814	3	1
[32]	62	JUMPI	198811	10	1
[33]	63	PUSH2	198801	3	1
[34]	66	JUMP	198798	8	1
[35]	82	JUMPDEST	198790	1	1
[36]	83	PUSH2	198789	3	1
[37]	86	PUSH2	198786	3	1
[38]	89	JUMP	198783	8	1
[39]	224	JUMPDEST	198775	1	1
[40]	225	PUSH2	198774	3	1
[41]	228	PUSH2	198771	3	1
[42]	231	JUMP	198768	8	1
[43]	753	JUMPDEST	198760	1	1
[44]	754	CALLER	198759	2	1
[45]	755	PUSH20	198757	3	1
[46]	776	PUSH32	198754	3	1
[47]	809	AND	198751	3	1
[48]	810	EQ	198748	3	1
[49]	811	ISZERO	198745	3	1
[50]	812	PUSH2	198742	3	1
[51]	815	JUMPI	198739	10	1
[52]	248	JUMPDEST	198729	1	1
[53]	249	JUMP	198728	8	1
[54]	232	JUMPDEST	198720	1	1
[55]	233	PUSH2	198719	3	1
[56]	236	PUSH2	198716	3	1
[57]	239	PUSH2	198713	3	1
[58]	242	JUMP	198710	8	1
[59]	994	JUMPDEST	198702	1	1
[60]	995	PUSH1	198701	3	1
[61]	997	PUSH2	198698	3	1
[62]	1000	PUSH32	198695	3	1
[63]	1033	SLOAD	198692	2100	1
[64]	1034	PUSH20	196592	3	1
[65]	1055	AND	196589	3	1
[66]	1056	SWAP1	196586	3	1
[67]	1057	JUMP	196583	8	1
[68]	564	JUMPDEST	196575	1	1
[69]	565	SWAP1	196574	3	1
[70]	566	POP	196571	2	1
[71]	567	SWAP1	196569	3	1
[72]	568	JUMP	196566	8	1
[73]	243	JUMPDEST	196558	1	1
[74]	244	PUSH2	196557	3	1
[75]	247	JUMP	196554	8	1
[76]	1058	JUMPDEST	196546	1	1
[77]	1059	CALLDATASIZE	196545	2	1
[78]	1060	PUSH1	196543	3	1
[79]	1062	DUP1	196540	3	1
[80]	1063	CALLDATACOPY	196537	36	1
[81]	1064	PUSH1	196501	3	1
[82]	1066	DUP1	196498	3	1
[83]	1067	CALLDATASIZE	196495	2	1
[84]	1068	PUSH1	196493	3	1
[85]	1070	DUP5	196490	3	1
[86]	1071	GAS	196487	2	1
[87]	1072	DELEGATECALL	196485	193456	1
[88]	0	PUSH1	190856	3	2
[89]	2	PUSH1	190853	3	2
[90]	4	MSTORE	190850	12	2
[91]	5	PUSH1	190838	3	2
[92]	7	CALLDATASIZE	190835	2	2
[93]	8	LT	190833	3	2
[94]	9	PUSH2	190830	3	2
[95]	12	JUMPI	190827	10	2
[96]	13	PUSH1	190817	3	2
[97]	15	CALLDATALOAD	190814	3	2
[98]	16	PUSH1	190811	3	2
[99]	18	SHR	190808	3	2
[100]	19	DUP1	190805	3	2
[101]	20	PUSH4	190802	3	2
[102]	25	GT	190799	3	2
[103]	26	PUSH2	190796	3	2
[104]	29	JUMPI	190793	10	2
[105]	225	JUMPDEST	190783	1	2
[106]	226	DUP1	190782	3	2
[107]	227	PUSH4	190779	3	2
[108]	232	GT	190776	3	2
[109]	233	PUSH2	190773	3	2
[110]	236	JUMPI	190770	10	2
[111]	334	JUMPDEST	190760	1	2
[112]	335	DUP1	190759	3	2
[113]	336	PUSH4	190756	3	2
[114]	341	GT	190753	3	2
[115]	342	PUSH2	190750	3	2
[116]	345	JUMPI	190747	10	2
[117]	346	DUP1	190737	3	2
[118]	347	PUSH4	190734	3	2
[119]	352	EQ	190731	3	2
[120]	353	PUSH2	190728	3	2
[121]	356	JUMPI	190725	10	2
[122]	572	JUMPDEST	190715	1	2
[123]	573	CALLVALUE	190714	2	2
[124]	574	DUP1	190712	3	2
[125]	575	ISZERO	190709	3	2
[126]	576	PUSH2	190706	3	2
[127]	579	JUMPI	190703	10	2
[128]	584	JUMPDEST	190693	1	2
[129]	585	POP	190692	2	2
[130]	586	PUSH2	190690	3	2
[131]	589	PUSH2	190687	3	2
[132]	592	CALLDATASIZE	190684	2	2
[133]	593	PUSH1	190682	3	2
[134]	595	PUSH2	190679	3	2
[135]	598	JUMP	190676	8	2
[136]	7428	JUMPDEST	190668	1	2
[137]	7429	PUSH1	190667	3	2
[138]	7431	DUP1	190664	3	2
[139]	7432	PUSH1	190661	3	2
[140]	7434	DUP4	190658	3	2
[141]	7435	DUP6	190655	3	2
[142]	7436	SUB	190652	3	2
[143]	7437	SLT	190649	3	2
[144]	7438	ISZERO	190646	3	2
[145]	7439	PUSH2	190643	3	2
[146]	7442	JUMPI	190640	10	2
[147]	7447	JUMPDEST	190630	1	2
[148]	7448	DUP3	190629	3	2
[149]	7449	CALLDATALOAD	190626	3	2
[150]	7450	PUSH8	190623	3	2
[151]	7459	DUP1	190620	3	2
[152]	7460	DUP3	190617	3	2
[153]	7461	GT	190614	3	2
[154]	7462	ISZERO	190611	3	2
[155]	7463	PUSH2	190608	3	2
[156]	7466	JUMPI	190605	10	2
[157]	7471	JUMPDEST	190595	1	2
[158]	7472	DUP2	190594	3	2
[159]	7473	DUP6	190591	3	2
[160]	7474	ADD	190588	3	2
[161]	7475	SWAP2	190585	3	2
[162]	7476	POP	190582	2	2
[163]	7477	DUP6	190580	3	2
[164]	7478	PUSH1	190577	3	2
[165]	7480	DUP4	190574	3	2
[166]	7481	ADD	190571	3	2
[167]	7482	SLT	190568	3	2
[168]	7483	PUSH2	190565	3	2
[169]	7486	JUMPI	190562	10	2
[170]	7491	JUMPDEST	190552	1	2
[171]	7492	DUP2	190551	3	2
[172]	7493	CALLDATALOAD	190548	3	2
[173]	7494	DUP2	190545	3	2
[174]	7495	DUP2	190542	3	2
[175]	7496	GT	190539	3	2
[176]	7497	ISZERO	190536	3	2
[177]	7498	PUSH2	190533	3	2
[178]	7501	JUMPI	190530	10	2
[179]	7506	JUMPDEST	190520	1	2
[180]	7507	DUP7	190519	3	2
[181]	7508	PUSH1	190516	3	2
[182]	7510	DUP3	190513	3	2
[183]	7511	PUSH1	190510	3	2
[184]	7513	SHL	190507	3	2
[185]	7514	DUP6	190504	3	2
[186]	7515	ADD	190501	3	2
[187]	7516	ADD	190498	3	2
[188]	7517	GT	190495	3	2
[189]	7518	ISZERO	190492	3	2
[190]	7519	PUSH2	190489	3	2
[191]	7522	JUMPI	190486	10	2
[192]	7527	JUMPDEST	190476	1	2
[193]	7528	PUSH1	190475	3	2
[194]	7530	SWAP3	190472	3	2
[195]	7531	SWAP1	190469	3	2
[196]	7532	SWAP3	190466	3	2
[197]	7533	ADD	190463	3	2
[198]	7534	SWAP7	190460	3	2
[199]	7535	SWAP2	190457	3	2
[200]	7536	SWAP6	190454	3	2
[201]	7537	POP	190451	2	2
[202]	7538	SWAP1	190449	3	2
[203]	7539	SWAP4	190446	3	2
[204]	7540	POP	190443	2	2
[205]	7541	POP	190441	2	2
[206]	7542	POP	190439	2	2
[207]	7543	POP	190437	2	2
[208]	7544	JUMP	190435	8	2
[209]	599	JUMPDEST	190427	1	2
[210]	600	PUSH2	190426	3	2
[211]	603	JUMP	190423	8	2
[212]	2040	JUMPDEST	190415	1	2
[213]	2041	CALLER	190414	2	2
[214]	2042	PUSH2	190412	3	2
[215]	2045	PUSH1	190409	3	2
[216]	2047	SLOAD	190406	2100	2
[217]	2048	PUSH20	188306	3	2
[218]	2069	AND	188303	3	2
[219]	2070	SWAP1	188300	3	2
[220]	2071	JUMP	188297	8	2
[221]	2072	JUMPDEST	188289	1	2
[222]	2073	PUSH20	188288	3	2
[223]	2094	AND	188285	3	2
[224]	2095	EQ	188282	3	2
[225]	2096	PUSH2	188279	3	2
[226]	2099	JUMPI	188276	10	2
[227]	2100	CALLER	188266	2	2
[228]	2101	PUSH1	188264	3	2
[229]	2103	SWAP1	188261	3	2
[230]	2104	DUP2	188258	3	2
[231]	2105	MSTORE	188255	3	2
[232]	2106	PUSH1	188252	3	2
[233]	2108	PUSH1	188249	3	2
[234]	2110	MSTORE	188246	3	2
[235]	2111	PUSH1	188243	3	2
[236]	2113	SWAP1	188240	3	2
[237]	2114	KECCAK256	188237	42	2
[238]	2115	SLOAD	188195	2100	2
[239]	2116	PUSH1	186095	3	2
[240]	2118	AND	186092	3	2
[241]	2119	PUSH2	186089	3	2
[242]	2122	JUMPI	186086	10	2
[243]	2172	JUMPDEST	186076	1	2
[244]	2173	PUSH1	186075	3	2
[245]	2175	JUMPDEST	186072	1	2
[246]	2176	DUP2	186071	3	2
[247]	2177	DUP2	186068	3	2
[248]	2178	LT	186065	3	2
[249]	2179	ISZERO	186062	3	2
[250]	2180	PUSH2	186059	3	2
[251]	2183	JUMPI	186056	10	2
[252]	2184	CALLDATASIZE	186046	2	2
[253]	2185	DUP4	186044	3	2
[254]	2186	DUP4	186041	3	2
[255]	2187	DUP4	186038	3	2
[256]	2188	DUP2	186035	3	2
[257]	2189	DUP2	186032	3	2
[258]	2190	LT	186029	3	2
[259]	2191	PUSH2	186026	3	2
[260]	2194	JUMPI	186023	10	2
[261]	2202	JUMPDEST	186013	1	2
[262]	2203	PUSH1	186012	3	2
[263]	2205	MUL	186009	5	2
[264]	2206	SWAP2	186004	3	2
[265]	2207	SWAP1	186001	3	2
[266]	2208	SWAP2	185998	3	2
[267]	2209	ADD	185995	3	2
[268]	2210	SWAP2	185992	3	2
[269]	2211	POP	185989	2	2
[270]	2212	PUSH2	185987	3	2
[271]	2215	SWAP1	185984	3	2
[272]	2216	POP	185981	2	2
[273]	2217	PUSH2	185979	3	2
[274]	2220	PUSH1	185976	3	2
[275]	2222	DUP4	185973	3	2
[276]	2223	ADD	185970	3	2
[277]	2224	DUP4	185967	3	2
[278]	2225	PUSH2	185964	3	2
[279]	2228	JUMP	185961	8	2
[280]	7223	JUMPDEST	185953	1	2
[281]	7224	PUSH1	185952	3	2
[282]	7226	PUSH1	185949	3	2
[283]	7228	DUP3	185946	3	2
[284]	7229	DUP5	185943	3	2
[285]	7230	SUB	185940	3	2
[286]	7231	SLT	185937	3	2
[287]	7232	ISZERO	185934	3	2
[288]	7233	PUSH2	185931	3	2
[289]	7236	JUMPI	185928	10	2
[290]	7241	JUMPDEST	185918	1	2
[291]	7242	PUSH2	185917	3	2
[292]	7245	DUP3	185914	3	2
[293]	7246	PUSH2	185911	3	2
[294]	7249	JUMP	185908	8	2
[295]	7147	JUMPDEST	185900	1	2
[296]	7148	DUP1	185899	3	2
[297]	7149	CALLDATALOAD	185896	3	2
[298]	7150	PUSH4	185893	3	2
[299]	7155	DUP2	185890	3	2
[300]	7156	AND	185887	3	2
[301]	7157	DUP2	185884	3	2
[302]	7158	EQ	185881	3	2
[303]	7159	PUSH2	185878	3	2
[304]	7162	JUMPI	185875	10	2
[305]	7167	JUMPDEST	185865	1	2
[306]	7168	SWAP2	185864	3	2
[307]	7169	SWAP1	185861	3	2
[308]	7170	POP	185858	2	2
[309]	7171	JUMP	185856	8	2
[310]	7250	JUMPDEST	185848	1	2
[311]	7251	SWAP4	185847	3	2
[312]	7252	SWAP3	185844	3	2
[313]	7253	POP	185841	2	2
[314]	7254	POP	185839	2	2
[315]	7255	POP	185837	2	2
[316]	7256	JUMP	185835	8	2
[317]	2229	JUMPDEST	185827	1	2
[318]	2230	PUSH2	185826	3	2
[319]	2233	CALLDATASIZE	185823	2	2
[320]	2234	DUP5	185821	3	2
[321]	2235	SWAP1	185818	3	2
[322]	2236	SUB	185815	3	2
[323]	2237	DUP5	185812	3	2
[324]	2238	ADD	185809	3	2
[325]	2239	PUSH1	185806	3	2
[326]	2241	DUP6	185803	3	2
[327]	2242	ADD	185800	3	2
[328]	2243	PUSH2	185797	3	2
[329]	2246	JUMP	185794	8	2
[330]	7979	JUMPDEST	185786	1	2
[331]	7980	PUSH1	185785	3	2
[332]	7982	PUSH1	185782	3	2
[333]	7984	DUP3	185779	3	2
[334]	7985	DUP5	185776	3	2
[335]	7986	SUB	185773	3	2
[336]	7987	SLT	185770	3	2
[337]	7988	ISZERO	185767	3	2
[338]	7989	PUSH2	185764	3	2
[339]	7992	JUMPI	185761	10	2
[340]	7997	JUMPDEST	185751	1	2
[341]	7998	PUSH1	185750	3	2
[342]	8000	MLOAD	185747	3	2
[343]	8001	PUSH1	185744	3	2
[344]	8003	DUP2	185741	3	2
[345]	8004	ADD	185738	3	2
[346]	8005	DUP2	185735	3	2
[347]	8006	DUP2	185732	3	2
[348]	8007	LT	185729	3	2
[349]	8008	PUSH8	185726	3	2
[350]	8017	DUP3	185723	3	2
[351]	8018	GT	185720	3	2
[352]	8019	OR	185717	3	2
[353]	8020	ISZERO	185714	3	2
[354]	8021	PUSH2	185711	3	2
[355]	8024	JUMPI	185708	10	2
[356]	8071	JUMPDEST	185698	1	2
[357]	8072	PUSH1	185697	3	2
[358]	8074	MSTORE	185694	3	2
[359]	8075	PUSH2	185691	3	2
[360]	8078	DUP4	185688	3	2
[361]	8079	PUSH2	185685	3	2
[362]	8082	JUMP	185682	8	2
[363]	7369	JUMPDEST	185674	1	2
[364]	7370	DUP1	185673	3	2
[365]	7371	CALLDATALOAD	185670	3	2
[366]	7372	PUSH16	185667	3	2
[367]	7389	DUP2	185664	3	2
[368]	7390	AND	185661	3	2
[369]	7391	DUP2	185658	3	2
[370]	7392	EQ	185655	3	2
[371]	7393	PUSH2	185652	3	2
[372]	7396	JUMPI	185649	10	2
[373]	7167	JUMPDEST	185639	1	2
[374]	7168	SWAP2	185638	3	2
[375]	7169	SWAP1	185635	3	2
[376]	7170	POP	185632	2	2
[377]	7171	JUMP	185630	8	2
[378]	8083	JUMPDEST	185622	1	2
[379]	8084	DUP2	185621	3	2
[380]	8085	MSTORE	185618	9	2
[381]	8086	PUSH2	185609	3	2
[382]	8089	PUSH1	185606	3	2
[383]	8091	DUP5	185603	3	2
[384]	8092	ADD	185600	3	2
[385]	8093	PUSH2	185597	3	2
[386]	8096	JUMP	185594	8	2
[387]	7955	JUMPDEST	185586	1	2
[388]	7956	DUP1	185585	3	2
[389]	7957	CALLDATALOAD	185582	3	2
[390]	7958	PUSH8	185579	3	2
[391]	7967	DUP2	185576	3	2
[392]	7968	AND	185573	3	2
[393]	7969	DUP2	185570	3	2
[394]	7970	EQ	185567	3	2
[395]	7971	PUSH2	185564	3	2
[396]	7974	JUMPI	185561	10	2
[397]	7167	JUMPDEST	185551	1	2
[398]	7168	SWAP2	185550	3	2
[399]	7169	SWAP1	185547	3	2
[400]	7170	POP	185544	2	2
[401]	7171	JUMP	185542	8	2
[402]	8097	JUMPDEST	185534	1	2
[403]	8098	PUSH1	185533	3	2
[404]	8100	DUP3	185530	3	2
[405]	8101	ADD	185527	3	2
[406]	8102	MSTORE	185524	6	2
[407]	8103	PUSH2	185518	3	2
[408]	8106	PUSH1	185515	3	2
[409]	8108	DUP5	185512	3	2
[410]	8109	ADD	185509	3	2
[411]	8110	PUSH2	185506	3	2
[412]	8113	JUMP	185503	8	2
[413]	7147	JUMPDEST	185495	1	2
[414]	7148	DUP1	185494	3	2
[415]	7149	CALLDATALOAD	185491	3	2
[416]	7150	PUSH4	185488	3	2
[417]	7155	DUP2	185485	3	2
[418]	7156	AND	185482	3	2
[419]	7157	DUP2	185479	3	2
[420]	7158	EQ	185476	3	2
[421]	7159	PUSH2	185473	3	2
[422]	7162	JUMPI	185470	10	2
[423]	7167	JUMPDEST	185460	1	2
[424]	7168	SWAP2	185459	3	2
[425]	7169	SWAP1	185456	3	2
[426]	7170	POP	185453	2	2
[427]	7171	JUMP	185451	8	2
[428]	8114	JUMPDEST	185443	1	2
[429]	8115	PUSH1	185442	3	2
[430]	8117	DUP3	185439	3	2
[431]	8118	ADD	185436	3	2
[432]	8119	MSTORE	185433	6	2
[433]	8120	SWAP4	185427	3	2
[434]	8121	SWAP3	185424	3	2
[435]	8122	POP	185421	2	2
[436]	8123	POP	185419	2	2
[437]	8124	POP	185417	2	2
[438]	8125	JUMP	185415	8	2
[439]	2247	JUMPDEST	185407	1	2
[440]	2248	DUP1	185406	3	2
[441]	2249	MLOAD	185403	3	2
[442]	2250	PUSH1	185400	3	2
[443]	2252	DUP1	185397	3	2
[444]	2253	DUP4	185394	3	2
[445]	2254	ADD	185391	3	2
[446]	2255	MLOAD	185388	3	2
[447]	2256	PUSH1	185385	3	2
[448]	2258	SWAP4	185382	3	2
[449]	2259	DUP5	185379	3	2
[450]	2260	ADD	185376	3	2
[451]	2261	MLOAD	185373	3	2
[452]	2262	DUP5	185370	3	2
[453]	2263	MLOAD	185367	3	2
[454]	2264	PUSH1	185364	3	2
[455]	2266	DUP2	185361	3	2
[456]	2267	ADD	185358	3	2
[457]	2268	DUP7	185355	3	2
[458]	2269	MSTORE	185352	3	2
[459]	2270	PUSH16	185349	3	2
[460]	2287	SWAP5	185346	3	2
[461]	2288	DUP6	185343	3	2
[462]	2289	AND	185340	3	2
[463]	2290	DUP2	185337	3	2
[464]	2291	MSTORE	185334	6	2
[465]	2292	PUSH8	185328	3	2
[466]	2301	SWAP3	185325	3	2
[467]	2302	DUP4	185322	3	2
[468]	2303	AND	185319	3	2
[469]	2304	DUP2	185316	3	2
[470]	2305	DUP6	185313	3	2
[471]	2306	ADD	185310	3	2
[472]	2307	SWAP1	185307	3	2
[473]	2308	DUP2	185304	3	2
[474]	2309	MSTORE	185301	6	2
[475]	2310	PUSH4	185295	3	2
[476]	2315	SWAP3	185292	3	2
[477]	2316	DUP4	185289	3	2
[478]	2317	AND	185286	3	2
[479]	2318	DUP3	185283	3	2
[480]	2319	DUP9	185280	3	2
[481]	2320	ADD	185277	3	2
[482]	2321	SWAP1	185274	3	2
[483]	2322	DUP2	185271	3	2
[484]	2323	MSTORE	185268	6	2
[485]	2324	SWAP8	185262	3	2
[486]	2325	DUP4	185259	3	2
[487]	2326	AND	185256	3	2
[488]	2327	PUSH1	185253	3	2
[489]	2329	SWAP1	185250	3	2
[490]	2330	DUP2	185247	3	2
[491]	2331	MSTORE	185244	3	2
[492]	2332	PUSH1	185241	3	2
[493]	2334	SWAP1	185238	3	2
[494]	2335	SWAP6	185235	3	2
[495]	2336	MSTORE	185232	3	2
[496]	2337	SWAP6	185229	3	2
[497]	2338	SWAP1	185226	3	2
[498]	2339	SWAP4	185223	3	2
[499]	2340	KECCAK256	185220	42	2
[500]	2341	SWAP3	185178	3	2
[501]	2342	MLOAD	185175	3	2
[502]	2343	DUP4	185172	3	2
[503]	2344	SLOAD	185169	2100	2
[504]	2345	SWAP6	183069	3	2
[505]	2346	MLOAD	183066	3	2
[506]	2347	SWAP7	183063	3	2
[507]	2348	MLOAD	183060	3	2
[508]	2349	SWAP5	183057	3	2
[509]	2350	AND	183054	3	2
[510]	2351	PUSH32	183051	3	2
[511]	2384	SWAP1	183048	3	2
[512]	2385	SWAP6	183045	3	2
[513]	2386	AND	183042	3	2
[514]	2387	SWAP5	183039	3	2
[515]	2388	SWAP1	183036	3	2
[516]	2389	SWAP5	183033	3	2
[517]	2390	OR	183030	3	2
[518]	2391	PUSH17	183027	3	2
[519]	2409	SWAP6	183024	3	2
[520]	2410	SWAP1	183021	3	2
[521]	2411	SWAP2	183018	3	2
[522]	2412	AND	183015	3	2
[523]	2413	SWAP5	183012	3	2
[524]	2414	SWAP1	183009	3	2
[525]	2415	SWAP5	183006	3	2
[526]	2416	MUL	183003	5	2
[527]	2417	SWAP4	182998	3	2
[528]	2418	SWAP1	182995	3	2
[529]	2419	SWAP4	182992	3	2
[530]	2420	OR	182989	3	2
[531]	2421	PUSH32	182986	3	2
[532]	2454	AND	182983	3	2
[533]	2455	PUSH25	182980	3	2
[534]	2481	SWAP2	182977	3	2
[535]	2482	SWAP1	182974	3	2
[536]	2483	SWAP3	182971	3	2
[537]	2484	AND	182968	3	2
[538]	2485	MUL	182965	5	2
[539]	2486	OR	182960	3	2
[540]	2487	SWAP1	182957	3	2
[541]	2488	SSTORE	182954	20000	2
[542]	2489	JUMP	162954	8	2
[543]	2490	JUMPDEST	162946	1	2
[544]	2491	POP	162945	2	2
[545]	2492	PUSH1	162943	3	2
[546]	2494	ADD	162940	3	2
[547]	2495	PUSH2	162937	3	2
[548]	2498	JUMP	162934	8	2
[549]	2175	JUMPDEST	162926	1	2
[550]	2176	DUP2	162925	3	2
[551]	2177	DUP2	162922	3	2
[552]	2178	LT	162919	3	2
[553]	2179	ISZERO	162916	3	2
[554]	2180	PUSH2	162913	3	2
[555]	2183	JUMPI	162910	10	2
[556]	2499	JUMPDEST	162900	1	2
[557]	2500	POP	162899	2	2
[558]	2501	POP	162897	2	2
[559]	2502	POP	162895	2	2
[560]	2503	JUMP	162893	8	2
[561]	570	JUMPDEST	162885	1	2
[562]	571	STOP	162884	0	2
[563]	1073	RETURNDATASIZE	165913	2	1
[564]	1074	PUSH1	165911	3	1
[565]	1076	DUP1	165908	3	1
[566]	1077	RETURNDATACOPY	165905	3	1
[567]	1078	DUP1	165902	3	1
[568]	1079	DUP1	165899	3	1
[569]	1080	ISZERO	165896	3	1
[570]	1081	PUSH2	165893	3	1
[571]	1084	JUMPI	165890	10	1
[572]	1085	RETURNDATASIZE	165880	2	1
[573]	1086	PUSH1	165878	3	1
[574]	1088	RETURN	165875	0	1