Skip to content

Instantly share code, notes, and snippets.

@oyamad

oyamad/lrs_output.txt

Created December 1, 2016 11:52
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save oyamad/67c7b93988e87327ab44d7531eccf36a to your computer and use it in GitHub Desktop.
Save oyamad/67c7b93988e87327ab44d7531eccf36a to your computer and use it in GitHub Desktop.
Download ZIP
Output of lrs
Raw
lrs_output.txt
*lrs:lrslib v.6.1 2015.11.20(lrsgmp.h gmp v.6.1)
*Copyright (C) 1995,2015, David Avis avis@cs.mcgill.ca
*Input taken from file /Users/oyama/tmp/board.ine
V-representation
begin
***** 10 rational
1 3/4 3/4 3/4 3/4 3/4 3/4 3/4 3/4 3/4
1 1/2 1/2 1 1/2 1/2 1 1 1 1/2
1 1 1/2 1 0 1/2 1 0 1 1/2
1 0 1/2 1 0 1/2 1 0 1 1/2
1 1 1/2 1 0 1/2 1 1/2 1 1/2
1 0 1/2 1 1/2 1/2 1 1 1 1/2
1 0 1/2 1 0 1/2 1 1 1 1/2
1 0 1 1/2 0 1/2 1 1 1 1/2
1 1/2 1/2 1 0 1/2 1 1 1 1/2
1 0 1 1/2 1/2 1/2 1 1 1 1/2
1 1/2 1/2 1 0 1 1/2 1 1 1/2
1 0 1/2 1 0 1 1/2 1 1 1/2
1 0 1 1/2 0 1 1/2 1 1 1/2
1 0 1 1 0 1 0 1 1 0
1 0 1 0 0 1 0 1 1 0
1 1/2 1/2 1 0 1 0 1 1 1/2
1 1/2 0 1 1/2 1/2 1 1 1 1/2
1 1 0 1 0 1 1 0 1 0
1 0 0 1 0 1 1 0 1 0
1 1 0 1 0 1 1 1 0 0
1 1 0 1 0 1 1 0 0 0
1 0 0 1 0 1 1 0 0 0
1 0 0 1 0 1 1 1 0 0
1 1 0 1 0 0 1 1 1 0
1 1 0 0 0 0 1 1 1 0
1 0 0 0 0 0 1 1 1 0
1 0 0 1 0 0 1 1 1 0
1 1 0 1/2 1/2 0 1 1 1 1/2
1 0 0 1 1/2 1/2 1 1 1 1/2
1 0 1 0 1/2 1/2 1 1 1 1/2
1 0 0 1 0 1 1 1 1 0
1 0 1 0 0 1 1 1 1 0
1 1 0 0 0 1 1 1 1 0
1 0 0 0 0 1 1 1 1 0
1 1 0 0 1/2 1/2 1 1 1 1/2
1 0 0 0 1/2 1/2 1 1 1 1/2
1 0 0 1 1 0 1 1 1 0
1 0 1 0 1 0 1 1 1 0
1 1 0 0 1 0 1 1 1 0
1 0 0 0 1 0 1 1 1 0
1 1 0 1 0 1 1 1 1 0
1 1 0 1 0 1 0 1 1 0
1 1 0 0 0 1 0 1 1 0
1 0 0 0 0 1 0 1 1 0
1 0 0 1 0 1 0 1 1 0
1 1 0 1/2 1/2 1/2 1 1 1 1/2
1 1/2 1 1 1/2 0 1 1 1/2 1/2
1 1/2 1 1 1/2 0 1 1 0 1/2
1 1/2 0 1 1/2 0 1 1 0 1/2
1 1/2 0 1 1/2 0 1 1 1 1/2
1 0 1 1 1 0 1 1 0 0
1 0 0 1 1 0 1 1 0 0
1 1 1 1 0 0 1 0 1 0
1 0 1 1 0 0 1 0 1 0
1 1 0 1 0 0 1 0 1 0
1 0 0 1 0 0 1 0 1 0
1 0 1 0 0 0 1 0 1 0
1 1 0 0 0 0 1 0 1 0
1 0 0 0 0 0 1 0 1 0
1 1 1 0 0 0 1 0 1 0
1 0 1 1 1 0 1 0 1 0
1 0 0 1 1 0 1 0 1 0
1 0 1 1 1 0 1 0 0 0
1 0 0 1 1 0 1 0 0 0
1 0 1 1 0 0 1 1 1 0
1 0 1 0 0 0 1 1 1 0
1 1 1/2 1 0 0 1 1/2 1 1/2
1 1 1 1 0 0 1 1/2 1/2 1/2
1 1/2 1 1 0 0 1 1 1/2 1/2
1 1 1 1 0 0 1 1 0 0
1 1 0 1 0 0 1 1 0 0
1 1 1 1 0 0 1 0 0 0
1 0 1 1 0 0 1 0 0 0
1 1 0 1 0 0 1 0 0 0
1 0 0 1 0 0 1 0 0 0
1 1 1 0 0 0 1 0 0 0
1 0 1 0 0 0 1 0 0 0
1 1 0 0 0 0 1 0 0 0
1 0 0 0 0 0 1 0 0 0
1 0 1 1 0 0 1 1 0 0
1 0 0 1 0 0 1 1 0 0
1 0 1 0 0 0 1 1 0 0
1 1 0 0 0 0 1 1 0 0
1 0 0 0 0 0 1 1 0 0
1 1 1 0 0 0 1 1 0 0
1 1/2 1/2 1 0 0 1 1 1 1/2
1 1/2 1/2 1 1/2 0 1 1 1 1/2
1 0 1 1 1 0 1 1 1 0
1 0 1 1 1 0 0 1 1 0
1 0 1 1 0 0 0 1 1 0
1 0 1 0 1 0 0 1 1 0
1 0 1 0 0 0 0 1 1 0
1 1/2 1/2 1 1 0 1/2 1 1 1/2
1 1/2 0 1 1 0 1/2 1 1 1/2
1 1/2 1/2 1 1 0 0 1 1 1/2
1 1/2 1/2 1 0 0 0 1 1 1/2
1 1 0 1 1 0 0 1 1 0
1 1 0 1 0 0 0 1 1 0
1 1 0 0 1 0 0 1 1 0
1 0 0 0 1 0 0 1 1 0
1 0 0 1 1 0 0 1 1 0
1 1 0 0 0 0 0 1 1 0
1 0 0 0 0 0 0 1 1 0
1 0 0 1 0 0 0 1 1 0
1 1 0 1/2 1 0 1/2 1 1 1/2
1 1/2 1/2 1 1 1 1/2 1/2 1/2 1
1 0 1/2 1 1 1 1/2 1/2 1/2 1
1 0 1 1/2 1 1 1/2 1/2 1/2 1
1 1 1/2 1 0 1 1/2 0 1/2 1
1 0 1/2 1 0 1 1/2 0 1/2 1
1 1 1/2 1 1/2 1 1/2 0 1/2 1
1 0 1/2 1 1 1 1/2 0 1/2 1
1 1/2 1/2 1 1 1 1/2 0 1/2 1
1 0 1 1/2 1 1 1/2 0 1/2 1
1 1 1/2 1 1/2 1 1/2 0 0 1
1 1 1 1 1/2 1/2 1/2 0 0 1
1 1/2 1 1 1 1/2 1/2 0 0 1
1 1 1 1 1 0 0 0 0 1
1 1 1 1 0 0 0 0 0 1
1 0 1 1 1 0 0 0 0 1
1 0 1 1 0 0 0 0 0 1
1 1 0 1 1 0 0 0 0 1
1 1 0 1 0 0 0 0 0 1
1 1 1 0 1 0 0 0 0 1
1 0 0 1 1 0 0 0 0 1
1 0 1 0 1 0 0 0 0 1
1 1 0 0 1 0 0 0 0 1
1 0 0 0 1 0 0 0 0 1
1 0 0 1 0 0 0 0 0 1
1 1 1 0 0 0 0 0 0 1
1 0 1 0 0 0 0 0 0 1
1 1 0 0 0 0 0 0 0 1
1 0 0 0 0 0 0 0 0 1
1 1/2 1/2 1 1 1 1/2 0 0 1
1 1/2 0 1 1 1 1/2 1/2 1/2 1
1 0 0 1 1 1 1/2 1/2 1/2 1
1 0 1 0 1 1 1/2 1/2 1/2 1
1 1 0 0 1 1 1/2 1/2 1/2 1
1 0 0 0 1 1 1/2 1/2 1/2 1
1 1 0 1/2 1 1 1/2 1/2 1/2 1
1 1/2 0 1 1 1 1/2 1/2 0 1
1 1/2 1/2 1 1 1 1/2 1/2 0 1
1 1 0 1/2 1 1 1/2 1/2 0 1
1 1/2 1 1 1 0 1/2 1/2 0 1
1 1/2 0 1 1 0 1/2 1/2 0 1
1 1/2 1 1 1 1/2 1/2 1/2 0 1
1 1 1 1/2 1/2 1/2 1 1/2 1/2 1
1 1/2 1/2 1 1/2 1/2 1 1/2 1/2 1
1 1 1/2 1 0 1/2 1 0 1/2 1
1 0 1/2 1 0 1/2 1 0 1/2 1
1 1/2 1 1 1/2 0 1 1/2 0 1
1 1 1 1 0 0 1 0 0 1
1 0 1 1 0 0 1 0 0 1
1 0 0 1 0 0 1 0 0 1
1 1 1 0 0 0 1 0 0 1
1 0 1 0 0 0 1 0 0 1
1 1 0 0 0 0 1 0 0 1
1 0 0 0 0 0 1 0 0 1
1 1 0 1 0 0 1 0 0 1
1 1/2 0 1 1/2 0 1 1/2 0 1
1 1 1 1/2 0 1/2 1 1/2 1/2 1
1 1 1 1/2 0 0 1 1/2 1/2 1
1 1 1 1/2 1/2 0 1 1/2 1/2 1
1 1/2 1 1/2 1 1/2 1 0 1/2 1
1 0 1/2 1 1 1/2 1 0 1/2 1
1 0 1 1 1 0 1 0 0 1
1 0 0 1 1 0 1 0 0 1
1 0 1 1/2 1 1/2 1 0 1/2 1
1 1/2 1 1/2 1 1/2 1 0 0 1
1 1 1 1/2 0 1/2 1 0 1/2 1
1 0 1 1/2 0 1/2 1 0 1/2 1
1 1 1 1/2 1/2 1/2 1 0 1/2 1
1 1 1/2 1/2 1/2 1 1 1/2 0 1
1 1/2 0 1 1/2 1 1 1/2 0 1
1 1 0 1 0 1 1 0 0 1
1 0 0 1 0 1 1 0 0 1
1 1/2 1/2 1/2 1 1 1 0 0 1
1 0 0 1 1 1 1 0 0 1
1 0 1 0 1 1 1 0 0 1
1 1 0 0 1 1 1 0 0 1
1 0 0 0 1 1 1 0 0 1
1 1 1/2 1/2 1/2 1 1 0 0 1
1 1 0 1/2 1/2 1 1 1/2 0 1
1 1 1 1/2 1/2 1/2 1 1/2 0 1
1 1 1 1/2 1/2 1/2 1 0 0 1
1 1 1 1/2 1/2 0 1 1/2 0 1
1 1 0 1/2 1/2 0 1 1/2 0 1
1 1/2 1 1/2 1/2 1 1/2 1 1/2 1
1 0 1/2 1 1/2 1 1/2 1 1/2 1
1 1/2 1 1/2 0 1/2 1 1 1/2 1
1 0 1/2 1 0 1/2 1 1 1/2 1
1 0 1 1 0 0 1 1 0 1
1 0 0 1 0 0 1 1 0 1
1 0 1 1/2 0 1/2 1 1 1/2 1
1 1/2 1 1/2 0 0 1 1 1/2 1
1 0 1 1/2 1/2 1 1/2 1 1/2 1
1 0 1/2 1 0 1 1/2 1 1/2 1
1 1/2 1 1/2 0 1 1/2 1 1/2 1
1 0 1 1/2 0 1 1/2 1 1/2 1
1 1 1 1/2 0 1 1/2 1/2 1/2 1
1 1 1 1/2 0 1 1/2 0 1/2 1
1 0 1 1/2 0 1 1/2 0 1/2 1
1 0 0 1 1/2 1 1/2 1 1/2 1
1 0 1 0 1/2 1 1/2 1 1/2 1
1 1 0 0 1/2 1 1/2 1 1/2 1
1 0 0 0 1/2 1 1/2 1 1/2 1
1 0 0 1 1 1 0 1 0 1
1 0 1 0 1 1 0 1 0 1
1 1 0 0 1 1 0 1 0 1
1 0 0 0 1 1 0 1 0 1
1 1 1 0 0 1 1 1 0 1
1 0 0 1 0 1 1 1 0 1
1 0 1 0 0 1 1 1 0 1
1 1 0 0 0 1 1 1 0 1
1 0 0 0 0 1 1 1 0 1
1 1 1 0 0 1 1 0 0 1
1 0 1 0 0 1 1 0 0 1
1 1 0 0 0 1 1 0 0 1
1 0 0 0 0 1 1 0 0 1
1 1 1 0 0 1 1 1 0 0
1 1 1 0 0 1 1 0 0 0
1 0 1 0 0 1 1 0 0 0
1 1 0 0 0 1 1 0 0 0
1 0 0 0 0 1 1 0 0 0
1 0 1 0 0 1 1 1 0 0
1 1 0 0 0 1 1 1 0 0
1 0 0 0 0 1 1 1 0 0
1 1 1 0 0 1 0 1 0 1
1 1 0 0 0 1 0 1 0 1
1 0 1 0 0 1 0 1 0 1
1 0 0 0 0 1 0 1 0 1
1 1 1 0 0 0 1 1 0 1
1 1 0 0 0 0 1 1 0 1
1 0 1 0 0 0 1 1 0 1
1 0 0 0 0 0 1 1 0 1
1 1/2 1 0 1/2 1 1/2 1 1/2 1
1 1 1/2 0 1/2 1 0 1 1/2 1
1 1 1/2 0 1/2 1 1/2 1 1/2 1
1 0 1 1 1 1 0 1 0 1
1 0 1 1 1 0 0 1 0 1
1 0 0 1 1 0 0 1 0 1
1 1/2 1 1 1/2 1 0 1 1/2 1/2
1 1 1 1 0 1 0 1/2 1/2 1/2
1 1/2 1 1 0 1 0 1 1/2 1/2
1 1 1 1 0 1 0 1 0 0
1 1 0 1 0 1 0 1 0 0
1 1 1 1 0 1 0 0 0 0
1 0 1 1 0 1 0 0 0 0
1 1 1 0 0 1 0 0 0 0
1 1 0 1 0 1 0 0 0 0
1 0 0 1 0 1 0 0 0 0
1 0 1 0 0 1 0 0 0 0
1 1 0 0 0 1 0 0 0 0
1 0 0 0 0 1 0 0 0 0
1 0 1 1 0 1 0 1 0 0
1 0 0 1 0 1 0 1 0 0
1 0 1 0 0 1 0 1 0 0
1 1 0 0 0 1 0 1 0 0
1 0 0 0 0 1 0 1 0 0
1 1 1 0 0 1 0 1 0 0
1 1/2 1 1 1/2 1 0 1 1/2 0
1 1/2 1 0 1/2 1 0 1 1/2 0
1 0 1 1 1 1 0 1 0 0
1 0 1 1 1 1 0 0 0 0
1 0 1 0 1 1 0 0 0 0
1 0 1 0 1 1 0 1 0 0
1 1 1 1 0 1 0 0 0 1
1 0 1 1 0 1 0 0 0 1
1 1 1 0 0 1 0 0 0 1
1 0 0 1 0 1 0 0 0 1
1 0 1 0 0 1 0 0 0 1
1 1 0 0 0 1 0 0 0 1
1 0 0 0 0 1 0 0 0 1
1 1 0 1 0 1 0 0 0 1
1 0 1 1 0 1 0 1 0 1
1 0 0 1 0 1 0 1 0 1
1 0 1 1 0 0 0 1 0 1
1 0 0 1 0 0 0 1 0 1
1 0 1 1 1 1 0 0 0 1
1 0 1 0 1 1 0 0 0 1
1 1 1 1/2 0 1 0 1/2 1/2 1
1 1/2 1 1/2 0 1 0 1 1/2 1
1 1/2 1 0 1/2 1 0 1 1/2 1
1 1/2 1 1/2 1/2 1 0 1 1/2 1
1 1/2 1 1/2 1 1/2 0 1 1/2 1
1 1/2 1 1/2 1 0 0 1 1/2 1
1 1/2 1 1/2 0 0 0 1 1/2 1
1 1 1 0 1 0 0 1 0 1
1 1 0 0 1 0 0 1 0 1
1 0 1 0 1 0 0 1 0 1
1 0 0 0 1 0 0 1 0 1
1 1 0 0 0 0 0 1 0 1
1 0 1 0 0 0 0 1 0 1
1 0 0 0 0 0 0 1 0 1
1 1 1 0 0 0 0 1 0 1
1 1/2 1 0 1 1/2 0 1 1/2 1
1 1 1/2 0 1 1/2 0 1 1/2 1
1 1/2 1 1/2 1 1/2 1 1/2 1 1/2
1 0 1/2 1 1 1/2 1 1/2 1 1/2
1 0 1 1/2 1 1/2 1 1/2 1 1/2
1 0 1/2 1 1 1/2 1 0 1 1/2
1 0 1 1/2 1 1/2 1 0 1 1/2
1 1/2 1 1/2 1 1/2 1 0 1 1/2
1 1 1 1/2 0 1/2 1 0 1 1/2
1 0 1 1/2 0 1/2 1 0 1 1/2
1 1 1 1/2 1/2 1/2 1 0 1 1/2
1 1 1 1/2 1/2 1/2 1 0 1 0
1 1/2 1 1/2 1 1/2 1 0 1 0
1 0 0 1 1 1/2 1 1/2 1 1/2
1 0 1 0 1 1/2 1 1/2 1 1/2
1 1 0 0 1 1/2 1 1/2 1 1/2
1 0 0 0 1 1/2 1 1/2 1 1/2
1 1/2 1 0 1 1/2 1 1/2 1 1/2
1 1 1/2 1/2 1/2 1 1 1/2 1 0
1 1/2 1/2 1/2 1 1 1 0 1 0
1 0 0 1 1 1 1 0 1 0
1 0 1 0 1 1 1 0 1 0
1 1 0 0 1 1 1 0 1 0
1 0 0 0 1 1 1 0 1 0
1 1 1/2 1/2 1/2 1 1 0 1 0
1 1/2 1 0 1/2 1 1 1/2 1 0
1 1 1 0 0 1 1 0 1 0
1 0 1 0 0 1 1 0 1 0
1 1 0 0 0 1 1 0 1 0
1 0 0 0 0 1 1 0 1 0
1 1 1/2 0 1/2 1 1 1/2 1 0
1 1 1/2 0 1 1/2 1 1/2 1 1/2
1 1/2 1 0 1 1/2 1 1/2 1 0
1 1/2 1 1/2 1 1/2 1 1/2 1 0
1 1 1/2 0 1 1/2 1 1/2 1 0
1 1/2 1 1 1 1/2 1/2 1/2 1 0
1 1 1 1 1/2 1/2 1/2 0 1 0
1 1/2 1 1 1 1/2 1/2 0 1 0
1 1 1 1 1 0 0 0 1 0
1 0 1 1 1 0 0 0 1 0
1 0 1 1 0 0 0 0 1 0
1 1 1 1 0 0 0 0 1 0
1 1 0 1 1 0 0 0 1 0
1 0 0 1 1 0 0 0 1 0
1 0 1 0 1 0 0 0 1 0
1 1 0 0 1 0 0 0 1 0
1 0 0 0 1 0 0 0 1 0
1 1 0 1 0 0 0 0 1 0
1 0 0 1 0 0 0 0 1 0
1 0 1 0 0 0 0 0 1 0
1 1 0 0 0 0 0 0 1 0
1 0 0 0 0 0 0 0 1 0
1 1 1 0 1 0 0 0 1 0
1 1 1 0 0 0 0 0 1 0
1 1/2 1 1 1 1/2 0 1/2 1 0
1 1/2 1 0 1 1/2 0 1/2 1 0
1 1 1/2 1 1/2 1 1/2 1/2 1 1/2
1 1 1/2 1 0 1 1/2 0 1 1/2
1 0 1/2 1 0 1 1/2 0 1 1/2
1 1 1/2 1 1/2 1 1/2 0 1 1/2
1 1/2 1/2 1 1 1 1/2 0 1 1/2
1 0 1/2 1 1 1 1/2 0 1 1/2
1 0 1 1/2 1 1 1/2 0 1 1/2
1 0 1 1 1 1 0 0 1 0
1 0 1 0 1 1 0 0 1 0
1 1/2 1/2 1 1 1 1/2 0 1 0
1 1 1/2 1 0 1 1/2 1/2 1 1/2
1 1/2 1 1/2 1/2 1 1/2 1/2 1 1/2
1 1 1 1/2 0 1 1/2 0 1 1/2
1 0 1 1/2 0 1 1/2 0 1 1/2
1 1 1/2 1 0 1 0 1/2 1 1/2
1 1/2 1 1 1/2 1 0 1/2 1 0
1 1 1 1 0 1 0 0 1 0
1 0 1 1 0 1 0 0 1 0
1 1 0 1 0 1 0 0 1 0
1 0 0 1 0 1 0 0 1 0
1 0 1 0 0 1 0 0 1 0
1 1 0 0 0 1 0 0 1 0
1 0 0 0 0 1 0 0 1 0
1 1 1 0 0 1 0 0 1 0
1 1/2 1 0 1/2 1 0 1/2 1 0
1 1 1/2 1 1/2 1 0 1/2 1 1/2
1 1 1/2 1 1/2 1 1/2 0 1 0
1 1 1/2 1 1/2 1 1/2 1/2 1 0
1 1 1/2 1 1/2 1 0 1/2 1 0
1 1 1/2 0 1/2 1 0 1/2 1 0
1 1 1/2 1/2 1 1/2 1/2 1/2 1 1
1 1/2 0 1 1 1/2 1/2 1/2 1 1
1 1 1/2 1/2 1/2 0 1 1/2 1 1
1 1/2 0 1 1/2 0 1 1/2 1 1
1 1 0 1 0 0 1 0 1 1
1 0 0 1 0 0 1 0 1 1
1 1 1/2 1/2 0 0 1 1/2 1 1
1 1 0 1/2 1/2 0 1 1/2 1 1
1 1/2 1/2 1/2 1/2 1/2 1/2 1 1 1
1 0 0 1 1/2 1/2 1/2 1 1 1
1 1/2 1/2 1/2 0 0 1 1 1 1
1 0 0 1 0 0 1 1 1 1
1 0 1 0 0 0 1 1 1 1
1 1 0 0 0 0 1 1 1 1
1 0 0 0 0 0 1 1 1 1
1 0 1 0 1/2 1/2 1/2 1 1 1
1 1/2 1/2 1/2 0 1 0 1 1 1
1 0 0 1 0 1 0 1 1 1
1 0 1 0 0 1 0 1 1 1
1 1 0 0 0 1 0 1 1 1
1 0 0 0 0 1 0 1 1 1
1 1 0 0 1/2 1/2 1/2 1 1 1
1 0 0 0 1/2 1/2 1/2 1 1 1
1 1/2 1/2 1/2 1 0 0 1 1 1
1 0 0 1 1 0 0 1 1 1
1 0 0 1 0 0 0 1 1 1
1 0 1 0 1 0 0 1 1 1
1 0 1 0 0 0 0 1 1 1
1 1/2 1/2 1/2 0 0 0 1 1 1
1 1 0 0 1 0 0 1 1 1
1 0 0 0 1 0 0 1 1 1
1 1 0 0 0 0 0 1 1 1
1 0 0 0 0 0 0 1 1 1
1 1 0 1/2 1 1/2 1/2 1/2 1 1
1 1/2 0 1 1 0 1/2 1/2 1 1
1 1 1/2 1/2 1 0 1/2 1/2 1 1
1 1 0 1/2 1 0 1/2 1/2 1 1
1 0 0 1 1 1/2 1/2 1/2 1 1
1 0 1 0 1 1/2 1/2 1/2 1 1
1 1 0 0 1 1/2 1/2 1/2 1 1
1 0 0 0 1 1/2 1/2 1/2 1 1
1 1 1 0 1 0 1 0 1 1
1 0 0 1 1 0 1 0 1 1
1 0 1 0 1 0 1 0 1 1
1 1 0 0 1 0 1 0 1 1
1 0 0 0 1 0 1 0 1 1
1 1 1 0 0 0 1 0 1 1
1 0 1 0 0 0 1 0 1 1
1 1 0 0 0 0 1 0 1 1
1 0 0 0 0 0 1 0 1 1
1 1 1 0 1 0 1 0 0 1
1 1 0 0 1 0 1 0 0 1
1 0 1 0 1 0 1 0 0 1
1 0 0 0 1 0 1 0 0 1
1 0 1 0 1 0 0 0 1 1
1 0 1 0 0 0 0 0 1 1
1 1 0 0 0 0 0 0 1 1
1 0 0 0 0 0 0 0 1 1
1 1 0 0 1 0 0 0 1 1
1 0 0 0 1 0 0 0 1 1
1 1 1 0 1 0 0 0 1 1
1 1 1 0 0 0 0 0 1 1
1 1 1 0 1 0 1 0 1 0
1 1 0 0 1 0 1 0 1 0
1 0 1 0 1 0 1 0 1 0
1 0 0 0 1 0 1 0 1 0
1 1/2 1 0 1 1/2 1/2 1/2 1 1
1 1 1/2 0 1 1/2 1/2 1/2 1 1
1 1/2 1 0 1 1/2 0 1/2 1 1
1 1 0 1 1 1 0 0 1 1
1 1 0 1 0 1 0 0 1 1
1 0 0 1 0 1 0 0 1 1
1 0 0 1 1 1 0 0 1 1
1 0 1 0 1 1 0 0 1 1
1 1 0 0 1 1 0 0 1 1
1 0 0 0 1 1 0 0 1 1
1 1 0 1 1 1 0 0 1 0
1 1 0 0 1 1 0 0 1 0
1 0 0 0 1 1 0 0 1 0
1 0 0 1 1 1 0 0 1 0
1 1 0 1 1 0 0 0 1 1
1 1 0 1 0 0 0 0 1 1
1 0 0 1 1 0 0 0 1 1
1 0 0 1 0 0 0 0 1 1
1 1 0 1 1 1 0 0 0 1
1 1 0 0 1 1 0 0 0 1
1 0 0 0 1 1 0 0 0 1
1 0 0 1 1 1 0 0 0 1
1 1 1/2 1/2 1/2 1 0 1/2 1 1
1 1 1/2 1/2 0 1 0 1/2 1 1
1 1/2 1 0 1/2 1 0 1/2 1 1
1 1 1 0 0 1 0 0 1 1
1 0 1 0 0 1 0 0 1 1
1 1 0 0 0 1 0 0 1 1
1 0 0 0 0 1 0 0 1 1
1 1 1/2 0 1/2 1 0 1/2 1 1
1 1 1/2 1 1 1/2 0 1/2 1 1/2
1 1 1/2 1 1 0 0 1/2 1 1/2
1 1 1/2 1 0 0 0 1/2 1 1/2
1 1 1/2 1 1 1/2 0 1/2 1 0
1 1 1/2 0 1 1/2 0 1/2 1 0
1 1 1/2 1/2 1 0 0 1/2 1 1
1 1 1/2 1/2 0 0 0 1/2 1 1
1 1 1/2 1/2 1 1/2 0 1/2 1 1
1 1 1/2 0 1 1/2 0 1/2 1 1
1 1 1 1/2 1 0 1/2 1/2 1/2 1
1 1 1 1/2 1 0 0 1/2 1/2 1
1 1 1 1/2 0 0 0 1/2 1/2 1
1 1 1 1/2 1 0 1/2 1/2 0 1
1 1 0 1/2 1 0 1/2 1/2 0 1
1 1 1/2 1/2 1/2 1 1 1 1/2 1/2
1 1/2 0 1 1/2 1 1 1 1/2 1/2
1 1 0 1/2 1/2 1 1 1 1/2 1/2
1 1/2 1/2 1 1 1 1/2 1 0 1/2
1 1/2 0 1 1 1 1/2 1 0 1/2
1 1/2 1/2 1 1 1 1/2 1 0 0
1 1/2 1/2 1 1 1 1/2 0 0 0
1 1 0 1 1 1 0 1 0 0
1 1 0 1 1 1 0 0 0 0
1 1 0 0 1 1 0 0 0 0
1 0 0 0 1 1 0 0 0 0
1 0 0 1 1 1 0 0 0 0
1 1 0 0 1 1 0 1 0 0
1 0 0 0 1 1 0 1 0 0
1 0 0 1 1 1 0 1 0 0
1 1 0 1/2 1 1 1/2 1 0 1/2
1 1/2 0 1 1/2 1 1 1 0 1/2
1 1 0 1/2 1/2 1 1 1 0 1/2
1 1 1/2 1/2 1/2 1 1 1 0 1/2
1 1 1/2 1/2 1/2 1 1 1 0 0
1 1 1/2 1/2 1/2 1 1 0 0 0
1 1 1 1/2 1/2 1/2 1 1 0 1/2
1 1 1 1/2 1/2 1/2 1 1 0 0
1 1 1 1/2 1/2 1/2 1 0 0 0
1 1 1 1/2 1/2 0 1 1 0 1/2
1 1 0 1/2 1/2 0 1 1 0 1/2
1 1/2 1/2 1/2 1 1 1 1/2 1/2 1/2
1 0 0 1 1 1 1 1/2 1/2 1/2
1 0 1 0 1 1 1 1/2 1/2 1/2
1 1 0 0 1 1 1 1/2 1/2 1/2
1 0 0 0 1 1 1 1/2 1/2 1/2
1 0 0 1 1/2 1 1 1 1/2 1/2
1 0 1 0 1/2 1 1 1 1/2 1/2
1 1 0 0 1/2 1 1 1 1/2 1/2
1 0 0 0 1/2 1 1 1 1/2 1/2
1 1/2 1/2 1/2 1 1 1 1 0 0
1 0 0 1 1 1 1 1 0 0
1 0 0 1 1 1 1 0 0 0
1 0 1 0 1 1 1 1 0 0
1 0 1 0 1 1 1 0 0 0
1 1/2 1/2 1/2 1 1 1 0 0 0
1 1 0 0 1 1 1 1 0 0
1 0 0 0 1 1 1 1 0 0
1 1 0 0 1 1 1 0 0 0
1 0 0 0 1 1 1 0 0 0
1 1/2 1 0 1/2 1 1 1 1/2 1/2
1 1/2 1 0 1/2 1 1 1 1/2 0
1 1 1/2 0 1/2 1 1 1 1/2 0
1 1 1/2 1/2 1/2 1 1 1 1/2 0
1 1 1/2 0 1/2 1 1 1 1/2 1/2
1 1/2 1 1/2 1 1/2 1 1 1/2 0
1 1/2 1 1/2 1 1/2 1 1 0 0
1 1/2 1 1/2 1 1/2 1 0 0 0
1 1 1 0 1 0 1 1 0 0
1 1 0 0 1 0 1 1 0 0
1 0 1 0 1 0 1 1 0 0
1 0 0 0 1 0 1 1 0 0
1 1 1 0 1 0 1 0 0 0
1 1 0 0 1 0 1 0 0 0
1 0 1 0 1 0 1 0 0 0
1 0 0 0 1 0 1 0 0 0
1 1/2 1 0 1 1/2 1 1 1/2 0
1 1 1/2 0 1 1/2 1 1 1/2 0
1 1 1/2 1 1/2 1 1/2 1 1/2 0
1 1 1/2 1 1/2 1 1/2 1 0 0
1 1 1/2 1 1/2 1 1/2 0 0 0
1 1 1/2 1 1/2 1 0 1 1/2 0
1 1 1/2 0 1/2 1 0 1 1/2 0
1 1/2 1 1 1 1/2 1/2 1 1/2 1/2
1 1/2 1 1 1 0 1/2 1 0 1/2
1 1/2 0 1 1 0 1/2 1 0 1/2
1 1/2 1 1 1 1/2 1/2 1 0 1/2
1 1/2 1 1 1 1/2 1/2 1 0 0
1 1/2 1 1 1 1/2 1/2 0 0 0
1 1/2 1 1 1 1/2 0 1 1/2 0
1 1/2 1 0 1 1/2 0 1 1/2 0
1 1/2 1 1 1 1/2 1/2 1 1/2 0
1 1 1 1 1/2 1/2 1/2 1/2 1/2 1/2
1 1 1 1 1/2 1/2 1/2 1 0 0
1 1 1 1 1/2 1/2 1/2 0 0 0
1 1/2 1 1 1 0 1/2 1 1/2 1/2
1 1 1 1/2 1 0 1/2 1 0 1/2
1 1 0 1/2 1 0 1/2 1 0 1/2
1 1 1 1 1 0 0 1/2 1/2 1/2
1 1 1 1 0 0 0 1/2 1/2 1/2
1 1/2 1 1 1 0 0 1 1/2 1/2
1 1/2 1 1 0 0 0 1 1/2 1/2
1 1 1 1 1 0 0 1 0 0
1 1 0 1 1 0 0 1 0 0
1 1 0 1 0 0 0 1 0 0
1 1 1 1 0 0 0 1 0 0
1 1 1 1 1 0 0 0 0 0
1 1 0 1 1 0 0 0 0 0
1 1 1 0 1 0 0 0 0 0
1 0 1 1 1 0 0 0 0 0
1 0 0 1 1 0 0 0 0 0
1 0 1 0 1 0 0 0 0 0
1 1 0 0 1 0 0 0 0 0
1 0 0 0 1 0 0 0 0 0
1 1 1 1 0 0 0 0 0 0
1 0 1 1 0 0 0 0 0 0
1 1 0 1 0 0 0 0 0 0
1 0 0 1 0 0 0 0 0 0
1 1 1 0 0 0 0 0 0 0
1 0 1 0 0 0 0 0 0 0
1 1 0 0 0 0 0 0 0 0
1 0 0 0 0 0 0 0 0 0
1 0 1 1 1 0 0 1 0 0
1 0 0 1 1 0 0 1 0 0
1 0 1 0 1 0 0 1 0 0
1 1 0 0 1 0 0 1 0 0
1 0 0 0 1 0 0 1 0 0
1 0 1 1 0 0 0 1 0 0
1 0 0 1 0 0 0 1 0 0
1 0 1 0 0 0 0 1 0 0
1 1 0 0 0 0 0 1 0 0
1 0 0 0 0 0 0 1 0 0
1 1 1 0 1 0 0 1 0 0
1 1 1 0 0 0 0 1 0 0
1 1/2 1 1 1 1/2 0 1 1/2 1/2
1 1 1/2 1 1 1/2 0 1 1/2 0
1 1 1/2 0 1 1/2 0 1 1/2 0
1 1 1/2 1/2 1 1/2 1/2 1 1/2 1/2
end
*Totals: vertices=614 rays=0 bases=2768 integer_vertices=334
*Dictionary Cache: max size= 15 misses= 0/2767 Tree Depth= 14
*lrs:lrslib v.6.1 2015.11.20(32bit,lrsgmp.h)
*0.060u 0.006s 872448Kb 38 flts 0 swaps 0 blks-in 0 blks-out
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment