Geth VM Trace Transaction

GETH Trace for Txn Hash 0x9ec3582450717dc6dad8c1a1c0b3663b1fe97cc019e6279bf98bcfe5901242cd

Contract transaction successfully completed.

Raw traces

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

Step	PC	Operation	Gas	GasCost	Depth
[1]	0	PUSH1	90995	3	1
[2]	2	PUSH1	90992	3	1
[3]	4	MSTORE	90989	12	1
[4]	5	PUSH1	90977	3	1
[5]	7	CALLDATASIZE	90974	2	1
[6]	8	LT	90972	3	1
[7]	9	ISZERO	90969	3	1
[8]	10	PUSH2	90966	3	1
[9]	13	JUMPI	90963	10	1
[10]	27	JUMPDEST	90953	1	1
[11]	28	PUSH1	90952	3	1
[12]	30	DUP1	90949	3	1
[13]	31	CALLDATALOAD	90946	3	1
[14]	32	PUSH1	90943	3	1
[15]	34	SHR	90940	3	1
[16]	35	DUP1	90937	3	1
[17]	36	PUSH4	90934	3	1
[18]	41	EQ	90931	3	1
[19]	42	PUSH2	90928	3	1
[20]	45	JUMPI	90925	10	1
[21]	46	DUP1	90915	3	1
[22]	47	PUSH4	90912	3	1
[23]	52	EQ	90909	3	1
[24]	53	PUSH2	90906	3	1
[25]	56	JUMPI	90903	10	1
[26]	57	DUP1	90893	3	1
[27]	58	PUSH4	90890	3	1
[28]	63	EQ	90887	3	1
[29]	64	PUSH2	90884	3	1
[30]	67	JUMPI	90881	10	1
[31]	68	DUP1	90871	3	1
[32]	69	PUSH4	90868	3	1
[33]	74	EQ	90865	3	1
[34]	75	PUSH2	90862	3	1
[35]	78	JUMPI	90859	10	1
[36]	79	DUP1	90849	3	1
[37]	80	PUSH4	90846	3	1
[38]	85	EQ	90843	3	1
[39]	86	PUSH2	90840	3	1
[40]	89	JUMPI	90837	10	1
[41]	90	DUP1	90827	3	1
[42]	91	PUSH4	90824	3	1
[43]	96	EQ	90821	3	1
[44]	97	PUSH2	90818	3	1
[45]	100	JUMPI	90815	10	1
[46]	101	DUP1	90805	3	1
[47]	102	PUSH4	90802	3	1
[48]	107	EQ	90799	3	1
[49]	108	PUSH2	90796	3	1
[50]	111	JUMPI	90793	10	1
[51]	112	DUP1	90783	3	1
[52]	113	PUSH4	90780	3	1
[53]	118	EQ	90777	3	1
[54]	119	PUSH2	90774	3	1
[55]	122	JUMPI	90771	10	1
[56]	123	DUP1	90761	3	1
[57]	124	PUSH4	90758	3	1
[58]	129	EQ	90755	3	1
[59]	130	PUSH2	90752	3	1
[60]	133	JUMPI	90749	10	1
[61]	134	DUP1	90739	3	1
[62]	135	PUSH4	90736	3	1
[63]	140	EQ	90733	3	1
[64]	141	PUSH2	90730	3	1
[65]	144	JUMPI	90727	10	1
[66]	145	DUP1	90717	3	1
[67]	146	PUSH4	90714	3	1
[68]	151	EQ	90711	3	1
[69]	152	PUSH2	90708	3	1
[70]	155	JUMPI	90705	10	1
[71]	6400	JUMPDEST	90695	1	1
[72]	6401	POP	90694	2	1
[73]	6402	CALLVALUE	90692	2	1
[74]	6403	PUSH2	90690	3	1
[75]	6406	JUMPI	90687	10	1
[76]	6407	PUSH2	90677	3	1
[77]	6410	PUSH2	90674	3	1
[78]	6413	CALLDATASIZE	90671	2	1
[79]	6414	PUSH2	90669	3	1
[80]	6417	JUMP	90666	8	1
[81]	7802	JUMPDEST	90658	1	1
[82]	7803	SWAP1	90657	3	1
[83]	7804	PUSH1	90654	3	1
[84]	7806	PUSH1	90651	3	1
[85]	7808	NOT	90648	3	1
[86]	7809	DUP4	90645	3	1
[87]	7810	ADD	90642	3	1
[88]	7811	SLT	90639	3	1
[89]	7812	PUSH2	90636	3	1
[90]	7815	JUMPI	90633	10	1
[91]	7816	PUSH1	90623	3	1
[92]	7818	CALLDATALOAD	90620	3	1
[93]	7819	SWAP2	90617	3	1
[94]	7820	PUSH1	90614	3	1
[95]	7822	CALLDATALOAD	90611	3	1
[96]	7823	PUSH1	90608	3	1
[97]	7825	PUSH1	90605	3	1
[98]	7827	PUSH1	90602	3	1
[99]	7829	SHL	90599	3	1
[100]	7830	SUB	90596	3	1
[101]	7831	DUP2	90593	3	1
[102]	7832	GT	90590	3	1
[103]	7833	PUSH2	90587	3	1
[104]	7836	JUMPI	90584	10	1
[105]	7837	DUP2	90574	3	1
[106]	7838	PUSH2	90571	3	1
[107]	7841	SWAP2	90568	3	1
[108]	7842	PUSH1	90565	3	1
[109]	7844	ADD	90562	3	1
[110]	7845	PUSH2	90559	3	1
[111]	7848	JUMP	90556	8	1
[112]	7754	JUMPDEST	90548	1	1
[113]	7755	SWAP2	90547	3	1
[114]	7756	DUP2	90544	3	1
[115]	7757	PUSH1	90541	3	1
[116]	7759	DUP5	90538	3	1
[117]	7760	ADD	90535	3	1
[118]	7761	SLT	90532	3	1
[119]	7762	ISZERO	90529	3	1
[120]	7763	PUSH2	90526	3	1
[121]	7766	JUMPI	90523	10	1
[122]	7767	DUP3	90513	3	1
[123]	7768	CALLDATALOAD	90510	3	1
[124]	7769	SWAP2	90507	3	1
[125]	7770	PUSH1	90504	3	1
[126]	7772	PUSH1	90501	3	1
[127]	7774	PUSH1	90498	3	1
[128]	7776	SHL	90495	3	1
[129]	7777	SUB	90492	3	1
[130]	7778	DUP4	90489	3	1
[131]	7779	GT	90486	3	1
[132]	7780	PUSH2	90483	3	1
[133]	7783	JUMPI	90480	10	1
[134]	7784	PUSH1	90470	3	1
[135]	7786	DUP1	90467	3	1
[136]	7787	DUP6	90464	3	1
[137]	7788	ADD	90461	3	1
[138]	7789	SWAP5	90458	3	1
[139]	7790	DUP5	90455	3	1
[140]	7791	PUSH1	90452	3	1
[141]	7793	SHL	90449	3	1
[142]	7794	ADD	90446	3	1
[143]	7795	ADD	90443	3	1
[144]	7796	GT	90440	3	1
[145]	7797	PUSH2	90437	3	1
[146]	7800	JUMPI	90434	10	1
[147]	7801	JUMP	90424	8	1
[148]	7849	JUMPDEST	90416	1	1
[149]	7850	SWAP3	90415	3	1
[150]	7851	SWAP1	90412	3	1
[151]	7852	SWAP3	90409	3	1
[152]	7853	SWAP2	90406	3	1
[153]	7854	PUSH1	90403	3	1
[154]	7856	CALLDATALOAD	90400	3	1
[155]	7857	SWAP1	90397	3	1
[156]	7858	PUSH1	90394	3	1
[157]	7860	PUSH1	90391	3	1
[158]	7862	PUSH1	90388	3	1
[159]	7864	SHL	90385	3	1
[160]	7865	SUB	90382	3	1
[161]	7866	DUP3	90379	3	1
[162]	7867	GT	90376	3	1
[163]	7868	PUSH2	90373	3	1
[164]	7871	JUMPI	90370	10	1
[165]	7872	PUSH2	90360	3	1
[166]	7875	SWAP2	90357	3	1
[167]	7876	PUSH1	90354	3	1
[168]	7878	ADD	90351	3	1
[169]	7879	PUSH2	90348	3	1
[170]	7882	JUMP	90345	8	1
[171]	7754	JUMPDEST	90337	1	1
[172]	7755	SWAP2	90336	3	1
[173]	7756	DUP2	90333	3	1
[174]	7757	PUSH1	90330	3	1
[175]	7759	DUP5	90327	3	1
[176]	7760	ADD	90324	3	1
[177]	7761	SLT	90321	3	1
[178]	7762	ISZERO	90318	3	1
[179]	7763	PUSH2	90315	3	1
[180]	7766	JUMPI	90312	10	1
[181]	7767	DUP3	90302	3	1
[182]	7768	CALLDATALOAD	90299	3	1
[183]	7769	SWAP2	90296	3	1
[184]	7770	PUSH1	90293	3	1
[185]	7772	PUSH1	90290	3	1
[186]	7774	PUSH1	90287	3	1
[187]	7776	SHL	90284	3	1
[188]	7777	SUB	90281	3	1
[189]	7778	DUP4	90278	3	1
[190]	7779	GT	90275	3	1
[191]	7780	PUSH2	90272	3	1
[192]	7783	JUMPI	90269	10	1
[193]	7784	PUSH1	90259	3	1
[194]	7786	DUP1	90256	3	1
[195]	7787	DUP6	90253	3	1
[196]	7788	ADD	90250	3	1
[197]	7789	SWAP5	90247	3	1
[198]	7790	DUP5	90244	3	1
[199]	7791	PUSH1	90241	3	1
[200]	7793	SHL	90238	3	1
[201]	7794	ADD	90235	3	1
[202]	7795	ADD	90232	3	1
[203]	7796	GT	90229	3	1
[204]	7797	PUSH2	90226	3	1
[205]	7800	JUMPI	90223	10	1
[206]	7801	JUMP	90213	8	1
[207]	7883	JUMPDEST	90205	1	1
[208]	7884	SWAP1	90204	3	1
[209]	7885	SWAP2	90201	3	1
[210]	7886	JUMP	90198	8	1
[211]	6418	JUMPDEST	90190	1	1
[212]	6419	DUP5	90189	3	1
[213]	6420	DUP8	90186	3	1
[214]	6421	SWAP7	90183	3	1
[215]	6422	SWAP3	90180	3	1
[216]	6423	SWAP4	90177	3	1
[217]	6424	SWAP6	90174	3	1
[218]	6425	SWAP7	90171	3	1
[219]	6426	MSTORE	90168	3	1
[220]	6427	PUSH1	90165	3	1
[221]	6429	PUSH1	90162	3	1
[222]	6431	MSTORE	90159	3	1
[223]	6432	PUSH1	90156	3	1
[224]	6434	DUP8	90153	3	1
[225]	6435	KECCAK256	90150	42	1
[226]	6436	SWAP3	90108	3	1
[227]	6437	PUSH2	90105	3	1
[228]	6440	DUP5	90102	3	1
[229]	6441	PUSH2	90099	3	1
[230]	6444	JUMP	90096	8	1
[231]	10278	JUMPDEST	90088	1	1
[232]	10279	SLOAD	90087	2100	1
[233]	10280	PUSH5	87987	3	1
[234]	10286	DUP2	87984	3	1
[235]	10287	PUSH1	87981	3	1
[236]	10289	SHR	87978	3	1
[237]	10290	AND	87975	3	1
[238]	10291	TIMESTAMP	87972	2	1
[239]	10292	LT	87970	3	1
[240]	10293	SWAP1	87967	3	1
[241]	10294	DUP2	87964	3	1
[242]	10295	ISZERO	87961	3	1
[243]	10296	PUSH2	87958	3	1
[244]	10299	JUMPI	87955	10	1
[245]	10324	JUMPDEST	87945	1	1
[246]	10325	PUSH5	87944	3	1
[247]	10331	SWAP2	87941	3	1
[248]	10332	POP	87938	2	1
[249]	10333	PUSH1	87936	3	1
[250]	10335	SHR	87933	3	1
[251]	10336	AND	87930	3	1
[252]	10337	TIMESTAMP	87927	2	1
[253]	10338	GT	87925	3	1
[254]	10339	CODESIZE	87922	2	1
[255]	10340	PUSH2	87920	3	1
[256]	10343	JUMP	87917	8	1
[257]	10300	JUMPDEST	87909	1	1
[258]	10301	POP	87908	2	1
[259]	10302	PUSH2	87906	3	1
[260]	10305	JUMPI	87903	10	1
[261]	10306	JUMP	87893	8	1
[262]	6445	JUMPDEST	87885	1	1
[263]	6446	PUSH2	87884	3	1
[264]	6449	JUMP	87881	8	1
[265]	9964	JUMPDEST	87873	1	1
[266]	9965	PUSH1	87872	3	1
[267]	9967	MLOAD	87869	3	1
[268]	9968	PUSH4	87866	3	1
[269]	9973	PUSH1	87863	3	1
[270]	9975	SHL	87860	3	1
[271]	9976	DUP2	87857	3	1
[272]	9977	MSTORE	87854	9	1
[273]	9978	PUSH1	87845	3	1
[274]	9980	PUSH1	87842	3	1
[275]	9982	DUP3	87839	3	1
[276]	9983	ADD	87836	3	1
[277]	9984	DUP2	87833	3	1
[278]	9985	SWAP1	87830	3	1
[279]	9986	MSTORE	87827	6	1
[280]	9987	PUSH1	87821	3	1
[281]	9989	SWAP4	87818	3	1
[282]	9990	PUSH32	87815	3	1
[283]	10023	PUSH1	87812	3	1
[284]	10025	PUSH1	87809	3	1
[285]	10027	PUSH1	87806	3	1
[286]	10029	SHL	87803	3	1
[287]	10030	SUB	87800	3	1
[288]	10031	AND	87797	3	1
[289]	10032	SWAP3	87794	3	1
[290]	10033	SWAP1	87791	3	1
[291]	10034	SWAP2	87788	3	1
[292]	10035	DUP2	87785	3	1
[293]	10036	DUP1	87782	3	1
[294]	10037	PUSH2	87779	3	1
[295]	10040	PUSH1	87776	3	1
[296]	10042	DUP3	87773	3	1
[297]	10043	ADD	87770	3	1
[298]	10044	DUP7	87767	3	1
[299]	10045	DUP10	87764	3	1
[300]	10046	PUSH2	87761	3	1
[301]	10049	JUMP	87758	8	1
[302]	9685	JUMPDEST	87750	1	1
[303]	9686	SWAP1	87749	3	1
[304]	9687	PUSH1	87746	3	1
[305]	9689	DUP4	87743	3	1
[306]	9690	DUP3	87740	3	1
[307]	9691	DUP2	87737	3	1
[308]	9692	MSTORE	87734	6	1
[309]	9693	ADD	87728	3	1
[310]	9694	SWAP1	87725	3	1
[311]	9695	PUSH1	87722	3	1
[312]	9697	DUP2	87719	3	1
[313]	9698	PUSH1	87716	3	1
[314]	9700	SHL	87713	3	1
[315]	9701	DUP6	87710	3	1
[316]	9702	ADD	87707	3	1
[317]	9703	ADD	87704	3	1
[318]	9704	SWAP4	87701	3	1
[319]	9705	DUP4	87698	3	1
[320]	9706	PUSH1	87695	3	1
[321]	9708	SWAP2	87692	3	1
[322]	9709	JUMPDEST	87689	1	1
[323]	9710	DUP4	87688	3	1
[324]	9711	DUP4	87685	3	1
[325]	9712	LT	87682	3	1
[326]	9713	PUSH2	87679	3	1
[327]	9716	JUMPI	87676	10	1
[328]	9725	JUMPDEST	87666	1	1
[329]	9726	SWAP1	87665	3	1
[330]	9727	SWAP2	87662	3	1
[331]	9728	SWAP3	87659	3	1
[332]	9729	SWAP4	87656	3	1
[333]	9730	SWAP5	87653	3	1
[334]	9731	SWAP6	87650	3	1
[335]	9732	PUSH1	87647	3	1
[336]	9734	NOT	87644	3	1
[337]	9735	DUP3	87641	3	1
[338]	9736	DUP3	87638	3	1
[339]	9737	SUB	87635	3	1
[340]	9738	ADD	87632	3	1
[341]	9739	DUP7	87629	3	1
[342]	9740	MSTORE	87626	6	1
[343]	9741	DUP7	87620	3	1
[344]	9742	CALLDATALOAD	87617	3	1
[345]	9743	PUSH1	87614	3	1
[346]	9745	NOT	87611	3	1
[347]	9746	DUP5	87608	3	1
[348]	9747	CALLDATASIZE	87605	2	1
[349]	9748	SUB	87603	3	1
[350]	9749	ADD	87600	3	1
[351]	9750	DUP2	87597	3	1
[352]	9751	SLT	87594	3	1
[353]	9752	ISZERO	87591	3	1
[354]	9753	PUSH2	87588	3	1
[355]	9756	JUMPI	87585	10	1
[356]	9757	DUP4	87575	3	1
[357]	9758	ADD	87572	3	1
[358]	9759	SWAP1	87569	3	1
[359]	9760	PUSH1	87566	3	1
[360]	9762	DUP3	87563	3	1
[361]	9763	CALLDATALOAD	87560	3	1
[362]	9764	SWAP3	87557	3	1
[363]	9765	ADD	87554	3	1
[364]	9766	SWAP2	87551	3	1
[365]	9767	PUSH1	87548	3	1
[366]	9769	PUSH1	87545	3	1
[367]	9771	PUSH1	87542	3	1
[368]	9773	SHL	87539	3	1
[369]	9774	SUB	87536	3	1
[370]	9775	DUP2	87533	3	1
[371]	9776	GT	87530	3	1
[372]	9777	PUSH2	87527	3	1
[373]	9780	JUMPI	87524	10	1
[374]	9781	DUP1	87514	3	1
[375]	9782	CALLDATASIZE	87511	2	1
[376]	9783	SUB	87509	3	1
[377]	9784	DUP4	87506	3	1
[378]	9785	SGT	87503	3	1
[379]	9786	PUSH2	87500	3	1
[380]	9789	JUMPI	87497	10	1
[381]	9790	PUSH1	87487	3	1
[382]	9792	DUP3	87484	3	1
[383]	9793	DUP3	87481	3	1
[384]	9794	DUP1	87478	3	1
[385]	9795	PUSH1	87475	3	1
[386]	9797	SWAP7	87472	3	1
[387]	9798	DUP5	87469	3	1
[388]	9799	SWAP7	87466	3	1
[389]	9800	SWAP6	87463	3	1
[390]	9801	DUP6	87460	3	1
[391]	9802	SWAP7	87457	3	1
[392]	9803	MSTORE	87454	6	1
[393]	9804	DUP5	87448	3	1
[394]	9805	DUP5	87445	3	1
[395]	9806	ADD	87442	3	1
[396]	9807	CALLDATACOPY	87439	57	1
[397]	9808	PUSH1	87382	3	1
[398]	9810	DUP3	87379	3	1
[399]	9811	DUP3	87376	3	1
[400]	9812	ADD	87373	3	1
[401]	9813	DUP5	87370	3	1
[402]	9814	ADD	87367	3	1
[403]	9815	MSTORE	87364	6	1
[404]	9816	PUSH1	87358	3	1
[405]	9818	ADD	87355	3	1
[406]	9819	PUSH1	87352	3	1
[407]	9821	NOT	87349	3	1
[408]	9822	AND	87346	3	1
[409]	9823	ADD	87343	3	1
[410]	9824	ADD	87340	3	1
[411]	9825	SWAP9	87337	3	1
[412]	9826	ADD	87334	3	1
[413]	9827	SWAP7	87331	3	1
[414]	9828	ADD	87328	3	1
[415]	9829	SWAP5	87325	3	1
[416]	9830	SWAP4	87322	3	1
[417]	9831	ADD	87319	3	1
[418]	9832	SWAP2	87316	3	1
[419]	9833	SWAP1	87313	3	1
[420]	9834	PUSH2	87310	3	1
[421]	9837	JUMP	87307	8	1
[422]	9709	JUMPDEST	87299	1	1
[423]	9710	DUP4	87298	3	1
[424]	9711	DUP4	87295	3	1
[425]	9712	LT	87292	3	1
[426]	9713	PUSH2	87289	3	1
[427]	9716	JUMPI	87286	10	1
[428]	9717	POP	87276	2	1
[429]	9718	POP	87274	2	1
[430]	9719	POP	87272	2	1
[431]	9720	POP	87270	2	1
[432]	9721	POP	87268	2	1
[433]	9722	POP	87266	2	1
[434]	9723	SWAP1	87264	3	1
[435]	9724	JUMP	87261	8	1
[436]	10050	JUMPDEST	87253	1	1
[437]	10051	SUB	87252	3	1
[438]	10052	DUP2	87249	3	1
[439]	10053	DUP7	87246	3	1
[440]	10054	GAS	87243	2	1
[441]	10055	STATICCALL	87241	85919	1
[442]	0	PUSH1	83319	3	2
[443]	2	PUSH1	83316	3	2
[444]	4	MSTORE	83313	12	2
[445]	5	PUSH1	83301	3	2
[446]	7	CALLDATASIZE	83298	2	2
[447]	8	LT	83296	3	2
[448]	9	PUSH2	83293	3	2
[449]	12	JUMPI	83290	10	2
[450]	13	PUSH1	83280	3	2
[451]	15	CALLDATALOAD	83277	3	2
[452]	16	PUSH1	83274	3	2
[453]	18	SHR	83271	3	2
[454]	19	DUP1	83268	3	2
[455]	20	PUSH4	83265	3	2
[456]	25	GT	83262	3	2
[457]	26	PUSH2	83259	3	2
[458]	29	JUMPI	83256	10	2
[459]	30	DUP1	83246	3	2
[460]	31	PUSH4	83243	3	2
[461]	36	GT	83240	3	2
[462]	37	PUSH2	83237	3	2
[463]	40	JUMPI	83234	10	2
[464]	41	DUP1	83224	3	2
[465]	42	PUSH4	83221	3	2
[466]	47	EQ	83218	3	2
[467]	48	PUSH2	83215	3	2
[468]	51	JUMPI	83212	10	2
[469]	52	DUP1	83202	3	2
[470]	53	PUSH4	83199	3	2
[471]	58	EQ	83196	3	2
[472]	59	PUSH2	83193	3	2
[473]	62	JUMPI	83190	10	2
[474]	646	JUMPDEST	83180	1	2
[475]	647	CALLVALUE	83179	2	2
[476]	648	DUP1	83177	3	2
[477]	649	ISZERO	83174	3	2
[478]	650	PUSH2	83171	3	2
[479]	653	JUMPI	83168	10	2
[480]	658	JUMPDEST	83158	1	2
[481]	659	POP	83157	2	2
[482]	660	PUSH2	83155	3	2
[483]	663	PUSH2	83152	3	2
[484]	666	CALLDATASIZE	83149	2	2
[485]	667	PUSH1	83147	3	2
[486]	669	PUSH2	83144	3	2
[487]	672	JUMP	83141	8	2
[488]	3912	JUMPDEST	83133	1	2
[489]	3913	PUSH1	83132	3	2
[490]	3915	DUP1	83129	3	2
[491]	3916	PUSH1	83126	3	2
[492]	3918	DUP4	83123	3	2
[493]	3919	DUP6	83120	3	2
[494]	3920	SUB	83117	3	2
[495]	3921	SLT	83114	3	2
[496]	3922	ISZERO	83111	3	2
[497]	3923	PUSH2	83108	3	2
[498]	3926	JUMPI	83105	10	2
[499]	3931	JUMPDEST	83095	1	2
[500]	3932	DUP3	83094	3	2
[501]	3933	CALLDATALOAD	83091	3	2
[502]	3934	PUSH1	83088	3	2
[503]	3936	PUSH1	83085	3	2
[504]	3938	PUSH1	83082	3	2
[505]	3940	SHL	83079	3	2
[506]	3941	SUB	83076	3	2
[507]	3942	DUP2	83073	3	2
[508]	3943	GT	83070	3	2
[509]	3944	ISZERO	83067	3	2
[510]	3945	PUSH2	83064	3	2
[511]	3948	JUMPI	83061	10	2
[512]	3953	JUMPDEST	83051	1	2
[513]	3954	PUSH2	83050	3	2
[514]	3957	DUP6	83047	3	2
[515]	3958	DUP3	83044	3	2
[516]	3959	DUP7	83041	3	2
[517]	3960	ADD	83038	3	2
[518]	3961	PUSH2	83035	3	2
[519]	3964	JUMP	83032	8	2
[520]	3084	JUMPDEST	83024	1	2
[521]	3085	PUSH1	83023	3	2
[522]	3087	DUP1	83020	3	2
[523]	3088	DUP4	83017	3	2
[524]	3089	PUSH1	83014	3	2
[525]	3091	DUP5	83011	3	2
[526]	3092	ADD	83008	3	2
[527]	3093	SLT	83005	3	2
[528]	3094	PUSH2	83002	3	2
[529]	3097	JUMPI	82999	10	2
[530]	3102	JUMPDEST	82989	1	2
[531]	3103	POP	82988	2	2
[532]	3104	DUP2	82986	3	2
[533]	3105	CALLDATALOAD	82983	3	2
[534]	3106	PUSH1	82980	3	2
[535]	3108	PUSH1	82977	3	2
[536]	3110	PUSH1	82974	3	2
[537]	3112	SHL	82971	3	2
[538]	3113	SUB	82968	3	2
[539]	3114	DUP2	82965	3	2
[540]	3115	GT	82962	3	2
[541]	3116	ISZERO	82959	3	2
[542]	3117	PUSH2	82956	3	2
[543]	3120	JUMPI	82953	10	2
[544]	3125	JUMPDEST	82943	1	2
[545]	3126	PUSH1	82942	3	2
[546]	3128	DUP4	82939	3	2
[547]	3129	ADD	82936	3	2
[548]	3130	SWAP2	82933	3	2
[549]	3131	POP	82930	2	2
[550]	3132	DUP4	82928	3	2
[551]	3133	PUSH1	82925	3	2
[552]	3135	DUP3	82922	3	2
[553]	3136	PUSH1	82919	3	2
[554]	3138	SHL	82916	3	2
[555]	3139	DUP6	82913	3	2
[556]	3140	ADD	82910	3	2
[557]	3141	ADD	82907	3	2
[558]	3142	GT	82904	3	2
[559]	3143	ISZERO	82901	3	2
[560]	3144	PUSH2	82898	3	2
[561]	3147	JUMPI	82895	10	2
[562]	3152	JUMPDEST	82885	1	2
[563]	3153	SWAP3	82884	3	2
[564]	3154	POP	82881	2	2
[565]	3155	SWAP3	82879	3	2
[566]	3156	SWAP1	82876	3	2
[567]	3157	POP	82873	2	2
[568]	3158	JUMP	82871	8	2
[569]	3965	JUMPDEST	82863	1	2
[570]	3966	SWAP1	82862	3	2
[571]	3967	SWAP7	82859	3	2
[572]	3968	SWAP1	82856	3	2
[573]	3969	SWAP6	82853	3	2
[574]	3970	POP	82850	2	2
[575]	3971	SWAP4	82848	3	2
[576]	3972	POP	82845	2	2
[577]	3973	POP	82843	2	2
[578]	3974	POP	82841	2	2
[579]	3975	POP	82839	2	2
[580]	3976	JUMP	82837	8	2
[581]	673	JUMPDEST	82829	1	2
[582]	674	PUSH2	82828	3	2
[583]	677	JUMP	82825	8	2
[584]	2087	JUMPDEST	82817	1	2
[585]	2088	PUSH1	82816	3	2
[586]	2090	SLOAD	82813	2100	2
[587]	2091	PUSH1	80713	3	2
[588]	2093	SWAP1	80710	3	2
[589]	2094	PUSH2	80707	3	2
[590]	2097	SWAP1	80704	3	2
[591]	2098	DUP4	80701	3	2
[592]	2099	SWAP1	80698	3	2
[593]	2100	PUSH2	80695	3	2
[594]	2103	JUMP	80692	8	2
[595]	4398	JUMPDEST	80684	1	2
[596]	4399	DUP1	80683	3	2
[597]	4400	DUP3	80680	3	2
[598]	4401	MUL	80677	5	2
[599]	4402	DUP2	80672	3	2
[600]	4403	ISZERO	80669	3	2
[601]	4404	DUP3	80666	3	2
[602]	4405	DUP3	80663	3	2
[603]	4406	DIV	80660	5	2
[604]	4407	DUP5	80655	3	2
[605]	4408	EQ	80652	3	2
[606]	4409	OR	80649	3	2
[607]	4410	PUSH2	80646	3	2
[608]	4413	JUMPI	80643	10	2
[609]	753	JUMPDEST	80633	1	2
[610]	754	SWAP3	80632	3	2
[611]	755	SWAP2	80629	3	2
[612]	756	POP	80626	2	2
[613]	757	POP	80624	2	2
[614]	758	JUMP	80622	8	2
[615]	1585	JUMPDEST	80614	1	2
[616]	1586	SWAP4	80613	3	2
[617]	1587	SWAP3	80610	3	2
[618]	1588	POP	80607	2	2
[619]	1589	POP	80605	2	2
[620]	1590	POP	80603	2	2
[621]	1591	JUMP	80601	8	2
[622]	678	JUMPDEST	80593	1	2
[623]	679	PUSH1	80592	3	2
[624]	681	MLOAD	80589	3	2
[625]	682	SWAP1	80586	3	2
[626]	683	DUP2	80583	3	2
[627]	684	MSTORE	80580	9	2
[628]	685	PUSH1	80571	3	2
[629]	687	ADD	80568	3	2
[630]	688	PUSH2	80565	3	2
[631]	691	JUMP	80562	8	2
[632]	271	JUMPDEST	80554	1	2
[633]	272	PUSH1	80553	3	2
[634]	274	MLOAD	80550	3	2
[635]	275	DUP1	80547	3	2
[636]	276	SWAP2	80544	3	2
[637]	277	SUB	80541	3	2
[638]	278	SWAP1	80538	3	2
[639]	279	RETURN	80535	0	2
[640]	10056	SWAP1	81857	3	1
[641]	10057	DUP2	81854	3	1
[642]	10058	ISZERO	81851	3	1
[643]	10059	PUSH2	81848	3	1
[644]	10062	JUMPI	81845	10	1
[645]	10063	DUP6	81835	3	1
[646]	10064	SWAP2	81832	3	1
[647]	10065	PUSH2	81829	3	1
[648]	10068	JUMPI	81826	10	1
[649]	10152	JUMPDEST	81816	1	1
[650]	10153	SWAP1	81815	3	1
[651]	10154	POP	81812	2	1
[652]	10155	PUSH1	81810	3	1
[653]	10157	DUP2	81807	3	1
[654]	10158	RETURNDATASIZE	81804	2	1
[655]	10159	PUSH1	81802	3	1
[656]	10161	GT	81799	3	1
[657]	10162	PUSH2	81796	3	1
[658]	10165	JUMPI	81793	10	1
[659]	10166	JUMPDEST	81783	1	1
[660]	10167	DUP2	81782	3	1
[661]	10168	PUSH2	81779	3	1
[662]	10171	PUSH1	81776	3	1
[663]	10173	SWAP4	81773	3	1
[664]	10174	DUP4	81770	3	1
[665]	10175	PUSH2	81767	3	1
[666]	10178	JUMP	81764	8	1
[667]	7990	JUMPDEST	81756	1	1
[668]	7991	SWAP1	81755	3	1
[669]	7992	PUSH1	81752	3	1
[670]	7994	DUP1	81749	3	1
[671]	7995	NOT	81746	3	1
[672]	7996	SWAP2	81743	3	1
[673]	7997	ADD	81740	3	1
[674]	7998	AND	81737	3	1
[675]	7999	DUP2	81734	3	1
[676]	8000	ADD	81731	3	1
[677]	8001	SWAP1	81728	3	1
[678]	8002	DUP2	81725	3	1
[679]	8003	LT	81722	3	1
[680]	8004	PUSH1	81719	3	1
[681]	8006	PUSH1	81716	3	1
[682]	8008	PUSH1	81713	3	1
[683]	8010	SHL	81710	3	1
[684]	8011	SUB	81707	3	1
[685]	8012	DUP3	81704	3	1
[686]	8013	GT	81701	3	1
[687]	8014	OR	81698	3	1
[688]	8015	PUSH2	81695	3	1
[689]	8018	JUMPI	81692	10	1
[690]	8019	PUSH1	81682	3	1
[691]	8021	MSTORE	81679	3	1
[692]	8022	JUMP	81676	8	1
[693]	10179	JUMPDEST	81668	1	1
[694]	10180	DUP2	81667	3	1
[695]	10181	ADD	81664	3	1
[696]	10182	SUB	81661	3	1
[697]	10183	SLT	81658	3	1
[698]	10184	PUSH2	81655	3	1
[699]	10187	JUMPI	81652	10	1
[700]	10188	MLOAD	81642	3	1
[701]	10189	CODESIZE	81639	2	1
[702]	10190	PUSH2	81637	3	1
[703]	10193	JUMP	81634	8	1
[704]	10069	JUMPDEST	81626	1	1
[705]	10070	POP	81625	2	1
[706]	10071	DUP3	81623	3	1
[707]	10072	EXTCODESIZE	81620	100	1
[708]	10073	ISZERO	81520	3	1
[709]	10074	PUSH2	81517	3	1
[710]	10077	JUMPI	81514	10	1
[711]	10078	SWAP2	81504	3	1
[712]	10079	PUSH2	81501	3	1
[713]	10082	SWAP4	81498	3	1
[714]	10083	SWAP2	81495	3	1
[715]	10084	DUP6	81492	3	1
[716]	10085	SWAP4	81489	3	1
[717]	10086	PUSH1	81486	3	1
[718]	10088	MLOAD	81483	3	1
[719]	10089	DUP1	81480	3	1
[720]	10090	SWAP7	81477	3	1
[721]	10091	DUP2	81474	3	1
[722]	10092	SWAP6	81471	3	1
[723]	10093	DUP3	81468	3	1
[724]	10094	SWAP5	81465	3	1
[725]	10095	PUSH4	81462	3	1
[726]	10100	PUSH1	81459	3	1
[727]	10102	SHL	81456	3	1
[728]	10103	DUP5	81453	3	1
[729]	10104	MSTORE	81450	3	1
[730]	10105	PUSH1	81447	3	1
[731]	10107	PUSH1	81444	3	1
[732]	10109	DUP6	81441	3	1
[733]	10110	ADD	81438	3	1
[734]	10111	MSTORE	81435	3	1
[735]	10112	PUSH1	81432	3	1
[736]	10114	DUP5	81429	3	1
[737]	10115	ADD	81426	3	1
[738]	10116	SWAP2	81423	3	1
[739]	10117	PUSH2	81420	3	1
[740]	10120	JUMP	81417	8	1
[741]	9685	JUMPDEST	81409	1	1
[742]	9686	SWAP1	81408	3	1
[743]	9687	PUSH1	81405	3	1
[744]	9689	DUP4	81402	3	1
[745]	9690	DUP3	81399	3	1
[746]	9691	DUP2	81396	3	1
[747]	9692	MSTORE	81393	3	1
[748]	9693	ADD	81390	3	1
[749]	9694	SWAP1	81387	3	1
[750]	9695	PUSH1	81384	3	1
[751]	9697	DUP2	81381	3	1
[752]	9698	PUSH1	81378	3	1
[753]	9700	SHL	81375	3	1
[754]	9701	DUP6	81372	3	1
[755]	9702	ADD	81369	3	1
[756]	9703	ADD	81366	3	1
[757]	9704	SWAP4	81363	3	1
[758]	9705	DUP4	81360	3	1
[759]	9706	PUSH1	81357	3	1
[760]	9708	SWAP2	81354	3	1
[761]	9709	JUMPDEST	81351	1	1
[762]	9710	DUP4	81350	3	1
[763]	9711	DUP4	81347	3	1
[764]	9712	LT	81344	3	1
[765]	9713	PUSH2	81341	3	1
[766]	9716	JUMPI	81338	10	1
[767]	9725	JUMPDEST	81328	1	1
[768]	9726	SWAP1	81327	3	1
[769]	9727	SWAP2	81324	3	1
[770]	9728	SWAP3	81321	3	1
[771]	9729	SWAP4	81318	3	1
[772]	9730	SWAP5	81315	3	1
[773]	9731	SWAP6	81312	3	1
[774]	9732	PUSH1	81309	3	1
[775]	9734	NOT	81306	3	1
[776]	9735	DUP3	81303	3	1
[777]	9736	DUP3	81300	3	1
[778]	9737	SUB	81297	3	1
[779]	9738	ADD	81294	3	1
[780]	9739	DUP7	81291	3	1
[781]	9740	MSTORE	81288	3	1
[782]	9741	DUP7	81285	3	1
[783]	9742	CALLDATALOAD	81282	3	1
[784]	9743	PUSH1	81279	3	1
[785]	9745	NOT	81276	3	1
[786]	9746	DUP5	81273	3	1
[787]	9747	CALLDATASIZE	81270	2	1
[788]	9748	SUB	81268	3	1
[789]	9749	ADD	81265	3	1
[790]	9750	DUP2	81262	3	1
[791]	9751	SLT	81259	3	1
[792]	9752	ISZERO	81256	3	1
[793]	9753	PUSH2	81253	3	1
[794]	9756	JUMPI	81250	10	1
[795]	9757	DUP4	81240	3	1
[796]	9758	ADD	81237	3	1
[797]	9759	SWAP1	81234	3	1
[798]	9760	PUSH1	81231	3	1
[799]	9762	DUP3	81228	3	1
[800]	9763	CALLDATALOAD	81225	3	1
[801]	9764	SWAP3	81222	3	1
[802]	9765	ADD	81219	3	1
[803]	9766	SWAP2	81216	3	1
[804]	9767	PUSH1	81213	3	1
[805]	9769	PUSH1	81210	3	1
[806]	9771	PUSH1	81207	3	1
[807]	9773	SHL	81204	3	1
[808]	9774	SUB	81201	3	1
[809]	9775	DUP2	81198	3	1
[810]	9776	GT	81195	3	1
[811]	9777	PUSH2	81192	3	1
[812]	9780	JUMPI	81189	10	1
[813]	9781	DUP1	81179	3	1
[814]	9782	CALLDATASIZE	81176	2	1
[815]	9783	SUB	81174	3	1
[816]	9784	DUP4	81171	3	1
[817]	9785	SGT	81168	3	1
[818]	9786	PUSH2	81165	3	1
[819]	9789	JUMPI	81162	10	1
[820]	9790	PUSH1	81152	3	1
[821]	9792	DUP3	81149	3	1
[822]	9793	DUP3	81146	3	1
[823]	9794	DUP1	81143	3	1
[824]	9795	PUSH1	81140	3	1
[825]	9797	SWAP7	81137	3	1
[826]	9798	DUP5	81134	3	1
[827]	9799	SWAP7	81131	3	1
[828]	9800	SWAP6	81128	3	1
[829]	9801	DUP6	81125	3	1
[830]	9802	SWAP7	81122	3	1
[831]	9803	MSTORE	81119	3	1
[832]	9804	DUP5	81116	3	1
[833]	9805	DUP5	81113	3	1
[834]	9806	ADD	81110	3	1
[835]	9807	CALLDATACOPY	81107	30	1
[836]	9808	PUSH1	81077	3	1
[837]	9810	DUP3	81074	3	1
[838]	9811	DUP3	81071	3	1
[839]	9812	ADD	81068	3	1
[840]	9813	DUP5	81065	3	1
[841]	9814	ADD	81062	3	1
[842]	9815	MSTORE	81059	6	1
[843]	9816	PUSH1	81053	3	1
[844]	9818	ADD	81050	3	1
[845]	9819	PUSH1	81047	3	1
[846]	9821	NOT	81044	3	1
[847]	9822	AND	81041	3	1
[848]	9823	ADD	81038	3	1
[849]	9824	ADD	81035	3	1
[850]	9825	SWAP9	81032	3	1
[851]	9826	ADD	81029	3	1
[852]	9827	SWAP7	81026	3	1
[853]	9828	ADD	81023	3	1
[854]	9829	SWAP5	81020	3	1
[855]	9830	SWAP4	81017	3	1
[856]	9831	ADD	81014	3	1
[857]	9832	SWAP2	81011	3	1
[858]	9833	SWAP1	81008	3	1
[859]	9834	PUSH2	81005	3	1
[860]	9837	JUMP	81002	8	1
[861]	9709	JUMPDEST	80994	1	1
[862]	9710	DUP4	80993	3	1
[863]	9711	DUP4	80990	3	1
[864]	9712	LT	80987	3	1
[865]	9713	PUSH2	80984	3	1
[866]	9716	JUMPI	80981	10	1
[867]	9717	POP	80971	2	1
[868]	9718	POP	80969	2	1
[869]	9719	POP	80967	2	1
[870]	9720	POP	80965	2	1
[871]	9721	POP	80963	2	1
[872]	9722	POP	80961	2	1
[873]	9723	SWAP1	80959	3	1
[874]	9724	JUMP	80956	8	1
[875]	10121	JUMPDEST	80948	1	1
[876]	10122	SUB	80947	3	1
[877]	10123	SWAP3	80944	3	1
[878]	10124	GAS	80941	2	1
[879]	10125	CALL	80939	79817	1
[880]	0	PUSH1	73017	3	2
[881]	2	PUSH1	73014	3	2
[882]	4	MSTORE	73011	12	2
[883]	5	PUSH1	72999	3	2
[884]	7	CALLDATASIZE	72996	2	2
[885]	8	LT	72994	3	2
[886]	9	PUSH2	72991	3	2
[887]	12	JUMPI	72988	10	2
[888]	13	PUSH1	72978	3	2
[889]	15	CALLDATALOAD	72975	3	2
[890]	16	PUSH1	72972	3	2
[891]	18	SHR	72969	3	2
[892]	19	DUP1	72966	3	2
[893]	20	PUSH4	72963	3	2
[894]	25	GT	72960	3	2
[895]	26	PUSH2	72957	3	2
[896]	29	JUMPI	72954	10	2
[897]	30	DUP1	72944	3	2
[898]	31	PUSH4	72941	3	2
[899]	36	GT	72938	3	2
[900]	37	PUSH2	72935	3	2
[901]	40	JUMPI	72932	10	2
[902]	41	DUP1	72922	3	2
[903]	42	PUSH4	72919	3	2
[904]	47	EQ	72916	3	2
[905]	48	PUSH2	72913	3	2
[906]	51	JUMPI	72910	10	2
[907]	52	DUP1	72900	3	2
[908]	53	PUSH4	72897	3	2
[909]	58	EQ	72894	3	2
[910]	59	PUSH2	72891	3	2
[911]	62	JUMPI	72888	10	2
[912]	63	DUP1	72878	3	2
[913]	64	PUSH4	72875	3	2
[914]	69	EQ	72872	3	2
[915]	70	PUSH2	72869	3	2
[916]	73	JUMPI	72866	10	2
[917]	74	DUP1	72856	3	2
[918]	75	PUSH4	72853	3	2
[919]	80	EQ	72850	3	2
[920]	81	PUSH2	72847	3	2
[921]	84	JUMPI	72844	10	2
[922]	713	JUMPDEST	72834	1	2
[923]	714	PUSH2	72833	3	2
[924]	717	PUSH2	72830	3	2
[925]	720	CALLDATASIZE	72827	2	2
[926]	721	PUSH1	72825	3	2
[927]	723	PUSH2	72822	3	2
[928]	726	JUMP	72819	8	2
[929]	3912	JUMPDEST	72811	1	2
[930]	3913	PUSH1	72810	3	2
[931]	3915	DUP1	72807	3	2
[932]	3916	PUSH1	72804	3	2
[933]	3918	DUP4	72801	3	2
[934]	3919	DUP6	72798	3	2
[935]	3920	SUB	72795	3	2
[936]	3921	SLT	72792	3	2
[937]	3922	ISZERO	72789	3	2
[938]	3923	PUSH2	72786	3	2
[939]	3926	JUMPI	72783	10	2
[940]	3931	JUMPDEST	72773	1	2
[941]	3932	DUP3	72772	3	2
[942]	3933	CALLDATALOAD	72769	3	2
[943]	3934	PUSH1	72766	3	2
[944]	3936	PUSH1	72763	3	2
[945]	3938	PUSH1	72760	3	2
[946]	3940	SHL	72757	3	2
[947]	3941	SUB	72754	3	2
[948]	3942	DUP2	72751	3	2
[949]	3943	GT	72748	3	2
[950]	3944	ISZERO	72745	3	2
[951]	3945	PUSH2	72742	3	2
[952]	3948	JUMPI	72739	10	2
[953]	3953	JUMPDEST	72729	1	2
[954]	3954	PUSH2	72728	3	2
[955]	3957	DUP6	72725	3	2
[956]	3958	DUP3	72722	3	2
[957]	3959	DUP7	72719	3	2
[958]	3960	ADD	72716	3	2
[959]	3961	PUSH2	72713	3	2
[960]	3964	JUMP	72710	8	2
[961]	3084	JUMPDEST	72702	1	2
[962]	3085	PUSH1	72701	3	2
[963]	3087	DUP1	72698	3	2
[964]	3088	DUP4	72695	3	2
[965]	3089	PUSH1	72692	3	2
[966]	3091	DUP5	72689	3	2
[967]	3092	ADD	72686	3	2
[968]	3093	SLT	72683	3	2
[969]	3094	PUSH2	72680	3	2
[970]	3097	JUMPI	72677	10	2
[971]	3102	JUMPDEST	72667	1	2
[972]	3103	POP	72666	2	2
[973]	3104	DUP2	72664	3	2
[974]	3105	CALLDATALOAD	72661	3	2
[975]	3106	PUSH1	72658	3	2
[976]	3108	PUSH1	72655	3	2
[977]	3110	PUSH1	72652	3	2
[978]	3112	SHL	72649	3	2
[979]	3113	SUB	72646	3	2
[980]	3114	DUP2	72643	3	2
[981]	3115	GT	72640	3	2
[982]	3116	ISZERO	72637	3	2
[983]	3117	PUSH2	72634	3	2
[984]	3120	JUMPI	72631	10	2
[985]	3125	JUMPDEST	72621	1	2
[986]	3126	PUSH1	72620	3	2
[987]	3128	DUP4	72617	3	2
[988]	3129	ADD	72614	3	2
[989]	3130	SWAP2	72611	3	2
[990]	3131	POP	72608	2	2
[991]	3132	DUP4	72606	3	2
[992]	3133	PUSH1	72603	3	2
[993]	3135	DUP3	72600	3	2
[994]	3136	PUSH1	72597	3	2
[995]	3138	SHL	72594	3	2
[996]	3139	DUP6	72591	3	2
[997]	3140	ADD	72588	3	2
[998]	3141	ADD	72585	3	2
[999]	3142	GT	72582	3	2
[1000]	3143	ISZERO	72579	3	2