maxtime(18).
time(0). time(1). ... time(18).
entry(0). entry(1). ... entry(15).
pos(1). pos(2). pos(3). pos(4).
in0(1,1,1).  in0(1,2,5).  in0(1,3,2).  in0(1,4,3).
in0(2,1,6).  in0(2,2,8).  in0(2,3,10). in0(2,4,7).
in0(3,1,0).  in0(3,2,12). in0(3,3,13). in0(3,4,11).
in0(4,1,14). in0(4,2,4).  in0(4,3,9).  in0(4,4,15).