A total of 673 steps found.
Contract transaction successfully completed.

Step PC Operation Gas GasCost Depth
[1]0PUSH111815231
[2]2PUSH111814931
[3]4MSTORE118146121
[4]5PUSH111813431
[5]7CALLDATASIZE11813121
[6]8LT11812931
[7]9PUSH211812631
[8]12JUMPI118123101
[9]13PUSH111811331
[10]15CALLDATALOAD11811031
[11]16PUSH2911810731
[12]46SWAP111810431
[13]47DIV11810151
[14]48PUSH411809631
[15]53AND11809331
[16]54DUP111809031
[17]55PUSH411808731
[18]60EQ11808431
[19]61PUSH211808131
[20]64JUMPI118078101
[21]65DUP111806831
[22]66PUSH411806531
[23]71EQ11806231
[24]72PUSH211805931
[25]75JUMPI118056101
[26]76DUP111804631
[27]77PUSH411804331
[28]82EQ11804031
[29]83PUSH211803731
[30]86JUMPI118034101
[31]87DUP111802431
[32]88PUSH411802131
[33]93EQ11801831
[34]94PUSH211801531
[35]97JUMPI118012101
[36]473JUMPDEST11800211
[37]474CALLVALUE11800121
[38]475ISZERO11799931
[39]476PUSH211799631
[40]479JUMPI117993101
[41]484JUMPDEST11798311
[42]485PUSH211798231
[43]488PUSH111797931
[44]490DUP111797631
[45]491DUP111797331
[46]492CALLDATALOAD11797031
[47]493PUSH111796731
[48]495NOT11796431
[49]496AND11796131
[50]497SWAP111795831
[51]498PUSH111795531
[52]500ADD11795231
[53]501SWAP111794931
[54]502SWAP211794631
[55]503SWAP111794331
[56]504DUP111794031
[57]505CALLDATALOAD11793731
[58]506SWAP111793431
[59]507PUSH111793131
[60]509ADD11792831
[61]510SWAP111792531
[62]511SWAP211792231
[63]512SWAP111791931
[64]513POP11791621
[65]514POP11791421
[66]515PUSH211791231
[67]518JUMP11790981
[68]1537JUMPDEST11790111
[69]1538PUSH111790031
[70]1540DUP111789731
[71]1541PUSH111789431
[72]1543PUSH211789131
[73]1546DUP611788831
[74]1547PUSH211788531
[75]1550JUMP11788281
[76]2928JUMPDEST11787411
[77]2929PUSH111787331
[78]2931DUP111787031
[79]2932PUSH111786731
[80]2934SWAP111786431
[81]2935POP11786121
[82]2936JUMPDEST11785911
[83]2937PUSH111785831
[84]2939DUP111785531
[85]2940SLOAD1178522001
[86]2941SWAP111765231
[87]2942POP11764921
[88]2943DUP211764731
[89]2944LT11764431
[90]2945ISZERO11764131
[91]2946PUSH211763831
[92]2949JUMPI117635101
[93]2950DUP311762531
[94]2951PUSH111762231
[95]2953NOT11761931
[96]2954AND11761631
[97]2955PUSH111761331
[98]2957DUP311761031
[99]2958DUP211760731
[100]2959SLOAD1176042001
[101]2960DUP211740431
[102]2961LT11740131
[103]2962ISZERO11739831
[104]2963ISZERO11739531
[105]2964PUSH211739231
[106]2967JUMPI117389101
[107]2969JUMPDEST11737911
[108]2970SWAP111737831
[109]2971PUSH111737531
[110]2973MSTORE11737231
[111]2974PUSH111736931
[112]2976PUSH111736631
[113]2978SHA3117363361
[114]2979SWAP111732731
[115]2980ADD11732431
[116]2981SLOAD1173212001
[117]2982PUSH111712131
[118]2984NOT11711831
[119]2985AND11711531
[120]2986EQ11711231
[121]2987ISZERO11710931
[122]2988PUSH211710631
[123]2991JUMPI117103101
[124]2999JUMPDEST11709311
[125]3000DUP111709231
[126]3001DUP111708931
[127]3002PUSH111708631
[128]3004ADD11708331
[129]3005SWAP211708031
[130]3006POP11707721
[131]3007POP11707521
[132]3008PUSH211707331
[133]3011JUMP11707081
[134]2936JUMPDEST11706211
[135]2937PUSH111706131
[136]2939DUP111705831
[137]2940SLOAD1170552001
[138]2941SWAP111685531
[139]2942POP11685221
[140]2943DUP211685031
[141]2944LT11684731
[142]2945ISZERO11684431
[143]2946PUSH211684131
[144]2949JUMPI116838101
[145]2950DUP311682831
[146]2951PUSH111682531
[147]2953NOT11682231
[148]2954AND11681931
[149]2955PUSH111681631
[150]2957DUP311681331
[151]2958DUP211681031
[152]2959SLOAD1168072001
[153]2960DUP211660731
[154]2961LT11660431
[155]2962ISZERO11660131
[156]2963ISZERO11659831
[157]2964PUSH211659531
[158]2967JUMPI116592101
[159]2969JUMPDEST11658211
[160]2970SWAP111658131
[161]2971PUSH111657831
[162]2973MSTORE11657531
[163]2974PUSH111657231
[164]2976PUSH111656931
[165]2978SHA3116566361
[166]2979SWAP111653031
[167]2980ADD11652731
[168]2981SLOAD1165242001
[169]2982PUSH111632431
[170]2984NOT11632131
[171]2985AND11631831
[172]2986EQ11631531
[173]2987ISZERO11631231
[174]2988PUSH211630931
[175]2991JUMPI116306101
[176]2999JUMPDEST11629611
[177]3000DUP111629531
[178]3001DUP111629231
[179]3002PUSH111628931
[180]3004ADD11628631
[181]3005SWAP211628331
[182]3006POP11628021
[183]3007POP11627821
[184]3008PUSH211627631
[185]3011JUMP11627381
[186]2936JUMPDEST11626511
[187]2937PUSH111626431
[188]2939DUP111626131
[189]2940SLOAD1162582001
[190]2941SWAP111605831
[191]2942POP11605521
[192]2943DUP211605331
[193]2944LT11605031
[194]2945ISZERO11604731
[195]2946PUSH211604431
[196]2949JUMPI116041101
[197]2950DUP311603131
[198]2951PUSH111602831
[199]2953NOT11602531
[200]2954AND11602231
[201]2955PUSH111601931
[202]2957DUP311601631
[203]2958DUP211601331
[204]2959SLOAD1160102001
[205]2960DUP211581031
[206]2961LT11580731
[207]2962ISZERO11580431
[208]2963ISZERO11580131
[209]2964PUSH211579831
[210]2967JUMPI115795101
[211]2969JUMPDEST11578511
[212]2970SWAP111578431
[213]2971PUSH111578131
[214]2973MSTORE11577831
[215]2974PUSH111577531
[216]2976PUSH111577231
[217]2978SHA3115769361
[218]2979SWAP111573331
[219]2980ADD11573031
[220]2981SLOAD1157272001
[221]2982PUSH111552731
[222]2984NOT11552431
[223]2985AND11552131
[224]2986EQ11551831
[225]2987ISZERO11551531
[226]2988PUSH211551231
[227]2991JUMPI115509101
[228]2992DUP111549931
[229]2993SWAP211549631
[230]2994POP11549321
[231]2995PUSH211549131
[232]2998JUMP11548881
[233]3048JUMPDEST11548011
[234]3049POP11547921
[235]3050SWAP211547731
[236]3051SWAP111547431
[237]3052POP11547121
[238]3053JUMP11546981
[239]1551JUMPDEST11546111
[240]1552SWAP311546031
[241]1553POP11545721
[242]1554PUSH3211545531
[243]1587DUP411545231
[244]1588EQ11544931
[245]1589ISZERO11544631
[246]1590ISZERO11544331
[247]1591ISZERO11544031
[248]1592PUSH211543731
[249]1595JUMPI115434101
[250]1600JUMPDEST11542411
[251]1601PUSH111542331
[252]1603DUP111542031
[253]1604PUSH111541731
[254]1606CALLER11541421
[255]1607PUSH2011541231
[256]1628AND11540931
[257]1629PUSH2011540631
[258]1650AND11540331
[259]1651DUP211540031
[260]1652MSTORE11539731
[261]1653PUSH111539431
[262]1655ADD11539131
[263]1656SWAP111538831
[264]1657DUP211538531
[265]1658MSTORE11538231
[266]1659PUSH111537931
[267]1661ADD11537631
[268]1662PUSH111537331
[269]1664SHA3115370421
[270]1665PUSH111532831
[271]1667ADD11532531
[272]1668DUP111532231
[273]1669SLOAD1153192001
[274]1670SWAP111511931
[275]1671POP11511621
[276]1672EQ11511431
[277]1673ISZERO11511131
[278]1674PUSH211510831
[279]1677JUMPI115105101
[280]1813JUMPDEST11509511
[281]1814PUSH211509431
[282]1817PUSH111509131
[283]1819DUP111508831
[284]1820CALLER11508521
[285]1821PUSH2011508331
[286]1842AND11508031
[287]1843PUSH2011507731
[288]1864AND11507431
[289]1865DUP211507131
[290]1866MSTORE11506831
[291]1867PUSH111506531
[292]1869ADD11506231
[293]1870SWAP111505931
[294]1871DUP211505631
[295]1872MSTORE11505331
[296]1873PUSH111505031
[297]1875ADD11504731
[298]1876PUSH111504431
[299]1878SHA3115041421
[300]1879PUSH111499931
[301]1881ADD11499631
[302]1882DUP111499331
[303]1883SLOAD1149902001
[304]1884DUP111479031
[305]1885PUSH111478731
[306]1887MUL11478451
[307]1888PUSH111477931
[308]1890ADD11477631
[309]1891PUSH111477331
[310]1893MLOAD11477031
[311]1894SWAP111476731
[312]1895DUP211476431
[313]1896ADD11476131
[314]1897PUSH111475831
[315]1899MSTORE11475531
[316]1900DUP111475231
[317]1901SWAP311474931
[318]1902SWAP211474631
[319]1903SWAP111474331
[320]1904DUP211474031
[321]1905DUP211473731
[322]1906MSTORE11473461
[323]1907PUSH111472831
[324]1909ADD11472531
[325]1910DUP311472231
[326]1911DUP111471931
[327]1912SLOAD1147162001
[328]1913DUP111451631
[329]1914ISZERO11451331
[330]1915PUSH211451031
[331]1918JUMPI114507101
[332]1919PUSH111449731
[333]1921MUL11449451
[334]1922DUP311448931
[335]1923ADD11448631
[336]1924SWAP211448331
[337]1925SWAP111448031
[338]1926PUSH111447731
[339]1928MSTORE11447431
[340]1929PUSH111447131
[341]1931PUSH111446831
[342]1933SHA3114465361
[343]1934SWAP111442931
[344]1935JUMPDEST11442611
[345]1936DUP211442531
[346]1937SLOAD1144222001
[347]1938DUP211422231
[348]1939MSTORE11421961
[349]1940PUSH111421331
[350]1942ADD11421031
[351]1943SWAP111420731
[352]1944PUSH111420431
[353]1946ADD11420131
[354]1947SWAP111419831
[355]1948DUP111419531
[356]1949DUP411419231
[357]1950GT11418931
[358]1951PUSH211418631
[359]1954JUMPI114183101
[360]1935JUMPDEST11417311
[361]1936DUP211417231
[362]1937SLOAD1141692001
[363]1938DUP211396931
[364]1939MSTORE11396661
[365]1940PUSH111396031
[366]1942ADD11395731
[367]1943SWAP111395431
[368]1944PUSH111395131
[369]1946ADD11394831
[370]1947SWAP111394531
[371]1948DUP111394231
[372]1949DUP411393931
[373]1950GT11393631
[374]1951PUSH211393331
[375]1954JUMPI113930101
[376]1935JUMPDEST11392011
[377]1936DUP211391931
[378]1937SLOAD1139162001
[379]1938DUP211371631
[380]1939MSTORE11371361
[381]1940PUSH111370731
[382]1942ADD11370431
[383]1943SWAP111370131
[384]1944PUSH111369831
[385]1946ADD11369531
[386]1947SWAP111369231
[387]1948DUP111368931
[388]1949DUP411368631
[389]1950GT11368331
[390]1951PUSH211368031
[391]1954JUMPI113677101
[392]1955JUMPDEST11366711
[393]1956POP11366621
[394]1957POP11366421
[395]1958POP11366221
[396]1959POP11366021
[397]1960POP11365821
[398]1961PUSH211365631
[399]1964JUMP11365381
[400]3054JUMPDEST11364511
[401]3055PUSH111364431
[402]3057DUP111364131
[403]3058PUSH111363831
[404]3060DUP111363531
[405]3061SWAP211363231
[406]3062POP11362921
[407]3063PUSH111362731
[408]3065SWAP111362431
[409]3066POP11362121
[410]3067JUMPDEST11361911
[411]3068DUP411361831
[412]3069MLOAD11361531
[413]3070DUP211361231
[414]3071LT11360931
[415]3072ISZERO11360631
[416]3073PUSH211360331
[417]3076JUMPI113600101
[418]3077DUP411359031
[419]3078DUP211358731
[420]3079DUP211358431
[421]3080MLOAD11358131
[422]3081DUP211357831
[423]3082LT11357531
[424]3083ISZERO11357231
[425]3084ISZERO11356931
[426]3085PUSH211356631
[427]3088JUMPI113563101
[428]3090JUMPDEST11355311
[429]3091SWAP111355231
[430]3092PUSH111354931
[431]3094ADD11354631
[432]3095SWAP111354331
[433]3096PUSH111354031
[434]3098MUL11353751
[435]3099ADD11353231
[436]3100MLOAD11352931
[437]3101DUP311352631
[438]3102ADD11352331
[439]3103SWAP211352031
[440]3104POP11351721
[441]3105DUP111351531
[442]3106DUP111351231
[443]3107PUSH111350931
[444]3109ADD11350631
[445]3110SWAP211350331
[446]3111POP11350021
[447]3112POP11349821
[448]3113PUSH211349631
[449]3116JUMP11349381
[450]3067JUMPDEST11348511
[451]3068DUP411348431
[452]3069MLOAD11348131
[453]3070DUP211347831
[454]3071LT11347531
[455]3072ISZERO11347231
[456]3073PUSH211346931
[457]3076JUMPI113466101
[458]3077DUP411345631
[459]3078DUP211345331
[460]3079DUP211345031
[461]3080MLOAD11344731
[462]3081DUP211344431
[463]3082LT11344131
[464]3083ISZERO11343831
[465]3084ISZERO11343531
[466]3085PUSH211343231
[467]3088JUMPI113429101
[468]3090JUMPDEST11341911
[469]3091SWAP111341831
[470]3092PUSH111341531
[471]3094ADD11341231
[472]3095SWAP111340931
[473]3096PUSH111340631
[474]3098MUL11340351
[475]3099ADD11339831
[476]3100MLOAD11339531
[477]3101DUP311339231
[478]3102ADD11338931
[479]3103SWAP211338631
[480]3104POP11338321
[481]3105DUP111338131
[482]3106DUP111337831
[483]3107PUSH111337531
[484]3109ADD11337231
[485]3110SWAP211336931
[486]3111POP11336621
[487]3112POP11336421
[488]3113PUSH211336231
[489]3116JUMP11335981
[490]3067JUMPDEST11335111
[491]3068DUP411335031
[492]3069MLOAD11334731
[493]3070DUP211334431
[494]3071LT11334131
[495]3072ISZERO11333831
[496]3073PUSH211333531
[497]3076JUMPI113332101
[498]3077DUP411332231
[499]3078DUP211331931
[500]3079DUP211331631
[501]3080MLOAD11331331
[502]3081DUP211331031
[503]3082LT11330731
[504]3083ISZERO11330431
[505]3084ISZERO11330131
[506]3085PUSH211329831
[507]3088JUMPI113295101
[508]3090JUMPDEST11328511
[509]3091SWAP111328431
[510]3092PUSH111328131
[511]3094ADD11327831
[512]3095SWAP111327531
[513]3096PUSH111327231
[514]3098MUL11326951
[515]3099ADD11326431
[516]3100MLOAD11326131
[517]3101DUP311325831
[518]3102ADD11325531
[519]3103SWAP211325231
[520]3104POP11324921
[521]3105DUP111324731
[522]3106DUP111324431
[523]3107PUSH111324131
[524]3109ADD11323831
[525]3110SWAP211323531
[526]3111POP11323221
[527]3112POP11323021
[528]3113PUSH211322831
[529]3116JUMP11322581
[530]3067JUMPDEST11321711
[531]3068DUP411321631
[532]3069MLOAD11321331
[533]3070DUP211321031
[534]3071LT11320731
[535]3072ISZERO11320431
[536]3073PUSH211320131
[537]3076JUMPI113198101
[538]3117JUMPDEST11318811
[539]3118DUP211318731
[540]3119SWAP311318431
[541]3120POP11318121
[542]3121POP11317921
[543]3122POP11317721
[544]3123SWAP211317531
[545]3124SWAP111317231
[546]3125POP11316921
[547]3126JUMP11316781
[548]1965JUMPDEST11315911
[549]1966PUSH111315831
[550]1968DUP111315531
[551]1969CALLER11315221
[552]1970PUSH2011315031
[553]1991AND11314731
[554]1992PUSH2011314431
[555]2013AND11314131
[556]2014DUP211313831
[557]2015MSTORE11313531
[558]2016PUSH111313231
[559]2018ADD11312931
[560]2019SWAP111312631
[561]2020DUP211312331
[562]2021MSTORE11312031
[563]2022PUSH111311731
[564]2024ADD11311431
[565]2025PUSH111311131
[566]2027SHA3113108421
[567]2028PUSH111306631
[568]2030ADD11306331
[569]2031SLOAD1130602001
[570]2032SUB11286031
[571]2033SWAP111285731
[572]2034POP11285421
[573]2035DUP411285231
[574]2036DUP211284931
[575]2037LT11284631
[576]2038ISZERO11284331
[577]2039ISZERO11284031
[578]2040ISZERO11283731
[579]2041PUSH211283431
[580]2044JUMPI112831101
[581]2049JUMPDEST11282111
[582]2050DUP411282031
[583]2051PUSH111281731
[584]2053PUSH111281431
[585]2055DUP811281131
[586]2056PUSH111280831
[587]2058NOT11280531
[588]2059AND11280231
[589]2060PUSH111279931
[590]2062NOT11279631
[591]2063AND11279331
[592]2064DUP211279031
[593]2065MSTORE11278731
[594]2066PUSH111278431
[595]2068ADD11278131
[596]2069SWAP111277831
[597]2070DUP211277531
[598]2071MSTORE11277231
[599]2072PUSH111276931
[600]2074ADD11276631
[601]2075PUSH111276331
[602]2077SHA3112760421
[603]2078PUSH111271831
[604]2080DUP311271531
[605]2081DUP311271231
[606]2082SLOAD1127092001
[607]2083ADD11250931
[608]2084SWAP311250631
[609]2085POP11250321
[610]2086POP11250121
[611]2087DUP211249931
[612]2088SWAP111249631
[613]2089SSTORE112493200001
[614]2090POP9249321
[615]2091DUP49249131
[616]2092PUSH19248831
[617]2094DUP19248531
[618]2095CALLER9248221
[619]2096PUSH209248031
[620]2117AND9247731
[621]2118PUSH209247431
[622]2139AND9247131
[623]2140DUP29246831
[624]2141MSTORE9246531
[625]2142PUSH19246231
[626]2144ADD9245931
[627]2145SWAP19245631
[628]2146DUP29245331
[629]2147MSTORE9245031
[630]2148PUSH19244731
[631]2150ADD9244431
[632]2151PUSH19244131
[633]2153SHA392438421
[634]2154PUSH19239631
[635]2156ADD9239331
[636]2157DUP59239031
[637]2158DUP29238731
[638]2159SLOAD923842001
[639]2160DUP29218431
[640]2161LT9218131
[641]2162ISZERO9217831
[642]2163ISZERO9217531
[643]2164PUSH29217231
[644]2167JUMPI92169101
[645]2169JUMPDEST9215911
[646]2170SWAP19215831
[647]2171PUSH19215531
[648]2173MSTORE9215231
[649]2174PUSH19214931
[650]2176PUSH19214631
[651]2178SHA392143361
[652]2179SWAP19210731
[653]2180ADD9210431
[654]2181PUSH19210131
[655]2183DUP39209831
[656]2184DUP39209531
[657]2185SLOAD920922001
[658]2186ADD9189231
[659]2187SWAP39188931
[660]2188POP9188621
[661]2189POP9188421
[662]2190DUP29188231
[663]2191SWAP19187931
[664]2192SSTORE91876200001
[665]2193POP7187621
[666]2194POP7187421
[667]2195POP7187221
[668]2196POP7187021
[669]2197POP7186821
[670]2198POP7186621
[671]2199JUMP7186481
[672]519JUMPDEST7185611
[673]520STOP7185501