Smallest Hofstadter hitters

 

 

Hello Seqfans,

 

If we call "hofstadtering" the operation visible here http://oeis.org/A005228, we could indeed hofstadter any integer to produce a strictly increasing sequence.

 

Take 38, for instance and start a sequence S where S and the first differences together include all positive numbers exactly once:

 

S = 38   39   41   44   48   53   59   66   74   83 ...

d =    1    2    3    4    5    6    7    8    9

 

We see that 38 "hits" 83 (for instance) – but is 38 the smallest integer hitting 83? No, it is 1 (as one will see following the above link).

 

What is the sequence of the "Smallest Hofstadter Hitters" (SHH) of the natural numbers?

 

I guess SHH starts:

 

  n = 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 ...

SHH = 1 2 1 3 4 3 1 5 6  4  3  1  7  8  5  4  7  1  9 10 ...

 

Best,

É.

 

_______________

 

[Lars Blomberg]:

 

Hi Eric,

 

The first 1000 values of SHH as I have found them are

1, 2, 1, 3, 4, 3, 1, 5, 6, 4, 3, 1, 7, 8, 5, 4, 7, 1, 9, 10, 6, 5, 8, 4, 10, 1, 12, 7, 6, 9, 5, 11, 4, 13, 1, 8, 7, 10, 6, 12, 5, 14, 15, 4, 1, 8, 11, 7, 13, 6, 15, 16, 5, 18, 10, 1, 3, 8, 14, 7, 16, 17, 6, 19, 20, 5, 10, 13, 1, 3, 8, 17, 18, 7, 20, 21, 6, 12, 11, 5, 10, 16, 1, 3, 19, 8, 21, 22, 7, 24, 13, 6, 15, 11, 17, 5, 19, 1, 3, 22, 23, 8, 25, 26, 7, 13, 16, 12, 6, 11, 20, 21, 5, 1, 3, 9, 26, 27, 8, 15, 14, 17, 7, 19, 12, 21, 6, 11, 24, 25, 1, 3, 4, 9, 30, 16, 15, 8, 14, 20, 13, 7, 23, 12, 25, 6, 11, 28, 29, 1, 3, 4, 17, 9, 19, 15, 21, 8, 23, 24, 13, 7, 27, 12, 29, 6, 11, 32, 33, 1, 3, 4, 20, 16, 9, 15, 24, 25, 8, 27, 28, 13, 7, 31, 12, 33, 34, 6, 11, 19, 1, 3, 4, 23, 16, 25, 9, 15, 28, 29, 8, 31, 32, 13, 34, 7, 36, 12, 38, 20, 6, 11, 1, 3, 4, 10, 27, 16, 29, 9, 15, 32, 33, 14, 8, 36, 37, 13, 39, 7, 21, 12, 23, 19, 6, 1, 3, 4, 17, 10, 31, 16, 33, 34, 9, 36, 37, 38, 14, 8, 41, 42, 13, 21, 7, 20, 12, 19, 28, 1, 3, 31, 4, 17, 34, 10, 16, 37, 38, 39, 9, 41, 42, 43, 14, 8, 22, 25, 13, 27, 7, 29, 12, 19, 1, 3, 18, 11, 4, 17, 38, 39, 10, 16, 42, 43, 44, 9, 46, 24, 23, 14, 8, 28, 21, 13, 31, 7, 33, 34, 12, 1, 3, 18, 39, 4, 41, 17, 43, 44, 10, 16, 47, 48, 25, 9, 27, 23, 29, 14, 8, 32, 21, 34, 13, 20, 7, 38, 19, 1, 3, 42, 18, 4, 11, 46, 17, 48, 49, 10, 16, 25, 28, 24, 9, 23, 32, 33, 22, 14, 8, 21, 38, 39, 13, 41, 7, 43, 1, 3, 6, 47, 4, 49, 11, 51, 17, 27, 26, 10, 16, 31, 24, 33, 34, 9, 36, 37, 22, 39, 14, 8, 42, 43, 44, 13, 46, 7, 1, 3, 12, 6, 4, 18, 54, 11, 27, 17, 26, 32, 25, 10, 16, 24, 37, 38, 23, 9, 41, 22, 43, 44, 14, 8, 47, 48, 49, 13, 51, 1, 3, 19, 12, 4, 5, 18, 31, 27, 11, 26, 17, 36, 25, 38, 10, 16, 41, 42, 23, 44, 9, 46, 22, 48, 49, 14, 8, 52, 53, 54, 13, 1, 3, 58, 19, 4, 6, 5, 34, 18, 36, 37, 11, 39, 17, 25, 42, 43, 10, 16, 46, 47, 23, 49, 9, 51, 22, 53, 54, 14, 8, 57, 58, 59, 1, 3, 7, 33, 29, 4, 6, 5, 38, 27, 18, 41, 26, 11, 44, 17, 46, 47, 48, 10, 16, 51, 52, 23, 54, 9, 56, 22, 58, 59, 60, 8, 62, 32, 1, 3, 20, 7, 29, 38, 4, 6, 5, 12, 27, 44, 18, 26, 47, 11, 49, 17, 51, 52, 53, 10, 16, 56, 57, 23, 59, 9, 15, 22, 63, 64, 33, 32, 8, 31, 1, 3, 39, 7, 13, 42, 4, 6, 5, 46, 12, 48, 49, 18, 26, 52, 11, 54, 17, 56, 57, 58, 10, 60, 16, 62, 23, 64, 65, 9, 15, 22, 36, 32, 38, 31, 8, 1, 3, 43, 44, 7, 13, 4, 6, 5, 19, 51, 12, 53, 54, 18, 26, 57, 11, 59, 25, 17, 62, 63, 24, 10, 66, 16, 68, 23, 34, 37, 9, 15, 22, 41, 42, 31, 44, 1, 3, 47, 48, 29, 7, 4, 6, 5, 54, 19, 56, 12, 58, 59, 60, 18, 62, 63, 11, 25, 66, 17, 68, 69, 24, 10, 35, 16, 34, 23, 33, 42, 9, 15, 22, 46, 31, 48, 1, 3, 51, 52, 53, 29, 4, 13, 5, 28, 59, 60, 19, 27, 12, 64, 65, 26, 18, 68, 69, 11, 25, 72, 17, 36, 39, 24, 10, 34, 16, 44, 23, 46, 47, 9, 15, 22, 31, 52, 1, 3, 8, 56, 57, 58, 4, 7, 5, 6, 28, 64, 65, 66, 19, 68, 12, 70, 71, 26, 18, 74, 38, 11, 25, 36, 17, 35, 44, 24, 10, 47, 16, 33, 23, 51, 32, 9, 15, 22, 31, 1, 3, 59, 8, 14, 62, 4, 29, 7, 5, 6, 13, 69, 70, 71, 72, 19, 74, 12, 76, 39, 26, 18, 37, 43, 11, 25, 46, 17, 48, 49, 24, 10, 52, 16, 54, 23, 56, 32, 9, 59, 15, 1, 3, 63, 64, 8, 66, 4, 68, 29, 7, 5, 6, 20, 13, 75, 76, 77, 78, 19, 39, 12, 38, 44, 26, 18, 47, 36, 11, 25, 35, 17, 53, 34, 24, 10, 57, 33, 16, 60, 23, 32, 9, 64, 1, 3, 22, 68, 69, 8, 4, 72, 14, 74, 7, 5, 6, 78, 20, 13, 41, 40, 43, 39, 19, 38, 12, 48, 37, 26, 18, 36, 53, 11, 25, 56, 57, 17, 34, 60, 10, 62, 33, 64, 16, 66, 23, 68, 1, 3, 31, 15, 22, 74, 8, 4, 77, 78, 14, 7, 5, 6, 42, 41, 20, 13, 46, 39, 48, 49, 19, 51, 12, 37, 54, 26, 36, 18, 58, 11, 35, 25, 62, 63, 17, 65, 66, 10, 33, 69, 70, 16, 32, 23, 1, 3, 76, 31, 15, 22, 80, 4, 30, 83, 84, 7, 5, 6, 41, 47, 40, 20, 13, 39, 52, 53, 38, 27, 19, 12, 58, 59, 60, 26, 62, 18, 64, 11, 66, 25, 68, 34, 17, 71, 72, 10, 74, 75, 76, 16, 32, 1, 3, 9, 82, 31, 15, 22, 4, 8, 30, 46, 7, 5, 6, 29, 51, 40, 53, 54, ...

 

The histogram is irregular and not very interesting.

 

[Jean-Marc Falcoz]:

 

Voici 10000 termes de cette suite hofstadterisée.

L’histogramme est curieux, son enveloppe est manifestement de type racine carrée de x (en pointillé rouge : Sqrt(8x). Je ne sais pas pourquoi on a ce phénomène, ni pourquoi on a ces sinuosités à la base du graphe... D’ailleurs, leurs bases tendent à s’espacer !

On peut également discerner, à mi-hauteur du graphe, une zone au-dessous de laquelle les "filaments" sont incurvés, et au-dessus de laquelle, ils tendent à être verticaux.

 

 

SHH = {1, 2, 1, 3, 4, 3, 1, 5, 6, 4, 3, 1, 7, 8, 5, 4, 7, 1, 9, 10, 6, 5, 8, 4, 10, 1, 12, 7, 6, 9, 5, 11, 4, 13, 1, 8, 7, 10, 6, 12, 5, 14, 15, 4, 1, 8, 11, 7, 13, 6, 15, 16, 5, 18, 10, 1, 3, 8, 14, 7, 16, 17, 6, 19, 20, 5, 10, 13, 1, 3, 8, 17, 18, 7, 20, 21, 6, 12, 11, 5, 10, 16, 1, 3, 19, 8, 21, 22, 7, 24, 13, 6, 15, 11, 17, 5, 19, 1, 3, 22, 23, 8, 25, 26, 7, 13, 16, 12, 6, 11, 20, 21, 5, 1, 3, 9, 26, 27, 8, 15, 14, 17, 7, 19, 12, 21, 6, 11, 24, 25, 1, 3, 4, 9, 30, 16, 15, 8, 14, 20, 13, 7, 23, 12, 25, 6, 11, 28, 29, 1, 3, 4, 17, 9, 19, 15, 21, 8, 23, 24, 13, 7, 27, 12, 29, 6, 11, 32, 33, 1, 3, 4, 20, 16, 9, 15, 24, 25, 8, 27, 28, 13, 7, 31, 12, 33, 34, 6, 11, 19, 1, 3, 4, 23, 16, 25, 9, 15, 28, 29, 8, 31, 32, 13, 34, 7, 36, 12, 38, 20, 6, 11, 1, 3, 4, 10, 27, 16, 29, 9, 15, 32, 33, 14, 8, 36, 37, 13, 39, 7, 21, 12, 23, 19, 6, 1, 3, 4, 17, 10, 31, 16, 33, 34, 9, 36, 37, 38, 14, 8, 41, 42, 13, 21, 7, 20, 12, 19, 28, 1, 3, 31, 4, 17, 34, 10, 16, 37, 38, 39, 9, 41, 42, 43, 14, 8, 22, 25, 13, 27, 7, 29, 12, 19, 1, 3, 18, 11, 4, 17, 38, 39, 10, 16, 42, 43, 44, 9, 46, 24, 23, 14, 8, 28, 21, 13, 31, 7, 33, 34, 12, 1, 3, 18, 39, 4, 41, 17, 43, 44, 10, 16, 47, 48, 25, 9, 27, 23, 29, 14, 8, 32, 21, 34, 13, 20, 7, 38, 19, 1, 3, 42, 18, 4, 11, 46, 17, 48, 49, 10, 16, 25, 28, 24, 9, 23, 32, 33, 22, 14, 8, 21, 38, 39, 13, 41, 7, 43, 1, 3, 6, 47, 4, 49, 11, 51, 17, 27, 26, 10, 16, 31, 24, 33, 34, 9, 36, 37, 22, 39, 14, 8, 42, 43, 44, 13, 46, 7, 1, 3, 12, 6, 4, 18, 54, 11, 27, 17, 26, 32, 25, 10, 16, 24, 37, 38, 23, 9, 41, 22, 43, 44, 14, 8, 47, 48, 49, 13, 51, 1, 3, 19, 12, 4, 5, 18, 31, 27, 11, 26, 17, 36, 25, 38, 10, 16, 41, 42, 23, 44, 9, 46, 22, 48, 49, 14, 8, 52, 53, 54, 13, 1, 3, 58, 19, 4, 6, 5, 34, 18, 36, 37, 11, 39, 17, 25, 42, 43, 10, 16, 46, 47, 23, 49, 9, 51, 22, 53, 54, 14, 8, 57, 58, 59, 1, 3, 7, 33, 29, 4, 6, 5, 38, 27, 18, 41, 26, 11, 44, 17, 46, 47, 48, 10, 16, 51, 52, 23, 54, 9, 56, 22, 58, 59, 60, 8, 62, 32, 1, 3, 20, 7, 29, 38, 4, 6, 5, 12, 27, 44, 18, 26, 47, 11, 49, 17, 51, 52, 53, 10, 16, 56, 57, 23, 59, 9, 15, 22, 63, 64, 33, 32, 8, 31, 1, 3, 39, 7, 13, 42, 4, 6, 5, 46, 12, 48, 49, 18, 26, 52, 11, 54, 17, 56, 57, 58, 10, 60, 16, 62, 23, 64, 65, 9, 15, 22, 36, 32, 38, 31, 8, 1, 3, 43, 44, 7, 13, 4, 6, 5, 19, 51, 12, 53, 54, 18, 26, 57, 11, 59, 25, 17, 62, 63, 24, 10, 66, 16, 68, 23, 34, 37, 9, 15, 22, 41, 42, 31, 44, 1, 3, 47, 48, 29, 7, 4, 6, 5, 54, 19, 56, 12, 58, 59, 60, 18, 62, 63, 11, 25, 66, 17, 68, 69, 24, 10, 35, 16, 34, 23, 33, 42, 9, 15, 22, 46, 31, 48, 1, 3, 51, 52, 53, 29, 4, 13, 5, 28, 59, 60, 19, 27, 12, 64, 65, 26, 18, 68, 69, 11, 25, 72, 17, 36, 39, 24, 10, 34, 16, 44, 23, 46, 47, 9, 15, 22, 31, 52, 1, 3, 8, 56, 57, 58, 4, 7, 5, 6, 28, 64, 65, 66, 19, 68, 12, 70, 71, 26, 18, 74, 38, 11, 25, 36, 17, 35, 44, 24, 10, 47, 16, 33, 23, 51, 32, 9, 15, 22, 31, 1, 3, 59, 8, 14, 62, 4, 29, 7, 5, 6, 13, 69, 70, 71, 72, 19, 74, 12, 76, 39, 26, 18, 37, 43, 11, 25, 46, 17, 48, 49, 24, 10, 52, 16, 54, 23, 56, 32, 9, 59, 15, 1, 3, 63, 64, 8, 66, 4, 68, 29, 7, 5, 6, 20, 13, 75, 76, 77, 78, 19, 39, 12, 38, 44, 26, 18, 47, 36, 11, 25, 35, 17, 53, 34, 24, 10, 57, 33, 16, 60, 23, 32, 9, 64, 1, 3, 22, 68, 69, 8, 4, 72, 14, 74, 7, 5, 6, 78, 20, 13, 41, 40, 43, 39, 19, 38, 12, 48, 37, 26, 18, 36, 53, 11, 25, 56, 57, 17, 34, 60, 10, 62, 33, 64, 16, 66, 23, 68, 1, 3, 31, 15, 22, 74, 8, 4, 77, 78, 14, 7, 5, 6, 42, 41, 20, 13, 46, 39, 48, 49, 19, 51, 12, 37, 54, 26, 36, 18, 58, 11, 35, 25, 62, 63, 17, 65, 66, 10, 33, 69, 70, 16, 32, 23, 1, 3, 76, 31, 15, 22, 80, 4, 30, 83, 84, 7, 5, 6, 41, 47, 40, 20, 13, 39, 52, 53, 38, 27, 19, 12, 58, 59, 60, 26, 62, 18, 64, 11, 66, 25, 68, 34, 17, 71, 72, 10, 74, 75, 76, 16, 32, 1, 3, 9, 82, 31, 15, 22, 4, 8, 30, 46, 7, 5, 6, 29, 51, 40, 53, 54, 13, 56, 57, 38, 59, 60, 27, 19, 12, 64, 65, 36, 26, 68, 18, 35, 11, 72, 25, 34, 75, 17, 77, 78, 10, 80, 81, 82, 16, 1, 3, 86, 9, 88, 31, 15, 4, 43, 8, 30, 51, 5, 6, 21, 29, 40, 57, 58, 39, 60, 13, 62, 38, 64, 65, 66, 27, 19, 12, 70, 36, 72, 26, 74, 18, 76, 11, 78, 25, 34, 81, 17, 83, 84, 10, 86, 87, 88, 1, 3, 23, 45, 9, 44, 31, 4, 52, 22, 8, 30, 5, 6, 58, 14, 21, 29, 62, 63, 39, 65, 66, 13, 38, 69, 70, 71, 37, 27, 19, 12, 36, 77, 78, 26, 80, 18, 82, 11, 84, 25, 34, 87, 17, 89, 90, 10, 92, 47, 1, 3, 32, 51, 23, 9, 54, 4, 56, 15, 42, 8, 5, 30, 6, 63, 64, 14, 21, 29, 68, 39, 70, 71, 72, 13, 74, 75, 76, 37, 78, 27, 19, 12, 36, 83, 84, 26, 86, 18, 88, 11, 90, 25, 34, 93, 17, 48, 47, 10, 24, 1, 3, 54, 16, 44, 57, 9, 4, 60, 31, 42, 15, 5, 22, 41, 6, 68, 69, 40, 14, 21, 29, 39, 75, 76, 77, 38, 13, 80, 81, 82, 37, 84, 27, 19, 12, 36, 89, 90, 26, 92, 18, 94, 11, 96, 49, 25, 51, 47, 17, 46, 10, 1, 3, 58, 59, 44, 16, 62, 4, 23, 65, 66, 31, 5, 8, 70, 22, 6, 30, 74, 40, 76, 14, 21, 29, 80, 81, 82, 83, 38, 13, 86, 87, 88, 37, 90, 27, 19, 12, 36, 95, 96, 97, 26, 35, 18, 11, 48, 54, 34, 25, 57, 46, 17, 1, 3, 62, 24, 44, 65, 66, 4, 9, 69, 23, 71, 42, 5, 8, 15, 41, 6, 78, 30, 40, 81, 82, 14, 21, 29, 86, 87, 88, 89, 38, 13, 92, 93, 94, 37, 96, 97, 27, 12, 36, 51, 50, 53, 49, 26, 48, 11, 58, 47, 60, 34, 25, 63, 1, 3, 10, 33, 68, 24, 70, 4, 72, 9, 74, 75, 23, 42, 5, 8, 80, 15, 6, 22, 84, 30, 40, 87, 88, 14, 21, 29, 92, 93, 94, 95, 38, 13, 20, 99, 100, 37, 102, 52, 51, 12, 19, 56, 49, 58, 59, 48, 26, 62, 11, 64, 65, 46, 34, 1, 3, 45, 17, 10, 33, 44, 4, 76, 77, 43, 9, 80, 81, 23, 5, 8, 31, 86, 6, 88, 22, 90, 30, 40, 93, 94, 14, 96, 21, 29, 99, 100, 101, 38, 13, 104, 20, 52, 37, 51, 57, 50, 59, 12, 19, 62, 63, 48, 65, 66, 26, 68, 11, 70, 46, 72, 1, 25, 45, 76, 17, 10, 33, 4, 24, 82, 43, 84, 9, 86, 87, 5, 8, 90, 31, 6, 15, 94, 95, 22, 97, 30, 99, 100, 14, 102, 39, 21, 29, 106, 54, 38, 56, 13, 58, 20, 60, 37, 50, 63, 64, 49, 12, 19, 48, 69, 70, 71, 47, 26, 74, 11, 46, 77, 1, 34, 25, 81, 82, 17, 10, 4, 86, 24, 88, 43, 90, 9, 92, 5, 42, 8, 96, 6, 31, 15, 100, 101, 102, 22, 40, 30, 106, 107, 14, 39, 54, 21, 29, 59, 52, 38, 62, 13, 64, 20, 50, 37, 68, 49, 70, 71, 12, 19, 74, 75, 76, 47, 78, 26, 80, 11, 82, 1, 84, 34, 25, 87, 88, 17, 4, 33, 92, 93, 24, 43, 96, 9, 5, 99, 42, 8, 6, 103, 104, 31, 15, 107, 108, 109, 22, 56, 30, 58, 54, 14, 39, 62, 21, 29, 65, 66, 38, 68, 13, 50, 20, 72, 37, 49, 75, 76, 77, 12, 19, 80, 81, 47, 83, 84, 26, 46, 11, 1, 89, 90, 34, 92, 25, 94, 4, 10, 97, 33, 99, 100, 24, 102, 5, 16, 32, 42, 6, 7, 23, 110, 41, 31, 15, 56, 59, 55, 22, 54, 30, 64, 53, 14, 39, 52, 21, 29, 51, 72, 38, 74, 13, 76, 20, 78, 37, 80, 81, 82, 48, 12, 19, 86, 47, 88, 89, 90, 35, 26, 1, 94, 95, 96, 45, 34, 99, 4, 101, 10, 103, 104, 33, 106, 43, 5, 9, 110, 16, 6, 8, 7, 58, 23, 60, 41, 31, 15, 64, 65, 54, 22, 68, 30, 70, 71, 14, 39, 74, 21, 29, 77, 78, 38, 50, 13, 82, 20, 49, 37, 86, 87, 48, 89, 12, 19, 92, 47, 94, 95, 96, 97, 1, 11, 18, 101, 102, 45, 104, 4, 106, 25, 10, 17, 110, 111, 33, 5, 114, 9, 116, 6, 16, 8, 7, 63, 56, 23, 66, 41, 31, 15, 54, 71, 72, 22, 74, 30, 76, 52, 14, 39, 80, 21, 29, 83, 84, 38, 86, 13, 88, 20, 28, 37, 92, 93, 48, 95, 12, 97, 19, 47, 100, 101, 102, 1, 46, 11, 26, 18, 108, 45, 4, 111, 34, 113, 10, 115, 17, 117, 5, 33, 43, 9, 24, 6, 57, 8, 7, 56, 69, 70, 23, 72, 41, 31, 15, 76, 77, 53, 22, 80, 30, 52, 83, 14, 39, 51, 21, 88, 29, 50, 38, 92, 13, 94, 49, 20, 28, 37, 99, 48, 101, 12, 103, 104, 19, 106, 107, 1, 109, 46, 11, 35, 26, 18, 4, 116, 117, 118, 34, 10, 25, 60, 5, 59, 65, 33, 9, 68, 6, 70, 8, 7, 32, 74, 55, 76, 23, 78, 41, 31, 15, 82, 53, 84, 22, 86, 52, 30, 89, 14, 39, 92, 93, 21, 95, 29, 97, 38, 13, 100, 49, 102, 20, 28, 37, 48, 107, 12, 109, 110, 47, 19, 1, 114, 115, 46, 117, 11, 35, 4, 18, 45, 62, 61, 64, 10, 66, 5, 68, 17, 58, 71, 9, 43, 6, 24, 8, 7, 16, 32, 55, 81, 82, 23, 54, 41, 86, 15, 53, 89, 90, 40, 22, 93, 94, 30, 14, 51, 39, 99, 100, 21, 50, 29, 104, 13, 106, 49, 108, 109, 20, 28, 37, 113, 114, 12, 116, 47, 1, 19, 120, 121, 122, 46, 124, 4, 35, 26, 18, 45, 60, 69, 70, 10, 5, 25, 58, 17, 76, 9, 33, 6, 80, 8, 7, 83, 16, 42, 32, 87, 88, 54, 23, 41, 92, 15, 31, 95, 96, 97, 40, 22, 100, 101, 14, 51, 104, 39, 106, 107, 21, 109, 29, 111, 13, 49, 114, 115, 116, 20, 28, 37, 120, 121, 12, 1, 47, 125, 19, 64, 63, 66, 4, 68, 11, 35, 26, 18, 45, 74, 59, 76, 5, 58, 25, 80, 17, 9, 83, 6, 33, 8, 7, 24, 89, 16, 42, 92, 32, 54, 95, 96, 23, 41, 15, 100, 31, 102, 103, 52, 40, 22, 107, 108, 14, 110, 111, 39, 113, 50, 21, 116, 29, 118, 13, 120, 121, 122, 123, 20, 28, 37, 127, 1, 12, 64, 47, 63, 19, 62, 4, 72, 46, 74, 11, 35, 26, 18, 45, 80, 81, 5, 10, 34, 44, 25, 17, 9, 6, 90, 8, 7, 93, 94, 24, 16, 97, 42, 99, 32, 101, 102, 103, 23, 41, 15, 107, 31, 109, 52, 111, 40, 22, 114, 51, 14, 117, 118, 39, 50, 121, 21, 123, 29, 125, 13, 127, 128, 129, 130, 20, 28, 3, 1, 70, 12, 72, 47, 62, 19, 4, 61, 78, 46, 60, 11, 82, 35, 18, 45, 86, 5, 58, 10, 90, 34, 57, 17, 6, 95, 8, 7, 43, 33, 100, 55, 24, 16, 104, 42, 54, 32, 108, 109, 110, 23, 41, 15, 114, 31, 52, 117, 118, 40, 22, 51, 122, 14, 124, 125, 39, 50, 128, 21, 130, 29, 132, 13, 66, 69, 65, 71, 20, 3, 1, 63, 76, 12, 62, 47, 80, 4, 27, 83, 84, 46, 86, 11, 88, 59, 18, 26, 5, 58, 94, 10, 96, 57, 34, 6, 9, 101, 7, 103, 104, 43, 33, 55, 108, 24, 16, 111, 42, 113, 32, 115, 116, 53, 23, 41, 15, 121, 31, 123, 124, 125, 40, 22, 51, 129, 14, 131, 132, 39, 50, 68, 21, 70, 29, 72, 13, 74, 75, 64, 77, 3, 1, 28, 37, 62, 12, 84, 47, 4, 19, 88, 27, 60, 46, 92, 11, 59, 95, 96, 5, 26, 99, 100, 10, 102, 57, 6, 34, 9, 7, 8, 109, 110, 111, 43, 33, 114, 115, 24, 16, 54, 42, 120, 32, 122, 53, 124, 23, 41, 15, 128, 31, 130, 131, 132, 40, 22, 51, 136, 14, 68, 71, 39, 50, 66, 21, 76, 65, 29, 13, 38, 81, 82, 3, 1, 48, 86, 28, 37, 12, 90, 4, 92, 93, 19, 60, 27, 97, 46, 11, 100, 101, 5, 103, 18, 26, 106, 10, 108, 6, 110, 111, 7, 113, 8, 115, 116, 117, 118, 43, 33, 121, 122, 24, 16, 125, 42, 127, 32, 129, 53, 131, 23, 41, 15, 135, 31, 137, 138, 70, 40, 22, 51, 74, 14, 30, 77, 66, 39, 80, 21, 82, 83, 64, 13, 86, 38, 3, 1, 90, 20, 62, 93, 28, 12, 4, 97, 47, 99, 60, 19, 102, 27, 104, 11, 106, 5, 108, 109, 58, 18, 26, 10, 6, 57, 116, 117, 7, 34, 8, 17, 122, 123, 124, 55, 43, 33, 128, 129, 24, 16, 132, 42, 134, 32, 136, 53, 138, 23, 41, 15, 70, 52, 31, 75, 68, 77, 22, 51, 80, 14, 66, 30, 84, 50, 39, 87, 21, 64, 90, 13, 29, 3, 1, 95, 96, 62, 20, 99, 100, 4, 37, 103, 104, 47, 60, 107, 19, 109, 27, 11, 5, 113, 114, 115, 58, 117, 18, 6, 120, 57, 122, 123, 7, 125, 8, 127, 17, 129, 130, 131, 55, 43, 33, 135, 136, 24, 16, 139, 42, 141, 142, 32, 53, 74, 23, 76, 15, 78, 52, 68, 31, 82, 67, 84, 22, 66, 14, 88, 89, 30, 50, 92, 39, 64, 21, 96, 13, 3, 1, 100, 38, 62, 103, 104, 20, 4, 12, 28, 37, 110, 111, 47, 113, 114, 19, 116, 5, 118, 46, 120, 121, 58, 123, 6, 10, 26, 57, 128, 129, 7, 131, 8, 34, 134, 17, 136, 137, 138, 55, 43, 141, 33, 143, 24, 16, 72, 75, 42, 77, 70, 32, 80, 69, 23, 15, 41, 52, 86, 67, 31, 89, 90, 51, 22, 14, 94, 65, 96, 30, 50, 64, 39, 101, 21, 3, 1, 49, 29, 107, 38, 109, 110, 4, 20, 61, 12, 28, 37, 117, 60, 47, 120, 121, 5, 11, 27, 125, 46, 127, 58, 129, 6, 10, 18, 26, 57, 135, 7, 137, 8, 139, 44, 34, 17, 143, 144, 145, 55, 74, 43, 76, 33, 78, 16, 80, 81, 70, 42, 84, 53, 32, 87, 68, 15, 90, 41, 67, 93, 94, 31, 66, 97, 51, 14, 65, 101, 102, 103, 30, 50, 106, 39, 3, 1, 13, 111, 49, 29, 62, 38, 4, 117, 118, 20, 120, 12, 28, 37, 60, 125, 47, 5, 128, 19, 11, 27, 132, 46, 134, 58, 6, 10, 138, 18, 26, 57, 7, 143, 8, 145, 146, 56, 44, 17, 25, 77, 73, 55, 72, 81, 43, 71, 33, 16, 24, 87, 88, 69, 42, 53, 92, 32, 94, 15, 23, 67, 41, 99, 100, 66, 31, 103, 104, 51, 14, 107, 108, 109, 64, 30, 50, 3, 1, 63, 21, 13, 118, 49, 29, 4, 38, 123, 124, 61, 20, 127, 12, 28, 37, 131, 5, 47, 134, 135, 19, 11, 27, 36, 46, 141, 6, 10, 144, 145, 18, 147, 7, 149, 8, 76, 75, 78, 56, 80, 17, 34, 25, 72, 55, 86, 71, 88, 43, 70, 16, 92, 24, 69, 95, 96, 42, 53, 99, 32, 101, 15, 23, 104, 41, 66, 107, 108, 31, 110, 65, 51, 14, 114, 115, 64, 117, 3, 1, 120, 39, 122, 21, 13, 125, 4, 29, 128, 38, 130, 61, 132, 20, 134, 12, 28, 60, 5, 139, 47, 141, 142, 19, 11, 145, 27, 36, 6, 58, 10, 151, 152, 18, 7, 57, 8, 81, 74, 83, 84, 56, 86, 17, 44, 34, 25, 55, 92, 93, 94, 70, 43, 97, 16, 69, 24, 101, 102, 68, 42, 53, 106, 32, 108, 15, 23, 111, 41, 113, 114, 115, 31, 65, 118, 51, 14, 121, 64, 3, 1, 30, 50, 63, 39, 129, 21, 4, 62, 49, 29, 135, 136, 38, 61, 139, 20, 141, 12, 143, 5, 145, 37, 147, 47, 149, 19, 11, 152, 153, 6, 36, 46, 10, 76, 82, 7, 84, 8, 74, 26, 88, 73, 90, 56, 72, 93, 17, 44, 34, 25, 55, 99, 70, 101, 102, 43, 69, 16, 106, 24, 68, 109, 110, 42, 53, 67, 32, 115, 15, 23, 66, 41, 120, 121, 122, 31, 124, 125, 51, 14, 3, 1, 130, 131, 30, 50, 134, 135, 4, 21, 13, 62, 49, 141, 29, 143, 144, 38, 146, 20, 48, 12, 5, 60, 28, 153, 37, 155, 47, 19, 11, 81, 6, 83, 27, 36, 10, 75, 7, 9, 8, 57, 92, 73, 26, 95, 96, 72, 56, 99, 100, 17, 44, 34, 25, 55, 106, 107, 108, 69, 43, 111, 16, 113, 24, 115, 116, 117, 42, 53, 120, 32, 122, 15, 23, 125, 41, 127, 128, 65, 31, 131, 132, 3, 14, 1, 136, 137, 138, 139, 30, 141, 4, 143, 21, 13, 62, 147, 49, 149, 29, 151, 61, 38, 20, 155, 5, 157, 60, 80, 28, 82, 37, 84, 47, 11, 6, 76, 89, 90, 27, 10, 7, 74, 8, 96, 18, 57, 99, 100, 26, 72, 103, 104, 56, 71, 107, 17, 44, 34, 25, 55, 113, 114, 69, 116, 43, 118, 16, 68, 24, 122, 123, 124, 42, 53, 127, 32, 129, 15, 23, 132, 52, 41, 65, 136, 137, 31, 3, 51, 1, 142, 40, 144, 145, 146, 63, 4, 149, 150, 21, 13, 62, 154, 155, 49, 157, 29, 61, 160, 38, 5, 12, 48, 60, 78, 87, 28, 77, 37, 59, 6, 19, 94, 75, 96, 97, 7, 36, 8, 9, 102, 73, 18, 57, 106, 72, 26, 109, 110, 71, 56, 113, 114, 17, 44, 34, 25, 55, 120, 69, 122, 123, 43, 125, 16, 127, 24, 129, 130, 67, 132, 42, 134, 135, 32, 15, 23, 139, 52, 141, 41, 143, 144, 3, 31, 1, 14, 149, 150, 40, 152, 153, 4, 155, 30, 157, 158, 13, 39, 161, 162, 82, 49, 84, 29, 86, 5, 38, 12, 78, 48, 92, 77, 94, 28, 76, 6, 11, 47, 19, 101, 102, 7, 10, 27, 8, 9, 73, 109, 110, 18, 57, 113, 114, 26, 116, 71, 118, 56, 120, 121, 17, 44, 34, 25, 55, 69, 128, 129, 130, 131, 43, 16, 33, 24, 136, 67, 138, 139, 53, 42, 142, 66, 15, 23, 146, 147, 52, 65, 41, 3, 152, 1, 31, 14, 22, 157, 158, 40, 4, 63, 162, 163, 30, 83, 13, 21, 39, 87, 80, 89, 49, 61, 5, 93, 78, 12, 20, 77, 48, 99, 100, 76, 6, 103, 11, 59, 47, 19, 7, 74, 10, 111, 8, 9, 46, 115, 116, 117, 18, 57, 120, 121, 26, 71, 124, 125, 56, 127, 70, 17, 130, 44, 25, 55, 134, 135, 136, 137, 68, 139, 16, 141, 24, 143, 67, 145, 146, 147, 53, 42, 66, 15, 32, 23, 154, 155, 52, 3, 41, 1, 160, 161, 14, 163, 22, 165, 4, 40, 63, 86, 82, 88, 30, 13, 62, 21, 39, 94, 79, 96, 5, 61, 29, 100, 12, 38, 20, 104, 48, 76, 6, 108, 28, 11, 37, 59, 7, 19, 115, 10, 117, 8, 9, 36, 46, 122, 123, 72, 18, 57, 127, 128, 26, 35, 131, 132, 56, 70, 135, 17, 137, 138, 25, 34, 141, 142, 143, 144, 68, 146, 16, 43, 149, 24, 67, 152, 153, 154, 155, 53, 42, 15, 159, 32, 23, 162, 3, 52, 1, 41, 167, 168, 14, 31, 87, 4, 89, 82, 40, 92, 81, 94, 95, 13, 97, 62, 21, 39, 101, 5, 78, 49, 61, 29, 12, 108, 38, 20, 76, 6, 113, 114, 75, 11, 117, 37, 7, 47, 19, 10, 123, 8, 9, 27, 127, 36, 46, 72, 131, 18, 57, 134, 71, 26, 137, 35, 139, 56, 141, 142, 17, 144, 145, 69, 25, 34, 149, 150, 151, 68, 153, 16, 155, 43, 157, 24, 159, 160, 161, 162, 163, 53, 15, 166, 167, 32, 3, 65, 1, 52, 88, 41, 90, 14, 92, 4, 82, 22, 96, 81, 40, 99, 80, 101, 102, 13, 79, 62, 21, 5, 78, 109, 110, 49, 61, 12, 114, 115, 38, 6, 118, 48, 120, 75, 11, 28, 124, 7, 37, 127, 10, 129, 8, 9, 132, 27, 134, 135, 36, 46, 138, 18, 57, 71, 142, 143, 26, 145, 35, 70, 56, 149, 17, 151, 152, 69, 154, 25, 34, 157, 158, 68, 160, 16, 162, 163, 43, 67, 24, 167, 168, 169, 170, 66, 15, 42, 86, 3, 32, 1, 84, 93, 52, 83, 41, 97, 4, 99, 31, 81, 22, 103, 104, 40, 106, 107, 108, 79, 13, 111, 5, 21, 39, 115, 116, 77, 49, 61, 12, 121, 6, 123, 20, 125, 60, 48, 11, 129, 28, 7, 74, 59, 10, 19, 8, 9, 138, 139, 58, 27, 72, 143, 36, 46, 18, 147, 57, 149, 150, 151, 26, 153, 35, 155, 56, 17, 158, 159, 69, 161, 162, 25, 34, 165, 68, 167, 16, 169, 170, 171, 43, 173, 24, 88, 87, 90, 66, 92, 15, 3, 95, 1, 32, 23, 83, 100, 52, 82, 4, 104, 14, 81, 31, 108, 22, 80, 111, 40, 113, 79, 115, 116, 5, 78, 62, 21, 121, 39, 77, 124, 125, 49, 12, 6, 129, 130, 20, 38, 60, 11, 48, 136, 7, 28, 139, 10, 141, 8, 9, 47, 145, 146, 147, 58, 27, 150, 151, 36, 18, 154, 71, 57, 157, 158, 159, 26, 70, 35, 163, 17, 165, 166, 69, 168, 169, 170, 25, 34, 68, 174, 175, 16, 89, 88, 67, 43, 93, 24, 95, 96, 85, 66, 3, 15, 1, 102, 83, 32, 23, 106, 82, 4, 109, 41, 81, 14, 113, 31, 80, 22, 117, 118, 63, 40, 121, 5, 123, 13, 50, 62, 21, 128, 77, 39, 131, 132, 61, 6, 29, 136, 137, 20, 75, 38, 11, 142, 7, 74, 145, 10, 147, 8, 9, 37, 151, 47, 153, 154, 155, 58, 27, 158, 159, 18, 46, 71, 163, 57, 165, 166, 167, 26, 169, 35, 171, 17, 173, 69, 175, 176, 177, 178, 25, 34, 92, 88, 94, 16, 96, 97, 67, 43, 100, 24, 102, 103, 3, 66, 1, 15, 42, 109, 110, 32, 23, 4, 114, 52, 81, 117, 41, 14, 80, 31, 122, 22, 51, 79, 63, 5, 40, 129, 78, 13, 30, 50, 21, 77, 136, 137, 39, 139, 6, 12, 49, 29, 144, 20, 146, 147, 11, 7, 150, 48, 10, 153, 8, 9, 19, 73, 37, 159, 47, 161, 162, 72, 58, 27, 166, 167, 18, 46, 170, 171, 57, 173, 174, 70, 26, 177, 35, 179, 17, 69, 90, 93, 89, 95, 88, 25, 34, 87, 100, 101, 16, 103, 104, 67, 43, 107, 24, 3, 110, 1, 66, 83, 15, 115, 42, 82, 4, 23, 120, 81, 122, 52, 124, 125, 14, 127, 128, 31, 22, 79, 5, 63, 134, 135, 40, 137, 13, 139, 30, 21, 142, 143, 144, 145, 6, 147, 12, 149, 49, 29, 20, 153, 154, 7, 38, 157, 74, 10, 8, 9, 28, 163, 19, 165, 37, 167, 47, 169, 72, 171, 58, 27, 174, 175, 18, 46, 178, 179, 57, 181, 70, 92, 26, 94, 35, 96, 17, 69, 99, 88, 101, 102, 87, 25, 34, 86, 107, 108, 16, 85, 111, 67, 54, 3, 24, 1, 117, 83, 66, 120, 15, 53, 4, 42, 125, 23, 81, 128, 129, 130, 52, 80, 14, 41, 135, 136, 22, 5, 139, 51, 141, 78, 143, 40, 13, 146, 77, 21, 50, 150, 151, 6, 76, 39, 12, 61, 157, 49, 29, 20, 7, 11, 163, 38, 74, 8, 9, 168, 169, 28, 73, 19, 173, 37, 175, 47, 72, 178, 179, 58, 27, 182, 71, 18, 46, 92, 95, 57, 97, 70, 99, 26, 89, 35, 103, 17, 69, 106, 87, 108, 109, 110, 25, 34, 113, 114, 85, 16, 117, 118, 3, 120, 1, 24, 33, 124, 125, 66, 127, 4, 129, 53, 131, 42, 23, 32, 135, 136, 137, 80, 52, 14, 141, 41, 79, 5, 31, 146, 147, 51, 149, 150, 151, 13, 153, 77, 155, 21, 50, 6, 159, 76, 161, 12, 163, 61, 165, 49, 7, 20, 11, 170, 171, 8, 9, 174, 48, 176, 177, 28, 179, 19, 181, 37, 183, 47, 185, 186, 94, 58, 27, 92, 71, 18, 46, 101, 90, 57, 104, 70, 106, 26, 88, 35, 45, 17, 69, 113, 114, 115, 86, 117, 25, 68, 34, 121, 122, 16, 3, 125, 67, 1, 128, 24, 43, 33, 132, 66, 4, 15, 136, 137, 53, 81, 23, 141, 32, 143, 80, 145, 146, 14, 64, 79, 5, 151, 22, 31, 154, 78, 51, 157, 158, 13, 40, 77, 162, 163, 6, 50, 166, 76, 168, 12, 39, 171, 61, 7, 49, 29, 11, 177, 8, 74, 9, 181, 182, 48, 184, 73, 28, 187, 19, 95, 37, 97, 47, 99, 92, 101, 58, 27, 104, 71, 18, 107, 46, 89, 57, 111, 70, 88, 26, 115, 116, 35, 17, 56, 120, 86, 122, 123, 124, 25, 68, 127, 34, 129, 3, 131, 132, 1, 134, 83, 24, 54, 43, 33, 4, 141, 15, 143, 144, 81, 53, 147, 23, 149, 32, 151, 152, 153, 14, 52, 5, 157, 41, 159, 22, 31, 78, 163, 51, 165, 13, 167, 40, 169, 6, 171, 21, 50, 76, 175, 12, 177, 39, 7, 61, 181, 49, 11, 8, 185, 74, 9, 38, 189, 190, 48, 95, 73, 28, 100, 19, 102, 37, 92, 72, 47, 91, 108, 58, 27, 111, 71, 18, 36, 115, 46, 117, 57, 70, 120, 26, 87, 123, 124, 17, 45, 56, 128, 129, 130, 85, 25, 68, 134, 135, 3, 16, 138, 1, 67, 83, 142, 143, 24, 54, 4, 33, 66, 15, 150, 81, 152, 153, 53, 155, 23, 80, 32, 159, 160, 14, 5, 52, 64, 165, 41, 167, 22, 31, 170, 171, 51, 13, 174, 77, 6, 177, 178, 179, 21, 50, 182, 12, 184, 7, 39, 75, 61, 189, 8, 29, 20, 97, 9, 99, 38, 101, 94, 103, 48, 73, 28, 107, 19, 109, 110, 37, 72, 113, 47, 90, 116, 27, 118, 71, 18, 121, 36, 88, 46, 125, 57, 87, 26, 129, 130, 131, 17, 35, 45, 56, 136, 85, 138, 139, 25, 141, 3, 143, 16, 1, 146, 83, 67, 149, 150, 151, 4, 54, 43, 33, 15, 157, 81, 159, 160, 161, 53, 163, 23, 165, 32, 167, 5, 169, 79, 52, 64, 173, 41, 175, 22, 31, 178, 179, 13, 181, 6, 183, 40, 185, 186, 187, 21, 50, 12, 7, 192, 193, 39, 75, 61, 8, 96, 29, 20, 9, 74, 94, 60, 38, 93, 110, 111, 48, 28, 114, 19, 59, 117, 118, 37, 90, 121, 47, 123, 27, 58, 71, 18, 88, 129, 36, 131, 46, 70, 57, 135, 26, 137, 86, 17, 69, 35, 45, 56, 144, 145, 146, 147, 3, 149, 150, 1, 34, 83, 154, 155, 67, 157, 4, 82, 24, 54, 43, 15, 66, 81, 166, 167, 168, 169, 53, 80, 23, 173, 5, 14, 176, 79, 178, 52, 64, 181, 41, 78, 22, 31, 186, 13, 6, 77, 190, 191, 40, 193, 194, 195, 21, 7, 50, 101, 97, 103, 96, 39, 8, 95, 108, 29, 9, 111, 74, 93, 114, 60, 38, 92, 118, 73, 28, 91, 19, 123, 59, 90, 72, 37, 128, 89, 47, 131, 27, 58, 18, 135, 136, 137, 36, 87, 46, 141, 57, 143, 26, 145, 17, 147, 69, 35, 45, 56, 152, 153, 3, 155, 25, 1, 16, 159, 34, 161, 162, 163, 4, 165, 82, 167, 24, 54, 15, 33, 66, 173, 174, 175, 176, 177, 53, 179, 5, 181, 32, 14, 79, 185, 186, 52, 64, 189, 41, 191, 22, 31, 6, 195, 63, 51, 198, 100, 99, 40, 98, 7, 12, 106, 107, 50, 109, 110, 95, 8, 39, 61, 115, 9, 20, 49, 74, 120, 121, 92, 60, 38, 125, 73, 127, 28, 19, 90, 131, 59, 72, 134, 37, 136, 137, 47, 139, 27, 18, 142, 143, 144, 87, 36, 147, 46, 149, 57, 151, 26, 17, 154, 85, 69, 35, 45, 56, 3, 84, 162, 1, 25, 16, 166, 83, 34, 169, 4, 171, 67, 82, 174, 175, 24, 54, 15, 33, 66, 181, 182, 183, 184, 80, 5, 187, 23, 189, 32, 14, 192, 193, 194, 195, 52, 197, 78, 41, 6, 31, 13, 103, 63, 77, 51, 107, 108, 97, 7, 12, 21, 62, 114, 95, 50, 117, 8, 75, 120, 39, 9, 93, 20, 125, 49, 92, 128, 129, 130, 60, 38, 73, 134, 135, 19, 137, 138, 139, 59, 89, 142, 37, 144, 145, 47, 147, 18, 58, 150, 87, 152, 153, 36, 155, 46, 157, 57, 159, 17, 161, 85, 163, 69, 35, 3, 56, 84, 1, 170, 171, 25, 16, 83, 175, 4, 177, 178, 179, 67, 181, 182, 183, 24, 54, 15, 33, 66, 189, 190, 191, 5, 193, 194, 53, 23, 42, 32, 14, 200, 201, 202, 102, 64, 52, 6, 106, 22, 31, 13, 98, 111, 63, 97, 51, 115, 7, 12, 40, 21, 30, 62, 122, 123, 8, 125, 75, 127, 9, 39, 61, 20, 29, 74, 49, 135, 136, 91, 138, 60, 38, 141, 90, 19, 28, 145, 146, 89, 59, 149, 150, 37, 88, 153, 47, 18, 27, 58, 158, 159, 160, 161, 36, 86, 46, 165, 57, 167, 17, 85, 170, 171, 3, 35, 45, 1, 176, 177, 178, 179, 25, 16, 4, 183, 34, 185, 186, 82, 67, 189, 190, 191, 24, 81, 15, 33, 66, 197, 5, 199, 80, 201, 202, 203, 23, 103, 32, 14, 101, 107, 100, 109, 6, 64, 52, 113, 22, 41, 13, 97, 118, 77, 63, 96, 7, 123, 12, 95, 21, 127, 30, 62, 8, 131, 50, 75, 9, 135, 136, 39, 20, 139, 29, 141, 49, 91, 144, 145, 146, 60, 38, 149, 19, 151, 28, 89, 154, 155, 59, 157, 88, 37, 160, 161, 47, 18, 27, 58, 166, 167, 168, 169, 36, 171, 46, 173, 57, 175, 17, 177, 3, 179, 69, 1, 45, 56, 184, 185, 186, 187, 4, 16, 190, 191, 34, 44, 82, 195, 67, 197, 198, 199, 24, 81, 15, 33, 5, 205, 206, 104, 80, 106, 102, 108, 23, 53, 111, 14, 113, 114, 6, 116, 117, 98, 64, 52, 22, 97, 13, 31, 125, 77, 127, 7, 129, 51, 12, 132, 21, 40, 135, 8, 62, 138, 93, 9, 141, 142, 143, 92, 20, 61, 147, 29, 91, 49, 151, 152, 153, 90, 60, 38, 157, 19, 89, 28, 161, 162, 163, 59, 88, 166, 37, 168, 169, 47, 18, 27, 58, 174, 175, 176, 86, 36, 179, 46, 181, 57, 85, 3, 185, 186, 1, 69, 35, 190, 45, 56, 193, 4, 83, 25, 16, 198, 199, 34, 201, 44, 203, 67, 205, 206, 207, 24, 81, 5, 107, 33, 43, 102, 111, 80, 101, 114, 115, 23, 117, 53, 14, 32, 6, 122, 98, 124, 125, 78, 64, 22, 129, 13, 41, 31, 77, 7, 95, 63, 137, 12, 139, 21, 141, 8, 11, 30, 62, 9, 147, 50, 149, 92, 151, 152, 20, 61, 91, 29, 157, 49, 159, 90, 161, 162, 60, 38, 165, 19, 167, 28, 169, 170, 171, 59, 173, 174, 37, 176, 177, 47, 18, 27, 58, 182, 183, 86, 185, 36, 187, 70, 46, 3, 57, 17, 1, 194, 195, 69, 35, 198, 199, 4, 56, 202, 83, 25, 16, 206, 207, 208, 34, 82, 44, 105, 67, 104, 110, 5, 81, 15, 102, 115, 33, 43, 118, 80, 100, 121, 122, 23, 99, 125, 14, 6, 32, 129, 130, 131, 97, 78, 134, 22, 52, 13, 138, 41, 7, 95, 142, 143, 63, 12, 51, 147, 8, 149, 11, 93, 9, 62, 154, 155, 50, 157, 158, 159, 160, 20, 61, 163, 29, 165, 49, 90, 168, 169, 170, 60, 38, 89, 19, 175, 28, 177, 178, 88, 59, 181, 182, 37, 184, 87, 186, 18, 27, 189, 58, 86, 192, 193, 36, 195, 3, 85, 46, 1, 17, 201, 202, 203, 69, 205, 4, 207, 208, 45, 56, 83, 25, 16, 106, 109, 105, 111, 34, 113, 44, 103, 5, 117, 24, 81, 15, 101, 122, 123, 33, 43, 80, 127, 128, 99, 23, 131, 132, 6, 53, 135, 32, 97, 138, 139, 78, 141, 96, 22, 13, 145, 7, 41, 31, 149, 150, 151, 12, 153, 8, 155, 21, 11, 9, 159, 30, 62, 92, 163, 50, 165, 166, 167, 91, 20, 61, 171, 29, 173, 49, 175, 176, 177, 178, 60, 38, 181, 19, 183, 28, 48, 88, 187, 72, 59, 190, 37, 87, 193, 194, 18, 27, 197, 86, 58, 200, 201, 3, 36, 70, 1, 206, 46, 17, 57, 210, 211, 4, 69, 214, 35, 107, 110, 45, 56, 25, 16, 68, 104, 117, 118, 82, 34, 5, 44, 123, 67, 24, 81, 15, 128, 129, 100, 131, 33, 43, 99, 135, 136, 137, 23, 6, 14, 141, 53, 97, 32, 145, 146, 147, 78, 149, 150, 13, 7, 95, 154, 41, 31, 157, 94, 12, 8, 161, 51, 93, 9, 10, 40, 167, 30, 62, 170, 171, 50, 173, 174, 91, 176, 20, 61, 179, 29, 90, 182, 49, 184, 185, 186, 89, 38, 189, 19, 191, 28, 88, 48, 195, 72, 197, 59, 87, 37, 201, 202, 18, 27, 47, 86, 207, 3, 209, 210, 1, 36, 70, 214, 215, 17, 109, 4, 111, 84, 113, 69, 115, 35, 105, 118, 45, 25, 16, 122, 68, 124, 125, 82, 5, 34, 129, 44, 101, 67, 24, 15, 100, 136, 137, 138, 99, 33, 43, 142, 143, 98, 6, 23, 14, 79, 97, 53, 151, 32, 153, 96, 155, 78, 157, 7, 22, 52, 161, 162, 41, 31, 165, 8, 167, 63, 169, 9, 11, 10, 173, 40, 175, 30, 62, 178, 179, 75, 50, 91, 183, 184, 20, 186, 61, 29, 189, 190, 191, 49, 193, 89, 195, 73, 38, 19, 199, 28, 201, 202, 48, 72, 205, 206, 59, 208, 37, 210, 18, 27, 71, 3, 215, 216, 58, 1, 110, 109, 36, 70, 114, 4, 46, 117, 57, 84, 120, 105, 69, 123, 35, 125, 83, 45, 16, 129, 130, 68, 102, 5, 134, 135, 34, 137, 44, 139, 67, 15, 142, 143, 144, 99, 146, 147, 33, 43, 98, 6, 152, 153, 14, 97, 79, 157, 53, 159, 32, 161, 162, 163, 7, 13, 166, 22, 52, 169, 170, 41, 8, 12, 174, 175, 9, 93, 11, 10, 21, 181, 40, 92, 30, 185, 62, 187, 75, 91, 50, 191, 192, 20, 39, 90, 29, 197, 198, 199, 200, 49, 202, 203, 73, 205, 19, 207, 28, 209, 210, 211, 48, 72, 214, 87, 59, 217, 37, 18, 27, 3, 71, 47, 109, 1, 58, 117, 118, 85, 36, 4, 17, 26, 46, 105, 57, 127, 128, 104, 69, 131, 35, 83, 134, 16, 25, 102, 138, 5, 82, 101, 142, 143, 34, 145, 44, 147, 15, 24, 150, 99, 152, 153, 154, 155, 33, 6, 158, 159, 160, 14, 23, 163, 79, 165, 53, 167, 32, 169, 7, 171, 13, 173, 174, 22, 176, 52, 8, 41, 12, 181, 182, 9, 93, 11, 10, 187, 21, 189, 92, 40, 30, 193, 194, 62, 75, 197, 198, 50, 200, 20, 90, 39, 29, 61, 206, 207, 208, 89, 49, 211, 212, 73, 19, 38, 28, 217, 218, 219, 220, 48, 72, 87, 111, 59, 110, 18, 3, 27, 86, 71, 1, 122, 107, 58, 125, 85, 4, 36, 17, 105, 26, 46, 84, 57, 135, 136, 137, 69, 139, 35, 141, 16, 45, 25, 5, 146, 68, 82, 149, 150, 151, 34, 153, 44, 15, 67, 24, 158, 159, 160, 161, 98, 6, 33, 43, 166, 97, 14, 169, 23, 171, 79, 96, 65, 53, 7, 177, 178, 13, 78, 181, 182, 22, 8, 94, 52, 12, 31, 189, 9, 93, 11, 10, 63, 195, 21, 51, 198, 199, 30, 201, 202, 91, 62, 205, 206, 207, 50, 20, 90, 211, 29, 74, 61, 215, 216, 89, 218, 49, 220, 221, 19, 223, 38, 28, 112, 115, 111, 117, 48, 72, 120, 109, 59, 3, 37, 125, 27, 1, 71, 47, 130, 106, 58, 4, 134, 105, 17, 70, 138, 26, 46, 141, 57, 103, 144, 145, 69, 147, 35, 16, 150, 5, 25, 101, 154, 68, 82, 157, 100, 159, 34, 161, 15, 99, 67, 24, 166, 167, 98, 6, 170, 171, 33, 43, 97, 14, 176, 177, 23, 179, 79, 181, 7, 65, 32, 42, 13, 187, 78, 189, 8, 22, 94, 64, 12, 52, 31, 9, 93, 11, 10, 201, 202, 63, 21, 205, 51, 207, 30, 40, 210, 91, 212, 62, 214, 215, 216, 20, 90, 219, 220, 29, 74, 61, 224, 89, 226, 114, 49, 116, 19, 73, 88, 38, 28, 110, 123, 124, 109, 48, 72, 108, 3, 18, 131, 37, 1, 27, 135, 71, 47, 138, 4, 58, 141, 142, 17, 36, 70, 146, 26, 46, 103, 57, 151, 152, 153, 69, 155, 16, 5, 158, 45, 25, 161, 162, 68, 82, 165, 166, 167, 34, 99, 15, 55, 67, 24, 174, 6, 176, 177, 178, 179, 33, 97, 14, 183, 184, 185, 23, 96, 7, 189, 190, 191, 32, 13, 42, 195, 78, 8, 198, 22, 200, 12, 64, 203, 9, 93, 11, 10, 208, 209, 210, 211, 21, 76, 214, 51, 216, 30, 40, 91, 220, 221, 62, 223, 224, 20, 50, 227, 228, 115, 29, 74, 61, 89, 112, 121, 122, 49, 19, 125, 73, 127, 38, 28, 130, 131, 132, 87, 48, 3, 136, 18, 59, 1, 37, 106, 27, 143, 71, 4, 146, 147, 58, 149, 17, 151, 36, 70, 154, 26, 46, 157, 57, 159, 102, 161, 69, 5, 16, 101, 166, 45, 25, 56, 100, 68, 82, 173, 174, 175, 34, 177, 15, 44, 55, 6, 98, 183, 184, 185, 186, 187, 33, 189, 14, 43, 192, 193, 7, 195, 79, 197, 198, 199, 13, 65, 53, 42, 8, 205, 94, 22, 12, 209, 210, 9, 212, 11, 10, 41, 216, 217, 218, 219, 21, 63, 76, 223, 51, 225, 30, 40, 228, 229, 230, 62, 115, 20, 90, 50, 113, 122, 123, 29, 74, 61, 111, 128, 129, 110, 19, 132, 88, 73, 135, 38, 28, 108, 139, 87, 3, 48, 72, 18, 1, 59, 147, 37, 149, 27, 4, 71, 47, 154, 155, 58, 157, 17, 159, 36, 70, 162, 26, 46, 165, 102, 57, 168, 5, 69, 101, 16, 173, 174, 175, 25, 100, 56, 179, 68, 181, 182, 99, 34, 185, 15, 6, 44, 24, 67, 191, 192, 193, 194, 97, 33, 197, 14, 199, 7, 96, 23, 203, 79, 205, 206, 13, 208, 32, 65, 8, 42, 78, 94, 12, 216, 217, 9, 219, 11, 10, 31, 223, 41, 225, 226, 227, 21, 229, 63, 76, 232, 51, 116, 30, 40, 121, 114, 123, 62, 20, 90, 127, 50, 129, 130, 111, 29, 74, 61, 110, 136, 137, 19, 49, 88, 141, 73, 108, 38, 28, 146, 3, 87, 149, 48, 1, 18, 153, 59, 155, 37, 4, 27, 159, 71, 47, 104, 163, 85, 58, 17, 103, 36, 70, 170, 26, 84, 46, 174, 5, 57, 177, 101, 69, 16, 181, 182, 183, 25, 45, 186, 56, 82, 68, 99, 191, 34, 6, 15, 195, 81, 24, 55, 67, 200, 201, 97, 203, 80, 33, 7, 207, 96, 43, 23, 211, 212, 79, 214, 13, 216, 217, 8, 65, 53, 42, 12, 22, 224, 9, 226, 11, 10, 64, 230, 31, 232, 41, 234, 118, 21, 120, 116, 63, 76, 124, 51, 91, 30, 40, 113, 130, 131, 20, 90, 134, 135, 50, 137, 138, 139, 29, 74, 61, 143, 109, 145, 19, 49, 88, 149, 73, 151, 38, 3, 154, 155, 87, 1, 48, 72, 18, 161, 162, 4, 37, 165, 27, 167, 71, 169, 47, 171, 85, 103, 17, 175, 36, 177, 70, 26, 84, 5, 46, 183, 184, 57, 186, 187, 16, 189, 190, 100, 25, 193, 45, 195, 56, 99, 68, 6, 200, 34, 15, 98, 81, 24, 44, 55, 67, 97, 210, 211, 212, 7, 14, 215, 96, 217, 23, 219, 220, 221, 79, 13, 224, 8, 226, 32, 65, 12, 42, 22, 9, 233, 11, 10, 236, 93, 64, 121, 31, 123, 41, 125, 21, 115, 128, 129, 63, 76, 132, 51, 134, 30, 40, 112, 138, 139, 20, 111, 142, 143, 50, 110, 146, 147, 29, 74, 61, 151, 152, 153, 19, 49, 88, 157, 73, 3, 38, 28, 162, 1, 87, 165, 166, 48, 18, 4, 170, 171, 37, 173, 27, 175, 176, 71, 178, 47, 85, 181, 17, 58, 36, 185, 102, 5, 84, 189, 190, 46, 101, 193, 57, 195, 16, 35, 100, 199, 25, 201, 202, 45, 82, 6, 206, 68, 208, 209, 15, 211, 212, 24, 214, 44, 55, 67, 218, 219, 7, 221, 14, 33, 96, 225, 23, 43, 228, 229, 230, 13, 8, 233, 234, 235, 32, 12, 53, 9, 78, 11, 10, 124, 117, 93, 127, 64, 129, 31, 115, 41, 92, 21, 135, 136, 137, 63, 76, 91, 51, 112, 30, 40, 145, 111, 147, 20, 149, 110, 151, 50, 153, 154, 109, 29, 74, 158, 61, 108, 161, 19, 163, 49, 3, 73, 167, 38, 1, 60, 171, 87, 173, 174, 4, 18, 177, 178, 179, 37, 59, 27, 183, 184, 185, 71, 103, 47, 189, 17, 191, 58, 5, 194, 26, 70, 197, 198, 101, 46, 201, 202, 57, 16, 100, 35, 207, 25, 209, 210, 6, 45, 82, 56, 215, 68, 217, 15, 34, 220, 24, 81, 223, 44, 55, 67, 7, 228, 229, 14, 80, 33, 233, 23, 235, 43, 237, 238, 8, 79, 121, 120, 123, 119, 12, 9, 53, 11, 10, 130, 131, 116, 93, 134, 115, 64, 137, 31, 114, 41, 141, 21, 113, 144, 145, 63, 76, 91, 51, 150, 30, 40, 153, 154, 155, 20, 62, 158, 159, 160, 50, 162, 163, 29, 74, 108, 167, 61, 169, 19, 3, 88, 49, 174, 1, 38, 28, 178, 60, 87, 4, 105, 183, 18, 48, 186, 187, 86, 37, 27, 191, 192, 193, 103, 71, 85, 47, 17, 5, 102, 58, 36, 26, 84, 70, 101, 207, 208, 46, 210, 211, 16, 83, 214, 35, 25, 6, 218, 99, 220, 45, 82, 56, 224, 68, 15, 227, 34, 24, 230, 81, 232, 44, 7, 67, 236, 237, 14, 239, 80, 33, 242, 23, 121, 43, 8, 13, 119, 79, 129, 118, 131, 9, 32, 11, 10, 22, 78, 138, 139, 93, 141, 142, 143, 64, 145, 31, 147, 41, 149, 21, 151, 112, 153, 154, 63, 91, 111, 51, 30, 40, 161, 110, 163, 20, 165, 62, 109, 168, 169, 50, 171, 29, 173, 74, 175, 176, 3, 19, 179, 88, 1, 49, 106, 73, 28, 186, 4, 60, 105, 190, 191, 18, 193, 48, 104, 86, 197, 27, 59, 200, 103, 202, 203, 71, 5, 17, 102, 208, 209, 58, 26, 212, 84, 70, 215, 216, 217, 46, 219, 16, 57, 83, 223, 6, 225, 226, 99, 228, 229, 45, 82, 56, 233, 15, 235, 236, 34, 24, 239, 81, 7, 44, 55, 67, 123, 14, 125, 96, 80, 33, 129, 23, 8, 43, 13, 118, 135, 79, 117, 9, 12, 94, 10, 65, 53, 22, 78, 146, 147, 93, 114, 150, 151, 152, 64, 31, 52, 41, 157, 21, 159, 160, 161, 162, 76, 63, 165, 166, 30, 40, 169, 170, 171, 20, 75, 174, 62, 176, 177, 108, 50, 29, 39, 182, 3, 107, 185, 19, 1, 88, 189, 106, 49, 192, 4, 38, 195, 87, 60, 198, 199, 18, 201, 104, 48, 86, 205, 27, 37, 59, 209, 210, 5, 212, 71, 17, 47, 216, 217, 218, 26, 36, 101, 84, 70, 224, 225, 226, 46, 16, 229, 57, 6, 232, 25, 234, 99, 236, 237, 238, 45, 82, 56, 15, 68, 244, 245, 34, 24, 7, 81, 122, 44, 55, 67, 14, 120, 96, 134, 80, 33, 8, 23, 139, 13, 141, 117, 143, 9, 145, 12, 10, 11, 32, 115, 65, 22, 78, 114, 155, 93, 157, 158, 113, 160, 161, 31, 163, 41, 165, 21, 167, 168, 111, 170, 171, 76, 63, 110, 30, 51, 40, 178, 109, 20, 181, 75, 183, 62, 108, 186, 187, 29, 3, 39, 107, 74, 1, 19, 61, 88, 106, 198, 4, 49, 28, 73, 38, 87, 205, 60, 207, 18, 104, 210, 211, 48, 86, 27, 103, 37, 5, 218, 219, 220, 221, 17, 223, 47, 225, 226, 227, 26, 36, 230, 84, 70, 233, 234, 235, 16, 237, 6, 57, 83, 241, 25, 99, 244, 245, 246, 247, 45, 82, 15, 127, 68, 129, 122, 7, 24, 97, 81, 135, 44, 55, 14, 119, 96, 141, 142, 8, 33, 145, 23, 13, 43, 54, 9, 116, 79, 10, 154, 11, 94, 32, 158, 159, 22, 53, 162, 163, 93, 113, 166, 167, 168, 169, 31, 64, 92, 41, 21, 111, 176, 177, 178, 179, 91, 76, 63, 30, 184, 51, 40, 187, 20, 189, 190, 75, 108, 62, 194, 3, 29, 50, 107, 1, 200, 74, 19, 203, 61, 4, 206, 207, 208, 28, 105, 73, 38, 87, 214, 60, 18, 217, 218, 219, 220, 48, 86, 5, 224, 37, 59, 227, 228, 229, 17, 71, 232, 47, 234, 235, 236, 26, 36, 239, 84, 70, 242, 243, 16, 6, 246, 247, 57, 83, 250, 25, 125, 128, 124, 130, 123, 45, 15, 56, 135, 68, 7, 138, 34, 24, 141, 81, 143, 44, 14, 55, 67, 96, 8, 150, 80, 33, 153, 13, 155, 9, 157, 54, 159, 10, 115, 11, 163, 94, 32, 114, 167, 22, 42, 53, 113, 93, 173, 174, 175, 112, 177, 31, 179, 64, 111, 21, 183, 184, 185, 186, 110, 91, 189, 76, 30, 192, 109, 51, 40, 20, 197, 198, 108, 75, 3, 62, 203, 29, 107, 1, 207, 39, 209, 19, 4, 212, 61, 214, 215, 216, 105, 28, 219, 73, 38, 87, 223, 18, 225, 226, 227, 228, 229, 5, 86, 27, 233, 37, 59, 236, 237, 17, 239, 71, 241, 47, 243, 244, 101, 26, 36, 248, 84, 70, 251, 6, 127, 46, 129, 125, 57, 83, 99, 25, 123, 136, 137, 122, 139, 15, 82, 142, 7, 144, 68, 146, 34, 24, 119, 81, 151, 14, 118, 154, 8, 67, 117, 158, 80, 33, 13, 9, 163, 95, 43, 166, 10, 168, 11, 170, 171, 94, 32, 174, 175, 22, 113, 42, 53, 93, 181, 112, 183, 184, 185, 31, 187, 92, 64, 21, 41, 192, 193, 110, 195, 91, 197, 198, 30, 63, 201, 202, 51, 20, 205, 108, 207, 3, 75, 210, 62, 107, 1, 214, 50, 216, 4, 19, 74, 220, 221, 61, 223, 224, 105, 226, 28, 228, 73, 38, 87, 18, 60, 234, 235, 236, 5, 238, 48, 86, 27, 242, 37, 59, 245, 17, 247, 248, 71, 250, 47, 252, 101, 254, 26, 36, 130, 84, 6, 16, 134, 135, 46, 137, 138, 123, 57, 141, 25, 69, 144, 145, 121, 15, 45, 7, 120, 151, 56, 153, 68, 34, 24, 157, 81, 14, 160, 8, 162, 117, 55, 67, 166, 167, 9, 169, 23, 171, 95, 115, 10, 175, 11, 177, 79, 179, 94, 32, 182, 113, 22, 185, 186, 42, 53, 112, 190, 191, 192, 193, 31, 111, 92, 197, 21, 199, 41, 110, 202, 203, 91, 205, 206, 109, 30, 63, 210, 211, 20, 40, 214, 3, 216, 217, 75, 107, 1, 221, 29, 223, 4, 225, 19, 227, 74, 229, 230, 61, 232, 105, 234, 235, 28, 237, 73, 38, 18, 241, 60, 243, 5, 245, 246, 103, 48, 86, 27, 251, 37, 59, 17, 255, 256, 129, 71, 131, 47, 101, 126, 135, 26, 36, 6, 84, 16, 70, 142, 123, 46, 145, 146, 122, 83, 57, 25, 121, 69, 153, 15, 7, 98, 45, 158, 119, 160, 56, 162, 34, 24, 165, 14, 8, 168, 117, 44, 171, 96, 55, 67, 9, 33, 80, 23, 115, 95, 10, 182, 11, 114, 54, 186, 79, 94, 32, 113, 191, 22, 193, 194, 195, 42, 53, 198, 199, 200, 201, 111, 31, 92, 205, 21, 64, 110, 41, 210, 211, 212, 91, 109, 215, 216, 30, 63, 219, 20, 51, 3, 223, 224, 225, 226, 1, 228, 62, 230, 4, 232, 50, 19, 39, 236, 74, 238, 239, 61, 105, 242, 243, 244, 28, 246, 73, 18, 87, 250, 5, 252, 253, 254, 103, 256, 48, 86, 27, 129, 37, 17, 59, 127, 136, 137, 85, 71, 47, 125, 142, 143, 6, 36, 58, 84, 16, 149, 70, 151, 122, 46, 154, 155, 83, 157, 25, 159, 120, 7, 162, 163, 98, 119, 45, 167, 168, 169, 56, 34, 24, 8, 174, 117, 81, 177, 178, 44, 96, 181, 9, 67, 33, 115, 23, 187, 10, 189, 11, 114, 43, 193, 54, 195, 79, 113, 32, 199, 22, 201, 202, 112, 93, 42, 53, 207, 208, 111, 210, 211, 31, 92, 21, 110, 64, 217, 41, 219, 220, 109, 91, 223, 224, 225, 30, 63, 20, 3, 51, 40, 232, 233, 1, 107, 75, 237, 4, 239, 29, 241, 19, 243, 39, 245, 74, 247, 248, 61, 250, 251, 252, 253, 28, 255, 18, 38, 5, 259, 260, 60, 130, 103, 129, 135, 48, 72, 27, 127, 37, 17, 126, 59, 144, 125, 85, 147, 71, 47, 6, 151, 26, 36, 154, 58, 16, 122, 158, 70, 160, 121, 46, 163, 99, 83, 25, 7, 168, 15, 69, 119, 98, 173, 174, 45, 118, 177, 178, 8, 14, 68, 182, 183, 184, 81, 116, 187, 44, 9, 190, 55, 67, 33, 23, 10, 95, 11, 114, 199, 200, 43, 202, 54, 94, 79, 206, 32, 22, 209, 112, 211, 212, 93, 42, 53, 111, 217, 218, 219, 220, 31, 21, 223, 224, 64, 226, 41, 228, 109, 230, 91, 232, 233, 234, 30, 3, 237, 238, 51, 40, 1, 242, 107, 244, 4, 246, 62, 248, 29, 19, 50, 252, 39, 254, 74, 256, 105, 88, 61, 260, 261, 262, 28, 104, 5, 38, 87, 129, 138, 139, 60, 141, 142, 127, 144, 48, 27, 147, 37, 17, 125, 151, 59, 153, 85, 155, 6, 71, 47, 159, 26, 36, 122, 163, 16, 165, 166, 121, 70, 169, 170, 46, 99, 7, 25, 175, 57, 15, 178, 69, 98, 181, 118, 183, 45, 8, 186, 14, 24, 189, 68, 191, 192, 116, 81, 195, 9, 44, 198, 115, 55, 67, 10, 203, 11, 114, 206, 207, 208, 209, 43, 113, 54, 94, 79, 215, 22, 112, 218, 219, 220, 221, 93, 42, 53, 225, 226, 227, 228, 229, 21, 92, 232, 233, 64, 235, 41, 109, 238, 239, 91, 241, 242, 3, 20, 63, 246, 247, 1, 40, 250, 107, 4, 253, 75, 255, 256, 62, 29, 19, 50, 261, 39, 263, 264, 74, 132, 88, 131, 61, 130, 139, 5, 49, 18, 38, 73, 145, 146, 127, 103, 60, 150, 126, 152, 86, 27, 72, 37, 17, 158, 124, 160, 59, 6, 85, 101, 165, 71, 47, 26, 36, 170, 171, 16, 58, 174, 175, 176, 70, 120, 7, 46, 181, 25, 35, 184, 15, 186, 187, 69, 189, 190, 191, 8, 45, 117, 14, 24, 34, 198, 68, 116, 201, 202, 9, 96, 205, 44, 207, 208, 10, 23, 11, 114, 80, 214, 215, 216, 217, 113, 43, 220, 54, 94, 79, 22, 32, 226, 227, 228, 229, 230, 93, 42, 53, 234, 235, 236, 237, 21, 31, 92, 241, 242, 64, 244, 41, 246, 247, 248, 91, 3, 251, 108, 20, 254, 1, 256, 51, 40, 4, 260, 261, 262, 263, 75, 265, 106, 29, 19, 136, 50, 39, 131, 105, 141, 74, 88, 144, 129, 5, 147, 28, 149, 18, 38, 87, 73, 154, 155, 103, 157, 60, 159, 125, 161, 27, 48, 37, 17, 166, 167, 6, 123, 59, 171, 85, 173, 122, 71, 26, 177, 36, 121, 16, 181, 58, 183, 120, 7, 70, 187, 99, 46, 25, 191, 35, 15, 57, 118, 98, 69, 198, 8, 200, 117, 45, 14, 24, 205, 34, 116, 68, 209, 9, 211, 81, 96, 214, 44, 10, 217, 11, 67, 33, 221, 80, 223, 224, 113, 226, 227, 43, 229, 54, 94, 22, 233, 32, 235, 236, 237, 238, 111, 93, 42, 53, 243, 244, 245, 110, 21, 31, 92, 250, 251, 77, 64, 41, 255, 256, 3, 91, 259, 108, 261, 1, 76, 264, 63, 4, 40, 268, 135, 134, 137, 133, 139, 75, 141, 29, 19, 144, 145, 39, 147, 105, 129, 150, 74, 5, 128, 154, 61, 28, 127, 18, 38, 160, 87, 73, 163, 103, 125, 166, 60, 168, 169, 27, 86, 48, 17, 6, 123, 176, 177, 178, 59, 101, 85, 182, 183, 26, 47, 186, 36, 16, 189, 120, 7, 192, 193, 194, 70, 99, 197, 25, 199, 200, 15, 118, 57, 98, 205, 8, 207, 117, 209, 210, 14, 24, 97, 116, 34, 216, 9, 13, 219, 115, 81, 96, 10, 44, 11, 23, 55, 67, 33, 230, 80, 232, 113, 234, 235, 236, 43, 238, 54, 94, 22, 242, 32, 244, 245, 246, 111, 248, 93, 42, 53, 252, 253, 110, 255, 21, 31, 92, 259, 260, 109, 77, 41, 3, 265, 266, 91, 108, 1, 270, 20, 135, 4, 134, 63, 40, 51, 143, 132, 145, 146, 131, 106, 75, 29, 19, 62, 153, 39, 50, 105, 157, 5, 159, 74, 161, 127, 163, 28, 165, 18, 167, 38, 169, 87, 73, 103, 173, 174, 175, 60, 177, 27, 179, 6, 17, 37, 183, 184, 185, 122, 187, 59, 189, 85, 121, 26, 71, 47, 195, 16, 7, 198, 199, 58, 201, 202, 119, 70, 205, 25, 46, 208, 15, 35, 211, 57, 8, 214, 69, 216, 217, 218, 14, 24, 116, 97, 223, 9, 225, 13, 115, 228, 229, 10, 96, 11, 44, 114, 23, 55, 67, 33, 239, 80, 113, 242, 243, 244, 245, 43, 247, 54, 66, 22, 251, 32, 253, 254, 111, 256, 257, 93, 42, 260, 53, 110, 263, 264, 21, 31, 92, 268, 109, 270, 3, 41, 64, 52, 139, 1, 141, 134, 143, 4, 133, 146, 76, 107, 40, 150, 51, 152, 153, 154, 130, 106, 157, 29, 19, 160, 62, 162, 39, 5, 165, 166, 127, 168, 74, 170, 171, 28, 61, 18, 175, 176, 38, 178, 87, 73, 181, 124, 183, 184, 60, 6, 123, 102, 17, 48, 37, 122, 193, 194, 195, 101, 59, 121, 85, 26, 201, 71, 47, 7, 36, 206, 207, 208, 58, 119, 211, 212, 70, 25, 215, 46, 15, 218, 35, 8, 57, 98, 223, 69, 225, 226, 14, 116, 24, 230, 9, 232, 34, 13, 68, 236, 10, 238, 11, 96, 241, 44, 243, 23, 55, 246, 33, 248, 80, 250, 251, 252, 253, 254, 43, 112, 257, 54, 22, 79, 32, 262, 111, 264, 265, 266, 93, 42, 269, 110, 53, 272, 273, 21, 31, 92, 109, 3, 142, 135, 41, 77, 1, 52, 91, 133, 4, 151, 20, 153, 154, 155, 76, 157, 40, 159, 51, 161, 162, 163, 106, 165, 29, 19, 89, 169, 5, 171, 39, 50, 174, 175, 176, 177, 74, 179, 28, 181, 18, 125, 184, 185, 38, 187, 87, 73, 190, 191, 6, 123, 27, 195, 102, 17, 86, 48, 37, 201, 202, 203, 101, 121, 59, 207, 26, 209, 210, 7, 16, 100, 36, 215, 216, 119, 58, 219, 220, 221, 70, 25, 224, 15, 226, 8, 35, 117, 57, 98, 232, 69, 234, 14, 116, 237, 9, 239, 97, 241, 13, 115, 10, 12, 11, 247, 81, 96, 114, 44, 252, 23, 254, 55, 33, 67, 95, 80, 260, 261, 262, 263, 43, 265, 266, 94, 22, 66, 32, 111, 272, 273, 274, 275, 93, 42, 110, 141, 137, 53, 136, 21, 31, 3, 109, 149, 134, 151, 1, 41, 77, 64, 4, 91, 158, 159, 20, 131, 162, 163, 107, 76, 166, 40, 168, 51, 170, 171, 106, 173, 29, 19, 5, 89, 178, 62, 105, 39, 50, 183, 126, 185, 186, 74, 28, 125, 18, 61, 192, 193, 124, 38, 103, 87, 6, 199, 123, 201, 27, 60, 102, 17, 122, 86, 48, 37, 210, 211, 121, 101, 214, 59, 216, 26, 7, 219, 16, 47, 100, 36, 119, 225, 226, 58, 228, 229, 118, 70, 25, 15, 8, 235, 236, 35, 238, 57, 98, 241, 242, 14, 116, 9, 246, 24, 248, 97, 13, 10, 56, 11, 254, 68, 256, 257, 81, 259, 44, 261, 23, 263, 264, 33, 266, 67, 268, 80, 270, 271, 112, 43, 274, 275, 94, 22, 54, 32, 79, 142, 138, 144, 137, 93, 147, 42, 149, 150, 135, 53, 3, 31, 155, 92, 157, 1, 159, 160, 161, 4, 77, 64, 52, 91, 167, 20, 169, 130, 171, 107, 173, 76, 129, 40, 177, 51, 179, 106, 181, 5, 19, 184, 75, 89, 187, 62, 189, 39, 50, 192, 193, 194, 125, 28, 197, 18, 199, 61, 124, 202, 203, 6, 205, 87, 73, 208, 209, 210, 27, 60, 17, 214, 215, 86, 48, 37, 121, 220, 221, 101, 223, 59, 7, 26, 227, 16, 71, 47, 100, 36, 233, 234, 235, 58, 237, 118, 239, 99, 8, 242, 46, 244, 117, 35, 247, 248, 57, 250, 14, 9, 69, 254, 255, 24, 82, 10, 115, 11, 12, 56, 263, 264, 68, 114, 96, 81, 44, 270}

 

 

__________

 

Many thanks again, Lars and Jean-Marc!

Please have a look here also, on the same subject.

Best,

É.