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

Step PC Operation Gas GasCost Depth
[1]0PUSH147866031
[2]2PUSH147865731
[3]4MSTORE478654121
[4]5CALLDATASIZE47864221
[5]6ISZERO47864031
[6]7PUSH247863731
[7]10JUMPI478634101
[8]11PUSH147862431
[9]13CALLDATALOAD47862131
[10]14PUSH2947861831
[11]44SWAP147861531
[12]45DIV47861251
[13]46DUP147860731
[14]47PUSH447860431
[15]52EQ47860131
[16]53PUSH247859831
[17]56JUMPI478595101
[18]57DUP147858531
[19]58PUSH447858231
[20]63EQ47857931
[21]64PUSH247857631
[22]67JUMPI478573101
[23]68DUP147856331
[24]69PUSH447856031
[25]74EQ47855731
[26]75PUSH247855431
[27]78JUMPI478551101
[28]79DUP147854131
[29]80PUSH447853831
[30]85EQ47853531
[31]86PUSH247853231
[32]89JUMPI478529101
[33]90DUP147851931
[34]91PUSH447851631
[35]96EQ47851331
[36]97PUSH247851031
[37]100JUMPI478507101
[38]101DUP147849731
[39]102PUSH447849431
[40]107EQ47849131
[41]108PUSH247848831
[42]111JUMPI478485101
[43]112DUP147847531
[44]113PUSH447847231
[45]118EQ47846931
[46]119PUSH247846631
[47]122JUMPI478463101
[48]123DUP147845331
[49]124PUSH447845031
[50]129EQ47844731
[51]130PUSH247844431
[52]133JUMPI478441101
[53]134DUP147843131
[54]135PUSH447842831
[55]140EQ47842531
[56]141PUSH247842231
[57]144JUMPI478419101
[58]145DUP147840931
[59]146PUSH447840631
[60]151EQ47840331
[61]152PUSH247840031
[62]155JUMPI478397101
[63]156PUSH247838731
[64]159JUMP47838481
[65]160JUMPDEST47837611
[66]161PUSH247837531
[67]164JUMPDEST47837211
[68]165PUSH247837131
[69]168PUSH147836831
[70]170CALLDATASIZE47836521
[71]171DUP147836331
[72]172DUP147836031
[73]173PUSH147835731
[74]175ADD47835431
[75]176PUSH147835131
[76]178DUP147834831
[77]179SWAP247834531
[78]180DIV47834251
[79]181MUL47833751
[80]182PUSH147833231
[81]184ADD47832931
[82]185PUSH147832631
[83]187MLOAD47832331
[84]188SWAP147832031
[85]189DUP247831731
[86]190ADD47831431
[87]191PUSH147831131
[88]193MSTORE47830831
[89]194DUP147830531
[90]195SWAP447830231
[91]196SWAP347829931
[92]197SWAP247829631
[93]198SWAP147829331
[94]199DUP247829031
[95]200DUP247828731
[96]201MSTORE47828461
[97]202PUSH147827831
[98]204ADD47827531
[99]205DUP447827231
[100]206DUP447826931
[101]207DUP147826631
[102]208DUP347826331
[103]209DUP547826031
[104]210CALLDATACOPY47825791
[105]211DUP347824831
[106]212ADD47824531
[107]213SWAP247824231
[108]214POP47823921
[109]215POP47823721
[110]216POP47823521
[111]217POP47823321
[112]218POP47823121
[113]219POP47822921
[114]220PUSH147822731
[115]222PUSH147822431
[116]224MLOAD47822131
[117]225SWAP147821831
[118]226DUP247821531
[119]227ADD47821231
[120]228PUSH147820931
[121]230MSTORE47820631
[122]231DUP147820331
[123]232PUSH147820031
[124]234DUP247819731
[125]235MSTORE47819461
[126]236PUSH147818831
[127]238ADD47818531
[128]239POP47818221
[129]240PUSH247818031
[130]243JUMP47817781
[131]1090JUMPDEST47816911
[132]1091PUSH147816831
[133]1093PUSH147816531
[134]1095PUSH847816231
[135]1104CALLVALUE47815921
[136]1105LT47815731
[137]1106ISZERO47815431
[138]1107PUSH247815131
[139]1110JUMPI478148101
[140]1166JUMPDEST47813811
[141]1167PUSH147813731
[142]1169DUP547813431
[143]1170MLOAD47813131
[144]1171GT47812831
[145]1172DUP147812531
[146]1173PUSH247812231
[147]1176JUMPI478119101
[148]1177POP47810921
[149]1178PUSH147810731
[150]1180DUP447810431
[151]1181MLOAD47810131
[152]1182GT47809831
[153]1183JUMPDEST47809511
[154]1184ISZERO47809431
[155]1185PUSH247809131
[156]1188JUMPI478088101
[157]1244JUMPDEST47807811
[158]1245PUSH847807731
[159]1254CALLVALUE47807421
[160]1255GT47807231
[161]1256ISZERO47806931
[162]1257PUSH247806631
[163]1260JUMPI478063101
[164]1322JUMPDEST47805311
[165]1323PUSH147805231
[166]1325PUSH147804931
[167]1327POP47804621
[168]1328SLOAD478044501
[169]1329SWAP247799431
[170]1330POP47799121
[171]1331PUSH147798931
[172]1333PUSH147798631
[173]1335PUSH147798331
[174]1337POP47798021
[175]1338DUP247797831
[176]1339DUP247797531
[177]1340SLOAD477972501
[178]1341ADD47792231
[179]1342SWAP247791931
[180]1343POP47791621
[181]1344DUP247791431
[182]1345DUP247791131
[183]1346SLOAD477908501
[184]1347DUP247785831
[185]1348DUP447785531
[186]1349SSTORE47785250001
[187]1350DUP247285231
[188]1351DUP247284931
[189]1352ISZERO47284631
[190]1353GT47284331
[191]1354PUSH247284031
[192]1357JUMPI472837101
[193]1358PUSH147282731
[194]1360MUL47282451
[195]1361DUP247281931
[196]1362PUSH147281631
[197]1364MUL47281351
[198]1365DUP447280831
[199]1366PUSH147280531
[200]1368MSTORE47280231
[201]1369PUSH147279931
[202]1371PUSH147279631
[203]1373SHA3472793361
[204]1374SWAP247275731
[205]1375DUP347275431
[206]1376ADD47275131
[207]1377SWAP247274831
[208]1378ADD47274531
[209]1379PUSH247274231
[210]1382SWAP247273931
[211]1383SWAP147273631
[212]1384PUSH247273331
[213]1387JUMP47273081
[214]1388JUMPDEST47272211
[215]1389DUP147272131
[216]1390DUP347271831
[217]1391GT47271531
[218]1392ISZERO47271231
[219]1393PUSH247270931
[220]1396JUMPI472706101
[221]1614JUMPDEST47269611
[222]1615POP47269521
[223]1616SWAP147269331
[224]1617JUMP47269081
[225]1618JUMPDEST47268211
[226]1619JUMPDEST47268111
[227]1620POP47268021
[228]1621POP47267821
[229]1622POP47267621
[230]1623POP47267421
[231]1624DUP447267231
[232]1625PUSH147266931
[233]1627PUSH147266631
[234]1629POP47266321
[235]1630DUP447266131
[236]1631DUP247265831
[237]1632SLOAD472655501
[238]1633DUP247260531
[239]1634LT47260231
[240]1635ISZERO47259931
[241]1636PUSH247259631
[242]1639JUMPI472593101
[243]1640SWAP147258331
[244]1641PUSH147258031
[245]1643MSTORE47257731
[246]1644PUSH147257431
[247]1646PUSH147257131
[248]1648SHA3472568361
[249]1649SWAP147253231
[250]1650PUSH147252931
[251]1652MUL47252651
[252]1653ADD47252131
[253]1654PUSH147251831
[254]1656POP47251521
[255]1657PUSH147251331
[256]1659ADD47251031
[257]1660PUSH147250731
[258]1662POP47250421
[259]1663SWAP147250231
[260]1664DUP147249931
[261]1665MLOAD47249631
[262]1666SWAP147249331
[263]1667PUSH147249031
[264]1669ADD47248731
[265]1670SWAP147248431
[266]1671DUP347248131
[267]1672DUP147247831
[268]1673SLOAD472475501
[269]1674DUP347242531
[270]1675DUP347242231
[271]1676SSTORE472419200001
[272]1677SWAP145241931
[273]1678PUSH145241631
[274]1680MSTORE45241331
[275]1681PUSH145241031
[276]1683PUSH145240731
[277]1685SHA3452404361
[278]1686SWAP145236831
[279]1687PUSH145236531
[280]1689ADD45236231
[281]1690PUSH145235931
[282]1692SWAP145235631
[283]1693DIV45235351
[284]1694DUP245234831
[285]1695ADD45234531
[286]1696SWAP345234231
[287]1697DUP345233931
[288]1698ISZERO45233631
[289]1699PUSH245233331
[290]1702JUMPI452330101
[291]1703SWAP245232031
[292]1704DUP345231731
[293]1705ADD45231431
[294]1706JUMPDEST45231111
[295]1707DUP345231031
[296]1708DUP245230731
[297]1709GT45230431
[298]1710ISZERO45230131
[299]1711PUSH245229831
[300]1714JUMPI452295101
[301]1715DUP345228531
[302]1716MLOAD45228231
[303]1717DUP345227931
[304]1718PUSH145227631
[305]1720POP45227321
[306]1721SSTORE452271200001
[307]1722SWAP243227131
[308]1723PUSH143226831
[309]1725ADD43226531
[310]1726SWAP243226231
[311]1727SWAP143225931
[312]1728PUSH143225631
[313]1730ADD43225331
[314]1731SWAP143225031
[315]1732PUSH243224731
[316]1735JUMP43224481
[317]1706JUMPDEST43223611
[318]1707DUP343223531
[319]1708DUP243223231
[320]1709GT43222931
[321]1710ISZERO43222631
[322]1711PUSH243222331
[323]1714JUMPI432220101
[324]1736JUMPDEST43221011
[325]1737JUMPDEST43220911
[326]1738POP43220821
[327]1739SWAP143220631
[328]1740POP43220321
[329]1741PUSH243220131
[330]1744SWAP243219831
[331]1745SWAP143219531
[332]1746PUSH243219231
[333]1749JUMP43218981
[334]1750JUMPDEST43218111
[335]1751DUP143218031
[336]1752DUP343217731
[337]1753GT43217431
[338]1754ISZERO43217131
[339]1755PUSH243216831
[340]1758JUMPI432165101
[341]1776JUMPDEST43215511
[342]1777POP43215421
[343]1778SWAP143215231
[344]1779JUMP43214981
[345]1780JUMPDEST43214111
[346]1781POP43214021
[347]1782POP43213821
[348]1783PUSH143213631
[349]1785DUP443213331
[350]1786MLOAD43213031
[351]1787GT43212731
[352]1788ISZERO43212431
[353]1789PUSH243212131
[354]1792JUMPI432118101
[355]2014JUMPDEST43210811
[356]2015PUSH143210731
[357]2017PUSH143210431
[358]2019PUSH143210131
[359]2021POP43209821
[360]2022DUP443209631
[361]2023DUP243209331
[362]2024SLOAD432090501
[363]2025DUP243204031
[364]2026LT43203731
[365]2027ISZERO43203431
[366]2028PUSH243203131
[367]2031JUMPI432028101
[368]2032SWAP143201831
[369]2033PUSH143201531
[370]2035MSTORE43201231
[371]2036PUSH143200931
[372]2038PUSH143200631
[373]2040SHA3432003361
[374]2041SWAP143196731
[375]2042PUSH143196431
[376]2044MUL43196151
[377]2045ADD43195631
[378]2046PUSH143195331
[379]2048POP43195021
[380]2049PUSH143194831
[381]2051ADD43194531
[382]2052PUSH143194231
[383]2054PUSH243193931
[384]2057EXP431936101
[385]2058DUP243192631
[386]2059SLOAD431923501
[387]2060DUP243187331
[388]2061PUSH143187031
[389]2063MUL43186751
[390]2064NOT43186231
[391]2065AND43185931
[392]2066SWAP143185631
[393]2067DUP443185331
[394]2068MUL43185051
[395]2069OR43184531
[396]2070SWAP143184231
[397]2071SSTORE43183950001
[398]2072POP42683921
[399]2073CALLER42683721
[400]2074PUSH142683531
[401]2076PUSH142683231
[402]2078POP42682921
[403]2079DUP442682731
[404]2080DUP242682431
[405]2081SLOAD426821501
[406]2082DUP242677131
[407]2083LT42676831
[408]2084ISZERO42676531
[409]2085PUSH242676231
[410]2088JUMPI426759101
[411]2089SWAP142674931
[412]2090PUSH142674631
[413]2092MSTORE42674331
[414]2093PUSH142674031
[415]2095PUSH142673731
[416]2097SHA3426734361
[417]2098SWAP142669831
[418]2099PUSH142669531
[419]2101MUL42669251
[420]2102ADD42668731
[421]2103PUSH142668431
[422]2105POP42668121
[423]2106PUSH142667931
[424]2108ADD42667631
[425]2109PUSH142667331
[426]2111PUSH242667031
[427]2114EXP426667101
[428]2115DUP242665731
[429]2116SLOAD426654501
[430]2117DUP242660431
[431]2118PUSH2042660131
[432]2139MUL42659851
[433]2140NOT42659331
[434]2141AND42659031
[435]2142SWAP142658731
[436]2143DUP442658431
[437]2144MUL42658151
[438]2145OR42657631
[439]2146SWAP142657331
[440]2147SSTORE426570200001
[441]2148POP40657021
[442]2149JUMPDEST40656811
[443]2150DUP240656731
[444]2151PUSH3240656431
[445]2184PUSH140656131
[446]2186MLOAD40655831
[447]2187DUP140655531
[448]2188SWAP140655231
[449]2189POP40654921
[450]2190PUSH140654731
[451]2192MLOAD40654431
[452]2193DUP140654131
[453]2194SWAP240653831
[454]2195SUB40653531
[455]2196SWAP140653231
[456]2197LOG240652911251
[457]2198PUSH140540431
[458]2200DUP340540131
[459]2201EQ40539831
[460]2202ISZERO40539531
[461]2203ISZERO40539231
[462]2204PUSH240538931
[463]2207JUMPI405386101
[464]2208PUSH840537631
[465]2217PUSH140537331
[466]2219PUSH140537031
[467]2221DUP340536731
[468]2222DUP340536431
[469]2223DUP340536131
[470]2224POP40535821
[471]2225SLOAD405356501
[472]2226ADD40530631
[473]2227SWAP340530331
[474]2228POP40530021
[475]2229POP40529821
[476]2230DUP240529631
[477]2231SWAP140529331
[478]2232SSTORE40529050001
[479]2233POP40029021
[480]2234PUSH240028831
[481]2237JUMP40028581
[482]2265JUMPDEST40027711
[483]2266PUSH140027631
[484]2268DUP340027331
[485]2269EQ40027031
[486]2270ISZERO40026731
[487]2271DUP140026431
[488]2272ISZERO40026131
[489]2273PUSH240025831
[490]2276JUMPI400255101
[491]2277POP40024521
[492]2278PUSH140024331
[493]2280PUSH140024031
[494]2282DUP440023731
[495]2283MOD40023451
[496]2284EQ40022931
[497]2285JUMPDEST40022611
[498]2286ISZERO40022531
[499]2287PUSH240022231
[500]2290JUMPI400219101
[501]2291PUSH840020931
[502]2300SWAP140020631
[503]2301POP40020321
[504]2302PUSH140020131
[505]2304PUSH140019831
[506]2306PUSH140019531
[507]2308POP40019221
[508]2309PUSH140019031
[509]2311PUSH140018731
[510]2313POP40018421
[511]2314SLOAD400182501
[512]2315DUP240013231
[513]2316SLOAD400129501
[514]2317DUP240007931
[515]2318LT40007631
[516]2319ISZERO40007331
[517]2320PUSH240007031
[518]2323JUMPI400067101
[519]2324SWAP140005731
[520]2325PUSH140005431
[521]2327MSTORE40005131
[522]2328PUSH140004831
[523]2330PUSH140004531
[524]2332SHA3400042361
[525]2333SWAP140000631
[526]2334PUSH140000331
[527]2336MUL40000051
[528]2337ADD39999531
[529]2338PUSH139999231
[530]2340POP39998921
[531]2341PUSH139998731
[532]2343ADD39998431
[533]2344PUSH139998131
[534]2346SWAP139997831
[535]2347SLOAD399975501
[536]2348SWAP139992531
[537]2349PUSH239992231
[538]2352EXP399919101
[539]2353SWAP139990931
[540]2354DIV39990651
[541]2355PUSH139990131
[542]2357AND39989831
[543]2358EQ39989531
[544]2359ISZERO39989231
[545]2360PUSH239988931
[546]2363JUMPI399886101
[547]2364PUSH139987631
[548]2366PUSH139987331
[549]2368POP39987021
[550]2369PUSH139986831
[551]2371PUSH139986531
[552]2373POP39986221
[553]2374SLOAD399860501
[554]2375DUP239981031
[555]2376SLOAD399807501
[556]2377DUP239975731
[557]2378LT39975431
[558]2379ISZERO39975131
[559]2380PUSH239974831
[560]2383JUMPI399745101
[561]2384SWAP139973531
[562]2385PUSH139973231
[563]2387MSTORE39972931
[564]2388PUSH139972631
[565]2390PUSH139972331
[566]2392SHA3399720361
[567]2393SWAP139968431
[568]2394PUSH139968131
[569]2396MUL39967851
[570]2397ADD39967331
[571]2398PUSH139967031
[572]2400POP39966721
[573]2401PUSH139966531
[574]2403ADD39966231
[575]2404PUSH139965931
[576]2406SWAP139965631
[577]2407SLOAD399653501
[578]2408SWAP139960331
[579]2409PUSH239960031
[580]2412EXP399597101
[581]2413SWAP139958731
[582]2414DIV39958451
[583]2415PUSH2039957931
[584]2436AND39957631
[585]2437PUSH2039957331
[586]2458AND39957031
[587]2459PUSH139956731
[588]2461DUP339956431
[589]2462PUSH139956131
[590]2464MLOAD39955831
[591]2465DUP139955531
[592]2466SWAP139955231
[593]2467POP39954921
[594]2468PUSH139954731
[595]2470PUSH139954431
[596]2472MLOAD39954131
[597]2473DUP139953831
[598]2474DUP439953531
[599]2475SUB39953231
[600]2476DUP239952931
[601]2477DUP639952631
[602]2478DUP939952331
[603]2479DUP939952031
[604]2480CALL39951790401
[605]2481SWAP439277731
[606]2482POP39277421
[607]2483POP39277221
[608]2484POP39277021
[609]2485POP39276821
[610]2486POP39276621
[611]2487PUSH239276431
[612]2490JUMP39276181
[613]2747JUMPDEST39275311
[614]2748PUSH139275231
[615]2750PUSH139274931
[616]2752PUSH139274631
[617]2754DUP339274331
[618]2755DUP339274031
[619]2756DUP339273731
[620]2757POP39273421
[621]2758SLOAD392732501
[622]2759ADD39268231
[623]2760SWAP339267931
[624]2761POP39267621
[625]2762POP39267421
[626]2763DUP239267231
[627]2764SWAP139266931
[628]2765SSTORE39266650001
[629]2766POP38766621
[630]2767JUMPDEST38766411
[631]2768JUMPDEST38766311
[632]2769POP38766221
[633]2770POP38766021
[634]2771POP38765821
[635]2772POP38765621
[636]2773JUMP38765481
[637]244JUMPDEST38764611
[638]245JUMPDEST38764511
[639]246JUMP38764481
[640]247JUMPDEST38763611
[641]248STOP38763501