Geth VM Trace Transaction

GETH Trace for Txn Hash 0x7cef297d041b1f6a2c83c3338a6e36fa802dfbba1b42c5455ee13afc545629b3

Contract transaction successfully completed.

Raw traces

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

Step	PC	Operation	Gas	GasCost	Depth
[1]	0	PUSH1	5247327	3	1
[2]	2	PUSH1	5247324	3	1
[3]	4	MSTORE	5247321	12	1
[4]	5	PUSH1	5247309	3	1
[5]	7	DUP1	5247306	3	1
[6]	8	SLOAD	5247303	2100	1
[7]	9	PUSH1	5245203	3	1
[8]	11	PUSH1	5245200	3	1
[9]	13	PUSH1	5245197	3	1
[10]	15	SHL	5245194	3	1
[11]	16	SUB	5245191	3	1
[12]	17	NOT	5245188	3	1
[13]	18	AND	5245185	3	1
[14]	19	PUSH20	5245182	3	1
[15]	40	OR	5245179	3	1
[16]	41	SWAP1	5245176	3	1
[17]	42	SSTORE	5245173	20000	1
[18]	43	CALLVALUE	5225173	2	1
[19]	44	DUP1	5225171	3	1
[20]	45	ISZERO	5225168	3	1
[21]	46	PUSH3	5225165	3	1
[22]	50	JUMPI	5225162	10	1
[23]	55	JUMPDEST	5225152	1	1
[24]	56	POP	5225151	2	1
[25]	57	PUSH1	5225149	3	1
[26]	59	MLOAD	5225146	3	1
[27]	60	PUSH3	5225143	3	1
[28]	64	CODESIZE	5225140	2	1
[29]	65	SUB	5225138	3	1
[30]	66	DUP1	5225135	3	1
[31]	67	PUSH3	5225132	3	1
[32]	71	DUP4	5225129	3	1
[33]	72	CODECOPY	5225126	72	1
[34]	73	DUP2	5225054	3	1
[35]	74	ADD	5225051	3	1
[36]	75	PUSH1	5225048	3	1
[37]	77	DUP2	5225045	3	1
[38]	78	SWAP1	5225042	3	1
[39]	79	MSTORE	5225039	3	1
[40]	80	PUSH3	5225036	3	1
[41]	84	SWAP2	5225033	3	1
[42]	85	PUSH3	5225030	3	1
[43]	89	JUMP	5225027	8	1
[44]	1253	JUMPDEST	5225019	1	1
[45]	1254	PUSH1	5225018	3	1
[46]	1256	DUP1	5225015	3	1
[47]	1257	PUSH1	5225012	3	1
[48]	1259	DUP1	5225009	3	1
[49]	1260	PUSH1	5225006	3	1
[50]	1262	DUP1	5225003	3	1
[51]	1263	PUSH1	5225000	3	1
[52]	1265	PUSH1	5224997	3	1
[53]	1267	DUP9	5224994	3	1
[54]	1268	DUP11	5224991	3	1
[55]	1269	SUB	5224988	3	1
[56]	1270	SLT	5224985	3	1
[57]	1271	ISZERO	5224982	3	1
[58]	1272	PUSH3	5224979	3	1
[59]	1276	JUMPI	5224976	10	1
[60]	1281	JUMPDEST	5224966	1	1
[61]	1282	PUSH3	5224965	3	1
[62]	1286	DUP9	5224962	3	1
[63]	1287	PUSH3	5224959	3	1
[64]	1291	JUMP	5224956	8	1
[65]	1024	JUMPDEST	5224948	1	1
[66]	1025	DUP1	5224947	3	1
[67]	1026	MLOAD	5224944	3	1
[68]	1027	PUSH1	5224941	3	1
[69]	1029	PUSH1	5224938	3	1
[70]	1031	PUSH1	5224935	3	1
[71]	1033	SHL	5224932	3	1
[72]	1034	SUB	5224929	3	1
[73]	1035	DUP2	5224926	3	1
[74]	1036	AND	5224923	3	1
[75]	1037	DUP2	5224920	3	1
[76]	1038	EQ	5224917	3	1
[77]	1039	PUSH3	5224914	3	1
[78]	1043	JUMPI	5224911	10	1
[79]	1048	JUMPDEST	5224901	1	1
[80]	1049	SWAP2	5224900	3	1
[81]	1050	SWAP1	5224897	3	1
[82]	1051	POP	5224894	2	1
[83]	1052	JUMP	5224892	8	1
[84]	1292	JUMPDEST	5224884	1	1
[85]	1293	PUSH1	5224883	3	1
[86]	1295	DUP10	5224880	3	1
[87]	1296	ADD	5224877	3	1
[88]	1297	MLOAD	5224874	3	1
[89]	1298	SWAP1	5224871	3	1
[90]	1299	SWAP8	5224868	3	1
[91]	1300	POP	5224865	2	1
[92]	1301	PUSH1	5224863	3	1
[93]	1303	PUSH1	5224860	3	1
[94]	1305	PUSH1	5224857	3	1
[95]	1307	SHL	5224854	3	1
[96]	1308	SUB	5224851	3	1
[97]	1309	DUP1	5224848	3	1
[98]	1310	DUP3	5224845	3	1
[99]	1311	GT	5224842	3	1
[100]	1312	ISZERO	5224839	3	1
[101]	1313	PUSH3	5224836	3	1
[102]	1317	JUMPI	5224833	10	1
[103]	1322	JUMPDEST	5224823	1	1
[104]	1323	PUSH3	5224822	3	1
[105]	1327	DUP12	5224819	3	1
[106]	1328	DUP4	5224816	3	1
[107]	1329	DUP13	5224813	3	1
[108]	1330	ADD	5224810	3	1
[109]	1331	PUSH3	5224807	3	1
[110]	1335	JUMP	5224804	8	1
[111]	1075	JUMPDEST	5224796	1	1
[112]	1076	PUSH1	5224795	3	1
[113]	1078	DUP3	5224792	3	1
[114]	1079	PUSH1	5224789	3	1
[115]	1081	DUP4	5224786	3	1
[116]	1082	ADD	5224783	3	1
[117]	1083	SLT	5224780	3	1
[118]	1084	PUSH3	5224777	3	1
[119]	1088	JUMPI	5224774	10	1
[120]	1093	JUMPDEST	5224764	1	1
[121]	1094	DUP2	5224763	3	1
[122]	1095	MLOAD	5224760	3	1
[123]	1096	PUSH1	5224757	3	1
[124]	1098	PUSH1	5224754	3	1
[125]	1100	PUSH1	5224751	3	1
[126]	1102	SHL	5224748	3	1
[127]	1103	SUB	5224745	3	1
[128]	1104	DUP1	5224742	3	1
[129]	1105	DUP3	5224739	3	1
[130]	1106	GT	5224736	3	1
[131]	1107	ISZERO	5224733	3	1
[132]	1108	PUSH3	5224730	3	1
[133]	1112	JUMPI	5224727	10	1
[134]	1122	JUMPDEST	5224717	1	1
[135]	1123	PUSH1	5224716	3	1
[136]	1125	MLOAD	5224713	3	1
[137]	1126	PUSH1	5224710	3	1
[138]	1128	DUP4	5224707	3	1
[139]	1129	ADD	5224704	3	1
[140]	1130	PUSH1	5224701	3	1
[141]	1132	NOT	5224698	3	1
[142]	1133	SWAP1	5224695	3	1
[143]	1134	DUP2	5224692	3	1
[144]	1135	AND	5224689	3	1
[145]	1136	PUSH1	5224686	3	1
[146]	1138	ADD	5224683	3	1
[147]	1139	AND	5224680	3	1
[148]	1140	DUP2	5224677	3	1
[149]	1141	ADD	5224674	3	1
[150]	1142	SWAP1	5224671	3	1
[151]	1143	DUP3	5224668	3	1
[152]	1144	DUP3	5224665	3	1
[153]	1145	GT	5224662	3	1
[154]	1146	DUP2	5224659	3	1
[155]	1147	DUP4	5224656	3	1
[156]	1148	LT	5224653	3	1
[157]	1149	OR	5224650	3	1
[158]	1150	ISZERO	5224647	3	1
[159]	1151	PUSH3	5224644	3	1
[160]	1155	JUMPI	5224641	10	1
[161]	1165	JUMPDEST	5224631	1	1
[162]	1166	DUP2	5224630	3	1
[163]	1167	PUSH1	5224627	3	1
[164]	1169	MSTORE	5224624	3	1
[165]	1170	DUP4	5224621	3	1
[166]	1171	DUP2	5224618	3	1
[167]	1172	MSTORE	5224615	6	1
[168]	1173	PUSH1	5224609	3	1
[169]	1175	SWAP3	5224606	3	1
[170]	1176	POP	5224603	2	1
[171]	1177	DUP7	5224601	3	1
[172]	1178	PUSH1	5224598	3	1
[173]	1180	DUP6	5224595	3	1
[174]	1181	DUP9	5224592	3	1
[175]	1182	ADD	5224589	3	1
[176]	1183	ADD	5224586	3	1
[177]	1184	GT	5224583	3	1
[178]	1185	ISZERO	5224580	3	1
[179]	1186	PUSH3	5224577	3	1
[180]	1190	JUMPI	5224574	10	1
[181]	1195	JUMPDEST	5224564	1	1
[182]	1196	PUSH1	5224563	3	1
[183]	1198	SWAP2	5224560	3	1
[184]	1199	POP	5224557	2	1
[185]	1200	JUMPDEST	5224555	1	1
[186]	1201	DUP4	5224554	3	1
[187]	1202	DUP3	5224551	3	1
[188]	1203	LT	5224548	3	1
[189]	1204	ISZERO	5224545	3	1
[190]	1205	PUSH3	5224542	3	1
[191]	1209	JUMPI	5224539	10	1
[192]	1210	DUP6	5224529	3	1
[193]	1211	DUP3	5224526	3	1
[194]	1212	ADD	5224523	3	1
[195]	1213	DUP4	5224520	3	1
[196]	1214	ADD	5224517	3	1
[197]	1215	MLOAD	5224514	3	1
[198]	1216	DUP2	5224511	3	1
[199]	1217	DUP4	5224508	3	1
[200]	1218	ADD	5224505	3	1
[201]	1219	DUP5	5224502	3	1
[202]	1220	ADD	5224499	3	1
[203]	1221	MSTORE	5224496	6	1
[204]	1222	SWAP1	5224490	3	1
[205]	1223	DUP3	5224487	3	1
[206]	1224	ADD	5224484	3	1
[207]	1225	SWAP1	5224481	3	1
[208]	1226	PUSH3	5224478	3	1
[209]	1230	JUMP	5224475	8	1
[210]	1200	JUMPDEST	5224467	1	1
[211]	1201	DUP4	5224466	3	1
[212]	1202	DUP3	5224463	3	1
[213]	1203	LT	5224460	3	1
[214]	1204	ISZERO	5224457	3	1
[215]	1205	PUSH3	5224454	3	1
[216]	1209	JUMPI	5224451	10	1
[217]	1231	JUMPDEST	5224441	1	1
[218]	1232	PUSH1	5224440	3	1
[219]	1234	PUSH1	5224437	3	1
[220]	1236	DUP6	5224434	3	1
[221]	1237	DUP4	5224431	3	1
[222]	1238	ADD	5224428	3	1
[223]	1239	ADD	5224425	3	1
[224]	1240	MSTORE	5224422	6	1
[225]	1241	DUP1	5224416	3	1
[226]	1242	SWAP5	5224413	3	1
[227]	1243	POP	5224410	2	1
[228]	1244	POP	5224408	2	1
[229]	1245	POP	5224406	2	1
[230]	1246	POP	5224404	2	1
[231]	1247	POP	5224402	2	1
[232]	1248	SWAP3	5224400	3	1
[233]	1249	SWAP2	5224397	3	1
[234]	1250	POP	5224394	2	1
[235]	1251	POP	5224392	2	1
[236]	1252	JUMP	5224390	8	1
[237]	1336	JUMPDEST	5224382	1	1
[238]	1337	SWAP8	5224381	3	1
[239]	1338	POP	5224378	2	1
[240]	1339	PUSH1	5224376	3	1
[241]	1341	DUP11	5224373	3	1
[242]	1342	ADD	5224370	3	1
[243]	1343	MLOAD	5224367	3	1
[244]	1344	SWAP2	5224364	3	1
[245]	1345	POP	5224361	2	1
[246]	1346	DUP1	5224359	3	1
[247]	1347	DUP3	5224356	3	1
[248]	1348	GT	5224353	3	1
[249]	1349	ISZERO	5224350	3	1
[250]	1350	PUSH3	5224347	3	1
[251]	1354	JUMPI	5224344	10	1
[252]	1359	JUMPDEST	5224334	1	1
[253]	1360	POP	5224333	2	1
[254]	1361	PUSH3	5224331	3	1
[255]	1365	DUP11	5224328	3	1
[256]	1366	DUP3	5224325	3	1
[257]	1367	DUP12	5224322	3	1
[258]	1368	ADD	5224319	3	1
[259]	1369	PUSH3	5224316	3	1
[260]	1373	JUMP	5224313	8	1
[261]	1075	JUMPDEST	5224305	1	1
[262]	1076	PUSH1	5224304	3	1
[263]	1078	DUP3	5224301	3	1
[264]	1079	PUSH1	5224298	3	1
[265]	1081	DUP4	5224295	3	1
[266]	1082	ADD	5224292	3	1
[267]	1083	SLT	5224289	3	1
[268]	1084	PUSH3	5224286	3	1
[269]	1088	JUMPI	5224283	10	1
[270]	1093	JUMPDEST	5224273	1	1
[271]	1094	DUP2	5224272	3	1
[272]	1095	MLOAD	5224269	3	1
[273]	1096	PUSH1	5224266	3	1
[274]	1098	PUSH1	5224263	3	1
[275]	1100	PUSH1	5224260	3	1
[276]	1102	SHL	5224257	3	1
[277]	1103	SUB	5224254	3	1
[278]	1104	DUP1	5224251	3	1
[279]	1105	DUP3	5224248	3	1
[280]	1106	GT	5224245	3	1
[281]	1107	ISZERO	5224242	3	1
[282]	1108	PUSH3	5224239	3	1
[283]	1112	JUMPI	5224236	10	1
[284]	1122	JUMPDEST	5224226	1	1
[285]	1123	PUSH1	5224225	3	1
[286]	1125	MLOAD	5224222	3	1
[287]	1126	PUSH1	5224219	3	1
[288]	1128	DUP4	5224216	3	1
[289]	1129	ADD	5224213	3	1
[290]	1130	PUSH1	5224210	3	1
[291]	1132	NOT	5224207	3	1
[292]	1133	SWAP1	5224204	3	1
[293]	1134	DUP2	5224201	3	1
[294]	1135	AND	5224198	3	1
[295]	1136	PUSH1	5224195	3	1
[296]	1138	ADD	5224192	3	1
[297]	1139	AND	5224189	3	1
[298]	1140	DUP2	5224186	3	1
[299]	1141	ADD	5224183	3	1
[300]	1142	SWAP1	5224180	3	1
[301]	1143	DUP3	5224177	3	1
[302]	1144	DUP3	5224174	3	1
[303]	1145	GT	5224171	3	1
[304]	1146	DUP2	5224168	3	1
[305]	1147	DUP4	5224165	3	1
[306]	1148	LT	5224162	3	1
[307]	1149	OR	5224159	3	1
[308]	1150	ISZERO	5224156	3	1
[309]	1151	PUSH3	5224153	3	1
[310]	1155	JUMPI	5224150	10	1
[311]	1165	JUMPDEST	5224140	1	1
[312]	1166	DUP2	5224139	3	1
[313]	1167	PUSH1	5224136	3	1
[314]	1169	MSTORE	5224133	3	1
[315]	1170	DUP4	5224130	3	1
[316]	1171	DUP2	5224127	3	1
[317]	1172	MSTORE	5224124	3	1
[318]	1173	PUSH1	5224121	3	1
[319]	1175	SWAP3	5224118	3	1
[320]	1176	POP	5224115	2	1
[321]	1177	DUP7	5224113	3	1
[322]	1178	PUSH1	5224110	3	1
[323]	1180	DUP6	5224107	3	1
[324]	1181	DUP9	5224104	3	1
[325]	1182	ADD	5224101	3	1
[326]	1183	ADD	5224098	3	1
[327]	1184	GT	5224095	3	1
[328]	1185	ISZERO	5224092	3	1
[329]	1186	PUSH3	5224089	3	1
[330]	1190	JUMPI	5224086	10	1
[331]	1195	JUMPDEST	5224076	1	1
[332]	1196	PUSH1	5224075	3	1
[333]	1198	SWAP2	5224072	3	1
[334]	1199	POP	5224069	2	1
[335]	1200	JUMPDEST	5224067	1	1
[336]	1201	DUP4	5224066	3	1
[337]	1202	DUP3	5224063	3	1
[338]	1203	LT	5224060	3	1
[339]	1204	ISZERO	5224057	3	1
[340]	1205	PUSH3	5224054	3	1
[341]	1209	JUMPI	5224051	10	1
[342]	1210	DUP6	5224041	3	1
[343]	1211	DUP3	5224038	3	1
[344]	1212	ADD	5224035	3	1
[345]	1213	DUP4	5224032	3	1
[346]	1214	ADD	5224029	3	1
[347]	1215	MLOAD	5224026	3	1
[348]	1216	DUP2	5224023	3	1
[349]	1217	DUP4	5224020	3	1
[350]	1218	ADD	5224017	3	1
[351]	1219	DUP5	5224014	3	1
[352]	1220	ADD	5224011	3	1
[353]	1221	MSTORE	5224008	6	1
[354]	1222	SWAP1	5224002	3	1
[355]	1223	DUP3	5223999	3	1
[356]	1224	ADD	5223996	3	1
[357]	1225	SWAP1	5223993	3	1
[358]	1226	PUSH3	5223990	3	1
[359]	1230	JUMP	5223987	8	1
[360]	1200	JUMPDEST	5223979	1	1
[361]	1201	DUP4	5223978	3	1
[362]	1202	DUP3	5223975	3	1
[363]	1203	LT	5223972	3	1
[364]	1204	ISZERO	5223969	3	1
[365]	1205	PUSH3	5223966	3	1
[366]	1209	JUMPI	5223963	10	1
[367]	1231	JUMPDEST	5223953	1	1
[368]	1232	PUSH1	5223952	3	1
[369]	1234	PUSH1	5223949	3	1
[370]	1236	DUP6	5223946	3	1
[371]	1237	DUP4	5223943	3	1
[372]	1238	ADD	5223940	3	1
[373]	1239	ADD	5223937	3	1
[374]	1240	MSTORE	5223934	6	1
[375]	1241	DUP1	5223928	3	1
[376]	1242	SWAP5	5223925	3	1
[377]	1243	POP	5223922	2	1
[378]	1244	POP	5223920	2	1
[379]	1245	POP	5223918	2	1
[380]	1246	POP	5223916	2	1
[381]	1247	POP	5223914	2	1
[382]	1248	SWAP3	5223912	3	1
[383]	1249	SWAP2	5223909	3	1
[384]	1250	POP	5223906	2	1
[385]	1251	POP	5223904	2	1
[386]	1252	JUMP	5223902	8	1
[387]	1374	JUMPDEST	5223894	1	1
[388]	1375	SWAP6	5223893	3	1
[389]	1376	POP	5223890	2	1
[390]	1377	POP	5223888	2	1
[391]	1378	PUSH3	5223886	3	1
[392]	1382	PUSH1	5223883	3	1
[393]	1384	DUP10	5223880	3	1
[394]	1385	ADD	5223877	3	1
[395]	1386	PUSH3	5223874	3	1
[396]	1390	JUMP	5223871	8	1
[397]	1024	JUMPDEST	5223863	1	1
[398]	1025	DUP1	5223862	3	1
[399]	1026	MLOAD	5223859	3	1
[400]	1027	PUSH1	5223856	3	1
[401]	1029	PUSH1	5223853	3	1
[402]	1031	PUSH1	5223850	3	1
[403]	1033	SHL	5223847	3	1
[404]	1034	SUB	5223844	3	1
[405]	1035	DUP2	5223841	3	1
[406]	1036	AND	5223838	3	1
[407]	1037	DUP2	5223835	3	1
[408]	1038	EQ	5223832	3	1
[409]	1039	PUSH3	5223829	3	1
[410]	1043	JUMPI	5223826	10	1
[411]	1048	JUMPDEST	5223816	1	1
[412]	1049	SWAP2	5223815	3	1
[413]	1050	SWAP1	5223812	3	1
[414]	1051	POP	5223809	2	1
[415]	1052	JUMP	5223807	8	1
[416]	1391	JUMPDEST	5223799	1	1
[417]	1392	SWAP4	5223798	3	1
[418]	1393	POP	5223795	2	1
[419]	1394	PUSH1	5223793	3	1
[420]	1396	DUP9	5223790	3	1
[421]	1397	ADD	5223787	3	1
[422]	1398	MLOAD	5223784	3	1
[423]	1399	SWAP3	5223781	3	1
[424]	1400	POP	5223778	2	1
[425]	1401	PUSH3	5223776	3	1
[426]	1405	PUSH1	5223773	3	1
[427]	1407	DUP10	5223770	3	1
[428]	1408	ADD	5223767	3	1
[429]	1409	PUSH3	5223764	3	1
[430]	1413	JUMP	5223761	8	1
[431]	1024	JUMPDEST	5223753	1	1
[432]	1025	DUP1	5223752	3	1
[433]	1026	MLOAD	5223749	3	1
[434]	1027	PUSH1	5223746	3	1
[435]	1029	PUSH1	5223743	3	1
[436]	1031	PUSH1	5223740	3	1
[437]	1033	SHL	5223737	3	1
[438]	1034	SUB	5223734	3	1
[439]	1035	DUP2	5223731	3	1
[440]	1036	AND	5223728	3	1
[441]	1037	DUP2	5223725	3	1
[442]	1038	EQ	5223722	3	1
[443]	1039	PUSH3	5223719	3	1
[444]	1043	JUMPI	5223716	10	1
[445]	1048	JUMPDEST	5223706	1	1
[446]	1049	SWAP2	5223705	3	1
[447]	1050	SWAP1	5223702	3	1
[448]	1051	POP	5223699	2	1
[449]	1052	JUMP	5223697	8	1
[450]	1414	JUMPDEST	5223689	1	1
[451]	1415	PUSH1	5223688	3	1
[452]	1417	DUP10	5223685	3	1
[453]	1418	ADD	5223682	3	1
[454]	1419	MLOAD	5223679	3	1
[455]	1420	SWAP1	5223676	3	1
[456]	1421	SWAP3	5223673	3	1
[457]	1422	POP	5223670	2	1
[458]	1423	PUSH1	5223668	3	1
[459]	1425	PUSH1	5223665	3	1
[460]	1427	PUSH1	5223662	3	1
[461]	1429	SHL	5223659	3	1
[462]	1430	SUB	5223656	3	1
[463]	1431	DUP2	5223653	3	1
[464]	1432	AND	5223650	3	1
[465]	1433	DUP2	5223647	3	1
[466]	1434	EQ	5223644	3	1
[467]	1435	PUSH3	5223641	3	1
[468]	1439	JUMPI	5223638	10	1
[469]	1444	JUMPDEST	5223628	1	1
[470]	1445	DUP1	5223627	3	1
[471]	1446	SWAP2	5223624	3	1
[472]	1447	POP	5223621	2	1
[473]	1448	POP	5223619	2	1
[474]	1449	SWAP3	5223617	3	1
[475]	1450	SWAP6	5223614	3	1
[476]	1451	SWAP9	5223611	3	1
[477]	1452	SWAP2	5223608	3	1
[478]	1453	SWAP5	5223605	3	1
[479]	1454	SWAP8	5223602	3	1
[480]	1455	POP	5223599	2	1
[481]	1456	SWAP3	5223597	3	1
[482]	1457	SWAP6	5223594	3	1
[483]	1458	POP	5223591	2	1
[484]	1459	JUMP	5223589	8	1
[485]	90	JUMPDEST	5223581	1	1
[486]	91	DUP7	5223580	3	1
[487]	92	DUP7	5223577	3	1
[488]	93	DUP7	5223574	3	1
[489]	94	DUP5	5223571	3	1
[490]	95	DUP5	5223568	3	1
[491]	96	DUP4	5223565	3	1
[492]	97	DUP4	5223562	3	1
[493]	98	PUSH1	5223559	3	1
[494]	100	PUSH3	5223556	3	1
[495]	104	DUP4	5223553	3	1
[496]	105	DUP3	5223550	3	1
[497]	106	PUSH3	5223547	3	1
[498]	110	JUMP	5223544	8	1
[499]	1605	JUMPDEST	5223536	1	1
[500]	1606	DUP2	5223535	3	1
[501]	1607	MLOAD	5223532	3	1
[502]	1608	PUSH1	5223529	3	1
[503]	1610	PUSH1	5223526	3	1
[504]	1612	PUSH1	5223523	3	1
[505]	1614	SHL	5223520	3	1
[506]	1615	SUB	5223517	3	1
[507]	1616	DUP2	5223514	3	1
[508]	1617	GT	5223511	3	1
[509]	1618	ISZERO	5223508	3	1
[510]	1619	PUSH3	5223505	3	1
[511]	1623	JUMPI	5223502	10	1
[512]	1633	JUMPDEST	5223492	1	1
[513]	1634	PUSH3	5223491	3	1
[514]	1638	DUP2	5223488	3	1
[515]	1639	PUSH3	5223485	3	1
[516]	1643	DUP5	5223482	3	1
[517]	1644	SLOAD	5223479	2100	1
[518]	1645	PUSH3	5221379	3	1
[519]	1649	JUMP	5221376	8	1
[520]	1460	JUMPDEST	5221368	1	1
[521]	1461	PUSH1	5221367	3	1
[522]	1463	DUP2	5221364	3	1
[523]	1464	DUP2	5221361	3	1
[524]	1465	SHR	5221358	3	1
[525]	1466	SWAP1	5221355	3	1
[526]	1467	DUP3	5221352	3	1
[527]	1468	AND	5221349	3	1
[528]	1469	DUP1	5221346	3	1
[529]	1470	PUSH3	5221343	3	1
[530]	1474	JUMPI	5221340	10	1
[531]	1475	PUSH1	5221330	3	1
[532]	1477	DUP3	5221327	3	1
[533]	1478	AND	5221324	3	1
[534]	1479	SWAP2	5221321	3	1
[535]	1480	POP	5221318	2	1
[536]	1481	JUMPDEST	5221316	1	1
[537]	1482	PUSH1	5221315	3	1
[538]	1484	DUP3	5221312	3	1
[539]	1485	LT	5221309	3	1
[540]	1486	DUP2	5221306	3	1
[541]	1487	SUB	5221303	3	1
[542]	1488	PUSH3	5221300	3	1
[543]	1492	JUMPI	5221297	10	1
[544]	1514	JUMPDEST	5221287	1	1
[545]	1515	POP	5221286	2	1
[546]	1516	SWAP2	5221284	3	1
[547]	1517	SWAP1	5221281	3	1
[548]	1518	POP	5221278	2	1
[549]	1519	JUMP	5221276	8	1
[550]	1650	JUMPDEST	5221268	1	1
[551]	1651	DUP5	5221267	3	1
[552]	1652	PUSH3	5221264	3	1
[553]	1656	JUMP	5221261	8	1
[554]	1520	JUMPDEST	5221253	1	1
[555]	1521	PUSH1	5221252	3	1
[556]	1523	DUP3	5221249	3	1
[557]	1524	GT	5221246	3	1
[558]	1525	ISZERO	5221243	3	1
[559]	1526	PUSH3	5221240	3	1
[560]	1530	JUMPI	5221237	10	1
[561]	1600	JUMPDEST	5221227	1	1
[562]	1601	POP	5221226	2	1
[563]	1602	POP	5221224	2	1
[564]	1603	POP	5221222	2	1
[565]	1604	JUMP	5221220	8	1
[566]	1657	JUMPDEST	5221212	1	1
[567]	1658	PUSH1	5221211	3	1
[568]	1660	DUP1	5221208	3	1
[569]	1661	PUSH1	5221205	3	1
[570]	1663	DUP4	5221202	3	1
[571]	1664	GT	5221199	3	1
[572]	1665	PUSH1	5221196	3	1
[573]	1667	DUP2	5221193	3	1
[574]	1668	EQ	5221190	3	1
[575]	1669	PUSH3	5221187	3	1
[576]	1673	JUMPI	5221184	10	1
[577]	1674	PUSH1	5221174	3	1
[578]	1676	DUP5	5221171	3	1
[579]	1677	ISZERO	5221168	3	1
[580]	1678	PUSH3	5221165	3	1
[581]	1682	JUMPI	5221162	10	1
[582]	1683	POP	5221152	2	1
[583]	1684	DUP6	5221150	3	1
[584]	1685	DUP4	5221147	3	1
[585]	1686	ADD	5221144	3	1
[586]	1687	MLOAD	5221141	3	1
[587]	1688	JUMPDEST	5221138	1	1
[588]	1689	PUSH1	5221137	3	1
[589]	1691	NOT	5221134	3	1
[590]	1692	PUSH1	5221131	3	1
[591]	1694	DUP7	5221128	3	1
[592]	1695	SWAP1	5221125	3	1
[593]	1696	SHL	5221122	3	1
[594]	1697	SHR	5221119	3	1
[595]	1698	NOT	5221116	3	1
[596]	1699	AND	5221113	3	1
[597]	1700	PUSH1	5221110	3	1
[598]	1702	DUP6	5221107	3	1
[599]	1703	SWAP1	5221104	3	1
[600]	1704	SHL	5221101	3	1
[601]	1705	OR	5221098	3	1
[602]	1706	DUP6	5221095	3	1
[603]	1707	SSTORE	5221092	20000	1
[604]	1708	PUSH3	5201092	3	1
[605]	1712	JUMP	5201089	8	1
[606]	1596	JUMPDEST	5201081	1	1
[607]	1597	POP	5201080	2	1
[608]	1598	POP	5201078	2	1
[609]	1599	POP	5201076	2	1
[610]	1600	JUMPDEST	5201074	1	1
[611]	1601	POP	5201073	2	1
[612]	1602	POP	5201071	2	1
[613]	1603	POP	5201069	2	1
[614]	1604	JUMP	5201067	8	1
[615]	111	JUMPDEST	5201059	1	1
[616]	112	POP	5201058	2	1
[617]	113	PUSH1	5201056	3	1
[618]	115	PUSH3	5201053	3	1
[619]	119	DUP3	5201050	3	1
[620]	120	DUP3	5201047	3	1
[621]	121	PUSH3	5201044	3	1
[622]	125	JUMP	5201041	8	1
[623]	1605	JUMPDEST	5201033	1	1
[624]	1606	DUP2	5201032	3	1
[625]	1607	MLOAD	5201029	3	1
[626]	1608	PUSH1	5201026	3	1
[627]	1610	PUSH1	5201023	3	1
[628]	1612	PUSH1	5201020	3	1
[629]	1614	SHL	5201017	3	1
[630]	1615	SUB	5201014	3	1
[631]	1616	DUP2	5201011	3	1
[632]	1617	GT	5201008	3	1
[633]	1618	ISZERO	5201005	3	1
[634]	1619	PUSH3	5201002	3	1
[635]	1623	JUMPI	5200999	10	1
[636]	1633	JUMPDEST	5200989	1	1
[637]	1634	PUSH3	5200988	3	1
[638]	1638	DUP2	5200985	3	1
[639]	1639	PUSH3	5200982	3	1
[640]	1643	DUP5	5200979	3	1
[641]	1644	SLOAD	5200976	2100	1
[642]	1645	PUSH3	5198876	3	1
[643]	1649	JUMP	5198873	8	1
[644]	1460	JUMPDEST	5198865	1	1
[645]	1461	PUSH1	5198864	3	1
[646]	1463	DUP2	5198861	3	1
[647]	1464	DUP2	5198858	3	1
[648]	1465	SHR	5198855	3	1
[649]	1466	SWAP1	5198852	3	1
[650]	1467	DUP3	5198849	3	1
[651]	1468	AND	5198846	3	1
[652]	1469	DUP1	5198843	3	1
[653]	1470	PUSH3	5198840	3	1
[654]	1474	JUMPI	5198837	10	1
[655]	1475	PUSH1	5198827	3	1
[656]	1477	DUP3	5198824	3	1
[657]	1478	AND	5198821	3	1
[658]	1479	SWAP2	5198818	3	1
[659]	1480	POP	5198815	2	1
[660]	1481	JUMPDEST	5198813	1	1
[661]	1482	PUSH1	5198812	3	1
[662]	1484	DUP3	5198809	3	1
[663]	1485	LT	5198806	3	1
[664]	1486	DUP2	5198803	3	1
[665]	1487	SUB	5198800	3	1
[666]	1488	PUSH3	5198797	3	1
[667]	1492	JUMPI	5198794	10	1
[668]	1514	JUMPDEST	5198784	1	1
[669]	1515	POP	5198783	2	1
[670]	1516	SWAP2	5198781	3	1
[671]	1517	SWAP1	5198778	3	1
[672]	1518	POP	5198775	2	1
[673]	1519	JUMP	5198773	8	1
[674]	1650	JUMPDEST	5198765	1	1
[675]	1651	DUP5	5198764	3	1
[676]	1652	PUSH3	5198761	3	1
[677]	1656	JUMP	5198758	8	1
[678]	1520	JUMPDEST	5198750	1	1
[679]	1521	PUSH1	5198749	3	1
[680]	1523	DUP3	5198746	3	1
[681]	1524	GT	5198743	3	1
[682]	1525	ISZERO	5198740	3	1
[683]	1526	PUSH3	5198737	3	1
[684]	1530	JUMPI	5198734	10	1
[685]	1600	JUMPDEST	5198724	1	1
[686]	1601	POP	5198723	2	1
[687]	1602	POP	5198721	2	1
[688]	1603	POP	5198719	2	1
[689]	1604	JUMP	5198717	8	1
[690]	1657	JUMPDEST	5198709	1	1
[691]	1658	PUSH1	5198708	3	1
[692]	1660	DUP1	5198705	3	1
[693]	1661	PUSH1	5198702	3	1
[694]	1663	DUP4	5198699	3	1
[695]	1664	GT	5198696	3	1
[696]	1665	PUSH1	5198693	3	1
[697]	1667	DUP2	5198690	3	1
[698]	1668	EQ	5198687	3	1
[699]	1669	PUSH3	5198684	3	1
[700]	1673	JUMPI	5198681	10	1
[701]	1674	PUSH1	5198671	3	1
[702]	1676	DUP5	5198668	3	1
[703]	1677	ISZERO	5198665	3	1
[704]	1678	PUSH3	5198662	3	1
[705]	1682	JUMPI	5198659	10	1
[706]	1683	POP	5198649	2	1
[707]	1684	DUP6	5198647	3	1
[708]	1685	DUP4	5198644	3	1
[709]	1686	ADD	5198641	3	1
[710]	1687	MLOAD	5198638	3	1
[711]	1688	JUMPDEST	5198635	1	1
[712]	1689	PUSH1	5198634	3	1
[713]	1691	NOT	5198631	3	1
[714]	1692	PUSH1	5198628	3	1
[715]	1694	DUP7	5198625	3	1
[716]	1695	SWAP1	5198622	3	1
[717]	1696	SHL	5198619	3	1
[718]	1697	SHR	5198616	3	1
[719]	1698	NOT	5198613	3	1
[720]	1699	AND	5198610	3	1
[721]	1700	PUSH1	5198607	3	1
[722]	1702	DUP6	5198604	3	1
[723]	1703	SWAP1	5198601	3	1
[724]	1704	SHL	5198598	3	1
[725]	1705	OR	5198595	3	1
[726]	1706	DUP6	5198592	3	1
[727]	1707	SSTORE	5198589	20000	1
[728]	1708	PUSH3	5178589	3	1
[729]	1712	JUMP	5178586	8	1
[730]	1596	JUMPDEST	5178578	1	1
[731]	1597	POP	5178577	2	1
[732]	1598	POP	5178575	2	1
[733]	1599	POP	5178573	2	1
[734]	1600	JUMPDEST	5178571	1	1
[735]	1601	POP	5178570	2	1
[736]	1602	POP	5178568	2	1
[737]	1603	POP	5178566	2	1
[738]	1604	JUMP	5178564	8	1
[739]	126	JUMPDEST	5178556	1	1
[740]	127	POP	5178555	2	1
[741]	128	POP	5178553	2	1
[742]	129	PUSH1	5178551	3	1
[743]	131	DUP1	5178548	3	1
[744]	132	SSTORE	5178545	2200	1
[745]	133	POP	5176345	2	1
[746]	134	PUSH3	5176343	3	1
[747]	138	DUP6	5176340	3	1
[748]	139	PUSH3	5176337	3	1
[749]	143	JUMP	5176334	8	1
[750]	394	JUMPDEST	5176326	1	1
[751]	395	PUSH1	5176325	3	1
[752]	397	DUP1	5176322	3	1
[753]	398	SLOAD	5176319	2100	1
[754]	399	PUSH1	5174219	3	1
[755]	401	PUSH1	5174216	3	1
[756]	403	PUSH1	5174213	3	1
[757]	405	SHL	5174210	3	1
[758]	406	SUB	5174207	3	1
[759]	407	DUP4	5174204	3	1
[760]	408	DUP2	5174201	3	1
[761]	409	AND	5174198	3	1
[762]	410	PUSH1	5174195	3	1
[763]	412	PUSH1	5174192	3	1
[764]	414	PUSH1	5174189	3	1
[765]	416	SHL	5174186	3	1
[766]	417	SUB	5174183	3	1
[767]	418	NOT	5174180	3	1
[768]	419	DUP4	5174177	3	1
[769]	420	AND	5174174	3	1
[770]	421	DUP2	5174171	3	1
[771]	422	OR	5174168	3	1
[772]	423	SWAP1	5174165	3	1
[773]	424	SWAP4	5174162	3	1
[774]	425	SSTORE	5174159	20000	1
[775]	426	PUSH1	5154159	3	1
[776]	428	MLOAD	5154156	3	1
[777]	429	SWAP2	5154153	3	1
[778]	430	AND	5154150	3	1
[779]	431	SWAP2	5154147	3	1
[780]	432	SWAP1	5154144	3	1
[781]	433	DUP3	5154141	3	1
[782]	434	SWAP1	5154138	3	1
[783]	435	PUSH32	5154135	3	1
[784]	468	SWAP1	5154132	3	1
[785]	469	PUSH1	5154129	3	1
[786]	471	SWAP1	5154126	3	1
[787]	472	LOG3	5154123	1500	1
[788]	473	POP	5152623	2	1
[789]	474	POP	5152621	2	1
[790]	475	JUMP	5152619	8	1
[791]	144	JUMPDEST	5152611	1	1
[792]	145	PUSH3	5152610	3	1
[793]	149	DUP3	5152607	3	1
[794]	150	PUSH1	5152604	3	1
[795]	152	PUSH1	5152601	3	1
[796]	154	PUSH1	5152598	3	1
[797]	156	SHL	5152595	3	1
[798]	157	SUB	5152592	3	1
[799]	158	DUP4	5152589	3	1
[800]	159	AND	5152586	3	1
[801]	160	PUSH3	5152583	3	1
[802]	164	JUMP	5152580	8	1
[803]	476	JUMPDEST	5152572	1	1
[804]	477	PUSH2	5152571	3	1
[805]	480	DUP2	5152568	3	1
[806]	481	GT	5152565	3	1
[807]	482	ISZERO	5152562	3	1
[808]	483	PUSH3	5152559	3	1
[809]	487	JUMPI	5152556	10	1
[810]	546	JUMPDEST	5152546	1	1
[811]	547	PUSH1	5152545	3	1
[812]	549	DUP1	5152542	3	1
[813]	550	SLOAD	5152539	2100	1
[814]	551	PUSH1	5150439	3	1
[815]	553	PUSH1	5150436	3	1
[816]	555	PUSH1	5150433	3	1
[817]	557	SHL	5150430	3	1
[818]	558	SUB	5150427	3	1
[819]	559	DUP5	5150424	3	1
[820]	560	AND	5150421	3	1
[821]	561	PUSH1	5150418	3	1
[822]	563	PUSH1	5150415	3	1
[823]	565	PUSH1	5150412	3	1
[824]	567	SHL	5150409	3	1
[825]	568	SUB	5150406	3	1
[826]	569	NOT	5150403	3	1
[827]	570	SWAP1	5150400	3	1
[828]	571	SWAP2	5150397	3	1
[829]	572	AND	5150394	3	1
[830]	573	DUP2	5150391	3	1
[831]	574	OR	5150388	3	1
[832]	575	PUSH1	5150385	3	1
[833]	577	PUSH1	5150382	3	1
[834]	579	SHL	5150379	3	1
[835]	580	PUSH2	5150376	3	1
[836]	583	DUP6	5150373	3	1
[837]	584	AND	5150370	3	1
[838]	585	MUL	5150367	5	1
[839]	586	OR	5150362	3	1
[840]	587	SWAP1	5150359	3	1
[841]	588	SWAP2	5150356	3	1
[842]	589	SSTORE	5150353	20000	1
[843]	590	PUSH1	5130353	3	1
[844]	592	MLOAD	5130350	3	1
[845]	593	DUP3	5130347	3	1
[846]	594	DUP2	5130344	3	1
[847]	595	MSTORE	5130341	3	1
[848]	596	PUSH32	5130338	3	1
[849]	629	SWAP1	5130335	3	1
[850]	630	PUSH1	5130332	3	1
[851]	632	ADD	5130329	3	1
[852]	633	PUSH1	5130326	3	1
[853]	635	MLOAD	5130323	3	1
[854]	636	DUP1	5130320	3	1
[855]	637	SWAP2	5130317	3	1
[856]	638	SUB	5130314	3	1
[857]	639	SWAP1	5130311	3	1
[858]	640	LOG2	5130308	1381	1
[859]	641	POP	5128927	2	1
[860]	642	POP	5128925	2	1
[861]	643	JUMP	5128923	8	1
[862]	165	JUMPDEST	5128915	1	1
[863]	166	POP	5128914	2	1
[864]	167	POP	5128912	2	1
[865]	168	POP	5128910	2	1
[866]	169	POP	5128908	2	1
[867]	170	POP	5128906	2	1
[868]	171	PUSH1	5128904	3	1
[869]	173	DUP4	5128901	3	1
[870]	174	GT	5128898	3	1
[871]	175	PUSH3	5128895	3	1
[872]	179	JUMPI	5128892	10	1
[873]	242	JUMPDEST	5128882	1	1
[874]	243	PUSH32	5128881	3	1
[875]	276	PUSH32	5128878	3	1
[876]	309	PUSH3	5128875	3	1
[877]	313	PUSH1	5128872	3	1
[878]	315	DUP11	5128869	3	1
[879]	316	PUSH3	5128866	3	1
[880]	320	JUMP	5128863	8	1
[881]	644	JUMPDEST	5128855	1	1
[882]	645	PUSH3	5128854	3	1
[883]	649	DUP3	5128851	3	1
[884]	650	DUP3	5128848	3	1
[885]	651	PUSH3	5128845	3	1
[886]	655	JUMP	5128842	8	1
[887]	822	JUMPDEST	5128834	1	1
[888]	823	PUSH1	5128833	3	1
[889]	825	DUP3	5128830	3	1
[890]	826	DUP2	5128827	3	1
[891]	827	MSTORE	5128824	3	1
[892]	828	PUSH1	5128821	3	1
[893]	830	PUSH1	5128818	3	1
[894]	832	SWAP1	5128815	3	1
[895]	833	DUP2	5128812	3	1
[896]	834	MSTORE	5128809	3	1
[897]	835	PUSH1	5128806	3	1
[898]	837	DUP1	5128803	3	1
[899]	838	DUP4	5128800	3	1
[900]	839	KECCAK256	5128797	42	1
[901]	840	PUSH1	5128755	3	1
[902]	842	PUSH1	5128752	3	1
[903]	844	PUSH1	5128749	3	1
[904]	846	SHL	5128746	3	1
[905]	847	SUB	5128743	3	1
[906]	848	DUP6	5128740	3	1
[907]	849	AND	5128737	3	1
[908]	850	DUP1	5128734	3	1
[909]	851	DUP6	5128731	3	1
[910]	852	MSTORE	5128728	3	1
[911]	853	SWAP3	5128725	3	1
[912]	854	MSTORE	5128722	3	1
[913]	855	DUP1	5128719	3	1
[914]	856	DUP4	5128716	3	1
[915]	857	KECCAK256	5128713	42	1
[916]	858	DUP1	5128671	3	1
[917]	859	SLOAD	5128668	2100	1
[918]	860	PUSH1	5126568	3	1
[919]	862	NOT	5126565	3	1
[920]	863	AND	5126562	3	1
[921]	864	PUSH1	5126559	3	1
[922]	866	OR	5126556	3	1
[923]	867	SWAP1	5126553	3	1
[924]	868	SSTORE	5126550	20000	1
[925]	869	MLOAD	5106550	3	1
[926]	870	CALLER	5106547	2	1
[927]	871	SWAP3	5106545	3	1
[928]	872	DUP6	5106542	3	1
[929]	873	SWAP2	5106539	3	1
[930]	874	PUSH32	5106536	3	1
[931]	907	SWAP2	5106533	3	1
[932]	908	SWAP1	5106530	3	1
[933]	909	LOG4	5106527	1875	1
[934]	910	POP	5104652	2	1
[935]	911	POP	5104650	2	1
[936]	912	JUMP	5104648	8	1
[937]	656	JUMPDEST	5104640	1	1
[938]	657	PUSH3	5104639	3	1
[939]	661	DUP3	5104636	3	1
[940]	662	DUP3	5104633	3	1
[941]	663	PUSH3	5104630	3	1
[942]	667	JUMP	5104627	8	1
[943]	913	JUMPDEST	5104619	1	1
[944]	914	PUSH1	5104618	3	1
[945]	916	DUP3	5104615	3	1
[946]	917	DUP2	5104612	3	1
[947]	918	MSTORE	5104609	3	1
[948]	919	PUSH1	5104606	3	1
[949]	921	PUSH1	5104603	3	1
[950]	923	MSTORE	5104600	3	1
[951]	924	PUSH1	5104597	3	1
[952]	926	DUP2	5104594	3	1
[953]	927	KECCAK256	5104591	42	1
[954]	928	DUP1	5104549	3	1
[955]	929	SLOAD	5104546	2100	1
[956]	930	SWAP2	5102446	3	1
[957]	931	PUSH1	5102443	3	1
[958]	933	SWAP2	5102440	3	1
[959]	934	SWAP1	5102437	3	1
[960]	935	PUSH3	5102434	3	1
[961]	939	DUP4	5102431	3	1
[962]	940	DUP6	5102428	3	1
[963]	941	PUSH3	5102425	3	1
[964]	945	JUMP	5102422	8	1
[965]	1809	JUMPDEST	5102414	1	1
[966]	1810	DUP1	5102413	3	1
[967]	1811	DUP3	5102410	3	1
[968]	1812	ADD	5102407	3	1
[969]	1813	DUP1	5102404	3	1
[970]	1814	DUP3	5102401	3	1
[971]	1815	GT	5102398	3	1
[972]	1816	ISZERO	5102395	3	1
[973]	1817	PUSH3	5102392	3	1
[974]	1821	JUMPI	5102389	10	1
[975]	1843	JUMPDEST	5102379	1	1
[976]	1844	SWAP3	5102378	3	1
[977]	1845	SWAP2	5102375	3	1
[978]	1846	POP	5102372	2	1
[979]	1847	POP	5102370	2	1
[980]	1848	JUMP	5102368	8	1
[981]	946	JUMPDEST	5102360	1	1
[982]	947	SWAP1	5102359	3	1
[983]	948	SWAP2	5102356	3	1
[984]	949	SSTORE	5102353	20000	1
[985]	950	POP	5082353	2	1
[986]	951	POP	5082351	2	1
[987]	952	PUSH1	5082349	3	1
[988]	954	SWAP3	5082346	3	1
[989]	955	DUP4	5082343	3	1
[990]	956	MSTORE	5082340	3	1
[991]	957	PUSH1	5082337	3	1
[992]	959	PUSH1	5082334	3	1
[993]	961	SWAP1	5082331	3	1
[994]	962	DUP2	5082328	3	1
[995]	963	MSTORE	5082325	3	1
[996]	964	PUSH1	5082322	3	1
[997]	966	DUP1	5082319	3	1
[998]	967	DUP6	5082316	3	1
[999]	968	KECCAK256	5082313	42	1
[1000]	969	DUP4	5082271	3	1