A total of 635 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]1240JUMPDEST6748611
[121]1241JUMPDEST6748511
[122]1242PUSH16748431
[123]1244ADD6748131
[124]1245PUSH26747831
[125]1248JUMP6747581
[126]1149JUMPDEST6746711
[127]1150PUSH16746631
[128]1152SLOAD674632001
[129]1153DUP26726331
[130]1154LT6726031
[131]1155ISZERO6725731
[132]1156PUSH26725431
[133]1159JUMPI67251101
[134]1160DUP36724131
[135]1161PUSH16723831
[136]1163PUSH16723531
[137]1165PUSH16723231
[138]1167EXP67229601
[139]1168SUB6716931
[140]1169AND6716631
[141]1170PUSH16716331
[142]1172DUP36716031
[143]1173DUP26715731
[144]1174SLOAD671542001
[145]1175DUP26695431
[146]1176LT6695131
[147]1177ISZERO6694831
[148]1178ISZERO6694531
[149]1179PUSH26694231
[150]1182JUMPI66939101
[151]1184JUMPDEST6692911
[152]1185SWAP16692831
[153]1186PUSH16692531
[154]1188MSTORE6692231
[155]1189PUSH16691931
[156]1191PUSH16691631
[157]1193SHA366913361
[158]1194SWAP16687731
[159]1195ADD6687431
[160]1196PUSH16687131
[161]1198JUMPDEST6686811
[162]1199SWAP16686731
[163]1200SLOAD668642001
[164]1201SWAP16666431
[165]1202PUSH26666131
[166]1205EXP66658101
[167]1206SWAP16664831
[168]1207DIV6664551
[169]1208PUSH16664031
[170]1210PUSH16663731
[171]1212PUSH16663431
[172]1214EXP66631601
[173]1215SUB6657131
[174]1216AND6656831
[175]1217PUSH16656531
[176]1219PUSH16656231
[177]1221PUSH16655931
[178]1223EXP66556601
[179]1224SUB6649631
[180]1225AND6649331
[181]1226EQ6649031
[182]1227ISZERO6648731
[183]1228PUSH26648431
[184]1231JUMPI66481101
[185]1240JUMPDEST6647111
[186]1241JUMPDEST6647011
[187]1242PUSH16646931
[188]1244ADD6646631
[189]1245PUSH26646331
[190]1248JUMP6646081
[191]1149JUMPDEST6645211
[192]1150PUSH16645131
[193]1152SLOAD664482001
[194]1153DUP26624831
[195]1154LT6624531
[196]1155ISZERO6624231
[197]1156PUSH26623931
[198]1159JUMPI66236101
[199]1160DUP36622631
[200]1161PUSH16622331
[201]1163PUSH16622031
[202]1165PUSH16621731
[203]1167EXP66214601
[204]1168SUB6615431
[205]1169AND6615131
[206]1170PUSH16614831
[207]1172DUP36614531
[208]1173DUP26614231
[209]1174SLOAD661392001
[210]1175DUP26593931
[211]1176LT6593631
[212]1177ISZERO6593331
[213]1178ISZERO6593031
[214]1179PUSH26592731
[215]1182JUMPI65924101
[216]1184JUMPDEST6591411
[217]1185SWAP16591331
[218]1186PUSH16591031
[219]1188MSTORE6590731
[220]1189PUSH16590431
[221]1191PUSH16590131
[222]1193SHA365898361
[223]1194SWAP16586231
[224]1195ADD6585931
[225]1196PUSH16585631
[226]1198JUMPDEST6585311
[227]1199SWAP16585231
[228]1200SLOAD658492001
[229]1201SWAP16564931
[230]1202PUSH26564631
[231]1205EXP65643101
[232]1206SWAP16563331
[233]1207DIV6563051
[234]1208PUSH16562531
[235]1210PUSH16562231
[236]1212PUSH16561931
[237]1214EXP65616601
[238]1215SUB6555631
[239]1216AND6555331
[240]1217PUSH16555031
[241]1219PUSH16554731
[242]1221PUSH16554431
[243]1223EXP65541601
[244]1224SUB6548131
[245]1225AND6547831
[246]1226EQ6547531
[247]1227ISZERO6547231
[248]1228PUSH26546931
[249]1231JUMPI65466101
[250]1232PUSH16545631
[251]1234SWAP26545331
[252]1235POP6545021
[253]1236PUSH26544831
[254]1239JUMP6544581
[255]1254JUMPDEST6543711
[256]1255POP6543621
[257]1256SWAP26543431
[258]1257SWAP16543131
[259]1258POP6542821
[260]1259JUMP6542681
[261]748JUMPDEST6541811
[262]749ISZERO6541731
[263]750ISZERO6541431
[264]751PUSH26541131
[265]754JUMPI65408101
[266]760JUMPDEST6539811
[267]761PUSH16539731
[268]763PUSH16539431
[269]765PUSH16539131
[270]767EXP65388601
[271]768SUB6532831
[272]769CALLER6532521
[273]770AND6532331
[274]771PUSH16532031
[275]773SWAP16531731
[276]774DUP26531431
[277]775MSTORE6531131
[278]776PUSH16530831
[279]778PUSH16530531
[280]780DUP26530231
[281]781SWAP16529931
[282]782MSTORE6529631
[283]783PUSH16529331
[284]785SWAP16529031
[285]786SWAP26528731
[286]787SHA365284421
[287]788DUP16524231
[288]789SLOAD652392001
[289]790PUSH16503931
[290]792NOT6503631
[291]793AND6503331
[292]794SWAP16503031
[293]795SWAP26502731
[294]796OR6502431
[295]797SWAP16502131
[296]798SSTORE65018200001
[297]799PUSH24501831
[298]802PUSH24501531
[299]805JUMP4501281
[300]918JUMPDEST4500411
[301]919PUSH14500331
[302]921DUP14500031
[303]922DUP14499731
[304]923JUMPDEST4499411
[305]924PUSH14499331
[306]926SLOAD449902001
[307]927DUP24479031
[308]928LT4478731
[309]929ISZERO4478431
[310]930PUSH24478131
[311]933JUMPI44778101
[312]934PUSH14476831
[313]936PUSH14476531
[314]938PUSH14476231
[315]940DUP44475931
[316]941DUP24475631
[317]942SLOAD447532001
[318]943DUP24455331
[319]944LT4455031
[320]945ISZERO4454731
[321]946ISZERO4454431
[322]947PUSH24454131
[323]950JUMPI44538101
[324]952JUMPDEST4452811
[325]953SWAP14452731
[326]954PUSH14452431
[327]956MSTORE4452131
[328]957PUSH14451831
[329]959PUSH14451531
[330]961SHA344512361
[331]962SWAP14447631
[332]963ADD4447331
[333]964PUSH14447031
[334]966JUMPDEST4446711
[335]967SWAP14446631
[336]968SLOAD444632001
[337]969PUSH14426331
[338]971PUSH14426031
[339]973PUSH14425731
[340]975EXP44254601
[341]976SUB4419431
[342]977PUSH24419131
[343]980SWAP34418831
[344]981SWAP14418531
[345]982SWAP34418231
[346]983EXP44179101
[347]984SWAP14416931
[348]985DIV4416651
[349]986AND4416131
[350]987DUP24415831
[351]988MSTORE4415531
[352]989PUSH14415231
[353]991DUP24414931
[354]992ADD4414631
[355]993SWAP24414331
[356]994SWAP14414031
[357]995SWAP24413731
[358]996MSTORE4413431
[359]997PUSH14413131
[360]999ADD4412831
[361]1000PUSH14412531
[362]1002SHA344122421
[363]1003SLOAD440802001
[364]1004PUSH14388031
[365]1006AND4387731
[366]1007ISZERO4387431
[367]1008PUSH24387131
[368]1011JUMPI43868101
[369]1012PUSH14385831
[370]1014SWAP14385531
[371]1015SWAP24385231
[372]1016ADD4384931
[373]1017SWAP14384631
[374]1018JUMPDEST4384311
[375]1019JUMPDEST4384211
[376]1020PUSH14384131
[377]1022ADD4383831
[378]1023PUSH24383531
[379]1026JUMP4383281
[380]923JUMPDEST4382411
[381]924PUSH14382331
[382]926SLOAD438202001
[383]927DUP24362031
[384]928LT4361731
[385]929ISZERO4361431
[386]930PUSH24361131
[387]933JUMPI43608101
[388]934PUSH14359831
[389]936PUSH14359531
[390]938PUSH14359231
[391]940DUP44358931
[392]941DUP24358631
[393]942SLOAD435832001
[394]943DUP24338331
[395]944LT4338031
[396]945ISZERO4337731
[397]946ISZERO4337431
[398]947PUSH24337131
[399]950JUMPI43368101
[400]952JUMPDEST4335811
[401]953SWAP14335731
[402]954PUSH14335431
[403]956MSTORE4335131
[404]957PUSH14334831
[405]959PUSH14334531
[406]961SHA343342361
[407]962SWAP14330631
[408]963ADD4330331
[409]964PUSH14330031
[410]966JUMPDEST4329711
[411]967SWAP14329631
[412]968SLOAD432932001
[413]969PUSH14309331
[414]971PUSH14309031
[415]973PUSH14308731
[416]975EXP43084601
[417]976SUB4302431
[418]977PUSH24302131
[419]980SWAP34301831
[420]981SWAP14301531
[421]982SWAP34301231
[422]983EXP43009101
[423]984SWAP14299931
[424]985DIV4299651
[425]986AND4299131
[426]987DUP24298831
[427]988MSTORE4298531
[428]989PUSH14298231
[429]991DUP24297931
[430]992ADD4297631
[431]993SWAP24297331
[432]994SWAP14297031
[433]995SWAP24296731
[434]996MSTORE4296431
[435]997PUSH14296131
[436]999ADD4295831
[437]1000PUSH14295531
[438]1002SHA342952421
[439]1003SLOAD429102001
[440]1004PUSH14271031
[441]1006AND4270731
[442]1007ISZERO4270431
[443]1008PUSH24270131
[444]1011JUMPI42698101
[445]1018JUMPDEST4268811
[446]1019JUMPDEST4268711
[447]1020PUSH14268631
[448]1022ADD4268331
[449]1023PUSH24268031
[450]1026JUMP4267781
[451]923JUMPDEST4266911
[452]924PUSH14266831
[453]926SLOAD426652001
[454]927DUP24246531
[455]928LT4246231
[456]929ISZERO4245931
[457]930PUSH24245631
[458]933JUMPI42453101
[459]934PUSH14244331
[460]936PUSH14244031
[461]938PUSH14243731
[462]940DUP44243431
[463]941DUP24243131
[464]942SLOAD424282001
[465]943DUP24222831
[466]944LT4222531
[467]945ISZERO4222231
[468]946ISZERO4221931
[469]947PUSH24221631
[470]950JUMPI42213101
[471]952JUMPDEST4220311
[472]953SWAP14220231
[473]954PUSH14219931
[474]956MSTORE4219631
[475]957PUSH14219331
[476]959PUSH14219031
[477]961SHA342187361
[478]962SWAP14215131
[479]963ADD4214831
[480]964PUSH14214531
[481]966JUMPDEST4214211
[482]967SWAP14214131
[483]968SLOAD421382001
[484]969PUSH14193831
[485]971PUSH14193531
[486]973PUSH14193231
[487]975EXP41929601
[488]976SUB4186931
[489]977PUSH24186631
[490]980SWAP34186331
[491]981SWAP14186031
[492]982SWAP34185731
[493]983EXP41854101
[494]984SWAP14184431
[495]985DIV4184151
[496]986AND4183631
[497]987DUP24183331
[498]988MSTORE4183031
[499]989PUSH14182731
[500]991DUP24182431
[501]992ADD4182131
[502]993SWAP24181831
[503]994SWAP14181531
[504]995SWAP24181231
[505]996MSTORE4180931
[506]997PUSH14180631
[507]999ADD4180331
[508]1000PUSH14180031
[509]1002SHA341797421
[510]1003SLOAD417552001
[511]1004PUSH14155531
[512]1006AND4155231
[513]1007ISZERO4154931
[514]1008PUSH24154631
[515]1011JUMPI41543101
[516]1012PUSH14153331
[517]1014SWAP14153031
[518]1015SWAP24152731
[519]1016ADD4152431
[520]1017SWAP14152131
[521]1018JUMPDEST4151811
[522]1019JUMPDEST4151711
[523]1020PUSH14151631
[524]1022ADD4151331
[525]1023PUSH24151031
[526]1026JUMP4150781
[527]923JUMPDEST4149911
[528]924PUSH14149831
[529]926SLOAD414952001
[530]927DUP24129531
[531]928LT4129231
[532]929ISZERO4128931
[533]930PUSH24128631
[534]933JUMPI41283101
[535]1027JUMPDEST4127311
[536]1028PUSH14127231
[537]1030DUP34126931
[538]1031LT4126631
[539]1032ISZERO4126331
[540]1033SWAP34126031
[541]1034POP4125721
[542]1035JUMPDEST4125511
[543]1036POP4125421
[544]1037POP4125221
[545]1038SWAP14125031
[546]1039JUMP4124781
[547]806JUMPDEST4123911
[548]807ISZERO4123831
[549]808PUSH24123531
[550]811JUMPI41232101
[551]812PUSH24122231
[552]815PUSH24121931
[553]818JUMP4121681
[554]571JUMPDEST4120811
[555]572PUSH14120731
[556]574PUSH14120431
[557]576PUSH14120131
[558]578DUP24119831
[559]579SLOAD411952001
[560]580DUP24099531
[561]581LT4099231
[562]582ISZERO4098931
[563]583ISZERO4098631
[564]584PUSH24098331
[565]587JUMPI40980101
[566]589JUMPDEST4097011
[567]590SWAP14096931
[568]591PUSH14096631
[569]593MSTORE4096331
[570]594PUSH14096031
[571]596PUSH14095731
[572]598SHA340954361
[573]599SWAP14091831
[574]600ADD4091531
[575]601PUSH14091231
[576]603JUMPDEST4090911
[577]604SWAP14090831
[578]605SLOAD409052001
[579]606SWAP14070531
[580]607PUSH24070231
[581]610EXP40699101
[582]611SWAP14068931
[583]612DIV4068651
[584]613PUSH14068131
[585]615PUSH14067831
[586]617PUSH14067531
[587]619EXP40672601
[588]620SUB4061231
[589]621AND4060931
[590]622SWAP14060631
[591]623POP4060321
[592]624JUMPDEST4060111
[593]625SWAP14060031
[594]626JUMP4059781
[595]819JUMPDEST4058911
[596]820PUSH14058831
[597]822MLOAD4058531
[598]823PUSH14058231
[599]825PUSH14057931
[600]827PUSH14057631
[601]829EXP40573601
[602]830SUB4051331
[603]831SWAP24051031
[604]832DUP34050731
[605]833AND4050431
[606]834SWAP24050131
[607]835ADDRESS4049821
[608]836AND4049631
[609]837BALANCE404934001
[610]838SWAP14009331
[611]839PUSH14009031
[612]841DUP24008731
[613]842DUP24008431
[614]843DUP24008131
[615]844DUP64007831
[616]845DUP84007531
[617]846PUSH24007231
[618]849GAS4006921
[619]850SUB4006731
[620]851CALL40064399811
[621]852SWAP3766431
[622]853POP766121
[623]854POP765921
[624]855POP765721
[625]856ISZERO765531
[626]857ISZERO765231
[627]858PUSH2764931
[628]861JUMPI7646101
[629]863JUMPDEST763611
[630]864JUMPDEST763511
[631]865JUMPDEST763411
[632]866JUMPDEST763311
[633]867JUMP763281
[634]393JUMPDEST762411
[635]394STOP762301