Geth VM Trace Transaction

GETH Trace for Txn Hash 0x19f1a9f5acae3587105f6383cca15a9364c5742721e5470c0f913f8d8dcd9283

Contract transaction successfully completed.

Raw traces

A total of 635 steps found

Step	PC	Operation	Gas	GasCost	Depth
[1]	0	PUSH1	15058	3	1
[2]	2	PUSH1	15055	3	1
[3]	4	MSTORE	15052	12	1
[4]	5	PUSH1	15040	3	1
[5]	7	CALLDATASIZE	15037	2	1
[6]	8	LT	15035	3	1
[7]	9	ISZERO	15032	3	1
[8]	10	PUSH2	15029	3	1
[9]	13	JUMPI	15026	10	1
[10]	27	JUMPDEST	15016	1	1
[11]	28	PUSH1	15015	3	1
[12]	30	DUP1	15012	3	1
[13]	31	CALLDATALOAD	15009	3	1
[14]	32	PUSH1	15006	3	1
[15]	34	SHR	15003	3	1
[16]	35	DUP1	15000	3	1
[17]	36	PUSH4	14997	3	1
[18]	41	EQ	14994	3	1
[19]	42	PUSH2	14991	3	1
[20]	45	JUMPI	14988	10	1
[21]	46	DUP1	14978	3	1
[22]	47	PUSH4	14975	3	1
[23]	52	EQ	14972	3	1
[24]	53	PUSH2	14969	3	1
[25]	56	JUMPI	14966	10	1
[26]	8693	JUMPDEST	14956	1	1
[27]	8694	POP	14955	2	1
[28]	8695	CALLVALUE	14953	2	1
[29]	8696	PUSH2	14951	3	1
[30]	8699	JUMPI	14948	10	1
[31]	8700	PUSH1	14938	3	1
[32]	8702	CALLDATASIZE	14935	2	1
[33]	8703	PUSH1	14933	3	1
[34]	8705	NOT	14930	3	1
[35]	8706	ADD	14927	3	1
[36]	8707	SLT	14924	3	1
[37]	8708	PUSH2	14921	3	1
[38]	8711	JUMPI	14918	10	1
[39]	8712	PUSH1	14908	3	1
[40]	8714	CALLDATALOAD	14905	3	1
[41]	8715	PUSH1	14902	3	1
[42]	8717	PUSH1	14899	3	1
[43]	8719	PUSH1	14896	3	1
[44]	8721	SHL	14893	3	1
[45]	8722	SUB	14890	3	1
[46]	8723	DUP2	14887	3	1
[47]	8724	GT	14884	3	1
[48]	8725	PUSH2	14881	3	1
[49]	8728	JUMPI	14878	10	1
[50]	8729	PUSH2	14868	3	1
[51]	8732	SWAP1	14865	3	1
[52]	8733	CALLDATASIZE	14862	2	1
[53]	8734	SWAP1	14860	3	1
[54]	8735	PUSH1	14857	3	1
[55]	8737	ADD	14854	3	1
[56]	8738	PUSH2	14851	3	1
[57]	8741	JUMP	14848	8	1
[58]	9284	JUMPDEST	14840	1	1
[59]	9285	SWAP2	14839	3	1
[60]	9286	DUP2	14836	3	1
[61]	9287	PUSH1	14833	3	1
[62]	9289	DUP5	14830	3	1
[63]	9290	ADD	14827	3	1
[64]	9291	SLT	14824	3	1
[65]	9292	ISZERO	14821	3	1
[66]	9293	PUSH2	14818	3	1
[67]	9296	JUMPI	14815	10	1
[68]	9297	DUP3	14805	3	1
[69]	9298	CALLDATALOAD	14802	3	1
[70]	9299	SWAP2	14799	3	1
[71]	9300	PUSH1	14796	3	1
[72]	9302	PUSH1	14793	3	1
[73]	9304	PUSH1	14790	3	1
[74]	9306	SHL	14787	3	1
[75]	9307	SUB	14784	3	1
[76]	9308	DUP4	14781	3	1
[77]	9309	GT	14778	3	1
[78]	9310	PUSH2	14775	3	1
[79]	9313	JUMPI	14772	10	1
[80]	9314	PUSH1	14762	3	1
[81]	9316	DUP1	14759	3	1
[82]	9317	DUP6	14756	3	1
[83]	9318	ADD	14753	3	1
[84]	9319	SWAP5	14750	3	1
[85]	9320	DUP5	14747	3	1
[86]	9321	PUSH1	14744	3	1
[87]	9323	SHL	14741	3	1
[88]	9324	ADD	14738	3	1
[89]	9325	ADD	14735	3	1
[90]	9326	GT	14732	3	1
[91]	9327	PUSH2	14729	3	1
[92]	9330	JUMPI	14726	10	1
[93]	9331	JUMP	14716	8	1
[94]	8742	JUMPDEST	14708	1	1
[95]	8743	PUSH1	14707	3	1
[96]	8745	CALLDATALOAD	14704	3	1
[97]	8746	SWAP2	14701	3	1
[98]	8747	PUSH1	14698	3	1
[99]	8749	PUSH1	14695	3	1
[100]	8751	PUSH1	14692	3	1
[101]	8753	SHL	14689	3	1
[102]	8754	SUB	14686	3	1
[103]	8755	DUP4	14683	3	1
[104]	8756	GT	14680	3	1
[105]	8757	PUSH2	14677	3	1
[106]	8760	JUMPI	14674	10	1
[107]	8761	CALLDATASIZE	14664	2	1
[108]	8762	PUSH1	14662	3	1
[109]	8764	DUP5	14659	3	1
[110]	8765	ADD	14656	3	1
[111]	8766	SLT	14653	3	1
[112]	8767	ISZERO	14650	3	1
[113]	8768	PUSH2	14647	3	1
[114]	8771	JUMPI	14644	10	1
[115]	8772	DUP3	14634	3	1
[116]	8773	PUSH1	14631	3	1
[117]	8775	ADD	14628	3	1
[118]	8776	CALLDATALOAD	14625	3	1
[119]	8777	SWAP3	14622	3	1
[120]	8778	PUSH1	14619	3	1
[121]	8780	PUSH1	14616	3	1
[122]	8782	PUSH1	14613	3	1
[123]	8784	SHL	14610	3	1
[124]	8785	SUB	14607	3	1
[125]	8786	DUP5	14604	3	1
[126]	8787	GT	14601	3	1
[127]	8788	PUSH2	14598	3	1
[128]	8791	JUMPI	14595	10	1
[129]	8792	CALLDATASIZE	14585	2	1
[130]	8793	PUSH1	14583	3	1
[131]	8795	PUSH1	14580	3	1
[132]	8797	DUP7	14577	3	1
[133]	8798	MUL	14574	5	1
[134]	8799	DUP4	14569	3	1
[135]	8800	ADD	14566	3	1
[136]	8801	ADD	14563	3	1
[137]	8802	GT	14560	3	1
[138]	8803	PUSH2	14557	3	1
[139]	8806	JUMPI	14554	10	1
[140]	8807	PUSH4	14544	3	1
[141]	8812	PUSH1	14541	3	1
[142]	8814	MSTORE	14538	3	1
[143]	8815	CALLER	14535	2	1
[144]	8816	DUP6	14533	3	1
[145]	8817	MSTORE	14530	3	1
[146]	8818	PUSH1	14527	3	1
[147]	8820	PUSH1	14524	3	1
[148]	8822	SHL	14521	3	1
[149]	8823	PUSH1	14518	3	1
[150]	8825	PUSH1	14515	3	1
[151]	8827	KECCAK256	14512	36	1
[152]	8828	SLOAD	14476	2100	1
[153]	8829	AND	12376	3	1
[154]	8830	ISZERO	12373	3	1
[155]	8831	PUSH2	12370	3	1
[156]	8834	JUMPI	12367	10	1
[157]	8835	DUP4	12357	3	1
[158]	8836	DUP4	12354	3	1
[159]	8837	SUB	12351	3	1
[160]	8838	PUSH2	12348	3	1
[161]	8841	JUMPI	12345	10	1
[162]	8842	DUP5	12335	3	1
[163]	8843	JUMPDEST	12332	1	1
[164]	8844	DUP4	12331	3	1
[165]	8845	DUP2	12328	3	1
[166]	8846	LT	12325	3	1
[167]	8847	PUSH2	12322	3	1
[168]	8850	JUMPI	12319	10	1
[169]	8854	JUMPDEST	12309	1	1
[170]	8855	DUP5	12308	3	1
[171]	8856	DUP2	12305	3	1
[172]	8857	LT	12302	3	1
[173]	8858	ISZERO	12299	3	1
[174]	8859	PUSH2	12296	3	1
[175]	8862	JUMPI	12293	10	1
[176]	8863	PUSH1	12283	3	1
[177]	8865	DUP2	12280	3	1
[178]	8866	MUL	12277	5	1
[179]	8867	DUP3	12272	3	1
[180]	8868	ADD	12269	3	1
[181]	8869	PUSH1	12266	3	1
[182]	8871	PUSH1	12263	3	1
[183]	8873	NOT	12260	3	1
[184]	8874	DUP3	12257	3	1
[185]	8875	CALLDATASIZE	12254	2	1
[186]	8876	SUB	12252	3	1
[187]	8877	ADD	12249	3	1
[188]	8878	SLT	12246	3	1
[189]	8879	PUSH2	12243	3	1
[190]	8882	JUMPI	12240	10	1
[191]	8883	PUSH1	12230	3	1
[192]	8885	MLOAD	12227	3	1
[193]	8886	SWAP1	12224	3	1
[194]	8887	PUSH2	12221	3	1
[195]	8890	DUP3	12218	3	1
[196]	8891	PUSH2	12215	3	1
[197]	8894	JUMP	12212	8	1
[198]	9461	JUMPDEST	12204	1	1
[199]	9462	PUSH1	12203	3	1
[200]	9464	DUP2	12200	3	1
[201]	9465	ADD	12197	3	1
[202]	9466	SWAP1	12194	3	1
[203]	9467	DUP2	12191	3	1
[204]	9468	LT	12188	3	1
[205]	9469	PUSH1	12185	3	1
[206]	9471	PUSH1	12182	3	1
[207]	9473	PUSH1	12179	3	1
[208]	9475	SHL	12176	3	1
[209]	9476	SUB	12173	3	1
[210]	9477	DUP3	12170	3	1
[211]	9478	GT	12167	3	1
[212]	9479	OR	12164	3	1
[213]	9480	PUSH2	12161	3	1
[214]	9483	JUMPI	12158	10	1
[215]	9484	PUSH1	12148	3	1
[216]	9486	MSTORE	12145	3	1
[217]	9487	JUMP	12142	8	1
[218]	8895	JUMPDEST	12134	1	1
[219]	8896	PUSH1	12133	3	1
[220]	8898	DUP2	12130	3	1
[221]	8899	ADD	12127	3	1
[222]	8900	CALLDATALOAD	12124	3	1
[223]	8901	DUP1	12121	3	1
[224]	8902	PUSH1	12118	3	1
[225]	8904	SIGNEXTEND	12115	5	1
[226]	8905	DUP2	12110	3	1
[227]	8906	SUB	12107	3	1
[228]	8907	PUSH2	12104	3	1
[229]	8910	JUMPI	12101	10	1
[230]	8911	DUP3	12091	3	1
[231]	8912	MSTORE	12088	9	1
[232]	8913	PUSH1	12079	3	1
[233]	8915	DUP2	12076	3	1
[234]	8916	ADD	12073	3	1
[235]	8917	CALLDATALOAD	12070	3	1
[236]	8918	SWAP1	12067	3	1
[237]	8919	DUP2	12064	3	1
[238]	8920	PUSH1	12061	3	1
[239]	8922	SIGNEXTEND	12058	5	1
[240]	8923	DUP3	12053	3	1
[241]	8924	SUB	12050	3	1
[242]	8925	PUSH2	12047	3	1
[243]	8928	JUMPI	12044	10	1
[244]	8929	PUSH1	12034	3	1
[245]	8931	DUP4	12031	3	1
[246]	8932	ADD	12028	3	1
[247]	8933	SWAP2	12025	3	1
[248]	8934	DUP3	12022	3	1
[249]	8935	MSTORE	12019	6	1
[250]	8936	PUSH1	12013	3	1
[251]	8938	ADD	12010	3	1
[252]	8939	CALLDATALOAD	12007	3	1
[253]	8940	PUSH5	12004	3	1
[254]	8946	DUP2	12001	3	1
[255]	8947	AND	11998	3	1
[256]	8948	DUP2	11995	3	1
[257]	8949	SUB	11992	3	1
[258]	8950	PUSH2	11989	3	1
[259]	8953	JUMPI	11986	10	1
[260]	8954	PUSH1	11976	3	1
[261]	8956	DUP4	11973	3	1
[262]	8957	ADD	11970	3	1
[263]	8958	SWAP1	11967	3	1
[264]	8959	DUP2	11964	3	1
[265]	8960	MSTORE	11961	6	1
[266]	8961	PUSH2	11955	3	1
[267]	8964	DUP5	11952	3	1
[268]	8965	DUP9	11949	3	1
[269]	8966	DUP9	11946	3	1
[270]	8967	PUSH2	11943	3	1
[271]	8970	JUMP	11940	8	1
[272]	10010	JUMPDEST	11932	1	1
[273]	10011	SWAP2	11931	3	1
[274]	10012	SWAP1	11928	3	1
[275]	10013	DUP2	11925	3	1
[276]	10014	LT	11922	3	1
[277]	10015	ISZERO	11919	3	1
[278]	10016	PUSH2	11916	3	1
[279]	10019	JUMPI	11913	10	1
[280]	10020	PUSH1	11903	3	1
[281]	10022	SHL	11900	3	1
[282]	10023	ADD	11897	3	1
[283]	10024	SWAP1	11894	3	1
[284]	10025	JUMP	11891	8	1
[285]	8971	JUMPDEST	11883	1	1
[286]	8972	CALLDATALOAD	11882	3	1
[287]	8973	PUSH1	11879	3	1
[288]	8975	PUSH3	11876	3	1
[289]	8979	PUSH1	11873	3	1
[290]	8981	SHL	11870	3	1
[291]	8982	SUB	11867	3	1
[292]	8983	NOT	11864	3	1
[293]	8984	PUSH1	11861	3	1
[294]	8986	PUSH1	11858	3	1
[295]	8988	PUSH1	11855	3	1
[296]	8990	SHL	11852	3	1
[297]	8991	SUB	11849	3	1
[298]	8992	NOT	11846	3	1
[299]	8993	DUP3	11843	3	1
[300]	8994	AND	11840	3	1
[301]	8995	ADD	11837	3	1
[302]	8996	PUSH2	11834	3	1
[303]	8999	JUMPI	11831	10	1
[304]	9000	TIMESTAMP	11821	2	1
[305]	9001	PUSH5	11819	3	1
[306]	9007	DUP4	11816	3	1
[307]	9008	MLOAD	11813	3	1
[308]	9009	AND	11810	3	1
[309]	9010	GT	11807	3	1
[310]	9011	PUSH2	11804	3	1
[311]	9014	JUMPI	11801	10	1
[312]	9015	SWAP1	11791	3	1
[313]	9016	PUSH1	11788	3	1
[314]	9018	SWAP5	11785	3	1
[315]	9019	SWAP4	11782	3	1
[316]	9020	SWAP3	11779	3	1
[317]	9021	SWAP2	11776	3	1
[318]	9022	PUSH5	11773	3	1
[319]	9028	DUP3	11770	3	1
[320]	9029	MLOAD	11767	3	1
[321]	9030	AND	11764	3	1
[322]	9031	DUP2	11761	3	1
[323]	9032	DUP13	11758	3	1
[324]	9033	MSTORE	11755	3	1
[325]	9034	PUSH1	11752	3	1
[326]	9036	PUSH1	11749	3	1
[327]	9038	MSTORE	11746	3	1
[328]	9039	PUSH5	11743	3	1
[329]	9045	PUSH1	11740	3	1
[330]	9047	DUP14	11737	3	1
[331]	9048	KECCAK256	11734	42	1
[332]	9049	SLOAD	11692	2100	1
[333]	9050	PUSH1	9592	3	1
[334]	9052	SHR	9589	3	1
[335]	9053	AND	9586	3	1
[336]	9054	LT	9583	3	1
[337]	9055	ISZERO	9580	3	1
[338]	9056	PUSH2	9577	3	1
[339]	9059	JUMPI	9574	10	1
[340]	9060	DUP11	9564	3	1
[341]	9061	MSTORE	9561	3	1
[342]	9062	PUSH1	9558	3	1
[343]	9064	PUSH1	9555	3	1
[344]	9066	MSTORE	9552	3	1
[345]	9067	PUSH1	9549	3	1
[346]	9069	DUP11	9546	3	1
[347]	9070	KECCAK256	9543	42	1
[348]	9071	SWAP3	9501	3	1
[349]	9072	MLOAD	9498	3	1
[350]	9073	SWAP2	9495	3	1
[351]	9074	PUSH1	9492	3	1
[352]	9076	PUSH1	9489	3	1
[353]	9078	PUSH1	9486	3	1
[354]	9080	SHL	9483	3	1
[355]	9081	SUB	9480	3	1
[356]	9082	DUP5	9477	3	1
[357]	9083	SLOAD	9474	100	1
[358]	9084	SWAP2	9374	3	1
[359]	9085	MLOAD	9371	3	1
[360]	9086	PUSH1	9368	3	1
[361]	9088	SHL	9365	3	1
[362]	9089	SWAP3	9362	3	1
[363]	9090	PUSH5	9359	3	1
[364]	9096	PUSH1	9356	3	1
[365]	9098	SHL	9353	3	1
[366]	9099	SWAP1	9350	3	1
[367]	9100	MLOAD	9347	3	1
[368]	9101	PUSH1	9344	3	1
[369]	9103	SHL	9341	3	1
[370]	9104	AND	9338	3	1
[371]	9105	SWAP4	9335	3	1
[372]	9106	AND	9332	3	1
[373]	9107	SWAP1	9329	3	1
[374]	9108	PUSH1	9326	3	1
[375]	9110	PUSH1	9323	3	1
[376]	9112	PUSH1	9320	3	1
[377]	9114	SHL	9317	3	1
[378]	9115	SUB	9314	3	1
[379]	9116	NOT	9311	3	1
[380]	9117	AND	9308	3	1
[381]	9118	OR	9305	3	1
[382]	9119	SWAP1	9302	3	1
[383]	9120	PUSH4	9299	3	1
[384]	9125	PUSH1	9296	3	1
[385]	9127	SHL	9293	3	1
[386]	9128	AND	9290	3	1
[387]	9129	OR	9287	3	1
[388]	9130	OR	9284	3	1
[389]	9131	SWAP1	9281	3	1
[390]	9132	SSTORE	9278	2900	1
[391]	9133	JUMPDEST	6378	1	1
[392]	9134	ADD	6377	3	1
[393]	9135	PUSH2	6374	3	1
[394]	9138	JUMP	6371	8	1
[395]	8843	JUMPDEST	6363	1	1
[396]	8844	DUP4	6362	3	1
[397]	8845	DUP2	6359	3	1
[398]	8846	LT	6356	3	1
[399]	8847	PUSH2	6353	3	1
[400]	8850	JUMPI	6350	10	1
[401]	8854	JUMPDEST	6340	1	1
[402]	8855	DUP5	6339	3	1
[403]	8856	DUP2	6336	3	1
[404]	8857	LT	6333	3	1
[405]	8858	ISZERO	6330	3	1
[406]	8859	PUSH2	6327	3	1
[407]	8862	JUMPI	6324	10	1
[408]	8863	PUSH1	6314	3	1
[409]	8865	DUP2	6311	3	1
[410]	8866	MUL	6308	5	1
[411]	8867	DUP3	6303	3	1
[412]	8868	ADD	6300	3	1
[413]	8869	PUSH1	6297	3	1
[414]	8871	PUSH1	6294	3	1
[415]	8873	NOT	6291	3	1
[416]	8874	DUP3	6288	3	1
[417]	8875	CALLDATASIZE	6285	2	1
[418]	8876	SUB	6283	3	1
[419]	8877	ADD	6280	3	1
[420]	8878	SLT	6277	3	1
[421]	8879	PUSH2	6274	3	1
[422]	8882	JUMPI	6271	10	1
[423]	8883	PUSH1	6261	3	1
[424]	8885	MLOAD	6258	3	1
[425]	8886	SWAP1	6255	3	1
[426]	8887	PUSH2	6252	3	1
[427]	8890	DUP3	6249	3	1
[428]	8891	PUSH2	6246	3	1
[429]	8894	JUMP	6243	8	1
[430]	9461	JUMPDEST	6235	1	1
[431]	9462	PUSH1	6234	3	1
[432]	9464	DUP2	6231	3	1
[433]	9465	ADD	6228	3	1
[434]	9466	SWAP1	6225	3	1
[435]	9467	DUP2	6222	3	1
[436]	9468	LT	6219	3	1
[437]	9469	PUSH1	6216	3	1
[438]	9471	PUSH1	6213	3	1
[439]	9473	PUSH1	6210	3	1
[440]	9475	SHL	6207	3	1
[441]	9476	SUB	6204	3	1
[442]	9477	DUP3	6201	3	1
[443]	9478	GT	6198	3	1
[444]	9479	OR	6195	3	1
[445]	9480	PUSH2	6192	3	1
[446]	9483	JUMPI	6189	10	1
[447]	9484	PUSH1	6179	3	1
[448]	9486	MSTORE	6176	3	1
[449]	9487	JUMP	6173	8	1
[450]	8895	JUMPDEST	6165	1	1
[451]	8896	PUSH1	6164	3	1
[452]	8898	DUP2	6161	3	1
[453]	8899	ADD	6158	3	1
[454]	8900	CALLDATALOAD	6155	3	1
[455]	8901	DUP1	6152	3	1
[456]	8902	PUSH1	6149	3	1
[457]	8904	SIGNEXTEND	6146	5	1
[458]	8905	DUP2	6141	3	1
[459]	8906	SUB	6138	3	1
[460]	8907	PUSH2	6135	3	1
[461]	8910	JUMPI	6132	10	1
[462]	8911	DUP3	6122	3	1
[463]	8912	MSTORE	6119	6	1
[464]	8913	PUSH1	6113	3	1
[465]	8915	DUP2	6110	3	1
[466]	8916	ADD	6107	3	1
[467]	8917	CALLDATALOAD	6104	3	1
[468]	8918	SWAP1	6101	3	1
[469]	8919	DUP2	6098	3	1
[470]	8920	PUSH1	6095	3	1
[471]	8922	SIGNEXTEND	6092	5	1
[472]	8923	DUP3	6087	3	1
[473]	8924	SUB	6084	3	1
[474]	8925	PUSH2	6081	3	1
[475]	8928	JUMPI	6078	10	1
[476]	8929	PUSH1	6068	3	1
[477]	8931	DUP4	6065	3	1
[478]	8932	ADD	6062	3	1
[479]	8933	SWAP2	6059	3	1
[480]	8934	DUP3	6056	3	1
[481]	8935	MSTORE	6053	6	1
[482]	8936	PUSH1	6047	3	1
[483]	8938	ADD	6044	3	1
[484]	8939	CALLDATALOAD	6041	3	1
[485]	8940	PUSH5	6038	3	1
[486]	8946	DUP2	6035	3	1
[487]	8947	AND	6032	3	1
[488]	8948	DUP2	6029	3	1
[489]	8949	SUB	6026	3	1
[490]	8950	PUSH2	6023	3	1
[491]	8953	JUMPI	6020	10	1
[492]	8954	PUSH1	6010	3	1
[493]	8956	DUP4	6007	3	1
[494]	8957	ADD	6004	3	1
[495]	8958	SWAP1	6001	3	1
[496]	8959	DUP2	5998	3	1
[497]	8960	MSTORE	5995	6	1
[498]	8961	PUSH2	5989	3	1
[499]	8964	DUP5	5986	3	1
[500]	8965	DUP9	5983	3	1
[501]	8966	DUP9	5980	3	1
[502]	8967	PUSH2	5977	3	1
[503]	8970	JUMP	5974	8	1
[504]	10010	JUMPDEST	5966	1	1
[505]	10011	SWAP2	5965	3	1
[506]	10012	SWAP1	5962	3	1
[507]	10013	DUP2	5959	3	1
[508]	10014	LT	5956	3	1
[509]	10015	ISZERO	5953	3	1
[510]	10016	PUSH2	5950	3	1
[511]	10019	JUMPI	5947	10	1
[512]	10020	PUSH1	5937	3	1
[513]	10022	SHL	5934	3	1
[514]	10023	ADD	5931	3	1
[515]	10024	SWAP1	5928	3	1
[516]	10025	JUMP	5925	8	1
[517]	8971	JUMPDEST	5917	1	1
[518]	8972	CALLDATALOAD	5916	3	1
[519]	8973	PUSH1	5913	3	1
[520]	8975	PUSH3	5910	3	1
[521]	8979	PUSH1	5907	3	1
[522]	8981	SHL	5904	3	1
[523]	8982	SUB	5901	3	1
[524]	8983	NOT	5898	3	1
[525]	8984	PUSH1	5895	3	1
[526]	8986	PUSH1	5892	3	1
[527]	8988	PUSH1	5889	3	1
[528]	8990	SHL	5886	3	1
[529]	8991	SUB	5883	3	1
[530]	8992	NOT	5880	3	1
[531]	8993	DUP3	5877	3	1
[532]	8994	AND	5874	3	1
[533]	8995	ADD	5871	3	1
[534]	8996	PUSH2	5868	3	1
[535]	8999	JUMPI	5865	10	1
[536]	9000	TIMESTAMP	5855	2	1
[537]	9001	PUSH5	5853	3	1
[538]	9007	DUP4	5850	3	1
[539]	9008	MLOAD	5847	3	1
[540]	9009	AND	5844	3	1
[541]	9010	GT	5841	3	1
[542]	9011	PUSH2	5838	3	1
[543]	9014	JUMPI	5835	10	1
[544]	9015	SWAP1	5825	3	1
[545]	9016	PUSH1	5822	3	1
[546]	9018	SWAP5	5819	3	1
[547]	9019	SWAP4	5816	3	1
[548]	9020	SWAP3	5813	3	1
[549]	9021	SWAP2	5810	3	1
[550]	9022	PUSH5	5807	3	1
[551]	9028	DUP3	5804	3	1
[552]	9029	MLOAD	5801	3	1
[553]	9030	AND	5798	3	1
[554]	9031	DUP2	5795	3	1
[555]	9032	DUP13	5792	3	1
[556]	9033	MSTORE	5789	3	1
[557]	9034	PUSH1	5786	3	1
[558]	9036	PUSH1	5783	3	1
[559]	9038	MSTORE	5780	3	1
[560]	9039	PUSH5	5777	3	1
[561]	9045	PUSH1	5774	3	1
[562]	9047	DUP14	5771	3	1
[563]	9048	KECCAK256	5768	42	1
[564]	9049	SLOAD	5726	2100	1
[565]	9050	PUSH1	3626	3	1
[566]	9052	SHR	3623	3	1
[567]	9053	AND	3620	3	1
[568]	9054	LT	3617	3	1
[569]	9055	ISZERO	3614	3	1
[570]	9056	PUSH2	3611	3	1
[571]	9059	JUMPI	3608	10	1
[572]	9060	DUP11	3598	3	1
[573]	9061	MSTORE	3595	3	1
[574]	9062	PUSH1	3592	3	1
[575]	9064	PUSH1	3589	3	1
[576]	9066	MSTORE	3586	3	1
[577]	9067	PUSH1	3583	3	1
[578]	9069	DUP11	3580	3	1
[579]	9070	KECCAK256	3577	42	1
[580]	9071	SWAP3	3535	3	1
[581]	9072	MLOAD	3532	3	1
[582]	9073	SWAP2	3529	3	1
[583]	9074	PUSH1	3526	3	1
[584]	9076	PUSH1	3523	3	1
[585]	9078	PUSH1	3520	3	1
[586]	9080	SHL	3517	3	1
[587]	9081	SUB	3514	3	1
[588]	9082	DUP5	3511	3	1
[589]	9083	SLOAD	3508	100	1
[590]	9084	SWAP2	3408	3	1
[591]	9085	MLOAD	3405	3	1
[592]	9086	PUSH1	3402	3	1
[593]	9088	SHL	3399	3	1
[594]	9089	SWAP3	3396	3	1
[595]	9090	PUSH5	3393	3	1
[596]	9096	PUSH1	3390	3	1
[597]	9098	SHL	3387	3	1
[598]	9099	SWAP1	3384	3	1
[599]	9100	MLOAD	3381	3	1
[600]	9101	PUSH1	3378	3	1
[601]	9103	SHL	3375	3	1
[602]	9104	AND	3372	3	1
[603]	9105	SWAP4	3369	3	1
[604]	9106	AND	3366	3	1
[605]	9107	SWAP1	3363	3	1
[606]	9108	PUSH1	3360	3	1
[607]	9110	PUSH1	3357	3	1
[608]	9112	PUSH1	3354	3	1
[609]	9114	SHL	3351	3	1
[610]	9115	SUB	3348	3	1
[611]	9116	NOT	3345	3	1
[612]	9117	AND	3342	3	1
[613]	9118	OR	3339	3	1
[614]	9119	SWAP1	3336	3	1
[615]	9120	PUSH4	3333	3	1
[616]	9125	PUSH1	3330	3	1
[617]	9127	SHL	3327	3	1
[618]	9128	AND	3324	3	1
[619]	9129	OR	3321	3	1
[620]	9130	OR	3318	3	1
[621]	9131	SWAP1	3315	3	1
[622]	9132	SSTORE	3312	2900	1
[623]	9133	JUMPDEST	412	1	1
[624]	9134	ADD	411	3	1
[625]	9135	PUSH2	408	3	1
[626]	9138	JUMP	405	8	1
[627]	8843	JUMPDEST	397	1	1
[628]	8844	DUP4	396	3	1
[629]	8845	DUP2	393	3	1
[630]	8846	LT	390	3	1
[631]	8847	PUSH2	387	3	1
[632]	8850	JUMPI	384	10	1
[633]	8851	DUP6	374	3	1
[634]	8852	DUP1	371	3	1
[635]	8853	RETURN	368	0	1