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
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
|
*lrs:lrslib_v.7.2_2022.2.8(64bit,lrslong.h,hybrid_arithmetic)
mp5
printcobasis
V-representation
begin
***** 11 rational
V#1 R#0 B#1 h=0 facets 31 32 33 34 35 36 37 38 39 40 I#30 det= 16 in_det= 16 z= 0
1 1 1 1 1 0 0 0 0 0 0
V#2 R#0 B#2 h=1 facets 28 32 33 34 35 36 37 38 39 40 I#30 det= 16 in_det= 16 z= 2
1 0 0 1 1 0 1 1 1 1 0
V#3 R#0 B#6 h=5 facets 1 16 20 24 28 34 36 38 39 40 I#10 det= 48 in_det= 48 z= 10/3
1 2/3 2/3 2/3 2/3 2/3 2/3 2/3 2/3 2/3 2/3
V#4 R#0 B#16 h=2 facets 27 28 32 34 35 36 37 38 39 40 I#30 det= 16 in_det= 16 z= 4
1 1 0 1 1 1 0 0 1 1 0
V#5 R#0 B#20 h=1 facets 24 31 33 34 35 36 37 38 39 40 I#30 det= 16 in_det= 16 z= 2
1 0 1 1 1 1 1 1 0 0 0
V#6 R#0 B#60 h=10 facets 1 3 5 7 10 13 18 22 27 31 I#10 det= 48 in_det= 48 z= 6
1 2/3 2/3 1/3 1/3 2/3 1/3 1/3 1/3 1/3 2/3
V#7 R#0 B#247 h=2 facets 27 28 31 33 35 36 37 38 39 40 I#30 det= 16 in_det= 16 z= 4
1 0 1 0 1 1 0 1 1 0 1
V#8 R#0 B#264 h=1 facets 28 31 32 33 34 36 37 38 39 40 I#30 det= 16 in_det= 16 z= 2
1 1 1 0 1 0 1 0 1 0 1
V#9 R#0 B#363 h=5 facets 17 21 27 28 33 35 37 38 39 40 I#10 det= 48 in_det= 48 z= 8/3
1 1/3 2/3 2/3 2/3 1/3 1/3 1/3 2/3 2/3 2/3
V#10 R#0 B#376 h=2 facets 27 28 31 33 34 35 37 38 39 40 I#30 det= 16 in_det= 16 z= 4
1 0 1 1 0 1 1 0 0 1 1
V#11 R#0 B#401 h=1 facets 28 31 32 33 34 35 36 38 39 40 I#30 det= 16 in_det= 16 z= 2
1 1 1 1 0 0 0 1 0 1 1
V#12 R#0 B#588 h=7 facets 2 8 11 18 22 27 31 35 37 40 I#10 det= 48 in_det= 48 z= 4
1 1/3 1/3 2/3 2/3 2/3 1/3 1/3 1/3 1/3 2/3
V#13 R#0 B#698 h=2 facets 28 29 31 32 33 35 36 37 39 40 I#30 det= 16 in_det= 16 z= 4
1 0 0 0 1 0 0 1 0 1 1
V#14 R#0 B#1048 h=5 facets 27 28 29 31 32 34 36 37 39 40 I#30 det= 16 in_det= 16 z= 6
1 1 0 0 1 1 1 0 0 1 1
V#15 R#0 B#1589 h=6 facets 8 11 19 23 24 31 32 34 36 40 I#10 det= 48 in_det= 48 z= 10/3
1 2/3 1/3 2/3 2/3 1/3 2/3 2/3 1/3 1/3 2/3
V#16 R#0 B#1666 h=9 facets 4 6 7 10 13 19 23 24 31 33 I#10 det= 48 in_det= 48 z= 16/3
1 1/3 2/3 1/3 1/3 1/3 2/3 2/3 1/3 1/3 2/3
V#17 R#0 B#1845 h=11 facets 3 5 9 12 13 17 21 27 28 32 I#10 det= 48 in_det= 48 z= 6
1 2/3 1/3 1/3 1/3 1/3 1/3 1/3 2/3 2/3 2/3
V#18 R#0 B#2165 h=2 facets 28 30 31 32 33 34 35 37 38 40 I#30 det= 16 in_det= 16 z= 4
1 0 0 1 0 0 1 0 1 0 1
V#19 R#0 B#2238 h=12 facets 1 5 10 15 16 22 25 30 34 38 I#10 det= 48 in_det= 48 z= 16/3
1 2/3 2/3 2/3 1/3 2/3 2/3 1/3 2/3 1/3 1/3
V#20 R#0 B#2497 h=5 facets 27 28 30 31 32 34 35 36 38 40 I#30 det= 16 in_det= 16 z= 6
1 1 0 1 0 1 0 1 1 0 1
V#21 R#0 B#2972 h=10 facets 3 9 11 14 17 23 26 30 32 36 I#10 det= 48 in_det= 48 z= 16/3
1 2/3 1/3 1/3 2/3 1/3 1/3 2/3 2/3 1/3 1/3
V#22 R#0 B#3997 h=12 facets 2 4 9 11 14 16 22 25 30 37 I#10 det= 48 in_det= 48 z= 6
1 1/3 1/3 1/3 2/3 2/3 2/3 1/3 2/3 1/3 1/3
V#23 R#0 B#4410 h=16 facets 2 4 6 9 12 13 16 20 24 28 I#10 det= 48 in_det= 48 z= 20/3
1 1/3 1/3 1/3 1/3 2/3 2/3 2/3 2/3 2/3 2/3
V#24 R#0 B#4621 h=6 facets 22 27 28 29 30 33 35 37 38 39 I#30 det= 16 in_det= 16 z= 10
1 0 1 0 0 1 0 0 1 1 0
V#25 R#0 B#4823 h=11 facets 5 8 12 15 19 21 25 29 32 34 I#10 det= 48 in_det= 48 z= 16/3
1 2/3 1/3 2/3 1/3 1/3 2/3 1/3 1/3 2/3 1/3
V#26 R#0 B#5091 h=9 facets 4 7 14 19 21 25 29 33 37 39 I#10 det= 48 in_det= 48 z= 14/3
1 1/3 2/3 1/3 2/3 1/3 2/3 1/3 1/3 2/3 1/3
V#27 R#0 B#5861 h=13 facets 2 6 8 12 15 18 20 26 29 35 I#10 det= 48 in_det= 48 z= 6
1 1/3 1/3 2/3 1/3 2/3 1/3 2/3 1/3 2/3 1/3
V#28 R#0 B#6307 h=4 facets 13 28 29 30 32 33 34 36 38 39 I#30 det= 16 in_det= 16 z= 8
1 1 1 0 0 0 1 1 1 1 0
V#29 R#0 B#6899 h=9 facets 6 10 15 17 23 26 30 33 35 38 I#10 det= 48 in_det= 48 z= 14/3
1 1/3 2/3 2/3 1/3 1/3 1/3 2/3 2/3 1/3 1/3
V#30 R#0 B#7160 h=7 facets 13 23 24 26 29 30 31 32 34 36 I#30 det= 16 in_det= 16 z= 12
1 1 0 0 0 1 1 1 0 0 0
V#31 R#0 B#8058 h=12 facets 1 3 7 14 18 20 26 29 36 39 I#10 det= 48 in_det= 48 z= 16/3
1 2/3 2/3 1/3 2/3 2/3 1/3 2/3 1/3 2/3 1/3
V#32 R#0 B#8474 h=5 facets 13 26 27 29 30 31 32 33 35 37 I#30 det= 32 in_det= 32 z= 10
1 0 0 0 0 0 0 0 0 0 0
end
*Totals: vertices=32 rays=0 bases=9041 integer_vertices=16 max_vertex_depth=16
*Dictionary Cache: max size= 17 misses= 0/9040 Tree Depth= 16
*overflow checking on lrslong arithmetic
*lrs:lrslib_v.7.2_2022.2.8(64bit,lrslong.h,hybrid arithmetic)
*0.062u 0.000s 3968Kb 1033 flts 0 swaps 0 blks-in 0 blks-out
|
