Geth VM Trace Transaction

GETH Trace for Txn Hash 0xad5aab39f0e8d121c1160bc74c7a9ca0df26092a07b3cebe3f833f8df0dca3a6

Contract transaction successfully completed.

Raw traces

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

Step	PC	Operation	Gas	GasCost	Depth
[1]	0	PUSH1	140583	3	1
[2]	2	DUP1	140580	3	1
[3]	3	PUSH1	140577	3	1
[4]	5	MSTORE	140574	12	1
[5]	6	PUSH1	140562	3	1
[6]	8	CALLDATASIZE	140559	2	1
[7]	9	LT	140557	3	1
[8]	10	ISZERO	140554	3	1
[9]	11	PUSH2	140551	3	1
[10]	14	JUMPI	140548	10	1
[11]	29	JUMPDEST	140538	1	1
[12]	30	PUSH1	140537	3	1
[13]	32	SWAP1	140534	3	1
[14]	33	DUP2	140531	3	1
[15]	34	DUP1	140528	3	1
[16]	35	CALLDATALOAD	140525	3	1
[17]	36	PUSH1	140522	3	1
[18]	38	SHR	140519	3	1
[19]	39	SWAP2	140516	3	1
[20]	40	DUP3	140513	3	1
[21]	41	PUSH4	140510	3	1
[22]	46	EQ	140507	3	1
[23]	47	PUSH2	140504	3	1
[24]	50	JUMPI	140501	10	1
[25]	51	POP	140491	2	1
[26]	52	POP	140489	2	1
[27]	53	DUP1	140487	3	1
[28]	54	PUSH4	140484	3	1
[29]	59	EQ	140481	3	1
[30]	60	PUSH2	140478	3	1
[31]	63	JUMPI	140475	10	1
[32]	114	JUMPDEST	140465	1	1
[33]	115	POP	140464	2	1
[34]	116	CALLVALUE	140462	2	1
[35]	117	PUSH2	140460	3	1
[36]	120	JUMPI	140457	10	1
[37]	121	PUSH1	140447	3	1
[38]	123	CALLDATASIZE	140444	2	1
[39]	124	PUSH1	140442	3	1
[40]	126	NOT	140439	3	1
[41]	127	ADD	140436	3	1
[42]	128	SLT	140433	3	1
[43]	129	PUSH2	140430	3	1
[44]	132	JUMPI	140427	10	1
[45]	133	PUSH1	140417	3	1
[46]	135	CALLDATALOAD	140414	3	1
[47]	136	PUSH8	140411	3	1
[48]	145	DUP2	140408	3	1
[49]	146	GT	140405	3	1
[50]	147	PUSH2	140402	3	1
[51]	150	JUMPI	140399	10	1
[52]	151	PUSH2	140389	3	1
[53]	154	SWAP1	140386	3	1
[54]	155	CALLDATASIZE	140383	2	1
[55]	156	SWAP1	140381	3	1
[56]	157	PUSH1	140378	3	1
[57]	159	ADD	140375	3	1
[58]	160	PUSH2	140372	3	1
[59]	163	JUMP	140369	8	1
[60]	845	JUMPDEST	140361	1	1
[61]	846	SWAP2	140360	3	1
[62]	847	DUP2	140357	3	1
[63]	848	PUSH1	140354	3	1
[64]	850	DUP5	140351	3	1
[65]	851	ADD	140348	3	1
[66]	852	SLT	140345	3	1
[67]	853	ISZERO	140342	3	1
[68]	854	PUSH2	140339	3	1
[69]	857	JUMPI	140336	10	1
[70]	858	DUP3	140326	3	1
[71]	859	CALLDATALOAD	140323	3	1
[72]	860	SWAP2	140320	3	1
[73]	861	PUSH8	140317	3	1
[74]	870	DUP4	140314	3	1
[75]	871	GT	140311	3	1
[76]	872	PUSH2	140308	3	1
[77]	875	JUMPI	140305	10	1
[78]	876	PUSH1	140295	3	1
[79]	878	DUP1	140292	3	1
[80]	879	DUP6	140289	3	1
[81]	880	ADD	140286	3	1
[82]	881	SWAP5	140283	3	1
[83]	882	DUP5	140280	3	1
[84]	883	PUSH1	140277	3	1
[85]	885	SHL	140274	3	1
[86]	886	ADD	140271	3	1
[87]	887	ADD	140268	3	1
[88]	888	GT	140265	3	1
[89]	889	PUSH2	140262	3	1
[90]	892	JUMPI	140259	10	1
[91]	893	JUMP	140249	8	1
[92]	164	JUMPDEST	140241	1	1
[93]	165	SWAP1	140240	3	1
[94]	166	PUSH1	140237	3	1
[95]	168	CALLDATALOAD	140234	3	1
[96]	169	PUSH8	140231	3	1
[97]	178	DUP2	140228	3	1
[98]	179	GT	140225	3	1
[99]	180	PUSH2	140222	3	1
[100]	183	JUMPI	140219	10	1
[101]	184	PUSH2	140209	3	1
[102]	187	SWAP1	140206	3	1
[103]	188	CALLDATASIZE	140203	2	1
[104]	189	SWAP1	140201	3	1
[105]	190	PUSH1	140198	3	1
[106]	192	ADD	140195	3	1
[107]	193	PUSH2	140192	3	1
[108]	196	JUMP	140189	8	1
[109]	845	JUMPDEST	140181	1	1
[110]	846	SWAP2	140180	3	1
[111]	847	DUP2	140177	3	1
[112]	848	PUSH1	140174	3	1
[113]	850	DUP5	140171	3	1
[114]	851	ADD	140168	3	1
[115]	852	SLT	140165	3	1
[116]	853	ISZERO	140162	3	1
[117]	854	PUSH2	140159	3	1
[118]	857	JUMPI	140156	10	1
[119]	858	DUP3	140146	3	1
[120]	859	CALLDATALOAD	140143	3	1
[121]	860	SWAP2	140140	3	1
[122]	861	PUSH8	140137	3	1
[123]	870	DUP4	140134	3	1
[124]	871	GT	140131	3	1
[125]	872	PUSH2	140128	3	1
[126]	875	JUMPI	140125	10	1
[127]	876	PUSH1	140115	3	1
[128]	878	DUP1	140112	3	1
[129]	879	DUP6	140109	3	1
[130]	880	ADD	140106	3	1
[131]	881	SWAP5	140103	3	1
[132]	882	DUP5	140100	3	1
[133]	883	PUSH1	140097	3	1
[134]	885	SHL	140094	3	1
[135]	886	ADD	140091	3	1
[136]	887	ADD	140088	3	1
[137]	888	GT	140085	3	1
[138]	889	PUSH2	140082	3	1
[139]	892	JUMPI	140079	10	1
[140]	893	JUMP	140069	8	1
[141]	197	JUMPDEST	140061	1	1
[142]	198	DUP5	140060	3	1
[143]	199	SLOAD	140057	2100	1
[144]	200	PUSH1	137957	3	1
[145]	202	PUSH1	137954	3	1
[146]	204	PUSH1	137951	3	1
[147]	206	SHL	137948	3	1
[148]	207	SUB	137945	3	1
[149]	208	AND	137942	3	1
[150]	209	SWAP3	137939	3	1
[151]	210	DUP4	137936	3	1
[152]	211	EXTCODESIZE	137933	2600	1
[153]	212	ISZERO	135333	3	1
[154]	213	PUSH2	135330	3	1
[155]	216	JUMPI	135327	10	1
[156]	217	SWAP4	135317	3	1
[157]	218	SWAP1	135314	3	1
[158]	219	DUP6	135311	3	1
[159]	220	SWAP3	135308	3	1
[160]	221	PUSH1	135305	3	1
[161]	223	MLOAD	135302	3	1
[162]	224	SWAP6	135299	3	1
[163]	225	DUP7	135296	3	1
[164]	226	SWAP4	135293	3	1
[165]	227	PUSH4	135290	3	1
[166]	232	PUSH1	135287	3	1
[167]	234	SHL	135284	3	1
[168]	235	DUP6	135281	3	1
[169]	236	MSTORE	135278	9	1
[170]	237	DUP1	135269	3	1
[171]	238	PUSH1	135266	3	1
[172]	240	DUP7	135263	3	1
[173]	241	ADD	135260	3	1
[174]	242	PUSH1	135257	3	1
[175]	244	CALLDATALOAD	135254	3	1
[176]	245	PUSH1	135251	3	1
[177]	247	DUP9	135248	3	1
[178]	248	ADD	135245	3	1
[179]	249	MSTORE	135242	6	1
[180]	250	PUSH1	135236	3	1
[181]	252	PUSH1	135233	3	1
[182]	254	DUP9	135230	3	1
[183]	255	ADD	135227	3	1
[184]	256	MSTORE	135224	6	1
[185]	257	MSTORE	135218	9	1
[186]	258	PUSH1	135209	3	1
[187]	260	DUP6	135206	3	1
[188]	261	ADD	135203	3	1
[189]	262	SWAP2	135200	3	1
[190]	263	SWAP1	135197	3	1
[191]	264	DUP7	135194	3	1
[192]	265	SWAP1	135191	3	1
[193]	266	JUMPDEST	135188	1	1
[194]	267	DUP1	135187	3	1
[195]	268	DUP3	135184	3	1
[196]	269	LT	135181	3	1
[197]	270	PUSH2	135178	3	1
[198]	273	JUMPI	135175	10	1
[199]	505	JUMPDEST	135165	1	1
[200]	506	SWAP4	135164	3	1
[201]	507	SWAP7	135161	3	1
[202]	508	POP	135158	2	1
[203]	509	SWAP4	135156	3	1
[204]	510	SWAP5	135153	3	1
[205]	511	POP	135150	2	1
[206]	512	SWAP3	135148	3	1
[207]	513	SWAP2	135145	3	1
[208]	514	SWAP1	135142	3	1
[209]	515	DUP4	135139	3	1
[210]	516	CALLDATALOAD	135136	3	1
[211]	517	PUSH1	135133	3	1
[212]	519	PUSH1	135130	3	1
[213]	521	PUSH1	135127	3	1
[214]	523	SHL	135124	3	1
[215]	524	SUB	135121	3	1
[216]	525	DUP2	135118	3	1
[217]	526	AND	135115	3	1
[218]	527	SWAP2	135112	3	1
[219]	528	SWAP1	135109	3	1
[220]	529	DUP3	135106	3	1
[221]	530	SWAP1	135103	3	1
[222]	531	SUB	135100	3	1
[223]	532	PUSH2	135097	3	1
[224]	535	JUMPI	135094	10	1
[225]	536	PUSH1	135084	3	1
[226]	538	DUP2	135081	3	1
[227]	539	PUSH1	135078	3	1
[228]	541	SWAP4	135075	3	1
[229]	542	DUP3	135072	3	1
[230]	543	SWAP4	135069	3	1
[231]	544	MSTORE	135066	6	1
[232]	545	ADD	135060	3	1
[233]	546	SWAP5	135057	3	1
[234]	547	ADD	135054	3	1
[235]	548	SWAP3	135051	3	1
[236]	549	ADD	135048	3	1
[237]	550	SWAP2	135045	3	1
[238]	551	DUP9	135042	3	1
[239]	552	SWAP6	135039	3	1
[240]	553	SWAP3	135036	3	1
[241]	554	DUP9	135033	3	1
[242]	555	SWAP6	135030	3	1
[243]	556	SWAP5	135027	3	1
[244]	557	SWAP3	135024	3	1
[245]	558	PUSH2	135021	3	1
[246]	561	JUMP	135018	8	1
[247]	266	JUMPDEST	135010	1	1
[248]	267	DUP1	135009	3	1
[249]	268	DUP3	135006	3	1
[250]	269	LT	135003	3	1
[251]	270	PUSH2	135000	3	1
[252]	273	JUMPI	134997	10	1
[253]	505	JUMPDEST	134987	1	1
[254]	506	SWAP4	134986	3	1
[255]	507	SWAP7	134983	3	1
[256]	508	POP	134980	2	1
[257]	509	SWAP4	134978	3	1
[258]	510	SWAP5	134975	3	1
[259]	511	POP	134972	2	1
[260]	512	SWAP3	134970	3	1
[261]	513	SWAP2	134967	3	1
[262]	514	SWAP1	134964	3	1
[263]	515	DUP4	134961	3	1
[264]	516	CALLDATALOAD	134958	3	1
[265]	517	PUSH1	134955	3	1
[266]	519	PUSH1	134952	3	1
[267]	521	PUSH1	134949	3	1
[268]	523	SHL	134946	3	1
[269]	524	SUB	134943	3	1
[270]	525	DUP2	134940	3	1
[271]	526	AND	134937	3	1
[272]	527	SWAP2	134934	3	1
[273]	528	SWAP1	134931	3	1
[274]	529	DUP3	134928	3	1
[275]	530	SWAP1	134925	3	1
[276]	531	SUB	134922	3	1
[277]	532	PUSH2	134919	3	1
[278]	535	JUMPI	134916	10	1
[279]	536	PUSH1	134906	3	1
[280]	538	DUP2	134903	3	1
[281]	539	PUSH1	134900	3	1
[282]	541	SWAP4	134897	3	1
[283]	542	DUP3	134894	3	1
[284]	543	SWAP4	134891	3	1
[285]	544	MSTORE	134888	6	1
[286]	545	ADD	134882	3	1
[287]	546	SWAP5	134879	3	1
[288]	547	ADD	134876	3	1
[289]	548	SWAP3	134873	3	1
[290]	549	ADD	134870	3	1
[291]	550	SWAP2	134867	3	1
[292]	551	DUP9	134864	3	1
[293]	552	SWAP6	134861	3	1
[294]	553	SWAP3	134858	3	1
[295]	554	DUP9	134855	3	1
[296]	555	SWAP6	134852	3	1
[297]	556	SWAP5	134849	3	1
[298]	557	SWAP3	134846	3	1
[299]	558	PUSH2	134843	3	1
[300]	561	JUMP	134840	8	1
[301]	266	JUMPDEST	134832	1	1
[302]	267	DUP1	134831	3	1
[303]	268	DUP3	134828	3	1
[304]	269	LT	134825	3	1
[305]	270	PUSH2	134822	3	1
[306]	273	JUMPI	134819	10	1
[307]	505	JUMPDEST	134809	1	1
[308]	506	SWAP4	134808	3	1
[309]	507	SWAP7	134805	3	1
[310]	508	POP	134802	2	1
[311]	509	SWAP4	134800	3	1
[312]	510	SWAP5	134797	3	1
[313]	511	POP	134794	2	1
[314]	512	SWAP3	134792	3	1
[315]	513	SWAP2	134789	3	1
[316]	514	SWAP1	134786	3	1
[317]	515	DUP4	134783	3	1
[318]	516	CALLDATALOAD	134780	3	1
[319]	517	PUSH1	134777	3	1
[320]	519	PUSH1	134774	3	1
[321]	521	PUSH1	134771	3	1
[322]	523	SHL	134768	3	1
[323]	524	SUB	134765	3	1
[324]	525	DUP2	134762	3	1
[325]	526	AND	134759	3	1
[326]	527	SWAP2	134756	3	1
[327]	528	SWAP1	134753	3	1
[328]	529	DUP3	134750	3	1
[329]	530	SWAP1	134747	3	1
[330]	531	SUB	134744	3	1
[331]	532	PUSH2	134741	3	1
[332]	535	JUMPI	134738	10	1
[333]	536	PUSH1	134728	3	1
[334]	538	DUP2	134725	3	1
[335]	539	PUSH1	134722	3	1
[336]	541	SWAP4	134719	3	1
[337]	542	DUP3	134716	3	1
[338]	543	SWAP4	134713	3	1
[339]	544	MSTORE	134710	6	1
[340]	545	ADD	134704	3	1
[341]	546	SWAP5	134701	3	1
[342]	547	ADD	134698	3	1
[343]	548	SWAP3	134695	3	1
[344]	549	ADD	134692	3	1
[345]	550	SWAP2	134689	3	1
[346]	551	DUP9	134686	3	1
[347]	552	SWAP6	134683	3	1
[348]	553	SWAP3	134680	3	1
[349]	554	DUP9	134677	3	1
[350]	555	SWAP6	134674	3	1
[351]	556	SWAP5	134671	3	1
[352]	557	SWAP3	134668	3	1
[353]	558	PUSH2	134665	3	1
[354]	561	JUMP	134662	8	1
[355]	266	JUMPDEST	134654	1	1
[356]	267	DUP1	134653	3	1
[357]	268	DUP3	134650	3	1
[358]	269	LT	134647	3	1
[359]	270	PUSH2	134644	3	1
[360]	273	JUMPI	134641	10	1
[361]	274	POP	134631	2	1
[362]	275	POP	134629	2	1
[363]	276	POP	134627	2	1
[364]	277	PUSH1	134625	3	1
[365]	279	NOT	134622	3	1
[366]	280	DUP5	134619	3	1
[367]	281	DUP3	134616	3	1
[368]	282	SUB	134613	3	1
[369]	283	ADD	134610	3	1
[370]	284	PUSH1	134607	3	1
[371]	286	DUP6	134604	3	1
[372]	287	ADD	134601	3	1
[373]	288	MSTORE	134598	3	1
[374]	289	DUP3	134595	3	1
[375]	290	DUP2	134592	3	1
[376]	291	MSTORE	134589	6	1
[377]	292	PUSH1	134583	3	1
[378]	294	DUP2	134580	3	1
[379]	295	ADD	134577	3	1
[380]	296	SWAP3	134574	3	1
[381]	297	PUSH1	134571	3	1
[382]	299	DUP2	134568	3	1
[383]	300	PUSH1	134565	3	1
[384]	302	SHL	134562	3	1
[385]	303	DUP4	134559	3	1
[386]	304	ADD	134556	3	1
[387]	305	ADD	134553	3	1
[388]	306	SWAP4	134550	3	1
[389]	307	DUP4	134547	3	1
[390]	308	DUP8	134544	3	1
[391]	309	SWAP4	134541	3	1
[392]	310	PUSH1	134538	3	1
[393]	312	NOT	134535	3	1
[394]	313	DUP3	134532	3	1
[395]	314	CALLDATASIZE	134529	2	1
[396]	315	SUB	134527	3	1
[397]	316	ADD	134524	3	1
[398]	317	SWAP1	134521	3	1
[399]	318	JUMPDEST	134518	1	1
[400]	319	DUP5	134517	3	1
[401]	320	DUP7	134514	3	1
[402]	321	LT	134511	3	1
[403]	322	PUSH2	134508	3	1
[404]	325	JUMPI	134505	10	1
[405]	382	JUMPDEST	134495	1	1
[406]	383	SWAP3	134494	3	1
[407]	384	SWAP6	134491	3	1
[408]	385	SWAP9	134488	3	1
[409]	386	POP	134485	2	1
[410]	387	SWAP3	134483	3	1
[411]	388	SWAP6	134480	3	1
[412]	389	SWAP1	134477	3	1
[413]	390	SWAP4	134474	3	1
[414]	391	SWAP7	134471	3	1
[415]	392	POP	134468	2	1
[416]	393	PUSH1	134466	3	1
[417]	395	NOT	134463	3	1
[418]	396	DUP3	134460	3	1
[419]	397	DUP3	134457	3	1
[420]	398	SUB	134454	3	1
[421]	399	ADD	134451	3	1
[422]	400	DUP6	134448	3	1
[423]	401	MSTORE	134445	6	1
[424]	402	DUP8	134439	3	1
[425]	403	CALLDATALOAD	134436	3	1
[426]	404	DUP4	134433	3	1
[427]	405	DUP2	134430	3	1
[428]	406	SLT	134427	3	1
[429]	407	ISZERO	134424	3	1
[430]	408	PUSH2	134421	3	1
[431]	411	JUMPI	134418	10	1
[432]	412	DUP5	134408	3	1
[433]	413	ADD	134405	3	1
[434]	414	DUP12	134402	3	1
[435]	415	PUSH1	134399	3	1
[436]	417	DUP3	134396	3	1
[437]	418	CALLDATALOAD	134393	3	1
[438]	419	SWAP3	134390	3	1
[439]	420	ADD	134387	3	1
[440]	421	PUSH8	134384	3	1
[441]	430	DUP4	134381	3	1
[442]	431	GT	134378	3	1
[443]	432	PUSH2	134375	3	1
[444]	435	JUMPI	134372	10	1
[445]	436	DUP3	134362	3	1
[446]	437	CALLDATASIZE	134359	2	1
[447]	438	SUB	134357	3	1
[448]	439	DUP2	134354	3	1
[449]	440	SGT	134351	3	1
[450]	441	PUSH2	134348	3	1
[451]	444	JUMPI	134345	10	1
[452]	445	DUP3	134335	3	1
[453]	446	DUP5	134332	3	1
[454]	447	MSTORE	134329	9	1
[455]	448	PUSH1	134320	3	1
[456]	450	SWAP4	134317	3	1
[457]	451	PUSH1	134314	3	1
[458]	453	SWAP4	134311	3	1
[459]	454	DUP5	134308	3	1
[460]	455	SWAP4	134305	3	1
[461]	456	DUP5	134302	3	1
[462]	457	SWAP4	134299	3	1
[463]	458	DUP3	134296	3	1
[464]	459	SWAP1	134293	3	1
[465]	460	DUP6	134290	3	1
[466]	461	DUP6	134287	3	1
[467]	462	ADD	134284	3	1
[468]	463	CALLDATACOPY	134281	58	1
[469]	464	DUP4	134223	3	1
[470]	465	DUP3	134220	3	1
[471]	466	DUP5	134217	3	1
[472]	467	ADD	134214	3	1
[473]	468	ADD	134211	3	1
[474]	469	MSTORE	134208	6	1
[475]	470	PUSH1	134202	3	1
[476]	472	DUP1	134199	3	1
[477]	473	NOT	134196	3	1
[478]	474	SWAP2	134193	3	1
[479]	475	ADD	134190	3	1
[480]	476	AND	134187	3	1
[481]	477	ADD	134184	3	1
[482]	478	ADD	134181	3	1
[483]	479	SWAP10	134178	3	1
[484]	480	ADD	134175	3	1
[485]	481	SWAP6	134172	3	1
[486]	482	ADD	134169	3	1
[487]	483	SWAP7	134166	3	1
[488]	484	ADD	134163	3	1
[489]	485	SWAP3	134160	3	1
[490]	486	DUP11	134157	3	1
[491]	487	SWAP8	134154	3	1
[492]	488	SWAP6	134151	3	1
[493]	489	SWAP3	134148	3	1
[494]	490	DUP11	134145	3	1
[495]	491	SWAP8	134142	3	1
[496]	492	SWAP3	134139	3	1
[497]	493	PUSH2	134136	3	1
[498]	496	JUMP	134133	8	1
[499]	318	JUMPDEST	134125	1	1
[500]	319	DUP5	134124	3	1
[501]	320	DUP7	134121	3	1
[502]	321	LT	134118	3	1
[503]	322	PUSH2	134115	3	1
[504]	325	JUMPI	134112	10	1
[505]	382	JUMPDEST	134102	1	1
[506]	383	SWAP3	134101	3	1
[507]	384	SWAP6	134098	3	1
[508]	385	SWAP9	134095	3	1
[509]	386	POP	134092	2	1
[510]	387	SWAP3	134090	3	1
[511]	388	SWAP6	134087	3	1
[512]	389	SWAP1	134084	3	1
[513]	390	SWAP4	134081	3	1
[514]	391	SWAP7	134078	3	1
[515]	392	POP	134075	2	1
[516]	393	PUSH1	134073	3	1
[517]	395	NOT	134070	3	1
[518]	396	DUP3	134067	3	1
[519]	397	DUP3	134064	3	1
[520]	398	SUB	134061	3	1
[521]	399	ADD	134058	3	1
[522]	400	DUP6	134055	3	1
[523]	401	MSTORE	134052	3	1
[524]	402	DUP8	134049	3	1
[525]	403	CALLDATALOAD	134046	3	1
[526]	404	DUP4	134043	3	1
[527]	405	DUP2	134040	3	1
[528]	406	SLT	134037	3	1
[529]	407	ISZERO	134034	3	1
[530]	408	PUSH2	134031	3	1
[531]	411	JUMPI	134028	10	1
[532]	412	DUP5	134018	3	1
[533]	413	ADD	134015	3	1
[534]	414	DUP12	134012	3	1
[535]	415	PUSH1	134009	3	1
[536]	417	DUP3	134006	3	1
[537]	418	CALLDATALOAD	134003	3	1
[538]	419	SWAP3	134000	3	1
[539]	420	ADD	133997	3	1
[540]	421	PUSH8	133994	3	1
[541]	430	DUP4	133991	3	1
[542]	431	GT	133988	3	1
[543]	432	PUSH2	133985	3	1
[544]	435	JUMPI	133982	10	1
[545]	436	DUP3	133972	3	1
[546]	437	CALLDATASIZE	133969	2	1
[547]	438	SUB	133967	3	1
[548]	439	DUP2	133964	3	1
[549]	440	SGT	133961	3	1
[550]	441	PUSH2	133958	3	1
[551]	444	JUMPI	133955	10	1
[552]	445	DUP3	133945	3	1
[553]	446	DUP5	133942	3	1
[554]	447	MSTORE	133939	3	1
[555]	448	PUSH1	133936	3	1
[556]	450	SWAP4	133933	3	1
[557]	451	PUSH1	133930	3	1
[558]	453	SWAP4	133927	3	1
[559]	454	DUP5	133924	3	1
[560]	455	SWAP4	133921	3	1
[561]	456	DUP5	133918	3	1
[562]	457	SWAP4	133915	3	1
[563]	458	DUP3	133912	3	1
[564]	459	SWAP1	133909	3	1
[565]	460	DUP6	133906	3	1
[566]	461	DUP6	133903	3	1
[567]	462	ADD	133900	3	1
[568]	463	CALLDATACOPY	133897	58	1
[569]	464	DUP4	133839	3	1
[570]	465	DUP3	133836	3	1
[571]	466	DUP5	133833	3	1
[572]	467	ADD	133830	3	1
[573]	468	ADD	133827	3	1
[574]	469	MSTORE	133824	6	1
[575]	470	PUSH1	133818	3	1
[576]	472	DUP1	133815	3	1
[577]	473	NOT	133812	3	1
[578]	474	SWAP2	133809	3	1
[579]	475	ADD	133806	3	1
[580]	476	AND	133803	3	1
[581]	477	ADD	133800	3	1
[582]	478	ADD	133797	3	1
[583]	479	SWAP10	133794	3	1
[584]	480	ADD	133791	3	1
[585]	481	SWAP6	133788	3	1
[586]	482	ADD	133785	3	1
[587]	483	SWAP7	133782	3	1
[588]	484	ADD	133779	3	1
[589]	485	SWAP3	133776	3	1
[590]	486	DUP11	133773	3	1
[591]	487	SWAP8	133770	3	1
[592]	488	SWAP6	133767	3	1
[593]	489	SWAP3	133764	3	1
[594]	490	DUP11	133761	3	1
[595]	491	SWAP8	133758	3	1
[596]	492	SWAP3	133755	3	1
[597]	493	PUSH2	133752	3	1
[598]	496	JUMP	133749	8	1
[599]	318	JUMPDEST	133741	1	1
[600]	319	DUP5	133740	3	1
[601]	320	DUP7	133737	3	1
[602]	321	LT	133734	3	1
[603]	322	PUSH2	133731	3	1
[604]	325	JUMPI	133728	10	1
[605]	326	POP	133718	2	1
[606]	327	POP	133716	2	1
[607]	328	POP	133714	2	1
[608]	329	POP	133712	2	1
[609]	330	POP	133710	2	1
[610]	331	POP	133708	2	1
[611]	332	POP	133706	2	1
[612]	333	SWAP3	133704	3	1
[613]	334	DUP2	133701	3	1
[614]	335	DUP4	133698	3	1
[615]	336	DUP2	133695	3	1
[616]	337	DUP2	133692	3	1
[617]	338	SWAP7	133689	3	1
[618]	339	SUB	133686	3	1
[619]	340	SWAP3	133683	3	1
[620]	341	GAS	133680	2	1
[621]	342	CALL	133678	131591	1
[622]	0	PUSH1	131491	3	2
[623]	2	PUSH1	131488	3	2
[624]	4	MSTORE	131485	12	2
[625]	5	PUSH1	131473	3	2
[626]	7	CALLDATASIZE	131470	2	2
[627]	8	LT	131468	3	2
[628]	9	ISZERO	131465	3	2
[629]	10	PUSH2	131462	3	2
[630]	13	JUMPI	131459	10	2
[631]	27	JUMPDEST	131449	1	2
[632]	28	PUSH1	131448	3	2
[633]	30	DUP1	131445	3	2
[634]	31	CALLDATALOAD	131442	3	2
[635]	32	PUSH1	131439	3	2
[636]	34	SHR	131436	3	2
[637]	35	DUP1	131433	3	2
[638]	36	PUSH4	131430	3	2
[639]	41	EQ	131427	3	2
[640]	42	PUSH2	131424	3	2
[641]	45	JUMPI	131421	10	2
[642]	46	DUP1	131411	3	2
[643]	47	PUSH4	131408	3	2
[644]	52	EQ	131405	3	2
[645]	53	PUSH2	131402	3	2
[646]	56	JUMPI	131399	10	2
[647]	57	DUP1	131389	3	2
[648]	58	PUSH4	131386	3	2
[649]	63	EQ	131383	3	2
[650]	64	PUSH2	131380	3	2
[651]	67	JUMPI	131377	10	2
[652]	68	DUP1	131367	3	2
[653]	69	PUSH4	131364	3	2
[654]	74	EQ	131361	3	2
[655]	75	PUSH2	131358	3	2
[656]	78	JUMPI	131355	10	2
[657]	79	DUP1	131345	3	2
[658]	80	PUSH4	131342	3	2
[659]	85	EQ	131339	3	2
[660]	86	PUSH2	131336	3	2
[661]	89	JUMPI	131333	10	2
[662]	90	DUP1	131323	3	2
[663]	91	PUSH4	131320	3	2
[664]	96	EQ	131317	3	2
[665]	97	PUSH2	131314	3	2
[666]	100	JUMPI	131311	10	2
[667]	101	DUP1	131301	3	2
[668]	102	PUSH4	131298	3	2
[669]	107	EQ	131295	3	2
[670]	108	PUSH2	131292	3	2
[671]	111	JUMPI	131289	10	2
[672]	112	DUP1	131279	3	2
[673]	113	PUSH4	131276	3	2
[674]	118	EQ	131273	3	2
[675]	119	PUSH2	131270	3	2
[676]	122	JUMPI	131267	10	2
[677]	123	DUP1	131257	3	2
[678]	124	PUSH4	131254	3	2
[679]	129	EQ	131251	3	2
[680]	130	PUSH2	131248	3	2
[681]	133	JUMPI	131245	10	2
[682]	134	DUP1	131235	3	2
[683]	135	PUSH4	131232	3	2
[684]	140	EQ	131229	3	2
[685]	141	PUSH2	131226	3	2
[686]	144	JUMPI	131223	10	2
[687]	145	DUP1	131213	3	2
[688]	146	PUSH4	131210	3	2
[689]	151	EQ	131207	3	2
[690]	152	PUSH2	131204	3	2
[691]	155	JUMPI	131201	10	2
[692]	156	DUP1	131191	3	2
[693]	157	PUSH4	131188	3	2
[694]	162	EQ	131185	3	2
[695]	163	PUSH2	131182	3	2
[696]	166	JUMPI	131179	10	2
[697]	5808	JUMPDEST	131169	1	2
[698]	5809	POP	131168	2	2
[699]	5810	CALLVALUE	131166	2	2
[700]	5811	PUSH2	131164	3	2
[701]	5814	JUMPI	131161	10	2
[702]	5815	PUSH2	131151	3	2
[703]	5818	PUSH2	131148	3	2
[704]	5821	CALLDATASIZE	131145	2	2
[705]	5822	PUSH2	131143	3	2
[706]	5825	JUMP	131140	8	2
[707]	8127	JUMPDEST	131132	1	2
[708]	8128	SWAP1	131131	3	2
[709]	8129	PUSH1	131128	3	2
[710]	8131	PUSH1	131125	3	2
[711]	8133	NOT	131122	3	2
[712]	8134	DUP4	131119	3	2
[713]	8135	ADD	131116	3	2
[714]	8136	SLT	131113	3	2
[715]	8137	PUSH2	131110	3	2
[716]	8140	JUMPI	131107	10	2
[717]	8141	PUSH1	131097	3	2
[718]	8143	CALLDATALOAD	131094	3	2
[719]	8144	SWAP2	131091	3	2
[720]	8145	PUSH1	131088	3	2
[721]	8147	CALLDATALOAD	131085	3	2
[722]	8148	PUSH1	131082	3	2
[723]	8150	PUSH1	131079	3	2
[724]	8152	PUSH1	131076	3	2
[725]	8154	SHL	131073	3	2
[726]	8155	SUB	131070	3	2
[727]	8156	DUP2	131067	3	2
[728]	8157	GT	131064	3	2
[729]	8158	PUSH2	131061	3	2
[730]	8161	JUMPI	131058	10	2
[731]	8162	DUP2	131048	3	2
[732]	8163	PUSH2	131045	3	2
[733]	8166	SWAP2	131042	3	2
[734]	8167	PUSH1	131039	3	2
[735]	8169	ADD	131036	3	2
[736]	8170	PUSH2	131033	3	2
[737]	8173	JUMP	131030	8	2
[738]	8079	JUMPDEST	131022	1	2
[739]	8080	SWAP2	131021	3	2
[740]	8081	DUP2	131018	3	2
[741]	8082	PUSH1	131015	3	2
[742]	8084	DUP5	131012	3	2
[743]	8085	ADD	131009	3	2
[744]	8086	SLT	131006	3	2
[745]	8087	ISZERO	131003	3	2
[746]	8088	PUSH2	131000	3	2
[747]	8091	JUMPI	130997	10	2
[748]	8092	DUP3	130987	3	2
[749]	8093	CALLDATALOAD	130984	3	2
[750]	8094	SWAP2	130981	3	2
[751]	8095	PUSH1	130978	3	2
[752]	8097	PUSH1	130975	3	2
[753]	8099	PUSH1	130972	3	2
[754]	8101	SHL	130969	3	2
[755]	8102	SUB	130966	3	2
[756]	8103	DUP4	130963	3	2
[757]	8104	GT	130960	3	2
[758]	8105	PUSH2	130957	3	2
[759]	8108	JUMPI	130954	10	2
[760]	8109	PUSH1	130944	3	2
[761]	8111	DUP1	130941	3	2
[762]	8112	DUP6	130938	3	2
[763]	8113	ADD	130935	3	2
[764]	8114	SWAP5	130932	3	2
[765]	8115	DUP5	130929	3	2
[766]	8116	PUSH1	130926	3	2
[767]	8118	SHL	130923	3	2
[768]	8119	ADD	130920	3	2
[769]	8120	ADD	130917	3	2
[770]	8121	GT	130914	3	2
[771]	8122	PUSH2	130911	3	2
[772]	8125	JUMPI	130908	10	2
[773]	8126	JUMP	130898	8	2
[774]	8174	JUMPDEST	130890	1	2
[775]	8175	SWAP3	130889	3	2
[776]	8176	SWAP1	130886	3	2
[777]	8177	SWAP3	130883	3	2
[778]	8178	SWAP2	130880	3	2
[779]	8179	PUSH1	130877	3	2
[780]	8181	CALLDATALOAD	130874	3	2
[781]	8182	SWAP1	130871	3	2
[782]	8183	PUSH1	130868	3	2
[783]	8185	PUSH1	130865	3	2
[784]	8187	PUSH1	130862	3	2
[785]	8189	SHL	130859	3	2
[786]	8190	SUB	130856	3	2
[787]	8191	DUP3	130853	3	2
[788]	8192	GT	130850	3	2
[789]	8193	PUSH2	130847	3	2
[790]	8196	JUMPI	130844	10	2
[791]	8197	PUSH2	130834	3	2
[792]	8200	SWAP2	130831	3	2
[793]	8201	PUSH1	130828	3	2
[794]	8203	ADD	130825	3	2
[795]	8204	PUSH2	130822	3	2
[796]	8207	JUMP	130819	8	2
[797]	8079	JUMPDEST	130811	1	2
[798]	8080	SWAP2	130810	3	2
[799]	8081	DUP2	130807	3	2
[800]	8082	PUSH1	130804	3	2
[801]	8084	DUP5	130801	3	2
[802]	8085	ADD	130798	3	2
[803]	8086	SLT	130795	3	2
[804]	8087	ISZERO	130792	3	2
[805]	8088	PUSH2	130789	3	2
[806]	8091	JUMPI	130786	10	2
[807]	8092	DUP3	130776	3	2
[808]	8093	CALLDATALOAD	130773	3	2
[809]	8094	SWAP2	130770	3	2
[810]	8095	PUSH1	130767	3	2
[811]	8097	PUSH1	130764	3	2
[812]	8099	PUSH1	130761	3	2
[813]	8101	SHL	130758	3	2
[814]	8102	SUB	130755	3	2
[815]	8103	DUP4	130752	3	2
[816]	8104	GT	130749	3	2
[817]	8105	PUSH2	130746	3	2
[818]	8108	JUMPI	130743	10	2
[819]	8109	PUSH1	130733	3	2
[820]	8111	DUP1	130730	3	2
[821]	8112	DUP6	130727	3	2
[822]	8113	ADD	130724	3	2
[823]	8114	SWAP5	130721	3	2
[824]	8115	DUP5	130718	3	2
[825]	8116	PUSH1	130715	3	2
[826]	8118	SHL	130712	3	2
[827]	8119	ADD	130709	3	2
[828]	8120	ADD	130706	3	2
[829]	8121	GT	130703	3	2
[830]	8122	PUSH2	130700	3	2
[831]	8125	JUMPI	130697	10	2
[832]	8126	JUMP	130687	8	2
[833]	8208	JUMPDEST	130679	1	2
[834]	8209	SWAP1	130678	3	2
[835]	8210	SWAP2	130675	3	2
[836]	8211	JUMP	130672	8	2
[837]	5826	JUMPDEST	130664	1	2
[838]	5827	DUP5	130663	3	2
[839]	5828	DUP8	130660	3	2
[840]	5829	MSTORE	130657	3	2
[841]	5830	PUSH1	130654	3	2
[842]	5832	PUSH1	130651	3	2
[843]	5834	MSTORE	130648	3	2
[844]	5835	PUSH1	130645	3	2
[845]	5837	DUP8	130642	3	2
[846]	5838	KECCAK256	130639	42	2
[847]	5839	SWAP4	130597	3	2
[848]	5840	SWAP6	130594	3	2
[849]	5841	SWAP3	130591	3	2
[850]	5842	SWAP5	130588	3	2
[851]	5843	SWAP3	130585	3	2
[852]	5844	SWAP2	130582	3	2
[853]	5845	PUSH2	130579	3	2
[854]	5848	DUP6	130576	3	2
[855]	5849	PUSH2	130573	3	2
[856]	5852	JUMP	130570	8	2
[857]	12439	JUMPDEST	130562	1	2
[858]	12440	SLOAD	130561	2100	2
[859]	12441	PUSH5	128461	3	2
[860]	12447	DUP2	128458	3	2
[861]	12448	PUSH1	128455	3	2
[862]	12450	SHR	128452	3	2
[863]	12451	AND	128449	3	2
[864]	12452	TIMESTAMP	128446	2	2
[865]	12453	LT	128444	3	2
[866]	12454	SWAP1	128441	3	2
[867]	12455	DUP2	128438	3	2
[868]	12456	ISZERO	128435	3	2
[869]	12457	PUSH2	128432	3	2
[870]	12460	JUMPI	128429	10	2
[871]	12485	JUMPDEST	128419	1	2
[872]	12486	PUSH5	128418	3	2
[873]	12492	SWAP2	128415	3	2
[874]	12493	POP	128412	2	2
[875]	12494	PUSH1	128410	3	2
[876]	12496	SHR	128407	3	2
[877]	12497	AND	128404	3	2
[878]	12498	TIMESTAMP	128401	2	2
[879]	12499	GT	128399	3	2
[880]	12500	CODESIZE	128396	2	2
[881]	12501	PUSH2	128394	3	2
[882]	12504	JUMP	128391	8	2
[883]	12461	JUMPDEST	128383	1	2
[884]	12462	POP	128382	2	2
[885]	12463	PUSH2	128380	3	2
[886]	12466	JUMPI	128377	10	2
[887]	12467	JUMP	128367	8	2
[888]	5853	JUMPDEST	128359	1	2
[889]	5854	PUSH2	128358	3	2
[890]	5857	JUMP	128355	8	2
[891]	12125	JUMPDEST	128347	1	2
[892]	12126	PUSH1	128346	3	2
[893]	12128	MLOAD	128343	3	2
[894]	12129	PUSH4	128340	3	2
[895]	12134	PUSH1	128337	3	2
[896]	12136	SHL	128334	3	2
[897]	12137	DUP2	128331	3	2
[898]	12138	MSTORE	128328	9	2
[899]	12139	PUSH1	128319	3	2
[900]	12141	PUSH1	128316	3	2
[901]	12143	DUP3	128313	3	2
[902]	12144	ADD	128310	3	2
[903]	12145	DUP2	128307	3	2
[904]	12146	SWAP1	128304	3	2
[905]	12147	MSTORE	128301	6	2
[906]	12148	PUSH1	128295	3	2
[907]	12150	SWAP4	128292	3	2
[908]	12151	PUSH32	128289	3	2
[909]	12184	PUSH1	128286	3	2
[910]	12186	PUSH1	128283	3	2
[911]	12188	PUSH1	128280	3	2
[912]	12190	SHL	128277	3	2
[913]	12191	SUB	128274	3	2
[914]	12192	AND	128271	3	2
[915]	12193	SWAP3	128268	3	2
[916]	12194	SWAP1	128265	3	2
[917]	12195	SWAP2	128262	3	2
[918]	12196	DUP2	128259	3	2
[919]	12197	DUP1	128256	3	2
[920]	12198	PUSH2	128253	3	2
[921]	12201	PUSH1	128250	3	2
[922]	12203	DUP3	128247	3	2
[923]	12204	ADD	128244	3	2
[924]	12205	DUP7	128241	3	2
[925]	12206	DUP10	128238	3	2
[926]	12207	PUSH2	128235	3	2
[927]	12210	JUMP	128232	8	2
[928]	11835	JUMPDEST	128224	1	2
[929]	11836	SWAP1	128223	3	2
[930]	11837	PUSH1	128220	3	2
[931]	11839	DUP4	128217	3	2
[932]	11840	DUP3	128214	3	2
[933]	11841	DUP2	128211	3	2
[934]	11842	MSTORE	128208	6	2
[935]	11843	ADD	128202	3	2
[936]	11844	SWAP1	128199	3	2
[937]	11845	PUSH1	128196	3	2
[938]	11847	DUP2	128193	3	2
[939]	11848	PUSH1	128190	3	2
[940]	11850	SHL	128187	3	2
[941]	11851	DUP6	128184	3	2
[942]	11852	ADD	128181	3	2
[943]	11853	ADD	128178	3	2
[944]	11854	SWAP4	128175	3	2
[945]	11855	DUP4	128172	3	2
[946]	11856	PUSH1	128169	3	2
[947]	11858	SWAP2	128166	3	2
[948]	11859	JUMPDEST	128163	1	2
[949]	11860	DUP4	128162	3	2
[950]	11861	DUP4	128159	3	2
[951]	11862	LT	128156	3	2
[952]	11863	PUSH2	128153	3	2
[953]	11866	JUMPI	128150	10	2
[954]	11875	JUMPDEST	128140	1	2
[955]	11876	SWAP1	128139	3	2
[956]	11877	SWAP2	128136	3	2
[957]	11878	SWAP3	128133	3	2
[958]	11879	SWAP4	128130	3	2
[959]	11880	SWAP5	128127	3	2
[960]	11881	SWAP6	128124	3	2
[961]	11882	PUSH1	128121	3	2
[962]	11884	NOT	128118	3	2
[963]	11885	DUP3	128115	3	2
[964]	11886	DUP3	128112	3	2
[965]	11887	SUB	128109	3	2
[966]	11888	ADD	128106	3	2
[967]	11889	DUP7	128103	3	2
[968]	11890	MSTORE	128100	6	2
[969]	11891	DUP7	128094	3	2
[970]	11892	CALLDATALOAD	128091	3	2
[971]	11893	PUSH1	128088	3	2
[972]	11895	NOT	128085	3	2
[973]	11896	DUP5	128082	3	2
[974]	11897	CALLDATASIZE	128079	2	2
[975]	11898	SUB	128077	3	2
[976]	11899	ADD	128074	3	2
[977]	11900	DUP2	128071	3	2
[978]	11901	SLT	128068	3	2
[979]	11902	ISZERO	128065	3	2
[980]	11903	PUSH2	128062	3	2
[981]	11906	JUMPI	128059	10	2
[982]	11907	DUP4	128049	3	2
[983]	11908	ADD	128046	3	2
[984]	11909	SWAP1	128043	3	2
[985]	11910	PUSH1	128040	3	2
[986]	11912	DUP3	128037	3	2
[987]	11913	CALLDATALOAD	128034	3	2
[988]	11914	SWAP3	128031	3	2
[989]	11915	ADD	128028	3	2
[990]	11916	SWAP2	128025	3	2
[991]	11917	PUSH1	128022	3	2
[992]	11919	PUSH1	128019	3	2
[993]	11921	PUSH1	128016	3	2
[994]	11923	SHL	128013	3	2
[995]	11924	SUB	128010	3	2
[996]	11925	DUP2	128007	3	2
[997]	11926	GT	128004	3	2
[998]	11927	PUSH2	128001	3	2
[999]	11930	JUMPI	127998	10	2
[1000]	11931	DUP1	127988	3	2