Geth VM Trace Transaction

GETH Trace for Txn Hash 0x9c7ef0f690f443289dbea1f4743d53b7f89d593df9ba2728297f549de1255420

Contract transaction successfully completed.

Raw traces

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

Step	PC	Operation	Gas	GasCost	Depth
[1]	0	PUSH1	58047	3	1
[2]	2	PUSH1	58044	3	1
[3]	4	MSTORE	58041	12	1
[4]	5	PUSH1	58029	3	1
[5]	7	CALLDATASIZE	58026	2	1
[6]	8	LT	58024	3	1
[7]	9	ISZERO	58021	3	1
[8]	10	PUSH2	58018	3	1
[9]	13	JUMPI	58015	10	1
[10]	27	JUMPDEST	58005	1	1
[11]	28	PUSH1	58004	3	1
[12]	30	DUP1	58001	3	1
[13]	31	CALLDATALOAD	57998	3	1
[14]	32	PUSH1	57995	3	1
[15]	34	SHR	57992	3	1
[16]	35	DUP1	57989	3	1
[17]	36	PUSH4	57986	3	1
[18]	41	EQ	57983	3	1
[19]	42	PUSH2	57980	3	1
[20]	45	JUMPI	57977	10	1
[21]	46	DUP1	57967	3	1
[22]	47	PUSH4	57964	3	1
[23]	52	EQ	57961	3	1
[24]	53	PUSH2	57958	3	1
[25]	56	JUMPI	57955	10	1
[26]	57	DUP1	57945	3	1
[27]	58	PUSH4	57942	3	1
[28]	63	EQ	57939	3	1
[29]	64	PUSH2	57936	3	1
[30]	67	JUMPI	57933	10	1
[31]	68	DUP1	57923	3	1
[32]	69	PUSH4	57920	3	1
[33]	74	EQ	57917	3	1
[34]	75	PUSH2	57914	3	1
[35]	78	JUMPI	57911	10	1
[36]	79	DUP1	57901	3	1
[37]	80	PUSH4	57898	3	1
[38]	85	EQ	57895	3	1
[39]	86	PUSH2	57892	3	1
[40]	89	JUMPI	57889	10	1
[41]	90	DUP1	57879	3	1
[42]	91	PUSH4	57876	3	1
[43]	96	EQ	57873	3	1
[44]	97	PUSH2	57870	3	1
[45]	100	JUMPI	57867	10	1
[46]	101	DUP1	57857	3	1
[47]	102	PUSH4	57854	3	1
[48]	107	EQ	57851	3	1
[49]	108	PUSH2	57848	3	1
[50]	111	JUMPI	57845	10	1
[51]	112	DUP1	57835	3	1
[52]	113	PUSH4	57832	3	1
[53]	118	EQ	57829	3	1
[54]	119	PUSH2	57826	3	1
[55]	122	JUMPI	57823	10	1
[56]	123	DUP1	57813	3	1
[57]	124	PUSH4	57810	3	1
[58]	129	EQ	57807	3	1
[59]	130	PUSH2	57804	3	1
[60]	133	JUMPI	57801	10	1
[61]	134	DUP1	57791	3	1
[62]	135	PUSH4	57788	3	1
[63]	140	EQ	57785	3	1
[64]	141	PUSH2	57782	3	1
[65]	144	JUMPI	57779	10	1
[66]	145	DUP1	57769	3	1
[67]	146	PUSH4	57766	3	1
[68]	151	EQ	57763	3	1
[69]	152	PUSH2	57760	3	1
[70]	155	JUMPI	57757	10	1
[71]	6785	JUMPDEST	57747	1	1
[72]	6786	POP	57746	2	1
[73]	6787	CALLVALUE	57744	2	1
[74]	6788	PUSH2	57742	3	1
[75]	6791	JUMPI	57739	10	1
[76]	6792	PUSH2	57729	3	1
[77]	6795	PUSH2	57726	3	1
[78]	6798	CALLDATASIZE	57723	2	1
[79]	6799	PUSH2	57721	3	1
[80]	6802	JUMP	57718	8	1
[81]	8187	JUMPDEST	57710	1	1
[82]	8188	SWAP1	57709	3	1
[83]	8189	PUSH1	57706	3	1
[84]	8191	PUSH1	57703	3	1
[85]	8193	NOT	57700	3	1
[86]	8194	DUP4	57697	3	1
[87]	8195	ADD	57694	3	1
[88]	8196	SLT	57691	3	1
[89]	8197	PUSH2	57688	3	1
[90]	8200	JUMPI	57685	10	1
[91]	8201	PUSH1	57675	3	1
[92]	8203	CALLDATALOAD	57672	3	1
[93]	8204	SWAP2	57669	3	1
[94]	8205	PUSH1	57666	3	1
[95]	8207	CALLDATALOAD	57663	3	1
[96]	8208	PUSH1	57660	3	1
[97]	8210	PUSH1	57657	3	1
[98]	8212	PUSH1	57654	3	1
[99]	8214	SHL	57651	3	1
[100]	8215	SUB	57648	3	1
[101]	8216	DUP2	57645	3	1
[102]	8217	GT	57642	3	1
[103]	8218	PUSH2	57639	3	1
[104]	8221	JUMPI	57636	10	1
[105]	8222	DUP2	57626	3	1
[106]	8223	PUSH2	57623	3	1
[107]	8226	SWAP2	57620	3	1
[108]	8227	PUSH1	57617	3	1
[109]	8229	ADD	57614	3	1
[110]	8230	PUSH2	57611	3	1
[111]	8233	JUMP	57608	8	1
[112]	8139	JUMPDEST	57600	1	1
[113]	8140	SWAP2	57599	3	1
[114]	8141	DUP2	57596	3	1
[115]	8142	PUSH1	57593	3	1
[116]	8144	DUP5	57590	3	1
[117]	8145	ADD	57587	3	1
[118]	8146	SLT	57584	3	1
[119]	8147	ISZERO	57581	3	1
[120]	8148	PUSH2	57578	3	1
[121]	8151	JUMPI	57575	10	1
[122]	8152	DUP3	57565	3	1
[123]	8153	CALLDATALOAD	57562	3	1
[124]	8154	SWAP2	57559	3	1
[125]	8155	PUSH1	57556	3	1
[126]	8157	PUSH1	57553	3	1
[127]	8159	PUSH1	57550	3	1
[128]	8161	SHL	57547	3	1
[129]	8162	SUB	57544	3	1
[130]	8163	DUP4	57541	3	1
[131]	8164	GT	57538	3	1
[132]	8165	PUSH2	57535	3	1
[133]	8168	JUMPI	57532	10	1
[134]	8169	PUSH1	57522	3	1
[135]	8171	DUP1	57519	3	1
[136]	8172	DUP6	57516	3	1
[137]	8173	ADD	57513	3	1
[138]	8174	SWAP5	57510	3	1
[139]	8175	DUP5	57507	3	1
[140]	8176	PUSH1	57504	3	1
[141]	8178	SHL	57501	3	1
[142]	8179	ADD	57498	3	1
[143]	8180	ADD	57495	3	1
[144]	8181	GT	57492	3	1
[145]	8182	PUSH2	57489	3	1
[146]	8185	JUMPI	57486	10	1
[147]	8186	JUMP	57476	8	1
[148]	8234	JUMPDEST	57468	1	1
[149]	8235	SWAP3	57467	3	1
[150]	8236	SWAP1	57464	3	1
[151]	8237	SWAP3	57461	3	1
[152]	8238	SWAP2	57458	3	1
[153]	8239	PUSH1	57455	3	1
[154]	8241	CALLDATALOAD	57452	3	1
[155]	8242	SWAP1	57449	3	1
[156]	8243	PUSH1	57446	3	1
[157]	8245	PUSH1	57443	3	1
[158]	8247	PUSH1	57440	3	1
[159]	8249	SHL	57437	3	1
[160]	8250	SUB	57434	3	1
[161]	8251	DUP3	57431	3	1
[162]	8252	GT	57428	3	1
[163]	8253	PUSH2	57425	3	1
[164]	8256	JUMPI	57422	10	1
[165]	8257	PUSH2	57412	3	1
[166]	8260	SWAP2	57409	3	1
[167]	8261	PUSH1	57406	3	1
[168]	8263	ADD	57403	3	1
[169]	8264	PUSH2	57400	3	1
[170]	8267	JUMP	57397	8	1
[171]	8139	JUMPDEST	57389	1	1
[172]	8140	SWAP2	57388	3	1
[173]	8141	DUP2	57385	3	1
[174]	8142	PUSH1	57382	3	1
[175]	8144	DUP5	57379	3	1
[176]	8145	ADD	57376	3	1
[177]	8146	SLT	57373	3	1
[178]	8147	ISZERO	57370	3	1
[179]	8148	PUSH2	57367	3	1
[180]	8151	JUMPI	57364	10	1
[181]	8152	DUP3	57354	3	1
[182]	8153	CALLDATALOAD	57351	3	1
[183]	8154	SWAP2	57348	3	1
[184]	8155	PUSH1	57345	3	1
[185]	8157	PUSH1	57342	3	1
[186]	8159	PUSH1	57339	3	1
[187]	8161	SHL	57336	3	1
[188]	8162	SUB	57333	3	1
[189]	8163	DUP4	57330	3	1
[190]	8164	GT	57327	3	1
[191]	8165	PUSH2	57324	3	1
[192]	8168	JUMPI	57321	10	1
[193]	8169	PUSH1	57311	3	1
[194]	8171	DUP1	57308	3	1
[195]	8172	DUP6	57305	3	1
[196]	8173	ADD	57302	3	1
[197]	8174	SWAP5	57299	3	1
[198]	8175	DUP5	57296	3	1
[199]	8176	PUSH1	57293	3	1
[200]	8178	SHL	57290	3	1
[201]	8179	ADD	57287	3	1
[202]	8180	ADD	57284	3	1
[203]	8181	GT	57281	3	1
[204]	8182	PUSH2	57278	3	1
[205]	8185	JUMPI	57275	10	1
[206]	8186	JUMP	57265	8	1
[207]	8268	JUMPDEST	57257	1	1
[208]	8269	SWAP1	57256	3	1
[209]	8270	SWAP2	57253	3	1
[210]	8271	JUMP	57250	8	1
[211]	6803	JUMPDEST	57242	1	1
[212]	6804	DUP5	57241	3	1
[213]	6805	DUP8	57238	3	1
[214]	6806	SWAP7	57235	3	1
[215]	6807	SWAP3	57232	3	1
[216]	6808	SWAP4	57229	3	1
[217]	6809	SWAP6	57226	3	1
[218]	6810	SWAP7	57223	3	1
[219]	6811	MSTORE	57220	3	1
[220]	6812	PUSH1	57217	3	1
[221]	6814	PUSH1	57214	3	1
[222]	6816	MSTORE	57211	3	1
[223]	6817	PUSH1	57208	3	1
[224]	6819	DUP8	57205	3	1
[225]	6820	KECCAK256	57202	42	1
[226]	6821	SWAP3	57160	3	1
[227]	6822	PUSH2	57157	3	1
[228]	6825	DUP5	57154	3	1
[229]	6826	PUSH2	57151	3	1
[230]	6829	JUMP	57148	8	1
[231]	10702	JUMPDEST	57140	1	1
[232]	10703	SLOAD	57139	2100	1
[233]	10704	PUSH5	55039	3	1
[234]	10710	DUP2	55036	3	1
[235]	10711	PUSH1	55033	3	1
[236]	10713	SHR	55030	3	1
[237]	10714	AND	55027	3	1
[238]	10715	TIMESTAMP	55024	2	1
[239]	10716	LT	55022	3	1
[240]	10717	SWAP1	55019	3	1
[241]	10718	DUP2	55016	3	1
[242]	10719	ISZERO	55013	3	1
[243]	10720	PUSH2	55010	3	1
[244]	10723	JUMPI	55007	10	1
[245]	10748	JUMPDEST	54997	1	1
[246]	10749	PUSH5	54996	3	1
[247]	10755	SWAP2	54993	3	1
[248]	10756	POP	54990	2	1
[249]	10757	PUSH1	54988	3	1
[250]	10759	SHR	54985	3	1
[251]	10760	AND	54982	3	1
[252]	10761	TIMESTAMP	54979	2	1
[253]	10762	GT	54977	3	1
[254]	10763	CODESIZE	54974	2	1
[255]	10764	PUSH2	54972	3	1
[256]	10767	JUMP	54969	8	1
[257]	10724	JUMPDEST	54961	1	1
[258]	10725	POP	54960	2	1
[259]	10726	PUSH2	54958	3	1
[260]	10729	JUMPI	54955	10	1
[261]	10730	JUMP	54945	8	1
[262]	6830	JUMPDEST	54937	1	1
[263]	6831	PUSH2	54936	3	1
[264]	6834	JUMP	54933	8	1
[265]	10388	JUMPDEST	54925	1	1
[266]	10389	PUSH1	54924	3	1
[267]	10391	MLOAD	54921	3	1
[268]	10392	PUSH4	54918	3	1
[269]	10397	PUSH1	54915	3	1
[270]	10399	SHL	54912	3	1
[271]	10400	DUP2	54909	3	1
[272]	10401	MSTORE	54906	9	1
[273]	10402	PUSH1	54897	3	1
[274]	10404	PUSH1	54894	3	1
[275]	10406	DUP3	54891	3	1
[276]	10407	ADD	54888	3	1
[277]	10408	DUP2	54885	3	1
[278]	10409	SWAP1	54882	3	1
[279]	10410	MSTORE	54879	6	1
[280]	10411	PUSH1	54873	3	1
[281]	10413	SWAP4	54870	3	1
[282]	10414	PUSH32	54867	3	1
[283]	10447	PUSH1	54864	3	1
[284]	10449	PUSH1	54861	3	1
[285]	10451	PUSH1	54858	3	1
[286]	10453	SHL	54855	3	1
[287]	10454	SUB	54852	3	1
[288]	10455	AND	54849	3	1
[289]	10456	SWAP3	54846	3	1
[290]	10457	SWAP1	54843	3	1
[291]	10458	SWAP2	54840	3	1
[292]	10459	DUP2	54837	3	1
[293]	10460	DUP1	54834	3	1
[294]	10461	PUSH2	54831	3	1
[295]	10464	PUSH1	54828	3	1
[296]	10466	DUP3	54825	3	1
[297]	10467	ADD	54822	3	1
[298]	10468	DUP7	54819	3	1
[299]	10469	DUP10	54816	3	1
[300]	10470	PUSH2	54813	3	1
[301]	10473	JUMP	54810	8	1
[302]	10098	JUMPDEST	54802	1	1
[303]	10099	SWAP1	54801	3	1
[304]	10100	PUSH1	54798	3	1
[305]	10102	DUP4	54795	3	1
[306]	10103	DUP3	54792	3	1
[307]	10104	DUP2	54789	3	1
[308]	10105	MSTORE	54786	6	1
[309]	10106	ADD	54780	3	1
[310]	10107	SWAP1	54777	3	1
[311]	10108	PUSH1	54774	3	1
[312]	10110	DUP2	54771	3	1
[313]	10111	PUSH1	54768	3	1
[314]	10113	SHL	54765	3	1
[315]	10114	DUP6	54762	3	1
[316]	10115	ADD	54759	3	1
[317]	10116	ADD	54756	3	1
[318]	10117	SWAP4	54753	3	1
[319]	10118	DUP4	54750	3	1
[320]	10119	PUSH1	54747	3	1
[321]	10121	SWAP2	54744	3	1
[322]	10122	JUMPDEST	54741	1	1
[323]	10123	DUP4	54740	3	1
[324]	10124	DUP4	54737	3	1
[325]	10125	LT	54734	3	1
[326]	10126	PUSH2	54731	3	1
[327]	10129	JUMPI	54728	10	1
[328]	10138	JUMPDEST	54718	1	1
[329]	10139	SWAP1	54717	3	1
[330]	10140	SWAP2	54714	3	1
[331]	10141	SWAP3	54711	3	1
[332]	10142	SWAP4	54708	3	1
[333]	10143	SWAP5	54705	3	1
[334]	10144	SWAP6	54702	3	1
[335]	10145	PUSH1	54699	3	1
[336]	10147	NOT	54696	3	1
[337]	10148	DUP3	54693	3	1
[338]	10149	DUP3	54690	3	1
[339]	10150	SUB	54687	3	1
[340]	10151	ADD	54684	3	1
[341]	10152	DUP7	54681	3	1
[342]	10153	MSTORE	54678	6	1
[343]	10154	DUP7	54672	3	1
[344]	10155	CALLDATALOAD	54669	3	1
[345]	10156	PUSH1	54666	3	1
[346]	10158	NOT	54663	3	1
[347]	10159	DUP5	54660	3	1
[348]	10160	CALLDATASIZE	54657	2	1
[349]	10161	SUB	54655	3	1
[350]	10162	ADD	54652	3	1
[351]	10163	DUP2	54649	3	1
[352]	10164	SLT	54646	3	1
[353]	10165	ISZERO	54643	3	1
[354]	10166	PUSH2	54640	3	1
[355]	10169	JUMPI	54637	10	1
[356]	10170	DUP4	54627	3	1
[357]	10171	ADD	54624	3	1
[358]	10172	SWAP1	54621	3	1
[359]	10173	PUSH1	54618	3	1
[360]	10175	DUP3	54615	3	1
[361]	10176	CALLDATALOAD	54612	3	1
[362]	10177	SWAP3	54609	3	1
[363]	10178	ADD	54606	3	1
[364]	10179	SWAP2	54603	3	1
[365]	10180	PUSH1	54600	3	1
[366]	10182	PUSH1	54597	3	1
[367]	10184	PUSH1	54594	3	1
[368]	10186	SHL	54591	3	1
[369]	10187	SUB	54588	3	1
[370]	10188	DUP2	54585	3	1
[371]	10189	GT	54582	3	1
[372]	10190	PUSH2	54579	3	1
[373]	10193	JUMPI	54576	10	1
[374]	10194	DUP1	54566	3	1
[375]	10195	CALLDATASIZE	54563	2	1
[376]	10196	SUB	54561	3	1
[377]	10197	DUP4	54558	3	1
[378]	10198	SGT	54555	3	1
[379]	10199	PUSH2	54552	3	1
[380]	10202	JUMPI	54549	10	1
[381]	10203	PUSH1	54539	3	1
[382]	10205	DUP3	54536	3	1
[383]	10206	DUP3	54533	3	1
[384]	10207	DUP1	54530	3	1
[385]	10208	PUSH1	54527	3	1
[386]	10210	SWAP7	54524	3	1
[387]	10211	DUP5	54521	3	1
[388]	10212	SWAP7	54518	3	1
[389]	10213	SWAP6	54515	3	1
[390]	10214	DUP6	54512	3	1
[391]	10215	SWAP7	54509	3	1
[392]	10216	MSTORE	54506	6	1
[393]	10217	DUP5	54500	3	1
[394]	10218	DUP5	54497	3	1
[395]	10219	ADD	54494	3	1
[396]	10220	CALLDATACOPY	54491	57	1
[397]	10221	PUSH1	54434	3	1
[398]	10223	DUP3	54431	3	1
[399]	10224	DUP3	54428	3	1
[400]	10225	ADD	54425	3	1
[401]	10226	DUP5	54422	3	1
[402]	10227	ADD	54419	3	1
[403]	10228	MSTORE	54416	6	1
[404]	10229	PUSH1	54410	3	1
[405]	10231	ADD	54407	3	1
[406]	10232	PUSH1	54404	3	1
[407]	10234	NOT	54401	3	1
[408]	10235	AND	54398	3	1
[409]	10236	ADD	54395	3	1
[410]	10237	ADD	54392	3	1
[411]	10238	SWAP9	54389	3	1
[412]	10239	ADD	54386	3	1
[413]	10240	SWAP7	54383	3	1
[414]	10241	ADD	54380	3	1
[415]	10242	SWAP5	54377	3	1
[416]	10243	SWAP4	54374	3	1
[417]	10244	ADD	54371	3	1
[418]	10245	SWAP2	54368	3	1
[419]	10246	SWAP1	54365	3	1
[420]	10247	PUSH2	54362	3	1
[421]	10250	JUMP	54359	8	1
[422]	10122	JUMPDEST	54351	1	1
[423]	10123	DUP4	54350	3	1
[424]	10124	DUP4	54347	3	1
[425]	10125	LT	54344	3	1
[426]	10126	PUSH2	54341	3	1
[427]	10129	JUMPI	54338	10	1
[428]	10130	POP	54328	2	1
[429]	10131	POP	54326	2	1
[430]	10132	POP	54324	2	1
[431]	10133	POP	54322	2	1
[432]	10134	POP	54320	2	1
[433]	10135	POP	54318	2	1
[434]	10136	SWAP1	54316	3	1
[435]	10137	JUMP	54313	8	1
[436]	10474	JUMPDEST	54305	1	1
[437]	10475	SUB	54304	3	1
[438]	10476	DUP2	54301	3	1
[439]	10477	DUP7	54298	3	1
[440]	10478	GAS	54295	2	1
[441]	10479	STATICCALL	54293	53486	1
[442]	0	PUSH1	50886	3	2
[443]	2	PUSH1	50883	3	2
[444]	4	MSTORE	50880	12	2
[445]	5	PUSH1	50868	3	2
[446]	7	CALLDATASIZE	50865	2	2
[447]	8	LT	50863	3	2
[448]	9	PUSH2	50860	3	2
[449]	12	JUMPI	50857	10	2
[450]	13	PUSH1	50847	3	2
[451]	15	CALLDATALOAD	50844	3	2
[452]	16	PUSH1	50841	3	2
[453]	18	SHR	50838	3	2
[454]	19	DUP1	50835	3	2
[455]	20	PUSH4	50832	3	2
[456]	25	GT	50829	3	2
[457]	26	PUSH2	50826	3	2
[458]	29	JUMPI	50823	10	2
[459]	30	DUP1	50813	3	2
[460]	31	PUSH4	50810	3	2
[461]	36	GT	50807	3	2
[462]	37	PUSH2	50804	3	2
[463]	40	JUMPI	50801	10	2
[464]	41	DUP1	50791	3	2
[465]	42	PUSH4	50788	3	2
[466]	47	EQ	50785	3	2
[467]	48	PUSH2	50782	3	2
[468]	51	JUMPI	50779	10	2
[469]	52	DUP1	50769	3	2
[470]	53	PUSH4	50766	3	2
[471]	58	EQ	50763	3	2
[472]	59	PUSH2	50760	3	2
[473]	62	JUMPI	50757	10	2
[474]	646	JUMPDEST	50747	1	2
[475]	647	CALLVALUE	50746	2	2
[476]	648	DUP1	50744	3	2
[477]	649	ISZERO	50741	3	2
[478]	650	PUSH2	50738	3	2
[479]	653	JUMPI	50735	10	2
[480]	658	JUMPDEST	50725	1	2
[481]	659	POP	50724	2	2
[482]	660	PUSH2	50722	3	2
[483]	663	PUSH2	50719	3	2
[484]	666	CALLDATASIZE	50716	2	2
[485]	667	PUSH1	50714	3	2
[486]	669	PUSH2	50711	3	2
[487]	672	JUMP	50708	8	2
[488]	3912	JUMPDEST	50700	1	2
[489]	3913	PUSH1	50699	3	2
[490]	3915	DUP1	50696	3	2
[491]	3916	PUSH1	50693	3	2
[492]	3918	DUP4	50690	3	2
[493]	3919	DUP6	50687	3	2
[494]	3920	SUB	50684	3	2
[495]	3921	SLT	50681	3	2
[496]	3922	ISZERO	50678	3	2
[497]	3923	PUSH2	50675	3	2
[498]	3926	JUMPI	50672	10	2
[499]	3931	JUMPDEST	50662	1	2
[500]	3932	DUP3	50661	3	2
[501]	3933	CALLDATALOAD	50658	3	2
[502]	3934	PUSH1	50655	3	2
[503]	3936	PUSH1	50652	3	2
[504]	3938	PUSH1	50649	3	2
[505]	3940	SHL	50646	3	2
[506]	3941	SUB	50643	3	2
[507]	3942	DUP2	50640	3	2
[508]	3943	GT	50637	3	2
[509]	3944	ISZERO	50634	3	2
[510]	3945	PUSH2	50631	3	2
[511]	3948	JUMPI	50628	10	2
[512]	3953	JUMPDEST	50618	1	2
[513]	3954	PUSH2	50617	3	2
[514]	3957	DUP6	50614	3	2
[515]	3958	DUP3	50611	3	2
[516]	3959	DUP7	50608	3	2
[517]	3960	ADD	50605	3	2
[518]	3961	PUSH2	50602	3	2
[519]	3964	JUMP	50599	8	2
[520]	3084	JUMPDEST	50591	1	2
[521]	3085	PUSH1	50590	3	2
[522]	3087	DUP1	50587	3	2
[523]	3088	DUP4	50584	3	2
[524]	3089	PUSH1	50581	3	2
[525]	3091	DUP5	50578	3	2
[526]	3092	ADD	50575	3	2
[527]	3093	SLT	50572	3	2
[528]	3094	PUSH2	50569	3	2
[529]	3097	JUMPI	50566	10	2
[530]	3102	JUMPDEST	50556	1	2
[531]	3103	POP	50555	2	2
[532]	3104	DUP2	50553	3	2
[533]	3105	CALLDATALOAD	50550	3	2
[534]	3106	PUSH1	50547	3	2
[535]	3108	PUSH1	50544	3	2
[536]	3110	PUSH1	50541	3	2
[537]	3112	SHL	50538	3	2
[538]	3113	SUB	50535	3	2
[539]	3114	DUP2	50532	3	2
[540]	3115	GT	50529	3	2
[541]	3116	ISZERO	50526	3	2
[542]	3117	PUSH2	50523	3	2
[543]	3120	JUMPI	50520	10	2
[544]	3125	JUMPDEST	50510	1	2
[545]	3126	PUSH1	50509	3	2
[546]	3128	DUP4	50506	3	2
[547]	3129	ADD	50503	3	2
[548]	3130	SWAP2	50500	3	2
[549]	3131	POP	50497	2	2
[550]	3132	DUP4	50495	3	2
[551]	3133	PUSH1	50492	3	2
[552]	3135	DUP3	50489	3	2
[553]	3136	PUSH1	50486	3	2
[554]	3138	SHL	50483	3	2
[555]	3139	DUP6	50480	3	2
[556]	3140	ADD	50477	3	2
[557]	3141	ADD	50474	3	2
[558]	3142	GT	50471	3	2
[559]	3143	ISZERO	50468	3	2
[560]	3144	PUSH2	50465	3	2
[561]	3147	JUMPI	50462	10	2
[562]	3152	JUMPDEST	50452	1	2
[563]	3153	SWAP3	50451	3	2
[564]	3154	POP	50448	2	2
[565]	3155	SWAP3	50446	3	2
[566]	3156	SWAP1	50443	3	2
[567]	3157	POP	50440	2	2
[568]	3158	JUMP	50438	8	2
[569]	3965	JUMPDEST	50430	1	2
[570]	3966	SWAP1	50429	3	2
[571]	3967	SWAP7	50426	3	2
[572]	3968	SWAP1	50423	3	2
[573]	3969	SWAP6	50420	3	2
[574]	3970	POP	50417	2	2
[575]	3971	SWAP4	50415	3	2
[576]	3972	POP	50412	2	2
[577]	3973	POP	50410	2	2
[578]	3974	POP	50408	2	2
[579]	3975	POP	50406	2	2
[580]	3976	JUMP	50404	8	2
[581]	673	JUMPDEST	50396	1	2
[582]	674	PUSH2	50395	3	2
[583]	677	JUMP	50392	8	2
[584]	2080	JUMPDEST	50384	1	2
[585]	2081	PUSH1	50383	3	2
[586]	2083	SLOAD	50380	2100	2
[587]	2084	PUSH1	48280	3	2
[588]	2086	SWAP1	48277	3	2
[589]	2087	PUSH2	48274	3	2
[590]	2090	SWAP1	48271	3	2
[591]	2091	DUP4	48268	3	2
[592]	2092	SWAP1	48265	3	2
[593]	2093	PUSH2	48262	3	2
[594]	2096	JUMP	48259	8	2
[595]	4398	JUMPDEST	48251	1	2
[596]	4399	DUP1	48250	3	2
[597]	4400	DUP3	48247	3	2
[598]	4401	MUL	48244	5	2
[599]	4402	DUP2	48239	3	2
[600]	4403	ISZERO	48236	3	2
[601]	4404	DUP3	48233	3	2
[602]	4405	DUP3	48230	3	2
[603]	4406	DIV	48227	5	2
[604]	4407	DUP5	48222	3	2
[605]	4408	EQ	48219	3	2
[606]	4409	OR	48216	3	2
[607]	4410	PUSH2	48213	3	2
[608]	4413	JUMPI	48210	10	2
[609]	753	JUMPDEST	48200	1	2
[610]	754	SWAP3	48199	3	2
[611]	755	SWAP2	48196	3	2
[612]	756	POP	48193	2	2
[613]	757	POP	48191	2	2
[614]	758	JUMP	48189	8	2
[615]	2097	JUMPDEST	48181	1	2
[616]	2098	SWAP4	48180	3	2
[617]	2099	SWAP3	48177	3	2
[618]	2100	POP	48174	2	2
[619]	2101	POP	48172	2	2
[620]	2102	POP	48170	2	2
[621]	2103	JUMP	48168	8	2
[622]	678	JUMPDEST	48160	1	2
[623]	679	PUSH1	48159	3	2
[624]	681	MLOAD	48156	3	2
[625]	682	SWAP1	48153	3	2
[626]	683	DUP2	48150	3	2
[627]	684	MSTORE	48147	9	2
[628]	685	PUSH1	48138	3	2
[629]	687	ADD	48135	3	2
[630]	688	PUSH2	48132	3	2
[631]	691	JUMP	48129	8	2
[632]	271	JUMPDEST	48121	1	2
[633]	272	PUSH1	48120	3	2
[634]	274	MLOAD	48117	3	2
[635]	275	DUP1	48114	3	2
[636]	276	SWAP2	48111	3	2
[637]	277	SUB	48108	3	2
[638]	278	SWAP1	48105	3	2
[639]	279	RETURN	48102	0	2
[640]	10480	SWAP1	48909	3	1
[641]	10481	DUP2	48906	3	1
[642]	10482	ISZERO	48903	3	1
[643]	10483	PUSH2	48900	3	1
[644]	10486	JUMPI	48897	10	1
[645]	10487	DUP6	48887	3	1
[646]	10488	SWAP2	48884	3	1
[647]	10489	PUSH2	48881	3	1
[648]	10492	JUMPI	48878	10	1
[649]	10576	JUMPDEST	48868	1	1
[650]	10577	SWAP1	48867	3	1
[651]	10578	POP	48864	2	1
[652]	10579	PUSH1	48862	3	1
[653]	10581	DUP2	48859	3	1
[654]	10582	RETURNDATASIZE	48856	2	1
[655]	10583	PUSH1	48854	3	1
[656]	10585	GT	48851	3	1
[657]	10586	PUSH2	48848	3	1
[658]	10589	JUMPI	48845	10	1
[659]	10590	JUMPDEST	48835	1	1
[660]	10591	DUP2	48834	3	1
[661]	10592	PUSH2	48831	3	1
[662]	10595	PUSH1	48828	3	1
[663]	10597	SWAP4	48825	3	1
[664]	10598	DUP4	48822	3	1
[665]	10599	PUSH2	48819	3	1
[666]	10602	JUMP	48816	8	1
[667]	8403	JUMPDEST	48808	1	1
[668]	8404	SWAP1	48807	3	1
[669]	8405	PUSH1	48804	3	1
[670]	8407	DUP1	48801	3	1
[671]	8408	NOT	48798	3	1
[672]	8409	SWAP2	48795	3	1
[673]	8410	ADD	48792	3	1
[674]	8411	AND	48789	3	1
[675]	8412	DUP2	48786	3	1
[676]	8413	ADD	48783	3	1
[677]	8414	SWAP1	48780	3	1
[678]	8415	DUP2	48777	3	1
[679]	8416	LT	48774	3	1
[680]	8417	PUSH1	48771	3	1
[681]	8419	PUSH1	48768	3	1
[682]	8421	PUSH1	48765	3	1
[683]	8423	SHL	48762	3	1
[684]	8424	SUB	48759	3	1
[685]	8425	DUP3	48756	3	1
[686]	8426	GT	48753	3	1
[687]	8427	OR	48750	3	1
[688]	8428	PUSH2	48747	3	1
[689]	8431	JUMPI	48744	10	1
[690]	8432	PUSH1	48734	3	1
[691]	8434	MSTORE	48731	3	1
[692]	8435	JUMP	48728	8	1
[693]	10603	JUMPDEST	48720	1	1
[694]	10604	DUP2	48719	3	1
[695]	10605	ADD	48716	3	1
[696]	10606	SUB	48713	3	1
[697]	10607	SLT	48710	3	1
[698]	10608	PUSH2	48707	3	1
[699]	10611	JUMPI	48704	10	1
[700]	10612	MLOAD	48694	3	1
[701]	10613	CODESIZE	48691	2	1
[702]	10614	PUSH2	48689	3	1
[703]	10617	JUMP	48686	8	1
[704]	10493	JUMPDEST	48678	1	1
[705]	10494	POP	48677	2	1
[706]	10495	DUP3	48675	3	1
[707]	10496	EXTCODESIZE	48672	100	1
[708]	10497	ISZERO	48572	3	1
[709]	10498	PUSH2	48569	3	1
[710]	10501	JUMPI	48566	10	1
[711]	10502	SWAP2	48556	3	1
[712]	10503	PUSH2	48553	3	1
[713]	10506	SWAP4	48550	3	1
[714]	10507	SWAP2	48547	3	1
[715]	10508	DUP6	48544	3	1
[716]	10509	SWAP4	48541	3	1
[717]	10510	PUSH1	48538	3	1
[718]	10512	MLOAD	48535	3	1
[719]	10513	DUP1	48532	3	1
[720]	10514	SWAP7	48529	3	1
[721]	10515	DUP2	48526	3	1
[722]	10516	SWAP6	48523	3	1
[723]	10517	DUP3	48520	3	1
[724]	10518	SWAP5	48517	3	1
[725]	10519	PUSH4	48514	3	1
[726]	10524	PUSH1	48511	3	1
[727]	10526	SHL	48508	3	1
[728]	10527	DUP5	48505	3	1
[729]	10528	MSTORE	48502	3	1
[730]	10529	PUSH1	48499	3	1
[731]	10531	PUSH1	48496	3	1
[732]	10533	DUP6	48493	3	1
[733]	10534	ADD	48490	3	1
[734]	10535	MSTORE	48487	3	1
[735]	10536	PUSH1	48484	3	1
[736]	10538	DUP5	48481	3	1
[737]	10539	ADD	48478	3	1
[738]	10540	SWAP2	48475	3	1
[739]	10541	PUSH2	48472	3	1
[740]	10544	JUMP	48469	8	1
[741]	10098	JUMPDEST	48461	1	1
[742]	10099	SWAP1	48460	3	1
[743]	10100	PUSH1	48457	3	1
[744]	10102	DUP4	48454	3	1
[745]	10103	DUP3	48451	3	1
[746]	10104	DUP2	48448	3	1
[747]	10105	MSTORE	48445	3	1
[748]	10106	ADD	48442	3	1
[749]	10107	SWAP1	48439	3	1
[750]	10108	PUSH1	48436	3	1
[751]	10110	DUP2	48433	3	1
[752]	10111	PUSH1	48430	3	1
[753]	10113	SHL	48427	3	1
[754]	10114	DUP6	48424	3	1
[755]	10115	ADD	48421	3	1
[756]	10116	ADD	48418	3	1
[757]	10117	SWAP4	48415	3	1
[758]	10118	DUP4	48412	3	1
[759]	10119	PUSH1	48409	3	1
[760]	10121	SWAP2	48406	3	1
[761]	10122	JUMPDEST	48403	1	1
[762]	10123	DUP4	48402	3	1
[763]	10124	DUP4	48399	3	1
[764]	10125	LT	48396	3	1
[765]	10126	PUSH2	48393	3	1
[766]	10129	JUMPI	48390	10	1
[767]	10138	JUMPDEST	48380	1	1
[768]	10139	SWAP1	48379	3	1
[769]	10140	SWAP2	48376	3	1
[770]	10141	SWAP3	48373	3	1
[771]	10142	SWAP4	48370	3	1
[772]	10143	SWAP5	48367	3	1
[773]	10144	SWAP6	48364	3	1
[774]	10145	PUSH1	48361	3	1
[775]	10147	NOT	48358	3	1
[776]	10148	DUP3	48355	3	1
[777]	10149	DUP3	48352	3	1
[778]	10150	SUB	48349	3	1
[779]	10151	ADD	48346	3	1
[780]	10152	DUP7	48343	3	1
[781]	10153	MSTORE	48340	3	1
[782]	10154	DUP7	48337	3	1
[783]	10155	CALLDATALOAD	48334	3	1
[784]	10156	PUSH1	48331	3	1
[785]	10158	NOT	48328	3	1
[786]	10159	DUP5	48325	3	1
[787]	10160	CALLDATASIZE	48322	2	1
[788]	10161	SUB	48320	3	1
[789]	10162	ADD	48317	3	1
[790]	10163	DUP2	48314	3	1
[791]	10164	SLT	48311	3	1
[792]	10165	ISZERO	48308	3	1
[793]	10166	PUSH2	48305	3	1
[794]	10169	JUMPI	48302	10	1
[795]	10170	DUP4	48292	3	1
[796]	10171	ADD	48289	3	1
[797]	10172	SWAP1	48286	3	1
[798]	10173	PUSH1	48283	3	1
[799]	10175	DUP3	48280	3	1
[800]	10176	CALLDATALOAD	48277	3	1
[801]	10177	SWAP3	48274	3	1
[802]	10178	ADD	48271	3	1
[803]	10179	SWAP2	48268	3	1
[804]	10180	PUSH1	48265	3	1
[805]	10182	PUSH1	48262	3	1
[806]	10184	PUSH1	48259	3	1
[807]	10186	SHL	48256	3	1
[808]	10187	SUB	48253	3	1
[809]	10188	DUP2	48250	3	1
[810]	10189	GT	48247	3	1
[811]	10190	PUSH2	48244	3	1
[812]	10193	JUMPI	48241	10	1
[813]	10194	DUP1	48231	3	1
[814]	10195	CALLDATASIZE	48228	2	1
[815]	10196	SUB	48226	3	1
[816]	10197	DUP4	48223	3	1
[817]	10198	SGT	48220	3	1
[818]	10199	PUSH2	48217	3	1
[819]	10202	JUMPI	48214	10	1
[820]	10203	PUSH1	48204	3	1
[821]	10205	DUP3	48201	3	1
[822]	10206	DUP3	48198	3	1
[823]	10207	DUP1	48195	3	1
[824]	10208	PUSH1	48192	3	1
[825]	10210	SWAP7	48189	3	1
[826]	10211	DUP5	48186	3	1
[827]	10212	SWAP7	48183	3	1
[828]	10213	SWAP6	48180	3	1
[829]	10214	DUP6	48177	3	1
[830]	10215	SWAP7	48174	3	1
[831]	10216	MSTORE	48171	3	1
[832]	10217	DUP5	48168	3	1
[833]	10218	DUP5	48165	3	1
[834]	10219	ADD	48162	3	1
[835]	10220	CALLDATACOPY	48159	30	1
[836]	10221	PUSH1	48129	3	1
[837]	10223	DUP3	48126	3	1
[838]	10224	DUP3	48123	3	1
[839]	10225	ADD	48120	3	1
[840]	10226	DUP5	48117	3	1
[841]	10227	ADD	48114	3	1
[842]	10228	MSTORE	48111	6	1
[843]	10229	PUSH1	48105	3	1
[844]	10231	ADD	48102	3	1
[845]	10232	PUSH1	48099	3	1
[846]	10234	NOT	48096	3	1
[847]	10235	AND	48093	3	1
[848]	10236	ADD	48090	3	1
[849]	10237	ADD	48087	3	1
[850]	10238	SWAP9	48084	3	1
[851]	10239	ADD	48081	3	1
[852]	10240	SWAP7	48078	3	1
[853]	10241	ADD	48075	3	1
[854]	10242	SWAP5	48072	3	1
[855]	10243	SWAP4	48069	3	1
[856]	10244	ADD	48066	3	1
[857]	10245	SWAP2	48063	3	1
[858]	10246	SWAP1	48060	3	1
[859]	10247	PUSH2	48057	3	1
[860]	10250	JUMP	48054	8	1
[861]	10122	JUMPDEST	48046	1	1
[862]	10123	DUP4	48045	3	1
[863]	10124	DUP4	48042	3	1
[864]	10125	LT	48039	3	1
[865]	10126	PUSH2	48036	3	1
[866]	10129	JUMPI	48033	10	1
[867]	10130	POP	48023	2	1
[868]	10131	POP	48021	2	1
[869]	10132	POP	48019	2	1
[870]	10133	POP	48017	2	1
[871]	10134	POP	48015	2	1
[872]	10135	POP	48013	2	1
[873]	10136	SWAP1	48011	3	1
[874]	10137	JUMP	48008	8	1
[875]	10545	JUMPDEST	48000	1	1
[876]	10546	SUB	47999	3	1
[877]	10547	SWAP3	47996	3	1
[878]	10548	GAS	47993	2	1
[879]	10549	CALL	47991	47384	1
[880]	0	PUSH1	40584	3	2
[881]	2	PUSH1	40581	3	2
[882]	4	MSTORE	40578	12	2
[883]	5	PUSH1	40566	3	2
[884]	7	CALLDATASIZE	40563	2	2
[885]	8	LT	40561	3	2
[886]	9	PUSH2	40558	3	2
[887]	12	JUMPI	40555	10	2
[888]	13	PUSH1	40545	3	2
[889]	15	CALLDATALOAD	40542	3	2
[890]	16	PUSH1	40539	3	2
[891]	18	SHR	40536	3	2
[892]	19	DUP1	40533	3	2
[893]	20	PUSH4	40530	3	2
[894]	25	GT	40527	3	2
[895]	26	PUSH2	40524	3	2
[896]	29	JUMPI	40521	10	2
[897]	30	DUP1	40511	3	2
[898]	31	PUSH4	40508	3	2
[899]	36	GT	40505	3	2
[900]	37	PUSH2	40502	3	2
[901]	40	JUMPI	40499	10	2
[902]	41	DUP1	40489	3	2
[903]	42	PUSH4	40486	3	2
[904]	47	EQ	40483	3	2
[905]	48	PUSH2	40480	3	2
[906]	51	JUMPI	40477	10	2
[907]	52	DUP1	40467	3	2
[908]	53	PUSH4	40464	3	2
[909]	58	EQ	40461	3	2
[910]	59	PUSH2	40458	3	2
[911]	62	JUMPI	40455	10	2
[912]	63	DUP1	40445	3	2
[913]	64	PUSH4	40442	3	2
[914]	69	EQ	40439	3	2
[915]	70	PUSH2	40436	3	2
[916]	73	JUMPI	40433	10	2
[917]	74	DUP1	40423	3	2
[918]	75	PUSH4	40420	3	2
[919]	80	EQ	40417	3	2
[920]	81	PUSH2	40414	3	2
[921]	84	JUMPI	40411	10	2
[922]	713	JUMPDEST	40401	1	2
[923]	714	PUSH2	40400	3	2
[924]	717	PUSH2	40397	3	2
[925]	720	CALLDATASIZE	40394	2	2
[926]	721	PUSH1	40392	3	2
[927]	723	PUSH2	40389	3	2
[928]	726	JUMP	40386	8	2
[929]	3912	JUMPDEST	40378	1	2
[930]	3913	PUSH1	40377	3	2
[931]	3915	DUP1	40374	3	2
[932]	3916	PUSH1	40371	3	2
[933]	3918	DUP4	40368	3	2
[934]	3919	DUP6	40365	3	2
[935]	3920	SUB	40362	3	2
[936]	3921	SLT	40359	3	2
[937]	3922	ISZERO	40356	3	2
[938]	3923	PUSH2	40353	3	2
[939]	3926	JUMPI	40350	10	2
[940]	3931	JUMPDEST	40340	1	2
[941]	3932	DUP3	40339	3	2
[942]	3933	CALLDATALOAD	40336	3	2
[943]	3934	PUSH1	40333	3	2
[944]	3936	PUSH1	40330	3	2
[945]	3938	PUSH1	40327	3	2
[946]	3940	SHL	40324	3	2
[947]	3941	SUB	40321	3	2
[948]	3942	DUP2	40318	3	2
[949]	3943	GT	40315	3	2
[950]	3944	ISZERO	40312	3	2
[951]	3945	PUSH2	40309	3	2
[952]	3948	JUMPI	40306	10	2
[953]	3953	JUMPDEST	40296	1	2
[954]	3954	PUSH2	40295	3	2
[955]	3957	DUP6	40292	3	2
[956]	3958	DUP3	40289	3	2
[957]	3959	DUP7	40286	3	2
[958]	3960	ADD	40283	3	2
[959]	3961	PUSH2	40280	3	2
[960]	3964	JUMP	40277	8	2
[961]	3084	JUMPDEST	40269	1	2
[962]	3085	PUSH1	40268	3	2
[963]	3087	DUP1	40265	3	2
[964]	3088	DUP4	40262	3	2
[965]	3089	PUSH1	40259	3	2
[966]	3091	DUP5	40256	3	2
[967]	3092	ADD	40253	3	2
[968]	3093	SLT	40250	3	2
[969]	3094	PUSH2	40247	3	2
[970]	3097	JUMPI	40244	10	2
[971]	3102	JUMPDEST	40234	1	2
[972]	3103	POP	40233	2	2
[973]	3104	DUP2	40231	3	2
[974]	3105	CALLDATALOAD	40228	3	2
[975]	3106	PUSH1	40225	3	2
[976]	3108	PUSH1	40222	3	2
[977]	3110	PUSH1	40219	3	2
[978]	3112	SHL	40216	3	2
[979]	3113	SUB	40213	3	2
[980]	3114	DUP2	40210	3	2
[981]	3115	GT	40207	3	2
[982]	3116	ISZERO	40204	3	2
[983]	3117	PUSH2	40201	3	2
[984]	3120	JUMPI	40198	10	2
[985]	3125	JUMPDEST	40188	1	2
[986]	3126	PUSH1	40187	3	2
[987]	3128	DUP4	40184	3	2
[988]	3129	ADD	40181	3	2
[989]	3130	SWAP2	40178	3	2
[990]	3131	POP	40175	2	2
[991]	3132	DUP4	40173	3	2
[992]	3133	PUSH1	40170	3	2
[993]	3135	DUP3	40167	3	2
[994]	3136	PUSH1	40164	3	2
[995]	3138	SHL	40161	3	2
[996]	3139	DUP6	40158	3	2
[997]	3140	ADD	40155	3	2
[998]	3141	ADD	40152	3	2
[999]	3142	GT	40149	3	2
[1000]	3143	ISZERO	40146	3	2