Geth VM Trace Transaction

GETH Trace for Txn Hash 0xb0348640b18d52074191f96fcd152cce9e13e6ff71babf2dbe502230b5a9f4f6

Contract transaction successfully completed.

Raw traces

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

Step	PC	Operation	Gas	GasCost	Depth
[1]	0	PUSH1	95126	3	1
[2]	2	DUP1	95123	3	1
[3]	3	PUSH1	95120	3	1
[4]	5	MSTORE	95117	12	1
[5]	6	PUSH1	95105	3	1
[6]	8	CALLDATASIZE	95102	2	1
[7]	9	LT	95100	3	1
[8]	10	ISZERO	95097	3	1
[9]	11	PUSH2	95094	3	1
[10]	14	JUMPI	95091	10	1
[11]	29	JUMPDEST	95081	1	1
[12]	30	PUSH1	95080	3	1
[13]	32	SWAP1	95077	3	1
[14]	33	DUP2	95074	3	1
[15]	34	DUP1	95071	3	1
[16]	35	CALLDATALOAD	95068	3	1
[17]	36	PUSH1	95065	3	1
[18]	38	SHR	95062	3	1
[19]	39	SWAP2	95059	3	1
[20]	40	DUP3	95056	3	1
[21]	41	PUSH4	95053	3	1
[22]	46	EQ	95050	3	1
[23]	47	PUSH2	95047	3	1
[24]	50	JUMPI	95044	10	1
[25]	51	POP	95034	2	1
[26]	52	POP	95032	2	1
[27]	53	DUP1	95030	3	1
[28]	54	PUSH4	95027	3	1
[29]	59	EQ	95024	3	1
[30]	60	PUSH2	95021	3	1
[31]	63	JUMPI	95018	10	1
[32]	114	JUMPDEST	95008	1	1
[33]	115	POP	95007	2	1
[34]	116	CALLVALUE	95005	2	1
[35]	117	PUSH2	95003	3	1
[36]	120	JUMPI	95000	10	1
[37]	121	PUSH1	94990	3	1
[38]	123	CALLDATASIZE	94987	2	1
[39]	124	PUSH1	94985	3	1
[40]	126	NOT	94982	3	1
[41]	127	ADD	94979	3	1
[42]	128	SLT	94976	3	1
[43]	129	PUSH2	94973	3	1
[44]	132	JUMPI	94970	10	1
[45]	133	PUSH1	94960	3	1
[46]	135	CALLDATALOAD	94957	3	1
[47]	136	PUSH8	94954	3	1
[48]	145	DUP2	94951	3	1
[49]	146	GT	94948	3	1
[50]	147	PUSH2	94945	3	1
[51]	150	JUMPI	94942	10	1
[52]	151	PUSH2	94932	3	1
[53]	154	SWAP1	94929	3	1
[54]	155	CALLDATASIZE	94926	2	1
[55]	156	SWAP1	94924	3	1
[56]	157	PUSH1	94921	3	1
[57]	159	ADD	94918	3	1
[58]	160	PUSH2	94915	3	1
[59]	163	JUMP	94912	8	1
[60]	845	JUMPDEST	94904	1	1
[61]	846	SWAP2	94903	3	1
[62]	847	DUP2	94900	3	1
[63]	848	PUSH1	94897	3	1
[64]	850	DUP5	94894	3	1
[65]	851	ADD	94891	3	1
[66]	852	SLT	94888	3	1
[67]	853	ISZERO	94885	3	1
[68]	854	PUSH2	94882	3	1
[69]	857	JUMPI	94879	10	1
[70]	858	DUP3	94869	3	1
[71]	859	CALLDATALOAD	94866	3	1
[72]	860	SWAP2	94863	3	1
[73]	861	PUSH8	94860	3	1
[74]	870	DUP4	94857	3	1
[75]	871	GT	94854	3	1
[76]	872	PUSH2	94851	3	1
[77]	875	JUMPI	94848	10	1
[78]	876	PUSH1	94838	3	1
[79]	878	DUP1	94835	3	1
[80]	879	DUP6	94832	3	1
[81]	880	ADD	94829	3	1
[82]	881	SWAP5	94826	3	1
[83]	882	DUP5	94823	3	1
[84]	883	PUSH1	94820	3	1
[85]	885	SHL	94817	3	1
[86]	886	ADD	94814	3	1
[87]	887	ADD	94811	3	1
[88]	888	GT	94808	3	1
[89]	889	PUSH2	94805	3	1
[90]	892	JUMPI	94802	10	1
[91]	893	JUMP	94792	8	1
[92]	164	JUMPDEST	94784	1	1
[93]	165	SWAP1	94783	3	1
[94]	166	PUSH1	94780	3	1
[95]	168	CALLDATALOAD	94777	3	1
[96]	169	PUSH8	94774	3	1
[97]	178	DUP2	94771	3	1
[98]	179	GT	94768	3	1
[99]	180	PUSH2	94765	3	1
[100]	183	JUMPI	94762	10	1
[101]	184	PUSH2	94752	3	1
[102]	187	SWAP1	94749	3	1
[103]	188	CALLDATASIZE	94746	2	1
[104]	189	SWAP1	94744	3	1
[105]	190	PUSH1	94741	3	1
[106]	192	ADD	94738	3	1
[107]	193	PUSH2	94735	3	1
[108]	196	JUMP	94732	8	1
[109]	845	JUMPDEST	94724	1	1
[110]	846	SWAP2	94723	3	1
[111]	847	DUP2	94720	3	1
[112]	848	PUSH1	94717	3	1
[113]	850	DUP5	94714	3	1
[114]	851	ADD	94711	3	1
[115]	852	SLT	94708	3	1
[116]	853	ISZERO	94705	3	1
[117]	854	PUSH2	94702	3	1
[118]	857	JUMPI	94699	10	1
[119]	858	DUP3	94689	3	1
[120]	859	CALLDATALOAD	94686	3	1
[121]	860	SWAP2	94683	3	1
[122]	861	PUSH8	94680	3	1
[123]	870	DUP4	94677	3	1
[124]	871	GT	94674	3	1
[125]	872	PUSH2	94671	3	1
[126]	875	JUMPI	94668	10	1
[127]	876	PUSH1	94658	3	1
[128]	878	DUP1	94655	3	1
[129]	879	DUP6	94652	3	1
[130]	880	ADD	94649	3	1
[131]	881	SWAP5	94646	3	1
[132]	882	DUP5	94643	3	1
[133]	883	PUSH1	94640	3	1
[134]	885	SHL	94637	3	1
[135]	886	ADD	94634	3	1
[136]	887	ADD	94631	3	1
[137]	888	GT	94628	3	1
[138]	889	PUSH2	94625	3	1
[139]	892	JUMPI	94622	10	1
[140]	893	JUMP	94612	8	1
[141]	197	JUMPDEST	94604	1	1
[142]	198	DUP5	94603	3	1
[143]	199	SLOAD	94600	2100	1
[144]	200	PUSH1	92500	3	1
[145]	202	PUSH1	92497	3	1
[146]	204	PUSH1	92494	3	1
[147]	206	SHL	92491	3	1
[148]	207	SUB	92488	3	1
[149]	208	AND	92485	3	1
[150]	209	SWAP3	92482	3	1
[151]	210	DUP4	92479	3	1
[152]	211	EXTCODESIZE	92476	2600	1
[153]	212	ISZERO	89876	3	1
[154]	213	PUSH2	89873	3	1
[155]	216	JUMPI	89870	10	1
[156]	217	SWAP4	89860	3	1
[157]	218	SWAP1	89857	3	1
[158]	219	DUP6	89854	3	1
[159]	220	SWAP3	89851	3	1
[160]	221	PUSH1	89848	3	1
[161]	223	MLOAD	89845	3	1
[162]	224	SWAP6	89842	3	1
[163]	225	DUP7	89839	3	1
[164]	226	SWAP4	89836	3	1
[165]	227	PUSH4	89833	3	1
[166]	232	PUSH1	89830	3	1
[167]	234	SHL	89827	3	1
[168]	235	DUP6	89824	3	1
[169]	236	MSTORE	89821	9	1
[170]	237	DUP1	89812	3	1
[171]	238	PUSH1	89809	3	1
[172]	240	DUP7	89806	3	1
[173]	241	ADD	89803	3	1
[174]	242	PUSH1	89800	3	1
[175]	244	CALLDATALOAD	89797	3	1
[176]	245	PUSH1	89794	3	1
[177]	247	DUP9	89791	3	1
[178]	248	ADD	89788	3	1
[179]	249	MSTORE	89785	6	1
[180]	250	PUSH1	89779	3	1
[181]	252	PUSH1	89776	3	1
[182]	254	DUP9	89773	3	1
[183]	255	ADD	89770	3	1
[184]	256	MSTORE	89767	6	1
[185]	257	MSTORE	89761	9	1
[186]	258	PUSH1	89752	3	1
[187]	260	DUP6	89749	3	1
[188]	261	ADD	89746	3	1
[189]	262	SWAP2	89743	3	1
[190]	263	SWAP1	89740	3	1
[191]	264	DUP7	89737	3	1
[192]	265	SWAP1	89734	3	1
[193]	266	JUMPDEST	89731	1	1
[194]	267	DUP1	89730	3	1
[195]	268	DUP3	89727	3	1
[196]	269	LT	89724	3	1
[197]	270	PUSH2	89721	3	1
[198]	273	JUMPI	89718	10	1
[199]	505	JUMPDEST	89708	1	1
[200]	506	SWAP4	89707	3	1
[201]	507	SWAP7	89704	3	1
[202]	508	POP	89701	2	1
[203]	509	SWAP4	89699	3	1
[204]	510	SWAP5	89696	3	1
[205]	511	POP	89693	2	1
[206]	512	SWAP3	89691	3	1
[207]	513	SWAP2	89688	3	1
[208]	514	SWAP1	89685	3	1
[209]	515	DUP4	89682	3	1
[210]	516	CALLDATALOAD	89679	3	1
[211]	517	PUSH1	89676	3	1
[212]	519	PUSH1	89673	3	1
[213]	521	PUSH1	89670	3	1
[214]	523	SHL	89667	3	1
[215]	524	SUB	89664	3	1
[216]	525	DUP2	89661	3	1
[217]	526	AND	89658	3	1
[218]	527	SWAP2	89655	3	1
[219]	528	SWAP1	89652	3	1
[220]	529	DUP3	89649	3	1
[221]	530	SWAP1	89646	3	1
[222]	531	SUB	89643	3	1
[223]	532	PUSH2	89640	3	1
[224]	535	JUMPI	89637	10	1
[225]	536	PUSH1	89627	3	1
[226]	538	DUP2	89624	3	1
[227]	539	PUSH1	89621	3	1
[228]	541	SWAP4	89618	3	1
[229]	542	DUP3	89615	3	1
[230]	543	SWAP4	89612	3	1
[231]	544	MSTORE	89609	6	1
[232]	545	ADD	89603	3	1
[233]	546	SWAP5	89600	3	1
[234]	547	ADD	89597	3	1
[235]	548	SWAP3	89594	3	1
[236]	549	ADD	89591	3	1
[237]	550	SWAP2	89588	3	1
[238]	551	DUP9	89585	3	1
[239]	552	SWAP6	89582	3	1
[240]	553	SWAP3	89579	3	1
[241]	554	DUP9	89576	3	1
[242]	555	SWAP6	89573	3	1
[243]	556	SWAP5	89570	3	1
[244]	557	SWAP3	89567	3	1
[245]	558	PUSH2	89564	3	1
[246]	561	JUMP	89561	8	1
[247]	266	JUMPDEST	89553	1	1
[248]	267	DUP1	89552	3	1
[249]	268	DUP3	89549	3	1
[250]	269	LT	89546	3	1
[251]	270	PUSH2	89543	3	1
[252]	273	JUMPI	89540	10	1
[253]	505	JUMPDEST	89530	1	1
[254]	506	SWAP4	89529	3	1
[255]	507	SWAP7	89526	3	1
[256]	508	POP	89523	2	1
[257]	509	SWAP4	89521	3	1
[258]	510	SWAP5	89518	3	1
[259]	511	POP	89515	2	1
[260]	512	SWAP3	89513	3	1
[261]	513	SWAP2	89510	3	1
[262]	514	SWAP1	89507	3	1
[263]	515	DUP4	89504	3	1
[264]	516	CALLDATALOAD	89501	3	1
[265]	517	PUSH1	89498	3	1
[266]	519	PUSH1	89495	3	1
[267]	521	PUSH1	89492	3	1
[268]	523	SHL	89489	3	1
[269]	524	SUB	89486	3	1
[270]	525	DUP2	89483	3	1
[271]	526	AND	89480	3	1
[272]	527	SWAP2	89477	3	1
[273]	528	SWAP1	89474	3	1
[274]	529	DUP3	89471	3	1
[275]	530	SWAP1	89468	3	1
[276]	531	SUB	89465	3	1
[277]	532	PUSH2	89462	3	1
[278]	535	JUMPI	89459	10	1
[279]	536	PUSH1	89449	3	1
[280]	538	DUP2	89446	3	1
[281]	539	PUSH1	89443	3	1
[282]	541	SWAP4	89440	3	1
[283]	542	DUP3	89437	3	1
[284]	543	SWAP4	89434	3	1
[285]	544	MSTORE	89431	6	1
[286]	545	ADD	89425	3	1
[287]	546	SWAP5	89422	3	1
[288]	547	ADD	89419	3	1
[289]	548	SWAP3	89416	3	1
[290]	549	ADD	89413	3	1
[291]	550	SWAP2	89410	3	1
[292]	551	DUP9	89407	3	1
[293]	552	SWAP6	89404	3	1
[294]	553	SWAP3	89401	3	1
[295]	554	DUP9	89398	3	1
[296]	555	SWAP6	89395	3	1
[297]	556	SWAP5	89392	3	1
[298]	557	SWAP3	89389	3	1
[299]	558	PUSH2	89386	3	1
[300]	561	JUMP	89383	8	1
[301]	266	JUMPDEST	89375	1	1
[302]	267	DUP1	89374	3	1
[303]	268	DUP3	89371	3	1
[304]	269	LT	89368	3	1
[305]	270	PUSH2	89365	3	1
[306]	273	JUMPI	89362	10	1
[307]	505	JUMPDEST	89352	1	1
[308]	506	SWAP4	89351	3	1
[309]	507	SWAP7	89348	3	1
[310]	508	POP	89345	2	1
[311]	509	SWAP4	89343	3	1
[312]	510	SWAP5	89340	3	1
[313]	511	POP	89337	2	1
[314]	512	SWAP3	89335	3	1
[315]	513	SWAP2	89332	3	1
[316]	514	SWAP1	89329	3	1
[317]	515	DUP4	89326	3	1
[318]	516	CALLDATALOAD	89323	3	1
[319]	517	PUSH1	89320	3	1
[320]	519	PUSH1	89317	3	1
[321]	521	PUSH1	89314	3	1
[322]	523	SHL	89311	3	1
[323]	524	SUB	89308	3	1
[324]	525	DUP2	89305	3	1
[325]	526	AND	89302	3	1
[326]	527	SWAP2	89299	3	1
[327]	528	SWAP1	89296	3	1
[328]	529	DUP3	89293	3	1
[329]	530	SWAP1	89290	3	1
[330]	531	SUB	89287	3	1
[331]	532	PUSH2	89284	3	1
[332]	535	JUMPI	89281	10	1
[333]	536	PUSH1	89271	3	1
[334]	538	DUP2	89268	3	1
[335]	539	PUSH1	89265	3	1
[336]	541	SWAP4	89262	3	1
[337]	542	DUP3	89259	3	1
[338]	543	SWAP4	89256	3	1
[339]	544	MSTORE	89253	6	1
[340]	545	ADD	89247	3	1
[341]	546	SWAP5	89244	3	1
[342]	547	ADD	89241	3	1
[343]	548	SWAP3	89238	3	1
[344]	549	ADD	89235	3	1
[345]	550	SWAP2	89232	3	1
[346]	551	DUP9	89229	3	1
[347]	552	SWAP6	89226	3	1
[348]	553	SWAP3	89223	3	1
[349]	554	DUP9	89220	3	1
[350]	555	SWAP6	89217	3	1
[351]	556	SWAP5	89214	3	1
[352]	557	SWAP3	89211	3	1
[353]	558	PUSH2	89208	3	1
[354]	561	JUMP	89205	8	1
[355]	266	JUMPDEST	89197	1	1
[356]	267	DUP1	89196	3	1
[357]	268	DUP3	89193	3	1
[358]	269	LT	89190	3	1
[359]	270	PUSH2	89187	3	1
[360]	273	JUMPI	89184	10	1
[361]	505	JUMPDEST	89174	1	1
[362]	506	SWAP4	89173	3	1
[363]	507	SWAP7	89170	3	1
[364]	508	POP	89167	2	1
[365]	509	SWAP4	89165	3	1
[366]	510	SWAP5	89162	3	1
[367]	511	POP	89159	2	1
[368]	512	SWAP3	89157	3	1
[369]	513	SWAP2	89154	3	1
[370]	514	SWAP1	89151	3	1
[371]	515	DUP4	89148	3	1
[372]	516	CALLDATALOAD	89145	3	1
[373]	517	PUSH1	89142	3	1
[374]	519	PUSH1	89139	3	1
[375]	521	PUSH1	89136	3	1
[376]	523	SHL	89133	3	1
[377]	524	SUB	89130	3	1
[378]	525	DUP2	89127	3	1
[379]	526	AND	89124	3	1
[380]	527	SWAP2	89121	3	1
[381]	528	SWAP1	89118	3	1
[382]	529	DUP3	89115	3	1
[383]	530	SWAP1	89112	3	1
[384]	531	SUB	89109	3	1
[385]	532	PUSH2	89106	3	1
[386]	535	JUMPI	89103	10	1
[387]	536	PUSH1	89093	3	1
[388]	538	DUP2	89090	3	1
[389]	539	PUSH1	89087	3	1
[390]	541	SWAP4	89084	3	1
[391]	542	DUP3	89081	3	1
[392]	543	SWAP4	89078	3	1
[393]	544	MSTORE	89075	6	1
[394]	545	ADD	89069	3	1
[395]	546	SWAP5	89066	3	1
[396]	547	ADD	89063	3	1
[397]	548	SWAP3	89060	3	1
[398]	549	ADD	89057	3	1
[399]	550	SWAP2	89054	3	1
[400]	551	DUP9	89051	3	1
[401]	552	SWAP6	89048	3	1
[402]	553	SWAP3	89045	3	1
[403]	554	DUP9	89042	3	1
[404]	555	SWAP6	89039	3	1
[405]	556	SWAP5	89036	3	1
[406]	557	SWAP3	89033	3	1
[407]	558	PUSH2	89030	3	1
[408]	561	JUMP	89027	8	1
[409]	266	JUMPDEST	89019	1	1
[410]	267	DUP1	89018	3	1
[411]	268	DUP3	89015	3	1
[412]	269	LT	89012	3	1
[413]	270	PUSH2	89009	3	1
[414]	273	JUMPI	89006	10	1
[415]	274	POP	88996	2	1
[416]	275	POP	88994	2	1
[417]	276	POP	88992	2	1
[418]	277	PUSH1	88990	3	1
[419]	279	NOT	88987	3	1
[420]	280	DUP5	88984	3	1
[421]	281	DUP3	88981	3	1
[422]	282	SUB	88978	3	1
[423]	283	ADD	88975	3	1
[424]	284	PUSH1	88972	3	1
[425]	286	DUP6	88969	3	1
[426]	287	ADD	88966	3	1
[427]	288	MSTORE	88963	3	1
[428]	289	DUP3	88960	3	1
[429]	290	DUP2	88957	3	1
[430]	291	MSTORE	88954	6	1
[431]	292	PUSH1	88948	3	1
[432]	294	DUP2	88945	3	1
[433]	295	ADD	88942	3	1
[434]	296	SWAP3	88939	3	1
[435]	297	PUSH1	88936	3	1
[436]	299	DUP2	88933	3	1
[437]	300	PUSH1	88930	3	1
[438]	302	SHL	88927	3	1
[439]	303	DUP4	88924	3	1
[440]	304	ADD	88921	3	1
[441]	305	ADD	88918	3	1
[442]	306	SWAP4	88915	3	1
[443]	307	DUP4	88912	3	1
[444]	308	DUP8	88909	3	1
[445]	309	SWAP4	88906	3	1
[446]	310	PUSH1	88903	3	1
[447]	312	NOT	88900	3	1
[448]	313	DUP3	88897	3	1
[449]	314	CALLDATASIZE	88894	2	1
[450]	315	SUB	88892	3	1
[451]	316	ADD	88889	3	1
[452]	317	SWAP1	88886	3	1
[453]	318	JUMPDEST	88883	1	1
[454]	319	DUP5	88882	3	1
[455]	320	DUP7	88879	3	1
[456]	321	LT	88876	3	1
[457]	322	PUSH2	88873	3	1
[458]	325	JUMPI	88870	10	1
[459]	382	JUMPDEST	88860	1	1
[460]	383	SWAP3	88859	3	1
[461]	384	SWAP6	88856	3	1
[462]	385	SWAP9	88853	3	1
[463]	386	POP	88850	2	1
[464]	387	SWAP3	88848	3	1
[465]	388	SWAP6	88845	3	1
[466]	389	SWAP1	88842	3	1
[467]	390	SWAP4	88839	3	1
[468]	391	SWAP7	88836	3	1
[469]	392	POP	88833	2	1
[470]	393	PUSH1	88831	3	1
[471]	395	NOT	88828	3	1
[472]	396	DUP3	88825	3	1
[473]	397	DUP3	88822	3	1
[474]	398	SUB	88819	3	1
[475]	399	ADD	88816	3	1
[476]	400	DUP6	88813	3	1
[477]	401	MSTORE	88810	6	1
[478]	402	DUP8	88804	3	1
[479]	403	CALLDATALOAD	88801	3	1
[480]	404	DUP4	88798	3	1
[481]	405	DUP2	88795	3	1
[482]	406	SLT	88792	3	1
[483]	407	ISZERO	88789	3	1
[484]	408	PUSH2	88786	3	1
[485]	411	JUMPI	88783	10	1
[486]	412	DUP5	88773	3	1
[487]	413	ADD	88770	3	1
[488]	414	DUP12	88767	3	1
[489]	415	PUSH1	88764	3	1
[490]	417	DUP3	88761	3	1
[491]	418	CALLDATALOAD	88758	3	1
[492]	419	SWAP3	88755	3	1
[493]	420	ADD	88752	3	1
[494]	421	PUSH8	88749	3	1
[495]	430	DUP4	88746	3	1
[496]	431	GT	88743	3	1
[497]	432	PUSH2	88740	3	1
[498]	435	JUMPI	88737	10	1
[499]	436	DUP3	88727	3	1
[500]	437	CALLDATASIZE	88724	2	1
[501]	438	SUB	88722	3	1
[502]	439	DUP2	88719	3	1
[503]	440	SGT	88716	3	1
[504]	441	PUSH2	88713	3	1
[505]	444	JUMPI	88710	10	1
[506]	445	DUP3	88700	3	1
[507]	446	DUP5	88697	3	1
[508]	447	MSTORE	88694	6	1
[509]	448	PUSH1	88688	3	1
[510]	450	SWAP4	88685	3	1
[511]	451	PUSH1	88682	3	1
[512]	453	SWAP4	88679	3	1
[513]	454	DUP5	88676	3	1
[514]	455	SWAP4	88673	3	1
[515]	456	DUP5	88670	3	1
[516]	457	SWAP4	88667	3	1
[517]	458	DUP3	88664	3	1
[518]	459	SWAP1	88661	3	1
[519]	460	DUP6	88658	3	1
[520]	461	DUP6	88655	3	1
[521]	462	ADD	88652	3	1
[522]	463	CALLDATACOPY	88649	58	1
[523]	464	DUP4	88591	3	1
[524]	465	DUP3	88588	3	1
[525]	466	DUP5	88585	3	1
[526]	467	ADD	88582	3	1
[527]	468	ADD	88579	3	1
[528]	469	MSTORE	88576	6	1
[529]	470	PUSH1	88570	3	1
[530]	472	DUP1	88567	3	1
[531]	473	NOT	88564	3	1
[532]	474	SWAP2	88561	3	1
[533]	475	ADD	88558	3	1
[534]	476	AND	88555	3	1
[535]	477	ADD	88552	3	1
[536]	478	ADD	88549	3	1
[537]	479	SWAP10	88546	3	1
[538]	480	ADD	88543	3	1
[539]	481	SWAP6	88540	3	1
[540]	482	ADD	88537	3	1
[541]	483	SWAP7	88534	3	1
[542]	484	ADD	88531	3	1
[543]	485	SWAP3	88528	3	1
[544]	486	DUP11	88525	3	1
[545]	487	SWAP8	88522	3	1
[546]	488	SWAP6	88519	3	1
[547]	489	SWAP3	88516	3	1
[548]	490	DUP11	88513	3	1
[549]	491	SWAP8	88510	3	1
[550]	492	SWAP3	88507	3	1
[551]	493	PUSH2	88504	3	1
[552]	496	JUMP	88501	8	1
[553]	318	JUMPDEST	88493	1	1
[554]	319	DUP5	88492	3	1
[555]	320	DUP7	88489	3	1
[556]	321	LT	88486	3	1
[557]	322	PUSH2	88483	3	1
[558]	325	JUMPI	88480	10	1
[559]	326	POP	88470	2	1
[560]	327	POP	88468	2	1
[561]	328	POP	88466	2	1
[562]	329	POP	88464	2	1
[563]	330	POP	88462	2	1
[564]	331	POP	88460	2	1
[565]	332	POP	88458	2	1
[566]	333	SWAP3	88456	3	1
[567]	334	DUP2	88453	3	1
[568]	335	DUP4	88450	3	1
[569]	336	DUP2	88447	3	1
[570]	337	DUP2	88444	3	1
[571]	338	SWAP7	88441	3	1
[572]	339	SUB	88438	3	1
[573]	340	SWAP3	88435	3	1
[574]	341	GAS	88432	2	1
[575]	342	CALL	88430	87050	1
[576]	0	PUSH1	86950	3	2
[577]	2	PUSH1	86947	3	2
[578]	4	MSTORE	86944	12	2
[579]	5	PUSH1	86932	3	2
[580]	7	CALLDATASIZE	86929	2	2
[581]	8	LT	86927	3	2
[582]	9	ISZERO	86924	3	2
[583]	10	PUSH2	86921	3	2
[584]	13	JUMPI	86918	10	2
[585]	27	JUMPDEST	86908	1	2
[586]	28	PUSH1	86907	3	2
[587]	30	DUP1	86904	3	2
[588]	31	CALLDATALOAD	86901	3	2
[589]	32	PUSH1	86898	3	2
[590]	34	SHR	86895	3	2
[591]	35	DUP1	86892	3	2
[592]	36	PUSH4	86889	3	2
[593]	41	EQ	86886	3	2
[594]	42	PUSH2	86883	3	2
[595]	45	JUMPI	86880	10	2
[596]	46	DUP1	86870	3	2
[597]	47	PUSH4	86867	3	2
[598]	52	EQ	86864	3	2
[599]	53	PUSH2	86861	3	2
[600]	56	JUMPI	86858	10	2
[601]	57	DUP1	86848	3	2
[602]	58	PUSH4	86845	3	2
[603]	63	EQ	86842	3	2
[604]	64	PUSH2	86839	3	2
[605]	67	JUMPI	86836	10	2
[606]	68	DUP1	86826	3	2
[607]	69	PUSH4	86823	3	2
[608]	74	EQ	86820	3	2
[609]	75	PUSH2	86817	3	2
[610]	78	JUMPI	86814	10	2
[611]	79	DUP1	86804	3	2
[612]	80	PUSH4	86801	3	2
[613]	85	EQ	86798	3	2
[614]	86	PUSH2	86795	3	2
[615]	89	JUMPI	86792	10	2
[616]	90	DUP1	86782	3	2
[617]	91	PUSH4	86779	3	2
[618]	96	EQ	86776	3	2
[619]	97	PUSH2	86773	3	2
[620]	100	JUMPI	86770	10	2
[621]	101	DUP1	86760	3	2
[622]	102	PUSH4	86757	3	2
[623]	107	EQ	86754	3	2
[624]	108	PUSH2	86751	3	2
[625]	111	JUMPI	86748	10	2
[626]	112	DUP1	86738	3	2
[627]	113	PUSH4	86735	3	2
[628]	118	EQ	86732	3	2
[629]	119	PUSH2	86729	3	2
[630]	122	JUMPI	86726	10	2
[631]	123	DUP1	86716	3	2
[632]	124	PUSH4	86713	3	2
[633]	129	EQ	86710	3	2
[634]	130	PUSH2	86707	3	2
[635]	133	JUMPI	86704	10	2
[636]	134	DUP1	86694	3	2
[637]	135	PUSH4	86691	3	2
[638]	140	EQ	86688	3	2
[639]	141	PUSH2	86685	3	2
[640]	144	JUMPI	86682	10	2
[641]	145	DUP1	86672	3	2
[642]	146	PUSH4	86669	3	2
[643]	151	EQ	86666	3	2
[644]	152	PUSH2	86663	3	2
[645]	155	JUMPI	86660	10	2
[646]	156	DUP1	86650	3	2
[647]	157	PUSH4	86647	3	2
[648]	162	EQ	86644	3	2
[649]	163	PUSH2	86641	3	2
[650]	166	JUMPI	86638	10	2
[651]	167	DUP1	86628	3	2
[652]	168	PUSH4	86625	3	2
[653]	173	EQ	86622	3	2
[654]	174	PUSH2	86619	3	2
[655]	177	JUMPI	86616	10	2
[656]	178	DUP1	86606	3	2
[657]	179	PUSH4	86603	3	2
[658]	184	EQ	86600	3	2
[659]	185	PUSH2	86597	3	2
[660]	188	JUMPI	86594	10	2
[661]	189	DUP1	86584	3	2
[662]	190	PUSH4	86581	3	2
[663]	195	EQ	86578	3	2
[664]	196	PUSH2	86575	3	2
[665]	199	JUMPI	86572	10	2
[666]	6358	JUMPDEST	86562	1	2
[667]	6359	POP	86561	2	2
[668]	6360	CALLVALUE	86559	2	2
[669]	6361	PUSH2	86557	3	2
[670]	6364	JUMPI	86554	10	2
[671]	6365	PUSH2	86544	3	2
[672]	6368	PUSH2	86541	3	2
[673]	6371	CALLDATASIZE	86538	2	2
[674]	6372	PUSH2	86536	3	2
[675]	6375	JUMP	86533	8	2
[676]	8892	JUMPDEST	86525	1	2
[677]	8893	SWAP1	86524	3	2
[678]	8894	PUSH1	86521	3	2
[679]	8896	PUSH1	86518	3	2
[680]	8898	NOT	86515	3	2
[681]	8899	DUP4	86512	3	2
[682]	8900	ADD	86509	3	2
[683]	8901	SLT	86506	3	2
[684]	8902	PUSH2	86503	3	2
[685]	8905	JUMPI	86500	10	2
[686]	8906	PUSH1	86490	3	2
[687]	8908	CALLDATALOAD	86487	3	2
[688]	8909	SWAP2	86484	3	2
[689]	8910	PUSH1	86481	3	2
[690]	8912	CALLDATALOAD	86478	3	2
[691]	8913	PUSH1	86475	3	2
[692]	8915	PUSH1	86472	3	2
[693]	8917	PUSH1	86469	3	2
[694]	8919	SHL	86466	3	2
[695]	8920	SUB	86463	3	2
[696]	8921	DUP2	86460	3	2
[697]	8922	GT	86457	3	2
[698]	8923	PUSH2	86454	3	2
[699]	8926	JUMPI	86451	10	2
[700]	8927	DUP2	86441	3	2
[701]	8928	PUSH2	86438	3	2
[702]	8931	SWAP2	86435	3	2
[703]	8932	PUSH1	86432	3	2
[704]	8934	ADD	86429	3	2
[705]	8935	PUSH2	86426	3	2
[706]	8938	JUMP	86423	8	2
[707]	8844	JUMPDEST	86415	1	2
[708]	8845	SWAP2	86414	3	2
[709]	8846	DUP2	86411	3	2
[710]	8847	PUSH1	86408	3	2
[711]	8849	DUP5	86405	3	2
[712]	8850	ADD	86402	3	2
[713]	8851	SLT	86399	3	2
[714]	8852	ISZERO	86396	3	2
[715]	8853	PUSH2	86393	3	2
[716]	8856	JUMPI	86390	10	2
[717]	8857	DUP3	86380	3	2
[718]	8858	CALLDATALOAD	86377	3	2
[719]	8859	SWAP2	86374	3	2
[720]	8860	PUSH1	86371	3	2
[721]	8862	PUSH1	86368	3	2
[722]	8864	PUSH1	86365	3	2
[723]	8866	SHL	86362	3	2
[724]	8867	SUB	86359	3	2
[725]	8868	DUP4	86356	3	2
[726]	8869	GT	86353	3	2
[727]	8870	PUSH2	86350	3	2
[728]	8873	JUMPI	86347	10	2
[729]	8874	PUSH1	86337	3	2
[730]	8876	DUP1	86334	3	2
[731]	8877	DUP6	86331	3	2
[732]	8878	ADD	86328	3	2
[733]	8879	SWAP5	86325	3	2
[734]	8880	DUP5	86322	3	2
[735]	8881	PUSH1	86319	3	2
[736]	8883	SHL	86316	3	2
[737]	8884	ADD	86313	3	2
[738]	8885	ADD	86310	3	2
[739]	8886	GT	86307	3	2
[740]	8887	PUSH2	86304	3	2
[741]	8890	JUMPI	86301	10	2
[742]	8891	JUMP	86291	8	2
[743]	8939	JUMPDEST	86283	1	2
[744]	8940	SWAP3	86282	3	2
[745]	8941	SWAP1	86279	3	2
[746]	8942	SWAP3	86276	3	2
[747]	8943	SWAP2	86273	3	2
[748]	8944	PUSH1	86270	3	2
[749]	8946	CALLDATALOAD	86267	3	2
[750]	8947	SWAP1	86264	3	2
[751]	8948	PUSH1	86261	3	2
[752]	8950	PUSH1	86258	3	2
[753]	8952	PUSH1	86255	3	2
[754]	8954	SHL	86252	3	2
[755]	8955	SUB	86249	3	2
[756]	8956	DUP3	86246	3	2
[757]	8957	GT	86243	3	2
[758]	8958	PUSH2	86240	3	2
[759]	8961	JUMPI	86237	10	2
[760]	8962	PUSH2	86227	3	2
[761]	8965	SWAP2	86224	3	2
[762]	8966	PUSH1	86221	3	2
[763]	8968	ADD	86218	3	2
[764]	8969	PUSH2	86215	3	2
[765]	8972	JUMP	86212	8	2
[766]	8844	JUMPDEST	86204	1	2
[767]	8845	SWAP2	86203	3	2
[768]	8846	DUP2	86200	3	2
[769]	8847	PUSH1	86197	3	2
[770]	8849	DUP5	86194	3	2
[771]	8850	ADD	86191	3	2
[772]	8851	SLT	86188	3	2
[773]	8852	ISZERO	86185	3	2
[774]	8853	PUSH2	86182	3	2
[775]	8856	JUMPI	86179	10	2
[776]	8857	DUP3	86169	3	2
[777]	8858	CALLDATALOAD	86166	3	2
[778]	8859	SWAP2	86163	3	2
[779]	8860	PUSH1	86160	3	2
[780]	8862	PUSH1	86157	3	2
[781]	8864	PUSH1	86154	3	2
[782]	8866	SHL	86151	3	2
[783]	8867	SUB	86148	3	2
[784]	8868	DUP4	86145	3	2
[785]	8869	GT	86142	3	2
[786]	8870	PUSH2	86139	3	2
[787]	8873	JUMPI	86136	10	2
[788]	8874	PUSH1	86126	3	2
[789]	8876	DUP1	86123	3	2
[790]	8877	DUP6	86120	3	2
[791]	8878	ADD	86117	3	2
[792]	8879	SWAP5	86114	3	2
[793]	8880	DUP5	86111	3	2
[794]	8881	PUSH1	86108	3	2
[795]	8883	SHL	86105	3	2
[796]	8884	ADD	86102	3	2
[797]	8885	ADD	86099	3	2
[798]	8886	GT	86096	3	2
[799]	8887	PUSH2	86093	3	2
[800]	8890	JUMPI	86090	10	2
[801]	8891	JUMP	86080	8	2
[802]	8973	JUMPDEST	86072	1	2
[803]	8974	SWAP1	86071	3	2
[804]	8975	SWAP2	86068	3	2
[805]	8976	JUMP	86065	8	2
[806]	6376	JUMPDEST	86057	1	2
[807]	6377	DUP5	86056	3	2
[808]	6378	DUP8	86053	3	2
[809]	6379	MSTORE	86050	3	2
[810]	6380	PUSH1	86047	3	2
[811]	6382	PUSH1	86044	3	2
[812]	6384	MSTORE	86041	3	2
[813]	6385	PUSH1	86038	3	2
[814]	6387	DUP8	86035	3	2
[815]	6388	KECCAK256	86032	42	2
[816]	6389	SWAP4	85990	3	2
[817]	6390	SWAP6	85987	3	2
[818]	6391	SWAP3	85984	3	2
[819]	6392	SWAP5	85981	3	2
[820]	6393	SWAP3	85978	3	2
[821]	6394	SWAP2	85975	3	2
[822]	6395	PUSH2	85972	3	2
[823]	6398	DUP6	85969	3	2
[824]	6399	PUSH2	85966	3	2
[825]	6402	JUMP	85963	8	2
[826]	13678	JUMPDEST	85955	1	2
[827]	13679	SLOAD	85954	2100	2
[828]	13680	PUSH5	83854	3	2
[829]	13686	DUP2	83851	3	2
[830]	13687	PUSH1	83848	3	2
[831]	13689	SHR	83845	3	2
[832]	13690	AND	83842	3	2
[833]	13691	TIMESTAMP	83839	2	2
[834]	13692	LT	83837	3	2
[835]	13693	SWAP1	83834	3	2
[836]	13694	DUP2	83831	3	2
[837]	13695	ISZERO	83828	3	2
[838]	13696	PUSH2	83825	3	2
[839]	13699	JUMPI	83822	10	2
[840]	13724	JUMPDEST	83812	1	2
[841]	13725	PUSH5	83811	3	2
[842]	13731	SWAP2	83808	3	2
[843]	13732	POP	83805	2	2
[844]	13733	PUSH1	83803	3	2
[845]	13735	SHR	83800	3	2
[846]	13736	AND	83797	3	2
[847]	13737	TIMESTAMP	83794	2	2
[848]	13738	GT	83792	3	2
[849]	13739	CODESIZE	83789	2	2
[850]	13740	PUSH2	83787	3	2
[851]	13743	JUMP	83784	8	2
[852]	13700	JUMPDEST	83776	1	2
[853]	13701	POP	83775	2	2
[854]	13702	PUSH2	83773	3	2
[855]	13705	JUMPI	83770	10	2
[856]	13706	JUMP	83760	8	2
[857]	6403	JUMPDEST	83752	1	2
[858]	6404	PUSH2	83751	3	2
[859]	6407	JUMP	83748	8	2
[860]	13331	JUMPDEST	83740	1	2
[861]	13332	PUSH1	83739	3	2
[862]	13334	MLOAD	83736	3	2
[863]	13335	PUSH4	83733	3	2
[864]	13340	PUSH1	83730	3	2
[865]	13342	SHL	83727	3	2
[866]	13343	DUP2	83724	3	2
[867]	13344	MSTORE	83721	9	2
[868]	13345	PUSH1	83712	3	2
[869]	13347	PUSH1	83709	3	2
[870]	13349	DUP3	83706	3	2
[871]	13350	ADD	83703	3	2
[872]	13351	DUP2	83700	3	2
[873]	13352	SWAP1	83697	3	2
[874]	13353	MSTORE	83694	6	2
[875]	13354	PUSH1	83688	3	2
[876]	13356	SWAP4	83685	3	2
[877]	13357	PUSH32	83682	3	2
[878]	13390	PUSH1	83679	3	2
[879]	13392	PUSH1	83676	3	2
[880]	13394	PUSH1	83673	3	2
[881]	13396	SHL	83670	3	2
[882]	13397	SUB	83667	3	2
[883]	13398	AND	83664	3	2
[884]	13399	SWAP3	83661	3	2
[885]	13400	SWAP1	83658	3	2
[886]	13401	SWAP2	83655	3	2
[887]	13402	DUP2	83652	3	2
[888]	13403	DUP1	83649	3	2
[889]	13404	PUSH2	83646	3	2
[890]	13407	PUSH1	83643	3	2
[891]	13409	DUP3	83640	3	2
[892]	13410	ADD	83637	3	2
[893]	13411	DUP7	83634	3	2
[894]	13412	DUP10	83631	3	2
[895]	13413	PUSH2	83628	3	2
[896]	13416	JUMP	83625	8	2
[897]	13041	JUMPDEST	83617	1	2
[898]	13042	SWAP1	83616	3	2
[899]	13043	PUSH1	83613	3	2
[900]	13045	DUP4	83610	3	2
[901]	13046	DUP3	83607	3	2
[902]	13047	DUP2	83604	3	2
[903]	13048	MSTORE	83601	6	2
[904]	13049	ADD	83595	3	2
[905]	13050	SWAP1	83592	3	2
[906]	13051	PUSH1	83589	3	2
[907]	13053	DUP2	83586	3	2
[908]	13054	PUSH1	83583	3	2
[909]	13056	SHL	83580	3	2
[910]	13057	DUP6	83577	3	2
[911]	13058	ADD	83574	3	2
[912]	13059	ADD	83571	3	2
[913]	13060	SWAP4	83568	3	2
[914]	13061	DUP4	83565	3	2
[915]	13062	PUSH1	83562	3	2
[916]	13064	SWAP2	83559	3	2
[917]	13065	JUMPDEST	83556	1	2
[918]	13066	DUP4	83555	3	2
[919]	13067	DUP4	83552	3	2
[920]	13068	LT	83549	3	2
[921]	13069	PUSH2	83546	3	2
[922]	13072	JUMPI	83543	10	2
[923]	13081	JUMPDEST	83533	1	2
[924]	13082	SWAP1	83532	3	2
[925]	13083	SWAP2	83529	3	2
[926]	13084	SWAP3	83526	3	2
[927]	13085	SWAP4	83523	3	2
[928]	13086	SWAP5	83520	3	2
[929]	13087	SWAP6	83517	3	2
[930]	13088	PUSH1	83514	3	2
[931]	13090	NOT	83511	3	2
[932]	13091	DUP3	83508	3	2
[933]	13092	DUP3	83505	3	2
[934]	13093	SUB	83502	3	2
[935]	13094	ADD	83499	3	2
[936]	13095	DUP7	83496	3	2
[937]	13096	MSTORE	83493	6	2
[938]	13097	DUP7	83487	3	2
[939]	13098	CALLDATALOAD	83484	3	2
[940]	13099	PUSH1	83481	3	2
[941]	13101	NOT	83478	3	2
[942]	13102	DUP5	83475	3	2
[943]	13103	CALLDATASIZE	83472	2	2
[944]	13104	SUB	83470	3	2
[945]	13105	ADD	83467	3	2
[946]	13106	DUP2	83464	3	2
[947]	13107	SLT	83461	3	2
[948]	13108	ISZERO	83458	3	2
[949]	13109	PUSH2	83455	3	2
[950]	13112	JUMPI	83452	10	2
[951]	13113	DUP4	83442	3	2
[952]	13114	ADD	83439	3	2
[953]	13115	SWAP1	83436	3	2
[954]	13116	PUSH1	83433	3	2
[955]	13118	DUP3	83430	3	2
[956]	13119	CALLDATALOAD	83427	3	2
[957]	13120	SWAP3	83424	3	2
[958]	13121	ADD	83421	3	2
[959]	13122	SWAP2	83418	3	2
[960]	13123	PUSH1	83415	3	2
[961]	13125	PUSH1	83412	3	2
[962]	13127	PUSH1	83409	3	2
[963]	13129	SHL	83406	3	2
[964]	13130	SUB	83403	3	2
[965]	13131	DUP2	83400	3	2
[966]	13132	GT	83397	3	2
[967]	13133	PUSH2	83394	3	2
[968]	13136	JUMPI	83391	10	2
[969]	13137	DUP1	83381	3	2
[970]	13138	CALLDATASIZE	83378	2	2
[971]	13139	SUB	83376	3	2
[972]	13140	DUP4	83373	3	2
[973]	13141	SGT	83370	3	2
[974]	13142	PUSH2	83367	3	2
[975]	13145	JUMPI	83364	10	2
[976]	13146	PUSH1	83354	3	2
[977]	13148	DUP3	83351	3	2
[978]	13149	DUP3	83348	3	2
[979]	13150	DUP1	83345	3	2
[980]	13151	PUSH1	83342	3	2
[981]	13153	SWAP7	83339	3	2
[982]	13154	DUP5	83336	3	2
[983]	13155	SWAP7	83333	3	2
[984]	13156	SWAP6	83330	3	2
[985]	13157	DUP6	83327	3	2
[986]	13158	SWAP7	83324	3	2
[987]	13159	MSTORE	83321	6	2
[988]	13160	DUP5	83315	3	2
[989]	13161	DUP5	83312	3	2
[990]	13162	ADD	83309	3	2
[991]	13163	CALLDATACOPY	83306	57	2
[992]	13164	PUSH1	83249	3	2
[993]	13166	DUP3	83246	3	2
[994]	13167	DUP3	83243	3	2
[995]	13168	ADD	83240	3	2
[996]	13169	DUP5	83237	3	2
[997]	13170	ADD	83234	3	2
[998]	13171	MSTORE	83231	6	2
[999]	13172	PUSH1	83225	3	2
[1000]	13174	ADD	83222	3	2