Geth VM Trace Transaction

GETH Trace for Txn Hash 0x257ecfdc78da39c98bb29288651dbe98c487bbcdf62cb9c9e0d1ff0434115993

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

Step PC Operation Gas GasCost Depth
[1]0PUSH157602031
[2]2PUSH157601731
[3]4MSTORE576014121
[4]5PUSH157600231
[5]7CALLDATASIZE57599921
[6]8LT57599731
[7]9PUSH257599431
[8]12JUMPI575991101
[9]13PUSH157598131
[10]15CALLDATALOAD57597831
[11]16PUSH157597531
[12]18SHR57597231
[13]19DUP157596931
[14]20PUSH457596631
[15]25GT57596331
[16]26PUSH257596031
[17]29JUMPI575957101
[18]89JUMPDEST57594711
[19]90DUP157594631
[20]91PUSH457594331
[21]96EQ57594031
[22]97PUSH257593731
[23]100JUMPI575934101
[24]191JUMPDEST57592411
[25]192PUSH257592331
[26]195PUSH157592031
[27]197DUP157591731
[28]198CALLDATASIZE57591421
[29]199SUB57591231
[30]200PUSH157590931
[31]202DUP257590631
[32]203LT57590331
[33]204ISZERO57590031
[34]205PUSH257589731
[35]208JUMPI575894101
[36]213JUMPDEST57588411
[37]214PUSH157588331
[38]216PUSH157588031
[39]218PUSH157587731
[40]220SHL57587431
[41]221SUB57587131
[42]222DUP357586831
[43]223CALLDATALOAD57586531
[44]224AND57586231
[45]225SWAP257585931
[46]226SWAP157585631
[47]227DUP257585331
[48]228ADD57585031
[49]229SWAP157584731
[50]230PUSH157584431
[51]232DUP257584131
[52]233ADD57583831
[53]234PUSH157583531
[54]236DUP357583231
[55]237ADD57582931
[56]238CALLDATALOAD57582631
[57]239PUSH157582331
[58]241PUSH157582031
[59]243SHL57581731
[60]244DUP257581431
[61]245GT57581131
[62]246ISZERO57580831
[63]247PUSH257580531
[64]250JUMPI575802101
[65]255JUMPDEST57579211
[66]256DUP357579131
[67]257ADD57578831
[68]258DUP457578531
[69]259PUSH157578231
[70]261DUP357577931
[71]262ADD57577631
[72]263GT57577331
[73]264ISZERO57577031
[74]265PUSH257576731
[75]268JUMPI575764101
[76]273JUMPDEST57575411
[77]274DUP157575331
[78]275CALLDATALOAD57575031
[79]276SWAP157574731
[80]277PUSH157574431
[81]279ADD57574131
[82]280SWAP257573831
[83]281DUP557573531
[84]282PUSH157573231
[85]284DUP457572931
[86]285MUL57572651
[87]286DUP557572131
[88]287ADD57571831
[89]288GT57571531
[90]289PUSH157571231
[91]291PUSH157570931
[92]293SHL57570631
[93]294DUP457570331
[94]295GT57570031
[95]296OR57569731
[96]297ISZERO57569431
[97]298PUSH257569131
[98]301JUMPI575688101
[99]306JUMPDEST57567811
[100]307SWAP257567731
[101]308SWAP157567431
[102]309DUP157567131
[103]310DUP157566831
[104]311PUSH157566531
[105]313ADD57566231
[106]314PUSH157565931
[107]316DUP157565631
[108]317SWAP257565331
[109]318DIV57565051
[110]319MUL57564551
[111]320PUSH157564031
[112]322ADD57563731
[113]323PUSH157563431
[114]325MLOAD57563131
[115]326SWAP157562831
[116]327DUP257562531
[117]328ADD57562231
[118]329PUSH157561931
[119]331MSTORE57561631
[120]332DUP157561331
[121]333SWAP457561031
[122]334SWAP357560731
[123]335SWAP257560431
[124]336SWAP157560131
[125]337DUP257559831
[126]338DUP257559531
[127]339MSTORE57559291
[128]340PUSH157558331
[129]342ADD57558031
[130]343DUP457557731
[131]344DUP457557431
[132]345DUP157557131
[133]346DUP357556831
[134]347DUP557556531
[135]348CALLDATACOPY575562571
[136]349PUSH157550531
[137]351SWAP357550231
[138]352ADD57549931
[139]353SWAP257549631
[140]354SWAP157549331
[141]355SWAP257549031
[142]356MSTORE57548761
[143]357POP57548121
[144]358SWAP357547931
[145]359SWAP657547631
[146]360POP57547321
[147]361PUSH257547131
[148]364SWAP557546831
[149]365POP57546521
[150]366POP57546321
[151]367POP57546121
[152]368POP57545921
[153]369POP57545721
[154]370JUMP57545581
[155]1555JUMPDEST57544711
[156]1556CALLER57544621
[157]1557PUSH157544431
[158]1559SWAP157544131
[159]1560DUP257543831
[160]1561MSTORE57543531
[161]1562PUSH157543231
[162]1564DUP257542931
[163]1565SWAP157542631
[164]1566MSTORE57542331
[165]1567PUSH157542031
[166]1569SWAP157541731
[167]1570SHA3575414421
[168]1571SLOAD5753728001
[169]1572PUSH157457231
[170]1574EQ57456931
[171]1575PUSH257456631
[172]1578JUMPI574563101
[173]1583JUMPDEST57455311
[174]1584PUSH157455231
[175]1586DUP157454931
[176]1587DUP357454631
[177]1588MLOAD57454331
[178]1589PUSH157454031
[179]1591DUP557453731
[180]1592ADD57453431
[181]1593DUP657453131
[182]1594GAS57452821
[183]1595DELEGATECALL5745265655601
[184]0PUSH156486032
[185]2PUSH156485732
[186]4MSTORE564854122
[187]5PUSH256484232
[188]8JUMP56483982
[189]1029JUMPDEST56483112
[190]1030GAS56483022
[191]1031CALLVALUE56482822
[192]1032ISZERO56482632
[193]1033PUSH256482332
[194]1036JUMPI564820102
[195]1046JUMPDEST56481012
[196]1047PUSH156480932
[197]1049CALLDATALOAD56480632
[198]1050PUSH156480332
[199]1052SHR56480032
[200]1053PUSH456479732
[201]1058DUP256479432
[202]1059EQ56479132
[203]1060ISZERO56478832
[204]1061PUSH256478532
[205]1064JUMPI564782102
[206]1065TIMESTAMP56477222
[207]1066PUSH156477032
[208]1068CALLDATALOAD56476732
[209]1069LT56476432
[210]1070ISZERO56476132
[211]1071PUSH256475832
[212]1074JUMPI564755102
[213]1084JUMPDEST56474512
[214]1085PUSH456474432
[215]1090PUSH156474132
[216]1092SHL56473832
[217]1093PUSH156473532
[218]1095MSTORE56473232
[219]1096PUSH156472932
[220]1098PUSH156472632
[221]1100PUSH156472332
[222]1102PUSH156472032
[223]1104DUP156471732
[224]1105PUSH156471432
[225]1107CALLDATALOAD56471132
[226]1108GAS56470822
[227]1109CALL5647065558942
[228]0PUSH155519433
[229]2PUSH155519133
[230]4MSTORE555188123
[231]5CALLVALUE55517623
[232]6DUP155517433
[233]7ISZERO55517133
[234]8PUSH255516833
[235]11JUMPI555165103
[236]16JUMPDEST55515513
[237]17POP55515423
[238]18PUSH155515233
[239]20CALLDATASIZE55514923
[240]21LT55514733
[241]22PUSH255514433
[242]25JUMPI555141103
[243]26PUSH155513133
[244]28CALLDATALOAD55512833
[245]29PUSH155512533
[246]31SHR55512233
[247]32DUP155511933
[248]33PUSH455511633
[249]38GT55511333
[250]39PUSH255511033
[251]42JUMPI555107103
[252]249JUMPDEST55509713
[253]250DUP155509633
[254]251PUSH455509333
[255]256GT55509033
[256]257PUSH255508733
[257]260JUMPI555084103
[258]358JUMPDEST55507413
[259]359DUP155507333
[260]360PUSH455507033
[261]365EQ55506733
[262]366PUSH255506433
[263]369JUMPI555061103
[264]370DUP155505133
[265]371PUSH455504833
[266]376EQ55504533
[267]377PUSH255504233
[268]380JUMPI555039103
[269]381DUP155502933
[270]382PUSH455502633
[271]387EQ55502333
[272]388PUSH255502033
[273]391JUMPI555017103
[274]734JUMPDEST55500713
[275]735PUSH255500633
[276]738PUSH255500333
[277]741JUMP55500083
[278]4717JUMPDEST55499213
[279]4718PUSH155499133
[280]4720DUP155498833
[281]4721PUSH155498533
[282]4723PUSH155498233
[283]4725PUSH155497933
[284]4727SWAP155497633
[285]4728SLOAD5549738003
[286]4729SWAP155417333
[287]4730PUSH255417033
[288]4733EXP554167103
[289]4734SWAP155415733
[290]4735DIV55415453
[291]4736PUSH1455414933
[292]4751AND55414633
[293]4752SWAP355414333
[294]4753POP55414023
[295]4754PUSH155413833
[296]4756PUSH155413533
[297]4758SWAP155413233
[298]4759SLOAD5541298003
[299]4760SWAP155332933
[300]4761PUSH255332633
[301]4764EXP553323603
[302]4765SWAP155326333
[303]4766DIV55326053
[304]4767PUSH1455325533
[305]4782AND55325233
[306]4783SWAP255324933
[307]4784POP55324623
[308]4785PUSH155324433
[309]4787PUSH155324133
[310]4789SWAP155323833
[311]4790SLOAD5532358003
[312]4791SWAP155243533
[313]4792PUSH255243233
[314]4795EXP552429603
[315]4796SWAP155236933
[316]4797DIV55236653
[317]4798PUSH455236133
[318]4803AND55235833
[319]4804SWAP155235533
[320]4805POP55235223
[321]4806SWAP155235033
[322]4807SWAP255234733
[323]4808SWAP355234433
[324]4809JUMP55234183
[325]742JUMPDEST55233313
[326]743PUSH155233233
[327]745MLOAD55232933
[328]746DUP155232633
[329]747DUP555232333
[330]748PUSH1455232033
[331]763AND55231733
[332]764PUSH1455231433
[333]779AND55231133
[334]780DUP255230833
[335]781MSTORE55230593
[336]782PUSH155229633
[337]784ADD55229333
[338]785DUP455229033
[339]786PUSH1455228733
[340]801AND55228433
[341]802PUSH1455228133
[342]817AND55227833
[343]818DUP255227533
[344]819MSTORE55227263
[345]820PUSH155226633
[346]822ADD55226333
[347]823DUP355226033
[348]824PUSH455225733
[349]829AND55225433
[350]830PUSH455225133
[351]835AND55224833
[352]836DUP255224533
[353]837MSTORE55224263
[354]838PUSH155223633
[355]840ADD55223333
[356]841SWAP455223033
[357]842POP55222723
[358]843POP55222523
[359]844POP55222323
[360]845POP55222123
[361]846PUSH155221933
[362]848MLOAD55221633
[363]849DUP155221333
[364]850SWAP255221033
[365]851SUB55220733
[366]852SWAP155220433
[367]853RETURN55220103
[368]1110PUSH256101332
[369]1113JUMPI561010102
[370]1123JUMPDEST56100012
[371]1124PUSH156099932
[372]1126RETURNDATASIZE56099622
[373]1127EQ56099432
[374]1128PUSH256099132
[375]1131JUMPI560988102
[376]1141JUMPDEST56097812
[377]1142PUSH156097732
[378]1144DUP156097432
[379]1145PUSH156097132
[380]1147CALLDATALOAD56096832
[381]1148PUSH2056096532
[382]1169LT56096232
[383]1170PUSH156095932
[384]1172DUP256095632
[385]1173EQ56095332
[386]1174PUSH256095032
[387]1177JUMPI560947102
[388]1178DUP156093732
[389]1179ISZERO56093432
[390]1180PUSH256093132
[391]1183JUMPI560928102
[392]1203JUMPDEST56091812
[393]1204PUSH156091732
[394]1206MLOAD56091432
[395]1207SWAP256091132
[396]1208POP56090822
[397]1209PUSH156090632
[398]1211MLOAD56090332
[399]1212SWAP356090032
[400]1213POP56089722
[401]1214JUMPDEST56089512
[402]1215POP56089422
[403]1216PUSH256089232
[404]1219PUSH156088932
[405]1221CALLDATALOAD56088632
[406]1222PUSH156088332
[407]1224CALLDATALOAD56088032
[408]1225DUP456087732
[409]1226DUP656087432
[410]1227PUSH256087132
[411]1230JUMP56086882
[412]605JUMPDEST56086012
[413]606PUSH156085932
[414]608DUP456085632
[415]609ISZERO56085332
[416]610PUSH256085032
[417]613JUMPI560847102
[418]614PUSH256083732
[419]617DUP656083432
[420]618DUP556083132
[421]619PUSH256082832
[422]622JUMP56082582
[423]198JUMPDEST56081712
[424]199PUSH156081632
[425]201PUSH856081332
[426]210PUSH256081032
[427]213DUP556080732
[428]214DUP556080432
[429]215PUSH256080132
[430]218JUMP56079882
[431]158JUMPDEST56079012
[432]159DUP156078932
[433]160DUP356078632
[434]161MUL56078352
[435]162DUP356077832
[436]163ISZERO56077532
[437]164PUSH256077232
[438]167JUMPI560769102
[439]168DUP256075932
[440]169DUP456075632
[441]170DUP356075332
[442]171DIV56075052
[443]172EQ56074532
[444]173PUSH256074232
[445]176JUMPI560739102
[446]89JUMPDEST56072912
[447]90SWAP356072832
[448]91SWAP256072532
[449]92POP56072222
[450]93POP56072022
[451]94JUMP56071882
[452]219JUMPDEST56071012
[453]220DIV56070952
[454]221SWAP456070432
[455]222SWAP356070132
[456]223POP56069822
[457]224POP56069622
[458]225POP56069422
[459]226JUMP56069282
[460]623JUMPDEST56068412
[461]624PUSH256068332
[462]627PUSH256068032
[463]630PUSH256067732
[464]633PUSH256067432
[465]636DUP756067132
[466]637PUSH256066832
[467]640JUMP56066582
[468]158JUMPDEST56065712
[469]159DUP156065632
[470]160DUP356065332
[471]161MUL56065052
[472]162DUP356064532
[473]163ISZERO56064232
[474]164PUSH256063932
[475]167JUMPI560636102
[476]168DUP256062632
[477]169DUP456062332
[478]170DUP356062032
[479]171DIV56061752
[480]172EQ56061232
[481]173PUSH256060932
[482]176JUMPI560606102
[483]89JUMPDEST56059612
[484]90SWAP356059532
[485]91SWAP256059232
[486]92POP56058922
[487]93POP56058722
[488]94JUMP56058582
[489]641JUMPDEST56057712
[490]642DIV56057652
[491]643DUP356057132
[492]644PUSH256056832
[493]647JUMP56056582
[494]137JUMPDEST56055712
[495]138DUP256055632
[496]139DUP256055332
[497]140SUB56055032
[498]141DUP256054732
[499]142DUP256054432
[500]143SGT56054132
[501]144ISZERO56053832
[502]145PUSH256053532
[503]148JUMPI560532102
[504]89JUMPDEST56052212
[505]90SWAP356052132
[506]91SWAP256051832
[507]92POP56051522
[508]93POP56051322
[509]94JUMP56051182
[510]648JUMPDEST56050312
[511]649PUSH156050232
[512]651DUP256049932
[513]652SGT56049632
[514]653ISZERO56049332
[515]654PUSH256049032
[516]657JUMPI560487102
[517]658PUSH256047732
[518]661PUSH256047432
[519]664PUSH256047132
[520]667DUP956046832
[521]668DUP556046532
[522]669PUSH256046232
[523]672JUMP56045982
[524]158JUMPDEST56045112
[525]159DUP156045032
[526]160DUP356044732
[527]161MUL56044452
[528]162DUP356043932
[529]163ISZERO56043632
[530]164PUSH256043332
[531]167JUMPI560430102
[532]168DUP256042032
[533]169DUP456041732
[534]170DUP356041432
[535]171DIV56041152
[536]172EQ56040632
[537]173PUSH256040332
[538]176JUMPI560400102
[539]89JUMPDEST56039012
[540]90SWAP356038932
[541]91SWAP256038632
[542]92POP56038322
[543]93POP56038122
[544]94JUMP56037982
[545]673JUMPDEST56037112
[546]674PUSH156037032
[547]676PUSH256036732
[548]679JUMP56036482
[549]158JUMPDEST56035612
[550]159DUP156035532
[551]160DUP356035232
[552]161MUL56034952
[553]162DUP356034432
[554]163ISZERO56034132
[555]164PUSH256033832
[556]167JUMPI560335102
[557]168DUP256032532
[558]169DUP456032232
[559]170DUP356031932
[560]171DIV56031652
[561]172EQ56031132
[562]173PUSH256030832
[563]176JUMPI560305102
[564]89JUMPDEST56029512
[565]90SWAP356029432
[566]91SWAP256029132
[567]92POP56028822
[568]93POP56028622
[569]94JUMP56028482
[570]680JUMPDEST56027612
[571]681PUSH256027532
[572]684DUP556027232
[573]685PUSH256026932
[574]688JUMP56026682
[575]186JUMPDEST56025812
[576]187PUSH156025732
[577]189PUSH256025432
[578]192DUP356025132
[579]193DUP456024832
[580]194PUSH256024532
[581]197JUMP56024282
[582]158JUMPDEST56023412
[583]159DUP156023332
[584]160DUP356023032
[585]161MUL56022752
[586]162DUP356022232
[587]163ISZERO56021932
[588]164PUSH256021632
[589]167JUMPI560213102
[590]168DUP256020332
[591]169DUP456020032
[592]170DUP356019732
[593]171DIV56019452
[594]172EQ56018932
[595]173PUSH256018632
[596]176JUMPI560183102
[597]89JUMPDEST56017312
[598]90SWAP356017232
[599]91SWAP256016932
[600]92POP56016622
[601]93POP56016422
[602]94JUMP56016282
[603]89JUMPDEST56015412
[604]90SWAP356015332
[605]91SWAP256015032
[606]92POP56014722
[607]93POP56014522
[608]94JUMP56014382
[609]282JUMPDEST56013512
[610]283PUSH256013432
[611]286JUMP56013182
[612]95JUMPDEST56012312
[613]96DUP156012232
[614]97DUP356011932
[615]98ADD56011632
[616]99DUP256011332
[617]100DUP256011032
[618]101LT56010732
[619]102ISZERO56010432
[620]103PUSH256010132
[621]106JUMPI560098102
[622]89JUMPDEST56008812
[623]90SWAP356008732
[624]91SWAP256008432
[625]92POP56008122
[626]93POP56007922
[627]94JUMP56007782
[628]689JUMPDEST56006912
[629]690PUSH256006832
[630]693PUSH256006532
[631]696PUSH256006232
[632]699PUSH256005932
[633]702DUP1156005632
[634]703PUSH156005332
[635]705PUSH256005032
[636]708JUMP56004782
[637]158JUMPDEST56003912
[638]159DUP156003832
[639]160DUP356003532
[640]161MUL56003252
[641]162DUP356002732
[642]163ISZERO56002432
[643]164PUSH256002132
[644]167JUMPI560018102
[645]168DUP256000832
[646]169DUP456000532
[647]170DUP356000232
[648]171DIV55999952
[649]172EQ55999432
[650]173PUSH255999132
[651]176JUMPI559988102
[652]89JUMPDEST55997812
[653]90SWAP355997732
[654]91SWAP255997432
[655]92POP55997122
[656]93POP55996922
[657]94JUMP55996782
[658]709JUMPDEST55995912
[659]710PUSH255995832
[660]713PUSH255995532
[661]716DUP955995232
[662]717PUSH255994932
[663]720JUMP55994682
[664]227JUMPDEST55993812
[665]228PUSH155993732
[666]230PUSH255993432
[667]233DUP355993132
[668]234DUP455992832
[669]235PUSH255992532
[670]238JUMP55992282
[671]198JUMPDEST55991412
[672]199PUSH155991332
[673]201PUSH855991032
[674]210PUSH255990732
[675]213DUP555990432
[676]214DUP555990132
[677]215PUSH255989832
[678]218JUMP55989582
[679]158JUMPDEST55988712
[680]159DUP155988632
[681]160DUP355988332
[682]161MUL55988052
[683]162DUP355987532
[684]163ISZERO55987232
[685]164PUSH255986932
[686]167JUMPI559866102
[687]168DUP255985632
[688]169DUP455985332
[689]170DUP355985032
[690]171DIV55984752
[691]172EQ55984232
[692]173PUSH255983932
[693]176JUMPI559836102
[694]89JUMPDEST55982612
[695]90SWAP355982532
[696]91SWAP255982232
[697]92POP55981922
[698]93POP55981722
[699]94JUMP55981582
[700]219JUMPDEST55980712
[701]220DIV55980652
[702]221SWAP455980132
[703]222SWAP355979832
[704]223POP55979522
[705]224POP55979322
[706]225POP55979122
[707]226JUMP55978982
[708]89JUMPDEST55978112
[709]90SWAP355978032
[710]91SWAP255977732
[711]92POP55977422
[712]93POP55977222
[713]94JUMP55977082
[714]721JUMPDEST55976212
[715]722PUSH255976132
[716]725PUSH255975832
[717]728DUP955975532
[718]729PUSH255975232
[719]732JUMP55974982
[720]321JUMPDEST55974112
[721]322PUSH155974032
[722]324DUP255973732
[723]325ISZERO55973432
[724]326PUSH255973132
[725]329JUMPI559728102
[726]330PUSH155971832
[727]332PUSH255971532
[728]335PUSH155971232
[729]337DUP555970932
[730]338PUSH255970632
[731]341JUMP55970382
[732]287JUMPDEST55969512
[733]288PUSH155969432
[734]290DUP355969132
[735]291DUP355968832
[736]292DIV55968552
[737]293JUMPDEST55968012
[738]294DUP155967932
[739]295ISZERO55967632
[740]296PUSH255967332
[741]299JUMPI559670102
[742]300PUSH155966032
[743]302SWAP255965732
[744]303SWAP155965432
[745]304SWAP255965132
[746]305ADD55964832
[747]306SWAP155964532
[748]307DUP455964232
[749]308SWAP155963932
[750]309DIV55963652
[751]310PUSH255963132
[752]313JUMP55962882
[753]293JUMPDEST55962012
[754]294DUP155961932
[755]295ISZERO55961632
[756]296PUSH255961332
[757]299JUMPI559610102
[758]300PUSH155960032
[759]302SWAP255959732
[760]303SWAP155959432
[761]304SWAP255959132
[762]305ADD55958832
[763]306SWAP155958532
[764]307DUP455958232
[765]308SWAP155957932
[766]309DIV55957652
[767]310PUSH255957132
[768]313JUMP55956882
[769]293JUMPDEST55956012
[770]294DUP155955932
[771]295ISZERO55955632
[772]296PUSH255955332
[773]299JUMPI559550102
[774]300PUSH155954032
[775]302SWAP255953732
[776]303SWAP155953432
[777]304SWAP255953132
[778]305ADD55952832
[779]306SWAP155952532
[780]307DUP455952232
[781]308SWAP155951932
[782]309DIV55951652
[783]310PUSH255951132
[784]313JUMP55950882
[785]293JUMPDEST55950012
[786]294DUP155949932
[787]295ISZERO55949632
[788]296PUSH255949332
[789]299JUMPI559490102
[790]300PUSH155948032
[791]302SWAP255947732
[792]303SWAP155947432
[793]304SWAP255947132
[794]305ADD55946832
[795]306SWAP155946532
[796]307DUP455946232
[797]308SWAP155945932
[798]309DIV55945652
[799]310PUSH255945132
[800]313JUMP55944882
[801]293JUMPDEST55944012
[802]294DUP155943932
[803]295ISZERO55943632
[804]296PUSH255943332
[805]299JUMPI559430102
[806]300PUSH155942032
[807]302SWAP255941732
[808]303SWAP155941432
[809]304SWAP255941132
[810]305ADD55940832
[811]306SWAP155940532
[812]307DUP455940232
[813]308SWAP155939932
[814]309DIV55939652
[815]310PUSH255939132
[816]313JUMP55938882
[817]293JUMPDEST55938012
[818]294DUP155937932
[819]295ISZERO55937632
[820]296PUSH255937332
[821]299JUMPI559370102
[822]300PUSH155936032
[823]302SWAP255935732
[824]303SWAP155935432
[825]304SWAP255935132
[826]305ADD55934832
[827]306SWAP155934532
[828]307DUP455934232
[829]308SWAP155933932
[830]309DIV55933652
[831]310PUSH255933132
[832]313JUMP55932882
[833]293JUMPDEST55932012
[834]294DUP155931932
[835]295ISZERO55931632
[836]296PUSH255931332
[837]299JUMPI559310102
[838]300PUSH155930032
[839]302SWAP255929732
[840]303SWAP155929432
[841]304SWAP255929132
[842]305ADD55928832
[843]306SWAP155928532
[844]307DUP455928232
[845]308SWAP155927932
[846]309DIV55927652
[847]310PUSH255927132
[848]313JUMP55926882
[849]293JUMPDEST55926012
[850]294DUP155925932
[851]295ISZERO55925632
[852]296PUSH255925332
[853]299JUMPI559250102
[854]300PUSH155924032
[855]302SWAP255923732
[856]303SWAP155923432
[857]304SWAP255923132
[858]305ADD55922832
[859]306SWAP155922532
[860]307DUP455922232
[861]308SWAP155921932
[862]309DIV55921652
[863]310PUSH255921132
[864]313JUMP55920882
[865]293JUMPDEST55920012
[866]294DUP155919932
[867]295ISZERO55919632
[868]296PUSH255919332
[869]299JUMPI559190102
[870]300PUSH155918032
[871]302SWAP255917732
[872]303SWAP155917432
[873]304SWAP255917132
[874]305ADD55916832
[875]306SWAP155916532
[876]307DUP455916232
[877]308SWAP155915932
[878]309DIV55915652
[879]310PUSH255915132
[880]313JUMP55914882
[881]293JUMPDEST55914012
[882]294DUP155913932
[883]295ISZERO55913632
[884]296PUSH255913332
[885]299JUMPI559130102
[886]300PUSH155912032
[887]302SWAP255911732
[888]303SWAP155911432
[889]304SWAP255911132
[890]305ADD55910832
[891]306SWAP155910532
[892]307DUP455910232
[893]308SWAP155909932
[894]309DIV55909652
[895]310PUSH255909132
[896]313JUMP55908882
[897]293JUMPDEST55908012
[898]294DUP155907932
[899]295ISZERO55907632
[900]296PUSH255907332
[901]299JUMPI559070102
[902]300PUSH155906032
[903]302SWAP255905732
[904]303SWAP155905432
[905]304SWAP255905132
[906]305ADD55904832
[907]306SWAP155904532
[908]307DUP455904232
[909]308SWAP155903932
[910]309DIV55903652
[911]310PUSH255903132
[912]313JUMP55902882
[913]293JUMPDEST55902012
[914]294DUP155901932
[915]295ISZERO55901632
[916]296PUSH255901332
[917]299JUMPI559010102
[918]300PUSH155900032
[919]302SWAP255899732
[920]303SWAP155899432
[921]304SWAP255899132
[922]305ADD55898832
[923]306SWAP155898532
[924]307DUP455898232
[925]308SWAP155897932
[926]309DIV55897652
[927]310PUSH255897132
[928]313JUMP55896882
[929]293JUMPDEST55896012
[930]294DUP155895932
[931]295ISZERO55895632
[932]296PUSH255895332
[933]299JUMPI558950102
[934]300PUSH155894032
[935]302SWAP255893732
[936]303SWAP155893432
[937]304SWAP255893132
[938]305ADD55892832
[939]306SWAP155892532
[940]307DUP455892232
[941]308SWAP155891932
[942]309DIV55891652
[943]310PUSH255891132
[944]313JUMP55890882
[945]293JUMPDEST55890012
[946]294DUP155889932
[947]295ISZERO55889632
[948]296PUSH255889332
[949]299JUMPI558890102
[950]300PUSH155888032
[951]302SWAP255887732
[952]303SWAP155887432
[953]304SWAP255887132
[954]305ADD55886832
[955]306SWAP155886532
[956]307DUP455886232
[957]308SWAP155885932
[958]309DIV55885652
[959]310PUSH255885132
[960]313JUMP55884882
[961]293JUMPDEST55884012
[962]294DUP155883932
[963]295ISZERO55883632
[964]296PUSH255883332
[965]299JUMPI558830102
[966]300PUSH155882032
[967]302SWAP255881732
[968]303SWAP155881432
[969]304SWAP255881132
[970]305ADD55880832
[971]306SWAP155880532
[972]307DUP455880232
[973]308SWAP155879932
[974]309DIV55879652
[975]310PUSH255879132
[976]313JUMP55878882
[977]293JUMPDEST55878012
[978]294DUP155877932
[979]295ISZERO55877632
[980]296PUSH255877332
[981]299JUMPI558770102
[982]300PUSH155876032
[983]302SWAP255875732
[984]303SWAP155875432
[985]304SWAP255875132
[986]305ADD55874832
[987]306SWAP155874532
[988]307DUP455874232
[989]308SWAP155873932
[990]309DIV55873652
[991]310PUSH255873132
[992]313JUMP55872882
[993]293JUMPDEST55872012
[994]294DUP155871932
[995]295ISZERO55871632
[996]296PUSH255871332
[997]299JUMPI558710102
[998]300PUSH155870032
[999]302SWAP255869732
[1000]303SWAP155869432