python strips.py cubes.txt
Goal already solved? False
Solving...
Solved!

Plan: Move(C, A, Fl) -> Move(A, B, Fl) -> Move(C, Fl, B) -> Move(C, B, Fl) -> Move(C, Fl, A) -> Move(C, A
, B) -> Move(C, B, Fl) -> Move(C, Fl, A) -> Move(C, A, B) -> Move(C, B, Fl) -> Move(C, Fl, A) -> Move(C, A,
B) -> Move(C, B, Fl) -> Move(C, Fl, A) -> Move(C, A, B) -> Move(C, B, Fl) -> Move(C, Fl, A) -> Move(C, A, B)
 -> Move(C, B, Fl) -> Move(B, Fl, C) -> Move(A, Fl, B)

                  CAB
 Move(C, A, Fl)   C AB
 Move(A, B, Fl)   C A B
 Move(C, Fl, B)   A CB    --+--
 Move(C, B, Fl)   A B C     |
 Move(C, Fl, A)   AC B      |
 Move(C, A, B)    A CB      |
 Move(C, B, Fl)   A B C     |
 Move(C, Fl, A)   CA B      |
 Move(C, A, B)    A CB      |
 Move(C, B, Fl)   A B C     |
 Move(C, Fl, A)   CA B      |
 Move(C, A, B)    A CB      |
 Move(C, B, Fl)   A B C     |
 Move(C, Fl, A)   CA B      |
 Move(C, A, B)    A CB      |
 Move(C, B, Fl)   A B C     |
 Move(C, Fl, A)   CA B      |
 Move(C, A, B)    A CB      |
 Move(C, B, Fl)   A B C   --+--
 Move(B, Fl, C)   A BC
 Move(A, Fl, B)   ABC
 