Geth VM Trace Transaction

GETH Trace for Txn Hash 0x904514c0221b90b55ad84f9c72ed4fb7831c758b08bd583e92b7a094be6a3da5

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

Step PC Operation Gas GasCost Depth
[1]0PUSH18744631
[2]2PUSH18744331
[3]4MSTORE87440121
[4]5CALLVALUE8742821
[5]6DUP18742631
[6]7ISZERO8742331
[7]8PUSH28742031
[8]11JUMPI87417101
[9]15JUMPDEST8740711
[10]16POP8740621
[11]17PUSH18740431
[12]19CALLDATASIZE8740121
[13]20LT8739931
[14]21PUSH28739631
[15]24JUMPI87393101
[16]25PUSH08738321
[17]26CALLDATALOAD8738131
[18]27PUSH18737831
[19]29SHR8737531
[20]30DUP18737231
[21]31PUSH48736931
[22]36GT8736631
[23]37PUSH28736331
[24]40JUMPI87360101
[25]147JUMPDEST8735011
[26]148DUP18734931
[27]149PUSH48734631
[28]154GT8734331
[29]155PUSH28734031
[30]158JUMPI87337101
[31]159DUP18732731
[32]160PUSH48732431
[33]165EQ8732131
[34]166PUSH28731831
[35]169JUMPI87315101
[36]366JUMPDEST8730511
[37]367PUSH28730431
[38]370PUSH28730131
[39]373CALLDATASIZE8729821
[40]374PUSH18729631
[41]376PUSH28729331
[42]379JUMP8729081
[43]3227JUMPDEST8728211
[44]3228PUSH08728121
[45]3229DUP18727931
[46]3230PUSH08727621
[47]3231DUP18727431
[48]3232PUSH18727131
[49]3234DUP68726831
[50]3235DUP88726531
[51]3236SUB8726231
[52]3237SLT8725931
[53]3238ISZERO8725631
[54]3239PUSH28725331
[55]3242JUMPI87250101
[56]3246JUMPDEST8724011
[57]3247DUP58723931
[58]3248CALLDATALOAD8723631
[59]3249SWAP48723331
[60]3250POP8723021
[61]3251PUSH18722831
[62]3253DUP68722531
[63]3254ADD8722231
[64]3255CALLDATALOAD8721931
[65]3256SWAP38721631
[66]3257POP8721321
[67]3258PUSH18721131
[68]3260DUP68720831
[69]3261ADD8720531
[70]3262CALLDATALOAD8720231
[71]3263PUSH88719931
[72]3272DUP28719631
[73]3273GT8719331
[74]3274ISZERO8719031
[75]3275PUSH28718731
[76]3278JUMPI87184101
[77]3282JUMPDEST8717411
[78]3283PUSH28717331
[79]3286DUP88717031
[80]3287DUP38716731
[81]3288DUP98716431
[82]3289ADD8716131
[83]3290PUSH28715831
[84]3293JUMP8715581
[85]3044JUMPDEST8714711
[86]3045PUSH08714621
[87]3046DUP18714431
[88]3047DUP48714131
[89]3048PUSH18713831
[90]3050DUP58713531
[91]3051ADD8713231
[92]3052SLT8712931
[93]3053PUSH28712631
[94]3056JUMPI87123101
[95]3060JUMPDEST8711311
[96]3061POP8711221
[97]3062DUP28711031
[98]3063CALLDATALOAD8710731
[99]3064PUSH88710431
[100]3073DUP28710131
[101]3074GT8709831
[102]3075ISZERO8709531
[103]3076PUSH28709231
[104]3079JUMPI87089101
[105]3083JUMPDEST8707911
[106]3084PUSH18707831
[107]3086DUP48707531
[108]3087ADD8707231
[109]3088SWAP28706931
[110]3089POP8706621
[111]3090DUP48706431
[112]3091PUSH18706131
[113]3093DUP38705831
[114]3094PUSH18705531
[115]3096SHL8705231
[116]3097DUP68704931
[117]3098ADD8704631
[118]3099ADD8704331
[119]3100GT8704031
[120]3101ISZERO8703731
[121]3102PUSH28703431
[122]3105JUMPI87031101
[123]3109JUMPDEST8702111
[124]3110SWAP38702031
[125]3111POP8701721
[126]3112SWAP38701531
[127]3113SWAP18701231
[128]3114POP8700921
[129]3115JUMP8700781
[130]3294JUMPDEST8699911
[131]3295SWAP68699831
[132]3296SWAP98699531
[133]3297SWAP58699231
[134]3298SWAP88698931
[135]3299POP8698621
[136]3300SWAP68698431
[137]3301POP8698121
[138]3302POP8697921
[139]3303POP8697721
[140]3304POP8697521
[141]3305JUMP8697381
[142]380JUMPDEST8696511
[143]381PUSH28696431
[144]384JUMP8696181
[145]1031JUMPDEST8695311
[146]1032PUSH18695231
[147]1034DUP18694931
[148]1035SLOAD8694621001
[149]1036PUSH18484631
[150]1038PUSH18484331
[151]1040SHL8484031
[152]1041SWAP18483731
[153]1042DIV8483451
[154]1043PUSH18482931
[155]1045AND8482631
[156]1046EQ8482331
[157]1047PUSH28482031
[158]1050JUMPI84817101
[159]1075JUMPDEST8480711
[160]1076PUSH28480631
[161]1079DUP38480331
[162]1080DUP38480031
[163]1081DUP78479731
[164]1082CALLER8479421
[165]1083PUSH28479231
[166]1086JUMP8478981
[167]619JUMPDEST8478111
[168]620PUSH18478031
[169]622DUP18477731
[170]623MLOAD8477431
[171]624PUSH18477131
[172]626PUSH18476831
[173]628PUSH18476531
[174]630SHL8476231
[175]631SUB8475931
[176]632DUP48475631
[177]633AND8475331
[178]634PUSH18475031
[179]636DUP38474731
[180]637ADD8474431
[181]638MSTORE84741121
[182]639SWAP18472931
[183]640DUP28472631
[184]641ADD8472331
[185]642DUP48472031
[186]643SWAP18471731
[187]644MSTORE8471461
[188]645PUSH08470821
[189]646SWAP18470631
[190]647DUP28470331
[191]648SWAP18470031
[192]649PUSH18469731
[193]651ADD8469431
[194]652PUSH18469131
[195]654DUP18468831
[196]655MLOAD8468531
[197]656PUSH18468231
[198]658NOT8467931
[199]659DUP28467631
[200]660DUP58467331
[201]661SUB8467031
[202]662ADD8466731
[203]663DUP28466431
[204]664MSTORE8466131
[205]665DUP38465831
[206]666DUP38465531
[207]667MSTORE8465231
[208]668DUP18464931
[209]669MLOAD8464631
[210]670PUSH18464331
[211]672SWAP28464031
[212]673DUP38463731
[213]674ADD8463431
[214]675KECCAK25684631421
[215]676SWAP18458931
[216]677DUP48458631
[217]678ADD8458331
[218]679MSTORE8458091
[219]680ADD8457131
[220]681PUSH18456831
[221]683MLOAD8456531
[222]684PUSH18456231
[223]686DUP28455931
[224]687DUP48455631
[225]688SUB8455331
[226]689SUB8455031
[227]690DUP28454731
[228]691MSTORE8454431
[229]692SWAP18454131
[230]693PUSH18453831
[231]695MSTORE8453531
[232]696DUP18453231
[233]697MLOAD8452931
[234]698SWAP18452631
[235]699PUSH18452331
[236]701ADD8452031
[237]702KECCAK25684517361
[238]703SWAP18448131
[239]704POP8447821
[240]705PUSH28447631
[241]708DUP78447331
[242]709DUP78447031
[243]710DUP18446731
[244]711DUP18446431
[245]712PUSH18446131
[246]714MUL8445851
[247]715PUSH18445331
[248]717ADD8445031
[249]718PUSH18444731
[250]720MLOAD8444431
[251]721SWAP18444131
[252]722DUP28443831
[253]723ADD8443531
[254]724PUSH18443231
[255]726MSTORE8442931
[256]727DUP18442631
[257]728SWAP48442331
[258]729SWAP38442031
[259]730SWAP28441731
[260]731SWAP18441431
[261]732DUP28441131
[262]733DUP28440831
[263]734MSTORE8440561
[264]735PUSH18439931
[265]737ADD8439631
[266]738DUP48439331
[267]739DUP48439031
[268]740PUSH18438731
[269]742MUL8438451
[270]743DUP18437931
[271]744DUP38437631
[272]745DUP58437331
[273]746CALLDATACOPY843701061
[274]747PUSH08426421
[275]748SWAP38426231
[276]749ADD8425931
[277]750SWAP28425631
[278]751SWAP18425331
[279]752SWAP28425031
[280]753MSTORE8424761
[281]754POP8424121
[282]755POP8423921
[283]756PUSH18423731
[284]758SLOAD8423421001
[285]759SWAP28213431
[286]760POP8213121
[287]761DUP58212931
[288]762SWAP18212631
[289]763POP8212321
[290]764PUSH28212131
[291]767JUMP8211881
[292]2760JUMPDEST8211011
[293]2761PUSH08210921
[294]2762DUP38210731
[295]2763PUSH28210431
[296]2766DUP68210131
[297]2767DUP58209831
[298]2768PUSH28209531
[299]2771JUMP8209281
[300]2850JUMPDEST8208411
[301]2851PUSH08208321
[302]2852DUP28208131
[303]2853DUP28207831
[304]2854JUMPDEST8207511
[305]2855DUP58207431
[306]2856MLOAD8207131
[307]2857DUP28206831
[308]2858LT8206531
[309]2859ISZERO8206231
[310]2860PUSH28205931
[311]2863JUMPI82056101
[312]2864PUSH28204631
[313]2867DUP38204331
[314]2868DUP78204031
[315]2869DUP48203731
[316]2870DUP28203431
[317]2871MLOAD8203131
[318]2872DUP28202831
[319]2873LT8202531
[320]2874PUSH28202231
[321]2877JUMPI82019101
[322]2885JUMPDEST8200911
[323]2886PUSH18200831
[324]2888MUL8200551
[325]2889PUSH18200031
[326]2891ADD8199731
[327]2892ADD8199431
[328]2893MLOAD8199131
[329]2894PUSH28198831
[330]2897JUMP8198581
[331]2997JUMPDEST8197711
[332]2998PUSH08197621
[333]2999DUP28197431
[334]3000DUP48197131
[335]3001LT8196831
[336]3002PUSH28196531
[337]3005JUMPI81962101
[338]3023JUMPDEST8195211
[339]3024PUSH08195121
[340]3025DUP48194931
[341]3026DUP28194631
[342]3027MSTORE8194331
[343]3028PUSH18194031
[344]3030DUP48193731
[345]3031SWAP18193431
[346]3032MSTORE8193131
[347]3033PUSH18192831
[348]3035SWAP18192531
[349]3036KECCAK25681922421
[350]3037JUMPDEST8188011
[351]3038SWAP48187931
[352]3039SWAP38187631
[353]3040POP8187321
[354]3041POP8187121
[355]3042POP8186921
[356]3043JUMP8186781
[357]2898JUMPDEST8185911
[358]2899SWAP28185831
[359]2900POP8185521
[360]2901PUSH18185331
[361]2903ADD8185031
[362]2904PUSH28184731
[363]2907JUMP8184481
[364]2854JUMPDEST8183611
[365]2855DUP58183531
[366]2856MLOAD8183231
[367]2857DUP28182931
[368]2858LT8182631
[369]2859ISZERO8182331
[370]2860PUSH28182031
[371]2863JUMPI81817101
[372]2864PUSH28180731
[373]2867DUP38180431
[374]2868DUP78180131
[375]2869DUP48179831
[376]2870DUP28179531
[377]2871MLOAD8179231
[378]2872DUP28178931
[379]2873LT8178631
[380]2874PUSH28178331
[381]2877JUMPI81780101
[382]2885JUMPDEST8177011
[383]2886PUSH18176931
[384]2888MUL8176651
[385]2889PUSH18176131
[386]2891ADD8175831
[387]2892ADD8175531
[388]2893MLOAD8175231
[389]2894PUSH28174931
[390]2897JUMP8174681
[391]2997JUMPDEST8173811
[392]2998PUSH08173721
[393]2999DUP28173531
[394]3000DUP48173231
[395]3001LT8172931
[396]3002PUSH28172631
[397]3005JUMPI81723101
[398]3006PUSH08171321
[399]3007DUP38171131
[400]3008DUP28170831
[401]3009MSTORE8170531
[402]3010PUSH18170231
[403]3012DUP58169931
[404]3013SWAP18169631
[405]3014MSTORE8169331
[406]3015PUSH18169031
[407]3017SWAP18168731
[408]3018KECCAK25681684421
[409]3019PUSH28164231
[410]3022JUMP8163981
[411]3037JUMPDEST8163111
[412]3038SWAP48163031
[413]3039SWAP38162731
[414]3040POP8162421
[415]3041POP8162221
[416]3042POP8162021
[417]3043JUMP8161881
[418]2898JUMPDEST8161011
[419]2899SWAP28160931
[420]2900POP8160621
[421]2901PUSH18160431
[422]2903ADD8160131
[423]2904PUSH28159831
[424]2907JUMP8159581
[425]2854JUMPDEST8158711
[426]2855DUP58158631
[427]2856MLOAD8158331
[428]2857DUP28158031
[429]2858LT8157731
[430]2859ISZERO8157431
[431]2860PUSH28157131
[432]2863JUMPI81568101
[433]2864PUSH28155831
[434]2867DUP38155531
[435]2868DUP78155231
[436]2869DUP48154931
[437]2870DUP28154631
[438]2871MLOAD8154331
[439]2872DUP28154031
[440]2873LT8153731
[441]2874PUSH28153431
[442]2877JUMPI81531101
[443]2885JUMPDEST8152111
[444]2886PUSH18152031
[445]2888MUL8151751
[446]2889PUSH18151231
[447]2891ADD8150931
[448]2892ADD8150631
[449]2893MLOAD8150331
[450]2894PUSH28150031
[451]2897JUMP8149781
[452]2997JUMPDEST8148911
[453]2998PUSH08148821
[454]2999DUP28148631
[455]3000DUP48148331
[456]3001LT8148031
[457]3002PUSH28147731
[458]3005JUMPI81474101
[459]3006PUSH08146421
[460]3007DUP38146231
[461]3008DUP28145931
[462]3009MSTORE8145631
[463]3010PUSH18145331
[464]3012DUP58145031
[465]3013SWAP18144731
[466]3014MSTORE8144431
[467]3015PUSH18144131
[468]3017SWAP18143831
[469]3018KECCAK25681435421
[470]3019PUSH28139331
[471]3022JUMP8139081
[472]3037JUMPDEST8138211
[473]3038SWAP48138131
[474]3039SWAP38137831
[475]3040POP8137521
[476]3041POP8137321
[477]3042POP8137121
[478]3043JUMP8136981
[479]2898JUMPDEST8136111
[480]2899SWAP28136031
[481]2900POP8135721
[482]2901PUSH18135531
[483]2903ADD8135231
[484]2904PUSH28134931
[485]2907JUMP8134681
[486]2854JUMPDEST8133811
[487]2855DUP58133731
[488]2856MLOAD8133431
[489]2857DUP28133131
[490]2858LT8132831
[491]2859ISZERO8132531
[492]2860PUSH28132231
[493]2863JUMPI81319101
[494]2864PUSH28130931
[495]2867DUP38130631
[496]2868DUP78130331
[497]2869DUP48130031
[498]2870DUP28129731
[499]2871MLOAD8129431
[500]2872DUP28129131
[501]2873LT8128831
[502]2874PUSH28128531
[503]2877JUMPI81282101
[504]2885JUMPDEST8127211
[505]2886PUSH18127131
[506]2888MUL8126851
[507]2889PUSH18126331
[508]2891ADD8126031
[509]2892ADD8125731
[510]2893MLOAD8125431
[511]2894PUSH28125131
[512]2897JUMP8124881
[513]2997JUMPDEST8124011
[514]2998PUSH08123921
[515]2999DUP28123731
[516]3000DUP48123431
[517]3001LT8123131
[518]3002PUSH28122831
[519]3005JUMPI81225101
[520]3006PUSH08121521
[521]3007DUP38121331
[522]3008DUP28121031
[523]3009MSTORE8120731
[524]3010PUSH18120431
[525]3012DUP58120131
[526]3013SWAP18119831
[527]3014MSTORE8119531
[528]3015PUSH18119231
[529]3017SWAP18118931
[530]3018KECCAK25681186421
[531]3019PUSH28114431
[532]3022JUMP8114181
[533]3037JUMPDEST8113311
[534]3038SWAP48113231
[535]3039SWAP38112931
[536]3040POP8112621
[537]3041POP8112421
[538]3042POP8112221
[539]3043JUMP8112081
[540]2898JUMPDEST8111211
[541]2899SWAP28111131
[542]2900POP8110821
[543]2901PUSH18110631
[544]2903ADD8110331
[545]2904PUSH28110031
[546]2907JUMP8109781
[547]2854JUMPDEST8108911
[548]2855DUP58108831
[549]2856MLOAD8108531
[550]2857DUP28108231
[551]2858LT8107931
[552]2859ISZERO8107631
[553]2860PUSH28107331
[554]2863JUMPI81070101
[555]2864PUSH28106031
[556]2867DUP38105731
[557]2868DUP78105431
[558]2869DUP48105131
[559]2870DUP28104831
[560]2871MLOAD8104531
[561]2872DUP28104231
[562]2873LT8103931
[563]2874PUSH28103631
[564]2877JUMPI81033101
[565]2885JUMPDEST8102311
[566]2886PUSH18102231
[567]2888MUL8101951
[568]2889PUSH18101431
[569]2891ADD8101131
[570]2892ADD8100831
[571]2893MLOAD8100531
[572]2894PUSH28100231
[573]2897JUMP8099981
[574]2997JUMPDEST8099111
[575]2998PUSH08099021
[576]2999DUP28098831
[577]3000DUP48098531
[578]3001LT8098231
[579]3002PUSH28097931
[580]3005JUMPI80976101
[581]3006PUSH08096621
[582]3007DUP38096431
[583]3008DUP28096131
[584]3009MSTORE8095831
[585]3010PUSH18095531
[586]3012DUP58095231
[587]3013SWAP18094931
[588]3014MSTORE8094631
[589]3015PUSH18094331
[590]3017SWAP18094031
[591]3018KECCAK25680937421
[592]3019PUSH28089531
[593]3022JUMP8089281
[594]3037JUMPDEST8088411
[595]3038SWAP48088331
[596]3039SWAP38088031
[597]3040POP8087721
[598]3041POP8087521
[599]3042POP8087321
[600]3043JUMP8087181
[601]2898JUMPDEST8086311
[602]2899SWAP28086231
[603]2900POP8085921
[604]2901PUSH18085731
[605]2903ADD8085431
[606]2904PUSH28085131
[607]2907JUMP8084881
[608]2854JUMPDEST8084011
[609]2855DUP58083931
[610]2856MLOAD8083631
[611]2857DUP28083331
[612]2858LT8083031
[613]2859ISZERO8082731
[614]2860PUSH28082431
[615]2863JUMPI80821101
[616]2864PUSH28081131
[617]2867DUP38080831
[618]2868DUP78080531
[619]2869DUP48080231
[620]2870DUP28079931
[621]2871MLOAD8079631
[622]2872DUP28079331
[623]2873LT8079031
[624]2874PUSH28078731
[625]2877JUMPI80784101
[626]2885JUMPDEST8077411
[627]2886PUSH18077331
[628]2888MUL8077051
[629]2889PUSH18076531
[630]2891ADD8076231
[631]2892ADD8075931
[632]2893MLOAD8075631
[633]2894PUSH28075331
[634]2897JUMP8075081
[635]2997JUMPDEST8074211
[636]2998PUSH08074121
[637]2999DUP28073931
[638]3000DUP48073631
[639]3001LT8073331
[640]3002PUSH28073031
[641]3005JUMPI80727101
[642]3006PUSH08071721
[643]3007DUP38071531
[644]3008DUP28071231
[645]3009MSTORE8070931
[646]3010PUSH18070631
[647]3012DUP58070331
[648]3013SWAP18070031
[649]3014MSTORE8069731
[650]3015PUSH18069431
[651]3017SWAP18069131
[652]3018KECCAK25680688421
[653]3019PUSH28064631
[654]3022JUMP8064381
[655]3037JUMPDEST8063511
[656]3038SWAP48063431
[657]3039SWAP38063131
[658]3040POP8062821
[659]3041POP8062621
[660]3042POP8062421
[661]3043JUMP8062281
[662]2898JUMPDEST8061411
[663]2899SWAP28061331
[664]2900POP8061021
[665]2901PUSH18060831
[666]2903ADD8060531
[667]2904PUSH28060231
[668]2907JUMP8059981
[669]2854JUMPDEST8059111
[670]2855DUP58059031
[671]2856MLOAD8058731
[672]2857DUP28058431
[673]2858LT8058131
[674]2859ISZERO8057831
[675]2860PUSH28057531
[676]2863JUMPI80572101
[677]2864PUSH28056231
[678]2867DUP38055931
[679]2868DUP78055631
[680]2869DUP48055331
[681]2870DUP28055031
[682]2871MLOAD8054731
[683]2872DUP28054431
[684]2873LT8054131
[685]2874PUSH28053831
[686]2877JUMPI80535101
[687]2885JUMPDEST8052511
[688]2886PUSH18052431
[689]2888MUL8052151
[690]2889PUSH18051631
[691]2891ADD8051331
[692]2892ADD8051031
[693]2893MLOAD8050731
[694]2894PUSH28050431
[695]2897JUMP8050181
[696]2997JUMPDEST8049311
[697]2998PUSH08049221
[698]2999DUP28049031
[699]3000DUP48048731
[700]3001LT8048431
[701]3002PUSH28048131
[702]3005JUMPI80478101
[703]3006PUSH08046821
[704]3007DUP38046631
[705]3008DUP28046331
[706]3009MSTORE8046031
[707]3010PUSH18045731
[708]3012DUP58045431
[709]3013SWAP18045131
[710]3014MSTORE8044831
[711]3015PUSH18044531
[712]3017SWAP18044231
[713]3018KECCAK25680439421
[714]3019PUSH28039731
[715]3022JUMP8039481
[716]3037JUMPDEST8038611
[717]3038SWAP48038531
[718]3039SWAP38038231
[719]3040POP8037921
[720]3041POP8037721
[721]3042POP8037521
[722]3043JUMP8037381
[723]2898JUMPDEST8036511
[724]2899SWAP28036431
[725]2900POP8036121
[726]2901PUSH18035931
[727]2903ADD8035631
[728]2904PUSH28035331
[729]2907JUMP8035081
[730]2854JUMPDEST8034211
[731]2855DUP58034131
[732]2856MLOAD8033831
[733]2857DUP28033531
[734]2858LT8033231
[735]2859ISZERO8032931
[736]2860PUSH28032631
[737]2863JUMPI80323101
[738]2864PUSH28031331
[739]2867DUP38031031
[740]2868DUP78030731
[741]2869DUP48030431
[742]2870DUP28030131
[743]2871MLOAD8029831
[744]2872DUP28029531
[745]2873LT8029231
[746]2874PUSH28028931
[747]2877JUMPI80286101
[748]2885JUMPDEST8027611
[749]2886PUSH18027531
[750]2888MUL8027251
[751]2889PUSH18026731
[752]2891ADD8026431
[753]2892ADD8026131
[754]2893MLOAD8025831
[755]2894PUSH28025531
[756]2897JUMP8025281
[757]2997JUMPDEST8024411
[758]2998PUSH08024321
[759]2999DUP28024131
[760]3000DUP48023831
[761]3001LT8023531
[762]3002PUSH28023231
[763]3005JUMPI80229101
[764]3006PUSH08021921
[765]3007DUP38021731
[766]3008DUP28021431
[767]3009MSTORE8021131
[768]3010PUSH18020831
[769]3012DUP58020531
[770]3013SWAP18020231
[771]3014MSTORE8019931
[772]3015PUSH18019631
[773]3017SWAP18019331
[774]3018KECCAK25680190421
[775]3019PUSH28014831
[776]3022JUMP8014581
[777]3037JUMPDEST8013711
[778]3038SWAP48013631
[779]3039SWAP38013331
[780]3040POP8013021
[781]3041POP8012821
[782]3042POP8012621
[783]3043JUMP8012481
[784]2898JUMPDEST8011611
[785]2899SWAP28011531
[786]2900POP8011221
[787]2901PUSH18011031
[788]2903ADD8010731
[789]2904PUSH28010431
[790]2907JUMP8010181
[791]2854JUMPDEST8009311
[792]2855DUP58009231
[793]2856MLOAD8008931
[794]2857DUP28008631
[795]2858LT8008331
[796]2859ISZERO8008031
[797]2860PUSH28007731
[798]2863JUMPI80074101
[799]2864PUSH28006431
[800]2867DUP38006131
[801]2868DUP78005831
[802]2869DUP48005531
[803]2870DUP28005231
[804]2871MLOAD8004931
[805]2872DUP28004631
[806]2873LT8004331
[807]2874PUSH28004031
[808]2877JUMPI80037101
[809]2885JUMPDEST8002711
[810]2886PUSH18002631
[811]2888MUL8002351
[812]2889PUSH18001831
[813]2891ADD8001531
[814]2892ADD8001231
[815]2893MLOAD8000931
[816]2894PUSH28000631
[817]2897JUMP8000381
[818]2997JUMPDEST7999511
[819]2998PUSH07999421
[820]2999DUP27999231
[821]3000DUP47998931
[822]3001LT7998631
[823]3002PUSH27998331
[824]3005JUMPI79980101
[825]3006PUSH07997021
[826]3007DUP37996831
[827]3008DUP27996531
[828]3009MSTORE7996231
[829]3010PUSH17995931
[830]3012DUP57995631
[831]3013SWAP17995331
[832]3014MSTORE7995031
[833]3015PUSH17994731
[834]3017SWAP17994431
[835]3018KECCAK25679941421
[836]3019PUSH27989931
[837]3022JUMP7989681
[838]3037JUMPDEST7988811
[839]3038SWAP47988731
[840]3039SWAP37988431
[841]3040POP7988121
[842]3041POP7987921
[843]3042POP7987721
[844]3043JUMP7987581
[845]2898JUMPDEST7986711
[846]2899SWAP27986631
[847]2900POP7986321
[848]2901PUSH17986131
[849]2903ADD7985831
[850]2904PUSH27985531
[851]2907JUMP7985281
[852]2854JUMPDEST7984411
[853]2855DUP57984331
[854]2856MLOAD7984031
[855]2857DUP27983731
[856]2858LT7983431
[857]2859ISZERO7983131
[858]2860PUSH27982831
[859]2863JUMPI79825101
[860]2864PUSH27981531
[861]2867DUP37981231
[862]2868DUP77980931
[863]2869DUP47980631
[864]2870DUP27980331
[865]2871MLOAD7980031
[866]2872DUP27979731
[867]2873LT7979431
[868]2874PUSH27979131
[869]2877JUMPI79788101
[870]2885JUMPDEST7977811
[871]2886PUSH17977731
[872]2888MUL7977451
[873]2889PUSH17976931
[874]2891ADD7976631
[875]2892ADD7976331
[876]2893MLOAD7976031
[877]2894PUSH27975731
[878]2897JUMP7975481
[879]2997JUMPDEST7974611
[880]2998PUSH07974521
[881]2999DUP27974331
[882]3000DUP47974031
[883]3001LT7973731
[884]3002PUSH27973431
[885]3005JUMPI79731101
[886]3006PUSH07972121
[887]3007DUP37971931
[888]3008DUP27971631
[889]3009MSTORE7971331
[890]3010PUSH17971031
[891]3012DUP57970731
[892]3013SWAP17970431
[893]3014MSTORE7970131
[894]3015PUSH17969831
[895]3017SWAP17969531
[896]3018KECCAK25679692421
[897]3019PUSH27965031
[898]3022JUMP7964781
[899]3037JUMPDEST7963911
[900]3038SWAP47963831
[901]3039SWAP37963531
[902]3040POP7963221
[903]3041POP7963021
[904]3042POP7962821
[905]3043JUMP7962681
[906]2898JUMPDEST7961811
[907]2899SWAP27961731
[908]2900POP7961421
[909]2901PUSH17961231
[910]2903ADD7960931
[911]2904PUSH27960631
[912]2907JUMP7960381
[913]2854JUMPDEST7959511
[914]2855DUP57959431
[915]2856MLOAD7959131
[916]2857DUP27958831
[917]2858LT7958531
[918]2859ISZERO7958231
[919]2860PUSH27957931
[920]2863JUMPI79576101
[921]2864PUSH27956631
[922]2867DUP37956331
[923]2868DUP77956031
[924]2869DUP47955731
[925]2870DUP27955431
[926]2871MLOAD7955131
[927]2872DUP27954831
[928]2873LT7954531
[929]2874PUSH27954231
[930]2877JUMPI79539101
[931]2885JUMPDEST7952911
[932]2886PUSH17952831
[933]2888MUL7952551
[934]2889PUSH17952031
[935]2891ADD7951731
[936]2892ADD7951431
[937]2893MLOAD7951131
[938]2894PUSH27950831
[939]2897JUMP7950581
[940]2997JUMPDEST7949711
[941]2998PUSH07949621
[942]2999DUP27949431
[943]3000DUP47949131
[944]3001LT7948831
[945]3002PUSH27948531
[946]3005JUMPI79482101
[947]3006PUSH07947221
[948]3007DUP37947031
[949]3008DUP27946731
[950]3009MSTORE7946431
[951]3010PUSH17946131
[952]3012DUP57945831
[953]3013SWAP17945531
[954]3014MSTORE7945231
[955]3015PUSH17944931
[956]3017SWAP17944631
[957]3018KECCAK25679443421
[958]3019PUSH27940131
[959]3022JUMP7939881
[960]3037JUMPDEST7939011
[961]3038SWAP47938931
[962]3039SWAP37938631
[963]3040POP7938321
[964]3041POP7938121
[965]3042POP7937921
[966]3043JUMP7937781
[967]2898JUMPDEST7936911
[968]2899SWAP27936831
[969]2900POP7936521
[970]2901PUSH17936331
[971]2903ADD7936031
[972]2904PUSH27935731
[973]2907JUMP7935481
[974]2854JUMPDEST7934611
[975]2855DUP57934531
[976]2856MLOAD7934231
[977]2857DUP27933931
[978]2858LT7933631
[979]2859ISZERO7933331
[980]2860PUSH27933031
[981]2863JUMPI79327101
[982]2864PUSH27931731
[983]2867DUP37931431
[984]2868DUP77931131
[985]2869DUP47930831
[986]2870DUP27930531
[987]2871MLOAD7930231
[988]2872DUP27929931
[989]2873LT7929631
[990]2874PUSH27929331
[991]2877JUMPI79290101
[992]2885JUMPDEST7928011
[993]2886PUSH17927931
[994]2888MUL7927651
[995]2889PUSH17927131
[996]2891ADD7926831
[997]2892ADD7926531
[998]2893MLOAD7926231
[999]2894PUSH27925931
[1000]2897JUMP7925681