Loading list.disco... [1, 2, 3, 4, 5] [5, 4, 3, 2, 1] [1, 2, 3, 4, 5] [1, 2, 3, 4, 5] [1, 2, 3, 4, 5] [1, 2, 3, 4, 5] [] [1] [1, 1, 1, 1, 1, 1, 1, 1, 1, 1] [1, 3, 5, 7, 9] [0, 1/2, 1, 3/2, 2, 5/2, 3] [10, 9, 8, 7, 6] [1, 3, 6, 10, 15, 21] [1, 4, 9, 16, 25, 36] true [] [1, 3, 4, 4, 3, 1, -2, -6, -11, -17] [1, 3/2, 2, 5/2, 3] [1, 3/2, 2, 5/2, 3] [1, 3, 6, 2, 17, 28, 32, 4, 77, 3, 8, 12, -50399, -532856] [1 .. 5] : List(ℕ) [1, 3 .. 5] : List(ℕ) [1, -3 .. 5] : List(ℤ) [0, 1 / 3 .. 5] : List(𝔽) [-2, 1 / 3 .. 5] : List(ℚ) [2, 3 .. -6] : List(ℤ) [2, 3 .. 8 / 3] : List(𝔽) [-2, 3 .. 8 / 3] : List(ℚ) [1.5] [1, 2, 3, 4, 5] [1, 2, 3, 4, 5]