Celf ver 2.9. Copyright (C) 2011
Setting random seed 201723216
[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} = move !'alice !bedroom !upstairs_hall [X1, -21] in
let {X13} = move !'bob !front_hall !upstairs_hall [X2, -9] in
let {X14} = move !'alice !upstairs_hall !front_hall [X12, -18] in
let {X15} = move !'alice !front_hall !kitchen [X14, -6] in
let {[X16, X17]} = observe !'alice !cupboards !kitchen [X15, X3] in
let {[X18, X19]} = observe !'alice !cupboards !kitchen [X16, X17] in
let {[X20, [X21, X22]]} = search !'alice !cabinet !revolver [X18, [X4, X8]] in
let {[X23, X24]} = observe !'alice !cupboards !kitchen [X20, X19] in
let {X25} = move !'alice !kitchen !dining_room [X23, -] in
let {X26} = move !'alice !dining_room !front_hall [X25, -4] in
let {X27} = move !'bob !upstairs_hall !bedroom [X13, -17] in
let {[X28, [X29, X30]]} = search !'bob !bedsheets !stolen_jewels [X27, [X6, X10]] in
let {[X31, X32]} = observe !'bob !bedsheets !bedroom [X28, X29] in
let {X33} = move !'alice !front_hall !upstairs_hall [X26, -9] in
let {[X34, X35]} = observe !'bob !bedsheets !bedroom [X31, X32] in
let {[X36, X37]} = observe !'bob !bedsheets !bedroom [X34, X35] in
let {X38} = move !'bob !bedroom !upstairs_hall [X36, -21] in
let {[X39, [X40, X41]]} = observe_with !'bob !'alice !revolver !upstairs_hall [X38, [X33, X22]] in
let {[X42, X43]} = leave_observed !'bob !'alice !upstairs_hall !bedroom [X39, [X40, -17]] in
let {X44} = move !'bob !bedroom !upstairs_hall [X42, -21] in
let {[X45, X46]} = greet !'alice !'bob !upstairs_hall [X43, X44] in
let {X47} = move !'alice !upstairs_hall !study [X45, -19] in
let {X48} = move !'bob !upstairs_hall !study [X46, -19] in
let {[X49, X50]} = observe_location !'bob !'alice !study [X48, X47] in
let {[X51, X52]} = greet !'alice !'bob !study [X50, X49] in
let {X53} = move !'bob !study !upstairs_hall [X52, -22] in
let {X54} = move !'alice !study !upstairs_hall [X51, -22] in
let {[X55, X56]} = observe_location !'bob !'alice !upstairs_hall [X53, X54] in
let {[X57, X58]} = leave_observed !'alice !'bob !upstairs_hall !bathroom [X56, [X55, -20]] in
let {X59} = move !'alice !bathroom !upstairs_hall [X57, -23] in
let {[X60, X61]} = leave_observed !'bob !'alice !upstairs_hall !bathroom [X58, [X59, -20]] in
let {[X62, X63]} = observe_horror !'bob !dead_body !bathroom [X60, [X11, horrible/body]] in
let {X64} = move !'bob !bathroom !upstairs_hall [X62, -23] in
let {[X65, [X66, [X67, X68]]]} = steal_with_revolver !'alice !'bob !upstairs_hall !stolen_jewels [X61, [X64, [X41, X30]]] in
let {[X69, X70]} = greet !'alice !'bob !upstairs_hall [X65, X66] in
let {[X71, X72]} = greet !'bob !'alice !upstairs_hall [X70, X69] in
let {[X73, X74]} = observe_location !'alice !'bob !upstairs_hall [X72, X71] in
let {[X75, X76]} = greet !'bob !'alice !upstairs_hall [X74, X73] in
let {X77} = move !'alice !upstairs_hall !bathroom [X76, -20] in
let {[X78, X79]} = observe !'alice !dead_body !bathroom [X77, X63] in
let {[X80, X81]} = observe !'alice !dead_body !bathroom [X78, X79] in
let {X82} = move !'alice !bathroom !upstairs_hall [X80, -23] in
let {[X83, [X84, X85]]} = observe_with !'bob !'alice !revolver !upstairs_hall [X75, [X82, X67]] in
let {[X86, [X87, X88]]} = observe_with !'bob !'alice !stolen_jewels !upstairs_hall [X83, [X84, X68]] in
let {[X89, X90]} = greet !'alice !'bob !upstairs_hall [X87, X86] in
let {[X91, X92]} = leave_observed !'bob !'alice !upstairs_hall !bedroom [X90, [X89, -17]] in
let {[X93, X94]} = observe !'bob !bedsheets !bedroom [X91, X37] in
let {X95} = move !'alice !upstairs_hall !bedroom [X92, -17] in
let {[X96, X97]} = leave_observed !'bob !'alice !bedroom !upstairs_hall [X93, [X95, -21]] in
let {[X98, X99]} = observe !'alice !bedsheets !bedroom [X97, X94] in
let {[X100, X101]} = observe !'alice !bedsheets !bedroom [X98, X99] in
let {[X102, X103]} = observe !'alice !bedsheets !bedroom [X100, X101] in
let {[X104, X105]} = observe !'alice !bedsheets !bedroom [X102, X103] in
let {[X106, X107]} = observe !'alice !bedsheets !bedroom [X104, X105] in
let {[X108, X109]} = observe !'alice !bedsheets !bedroom [X106, X107] in
let {[X110, X111]} = observe !'alice !bedsheets !bedroom [X108, X109] in
let {X112} = move !'alice !bedroom !upstairs_hall [X110, -21] in
let {[X113, X114]} = leave_observed !'bob !'alice !upstairs_hall !bedroom [X96, [X112, -17]] in
let {X115} = move !'alice !upstairs_hall !study [X114, -19] in
let {[X116, X117]} = observe !'bob !bedsheets !bedroom [X113, X111] in
let {X118} = move !'bob !bedroom !upstairs_hall [X116, -21] in
let {X119} = move !'alice !study !upstairs_hall [X115, -22] in
let {X120} = move !'alice !upstairs_hall !front_hall [X119, -18] in
let {X121} = move !'bob !upstairs_hall !bathroom [X118, -20] in
let {[X122, X123]} = observe_horror !'bob !dead_body !bathroom [X121, [X81, horrible/body]] in
let {[X124, X125]} = observe_horror !'bob !dead_body !bathroom [X122, [X123, horrible/body]] in
let {X126} = move !'bob !bathroom !upstairs_hall [X124, -23] in
let {X127} = move !'alice !front_hall !upstairs_hall [X120, -9] in
let {[X128, X129]} = greet !'bob !'alice !upstairs_hall [X126, X127] in
let {X130} = move !'alice !upstairs_hall !bathroom [X129, -20] in
let {X131} = move !'bob !upstairs_hall !study [X128, -19] in
let {[X132, X133]} = observe_horror !'alice !dead_body !bathroom [X130, [X125, horrible/body]] in
let {[X134, X135]} = observe_horror !'alice !dead_body !bathroom [X132, [X133, horrible/body]] in
let {[X136, X137]} = observe !'alice !dead_body !bathroom [X134, X135] in
let {X138} = move !'alice !bathroom !upstairs_hall [X136, -23] in
let {X139} = move !'alice !upstairs_hall !bedroom [X138, -17] in
let {[X140, X141]} = observe !'alice !bedsheets !bedroom [X139, X117] in
let {[X142, X143]} = observe !'alice !bedsheets !bedroom [X140, X141] in
let {[X144, X145]} = observe !'alice !bedsheets !bedroom [X142, X143] in
let {[X146, X147]} = observe !'alice !bedsheets !bedroom [X144, X145] in
let {[X148, X149]} = observe !'alice !bedsheets !bedroom [X146, X147] in
let {[X150, X151]} = observe !'alice !bedsheets !bedroom [X148, X149] in
let {[X152, X153]} = observe !'alice !bedsheets !bedroom [X150, X151] in
let {X154} = move !'bob !study !upstairs_hall [X131, -22] in
let {X155} = move !'bob !upstairs_hall !front_hall [X154, -18] in
let {[X156, X157]} = observe !'alice !bedsheets !bedroom [X152, X153] in
let {[X158, X159]} = observe !'alice !bedsheets !bedroom [X156, X157] in
let {[X160, X161]} = observe !'alice !bedsheets !bedroom [X158, X159] in
let {[X162, X163]} = observe !'alice !bedsheets !bedroom [X160, X161] in
let {X164} = move !'bob !front_hall !living_room [X155, -7] in
let {[X165, X166]} = observe !'alice !bedsheets !bedroom [X162, X163] in
let {[X167, X168]} = observe !'alice !bedsheets !bedroom [X165, X166] in
let {X169} = move !'alice !bedroom !upstairs_hall [X167, -21] in
let {X170} = move !'alice !upstairs_hall !front_hall [X169, -18] in
let {X171} = move !'alice !front_hall !kitchen [X170, -6] in
let {[X172, X173]} = observe !'alice !cupboards !kitchen [X171, X24] in
let {[X174, [X175, X176]]} = stash !'alice !cabinet !stolen_jewels [X172, [X21, [X88, [container/cabinet, treasure/jewels]]]] in
let {X177} = move !'alice !kitchen !front_hall [X174, -1] in
let {X178} = move !'bob !living_room !front_hall [X164, -3] in
let {X179} = move !'alice !front_hall !upstairs_hall [X177, -9] in
let {X180} = move !'alice !upstairs_hall !bathroom [X179, -20] in
let {[X181, X182]} = observe !'alice !dead_body !bathroom [X180, X137] in
let {[X183, X184]} = observe !'alice !dead_body !bathroom [X181, X182] in
let {[X185, X186]} = observe_horror !'alice !dead_body !bathroom [X183, [X184, horrible/body]] in
let {X187} = move !'alice !bathroom !upstairs_hall [X185, -23] in
let {X188} = move !'bob !front_hall !kitchen [X178, -6] in
let {X189} = move !'bob !kitchen !front_hall [X188, -1] in
let {X190} = move !'bob !front_hall !upstairs_hall [X189, -9] in
let {[X191, X192]} = leave_observed !'alice !'bob !upstairs_hall !study [X187, [X190, -19]] in
let {X193} = move !'alice !study !upstairs_hall [X191, -22] in
let {X194} = move !'alice !upstairs_hall !study [X193, -19] in
let {X195} = move !'alice !study !upstairs_hall [X194, -22] in
let {X196} = move !'alice !upstairs_hall !study [X195, -19] in
let {X197} = move !'bob !upstairs_hall !study [X192, -19] in
let {[X198, X199]} = greet !'bob !'alice !study [X197, X196] in
let {X200} = move !'bob !study !upstairs_hall [X198, -22] in
let {X201} = move !'alice !study !upstairs_hall [X199, -22] in
let {[X202, X203]} = observe_location !'bob !'alice !upstairs_hall [X200, X201] in
let {[X204, X205]} = observe_location !'alice !'bob !upstairs_hall [X203, X202] in
let {[X206, [X207, X208]]} = observe_with !'bob !'alice !revolver !upstairs_hall [X205, [X204, X85]] in
let {[X209, X210]} = leave_observed !'bob !'alice !upstairs_hall !study [X206, [X207, -19]] in
let {X211} = move !'alice !upstairs_hall !bathroom [X210, -20] in
let {X212} = move !'alice !bathroom !upstairs_hall [X211, -23] in
let {X213} = move !'bob !study !upstairs_hall [X209, -22] in
let {[X214, X215]} = leave_observed !'alice !'bob !upstairs_hall !front_hall [X212, [X213, -18]] in
let {X216} = move !'bob !upstairs_hall !front_hall [X215, -18] in
let {[X217, [X218, X219]]} = observe_with !'bob !'alice !revolver !front_hall [X216, [X214, X208]] in
let {[X220, [X221, X222]]} = observe_with !'bob !'alice !revolver !front_hall [X217, [X218, X219]] in
let {[X223, X224]} = observe_location !'bob !'alice !front_hall [X220, X221] in
let {[X225, X226]} = greet !'alice !'bob !front_hall [X224, X223] in
let {X227} = move !'alice !front_hall !kitchen [X225, -6] in
let {X228} = move !'bob !front_hall !living_room [X226, -7] in
let {X229} = move !'alice !kitchen !dining_room [X227, -] in
let {X230} = move !'bob !living_room !dining_room [X228, -2] in
let {X231} = move !'alice !dining_room !kitchen [X229, -5] in
let {[X232, [X233, X234]]} = search !'alice !cabinet !stolen_jewels [X231, [X175, X176]] in
let {[X235, X236]} = observe !'alice !cabinet !kitchen [X232, X233] in
let {[X237, [X238, X239]]} = stash !'alice !cupboards !stolen_jewels [X235, [X173, [X234, [container/cupboards, treasure/jewels]]]] in
let {[X240, [X241, X242]]} = search !'alice !cupboards !stolen_jewels [X237, [X238, X239]] in
let {[X243, X244]} = observe !'alice !cupboards !kitchen [X240, X241] in
let {[X245, X246]} = observe !'alice !cabinet !kitchen [X243, X236] in
let {X247} = move !'alice !kitchen !dining_room [X245, -] in
let {[X248, [X249, X250]]} = observe_with !'bob !'alice !revolver !dining_room [X230, [X247, X222]] in
let {[X251, X252]} = greet !'bob !'alice !dining_room [X248, X249] in
let {[X253, X254]} = leave_observed !'bob !'alice !dining_room !kitchen [X251, [X252, -5]] in
let {X255} = move !'bob !kitchen !dining_room [X253, -] in
let {[X256, X257]} = leave_observed !'bob !'alice !dining_room !kitchen [X255, [X254, -5]] in
let {[X258, X259]} = observe !'bob !cabinet !kitchen [X256, X246] in
let {[X260, X261]} = observe !'bob !cupboards !kitchen [X258, X244] in
let {[X262, X263]} = observe !'bob !cabinet !kitchen [X260, X259] in
let {[X264, X265]} = observe !'bob !cabinet !kitchen [X262, X263] in
let {[X266, X267]} = observe !'bob !cupboards !kitchen [X264, X261] in
let {X268} = move !'alice !dining_room !front_hall [X257, -4] in
let {X269} = move !'alice !front_hall !upstairs_hall [X268, -9] in
let {[X270, X271]} = observe !'bob !cupboards !kitchen [X266, X267] in
let {X272} = move !'bob !kitchen !front_hall [X270, -1] in
let {X273} = move !'alice !upstairs_hall !front_hall [X269, -18] in
let {[X274, X275]} = observe_location !'alice !'bob !front_hall [X273, X272] in
let {[X276, X277]} = greet !'alice !'bob !front_hall [X274, X275] in
let {[X278, X279]} = leave_observed !'bob !'alice !front_hall !kitchen [X277, [X276, -6]] in
let {X280} = move !'alice !front_hall !upstairs_hall [X279, -9] in
let {[X281, X282]} = observe !'bob !cabinet !kitchen [X278, X265] in
let {[X283, X284]} = observe !'bob !cupboards !kitchen [X281, X271] in
let {X285} = move !'alice !upstairs_hall !bedroom [X280, -17] in
let {[X286, X287]} = observe !'bob !cabinet !kitchen [X283, X282] in
let {X288} = move !'bob !kitchen !dining_room [X286, -] in
let {X289} = move !'bob !dining_room !kitchen [X288, -5] in
let {X290} = move !'bob !kitchen !dining_room [X289, -] in
let {[X291, X292]} = observe !'alice !bedsheets !bedroom [X285, X168] in
let {[X293, X294]} = observe !'alice !bedsheets !bedroom [X291, X292] in
let {[X295, X296]} = observe !'alice !bedsheets !bedroom [X293, X294] in
let {X297} = move !'alice !bedroom !upstairs_hall [X295, -21] in
let {X298} = move !'bob !dining_room !kitchen [X290, -5] in
let {[X299, X300]} = observe !'bob !cabinet !kitchen [X298, X287] in
let {X301} = move !'bob !kitchen !front_hall [X299, -1] in
let {X302} = move !'alice !upstairs_hall !bathroom [X297, -20] in
let {X303} = move !'alice !bathroom !upstairs_hall [X302, -23] in
let {X304} = move !'bob !front_hall !kitchen [X301, -6] in
let {X305} = move !'bob !kitchen !front_hall [X304, -1] in
let {X306} = move !'alice !upstairs_hall !study [X303, -19] in
let {X307} = move !'bob !front_hall !kitchen [X305, -6] in
let {X308} = move !'alice !study !upstairs_hall [X306, -22] in
let {[X309, X310]} = observe !'bob !cupboards !kitchen [X307, X284] in
let {[X311, X312]} = observe !'bob !cupboards !kitchen [X309, X310] in
let {[X313, X314]} = observe !'bob !cupboards !kitchen [X311, X312] in
let {X315} = move !'bob !kitchen !dining_room [X313, -] in
let {X316} = move !'alice !upstairs_hall !study [X308, -19] in
let {X317} = move !'alice !study !upstairs_hall [X316, -22] in
let {X318} = move !'bob !dining_room !kitchen [X315, -5] in
let {X319} = move !'alice !upstairs_hall !study [X317, -19] in
let {X320} = move !'alice !study !upstairs_hall [X319, -22] in
let {X321} = move !'bob !kitchen !dining_room [X318, -] in
let {X322} = move !'alice !upstairs_hall !bedroom [X320, -17] in
let {[X323, X324]} = observe !'alice !bedsheets !bedroom [X322, X296] in
let {X325} = move !'alice !bedroom !upstairs_hall [X323, -21] in
let {X326} = move !'bob !dining_room !front_hall [X321, -4] in
let {X327} = move !'bob !front_hall !kitchen [X326, -6] in
let {X328} = move !'bob !kitchen !dining_room [X327, -] in
let {X329} = move !'bob !dining_room !kitchen [X328, -5] in
let {X330} = move !'alice !upstairs_hall !bedroom [X325, -17] in
let {X331} = move !'bob !kitchen !dining_room [X329, -] in
let {X332} = move !'alice !bedroom !upstairs_hall [X330, -21] in
let {X333} = move !'bob !dining_room !kitchen [X331, -5] in
let {[X334, X335]} = observe !'bob !cabinet !kitchen [X333, X300] in
let {X336} = move !'alice !upstairs_hall !front_hall [X332, -18] in
let {X337} = move !'alice !front_hall !kitchen [X336, -6] in
let {[X338, X339]} = greet !'alice !'bob !kitchen [X337, X334] in
let {X340} = move !'bob !kitchen !dining_room [X339, -] in
let {[X341, X342]} = observe !'alice !cabinet !kitchen [X338, X335] in
let {[X343, X344]} = observe !'alice !cabinet !kitchen [X341, X342] in
let {[X345, X346]} = observe !'alice !cabinet !kitchen [X343, X344] in
let {X347} = move !'bob !dining_room !front_hall [X340, -4] in
let {X348} = move !'bob !front_hall !kitchen [X347, -6] in
let {[X349, [X350, X351]]} = observe_with !'bob !'alice !stolen_jewels !kitchen [X348, [X345, X242]] in
let {[X352, X353]} = greet !'bob !'alice !kitchen [X349, X350] in
let {[X354, X355]} = observe_location !'bob !'alice !kitchen [X352, X353] in
let {[X356, X357]} = leave_observed !'bob !'alice !kitchen !front_hall [X354, [X355, -1]] in
let {[X358, X359]} = observe !'alice !cabinet !kitchen [X357, X346] in
let {[X360, [X361, X362]]} = stash !'alice !cabinet !stolen_jewels [X358, [X359, [X351, [container/cabinet, treasure/jewels]]]] in
let {X363} = move !'alice !kitchen !front_hall [X360, -1] in
let {[X364, [X365, X366]]} = observe_with !'bob !'alice !revolver !front_hall [X356, [X363, X250]] in
let {[X367, [X368, X369]]} = observe_with !'bob !'alice !revolver !front_hall [X364, [X365, X366]] in
let {[X370, [X371, X372]]} = observe_with !'bob !'alice !revolver !front_hall [X367, [X368, X369]] in
let {[X373, X374]} = leave_observed !'bob !'alice !front_hall !driveway [X370, [X371, -8]] in
let {[X375, X376]} = observe !'bob !mailbox !driveway [X373, X5] in
let {[X377, X378]} = observe !'bob !mailbox !driveway [X375, X376] in
let {X379} = move !'bob !driveway !front_hall [X377, -10] in
let {[X380, X381]} = leave_observed !'alice !'bob !front_hall !living_room [X374, [X379, -7]] in
let {X382} = move !'bob !front_hall !kitchen [X381, -6] in
let {[X383, X384]} = observe !'bob !cupboards !kitchen [X382, X314] in
let {X385} = move !'bob !kitchen !front_hall [X383, -1] in
let {X386} = move !'alice !living_room !dining_room [X380, -2] in
let {X387} = move !'bob !front_hall !upstairs_hall [X385, -9] in
let {X388} = move !'alice !dining_room !front_hall [X386, -4] in
let {X389} = move !'alice !front_hall !upstairs_hall [X388, -9] in
let {[X390, [X391, X392]]} = observe_with !'bob !'alice !revolver !upstairs_hall [X387, [X389, X372]] in
let {X393} = move !'bob !upstairs_hall !study [X390, -19] in
let {X394} = move !'alice !upstairs_hall !study [X391, -19] in
let {[X395, X396]} = greet !'alice !'bob !study [X394, X393] in
let {X397} = move !'bob !study !upstairs_hall [X396, -22] in
let {X398} = move !'alice !study !upstairs_hall [X395, -22] in
let {[X399, X400]} = greet !'alice !'bob !upstairs_hall [X398, X397] in
let {[X401, [X402, X403]]} = observe_with !'bob !'alice !revolver !upstairs_hall [X400, [X399, X392]] in
let {[X404, X405]} = observe_location !'alice !'bob !upstairs_hall [X402, X401] in
let {[X406, X407]} = greet !'alice !'bob !upstairs_hall [X404, X405] in
let {[X408, X409]} = greet !'bob !'alice !upstairs_hall [X407, X406] in
let {[X410, X411]} = greet !'alice !'bob !upstairs_hall [X409, X408] in
let {[X412, [X413, X414]]} = observe_with !'bob !'alice !revolver !upstairs_hall [X411, [X410, X403]] in
let {X415} = move !'bob !upstairs_hall !bathroom [X412, -20] in
let {[X416, X417]} = observe_horror !'bob !dead_body !bathroom [X415, [X186, horrible/body]] in
let {[X418, X419]} = observe_horror !'bob !dead_body !bathroom [X416, [X417, horrible/body]] in
let {X420} = move !'bob !bathroom !upstairs_hall [X418, -23] in
let {[X421, X422]} = observe_location !'bob !'alice !upstairs_hall [X420, X413] in
let {X423} = move !'bob !upstairs_hall !bathroom [X421, -20] in
let {[X424, X425]} = observe_horror !'bob !dead_body !bathroom [X423, [X419, horrible/body]] in
let {[X426, X427]} = observe_horror !'bob !dead_body !bathroom [X424, [X425, horrible/body]] in
let {[X428, X429]} = observe !'bob !dead_body !bathroom [X426, X427] in
let {[X430, X431]} = observe_horror !'bob !dead_body !bathroom [X428, [X429, horrible/body]] in
let {[X432, X433]} = observe !'bob !dead_body !bathroom [X430, X431] in
let {[X434, X435]} = observe_horror !'bob !dead_body !bathroom [X432, [X433, horrible/body]] in
let {[X436, X437]} = observe_horror !'bob !dead_body !bathroom [X434, [X435, horrible/body]] in
let {[X438, X439]} = observe !'bob !dead_body !bathroom [X436, X437] in
let {[X440, X441]} = observe !'bob !dead_body !bathroom [X438, X439] in
let {[X442, X443]} = observe_horror !'bob !dead_body !bathroom [X440, [X441, horrible/body]] in
let {[X444, X445]} = observe !'bob !dead_body !bathroom [X442, X443] in
let {[X446, X447]} = observe_horror !'bob !dead_body !bathroom [X444, [X445, horrible/body]] in
let {X448} = move !'alice !upstairs_hall !front_hall [X422, -18] in
let {X449} = move !'alice !front_hall !upstairs_hall [X448, -9] in
let {X450} = move !'bob !bathroom !upstairs_hall [X446, -23] in
let {[X451, X452]} = greet !'alice !'bob !upstairs_hall [X449, X450] in
let {[X453, [X454, X455]]} = observe_with !'bob !'alice !revolver !upstairs_hall [X452, [X451, X414]] in
let {[X456, X457]} = observe_location !'bob !'alice !upstairs_hall [X453, X454] in
let {[X458, X459]} = observe_location !'alice !'bob !upstairs_hall [X457, X456] in
let {[X460, [X461, X462]]} = observe_with !'bob !'alice !revolver !upstairs_hall [X459, [X458, X455]] in
let {[X463, [X464, X465]]} = observe_with !'bob !'alice !revolver !upstairs_hall [X460, [X461, X462]] in
let {[X466, X467]} = leave_observed !'alice !'bob !upstairs_hall !study [X464, [X463, -19]] in
let {X468} = move !'alice !study !upstairs_hall [X466, -22] in
let {[X469, X470]} = observe_location !'bob !'alice !upstairs_hall [X467, X468] in
let {X471} = move !'bob !upstairs_hall !bathroom [X469, -20] in
let {[X472, X473]} = observe_horror !'bob !dead_body !bathroom [X471, [X447, horrible/body]] in
let {X474} = move !'bob !bathroom !upstairs_hall [X472, -23] in
let {[X475, X476]} = greet !'bob !'alice !upstairs_hall [X474, X470] in
let {[X477, X478]} = greet !'alice !'bob !upstairs_hall [X476, X475] in
let {[X479, [X480, X481]]} = observe_with !'bob !'alice !revolver !upstairs_hall [X478, [X477, X465]] in
let {X482} = move !'alice !upstairs_hall !bedroom [X480, -17] in
let {[X483, X484]} = observe !'alice !bedsheets !bedroom [X482, X324] in
let {[X485, X486]} = observe !'alice !bedsheets !bedroom [X483, X484] in
let {[X487, X488]} = observe !'alice !bedsheets !bedroom [X485, X486] in
let {[X489, X490]} = observe !'alice !bedsheets !bedroom [X487, X488] in
let {X491} = move !'alice !bedroom !upstairs_hall [X489, -21] in
let {[X492, [X493, X494]]} = observe_with !'bob !'alice !revolver !upstairs_hall [X479, [X491, X481]] in
let {[X495, X496]} = leave_observed !'alice !'bob !upstairs_hall !front_hall [X493, [X492, -18]] in
let {X497} = move !'alice !front_hall !upstairs_hall [X495, -9] in
let {X498} = move !'bob !upstairs_hall !front_hall [X496, -18] in
let {X499} = move !'alice !upstairs_hall !bedroom [X497, -17] in
let {X500} = move !'bob !front_hall !driveway [X498, -8] in
let {[X501, X502]} = observe !'alice !bedsheets !bedroom [X499, X490] in
let {[X503, X504]} = observe !'bob !mailbox !driveway [X500, X378] in
let {[X505, X506]} = observe !'bob !mailbox !driveway [X503, X504] in
let {X507} = move !'alice !bedroom !upstairs_hall [X501, -21] in
let {[X508, X509]} = observe !'bob !mailbox !driveway [X505, X506] in
let {X510} = move !'bob !driveway !garage [X508, -11] in
let {X511} = move !'bob !garage !driveway [X510, -13] in
let {[X512, X513]} = observe !'bob !mailbox !driveway [X511, X509] in
let {[X514, X515]} = observe !'bob !mailbox !driveway [X512, X513] in
let {[X516, X517]} = observe !'bob !mailbox !driveway [X514, X515] in
let {X518} = move !'alice !upstairs_hall !front_hall [X507, -18] in
let {[X519, X520]} = observe !'bob !mailbox !driveway [X516, X517] in
let {X521} = move !'alice !front_hall !kitchen [X518, -6] in
let {[X522, X523]} = observe !'bob !mailbox !driveway [X519, X520] in
let {[X524, [X525, X526]]} = search !'alice !cabinet !stolen_jewels [X521, [X361, X362]] in
let {[X527, X528]} = observe !'bob !mailbox !driveway [X522, X523] in
let {[X529, [X530, X531]]} = stash !'alice !cabinet !stolen_jewels [X524, [X525, [X526, [container/cabinet, treasure/jewels]]]] in
let {[X532, [X533, X534]]} = search !'alice !cabinet !stolen_jewels [X529, [X530, X531]] in
let {X535} = move !'alice !kitchen !front_hall [X532, -1] in
let {X536} = move !'bob !driveway !front_hall [X527, -10] in
let {X537} = move !'alice !front_hall !upstairs_hall [X535, -9] in
let {X538} = move !'bob !front_hall !living_room [X536, -7] in
let {X539} = move !'alice !upstairs_hall !bathroom [X537, -20] in
let {[X540, X541]} = observe !'alice !dead_body !bathroom [X539, X473] in
let {X542} = move !'bob !living_room !front_hall [X538, -3] in
let {[X543, X544]} = observe_horror !'alice !dead_body !bathroom [X540, [X541, horrible/body]] in
let {X545} = move !'alice !bathroom !upstairs_hall [X543, -23] in
let {X546} = move !'bob !front_hall !upstairs_hall [X542, -9] in
let {[X547, X548]} = greet !'alice !'bob !upstairs_hall [X545, X546] in
let {[X549, [X550, X551]]} = observe_with !'bob !'alice !revolver !upstairs_hall [X548, [X547, X494]] in
let {[X552, [X553, X554]]} = observe_with !'bob !'alice !revolver !upstairs_hall [X549, [X550, X551]] in
let {[X555, X556]} = observe_location !'alice !'bob !upstairs_hall [X553, X552] in
let {[X557, [X558, X559]]} = observe_with !'bob !'alice !revolver !upstairs_hall [X556, [X555, X554]] in
let {[X560, [X561, X562]]} = observe_with !'bob !'alice !revolver !upstairs_hall [X557, [X558, X559]] in
let {[X563, [X564, X565]]} = observe_with !'bob !'alice !revolver !upstairs_hall [X560, [X561, X562]] in
let {[X566, X567]} = leave_observed !'alice !'bob !upstairs_hall !bathroom [X564, [X563, -20]] in
let {[X568, X569]} = observe !'alice !dead_body !bathroom [X566, X544] in
let {[X570, X571]} = observe !'alice !dead_body !bathroom [X568, X569] in
let {[X572, X573]} = observe !'alice !dead_body !bathroom [X570, X571] in
let {X574} = move !'bob !upstairs_hall !front_hall [X567, -18] in
let {X575} = move !'alice !bathroom !upstairs_hall [X572, -23] in
let {X576} = move !'alice !upstairs_hall !bedroom [X575, -17] in
let {[X577, X578]} = observe !'alice !bedsheets !bedroom [X576, X502] in
let {X579} = move !'bob !front_hall !driveway [X574, -8] in
let {[X580, X581]} = observe !'alice !bedsheets !bedroom [X577, X578] in
let {X582} = move !'alice !bedroom !upstairs_hall [X580, -21] in
let {X583} = move !'bob !driveway !path_by_the_shed [X579, -12] in
let {X584} = move !'bob !path_by_the_shed !shed [X583, -15] in
let {X585} = move !'alice !upstairs_hall !front_hall [X582, -18] in
let {[X586, X587]} = observe !'bob !toolbox !shed [X584, X7] in
let {[X588, [X589, X590]]} = search !'bob !toolbox !golden_falcon [X586, [X587, X9]] in
let {X591} = move !'bob !shed !path_by_the_shed [X588, -16] in
let {X592} = move !'alice !front_hall !kitchen [X585, -6] in
let {[X593, [X594, X595]]} = stash !'alice !cupboards !stolen_jewels [X592, [X384, [X534, [container/cupboards, treasure/jewels]]]] in
let {X596} = move !'bob !path_by_the_shed !driveway [X591, -14] in
let {[X597, [X598, X599]]} = search !'alice !cupboards !stolen_jewels [X593, [X594, X595]] in
let {[X600, [X601, X602]]} = stash !'bob !mailbox !golden_falcon [X596, [X528, [X590, [container/mailbox, treasure/falcon]]]] in
let {[X603, [X604, X605]]} = stash !'alice !cupboards !stolen_jewels [X597, [X598, [X599, [container/cupboards, treasure/jewels]]]] in
let {[X606, [X607, X608]]} = search !'alice !cupboards !stolen_jewels [X603, [X604, X605]] in
let {X609} = move !'alice !kitchen !front_hall [X606, -1] in
let {[X610, [X611, X612]]} = search !'bob !mailbox !golden_falcon [X600, [X601, X602]] in
let {[X613, X614]} = observe !'bob !mailbox !driveway [X610, X611] in
let {X615} = move !'bob !driveway !path_by_the_shed [X613, -12] in
let {X616} = move !'alice !front_hall !upstairs_hall [X609, -9] in
let {X617} = move !'alice !upstairs_hall !front_hall [X616, -18] in
let {X618} = move !'alice !front_hall !upstairs_hall [X617, -9] in
let {X619} = move !'alice !upstairs_hall !bedroom [X618, -17] in
let {[X620, X621]} = observe !'alice !bedsheets !bedroom [X619, X581] in
let {X622} = move !'bob !path_by_the_shed !driveway [X615, -14] in
let {[X623, [X624, X625]]} = stash !'bob !mailbox !golden_falcon [X622, [X614, [X612, [container/mailbox, treasure/falcon]]]] in
let {[X626, X627]} = observe !'alice !bedsheets !bedroom [X620, X621] in
let {[X628, X629]} = observe !'alice !bedsheets !bedroom [X626, X627] in
let {X630} = move !'bob !driveway !garage [X623, -11] in
let {[X631, X632]} = observe !'alice !bedsheets !bedroom [X628, X629] in
let {X633} = move !'bob !garage !driveway [X630, -13] in
let {[X634, X635]} = observe !'bob !mailbox !driveway [X633, X624] in
let {X636} = move !'bob !driveway !path_by_the_shed [X634, -12] in
let {[X637, X638]} = observe !'alice !bedsheets !bedroom [X631, X632] in
let {[X639, X640]} = observe !'alice !bedsheets !bedroom [X637, X638] in
let {[X641, X642]} = observe !'alice !bedsheets !bedroom [X639, X640] in
let {X643} = move !'alice !bedroom !upstairs_hall [X641, -21] in
let {X644} = move !'bob !path_by_the_shed !driveway [X636, -14] in
let {[X645, [X646, X647]]} = search !'bob !mailbox !golden_falcon [X644, [X635, X625]] in
let {[X648, X649]} = observe !'bob !mailbox !driveway [X645, X646] in
let {[X650, [X651, X652]]} = stash !'bob !mailbox !golden_falcon [X648, [X649, [X647, [container/mailbox, treasure/falcon]]]] in
let {[X653, X654]} = observe !'bob !mailbox !driveway [X650, X651] in
let {[X655, X656]} = observe !'bob !mailbox !driveway [X653, X654] in
let {[X657, X658]} = observe !'bob !mailbox !driveway [X655, X656] in
let {X659} = move !'bob !driveway !garage [X657, -11] in
let {X660} = move !'bob !garage !driveway [X659, -13] in
let {X661} = move !'bob !driveway !garage [X660, -11] in
let {X662} = move !'alice !upstairs_hall !study [X643, -19] in
let {X663} = move !'alice !study !upstairs_hall [X662, -22] in
let {X664} = move !'alice !upstairs_hall !bathroom [X663, -20] in
let {[X665, X666]} = observe !'alice !dead_body !bathroom [X664, X573] in
let {[X667, X668]} = observe_horror !'alice !dead_body !bathroom [X665, [X666, horrible/body]] in
let {[X669, X670]} = observe_horror !'alice !dead_body !bathroom [X667, [X668, horrible/body]] in
let {X671} = move !'bob !garage !driveway [X661, -13] in
let {X672} = move !'bob !driveway !garage [X671, -11] in
let {[X673, X674]} = observe_horror !'alice !dead_body !bathroom [X669, [X670, horrible/body]] in
let {[X675, X676]} = observe_horror !'alice !dead_body !bathroom [X673, [X674, horrible/body]] in
let {[X677, X678]} = observe_horror !'alice !dead_body !bathroom [X675, [X676, horrible/body]] in
let {[X679, X680]} = observe_horror !'alice !dead_body !bathroom [X677, [X678, horrible/body]] in
let {X681} = move !'alice !bathroom !upstairs_hall [X679, -23] in
let {X682} = move !'alice !upstairs_hall !bedroom [X681, -17] in
let {X683} = move !'alice !bedroom !upstairs_hall [X682, -21] in
let {X684} = move !'alice !upstairs_hall !study [X683, -19] in
let {X685} = move !'alice !study !upstairs_hall [X684, -22] in
let {X686} = move !'alice !upstairs_hall !bathroom [X685, -20] in
let {X687} = move !'alice !bathroom !upstairs_hall [X686, -23] in
let {X688} = move !'alice !upstairs_hall !study [X687, -19] in
let {X689} = move !'alice !study !upstairs_hall [X688, -22] in
let {X690} = move !'bob !garage !driveway [X672, -13] in
let {[X691, X692]} = observe !'bob !mailbox !driveway [X690, X658] in
let {[X693, X694]} = observe !'bob !mailbox !driveway [X691, X692] in
let {[X695, X696]} = observe !'bob !mailbox !driveway [X693, X694] in
let {[X697, X698]} = observe !'bob !mailbox !driveway [X695, X696] in
let {X699} = move !'alice !upstairs_hall !bathroom [X689, -20] in
let {[X700, X701]} = observe !'bob !mailbox !driveway [X697, X698] in
let {X702} = move !'bob !driveway !path_by_the_shed [X700, -12] in
let {[X703, X704]} = observe !'alice !dead_body !bathroom [X699, X680] in
let {[X705, X706]} = observe_horror !'alice !dead_body !bathroom [X703, [X704, horrible/body]] in
let {[X707, X708]} = observe !'alice !dead_body !bathroom [X705, X706] in
let {[X709, X710]} = observe_horror !'alice !dead_body !bathroom [X707, [X708, horrible/body]] in
let {[X711, X712]} = observe_horror !'alice !dead_body !bathroom [X709, [X710, horrible/body]] in
let {X713} = move !'bob !path_by_the_shed !driveway [X702, -14] in
let {[X714, X715]} = observe !'bob !mailbox !driveway [X713, X701] in
let {[X716, X717]} = observe_horror !'alice !dead_body !bathroom [X711, [X712, horrible/body]] in
let {[X718, X719]} = observe_horror !'alice !dead_body !bathroom [X716, [X717, horrible/body]] in
let {[X720, X721]} = observe_horror !'alice !dead_body !bathroom [X718, [X719, horrible/body]] in
let {[X722, [X723, X724]]} = search !'bob !mailbox !golden_falcon [X714, [X715, X652]] in
let {[X725, X726]} = observe !'bob !mailbox !driveway [X722, X723] in
let {X727} = move !'alice !bathroom !upstairs_hall [X720, -23] in
let {[X728, [X729, X730]]} = stash !'bob !mailbox !golden_falcon [X725, [X726, [X724, [container/mailbox, treasure/falcon]]]] in
let {[X731, [X732, X733]]} = search !'bob !mailbox !golden_falcon [X728, [X729, X730]] in
let {X734} = move !'alice !upstairs_hall !bathroom [X727, -20] in
let {[X735, [X736, X737]]} = stash !'bob !mailbox !golden_falcon [X731, [X732, [X733, [container/mailbox, treasure/falcon]]]] in
let {X738} = move !'bob !driveway !garage [X735, -11] in
let {[X739, X740]} = observe !'alice !dead_body !bathroom [X734, X721] in
let {X741} = move !'bob !garage !driveway [X738, -13] in
let {[X742, [X743, X744]]} = search !'bob !mailbox !golden_falcon [X741, [X736, X737]] in
let {[X745, X746]} = observe_horror !'alice !dead_body !bathroom [X739, [X740, horrible/body]] in
let {[X747, X748]} = observe !'alice !dead_body !bathroom [X745, X746] in
let {[X749, [X750, X751]]} = stash !'bob !mailbox !golden_falcon [X742, [X743, [X744, [container/mailbox, treasure/falcon]]]] in
let {X752} = move !'bob !driveway !garage [X749, -11] in
let {[X753, X754]} = observe_horror !'alice !dead_body !bathroom [X747, [X748, horrible/body]] in
let {[X755, X756]} = observe_horror !'alice !dead_body !bathroom [X753, [X754, horrible/body]] in
let {[X757, X758]} = observe !'alice !dead_body !bathroom [X755, X756] in
let {X759} = move !'bob !garage !driveway [X752, -13] in
let {[X760, X761]} = observe_horror !'alice !dead_body !bathroom [X757, [X758, horrible/body]] in
let {X762} = move !'bob !driveway !garage [X759, -11] in
let {[X763, X764]} = observe_horror !'alice !dead_body !bathroom [X760, [X761, horrible/body]] in
let {[X765, X766]} = observe !'alice !dead_body !bathroom [X763, X764] in
let {X767} = move !'bob !garage !driveway [X762, -13] in
let {[X768, X769]} = observe_horror !'alice !dead_body !bathroom [X765, [X766, horrible/body]] in
let {[X770, X771]} = observe !'alice !dead_body !bathroom [X768, X769] in
let {X772} = move !'alice !bathroom !upstairs_hall [X770, -23] in
let {[X773, [X774, X775]]} = search !'bob !mailbox !golden_falcon [X767, [X750, X751]] in
let {[X776, X777]} = observe !'bob !mailbox !driveway [X773, X774] in
let {X778} = move !'alice !upstairs_hall !bedroom [X772, -17] in
let {X779} = move !'alice !bedroom !upstairs_hall [X778, -21] in
let {X780} = move !'bob !driveway !path_by_the_shed [X776, -12] in
let {X781} = move !'bob !path_by_the_shed !driveway [X780, -14] in
let {[X782, X783]} = observe !'bob !mailbox !driveway [X781, X777] in
let {[X784, [X785, X786]]} = stash !'bob !mailbox !golden_falcon [X782, [X783, [X775, [container/mailbox, treasure/falcon]]]] in
let {[X787, [X788, X789]]} = search !'bob !mailbox !golden_falcon [X784, [X785, X786]] in
let {[X790, [X791, X792]]} = stash !'bob !mailbox !golden_falcon [X787, [X788, [X789, [container/mailbox, treasure/falcon]]]] in
let {[X793, [X794, X795]]} = search !'bob !mailbox !golden_falcon [X790, [X791, X792]] in
let {X796} = move !'bob !driveway !front_hall [X793, -10] in
let {X797} = move !'alice !upstairs_hall !study [X779, -19] in
let {X798} = move !'alice !study !upstairs_hall [X797, -22] in
let {X799} = move !'bob !front_hall !driveway [X796, -8] in
let {[X800, X801]} = observe !'bob !mailbox !driveway [X799, X794] in
let {[X802, [X803, X804]]} = stash !'bob !mailbox !golden_falcon [X800, [X801, [X795, [container/mailbox, treasure/falcon]]]] in
let {X805} = move !'alice !upstairs_hall !bedroom [X798, -17] in
let {X806} = move !'bob !driveway !path_by_the_shed [X802, -12] in
let {X807} = move !'bob !path_by_the_shed !driveway [X806, -14] in
let {X808} = move !'alice !bedroom !upstairs_hall [X805, -21] in
let {[X809, [X810, X811]]} = search !'bob !mailbox !golden_falcon [X807, [X803, X804]] in
let {[X812, X813]} = observe !'bob !mailbox !driveway [X809, X810] in
let {[X814, X815]} = observe !'bob !mailbox !driveway [X812, X813] in
let {[X816, [X817, X818]]} = stash !'bob !mailbox !golden_falcon [X814, [X815, [X811, [container/mailbox, treasure/falcon]]]] in
let {[X819, X820]} = observe !'bob !mailbox !driveway [X816, X817] in
let {[X821, X822]} = observe !'bob !mailbox !driveway [X819, X820] in
let {X823} = move !'bob !driveway !front_hall [X821, -10] in
let {X824} = move !'alice !upstairs_hall !front_hall [X808, -18] in
let {[X825, [X826, X827]]} = observe_with !'bob !'alice !revolver !front_hall [X823, [X824, X565]] in
let {[X828, X829]} = leave_observed !'bob !'alice !front_hall !driveway [X825, [X826, -8]] in
let {[X830, [X831, X832]]} = search !'bob !mailbox !golden_falcon [X828, [X822, X818]] in
let {[X833, [X834, X835]]} = stash !'bob !mailbox !golden_falcon [X830, [X831, [X832, [container/mailbox, treasure/falcon]]]] in
let {[X836, [X837, X838]]} = search !'bob !mailbox !golden_falcon [X833, [X834, X835]] in
let {[X839, X840]} = observe !'bob !mailbox !driveway [X836, X837] in
let {[X841, [X842, X843]]} = stash !'bob !mailbox !golden_falcon [X839, [X840, [X838, [container/mailbox, treasure/falcon]]]] in
let {[X844, X845]} = observe !'bob !mailbox !driveway [X841, X842] in
let {[X846, [X847, X848]]} = search !'bob !mailbox !golden_falcon [X844, [X845, X843]] in
let {X849} = move !'alice !front_hall !living_room [X829, -7] in
let {[X850, [X851, X852]]} = stash !'bob !mailbox !golden_falcon [X846, [X847, [X848, [container/mailbox, treasure/falcon]]]] in
let {X853} = move !'alice !living_room !front_hall [X849, -3] in
let {X854} = move !'bob !driveway !path_by_the_shed [X850, -12] in
let {X855} = move !'alice !front_hall !driveway [X853, -8] in
let {[X856, [X857, X858]]} = stash !'alice !mailbox !stolen_jewels [X855, [X851, [X608, [container/mailbox, treasure/jewels]]]] in
let {[X859, [X860, X861]]} = search !'alice !mailbox !golden_falcon [X856, [X857, X852]] in
let {[X862, [X863, X864]]} = search !'alice !mailbox !stolen_jewels [X859, [X860, X858]] in
let {X865} = move !'bob !path_by_the_shed !driveway [X854, -14] in
let {X866} = move !'bob !driveway !path_by_the_shed [X865, -12] in
let {[X867, [X868, X869]]} = stash !'alice !mailbox !golden_falcon [X862, [X863, [X861, [container/mailbox, treasure/falcon]]]] in
let {[X870, [X871, X872]]} = stash !'alice !mailbox !stolen_jewels [X867, [X868, [X864, [container/mailbox, treasure/jewels]]]] in
let {[X873, X874]} = observe !'alice !mailbox !driveway [X870, X871] in
let {[X875, X876]} = observe !'alice !mailbox !driveway [X873, X874] in
let {X877} = move !'bob !path_by_the_shed !driveway [X866, -14] in
let {X878} = move !'alice !driveway !path_by_the_shed [X875, -12] in
let {X879} = move !'alice !path_by_the_shed !shed [X878, -15] in
let {[X880, X881]} = observe !'bob !mailbox !driveway [X877, X876] in
let {X882} = move !'bob !driveway !front_hall [X880, -10] in
let {[X883, X884]} = observe !'alice !toolbox !shed [X879, X589] in
let {[X885, X886]} = observe !'alice !toolbox !shed [X883, X884] in
let {[X887, X888]} = observe !'alice !toolbox !shed [X885, X886] in
let {X889} = move !'alice !shed !path_by_the_shed [X887, -16] in
let {X890} = move !'alice !path_by_the_shed !driveway [X889, -14] in
let {X891} = move !'alice !driveway !path_by_the_shed [X890, -12] in
let {X892} = move !'alice !path_by_the_shed !shed [X891, -15] in
let {X893} = move !'bob !front_hall !upstairs_hall [X882, -9] in
let {X894} = move !'alice !shed !path_by_the_shed [X892, -16] in
let {X895} = move !'bob !upstairs_hall !bedroom [X893, -17] in
let {X896} = move !'bob !bedroom !upstairs_hall [X895, -21] in
let {X897} = move !'bob !upstairs_hall !study [X896, -19] in
let {X898} = move !'bob !study !upstairs_hall [X897, -22] in
let {X899} = move !'alice !path_by_the_shed !driveway [X894, -14] in
let {[X900, X901]} = observe !'alice !mailbox !driveway [X899, X881] in
let {[X902, X903]} = observe !'alice !mailbox !driveway [X900, X901] in
let {[X904, [X905, X906]]} = search !'alice !mailbox !stolen_jewels [X902, [X903, X872]] in
let {[X907, X908]} = observe !'alice !mailbox !driveway [X904, X905] in
let {[X909, [X910, X911]]} = stash !'alice !mailbox !stolen_jewels [X907, [X908, [X906, [container/mailbox, treasure/jewels]]]] in
let {X912} = move !'alice !driveway !path_by_the_shed [X909, -12] in
let {X913} = move !'alice !path_by_the_shed !driveway [X912, -14] in
let {X914} = move !'alice !driveway !front_hall [X913, -10] in
let {X915} = move !'alice !front_hall !living_room [X914, -7] in
let {X916} = move !'bob !upstairs_hall !bedroom [X898, -17] in
let {X917} = move !'alice !living_room !front_hall [X915, -3] in
let {X918} = move !'bob !bedroom !upstairs_hall [X916, -21] in
let {X919} = move !'bob !upstairs_hall !bedroom [X918, -17] in
let {X920} = move !'alice !front_hall !driveway [X917, -8] in
let {X921} = move !'alice !driveway !garage [X920, -11] in
let {X922} = move !'bob !bedroom !upstairs_hall [X919, -21] in
let {X923} = move !'bob !upstairs_hall !study [X922, -19] in
let {X924} = move !'bob !study !upstairs_hall [X923, -22] in
let {X925} = move !'alice !garage !driveway [X921, -13] in
let {[X926, [X927, X928]]} = search !'alice !mailbox !golden_falcon [X925, [X910, X869]] in
let {[X929, X930]} = observe !'alice !mailbox !driveway [X926, X927] in
let {[X931, [X932, X933]]} = stash !'alice !mailbox !golden_falcon [X929, [X930, [X928, [container/mailbox, treasure/falcon]]]] in
let {[X934, [X935, X936]]} = search !'alice !mailbox !golden_falcon [X931, [X932, X933]] in
let {X937} = move !'alice !driveway !path_by_the_shed [X934, -12] in
let {X938} = move !'bob !upstairs_hall !bedroom [X924, -17] in
let {[X939, X940]} = observe !'bob !bedsheets !bedroom [X938, X642] in
let {X941} = move !'alice !path_by_the_shed !driveway [X937, -14] in
let {X942} = move !'alice !driveway !garage [X941, -11] in
let {X943} = move !'alice !garage !driveway [X942, -13] in
let {[X944, [X945, X946]]} = stash !'alice !mailbox !golden_falcon [X943, [X935, [X936, [container/mailbox, treasure/falcon]]]] in
let {X947} = move !'bob !bedroom !upstairs_hall [X939, -21] in
let {[X948, X949]} = observe !'alice !mailbox !driveway [X944, X945] in
let {X950} = move !'bob !upstairs_hall !bathroom [X947, -20] in
let {[X951, [X952, X953]]} = search !'alice !mailbox !golden_falcon [X948, [X949, X946]] in
let {[X954, [X955, X956]]} = search !'alice !mailbox !stolen_jewels [X951, [X952, X911]] in
let {X957} = move !'alice !driveway !path_by_the_shed [X954, -12] in
let {[X958, X959]} = observe !'bob !dead_body !bathroom [X950, X771] in
let {X960} = move !'alice !path_by_the_shed !shed [X957, -15] in
let {[X961, X962]} = observe_horror !'bob !dead_body !bathroom [X958, [X959, horrible/body]] in
let {[X963, X964]} = observe_horror !'bob !dead_body !bathroom [X961, [X962, horrible/body]] in
let {[X965, X966]} = observe_horror !'bob !dead_body !bathroom [X963, [X964, horrible/body]] in
let {[X967, [X968, X969]]} = stash !'alice !toolbox !golden_falcon [X960, [X888, [X953, [container/toolbox, treasure/falcon]]]] in
let {[X970, [X971, X972]]} = search !'alice !toolbox !golden_falcon [X967, [X968, X969]] in
let {[X973, X974]} = observe !'alice !toolbox !shed [X970, X971] in
let {X975} = move !'alice !shed !path_by_the_shed [X973, -16] in
let {[X976, X977]} = observe_horror !'bob !dead_body !bathroom [X965, [X966, horrible/body]] in
let {[X978, X979]} = observe !'bob !dead_body !bathroom [X976, X977] in
let {[X980, X981]} = observe_horror !'bob !dead_body !bathroom [X978, [X979, horrible/body]] in
let {[X982, X983]} = observe_horror !'bob !dead_body !bathroom [X980, [X981, horrible/body]] in
let {[X984, X985]} = observe !'bob !dead_body !bathroom [X982, X983] in
let {X986} = move !'alice !path_by_the_shed !shed [X975, -15] in
let {[X987, [X988, X989]]} = stash !'alice !toolbox !stolen_jewels [X986, [X974, [X956, [container/toolbox, treasure/jewels]]]] in
let {[X990, X991]} = observe_horror !'bob !dead_body !bathroom [X984, [X985, horrible/body]] in
let {[X992, X993]} = observe_horror !'bob !dead_body !bathroom [X990, [X991, horrible/body]] in
let {[X994, X995]} = observe !'alice !toolbox !shed [X987, X988] in
let {[X996, [X997, X998]]} = search !'alice !toolbox !stolen_jewels [X994, [X995, X989]] in
let {[X999, X1000]} = observe_horror !'bob !dead_body !bathroom [X992, [X993, horrible/body]] in
let {X1001} = move !'alice !shed !path_by_the_shed [X996, -16] in
let {[X1002, X1003]} = observe_horror !'bob !dead_body !bathroom [X999, [X1000, horrible/body]] in
let {X1004} = move !'alice !path_by_the_shed !driveway [X1001, -14] in
let {X1005} = move !'alice !driveway !garage [X1004, -11] in
let {[X1006, X1007]} = observe_horror !'bob !dead_body !bathroom [X1002, [X1003, horrible/body]] in
let {X1008} = move !'bob !bathroom !upstairs_hall [X1006, -23] in
let {X1009} = move !'bob !upstairs_hall !front_hall [X1008, -18] in
let {[X1010, [X1011, X1012]]} = drive_away !'alice !revolver !stolen_jewels [X1005, [X827, X998]] in
let {X1013} = move !'bob !front_hall !kitchen [X1009, -6] in
let {X1014} = move !'bob !kitchen !dining_room [X1013, -] in
let {X1015} = move !'bob !dining_room !kitchen [X1014, -5] in
let {X1016} = move !'bob !kitchen !dining_room [X1015, -] in
let {X1017} = move !'bob !dining_room !front_hall [X1016, -4] in
let {X1018} = move !'bob !front_hall !upstairs_hall [X1017, -9] in
let {X1019} = fin_droveaway !'bob !'alice !upstairs_hall [X1018, X1010] in [X607, [X533, [X955, [X940, [X997, [X1011, [X972, [X1012, [X1007, X1019]]]]]]]]]}
#A = \!X1020. \!X1021. inroom !kitchen
#B = \!X1022. \!X1023. inroom !kitchen
#C = \!X1024. \!X1025. inroom !driveway
#D = \!X1026. \!X1027. inroom !bedroom
#E = \!X1028. \!X1029. inroom !shed
#F = \!X1030. \!X1031. has !X1030
#G = \!X1032. \!X1033. has !X1032
#H = \!X1034. \!X1035. has !X1034
#I = \!X1036. \!X1037. inroom !bathroom
#J = \!X1038. \!X1039. droveaway !X1038
Iteration 2
Solution: \!'alice. \!'bob. \[X1040, [X1041, [X1042, [X1043, [X1044, [X1045, [X1046, [X1047, [X1048, [X1049, X1050]]]]]]]]]]. {
let {[X1051, [X1052, X1053]]} = search !'alice !bedsheets !stolen_jewels [X1040, [X1045, X1049]] in
let {[X1054, X1055]} = observe !'alice !bedsheets !bedroom [X1051, X1052] in
let {X1056} = move !'bob !front_hall !kitchen [X1041, -6] in
let {[X1057, X1058]} = observe !'alice !bedsheets !bedroom [X1054, X1055] in
let {[X1059, X1060]} = observe !'bob !cabinet !kitchen [X1056, X1043] in
let {[X1061, [X1062, X1063]]} = search !'bob !cabinet !revolver [X1059, [X1060, X1047]] in
let {[X1064, X1065]} = observe !'bob !cabinet !kitchen [X1061, X1062] in
let {X1066} = move !'alice !bedroom !upstairs_hall [X1057, -21] in
let {[X1067, X1068]} = observe !'bob !cupboards !kitchen [X1064, X1042] in
let {X1069} = move !'alice !upstairs_hall !front_hall [X1066, -18] in
let {[X1070, X1071]} = observe !'bob !cabinet !kitchen [X1067, X1065] in
let {X1072} = move !'bob !kitchen !front_hall [X1070, -1] in
let {[X1073, [X1074, [X1075, X1076]]]} = steal_with_revolver !'bob !'alice !front_hall !stolen_jewels [X1072, [X1069, [X1063, X1053]]] in
let {[X1077, X1078]} = leave_observed !'alice !'bob !front_hall !living_room [X1074, [X1073, -7]] in
let {X1079} = move !'bob !front_hall !driveway [X1078, -8] in
let {[X1080, [X1081, X1082]]} = stash !'bob !mailbox !stolen_jewels [X1079, [X1044, [X1076, [container/mailbox, treasure/jewels]]]] in
let {[X1083, [X1084, X1085]]} = search !'bob !mailbox !stolen_jewels [X1080, [X1081, X1082]] in
let {[X1086, [X1087, X1088]]} = stash !'bob !mailbox !stolen_jewels [X1083, [X1084, [X1085, [container/mailbox, treasure/jewels]]]] in
let {[X1089, X1090]} = observe !'bob !mailbox !driveway [X1086, X1087] in
let {[X1091, X1092]} = observe !'bob !mailbox !driveway [X1089, X1090] in
let {[X1093, X1094]} = observe !'bob !mailbox !driveway [X1091, X1092] in
let {[X1095, [X1096, X1097]]} = search !'bob !mailbox !stolen_jewels [X1093, [X1094, X1088]] in
let {X1098} = move !'bob !driveway !path_by_the_shed [X1095, -12] in
let {X1099} = move !'bob !path_by_the_shed !driveway [X1098, -14] in
let {[X1100, [X1101, X1102]]} = stash !'bob !mailbox !stolen_jewels [X1099, [X1096, [X1097, [container/mailbox, treasure/jewels]]]] in
let {[X1103, X1104]} = observe !'bob !mailbox !driveway [X1100, X1101] in
let {[X1105, X1106]} = observe !'bob !mailbox !driveway [X1103, X1104] in
let {X1107} = move !'bob !driveway !garage [X1105, -11] in
let {X1108} = move !'bob !garage !driveway [X1107, -13] in
let {[X1109, [X1110, X1111]]} = search !'bob !mailbox !stolen_jewels [X1108, [X1106, X1102]] in
let {X1112} = move !'bob !driveway !path_by_the_shed [X1109, -12] in
let {X1113} = move !'alice !living_room !front_hall [X1077, -3] in
let {X1114} = move !'alice !front_hall !driveway [X1113, -8] in
let {[X1115, X1116]} = observe !'alice !mailbox !driveway [X1114, X1110] in
let {[X1117, X1118]} = observe !'alice !mailbox !driveway [X1115, X1116] in
let {[X1119, X1120]} = observe !'alice !mailbox !driveway [X1117, X1118] in
let {X1121} = move !'bob !path_by_the_shed !shed [X1112, -15] in
let {[X1122, [X1123, X1124]]} = search !'bob !toolbox !golden_falcon [X1121, [X1046, X1048]] in
let {X1125} = move !'alice !driveway !front_hall [X1119, -10] in
let {[X1126, [X1127, X1128]]} = stash !'bob !toolbox !stolen_jewels [X1122, [X1123, [X1111, [container/toolbox, treasure/jewels]]]] in
let {[X1129, [X1130, X1131]]} = search !'bob !toolbox !stolen_jewels [X1126, [X1127, X1128]] in
let {[X1132, X1133]} = observe !'bob !toolbox !shed [X1129, X1130] in
let {[X1134, X1135]} = observe !'bob !toolbox !shed [X1132, X1133] in
let {X1136} = move !'bob !shed !path_by_the_shed [X1134, -16] in
let {X1137} = move !'bob !path_by_the_shed !driveway [X1136, -14] in
let {X1138} = move !'alice !front_hall !upstairs_hall [X1125, -9] in
let {[X1139, X1140]} = observe !'bob !mailbox !driveway [X1137, X1120] in
let {[X1141, X1142]} = observe !'bob !mailbox !driveway [X1139, X1140] in
let {X1143} = move !'bob !driveway !front_hall [X1141, -10] in
let {X1144} = move !'bob !front_hall !upstairs_hall [X1143, -9] in
let {[X1145, X1146]} = greet !'alice !'bob !upstairs_hall [X1138, X1144] in
let {[X1147, X1148]} = observe_location !'alice !'bob !upstairs_hall [X1145, X1146] in
let {[X1149, [X1150, X1151]]} = observe_with !'alice !'bob !revolver !upstairs_hall [X1147, [X1148, X1075]] in
let {[X1152, X1153]} = leave_observed !'bob !'alice !upstairs_hall !bedroom [X1150, [X1149, -17]] in
let {[X1154, X1155]} = observe !'bob !bedsheets !bedroom [X1152, X1058] in
let {X1156} = move !'bob !bedroom !upstairs_hall [X1154, -21] in
let {[X1157, X1158]} = observe_location !'alice !'bob !upstairs_hall [X1153, X1156] in
let {[X1159, X1160]} = greet !'alice !'bob !upstairs_hall [X1157, X1158] in
let {[X1161, X1162]} = greet !'bob !'alice !upstairs_hall [X1160, X1159] in
let {X1163} = move !'bob !upstairs_hall !study [X1161, -19] in
let {X1164} = move !'bob !study !upstairs_hall [X1163, -22] in
let {[X1165, X1166]} = observe_location !'alice !'bob !upstairs_hall [X1162, X1164] in
let {X1167} = move !'alice !upstairs_hall !bedroom [X1165, -17] in
let {X1168} = move !'bob !upstairs_hall !study [X1166, -19] in
let {X1169} = move !'alice !bedroom !upstairs_hall [X1167, -21] in
let {X1170} = move !'bob !study !upstairs_hall [X1168, -22] in
let {[X1171, X1172]} = leave_observed !'bob !'alice !upstairs_hall !study [X1170, [X1169, -19]] in
let {X1173} = move !'bob !study !upstairs_hall [X1171, -22] in
let {[X1174, X1175]} = observe_location !'bob !'alice !upstairs_hall [X1173, X1172] in
let {[X1176, X1177]} = observe_location !'alice !'bob !upstairs_hall [X1175, X1174] in
let {[X1178, X1179]} = leave_observed !'alice !'bob !upstairs_hall !study [X1176, [X1177, -19]] in
let {X1180} = move !'bob !upstairs_hall !study [X1179, -19] in
let {X1181} = move !'bob !study !upstairs_hall [X1180, -22] in
let {X1182} = move !'bob !upstairs_hall !bathroom [X1181, -20] in
let {X1183} = move !'bob !bathroom !upstairs_hall [X1182, -23] in
let {X1184} = move !'alice !study !upstairs_hall [X1178, -22] in
let {[X1185, X1186]} = greet !'bob !'alice !upstairs_hall [X1183, X1184] in
let {X1187} = move !'alice !upstairs_hall !study [X1186, -19] in
let {X1188} = move !'bob !upstairs_hall !front_hall [X1185, -18] in
let {X1189} = move !'alice !study !upstairs_hall [X1187, -22] in
let {X1190} = move !'bob !front_hall !upstairs_hall [X1188, -9] in
let {[X1191, X1192]} = leave_observed !'bob !'alice !upstairs_hall !bathroom [X1190, [X1189, -20]] in
let {[X1193, X1194]} = observe !'bob !dead_body !bathroom [X1191, X1050] in
let {[X1195, X1196]} = observe !'bob !dead_body !bathroom [X1193, X1194] in
let {X1197} = move !'bob !bathroom !upstairs_hall [X1195, -23] in
let {[X1198, X1199]} = leave_observed !'bob !'alice !upstairs_hall !front_hall [X1197, [X1192, -18]] in
let {X1200} = move !'bob !front_hall !upstairs_hall [X1198, -9] in
let {[X1201, X1202]} = greet !'alice !'bob !upstairs_hall [X1199, X1200] in
let {X1203} = move !'bob !upstairs_hall !study [X1202, -19] in
let {X1204} = move !'bob !study !upstairs_hall [X1203, -22] in
let {[X1205, X1206]} = leave_observed !'bob !'alice !upstairs_hall !bedroom [X1204, [X1201, -17]] in
let {[X1207, X1208]} = observe !'bob !bedsheets !bedroom [X1205, X1155] in
let {X1209} = move !'alice !upstairs_hall !study [X1206, -19] in
let {[X1210, X1211]} = observe !'bob !bedsheets !bedroom [X1207, X1208] in
let {X1212} = move !'bob !bedroom !upstairs_hall [X1210, -21] in
let {X1213} = move !'alice !study !upstairs_hall [X1209, -22] in
let {[X1214, X1215]} = observe_location !'alice !'bob !upstairs_hall [X1213, X1212] in
let {[X1216, X1217]} = greet !'bob !'alice !upstairs_hall [X1215, X1214] in
let {[X1218, X1219]} = greet !'bob !'alice !upstairs_hall [X1216, X1217] in
let {[X1220, X1221]} = observe_location !'bob !'alice !upstairs_hall [X1218, X1219] in
let {[X1222, X1223]} = observe_location !'bob !'alice !upstairs_hall [X1220, X1221] in
let {X1224} = move !'bob !upstairs_hall !bathroom [X1222, -20] in
let {[X1225, X1226]} = observe !'bob !dead_body !bathroom [X1224, X1196] in
let {[X1227, X1228]} = observe_horror !'bob !dead_body !bathroom [X1225, [X1226, horrible/body]] in
let {X1229} = move !'bob !bathroom !upstairs_hall [X1227, -23] in
let {[X1230, X1231]} = greet !'bob !'alice !upstairs_hall [X1229, X1223] in
let {[X1232, X1233]} = greet !'alice !'bob !upstairs_hall [X1231, X1230] in
let {[X1234, X1235]} = leave_observed !'alice !'bob !upstairs_hall !study [X1232, [X1233, -19]] in
let {X1236} = move !'alice !study !upstairs_hall [X1234, -22] in
let {[X1237, X1238]} = leave_observed !'alice !'bob !upstairs_hall !front_hall [X1236, [X1235, -18]] in
let {X1239} = move !'alice !front_hall !driveway [X1237, -8] in
let {X1240} = move !'alice !driveway !path_by_the_shed [X1239, -12] in
let {X1241} = move !'bob !upstairs_hall !bathroom [X1238, -20] in
let {[X1242, X1243]} = observe_horror !'bob !dead_body !bathroom [X1241, [X1228, horrible/body]] in
let {[X1244, X1245]} = observe_horror !'bob !dead_body !bathroom [X1242, [X1243, horrible/body]] in
let {X1246} = move !'bob !bathroom !upstairs_hall [X1244, -23] in
let {X1247} = move !'bob !upstairs_hall !study [X1246, -19] in
let {X1248} = move !'bob !study !upstairs_hall [X1247, -22] in
let {X1249} = move !'alice !path_by_the_shed !shed [X1240, -15] in
let {X1250} = move !'bob !upstairs_hall !study [X1248, -19] in
let {[X1251, X1252]} = observe !'alice !toolbox !shed [X1249, X1135] in
let {X1253} = move !'bob !study !upstairs_hall [X1250, -22] in
let {[X1254, X1255]} = observe !'alice !toolbox !shed [X1251, X1252] in
let {[X1256, X1257]} = observe !'alice !toolbox !shed [X1254, X1255] in
let {X1258} = move !'bob !upstairs_hall !study [X1253, -19] in
let {[X1259, X1260]} = observe !'alice !toolbox !shed [X1256, X1257] in
let {X1261} = move !'alice !shed !path_by_the_shed [X1259, -16] in
let {X1262} = move !'alice !path_by_the_shed !driveway [X1261, -14] in
let {X1263} = move !'alice !driveway !garage [X1262, -11] in
let {X1264} = move !'bob !study !upstairs_hall [X1258, -22] in
let {X1265} = move !'bob !upstairs_hall !study [X1264, -19] in
let {X1266} = move !'bob !study !upstairs_hall [X1265, -22] in
let {X1267} = move !'bob !upstairs_hall !bedroom [X1266, -17] in
let {[X1268, X1269]} = observe !'bob !bedsheets !bedroom [X1267, X1211] in
let {X1270} = move !'bob !bedroom !upstairs_hall [X1268, -21] in
let {X1271} = move !'bob !upstairs_hall !bathroom [X1270, -20] in
let {[X1272, X1273]} = observe !'bob !dead_body !bathroom [X1271, X1245] in
let {[X1274, X1275]} = observe !'bob !dead_body !bathroom [X1272, X1273] in
let {X1276} = move !'bob !bathroom !upstairs_hall [X1274, -23] in
let {X1277} = move !'bob !upstairs_hall !front_hall [X1276, -18] in
let {X1278} = move !'alice !garage !driveway [X1263, -13] in
let {X1279} = move !'bob !front_hall !kitchen [X1277, -6] in
let {X1280} = move !'bob !kitchen !front_hall [X1279, -1] in
let {X1281} = move !'alice !driveway !path_by_the_shed [X1278, -12] in
let {X1282} = move !'alice !path_by_the_shed !driveway [X1281, -14] in
let {X1283} = move !'bob !front_hall !living_room [X1280, -7] in
let {[X1284, X1285]} = observe !'alice !mailbox !driveway [X1282, X1142] in
let {[X1286, X1287]} = observe !'alice !mailbox !driveway [X1284, X1285] in
let {[X1288, X1289]} = observe !'alice !mailbox !driveway [X1286, X1287] in
let {[X1290, X1291]} = observe !'alice !mailbox !driveway [X1288, X1289] in
let {X1292} = move !'alice !driveway !path_by_the_shed [X1290, -12] in
let {X1293} = move !'bob !living_room !dining_room [X1283, -2] in
let {X1294} = move !'alice !path_by_the_shed !driveway [X1292, -14] in
let {[X1295, X1296]} = observe !'alice !mailbox !driveway [X1294, X1291] in
let {X1297} = move !'bob !dining_room !kitchen [X1293, -5] in
let {[X1298, X1299]} = observe !'alice !mailbox !driveway [X1295, X1296] in
let {[X1300, X1301]} = observe !'bob !cabinet !kitchen [X1297, X1071] in
let {[X1302, [X1303, X1304]]} = stash !'bob !cabinet !stolen_jewels [X1300, [X1301, [X1131, [container/cabinet, treasure/jewels]]]] in
let {X1305} = move !'alice !driveway !garage [X1298, -11] in
let {[X1306, [X1307, X1308]]} = stash !'bob !cabinet !golden_falcon [X1302, [X1303, [X1124, [container/cabinet, treasure/falcon]]]] in
let {[X1309, [X1310, X1311]]} = search !'bob !cabinet !golden_falcon [X1306, [X1307, X1308]] in
let {X1312} = move !'alice !garage !driveway [X1305, -13] in
let {X1313} = move !'alice !driveway !path_by_the_shed [X1312, -12] in
let {[X1314, X1315]} = observe !'bob !cabinet !kitchen [X1309, X1310] in
let {X1316} = move !'bob !kitchen !front_hall [X1314, -1] in
let {X1317} = move !'alice !path_by_the_shed !driveway [X1313, -14] in
let {X1318} = move !'bob !front_hall !upstairs_hall [X1316, -9] in
let {[X1319, X1320]} = observe !'alice !mailbox !driveway [X1317, X1299] in
let {[X1321, X1322]} = observe !'alice !mailbox !driveway [X1319, X1320] in
let {X1323} = move !'bob !upstairs_hall !study [X1318, -19] in
let {[X1324, X1325]} = observe !'alice !mailbox !driveway [X1321, X1322] in
let {[X1326, X1327]} = observe !'alice !mailbox !driveway [X1324, X1325] in
let {[X1328, X1329]} = observe !'alice !mailbox !driveway [X1326, X1327] in
let {[X1330, X1331]} = observe !'alice !mailbox !driveway [X1328, X1329] in
let {X1332} = move !'alice !driveway !garage [X1330, -11] in
let {X1333} = move !'alice !garage !driveway [X1332, -13] in
let {[X1334, X1335]} = observe !'alice !mailbox !driveway [X1333, X1331] in
let {[X1336, X1337]} = observe !'alice !mailbox !driveway [X1334, X1335] in
let {X1338} = move !'bob !study !upstairs_hall [X1323, -22] in
let {[X1339, X1340]} = observe !'alice !mailbox !driveway [X1336, X1337] in
let {X1341} = move !'bob !upstairs_hall !bathroom [X1338, -20] in
let {[X1342, X1343]} = observe !'bob !dead_body !bathroom [X1341, X1275] in
let {[X1344, X1345]} = observe !'alice !mailbox !driveway [X1339, X1340] in
let {[X1346, X1347]} = observe !'alice !mailbox !driveway [X1344, X1345] in
let {X1348} = move !'alice !driveway !path_by_the_shed [X1346, -12] in
let {[X1349, X1350]} = observe !'bob !dead_body !bathroom [X1342, X1343] in
let {[X1351, X1352]} = observe !'bob !dead_body !bathroom [X1349, X1350] in
let {X1353} = move !'alice !path_by_the_shed !shed [X1348, -15] in
let {[X1354, X1355]} = observe !'bob !dead_body !bathroom [X1351, X1352] in
let {X1356} = move !'bob !bathroom !upstairs_hall [X1354, -23] in
let {[X1357, X1358]} = observe !'alice !toolbox !shed [X1353, X1260] in
let {X1359} = move !'bob !upstairs_hall !bathroom [X1356, -20] in
let {[X1360, X1361]} = observe_horror !'bob !dead_body !bathroom [X1359, [X1355, horrible/body]] in
let {[X1362, X1363]} = observe !'alice !toolbox !shed [X1357, X1358] in
let {X1364} = move !'bob !bathroom !upstairs_hall [X1360, -23] in
let {[X1365, X1366]} = observe !'alice !toolbox !shed [X1362, X1363] in
let {X1367} = move !'alice !shed !path_by_the_shed [X1365, -16] in
let {X1368} = move !'alice !path_by_the_shed !shed [X1367, -15] in
let {[X1369, X1370]} = observe !'alice !toolbox !shed [X1368, X1366] in
let {[X1371, X1372]} = observe !'alice !toolbox !shed [X1369, X1370] in
let {X1373} = move !'bob !upstairs_hall !bedroom [X1364, -17] in
let {[X1374, X1375]} = observe !'bob !bedsheets !bedroom [X1373, X1269] in
let {X1376} = move !'bob !bedroom !upstairs_hall [X1374, -21] in
let {[X1377, X1378]} = observe !'alice !toolbox !shed [X1371, X1372] in
let {[X1379, X1380]} = observe !'alice !toolbox !shed [X1377, X1378] in
let {X1381} = move !'alice !shed !path_by_the_shed [X1379, -16] in
let {X1382} = move !'alice !path_by_the_shed !driveway [X1381, -14] in
let {X1383} = move !'alice !driveway !front_hall [X1382, -10] in
let {X1384} = move !'bob !upstairs_hall !front_hall [X1376, -18] in
let {[X1385, X1386]} = leave_observed !'alice !'bob !front_hall !kitchen [X1383, [X1384, -6]] in
let {[X1387, [X1388, X1389]]} = search !'alice !cabinet !stolen_jewels [X1385, [X1315, X1304]] in
let {[X1390, X1391]} = observe !'alice !cupboards !kitchen [X1387, X1068] in
let {[X1392, X1393]} = observe !'alice !cabinet !kitchen [X1390, X1388] in
let {[X1394, [X1395, X1396]]} = stash !'alice !cupboards !stolen_jewels [X1392, [X1391, [X1389, [container/cupboards, treasure/jewels]]]] in
let {[X1397, [X1398, X1399]]} = search !'alice !cupboards !stolen_jewels [X1394, [X1395, X1396]] in
let {[X1400, X1401]} = observe !'alice !cabinet !kitchen [X1397, X1393] in
let {X1402} = move !'alice !kitchen !dining_room [X1400, -] in
let {X1403} = move !'alice !dining_room !front_hall [X1402, -4] in
let {[X1404, X1405]} = greet !'alice !'bob !front_hall [X1403, X1386] in
let {[X1406, X1407]} = observe_location !'alice !'bob !front_hall [X1404, X1405] in
let {[X1408, X1409]} = leave_observed !'bob !'alice !front_hall !upstairs_hall [X1407, [X1406, -9]] in
let {X1410} = move !'bob !upstairs_hall !bedroom [X1408, -17] in
let {X1411} = move !'bob !bedroom !upstairs_hall [X1410, -21] in
let {X1412} = move !'alice !front_hall !living_room [X1409, -7] in
let {X1413} = move !'alice !living_room !front_hall [X1412, -3] in
let {X1414} = move !'bob !upstairs_hall !bathroom [X1411, -20] in
let {[X1415, X1416]} = observe !'bob !dead_body !bathroom [X1414, X1361] in
let {X1417} = move !'alice !front_hall !living_room [X1413, -7] in
let {[X1418, X1419]} = observe !'bob !dead_body !bathroom [X1415, X1416] in
let {[X1420, X1421]} = observe_horror !'bob !dead_body !bathroom [X1418, [X1419, horrible/body]] in
let {X1422} = move !'alice !living_room !dining_room [X1417, -2] in
let {[X1423, X1424]} = observe !'bob !dead_body !bathroom [X1420, X1421] in
let {X1425} = move !'bob !bathroom !upstairs_hall [X1423, -23] in
let {X1426} = move !'bob !upstairs_hall !bathroom [X1425, -20] in
let {[X1427, X1428]} = observe !'bob !dead_body !bathroom [X1426, X1424] in
let {[X1429, X1430]} = observe !'bob !dead_body !bathroom [X1427, X1428] in
let {[X1431, X1432]} = observe_horror !'bob !dead_body !bathroom [X1429, [X1430, horrible/body]] in
let {X1433} = move !'alice !dining_room !front_hall [X1422, -4] in
let {[X1434, X1435]} = observe_horror !'bob !dead_body !bathroom [X1431, [X1432, horrible/body]] in
let {X1436} = move !'alice !front_hall !driveway [X1433, -8] in
let {[X1437, X1438]} = observe !'bob !dead_body !bathroom [X1434, X1435] in
let {[X1439, [X1440, X1441]]} = stash !'alice !mailbox !stolen_jewels [X1436, [X1347, [X1399, [container/mailbox, treasure/jewels]]]] in
let {[X1442, X1443]} = observe !'alice !mailbox !driveway [X1439, X1440] in
let {[X1444, X1445]} = observe !'alice !mailbox !driveway [X1442, X1443] in
let {X1446} = move !'bob !bathroom !upstairs_hall [X1437, -23] in
let {[X1447, X1448]} = observe !'alice !mailbox !driveway [X1444, X1445] in
let {[X1449, X1450]} = observe !'alice !mailbox !driveway [X1447, X1448] in
let {[X1451, [X1452, X1453]]} = search !'alice !mailbox !stolen_jewels [X1449, [X1450, X1441]] in
let {[X1454, X1455]} = observe !'alice !mailbox !driveway [X1451, X1452] in
let {[X1456, X1457]} = observe !'alice !mailbox !driveway [X1454, X1455] in
let {[X1458, [X1459, X1460]]} = stash !'alice !mailbox !stolen_jewels [X1456, [X1457, [X1453, [container/mailbox, treasure/jewels]]]] in
let {[X1461, [X1462, X1463]]} = search !'alice !mailbox !stolen_jewels [X1458, [X1459, X1460]] in
let {[X1464, [X1465, X1466]]} = stash !'alice !mailbox !stolen_jewels [X1461, [X1462, [X1463, [container/mailbox, treasure/jewels]]]] in
let {X1467} = move !'bob !upstairs_hall !bedroom [X1446, -17] in
let {X1468} = move !'alice !driveway !garage [X1464, -11] in
let {[X1469, X1470]} = observe !'bob !bedsheets !bedroom [X1467, X1375] in
let {[X1471, X1472]} = observe !'bob !bedsheets !bedroom [X1469, X1470] in
let {[X1473, X1474]} = observe !'bob !bedsheets !bedroom [X1471, X1472] in
let {X1475} = move !'bob !bedroom !upstairs_hall [X1473, -21] in
let {X1476} = move !'bob !upstairs_hall !bedroom [X1475, -17] in
let {X1477} = move !'bob !bedroom !upstairs_hall [X1476, -21] in
let {X1478} = move !'alice !garage !driveway [X1468, -13] in
let {X1479} = move !'bob !upstairs_hall !bathroom [X1477, -20] in
let {X1480} = move !'bob !bathroom !upstairs_hall [X1479, -23] in
let {[X1481, [X1482, X1483]]} = search !'alice !mailbox !stolen_jewels [X1478, [X1465, X1466]] in
let {X1484} = move !'alice !driveway !garage [X1481, -11] in
let {X1485} = move !'alice !garage !driveway [X1484, -13] in
let {[X1486, X1487]} = observe !'alice !mailbox !driveway [X1485, X1482] in
let {X1488} = move !'alice !driveway !front_hall [X1486, -10] in
let {X1489} = move !'bob !upstairs_hall !bathroom [X1480, -20] in
let {X1490} = move !'alice !front_hall !upstairs_hall [X1488, -9] in
let {X1491} = move !'bob !bathroom !upstairs_hall [X1489, -23] in
let {[X1492, X1493]} = greet !'bob !'alice !upstairs_hall [X1491, X1490] in
let {[X1494, [X1495, [X1496, X1497]]]} = steal_with_revolver !'bob !'alice !upstairs_hall !stolen_jewels [X1492, [X1493, [X1151, X1483]]] in
let {[X1498, X1499]} = observe_location !'alice !'bob !upstairs_hall [X1495, X1494] in
let {[X1500, X1501]} = greet !'bob !'alice !upstairs_hall [X1499, X1498] in
let {[X1502, [X1503, X1504]]} = observe_with !'alice !'bob !golden_falcon !upstairs_hall [X1501, [X1500, X1311]] in
let {X1505} = move !'bob !upstairs_hall !bathroom [X1503, -20] in
let {[X1506, X1507]} = observe_horror !'bob !dead_body !bathroom [X1505, [X1438, horrible/body]] in
let {[X1508, X1509]} = observe !'bob !dead_body !bathroom [X1506, X1507] in
let {[X1510, X1511]} = observe !'bob !dead_body !bathroom [X1508, X1509] in
let {X1512} = move !'alice !upstairs_hall !front_hall [X1502, -18] in
let {[X1513, X1514]} = observe_horror !'bob !dead_body !bathroom [X1510, [X1511, horrible/body]] in
let {[X1515, X1516]} = observe !'bob !dead_body !bathroom [X1513, X1514] in
let {X1517} = move !'bob !bathroom !upstairs_hall [X1515, -23] in
let {X1518} = move !'bob !upstairs_hall !study [X1517, -19] in
let {X1519} = move !'bob !study !upstairs_hall [X1518, -22] in
let {X1520} = move !'bob !upstairs_hall !study [X1519, -19] in
let {X1521} = move !'alice !front_hall !driveway [X1512, -8] in
let {X1522} = move !'bob !study !upstairs_hall [X1520, -22] in
let {[X1523, X1524]} = observe !'alice !mailbox !driveway [X1521, X1487] in
let {X1525} = move !'bob !upstairs_hall !bathroom [X1522, -20] in
let {X1526} = move !'bob !bathroom !upstairs_hall [X1525, -23] in
let {X1527} = move !'bob !upstairs_hall !front_hall [X1526, -18] in
let {X1528} = move !'bob !front_hall !upstairs_hall [X1527, -9] in
let {[X1529, X1530]} = observe !'alice !mailbox !driveway [X1523, X1524] in
let {X1531} = move !'alice !driveway !front_hall [X1529, -10] in
let {X1532} = move !'bob !upstairs_hall !study [X1528, -19] in
let {X1533} = move !'alice !front_hall !living_room [X1531, -7] in
let {X1534} = move !'bob !study !upstairs_hall [X1532, -22] in
let {X1535} = move !'bob !upstairs_hall !bedroom [X1534, -17] in
let {[X1536, X1537]} = observe !'bob !bedsheets !bedroom [X1535, X1474] in
let {X1538} = move !'bob !bedroom !upstairs_hall [X1536, -21] in
let {X1539} = move !'bob !upstairs_hall !study [X1538, -19] in
let {X1540} = move !'bob !study !upstairs_hall [X1539, -22] in
let {X1541} = move !'alice !living_room !dining_room [X1533, -2] in
let {X1542} = move !'alice !dining_room !front_hall [X1541, -4] in
let {X1543} = move !'alice !front_hall !kitchen [X1542, -6] in
let {X1544} = move !'alice !kitchen !front_hall [X1543, -1] in
let {X1545} = move !'alice !front_hall !driveway [X1544, -8] in
let {[X1546, X1547]} = observe !'alice !mailbox !driveway [X1545, X1530] in
let {[X1548, X1549]} = observe !'alice !mailbox !driveway [X1546, X1547] in
let {X1550} = move !'alice !driveway !garage [X1548, -11] in
let {X1551} = move !'bob !upstairs_hall !study [X1540, -19] in
let {X1552} = move !'alice !garage !driveway [X1550, -13] in
let {X1553} = move !'alice !driveway !path_by_the_shed [X1552, -12] in
let {X1554} = move !'alice !path_by_the_shed !driveway [X1553, -14] in
let {X1555} = move !'alice !driveway !front_hall [X1554, -10] in
let {X1556} = move !'alice !front_hall !living_room [X1555, -7] in
let {X1557} = move !'bob !study !upstairs_hall [X1551, -22] in
let {X1558} = move !'alice !living_room !dining_room [X1556, -2] in
let {X1559} = move !'alice !dining_room !kitchen [X1558, -5] in
let {[X1560, X1561]} = observe !'alice !cabinet !kitchen [X1559, X1401] in
let {[X1562, X1563]} = observe !'alice !cupboards !kitchen [X1560, X1398] in
let {X1564} = move !'alice !kitchen !dining_room [X1562, -] in
let {X1565} = move !'bob !upstairs_hall !bathroom [X1557, -20] in
let {[X1566, X1567]} = observe !'bob !dead_body !bathroom [X1565, X1516] in
let {X1568} = move !'alice !dining_room !front_hall [X1564, -4] in
let {[X1569, X1570]} = observe !'bob !dead_body !bathroom [X1566, X1567] in
let {[X1571, X1572]} = observe !'bob !dead_body !bathroom [X1569, X1570] in
let {X1573} = move !'bob !bathroom !upstairs_hall [X1571, -23] in
let {X1574} = move !'bob !upstairs_hall !bedroom [X1573, -17] in
let {[X1575, X1576]} = observe !'bob !bedsheets !bedroom [X1574, X1537] in
let {X1577} = move !'alice !front_hall !living_room [X1568, -7] in
let {X1578} = move !'alice !living_room !front_hall [X1577, -3] in
let {X1579} = move !'alice !front_hall !living_room [X1578, -7] in
let {X1580} = move !'alice !living_room !front_hall [X1579, -3] in
let {[X1581, X1582]} = observe !'bob !bedsheets !bedroom [X1575, X1576] in
let {X1583} = move !'alice !front_hall !upstairs_hall [X1580, -9] in
let {X1584} = move !'alice !upstairs_hall !front_hall [X1583, -18] in
let {X1585} = move !'alice !front_hall !driveway [X1584, -8] in
let {X1586} = move !'alice !driveway !garage [X1585, -11] in
let {X1587} = move !'bob !bedroom !upstairs_hall [X1581, -21] in
let {X1588} = move !'alice !garage !driveway [X1586, -13] in
let {X1589} = move !'bob !upstairs_hall !study [X1587, -19] in
let {X1590} = move !'alice !driveway !front_hall [X1588, -10] in
let {X1591} = move !'alice !front_hall !kitchen [X1590, -6] in
let {X1592} = move !'alice !kitchen !dining_room [X1591, -] in
let {X1593} = move !'bob !study !upstairs_hall [X1589, -22] in
let {X1594} = move !'bob !upstairs_hall !front_hall [X1593, -18] in
let {X1595} = move !'alice !dining_room !kitchen [X1592, -5] in
let {X1596} = move !'alice !kitchen !front_hall [X1595, -1] in
let {X1597} = move !'alice !front_hall !driveway [X1596, -8] in
let {X1598} = move !'alice !driveway !front_hall [X1597, -10] in
let {X1599} = move !'alice !front_hall !living_room [X1598, -7] in
let {X1600} = move !'alice !living_room !dining_room [X1599, -2] in
let {X1601} = move !'bob !front_hall !living_room [X1594, -7] in
let {X1602} = move !'bob !living_room !dining_room [X1601, -2] in
let {X1603} = move !'alice !dining_room !kitchen [X1600, -5] in
let {X1604} = move !'alice !kitchen !front_hall [X1603, -1] in
let {X1605} = move !'alice !front_hall !kitchen [X1604, -6] in
let {X1606} = move !'alice !kitchen !front_hall [X1605, -1] in
let {X1607} = move !'bob !dining_room !kitchen [X1602, -5] in
let {X1608} = move !'bob !kitchen !front_hall [X1607, -1] in
let {[X1609, X1610]} = observe_location !'bob !'alice !front_hall [X1608, X1606] in
let {[X1611, [X1612, X1613]]} = observe_with !'alice !'bob !golden_falcon !front_hall [X1610, [X1609, X1504]] in
let {[X1614, X1615]} = observe_location !'bob !'alice !front_hall [X1612, X1611] in
let {[X1616, X1617]} = greet !'alice !'bob !front_hall [X1615, X1614] in
let {[X1618, [X1619, X1620]]} = observe_with !'alice !'bob !revolver !front_hall [X1616, [X1617, X1496]] in
let {[X1621, X1622]} = leave_observed !'bob !'alice !front_hall !kitchen [X1619, [X1618, -6]] in
let {[X1623, X1624]} = observe !'bob !cabinet !kitchen [X1621, X1561] in
let {X1625} = move !'bob !kitchen !dining_room [X1623, -] in
let {X1626} = move !'bob !dining_room !front_hall [X1625, -4] in
let {[X1627, X1628]} = leave_observed !'bob !'alice !front_hall !living_room [X1626, [X1622, -7]] in
let {X1629} = move !'bob !living_room !front_hall [X1627, -3] in
let {X1630} = move !'bob !front_hall !kitchen [X1629, -6] in
let {[X1631, X1632]} = observe !'bob !cabinet !kitchen [X1630, X1624] in
let {X1633} = move !'alice !front_hall !living_room [X1628, -7] in
let {[X1634, [X1635, X1636]]} = stash !'bob !cupboards !stolen_jewels [X1631, [X1563, [X1497, [container/cupboards, treasure/jewels]]]] in
let {[X1637, [X1638, X1639]]} = stash !'bob !cabinet !golden_falcon [X1634, [X1632, [X1613, [container/cabinet, treasure/falcon]]]] in
let {[X1640, X1641]} = observe !'bob !cupboards !kitchen [X1637, X1635] in
let {[X1642, [X1643, X1644]]} = search !'bob !cabinet !golden_falcon [X1640, [X1638, X1639]] in
let {X1645} = move !'alice !living_room !front_hall [X1633, -3] in
let {[X1646, [X1647, X1648]]} = search !'bob !cupboards !stolen_jewels [X1642, [X1641, X1636]] in
let {[X1649, X1650]} = observe !'bob !cabinet !kitchen [X1646, X1643] in
let {X1651} = move !'alice !front_hall !living_room [X1645, -7] in
let {X1652} = move !'bob !kitchen !front_hall [X1649, -1] in
let {X1653} = move !'bob !front_hall !driveway [X1652, -8] in
let {[X1654, X1655]} = observe !'bob !mailbox !driveway [X1653, X1549] in
let {X1656} = move !'bob !driveway !garage [X1654, -11] in
let {X1657} = move !'bob !garage !driveway [X1656, -13] in
let {[X1658, X1659]} = observe !'bob !mailbox !driveway [X1657, X1655] in
let {X1660} = move !'bob !driveway !front_hall [X1658, -10] in
let {X1661} = move !'alice !living_room !front_hall [X1651, -3] in
let {[X1662, X1663]} = greet !'alice !'bob !front_hall [X1661, X1660] in
let {[X1664, [X1665, X1666]]} = observe_with !'alice !'bob !golden_falcon !front_hall [X1662, [X1663, X1644]] in
let {[X1667, X1668]} = greet !'alice !'bob !front_hall [X1664, X1665] in
let {[X1669, X1670]} = observe_location !'alice !'bob !front_hall [X1667, X1668] in
let {X1671} = move !'bob !front_hall !living_room [X1670, -7] in
let {X1672} = move !'bob !living_room !front_hall [X1671, -3] in
let {X1673} = move !'bob !front_hall !driveway [X1672, -8] in
let {[X1674, X1675]} = observe !'bob !mailbox !driveway [X1673, X1659] in
let {[X1676, X1677]} = observe !'bob !mailbox !driveway [X1674, X1675] in
let {[X1678, X1679]} = observe !'bob !mailbox !driveway [X1676, X1677] in
let {X1680} = move !'alice !front_hall !upstairs_hall [X1669, -9] in
let {[X1681, [X1682, X1683]]} = stash !'bob !mailbox !golden_falcon [X1678, [X1679, [X1666, [container/mailbox, treasure/falcon]]]] in
let {[X1684, X1685]} = observe !'bob !mailbox !driveway [X1681, X1682] in
let {X1686} = move !'bob !driveway !front_hall [X1684, -10] in
let {X1687} = move !'bob !front_hall !living_room [X1686, -7] in
let {X1688} = move !'bob !living_room !dining_room [X1687, -2] in
let {X1689} = move !'bob !dining_room !front_hall [X1688, -4] in
let {X1690} = move !'bob !front_hall !driveway [X1689, -8] in
let {X1691} = move !'alice !upstairs_hall !bathroom [X1680, -20] in
let {[X1692, [X1693, X1694]]} = stash !'bob !mailbox !stolen_jewels [X1690, [X1685, [X1648, [container/mailbox, treasure/jewels]]]] in
let {[X1695, X1696]} = observe !'alice !dead_body !bathroom [X1691, X1572] in
let {[X1697, X1698]} = observe !'alice !dead_body !bathroom [X1695, X1696] in
let {[X1699, [X1700, X1701]]} = search !'bob !mailbox !golden_falcon [X1692, [X1693, X1683]] in
let {[X1702, X1703]} = observe !'bob !mailbox !driveway [X1699, X1700] in
let {[X1704, X1705]} = observe !'bob !mailbox !driveway [X1702, X1703] in
let {[X1706, [X1707, X1708]]} = search !'bob !mailbox !stolen_jewels [X1704, [X1705, X1694]] in
let {[X1709, [X1710, X1711]]} = stash !'bob !mailbox !golden_falcon [X1706, [X1707, [X1701, [container/mailbox, treasure/falcon]]]] in
let {[X1712, X1713]} = observe !'bob !mailbox !driveway [X1709, X1710] in
let {[X1714, X1715]} = observe_horror !'alice !dead_body !bathroom [X1697, [X1698, horrible/body]] in
let {X1716} = move !'alice !bathroom !upstairs_hall [X1714, -23] in
let {X1717} = move !'alice !upstairs_hall !bedroom [X1716, -17] in
let {[X1718, [X1719, X1720]]} = stash !'bob !mailbox !stolen_jewels [X1712, [X1713, [X1708, [container/mailbox, treasure/jewels]]]] in
let {[X1721, [X1722, X1723]]} = search !'bob !mailbox !golden_falcon [X1718, [X1719, X1711]] in
let {[X1724, [X1725, X1726]]} = stash !'bob !mailbox !golden_falcon [X1721, [X1722, [X1723, [container/mailbox, treasure/falcon]]]] in
let {[X1727, [X1728, X1729]]} = search !'bob !mailbox !stolen_jewels [X1724, [X1725, X1720]] in
let {[X1730, X1731]} = observe !'bob !mailbox !driveway [X1727, X1728] in
let {[X1732, [X1733, X1734]]} = stash !'bob !mailbox !stolen_jewels [X1730, [X1731, [X1729, [container/mailbox, treasure/jewels]]]] in
let {X1735} = move !'bob !driveway !front_hall [X1732, -10] in
let {X1736} = move !'alice !bedroom !upstairs_hall [X1717, -21] in
let {X1737} = move !'alice !upstairs_hall !bathroom [X1736, -20] in
let {X1738} = move !'bob !front_hall !driveway [X1735, -8] in
let {[X1739, [X1740, X1741]]} = search !'bob !mailbox !stolen_jewels [X1738, [X1733, X1734]] in
let {[X1742, X1743]} = observe_horror !'alice !dead_body !bathroom [X1737, [X1715, horrible/body]] in
let {[X1744, [X1745, X1746]]} = stash !'bob !mailbox !stolen_jewels [X1739, [X1740, [X1741, [container/mailbox, treasure/jewels]]]] in
let {[X1747, X1748]} = observe !'alice !dead_body !bathroom [X1742, X1743] in
let {[X1749, X1750]} = observe !'bob !mailbox !driveway [X1744, X1745] in
let {X1751} = move !'alice !bathroom !upstairs_hall [X1747, -23] in
let {X1752} = move !'alice !upstairs_hall !bathroom [X1751, -20] in
let {X1753} = move !'bob !driveway !path_by_the_shed [X1749, -12] in
let {X1754} = move !'bob !path_by_the_shed !driveway [X1753, -14] in
let {[X1755, [X1756, X1757]]} = search !'bob !mailbox !stolen_jewels [X1754, [X1750, X1746]] in
let {[X1758, [X1759, X1760]]} = search !'bob !mailbox !golden_falcon [X1755, [X1756, X1726]] in
let {[X1761, X1762]} = observe_horror !'alice !dead_body !bathroom [X1752, [X1748, horrible/body]] in
let {[X1763, [X1764, X1765]]} = stash !'bob !mailbox !golden_falcon [X1758, [X1759, [X1760, [container/mailbox, treasure/falcon]]]] in
let {X1766} = move !'alice !bathroom !upstairs_hall [X1761, -23] in
let {[X1767, X1768]} = observe !'bob !mailbox !driveway [X1763, X1764] in
let {[X1769, X1770]} = observe !'bob !mailbox !driveway [X1767, X1768] in
let {X1771} = move !'alice !upstairs_hall !bathroom [X1766, -20] in
let {[X1772, X1773]} = observe_horror !'alice !dead_body !bathroom [X1771, [X1762, horrible/body]] in
let {[X1774, X1775]} = observe !'alice !dead_body !bathroom [X1772, X1773] in
let {[X1776, X1777]} = observe !'bob !mailbox !driveway [X1769, X1770] in
let {[X1778, [X1779, X1780]]} = stash !'bob !mailbox !stolen_jewels [X1776, [X1777, [X1757, [container/mailbox, treasure/jewels]]]] in
let {[X1781, X1782]} = observe !'bob !mailbox !driveway [X1778, X1779] in
let {[X1783, X1784]} = observe_horror !'alice !dead_body !bathroom [X1774, [X1775, horrible/body]] in
let {[X1785, [X1786, X1787]]} = search !'bob !mailbox !golden_falcon [X1781, [X1782, X1765]] in
let {[X1788, X1789]} = observe_horror !'alice !dead_body !bathroom [X1783, [X1784, horrible/body]] in
let {[X1790, X1791]} = observe !'bob !mailbox !driveway [X1785, X1786] in
let {[X1792, X1793]} = observe !'alice !dead_body !bathroom [X1788, X1789] in
let {[X1794, X1795]} = observe !'bob !mailbox !driveway [X1790, X1791] in
let {[X1796, [X1797, X1798]]} = stash !'bob !mailbox !golden_falcon [X1794, [X1795, [X1787, [container/mailbox, treasure/falcon]]]] in
let {[X1799, [X1800, X1801]]} = search !'bob !mailbox !stolen_jewels [X1796, [X1797, X1780]] in
let {X1802} = move !'bob !driveway !front_hall [X1799, -10] in
let {[X1803, X1804]} = observe_horror !'alice !dead_body !bathroom [X1792, [X1793, horrible/body]] in
let {[X1805, X1806]} = observe !'alice !dead_body !bathroom [X1803, X1804] in
let {[X1807, X1808]} = observe !'alice !dead_body !bathroom [X1805, X1806] in
let {[X1809, X1810]} = observe_horror !'alice !dead_body !bathroom [X1807, [X1808, horrible/body]] in
let {[X1811, X1812]} = observe !'alice !dead_body !bathroom [X1809, X1810] in
let {[X1813, X1814]} = observe_horror !'alice !dead_body !bathroom [X1811, [X1812, horrible/body]] in
let {X1815} = move !'bob !front_hall !living_room [X1802, -7] in
let {X1816} = move !'alice !bathroom !upstairs_hall [X1813, -23] in
let {X1817} = move !'bob !living_room !dining_room [X1815, -2] in
let {X1818} = move !'bob !dining_room !kitchen [X1817, -5] in
let {[X1819, X1820]} = observe !'bob !cabinet !kitchen [X1818, X1650] in
let {X1821} = move !'alice !upstairs_hall !study [X1816, -19] in
let {X1822} = move !'alice !study !upstairs_hall [X1821, -22] in
let {[X1823, X1824]} = observe !'bob !cabinet !kitchen [X1819, X1820] in
let {[X1825, [X1826, X1827]]} = stash !'bob !cabinet !stolen_jewels [X1823, [X1824, [X1801, [container/cabinet, treasure/jewels]]]] in
let {X1828} = move !'alice !upstairs_hall !front_hall [X1822, -18] in
let {[X1829, X1830]} = observe !'bob !cabinet !kitchen [X1825, X1826] in
let {X1831} = move !'alice !front_hall !driveway [X1828, -8] in
let {[X1832, [X1833, X1834]]} = search !'bob !cabinet !stolen_jewels [X1829, [X1830, X1827]] in
let {X1835} = move !'bob !kitchen !front_hall [X1832, -1] in
let {X1836} = move !'alice !driveway !garage [X1831, -11] in
let {X1837} = move !'bob !front_hall !living_room [X1835, -7] in
let {X1838} = move !'alice !garage !driveway [X1836, -13] in
let {[X1839, [X1840, X1841]]} = search !'alice !mailbox !golden_falcon [X1838, [X1800, X1798]] in
let {X1842} = move !'alice !driveway !path_by_the_shed [X1839, -12] in
let {X1843} = move !'alice !path_by_the_shed !shed [X1842, -15] in
let {[X1844, [X1845, X1846]]} = stash !'alice !toolbox !golden_falcon [X1843, [X1380, [X1841, [container/toolbox, treasure/falcon]]]] in
let {[X1847, X1848]} = observe !'alice !toolbox !shed [X1844, X1845] in
let {X1849} = move !'alice !shed !path_by_the_shed [X1847, -16] in
let {X1850} = move !'bob !living_room !front_hall [X1837, -3] in
let {X1851} = move !'alice !path_by_the_shed !shed [X1849, -15] in
let {[X1852, X1853]} = observe !'alice !toolbox !shed [X1851, X1848] in
let {[X1854, [X1855, X1856]]} = search !'alice !toolbox !golden_falcon [X1852, [X1853, X1846]] in
let {[X1857, X1858]} = observe !'alice !toolbox !shed [X1854, X1855] in
let {[X1859, [X1860, X1861]]} = stash !'alice !toolbox !golden_falcon [X1857, [X1858, [X1856, [container/toolbox, treasure/falcon]]]] in
let {[X1862, X1863]} = observe !'alice !toolbox !shed [X1859, X1860] in
let {X1864} = move !'alice !shed !path_by_the_shed [X1862, -16] in
let {X1865} = move !'bob !front_hall !upstairs_hall [X1850, -9] in
let {X1866} = move !'alice !path_by_the_shed !driveway [X1864, -14] in
let {X1867} = move !'alice !driveway !path_by_the_shed [X1866, -12] in
let {X1868} = move !'bob !upstairs_hall !study [X1865, -19] in
let {X1869} = move !'bob !study !upstairs_hall [X1868, -22] in
let {X1870} = move !'bob !upstairs_hall !bathroom [X1869, -20] in
let {X1871} = move !'alice !path_by_the_shed !shed [X1867, -15] in
let {X1872} = move !'alice !shed !path_by_the_shed [X1871, -16] in
let {X1873} = move !'alice !path_by_the_shed !driveway [X1872, -14] in
let {[X1874, X1875]} = observe !'alice !mailbox !driveway [X1873, X1840] in
let {X1876} = move !'alice !driveway !front_hall [X1874, -10] in
let {X1877} = move !'bob !bathroom !upstairs_hall [X1870, -23] in
let {X1878} = move !'bob !upstairs_hall !study [X1877, -19] in
let {X1879} = move !'alice !front_hall !living_room [X1876, -7] in
let {X1880} = move !'alice !living_room !front_hall [X1879, -3] in
let {X1881} = move !'bob !study !upstairs_hall [X1878, -22] in
let {X1882} = move !'bob !upstairs_hall !study [X1881, -19] in
let {X1883} = move !'alice !front_hall !living_room [X1880, -7] in
let {X1884} = move !'alice !living_room !dining_room [X1883, -2] in
let {X1885} = move !'alice !dining_room !front_hall [X1884, -4] in
let {X1886} = move !'bob !study !upstairs_hall [X1882, -22] in
let {X1887} = move !'alice !front_hall !kitchen [X1885, -6] in
let {X1888} = move !'bob !upstairs_hall !bedroom [X1886, -17] in
let {X1889} = move !'bob !bedroom !upstairs_hall [X1888, -21] in
let {[X1890, X1891]} = observe !'alice !cupboards !kitchen [X1887, X1647] in
let {[X1892, X1893]} = observe !'alice !cabinet !kitchen [X1890, X1833] in
let {[X1894, X1895]} = observe !'alice !cupboards !kitchen [X1892, X1891] in
let {[X1896, X1897]} = observe !'alice !cupboards !kitchen [X1894, X1895] in
let {[X1898, X1899]} = observe !'alice !cupboards !kitchen [X1896, X1897] in
let {X1900} = move !'bob !upstairs_hall !bathroom [X1889, -20] in
let {[X1901, X1902]} = observe !'bob !dead_body !bathroom [X1900, X1814] in
let {X1903} = move !'alice !kitchen !front_hall [X1898, -1] in
let {[X1904, X1905]} = observe !'bob !dead_body !bathroom [X1901, X1902] in
let {[X1906, X1907]} = observe !'bob !dead_body !bathroom [X1904, X1905] in
let {[X1908, X1909]} = observe !'bob !dead_body !bathroom [X1906, X1907] in
let {X1910} = move !'bob !bathroom !upstairs_hall [X1908, -23] in
let {X1911} = move !'bob !upstairs_hall !bedroom [X1910, -17] in
let {X1912} = move !'bob !bedroom !upstairs_hall [X1911, -21] in
let {X1913} = move !'bob !upstairs_hall !front_hall [X1912, -18] in
let {[X1914, X1915]} = observe_location !'alice !'bob !front_hall [X1903, X1913] in
let {[X1916, X1917]} = leave_observed !'alice !'bob !front_hall !kitchen [X1914, [X1915, -6]] in
let {X1918} = move !'alice !kitchen !dining_room [X1916, -] in
let {X1919} = move !'alice !dining_room !front_hall [X1918, -4] in
let {X1920} = move !'bob !front_hall !upstairs_hall [X1917, -9] in
let {X1921} = move !'bob !upstairs_hall !study [X1920, -19] in
let {X1922} = move !'bob !study !upstairs_hall [X1921, -22] in
let {X1923} = move !'bob !upstairs_hall !study [X1922, -19] in
let {X1924} = move !'bob !study !upstairs_hall [X1923, -22] in
let {X1925} = move !'alice !front_hall !upstairs_hall [X1919, -9] in
let {[X1926, X1927]} = leave_observed !'bob !'alice !upstairs_hall !study [X1924, [X1925, -19]] in
let {X1928} = move !'alice !upstairs_hall !bedroom [X1927, -17] in
let {X1929} = move !'bob !study !upstairs_hall [X1926, -22] in
let {[X1930, X1931]} = observe !'alice !bedsheets !bedroom [X1928, X1582] in
let {X1932} = move !'alice !bedroom !upstairs_hall [X1930, -21] in
let {[X1933, X1934]} = observe_location !'bob !'alice !upstairs_hall [X1929, X1932] in
let {[X1935, [X1936, X1937]]} = observe_with !'alice !'bob !revolver !upstairs_hall [X1934, [X1933, X1620]] in
let {[X1938, X1939]} = greet !'alice !'bob !upstairs_hall [X1935, X1936] in
let {[X1940, X1941]} = leave_observed !'alice !'bob !upstairs_hall !front_hall [X1938, [X1939, -18]] in
let {X1942} = move !'bob !upstairs_hall !front_hall [X1941, -18] in
let {[X1943, X1944]} = leave_observed !'alice !'bob !front_hall !driveway [X1940, [X1942, -8]] in
let {[X1945, X1946]} = observe !'alice !mailbox !driveway [X1943, X1875] in
let {[X1947, X1948]} = observe !'alice !mailbox !driveway [X1945, X1946] in
let {[X1949, X1950]} = observe !'alice !mailbox !driveway [X1947, X1948] in
let {X1951} = move !'alice !driveway !front_hall [X1949, -10] in
let {X1952} = move !'alice !front_hall !living_room [X1951, -7] in
let {X1953} = move !'bob !front_hall !driveway [X1944, -8] in
let {[X1954, [X1955, X1956]]} = stash !'bob !mailbox !stolen_jewels [X1953, [X1950, [X1834, [container/mailbox, treasure/jewels]]]] in
let {X1957} = move !'bob !driveway !front_hall [X1954, -10] in
let {X1958} = move !'bob !front_hall !kitchen [X1957, -6] in
let {[X1959, X1960]} = observe !'bob !cupboards !kitchen [X1958, X1899] in
let {[X1961, X1962]} = observe !'bob !cupboards !kitchen [X1959, X1960] in
let {[X1963, X1964]} = observe !'bob !cupboards !kitchen [X1961, X1962] in
let {X1965} = move !'alice !living_room !front_hall [X1952, -3] in
let {X1966} = move !'alice !front_hall !upstairs_hall [X1965, -9] in
let {X1967} = move !'bob !kitchen !dining_room [X1963, -] in
let {X1968} = move !'bob !dining_room !kitchen [X1967, -5] in
let {X1969} = move !'alice !upstairs_hall !bedroom [X1966, -17] in
let {X1970} = move !'bob !kitchen !front_hall [X1968, -1] in
let {X1971} = move !'bob !front_hall !living_room [X1970, -7] in
let {[X1972, X1973]} = observe !'alice !bedsheets !bedroom [X1969, X1931] in
let {X1974} = move !'alice !bedroom !upstairs_hall [X1972, -21] in
let {X1975} = move !'bob !living_room !front_hall [X1971, -3] in
let {X1976} = move !'alice !upstairs_hall !bedroom [X1974, -17] in
let {[X1977, X1978]} = observe !'alice !bedsheets !bedroom [X1976, X1973] in
let {[X1979, X1980]} = observe !'alice !bedsheets !bedroom [X1977, X1978] in
let {[X1981, X1982]} = observe !'alice !bedsheets !bedroom [X1979, X1980] in
let {X1983} = move !'bob !front_hall !upstairs_hall [X1975, -9] in
let {[X1984, X1985]} = observe !'alice !bedsheets !bedroom [X1981, X1982] in
let {[X1986, X1987]} = observe !'alice !bedsheets !bedroom [X1984, X1985] in
let {X1988} = move !'bob !upstairs_hall !bathroom [X1983, -20] in
let {[X1989, X1990]} = observe_horror !'bob !dead_body !bathroom [X1988, [X1909, horrible/body]] in
let {[X1991, X1992]} = observe_horror !'bob !dead_body !bathroom [X1989, [X1990, horrible/body]] in
let {X1993} = move !'alice !bedroom !upstairs_hall [X1986, -21] in
let {X1994} = move !'bob !bathroom !upstairs_hall [X1991, -23] in
let {[X1995, X1996]} = greet !'bob !'alice !upstairs_hall [X1994, X1993] in
let {[X1997, X1998]} = leave_observed !'alice !'bob !upstairs_hall !bedroom [X1996, [X1995, -17]] in
let {[X1999, X2000]} = observe !'alice !bedsheets !bedroom [X1997, X1987] in
let {[X2001, X2002]} = observe !'alice !bedsheets !bedroom [X1999, X2000] in
let {X2003} = move !'alice !bedroom !upstairs_hall [X2001, -21] in
let {[X2004, X2005]} = leave_observed !'bob !'alice !upstairs_hall !bathroom [X1998, [X2003, -20]] in
let {X2006} = move !'alice !upstairs_hall !study [X2005, -19] in
let {X2007} = move !'bob !bathroom !upstairs_hall [X2004, -23] in
let {X2008} = move !'bob !upstairs_hall !bedroom [X2007, -17] in
let {X2009} = move !'bob !bedroom !upstairs_hall [X2008, -21] in
let {X2010} = move !'bob !upstairs_hall !front_hall [X2009, -18] in
let {X2011} = move !'bob !front_hall !kitchen [X2010, -6] in
let {[X2012, X2013]} = observe !'bob !cabinet !kitchen [X2011, X1893] in
let {X2014} = move !'bob !kitchen !dining_room [X2012, -] in
let {X2015} = move !'bob !dining_room !kitchen [X2014, -5] in
let {X2016} = move !'bob !kitchen !dining_room [X2015, -] in
let {X2017} = move !'alice !study !upstairs_hall [X2006, -22] in
let {X2018} = move !'bob !dining_room !front_hall [X2016, -4] in
let {X2019} = move !'bob !front_hall !upstairs_hall [X2018, -9] in
let {[X2020, X2021]} = greet !'bob !'alice !upstairs_hall [X2019, X2017] in
let {[X2022, X2023]} = observe_location !'bob !'alice !upstairs_hall [X2020, X2021] in
let {[X2024, X2025]} = observe_location !'bob !'alice !upstairs_hall [X2022, X2023] in
let {[X2026, X2027]} = greet !'bob !'alice !upstairs_hall [X2024, X2025] in
let {X2028} = move !'alice !upstairs_hall !front_hall [X2027, -18] in
let {X2029} = move !'bob !upstairs_hall !study [X2026, -19] in
let {X2030} = move !'alice !front_hall !living_room [X2028, -7] in
let {X2031} = move !'bob !study !upstairs_hall [X2029, -22] in
let {X2032} = move !'alice !living_room !dining_room [X2030, -2] in
let {X2033} = move !'bob !upstairs_hall !bedroom [X2031, -17] in
let {X2034} = move !'bob !bedroom !upstairs_hall [X2033, -21] in
let {X2035} = move !'bob !upstairs_hall !study [X2034, -19] in
let {X2036} = move !'bob !study !upstairs_hall [X2035, -22] in
let {X2037} = move !'alice !dining_room !front_hall [X2032, -4] in
let {X2038} = move !'alice !front_hall !driveway [X2037, -8] in
let {X2039} = move !'bob !upstairs_hall !bedroom [X2036, -17] in
let {[X2040, [X2041, X2042]]} = search !'alice !mailbox !stolen_jewels [X2038, [X1955, X1956]] in
let {[X2043, X2044]} = observe !'bob !bedsheets !bedroom [X2039, X2002] in
let {X2045} = move !'alice !driveway !front_hall [X2040, -10] in
let {[X2046, X2047]} = observe !'bob !bedsheets !bedroom [X2043, X2044] in
let {[X2048, X2049]} = observe !'bob !bedsheets !bedroom [X2046, X2047] in
let {X2050} = move !'alice !front_hall !kitchen [X2045, -6] in
let {[X2051, [X2052, X2053]]} = stash !'alice !cabinet !stolen_jewels [X2050, [X2013, [X2042, [container/cabinet, treasure/jewels]]]] in
let {[X2054, X2055]} = observe !'bob !bedsheets !bedroom [X2048, X2049] in
let {X2056} = move !'alice !kitchen !front_hall [X2051, -1] in
let {X2057} = move !'bob !bedroom !upstairs_hall [X2054, -21] in
let {X2058} = move !'bob !upstairs_hall !front_hall [X2057, -18] in
let {[X2059, [X2060, X2061]]} = observe_with !'alice !'bob !revolver !front_hall [X2056, [X2058, X1937]] in
let {[X2062, X2063]} = observe_location !'bob !'alice !front_hall [X2060, X2059] in
let {X2064} = move !'alice !front_hall !living_room [X2063, -7] in
let {X2065} = move !'alice !living_room !dining_room [X2064, -2] in
let {X2066} = move !'alice !dining_room !front_hall [X2065, -4] in
let {[X2067, X2068]} = observe_location !'bob !'alice !front_hall [X2062, X2066] in
let {X2069} = move !'alice !front_hall !kitchen [X2068, -6] in
let {X2070} = move !'alice !kitchen !front_hall [X2069, -1] in
let {X2071} = move !'bob !front_hall !kitchen [X2067, -6] in
let {[X2072, X2073]} = observe !'bob !cabinet !kitchen [X2071, X2052] in
let {[X2074, [X2075, X2076]]} = search !'bob !cabinet !stolen_jewels [X2072, [X2073, X2053]] in
let {[X2077, X2078]} = observe !'bob !cupboards !kitchen [X2074, X1964] in
let {X2079} = move !'bob !kitchen !dining_room [X2077, -] in
let {X2080} = move !'bob !dining_room !front_hall [X2079, -4] in
let {[X2081, X2082]} = observe_location !'alice !'bob !front_hall [X2070, X2080] in
let {[X2083, [X2084, X2085]]} = observe_with !'alice !'bob !revolver !front_hall [X2081, [X2082, X2061]] in
let {[X2086, X2087]} = greet !'alice !'bob !front_hall [X2083, X2084] in
let {X2088} = move !'bob !front_hall !kitchen [X2087, -6] in
let {[X2089, [X2090, X2091]]} = stash !'bob !cabinet !stolen_jewels [X2088, [X2075, [X2076, [container/cabinet, treasure/jewels]]]] in
let {[X2092, X2093]} = observe !'bob !cupboards !kitchen [X2089, X2078] in
let {X2094} = move !'bob !kitchen !front_hall [X2092, -1] in
let {[X2095, X2096]} = leave_observed !'bob !'alice !front_hall !living_room [X2094, [X2086, -7]] in
let {X2097} = move !'bob !living_room !dining_room [X2095, -2] in
let {X2098} = move !'bob !dining_room !kitchen [X2097, -5] in
let {[X2099, X2100]} = observe !'bob !cabinet !kitchen [X2098, X2090] in
let {[X2101, X2102]} = observe !'bob !cupboards !kitchen [X2099, X2093] in
let {[X2103, X2104]} = observe !'bob !cabinet !kitchen [X2101, X2100] in
let {X2105} = move !'alice !front_hall !upstairs_hall [X2096, -9] in
let {[X2106, [X2107, X2108]]} = search !'bob !cabinet !stolen_jewels [X2103, [X2104, X2091]] in
let {[X2109, [X2110, X2111]]} = stash !'bob !cupboards !stolen_jewels [X2106, [X2102, [X2108, [container/cupboards, treasure/jewels]]]] in
let {[X2112, X2113]} = observe !'bob !cabinet !kitchen [X2109, X2107] in
let {[X2114, [X2115, X2116]]} = search !'bob !cupboards !stolen_jewels [X2112, [X2110, X2111]] in
let {[X2117, X2118]} = observe !'bob !cupboards !kitchen [X2114, X2115] in
let {X2119} = move !'bob !kitchen !front_hall [X2117, -1] in
let {X2120} = move !'bob !front_hall !upstairs_hall [X2119, -9] in
let {[X2121, X2122]} = observe_location !'alice !'bob !upstairs_hall [X2105, X2120] in
let {[X2123, X2124]} = leave_observed !'alice !'bob !upstairs_hall !study [X2121, [X2122, -19]] in
let {X2125} = move !'bob !upstairs_hall !front_hall [X2124, -18] in
let {X2126} = move !'bob !front_hall !living_room [X2125, -7] in
let {X2127} = move !'alice !study !upstairs_hall [X2123, -22] in
let {X2128} = move !'alice !upstairs_hall !study [X2127, -19] in
let {X2129} = move !'bob !living_room !front_hall [X2126, -3] in
let {X2130} = move !'alice !study !upstairs_hall [X2128, -22] in
let {X2131} = move !'alice !upstairs_hall !study [X2130, -19] in
let {X2132} = move !'alice !study !upstairs_hall [X2131, -22] in
let {X2133} = move !'bob !front_hall !driveway [X2129, -8] in
let {[X2134, [X2135, X2136]]} = stash !'bob !mailbox !stolen_jewels [X2133, [X2041, [X2116, [container/mailbox, treasure/jewels]]]] in
let {[X2137, [X2138, X2139]]} = search !'bob !mailbox !stolen_jewels [X2134, [X2135, X2136]] in
let {[X2140, [X2141, X2142]]} = stash !'bob !mailbox !stolen_jewels [X2137, [X2138, [X2139, [container/mailbox, treasure/jewels]]]] in
let {[X2143, X2144]} = observe !'bob !mailbox !driveway [X2140, X2141] in
let {X2145} = move !'alice !upstairs_hall !bedroom [X2132, -17] in
let {[X2146, X2147]} = observe !'alice !bedsheets !bedroom [X2145, X2055] in
let {X2148} = move !'bob !driveway !path_by_the_shed [X2143, -12] in
let {X2149} = move !'bob !path_by_the_shed !shed [X2148, -15] in
let {X2150} = move !'bob !shed !path_by_the_shed [X2149, -16] in
let {X2151} = move !'alice !bedroom !upstairs_hall [X2146, -21] in
let {X2152} = move !'bob !path_by_the_shed !shed [X2150, -15] in
let {[X2153, X2154]} = observe !'bob !toolbox !shed [X2152, X1863] in
let {X2155} = move !'bob !shed !path_by_the_shed [X2153, -16] in
let {X2156} = move !'bob !path_by_the_shed !shed [X2155, -15] in
let {X2157} = move !'alice !upstairs_hall !front_hall [X2151, -18] in
let {[X2158, X2159]} = observe !'bob !toolbox !shed [X2156, X2154] in
let {[X2160, X2161]} = observe !'bob !toolbox !shed [X2158, X2159] in
let {[X2162, X2163]} = observe !'bob !toolbox !shed [X2160, X2161] in
let {[X2164, X2165]} = observe !'bob !toolbox !shed [X2162, X2163] in
let {X2166} = move !'alice !front_hall !kitchen [X2157, -6] in
let {[X2167, X2168]} = observe !'bob !toolbox !shed [X2164, X2165] in
let {[X2169, [X2170, X2171]]} = search !'bob !toolbox !golden_falcon [X2167, [X2168, X1861]] in
let {[X2172, [X2173, X2174]]} = stash !'bob !toolbox !golden_falcon [X2169, [X2170, [X2171, [container/toolbox, treasure/falcon]]]] in
let {[X2175, X2176]} = observe !'alice !cabinet !kitchen [X2166, X2113] in
let {[X2177, [X2178, X2179]]} = search !'bob !toolbox !golden_falcon [X2172, [X2173, X2174]] in
let {X2180} = move !'alice !kitchen !front_hall [X2175, -1] in
let {[X2181, [X2182, X2183]]} = stash !'bob !toolbox !golden_falcon [X2177, [X2178, [X2179, [container/toolbox, treasure/falcon]]]] in
let {[X2184, [X2185, X2186]]} = search !'bob !toolbox !golden_falcon [X2181, [X2182, X2183]] in
let {X2187} = move !'bob !shed !path_by_the_shed [X2184, -16] in
let {X2188} = move !'bob !path_by_the_shed !shed [X2187, -15] in
let {[X2189, X2190]} = observe !'bob !toolbox !shed [X2188, X2185] in
let {[X2191, X2192]} = observe !'bob !toolbox !shed [X2189, X2190] in
let {[X2193, X2194]} = observe !'bob !toolbox !shed [X2191, X2192] in
let {X2195} = move !'alice !front_hall !upstairs_hall [X2180, -9] in
let {[X2196, [X2197, X2198]]} = stash !'bob !toolbox !golden_falcon [X2193, [X2194, [X2186, [container/toolbox, treasure/falcon]]]] in
let {[X2199, X2200]} = observe !'bob !toolbox !shed [X2196, X2197] in
let {X2201} = move !'bob !shed !path_by_the_shed [X2199, -16] in
let {X2202} = move !'alice !upstairs_hall !front_hall [X2195, -18] in
let {X2203} = move !'bob !path_by_the_shed !shed [X2201, -15] in
let {[X2204, [X2205, X2206]]} = search !'bob !toolbox !golden_falcon [X2203, [X2200, X2198]] in
let {[X2207, X2208]} = observe !'bob !toolbox !shed [X2204, X2205] in
let {X2209} = move !'alice !front_hall !upstairs_hall [X2202, -9] in
let {X2210} = move !'bob !shed !path_by_the_shed [X2207, -16] in
let {X2211} = move !'bob !path_by_the_shed !driveway [X2210, -14] in
let {[X2212, [X2213, X2214]]} = stash !'bob !mailbox !golden_falcon [X2211, [X2144, [X2206, [container/mailbox, treasure/falcon]]]] in
let {[X2215, X2216]} = observe !'bob !mailbox !driveway [X2212, X2213] in
let {[X2217, X2218]} = observe !'bob !mailbox !driveway [X2215, X2216] in
let {X2219} = move !'bob !driveway !path_by_the_shed [X2217, -12] in
let {X2220} = move !'alice !upstairs_hall !front_hall [X2209, -18] in
let {X2221} = move !'alice !front_hall !driveway [X2220, -8] in
let {[X2222, X2223]} = observe !'alice !mailbox !driveway [X2221, X2218] in
let {[X2224, X2225]} = observe !'alice !mailbox !driveway [X2222, X2223] in
let {X2226} = move !'alice !driveway !path_by_the_shed [X2224, -12] in
let {[X2227, X2228]} = leave_observed !'alice !'bob !path_by_the_shed !driveway [X2226, [X2219, -14]] in
let {[X2229, [X2230, X2231]]} = search !'alice !mailbox !golden_falcon [X2227, [X2225, X2214]] in
let {[X2232, X2233]} = observe !'alice !mailbox !driveway [X2229, X2230] in
let {[X2234, [X2235, X2236]]} = search !'alice !mailbox !stolen_jewels [X2232, [X2233, X2142]] in
let {X2237} = move !'alice !driveway !front_hall [X2234, -10] in
let {X2238} = move !'bob !path_by_the_shed !shed [X2228, -15] in
let {[X2239, X2240]} = observe !'bob !toolbox !shed [X2238, X2208] in
let {X2241} = move !'bob !shed !path_by_the_shed [X2239, -16] in
let {X2242} = move !'alice !front_hall !driveway [X2237, -8] in
let {[X2243, X2244]} = observe !'alice !mailbox !driveway [X2242, X2235] in
let {[X2245, X2246]} = observe !'alice !mailbox !driveway [X2243, X2244] in
let {X2247} = move !'alice !driveway !path_by_the_shed [X2245, -12] in
let {[X2248, [X2249, [X2250, X2251]]]} = steal_with_revolver !'bob !'alice !path_by_the_shed !golden_falcon [X2241, [X2247, [X2085, X2231]]] in
let {[X2252, [X2253, X2254]]} = observe_with !'alice !'bob !golden_falcon !path_by_the_shed [X2249, [X2248, X2251]] in
let {[X2255, X2256]} = greet !'bob !'alice !path_by_the_shed [X2253, X2252] in
let {X2257} = move !'bob !path_by_the_shed !shed [X2255, -15] in
let {X2258} = move !'alice !path_by_the_shed !driveway [X2256, -14] in
let {[X2259, [X2260, X2261]]} = stash !'bob !toolbox !golden_falcon [X2257, [X2240, [X2254, [container/toolbox, treasure/falcon]]]] in
let {[X2262, [X2263, X2264]]} = stash !'alice !mailbox !stolen_jewels [X2258, [X2246, [X2236, [container/mailbox, treasure/jewels]]]] in
let {X2265} = move !'alice !driveway !front_hall [X2262, -10] in
let {X2266} = move !'bob !shed !path_by_the_shed [X2259, -16] in
let {X2267} = move !'bob !path_by_the_shed !shed [X2266, -15] in
let {[X2268, X2269]} = observe !'bob !toolbox !shed [X2267, X2260] in
let {[X2270, X2271]} = observe !'bob !toolbox !shed [X2268, X2269] in
let {X2272} = move !'bob !shed !path_by_the_shed [X2270, -16] in
let {X2273} = move !'bob !path_by_the_shed !driveway [X2272, -14] in
let {X2274} = move !'bob !driveway !garage [X2273, -11] in
let {X2275} = move !'bob !garage !driveway [X2274, -13] in
let {[X2276, X2277]} = observe !'bob !mailbox !driveway [X2275, X2263] in
let {X2278} = move !'alice !front_hall !upstairs_hall [X2265, -9] in
let {[X2279, X2280]} = observe !'bob !mailbox !driveway [X2276, X2277] in
let {X2281} = move !'alice !upstairs_hall !front_hall [X2278, -18] in
let {X2282} = move !'bob !driveway !garage [X2279, -11] in
let {X2283} = move !'bob !garage !driveway [X2282, -13] in
let {[X2284, [X2285, X2286]]} = search !'bob !mailbox !stolen_jewels [X2283, [X2280, X2264]] in
let {[X2287, [X2288, X2289]]} = stash !'bob !mailbox !stolen_jewels [X2284, [X2285, [X2286, [container/mailbox, treasure/jewels]]]] in
let {X2290} = move !'bob !driveway !path_by_the_shed [X2287, -12] in
let {X2291} = move !'bob !path_by_the_shed !shed [X2290, -15] in
let {[X2292, [X2293, X2294]]} = search !'bob !toolbox !golden_falcon [X2291, [X2271, X2261]] in
let {[X2295, X2296]} = observe !'bob !toolbox !shed [X2292, X2293] in
let {[X2297, X2298]} = observe !'bob !toolbox !shed [X2295, X2296] in
let {[X2299, [X2300, X2301]]} = stash !'bob !toolbox !golden_falcon [X2297, [X2298, [X2294, [container/toolbox, treasure/falcon]]]] in
let {[X2302, X2303]} = observe !'bob !toolbox !shed [X2299, X2300] in
let {[X2304, [X2305, X2306]]} = search !'bob !toolbox !golden_falcon [X2302, [X2303, X2301]] in
let {X2307} = move !'alice !front_hall !living_room [X2281, -7] in
let {X2308} = move !'bob !shed !path_by_the_shed [X2304, -16] in
let {X2309} = move !'bob !path_by_the_shed !driveway [X2308, -14] in
let {[X2310, [X2311, X2312]]} = stash !'bob !mailbox !golden_falcon [X2309, [X2288, [X2306, [container/mailbox, treasure/falcon]]]] in
let {[X2313, [X2314, X2315]]} = search !'bob !mailbox !stolen_jewels [X2310, [X2311, X2289]] in
let {[X2316, X2317]} = observe !'bob !mailbox !driveway [X2313, X2314] in
let {[X2318, [X2319, X2320]]} = search !'bob !mailbox !golden_falcon [X2316, [X2317, X2312]] in
let {[X2321, [X2322, X2323]]} = stash !'bob !mailbox !golden_falcon [X2318, [X2319, [X2320, [container/mailbox, treasure/falcon]]]] in
let {[X2324, [X2325, X2326]]} = search !'bob !mailbox !golden_falcon [X2321, [X2322, X2323]] in
let {[X2327, X2328]} = observe !'bob !mailbox !driveway [X2324, X2325] in
let {[X2329, X2330]} = observe !'bob !mailbox !driveway [X2327, X2328] in
let {[X2331, X2332]} = observe !'bob !mailbox !driveway [X2329, X2330] in
let {[X2333, X2334]} = observe !'bob !mailbox !driveway [X2331, X2332] in
let {[X2335, X2336]} = observe !'bob !mailbox !driveway [X2333, X2334] in
let {X2337} = move !'bob !driveway !front_hall [X2335, -10] in
let {X2338} = move !'alice !living_room !dining_room [X2307, -2] in
let {X2339} = move !'bob !front_hall !driveway [X2337, -8] in
let {X2340} = move !'bob !driveway !garage [X2339, -11] in
let {X2341} = move !'bob !garage !driveway [X2340, -13] in
let {[X2342, [X2343, X2344]]} = stash !'bob !mailbox !stolen_jewels [X2341, [X2336, [X2315, [container/mailbox, treasure/jewels]]]] in
let {[X2345, [X2346, X2347]]} = stash !'bob !mailbox !golden_falcon [X2342, [X2343, [X2326, [container/mailbox, treasure/falcon]]]] in
let {X2348} = move !'bob !driveway !path_by_the_shed [X2345, -12] in
let {X2349} = move !'alice !dining_room !kitchen [X2338, -5] in
let {[X2350, X2351]} = observe !'alice !cabinet !kitchen [X2349, X2176] in
let {[X2352, X2353]} = observe !'alice !cupboards !kitchen [X2350, X2118] in
let {[X2354, X2355]} = observe !'alice !cupboards !kitchen [X2352, X2353] in
let {X2356} = move !'alice !kitchen !front_hall [X2354, -1] in
let {X2357} = move !'bob !path_by_the_shed !driveway [X2348, -14] in
let {[X2358, [X2359, X2360]]} = search !'bob !mailbox !golden_falcon [X2357, [X2346, X2347]] in
let {[X2361, [X2362, X2363]]} = search !'bob !mailbox !stolen_jewels [X2358, [X2359, X2344]] in
let {[X2364, X2365]} = observe !'bob !mailbox !driveway [X2361, X2362] in
let {[X2366, X2367]} = observe !'bob !mailbox !driveway [X2364, X2365] in
let {X2368} = move !'bob !driveway !front_hall [X2366, -10] in
let {[X2369, [X2370, X2371]]} = observe_with !'alice !'bob !revolver !front_hall [X2356, [X2368, X2250]] in
let {X2372} = move !'bob !front_hall !upstairs_hall [X2370, -9] in
let {X2373} = move !'alice !front_hall !driveway [X2369, -8] in
let {X2374} = move !'bob !upstairs_hall !bathroom [X2372, -20] in
let {[X2375, X2376]} = observe !'bob !dead_body !bathroom [X2374, X1992] in
let {[X2377, X2378]} = observe_horror !'bob !dead_body !bathroom [X2375, [X2376, horrible/body]] in
let {[X2379, X2380]} = observe !'alice !mailbox !driveway [X2373, X2367] in
let {[X2381, X2382]} = observe_horror !'bob !dead_body !bathroom [X2377, [X2378, horrible/body]] in
let {X2383} = move !'alice !driveway !garage [X2379, -11] in
let {X2384} = move !'alice !garage !driveway [X2383, -13] in
let {[X2385, X2386]} = observe_horror !'bob !dead_body !bathroom [X2381, [X2382, horrible/body]] in
let {[X2387, X2388]} = observe !'bob !dead_body !bathroom [X2385, X2386] in
let {X2389} = move !'alice !driveway !path_by_the_shed [X2384, -12] in
let {[X2390, X2391]} = observe !'bob !dead_body !bathroom [X2387, X2388] in
let {[X2392, X2393]} = observe_horror !'bob !dead_body !bathroom [X2390, [X2391, horrible/body]] in
let {[X2394, X2395]} = observe !'bob !dead_body !bathroom [X2392, X2393] in
let {[X2396, X2397]} = observe !'bob !dead_body !bathroom [X2394, X2395] in
let {X2398} = move !'alice !path_by_the_shed !shed [X2389, -15] in
let {[X2399, X2400]} = observe_horror !'bob !dead_body !bathroom [X2396, [X2397, horrible/body]] in
let {X2401} = move !'alice !shed !path_by_the_shed [X2398, -16] in
let {X2402} = move !'bob !bathroom !upstairs_hall [X2399, -23] in
let {X2403} = move !'bob !upstairs_hall !bathroom [X2402, -20] in
let {[X2404, X2405]} = observe_horror !'bob !dead_body !bathroom [X2403, [X2400, horrible/body]] in
let {X2406} = move !'alice !path_by_the_shed !driveway [X2401, -14] in
let {[X2407, X2408]} = observe_horror !'bob !dead_body !bathroom [X2404, [X2405, horrible/body]] in
let {X2409} = move !'bob !bathroom !upstairs_hall [X2407, -23] in
let {[X2410, X2411]} = observe !'alice !mailbox !driveway [X2406, X2380] in
let {X2412} = move !'alice !driveway !path_by_the_shed [X2410, -12] in
let {X2413} = move !'alice !path_by_the_shed !shed [X2412, -15] in
let {X2414} = move !'bob !upstairs_hall !bathroom [X2409, -20] in
let {[X2415, X2416]} = observe_horror !'bob !dead_body !bathroom [X2414, [X2408, horrible/body]] in
let {X2417} = move !'bob !bathroom !upstairs_hall [X2415, -23] in
let {[X2418, X2419]} = observe !'alice !toolbox !shed [X2413, X2305] in
let {[X2420, X2421]} = observe !'alice !toolbox !shed [X2418, X2419] in
let {X2422} = move !'bob !upstairs_hall !study [X2417, -19] in
let {X2423} = move !'alice !shed !path_by_the_shed [X2420, -16] in
let {X2424} = move !'bob !study !upstairs_hall [X2422, -22] in
let {X2425} = move !'alice !path_by_the_shed !driveway [X2423, -14] in
let {[X2426, X2427]} = observe !'alice !mailbox !driveway [X2425, X2411] in
let {X2428} = move !'alice !driveway !garage [X2426, -11] in
let {X2429} = move !'alice !garage !driveway [X2428, -13] in
let {X2430} = move !'alice !driveway !path_by_the_shed [X2429, -12] in
let {X2431} = move !'alice !path_by_the_shed !shed [X2430, -15] in
let {[X2432, X2433]} = observe !'alice !toolbox !shed [X2431, X2421] in
let {X2434} = move !'alice !shed !path_by_the_shed [X2432, -16] in
let {X2435} = move !'bob !upstairs_hall !bathroom [X2424, -20] in
let {[X2436, X2437]} = observe !'bob !dead_body !bathroom [X2435, X2416] in
let {[X2438, X2439]} = observe !'bob !dead_body !bathroom [X2436, X2437] in
let {[X2440, X2441]} = observe !'bob !dead_body !bathroom [X2438, X2439] in
let {X2442} = move !'alice !path_by_the_shed !shed [X2434, -15] in
let {[X2443, X2444]} = observe_horror !'bob !dead_body !bathroom [X2440, [X2441, horrible/body]] in
let {[X2445, X2446]} = observe !'alice !toolbox !shed [X2442, X2433] in
let {[X2447, X2448]} = observe_horror !'bob !dead_body !bathroom [X2443, [X2444, horrible/body]] in
let {X2449} = move !'bob !bathroom !upstairs_hall [X2447, -23] in
let {X2450} = move !'bob !upstairs_hall !bathroom [X2449, -20] in
let {X2451} = move !'alice !shed !path_by_the_shed [X2445, -16] in
let {X2452} = move !'bob !bathroom !upstairs_hall [X2450, -23] in
let {X2453} = move !'bob !upstairs_hall !bathroom [X2452, -20] in
let {[X2454, X2455]} = observe_horror !'bob !dead_body !bathroom [X2453, [X2448, horrible/body]] in
let {X2456} = move !'bob !bathroom !upstairs_hall [X2454, -23] in
let {X2457} = move !'bob !upstairs_hall !bathroom [X2456, -20] in
let {[X2458, X2459]} = observe_horror !'bob !dead_body !bathroom [X2457, [X2455, horrible/body]] in
let {[X2460, X2461]} = observe_horror !'bob !dead_body !bathroom [X2458, [X2459, horrible/body]] in
let {[X2462, X2463]} = observe_horror !'bob !dead_body !bathroom [X2460, [X2461, horrible/body]] in
let {[X2464, X2465]} = observe_horror !'bob !dead_body !bathroom [X2462, [X2463, horrible/body]] in
let {[X2466, X2467]} = observe_horror !'bob !dead_body !bathroom [X2464, [X2465, horrible/body]] in
let {[X2468, X2469]} = observe_horror !'bob !dead_body !bathroom [X2466, [X2467, horrible/body]] in
let {[X2470, X2471]} = observe_horror !'bob !dead_body !bathroom [X2468, [X2469, horrible/body]] in
let {X2472} = move !'alice !path_by_the_shed !shed [X2451, -15] in
let {[X2473, X2474]} = observe_horror !'bob !dead_body !bathroom [X2470, [X2471, horrible/body]] in
let {[X2475, X2476]} = observe_horror !'bob !dead_body !bathroom [X2473, [X2474, horrible/body]] in
let {[X2477, X2478]} = observe_horror !'bob !dead_body !bathroom [X2475, [X2476, horrible/body]] in
let {[X2479, X2480]} = observe !'alice !toolbox !shed [X2472, X2446] in
let {[X2481, X2482]} = observe !'bob !dead_body !bathroom [X2477, X2478] in
let {[X2483, X2484]} = observe_horror !'bob !dead_body !bathroom [X2481, [X2482, horrible/body]] in
let {X2485} = move !'bob !bathroom !upstairs_hall [X2483, -23] in
let {[X2486, X2487]} = observe !'alice !toolbox !shed [X2479, X2480] in
let {[X2488, X2489]} = observe !'alice !toolbox !shed [X2486, X2487] in
let {[X2490, X2491]} = observe !'alice !toolbox !shed [X2488, X2489] in
let {X2492} = move !'bob !upstairs_hall !bathroom [X2485, -20] in
let {[X2493, X2494]} = observe_horror !'bob !dead_body !bathroom [X2492, [X2484, horrible/body]] in
let {[X2495, X2496]} = observe !'bob !dead_body !bathroom [X2493, X2494] in
let {[X2497, X2498]} = observe !'alice !toolbox !shed [X2490, X2491] in
let {[X2499, X2500]} = observe_horror !'bob !dead_body !bathroom [X2495, [X2496, horrible/body]] in
let {[X2501, X2502]} = observe !'bob !dead_body !bathroom [X2499, X2500] in
let {[X2503, X2504]} = observe_horror !'bob !dead_body !bathroom [X2501, [X2502, horrible/body]] in
let {[X2505, X2506]} = observe_horror !'bob !dead_body !bathroom [X2503, [X2504, horrible/body]] in
let {[X2507, X2508]} = observe !'bob !dead_body !bathroom [X2505, X2506] in
let {[X2509, X2510]} = observe !'bob !dead_body !bathroom [X2507, X2508] in
let {[X2511, X2512]} = observe !'alice !toolbox !shed [X2497, X2498] in
let {[X2513, X2514]} = observe_horror !'bob !dead_body !bathroom [X2509, [X2510, horrible/body]] in
let {[X2515, X2516]} = observe_horror !'bob !dead_body !bathroom [X2513, [X2514, horrible/body]] in
let {[X2517, X2518]} = observe !'bob !dead_body !bathroom [X2515, X2516] in
let {[X2519, X2520]} = observe !'alice !toolbox !shed [X2511, X2512] in
let {X2521} = move !'alice !shed !path_by_the_shed [X2519, -16] in
let {[X2522, X2523]} = observe !'bob !dead_body !bathroom [X2517, X2518] in
let {[X2524, X2525]} = observe_horror !'bob !dead_body !bathroom [X2522, [X2523, horrible/body]] in
let {[X2526, X2527]} = observe_horror !'bob !dead_body !bathroom [X2524, [X2525, horrible/body]] in
let {[X2528, X2529]} = observe_horror !'bob !dead_body !bathroom [X2526, [X2527, horrible/body]] in
let {[X2530, X2531]} = observe_horror !'bob !dead_body !bathroom [X2528, [X2529, horrible/body]] in
let {[X2532, X2533]} = observe !'bob !dead_body !bathroom [X2530, X2531] in
let {[X2534, X2535]} = observe !'bob !dead_body !bathroom [X2532, X2533] in
let {X2536} = move !'bob !bathroom !upstairs_hall [X2534, -23] in
let {X2537} = move !'bob !upstairs_hall !study [X2536, -19] in
let {X2538} = move !'bob !study !upstairs_hall [X2537, -22] in
let {X2539} = move !'alice !path_by_the_shed !shed [X2521, -15] in
let {[X2540, X2541]} = observe !'alice !toolbox !shed [X2539, X2520] in
let {[X2542, X2543]} = observe !'alice !toolbox !shed [X2540, X2541] in
let {X2544} = move !'alice !shed !path_by_the_shed [X2542, -16] in
let {X2545} = move !'bob !upstairs_hall !bathroom [X2538, -20] in
let {[X2546, X2547]} = observe_horror !'bob !dead_body !bathroom [X2545, [X2535, horrible/body]] in
let {[X2548, X2549]} = observe_horror !'bob !dead_body !bathroom [X2546, [X2547, horrible/body]] in
let {X2550} = move !'bob !bathroom !upstairs_hall [X2548, -23] in
let {X2551} = move !'bob !upstairs_hall !study [X2550, -19] in
let {X2552} = move !'bob !study !upstairs_hall [X2551, -22] in
let {X2553} = move !'bob !upstairs_hall !bathroom [X2552, -20] in
let {[X2554, X2555]} = observe !'bob !dead_body !bathroom [X2553, X2549] in
let {X2556} = move !'bob !bathroom !upstairs_hall [X2554, -23] in
let {X2557} = move !'alice !path_by_the_shed !shed [X2544, -15] in
let {X2558} = move !'alice !shed !path_by_the_shed [X2557, -16] in
let {X2559} = move !'bob !upstairs_hall !study [X2556, -19] in
let {X2560} = move !'bob !study !upstairs_hall [X2559, -22] in
let {X2561} = move !'bob !upstairs_hall !study [X2560, -19] in
let {X2562} = move !'alice !path_by_the_shed !shed [X2558, -15] in
let {[X2563, X2564]} = observe !'alice !toolbox !shed [X2562, X2543] in
let {[X2565, X2566]} = observe !'alice !toolbox !shed [X2563, X2564] in
let {[X2567, X2568]} = observe !'alice !toolbox !shed [X2565, X2566] in
let {X2569} = move !'bob !study !upstairs_hall [X2561, -22] in
let {X2570} = move !'bob !upstairs_hall !bathroom [X2569, -20] in
let {X2571} = move !'bob !bathroom !upstairs_hall [X2570, -23] in
let {[X2572, X2573]} = observe !'alice !toolbox !shed [X2567, X2568] in
let {[X2574, X2575]} = observe !'alice !toolbox !shed [X2572, X2573] in
let {[X2576, X2577]} = observe !'alice !toolbox !shed [X2574, X2575] in
let {[X2578, X2579]} = observe !'alice !toolbox !shed [X2576, X2577] in
let {[X2580, X2581]} = observe !'alice !toolbox !shed [X2578, X2579] in
let {[X2582, X2583]} = observe !'alice !toolbox !shed [X2580, X2581] in
let {[X2584, X2585]} = observe !'alice !toolbox !shed [X2582, X2583] in
let {[X2586, X2587]} = observe !'alice !toolbox !shed [X2584, X2585] in
let {[X2588, X2589]} = observe !'alice !toolbox !shed [X2586, X2587] in
let {X2590} = move !'bob !upstairs_hall !study [X2571, -19] in
let {X2591} = move !'alice !shed !path_by_the_shed [X2588, -16] in
let {X2592} = move !'alice !path_by_the_shed !shed [X2591, -15] in
let {X2593} = move !'bob !study !upstairs_hall [X2590, -22] in
let {X2594} = move !'alice !shed !path_by_the_shed [X2592, -16] in
let {X2595} = move !'alice !path_by_the_shed !driveway [X2594, -14] in
let {[X2596, X2597]} = observe !'alice !mailbox !driveway [X2595, X2427] in
let {[X2598, X2599]} = observe !'alice !mailbox !driveway [X2596, X2597] in
let {[X2600, X2601]} = observe !'alice !mailbox !driveway [X2598, X2599] in
let {[X2602, X2603]} = observe !'alice !mailbox !driveway [X2600, X2601] in
let {X2604} = move !'alice !driveway !front_hall [X2602, -10] in
let {X2605} = move !'bob !upstairs_hall !study [X2593, -19] in
let {X2606} = move !'alice !front_hall !upstairs_hall [X2604, -9] in
let {X2607} = move !'bob !study !upstairs_hall [X2605, -22] in
let {[X2608, X2609]} = greet !'alice !'bob !upstairs_hall [X2606, X2607] in
let {X2610} = move !'bob !upstairs_hall !bathroom [X2609, -20] in
let {X2611} = move !'bob !bathroom !upstairs_hall [X2610, -23] in
let {[X2612, X2613]} = leave_observed !'alice !'bob !upstairs_hall !bathroom [X2608, [X2611, -20]] in
let {[X2614, X2615]} = observe_horror !'alice !dead_body !bathroom [X2612, [X2555, horrible/body]] in
let {[X2616, X2617]} = observe !'alice !dead_body !bathroom [X2614, X2615] in
let {[X2618, X2619]} = observe_horror !'alice !dead_body !bathroom [X2616, [X2617, horrible/body]] in
let {X2620} = move !'bob !upstairs_hall !bathroom [X2613, -20] in
let {X2621} = move !'bob !bathroom !upstairs_hall [X2620, -23] in
let {[X2622, X2623]} = observe !'alice !dead_body !bathroom [X2618, X2619] in
let {[X2624, X2625]} = observe !'alice !dead_body !bathroom [X2622, X2623] in
let {[X2626, X2627]} = observe_horror !'alice !dead_body !bathroom [X2624, [X2625, horrible/body]] in
let {X2628} = move !'alice !bathroom !upstairs_hall [X2626, -23] in
let {[X2629, X2630]} = observe_location !'bob !'alice !upstairs_hall [X2621, X2628] in
let {[X2631, X2632]} = observe_location !'alice !'bob !upstairs_hall [X2630, X2629] in
let {[X2633, [X2634, X2635]]} = observe_with !'alice !'bob !golden_falcon !upstairs_hall [X2631, [X2632, X2360]] in
let {[X2636, X2637]} = leave_observed !'bob !'alice !upstairs_hall !front_hall [X2634, [X2633, -18]] in
let {X2638} = move !'alice !upstairs_hall !study [X2637, -19] in
let {X2639} = move !'bob !front_hall !upstairs_hall [X2636, -9] in
let {X2640} = move !'bob !upstairs_hall !study [X2639, -19] in
let {[X2641, [X2642, X2643]]} = observe_with !'alice !'bob !stolen_jewels !study [X2638, [X2640, X2363]] in
let {[X2644, X2645]} = greet !'bob !'alice !study [X2642, X2641] in
let {X2646} = move !'bob !study !upstairs_hall [X2644, -22] in
let {X2647} = move !'alice !study !upstairs_hall [X2645, -22] in
let {[X2648, X2649]} = greet !'bob !'alice !upstairs_hall [X2646, X2647] in
let {X2650} = move !'bob !upstairs_hall !bathroom [X2648, -20] in
let {[X2651, X2652]} = observe_horror !'bob !dead_body !bathroom [X2650, [X2627, horrible/body]] in
let {[X2653, X2654]} = observe_horror !'bob !dead_body !bathroom [X2651, [X2652, horrible/body]] in
let {X2655} = move !'bob !bathroom !upstairs_hall [X2653, -23] in
let {[X2656, X2657]} = observe_location !'bob !'alice !upstairs_hall [X2655, X2649] in
let {[X2658, X2659]} = observe_location !'bob !'alice !upstairs_hall [X2656, X2657] in
let {X2660} = move !'alice !upstairs_hall !bedroom [X2659, -17] in
let {[X2661, X2662]} = observe !'alice !bedsheets !bedroom [X2660, X2147] in
let {[X2663, X2664]} = observe !'alice !bedsheets !bedroom [X2661, X2662] in
let {X2665} = move !'bob !upstairs_hall !bathroom [X2658, -20] in
let {[X2666, X2667]} = observe !'alice !bedsheets !bedroom [X2663, X2664] in
let {[X2668, X2669]} = observe_horror !'bob !dead_body !bathroom [X2665, [X2654, horrible/body]] in
let {X2670} = move !'bob !bathroom !upstairs_hall [X2668, -23] in
let {X2671} = move !'bob !upstairs_hall !study [X2670, -19] in
let {[X2672, X2673]} = observe !'alice !bedsheets !bedroom [X2666, X2667] in
let {[X2674, X2675]} = observe !'alice !bedsheets !bedroom [X2672, X2673] in
let {X2676} = move !'bob !study !upstairs_hall [X2671, -22] in
let {X2677} = move !'bob !upstairs_hall !bedroom [X2676, -17] in
let {[X2678, X2679]} = observe !'bob !bedsheets !bedroom [X2677, X2675] in
let {[X2680, X2681]} = leave_observed !'bob !'alice !bedroom !upstairs_hall [X2678, [X2674, -21]] in
let {X2682} = move !'bob !upstairs_hall !study [X2680, -19] in
let {[X2683, X2684]} = observe !'alice !bedsheets !bedroom [X2681, X2679] in
let {[X2685, X2686]} = observe !'alice !bedsheets !bedroom [X2683, X2684] in
let {X2687} = move !'alice !bedroom !upstairs_hall [X2685, -21] in
let {X2688} = move !'bob !study !upstairs_hall [X2682, -22] in
let {[X2689, X2690]} = greet !'bob !'alice !upstairs_hall [X2688, X2687] in
let {[X2691, [X2692, X2693]]} = observe_with !'alice !'bob !golden_falcon !upstairs_hall [X2690, [X2689, X2635]] in
let {[X2694, [X2695, X2696]]} = observe_with !'alice !'bob !stolen_jewels !upstairs_hall [X2691, [X2692, X2643]] in
let {[X2697, [X2698, X2699]]} = observe_with !'alice !'bob !golden_falcon !upstairs_hall [X2694, [X2695, X2693]] in
let {[X2700, X2701]} = leave_observed !'bob !'alice !upstairs_hall !front_hall [X2698, [X2697, -18]] in
let {X2702} = move !'alice !upstairs_hall !bedroom [X2701, -17] in
let {X2703} = move !'alice !bedroom !upstairs_hall [X2702, -21] in
let {X2704} = move !'alice !upstairs_hall !bathroom [X2703, -20] in
let {[X2705, X2706]} = observe_horror !'alice !dead_body !bathroom [X2704, [X2669, horrible/body]] in
let {[X2707, X2708]} = observe !'alice !dead_body !bathroom [X2705, X2706] in
let {[X2709, X2710]} = observe !'alice !dead_body !bathroom [X2707, X2708] in
let {X2711} = move !'alice !bathroom !upstairs_hall [X2709, -23] in
let {X2712} = move !'alice !upstairs_hall !bedroom [X2711, -17] in
let {X2713} = move !'bob !front_hall !driveway [X2700, -8] in
let {[X2714, [X2715, X2716]]} = stash !'bob !mailbox !stolen_jewels [X2713, [X2603, [X2696, [container/mailbox, treasure/jewels]]]] in
let {X2717} = move !'alice !bedroom !upstairs_hall [X2712, -21] in
let {[X2718, X2719]} = observe !'bob !mailbox !driveway [X2714, X2715] in
let {[X2720, X2721]} = observe !'bob !mailbox !driveway [X2718, X2719] in
let {[X2722, X2723]} = observe !'bob !mailbox !driveway [X2720, X2721] in
let {X2724} = move !'alice !upstairs_hall !study [X2717, -19] in
let {[X2725, [X2726, X2727]]} = search !'bob !mailbox !stolen_jewels [X2722, [X2723, X2716]] in
let {X2728} = move !'bob !driveway !front_hall [X2725, -10] in
let {X2729} = move !'alice !study !upstairs_hall [X2724, -22] in
let {X2730} = move !'bob !front_hall !living_room [X2728, -7] in
let {X2731} = move !'bob !living_room !front_hall [X2730, -3] in
let {X2732} = move !'alice !upstairs_hall !bedroom [X2729, -17] in
let {[X2733, X2734]} = observe !'alice !bedsheets !bedroom [X2732, X2686] in
let {X2735} = move !'alice !bedroom !upstairs_hall [X2733, -21] in
let {X2736} = move !'alice !upstairs_hall !bedroom [X2735, -17] in
let {X2737} = move !'alice !bedroom !upstairs_hall [X2736, -21] in
let {X2738} = move !'bob !front_hall !living_room [X2731, -7] in
let {X2739} = move !'bob !living_room !dining_room [X2738, -2] in
let {X2740} = move !'alice !upstairs_hall !bedroom [X2737, -17] in
let {[X2741, X2742]} = observe !'alice !bedsheets !bedroom [X2740, X2734] in
let {[X2743, X2744]} = observe !'alice !bedsheets !bedroom [X2741, X2742] in
let {X2745} = move !'bob !dining_room !front_hall [X2739, -4] in
let {[X2746, X2747]} = observe !'alice !bedsheets !bedroom [X2743, X2744] in
let {X2748} = move !'alice !bedroom !upstairs_hall [X2746, -21] in
let {X2749} = move !'bob !front_hall !living_room [X2745, -7] in
let {X2750} = move !'alice !upstairs_hall !front_hall [X2748, -18] in
let {X2751} = move !'bob !living_room !front_hall [X2749, -3] in
let {X2752} = move !'bob !front_hall !upstairs_hall [X2751, -9] in
let {X2753} = move !'alice !front_hall !kitchen [X2750, -6] in
let {X2754} = move !'alice !kitchen !dining_room [X2753, -] in
let {X2755} = move !'bob !upstairs_hall !bedroom [X2752, -17] in
let {X2756} = move !'bob !bedroom !upstairs_hall [X2755, -21] in
let {X2757} = move !'bob !upstairs_hall !front_hall [X2756, -18] in
let {X2758} = move !'alice !dining_room !kitchen [X2754, -5] in
let {X2759} = move !'alice !kitchen !front_hall [X2758, -1] in
let {[X2760, [X2761, X2762]]} = observe_with !'alice !'bob !golden_falcon !front_hall [X2759, [X2757, X2699]] in
let {[X2763, [X2764, X2765]]} = observe_with !'alice !'bob !revolver !front_hall [X2760, [X2761, X2371]] in
let {[X2766, X2767]} = greet !'alice !'bob !front_hall [X2763, X2764] in
let {[X2768, [X2769, X2770]]} = observe_with !'alice !'bob !revolver !front_hall [X2766, [X2767, X2765]] in
let {X2771} = move !'bob !front_hall !living_room [X2769, -7] in
let {X2772} = move !'bob !living_room !dining_room [X2771, -2] in
let {X2773} = move !'alice !front_hall !living_room [X2768, -7] in
let {X2774} = move !'bob !dining_room !kitchen [X2772, -5] in
let {X2775} = move !'bob !kitchen !dining_room [X2774, -] in
let {X2776} = move !'alice !living_room !dining_room [X2773, -2] in
let {X2777} = move !'bob !dining_room !front_hall [X2775, -4] in
let {X2778} = move !'bob !front_hall !upstairs_hall [X2777, -9] in
let {X2779} = move !'alice !dining_room !kitchen [X2776, -5] in
let {[X2780, X2781]} = observe !'alice !cabinet !kitchen [X2779, X2351] in
let {[X2782, X2783]} = observe !'alice !cupboards !kitchen [X2780, X2355] in
let {X2784} = move !'alice !kitchen !dining_room [X2782, -] in
let {X2785} = move !'alice !dining_room !kitchen [X2784, -5] in
let {[X2786, X2787]} = observe !'alice !cabinet !kitchen [X2785, X2781] in
let {X2788} = move !'alice !kitchen !front_hall [X2786, -1] in
let {X2789} = move !'alice !front_hall !upstairs_hall [X2788, -9] in
let {[X2790, X2791]} = greet !'alice !'bob !upstairs_hall [X2789, X2778] in
let {[X2792, X2793]} = leave_observed !'bob !'alice !upstairs_hall !bedroom [X2791, [X2790, -17]] in
let {X2794} = move !'bob !bedroom !upstairs_hall [X2792, -21] in
let {[X2795, X2796]} = leave_observed !'bob !'alice !upstairs_hall !bathroom [X2794, [X2793, -20]] in
let {[X2797, X2798]} = observe_horror !'bob !dead_body !bathroom [X2795, [X2710, horrible/body]] in
let {[X2799, X2800]} = observe_horror !'bob !dead_body !bathroom [X2797, [X2798, horrible/body]] in
let {[X2801, X2802]} = observe_horror !'bob !dead_body !bathroom [X2799, [X2800, horrible/body]] in
let {[X2803, X2804]} = observe !'bob !dead_body !bathroom [X2801, X2802] in
let {[X2805, X2806]} = observe_horror !'bob !dead_body !bathroom [X2803, [X2804, horrible/body]] in
let {[X2807, X2808]} = observe !'bob !dead_body !bathroom [X2805, X2806] in
let {[X2809, X2810]} = observe_horror !'bob !dead_body !bathroom [X2807, [X2808, horrible/body]] in
let {[X2811, X2812]} = observe_horror !'bob !dead_body !bathroom [X2809, [X2810, horrible/body]] in
let {[X2813, X2814]} = observe !'bob !dead_body !bathroom [X2811, X2812] in
let {[X2815, X2816]} = observe !'bob !dead_body !bathroom [X2813, X2814] in
let {[X2817, X2818]} = observe !'bob !dead_body !bathroom [X2815, X2816] in
let {[X2819, X2820]} = observe !'bob !dead_body !bathroom [X2817, X2818] in
let {X2821} = move !'bob !bathroom !upstairs_hall [X2819, -23] in
let {[X2822, X2823]} = leave_observed !'alice !'bob !upstairs_hall !bathroom [X2796, [X2821, -20]] in
let {X2824} = move !'alice !bathroom !upstairs_hall [X2822, -23] in
let {[X2825, X2826]} = observe_location !'alice !'bob !upstairs_hall [X2824, X2823] in
let {[X2827, X2828]} = greet !'alice !'bob !upstairs_hall [X2825, X2826] in
let {[X2829, X2830]} = leave_observed !'alice !'bob !upstairs_hall !bathroom [X2827, [X2828, -20]] in
let {[X2831, X2832]} = observe !'alice !dead_body !bathroom [X2829, X2820] in
let {X2833} = move !'bob !upstairs_hall !front_hall [X2830, -18] in
let {X2834} = move !'alice !bathroom !upstairs_hall [X2831, -23] in
let {X2835} = move !'alice !upstairs_hall !bedroom [X2834, -17] in
let {[X2836, X2837]} = observe !'alice !bedsheets !bedroom [X2835, X2747] in
let {X2838} = move !'bob !front_hall !living_room [X2833, -7] in
let {[X2839, X2840]} = observe !'alice !bedsheets !bedroom [X2836, X2837] in
let {[X2841, X2842]} = observe !'alice !bedsheets !bedroom [X2839, X2840] in
let {[X2843, X2844]} = observe !'alice !bedsheets !bedroom [X2841, X2842] in
let {[X2845, X2846]} = observe !'alice !bedsheets !bedroom [X2843, X2844] in
let {[X2847, X2848]} = observe !'alice !bedsheets !bedroom [X2845, X2846] in
let {[X2849, X2850]} = observe !'alice !bedsheets !bedroom [X2847, X2848] in
let {X2851} = move !'bob !living_room !front_hall [X2838, -3] in
let {[X2852, X2853]} = observe !'alice !bedsheets !bedroom [X2849, X2850] in
let {[X2854, X2855]} = observe !'alice !bedsheets !bedroom [X2852, X2853] in
let {[X2856, X2857]} = observe !'alice !bedsheets !bedroom [X2854, X2855] in
let {X2858} = move !'bob !front_hall !kitchen [X2851, -6] in
let {X2859} = move !'bob !kitchen !front_hall [X2858, -1] in
let {[X2860, X2861]} = observe !'alice !bedsheets !bedroom [X2856, X2857] in
let {[X2862, X2863]} = observe !'alice !bedsheets !bedroom [X2860, X2861] in
let {[X2864, X2865]} = observe !'alice !bedsheets !bedroom [X2862, X2863] in
let {X2866} = move !'bob !front_hall !upstairs_hall [X2859, -9] in
let {X2867} = move !'bob !upstairs_hall !bedroom [X2866, -17] in
let {[X2868, X2869]} = greet !'bob !'alice !bedroom [X2867, X2864] in
let {[X2870, X2871]} = leave_observed !'bob !'alice !bedroom !upstairs_hall [X2868, [X2869, -21]] in
let {[X2872, X2873]} = observe !'alice !bedsheets !bedroom [X2871, X2865] in
let {X2874} = move !'bob !upstairs_hall !bathroom [X2870, -20] in
let {[X2875, X2876]} = observe_horror !'bob !dead_body !bathroom [X2874, [X2832, horrible/body]] in
let {X2877} = move !'bob !bathroom !upstairs_hall [X2875, -23] in
let {X2878} = move !'alice !bedroom !upstairs_hall [X2872, -21] in
let {X2879} = move !'alice !upstairs_hall !bedroom [X2878, -17] in
let {[X2880, X2881]} = observe !'alice !bedsheets !bedroom [X2879, X2873] in
let {[X2882, X2883]} = observe !'alice !bedsheets !bedroom [X2880, X2881] in
let {X2884} = move !'bob !upstairs_hall !study [X2877, -19] in
let {X2885} = move !'bob !study !upstairs_hall [X2884, -22] in
let {X2886} = move !'alice !bedroom !upstairs_hall [X2882, -21] in
let {[X2887, X2888]} = greet !'bob !'alice !upstairs_hall [X2885, X2886] in
let {[X2889, [X2890, X2891]]} = observe_with !'alice !'bob !stolen_jewels !upstairs_hall [X2888, [X2887, X2727]] in
let {[X2892, [X2893, X2894]]} = observe_with !'alice !'bob !revolver !upstairs_hall [X2889, [X2890, X2770]] in
let {[X2895, X2896]} = greet !'alice !'bob !upstairs_hall [X2892, X2893] in
let {[X2897, X2898]} = observe_location !'alice !'bob !upstairs_hall [X2895, X2896] in
let {[X2899, X2900]} = greet !'bob !'alice !upstairs_hall [X2898, X2897] in
let {[X2901, [X2902, X2903]]} = observe_with !'alice !'bob !golden_falcon !upstairs_hall [X2900, [X2899, X2762]] in
let {[X2904, X2905]} = observe_location !'bob !'alice !upstairs_hall [X2902, X2901] in
let {[X2906, [X2907, X2908]]} = observe_with !'alice !'bob !golden_falcon !upstairs_hall [X2905, [X2904, X2903]] in
let {[X2909, X2910]} = observe_location !'bob !'alice !upstairs_hall [X2907, X2906] in
let {X2911} = move !'bob !upstairs_hall !bedroom [X2909, -17] in
let {X2912} = move !'bob !bedroom !upstairs_hall [X2911, -21] in
let {[X2913, X2914]} = leave_observed !'bob !'alice !upstairs_hall !front_hall [X2912, [X2910, -18]] in
let {X2915} = move !'bob !front_hall !driveway [X2913, -8] in
let {X2916} = move !'alice !upstairs_hall !study [X2914, -19] in
let {X2917} = move !'bob !driveway !path_by_the_shed [X2915, -12] in
let {X2918} = move !'bob !path_by_the_shed !shed [X2917, -15] in
let {[X2919, [X2920, X2921]]} = stash !'bob !toolbox !stolen_jewels [X2918, [X2589, [X2891, [container/toolbox, treasure/jewels]]]] in
let {[X2922, X2923]} = observe !'bob !toolbox !shed [X2919, X2920] in
let {X2924} = move !'alice !study !upstairs_hall [X2916, -22] in
let {[X2925, X2926]} = observe !'bob !toolbox !shed [X2922, X2923] in
let {[X2927, X2928]} = observe !'bob !toolbox !shed [X2925, X2926] in
let {[X2929, [X2930, X2931]]} = search !'bob !toolbox !stolen_jewels [X2927, [X2928, X2921]] in
let {[X2932, X2933]} = observe !'bob !toolbox !shed [X2929, X2930] in
let {X2934} = move !'bob !shed !path_by_the_shed [X2932, -16] in
let {X2935} = move !'bob !path_by_the_shed !driveway [X2934, -14] in
let {[X2936, X2937]} = observe !'bob !mailbox !driveway [X2935, X2726] in
let {[X2938, X2939]} = observe !'bob !mailbox !driveway [X2936, X2937] in
let {X2940} = move !'bob !driveway !front_hall [X2938, -10] in
let {X2941} = move !'alice !upstairs_hall !front_hall [X2924, -18] in
let {X2942} = move !'bob !front_hall !kitchen [X2940, -6] in
let {[X2943, [X2944, X2945]]} = stash !'bob !cabinet !stolen_jewels [X2942, [X2787, [X2931, [container/cabinet, treasure/jewels]]]] in
let {[X2946, [X2947, X2948]]} = stash !'bob !cupboards !golden_falcon [X2943, [X2783, [X2908, [container/cupboards, treasure/falcon]]]] in
let {[X2949, X2950]} = observe !'bob !cupboards !kitchen [X2946, X2947] in
let {X2951} = move !'alice !front_hall !kitchen [X2941, -6] in
let {[X2952, X2953]} = greet !'bob !'alice !kitchen [X2949, X2951] in
let {[X2954, X2955]} = observe !'bob !cabinet !kitchen [X2952, X2944] in
let {X2956} = move !'alice !kitchen !front_hall [X2953, -1] in
let {X2957} = move !'alice !front_hall !driveway [X2956, -8] in
let {[X2958, X2959]} = observe !'bob !cupboards !kitchen [X2954, X2950] in
let {[X2960, [X2961, X2962]]} = search !'bob !cabinet !stolen_jewels [X2958, [X2955, X2945]] in
let {[X2963, X2964]} = observe !'alice !mailbox !driveway [X2957, X2939] in
let {X2965} = move !'bob !kitchen !dining_room [X2960, -] in
let {X2966} = move !'bob !dining_room !front_hall [X2965, -4] in
let {X2967} = move !'alice !driveway !front_hall [X2963, -10] in
let {X2968} = move !'alice !front_hall !driveway [X2967, -8] in
let {X2969} = move !'alice !driveway !front_hall [X2968, -10] in
let {[X2970, X2971]} = observe_location !'bob !'alice !front_hall [X2966, X2969] in
let {[X2972, X2973]} = observe_location !'alice !'bob !front_hall [X2971, X2970] in
let {X2974} = move !'alice !front_hall !driveway [X2972, -8] in
let {[X2975, X2976]} = observe !'alice !mailbox !driveway [X2974, X2964] in
let {[X2977, X2978]} = observe !'alice !mailbox !driveway [X2975, X2976] in
let {X2979} = move !'bob !front_hall !kitchen [X2973, -6] in
let {X2980} = move !'bob !kitchen !front_hall [X2979, -1] in
let {X2981} = move !'bob !front_hall !kitchen [X2980, -6] in
let {[X2982, [X2983, X2984]]} = search !'bob !cupboards !golden_falcon [X2981, [X2959, X2948]] in
let {X2985} = move !'bob !kitchen !front_hall [X2982, -1] in
let {[X2986, X2987]} = observe !'alice !mailbox !driveway [X2977, X2978] in
let {X2988} = move !'bob !front_hall !living_room [X2985, -7] in
let {X2989} = move !'bob !living_room !dining_room [X2988, -2] in
let {X2990} = move !'bob !dining_room !front_hall [X2989, -4] in
let {[X2991, X2992]} = observe !'alice !mailbox !driveway [X2986, X2987] in
let {X2993} = move !'alice !driveway !garage [X2991, -11] in
let {X2994} = move !'alice !garage !driveway [X2993, -13] in
let {X2995} = move !'bob !front_hall !driveway [X2990, -8] in
let {[X2996, X2997]} = leave_observed !'alice !'bob !driveway !garage [X2994, [X2995, -11]] in
let {[X2998, X2999]} = observe !'bob !mailbox !driveway [X2997, X2992] in
let {[X3000, [X3001, X3002]]} = stash !'bob !mailbox !golden_falcon [X2998, [X2999, [X2984, [container/mailbox, treasure/falcon]]]] in
let {X3003} = move !'alice !garage !driveway [X2996, -13] in
let {[X3004, X3005]} = greet !'bob !'alice !driveway [X3000, X3003] in
let {[X3006, X3007]} = leave_observed !'bob !'alice !driveway !front_hall [X3004, [X3005, -10]] in
let {[X3008, X3009]} = observe !'alice !mailbox !driveway [X3007, X3001] in
let {X3010} = move !'alice !driveway !garage [X3008, -11] in
let {X3011} = move !'bob !front_hall !upstairs_hall [X3006, -9] in
let {X3012} = move !'alice !garage !driveway [X3010, -13] in
let {[X3013, [X3014, X3015]]} = search !'alice !mailbox !golden_falcon [X3012, [X3009, X3002]] in
let {X3016} = move !'bob !upstairs_hall !bathroom [X3011, -20] in
let {[X3017, X3018]} = observe !'bob !dead_body !bathroom [X3016, X2876] in
let {X3019} = move !'alice !driveway !front_hall [X3013, -10] in
let {X3020} = move !'bob !bathroom !upstairs_hall [X3017, -23] in
let {X3021} = move !'alice !front_hall !driveway [X3019, -8] in
let {X3022} = move !'bob !upstairs_hall !bathroom [X3020, -20] in
let {[X3023, [X3024, X3025]]} = stash !'alice !mailbox !golden_falcon [X3021, [X3014, [X3015, [container/mailbox, treasure/falcon]]]] in
let {[X3026, X3027]} = observe_horror !'bob !dead_body !bathroom [X3022, [X3018, horrible/body]] in
let {[X3028, [X3029, X3030]]} = search !'alice !mailbox !golden_falcon [X3023, [X3024, X3025]] in
let {[X3031, X3032]} = observe_horror !'bob !dead_body !bathroom [X3026, [X3027, horrible/body]] in
let {X3033} = move !'alice !driveway !path_by_the_shed [X3028, -12] in
let {[X3034, X3035]} = observe_horror !'bob !dead_body !bathroom [X3031, [X3032, horrible/body]] in
let {X3036} = move !'bob !bathroom !upstairs_hall [X3034, -23] in
let {X3037} = move !'alice !path_by_the_shed !shed [X3033, -15] in
let {[X3038, [X3039, X3040]]} = stash !'alice !toolbox !golden_falcon [X3037, [X2933, [X3030, [container/toolbox, treasure/falcon]]]] in
let {[X3041, [X3042, X3043]]} = search !'alice !toolbox !golden_falcon [X3038, [X3039, X3040]] in
let {[X3044, X3045]} = observe !'alice !toolbox !shed [X3041, X3042] in
let {X3046} = move !'bob !upstairs_hall !front_hall [X3036, -18] in
let {[X3047, X3048]} = observe !'alice !toolbox !shed [X3044, X3045] in
let {[X3049, X3050]} = observe !'alice !toolbox !shed [X3047, X3048] in
let {[X3051, X3052]} = observe !'alice !toolbox !shed [X3049, X3050] in
let {X3053} = move !'bob !front_hall !upstairs_hall [X3046, -9] in
let {[X3054, X3055]} = observe !'alice !toolbox !shed [X3051, X3052] in
let {[X3056, X3057]} = observe !'alice !toolbox !shed [X3054, X3055] in
let {X3058} = move !'bob !upstairs_hall !study [X3053, -19] in
let {[X3059, [X3060, X3061]]} = stash !'alice !toolbox !golden_falcon [X3056, [X3057, [X3043, [container/toolbox, treasure/falcon]]]] in
let {[X3062, X3063]} = observe !'alice !toolbox !shed [X3059, X3060] in
let {X3064} = move !'bob !study !upstairs_hall [X3058, -22] in
let {[X3065, [X3066, X3067]]} = search !'alice !toolbox !golden_falcon [X3062, [X3063, X3061]] in
let {X3068} = move !'bob !upstairs_hall !bathroom [X3064, -20] in
let {[X3069, X3070]} = observe !'bob !dead_body !bathroom [X3068, X3035] in
let {[X3071, [X3072, X3073]]} = stash !'alice !toolbox !golden_falcon [X3065, [X3066, [X3067, [container/toolbox, treasure/falcon]]]] in
let {[X3074, X3075]} = observe_horror !'bob !dead_body !bathroom [X3069, [X3070, horrible/body]] in
let {[X3076, X3077]} = observe_horror !'bob !dead_body !bathroom [X3074, [X3075, horrible/body]] in
let {[X3078, [X3079, X3080]]} = search !'alice !toolbox !golden_falcon [X3071, [X3072, X3073]] in
let {[X3081, [X3082, X3083]]} = stash !'alice !toolbox !golden_falcon [X3078, [X3079, [X3080, [container/toolbox, treasure/falcon]]]] in
let {X3084} = move !'alice !shed !path_by_the_shed [X3081, -16] in
let {[X3085, X3086]} = observe !'bob !dead_body !bathroom [X3076, X3077] in
let {X3087} = move !'alice !path_by_the_shed !driveway [X3084, -14] in
let {[X3088, X3089]} = observe !'alice !mailbox !driveway [X3087, X3029] in
let {X3090} = move !'alice !driveway !garage [X3088, -11] in
let {[X3091, X3092]} = observe_horror !'bob !dead_body !bathroom [X3085, [X3086, horrible/body]] in
let {[X3093, X3094]} = observe_horror !'bob !dead_body !bathroom [X3091, [X3092, horrible/body]] in
let {[X3095, X3096]} = observe_horror !'bob !dead_body !bathroom [X3093, [X3094, horrible/body]] in
let {[X3097, X3098]} = observe !'bob !dead_body !bathroom [X3095, X3096] in
let {X3099} = move !'alice !garage !driveway [X3090, -13] in
let {[X3100, X3101]} = observe_horror !'bob !dead_body !bathroom [X3097, [X3098, horrible/body]] in
let {[X3102, X3103]} = observe_horror !'bob !dead_body !bathroom [X3100, [X3101, horrible/body]] in
let {X3104} = move !'alice !driveway !front_hall [X3099, -10] in
let {[X3105, X3106]} = observe_horror !'bob !dead_body !bathroom [X3102, [X3103, horrible/body]] in
let {[X3107, X3108]} = observe_horror !'bob !dead_body !bathroom [X3105, [X3106, horrible/body]] in
let {[X3109, X3110]} = observe_horror !'bob !dead_body !bathroom [X3107, [X3108, horrible/body]] in
let {[X3111, X3112]} = observe_horror !'bob !dead_body !bathroom [X3109, [X3110, horrible/body]] in
let {[X3113, X3114]} = observe_horror !'bob !dead_body !bathroom [X3111, [X3112, horrible/body]] in
let {X3115} = move !'bob !bathroom !upstairs_hall [X3113, -23] in
let {X3116} = move !'alice !front_hall !kitchen [X3104, -6] in
let {X3117} = move !'alice !kitchen !dining_room [X3116, -] in
let {X3118} = move !'alice !dining_room !front_hall [X3117, -4] in
let {X3119} = move !'bob !upstairs_hall !front_hall [X3115, -18] in
let {X3120} = move !'bob !front_hall !upstairs_hall [X3119, -9] in
let {X3121} = move !'alice !front_hall !driveway [X3118, -8] in
let {X3122} = move !'alice !driveway !path_by_the_shed [X3121, -12] in
let {X3123} = move !'alice !path_by_the_shed !shed [X3122, -15] in
let {[X3124, X3125]} = observe !'alice !toolbox !shed [X3123, X3082] in
let {X3126} = move !'bob !upstairs_hall !bedroom [X3120, -17] in
let {[X3127, X3128]} = observe !'alice !toolbox !shed [X3124, X3125] in
let {X3129} = move !'alice !shed !path_by_the_shed [X3127, -16] in
let {X3130} = move !'bob !bedroom !upstairs_hall [X3126, -21] in
let {X3131} = move !'alice !path_by_the_shed !shed [X3129, -15] in
let {[X3132, [X3133, X3134]]} = search !'alice !toolbox !golden_falcon [X3131, [X3128, X3083]] in
let {[X3135, [X3136, X3137]]} = stash !'alice !toolbox !golden_falcon [X3132, [X3133, [X3134, [container/toolbox, treasure/falcon]]]] in
let {[X3138, [X3139, X3140]]} = search !'alice !toolbox !golden_falcon [X3135, [X3136, X3137]] in
let {[X3141, X3142]} = observe !'alice !toolbox !shed [X3138, X3139] in
let {[X3143, [X3144, X3145]]} = stash !'alice !toolbox !golden_falcon [X3141, [X3142, [X3140, [container/toolbox, treasure/falcon]]]] in
let {X3146} = move !'bob !upstairs_hall !front_hall [X3130, -18] in
let {[X3147, X3148]} = observe !'alice !toolbox !shed [X3143, X3144] in
let {X3149} = move !'alice !shed !path_by_the_shed [X3147, -16] in
let {X3150} = move !'bob !front_hall !upstairs_hall [X3146, -9] in
let {X3151} = move !'bob !upstairs_hall !front_hall [X3150, -18] in
let {X3152} = move !'bob !front_hall !living_room [X3151, -7] in
let {X3153} = move !'alice !path_by_the_shed !shed [X3149, -15] in
let {X3154} = move !'bob !living_room !front_hall [X3152, -3] in
let {[X3155, X3156]} = observe !'alice !toolbox !shed [X3153, X3148] in
let {X3157} = move !'alice !shed !path_by_the_shed [X3155, -16] in
let {X3158} = move !'alice !path_by_the_shed !driveway [X3157, -14] in
let {X3159} = move !'alice !driveway !path_by_the_shed [X3158, -12] in
let {X3160} = move !'bob !front_hall !driveway [X3154, -8] in
let {X3161} = move !'bob !driveway !garage [X3160, -11] in
let {X3162} = move !'bob !garage !driveway [X3161, -13] in
let {X3163} = move !'bob !driveway !path_by_the_shed [X3162, -12] in
let {[X3164, X3165]} = greet !'alice !'bob !path_by_the_shed [X3159, X3163] in
let {[X3166, X3167]} = observe_location !'alice !'bob !path_by_the_shed [X3164, X3165] in
let {[X3168, X3169]} = greet !'bob !'alice !path_by_the_shed [X3167, X3166] in
let {[X3170, [X3171, X3172]]} = observe_with !'alice !'bob !revolver !path_by_the_shed [X3169, [X3168, X2894]] in
let {[X3173, X3174]} = observe_location !'alice !'bob !path_by_the_shed [X3170, X3171] in
let {[X3175, X3176]} = observe_location !'bob !'alice !path_by_the_shed [X3174, X3173] in
let {[X3177, X3178]} = leave_observed !'alice !'bob !path_by_the_shed !driveway [X3176, [X3175, -14]] in
let {X3179} = move !'bob !path_by_the_shed !shed [X3178, -15] in
let {[X3180, X3181]} = observe !'bob !toolbox !shed [X3179, X3156] in
let {X3182} = move !'alice !driveway !garage [X3177, -11] in
let {[X3183, X3184]} = observe !'bob !toolbox !shed [X3180, X3181] in
let {[X3185, [X3186, X3187]]} = stash !'bob !toolbox !stolen_jewels [X3183, [X3184, [X2962, [container/toolbox, treasure/jewels]]]] in
let {[X3188, X3189]} = observe !'bob !toolbox !shed [X3185, X3186] in
let {[X3190, [X3191, X3192]]} = search !'bob !toolbox !stolen_jewels [X3188, [X3189, X3187]] in
let {[X3193, X3194]} = observe !'bob !toolbox !shed [X3190, X3191] in
let {[X3195, X3196]} = observe !'bob !toolbox !shed [X3193, X3194] in
let {[X3197, [X3198, X3199]]} = stash !'bob !toolbox !stolen_jewels [X3195, [X3196, [X3192, [container/toolbox, treasure/jewels]]]] in
let {[X3200, X3201]} = observe !'bob !toolbox !shed [X3197, X3198] in
let {[X3202, [X3203, X3204]]} = search !'bob !toolbox !stolen_jewels [X3200, [X3201, X3199]] in
let {[X3205, [X3206, X3207]]} = search !'bob !toolbox !golden_falcon [X3202, [X3203, X3145]] in
let {[X3208, [X3209, X3210]]} = stash !'bob !toolbox !stolen_jewels [X3205, [X3206, [X3204, [container/toolbox, treasure/jewels]]]] in
let {[X3211, [X3212, X3213]]} = stash !'bob !toolbox !golden_falcon [X3208, [X3209, [X3207, [container/toolbox, treasure/falcon]]]] in
let {[X3214, X3215]} = observe !'bob !toolbox !shed [X3211, X3212] in
let {[X3216, X3217]} = observe !'bob !toolbox !shed [X3214, X3215] in
let {[X3218, [X3219, X3220]]} = search !'bob !toolbox !golden_falcon [X3216, [X3217, X3213]] in
let {[X3221, [X3222, X3223]]} = search !'bob !toolbox !stolen_jewels [X3218, [X3219, X3210]] in
let {[X3224, X3225]} = observe !'bob !toolbox !shed [X3221, X3222] in
let {[X3226, X3227]} = observe !'bob !toolbox !shed [X3224, X3225] in
let {X3228} = move !'bob !shed !path_by_the_shed [X3226, -16] in
let {X3229} = move !'bob !path_by_the_shed !driveway [X3228, -14] in
let {[X3230, X3231]} = observe !'bob !mailbox !driveway [X3229, X3089] in
let {X3232} = move !'alice !garage !driveway [X3182, -13] in
let {X3233} = move !'bob !driveway !path_by_the_shed [X3230, -12] in
let {X3234} = move !'bob !path_by_the_shed !driveway [X3233, -14] in
let {[X3235, X3236]} = leave_observed !'alice !'bob !driveway !garage [X3232, [X3234, -11]] in
let {X3237} = move !'bob !driveway !path_by_the_shed [X3236, -12] in
let {X3238} = move !'bob !path_by_the_shed !driveway [X3237, -14] in
let {X3239} = move !'alice !garage !driveway [X3235, -13] in
let {X3240} = move !'bob !driveway !front_hall [X3238, -10] in
let {X3241} = move !'bob !front_hall !driveway [X3240, -8] in
let {[X3242, X3243]} = observe !'alice !mailbox !driveway [X3239, X3231] in
let {[X3244, [X3245, X3246]]} = observe_with !'alice !'bob !stolen_jewels !driveway [X3242, [X3241, X3223]] in
let {[X3247, [X3248, X3249]]} = stash !'bob !mailbox !golden_falcon [X3245, [X3243, [X3220, [container/mailbox, treasure/falcon]]]] in
let {[X3250, [X3251, X3252]]} = search !'alice !mailbox !golden_falcon [X3244, [X3248, X3249]] in
let {X3253} = move !'bob !driveway !garage [X3247, -11] in
let {[X3254, [X3255, X3256]]} = drive_away !'bob !stolen_jewels !revolver [X3253, [X3246, X3172]] in
let {[X3257, [X3258, X3259]]} = stash !'alice !mailbox !golden_falcon [X3250, [X3251, [X3252, [container/mailbox, treasure/falcon]]]] in
let {X3260} = fin_droveaway !'alice !'bob !driveway [X3257, X3254] in [X2983, [X2961, [X3258, [X2883, [X3227, [X3256, [X3259, [X3255, [X3114, X3260]]]]]]]]]}
#A = \!X3261. \!X3262. inroom !kitchen
#B = \!X3263. \!X3264. inroom !kitchen
#C = \!X3265. \!X3266. inroom !driveway
#D = \!X3267. \!X3268. inroom !bedroom
#E = \!X3269. \!X3270. inroom !shed
#F = \!X3271. \!X3272. has !X3272
#G = \!X3273. \!X3274. inside !mailbox
#H = \!X3275. \!X3276. has !X3276
#I = \!X3277. \!X3278. inroom !bathroom
#J = \!X3279. \!X3280. droveaway !X3280
Iteration 3
Solution: \!'alice. \!'bob. \[X3281, [X3282, [X3283, [X3284, [X3285, [X3286, [X3287, [X3288, [X3289, [X3290, X3291]]]]]]]]]]. {
let {[X3292, X3293]} = observe !'alice !bedsheets !bedroom [X3281, X3286] in
let {[X3294, X3295]} = observe !'alice !bedsheets !bedroom [X3292, X3293] in
let {[X3296, X3297]} = observe !'alice !bedsheets !bedroom [X3294, X3295] in
let {[X3298, [X3299, X3300]]} = search !'alice !bedsheets !stolen_jewels [X3296, [X3297, X3290]] in
let {[X3301, X3302]} = observe !'alice !bedsheets !bedroom [X3298, X3299] in
let {X3303} = move !'bob !front_hall !upstairs_hall [X3282, -9] in
let {[X3304, X3305]} = observe !'alice !bedsheets !bedroom [X3301, X3302] in
let {X3306} = move !'bob !upstairs_hall !bedroom [X3303, -17] in
let {[X3307, X3308]} = observe_location !'alice !'bob !bedroom [X3304, X3306] in
let {X3309} = move !'alice !bedroom !upstairs_hall [X3307, -21] in
let {[X3310, X3311]} = observe !'bob !bedsheets !bedroom [X3308, X3305] in
let {X3312} = move !'bob !bedroom !upstairs_hall [X3310, -21] in
let {[X3313, X3314]} = greet !'bob !'alice !upstairs_hall [X3312, X3309] in
let {[X3315, X3316]} = leave_observed !'bob !'alice !upstairs_hall !study [X3313, [X3314, -19]] in
let {X3317} = move !'alice !upstairs_hall !bedroom [X3316, -17] in
let {X3318} = move !'bob !study !upstairs_hall [X3315, -22] in
let {X3319} = move !'alice !bedroom !upstairs_hall [X3317, -21] in
let {[X3320, [X3321, X3322]]} = observe_with !'bob !'alice !stolen_jewels !upstairs_hall [X3318, [X3319, X3300]] in
let {X3323} = move !'bob !upstairs_hall !study [X3320, -19] in
let {X3324} = move !'alice !upstairs_hall !bathroom [X3321, -20] in
let {X3325} = move !'alice !bathroom !upstairs_hall [X3324, -23] in
let {X3326} = move !'bob !study !upstairs_hall [X3323, -22] in
let {[X3327, X3328]} = leave_observed !'alice !'bob !upstairs_hall !bedroom [X3325, [X3326, -17]] in
let {X3329} = move !'bob !upstairs_hall !front_hall [X3328, -18] in
let {X3330} = move !'bob !front_hall !driveway [X3329, -8] in
let {X3331} = move !'alice !bedroom !upstairs_hall [X3327, -21] in
let {[X3332, X3333]} = observe !'bob !mailbox !driveway [X3330, X3285] in
let {X3334} = move !'alice !upstairs_hall !study [X3331, -19] in
let {X3335} = move !'alice !study !upstairs_hall [X3334, -22] in
let {[X3336, X3337]} = observe !'bob !mailbox !driveway [X3332, X3333] in
let {X3338} = move !'bob !driveway !front_hall [X3336, -10] in
let {X3339} = move !'bob !front_hall !driveway [X3338, -8] in
let {[X3340, X3341]} = observe !'bob !mailbox !driveway [X3339, X3337] in
let {X3342} = move !'alice !upstairs_hall !bathroom [X3335, -20] in
let {X3343} = move !'alice !bathroom !upstairs_hall [X3342, -23] in
let {X3344} = move !'alice !upstairs_hall !study [X3343, -19] in
let {X3345} = move !'alice !study !upstairs_hall [X3344, -22] in
let {X3346} = move !'bob !driveway !garage [X3340, -11] in
let {X3347} = move !'alice !upstairs_hall !study [X3345, -19] in
let {X3348} = move !'alice !study !upstairs_hall [X3347, -22] in
let {X3349} = move !'bob !garage !driveway [X3346, -13] in
let {[X3350, X3351]} = observe !'bob !mailbox !driveway [X3349, X3341] in
let {[X3352, X3353]} = observe !'bob !mailbox !driveway [X3350, X3351] in
let {[X3354, X3355]} = observe !'bob !mailbox !driveway [X3352, X3353] in
let {[X3356, X3357]} = observe !'bob !mailbox !driveway [X3354, X3355] in
let {X3358} = move !'alice !upstairs_hall !study [X3348, -19] in
let {[X3359, X3360]} = observe !'bob !mailbox !driveway [X3356, X3357] in
let {X3361} = move !'alice !study !upstairs_hall [X3358, -22] in
let {[X3362, X3363]} = observe !'bob !mailbox !driveway [X3359, X3360] in
let {X3364} = move !'bob !driveway !garage [X3362, -11] in
let {X3365} = move !'bob !garage !driveway [X3364, -13] in
let {[X3366, X3367]} = observe !'bob !mailbox !driveway [X3365, X3363] in
let {X3368} = move !'alice !upstairs_hall !bedroom [X3361, -17] in
let {[X3369, X3370]} = observe !'alice !bedsheets !bedroom [X3368, X3311] in
let {[X3371, X3372]} = observe !'bob !mailbox !driveway [X3366, X3367] in
let {X3373} = move !'bob !driveway !path_by_the_shed [X3371, -12] in
let {[X3374, X3375]} = observe !'alice !bedsheets !bedroom [X3369, X3370] in
let {[X3376, X3377]} = observe !'alice !bedsheets !bedroom [X3374, X3375] in
let {[X3378, X3379]} = observe !'alice !bedsheets !bedroom [X3376, X3377] in
let {X3380} = move !'alice !bedroom !upstairs_hall [X3378, -21] in
let {X3381} = move !'bob !path_by_the_shed !driveway [X3373, -14] in
let {[X3382, X3383]} = observe !'bob !mailbox !driveway [X3381, X3372] in
let {[X3384, X3385]} = observe !'bob !mailbox !driveway [X3382, X3383] in
let {[X3386, X3387]} = observe !'bob !mailbox !driveway [X3384, X3385] in
let {[X3388, X3389]} = observe !'bob !mailbox !driveway [X3386, X3387] in
let {[X3390, X3391]} = observe !'bob !mailbox !driveway [X3388, X3389] in
let {X3392} = move !'bob !driveway !front_hall [X3390, -10] in
let {X3393} = move !'bob !front_hall !kitchen [X3392, -6] in
let {[X3394, [X3395, X3396]]} = search !'bob !cabinet !revolver [X3393, [X3284, X3288]] in
let {X3397} = move !'bob !kitchen !front_hall [X3394, -1] in
let {X3398} = move !'bob !front_hall !upstairs_hall [X3397, -9] in
let {[X3399, X3400]} = greet !'alice !'bob !upstairs_hall [X3380, X3398] in
let {[X3401, [X3402, [X3403, X3404]]]} = steal_with_revolver !'bob !'alice !upstairs_hall !stolen_jewels [X3400, [X3399, [X3396, X3322]]] in
let {[X3405, [X3406, X3407]]} = observe_with !'alice !'bob !stolen_jewels !upstairs_hall [X3402, [X3401, X3404]] in
let {[X3408, X3409]} = greet !'bob !'alice !upstairs_hall [X3406, X3405] in
let {[X3410, X3411]} = greet !'bob !'alice !upstairs_hall [X3408, X3409] in
let {[X3412, X3413]} = leave_observed !'bob !'alice !upstairs_hall !front_hall [X3410, [X3411, -18]] in
let {X3414} = move !'bob !front_hall !upstairs_hall [X3412, -9] in
let {[X3415, [X3416, X3417]]} = observe_with !'alice !'bob !revolver !upstairs_hall [X3413, [X3414, X3403]] in
let {[X3418, [X3419, X3420]]} = observe_with !'alice !'bob !stolen_jewels !upstairs_hall [X3415, [X3416, X3407]] in
let {[X3421, [X3422, X3423]]} = observe_with !'alice !'bob !stolen_jewels !upstairs_hall [X3418, [X3419, X3420]] in
let {[X3424, X3425]} = greet !'bob !'alice !upstairs_hall [X3422, X3421] in
let {[X3426, [X3427, X3428]]} = observe_with !'alice !'bob !stolen_jewels !upstairs_hall [X3425, [X3424, X3423]] in
let {X3429} = move !'bob !upstairs_hall !bathroom [X3427, -20] in
let {[X3430, X3431]} = observe_horror !'bob !dead_body !bathroom [X3429, [X3291, horrible/body]] in
let {[X3432, X3433]} = observe_horror !'bob !dead_body !bathroom [X3430, [X3431, horrible/body]] in
let {[X3434, X3435]} = observe_horror !'bob !dead_body !bathroom [X3432, [X3433, horrible/body]] in
let {[X3436, X3437]} = observe_horror !'bob !dead_body !bathroom [X3434, [X3435, horrible/body]] in
let {[X3438, X3439]} = observe_horror !'bob !dead_body !bathroom [X3436, [X3437, horrible/body]] in
let {X3440} = move !'bob !bathroom !upstairs_hall [X3438, -23] in
let {[X3441, X3442]} = observe_location !'alice !'bob !upstairs_hall [X3426, X3440] in
let {[X3443, X3444]} = leave_observed !'bob !'alice !upstairs_hall !study [X3442, [X3441, -19]] in
let {X3445} = move !'alice !upstairs_hall !bathroom [X3444, -20] in
let {[X3446, X3447]} = observe !'alice !dead_body !bathroom [X3445, X3439] in
let {[X3448, X3449]} = observe !'alice !dead_body !bathroom [X3446, X3447] in
let {[X3450, X3451]} = observe !'alice !dead_body !bathroom [X3448, X3449] in
let {[X3452, X3453]} = observe !'alice !dead_body !bathroom [X3450, X3451] in
let {[X3454, X3455]} = observe_horror !'alice !dead_body !bathroom [X3452, [X3453, horrible/body]] in
let {[X3456, X3457]} = observe !'alice !dead_body !bathroom [X3454, X3455] in
let {[X3458, X3459]} = observe_horror !'alice !dead_body !bathroom [X3456, [X3457, horrible/body]] in
let {[X3460, X3461]} = observe_horror !'alice !dead_body !bathroom [X3458, [X3459, horrible/body]] in
let {[X3462, X3463]} = observe !'alice !dead_body !bathroom [X3460, X3461] in
let {X3464} = move !'alice !bathroom !upstairs_hall [X3462, -23] in
let {X3465} = move !'alice !upstairs_hall !bathroom [X3464, -20] in
let {[X3466, X3467]} = observe_horror !'alice !dead_body !bathroom [X3465, [X3463, horrible/body]] in
let {[X3468, X3469]} = observe_horror !'alice !dead_body !bathroom [X3466, [X3467, horrible/body]] in
let {[X3470, X3471]} = observe_horror !'alice !dead_body !bathroom [X3468, [X3469, horrible/body]] in
let {[X3472, X3473]} = observe !'alice !dead_body !bathroom [X3470, X3471] in
let {[X3474, X3475]} = observe !'alice !dead_body !bathroom [X3472, X3473] in
let {X3476} = move !'bob !study !upstairs_hall [X3443, -22] in
let {[X3477, X3478]} = observe_horror !'alice !dead_body !bathroom [X3474, [X3475, horrible/body]] in
let {[X3479, X3480]} = observe !'alice !dead_body !bathroom [X3477, X3478] in
let {[X3481, X3482]} = observe !'alice !dead_body !bathroom [X3479, X3480] in
let {[X3483, X3484]} = observe_horror !'alice !dead_body !bathroom [X3481, [X3482, horrible/body]] in
let {[X3485, X3486]} = observe_horror !'alice !dead_body !bathroom [X3483, [X3484, horrible/body]] in
let {[X3487, X3488]} = observe !'alice !dead_body !bathroom [X3485, X3486] in
let {X3489} = move !'alice !bathroom !upstairs_hall [X3487, -23] in
let {[X3490, X3491]} = greet !'alice !'bob !upstairs_hall [X3489, X3476] in
let {[X3492, X3493]} = observe_location !'alice !'bob !upstairs_hall [X3490, X3491] in
let {X3494} = move !'bob !upstairs_hall !study [X3493, -19] in
let {X3495} = move !'alice !upstairs_hall !bedroom [X3492, -17] in
let {X3496} = move !'bob !study !upstairs_hall [X3494, -22] in
let {[X3497, X3498]} = observe !'alice !bedsheets !bedroom [X3495, X3379] in
let {[X3499, X3500]} = observe !'alice !bedsheets !bedroom [X3497, X3498] in
let {[X3501, X3502]} = observe !'alice !bedsheets !bedroom [X3499, X3500] in
let {X3503} = move !'bob !upstairs_hall !bathroom [X3496, -20] in
let {[X3504, X3505]} = observe_horror !'bob !dead_body !bathroom [X3503, [X3488, horrible/body]] in
let {X3506} = move !'bob !bathroom !upstairs_hall [X3504, -23] in
let {[X3507, X3508]} = observe !'alice !bedsheets !bedroom [X3501, X3502] in
let {X3509} = move !'alice !bedroom !upstairs_hall [X3507, -21] in
let {X3510} = move !'bob !upstairs_hall !bathroom [X3506, -20] in
let {[X3511, X3512]} = observe !'bob !dead_body !bathroom [X3510, X3505] in
let {[X3513, X3514]} = observe_horror !'bob !dead_body !bathroom [X3511, [X3512, horrible/body]] in
let {[X3515, X3516]} = observe_horror !'bob !dead_body !bathroom [X3513, [X3514, horrible/body]] in
let {[X3517, X3518]} = observe_horror !'bob !dead_body !bathroom [X3515, [X3516, horrible/body]] in
let {[X3519, X3520]} = observe !'bob !dead_body !bathroom [X3517, X3518] in
let {[X3521, X3522]} = observe !'bob !dead_body !bathroom [X3519, X3520] in
let {[X3523, X3524]} = observe_horror !'bob !dead_body !bathroom [X3521, [X3522, horrible/body]] in
let {X3525} = move !'alice !upstairs_hall !bathroom [X3509, -20] in
let {X3526} = move !'alice !bathroom !upstairs_hall [X3525, -23] in
let {[X3527, X3528]} = observe !'bob !dead_body !bathroom [X3523, X3524] in
let {[X3529, X3530]} = observe_horror !'bob !dead_body !bathroom [X3527, [X3528, horrible/body]] in
let {[X3531, X3532]} = observe_horror !'bob !dead_body !bathroom [X3529, [X3530, horrible/body]] in
let {X3533} = move !'alice !upstairs_hall !front_hall [X3526, -18] in
let {[X3534, X3535]} = observe_horror !'bob !dead_body !bathroom [X3531, [X3532, horrible/body]] in
let {[X3536, X3537]} = observe_horror !'bob !dead_body !bathroom [X3534, [X3535, horrible/body]] in
let {X3538} = move !'bob !bathroom !upstairs_hall [X3536, -23] in
let {X3539} = move !'bob !upstairs_hall !bathroom [X3538, -20] in
let {[X3540, X3541]} = observe_horror !'bob !dead_body !bathroom [X3539, [X3537, horrible/body]] in
let {[X3542, X3543]} = observe_horror !'bob !dead_body !bathroom [X3540, [X3541, horrible/body]] in
let {[X3544, X3545]} = observe !'bob !dead_body !bathroom [X3542, X3543] in
let {X3546} = move !'alice !front_hall !driveway [X3533, -8] in
let {X3547} = move !'bob !bathroom !upstairs_hall [X3544, -23] in
let {X3548} = move !'alice !driveway !garage [X3546, -11] in
let {X3549} = move !'bob !upstairs_hall !bathroom [X3547, -20] in
let {X3550} = move !'bob !bathroom !upstairs_hall [X3549, -23] in
let {X3551} = move !'alice !garage !driveway [X3548, -13] in
let {X3552} = move !'bob !upstairs_hall !bathroom [X3550, -20] in
let {[X3553, X3554]} = observe_horror !'bob !dead_body !bathroom [X3552, [X3545, horrible/body]] in
let {X3555} = move !'bob !bathroom !upstairs_hall [X3553, -23] in
let {X3556} = move !'bob !upstairs_hall !bathroom [X3555, -20] in
let {X3557} = move !'bob !bathroom !upstairs_hall [X3556, -23] in
let {X3558} = move !'bob !upstairs_hall !bathroom [X3557, -20] in
let {X3559} = move !'bob !bathroom !upstairs_hall [X3558, -23] in
let {X3560} = move !'bob !upstairs_hall !front_hall [X3559, -18] in
let {X3561} = move !'bob !front_hall !upstairs_hall [X3560, -9] in
let {[X3562, X3563]} = observe !'alice !mailbox !driveway [X3551, X3391] in
let {X3564} = move !'alice !driveway !garage [X3562, -11] in
let {X3565} = move !'alice !garage !driveway [X3564, -13] in
let {[X3566, X3567]} = observe !'alice !mailbox !driveway [X3565, X3563] in
let {[X3568, X3569]} = observe !'alice !mailbox !driveway [X3566, X3567] in
let {[X3570, X3571]} = observe !'alice !mailbox !driveway [X3568, X3569] in
let {X3572} = move !'alice !driveway !garage [X3570, -11] in
let {X3573} = move !'bob !upstairs_hall !bathroom [X3561, -20] in
let {[X3574, X3575]} = observe !'bob !dead_body !bathroom [X3573, X3554] in
let {[X3576, X3577]} = observe !'bob !dead_body !bathroom [X3574, X3575] in
let {[X3578, X3579]} = observe !'bob !dead_body !bathroom [X3576, X3577] in
let {[X3580, X3581]} = observe !'bob !dead_body !bathroom [X3578, X3579] in
let {X3582} = move !'alice !garage !driveway [X3572, -13] in
let {[X3583, X3584]} = observe_horror !'bob !dead_body !bathroom [X3580, [X3581, horrible/body]] in
let {X3585} = move !'alice !driveway !front_hall [X3582, -10] in
let {X3586} = move !'alice !front_hall !driveway [X3585, -8] in
let {[X3587, X3588]} = observe !'alice !mailbox !driveway [X3586, X3571] in
let {X3589} = move !'alice !driveway !front_hall [X3587, -10] in
let {[X3590, X3591]} = observe_horror !'bob !dead_body !bathroom [X3583, [X3584, horrible/body]] in
let {X3592} = move !'bob !bathroom !upstairs_hall [X3590, -23] in
let {X3593} = move !'bob !upstairs_hall !bedroom [X3592, -17] in
let {[X3594, X3595]} = observe !'bob !bedsheets !bedroom [X3593, X3508] in
let {X3596} = move !'bob !bedroom !upstairs_hall [X3594, -21] in
let {X3597} = move !'alice !front_hall !driveway [X3589, -8] in
let {X3598} = move !'bob !upstairs_hall !bedroom [X3596, -17] in
let {[X3599, X3600]} = observe !'alice !mailbox !driveway [X3597, X3588] in
let {X3601} = move !'bob !bedroom !upstairs_hall [X3598, -21] in
let {X3602} = move !'bob !upstairs_hall !bedroom [X3601, -17] in
let {X3603} = move !'alice !driveway !garage [X3599, -11] in
let {X3604} = move !'alice !garage !driveway [X3603, -13] in
let {[X3605, X3606]} = observe !'alice !mailbox !driveway [X3604, X3600] in
let {X3607} = move !'bob !bedroom !upstairs_hall [X3602, -21] in
let {X3608} = move !'alice !driveway !garage [X3605, -11] in
let {X3609} = move !'bob !upstairs_hall !front_hall [X3607, -18] in
let {X3610} = move !'bob !front_hall !driveway [X3609, -8] in
let {[X3611, X3612]} = observe !'bob !mailbox !driveway [X3610, X3606] in
let {[X3613, [X3614, X3615]]} = stash !'bob !mailbox !stolen_jewels [X3611, [X3612, [X3428, [container/mailbox, treasure/jewels]]]] in
let {X3616} = move !'bob !driveway !front_hall [X3613, -10] in
let {X3617} = move !'bob !front_hall !kitchen [X3616, -6] in
let {[X3618, X3619]} = observe !'bob !cabinet !kitchen [X3617, X3395] in
let {[X3620, X3621]} = observe !'bob !cupboards !kitchen [X3618, X3283] in
let {X3622} = move !'bob !kitchen !dining_room [X3620, -] in
let {X3623} = move !'alice !garage !driveway [X3608, -13] in
let {X3624} = move !'bob !dining_room !front_hall [X3622, -4] in
let {X3625} = move !'bob !front_hall !upstairs_hall [X3624, -9] in
let {[X3626, X3627]} = observe !'alice !mailbox !driveway [X3623, X3614] in
let {X3628} = move !'bob !upstairs_hall !bedroom [X3625, -17] in
let {[X3629, X3630]} = observe !'alice !mailbox !driveway [X3626, X3627] in
let {X3631} = move !'bob !bedroom !upstairs_hall [X3628, -21] in
let {[X3632, X3633]} = observe !'alice !mailbox !driveway [X3629, X3630] in
let {X3634} = move !'bob !upstairs_hall !front_hall [X3631, -18] in
let {[X3635, [X3636, X3637]]} = search !'alice !mailbox !stolen_jewels [X3632, [X3633, X3615]] in
let {[X3638, [X3639, X3640]]} = stash !'alice !mailbox !stolen_jewels [X3635, [X3636, [X3637, [container/mailbox, treasure/jewels]]]] in
let {[X3641, X3642]} = observe !'alice !mailbox !driveway [X3638, X3639] in
let {[X3643, [X3644, X3645]]} = search !'alice !mailbox !stolen_jewels [X3641, [X3642, X3640]] in
let {[X3646, [X3647, X3648]]} = stash !'alice !mailbox !stolen_jewels [X3643, [X3644, [X3645, [container/mailbox, treasure/jewels]]]] in
let {X3649} = move !'bob !front_hall !living_room [X3634, -7] in
let {[X3650, X3651]} = observe !'alice !mailbox !driveway [X3646, X3647] in
let {[X3652, X3653]} = observe !'alice !mailbox !driveway [X3650, X3651] in
let {[X3654, X3655]} = observe !'alice !mailbox !driveway [X3652, X3653] in
let {[X3656, [X3657, X3658]]} = search !'alice !mailbox !stolen_jewels [X3654, [X3655, X3648]] in
let {[X3659, X3660]} = observe !'alice !mailbox !driveway [X3656, X3657] in
let {[X3661, [X3662, X3663]]} = stash !'alice !mailbox !stolen_jewels [X3659, [X3660, [X3658, [container/mailbox, treasure/jewels]]]] in
let {X3664} = move !'alice !driveway !garage [X3661, -11] in
let {X3665} = move !'alice !garage !driveway [X3664, -13] in
let {X3666} = move !'alice !driveway !front_hall [X3665, -10] in
let {X3667} = move !'bob !living_room !dining_room [X3649, -2] in
let {X3668} = move !'bob !dining_room !front_hall [X3667, -4] in
let {[X3669, X3670]} = observe_location !'alice !'bob !front_hall [X3666, X3668] in
let {X3671} = move !'alice !front_hall !living_room [X3669, -7] in
let {X3672} = move !'bob !front_hall !living_room [X3670, -7] in
let {X3673} = move !'alice !living_room !dining_room [X3671, -2] in
let {X3674} = move !'bob !living_room !front_hall [X3672, -3] in
let {X3675} = move !'alice !dining_room !front_hall [X3673, -4] in
let {[X3676, X3677]} = leave_observed !'bob !'alice !front_hall !kitchen [X3674, [X3675, -6]] in
let {X3678} = move !'bob !kitchen !dining_room [X3676, -] in
let {X3679} = move !'bob !dining_room !front_hall [X3678, -4] in
let {X3680} = move !'alice !front_hall !living_room [X3677, -7] in
let {X3681} = move !'alice !living_room !front_hall [X3680, -3] in
let {X3682} = move !'bob !front_hall !kitchen [X3679, -6] in
let {X3683} = move !'bob !kitchen !front_hall [X3682, -1] in
let {[X3684, [X3685, X3686]]} = observe_with !'alice !'bob !revolver !front_hall [X3681, [X3683, X3417]] in
let {X3687} = move !'alice !front_hall !living_room [X3684, -7] in
let {X3688} = move !'bob !front_hall !kitchen [X3685, -6] in
let {[X3689, X3690]} = observe !'bob !cabinet !kitchen [X3688, X3619] in
let {[X3691, X3692]} = observe !'bob !cupboards !kitchen [X3689, X3621] in
let {X3693} = move !'bob !kitchen !dining_room [X3691, -] in
let {X3694} = move !'alice !living_room !dining_room [X3687, -2] in
let {X3695} = move !'alice !dining_room !front_hall [X3694, -4] in
let {X3696} = move !'bob !dining_room !front_hall [X3693, -4] in
let {X3697} = move !'bob !front_hall !driveway [X3696, -8] in
let {[X3698, [X3699, X3700]]} = search !'bob !mailbox !stolen_jewels [X3697, [X3662, X3663]] in
let {X3701} = move !'bob !driveway !front_hall [X3698, -10] in
let {X3702} = move !'bob !front_hall !living_room [X3701, -7] in
let {X3703} = move !'bob !living_room !front_hall [X3702, -3] in
let {[X3704, [X3705, X3706]]} = observe_with !'alice !'bob !revolver !front_hall [X3695, [X3703, X3686]] in
let {[X3707, X3708]} = greet !'alice !'bob !front_hall [X3704, X3705] in
let {[X3709, X3710]} = leave_observed !'bob !'alice !front_hall !driveway [X3708, [X3707, -8]] in
let {[X3711, X3712]} = observe !'bob !mailbox !driveway [X3709, X3699] in
let {X3713} = move !'alice !front_hall !kitchen [X3710, -6] in
let {X3714} = move !'bob !driveway !garage [X3711, -11] in
let {[X3715, [X3716, X3717]]} = drive_away !'bob !revolver !stolen_jewels [X3714, [X3706, X3700]] in
let {[X3718, X3719]} = observe !'alice !cabinet !kitchen [X3713, X3690] in
let {[X3720, X3721]} = observe !'alice !cupboards !kitchen [X3718, X3692] in
let {X3722} = move !'alice !kitchen !dining_room [X3720, -] in
let {X3723} = move !'alice !dining_room !kitchen [X3722, -5] in
let {X3724} = fin_droveaway !'alice !'bob !kitchen [X3723, X3715] in [X3721, [X3719, [X3712, [X3595, [X3287, [X3716, [X3289, [X3717, [X3591, X3724]]]]]]]]]}
#A = \!X3725. \!X3726. inroom !kitchen
#B = \!X3727. \!X3728. inroom !kitchen
#C = \!X3729. \!X3730. inroom !driveway
#D = \!X3731. \!X3732. inroom !bedroom
#E = \!X3733. \!X3734. inroom !shed
#F = \!X3735. \!X3736. has !X3736
#G = \!X3737. \!X3738. inside !toolbox
#H = \!X3739. \!X3740. has !X3740
#I = \!X3741. \!X3742. inroom !bathroom
#J = \!X3743. \!X3744. droveaway !X3744
Iteration 4
Solution: \!'alice. \!'bob. \[X3745, [X3746, [X3747, [X3748, [X3749, [X3750, [X3751, [X3752, [X3753, [X3754, X3755]]]]]]]]]]. {
let {X3756} = move !'alice !bedroom !upstairs_hall [X3745, -21] in
let {X3757} = move !'bob !front_hall !living_room [X3746, -7] in
let {X3758} = move !'alice !upstairs_hall !study [X3756, -19] in
let {X3759} = move !'alice !study !upstairs_hall [X3758, -22] in
let {X3760} = move !'alice !upstairs_hall !bedroom [X3759, -17] in
let {[X3761, [X3762, X3763]]} = search !'alice !bedsheets !stolen_jewels [X3760, [X3750, X3754]] in
let {X3764} = move !'bob !living_room !front_hall [X3757, -3] in
let {X3765} = move !'bob !front_hall !kitchen [X3764, -6] in
let {[X3766, [X3767, X3768]]} = search !'bob !cabinet !revolver [X3765, [X3748, X3752]] in
let {[X3769, X3770]} = observe !'alice !bedsheets !bedroom [X3761, X3762] in
let {X3771} = move !'bob !kitchen !front_hall [X3766, -1] in
let {X3772} = move !'bob !front_hall !driveway [X3771, -8] in
let {X3773} = move !'bob !driveway !path_by_the_shed [X3772, -12] in
let {[X3774, X3775]} = observe !'alice !bedsheets !bedroom [X3769, X3770] in
let {[X3776, X3777]} = observe !'alice !bedsheets !bedroom [X3774, X3775] in
let {X3778} = move !'alice !bedroom !upstairs_hall [X3776, -21] in
let {X3779} = move !'bob !path_by_the_shed !shed [X3773, -15] in
let {[X3780, X3781]} = observe !'bob !toolbox !shed [X3779, X3751] in
let {[X3782, X3783]} = observe !'bob !toolbox !shed [X3780, X3781] in
let {[X3784, X3785]} = observe !'bob !toolbox !shed [X3782, X3783] in
let {[X3786, [X3787, X3788]]} = search !'bob !toolbox !golden_falcon [X3784, [X3785, X3753]] in
let {[X3789, X3790]} = observe !'bob !toolbox !shed [X3786, X3787] in
let {[X3791, [X3792, X3793]]} = stash !'bob !toolbox !golden_falcon [X3789, [X3790, [X3788, [container/toolbox, treasure/falcon]]]] in
let {[X3794, [X3795, X3796]]} = search !'bob !toolbox !golden_falcon [X3791, [X3792, X3793]] in
let {[X3797, [X3798, X3799]]} = stash !'bob !toolbox !golden_falcon [X3794, [X3795, [X3796, [container/toolbox, treasure/falcon]]]] in
let {[X3800, [X3801, X3802]]} = search !'bob !toolbox !golden_falcon [X3797, [X3798, X3799]] in
let {[X3803, X3804]} = observe !'bob !toolbox !shed [X3800, X3801] in
let {[X3805, [X3806, X3807]]} = stash !'bob !toolbox !golden_falcon [X3803, [X3804, [X3802, [container/toolbox, treasure/falcon]]]] in
let {[X3808, X3809]} = observe !'bob !toolbox !shed [X3805, X3806] in
let {X3810} = move !'alice !upstairs_hall !front_hall [X3778, -18] in
let {[X3811, X3812]} = observe !'bob !toolbox !shed [X3808, X3809] in
let {[X3813, X3814]} = observe !'bob !toolbox !shed [X3811, X3812] in
let {X3815} = move !'alice !front_hall !driveway [X3810, -8] in
let {[X3816, [X3817, X3818]]} = stash !'alice !mailbox !stolen_jewels [X3815, [X3749, [X3763, [container/mailbox, treasure/jewels]]]] in
let {[X3819, X3820]} = observe !'bob !toolbox !shed [X3813, X3814] in
let {X3821} = move !'bob !shed !path_by_the_shed [X3819, -16] in
let {X3822} = move !'alice !driveway !garage [X3816, -11] in
let {X3823} = move !'bob !path_by_the_shed !shed [X3821, -15] in
let {[X3824, [X3825, X3826]]} = search !'bob !toolbox !golden_falcon [X3823, [X3820, X3807]] in
let {[X3827, [X3828, X3829]]} = stash !'bob !toolbox !golden_falcon [X3824, [X3825, [X3826, [container/toolbox, treasure/falcon]]]] in
let {[X3830, [X3831, X3832]]} = search !'bob !toolbox !golden_falcon [X3827, [X3828, X3829]] in
let {[X3833, X3834]} = observe !'bob !toolbox !shed [X3830, X3831] in
let {X3835} = move !'bob !shed !path_by_the_shed [X3833, -16] in
let {X3836} = move !'bob !path_by_the_shed !driveway [X3835, -14] in
let {[X3837, [X3838, X3839]]} = search !'bob !mailbox !stolen_jewels [X3836, [X3817, X3818]] in
let {X3840} = move !'alice !garage !driveway [X3822, -13] in
let {X3841} = move !'alice !driveway !front_hall [X3840, -10] in
let {[X3842, X3843]} = observe !'bob !mailbox !driveway [X3837, X3838] in
let {[X3844, [X3845, X3846]]} = stash !'bob !mailbox !stolen_jewels [X3842, [X3843, [X3839, [container/mailbox, treasure/jewels]]]] in
let {[X3847, X3848]} = observe !'bob !mailbox !driveway [X3844, X3845] in
let {[X3849, X3850]} = observe !'bob !mailbox !driveway [X3847, X3848] in
let {[X3851, [X3852, X3853]]} = stash !'bob !mailbox !golden_falcon [X3849, [X3850, [X3832, [container/mailbox, treasure/falcon]]]] in
let {[X3854, [X3855, X3856]]} = search !'bob !mailbox !golden_falcon [X3851, [X3852, X3853]] in
let {X3857} = move !'bob !driveway !path_by_the_shed [X3854, -12] in
let {X3858} = move !'alice !front_hall !driveway [X3841, -8] in
let {[X3859, X3860]} = observe !'alice !mailbox !driveway [X3858, X3855] in
let {[X3861, X3862]} = observe !'alice !mailbox !driveway [X3859, X3860] in
let {X3863} = move !'alice !driveway !path_by_the_shed [X3861, -12] in
let {X3864} = move !'alice !path_by_the_shed !shed [X3863, -15] in
let {[X3865, X3866]} = observe !'alice !toolbox !shed [X3864, X3834] in
let {X3867} = move !'alice !shed !path_by_the_shed [X3865, -16] in
let {X3868} = move !'alice !path_by_the_shed !shed [X3867, -15] in
let {X3869} = move !'alice !shed !path_by_the_shed [X3868, -16] in
let {[X3870, X3871]} = observe_location !'bob !'alice !path_by_the_shed [X3857, X3869] in
let {[X3872, X3873]} = observe_location !'alice !'bob !path_by_the_shed [X3871, X3870] in
let {[X3874, X3875]} = greet !'alice !'bob !path_by_the_shed [X3872, X3873] in
let {[X3876, X3877]} = greet !'bob !'alice !path_by_the_shed [X3875, X3874] in
let {[X3878, [X3879, X3880]]} = observe_with !'alice !'bob !golden_falcon !path_by_the_shed [X3877, [X3876, X3856]] in
let {[X3881, X3882]} = greet !'bob !'alice !path_by_the_shed [X3879, X3878] in
let {X3883} = move !'alice !path_by_the_shed !shed [X3882, -15] in
let {[X3884, X3885]} = observe !'alice !toolbox !shed [X3883, X3866] in
let {[X3886, X3887]} = observe !'alice !toolbox !shed [X3884, X3885] in
let {[X3888, X3889]} = observe !'alice !toolbox !shed [X3886, X3887] in
let {[X3890, X3891]} = observe !'alice !toolbox !shed [X3888, X3889] in
let {X3892} = move !'bob !path_by_the_shed !shed [X3881, -15] in
let {[X3893, [X3894, X3895]]} = observe_with !'alice !'bob !revolver !shed [X3890, [X3892, X3768]] in
let {[X3896, X3897]} = leave_observed !'bob !'alice !shed !path_by_the_shed [X3894, [X3893, -16]] in
let {X3898} = move !'alice !shed !path_by_the_shed [X3897, -16] in
let {[X3899, X3900]} = observe_location !'bob !'alice !path_by_the_shed [X3896, X3898] in
let {[X3901, [X3902, X3903]]} = observe_with !'alice !'bob !revolver !path_by_the_shed [X3900, [X3899, X3895]] in
let {[X3904, X3905]} = observe_location !'alice !'bob !path_by_the_shed [X3901, X3902] in
let {[X3906, X3907]} = greet !'bob !'alice !path_by_the_shed [X3905, X3904] in
let {X3908} = move !'bob !path_by_the_shed !shed [X3906, -15] in
let {[X3909, [X3910, X3911]]} = stash !'bob !toolbox !golden_falcon [X3908, [X3891, [X3880, [container/toolbox, treasure/falcon]]]] in
let {[X3912, X3913]} = observe !'bob !toolbox !shed [X3909, X3910] in
let {[X3914, X3915]} = observe !'bob !toolbox !shed [X3912, X3913] in
let {X3916} = move !'bob !shed !path_by_the_shed [X3914, -16] in
let {[X3917, X3918]} = leave_observed !'bob !'alice !path_by_the_shed !driveway [X3916, [X3907, -14]] in
let {[X3919, [X3920, X3921]]} = search !'bob !mailbox !stolen_jewels [X3917, [X3862, X3846]] in
let {[X3922, [X3923, X3924]]} = stash !'bob !mailbox !stolen_jewels [X3919, [X3920, [X3921, [container/mailbox, treasure/jewels]]]] in
let {[X3925, X3926]} = observe !'bob !mailbox !driveway [X3922, X3923] in
let {[X3927, [X3928, X3929]]} = search !'bob !mailbox !stolen_jewels [X3925, [X3926, X3924]] in
let {[X3930, X3931]} = observe !'bob !mailbox !driveway [X3927, X3928] in
let {X3932} = move !'alice !path_by_the_shed !shed [X3918, -15] in
let {[X3933, X3934]} = observe !'bob !mailbox !driveway [X3930, X3931] in
let {[X3935, X3936]} = observe !'alice !toolbox !shed [X3932, X3915] in
let {[X3937, [X3938, X3939]]} = stash !'bob !mailbox !stolen_jewels [X3933, [X3934, [X3929, [container/mailbox, treasure/jewels]]]] in
let {[X3940, [X3941, X3942]]} = search !'bob !mailbox !stolen_jewels [X3937, [X3938, X3939]] in
let {[X3943, X3944]} = observe !'alice !toolbox !shed [X3935, X3936] in
let {[X3945, [X3946, X3947]]} = stash !'bob !mailbox !stolen_jewels [X3940, [X3941, [X3942, [container/mailbox, treasure/jewels]]]] in
let {[X3948, X3949]} = observe !'bob !mailbox !driveway [X3945, X3946] in
let {[X3950, X3951]} = observe !'alice !toolbox !shed [X3943, X3944] in
let {[X3952, [X3953, X3954]]} = search !'bob !mailbox !stolen_jewels [X3948, [X3949, X3947]] in
let {[X3955, [X3956, X3957]]} = stash !'bob !mailbox !stolen_jewels [X3952, [X3953, [X3954, [container/mailbox, treasure/jewels]]]] in
let {[X3958, [X3959, X3960]]} = search !'alice !toolbox !golden_falcon [X3950, [X3951, X3911]] in
let {[X3961, [X3962, X3963]]} = search !'bob !mailbox !stolen_jewels [X3955, [X3956, X3957]] in
let {[X3964, X3965]} = observe !'bob !mailbox !driveway [X3961, X3962] in
let {X3966} = move !'bob !driveway !path_by_the_shed [X3964, -12] in
let {[X3967, X3968]} = observe !'alice !toolbox !shed [X3958, X3959] in
let {[X3969, X3970]} = observe !'alice !toolbox !shed [X3967, X3968] in
let {X3971} = move !'alice !shed !path_by_the_shed [X3969, -16] in
let {[X3972, X3973]} = greet !'alice !'bob !path_by_the_shed [X3971, X3966] in
let {[X3974, X3975]} = observe_location !'alice !'bob !path_by_the_shed [X3972, X3973] in
let {[X3976, [X3977, [X3978, X3979]]]} = steal_with_revolver !'bob !'alice !path_by_the_shed !golden_falcon [X3975, [X3974, [X3903, X3960]]] in
let {[X3980, X3981]} = observe_location !'alice !'bob !path_by_the_shed [X3977, X3976] in
let {[X3982, [X3983, X3984]]} = observe_with !'alice !'bob !golden_falcon !path_by_the_shed [X3980, [X3981, X3979]] in
let {[X3985, X3986]} = leave_observed !'bob !'alice !path_by_the_shed !driveway [X3983, [X3982, -14]] in
let {[X3987, [X3988, X3989]]} = stash !'bob !mailbox !golden_falcon [X3985, [X3965, [X3984, [container/mailbox, treasure/falcon]]]] in
let {[X3990, X3991]} = observe !'bob !mailbox !driveway [X3987, X3988] in
let {[X3992, [X3993, X3994]]} = search !'bob !mailbox !golden_falcon [X3990, [X3991, X3989]] in
let {[X3995, [X3996, X3997]]} = stash !'bob !mailbox !stolen_jewels [X3992, [X3993, [X3963, [container/mailbox, treasure/jewels]]]] in
let {[X3998, [X3999, X4000]]} = search !'bob !mailbox !stolen_jewels [X3995, [X3996, X3997]] in
let {[X4001, X4002]} = observe !'bob !mailbox !driveway [X3998, X3999] in
let {[X4003, X4004]} = observe !'bob !mailbox !driveway [X4001, X4002] in
let {X4005} = move !'alice !path_by_the_shed !driveway [X3986, -14] in
let {X4006} = move !'bob !driveway !path_by_the_shed [X4003, -12] in
let {X4007} = move !'alice !driveway !front_hall [X4005, -10] in
let {X4008} = move !'bob !path_by_the_shed !driveway [X4006, -14] in
let {[X4009, X4010]} = observe !'bob !mailbox !driveway [X4008, X4004] in
let {[X4011, [X4012, X4013]]} = stash !'bob !mailbox !stolen_jewels [X4009, [X4010, [X4000, [container/mailbox, treasure/jewels]]]] in
let {[X4014, [X4015, X4016]]} = stash !'bob !mailbox !golden_falcon [X4011, [X4012, [X3994, [container/mailbox, treasure/falcon]]]] in
let {[X4017, [X4018, X4019]]} = search !'bob !mailbox !stolen_jewels [X4014, [X4015, X4013]] in
let {X4020} = move !'alice !front_hall !living_room [X4007, -7] in
let {[X4021, [X4022, X4023]]} = search !'bob !mailbox !golden_falcon [X4017, [X4018, X4016]] in
let {[X4024, [X4025, X4026]]} = stash !'bob !mailbox !golden_falcon [X4021, [X4022, [X4023, [container/mailbox, treasure/falcon]]]] in
let {[X4027, [X4028, X4029]]} = stash !'bob !mailbox !stolen_jewels [X4024, [X4025, [X4019, [container/mailbox, treasure/jewels]]]] in
let {X4030} = move !'alice !living_room !dining_room [X4020, -2] in
let {[X4031, X4032]} = observe !'bob !mailbox !driveway [X4027, X4028] in
let {X4033} = move !'bob !driveway !front_hall [X4031, -10] in
let {X4034} = move !'bob !front_hall !kitchen [X4033, -6] in
let {X4035} = move !'bob !kitchen !dining_room [X4034, -] in
let {[X4036, X4037]} = leave_observed !'bob !'alice !dining_room !front_hall [X4035, [X4030, -4]] in
let {X4038} = move !'bob !front_hall !kitchen [X4036, -6] in
let {[X4039, X4040]} = observe !'bob !cabinet !kitchen [X4038, X3767] in
let {[X4041, X4042]} = observe !'bob !cupboards !kitchen [X4039, X3747] in
let {[X4043, X4044]} = observe !'bob !cupboards !kitchen [X4041, X4042] in
let {[X4045, X4046]} = observe !'bob !cabinet !kitchen [X4043, X4040] in
let {[X4047, X4048]} = observe !'bob !cupboards !kitchen [X4045, X4044] in
let {[X4049, X4050]} = observe !'bob !cupboards !kitchen [X4047, X4048] in
let {[X4051, X4052]} = observe !'bob !cupboards !kitchen [X4049, X4050] in
let {[X4053, X4054]} = observe !'bob !cabinet !kitchen [X4051, X4046] in
let {[X4055, X4056]} = observe !'bob !cupboards !kitchen [X4053, X4052] in
let {[X4057, X4058]} = observe !'bob !cupboards !kitchen [X4055, X4056] in
let {[X4059, X4060]} = observe !'bob !cabinet !kitchen [X4057, X4054] in
let {[X4061, X4062]} = observe !'bob !cupboards !kitchen [X4059, X4058] in
let {X4063} = move !'alice !dining_room !kitchen [X4037, -5] in
let {[X4064, X4065]} = leave_observed !'bob !'alice !kitchen !dining_room [X4061, [X4063, -]] in
let {X4066} = move !'alice !kitchen !front_hall [X4065, -1] in
let {X4067} = move !'alice !front_hall !driveway [X4066, -8] in
let {[X4068, [X4069, X4070]]} = search !'alice !mailbox !stolen_jewels [X4067, [X4032, X4029]] in
let {X4071} = move !'alice !driveway !front_hall [X4068, -10] in
let {X4072} = move !'bob !dining_room !front_hall [X4064, -4] in
let {X4073} = move !'bob !front_hall !upstairs_hall [X4072, -9] in
let {X4074} = move !'bob !upstairs_hall !bathroom [X4073, -20] in
let {X4075} = move !'bob !bathroom !upstairs_hall [X4074, -23] in
let {X4076} = move !'alice !front_hall !kitchen [X4071, -6] in
let {[X4077, X4078]} = observe !'alice !cabinet !kitchen [X4076, X4060] in
let {[X4079, [X4080, X4081]]} = stash !'alice !cabinet !stolen_jewels [X4077, [X4078, [X4070, [container/cabinet, treasure/jewels]]]] in
let {X4082} = move !'alice !kitchen !front_hall [X4079, -1] in
let {X4083} = move !'alice !front_hall !living_room [X4082, -7] in
let {X4084} = move !'alice !living_room !front_hall [X4083, -3] in
let {X4085} = move !'alice !front_hall !driveway [X4084, -8] in
let {[X4086, X4087]} = observe !'alice !mailbox !driveway [X4085, X4069] in
let {X4088} = move !'bob !upstairs_hall !bathroom [X4075, -20] in
let {[X4089, [X4090, X4091]]} = search !'alice !mailbox !golden_falcon [X4086, [X4087, X4026]] in
let {[X4092, X4093]} = observe !'alice !mailbox !driveway [X4089, X4090] in
let {X4094} = move !'alice !driveway !garage [X4092, -11] in
let {X4095} = move !'alice !garage !driveway [X4094, -13] in
let {[X4096, X4097]} = observe_horror !'bob !dead_body !bathroom [X4088, [X3755, horrible/body]] in
let {[X4098, [X4099, X4100]]} = stash !'alice !mailbox !golden_falcon [X4095, [X4093, [X4091, [container/mailbox, treasure/falcon]]]] in
let {[X4101, X4102]} = observe_horror !'bob !dead_body !bathroom [X4096, [X4097, horrible/body]] in
let {[X4103, X4104]} = observe !'alice !mailbox !driveway [X4098, X4099] in
let {[X4105, X4106]} = observe !'alice !mailbox !driveway [X4103, X4104] in
let {[X4107, X4108]} = observe_horror !'bob !dead_body !bathroom [X4101, [X4102, horrible/body]] in
let {[X4109, X4110]} = observe_horror !'bob !dead_body !bathroom [X4107, [X4108, horrible/body]] in
let {X4111} = move !'alice !driveway !path_by_the_shed [X4105, -12] in
let {[X4112, X4113]} = observe !'bob !dead_body !bathroom [X4109, X4110] in
let {[X4114, X4115]} = observe_horror !'bob !dead_body !bathroom [X4112, [X4113, horrible/body]] in
let {X4116} = move !'bob !bathroom !upstairs_hall [X4114, -23] in
let {X4117} = move !'bob !upstairs_hall !study [X4116, -19] in
let {X4118} = move !'alice !path_by_the_shed !shed [X4111, -15] in
let {X4119} = move !'alice !shed !path_by_the_shed [X4118, -16] in
let {X4120} = move !'alice !path_by_the_shed !driveway [X4119, -14] in
let {X4121} = move !'bob !study !upstairs_hall [X4117, -22] in
let {[X4122, [X4123, X4124]]} = search !'alice !mailbox !golden_falcon [X4120, [X4106, X4100]] in
let {[X4125, [X4126, X4127]]} = stash !'alice !mailbox !golden_falcon [X4122, [X4123, [X4124, [container/mailbox, treasure/falcon]]]] in
let {[X4128, [X4129, X4130]]} = search !'alice !mailbox !golden_falcon [X4125, [X4126, X4127]] in
let {[X4131, X4132]} = observe !'alice !mailbox !driveway [X4128, X4129] in
let {[X4133, [X4134, X4135]]} = stash !'alice !mailbox !golden_falcon [X4131, [X4132, [X4130, [container/mailbox, treasure/falcon]]]] in
let {X4136} = move !'bob !upstairs_hall !bathroom [X4121, -20] in
let {[X4137, [X4138, X4139]]} = search !'alice !mailbox !golden_falcon [X4133, [X4134, X4135]] in
let {X4140} = move !'alice !driveway !path_by_the_shed [X4137, -12] in
let {[X4141, X4142]} = observe !'bob !dead_body !bathroom [X4136, X4115] in
let {X4143} = move !'alice !path_by_the_shed !driveway [X4140, -14] in
let {[X4144, X4145]} = observe_horror !'bob !dead_body !bathroom [X4141, [X4142, horrible/body]] in
let {[X4146, X4147]} = observe_horror !'bob !dead_body !bathroom [X4144, [X4145, horrible/body]] in
let {[X4148, [X4149, X4150]]} = stash !'alice !mailbox !golden_falcon [X4143, [X4138, [X4139, [container/mailbox, treasure/falcon]]]] in
let {[X4151, X4152]} = observe_horror !'bob !dead_body !bathroom [X4146, [X4147, horrible/body]] in
let {[X4153, [X4154, X4155]]} = search !'alice !mailbox !golden_falcon [X4148, [X4149, X4150]] in
let {[X4156, X4157]} = observe !'alice !mailbox !driveway [X4153, X4154] in
let {X4158} = move !'alice !driveway !garage [X4156, -11] in
let {[X4159, X4160]} = observe !'bob !dead_body !bathroom [X4151, X4152] in
let {[X4161, X4162]} = observe !'bob !dead_body !bathroom [X4159, X4160] in
let {X4163} = move !'alice !garage !driveway [X4158, -13] in
let {[X4164, X4165]} = observe_horror !'bob !dead_body !bathroom [X4161, [X4162, horrible/body]] in
let {X4166} = move !'alice !driveway !garage [X4163, -11] in
let {[X4167, X4168]} = observe !'bob !dead_body !bathroom [X4164, X4165] in
let {[X4169, X4170]} = observe_horror !'bob !dead_body !bathroom [X4167, [X4168, horrible/body]] in
let {[X4171, X4172]} = observe_horror !'bob !dead_body !bathroom [X4169, [X4170, horrible/body]] in
let {[X4173, X4174]} = observe_horror !'bob !dead_body !bathroom [X4171, [X4172, horrible/body]] in
let {[X4175, X4176]} = observe_horror !'bob !dead_body !bathroom [X4173, [X4174, horrible/body]] in
let {[X4177, X4178]} = observe_horror !'bob !dead_body !bathroom [X4175, [X4176, horrible/body]] in
let {[X4179, X4180]} = observe !'bob !dead_body !bathroom [X4177, X4178] in
let {[X4181, X4182]} = observe_horror !'bob !dead_body !bathroom [X4179, [X4180, horrible/body]] in
let {X4183} = move !'bob !bathroom !upstairs_hall [X4181, -23] in
let {X4184} = move !'bob !upstairs_hall !bathroom [X4183, -20] in
let {[X4185, X4186]} = observe_horror !'bob !dead_body !bathroom [X4184, [X4182, horrible/body]] in
let {[X4187, X4188]} = observe !'bob !dead_body !bathroom [X4185, X4186] in
let {X4189} = move !'alice !garage !driveway [X4166, -13] in
let {[X4190, X4191]} = observe !'bob !dead_body !bathroom [X4187, X4188] in
let {[X4192, X4193]} = observe !'bob !dead_body !bathroom [X4190, X4191] in
let {[X4194, X4195]} = observe !'bob !dead_body !bathroom [X4192, X4193] in
let {[X4196, [X4197, X4198]]} = stash !'alice !mailbox !golden_falcon [X4189, [X4157, [X4155, [container/mailbox, treasure/falcon]]]] in
let {X4199} = move !'alice !driveway !path_by_the_shed [X4196, -12] in
let {[X4200, X4201]} = observe_horror !'bob !dead_body !bathroom [X4194, [X4195, horrible/body]] in
let {[X4202, X4203]} = observe !'bob !dead_body !bathroom [X4200, X4201] in
let {X4204} = move !'bob !bathroom !upstairs_hall [X4202, -23] in
let {X4205} = move !'alice !path_by_the_shed !driveway [X4199, -14] in
let {[X4206, [X4207, X4208]]} = search !'alice !mailbox !golden_falcon [X4205, [X4197, X4198]] in
let {[X4209, X4210]} = observe !'alice !mailbox !driveway [X4206, X4207] in
let {[X4211, X4212]} = observe !'alice !mailbox !driveway [X4209, X4210] in
let {[X4213, X4214]} = observe !'alice !mailbox !driveway [X4211, X4212] in
let {[X4215, X4216]} = observe !'alice !mailbox !driveway [X4213, X4214] in
let {[X4217, [X4218, X4219]]} = stash !'alice !mailbox !golden_falcon [X4215, [X4216, [X4208, [container/mailbox, treasure/falcon]]]] in
let {[X4220, X4221]} = observe !'alice !mailbox !driveway [X4217, X4218] in
let {X4222} = move !'bob !upstairs_hall !study [X4204, -19] in
let {[X4223, [X4224, X4225]]} = search !'alice !mailbox !golden_falcon [X4220, [X4221, X4219]] in
let {[X4226, [X4227, X4228]]} = stash !'alice !mailbox !golden_falcon [X4223, [X4224, [X4225, [container/mailbox, treasure/falcon]]]] in
let {[X4229, [X4230, X4231]]} = search !'alice !mailbox !golden_falcon [X4226, [X4227, X4228]] in
let {[X4232, [X4233, X4234]]} = stash !'alice !mailbox !golden_falcon [X4229, [X4230, [X4231, [container/mailbox, treasure/falcon]]]] in
let {[X4235, [X4236, X4237]]} = search !'alice !mailbox !golden_falcon [X4232, [X4233, X4234]] in
let {X4238} = move !'alice !driveway !garage [X4235, -11] in
let {X4239} = move !'bob !study !upstairs_hall [X4222, -22] in
let {X4240} = move !'alice !garage !driveway [X4238, -13] in
let {[X4241, X4242]} = observe !'alice !mailbox !driveway [X4240, X4236] in
let {[X4243, [X4244, X4245]]} = stash !'alice !mailbox !golden_falcon [X4241, [X4242, [X4237, [container/mailbox, treasure/falcon]]]] in
let {X4246} = move !'bob !upstairs_hall !bedroom [X4239, -17] in
let {[X4247, X4248]} = observe !'bob !bedsheets !bedroom [X4246, X3777] in
let {X4249} = move !'alice !driveway !path_by_the_shed [X4243, -12] in
let {X4250} = move !'alice !path_by_the_shed !driveway [X4249, -14] in
let {X4251} = move !'alice !driveway !path_by_the_shed [X4250, -12] in
let {X4252} = move !'bob !bedroom !upstairs_hall [X4247, -21] in
let {X4253} = move !'alice !path_by_the_shed !driveway [X4251, -14] in
let {[X4254, [X4255, X4256]]} = search !'alice !mailbox !golden_falcon [X4253, [X4244, X4245]] in
let {[X4257, [X4258, X4259]]} = stash !'alice !mailbox !golden_falcon [X4254, [X4255, [X4256, [container/mailbox, treasure/falcon]]]] in
let {X4260} = move !'bob !upstairs_hall !study [X4252, -19] in
let {[X4261, X4262]} = observe !'alice !mailbox !driveway [X4257, X4258] in
let {X4263} = move !'bob !study !upstairs_hall [X4260, -22] in
let {[X4264, [X4265, X4266]]} = search !'alice !mailbox !golden_falcon [X4261, [X4262, X4259]] in
let {[X4267, [X4268, X4269]]} = stash !'alice !mailbox !golden_falcon [X4264, [X4265, [X4266, [container/mailbox, treasure/falcon]]]] in
let {[X4270, X4271]} = observe !'alice !mailbox !driveway [X4267, X4268] in
let {[X4272, X4273]} = observe !'alice !mailbox !driveway [X4270, X4271] in
let {[X4274, [X4275, X4276]]} = search !'alice !mailbox !golden_falcon [X4272, [X4273, X4269]] in
let {X4277} = move !'bob !upstairs_hall !study [X4263, -19] in
let {[X4278, X4279]} = observe !'alice !mailbox !driveway [X4274, X4275] in
let {X4280} = move !'alice !driveway !garage [X4278, -11] in
let {X4281} = move !'bob !study !upstairs_hall [X4277, -22] in
let {X4282} = move !'bob !upstairs_hall !bedroom [X4281, -17] in
let {[X4283, X4284]} = observe !'bob !bedsheets !bedroom [X4282, X4248] in
let {X4285} = move !'bob !bedroom !upstairs_hall [X4283, -21] in
let {X4286} = move !'alice !garage !driveway [X4280, -13] in
let {[X4287, X4288]} = observe !'alice !mailbox !driveway [X4286, X4279] in
let {[X4289, X4290]} = observe !'alice !mailbox !driveway [X4287, X4288] in
let {[X4291, X4292]} = observe !'alice !mailbox !driveway [X4289, X4290] in
let {X4293} = move !'bob !upstairs_hall !bedroom [X4285, -17] in
let {[X4294, [X4295, X4296]]} = stash !'alice !mailbox !golden_falcon [X4291, [X4292, [X4276, [container/mailbox, treasure/falcon]]]] in
let {[X4297, [X4298, X4299]]} = search !'alice !mailbox !golden_falcon [X4294, [X4295, X4296]] in
let {[X4300, [X4301, X4302]]} = stash !'alice !mailbox !golden_falcon [X4297, [X4298, [X4299, [container/mailbox, treasure/falcon]]]] in
let {[X4303, X4304]} = observe !'alice !mailbox !driveway [X4300, X4301] in
let {[X4305, X4306]} = observe !'bob !bedsheets !bedroom [X4293, X4284] in
let {[X4307, X4308]} = observe !'bob !bedsheets !bedroom [X4305, X4306] in
let {[X4309, X4310]} = observe !'alice !mailbox !driveway [X4303, X4304] in
let {[X4311, X4312]} = observe !'alice !mailbox !driveway [X4309, X4310] in
let {X4313} = move !'bob !bedroom !upstairs_hall [X4307, -21] in
let {[X4314, X4315]} = observe !'alice !mailbox !driveway [X4311, X4312] in
let {[X4316, X4317]} = observe !'alice !mailbox !driveway [X4314, X4315] in
let {X4318} = move !'bob !upstairs_hall !study [X4313, -19] in
let {[X4319, X4320]} = observe !'alice !mailbox !driveway [X4316, X4317] in
let {[X4321, [X4322, X4323]]} = search !'alice !mailbox !golden_falcon [X4319, [X4320, X4302]] in
let {X4324} = move !'alice !driveway !garage [X4321, -11] in
let {X4325} = move !'bob !study !upstairs_hall [X4318, -22] in
let {X4326} = move !'alice !garage !driveway [X4324, -13] in
let {[X4327, [X4328, X4329]]} = stash !'alice !mailbox !golden_falcon [X4326, [X4322, [X4323, [container/mailbox, treasure/falcon]]]] in
let {[X4330, X4331]} = observe !'alice !mailbox !driveway [X4327, X4328] in
let {X4332} = move !'alice !driveway !path_by_the_shed [X4330, -12] in
let {X4333} = move !'alice !path_by_the_shed !shed [X4332, -15] in
let {[X4334, X4335]} = observe !'alice !toolbox !shed [X4333, X3970] in
let {X4336} = move !'bob !upstairs_hall !bathroom [X4325, -20] in
let {X4337} = move !'alice !shed !path_by_the_shed [X4334, -16] in
let {[X4338, X4339]} = observe_horror !'bob !dead_body !bathroom [X4336, [X4203, horrible/body]] in
let {X4340} = move !'bob !bathroom !upstairs_hall [X4338, -23] in
let {X4341} = move !'alice !path_by_the_shed !shed [X4337, -15] in
let {[X4342, X4343]} = observe !'alice !toolbox !shed [X4341, X4335] in
let {[X4344, X4345]} = observe !'alice !toolbox !shed [X4342, X4343] in
let {X4346} = move !'bob !upstairs_hall !study [X4340, -19] in
let {[X4347, X4348]} = observe !'alice !toolbox !shed [X4344, X4345] in
let {X4349} = move !'bob !study !upstairs_hall [X4346, -22] in
let {X4350} = move !'bob !upstairs_hall !bathroom [X4349, -20] in
let {X4351} = move !'bob !bathroom !upstairs_hall [X4350, -23] in
let {[X4352, X4353]} = observe !'alice !toolbox !shed [X4347, X4348] in
let {X4354} = move !'alice !shed !path_by_the_shed [X4352, -16] in
let {X4355} = move !'bob !upstairs_hall !bedroom [X4351, -17] in
let {[X4356, X4357]} = observe !'bob !bedsheets !bedroom [X4355, X4308] in
let {X4358} = move !'bob !bedroom !upstairs_hall [X4356, -21] in
let {X4359} = move !'alice !path_by_the_shed !shed [X4354, -15] in
let {X4360} = move !'bob !upstairs_hall !front_hall [X4358, -18] in
let {[X4361, X4362]} = observe !'alice !toolbox !shed [X4359, X4353] in
let {X4363} = move !'bob !front_hall !upstairs_hall [X4360, -9] in
let {X4364} = move !'alice !shed !path_by_the_shed [X4361, -16] in
let {X4365} = move !'alice !path_by_the_shed !shed [X4364, -15] in
let {[X4366, X4367]} = observe !'alice !toolbox !shed [X4365, X4362] in
let {X4368} = move !'bob !upstairs_hall !front_hall [X4363, -18] in
let {[X4369, X4370]} = observe !'alice !toolbox !shed [X4366, X4367] in
let {X4371} = move !'alice !shed !path_by_the_shed [X4369, -16] in
let {X4372} = move !'alice !path_by_the_shed !shed [X4371, -15] in
let {[X4373, X4374]} = observe !'alice !toolbox !shed [X4372, X4370] in
let {[X4375, X4376]} = observe !'alice !toolbox !shed [X4373, X4374] in
let {X4377} = move !'bob !front_hall !driveway [X4368, -8] in
let {[X4378, X4379]} = observe !'alice !toolbox !shed [X4375, X4376] in
let {[X4380, X4381]} = observe !'alice !toolbox !shed [X4378, X4379] in
let {X4382} = move !'bob !driveway !garage [X4377, -11] in
let {[X4383, X4384]} = observe !'alice !toolbox !shed [X4380, X4381] in
let {X4385} = move !'alice !shed !path_by_the_shed [X4383, -16] in
let {X4386} = move !'alice !path_by_the_shed !driveway [X4385, -14] in
let {[X4387, [X4388, X4389]]} = search !'alice !mailbox !golden_falcon [X4386, [X4331, X4329]] in
let {[X4390, [X4391, X4392]]} = stash !'alice !mailbox !golden_falcon [X4387, [X4388, [X4389, [container/mailbox, treasure/falcon]]]] in
let {X4393} = move !'bob !garage !driveway [X4382, -13] in
let {X4394} = move !'alice !driveway !garage [X4390, -11] in
let {X4395} = move !'alice !garage !driveway [X4394, -13] in
let {[X4396, X4397]} = greet !'alice !'bob !driveway [X4395, X4393] in
let {[X4398, [X4399, X4400]]} = search !'bob !mailbox !golden_falcon [X4397, [X4391, X4392]] in
let {X4401} = move !'alice !driveway !front_hall [X4396, -10] in
let {[X4402, [X4403, X4404]]} = stash !'bob !mailbox !golden_falcon [X4398, [X4399, [X4400, [container/mailbox, treasure/falcon]]]] in
let {[X4405, X4406]} = observe !'bob !mailbox !driveway [X4402, X4403] in
let {X4407} = move !'alice !front_hall !living_room [X4401, -7] in
let {[X4408, X4409]} = observe !'bob !mailbox !driveway [X4405, X4406] in
let {X4410} = move !'bob !driveway !path_by_the_shed [X4408, -12] in
let {X4411} = move !'alice !living_room !front_hall [X4407, -3] in
let {X4412} = move !'alice !front_hall !living_room [X4411, -7] in
let {X4413} = move !'alice !living_room !front_hall [X4412, -3] in
let {X4414} = move !'alice !front_hall !kitchen [X4413, -6] in
let {[X4415, X4416]} = observe !'alice !cabinet !kitchen [X4414, X4080] in
let {[X4417, X4418]} = observe !'alice !cabinet !kitchen [X4415, X4416] in
let {[X4419, [X4420, X4421]]} = search !'alice !cabinet !stolen_jewels [X4417, [X4418, X4081]] in
let {X4422} = move !'alice !kitchen !front_hall [X4419, -1] in
let {X4423} = move !'bob !path_by_the_shed !shed [X4410, -15] in
let {X4424} = move !'bob !shed !path_by_the_shed [X4423, -16] in
let {X4425} = move !'bob !path_by_the_shed !shed [X4424, -15] in
let {[X4426, X4427]} = observe !'bob !toolbox !shed [X4425, X4384] in
let {[X4428, X4429]} = observe !'bob !toolbox !shed [X4426, X4427] in
let {X4430} = move !'bob !shed !path_by_the_shed [X4428, -16] in
let {X4431} = move !'bob !path_by_the_shed !shed [X4430, -15] in
let {X4432} = move !'bob !shed !path_by_the_shed [X4431, -16] in
let {X4433} = move !'bob !path_by_the_shed !driveway [X4432, -14] in
let {X4434} = move !'bob !driveway !path_by_the_shed [X4433, -12] in
let {X4435} = move !'bob !path_by_the_shed !shed [X4434, -15] in
let {X4436} = move !'bob !shed !path_by_the_shed [X4435, -16] in
let {X4437} = move !'bob !path_by_the_shed !driveway [X4436, -14] in
let {X4438} = move !'alice !front_hall !living_room [X4422, -7] in
let {[X4439, X4440]} = observe !'bob !mailbox !driveway [X4437, X4409] in
let {X4441} = move !'alice !living_room !dining_room [X4438, -2] in
let {[X4442, X4443]} = observe !'bob !mailbox !driveway [X4439, X4440] in
let {X4444} = move !'bob !driveway !path_by_the_shed [X4442, -12] in
let {X4445} = move !'alice !dining_room !kitchen [X4441, -5] in
let {[X4446, X4447]} = observe !'alice !cabinet !kitchen [X4445, X4420] in
let {[X4448, X4449]} = observe !'alice !cabinet !kitchen [X4446, X4447] in
let {X4450} = move !'bob !path_by_the_shed !driveway [X4444, -14] in
let {[X4451, [X4452, X4453]]} = stash !'alice !cupboards !stolen_jewels [X4448, [X4062, [X4421, [container/cupboards, treasure/jewels]]]] in
let {[X4454, [X4455, X4456]]} = search !'alice !cupboards !stolen_jewels [X4451, [X4452, X4453]] in
let {[X4457, X4458]} = observe !'bob !mailbox !driveway [X4450, X4443] in
let {[X4459, X4460]} = observe !'bob !mailbox !driveway [X4457, X4458] in
let {[X4461, [X4462, X4463]]} = search !'bob !mailbox !golden_falcon [X4459, [X4460, X4404]] in
let {[X4464, X4465]} = observe !'alice !cabinet !kitchen [X4454, X4449] in
let {[X4466, [X4467, X4468]]} = stash !'bob !mailbox !golden_falcon [X4461, [X4462, [X4463, [container/mailbox, treasure/falcon]]]] in
let {[X4469, X4470]} = observe !'alice !cabinet !kitchen [X4464, X4465] in
let {X4471} = move !'bob !driveway !garage [X4466, -11] in
let {[X4472, [X4473, X4474]]} = stash !'alice !cabinet !stolen_jewels [X4469, [X4470, [X4456, [container/cabinet, treasure/jewels]]]] in
let {X4475} = move !'bob !garage !driveway [X4471, -13] in
let {X4476} = move !'alice !kitchen !dining_room [X4472, -] in
let {X4477} = move !'bob !driveway !front_hall [X4475, -10] in
let {X4478} = move !'alice !dining_room !front_hall [X4476, -4] in
let {[X4479, X4480]} = leave_observed !'alice !'bob !front_hall !living_room [X4478, [X4477, -7]] in
let {X4481} = move !'bob !front_hall !driveway [X4480, -8] in
let {X4482} = move !'alice !living_room !dining_room [X4479, -2] in
let {[X4483, [X4484, X4485]]} = search !'bob !mailbox !golden_falcon [X4481, [X4467, X4468]] in
let {[X4486, X4487]} = observe !'bob !mailbox !driveway [X4483, X4484] in
let {X4488} = move !'bob !driveway !path_by_the_shed [X4486, -12] in
let {X4489} = move !'bob !path_by_the_shed !driveway [X4488, -14] in
let {[X4490, X4491]} = observe !'bob !mailbox !driveway [X4489, X4487] in
let {[X4492, X4493]} = observe !'bob !mailbox !driveway [X4490, X4491] in
let {[X4494, [X4495, X4496]]} = stash !'bob !mailbox !golden_falcon [X4492, [X4493, [X4485, [container/mailbox, treasure/falcon]]]] in
let {[X4497, X4498]} = observe !'bob !mailbox !driveway [X4494, X4495] in
let {X4499} = move !'bob !driveway !front_hall [X4497, -10] in
let {X4500} = move !'bob !front_hall !driveway [X4499, -8] in
let {[X4501, X4502]} = observe !'bob !mailbox !driveway [X4500, X4498] in
let {[X4503, [X4504, X4505]]} = search !'bob !mailbox !golden_falcon [X4501, [X4502, X4496]] in
let {X4506} = move !'bob !driveway !garage [X4503, -11] in
let {X4507} = move !'alice !dining_room !kitchen [X4482, -5] in
let {[X4508, [X4509, X4510]]} = drive_away !'bob !golden_falcon !revolver [X4506, [X4505, X3978]] in
let {X4511} = fin_droveaway !'alice !'bob !kitchen [X4507, X4508] in [X4455, [X4473, [X4504, [X4357, [X4429, [X4510, [X4509, [X4474, [X4339, X4511]]]]]]]]]}
#A = \!X4512. \!X4513. inroom !kitchen
#B = \!X4514. \!X4515. inroom !kitchen
#C = \!X4516. \!X4517. inroom !driveway
#D = \!X4518. \!X4519. inroom !bedroom
#E = \!X4520. \!X4521. inroom !shed
#F = \!X4522. \!X4523. has !X4523
#G = \!X4524. \!X4525. has !X4525
#H = \!X4526. \!X4527. inside !cabinet
#I = \!X4528. \!X4529. inroom !bathroom
#J = \!X4530. \!X4531. droveaway !X4531
Iteration 5
Solution: \!'alice. \!'bob. \[X4532, [X4533, [X4534, [X4535, [X4536, [X4537, [X4538, [X4539, [X4540, [X4541, X4542]]]]]]]]]]. {
let {[X4543, X4544]} = observe !'alice !bedsheets !bedroom [X4532, X4537] in
let {[X4545, X4546]} = observe !'alice !bedsheets !bedroom [X4543, X4544] in
let {[X4547, X4548]} = observe !'alice !bedsheets !bedroom [X4545, X4546] in
let {[X4549, [X4550, X4551]]} = search !'alice !bedsheets !stolen_jewels [X4547, [X4548, X4541]] in
let {X4552} = move !'bob !front_hall !upstairs_hall [X4533, -9] in
let {X4553} = move !'alice !bedroom !upstairs_hall [X4549, -21] in
let {[X4554, X4555]} = observe_location !'bob !'alice !upstairs_hall [X4552, X4553] in
let {[X4556, X4557]} = leave_observed !'bob !'alice !upstairs_hall !bedroom [X4554, [X4555, -17]] in
let {X4558} = move !'alice !upstairs_hall !bathroom [X4557, -20] in
let {[X4559, X4560]} = observe_horror !'alice !dead_body !bathroom [X4558, [X4542, horrible/body]] in
let {[X4561, X4562]} = observe !'alice !dead_body !bathroom [X4559, X4560] in
let {[X4563, X4564]} = observe !'bob !bedsheets !bedroom [X4556, X4550] in
let {X4565} = move !'alice !bathroom !upstairs_hall [X4561, -23] in
let {X4566} = move !'alice !upstairs_hall !bedroom [X4565, -17] in
let {X4567} = move !'bob !bedroom !upstairs_hall [X4563, -21] in
let {X4568} = move !'bob !upstairs_hall !study [X4567, -19] in
let {X4569} = move !'bob !study !upstairs_hall [X4568, -22] in
let {[X4570, X4571]} = observe !'alice !bedsheets !bedroom [X4566, X4564] in
let {[X4572, X4573]} = observe !'alice !bedsheets !bedroom [X4570, X4571] in
let {X4574} = move !'bob !upstairs_hall !bathroom [X4569, -20] in
let {X4575} = move !'alice !bedroom !upstairs_hall [X4572, -21] in
let {[X4576, X4577]} = observe_horror !'bob !dead_body !bathroom [X4574, [X4562, horrible/body]] in
let {X4578} = move !'bob !bathroom !upstairs_hall [X4576, -23] in
let {[X4579, X4580]} = greet !'alice !'bob !upstairs_hall [X4575, X4578] in
let {X4581} = move !'bob !upstairs_hall !study [X4580, -19] in
let {X4582} = move !'alice !upstairs_hall !bathroom [X4579, -20] in
let {[X4583, X4584]} = observe_horror !'alice !dead_body !bathroom [X4582, [X4577, horrible/body]] in
let {[X4585, X4586]} = observe !'alice !dead_body !bathroom [X4583, X4584] in
let {X4587} = move !'bob !study !upstairs_hall [X4581, -22] in
let {X4588} = move !'alice !bathroom !upstairs_hall [X4585, -23] in
let {[X4589, X4590]} = leave_observed !'alice !'bob !upstairs_hall !study [X4588, [X4587, -19]] in
let {X4591} = move !'alice !study !upstairs_hall [X4589, -22] in
let {[X4592, X4593]} = greet !'bob !'alice !upstairs_hall [X4590, X4591] in
let {[X4594, X4595]} = observe_location !'bob !'alice !upstairs_hall [X4592, X4593] in
let {[X4596, X4597]} = greet !'alice !'bob !upstairs_hall [X4595, X4594] in
let {X4598} = move !'alice !upstairs_hall !bathroom [X4596, -20] in
let {[X4599, X4600]} = observe !'alice !dead_body !bathroom [X4598, X4586] in
let {X4601} = move !'bob !upstairs_hall !bedroom [X4597, -17] in
let {[X4602, X4603]} = observe !'bob !bedsheets !bedroom [X4601, X4573] in
let {X4604} = move !'alice !bathroom !upstairs_hall [X4599, -23] in
let {[X4605, X4606]} = observe !'bob !bedsheets !bedroom [X4602, X4603] in
let {X4607} = move !'alice !upstairs_hall !bedroom [X4604, -17] in
let {[X4608, X4609]} = leave_observed !'alice !'bob !bedroom !upstairs_hall [X4607, [X4605, -21]] in
let {[X4610, X4611]} = observe !'bob !bedsheets !bedroom [X4609, X4606] in
let {X4612} = move !'alice !upstairs_hall !front_hall [X4608, -18] in
let {[X4613, X4614]} = observe !'bob !bedsheets !bedroom [X4610, X4611] in
let {[X4615, X4616]} = observe !'bob !bedsheets !bedroom [X4613, X4614] in
let {X4617} = move !'alice !front_hall !driveway [X4612, -8] in
let {[X4618, X4619]} = observe !'alice !mailbox !driveway [X4617, X4536] in
let {X4620} = move !'bob !bedroom !upstairs_hall [X4615, -21] in
let {[X4621, [X4622, X4623]]} = stash !'alice !mailbox !stolen_jewels [X4618, [X4619, [X4551, [container/mailbox, treasure/jewels]]]] in
let {[X4624, [X4625, X4626]]} = search !'alice !mailbox !stolen_jewels [X4621, [X4622, X4623]] in
let {[X4627, X4628]} = observe !'alice !mailbox !driveway [X4624, X4625] in
let {X4629} = move !'bob !upstairs_hall !bathroom [X4620, -20] in
let {[X4630, X4631]} = observe_horror !'bob !dead_body !bathroom [X4629, [X4600, horrible/body]] in
let {[X4632, X4633]} = observe !'alice !mailbox !driveway [X4627, X4628] in
let {X4634} = move !'alice !driveway !path_by_the_shed [X4632, -12] in
let {[X4635, X4636]} = observe_horror !'bob !dead_body !bathroom [X4630, [X4631, horrible/body]] in
let {[X4637, X4638]} = observe !'bob !dead_body !bathroom [X4635, X4636] in
let {X4639} = move !'alice !path_by_the_shed !shed [X4634, -15] in
let {[X4640, [X4641, X4642]]} = search !'alice !toolbox !golden_falcon [X4639, [X4538, X4540]] in
let {[X4643, X4644]} = observe_horror !'bob !dead_body !bathroom [X4637, [X4638, horrible/body]] in
let {X4645} = move !'alice !shed !path_by_the_shed [X4640, -16] in
let {[X4646, X4647]} = observe !'bob !dead_body !bathroom [X4643, X4644] in
let {[X4648, X4649]} = observe_horror !'bob !dead_body !bathroom [X4646, [X4647, horrible/body]] in
let {X4650} = move !'bob !bathroom !upstairs_hall [X4648, -23] in
let {X4651} = move !'alice !path_by_the_shed !driveway [X4645, -14] in
let {X4652} = move !'alice !driveway !path_by_the_shed [X4651, -12] in
let {X4653} = move !'bob !upstairs_hall !study [X4650, -19] in
let {X4654} = move !'alice !path_by_the_shed !shed [X4652, -15] in
let {X4655} = move !'alice !shed !path_by_the_shed [X4654, -16] in
let {X4656} = move !'bob !study !upstairs_hall [X4653, -22] in
let {X4657} = move !'alice !path_by_the_shed !shed [X4655, -15] in
let {X4658} = move !'bob !upstairs_hall !study [X4656, -19] in
let {[X4659, X4660]} = observe !'alice !toolbox !shed [X4657, X4641] in
let {[X4661, X4662]} = observe !'alice !toolbox !shed [X4659, X4660] in
let {[X4663, X4664]} = observe !'alice !toolbox !shed [X4661, X4662] in
let {[X4665, [X4666, X4667]]} = stash !'alice !toolbox !stolen_jewels [X4663, [X4664, [X4626, [container/toolbox, treasure/jewels]]]] in
let {[X4668, [X4669, X4670]]} = search !'alice !toolbox !stolen_jewels [X4665, [X4666, X4667]] in
let {[X4671, [X4672, X4673]]} = stash !'alice !toolbox !stolen_jewels [X4668, [X4669, [X4670, [container/toolbox, treasure/jewels]]]] in
let {[X4674, [X4675, X4676]]} = search !'alice !toolbox !stolen_jewels [X4671, [X4672, X4673]] in
let {[X4677, X4678]} = observe !'alice !toolbox !shed [X4674, X4675] in
let {[X4679, X4680]} = observe !'alice !toolbox !shed [X4677, X4678] in
let {X4681} = move !'alice !shed !path_by_the_shed [X4679, -16] in
let {X4682} = move !'bob !study !upstairs_hall [X4658, -22] in
let {X4683} = move !'alice !path_by_the_shed !shed [X4681, -15] in
let {[X4684, [X4685, X4686]]} = stash !'alice !toolbox !stolen_jewels [X4683, [X4680, [X4676, [container/toolbox, treasure/jewels]]]] in
let {[X4687, X4688]} = observe !'alice !toolbox !shed [X4684, X4685] in
let {X4689} = move !'bob !upstairs_hall !front_hall [X4682, -18] in
let {[X4690, X4691]} = observe !'alice !toolbox !shed [X4687, X4688] in
let {[X4692, X4693]} = observe !'alice !toolbox !shed [X4690, X4691] in
let {[X4694, X4695]} = observe !'alice !toolbox !shed [X4692, X4693] in
let {[X4696, [X4697, X4698]]} = search !'alice !toolbox !stolen_jewels [X4694, [X4695, X4686]] in
let {X4699} = move !'bob !front_hall !living_room [X4689, -7] in
let {X4700} = move !'alice !shed !path_by_the_shed [X4696, -16] in
let {X4701} = move !'bob !living_room !dining_room [X4699, -2] in
let {X4702} = move !'bob !dining_room !front_hall [X4701, -4] in
let {X4703} = move !'bob !front_hall !kitchen [X4702, -6] in
let {X4704} = move !'bob !kitchen !front_hall [X4703, -1] in
let {X4705} = move !'bob !front_hall !living_room [X4704, -7] in
let {X4706} = move !'bob !living_room !front_hall [X4705, -3] in
let {X4707} = move !'bob !front_hall !living_room [X4706, -7] in
let {X4708} = move !'bob !living_room !dining_room [X4707, -2] in
let {X4709} = move !'alice !path_by_the_shed !shed [X4700, -15] in
let {[X4710, X4711]} = observe !'alice !toolbox !shed [X4709, X4697] in
let {[X4712, X4713]} = observe !'alice !toolbox !shed [X4710, X4711] in
let {X4714} = move !'bob !dining_room !front_hall [X4708, -4] in
let {X4715} = move !'alice !shed !path_by_the_shed [X4712, -16] in
let {X4716} = move !'bob !front_hall !driveway [X4714, -8] in
let {X4717} = move !'bob !driveway !garage [X4716, -11] in
let {X4718} = move !'alice !path_by_the_shed !shed [X4715, -15] in
let {X4719} = move !'alice !shed !path_by_the_shed [X4718, -16] in
let {X4720} = move !'alice !path_by_the_shed !driveway [X4719, -14] in
let {[X4721, [X4722, X4723]]} = stash !'alice !mailbox !stolen_jewels [X4720, [X4633, [X4698, [container/mailbox, treasure/jewels]]]] in
let {[X4724, [X4725, X4726]]} = stash !'alice !mailbox !golden_falcon [X4721, [X4722, [X4642, [container/mailbox, treasure/falcon]]]] in
let {X4727} = move !'bob !garage !driveway [X4717, -13] in
let {[X4728, X4729]} = greet !'alice !'bob !driveway [X4724, X4727] in
let {[X4730, X4731]} = observe !'alice !mailbox !driveway [X4728, X4725] in
let {[X4732, X4733]} = observe_location !'bob !'alice !driveway [X4729, X4730] in
let {[X4734, X4735]} = observe !'alice !mailbox !driveway [X4733, X4731] in
let {[X4736, [X4737, X4738]]} = search !'alice !mailbox !golden_falcon [X4734, [X4735, X4726]] in
let {[X4739, [X4740, X4741]]} = observe_with !'bob !'alice !golden_falcon !driveway [X4732, [X4736, X4738]] in
let {[X4742, [X4743, X4744]]} = observe_with !'bob !'alice !golden_falcon !driveway [X4739, [X4740, X4741]] in
let {[X4745, [X4746, X4747]]} = observe_with !'bob !'alice !golden_falcon !driveway [X4742, [X4743, X4744]] in
let {[X4748, [X4749, X4750]]} = observe_with !'bob !'alice !golden_falcon !driveway [X4745, [X4746, X4747]] in
let {[X4751, X4752]} = leave_observed !'bob !'alice !driveway !front_hall [X4748, [X4749, -10]] in
let {X4753} = move !'bob !front_hall !living_room [X4751, -7] in
let {[X4754, [X4755, X4756]]} = stash !'alice !mailbox !golden_falcon [X4752, [X4737, [X4750, [container/mailbox, treasure/falcon]]]] in
let {[X4757, [X4758, X4759]]} = search !'alice !mailbox !golden_falcon [X4754, [X4755, X4756]] in
let {[X4760, [X4761, X4762]]} = search !'alice !mailbox !stolen_jewels [X4757, [X4758, X4723]] in
let {[X4763, X4764]} = observe !'alice !mailbox !driveway [X4760, X4761] in
let {X4765} = move !'bob !living_room !dining_room [X4753, -2] in
let {X4766} = move !'bob !dining_room !kitchen [X4765, -5] in
let {[X4767, [X4768, X4769]]} = search !'bob !cabinet !revolver [X4766, [X4535, X4539]] in
let {[X4770, X4771]} = observe !'alice !mailbox !driveway [X4763, X4764] in
let {[X4772, X4773]} = observe !'alice !mailbox !driveway [X4770, X4771] in
let {X4774} = move !'bob !kitchen !front_hall [X4767, -1] in
let {X4775} = move !'bob !front_hall !driveway [X4774, -8] in
let {X4776} = move !'alice !driveway !garage [X4772, -11] in
let {[X4777, [X4778, X4779]]} = drive_away !'alice !stolen_jewels !golden_falcon [X4776, [X4762, X4759]] in
let {[X4780, X4781]} = observe !'bob !mailbox !driveway [X4775, X4773] in
let {X4782} = move !'bob !driveway !path_by_the_shed [X4780, -12] in
let {X4783} = move !'bob !path_by_the_shed !driveway [X4782, -14] in
let {X4784} = fin_droveaway !'bob !'alice !driveway [X4783, X4777] in [X4534, [X4768, [X4781, [X4616, [X4713, [X4769, [X4779, [X4778, [X4649, X4784]]]]]]]]]}
#A = \!X4785. \!X4786. inroom !kitchen
#B = \!X4787. \!X4788. inroom !kitchen
#C = \!X4789. \!X4790. inroom !driveway
#D = \!X4791. \!X4792. inroom !bedroom
#E = \!X4793. \!X4794. inroom !shed
#F = \!X4795. \!X4796. has !X4796
#G = \!X4797. \!X4798. has !X4797
#H = \!X4799. \!X4800. has !X4799
#I = \!X4801. \!X4802. inroom !bathroom
#J = \!X4803. \!X4804. droveaway !X4803
[closing world/swallows/swallows.clf]