idris-0.10.3: test/primitives006/expected

1024
("01/8", (145536, 897))
("02/8", (145536, 897))
("03/8", (145536, 897))
("04/8", (145536, 897))
("05/8", (145536, 897))
("06/8", (145536, 897))
("07/8", (145536, 897))
("08/8", (145536, 897))