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