Geth VM Trace Transaction

GETH Trace for Txn Hash 0x948067d114ed3d7501e615f351bca068c1568284a6cc2ddbe91b6f3e1c9e4aaa

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

Step PC Operation Gas GasCost Depth
[1]0PUSH113514231
[2]2PUSH113513931
[3]4MSTORE135136121
[4]5PUSH113512431
[5]7CALLDATASIZE13512121
[6]8LT13511931
[7]9PUSH213511631
[8]12JUMPI135113101
[9]13PUSH113510331
[10]15CALLDATALOAD13510031
[11]16PUSH113509731
[12]18SHR13509431
[13]19DUP113509131
[14]20PUSH413508831
[15]25GT13508531
[16]26PUSH213508231
[17]29JUMPI135079101
[18]30DUP113506931
[19]31PUSH413506631
[20]36GT13506331
[21]37PUSH213506031
[22]40JUMPI135057101
[23]127JUMPDEST13504711
[24]128DUP113504631
[25]129PUSH413504331
[26]134GT13504031
[27]135PUSH213503731
[28]138JUMPI135034101
[29]176JUMPDEST13502411
[30]177DUP113502331
[31]178PUSH413502031
[32]183EQ13501731
[33]184PUSH213501431
[34]187JUMPI135011101
[35]2223JUMPDEST13500111
[36]2224CALLVALUE13500021
[37]2225DUP113499831
[38]2226ISZERO13499531
[39]2227PUSH213499231
[40]2230JUMPI134989101
[41]2235JUMPDEST13497911
[42]2236POP13497821
[43]2237PUSH213497631
[44]2240PUSH113497331
[45]2242DUP113497031
[46]2243CALLDATASIZE13496721
[47]2244SUB13496531
[48]2245PUSH113496231
[49]2247DUP213495931
[50]2248LT13495631
[51]2249ISZERO13495331
[52]2250PUSH213495031
[53]2253JUMPI134947101
[54]2258JUMPDEST13493711
[55]2259DUP213493631
[56]2260CALLDATALOAD13493331
[57]2261SWAP213493031
[58]2262PUSH113492731
[59]2264DUP213492431
[60]2265ADD13492131
[61]2266CALLDATALOAD13491831
[62]2267SWAP213491531
[63]2268DUP213491231
[64]2269ADD13490931
[65]2270SWAP113490631
[66]2271PUSH113490331
[67]2273DUP213490031
[68]2274ADD13489731
[69]2275PUSH113489431
[70]2277DUP313489131
[71]2278ADD13488831
[72]2279CALLDATALOAD13488531
[73]2280PUSH513488231
[74]2286DUP213487931
[75]2287GT13487631
[76]2288ISZERO13487331
[77]2289PUSH213487031
[78]2292JUMPI134867101
[79]2297JUMPDEST13485711
[80]2298DUP313485631
[81]2299ADD13485331
[82]2300DUP413485031
[83]2301PUSH113484731
[84]2303DUP313484431
[85]2304ADD13484131
[86]2305GT13483831
[87]2306ISZERO13483531
[88]2307PUSH213483231
[89]2310JUMPI134829101
[90]2315JUMPDEST13481911
[91]2316DUP113481831
[92]2317CALLDATALOAD13481531
[93]2318SWAP113481231
[94]2319PUSH113480931
[95]2321ADD13480631
[96]2322SWAP213480331
[97]2323DUP513480031
[98]2324PUSH113479731
[99]2326DUP413479431
[100]2327MUL13479151
[101]2328DUP513478631
[102]2329ADD13478331
[103]2330GT13478031
[104]2331PUSH513477731
[105]2337DUP413477431
[106]2338GT13477131
[107]2339OR13476831
[108]2340ISZERO13476531
[109]2341PUSH213476231
[110]2344JUMPI134759101
[111]2349JUMPDEST13474911
[112]2350SWAP213474831
[113]2351SWAP413474531
[114]2352POP13474221
[115]2353SWAP213474031
[116]2354POP13473721
[117]2355PUSH2013473531
[118]2376DUP213473231
[119]2377CALLDATALOAD13472931
[120]2378AND13472631
[121]2379SWAP113472331
[122]2380PUSH113472031
[123]2382ADD13471731
[124]2383CALLDATALOAD13471431
[125]2384PUSH213471131
[126]2387JUMP13470881
[127]9522JUMPDEST13470011
[128]9523PUSH113469931
[129]9525DUP213469631
[130]9526TIMESTAMP13469321
[131]9527DUP213469131
[132]9528LT13468831
[133]9529ISZERO13468531
[134]9530PUSH213468231
[135]9533JUMPI134679101
[136]9636JUMPDEST13466911
[137]9637PUSH213466831
[138]9640PUSH3213466531
[139]9673DUP1013466231
[140]9674DUP913465931
[141]9675DUP913465631
[142]9676DUP113465331
[143]9677DUP113465031
[144]9678PUSH113464731
[145]9680MUL13464451
[146]9681PUSH113463931
[147]9683ADD13463631
[148]9684PUSH113463331
[149]9686MLOAD13463031
[150]9687SWAP113462731
[151]9688DUP213462431
[152]9689ADD13462131
[153]9690PUSH113461831
[154]9692MSTORE13461531
[155]9693DUP113461231
[156]9694SWAP413460931
[157]9695SWAP313460631
[158]9696SWAP213460331
[159]9697SWAP113460031
[160]9698DUP213459731
[161]9699DUP213459431
[162]9700MSTORE13459191
[163]9701PUSH113458231
[164]9703ADD13457931
[165]9704DUP413457631
[166]9705DUP413457331
[167]9706PUSH113457031
[168]9708MUL13456751
[169]9709DUP113456231
[170]9710DUP313455931
[171]9711DUP513455631
[172]9712CALLDATACOPY134553151
[173]9713PUSH113453831
[174]9715SWAP313453531
[175]9716ADD13453231
[176]9717SWAP213452931
[177]9718SWAP113452631
[178]9719SWAP213452331
[179]9720MSTORE13452061
[180]9721POP13451421
[181]9722PUSH213451231
[182]9725SWAP313450931
[183]9726POP13450621
[184]9727POP13450421
[185]9728POP13450221
[186]9729JUMP13450081
[187]17928JUMPDEST13449211
[188]17929PUSH113449131
[189]17931PUSH113448831
[190]17933DUP313448531
[191]17934MLOAD13448231
[192]17935LT13447931
[193]17936ISZERO13447631
[194]17937PUSH213447331
[195]17940JUMPI134470101
[196]18043JUMPDEST13446011
[197]18044DUP213445931
[198]18045MLOAD13445631
[199]18046PUSH813445331
[200]18055DUP213445031
[201]18056GT13444731
[202]18057DUP113444431
[203]18058ISZERO13444131
[204]18059PUSH213443831
[205]18062JUMPI134435101
[206]18067JUMPDEST13442511
[207]18068POP13442421
[208]18069PUSH113442231
[209]18071MLOAD13441931
[210]18072SWAP113441631
[211]18073DUP113441331
[212]18074DUP313441031
[213]18075MSTORE13440731
[214]18076DUP113440431
[215]18077PUSH113440131
[216]18079MUL13439851
[217]18080PUSH113439331
[218]18082ADD13439031
[219]18083DUP313438731
[220]18084ADD13438431
[221]18085PUSH113438131
[222]18087MSTORE13437831
[223]18088DUP113437531
[224]18089ISZERO13437231
[225]18090PUSH213436931
[226]18093JUMPI134366101
[227]18094DUP213435631
[228]18095PUSH113435331
[229]18097ADD13435031
[230]18098PUSH113434731
[231]18100DUP313434431
[232]18101MUL13434151
[233]18102DUP113433631
[234]18103CALLDATASIZE13433321
[235]18104DUP413433131
[236]18105CALLDATACOPY134328151
[237]18106ADD13431331
[238]18107SWAP113431031
[239]18108POP13430721
[240]18109JUMPDEST13430511
[241]18110POP13430421
[242]18111SWAP113430231
[243]18112POP13429921
[244]18113DUP313429731
[245]18114DUP213429431
[246]18115PUSH113429131
[247]18117DUP413428831
[248]18118MLOAD13428531
[249]18119SUB13428231
[250]18120DUP213427931
[251]18121MLOAD13427631
[252]18122DUP213427331
[253]18123LT13427031
[254]18124PUSH213426731
[255]18127JUMPI134264101
[256]18129JUMPDEST13425411
[257]18130PUSH113425331
[258]18132SWAP113425031
[259]18133DUP213424731
[260]18134MUL13424451
[261]18135SWAP213423931
[262]18136SWAP113423631
[263]18137SWAP213423331
[264]18138ADD13423031
[265]18139ADD13422731
[266]18140MSTORE13422431
[267]18141DUP213422131
[268]18142MLOAD13421831
[269]18143PUSH3213421531
[270]18176ADD13421231
[271]18177JUMPDEST13420911
[272]18178DUP113420831
[273]18179ISZERO13420531
[274]18180PUSH213420231
[275]18183JUMPI134199101
[276]18184PUSH113418931
[277]18186DUP113418631
[278]18187PUSH213418331
[279]18190DUP813418031
[280]18191DUP713417731
[281]18192PUSH113417431
[282]18194DUP713417131
[283]18195SUB13416831
[284]18196DUP213416531
[285]18197MLOAD13416231
[286]18198DUP213415931
[287]18199LT13415631
[288]18200PUSH213415331
[289]18203JUMPI134150101
[290]18205JUMPDEST13414011
[291]18206PUSH113413931
[292]18208MUL13413651
[293]18209PUSH113413131
[294]18211ADD13412831
[295]18212ADD13412531
[296]18213MLOAD13412231
[297]18214DUP813411931
[298]18215DUP713411631
[299]18216DUP213411331
[300]18217MLOAD13411031
[301]18218DUP213410731
[302]18219LT13410431
[303]18220PUSH213410131
[304]18223JUMPI134098101
[305]16491JUMPDEST13408811
[306]16492PUSH113408731
[307]16494MUL13408451
[308]16495PUSH113407931
[309]16497ADD13407631
[310]16498ADD13407331
[311]16499MLOAD13407031
[312]16500PUSH213406731
[313]16503JUMP13406481
[314]21227JUMPDEST13405611
[315]21228PUSH113405531
[316]21230DUP113405231
[317]21231PUSH113404931
[318]21233PUSH213404631
[319]21236DUP613404331
[320]21237DUP613404031
[321]21238PUSH213403731
[322]21241JUMP13403481
[323]19871JUMPDEST13402611
[324]19872PUSH113402531
[325]19874DUP113402231
[326]19875DUP313401931
[327]19876PUSH2013401631
[328]19897AND13401331
[329]19898DUP513401031
[330]19899PUSH2013400731
[331]19920AND13400431
[332]19921EQ13400131
[333]19922ISZERO13399831
[334]19923PUSH213399531
[335]19926JUMPI133992101
[336]20007JUMPDEST13398211
[337]20008DUP313398131
[338]20009PUSH2013397831
[339]20030AND13397531
[340]20031DUP513397231
[341]20032PUSH2013396931
[342]20053AND13396631
[343]20054LT13396331
[344]20055PUSH213396031
[345]20058JUMPI133957101
[346]20065JUMPDEST13394711
[347]20066DUP413394631
[348]20067DUP413394331
[349]20068JUMPDEST13394011
[350]20069SWAP113393931
[351]20070SWAP313393631
[352]20071POP13393321
[353]20072SWAP113393131
[354]20073POP13392821
[355]20074PUSH2013392631
[356]20095DUP313392331
[357]20096AND13392031
[358]20097PUSH213391731
[359]20100JUMPI133914101
[360]20203JUMPDEST13390411
[361]20204SWAP313390331
[362]20205POP13390021
[363]20206SWAP313389831
[364]20207SWAP113389531
[365]20208POP13389221
[366]20209JUMP13389081
[367]21242JUMPDEST13388211
[368]21243POP13388121
[369]21244SWAP113387931
[370]21245POP13387621
[371]21246PUSH113387431
[372]21248DUP113387131
[373]21249PUSH213386831
[374]21252DUP913386531
[375]21253DUP913386231
[376]21254DUP913385931
[377]21255PUSH213385631
[378]21258JUMP13385381
[379]16582JUMPDEST13384511
[380]16583PUSH113384431
[381]16585DUP113384131
[382]16586PUSH113383831
[383]16588PUSH213383531
[384]16591DUP613383231
[385]16592DUP613382931
[386]16593PUSH213382631
[387]16596JUMP13382381
[388]19871JUMPDEST13381511
[389]19872PUSH113381431
[390]19874DUP113381131
[391]19875DUP313380831
[392]19876PUSH2013380531
[393]19897AND13380231
[394]19898DUP513379931
[395]19899PUSH2013379631
[396]19920AND13379331
[397]19921EQ13379031
[398]19922ISZERO13378731
[399]19923PUSH213378431
[400]19926JUMPI133781101
[401]20007JUMPDEST13377111
[402]20008DUP313377031
[403]20009PUSH2013376731
[404]20030AND13376431
[405]20031DUP513376131
[406]20032PUSH2013375831
[407]20053AND13375531
[408]20054LT13375231
[409]20055PUSH213374931
[410]20058JUMPI133746101
[411]20065JUMPDEST13373611
[412]20066DUP413373531
[413]20067DUP413373231
[414]20068JUMPDEST13372911
[415]20069SWAP113372831
[416]20070SWAP313372531
[417]20071POP13372221
[418]20072SWAP113372031
[419]20073POP13371721
[420]20074PUSH2013371531
[421]20095DUP313371231
[422]20096AND13370931
[423]20097PUSH213370631
[424]20100JUMPI133703101
[425]20203JUMPDEST13369311
[426]20204SWAP313369231
[427]20205POP13368921
[428]20206SWAP313368731
[429]20207SWAP113368431
[430]20208POP13368121
[431]20209JUMP13367981
[432]16597JUMPDEST13367111
[433]16598PUSH113367031
[434]16600DUP113366731
[435]16601MLOAD13366431
[436]16602PUSH3213366131
[437]16635PUSH113365831
[438]16637SWAP513365531
[439]16638DUP613365231
[440]16639SHL13364931
[441]16640DUP213364631
[442]16641AND13364331
[443]16642PUSH113364031
[444]16644DUP113363731
[445]16645DUP513363431
[446]16646ADD13363131
[447]16647SWAP213362831
[448]16648SWAP113362531
[449]16649SWAP213362231
[450]16650MSTORE13361991
[451]16651SWAP413361031
[452]16652DUP613360731
[453]16653SHL13360431
[454]16654DUP213360131
[455]16655AND13359831
[456]16656PUSH113359531
[457]16658DUP413359231
[458]16659ADD13358931
[459]16660MSTORE13358661
[460]16661DUP313358031
[461]16662MLOAD13357731
[462]16663PUSH113357431
[463]16665DUP213357131
[464]16666DUP513356831
[465]16667SUB13356531
[466]16668ADD13356231
[467]16669DUP213355931
[468]16670MSTORE13355631
[469]16671PUSH113355331
[470]16673DUP413355031
[471]16674ADD13354731
[472]16675DUP513354431
[473]16676MSTORE13354131
[474]16677DUP113353831
[475]16678MLOAD13353531
[476]16679SWAP113353231
[477]16680DUP613352931
[478]16681ADD13352631
[479]16682KECCAK256133523421
[480]16683PUSH3213348131
[481]16716PUSH113347831
[482]16718DUP513347531
[483]16719ADD13347231
[484]16720MSTORE13346991
[485]16721SWAP1113346031
[486]16722SWAP113345731
[487]16723SWAP513345431
[488]16724SHL13345131
[489]16725SWAP113344831
[490]16726SWAP413344531
[491]16727AND13344231
[492]16728PUSH113343931
[493]16730DUP513343631
[494]16731ADD13343331
[495]16732MSTORE13343031
[496]16733PUSH113342731
[497]16735DUP413342431
[498]16736ADD13342131
[499]16737SWAP913341831
[500]16738SWAP113341531
[501]16739SWAP913341231
[502]16740MSTORE13340931
[503]16741PUSH3213340631
[504]16774PUSH113340331
[505]16776DUP113340031
[506]16777DUP513339731
[507]16778ADD13339431
[508]16779SWAP213339131
[509]16780SWAP113338831
[510]16781SWAP213338531
[511]16782MSTORE13338261
[512]16783DUP913337631
[513]16784MLOAD13337331
[514]16785DUP113337031
[515]16786DUP513336731
[516]16787SUB13336431
[517]16788SWAP113336131
[518]16789SWAP213335831
[519]16790ADD13335531
[520]16791DUP213335231
[521]16792MSTORE13334931
[522]16793PUSH113334631
[523]16795SWAP113334331
[524]16796SWAP313334031
[525]16797ADD13333731
[526]16798SWAP113333431
[527]16799SWAP813333131
[528]16800MSTORE13332831
[529]16801DUP113332531
[530]16802MLOAD13332231
[531]16803SWAP713331931
[532]16804ADD13331631
[533]16805SWAP613331331
[534]16806SWAP113331031
[535]16807SWAP613330731
[536]16808KECCAK256133304481
[537]16809SWAP613325631
[538]16810SWAP513325331
[539]16811POP13325021
[540]16812POP13324821
[541]16813POP13324621
[542]16814POP13324421
[543]16815POP13324221
[544]16816JUMP13324081
[545]21259JUMPDEST13323211
[546]21260PUSH2013323131
[547]21281AND13322831
[548]21282PUSH413322531
[549]21287PUSH113322231
[550]21289MLOAD13321931
[551]21290DUP213321631
[552]21291PUSH413321331
[553]21296AND13321031
[554]21297PUSH113320731
[555]21299SHL13320431
[556]21300DUP213320131
[557]21301MSTORE13319861
[558]21302PUSH113319231
[559]21304ADD13318931
[560]21305PUSH113318631
[561]21307PUSH113318331
[562]21309MLOAD13318031
[563]21310DUP113317731
[564]21311DUP413317431
[565]21312SUB13317131
[566]21313DUP213316831
[567]21314DUP713316531
[568]21315DUP113316231
[569]21316EXTCODESIZE1331597001
[570]21317ISZERO13245931
[571]21318DUP113245631
[572]21319ISZERO13245331
[573]21320PUSH213245031
[574]21323JUMPI132447101
[575]21328JUMPDEST13243711
[576]21329POP13243621
[577]21330GAS13243421
[578]21331STATICCALL1324321303741
[579]0PUSH112966832
[580]2PUSH112966532
[581]4MSTORE129662122
[582]5CALLVALUE12965022
[583]6DUP112964832
[584]7ISZERO12964532
[585]8PUSH212964232
[586]11JUMPI129639102
[587]16JUMPDEST12962912
[588]17POP12962822
[589]18PUSH112962632
[590]20CALLDATASIZE12962322
[591]21LT12962132
[592]22PUSH212961832
[593]25JUMPI129615102
[594]26PUSH112960532
[595]28CALLDATALOAD12960232
[596]29PUSH112959932
[597]31SHR12959632
[598]32DUP112959332
[599]33PUSH412959032
[600]38GT12958732
[601]39PUSH212958432
[602]42JUMPI129581102
[603]249JUMPDEST12957112
[604]250DUP112957032
[605]251PUSH412956732
[606]256GT12956432
[607]257PUSH212956132
[608]260JUMPI129558102
[609]358JUMPDEST12954812
[610]359DUP112954732
[611]360PUSH412954432
[612]365GT12954132
[613]366PUSH212953832
[614]369JUMPI129535102
[615]407JUMPDEST12952512
[616]408DUP112952432
[617]409PUSH412952132
[618]414EQ12951832
[619]415PUSH212951532
[620]418JUMPI129512102
[621]419DUP112950232
[622]420PUSH412949932
[623]425EQ12949632
[624]426PUSH212949332
[625]429JUMPI129490102
[626]430DUP112948032
[627]431PUSH412947732
[628]436EQ12947432
[629]437PUSH212947132
[630]440JUMPI129468102
[631]726JUMPDEST12945812
[632]727PUSH212945732
[633]730PUSH212945432
[634]733JUMP12945182
[635]3472JUMPDEST12944312
[636]3473PUSH112944232
[637]3475SLOAD1294398002
[638]3476PUSH1412863932
[639]3491DUP112863632
[640]3492DUP312863332
[641]3493AND12863032
[642]3494SWAP312862732
[643]3495PUSH1512862432
[644]3511DUP412862132
[645]3512DIV12861852
[646]3513SWAP112861332
[647]3514SWAP212861032
[648]3515AND12860732
[649]3516SWAP212860432
[650]3517PUSH2912860132
[651]3547SWAP112859832
[652]3548DIV12859552
[653]3549PUSH412859032
[654]3554AND12858732
[655]3555SWAP112858432
[656]3556JUMP12858182
[657]734JUMPDEST12857312
[658]735PUSH112857232
[659]737DUP112856932
[660]738MLOAD12856632
[661]739PUSH1412856332
[662]754SWAP512856032
[663]755DUP612855732
[664]756AND12855432
[665]757DUP212855132
[666]758MSTORE12854892
[667]759SWAP312853932
[668]760SWAP112853632
[669]761SWAP412853332
[670]762AND12853032
[671]763PUSH112852732
[672]765DUP412852432
[673]766ADD12852132
[674]767MSTORE12851862
[675]768PUSH412851232
[676]773AND12850932
[677]774DUP212850632
[678]775DUP412850332
[679]776ADD12850032
[680]777MSTORE12849762
[681]778SWAP112849132
[682]779MLOAD12848832
[683]780SWAP112848532
[684]781DUP212848232
[685]782SWAP112847932
[686]783SUB12847632
[687]784PUSH112847332
[688]786ADD12847032
[689]787SWAP112846732
[690]788RETURN12846402
[691]21332ISZERO13052231
[692]21333DUP113051931
[693]21334ISZERO13051631
[694]21335PUSH213051331
[695]21338JUMPI130510101
[696]21348JUMPDEST13050011
[697]21349POP13049921
[698]21350POP13049721
[699]21351POP13049521
[700]21352POP13049321
[701]21353PUSH113049131
[702]21355MLOAD13048831
[703]21356RETURNDATASIZE13048521
[704]21357PUSH113048331
[705]21359DUP213048031
[706]21360LT13047731
[707]21361ISZERO13047431
[708]21362PUSH213047131
[709]21365JUMPI130468101
[710]21370JUMPDEST13045811
[711]21371POP13045721
[712]21372DUP113045531
[713]21373MLOAD13045231
[714]21374PUSH113044931
[715]21376SWAP113044631
[716]21377SWAP213044331
[717]21378ADD13044031
[718]21379MLOAD13043731
[719]21380PUSH1413043431
[720]21395SWAP213043131
[721]21396DUP313042831
[722]21397AND13042531
[723]21398SWAP413042231
[724]21399POP13041921
[725]21400AND13041731
[726]21401SWAP113041431
[727]21402POP13041121
[728]21403PUSH2013040931
[729]21424DUP813040631
[730]21425DUP213040331
[731]21426AND13040031
[732]21427SWAP113039731
[733]21428DUP513039431
[734]21429AND13039131
[735]21430EQ13038831
[736]21431PUSH213038531
[737]21434JUMPI130382101
[738]21441JUMPDEST13037211
[739]21442DUP213037131
[740]21443DUP213036831
[741]21444JUMPDEST13036511
[742]21445SWAP113036431
[743]21446SWAP1013036131
[744]21447SWAP113035831
[745]21448SWAP913035531
[746]21449POP13035221
[747]21450SWAP713035031
[748]21451POP13034721
[749]21452POP13034521
[750]21453POP13034321
[751]21454POP13034121
[752]21455POP13033921
[753]21456POP13033721
[754]21457POP13033521
[755]21458JUMP13033381
[756]18225JUMPDEST13032511
[757]18226SWAP213032431
[758]18227POP13032121
[759]18228SWAP213031931
[760]18229POP13031621
[761]18230PUSH213031431
[762]18233DUP513031131
[763]18234DUP513030831
[764]18235DUP213030531
[765]18236MLOAD13030231
[766]18237DUP213029931
[767]18238LT13029631
[768]18239PUSH213029331
[769]18242JUMPI130290101
[770]18244JUMPDEST13028011
[771]18245PUSH113027931
[772]18247MUL13027651
[773]18248PUSH113027131
[774]18250ADD13026831
[775]18251ADD13026531
[776]18252MLOAD13026231
[777]18253DUP413025931
[778]18254DUP413025631
[779]18255PUSH213025331
[780]18258JUMP13025081
[781]19355JUMPDEST13024211
[782]19356PUSH113024131
[783]19358DUP113023831
[784]19359DUP513023531
[785]19360GT13023231
[786]19361PUSH213022931
[787]19364JUMPI130226101
[788]19445JUMPDEST13021611
[789]19446PUSH113021531
[790]19448DUP413021231
[791]19449GT13020931
[792]19450DUP113020631
[793]19451ISZERO13020331
[794]19452PUSH213020031
[795]19455JUMPI130197101
[796]19456POP13018721
[797]19457PUSH113018531
[798]19459DUP313018231
[799]19460GT13017931
[800]19461JUMPDEST13017611
[801]19462PUSH213017531
[802]19465JUMPI130172101
[803]19546JUMPDEST13016211
[804]19547PUSH113016131
[805]19549PUSH213015831
[806]19552PUSH213015531
[807]19555PUSH213015231
[808]19558DUP713014931
[809]19559DUP913014631
[810]19560PUSH413014331
[811]19565PUSH213014031
[812]19568AND13013731
[813]19569JUMP13013481
[814]20979JUMPDEST13012611
[815]20980PUSH113012531
[816]20982DUP213012231
[817]20983ISZERO13011931
[818]20984DUP113011631
[819]20985PUSH213011331
[820]20988JUMPI130110101
[821]20989POP13010021
[822]20990POP13009821
[823]20991DUP113009631
[824]20992DUP313009331
[825]20993MUL13009051
[826]20994DUP313008531
[827]20995DUP313008231
[828]20996DUP313007931
[829]20997DUP213007631
[830]20998PUSH213007331
[831]21001JUMPI130070101
[832]21003JUMPDEST13006011
[833]21004DIV13005951
[834]21005EQ13005431
[835]21006JUMPDEST13005111
[836]21007PUSH213005031
[837]21010JUMPI130047101
[838]5012JUMPDEST13003711
[839]5013SWAP313003631
[840]5014SWAP213003331
[841]5015POP13003021
[842]5016POP13002821
[843]5017JUMP13002681
[844]19570JUMPDEST13001811
[845]19571SWAP113001731
[846]19572PUSH413001431
[847]19577PUSH213001131
[848]19580AND13000831
[849]19581JUMP13000581
[850]20979JUMPDEST12999711
[851]20980PUSH112999631
[852]20982DUP212999331
[853]20983ISZERO12999031
[854]20984DUP112998731
[855]20985PUSH212998431
[856]20988JUMPI129981101
[857]20989POP12997121
[858]20990POP12996921
[859]20991DUP112996731
[860]20992DUP312996431
[861]20993MUL12996151
[862]20994DUP312995631
[863]20995DUP312995331
[864]20996DUP312995031
[865]20997DUP212994731
[866]20998PUSH212994431
[867]21001JUMPI129941101
[868]21003JUMPDEST12993111
[869]21004DIV12993051
[870]21005EQ12992531
[871]21006JUMPDEST12992211
[872]21007PUSH212992131
[873]21010JUMPI129918101
[874]5012JUMPDEST12990811
[875]5013SWAP312990731
[876]5014SWAP212990431
[877]5015POP12990121
[878]5016POP12989921
[879]5017JUMP12989781
[880]19582JUMPDEST12988911
[881]19583SWAP112988831
[882]19584POP12988521
[883]19585PUSH112988331
[884]19587PUSH212988031
[885]19590PUSH212987731
[886]19593PUSH212987431
[887]19596DUP712987131
[888]19597DUP1012986831
[889]19598PUSH412986531
[890]19603PUSH212986231
[891]19606AND12985931
[892]19607JUMP12985681
[893]19241JUMPDEST12984811
[894]19242DUP112984731
[895]19243DUP312984431
[896]19244SUB12984131
[897]19245DUP312983831
[898]19246DUP212983531
[899]19247GT12983231
[900]19248ISZERO12982931
[901]19249PUSH212982631
[902]19252JUMPI129823101
[903]5012JUMPDEST12981311
[904]5013SWAP312981231
[905]5014SWAP212980931
[906]5015POP12980621
[907]5016POP12980421
[908]5017JUMP12980281
[909]19570JUMPDEST12979411
[910]19571SWAP112979331
[911]19572PUSH412979031
[912]19577PUSH212978731
[913]19580AND12978431
[914]19581JUMP12978181
[915]20979JUMPDEST12977311
[916]20980PUSH112977231
[917]20982DUP212976931
[918]20983ISZERO12976631
[919]20984DUP112976331
[920]20985PUSH212976031
[921]20988JUMPI129757101
[922]20989POP12974721
[923]20990POP12974521
[924]20991DUP112974331
[925]20992DUP312974031
[926]20993MUL12973751
[927]20994DUP312973231
[928]20995DUP312972931
[929]20996DUP312972631
[930]20997DUP212972331
[931]20998PUSH212972031
[932]21001JUMPI129717101
[933]21003JUMPDEST12970711
[934]21004DIV12970651
[935]21005EQ12970131
[936]21006JUMPDEST12969811
[937]21007PUSH212969731
[938]21010JUMPI129694101
[939]5012JUMPDEST12968411
[940]5013SWAP312968331
[941]5014SWAP212968031
[942]5015POP12967721
[943]5016POP12967521
[944]5017JUMP12967381
[945]19608JUMPDEST12966511
[946]19609SWAP112966431
[947]19610POP12966121
[948]19611PUSH212965931
[949]19614PUSH112965631
[950]19616DUP312965331
[951]19617DUP512965031
[952]19618DUP212964731
[953]19619PUSH212964431
[954]19622JUMPI129641101
[955]19624JUMPDEST12963111
[956]19625DIV12963051
[957]19626SWAP112962531
[958]19627PUSH412962231
[959]19632PUSH212961931
[960]19635AND12961631
[961]19636JUMP12961381
[962]21113JUMPDEST12960511
[963]21114DUP112960431
[964]21115DUP312960131
[965]21116ADD12959831
[966]21117DUP312959531
[967]21118DUP212959231
[968]21119LT12958931
[969]21120ISZERO12958631
[970]21121PUSH212958331
[971]21124JUMPI129580101
[972]5012JUMPDEST12957011
[973]5013SWAP312956931
[974]5014SWAP212956631
[975]5015POP12956321
[976]5016POP12956121
[977]5017JUMP12955981
[978]19637JUMPDEST12955111
[979]19638SWAP712955031
[980]19639SWAP612954731
[981]19640POP12954421
[982]19641POP12954221
[983]19642POP12954021
[984]19643POP12953821
[985]19644POP12953621
[986]19645POP12953421
[987]19646JUMP12953281
[988]18259JUMPDEST12952411
[989]18260DUP512952331
[990]18261PUSH112952031
[991]18263DUP612951731
[992]18264SUB12951431
[993]18265DUP212951131
[994]18266MLOAD12950831
[995]18267DUP212950531
[996]18268LT12950231
[997]18269PUSH212949931
[998]18272JUMPI129496101
[999]18274JUMPDEST12948611
[1000]18275PUSH112948531