puzzle(1,
       [f(1,1,e),f(1,2,e),f(1,3,b),
        f(2,1,e),f(2,2,e),f(2,3,e),
        f(3,1,e),f(3,2,e),f(3,3,e)]).
puzzle(2,
       [f(1,1,e),f(1,2,e),f(1,3,e),
        f(2,1,e),f(2,2,w),f(2,3,e),
        f(3,1,e),f(3,2,e),f(3,3,e)]).
puzzle(3,
       [f(1,1,e),f(1,2,e),f(1,3,e),
        f(2,1,e),f(2,2,b),f(2,3,e),
        f(3,1,e),f(3,2,e),f(3,3,e)]).
puzzle(4,
       [f(1,1,e),f(1,2,e),f(1,3,e),
        f(2,1,e),f(2,2,e),f(2,3,e),
        f(3,1,w),f(3,2,e),f(3,3,e)]).
puzzle(5,
       [f(1,1,e),f(1,2,e),f(1,3,e),
        f(2,1,w),f(2,2,w),f(2,3,w),
        f(3,1,e),f(3,2,e),f(3,3,e)]).
puzzle(6,
       [f(1,1,e),f(1,2,e),f(1,3,e),f(1,4,e),f(1,5,e),
        f(2,1,e),f(2,2,b),f(2,3,e),f(2,4,b),f(2,5,e),
        f(3,1,e),f(3,2,e),f(3,3,e),f(3,4,e),f(3,5,e),
        f(4,1,w),f(4,2,e),f(4,3,e),f(4,4,e),f(4,5,e),
        f(5,1,e),f(5,2,e),f(5,3,e),f(5,4,e),f(5,5,b)]).
puzzle(7,
       [f(1,1,b),f(1,2,e),f(1,3,e),f(1,4,e),f(1,5,e),
        f(2,1,e),f(2,2,e),f(2,3,e),f(2,4,w),f(2,5,e),
        f(3,1,e),f(3,2,e),f(3,3,e),f(3,4,e),f(3,5,w),
        f(4,1,e),f(4,2,w),f(4,3,w),f(4,4,e),f(4,5,e),
        f(5,1,e),f(5,2,e),f(5,3,b),f(5,4,e),f(5,5,e)]).
puzzle(8,
       [f(1,1,e),f(1,2,e),f(1,3,w),f(1,4,e),f(1,5,e),f(1,6,e),
        f(2,1,w),f(2,2,e),f(2,3,e),f(2,4,e),f(2,5,e),f(2,6,b),
        f(3,1,e),f(3,2,e),f(3,3,e),f(3,4,e),f(3,5,e),f(3,6,e),
        f(4,1,e),f(4,2,e),f(4,3,e),f(4,4,e),f(4,5,e),f(4,6,e),
        f(5,1,b),f(5,2,e),f(5,3,e),f(5,4,e),f(5,5,e),f(5,6,w),
        f(6,1,e),f(6,2,e),f(6,3,e),f(6,4,w),f(6,5,e),f(6,6,e)]).
puzzle(9,
       [f(1,1,e),f(1,2,e),f(1,3,b),f(1,4,e),f(1,5,b),f(1,6,e),f(1,7,e),
        f(2,1,e),f(2,2,e),f(2,3,e),f(2,4,e),f(2,5,e),f(2,6,w),f(2,7,e),
        f(3,1,w),f(3,2,e),f(3,3,e),f(3,4,e),f(3,5,e),f(3,6,e),f(3,7,e),
        f(4,1,e),f(4,2,w),f(4,3,w),f(4,4,w),f(4,5,e),f(4,6,e),f(4,7,e),
        f(5,1,e),f(5,2,e),f(5,3,e),f(5,4,e),f(5,5,e),f(5,6,b),f(5,7,w),
        f(6,1,b),f(6,2,e),f(6,3,e),f(6,4,e),f(6,5,e),f(6,6,e),f(6,7,e),
        f(7,1,e),f(7,2,e),f(7,3,e),f(7,4,w),f(7,5,w),f(7,6,e),f(7,7,e)]).

cycles(1,
       [[c(1,1,1,2),c(1,2,1,3),c(1,3,2,3),c(2,1,1,1),
         c(2,2,2,1),c(2,3,3,3),c(3,2,2,2),c(3,3,3,2)],
        [c(1,1,1,2),c(1,2,1,3),c(1,3,2,3),c(2,1,1,1),
         c(2,3,3,3),c(3,1,2,1),c(3,2,3,1),c(3,3,3,2)],
        [c(1,1,2,1),c(1,2,1,1),c(1,3,1,2),c(2,1,2,2),
         c(2,2,3,2),c(2,3,1,3),c(3,2,3,3),c(3,3,2,3)],
        [c(1,1,2,1),c(1,2,1,1),c(1,3,1,2),c(2,1,3,1),
         c(2,3,1,3),c(3,1,3,2),c(3,2,3,3),c(3,3,2,3)]]).
cycles(2,
       [[c(1,1,1,2),c(1,2,1,3),c(1,3,2,3),c(2,1,1,1),c(2,2,2,1),c(2,3,2,2)],
        [c(1,1,1,2),c(1,2,2,2),c(2,1,1,1),c(2,2,3,2),c(3,1,2,1),c(3,2,3,1)],
        [c(1,1,2,1),c(1,2,1,1),c(1,3,1,2),c(2,1,2,2),c(2,2,2,3),c(2,3,1,3)],
        [c(1,1,2,1),c(1,2,1,1),c(2,1,3,1),c(2,2,1,2),c(3,1,3,2),c(3,2,2,2)],
        [c(1,2,1,3),c(1,3,2,3),c(2,2,1,2),c(2,3,3,3),c(3,2,2,2),c(3,3,3,2)],
        [c(1,2,2,2),c(1,3,1,2),c(2,2,3,2),c(2,3,1,3),c(3,2,3,3),c(3,3,2,3)],
        [c(2,1,2,2),c(2,2,2,3),c(2,3,3,3),c(3,1,2,1),c(3,2,3,1),c(3,3,3,2)],
        [c(2,1,3,1),c(2,2,2,1),c(2,3,2,2),c(3,1,3,2),c(3,2,3,3),c(3,3,2,3)]]).
cycles(3, []).
cycles(4, []).
cycles(5, []).
cycles(6,
       [[c(1,1,1,2),c(1,2,1,3),c(1,3,1,4),c(1,4,1,5),c(1,5,2,5),c(2,1,1,1),
         c(2,2,3,2),c(2,3,2,2),c(2,4,2,3),c(2,5,3,5),c(3,1,2,1),c(3,2,4,2),
         c(3,4,2,4),c(3,5,4,5),c(4,1,3,1),c(4,2,5,2),c(4,3,4,4),c(4,4,3,4),
         c(4,5,5,5),c(5,1,4,1),c(5,2,5,1),c(5,3,4,3),c(5,4,5,3),c(5,5,5,4)],
        [c(1,1,2,1),c(1,2,1,1),c(1,3,1,2),c(1,4,1,3),c(1,5,1,4),c(2,1,3,1),
         c(2,2,2,3),c(2,3,2,4),c(2,4,3,4),c(2,5,1,5),c(3,1,4,1),c(3,2,2,2),
         c(3,4,4,4),c(3,5,2,5),c(4,1,5,1),c(4,2,3,2),c(4,3,5,3),c(4,4,4,3),
         c(4,5,3,5),c(5,1,5,2),c(5,2,4,2),c(5,3,5,4),c(5,4,5,5),c(5,5,4,5)]]).
cycles(7,
       [[c(1,1,1,2),c(1,2,1,3),c(1,3,2,3),c(2,1,1,1),c(2,3,2,4),c(2,4,2,5),
         c(2,5,3,5),c(3,1,2,1),c(3,2,4,2),c(3,3,3,2),c(3,5,4,5),c(4,1,3,1),
         c(4,2,5,2),c(4,3,3,3),c(4,5,5,5),c(5,1,4,1),c(5,2,5,1),c(5,3,4,3),
         c(5,4,5,3),c(5,5,5,4)],
        [c(1,1,2,1),c(1,2,1,1),c(1,3,1,2),c(2,1,3,1),c(2,3,1,3),c(2,4,2,3),
         c(2,5,2,4),c(3,1,4,1),c(3,2,3,3),c(3,3,4,3),c(3,5,2,5),c(4,1,5,1),
         c(4,2,3,2),c(4,3,5,3),c(4,5,3,5),c(5,1,5,2),c(5,2,4,2),c(5,3,5,4),
         c(5,4,5,5),c(5,5,4,5)]]).
cycles(8,
       [[c(1,1,1,2),c(1,2,1,3),c(1,3,1,4),c(1,4,2,4),c(2,1,1,1),c(2,4,2,5),
         c(2,5,2,6),c(2,6,3,6),c(3,1,2,1),c(3,6,4,6),c(4,1,3,1),c(4,6,5,6),
         c(5,1,4,1),c(5,2,5,1),c(5,3,5,2),c(5,6,6,6),c(6,3,5,3),c(6,4,6,3),
         c(6,5,6,4),c(6,6,6,5)],
        [c(1,1,2,1),c(1,2,1,1),c(1,3,1,2),c(1,4,1,3),c(2,1,3,1),c(2,4,1,4),
         c(2,5,2,4),c(2,6,2,5),c(3,1,4,1),c(3,6,2,6),c(4,1,5,1),c(4,6,3,6),
         c(5,1,5,2),c(5,2,5,3),c(5,3,6,3),c(5,6,4,6),c(6,3,6,4),c(6,4,6,5),
         c(6,5,6,6),c(6,6,5,6)]]).
cycles(9,
       [[c(1,3,1,4),c(1,4,1,5),c(1,5,2,5),c(1,6,1,7),c(1,7,2,7),c(2,1,2,2),
         c(2,2,3,2),c(2,3,1,3),c(2,5,3,5),c(2,6,1,6),c(2,7,3,7),c(3,1,2,1),
         c(3,2,4,2),c(3,3,2,3),c(3,4,4,4),c(3,5,3,4),c(3,6,2,6),c(3,7,4,7),
         c(4,1,3,1),c(4,2,5,2),c(4,3,3,3),c(4,4,5,4),c(4,6,3,6),c(4,7,5,7),
         c(5,1,4,1),c(5,2,5,3),c(5,3,4,3),c(5,4,5,5),c(5,5,5,6),c(5,6,4,6),
         c(5,7,6,7),c(6,1,5,1),c(6,2,6,1),c(6,3,6,2),c(6,6,7,6),c(6,7,6,6),
         c(7,3,6,3),c(7,4,7,3),c(7,5,7,4),c(7,6,7,5)],
        [c(1,3,2,3),c(1,4,1,3),c(1,5,1,4),c(1,6,2,6),c(1,7,1,6),c(2,1,3,1),
         c(2,2,2,1),c(2,3,3,3),c(2,5,1,5),c(2,6,3,6),c(2,7,1,7),c(3,1,4,1),
         c(3,2,2,2),c(3,3,4,3),c(3,4,3,5),c(3,5,2,5),c(3,6,4,6),c(3,7,2,7),
         c(4,1,5,1),c(4,2,3,2),c(4,3,5,3),c(4,4,3,4),c(4,6,5,6),c(4,7,3,7),
         c(5,1,6,1),c(5,2,4,2),c(5,3,5,2),c(5,4,4,4),c(5,5,5,4),c(5,6,5,5),
         c(5,7,4,7),c(6,1,6,2),c(6,2,6,3),c(6,3,7,3),c(6,6,6,7),c(6,7,5,7),
         c(7,3,7,4),c(7,4,7,5),c(7,5,7,6),c(7,6,6,6)]]).