Problem:
Floating-Point Numbers In this problem, we consider floating-point number formats, data representation formats to approximate real numbers on computers. Scientific notation is a method to express a number, frequently used for
numbers too large or too small to be written tersely in usual decimal form.
In scientific notation, all numbers are written in the form m × 10 e .
Here, m (called significand ) is a number
greater than or equal to 1 and less than 10,
and e (called exponent ) is an integer.
For example, a number 13.5 is equal to 1.35 × 10 1 ,
so we can express it in scientific notation with significand 1.35 and exponent 1. As binary number representation is convenient on computers,
let's consider binary scientific notation with base two, instead of ten.
In binary scientific notation, all numbers are written in the form m × 2 e .
Since the base is two, m is limited to be less than 2.
For example, 13.5 is equal to 1.6875 × 2 3 ,
so we can express it in binary scientific notation
with significand 1.6875 and exponent 3.
The significand 1.6875 is equal to 1 + 1/2 + 1/8 + 1/16,
which is 1.1011 2 in binary notation.
Similarly, the exponent 3 can be expressed as 11 2 in binary notation. A floating-point number expresses a number in binary scientific notation in finite number of bits.
Although the accuracy of the significand and the range of the exponent are limited by the number of bits, we can express numbers in a wide range with reasonably high accuracy. In this problem, we consider a 64-bit floating-point number format,
simplified from one actually used widely,
in which only those numbers greater than or equal to 1 can be expressed.
Here, the first 12 bits are used for the exponent and the remaining 52 bits for the significand.

Let's denote the 64 bits of a floating-point number by b 64 ... b 1 .
With e an unsigned binary integer
( b 64 ... b 53 ) 2 ,
and with m a binary fraction represented by the remaining 52 bits
plus one (1. b 52 ... b 1 ) 2 ,
the floating-point number represents the number m × 2 e . We show below the bit string of the representation of 13.5 in the format described above.   In floating-point addition operations, the results have to be approximated by numbers representable in floating-point format.
Here, we assume that the approximation is by truncation.
When the sum of two floating-point numbers a and b is expressed in binary scientific notation as a + b = m × 2 e (1 ≤ m < 2, 0 ≤ e < 2 12 ),
the result of addition operation on them will be a floating-point number with its first 12 bits representing e as an unsigned integer
and the remaining 52 bits representing the first 52 bits of the binary fraction of m . A disadvantage of this approximation method is that the approximation error accumulates easily.
To verify this, let's make an experiment of adding a floating-point number many times, as in the pseudocode shown below.
Here, s and a are floating-point numbers, and the results of individual addition are approximated as described above. s := a for n times { s := s + a } For a given floating-point number a and a number of repetitions n ,
compute the bits of the floating-point number s when the above pseudocode finishes. Input The input consists of at most 1000 datasets, each in the following format.   n   b 52 ... b 1     n is the number of repetitions. (1 ≤ n ≤ 10 18 )
For each i , b i is either 0 or 1.
As for the floating-point number a in the pseudocode, the exponent is 0 and the significand is b 52 ... b 1 . The end of the input is indicated by a line containing a zero. Output For each dataset, the 64 bits of the floating-point number s after finishing the pseudocode should be output as a sequence of 64 digits, each being 0 or 1 in one line. Sample Input 1
0000000000000000000000000000000000000000000000000000
2
0000000000000000000000000000000000000000000000000000
3
0000000000000000000000000000000000000000000000000000
4
0000000000000000000000000000000000000000000000000000
7
1101000000000000000000000000000000000000000000000000
100
1100011010100001100111100101000111001001111100101011
123456789
1010101010101010101010101010101010101010101010101010
1000000000000000000
1111111111111111111111111111111111111111111111111111
0 Output for the Sample Input 0000000000010000000000000000000000000000000000000000000000000000
0000000000011000000000000000000000000000000000000000000000000000
0000000000100000000000000000000000000000000000000000000000000000
0000000000100100000000000000000000000000000000000000000000000000
0000000000111101000000000000000000000000000000000000000000000000
0000000001110110011010111011100001101110110010001001010101111111
0000000110111000100001110101011001000111100001010011110101011000
0000001101010000000000000000000000000000000000000000000000000000

Solution (Python):

import math
import sys
ma = 1<<53 
while 1:
    n = int(sys.stdin.readline())
    if n == 0:
        break
    s = list(sys.stdin.readline()[:-1])
    """aを先頭の1を含む53ビットとして保存"""
    a = 1
    for i in range(52):
        a <<= 1
        a += int(s[i])
    ans = a
    e = 0
    """「切り下げながら足し算」→「aを適時右シフトしながら和を取る」を利用"""
    while n:
        if a == 0: 
            break
        k = math.ceil((ma-ans)/a) 
        if n < k: 
            ans += a*n
            break
        ans += a*k
        """以下桁が増えた時の処理、ansを右シフトして、53ビットに収める。指数部をインクリメント、桁が1増えたためaを1つ右シフト"""
        ans >>= 1
        e += 1
        a >>= 1
        """"""
        n -= k 

    e = list(bin(e)[2:])
    for i in range(12-len(e)):
        e.insert(0,0)
    ans = list(bin(ans)[3:]) 
    for i in range(52-len(ans)):
        ans.insert(0,0)
    for i in e+ans:
        print(i,end = "")
    print()

Solution (Python):
ans = []
while 1:
    N = int(input())
    if N == 0:
        break
    B = int("1" + input(), 2)
    bd = 1 << 53

    su = B
    ep = 0
    while B:
        k = (bd - su + B - 1) // B
        if N < k:
            su += N*B
            break
        su += k*B
        N -= k
        ep += 1
        B >>= 1
        su >>= 1
    ans.append(format(ep, '012b') + format(su ^ (1 << 52), '052b'))
print(*ans, sep='\n')