A total of 621 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]2992DUP111629631
[177]2993SWAP211629331
[178]2994POP11629021
[179]2995PUSH211628831
[180]2998JUMP11628581
[181]3048JUMPDEST11627711
[182]3049POP11627621
[183]3050SWAP211627431
[184]3051SWAP111627131
[185]3052POP11626821
[186]3053JUMP11626681
[187]1551JUMPDEST11625811
[188]1552SWAP311625731
[189]1553POP11625421
[190]1554PUSH3211625231
[191]1587DUP411624931
[192]1588EQ11624631
[193]1589ISZERO11624331
[194]1590ISZERO11624031
[195]1591ISZERO11623731
[196]1592PUSH211623431
[197]1595JUMPI116231101
[198]1600JUMPDEST11622111
[199]1601PUSH111622031
[200]1603DUP111621731
[201]1604PUSH111621431
[202]1606CALLER11621121
[203]1607PUSH2011620931
[204]1628AND11620631
[205]1629PUSH2011620331
[206]1650AND11620031
[207]1651DUP211619731
[208]1652MSTORE11619431
[209]1653PUSH111619131
[210]1655ADD11618831
[211]1656SWAP111618531
[212]1657DUP211618231
[213]1658MSTORE11617931
[214]1659PUSH111617631
[215]1661ADD11617331
[216]1662PUSH111617031
[217]1664SHA3116167421
[218]1665PUSH111612531
[219]1667ADD11612231
[220]1668DUP111611931
[221]1669SLOAD1161162001
[222]1670SWAP111591631
[223]1671POP11591321
[224]1672EQ11591131
[225]1673ISZERO11590831
[226]1674PUSH211590531
[227]1677JUMPI115902101
[228]1813JUMPDEST11589211
[229]1814PUSH211589131
[230]1817PUSH111588831
[231]1819DUP111588531
[232]1820CALLER11588221
[233]1821PUSH2011588031
[234]1842AND11587731
[235]1843PUSH2011587431
[236]1864AND11587131
[237]1865DUP211586831
[238]1866MSTORE11586531
[239]1867PUSH111586231
[240]1869ADD11585931
[241]1870SWAP111585631
[242]1871DUP211585331
[243]1872MSTORE11585031
[244]1873PUSH111584731
[245]1875ADD11584431
[246]1876PUSH111584131
[247]1878SHA3115838421
[248]1879PUSH111579631
[249]1881ADD11579331
[250]1882DUP111579031
[251]1883SLOAD1157872001
[252]1884DUP111558731
[253]1885PUSH111558431
[254]1887MUL11558151
[255]1888PUSH111557631
[256]1890ADD11557331
[257]1891PUSH111557031
[258]1893MLOAD11556731
[259]1894SWAP111556431
[260]1895DUP211556131
[261]1896ADD11555831
[262]1897PUSH111555531
[263]1899MSTORE11555231
[264]1900DUP111554931
[265]1901SWAP311554631
[266]1902SWAP211554331
[267]1903SWAP111554031
[268]1904DUP211553731
[269]1905DUP211553431
[270]1906MSTORE11553161
[271]1907PUSH111552531
[272]1909ADD11552231
[273]1910DUP311551931
[274]1911DUP111551631
[275]1912SLOAD1155132001
[276]1913DUP111531331
[277]1914ISZERO11531031
[278]1915PUSH211530731
[279]1918JUMPI115304101
[280]1919PUSH111529431
[281]1921MUL11529151
[282]1922DUP311528631
[283]1923ADD11528331
[284]1924SWAP211528031
[285]1925SWAP111527731
[286]1926PUSH111527431
[287]1928MSTORE11527131
[288]1929PUSH111526831
[289]1931PUSH111526531
[290]1933SHA3115262361
[291]1934SWAP111522631
[292]1935JUMPDEST11522311
[293]1936DUP211522231
[294]1937SLOAD1152192001
[295]1938DUP211501931
[296]1939MSTORE11501661
[297]1940PUSH111501031
[298]1942ADD11500731
[299]1943SWAP111500431
[300]1944PUSH111500131
[301]1946ADD11499831
[302]1947SWAP111499531
[303]1948DUP111499231
[304]1949DUP411498931
[305]1950GT11498631
[306]1951PUSH211498331
[307]1954JUMPI114980101
[308]1935JUMPDEST11497011
[309]1936DUP211496931
[310]1937SLOAD1149662001
[311]1938DUP211476631
[312]1939MSTORE11476361
[313]1940PUSH111475731
[314]1942ADD11475431
[315]1943SWAP111475131
[316]1944PUSH111474831
[317]1946ADD11474531
[318]1947SWAP111474231
[319]1948DUP111473931
[320]1949DUP411473631
[321]1950GT11473331
[322]1951PUSH211473031
[323]1954JUMPI114727101
[324]1935JUMPDEST11471711
[325]1936DUP211471631
[326]1937SLOAD1147132001
[327]1938DUP211451331
[328]1939MSTORE11451061
[329]1940PUSH111450431
[330]1942ADD11450131
[331]1943SWAP111449831
[332]1944PUSH111449531
[333]1946ADD11449231
[334]1947SWAP111448931
[335]1948DUP111448631
[336]1949DUP411448331
[337]1950GT11448031
[338]1951PUSH211447731
[339]1954JUMPI114474101
[340]1955JUMPDEST11446411
[341]1956POP11446321
[342]1957POP11446121
[343]1958POP11445921
[344]1959POP11445721
[345]1960POP11445521
[346]1961PUSH211445331
[347]1964JUMP11445081
[348]3054JUMPDEST11444211
[349]3055PUSH111444131
[350]3057DUP111443831
[351]3058PUSH111443531
[352]3060DUP111443231
[353]3061SWAP211442931
[354]3062POP11442621
[355]3063PUSH111442431
[356]3065SWAP111442131
[357]3066POP11441821
[358]3067JUMPDEST11441611
[359]3068DUP411441531
[360]3069MLOAD11441231
[361]3070DUP211440931
[362]3071LT11440631
[363]3072ISZERO11440331
[364]3073PUSH211440031
[365]3076JUMPI114397101
[366]3077DUP411438731
[367]3078DUP211438431
[368]3079DUP211438131
[369]3080MLOAD11437831
[370]3081DUP211437531
[371]3082LT11437231
[372]3083ISZERO11436931
[373]3084ISZERO11436631
[374]3085PUSH211436331
[375]3088JUMPI114360101
[376]3090JUMPDEST11435011
[377]3091SWAP111434931
[378]3092PUSH111434631
[379]3094ADD11434331
[380]3095SWAP111434031
[381]3096PUSH111433731
[382]3098MUL11433451
[383]3099ADD11432931
[384]3100MLOAD11432631
[385]3101DUP311432331
[386]3102ADD11432031
[387]3103SWAP211431731
[388]3104POP11431421
[389]3105DUP111431231
[390]3106DUP111430931
[391]3107PUSH111430631
[392]3109ADD11430331
[393]3110SWAP211430031
[394]3111POP11429721
[395]3112POP11429521
[396]3113PUSH211429331
[397]3116JUMP11429081
[398]3067JUMPDEST11428211
[399]3068DUP411428131
[400]3069MLOAD11427831
[401]3070DUP211427531
[402]3071LT11427231
[403]3072ISZERO11426931
[404]3073PUSH211426631
[405]3076JUMPI114263101
[406]3077DUP411425331
[407]3078DUP211425031
[408]3079DUP211424731
[409]3080MLOAD11424431
[410]3081DUP211424131
[411]3082LT11423831
[412]3083ISZERO11423531
[413]3084ISZERO11423231
[414]3085PUSH211422931
[415]3088JUMPI114226101
[416]3090JUMPDEST11421611
[417]3091SWAP111421531
[418]3092PUSH111421231
[419]3094ADD11420931
[420]3095SWAP111420631
[421]3096PUSH111420331
[422]3098MUL11420051
[423]3099ADD11419531
[424]3100MLOAD11419231
[425]3101DUP311418931
[426]3102ADD11418631
[427]3103SWAP211418331
[428]3104POP11418021
[429]3105DUP111417831
[430]3106DUP111417531
[431]3107PUSH111417231
[432]3109ADD11416931
[433]3110SWAP211416631
[434]3111POP11416321
[435]3112POP11416121
[436]3113PUSH211415931
[437]3116JUMP11415681
[438]3067JUMPDEST11414811
[439]3068DUP411414731
[440]3069MLOAD11414431
[441]3070DUP211414131
[442]3071LT11413831
[443]3072ISZERO11413531
[444]3073PUSH211413231
[445]3076JUMPI114129101
[446]3077DUP411411931
[447]3078DUP211411631
[448]3079DUP211411331
[449]3080MLOAD11411031
[450]3081DUP211410731
[451]3082LT11410431
[452]3083ISZERO11410131
[453]3084ISZERO11409831
[454]3085PUSH211409531
[455]3088JUMPI114092101
[456]3090JUMPDEST11408211
[457]3091SWAP111408131
[458]3092PUSH111407831
[459]3094ADD11407531
[460]3095SWAP111407231
[461]3096PUSH111406931
[462]3098MUL11406651
[463]3099ADD11406131
[464]3100MLOAD11405831
[465]3101DUP311405531
[466]3102ADD11405231
[467]3103SWAP211404931
[468]3104POP11404621
[469]3105DUP111404431
[470]3106DUP111404131
[471]3107PUSH111403831
[472]3109ADD11403531
[473]3110SWAP211403231
[474]3111POP11402921
[475]3112POP11402721
[476]3113PUSH211402531
[477]3116JUMP11402281
[478]3067JUMPDEST11401411
[479]3068DUP411401331
[480]3069MLOAD11401031
[481]3070DUP211400731
[482]3071LT11400431
[483]3072ISZERO11400131
[484]3073PUSH211399831
[485]3076JUMPI113995101
[486]3117JUMPDEST11398511
[487]3118DUP211398431
[488]3119SWAP311398131
[489]3120POP11397821
[490]3121POP11397621
[491]3122POP11397421
[492]3123SWAP211397231
[493]3124SWAP111396931
[494]3125POP11396621
[495]3126JUMP11396481
[496]1965JUMPDEST11395611
[497]1966PUSH111395531
[498]1968DUP111395231
[499]1969CALLER11394921
[500]1970PUSH2011394731
[501]1991AND11394431
[502]1992PUSH2011394131
[503]2013AND11393831
[504]2014DUP211393531
[505]2015MSTORE11393231
[506]2016PUSH111392931
[507]2018ADD11392631
[508]2019SWAP111392331
[509]2020DUP211392031
[510]2021MSTORE11391731
[511]2022PUSH111391431
[512]2024ADD11391131
[513]2025PUSH111390831
[514]2027SHA3113905421
[515]2028PUSH111386331
[516]2030ADD11386031
[517]2031SLOAD1138572001
[518]2032SUB11365731
[519]2033SWAP111365431
[520]2034POP11365121
[521]2035DUP411364931
[522]2036DUP211364631
[523]2037LT11364331
[524]2038ISZERO11364031
[525]2039ISZERO11363731
[526]2040ISZERO11363431
[527]2041PUSH211363131
[528]2044JUMPI113628101
[529]2049JUMPDEST11361811
[530]2050DUP411361731
[531]2051PUSH111361431
[532]2053PUSH111361131
[533]2055DUP811360831
[534]2056PUSH111360531
[535]2058NOT11360231
[536]2059AND11359931
[537]2060PUSH111359631
[538]2062NOT11359331
[539]2063AND11359031
[540]2064DUP211358731
[541]2065MSTORE11358431
[542]2066PUSH111358131
[543]2068ADD11357831
[544]2069SWAP111357531
[545]2070DUP211357231
[546]2071MSTORE11356931
[547]2072PUSH111356631
[548]2074ADD11356331
[549]2075PUSH111356031
[550]2077SHA3113557421
[551]2078PUSH111351531
[552]2080DUP311351231
[553]2081DUP311350931
[554]2082SLOAD1135062001
[555]2083ADD11330631
[556]2084SWAP311330331
[557]2085POP11330021
[558]2086POP11329821
[559]2087DUP211329631
[560]2088SWAP111329331
[561]2089SSTORE113290200001
[562]2090POP9329021
[563]2091DUP49328831
[564]2092PUSH19328531
[565]2094DUP19328231
[566]2095CALLER9327921
[567]2096PUSH209327731
[568]2117AND9327431
[569]2118PUSH209327131
[570]2139AND9326831
[571]2140DUP29326531
[572]2141MSTORE9326231
[573]2142PUSH19325931
[574]2144ADD9325631
[575]2145SWAP19325331
[576]2146DUP29325031
[577]2147MSTORE9324731
[578]2148PUSH19324431
[579]2150ADD9324131
[580]2151PUSH19323831
[581]2153SHA393235421
[582]2154PUSH19319331
[583]2156ADD9319031
[584]2157DUP59318731
[585]2158DUP29318431
[586]2159SLOAD931812001
[587]2160DUP29298131
[588]2161LT9297831
[589]2162ISZERO9297531
[590]2163ISZERO9297231
[591]2164PUSH29296931
[592]2167JUMPI92966101
[593]2169JUMPDEST9295611
[594]2170SWAP19295531
[595]2171PUSH19295231
[596]2173MSTORE9294931
[597]2174PUSH19294631
[598]2176PUSH19294331
[599]2178SHA392940361
[600]2179SWAP19290431
[601]2180ADD9290131
[602]2181PUSH19289831
[603]2183DUP39289531
[604]2184DUP39289231
[605]2185SLOAD928892001
[606]2186ADD9268931
[607]2187SWAP39268631
[608]2188POP9268321
[609]2189POP9268121
[610]2190DUP29267931
[611]2191SWAP19267631
[612]2192SSTORE92673200001
[613]2193POP7267321
[614]2194POP7267121
[615]2195POP7266921
[616]2196POP7266721
[617]2197POP7266521
[618]2198POP7266321
[619]2199JUMP7266181
[620]519JUMPDEST7265311
[621]520STOP7265201