GNU Prolog 1.2.16 By Daniel Diaz Copyright (C) 1999-2002 Daniel Diaz compiling /home/pky/karttu/ndirty.cute.fi/karttu/matikka/Nekomorphisms/Prolog/n2s.txt for byte code... /home/pky/karttu/ndirty.cute.fi/karttu/matikka/Nekomorphisms/Prolog/n2s.txt:85--87 warning: singleton variables [B] for checkBetween/3 /home/pky/karttu/ndirty.cute.fi/karttu/matikka/Nekomorphisms/Prolog/n2s.txt:108--111 warning: singleton variables [Y] for checkUptoNold/2 /home/pky/karttu/ndirty.cute.fi/karttu/matikka/Nekomorphisms/Prolog/n2s.txt compiled, 13993 lines read - 3725444 bytes written, 3585 ms (660 ms) yes compiling /home/pky/karttu/ndirty.cute.fi/karttu/matikka/Nekomorphisms/Prolog/upto14c.txt for byte code... /home/pky/karttu/ndirty.cute.fi/karttu/matikka/Nekomorphisms/Prolog/upto14c.txt compiled, 26179 lines read - 1555296 bytes written, 1631 ms (380 ms) yes G = c0 ? G = c4_2_1_t__0_1_0__0_0_1 ? G = c4_2_1_t__0_1_1__0_0_1 G = c4_2_1_t__0_1_2__0_0_1 G = c4_2_1_t__0_1_3__0_0_1 G = c4_2_1_t__0_1_4__0_0_1 G = c4_2_1_t__0_1_5__0_0_1 G = c4_2_1_t__1_0_0__0_0_1 G = c4_2_1_t__1_0_1__0_0_1 G = c4_2_1_t__1_0_2__0_0_1 G = c4_2_1_t__1_0_3__0_0_1 G = c4_2_1_t__1_0_4__0_0_1 G = c4_2_1_t__1_0_5__0_0_1 G = c8_3_1_t__0_3_0__0_0_1 G = c8_3_1_t__0_3_1__0_0_1 G = c8_3_1_t__0_3_2__0_0_1 G = c8_3_1_t__0_3_3__0_0_1 G = c8_3_1_t__0_3_4__0_0_1 G = c8_3_1_t__0_3_5__0_0_1 G = c8_3_1_t__0_3_6__0_0_1 G = c8_3_1_t__0_3_7__0_0_1 G = c8_3_1_t__0_3_8__0_0_1 G = c8_3_1_t__0_3_9__0_0_1 G = c8_3_1_t__0_3_10__0_0_1 G = c8_3_1_t__0_3_11__0_0_1 G = c8_3_1_t__0_3_12__0_0_1 G = c8_3_1_t__0_3_13__0_0_1 G = c8_3_1_t__0_3_14__0_0_1 G = c8_3_1_t__0_3_15__0_0_1 G = c8_3_1_t__0_3_16__0_0_1 G = c8_3_1_t__0_3_17__0_0_1 G = c8_3_1_t__0_3_18__0_0_1 G = c8_3_1_t__0_3_19__0_0_1 G = c8_3_1_t__0_3_20__0_0_1 G = c8_3_1_t__0_3_21__0_0_1 G = c8_3_1_t__0_3_22__0_0_1 G = c8_3_1_t__0_3_23__0_0_1 G = c8_3_1_t__1_4_0__0_0_1 G = c8_3_1_t__1_4_1__0_0_1 G = c8_3_1_t__1_4_2__0_0_1 G = c8_3_1_t__1_4_3__0_0_1 G = c8_3_1_t__1_4_4__0_0_1 G = c8_3_1_t__1_4_5__0_0_1 G = c8_3_1_t__1_4_6__0_0_1 G = c8_3_1_t__1_4_7__0_0_1 G = c8_3_1_t__1_4_8__0_0_1 G = c8_3_1_t__1_4_9__0_0_1 G = c8_3_1_t__1_4_10__0_0_1 G = c8_3_1_t__1_4_11__0_0_1 G = c8_3_1_t__1_4_12__0_0_1 G = c8_3_1_t__1_4_13__0_0_1 G = c8_3_1_t__1_4_14__0_0_1 G = c8_3_1_t__1_4_15__0_0_1 G = c8_3_1_t__1_4_16__0_0_1 G = c8_3_1_t__1_4_17__0_0_1 G = c8_3_1_t__1_4_18__0_0_1 G = c8_3_1_t__1_4_19__0_0_1 G = c8_3_1_t__1_4_20__0_0_1 G = c8_3_1_t__1_4_21__0_0_1 G = c8_3_1_t__1_4_22__0_0_1 G = c8_3_1_t__1_4_23__0_0_1 G = c8_3_1_t__2_2_0__0_0_1 G = c8_3_1_t__2_2_1__0_0_1 G = c8_3_1_t__2_2_2__0_0_1 G = c8_3_1_t__2_2_3__0_0_1 G = c8_3_1_t__2_2_4__0_0_1 G = c8_3_1_t__2_2_5__0_0_1 G = c8_3_1_t__2_2_6__0_0_1 G = c8_3_1_t__2_2_7__0_0_1 G = c8_3_1_t__2_2_8__0_0_1 G = c8_3_1_t__2_2_9__0_0_1 G = c8_3_1_t__2_2_10__0_0_1 G = c8_3_1_t__2_2_11__0_0_1 G = c8_3_1_t__2_2_12__0_0_1 G = c8_3_1_t__2_2_13__0_0_1 G = c8_3_1_t__2_2_14__0_0_1 G = c8_3_1_t__2_2_15__0_0_1 G = c8_3_1_t__2_2_16__0_0_1 G = c8_3_1_t__2_2_17__0_0_1 G = c8_3_1_t__2_2_18__0_0_1 G = c8_3_1_t__2_2_19__0_0_1 G = c8_3_1_t__2_2_20__0_0_1 G = c8_3_1_t__2_2_21__0_0_1 G = c8_3_1_t__2_2_22__0_0_1 G = c8_3_1_t__2_2_23__0_0_1 G = c8_3_1_t__3_0_0__0_0_1 G = c8_3_1_t__3_0_1__0_0_1 G = c8_3_1_t__3_0_2__0_0_1 G = c8_3_1_t__3_0_3__0_0_1 G = c8_3_1_t__3_0_4__0_0_1 G = c8_3_1_t__3_0_5__0_0_1 G = c8_3_1_t__3_0_6__0_0_1 G = c8_3_1_t__3_0_7__0_0_1 G = c8_3_1_t__3_0_8__0_0_1 G = c8_3_1_t__3_0_9__0_0_1 G = c8_3_1_t__3_0_10__0_0_1 G = c8_3_1_t__3_0_11__0_0_1 G = c8_3_1_t__3_0_12__0_0_1 G = c8_3_1_t__3_0_13__0_0_1 G = c8_3_1_t__3_0_14__0_0_1 G = c8_3_1_t__3_0_15__0_0_1 G = c8_3_1_t__3_0_16__0_0_1 G = c8_3_1_t__3_0_17__0_0_1 G = c8_3_1_t__3_0_18__0_0_1 G = c8_3_1_t__3_0_19__0_0_1 G = c8_3_1_t__3_0_20__0_0_1 G = c8_3_1_t__3_0_21__0_0_1 G = c8_3_1_t__3_0_22__0_0_1 G = c8_3_1_t__3_0_23__0_0_1 G = c8_3_1_t__4_1_0__0_0_1 G = c8_3_1_t__4_1_1__0_0_1 G = c8_3_1_t__4_1_2__0_0_1 G = c8_3_1_t__4_1_3__0_0_1 G = c8_3_1_t__4_1_4__0_0_1 G = c8_3_1_t__4_1_5__0_0_1 G = c8_3_1_t__4_1_6__0_0_1 G = c8_3_1_t__4_1_7__0_0_1 G = c8_3_1_t__4_1_8__0_0_1 G = c8_3_1_t__4_1_9__0_0_1 G = c8_3_1_t__4_1_10__0_0_1 G = c8_3_1_t__4_1_11__0_0_1 G = c8_3_1_t__4_1_12__0_0_1 G = c8_3_1_t__4_1_13__0_0_1 G = c8_3_1_t__4_1_14__0_0_1 G = c8_3_1_t__4_1_15__0_0_1 G = c8_3_1_t__4_1_16__0_0_1 G = c8_3_1_t__4_1_17__0_0_1 G = c8_3_1_t__4_1_18__0_0_1 G = c8_3_1_t__4_1_19__0_0_1 G = c8_3_1_t__4_1_20__0_0_1 G = c8_3_1_t__4_1_21__0_0_1 G = c8_3_1_t__4_1_22__0_0_1 G = c8_3_1_t__4_1_23__0_0_1 G = c12_2_2_t__0_0_0__1_1_1 G = c12_2_2_t__0_0_1__1_1_1 G = c12_2_2_t__0_0_2__1_1_1 G = c12_2_2_t__0_0_3__1_1_1 G = c12_2_2_t__0_0_4__1_1_1 G = c12_2_2_t__0_0_5__1_1_1 G = c12_2_2_t__0_1_0__1_0_4 G = c12_2_2_t__0_1_0__1_0_5 G = c12_2_2_t__0_1_1__1_0_4 G = c12_2_2_t__0_1_1__1_0_5 G = c12_2_2_t__0_1_2__1_0_4 G = c12_2_2_t__0_1_2__1_0_5 G = c12_2_2_t__0_1_3__1_0_4 G = c12_2_2_t__0_1_3__1_0_5 G = c12_2_2_t__0_1_4__1_0_4 G = c12_2_2_t__0_1_4__1_0_5 G = c12_2_2_t__0_1_5__1_0_4 G = c12_2_2_t__0_1_5__1_0_5 G = c12_2_2_t__1_0_0__0_1_3 G = c12_2_2_t__1_0_0__0_1_4 G = c12_2_2_t__1_0_1__0_1_3 G = c12_2_2_t__1_0_1__0_1_4 G = c12_2_2_t__1_0_2__0_1_3 G = c12_2_2_t__1_0_2__0_1_4 G = c12_2_2_t__1_0_3__0_1_3 G = c12_2_2_t__1_0_3__0_1_4 G = c12_2_2_t__1_0_4__0_1_3 G = c12_2_2_t__1_0_4__0_1_4 G = c12_2_2_t__1_0_5__0_1_3 G = c12_2_2_t__1_0_5__0_1_4 G = c12_2_2_t__1_1_0__0_0_2 G = c12_2_2_t__1_1_1__0_0_2 G = c12_2_2_t__1_1_2__0_0_2 G = c12_2_2_t__1_1_3__0_0_2 G = c12_2_2_t__1_1_4__0_0_2 G = c12_2_2_t__1_1_5__0_0_2 (318700 ms) no