Endi remarked, in the "factorials" thread: This is where this site should be going - proper mathematics.

I went on a week-long Maths course once, with the Open University, staying at Stirling University.
Apart from the (much higher) Maths we were studying the tutors set various problems to keep us busy should we actually manage somehow to run out of work. The one presented in this thread was one of the "Week long problems".
At the end of the week we discovered the tutors didn't in fact have any answers for any of these problems ...

Here's the one I liked best.

Given a number, N.
If it's even, halve it.
If it's odd, multiply it by three, add 1, and then halve it.
Stop when you reach 1.

EG: starting with N=3
3
(3x3 +1 = 10)
5
(3x5 +1 = 16)
8
4
2
1

It takes 5 steps to reach 1: 5, 8, 4, 2, 1
let S(N) be the number of steps to reach 1 from N
S(3) = 5


EG N=9
9
(28)
14
7
(22)
11
(34)
17
(52)
26
13
(40)
20
10
5
(16)
8
4
2
1
9: 14 7 11 17 26 13 20 10 5 8 4 2 1
S(9) = 13

S(3) = 5; S(9) = 13.

Question: Can we get S(N) from N without writing out all the terms?
Is there a formula?

Here's a bunch more S values to work with:

S(1) = 0
S(2) = 1
S(3) = 5
S(4) = 2
S(5) = 4
S(6) = 6
S(7) = 11
S(8) = 3
S(9) = 13
S(10) = 5
S(11) = 10
S(12) = 7
S(13) = 7
S(14) = 12
S(15) = 12
S(16) = 4
S(17) = 9
S(18) = 14
S(19) = 14
S(20) = 6
S(21) = 6
S(22) = 11
S(23) = 11
S(24) = 8
S(25) = 16
S(26) = 8
S(27) = 70
S(28) = 13
S(29) = 13
S(30) = 13
S(31) = 67
S(32) = 5
S(33) = 18
S(34) = 10
S(35) = 10
S(36) = 15
S(37) = 15
S(38) = 15
S(39) = 23
S(40) = 7
S(41) = 69
S(42) = 7
S(43) = 20
S(44) = 12
S(45) = 12
S(46) = 12
S(47) = 66
S(48) = 9
S(49) = 17
S(50) = 17
S(51) = 17
S(52) = 9
S(53) = 9
S(54) = 71
S(55) = 71
S(56) = 14
S(57) = 22
S(58) = 14
S(59) = 22
S(60) = 14
S(61) = 14
S(62) = 68
S(63) = 68
S(64) = 6
S(65) = 19
S(66) = 19
S(67) = 19
S(68) = 11
S(69) = 11
S(70) = 11
S(71) = 65
S(72) = 16
S(73) = 73
S(74) = 16
S(75) = 11
S(76) = 16
S(77) = 16
S(78) = 24
S(79) = 24
S(80) = 8
S(81) = 16
S(82) = 70
S(83) = 70
S(84) = 8
S(85) = 8
S(86) = 21
S(87) = 21
S(88) = 13
S(89) = 21
S(90) = 13
S(91) = 59
S(92) = 13
S(93) = 13
S(94) = 67
S(95) = 67
S(96) = 10
S(97) = 75
S(98) = 18
S(99) = 18
S(100) = 18
S(101) = 18
S(102) = 18
S(103) = 56
S(104) = 10
S(105) = 26
S(106) = 10
S(107) = 64
S(108) = 72
S(109) = 72
S(110) = 72
S(111) = 45
S(112) = 15
S(113) = 10
S(114) = 23
S(115) = 23
S(116) = 15
S(117) = 15
S(118) = 23
S(119) = 23
S(120) = 15
S(121) = 61
S(122) = 15
S(123) = 31
S(124) = 69
S(125) = 69
S(126) = 69
S(127) = 31
S(128) = 7
S(129) = 77
S(130) = 20
S(131) = 20
S(132) = 20
S(133) = 20
S(134) = 20
S(135) = 28
S(136) = 12
S(137) = 58
S(138) = 12
S(139) = 28
S(140) = 12
S(141) = 12
S(142) = 66
S(143) = 66
S(144) = 17

The one thing that's obvious is that S(2^N) = N.

S(1) = 0
S(2) = 1
S(4) = 2
S(8) = 3
S(16) = 4
S(32) = 5
S(64) = 6
S(128) = 7

In general, if N=A×B, where A is odd and B is a power of 2, then S( N ) = S( A ) + S( B ).

S(6) = S(3×2) = S(3) + S(2) = 5 + 1 = 6
S(10) = S(5×2) = S(5) + S(2) = 4 + 1 = 5
S(12) = S(3×4) = S(3) + S(4) = 5 + 2 = 7
S(14) = S(7×2) = S(7) + S(2) = 11 + 1 = 12
S(18) = S(9×2) = S(9) + S(2) = 13 + 1 = 14
S(20) = S(5×4) = S(5) + S(4) = 4 + 2 = 6
S(22) = S(11×2) = S(11) + S(2) = 10 + 1 = 11
S(24) = S(3×8) = S(3) + S(8) = 5 + 3 = 8

Now all we need is a formula for when N is odd.

Yes, for any even number
S(k x 2^n) = S(k) + n.

I found your problem - called the Syracuse algorithm - in the Penguin Book of Curious and Interesting Numbers, but the termsaren't counted in the same way.

For example, staring with 17 we have
17 52 26 13 40 20 10 5 16 8 4 2 1 with 12 steps, while you have
17 (52) 26 13 (40) 20 10 5 (16) 8 4 2 1 with 9 steps.

Counting the terms their way gives s(27) = 111 (reaching a maximum height of 9232) as against your s(27) = 70.

What do you, and Dan, think? Should you count all the terms produced as in the book?

I'll have another look at the problem and see if the book's ideas produce any interesting results.
My approach has got nowhere to date!

Mine hasn't gotten anywhere, either.

Computing S their way gives:

S(1) = 0
S(2) = 1
S(3) = 7
S(4) = 2
S(5) = 5
S(6) = 8
S(7) = 16
S(8) = 3
S(9) = 19
S(10) = 6
S(11) = 14
S(12) = 9
S(13) = 9
S(14) = 17
S(15) = 17
S(16) = 4
S(17) = 12
S(18) = 20
S(19) = 20
S(20) = 7
S(21) = 7
S(22) = 15
S(23) = 15
S(24) = 10
S(25) = 23
S(26) = 10
S(27) = 111
S(28) = 18
S(29) = 18
S(30) = 18
S(31) = 106
S(32) = 5
S(33) = 26
S(34) = 13
S(35) = 13
S(36) = 21
S(37) = 21
S(38) = 21
S(39) = 34
S(40) = 8
S(41) = 109
S(42) = 8
S(43) = 29
S(44) = 16
S(45) = 16
S(46) = 16
S(47) = 104
S(48) = 11
S(49) = 24
S(50) = 24
S(51) = 24
S(52) = 11
S(53) = 11
S(54) = 112
S(55) = 112
S(56) = 19
S(57) = 32
S(58) = 19
S(59) = 32
S(60) = 19
S(61) = 19
S(62) = 107
S(63) = 107
S(64) = 6
S(65) = 27
S(66) = 27
S(67) = 27
S(68) = 14
S(69) = 14
S(70) = 14
S(71) = 102
S(72) = 22
S(73) = 115
S(74) = 22
S(75) = 14
S(76) = 22
S(77) = 22
S(78) = 35
S(79) = 35
S(80) = 9
S(81) = 22
S(82) = 110
S(83) = 110
S(84) = 9
S(85) = 9
S(86) = 30
S(87) = 30
S(88) = 17
S(89) = 30
S(90) = 17
S(91) = 92
S(92) = 17
S(93) = 17
S(94) = 105
S(95) = 105
S(96) = 12
S(97) = 118
S(98) = 25
S(99) = 25
S(100) = 25
S(101) = 25
S(102) = 25
S(103) = 87
S(104) = 12
S(105) = 38
S(106) = 12
S(107) = 100
S(108) = 113
S(109) = 113
S(110) = 113
S(111) = 69
S(112) = 20
S(113) = 12
S(114) = 33
S(115) = 33
S(116) = 20
S(117) = 20
S(118) = 33
S(119) = 33
S(120) = 20
S(121) = 95
S(122) = 20
S(123) = 46
S(124) = 108
S(125) = 108
S(126) = 108
S(127) = 46
S(128) = 7
S(129) = 121
S(130) = 28
S(131) = 28
S(132) = 28
S(133) = 28
S(134) = 28
S(135) = 41
S(136) = 15
S(137) = 90
S(138) = 15
S(139) = 41
S(140) = 15
S(141) = 15
S(142) = 103
S(143) = 103
S(144) = 23

"More work for the Undertaker" ...
old Music-hall song.
I'll have another look at it tomorrow.

It's also in Kelly&Pohl's C by Dissection as the "hailstones" sequence. It says it's still an open question whether S(n) is even finite.

Yes, I thought I recognized it as this open problem too, but wasn't sure.
So whoever solves it, will get the praise of very many mathematicians... But I won't try, I've too often been sitting whole nights over (for me) unsolvable problems.

Potential relevance to base 12:

Suppose that (3n+1)/2 is even (and thus the n=even case is reached in the next step). Then 3n+1 is a multiple of 4. In dozenal, a number is a multiple of 4 iff it ends in 4, 8, or 0. Thus, 3n ends in 3 (because a multiple of 3 cannot end in 7 or :B). This means that the last digit of n is 1, 5, or 9.

To be continued...

If n is an odd number, then n mod 4 is either 1 (i.e., the numbers ending in 1, 5, or 9 mentioned above) or 3 (numbers ending in 3, 7, or :B in dozenal).

Case 1: n=4m+1
S(n) = S(4m+1)
= 1 + S(3(4m+1)+1)
= 1 + S(12m + 4)
= 2 + S(6m + 2)
= 3 + S(3m + 1)

Case 3: n=4m+3
S(n) = S(4m+3)
= 1 + S(3(4m+3)+1)
= 1 + S(12m + 10)
= 2 + S(6m + 5)
= 3 + S(3(6m+5) + 1)
= 3 + S(18m + 16)
= 4 + S(9m + 8)

In summary:

• If n=2m (i.e., is even), then S(n) = 1+S(m)
• If n=4m+1, then S(n)=3+S(3m+1)
• If n=4m+3, then S(n)=4+S(9m+8)

Note that the first two cases express S(n) in terms of S(a number less than n), but the third does not. This case will be considered in my next post later.

Maybe a graph would be helpful.

Oooh, a forum semi-about duodecimals.. Sweet!

Anyways, on topic, here's a graph from 0-400 000:


It certainly looks like the distribution it has a distinct 'shape', so I tried to find a function for that shape. The first succes I got was this:
The lowest S(n) numbers all lie on the function log(n)/log(2) (as in the 2-log of n)

Then I tried to find other functions for the dots which didn't lie on this function. Since S(5)=5, I tried inserting a variable at places and calculating
a*log(5)/log(2)=4
log(5)/log(a)=4
log(a5)/log(2)=4

This last one gave me a proper function, running through the first dots of horizontal series of dots.
a prooved to be 16/5 making the formula
log(16n/5)/log(2)
or
log(n2^4/5)/log(2)

other functions I found were
log(n2^5/3)/log(2)
log(n2^9/17)/log(2)
log(n2^10/11)/log(2)
log(n2^10/17)/log(2)

This gives the graph:


I don't know why the formulas are like this, I haven't proven it, and I haven't yet looked at the 'high' numbers (see Dan's graph) (I'm actually not even sure if there actually are 'high' numbers or if I can 'hit' them with my formula)

Maybe someone else can find a pattern here, going from what I've found..

Those are the powers of two: S(2^m) = m

The following values of n=am+b allow S(n) to be written as S(cm+d)+e where c<a:

2m, 4m, 4m+1, 4m+2, 6m, 6m+2, 6m+4, 8m, 8m+2, 8m+4, 8m+5, 10m, 10m+2, 10m+4, 10m+6, 10m+8, 12m, 12m+1, 12m+2, 12m+4, 12m+5, 12m+6, 12m+8, 12m+9, 12m+10, 14m, 14m+2, 14m+4, 14m+6, 14m+8, 14m+10, 14m+12, 16m, 16m+1, 16m+2, 16m+3, 16m+4, 16m+5, 16m+6, 16m+8, 16m+10, 16m+12, 16m+13, 18m, 18m+2, 18m+4, 18m+6, 18m+8, 18m+10, 18m+12, 18m+14, 18m+16, 20m, 20m+1, 20m+2, 20m+4, 20m+5, 20m+6, 20m+8, 20m+9, 20m+10, 20m+12, 20m+13, 20m+14, 20m+16, 20m+17, 20m+18, 22m, 22m+2, 22m+4, 22m+6, 22m+8, 22m+10, 22m+12, 22m+14, 22m+16, 22m+18, 22m+20, 24m, 24m+2, 24m+4, 24m+5, 24m+8, 24m+10, 24m+12, 24m+13, 24m+16, 24m+18, 24m+20, 24m+21, 26m, 26m+2, 26m+4, 26m+6, 26m+8, 26m+10, 26m+12, 26m+14, 26m+16, 26m+18, 26m+20, 26m+22, 26m+24, 28m, 28m+1, 28m+2, 28m+4, 28m+5, 28m+6, 28m+8, 28m+9, 28m+10, 28m+12, 28m+13, 28m+14, 28m+16, 28m+17, 28m+18, 28m+20, 28m+21, 28m+22, 28m+24, 28m+25, 28m+26, 30m, 30m+2, 30m+4, 30m+6, 30m+8, 30m+10, 30m+12, 30m+14, 30m+16, 30m+18, 30m+20, 30m+22, 30m+24, 30m+26, 30m+28, 32m, 32m+1, 32m+2, 32m+3, 32m+4, 32m+5, 32m+6, 32m+8, 32m+10, 32m+11, 32m+12, 32m+13, 32m+14, 32m+16, 32m+17, 32m+18, 32m+19, 32m+20, 32m+21, 32m+22, 32m+23, 32m+24, 32m+25, 32m+26, 32m+28, 32m+29, 34m, 34m+2, 34m+4, 34m+6, 34m+8, 34m+10, 34m+12, 34m+14, 34m+16, 34m+18, 34m+20, 34m+22, 34m+24, 34m+26, 34m+28, 34m+30, 34m+32, 36m, 36m+1, 36m+2, 36m+4, 36m+5, 36m+6, 36m+8, 36m+9, 36m+10, 36m+12, 36m+13, 36m+14, 36m+16, 36m+17, 36m+18, 36m+20, 36m+21, 36m+22, 36m+24, 36m+25, 36m+26, 36m+28, 36m+29, 36m+30, 36m+32, 36m+33, 36m+34, 38m, 38m+2, 38m+4, 38m+6, 38m+8, 38m+10, 38m+12, 38m+14, 38m+16, 38m+18, 38m+20, 38m+22, 38m+24, 38m+26, 38m+28, 38m+30, 38m+32, 38m+34, 38m+36, 40m, 40m+2, 40m+4, 40m+5, 40m+8, 40m+10, 40m+12, 40m+13, 40m+16, 40m+18, 40m+20, 40m+21, 40m+24, 40m+26, 40m+28, 40m+29, 40m+32, 40m+34, 40m+36, 40m+37, 42m, 42m+2, 42m+4, 42m+6, 42m+8, 42m+10, 42m+12, 42m+14, 42m+16, 42m+18, 42m+20, 42m+22, 42m+24, 42m+26, 42m+28, 42m+30, 42m+32, 42m+34, 42m+36, 42m+38, 42m+40, 44m, 44m+1, 44m+2, 44m+4, 44m+5, 44m+6, 44m+8, 44m+9, 44m+10, 44m+12, 44m+13, 44m+14, 44m+16, 44m+17, 44m+18, 44m+20, 44m+21, 44m+22, 44m+24, 44m+25, 44m+26, 44m+28, 44m+29, 44m+30, 44m+32, 44m+33, 44m+34, 44m+36, 44m+37, 44m+38, 44m+40, 44m+41, 44m+42, 46m, 46m+2, 46m+4, 46m+6, 46m+8, 46m+10, 46m+12, 46m+14, 46m+16, 46m+18, 46m+20, 46m+22, 46m+24, 46m+26, 46m+28, 46m+30, 46m+32, 46m+34, 46m+36, 46m+38, 46m+40, 46m+42, 46m+44, 48m, 48m+1, 48m+2, 48m+3, 48m+4, 48m+5, 48m+6, 48m+8, 48m+10, 48m+12, 48m+13, 48m+16, 48m+17, 48m+18, 48m+19, 48m+20, 48m+21, 48m+22, 48m+24, 48m+26, 48m+28, 48m+29, 48m+32, 48m+33, 48m+34, 48m+35, 48m+36, 48m+37, 48m+38, 48m+40, 48m+42, 48m+44, 48m+45, 50m, 50m+2, 50m+4, 50m+6, 50m+8, 50m+10, 50m+12, 50m+14, 50m+16, 50m+18, 50m+20, 50m+22, 50m+24, 50m+26, 50m+28, 50m+30, 50m+32, 50m+34, 50m+36, 50m+38, 50m+40, 50m+42, 50m+44, 50m+46, 50m+48, 52m, 52m+1, 52m+2, 52m+4, 52m+5, 52m+6, 52m+8, 52m+9, 52m+10, 52m+12, 52m+13, 52m+14, 52m+16, 52m+17, 52m+18, 52m+20, 52m+21, 52m+22, 52m+24, 52m+25, 52m+26, 52m+28, 52m+29, 52m+30, 52m+32, 52m+33, 52m+34, 52m+36, 52m+37, 52m+38, 52m+40, 52m+41, 52m+42, 52m+44, 52m+45, 52m+46, 52m+48, 52m+49, 52m+50, 54m, 54m+2, 54m+4, 54m+6, 54m+8, 54m+10, 54m+12, 54m+14, 54m+16, 54m+18, 54m+20, 54m+22, 54m+24, 54m+26, 54m+28, 54m+30, 54m+32, 54m+34, 54m+36, 54m+38, 54m+40, 54m+42, 54m+44, 54m+46, 54m+48, 54m+50, 54m+52, 56m, 56m+2, 56m+4, 56m+5, 56m+8, 56m+10, 56m+12, 56m+13, 56m+16, 56m+18, 56m+20, 56m+21, 56m+24, 56m+26, 56m+28, 56m+29, 56m+32, 56m+34, 56m+36, 56m+37, 56m+40, 56m+42, 56m+44, 56m+45, 56m+48, 56m+50, 56m+52, 56m+53, 58m, 58m+2, 58m+4, 58m+6, 58m+8, 58m+10, 58m+12, 58m+14, 58m+16, 58m+18, 58m+20, 58m+22, 58m+24, 58m+26, 58m+28, 58m+30, 58m+32, 58m+34, 58m+36, 58m+38, 58m+40, 58m+42, 58m+44, 58m+46, 58m+48, 58m+50, 58m+52, 58m+54, 58m+56, 60m, 60m+1, 60m+2, 60m+4, 60m+5, 60m+6, 60m+8, 60m+9, 60m+10, 60m+12, 60m+13, 60m+14, 60m+16, 60m+17, 60m+18, 60m+20, 60m+21, 60m+22, 60m+24, 60m+25, 60m+26, 60m+28, 60m+29, 60m+30, 60m+32, 60m+33, 60m+34, 60m+36, 60m+37, 60m+38, 60m+40, 60m+41, 60m+42, 60m+44, 60m+45, 60m+46, 60m+48, 60m+49, 60m+50, 60m+52, 60m+53, 60m+54, 60m+56, 60m+57, 60m+58, 62m, 62m+2, 62m+4, 62m+6, 62m+8, 62m+10, 62m+12, 62m+14, 62m+16, 62m+18, 62m+20, 62m+22, 62m+24, 62m+26, 62m+28, 62m+30, 62m+32, 62m+34, 62m+36, 62m+38, 62m+40, 62m+42, 62m+44, 62m+46, 62m+48, 62m+50, 62m+52, 62m+54, 62m+56, 62m+58, 62m+60, 64m, 64m+1, 64m+2, 64m+3, 64m+4, 64m+5, 64m+6, 64m+8, 64m+10, 64m+11, 64m+12, 64m+13, 64m+16, 64m+17, 64m+20, 64m+21, 64m+22, 64m+23, 64m+24, 64m+25, 64m+26, 64m+28, 64m+29, 64m+32, 64m+34, 64m+35, 64m+36, 64m+37, 64m+38, 64m+40, 64m+42, 64m+44, 64m+45, 64m+46, 64m+48, 64m+49, 64m+50, 64m+51, 64m+52, 64m+53, 64m+56, 64m+58, 66m, 66m+2, 66m+4, 66m+6, 66m+8, 66m+10, 66m+12, 66m+14, 66m+16, 66m+18, 66m+20, 66m+22, 66m+24, 66m+26, 66m+28, 66m+30, 66m+32, 66m+34, 66m+36, 66m+38, 66m+40, 66m+42, 66m+44, 66m+46, 66m+48, 66m+50, 66m+52, 66m+54, 66m+56, 66m+58, 66m+60, 66m+62, 66m+64, 68m, 68m+1, 68m+2, 68m+4, 68m+5, 68m+6, 68m+8, 68m+9, 68m+10, 68m+12, 68m+13, 68m+14, 68m+16, 68m+17, 68m+18, 68m+20, 68m+21, 68m+22, 68m+24, 68m+25, 68m+26, 68m+28, 68m+29, 68m+30, 68m+32, 68m+33, 68m+34, 68m+36, 68m+37, 68m+38, 68m+40, 68m+41, 68m+42, 68m+44, 68m+45, 68m+46, 68m+48, 68m+49, 68m+50, 68m+52, 68m+53, 68m+54, 68m+56, 68m+57, 68m+58, 68m+60, 68m+61, 68m+62, 68m+64, 68m+65, 68m+66, 70m, 70m+2, 70m+4, 70m+6, 70m+8, 70m+10, 70m+12, 70m+14, 70m+16, 70m+18, 70m+20, 70m+22, 70m+24, 70m+26, 70m+28, 70m+30, 70m+32, 70m+34, 70m+36, 70m+38, 70m+40, 70m+42, 70m+44, 70m+46, 70m+48, 70m+50, 70m+52, 70m+54, 70m+56, 70m+58, 70m+60, 70m+62, 70m+64, 70m+66, 70m+68, 72m, 72m+2, 72m+4, 72m+5, 72m+8, 72m+10, 72m+12, 72m+13, 72m+16, 72m+18, 72m+20, 72m+21, 72m+24, 72m+26, 72m+28, 72m+29, 72m+32, 72m+34, 72m+36, 72m+37, 72m+40, 72m+42, 72m+44, 72m+45, 72m+48, 72m+50, 72m+52, 72m+53, 72m+56, 72m+58, 72m+60, 72m+61, 72m+64, 72m+66, 72m+68, 72m+69, 74m, 74m+2, 74m+4, 74m+6, 74m+8, 74m+10, 74m+12, 74m+14, 74m+16, 74m+18, 74m+20, 74m+22, 74m+24, 74m+26, 74m+28, 74m+30, 74m+32, 74m+34, 74m+36, 74m+38, 74m+40, 74m+42, 74m+44, 74m+46, 74m+48, 74m+50, 74m+52, 74m+54, 74m+56, 74m+58, 74m+60, 74m+62, 74m+64, 74m+66, 74m+68, 74m+70, 74m+72, 76m, 76m+1, 76m+2, 76m+4, 76m+5, 76m+6, 76m+8, 76m+9, 76m+10, 76m+12, 76m+13, 76m+14, 76m+16, 76m+17, 76m+18, 76m+20, 76m+21, 76m+22, 76m+24, 76m+25, 76m+26, 76m+28, 76m+29, 76m+30, 76m+32, 76m+33, 76m+34, 76m+36, 76m+37, 76m+38, 76m+40, 76m+41, 76m+42, 76m+44, 76m+45, 76m+46, 76m+48, 76m+49, 76m+50, 76m+52, 76m+53, 76m+54, 76m+56, 76m+57, 76m+58, 76m+60, 76m+61, 76m+62, 76m+64, 76m+65, 76m+66, 76m+68, 76m+69, 76m+70, 76m+72, 76m+73, 76m+74, 78m, 78m+2, 78m+4, 78m+6, 78m+8, 78m+10, 78m+12, 78m+14, 78m+16, 78m+18, 78m+20, 78m+22, 78m+24, 78m+26, 78m+28, 78m+30, 78m+32, 78m+34, 78m+36, 78m+38, 78m+40, 78m+42, 78m+44, 78m+46, 78m+48, 78m+50, 78m+52, 78m+54, 78m+56, 78m+58, 78m+60, 78m+62, 78m+64, 78m+66, 78m+68, 78m+70, 78m+72, 78m+74, 78m+76, 80m, 80m+1, 80m+2, 80m+3, 80m+4, 80m+5, 80m+6, 80m+8, 80m+10, 80m+12, 80m+13, 80m+16, 80m+17, 80m+18, 80m+19, 80m+20, 80m+21, 80m+22, 80m+24, 80m+26, 80m+28, 80m+29, 80m+32, 80m+33, 80m+34, 80m+35, 80m+36, 80m+37, 80m+38, 80m+40, 80m+42, 80m+44, 80m+45, 80m+48, 80m+49, 80m+50, 80m+51, 80m+52, 80m+53, 80m+54, 80m+56, 80m+58, 80m+60, 80m+61, 80m+64, 80m+65, 80m+66, 80m+67, 80m+68, 80m+69, 80m+70, 80m+72, 80m+74, 80m+76, 80m+77, 82m, 82m+2, 82m+4, 82m+6, 82m+8, 82m+10, 82m+12, 82m+14, 82m+16, 82m+18, 82m+20, 82m+22, 82m+24, 82m+26, 82m+28, 82m+30, 82m+32, 82m+34, 82m+36, 82m+38, 82m+40, 82m+42, 82m+44, 82m+46, 82m+48, 82m+50, 82m+52, 82m+54, 82m+56, 82m+58, 82m+60, 82m+62, 82m+64, 82m+66, 82m+68, 82m+70, 82m+72, 82m+74, 82m+76, 82m+78, 82m+80, 84m, 84m+1, 84m+2, 84m+4, 84m+5, 84m+6, 84m+8, 84m+9, 84m+10, 84m+12, 84m+13, 84m+14, 84m+16, 84m+17, 84m+18, 84m+20, 84m+21, 84m+22, 84m+24, 84m+25, 84m+26, 84m+28, 84m+29, 84m+30, 84m+32, 84m+33, 84m+34, 84m+36, 84m+37, 84m+38, 84m+40, 84m+41, 84m+42, 84m+44, 84m+45, 84m+46, 84m+48, 84m+49, 84m+50, 84m+52, 84m+53, 84m+54, 84m+56, 84m+57, 84m+58, 84m+60, 84m+61, 84m+62, 84m+64, 84m+65, 84m+66, 84m+68, 84m+69, 84m+70, 84m+72, 84m+73, 84m+74, 84m+76, 84m+77, 84m+78, 84m+80, 84m+81, 84m+82, 86m, 86m+2, 86m+4, 86m+6, 86m+8, 86m+10, 86m+12, 86m+14, 86m+16, 86m+18, 86m+20, 86m+22, 86m+24, 86m+26, 86m+28, 86m+30, 86m+32, 86m+34, 86m+36, 86m+38, 86m+40, 86m+42, 86m+44, 86m+46, 86m+48, 86m+50, 86m+52, 86m+54, 86m+56, 86m+58, 86m+60, 86m+62, 86m+64, 86m+66, 86m+68, 86m+70, 86m+72, 86m+74, 86m+76, 86m+78, 86m+80, 86m+82, 86m+84, 88m, 88m+2, 88m+4, 88m+5, 88m+8, 88m+10, 88m+12, 88m+13, 88m+16, 88m+18, 88m+20, 88m+21, 88m+24, 88m+26, 88m+28, 88m+29, 88m+32, 88m+34, 88m+36, 88m+37, 88m+40, 88m+42, 88m+44, 88m+45, 88m+48, 88m+50, 88m+52, 88m+53, 88m+56, 88m+58, 88m+60, 88m+61, 88m+64, 88m+66, 88m+68, 88m+69, 88m+72, 88m+74, 88m+76, 88m+77, 88m+80, 88m+82, 88m+84, 88m+85, 90m, 90m+2, 90m+4, 90m+6, 90m+8, 90m+10, 90m+12, 90m+14, 90m+16, 90m+18, 90m+20, 90m+22, 90m+24, 90m+26, 90m+28, 90m+30, 90m+32, 90m+34, 90m+36, 90m+38, 90m+40, 90m+42, 90m+44, 90m+46, 90m+48, 90m+50, 90m+52, 90m+54, 90m+56, 90m+58, 90m+60, 90m+62, 90m+64, 90m+66, 90m+68, 90m+70, 90m+72, 90m+74, 90m+76, 90m+78, 90m+80, 90m+82, 90m+84, 90m+86, 90m+88, 92m, 92m+1, 92m+2, 92m+4, 92m+5, 92m+6, 92m+8, 92m+9, 92m+10, 92m+12, 92m+13, 92m+14, 92m+16, 92m+17, 92m+18, 92m+20, 92m+21, 92m+22, 92m+24, 92m+25, 92m+26, 92m+28, 92m+29, 92m+30, 92m+32, 92m+33, 92m+34, 92m+36, 92m+37, 92m+38, 92m+40, 92m+41, 92m+42, 92m+44, 92m+45, 92m+46, 92m+48, 92m+49, 92m+50, 92m+52, 92m+53, 92m+54, 92m+56, 92m+57, 92m+58, 92m+60, 92m+61, 92m+62, 92m+64, 92m+65, 92m+66, 92m+68, 92m+69, 92m+70, 92m+72, 92m+73, 92m+74, 92m+76, 92m+77, 92m+78, 92m+80, 92m+81, 92m+82, 92m+84, 92m+85, 92m+86, 92m+88, 92m+89, 92m+90, 94m, 94m+2, 94m+4, 94m+6, 94m+8, 94m+10, 94m+12, 94m+14, 94m+16, 94m+18, 94m+20, 94m+22, 94m+24, 94m+26, 94m+28, 94m+30, 94m+32, 94m+34, 94m+36, 94m+38, 94m+40, 94m+42, 94m+44, 94m+46, 94m+48, 94m+50, 94m+52, 94m+54, 94m+56, 94m+58, 94m+60, 94m+62, 94m+64, 94m+66, 94m+68, 94m+70, 94m+72, 94m+74, 94m+76, 94m+78, 94m+80, 94m+82, 94m+84, 94m+86, 94m+88, 94m+90, 94m+92, 96m, 96m+1, 96m+2, 96m+3, 96m+4, 96m+5, 96m+6, 96m+8, 96m+10, 96m+11, 96m+12, 96m+13, 96m+14, 96m+16, 96m+17, 96m+18, 96m+19, 96m+20, 96m+21, 96m+22, 96m+23, 96m+24, 96m+25, 96m+26, 96m+28, 96m+29, 96m+32, 96m+33, 96m+34, 96m+35, 96m+36, 96m+37, 96m+38, 96m+40, 96m+42, 96m+43, 96m+44, 96m+45, 96m+46, 96m+48, 96m+49, 96m+50, 96m+51, 96m+52, 96m+53, 96m+54, 96m+55, 96m+56, 96m+57, 96m+58, 96m+60, 96m+61, 96m+64, 96m+65, 96m+66, 96m+67, 96m+68, 96m+69, 96m+70, 96m+72, 96m+74, 96m+75, 96m+76, 96m+77, 96m+78, 96m+80, 96m+81, 96m+82, 96m+83, 96m+84, 96m+85, 96m+86, 96m+87, 96m+88, 96m+89, 96m+90, 96m+92, 96m+93, 98m, 98m+2, 98m+4, 98m+6, 98m+8, 98m+10, 98m+12, 98m+14, 98m+16, 98m+18, 98m+20, 98m+22, 98m+24, 98m+26, 98m+28, 98m+30, 98m+32, 98m+34, 98m+36, 98m+38, 98m+40, 98m+42, 98m+44, 98m+46, 98m+48, 98m+50, 98m+52, 98m+54, 98m+56, 98m+58, 98m+60, 98m+62, 98m+64, 98m+66, 98m+68, 98m+70, 98m+72, 98m+74, 98m+76, 98m+78, 98m+80, 98m+82, 98m+84, 98m+86, 98m+88, 98m+90, 98m+92, 98m+94, 98m+96, 100m, 100m+1, 100m+2, 100m+4, 100m+5, 100m+6, 100m+8, 100m+9, 100m+10, 100m+12, 100m+13, 100m+14, 100m+16, 100m+17, 100m+18, 100m+20, 100m+21, 100m+22, 100m+24, 100m+25, 100m+26, 100m+28, 100m+29, 100m+30, 100m+32, 100m+33, 100m+34, 100m+36, 100m+37, 100m+38, 100m+40, 100m+41, 100m+42, 100m+44, 100m+45, 100m+46, 100m+48, 100m+49, 100m+50, 100m+52, 100m+53, 100m+54, 100m+56, 100m+57, 100m+58, 100m+60, 100m+61, 100m+62, 100m+64, 100m+65, 100m+66, 100m+68, 100m+69, 100m+70, 100m+72, 100m+73, 100m+74, 100m+76, 100m+77, 100m+78, 100m+80, 100m+81, 100m+82, 100m+84, 100m+85, 100m+86, 100m+88, 100m+89, 100m+90, 100m+92, 100m+93, 100m+94, 100m+96, 100m+97, 100m+98, 102m, 102m+2, 102m+4, 102m+6, 102m+8, 102m+10, 102m+12, 102m+14, 102m+16, 102m+18, 102m+20, 102m+22, 102m+24, 102m+26, 102m+28, 102m+30, 102m+32, 102m+34, 102m+36, 102m+38, 102m+40, 102m+42, 102m+44, 102m+46, 102m+48, 102m+50, 102m+52, 102m+54, 102m+56, 102m+58, 102m+60, 102m+62, 102m+64, 102m+66, 102m+68, 102m+70, 102m+72, 102m+74, 102m+76, 102m+78, 102m+80, 102m+82, 102m+84, 102m+86, 102m+88, 102m+90, 102m+92, 102m+94, 102m+96, 102m+98, 102m+100, 104m, 104m+2, 104m+4, 104m+5, 104m+8, 104m+10, 104m+12, 104m+13, 104m+16, 104m+18, 104m+20, 104m+21, 104m+24, 104m+26, 104m+28, 104m+29, 104m+32, 104m+34, 104m+36, 104m+37, 104m+40, 104m+42, 104m+44, 104m+45, 104m+48, 104m+50, 104m+52, 104m+53, 104m+56, 104m+58, 104m+60, 104m+61, 104m+64, 104m+66, 104m+68, 104m+69, 104m+72, 104m+74, 104m+76, 104m+77, 104m+80, 104m+82, 104m+84, 104m+85, 104m+88, 104m+90, 104m+92, 104m+93, 104m+96, 104m+98, 104m+100, 104m+101, 106m, 106m+2, 106m+4, 106m+6, 106m+8, 106m+10, 106m+12, 106m+14, 106m+16, 106m+18, 106m+20, 106m+22, 106m+24, 106m+26, 106m+28, 106m+30, 106m+32, 106m+34, 106m+36, 106m+38, 106m+40, 106m+42, 106m+44, 106m+46, 106m+48, 106m+50, 106m+52, 106m+54, 106m+56, 106m+58, 106m+60, 106m+62, 106m+64, 106m+66, 106m+68, 106m+70, 106m+72, 106m+74, 106m+76, 106m+78, 106m+80, 106m+82, 106m+84, 106m+86, 106m+88, 106m+90, 106m+92, 106m+94, 106m+96, 106m+98, 106m+100, 106m+102, 106m+104, 108m, 108m+1, 108m+2, 108m+4, 108m+5, 108m+6, 108m+8, 108m+9, 108m+10, 108m+12, 108m+13, 108m+14, 108m+16, 108m+17, 108m+18, 108m+20, 108m+21, 108m+22, 108m+24, 108m+25, 108m+26, 108m+28, 108m+29, 108m+30, 108m+32, 108m+33, 108m+34, 108m+36, 108m+37, 108m+38, 108m+40, 108m+41, 108m+42, 108m+44, 108m+45, 108m+46, 108m+48, 108m+49, 108m+50, 108m+52, 108m+53, 108m+54, 108m+56, 108m+57, 108m+58, 108m+60, 108m+61, 108m+62, 108m+64, 108m+65, 108m+66, 108m+68, 108m+69, 108m+70, 108m+72, 108m+73, 108m+74, 108m+76, 108m+77, 108m+78, 108m+80, 108m+81, 108m+82, 108m+84, 108m+85, 108m+86, 108m+88, 108m+89, 108m+90, 108m+92, 108m+93, 108m+94, 108m+96, 108m+97, 108m+98, 108m+100, 108m+101, 108m+102, 108m+104, 108m+105, 108m+106, 110m, 110m+2, 110m+4, 110m+6, 110m+8, 110m+10, 110m+12, 110m+14, 110m+16, 110m+18, 110m+20, 110m+22, 110m+24, 110m+26, 110m+28, 110m+30, 110m+32, 110m+34, 110m+36, 110m+38, 110m+40, 110m+42, 110m+44, 110m+46, 110m+48, 110m+50, 110m+52, 110m+54, 110m+56, 110m+58, 110m+60, 110m+62, 110m+64, 110m+66, 110m+68, 110m+70, 110m+72, 110m+74, 110m+76, 110m+78, 110m+80, 110m+82, 110m+84, 110m+86, 110m+88, 110m+90, 110m+92, 110m+94, 110m+96, 110m+98, 110m+100, 110m+102, 110m+104, 110m+106, 110m+108, 112m, 112m+1, 112m+2, 112m+3, 112m+4, 112m+5, 112m+6, 112m+8, 112m+10, 112m+12, 112m+13, 112m+16, 112m+17, 112m+18, 112m+19, 112m+20, 112m+21, 112m+22, 112m+24, 112m+26, 112m+28, 112m+29, 112m+32, 112m+33, 112m+34, 112m+35, 112m+36, 112m+37, 112m+38, 112m+40, 112m+42, 112m+44, 112m+45, 112m+48, 112m+49, 112m+50, 112m+51, 112m+52, 112m+53, 112m+54, 112m+56, 112m+58, 112m+60, 112m+61, 112m+64, 112m+65, 112m+66, 112m+67, 112m+68, 112m+69, 112m+70, 112m+72, 112m+74, 112m+76, 112m+77, 112m+80, 112m+81, 112m+82, 112m+83, 112m+84, 112m+85, 112m+86, 112m+88, 112m+90, 112m+92, 112m+93, 112m+96, 112m+97, 112m+98, 112m+99, 112m+100, 112m+101, 112m+102, 112m+104, 112m+106, 112m+108, 112m+109, 114m, 114m+2, 114m+4, 114m+6, 114m+8, 114m+10, 114m+12, 114m+14, 114m+16, 114m+18, 114m+20, 114m+22, 114m+24, 114m+26, 114m+28, 114m+30, 114m+32, 114m+34, 114m+36, 114m+38, 114m+40, 114m+42, 114m+44, 114m+46, 114m+48, 114m+50, 114m+52, 114m+54, 114m+56, 114m+58, 114m+60, 114m+62, 114m+64, 114m+66, 114m+68, 114m+70, 114m+72, 114m+74, 114m+76, 114m+78, 114m+80, 114m+82, 114m+84, 114m+86, 114m+88, 114m+90, 114m+92, 114m+94, 114m+96, 114m+98, 114m+100, 114m+102, 114m+104, 114m+106, 114m+108, 114m+110, 114m+112, 116m, 116m+1, 116m+2, 116m+4, 116m+5, 116m+6, 116m+8, 116m+9, 116m+10, 116m+12, 116m+13, 116m+14, 116m+16, 116m+17, 116m+18, 116m+20, 116m+21, 116m+22, 116m+24, 116m+25, 116m+26, 116m+28, 116m+29, 116m+30, 116m+32, 116m+33, 116m+34, 116m+36, 116m+37, 116m+38, 116m+40, 116m+41, 116m+42, 116m+44, 116m+45, 116m+46, 116m+48, 116m+49, 116m+50, 116m+52, 116m+53, 116m+54, 116m+56, 116m+57, 116m+58, 116m+60, 116m+61, 116m+62, 116m+64, 116m+65, 116m+66, 116m+68, 116m+69, 116m+70, 116m+72, 116m+73, 116m+74, 116m+76, 116m+77, 116m+78, 116m+80, 116m+81, 116m+82, 116m+84, 116m+85, 116m+86, 116m+88, 116m+89, 116m+90, 116m+92, 116m+93, 116m+94, 116m+96, 116m+97, 116m+98, 116m+100, 116m+101, 116m+102, 116m+104, 116m+105, 116m+106, 116m+108, 116m+109, 116m+110, 116m+112, 116m+113, 116m+114, 118m, 118m+2, 118m+4, 118m+6, 118m+8, 118m+10, 118m+12, 118m+14, 118m+16, 118m+18, 118m+20, 118m+22, 118m+24, 118m+26, 118m+28, 118m+30, 118m+32, 118m+34, 118m+36, 118m+38, 118m+40, 118m+42, 118m+44, 118m+46, 118m+48, 118m+50, 118m+52, 118m+54, 118m+56, 118m+58, 118m+60, 118m+62, 118m+64, 118m+66, 118m+68, 118m+70, 118m+72, 118m+74, 118m+76, 118m+78, 118m+80, 118m+82, 118m+84, 118m+86, 118m+88, 118m+90, 118m+92, 118m+94, 118m+96, 118m+98, 118m+100, 118m+102, 118m+104, 118m+106, 118m+108, 118m+110, 118m+112, 118m+114, 118m+116, 120m, 120m+2, 120m+4, 120m+5, 120m+8, 120m+10, 120m+12, 120m+13, 120m+16, 120m+18, 120m+20, 120m+21, 120m+24, 120m+26, 120m+28, 120m+29, 120m+32, 120m+34, 120m+36, 120m+37, 120m+40, 120m+42, 120m+44, 120m+45, 120m+48, 120m+50, 120m+52, 120m+53, 120m+56, 120m+58, 120m+60, 120m+61, 120m+64, 120m+66, 120m+68, 120m+69, 120m+72, 120m+74, 120m+76, 120m+77, 120m+80, 120m+82, 120m+84, 120m+85, 120m+88, 120m+90, 120m+92, 120m+93, 120m+96, 120m+98, 120m+100, 120m+101, 120m+104, 120m+106, 120m+108, 120m+109, 120m+112, 120m+114, 120m+116, 120m+117, 122m, 122m+2, 122m+4, 122m+6, 122m+8, 122m+10, 122m+12, 122m+14, 122m+16, 122m+18, 122m+20, 122m+22, 122m+24, 122m+26, 122m+28, 122m+30, 122m+32, 122m+34, 122m+36, 122m+38, 122m+40, 122m+42, 122m+44, 122m+46, 122m+48, 122m+50, 122m+52, 122m+54, 122m+56, 122m+58, 122m+60, 122m+62, 122m+64, 122m+66, 122m+68, 122m+70, 122m+72, 122m+74, 122m+76, 122m+78, 122m+80, 122m+82, 122m+84, 122m+86, 122m+88, 122m+90, 122m+92, 122m+94, 122m+96, 122m+98, 122m+100, 122m+102, 122m+104, 122m+106, 122m+108, 122m+110, 122m+112, 122m+114, 122m+116, 122m+118, 122m+120, 124m, 124m+1, 124m+2, 124m+4, 124m+5, 124m+6, 124m+8, 124m+9, 124m+10, 124m+12, 124m+13, 124m+14, 124m+16, 124m+17, 124m+18, 124m+20, 124m+21, 124m+22, 124m+24, 124m+25, 124m+26, 124m+28, 124m+29, 124m+30, 124m+32, 124m+33, 124m+34, 124m+36, 124m+37, 124m+38, 124m+40, 124m+41, 124m+42, 124m+44, 124m+45, 124m+46, 124m+48, 124m+49, 124m+50, 124m+52, 124m+53, 124m+54, 124m+56, 124m+57, 124m+58, 124m+60, 124m+61, 124m+62, 124m+64, 124m+65, 124m+66, 124m+68, 124m+69, 124m+70, 124m+72, 124m+73, 124m+74, 124m+76, 124m+77, 124m+78, 124m+80, 124m+81, 124m+82, 124m+84, 124m+85, 124m+86, 124m+88, 124m+89, 124m+90, 124m+92, 124m+93, 124m+94, 124m+96, 124m+97, 124m+98, 124m+100, 124m+101, 124m+102, 124m+104, 124m+105, 124m+106, 124m+108, 124m+109, 124m+110, 124m+112, 124m+113, 124m+114, 124m+116, 124m+117, 124m+118, 124m+120, 124m+121, 124m+122, 126m, 126m+2, 126m+4, 126m+6, 126m+8, 126m+10, 126m+12, 126m+14, 126m+16, 126m+18, 126m+20, 126m+22, 126m+24, 126m+26, 126m+28, 126m+30, 126m+32, 126m+34, 126m+36, 126m+38, 126m+40, 126m+42, 126m+44, 126m+46, 126m+48, 126m+50, 126m+52, 126m+54, 126m+56, 126m+58, 126m+60, 126m+62, 126m+64, 126m+66, 126m+68, 126m+70, 126m+72, 126m+74, 126m+76, 126m+78, 126m+80, 126m+82, 126m+84, 126m+86, 126m+88, 126m+90, 126m+92, 126m+94, 126m+96, 126m+98, 126m+100, 126m+102, 126m+104, 126m+106, 126m+108, 126m+110, 126m+112, 126m+114, 126m+116, 126m+118, 126m+120, 126m+122, 126m+124, 128m, 128m+1, 128m+2, 128m+3, 128m+4, 128m+5, 128m+6, 128m+7, 128m+8, 128m+10, 128m+11, 128m+12, 128m+13, 128m+14, 128m+15, 128m+16, 128m+17, 128m+18, 128m+19, 128m+20, 128m+21, 128m+22, 128m+23, 128m+24, 128m+25, 128m+26, 128m+28, 128m+29, 128m+30, 128m+32, 128m+33, 128m+34, 128m+35, 128m+36, 128m+37, 128m+38, 128m+40, 128m+42, 128m+43, 128m+44, 128m+45, 128m+46, 128m+48, 128m+49, 128m+50, 128m+51, 128m+52, 128m+53, 128m+56, 128m+57, 128m+58, 128m+59, 128m+60, 128m+61, 128m+64, 128m+65, 128m+66, 128m+67, 128m+68, 128m+69, 128m+70, 128m+72, 128m+73, 128m+74, 128m+75, 128m+76, 128m+77, 128m+80, 128m+81, 128m+84, 128m+85, 128m+86, 128m+87, 128m+88, 128m+89, 128m+90, 128m+92, 128m+93, 128m+96, 128m+98, 128m+99, 128m+100, 128m+101, 128m+102, 128m+104, 128m+106, 128m+108, 128m+109, 128m+110, 128m+112, 128m+113, 128m+114, 128m+115, 128m+116, 128m+117, 128m+118, 128m+119, 128m+120, 128m+122, 130m, 130m+2, 130m+4, 130m+6, 130m+8, 130m+10, 130m+12, 130m+14, 130m+16, 130m+18, 130m+20, 130m+22, 130m+24, 130m+26, 130m+28, 130m+30, 130m+32, 130m+34, 130m+36, 130m+38, 130m+40, 130m+42, 130m+44, 130m+46, 130m+48, 130m+50, 130m+52, 130m+54, 130m+56, 130m+58, 130m+60, 130m+62, 130m+64, 130m+66, 130m+68, 130m+70, 130m+72, 130m+74, 130m+76, 130m+78, 130m+80, 130m+82, 130m+84, 130m+86, 130m+88, 130m+90, 130m+92, 130m+94, 130m+96, 130m+98, 130m+100, 130m+102, 130m+104, 130m+106, 130m+108, 130m+110, 130m+112, 130m+114, 130m+116, 130m+118, 130m+120, 130m+122, 130m+124, 130m+126, 130m+128, 132m, 132m+1, 132m+2, 132m+4, 132m+5, 132m+6, 132m+8, 132m+9, 132m+10, 132m+12, 132m+13, 132m+14, 132m+16, 132m+17, 132m+18, 132m+20, 132m+21, 132m+22, 132m+24, 132m+25, 132m+26, 132m+28, 132m+29, 132m+30, 132m+32, 132m+33, 132m+34, 132m+36, 132m+37, 132m+38, 132m+40, 132m+41, 132m+42, 132m+44, 132m+45, 132m+46, 132m+48, 132m+49, 132m+50, 132m+52, 132m+53, 132m+54, 132m+56, 132m+57, 132m+58, 132m+60, 132m+61, 132m+62, 132m+64, 132m+65, 132m+66, 132m+68, 132m+69, 132m+70, 132m+72, 132m+73, 132m+74, 132m+76, 132m+77, 132m+78, 132m+80, 132m+81, 132m+82, 132m+84, 132m+85, 132m+86, 132m+88, 132m+89, 132m+90, 132m+92, 132m+93, 132m+94, 132m+96, 132m+97, 132m+98, 132m+100, 132m+101, 132m+102, 132m+104, 132m+105, 132m+106, 132m+108, 132m+109, 132m+110, 132m+112, 132m+113, 132m+114, 132m+116, 132m+117, 132m+118, 132m+120, 132m+121, 132m+122, 132m+124, 132m+125, 132m+126, 132m+128, 132m+129, 132m+130, 134m, 134m+2, 134m+4, 134m+6, 134m+8, 134m+10, 134m+12, 134m+14, 134m+16, 134m+18, 134m+20, 134m+22, 134m+24, 134m+26, 134m+28, 134m+30, 134m+32, 134m+34, 134m+36, 134m+38, 134m+40, 134m+42, 134m+44, 134m+46, 134m+48, 134m+50, 134m+52, 134m+54, 134m+56, 134m+58, 134m+60, 134m+62, 134m+64, 134m+66, 134m+68, 134m+70, 134m+72, 134m+74, 134m+76, 134m+78, 134m+80, 134m+82, 134m+84, 134m+86, 134m+88, 134m+90, 134m+92, 134m+94, 134m+96, 134m+98, 134m+100, 134m+102, 134m+104, 134m+106, 134m+108, 134m+110, 134m+112, 134m+114, 134m+116, 134m+118, 134m+120, 134m+122, 134m+124, 134m+126, 134m+128, 134m+130, 134m+132, 136m, 136m+2, 136m+4, 136m+5, 136m+8, 136m+10, 136m+12, 136m+13, 136m+16, 136m+18, 136m+20, 136m+21, 136m+24, 136m+26, 136m+28, 136m+29, 136m+32, 136m+34, 136m+36, 136m+37, 136m+40, 136m+42, 136m+44, 136m+45, 136m+48, 136m+50, 136m+52, 136m+53, 136m+56, 136m+58, 136m+60, 136m+61, 136m+64, 136m+66, 136m+68, 136m+69, 136m+72, 136m+74, 136m+76, 136m+77, 136m+80, 136m+82, 136m+84, 136m+85, 136m+88, 136m+90, 136m+92, 136m+93, 136m+96, 136m+98, 136m+100, 136m+101, 136m+104, 136m+106, 136m+108, 136m+109, 136m+112, 136m+114, 136m+116, 136m+117, 136m+120, 136m+122, 136m+124, 136m+125, 136m+128, 136m+130, 136m+132, 136m+133, 138m, 138m+2, 138m+4, 138m+6, 138m+8, 138m+10, 138m+12, 138m+14, 138m+16, 138m+18, 138m+20, 138m+22, 138m+24, 138m+26, 138m+28, 138m+30, 138m+32, 138m+34, 138m+36, 138m+38, 138m+40, 138m+42, 138m+44, 138m+46, 138m+48, 138m+50, 138m+52, 138m+54, 138m+56, 138m+58, 138m+60, 138m+62, 138m+64, 138m+66, 138m+68, 138m+70, 138m+72, 138m+74, 138m+76, 138m+78, 138m+80, 138m+82, 138m+84, 138m+86, 138m+88, 138m+90, 138m+92, 138m+94, 138m+96, 138m+98, 138m+100, 138m+102, 138m+104, 138m+106, 138m+108, 138m+110, 138m+112, 138m+114, 138m+116, 138m+118, 138m+120, 138m+122, 138m+124, 138m+126, 138m+128, 138m+130, 138m+132, 138m+134, 138m+136, 140m, 140m+1, 140m+2, 140m+4, 140m+5, 140m+6, 140m+8, 140m+9, 140m+10, 140m+12, 140m+13, 140m+14, 140m+16, 140m+17, 140m+18, 140m+20, 140m+21, 140m+22, 140m+24, 140m+25, 140m+26, 140m+28, 140m+29, 140m+30, 140m+32, 140m+33, 140m+34, 140m+36, 140m+37, 140m+38, 140m+40, 140m+41, 140m+42, 140m+44, 140m+45, 140m+46, 140m+48, 140m+49, 140m+50, 140m+52, 140m+53, 140m+54, 140m+56, 140m+57, 140m+58, 140m+60, 140m+61, 140m+62, 140m+64, 140m+65, 140m+66, 140m+68, 140m+69, 140m+70, 140m+72, 140m+73, 140m+74, 140m+76, 140m+77, 140m+78, 140m+80, 140m+81, 140m+82, 140m+84, 140m+85, 140m+86, 140m+88, 140m+89, 140m+90, 140m+92, 140m+93, 140m+94, 140m+96, 140m+97, 140m+98, 140m+100, 140m+101, 140m+102, 140m+104, 140m+105, 140m+106, 140m+108, 140m+109, 140m+110, 140m+112, 140m+113, 140m+114, 140m+116, 140m+117, 140m+118, 140m+120, 140m+121, 140m+122, 140m+124, 140m+125, 140m+126, 140m+128, 140m+129, 140m+130, 140m+132, 140m+133, 140m+134, 140m+136, 140m+137, 140m+138, 142m, 142m+2, 142m+4, 142m+6, 142m+8, 142m+10, 142m+12, 142m+14, 142m+16, 142m+18, 142m+20, 142m+22, 142m+24, 142m+26, 142m+28, 142m+30, 142m+32, 142m+34, 142m+36, 142m+38, 142m+40, 142m+42, 142m+44, 142m+46, 142m+48, 142m+50, 142m+52, 142m+54, 142m+56, 142m+58, 142m+60, 142m+62, 142m+64, 142m+66, 142m+68, 142m+70, 142m+72, 142m+74, 142m+76, 142m+78, 142m+80, 142m+82, 142m+84, 142m+86, 142m+88, 142m+90, 142m+92, 142m+94, 142m+96, 142m+98, 142m+100, 142m+102, 142m+104, 142m+106, 142m+108, 142m+110, 142m+112, 142m+114, 142m+116, 142m+118, 142m+120, 142m+122, 142m+124, 142m+126, 142m+128, 142m+130, 142m+132, 142m+134, 142m+136, 142m+138, 142m+140, 144m, 144m+1, 144m+2, 144m+3, 144m+4, 144m+5, 144m+6, 144m+8, 144m+10, 144m+12, 144m+13, 144m+16, 144m+17, 144m+18, 144m+19, 144m+20, 144m+21, 144m+22, 144m+24, 144m+26, 144m+28, 144m+29, 144m+32, 144m+33, 144m+34, 144m+35, 144m+36, 144m+37, 144m+38, 144m+40, 144m+42, 144m+44, 144m+45, 144m+48, 144m+49, 144m+50, 144m+51, 144m+52, 144m+53, 144m+54, 144m+56, 144m+58, 144m+60, 144m+61, 144m+64, 144m+65, 144m+66, 144m+67, 144m+68, 144m+69, 144m+70, 144m+72, 144m+74, 144m+76, 144m+77, 144m+80, 144m+81, 144m+82, 144m+83, 144m+84, 144m+85, 144m+86, 144m+88, 144m+90, 144m+92, 144m+93, 144m+96, 144m+97, 144m+98, 144m+99, 144m+100, 144m+101, 144m+102, 144m+104, 144m+106, 144m+108, 144m+109, 144m+112, 144m+113, 144m+114, 144m+115, 144m+116, 144m+117, 144m+118, 144m+120, 144m+122, 144m+124, 144m+125, 144m+128, 144m+129, 144m+130, 144m+131, 144m+132, 144m+133, 144m+134, 144m+136, 144m+138, 144m+140, 144m+141, ...