Geth VM Trace Transaction

GETH Trace for Txn Hash 0xfa263003c333b8f61d2702d3432a2474a66eda89e672ff99e100f768024ec87c

Contract transaction successfully completed.

Raw traces

A total of 547 steps found

Step	PC	Operation	Gas	GasCost	Depth
[1]	0	PUSH1	8714	3	1
[2]	2	PUSH1	8711	3	1
[3]	4	MSTORE	8708	12	1
[4]	5	PUSH1	8696	3	1
[5]	7	CALLDATASIZE	8693	2	1
[6]	8	LT	8691	3	1
[7]	9	ISZERO	8688	3	1
[8]	10	PUSH2	8685	3	1
[9]	13	JUMPI	8682	10	1
[10]	27	JUMPDEST	8672	1	1
[11]	28	PUSH1	8671	3	1
[12]	30	DUP1	8668	3	1
[13]	31	CALLDATALOAD	8665	3	1
[14]	32	PUSH1	8662	3	1
[15]	34	SHR	8659	3	1
[16]	35	DUP1	8656	3	1
[17]	36	PUSH4	8653	3	1
[18]	41	EQ	8650	3	1
[19]	42	PUSH2	8647	3	1
[20]	45	JUMPI	8644	10	1
[21]	46	DUP1	8634	3	1
[22]	47	PUSH4	8631	3	1
[23]	52	EQ	8628	3	1
[24]	53	PUSH2	8625	3	1
[25]	56	JUMPI	8622	10	1
[26]	8693	JUMPDEST	8612	1	1
[27]	8694	POP	8611	2	1
[28]	8695	CALLVALUE	8609	2	1
[29]	8696	PUSH2	8607	3	1
[30]	8699	JUMPI	8604	10	1
[31]	8700	PUSH1	8594	3	1
[32]	8702	CALLDATASIZE	8591	2	1
[33]	8703	PUSH1	8589	3	1
[34]	8705	NOT	8586	3	1
[35]	8706	ADD	8583	3	1
[36]	8707	SLT	8580	3	1
[37]	8708	PUSH2	8577	3	1
[38]	8711	JUMPI	8574	10	1
[39]	8712	PUSH1	8564	3	1
[40]	8714	CALLDATALOAD	8561	3	1
[41]	8715	PUSH1	8558	3	1
[42]	8717	PUSH1	8555	3	1
[43]	8719	PUSH1	8552	3	1
[44]	8721	SHL	8549	3	1
[45]	8722	SUB	8546	3	1
[46]	8723	DUP2	8543	3	1
[47]	8724	GT	8540	3	1
[48]	8725	PUSH2	8537	3	1
[49]	8728	JUMPI	8534	10	1
[50]	8729	PUSH2	8524	3	1
[51]	8732	SWAP1	8521	3	1
[52]	8733	CALLDATASIZE	8518	2	1
[53]	8734	SWAP1	8516	3	1
[54]	8735	PUSH1	8513	3	1
[55]	8737	ADD	8510	3	1
[56]	8738	PUSH2	8507	3	1
[57]	8741	JUMP	8504	8	1
[58]	9284	JUMPDEST	8496	1	1
[59]	9285	SWAP2	8495	3	1
[60]	9286	DUP2	8492	3	1
[61]	9287	PUSH1	8489	3	1
[62]	9289	DUP5	8486	3	1
[63]	9290	ADD	8483	3	1
[64]	9291	SLT	8480	3	1
[65]	9292	ISZERO	8477	3	1
[66]	9293	PUSH2	8474	3	1
[67]	9296	JUMPI	8471	10	1
[68]	9297	DUP3	8461	3	1
[69]	9298	CALLDATALOAD	8458	3	1
[70]	9299	SWAP2	8455	3	1
[71]	9300	PUSH1	8452	3	1
[72]	9302	PUSH1	8449	3	1
[73]	9304	PUSH1	8446	3	1
[74]	9306	SHL	8443	3	1
[75]	9307	SUB	8440	3	1
[76]	9308	DUP4	8437	3	1
[77]	9309	GT	8434	3	1
[78]	9310	PUSH2	8431	3	1
[79]	9313	JUMPI	8428	10	1
[80]	9314	PUSH1	8418	3	1
[81]	9316	DUP1	8415	3	1
[82]	9317	DUP6	8412	3	1
[83]	9318	ADD	8409	3	1
[84]	9319	SWAP5	8406	3	1
[85]	9320	DUP5	8403	3	1
[86]	9321	PUSH1	8400	3	1
[87]	9323	SHL	8397	3	1
[88]	9324	ADD	8394	3	1
[89]	9325	ADD	8391	3	1
[90]	9326	GT	8388	3	1
[91]	9327	PUSH2	8385	3	1
[92]	9330	JUMPI	8382	10	1
[93]	9331	JUMP	8372	8	1
[94]	8742	JUMPDEST	8364	1	1
[95]	8743	PUSH1	8363	3	1
[96]	8745	CALLDATALOAD	8360	3	1
[97]	8746	SWAP2	8357	3	1
[98]	8747	PUSH1	8354	3	1
[99]	8749	PUSH1	8351	3	1
[100]	8751	PUSH1	8348	3	1
[101]	8753	SHL	8345	3	1
[102]	8754	SUB	8342	3	1
[103]	8755	DUP4	8339	3	1
[104]	8756	GT	8336	3	1
[105]	8757	PUSH2	8333	3	1
[106]	8760	JUMPI	8330	10	1
[107]	8761	CALLDATASIZE	8320	2	1
[108]	8762	PUSH1	8318	3	1
[109]	8764	DUP5	8315	3	1
[110]	8765	ADD	8312	3	1
[111]	8766	SLT	8309	3	1
[112]	8767	ISZERO	8306	3	1
[113]	8768	PUSH2	8303	3	1
[114]	8771	JUMPI	8300	10	1
[115]	8772	DUP3	8290	3	1
[116]	8773	PUSH1	8287	3	1
[117]	8775	ADD	8284	3	1
[118]	8776	CALLDATALOAD	8281	3	1
[119]	8777	SWAP3	8278	3	1
[120]	8778	PUSH1	8275	3	1
[121]	8780	PUSH1	8272	3	1
[122]	8782	PUSH1	8269	3	1
[123]	8784	SHL	8266	3	1
[124]	8785	SUB	8263	3	1
[125]	8786	DUP5	8260	3	1
[126]	8787	GT	8257	3	1
[127]	8788	PUSH2	8254	3	1
[128]	8791	JUMPI	8251	10	1
[129]	8792	CALLDATASIZE	8241	2	1
[130]	8793	PUSH1	8239	3	1
[131]	8795	PUSH1	8236	3	1
[132]	8797	DUP7	8233	3	1
[133]	8798	MUL	8230	5	1
[134]	8799	DUP4	8225	3	1
[135]	8800	ADD	8222	3	1
[136]	8801	ADD	8219	3	1
[137]	8802	GT	8216	3	1
[138]	8803	PUSH2	8213	3	1
[139]	8806	JUMPI	8210	10	1
[140]	8807	PUSH4	8200	3	1
[141]	8812	PUSH1	8197	3	1
[142]	8814	MSTORE	8194	3	1
[143]	8815	CALLER	8191	2	1
[144]	8816	DUP6	8189	3	1
[145]	8817	MSTORE	8186	3	1
[146]	8818	PUSH1	8183	3	1
[147]	8820	PUSH1	8180	3	1
[148]	8822	SHL	8177	3	1
[149]	8823	PUSH1	8174	3	1
[150]	8825	PUSH1	8171	3	1
[151]	8827	KECCAK256	8168	36	1
[152]	8828	SLOAD	8132	2100	1
[153]	8829	AND	6032	3	1
[154]	8830	ISZERO	6029	3	1
[155]	8831	PUSH2	6026	3	1
[156]	8834	JUMPI	6023	10	1
[157]	8835	DUP4	6013	3	1
[158]	8836	DUP4	6010	3	1
[159]	8837	SUB	6007	3	1
[160]	8838	PUSH2	6004	3	1
[161]	8841	JUMPI	6001	10	1
[162]	8842	DUP5	5991	3	1
[163]	8843	JUMPDEST	5988	1	1
[164]	8844	DUP4	5987	3	1
[165]	8845	DUP2	5984	3	1
[166]	8846	LT	5981	3	1
[167]	8847	PUSH2	5978	3	1
[168]	8850	JUMPI	5975	10	1
[169]	8854	JUMPDEST	5965	1	1
[170]	8855	DUP5	5964	3	1
[171]	8856	DUP2	5961	3	1
[172]	8857	LT	5958	3	1
[173]	8858	ISZERO	5955	3	1
[174]	8859	PUSH2	5952	3	1
[175]	8862	JUMPI	5949	10	1
[176]	8863	PUSH1	5939	3	1
[177]	8865	DUP2	5936	3	1
[178]	8866	MUL	5933	5	1
[179]	8867	DUP3	5928	3	1
[180]	8868	ADD	5925	3	1
[181]	8869	PUSH1	5922	3	1
[182]	8871	PUSH1	5919	3	1
[183]	8873	NOT	5916	3	1
[184]	8874	DUP3	5913	3	1
[185]	8875	CALLDATASIZE	5910	2	1
[186]	8876	SUB	5908	3	1
[187]	8877	ADD	5905	3	1
[188]	8878	SLT	5902	3	1
[189]	8879	PUSH2	5899	3	1
[190]	8882	JUMPI	5896	10	1
[191]	8883	PUSH1	5886	3	1
[192]	8885	MLOAD	5883	3	1
[193]	8886	SWAP1	5880	3	1
[194]	8887	PUSH2	5877	3	1
[195]	8890	DUP3	5874	3	1
[196]	8891	PUSH2	5871	3	1
[197]	8894	JUMP	5868	8	1
[198]	9461	JUMPDEST	5860	1	1
[199]	9462	PUSH1	5859	3	1
[200]	9464	DUP2	5856	3	1
[201]	9465	ADD	5853	3	1
[202]	9466	SWAP1	5850	3	1
[203]	9467	DUP2	5847	3	1
[204]	9468	LT	5844	3	1
[205]	9469	PUSH1	5841	3	1
[206]	9471	PUSH1	5838	3	1
[207]	9473	PUSH1	5835	3	1
[208]	9475	SHL	5832	3	1
[209]	9476	SUB	5829	3	1
[210]	9477	DUP3	5826	3	1
[211]	9478	GT	5823	3	1
[212]	9479	OR	5820	3	1
[213]	9480	PUSH2	5817	3	1
[214]	9483	JUMPI	5814	10	1
[215]	9484	PUSH1	5804	3	1
[216]	9486	MSTORE	5801	3	1
[217]	9487	JUMP	5798	8	1
[218]	8895	JUMPDEST	5790	1	1
[219]	8896	PUSH1	5789	3	1
[220]	8898	DUP2	5786	3	1
[221]	8899	ADD	5783	3	1
[222]	8900	CALLDATALOAD	5780	3	1
[223]	8901	DUP1	5777	3	1
[224]	8902	PUSH1	5774	3	1
[225]	8904	SIGNEXTEND	5771	5	1
[226]	8905	DUP2	5766	3	1
[227]	8906	SUB	5763	3	1
[228]	8907	PUSH2	5760	3	1
[229]	8910	JUMPI	5757	10	1
[230]	8911	DUP3	5747	3	1
[231]	8912	MSTORE	5744	9	1
[232]	8913	PUSH1	5735	3	1
[233]	8915	DUP2	5732	3	1
[234]	8916	ADD	5729	3	1
[235]	8917	CALLDATALOAD	5726	3	1
[236]	8918	SWAP1	5723	3	1
[237]	8919	DUP2	5720	3	1
[238]	8920	PUSH1	5717	3	1
[239]	8922	SIGNEXTEND	5714	5	1
[240]	8923	DUP3	5709	3	1
[241]	8924	SUB	5706	3	1
[242]	8925	PUSH2	5703	3	1
[243]	8928	JUMPI	5700	10	1
[244]	8929	PUSH1	5690	3	1
[245]	8931	DUP4	5687	3	1
[246]	8932	ADD	5684	3	1
[247]	8933	SWAP2	5681	3	1
[248]	8934	DUP3	5678	3	1
[249]	8935	MSTORE	5675	6	1
[250]	8936	PUSH1	5669	3	1
[251]	8938	ADD	5666	3	1
[252]	8939	CALLDATALOAD	5663	3	1
[253]	8940	PUSH5	5660	3	1
[254]	8946	DUP2	5657	3	1
[255]	8947	AND	5654	3	1
[256]	8948	DUP2	5651	3	1
[257]	8949	SUB	5648	3	1
[258]	8950	PUSH2	5645	3	1
[259]	8953	JUMPI	5642	10	1
[260]	8954	PUSH1	5632	3	1
[261]	8956	DUP4	5629	3	1
[262]	8957	ADD	5626	3	1
[263]	8958	SWAP1	5623	3	1
[264]	8959	DUP2	5620	3	1
[265]	8960	MSTORE	5617	6	1
[266]	8961	PUSH2	5611	3	1
[267]	8964	DUP5	5608	3	1
[268]	8965	DUP9	5605	3	1
[269]	8966	DUP9	5602	3	1
[270]	8967	PUSH2	5599	3	1
[271]	8970	JUMP	5596	8	1
[272]	10010	JUMPDEST	5588	1	1
[273]	10011	SWAP2	5587	3	1
[274]	10012	SWAP1	5584	3	1
[275]	10013	DUP2	5581	3	1
[276]	10014	LT	5578	3	1
[277]	10015	ISZERO	5575	3	1
[278]	10016	PUSH2	5572	3	1
[279]	10019	JUMPI	5569	10	1
[280]	10020	PUSH1	5559	3	1
[281]	10022	SHL	5556	3	1
[282]	10023	ADD	5553	3	1
[283]	10024	SWAP1	5550	3	1
[284]	10025	JUMP	5547	8	1
[285]	8971	JUMPDEST	5539	1	1
[286]	8972	CALLDATALOAD	5538	3	1
[287]	8973	PUSH1	5535	3	1
[288]	8975	PUSH3	5532	3	1
[289]	8979	PUSH1	5529	3	1
[290]	8981	SHL	5526	3	1
[291]	8982	SUB	5523	3	1
[292]	8983	NOT	5520	3	1
[293]	8984	PUSH1	5517	3	1
[294]	8986	PUSH1	5514	3	1
[295]	8988	PUSH1	5511	3	1
[296]	8990	SHL	5508	3	1
[297]	8991	SUB	5505	3	1
[298]	8992	NOT	5502	3	1
[299]	8993	DUP3	5499	3	1
[300]	8994	AND	5496	3	1
[301]	8995	ADD	5493	3	1
[302]	8996	PUSH2	5490	3	1
[303]	8999	JUMPI	5487	10	1
[304]	9000	TIMESTAMP	5477	2	1
[305]	9001	PUSH5	5475	3	1
[306]	9007	DUP4	5472	3	1
[307]	9008	MLOAD	5469	3	1
[308]	9009	AND	5466	3	1
[309]	9010	GT	5463	3	1
[310]	9011	PUSH2	5460	3	1
[311]	9014	JUMPI	5457	10	1
[312]	9015	SWAP1	5447	3	1
[313]	9016	PUSH1	5444	3	1
[314]	9018	SWAP5	5441	3	1
[315]	9019	SWAP4	5438	3	1
[316]	9020	SWAP3	5435	3	1
[317]	9021	SWAP2	5432	3	1
[318]	9022	PUSH5	5429	3	1
[319]	9028	DUP3	5426	3	1
[320]	9029	MLOAD	5423	3	1
[321]	9030	AND	5420	3	1
[322]	9031	DUP2	5417	3	1
[323]	9032	DUP13	5414	3	1
[324]	9033	MSTORE	5411	3	1
[325]	9034	PUSH1	5408	3	1
[326]	9036	PUSH1	5405	3	1
[327]	9038	MSTORE	5402	3	1
[328]	9039	PUSH5	5399	3	1
[329]	9045	PUSH1	5396	3	1
[330]	9047	DUP14	5393	3	1
[331]	9048	KECCAK256	5390	42	1
[332]	9049	SLOAD	5348	2100	1
[333]	9050	PUSH1	3248	3	1
[334]	9052	SHR	3245	3	1
[335]	9053	AND	3242	3	1
[336]	9054	LT	3239	3	1
[337]	9055	ISZERO	3236	3	1
[338]	9056	PUSH2	3233	3	1
[339]	9059	JUMPI	3230	10	1
[340]	9139	JUMPDEST	3220	1	1
[341]	9140	POP	3219	2	1
[342]	9141	POP	3217	2	1
[343]	9142	POP	3215	2	1
[344]	9143	POP	3213	2	1
[345]	9144	PUSH2	3211	3	1
[346]	9147	JUMP	3208	8	1
[347]	9133	JUMPDEST	3200	1	1
[348]	9134	ADD	3199	3	1
[349]	9135	PUSH2	3196	3	1
[350]	9138	JUMP	3193	8	1
[351]	8843	JUMPDEST	3185	1	1
[352]	8844	DUP4	3184	3	1
[353]	8845	DUP2	3181	3	1
[354]	8846	LT	3178	3	1
[355]	8847	PUSH2	3175	3	1
[356]	8850	JUMPI	3172	10	1
[357]	8854	JUMPDEST	3162	1	1
[358]	8855	DUP5	3161	3	1
[359]	8856	DUP2	3158	3	1
[360]	8857	LT	3155	3	1
[361]	8858	ISZERO	3152	3	1
[362]	8859	PUSH2	3149	3	1
[363]	8862	JUMPI	3146	10	1
[364]	8863	PUSH1	3136	3	1
[365]	8865	DUP2	3133	3	1
[366]	8866	MUL	3130	5	1
[367]	8867	DUP3	3125	3	1
[368]	8868	ADD	3122	3	1
[369]	8869	PUSH1	3119	3	1
[370]	8871	PUSH1	3116	3	1
[371]	8873	NOT	3113	3	1
[372]	8874	DUP3	3110	3	1
[373]	8875	CALLDATASIZE	3107	2	1
[374]	8876	SUB	3105	3	1
[375]	8877	ADD	3102	3	1
[376]	8878	SLT	3099	3	1
[377]	8879	PUSH2	3096	3	1
[378]	8882	JUMPI	3093	10	1
[379]	8883	PUSH1	3083	3	1
[380]	8885	MLOAD	3080	3	1
[381]	8886	SWAP1	3077	3	1
[382]	8887	PUSH2	3074	3	1
[383]	8890	DUP3	3071	3	1
[384]	8891	PUSH2	3068	3	1
[385]	8894	JUMP	3065	8	1
[386]	9461	JUMPDEST	3057	1	1
[387]	9462	PUSH1	3056	3	1
[388]	9464	DUP2	3053	3	1
[389]	9465	ADD	3050	3	1
[390]	9466	SWAP1	3047	3	1
[391]	9467	DUP2	3044	3	1
[392]	9468	LT	3041	3	1
[393]	9469	PUSH1	3038	3	1
[394]	9471	PUSH1	3035	3	1
[395]	9473	PUSH1	3032	3	1
[396]	9475	SHL	3029	3	1
[397]	9476	SUB	3026	3	1
[398]	9477	DUP3	3023	3	1
[399]	9478	GT	3020	3	1
[400]	9479	OR	3017	3	1
[401]	9480	PUSH2	3014	3	1
[402]	9483	JUMPI	3011	10	1
[403]	9484	PUSH1	3001	3	1
[404]	9486	MSTORE	2998	3	1
[405]	9487	JUMP	2995	8	1
[406]	8895	JUMPDEST	2987	1	1
[407]	8896	PUSH1	2986	3	1
[408]	8898	DUP2	2983	3	1
[409]	8899	ADD	2980	3	1
[410]	8900	CALLDATALOAD	2977	3	1
[411]	8901	DUP1	2974	3	1
[412]	8902	PUSH1	2971	3	1
[413]	8904	SIGNEXTEND	2968	5	1
[414]	8905	DUP2	2963	3	1
[415]	8906	SUB	2960	3	1
[416]	8907	PUSH2	2957	3	1
[417]	8910	JUMPI	2954	10	1
[418]	8911	DUP3	2944	3	1
[419]	8912	MSTORE	2941	6	1
[420]	8913	PUSH1	2935	3	1
[421]	8915	DUP2	2932	3	1
[422]	8916	ADD	2929	3	1
[423]	8917	CALLDATALOAD	2926	3	1
[424]	8918	SWAP1	2923	3	1
[425]	8919	DUP2	2920	3	1
[426]	8920	PUSH1	2917	3	1
[427]	8922	SIGNEXTEND	2914	5	1
[428]	8923	DUP3	2909	3	1
[429]	8924	SUB	2906	3	1
[430]	8925	PUSH2	2903	3	1
[431]	8928	JUMPI	2900	10	1
[432]	8929	PUSH1	2890	3	1
[433]	8931	DUP4	2887	3	1
[434]	8932	ADD	2884	3	1
[435]	8933	SWAP2	2881	3	1
[436]	8934	DUP3	2878	3	1
[437]	8935	MSTORE	2875	6	1
[438]	8936	PUSH1	2869	3	1
[439]	8938	ADD	2866	3	1
[440]	8939	CALLDATALOAD	2863	3	1
[441]	8940	PUSH5	2860	3	1
[442]	8946	DUP2	2857	3	1
[443]	8947	AND	2854	3	1
[444]	8948	DUP2	2851	3	1
[445]	8949	SUB	2848	3	1
[446]	8950	PUSH2	2845	3	1
[447]	8953	JUMPI	2842	10	1
[448]	8954	PUSH1	2832	3	1
[449]	8956	DUP4	2829	3	1
[450]	8957	ADD	2826	3	1
[451]	8958	SWAP1	2823	3	1
[452]	8959	DUP2	2820	3	1
[453]	8960	MSTORE	2817	6	1
[454]	8961	PUSH2	2811	3	1
[455]	8964	DUP5	2808	3	1
[456]	8965	DUP9	2805	3	1
[457]	8966	DUP9	2802	3	1
[458]	8967	PUSH2	2799	3	1
[459]	8970	JUMP	2796	8	1
[460]	10010	JUMPDEST	2788	1	1
[461]	10011	SWAP2	2787	3	1
[462]	10012	SWAP1	2784	3	1
[463]	10013	DUP2	2781	3	1
[464]	10014	LT	2778	3	1
[465]	10015	ISZERO	2775	3	1
[466]	10016	PUSH2	2772	3	1
[467]	10019	JUMPI	2769	10	1
[468]	10020	PUSH1	2759	3	1
[469]	10022	SHL	2756	3	1
[470]	10023	ADD	2753	3	1
[471]	10024	SWAP1	2750	3	1
[472]	10025	JUMP	2747	8	1
[473]	8971	JUMPDEST	2739	1	1
[474]	8972	CALLDATALOAD	2738	3	1
[475]	8973	PUSH1	2735	3	1
[476]	8975	PUSH3	2732	3	1
[477]	8979	PUSH1	2729	3	1
[478]	8981	SHL	2726	3	1
[479]	8982	SUB	2723	3	1
[480]	8983	NOT	2720	3	1
[481]	8984	PUSH1	2717	3	1
[482]	8986	PUSH1	2714	3	1
[483]	8988	PUSH1	2711	3	1
[484]	8990	SHL	2708	3	1
[485]	8991	SUB	2705	3	1
[486]	8992	NOT	2702	3	1
[487]	8993	DUP3	2699	3	1
[488]	8994	AND	2696	3	1
[489]	8995	ADD	2693	3	1
[490]	8996	PUSH2	2690	3	1
[491]	8999	JUMPI	2687	10	1
[492]	9000	TIMESTAMP	2677	2	1
[493]	9001	PUSH5	2675	3	1
[494]	9007	DUP4	2672	3	1
[495]	9008	MLOAD	2669	3	1
[496]	9009	AND	2666	3	1
[497]	9010	GT	2663	3	1
[498]	9011	PUSH2	2660	3	1
[499]	9014	JUMPI	2657	10	1
[500]	9015	SWAP1	2647	3	1
[501]	9016	PUSH1	2644	3	1
[502]	9018	SWAP5	2641	3	1
[503]	9019	SWAP4	2638	3	1
[504]	9020	SWAP3	2635	3	1
[505]	9021	SWAP2	2632	3	1
[506]	9022	PUSH5	2629	3	1
[507]	9028	DUP3	2626	3	1
[508]	9029	MLOAD	2623	3	1
[509]	9030	AND	2620	3	1
[510]	9031	DUP2	2617	3	1
[511]	9032	DUP13	2614	3	1
[512]	9033	MSTORE	2611	3	1
[513]	9034	PUSH1	2608	3	1
[514]	9036	PUSH1	2605	3	1
[515]	9038	MSTORE	2602	3	1
[516]	9039	PUSH5	2599	3	1
[517]	9045	PUSH1	2596	3	1
[518]	9047	DUP14	2593	3	1
[519]	9048	KECCAK256	2590	42	1
[520]	9049	SLOAD	2548	2100	1
[521]	9050	PUSH1	448	3	1
[522]	9052	SHR	445	3	1
[523]	9053	AND	442	3	1
[524]	9054	LT	439	3	1
[525]	9055	ISZERO	436	3	1
[526]	9056	PUSH2	433	3	1
[527]	9059	JUMPI	430	10	1
[528]	9139	JUMPDEST	420	1	1
[529]	9140	POP	419	2	1
[530]	9141	POP	417	2	1
[531]	9142	POP	415	2	1
[532]	9143	POP	413	2	1
[533]	9144	PUSH2	411	3	1
[534]	9147	JUMP	408	8	1
[535]	9133	JUMPDEST	400	1	1
[536]	9134	ADD	399	3	1
[537]	9135	PUSH2	396	3	1
[538]	9138	JUMP	393	8	1
[539]	8843	JUMPDEST	385	1	1
[540]	8844	DUP4	384	3	1
[541]	8845	DUP2	381	3	1
[542]	8846	LT	378	3	1
[543]	8847	PUSH2	375	3	1
[544]	8850	JUMPI	372	10	1
[545]	8851	DUP6	362	3	1
[546]	8852	DUP1	359	3	1
[547]	8853	RETURN	356	0	1