Path: blob/master/build/pkgs/cddlib/tests/output/ccp5.ext
8820 views
V-representation begin 16 11 rational 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 1 0 1 1 1 1 1 1 0 0 0 1 1 0 1 1 1 0 0 1 1 0 1 1 1 0 1 0 1 0 1 0 1 1 1 1 1 0 0 0 1 0 1 1 1 0 0 1 1 0 1 1 1 1 0 1 0 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 0 1 1 1 1 0 0 1 1 1 0 0 1 1 1 1 0 1 0 1 0 1 1 0 1 1 1 1 0 0 0 1 1 1 1 0 1 0 0 0 1 0 0 1 0 1 1 1 0 0 1 0 0 1 0 1 0 1 1 0 1 0 0 1 0 0 1 1 0 1 1 0 0 0 1 1 1 0 0 0 end H-representation begin 56 11 rational 2 0 0 0 0 0 0 0 -1 -1 -1 0 0 0 1 1 0 0 0 0 0 -1 2 0 0 0 0 0 -1 -1 0 0 -1 0 1 0 0 1 0 0 -1 0 0 0 0 0 1 0 1 0 0 0 0 -1 0 2 0 0 0 0 -1 0 -1 0 -1 0 6 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 1 1 1 1 1 1 -1 -1 -1 0 1 -1 1 1 1 -1 -1 1 1 -1 0 1 1 -1 1 -1 1 -1 1 -1 1 0 1 1 0 0 -1 0 0 0 0 0 2 1 1 1 1 -1 -1 -1 -1 -1 -1 0 1 1 1 -1 -1 -1 1 -1 1 1 0 1 0 1 0 0 -1 0 0 0 0 0 0 1 1 0 0 0 0 -1 0 0 2 0 0 0 0 -1 -1 0 -1 0 0 0 1 1 -1 -1 -1 1 1 1 1 -1 0 1 -1 1 -1 1 -1 1 1 -1 1 0 -1 1 1 -1 1 1 -1 -1 1 1 2 -1 -1 -1 1 -1 -1 1 -1 1 1 2 1 -1 -1 -1 1 1 1 -1 -1 -1 0 1 -1 -1 1 1 1 -1 -1 1 1 2 -1 1 -1 -1 1 -1 -1 1 1 -1 0 -1 1 -1 1 1 -1 1 1 -1 1 0 -1 -1 1 1 -1 1 1 1 1 -1 2 -1 -1 1 -1 -1 1 -1 1 -1 1 0 0 0 0 0 0 -1 1 0 0 1 0 0 0 0 0 0 0 0 -1 1 1 0 0 0 1 -1 0 0 0 0 0 1 0 0 0 0 0 -1 0 1 0 1 0 0 0 1 0 -1 0 0 0 0 1 0 0 1 0 0 -1 0 0 1 0 0 0 0 1 0 -1 0 0 1 0 0 0 0 0 0 1 -1 0 0 0 0 1 0 0 0 0 0 0 0 -1 1 0 1 0 0 0 1 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 -1 0 0 2 0 -1 -1 0 0 0 0 -1 0 0 0 0 0 0 0 1 -1 0 1 0 0 0 -1 1 0 0 1 0 0 0 0 0 2 -1 0 -1 0 0 -1 0 0 0 0 0 0 -1 1 0 0 0 0 1 0 0 0 -1 0 1 0 0 1 0 0 0 0 2 -1 -1 0 0 -1 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 -1 1 0 0 0 0 0 0 1 -1 0 0 1 0 0 0 0 0 1 0 -1 0 1 0 0 0 0 0 0 0 0 0 1 1 -1 0 0 -1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 -1 2 0 0 -1 -1 0 0 0 0 0 -1 0 0 0 0 0 1 0 1 0 -1 0 2 0 -1 0 -1 0 0 0 0 -1 0 2 -1 0 0 -1 0 0 -1 0 0 0 0 -1 0 0 1 0 0 1 0 0 0 end Vertex graph begin 16 16 1 15 : 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 2 15 : 1 3 4 5 6 7 8 9 10 11 12 13 14 15 16 3 15 : 1 2 4 5 6 7 8 9 10 11 12 13 14 15 16 4 15 : 1 2 3 5 6 7 8 9 10 11 12 13 14 15 16 5 15 : 1 2 3 4 6 7 8 9 10 11 12 13 14 15 16 6 15 : 1 2 3 4 5 7 8 9 10 11 12 13 14 15 16 7 15 : 1 2 3 4 5 6 8 9 10 11 12 13 14 15 16 8 15 : 1 2 3 4 5 6 7 9 10 11 12 13 14 15 16 9 15 : 1 2 3 4 5 6 7 8 10 11 12 13 14 15 16 10 15 : 1 2 3 4 5 6 7 8 9 11 12 13 14 15 16 11 15 : 1 2 3 4 5 6 7 8 9 10 12 13 14 15 16 12 15 : 1 2 3 4 5 6 7 8 9 10 11 13 14 15 16 13 15 : 1 2 3 4 5 6 7 8 9 10 11 12 14 15 16 14 15 : 1 2 3 4 5 6 7 8 9 10 11 12 13 15 16 15 15 : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 16 16 15 : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 end Facet graph begin 56 56 1 28 : 2 3 4 5 6 7 8 11 12 14 15 16 21 32 33 36 37 38 40 41 43 44 51 52 53 54 55 56 2 28 : 1 3 4 5 6 8 9 11 12 14 15 16 25 30 35 36 37 39 40 42 43 44 48 49 50 51 53 56 3 28 : 1 2 4 5 6 7 9 11 12 14 15 16 23 31 34 36 38 39 40 41 42 44 48 49 50 52 54 55 4 28 : 1 2 3 5 6 9 10 11 12 14 15 16 22 28 33 34 35 36 37 38 39 42 45 46 47 48 49 50 5 28 : 1 2 3 4 6 8 10 11 12 14 15 16 24 27 33 34 35 37 39 40 41 43 45 46 47 51 53 56 6 28 : 1 2 3 4 5 7 10 11 12 14 15 16 26 29 33 34 35 38 41 42 43 44 45 46 47 52 54 55 7 10 : 1 3 6 16 38 41 44 52 54 55 8 10 : 1 2 5 15 37 40 43 51 53 56 9 10 : 2 3 4 14 36 39 42 48 49 50 10 10 : 4 5 6 11 33 34 35 45 46 47 11 28 : 1 2 3 4 5 6 10 12 13 14 15 16 17 27 28 29 30 31 32 33 34 35 45 46 47 49 51 52 12 10 : 1 2 3 4 5 6 11 14 15 16 13 10 : 11 14 15 16 27 28 29 30 31 32 14 28 : 1 2 3 4 5 6 9 11 12 13 15 16 18 27 28 29 30 31 32 36 39 42 46 48 49 50 53 54 15 28 : 1 2 3 4 5 6 8 11 12 13 14 16 19 27 28 29 30 31 32 37 40 43 47 48 51 53 55 56 16 28 : 1 2 3 4 5 6 7 11 12 13 14 15 20 27 28 29 30 31 32 38 41 44 45 50 52 54 55 56 17 10 : 11 30 31 32 33 34 35 49 51 52 18 10 : 14 27 29 32 36 39 42 46 53 54 19 10 : 15 28 29 31 37 40 43 47 48 55 20 10 : 16 27 28 30 38 41 44 45 50 56 21 10 : 1 32 33 36 37 38 51 52 53 54 22 10 : 4 28 33 36 37 38 45 47 48 50 23 10 : 3 31 34 39 40 41 48 49 52 55 24 10 : 5 27 34 39 40 41 45 46 53 56 25 10 : 2 30 35 42 43 44 49 50 51 56 26 10 : 6 29 35 42 43 44 46 47 54 55 27 28 : 5 11 13 14 15 16 18 20 24 28 29 30 31 32 34 36 38 39 40 41 42 44 45 46 50 53 54 56 28 28 : 4 11 13 14 15 16 19 20 22 27 29 30 31 32 33 36 37 38 40 41 43 44 45 47 48 50 55 56 29 28 : 6 11 13 14 15 16 18 19 26 27 28 30 31 32 35 36 37 39 40 42 43 44 46 47 48 53 54 55 30 28 : 2 11 13 14 15 16 17 20 25 27 28 29 31 32 33 34 35 38 41 42 43 44 45 49 50 51 52 56 31 28 : 3 11 13 14 15 16 17 19 23 27 28 29 30 32 33 34 35 37 39 40 41 43 47 48 49 51 52 55 32 28 : 1 11 13 14 15 16 17 18 21 27 28 29 30 31 33 34 35 36 37 38 39 42 46 49 51 52 53 54 33 28 : 1 4 5 6 10 11 17 21 22 28 30 31 32 34 35 36 37 38 45 46 47 48 49 50 51 52 53 54 34 28 : 3 4 5 6 10 11 17 23 24 27 30 31 32 33 35 39 40 41 45 46 47 48 49 51 52 53 55 56 35 28 : 2 4 5 6 10 11 17 25 26 29 30 31 32 33 34 42 43 44 45 46 47 49 50 51 52 54 55 56 36 28 : 1 2 3 4 9 14 18 21 22 27 28 29 32 33 37 38 39 42 45 46 47 48 49 50 51 52 53 54 37 28 : 1 2 4 5 8 15 19 21 22 28 29 31 32 33 36 38 40 43 45 47 48 50 51 52 53 54 55 56 38 28 : 1 3 4 6 7 16 20 21 22 27 28 30 32 33 36 37 41 44 45 47 48 50 51 52 53 54 55 56 39 28 : 2 3 4 5 9 14 18 23 24 27 29 31 32 34 36 40 41 42 45 46 48 49 50 52 53 54 55 56 40 28 : 1 2 3 5 8 15 19 23 24 27 28 29 31 34 37 39 41 43 45 46 47 48 49 51 52 53 55 56 41 28 : 1 3 5 6 7 16 20 23 24 27 28 30 31 34 38 39 40 44 45 46 48 49 50 52 53 54 55 56 42 28 : 2 3 4 6 9 14 18 25 26 27 29 30 32 35 36 39 43 44 46 47 48 49 50 51 53 54 55 56 43 28 : 1 2 5 6 8 15 19 25 26 28 29 30 31 35 37 40 42 44 46 47 48 49 50 51 53 54 55 56 44 28 : 1 2 3 6 7 16 20 25 26 27 28 29 30 35 38 41 42 43 45 46 47 49 50 51 52 54 55 56 45 28 : 4 5 6 10 11 16 20 22 24 27 28 30 33 34 35 36 37 38 39 40 41 44 46 47 48 50 53 56 46 28 : 4 5 6 10 11 14 18 24 26 27 29 32 33 34 35 36 39 40 41 42 43 44 45 47 53 54 55 56 47 28 : 4 5 6 10 11 15 19 22 26 28 29 31 33 34 35 36 37 38 40 42 43 44 45 46 48 50 54 55 48 28 : 2 3 4 9 14 15 19 22 23 28 29 31 33 34 36 37 38 39 40 41 42 43 45 47 49 50 52 55 49 28 : 2 3 4 9 11 14 17 23 25 30 31 32 33 34 35 36 39 40 41 42 43 44 48 50 51 52 55 56 50 28 : 2 3 4 9 14 16 20 22 25 27 28 30 33 35 36 37 38 39 41 42 43 44 45 47 48 49 51 56 51 28 : 1 2 5 8 11 15 17 21 25 30 31 32 33 34 35 36 37 38 40 42 43 44 49 50 52 53 54 56 52 28 : 1 3 6 7 11 16 17 21 23 30 31 32 33 34 35 36 37 38 39 40 41 44 48 49 51 53 54 55 53 28 : 1 2 5 8 14 15 18 21 24 27 29 32 33 34 36 37 38 39 40 41 42 43 45 46 51 52 54 56 54 28 : 1 3 6 7 14 16 18 21 26 27 29 32 33 35 36 37 38 39 41 42 43 44 46 47 51 52 53 55 55 28 : 1 3 6 7 15 16 19 23 26 28 29 31 34 35 37 38 39 40 41 42 43 44 46 47 48 49 52 54 56 28 : 1 2 5 8 15 16 20 24 25 27 28 30 34 35 37 38 39 40 41 42 43 44 45 46 49 50 51 53 end