Geth VM Trace Transaction

GETH Trace for Txn Hash 0x04ecf6e6cd8ddd6ea7f5275f0b322beb417ca975c0a70b98329a810b86cabb7a

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

Step PC Operation Gas GasCost Depth
[1]0PUSH130032431
[2]2DUP130032131
[3]3PUSH130031831
[4]5MSTORE300315121
[5]6PUSH130030331
[6]8CALLDATASIZE30030021
[7]9LT30029831
[8]10ISZERO30029531
[9]11PUSH230029231
[10]14JUMPI300289101
[11]19JUMPDEST30027911
[12]20PUSH2930027831
[13]50PUSH130027531
[14]52CALLDATALOAD30027231
[15]53DIV30026951
[16]54SWAP130026431
[17]55DUP230026131
[18]56PUSH430025831
[19]61EQ30025531
[20]62PUSH230025231
[21]65JUMPI300249101
[22]66POP30023921
[23]67DUP130023731
[24]68PUSH430023431
[25]73EQ30023131
[26]74PUSH230022831
[27]77JUMPI300225101
[28]78DUP130021531
[29]79PUSH430021231
[30]84EQ30020931
[31]85PUSH230020631
[32]88JUMPI300203101
[33]89DUP130019331
[34]90PUSH430019031
[35]95EQ30018731
[36]96PUSH230018431
[37]99JUMPI300181101
[38]100DUP130017131
[39]101PUSH430016831
[40]106EQ30016531
[41]107PUSH230016231
[42]110JUMPI300159101
[43]111DUP130014931
[44]112PUSH430014631
[45]117EQ30014331
[46]118PUSH230014031
[47]121JUMPI300137101
[48]4921JUMPDEST30012711
[49]4922CALLVALUE30012621
[50]4923PUSH230012431
[51]4926JUMPI300121101
[52]4927PUSH230011131
[53]4930CALLDATASIZE30010821
[54]4931PUSH130010631
[55]4933NOT30010331
[56]4934ADD30010031
[57]4935SLT30009731
[58]4936PUSH230009431
[59]4939JUMPI300091101
[60]4940PUSH130008131
[61]4942CALLDATALOAD30007831
[62]4943PUSH230007531
[63]4946PUSH230007231
[64]4949JUMP30006981
[65]6649JUMPDEST30006111
[66]6650PUSH130006031
[67]6652CALLDATALOAD30005731
[68]6653SWAP130005431
[69]6654PUSH130005131
[70]6656PUSH130004831
[71]6658PUSH130004531
[72]6660EXP300042601
[73]6661SUB29998231
[74]6662DUP329997931
[75]6663AND29997631
[76]6664DUP329997331
[77]6665SUB29997031
[78]6666PUSH229996731
[79]6669JUMPI299964101
[80]6670JUMP29995481
[81]4950JUMPDEST29994611
[82]4951SWAP129994531
[83]4952PUSH229994231
[84]4955PUSH229993931
[85]4958JUMP29993681
[86]6671JUMPDEST29992811
[87]6672PUSH129992731
[88]6674CALLDATALOAD29992431
[89]6675SWAP129992131
[90]6676PUSH129991831
[91]6678PUSH129991531
[92]6680PUSH129991231
[93]6682EXP299909601
[94]6683SUB29984931
[95]6684DUP329984631
[96]6685AND29984331
[97]6686DUP329984031
[98]6687SUB29983731
[99]6688PUSH229983431
[100]6691JUMPI299831101
[101]6692JUMP29982181
[102]4959JUMPDEST29981311
[103]4960SWAP129981231
[104]4961PUSH129980931
[105]4963CALLDATALOAD29980631
[106]4964SWAP229980331
[107]4965PUSH129980031
[108]4967CALLDATALOAD29979731
[109]4968PUSH229979431
[110]4971PUSH229979131
[111]4974JUMP29978881
[112]6693JUMPDEST29978011
[113]6694PUSH129977931
[114]6696CALLDATALOAD29977631
[115]6697SWAP129977331
[116]6698PUSH129977031
[117]6700PUSH129976731
[118]6702PUSH129976431
[119]6704EXP299761601
[120]6705SUB29970131
[121]6706DUP329969831
[122]6707AND29969531
[123]6708DUP329969231
[124]6709SUB29968931
[125]6710PUSH229968631
[126]6713JUMPI299683101
[127]6714JUMP29967381
[128]4975JUMPDEST29966511
[129]4976SWAP429966431
[130]4977PUSH129966131
[131]4979CALLDATALOAD29965831
[132]4980SWAP629965531
[133]4981PUSH229965231
[134]4984CALLDATALOAD29964931
[135]4985SWAP729964631
[136]4986PUSH229964331
[137]4989DUP229964031
[138]4990PUSH229963731
[139]4993DUP729963431
[140]4994DUP929963131
[141]4995PUSH229962831
[142]4998JUMP29962581
[143]14262JUMPDEST29961711
[144]14263PUSH129961631
[145]14265DUP129961331
[146]14266SWAP329961031
[147]14267DUP429960731
[148]14268SWAP129960431
[149]14269DUP129960131
[150]14270ISZERO29959831
[151]14271PUSH129959531
[152]14273EQ29959231
[153]14274PUSH229958931
[154]14277JUMPI299586101
[155]14278POP29957621
[156]14279POP29957421
[157]14280POP29957221
[158]14281PUSH129957031
[159]14283PUSH129956731
[160]14285PUSH129956431
[161]14287PUSH129956131
[162]14289EXP299558601
[163]14290SUB29949831
[164]14291SWAP229949531
[165]14292PUSH129949231
[166]14294PUSH129948931
[167]14296MLOAD29948631
[168]14297DUP129948331
[169]14298SWAP529948031
[170]14299DUP229947731
[171]14300SWAP429947431
[172]14301PUSH129947131
[173]14303PUSH129946831
[174]14305EXP299465601
[175]14306PUSH429940531
[176]14311MUL29940251
[177]14312DUP429939731
[178]14313MSTORE29939491
[179]14314AND29938531
[180]14315GAS29938221
[181]14316STATICCALL2993802947431
[182]0PUSH129213732
[183]2PUSH129213432
[184]4MSTORE292131122
[185]5CALLVALUE29211922
[186]6DUP129211732
[187]7ISZERO29211432
[188]8PUSH229211132
[189]11JUMPI292108102
[190]16JUMPDEST29209812
[191]17POP29209722
[192]18PUSH129209532
[193]20CALLDATASIZE29209222
[194]21LT29209032
[195]22PUSH229208732
[196]25JUMPI292084102
[197]26PUSH129207432
[198]28CALLDATALOAD29207132
[199]29PUSH129206832
[200]31SHR29206532
[201]32DUP129206232
[202]33PUSH429205932
[203]38GT29205632
[204]39PUSH229205332
[205]42JUMPI292050102
[206]249JUMPDEST29204012
[207]250DUP129203932
[208]251PUSH429203632
[209]256GT29203332
[210]257PUSH229203032
[211]260JUMPI292027102
[212]358JUMPDEST29201712
[213]359DUP129201632
[214]360PUSH429201332
[215]365GT29201032
[216]366PUSH229200732
[217]369JUMPI292004102
[218]407JUMPDEST29199412
[219]408DUP129199332
[220]409PUSH429199032
[221]414EQ29198732
[222]415PUSH229198432
[223]418JUMPI291981102
[224]419DUP129197132
[225]420PUSH429196832
[226]425EQ29196532
[227]426PUSH229196232
[228]429JUMPI291959102
[229]430DUP129194932
[230]431PUSH429194632
[231]436EQ29194332
[232]437PUSH229194032
[233]440JUMPI291937102
[234]726JUMPDEST29192712
[235]727PUSH229192632
[236]730PUSH229192332
[237]733JUMP29192082
[238]3472JUMPDEST29191212
[239]3473PUSH129191132
[240]3475SLOAD29190821002
[241]3476PUSH1428980832
[242]3491DUP128980532
[243]3492DUP328980232
[244]3493AND28979932
[245]3494SWAP328979632
[246]3495PUSH1528979332
[247]3511DUP428979032
[248]3512DIV28978752
[249]3513SWAP128978232
[250]3514SWAP228977932
[251]3515AND28977632
[252]3516SWAP228977332
[253]3517PUSH2928977032
[254]3547SWAP128976732
[255]3548DIV28976452
[256]3549PUSH428975932
[257]3554AND28975632
[258]3555SWAP128975332
[259]3556JUMP28975082
[260]734JUMPDEST28974212
[261]735PUSH128974132
[262]737DUP128973832
[263]738MLOAD28973532
[264]739PUSH1428973232
[265]754SWAP528972932
[266]755DUP628972632
[267]756AND28972332
[268]757DUP228972032
[269]758MSTORE28971792
[270]759SWAP328970832
[271]760SWAP128970532
[272]761SWAP428970232
[273]762AND28969932
[274]763PUSH128969632
[275]765DUP428969332
[276]766ADD28969032
[277]767MSTORE28968762
[278]768PUSH428968132
[279]773AND28967832
[280]774DUP228967532
[281]775DUP428967232
[282]776ADD28966932
[283]777MSTORE28966662
[284]778SWAP128966032
[285]779MLOAD28965732
[286]780SWAP128965432
[287]781DUP228965132
[288]782SWAP128964832
[289]783SUB28964532
[290]784PUSH128964232
[291]786ADD28963932
[292]787SWAP128963632
[293]788RETURN28963302
[294]14317SWAP129427031
[295]14318DUP229426731
[296]14319ISZERO29426431
[297]14320PUSH229426131
[298]14323JUMPI294258101
[299]14324DUP329424831
[300]14325SWAP229424531
[301]14326PUSH229424231
[302]14329JUMPI294239101
[303]14347JUMPDEST29422911
[304]14348SWAP129422831
[305]14349POP29422521
[306]14350PUSH229422331
[307]14353SWAP229422031
[308]14354POP29421721
[309]14355PUSH129421531
[310]14357RETURNDATASIZE29421221
[311]14358DUP229421031
[312]14359GT29420731
[313]14360PUSH229420431
[314]14363JUMPI294201101
[315]14364PUSH229419131
[316]14367DUP229418831
[317]14368DUP429418531
[318]14369PUSH229418231
[319]14372JUMP29417981
[320]6563JUMPDEST29417111
[321]6564SWAP129417031
[322]6565PUSH129416731
[323]6567DUP129416431
[324]6568NOT29416131
[325]6569SWAP229415831
[326]6570ADD29415531
[327]6571AND29415231
[328]6572DUP229414931
[329]6573ADD29414631
[330]6574SWAP129414331
[331]6575DUP229414031
[332]6576LT29413731
[333]6577PUSH829413431
[334]6586DUP329413131
[335]6587GT29412831
[336]6588OR29412531
[337]6589PUSH229412231
[338]6592JUMPI294119101
[339]6593PUSH129410931
[340]6595MSTORE29410631
[341]6596JUMP29410381
[342]3689JUMPDEST29409511
[343]3690DUP229409431
[344]3691ADD29409131
[345]3692SWAP129408831
[346]3693PUSH229408531
[347]3696JUMP29408281
[348]11596JUMPDEST29407411
[349]11597SWAP129407331
[350]11598DUP229407031
[351]11599PUSH129406731
[352]11601SWAP229406431
[353]11602SUB29406131
[354]11603SLT29405831
[355]11604PUSH229405531
[356]11607JUMPI294052101
[357]11608PUSH229404231
[358]11611DUP229403931
[359]11612PUSH229403631
[360]11615JUMP29403381
[361]11576JUMPDEST29402511
[362]11577MLOAD29402431
[363]11578SWAP129402131
[364]11579PUSH129401831
[365]11581PUSH129401531
[366]11583PUSH129401231
[367]11585EXP294009601
[368]11586SUB29394931
[369]11587DUP329394631
[370]11588AND29394331
[371]11589DUP329394031
[372]11590SUB29393731
[373]11591PUSH229393431
[374]11594JUMPI293931101
[375]11595JUMP29392181
[376]11616JUMPDEST29391311
[377]11617SWAP229391231
[378]11618PUSH129390931
[379]11620PUSH229390631
[380]11623PUSH129390331
[381]11625DUP529390031
[382]11626ADD29389731
[383]11627PUSH229389431
[384]11630JUMP29389181
[385]11576JUMPDEST29388311
[386]11577MLOAD29388231
[387]11578SWAP129387931
[388]11579PUSH129387631
[389]11581PUSH129387331
[390]11583PUSH129387031
[391]11585EXP293867601
[392]11586SUB29380731
[393]11587DUP329380431
[394]11588AND29380131
[395]11589DUP329379831
[396]11590SUB29379531
[397]11591PUSH229379231
[398]11594JUMPI293789101
[399]11595JUMP29377981
[400]11631JUMPDEST29377111
[401]11632SWAP329377031
[402]11633ADD29376731
[403]11634MLOAD29376431
[404]11635PUSH429376131
[405]11640DUP229375831
[406]11641AND29375531
[407]11642DUP229375231
[408]11643SUB29374931
[409]11644PUSH229374631
[410]11647JUMPI293743101
[411]11648SWAP129373331
[412]11649JUMP29373081
[413]14373JUMPDEST29372211
[414]14374POP29372121
[415]14375CODESIZE29371921
[416]14376PUSH229371731
[417]14379JUMP29371481
[418]14330JUMPDEST29370611
[419]14331POP29370521
[420]14332PUSH129370331
[421]14334PUSH129370031
[422]14336PUSH129369731
[423]14338EXP293694601
[424]14339SUB29363431
[425]14340DUP129363131
[426]14341SWAP229362831
[427]14342AND29362531
[428]14343SWAP229362231
[429]14344AND29361931
[430]14345SWAP229361631
[431]14346JUMP29361381
[432]4999JUMPDEST29360511
[433]5000SWAP129360431
[434]5001DUP729360131
[435]5002PUSH229359831
[436]5005DUP1429359531
[437]5006DUP1429359231
[438]5007PUSH229358931
[439]5010JUMP29358681
[440]14262JUMPDEST29357811
[441]14263PUSH129357731
[442]14265DUP129357431
[443]14266SWAP329357131
[444]14267DUP429356831
[445]14268SWAP129356531
[446]14269DUP129356231
[447]14270ISZERO29355931
[448]14271PUSH129355631
[449]14273EQ29355331
[450]14274PUSH229355031
[451]14277JUMPI293547101
[452]14380JUMPDEST29353711
[453]14381PUSH129353631
[454]14383SWAP129353331
[455]14384SWAP629353031
[456]14385SWAP429352731
[457]14386SWAP229352431
[458]14387SWAP529352131
[459]14388SWAP329351831
[460]14389SWAP629351531
[461]14390EQ29351231
[462]14391PUSH229350931
[463]14394JUMPI293506101
[464]14398JUMPDEST29349611
[465]14399PUSH129349531
[466]14401SWAP229349231
[467]14402SWAP529348931
[468]14403POP29348621
[469]14404PUSH129348431
[470]14406PUSH129348131
[471]14408PUSH129347831
[472]14410EXP293475601
[473]14411SUB29341531
[474]14412SWAP329341231
[475]14413SWAP429340931
[476]14414POP29340621
[477]14415PUSH129340431
[478]14417PUSH129340131
[479]14419MLOAD29339831
[480]14420DUP129339531
[481]14421SWAP529339231
[482]14422DUP229338931
[483]14423SWAP429338631
[484]14424PUSH129338331
[485]14426PUSH129338031
[486]14428EXP293377601
[487]14429PUSH429331731
[488]14434MUL29331451
[489]14435DUP429330931
[490]14436MSTORE29330661
[491]14437AND29330031
[492]14438GAS29329721
[493]14439STATICCALL2932952887531
[494]0PUSH128614732
[495]2PUSH128614432
[496]4MSTORE286141122
[497]5CALLVALUE28612922
[498]6DUP128612732
[499]7ISZERO28612432
[500]8PUSH228612132
[501]11JUMPI286118102
[502]16JUMPDEST28610812
[503]17POP28610722
[504]18PUSH128610532
[505]20CALLDATASIZE28610222
[506]21LT28610032
[507]22PUSH228609732
[508]25JUMPI286094102
[509]26PUSH128608432
[510]28CALLDATALOAD28608132
[511]29PUSH128607832
[512]31SHR28607532
[513]32DUP128607232
[514]33PUSH428606932
[515]38GT28606632
[516]39PUSH228606332
[517]42JUMPI286060102
[518]249JUMPDEST28605012
[519]250DUP128604932
[520]251PUSH428604632
[521]256GT28604332
[522]257PUSH228604032
[523]260JUMPI286037102
[524]358JUMPDEST28602712
[525]359DUP128602632
[526]360PUSH428602332
[527]365EQ28602032
[528]366PUSH228601732
[529]369JUMPI286014102
[530]370DUP128600432
[531]371PUSH428600132
[532]376EQ28599832
[533]377PUSH228599532
[534]380JUMPI285992102
[535]381DUP128598232
[536]382PUSH428597932
[537]387EQ28597632
[538]388PUSH228597332
[539]391JUMPI285970102
[540]697JUMPDEST28596012
[541]698PUSH228595932
[542]701PUSH228595632
[543]704JUMP28595382
[544]2818JUMPDEST28594512
[545]2819PUSH128594432
[546]2821SLOAD28594121002
[547]2822PUSH128384132
[548]2824PUSH128383832
[549]2826PUSH128383532
[550]2828SHL28383232
[551]2829SUB28382932
[552]2830DUP128382632
[553]2831DUP328382332
[554]2832AND28382032
[555]2833SWAP328381732
[556]2834PUSH128381432
[557]2836PUSH128381132
[558]2838SHL28380832
[559]2839DUP428380532
[560]2840DIV28380252
[561]2841SWAP128379732
[562]2842SWAP228379432
[563]2843AND28379132
[564]2844SWAP228378832
[565]2845PUSH128378532
[566]2847PUSH128378232
[567]2849SHL28377932
[568]2850SWAP128377632
[569]2851DIV28377352
[570]2852PUSH428376832
[571]2857AND28376532
[572]2858SWAP128376232
[573]2859JUMP28375982
[574]705JUMPDEST28375112
[575]706PUSH128375032
[576]708DUP128374732
[577]709MLOAD28374432
[578]710PUSH128374132
[579]712PUSH128373832
[580]714PUSH128373532
[581]716SHL28373232
[582]717SUB28372932
[583]718SWAP528372632
[584]719DUP628372332
[585]720AND28372032
[586]721DUP228371732
[587]722MSTORE28371492
[588]723SWAP328370532
[589]724SWAP128370232
[590]725SWAP428369932
[591]726AND28369632
[592]727PUSH128369332
[593]729DUP428369032
[594]730ADD28368732
[595]731MSTORE28368462
[596]732PUSH428367832
[597]737AND28367532
[598]738DUP228367232
[599]739DUP428366932
[600]740ADD28366632
[601]741MSTORE28366362
[602]742SWAP128365732
[603]743MLOAD28365432
[604]744SWAP128365132
[605]745DUP228364832
[606]746SWAP128364532
[607]747SUB28364232
[608]748PUSH128363932
[609]750ADD28363632
[610]751SWAP128363332
[611]752RETURN28363002
[612]14440SWAP128817231
[613]14441DUP228816931
[614]14442ISZERO28816631
[615]14443PUSH228816331
[616]14446JUMPI288160101
[617]14447DUP428815031
[618]14448SWAP228814731
[619]14449PUSH228814431
[620]14452JUMPI288141101
[621]14470JUMPDEST28813111
[622]14471SWAP128813031
[623]14472POP28812721
[624]14473PUSH228812531
[625]14476SWAP228812231
[626]14477SWAP328811931
[627]14478POP28811621
[628]14479PUSH128811431
[629]14481RETURNDATASIZE28811121
[630]14482DUP228810931
[631]14483GT28810631
[632]14484PUSH228810331
[633]14487JUMPI288100101
[634]14488PUSH228809031
[635]14491DUP228808731
[636]14492DUP428808431
[637]14493PUSH228808131
[638]14496JUMP28807881
[639]6563JUMPDEST28807011
[640]6564SWAP128806931
[641]6565PUSH128806631
[642]6567DUP128806331
[643]6568NOT28806031
[644]6569SWAP228805731
[645]6570ADD28805431
[646]6571AND28805131
[647]6572DUP228804831
[648]6573ADD28804531
[649]6574SWAP128804231
[650]6575DUP228803931
[651]6576LT28803631
[652]6577PUSH828803331
[653]6586DUP328803031
[654]6587GT28802731
[655]6588OR28802431
[656]6589PUSH228802131
[657]6592JUMPI288018101
[658]6593PUSH128800831
[659]6595MSTORE28800531
[660]6596JUMP28800281
[661]3689JUMPDEST28799411
[662]3690DUP228799331
[663]3691ADD28799031
[664]3692SWAP128798731
[665]3693PUSH228798431
[666]3696JUMP28798181
[667]11596JUMPDEST28797311
[668]11597SWAP128797231
[669]11598DUP228796931
[670]11599PUSH128796631
[671]11601SWAP228796331
[672]11602SUB28796031
[673]11603SLT28795731
[674]11604PUSH228795431
[675]11607JUMPI287951101
[676]11608PUSH228794131
[677]11611DUP228793831
[678]11612PUSH228793531
[679]11615JUMP28793281
[680]11576JUMPDEST28792411
[681]11577MLOAD28792331
[682]11578SWAP128792031
[683]11579PUSH128791731
[684]11581PUSH128791431
[685]11583PUSH128791131
[686]11585EXP287908601
[687]11586SUB28784831
[688]11587DUP328784531
[689]11588AND28784231
[690]11589DUP328783931
[691]11590SUB28783631
[692]11591PUSH228783331
[693]11594JUMPI287830101
[694]11595JUMP28782081
[695]11616JUMPDEST28781211
[696]11617SWAP228781131
[697]11618PUSH128780831
[698]11620PUSH228780531
[699]11623PUSH128780231
[700]11625DUP528779931
[701]11626ADD28779631
[702]11627PUSH228779331
[703]11630JUMP28779081
[704]11576JUMPDEST28778211
[705]11577MLOAD28778131
[706]11578SWAP128777831
[707]11579PUSH128777531
[708]11581PUSH128777231
[709]11583PUSH128776931
[710]11585EXP287766601
[711]11586SUB28770631
[712]11587DUP328770331
[713]11588AND28770031
[714]11589DUP328769731
[715]11590SUB28769431
[716]11591PUSH228769131
[717]11594JUMPI287688101
[718]11595JUMP28767881
[719]11631JUMPDEST28767011
[720]11632SWAP328766931
[721]11633ADD28766631
[722]11634MLOAD28766331
[723]11635PUSH428766031
[724]11640DUP228765731
[725]11641AND28765431
[726]11642DUP228765131
[727]11643SUB28764831
[728]11644PUSH228764531
[729]11647JUMPI287642101
[730]11648SWAP128763231
[731]11649JUMP28762981
[732]14497JUMPDEST28762111
[733]14498POP28762021
[734]14499SWAP228761831
[735]14500SWAP128761531
[736]14501SWAP228761231
[737]14502CODESIZE28760921
[738]14503PUSH228760731
[739]14506JUMP28760481
[740]14453JUMPDEST28759611
[741]14454POP28759521
[742]14455PUSH128759331
[743]14457PUSH128759031
[744]14459PUSH128758731
[745]14461EXP287584601
[746]14462SUB28752431
[747]14463DUP128752131
[748]14464SWAP228751831
[749]14465AND28751531
[750]14466SWAP328751231
[751]14467AND28750931
[752]14468SWAP128750631
[753]14469JUMP28750381
[754]3173JUMPDEST28749511
[755]3174SWAP428749431
[756]3175SWAP128749131
[757]3176SWAP328748831
[758]3177PUSH228748531
[759]3180JUMP28748281
[760]12861JUMPDEST28747411
[761]12862SWAP628747331
[762]12863SWAP528747031
[763]12864SWAP428746731
[764]12865SWAP228746431
[765]12866SWAP128746131
[766]12867SWAP628745831
[767]12868PUSH228745531
[768]12871DUP228745231
[769]12872DUP228744931
[770]12873MUL28744651
[771]12874DUP228744131
[772]12875DUP228743831
[773]12876DIV28743551
[774]12877DUP428743031
[775]12878SUB28742731
[776]12879PUSH228742431
[777]12882JUMPI287421101
[778]12883DUP628741131
[779]12884PUSH228740831
[780]12887SWAP228740531
[781]12888PUSH228740231
[782]12891JUMP28739981
[783]12475JUMPDEST28739111
[784]12476DUP228739031
[785]12477DUP228738731
[786]12478MUL28738451
[787]12479SWAP328737931
[788]12480SWAP228737631
[789]12481DUP228737331
[790]12482ISZERO28737031
[791]12483SWAP228736731
[792]12484DUP528736431
[793]12485DIV28736151
[794]12486EQ28735631
[795]12487OR28735331
[796]12488ISZERO28735031
[797]12489PUSH228734731
[798]12492JUMPI287344101
[799]12493JUMP28733481
[800]12892JUMPDEST28732611
[801]12893DUP628732531
[802]12894DUP328732231
[803]12895MUL28731951
[804]12896SWAP228731431
[805]12897DUP328731131
[806]12898DIV28730851
[807]12899DUP728730331
[808]12900SUB28730031
[809]12901PUSH228729731
[810]12904JUMPI287294101
[811]12905PUSH228728431
[812]12908SWAP228728131
[813]12909PUSH228727831
[814]12912DUP1128727531
[815]12913PUSH228727231
[816]12916PUSH228726931
[817]12919DUP1228726631
[818]12920SWAP628726331
[819]12921PUSH228726031
[820]12924PUSH228725731
[821]12927DUP628725431
[822]12928DUP1328725131
[823]12929PUSH228724831
[824]12932JUMP28724581
[825]12475JUMPDEST28723711
[826]12476DUP228723631
[827]12477DUP228723331
[828]12478MUL28723051
[829]12479SWAP328722531
[830]12480SWAP228722231
[831]12481DUP228721931
[832]12482ISZERO28721631
[833]12483SWAP228721331
[834]12484DUP528721031
[835]12485DIV28720751
[836]12486EQ28720231
[837]12487OR28719931
[838]12488ISZERO28719631
[839]12489PUSH228719331
[840]12492JUMPI287190101
[841]12493JUMP28718081
[842]12933JUMPDEST28717211
[843]12934DUP828717131
[844]12935PUSH228716831
[845]12938JUMP28716581
[846]12462JUMPDEST28715711
[847]12463SWAP228715631
[848]12464SWAP128715331
[849]12465DUP328715031
[850]12466ADD28714731
[851]12467DUP128714431
[852]12468SWAP328714131
[853]12469GT28713831
[854]12470PUSH228713531
[855]12473JUMPI287132101
[856]12474JUMP28712281
[857]12939JUMPDEST28711411
[858]12940SWAP128711331
[859]12941PUSH228711031
[860]12944JUMP28710781
[861]11961JUMPDEST28709911
[862]11962DUP228709831
[863]11963ISZERO28709531
[864]11964PUSH228709231
[865]11967JUMPI287089101
[866]11968DIV28707951
[867]11969SWAP128707431
[868]11970JUMP28707181
[869]12945JUMPDEST28706311
[870]12946SWAP428706231
[871]12947PUSH228705931
[872]12950PUSH228705631
[873]12953DUP1228705331
[874]12954PUSH228705031
[875]12957DUP728704731
[876]12958DUP1428704431
[877]12959PUSH228704131
[878]12962JUMP28703881
[879]12475JUMPDEST28703011
[880]12476DUP228702931
[881]12477DUP228702631
[882]12478MUL28702351
[883]12479SWAP328701831
[884]12480SWAP228701531
[885]12481DUP228701231
[886]12482ISZERO28700931
[887]12483SWAP228700631
[888]12484DUP528700331
[889]12485DIV28700051
[890]12486EQ28699531
[891]12487OR28699231
[892]12488ISZERO28698931
[893]12489PUSH228698631
[894]12492JUMPI286983101
[895]12493JUMP28697381
[896]12963JUMPDEST28696511
[897]12964PUSH228696431
[898]12967JUMP28696181
[899]12475JUMPDEST28695311
[900]12476DUP228695231
[901]12477DUP228694931
[902]12478MUL28694651
[903]12479SWAP328694131
[904]12480SWAP228693831
[905]12481DUP228693531
[906]12482ISZERO28693231
[907]12483SWAP228692931
[908]12484DUP528692631
[909]12485DIV28692351
[910]12486EQ28691831
[911]12487OR28691531
[912]12488ISZERO28691231
[913]12489PUSH228690931
[914]12492JUMPI286906101
[915]12493JUMP28689681
[916]12968JUMPDEST28688811
[917]12969SWAP428688731
[918]12970DUP1128688431
[919]12971PUSH228688131
[920]12974JUMP28687881
[921]12475JUMPDEST28687011
[922]12476DUP228686931
[923]12477DUP228686631
[924]12478MUL28686351
[925]12479SWAP328685831
[926]12480SWAP228685531
[927]12481DUP228685231
[928]12482ISZERO28684931
[929]12483SWAP228684631
[930]12484DUP528684331
[931]12485DIV28684051
[932]12486EQ28683531
[933]12487OR28683231
[934]12488ISZERO28682931
[935]12489PUSH228682631
[936]12492JUMPI286823101
[937]12493JUMP28681381
[938]12975JUMPDEST28680511
[939]12976SWAP128680431
[940]12977PUSH228680131
[941]12980JUMP28679881
[942]12462JUMPDEST28679011
[943]12463SWAP228678931
[944]12464SWAP128678631
[945]12465DUP328678331
[946]12466ADD28678031
[947]12467DUP128677731
[948]12468SWAP328677431
[949]12469GT28677131
[950]12470PUSH228676831
[951]12473JUMPI286765101
[952]12474JUMP28675581
[953]12939JUMPDEST28674711
[954]12940SWAP128674631
[955]12941PUSH228674331
[956]12944JUMP28674081
[957]11961JUMPDEST28673211
[958]11962DUP228673131
[959]11963ISZERO28672831
[960]11964PUSH228672531
[961]11967JUMPI286722101
[962]11968DIV28671251
[963]11969SWAP128670731
[964]11970JUMP28670481
[965]12981JUMPDEST28669611
[966]12982SWAP128669531
[967]12983PUSH228669231
[968]12986JUMP28668981
[969]13094JUMPDEST28668111
[970]13095SWAP228668031
[971]13096SWAP128667731
[972]13097DUP128667431
[973]13098DUP428667131
[974]13099GT28666831
[975]13100ISZERO28666531
[976]13101PUSH228666231
[977]13104JUMPI286659101
[978]13105POP28664921
[979]13106POP28664721
[980]13107POP28664521
[981]13108PUSH128664331
[982]13110SWAP128664031
[983]13111JUMP28663781
[984]12987JUMPDEST28662911
[985]12988SWAP728662831
[986]12989DUP828662531
[987]12990PUSH228662231
[988]12993JUMPI286619101
[989]12994POP28660921
[990]12995POP28660721
[991]12996POP28660521
[992]12997POP28660321
[993]12998POP28660121
[994]12999POP28659921
[995]13000SWAP128659731
[996]13001POP28659421
[997]13002PUSH128659231
[998]13004SWAP128658931
[999]13005PUSH128658631
[1000]13007SWAP128658331