All Downloads are FREE. Search and download functionalities are using the official Maven repository.
  • Log In
  • Register

    • APT.all-test.Mummy.mummymaze1p-hreform.d9du2o.soar Maven / Gradle / Ivy

    cd ..
pushd it_default
source selection-iterative-deepening.soar
popd
sp {propose*legal_explorer__move__dir__1
   (state  ^name game ^facts  ^io )
   ( ^direction )
   ( ^p1 )
   ( ^output-link )
   ( -^ )
-->
   ( ^operator  +)
   ( ^name move__dir_ ^p1 )
}
sp {apply*move__dir_
   (state  ^name game ^operator  ^io )
   ( ^name move__dir_ ^p1 )
   ( ^output-link )
-->
   ( ^move )
   ( ^p1 )
}
sp {elaborate*doesprime__mummy__move2__mv1__mv2__
   (state  ^elaborations )
   ( ^simplemove )
   ( ^p1  ^p2 
    )
   (
     ^name move2 ^p1  ^p2 )
-->
   ( ^doesprime )
   ( ^p1  ^p2 )
   ( ^name move2 ^p1  ^p2 )
}
sp {elaborate*simplemove__mummy__move2__m1__m2__
   (state  ^facts  ^elaborations )
   ( ^mummy-type )
   ( ^p1  ^p2 )
   ( ^two-steps-toward )
   ( ^p1  ^p2  ^p3  ^p4  ^p5  ^p6  ^p7 )
-->
   ( ^simplemove )
   ( ^p1  ^p2 )
   ( ^name move2 ^p1  ^p2 )
}
sp {elaborate*two-steps-toward__type__x__y__ex__ey__m1__m2_
   (state  ^facts  ^gs  ^elaborations )
   ( ^mummy-type )
   ( ^p1  ^p2 )
   ( ^mummy-location )
   ( ^p1  ^p2  ^p3 )
   ( ^movetoward  ^newlocation1  ^movetoward )
   ( ^p1  ^p2  ^p3  ^p4  ^p5  ^p6 )
   ( ^p1  ^p2  ^p3  ^p4  ^p5  ^p6 )
   ( ^p1  ^p2  ^p3  ^p4  ^p5  ^p6 )
-->
   ( ^two-steps-toward )
   ( ^p1  ^p2  ^p3  ^p4  ^p5  ^p6  ^p7 )
}
sp {elaborate*movetoward__type__x__y__ex__ey__card_
   (state  ^elaborations )
   ( ^direction-from  ^pick-one 
    )
   ( ^p1  ^p2  ^p3  ^p4  ^p5 
    )
   (
     ^p1  ^p2  ^p3  ^p4 
     ^p5 )
-->
   ( ^movetoward )
   ( ^p1  ^p2  ^p3  ^p4  ^p5  ^p6 )
}
sp {elaborate*pick-one_horizontal__x__y_none_nowhere_
   (state  ^facts  ^elaborations  ^gs )
   ( ^mummy-type )
   ( ^p2 horizontal ^p1 )
   ( ^next-explorer-loc )
   ( ^p1  ^p2 )
   ( ^mummy-location )
   ( ^p1  ^p2  ^p3 )
-->
   ( ^pick-one )
   ( ^p1 horizontal ^p2  ^p3  ^p4 none ^p5 nowhere)
}
sp {elaborate*pick-one_horizontal__x__y_none_nowhere_1
   (state  ^facts  ^elaborations )
   ( ^mummy-type )
   ( ^p2 horizontal ^p1 )
   ( ^next-explorer-loc  ^close-to-mummy )
   ( ^p1  ^p2 )
   ( ^p1  ^p2  ^p3 )
-->
   ( ^pick-one )
   ( ^p1 horizontal ^p2  ^p3  ^p4 none ^p5 nowhere)
}
sp {elaborate*pick-one_horizontal__x__y__dir__v_
   (state  ^facts  ^gs  ^elaborations )
   ( ^mummy-type  ^vert-component )
   ( ^p2 horizontal ^p1 )
   ( ^mummy-location )
   ( ^p1  ^p2  ^p3 )
   ( ^direction-from )
   ( ^p1  ^p2  ^p3  ^p4  ^p5 )
   -{
     ( ^some-horiz-component )
     ( ^p1 )
   }
   ( ^p1  ^p2 )
-->
   ( ^pick-one )
   ( ^p1 horizontal ^p2  ^p3  ^p4  ^p5 )
}
sp {elaborate*pick-one_horizontal__x__y__dir__v_1
   (state  ^facts  ^elaborations )
   ( ^mummy-type  ^vert-component )
   ( ^p2 horizontal ^p1 )
   ( ^close-to-mummy  ^direction-from )
   ( ^p1  ^p2  ^p3 )
   ( ^p1  ^p2  ^p3  ^p4  ^p5 )
   -{
     ( ^some-horiz-component )
     ( ^p1 )
   }
   ( ^p1  ^p2 )
-->
   ( ^pick-one )
   ( ^p1 horizontal ^p2  ^p3  ^p4  ^p5 )
}
sp {elaborate*pick-one_horizontal__x__y__dir__h_
   (state  ^facts  ^gs  ^elaborations )
   ( ^mummy-type  ^horiz-component )
   ( ^p2 horizontal ^p1 )
   ( ^mummy-location )
   ( ^p1  ^p2  ^p3 )
   ( ^direction-from )
   ( ^p1  ^p2  ^p3  ^p4  ^p5 )
   -{
     ( ^some-vert-component )
     ( ^p1 )
   }
   ( ^p1  ^p2 
    )
-->
   ( ^pick-one )
   ( ^p1 horizontal ^p2  ^p3  ^p4  ^p5 
    )
}
sp {elaborate*pick-one_horizontal__x__y__dir__h_1
   (state  ^facts  ^elaborations )
   ( ^mummy-type  ^horiz-component )
   ( ^p2 horizontal ^p1 )
   ( ^close-to-mummy  ^direction-from )
   ( ^p1  ^p2  ^p3 )
   ( ^p1  ^p2  ^p3  ^p4  ^p5 )
   -{
     ( ^some-vert-component )
     ( ^p1 )
   }
   ( ^p1  ^p2 
    )
-->
   ( ^pick-one )
   ( ^p1 horizontal ^p2  ^p3  ^p4  ^p5 
    )
}
sp {elaborate*pick-one_horizontal__x__y__dir__h_2
   (state  ^facts  ^gs  ^elaborations )
   ( ^mummy-type  ^horiz-component  ^vert-component )
   ( ^p2 horizontal ^p1 )
   ( ^mummy-location )
   ( ^p1  ^p2  ^p3 )
   ( ^direction-from  ^newlocation1 )
   ( ^p1  ^p2  ^p3  ^p4  ^p5 )
   ( ^p1  ^p2 
    )
   ( ^p1  ^p2 )
   ( ^p1  ^p2  ^p3 
     ^p4 {   <>  } ^p5  ^p6 )
-->
   ( ^pick-one )
   ( ^p1 horizontal ^p2  ^p3  ^p4  ^p5 
    )
}
sp {elaborate*pick-one_horizontal__x__y__dir__h_3
   (state  ^facts  ^elaborations )
   ( ^mummy-type  ^horiz-component  ^vert-component )
   ( ^p2 horizontal ^p1 )
   ( ^close-to-mummy  ^direction-from  ^newlocation1 )
   ( ^p1  ^p2  ^p3 )
   ( ^p1  ^p2  ^p3  ^p4  ^p5 )
   ( ^p1  ^p2 
    )
   ( ^p1  ^p2 )
   ( ^p1  ^p2  ^p3 
     ^p4 {   <>  } ^p5  ^p6 )
-->
   ( ^pick-one )
   ( ^p1 horizontal ^p2  ^p3  ^p4  ^p5 
    )
}
sp {elaborate*pick-one_horizontal__x__y__dir__v_2
   (state  ^facts  ^gs  ^elaborations )
   ( ^mummy-type  ^horiz-component  ^vert-component )
   ( ^p2 horizontal ^p1 )
   ( ^mummy-location )
   ( ^p1  ^p2  ^p3 )
   ( ^direction-from  ^newlocation1 )
   ( ^p1  ^p2  ^p3  ^p4  ^p5 )
   ( ^p1  ^p2 
    )
   ( ^p1  ^p2 )
   ( ^p1  ^p2  ^p3 
     ^p4  ^p5  ^p6 )
-->
   ( ^pick-one )
   ( ^p1 horizontal ^p2  ^p3  ^p4  ^p5 )
}
sp {elaborate*pick-one_horizontal__x__y__dir__v_3
   (state  ^facts  ^elaborations )
   ( ^mummy-type  ^horiz-component  ^vert-component )
   ( ^p2 horizontal ^p1 )
   ( ^close-to-mummy  ^direction-from  ^newlocation1 )
   ( ^p1  ^p2  ^p3 )
   ( ^p1  ^p2  ^p3  ^p4  ^p5 )
   ( ^p1  ^p2 
    )
   ( ^p1  ^p2 )
   ( ^p1  ^p2  ^p3 
     ^p4  ^p5  ^p6 )
-->
   ( ^pick-one )
   ( ^p1 horizontal ^p2  ^p3  ^p4  ^p5 )
}
sp {elaborate*pick-one_vertical__x__y_none_nowhere_
   (state  ^facts  ^elaborations  ^gs )
   ( ^mummy-type )
   ( ^p2 vertical ^p1 )
   ( ^next-explorer-loc )
   ( ^p1  ^p2 )
   ( ^mummy-location )
   ( ^p1  ^p2  ^p3 )
-->
   ( ^pick-one )
   ( ^p1 vertical ^p2  ^p3  ^p4 none ^p5 nowhere)
}
sp {elaborate*pick-one_vertical__x__y_none_nowhere_1
   (state  ^facts  ^elaborations )
   ( ^mummy-type )
   ( ^p2 vertical ^p1 )
   ( ^next-explorer-loc  ^close-to-mummy )
   ( ^p1  ^p2 )
   ( ^p1  ^p2  ^p3 )
-->
   ( ^pick-one )
   ( ^p1 vertical ^p2  ^p3  ^p4 none ^p5 nowhere)
}
sp {elaborate*pick-one_vertical__x__y__dir__v_
   (state  ^facts  ^gs  ^elaborations )
   ( ^mummy-type  ^vert-component )
   ( ^p2 vertical ^p1 )
   ( ^mummy-location )
   ( ^p1  ^p2  ^p3 )
   ( ^direction-from )
   ( ^p1  ^p2  ^p3  ^p4  ^p5 )
   -{
     ( ^some-horiz-component )
     ( ^p1 )
   }
   ( ^p1  ^p2 )
-->
   ( ^pick-one )
   ( ^p1 vertical ^p2  ^p3  ^p4  ^p5 )
}
sp {elaborate*pick-one_vertical__x__y__dir__v_1
   (state  ^facts  ^elaborations )
   ( ^mummy-type  ^vert-component )
   ( ^p2 vertical ^p1 )
   ( ^close-to-mummy  ^direction-from )
   ( ^p1  ^p2  ^p3 )
   ( ^p1  ^p2  ^p3  ^p4  ^p5 )
   -{
     ( ^some-horiz-component )
     ( ^p1 )
   }
   ( ^p1  ^p2 )
-->
   ( ^pick-one )
   ( ^p1 vertical ^p2  ^p3  ^p4  ^p5 )
}
sp {elaborate*pick-one_vertical__x__y__dir__h_
   (state  ^facts  ^gs  ^elaborations )
   ( ^mummy-type  ^horiz-component )
   ( ^p2 vertical ^p1 )
   ( ^mummy-location )
   ( ^p1  ^p2  ^p3 )
   ( ^direction-from )
   ( ^p1  ^p2  ^p3  ^p4  ^p5 )
   -{
     ( ^some-vert-component )
     ( ^p1 )
   }
   ( ^p1  ^p2 
    )
-->
   ( ^pick-one )
   ( ^p1 vertical ^p2  ^p3  ^p4  ^p5 
    )
}
sp {elaborate*pick-one_vertical__x__y__dir__h_1
   (state  ^facts  ^elaborations )
   ( ^mummy-type  ^horiz-component )
   ( ^p2 vertical ^p1 )
   ( ^close-to-mummy  ^direction-from )
   ( ^p1  ^p2  ^p3 )
   ( ^p1  ^p2  ^p3  ^p4  ^p5 )
   -{
     ( ^some-vert-component )
     ( ^p1 )
   }
   ( ^p1  ^p2 
    )
-->
   ( ^pick-one )
   ( ^p1 vertical ^p2  ^p3  ^p4  ^p5 
    )
}
sp {elaborate*pick-one_vertical__x__y__dir__v_2
   (state  ^facts  ^gs  ^elaborations )
   ( ^mummy-type  ^horiz-component  ^vert-component )
   ( ^p2 vertical ^p1 )
   ( ^mummy-location )
   ( ^p1  ^p2  ^p3 )
   ( ^direction-from  ^newlocation1 )
   ( ^p1  ^p2  ^p3  ^p4  ^p5 )
   ( ^p1  ^p2 
    )
   ( ^p1  ^p2 )
   ( ^p1  ^p2  ^p3  ^p4  ^p5 {   <>  } ^p6 )
-->
   ( ^pick-one )
   ( ^p1 vertical ^p2  ^p3  ^p4  ^p5 )
}
sp {elaborate*pick-one_vertical__x__y__dir__v_3
   (state  ^facts  ^elaborations )
   ( ^mummy-type  ^horiz-component  ^vert-component )
   ( ^p2 vertical ^p1 )
   ( ^close-to-mummy  ^direction-from  ^newlocation1 )
   ( ^p1  ^p2  ^p3 )
   ( ^p1  ^p2  ^p3  ^p4  ^p5 )
   ( ^p1  ^p2 
    )
   ( ^p1  ^p2 )
   ( ^p1  ^p2  ^p3  ^p4  ^p5 {   <>  } ^p6 )
-->
   ( ^pick-one )
   ( ^p1 vertical ^p2  ^p3  ^p4  ^p5 )
}
sp {elaborate*pick-one_vertical__x__y__dir__h_2
   (state  ^facts  ^gs  ^elaborations )
   ( ^mummy-type  ^horiz-component  ^vert-component )
   ( ^p2 vertical ^p1 )
   ( ^mummy-location )
   ( ^p1  ^p2  ^p3 )
   ( ^direction-from  ^newlocation1 )
   ( ^p1  ^p2  ^p3  ^p4  ^p5 )
   ( ^p1  ^p2 
    )
   ( ^p1  ^p2 )
   ( ^p1  ^p2  ^p3  ^p4  ^p5  ^p6 )
-->
   ( ^pick-one )
   ( ^p1 vertical ^p2  ^p3  ^p4  ^p5 
    )
}
sp {elaborate*pick-one_vertical__x__y__dir__h_3
   (state  ^facts  ^elaborations )
   ( ^mummy-type  ^horiz-component  ^vert-component )
   ( ^p2 vertical ^p1 )
   ( ^close-to-mummy  ^direction-from  ^newlocation1 )
   ( ^p1  ^p2  ^p3 )
   ( ^p1  ^p2  ^p3  ^p4  ^p5 )
   ( ^p1  ^p2 
    )
   ( ^p1  ^p2 )
   ( ^p1  ^p2  ^p3  ^p4  ^p5  ^p6 )
-->
   ( ^pick-one )
   ( ^p1 vertical ^p2  ^p3  ^p4  ^p5 
    )
}
sp {elaborate*direction-from__x1__y1__x2__y2__dir_
   (state  ^elaborations )
   ( ^horiz-direction-from  ^vert-direction-from  ^combine-directions )
   ( ^p1  ^p2  ^p3 )
   ( ^p1  ^p2  ^p3 )
   ( ^p1  ^p2  ^p3 )
-->
   ( ^direction-from )
   ( ^p1  ^p2  ^p3  ^p4  ^p5 )
}
sp {elaborate*horiz-direction-from__mx__ex_east_
   (state  ^facts  ^gs  ^elaborations )
   ( ^mummy-type  ^lessthan )
   ( ^p1  ^p2 )
   ( ^mummy-location )
   ( ^p1  ^p2  ^p3 )
   ( ^next-explorer-loc )
   ( ^p1  ^p2 )
   ( ^p1  ^p2 )
-->
   ( ^horiz-direction-from )
   ( ^p1  ^p2  ^p3 east)
}
sp {elaborate*horiz-direction-from__x1__x2_east_
   (state  ^facts  ^gs  ^elaborations )
   ( ^mummy-type  ^lessthan )
   ( ^p1  ^p2 )
   ( ^mummy-location )
   ( ^p1  ^p2  ^p3 )
   ( ^close-to-mummy  ^next-explorer-loc )
   ( ^p1  ^p2  ^p3 )
   ( ^p1  ^p2 )
   ( ^p1  ^p2 )
-->
   ( ^horiz-direction-from )
   ( ^p1  ^p2  ^p3 east)
}
sp {elaborate*horiz-direction-from__mx__ex_west_
   (state  ^facts  ^gs  ^elaborations )
   ( ^mummy-type  ^lessthan )
   ( ^p1  ^p2 )
   ( ^mummy-location )
   ( ^p1  ^p2  ^p3 )
   ( ^next-explorer-loc )
   ( ^p1  ^p2 )
   ( ^p1  ^p2 )
-->
   ( ^horiz-direction-from )
   ( ^p1  ^p2  ^p3 west)
}
sp {elaborate*horiz-direction-from__cmx__ex_west_
   (state  ^facts  ^gs  ^elaborations )
   ( ^mummy-type  ^lessthan )
   ( ^p1  ^p2 )
   ( ^mummy-location )
   ( ^p1  ^p2  ^p3 )
   ( ^close-to-mummy  ^next-explorer-loc )
   ( ^p1  ^p2  ^p3 )
   ( ^p1  ^p2 )
   ( ^p1  ^p2 )
-->
   ( ^horiz-direction-from )
   ( ^p1  ^p2  ^p3 west)
}
sp {elaborate*horiz-direction-from__mx__ex_none_
   (state  ^facts  ^gs  ^elaborations )
   ( ^mummy-type )
   ( ^p1  ^p2 )
   ( ^mummy-location )
   ( ^p1  ^p2  ^p3 )
   ( ^next-explorer-loc )
   ( ^p1  ^p2 )
   -{
     ( ^lessthan )
     ( ^p1  ^p2 )
   }
   -{
     ( ^lessthan )
     ( ^p1  ^p2 )
   }
-->
   ( ^horiz-direction-from )
   ( ^p1  ^p2  ^p3 none)
}
sp {elaborate*horiz-direction-from__cmx__ex_none_
   (state  ^facts  ^gs  ^elaborations )
   ( ^mummy-type )
   ( ^p1  ^p2 )
   ( ^mummy-location )
   ( ^p1  ^p2  ^p3 )
   ( ^close-to-mummy  ^next-explorer-loc )
   ( ^p1  ^p2  ^p3 )
   ( ^p1  ^p2 )
   -{
     ( ^lessthan )
     ( ^p1  ^p2 )
   }
   -{
     ( ^lessthan )
     ( ^p1  ^p2 )
   }
-->
   ( ^horiz-direction-from )
   ( ^p1  ^p2  ^p3 none)
}
sp {elaborate*vert-direction-from__my__ey_north_
   (state  ^facts  ^gs  ^elaborations )
   ( ^mummy-type  ^lessthan )
   ( ^p1  ^p2 )
   ( ^mummy-location )
   ( ^p1  ^p2  ^p3 )
   ( ^next-explorer-loc )
   ( ^p1  ^p2 )
   ( ^p1  ^p2 )
-->
   ( ^vert-direction-from )
   ( ^p1  ^p2  ^p3 north)
}
sp {elaborate*vert-direction-from__cmy__ey_north_
   (state  ^facts  ^gs  ^elaborations )
   ( ^mummy-type  ^lessthan )
   ( ^p1  ^p2 )
   ( ^mummy-location )
   ( ^p1  ^p2  ^p3 )
   ( ^close-to-mummy  ^next-explorer-loc )
   ( ^p1  ^p2  ^p3 )
   ( ^p1  ^p2 )
   ( ^p1  ^p2 )
-->
   ( ^vert-direction-from )
   ( ^p1  ^p2  ^p3 north)
}
sp {elaborate*vert-direction-from__my__ey_south_
   (state  ^facts  ^gs  ^elaborations )
   ( ^mummy-type  ^lessthan )
   ( ^p1  ^p2 )
   ( ^mummy-location )
   ( ^p1  ^p2  ^p3 )
   ( ^next-explorer-loc )
   ( ^p1  ^p2 )
   ( ^p1  ^p2 )
-->
   ( ^vert-direction-from )
   ( ^p1  ^p2  ^p3 south)
}
sp {elaborate*vert-direction-from__cmy__ey_south_
   (state  ^facts  ^gs  ^elaborations )
   ( ^mummy-type  ^lessthan )
   ( ^p1  ^p2 )
   ( ^mummy-location )
   ( ^p1  ^p2  ^p3 )
   ( ^close-to-mummy  ^next-explorer-loc )
   ( ^p1  ^p2  ^p3 )
   ( ^p1  ^p2 )
   ( ^p1  ^p2 )
-->
   ( ^vert-direction-from )
   ( ^p1  ^p2  ^p3 south)
}
sp {elaborate*vert-direction-from__my__ey_none_
   (state  ^facts  ^gs  ^elaborations )
   ( ^mummy-type )
   ( ^p1  ^p2 )
   ( ^mummy-location )
   ( ^p1  ^p2  ^p3 )
   ( ^next-explorer-loc )
   ( ^p1  ^p2 )
   -{
     ( ^lessthan )
     ( ^p1  ^p2 )
   }
   -{
     ( ^lessthan )
     ( ^p1  ^p2 )
   }
-->
   ( ^vert-direction-from )
   ( ^p1  ^p2  ^p3 none)
}
sp {elaborate*vert-direction-from__cmy__ey_none_
   (state  ^facts  ^gs  ^elaborations )
   ( ^mummy-type )
   ( ^p1  ^p2 )
   ( ^mummy-location )
   ( ^p1  ^p2  ^p3 )
   ( ^close-to-mummy  ^next-explorer-loc )
   ( ^p1  ^p2  ^p3 )
   ( ^p1  ^p2 )
   -{
     ( ^lessthan )
     ( ^p1  ^p2 )
   }
   -{
     ( ^lessthan )
     ( ^p1  ^p2 )
   }
-->
   ( ^vert-direction-from )
   ( ^p1  ^p2  ^p3 none)
}
sp {elaborate*combine-directions_none_none_none_
   (state  ^elaborations )
-->
   ( ^combine-directions )
   ( ^p1 none ^p2 none ^p3 none)
}
sp {elaborate*combine-directions_none__x__x_
   (state  ^facts  ^elaborations )
   ( ^direction )
   ( ^p1 )
-->
   ( ^combine-directions )
   ( ^p1 none ^p2  ^p3 )
}
sp {elaborate*combine-directions__x_none__x_
   (state  ^facts  ^elaborations )
   ( ^direction )
   ( ^p1 )
-->
   ( ^combine-directions )
   ( ^p1  ^p2 none ^p3 )
}
sp {elaborate*combine-directions_north_east_ne_
   (state  ^elaborations )
-->
   ( ^combine-directions )
   ( ^p1 north ^p2 east ^p3 ne)
}
sp {elaborate*combine-directions_north_west_nw_
   (state  ^elaborations )
-->
   ( ^combine-directions )
   ( ^p1 north ^p2 west ^p3 nw)
}
sp {elaborate*combine-directions_south_east_se_
   (state  ^elaborations )
-->
   ( ^combine-directions )
   ( ^p1 south ^p2 east ^p3 se)
}
sp {elaborate*combine-directions_south_west_sw_
   (state  ^elaborations )
-->
   ( ^combine-directions )
   ( ^p1 south ^p2 west ^p3 sw)
}
sp {apply*next__explorer-location_explorer__x2__y2__1
   (state  ^name game ^name game ^operator  ^gs  ^io  ^elaborations )
   ( ^name update-state)
   ( ^explorer-location )
   ( ^p1 explorer ^p2  ^p3 )
   ( ^input-link )
   ( ^last-moves )
   ( ^explorer )
   ( ^move )
   ( ^p1 )
   ( ^newlocation1 )
   ( ^p6 explorer ^p1  ^p2  ^p3  ^p4  ^p5 )
-->
   ( ^explorer-location )
   ( ^p1 explorer ^p2  ^p3 )
}
sp {apply*remove*next__explorer-location_explorer__x2__y2__
   (state  ^name game ^operator  ^gs )
   ( ^name update-state)
   ( ^explorer-location )
   ( ^p1 explorer ^p2  ^p3 )
-->
   ( ^explorer-location  -)
}
sp {apply*next__mummy-location__mummy__x2__y2__1
   (state  ^name game ^name game ^operator  ^facts  ^gs  ^elaborations )
   ( ^name update-state)
   ( ^mummy-type )
   ( ^p1  ^p2 )
   ( ^mummy-location )
   ( ^p1  ^p2  ^p3 )
   ( ^doesprime  ^newlocation2 )
   ( ^p1  ^p2 
    )
   (
     ^name move2 ^p1  ^p2 )
   ( ^p1  ^p2  ^p3  ^p4  ^p5  ^p6 )
-->
   ( ^mummy-location )
   ( ^p1  ^p2  ^p3 )
}
sp {apply*remove*next__mummy-location__mummy__x2__y2__
   (state  ^name game ^operator  ^gs )
   ( ^name update-state)
   ( ^mummy-location )
   ( ^p1  ^p2  ^p3 )
-->
   ( ^mummy-location  -)
}
sp {apply*next__step__x__1
   (state  ^name game ^name game ^operator  ^gs  ^facts )
   ( ^name update-state)
   ( ^step )
   ( ^p1 )
   ( ^succ )
   ( ^p1  ^p2 )
-->
   ( ^step )
   ( ^p1 )
}
sp {apply*remove*next__step__x__
   (state  ^name game ^operator  ^gs )
   ( ^name update-state)
   ( ^step )
   ( ^p1 )
-->
   ( ^step  -)
}
sp {elaborate*eaten_
   (state  ^gs  ^facts  ^elaborations )
   ( ^explorer-location  ^mummy-location )
   ( ^p1  ^p2 )
   ( ^p1  ^p2  ^p3 )
   ( ^mummy-type )
   ( ^p1  ^p2 )
-->
   ( ^eaten )
   
}
sp {elaborate*atexit_
   (state  ^gs  ^elaborations )
   ( ^explorer-location  ^exit-location )
   ( ^p1  ^p2 )
   ( ^p1  ^p2 )
-->
   ( ^atexit )
   
}
sp {elaborate*laststep_
   (state  ^gs  ^elaborations )
   ( ^step )
   ( ^p1 50)
-->
   ( ^laststep )
   
}
sp {elaborate*newlocation1__x__y_nowhere__x__y__mummy_
   (state  ^gs  ^elaborations )
   ( ^mummy-location )
   ( ^p1  ^p2  ^p3 )
-->
   ( ^newlocation1 )
   ( ^p1  ^p2  ^p3 nowhere ^p4  ^p5  ^p6 )
}
sp {elaborate*newlocation1__x__y_nowhere__x__y_explorer_
   (state  ^gs  ^elaborations )
   ( ^explorer-location )
   ( ^p1  ^p2 )
-->
   ( ^newlocation1 )
   ( ^p1  ^p2  ^p3 nowhere ^p4  ^p5  ^p6 explorer)
}
sp {elaborate*newlocation1__x__y_nowhere__x__y__mummy_1
   (state  ^elaborations )
   ( ^close-to-mummy )
   ( ^p1  ^p2  ^p3 )
-->
   ( ^newlocation1 )
   ( ^p1  ^p2  ^p3 nowhere ^p4  ^p5  ^p6 )
}
sp {elaborate*newlocation1__x__y_north__x__y__mummy_
   (state  ^gs  ^elaborations )
   ( ^mummy-location  ^wall )
   ( ^p1  ^p2  ^p3 )
   ( ^p3 north ^p1  ^p2 )
-->
   ( ^newlocation1 )
   ( ^p1  ^p2  ^p3 north ^p4  ^p5  ^p6 )
}
sp {elaborate*newlocation1__x__y_north__x__y_explorer_
   (state  ^gs  ^elaborations )
   ( ^explorer-location  ^wall )
   ( ^p1  ^p2 )
   ( ^p3 north ^p1  ^p2 )
-->
   ( ^newlocation1 )
   ( ^p1  ^p2  ^p3 north ^p4  ^p5  ^p6 explorer)
}
sp {elaborate*newlocation1__x__y_north__x__y__mummy_1
   (state  ^elaborations  ^gs )
   ( ^close-to-mummy )
   ( ^p1  ^p2  ^p3 )
   ( ^wall )
   ( ^p3 north ^p1  ^p2 )
-->
   ( ^newlocation1 )
   ( ^p1  ^p2  ^p3 north ^p4  ^p5  ^p6 )
}
sp {elaborate*newlocation1__x__y_south__x__y__mummy_
   (state  ^gs  ^facts  ^elaborations )
   ( ^mummy-location  ^wall )
   ( ^p1  ^p2  ^p3 )
   ( ^succ )
   ( ^p1  ^p2 )
   ( ^p3 north ^p1  ^p2 )
-->
   ( ^newlocation1 )
   ( ^p1  ^p2  ^p3 south ^p4  ^p5  ^p6 )
}
sp {elaborate*newlocation1__x__y_south__x__y_explorer_
   (state  ^gs  ^facts  ^elaborations )
   ( ^explorer-location  ^wall )
   ( ^p1  ^p2 )
   ( ^succ )
   ( ^p1  ^p2 )
   ( ^p3 north ^p1  ^p2 )
-->
   ( ^newlocation1 )
   ( ^p1  ^p2  ^p3 south ^p4  ^p5  ^p6 explorer)
}
sp {elaborate*newlocation1__x__y_south__x__y__mummy_1
   (state  ^elaborations  ^facts  ^gs )
   ( ^close-to-mummy )
   ( ^p1  ^p2  ^p3 )
   ( ^succ )
   ( ^p1  ^p2 )
   ( ^wall )
   ( ^p3 north ^p1  ^p2 )
-->
   ( ^newlocation1 )
   ( ^p1  ^p2  ^p3 south ^p4  ^p5  ^p6 )
}
sp {elaborate*newlocation1__x__y_east__x__y__mummy_
   (state  ^gs  ^elaborations )
   ( ^mummy-location  ^wall )
   ( ^p1  ^p2  ^p3 )
   ( ^p3 east ^p1  ^p2 )
-->
   ( ^newlocation1 )
   ( ^p1  ^p2  ^p3 east ^p4  ^p5  ^p6 )
}
sp {elaborate*newlocation1__x__y_east__x__y_explorer_
   (state  ^gs  ^elaborations )
   ( ^explorer-location  ^wall )
   ( ^p1  ^p2 )
   ( ^p3 east ^p1  ^p2 )
-->
   ( ^newlocation1 )
   ( ^p1  ^p2  ^p3 east ^p4  ^p5  ^p6 explorer)
}
sp {elaborate*newlocation1__x__y_east__x__y__mummy_1
   (state  ^elaborations  ^gs )
   ( ^close-to-mummy )
   ( ^p1  ^p2  ^p3 )
   ( ^wall )
   ( ^p3 east ^p1  ^p2 )
-->
   ( ^newlocation1 )
   ( ^p1  ^p2  ^p3 east ^p4  ^p5  ^p6 )
}
sp {elaborate*newlocation1__x__y_west__x__y__mummy_
   (state  ^gs  ^facts  ^elaborations )
   ( ^mummy-location  ^wall )
   ( ^p1  ^p2  ^p3 )
   ( ^succ )
   ( ^p1  ^p2 )
   ( ^p3 east ^p1  ^p2 )
-->
   ( ^newlocation1 )
   ( ^p1  ^p2  ^p3 west ^p4  ^p5  ^p6 )
}
sp {elaborate*newlocation1__x__y_west__x__y_explorer_
   (state  ^gs  ^facts  ^elaborations )
   ( ^explorer-location  ^wall )
   ( ^p1  ^p2 )
   ( ^succ )
   ( ^p1  ^p2 )
   ( ^p3 east ^p1  ^p2 )
-->
   ( ^newlocation1 )
   ( ^p1  ^p2  ^p3 west ^p4  ^p5  ^p6 explorer)
}
sp {elaborate*newlocation1__x__y_west__x__y__mummy_1
   (state  ^elaborations  ^facts  ^gs )
   ( ^close-to-mummy )
   ( ^p1  ^p2  ^p3 )
   ( ^succ )
   ( ^p1  ^p2 )
   ( ^wall )
   ( ^p3 east ^p1  ^p2 )
-->
   ( ^newlocation1 )
   ( ^p1  ^p2  ^p3 west ^p4  ^p5  ^p6 )
}
sp {elaborate*newlocation1__x__y1_north__x__y2__mummy_
   (state  ^gs  ^facts  ^elaborations )
   ( ^mummy-location )
   ( ^p1  ^p2  ^p3 )
   ( ^succ )
   ( ^p1  ^p2 )
   -{
     ( ^wall )
     ( ^p3 north ^p1  ^p2 )
   }
-->
   ( ^newlocation1 )
   ( ^p1  ^p2  ^p3 north ^p4  ^p5  ^p6 )
}
sp {elaborate*newlocation1__x__y1_north__x__y2_explorer_
   (state  ^gs  ^facts  ^elaborations )
   ( ^explorer-location )
   ( ^p1  ^p2 )
   ( ^succ )
   ( ^p1  ^p2 )
   -{
     ( ^wall )
     ( ^p3 north ^p1  ^p2 )
   }
-->
   ( ^newlocation1 )
   ( ^p1  ^p2  ^p3 north ^p4  ^p5  ^p6 explorer)
}
sp {elaborate*newlocation1__x__y1_north__x__y2__mummy_1
   (state  ^elaborations  ^facts  ^gs )
   ( ^close-to-mummy )
   ( ^p1  ^p2  ^p3 )
   ( ^succ )
   ( ^p1  ^p2 )
   -{
     ( ^wall )
     ( ^p3 north ^p1  ^p2 )
   }
-->
   ( ^newlocation1 )
   ( ^p1  ^p2  ^p3 north ^p4  ^p5  ^p6 )
}
sp {elaborate*newlocation1__x__y1_south__x__y2__mummy_
   (state  ^gs  ^facts  ^elaborations )
   ( ^mummy-location )
   ( ^p1  ^p2  ^p3 )
   ( ^succ )
   ( ^p1  ^p2 )
   -{
     ( ^wall )
     ( ^p3 north ^p1  ^p2 )
   }
-->
   ( ^newlocation1 )
   ( ^p1  ^p2  ^p3 south ^p4  ^p5  ^p6 )
}
sp {elaborate*newlocation1__x__y1_south__x__y2_explorer_
   (state  ^gs  ^facts  ^elaborations )
   ( ^explorer-location )
   ( ^p1  ^p2 )
   ( ^succ )
   ( ^p1  ^p2 )
   -{
     ( ^wall )
     ( ^p3 north ^p1  ^p2 )
   }
-->
   ( ^newlocation1 )
   ( ^p1  ^p2  ^p3 south ^p4  ^p5  ^p6 explorer)
}
sp {elaborate*newlocation1__x__y1_south__x__y2__mummy_1
   (state  ^elaborations  ^facts  ^gs )
   ( ^close-to-mummy )
   ( ^p1  ^p2  ^p3 )
   ( ^succ )
   ( ^p1  ^p2 )
   -{
     ( ^wall )
     ( ^p3 north ^p1  ^p2 )
   }
-->
   ( ^newlocation1 )
   ( ^p1  ^p2  ^p3 south ^p4  ^p5  ^p6 )
}
sp {elaborate*newlocation1__x1__y_east__x2__y__mummy_
   (state  ^gs  ^facts  ^elaborations )
   ( ^mummy-location )
   ( ^p1  ^p2  ^p3 )
   ( ^succ )
   ( ^p1  ^p2 )
   -{
     ( ^wall )
     ( ^p3 east ^p1  ^p2 )
   }
-->
   ( ^newlocation1 )
   ( ^p1  ^p2  ^p3 east ^p4  ^p5  ^p6 )
}
sp {elaborate*newlocation1__x1__y_east__x2__y_explorer_
   (state  ^gs  ^facts  ^elaborations )
   ( ^explorer-location )
   ( ^p1  ^p2 )
   ( ^succ )
   ( ^p1  ^p2 )
   -{
     ( ^wall )
     ( ^p3 east ^p1  ^p2 )
   }
-->
   ( ^newlocation1 )
   ( ^p1  ^p2  ^p3 east ^p4  ^p5  ^p6 explorer)
}
sp {elaborate*newlocation1__x1__y_east__x2__y__mummy_1
   (state  ^elaborations  ^facts  ^gs )
   ( ^close-to-mummy )
   ( ^p1  ^p2  ^p3 )
   ( ^succ )
   ( ^p1  ^p2 )
   -{
     ( ^wall )
     ( ^p3 east ^p1  ^p2 )
   }
-->
   ( ^newlocation1 )
   ( ^p1  ^p2  ^p3 east ^p4  ^p5  ^p6 )
}
sp {elaborate*newlocation1__x1__y_west__x2__y__mummy_
   (state  ^gs  ^facts  ^elaborations )
   ( ^mummy-location )
   ( ^p1  ^p2  ^p3 )
   ( ^succ )
   ( ^p1  ^p2 )
   -{
     ( ^wall )
     ( ^p3 east ^p1  ^p2 )
   }
-->
   ( ^newlocation1 )
   ( ^p1  ^p2  ^p3 west ^p4  ^p5  ^p6 )
}
sp {elaborate*newlocation1__x1__y_west__x2__y_explorer_
   (state  ^gs  ^facts  ^elaborations )
   ( ^explorer-location )
   ( ^p1  ^p2 )
   ( ^succ )
   ( ^p1  ^p2 )
   -{
     ( ^wall )
     ( ^p3 east ^p1  ^p2 )
   }
-->
   ( ^newlocation1 )
   ( ^p1  ^p2  ^p3 west ^p4  ^p5  ^p6 explorer)
}
sp {elaborate*newlocation1__x1__y_west__x2__y__mummy_1
   (state  ^elaborations  ^facts  ^gs )
   ( ^close-to-mummy )
   ( ^p1  ^p2  ^p3 )
   ( ^succ )
   ( ^p1  ^p2 )
   -{
     ( ^wall )
     ( ^p3 east ^p1  ^p2 )
   }
-->
   ( ^newlocation1 )
   ( ^p1  ^p2  ^p3 west ^p4  ^p5  ^p6 )
}
sp {elaborate*newlocation2__x1__y1__dir1__dir2__x3__y3_
   (state  ^facts  ^gs  ^elaborations )
   ( ^mummy-type )
   ( ^p1  ^p2 )
   ( ^mummy-location )
   ( ^p1  ^p2  ^p3 )
   ( ^newlocation1  ^newlocation1 )
   ( ^p1  ^p2  ^p3  ^p4  ^p5  ^p6 )
   ( ^p1  ^p2  ^p3  ^p4  ^p5  ^p6 )
-->
   ( ^newlocation2 )
   ( ^p1  ^p2  ^p3  ^p4  ^p5  ^p6 )
}
sp {elaborate*some-vert-component__dir_
   (state  ^facts  ^elaborations )
   ( ^vert-component )
   ( ^p1 
     ^p2 )
-->
   ( ^some-vert-component )
   ( ^p1 )
}
sp {elaborate*some-horiz-component__dir_
   (state  ^facts  ^elaborations )
   ( ^horiz-component )
   ( ^p1  ^p2 )
-->
   ( ^some-horiz-component )
   ( ^p1 )
}
sp {elaborate*terminal_
   (state  ^elaborations  -^duplicate-of )
   ( ^laststep )
-->
   (halt)
}
sp {terminal_1
   (state  ^elaborations  ^duplicate-of )
   ( ^laststep )
-->
   ( ^terminal )
}
sp {elaborate*terminal_2
   (state  ^elaborations  -^duplicate-of )
   ( ^eaten )
-->
   (halt)
}
sp {terminal_21
   (state  ^elaborations  ^duplicate-of )
   ( ^eaten )
-->
   ( ^terminal )
}
sp {elaborate*terminal_3
   (state  ^elaborations  -^duplicate-of )
   ( ^atexit )
-->
   (halt)
}
sp {terminal_31
   (state  ^elaborations  ^duplicate-of )
   ( ^atexit )
-->
   ( ^terminal )
}
sp {elaborate*goal_explorer_100_1
   (state  ^name game ^terminal  ^desired  ^elaborations )
   ( ^atexit  -^eaten )
-->
   ( ^success )
}
sp {elaborate*goal_explorer_50_1
   (state  ^name game ^terminal  ^desired  ^elaborations )
   ( -^atexit  -^eaten )
-->
   ( ^failure )
}
sp {elaborate*goal_explorer_0_1
   (state  ^name game ^terminal  ^desired  ^elaborations )
   ( ^eaten )
-->
   ( ^failure )
}
sp {elaborate*next-explorer-loc__ex__ey_
   (state  ^gs  ^io  ^elaborations )
   ( ^explorer-location )
   ( ^p1  ^p2 )
   ( ^input-link )
   ( ^last-moves )
   ( ^explorer )
   ( ^move )
   ( ^p1 )
   ( ^newlocation1 )
   ( ^p6 explorer ^p1  ^p2  ^p3  ^p4  ^p5 )
-->
   ( ^next-explorer-loc )
   ( ^p1  ^p2 )
}
sp {elaborate*close-to-mummy__x__y1__mummy_
   (state  ^facts  ^gs  ^elaborations )
   ( ^mummy-type )
   ( ^p1  ^p2 )
   ( ^mummy-location )
   ( ^p1  ^p2  ^p3 )
   ( ^newlocation1 )
   ( ^p1  ^p2  ^p3  ^p4  ^p5 {   <>  } ^p6 )
-->
   ( ^close-to-mummy )
   ( ^p1  ^p2  ^p3 )
}
sp {elaborate*close-to-mummy__x1__y__mummy_
   (state  ^facts  ^gs  ^elaborations )
   ( ^mummy-type )
   ( ^p1  ^p2 )
   ( ^mummy-location )
   ( ^p1  ^p2  ^p3 )
   ( ^newlocation1 )
   ( ^p1  ^p2  ^p3  ^p4 {   <>  } ^p5  ^p6 )
-->
   ( ^close-to-mummy )
   ( ^p1  ^p2  ^p3 )
}
sp {propose*init-game
   (state  ^superstate nil -^name )
-->
   ( ^operator  + >)
   ( ^name init-game)
}
sp {apply*init-game
   (state  ^operator )
   ( ^name init-game)
-->
   ( ^name game ^desired  ^gs  ^facts )
   ( ^role explorer)
   ( ^mummy-location )
   ( ^p1 mummy ^p2 5 ^p3 1)
   ( ^explorer-location )
   ( ^p1 3 ^p2 3)
   ( ^exit-location )
   ( ^p1 1 ^p2 2)
   ( ^step )
   ( ^p1 0)
   ( ^wall )
   ( ^p1 4 ^p2 1 ^p3 east)
   ( ^wall )
   ( ^p1 4 ^p2 1 ^p3 north)
   ( ^wall )
   ( ^p1 1 ^p2 2 ^p3 north)
   ( ^wall )
   ( ^p1 2 ^p2 2 ^p3 north)
   ( ^wall )
   ( ^p1 1 ^p2 3 ^p3 east)
   ( ^wall )
   ( ^p1 3 ^p2 3 ^p3 east)
   ( ^wall )
   ( ^p1 2 ^p2 4 ^p3 east)
   ( ^wall )
   ( ^p1 3 ^p2 4 ^p3 east)
   ( ^wall )
   ( ^p1 3 ^p2 5 ^p3 east)
   ( ^wall )
   ( ^p1 3 ^p2 5 ^p3 north)
   ( ^wall )
   ( ^p1 2 ^p2 5 ^p3 north)
   ( ^wall )
   ( ^p1 2 ^p2 6 ^p3 east)
   ( ^wall )
   ( ^p1 3 ^p2 6 ^p3 north)
   ( ^wall )
   ( ^p1 2 ^p2 8 ^p3 east)
   ( ^wall )
   ( ^p1 4 ^p2 6 ^p3 north)
   ( ^wall )
   ( ^p1 4 ^p2 7 ^p3 east)
   ( ^wall )
   ( ^p1 5 ^p2 7 ^p3 east)
   ( ^wall )
   ( ^p1 4 ^p2 4 ^p3 east)
   ( ^wall )
   ( ^p1 5 ^p2 4 ^p3 east)
   ( ^wall )
   ( ^p1 8 ^p2 7 ^p3 north)
   ( ^wall )
   ( ^p1 6 ^p2 1 ^p3 north)
   ( ^wall )
   ( ^p1 6 ^p2 2 ^p3 north)
   ( ^wall )
   ( ^p1 6 ^p2 2 ^p3 east)
   ( ^wall )
   ( ^p1 6 ^p2 3 ^p3 east)
   ( ^wall )
   ( ^p1 6 ^p2 4 ^p3 east)
   ( ^wall )
   ( ^p1 6 ^p2 6 ^p3 north)
   ( ^wall )
   ( ^p1 7 ^p2 4 ^p3 north)
   ( ^wall )
   ( ^p1 7 ^p2 3 ^p3 east)
   ( ^wall )
   ( ^p1 1 ^p2 0 ^p3 north)
   ( ^wall )
   ( ^p1 2 ^p2 0 ^p3 north)
   ( ^wall )
   ( ^p1 3 ^p2 0 ^p3 north)
   ( ^wall )
   ( ^p1 4 ^p2 0 ^p3 north)
   ( ^wall )
   ( ^p1 5 ^p2 0 ^p3 north)
   ( ^wall )
   ( ^p1 6 ^p2 0 ^p3 north)
   ( ^wall )
   ( ^p1 7 ^p2 0 ^p3 north)
   ( ^wall )
   ( ^p1 8 ^p2 0 ^p3 north)
   ( ^wall )
   ( ^p1 1 ^p2 8 ^p3 north)
   ( ^wall )
   ( ^p1 2 ^p2 8 ^p3 north)
   ( ^wall )
   ( ^p1 3 ^p2 8 ^p3 north)
   ( ^wall )
   ( ^p1 4 ^p2 8 ^p3 north)
   ( ^wall )
   ( ^p1 5 ^p2 8 ^p3 north)
   ( ^wall )
   ( ^p1 6 ^p2 8 ^p3 north)
   ( ^wall )
   ( ^p1 7 ^p2 8 ^p3 north)
   ( ^wall )
   ( ^p1 8 ^p2 8 ^p3 north)
   ( ^wall )
   ( ^p1 0 ^p2 1 ^p3 east)
   ( ^wall )
   ( ^p1 0 ^p2 2 ^p3 east)
   ( ^wall )
   ( ^p1 0 ^p2 3 ^p3 east)
   ( ^wall )
   ( ^p1 0 ^p2 4 ^p3 east)
   ( ^wall )
   ( ^p1 0 ^p2 5 ^p3 east)
   ( ^wall )
   ( ^p1 0 ^p2 6 ^p3 east)
   ( ^wall )
   ( ^p1 0 ^p2 7 ^p3 east)
   ( ^wall )
   ( ^p1 0 ^p2 8 ^p3 east)
   ( ^wall )
   ( ^p1 8 ^p2 1 ^p3 east)
   ( ^wall )
   ( ^p1 8 ^p2 2 ^p3 east)
   ( ^wall )
   ( ^p1 8 ^p2 3 ^p3 east)
   ( ^wall )
   ( ^p1 8 ^p2 4 ^p3 east)
   ( ^wall )
   ( ^p1 8 ^p2 5 ^p3 east)
   ( ^wall )
   ( ^p1 8 ^p2 6 ^p3 east)
   ( ^wall )
   ( ^p1 8 ^p2 7 ^p3 east)
   ( ^wall )
   ( ^p1 8 ^p2 8 ^p3 east)
   ( ^mummy-type )
   ( ^p1 mummy ^p2 horizontal)
   ( ^index )
   ( ^p1 0)
   ( ^index )
   ( ^p1 1)
   ( ^index )
   ( ^p1 2)
   ( ^index )
   ( ^p1 3)
   ( ^index )
   ( ^p1 4)
   ( ^index )
   ( ^p1 5)
   ( ^index )
   ( ^p1 6)
   ( ^index )
   ( ^p1 7)
   ( ^index )
   ( ^p1 8)
   ( ^direction )
   ( ^p1 north)
   ( ^direction )
   ( ^p1 south)
   ( ^direction )
   ( ^p1 east)
   ( ^direction )
   ( ^p1 west)
   ( ^direction )
   ( ^p1 nowhere)
   ( ^lessthan )
   ( ^p1 1 ^p2 2)
   ( ^lessthan )
   ( ^p1 1 ^p2 3)
   ( ^lessthan )
   ( ^p1 1 ^p2 4)
   ( ^lessthan )
   ( ^p1 1 ^p2 5)
   ( ^lessthan )
   ( ^p1 1 ^p2 6)
   ( ^lessthan )
   ( ^p1 1 ^p2 7)
   ( ^lessthan )
   ( ^p1 1 ^p2 8)
   ( ^lessthan )
   ( ^p1 2 ^p2 3)
   ( ^lessthan )
   ( ^p1 2 ^p2 4)
   ( ^lessthan )
   ( ^p1 2 ^p2 5)
   ( ^lessthan )
   ( ^p1 2 ^p2 6)
   ( ^lessthan )
   ( ^p1 2 ^p2 7)
   ( ^lessthan )
   ( ^p1 2 ^p2 8)
   ( ^lessthan )
   ( ^p1 3 ^p2 4)
   ( ^lessthan )
   ( ^p1 3 ^p2 5)
   ( ^lessthan )
   ( ^p1 3 ^p2 6)
   ( ^lessthan )
   ( ^p1 3 ^p2 7)
   ( ^lessthan )
   ( ^p1 3 ^p2 8)
   ( ^lessthan )
   ( ^p1 4 ^p2 5)
   ( ^lessthan )
   ( ^p1 4 ^p2 6)
   ( ^lessthan )
   ( ^p1 4 ^p2 7)
   ( ^lessthan )
   ( ^p1 4 ^p2 8)
   ( ^lessthan )
   ( ^p1 5 ^p2 6)
   ( ^lessthan )
   ( ^p1 5 ^p2 7)
   ( ^lessthan )
   ( ^p1 5 ^p2 8)
   ( ^lessthan )
   ( ^p1 6 ^p2 7)
   ( ^lessthan )
   ( ^p1 6 ^p2 8)
   ( ^lessthan )
   ( ^p1 7 ^p2 8)
   ( ^vert-component )
   ( ^p1 nw ^p2 north)
   ( ^vert-component )
   ( ^p1 ne ^p2 north)
   ( ^vert-component )
   ( ^p1 sw ^p2 south)
   ( ^vert-component )
   ( ^p1 se ^p2 south)
   ( ^vert-component )
   ( ^p1 north ^p2 north)
   ( ^vert-component )
   ( ^p1 south ^p2 south)
   ( ^succ )
   ( ^p1 0 ^p2 1)
   ( ^succ )
   ( ^p1 1 ^p2 2)
   ( ^succ )
   ( ^p1 2 ^p2 3)
   ( ^succ )
   ( ^p1 3 ^p2 4)
   ( ^succ )
   ( ^p1 4 ^p2 5)
   ( ^succ )
   ( ^p1 5 ^p2 6)
   ( ^succ )
   ( ^p1 6 ^p2 7)
   ( ^succ )
   ( ^p1 7 ^p2 8)
   ( ^succ )
   ( ^p1 8 ^p2 9)
   ( ^succ )
   ( ^p1 9 ^p2 10)
   ( ^succ )
   ( ^p1 10 ^p2 11)
   ( ^succ )
   ( ^p1 11 ^p2 12)
   ( ^succ )
   ( ^p1 12 ^p2 13)
   ( ^succ )
   ( ^p1 13 ^p2 14)
   ( ^succ )
   ( ^p1 14 ^p2 15)
   ( ^succ )
   ( ^p1 15 ^p2 16)
   ( ^succ )
   ( ^p1 16 ^p2 17)
   ( ^succ )
   ( ^p1 17 ^p2 18)
   ( ^succ )
   ( ^p1 18 ^p2 19)
   ( ^succ )
   ( ^p1 19 ^p2 20)
   ( ^succ )
   ( ^p1 20 ^p2 21)
   ( ^succ )
   ( ^p1 21 ^p2 22)
   ( ^succ )
   ( ^p1 22 ^p2 23)
   ( ^succ )
   ( ^p1 23 ^p2 24)
   ( ^succ )
   ( ^p1 24 ^p2 25)
   ( ^succ )
   ( ^p1 25 ^p2 26)
   ( ^succ )
   ( ^p1 26 ^p2 27)
   ( ^succ )
   ( ^p1 27 ^p2 28)
   ( ^succ )
   ( ^p1 28 ^p2 29)
   ( ^succ )
   ( ^p1 29 ^p2 30)
   ( ^succ )
   ( ^p1 30 ^p2 31)
   ( ^succ )
   ( ^p1 31 ^p2 32)
   ( ^succ )
   ( ^p1 32 ^p2 33)
   ( ^succ )
   ( ^p1 33 ^p2 34)
   ( ^succ )
   ( ^p1 34 ^p2 35)
   ( ^succ )
   ( ^p1 35 ^p2 36)
   ( ^succ )
   ( ^p1 36 ^p2 37)
   ( ^succ )
   ( ^p1 37 ^p2 38)
   ( ^succ )
   ( ^p1 38 ^p2 39)
   ( ^succ )
   ( ^p1 39 ^p2 40)
   ( ^succ )
   ( ^p1 40 ^p2 41)
   ( ^succ )
   ( ^p1 41 ^p2 42)
   ( ^succ )
   ( ^p1 42 ^p2 43)
   ( ^succ )
   ( ^p1 43 ^p2 44)
   ( ^succ )
   ( ^p1 44 ^p2 45)
   ( ^succ )
   ( ^p1 45 ^p2 46)
   ( ^succ )
   ( ^p1 46 ^p2 47)
   ( ^succ )
   ( ^p1 47 ^p2 48)
   ( ^succ )
   ( ^p1 48 ^p2 49)
   ( ^succ )
   ( ^p1 49 ^p2 50)
   ( ^diff )
   ( ^p1 1 ^p2 1 ^p3 0)
   ( ^diff )
   ( ^p1 1 ^p2 2 ^p3 1)
   ( ^diff )
   ( ^p1 1 ^p2 3 ^p3 2)
   ( ^diff )
   ( ^p1 1 ^p2 4 ^p3 3)
   ( ^diff )
   ( ^p1 1 ^p2 5 ^p3 4)
   ( ^diff )
   ( ^p1 1 ^p2 6 ^p3 5)
   ( ^diff )
   ( ^p1 1 ^p2 7 ^p3 6)
   ( ^diff )
   ( ^p1 1 ^p2 8 ^p3 7)
   ( ^diff )
   ( ^p1 2 ^p2 1 ^p3 1)
   ( ^diff )
   ( ^p1 2 ^p2 2 ^p3 0)
   ( ^diff )
   ( ^p1 2 ^p2 3 ^p3 1)
   ( ^diff )
   ( ^p1 2 ^p2 4 ^p3 2)
   ( ^diff )
   ( ^p1 2 ^p2 5 ^p3 3)
   ( ^diff )
   ( ^p1 2 ^p2 6 ^p3 4)
   ( ^diff )
   ( ^p1 2 ^p2 7 ^p3 5)
   ( ^diff )
   ( ^p1 2 ^p2 8 ^p3 6)
   ( ^diff )
   ( ^p1 3 ^p2 1 ^p3 2)
   ( ^diff )
   ( ^p1 3 ^p2 2 ^p3 1)
   ( ^diff )
   ( ^p1 3 ^p2 3 ^p3 0)
   ( ^diff )
   ( ^p1 3 ^p2 4 ^p3 1)
   ( ^diff )
   ( ^p1 3 ^p2 5 ^p3 2)
   ( ^diff )
   ( ^p1 3 ^p2 6 ^p3 3)
   ( ^diff )
   ( ^p1 3 ^p2 7 ^p3 4)
   ( ^diff )
   ( ^p1 3 ^p2 8 ^p3 5)
   ( ^diff )
   ( ^p1 4 ^p2 1 ^p3 3)
   ( ^diff )
   ( ^p1 4 ^p2 2 ^p3 2)
   ( ^diff )
   ( ^p1 4 ^p2 3 ^p3 1)
   ( ^diff )
   ( ^p1 4 ^p2 4 ^p3 0)
   ( ^diff )
   ( ^p1 4 ^p2 5 ^p3 1)
   ( ^diff )
   ( ^p1 4 ^p2 6 ^p3 2)
   ( ^diff )
   ( ^p1 4 ^p2 7 ^p3 3)
   ( ^diff )
   ( ^p1 4 ^p2 8 ^p3 4)
   ( ^diff )
   ( ^p1 5 ^p2 1 ^p3 4)
   ( ^diff )
   ( ^p1 5 ^p2 2 ^p3 3)
   ( ^diff )
   ( ^p1 5 ^p2 3 ^p3 2)
   ( ^diff )
   ( ^p1 5 ^p2 4 ^p3 1)
   ( ^diff )
   ( ^p1 5 ^p2 5 ^p3 0)
   ( ^diff )
   ( ^p1 5 ^p2 6 ^p3 1)
   ( ^diff )
   ( ^p1 5 ^p2 7 ^p3 2)
   ( ^diff )
   ( ^p1 5 ^p2 8 ^p3 3)
   ( ^diff )
   ( ^p1 6 ^p2 1 ^p3 5)
   ( ^diff )
   ( ^p1 6 ^p2 2 ^p3 4)
   ( ^diff )
   ( ^p1 6 ^p2 3 ^p3 3)
   ( ^diff )
   ( ^p1 6 ^p2 4 ^p3 2)
   ( ^diff )
   ( ^p1 6 ^p2 5 ^p3 1)
   ( ^diff )
   ( ^p1 6 ^p2 6 ^p3 0)
   ( ^diff )
   ( ^p1 6 ^p2 7 ^p3 1)
   ( ^diff )
   ( ^p1 6 ^p2 8 ^p3 2)
   ( ^diff )
   ( ^p1 7 ^p2 1 ^p3 6)
   ( ^diff )
   ( ^p1 7 ^p2 2 ^p3 5)
   ( ^diff )
   ( ^p1 7 ^p2 3 ^p3 4)
   ( ^diff )
   ( ^p1 7 ^p2 4 ^p3 3)
   ( ^diff )
   ( ^p1 7 ^p2 5 ^p3 2)
   ( ^diff )
   ( ^p1 7 ^p2 6 ^p3 1)
   ( ^diff )
   ( ^p1 7 ^p2 7 ^p3 0)
   ( ^diff )
   ( ^p1 7 ^p2 8 ^p3 1)
   ( ^diff )
   ( ^p1 8 ^p2 1 ^p3 7)
   ( ^diff )
   ( ^p1 8 ^p2 2 ^p3 6)
   ( ^diff )
   ( ^p1 8 ^p2 3 ^p3 5)
   ( ^diff )
   ( ^p1 8 ^p2 4 ^p3 4)
   ( ^diff )
   ( ^p1 8 ^p2 5 ^p3 3)
   ( ^diff )
   ( ^p1 8 ^p2 6 ^p3 2)
   ( ^diff )
   ( ^p1 8 ^p2 7 ^p3 1)
   ( ^diff )
   ( ^p1 8 ^p2 8 ^p3 0)
   ( ^sum )
   ( ^p1 0 ^p2 1 ^p3 1)
   ( ^sum )
   ( ^p1 0 ^p2 2 ^p3 2)
   ( ^sum )
   ( ^p1 0 ^p2 3 ^p3 3)
   ( ^sum )
   ( ^p1 0 ^p2 4 ^p3 4)
   ( ^sum )
   ( ^p1 0 ^p2 5 ^p3 5)
   ( ^sum )
   ( ^p1 0 ^p2 6 ^p3 6)
   ( ^sum )
   ( ^p1 0 ^p2 7 ^p3 7)
   ( ^sum )
   ( ^p1 0 ^p2 8 ^p3 8)
   ( ^sum )
   ( ^p1 1 ^p2 1 ^p3 2)
   ( ^sum )
   ( ^p1 1 ^p2 2 ^p3 3)
   ( ^sum )
   ( ^p1 1 ^p2 3 ^p3 4)
   ( ^sum )
   ( ^p1 1 ^p2 4 ^p3 5)
   ( ^sum )
   ( ^p1 1 ^p2 5 ^p3 6)
   ( ^sum )
   ( ^p1 1 ^p2 6 ^p3 7)
   ( ^sum )
   ( ^p1 1 ^p2 7 ^p3 8)
   ( ^sum )
   ( ^p1 1 ^p2 8 ^p3 9)
   ( ^sum )
   ( ^p1 2 ^p2 1 ^p3 3)
   ( ^sum )
   ( ^p1 2 ^p2 2 ^p3 4)
   ( ^sum )
   ( ^p1 2 ^p2 3 ^p3 5)
   ( ^sum )
   ( ^p1 2 ^p2 4 ^p3 6)
   ( ^sum )
   ( ^p1 2 ^p2 5 ^p3 7)
   ( ^sum )
   ( ^p1 2 ^p2 6 ^p3 8)
   ( ^sum )
   ( ^p1 2 ^p2 7 ^p3 9)
   ( ^sum )
   ( ^p1 2 ^p2 8 ^p3 10)
   ( ^sum )
   ( ^p1 3 ^p2 1 ^p3 4)
   ( ^sum )
   ( ^p1 3 ^p2 2 ^p3 5)
   ( ^sum )
   ( ^p1 3 ^p2 3 ^p3 6)
   ( ^sum )
   ( ^p1 3 ^p2 4 ^p3 7)
   ( ^sum )
   ( ^p1 3 ^p2 5 ^p3 8)
   ( ^sum )
   ( ^p1 3 ^p2 6 ^p3 9)
   ( ^sum )
   ( ^p1 3 ^p2 7 ^p3 10)
   ( ^sum )
   ( ^p1 3 ^p2 8 ^p3 11)
   ( ^sum )
   ( ^p1 4 ^p2 1 ^p3 5)
   ( ^sum )
   ( ^p1 4 ^p2 2 ^p3 6)
   ( ^sum )
   ( ^p1 4 ^p2 3 ^p3 7)
   ( ^sum )
   ( ^p1 4 ^p2 4 ^p3 8)
   ( ^sum )
   ( ^p1 4 ^p2 5 ^p3 9)
   ( ^sum )
   ( ^p1 4 ^p2 6 ^p3 10)
   ( ^sum )
   ( ^p1 4 ^p2 7 ^p3 11)
   ( ^sum )
   ( ^p1 4 ^p2 8 ^p3 12)
   ( ^sum )
   ( ^p1 5 ^p2 1 ^p3 6)
   ( ^sum )
   ( ^p1 5 ^p2 2 ^p3 7)
   ( ^sum )
   ( ^p1 5 ^p2 3 ^p3 8)
   ( ^sum )
   ( ^p1 5 ^p2 4 ^p3 9)
   ( ^sum )
   ( ^p1 5 ^p2 5 ^p3 10)
   ( ^sum )
   ( ^p1 5 ^p2 6 ^p3 11)
   ( ^sum )
   ( ^p1 5 ^p2 7 ^p3 12)
   ( ^sum )
   ( ^p1 5 ^p2 8 ^p3 13)
   ( ^sum )
   ( ^p1 6 ^p2 1 ^p3 7)
   ( ^sum )
   ( ^p1 6 ^p2 2 ^p3 8)
   ( ^sum )
   ( ^p1 6 ^p2 3 ^p3 9)
   ( ^sum )
   ( ^p1 6 ^p2 4 ^p3 10)
   ( ^sum )
   ( ^p1 6 ^p2 5 ^p3 11)
   ( ^sum )
   ( ^p1 6 ^p2 6 ^p3 12)
   ( ^sum )
   ( ^p1 6 ^p2 7 ^p3 13)
   ( ^sum )
   ( ^p1 6 ^p2 8 ^p3 14)
   ( ^sum )
   ( ^p1 7 ^p2 1 ^p3 8)
   ( ^sum )
   ( ^p1 7 ^p2 2 ^p3 9)
   ( ^sum )
   ( ^p1 7 ^p2 3 ^p3 10)
   ( ^sum )
   ( ^p1 7 ^p2 4 ^p3 11)
   ( ^sum )
   ( ^p1 7 ^p2 5 ^p3 12)
   ( ^sum )
   ( ^p1 7 ^p2 6 ^p3 13)
   ( ^sum )
   ( ^p1 7 ^p2 7 ^p3 14)
   ( ^sum )
   ( ^p1 7 ^p2 8 ^p3 15)
   ( ^sum )
   ( ^p1 8 ^p2 1 ^p3 9)
   ( ^sum )
   ( ^p1 8 ^p2 2 ^p3 10)
   ( ^sum )
   ( ^p1 8 ^p2 3 ^p3 11)
   ( ^sum )
   ( ^p1 8 ^p2 4 ^p3 12)
   ( ^sum )
   ( ^p1 8 ^p2 5 ^p3 13)
   ( ^sum )
   ( ^p1 8 ^p2 6 ^p3 14)
   ( ^sum )
   ( ^p1 8 ^p2 7 ^p3 15)
   ( ^sum )
   ( ^p1 8 ^p2 8 ^p3 16)
   ( ^horiz-component )
   ( ^p1 nw ^p2 west)
   ( ^horiz-component )
   ( ^p1 ne ^p2 east)
   ( ^horiz-component )
   ( ^p1 sw ^p2 west)
   ( ^horiz-component )
   ( ^p1 se ^p2 east)
   ( ^horiz-component )
   ( ^p1 west ^p2 west)
   ( ^horiz-component )
   ( ^p1 east ^p2 east)
}
sp {propose*update-state
   (state  ^io )
   ( ^output-link )
   ( ^ )
-->
   ( ^operator  + <)
   ( ^name update-state)
}
sp {apply*update-state
   (state  ^name game ^operator  ^io )
   ( ^name update-state)
   ( ^output-link )
   ( ^ )
-->
   ( ^  -)
}
sp {game*elaborate*fake-response
   (state  ^io )
   ( ^output-link  ^input-link )
   ( ^ )
-->
   ( ^last-moves )
   ( ^explorer )
   ( ^ )
}
sp {game*elaborate*problem-space
   (state  ^name game)
-->
   ( ^problem-space )
   ( ^name game ^default-state-copy yes ^one-level-attributes facts ^two-level-attributes gs)
}
sp {game*elaborate*selection-space-fake-io
   (state  ^duplicate-of )
-->
   ( ^io )
   ( ^input-link  ^output-link )
}
sp {elaborate*elab-link
   (state  ^type state)
-->
   ( ^elaborations )
}




    © 2015 - 2025 Weber Informatics LLC | Privacy Policy