Geth VM Trace Transaction

GETH Trace for Txn Hash 0xf200c28f62d27f235a93d7f948f73c724efb222f474d5b9cbe25560a7fe2e885

Contract transaction successfully completed.

Raw traces

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

Step	PC	Operation	Gas	GasCost	Depth
[1]	0	PUSH1	12441982	3	1
[2]	2	PUSH1	12441979	3	1
[3]	4	MSTORE	12441976	12	1
[4]	5	PUSH1	12441964	3	1
[5]	7	CALLDATASIZE	12441961	2	1
[6]	8	LT	12441959	3	1
[7]	9	ISZERO	12441956	3	1
[8]	10	PUSH2	12441953	3	1
[9]	13	JUMPI	12441950	10	1
[10]	27	JUMPDEST	12441940	1	1
[11]	28	PUSH1	12441939	3	1
[12]	30	CALLDATALOAD	12441936	3	1
[13]	31	PUSH1	12441933	3	1
[14]	33	SHR	12441930	3	1
[15]	34	DUP1	12441927	3	1
[16]	35	PUSH4	12441924	3	1
[17]	40	EQ	12441921	3	1
[18]	41	PUSH2	12441918	3	1
[19]	44	JUMPI	12441915	10	1
[20]	45	DUP1	12441905	3	1
[21]	46	PUSH4	12441902	3	1
[22]	51	EQ	12441899	3	1
[23]	52	PUSH2	12441896	3	1
[24]	55	JUMPI	12441893	10	1
[25]	56	DUP1	12441883	3	1
[26]	57	PUSH4	12441880	3	1
[27]	62	EQ	12441877	3	1
[28]	63	PUSH2	12441874	3	1
[29]	66	JUMPI	12441871	10	1
[30]	67	DUP1	12441861	3	1
[31]	68	PUSH4	12441858	3	1
[32]	73	EQ	12441855	3	1
[33]	74	PUSH2	12441852	3	1
[34]	77	JUMPI	12441849	10	1
[35]	78	DUP1	12441839	3	1
[36]	79	PUSH4	12441836	3	1
[37]	84	EQ	12441833	3	1
[38]	85	PUSH2	12441830	3	1
[39]	88	JUMPI	12441827	10	1
[40]	89	DUP1	12441817	3	1
[41]	90	PUSH4	12441814	3	1
[42]	95	EQ	12441811	3	1
[43]	96	PUSH2	12441808	3	1
[44]	99	JUMPI	12441805	10	1
[45]	100	DUP1	12441795	3	1
[46]	101	PUSH4	12441792	3	1
[47]	106	EQ	12441789	3	1
[48]	107	PUSH2	12441786	3	1
[49]	110	JUMPI	12441783	10	1
[50]	111	DUP1	12441773	3	1
[51]	112	PUSH4	12441770	3	1
[52]	117	EQ	12441767	3	1
[53]	118	PUSH2	12441764	3	1
[54]	121	JUMPI	12441761	10	1
[55]	122	DUP1	12441751	3	1
[56]	123	PUSH4	12441748	3	1
[57]	128	EQ	12441745	3	1
[58]	129	PUSH2	12441742	3	1
[59]	132	JUMPI	12441739	10	1
[60]	133	DUP1	12441729	3	1
[61]	134	PUSH4	12441726	3	1
[62]	139	EQ	12441723	3	1
[63]	140	PUSH2	12441720	3	1
[64]	143	JUMPI	12441717	10	1
[65]	144	DUP1	12441707	3	1
[66]	145	PUSH4	12441704	3	1
[67]	150	EQ	12441701	3	1
[68]	151	PUSH2	12441698	3	1
[69]	154	JUMPI	12441695	10	1
[70]	155	DUP1	12441685	3	1
[71]	156	PUSH4	12441682	3	1
[72]	161	EQ	12441679	3	1
[73]	162	PUSH2	12441676	3	1
[74]	165	JUMPI	12441673	10	1
[75]	166	DUP1	12441663	3	1
[76]	167	PUSH4	12441660	3	1
[77]	172	EQ	12441657	3	1
[78]	173	PUSH2	12441654	3	1
[79]	176	JUMPI	12441651	10	1
[80]	177	DUP1	12441641	3	1
[81]	178	PUSH4	12441638	3	1
[82]	183	EQ	12441635	3	1
[83]	184	PUSH2	12441632	3	1
[84]	187	JUMPI	12441629	10	1
[85]	188	DUP1	12441619	3	1
[86]	189	PUSH4	12441616	3	1
[87]	194	EQ	12441613	3	1
[88]	195	PUSH2	12441610	3	1
[89]	198	JUMPI	12441607	10	1
[90]	199	DUP1	12441597	3	1
[91]	200	PUSH4	12441594	3	1
[92]	205	EQ	12441591	3	1
[93]	206	PUSH2	12441588	3	1
[94]	209	JUMPI	12441585	10	1
[95]	210	DUP1	12441575	3	1
[96]	211	PUSH4	12441572	3	1
[97]	216	EQ	12441569	3	1
[98]	217	PUSH2	12441566	3	1
[99]	220	JUMPI	12441563	10	1
[100]	221	DUP1	12441553	3	1
[101]	222	PUSH4	12441550	3	1
[102]	227	EQ	12441547	3	1
[103]	228	PUSH2	12441544	3	1
[104]	231	JUMPI	12441541	10	1
[105]	232	DUP1	12441531	3	1
[106]	233	PUSH4	12441528	3	1
[107]	238	EQ	12441525	3	1
[108]	239	PUSH2	12441522	3	1
[109]	242	JUMPI	12441519	10	1
[110]	243	DUP1	12441509	3	1
[111]	244	PUSH4	12441506	3	1
[112]	249	EQ	12441503	3	1
[113]	250	PUSH2	12441500	3	1
[114]	253	JUMPI	12441497	10	1
[115]	254	DUP1	12441487	3	1
[116]	255	PUSH4	12441484	3	1
[117]	260	EQ	12441481	3	1
[118]	261	PUSH2	12441478	3	1
[119]	264	JUMPI	12441475	10	1
[120]	265	DUP1	12441465	3	1
[121]	266	PUSH4	12441462	3	1
[122]	271	EQ	12441459	3	1
[123]	272	PUSH2	12441456	3	1
[124]	275	JUMPI	12441453	10	1
[125]	276	DUP1	12441443	3	1
[126]	277	PUSH4	12441440	3	1
[127]	282	EQ	12441437	3	1
[128]	283	PUSH2	12441434	3	1
[129]	286	JUMPI	12441431	10	1
[130]	287	DUP1	12441421	3	1
[131]	288	PUSH4	12441418	3	1
[132]	293	EQ	12441415	3	1
[133]	294	PUSH2	12441412	3	1
[134]	297	JUMPI	12441409	10	1
[135]	298	DUP1	12441399	3	1
[136]	299	PUSH4	12441396	3	1
[137]	304	EQ	12441393	3	1
[138]	305	PUSH2	12441390	3	1
[139]	308	JUMPI	12441387	10	1
[140]	309	DUP1	12441377	3	1
[141]	310	PUSH4	12441374	3	1
[142]	315	EQ	12441371	3	1
[143]	316	PUSH2	12441368	3	1
[144]	319	JUMPI	12441365	10	1
[145]	320	DUP1	12441355	3	1
[146]	321	PUSH4	12441352	3	1
[147]	326	EQ	12441349	3	1
[148]	327	PUSH2	12441346	3	1
[149]	330	JUMPI	12441343	10	1
[150]	331	DUP1	12441333	3	1
[151]	332	PUSH4	12441330	3	1
[152]	337	EQ	12441327	3	1
[153]	338	PUSH2	12441324	3	1
[154]	341	JUMPI	12441321	10	1
[155]	342	DUP1	12441311	3	1
[156]	343	PUSH4	12441308	3	1
[157]	348	EQ	12441305	3	1
[158]	349	PUSH2	12441302	3	1
[159]	352	JUMPI	12441299	10	1
[160]	353	DUP1	12441289	3	1
[161]	354	PUSH4	12441286	3	1
[162]	359	EQ	12441283	3	1
[163]	360	PUSH2	12441280	3	1
[164]	363	JUMPI	12441277	10	1
[165]	364	DUP1	12441267	3	1
[166]	365	PUSH4	12441264	3	1
[167]	370	EQ	12441261	3	1
[168]	371	PUSH2	12441258	3	1
[169]	374	JUMPI	12441255	10	1
[170]	375	DUP1	12441245	3	1
[171]	376	PUSH4	12441242	3	1
[172]	381	EQ	12441239	3	1
[173]	382	PUSH2	12441236	3	1
[174]	385	JUMPI	12441233	10	1
[175]	386	DUP1	12441223	3	1
[176]	387	PUSH4	12441220	3	1
[177]	392	EQ	12441217	3	1
[178]	393	PUSH2	12441214	3	1
[179]	396	JUMPI	12441211	10	1
[180]	397	DUP1	12441201	3	1
[181]	398	PUSH4	12441198	3	1
[182]	403	EQ	12441195	3	1
[183]	404	PUSH2	12441192	3	1
[184]	407	JUMPI	12441189	10	1
[185]	408	DUP1	12441179	3	1
[186]	409	PUSH4	12441176	3	1
[187]	414	EQ	12441173	3	1
[188]	415	PUSH2	12441170	3	1
[189]	418	JUMPI	12441167	10	1
[190]	419	DUP1	12441157	3	1
[191]	420	PUSH4	12441154	3	1
[192]	425	EQ	12441151	3	1
[193]	426	PUSH2	12441148	3	1
[194]	429	JUMPI	12441145	10	1
[195]	430	DUP1	12441135	3	1
[196]	431	PUSH4	12441132	3	1
[197]	436	EQ	12441129	3	1
[198]	437	PUSH2	12441126	3	1
[199]	440	JUMPI	12441123	10	1
[200]	441	DUP1	12441113	3	1
[201]	442	PUSH4	12441110	3	1
[202]	447	EQ	12441107	3	1
[203]	448	PUSH2	12441104	3	1
[204]	451	JUMPI	12441101	10	1
[205]	452	DUP1	12441091	3	1
[206]	453	PUSH4	12441088	3	1
[207]	458	EQ	12441085	3	1
[208]	459	PUSH2	12441082	3	1
[209]	462	JUMPI	12441079	10	1
[210]	463	DUP1	12441069	3	1
[211]	464	PUSH4	12441066	3	1
[212]	469	EQ	12441063	3	1
[213]	470	PUSH2	12441060	3	1
[214]	473	JUMPI	12441057	10	1
[215]	474	DUP1	12441047	3	1
[216]	475	PUSH4	12441044	3	1
[217]	480	EQ	12441041	3	1
[218]	481	PUSH2	12441038	3	1
[219]	484	JUMPI	12441035	10	1
[220]	485	DUP1	12441025	3	1
[221]	486	PUSH4	12441022	3	1
[222]	491	EQ	12441019	3	1
[223]	492	PUSH2	12441016	3	1
[224]	495	JUMPI	12441013	10	1
[225]	496	DUP1	12441003	3	1
[226]	497	PUSH4	12441000	3	1
[227]	502	EQ	12440997	3	1
[228]	503	PUSH2	12440994	3	1
[229]	506	JUMPI	12440991	10	1
[230]	507	DUP1	12440981	3	1
[231]	508	PUSH4	12440978	3	1
[232]	513	EQ	12440975	3	1
[233]	514	PUSH2	12440972	3	1
[234]	517	JUMPI	12440969	10	1
[235]	518	DUP1	12440959	3	1
[236]	519	PUSH4	12440956	3	1
[237]	524	EQ	12440953	3	1
[238]	525	PUSH2	12440950	3	1
[239]	528	JUMPI	12440947	10	1
[240]	529	DUP1	12440937	3	1
[241]	530	PUSH4	12440934	3	1
[242]	535	EQ	12440931	3	1
[243]	536	PUSH2	12440928	3	1
[244]	539	JUMPI	12440925	10	1
[245]	540	DUP1	12440915	3	1
[246]	541	PUSH4	12440912	3	1
[247]	546	EQ	12440909	3	1
[248]	547	PUSH2	12440906	3	1
[249]	550	JUMPI	12440903	10	1
[250]	551	DUP1	12440893	3	1
[251]	552	PUSH4	12440890	3	1
[252]	557	EQ	12440887	3	1
[253]	558	PUSH2	12440884	3	1
[254]	561	JUMPI	12440881	10	1
[255]	562	DUP1	12440871	3	1
[256]	563	PUSH4	12440868	3	1
[257]	568	EQ	12440865	3	1
[258]	569	PUSH2	12440862	3	1
[259]	572	JUMPI	12440859	10	1
[260]	573	DUP1	12440849	3	1
[261]	574	PUSH4	12440846	3	1
[262]	579	EQ	12440843	3	1
[263]	580	PUSH2	12440840	3	1
[264]	583	JUMPI	12440837	10	1
[265]	584	DUP1	12440827	3	1
[266]	585	PUSH4	12440824	3	1
[267]	590	EQ	12440821	3	1
[268]	591	PUSH2	12440818	3	1
[269]	594	JUMPI	12440815	10	1
[270]	595	DUP1	12440805	3	1
[271]	596	PUSH4	12440802	3	1
[272]	601	EQ	12440799	3	1
[273]	602	PUSH2	12440796	3	1
[274]	605	JUMPI	12440793	10	1
[275]	606	DUP1	12440783	3	1
[276]	607	PUSH4	12440780	3	1
[277]	612	EQ	12440777	3	1
[278]	613	PUSH2	12440774	3	1
[279]	616	JUMPI	12440771	10	1
[280]	617	DUP1	12440761	3	1
[281]	618	PUSH4	12440758	3	1
[282]	623	EQ	12440755	3	1
[283]	624	PUSH2	12440752	3	1
[284]	627	JUMPI	12440749	10	1
[285]	628	DUP1	12440739	3	1
[286]	629	PUSH4	12440736	3	1
[287]	634	EQ	12440733	3	1
[288]	635	PUSH2	12440730	3	1
[289]	638	JUMPI	12440727	10	1
[290]	639	DUP1	12440717	3	1
[291]	640	PUSH4	12440714	3	1
[292]	645	EQ	12440711	3	1
[293]	646	PUSH2	12440708	3	1
[294]	649	JUMPI	12440705	10	1
[295]	650	DUP1	12440695	3	1
[296]	651	PUSH4	12440692	3	1
[297]	656	EQ	12440689	3	1
[298]	657	PUSH2	12440686	3	1
[299]	660	JUMPI	12440683	10	1
[300]	661	DUP1	12440673	3	1
[301]	662	PUSH4	12440670	3	1
[302]	667	EQ	12440667	3	1
[303]	668	PUSH2	12440664	3	1
[304]	671	JUMPI	12440661	10	1
[305]	672	DUP1	12440651	3	1
[306]	673	PUSH4	12440648	3	1
[307]	678	EQ	12440645	3	1
[308]	679	PUSH2	12440642	3	1
[309]	682	JUMPI	12440639	10	1
[310]	683	DUP1	12440629	3	1
[311]	684	PUSH4	12440626	3	1
[312]	689	EQ	12440623	3	1
[313]	690	PUSH2	12440620	3	1
[314]	693	JUMPI	12440617	10	1
[315]	694	DUP1	12440607	3	1
[316]	695	PUSH4	12440604	3	1
[317]	700	EQ	12440601	3	1
[318]	701	PUSH2	12440598	3	1
[319]	704	JUMPI	12440595	10	1
[320]	705	DUP1	12440585	3	1
[321]	706	PUSH4	12440582	3	1
[322]	711	EQ	12440579	3	1
[323]	712	PUSH2	12440576	3	1
[324]	715	JUMPI	12440573	10	1
[325]	778	JUMPDEST	12440563	1	1
[326]	779	PUSH2	12440562	3	1
[327]	782	JUMP	12440559	8	1
[328]	9071	JUMPDEST	12440551	1	1
[329]	9072	CALLVALUE	12440550	2	1
[330]	9073	PUSH2	12440548	3	1
[331]	9076	JUMPI	12440545	10	1
[332]	9077	PUSH1	12440535	3	1
[333]	9079	CALLDATASIZE	12440532	2	1
[334]	9080	PUSH1	12440530	3	1
[335]	9082	NOT	12440527	3	1
[336]	9083	ADD	12440524	3	1
[337]	9084	SLT	12440521	3	1
[338]	9085	PUSH2	12440518	3	1
[339]	9088	JUMPI	12440515	10	1
[340]	9089	PUSH1	12440505	3	1
[341]	9091	CALLDATALOAD	12440502	3	1
[342]	9092	PUSH1	12440499	3	1
[343]	9094	CALLDATALOAD	12440496	3	1
[344]	9095	PUSH8	12440493	3	1
[345]	9104	DUP3	12440490	3	1
[346]	9105	GT	12440487	3	1
[347]	9106	PUSH2	12440484	3	1
[348]	9109	JUMPI	12440481	10	1
[349]	9110	CALLDATASIZE	12440471	2	1
[350]	9111	PUSH1	12440469	3	1
[351]	9113	DUP4	12440466	3	1
[352]	9114	ADD	12440463	3	1
[353]	9115	SLT	12440460	3	1
[354]	9116	ISZERO	12440457	3	1
[355]	9117	PUSH2	12440454	3	1
[356]	9120	JUMPI	12440451	10	1
[357]	9121	DUP2	12440441	3	1
[358]	9122	PUSH1	12440438	3	1
[359]	9124	ADD	12440435	3	1
[360]	9125	CALLDATALOAD	12440432	3	1
[361]	9126	SWAP1	12440429	3	1
[362]	9127	PUSH8	12440426	3	1
[363]	9136	DUP3	12440423	3	1
[364]	9137	GT	12440420	3	1
[365]	9138	PUSH2	12440417	3	1
[366]	9141	JUMPI	12440414	10	1
[367]	9142	CALLDATASIZE	12440404	2	1
[368]	9143	PUSH1	12440402	3	1
[369]	9145	DUP4	12440399	3	1
[370]	9146	DUP6	12440396	3	1
[371]	9147	ADD	12440393	3	1
[372]	9148	ADD	12440390	3	1
[373]	9149	GT	12440387	3	1
[374]	9150	PUSH2	12440384	3	1
[375]	9153	JUMPI	12440381	10	1
[376]	9154	PUSH1	12440371	3	1
[377]	9156	PUSH2	12440368	3	1
[378]	9159	SWAP4	12440365	3	1
[379]	9160	ADD	12440362	3	1
[380]	9161	SWAP1	12440359	3	1
[381]	9162	PUSH2	12440356	3	1
[382]	9165	JUMP	12440353	8	1
[383]	13258	JUMPDEST	12440345	1	1
[384]	13259	SWAP2	12440344	3	1
[385]	13260	SWAP1	12440341	3	1
[386]	13261	SWAP2	12440338	3	1
[387]	13262	PUSH2	12440335	3	1
[388]	13265	PUSH2	12440332	3	1
[389]	13268	JUMP	12440329	8	1
[390]	14431	JUMPDEST	12440321	1	1
[391]	14432	PUSH1	12440320	3	1
[392]	14434	SLOAD	12440317	2100	1
[393]	14435	PUSH1	12438217	3	1
[394]	14437	PUSH1	12438214	3	1
[395]	14439	PUSH1	12438211	3	1
[396]	14441	SHL	12438208	3	1
[397]	14442	SUB	12438205	3	1
[398]	14443	AND	12438202	3	1
[399]	14444	CALLER	12438199	2	1
[400]	14445	SUB	12438197	3	1
[401]	14446	PUSH2	12438194	3	1
[402]	14449	JUMPI	12438191	10	1
[403]	14450	JUMP	12438181	8	1
[404]	13269	JUMPDEST	12438173	1	1
[405]	13270	DUP1	12438172	3	1
[406]	13271	PUSH1	12438169	3	1
[407]	13273	MSTORE	12438166	3	1
[408]	13274	PUSH1	12438163	3	1
[409]	13276	PUSH1	12438160	3	1
[410]	13278	MSTORE	12438157	3	1
[411]	13279	PUSH1	12438154	3	1
[412]	13281	PUSH1	12438151	3	1
[413]	13283	PUSH1	12438148	3	1
[414]	13285	PUSH1	12438145	3	1
[415]	13287	KECCAK256	12438142	42	1
[416]	13288	ADD	12438100	3	1
[417]	13289	SLOAD	12438097	2100	1
[418]	13290	PUSH1	12435997	3	1
[419]	13292	SHR	12435994	3	1
[420]	13293	AND	12435991	3	1
[421]	13294	ISZERO	12435988	3	1
[422]	13295	PUSH2	12435985	3	1
[423]	13298	JUMPI	12435982	10	1
[424]	13299	PUSH2	12435972	3	1
[425]	13302	PUSH2	12435969	3	1
[426]	13305	SWAP3	12435966	3	1
[427]	13306	PUSH2	12435963	3	1
[428]	13309	SWAP5	12435960	3	1
[429]	13310	PUSH2	12435957	3	1
[430]	13313	PUSH2	12435954	3	1
[431]	13316	PUSH1	12435951	3	1
[432]	13318	PUSH2	12435948	3	1
[433]	13321	DUP8	12435945	3	1
[434]	13322	PUSH1	12435942	3	1
[435]	13324	MSTORE	12435939	3	1
[436]	13325	PUSH1	12435936	3	1
[437]	13327	PUSH1	12435933	3	1
[438]	13329	MSTORE	12435930	3	1
[439]	13330	PUSH1	12435927	3	1
[440]	13332	PUSH1	12435924	3	1
[441]	13334	KECCAK256	12435921	42	1
[442]	13335	SWAP1	12435879	3	1
[443]	13336	JUMP	12435876	8	1
[444]	13337	JUMPDEST	12435868	1	1
[445]	13338	SLOAD	12435867	2100	1
[446]	13339	AND	12433767	3	1
[447]	13340	ISZERO	12433764	3	1
[448]	13341	SWAP1	12433761	3	1
[449]	13342	JUMP	12433758	8	1
[450]	13343	JUMPDEST	12433750	1	1
[451]	13344	PUSH2	12433749	3	1
[452]	13347	JUMP	12433746	8	1
[453]	13447	JUMPDEST	12433738	1	1
[454]	13448	ISZERO	12433737	3	1
[455]	13449	PUSH2	12433734	3	1
[456]	13452	JUMPI	12433731	10	1
[457]	13453	JUMP	12433721	8	1
[458]	13348	JUMPDEST	12433713	1	1
[459]	13349	PUSH2	12433712	3	1
[460]	13352	DUP5	12433709	3	1
[461]	13353	PUSH1	12433706	3	1
[462]	13355	MSTORE	12433703	3	1
[463]	13356	PUSH1	12433700	3	1
[464]	13358	PUSH1	12433697	3	1
[465]	13360	MSTORE	12433694	3	1
[466]	13361	PUSH1	12433691	3	1
[467]	13363	PUSH1	12433688	3	1
[468]	13365	KECCAK256	12433685	42	1
[469]	13366	SWAP1	12433643	3	1
[470]	13367	JUMP	12433640	8	1
[471]	13368	JUMPDEST	12433632	1	1
[472]	13369	PUSH2	12433631	3	1
[473]	13372	JUMP	12433628	8	1
[474]	13601	JUMPDEST	12433620	1	1
[475]	13602	SWAP1	12433619	3	1
[476]	13603	SWAP3	12433616	3	1
[477]	13604	SWAP2	12433613	3	1
[478]	13605	PUSH8	12433610	3	1
[479]	13614	DUP2	12433607	3	1
[480]	13615	GT	12433604	3	1
[481]	13616	PUSH2	12433601	3	1
[482]	13619	JUMPI	12433598	10	1
[483]	13620	PUSH2	12433588	3	1
[484]	13623	DUP2	12433585	3	1
[485]	13624	PUSH2	12433582	3	1
[486]	13627	DUP5	12433579	3	1
[487]	13628	SLOAD	12433576	2100	1
[488]	13629	PUSH2	12431476	3	1
[489]	13632	JUMP	12431473	8	1
[490]	2989	JUMPDEST	12431465	1	1
[491]	2990	SWAP1	12431464	3	1
[492]	2991	PUSH1	12431461	3	1
[493]	2993	DUP3	12431458	3	1
[494]	2994	DUP2	12431455	3	1
[495]	2995	SHR	12431452	3	1
[496]	2996	SWAP3	12431449	3	1
[497]	2997	AND	12431446	3	1
[498]	2998	DUP1	12431443	3	1
[499]	2999	ISZERO	12431440	3	1
[500]	3000	PUSH2	12431437	3	1
[501]	3003	JUMPI	12431434	10	1
[502]	3037	JUMPDEST	12431424	1	1
[503]	3038	SWAP2	12431423	3	1
[504]	3039	PUSH1	12431420	3	1
[505]	3041	AND	12431417	3	1
[506]	3042	SWAP2	12431414	3	1
[507]	3043	PUSH2	12431411	3	1
[508]	3046	JUMP	12431408	8	1
[509]	3004	JUMPDEST	12431400	1	1
[510]	3005	PUSH1	12431399	3	1
[511]	3007	DUP4	12431396	3	1
[512]	3008	LT	12431393	3	1
[513]	3009	EQ	12431390	3	1
[514]	3010	PUSH2	12431387	3	1
[515]	3013	JUMPI	12431384	10	1
[516]	3014	JUMP	12431374	8	1
[517]	13633	JUMPDEST	12431366	1	1
[518]	13634	DUP5	12431365	3	1
[519]	13635	PUSH2	12431362	3	1
[520]	13638	JUMP	12431359	8	1
[521]	13532	JUMPDEST	12431351	1	1
[522]	13533	SWAP2	12431350	3	1
[523]	13534	SWAP1	12431347	3	1
[524]	13535	PUSH1	12431344	3	1
[525]	13537	DUP2	12431341	3	1
[526]	13538	GT	12431338	3	1
[527]	13539	PUSH2	12431335	3	1
[528]	13542	JUMPI	12431332	10	1
[529]	13543	POP	12431322	2	1
[530]	13544	POP	12431320	2	1
[531]	13545	POP	12431318	2	1
[532]	13546	JUMP	12431316	8	1
[533]	13639	JUMPDEST	12431308	1	1
[534]	13640	PUSH1	12431307	3	1
[535]	13642	PUSH1	12431304	3	1
[536]	13644	DUP3	12431301	3	1
[537]	13645	GT	12431298	3	1
[538]	13646	PUSH1	12431295	3	1
[539]	13648	EQ	12431292	3	1
[540]	13649	PUSH2	12431289	3	1
[541]	13652	JUMPI	12431286	10	1
[542]	13700	JUMPDEST	12431276	1	1
[543]	13701	PUSH1	12431275	3	1
[544]	13703	NOT	12431272	3	1
[545]	13704	DUP3	12431269	3	1
[546]	13705	AND	12431266	3	1
[547]	13706	SWAP5	12431263	3	1
[548]	13707	PUSH2	12431260	3	1
[549]	13710	DUP5	12431257	3	1
[550]	13711	PUSH1	12431254	3	1
[551]	13713	MSTORE	12431251	3	1
[552]	13714	PUSH1	12431248	3	1
[553]	13716	PUSH1	12431245	3	1
[554]	13718	KECCAK256	12431242	36	1
[555]	13719	SWAP1	12431206	3	1
[556]	13720	JUMP	12431203	8	1
[557]	13721	JUMPDEST	12431195	1	1
[558]	13722	SWAP2	12431194	3	1
[559]	13723	DUP1	12431191	3	1
[560]	13724	JUMPDEST	12431188	1	1
[561]	13725	DUP8	12431187	3	1
[562]	13726	DUP2	12431184	3	1
[563]	13727	LT	12431181	3	1
[564]	13728	PUSH2	12431178	3	1
[565]	13731	JUMPI	12431175	10	1
[566]	13780	JUMPDEST	12431165	1	1
[567]	13781	SWAP1	12431164	3	1
[568]	13782	SWAP3	12431161	3	1
[569]	13783	PUSH1	12431158	3	1
[570]	13785	PUSH1	12431155	3	1
[571]	13787	DUP2	12431152	3	1
[572]	13788	SWAP3	12431149	3	1
[573]	13789	DUP7	12431146	3	1
[574]	13790	DUP7	12431143	3	1
[575]	13791	ADD	12431140	3	1
[576]	13792	CALLDATALOAD	12431137	3	1
[577]	13793	DUP2	12431134	3	1
[578]	13794	SSTORE	12431131	22100	1
[579]	13795	ADD	12409031	3	1
[580]	13796	SWAP5	12409028	3	1
[581]	13797	ADD	12409025	3	1
[582]	13798	SWAP2	12409022	3	1
[583]	13799	ADD	12409019	3	1
[584]	13800	PUSH2	12409016	3	1
[585]	13803	JUMP	12409013	8	1
[586]	13724	JUMPDEST	12409005	1	1
[587]	13725	DUP8	12409004	3	1
[588]	13726	DUP2	12409001	3	1
[589]	13727	LT	12408998	3	1
[590]	13728	PUSH2	12408995	3	1
[591]	13731	JUMPI	12408992	10	1
[592]	13780	JUMPDEST	12408982	1	1
[593]	13781	SWAP1	12408981	3	1
[594]	13782	SWAP3	12408978	3	1
[595]	13783	PUSH1	12408975	3	1
[596]	13785	PUSH1	12408972	3	1
[597]	13787	DUP2	12408969	3	1
[598]	13788	SWAP3	12408966	3	1
[599]	13789	DUP7	12408963	3	1
[600]	13790	DUP7	12408960	3	1
[601]	13791	ADD	12408957	3	1
[602]	13792	CALLDATALOAD	12408954	3	1
[603]	13793	DUP2	12408951	3	1
[604]	13794	SSTORE	12408948	22100	1
[605]	13795	ADD	12386848	3	1
[606]	13796	SWAP5	12386845	3	1
[607]	13797	ADD	12386842	3	1
[608]	13798	SWAP2	12386839	3	1
[609]	13799	ADD	12386836	3	1
[610]	13800	PUSH2	12386833	3	1
[611]	13803	JUMP	12386830	8	1
[612]	13724	JUMPDEST	12386822	1	1
[613]	13725	DUP8	12386821	3	1
[614]	13726	DUP2	12386818	3	1
[615]	13727	LT	12386815	3	1
[616]	13728	PUSH2	12386812	3	1
[617]	13731	JUMPI	12386809	10	1
[618]	13780	JUMPDEST	12386799	1	1
[619]	13781	SWAP1	12386798	3	1
[620]	13782	SWAP3	12386795	3	1
[621]	13783	PUSH1	12386792	3	1
[622]	13785	PUSH1	12386789	3	1
[623]	13787	DUP2	12386786	3	1
[624]	13788	SWAP3	12386783	3	1
[625]	13789	DUP7	12386780	3	1
[626]	13790	DUP7	12386777	3	1
[627]	13791	ADD	12386774	3	1
[628]	13792	CALLDATALOAD	12386771	3	1
[629]	13793	DUP2	12386768	3	1
[630]	13794	SSTORE	12386765	22100	1
[631]	13795	ADD	12364665	3	1
[632]	13796	SWAP5	12364662	3	1
[633]	13797	ADD	12364659	3	1
[634]	13798	SWAP2	12364656	3	1
[635]	13799	ADD	12364653	3	1
[636]	13800	PUSH2	12364650	3	1
[637]	13803	JUMP	12364647	8	1
[638]	13724	JUMPDEST	12364639	1	1
[639]	13725	DUP8	12364638	3	1
[640]	13726	DUP2	12364635	3	1
[641]	13727	LT	12364632	3	1
[642]	13728	PUSH2	12364629	3	1
[643]	13731	JUMPI	12364626	10	1
[644]	13780	JUMPDEST	12364616	1	1
[645]	13781	SWAP1	12364615	3	1
[646]	13782	SWAP3	12364612	3	1
[647]	13783	PUSH1	12364609	3	1
[648]	13785	PUSH1	12364606	3	1
[649]	13787	DUP2	12364603	3	1
[650]	13788	SWAP3	12364600	3	1
[651]	13789	DUP7	12364597	3	1
[652]	13790	DUP7	12364594	3	1
[653]	13791	ADD	12364591	3	1
[654]	13792	CALLDATALOAD	12364588	3	1
[655]	13793	DUP2	12364585	3	1
[656]	13794	SSTORE	12364582	22100	1
[657]	13795	ADD	12342482	3	1
[658]	13796	SWAP5	12342479	3	1
[659]	13797	ADD	12342476	3	1
[660]	13798	SWAP2	12342473	3	1
[661]	13799	ADD	12342470	3	1
[662]	13800	PUSH2	12342467	3	1
[663]	13803	JUMP	12342464	8	1
[664]	13724	JUMPDEST	12342456	1	1
[665]	13725	DUP8	12342455	3	1
[666]	13726	DUP2	12342452	3	1
[667]	13727	LT	12342449	3	1
[668]	13728	PUSH2	12342446	3	1
[669]	13731	JUMPI	12342443	10	1
[670]	13780	JUMPDEST	12342433	1	1
[671]	13781	SWAP1	12342432	3	1
[672]	13782	SWAP3	12342429	3	1
[673]	13783	PUSH1	12342426	3	1
[674]	13785	PUSH1	12342423	3	1
[675]	13787	DUP2	12342420	3	1
[676]	13788	SWAP3	12342417	3	1
[677]	13789	DUP7	12342414	3	1
[678]	13790	DUP7	12342411	3	1
[679]	13791	ADD	12342408	3	1
[680]	13792	CALLDATALOAD	12342405	3	1
[681]	13793	DUP2	12342402	3	1
[682]	13794	SSTORE	12342399	22100	1
[683]	13795	ADD	12320299	3	1
[684]	13796	SWAP5	12320296	3	1
[685]	13797	ADD	12320293	3	1
[686]	13798	SWAP2	12320290	3	1
[687]	13799	ADD	12320287	3	1
[688]	13800	PUSH2	12320284	3	1
[689]	13803	JUMP	12320281	8	1
[690]	13724	JUMPDEST	12320273	1	1
[691]	13725	DUP8	12320272	3	1
[692]	13726	DUP2	12320269	3	1
[693]	13727	LT	12320266	3	1
[694]	13728	PUSH2	12320263	3	1
[695]	13731	JUMPI	12320260	10	1
[696]	13780	JUMPDEST	12320250	1	1
[697]	13781	SWAP1	12320249	3	1
[698]	13782	SWAP3	12320246	3	1
[699]	13783	PUSH1	12320243	3	1
[700]	13785	PUSH1	12320240	3	1
[701]	13787	DUP2	12320237	3	1
[702]	13788	SWAP3	12320234	3	1
[703]	13789	DUP7	12320231	3	1
[704]	13790	DUP7	12320228	3	1
[705]	13791	ADD	12320225	3	1
[706]	13792	CALLDATALOAD	12320222	3	1
[707]	13793	DUP2	12320219	3	1
[708]	13794	SSTORE	12320216	22100	1
[709]	13795	ADD	12298116	3	1
[710]	13796	SWAP5	12298113	3	1
[711]	13797	ADD	12298110	3	1
[712]	13798	SWAP2	12298107	3	1
[713]	13799	ADD	12298104	3	1
[714]	13800	PUSH2	12298101	3	1
[715]	13803	JUMP	12298098	8	1
[716]	13724	JUMPDEST	12298090	1	1
[717]	13725	DUP8	12298089	3	1
[718]	13726	DUP2	12298086	3	1
[719]	13727	LT	12298083	3	1
[720]	13728	PUSH2	12298080	3	1
[721]	13731	JUMPI	12298077	10	1
[722]	13780	JUMPDEST	12298067	1	1
[723]	13781	SWAP1	12298066	3	1
[724]	13782	SWAP3	12298063	3	1
[725]	13783	PUSH1	12298060	3	1
[726]	13785	PUSH1	12298057	3	1
[727]	13787	DUP2	12298054	3	1
[728]	13788	SWAP3	12298051	3	1
[729]	13789	DUP7	12298048	3	1
[730]	13790	DUP7	12298045	3	1
[731]	13791	ADD	12298042	3	1
[732]	13792	CALLDATALOAD	12298039	3	1
[733]	13793	DUP2	12298036	3	1
[734]	13794	SSTORE	12298033	22100	1
[735]	13795	ADD	12275933	3	1
[736]	13796	SWAP5	12275930	3	1
[737]	13797	ADD	12275927	3	1
[738]	13798	SWAP2	12275924	3	1
[739]	13799	ADD	12275921	3	1
[740]	13800	PUSH2	12275918	3	1
[741]	13803	JUMP	12275915	8	1
[742]	13724	JUMPDEST	12275907	1	1
[743]	13725	DUP8	12275906	3	1
[744]	13726	DUP2	12275903	3	1
[745]	13727	LT	12275900	3	1
[746]	13728	PUSH2	12275897	3	1
[747]	13731	JUMPI	12275894	10	1
[748]	13780	JUMPDEST	12275884	1	1
[749]	13781	SWAP1	12275883	3	1
[750]	13782	SWAP3	12275880	3	1
[751]	13783	PUSH1	12275877	3	1
[752]	13785	PUSH1	12275874	3	1
[753]	13787	DUP2	12275871	3	1
[754]	13788	SWAP3	12275868	3	1
[755]	13789	DUP7	12275865	3	1
[756]	13790	DUP7	12275862	3	1
[757]	13791	ADD	12275859	3	1
[758]	13792	CALLDATALOAD	12275856	3	1
[759]	13793	DUP2	12275853	3	1
[760]	13794	SSTORE	12275850	22100	1
[761]	13795	ADD	12253750	3	1
[762]	13796	SWAP5	12253747	3	1
[763]	13797	ADD	12253744	3	1
[764]	13798	SWAP2	12253741	3	1
[765]	13799	ADD	12253738	3	1
[766]	13800	PUSH2	12253735	3	1
[767]	13803	JUMP	12253732	8	1
[768]	13724	JUMPDEST	12253724	1	1
[769]	13725	DUP8	12253723	3	1
[770]	13726	DUP2	12253720	3	1
[771]	13727	LT	12253717	3	1
[772]	13728	PUSH2	12253714	3	1
[773]	13731	JUMPI	12253711	10	1
[774]	13780	JUMPDEST	12253701	1	1
[775]	13781	SWAP1	12253700	3	1
[776]	13782	SWAP3	12253697	3	1
[777]	13783	PUSH1	12253694	3	1
[778]	13785	PUSH1	12253691	3	1
[779]	13787	DUP2	12253688	3	1
[780]	13788	SWAP3	12253685	3	1
[781]	13789	DUP7	12253682	3	1
[782]	13790	DUP7	12253679	3	1
[783]	13791	ADD	12253676	3	1
[784]	13792	CALLDATALOAD	12253673	3	1
[785]	13793	DUP2	12253670	3	1
[786]	13794	SSTORE	12253667	22100	1
[787]	13795	ADD	12231567	3	1
[788]	13796	SWAP5	12231564	3	1
[789]	13797	ADD	12231561	3	1
[790]	13798	SWAP2	12231558	3	1
[791]	13799	ADD	12231555	3	1
[792]	13800	PUSH2	12231552	3	1
[793]	13803	JUMP	12231549	8	1
[794]	13724	JUMPDEST	12231541	1	1
[795]	13725	DUP8	12231540	3	1
[796]	13726	DUP2	12231537	3	1
[797]	13727	LT	12231534	3	1
[798]	13728	PUSH2	12231531	3	1
[799]	13731	JUMPI	12231528	10	1
[800]	13780	JUMPDEST	12231518	1	1
[801]	13781	SWAP1	12231517	3	1
[802]	13782	SWAP3	12231514	3	1
[803]	13783	PUSH1	12231511	3	1
[804]	13785	PUSH1	12231508	3	1
[805]	13787	DUP2	12231505	3	1
[806]	13788	SWAP3	12231502	3	1
[807]	13789	DUP7	12231499	3	1
[808]	13790	DUP7	12231496	3	1
[809]	13791	ADD	12231493	3	1
[810]	13792	CALLDATALOAD	12231490	3	1
[811]	13793	DUP2	12231487	3	1
[812]	13794	SSTORE	12231484	22100	1
[813]	13795	ADD	12209384	3	1
[814]	13796	SWAP5	12209381	3	1
[815]	13797	ADD	12209378	3	1
[816]	13798	SWAP2	12209375	3	1
[817]	13799	ADD	12209372	3	1
[818]	13800	PUSH2	12209369	3	1
[819]	13803	JUMP	12209366	8	1
[820]	13724	JUMPDEST	12209358	1	1
[821]	13725	DUP8	12209357	3	1
[822]	13726	DUP2	12209354	3	1
[823]	13727	LT	12209351	3	1
[824]	13728	PUSH2	12209348	3	1
[825]	13731	JUMPI	12209345	10	1
[826]	13780	JUMPDEST	12209335	1	1
[827]	13781	SWAP1	12209334	3	1
[828]	13782	SWAP3	12209331	3	1
[829]	13783	PUSH1	12209328	3	1
[830]	13785	PUSH1	12209325	3	1
[831]	13787	DUP2	12209322	3	1
[832]	13788	SWAP3	12209319	3	1
[833]	13789	DUP7	12209316	3	1
[834]	13790	DUP7	12209313	3	1
[835]	13791	ADD	12209310	3	1
[836]	13792	CALLDATALOAD	12209307	3	1
[837]	13793	DUP2	12209304	3	1
[838]	13794	SSTORE	12209301	22100	1
[839]	13795	ADD	12187201	3	1
[840]	13796	SWAP5	12187198	3	1
[841]	13797	ADD	12187195	3	1
[842]	13798	SWAP2	12187192	3	1
[843]	13799	ADD	12187189	3	1
[844]	13800	PUSH2	12187186	3	1
[845]	13803	JUMP	12187183	8	1
[846]	13724	JUMPDEST	12187175	1	1
[847]	13725	DUP8	12187174	3	1
[848]	13726	DUP2	12187171	3	1
[849]	13727	LT	12187168	3	1
[850]	13728	PUSH2	12187165	3	1
[851]	13731	JUMPI	12187162	10	1
[852]	13780	JUMPDEST	12187152	1	1
[853]	13781	SWAP1	12187151	3	1
[854]	13782	SWAP3	12187148	3	1
[855]	13783	PUSH1	12187145	3	1
[856]	13785	PUSH1	12187142	3	1
[857]	13787	DUP2	12187139	3	1
[858]	13788	SWAP3	12187136	3	1
[859]	13789	DUP7	12187133	3	1
[860]	13790	DUP7	12187130	3	1
[861]	13791	ADD	12187127	3	1
[862]	13792	CALLDATALOAD	12187124	3	1
[863]	13793	DUP2	12187121	3	1
[864]	13794	SSTORE	12187118	22100	1
[865]	13795	ADD	12165018	3	1
[866]	13796	SWAP5	12165015	3	1
[867]	13797	ADD	12165012	3	1
[868]	13798	SWAP2	12165009	3	1
[869]	13799	ADD	12165006	3	1
[870]	13800	PUSH2	12165003	3	1
[871]	13803	JUMP	12165000	8	1
[872]	13724	JUMPDEST	12164992	1	1
[873]	13725	DUP8	12164991	3	1
[874]	13726	DUP2	12164988	3	1
[875]	13727	LT	12164985	3	1
[876]	13728	PUSH2	12164982	3	1
[877]	13731	JUMPI	12164979	10	1
[878]	13780	JUMPDEST	12164969	1	1
[879]	13781	SWAP1	12164968	3	1
[880]	13782	SWAP3	12164965	3	1
[881]	13783	PUSH1	12164962	3	1
[882]	13785	PUSH1	12164959	3	1
[883]	13787	DUP2	12164956	3	1
[884]	13788	SWAP3	12164953	3	1
[885]	13789	DUP7	12164950	3	1
[886]	13790	DUP7	12164947	3	1
[887]	13791	ADD	12164944	3	1
[888]	13792	CALLDATALOAD	12164941	3	1
[889]	13793	DUP2	12164938	3	1
[890]	13794	SSTORE	12164935	22100	1
[891]	13795	ADD	12142835	3	1
[892]	13796	SWAP5	12142832	3	1
[893]	13797	ADD	12142829	3	1
[894]	13798	SWAP2	12142826	3	1
[895]	13799	ADD	12142823	3	1
[896]	13800	PUSH2	12142820	3	1
[897]	13803	JUMP	12142817	8	1
[898]	13724	JUMPDEST	12142809	1	1
[899]	13725	DUP8	12142808	3	1
[900]	13726	DUP2	12142805	3	1
[901]	13727	LT	12142802	3	1
[902]	13728	PUSH2	12142799	3	1
[903]	13731	JUMPI	12142796	10	1
[904]	13780	JUMPDEST	12142786	1	1
[905]	13781	SWAP1	12142785	3	1
[906]	13782	SWAP3	12142782	3	1
[907]	13783	PUSH1	12142779	3	1
[908]	13785	PUSH1	12142776	3	1
[909]	13787	DUP2	12142773	3	1
[910]	13788	SWAP3	12142770	3	1
[911]	13789	DUP7	12142767	3	1
[912]	13790	DUP7	12142764	3	1
[913]	13791	ADD	12142761	3	1
[914]	13792	CALLDATALOAD	12142758	3	1
[915]	13793	DUP2	12142755	3	1
[916]	13794	SSTORE	12142752	22100	1
[917]	13795	ADD	12120652	3	1
[918]	13796	SWAP5	12120649	3	1
[919]	13797	ADD	12120646	3	1
[920]	13798	SWAP2	12120643	3	1
[921]	13799	ADD	12120640	3	1
[922]	13800	PUSH2	12120637	3	1
[923]	13803	JUMP	12120634	8	1
[924]	13724	JUMPDEST	12120626	1	1
[925]	13725	DUP8	12120625	3	1
[926]	13726	DUP2	12120622	3	1
[927]	13727	LT	12120619	3	1
[928]	13728	PUSH2	12120616	3	1
[929]	13731	JUMPI	12120613	10	1
[930]	13780	JUMPDEST	12120603	1	1
[931]	13781	SWAP1	12120602	3	1
[932]	13782	SWAP3	12120599	3	1
[933]	13783	PUSH1	12120596	3	1
[934]	13785	PUSH1	12120593	3	1
[935]	13787	DUP2	12120590	3	1
[936]	13788	SWAP3	12120587	3	1
[937]	13789	DUP7	12120584	3	1
[938]	13790	DUP7	12120581	3	1
[939]	13791	ADD	12120578	3	1
[940]	13792	CALLDATALOAD	12120575	3	1
[941]	13793	DUP2	12120572	3	1
[942]	13794	SSTORE	12120569	22100	1
[943]	13795	ADD	12098469	3	1
[944]	13796	SWAP5	12098466	3	1
[945]	13797	ADD	12098463	3	1
[946]	13798	SWAP2	12098460	3	1
[947]	13799	ADD	12098457	3	1
[948]	13800	PUSH2	12098454	3	1
[949]	13803	JUMP	12098451	8	1
[950]	13724	JUMPDEST	12098443	1	1
[951]	13725	DUP8	12098442	3	1
[952]	13726	DUP2	12098439	3	1
[953]	13727	LT	12098436	3	1
[954]	13728	PUSH2	12098433	3	1
[955]	13731	JUMPI	12098430	10	1
[956]	13780	JUMPDEST	12098420	1	1
[957]	13781	SWAP1	12098419	3	1
[958]	13782	SWAP3	12098416	3	1
[959]	13783	PUSH1	12098413	3	1
[960]	13785	PUSH1	12098410	3	1
[961]	13787	DUP2	12098407	3	1
[962]	13788	SWAP3	12098404	3	1
[963]	13789	DUP7	12098401	3	1
[964]	13790	DUP7	12098398	3	1
[965]	13791	ADD	12098395	3	1
[966]	13792	CALLDATALOAD	12098392	3	1
[967]	13793	DUP2	12098389	3	1
[968]	13794	SSTORE	12098386	22100	1
[969]	13795	ADD	12076286	3	1
[970]	13796	SWAP5	12076283	3	1
[971]	13797	ADD	12076280	3	1
[972]	13798	SWAP2	12076277	3	1
[973]	13799	ADD	12076274	3	1
[974]	13800	PUSH2	12076271	3	1
[975]	13803	JUMP	12076268	8	1
[976]	13724	JUMPDEST	12076260	1	1
[977]	13725	DUP8	12076259	3	1
[978]	13726	DUP2	12076256	3	1
[979]	13727	LT	12076253	3	1
[980]	13728	PUSH2	12076250	3	1
[981]	13731	JUMPI	12076247	10	1
[982]	13780	JUMPDEST	12076237	1	1
[983]	13781	SWAP1	12076236	3	1
[984]	13782	SWAP3	12076233	3	1
[985]	13783	PUSH1	12076230	3	1
[986]	13785	PUSH1	12076227	3	1
[987]	13787	DUP2	12076224	3	1
[988]	13788	SWAP3	12076221	3	1
[989]	13789	DUP7	12076218	3	1
[990]	13790	DUP7	12076215	3	1
[991]	13791	ADD	12076212	3	1
[992]	13792	CALLDATALOAD	12076209	3	1
[993]	13793	DUP2	12076206	3	1
[994]	13794	SSTORE	12076203	22100	1
[995]	13795	ADD	12054103	3	1
[996]	13796	SWAP5	12054100	3	1
[997]	13797	ADD	12054097	3	1
[998]	13798	SWAP2	12054094	3	1
[999]	13799	ADD	12054091	3	1
[1000]	13800	PUSH2	12054088	3	1