https://bbchallenge.org/36909813 - Halting Segment SAT implementation, halting trace for centered N=17 cell tape

36909813-N17-hs-trace.txt

== RULES ==
00001: ##.#.....#.#....
00017: #...#....##.....
00033: #....#.....#....
00049: ......#.##.....#
00065: ##....#.#..#....
1RB 0RB 1LC 0RA 1LD 0LB 0LE 1R! 1RE 1LB
== EVOLUTION ==
 ................. - FOUND!
               ^    : A.....
 ..............#..
                ^   : .B....
 ..............##.
               ^    : ..C...
 ...............#.
              ^     : .B....
 .............#.#.
             ^      : ..C...
 ............##.#.
            ^       : ...D..
 ............##.#.
           ^        : ....E.
 ..........#.##.#.
            ^       : ....E.
 ..........####.#.
             ^      : ....E.
 ..........####.#.
            ^       : .B....
 ..........#.##.#.
             ^      : A.....
 ..........#..#.#.
              ^     : .B....
 ..........#....#.
               ^    : A.....
 ..........#...##.
                ^   : .B....
 ..........#...#..
                 ^  : A.....
 ..........#...#.#
                  ^ : .B.... -> ...D..
 ..........#...#.#
                 ^  : ....E.
 ..........#...#.#
                ^   : .B....
 ..........#...###
               ^    : ..C...
 ..........#....##
              ^     : .B....
 ..........#..#.##
             ^      : ..C...
 ..........#.##.##
            ^       : ...D..
 ..........#.##.##
           ^        : ....E.
 ..........#.##.##
          ^         : .B....
 .........##.##.##
         ^          : ..C...
 ........###.##.##
        ^           : ...D..
 ........###.##.##
       ^            : ....E.
 ......#.###.##.##
        ^           : ....E.
 ......#####.##.##
         ^          : ....E.
 ......#####.##.##
        ^           : .B....
 ......#.###.##.##
         ^          : A.....
 ......#..##.##.##
          ^         : .B....
 ......#...#.##.##
           ^        : A.....
 ......#.....##.##
            ^       : .B....
 ......#....###.##
           ^        : ..C...
 ......#...####.##
          ^         : ...D..
 ......#...####.##
         ^          : ....E.
 ......#.#.####.##
          ^         : ....E.
 ......#.######.##
           ^        : ....E.
 ......#.######.##
          ^         : .B....
 ......#.#.####.##
           ^        : A.....
 ......#.#..###.##
            ^       : .B....
 ......#.#...##.##
             ^      : A.....
 ......#.#....#.##
              ^     : .B....
 ......#.#......##
               ^    : A.....
 ......#.#.....###
                ^   : .B....
 ......#.#.....#.#
                 ^  : A.....
 ......#.#.....#..
                  ^ : .B.... -> ..C...
 ......#.#.....#..
                 ^  : ...D..
 ......#.#.....#..
                ^   : ....E.
 ......#.#.....##.
                 ^  : ....E.
 ......#.#.....###
                  ^ : ....E. -> ..c.e.
 ......#.#.....###
                 ^  : .B....
 ......#.#.....##.
                  ^ : A..... -> ..c.e.
 ......#.#.....##.
                 ^  : .B....
 ......#.#.....###
                ^   : ..C...
 ......#.#.....#.#
               ^    : .B....
 ......#.#.......#
                ^   : A.....
 ......#.#......##
                 ^  : .B....
 ......#.#......#.
                  ^ : A..... -> ..c.e.
 ......#.#......#.
                 ^  : .B....
 ......#.#......##
                ^   : ..C...
 ......#.#.......#
               ^    : .B....
 ......#.#.....#.#
              ^     : ..C...
 ......#.#....##.#
             ^      : ...D..
 ......#.#....##.#
            ^       : ....E.
 ......#.#..#.##.#
             ^      : ....E.
 ......#.#..####.#
              ^     : ....E.
 ......#.#..####.#
             ^      : .B....
 ......#.#..#.##.#
              ^     : A.....
 ......#.#..#..#.#
               ^    : .B....
 ......#.#..#....#
                ^   : A.....
 ......#.#..#...##
                 ^  : .B....
 ......#.#..#...#.
                  ^ : A..... -> ..c.e.
 ......#.#..#...#.
                 ^  : .b.d..
 ......#.#..#...#/
                ^   : ..c.e.
 ......#.#..#...//
               ^    : .B....
 ......#.#..#..#//
              ^     : ..C...
 ......#.#..#.##//
             ^      : ...D..
 ......#.#..#.##//
            ^       : ....E.
 ......#.#..#.##//
           ^        : .B....
 ......#.#.##.##//
          ^         : ..C...
 ......#.####.##//
         ^          : ...D..
 ......#.####.##??
          ^         : .....H