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

Step PC Operation Gas GasCost Depth
[1]0PUSH16872831
[2]2PUSH16872531
[3]4MSTORE68722121
[4]5CALLDATASIZE6871021
[5]6ISZERO6870831
[6]7PUSH26870531
[7]10JUMPI68702101
[8]11PUSH46869231
[9]16PUSH296868931
[10]46PUSH16868631
[11]48CALLDATALOAD6868331
[12]49DIV6868051
[13]50AND6867531
[14]51PUSH46867231
[15]56DUP26866931
[16]57EQ6866631
[17]58PUSH26866331
[18]61JUMPI68660101
[19]62DUP16865031
[20]63PUSH46864731
[21]68EQ6864431
[22]69PUSH26864131
[23]72JUMPI68638101
[24]73DUP16862831
[25]74PUSH46862531
[26]79EQ6862231
[27]80PUSH26861931
[28]83JUMPI68616101
[29]84DUP16860631
[30]85PUSH46860331
[31]90EQ6860031
[32]91PUSH26859731
[33]94JUMPI68594101
[34]95DUP16858431
[35]96PUSH46858131
[36]101EQ6857831
[37]102PUSH26857531
[38]105JUMPI68572101
[39]106DUP16856231
[40]107PUSH46855931
[41]112EQ6855631
[42]113PUSH26855331
[43]116JUMPI68550101
[44]377JUMPDEST6854011
[45]378CALLVALUE6853921
[46]379ISZERO6853731
[47]380PUSH26853431
[48]383JUMPI68531101
[49]385JUMPDEST6852111
[50]386PUSH26852031
[51]389PUSH26851731
[52]392JUMP6851481
[53]739JUMPDEST6850611
[54]740PUSH26850531
[55]743CALLER6850221
[56]744PUSH26850031
[57]747JUMP6849781
[58]1145JUMPDEST6848911
[59]1146PUSH16848831
[60]1148DUP16848531
[61]1149JUMPDEST6848211
[62]1150PUSH16848131
[63]1152SLOAD684782001
[64]1153DUP26827831
[65]1154LT6827531
[66]1155ISZERO6827231
[67]1156PUSH26826931
[68]1159JUMPI68266101
[69]1160DUP36825631
[70]1161PUSH16825331
[71]1163PUSH16825031
[72]1165PUSH16824731
[73]1167EXP68244601
[74]1168SUB6818431
[75]1169AND6818131
[76]1170PUSH16817831
[77]1172DUP36817531
[78]1173DUP26817231
[79]1174SLOAD681692001
[80]1175DUP26796931
[81]1176LT6796631
[82]1177ISZERO6796331
[83]1178ISZERO6796031
[84]1179PUSH26795731
[85]1182JUMPI67954101
[86]1184JUMPDEST6794411
[87]1185SWAP16794331
[88]1186PUSH16794031
[89]1188MSTORE6793731
[90]1189PUSH16793431
[91]1191PUSH16793131
[92]1193SHA367928361
[93]1194SWAP16789231
[94]1195ADD6788931
[95]1196PUSH16788631
[96]1198JUMPDEST6788311
[97]1199SWAP16788231
[98]1200SLOAD678792001
[99]1201SWAP16767931
[100]1202PUSH26767631
[101]1205EXP67673101
[102]1206SWAP16766331
[103]1207DIV6766051
[104]1208PUSH16765531
[105]1210PUSH16765231
[106]1212PUSH16764931
[107]1214EXP67646601
[108]1215SUB6758631
[109]1216AND6758331
[110]1217PUSH16758031
[111]1219PUSH16757731
[112]1221PUSH16757431
[113]1223EXP67571601
[114]1224SUB6751131
[115]1225AND6750831
[116]1226EQ6750531
[117]1227ISZERO6750231
[118]1228PUSH26749931
[119]1231JUMPI67496101
[120]1232PUSH16748631
[121]1234SWAP26748331
[122]1235POP6748021
[123]1236PUSH26747831
[124]1239JUMP6747581
[125]1254JUMPDEST6746711
[126]1255POP6746621
[127]1256SWAP26746431
[128]1257SWAP16746131
[129]1258POP6745821
[130]1259JUMP6745681
[131]748JUMPDEST6744811
[132]749ISZERO6744731
[133]750ISZERO6744431
[134]751PUSH26744131
[135]754JUMPI67438101
[136]760JUMPDEST6742811
[137]761PUSH16742731
[138]763PUSH16742431
[139]765PUSH16742131
[140]767EXP67418601
[141]768SUB6735831
[142]769CALLER6735521
[143]770AND6735331
[144]771PUSH16735031
[145]773SWAP16734731
[146]774DUP26734431
[147]775MSTORE6734131
[148]776PUSH16733831
[149]778PUSH16733531
[150]780DUP26733231
[151]781SWAP16732931
[152]782MSTORE6732631
[153]783PUSH16732331
[154]785SWAP16732031
[155]786SWAP26731731
[156]787SHA367314421
[157]788DUP16727231
[158]789SLOAD672692001
[159]790PUSH16706931
[160]792NOT6706631
[161]793AND6706331
[162]794SWAP16706031
[163]795SWAP26705731
[164]796OR6705431
[165]797SWAP16705131
[166]798SSTORE67048200001
[167]799PUSH24704831
[168]802PUSH24704531
[169]805JUMP4704281
[170]918JUMPDEST4703411
[171]919PUSH14703331
[172]921DUP14703031
[173]922DUP14702731
[174]923JUMPDEST4702411
[175]924PUSH14702331
[176]926SLOAD470202001
[177]927DUP24682031
[178]928LT4681731
[179]929ISZERO4681431
[180]930PUSH24681131
[181]933JUMPI46808101
[182]934PUSH14679831
[183]936PUSH14679531
[184]938PUSH14679231
[185]940DUP44678931
[186]941DUP24678631
[187]942SLOAD467832001
[188]943DUP24658331
[189]944LT4658031
[190]945ISZERO4657731
[191]946ISZERO4657431
[192]947PUSH24657131
[193]950JUMPI46568101
[194]952JUMPDEST4655811
[195]953SWAP14655731
[196]954PUSH14655431
[197]956MSTORE4655131
[198]957PUSH14654831
[199]959PUSH14654531
[200]961SHA346542361
[201]962SWAP14650631
[202]963ADD4650331
[203]964PUSH14650031
[204]966JUMPDEST4649711
[205]967SWAP14649631
[206]968SLOAD464932001
[207]969PUSH14629331
[208]971PUSH14629031
[209]973PUSH14628731
[210]975EXP46284601
[211]976SUB4622431
[212]977PUSH24622131
[213]980SWAP34621831
[214]981SWAP14621531
[215]982SWAP34621231
[216]983EXP46209101
[217]984SWAP14619931
[218]985DIV4619651
[219]986AND4619131
[220]987DUP24618831
[221]988MSTORE4618531
[222]989PUSH14618231
[223]991DUP24617931
[224]992ADD4617631
[225]993SWAP24617331
[226]994SWAP14617031
[227]995SWAP24616731
[228]996MSTORE4616431
[229]997PUSH14616131
[230]999ADD4615831
[231]1000PUSH14615531
[232]1002SHA346152421
[233]1003SLOAD461102001
[234]1004PUSH14591031
[235]1006AND4590731
[236]1007ISZERO4590431
[237]1008PUSH24590131
[238]1011JUMPI45898101
[239]1012PUSH14588831
[240]1014SWAP14588531
[241]1015SWAP24588231
[242]1016ADD4587931
[243]1017SWAP14587631
[244]1018JUMPDEST4587311
[245]1019JUMPDEST4587211
[246]1020PUSH14587131
[247]1022ADD4586831
[248]1023PUSH24586531
[249]1026JUMP4586281
[250]923JUMPDEST4585411
[251]924PUSH14585331
[252]926SLOAD458502001
[253]927DUP24565031
[254]928LT4564731
[255]929ISZERO4564431
[256]930PUSH24564131
[257]933JUMPI45638101
[258]934PUSH14562831
[259]936PUSH14562531
[260]938PUSH14562231
[261]940DUP44561931
[262]941DUP24561631
[263]942SLOAD456132001
[264]943DUP24541331
[265]944LT4541031
[266]945ISZERO4540731
[267]946ISZERO4540431
[268]947PUSH24540131
[269]950JUMPI45398101
[270]952JUMPDEST4538811
[271]953SWAP14538731
[272]954PUSH14538431
[273]956MSTORE4538131
[274]957PUSH14537831
[275]959PUSH14537531
[276]961SHA345372361
[277]962SWAP14533631
[278]963ADD4533331
[279]964PUSH14533031
[280]966JUMPDEST4532711
[281]967SWAP14532631
[282]968SLOAD453232001
[283]969PUSH14512331
[284]971PUSH14512031
[285]973PUSH14511731
[286]975EXP45114601
[287]976SUB4505431
[288]977PUSH24505131
[289]980SWAP34504831
[290]981SWAP14504531
[291]982SWAP34504231
[292]983EXP45039101
[293]984SWAP14502931
[294]985DIV4502651
[295]986AND4502131
[296]987DUP24501831
[297]988MSTORE4501531
[298]989PUSH14501231
[299]991DUP24500931
[300]992ADD4500631
[301]993SWAP24500331
[302]994SWAP14500031
[303]995SWAP24499731
[304]996MSTORE4499431
[305]997PUSH14499131
[306]999ADD4498831
[307]1000PUSH14498531
[308]1002SHA344982421
[309]1003SLOAD449402001
[310]1004PUSH14474031
[311]1006AND4473731
[312]1007ISZERO4473431
[313]1008PUSH24473131
[314]1011JUMPI44728101
[315]1018JUMPDEST4471811
[316]1019JUMPDEST4471711
[317]1020PUSH14471631
[318]1022ADD4471331
[319]1023PUSH24471031
[320]1026JUMP4470781
[321]923JUMPDEST4469911
[322]924PUSH14469831
[323]926SLOAD446952001
[324]927DUP24449531
[325]928LT4449231
[326]929ISZERO4448931
[327]930PUSH24448631
[328]933JUMPI44483101
[329]934PUSH14447331
[330]936PUSH14447031
[331]938PUSH14446731
[332]940DUP44446431
[333]941DUP24446131
[334]942SLOAD444582001
[335]943DUP24425831
[336]944LT4425531
[337]945ISZERO4425231
[338]946ISZERO4424931
[339]947PUSH24424631
[340]950JUMPI44243101
[341]952JUMPDEST4423311
[342]953SWAP14423231
[343]954PUSH14422931
[344]956MSTORE4422631
[345]957PUSH14422331
[346]959PUSH14422031
[347]961SHA344217361
[348]962SWAP14418131
[349]963ADD4417831
[350]964PUSH14417531
[351]966JUMPDEST4417211
[352]967SWAP14417131
[353]968SLOAD441682001
[354]969PUSH14396831
[355]971PUSH14396531
[356]973PUSH14396231
[357]975EXP43959601
[358]976SUB4389931
[359]977PUSH24389631
[360]980SWAP34389331
[361]981SWAP14389031
[362]982SWAP34388731
[363]983EXP43884101
[364]984SWAP14387431
[365]985DIV4387151
[366]986AND4386631
[367]987DUP24386331
[368]988MSTORE4386031
[369]989PUSH14385731
[370]991DUP24385431
[371]992ADD4385131
[372]993SWAP24384831
[373]994SWAP14384531
[374]995SWAP24384231
[375]996MSTORE4383931
[376]997PUSH14383631
[377]999ADD4383331
[378]1000PUSH14383031
[379]1002SHA343827421
[380]1003SLOAD437852001
[381]1004PUSH14358531
[382]1006AND4358231
[383]1007ISZERO4357931
[384]1008PUSH24357631
[385]1011JUMPI43573101
[386]1018JUMPDEST4356311
[387]1019JUMPDEST4356211
[388]1020PUSH14356131
[389]1022ADD4355831
[390]1023PUSH24355531
[391]1026JUMP4355281
[392]923JUMPDEST4354411
[393]924PUSH14354331
[394]926SLOAD435402001
[395]927DUP24334031
[396]928LT4333731
[397]929ISZERO4333431
[398]930PUSH24333131
[399]933JUMPI43328101
[400]1027JUMPDEST4331811
[401]1028PUSH14331731
[402]1030DUP34331431
[403]1031LT4331131
[404]1032ISZERO4330831
[405]1033SWAP34330531
[406]1034POP4330221
[407]1035JUMPDEST4330011
[408]1036POP4329921
[409]1037POP4329721
[410]1038SWAP14329531
[411]1039JUMP4329281
[412]806JUMPDEST4328411
[413]807ISZERO4328331
[414]808PUSH24328031
[415]811JUMPI43277101
[416]863JUMPDEST4326711
[417]864JUMPDEST4326611
[418]865JUMPDEST4326511
[419]866JUMPDEST4326411
[420]867JUMP4326381
[421]393JUMPDEST4325511
[422]394STOP4325401