1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
|
25 lattice points in polytope (module generators) satisfying polynomial constraints
0 Hilbert basis elements of recession monoid
embedding dimension = 211
rank of recession monoid = 0 (polyhedron is polytope)
dehomogenization:
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1
***********************************************************************
25 lattice points in polytope (module generators) satisfying polynomial constraints:
1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 1 1 1 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 2 1 1 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 1 1 1 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 2 1 1 0 0 0 0 1 0 1 1 1 1 0 0 0 1 1 1 0 0 0 1 1 0 0 0 1 0 0 0 2 0 0 2 2 2 2 0 0 0 2 0 0 1 1 1 0 0 0 1 1 0 0 0 1 0 0 0 0 0 2 3 2 2 0 0 2 0 0 1 1 0 0 0 1 0 0 0 0 0 2 3 2 2 0 2 0 0 1 0 0 0 0 0 2 3 2 2 2 0 0 0 0 4 1 4 2 0 3 2 3 1 1 1
1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 1 1 1 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 2 1 1 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 1 1 1 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 2 1 1 0 0 0 0 1 0 1 1 1 1 0 0 0 1 1 1 0 0 0 1 1 0 0 0 1 0 0 0 2 0 0 2 2 2 2 0 0 0 2 0 0 1 1 1 0 0 0 1 1 0 0 0 1 0 0 0 0 0 2 3 2 2 0 0 2 0 0 1 1 0 0 0 1 0 0 0 0 0 2 3 2 2 0 2 0 0 1 0 0 0 0 0 4 1 4 2 2 0 0 0 0 2 3 2 2 0 3 2 3 1 1 1
1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 1 1 1 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 2 1 1 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 1 1 1 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 2 1 1 0 0 0 0 1 0 1 1 1 1 0 0 0 1 1 1 0 0 0 1 1 0 0 0 1 0 0 0 2 0 0 2 2 2 2 0 0 0 2 0 0 1 1 1 0 0 0 1 1 0 0 0 1 0 0 0 0 0 2 3 2 2 0 0 2 0 0 1 1 0 0 0 1 0 0 0 0 0 4 1 4 2 0 2 0 0 1 0 0 0 0 0 2 3 2 2 2 0 0 0 0 2 3 2 2 0 3 2 3 1 1 1
1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 1 1 1 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 2 1 1 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 1 1 1 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 2 1 1 0 0 0 0 1 0 1 1 1 1 0 0 0 1 1 1 0 0 0 1 1 0 0 0 1 0 0 0 2 0 0 2 2 2 2 0 0 0 2 0 0 1 1 1 0 0 0 1 1 0 0 0 1 0 0 0 0 0 4 1 4 2 0 0 2 0 0 1 1 0 0 0 1 0 0 0 0 0 2 3 2 2 0 2 0 0 1 0 0 0 0 0 2 3 2 2 2 0 0 0 0 2 3 2 2 0 3 2 3 1 1 1
1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 1 1 1 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 3 0 3 1 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 1 1 1 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 3 0 3 1 0 0 0 0 1 0 1 1 1 1 0 0 0 1 1 1 0 0 0 1 1 0 0 0 1 0 0 0 2 0 0 4 0 4 2 0 0 0 2 0 0 1 1 1 0 0 0 1 1 0 0 0 1 0 0 0 0 0 1 4 1 2 0 0 2 0 0 1 1 0 0 0 1 0 0 0 0 0 1 4 1 2 0 2 0 0 1 0 0 0 0 0 1 4 1 2 2 0 0 0 0 1 4 1 2 0 5 0 5 1 1 1
1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 1 1 0 1 0 0 0 1 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 2 1 1 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 1 1 0 1 0 0 0 1 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 2 1 1 0 0 0 1 0 0 1 1 1 0 1 0 0 1 1 0 1 0 0 1 0 1 0 0 2 0 0 0 1 0 0 2 2 2 2 0 0 2 0 0 0 1 1 1 0 0 0 1 1 0 0 0 1 0 0 0 0 0 2 3 2 2 0 2 0 0 0 1 1 0 0 0 1 0 0 0 0 0 2 3 2 2 2 0 0 0 1 0 0 0 0 0 2 3 2 2 0 0 2 0 0 3 2 3 2 0 4 1 4 1 1 1
1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 1 1 0 1 0 0 0 1 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 2 1 1 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 1 1 0 1 0 0 0 1 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 2 1 1 0 0 0 1 0 0 1 1 1 0 1 0 0 1 1 0 1 0 0 1 0 1 0 0 2 0 0 0 1 0 0 2 2 2 2 0 0 2 0 0 0 1 1 1 0 0 0 1 1 0 0 0 1 0 0 0 0 0 2 3 2 2 0 2 0 0 0 1 1 0 0 0 1 0 0 0 0 0 2 3 2 2 2 0 0 0 1 0 0 0 0 0 4 1 4 2 0 0 2 0 0 3 2 3 2 0 2 3 2 1 1 1
1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 1 1 0 1 0 0 0 1 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 2 1 1 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 1 1 0 1 0 0 0 1 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 2 1 1 0 0 0 1 0 0 1 1 1 0 1 0 0 1 1 0 1 0 0 1 0 1 0 0 2 0 0 0 1 0 0 2 2 2 2 0 0 2 0 0 0 1 1 1 0 0 0 1 1 0 0 0 1 0 0 0 0 0 2 3 2 2 0 2 0 0 0 1 1 0 0 0 1 0 0 0 0 0 4 1 4 2 2 0 0 0 1 0 0 0 0 0 2 3 2 2 0 0 2 0 0 3 2 3 2 0 2 3 2 1 1 1
1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 1 1 0 1 0 0 0 1 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 2 1 1 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 1 1 0 1 0 0 0 1 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 2 1 1 0 0 0 1 0 0 1 1 1 0 1 0 0 1 1 0 1 0 0 1 0 1 0 0 2 0 0 0 1 0 0 2 2 2 2 0 0 2 0 0 0 1 1 1 0 0 0 1 1 0 0 0 1 0 0 0 0 0 4 1 4 2 0 2 0 0 0 1 1 0 0 0 1 0 0 0 0 0 2 3 2 2 2 0 0 0 1 0 0 0 0 0 2 3 2 2 0 0 2 0 0 3 2 3 2 0 2 3 2 1 1 1
1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 1 1 0 1 0 0 0 1 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 3 0 3 1 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 1 1 0 1 0 0 0 1 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 3 0 3 1 0 0 0 1 0 0 1 1 1 0 1 0 0 1 1 0 1 0 0 1 0 1 0 0 2 0 0 0 1 0 0 4 0 4 2 0 0 2 0 0 0 1 1 1 0 0 0 1 1 0 0 0 1 0 0 0 0 0 1 4 1 2 0 2 0 0 0 1 1 0 0 0 1 0 0 0 0 0 1 4 1 2 2 0 0 0 1 0 0 0 0 0 1 4 1 2 0 0 2 0 0 5 0 5 2 0 1 4 1 1 1 1
1 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 1 1 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 2 1 1 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 1 0 1 1 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 2 1 1 0 0 1 0 0 0 1 1 0 1 1 0 0 1 0 1 1 0 0 2 0 0 0 0 1 1 0 0 1 0 0 2 2 2 2 0 2 0 0 0 0 1 1 1 0 0 0 1 1 0 0 0 1 0 0 0 0 0 2 3 2 2 2 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 2 3 2 2 0 0 0 2 1 0 0 2 0 0 3 2 3 2 0 0 0 0 0 2 3 2 2 0 4 1 4 1 1 1
1 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 1 1 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 2 1 1 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 1 0 1 1 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 2 1 1 0 0 1 0 0 0 1 1 0 1 1 0 0 1 0 1 1 0 0 2 0 0 0 0 1 1 0 0 1 0 0 2 2 2 2 0 2 0 0 0 0 1 1 1 0 0 0 1 1 0 0 0 1 0 0 0 0 0 2 3 2 2 2 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 2 3 2 2 0 0 0 2 1 0 0 2 0 0 3 2 3 2 0 0 0 0 0 4 1 4 2 0 2 3 2 1 1 1
1 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 1 1 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 2 1 1 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 1 0 1 1 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 2 1 1 0 0 1 0 0 0 1 1 0 1 1 0 0 1 0 1 1 0 0 2 0 0 0 0 1 1 0 0 1 0 0 2 2 2 2 0 2 0 0 0 0 1 1 1 0 0 0 1 1 0 0 0 1 0 0 0 0 0 2 3 2 2 2 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 4 1 4 2 0 0 0 2 1 0 0 2 0 0 3 2 3 2 0 0 0 0 0 2 3 2 2 0 2 3 2 1 1 1
1 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 1 1 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 2 1 1 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 1 0 1 1 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 2 1 1 0 0 1 0 0 0 1 1 0 1 1 0 0 1 0 1 1 0 0 2 0 0 0 0 1 1 0 0 1 0 0 2 2 2 2 0 2 0 0 0 0 1 1 1 0 0 0 1 1 0 0 0 1 0 0 0 0 0 4 1 4 2 2 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 2 3 2 2 0 0 0 2 1 0 0 2 0 0 3 2 3 2 0 0 0 0 0 2 3 2 2 0 2 3 2 1 1 1
1 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 1 1 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 3 0 3 1 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 1 0 1 1 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 3 0 3 1 0 0 1 0 0 0 1 1 0 1 1 0 0 1 0 1 1 0 0 2 0 0 0 0 1 1 0 0 1 0 0 4 0 4 2 0 2 0 0 0 0 1 1 1 0 0 0 1 1 0 0 0 1 0 0 0 0 0 1 4 1 2 2 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 1 4 1 2 0 0 0 2 1 0 0 2 0 0 5 0 5 2 0 0 0 0 0 1 4 1 2 0 1 4 1 1 1 1
1 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 1 1 0 0 1 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 1 2 1 1 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 1 1 0 0 1 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 1 2 1 1 0 1 0 0 0 0 1 0 1 1 1 0 0 2 0 0 0 0 0 1 1 1 0 0 1 1 0 0 1 0 0 2 2 2 2 2 0 0 0 0 0 1 1 1 0 0 0 1 1 0 0 0 1 0 0 0 0 0 2 3 2 2 0 0 0 0 2 1 1 0 0 2 1 0 0 2 0 0 3 2 3 2 0 0 0 0 1 0 0 0 0 0 2 3 2 2 0 0 0 0 0 2 3 2 2 0 4 1 4 1 1 1
1 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 1 1 0 0 1 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 1 2 1 1 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 1 1 0 0 1 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 1 2 1 1 0 1 0 0 0 0 1 0 1 1 1 0 0 2 0 0 0 0 0 1 1 1 0 0 1 1 0 0 1 0 0 2 2 2 2 2 0 0 0 0 0 1 1 1 0 0 0 1 1 0 0 0 1 0 0 0 0 0 2 3 2 2 0 0 0 0 2 1 1 0 0 2 1 0 0 2 0 0 3 2 3 2 0 0 0 0 1 0 0 0 0 0 2 3 2 2 0 0 0 0 0 4 1 4 2 0 2 3 2 1 1 1
1 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 1 1 0 0 1 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 1 2 1 1 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 1 1 0 0 1 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 1 2 1 1 0 1 0 0 0 0 1 0 1 1 1 0 0 2 0 0 0 0 0 1 1 1 0 0 1 1 0 0 1 0 0 2 2 2 2 2 0 0 0 0 0 1 1 1 0 0 0 1 1 0 0 0 1 0 0 0 0 0 2 3 2 2 0 0 0 0 2 1 1 0 0 2 1 0 0 2 0 0 3 2 3 2 0 0 0 0 1 0 0 0 0 0 4 1 4 2 0 0 0 0 0 2 3 2 2 0 2 3 2 1 1 1
1 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 1 1 0 0 1 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 1 2 1 1 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 1 1 0 0 1 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 1 2 1 1 0 1 0 0 0 0 1 0 1 1 1 0 0 2 0 0 0 0 0 1 1 1 0 0 1 1 0 0 1 0 0 2 2 2 2 2 0 0 0 0 0 1 1 1 0 0 0 1 1 0 0 0 1 0 0 0 0 0 4 1 4 2 0 0 0 0 2 1 1 0 0 2 1 0 0 2 0 0 3 2 3 2 0 0 0 0 1 0 0 0 0 0 2 3 2 2 0 0 0 0 0 2 3 2 2 0 2 3 2 1 1 1
1 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 1 1 0 0 1 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 3 0 3 1 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 1 1 0 0 1 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 3 0 3 1 0 1 0 0 0 0 1 0 1 1 1 0 0 2 0 0 0 0 0 1 1 1 0 0 1 1 0 0 1 0 0 4 0 4 2 2 0 0 0 0 0 1 1 1 0 0 0 1 1 0 0 0 1 0 0 0 0 0 1 4 1 2 0 0 0 0 2 1 1 0 0 2 1 0 0 2 0 0 5 0 5 2 0 0 0 0 1 0 0 0 0 0 1 4 1 2 0 0 0 0 0 1 4 1 2 0 1 4 1 1 1 1
1 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 1 0 0 0 1 1 0 0 0 1 0 0 0 0 0 1 2 1 1 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 1 0 0 0 1 1 0 0 0 1 0 0 0 0 0 1 2 1 1 1 0 0 0 0 0 2 0 0 0 0 0 0 1 1 1 1 0 0 1 1 1 0 0 1 1 0 0 1 0 0 2 2 2 2 0 0 0 0 0 2 1 1 1 0 0 2 1 1 0 0 2 1 0 0 2 0 0 3 2 3 2 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 2 3 2 2 0 0 0 0 1 0 0 0 0 0 2 3 2 2 0 0 0 0 0 2 3 2 2 0 4 1 4 1 1 1
1 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 1 0 0 0 1 1 0 0 0 1 0 0 0 0 0 1 2 1 1 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 1 0 0 0 1 1 0 0 0 1 0 0 0 0 0 1 2 1 1 1 0 0 0 0 0 2 0 0 0 0 0 0 1 1 1 1 0 0 1 1 1 0 0 1 1 0 0 1 0 0 2 2 2 2 0 0 0 0 0 2 1 1 1 0 0 2 1 1 0 0 2 1 0 0 2 0 0 3 2 3 2 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 2 3 2 2 0 0 0 0 1 0 0 0 0 0 2 3 2 2 0 0 0 0 0 4 1 4 2 0 2 3 2 1 1 1
1 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 1 0 0 0 1 1 0 0 0 1 0 0 0 0 0 1 2 1 1 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 1 0 0 0 1 1 0 0 0 1 0 0 0 0 0 1 2 1 1 1 0 0 0 0 0 2 0 0 0 0 0 0 1 1 1 1 0 0 1 1 1 0 0 1 1 0 0 1 0 0 2 2 2 2 0 0 0 0 0 2 1 1 1 0 0 2 1 1 0 0 2 1 0 0 2 0 0 3 2 3 2 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 2 3 2 2 0 0 0 0 1 0 0 0 0 0 4 1 4 2 0 0 0 0 0 2 3 2 2 0 2 3 2 1 1 1
1 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 1 0 0 0 1 1 0 0 0 1 0 0 0 0 0 1 2 1 1 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 1 0 0 0 1 1 0 0 0 1 0 0 0 0 0 1 2 1 1 1 0 0 0 0 0 2 0 0 0 0 0 0 1 1 1 1 0 0 1 1 1 0 0 1 1 0 0 1 0 0 2 2 2 2 0 0 0 0 0 2 1 1 1 0 0 2 1 1 0 0 2 1 0 0 2 0 0 3 2 3 2 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 4 1 4 2 0 0 0 0 1 0 0 0 0 0 2 3 2 2 0 0 0 0 0 2 3 2 2 0 2 3 2 1 1 1
1 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 1 0 0 0 1 1 0 0 0 1 0 0 0 0 0 3 0 3 1 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 1 0 0 0 1 1 0 0 0 1 0 0 0 0 0 3 0 3 1 1 0 0 0 0 0 2 0 0 0 0 0 0 1 1 1 1 0 0 1 1 1 0 0 1 1 0 0 1 0 0 4 0 4 2 0 0 0 0 0 2 1 1 1 0 0 2 1 1 0 0 2 1 0 0 2 0 0 5 0 5 2 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 1 4 1 2 0 0 0 0 1 0 0 0 0 0 1 4 1 2 0 0 0 0 0 1 4 1 2 0 1 4 1 1 1 1
0 Hilbert basis elements of recession monoid:
|
