Geth VM Trace Transaction

GETH Trace for Txn Hash 0x64eb95c90f46a111518d786b39bb9b88e2d510ef57a13466f0a6aaf6443cf367

Contract transaction successfully completed.

Raw traces

A total of 1,439 steps found. Showing the first 1,000 steps only

Step	PC	Operation	Gas	GasCost	Depth
[1]	0	PUSH1	14529	3	1
[2]	2	PUSH1	14526	3	1
[3]	4	MSTORE	14523	12	1
[4]	5	PUSH1	14511	3	1
[5]	7	CALLDATASIZE	14508	2	1
[6]	8	LT	14506	3	1
[7]	9	ISZERO	14503	3	1
[8]	10	PUSH2	14500	3	1
[9]	13	JUMPI	14497	10	1
[10]	27	JUMPDEST	14487	1	1
[11]	28	PUSH1	14486	3	1
[12]	30	DUP1	14483	3	1
[13]	31	CALLDATALOAD	14480	3	1
[14]	32	PUSH1	14477	3	1
[15]	34	SHR	14474	3	1
[16]	35	DUP1	14471	3	1
[17]	36	PUSH4	14468	3	1
[18]	41	EQ	14465	3	1
[19]	42	PUSH2	14462	3	1
[20]	45	JUMPI	14459	10	1
[21]	46	DUP1	14449	3	1
[22]	47	PUSH4	14446	3	1
[23]	52	EQ	14443	3	1
[24]	53	PUSH2	14440	3	1
[25]	56	JUMPI	14437	10	1
[26]	57	DUP1	14427	3	1
[27]	58	PUSH4	14424	3	1
[28]	63	EQ	14421	3	1
[29]	64	PUSH2	14418	3	1
[30]	67	JUMPI	14415	10	1
[31]	68	DUP1	14405	3	1
[32]	69	PUSH4	14402	3	1
[33]	74	EQ	14399	3	1
[34]	75	PUSH2	14396	3	1
[35]	78	JUMPI	14393	10	1
[36]	79	DUP1	14383	3	1
[37]	80	PUSH4	14380	3	1
[38]	85	EQ	14377	3	1
[39]	86	PUSH2	14374	3	1
[40]	89	JUMPI	14371	10	1
[41]	90	DUP1	14361	3	1
[42]	91	PUSH4	14358	3	1
[43]	96	EQ	14355	3	1
[44]	97	PUSH2	14352	3	1
[45]	100	JUMPI	14349	10	1
[46]	101	DUP1	14339	3	1
[47]	102	PUSH4	14336	3	1
[48]	107	EQ	14333	3	1
[49]	108	PUSH2	14330	3	1
[50]	111	JUMPI	14327	10	1
[51]	112	DUP1	14317	3	1
[52]	113	PUSH4	14314	3	1
[53]	118	EQ	14311	3	1
[54]	119	PUSH2	14308	3	1
[55]	122	JUMPI	14305	10	1
[56]	123	DUP1	14295	3	1
[57]	124	PUSH4	14292	3	1
[58]	129	EQ	14289	3	1
[59]	130	PUSH2	14286	3	1
[60]	133	JUMPI	14283	10	1
[61]	134	DUP1	14273	3	1
[62]	135	PUSH4	14270	3	1
[63]	140	EQ	14267	3	1
[64]	141	PUSH2	14264	3	1
[65]	144	JUMPI	14261	10	1
[66]	145	DUP1	14251	3	1
[67]	146	PUSH4	14248	3	1
[68]	151	EQ	14245	3	1
[69]	152	PUSH2	14242	3	1
[70]	155	JUMPI	14239	10	1
[71]	156	DUP1	14229	3	1
[72]	157	PUSH4	14226	3	1
[73]	162	EQ	14223	3	1
[74]	163	PUSH2	14220	3	1
[75]	166	JUMPI	14217	10	1
[76]	167	DUP1	14207	3	1
[77]	168	PUSH4	14204	3	1
[78]	173	EQ	14201	3	1
[79]	174	PUSH2	14198	3	1
[80]	177	JUMPI	14195	10	1
[81]	178	DUP1	14185	3	1
[82]	179	PUSH4	14182	3	1
[83]	184	EQ	14179	3	1
[84]	185	PUSH2	14176	3	1
[85]	188	JUMPI	14173	10	1
[86]	189	DUP1	14163	3	1
[87]	190	PUSH4	14160	3	1
[88]	195	EQ	14157	3	1
[89]	196	PUSH2	14154	3	1
[90]	199	JUMPI	14151	10	1
[91]	200	DUP1	14141	3	1
[92]	201	PUSH4	14138	3	1
[93]	206	EQ	14135	3	1
[94]	207	PUSH2	14132	3	1
[95]	210	JUMPI	14129	10	1
[96]	211	DUP1	14119	3	1
[97]	212	PUSH4	14116	3	1
[98]	217	EQ	14113	3	1
[99]	218	PUSH2	14110	3	1
[100]	221	JUMPI	14107	10	1
[101]	222	DUP1	14097	3	1
[102]	223	PUSH4	14094	3	1
[103]	228	EQ	14091	3	1
[104]	229	PUSH2	14088	3	1
[105]	232	JUMPI	14085	10	1
[106]	233	DUP1	14075	3	1
[107]	234	PUSH4	14072	3	1
[108]	239	EQ	14069	3	1
[109]	240	PUSH2	14066	3	1
[110]	243	JUMPI	14063	10	1
[111]	244	DUP1	14053	3	1
[112]	245	PUSH4	14050	3	1
[113]	250	EQ	14047	3	1
[114]	251	PUSH2	14044	3	1
[115]	254	JUMPI	14041	10	1
[116]	255	DUP1	14031	3	1
[117]	256	PUSH4	14028	3	1
[118]	261	EQ	14025	3	1
[119]	262	PUSH2	14022	3	1
[120]	265	JUMPI	14019	10	1
[121]	266	DUP1	14009	3	1
[122]	267	PUSH4	14006	3	1
[123]	272	EQ	14003	3	1
[124]	273	PUSH2	14000	3	1
[125]	276	JUMPI	13997	10	1
[126]	277	DUP1	13987	3	1
[127]	278	PUSH4	13984	3	1
[128]	283	EQ	13981	3	1
[129]	284	PUSH2	13978	3	1
[130]	287	JUMPI	13975	10	1
[131]	288	DUP1	13965	3	1
[132]	289	PUSH4	13962	3	1
[133]	294	EQ	13959	3	1
[134]	295	PUSH2	13956	3	1
[135]	298	JUMPI	13953	10	1
[136]	2852	JUMPDEST	13943	1	1
[137]	2853	POP	13942	2	1
[138]	2854	CALLVALUE	13940	2	1
[139]	2855	PUSH2	13938	3	1
[140]	2858	JUMPI	13935	10	1
[141]	2859	PUSH2	13925	3	1
[142]	2862	CALLDATASIZE	13922	2	1
[143]	2863	PUSH2	13920	3	1
[144]	2866	JUMP	13917	8	1
[145]	8127	JUMPDEST	13909	1	1
[146]	8128	SWAP1	13908	3	1
[147]	8129	PUSH1	13905	3	1
[148]	8131	PUSH1	13902	3	1
[149]	8133	NOT	13899	3	1
[150]	8134	DUP4	13896	3	1
[151]	8135	ADD	13893	3	1
[152]	8136	SLT	13890	3	1
[153]	8137	PUSH2	13887	3	1
[154]	8140	JUMPI	13884	10	1
[155]	8141	PUSH1	13874	3	1
[156]	8143	CALLDATALOAD	13871	3	1
[157]	8144	SWAP2	13868	3	1
[158]	8145	PUSH1	13865	3	1
[159]	8147	CALLDATALOAD	13862	3	1
[160]	8148	PUSH1	13859	3	1
[161]	8150	PUSH1	13856	3	1
[162]	8152	PUSH1	13853	3	1
[163]	8154	SHL	13850	3	1
[164]	8155	SUB	13847	3	1
[165]	8156	DUP2	13844	3	1
[166]	8157	GT	13841	3	1
[167]	8158	PUSH2	13838	3	1
[168]	8161	JUMPI	13835	10	1
[169]	8162	DUP2	13825	3	1
[170]	8163	PUSH2	13822	3	1
[171]	8166	SWAP2	13819	3	1
[172]	8167	PUSH1	13816	3	1
[173]	8169	ADD	13813	3	1
[174]	8170	PUSH2	13810	3	1
[175]	8173	JUMP	13807	8	1
[176]	8079	JUMPDEST	13799	1	1
[177]	8080	SWAP2	13798	3	1
[178]	8081	DUP2	13795	3	1
[179]	8082	PUSH1	13792	3	1
[180]	8084	DUP5	13789	3	1
[181]	8085	ADD	13786	3	1
[182]	8086	SLT	13783	3	1
[183]	8087	ISZERO	13780	3	1
[184]	8088	PUSH2	13777	3	1
[185]	8091	JUMPI	13774	10	1
[186]	8092	DUP3	13764	3	1
[187]	8093	CALLDATALOAD	13761	3	1
[188]	8094	SWAP2	13758	3	1
[189]	8095	PUSH1	13755	3	1
[190]	8097	PUSH1	13752	3	1
[191]	8099	PUSH1	13749	3	1
[192]	8101	SHL	13746	3	1
[193]	8102	SUB	13743	3	1
[194]	8103	DUP4	13740	3	1
[195]	8104	GT	13737	3	1
[196]	8105	PUSH2	13734	3	1
[197]	8108	JUMPI	13731	10	1
[198]	8109	PUSH1	13721	3	1
[199]	8111	DUP1	13718	3	1
[200]	8112	DUP6	13715	3	1
[201]	8113	ADD	13712	3	1
[202]	8114	SWAP5	13709	3	1
[203]	8115	DUP5	13706	3	1
[204]	8116	PUSH1	13703	3	1
[205]	8118	SHL	13700	3	1
[206]	8119	ADD	13697	3	1
[207]	8120	ADD	13694	3	1
[208]	8121	GT	13691	3	1
[209]	8122	PUSH2	13688	3	1
[210]	8125	JUMPI	13685	10	1
[211]	8126	JUMP	13675	8	1
[212]	8174	JUMPDEST	13667	1	1
[213]	8175	SWAP3	13666	3	1
[214]	8176	SWAP1	13663	3	1
[215]	8177	SWAP3	13660	3	1
[216]	8178	SWAP2	13657	3	1
[217]	8179	PUSH1	13654	3	1
[218]	8181	CALLDATALOAD	13651	3	1
[219]	8182	SWAP1	13648	3	1
[220]	8183	PUSH1	13645	3	1
[221]	8185	PUSH1	13642	3	1
[222]	8187	PUSH1	13639	3	1
[223]	8189	SHL	13636	3	1
[224]	8190	SUB	13633	3	1
[225]	8191	DUP3	13630	3	1
[226]	8192	GT	13627	3	1
[227]	8193	PUSH2	13624	3	1
[228]	8196	JUMPI	13621	10	1
[229]	8197	PUSH2	13611	3	1
[230]	8200	SWAP2	13608	3	1
[231]	8201	PUSH1	13605	3	1
[232]	8203	ADD	13602	3	1
[233]	8204	PUSH2	13599	3	1
[234]	8207	JUMP	13596	8	1
[235]	8079	JUMPDEST	13588	1	1
[236]	8080	SWAP2	13587	3	1
[237]	8081	DUP2	13584	3	1
[238]	8082	PUSH1	13581	3	1
[239]	8084	DUP5	13578	3	1
[240]	8085	ADD	13575	3	1
[241]	8086	SLT	13572	3	1
[242]	8087	ISZERO	13569	3	1
[243]	8088	PUSH2	13566	3	1
[244]	8091	JUMPI	13563	10	1
[245]	8092	DUP3	13553	3	1
[246]	8093	CALLDATALOAD	13550	3	1
[247]	8094	SWAP2	13547	3	1
[248]	8095	PUSH1	13544	3	1
[249]	8097	PUSH1	13541	3	1
[250]	8099	PUSH1	13538	3	1
[251]	8101	SHL	13535	3	1
[252]	8102	SUB	13532	3	1
[253]	8103	DUP4	13529	3	1
[254]	8104	GT	13526	3	1
[255]	8105	PUSH2	13523	3	1
[256]	8108	JUMPI	13520	10	1
[257]	8109	PUSH1	13510	3	1
[258]	8111	DUP1	13507	3	1
[259]	8112	DUP6	13504	3	1
[260]	8113	ADD	13501	3	1
[261]	8114	SWAP5	13498	3	1
[262]	8115	DUP5	13495	3	1
[263]	8116	PUSH1	13492	3	1
[264]	8118	SHL	13489	3	1
[265]	8119	ADD	13486	3	1
[266]	8120	ADD	13483	3	1
[267]	8121	GT	13480	3	1
[268]	8122	PUSH2	13477	3	1
[269]	8125	JUMPI	13474	10	1
[270]	8126	JUMP	13464	8	1
[271]	8208	JUMPDEST	13456	1	1
[272]	8209	SWAP1	13455	3	1
[273]	8210	SWAP2	13452	3	1
[274]	8211	JUMP	13449	8	1
[275]	2867	JUMPDEST	13441	1	1
[276]	2868	SWAP3	13440	3	1
[277]	2869	SWAP1	13437	3	1
[278]	2870	SWAP4	13434	3	1
[279]	2871	PUSH2	13431	3	1
[280]	2874	PUSH2	13428	3	1
[281]	2877	JUMP	13425	8	1
[282]	12374	JUMPDEST	13417	1	1
[283]	12375	PUSH4	13416	3	1
[284]	12380	PUSH1	13413	3	1
[285]	12382	MSTORE	13410	3	1
[286]	12383	CALLER	13407	2	1
[287]	12384	PUSH1	13405	3	1
[288]	12386	MSTORE	13402	3	1
[289]	12387	PUSH9	13399	3	1
[290]	12397	PUSH1	13396	3	1
[291]	12399	PUSH1	13393	3	1
[292]	12401	KECCAK256	13390	36	1
[293]	12402	SLOAD	13354	2100	1
[294]	12403	AND	11254	3	1
[295]	12404	ISZERO	11251	3	1
[296]	12405	PUSH2	11248	3	1
[297]	12408	JUMPI	11245	10	1
[298]	12409	JUMP	11235	8	1
[299]	2878	JUMPDEST	11227	1	1
[300]	2879	DUP6	11226	3	1
[301]	2880	MSTORE	11223	3	1
[302]	2881	PUSH1	11220	3	1
[303]	2883	PUSH1	11217	3	1
[304]	2885	MSTORE	11214	3	1
[305]	2886	PUSH1	11211	3	1
[306]	2888	DUP6	11208	3	1
[307]	2889	KECCAK256	11205	42	1
[308]	2890	SWAP4	11163	3	1
[309]	2891	PUSH5	11160	3	1
[310]	2897	DUP6	11157	3	1
[311]	2898	SLOAD	11154	2100	1
[312]	2899	PUSH1	9054	3	1
[313]	2901	SHR	9051	3	1
[314]	2902	AND	9048	3	1
[315]	2903	SWAP3	9045	3	1
[316]	2904	TIMESTAMP	9042	2	1
[317]	2905	DUP5	9040	3	1
[318]	2906	GT	9037	3	1
[319]	2907	PUSH2	9034	3	1
[320]	2910	JUMPI	9031	10	1
[321]	2911	PUSH1	9021	3	1
[322]	2913	MLOAD	9018	3	1
[323]	2914	PUSH4	9015	3	1
[324]	2919	PUSH1	9012	3	1
[325]	2921	SHL	9009	3	1
[326]	2922	DUP2	9006	3	1
[327]	2923	MSTORE	9003	9	1
[328]	2924	PUSH1	8994	3	1
[329]	2926	PUSH1	8991	3	1
[330]	2928	DUP3	8988	3	1
[331]	2929	ADD	8985	3	1
[332]	2930	DUP2	8982	3	1
[333]	2931	SWAP1	8979	3	1
[334]	2932	MSTORE	8976	6	1
[335]	2933	PUSH32	8970	3	1
[336]	2966	PUSH1	8967	3	1
[337]	2968	PUSH1	8964	3	1
[338]	2970	PUSH1	8961	3	1
[339]	2972	SHL	8958	3	1
[340]	2973	SUB	8955	3	1
[341]	2974	AND	8952	3	1
[342]	2975	SWAP6	8949	3	1
[343]	2976	SWAP2	8946	3	1
[344]	2977	SWAP4	8943	3	1
[345]	2978	SWAP1	8940	3	1
[346]	2979	DUP5	8937	3	1
[347]	2980	DUP1	8934	3	1
[348]	2981	PUSH2	8931	3	1
[349]	2984	PUSH1	8928	3	1
[350]	2986	DUP3	8925	3	1
[351]	2987	ADD	8922	3	1
[352]	2988	DUP8	8919	3	1
[353]	2989	DUP11	8916	3	1
[354]	2990	PUSH2	8913	3	1
[355]	2993	JUMP	8910	8	1
[356]	11835	JUMPDEST	8902	1	1
[357]	11836	SWAP1	8901	3	1
[358]	11837	PUSH1	8898	3	1
[359]	11839	DUP4	8895	3	1
[360]	11840	DUP3	8892	3	1
[361]	11841	DUP2	8889	3	1
[362]	11842	MSTORE	8886	6	1
[363]	11843	ADD	8880	3	1
[364]	11844	SWAP1	8877	3	1
[365]	11845	PUSH1	8874	3	1
[366]	11847	DUP2	8871	3	1
[367]	11848	PUSH1	8868	3	1
[368]	11850	SHL	8865	3	1
[369]	11851	DUP6	8862	3	1
[370]	11852	ADD	8859	3	1
[371]	11853	ADD	8856	3	1
[372]	11854	SWAP4	8853	3	1
[373]	11855	DUP4	8850	3	1
[374]	11856	PUSH1	8847	3	1
[375]	11858	SWAP2	8844	3	1
[376]	11859	JUMPDEST	8841	1	1
[377]	11860	DUP4	8840	3	1
[378]	11861	DUP4	8837	3	1
[379]	11862	LT	8834	3	1
[380]	11863	PUSH2	8831	3	1
[381]	11866	JUMPI	8828	10	1
[382]	11867	POP	8818	2	1
[383]	11868	POP	8816	2	1
[384]	11869	POP	8814	2	1
[385]	11870	POP	8812	2	1
[386]	11871	POP	8810	2	1
[387]	11872	POP	8808	2	1
[388]	11873	SWAP1	8806	3	1
[389]	11874	JUMP	8803	8	1
[390]	2994	JUMPDEST	8795	1	1
[391]	2995	SUB	8794	3	1
[392]	2996	DUP2	8791	3	1
[393]	2997	DUP10	8788	3	1
[394]	2998	GAS	8785	2	1
[395]	2999	STATICCALL	8783	8687	1
[396]	0	PUSH1	6087	3	2
[397]	2	PUSH1	6084	3	2
[398]	4	MSTORE	6081	12	2
[399]	5	PUSH1	6069	3	2
[400]	7	CALLDATASIZE	6066	2	2
[401]	8	LT	6064	3	2
[402]	9	PUSH2	6061	3	2
[403]	12	JUMPI	6058	10	2
[404]	13	PUSH1	6048	3	2
[405]	15	CALLDATALOAD	6045	3	2
[406]	16	PUSH1	6042	3	2
[407]	18	SHR	6039	3	2
[408]	19	DUP1	6036	3	2
[409]	20	PUSH4	6033	3	2
[410]	25	GT	6030	3	2
[411]	26	PUSH2	6027	3	2
[412]	29	JUMPI	6024	10	2
[413]	30	DUP1	6014	3	2
[414]	31	PUSH4	6011	3	2
[415]	36	GT	6008	3	2
[416]	37	PUSH2	6005	3	2
[417]	40	JUMPI	6002	10	2
[418]	41	DUP1	5992	3	2
[419]	42	PUSH4	5989	3	2
[420]	47	EQ	5986	3	2
[421]	48	PUSH2	5983	3	2
[422]	51	JUMPI	5980	10	2
[423]	52	DUP1	5970	3	2
[424]	53	PUSH4	5967	3	2
[425]	58	EQ	5964	3	2
[426]	59	PUSH2	5961	3	2
[427]	62	JUMPI	5958	10	2
[428]	646	JUMPDEST	5948	1	2
[429]	647	CALLVALUE	5947	2	2
[430]	648	DUP1	5945	3	2
[431]	649	ISZERO	5942	3	2
[432]	650	PUSH2	5939	3	2
[433]	653	JUMPI	5936	10	2
[434]	658	JUMPDEST	5926	1	2
[435]	659	POP	5925	2	2
[436]	660	PUSH2	5923	3	2
[437]	663	PUSH2	5920	3	2
[438]	666	CALLDATASIZE	5917	2	2
[439]	667	PUSH1	5915	3	2
[440]	669	PUSH2	5912	3	2
[441]	672	JUMP	5909	8	2
[442]	3912	JUMPDEST	5901	1	2
[443]	3913	PUSH1	5900	3	2
[444]	3915	DUP1	5897	3	2
[445]	3916	PUSH1	5894	3	2
[446]	3918	DUP4	5891	3	2
[447]	3919	DUP6	5888	3	2
[448]	3920	SUB	5885	3	2
[449]	3921	SLT	5882	3	2
[450]	3922	ISZERO	5879	3	2
[451]	3923	PUSH2	5876	3	2
[452]	3926	JUMPI	5873	10	2
[453]	3931	JUMPDEST	5863	1	2
[454]	3932	DUP3	5862	3	2
[455]	3933	CALLDATALOAD	5859	3	2
[456]	3934	PUSH1	5856	3	2
[457]	3936	PUSH1	5853	3	2
[458]	3938	PUSH1	5850	3	2
[459]	3940	SHL	5847	3	2
[460]	3941	SUB	5844	3	2
[461]	3942	DUP2	5841	3	2
[462]	3943	GT	5838	3	2
[463]	3944	ISZERO	5835	3	2
[464]	3945	PUSH2	5832	3	2
[465]	3948	JUMPI	5829	10	2
[466]	3953	JUMPDEST	5819	1	2
[467]	3954	PUSH2	5818	3	2
[468]	3957	DUP6	5815	3	2
[469]	3958	DUP3	5812	3	2
[470]	3959	DUP7	5809	3	2
[471]	3960	ADD	5806	3	2
[472]	3961	PUSH2	5803	3	2
[473]	3964	JUMP	5800	8	2
[474]	3084	JUMPDEST	5792	1	2
[475]	3085	PUSH1	5791	3	2
[476]	3087	DUP1	5788	3	2
[477]	3088	DUP4	5785	3	2
[478]	3089	PUSH1	5782	3	2
[479]	3091	DUP5	5779	3	2
[480]	3092	ADD	5776	3	2
[481]	3093	SLT	5773	3	2
[482]	3094	PUSH2	5770	3	2
[483]	3097	JUMPI	5767	10	2
[484]	3102	JUMPDEST	5757	1	2
[485]	3103	POP	5756	2	2
[486]	3104	DUP2	5754	3	2
[487]	3105	CALLDATALOAD	5751	3	2
[488]	3106	PUSH1	5748	3	2
[489]	3108	PUSH1	5745	3	2
[490]	3110	PUSH1	5742	3	2
[491]	3112	SHL	5739	3	2
[492]	3113	SUB	5736	3	2
[493]	3114	DUP2	5733	3	2
[494]	3115	GT	5730	3	2
[495]	3116	ISZERO	5727	3	2
[496]	3117	PUSH2	5724	3	2
[497]	3120	JUMPI	5721	10	2
[498]	3125	JUMPDEST	5711	1	2
[499]	3126	PUSH1	5710	3	2
[500]	3128	DUP4	5707	3	2
[501]	3129	ADD	5704	3	2
[502]	3130	SWAP2	5701	3	2
[503]	3131	POP	5698	2	2
[504]	3132	DUP4	5696	3	2
[505]	3133	PUSH1	5693	3	2
[506]	3135	DUP3	5690	3	2
[507]	3136	PUSH1	5687	3	2
[508]	3138	SHL	5684	3	2
[509]	3139	DUP6	5681	3	2
[510]	3140	ADD	5678	3	2
[511]	3141	ADD	5675	3	2
[512]	3142	GT	5672	3	2
[513]	3143	ISZERO	5669	3	2
[514]	3144	PUSH2	5666	3	2
[515]	3147	JUMPI	5663	10	2
[516]	3152	JUMPDEST	5653	1	2
[517]	3153	SWAP3	5652	3	2
[518]	3154	POP	5649	2	2
[519]	3155	SWAP3	5647	3	2
[520]	3156	SWAP1	5644	3	2
[521]	3157	POP	5641	2	2
[522]	3158	JUMP	5639	8	2
[523]	3965	JUMPDEST	5631	1	2
[524]	3966	SWAP1	5630	3	2
[525]	3967	SWAP7	5627	3	2
[526]	3968	SWAP1	5624	3	2
[527]	3969	SWAP6	5621	3	2
[528]	3970	POP	5618	2	2
[529]	3971	SWAP4	5616	3	2
[530]	3972	POP	5613	2	2
[531]	3973	POP	5611	2	2
[532]	3974	POP	5609	2	2
[533]	3975	POP	5607	2	2
[534]	3976	JUMP	5605	8	2
[535]	673	JUMPDEST	5597	1	2
[536]	674	PUSH2	5596	3	2
[537]	677	JUMP	5593	8	2
[538]	2080	JUMPDEST	5585	1	2
[539]	2081	PUSH1	5584	3	2
[540]	2083	SLOAD	5581	2100	2
[541]	2084	PUSH1	3481	3	2
[542]	2086	SWAP1	3478	3	2
[543]	2087	PUSH2	3475	3	2
[544]	2090	SWAP1	3472	3	2
[545]	2091	DUP4	3469	3	2
[546]	2092	SWAP1	3466	3	2
[547]	2093	PUSH2	3463	3	2
[548]	2096	JUMP	3460	8	2
[549]	4398	JUMPDEST	3452	1	2
[550]	4399	DUP1	3451	3	2
[551]	4400	DUP3	3448	3	2
[552]	4401	MUL	3445	5	2
[553]	4402	DUP2	3440	3	2
[554]	4403	ISZERO	3437	3	2
[555]	4404	DUP3	3434	3	2
[556]	4405	DUP3	3431	3	2
[557]	4406	DIV	3428	5	2
[558]	4407	DUP5	3423	3	2
[559]	4408	EQ	3420	3	2
[560]	4409	OR	3417	3	2
[561]	4410	PUSH2	3414	3	2
[562]	4413	JUMPI	3411	10	2
[563]	753	JUMPDEST	3401	1	2
[564]	754	SWAP3	3400	3	2
[565]	755	SWAP2	3397	3	2
[566]	756	POP	3394	2	2
[567]	757	POP	3392	2	2
[568]	758	JUMP	3390	8	2
[569]	2097	JUMPDEST	3382	1	2
[570]	2098	SWAP4	3381	3	2
[571]	2099	SWAP3	3378	3	2
[572]	2100	POP	3375	2	2
[573]	2101	POP	3373	2	2
[574]	2102	POP	3371	2	2
[575]	2103	JUMP	3369	8	2
[576]	678	JUMPDEST	3361	1	2
[577]	679	PUSH1	3360	3	2
[578]	681	MLOAD	3357	3	2
[579]	682	SWAP1	3354	3	2
[580]	683	DUP2	3351	3	2
[581]	684	MSTORE	3348	9	2
[582]	685	PUSH1	3339	3	2
[583]	687	ADD	3336	3	2
[584]	688	PUSH2	3333	3	2
[585]	691	JUMP	3330	8	2
[586]	271	JUMPDEST	3322	1	2
[587]	272	PUSH1	3321	3	2
[588]	274	MLOAD	3318	3	2
[589]	275	DUP1	3315	3	2
[590]	276	SWAP2	3312	3	2
[591]	277	SUB	3309	3	2
[592]	278	SWAP1	3306	3	2
[593]	279	RETURN	3303	0	2
[594]	3000	SWAP4	3399	3	1
[595]	3001	DUP5	3396	3	1
[596]	3002	ISZERO	3393	3	1
[597]	3003	PUSH2	3390	3	1
[598]	3006	JUMPI	3387	10	1
[599]	3007	DUP10	3377	3	1
[600]	3008	SWAP5	3374	3	1
[601]	3009	PUSH2	3371	3	1
[602]	3012	JUMPI	3368	10	1
[603]	3623	JUMPDEST	3358	1	1
[604]	3624	SWAP1	3357	3	1
[605]	3625	SWAP4	3354	3	1
[606]	3626	POP	3351	2	1
[607]	3627	PUSH1	3349	3	1
[608]	3629	DUP2	3346	3	1
[609]	3630	RETURNDATASIZE	3343	2	1
[610]	3631	PUSH1	3341	3	1
[611]	3633	GT	3338	3	1
[612]	3634	PUSH2	3335	3	1
[613]	3637	JUMPI	3332	10	1
[614]	3638	JUMPDEST	3322	1	1
[615]	3639	DUP2	3321	3	1
[616]	3640	PUSH2	3318	3	1
[617]	3643	PUSH1	3315	3	1
[618]	3645	SWAP4	3312	3	1
[619]	3646	DUP4	3309	3	1
[620]	3647	PUSH2	3306	3	1
[621]	3650	JUMP	3303	8	1
[622]	8316	JUMPDEST	3295	1	1
[623]	8317	SWAP1	3294	3	1
[624]	8318	PUSH1	3291	3	1
[625]	8320	DUP1	3288	3	1
[626]	8321	NOT	3285	3	1
[627]	8322	SWAP2	3282	3	1
[628]	8323	ADD	3279	3	1
[629]	8324	AND	3276	3	1
[630]	8325	DUP2	3273	3	1
[631]	8326	ADD	3270	3	1
[632]	8327	SWAP1	3267	3	1
[633]	8328	DUP2	3264	3	1
[634]	8329	LT	3261	3	1
[635]	8330	PUSH1	3258	3	1
[636]	8332	PUSH1	3255	3	1
[637]	8334	PUSH1	3252	3	1
[638]	8336	SHL	3249	3	1
[639]	8337	SUB	3246	3	1
[640]	8338	DUP3	3243	3	1
[641]	8339	GT	3240	3	1
[642]	8340	OR	3237	3	1
[643]	8341	PUSH2	3234	3	1
[644]	8344	JUMPI	3231	10	1
[645]	8345	PUSH1	3221	3	1
[646]	8347	MSTORE	3218	3	1
[647]	8348	JUMP	3215	8	1
[648]	3651	JUMPDEST	3207	1	1
[649]	3652	DUP2	3206	3	1
[650]	3653	ADD	3203	3	1
[651]	3654	SUB	3200	3	1
[652]	3655	SLT	3197	3	1
[653]	3656	PUSH2	3194	3	1
[654]	3659	JUMPI	3191	10	1
[655]	3660	MLOAD	3181	3	1
[656]	3661	SWAP3	3178	3	1
[657]	3662	CODESIZE	3175	2	1
[658]	3663	PUSH2	3173	3	1
[659]	3666	JUMP	3170	8	1
[660]	3013	JUMPDEST	3162	1	1
[661]	3014	POP	3161	2	1
[662]	3015	PUSH1	3159	3	1
[663]	3017	DUP3	3156	3	1
[664]	3018	ADD	3153	3	1
[665]	3019	SWAP1	3150	3	1
[666]	3020	PUSH5	3147	3	1
[667]	3026	DUP3	3144	3	1
[668]	3027	GT	3141	3	1
[669]	3028	PUSH2	3138	3	1
[670]	3031	JUMPI	3135	10	1
[671]	3032	SWAP2	3125	3	1
[672]	3033	PUSH5	3122	3	1
[673]	3039	PUSH2	3119	3	1
[674]	3042	SWAP7	3116	3	1
[675]	3043	SWAP5	3113	3	1
[676]	3044	SWAP3	3110	3	1
[677]	3045	PUSH2	3107	3	1
[678]	3048	DUP13	3104	3	1
[679]	3049	SWAP10	3101	3	1
[680]	3050	SWAP8	3098	3	1
[681]	3051	SWAP6	3095	3	1
[682]	3052	PUSH1	3092	3	1
[683]	3054	MLOAD	3089	3	1
[684]	3055	SWAP12	3086	3	1
[685]	3056	DUP13	3083	3	1
[686]	3057	SWAP11	3080	3	1
[687]	3058	DUP12	3077	3	1
[688]	3059	SWAP10	3074	3	1
[689]	3060	DUP11	3071	3	1
[690]	3061	SWAP9	3068	3	1
[691]	3062	PUSH4	3065	3	1
[692]	3067	PUSH1	3062	3	1
[693]	3069	SHL	3059	3	1
[694]	3070	DUP11	3056	3	1
[695]	3071	MSTORE	3053	3	1
[696]	3072	PUSH1	3050	3	1
[697]	3074	PUSH1	3047	3	1
[698]	3076	DUP12	3044	3	1
[699]	3077	ADD	3041	3	1
[700]	3078	MSTORE	3038	3	1
[701]	3079	PUSH1	3035	3	1
[702]	3081	DUP11	3032	3	1
[703]	3082	ADD	3029	3	1
[704]	3083	SWAP2	3026	3	1
[705]	3084	PUSH2	3023	3	1
[706]	3087	JUMP	3020	8	1
[707]	11835	JUMPDEST	3012	1	1
[708]	11836	SWAP1	3011	3	1
[709]	11837	PUSH1	3008	3	1
[710]	11839	DUP4	3005	3	1
[711]	11840	DUP3	3002	3	1
[712]	11841	DUP2	2999	3	1
[713]	11842	MSTORE	2996	15	1
[714]	11843	ADD	2981	3	1
[715]	11844	SWAP1	2978	3	1
[716]	11845	PUSH1	2975	3	1
[717]	11847	DUP2	2972	3	1
[718]	11848	PUSH1	2969	3	1
[719]	11850	SHL	2966	3	1
[720]	11851	DUP6	2963	3	1
[721]	11852	ADD	2960	3	1
[722]	11853	ADD	2957	3	1
[723]	11854	SWAP4	2954	3	1
[724]	11855	DUP4	2951	3	1
[725]	11856	PUSH1	2948	3	1
[726]	11858	SWAP2	2945	3	1
[727]	11859	JUMPDEST	2942	1	1
[728]	11860	DUP4	2941	3	1
[729]	11861	DUP4	2938	3	1
[730]	11862	LT	2935	3	1
[731]	11863	PUSH2	2932	3	1
[732]	11866	JUMPI	2929	10	1
[733]	11867	POP	2919	2	1
[734]	11868	POP	2917	2	1
[735]	11869	POP	2915	2	1
[736]	11870	POP	2913	2	1
[737]	11871	POP	2911	2	1
[738]	11872	POP	2909	2	1
[739]	11873	SWAP1	2907	3	1
[740]	11874	JUMP	2904	8	1
[741]	3088	JUMPDEST	2896	1	1
[742]	3089	DUP8	2895	3	1
[743]	3090	DUP2	2892	3	1
[744]	3091	SUB	2889	3	1
[745]	3092	PUSH1	2886	3	1
[746]	3094	NOT	2883	3	1
[747]	3095	ADD	2880	3	1
[748]	3096	PUSH1	2877	3	1
[749]	3098	DUP10	2874	3	1
[750]	3099	ADD	2871	3	1
[751]	3100	MSTORE	2868	3	1
[752]	3101	SWAP2	2865	3	1
[753]	3102	PUSH2	2862	3	1
[754]	3105	JUMP	2859	8	1
[755]	8961	JUMPDEST	2851	1	1
[756]	8962	DUP2	2850	3	1
[757]	8963	DUP4	2847	3	1
[758]	8964	MSTORE	2844	6	1
[759]	8965	SWAP1	2838	3	1
[760]	8966	SWAP2	2835	3	1
[761]	8967	PUSH1	2832	3	1
[762]	8969	PUSH1	2829	3	1
[763]	8971	PUSH1	2826	3	1
[764]	8973	SHL	2823	3	1
[765]	8974	SUB	2820	3	1
[766]	8975	DUP4	2817	3	1
[767]	8976	GT	2814	3	1
[768]	8977	PUSH2	2811	3	1
[769]	8980	JUMPI	2808	10	1
[770]	8981	PUSH1	2798	3	1
[771]	8983	SWAP3	2795	3	1
[772]	8984	PUSH1	2792	3	1
[773]	8986	SHL	2789	3	1
[774]	8987	DUP1	2786	3	1
[775]	8988	SWAP3	2783	3	1
[776]	8989	DUP5	2780	3	1
[777]	8990	DUP4	2777	3	1
[778]	8991	ADD	2774	3	1
[779]	8992	CALLDATACOPY	2771	3	1
[780]	8993	ADD	2768	3	1
[781]	8994	ADD	2765	3	1
[782]	8995	SWAP1	2762	3	1
[783]	8996	JUMP	2759	8	1
[784]	3106	JUMPDEST	2751	1	1
[785]	3107	SWAP3	2750	3	1
[786]	3108	PUSH1	2747	3	1
[787]	3110	DUP6	2744	3	1
[788]	3111	ADD	2741	3	1
[789]	3112	MSTORE	2738	3	1
[790]	3113	AND	2735	3	1
[791]	3114	PUSH1	2732	3	1
[792]	3116	DUP4	2729	3	1
[793]	3117	ADD	2726	3	1
[794]	3118	MSTORE	2723	3	1
[795]	3119	SUB	2720	3	1
[796]	3120	SWAP3	2717	3	1
[797]	3121	GAS	2714	2	1
[798]	3122	CALL	2712	2672	1
[799]	0	PUSH1	2572	3	2
[800]	2	PUSH1	2569	3	2
[801]	4	MSTORE	2566	12	2
[802]	5	PUSH1	2554	3	2
[803]	7	CALLDATASIZE	2551	2	2
[804]	8	LT	2549	3	2
[805]	9	PUSH2	2546	3	2
[806]	12	JUMPI	2543	10	2
[807]	13	PUSH1	2533	3	2
[808]	15	CALLDATALOAD	2530	3	2
[809]	16	PUSH1	2527	3	2
[810]	18	SHR	2524	3	2
[811]	19	DUP1	2521	3	2
[812]	20	PUSH4	2518	3	2
[813]	25	GT	2515	3	2
[814]	26	PUSH2	2512	3	2
[815]	29	JUMPI	2509	10	2
[816]	127	JUMPDEST	2499	1	2
[817]	128	DUP1	2498	3	2
[818]	129	PUSH4	2495	3	2
[819]	134	GT	2492	3	2
[820]	135	PUSH2	2489	3	2
[821]	138	JUMPI	2486	10	2
[822]	187	JUMPDEST	2476	1	2
[823]	188	DUP1	2475	3	2
[824]	189	PUSH4	2472	3	2
[825]	194	EQ	2469	3	2
[826]	195	PUSH2	2466	3	2
[827]	198	JUMPI	2463	10	2
[828]	199	DUP1	2453	3	2
[829]	200	PUSH4	2450	3	2
[830]	205	EQ	2447	3	2
[831]	206	PUSH2	2444	3	2
[832]	209	JUMPI	2441	10	2
[833]	280	JUMPDEST	2431	1	2
[834]	281	PUSH2	2430	3	2
[835]	284	PUSH2	2427	3	2
[836]	287	CALLDATASIZE	2424	2	2
[837]	288	PUSH1	2422	3	2
[838]	290	PUSH2	2419	3	2
[839]	293	JUMP	2416	8	2
[840]	3187	JUMPDEST	2408	1	2
[841]	3188	PUSH1	2407	3	2
[842]	3190	DUP1	2404	3	2
[843]	3191	PUSH1	2401	3	2
[844]	3193	DUP1	2398	3	2
[845]	3194	PUSH1	2395	3	2
[846]	3196	DUP1	2392	3	2
[847]	3197	PUSH1	2389	3	2
[848]	3199	DUP8	2386	3	2
[849]	3200	DUP10	2383	3	2
[850]	3201	SUB	2380	3	2
[851]	3202	SLT	2377	3	2
[852]	3203	ISZERO	2374	3	2
[853]	3204	PUSH2	2371	3	2
[854]	3207	JUMPI	2368	10	2
[855]	3212	JUMPDEST	2358	1	2
[856]	3213	DUP7	2357	3	2
[857]	3214	CALLDATALOAD	2354	3	2
[858]	3215	PUSH1	2351	3	2
[859]	3217	PUSH1	2348	3	2
[860]	3219	PUSH1	2345	3	2
[861]	3221	SHL	2342	3	2
[862]	3222	SUB	2339	3	2
[863]	3223	DUP2	2336	3	2
[864]	3224	GT	2333	3	2
[865]	3225	ISZERO	2330	3	2
[866]	3226	PUSH2	2327	3	2
[867]	3229	JUMPI	2324	10	2
[868]	3234	JUMPDEST	2314	1	2
[869]	3235	PUSH2	2313	3	2
[870]	3238	DUP10	2310	3	2
[871]	3239	DUP3	2307	3	2
[872]	3240	DUP11	2304	3	2
[873]	3241	ADD	2301	3	2
[874]	3242	PUSH2	2298	3	2
[875]	3245	JUMP	2295	8	2
[876]	3084	JUMPDEST	2287	1	2
[877]	3085	PUSH1	2286	3	2
[878]	3087	DUP1	2283	3	2
[879]	3088	DUP4	2280	3	2
[880]	3089	PUSH1	2277	3	2
[881]	3091	DUP5	2274	3	2
[882]	3092	ADD	2271	3	2
[883]	3093	SLT	2268	3	2
[884]	3094	PUSH2	2265	3	2
[885]	3097	JUMPI	2262	10	2
[886]	3102	JUMPDEST	2252	1	2
[887]	3103	POP	2251	2	2
[888]	3104	DUP2	2249	3	2
[889]	3105	CALLDATALOAD	2246	3	2
[890]	3106	PUSH1	2243	3	2
[891]	3108	PUSH1	2240	3	2
[892]	3110	PUSH1	2237	3	2
[893]	3112	SHL	2234	3	2
[894]	3113	SUB	2231	3	2
[895]	3114	DUP2	2228	3	2
[896]	3115	GT	2225	3	2
[897]	3116	ISZERO	2222	3	2
[898]	3117	PUSH2	2219	3	2
[899]	3120	JUMPI	2216	10	2
[900]	3125	JUMPDEST	2206	1	2
[901]	3126	PUSH1	2205	3	2
[902]	3128	DUP4	2202	3	2
[903]	3129	ADD	2199	3	2
[904]	3130	SWAP2	2196	3	2
[905]	3131	POP	2193	2	2
[906]	3132	DUP4	2191	3	2
[907]	3133	PUSH1	2188	3	2
[908]	3135	DUP3	2185	3	2
[909]	3136	PUSH1	2182	3	2
[910]	3138	SHL	2179	3	2
[911]	3139	DUP6	2176	3	2
[912]	3140	ADD	2173	3	2
[913]	3141	ADD	2170	3	2
[914]	3142	GT	2167	3	2
[915]	3143	ISZERO	2164	3	2
[916]	3144	PUSH2	2161	3	2
[917]	3147	JUMPI	2158	10	2
[918]	3152	JUMPDEST	2148	1	2
[919]	3153	SWAP3	2147	3	2
[920]	3154	POP	2144	2	2
[921]	3155	SWAP3	2142	3	2
[922]	3156	SWAP1	2139	3	2
[923]	3157	POP	2136	2	2
[924]	3158	JUMP	2134	8	2
[925]	3246	JUMPDEST	2126	1	2
[926]	3247	SWAP1	2125	3	2
[927]	3248	SWAP8	2122	3	2
[928]	3249	POP	2119	2	2
[929]	3250	SWAP6	2117	3	2
[930]	3251	POP	2114	2	2
[931]	3252	POP	2112	2	2
[932]	3253	PUSH1	2110	3	2
[933]	3255	DUP8	2107	3	2
[934]	3256	ADD	2104	3	2
[935]	3257	CALLDATALOAD	2101	3	2
[936]	3258	PUSH1	2098	3	2
[937]	3260	PUSH1	2095	3	2
[938]	3262	PUSH1	2092	3	2
[939]	3264	SHL	2089	3	2
[940]	3265	SUB	2086	3	2
[941]	3266	DUP2	2083	3	2
[942]	3267	GT	2080	3	2
[943]	3268	ISZERO	2077	3	2
[944]	3269	PUSH2	2074	3	2
[945]	3272	JUMPI	2071	10	2
[946]	3277	JUMPDEST	2061	1	2
[947]	3278	PUSH2	2060	3	2
[948]	3281	DUP10	2057	3	2
[949]	3282	DUP3	2054	3	2
[950]	3283	DUP11	2051	3	2
[951]	3284	ADD	2048	3	2
[952]	3285	PUSH2	2045	3	2
[953]	3288	JUMP	2042	8	2
[954]	3084	JUMPDEST	2034	1	2
[955]	3085	PUSH1	2033	3	2
[956]	3087	DUP1	2030	3	2
[957]	3088	DUP4	2027	3	2
[958]	3089	PUSH1	2024	3	2
[959]	3091	DUP5	2021	3	2
[960]	3092	ADD	2018	3	2
[961]	3093	SLT	2015	3	2
[962]	3094	PUSH2	2012	3	2
[963]	3097	JUMPI	2009	10	2
[964]	3102	JUMPDEST	1999	1	2
[965]	3103	POP	1998	2	2
[966]	3104	DUP2	1996	3	2
[967]	3105	CALLDATALOAD	1993	3	2
[968]	3106	PUSH1	1990	3	2
[969]	3108	PUSH1	1987	3	2
[970]	3110	PUSH1	1984	3	2
[971]	3112	SHL	1981	3	2
[972]	3113	SUB	1978	3	2
[973]	3114	DUP2	1975	3	2
[974]	3115	GT	1972	3	2
[975]	3116	ISZERO	1969	3	2
[976]	3117	PUSH2	1966	3	2
[977]	3120	JUMPI	1963	10	2
[978]	3125	JUMPDEST	1953	1	2
[979]	3126	PUSH1	1952	3	2
[980]	3128	DUP4	1949	3	2
[981]	3129	ADD	1946	3	2
[982]	3130	SWAP2	1943	3	2
[983]	3131	POP	1940	2	2
[984]	3132	DUP4	1938	3	2
[985]	3133	PUSH1	1935	3	2
[986]	3135	DUP3	1932	3	2
[987]	3136	PUSH1	1929	3	2
[988]	3138	SHL	1926	3	2
[989]	3139	DUP6	1923	3	2
[990]	3140	ADD	1920	3	2
[991]	3141	ADD	1917	3	2
[992]	3142	GT	1914	3	2
[993]	3143	ISZERO	1911	3	2
[994]	3144	PUSH2	1908	3	2
[995]	3147	JUMPI	1905	10	2
[996]	3152	JUMPDEST	1895	1	2
[997]	3153	SWAP3	1894	3	2
[998]	3154	POP	1891	2	2
[999]	3155	SWAP3	1889	3	2
[1000]	3156	SWAP1	1886	3	2