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