Celf ver 2.9. Copyright (C) 2011
Setting random seed 201714517
[reading world/swallows/swallows.clf]
character: type.
room: type.
kitchen: room.
living_room: room.
dining_room: room.
front_hall: room.
driveway: room.
garage: room.
path_by_the_shed: room.
shed: room.
upstairs_hall: room.
study: room.
bathroom: room.
bedroom: room.
adj: room -> room -> type.
-: adj kitchen dining_room.
-: adj kitchen front_hall.
-: adj living_room dining_room.
-: adj living_room front_hall.
-: adj dining_room front_hall.
-: adj dining_room kitchen.
-: adj front_hall kitchen.
-: adj front_hall living_room.
-: adj front_hall driveway.
-: adj front_hall upstairs_hall.
-: adj driveway front_hall.
-: adj driveway garage.
-: adj driveway path_by_the_shed.
-: adj garage driveway.
-: adj path_by_the_shed driveway.
-: adj path_by_the_shed shed.
-: adj shed path_by_the_shed.
-: adj upstairs_hall bedroom.
-: adj upstairs_hall front_hall.
-: adj upstairs_hall study.
-: adj upstairs_hall bathroom.
-: adj bedroom upstairs_hall.
-: adj study upstairs_hall.
-: adj bathroom upstairs_hall.
exit: room -> type.
exit/driveway: exit driveway.
exit/front_hall: exit front_hall.
loc: character -> room -> type.
object: type.
golden_falcon: object.
stolen_jewels: object.
cupboards: object.
cabinet: object.
mailbox: object.
toolbox: object.
bedsheets: object.
revolver: object.
dead_body: object.
portable: object -> type.
portable/revolver: portable revolver.
portable/mf: portable golden_falcon.
portable/sj: portable stolen_jewels.
horrible: object -> type.
horrible/body: horrible dead_body.
container: object -> type.
container/cupboards: container cupboards.
container/cabinet: container cabinet.
container/mailbox: container mailbox.
container/toolbox: container toolbox.
treasure: object -> type.
treasure/falcon: treasure golden_falcon.
treasure/jewels: treasure stolen_jewels.
object_loc: type.
has: character -> object_loc.
inroom: room -> object_loc.
inside: object -> object_loc.
loc_o: object -> object_loc -> type.
greet: Pi C: character. Pi C': character. Pi R: room. (loc C R * loc C' R) -o {loc C R * loc C' R}.
observe_location: Pi C: character. Pi C': character. Pi R: room. (loc C R * loc C' R) -o {loc C R * loc C' R}.
observe_with: Pi C: character. Pi C': character. Pi O: object. Pi R: room. (loc C R * (loc C' R * loc_o O (has !C'))) -o {loc C R * (loc C' R * loc_o O (has !C'))}.
steal_with_revolver: Pi C: character. Pi C': character. Pi R: room. Pi O: object. (loc C R * (loc C' R * (loc_o revolver (has !C) * loc_o O (has !C')))) -o {loc C R * (loc C' R * (loc_o revolver (has !C) * loc_o O (has !C)))}.
move: Pi C: character. Pi R: room. Pi R': room. (loc C R * adj R R') -o {loc C R'}.
leave_observed: Pi C: character. Pi C': character. Pi R: room. Pi R': room. (loc C R * (loc C' R * adj R R')) -o {loc C R' * loc C' R}.
pickup: Pi C: character. Pi O: object. Pi R: room. (loc C R * (loc_o O (inroom !R) * portable O)) -o {loc C R * loc_o O (has !C)}.
search: Pi R: room. Pi C: character. Pi B: object. Pi O: object. (loc C R * (loc_o B (inroom !R) * loc_o O (inside !B))) -o {loc C R * (loc_o B (inroom !R) * loc_o O (has !C))}.
stash: Pi R: room. Pi C: character. Pi B: object. Pi O: object. (loc C R * (loc_o B (inroom !R) * (loc_o O (has !C) * (container B * treasure O)))) -o {loc C R * (loc_o B (inroom !R) * loc_o O (inside !B))}.
observe: Pi C: character. Pi O: object. Pi R: room. (loc C R * loc_o O (inroom !R)) -o {loc C R * loc_o O (inroom !R)}.
observe_horror: Pi C: character. Pi O: object. Pi R: room. (loc C R * (loc_o O (inroom !R) * horrible O)) -o {loc C R * loc_o O (inroom !R)}.
ending: type.
droveaway: character -> ending.
lefttogether: character -> character -> ending.
fin: ending -> type.
leave_together: Pi C: character. Pi C': character. Pi R: room. Pi O: object. Pi O': object. (loc C R * (loc C' R * (loc_o O (has !C) * (loc_o O' (has !C') * (treasure O * (treasure O' * exit R)))))) -o {loc_o O (has !C) * (loc_o O' (has !C') * fin (lefttogether !C !C'))}.
drive_away: Pi C: character. Pi O: object. Pi O': object. (loc C garage * (loc_o O (has !C) * loc_o O' (has !C))) -o {fin (droveaway !C) * (loc_o O (has !C) * loc_o O' (has !C))}.
fin_droveaway: Pi C: character. Pi C': character. Pi R: room. (loc C R * fin (droveaway !C')) -o {fin (droveaway !C')}.
fin_together: Pi C: character. Pi C1: character. Pi C2: character. Pi R: room. (loc C R * fin (lefttogether !C1 !C2)) -o {fin (lefttogether !C1 !C2)}.
Iteration 1
Solution: \!'alice. \!'bob. \[X1, [X2, [X3, [X4, [X5, [X6, [X7, [X8, [X9, [X10, X11]]]]]]]]]]. {
let {[X12, [X13, X14]]} = search !'alice !bedsheets !stolen_jewels [X1, [X6, X10]] in
let {X15} = move !'alice !bedroom !upstairs_hall [X12, -21] in
let {X16} = move !'bob !front_hall !living_room [X2, -7] in
let {X17} = move !'bob !living_room !front_hall [X16, -3] in
let {X18} = move !'bob !front_hall !driveway [X17, -8] in
let {[X19, X20]} = observe !'bob !mailbox !driveway [X18, X5] in
let {X21} = move !'bob !driveway !garage [X19, -11] in
let {X22} = move !'alice !upstairs_hall !study [X15, -19] in
let {X23} = move !'alice !study !upstairs_hall [X22, -22] in
let {X24} = move !'alice !upstairs_hall !bedroom [X23, -17] in
let {X25} = move !'alice !bedroom !upstairs_hall [X24, -21] in
let {X26} = move !'bob !garage !driveway [X21, -13] in
let {X27} = move !'bob !driveway !path_by_the_shed [X26, -12] in
let {X28} = move !'alice !upstairs_hall !bathroom [X25, -20] in
let {X29} = move !'alice !bathroom !upstairs_hall [X28, -23] in
let {X30} = move !'alice !upstairs_hall !bathroom [X29, -20] in
let {X31} = move !'bob !path_by_the_shed !driveway [X27, -14] in
let {[X32, X33]} = observe_horror !'alice !dead_body !bathroom [X30, [X11, horrible/body]] in
let {[X34, X35]} = observe_horror !'alice !dead_body !bathroom [X32, [X33, horrible/body]] in
let {[X36, X37]} = observe !'bob !mailbox !driveway [X31, X20] in
let {X38} = move !'bob !driveway !front_hall [X36, -10] in
let {[X39, X40]} = observe_horror !'alice !dead_body !bathroom [X34, [X35, horrible/body]] in
let {[X41, X42]} = observe !'alice !dead_body !bathroom [X39, X40] in
let {[X43, X44]} = observe !'alice !dead_body !bathroom [X41, X42] in
let {X45} = move !'bob !front_hall !driveway [X38, -8] in
let {[X46, X47]} = observe_horror !'alice !dead_body !bathroom [X43, [X44, horrible/body]] in
let {[X48, X49]} = observe_horror !'alice !dead_body !bathroom [X46, [X47, horrible/body]] in
let {[X50, X51]} = observe_horror !'alice !dead_body !bathroom [X48, [X49, horrible/body]] in
let {[X52, X53]} = observe !'bob !mailbox !driveway [X45, X37] in
let {[X54, X55]} = observe !'alice !dead_body !bathroom [X50, X51] in
let {[X56, X57]} = observe !'bob !mailbox !driveway [X52, X53] in
let {X58} = move !'alice !bathroom !upstairs_hall [X54, -23] in
let {X59} = move !'alice !upstairs_hall !bedroom [X58, -17] in
let {X60} = move !'alice !bedroom !upstairs_hall [X59, -21] in
let {[X61, X62]} = observe !'bob !mailbox !driveway [X56, X57] in
let {[X63, X64]} = observe !'bob !mailbox !driveway [X61, X62] in
let {[X65, X66]} = observe !'bob !mailbox !driveway [X63, X64] in
let {[X67, X68]} = observe !'bob !mailbox !driveway [X65, X66] in
let {X69} = move !'bob !driveway !garage [X67, -11] in
let {X70} = move !'bob !garage !driveway [X69, -13] in
let {X71} = move !'alice !upstairs_hall !front_hall [X60, -18] in
let {X72} = move !'bob !driveway !garage [X70, -11] in
let {X73} = move !'bob !garage !driveway [X72, -13] in
let {[X74, X75]} = observe !'bob !mailbox !driveway [X73, X68] in
let {[X76, X77]} = observe !'bob !mailbox !driveway [X74, X75] in
let {[X78, X79]} = observe !'bob !mailbox !driveway [X76, X77] in
let {[X80, X81]} = observe !'bob !mailbox !driveway [X78, X79] in
let {X82} = move !'alice !front_hall !kitchen [X71, -6] in
let {[X83, [X84, X85]]} = stash !'alice !cupboards !stolen_jewels [X82, [X3, [X14, [container/cupboards, treasure/jewels]]]] in
let {X86} = move !'alice !kitchen !front_hall [X83, -1] in
let {X87} = move !'bob !driveway !front_hall [X80, -10] in
let {[X88, X89]} = observe_location !'alice !'bob !front_hall [X86, X87] in
let {X90} = move !'bob !front_hall !upstairs_hall [X89, -9] in
let {X91} = move !'alice !front_hall !driveway [X88, -8] in
let {[X92, X93]} = observe !'alice !mailbox !driveway [X91, X81] in
let {[X94, X95]} = observe !'alice !mailbox !driveway [X92, X93] in
let {X96} = move !'bob !upstairs_hall !bedroom [X90, -17] in
let {[X97, X98]} = observe !'alice !mailbox !driveway [X94, X95] in
let {X99} = move !'alice !driveway !front_hall [X97, -10] in
let {[X100, X101]} = observe !'bob !bedsheets !bedroom [X96, X13] in
let {X102} = move !'alice !front_hall !upstairs_hall [X99, -9] in
let {[X103, X104]} = observe !'bob !bedsheets !bedroom [X100, X101] in
let {[X105, X106]} = observe !'bob !bedsheets !bedroom [X103, X104] in
let {X107} = move !'alice !upstairs_hall !bedroom [X102, -17] in
let {X108} = move !'alice !bedroom !upstairs_hall [X107, -21] in
let {X109} = move !'alice !upstairs_hall !bedroom [X108, -17] in
let {[X110, X111]} = observe !'bob !bedsheets !bedroom [X105, X106] in
let {[X112, X113]} = observe !'alice !bedsheets !bedroom [X109, X111] in
let {[X114, X115]} = greet !'bob !'alice !bedroom [X110, X112] in
let {X116} = move !'alice !bedroom !upstairs_hall [X115, -21] in
let {X117} = move !'bob !bedroom !upstairs_hall [X114, -21] in
let {[X118, X119]} = leave_observed !'alice !'bob !upstairs_hall !bathroom [X116, [X117, -20]] in
let {[X120, X121]} = observe_horror !'alice !dead_body !bathroom [X118, [X55, horrible/body]] in
let {X122} = move !'bob !upstairs_hall !bathroom [X119, -20] in
let {[X123, X124]} = observe_location !'bob !'alice !bathroom [X122, X120] in
let {[X125, X126]} = observe_location !'alice !'bob !bathroom [X124, X123] in
let {[X127, X128]} = leave_observed !'alice !'bob !bathroom !upstairs_hall [X125, [X126, -23]] in
let {[X129, X130]} = observe !'bob !dead_body !bathroom [X128, X121] in
let {X131} = move !'bob !bathroom !upstairs_hall [X129, -23] in
let {[X132, X133]} = leave_observed !'alice !'bob !upstairs_hall !bedroom [X127, [X131, -17]] in
let {[X134, X135]} = observe !'alice !bedsheets !bedroom [X132, X113] in
let {[X136, X137]} = observe !'alice !bedsheets !bedroom [X134, X135] in
let {X138} = move !'alice !bedroom !upstairs_hall [X136, -21] in
let {X139} = move !'bob !upstairs_hall !front_hall [X133, -18] in
let {X140} = move !'alice !upstairs_hall !bedroom [X138, -17] in
let {[X141, X142]} = observe !'alice !bedsheets !bedroom [X140, X137] in
let {[X143, X144]} = observe !'alice !bedsheets !bedroom [X141, X142] in
let {X145} = move !'alice !bedroom !upstairs_hall [X143, -21] in
let {X146} = move !'alice !upstairs_hall !study [X145, -19] in
let {X147} = move !'bob !front_hall !driveway [X139, -8] in
let {[X148, X149]} = observe !'bob !mailbox !driveway [X147, X98] in
let {X150} = move !'bob !driveway !path_by_the_shed [X148, -12] in
let {X151} = move !'alice !study !upstairs_hall [X146, -22] in
let {X152} = move !'alice !upstairs_hall !bathroom [X151, -20] in
let {[X153, X154]} = observe_horror !'alice !dead_body !bathroom [X152, [X130, horrible/body]] in
let {X155} = move !'alice !bathroom !upstairs_hall [X153, -23] in
let {X156} = move !'bob !path_by_the_shed !driveway [X150, -14] in
let {X157} = move !'alice !upstairs_hall !study [X155, -19] in
let {X158} = move !'bob !driveway !garage [X156, -11] in
let {X159} = move !'bob !garage !driveway [X158, -13] in
let {[X160, X161]} = observe !'bob !mailbox !driveway [X159, X149] in
let {X162} = move !'alice !study !upstairs_hall [X157, -22] in
let {X163} = move !'alice !upstairs_hall !front_hall [X162, -18] in
let {[X164, X165]} = observe !'bob !mailbox !driveway [X160, X161] in
let {[X166, X167]} = observe !'bob !mailbox !driveway [X164, X165] in
let {X168} = move !'bob !driveway !garage [X166, -11] in
let {X169} = move !'bob !garage !driveway [X168, -13] in
let {X170} = move !'bob !driveway !path_by_the_shed [X169, -12] in
let {X171} = move !'alice !front_hall !kitchen [X163, -6] in
let {[X172, [X173, X174]]} = search !'alice !cupboards !stolen_jewels [X171, [X84, X85]] in
let {[X175, X176]} = observe !'alice !cabinet !kitchen [X172, X4] in
let {[X177, X178]} = observe !'alice !cupboards !kitchen [X175, X173] in
let {X179} = move !'alice !kitchen !dining_room [X177, -] in
let {X180} = move !'alice !dining_room !front_hall [X179, -4] in
let {X181} = move !'alice !front_hall !upstairs_hall [X180, -9] in
let {X182} = move !'alice !upstairs_hall !bathroom [X181, -20] in
let {X183} = move !'alice !bathroom !upstairs_hall [X182, -23] in
let {X184} = move !'bob !path_by_the_shed !driveway [X170, -14] in
let {X185} = move !'alice !upstairs_hall !bedroom [X183, -17] in
let {[X186, X187]} = observe !'bob !mailbox !driveway [X184, X167] in
let {X188} = move !'alice !bedroom !upstairs_hall [X185, -21] in
let {[X189, X190]} = observe !'bob !mailbox !driveway [X186, X187] in
let {X191} = move !'bob !driveway !path_by_the_shed [X189, -12] in
let {X192} = move !'alice !upstairs_hall !front_hall [X188, -18] in
let {X193} = move !'alice !front_hall !living_room [X192, -7] in
let {X194} = move !'bob !path_by_the_shed !shed [X191, -15] in
let {[X195, [X196, X197]]} = search !'bob !toolbox !golden_falcon [X194, [X7, X9]] in
let {[X198, X199]} = observe !'bob !toolbox !shed [X195, X196] in
let {[X200, [X201, X202]]} = stash !'bob !toolbox !golden_falcon [X198, [X199, [X197, [container/toolbox, treasure/falcon]]]] in
let {X203} = move !'bob !shed !path_by_the_shed [X200, -16] in
let {X204} = move !'bob !path_by_the_shed !shed [X203, -15] in
let {[X205, [X206, X207]]} = search !'bob !toolbox !golden_falcon [X204, [X201, X202]] in
let {X208} = move !'alice !living_room !dining_room [X193, -2] in
let {X209} = move !'bob !shed !path_by_the_shed [X205, -16] in
let {X210} = move !'alice !dining_room !front_hall [X208, -4] in
let {X211} = move !'bob !path_by_the_shed !driveway [X209, -14] in
let {[X212, [X213, X214]]} = stash !'bob !mailbox !golden_falcon [X211, [X190, [X207, [container/mailbox, treasure/falcon]]]] in
let {[X215, X216]} = observe !'bob !mailbox !driveway [X212, X213] in
let {[X217, [X218, X219]]} = search !'bob !mailbox !golden_falcon [X215, [X216, X214]] in
let {[X220, X221]} = observe !'bob !mailbox !driveway [X217, X218] in
let {X222} = move !'alice !front_hall !kitchen [X210, -6] in
let {[X223, [X224, X225]]} = search !'alice !cabinet !revolver [X222, [X176, X8]] in
let {X226} = move !'bob !driveway !path_by_the_shed [X220, -12] in
let {[X227, [X228, X229]]} = stash !'alice !cabinet !stolen_jewels [X223, [X224, [X174, [container/cabinet, treasure/jewels]]]] in
let {[X230, [X231, X232]]} = search !'alice !cabinet !stolen_jewels [X227, [X228, X229]] in
let {[X233, X234]} = observe !'alice !cabinet !kitchen [X230, X231] in
let {[X235, [X236, X237]]} = stash !'alice !cupboards !stolen_jewels [X233, [X178, [X232, [container/cupboards, treasure/jewels]]]] in
let {X238} = move !'alice !kitchen !front_hall [X235, -1] in
let {X239} = move !'alice !front_hall !living_room [X238, -7] in
let {X240} = move !'alice !living_room !front_hall [X239, -3] in
let {X241} = move !'alice !front_hall !driveway [X240, -8] in
let {X242} = move !'alice !driveway !garage [X241, -11] in
let {X243} = move !'alice !garage !driveway [X242, -13] in
let {X244} = move !'bob !path_by_the_shed !driveway [X226, -14] in
let {[X245, [X246, X247]]} = stash !'bob !mailbox !golden_falcon [X244, [X221, [X219, [container/mailbox, treasure/falcon]]]] in
let {[X248, [X249, X250]]} = search !'alice !mailbox !golden_falcon [X243, [X246, X247]] in
let {[X251, X252]} = observe_location !'alice !'bob !driveway [X248, X245] in
let {[X253, [X254, X255]]} = observe_with !'bob !'alice !golden_falcon !driveway [X252, [X251, X250]] in
let {X256} = move !'bob !driveway !front_hall [X253, -10] in
let {[X257, X258]} = observe !'alice !mailbox !driveway [X254, X249] in
let {[X259, [X260, X261]]} = stash !'alice !mailbox !golden_falcon [X257, [X258, [X255, [container/mailbox, treasure/falcon]]]] in
let {X262} = move !'bob !front_hall !upstairs_hall [X256, -9] in
let {[X263, [X264, X265]]} = search !'alice !mailbox !golden_falcon [X259, [X260, X261]] in
let {X266} = move !'alice !driveway !front_hall [X263, -10] in
let {X267} = move !'bob !upstairs_hall !bedroom [X262, -17] in
let {X268} = move !'bob !bedroom !upstairs_hall [X267, -21] in
let {X269} = move !'alice !front_hall !upstairs_hall [X266, -9] in
let {[X270, X271]} = observe_location !'alice !'bob !upstairs_hall [X269, X268] in
let {[X272, X273]} = observe_location !'alice !'bob !upstairs_hall [X270, X271] in
let {[X274, X275]} = leave_observed !'bob !'alice !upstairs_hall !study [X273, [X272, -19]] in
let {X276} = move !'alice !upstairs_hall !front_hall [X275, -18] in
let {X277} = move !'alice !front_hall !driveway [X276, -8] in
let {[X278, [X279, X280]]} = stash !'alice !mailbox !golden_falcon [X277, [X264, [X265, [container/mailbox, treasure/falcon]]]] in
let {X281} = move !'bob !study !upstairs_hall [X274, -22] in
let {X282} = move !'alice !driveway !path_by_the_shed [X278, -12] in
let {X283} = move !'alice !path_by_the_shed !shed [X282, -15] in
let {[X284, X285]} = observe !'alice !toolbox !shed [X283, X206] in
let {[X286, X287]} = observe !'alice !toolbox !shed [X284, X285] in
let {X288} = move !'bob !upstairs_hall !study [X281, -19] in
let {[X289, X290]} = observe !'alice !toolbox !shed [X286, X287] in
let {[X291, X292]} = observe !'alice !toolbox !shed [X289, X290] in
let {[X293, X294]} = observe !'alice !toolbox !shed [X291, X292] in
let {[X295, X296]} = observe !'alice !toolbox !shed [X293, X294] in
let {[X297, X298]} = observe !'alice !toolbox !shed [X295, X296] in
let {X299} = move !'bob !study !upstairs_hall [X288, -22] in
let {[X300, X301]} = observe !'alice !toolbox !shed [X297, X298] in
let {X302} = move !'alice !shed !path_by_the_shed [X300, -16] in
let {X303} = move !'bob !upstairs_hall !bedroom [X299, -17] in
let {X304} = move !'bob !bedroom !upstairs_hall [X303, -21] in
let {X305} = move !'alice !path_by_the_shed !shed [X302, -15] in
let {[X306, X307]} = observe !'alice !toolbox !shed [X305, X301] in
let {[X308, X309]} = observe !'alice !toolbox !shed [X306, X307] in
let {X310} = move !'alice !shed !path_by_the_shed [X308, -16] in
let {X311} = move !'alice !path_by_the_shed !shed [X310, -15] in
let {[X312, X313]} = observe !'alice !toolbox !shed [X311, X309] in
let {X314} = move !'bob !upstairs_hall !study [X304, -19] in
let {X315} = move !'alice !shed !path_by_the_shed [X312, -16] in
let {X316} = move !'alice !path_by_the_shed !driveway [X315, -14] in
let {[X317, [X318, X319]]} = search !'alice !mailbox !golden_falcon [X316, [X279, X280]] in
let {[X320, X321]} = observe !'alice !mailbox !driveway [X317, X318] in
let {[X322, [X323, X324]]} = stash !'alice !mailbox !golden_falcon [X320, [X321, [X319, [container/mailbox, treasure/falcon]]]] in
let {[X325, [X326, X327]]} = search !'alice !mailbox !golden_falcon [X322, [X323, X324]] in
let {[X328, [X329, X330]]} = stash !'alice !mailbox !golden_falcon [X325, [X326, [X327, [container/mailbox, treasure/falcon]]]] in
let {[X331, [X332, X333]]} = search !'alice !mailbox !golden_falcon [X328, [X329, X330]] in
let {[X334, X335]} = observe !'alice !mailbox !driveway [X331, X332] in
let {[X336, [X337, X338]]} = stash !'alice !mailbox !golden_falcon [X334, [X335, [X333, [container/mailbox, treasure/falcon]]]] in
let {[X339, X340]} = observe !'alice !mailbox !driveway [X336, X337] in
let {[X341, X342]} = observe !'alice !mailbox !driveway [X339, X340] in
let {[X343, [X344, X345]]} = search !'alice !mailbox !golden_falcon [X341, [X342, X338]] in
let {[X346, X347]} = observe !'alice !mailbox !driveway [X343, X344] in
let {[X348, [X349, X350]]} = stash !'alice !mailbox !golden_falcon [X346, [X347, [X345, [container/mailbox, treasure/falcon]]]] in
let {[X351, X352]} = observe !'alice !mailbox !driveway [X348, X349] in
let {[X353, [X354, X355]]} = search !'alice !mailbox !golden_falcon [X351, [X352, X350]] in
let {[X356, X357]} = observe !'alice !mailbox !driveway [X353, X354] in
let {X358} = move !'alice !driveway !garage [X356, -11] in
let {[X359, [X360, X361]]} = drive_away !'alice !revolver !golden_falcon [X358, [X225, X355]] in
let {X362} = move !'bob !study !upstairs_hall [X314, -22] in
let {X363} = fin_droveaway !'bob !'alice !upstairs_hall [X362, X359] in [X236, [X234, [X357, [X144, [X313, [X360, [X361, [X237, [X154, X363]]]]]]]]]}
#A = \!X364. \!X365. inroom !kitchen
#B = \!X366. \!X367. inroom !kitchen
#C = \!X368. \!X369. inroom !driveway
#D = \!X370. \!X371. inroom !bedroom
#E = \!X372. \!X373. inroom !shed
#F = \!X374. \!X375. has !X374
#G = \!X376. \!X377. has !X376
#H = \!X378. \!X379. inside !cupboards
#I = \!X380. \!X381. inroom !bathroom
#J = \!X382. \!X383. droveaway !X382
Iteration 2
Solution: \!'alice. \!'bob. \[X384, [X385, [X386, [X387, [X388, [X389, [X390, [X391, [X392, [X393, X394]]]]]]]]]]. {
let {X395} = move !'alice !bedroom !upstairs_hall [X384, -21] in
let {X396} = move !'alice !upstairs_hall !study [X395, -19] in
let {X397} = move !'bob !front_hall !kitchen [X385, -6] in
let {[X398, [X399, X400]]} = search !'bob !cabinet !revolver [X397, [X387, X391]] in
let {[X401, X402]} = observe !'bob !cabinet !kitchen [X398, X399] in
let {X403} = move !'alice !study !upstairs_hall [X396, -22] in
let {[X404, X405]} = observe !'bob !cabinet !kitchen [X401, X402] in
let {[X406, X407]} = observe !'bob !cabinet !kitchen [X404, X405] in
let {[X408, X409]} = observe !'bob !cabinet !kitchen [X406, X407] in
let {[X410, X411]} = observe !'bob !cupboards !kitchen [X408, X386] in
let {[X412, X413]} = observe !'bob !cabinet !kitchen [X410, X409] in
let {X414} = move !'alice !upstairs_hall !front_hall [X403, -18] in
let {[X415, X416]} = observe !'bob !cupboards !kitchen [X412, X411] in
let {[X417, X418]} = observe !'bob !cabinet !kitchen [X415, X413] in
let {X419} = move !'alice !front_hall !upstairs_hall [X414, -9] in
let {X420} = move !'bob !kitchen !dining_room [X417, -] in
let {X421} = move !'bob !dining_room !front_hall [X420, -4] in
let {X422} = move !'bob !front_hall !upstairs_hall [X421, -9] in
let {[X423, [X424, X425]]} = observe_with !'alice !'bob !revolver !upstairs_hall [X419, [X422, X400]] in
let {X426} = move !'alice !upstairs_hall !bathroom [X423, -20] in
let {[X427, X428]} = observe !'alice !dead_body !bathroom [X426, X394] in
let {[X429, X430]} = observe !'alice !dead_body !bathroom [X427, X428] in
let {[X431, X432]} = observe !'alice !dead_body !bathroom [X429, X430] in
let {[X433, X434]} = observe !'alice !dead_body !bathroom [X431, X432] in
let {X435} = move !'alice !bathroom !upstairs_hall [X433, -23] in
let {[X436, X437]} = greet !'bob !'alice !upstairs_hall [X424, X435] in
let {[X438, X439]} = leave_observed !'bob !'alice !upstairs_hall !bedroom [X436, [X437, -17]] in
let {X440} = move !'bob !bedroom !upstairs_hall [X438, -21] in
let {X441} = move !'alice !upstairs_hall !front_hall [X439, -18] in
let {X442} = move !'bob !upstairs_hall !bedroom [X440, -17] in
let {[X443, X444]} = observe !'bob !bedsheets !bedroom [X442, X389] in
let {[X445, X446]} = observe !'bob !bedsheets !bedroom [X443, X444] in
let {X447} = move !'bob !bedroom !upstairs_hall [X445, -21] in
let {X448} = move !'alice !front_hall !living_room [X441, -7] in
let {X449} = move !'bob !upstairs_hall !study [X447, -19] in
let {X450} = move !'alice !living_room !dining_room [X448, -2] in
let {X451} = move !'alice !dining_room !kitchen [X450, -5] in
let {X452} = move !'alice !kitchen !front_hall [X451, -1] in
let {X453} = move !'bob !study !upstairs_hall [X449, -22] in
let {X454} = move !'alice !front_hall !living_room [X452, -7] in
let {X455} = move !'bob !upstairs_hall !study [X453, -19] in
let {X456} = move !'bob !study !upstairs_hall [X455, -22] in
let {X457} = move !'alice !living_room !dining_room [X454, -2] in
let {X458} = move !'alice !dining_room !front_hall [X457, -4] in
let {X459} = move !'alice !front_hall !upstairs_hall [X458, -9] in
let {[X460, X461]} = observe_location !'bob !'alice !upstairs_hall [X456, X459] in
let {[X462, X463]} = observe_location !'bob !'alice !upstairs_hall [X460, X461] in
let {[X464, X465]} = observe_location !'bob !'alice !upstairs_hall [X462, X463] in
let {[X466, X467]} = leave_observed !'bob !'alice !upstairs_hall !bedroom [X464, [X465, -17]] in
let {[X468, [X469, X470]]} = search !'bob !bedsheets !stolen_jewels [X466, [X446, X393]] in
let {[X471, X472]} = observe !'bob !bedsheets !bedroom [X468, X469] in
let {X473} = move !'bob !bedroom !upstairs_hall [X471, -21] in
let {X474} = move !'alice !upstairs_hall !front_hall [X467, -18] in
let {X475} = move !'alice !front_hall !living_room [X474, -7] in
let {X476} = move !'bob !upstairs_hall !bathroom [X473, -20] in
let {X477} = move !'alice !living_room !dining_room [X475, -2] in
let {X478} = move !'bob !bathroom !upstairs_hall [X476, -23] in
let {X479} = move !'bob !upstairs_hall !study [X478, -19] in
let {X480} = move !'bob !study !upstairs_hall [X479, -22] in
let {X481} = move !'bob !upstairs_hall !bathroom [X480, -20] in
let {[X482, X483]} = observe_horror !'bob !dead_body !bathroom [X481, [X434, horrible/body]] in
let {[X484, X485]} = observe_horror !'bob !dead_body !bathroom [X482, [X483, horrible/body]] in
let {[X486, X487]} = observe_horror !'bob !dead_body !bathroom [X484, [X485, horrible/body]] in
let {[X488, X489]} = observe !'bob !dead_body !bathroom [X486, X487] in
let {[X490, X491]} = observe !'bob !dead_body !bathroom [X488, X489] in
let {[X492, X493]} = observe_horror !'bob !dead_body !bathroom [X490, [X491, horrible/body]] in
let {[X494, X495]} = observe !'bob !dead_body !bathroom [X492, X493] in
let {[X496, X497]} = observe !'bob !dead_body !bathroom [X494, X495] in
let {[X498, X499]} = observe !'bob !dead_body !bathroom [X496, X497] in
let {[X500, X501]} = observe_horror !'bob !dead_body !bathroom [X498, [X499, horrible/body]] in
let {X502} = move !'alice !dining_room !kitchen [X477, -5] in
let {[X503, X504]} = observe_horror !'bob !dead_body !bathroom [X500, [X501, horrible/body]] in
let {[X505, X506]} = observe_horror !'bob !dead_body !bathroom [X503, [X504, horrible/body]] in
let {[X507, X508]} = observe_horror !'bob !dead_body !bathroom [X505, [X506, horrible/body]] in
let {X509} = move !'bob !bathroom !upstairs_hall [X507, -23] in
let {[X510, X511]} = observe !'alice !cupboards !kitchen [X502, X416] in
let {X512} = move !'alice !kitchen !front_hall [X510, -1] in
let {X513} = move !'bob !upstairs_hall !front_hall [X509, -18] in
let {[X514, X515]} = observe_location !'bob !'alice !front_hall [X513, X512] in
let {[X516, X517]} = greet !'alice !'bob !front_hall [X515, X514] in
let {[X518, [X519, X520]]} = observe_with !'alice !'bob !revolver !front_hall [X516, [X517, X425]] in
let {[X521, X522]} = leave_observed !'alice !'bob !front_hall !upstairs_hall [X518, [X519, -9]] in
let {X523} = move !'bob !front_hall !kitchen [X522, -6] in
let {[X524, [X525, X526]]} = stash !'bob !cabinet !stolen_jewels [X523, [X418, [X470, [container/cabinet, treasure/jewels]]]] in
let {X527} = move !'bob !kitchen !dining_room [X524, -] in
let {X528} = move !'bob !dining_room !kitchen [X527, -5] in
let {[X529, X530]} = observe !'bob !cabinet !kitchen [X528, X525] in
let {[X531, X532]} = observe !'bob !cabinet !kitchen [X529, X530] in
let {[X533, X534]} = observe !'bob !cabinet !kitchen [X531, X532] in
let {[X535, X536]} = observe !'bob !cabinet !kitchen [X533, X534] in
let {[X537, [X538, X539]]} = search !'bob !cabinet !stolen_jewels [X535, [X536, X526]] in
let {[X540, X541]} = observe !'bob !cupboards !kitchen [X537, X511] in
let {X542} = move !'bob !kitchen !dining_room [X540, -] in
let {X543} = move !'bob !dining_room !front_hall [X542, -4] in
let {X544} = move !'alice !upstairs_hall !front_hall [X521, -18] in
let {[X545, X546]} = greet !'bob !'alice !front_hall [X543, X544] in
let {X547} = move !'bob !front_hall !living_room [X545, -7] in
let {X548} = move !'bob !living_room !front_hall [X547, -3] in
let {[X549, X550]} = greet !'alice !'bob !front_hall [X546, X548] in
let {[X551, X552]} = leave_observed !'bob !'alice !front_hall !living_room [X550, [X549, -7]] in
let {X553} = move !'alice !front_hall !kitchen [X552, -6] in
let {[X554, X555]} = observe !'alice !cupboards !kitchen [X553, X541] in
let {[X556, X557]} = observe !'alice !cabinet !kitchen [X554, X538] in
let {X558} = move !'bob !living_room !front_hall [X551, -3] in
let {X559} = move !'bob !front_hall !kitchen [X558, -6] in
let {[X560, X561]} = observe_location !'alice !'bob !kitchen [X556, X559] in
let {[X562, [X563, X564]]} = observe_with !'alice !'bob !revolver !kitchen [X560, [X561, X520]] in
let {[X565, X566]} = observe !'alice !cupboards !kitchen [X562, X555] in
let {[X567, X568]} = leave_observed !'bob !'alice !kitchen !dining_room [X563, [X565, -]] in
let {X569} = move !'bob !dining_room !kitchen [X567, -5] in
let {[X570, X571]} = leave_observed !'alice !'bob !kitchen !front_hall [X568, [X569, -1]] in
let {[X572, X573]} = observe !'bob !cupboards !kitchen [X571, X566] in
let {X574} = move !'bob !kitchen !dining_room [X572, -] in
let {X575} = move !'bob !dining_room !kitchen [X574, -5] in
let {[X576, X577]} = observe !'bob !cupboards !kitchen [X575, X573] in
let {X578} = move !'alice !front_hall !driveway [X570, -8] in
let {[X579, X580]} = observe !'alice !mailbox !driveway [X578, X388] in
let {[X581, [X582, X583]]} = stash !'bob !cupboards !stolen_jewels [X576, [X577, [X539, [container/cupboards, treasure/jewels]]]] in
let {[X584, X585]} = observe !'bob !cupboards !kitchen [X581, X582] in
let {X586} = move !'bob !kitchen !front_hall [X584, -1] in
let {[X587, X588]} = observe !'alice !mailbox !driveway [X579, X580] in
let {[X589, X590]} = observe !'alice !mailbox !driveway [X587, X588] in
let {X591} = move !'bob !front_hall !driveway [X586, -8] in
let {[X592, [X593, X594]]} = observe_with !'alice !'bob !revolver !driveway [X589, [X591, X564]] in
let {[X595, X596]} = greet !'alice !'bob !driveway [X592, X593] in
let {X597} = move !'bob !driveway !path_by_the_shed [X596, -12] in
let {[X598, X599]} = observe !'alice !mailbox !driveway [X595, X590] in
let {X600} = move !'bob !path_by_the_shed !shed [X597, -15] in
let {[X601, [X602, X603]]} = search !'bob !toolbox !golden_falcon [X600, [X390, X392]] in
let {X604} = move !'bob !shed !path_by_the_shed [X601, -16] in
let {[X605, X606]} = observe !'alice !mailbox !driveway [X598, X599] in
let {[X607, X608]} = observe !'alice !mailbox !driveway [X605, X606] in
let {X609} = move !'alice !driveway !garage [X607, -11] in
let {X610} = move !'bob !path_by_the_shed !shed [X604, -15] in
let {[X611, [X612, X613]]} = stash !'bob !toolbox !golden_falcon [X610, [X602, [X603, [container/toolbox, treasure/falcon]]]] in
let {[X614, X615]} = observe !'bob !toolbox !shed [X611, X612] in
let {[X616, [X617, X618]]} = search !'bob !toolbox !golden_falcon [X614, [X615, X613]] in
let {[X619, [X620, X621]]} = stash !'bob !toolbox !golden_falcon [X616, [X617, [X618, [container/toolbox, treasure/falcon]]]] in
let {[X622, X623]} = observe !'bob !toolbox !shed [X619, X620] in
let {[X624, [X625, X626]]} = search !'bob !toolbox !golden_falcon [X622, [X623, X621]] in
let {X627} = move !'alice !garage !driveway [X609, -13] in
let {X628} = move !'bob !shed !path_by_the_shed [X624, -16] in
let {[X629, X630]} = observe !'alice !mailbox !driveway [X627, X608] in
let {X631} = move !'bob !path_by_the_shed !shed [X628, -15] in
let {[X632, X633]} = observe !'bob !toolbox !shed [X631, X625] in
let {[X634, [X635, X636]]} = stash !'bob !toolbox !golden_falcon [X632, [X633, [X626, [container/toolbox, treasure/falcon]]]] in
let {[X637, [X638, X639]]} = search !'bob !toolbox !golden_falcon [X634, [X635, X636]] in
let {[X640, [X641, X642]]} = stash !'bob !toolbox !golden_falcon [X637, [X638, [X639, [container/toolbox, treasure/falcon]]]] in
let {X643} = move !'alice !driveway !garage [X629, -11] in
let {X644} = move !'bob !shed !path_by_the_shed [X640, -16] in
let {X645} = move !'alice !garage !driveway [X643, -13] in
let {X646} = move !'bob !path_by_the_shed !shed [X644, -15] in
let {[X647, [X648, X649]]} = search !'bob !toolbox !golden_falcon [X646, [X641, X642]] in
let {[X650, [X651, X652]]} = stash !'bob !toolbox !golden_falcon [X647, [X648, [X649, [container/toolbox, treasure/falcon]]]] in
let {X653} = move !'alice !driveway !path_by_the_shed [X645, -12] in
let {X654} = move !'bob !shed !path_by_the_shed [X650, -16] in
let {[X655, X656]} = observe_location !'bob !'alice !path_by_the_shed [X654, X653] in
let {[X657, [X658, X659]]} = observe_with !'alice !'bob !revolver !path_by_the_shed [X656, [X655, X594]] in
let {[X660, [X661, X662]]} = observe_with !'alice !'bob !revolver !path_by_the_shed [X657, [X658, X659]] in
let {[X663, X664]} = leave_observed !'alice !'bob !path_by_the_shed !driveway [X660, [X661, -14]] in
let {[X665, X666]} = observe !'alice !mailbox !driveway [X663, X630] in
let {X667} = move !'alice !driveway !front_hall [X665, -10] in
let {X668} = move !'alice !front_hall !driveway [X667, -8] in
let {X669} = move !'alice !driveway !garage [X668, -11] in
let {X670} = move !'alice !garage !driveway [X669, -13] in
let {[X671, X672]} = observe !'alice !mailbox !driveway [X670, X666] in
let {X673} = move !'bob !path_by_the_shed !driveway [X664, -14] in
let {X674} = move !'alice !driveway !front_hall [X671, -10] in
let {X675} = move !'alice !front_hall !living_room [X674, -7] in
let {[X676, X677]} = observe !'bob !mailbox !driveway [X673, X672] in
let {[X678, X679]} = observe !'bob !mailbox !driveway [X676, X677] in
let {[X680, X681]} = observe !'bob !mailbox !driveway [X678, X679] in
let {[X682, X683]} = observe !'bob !mailbox !driveway [X680, X681] in
let {[X684, X685]} = observe !'bob !mailbox !driveway [X682, X683] in
let {[X686, X687]} = observe !'bob !mailbox !driveway [X684, X685] in
let {[X688, X689]} = observe !'bob !mailbox !driveway [X686, X687] in
let {[X690, X691]} = observe !'bob !mailbox !driveway [X688, X689] in
let {X692} = move !'bob !driveway !front_hall [X690, -10] in
let {X693} = move !'alice !living_room !front_hall [X675, -3] in
let {X694} = move !'alice !front_hall !driveway [X693, -8] in
let {X695} = move !'alice !driveway !path_by_the_shed [X694, -12] in
let {X696} = move !'bob !front_hall !upstairs_hall [X692, -9] in
let {X697} = move !'alice !path_by_the_shed !shed [X695, -15] in
let {[X698, X699]} = observe !'alice !toolbox !shed [X697, X651] in
let {X700} = move !'alice !shed !path_by_the_shed [X698, -16] in
let {X701} = move !'bob !upstairs_hall !study [X696, -19] in
let {X702} = move !'alice !path_by_the_shed !shed [X700, -15] in
let {[X703, X704]} = observe !'alice !toolbox !shed [X702, X699] in
let {[X705, [X706, X707]]} = search !'alice !toolbox !golden_falcon [X703, [X704, X652]] in
let {[X708, X709]} = observe !'alice !toolbox !shed [X705, X706] in
let {[X710, X711]} = observe !'alice !toolbox !shed [X708, X709] in
let {[X712, X713]} = observe !'alice !toolbox !shed [X710, X711] in
let {[X714, X715]} = observe !'alice !toolbox !shed [X712, X713] in
let {[X716, [X717, X718]]} = stash !'alice !toolbox !golden_falcon [X714, [X715, [X707, [container/toolbox, treasure/falcon]]]] in
let {X719} = move !'alice !shed !path_by_the_shed [X716, -16] in
let {X720} = move !'bob !study !upstairs_hall [X701, -22] in
let {X721} = move !'alice !path_by_the_shed !shed [X719, -15] in
let {X722} = move !'alice !shed !path_by_the_shed [X721, -16] in
let {X723} = move !'bob !upstairs_hall !bedroom [X720, -17] in
let {[X724, X725]} = observe !'bob !bedsheets !bedroom [X723, X472] in
let {X726} = move !'bob !bedroom !upstairs_hall [X724, -21] in
let {X727} = move !'bob !upstairs_hall !bedroom [X726, -17] in
let {X728} = move !'bob !bedroom !upstairs_hall [X727, -21] in
let {X729} = move !'bob !upstairs_hall !bathroom [X728, -20] in
let {[X730, X731]} = observe_horror !'bob !dead_body !bathroom [X729, [X508, horrible/body]] in
let {[X732, X733]} = observe !'bob !dead_body !bathroom [X730, X731] in
let {[X734, X735]} = observe !'bob !dead_body !bathroom [X732, X733] in
let {X736} = move !'bob !bathroom !upstairs_hall [X734, -23] in
let {X737} = move !'bob !upstairs_hall !front_hall [X736, -18] in
let {X738} = move !'bob !front_hall !living_room [X737, -7] in
let {X739} = move !'alice !path_by_the_shed !driveway [X722, -14] in
let {X740} = move !'bob !living_room !dining_room [X738, -2] in
let {[X741, X742]} = observe !'alice !mailbox !driveway [X739, X691] in
let {[X743, X744]} = observe !'alice !mailbox !driveway [X741, X742] in
let {[X745, X746]} = observe !'alice !mailbox !driveway [X743, X744] in
let {X747} = move !'alice !driveway !path_by_the_shed [X745, -12] in
let {X748} = move !'alice !path_by_the_shed !driveway [X747, -14] in
let {[X749, X750]} = observe !'alice !mailbox !driveway [X748, X746] in
let {[X751, X752]} = observe !'alice !mailbox !driveway [X749, X750] in
let {X753} = move !'bob !dining_room !front_hall [X740, -4] in
let {X754} = move !'alice !driveway !front_hall [X751, -10] in
let {X755} = move !'bob !front_hall !living_room [X753, -7] in
let {X756} = move !'bob !living_room !front_hall [X755, -3] in
let {X757} = move !'bob !front_hall !upstairs_hall [X756, -9] in
let {X758} = move !'alice !front_hall !driveway [X754, -8] in
let {[X759, X760]} = observe !'alice !mailbox !driveway [X758, X752] in
let {[X761, X762]} = observe !'alice !mailbox !driveway [X759, X760] in
let {[X763, X764]} = observe !'alice !mailbox !driveway [X761, X762] in
let {X765} = move !'alice !driveway !front_hall [X763, -10] in
let {X766} = move !'alice !front_hall !living_room [X765, -7] in
let {X767} = move !'alice !living_room !dining_room [X766, -2] in
let {X768} = move !'bob !upstairs_hall !front_hall [X757, -18] in
let {X769} = move !'alice !dining_room !front_hall [X767, -4] in
let {[X770, X771]} = observe_location !'bob !'alice !front_hall [X768, X769] in
let {[X772, [X773, X774]]} = observe_with !'alice !'bob !revolver !front_hall [X771, [X770, X662]] in
let {X775} = move !'alice !front_hall !kitchen [X772, -6] in
let {[X776, [X777, X778]]} = search !'alice !cupboards !stolen_jewels [X775, [X585, X583]] in
let {X779} = move !'bob !front_hall !driveway [X773, -8] in
let {X780} = move !'bob !driveway !path_by_the_shed [X779, -12] in
let {[X781, X782]} = observe !'alice !cabinet !kitchen [X776, X557] in
let {[X783, [X784, X785]]} = stash !'alice !cupboards !stolen_jewels [X781, [X777, [X778, [container/cupboards, treasure/jewels]]]] in
let {[X786, [X787, X788]]} = search !'alice !cupboards !stolen_jewels [X783, [X784, X785]] in
let {[X789, [X790, X791]]} = stash !'alice !cupboards !stolen_jewels [X786, [X787, [X788, [container/cupboards, treasure/jewels]]]] in
let {X792} = move !'bob !path_by_the_shed !shed [X780, -15] in
let {[X793, [X794, X795]]} = search !'bob !toolbox !golden_falcon [X792, [X717, X718]] in
let {[X796, X797]} = observe !'alice !cupboards !kitchen [X789, X790] in
let {[X798, [X799, X800]]} = search !'alice !cupboards !stolen_jewels [X796, [X797, X791]] in
let {X801} = move !'alice !kitchen !dining_room [X798, -] in
let {[X802, [X803, X804]]} = stash !'bob !toolbox !golden_falcon [X793, [X794, [X795, [container/toolbox, treasure/falcon]]]] in
let {[X805, [X806, X807]]} = search !'bob !toolbox !golden_falcon [X802, [X803, X804]] in
let {[X808, [X809, X810]]} = stash !'bob !toolbox !golden_falcon [X805, [X806, [X807, [container/toolbox, treasure/falcon]]]] in
let {[X811, X812]} = observe !'bob !toolbox !shed [X808, X809] in
let {[X813, [X814, X815]]} = search !'bob !toolbox !golden_falcon [X811, [X812, X810]] in
let {[X816, [X817, X818]]} = stash !'bob !toolbox !golden_falcon [X813, [X814, [X815, [container/toolbox, treasure/falcon]]]] in
let {[X819, X820]} = observe !'bob !toolbox !shed [X816, X817] in
let {[X821, [X822, X823]]} = search !'bob !toolbox !golden_falcon [X819, [X820, X818]] in
let {[X824, X825]} = observe !'bob !toolbox !shed [X821, X822] in
let {[X826, X827]} = observe !'bob !toolbox !shed [X824, X825] in
let {[X828, X829]} = observe !'bob !toolbox !shed [X826, X827] in
let {X830} = move !'bob !shed !path_by_the_shed [X828, -16] in
let {X831} = move !'alice !dining_room !kitchen [X801, -5] in
let {X832} = move !'alice !kitchen !front_hall [X831, -1] in
let {X833} = move !'bob !path_by_the_shed !shed [X830, -15] in
let {[X834, X835]} = observe !'bob !toolbox !shed [X833, X829] in
let {X836} = move !'alice !front_hall !living_room [X832, -7] in
let {[X837, [X838, X839]]} = stash !'bob !toolbox !golden_falcon [X834, [X835, [X823, [container/toolbox, treasure/falcon]]]] in
let {X840} = move !'alice !living_room !dining_room [X836, -2] in
let {[X841, [X842, X843]]} = search !'bob !toolbox !golden_falcon [X837, [X838, X839]] in
let {X844} = move !'alice !dining_room !kitchen [X840, -5] in
let {[X845, X846]} = observe !'alice !cabinet !kitchen [X844, X782] in
let {[X847, [X848, X849]]} = stash !'alice !cabinet !stolen_jewels [X845, [X846, [X800, [container/cabinet, treasure/jewels]]]] in
let {[X850, X851]} = observe !'bob !toolbox !shed [X841, X842] in
let {[X852, [X853, X854]]} = search !'alice !cabinet !stolen_jewels [X847, [X848, X849]] in
let {[X855, [X856, X857]]} = stash !'alice !cupboards !stolen_jewels [X852, [X799, [X854, [container/cupboards, treasure/jewels]]]] in
let {[X858, X859]} = observe !'bob !toolbox !shed [X850, X851] in
let {[X860, [X861, X862]]} = stash !'bob !toolbox !golden_falcon [X858, [X859, [X843, [container/toolbox, treasure/falcon]]]] in
let {X863} = move !'alice !kitchen !dining_room [X855, -] in
let {[X864, [X865, X866]]} = search !'bob !toolbox !golden_falcon [X860, [X861, X862]] in
let {[X867, X868]} = observe !'bob !toolbox !shed [X864, X865] in
let {[X869, X870]} = observe !'bob !toolbox !shed [X867, X868] in
let {[X871, [X872, X873]]} = stash !'bob !toolbox !golden_falcon [X869, [X870, [X866, [container/toolbox, treasure/falcon]]]] in
let {X874} = move !'bob !shed !path_by_the_shed [X871, -16] in
let {X875} = move !'alice !dining_room !front_hall [X863, -4] in
let {X876} = move !'alice !front_hall !kitchen [X875, -6] in
let {[X877, [X878, X879]]} = search !'alice !cupboards !stolen_jewels [X876, [X856, X857]] in
let {X880} = move !'alice !kitchen !front_hall [X877, -1] in
let {X881} = move !'alice !front_hall !kitchen [X880, -6] in
let {[X882, [X883, X884]]} = stash !'alice !cupboards !stolen_jewels [X881, [X878, [X879, [container/cupboards, treasure/jewels]]]] in
let {[X885, [X886, X887]]} = search !'alice !cupboards !stolen_jewels [X882, [X883, X884]] in
let {[X888, X889]} = observe !'alice !cupboards !kitchen [X885, X886] in
let {X890} = move !'alice !kitchen !front_hall [X888, -1] in
let {X891} = move !'bob !path_by_the_shed !shed [X874, -15] in
let {[X892, [X893, X894]]} = search !'bob !toolbox !golden_falcon [X891, [X872, X873]] in
let {[X895, [X896, X897]]} = stash !'bob !toolbox !golden_falcon [X892, [X893, [X894, [container/toolbox, treasure/falcon]]]] in
let {X898} = move !'bob !shed !path_by_the_shed [X895, -16] in
let {X899} = move !'alice !front_hall !driveway [X890, -8] in
let {[X900, [X901, X902]]} = stash !'alice !mailbox !stolen_jewels [X899, [X764, [X887, [container/mailbox, treasure/jewels]]]] in
let {X903} = move !'bob !path_by_the_shed !shed [X898, -15] in
let {X904} = move !'alice !driveway !garage [X900, -11] in
let {X905} = move !'alice !garage !driveway [X904, -13] in
let {[X906, X907]} = observe !'bob !toolbox !shed [X903, X896] in
let {[X908, X909]} = observe !'alice !mailbox !driveway [X905, X901] in
let {[X910, X911]} = observe !'alice !mailbox !driveway [X908, X909] in
let {[X912, X913]} = observe !'alice !mailbox !driveway [X910, X911] in
let {[X914, [X915, X916]]} = search !'bob !toolbox !golden_falcon [X906, [X907, X897]] in
let {[X917, [X918, X919]]} = stash !'bob !toolbox !golden_falcon [X914, [X915, [X916, [container/toolbox, treasure/falcon]]]] in
let {[X920, [X921, X922]]} = search !'bob !toolbox !golden_falcon [X917, [X918, X919]] in
let {[X923, [X924, X925]]} = search !'alice !mailbox !stolen_jewels [X912, [X913, X902]] in
let {[X926, X927]} = observe !'alice !mailbox !driveway [X923, X924] in
let {[X928, X929]} = observe !'alice !mailbox !driveway [X926, X927] in
let {X930} = move !'alice !driveway !path_by_the_shed [X928, -12] in
let {[X931, X932]} = observe !'bob !toolbox !shed [X920, X921] in
let {[X933, X934]} = observe !'bob !toolbox !shed [X931, X932] in
let {X935} = move !'bob !shed !path_by_the_shed [X933, -16] in
let {[X936, X937]} = leave_observed !'alice !'bob !path_by_the_shed !driveway [X930, [X935, -14]] in
let {X938} = move !'bob !path_by_the_shed !shed [X937, -15] in
let {[X939, [X940, X941]]} = stash !'bob !toolbox !golden_falcon [X938, [X934, [X922, [container/toolbox, treasure/falcon]]]] in
let {[X942, [X943, X944]]} = search !'bob !toolbox !golden_falcon [X939, [X940, X941]] in
let {X945} = move !'alice !driveway !front_hall [X936, -10] in
let {X946} = move !'alice !front_hall !kitchen [X945, -6] in
let {[X947, [X948, X949]]} = stash !'bob !toolbox !golden_falcon [X942, [X943, [X944, [container/toolbox, treasure/falcon]]]] in
let {[X950, [X951, X952]]} = search !'bob !toolbox !golden_falcon [X947, [X948, X949]] in
let {[X953, X954]} = observe !'alice !cabinet !kitchen [X946, X853] in
let {X955} = move !'alice !kitchen !dining_room [X953, -] in
let {[X956, [X957, X958]]} = stash !'bob !toolbox !golden_falcon [X950, [X951, [X952, [container/toolbox, treasure/falcon]]]] in
let {X959} = move !'alice !dining_room !front_hall [X955, -4] in
let {X960} = move !'bob !shed !path_by_the_shed [X956, -16] in
let {X961} = move !'bob !path_by_the_shed !shed [X960, -15] in
let {X962} = move !'alice !front_hall !kitchen [X959, -6] in
let {X963} = move !'alice !kitchen !front_hall [X962, -1] in
let {X964} = move !'bob !shed !path_by_the_shed [X961, -16] in
let {X965} = move !'bob !path_by_the_shed !shed [X964, -15] in
let {X966} = move !'bob !shed !path_by_the_shed [X965, -16] in
let {X967} = move !'bob !path_by_the_shed !shed [X966, -15] in
let {[X968, [X969, X970]]} = search !'bob !toolbox !golden_falcon [X967, [X957, X958]] in
let {[X971, [X972, X973]]} = stash !'bob !toolbox !golden_falcon [X968, [X969, [X970, [container/toolbox, treasure/falcon]]]] in
let {X974} = move !'bob !shed !path_by_the_shed [X971, -16] in
let {X975} = move !'alice !front_hall !living_room [X963, -7] in
let {X976} = move !'alice !living_room !front_hall [X975, -3] in
let {X977} = move !'bob !path_by_the_shed !shed [X974, -15] in
let {[X978, [X979, X980]]} = search !'bob !toolbox !golden_falcon [X977, [X972, X973]] in
let {X981} = move !'bob !shed !path_by_the_shed [X978, -16] in
let {X982} = move !'alice !front_hall !driveway [X976, -8] in
let {X983} = move !'bob !path_by_the_shed !driveway [X981, -14] in
let {[X984, [X985, X986]]} = leave_together !'alice !'bob !driveway !stolen_jewels !golden_falcon [X982, [X983, [X925, [X980, [treasure/jewels, [treasure/falcon, exit/driveway]]]]]] in [X889, [X954, [X929, [X725, [X979, [X774, [X985, [X984, [X735, X986]]]]]]]]]}
#A = \!X987. \!X988. inroom !kitchen
#B = \!X989. \!X990. inroom !kitchen
#C = \!X991. \!X992. inroom !driveway
#D = \!X993. \!X994. inroom !bedroom
#E = \!X995. \!X996. inroom !shed
#F = \!X997. \!X998. has !X998
#G = \!X999. \!X1000. has !X1000
#H = \!X1001. \!X1002. has !X1001
#I = \!X1003. \!X1004. inroom !bathroom
#J = \!X1005. \!X1006. lefttogether !X1005 !X1006
Iteration 3
Solution: \!'alice. \!'bob. \[X1007, [X1008, [X1009, [X1010, [X1011, [X1012, [X1013, [X1014, [X1015, [X1016, X1017]]]]]]]]]]. {
let {[X1018, [X1019, X1020]]} = search !'alice !bedsheets !stolen_jewels [X1007, [X1012, X1016]] in
let {X1021} = move !'alice !bedroom !upstairs_hall [X1018, -21] in
let {X1022} = move !'alice !upstairs_hall !bedroom [X1021, -17] in
let {[X1023, X1024]} = observe !'alice !bedsheets !bedroom [X1022, X1019] in
let {[X1025, X1026]} = observe !'alice !bedsheets !bedroom [X1023, X1024] in
let {X1027} = move !'alice !bedroom !upstairs_hall [X1025, -21] in
let {X1028} = move !'bob !front_hall !upstairs_hall [X1008, -9] in
let {[X1029, [X1030, X1031]]} = observe_with !'bob !'alice !stolen_jewels !upstairs_hall [X1028, [X1027, X1020]] in
let {X1032} = move !'bob !upstairs_hall !front_hall [X1029, -18] in
let {X1033} = move !'bob !front_hall !kitchen [X1032, -6] in
let {[X1034, [X1035, X1036]]} = search !'bob !cabinet !revolver [X1033, [X1010, X1014]] in
let {X1037} = move !'alice !upstairs_hall !bedroom [X1030, -17] in
let {[X1038, X1039]} = observe !'bob !cabinet !kitchen [X1034, X1035] in
let {[X1040, X1041]} = observe !'alice !bedsheets !bedroom [X1037, X1026] in
let {[X1042, X1043]} = observe !'alice !bedsheets !bedroom [X1040, X1041] in
let {[X1044, X1045]} = observe !'bob !cabinet !kitchen [X1038, X1039] in
let {[X1046, X1047]} = observe !'bob !cabinet !kitchen [X1044, X1045] in
let {X1048} = move !'bob !kitchen !front_hall [X1046, -1] in
let {X1049} = move !'alice !bedroom !upstairs_hall [X1042, -21] in
let {X1050} = move !'bob !front_hall !kitchen [X1048, -6] in
let {X1051} = move !'bob !kitchen !front_hall [X1050, -1] in
let {X1052} = move !'alice !upstairs_hall !bedroom [X1049, -17] in
let {[X1053, X1054]} = observe !'alice !bedsheets !bedroom [X1052, X1043] in
let {[X1055, X1056]} = observe !'alice !bedsheets !bedroom [X1053, X1054] in
let {X1057} = move !'bob !front_hall !driveway [X1051, -8] in
let {X1058} = move !'bob !driveway !garage [X1057, -11] in
let {[X1059, X1060]} = observe !'alice !bedsheets !bedroom [X1055, X1056] in
let {[X1061, X1062]} = observe !'alice !bedsheets !bedroom [X1059, X1060] in
let {[X1063, X1064]} = observe !'alice !bedsheets !bedroom [X1061, X1062] in
let {[X1065, X1066]} = observe !'alice !bedsheets !bedroom [X1063, X1064] in
let {X1067} = move !'alice !bedroom !upstairs_hall [X1065, -21] in
let {X1068} = move !'bob !garage !driveway [X1058, -13] in
let {[X1069, X1070]} = observe !'bob !mailbox !driveway [X1068, X1011] in
let {[X1071, X1072]} = observe !'bob !mailbox !driveway [X1069, X1070] in
let {[X1073, X1074]} = observe !'bob !mailbox !driveway [X1071, X1072] in
let {X1075} = move !'bob !driveway !garage [X1073, -11] in
let {X1076} = move !'bob !garage !driveway [X1075, -13] in
let {X1077} = move !'bob !driveway !front_hall [X1076, -10] in
let {X1078} = move !'alice !upstairs_hall !front_hall [X1067, -18] in
let {X1079} = move !'alice !front_hall !upstairs_hall [X1078, -9] in
let {X1080} = move !'bob !front_hall !upstairs_hall [X1077, -9] in
let {X1081} = move !'bob !upstairs_hall !bathroom [X1080, -20] in
let {[X1082, X1083]} = observe_horror !'bob !dead_body !bathroom [X1081, [X1017, horrible/body]] in
let {[X1084, X1085]} = observe_horror !'bob !dead_body !bathroom [X1082, [X1083, horrible/body]] in
let {X1086} = move !'alice !upstairs_hall !bathroom [X1079, -20] in
let {[X1087, X1088]} = observe_location !'alice !'bob !bathroom [X1086, X1084] in
let {[X1089, X1090]} = leave_observed !'bob !'alice !bathroom !upstairs_hall [X1088, [X1087, -23]] in
let {X1091} = move !'alice !bathroom !upstairs_hall [X1090, -23] in
let {[X1092, X1093]} = observe_location !'alice !'bob !upstairs_hall [X1091, X1089] in
let {[X1094, X1095]} = leave_observed !'alice !'bob !upstairs_hall !study [X1092, [X1093, -19]] in
let {X1096} = move !'alice !study !upstairs_hall [X1094, -22] in
let {[X1097, X1098]} = observe_location !'bob !'alice !upstairs_hall [X1095, X1096] in
let {[X1099, [X1100, X1101]]} = observe_with !'alice !'bob !revolver !upstairs_hall [X1098, [X1097, X1036]] in
let {[X1102, [X1103, [X1104, X1105]]]} = steal_with_revolver !'bob !'alice !upstairs_hall !stolen_jewels [X1100, [X1099, [X1101, X1031]]] in
let {X1106} = move !'alice !upstairs_hall !bedroom [X1103, -17] in
let {[X1107, X1108]} = observe !'alice !bedsheets !bedroom [X1106, X1066] in
let {X1109} = move !'bob !upstairs_hall !front_hall [X1102, -18] in
let {X1110} = move !'bob !front_hall !living_room [X1109, -7] in
let {[X1111, X1112]} = observe !'alice !bedsheets !bedroom [X1107, X1108] in
let {[X1113, X1114]} = observe !'alice !bedsheets !bedroom [X1111, X1112] in
let {X1115} = move !'alice !bedroom !upstairs_hall [X1113, -21] in
let {X1116} = move !'bob !living_room !dining_room [X1110, -2] in
let {X1117} = move !'bob !dining_room !kitchen [X1116, -5] in
let {[X1118, X1119]} = observe !'bob !cupboards !kitchen [X1117, X1009] in
let {[X1120, X1121]} = observe !'bob !cabinet !kitchen [X1118, X1047] in
let {[X1122, [X1123, X1124]]} = stash !'bob !cupboards !stolen_jewels [X1120, [X1119, [X1105, [container/cupboards, treasure/jewels]]]] in
let {X1125} = move !'bob !kitchen !dining_room [X1122, -] in
let {X1126} = move !'bob !dining_room !kitchen [X1125, -5] in
let {[X1127, X1128]} = observe !'bob !cabinet !kitchen [X1126, X1121] in
let {[X1129, X1130]} = observe !'bob !cupboards !kitchen [X1127, X1123] in
let {[X1131, [X1132, X1133]]} = search !'bob !cupboards !stolen_jewels [X1129, [X1130, X1124]] in
let {[X1134, X1135]} = observe !'bob !cupboards !kitchen [X1131, X1132] in
let {[X1136, [X1137, X1138]]} = stash !'bob !cupboards !stolen_jewels [X1134, [X1135, [X1133, [container/cupboards, treasure/jewels]]]] in
let {[X1139, X1140]} = observe !'bob !cabinet !kitchen [X1136, X1128] in
let {X1141} = move !'alice !upstairs_hall !bathroom [X1115, -20] in
let {X1142} = move !'bob !kitchen !front_hall [X1139, -1] in
let {X1143} = move !'bob !front_hall !driveway [X1142, -8] in
let {[X1144, X1145]} = observe_horror !'alice !dead_body !bathroom [X1141, [X1085, horrible/body]] in
let {X1146} = move !'alice !bathroom !upstairs_hall [X1144, -23] in
let {X1147} = move !'alice !upstairs_hall !front_hall [X1146, -18] in
let {X1148} = move !'alice !front_hall !kitchen [X1147, -6] in
let {[X1149, X1150]} = observe !'bob !mailbox !driveway [X1143, X1074] in
let {[X1151, [X1152, X1153]]} = search !'alice !cupboards !stolen_jewels [X1148, [X1137, X1138]] in
let {[X1154, X1155]} = observe !'alice !cupboards !kitchen [X1151, X1152] in
let {X1156} = move !'bob !driveway !garage [X1149, -11] in
let {[X1157, [X1158, X1159]]} = stash !'alice !cupboards !stolen_jewels [X1154, [X1155, [X1153, [container/cupboards, treasure/jewels]]]] in
let {[X1160, [X1161, X1162]]} = search !'alice !cupboards !stolen_jewels [X1157, [X1158, X1159]] in
let {X1163} = move !'bob !garage !driveway [X1156, -13] in
let {[X1164, X1165]} = observe !'bob !mailbox !driveway [X1163, X1150] in
let {[X1166, [X1167, X1168]]} = stash !'alice !cupboards !stolen_jewels [X1160, [X1161, [X1162, [container/cupboards, treasure/jewels]]]] in
let {X1169} = move !'bob !driveway !garage [X1164, -11] in
let {[X1170, X1171]} = observe !'alice !cabinet !kitchen [X1166, X1140] in
let {[X1172, X1173]} = observe !'alice !cabinet !kitchen [X1170, X1171] in
let {[X1174, X1175]} = observe !'alice !cupboards !kitchen [X1172, X1167] in
let {[X1176, [X1177, X1178]]} = search !'alice !cupboards !stolen_jewels [X1174, [X1175, X1168]] in
let {X1179} = move !'bob !garage !driveway [X1169, -13] in
let {[X1180, [X1181, X1182]]} = stash !'alice !cabinet !stolen_jewels [X1176, [X1173, [X1178, [container/cabinet, treasure/jewels]]]] in
let {X1183} = move !'bob !driveway !path_by_the_shed [X1179, -12] in
let {[X1184, X1185]} = observe !'alice !cabinet !kitchen [X1180, X1181] in
let {[X1186, X1187]} = observe !'alice !cupboards !kitchen [X1184, X1177] in
let {X1188} = move !'bob !path_by_the_shed !shed [X1183, -15] in
let {[X1189, [X1190, X1191]]} = search !'bob !toolbox !golden_falcon [X1188, [X1013, X1015]] in
let {[X1192, [X1193, X1194]]} = search !'alice !cabinet !stolen_jewels [X1186, [X1185, X1182]] in
let {[X1195, [X1196, X1197]]} = stash !'bob !toolbox !golden_falcon [X1189, [X1190, [X1191, [container/toolbox, treasure/falcon]]]] in
let {[X1198, [X1199, X1200]]} = stash !'alice !cupboards !stolen_jewels [X1192, [X1187, [X1194, [container/cupboards, treasure/jewels]]]] in
let {[X1201, X1202]} = observe !'bob !toolbox !shed [X1195, X1196] in
let {[X1203, X1204]} = observe !'alice !cabinet !kitchen [X1198, X1193] in
let {X1205} = move !'alice !kitchen !dining_room [X1203, -] in
let {[X1206, [X1207, X1208]]} = search !'bob !toolbox !golden_falcon [X1201, [X1202, X1197]] in
let {[X1209, [X1210, X1211]]} = stash !'bob !toolbox !golden_falcon [X1206, [X1207, [X1208, [container/toolbox, treasure/falcon]]]] in
let {X1212} = move !'bob !shed !path_by_the_shed [X1209, -16] in
let {X1213} = move !'alice !dining_room !kitchen [X1205, -5] in
let {X1214} = move !'bob !path_by_the_shed !shed [X1212, -15] in
let {X1215} = move !'bob !shed !path_by_the_shed [X1214, -16] in
let {[X1216, X1217]} = observe !'alice !cabinet !kitchen [X1213, X1204] in
let {[X1218, X1219]} = observe !'alice !cabinet !kitchen [X1216, X1217] in
let {[X1220, X1221]} = observe !'alice !cabinet !kitchen [X1218, X1219] in
let {X1222} = move !'bob !path_by_the_shed !driveway [X1215, -14] in
let {[X1223, [X1224, X1225]]} = search !'alice !cupboards !stolen_jewels [X1220, [X1199, X1200]] in
let {[X1226, X1227]} = observe !'alice !cabinet !kitchen [X1223, X1221] in
let {[X1228, X1229]} = observe !'alice !cupboards !kitchen [X1226, X1224] in
let {[X1230, [X1231, X1232]]} = stash !'alice !cupboards !stolen_jewels [X1228, [X1229, [X1225, [container/cupboards, treasure/jewels]]]] in
let {[X1233, X1234]} = observe !'bob !mailbox !driveway [X1222, X1165] in
let {X1235} = move !'bob !driveway !path_by_the_shed [X1233, -12] in
let {[X1236, [X1237, X1238]]} = search !'alice !cupboards !stolen_jewels [X1230, [X1231, X1232]] in
let {[X1239, [X1240, X1241]]} = stash !'alice !cupboards !stolen_jewels [X1236, [X1237, [X1238, [container/cupboards, treasure/jewels]]]] in
let {[X1242, [X1243, X1244]]} = search !'alice !cupboards !stolen_jewels [X1239, [X1240, X1241]] in
let {X1245} = move !'alice !kitchen !front_hall [X1242, -1] in
let {X1246} = move !'bob !path_by_the_shed !driveway [X1235, -14] in
let {[X1247, X1248]} = observe !'bob !mailbox !driveway [X1246, X1234] in
let {[X1249, X1250]} = observe !'bob !mailbox !driveway [X1247, X1248] in
let {X1251} = move !'bob !driveway !garage [X1249, -11] in
let {X1252} = move !'bob !garage !driveway [X1251, -13] in
let {X1253} = move !'alice !front_hall !kitchen [X1245, -6] in
let {[X1254, X1255]} = observe !'bob !mailbox !driveway [X1252, X1250] in
let {[X1256, X1257]} = observe !'alice !cabinet !kitchen [X1253, X1227] in
let {X1258} = move !'bob !driveway !front_hall [X1254, -10] in
let {[X1259, [X1260, X1261]]} = stash !'alice !cabinet !stolen_jewels [X1256, [X1257, [X1244, [container/cabinet, treasure/jewels]]]] in
let {X1262} = move !'bob !front_hall !kitchen [X1258, -6] in
let {[X1263, X1264]} = leave_observed !'bob !'alice !kitchen !dining_room [X1262, [X1259, -]] in
let {[X1265, [X1266, X1267]]} = search !'alice !cabinet !stolen_jewels [X1264, [X1260, X1261]] in
let {[X1268, X1269]} = observe !'alice !cupboards !kitchen [X1265, X1243] in
let {[X1270, X1271]} = observe !'alice !cupboards !kitchen [X1268, X1269] in
let {[X1272, X1273]} = observe !'alice !cupboards !kitchen [X1270, X1271] in
let {[X1274, [X1275, X1276]]} = stash !'alice !cabinet !stolen_jewels [X1272, [X1266, [X1267, [container/cabinet, treasure/jewels]]]] in
let {[X1277, X1278]} = observe !'alice !cupboards !kitchen [X1274, X1273] in
let {X1279} = move !'bob !dining_room !front_hall [X1263, -4] in
let {[X1280, [X1281, X1282]]} = search !'alice !cabinet !stolen_jewels [X1277, [X1275, X1276]] in
let {[X1283, X1284]} = observe !'alice !cabinet !kitchen [X1280, X1281] in
let {[X1285, X1286]} = observe !'alice !cupboards !kitchen [X1283, X1278] in
let {[X1287, X1288]} = observe !'alice !cupboards !kitchen [X1285, X1286] in
let {[X1289, X1290]} = observe !'alice !cupboards !kitchen [X1287, X1288] in
let {X1291} = move !'alice !kitchen !dining_room [X1289, -] in
let {X1292} = move !'bob !front_hall !upstairs_hall [X1279, -9] in
let {X1293} = move !'alice !dining_room !front_hall [X1291, -4] in
let {X1294} = move !'bob !upstairs_hall !front_hall [X1292, -18] in
let {[X1295, X1296]} = greet !'alice !'bob !front_hall [X1293, X1294] in
let {[X1297, X1298]} = greet !'alice !'bob !front_hall [X1295, X1296] in
let {[X1299, [X1300, X1301]]} = observe_with !'alice !'bob !revolver !front_hall [X1297, [X1298, X1104]] in
let {[X1302, X1303]} = observe_location !'bob !'alice !front_hall [X1300, X1299] in
let {X1304} = move !'alice !front_hall !kitchen [X1303, -6] in
let {X1305} = move !'bob !front_hall !driveway [X1302, -8] in
let {X1306} = move !'bob !driveway !front_hall [X1305, -10] in
let {X1307} = move !'bob !front_hall !kitchen [X1306, -6] in
let {[X1308, [X1309, X1310]]} = stash !'alice !cupboards !stolen_jewels [X1304, [X1290, [X1282, [container/cupboards, treasure/jewels]]]] in
let {X1311} = move !'bob !kitchen !front_hall [X1307, -1] in
let {[X1312, [X1313, X1314]]} = search !'alice !cupboards !stolen_jewels [X1308, [X1309, X1310]] in
let {[X1315, [X1316, X1317]]} = stash !'alice !cupboards !stolen_jewels [X1312, [X1313, [X1314, [container/cupboards, treasure/jewels]]]] in
let {[X1318, X1319]} = observe !'alice !cabinet !kitchen [X1315, X1284] in
let {[X1320, X1321]} = observe !'alice !cabinet !kitchen [X1318, X1319] in
let {[X1322, [X1323, X1324]]} = search !'alice !cupboards !stolen_jewels [X1320, [X1316, X1317]] in
let {[X1325, X1326]} = observe !'alice !cupboards !kitchen [X1322, X1323] in
let {[X1327, [X1328, X1329]]} = stash !'alice !cupboards !stolen_jewels [X1325, [X1326, [X1324, [container/cupboards, treasure/jewels]]]] in
let {[X1330, X1331]} = observe !'alice !cupboards !kitchen [X1327, X1328] in
let {X1332} = move !'bob !front_hall !driveway [X1311, -8] in
let {[X1333, [X1334, X1335]]} = search !'alice !cupboards !stolen_jewels [X1330, [X1331, X1329]] in
let {X1336} = move !'alice !kitchen !front_hall [X1333, -1] in
let {[X1337, X1338]} = observe !'bob !mailbox !driveway [X1332, X1255] in
let {X1339} = move !'alice !front_hall !kitchen [X1336, -6] in
let {[X1340, [X1341, X1342]]} = stash !'alice !cabinet !stolen_jewels [X1339, [X1321, [X1335, [container/cabinet, treasure/jewels]]]] in
let {X1343} = move !'bob !driveway !front_hall [X1337, -10] in
let {X1344} = move !'bob !front_hall !kitchen [X1343, -6] in
let {[X1345, X1346]} = observe !'bob !cupboards !kitchen [X1344, X1334] in
let {[X1347, X1348]} = leave_observed !'alice !'bob !kitchen !front_hall [X1340, [X1345, -1]] in
let {[X1349, X1350]} = observe !'bob !cupboards !kitchen [X1348, X1346] in
let {X1351} = move !'alice !front_hall !living_room [X1347, -7] in
let {[X1352, [X1353, X1354]]} = search !'bob !cabinet !stolen_jewels [X1349, [X1341, X1342]] in
let {[X1355, [X1356, X1357]]} = stash !'bob !cabinet !stolen_jewels [X1352, [X1353, [X1354, [container/cabinet, treasure/jewels]]]] in
let {X1358} = move !'bob !kitchen !dining_room [X1355, -] in
let {X1359} = move !'bob !dining_room !front_hall [X1358, -4] in
let {X1360} = move !'alice !living_room !dining_room [X1351, -2] in
let {X1361} = move !'bob !front_hall !living_room [X1359, -7] in
let {X1362} = move !'alice !dining_room !front_hall [X1360, -4] in
let {X1363} = move !'bob !living_room !dining_room [X1361, -2] in
let {X1364} = move !'alice !front_hall !living_room [X1362, -7] in
let {X1365} = move !'alice !living_room !front_hall [X1364, -3] in
let {X1366} = move !'bob !dining_room !front_hall [X1363, -4] in
let {[X1367, X1368]} = greet !'alice !'bob !front_hall [X1365, X1366] in
let {[X1369, X1370]} = observe_location !'alice !'bob !front_hall [X1367, X1368] in
let {[X1371, X1372]} = leave_observed !'bob !'alice !front_hall !living_room [X1370, [X1369, -7]] in
let {X1373} = move !'bob !living_room !dining_room [X1371, -2] in
let {X1374} = move !'alice !front_hall !driveway [X1372, -8] in
let {X1375} = move !'bob !dining_room !front_hall [X1373, -4] in
let {[X1376, X1377]} = observe !'alice !mailbox !driveway [X1374, X1338] in
let {[X1378, X1379]} = observe !'alice !mailbox !driveway [X1376, X1377] in
let {X1380} = move !'alice !driveway !garage [X1378, -11] in
let {X1381} = move !'alice !garage !driveway [X1380, -13] in
let {[X1382, X1383]} = observe !'alice !mailbox !driveway [X1381, X1379] in
let {[X1384, X1385]} = observe !'alice !mailbox !driveway [X1382, X1383] in
let {X1386} = move !'bob !front_hall !kitchen [X1375, -6] in
let {X1387} = move !'bob !kitchen !dining_room [X1386, -] in
let {[X1388, X1389]} = observe !'alice !mailbox !driveway [X1384, X1385] in
let {X1390} = move !'bob !dining_room !kitchen [X1387, -5] in
let {[X1391, [X1392, X1393]]} = search !'bob !cabinet !stolen_jewels [X1390, [X1356, X1357]] in
let {[X1394, X1395]} = observe !'bob !cupboards !kitchen [X1391, X1350] in
let {[X1396, X1397]} = observe !'alice !mailbox !driveway [X1388, X1389] in
let {[X1398, [X1399, X1400]]} = stash !'bob !cupboards !stolen_jewels [X1394, [X1395, [X1393, [container/cupboards, treasure/jewels]]]] in
let {X1401} = move !'alice !driveway !path_by_the_shed [X1396, -12] in
let {X1402} = move !'alice !path_by_the_shed !shed [X1401, -15] in
let {X1403} = move !'bob !kitchen !front_hall [X1398, -1] in
let {[X1404, [X1405, X1406]]} = search !'alice !toolbox !golden_falcon [X1402, [X1210, X1211]] in
let {[X1407, X1408]} = observe !'alice !toolbox !shed [X1404, X1405] in
let {X1409} = move !'bob !front_hall !living_room [X1403, -7] in
let {[X1410, [X1411, X1412]]} = stash !'alice !toolbox !golden_falcon [X1407, [X1408, [X1406, [container/toolbox, treasure/falcon]]]] in
let {X1413} = move !'bob !living_room !dining_room [X1409, -2] in
let {[X1414, X1415]} = observe !'alice !toolbox !shed [X1410, X1411] in
let {[X1416, X1417]} = observe !'alice !toolbox !shed [X1414, X1415] in
let {[X1418, X1419]} = observe !'alice !toolbox !shed [X1416, X1417] in
let {[X1420, [X1421, X1422]]} = search !'alice !toolbox !golden_falcon [X1418, [X1419, X1412]] in
let {[X1423, [X1424, X1425]]} = stash !'alice !toolbox !golden_falcon [X1420, [X1421, [X1422, [container/toolbox, treasure/falcon]]]] in
let {[X1426, X1427]} = observe !'alice !toolbox !shed [X1423, X1424] in
let {[X1428, [X1429, X1430]]} = search !'alice !toolbox !golden_falcon [X1426, [X1427, X1425]] in
let {[X1431, [X1432, X1433]]} = stash !'alice !toolbox !golden_falcon [X1428, [X1429, [X1430, [container/toolbox, treasure/falcon]]]] in
let {X1434} = move !'bob !dining_room !kitchen [X1413, -5] in
let {[X1435, X1436]} = observe !'bob !cabinet !kitchen [X1434, X1392] in
let {[X1437, X1438]} = observe !'alice !toolbox !shed [X1431, X1432] in
let {[X1439, X1440]} = observe !'alice !toolbox !shed [X1437, X1438] in
let {X1441} = move !'alice !shed !path_by_the_shed [X1439, -16] in
let {[X1442, [X1443, X1444]]} = search !'bob !cupboards !stolen_jewels [X1435, [X1399, X1400]] in
let {X1445} = move !'bob !kitchen !dining_room [X1442, -] in
let {X1446} = move !'bob !dining_room !kitchen [X1445, -5] in
let {[X1447, X1448]} = observe !'bob !cupboards !kitchen [X1446, X1443] in
let {[X1449, [X1450, X1451]]} = stash !'bob !cabinet !stolen_jewels [X1447, [X1436, [X1444, [container/cabinet, treasure/jewels]]]] in
let {X1452} = move !'alice !path_by_the_shed !driveway [X1441, -14] in
let {X1453} = move !'alice !driveway !garage [X1452, -11] in
let {[X1454, X1455]} = observe !'bob !cupboards !kitchen [X1449, X1448] in
let {[X1456, [X1457, X1458]]} = search !'bob !cabinet !stolen_jewels [X1454, [X1450, X1451]] in
let {[X1459, X1460]} = observe !'bob !cabinet !kitchen [X1456, X1457] in
let {[X1461, [X1462, X1463]]} = stash !'bob !cupboards !stolen_jewels [X1459, [X1455, [X1458, [container/cupboards, treasure/jewels]]]] in
let {[X1464, [X1465, X1466]]} = search !'bob !cupboards !stolen_jewels [X1461, [X1462, X1463]] in
let {X1467} = move !'alice !garage !driveway [X1453, -13] in
let {X1468} = move !'alice !driveway !path_by_the_shed [X1467, -12] in
let {[X1469, [X1470, X1471]]} = stash !'bob !cabinet !stolen_jewels [X1464, [X1460, [X1466, [container/cabinet, treasure/jewels]]]] in
let {X1472} = move !'bob !kitchen !front_hall [X1469, -1] in
let {X1473} = move !'alice !path_by_the_shed !driveway [X1468, -14] in
let {X1474} = move !'alice !driveway !path_by_the_shed [X1473, -12] in
let {X1475} = move !'bob !front_hall !driveway [X1472, -8] in
let {X1476} = move !'bob !driveway !path_by_the_shed [X1475, -12] in
let {X1477} = move !'alice !path_by_the_shed !driveway [X1474, -14] in
let {[X1478, X1479]} = observe !'alice !mailbox !driveway [X1477, X1397] in
let {[X1480, X1481]} = observe !'alice !mailbox !driveway [X1478, X1479] in
let {[X1482, X1483]} = observe !'alice !mailbox !driveway [X1480, X1481] in
let {[X1484, X1485]} = observe !'alice !mailbox !driveway [X1482, X1483] in
let {X1486} = move !'alice !driveway !front_hall [X1484, -10] in
let {X1487} = move !'alice !front_hall !driveway [X1486, -8] in
let {[X1488, X1489]} = observe !'alice !mailbox !driveway [X1487, X1485] in
let {X1490} = move !'bob !path_by_the_shed !shed [X1476, -15] in
let {X1491} = move !'bob !shed !path_by_the_shed [X1490, -16] in
let {[X1492, X1493]} = observe !'alice !mailbox !driveway [X1488, X1489] in
let {[X1494, X1495]} = observe !'alice !mailbox !driveway [X1492, X1493] in
let {[X1496, X1497]} = observe !'alice !mailbox !driveway [X1494, X1495] in
let {[X1498, X1499]} = observe !'alice !mailbox !driveway [X1496, X1497] in
let {X1500} = move !'bob !path_by_the_shed !driveway [X1491, -14] in
let {X1501} = move !'bob !driveway !front_hall [X1500, -10] in
let {[X1502, X1503]} = observe !'alice !mailbox !driveway [X1498, X1499] in
let {[X1504, X1505]} = observe !'alice !mailbox !driveway [X1502, X1503] in
let {X1506} = move !'bob !front_hall !kitchen [X1501, -6] in
let {[X1507, X1508]} = observe !'bob !cabinet !kitchen [X1506, X1470] in
let {X1509} = move !'bob !kitchen !front_hall [X1507, -1] in
let {X1510} = move !'alice !driveway !path_by_the_shed [X1504, -12] in
let {X1511} = move !'alice !path_by_the_shed !driveway [X1510, -14] in
let {[X1512, X1513]} = observe !'alice !mailbox !driveway [X1511, X1505] in
let {X1514} = move !'bob !front_hall !driveway [X1509, -8] in
let {X1515} = move !'bob !driveway !front_hall [X1514, -10] in
let {X1516} = move !'alice !driveway !front_hall [X1512, -10] in
let {[X1517, X1518]} = observe_location !'bob !'alice !front_hall [X1515, X1516] in
let {[X1519, X1520]} = leave_observed !'bob !'alice !front_hall !driveway [X1517, [X1518, -8]] in
let {X1521} = move !'bob !driveway !path_by_the_shed [X1519, -12] in
let {X1522} = move !'alice !front_hall !kitchen [X1520, -6] in
let {[X1523, [X1524, X1525]]} = search !'alice !cabinet !stolen_jewels [X1522, [X1508, X1471]] in
let {[X1526, X1527]} = observe !'alice !cupboards !kitchen [X1523, X1465] in
let {[X1528, [X1529, X1530]]} = stash !'alice !cupboards !stolen_jewels [X1526, [X1527, [X1525, [container/cupboards, treasure/jewels]]]] in
let {X1531} = move !'alice !kitchen !dining_room [X1528, -] in
let {X1532} = move !'bob !path_by_the_shed !driveway [X1521, -14] in
let {[X1533, X1534]} = observe !'bob !mailbox !driveway [X1532, X1513] in
let {X1535} = move !'bob !driveway !path_by_the_shed [X1533, -12] in
let {X1536} = move !'alice !dining_room !kitchen [X1531, -5] in
let {[X1537, X1538]} = observe !'alice !cupboards !kitchen [X1536, X1529] in
let {[X1539, X1540]} = observe !'alice !cabinet !kitchen [X1537, X1524] in
let {[X1541, [X1542, X1543]]} = search !'alice !cupboards !stolen_jewels [X1539, [X1538, X1530]] in
let {[X1544, X1545]} = observe !'alice !cabinet !kitchen [X1541, X1540] in
let {X1546} = move !'alice !kitchen !dining_room [X1544, -] in
let {X1547} = move !'alice !dining_room !front_hall [X1546, -4] in
let {X1548} = move !'alice !front_hall !driveway [X1547, -8] in
let {[X1549, X1550]} = observe !'alice !mailbox !driveway [X1548, X1534] in
let {X1551} = move !'bob !path_by_the_shed !shed [X1535, -15] in
let {[X1552, [X1553, X1554]]} = search !'bob !toolbox !golden_falcon [X1551, [X1440, X1433]] in
let {X1555} = move !'bob !shed !path_by_the_shed [X1552, -16] in
let {[X1556, X1557]} = observe !'alice !mailbox !driveway [X1549, X1550] in
let {[X1558, [X1559, X1560]]} = stash !'alice !mailbox !stolen_jewels [X1556, [X1557, [X1543, [container/mailbox, treasure/jewels]]]] in
let {[X1561, X1562]} = observe !'alice !mailbox !driveway [X1558, X1559] in
let {[X1563, X1564]} = observe !'alice !mailbox !driveway [X1561, X1562] in
let {[X1565, X1566]} = observe !'alice !mailbox !driveway [X1563, X1564] in
let {[X1567, X1568]} = observe !'alice !mailbox !driveway [X1565, X1566] in
let {X1569} = move !'bob !path_by_the_shed !shed [X1555, -15] in
let {X1570} = move !'bob !shed !path_by_the_shed [X1569, -16] in
let {[X1571, X1572]} = observe !'alice !mailbox !driveway [X1567, X1568] in
let {[X1573, X1574]} = observe !'alice !mailbox !driveway [X1571, X1572] in
let {X1575} = move !'bob !path_by_the_shed !driveway [X1570, -14] in
let {[X1576, [X1577, X1578]]} = observe_with !'alice !'bob !revolver !driveway [X1573, [X1575, X1301]] in
let {[X1579, X1580]} = observe !'alice !mailbox !driveway [X1576, X1574] in
let {[X1581, X1582]} = greet !'alice !'bob !driveway [X1579, X1577] in
let {[X1583, X1584]} = observe !'alice !mailbox !driveway [X1581, X1580] in
let {[X1585, X1586]} = leave_observed !'alice !'bob !driveway !path_by_the_shed [X1583, [X1582, -12]] in
let {[X1587, [X1588, X1589]]} = search !'bob !mailbox !stolen_jewels [X1586, [X1584, X1560]] in
let {[X1590, X1591]} = observe !'bob !mailbox !driveway [X1587, X1588] in
let {X1592} = move !'bob !driveway !garage [X1590, -11] in
let {[X1593, [X1594, X1595]]} = drive_away !'bob !golden_falcon !revolver [X1592, [X1554, X1578]] in
let {X1596} = move !'alice !path_by_the_shed !driveway [X1585, -14] in
let {X1597} = move !'alice !driveway !front_hall [X1596, -10] in
let {X1598} = move !'alice !front_hall !living_room [X1597, -7] in
let {X1599} = fin_droveaway !'alice !'bob !living_room [X1598, X1593] in [X1542, [X1545, [X1591, [X1114, [X1553, [X1595, [X1594, [X1589, [X1145, X1599]]]]]]]]]}
#A = \!X1600. \!X1601. inroom !kitchen
#B = \!X1602. \!X1603. inroom !kitchen
#C = \!X1604. \!X1605. inroom !driveway
#D = \!X1606. \!X1607. inroom !bedroom
#E = \!X1608. \!X1609. inroom !shed
#F = \!X1610. \!X1611. has !X1611
#G = \!X1612. \!X1613. has !X1613
#H = \!X1614. \!X1615. has !X1615
#I = \!X1616. \!X1617. inroom !bathroom
#J = \!X1618. \!X1619. droveaway !X1619
Iteration 4
Solution: \!'alice. \!'bob. \[X1620, [X1621, [X1622, [X1623, [X1624, [X1625, [X1626, [X1627, [X1628, [X1629, X1630]]]]]]]]]]. {
let {[X1631, [X1632, X1633]]} = search !'alice !bedsheets !stolen_jewels [X1620, [X1625, X1629]] in
let {[X1634, X1635]} = observe !'alice !bedsheets !bedroom [X1631, X1632] in
let {X1636} = move !'alice !bedroom !upstairs_hall [X1634, -21] in
let {X1637} = move !'alice !upstairs_hall !bathroom [X1636, -20] in
let {X1638} = move !'alice !bathroom !upstairs_hall [X1637, -23] in
let {X1639} = move !'bob !front_hall !driveway [X1621, -8] in
let {X1640} = move !'alice !upstairs_hall !study [X1638, -19] in
let {X1641} = move !'alice !study !upstairs_hall [X1640, -22] in
let {X1642} = move !'bob !driveway !garage [X1639, -11] in
let {X1643} = move !'alice !upstairs_hall !bathroom [X1641, -20] in
let {[X1644, X1645]} = observe !'alice !dead_body !bathroom [X1643, X1630] in
let {X1646} = move !'alice !bathroom !upstairs_hall [X1644, -23] in
let {X1647} = move !'bob !garage !driveway [X1642, -13] in
let {[X1648, X1649]} = observe !'bob !mailbox !driveway [X1647, X1624] in
let {X1650} = move !'bob !driveway !garage [X1648, -11] in
let {X1651} = move !'bob !garage !driveway [X1650, -13] in
let {[X1652, X1653]} = observe !'bob !mailbox !driveway [X1651, X1649] in
let {[X1654, X1655]} = observe !'bob !mailbox !driveway [X1652, X1653] in
let {X1656} = move !'bob !driveway !front_hall [X1654, -10] in
let {X1657} = move !'alice !upstairs_hall !bedroom [X1646, -17] in
let {[X1658, X1659]} = observe !'alice !bedsheets !bedroom [X1657, X1635] in
let {X1660} = move !'alice !bedroom !upstairs_hall [X1658, -21] in
let {X1661} = move !'alice !upstairs_hall !front_hall [X1660, -18] in
let {[X1662, X1663]} = observe_location !'bob !'alice !front_hall [X1656, X1661] in
let {[X1664, X1665]} = leave_observed !'alice !'bob !front_hall !driveway [X1663, [X1662, -8]] in
let {[X1666, X1667]} = observe !'alice !mailbox !driveway [X1664, X1655] in
let {X1668} = move !'bob !front_hall !kitchen [X1665, -6] in
let {[X1669, [X1670, X1671]]} = stash !'alice !mailbox !stolen_jewels [X1666, [X1667, [X1633, [container/mailbox, treasure/jewels]]]] in
let {X1672} = move !'bob !kitchen !dining_room [X1668, -] in
let {X1673} = move !'bob !dining_room !front_hall [X1672, -4] in
let {X1674} = move !'bob !front_hall !driveway [X1673, -8] in
let {X1675} = move !'alice !driveway !path_by_the_shed [X1669, -12] in
let {[X1676, X1677]} = observe !'bob !mailbox !driveway [X1674, X1670] in
let {[X1678, X1679]} = observe !'bob !mailbox !driveway [X1676, X1677] in
let {[X1680, X1681]} = observe !'bob !mailbox !driveway [X1678, X1679] in
let {X1682} = move !'bob !driveway !front_hall [X1680, -10] in
let {X1683} = move !'alice !path_by_the_shed !driveway [X1675, -14] in
let {[X1684, X1685]} = observe !'alice !mailbox !driveway [X1683, X1681] in
let {X1686} = move !'bob !front_hall !upstairs_hall [X1682, -9] in
let {[X1687, [X1688, X1689]]} = search !'alice !mailbox !stolen_jewels [X1684, [X1685, X1671]] in
let {X1690} = move !'bob !upstairs_hall !study [X1686, -19] in
let {X1691} = move !'bob !study !upstairs_hall [X1690, -22] in
let {[X1692, X1693]} = observe !'alice !mailbox !driveway [X1687, X1688] in
let {[X1694, X1695]} = observe !'alice !mailbox !driveway [X1692, X1693] in
let {[X1696, X1697]} = observe !'alice !mailbox !driveway [X1694, X1695] in
let {[X1698, X1699]} = observe !'alice !mailbox !driveway [X1696, X1697] in
let {[X1700, X1701]} = observe !'alice !mailbox !driveway [X1698, X1699] in
let {[X1702, [X1703, X1704]]} = stash !'alice !mailbox !stolen_jewels [X1700, [X1701, [X1689, [container/mailbox, treasure/jewels]]]] in
let {[X1705, X1706]} = observe !'alice !mailbox !driveway [X1702, X1703] in
let {X1707} = move !'alice !driveway !garage [X1705, -11] in
let {X1708} = move !'bob !upstairs_hall !bathroom [X1691, -20] in
let {X1709} = move !'bob !bathroom !upstairs_hall [X1708, -23] in
let {X1710} = move !'alice !garage !driveway [X1707, -13] in
let {[X1711, X1712]} = observe !'alice !mailbox !driveway [X1710, X1706] in
let {[X1713, X1714]} = observe !'alice !mailbox !driveway [X1711, X1712] in
let {[X1715, X1716]} = observe !'alice !mailbox !driveway [X1713, X1714] in
let {X1717} = move !'alice !driveway !front_hall [X1715, -10] in
let {X1718} = move !'alice !front_hall !driveway [X1717, -8] in
let {[X1719, [X1720, X1721]]} = search !'alice !mailbox !stolen_jewels [X1718, [X1716, X1704]] in
let {[X1722, X1723]} = observe !'alice !mailbox !driveway [X1719, X1720] in
let {[X1724, [X1725, X1726]]} = stash !'alice !mailbox !stolen_jewels [X1722, [X1723, [X1721, [container/mailbox, treasure/jewels]]]] in
let {X1727} = move !'bob !upstairs_hall !front_hall [X1709, -18] in
let {[X1728, X1729]} = observe !'alice !mailbox !driveway [X1724, X1725] in
let {X1730} = move !'bob !front_hall !kitchen [X1727, -6] in
let {X1731} = move !'alice !driveway !path_by_the_shed [X1728, -12] in
let {X1732} = move !'alice !path_by_the_shed !shed [X1731, -15] in
let {X1733} = move !'alice !shed !path_by_the_shed [X1732, -16] in
let {X1734} = move !'bob !kitchen !dining_room [X1730, -] in
let {X1735} = move !'bob !dining_room !front_hall [X1734, -4] in
let {X1736} = move !'alice !path_by_the_shed !driveway [X1733, -14] in
let {[X1737, X1738]} = observe !'alice !mailbox !driveway [X1736, X1729] in
let {[X1739, [X1740, X1741]]} = search !'alice !mailbox !stolen_jewels [X1737, [X1738, X1726]] in
let {[X1742, X1743]} = observe !'alice !mailbox !driveway [X1739, X1740] in
let {[X1744, X1745]} = observe !'alice !mailbox !driveway [X1742, X1743] in
let {X1746} = move !'alice !driveway !path_by_the_shed [X1744, -12] in
let {X1747} = move !'alice !path_by_the_shed !shed [X1746, -15] in
let {[X1748, X1749]} = observe !'alice !toolbox !shed [X1747, X1626] in
let {[X1750, [X1751, X1752]]} = search !'alice !toolbox !golden_falcon [X1748, [X1749, X1628]] in
let {X1753} = move !'alice !shed !path_by_the_shed [X1750, -16] in
let {X1754} = move !'alice !path_by_the_shed !driveway [X1753, -14] in
let {[X1755, [X1756, X1757]]} = stash !'alice !mailbox !stolen_jewels [X1754, [X1745, [X1741, [container/mailbox, treasure/jewels]]]] in
let {[X1758, [X1759, X1760]]} = stash !'alice !mailbox !golden_falcon [X1755, [X1756, [X1752, [container/mailbox, treasure/falcon]]]] in
let {[X1761, [X1762, X1763]]} = search !'alice !mailbox !golden_falcon [X1758, [X1759, X1760]] in
let {[X1764, [X1765, X1766]]} = search !'alice !mailbox !stolen_jewels [X1761, [X1762, X1757]] in
let {[X1767, [X1768, X1769]]} = stash !'alice !mailbox !golden_falcon [X1764, [X1765, [X1763, [container/mailbox, treasure/falcon]]]] in
let {[X1770, [X1771, X1772]]} = stash !'alice !mailbox !stolen_jewels [X1767, [X1768, [X1766, [container/mailbox, treasure/jewels]]]] in
let {[X1773, X1774]} = observe !'alice !mailbox !driveway [X1770, X1771] in
let {X1775} = move !'alice !driveway !path_by_the_shed [X1773, -12] in
let {X1776} = move !'bob !front_hall !kitchen [X1735, -6] in
let {[X1777, X1778]} = observe !'bob !cupboards !kitchen [X1776, X1622] in
let {[X1779, X1780]} = observe !'bob !cupboards !kitchen [X1777, X1778] in
let {X1781} = move !'bob !kitchen !dining_room [X1779, -] in
let {X1782} = move !'bob !dining_room !front_hall [X1781, -4] in
let {X1783} = move !'bob !front_hall !upstairs_hall [X1782, -9] in
let {X1784} = move !'alice !path_by_the_shed !driveway [X1775, -14] in
let {[X1785, X1786]} = observe !'alice !mailbox !driveway [X1784, X1774] in
let {[X1787, X1788]} = observe !'alice !mailbox !driveway [X1785, X1786] in
let {X1789} = move !'bob !upstairs_hall !bathroom [X1783, -20] in
let {[X1790, X1791]} = observe_horror !'bob !dead_body !bathroom [X1789, [X1645, horrible/body]] in
let {[X1792, X1793]} = observe_horror !'bob !dead_body !bathroom [X1790, [X1791, horrible/body]] in
let {[X1794, [X1795, X1796]]} = search !'alice !mailbox !stolen_jewels [X1787, [X1788, X1772]] in
let {[X1797, X1798]} = observe_horror !'bob !dead_body !bathroom [X1792, [X1793, horrible/body]] in
let {[X1799, X1800]} = observe !'alice !mailbox !driveway [X1794, X1795] in
let {[X1801, X1802]} = observe !'bob !dead_body !bathroom [X1797, X1798] in
let {[X1803, [X1804, X1805]]} = search !'alice !mailbox !golden_falcon [X1799, [X1800, X1769]] in
let {[X1806, [X1807, X1808]]} = stash !'alice !mailbox !stolen_jewels [X1803, [X1804, [X1796, [container/mailbox, treasure/jewels]]]] in
let {[X1809, X1810]} = observe_horror !'bob !dead_body !bathroom [X1801, [X1802, horrible/body]] in
let {[X1811, X1812]} = observe_horror !'bob !dead_body !bathroom [X1809, [X1810, horrible/body]] in
let {[X1813, [X1814, X1815]]} = stash !'alice !mailbox !golden_falcon [X1806, [X1807, [X1805, [container/mailbox, treasure/falcon]]]] in
let {[X1816, X1817]} = observe_horror !'bob !dead_body !bathroom [X1811, [X1812, horrible/body]] in
let {X1818} = move !'bob !bathroom !upstairs_hall [X1816, -23] in
let {X1819} = move !'alice !driveway !garage [X1813, -11] in
let {X1820} = move !'bob !upstairs_hall !front_hall [X1818, -18] in
let {X1821} = move !'bob !front_hall !living_room [X1820, -7] in
let {X1822} = move !'bob !living_room !dining_room [X1821, -2] in
let {X1823} = move !'bob !dining_room !front_hall [X1822, -4] in
let {X1824} = move !'bob !front_hall !upstairs_hall [X1823, -9] in
let {X1825} = move !'bob !upstairs_hall !front_hall [X1824, -18] in
let {X1826} = move !'alice !garage !driveway [X1819, -13] in
let {[X1827, [X1828, X1829]]} = search !'alice !mailbox !golden_falcon [X1826, [X1814, X1815]] in
let {[X1830, [X1831, X1832]]} = search !'alice !mailbox !stolen_jewels [X1827, [X1828, X1808]] in
let {[X1833, X1834]} = observe !'alice !mailbox !driveway [X1830, X1831] in
let {[X1835, [X1836, X1837]]} = stash !'alice !mailbox !golden_falcon [X1833, [X1834, [X1829, [container/mailbox, treasure/falcon]]]] in
let {[X1838, X1839]} = observe !'alice !mailbox !driveway [X1835, X1836] in
let {[X1840, X1841]} = observe !'alice !mailbox !driveway [X1838, X1839] in
let {[X1842, X1843]} = observe !'alice !mailbox !driveway [X1840, X1841] in
let {X1844} = move !'bob !front_hall !living_room [X1825, -7] in
let {X1845} = move !'alice !driveway !front_hall [X1842, -10] in
let {X1846} = move !'alice !front_hall !kitchen [X1845, -6] in
let {[X1847, [X1848, X1849]]} = stash !'alice !cupboards !stolen_jewels [X1846, [X1780, [X1832, [container/cupboards, treasure/jewels]]]] in
let {[X1850, X1851]} = observe !'alice !cabinet !kitchen [X1847, X1623] in
let {X1852} = move !'bob !living_room !front_hall [X1844, -3] in
let {[X1853, [X1854, X1855]]} = search !'alice !cupboards !stolen_jewels [X1850, [X1848, X1849]] in
let {[X1856, [X1857, X1858]]} = search !'alice !cabinet !revolver [X1853, [X1851, X1627]] in
let {X1859} = move !'bob !front_hall !upstairs_hall [X1852, -9] in
let {[X1860, X1861]} = observe !'alice !cabinet !kitchen [X1856, X1857] in
let {X1862} = move !'alice !kitchen !dining_room [X1860, -] in
let {X1863} = move !'bob !upstairs_hall !bathroom [X1859, -20] in
let {[X1864, X1865]} = observe_horror !'bob !dead_body !bathroom [X1863, [X1817, horrible/body]] in
let {[X1866, X1867]} = observe !'bob !dead_body !bathroom [X1864, X1865] in
let {[X1868, X1869]} = observe_horror !'bob !dead_body !bathroom [X1866, [X1867, horrible/body]] in
let {[X1870, X1871]} = observe !'bob !dead_body !bathroom [X1868, X1869] in
let {[X1872, X1873]} = observe !'bob !dead_body !bathroom [X1870, X1871] in
let {[X1874, X1875]} = observe !'bob !dead_body !bathroom [X1872, X1873] in
let {X1876} = move !'alice !dining_room !kitchen [X1862, -5] in
let {[X1877, X1878]} = observe_horror !'bob !dead_body !bathroom [X1874, [X1875, horrible/body]] in
let {[X1879, X1880]} = observe_horror !'bob !dead_body !bathroom [X1877, [X1878, horrible/body]] in
let {[X1881, X1882]} = observe !'bob !dead_body !bathroom [X1879, X1880] in
let {[X1883, X1884]} = observe !'bob !dead_body !bathroom [X1881, X1882] in
let {[X1885, X1886]} = observe !'bob !dead_body !bathroom [X1883, X1884] in
let {[X1887, [X1888, X1889]]} = stash !'alice !cupboards !stolen_jewels [X1876, [X1854, [X1855, [container/cupboards, treasure/jewels]]]] in
let {[X1890, X1891]} = observe_horror !'bob !dead_body !bathroom [X1885, [X1886, horrible/body]] in
let {[X1892, X1893]} = observe_horror !'bob !dead_body !bathroom [X1890, [X1891, horrible/body]] in
let {X1894} = move !'alice !kitchen !front_hall [X1887, -1] in
let {X1895} = move !'bob !bathroom !upstairs_hall [X1892, -23] in
let {X1896} = move !'alice !front_hall !living_room [X1894, -7] in
let {X1897} = move !'alice !living_room !front_hall [X1896, -3] in
let {X1898} = move !'bob !upstairs_hall !bedroom [X1895, -17] in
let {[X1899, X1900]} = observe !'bob !bedsheets !bedroom [X1898, X1659] in
let {[X1901, X1902]} = observe !'bob !bedsheets !bedroom [X1899, X1900] in
let {[X1903, X1904]} = observe !'bob !bedsheets !bedroom [X1901, X1902] in
let {X1905} = move !'alice !front_hall !driveway [X1897, -8] in
let {[X1906, X1907]} = observe !'bob !bedsheets !bedroom [X1903, X1904] in
let {X1908} = move !'bob !bedroom !upstairs_hall [X1906, -21] in
let {X1909} = move !'bob !upstairs_hall !study [X1908, -19] in
let {[X1910, X1911]} = observe !'alice !mailbox !driveway [X1905, X1843] in
let {[X1912, X1913]} = observe !'alice !mailbox !driveway [X1910, X1911] in
let {X1914} = move !'alice !driveway !path_by_the_shed [X1912, -12] in
let {X1915} = move !'alice !path_by_the_shed !driveway [X1914, -14] in
let {X1916} = move !'alice !driveway !garage [X1915, -11] in
let {X1917} = move !'alice !garage !driveway [X1916, -13] in
let {[X1918, X1919]} = observe !'alice !mailbox !driveway [X1917, X1913] in
let {[X1920, X1921]} = observe !'alice !mailbox !driveway [X1918, X1919] in
let {[X1922, [X1923, X1924]]} = search !'alice !mailbox !golden_falcon [X1920, [X1921, X1837]] in
let {[X1925, [X1926, X1927]]} = stash !'alice !mailbox !golden_falcon [X1922, [X1923, [X1924, [container/mailbox, treasure/falcon]]]] in
let {X1928} = move !'bob !study !upstairs_hall [X1909, -22] in
let {[X1929, X1930]} = observe !'alice !mailbox !driveway [X1925, X1926] in
let {X1931} = move !'alice !driveway !front_hall [X1929, -10] in
let {X1932} = move !'alice !front_hall !upstairs_hall [X1931, -9] in
let {[X1933, X1934]} = leave_observed !'alice !'bob !upstairs_hall !bedroom [X1932, [X1928, -17]] in
let {X1935} = move !'bob !upstairs_hall !bathroom [X1934, -20] in
let {X1936} = move !'bob !bathroom !upstairs_hall [X1935, -23] in
let {[X1937, X1938]} = observe !'alice !bedsheets !bedroom [X1933, X1907] in
let {[X1939, X1940]} = observe !'alice !bedsheets !bedroom [X1937, X1938] in
let {X1941} = move !'bob !upstairs_hall !study [X1936, -19] in
let {[X1942, X1943]} = observe !'alice !bedsheets !bedroom [X1939, X1940] in
let {X1944} = move !'alice !bedroom !upstairs_hall [X1942, -21] in
let {X1945} = move !'alice !upstairs_hall !front_hall [X1944, -18] in
let {X1946} = move !'bob !study !upstairs_hall [X1941, -22] in
let {X1947} = move !'bob !upstairs_hall !front_hall [X1946, -18] in
let {X1948} = move !'bob !front_hall !upstairs_hall [X1947, -9] in
let {X1949} = move !'alice !front_hall !driveway [X1945, -8] in
let {[X1950, X1951]} = observe !'alice !mailbox !driveway [X1949, X1930] in
let {[X1952, X1953]} = observe !'alice !mailbox !driveway [X1950, X1951] in
let {[X1954, X1955]} = observe !'alice !mailbox !driveway [X1952, X1953] in
let {[X1956, [X1957, X1958]]} = search !'alice !mailbox !golden_falcon [X1954, [X1955, X1927]] in
let {X1959} = move !'alice !driveway !front_hall [X1956, -10] in
let {X1960} = move !'bob !upstairs_hall !bedroom [X1948, -17] in
let {X1961} = move !'bob !bedroom !upstairs_hall [X1960, -21] in
let {X1962} = move !'bob !upstairs_hall !bedroom [X1961, -17] in
let {[X1963, X1964]} = observe !'bob !bedsheets !bedroom [X1962, X1943] in
let {[X1965, X1966]} = observe !'bob !bedsheets !bedroom [X1963, X1964] in
let {X1967} = move !'bob !bedroom !upstairs_hall [X1965, -21] in
let {X1968} = move !'alice !front_hall !living_room [X1959, -7] in
let {X1969} = move !'bob !upstairs_hall !bathroom [X1967, -20] in
let {[X1970, X1971]} = observe_horror !'bob !dead_body !bathroom [X1969, [X1893, horrible/body]] in
let {[X1972, X1973]} = observe_horror !'bob !dead_body !bathroom [X1970, [X1971, horrible/body]] in
let {[X1974, X1975]} = observe_horror !'bob !dead_body !bathroom [X1972, [X1973, horrible/body]] in
let {[X1976, X1977]} = observe !'bob !dead_body !bathroom [X1974, X1975] in
let {[X1978, X1979]} = observe !'bob !dead_body !bathroom [X1976, X1977] in
let {[X1980, X1981]} = observe !'bob !dead_body !bathroom [X1978, X1979] in
let {[X1982, X1983]} = observe !'bob !dead_body !bathroom [X1980, X1981] in
let {[X1984, X1985]} = observe_horror !'bob !dead_body !bathroom [X1982, [X1983, horrible/body]] in
let {[X1986, X1987]} = observe_horror !'bob !dead_body !bathroom [X1984, [X1985, horrible/body]] in
let {[X1988, X1989]} = observe !'bob !dead_body !bathroom [X1986, X1987] in
let {X1990} = move !'alice !living_room !dining_room [X1968, -2] in
let {[X1991, X1992]} = observe_horror !'bob !dead_body !bathroom [X1988, [X1989, horrible/body]] in
let {[X1993, X1994]} = observe !'bob !dead_body !bathroom [X1991, X1992] in
let {[X1995, X1996]} = observe !'bob !dead_body !bathroom [X1993, X1994] in
let {[X1997, X1998]} = observe_horror !'bob !dead_body !bathroom [X1995, [X1996, horrible/body]] in
let {X1999} = move !'alice !dining_room !front_hall [X1990, -4] in
let {[X2000, X2001]} = observe_horror !'bob !dead_body !bathroom [X1997, [X1998, horrible/body]] in
let {X2002} = move !'bob !bathroom !upstairs_hall [X2000, -23] in
let {X2003} = move !'alice !front_hall !kitchen [X1999, -6] in
let {[X2004, [X2005, X2006]]} = stash !'alice !cupboards !golden_falcon [X2003, [X1888, [X1958, [container/cupboards, treasure/falcon]]]] in
let {[X2007, X2008]} = observe !'alice !cabinet !kitchen [X2004, X1861] in
let {X2009} = move !'alice !kitchen !front_hall [X2007, -1] in
let {X2010} = move !'alice !front_hall !kitchen [X2009, -6] in
let {[X2011, [X2012, X2013]]} = search !'alice !cupboards !stolen_jewels [X2010, [X2005, X1889]] in
let {X2014} = move !'alice !kitchen !front_hall [X2011, -1] in
let {X2015} = move !'bob !upstairs_hall !bedroom [X2002, -17] in
let {X2016} = move !'bob !bedroom !upstairs_hall [X2015, -21] in
let {X2017} = move !'alice !front_hall !living_room [X2014, -7] in
let {X2018} = move !'alice !living_room !dining_room [X2017, -2] in
let {X2019} = move !'bob !upstairs_hall !bathroom [X2016, -20] in
let {[X2020, X2021]} = observe !'bob !dead_body !bathroom [X2019, X2001] in
let {X2022} = move !'alice !dining_room !kitchen [X2018, -5] in
let {[X2023, [X2024, X2025]]} = stash !'alice !cupboards !stolen_jewels [X2022, [X2012, [X2013, [container/cupboards, treasure/jewels]]]] in
let {X2026} = move !'alice !kitchen !dining_room [X2023, -] in
let {X2027} = move !'alice !dining_room !front_hall [X2026, -4] in
let {[X2028, X2029]} = observe !'bob !dead_body !bathroom [X2020, X2021] in
let {[X2030, X2031]} = observe_horror !'bob !dead_body !bathroom [X2028, [X2029, horrible/body]] in
let {[X2032, X2033]} = observe_horror !'bob !dead_body !bathroom [X2030, [X2031, horrible/body]] in
let {[X2034, X2035]} = observe !'bob !dead_body !bathroom [X2032, X2033] in
let {[X2036, X2037]} = observe_horror !'bob !dead_body !bathroom [X2034, [X2035, horrible/body]] in
let {[X2038, X2039]} = observe_horror !'bob !dead_body !bathroom [X2036, [X2037, horrible/body]] in
let {X2040} = move !'alice !front_hall !upstairs_hall [X2027, -9] in
let {[X2041, X2042]} = observe_horror !'bob !dead_body !bathroom [X2038, [X2039, horrible/body]] in
let {[X2043, X2044]} = observe_horror !'bob !dead_body !bathroom [X2041, [X2042, horrible/body]] in
let {[X2045, X2046]} = observe !'bob !dead_body !bathroom [X2043, X2044] in
let {[X2047, X2048]} = observe_horror !'bob !dead_body !bathroom [X2045, [X2046, horrible/body]] in
let {X2049} = move !'alice !upstairs_hall !study [X2040, -19] in
let {[X2050, X2051]} = observe_horror !'bob !dead_body !bathroom [X2047, [X2048, horrible/body]] in
let {[X2052, X2053]} = observe_horror !'bob !dead_body !bathroom [X2050, [X2051, horrible/body]] in
let {[X2054, X2055]} = observe_horror !'bob !dead_body !bathroom [X2052, [X2053, horrible/body]] in
let {X2056} = move !'alice !study !upstairs_hall [X2049, -22] in
let {[X2057, X2058]} = observe !'bob !dead_body !bathroom [X2054, X2055] in
let {[X2059, X2060]} = observe !'bob !dead_body !bathroom [X2057, X2058] in
let {[X2061, X2062]} = observe !'bob !dead_body !bathroom [X2059, X2060] in
let {X2063} = move !'bob !bathroom !upstairs_hall [X2061, -23] in
let {[X2064, X2065]} = leave_observed !'bob !'alice !upstairs_hall !study [X2063, [X2056, -19]] in
let {X2066} = move !'alice !upstairs_hall !bedroom [X2065, -17] in
let {[X2067, X2068]} = observe !'alice !bedsheets !bedroom [X2066, X1966] in
let {X2069} = move !'alice !bedroom !upstairs_hall [X2067, -21] in
let {X2070} = move !'bob !study !upstairs_hall [X2064, -22] in
let {X2071} = move !'bob !upstairs_hall !bathroom [X2070, -20] in
let {[X2072, X2073]} = observe !'bob !dead_body !bathroom [X2071, X2062] in
let {[X2074, X2075]} = observe_horror !'bob !dead_body !bathroom [X2072, [X2073, horrible/body]] in
let {[X2076, X2077]} = observe_horror !'bob !dead_body !bathroom [X2074, [X2075, horrible/body]] in
let {[X2078, X2079]} = observe_horror !'bob !dead_body !bathroom [X2076, [X2077, horrible/body]] in
let {X2080} = move !'bob !bathroom !upstairs_hall [X2078, -23] in
let {[X2081, X2082]} = observe_location !'alice !'bob !upstairs_hall [X2069, X2080] in
let {[X2083, [X2084, X2085]]} = observe_with !'bob !'alice !revolver !upstairs_hall [X2082, [X2081, X1858]] in
let {[X2086, X2087]} = greet !'bob !'alice !upstairs_hall [X2083, X2084] in
let {[X2088, X2089]} = observe_location !'bob !'alice !upstairs_hall [X2086, X2087] in
let {[X2090, X2091]} = leave_observed !'bob !'alice !upstairs_hall !bedroom [X2088, [X2089, -17]] in
let {X2092} = move !'bob !bedroom !upstairs_hall [X2090, -21] in
let {X2093} = move !'alice !upstairs_hall !front_hall [X2091, -18] in
let {X2094} = move !'bob !upstairs_hall !bathroom [X2092, -20] in
let {[X2095, X2096]} = observe_horror !'bob !dead_body !bathroom [X2094, [X2079, horrible/body]] in
let {[X2097, X2098]} = observe_horror !'bob !dead_body !bathroom [X2095, [X2096, horrible/body]] in
let {[X2099, X2100]} = observe !'bob !dead_body !bathroom [X2097, X2098] in
let {[X2101, X2102]} = observe_horror !'bob !dead_body !bathroom [X2099, [X2100, horrible/body]] in
let {X2103} = move !'alice !front_hall !kitchen [X2093, -6] in
let {[X2104, X2105]} = observe_horror !'bob !dead_body !bathroom [X2101, [X2102, horrible/body]] in
let {[X2106, [X2107, X2108]]} = search !'alice !cupboards !golden_falcon [X2103, [X2024, X2006]] in
let {[X2109, X2110]} = observe_horror !'bob !dead_body !bathroom [X2104, [X2105, horrible/body]] in
let {[X2111, [X2112, X2113]]} = stash !'alice !cabinet !golden_falcon [X2106, [X2008, [X2108, [container/cabinet, treasure/falcon]]]] in
let {[X2114, [X2115, X2116]]} = search !'alice !cabinet !golden_falcon [X2111, [X2112, X2113]] in
let {[X2117, [X2118, X2119]]} = stash !'alice !cupboards !golden_falcon [X2114, [X2107, [X2116, [container/cupboards, treasure/falcon]]]] in
let {X2120} = move !'bob !bathroom !upstairs_hall [X2109, -23] in
let {[X2121, [X2122, X2123]]} = search !'alice !cupboards !stolen_jewels [X2117, [X2118, X2025]] in
let {X2124} = move !'bob !upstairs_hall !front_hall [X2120, -18] in
let {[X2125, X2126]} = observe !'alice !cupboards !kitchen [X2121, X2122] in
let {[X2127, [X2128, X2129]]} = stash !'alice !cabinet !stolen_jewels [X2125, [X2115, [X2123, [container/cabinet, treasure/jewels]]]] in
let {[X2130, [X2131, X2132]]} = search !'alice !cabinet !stolen_jewels [X2127, [X2128, X2129]] in
let {[X2133, [X2134, X2135]]} = search !'alice !cupboards !golden_falcon [X2130, [X2126, X2119]] in
let {[X2136, X2137]} = observe !'alice !cupboards !kitchen [X2133, X2134] in
let {X2138} = move !'bob !front_hall !living_room [X2124, -7] in
let {X2139} = move !'bob !living_room !dining_room [X2138, -2] in
let {X2140} = move !'bob !dining_room !front_hall [X2139, -4] in
let {X2141} = move !'alice !kitchen !dining_room [X2136, -] in
let {X2142} = move !'alice !dining_room !kitchen [X2141, -5] in
let {X2143} = move !'bob !front_hall !upstairs_hall [X2140, -9] in
let {[X2144, [X2145, X2146]]} = stash !'alice !cabinet !stolen_jewels [X2142, [X2131, [X2132, [container/cabinet, treasure/jewels]]]] in
let {[X2147, [X2148, X2149]]} = search !'alice !cabinet !stolen_jewels [X2144, [X2145, X2146]] in
let {[X2150, [X2151, X2152]]} = stash !'alice !cabinet !stolen_jewels [X2147, [X2148, [X2149, [container/cabinet, treasure/jewels]]]] in
let {X2153} = move !'alice !kitchen !dining_room [X2150, -] in
let {X2154} = move !'alice !dining_room !front_hall [X2153, -4] in
let {X2155} = move !'bob !upstairs_hall !study [X2143, -19] in
let {X2156} = move !'bob !study !upstairs_hall [X2155, -22] in
let {X2157} = move !'bob !upstairs_hall !bedroom [X2156, -17] in
let {[X2158, X2159]} = observe !'bob !bedsheets !bedroom [X2157, X2068] in
let {[X2160, X2161]} = observe !'bob !bedsheets !bedroom [X2158, X2159] in
let {X2162} = move !'alice !front_hall !driveway [X2154, -8] in
let {X2163} = move !'alice !driveway !path_by_the_shed [X2162, -12] in
let {X2164} = move !'bob !bedroom !upstairs_hall [X2160, -21] in
let {X2165} = move !'alice !path_by_the_shed !driveway [X2163, -14] in
let {[X2166, X2167]} = observe !'alice !mailbox !driveway [X2165, X1957] in
let {X2168} = move !'alice !driveway !front_hall [X2166, -10] in
let {X2169} = move !'bob !upstairs_hall !front_hall [X2164, -18] in
let {[X2170, X2171]} = leave_observed !'bob !'alice !front_hall !kitchen [X2169, [X2168, -6]] in
let {X2172} = move !'bob !kitchen !front_hall [X2170, -1] in
let {[X2173, X2174]} = greet !'alice !'bob !front_hall [X2171, X2172] in
let {[X2175, [X2176, X2177]]} = observe_with !'bob !'alice !golden_falcon !front_hall [X2174, [X2173, X2135]] in
let {[X2178, X2179]} = observe_location !'alice !'bob !front_hall [X2176, X2175] in
let {X2180} = move !'bob !front_hall !living_room [X2179, -7] in
let {X2181} = move !'alice !front_hall !kitchen [X2178, -6] in
let {[X2182, [X2183, X2184]]} = stash !'alice !cabinet !golden_falcon [X2181, [X2151, [X2177, [container/cabinet, treasure/falcon]]]] in
let {X2185} = move !'alice !kitchen !front_hall [X2182, -1] in
let {X2186} = move !'alice !front_hall !kitchen [X2185, -6] in
let {[X2187, [X2188, X2189]]} = search !'alice !cabinet !stolen_jewels [X2186, [X2183, X2152]] in
let {[X2190, X2191]} = observe !'alice !cupboards !kitchen [X2187, X2137] in
let {[X2192, X2193]} = observe !'alice !cupboards !kitchen [X2190, X2191] in
let {[X2194, [X2195, X2196]]} = stash !'alice !cabinet !stolen_jewels [X2192, [X2188, [X2189, [container/cabinet, treasure/jewels]]]] in
let {[X2197, X2198]} = observe !'alice !cabinet !kitchen [X2194, X2195] in
let {X2199} = move !'alice !kitchen !front_hall [X2197, -1] in
let {X2200} = move !'bob !living_room !front_hall [X2180, -3] in
let {[X2201, [X2202, X2203]]} = observe_with !'bob !'alice !revolver !front_hall [X2200, [X2199, X2085]] in
let {[X2204, X2205]} = observe_location !'alice !'bob !front_hall [X2202, X2201] in
let {[X2206, X2207]} = leave_observed !'bob !'alice !front_hall !living_room [X2205, [X2204, -7]] in
let {X2208} = move !'bob !living_room !front_hall [X2206, -3] in
let {X2209} = move !'alice !front_hall !driveway [X2207, -8] in
let {X2210} = move !'bob !front_hall !kitchen [X2208, -6] in
let {[X2211, [X2212, X2213]]} = search !'bob !cabinet !golden_falcon [X2210, [X2198, X2184]] in
let {[X2214, X2215]} = observe !'alice !mailbox !driveway [X2209, X2167] in
let {X2216} = move !'alice !driveway !garage [X2214, -11] in
let {[X2217, X2218]} = observe !'bob !cabinet !kitchen [X2211, X2212] in
let {[X2219, [X2220, X2221]]} = stash !'bob !cupboards !golden_falcon [X2217, [X2193, [X2213, [container/cupboards, treasure/falcon]]]] in
let {X2222} = move !'bob !kitchen !front_hall [X2219, -1] in
let {X2223} = move !'alice !garage !driveway [X2216, -13] in
let {[X2224, X2225]} = observe !'alice !mailbox !driveway [X2223, X2215] in
let {[X2226, X2227]} = observe !'alice !mailbox !driveway [X2224, X2225] in
let {[X2228, X2229]} = observe !'alice !mailbox !driveway [X2226, X2227] in
let {X2230} = move !'alice !driveway !front_hall [X2228, -10] in
let {[X2231, [X2232, X2233]]} = observe_with !'bob !'alice !revolver !front_hall [X2222, [X2230, X2203]] in
let {X2234} = move !'alice !front_hall !living_room [X2232, -7] in
let {X2235} = move !'alice !living_room !dining_room [X2234, -2] in
let {X2236} = move !'bob !front_hall !upstairs_hall [X2231, -9] in
let {X2237} = move !'bob !upstairs_hall !bedroom [X2236, -17] in
let {[X2238, X2239]} = observe !'bob !bedsheets !bedroom [X2237, X2161] in
let {X2240} = move !'bob !bedroom !upstairs_hall [X2238, -21] in
let {X2241} = move !'bob !upstairs_hall !front_hall [X2240, -18] in
let {X2242} = move !'alice !dining_room !kitchen [X2235, -5] in
let {[X2243, [X2244, X2245]]} = search !'alice !cupboards !golden_falcon [X2242, [X2220, X2221]] in
let {[X2246, X2247]} = observe !'alice !cabinet !kitchen [X2243, X2218] in
let {X2248} = move !'bob !front_hall !kitchen [X2241, -6] in
let {[X2249, [X2250, X2251]]} = observe_with !'bob !'alice !golden_falcon !kitchen [X2248, [X2246, X2245]] in
let {[X2252, X2253]} = greet !'alice !'bob !kitchen [X2250, X2249] in
let {[X2254, [X2255, X2256]]} = stash !'alice !cabinet !golden_falcon [X2252, [X2247, [X2251, [container/cabinet, treasure/falcon]]]] in
let {[X2257, X2258]} = leave_observed !'alice !'bob !kitchen !dining_room [X2254, [X2253, -]] in
let {[X2259, X2260]} = observe !'bob !cupboards !kitchen [X2258, X2244] in
let {[X2261, [X2262, X2263]]} = search !'bob !cabinet !stolen_jewels [X2259, [X2255, X2196]] in
let {[X2264, X2265]} = observe !'bob !cabinet !kitchen [X2261, X2262] in
let {[X2266, [X2267, X2268]]} = stash !'bob !cabinet !stolen_jewels [X2264, [X2265, [X2263, [container/cabinet, treasure/jewels]]]] in
let {[X2269, X2270]} = observe !'bob !cabinet !kitchen [X2266, X2267] in
let {X2271} = move !'bob !kitchen !front_hall [X2269, -1] in
let {X2272} = move !'alice !dining_room !front_hall [X2257, -4] in
let {[X2273, [X2274, X2275]]} = observe_with !'bob !'alice !revolver !front_hall [X2271, [X2272, X2233]] in
let {[X2276, X2277]} = leave_observed !'alice !'bob !front_hall !upstairs_hall [X2274, [X2273, -9]] in
let {X2278} = move !'bob !front_hall !kitchen [X2277, -6] in
let {X2279} = move !'alice !upstairs_hall !bedroom [X2276, -17] in
let {[X2280, [X2281, X2282]]} = search !'bob !cabinet !golden_falcon [X2278, [X2270, X2256]] in
let {[X2283, [X2284, X2285]]} = search !'bob !cabinet !stolen_jewels [X2280, [X2281, X2268]] in
let {X2286} = move !'alice !bedroom !upstairs_hall [X2279, -21] in
let {X2287} = move !'alice !upstairs_hall !front_hall [X2286, -18] in
let {X2288} = move !'alice !front_hall !upstairs_hall [X2287, -9] in
let {[X2289, X2290]} = observe !'bob !cupboards !kitchen [X2283, X2260] in
let {X2291} = move !'alice !upstairs_hall !bedroom [X2288, -17] in
let {[X2292, [X2293, X2294]]} = stash !'bob !cupboards !stolen_jewels [X2289, [X2290, [X2285, [container/cupboards, treasure/jewels]]]] in
let {[X2295, [X2296, X2297]]} = stash !'bob !cabinet !golden_falcon [X2292, [X2284, [X2282, [container/cabinet, treasure/falcon]]]] in
let {[X2298, X2299]} = observe !'alice !bedsheets !bedroom [X2291, X2239] in
let {[X2300, [X2301, X2302]]} = search !'bob !cabinet !golden_falcon [X2295, [X2296, X2297]] in
let {[X2303, [X2304, X2305]]} = stash !'bob !cupboards !golden_falcon [X2300, [X2293, [X2302, [container/cupboards, treasure/falcon]]]] in
let {[X2306, X2307]} = observe !'alice !bedsheets !bedroom [X2298, X2299] in
let {[X2308, X2309]} = observe !'alice !bedsheets !bedroom [X2306, X2307] in
let {[X2310, X2311]} = observe !'bob !cupboards !kitchen [X2303, X2304] in
let {[X2312, X2313]} = observe !'alice !bedsheets !bedroom [X2308, X2309] in
let {X2314} = move !'bob !kitchen !front_hall [X2310, -1] in
let {X2315} = move !'alice !bedroom !upstairs_hall [X2312, -21] in
let {X2316} = move !'alice !upstairs_hall !bathroom [X2315, -20] in
let {[X2317, X2318]} = observe !'alice !dead_body !bathroom [X2316, X2110] in
let {X2319} = move !'alice !bathroom !upstairs_hall [X2317, -23] in
let {X2320} = move !'bob !front_hall !driveway [X2314, -8] in
let {X2321} = move !'bob !driveway !front_hall [X2320, -10] in
let {X2322} = move !'bob !front_hall !upstairs_hall [X2321, -9] in
let {X2323} = move !'alice !upstairs_hall !front_hall [X2319, -18] in
let {X2324} = move !'alice !front_hall !kitchen [X2323, -6] in
let {[X2325, X2326]} = observe !'alice !cupboards !kitchen [X2324, X2311] in
let {[X2327, X2328]} = observe !'alice !cabinet !kitchen [X2325, X2301] in
let {[X2329, X2330]} = observe !'alice !cupboards !kitchen [X2327, X2326] in
let {[X2331, [X2332, X2333]]} = search !'alice !cupboards !golden_falcon [X2329, [X2330, X2305]] in
let {[X2334, [X2335, X2336]]} = stash !'alice !cabinet !golden_falcon [X2331, [X2328, [X2333, [container/cabinet, treasure/falcon]]]] in
let {X2337} = move !'alice !kitchen !front_hall [X2334, -1] in
let {X2338} = move !'alice !front_hall !driveway [X2337, -8] in
let {X2339} = move !'bob !upstairs_hall !bathroom [X2322, -20] in
let {[X2340, X2341]} = observe !'bob !dead_body !bathroom [X2339, X2318] in
let {X2342} = move !'bob !bathroom !upstairs_hall [X2340, -23] in
let {[X2343, X2344]} = observe !'alice !mailbox !driveway [X2338, X2229] in
let {X2345} = move !'alice !driveway !front_hall [X2343, -10] in
let {X2346} = move !'bob !upstairs_hall !front_hall [X2342, -18] in
let {[X2347, [X2348, X2349]]} = observe_with !'bob !'alice !revolver !front_hall [X2346, [X2345, X2275]] in
let {X2350} = move !'alice !front_hall !living_room [X2348, -7] in
let {X2351} = move !'alice !living_room !dining_room [X2350, -2] in
let {X2352} = move !'alice !dining_room !kitchen [X2351, -5] in
let {X2353} = move !'bob !front_hall !living_room [X2347, -7] in
let {[X2354, [X2355, X2356]]} = search !'alice !cupboards !stolen_jewels [X2352, [X2332, X2294]] in
let {X2357} = move !'alice !kitchen !front_hall [X2354, -1] in
let {X2358} = move !'alice !front_hall !upstairs_hall [X2357, -9] in
let {X2359} = move !'alice !upstairs_hall !front_hall [X2358, -18] in
let {X2360} = move !'alice !front_hall !driveway [X2359, -8] in
let {[X2361, X2362]} = observe !'alice !mailbox !driveway [X2360, X2344] in
let {[X2363, [X2364, X2365]]} = stash !'alice !mailbox !stolen_jewels [X2361, [X2362, [X2356, [container/mailbox, treasure/jewels]]]] in
let {X2366} = move !'bob !living_room !front_hall [X2353, -3] in
let {[X2367, X2368]} = observe !'alice !mailbox !driveway [X2363, X2364] in
let {[X2369, [X2370, X2371]]} = search !'alice !mailbox !stolen_jewels [X2367, [X2368, X2365]] in
let {[X2372, [X2373, X2374]]} = stash !'alice !mailbox !stolen_jewels [X2369, [X2370, [X2371, [container/mailbox, treasure/jewels]]]] in
let {[X2375, X2376]} = observe !'alice !mailbox !driveway [X2372, X2373] in
let {X2377} = move !'alice !driveway !path_by_the_shed [X2375, -12] in
let {X2378} = move !'bob !front_hall !living_room [X2366, -7] in
let {X2379} = move !'bob !living_room !front_hall [X2378, -3] in
let {X2380} = move !'bob !front_hall !living_room [X2379, -7] in
let {X2381} = move !'alice !path_by_the_shed !shed [X2377, -15] in
let {X2382} = move !'alice !shed !path_by_the_shed [X2381, -16] in
let {X2383} = move !'bob !living_room !front_hall [X2380, -3] in
let {X2384} = move !'alice !path_by_the_shed !driveway [X2382, -14] in
let {X2385} = move !'alice !driveway !garage [X2384, -11] in
let {X2386} = move !'bob !front_hall !kitchen [X2383, -6] in
let {[X2387, X2388]} = observe !'bob !cupboards !kitchen [X2386, X2355] in
let {X2389} = move !'alice !garage !driveway [X2385, -13] in
let {[X2390, X2391]} = observe !'bob !cupboards !kitchen [X2387, X2388] in
let {[X2392, [X2393, X2394]]} = search !'bob !cabinet !golden_falcon [X2390, [X2335, X2336]] in
let {[X2395, [X2396, X2397]]} = stash !'bob !cupboards !golden_falcon [X2392, [X2391, [X2394, [container/cupboards, treasure/falcon]]]] in
let {[X2398, [X2399, X2400]]} = search !'alice !mailbox !stolen_jewels [X2389, [X2376, X2374]] in
let {X2401} = move !'alice !driveway !front_hall [X2398, -10] in
let {[X2402, [X2403, X2404]]} = search !'bob !cupboards !golden_falcon [X2395, [X2396, X2397]] in
let {X2405} = move !'bob !kitchen !front_hall [X2402, -1] in
let {[X2406, [X2407, [X2408, X2409]]]} = steal_with_revolver !'alice !'bob !front_hall !golden_falcon [X2401, [X2405, [X2349, X2404]]] in
let {[X2410, [X2411, X2412]]} = observe_with !'bob !'alice !stolen_jewels !front_hall [X2407, [X2406, X2400]] in
let {[X2413, X2414]} = leave_observed !'alice !'bob !front_hall !upstairs_hall [X2411, [X2410, -9]] in
let {X2415} = move !'bob !front_hall !driveway [X2414, -8] in
let {[X2416, X2417]} = observe !'bob !mailbox !driveway [X2415, X2399] in
let {X2418} = move !'bob !driveway !garage [X2416, -11] in
let {X2419} = move !'alice !upstairs_hall !front_hall [X2413, -18] in
let {X2420} = move !'alice !front_hall !living_room [X2419, -7] in
let {X2421} = move !'alice !living_room !dining_room [X2420, -2] in
let {X2422} = move !'bob !garage !driveway [X2418, -13] in
let {X2423} = move !'bob !driveway !garage [X2422, -11] in
let {X2424} = move !'alice !dining_room !front_hall [X2421, -4] in
let {X2425} = move !'bob !garage !driveway [X2423, -13] in
let {[X2426, X2427]} = observe !'bob !mailbox !driveway [X2425, X2417] in
let {[X2428, X2429]} = observe !'bob !mailbox !driveway [X2426, X2427] in
let {X2430} = move !'alice !front_hall !upstairs_hall [X2424, -9] in
let {X2431} = move !'alice !upstairs_hall !front_hall [X2430, -18] in
let {X2432} = move !'alice !front_hall !driveway [X2431, -8] in
let {[X2433, X2434]} = observe !'bob !mailbox !driveway [X2428, X2429] in
let {[X2435, X2436]} = observe !'alice !mailbox !driveway [X2432, X2434] in
let {[X2437, X2438]} = greet !'bob !'alice !driveway [X2433, X2435] in
let {[X2439, X2440]} = observe !'alice !mailbox !driveway [X2438, X2436] in
let {[X2441, X2442]} = leave_observed !'bob !'alice !driveway !front_hall [X2437, [X2439, -10]] in
let {[X2443, X2444]} = observe !'alice !mailbox !driveway [X2442, X2440] in
let {[X2445, [X2446, X2447]]} = stash !'alice !mailbox !golden_falcon [X2443, [X2444, [X2409, [container/mailbox, treasure/falcon]]]] in
let {[X2448, X2449]} = observe !'alice !mailbox !driveway [X2445, X2446] in
let {X2450} = move !'bob !front_hall !driveway [X2441, -8] in
let {[X2451, X2452]} = greet !'alice !'bob !driveway [X2448, X2450] in
let {[X2453, X2454]} = observe !'alice !mailbox !driveway [X2451, X2449] in
let {[X2455, X2456]} = greet !'bob !'alice !driveway [X2452, X2453] in
let {[X2457, X2458]} = leave_observed !'bob !'alice !driveway !front_hall [X2455, [X2456, -10]] in
let {[X2459, [X2460, X2461]]} = search !'alice !mailbox !golden_falcon [X2458, [X2454, X2447]] in
let {[X2462, X2463]} = observe !'alice !mailbox !driveway [X2459, X2460] in
let {[X2464, X2465]} = observe !'alice !mailbox !driveway [X2462, X2463] in
let {[X2466, X2467]} = observe !'alice !mailbox !driveway [X2464, X2465] in
let {[X2468, [X2469, X2470]]} = stash !'alice !mailbox !stolen_jewels [X2466, [X2467, [X2412, [container/mailbox, treasure/jewels]]]] in
let {X2471} = move !'bob !front_hall !driveway [X2457, -8] in
let {[X2472, X2473]} = leave_observed !'alice !'bob !driveway !garage [X2468, [X2471, -11]] in
let {[X2474, [X2475, X2476]]} = drive_away !'alice !revolver !golden_falcon [X2472, [X2408, X2461]] in
let {[X2477, X2478]} = observe !'bob !mailbox !driveway [X2473, X2469] in
let {[X2479, [X2480, X2481]]} = search !'bob !mailbox !stolen_jewels [X2477, [X2478, X2470]] in
let {[X2482, [X2483, X2484]]} = stash !'bob !mailbox !stolen_jewels [X2479, [X2480, [X2481, [container/mailbox, treasure/jewels]]]] in
let {[X2485, X2486]} = observe !'bob !mailbox !driveway [X2482, X2483] in
let {[X2487, [X2488, X2489]]} = search !'bob !mailbox !stolen_jewels [X2485, [X2486, X2484]] in
let {[X2490, [X2491, X2492]]} = stash !'bob !mailbox !stolen_jewels [X2487, [X2488, [X2489, [container/mailbox, treasure/jewels]]]] in
let {[X2493, [X2494, X2495]]} = search !'bob !mailbox !stolen_jewels [X2490, [X2491, X2492]] in
let {[X2496, [X2497, X2498]]} = stash !'bob !mailbox !stolen_jewels [X2493, [X2494, [X2495, [container/mailbox, treasure/jewels]]]] in
let {[X2499, X2500]} = observe !'bob !mailbox !driveway [X2496, X2497] in
let {X2501} = move !'bob !driveway !front_hall [X2499, -10] in
let {X2502} = move !'bob !front_hall !driveway [X2501, -8] in
let {X2503} = fin_droveaway !'bob !'alice !driveway [X2502, X2474] in [X2403, [X2393, [X2500, [X2313, [X1751, [X2475, [X2476, [X2498, [X2341, X2503]]]]]]]]]}
#A = \!X2504. \!X2505. inroom !kitchen
#B = \!X2506. \!X2507. inroom !kitchen
#C = \!X2508. \!X2509. inroom !driveway
#D = \!X2510. \!X2511. inroom !bedroom
#E = \!X2512. \!X2513. inroom !shed
#F = \!X2514. \!X2515. has !X2514
#G = \!X2516. \!X2517. has !X2516
#H = \!X2518. \!X2519. inside !mailbox
#I = \!X2520. \!X2521. inroom !bathroom
#J = \!X2522. \!X2523. droveaway !X2522
Iteration 5
Solution: \!'alice. \!'bob. \[X2524, [X2525, [X2526, [X2527, [X2528, [X2529, [X2530, [X2531, [X2532, [X2533, X2534]]]]]]]]]]. {
let {X2535} = move !'bob !front_hall !driveway [X2525, -8] in
let {[X2536, X2537]} = observe !'bob !mailbox !driveway [X2535, X2528] in
let {[X2538, [X2539, X2540]]} = search !'alice !bedsheets !stolen_jewels [X2524, [X2529, X2533]] in
let {[X2541, X2542]} = observe !'alice !bedsheets !bedroom [X2538, X2539] in
let {[X2543, X2544]} = observe !'alice !bedsheets !bedroom [X2541, X2542] in
let {X2545} = move !'alice !bedroom !upstairs_hall [X2543, -21] in
let {[X2546, X2547]} = observe !'bob !mailbox !driveway [X2536, X2537] in
let {X2548} = move !'bob !driveway !garage [X2546, -11] in
let {X2549} = move !'bob !garage !driveway [X2548, -13] in
let {[X2550, X2551]} = observe !'bob !mailbox !driveway [X2549, X2547] in
let {[X2552, X2553]} = observe !'bob !mailbox !driveway [X2550, X2551] in
let {[X2554, X2555]} = observe !'bob !mailbox !driveway [X2552, X2553] in
let {X2556} = move !'alice !upstairs_hall !bedroom [X2545, -17] in
let {[X2557, X2558]} = observe !'bob !mailbox !driveway [X2554, X2555] in
let {[X2559, X2560]} = observe !'bob !mailbox !driveway [X2557, X2558] in
let {[X2561, X2562]} = observe !'bob !mailbox !driveway [X2559, X2560] in
let {[X2563, X2564]} = observe !'bob !mailbox !driveway [X2561, X2562] in
let {[X2565, X2566]} = observe !'bob !mailbox !driveway [X2563, X2564] in
let {X2567} = move !'alice !bedroom !upstairs_hall [X2556, -21] in
let {X2568} = move !'bob !driveway !path_by_the_shed [X2565, -12] in
let {X2569} = move !'bob !path_by_the_shed !driveway [X2568, -14] in
let {[X2570, X2571]} = observe !'bob !mailbox !driveway [X2569, X2566] in
let {[X2572, X2573]} = observe !'bob !mailbox !driveway [X2570, X2571] in
let {[X2574, X2575]} = observe !'bob !mailbox !driveway [X2572, X2573] in
let {[X2576, X2577]} = observe !'bob !mailbox !driveway [X2574, X2575] in
let {X2578} = move !'alice !upstairs_hall !front_hall [X2567, -18] in
let {[X2579, X2580]} = observe !'bob !mailbox !driveway [X2576, X2577] in
let {X2581} = move !'alice !front_hall !driveway [X2578, -8] in
let {[X2582, X2583]} = leave_observed !'alice !'bob !driveway !garage [X2581, [X2579, -11]] in
let {[X2584, X2585]} = observe !'bob !mailbox !driveway [X2583, X2580] in
let {X2586} = move !'alice !garage !driveway [X2582, -13] in
let {[X2587, X2588]} = greet !'alice !'bob !driveway [X2586, X2584] in
let {[X2589, X2590]} = observe !'bob !mailbox !driveway [X2588, X2585] in
let {[X2591, X2592]} = observe !'alice !mailbox !driveway [X2587, X2590] in
let {X2593} = move !'alice !driveway !front_hall [X2591, -10] in
let {X2594} = move !'alice !front_hall !driveway [X2593, -8] in
let {[X2595, X2596]} = observe_location !'alice !'bob !driveway [X2594, X2589] in
let {[X2597, X2598]} = leave_observed !'alice !'bob !driveway !path_by_the_shed [X2595, [X2596, -12]] in
let {X2599} = move !'bob !driveway !front_hall [X2598, -10] in
let {X2600} = move !'alice !path_by_the_shed !shed [X2597, -15] in
let {[X2601, [X2602, X2603]]} = search !'alice !toolbox !golden_falcon [X2600, [X2530, X2532]] in
let {[X2604, X2605]} = observe !'alice !toolbox !shed [X2601, X2602] in
let {X2606} = move !'alice !shed !path_by_the_shed [X2604, -16] in
let {X2607} = move !'bob !front_hall !upstairs_hall [X2599, -9] in
let {X2608} = move !'bob !upstairs_hall !bedroom [X2607, -17] in
let {X2609} = move !'bob !bedroom !upstairs_hall [X2608, -21] in
let {X2610} = move !'bob !upstairs_hall !front_hall [X2609, -18] in
let {X2611} = move !'bob !front_hall !kitchen [X2610, -6] in
let {[X2612, X2613]} = observe !'bob !cabinet !kitchen [X2611, X2527] in
let {X2614} = move !'bob !kitchen !front_hall [X2612, -1] in
let {X2615} = move !'alice !path_by_the_shed !driveway [X2606, -14] in
let {X2616} = move !'alice !driveway !front_hall [X2615, -10] in
let {X2617} = move !'bob !front_hall !upstairs_hall [X2614, -9] in
let {X2618} = move !'alice !front_hall !upstairs_hall [X2616, -9] in
let {X2619} = move !'alice !upstairs_hall !bedroom [X2618, -17] in
let {X2620} = move !'bob !upstairs_hall !study [X2617, -19] in
let {[X2621, X2622]} = observe !'alice !bedsheets !bedroom [X2619, X2544] in
let {[X2623, X2624]} = observe !'alice !bedsheets !bedroom [X2621, X2622] in
let {[X2625, X2626]} = observe !'alice !bedsheets !bedroom [X2623, X2624] in
let {X2627} = move !'bob !study !upstairs_hall [X2620, -22] in
let {[X2628, X2629]} = observe !'alice !bedsheets !bedroom [X2625, X2626] in
let {[X2630, X2631]} = observe !'alice !bedsheets !bedroom [X2628, X2629] in
let {[X2632, X2633]} = observe !'alice !bedsheets !bedroom [X2630, X2631] in
let {X2634} = move !'bob !upstairs_hall !bedroom [X2627, -17] in
let {[X2635, X2636]} = observe_location !'bob !'alice !bedroom [X2634, X2632] in
let {[X2637, X2638]} = observe !'bob !bedsheets !bedroom [X2635, X2633] in
let {[X2639, [X2640, X2641]]} = observe_with !'bob !'alice !stolen_jewels !bedroom [X2637, [X2636, X2540]] in
let {[X2642, X2643]} = observe_location !'bob !'alice !bedroom [X2639, X2640] in
let {X2644} = move !'alice !bedroom !upstairs_hall [X2643, -21] in
let {X2645} = move !'alice !upstairs_hall !bathroom [X2644, -20] in
let {[X2646, X2647]} = observe !'bob !bedsheets !bedroom [X2642, X2638] in
let {[X2648, X2649]} = observe_horror !'alice !dead_body !bathroom [X2645, [X2534, horrible/body]] in
let {[X2650, X2651]} = observe_horror !'alice !dead_body !bathroom [X2648, [X2649, horrible/body]] in
let {[X2652, X2653]} = observe_horror !'alice !dead_body !bathroom [X2650, [X2651, horrible/body]] in
let {[X2654, X2655]} = observe_horror !'alice !dead_body !bathroom [X2652, [X2653, horrible/body]] in
let {[X2656, X2657]} = observe !'bob !bedsheets !bedroom [X2646, X2647] in
let {[X2658, X2659]} = observe !'alice !dead_body !bathroom [X2654, X2655] in
let {X2660} = move !'alice !bathroom !upstairs_hall [X2658, -23] in
let {[X2661, X2662]} = observe !'bob !bedsheets !bedroom [X2656, X2657] in
let {X2663} = move !'bob !bedroom !upstairs_hall [X2661, -21] in
let {[X2664, X2665]} = leave_observed !'alice !'bob !upstairs_hall !bedroom [X2660, [X2663, -17]] in
let {[X2666, X2667]} = observe !'alice !bedsheets !bedroom [X2664, X2662] in
let {X2668} = move !'alice !bedroom !upstairs_hall [X2666, -21] in
let {[X2669, X2670]} = observe_location !'alice !'bob !upstairs_hall [X2668, X2665] in
let {[X2671, X2672]} = leave_observed !'alice !'bob !upstairs_hall !bedroom [X2669, [X2670, -17]] in
let {X2673} = move !'alice !bedroom !upstairs_hall [X2671, -21] in
let {[X2674, [X2675, X2676]]} = observe_with !'bob !'alice !stolen_jewels !upstairs_hall [X2672, [X2673, X2641]] in
let {[X2677, [X2678, X2679]]} = observe_with !'bob !'alice !golden_falcon !upstairs_hall [X2674, [X2675, X2603]] in
let {X2680} = move !'alice !upstairs_hall !front_hall [X2678, -18] in
let {X2681} = move !'alice !front_hall !upstairs_hall [X2680, -9] in
let {[X2682, X2683]} = greet !'bob !'alice !upstairs_hall [X2677, X2681] in
let {[X2684, X2685]} = leave_observed !'bob !'alice !upstairs_hall !bedroom [X2682, [X2683, -17]] in
let {X2686} = move !'bob !bedroom !upstairs_hall [X2684, -21] in
let {[X2687, X2688]} = leave_observed !'alice !'bob !upstairs_hall !bedroom [X2685, [X2686, -17]] in
let {X2689} = move !'alice !bedroom !upstairs_hall [X2687, -21] in
let {[X2690, [X2691, X2692]]} = observe_with !'bob !'alice !golden_falcon !upstairs_hall [X2688, [X2689, X2679]] in
let {[X2693, [X2694, X2695]]} = observe_with !'bob !'alice !stolen_jewels !upstairs_hall [X2690, [X2691, X2676]] in
let {[X2696, X2697]} = leave_observed !'alice !'bob !upstairs_hall !bedroom [X2694, [X2693, -17]] in
let {[X2698, X2699]} = observe !'alice !bedsheets !bedroom [X2696, X2667] in
let {[X2700, X2701]} = observe !'alice !bedsheets !bedroom [X2698, X2699] in
let {[X2702, X2703]} = observe !'alice !bedsheets !bedroom [X2700, X2701] in
let {[X2704, X2705]} = observe !'alice !bedsheets !bedroom [X2702, X2703] in
let {X2706} = move !'bob !upstairs_hall !front_hall [X2697, -18] in
let {X2707} = move !'bob !front_hall !living_room [X2706, -7] in
let {X2708} = move !'alice !bedroom !upstairs_hall [X2704, -21] in
let {X2709} = move !'alice !upstairs_hall !bedroom [X2708, -17] in
let {X2710} = move !'bob !living_room !dining_room [X2707, -2] in
let {[X2711, X2712]} = observe !'alice !bedsheets !bedroom [X2709, X2705] in
let {X2713} = move !'bob !dining_room !kitchen [X2710, -5] in
let {X2714} = move !'alice !bedroom !upstairs_hall [X2711, -21] in
let {[X2715, X2716]} = observe !'bob !cupboards !kitchen [X2713, X2526] in
let {[X2717, [X2718, X2719]]} = search !'bob !cabinet !revolver [X2715, [X2613, X2531]] in
let {X2720} = move !'alice !upstairs_hall !bedroom [X2714, -17] in
let {[X2721, X2722]} = observe !'alice !bedsheets !bedroom [X2720, X2712] in
let {X2723} = move !'bob !kitchen !front_hall [X2717, -1] in
let {[X2724, X2725]} = observe !'alice !bedsheets !bedroom [X2721, X2722] in
let {[X2726, X2727]} = observe !'alice !bedsheets !bedroom [X2724, X2725] in
let {[X2728, X2729]} = observe !'alice !bedsheets !bedroom [X2726, X2727] in
let {[X2730, X2731]} = observe !'alice !bedsheets !bedroom [X2728, X2729] in
let {[X2732, X2733]} = observe !'alice !bedsheets !bedroom [X2730, X2731] in
let {[X2734, X2735]} = observe !'alice !bedsheets !bedroom [X2732, X2733] in
let {X2736} = move !'alice !bedroom !upstairs_hall [X2734, -21] in
let {X2737} = move !'bob !front_hall !upstairs_hall [X2723, -9] in
let {[X2738, X2739]} = observe_location !'alice !'bob !upstairs_hall [X2736, X2737] in
let {[X2740, X2741]} = observe_location !'bob !'alice !upstairs_hall [X2739, X2738] in
let {[X2742, [X2743, [X2744, X2745]]]} = steal_with_revolver !'bob !'alice !upstairs_hall !stolen_jewels [X2740, [X2741, [X2719, X2695]]] in
let {[X2746, [X2747, [X2748, X2749]]]} = steal_with_revolver !'bob !'alice !upstairs_hall !golden_falcon [X2742, [X2743, [X2744, X2692]]] in
let {[X2750, [X2751, X2752]]} = observe_with !'alice !'bob !revolver !upstairs_hall [X2747, [X2746, X2748]] in
let {X2753} = move !'alice !upstairs_hall !study [X2750, -19] in
let {X2754} = move !'bob !upstairs_hall !front_hall [X2751, -18] in
let {X2755} = move !'bob !front_hall !upstairs_hall [X2754, -9] in
let {X2756} = move !'bob !upstairs_hall !bedroom [X2755, -17] in
let {[X2757, X2758]} = observe !'bob !bedsheets !bedroom [X2756, X2735] in
let {[X2759, X2760]} = observe !'bob !bedsheets !bedroom [X2757, X2758] in
let {[X2761, X2762]} = observe !'bob !bedsheets !bedroom [X2759, X2760] in
let {[X2763, X2764]} = observe !'bob !bedsheets !bedroom [X2761, X2762] in
let {X2765} = move !'alice !study !upstairs_hall [X2753, -22] in
let {X2766} = move !'bob !bedroom !upstairs_hall [X2763, -21] in
let {[X2767, X2768]} = leave_observed !'alice !'bob !upstairs_hall !bedroom [X2765, [X2766, -17]] in
let {[X2769, X2770]} = observe !'alice !bedsheets !bedroom [X2767, X2764] in
let {[X2771, X2772]} = observe !'alice !bedsheets !bedroom [X2769, X2770] in
let {[X2773, X2774]} = observe !'alice !bedsheets !bedroom [X2771, X2772] in
let {[X2775, X2776]} = observe !'alice !bedsheets !bedroom [X2773, X2774] in
let {X2777} = move !'bob !upstairs_hall !front_hall [X2768, -18] in
let {[X2778, X2779]} = observe !'alice !bedsheets !bedroom [X2775, X2776] in
let {X2780} = move !'alice !bedroom !upstairs_hall [X2778, -21] in
let {X2781} = move !'alice !upstairs_hall !bedroom [X2780, -17] in
let {[X2782, X2783]} = observe !'alice !bedsheets !bedroom [X2781, X2779] in
let {X2784} = move !'alice !bedroom !upstairs_hall [X2782, -21] in
let {X2785} = move !'alice !upstairs_hall !front_hall [X2784, -18] in
let {[X2786, [X2787, X2788]]} = observe_with !'alice !'bob !stolen_jewels !front_hall [X2785, [X2777, X2745]] in
let {[X2789, X2790]} = leave_observed !'bob !'alice !front_hall !living_room [X2787, [X2786, -7]] in
let {X2791} = move !'alice !front_hall !kitchen [X2790, -6] in
let {X2792} = move !'bob !living_room !front_hall [X2789, -3] in
let {[X2793, X2794]} = observe !'alice !cabinet !kitchen [X2791, X2718] in
let {[X2795, X2796]} = observe !'alice !cabinet !kitchen [X2793, X2794] in
let {[X2797, X2798]} = observe !'alice !cupboards !kitchen [X2795, X2716] in
let {[X2799, X2800]} = observe !'alice !cupboards !kitchen [X2797, X2798] in
let {[X2801, X2802]} = observe !'alice !cupboards !kitchen [X2799, X2800] in
let {X2803} = move !'bob !front_hall !upstairs_hall [X2792, -9] in
let {[X2804, X2805]} = observe !'alice !cabinet !kitchen [X2801, X2796] in
let {X2806} = move !'alice !kitchen !front_hall [X2804, -1] in
let {X2807} = move !'alice !front_hall !upstairs_hall [X2806, -9] in
let {[X2808, X2809]} = leave_observed !'alice !'bob !upstairs_hall !bathroom [X2807, [X2803, -20]] in
let {[X2810, X2811]} = observe_horror !'alice !dead_body !bathroom [X2808, [X2659, horrible/body]] in
let {[X2812, X2813]} = observe !'alice !dead_body !bathroom [X2810, X2811] in
let {X2814} = move !'bob !upstairs_hall !front_hall [X2809, -18] in
let {[X2815, X2816]} = observe !'alice !dead_body !bathroom [X2812, X2813] in
let {[X2817, X2818]} = observe_horror !'alice !dead_body !bathroom [X2815, [X2816, horrible/body]] in
let {X2819} = move !'alice !bathroom !upstairs_hall [X2817, -23] in
let {X2820} = move !'alice !upstairs_hall !front_hall [X2819, -18] in
let {X2821} = move !'bob !front_hall !living_room [X2814, -7] in
let {X2822} = move !'alice !front_hall !kitchen [X2820, -6] in
let {X2823} = move !'bob !living_room !front_hall [X2821, -3] in
let {[X2824, X2825]} = observe !'alice !cabinet !kitchen [X2822, X2805] in
let {[X2826, X2827]} = observe !'alice !cabinet !kitchen [X2824, X2825] in
let {X2828} = move !'bob !front_hall !driveway [X2823, -8] in
let {X2829} = move !'bob !driveway !garage [X2828, -11] in
let {X2830} = move !'bob !garage !driveway [X2829, -13] in
let {[X2831, X2832]} = observe !'bob !mailbox !driveway [X2830, X2592] in
let {X2833} = move !'alice !kitchen !front_hall [X2826, -1] in
let {X2834} = move !'bob !driveway !front_hall [X2831, -10] in
let {[X2835, [X2836, X2837]]} = observe_with !'alice !'bob !stolen_jewels !front_hall [X2833, [X2834, X2788]] in
let {X2838} = move !'bob !front_hall !driveway [X2836, -8] in
let {X2839} = move !'bob !driveway !front_hall [X2838, -10] in
let {X2840} = move !'bob !front_hall !upstairs_hall [X2839, -9] in
let {X2841} = move !'bob !upstairs_hall !front_hall [X2840, -18] in
let {[X2842, X2843]} = leave_observed !'bob !'alice !front_hall !upstairs_hall [X2841, [X2835, -9]] in
let {X2844} = move !'bob !upstairs_hall !front_hall [X2842, -18] in
let {[X2845, X2846]} = leave_observed !'bob !'alice !front_hall !upstairs_hall [X2844, [X2843, -9]] in
let {X2847} = move !'alice !front_hall !living_room [X2846, -7] in
let {X2848} = move !'bob !upstairs_hall !study [X2845, -19] in
let {X2849} = move !'alice !living_room !dining_room [X2847, -2] in
let {X2850} = move !'bob !study !upstairs_hall [X2848, -22] in
let {X2851} = move !'bob !upstairs_hall !bedroom [X2850, -17] in
let {[X2852, X2853]} = observe !'bob !bedsheets !bedroom [X2851, X2783] in
let {[X2854, X2855]} = observe !'bob !bedsheets !bedroom [X2852, X2853] in
let {[X2856, X2857]} = observe !'bob !bedsheets !bedroom [X2854, X2855] in
let {[X2858, X2859]} = observe !'bob !bedsheets !bedroom [X2856, X2857] in
let {X2860} = move !'alice !dining_room !kitchen [X2849, -5] in
let {[X2861, X2862]} = observe !'alice !cabinet !kitchen [X2860, X2827] in
let {X2863} = move !'alice !kitchen !front_hall [X2861, -1] in
let {X2864} = move !'alice !front_hall !driveway [X2863, -8] in
let {[X2865, X2866]} = observe !'alice !mailbox !driveway [X2864, X2832] in
let {[X2867, X2868]} = observe !'bob !bedsheets !bedroom [X2858, X2859] in
let {X2869} = move !'bob !bedroom !upstairs_hall [X2867, -21] in
let {X2870} = move !'bob !upstairs_hall !front_hall [X2869, -18] in
let {[X2871, X2872]} = observe !'alice !mailbox !driveway [X2865, X2866] in
let {X2873} = move !'bob !front_hall !kitchen [X2870, -6] in
let {[X2874, [X2875, X2876]]} = stash !'bob !cupboards !stolen_jewels [X2873, [X2802, [X2837, [container/cupboards, treasure/jewels]]]] in
let {[X2877, X2878]} = observe !'bob !cupboards !kitchen [X2874, X2875] in
let {[X2879, X2880]} = observe !'alice !mailbox !driveway [X2871, X2872] in
let {[X2881, X2882]} = observe !'bob !cupboards !kitchen [X2877, X2878] in
let {[X2883, X2884]} = observe !'alice !mailbox !driveway [X2879, X2880] in
let {[X2885, X2886]} = observe !'bob !cupboards !kitchen [X2881, X2882] in
let {[X2887, [X2888, X2889]]} = stash !'bob !cabinet !golden_falcon [X2885, [X2862, [X2749, [container/cabinet, treasure/falcon]]]] in
let {[X2890, [X2891, X2892]]} = search !'bob !cabinet !golden_falcon [X2887, [X2888, X2889]] in
let {[X2893, [X2894, X2895]]} = search !'bob !cupboards !stolen_jewels [X2890, [X2886, X2876]] in
let {X2896} = move !'alice !driveway !path_by_the_shed [X2883, -12] in
let {[X2897, X2898]} = observe !'bob !cabinet !kitchen [X2893, X2891] in
let {[X2899, X2900]} = observe !'bob !cabinet !kitchen [X2897, X2898] in
let {[X2901, [X2902, X2903]]} = stash !'bob !cupboards !golden_falcon [X2899, [X2894, [X2892, [container/cupboards, treasure/falcon]]]] in
let {[X2904, [X2905, X2906]]} = search !'bob !cupboards !golden_falcon [X2901, [X2902, X2903]] in
let {[X2907, X2908]} = observe !'bob !cabinet !kitchen [X2904, X2900] in
let {X2909} = move !'bob !kitchen !dining_room [X2907, -] in
let {X2910} = move !'bob !dining_room !kitchen [X2909, -5] in
let {[X2911, [X2912, X2913]]} = stash !'bob !cupboards !golden_falcon [X2910, [X2905, [X2906, [container/cupboards, treasure/falcon]]]] in
let {[X2914, [X2915, X2916]]} = stash !'bob !cabinet !stolen_jewels [X2911, [X2908, [X2895, [container/cabinet, treasure/jewels]]]] in
let {[X2917, X2918]} = observe !'bob !cupboards !kitchen [X2914, X2912] in
let {X2919} = move !'bob !kitchen !dining_room [X2917, -] in
let {X2920} = move !'alice !path_by_the_shed !driveway [X2896, -14] in
let {X2921} = move !'bob !dining_room !front_hall [X2919, -4] in
let {[X2922, X2923]} = observe !'alice !mailbox !driveway [X2920, X2884] in
let {[X2924, X2925]} = observe !'alice !mailbox !driveway [X2922, X2923] in
let {X2926} = move !'alice !driveway !path_by_the_shed [X2924, -12] in
let {X2927} = move !'alice !path_by_the_shed !shed [X2926, -15] in
let {[X2928, X2929]} = observe !'alice !toolbox !shed [X2927, X2605] in
let {X2930} = move !'bob !front_hall !kitchen [X2921, -6] in
let {[X2931, X2932]} = observe !'bob !cupboards !kitchen [X2930, X2918] in
let {X2933} = move !'alice !shed !path_by_the_shed [X2928, -16] in
let {[X2934, X2935]} = observe !'bob !cabinet !kitchen [X2931, X2915] in
let {X2936} = move !'bob !kitchen !dining_room [X2934, -] in
let {X2937} = move !'alice !path_by_the_shed !shed [X2933, -15] in
let {X2938} = move !'bob !dining_room !front_hall [X2936, -4] in
let {[X2939, X2940]} = observe !'alice !toolbox !shed [X2937, X2929] in
let {[X2941, X2942]} = observe !'alice !toolbox !shed [X2939, X2940] in
let {X2943} = move !'alice !shed !path_by_the_shed [X2941, -16] in
let {X2944} = move !'bob !front_hall !driveway [X2938, -8] in
let {X2945} = move !'alice !path_by_the_shed !driveway [X2943, -14] in
let {[X2946, X2947]} = greet !'bob !'alice !driveway [X2944, X2945] in
let {[X2948, X2949]} = leave_observed !'bob !'alice !driveway !path_by_the_shed [X2946, [X2947, -12]] in
let {X2950} = move !'alice !driveway !front_hall [X2949, -10] in
let {X2951} = move !'bob !path_by_the_shed !shed [X2948, -15] in
let {X2952} = move !'bob !shed !path_by_the_shed [X2951, -16] in
let {X2953} = move !'alice !front_hall !living_room [X2950, -7] in
let {X2954} = move !'alice !living_room !front_hall [X2953, -3] in
let {X2955} = move !'alice !front_hall !driveway [X2954, -8] in
let {X2956} = move !'bob !path_by_the_shed !shed [X2952, -15] in
let {[X2957, X2958]} = observe !'bob !toolbox !shed [X2956, X2942] in
let {[X2959, X2960]} = observe !'bob !toolbox !shed [X2957, X2958] in
let {X2961} = move !'alice !driveway !garage [X2955, -11] in
let {X2962} = move !'bob !shed !path_by_the_shed [X2959, -16] in
let {X2963} = move !'alice !garage !driveway [X2961, -13] in
let {X2964} = move !'bob !path_by_the_shed !shed [X2962, -15] in
let {X2965} = move !'alice !driveway !garage [X2963, -11] in
let {X2966} = move !'alice !garage !driveway [X2965, -13] in
let {[X2967, X2968]} = observe !'alice !mailbox !driveway [X2966, X2925] in
let {X2969} = move !'alice !driveway !front_hall [X2967, -10] in
let {[X2970, X2971]} = observe !'bob !toolbox !shed [X2964, X2960] in
let {X2972} = move !'alice !front_hall !upstairs_hall [X2969, -9] in
let {X2973} = move !'bob !shed !path_by_the_shed [X2970, -16] in
let {X2974} = move !'bob !path_by_the_shed !driveway [X2973, -14] in
let {X2975} = move !'alice !upstairs_hall !bedroom [X2972, -17] in
let {X2976} = move !'bob !driveway !front_hall [X2974, -10] in
let {X2977} = move !'bob !front_hall !driveway [X2976, -8] in
let {[X2978, X2979]} = observe !'alice !bedsheets !bedroom [X2975, X2868] in
let {[X2980, X2981]} = observe !'alice !bedsheets !bedroom [X2978, X2979] in
let {X2982} = move !'alice !bedroom !upstairs_hall [X2980, -21] in
let {[X2983, X2984]} = observe !'bob !mailbox !driveway [X2977, X2968] in
let {[X2985, X2986]} = observe !'bob !mailbox !driveway [X2983, X2984] in
let {[X2987, X2988]} = observe !'bob !mailbox !driveway [X2985, X2986] in
let {X2989} = move !'alice !upstairs_hall !bedroom [X2982, -17] in
let {X2990} = move !'bob !driveway !garage [X2987, -11] in
let {X2991} = move !'bob !garage !driveway [X2990, -13] in
let {X2992} = move !'bob !driveway !garage [X2991, -11] in
let {X2993} = move !'alice !bedroom !upstairs_hall [X2989, -21] in
let {X2994} = move !'alice !upstairs_hall !bedroom [X2993, -17] in
let {[X2995, X2996]} = observe !'alice !bedsheets !bedroom [X2994, X2981] in
let {[X2997, X2998]} = observe !'alice !bedsheets !bedroom [X2995, X2996] in
let {X2999} = move !'bob !garage !driveway [X2992, -13] in
let {[X3000, X3001]} = observe !'alice !bedsheets !bedroom [X2997, X2998] in
let {X3002} = move !'bob !driveway !path_by_the_shed [X2999, -12] in
let {[X3003, X3004]} = observe !'alice !bedsheets !bedroom [X3000, X3001] in
let {[X3005, X3006]} = observe !'alice !bedsheets !bedroom [X3003, X3004] in
let {X3007} = move !'bob !path_by_the_shed !shed [X3002, -15] in
let {[X3008, X3009]} = observe !'bob !toolbox !shed [X3007, X2971] in
let {[X3010, X3011]} = observe !'alice !bedsheets !bedroom [X3005, X3006] in
let {[X3012, X3013]} = observe !'bob !toolbox !shed [X3008, X3009] in
let {[X3014, X3015]} = observe !'bob !toolbox !shed [X3012, X3013] in
let {X3016} = move !'alice !bedroom !upstairs_hall [X3010, -21] in
let {[X3017, X3018]} = observe !'bob !toolbox !shed [X3014, X3015] in
let {[X3019, X3020]} = observe !'bob !toolbox !shed [X3017, X3018] in
let {[X3021, X3022]} = observe !'bob !toolbox !shed [X3019, X3020] in
let {[X3023, X3024]} = observe !'bob !toolbox !shed [X3021, X3022] in
let {X3025} = move !'alice !upstairs_hall !bathroom [X3016, -20] in
let {[X3026, X3027]} = observe !'bob !toolbox !shed [X3023, X3024] in
let {X3028} = move !'bob !shed !path_by_the_shed [X3026, -16] in
let {X3029} = move !'bob !path_by_the_shed !shed [X3028, -15] in
let {X3030} = move !'alice !bathroom !upstairs_hall [X3025, -23] in
let {X3031} = move !'bob !shed !path_by_the_shed [X3029, -16] in
let {X3032} = move !'alice !upstairs_hall !bedroom [X3030, -17] in
let {[X3033, X3034]} = observe !'alice !bedsheets !bedroom [X3032, X3011] in
let {[X3035, X3036]} = observe !'alice !bedsheets !bedroom [X3033, X3034] in
let {[X3037, X3038]} = observe !'alice !bedsheets !bedroom [X3035, X3036] in
let {X3039} = move !'bob !path_by_the_shed !shed [X3031, -15] in
let {X3040} = move !'alice !bedroom !upstairs_hall [X3037, -21] in
let {[X3041, X3042]} = observe !'bob !toolbox !shed [X3039, X3027] in
let {[X3043, X3044]} = observe !'bob !toolbox !shed [X3041, X3042] in
let {X3045} = move !'alice !upstairs_hall !study [X3040, -19] in
let {X3046} = move !'bob !shed !path_by_the_shed [X3043, -16] in
let {X3047} = move !'bob !path_by_the_shed !shed [X3046, -15] in
let {[X3048, X3049]} = observe !'bob !toolbox !shed [X3047, X3044] in
let {X3050} = move !'bob !shed !path_by_the_shed [X3048, -16] in
let {X3051} = move !'bob !path_by_the_shed !shed [X3050, -15] in
let {[X3052, X3053]} = observe !'bob !toolbox !shed [X3051, X3049] in
let {X3054} = move !'bob !shed !path_by_the_shed [X3052, -16] in
let {X3055} = move !'bob !path_by_the_shed !driveway [X3054, -14] in
let {X3056} = move !'bob !driveway !front_hall [X3055, -10] in
let {X3057} = move !'bob !front_hall !living_room [X3056, -7] in
let {X3058} = move !'alice !study !upstairs_hall [X3045, -22] in
let {X3059} = move !'alice !upstairs_hall !bedroom [X3058, -17] in
let {[X3060, X3061]} = observe !'alice !bedsheets !bedroom [X3059, X3038] in
let {[X3062, X3063]} = observe !'alice !bedsheets !bedroom [X3060, X3061] in
let {X3064} = move !'alice !bedroom !upstairs_hall [X3062, -21] in
let {X3065} = move !'bob !living_room !front_hall [X3057, -3] in
let {X3066} = move !'bob !front_hall !driveway [X3065, -8] in
let {X3067} = move !'bob !driveway !garage [X3066, -11] in
let {X3068} = move !'bob !garage !driveway [X3067, -13] in
let {[X3069, X3070]} = observe !'bob !mailbox !driveway [X3068, X2988] in
let {[X3071, X3072]} = observe !'bob !mailbox !driveway [X3069, X3070] in
let {X3073} = move !'alice !upstairs_hall !front_hall [X3064, -18] in
let {[X3074, X3075]} = observe !'bob !mailbox !driveway [X3071, X3072] in
let {X3076} = move !'alice !front_hall !driveway [X3073, -8] in
let {[X3077, X3078]} = observe_location !'bob !'alice !driveway [X3074, X3076] in
let {[X3079, X3080]} = leave_observed !'bob !'alice !driveway !front_hall [X3077, [X3078, -10]] in
let {[X3081, X3082]} = observe !'alice !mailbox !driveway [X3080, X3075] in
let {X3083} = move !'bob !front_hall !upstairs_hall [X3079, -9] in
let {X3084} = move !'alice !driveway !path_by_the_shed [X3081, -12] in
let {X3085} = move !'bob !upstairs_hall !front_hall [X3083, -18] in
let {X3086} = move !'bob !front_hall !kitchen [X3085, -6] in
let {[X3087, X3088]} = observe !'bob !cupboards !kitchen [X3086, X2932] in
let {[X3089, X3090]} = observe !'bob !cupboards !kitchen [X3087, X3088] in
let {X3091} = move !'alice !path_by_the_shed !driveway [X3084, -14] in
let {[X3092, [X3093, X3094]]} = search !'bob !cupboards !golden_falcon [X3089, [X3090, X2913]] in
let {[X3095, [X3096, X3097]]} = stash !'bob !cupboards !golden_falcon [X3092, [X3093, [X3094, [container/cupboards, treasure/falcon]]]] in
let {[X3098, X3099]} = observe !'alice !mailbox !driveway [X3091, X3082] in
let {[X3100, X3101]} = observe !'alice !mailbox !driveway [X3098, X3099] in
let {[X3102, [X3103, X3104]]} = search !'bob !cabinet !stolen_jewels [X3095, [X2935, X2916]] in
let {[X3105, X3106]} = observe !'bob !cupboards !kitchen [X3102, X3096] in
let {[X3107, [X3108, X3109]]} = search !'bob !cupboards !golden_falcon [X3105, [X3106, X3097]] in
let {X3110} = move !'bob !kitchen !front_hall [X3107, -1] in
let {X3111} = move !'bob !front_hall !kitchen [X3110, -6] in
let {[X3112, X3113]} = observe !'bob !cabinet !kitchen [X3111, X3103] in
let {[X3114, [X3115, X3116]]} = stash !'bob !cupboards !golden_falcon [X3112, [X3108, [X3109, [container/cupboards, treasure/falcon]]]] in
let {[X3117, [X3118, X3119]]} = search !'bob !cupboards !golden_falcon [X3114, [X3115, X3116]] in
let {[X3120, X3121]} = observe !'alice !mailbox !driveway [X3100, X3101] in
let {X3122} = move !'bob !kitchen !dining_room [X3117, -] in
let {X3123} = move !'bob !dining_room !kitchen [X3122, -5] in
let {[X3124, [X3125, X3126]]} = stash !'bob !cabinet !golden_falcon [X3123, [X3113, [X3119, [container/cabinet, treasure/falcon]]]] in
let {[X3127, X3128]} = observe !'bob !cabinet !kitchen [X3124, X3125] in
let {X3129} = move !'alice !driveway !path_by_the_shed [X3120, -12] in
let {[X3130, X3131]} = observe !'bob !cupboards !kitchen [X3127, X3118] in
let {X3132} = move !'alice !path_by_the_shed !driveway [X3129, -14] in
let {[X3133, [X3134, X3135]]} = search !'bob !cabinet !golden_falcon [X3130, [X3128, X3126]] in
let {[X3136, [X3137, X3138]]} = stash !'bob !cabinet !stolen_jewels [X3133, [X3134, [X3104, [container/cabinet, treasure/jewels]]]] in
let {[X3139, [X3140, X3141]]} = stash !'bob !cupboards !golden_falcon [X3136, [X3131, [X3135, [container/cupboards, treasure/falcon]]]] in
let {X3142} = move !'bob !kitchen !dining_room [X3139, -] in
let {X3143} = move !'alice !driveway !front_hall [X3132, -10] in
let {X3144} = move !'alice !front_hall !upstairs_hall [X3143, -9] in
let {X3145} = move !'bob !dining_room !kitchen [X3142, -5] in
let {X3146} = move !'alice !upstairs_hall !study [X3144, -19] in
let {[X3147, X3148]} = observe !'bob !cabinet !kitchen [X3145, X3137] in
let {[X3149, X3150]} = observe !'bob !cabinet !kitchen [X3147, X3148] in
let {[X3151, [X3152, X3153]]} = search !'bob !cabinet !stolen_jewels [X3149, [X3150, X3138]] in
let {[X3154, [X3155, X3156]]} = stash !'bob !cupboards !stolen_jewels [X3151, [X3140, [X3153, [container/cupboards, treasure/jewels]]]] in
let {[X3157, X3158]} = observe !'bob !cupboards !kitchen [X3154, X3155] in
let {X3159} = move !'bob !kitchen !front_hall [X3157, -1] in
let {X3160} = move !'alice !study !upstairs_hall [X3146, -22] in
let {X3161} = move !'alice !upstairs_hall !bedroom [X3160, -17] in
let {[X3162, X3163]} = observe !'alice !bedsheets !bedroom [X3161, X3063] in
let {X3164} = move !'alice !bedroom !upstairs_hall [X3162, -21] in
let {X3165} = move !'alice !upstairs_hall !bathroom [X3164, -20] in
let {[X3166, X3167]} = observe !'alice !dead_body !bathroom [X3165, X2818] in
let {[X3168, X3169]} = observe_horror !'alice !dead_body !bathroom [X3166, [X3167, horrible/body]] in
let {X3170} = move !'bob !front_hall !kitchen [X3159, -6] in
let {X3171} = move !'bob !kitchen !front_hall [X3170, -1] in
let {[X3172, X3173]} = observe_horror !'alice !dead_body !bathroom [X3168, [X3169, horrible/body]] in
let {[X3174, X3175]} = observe_horror !'alice !dead_body !bathroom [X3172, [X3173, horrible/body]] in
let {[X3176, X3177]} = observe !'alice !dead_body !bathroom [X3174, X3175] in
let {X3178} = move !'alice !bathroom !upstairs_hall [X3176, -23] in
let {X3179} = move !'bob !front_hall !upstairs_hall [X3171, -9] in
let {X3180} = move !'alice !upstairs_hall !study [X3178, -19] in
let {X3181} = move !'bob !upstairs_hall !bathroom [X3179, -20] in
let {[X3182, X3183]} = observe !'bob !dead_body !bathroom [X3181, X3177] in
let {[X3184, X3185]} = observe_horror !'bob !dead_body !bathroom [X3182, [X3183, horrible/body]] in
let {[X3186, X3187]} = observe !'bob !dead_body !bathroom [X3184, X3185] in
let {[X3188, X3189]} = observe !'bob !dead_body !bathroom [X3186, X3187] in
let {[X3190, X3191]} = observe_horror !'bob !dead_body !bathroom [X3188, [X3189, horrible/body]] in
let {X3192} = move !'alice !study !upstairs_hall [X3180, -22] in
let {[X3193, X3194]} = observe !'bob !dead_body !bathroom [X3190, X3191] in
let {X3195} = move !'bob !bathroom !upstairs_hall [X3193, -23] in
let {[X3196, X3197]} = greet !'alice !'bob !upstairs_hall [X3192, X3195] in
let {[X3198, X3199]} = observe_location !'alice !'bob !upstairs_hall [X3196, X3197] in
let {[X3200, X3201]} = observe_location !'alice !'bob !upstairs_hall [X3198, X3199] in
let {X3202} = move !'bob !upstairs_hall !front_hall [X3201, -18] in
let {X3203} = move !'alice !upstairs_hall !bedroom [X3200, -17] in
let {X3204} = move !'alice !bedroom !upstairs_hall [X3203, -21] in
let {X3205} = move !'bob !front_hall !driveway [X3202, -8] in
let {[X3206, X3207]} = observe !'bob !mailbox !driveway [X3205, X3121] in
let {X3208} = move !'alice !upstairs_hall !bedroom [X3204, -17] in
let {[X3209, X3210]} = observe !'alice !bedsheets !bedroom [X3208, X3163] in
let {[X3211, X3212]} = observe !'bob !mailbox !driveway [X3206, X3207] in
let {X3213} = move !'alice !bedroom !upstairs_hall [X3209, -21] in
let {[X3214, X3215]} = observe !'bob !mailbox !driveway [X3211, X3212] in
let {X3216} = move !'alice !upstairs_hall !bathroom [X3213, -20] in
let {X3217} = move !'alice !bathroom !upstairs_hall [X3216, -23] in
let {X3218} = move !'bob !driveway !path_by_the_shed [X3214, -12] in
let {X3219} = move !'bob !path_by_the_shed !driveway [X3218, -14] in
let {[X3220, X3221]} = observe !'bob !mailbox !driveway [X3219, X3215] in
let {[X3222, X3223]} = observe !'bob !mailbox !driveway [X3220, X3221] in
let {X3224} = move !'bob !driveway !garage [X3222, -11] in
let {X3225} = move !'alice !upstairs_hall !study [X3217, -19] in
let {X3226} = move !'alice !study !upstairs_hall [X3225, -22] in
let {X3227} = move !'bob !garage !driveway [X3224, -13] in
let {X3228} = move !'alice !upstairs_hall !study [X3226, -19] in
let {[X3229, X3230]} = observe !'bob !mailbox !driveway [X3227, X3223] in
let {X3231} = move !'alice !study !upstairs_hall [X3228, -22] in
let {X3232} = move !'alice !upstairs_hall !front_hall [X3231, -18] in
let {X3233} = move !'alice !front_hall !driveway [X3232, -8] in
let {[X3234, X3235]} = greet !'bob !'alice !driveway [X3229, X3233] in
let {[X3236, [X3237, X3238]]} = observe_with !'alice !'bob !revolver !driveway [X3235, [X3234, X2752]] in
let {[X3239, [X3240, X3241]]} = observe_with !'alice !'bob !revolver !driveway [X3236, [X3237, X3238]] in
let {[X3242, X3243]} = greet !'alice !'bob !driveway [X3239, X3240] in
let {[X3244, X3245]} = greet !'alice !'bob !driveway [X3242, X3243] in
let {[X3246, X3247]} = greet !'alice !'bob !driveway [X3244, X3245] in
let {[X3248, X3249]} = greet !'bob !'alice !driveway [X3247, X3246] in
let {X3250} = move !'alice !driveway !path_by_the_shed [X3249, -12] in
let {X3251} = move !'alice !path_by_the_shed !driveway [X3250, -14] in
let {[X3252, X3253]} = observe_location !'alice !'bob !driveway [X3251, X3248] in
let {[X3254, [X3255, X3256]]} = observe_with !'alice !'bob !revolver !driveway [X3252, [X3253, X3241]] in
let {[X3257, X3258]} = leave_observed !'alice !'bob !driveway !path_by_the_shed [X3254, [X3255, -12]] in
let {X3259} = move !'alice !path_by_the_shed !shed [X3257, -15] in
let {X3260} = move !'alice !shed !path_by_the_shed [X3259, -16] in
let {[X3261, X3262]} = observe !'bob !mailbox !driveway [X3258, X3230] in
let {[X3263, X3264]} = observe !'bob !mailbox !driveway [X3261, X3262] in
let {[X3265, X3266]} = observe !'bob !mailbox !driveway [X3263, X3264] in
let {[X3267, X3268]} = observe !'bob !mailbox !driveway [X3265, X3266] in
let {[X3269, X3270]} = observe !'bob !mailbox !driveway [X3267, X3268] in
let {X3271} = move !'bob !driveway !front_hall [X3269, -10] in
let {X3272} = move !'bob !front_hall !kitchen [X3271, -6] in
let {[X3273, [X3274, X3275]]} = search !'bob !cupboards !golden_falcon [X3272, [X3158, X3141]] in
let {X3276} = move !'bob !kitchen !dining_room [X3273, -] in
let {X3277} = move !'alice !path_by_the_shed !driveway [X3260, -14] in
let {[X3278, X3279]} = observe !'alice !mailbox !driveway [X3277, X3270] in
let {X3280} = move !'bob !dining_room !front_hall [X3276, -4] in
let {X3281} = move !'alice !driveway !garage [X3278, -11] in
let {X3282} = move !'alice !garage !driveway [X3281, -13] in
let {[X3283, X3284]} = observe !'alice !mailbox !driveway [X3282, X3279] in
let {[X3285, X3286]} = observe !'alice !mailbox !driveway [X3283, X3284] in
let {[X3287, X3288]} = observe !'alice !mailbox !driveway [X3285, X3286] in
let {[X3289, X3290]} = observe !'alice !mailbox !driveway [X3287, X3288] in
let {X3291} = move !'bob !front_hall !living_room [X3280, -7] in
let {[X3292, X3293]} = observe !'alice !mailbox !driveway [X3289, X3290] in
let {[X3294, X3295]} = observe !'alice !mailbox !driveway [X3292, X3293] in
let {[X3296, X3297]} = observe !'alice !mailbox !driveway [X3294, X3295] in
let {X3298} = move !'alice !driveway !path_by_the_shed [X3296, -12] in
let {X3299} = move !'bob !living_room !front_hall [X3291, -3] in
let {X3300} = move !'bob !front_hall !kitchen [X3299, -6] in
let {[X3301, X3302]} = observe !'bob !cabinet !kitchen [X3300, X3152] in
let {[X3303, [X3304, X3305]]} = search !'bob !cupboards !stolen_jewels [X3301, [X3274, X3156]] in
let {[X3306, X3307]} = observe !'bob !cabinet !kitchen [X3303, X3302] in
let {[X3308, [X3309, X3310]]} = stash !'bob !cupboards !stolen_jewels [X3306, [X3304, [X3305, [container/cupboards, treasure/jewels]]]] in
let {[X3311, [X3312, X3313]]} = search !'bob !cupboards !stolen_jewels [X3308, [X3309, X3310]] in
let {[X3314, X3315]} = observe !'bob !cabinet !kitchen [X3311, X3307] in
let {X3316} = move !'alice !path_by_the_shed !driveway [X3298, -14] in
let {[X3317, [X3318, X3319]]} = stash !'bob !cabinet !stolen_jewels [X3314, [X3315, [X3313, [container/cabinet, treasure/jewels]]]] in
let {[X3320, [X3321, X3322]]} = search !'bob !cabinet !stolen_jewels [X3317, [X3318, X3319]] in
let {[X3323, X3324]} = observe !'bob !cupboards !kitchen [X3320, X3312] in
let {[X3325, X3326]} = observe !'bob !cabinet !kitchen [X3323, X3321] in
let {[X3327, X3328]} = observe !'bob !cabinet !kitchen [X3325, X3326] in
let {X3329} = move !'alice !driveway !path_by_the_shed [X3316, -12] in
let {[X3330, X3331]} = observe !'bob !cabinet !kitchen [X3327, X3328] in
let {[X3332, [X3333, X3334]]} = stash !'bob !cupboards !golden_falcon [X3330, [X3324, [X3275, [container/cupboards, treasure/falcon]]]] in
let {[X3335, [X3336, X3337]]} = search !'bob !cupboards !golden_falcon [X3332, [X3333, X3334]] in
let {X3338} = move !'bob !kitchen !dining_room [X3335, -] in
let {X3339} = move !'bob !dining_room !kitchen [X3338, -5] in
let {X3340} = move !'alice !path_by_the_shed !shed [X3329, -15] in
let {[X3341, [X3342, X3343]]} = stash !'bob !cabinet !stolen_jewels [X3339, [X3331, [X3322, [container/cabinet, treasure/jewels]]]] in
let {[X3344, [X3345, X3346]]} = search !'bob !cabinet !stolen_jewels [X3341, [X3342, X3343]] in
let {X3347} = move !'bob !kitchen !dining_room [X3344, -] in
let {[X3348, X3349]} = observe !'alice !toolbox !shed [X3340, X3053] in
let {X3350} = move !'bob !dining_room !kitchen [X3347, -5] in
let {[X3351, X3352]} = observe !'bob !cupboards !kitchen [X3350, X3336] in
let {X3353} = move !'bob !kitchen !dining_room [X3351, -] in
let {[X3354, X3355]} = observe !'alice !toolbox !shed [X3348, X3349] in
let {[X3356, X3357]} = observe !'alice !toolbox !shed [X3354, X3355] in
let {[X3358, X3359]} = observe !'alice !toolbox !shed [X3356, X3357] in
let {[X3360, X3361]} = observe !'alice !toolbox !shed [X3358, X3359] in
let {X3362} = move !'bob !dining_room !front_hall [X3353, -4] in
let {[X3363, X3364]} = observe !'alice !toolbox !shed [X3360, X3361] in
let {[X3365, X3366]} = observe !'alice !toolbox !shed [X3363, X3364] in
let {X3367} = move !'bob !front_hall !driveway [X3362, -8] in
let {X3368} = move !'bob !driveway !garage [X3367, -11] in
let {[X3369, [X3370, X3371]]} = drive_away !'bob !golden_falcon !stolen_jewels [X3368, [X3337, X3346]] in
let {X3372} = fin_droveaway !'alice !'bob !shed [X3365, X3369] in [X3352, [X3345, [X3297, [X3210, [X3366, [X3256, [X3370, [X3371, [X3194, X3372]]]]]]]]]}
#A = \!X3373. \!X3374. inroom !kitchen
#B = \!X3375. \!X3376. inroom !kitchen
#C = \!X3377. \!X3378. inroom !driveway
#D = \!X3379. \!X3380. inroom !bedroom
#E = \!X3381. \!X3382. inroom !shed
#F = \!X3383. \!X3384. has !X3384
#G = \!X3385. \!X3386. has !X3386
#H = \!X3387. \!X3388. has !X3388
#I = \!X3389. \!X3390. inroom !bathroom
#J = \!X3391. \!X3392. droveaway !X3392
[closing world/swallows/swallows.clf]