Project Name: ccxt+ccxt
Language: Python
Statement Type: Constant Assignment

Source Code:
def leftmost_bit(x):
            assert x > 0
            result = 1
            while result <= x:
                result = 2 * result
            return result // 2

leftmost_bit(x=35418756707884953894268771885010418872764936485960643117951731578891074948686)

Selected Statement: result = 1

Function Input:
x: 35418756707884953894268771885010418872764936485960643117951731578891074948686

Variable Values Before Statement:
Constant: 1

Value After Statement Execution: 1

Variable States During Runtime (line, value):
x: 1
35418756707884953894268771885010418872764936485960643117951731578891074948686
result: 3
1
5
2
5
4
5
8
5
16
5
32
5
64
5
128
5
256
5
512
5
1024
5
2048
5
4096
5
8192
5
16384
5
32768
5
65536
5
131072
5
262144
5
524288
5
1048576
5
2097152
5
4194304
5
8388608
5
16777216
5
33554432
5
67108864
5
134217728
5
268435456
5
536870912
5
1073741824
5
2147483648
5
4294967296
5
8589934592
5
17179869184
5
34359738368
5
68719476736
5
137438953472
5
274877906944
5
549755813888
5
1099511627776
5
2199023255552
5
4398046511104
5
8796093022208
5
17592186044416
5
35184372088832
5
70368744177664
5
140737488355328
5
281474976710656
5
562949953421312
5
1125899906842624
5
2251799813685248
5
4503599627370496
5
9007199254740992
5
18014398509481984
5
36028797018963968
5
72057594037927936
5
144115188075855872
5
288230376151711744
5
576460752303423488
5
1152921504606846976
5
2305843009213693952
5
4611686018427387904
5
9223372036854775808
5
18446744073709551616
5
36893488147419103232
5
73786976294838206464
5
147573952589676412928
5
295147905179352825856
5
590295810358705651712
5
1180591620717411303424
5
2361183241434822606848
5
4722366482869645213696
5
9444732965739290427392
5
18889465931478580854784
5
37778931862957161709568
5
75557863725914323419136
5
151115727451828646838272
5
302231454903657293676544
5
604462909807314587353088
5
1208925819614629174706176
5
2417851639229258349412352
5
4835703278458516698824704
5
9671406556917033397649408
5
19342813113834066795298816
5
38685626227668133590597632
5
77371252455336267181195264
5
154742504910672534362390528
5
309485009821345068724781056
5
618970019642690137449562112
5
1237940039285380274899124224
5
2475880078570760549798248448
5
4951760157141521099596496896
5
9903520314283042199192993792
5
19807040628566084398385987584
5
39614081257132168796771975168
5
79228162514264337593543950336
5
158456325028528675187087900672
5
316912650057057350374175801344
5
633825300114114700748351602688
5
1267650600228229401496703205376
5
2535301200456458802993406410752
5
5070602400912917605986812821504
5
10141204801825835211973625643008
5
20282409603651670423947251286016
5
40564819207303340847894502572032
5
81129638414606681695789005144064
5
162259276829213363391578010288128
5
324518553658426726783156020576256
5
649037107316853453566312041152512
5
1298074214633706907132624082305024
5
2596148429267413814265248164610048
5
5192296858534827628530496329220096
5
10384593717069655257060992658440192
5
20769187434139310514121985316880384
5
41538374868278621028243970633760768
5
83076749736557242056487941267521536
5
166153499473114484112975882535043072
5
332306998946228968225951765070086144
5
664613997892457936451903530140172288
5
1329227995784915872903807060280344576
5
2658455991569831745807614120560689152
5
5316911983139663491615228241121378304
5
10633823966279326983230456482242756608
5
21267647932558653966460912964485513216
5
42535295865117307932921825928971026432
5
85070591730234615865843651857942052864
5
170141183460469231731687303715884105728
5
340282366920938463463374607431768211456
5
680564733841876926926749214863536422912
5
1361129467683753853853498429727072845824
5
2722258935367507707706996859454145691648
5
5444517870735015415413993718908291383296
5
10889035741470030830827987437816582766592
5
21778071482940061661655974875633165533184
5
43556142965880123323311949751266331066368
5
87112285931760246646623899502532662132736
5
174224571863520493293247799005065324265472
5
348449143727040986586495598010130648530944
5
696898287454081973172991196020261297061888
5
1393796574908163946345982392040522594123776
5
2787593149816327892691964784081045188247552
5
5575186299632655785383929568162090376495104
5
11150372599265311570767859136324180752990208
5
22300745198530623141535718272648361505980416
5
44601490397061246283071436545296723011960832
5
89202980794122492566142873090593446023921664
5
178405961588244985132285746181186892047843328
5
356811923176489970264571492362373784095686656
5
713623846352979940529142984724747568191373312
5
1427247692705959881058285969449495136382746624
5
2854495385411919762116571938898990272765493248
5
5708990770823839524233143877797980545530986496
5
11417981541647679048466287755595961091061972992
5
22835963083295358096932575511191922182123945984
5
45671926166590716193865151022383844364247891968
5
91343852333181432387730302044767688728495783936
5
182687704666362864775460604089535377456991567872
5
365375409332725729550921208179070754913983135744
5
730750818665451459101842416358141509827966271488
5
1461501637330902918203684832716283019655932542976
5
2923003274661805836407369665432566039311865085952
5
5846006549323611672814739330865132078623730171904
5
11692013098647223345629478661730264157247460343808
5
23384026197294446691258957323460528314494920687616
5
46768052394588893382517914646921056628989841375232
5
93536104789177786765035829293842113257979682750464
5
187072209578355573530071658587684226515959365500928
5
374144419156711147060143317175368453031918731001856
5
748288838313422294120286634350736906063837462003712
5
1496577676626844588240573268701473812127674924007424
5
2993155353253689176481146537402947624255349848014848
5
5986310706507378352962293074805895248510699696029696
5
11972621413014756705924586149611790497021399392059392
5
23945242826029513411849172299223580994042798784118784
5
47890485652059026823698344598447161988085597568237568
5
95780971304118053647396689196894323976171195136475136
5
191561942608236107294793378393788647952342390272950272
5
383123885216472214589586756787577295904684780545900544
5
766247770432944429179173513575154591809369561091801088
5
1532495540865888858358347027150309183618739122183602176
5
3064991081731777716716694054300618367237478244367204352
5
6129982163463555433433388108601236734474956488734408704
5
12259964326927110866866776217202473468949912977468817408
5
24519928653854221733733552434404946937899825954937634816
5
49039857307708443467467104868809893875799651909875269632
5
98079714615416886934934209737619787751599303819750539264
5
196159429230833773869868419475239575503198607639501078528
5
392318858461667547739736838950479151006397215279002157056
5
784637716923335095479473677900958302012794430558004314112
5
1569275433846670190958947355801916604025588861116008628224
5
3138550867693340381917894711603833208051177722232017256448
5
6277101735386680763835789423207666416102355444464034512896
5
12554203470773361527671578846415332832204710888928069025792
5
25108406941546723055343157692830665664409421777856138051584
5
50216813883093446110686315385661331328818843555712276103168
5
100433627766186892221372630771322662657637687111424552206336
5
200867255532373784442745261542645325315275374222849104412672
5
401734511064747568885490523085290650630550748445698208825344
5
803469022129495137770981046170581301261101496891396417650688
5
1606938044258990275541962092341162602522202993782792835301376
5
3213876088517980551083924184682325205044405987565585670602752
5
6427752177035961102167848369364650410088811975131171341205504
5
12855504354071922204335696738729300820177623950262342682411008
5
25711008708143844408671393477458601640355247900524685364822016
5
51422017416287688817342786954917203280710495801049370729644032
5
102844034832575377634685573909834406561420991602098741459288064
5
205688069665150755269371147819668813122841983204197482918576128
5
411376139330301510538742295639337626245683966408394965837152256
5
822752278660603021077484591278675252491367932816789931674304512
5
1645504557321206042154969182557350504982735865633579863348609024
5
3291009114642412084309938365114701009965471731267159726697218048
5
6582018229284824168619876730229402019930943462534319453394436096
5
13164036458569648337239753460458804039861886925068638906788872192
5
26328072917139296674479506920917608079723773850137277813577744384
5
52656145834278593348959013841835216159447547700274555627155488768
5
105312291668557186697918027683670432318895095400549111254310977536
5
210624583337114373395836055367340864637790190801098222508621955072
5
421249166674228746791672110734681729275580381602196445017243910144
5
842498333348457493583344221469363458551160763204392890034487820288
5
1684996666696914987166688442938726917102321526408785780068975640576
5
3369993333393829974333376885877453834204643052817571560137951281152
5
6739986666787659948666753771754907668409286105635143120275902562304
5
13479973333575319897333507543509815336818572211270286240551805124608
5
26959946667150639794667015087019630673637144422540572481103610249216
5
53919893334301279589334030174039261347274288845081144962207220498432
5
107839786668602559178668060348078522694548577690162289924414440996864
5
215679573337205118357336120696157045389097155380324579848828881993728
5
431359146674410236714672241392314090778194310760649159697657763987456
5
862718293348820473429344482784628181556388621521298319395315527974912
5
1725436586697640946858688965569256363112777243042596638790631055949824
5
3450873173395281893717377931138512726225554486085193277581262111899648
5
6901746346790563787434755862277025452451108972170386555162524223799296
5
13803492693581127574869511724554050904902217944340773110325048447598592
5
27606985387162255149739023449108101809804435888681546220650096895197184
5
55213970774324510299478046898216203619608871777363092441300193790394368
5
110427941548649020598956093796432407239217743554726184882600387580788736
5
220855883097298041197912187592864814478435487109452369765200775161577472
5
441711766194596082395824375185729628956870974218904739530401550323154944
5
883423532389192164791648750371459257913741948437809479060803100646309888
5
1766847064778384329583297500742918515827483896875618958121606201292619776
5
3533694129556768659166595001485837031654967793751237916243212402585239552
5
7067388259113537318333190002971674063309935587502475832486424805170479104
5
14134776518227074636666380005943348126619871175004951664972849610340958208
5
28269553036454149273332760011886696253239742350009903329945699220681916416
5
56539106072908298546665520023773392506479484700019806659891398441363832832
5
113078212145816597093331040047546785012958969400039613319782796882727665664
5
226156424291633194186662080095093570025917938800079226639565593765455331328
5
452312848583266388373324160190187140051835877600158453279131187530910662656
5
904625697166532776746648320380374280103671755200316906558262375061821325312
5
1809251394333065553493296640760748560207343510400633813116524750123642650624
5
3618502788666131106986593281521497120414687020801267626233049500247285301248
5
7237005577332262213973186563042994240829374041602535252466099000494570602496
5
14474011154664524427946373126085988481658748083205070504932198000989141204992
5
28948022309329048855892746252171976963317496166410141009864396001978282409984
5
57896044618658097711785492504343953926634992332820282019728792003956564819968