Download this file

9 lines (8 with data), 77 Bytes

*infeasible system
begin
4 4 integer
-1 -1 -1 -1
0 1 0 0
0 0 1 0
0 0 0 1
end