8 closure size: 4 0 1 1 1 1 2 2 2 3 3 3 3 3 3 3 3 3 3 3 3 1 0 1 1 1 3 3 3 3 3 3 2 3 3 3 3 2 3 2 3 1 1 0 1 1 3 3 3 3 3 3 3 3 2 2 2 3 3 3 3 1 1 1 0 1 3 3 3 3 3 2 3 2 3 3 3 3 2 3 3 1 1 1 1 0 3 3 3 2 2 3 3 3 3 3 3 3 3 3 2 2 3 3 3 3 0 2 2 3 3 3 1 3 3 1 3 3 1 3 1 2 3 3 3 3 2 0 2 1 3 1 3 3 1 3 3 1 3 3 3 2 3 3 3 3 2 2 0 3 1 3 3 1 3 3 1 3 3 1 3 3 3 3 3 2 3 1 3 0 2 1 3 3 1 3 3 1 3 3 2 3 3 3 3 2 3 3 1 2 0 3 3 1 3 3 1 3 3 1 2 3 3 3 2 3 3 1 3 1 3 0 3 2 1 3 3 1 2 3 3 3 2 3 3 3 1 3 3 3 3 3 0 3 3 1 3 2 1 2 1 3 3 3 2 3 3 3 1 3 1 2 3 0 3 3 1 3 2 1 3 3 3 2 3 3 3 1 3 1 3 1 3 3 0 2 2 1 3 3 3 3 3 2 3 3 1 3 3 3 3 3 1 3 2 0 2 3 1 3 1 3 3 2 3 3 3 3 1 3 1 3 3 1 2 2 0 3 3 1 3 3 2 3 3 3 3 1 3 1 3 1 2 3 1 3 3 0 3 2 3 3 3 3 2 3 1 3 3 3 3 2 1 2 3 1 3 3 0 3 1 3 2 3 3 3 3 3 1 3 1 3 2 1 3 3 1 2 3 0 3 3 3 3 3 2 1 3 3 2 2 3 1 3 3 1 3 3 1 3 0 closure size: 4 0 1 2 2 2 2 2 2 3 3 3 3 3 3 3 3 3 3 3 3 1 0 2 2 2 2 2 2 3 3 3 3 3 3 3 3 3 3 3 3 2 2 0 3 3 3 1 3 3 3 3 2 2 3 2 3 3 2 3 3 2 2 3 0 3 3 3 1 2 3 3 3 3 2 3 2 3 3 3 2 2 2 3 3 0 1 3 3 3 2 2 3 3 3 3 3 2 3 2 3 2 2 3 3 1 0 3 3 3 2 2 3 3 3 3 3 2 3 2 3 2 2 1 3 3 3 0 3 3 3 3 2 2 3 2 3 3 2 3 3 2 2 3 1 3 3 3 0 2 3 3 3 3 2 3 2 3 3 3 2 3 3 3 2 3 3 3 2 0 3 3 3 3 1 2 3 2 2 2 3 3 3 3 3 2 2 3 3 3 0 1 3 3 3 2 2 3 2 3 2 3 3 3 3 2 2 3 3 3 1 0 3 3 3 2 2 3 2 3 2 3 3 2 3 3 3 2 3 3 3 3 0 1 3 3 2 2 3 2 2 3 3 2 3 3 3 2 3 3 3 3 1 0 3 3 2 2 3 2 2 3 3 3 2 3 3 3 2 1 3 3 3 3 0 2 3 2 2 2 3 3 3 2 3 3 3 2 3 2 2 2 3 3 2 0 3 3 1 3 3 3 3 3 2 3 3 3 2 3 2 2 2 2 3 3 0 3 3 3 1 3 3 3 3 2 2 3 3 2 3 3 2 2 2 3 3 0 3 1 3 3 3 2 3 3 3 2 3 2 2 2 3 3 2 1 3 3 0 3 3 3 3 3 3 2 2 3 3 2 3 3 2 2 2 3 3 1 3 0 3 3 3 3 2 3 3 3 2 3 2 2 2 2 3 3 1 3 3 3 0 closure size: 20 0 3 1 2 4 7 8 6 5 11 13 12 10 9 15 14 16 19 18 17 2 0 3 1 9 14 15 5 4 7 11 16 17 6 12 13 8 10 19 18 1 2 0 3 6 13 12 4 9 14 7 8 18 5 16 11 15 17 10 19 3 1 2 0 5 11 16 9 6 13 14 15 19 4 8 7 12 18 17 10 4 10 7 8 0 1 2 17 11 5 15 9 3 12 13 18 19 16 14 6 6 18 13 12 1 0 3 19 14 9 16 5 2 8 7 10 17 15 11 4 5 19 11 16 3 2 0 10 13 6 8 4 1 15 14 17 18 12 7 9 7 8 4 10 17 15 9 0 12 18 1 2 14 11 19 5 13 6 3 16 8 4 10 7 12 18 13 11 0 1 5 19 6 17 9 15 2 3 16 14 12 6 18 13 8 10 7 14 1 0 9 17 4 19 5 16 3 2 15 11 13 12 6 18 19 16 5 1 8 10 0 3 11 14 17 9 7 4 2 15 11 16 5 19 10 8 4 3 15 17 2 0 7 13 18 6 14 9 1 12 9 17 14 15 2 3 1 18 7 4 12 6 0 16 11 19 10 8 13 5 10 7 8 4 11 5 19 12 17 15 18 13 16 0 2 1 9 14 6 3 19 11 16 5 13 6 18 15 10 8 17 14 12 3 0 2 4 7 9 1 18 13 12 6 14 9 17 8 19 16 10 7 15 1 3 0 5 11 4 2 16 5 19 11 15 17 14 13 3 2 6 18 9 10 4 8 0 1 12 7 15 9 17 14 16 19 11 7 2 3 4 10 5 18 6 12 1 0 8 13 14 15 9 17 18 12 6 2 16 19 3 1 13 7 10 4 11 5 0 8 17 14 15 9 7 4 10 16 18 12 19 11 8 2 1 3 6 13 5 0 closure size: 7 0 1 1 1 2 3 3 3 4 4 4 5 5 5 6 6 6 6 6 6 1 0 1 1 3 3 3 2 5 6 6 6 6 4 4 6 5 4 5 6 1 1 0 1 3 2 3 3 6 5 6 6 4 6 5 4 6 6 4 5 1 1 1 0 3 3 2 3 6 6 5 4 6 6 6 5 4 5 6 4 2 4 4 4 0 5 5 5 1 1 1 3 3 3 6 6 6 6 6 6 4 4 2 4 5 0 5 5 6 3 6 6 1 6 3 1 6 6 1 3 4 4 4 2 5 5 0 5 6 6 3 1 6 6 6 3 1 3 6 1 4 2 4 4 5 5 5 0 3 6 6 6 6 1 1 6 3 1 3 6 3 5 6 6 1 6 6 4 0 1 1 3 3 2 4 6 5 4 5 6 3 6 5 6 1 4 6 6 1 0 1 3 2 3 5 4 6 6 4 5 3 6 6 5 1 6 4 6 1 1 0 2 3 3 6 5 4 5 6 4 5 6 6 3 4 6 1 6 4 4 2 0 5 5 6 3 1 3 6 1 5 6 3 6 4 1 6 6 4 2 4 5 0 5 3 1 6 6 1 3 5 3 6 6 4 6 6 1 2 4 4 5 5 0 1 6 3 1 3 6 6 3 5 6 6 4 6 1 3 5 6 6 4 1 0 4 3 1 2 5 6 6 3 5 6 1 4 6 6 3 5 4 1 6 3 0 4 5 1 2 6 5 6 3 6 6 1 4 5 6 3 1 6 4 4 3 0 2 5 1 6 3 6 5 6 6 4 1 3 6 5 4 6 1 1 5 2 0 3 4 6 5 3 6 6 1 6 4 5 3 6 6 1 4 2 1 5 4 0 3 6 6 5 3 6 4 1 6 6 5 3 1 4 6 5 2 1 3 4 0 closure size: 4 0 1 2 2 2 2 2 2 2 2 2 2 3 3 3 3 3 3 3 3 1 0 2 2 2 2 2 2 2 2 2 2 3 3 3 3 3 3 3 3 2 2 0 1 3 3 3 3 3 3 3 3 2 2 2 2 2 2 2 2 2 2 1 0 3 3 3 3 3 3 3 3 2 2 2 2 2 2 2 2 2 2 3 3 0 1 3 3 3 3 3 3 2 2 2 2 2 2 2 2 2 2 3 3 1 0 3 3 3 3 3 3 2 2 2 2 2 2 2 2 2 2 3 3 3 3 0 1 3 3 3 3 2 2 2 2 2 2 2 2 2 2 3 3 3 3 1 0 3 3 3 3 2 2 2 2 2 2 2 2 2 2 3 3 3 3 3 3 0 1 3 3 2 2 2 2 2 2 2 2 2 2 3 3 3 3 3 3 1 0 3 3 2 2 2 2 2 2 2 2 2 2 3 3 3 3 3 3 3 3 0 1 2 2 2 2 2 2 2 2 2 2 3 3 3 3 3 3 3 3 1 0 2 2 2 2 2 2 2 2 3 3 2 2 2 2 2 2 2 2 2 2 0 1 3 3 3 3 3 3 3 3 2 2 2 2 2 2 2 2 2 2 1 0 3 3 3 3 3 3 3 3 2 2 2 2 2 2 2 2 2 2 3 3 0 1 3 3 3 3 3 3 2 2 2 2 2 2 2 2 2 2 3 3 1 0 3 3 3 3 3 3 2 2 2 2 2 2 2 2 2 2 3 3 3 3 0 1 3 3 3 3 2 2 2 2 2 2 2 2 2 2 3 3 3 3 1 0 3 3 3 3 2 2 2 2 2 2 2 2 2 2 3 3 3 3 3 3 0 1 3 3 2 2 2 2 2 2 2 2 2 2 3 3 3 3 3 3 1 0 closure size: 6 0 1 1 1 1 2 3 2 2 2 2 2 2 2 5 5 5 4 5 4 1 0 1 1 1 2 5 2 2 2 2 2 4 4 3 5 5 2 5 2 1 1 0 1 1 2 5 2 2 2 4 4 2 2 5 3 5 2 5 2 1 1 1 0 1 2 5 2 4 4 2 2 2 2 5 5 3 2 5 2 1 1 1 1 0 4 5 4 2 2 2 2 2 2 5 5 5 2 3 2 2 2 2 2 4 0 2 3 1 5 1 5 1 5 2 2 2 1 4 5 3 5 5 5 5 2 0 2 2 2 2 2 2 2 1 1 1 4 1 4 2 2 2 2 4 3 2 0 5 1 5 1 5 1 2 2 2 5 4 1 2 2 2 4 2 1 2 5 0 3 1 5 1 5 2 2 4 1 2 5 2 2 2 4 2 5 2 1 3 0 5 1 5 1 2 2 4 5 2 1 2 2 4 2 2 1 2 5 1 5 0 3 1 5 2 4 2 1 2 5 2 2 4 2 2 5 2 1 5 1 3 0 5 1 2 4 2 5 2 1 2 4 2 2 2 1 2 5 1 5 1 5 0 3 4 2 2 1 2 5 2 4 2 2 2 5 2 1 5 1 5 1 3 0 4 2 2 5 2 1 5 3 5 5 5 2 1 2 2 2 2 2 4 4 0 1 1 2 1 2 5 5 3 5 5 2 1 2 2 2 4 4 2 2 1 0 1 2 1 2 5 5 5 3 5 2 1 2 4 4 2 2 2 2 1 1 0 2 1 2 4 2 2 2 2 1 4 5 1 5 1 5 1 5 2 2 2 0 2 3 5 5 5 5 3 4 1 4 2 2 2 2 2 2 1 1 1 2 0 2 4 2 2 2 2 5 4 1 5 1 5 1 5 1 2 2 2 3 2 0 closure size: 4 0 1 2 2 2 2 2 2 2 2 2 2 2 2 3 3 3 3 3 3 1 0 2 2 2 2 2 2 2 2 2 2 2 2 3 3 3 3 3 3 2 2 0 2 2 2 2 1 3 2 3 3 3 2 2 3 2 2 2 3 2 2 2 0 1 2 2 2 3 3 2 3 2 3 2 2 3 3 2 2 2 2 2 1 0 2 2 2 3 3 2 3 2 3 2 2 3 3 2 2 2 2 2 2 2 0 1 2 2 3 3 2 3 3 3 2 2 2 3 2 2 2 2 2 2 1 0 2 2 3 3 2 3 3 3 2 2 2 3 2 2 2 1 2 2 2 2 0 3 2 3 3 3 2 2 3 2 2 2 3 2 2 3 3 3 2 2 3 0 2 2 1 2 2 3 2 2 2 3 2 2 2 2 3 3 3 3 2 2 0 2 2 2 1 2 3 2 2 2 3 2 2 3 2 2 3 3 3 2 2 0 2 1 2 2 2 3 3 2 2 2 2 3 3 3 2 2 3 1 2 2 0 2 2 3 2 2 2 3 2 2 2 3 2 2 3 3 3 2 2 1 2 0 2 2 2 3 3 2 2 2 2 2 3 3 3 3 2 2 1 2 2 2 0 2 3 2 2 2 3 3 3 2 2 2 3 3 2 3 2 2 3 2 2 0 2 2 2 1 2 3 3 3 2 2 2 2 3 2 3 2 2 2 3 2 0 2 2 2 1 3 3 2 3 3 2 2 2 2 2 3 2 3 2 2 2 0 1 2 2 3 3 2 3 3 2 2 2 2 2 3 2 3 2 2 2 1 0 2 2 3 3 2 2 2 3 3 2 3 2 2 3 2 2 1 2 2 2 0 2 3 3 3 2 2 2 2 3 2 3 2 2 2 3 2 1 2 2 2 0 closure size: 4 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 3 1 0 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 3 2 2 0 2 1 2 2 2 2 2 2 2 2 2 2 3 2 3 2 2 2 2 2 0 2 2 1 2 2 2 2 2 2 3 2 2 3 2 2 2 2 2 1 2 0 2 2 2 2 2 2 2 2 2 2 3 2 3 2 2 2 2 2 2 2 0 2 2 1 2 2 3 2 2 3 2 2 2 2 2 2 2 2 1 2 2 0 2 2 2 2 2 2 3 2 2 3 2 2 2 2 2 2 2 2 2 2 0 2 3 1 2 3 2 2 2 2 2 2 2 2 2 2 2 2 1 2 2 0 2 2 3 2 2 3 2 2 2 2 2 2 2 2 2 2 2 2 3 2 0 3 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 2 3 0 2 3 2 2 2 2 2 2 2 2 2 2 2 2 3 2 2 3 2 2 0 2 2 1 2 2 2 2 2 2 2 2 2 2 2 2 3 2 1 3 2 0 2 2 2 2 2 2 2 2 2 2 3 2 2 3 2 2 2 2 2 2 0 2 2 1 2 2 2 2 2 2 2 2 3 2 2 3 2 2 1 2 2 0 2 2 2 2 2 2 2 3 2 3 2 2 2 2 2 2 2 2 2 2 0 2 1 2 2 2 2 2 3 2 2 3 2 2 2 2 2 2 1 2 2 0 2 2 2 2 2 3 2 3 2 2 2 2 2 2 2 2 2 2 1 2 0 2 2 3 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 1 3 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 0