(load "hw2.cl")
 
(setq goal '(1 2 3 8 e 4 7 6 5))
(setq init-a '(1 2 3 8 e 5 7 4 6))
(setq init-b '(8 1 3 2 e 5 7 4 6))
(setq init-c '(1 2 3 8 4 e 7 6 5))
(setq init-d '(2 3 4 7 1 5 e 8 6))
(setq init-e '(2 3 4 1 8 5 7 e 6))
(setq init-f '(1 2 3 8 4 5 7 e 6))
 
(sss goal)
(sss goal :type 'id)
(sss goal :type 'dfs)
(sss goal :type 'dfs :depth 0)
(sss goal :type 'dfs :depth 1)
(sss goal :type 'dfs :depth 10)
 
(sss init-a)
(sss init-a :type 'id)
(sss init-a :type 'dfs :depth 1)
(sss init-a :type 'dfs :depth 3)
(sss init-a :type 'dfs :depth 4)
(sss init-a :type 'dfs :depth 11)
(sss init-a :type 'dfs :depth 12)
 
(sss init-b)
(sss init-b :type 'id)
(sss init-b :type 'dfs)
(sss init-b :type 'dfs :depth 8)
(sss init-b :type 'dfs :depth 12)
 
(sss init-c)
(sss init-c :type 'id)
(sss init-c :type 'dfs)
(sss init-c :type 'dfs :depth 0)
(sss init-c :type 'dfs :depth 1)
(sss init-c :type 'dfs :depth 9)
(sss init-c :type 'dfs :depth 12)
 
(sss init-d)
(sss init-d :type 'id)
(sss init-d :type 'dfs)
(sss init-d :type 'dfs :depth 10)
 
(sss init-e)
(sss init-e :type 'id)
(sss init-e :type 'dfs)
(sss init-e :type 'dfs :depth 12)
 
(sss init-f)
(sss init-f :type 'id)
(sss init-f :type 'dfs)
(sss init-f :type 'dfs :depth 3)
(sss init-f :type 'dfs :depth 2)
(sss init-f :type 'dfs :depth 12)