diff options
Diffstat (limited to 'demos/ppl_lcdd/examples/cp6.ine')
| -rw-r--r-- | demos/ppl_lcdd/examples/cp6.ine | 373 |
1 files changed, 373 insertions, 0 deletions
diff --git a/demos/ppl_lcdd/examples/cp6.ine b/demos/ppl_lcdd/examples/cp6.ine new file mode 100644 index 000000000..a26068e54 --- /dev/null +++ b/demos/ppl_lcdd/examples/cp6.ine @@ -0,0 +1,373 @@ +* 6 point cut polytope +H-representation +begin +368 16 integer + 2 0 1 1 1 1 0 0 0 0 -1 -1 -1 -1 -1 -1 + 2 1 0 1 1 1 0 -1 -1 -1 0 0 0 -1 -1 -1 + 2 1 1 0 1 1 -1 0 -1 -1 0 -1 -1 0 0 -1 + 0 1 0 0 1 0 0 0 -1 0 0 0 0 0 0 0 + 0 1 0 0 0 1 0 0 0 -1 0 0 0 0 0 0 + 0 0 1 0 1 0 0 0 0 0 0 -1 0 0 0 0 + 0 0 1 0 0 1 0 0 0 0 0 0 -1 0 0 0 + 0 0 0 1 1 0 0 0 0 0 0 0 0 -1 0 0 + 0 0 0 1 0 1 0 0 0 0 0 0 0 0 -1 0 + 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 -1 + 2 2 2 2 2 2 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 + 0 0 1 1 0 0 0 0 0 0 -1 0 0 0 0 0 + 0 -1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 + 0 -2 2 2 2 2 1 1 1 1 -1 -1 -1 -1 -1 -1 + 0 -2 1 1 1 1 2 2 2 2 -1 -1 -1 -1 -1 -1 + 0 1 -1 2 -1 -1 1 -2 1 1 2 -1 -1 2 2 -1 + 0 1 -1 -1 2 -1 1 1 -2 1 -1 2 -1 2 -1 2 + 2 -2 1 1 -1 -1 2 2 -2 -2 -1 1 1 1 1 -1 + 0 -1 2 1 -1 -1 2 1 -1 -1 -2 2 2 1 1 -1 + 2 -2 1 -1 -1 1 2 -2 -2 2 1 1 -1 -1 1 1 + 0 -1 2 -1 -1 1 2 -1 -1 1 2 2 -2 -1 1 1 + 2 -1 2 1 1 1 2 1 1 1 -2 -2 -2 -1 -1 -1 + 2 -2 1 -1 1 -1 2 -2 2 -2 1 -1 1 1 -1 1 + 0 -1 2 -1 1 -1 2 -1 1 -1 2 -2 2 1 -1 1 + 0 1 -1 -1 -1 2 1 1 1 -2 -1 -1 2 -1 2 2 + 0 0 0 0 0 0 1 0 0 -1 0 0 1 0 0 0 + 0 -1 1 1 1 0 1 1 1 0 -1 -1 0 -1 0 0 + 2 1 -2 -1 -1 1 2 1 1 -1 -2 -2 2 -1 1 1 + 0 2 -1 -1 -1 1 2 2 2 -2 -1 -1 1 -1 1 1 + 0 0 1 1 1 -1 0 0 0 0 -1 -1 1 -1 1 1 + 0 -1 2 1 1 -1 2 1 1 -1 -2 -2 2 -1 1 1 + 0 0 0 0 0 0 1 1 1 -1 -1 -1 1 -1 1 1 + 0 1 2 -1 -1 -1 -2 1 1 1 2 2 2 -1 -1 -1 + 2 -2 2 -2 2 -2 1 -1 1 -1 1 -1 1 1 -1 1 + 2 -1 1 -1 1 -2 1 -1 1 -2 1 -1 2 1 -2 2 + 0 0 1 0 0 -1 0 0 0 0 0 0 1 0 0 0 + 2 -1 2 -1 -1 -1 2 -1 -1 -1 2 2 2 -1 -1 -1 + 6 -1 1 -1 -1 -2 1 -1 -1 -2 1 1 2 -1 -2 -2 + 2 0 1 -1 -1 -1 0 0 0 0 1 1 1 -1 -1 -1 + 2 -1 1 -1 0 -1 1 -1 0 -1 1 0 1 0 -1 0 + 2 -1 1 0 -1 -1 1 0 -1 -1 0 1 1 0 0 -1 + 2 0 0 0 0 0 1 -1 -1 -1 1 1 1 -1 -1 -1 + 2 1 -1 1 1 2 1 -1 -1 -2 1 1 2 -1 -2 -2 + 0 -2 1 1 1 -1 2 2 2 -2 -1 -1 1 -1 1 1 + 0 -1 1 0 1 -1 1 0 1 -1 0 -1 1 0 0 1 + 0 -1 1 1 0 -1 1 1 0 -1 -1 0 1 0 1 0 + 2 -1 0 0 0 -1 0 0 0 -1 0 0 0 0 0 0 + 0 -1 0 1 1 -1 0 1 1 -1 0 0 0 -1 1 1 + 0 -2 2 2 2 -2 1 1 1 -1 -1 -1 1 -1 1 1 + 2 -2 -2 2 2 -2 -1 1 1 -1 1 1 -1 -1 1 1 + 2 -1 -1 1 1 -2 -1 1 1 -2 1 1 -2 -1 2 2 + 12 -1 -1 -1 -1 -2 -1 -1 -1 -2 -1 -1 -2 -1 -2 -2 + 0 0 0 0 0 0 1 0 -1 0 0 1 0 0 0 0 + 0 -1 1 1 0 1 1 1 0 1 -1 0 -1 0 -1 0 + 2 1 -2 -1 1 -1 2 1 -1 1 -2 2 -2 1 -1 1 + 0 2 -1 -1 1 -1 2 2 -2 2 -1 1 -1 1 -1 1 + 0 0 1 1 -1 1 0 0 0 0 -1 1 -1 1 -1 1 + 0 -1 2 1 -1 1 2 1 -1 1 -2 2 -2 1 -1 1 + 0 0 0 0 0 0 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 1 -1 0 1 1 1 0 -1 -1 0 1 1 0 0 -1 + 2 1 -1 -2 1 -1 1 2 -1 1 -2 1 -1 2 -2 1 + 2 -2 -1 1 -1 1 -2 2 -2 2 1 -1 1 1 -1 1 + 0 -1 -1 2 -1 1 -1 2 -1 1 2 -1 1 2 -2 1 + 2 -1 1 2 1 1 1 2 1 1 -2 -1 -1 -2 -2 -1 + 2 1 -1 1 2 1 1 -1 -2 -1 1 2 1 -2 -1 -2 + 0 0 0 0 0 0 0 0 0 0 -1 1 0 1 0 0 + 0 1 -1 -1 1 0 1 1 -1 0 -1 1 0 1 0 0 + 0 0 0 0 0 0 0 1 -1 0 0 0 0 1 0 0 + 0 1 0 -1 1 1 0 1 -1 -1 0 0 0 1 1 -1 + 0 2 -1 -1 1 1 2 2 -2 -2 -1 1 1 1 1 -1 + 2 1 1 -1 2 1 -1 1 -2 -1 1 -2 -1 2 1 -2 + 0 1 -1 -1 2 1 1 1 -2 -1 -1 2 1 2 1 -2 + 0 -1 1 2 -1 -1 1 2 -1 -1 -2 1 1 2 2 -1 + 0 -1 1 1 -1 0 1 1 -1 0 -1 1 0 1 0 0 + 0 -1 1 2 -1 1 1 2 -1 1 -2 1 -1 2 -2 1 + 0 0 0 0 0 0 1 1 -1 -1 -1 1 1 1 1 -1 + 2 -2 -1 1 1 -1 -2 2 2 -2 1 1 -1 -1 1 1 + 0 -1 -1 2 1 -1 -1 2 1 -1 2 1 -1 -2 2 1 + 0 0 1 0 -1 0 0 0 0 0 0 1 0 0 0 0 + 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 -1 + 0 -2 1 1 -1 1 2 2 -2 2 -1 1 -1 1 -1 1 + 0 -1 1 0 -1 1 1 0 -1 1 0 1 -1 0 0 1 + 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 1 0 + 0 1 -2 -1 1 1 2 1 -1 -1 -2 2 2 1 1 -1 + 0 1 -1 -1 0 1 1 1 0 -1 -1 0 1 0 1 0 + 2 -2 2 -2 -2 2 1 -1 -1 1 1 1 -1 -1 1 1 + 2 -1 1 -1 -2 1 1 -1 -2 1 1 2 -1 -2 1 2 + 2 1 -1 -2 -1 1 1 2 1 -1 -2 -1 1 -2 2 1 + 6 -1 1 -1 -2 -1 1 -1 -2 -1 1 2 1 -2 -1 -2 + 2 -1 1 -1 -1 0 1 -1 -1 0 1 1 0 -1 0 0 + 0 1 -1 -2 1 1 1 2 -1 -1 -2 1 1 2 2 -1 + 0 -1 1 2 1 -1 1 2 1 -1 -2 -1 1 -2 2 1 + 6 -1 -1 1 -2 -1 -1 1 -2 -1 1 -2 -1 2 1 -2 + 2 -1 -1 1 -1 0 -1 1 -1 0 1 -1 0 1 0 0 + 2 -1 0 0 -1 0 0 0 -1 0 0 0 0 0 0 0 + 0 -1 0 1 -1 1 0 1 -1 1 0 0 0 1 -1 1 + 0 -2 2 2 -2 2 1 1 -1 1 -1 1 -1 1 -1 1 + 2 -2 -2 2 -2 2 -1 1 -1 1 1 -1 1 1 -1 1 + 2 -1 -1 1 -2 1 -1 1 -2 1 1 -2 1 2 -1 2 + 12 -1 -1 -1 -2 -1 -1 -1 -2 -1 -1 -2 -1 -2 -1 -2 + 0 1 -1 -1 1 2 1 1 -1 -2 -1 1 2 1 2 -2 + 2 0 0 0 0 0 0 0 -1 -1 0 0 0 0 0 -1 + 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 1 0 + 0 -1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 + 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 1 0 + 2 -1 -1 2 -1 -1 -1 2 -1 -1 2 -1 -1 2 2 -1 + 6 -1 -1 1 -1 -2 -1 1 -1 -2 1 -1 -2 1 2 -2 + 2 0 -1 1 -1 -1 0 0 0 0 1 -1 -1 1 1 -1 + 2 -1 -1 1 0 -1 -1 1 0 -1 1 0 -1 0 1 0 + 2 -1 0 1 -1 -1 0 1 -1 -1 0 0 0 1 1 -1 + 2 0 0 0 0 0 -1 1 -1 -1 1 -1 -1 1 1 -1 + 2 1 1 -1 1 2 -1 1 -1 -2 1 -1 -2 1 2 -2 + 0 0 0 1 -1 0 0 0 0 0 0 0 0 1 0 0 + 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 -1 + 0 1 0 1 0 0 0 -1 0 0 0 0 0 0 0 0 + 0 0 0 0 0 0 1 -1 0 0 1 0 0 0 0 0 + 0 -1 1 0 1 1 1 0 1 1 0 -1 -1 0 0 -1 + 2 1 -2 1 -1 -1 2 -1 1 1 2 -2 -2 1 1 -1 + 0 2 -1 1 -1 -1 2 -2 2 2 1 -1 -1 1 1 -1 + 0 0 1 -1 1 1 0 0 0 0 1 -1 -1 1 1 -1 + 0 -1 2 -1 1 1 2 -1 1 1 2 -2 -2 1 1 -1 + 0 0 0 0 0 0 1 -1 1 1 1 -1 -1 1 1 -1 + 0 0 0 0 0 0 1 0 1 0 0 -1 0 0 0 0 + 0 1 -1 1 0 1 1 -1 0 -1 1 0 1 0 -1 0 + 2 1 -1 1 -2 -1 1 -1 2 1 1 -2 -1 2 1 -2 + 2 -2 -1 -1 1 1 -2 -2 2 2 -1 1 1 1 1 -1 + 0 -1 -1 -1 2 1 -1 -1 2 1 -1 2 1 2 1 -2 + 2 -2 2 2 -2 -2 1 1 -1 -1 -1 1 1 1 1 -1 + 2 1 -1 2 1 1 1 -2 -1 -1 2 1 1 -2 -2 -1 + 2 1 2 -1 1 1 -2 1 -1 -1 2 -2 -2 1 1 -1 + 2 -1 1 1 2 1 1 1 2 1 -1 -2 -1 -2 -1 -2 + 2 2 -2 -2 2 -2 1 1 -1 1 -1 1 -1 1 -1 1 + 2 -1 1 1 -1 -2 1 1 -1 -2 -1 1 2 1 2 -2 + 2 1 -1 -1 1 -2 1 1 -1 2 -1 1 -2 1 -2 2 + 0 0 0 0 0 0 0 -1 1 0 0 0 0 1 0 0 + 0 1 0 1 -1 1 0 -1 1 -1 0 0 0 1 -1 1 + 0 2 -1 1 -1 1 2 -2 2 -2 1 -1 1 1 -1 1 + 2 1 1 2 -1 1 -1 -2 1 -1 -2 1 -1 2 -2 1 + 0 1 -1 2 -1 1 1 -2 1 -1 2 -1 1 2 -2 1 + 0 -1 1 -1 2 -1 1 -1 2 -1 1 -2 1 2 -1 2 + 0 -1 1 -1 1 0 1 -1 1 0 1 -1 0 1 0 0 + 0 -1 1 -1 2 1 1 -1 2 1 1 -2 -1 2 1 -2 + 0 0 0 0 0 0 1 -1 1 -1 1 -1 1 1 -1 1 + 0 0 0 0 0 0 0 0 0 0 1 -1 0 1 0 0 + 0 1 -1 1 -1 0 1 -1 1 0 1 -1 0 1 0 0 + 0 0 0 0 0 0 1 0 0 1 0 0 -1 0 0 0 + 0 1 -1 1 1 0 1 -1 -1 0 1 1 0 -1 0 0 + 0 1 -1 0 0 0 1 0 0 0 0 0 0 0 0 0 + 0 2 -2 2 2 2 1 -1 -1 -1 1 1 1 -1 -1 -1 + 0 1 -2 1 1 1 2 -1 -1 -1 2 2 2 -1 -1 -1 + 2 2 -1 1 1 1 2 -2 -2 -2 1 1 1 -1 -1 -1 + 0 1 0 0 0 -1 0 0 0 1 0 0 0 0 0 0 + 0 1 1 1 1 -2 -1 -1 -1 2 -1 -1 2 -1 2 2 + 0 2 2 2 2 -2 -1 -1 -1 1 -1 -1 1 -1 1 1 + 2 2 1 1 1 -1 -2 -2 -2 2 -1 -1 1 -1 1 1 + 2 2 2 -2 -2 -2 -1 1 1 1 1 1 1 -1 -1 -1 + 2 2 -1 -1 -1 -1 2 2 2 2 -1 -1 -1 -1 -1 -1 + 6 1 -1 -1 -1 -2 1 1 1 2 -1 -1 -2 -1 -2 -2 + 2 1 0 -1 -1 -1 0 1 1 1 0 0 0 -1 -1 -1 + 2 1 1 -1 -1 -2 -1 1 1 2 1 1 2 -1 -2 -2 + 2 1 -1 -1 0 -1 1 1 0 1 -1 0 -1 0 -1 0 + 6 1 -1 -1 -2 -1 1 1 2 1 -1 -2 -1 -2 -1 -2 + 2 1 -1 0 -1 -1 1 0 1 1 0 -1 -1 0 0 -1 + 2 2 -2 2 -2 -2 1 -1 1 1 1 -1 -1 1 1 -1 + 2 1 -1 1 -1 -2 1 -1 1 2 1 -1 -2 1 2 -2 + 2 -1 -2 1 1 -1 -2 1 1 -1 2 2 -2 -1 1 1 + 2 -1 1 1 -2 -1 1 1 -2 -1 -1 2 1 2 1 -2 + 2 -1 1 1 1 2 1 1 1 2 -1 -1 -2 -1 -2 -2 + 2 2 -2 -2 -2 2 1 1 1 -1 -1 -1 1 -1 1 1 + 2 -1 1 -2 1 -1 1 -2 1 -1 2 -1 1 2 -2 1 + 2 1 -1 -1 -1 0 1 1 1 0 -1 -1 0 -1 0 0 + 2 0 0 0 0 0 1 1 1 1 -1 -1 -1 -1 -1 -1 + 0 1 -2 1 1 -1 2 -1 -1 1 2 2 -2 -1 1 1 + 0 1 -1 0 1 -1 1 0 -1 1 0 1 -1 0 0 1 + 0 1 -1 1 0 -1 1 -1 0 1 1 0 -1 0 1 0 + 2 0 -1 0 0 -1 0 0 0 0 0 0 -1 0 0 0 + 0 0 -1 1 1 -1 0 0 0 0 1 1 -1 -1 1 1 + 0 2 -2 2 2 -2 1 -1 -1 1 1 1 -1 -1 1 1 + 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 -1 + 0 1 1 1 -1 0 -1 -1 1 0 -1 1 0 1 0 0 + 0 1 0 0 -1 0 0 0 1 0 0 0 0 0 0 0 + 2 2 1 1 -1 1 -2 -2 2 -2 -1 1 -1 1 -1 1 + 0 2 2 2 -2 2 -1 -1 1 -1 -1 1 -1 1 -1 1 + 0 1 1 1 -2 1 -1 -1 2 -1 -1 2 -1 2 -1 2 + 0 1 1 1 -2 -1 -1 -1 2 1 -1 2 1 2 1 -2 + 0 1 0 1 -1 -1 0 -1 1 1 0 0 0 1 1 -1 + 0 1 1 0 -1 -1 -1 0 1 1 0 1 1 0 0 -1 + 2 0 0 0 -1 -1 0 0 0 0 0 0 0 0 0 -1 + 0 0 1 1 -1 -1 0 0 0 0 -1 1 1 1 1 -1 + 0 2 2 2 -2 -2 -1 -1 1 1 -1 1 1 1 1 -1 + 2 1 1 -1 -2 -1 -1 1 2 1 1 2 1 -2 -1 -2 + 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 1 0 + 2 1 1 2 1 -1 -1 -2 -1 1 -2 -1 1 -2 2 1 + 0 1 0 1 1 -1 0 -1 -1 1 0 0 0 -1 1 1 + 0 2 -1 1 1 -1 2 -2 -2 2 1 1 -1 -1 1 1 + 0 1 -1 2 1 -1 1 -2 -1 1 2 1 -1 -2 2 1 + 0 -1 1 -1 -1 2 1 -1 -1 2 1 1 -2 -1 2 2 + 0 -2 1 -1 1 1 2 -2 2 2 1 -1 -1 1 1 -1 + 0 -1 1 -1 0 1 1 -1 0 1 1 0 -1 0 1 0 + 0 -1 1 -2 1 1 1 -2 1 1 2 -1 -1 2 2 -1 + 0 -1 1 -1 1 2 1 -1 1 2 1 -1 -2 1 2 -2 + 0 0 0 0 0 0 1 -1 -1 1 1 1 -1 -1 1 1 + 0 1 -2 1 -1 1 2 -1 1 -1 2 -2 2 1 -1 1 + 0 1 -1 0 -1 1 1 0 1 -1 0 -1 1 0 0 1 + 0 0 0 0 0 0 -1 -1 1 1 -1 1 1 1 1 -1 + 0 1 1 2 -1 -1 -1 -2 1 1 -2 1 1 2 2 -1 + 2 -1 -2 1 -1 1 -2 1 -1 1 2 -2 2 1 -1 1 + 0 -1 -1 -1 1 2 -1 -1 1 2 -1 1 2 1 2 -2 + 2 1 -1 -1 -2 1 1 1 2 -1 -1 -2 1 -2 1 2 + 2 -1 1 -2 -1 1 1 -2 -1 1 2 1 -1 -2 2 1 + 2 0 -1 0 -1 0 0 0 0 0 0 -1 0 0 0 0 + 0 0 -1 1 -1 1 0 0 0 0 1 -1 1 1 -1 1 + 0 2 -2 2 -2 2 1 -1 1 -1 1 -1 1 1 -1 1 + 2 0 0 0 0 0 0 0 0 0 0 -1 -1 0 0 -1 + 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 1 0 + 0 0 -1 1 0 0 0 0 0 0 1 0 0 0 0 0 + 0 1 1 0 0 0 -1 0 0 0 0 0 0 0 0 0 + 0 0 0 0 0 0 -1 1 0 0 1 0 0 0 0 0 + 0 -1 0 1 1 1 0 1 1 1 0 0 0 -1 -1 -1 + 2 1 1 -2 -1 -1 -1 2 1 1 2 1 1 -2 -2 -1 + 0 2 1 -1 -1 -1 -2 2 2 2 1 1 1 -1 -1 -1 + 0 0 -1 1 1 1 0 0 0 0 1 1 1 -1 -1 -1 + 0 -1 -1 2 1 1 -1 2 1 1 2 1 1 -2 -2 -1 + 0 0 0 0 0 0 -1 1 1 1 1 1 1 -1 -1 -1 + 0 0 0 0 0 0 0 1 1 0 0 0 0 -1 0 0 + 0 1 1 -1 0 1 -1 1 0 -1 1 0 -1 0 1 0 + 0 0 0 0 0 0 0 0 0 0 1 1 0 -1 0 0 + 0 1 1 -1 -1 0 -1 1 1 0 1 1 0 -1 0 0 + 0 0 0 0 0 0 0 1 0 1 0 0 0 0 -1 0 + 0 1 1 -1 1 0 -1 1 -1 0 1 -1 0 1 0 0 + 0 1 0 -1 0 0 0 1 0 0 0 0 0 0 0 0 + 2 2 1 -1 1 1 -2 2 -2 -2 1 -1 -1 1 1 -1 + 0 2 2 -2 2 2 -1 1 -1 -1 1 -1 -1 1 1 -1 + 0 1 1 -2 1 1 -1 2 -1 -1 2 -1 -1 2 2 -1 + 0 1 1 -2 1 -1 -1 2 -1 1 2 -1 1 2 -2 1 + 0 1 0 -1 1 -1 0 1 -1 1 0 0 0 1 -1 1 + 0 1 1 -1 0 -1 -1 1 0 1 1 0 1 0 -1 0 + 2 0 0 -1 0 -1 0 0 0 0 0 0 0 0 -1 0 + 0 0 1 -1 1 -1 0 0 0 0 1 -1 1 1 -1 1 + 0 2 2 -2 2 -2 -1 1 -1 1 1 -1 1 1 -1 1 + 2 0 0 0 0 0 0 0 0 0 0 0 0 -1 -1 -1 + 0 0 1 -1 0 0 0 0 0 0 1 0 0 0 0 0 + 0 0 0 0 0 0 0 0 0 0 1 0 1 0 -1 0 + 2 1 1 1 1 0 -1 -1 -1 0 -1 -1 0 -1 0 0 + 2 0 0 0 0 0 0 -1 -1 0 0 0 0 -1 0 0 + 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 1 + 0 -1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 + 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 1 + 2 -1 -1 -1 -1 2 -1 -1 -1 2 -1 -1 2 -1 2 2 + 6 -1 -1 -1 -2 1 -1 -1 -2 1 -1 -2 1 -2 1 2 + 2 0 -1 -1 -1 1 0 0 0 0 -1 -1 1 -1 1 1 + 2 -1 -1 0 -1 1 -1 0 -1 1 0 -1 1 0 0 1 + 2 -1 0 -1 -1 1 0 -1 -1 1 0 0 0 -1 1 1 + 2 0 0 0 0 0 -1 -1 -1 1 -1 -1 1 -1 1 1 + 2 1 1 1 2 -1 -1 -1 -2 1 -1 -2 1 -2 1 2 + 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 1 + 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 1 0 + 2 0 0 0 0 0 0 0 0 0 -1 -1 0 -1 0 0 + 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 1 + 0 0 -1 0 0 1 0 0 0 0 0 0 1 0 0 0 + 0 0 0 0 0 0 -1 0 0 1 0 0 1 0 0 0 + 2 1 2 1 1 -1 -2 -1 -1 1 -2 -2 2 -1 1 1 + 0 1 1 0 1 -1 -1 0 -1 1 0 -1 1 0 0 1 + 0 2 1 -1 1 -1 -2 2 -2 2 1 -1 1 1 -1 1 + 0 1 2 -1 1 -1 -2 1 -1 1 2 -2 2 1 -1 1 + 0 1 1 1 0 -1 -1 -1 0 1 -1 0 1 0 1 0 + 0 2 1 1 -1 -1 -2 -2 2 2 -1 1 1 1 1 -1 + 0 1 1 1 -1 -2 -1 -1 1 2 -1 1 2 1 2 -2 + 0 1 2 1 -1 -1 -2 -1 1 1 -2 2 2 1 1 -1 + 0 1 1 -1 1 -2 -1 1 -1 2 1 -1 2 1 -2 2 + 0 -2 -1 1 1 1 -2 2 2 2 1 1 1 -1 -1 -1 + 0 -1 -1 1 0 1 -1 1 0 1 1 0 1 0 -1 0 + 0 -1 -2 1 1 1 -2 1 1 1 2 2 2 -1 -1 -1 + 0 -1 -1 1 1 2 -1 1 1 2 1 1 2 -1 -2 -2 + 0 -1 -1 1 -1 2 -1 1 -1 2 1 -1 2 1 -2 2 + 0 1 1 -2 -1 1 -1 2 1 -1 2 1 -1 -2 2 1 + 0 1 0 -1 -1 1 0 1 1 -1 0 0 0 -1 1 1 + 2 0 0 -1 -1 0 0 0 0 0 0 0 0 -1 0 0 + 0 0 1 -1 -1 1 0 0 0 0 1 1 -1 -1 1 1 + 0 2 2 -2 -2 2 -1 1 1 -1 1 1 -1 -1 1 1 + 0 0 0 0 0 0 -1 1 -1 1 1 -1 1 1 -1 1 + 0 1 1 -1 2 -1 -1 1 -2 1 1 -2 1 2 -1 2 + 6 1 -1 -2 -1 -1 1 2 1 1 -2 -1 -1 -2 -2 -1 + 2 0 0 0 0 0 -1 0 -1 0 0 -1 0 0 0 0 + 6 1 1 1 2 1 -1 -1 -2 -1 -1 -2 -1 -2 -1 -2 + 2 1 1 1 0 1 -1 -1 0 -1 -1 0 -1 0 -1 0 + 2 0 0 0 0 0 0 -1 0 -1 0 0 0 0 -1 0 + 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 1 + 0 -1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 + 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 1 + 2 -1 -1 -1 2 -1 -1 -1 2 -1 -1 2 -1 2 -1 2 + 6 -1 -1 -1 1 -2 -1 -1 1 -2 -1 1 -2 1 -2 2 + 2 0 -1 -1 1 -1 0 0 0 0 -1 1 -1 1 -1 1 + 2 -1 -1 0 1 -1 -1 0 1 -1 0 1 -1 0 0 1 + 2 -1 0 -1 1 -1 0 -1 1 -1 0 0 0 1 -1 1 + 2 0 0 0 0 0 -1 -1 1 -1 -1 1 -1 1 -1 1 + 2 1 1 1 -1 2 -1 -1 1 -2 -1 1 -2 1 -2 2 + 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 1 + 0 0 0 -1 1 0 0 0 0 0 0 0 0 1 0 0 + 2 0 0 0 0 0 0 0 0 0 -1 0 -1 0 -1 0 + 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 1 + 0 0 -1 0 1 0 0 0 0 0 0 1 0 0 0 0 + 0 0 0 0 0 0 -1 0 1 0 0 1 0 0 0 0 + 0 1 1 0 -1 1 -1 0 1 -1 0 1 -1 0 0 1 + 0 2 1 -1 -1 1 -2 2 2 -2 1 1 -1 -1 1 1 + 2 1 2 1 -1 1 -2 -1 1 -1 -2 2 -2 1 -1 1 + 0 1 2 -1 -1 1 -2 1 1 -1 2 2 -2 -1 1 1 + 0 -1 -1 1 1 0 -1 1 1 0 1 1 0 -1 0 0 + 0 -1 -1 1 2 1 -1 1 2 1 1 2 1 -2 -1 -2 + 0 -1 -1 1 2 -1 -1 1 2 -1 1 2 -1 -2 1 2 + 0 0 0 0 0 0 -1 1 1 -1 1 1 -1 -1 1 1 + 2 0 0 0 0 0 -1 -1 0 0 -1 0 0 0 0 0 + 6 1 1 2 1 1 -1 -2 -1 -1 -2 -1 -1 -2 -2 -1 + 0 1 -1 1 1 -2 1 -1 -1 2 1 1 -2 -1 2 2 + 0 -1 1 1 -2 1 1 1 -2 1 -1 2 -1 2 -1 2 + 6 -1 -1 -2 -1 1 -1 -2 -1 1 -2 -1 1 -2 2 1 + 2 -1 -1 -1 0 1 -1 -1 0 1 -1 0 1 0 1 0 + 0 -1 1 1 -1 2 1 1 -1 2 -1 1 -2 1 -2 2 + 0 1 -1 1 2 -1 1 -1 -2 1 1 2 -1 -2 1 2 + 0 1 -1 1 -2 1 1 -1 2 -1 1 -2 1 2 -1 2 + 0 -1 1 1 1 -2 1 1 1 -2 -1 -1 2 -1 2 2 + 0 -1 1 1 2 -1 1 1 2 -1 -1 -2 1 -2 1 2 + 6 -1 -1 -2 1 -1 -1 -2 1 -1 -2 1 -1 2 -2 1 + 2 -1 -1 -1 1 0 -1 -1 1 0 -1 1 0 1 0 0 + 2 -2 -2 -2 2 2 -1 -1 1 1 -1 1 1 1 1 -1 + 0 -2 2 -2 2 2 1 -1 1 1 1 -1 -1 1 1 -1 + 0 -1 0 -1 1 1 0 -1 1 1 0 0 0 1 1 -1 + 2 -1 -1 -2 1 1 -1 -2 1 1 -2 1 1 2 2 -1 + 2 -1 0 -1 0 0 0 -1 0 0 0 0 0 0 0 0 + 12 -2 -2 -2 -2 -2 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 + 12 -1 -1 -2 -1 -1 -1 -2 -1 -1 -2 -1 -1 -2 -2 -1 + 6 -1 1 -2 -1 -1 1 -2 -1 -1 2 1 1 -2 -2 -1 + 6 -1 0 -1 -1 -1 0 -1 -1 -1 0 0 0 -1 -1 -1 + 6 -2 1 -1 -1 -1 2 -2 -2 -2 1 1 1 -1 -1 -1 + 0 1 -1 1 -1 2 1 -1 1 -2 1 -1 2 1 -2 2 + 0 2 -2 -2 2 2 1 1 -1 -1 -1 1 1 1 1 -1 + 0 0 -1 -1 1 1 0 0 0 0 -1 1 1 1 1 -1 + 2 0 -1 -1 0 0 0 0 0 0 -1 0 0 0 0 0 + 0 1 1 -1 -2 1 -1 1 2 -1 1 2 -1 -2 1 2 + 0 -2 -2 2 2 2 -1 1 1 1 1 1 1 -1 -1 -1 + 0 -1 -1 0 1 1 -1 0 1 1 0 1 1 0 0 -1 + 2 -1 -2 -1 1 1 -2 -1 1 1 -2 2 2 1 1 -1 + 0 1 1 -1 -1 2 -1 1 1 -2 1 1 -2 -1 2 2 + 6 1 2 1 1 1 -2 -1 -1 -1 -2 -2 -2 -1 -1 -1 + 6 2 -2 -2 -2 -2 1 1 1 1 -1 -1 -1 -1 -1 -1 + 6 2 1 1 1 1 -2 -2 -2 -2 -1 -1 -1 -1 -1 -1 + 6 -2 2 -2 -2 -2 1 -1 -1 -1 1 1 1 -1 -1 -1 + 6 -2 -2 2 -2 -2 -1 1 -1 -1 1 -1 -1 1 1 -1 + 2 -1 -1 0 0 0 -1 0 0 0 0 0 0 0 0 0 + 12 -1 -2 -1 -1 -1 -2 -1 -1 -1 -2 -2 -2 -1 -1 -1 + 6 -1 -2 1 -1 -1 -2 1 -1 -1 2 -2 -2 1 1 -1 + 6 -1 -1 0 -1 -1 -1 0 -1 -1 0 -1 -1 0 0 -1 + 6 -2 -1 1 -1 -1 -2 2 -2 -2 1 -1 -1 1 1 -1 + 6 -1 -2 -1 1 -1 -2 -1 1 -1 -2 2 -2 1 -1 1 + 6 -2 -2 -2 2 -2 -1 -1 1 -1 -1 1 -1 1 -1 1 + 6 -1 -1 -1 0 -1 -1 -1 0 -1 -1 0 -1 0 -1 0 + 6 -2 -1 -1 1 -1 -2 -2 2 -2 -1 1 -1 1 -1 1 + 12 -2 -1 -1 -1 -1 -2 -2 -2 -2 -1 -1 -1 -1 -1 -1 + 6 -1 -2 -1 -1 1 -2 -1 -1 1 -2 -2 2 -1 1 1 + 6 -2 -2 -2 -2 2 -1 -1 -1 1 -1 -1 1 -1 1 1 + 6 -1 -1 -1 -1 0 -1 -1 -1 0 -1 -1 0 -1 0 0 + 6 -2 -1 -1 -1 1 -2 -2 -2 2 -1 -1 1 -1 1 1 + 6 0 -1 -1 -1 -1 0 0 0 0 -1 -1 -1 -1 -1 -1 + 6 1 -2 -1 -1 -1 2 1 1 1 -2 -2 -2 -1 -1 -1 + 6 0 0 0 0 0 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 + 2 0 0 0 0 0 -1 0 0 -1 0 0 -1 0 0 0 + 6 1 1 1 1 2 -1 -1 -1 -2 -1 -1 -2 -1 -2 -2 +end |