Geth VM Trace Transaction

GETH Trace for Txn Hash 0x2f4d1009a3f727a46638179f3ee50b29a2d4df594a58c85a468d39edc3e09402

Contract transaction successfully completed.

Raw traces

A total of 938 steps found

Step	PC	Operation	Gas	GasCost	Depth
[1]	0	PUSH1	35493	3	1
[2]	2	PUSH1	35490	3	1
[3]	4	MSTORE	35487	12	1
[4]	5	PUSH1	35475	3	1
[5]	7	CALLDATASIZE	35472	2	1
[6]	8	LT	35470	3	1
[7]	9	PUSH2	35467	3	1
[8]	12	JUMPI	35464	10	1
[9]	13	PUSH1	35454	3	1
[10]	15	CALLDATALOAD	35451	3	1
[11]	16	PUSH1	35448	3	1
[12]	18	SHR	35445	3	1
[13]	19	DUP1	35442	3	1
[14]	20	PUSH4	35439	3	1
[15]	25	EQ	35436	3	1
[16]	26	PUSH2	35433	3	1
[17]	29	JUMPI	35430	10	1
[18]	30	DUP1	35420	3	1
[19]	31	PUSH4	35417	3	1
[20]	36	EQ	35414	3	1
[21]	37	PUSH2	35411	3	1
[22]	40	JUMPI	35408	10	1
[23]	85	JUMPDEST	35398	1	1
[24]	86	PUSH2	35397	3	1
[25]	89	PUSH1	35394	3	1
[26]	91	DUP1	35391	3	1
[27]	92	CALLDATASIZE	35388	2	1
[28]	93	SUB	35386	3	1
[29]	94	DUP2	35383	3	1
[30]	95	ADD	35380	3	1
[31]	96	SWAP1	35377	3	1
[32]	97	PUSH2	35374	3	1
[33]	100	SWAP2	35371	3	1
[34]	101	SWAP1	35368	3	1
[35]	102	PUSH2	35365	3	1
[36]	105	JUMP	35362	8	1
[37]	1733	JUMPDEST	35354	1	1
[38]	1734	PUSH1	35353	3	1
[39]	1736	DUP1	35350	3	1
[40]	1737	PUSH1	35347	3	1
[41]	1739	DUP1	35344	3	1
[42]	1740	PUSH1	35341	3	1
[43]	1742	PUSH1	35338	3	1
[44]	1744	DUP7	35335	3	1
[45]	1745	DUP9	35332	3	1
[46]	1746	SUB	35329	3	1
[47]	1747	SLT	35326	3	1
[48]	1748	ISZERO	35323	3	1
[49]	1749	PUSH2	35320	3	1
[50]	1752	JUMPI	35317	10	1
[51]	1761	JUMPDEST	35307	1	1
[52]	1762	PUSH1	35306	3	1
[53]	1764	DUP7	35303	3	1
[54]	1765	ADD	35300	3	1
[55]	1766	CALLDATALOAD	35297	3	1
[56]	1767	PUSH8	35294	3	1
[57]	1776	DUP2	35291	3	1
[58]	1777	GT	35288	3	1
[59]	1778	ISZERO	35285	3	1
[60]	1779	PUSH2	35282	3	1
[61]	1782	JUMPI	35279	10	1
[62]	1791	JUMPDEST	35269	1	1
[63]	1792	PUSH2	35268	3	1
[64]	1795	DUP9	35265	3	1
[65]	1796	DUP3	35262	3	1
[66]	1797	DUP10	35259	3	1
[67]	1798	ADD	35256	3	1
[68]	1799	PUSH2	35253	3	1
[69]	1802	JUMP	35250	8	1
[70]	1340	JUMPDEST	35242	1	1
[71]	1341	PUSH1	35241	3	1
[72]	1343	DUP1	35238	3	1
[73]	1344	DUP4	35235	3	1
[74]	1345	PUSH1	35232	3	1
[75]	1347	DUP5	35229	3	1
[76]	1348	ADD	35226	3	1
[77]	1349	SLT	35223	3	1
[78]	1350	PUSH2	35220	3	1
[79]	1353	JUMPI	35217	10	1
[80]	1362	JUMPDEST	35207	1	1
[81]	1363	DUP3	35206	3	1
[82]	1364	CALLDATALOAD	35203	3	1
[83]	1365	SWAP1	35200	3	1
[84]	1366	POP	35197	2	1
[85]	1367	PUSH8	35195	3	1
[86]	1376	DUP2	35192	3	1
[87]	1377	GT	35189	3	1
[88]	1378	ISZERO	35186	3	1
[89]	1379	PUSH2	35183	3	1
[90]	1382	JUMPI	35180	10	1
[91]	1391	JUMPDEST	35170	1	1
[92]	1392	PUSH1	35169	3	1
[93]	1394	DUP4	35166	3	1
[94]	1395	ADD	35163	3	1
[95]	1396	SWAP2	35160	3	1
[96]	1397	POP	35157	2	1
[97]	1398	DUP4	35155	3	1
[98]	1399	PUSH1	35152	3	1
[99]	1401	DUP3	35149	3	1
[100]	1402	MUL	35146	5	1
[101]	1403	DUP4	35141	3	1
[102]	1404	ADD	35138	3	1
[103]	1405	GT	35135	3	1
[104]	1406	ISZERO	35132	3	1
[105]	1407	PUSH2	35129	3	1
[106]	1410	JUMPI	35126	10	1
[107]	1419	JUMPDEST	35116	1	1
[108]	1420	SWAP3	35115	3	1
[109]	1421	POP	35112	2	1
[110]	1422	SWAP3	35110	3	1
[111]	1423	SWAP1	35107	3	1
[112]	1424	POP	35104	2	1
[113]	1425	JUMP	35102	8	1
[114]	1803	JUMPDEST	35094	1	1
[115]	1804	SWAP6	35093	3	1
[116]	1805	POP	35090	2	1
[117]	1806	SWAP6	35088	3	1
[118]	1807	POP	35085	2	1
[119]	1808	POP	35083	2	1
[120]	1809	PUSH1	35081	3	1
[121]	1811	DUP7	35078	3	1
[122]	1812	ADD	35075	3	1
[123]	1813	CALLDATALOAD	35072	3	1
[124]	1814	PUSH8	35069	3	1
[125]	1823	DUP2	35066	3	1
[126]	1824	GT	35063	3	1
[127]	1825	ISZERO	35060	3	1
[128]	1826	PUSH2	35057	3	1
[129]	1829	JUMPI	35054	10	1
[130]	1838	JUMPDEST	35044	1	1
[131]	1839	PUSH2	35043	3	1
[132]	1842	DUP9	35040	3	1
[133]	1843	DUP3	35037	3	1
[134]	1844	DUP10	35034	3	1
[135]	1845	ADD	35031	3	1
[136]	1846	PUSH2	35028	3	1
[137]	1849	JUMP	35025	8	1
[138]	1426	JUMPDEST	35017	1	1
[139]	1427	PUSH1	35016	3	1
[140]	1429	DUP1	35013	3	1
[141]	1430	DUP4	35010	3	1
[142]	1431	PUSH1	35007	3	1
[143]	1433	DUP5	35004	3	1
[144]	1434	ADD	35001	3	1
[145]	1435	SLT	34998	3	1
[146]	1436	PUSH2	34995	3	1
[147]	1439	JUMPI	34992	10	1
[148]	1448	JUMPDEST	34982	1	1
[149]	1449	DUP3	34981	3	1
[150]	1450	CALLDATALOAD	34978	3	1
[151]	1451	SWAP1	34975	3	1
[152]	1452	POP	34972	2	1
[153]	1453	PUSH8	34970	3	1
[154]	1462	DUP2	34967	3	1
[155]	1463	GT	34964	3	1
[156]	1464	ISZERO	34961	3	1
[157]	1465	PUSH2	34958	3	1
[158]	1468	JUMPI	34955	10	1
[159]	1477	JUMPDEST	34945	1	1
[160]	1478	PUSH1	34944	3	1
[161]	1480	DUP4	34941	3	1
[162]	1481	ADD	34938	3	1
[163]	1482	SWAP2	34935	3	1
[164]	1483	POP	34932	2	1
[165]	1484	DUP4	34930	3	1
[166]	1485	PUSH1	34927	3	1
[167]	1487	DUP3	34924	3	1
[168]	1488	MUL	34921	5	1
[169]	1489	DUP4	34916	3	1
[170]	1490	ADD	34913	3	1
[171]	1491	GT	34910	3	1
[172]	1492	ISZERO	34907	3	1
[173]	1493	PUSH2	34904	3	1
[174]	1496	JUMPI	34901	10	1
[175]	1505	JUMPDEST	34891	1	1
[176]	1506	SWAP3	34890	3	1
[177]	1507	POP	34887	2	1
[178]	1508	SWAP3	34885	3	1
[179]	1509	SWAP1	34882	3	1
[180]	1510	POP	34879	2	1
[181]	1511	JUMP	34877	8	1
[182]	1850	JUMPDEST	34869	1	1
[183]	1851	SWAP4	34868	3	1
[184]	1852	POP	34865	2	1
[185]	1853	SWAP4	34863	3	1
[186]	1854	POP	34860	2	1
[187]	1855	POP	34858	2	1
[188]	1856	PUSH1	34856	3	1
[189]	1858	PUSH2	34853	3	1
[190]	1861	DUP9	34850	3	1
[191]	1862	DUP3	34847	3	1
[192]	1863	DUP10	34844	3	1
[193]	1864	ADD	34841	3	1
[194]	1865	PUSH2	34838	3	1
[195]	1868	JUMP	34835	8	1
[196]	1545	JUMPDEST	34827	1	1
[197]	1546	PUSH1	34826	3	1
[198]	1548	DUP2	34823	3	1
[199]	1549	CALLDATALOAD	34820	3	1
[200]	1550	SWAP1	34817	3	1
[201]	1551	POP	34814	2	1
[202]	1552	PUSH2	34812	3	1
[203]	1555	DUP2	34809	3	1
[204]	1556	PUSH2	34806	3	1
[205]	1559	JUMP	34803	8	1
[206]	1522	JUMPDEST	34795	1	1
[207]	1523	PUSH2	34794	3	1
[208]	1526	DUP2	34791	3	1
[209]	1527	PUSH2	34788	3	1
[210]	1530	JUMP	34785	8	1
[211]	1512	JUMPDEST	34777	1	1
[212]	1513	PUSH1	34776	3	1
[213]	1515	DUP2	34773	3	1
[214]	1516	SWAP1	34770	3	1
[215]	1517	POP	34767	2	1
[216]	1518	SWAP2	34765	3	1
[217]	1519	SWAP1	34762	3	1
[218]	1520	POP	34759	2	1
[219]	1521	JUMP	34757	8	1
[220]	1531	JUMPDEST	34749	1	1
[221]	1532	DUP2	34748	3	1
[222]	1533	EQ	34745	3	1
[223]	1534	PUSH2	34742	3	1
[224]	1537	JUMPI	34739	10	1
[225]	1542	JUMPDEST	34729	1	1
[226]	1543	POP	34728	2	1
[227]	1544	JUMP	34726	8	1
[228]	1560	JUMPDEST	34718	1	1
[229]	1561	SWAP3	34717	3	1
[230]	1562	SWAP2	34714	3	1
[231]	1563	POP	34711	2	1
[232]	1564	POP	34709	2	1
[233]	1565	JUMP	34707	8	1
[234]	1869	JUMPDEST	34699	1	1
[235]	1870	SWAP2	34698	3	1
[236]	1871	POP	34695	2	1
[237]	1872	POP	34693	2	1
[238]	1873	SWAP3	34691	3	1
[239]	1874	SWAP6	34688	3	1
[240]	1875	POP	34685	2	1
[241]	1876	SWAP3	34683	3	1
[242]	1877	SWAP6	34680	3	1
[243]	1878	SWAP1	34677	3	1
[244]	1879	SWAP4	34674	3	1
[245]	1880	POP	34671	2	1
[246]	1881	JUMP	34669	8	1
[247]	106	JUMPDEST	34661	1	1
[248]	107	PUSH2	34660	3	1
[249]	110	JUMP	34657	8	1
[250]	694	JUMPDEST	34649	1	1
[251]	695	DUP3	34648	3	1
[252]	696	DUP3	34645	3	1
[253]	697	SWAP1	34642	3	1
[254]	698	POP	34639	2	1
[255]	699	DUP6	34637	3	1
[256]	700	DUP6	34634	3	1
[257]	701	SWAP1	34631	3	1
[258]	702	POP	34628	2	1
[259]	703	EQ	34626	3	1
[260]	704	PUSH2	34623	3	1
[261]	707	JUMPI	34620	10	1
[262]	766	JUMPDEST	34610	1	1
[263]	767	PUSH1	34609	3	1
[264]	769	DUP1	34606	3	1
[265]	770	JUMPDEST	34603	1	1
[266]	771	DUP5	34602	3	1
[267]	772	DUP5	34599	3	1
[268]	773	SWAP1	34596	3	1
[269]	774	POP	34593	2	1
[270]	775	DUP2	34591	3	1
[271]	776	LT	34588	3	1
[272]	777	ISZERO	34585	3	1
[273]	778	PUSH2	34582	3	1
[274]	781	JUMPI	34579	10	1
[275]	782	DUP5	34569	3	1
[276]	783	DUP5	34566	3	1
[277]	784	DUP3	34563	3	1
[278]	785	DUP2	34560	3	1
[279]	786	DUP2	34557	3	1
[280]	787	LT	34554	3	1
[281]	788	PUSH2	34551	3	1
[282]	791	JUMPI	34548	10	1
[283]	800	JUMPDEST	34538	1	1
[284]	801	SWAP1	34537	3	1
[285]	802	POP	34534	2	1
[286]	803	PUSH1	34532	3	1
[287]	805	MUL	34529	5	1
[288]	806	ADD	34524	3	1
[289]	807	CALLDATALOAD	34521	3	1
[290]	808	DUP3	34518	3	1
[291]	809	PUSH2	34515	3	1
[292]	812	SWAP2	34512	3	1
[293]	813	SWAP1	34509	3	1
[294]	814	PUSH2	34506	3	1
[295]	817	JUMP	34503	8	1
[296]	2613	JUMPDEST	34495	1	1
[297]	2614	PUSH1	34494	3	1
[298]	2616	PUSH2	34491	3	1
[299]	2619	DUP3	34488	3	1
[300]	2620	PUSH2	34485	3	1
[301]	2623	JUMP	34482	8	1
[302]	1512	JUMPDEST	34474	1	1
[303]	1513	PUSH1	34473	3	1
[304]	1515	DUP2	34470	3	1
[305]	1516	SWAP1	34467	3	1
[306]	1517	POP	34464	2	1
[307]	1518	SWAP2	34462	3	1
[308]	1519	SWAP1	34459	3	1
[309]	1520	POP	34456	2	1
[310]	1521	JUMP	34454	8	1
[311]	2624	JUMPDEST	34446	1	1
[312]	2625	SWAP2	34445	3	1
[313]	2626	POP	34442	2	1
[314]	2627	PUSH2	34440	3	1
[315]	2630	DUP4	34437	3	1
[316]	2631	PUSH2	34434	3	1
[317]	2634	JUMP	34431	8	1
[318]	1512	JUMPDEST	34423	1	1
[319]	1513	PUSH1	34422	3	1
[320]	1515	DUP2	34419	3	1
[321]	1516	SWAP1	34416	3	1
[322]	1517	POP	34413	2	1
[323]	1518	SWAP2	34411	3	1
[324]	1519	SWAP1	34408	3	1
[325]	1520	POP	34405	2	1
[326]	1521	JUMP	34403	8	1
[327]	2635	JUMPDEST	34395	1	1
[328]	2636	SWAP3	34394	3	1
[329]	2637	POP	34391	2	1
[330]	2638	DUP3	34389	3	1
[331]	2639	DUP3	34386	3	1
[332]	2640	ADD	34383	3	1
[333]	2641	SWAP1	34380	3	1
[334]	2642	POP	34377	2	1
[335]	2643	DUP1	34375	3	1
[336]	2644	DUP3	34372	3	1
[337]	2645	GT	34369	3	1
[338]	2646	ISZERO	34366	3	1
[339]	2647	PUSH2	34363	3	1
[340]	2650	JUMPI	34360	10	1
[341]	2659	JUMPDEST	34350	1	1
[342]	2660	SWAP3	34349	3	1
[343]	2661	SWAP2	34346	3	1
[344]	2662	POP	34343	2	1
[345]	2663	POP	34341	2	1
[346]	2664	JUMP	34339	8	1
[347]	818	JUMPDEST	34331	1	1
[348]	819	SWAP2	34330	3	1
[349]	820	POP	34327	2	1
[350]	821	DUP1	34325	3	1
[351]	822	DUP1	34322	3	1
[352]	823	PUSH1	34319	3	1
[353]	825	ADD	34316	3	1
[354]	826	SWAP2	34313	3	1
[355]	827	POP	34310	2	1
[356]	828	POP	34308	2	1
[357]	829	PUSH2	34306	3	1
[358]	832	JUMP	34303	8	1
[359]	770	JUMPDEST	34295	1	1
[360]	771	DUP5	34294	3	1
[361]	772	DUP5	34291	3	1
[362]	773	SWAP1	34288	3	1
[363]	774	POP	34285	2	1
[364]	775	DUP2	34283	3	1
[365]	776	LT	34280	3	1
[366]	777	ISZERO	34277	3	1
[367]	778	PUSH2	34274	3	1
[368]	781	JUMPI	34271	10	1
[369]	782	DUP5	34261	3	1
[370]	783	DUP5	34258	3	1
[371]	784	DUP3	34255	3	1
[372]	785	DUP2	34252	3	1
[373]	786	DUP2	34249	3	1
[374]	787	LT	34246	3	1
[375]	788	PUSH2	34243	3	1
[376]	791	JUMPI	34240	10	1
[377]	800	JUMPDEST	34230	1	1
[378]	801	SWAP1	34229	3	1
[379]	802	POP	34226	2	1
[380]	803	PUSH1	34224	3	1
[381]	805	MUL	34221	5	1
[382]	806	ADD	34216	3	1
[383]	807	CALLDATALOAD	34213	3	1
[384]	808	DUP3	34210	3	1
[385]	809	PUSH2	34207	3	1
[386]	812	SWAP2	34204	3	1
[387]	813	SWAP1	34201	3	1
[388]	814	PUSH2	34198	3	1
[389]	817	JUMP	34195	8	1
[390]	2613	JUMPDEST	34187	1	1
[391]	2614	PUSH1	34186	3	1
[392]	2616	PUSH2	34183	3	1
[393]	2619	DUP3	34180	3	1
[394]	2620	PUSH2	34177	3	1
[395]	2623	JUMP	34174	8	1
[396]	1512	JUMPDEST	34166	1	1
[397]	1513	PUSH1	34165	3	1
[398]	1515	DUP2	34162	3	1
[399]	1516	SWAP1	34159	3	1
[400]	1517	POP	34156	2	1
[401]	1518	SWAP2	34154	3	1
[402]	1519	SWAP1	34151	3	1
[403]	1520	POP	34148	2	1
[404]	1521	JUMP	34146	8	1
[405]	2624	JUMPDEST	34138	1	1
[406]	2625	SWAP2	34137	3	1
[407]	2626	POP	34134	2	1
[408]	2627	PUSH2	34132	3	1
[409]	2630	DUP4	34129	3	1
[410]	2631	PUSH2	34126	3	1
[411]	2634	JUMP	34123	8	1
[412]	1512	JUMPDEST	34115	1	1
[413]	1513	PUSH1	34114	3	1
[414]	1515	DUP2	34111	3	1
[415]	1516	SWAP1	34108	3	1
[416]	1517	POP	34105	2	1
[417]	1518	SWAP2	34103	3	1
[418]	1519	SWAP1	34100	3	1
[419]	1520	POP	34097	2	1
[420]	1521	JUMP	34095	8	1
[421]	2635	JUMPDEST	34087	1	1
[422]	2636	SWAP3	34086	3	1
[423]	2637	POP	34083	2	1
[424]	2638	DUP3	34081	3	1
[425]	2639	DUP3	34078	3	1
[426]	2640	ADD	34075	3	1
[427]	2641	SWAP1	34072	3	1
[428]	2642	POP	34069	2	1
[429]	2643	DUP1	34067	3	1
[430]	2644	DUP3	34064	3	1
[431]	2645	GT	34061	3	1
[432]	2646	ISZERO	34058	3	1
[433]	2647	PUSH2	34055	3	1
[434]	2650	JUMPI	34052	10	1
[435]	2659	JUMPDEST	34042	1	1
[436]	2660	SWAP3	34041	3	1
[437]	2661	SWAP2	34038	3	1
[438]	2662	POP	34035	2	1
[439]	2663	POP	34033	2	1
[440]	2664	JUMP	34031	8	1
[441]	818	JUMPDEST	34023	1	1
[442]	819	SWAP2	34022	3	1
[443]	820	POP	34019	2	1
[444]	821	DUP1	34017	3	1
[445]	822	DUP1	34014	3	1
[446]	823	PUSH1	34011	3	1
[447]	825	ADD	34008	3	1
[448]	826	SWAP2	34005	3	1
[449]	827	POP	34002	2	1
[450]	828	POP	34000	2	1
[451]	829	PUSH2	33998	3	1
[452]	832	JUMP	33995	8	1
[453]	770	JUMPDEST	33987	1	1
[454]	771	DUP5	33986	3	1
[455]	772	DUP5	33983	3	1
[456]	773	SWAP1	33980	3	1
[457]	774	POP	33977	2	1
[458]	775	DUP2	33975	3	1
[459]	776	LT	33972	3	1
[460]	777	ISZERO	33969	3	1
[461]	778	PUSH2	33966	3	1
[462]	781	JUMPI	33963	10	1
[463]	833	JUMPDEST	33953	1	1
[464]	834	POP	33952	2	1
[465]	835	DUP2	33950	3	1
[466]	836	DUP2	33947	3	1
[467]	837	PUSH2	33944	3	1
[468]	840	SWAP2	33941	3	1
[469]	841	SWAP1	33938	3	1
[470]	842	PUSH2	33935	3	1
[471]	845	JUMP	33932	8	1
[472]	2613	JUMPDEST	33924	1	1
[473]	2614	PUSH1	33923	3	1
[474]	2616	PUSH2	33920	3	1
[475]	2619	DUP3	33917	3	1
[476]	2620	PUSH2	33914	3	1
[477]	2623	JUMP	33911	8	1
[478]	1512	JUMPDEST	33903	1	1
[479]	1513	PUSH1	33902	3	1
[480]	1515	DUP2	33899	3	1
[481]	1516	SWAP1	33896	3	1
[482]	1517	POP	33893	2	1
[483]	1518	SWAP2	33891	3	1
[484]	1519	SWAP1	33888	3	1
[485]	1520	POP	33885	2	1
[486]	1521	JUMP	33883	8	1
[487]	2624	JUMPDEST	33875	1	1
[488]	2625	SWAP2	33874	3	1
[489]	2626	POP	33871	2	1
[490]	2627	PUSH2	33869	3	1
[491]	2630	DUP4	33866	3	1
[492]	2631	PUSH2	33863	3	1
[493]	2634	JUMP	33860	8	1
[494]	1512	JUMPDEST	33852	1	1
[495]	1513	PUSH1	33851	3	1
[496]	1515	DUP2	33848	3	1
[497]	1516	SWAP1	33845	3	1
[498]	1517	POP	33842	2	1
[499]	1518	SWAP2	33840	3	1
[500]	1519	SWAP1	33837	3	1
[501]	1520	POP	33834	2	1
[502]	1521	JUMP	33832	8	1
[503]	2635	JUMPDEST	33824	1	1
[504]	2636	SWAP3	33823	3	1
[505]	2637	POP	33820	2	1
[506]	2638	DUP3	33818	3	1
[507]	2639	DUP3	33815	3	1
[508]	2640	ADD	33812	3	1
[509]	2641	SWAP1	33809	3	1
[510]	2642	POP	33806	2	1
[511]	2643	DUP1	33804	3	1
[512]	2644	DUP3	33801	3	1
[513]	2645	GT	33798	3	1
[514]	2646	ISZERO	33795	3	1
[515]	2647	PUSH2	33792	3	1
[516]	2650	JUMPI	33789	10	1
[517]	2659	JUMPDEST	33779	1	1
[518]	2660	SWAP3	33778	3	1
[519]	2661	SWAP2	33775	3	1
[520]	2662	POP	33772	2	1
[521]	2663	POP	33770	2	1
[522]	2664	JUMP	33768	8	1
[523]	846	JUMPDEST	33760	1	1
[524]	847	CALLVALUE	33759	2	1
[525]	848	EQ	33757	3	1
[526]	849	PUSH2	33754	3	1
[527]	852	JUMPI	33751	10	1
[528]	911	JUMPDEST	33741	1	1
[529]	912	PUSH1	33740	3	1
[530]	914	JUMPDEST	33737	1	1
[531]	915	DUP7	33736	3	1
[532]	916	DUP7	33733	3	1
[533]	917	SWAP1	33730	3	1
[534]	918	POP	33727	2	1
[535]	919	DUP2	33725	3	1
[536]	920	LT	33722	3	1
[537]	921	ISZERO	33719	3	1
[538]	922	PUSH2	33716	3	1
[539]	925	JUMPI	33713	10	1
[540]	926	DUP7	33703	3	1
[541]	927	DUP7	33700	3	1
[542]	928	DUP3	33697	3	1
[543]	929	DUP2	33694	3	1
[544]	930	DUP2	33691	3	1
[545]	931	LT	33688	3	1
[546]	932	PUSH2	33685	3	1
[547]	935	JUMPI	33682	10	1
[548]	944	JUMPDEST	33672	1	1
[549]	945	SWAP1	33671	3	1
[550]	946	POP	33668	2	1
[551]	947	PUSH1	33666	3	1
[552]	949	MUL	33663	5	1
[553]	950	ADD	33658	3	1
[554]	951	PUSH1	33655	3	1
[555]	953	DUP2	33652	3	1
[556]	954	ADD	33649	3	1
[557]	955	SWAP1	33646	3	1
[558]	956	PUSH2	33643	3	1
[559]	959	SWAP2	33640	3	1
[560]	960	SWAP1	33637	3	1
[561]	961	PUSH2	33634	3	1
[562]	964	JUMP	33631	8	1
[563]	2134	JUMPDEST	33623	1	1
[564]	2135	PUSH1	33622	3	1
[565]	2137	PUSH1	33619	3	1
[566]	2139	DUP3	33616	3	1
[567]	2140	DUP5	33613	3	1
[568]	2141	SUB	33610	3	1
[569]	2142	SLT	33607	3	1
[570]	2143	ISZERO	33604	3	1
[571]	2144	PUSH2	33601	3	1
[572]	2147	JUMPI	33598	10	1
[573]	2156	JUMPDEST	33588	1	1
[574]	2157	PUSH1	33587	3	1
[575]	2159	PUSH2	33584	3	1
[576]	2162	DUP5	33581	3	1
[577]	2163	DUP3	33578	3	1
[578]	2164	DUP6	33575	3	1
[579]	2165	ADD	33572	3	1
[580]	2166	PUSH2	33569	3	1
[581]	2169	JUMP	33566	8	1
[582]	1304	JUMPDEST	33558	1	1
[583]	1305	PUSH1	33557	3	1
[584]	1307	DUP2	33554	3	1
[585]	1308	CALLDATALOAD	33551	3	1
[586]	1309	SWAP1	33548	3	1
[587]	1310	POP	33545	2	1
[588]	1311	PUSH2	33543	3	1
[589]	1314	DUP2	33540	3	1
[590]	1315	PUSH2	33537	3	1
[591]	1318	JUMP	33534	8	1
[592]	1281	JUMPDEST	33526	1	1
[593]	1282	PUSH2	33525	3	1
[594]	1285	DUP2	33522	3	1
[595]	1286	PUSH2	33519	3	1
[596]	1289	JUMP	33516	8	1
[597]	1263	JUMPDEST	33508	1	1
[598]	1264	PUSH1	33507	3	1
[599]	1266	PUSH2	33504	3	1
[600]	1269	DUP3	33501	3	1
[601]	1270	PUSH2	33498	3	1
[602]	1273	JUMP	33495	8	1
[603]	1231	JUMPDEST	33487	1	1
[604]	1232	PUSH1	33486	3	1
[605]	1234	PUSH20	33483	3	1
[606]	1255	DUP3	33480	3	1
[607]	1256	AND	33477	3	1
[608]	1257	SWAP1	33474	3	1
[609]	1258	POP	33471	2	1
[610]	1259	SWAP2	33469	3	1
[611]	1260	SWAP1	33466	3	1
[612]	1261	POP	33463	2	1
[613]	1262	JUMP	33461	8	1
[614]	1274	JUMPDEST	33453	1	1
[615]	1275	SWAP1	33452	3	1
[616]	1276	POP	33449	2	1
[617]	1277	SWAP2	33447	3	1
[618]	1278	SWAP1	33444	3	1
[619]	1279	POP	33441	2	1
[620]	1280	JUMP	33439	8	1
[621]	1290	JUMPDEST	33431	1	1
[622]	1291	DUP2	33430	3	1
[623]	1292	EQ	33427	3	1
[624]	1293	PUSH2	33424	3	1
[625]	1296	JUMPI	33421	10	1
[626]	1301	JUMPDEST	33411	1	1
[627]	1302	POP	33410	2	1
[628]	1303	JUMP	33408	8	1
[629]	1319	JUMPDEST	33400	1	1
[630]	1320	SWAP3	33399	3	1
[631]	1321	SWAP2	33396	3	1
[632]	1322	POP	33393	2	1
[633]	1323	POP	33391	2	1
[634]	1324	JUMP	33389	8	1
[635]	2170	JUMPDEST	33381	1	1
[636]	2171	SWAP2	33380	3	1
[637]	2172	POP	33377	2	1
[638]	2173	POP	33375	2	1
[639]	2174	SWAP3	33373	3	1
[640]	2175	SWAP2	33370	3	1
[641]	2176	POP	33367	2	1
[642]	2177	POP	33365	2	1
[643]	2178	JUMP	33363	8	1
[644]	965	JUMPDEST	33355	1	1
[645]	966	PUSH20	33354	3	1
[646]	987	AND	33351	3	1
[647]	988	PUSH2	33348	3	1
[648]	991	DUP7	33345	3	1
[649]	992	DUP7	33342	3	1
[650]	993	DUP5	33339	3	1
[651]	994	DUP2	33336	3	1
[652]	995	DUP2	33333	3	1
[653]	996	LT	33330	3	1
[654]	997	PUSH2	33327	3	1
[655]	1000	JUMPI	33324	10	1
[656]	1009	JUMPDEST	33314	1	1
[657]	1010	SWAP1	33313	3	1
[658]	1011	POP	33310	2	1
[659]	1012	PUSH1	33308	3	1
[660]	1014	MUL	33305	5	1
[661]	1015	ADD	33300	3	1
[662]	1016	CALLDATALOAD	33297	3	1
[663]	1017	SWAP1	33294	3	1
[664]	1018	DUP2	33291	3	1
[665]	1019	ISZERO	33288	3	1
[666]	1020	MUL	33285	5	1
[667]	1021	SWAP1	33280	3	1
[668]	1022	PUSH1	33277	3	1
[669]	1024	MLOAD	33274	3	1
[670]	1025	PUSH1	33271	3	1
[671]	1027	PUSH1	33268	3	1
[672]	1029	MLOAD	33265	3	1
[673]	1030	DUP1	33262	3	1
[674]	1031	DUP4	33259	3	1
[675]	1032	SUB	33256	3	1
[676]	1033	DUP2	33253	3	1
[677]	1034	DUP6	33250	3	1
[678]	1035	DUP9	33247	3	1
[679]	1036	DUP9	33244	3	1
[680]	1037	CALL	33241	11600	1
[681]	1038	SWAP4	23941	3	1
[682]	1039	POP	23938	2	1
[683]	1040	POP	23936	2	1
[684]	1041	POP	23934	2	1
[685]	1042	POP	23932	2	1
[686]	1043	ISZERO	23930	3	1
[687]	1044	DUP1	23927	3	1
[688]	1045	ISZERO	23924	3	1
[689]	1046	PUSH2	23921	3	1
[690]	1049	JUMPI	23918	10	1
[691]	1059	JUMPDEST	23908	1	1
[692]	1060	POP	23907	2	1
[693]	1061	DUP1	23905	3	1
[694]	1062	DUP1	23902	3	1
[695]	1063	PUSH1	23899	3	1
[696]	1065	ADD	23896	3	1
[697]	1066	SWAP2	23893	3	1
[698]	1067	POP	23890	2	1
[699]	1068	POP	23888	2	1
[700]	1069	PUSH2	23886	3	1
[701]	1072	JUMP	23883	8	1
[702]	914	JUMPDEST	23875	1	1
[703]	915	DUP7	23874	3	1
[704]	916	DUP7	23871	3	1
[705]	917	SWAP1	23868	3	1
[706]	918	POP	23865	2	1
[707]	919	DUP2	23863	3	1
[708]	920	LT	23860	3	1
[709]	921	ISZERO	23857	3	1
[710]	922	PUSH2	23854	3	1
[711]	925	JUMPI	23851	10	1
[712]	926	DUP7	23841	3	1
[713]	927	DUP7	23838	3	1
[714]	928	DUP3	23835	3	1
[715]	929	DUP2	23832	3	1
[716]	930	DUP2	23829	3	1
[717]	931	LT	23826	3	1
[718]	932	PUSH2	23823	3	1
[719]	935	JUMPI	23820	10	1
[720]	944	JUMPDEST	23810	1	1
[721]	945	SWAP1	23809	3	1
[722]	946	POP	23806	2	1
[723]	947	PUSH1	23804	3	1
[724]	949	MUL	23801	5	1
[725]	950	ADD	23796	3	1
[726]	951	PUSH1	23793	3	1
[727]	953	DUP2	23790	3	1
[728]	954	ADD	23787	3	1
[729]	955	SWAP1	23784	3	1
[730]	956	PUSH2	23781	3	1
[731]	959	SWAP2	23778	3	1
[732]	960	SWAP1	23775	3	1
[733]	961	PUSH2	23772	3	1
[734]	964	JUMP	23769	8	1
[735]	2134	JUMPDEST	23761	1	1
[736]	2135	PUSH1	23760	3	1
[737]	2137	PUSH1	23757	3	1
[738]	2139	DUP3	23754	3	1
[739]	2140	DUP5	23751	3	1
[740]	2141	SUB	23748	3	1
[741]	2142	SLT	23745	3	1
[742]	2143	ISZERO	23742	3	1
[743]	2144	PUSH2	23739	3	1
[744]	2147	JUMPI	23736	10	1
[745]	2156	JUMPDEST	23726	1	1
[746]	2157	PUSH1	23725	3	1
[747]	2159	PUSH2	23722	3	1
[748]	2162	DUP5	23719	3	1
[749]	2163	DUP3	23716	3	1
[750]	2164	DUP6	23713	3	1
[751]	2165	ADD	23710	3	1
[752]	2166	PUSH2	23707	3	1
[753]	2169	JUMP	23704	8	1
[754]	1304	JUMPDEST	23696	1	1
[755]	1305	PUSH1	23695	3	1
[756]	1307	DUP2	23692	3	1
[757]	1308	CALLDATALOAD	23689	3	1
[758]	1309	SWAP1	23686	3	1
[759]	1310	POP	23683	2	1
[760]	1311	PUSH2	23681	3	1
[761]	1314	DUP2	23678	3	1
[762]	1315	PUSH2	23675	3	1
[763]	1318	JUMP	23672	8	1
[764]	1281	JUMPDEST	23664	1	1
[765]	1282	PUSH2	23663	3	1
[766]	1285	DUP2	23660	3	1
[767]	1286	PUSH2	23657	3	1
[768]	1289	JUMP	23654	8	1
[769]	1263	JUMPDEST	23646	1	1
[770]	1264	PUSH1	23645	3	1
[771]	1266	PUSH2	23642	3	1
[772]	1269	DUP3	23639	3	1
[773]	1270	PUSH2	23636	3	1
[774]	1273	JUMP	23633	8	1
[775]	1231	JUMPDEST	23625	1	1
[776]	1232	PUSH1	23624	3	1
[777]	1234	PUSH20	23621	3	1
[778]	1255	DUP3	23618	3	1
[779]	1256	AND	23615	3	1
[780]	1257	SWAP1	23612	3	1
[781]	1258	POP	23609	2	1
[782]	1259	SWAP2	23607	3	1
[783]	1260	SWAP1	23604	3	1
[784]	1261	POP	23601	2	1
[785]	1262	JUMP	23599	8	1
[786]	1274	JUMPDEST	23591	1	1
[787]	1275	SWAP1	23590	3	1
[788]	1276	POP	23587	2	1
[789]	1277	SWAP2	23585	3	1
[790]	1278	SWAP1	23582	3	1
[791]	1279	POP	23579	2	1
[792]	1280	JUMP	23577	8	1
[793]	1290	JUMPDEST	23569	1	1
[794]	1291	DUP2	23568	3	1
[795]	1292	EQ	23565	3	1
[796]	1293	PUSH2	23562	3	1
[797]	1296	JUMPI	23559	10	1
[798]	1301	JUMPDEST	23549	1	1
[799]	1302	POP	23548	2	1
[800]	1303	JUMP	23546	8	1
[801]	1319	JUMPDEST	23538	1	1
[802]	1320	SWAP3	23537	3	1
[803]	1321	SWAP2	23534	3	1
[804]	1322	POP	23531	2	1
[805]	1323	POP	23529	2	1
[806]	1324	JUMP	23527	8	1
[807]	2170	JUMPDEST	23519	1	1
[808]	2171	SWAP2	23518	3	1
[809]	2172	POP	23515	2	1
[810]	2173	POP	23513	2	1
[811]	2174	SWAP3	23511	3	1
[812]	2175	SWAP2	23508	3	1
[813]	2176	POP	23505	2	1
[814]	2177	POP	23503	2	1
[815]	2178	JUMP	23501	8	1
[816]	965	JUMPDEST	23493	1	1
[817]	966	PUSH20	23492	3	1
[818]	987	AND	23489	3	1
[819]	988	PUSH2	23486	3	1
[820]	991	DUP7	23483	3	1
[821]	992	DUP7	23480	3	1
[822]	993	DUP5	23477	3	1
[823]	994	DUP2	23474	3	1
[824]	995	DUP2	23471	3	1
[825]	996	LT	23468	3	1
[826]	997	PUSH2	23465	3	1
[827]	1000	JUMPI	23462	10	1
[828]	1009	JUMPDEST	23452	1	1
[829]	1010	SWAP1	23451	3	1
[830]	1011	POP	23448	2	1
[831]	1012	PUSH1	23446	3	1
[832]	1014	MUL	23443	5	1
[833]	1015	ADD	23438	3	1
[834]	1016	CALLDATALOAD	23435	3	1
[835]	1017	SWAP1	23432	3	1
[836]	1018	DUP2	23429	3	1
[837]	1019	ISZERO	23426	3	1
[838]	1020	MUL	23423	5	1
[839]	1021	SWAP1	23418	3	1
[840]	1022	PUSH1	23415	3	1
[841]	1024	MLOAD	23412	3	1
[842]	1025	PUSH1	23409	3	1
[843]	1027	PUSH1	23406	3	1
[844]	1029	MLOAD	23403	3	1
[845]	1030	DUP1	23400	3	1
[846]	1031	DUP4	23397	3	1
[847]	1032	SUB	23394	3	1
[848]	1033	DUP2	23391	3	1
[849]	1034	DUP6	23388	3	1
[850]	1035	DUP9	23385	3	1
[851]	1036	DUP9	23382	3	1
[852]	1037	CALL	23379	11600	1
[853]	1038	SWAP4	14079	3	1
[854]	1039	POP	14076	2	1
[855]	1040	POP	14074	2	1
[856]	1041	POP	14072	2	1
[857]	1042	POP	14070	2	1
[858]	1043	ISZERO	14068	3	1
[859]	1044	DUP1	14065	3	1
[860]	1045	ISZERO	14062	3	1
[861]	1046	PUSH2	14059	3	1
[862]	1049	JUMPI	14056	10	1
[863]	1059	JUMPDEST	14046	1	1
[864]	1060	POP	14045	2	1
[865]	1061	DUP1	14043	3	1
[866]	1062	DUP1	14040	3	1
[867]	1063	PUSH1	14037	3	1
[868]	1065	ADD	14034	3	1
[869]	1066	SWAP2	14031	3	1
[870]	1067	POP	14028	2	1
[871]	1068	POP	14026	2	1
[872]	1069	PUSH2	14024	3	1
[873]	1072	JUMP	14021	8	1
[874]	914	JUMPDEST	14013	1	1
[875]	915	DUP7	14012	3	1
[876]	916	DUP7	14009	3	1
[877]	917	SWAP1	14006	3	1
[878]	918	POP	14003	2	1
[879]	919	DUP2	14001	3	1
[880]	920	LT	13998	3	1
[881]	921	ISZERO	13995	3	1
[882]	922	PUSH2	13992	3	1
[883]	925	JUMPI	13989	10	1
[884]	1073	JUMPDEST	13979	1	1
[885]	1074	POP	13978	2	1
[886]	1075	PUSH1	13976	3	1
[887]	1077	DUP1	13973	3	1
[888]	1078	SLOAD	13970	2100	1
[889]	1079	SWAP1	11870	3	1
[890]	1080	PUSH2	11867	3	1
[891]	1083	EXP	11864	10	1
[892]	1084	SWAP1	11854	3	1
[893]	1085	DIV	11851	5	1
[894]	1086	PUSH20	11846	3	1
[895]	1107	AND	11843	3	1
[896]	1108	PUSH20	11840	3	1
[897]	1129	AND	11837	3	1
[898]	1130	PUSH2	11834	3	1
[899]	1133	DUP4	11831	3	1
[900]	1134	SWAP1	11828	3	1
[901]	1135	DUP2	11825	3	1
[902]	1136	ISZERO	11822	3	1
[903]	1137	MUL	11819	5	1
[904]	1138	SWAP1	11814	3	1
[905]	1139	PUSH1	11811	3	1
[906]	1141	MLOAD	11808	3	1
[907]	1142	PUSH1	11805	3	1
[908]	1144	PUSH1	11802	3	1
[909]	1146	MLOAD	11799	3	1
[910]	1147	DUP1	11796	3	1
[911]	1148	DUP4	11793	3	1
[912]	1149	SUB	11790	3	1
[913]	1150	DUP2	11787	3	1
[914]	1151	DUP6	11784	3	1
[915]	1152	DUP9	11781	3	1
[916]	1153	DUP9	11778	3	1
[917]	1154	CALL	11775	11600	1
[918]	1155	SWAP4	2475	3	1
[919]	1156	POP	2472	2	1
[920]	1157	POP	2470	2	1
[921]	1158	POP	2468	2	1
[922]	1159	POP	2466	2	1
[923]	1160	ISZERO	2464	3	1
[924]	1161	DUP1	2461	3	1
[925]	1162	ISZERO	2458	3	1
[926]	1163	PUSH2	2455	3	1
[927]	1166	JUMPI	2452	10	1
[928]	1176	JUMPDEST	2442	1	1
[929]	1177	POP	2441	2	1
[930]	1178	POP	2439	2	1
[931]	1179	POP	2437	2	1
[932]	1180	POP	2435	2	1
[933]	1181	POP	2433	2	1
[934]	1182	POP	2431	2	1
[935]	1183	POP	2429	2	1
[936]	1184	JUMP	2427	8	1
[937]	111	JUMPDEST	2419	1	1
[938]	112	STOP	2418	0	1