ETH Price: $1,920.26 (-1.54%)

Geth VM Trace Transaction

GETH Trace for Txn Hash 0x0f12f5a2c9478e052d487c0eebe5579461b2c9dffce7b0e0ffc034d68f251aee

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

Step PC Operation Gas GasCost Depth
[1]0PUSH13274031
[2]2PUSH13273731
[3]4MSTORE32734121
[4]5PUSH13272231
[5]7CALLDATASIZE3271921
[6]8LT3271731
[7]9PUSH23271431
[8]12JUMPI32711101
[9]13PUSH13270131
[10]15CALLDATALOAD3269831
[11]16PUSH13269531
[12]18SHR3269231
[13]19DUP13268931
[14]20PUSH43268631
[15]25GT3268331
[16]26PUSH23268031
[17]29JUMPI32677101
[18]203JUMPDEST3266711
[19]204DUP13266631
[20]205PUSH43266331
[21]210GT3266031
[22]211PUSH23265731
[23]214JUMPI32654101
[24]290JUMPDEST3264411
[25]291DUP13264331
[26]292PUSH43264031
[27]297GT3263731
[28]298PUSH23263431
[29]301JUMPI32631101
[30]339JUMPDEST3262111
[31]340DUP13262031
[32]341PUSH43261731
[33]346EQ3261431
[34]347PUSH23261131
[35]350JUMPI32608101
[36]351DUP13259831
[37]352PUSH43259531
[38]357EQ3259231
[39]358PUSH23258931
[40]361JUMPI32586101
[41]420JUMPDEST3257611
[42]421PUSH23257531
[43]424PUSH23257231
[44]427CALLDATASIZE3256921
[45]428PUSH13256731
[46]430PUSH23256431
[47]433JUMP3256181
[48]6902JUMPDEST3255311
[49]6903PUSH13255231
[50]6905DUP13254931
[51]6906PUSH13254631
[52]6908DUP13254331
[53]6909PUSH13254031
[54]6911DUP63253731
[55]6912DUP83253431
[56]6913SUB3253131
[57]6914SLT3252831
[58]6915ISZERO3252531
[59]6916PUSH23252231
[60]6919JUMPI32519101
[61]6924JUMPDEST3250911
[62]6925DUP53250831
[63]6926CALLDATALOAD3250531
[64]6927PUSH83250231
[65]6936DUP23249931
[66]6937GT3249631
[67]6938ISZERO3249331
[68]6939PUSH23249031
[69]6942JUMPI32487101
[70]6947JUMPDEST3247711
[71]6948PUSH23247631
[72]6951DUP83247331
[73]6952DUP33247031
[74]6953DUP93246731
[75]6954ADD3246431
[76]6955PUSH23246131
[77]6958JUMP3245881
[78]6829JUMPDEST3245011
[79]6830PUSH13244931
[80]6832DUP13244631
[81]6833DUP43244331
[82]6834PUSH13244031
[83]6836DUP53243731
[84]6837ADD3243431
[85]6838SLT3243131
[86]6839PUSH23242831
[87]6842JUMPI32425101
[88]6847JUMPDEST3241511
[89]6848POP3241421
[90]6849DUP23241231
[91]6850CALLDATALOAD3240931
[92]6851PUSH83240631
[93]6860DUP23240331
[94]6861GT3240031
[95]6862ISZERO3239731
[96]6863PUSH23239431
[97]6866JUMPI32391101
[98]6871JUMPDEST3238111
[99]6872PUSH13238031
[100]6874DUP43237731
[101]6875ADD3237431
[102]6876SWAP23237131
[103]6877POP3236821
[104]6878DUP43236631
[105]6879PUSH13236331
[106]6881DUP33236031
[107]6882DUP63235731
[108]6883ADD3235431
[109]6884ADD3235131
[110]6885GT3234831
[111]6886ISZERO3234531
[112]6887PUSH23234231
[113]6890JUMPI32339101
[114]6895JUMPDEST3232911
[115]6896SWAP33232831
[116]6897POP3232521
[117]6898SWAP33232331
[118]6899SWAP13232031
[119]6900POP3231721
[120]6901JUMP3231581
[121]6959JUMPDEST3230711
[122]6960SWAP13230631
[123]6961SWAP93230331
[124]6962SWAP13230031
[125]6963SWAP83229731
[126]6964POP3229421
[127]6965PUSH13229231
[128]6967DUP83228931
[129]6968ADD3228631
[130]6969CALLDATALOAD3228331
[131]6970SWAP73228031
[132]6971PUSH13227731
[133]6973ADD3227431
[134]6974CALLDATALOAD3227131
[135]6975SWAP63226831
[136]6976POP3226521
[137]6977SWAP43226331
[138]6978POP3226021
[139]6979POP3225821
[140]6980POP3225621
[141]6981POP3225421
[142]6982JUMP3225281
[143]434JUMPDEST3224411
[144]435PUSH23224331
[145]438JUMP3224081
[146]1380JUMPDEST3223211
[147]1381PUSH13223131
[148]1383DUP53222831
[149]1384DUP53222531
[150]1385PUSH13222231
[151]1387MLOAD3221931
[152]1388PUSH23221631
[153]1391SWAP33221331
[154]1392SWAP23221031
[155]1393SWAP13220731
[156]1394PUSH23220431
[157]1397JUMP3220181
[158]7339JUMPDEST3219311
[159]7340DUP23219231
[160]7341DUP43218931
[161]7342DUP33218631
[162]7343CALLDATACOPY32183121
[163]7344PUSH13217131
[164]7346SWAP23216831
[165]7347ADD3216531
[166]7348SWAP13216231
[167]7349DUP23215931
[168]7350MSTORE3215661
[169]7351SWAP23215031
[170]7352SWAP13214731
[171]7353POP3214421
[172]7354JUMP3214281
[173]1398JUMPDEST3213411
[174]1399PUSH13213331
[175]1401MLOAD3213031
[176]1402DUP13212731
[177]1403SWAP23212431
[178]1404SUB3212131
[179]1405SWAP13211831
[180]1406KECCAK25632115361
[181]1407SWAP13207931
[182]1408POP3207621
[183]1409PUSH13207431
[184]1411PUSH23207131
[185]1414DUP73206831
[186]1415DUP73206531
[187]1416DUP53206231
[188]1417DUP83205931
[189]1418PUSH23205631
[190]1421JUMP3205381
[191]5460JUMPDEST3204511
[192]5461PUSH13204431
[193]5463DUP13204131
[194]5464MLOAD3203831
[195]5465DUP13203531
[196]5466DUP33203231
[197]5467ADD3202931
[198]5468SWAP13202631
[199]5469SWAP23202331
[200]5470MSTORE3202031
[201]5471PUSH13201731
[202]5473DUP13201431
[203]5474DUP33201131
[204]5475MSTORE3200831
[205]5476PUSH13200531
[206]5478DUP33200231
[207]5479ADD3199931
[208]5480MSTORE3199631
[209]5481PUSH13199331
[210]5483MLOAD3199031
[211]5484PUSH323198731
[212]5517DUP23198431
[213]5518MSTORE3198161
[214]5519PUSH13197531
[215]5521DUP23197231
[216]5522ADD3196931
[217]5523DUP53196631
[218]5524SWAP13196331
[219]5525MSTORE3196061
[220]5526PUSH203195431
[221]5547PUSH323195131
[222]5580DUP23194831
[223]5581AND3194531
[224]5582SWAP23194231
[225]5583PUSH43193931
[226]5588SWAP23193631
[227]5589DUP93193331
[228]5590SWAP23193031
[229]5591DUP93192731
[230]5592SWAP23192431
[231]5593PUSH323192131
[232]5626AND3191831
[233]5627SWAP13191531
[234]5628PUSH43191231
[235]5633SWAP13190931
[236]5634PUSH13190631
[237]5636ADD3190331
[238]5637PUSH13190031
[239]5639PUSH13189731
[240]5641MLOAD3189431
[241]5642DUP13189131
[242]5643DUP43188831
[243]5644SUB3188531
[244]5645DUP23188231
[245]5646DUP73187931
[246]5647GAS3187621
[247]5648STATICCALL31874313781
[248]0PUSH13127832
[249]2PUSH13127532
[250]4MSTORE31272122
[251]5CALLVALUE3126022
[252]6DUP13125832
[253]7ISZERO3125532
[254]8PUSH23125232
[255]11JUMPI31249102
[256]16JUMPDEST3123912
[257]17POP3123822
[258]18PUSH13123632
[259]20CALLDATASIZE3123322
[260]21LT3123132
[261]22PUSH23122832
[262]25JUMPI31225102
[263]26PUSH13121532
[264]28CALLDATALOAD3121232
[265]29PUSH13120932
[266]31SHR3120632
[267]32DUP13120332
[268]33PUSH43120032
[269]38GT3119732
[270]39PUSH23119432
[271]42JUMPI31191102
[272]43DUP13118132
[273]44PUSH43117832
[274]49GT3117532
[275]50PUSH23117232
[276]53JUMPI31169102
[277]54DUP13115932
[278]55PUSH43115632
[279]60GT3115332
[280]61PUSH23115032
[281]64JUMPI31147102
[282]113JUMPDEST3113712
[283]114DUP13113632
[284]115PUSH43113332
[285]120EQ3113032
[286]121PUSH23112732
[287]124JUMPI31124102
[288]2168JUMPDEST3111412
[289]2169PUSH23111332
[290]2172PUSH13111032
[291]2174DUP13110732
[292]2175CALLDATASIZE3110422
[293]2176SUB3110232
[294]2177PUSH13109932
[295]2179DUP23109632
[296]2180LT3109332
[297]2181ISZERO3109032
[298]2182PUSH23108732
[299]2185JUMPI31084102
[300]2190JUMPDEST3107412
[301]2191DUP23107332
[302]2192ADD3107032
[303]2193SWAP13106732
[304]2194DUP13106432
[305]2195DUP13106132
[306]2196CALLDATALOAD3105832
[307]2197SWAP13105532
[308]2198PUSH13105232
[309]2200ADD3104932
[310]2201SWAP13104632
[311]2202SWAP33104332
[312]2203SWAP23104032
[313]2204SWAP13103732
[314]2205POP3103422
[315]2206POP3103222
[316]2207POP3103022
[317]2208PUSH23102832
[318]2211JUMP3102582
[319]6289JUMPDEST3101712
[320]6290PUSH13101632
[321]6292PUSH13101332
[322]6294PUSH13101032
[323]6296DUP43100732
[324]6297DUP23100432
[325]6298MSTORE3100132
[326]6299PUSH13099832
[327]6301ADD3099532
[328]6302SWAP13099232
[329]6303DUP23098932
[330]6304MSTORE3098632
[331]6305PUSH13098332
[332]6307ADD3098032
[333]6308PUSH13097732
[334]6310KECCAK25630974422
[335]6311SLOAD309321002
[336]6312SWAP13083232
[337]6313POP3082922
[338]6314SWAP23082732
[339]6315SWAP13082432
[340]6316POP3082122
[341]6317JUMP3081982
[342]2212JUMPDEST3081112
[343]2213PUSH13081032
[344]2215MLOAD3080732
[345]2216DUP13080432
[346]2217DUP33080132
[347]2218DUP23079832
[348]2219MSTORE3079592
[349]2220PUSH13078632
[350]2222ADD3078332
[351]2223SWAP23078032
[352]2224POP3077722
[353]2225POP3077522
[354]2226PUSH13077332
[355]2228MLOAD3077032
[356]2229DUP13076732
[357]2230SWAP23076432
[358]2231SUB3076132
[359]2232SWAP13075832
[360]2233RETURN3075502
[361]5649ISZERO3125131
[362]5650DUP13124831
[363]5651ISZERO3124531
[364]5652PUSH23124231
[365]5655JUMPI31239101
[366]5665JUMPDEST3122911
[367]5666POP3122821
[368]5667POP3122621
[369]5668POP3122421
[370]5669POP3122221
[371]5670PUSH13122031
[372]5672MLOAD3121731
[373]5673RETURNDATASIZE3121421
[374]5674PUSH13121231
[375]5676NOT3120931
[376]5677PUSH13120631
[377]5679DUP33120331
[378]5680ADD3120031
[379]5681AND3119731
[380]5682DUP33119431
[381]5683ADD3119131
[382]5684DUP13118831
[383]5685PUSH13118531
[384]5687MSTORE3118231
[385]5688POP3117921
[386]5689DUP23117731
[387]5690ADD3117431
[388]5691SWAP13117131
[389]5692PUSH23116831
[390]5695SWAP23116531
[391]5696SWAP13116231
[392]5697PUSH23115931
[393]5700JUMP3115681
[394]7355JUMPDEST3114811
[395]7356PUSH13114731
[396]7358PUSH13114431
[397]7360DUP33114131
[398]7361DUP53113831
[399]7362SUB3113531
[400]7363SLT3113231
[401]7364ISZERO3112931
[402]7365PUSH23112631
[403]7368JUMPI31123101
[404]7373JUMPDEST3111311
[405]7374POP3111221
[406]7375MLOAD3111031
[407]7376SWAP23110731
[408]7377SWAP13110431
[409]7378POP3110121
[410]7379JUMP3109981
[411]5701JUMPDEST3109111
[412]5702DUP73109031
[413]5703PUSH13108731
[414]5705MLOAD3108431
[415]5706DUP63108131
[416]5707PUSH43107831
[417]5712AND3107531
[418]5713PUSH13107231
[419]5715SHL3106931
[420]5716DUP23106631
[421]5717MSTORE3106331
[422]5718PUSH13106031
[423]5720ADD3105731
[424]5721PUSH23105431
[425]5724SWAP53105131
[426]5725SWAP43104831
[427]5726SWAP33104531
[428]5727SWAP23104231
[429]5728SWAP13103931
[430]5729PUSH23103631
[431]5732JUMP3103381
[432]9462JUMPDEST3102511
[433]9463PUSH13102431
[434]9465DUP23102131
[435]9466MSTORE3101861
[436]9467PUSH13101231
[437]9469PUSH23100931
[438]9472PUSH13100631
[439]9474DUP43100331
[440]9475ADD3100031
[441]9476DUP73099731
[442]9477DUP93099431
[443]9478PUSH23099131
[444]9481JUMP3098881
[445]7380JUMPDEST3098011
[446]7381DUP23097931
[447]7382DUP43097631
[448]7383MSTORE30973121
[449]7384DUP23096131
[450]7385DUP23095831
[451]7386PUSH13095531
[452]7388DUP63095231
[453]7389ADD3094931
[454]7390CALLDATACOPY3094661
[455]7391POP3094021
[456]7392PUSH13093831
[457]7394PUSH13093531
[458]7396DUP33093231
[459]7397DUP53092931
[460]7398ADD3092631
[461]7399ADD3092331
[462]7400MSTORE3092061
[463]7401PUSH13091431
[464]7403PUSH13091131
[465]7405PUSH323090831
[466]7438PUSH13090531
[467]7440DUP53090231
[468]7441ADD3089931
[469]7442AND3089631
[470]7443DUP53089331
[471]7444ADD3089031
[472]7445ADD3088731
[473]7446SWAP13088431
[474]7447POP3088121
[475]7448SWAP33087931
[476]7449SWAP23087631
[477]7450POP3087321
[478]7451POP3087121
[479]7452JUMP3086981
[480]9482JUMPDEST3086111
[481]9483PUSH13086031
[482]9485DUP43085731
[483]9486ADD3085431
[484]9487SWAP53085131
[485]9488SWAP13084831
[486]9489SWAP53084531
[487]9490MSTORE3084231
[488]9491POP3083921
[489]9492PUSH13083731
[490]9494ADD3083431
[491]9495MSTORE3083131
[492]9496SWAP33082831
[493]9497SWAP23082531
[494]9498POP3082221
[495]9499POP3082021
[496]9500JUMP3081881
[497]5733JUMPDEST3081011
[498]5734PUSH13080931
[499]5736DUP13080631
[500]5737MLOAD3080331
[501]5738DUP13080031
[502]5739DUP43079731
[503]5740SUB3079431
[504]5741DUP23079131
[505]5742DUP73078831
[506]5743GAS3078521
[507]5744STATICCALL30783303041
[508]0PUSH13020432
[509]2PUSH13020132
[510]4MSTORE30198122
[511]5CALLVALUE3018622
[512]6DUP13018432
[513]7ISZERO3018132
[514]8PUSH23017832
[515]11JUMPI30175102
[516]16JUMPDEST3016512
[517]17POP3016422
[518]18PUSH13016232
[519]20CALLDATASIZE3015922
[520]21LT3015732
[521]22PUSH23015432
[522]25JUMPI30151102
[523]26PUSH13014132
[524]28CALLDATALOAD3013832
[525]29PUSH13013532
[526]31SHR3013232
[527]32DUP13012932
[528]33PUSH43012632
[529]38GT3012332
[530]39PUSH23012032
[531]42JUMPI30117102
[532]118JUMPDEST3010712
[533]119DUP13010632
[534]120PUSH43010332
[535]125GT3010032
[536]126PUSH23009732
[537]129JUMPI30094102
[538]130DUP13008432
[539]131PUSH43008132
[540]136EQ3007832
[541]137PUSH23007532
[542]140JUMPI30072102
[543]288JUMPDEST3006212
[544]289PUSH23006132
[545]292PUSH23005832
[546]295CALLDATASIZE3005522
[547]296PUSH13005332
[548]298PUSH23005032
[549]301JUMP3004782
[550]3103JUMPDEST3003912
[551]3104PUSH13003832
[552]3106DUP13003532
[553]3107PUSH13003232
[554]3109DUP13002932
[555]3110PUSH13002632
[556]3112DUP63002332
[557]3113DUP83002032
[558]3114SUB3001732
[559]3115SLT3001432
[560]3116ISZERO3001132
[561]3117PUSH23000832
[562]3120JUMPI30005102
[563]3125JUMPDEST2999512
[564]3126DUP52999432
[565]3127CALLDATALOAD2999132
[566]3128PUSH82998832
[567]3137DUP12998532
[568]3138DUP32998232
[569]3139GT2997932
[570]3140ISZERO2997632
[571]3141PUSH22997332
[572]3144JUMPI29970102
[573]3149JUMPDEST2996012
[574]3150DUP22995932
[575]3151DUP82995632
[576]3152ADD2995332
[577]3153SWAP22995032
[578]3154POP2994722
[579]3155DUP82994532
[580]3156PUSH12994232
[581]3158DUP42993932
[582]3159ADD2993632
[583]3160SLT2993332
[584]3161PUSH22993032
[585]3164JUMPI29927102
[586]3169JUMPDEST2991712
[587]3170DUP22991632
[588]3171CALLDATALOAD2991332
[589]3172DUP22991032
[590]3173DUP22990732
[591]3174GT2990432
[592]3175ISZERO2990132
[593]3176PUSH22989832
[594]3179JUMPI29895102
[595]3184JUMPDEST2988512
[596]3185DUP92988432
[597]3186PUSH12988132
[598]3188DUP32987832
[599]3189DUP62987532
[600]3190ADD2987232
[601]3191ADD2986932
[602]3192GT2986632
[603]3193ISZERO2986332
[604]3194PUSH22986032
[605]3197JUMPI29857102
[606]3202JUMPDEST2984712
[607]3203PUSH12984632
[608]3205SWAP32984332
[609]3206DUP42984032
[610]3207ADD2983732
[611]3208SWAP102983432
[612]3209SWAP12983132
[613]3210SWAP92982832
[614]3211POP2982522
[615]3212SWAP22982332
[616]3213DUP82982032
[617]3214ADD2981732
[618]3215CALLDATALOAD2981432
[619]3216SWAP72981132
[620]3217PUSH12980832
[621]3219ADD2980532
[622]3220CALLDATALOAD2980232
[623]3221SWAP62979932
[624]3222POP2979622
[625]3223SWAP12979432
[626]3224SWAP42979132
[627]3225POP2978822
[628]3226POP2978622
[629]3227POP2978422
[630]3228POP2978222
[631]3229JUMP2978082
[632]302JUMPDEST2977212
[633]303PUSH22977132
[634]306JUMP2976882
[635]621JUMPDEST2976012
[636]622PUSH12975932
[637]624DUP12975632
[638]625MLOAD2975332
[639]626DUP12975032
[640]627DUP32974732
[641]628ADD2974432
[642]629SWAP12974132
[643]630SWAP22973832
[644]631MSTORE2973532
[645]632PUSH12973232
[646]634DUP12972932
[647]635DUP32972632
[648]636MSTORE2972392
[649]637PUSH12971432
[650]639DUP32971132
[651]640ADD2970832
[652]641MSTORE2970562
[653]642PUSH12969932
[654]644PUSH22969632
[655]647DUP72969332
[656]648DUP72969032
[657]649DUP12968732
[658]650DUP12968432
[659]651PUSH12968132
[660]653ADD2967832
[661]654PUSH12967532
[662]656DUP12967232
[663]657SWAP22966932
[664]658DIV2966652
[665]659MUL2966152
[666]660PUSH12965632
[667]662ADD2965332
[668]663PUSH12965032
[669]665MLOAD2964732
[670]666SWAP12964432
[671]667DUP22964132
[672]668ADD2963832
[673]669PUSH12963532
[674]671MSTORE2963232
[675]672DUP12962932
[676]673SWAP42962632
[677]674SWAP32962332
[678]675SWAP22962032
[679]676SWAP12961732
[680]677DUP22961432
[681]678DUP22961132
[682]679MSTORE2960862
[683]680PUSH12960232
[684]682ADD2959932
[685]683DUP42959632
[686]684DUP42959332
[687]685DUP12959032
[688]686DUP32958732
[689]687DUP52958432
[690]688CALLDATACOPY2958192
[691]689PUSH12957232
[692]691SWAP32956932
[693]692ADD2956632
[694]693SWAP22956332
[695]694SWAP12956032
[696]695SWAP22955732
[697]696MSTORE2955462
[698]697POP2954822
[699]698PUSH22954632
[700]701SWAP32954332
[701]702POP2954022
[702]703POP2953822
[703]704POP2953622
[704]705JUMP2953482
[705]1463JUMPDEST2952612
[706]1464DUP12952532
[707]1465MLOAD2952232
[708]1466PUSH12951932
[709]1468SWAP12951632
[710]1469DUP22951332
[711]1470SWAP12951032
[712]1471DUP22950732
[713]1472SWAP12950432
[714]1473JUMPDEST2950112
[715]1474DUP12950032
[716]1475DUP32949732
[717]1476LT2949432
[718]1477ISZERO2949132
[719]1478PUSH22948832
[720]1481JUMPI29485102
[721]1482PUSH12947532
[722]1484DUP62947232
[723]1485DUP42946932
[724]1486DUP22946632
[725]1487MLOAD2946332
[726]1488DUP22946032
[727]1489LT2945732
[728]1490PUSH22945432
[729]1493JUMPI29451102
[730]1501JUMPDEST2944112
[731]1502ADD2944032
[732]1503PUSH12943732
[733]1505ADD2943432
[734]1506MLOAD2943132
[735]1507PUSH12942832
[736]1509PUSH12942532
[737]1511PUSH12942232
[738]1513SHL2941932
[739]1514SUB2941632
[740]1515NOT2941332
[741]1516AND2941032
[742]1517SWAP12940732
[743]1518POP2940422
[744]1519PUSH322940232
[745]1552DUP22939932
[746]1553LT2939632
[747]1554ISZERO2939332
[748]1555PUSH22939032
[749]1558JUMPI29387102
[750]1559PUSH22937732
[751]1562PUSH12937432
[752]1564DUP52937132
[753]1565PUSH22936832
[754]1568JUMP2936582
[755]3384JUMPDEST2935712
[756]3385DUP12935632
[757]3386DUP32935332
[758]3387ADD2935032
[759]3388DUP12934732
[760]3389DUP32934432
[761]3390GT2934132
[762]3391ISZERO2933832
[763]3392PUSH22933532
[764]3395JUMPI29332102
[765]615JUMPDEST2932212
[766]616SWAP32932132
[767]617SWAP22931832
[768]618POP2931522
[769]619POP2931322
[770]620JUMP2931182
[771]1569JUMPDEST2930312
[772]1570SWAP32930232
[773]1571POP2929922
[774]1572PUSH22929732
[775]1575JUMP2929482
[776]1834JUMPDEST2928612
[777]1835POP2928522
[778]1836DUP32928332
[779]1837PUSH22928032
[780]1840DUP22927732
[781]1841PUSH22927432
[782]1844JUMP2927182
[783]3403JUMPDEST2926312
[784]3404PUSH12926232
[785]3406PUSH12925932
[786]3408DUP32925632
[787]3409ADD2925332
[788]3410PUSH22925032
[789]3413JUMPI29247102
[790]3421JUMPDEST2923712
[791]3422POP2923622
[792]3423PUSH12923432
[793]3425ADD2923132
[794]3426SWAP12922832
[795]3427JUMP2922582
[796]1845JUMPDEST2921712
[797]1846SWAP42921632
[798]1847POP2921322
[799]1848POP2921122
[800]1849PUSH22920932
[801]1852JUMP2920682
[802]1473JUMPDEST2919812
[803]1474DUP12919732
[804]1475DUP32919432
[805]1476LT2919132
[806]1477ISZERO2918832
[807]1478PUSH22918532
[808]1481JUMPI29182102
[809]1482PUSH12917232
[810]1484DUP62916932
[811]1485DUP42916632
[812]1486DUP22916332
[813]1487MLOAD2916032
[814]1488DUP22915732
[815]1489LT2915432
[816]1490PUSH22915132
[817]1493JUMPI29148102
[818]1501JUMPDEST2913812
[819]1502ADD2913732
[820]1503PUSH12913432
[821]1505ADD2913132
[822]1506MLOAD2912832
[823]1507PUSH12912532
[824]1509PUSH12912232
[825]1511PUSH12911932
[826]1513SHL2911632
[827]1514SUB2911332
[828]1515NOT2911032
[829]1516AND2910732
[830]1517SWAP12910432
[831]1518POP2910122
[832]1519PUSH322909932
[833]1552DUP22909632
[834]1553LT2909332
[835]1554ISZERO2909032
[836]1555PUSH22908732
[837]1558JUMPI29084102
[838]1559PUSH22907432
[839]1562PUSH12907132
[840]1564DUP52906832
[841]1565PUSH22906532
[842]1568JUMP2906282
[843]3384JUMPDEST2905412
[844]3385DUP12905332
[845]3386DUP32905032
[846]3387ADD2904732
[847]3388DUP12904432
[848]3389DUP32904132
[849]3390GT2903832
[850]3391ISZERO2903532
[851]3392PUSH22903232
[852]3395JUMPI29029102
[853]615JUMPDEST2901912
[854]616SWAP32901832
[855]617SWAP22901532
[856]618POP2901222
[857]619POP2901022
[858]620JUMP2900882
[859]1569JUMPDEST2900012
[860]1570SWAP32899932
[861]1571POP2899622
[862]1572PUSH22899432
[863]1575JUMP2899182
[864]1834JUMPDEST2898312
[865]1835POP2898222
[866]1836DUP32898032
[867]1837PUSH22897732
[868]1840DUP22897432
[869]1841PUSH22897132
[870]1844JUMP2896882
[871]3403JUMPDEST2896012
[872]3404PUSH12895932
[873]3406PUSH12895632
[874]3408DUP32895332
[875]3409ADD2895032
[876]3410PUSH22894732
[877]3413JUMPI28944102
[878]3421JUMPDEST2893412
[879]3422POP2893322
[880]3423PUSH12893132
[881]3425ADD2892832
[882]3426SWAP12892532
[883]3427JUMP2892282
[884]1845JUMPDEST2891412
[885]1846SWAP42891332
[886]1847POP2891022
[887]1848POP2890822
[888]1849PUSH22890632
[889]1852JUMP2890382
[890]1473JUMPDEST2889512
[891]1474DUP12889432
[892]1475DUP32889132
[893]1476LT2888832
[894]1477ISZERO2888532
[895]1478PUSH22888232
[896]1481JUMPI28879102
[897]1482PUSH12886932
[898]1484DUP62886632
[899]1485DUP42886332
[900]1486DUP22886032
[901]1487MLOAD2885732
[902]1488DUP22885432
[903]1489LT2885132
[904]1490PUSH22884832
[905]1493JUMPI28845102
[906]1501JUMPDEST2883512
[907]1502ADD2883432
[908]1503PUSH12883132
[909]1505ADD2882832
[910]1506MLOAD2882532
[911]1507PUSH12882232
[912]1509PUSH12881932
[913]1511PUSH12881632
[914]1513SHL2881332
[915]1514SUB2881032
[916]1515NOT2880732
[917]1516AND2880432
[918]1517SWAP12880132
[919]1518POP2879822
[920]1519PUSH322879632
[921]1552DUP22879332
[922]1553LT2879032
[923]1554ISZERO2878732
[924]1555PUSH22878432
[925]1558JUMPI28781102
[926]1559PUSH22877132
[927]1562PUSH12876832
[928]1564DUP52876532
[929]1565PUSH22876232
[930]1568JUMP2875982
[931]3384JUMPDEST2875112
[932]3385DUP12875032
[933]3386DUP32874732
[934]3387ADD2874432
[935]3388DUP12874132
[936]3389DUP32873832
[937]3390GT2873532
[938]3391ISZERO2873232
[939]3392PUSH22872932
[940]3395JUMPI28726102
[941]615JUMPDEST2871612
[942]616SWAP32871532
[943]617SWAP22871232
[944]618POP2870922
[945]619POP2870722
[946]620JUMP2870582
[947]1569JUMPDEST2869712
[948]1570SWAP32869632
[949]1571POP2869322
[950]1572PUSH22869132
[951]1575JUMP2868882
[952]1834JUMPDEST2868012
[953]1835POP2867922
[954]1836DUP32867732
[955]1837PUSH22867432
[956]1840DUP22867132
[957]1841PUSH22866832
[958]1844JUMP2866582
[959]3403JUMPDEST2865712
[960]3404PUSH12865632
[961]3406PUSH12865332
[962]3408DUP32865032
[963]3409ADD2864732
[964]3410PUSH22864432
[965]3413JUMPI28641102
[966]3421JUMPDEST2863112
[967]3422POP2863022
[968]3423PUSH12862832
[969]3425ADD2862532
[970]3426SWAP12862232
[971]3427JUMP2861982
[972]1845JUMPDEST2861112
[973]1846SWAP42861032
[974]1847POP2860722
[975]1848POP2860522
[976]1849PUSH22860332
[977]1852JUMP2860082
[978]1473JUMPDEST2859212
[979]1474DUP12859132
[980]1475DUP32858832
[981]1476LT2858532
[982]1477ISZERO2858232
[983]1478PUSH22857932
[984]1481JUMPI28576102
[985]1482PUSH12856632
[986]1484DUP62856332
[987]1485DUP42856032
[988]1486DUP22855732
[989]1487MLOAD2855432
[990]1488DUP22855132
[991]1489LT2854832
[992]1490PUSH22854532
[993]1493JUMPI28542102
[994]1501JUMPDEST2853212
[995]1502ADD2853132
[996]1503PUSH12852832
[997]1505ADD2852532
[998]1506MLOAD2852232
[999]1507PUSH12851932
[1000]1509PUSH12851632