1. 1
2. 2
3. 3
4. 4
5. 5
6. 6
7. 7
8. 8
9. 9
10. 10
11. 11
12. 12

-- x = 1 - 0.9772532922866427
-- for i in range(1, 10000):
--     if abs(x * i - round(x * i)) < 1e-4:
--         print(i, x * i)

def x := 1 - 0.9772532922866427

def N := 10000

def A := (List.range N).map λ a => a + 1

#eval A.filter λ a => Float.abs ((x * Float.ofNat a) - Float.round (x * Float.ofNat a)) < 1e-4