Geth VM Trace Transaction

GETH Trace for Txn Hash 0xae399c65727d58f98aae6411b489dedeb4b1729b4bc96f77a8719aa9451e9a61

Contract transaction successfully completed.

Raw traces

A total of 822 steps found

Step	PC	Operation	Gas	GasCost	Depth
[1]	0	PUSH1	145029	3	1
[2]	2	PUSH1	145026	3	1
[3]	4	MSTORE	145023	12	1
[4]	5	PUSH1	145011	3	1
[5]	7	CALLDATASIZE	145008	2	1
[6]	8	LT	145006	3	1
[7]	9	PUSH2	145003	3	1
[8]	12	JUMPI	145000	10	1
[9]	13	PUSH1	144990	3	1
[10]	15	CALLDATALOAD	144987	3	1
[11]	16	PUSH1	144984	3	1
[12]	18	SHR	144981	3	1
[13]	19	DUP1	144978	3	1
[14]	20	PUSH4	144975	3	1
[15]	25	GT	144972	3	1
[16]	26	PUSH2	144969	3	1
[17]	29	JUMPI	144966	10	1
[18]	30	DUP1	144956	3	1
[19]	31	PUSH4	144953	3	1
[20]	36	GT	144950	3	1
[21]	37	PUSH2	144947	3	1
[22]	40	JUMPI	144944	10	1
[23]	41	DUP1	144934	3	1
[24]	42	PUSH4	144931	3	1
[25]	47	GT	144928	3	1
[26]	48	PUSH2	144925	3	1
[27]	51	JUMPI	144922	10	1
[28]	160	JUMPDEST	144912	1	1
[29]	161	DUP1	144911	3	1
[30]	162	PUSH4	144908	3	1
[31]	167	GT	144905	3	1
[32]	168	PUSH2	144902	3	1
[33]	171	JUMPI	144899	10	1
[34]	172	DUP1	144889	3	1
[35]	173	PUSH4	144886	3	1
[36]	178	EQ	144883	3	1
[37]	179	PUSH2	144880	3	1
[38]	182	JUMPI	144877	10	1
[39]	183	DUP1	144867	3	1
[40]	184	PUSH4	144864	3	1
[41]	189	EQ	144861	3	1
[42]	190	PUSH2	144858	3	1
[43]	193	JUMPI	144855	10	1
[44]	194	DUP1	144845	3	1
[45]	195	PUSH4	144842	3	1
[46]	200	EQ	144839	3	1
[47]	201	PUSH2	144836	3	1
[48]	204	JUMPI	144833	10	1
[49]	2616	JUMPDEST	144823	1	1
[50]	2617	CALLVALUE	144822	2	1
[51]	2618	DUP1	144820	3	1
[52]	2619	ISZERO	144817	3	1
[53]	2620	PUSH2	144814	3	1
[54]	2623	JUMPI	144811	10	1
[55]	2628	JUMPDEST	144801	1	1
[56]	2629	POP	144800	2	1
[57]	2630	PUSH2	144798	3	1
[58]	2633	PUSH2	144795	3	1
[59]	2636	CALLDATASIZE	144792	2	1
[60]	2637	PUSH1	144790	3	1
[61]	2639	PUSH2	144787	3	1
[62]	2642	JUMP	144784	8	1
[63]	19832	JUMPDEST	144776	1	1
[64]	19833	PUSH1	144775	3	1
[65]	19835	DUP1	144772	3	1
[66]	19836	PUSH1	144769	3	1
[67]	19838	DUP1	144766	3	1
[68]	19839	PUSH1	144763	3	1
[69]	19841	PUSH1	144760	3	1
[70]	19843	DUP7	144757	3	1
[71]	19844	DUP9	144754	3	1
[72]	19845	SUB	144751	3	1
[73]	19846	SLT	144748	3	1
[74]	19847	ISZERO	144745	3	1
[75]	19848	PUSH2	144742	3	1
[76]	19851	JUMPI	144739	10	1
[77]	19856	JUMPDEST	144729	1	1
[78]	19857	DUP6	144728	3	1
[79]	19858	CALLDATALOAD	144725	3	1
[80]	19859	SWAP5	144722	3	1
[81]	19860	POP	144719	2	1
[82]	19861	PUSH1	144717	3	1
[83]	19863	DUP7	144714	3	1
[84]	19864	ADD	144711	3	1
[85]	19865	CALLDATALOAD	144708	3	1
[86]	19866	PUSH1	144705	3	1
[87]	19868	PUSH1	144702	3	1
[88]	19870	PUSH1	144699	3	1
[89]	19872	SHL	144696	3	1
[90]	19873	SUB	144693	3	1
[91]	19874	DUP1	144690	3	1
[92]	19875	DUP3	144687	3	1
[93]	19876	GT	144684	3	1
[94]	19877	ISZERO	144681	3	1
[95]	19878	PUSH2	144678	3	1
[96]	19881	JUMPI	144675	10	1
[97]	19886	JUMPDEST	144665	1	1
[98]	19887	PUSH2	144664	3	1
[99]	19890	DUP10	144661	3	1
[100]	19891	DUP4	144658	3	1
[101]	19892	DUP11	144655	3	1
[102]	19893	ADD	144652	3	1
[103]	19894	PUSH2	144649	3	1
[104]	19897	JUMP	144646	8	1
[105]	19767	JUMPDEST	144638	1	1
[106]	19768	PUSH1	144637	3	1
[107]	19770	DUP1	144634	3	1
[108]	19771	DUP4	144631	3	1
[109]	19772	PUSH1	144628	3	1
[110]	19774	DUP5	144625	3	1
[111]	19775	ADD	144622	3	1
[112]	19776	SLT	144619	3	1
[113]	19777	PUSH2	144616	3	1
[114]	19780	JUMPI	144613	10	1
[115]	19785	JUMPDEST	144603	1	1
[116]	19786	POP	144602	2	1
[117]	19787	DUP2	144600	3	1
[118]	19788	CALLDATALOAD	144597	3	1
[119]	19789	PUSH1	144594	3	1
[120]	19791	PUSH1	144591	3	1
[121]	19793	PUSH1	144588	3	1
[122]	19795	SHL	144585	3	1
[123]	19796	SUB	144582	3	1
[124]	19797	DUP2	144579	3	1
[125]	19798	GT	144576	3	1
[126]	19799	ISZERO	144573	3	1
[127]	19800	PUSH2	144570	3	1
[128]	19803	JUMPI	144567	10	1
[129]	19808	JUMPDEST	144557	1	1
[130]	19809	PUSH1	144556	3	1
[131]	19811	DUP4	144553	3	1
[132]	19812	ADD	144550	3	1
[133]	19813	SWAP2	144547	3	1
[134]	19814	POP	144544	2	1
[135]	19815	DUP4	144542	3	1
[136]	19816	PUSH1	144539	3	1
[137]	19818	DUP3	144536	3	1
[138]	19819	DUP6	144533	3	1
[139]	19820	ADD	144530	3	1
[140]	19821	ADD	144527	3	1
[141]	19822	GT	144524	3	1
[142]	19823	ISZERO	144521	3	1
[143]	19824	PUSH2	144518	3	1
[144]	19827	JUMPI	144515	10	1
[145]	17854	JUMPDEST	144505	1	1
[146]	17855	SWAP3	144504	3	1
[147]	17856	POP	144501	2	1
[148]	17857	SWAP3	144499	3	1
[149]	17858	SWAP1	144496	3	1
[150]	17859	POP	144493	2	1
[151]	17860	JUMP	144491	8	1
[152]	19898	JUMPDEST	144483	1	1
[153]	19899	SWAP1	144482	3	1
[154]	19900	SWAP7	144479	3	1
[155]	19901	POP	144476	2	1
[156]	19902	SWAP5	144474	3	1
[157]	19903	POP	144471	2	1
[158]	19904	PUSH1	144469	3	1
[159]	19906	DUP9	144466	3	1
[160]	19907	ADD	144463	3	1
[161]	19908	CALLDATALOAD	144460	3	1
[162]	19909	SWAP2	144457	3	1
[163]	19910	POP	144454	2	1
[164]	19911	DUP1	144452	3	1
[165]	19912	DUP3	144449	3	1
[166]	19913	GT	144446	3	1
[167]	19914	ISZERO	144443	3	1
[168]	19915	PUSH2	144440	3	1
[169]	19918	JUMPI	144437	10	1
[170]	19923	JUMPDEST	144427	1	1
[171]	19924	POP	144426	2	1
[172]	19925	PUSH2	144424	3	1
[173]	19928	DUP9	144421	3	1
[174]	19929	DUP3	144418	3	1
[175]	19930	DUP10	144415	3	1
[176]	19931	ADD	144412	3	1
[177]	19932	PUSH2	144409	3	1
[178]	19935	JUMP	144406	8	1
[179]	19767	JUMPDEST	144398	1	1
[180]	19768	PUSH1	144397	3	1
[181]	19770	DUP1	144394	3	1
[182]	19771	DUP4	144391	3	1
[183]	19772	PUSH1	144388	3	1
[184]	19774	DUP5	144385	3	1
[185]	19775	ADD	144382	3	1
[186]	19776	SLT	144379	3	1
[187]	19777	PUSH2	144376	3	1
[188]	19780	JUMPI	144373	10	1
[189]	19785	JUMPDEST	144363	1	1
[190]	19786	POP	144362	2	1
[191]	19787	DUP2	144360	3	1
[192]	19788	CALLDATALOAD	144357	3	1
[193]	19789	PUSH1	144354	3	1
[194]	19791	PUSH1	144351	3	1
[195]	19793	PUSH1	144348	3	1
[196]	19795	SHL	144345	3	1
[197]	19796	SUB	144342	3	1
[198]	19797	DUP2	144339	3	1
[199]	19798	GT	144336	3	1
[200]	19799	ISZERO	144333	3	1
[201]	19800	PUSH2	144330	3	1
[202]	19803	JUMPI	144327	10	1
[203]	19808	JUMPDEST	144317	1	1
[204]	19809	PUSH1	144316	3	1
[205]	19811	DUP4	144313	3	1
[206]	19812	ADD	144310	3	1
[207]	19813	SWAP2	144307	3	1
[208]	19814	POP	144304	2	1
[209]	19815	DUP4	144302	3	1
[210]	19816	PUSH1	144299	3	1
[211]	19818	DUP3	144296	3	1
[212]	19819	DUP6	144293	3	1
[213]	19820	ADD	144290	3	1
[214]	19821	ADD	144287	3	1
[215]	19822	GT	144284	3	1
[216]	19823	ISZERO	144281	3	1
[217]	19824	PUSH2	144278	3	1
[218]	19827	JUMPI	144275	10	1
[219]	17854	JUMPDEST	144265	1	1
[220]	17855	SWAP3	144264	3	1
[221]	17856	POP	144261	2	1
[222]	17857	SWAP3	144259	3	1
[223]	17858	SWAP1	144256	3	1
[224]	17859	POP	144253	2	1
[225]	17860	JUMP	144251	8	1
[226]	19936	JUMPDEST	144243	1	1
[227]	19937	SWAP7	144242	3	1
[228]	19938	SWAP10	144239	3	1
[229]	19939	SWAP6	144236	3	1
[230]	19940	SWAP9	144233	3	1
[231]	19941	POP	144230	2	1
[232]	19942	SWAP4	144228	3	1
[233]	19943	SWAP7	144225	3	1
[234]	19944	POP	144222	2	1
[235]	19945	SWAP3	144220	3	1
[236]	19946	SWAP5	144217	3	1
[237]	19947	SWAP4	144214	3	1
[238]	19948	SWAP3	144211	3	1
[239]	19949	POP	144208	2	1
[240]	19950	POP	144206	2	1
[241]	19951	POP	144204	2	1
[242]	19952	JUMP	144202	8	1
[243]	2643	JUMPDEST	144194	1	1
[244]	2644	PUSH2	144193	3	1
[245]	2647	JUMP	144190	8	1
[246]	8085	JUMPDEST	144182	1	1
[247]	8086	PUSH1	144181	3	1
[248]	8088	PUSH2	144178	3	1
[249]	8091	PUSH2	144175	3	1
[250]	8094	JUMP	144172	8	1
[251]	13869	JUMPDEST	144164	1	1
[252]	13870	PUSH1	144163	3	1
[253]	13872	PUSH2	144160	3	1
[254]	13875	PUSH1	144157	3	1
[255]	13877	SLOAD	144154	2100	1
[256]	13878	PUSH2	142054	3	1
[257]	13881	CALLER	142051	2	1
[258]	13882	SWAP1	142049	3	1
[259]	13883	JUMP	142046	8	1
[260]	2107	JUMPDEST	142038	1	1
[261]	2108	PUSH2	142037	3	1
[262]	2111	JUMP	142034	8	1
[263]	6542	JUMPDEST	142026	1	1
[264]	6543	PUSH1	142025	3	1
[265]	6545	SWAP2	142022	3	1
[266]	6546	DUP3	142019	3	1
[267]	6547	MSTORE	142016	3	1
[268]	6548	PUSH1	142013	3	1
[269]	6550	PUSH1	142010	3	1
[270]	6552	SWAP1	142007	3	1
[271]	6553	DUP2	142004	3	1
[272]	6554	MSTORE	142001	3	1
[273]	6555	PUSH1	141998	3	1
[274]	6557	DUP1	141995	3	1
[275]	6558	DUP5	141992	3	1
[276]	6559	KECCAK256	141989	42	1
[277]	6560	PUSH1	141947	3	1
[278]	6562	PUSH1	141944	3	1
[279]	6564	PUSH1	141941	3	1
[280]	6566	SHL	141938	3	1
[281]	6567	SUB	141935	3	1
[282]	6568	SWAP4	141932	3	1
[283]	6569	SWAP1	141929	3	1
[284]	6570	SWAP4	141926	3	1
[285]	6571	AND	141923	3	1
[286]	6572	DUP5	141920	3	1
[287]	6573	MSTORE	141917	3	1
[288]	6574	SWAP2	141914	3	1
[289]	6575	SWAP1	141911	3	1
[290]	6576	MSTORE	141908	3	1
[291]	6577	SWAP1	141905	3	1
[292]	6578	KECCAK256	141902	42	1
[293]	6579	SLOAD	141860	2100	1
[294]	6580	PUSH1	139760	3	1
[295]	6582	AND	139757	3	1
[296]	6583	SWAP1	139754	3	1
[297]	6584	JUMP	139751	8	1
[298]	10849	JUMPDEST	139743	1	1
[299]	10850	SWAP1	139742	3	1
[300]	10851	POP	139739	2	1
[301]	10852	SWAP1	139737	3	1
[302]	10853	JUMP	139734	8	1
[303]	8095	JUMPDEST	139726	1	1
[304]	8096	PUSH2	139725	3	1
[305]	8099	JUMPI	139722	10	1
[306]	8123	JUMPDEST	139712	1	1
[307]	8124	DUP6	139711	3	1
[308]	8125	PUSH1	139708	3	1
[309]	8127	SUB	139705	3	1
[310]	8128	PUSH2	139702	3	1
[311]	8131	JUMPI	139699	10	1
[312]	8179	JUMPDEST	139689	1	1
[313]	8180	PUSH1	139688	3	1
[314]	8182	PUSH1	139685	3	1
[315]	8184	SLOAD	139682	2100	1
[316]	8185	SWAP1	137582	3	1
[317]	8186	POP	137579	2	1
[318]	8187	PUSH2	137577	3	1
[319]	8190	DUP2	137574	3	1
[320]	8191	DUP9	137571	3	1
[321]	8192	DUP9	137568	3	1
[322]	8193	DUP9	137565	3	1
[323]	8194	DUP1	137562	3	1
[324]	8195	DUP1	137559	3	1
[325]	8196	PUSH1	137556	3	1
[326]	8198	ADD	137553	3	1
[327]	8199	PUSH1	137550	3	1
[328]	8201	DUP1	137547	3	1
[329]	8202	SWAP2	137544	3	1
[330]	8203	DIV	137541	5	1
[331]	8204	MUL	137536	5	1
[332]	8205	PUSH1	137531	3	1
[333]	8207	ADD	137528	3	1
[334]	8208	PUSH1	137525	3	1
[335]	8210	MLOAD	137522	3	1
[336]	8211	SWAP1	137519	3	1
[337]	8212	DUP2	137516	3	1
[338]	8213	ADD	137513	3	1
[339]	8214	PUSH1	137510	3	1
[340]	8216	MSTORE	137507	3	1
[341]	8217	DUP1	137504	3	1
[342]	8218	SWAP4	137501	3	1
[343]	8219	SWAP3	137498	3	1
[344]	8220	SWAP2	137495	3	1
[345]	8221	SWAP1	137492	3	1
[346]	8222	DUP2	137489	3	1
[347]	8223	DUP2	137486	3	1
[348]	8224	MSTORE	137483	9	1
[349]	8225	PUSH1	137474	3	1
[350]	8227	ADD	137471	3	1
[351]	8228	DUP4	137468	3	1
[352]	8229	DUP4	137465	3	1
[353]	8230	DUP1	137462	3	1
[354]	8231	DUP3	137459	3	1
[355]	8232	DUP5	137456	3	1
[356]	8233	CALLDATACOPY	137453	15	1
[357]	8234	PUSH1	137438	3	1
[358]	8236	SWAP3	137435	3	1
[359]	8237	ADD	137432	3	1
[360]	8238	SWAP2	137429	3	1
[361]	8239	SWAP1	137426	3	1
[362]	8240	SWAP2	137423	3	1
[363]	8241	MSTORE	137420	6	1
[364]	8242	POP	137414	2	1
[365]	8243	PUSH2	137412	3	1
[366]	8246	SWAP3	137409	3	1
[367]	8247	POP	137406	2	1
[368]	8248	POP	137404	2	1
[369]	8249	POP	137402	2	1
[370]	8250	JUMP	137400	8	1
[371]	12955	JUMPDEST	137392	1	1
[372]	12956	PUSH1	137391	3	1
[373]	12958	DUP1	137388	3	1
[374]	12959	PUSH2	137385	3	1
[375]	12962	DUP5	137382	3	1
[376]	12963	DUP7	137379	3	1
[377]	12964	PUSH2	137376	3	1
[378]	12967	JUMP	137373	8	1
[379]	20547	JUMPDEST	137365	1	1
[380]	20548	DUP1	137364	3	1
[381]	20549	DUP3	137361	3	1
[382]	20550	ADD	137358	3	1
[383]	20551	DUP1	137355	3	1
[384]	20552	DUP3	137352	3	1
[385]	20553	GT	137349	3	1
[386]	20554	ISZERO	137346	3	1
[387]	20555	PUSH2	137343	3	1
[388]	20558	JUMPI	137340	10	1
[389]	3109	JUMPDEST	137330	1	1
[390]	3110	SWAP3	137329	3	1
[391]	3111	SWAP2	137326	3	1
[392]	3112	POP	137323	2	1
[393]	3113	POP	137321	2	1
[394]	3114	JUMP	137319	8	1
[395]	12968	JUMPDEST	137311	1	1
[396]	12969	PUSH1	137310	3	1
[397]	12971	DUP1	137307	3	1
[398]	12972	SLOAD	137304	2100	1
[399]	12973	PUSH1	135204	3	1
[400]	12975	DUP2	135201	3	1
[401]	12976	ADD	135198	3	1
[402]	12977	SWAP1	135195	3	1
[403]	12978	SWAP2	135192	3	1
[404]	12979	SSTORE	135189	20000	1
[405]	12980	PUSH32	115189	3	1
[406]	13013	ADD	115186	3	1
[407]	13014	DUP2	115183	3	1
[408]	13015	SWAP1	115180	3	1
[409]	13016	SSTORE	115177	22100	1
[410]	13017	PUSH1	93077	3	1
[411]	13019	DUP2	93074	3	1
[412]	13020	DUP2	93071	3	1
[413]	13021	MSTORE	93068	3	1
[414]	13022	PUSH1	93065	3	1
[415]	13024	PUSH1	93062	3	1
[416]	13026	MSTORE	93059	3	1
[417]	13027	PUSH1	93056	3	1
[418]	13029	SWAP1	93053	3	1
[419]	13030	KECCAK256	93050	42	1
[420]	13031	SWAP1	93008	3	1
[421]	13032	SWAP3	93005	3	1
[422]	13033	POP	93002	2	1
[423]	13034	DUP3	93000	3	1
[424]	13035	SWAP2	92997	3	1
[425]	13036	POP	92994	2	1
[426]	13037	PUSH2	92992	3	1
[427]	13040	DUP5	92989	3	1
[428]	13041	DUP3	92986	3	1
[429]	13042	PUSH2	92983	3	1
[430]	13045	JUMP	92980	8	1
[431]	21979	JUMPDEST	92972	1	1
[432]	21980	DUP2	92971	3	1
[433]	21981	MLOAD	92968	3	1
[434]	21982	PUSH1	92965	3	1
[435]	21984	PUSH1	92962	3	1
[436]	21986	PUSH1	92959	3	1
[437]	21988	SHL	92956	3	1
[438]	21989	SUB	92953	3	1
[439]	21990	DUP2	92950	3	1
[440]	21991	GT	92947	3	1
[441]	21992	ISZERO	92944	3	1
[442]	21993	PUSH2	92941	3	1
[443]	21996	JUMPI	92938	10	1
[444]	22004	JUMPDEST	92928	1	1
[445]	22005	PUSH2	92927	3	1
[446]	22008	DUP2	92924	3	1
[447]	22009	PUSH2	92921	3	1
[448]	22012	DUP5	92918	3	1
[449]	22013	SLOAD	92915	2100	1
[450]	22014	PUSH2	90815	3	1
[451]	22017	JUMP	90812	8	1
[452]	20386	JUMPDEST	90804	1	1
[453]	20387	PUSH1	90803	3	1
[454]	20389	DUP2	90800	3	1
[455]	20390	DUP2	90797	3	1
[456]	20391	SHR	90794	3	1
[457]	20392	SWAP1	90791	3	1
[458]	20393	DUP3	90788	3	1
[459]	20394	AND	90785	3	1
[460]	20395	DUP1	90782	3	1
[461]	20396	PUSH2	90779	3	1
[462]	20399	JUMPI	90776	10	1
[463]	20400	PUSH1	90766	3	1
[464]	20402	DUP3	90763	3	1
[465]	20403	AND	90760	3	1
[466]	20404	SWAP2	90757	3	1
[467]	20405	POP	90754	2	1
[468]	20406	JUMPDEST	90752	1	1
[469]	20407	PUSH1	90751	3	1
[470]	20409	DUP3	90748	3	1
[471]	20410	LT	90745	3	1
[472]	20411	DUP2	90742	3	1
[473]	20412	SUB	90739	3	1
[474]	20413	PUSH2	90736	3	1
[475]	20416	JUMPI	90733	10	1
[476]	8079	JUMPDEST	90723	1	1
[477]	8080	POP	90722	2	1
[478]	8081	SWAP2	90720	3	1
[479]	8082	SWAP1	90717	3	1
[480]	8083	POP	90714	2	1
[481]	8084	JUMP	90712	8	1
[482]	22018	JUMPDEST	90704	1	1
[483]	22019	DUP5	90703	3	1
[484]	22020	PUSH2	90700	3	1
[485]	22023	JUMP	90697	8	1
[486]	20690	JUMPDEST	90689	1	1
[487]	20691	PUSH1	90688	3	1
[488]	20693	DUP3	90685	3	1
[489]	20694	GT	90682	3	1
[490]	20695	ISZERO	90679	3	1
[491]	20696	PUSH2	90676	3	1
[492]	20699	JUMPI	90673	10	1
[493]	7197	JUMPDEST	90663	1	1
[494]	7198	POP	90662	2	1
[495]	7199	POP	90660	2	1
[496]	7200	POP	90658	2	1
[497]	7201	JUMP	90656	8	1
[498]	22024	JUMPDEST	90648	1	1
[499]	22025	PUSH1	90647	3	1
[500]	22027	DUP1	90644	3	1
[501]	22028	PUSH1	90641	3	1
[502]	22030	DUP4	90638	3	1
[503]	22031	GT	90635	3	1
[504]	22032	PUSH1	90632	3	1
[505]	22034	DUP2	90629	3	1
[506]	22035	EQ	90626	3	1
[507]	22036	PUSH2	90623	3	1
[508]	22039	JUMPI	90620	10	1
[509]	22077	JUMPDEST	90610	1	1
[510]	22078	PUSH1	90609	3	1
[511]	22080	DUP6	90606	3	1
[512]	22081	DUP2	90603	3	1
[513]	22082	MSTORE	90600	3	1
[514]	22083	PUSH1	90597	3	1
[515]	22085	DUP2	90594	3	1
[516]	22086	KECCAK256	90591	36	1
[517]	22087	PUSH1	90555	3	1
[518]	22089	NOT	90552	3	1
[519]	22090	DUP7	90549	3	1
[520]	22091	AND	90546	3	1
[521]	22092	SWAP2	90543	3	1
[522]	22093	JUMPDEST	90540	1	1
[523]	22094	DUP3	90539	3	1
[524]	22095	DUP2	90536	3	1
[525]	22096	LT	90533	3	1
[526]	22097	ISZERO	90530	3	1
[527]	22098	PUSH2	90527	3	1
[528]	22101	JUMPI	90524	10	1
[529]	22102	DUP9	90514	3	1
[530]	22103	DUP7	90511	3	1
[531]	22104	ADD	90508	3	1
[532]	22105	MLOAD	90505	3	1
[533]	22106	DUP3	90502	3	1
[534]	22107	SSTORE	90499	22100	1
[535]	22108	SWAP5	68399	3	1
[536]	22109	DUP5	68396	3	1
[537]	22110	ADD	68393	3	1
[538]	22111	SWAP5	68390	3	1
[539]	22112	PUSH1	68387	3	1
[540]	22114	SWAP1	68384	3	1
[541]	22115	SWAP2	68381	3	1
[542]	22116	ADD	68378	3	1
[543]	22117	SWAP1	68375	3	1
[544]	22118	DUP5	68372	3	1
[545]	22119	ADD	68369	3	1
[546]	22120	PUSH2	68366	3	1
[547]	22123	JUMP	68363	8	1
[548]	22093	JUMPDEST	68355	1	1
[549]	22094	DUP3	68354	3	1
[550]	22095	DUP2	68351	3	1
[551]	22096	LT	68348	3	1
[552]	22097	ISZERO	68345	3	1
[553]	22098	PUSH2	68342	3	1
[554]	22101	JUMPI	68339	10	1
[555]	22124	JUMPDEST	68329	1	1
[556]	22125	POP	68328	2	1
[557]	22126	DUP6	68326	3	1
[558]	22127	DUP3	68323	3	1
[559]	22128	LT	68320	3	1
[560]	22129	ISZERO	68317	3	1
[561]	22130	PUSH2	68314	3	1
[562]	22133	JUMPI	68311	10	1
[563]	22134	DUP8	68301	3	1
[564]	22135	DUP6	68298	3	1
[565]	22136	ADD	68295	3	1
[566]	22137	MLOAD	68292	3	1
[567]	22138	PUSH1	68289	3	1
[568]	22140	NOT	68286	3	1
[569]	22141	PUSH1	68283	3	1
[570]	22143	DUP9	68280	3	1
[571]	22144	SWAP1	68277	3	1
[572]	22145	SHL	68274	3	1
[573]	22146	PUSH1	68271	3	1
[574]	22148	AND	68268	3	1
[575]	22149	SHR	68265	3	1
[576]	22150	NOT	68262	3	1
[577]	22151	AND	68259	3	1
[578]	22152	DUP2	68256	3	1
[579]	22153	SSTORE	68253	22100	1
[580]	22154	JUMPDEST	46153	1	1
[581]	22155	POP	46152	2	1
[582]	22156	POP	46150	2	1
[583]	22157	POP	46148	2	1
[584]	22158	POP	46146	2	1
[585]	22159	POP	46144	2	1
[586]	22160	PUSH1	46142	3	1
[587]	22162	SWAP1	46139	3	1
[588]	22163	DUP2	46136	3	1
[589]	22164	SHL	46133	3	1
[590]	22165	ADD	46130	3	1
[591]	22166	SWAP1	46127	3	1
[592]	22167	SSTORE	46124	20000	1
[593]	22168	POP	26124	2	1
[594]	22169	JUMP	26122	8	1
[595]	13046	JUMPDEST	26114	1	1
[596]	13047	POP	26113	2	1
[597]	13048	SWAP4	26111	3	1
[598]	13049	POP	26108	2	1
[599]	13050	SWAP4	26106	3	1
[600]	13051	SWAP2	26103	3	1
[601]	13052	POP	26100	2	1
[602]	13053	POP	26098	2	1
[603]	13054	JUMP	26096	8	1
[604]	8251	JUMPDEST	26088	1	1
[605]	8252	PUSH1	26087	3	1
[606]	8254	SWAP2	26084	3	1
[607]	8255	SWAP1	26081	3	1
[608]	8256	SWAP2	26078	3	1
[609]	8257	SSTORE	26075	20000	1
[610]	8258	SWAP2	6075	3	1
[611]	8259	POP	6072	2	1
[612]	8260	DUP1	6070	3	1
[613]	8261	PUSH32	6067	3	1
[614]	8294	PUSH1	6064	3	1
[615]	8296	PUSH2	6061	3	1
[616]	8299	DUP11	6058	3	1
[617]	8300	DUP5	6055	3	1
[618]	8301	PUSH2	6052	3	1
[619]	8304	JUMP	6049	8	1
[620]	20547	JUMPDEST	6041	1	1
[621]	20548	DUP1	6040	3	1
[622]	20549	DUP3	6037	3	1
[623]	20550	ADD	6034	3	1
[624]	20551	DUP1	6031	3	1
[625]	20552	DUP3	6028	3	1
[626]	20553	GT	6025	3	1
[627]	20554	ISZERO	6022	3	1
[628]	20555	PUSH2	6019	3	1
[629]	20558	JUMPI	6016	10	1
[630]	3109	JUMPDEST	6006	1	1
[631]	3110	SWAP3	6005	3	1
[632]	3111	SWAP2	6002	3	1
[633]	3112	POP	5999	2	1
[634]	3113	POP	5997	2	1
[635]	3114	JUMP	5995	8	1
[636]	8305	JUMPDEST	5987	1	1
[637]	8306	PUSH2	5986	3	1
[638]	8309	SWAP2	5983	3	1
[639]	8310	SWAP1	5980	3	1
[640]	8311	PUSH2	5977	3	1
[641]	8314	JUMP	5974	8	1
[642]	21527	JUMPDEST	5966	1	1
[643]	21528	DUP2	5965	3	1
[644]	21529	DUP2	5962	3	1
[645]	21530	SUB	5959	3	1
[646]	21531	DUP2	5956	3	1
[647]	21532	DUP2	5953	3	1
[648]	21533	GT	5950	3	1
[649]	21534	ISZERO	5947	3	1
[650]	21535	PUSH2	5944	3	1
[651]	21538	JUMPI	5941	10	1
[652]	3109	JUMPDEST	5931	1	1
[653]	3110	SWAP3	5930	3	1
[654]	3111	SWAP2	5927	3	1
[655]	3112	POP	5924	2	1
[656]	3113	POP	5922	2	1
[657]	3114	JUMP	5920	8	1
[658]	8315	JUMPDEST	5912	1	1
[659]	8316	DUP9	5911	3	1
[660]	8317	DUP9	5908	3	1
[661]	8318	DUP9	5905	3	1
[662]	8319	DUP9	5902	3	1
[663]	8320	PUSH1	5899	3	1
[664]	8322	MLOAD	5896	3	1
[665]	8323	PUSH2	5893	3	1
[666]	8326	SWAP6	5890	3	1
[667]	8327	SWAP5	5887	3	1
[668]	8328	SWAP4	5884	3	1
[669]	8329	SWAP3	5881	3	1
[670]	8330	SWAP2	5878	3	1
[671]	8331	SWAP1	5875	3	1
[672]	8332	PUSH2	5872	3	1
[673]	8335	JUMP	5869	8	1
[674]	21569	JUMPDEST	5861	1	1
[675]	21570	DUP6	5860	3	1
[676]	21571	DUP2	5857	3	1
[677]	21572	MSTORE	5854	3	1
[678]	21573	PUSH1	5851	3	1
[679]	21575	PUSH1	5848	3	1
[680]	21577	DUP3	5845	3	1
[681]	21578	ADD	5842	3	1
[682]	21579	MSTORE	5839	6	1
[683]	21580	PUSH1	5833	3	1
[684]	21582	PUSH2	5830	3	1
[685]	21585	PUSH1	5827	3	1
[686]	21587	DUP4	5824	3	1
[687]	21588	ADD	5821	3	1
[688]	21589	DUP7	5818	3	1
[689]	21590	DUP9	5815	3	1
[690]	21591	PUSH2	5812	3	1
[691]	21594	JUMP	5809	8	1
[692]	21148	JUMPDEST	5801	1	1
[693]	21149	DUP2	5800	3	1
[694]	21150	DUP4	5797	3	1
[695]	21151	MSTORE	5794	9	1
[696]	21152	DUP2	5785	3	1
[697]	21153	DUP2	5782	3	1
[698]	21154	PUSH1	5779	3	1
[699]	21156	DUP6	5776	3	1
[700]	21157	ADD	5773	3	1
[701]	21158	CALLDATACOPY	5770	15	1
[702]	21159	POP	5755	2	1
[703]	21160	PUSH1	5753	3	1
[704]	21162	DUP3	5750	3	1
[705]	21163	DUP3	5747	3	1
[706]	21164	ADD	5744	3	1
[707]	21165	PUSH1	5741	3	1
[708]	21167	SWAP1	5738	3	1
[709]	21168	DUP2	5735	3	1
[710]	21169	ADD	5732	3	1
[711]	21170	SWAP2	5729	3	1
[712]	21171	SWAP1	5726	3	1
[713]	21172	SWAP2	5723	3	1
[714]	21173	MSTORE	5720	6	1
[715]	21174	PUSH1	5714	3	1
[716]	21176	SWAP1	5711	3	1
[717]	21177	SWAP2	5708	3	1
[718]	21178	ADD	5705	3	1
[719]	21179	PUSH1	5702	3	1
[720]	21181	NOT	5699	3	1
[721]	21182	AND	5696	3	1
[722]	21183	SWAP1	5693	3	1
[723]	21184	SWAP2	5690	3	1
[724]	21185	ADD	5687	3	1
[725]	21186	ADD	5684	3	1
[726]	21187	SWAP1	5681	3	1
[727]	21188	JUMP	5678	8	1
[728]	21595	JUMPDEST	5670	1	1
[729]	21596	DUP3	5669	3	1
[730]	21597	DUP2	5666	3	1
[731]	21598	SUB	5663	3	1
[732]	21599	PUSH1	5660	3	1
[733]	21601	DUP5	5657	3	1
[734]	21602	ADD	5654	3	1
[735]	21603	MSTORE	5651	3	1
[736]	21604	PUSH2	5648	3	1
[737]	21607	DUP2	5645	3	1
[738]	21608	DUP6	5642	3	1
[739]	21609	DUP8	5639	3	1
[740]	21610	PUSH2	5636	3	1
[741]	21613	JUMP	5633	8	1
[742]	21148	JUMPDEST	5625	1	1
[743]	21149	DUP2	5624	3	1
[744]	21150	DUP4	5621	3	1
[745]	21151	MSTORE	5618	3	1
[746]	21152	DUP2	5615	3	1
[747]	21153	DUP2	5612	3	1
[748]	21154	PUSH1	5609	3	1
[749]	21156	DUP6	5606	3	1
[750]	21157	ADD	5603	3	1
[751]	21158	CALLDATACOPY	5600	3	1
[752]	21159	POP	5597	2	1
[753]	21160	PUSH1	5595	3	1
[754]	21162	DUP3	5592	3	1
[755]	21163	DUP3	5589	3	1
[756]	21164	ADD	5586	3	1
[757]	21165	PUSH1	5583	3	1
[758]	21167	SWAP1	5580	3	1
[759]	21168	DUP2	5577	3	1
[760]	21169	ADD	5574	3	1
[761]	21170	SWAP2	5571	3	1
[762]	21171	SWAP1	5568	3	1
[763]	21172	SWAP2	5565	3	1
[764]	21173	MSTORE	5562	6	1
[765]	21174	PUSH1	5556	3	1
[766]	21176	SWAP1	5553	3	1
[767]	21177	SWAP2	5550	3	1
[768]	21178	ADD	5547	3	1
[769]	21179	PUSH1	5544	3	1
[770]	21181	NOT	5541	3	1
[771]	21182	AND	5538	3	1
[772]	21183	SWAP1	5535	3	1
[773]	21184	SWAP2	5532	3	1
[774]	21185	ADD	5529	3	1
[775]	21186	ADD	5526	3	1
[776]	21187	SWAP1	5523	3	1
[777]	21188	JUMP	5520	8	1
[778]	21614	JUMPDEST	5512	1	1
[779]	21615	SWAP9	5511	3	1
[780]	21616	SWAP8	5508	3	1
[781]	21617	POP	5505	2	1
[782]	21618	POP	5503	2	1
[783]	21619	POP	5501	2	1
[784]	21620	POP	5499	2	1
[785]	21621	POP	5497	2	1
[786]	21622	POP	5495	2	1
[787]	21623	POP	5493	2	1
[788]	21624	POP	5491	2	1
[789]	21625	JUMP	5489	8	1
[790]	8336	JUMPDEST	5481	1	1
[791]	8337	PUSH1	5480	3	1
[792]	8339	MLOAD	5477	3	1
[793]	8340	DUP1	5474	3	1
[794]	8341	SWAP2	5471	3	1
[795]	8342	SUB	5468	3	1
[796]	8343	SWAP1	5465	3	1
[797]	8344	LOG2	5462	2917	1
[798]	8345	POP	2545	2	1
[799]	8346	SWAP6	2543	3	1
[800]	8347	SWAP5	2540	3	1
[801]	8348	POP	2537	2	1
[802]	8349	POP	2535	2	1
[803]	8350	POP	2533	2	1
[804]	8351	POP	2531	2	1
[805]	8352	POP	2529	2	1
[806]	8353	JUMP	2527	8	1
[807]	946	JUMPDEST	2519	1	1
[808]	947	PUSH1	2518	3	1
[809]	949	MLOAD	2515	3	1
[810]	950	SWAP1	2512	3	1
[811]	951	DUP2	2509	3	1
[812]	952	MSTORE	2506	3	1
[813]	953	PUSH1	2503	3	1
[814]	955	ADD	2500	3	1
[815]	956	JUMPDEST	2497	1	1
[816]	957	PUSH1	2496	3	1
[817]	959	MLOAD	2493	3	1
[818]	960	DUP1	2490	3	1
[819]	961	SWAP2	2487	3	1
[820]	962	SUB	2484	3	1
[821]	963	SWAP1	2481	3	1
[822]	964	RETURN	2478	0	1