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