Geth VM Trace Transaction

GETH Trace for Txn Hash 0x513161cdeeaa94d57516c5c6e6e3f64a39253c5cfc85e6da5ae128a85855f6b7

Contract transaction successfully completed.

Raw traces

A total of 867 steps found

Step	PC	Operation	Gas	GasCost	Depth
[1]	0	PUSH1	21039	3	1
[2]	2	PUSH1	21036	3	1
[3]	4	MSTORE	21033	12	1
[4]	5	PUSH1	21021	3	1
[5]	7	CALLDATASIZE	21018	2	1
[6]	8	LT	21016	3	1
[7]	9	ISZERO	21013	3	1
[8]	10	PUSH2	21010	3	1
[9]	13	JUMPI	21007	10	1
[10]	27	JUMPDEST	20997	1	1
[11]	28	PUSH1	20996	3	1
[12]	30	DUP1	20993	3	1
[13]	31	CALLDATALOAD	20990	3	1
[14]	32	PUSH1	20987	3	1
[15]	34	SHR	20984	3	1
[16]	35	DUP1	20981	3	1
[17]	36	PUSH4	20978	3	1
[18]	41	EQ	20975	3	1
[19]	42	PUSH2	20972	3	1
[20]	45	JUMPI	20969	10	1
[21]	46	DUP1	20959	3	1
[22]	47	PUSH4	20956	3	1
[23]	52	EQ	20953	3	1
[24]	53	PUSH2	20950	3	1
[25]	56	JUMPI	20947	10	1
[26]	8693	JUMPDEST	20937	1	1
[27]	8694	POP	20936	2	1
[28]	8695	CALLVALUE	20934	2	1
[29]	8696	PUSH2	20932	3	1
[30]	8699	JUMPI	20929	10	1
[31]	8700	PUSH1	20919	3	1
[32]	8702	CALLDATASIZE	20916	2	1
[33]	8703	PUSH1	20914	3	1
[34]	8705	NOT	20911	3	1
[35]	8706	ADD	20908	3	1
[36]	8707	SLT	20905	3	1
[37]	8708	PUSH2	20902	3	1
[38]	8711	JUMPI	20899	10	1
[39]	8712	PUSH1	20889	3	1
[40]	8714	CALLDATALOAD	20886	3	1
[41]	8715	PUSH1	20883	3	1
[42]	8717	PUSH1	20880	3	1
[43]	8719	PUSH1	20877	3	1
[44]	8721	SHL	20874	3	1
[45]	8722	SUB	20871	3	1
[46]	8723	DUP2	20868	3	1
[47]	8724	GT	20865	3	1
[48]	8725	PUSH2	20862	3	1
[49]	8728	JUMPI	20859	10	1
[50]	8729	PUSH2	20849	3	1
[51]	8732	SWAP1	20846	3	1
[52]	8733	CALLDATASIZE	20843	2	1
[53]	8734	SWAP1	20841	3	1
[54]	8735	PUSH1	20838	3	1
[55]	8737	ADD	20835	3	1
[56]	8738	PUSH2	20832	3	1
[57]	8741	JUMP	20829	8	1
[58]	9284	JUMPDEST	20821	1	1
[59]	9285	SWAP2	20820	3	1
[60]	9286	DUP2	20817	3	1
[61]	9287	PUSH1	20814	3	1
[62]	9289	DUP5	20811	3	1
[63]	9290	ADD	20808	3	1
[64]	9291	SLT	20805	3	1
[65]	9292	ISZERO	20802	3	1
[66]	9293	PUSH2	20799	3	1
[67]	9296	JUMPI	20796	10	1
[68]	9297	DUP3	20786	3	1
[69]	9298	CALLDATALOAD	20783	3	1
[70]	9299	SWAP2	20780	3	1
[71]	9300	PUSH1	20777	3	1
[72]	9302	PUSH1	20774	3	1
[73]	9304	PUSH1	20771	3	1
[74]	9306	SHL	20768	3	1
[75]	9307	SUB	20765	3	1
[76]	9308	DUP4	20762	3	1
[77]	9309	GT	20759	3	1
[78]	9310	PUSH2	20756	3	1
[79]	9313	JUMPI	20753	10	1
[80]	9314	PUSH1	20743	3	1
[81]	9316	DUP1	20740	3	1
[82]	9317	DUP6	20737	3	1
[83]	9318	ADD	20734	3	1
[84]	9319	SWAP5	20731	3	1
[85]	9320	DUP5	20728	3	1
[86]	9321	PUSH1	20725	3	1
[87]	9323	SHL	20722	3	1
[88]	9324	ADD	20719	3	1
[89]	9325	ADD	20716	3	1
[90]	9326	GT	20713	3	1
[91]	9327	PUSH2	20710	3	1
[92]	9330	JUMPI	20707	10	1
[93]	9331	JUMP	20697	8	1
[94]	8742	JUMPDEST	20689	1	1
[95]	8743	PUSH1	20688	3	1
[96]	8745	CALLDATALOAD	20685	3	1
[97]	8746	SWAP2	20682	3	1
[98]	8747	PUSH1	20679	3	1
[99]	8749	PUSH1	20676	3	1
[100]	8751	PUSH1	20673	3	1
[101]	8753	SHL	20670	3	1
[102]	8754	SUB	20667	3	1
[103]	8755	DUP4	20664	3	1
[104]	8756	GT	20661	3	1
[105]	8757	PUSH2	20658	3	1
[106]	8760	JUMPI	20655	10	1
[107]	8761	CALLDATASIZE	20645	2	1
[108]	8762	PUSH1	20643	3	1
[109]	8764	DUP5	20640	3	1
[110]	8765	ADD	20637	3	1
[111]	8766	SLT	20634	3	1
[112]	8767	ISZERO	20631	3	1
[113]	8768	PUSH2	20628	3	1
[114]	8771	JUMPI	20625	10	1
[115]	8772	DUP3	20615	3	1
[116]	8773	PUSH1	20612	3	1
[117]	8775	ADD	20609	3	1
[118]	8776	CALLDATALOAD	20606	3	1
[119]	8777	SWAP3	20603	3	1
[120]	8778	PUSH1	20600	3	1
[121]	8780	PUSH1	20597	3	1
[122]	8782	PUSH1	20594	3	1
[123]	8784	SHL	20591	3	1
[124]	8785	SUB	20588	3	1
[125]	8786	DUP5	20585	3	1
[126]	8787	GT	20582	3	1
[127]	8788	PUSH2	20579	3	1
[128]	8791	JUMPI	20576	10	1
[129]	8792	CALLDATASIZE	20566	2	1
[130]	8793	PUSH1	20564	3	1
[131]	8795	PUSH1	20561	3	1
[132]	8797	DUP7	20558	3	1
[133]	8798	MUL	20555	5	1
[134]	8799	DUP4	20550	3	1
[135]	8800	ADD	20547	3	1
[136]	8801	ADD	20544	3	1
[137]	8802	GT	20541	3	1
[138]	8803	PUSH2	20538	3	1
[139]	8806	JUMPI	20535	10	1
[140]	8807	PUSH4	20525	3	1
[141]	8812	PUSH1	20522	3	1
[142]	8814	MSTORE	20519	3	1
[143]	8815	CALLER	20516	2	1
[144]	8816	DUP6	20514	3	1
[145]	8817	MSTORE	20511	3	1
[146]	8818	PUSH1	20508	3	1
[147]	8820	PUSH1	20505	3	1
[148]	8822	SHL	20502	3	1
[149]	8823	PUSH1	20499	3	1
[150]	8825	PUSH1	20496	3	1
[151]	8827	KECCAK256	20493	36	1
[152]	8828	SLOAD	20457	2100	1
[153]	8829	AND	18357	3	1
[154]	8830	ISZERO	18354	3	1
[155]	8831	PUSH2	18351	3	1
[156]	8834	JUMPI	18348	10	1
[157]	8835	DUP4	18338	3	1
[158]	8836	DUP4	18335	3	1
[159]	8837	SUB	18332	3	1
[160]	8838	PUSH2	18329	3	1
[161]	8841	JUMPI	18326	10	1
[162]	8842	DUP5	18316	3	1
[163]	8843	JUMPDEST	18313	1	1
[164]	8844	DUP4	18312	3	1
[165]	8845	DUP2	18309	3	1
[166]	8846	LT	18306	3	1
[167]	8847	PUSH2	18303	3	1
[168]	8850	JUMPI	18300	10	1
[169]	8854	JUMPDEST	18290	1	1
[170]	8855	DUP5	18289	3	1
[171]	8856	DUP2	18286	3	1
[172]	8857	LT	18283	3	1
[173]	8858	ISZERO	18280	3	1
[174]	8859	PUSH2	18277	3	1
[175]	8862	JUMPI	18274	10	1
[176]	8863	PUSH1	18264	3	1
[177]	8865	DUP2	18261	3	1
[178]	8866	MUL	18258	5	1
[179]	8867	DUP3	18253	3	1
[180]	8868	ADD	18250	3	1
[181]	8869	PUSH1	18247	3	1
[182]	8871	PUSH1	18244	3	1
[183]	8873	NOT	18241	3	1
[184]	8874	DUP3	18238	3	1
[185]	8875	CALLDATASIZE	18235	2	1
[186]	8876	SUB	18233	3	1
[187]	8877	ADD	18230	3	1
[188]	8878	SLT	18227	3	1
[189]	8879	PUSH2	18224	3	1
[190]	8882	JUMPI	18221	10	1
[191]	8883	PUSH1	18211	3	1
[192]	8885	MLOAD	18208	3	1
[193]	8886	SWAP1	18205	3	1
[194]	8887	PUSH2	18202	3	1
[195]	8890	DUP3	18199	3	1
[196]	8891	PUSH2	18196	3	1
[197]	8894	JUMP	18193	8	1
[198]	9461	JUMPDEST	18185	1	1
[199]	9462	PUSH1	18184	3	1
[200]	9464	DUP2	18181	3	1
[201]	9465	ADD	18178	3	1
[202]	9466	SWAP1	18175	3	1
[203]	9467	DUP2	18172	3	1
[204]	9468	LT	18169	3	1
[205]	9469	PUSH1	18166	3	1
[206]	9471	PUSH1	18163	3	1
[207]	9473	PUSH1	18160	3	1
[208]	9475	SHL	18157	3	1
[209]	9476	SUB	18154	3	1
[210]	9477	DUP3	18151	3	1
[211]	9478	GT	18148	3	1
[212]	9479	OR	18145	3	1
[213]	9480	PUSH2	18142	3	1
[214]	9483	JUMPI	18139	10	1
[215]	9484	PUSH1	18129	3	1
[216]	9486	MSTORE	18126	3	1
[217]	9487	JUMP	18123	8	1
[218]	8895	JUMPDEST	18115	1	1
[219]	8896	PUSH1	18114	3	1
[220]	8898	DUP2	18111	3	1
[221]	8899	ADD	18108	3	1
[222]	8900	CALLDATALOAD	18105	3	1
[223]	8901	DUP1	18102	3	1
[224]	8902	PUSH1	18099	3	1
[225]	8904	SIGNEXTEND	18096	5	1
[226]	8905	DUP2	18091	3	1
[227]	8906	SUB	18088	3	1
[228]	8907	PUSH2	18085	3	1
[229]	8910	JUMPI	18082	10	1
[230]	8911	DUP3	18072	3	1
[231]	8912	MSTORE	18069	9	1
[232]	8913	PUSH1	18060	3	1
[233]	8915	DUP2	18057	3	1
[234]	8916	ADD	18054	3	1
[235]	8917	CALLDATALOAD	18051	3	1
[236]	8918	SWAP1	18048	3	1
[237]	8919	DUP2	18045	3	1
[238]	8920	PUSH1	18042	3	1
[239]	8922	SIGNEXTEND	18039	5	1
[240]	8923	DUP3	18034	3	1
[241]	8924	SUB	18031	3	1
[242]	8925	PUSH2	18028	3	1
[243]	8928	JUMPI	18025	10	1
[244]	8929	PUSH1	18015	3	1
[245]	8931	DUP4	18012	3	1
[246]	8932	ADD	18009	3	1
[247]	8933	SWAP2	18006	3	1
[248]	8934	DUP3	18003	3	1
[249]	8935	MSTORE	18000	6	1
[250]	8936	PUSH1	17994	3	1
[251]	8938	ADD	17991	3	1
[252]	8939	CALLDATALOAD	17988	3	1
[253]	8940	PUSH5	17985	3	1
[254]	8946	DUP2	17982	3	1
[255]	8947	AND	17979	3	1
[256]	8948	DUP2	17976	3	1
[257]	8949	SUB	17973	3	1
[258]	8950	PUSH2	17970	3	1
[259]	8953	JUMPI	17967	10	1
[260]	8954	PUSH1	17957	3	1
[261]	8956	DUP4	17954	3	1
[262]	8957	ADD	17951	3	1
[263]	8958	SWAP1	17948	3	1
[264]	8959	DUP2	17945	3	1
[265]	8960	MSTORE	17942	6	1
[266]	8961	PUSH2	17936	3	1
[267]	8964	DUP5	17933	3	1
[268]	8965	DUP9	17930	3	1
[269]	8966	DUP9	17927	3	1
[270]	8967	PUSH2	17924	3	1
[271]	8970	JUMP	17921	8	1
[272]	10010	JUMPDEST	17913	1	1
[273]	10011	SWAP2	17912	3	1
[274]	10012	SWAP1	17909	3	1
[275]	10013	DUP2	17906	3	1
[276]	10014	LT	17903	3	1
[277]	10015	ISZERO	17900	3	1
[278]	10016	PUSH2	17897	3	1
[279]	10019	JUMPI	17894	10	1
[280]	10020	PUSH1	17884	3	1
[281]	10022	SHL	17881	3	1
[282]	10023	ADD	17878	3	1
[283]	10024	SWAP1	17875	3	1
[284]	10025	JUMP	17872	8	1
[285]	8971	JUMPDEST	17864	1	1
[286]	8972	CALLDATALOAD	17863	3	1
[287]	8973	PUSH1	17860	3	1
[288]	8975	PUSH3	17857	3	1
[289]	8979	PUSH1	17854	3	1
[290]	8981	SHL	17851	3	1
[291]	8982	SUB	17848	3	1
[292]	8983	NOT	17845	3	1
[293]	8984	PUSH1	17842	3	1
[294]	8986	PUSH1	17839	3	1
[295]	8988	PUSH1	17836	3	1
[296]	8990	SHL	17833	3	1
[297]	8991	SUB	17830	3	1
[298]	8992	NOT	17827	3	1
[299]	8993	DUP3	17824	3	1
[300]	8994	AND	17821	3	1
[301]	8995	ADD	17818	3	1
[302]	8996	PUSH2	17815	3	1
[303]	8999	JUMPI	17812	10	1
[304]	9000	TIMESTAMP	17802	2	1
[305]	9001	PUSH5	17800	3	1
[306]	9007	DUP4	17797	3	1
[307]	9008	MLOAD	17794	3	1
[308]	9009	AND	17791	3	1
[309]	9010	GT	17788	3	1
[310]	9011	PUSH2	17785	3	1
[311]	9014	JUMPI	17782	10	1
[312]	9015	SWAP1	17772	3	1
[313]	9016	PUSH1	17769	3	1
[314]	9018	SWAP5	17766	3	1
[315]	9019	SWAP4	17763	3	1
[316]	9020	SWAP3	17760	3	1
[317]	9021	SWAP2	17757	3	1
[318]	9022	PUSH5	17754	3	1
[319]	9028	DUP3	17751	3	1
[320]	9029	MLOAD	17748	3	1
[321]	9030	AND	17745	3	1
[322]	9031	DUP2	17742	3	1
[323]	9032	DUP13	17739	3	1
[324]	9033	MSTORE	17736	3	1
[325]	9034	PUSH1	17733	3	1
[326]	9036	PUSH1	17730	3	1
[327]	9038	MSTORE	17727	3	1
[328]	9039	PUSH5	17724	3	1
[329]	9045	PUSH1	17721	3	1
[330]	9047	DUP14	17718	3	1
[331]	9048	KECCAK256	17715	42	1
[332]	9049	SLOAD	17673	2100	1
[333]	9050	PUSH1	15573	3	1
[334]	9052	SHR	15570	3	1
[335]	9053	AND	15567	3	1
[336]	9054	LT	15564	3	1
[337]	9055	ISZERO	15561	3	1
[338]	9056	PUSH2	15558	3	1
[339]	9059	JUMPI	15555	10	1
[340]	9060	DUP11	15545	3	1
[341]	9061	MSTORE	15542	3	1
[342]	9062	PUSH1	15539	3	1
[343]	9064	PUSH1	15536	3	1
[344]	9066	MSTORE	15533	3	1
[345]	9067	PUSH1	15530	3	1
[346]	9069	DUP11	15527	3	1
[347]	9070	KECCAK256	15524	42	1
[348]	9071	SWAP3	15482	3	1
[349]	9072	MLOAD	15479	3	1
[350]	9073	SWAP2	15476	3	1
[351]	9074	PUSH1	15473	3	1
[352]	9076	PUSH1	15470	3	1
[353]	9078	PUSH1	15467	3	1
[354]	9080	SHL	15464	3	1
[355]	9081	SUB	15461	3	1
[356]	9082	DUP5	15458	3	1
[357]	9083	SLOAD	15455	100	1
[358]	9084	SWAP2	15355	3	1
[359]	9085	MLOAD	15352	3	1
[360]	9086	PUSH1	15349	3	1
[361]	9088	SHL	15346	3	1
[362]	9089	SWAP3	15343	3	1
[363]	9090	PUSH5	15340	3	1
[364]	9096	PUSH1	15337	3	1
[365]	9098	SHL	15334	3	1
[366]	9099	SWAP1	15331	3	1
[367]	9100	MLOAD	15328	3	1
[368]	9101	PUSH1	15325	3	1
[369]	9103	SHL	15322	3	1
[370]	9104	AND	15319	3	1
[371]	9105	SWAP4	15316	3	1
[372]	9106	AND	15313	3	1
[373]	9107	SWAP1	15310	3	1
[374]	9108	PUSH1	15307	3	1
[375]	9110	PUSH1	15304	3	1
[376]	9112	PUSH1	15301	3	1
[377]	9114	SHL	15298	3	1
[378]	9115	SUB	15295	3	1
[379]	9116	NOT	15292	3	1
[380]	9117	AND	15289	3	1
[381]	9118	OR	15286	3	1
[382]	9119	SWAP1	15283	3	1
[383]	9120	PUSH4	15280	3	1
[384]	9125	PUSH1	15277	3	1
[385]	9127	SHL	15274	3	1
[386]	9128	AND	15271	3	1
[387]	9129	OR	15268	3	1
[388]	9130	OR	15265	3	1
[389]	9131	SWAP1	15262	3	1
[390]	9132	SSTORE	15259	2900	1
[391]	9133	JUMPDEST	12359	1	1
[392]	9134	ADD	12358	3	1
[393]	9135	PUSH2	12355	3	1
[394]	9138	JUMP	12352	8	1
[395]	8843	JUMPDEST	12344	1	1
[396]	8844	DUP4	12343	3	1
[397]	8845	DUP2	12340	3	1
[398]	8846	LT	12337	3	1
[399]	8847	PUSH2	12334	3	1
[400]	8850	JUMPI	12331	10	1
[401]	8854	JUMPDEST	12321	1	1
[402]	8855	DUP5	12320	3	1
[403]	8856	DUP2	12317	3	1
[404]	8857	LT	12314	3	1
[405]	8858	ISZERO	12311	3	1
[406]	8859	PUSH2	12308	3	1
[407]	8862	JUMPI	12305	10	1
[408]	8863	PUSH1	12295	3	1
[409]	8865	DUP2	12292	3	1
[410]	8866	MUL	12289	5	1
[411]	8867	DUP3	12284	3	1
[412]	8868	ADD	12281	3	1
[413]	8869	PUSH1	12278	3	1
[414]	8871	PUSH1	12275	3	1
[415]	8873	NOT	12272	3	1
[416]	8874	DUP3	12269	3	1
[417]	8875	CALLDATASIZE	12266	2	1
[418]	8876	SUB	12264	3	1
[419]	8877	ADD	12261	3	1
[420]	8878	SLT	12258	3	1
[421]	8879	PUSH2	12255	3	1
[422]	8882	JUMPI	12252	10	1
[423]	8883	PUSH1	12242	3	1
[424]	8885	MLOAD	12239	3	1
[425]	8886	SWAP1	12236	3	1
[426]	8887	PUSH2	12233	3	1
[427]	8890	DUP3	12230	3	1
[428]	8891	PUSH2	12227	3	1
[429]	8894	JUMP	12224	8	1
[430]	9461	JUMPDEST	12216	1	1
[431]	9462	PUSH1	12215	3	1
[432]	9464	DUP2	12212	3	1
[433]	9465	ADD	12209	3	1
[434]	9466	SWAP1	12206	3	1
[435]	9467	DUP2	12203	3	1
[436]	9468	LT	12200	3	1
[437]	9469	PUSH1	12197	3	1
[438]	9471	PUSH1	12194	3	1
[439]	9473	PUSH1	12191	3	1
[440]	9475	SHL	12188	3	1
[441]	9476	SUB	12185	3	1
[442]	9477	DUP3	12182	3	1
[443]	9478	GT	12179	3	1
[444]	9479	OR	12176	3	1
[445]	9480	PUSH2	12173	3	1
[446]	9483	JUMPI	12170	10	1
[447]	9484	PUSH1	12160	3	1
[448]	9486	MSTORE	12157	3	1
[449]	9487	JUMP	12154	8	1
[450]	8895	JUMPDEST	12146	1	1
[451]	8896	PUSH1	12145	3	1
[452]	8898	DUP2	12142	3	1
[453]	8899	ADD	12139	3	1
[454]	8900	CALLDATALOAD	12136	3	1
[455]	8901	DUP1	12133	3	1
[456]	8902	PUSH1	12130	3	1
[457]	8904	SIGNEXTEND	12127	5	1
[458]	8905	DUP2	12122	3	1
[459]	8906	SUB	12119	3	1
[460]	8907	PUSH2	12116	3	1
[461]	8910	JUMPI	12113	10	1
[462]	8911	DUP3	12103	3	1
[463]	8912	MSTORE	12100	6	1
[464]	8913	PUSH1	12094	3	1
[465]	8915	DUP2	12091	3	1
[466]	8916	ADD	12088	3	1
[467]	8917	CALLDATALOAD	12085	3	1
[468]	8918	SWAP1	12082	3	1
[469]	8919	DUP2	12079	3	1
[470]	8920	PUSH1	12076	3	1
[471]	8922	SIGNEXTEND	12073	5	1
[472]	8923	DUP3	12068	3	1
[473]	8924	SUB	12065	3	1
[474]	8925	PUSH2	12062	3	1
[475]	8928	JUMPI	12059	10	1
[476]	8929	PUSH1	12049	3	1
[477]	8931	DUP4	12046	3	1
[478]	8932	ADD	12043	3	1
[479]	8933	SWAP2	12040	3	1
[480]	8934	DUP3	12037	3	1
[481]	8935	MSTORE	12034	6	1
[482]	8936	PUSH1	12028	3	1
[483]	8938	ADD	12025	3	1
[484]	8939	CALLDATALOAD	12022	3	1
[485]	8940	PUSH5	12019	3	1
[486]	8946	DUP2	12016	3	1
[487]	8947	AND	12013	3	1
[488]	8948	DUP2	12010	3	1
[489]	8949	SUB	12007	3	1
[490]	8950	PUSH2	12004	3	1
[491]	8953	JUMPI	12001	10	1
[492]	8954	PUSH1	11991	3	1
[493]	8956	DUP4	11988	3	1
[494]	8957	ADD	11985	3	1
[495]	8958	SWAP1	11982	3	1
[496]	8959	DUP2	11979	3	1
[497]	8960	MSTORE	11976	6	1
[498]	8961	PUSH2	11970	3	1
[499]	8964	DUP5	11967	3	1
[500]	8965	DUP9	11964	3	1
[501]	8966	DUP9	11961	3	1
[502]	8967	PUSH2	11958	3	1
[503]	8970	JUMP	11955	8	1
[504]	10010	JUMPDEST	11947	1	1
[505]	10011	SWAP2	11946	3	1
[506]	10012	SWAP1	11943	3	1
[507]	10013	DUP2	11940	3	1
[508]	10014	LT	11937	3	1
[509]	10015	ISZERO	11934	3	1
[510]	10016	PUSH2	11931	3	1
[511]	10019	JUMPI	11928	10	1
[512]	10020	PUSH1	11918	3	1
[513]	10022	SHL	11915	3	1
[514]	10023	ADD	11912	3	1
[515]	10024	SWAP1	11909	3	1
[516]	10025	JUMP	11906	8	1
[517]	8971	JUMPDEST	11898	1	1
[518]	8972	CALLDATALOAD	11897	3	1
[519]	8973	PUSH1	11894	3	1
[520]	8975	PUSH3	11891	3	1
[521]	8979	PUSH1	11888	3	1
[522]	8981	SHL	11885	3	1
[523]	8982	SUB	11882	3	1
[524]	8983	NOT	11879	3	1
[525]	8984	PUSH1	11876	3	1
[526]	8986	PUSH1	11873	3	1
[527]	8988	PUSH1	11870	3	1
[528]	8990	SHL	11867	3	1
[529]	8991	SUB	11864	3	1
[530]	8992	NOT	11861	3	1
[531]	8993	DUP3	11858	3	1
[532]	8994	AND	11855	3	1
[533]	8995	ADD	11852	3	1
[534]	8996	PUSH2	11849	3	1
[535]	8999	JUMPI	11846	10	1
[536]	9000	TIMESTAMP	11836	2	1
[537]	9001	PUSH5	11834	3	1
[538]	9007	DUP4	11831	3	1
[539]	9008	MLOAD	11828	3	1
[540]	9009	AND	11825	3	1
[541]	9010	GT	11822	3	1
[542]	9011	PUSH2	11819	3	1
[543]	9014	JUMPI	11816	10	1
[544]	9015	SWAP1	11806	3	1
[545]	9016	PUSH1	11803	3	1
[546]	9018	SWAP5	11800	3	1
[547]	9019	SWAP4	11797	3	1
[548]	9020	SWAP3	11794	3	1
[549]	9021	SWAP2	11791	3	1
[550]	9022	PUSH5	11788	3	1
[551]	9028	DUP3	11785	3	1
[552]	9029	MLOAD	11782	3	1
[553]	9030	AND	11779	3	1
[554]	9031	DUP2	11776	3	1
[555]	9032	DUP13	11773	3	1
[556]	9033	MSTORE	11770	3	1
[557]	9034	PUSH1	11767	3	1
[558]	9036	PUSH1	11764	3	1
[559]	9038	MSTORE	11761	3	1
[560]	9039	PUSH5	11758	3	1
[561]	9045	PUSH1	11755	3	1
[562]	9047	DUP14	11752	3	1
[563]	9048	KECCAK256	11749	42	1
[564]	9049	SLOAD	11707	2100	1
[565]	9050	PUSH1	9607	3	1
[566]	9052	SHR	9604	3	1
[567]	9053	AND	9601	3	1
[568]	9054	LT	9598	3	1
[569]	9055	ISZERO	9595	3	1
[570]	9056	PUSH2	9592	3	1
[571]	9059	JUMPI	9589	10	1
[572]	9060	DUP11	9579	3	1
[573]	9061	MSTORE	9576	3	1
[574]	9062	PUSH1	9573	3	1
[575]	9064	PUSH1	9570	3	1
[576]	9066	MSTORE	9567	3	1
[577]	9067	PUSH1	9564	3	1
[578]	9069	DUP11	9561	3	1
[579]	9070	KECCAK256	9558	42	1
[580]	9071	SWAP3	9516	3	1
[581]	9072	MLOAD	9513	3	1
[582]	9073	SWAP2	9510	3	1
[583]	9074	PUSH1	9507	3	1
[584]	9076	PUSH1	9504	3	1
[585]	9078	PUSH1	9501	3	1
[586]	9080	SHL	9498	3	1
[587]	9081	SUB	9495	3	1
[588]	9082	DUP5	9492	3	1
[589]	9083	SLOAD	9489	100	1
[590]	9084	SWAP2	9389	3	1
[591]	9085	MLOAD	9386	3	1
[592]	9086	PUSH1	9383	3	1
[593]	9088	SHL	9380	3	1
[594]	9089	SWAP3	9377	3	1
[595]	9090	PUSH5	9374	3	1
[596]	9096	PUSH1	9371	3	1
[597]	9098	SHL	9368	3	1
[598]	9099	SWAP1	9365	3	1
[599]	9100	MLOAD	9362	3	1
[600]	9101	PUSH1	9359	3	1
[601]	9103	SHL	9356	3	1
[602]	9104	AND	9353	3	1
[603]	9105	SWAP4	9350	3	1
[604]	9106	AND	9347	3	1
[605]	9107	SWAP1	9344	3	1
[606]	9108	PUSH1	9341	3	1
[607]	9110	PUSH1	9338	3	1
[608]	9112	PUSH1	9335	3	1
[609]	9114	SHL	9332	3	1
[610]	9115	SUB	9329	3	1
[611]	9116	NOT	9326	3	1
[612]	9117	AND	9323	3	1
[613]	9118	OR	9320	3	1
[614]	9119	SWAP1	9317	3	1
[615]	9120	PUSH4	9314	3	1
[616]	9125	PUSH1	9311	3	1
[617]	9127	SHL	9308	3	1
[618]	9128	AND	9305	3	1
[619]	9129	OR	9302	3	1
[620]	9130	OR	9299	3	1
[621]	9131	SWAP1	9296	3	1
[622]	9132	SSTORE	9293	2900	1
[623]	9133	JUMPDEST	6393	1	1
[624]	9134	ADD	6392	3	1
[625]	9135	PUSH2	6389	3	1
[626]	9138	JUMP	6386	8	1
[627]	8843	JUMPDEST	6378	1	1
[628]	8844	DUP4	6377	3	1
[629]	8845	DUP2	6374	3	1
[630]	8846	LT	6371	3	1
[631]	8847	PUSH2	6368	3	1
[632]	8850	JUMPI	6365	10	1
[633]	8854	JUMPDEST	6355	1	1
[634]	8855	DUP5	6354	3	1
[635]	8856	DUP2	6351	3	1
[636]	8857	LT	6348	3	1
[637]	8858	ISZERO	6345	3	1
[638]	8859	PUSH2	6342	3	1
[639]	8862	JUMPI	6339	10	1
[640]	8863	PUSH1	6329	3	1
[641]	8865	DUP2	6326	3	1
[642]	8866	MUL	6323	5	1
[643]	8867	DUP3	6318	3	1
[644]	8868	ADD	6315	3	1
[645]	8869	PUSH1	6312	3	1
[646]	8871	PUSH1	6309	3	1
[647]	8873	NOT	6306	3	1
[648]	8874	DUP3	6303	3	1
[649]	8875	CALLDATASIZE	6300	2	1
[650]	8876	SUB	6298	3	1
[651]	8877	ADD	6295	3	1
[652]	8878	SLT	6292	3	1
[653]	8879	PUSH2	6289	3	1
[654]	8882	JUMPI	6286	10	1
[655]	8883	PUSH1	6276	3	1
[656]	8885	MLOAD	6273	3	1
[657]	8886	SWAP1	6270	3	1
[658]	8887	PUSH2	6267	3	1
[659]	8890	DUP3	6264	3	1
[660]	8891	PUSH2	6261	3	1
[661]	8894	JUMP	6258	8	1
[662]	9461	JUMPDEST	6250	1	1
[663]	9462	PUSH1	6249	3	1
[664]	9464	DUP2	6246	3	1
[665]	9465	ADD	6243	3	1
[666]	9466	SWAP1	6240	3	1
[667]	9467	DUP2	6237	3	1
[668]	9468	LT	6234	3	1
[669]	9469	PUSH1	6231	3	1
[670]	9471	PUSH1	6228	3	1
[671]	9473	PUSH1	6225	3	1
[672]	9475	SHL	6222	3	1
[673]	9476	SUB	6219	3	1
[674]	9477	DUP3	6216	3	1
[675]	9478	GT	6213	3	1
[676]	9479	OR	6210	3	1
[677]	9480	PUSH2	6207	3	1
[678]	9483	JUMPI	6204	10	1
[679]	9484	PUSH1	6194	3	1
[680]	9486	MSTORE	6191	3	1
[681]	9487	JUMP	6188	8	1
[682]	8895	JUMPDEST	6180	1	1
[683]	8896	PUSH1	6179	3	1
[684]	8898	DUP2	6176	3	1
[685]	8899	ADD	6173	3	1
[686]	8900	CALLDATALOAD	6170	3	1
[687]	8901	DUP1	6167	3	1
[688]	8902	PUSH1	6164	3	1
[689]	8904	SIGNEXTEND	6161	5	1
[690]	8905	DUP2	6156	3	1
[691]	8906	SUB	6153	3	1
[692]	8907	PUSH2	6150	3	1
[693]	8910	JUMPI	6147	10	1
[694]	8911	DUP3	6137	3	1
[695]	8912	MSTORE	6134	6	1
[696]	8913	PUSH1	6128	3	1
[697]	8915	DUP2	6125	3	1
[698]	8916	ADD	6122	3	1
[699]	8917	CALLDATALOAD	6119	3	1
[700]	8918	SWAP1	6116	3	1
[701]	8919	DUP2	6113	3	1
[702]	8920	PUSH1	6110	3	1
[703]	8922	SIGNEXTEND	6107	5	1
[704]	8923	DUP3	6102	3	1
[705]	8924	SUB	6099	3	1
[706]	8925	PUSH2	6096	3	1
[707]	8928	JUMPI	6093	10	1
[708]	8929	PUSH1	6083	3	1
[709]	8931	DUP4	6080	3	1
[710]	8932	ADD	6077	3	1
[711]	8933	SWAP2	6074	3	1
[712]	8934	DUP3	6071	3	1
[713]	8935	MSTORE	6068	6	1
[714]	8936	PUSH1	6062	3	1
[715]	8938	ADD	6059	3	1
[716]	8939	CALLDATALOAD	6056	3	1
[717]	8940	PUSH5	6053	3	1
[718]	8946	DUP2	6050	3	1
[719]	8947	AND	6047	3	1
[720]	8948	DUP2	6044	3	1
[721]	8949	SUB	6041	3	1
[722]	8950	PUSH2	6038	3	1
[723]	8953	JUMPI	6035	10	1
[724]	8954	PUSH1	6025	3	1
[725]	8956	DUP4	6022	3	1
[726]	8957	ADD	6019	3	1
[727]	8958	SWAP1	6016	3	1
[728]	8959	DUP2	6013	3	1
[729]	8960	MSTORE	6010	6	1
[730]	8961	PUSH2	6004	3	1
[731]	8964	DUP5	6001	3	1
[732]	8965	DUP9	5998	3	1
[733]	8966	DUP9	5995	3	1
[734]	8967	PUSH2	5992	3	1
[735]	8970	JUMP	5989	8	1
[736]	10010	JUMPDEST	5981	1	1
[737]	10011	SWAP2	5980	3	1
[738]	10012	SWAP1	5977	3	1
[739]	10013	DUP2	5974	3	1
[740]	10014	LT	5971	3	1
[741]	10015	ISZERO	5968	3	1
[742]	10016	PUSH2	5965	3	1
[743]	10019	JUMPI	5962	10	1
[744]	10020	PUSH1	5952	3	1
[745]	10022	SHL	5949	3	1
[746]	10023	ADD	5946	3	1
[747]	10024	SWAP1	5943	3	1
[748]	10025	JUMP	5940	8	1
[749]	8971	JUMPDEST	5932	1	1
[750]	8972	CALLDATALOAD	5931	3	1
[751]	8973	PUSH1	5928	3	1
[752]	8975	PUSH3	5925	3	1
[753]	8979	PUSH1	5922	3	1
[754]	8981	SHL	5919	3	1
[755]	8982	SUB	5916	3	1
[756]	8983	NOT	5913	3	1
[757]	8984	PUSH1	5910	3	1
[758]	8986	PUSH1	5907	3	1
[759]	8988	PUSH1	5904	3	1
[760]	8990	SHL	5901	3	1
[761]	8991	SUB	5898	3	1
[762]	8992	NOT	5895	3	1
[763]	8993	DUP3	5892	3	1
[764]	8994	AND	5889	3	1
[765]	8995	ADD	5886	3	1
[766]	8996	PUSH2	5883	3	1
[767]	8999	JUMPI	5880	10	1
[768]	9000	TIMESTAMP	5870	2	1
[769]	9001	PUSH5	5868	3	1
[770]	9007	DUP4	5865	3	1
[771]	9008	MLOAD	5862	3	1
[772]	9009	AND	5859	3	1
[773]	9010	GT	5856	3	1
[774]	9011	PUSH2	5853	3	1
[775]	9014	JUMPI	5850	10	1
[776]	9015	SWAP1	5840	3	1
[777]	9016	PUSH1	5837	3	1
[778]	9018	SWAP5	5834	3	1
[779]	9019	SWAP4	5831	3	1
[780]	9020	SWAP3	5828	3	1
[781]	9021	SWAP2	5825	3	1
[782]	9022	PUSH5	5822	3	1
[783]	9028	DUP3	5819	3	1
[784]	9029	MLOAD	5816	3	1
[785]	9030	AND	5813	3	1
[786]	9031	DUP2	5810	3	1
[787]	9032	DUP13	5807	3	1
[788]	9033	MSTORE	5804	3	1
[789]	9034	PUSH1	5801	3	1
[790]	9036	PUSH1	5798	3	1
[791]	9038	MSTORE	5795	3	1
[792]	9039	PUSH5	5792	3	1
[793]	9045	PUSH1	5789	3	1
[794]	9047	DUP14	5786	3	1
[795]	9048	KECCAK256	5783	42	1
[796]	9049	SLOAD	5741	2100	1
[797]	9050	PUSH1	3641	3	1
[798]	9052	SHR	3638	3	1
[799]	9053	AND	3635	3	1
[800]	9054	LT	3632	3	1
[801]	9055	ISZERO	3629	3	1
[802]	9056	PUSH2	3626	3	1
[803]	9059	JUMPI	3623	10	1
[804]	9060	DUP11	3613	3	1
[805]	9061	MSTORE	3610	3	1
[806]	9062	PUSH1	3607	3	1
[807]	9064	PUSH1	3604	3	1
[808]	9066	MSTORE	3601	3	1
[809]	9067	PUSH1	3598	3	1
[810]	9069	DUP11	3595	3	1
[811]	9070	KECCAK256	3592	42	1
[812]	9071	SWAP3	3550	3	1
[813]	9072	MLOAD	3547	3	1
[814]	9073	SWAP2	3544	3	1
[815]	9074	PUSH1	3541	3	1
[816]	9076	PUSH1	3538	3	1
[817]	9078	PUSH1	3535	3	1
[818]	9080	SHL	3532	3	1
[819]	9081	SUB	3529	3	1
[820]	9082	DUP5	3526	3	1
[821]	9083	SLOAD	3523	100	1
[822]	9084	SWAP2	3423	3	1
[823]	9085	MLOAD	3420	3	1
[824]	9086	PUSH1	3417	3	1
[825]	9088	SHL	3414	3	1
[826]	9089	SWAP3	3411	3	1
[827]	9090	PUSH5	3408	3	1
[828]	9096	PUSH1	3405	3	1
[829]	9098	SHL	3402	3	1
[830]	9099	SWAP1	3399	3	1
[831]	9100	MLOAD	3396	3	1
[832]	9101	PUSH1	3393	3	1
[833]	9103	SHL	3390	3	1
[834]	9104	AND	3387	3	1
[835]	9105	SWAP4	3384	3	1
[836]	9106	AND	3381	3	1
[837]	9107	SWAP1	3378	3	1
[838]	9108	PUSH1	3375	3	1
[839]	9110	PUSH1	3372	3	1
[840]	9112	PUSH1	3369	3	1
[841]	9114	SHL	3366	3	1
[842]	9115	SUB	3363	3	1
[843]	9116	NOT	3360	3	1
[844]	9117	AND	3357	3	1
[845]	9118	OR	3354	3	1
[846]	9119	SWAP1	3351	3	1
[847]	9120	PUSH4	3348	3	1
[848]	9125	PUSH1	3345	3	1
[849]	9127	SHL	3342	3	1
[850]	9128	AND	3339	3	1
[851]	9129	OR	3336	3	1
[852]	9130	OR	3333	3	1
[853]	9131	SWAP1	3330	3	1
[854]	9132	SSTORE	3327	2900	1
[855]	9133	JUMPDEST	427	1	1
[856]	9134	ADD	426	3	1
[857]	9135	PUSH2	423	3	1
[858]	9138	JUMP	420	8	1
[859]	8843	JUMPDEST	412	1	1
[860]	8844	DUP4	411	3	1
[861]	8845	DUP2	408	3	1
[862]	8846	LT	405	3	1
[863]	8847	PUSH2	402	3	1
[864]	8850	JUMPI	399	10	1
[865]	8851	DUP6	389	3	1
[866]	8852	DUP1	386	3	1
[867]	8853	RETURN	383	0	1