Geth VM Trace Transaction

GETH Trace for Txn Hash 0xd5f15201a72322f1e02ec35959df69f04464bc3486f4854e18f9f3b5e573ee1a

Contract transaction successfully completed.

Raw traces

A total of 591 steps found

Step	PC	Operation	Gas	GasCost	Depth
[1]	0	PUSH1	11886	3	1
[2]	2	PUSH1	11883	3	1
[3]	4	MSTORE	11880	12	1
[4]	5	PUSH1	11868	3	1
[5]	7	CALLDATASIZE	11865	2	1
[6]	8	LT	11863	3	1
[7]	9	ISZERO	11860	3	1
[8]	10	PUSH2	11857	3	1
[9]	13	JUMPI	11854	10	1
[10]	27	JUMPDEST	11844	1	1
[11]	28	PUSH1	11843	3	1
[12]	30	DUP1	11840	3	1
[13]	31	CALLDATALOAD	11837	3	1
[14]	32	PUSH1	11834	3	1
[15]	34	SHR	11831	3	1
[16]	35	DUP1	11828	3	1
[17]	36	PUSH4	11825	3	1
[18]	41	EQ	11822	3	1
[19]	42	PUSH2	11819	3	1
[20]	45	JUMPI	11816	10	1
[21]	46	DUP1	11806	3	1
[22]	47	PUSH4	11803	3	1
[23]	52	EQ	11800	3	1
[24]	53	PUSH2	11797	3	1
[25]	56	JUMPI	11794	10	1
[26]	8693	JUMPDEST	11784	1	1
[27]	8694	POP	11783	2	1
[28]	8695	CALLVALUE	11781	2	1
[29]	8696	PUSH2	11779	3	1
[30]	8699	JUMPI	11776	10	1
[31]	8700	PUSH1	11766	3	1
[32]	8702	CALLDATASIZE	11763	2	1
[33]	8703	PUSH1	11761	3	1
[34]	8705	NOT	11758	3	1
[35]	8706	ADD	11755	3	1
[36]	8707	SLT	11752	3	1
[37]	8708	PUSH2	11749	3	1
[38]	8711	JUMPI	11746	10	1
[39]	8712	PUSH1	11736	3	1
[40]	8714	CALLDATALOAD	11733	3	1
[41]	8715	PUSH1	11730	3	1
[42]	8717	PUSH1	11727	3	1
[43]	8719	PUSH1	11724	3	1
[44]	8721	SHL	11721	3	1
[45]	8722	SUB	11718	3	1
[46]	8723	DUP2	11715	3	1
[47]	8724	GT	11712	3	1
[48]	8725	PUSH2	11709	3	1
[49]	8728	JUMPI	11706	10	1
[50]	8729	PUSH2	11696	3	1
[51]	8732	SWAP1	11693	3	1
[52]	8733	CALLDATASIZE	11690	2	1
[53]	8734	SWAP1	11688	3	1
[54]	8735	PUSH1	11685	3	1
[55]	8737	ADD	11682	3	1
[56]	8738	PUSH2	11679	3	1
[57]	8741	JUMP	11676	8	1
[58]	9284	JUMPDEST	11668	1	1
[59]	9285	SWAP2	11667	3	1
[60]	9286	DUP2	11664	3	1
[61]	9287	PUSH1	11661	3	1
[62]	9289	DUP5	11658	3	1
[63]	9290	ADD	11655	3	1
[64]	9291	SLT	11652	3	1
[65]	9292	ISZERO	11649	3	1
[66]	9293	PUSH2	11646	3	1
[67]	9296	JUMPI	11643	10	1
[68]	9297	DUP3	11633	3	1
[69]	9298	CALLDATALOAD	11630	3	1
[70]	9299	SWAP2	11627	3	1
[71]	9300	PUSH1	11624	3	1
[72]	9302	PUSH1	11621	3	1
[73]	9304	PUSH1	11618	3	1
[74]	9306	SHL	11615	3	1
[75]	9307	SUB	11612	3	1
[76]	9308	DUP4	11609	3	1
[77]	9309	GT	11606	3	1
[78]	9310	PUSH2	11603	3	1
[79]	9313	JUMPI	11600	10	1
[80]	9314	PUSH1	11590	3	1
[81]	9316	DUP1	11587	3	1
[82]	9317	DUP6	11584	3	1
[83]	9318	ADD	11581	3	1
[84]	9319	SWAP5	11578	3	1
[85]	9320	DUP5	11575	3	1
[86]	9321	PUSH1	11572	3	1
[87]	9323	SHL	11569	3	1
[88]	9324	ADD	11566	3	1
[89]	9325	ADD	11563	3	1
[90]	9326	GT	11560	3	1
[91]	9327	PUSH2	11557	3	1
[92]	9330	JUMPI	11554	10	1
[93]	9331	JUMP	11544	8	1
[94]	8742	JUMPDEST	11536	1	1
[95]	8743	PUSH1	11535	3	1
[96]	8745	CALLDATALOAD	11532	3	1
[97]	8746	SWAP2	11529	3	1
[98]	8747	PUSH1	11526	3	1
[99]	8749	PUSH1	11523	3	1
[100]	8751	PUSH1	11520	3	1
[101]	8753	SHL	11517	3	1
[102]	8754	SUB	11514	3	1
[103]	8755	DUP4	11511	3	1
[104]	8756	GT	11508	3	1
[105]	8757	PUSH2	11505	3	1
[106]	8760	JUMPI	11502	10	1
[107]	8761	CALLDATASIZE	11492	2	1
[108]	8762	PUSH1	11490	3	1
[109]	8764	DUP5	11487	3	1
[110]	8765	ADD	11484	3	1
[111]	8766	SLT	11481	3	1
[112]	8767	ISZERO	11478	3	1
[113]	8768	PUSH2	11475	3	1
[114]	8771	JUMPI	11472	10	1
[115]	8772	DUP3	11462	3	1
[116]	8773	PUSH1	11459	3	1
[117]	8775	ADD	11456	3	1
[118]	8776	CALLDATALOAD	11453	3	1
[119]	8777	SWAP3	11450	3	1
[120]	8778	PUSH1	11447	3	1
[121]	8780	PUSH1	11444	3	1
[122]	8782	PUSH1	11441	3	1
[123]	8784	SHL	11438	3	1
[124]	8785	SUB	11435	3	1
[125]	8786	DUP5	11432	3	1
[126]	8787	GT	11429	3	1
[127]	8788	PUSH2	11426	3	1
[128]	8791	JUMPI	11423	10	1
[129]	8792	CALLDATASIZE	11413	2	1
[130]	8793	PUSH1	11411	3	1
[131]	8795	PUSH1	11408	3	1
[132]	8797	DUP7	11405	3	1
[133]	8798	MUL	11402	5	1
[134]	8799	DUP4	11397	3	1
[135]	8800	ADD	11394	3	1
[136]	8801	ADD	11391	3	1
[137]	8802	GT	11388	3	1
[138]	8803	PUSH2	11385	3	1
[139]	8806	JUMPI	11382	10	1
[140]	8807	PUSH4	11372	3	1
[141]	8812	PUSH1	11369	3	1
[142]	8814	MSTORE	11366	3	1
[143]	8815	CALLER	11363	2	1
[144]	8816	DUP6	11361	3	1
[145]	8817	MSTORE	11358	3	1
[146]	8818	PUSH1	11355	3	1
[147]	8820	PUSH1	11352	3	1
[148]	8822	SHL	11349	3	1
[149]	8823	PUSH1	11346	3	1
[150]	8825	PUSH1	11343	3	1
[151]	8827	KECCAK256	11340	36	1
[152]	8828	SLOAD	11304	2100	1
[153]	8829	AND	9204	3	1
[154]	8830	ISZERO	9201	3	1
[155]	8831	PUSH2	9198	3	1
[156]	8834	JUMPI	9195	10	1
[157]	8835	DUP4	9185	3	1
[158]	8836	DUP4	9182	3	1
[159]	8837	SUB	9179	3	1
[160]	8838	PUSH2	9176	3	1
[161]	8841	JUMPI	9173	10	1
[162]	8842	DUP5	9163	3	1
[163]	8843	JUMPDEST	9160	1	1
[164]	8844	DUP4	9159	3	1
[165]	8845	DUP2	9156	3	1
[166]	8846	LT	9153	3	1
[167]	8847	PUSH2	9150	3	1
[168]	8850	JUMPI	9147	10	1
[169]	8854	JUMPDEST	9137	1	1
[170]	8855	DUP5	9136	3	1
[171]	8856	DUP2	9133	3	1
[172]	8857	LT	9130	3	1
[173]	8858	ISZERO	9127	3	1
[174]	8859	PUSH2	9124	3	1
[175]	8862	JUMPI	9121	10	1
[176]	8863	PUSH1	9111	3	1
[177]	8865	DUP2	9108	3	1
[178]	8866	MUL	9105	5	1
[179]	8867	DUP3	9100	3	1
[180]	8868	ADD	9097	3	1
[181]	8869	PUSH1	9094	3	1
[182]	8871	PUSH1	9091	3	1
[183]	8873	NOT	9088	3	1
[184]	8874	DUP3	9085	3	1
[185]	8875	CALLDATASIZE	9082	2	1
[186]	8876	SUB	9080	3	1
[187]	8877	ADD	9077	3	1
[188]	8878	SLT	9074	3	1
[189]	8879	PUSH2	9071	3	1
[190]	8882	JUMPI	9068	10	1
[191]	8883	PUSH1	9058	3	1
[192]	8885	MLOAD	9055	3	1
[193]	8886	SWAP1	9052	3	1
[194]	8887	PUSH2	9049	3	1
[195]	8890	DUP3	9046	3	1
[196]	8891	PUSH2	9043	3	1
[197]	8894	JUMP	9040	8	1
[198]	9461	JUMPDEST	9032	1	1
[199]	9462	PUSH1	9031	3	1
[200]	9464	DUP2	9028	3	1
[201]	9465	ADD	9025	3	1
[202]	9466	SWAP1	9022	3	1
[203]	9467	DUP2	9019	3	1
[204]	9468	LT	9016	3	1
[205]	9469	PUSH1	9013	3	1
[206]	9471	PUSH1	9010	3	1
[207]	9473	PUSH1	9007	3	1
[208]	9475	SHL	9004	3	1
[209]	9476	SUB	9001	3	1
[210]	9477	DUP3	8998	3	1
[211]	9478	GT	8995	3	1
[212]	9479	OR	8992	3	1
[213]	9480	PUSH2	8989	3	1
[214]	9483	JUMPI	8986	10	1
[215]	9484	PUSH1	8976	3	1
[216]	9486	MSTORE	8973	3	1
[217]	9487	JUMP	8970	8	1
[218]	8895	JUMPDEST	8962	1	1
[219]	8896	PUSH1	8961	3	1
[220]	8898	DUP2	8958	3	1
[221]	8899	ADD	8955	3	1
[222]	8900	CALLDATALOAD	8952	3	1
[223]	8901	DUP1	8949	3	1
[224]	8902	PUSH1	8946	3	1
[225]	8904	SIGNEXTEND	8943	5	1
[226]	8905	DUP2	8938	3	1
[227]	8906	SUB	8935	3	1
[228]	8907	PUSH2	8932	3	1
[229]	8910	JUMPI	8929	10	1
[230]	8911	DUP3	8919	3	1
[231]	8912	MSTORE	8916	9	1
[232]	8913	PUSH1	8907	3	1
[233]	8915	DUP2	8904	3	1
[234]	8916	ADD	8901	3	1
[235]	8917	CALLDATALOAD	8898	3	1
[236]	8918	SWAP1	8895	3	1
[237]	8919	DUP2	8892	3	1
[238]	8920	PUSH1	8889	3	1
[239]	8922	SIGNEXTEND	8886	5	1
[240]	8923	DUP3	8881	3	1
[241]	8924	SUB	8878	3	1
[242]	8925	PUSH2	8875	3	1
[243]	8928	JUMPI	8872	10	1
[244]	8929	PUSH1	8862	3	1
[245]	8931	DUP4	8859	3	1
[246]	8932	ADD	8856	3	1
[247]	8933	SWAP2	8853	3	1
[248]	8934	DUP3	8850	3	1
[249]	8935	MSTORE	8847	6	1
[250]	8936	PUSH1	8841	3	1
[251]	8938	ADD	8838	3	1
[252]	8939	CALLDATALOAD	8835	3	1
[253]	8940	PUSH5	8832	3	1
[254]	8946	DUP2	8829	3	1
[255]	8947	AND	8826	3	1
[256]	8948	DUP2	8823	3	1
[257]	8949	SUB	8820	3	1
[258]	8950	PUSH2	8817	3	1
[259]	8953	JUMPI	8814	10	1
[260]	8954	PUSH1	8804	3	1
[261]	8956	DUP4	8801	3	1
[262]	8957	ADD	8798	3	1
[263]	8958	SWAP1	8795	3	1
[264]	8959	DUP2	8792	3	1
[265]	8960	MSTORE	8789	6	1
[266]	8961	PUSH2	8783	3	1
[267]	8964	DUP5	8780	3	1
[268]	8965	DUP9	8777	3	1
[269]	8966	DUP9	8774	3	1
[270]	8967	PUSH2	8771	3	1
[271]	8970	JUMP	8768	8	1
[272]	10010	JUMPDEST	8760	1	1
[273]	10011	SWAP2	8759	3	1
[274]	10012	SWAP1	8756	3	1
[275]	10013	DUP2	8753	3	1
[276]	10014	LT	8750	3	1
[277]	10015	ISZERO	8747	3	1
[278]	10016	PUSH2	8744	3	1
[279]	10019	JUMPI	8741	10	1
[280]	10020	PUSH1	8731	3	1
[281]	10022	SHL	8728	3	1
[282]	10023	ADD	8725	3	1
[283]	10024	SWAP1	8722	3	1
[284]	10025	JUMP	8719	8	1
[285]	8971	JUMPDEST	8711	1	1
[286]	8972	CALLDATALOAD	8710	3	1
[287]	8973	PUSH1	8707	3	1
[288]	8975	PUSH3	8704	3	1
[289]	8979	PUSH1	8701	3	1
[290]	8981	SHL	8698	3	1
[291]	8982	SUB	8695	3	1
[292]	8983	NOT	8692	3	1
[293]	8984	PUSH1	8689	3	1
[294]	8986	PUSH1	8686	3	1
[295]	8988	PUSH1	8683	3	1
[296]	8990	SHL	8680	3	1
[297]	8991	SUB	8677	3	1
[298]	8992	NOT	8674	3	1
[299]	8993	DUP3	8671	3	1
[300]	8994	AND	8668	3	1
[301]	8995	ADD	8665	3	1
[302]	8996	PUSH2	8662	3	1
[303]	8999	JUMPI	8659	10	1
[304]	9000	TIMESTAMP	8649	2	1
[305]	9001	PUSH5	8647	3	1
[306]	9007	DUP4	8644	3	1
[307]	9008	MLOAD	8641	3	1
[308]	9009	AND	8638	3	1
[309]	9010	GT	8635	3	1
[310]	9011	PUSH2	8632	3	1
[311]	9014	JUMPI	8629	10	1
[312]	9015	SWAP1	8619	3	1
[313]	9016	PUSH1	8616	3	1
[314]	9018	SWAP5	8613	3	1
[315]	9019	SWAP4	8610	3	1
[316]	9020	SWAP3	8607	3	1
[317]	9021	SWAP2	8604	3	1
[318]	9022	PUSH5	8601	3	1
[319]	9028	DUP3	8598	3	1
[320]	9029	MLOAD	8595	3	1
[321]	9030	AND	8592	3	1
[322]	9031	DUP2	8589	3	1
[323]	9032	DUP13	8586	3	1
[324]	9033	MSTORE	8583	3	1
[325]	9034	PUSH1	8580	3	1
[326]	9036	PUSH1	8577	3	1
[327]	9038	MSTORE	8574	3	1
[328]	9039	PUSH5	8571	3	1
[329]	9045	PUSH1	8568	3	1
[330]	9047	DUP14	8565	3	1
[331]	9048	KECCAK256	8562	42	1
[332]	9049	SLOAD	8520	2100	1
[333]	9050	PUSH1	6420	3	1
[334]	9052	SHR	6417	3	1
[335]	9053	AND	6414	3	1
[336]	9054	LT	6411	3	1
[337]	9055	ISZERO	6408	3	1
[338]	9056	PUSH2	6405	3	1
[339]	9059	JUMPI	6402	10	1
[340]	9139	JUMPDEST	6392	1	1
[341]	9140	POP	6391	2	1
[342]	9141	POP	6389	2	1
[343]	9142	POP	6387	2	1
[344]	9143	POP	6385	2	1
[345]	9144	PUSH2	6383	3	1
[346]	9147	JUMP	6380	8	1
[347]	9133	JUMPDEST	6372	1	1
[348]	9134	ADD	6371	3	1
[349]	9135	PUSH2	6368	3	1
[350]	9138	JUMP	6365	8	1
[351]	8843	JUMPDEST	6357	1	1
[352]	8844	DUP4	6356	3	1
[353]	8845	DUP2	6353	3	1
[354]	8846	LT	6350	3	1
[355]	8847	PUSH2	6347	3	1
[356]	8850	JUMPI	6344	10	1
[357]	8854	JUMPDEST	6334	1	1
[358]	8855	DUP5	6333	3	1
[359]	8856	DUP2	6330	3	1
[360]	8857	LT	6327	3	1
[361]	8858	ISZERO	6324	3	1
[362]	8859	PUSH2	6321	3	1
[363]	8862	JUMPI	6318	10	1
[364]	8863	PUSH1	6308	3	1
[365]	8865	DUP2	6305	3	1
[366]	8866	MUL	6302	5	1
[367]	8867	DUP3	6297	3	1
[368]	8868	ADD	6294	3	1
[369]	8869	PUSH1	6291	3	1
[370]	8871	PUSH1	6288	3	1
[371]	8873	NOT	6285	3	1
[372]	8874	DUP3	6282	3	1
[373]	8875	CALLDATASIZE	6279	2	1
[374]	8876	SUB	6277	3	1
[375]	8877	ADD	6274	3	1
[376]	8878	SLT	6271	3	1
[377]	8879	PUSH2	6268	3	1
[378]	8882	JUMPI	6265	10	1
[379]	8883	PUSH1	6255	3	1
[380]	8885	MLOAD	6252	3	1
[381]	8886	SWAP1	6249	3	1
[382]	8887	PUSH2	6246	3	1
[383]	8890	DUP3	6243	3	1
[384]	8891	PUSH2	6240	3	1
[385]	8894	JUMP	6237	8	1
[386]	9461	JUMPDEST	6229	1	1
[387]	9462	PUSH1	6228	3	1
[388]	9464	DUP2	6225	3	1
[389]	9465	ADD	6222	3	1
[390]	9466	SWAP1	6219	3	1
[391]	9467	DUP2	6216	3	1
[392]	9468	LT	6213	3	1
[393]	9469	PUSH1	6210	3	1
[394]	9471	PUSH1	6207	3	1
[395]	9473	PUSH1	6204	3	1
[396]	9475	SHL	6201	3	1
[397]	9476	SUB	6198	3	1
[398]	9477	DUP3	6195	3	1
[399]	9478	GT	6192	3	1
[400]	9479	OR	6189	3	1
[401]	9480	PUSH2	6186	3	1
[402]	9483	JUMPI	6183	10	1
[403]	9484	PUSH1	6173	3	1
[404]	9486	MSTORE	6170	3	1
[405]	9487	JUMP	6167	8	1
[406]	8895	JUMPDEST	6159	1	1
[407]	8896	PUSH1	6158	3	1
[408]	8898	DUP2	6155	3	1
[409]	8899	ADD	6152	3	1
[410]	8900	CALLDATALOAD	6149	3	1
[411]	8901	DUP1	6146	3	1
[412]	8902	PUSH1	6143	3	1
[413]	8904	SIGNEXTEND	6140	5	1
[414]	8905	DUP2	6135	3	1
[415]	8906	SUB	6132	3	1
[416]	8907	PUSH2	6129	3	1
[417]	8910	JUMPI	6126	10	1
[418]	8911	DUP3	6116	3	1
[419]	8912	MSTORE	6113	6	1
[420]	8913	PUSH1	6107	3	1
[421]	8915	DUP2	6104	3	1
[422]	8916	ADD	6101	3	1
[423]	8917	CALLDATALOAD	6098	3	1
[424]	8918	SWAP1	6095	3	1
[425]	8919	DUP2	6092	3	1
[426]	8920	PUSH1	6089	3	1
[427]	8922	SIGNEXTEND	6086	5	1
[428]	8923	DUP3	6081	3	1
[429]	8924	SUB	6078	3	1
[430]	8925	PUSH2	6075	3	1
[431]	8928	JUMPI	6072	10	1
[432]	8929	PUSH1	6062	3	1
[433]	8931	DUP4	6059	3	1
[434]	8932	ADD	6056	3	1
[435]	8933	SWAP2	6053	3	1
[436]	8934	DUP3	6050	3	1
[437]	8935	MSTORE	6047	6	1
[438]	8936	PUSH1	6041	3	1
[439]	8938	ADD	6038	3	1
[440]	8939	CALLDATALOAD	6035	3	1
[441]	8940	PUSH5	6032	3	1
[442]	8946	DUP2	6029	3	1
[443]	8947	AND	6026	3	1
[444]	8948	DUP2	6023	3	1
[445]	8949	SUB	6020	3	1
[446]	8950	PUSH2	6017	3	1
[447]	8953	JUMPI	6014	10	1
[448]	8954	PUSH1	6004	3	1
[449]	8956	DUP4	6001	3	1
[450]	8957	ADD	5998	3	1
[451]	8958	SWAP1	5995	3	1
[452]	8959	DUP2	5992	3	1
[453]	8960	MSTORE	5989	6	1
[454]	8961	PUSH2	5983	3	1
[455]	8964	DUP5	5980	3	1
[456]	8965	DUP9	5977	3	1
[457]	8966	DUP9	5974	3	1
[458]	8967	PUSH2	5971	3	1
[459]	8970	JUMP	5968	8	1
[460]	10010	JUMPDEST	5960	1	1
[461]	10011	SWAP2	5959	3	1
[462]	10012	SWAP1	5956	3	1
[463]	10013	DUP2	5953	3	1
[464]	10014	LT	5950	3	1
[465]	10015	ISZERO	5947	3	1
[466]	10016	PUSH2	5944	3	1
[467]	10019	JUMPI	5941	10	1
[468]	10020	PUSH1	5931	3	1
[469]	10022	SHL	5928	3	1
[470]	10023	ADD	5925	3	1
[471]	10024	SWAP1	5922	3	1
[472]	10025	JUMP	5919	8	1
[473]	8971	JUMPDEST	5911	1	1
[474]	8972	CALLDATALOAD	5910	3	1
[475]	8973	PUSH1	5907	3	1
[476]	8975	PUSH3	5904	3	1
[477]	8979	PUSH1	5901	3	1
[478]	8981	SHL	5898	3	1
[479]	8982	SUB	5895	3	1
[480]	8983	NOT	5892	3	1
[481]	8984	PUSH1	5889	3	1
[482]	8986	PUSH1	5886	3	1
[483]	8988	PUSH1	5883	3	1
[484]	8990	SHL	5880	3	1
[485]	8991	SUB	5877	3	1
[486]	8992	NOT	5874	3	1
[487]	8993	DUP3	5871	3	1
[488]	8994	AND	5868	3	1
[489]	8995	ADD	5865	3	1
[490]	8996	PUSH2	5862	3	1
[491]	8999	JUMPI	5859	10	1
[492]	9000	TIMESTAMP	5849	2	1
[493]	9001	PUSH5	5847	3	1
[494]	9007	DUP4	5844	3	1
[495]	9008	MLOAD	5841	3	1
[496]	9009	AND	5838	3	1
[497]	9010	GT	5835	3	1
[498]	9011	PUSH2	5832	3	1
[499]	9014	JUMPI	5829	10	1
[500]	9015	SWAP1	5819	3	1
[501]	9016	PUSH1	5816	3	1
[502]	9018	SWAP5	5813	3	1
[503]	9019	SWAP4	5810	3	1
[504]	9020	SWAP3	5807	3	1
[505]	9021	SWAP2	5804	3	1
[506]	9022	PUSH5	5801	3	1
[507]	9028	DUP3	5798	3	1
[508]	9029	MLOAD	5795	3	1
[509]	9030	AND	5792	3	1
[510]	9031	DUP2	5789	3	1
[511]	9032	DUP13	5786	3	1
[512]	9033	MSTORE	5783	3	1
[513]	9034	PUSH1	5780	3	1
[514]	9036	PUSH1	5777	3	1
[515]	9038	MSTORE	5774	3	1
[516]	9039	PUSH5	5771	3	1
[517]	9045	PUSH1	5768	3	1
[518]	9047	DUP14	5765	3	1
[519]	9048	KECCAK256	5762	42	1
[520]	9049	SLOAD	5720	2100	1
[521]	9050	PUSH1	3620	3	1
[522]	9052	SHR	3617	3	1
[523]	9053	AND	3614	3	1
[524]	9054	LT	3611	3	1
[525]	9055	ISZERO	3608	3	1
[526]	9056	PUSH2	3605	3	1
[527]	9059	JUMPI	3602	10	1
[528]	9060	DUP11	3592	3	1
[529]	9061	MSTORE	3589	3	1
[530]	9062	PUSH1	3586	3	1
[531]	9064	PUSH1	3583	3	1
[532]	9066	MSTORE	3580	3	1
[533]	9067	PUSH1	3577	3	1
[534]	9069	DUP11	3574	3	1
[535]	9070	KECCAK256	3571	42	1
[536]	9071	SWAP3	3529	3	1
[537]	9072	MLOAD	3526	3	1
[538]	9073	SWAP2	3523	3	1
[539]	9074	PUSH1	3520	3	1
[540]	9076	PUSH1	3517	3	1
[541]	9078	PUSH1	3514	3	1
[542]	9080	SHL	3511	3	1
[543]	9081	SUB	3508	3	1
[544]	9082	DUP5	3505	3	1
[545]	9083	SLOAD	3502	100	1
[546]	9084	SWAP2	3402	3	1
[547]	9085	MLOAD	3399	3	1
[548]	9086	PUSH1	3396	3	1
[549]	9088	SHL	3393	3	1
[550]	9089	SWAP3	3390	3	1
[551]	9090	PUSH5	3387	3	1
[552]	9096	PUSH1	3384	3	1
[553]	9098	SHL	3381	3	1
[554]	9099	SWAP1	3378	3	1
[555]	9100	MLOAD	3375	3	1
[556]	9101	PUSH1	3372	3	1
[557]	9103	SHL	3369	3	1
[558]	9104	AND	3366	3	1
[559]	9105	SWAP4	3363	3	1
[560]	9106	AND	3360	3	1
[561]	9107	SWAP1	3357	3	1
[562]	9108	PUSH1	3354	3	1
[563]	9110	PUSH1	3351	3	1
[564]	9112	PUSH1	3348	3	1
[565]	9114	SHL	3345	3	1
[566]	9115	SUB	3342	3	1
[567]	9116	NOT	3339	3	1
[568]	9117	AND	3336	3	1
[569]	9118	OR	3333	3	1
[570]	9119	SWAP1	3330	3	1
[571]	9120	PUSH4	3327	3	1
[572]	9125	PUSH1	3324	3	1
[573]	9127	SHL	3321	3	1
[574]	9128	AND	3318	3	1
[575]	9129	OR	3315	3	1
[576]	9130	OR	3312	3	1
[577]	9131	SWAP1	3309	3	1
[578]	9132	SSTORE	3306	2900	1
[579]	9133	JUMPDEST	406	1	1
[580]	9134	ADD	405	3	1
[581]	9135	PUSH2	402	3	1
[582]	9138	JUMP	399	8	1
[583]	8843	JUMPDEST	391	1	1
[584]	8844	DUP4	390	3	1
[585]	8845	DUP2	387	3	1
[586]	8846	LT	384	3	1
[587]	8847	PUSH2	381	3	1
[588]	8850	JUMPI	378	10	1
[589]	8851	DUP6	368	3	1
[590]	8852	DUP1	365	3	1
[591]	8853	RETURN	362	0	1