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