DIM = 5



CONE_SECTION
( 1) 1 1 1 1 1 
( 2) 0 1 1 0 1 
( 3) 0 0 1 1 1 
( 4) 0 0 0 1 1 
( 5) 0 0 0 0 1 
( 6) 0 1 1 1 1 

COMMENT

This is an input file for PORTA.  (PORTA reads only the part before 
"COMMENT".)  Above are the sparse f-vectors of some half-Eulerian limit 
posets.  When the PORTA command "traf -v" is run on this file, it 
produces the output below: the list of inequalities and the strong 
validity table.

_________________________________________________________________________

DIM = 5

VALID
0 0 0 0 0 

INEQUALITIES_SECTION
(  1) -x1             <= 0    
(  2)          +x4-x5 <= 0    
(  3)       +x3   -x5 <= 0    
(  4)    +x2-x3       <= 0    
(  5) +x1-x2          <= 0    
(  6) +x1-x2+x3-x4    <= 0    

strong validity table : 
\ P      |         |
 \ O     |         |
I \ I    |         |
 N \ N   | 1     6 | #
  E \ T  |         |
   Q \ S |         |
    S \  |         |
       \ |         |
-----------------------
1        | .**** * :  5
2        | *.**. * :  4
3        | ***.. * :  4
4        | **.** * :  5
5        | *.*** . :  4
6        | ***.* . :  4
          .............
#        | 54544 4

END