minor extra merge
[barvinok.git] / tests / kristof4
blob8a94b3ed5767d4ed6915d14ddc29b5cdb51fef8a
1 D 1
2 3 4
3    0   0   2 -509
4    1   2   0  -3
5    1  -2   0 507
7 F 0