TSTP Solution File: NLP119+1 by Otter---3.3
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Otter---3.3
% Problem : NLP119+1 : TPTP v8.1.0. Released v2.4.0.
% Transfm : none
% Format : tptp:raw
% Command : otter-tptp-script %s
% Computer : n023.cluster.edu
% Model : x86_64 x86_64
% CPU : Intel(R) Xeon(R) CPU E5-2620 v4 2.10GHz
% Memory : 8042.1875MB
% OS : Linux 3.10.0-693.el7.x86_64
% CPULimit : 300s
% WCLimit : 300s
% DateTime : Wed Jul 27 13:06:51 EDT 2022
% Result : Timeout 299.87s 300.01s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.10/0.11 % Problem : NLP119+1 : TPTP v8.1.0. Released v2.4.0.
% 0.10/0.12 % Command : otter-tptp-script %s
% 0.13/0.33 % Computer : n023.cluster.edu
% 0.13/0.33 % Model : x86_64 x86_64
% 0.13/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.33 % Memory : 8042.1875MB
% 0.13/0.33 % OS : Linux 3.10.0-693.el7.x86_64
% 0.13/0.33 % CPULimit : 300
% 0.13/0.33 % WCLimit : 300
% 0.13/0.33 % DateTime : Wed Jul 27 09:04:33 EDT 2022
% 0.13/0.33 % CPUTime :
% 1.94/2.10 ----- Otter 3.3f, August 2004 -----
% 1.94/2.10 The process was started by sandbox2 on n023.cluster.edu,
% 1.94/2.10 Wed Jul 27 09:04:33 2022
% 1.94/2.10 The command was "./otter". The process ID is 11554.
% 1.94/2.10
% 1.94/2.10 set(prolog_style_variables).
% 1.94/2.10 set(auto).
% 1.94/2.10 dependent: set(auto1).
% 1.94/2.10 dependent: set(process_input).
% 1.94/2.10 dependent: clear(print_kept).
% 1.94/2.10 dependent: clear(print_new_demod).
% 1.94/2.10 dependent: clear(print_back_demod).
% 1.94/2.10 dependent: clear(print_back_sub).
% 1.94/2.10 dependent: set(control_memory).
% 1.94/2.10 dependent: assign(max_mem, 12000).
% 1.94/2.10 dependent: assign(pick_given_ratio, 4).
% 1.94/2.10 dependent: assign(stats_level, 1).
% 1.94/2.10 dependent: assign(max_seconds, 10800).
% 1.94/2.10 clear(print_given).
% 1.94/2.10
% 1.94/2.10 formula_list(usable).
% 1.94/2.10 -(-(-(((exists U (actual_world(U)& (exists V W X Y Z (of(U,W,V)&city(U,V)&hollywood_placename(U,W)&placename(U,W)&chevy(U,X)&white(U,X)&dirty(U,X)&old(U,X)&street(U,Y)&lonely(U,Y)&event(U,Z)&agent(U,Z,X)&present(U,Z)&barrel(U,Z)&down(U,Z,Y)&in(U,Z,V)))))-> (exists X1 (actual_world(X1)& (exists X2 X3 X4 X5 (street(X1,X2)&lonely(X1,X2)&of(X1,X3,X4)&city(X1,X4)&hollywood_placename(X1,X3)&placename(X1,X3)&chevy(X1,X4)&white(X1,X4)&dirty(X1,X4)&old(X1,X4)&event(X1,X5)&agent(X1,X5,X4)&present(X1,X5)&barrel(X1,X5)&down(X1,X5,X2)&in(X1,X5,X4))))))& ((exists X1 (actual_world(X1)& (exists X2 X3 X4 X5 (street(X1,X2)&lonely(X1,X2)&of(X1,X3,X4)&city(X1,X4)&hollywood_placename(X1,X3)&placename(X1,X3)&chevy(X1,X4)&white(X1,X4)&dirty(X1,X4)&old(X1,X4)&event(X1,X5)&agent(X1,X5,X4)&present(X1,X5)&barrel(X1,X5)&down(X1,X5,X2)&in(X1,X5,X4)))))-> (exists U (actual_world(U)& (exists V W X Y Z (of(U,W,V)&city(U,V)&hollywood_placename(U,W)&placename(U,W)&chevy(U,X)&white(U,X)&dirty(U,X)&old(U,X)&street(U,Y)&lonely(U,Y)&event(U,Z)&agent(U,Z,X)&present(U,Z)&barrel(U,Z)&down(U,Z,Y)&in(U,Z,V))))))))).
% 1.94/2.10 end_of_list.
% 1.94/2.10
% 1.94/2.10 -------> usable clausifies to:
% 1.94/2.10
% 1.94/2.10 list(usable).
% 1.94/2.10 0 [] actual_world($c6)|actual_world($c11).
% 1.94/2.10 0 [] actual_world($c6)|street($c11,$c10).
% 1.94/2.10 0 [] actual_world($c6)|lonely($c11,$c10).
% 1.94/2.10 0 [] actual_world($c6)|of($c11,$c9,$c8).
% 1.94/2.10 0 [] actual_world($c6)|city($c11,$c8).
% 1.94/2.10 0 [] actual_world($c6)|hollywood_placename($c11,$c9).
% 1.94/2.10 0 [] actual_world($c6)|placename($c11,$c9).
% 1.94/2.10 0 [] actual_world($c6)|chevy($c11,$c8).
% 1.94/2.10 0 [] actual_world($c6)|white($c11,$c8).
% 1.94/2.10 0 [] actual_world($c6)|dirty($c11,$c8).
% 1.94/2.10 0 [] actual_world($c6)|old($c11,$c8).
% 1.94/2.10 0 [] actual_world($c6)|event($c11,$c7).
% 1.94/2.10 0 [] actual_world($c6)|agent($c11,$c7,$c8).
% 1.94/2.10 0 [] actual_world($c6)|present($c11,$c7).
% 1.94/2.10 0 [] actual_world($c6)|barrel($c11,$c7).
% 1.94/2.10 0 [] actual_world($c6)|down($c11,$c7,$c10).
% 1.94/2.10 0 [] actual_world($c6)|in($c11,$c7,$c8).
% 1.94/2.10 0 [] actual_world($c6)| -actual_world(U)| -of(U,W,V)| -city(U,V)| -hollywood_placename(U,W)| -placename(U,W)| -chevy(U,X)| -white(U,X)| -dirty(U,X)| -old(U,X)| -street(U,Y)| -lonely(U,Y)| -event(U,Z)| -agent(U,Z,X)| -present(U,Z)| -barrel(U,Z)| -down(U,Z,Y)| -in(U,Z,V).
% 1.94/2.10 0 [] of($c6,$c4,$c5)|actual_world($c11).
% 1.94/2.10 0 [] of($c6,$c4,$c5)|street($c11,$c10).
% 1.94/2.10 0 [] of($c6,$c4,$c5)|lonely($c11,$c10).
% 1.94/2.10 0 [] of($c6,$c4,$c5)|of($c11,$c9,$c8).
% 1.94/2.10 0 [] of($c6,$c4,$c5)|city($c11,$c8).
% 1.94/2.10 0 [] of($c6,$c4,$c5)|hollywood_placename($c11,$c9).
% 1.94/2.10 0 [] of($c6,$c4,$c5)|placename($c11,$c9).
% 1.94/2.10 0 [] of($c6,$c4,$c5)|chevy($c11,$c8).
% 1.94/2.10 0 [] of($c6,$c4,$c5)|white($c11,$c8).
% 1.94/2.10 0 [] of($c6,$c4,$c5)|dirty($c11,$c8).
% 1.94/2.10 0 [] of($c6,$c4,$c5)|old($c11,$c8).
% 1.94/2.10 0 [] of($c6,$c4,$c5)|event($c11,$c7).
% 1.94/2.10 0 [] of($c6,$c4,$c5)|agent($c11,$c7,$c8).
% 1.94/2.10 0 [] of($c6,$c4,$c5)|present($c11,$c7).
% 1.94/2.10 0 [] of($c6,$c4,$c5)|barrel($c11,$c7).
% 1.94/2.10 0 [] of($c6,$c4,$c5)|down($c11,$c7,$c10).
% 1.94/2.10 0 [] of($c6,$c4,$c5)|in($c11,$c7,$c8).
% 1.94/2.10 0 [] of($c6,$c4,$c5)| -actual_world(U)| -of(U,W,V)| -city(U,V)| -hollywood_placename(U,W)| -placename(U,W)| -chevy(U,X)| -white(U,X)| -dirty(U,X)| -old(U,X)| -street(U,Y)| -lonely(U,Y)| -event(U,Z)| -agent(U,Z,X)| -present(U,Z)| -barrel(U,Z)| -down(U,Z,Y)| -in(U,Z,V).
% 1.94/2.10 0 [] city($c6,$c5)|actual_world($c11).
% 1.94/2.10 0 [] city($c6,$c5)|street($c11,$c10).
% 1.94/2.10 0 [] city($c6,$c5)|lonely($c11,$c10).
% 1.94/2.10 0 [] city($c6,$c5)|of($c11,$c9,$c8).
% 1.94/2.10 0 [] city($c6,$c5)|city($c11,$c8).
% 1.94/2.10 0 [] city($c6,$c5)|hollywood_placename($c11,$c9).
% 1.94/2.10 0 [] city($c6,$c5)|placename($c11,$c9).
% 1.94/2.10 0 [] city($c6,$c5)|chevy($c11,$c8).
% 1.94/2.10 0 [] city($c6,$c5)|white($c11,$c8).
% 1.94/2.10 0 [] city($c6,$c5)|dirty($c11,$c8).
% 1.94/2.10 0 [] city($c6,$c5)|old($c11,$c8).
% 1.94/2.10 0 [] city($c6,$c5)|event($c11,$c7).
% 1.94/2.10 0 [] city($c6,$c5)|agent($c11,$c7,$c8).
% 1.94/2.10 0 [] city($c6,$c5)|present($c11,$c7).
% 1.94/2.10 0 [] city($c6,$c5)|barrel($c11,$c7).
% 1.94/2.10 0 [] city($c6,$c5)|down($c11,$c7,$c10).
% 1.94/2.10 0 [] city($c6,$c5)|in($c11,$c7,$c8).
% 1.94/2.10 0 [] city($c6,$c5)| -actual_world(U)| -of(U,W,V)| -city(U,V)| -hollywood_placename(U,W)| -placename(U,W)| -chevy(U,X)| -white(U,X)| -dirty(U,X)| -old(U,X)| -street(U,Y)| -lonely(U,Y)| -event(U,Z)| -agent(U,Z,X)| -present(U,Z)| -barrel(U,Z)| -down(U,Z,Y)| -in(U,Z,V).
% 1.94/2.10 0 [] hollywood_placename($c6,$c4)|actual_world($c11).
% 1.94/2.10 0 [] hollywood_placename($c6,$c4)|street($c11,$c10).
% 1.94/2.10 0 [] hollywood_placename($c6,$c4)|lonely($c11,$c10).
% 1.94/2.10 0 [] hollywood_placename($c6,$c4)|of($c11,$c9,$c8).
% 1.94/2.10 0 [] hollywood_placename($c6,$c4)|city($c11,$c8).
% 1.94/2.10 0 [] hollywood_placename($c6,$c4)|hollywood_placename($c11,$c9).
% 1.94/2.10 0 [] hollywood_placename($c6,$c4)|placename($c11,$c9).
% 1.94/2.10 0 [] hollywood_placename($c6,$c4)|chevy($c11,$c8).
% 1.94/2.10 0 [] hollywood_placename($c6,$c4)|white($c11,$c8).
% 1.94/2.10 0 [] hollywood_placename($c6,$c4)|dirty($c11,$c8).
% 1.94/2.10 0 [] hollywood_placename($c6,$c4)|old($c11,$c8).
% 1.94/2.10 0 [] hollywood_placename($c6,$c4)|event($c11,$c7).
% 1.94/2.10 0 [] hollywood_placename($c6,$c4)|agent($c11,$c7,$c8).
% 1.94/2.10 0 [] hollywood_placename($c6,$c4)|present($c11,$c7).
% 1.94/2.10 0 [] hollywood_placename($c6,$c4)|barrel($c11,$c7).
% 1.94/2.10 0 [] hollywood_placename($c6,$c4)|down($c11,$c7,$c10).
% 1.94/2.10 0 [] hollywood_placename($c6,$c4)|in($c11,$c7,$c8).
% 1.94/2.10 0 [] hollywood_placename($c6,$c4)| -actual_world(U)| -of(U,W,V)| -city(U,V)| -hollywood_placename(U,W)| -placename(U,W)| -chevy(U,X)| -white(U,X)| -dirty(U,X)| -old(U,X)| -street(U,Y)| -lonely(U,Y)| -event(U,Z)| -agent(U,Z,X)| -present(U,Z)| -barrel(U,Z)| -down(U,Z,Y)| -in(U,Z,V).
% 1.94/2.10 0 [] placename($c6,$c4)|actual_world($c11).
% 1.94/2.10 0 [] placename($c6,$c4)|street($c11,$c10).
% 1.94/2.10 0 [] placename($c6,$c4)|lonely($c11,$c10).
% 1.94/2.10 0 [] placename($c6,$c4)|of($c11,$c9,$c8).
% 1.94/2.10 0 [] placename($c6,$c4)|city($c11,$c8).
% 1.94/2.10 0 [] placename($c6,$c4)|hollywood_placename($c11,$c9).
% 1.94/2.10 0 [] placename($c6,$c4)|placename($c11,$c9).
% 1.94/2.10 0 [] placename($c6,$c4)|chevy($c11,$c8).
% 1.94/2.10 0 [] placename($c6,$c4)|white($c11,$c8).
% 1.94/2.10 0 [] placename($c6,$c4)|dirty($c11,$c8).
% 1.94/2.10 0 [] placename($c6,$c4)|old($c11,$c8).
% 1.94/2.10 0 [] placename($c6,$c4)|event($c11,$c7).
% 1.94/2.10 0 [] placename($c6,$c4)|agent($c11,$c7,$c8).
% 1.94/2.10 0 [] placename($c6,$c4)|present($c11,$c7).
% 1.94/2.10 0 [] placename($c6,$c4)|barrel($c11,$c7).
% 1.94/2.10 0 [] placename($c6,$c4)|down($c11,$c7,$c10).
% 1.94/2.10 0 [] placename($c6,$c4)|in($c11,$c7,$c8).
% 1.94/2.10 0 [] placename($c6,$c4)| -actual_world(U)| -of(U,W,V)| -city(U,V)| -hollywood_placename(U,W)| -placename(U,W)| -chevy(U,X)| -white(U,X)| -dirty(U,X)| -old(U,X)| -street(U,Y)| -lonely(U,Y)| -event(U,Z)| -agent(U,Z,X)| -present(U,Z)| -barrel(U,Z)| -down(U,Z,Y)| -in(U,Z,V).
% 1.94/2.10 0 [] chevy($c6,$c3)|actual_world($c11).
% 1.94/2.10 0 [] chevy($c6,$c3)|street($c11,$c10).
% 1.94/2.10 0 [] chevy($c6,$c3)|lonely($c11,$c10).
% 1.94/2.10 0 [] chevy($c6,$c3)|of($c11,$c9,$c8).
% 1.94/2.10 0 [] chevy($c6,$c3)|city($c11,$c8).
% 1.94/2.10 0 [] chevy($c6,$c3)|hollywood_placename($c11,$c9).
% 1.94/2.10 0 [] chevy($c6,$c3)|placename($c11,$c9).
% 1.94/2.10 0 [] chevy($c6,$c3)|chevy($c11,$c8).
% 1.94/2.10 0 [] chevy($c6,$c3)|white($c11,$c8).
% 1.94/2.10 0 [] chevy($c6,$c3)|dirty($c11,$c8).
% 1.94/2.10 0 [] chevy($c6,$c3)|old($c11,$c8).
% 1.94/2.10 0 [] chevy($c6,$c3)|event($c11,$c7).
% 1.94/2.10 0 [] chevy($c6,$c3)|agent($c11,$c7,$c8).
% 1.94/2.10 0 [] chevy($c6,$c3)|present($c11,$c7).
% 1.94/2.10 0 [] chevy($c6,$c3)|barrel($c11,$c7).
% 1.94/2.10 0 [] chevy($c6,$c3)|down($c11,$c7,$c10).
% 1.94/2.10 0 [] chevy($c6,$c3)|in($c11,$c7,$c8).
% 1.94/2.10 0 [] chevy($c6,$c3)| -actual_world(U)| -of(U,W,V)| -city(U,V)| -hollywood_placename(U,W)| -placename(U,W)| -chevy(U,X)| -white(U,X)| -dirty(U,X)| -old(U,X)| -street(U,Y)| -lonely(U,Y)| -event(U,Z)| -agent(U,Z,X)| -present(U,Z)| -barrel(U,Z)| -down(U,Z,Y)| -in(U,Z,V).
% 1.94/2.10 0 [] white($c6,$c3)|actual_world($c11).
% 1.94/2.10 0 [] white($c6,$c3)|street($c11,$c10).
% 1.94/2.10 0 [] white($c6,$c3)|lonely($c11,$c10).
% 1.94/2.10 0 [] white($c6,$c3)|of($c11,$c9,$c8).
% 1.94/2.10 0 [] white($c6,$c3)|city($c11,$c8).
% 1.94/2.10 0 [] white($c6,$c3)|hollywood_placename($c11,$c9).
% 1.94/2.10 0 [] white($c6,$c3)|placename($c11,$c9).
% 1.94/2.10 0 [] white($c6,$c3)|chevy($c11,$c8).
% 1.94/2.10 0 [] white($c6,$c3)|white($c11,$c8).
% 1.94/2.10 0 [] white($c6,$c3)|dirty($c11,$c8).
% 1.94/2.10 0 [] white($c6,$c3)|old($c11,$c8).
% 1.94/2.10 0 [] white($c6,$c3)|event($c11,$c7).
% 1.94/2.10 0 [] white($c6,$c3)|agent($c11,$c7,$c8).
% 1.94/2.10 0 [] white($c6,$c3)|present($c11,$c7).
% 1.94/2.10 0 [] white($c6,$c3)|barrel($c11,$c7).
% 1.94/2.10 0 [] white($c6,$c3)|down($c11,$c7,$c10).
% 1.94/2.10 0 [] white($c6,$c3)|in($c11,$c7,$c8).
% 1.94/2.10 0 [] white($c6,$c3)| -actual_world(U)| -of(U,W,V)| -city(U,V)| -hollywood_placename(U,W)| -placename(U,W)| -chevy(U,X)| -white(U,X)| -dirty(U,X)| -old(U,X)| -street(U,Y)| -lonely(U,Y)| -event(U,Z)| -agent(U,Z,X)| -present(U,Z)| -barrel(U,Z)| -down(U,Z,Y)| -in(U,Z,V).
% 1.94/2.10 0 [] dirty($c6,$c3)|actual_world($c11).
% 1.94/2.10 0 [] dirty($c6,$c3)|street($c11,$c10).
% 1.94/2.10 0 [] dirty($c6,$c3)|lonely($c11,$c10).
% 1.94/2.10 0 [] dirty($c6,$c3)|of($c11,$c9,$c8).
% 1.94/2.10 0 [] dirty($c6,$c3)|city($c11,$c8).
% 1.94/2.10 0 [] dirty($c6,$c3)|hollywood_placename($c11,$c9).
% 1.94/2.10 0 [] dirty($c6,$c3)|placename($c11,$c9).
% 1.94/2.10 0 [] dirty($c6,$c3)|chevy($c11,$c8).
% 1.94/2.10 0 [] dirty($c6,$c3)|white($c11,$c8).
% 1.94/2.10 0 [] dirty($c6,$c3)|dirty($c11,$c8).
% 1.94/2.10 0 [] dirty($c6,$c3)|old($c11,$c8).
% 1.94/2.10 0 [] dirty($c6,$c3)|event($c11,$c7).
% 1.94/2.10 0 [] dirty($c6,$c3)|agent($c11,$c7,$c8).
% 1.94/2.10 0 [] dirty($c6,$c3)|present($c11,$c7).
% 1.94/2.10 0 [] dirty($c6,$c3)|barrel($c11,$c7).
% 1.94/2.10 0 [] dirty($c6,$c3)|down($c11,$c7,$c10).
% 1.94/2.10 0 [] dirty($c6,$c3)|in($c11,$c7,$c8).
% 1.94/2.10 0 [] dirty($c6,$c3)| -actual_world(U)| -of(U,W,V)| -city(U,V)| -hollywood_placename(U,W)| -placename(U,W)| -chevy(U,X)| -white(U,X)| -dirty(U,X)| -old(U,X)| -street(U,Y)| -lonely(U,Y)| -event(U,Z)| -agent(U,Z,X)| -present(U,Z)| -barrel(U,Z)| -down(U,Z,Y)| -in(U,Z,V).
% 1.94/2.10 0 [] old($c6,$c3)|actual_world($c11).
% 1.94/2.10 0 [] old($c6,$c3)|street($c11,$c10).
% 1.94/2.10 0 [] old($c6,$c3)|lonely($c11,$c10).
% 1.94/2.10 0 [] old($c6,$c3)|of($c11,$c9,$c8).
% 1.94/2.10 0 [] old($c6,$c3)|city($c11,$c8).
% 1.94/2.10 0 [] old($c6,$c3)|hollywood_placename($c11,$c9).
% 1.94/2.10 0 [] old($c6,$c3)|placename($c11,$c9).
% 1.94/2.10 0 [] old($c6,$c3)|chevy($c11,$c8).
% 1.94/2.10 0 [] old($c6,$c3)|white($c11,$c8).
% 1.94/2.10 0 [] old($c6,$c3)|dirty($c11,$c8).
% 1.94/2.10 0 [] old($c6,$c3)|old($c11,$c8).
% 1.94/2.10 0 [] old($c6,$c3)|event($c11,$c7).
% 1.94/2.10 0 [] old($c6,$c3)|agent($c11,$c7,$c8).
% 1.94/2.10 0 [] old($c6,$c3)|present($c11,$c7).
% 1.94/2.10 0 [] old($c6,$c3)|barrel($c11,$c7).
% 1.94/2.10 0 [] old($c6,$c3)|down($c11,$c7,$c10).
% 1.94/2.10 0 [] old($c6,$c3)|in($c11,$c7,$c8).
% 1.94/2.10 0 [] old($c6,$c3)| -actual_world(U)| -of(U,W,V)| -city(U,V)| -hollywood_placename(U,W)| -placename(U,W)| -chevy(U,X)| -white(U,X)| -dirty(U,X)| -old(U,X)| -street(U,Y)| -lonely(U,Y)| -event(U,Z)| -agent(U,Z,X)| -present(U,Z)| -barrel(U,Z)| -down(U,Z,Y)| -in(U,Z,V).
% 1.94/2.10 0 [] street($c6,$c2)|actual_world($c11).
% 1.94/2.10 0 [] street($c6,$c2)|street($c11,$c10).
% 1.94/2.10 0 [] street($c6,$c2)|lonely($c11,$c10).
% 1.94/2.10 0 [] street($c6,$c2)|of($c11,$c9,$c8).
% 1.94/2.10 0 [] street($c6,$c2)|city($c11,$c8).
% 1.94/2.10 0 [] street($c6,$c2)|hollywood_placename($c11,$c9).
% 1.94/2.10 0 [] street($c6,$c2)|placename($c11,$c9).
% 1.94/2.10 0 [] street($c6,$c2)|chevy($c11,$c8).
% 1.94/2.10 0 [] street($c6,$c2)|white($c11,$c8).
% 1.94/2.10 0 [] street($c6,$c2)|dirty($c11,$c8).
% 1.94/2.10 0 [] street($c6,$c2)|old($c11,$c8).
% 1.94/2.10 0 [] street($c6,$c2)|event($c11,$c7).
% 1.94/2.10 0 [] street($c6,$c2)|agent($c11,$c7,$c8).
% 1.94/2.10 0 [] street($c6,$c2)|present($c11,$c7).
% 1.94/2.10 0 [] street($c6,$c2)|barrel($c11,$c7).
% 1.94/2.10 0 [] street($c6,$c2)|down($c11,$c7,$c10).
% 1.94/2.10 0 [] street($c6,$c2)|in($c11,$c7,$c8).
% 1.94/2.10 0 [] street($c6,$c2)| -actual_world(U)| -of(U,W,V)| -city(U,V)| -hollywood_placename(U,W)| -placename(U,W)| -chevy(U,X)| -white(U,X)| -dirty(U,X)| -old(U,X)| -street(U,Y)| -lonely(U,Y)| -event(U,Z)| -agent(U,Z,X)| -present(U,Z)| -barrel(U,Z)| -down(U,Z,Y)| -in(U,Z,V).
% 1.94/2.10 0 [] lonely($c6,$c2)|actual_world($c11).
% 1.94/2.10 0 [] lonely($c6,$c2)|street($c11,$c10).
% 1.94/2.10 0 [] lonely($c6,$c2)|lonely($c11,$c10).
% 1.94/2.10 0 [] lonely($c6,$c2)|of($c11,$c9,$c8).
% 1.94/2.10 0 [] lonely($c6,$c2)|city($c11,$c8).
% 1.94/2.10 0 [] lonely($c6,$c2)|hollywood_placename($c11,$c9).
% 1.94/2.10 0 [] lonely($c6,$c2)|placename($c11,$c9).
% 1.94/2.10 0 [] lonely($c6,$c2)|chevy($c11,$c8).
% 1.94/2.10 0 [] lonely($c6,$c2)|white($c11,$c8).
% 1.94/2.10 0 [] lonely($c6,$c2)|dirty($c11,$c8).
% 1.94/2.10 0 [] lonely($c6,$c2)|old($c11,$c8).
% 1.94/2.10 0 [] lonely($c6,$c2)|event($c11,$c7).
% 1.94/2.10 0 [] lonely($c6,$c2)|agent($c11,$c7,$c8).
% 1.94/2.10 0 [] lonely($c6,$c2)|present($c11,$c7).
% 1.94/2.10 0 [] lonely($c6,$c2)|barrel($c11,$c7).
% 1.94/2.10 0 [] lonely($c6,$c2)|down($c11,$c7,$c10).
% 1.94/2.10 0 [] lonely($c6,$c2)|in($c11,$c7,$c8).
% 1.94/2.10 0 [] lonely($c6,$c2)| -actual_world(U)| -of(U,W,V)| -city(U,V)| -hollywood_placename(U,W)| -placename(U,W)| -chevy(U,X)| -white(U,X)| -dirty(U,X)| -old(U,X)| -street(U,Y)| -lonely(U,Y)| -event(U,Z)| -agent(U,Z,X)| -present(U,Z)| -barrel(U,Z)| -down(U,Z,Y)| -in(U,Z,V).
% 1.94/2.10 0 [] event($c6,$c1)|actual_world($c11).
% 1.94/2.10 0 [] event($c6,$c1)|street($c11,$c10).
% 1.94/2.10 0 [] event($c6,$c1)|lonely($c11,$c10).
% 1.94/2.10 0 [] event($c6,$c1)|of($c11,$c9,$c8).
% 1.94/2.10 0 [] event($c6,$c1)|city($c11,$c8).
% 1.94/2.10 0 [] event($c6,$c1)|hollywood_placename($c11,$c9).
% 1.94/2.10 0 [] event($c6,$c1)|placename($c11,$c9).
% 1.94/2.10 0 [] event($c6,$c1)|chevy($c11,$c8).
% 1.94/2.10 0 [] event($c6,$c1)|white($c11,$c8).
% 1.94/2.10 0 [] event($c6,$c1)|dirty($c11,$c8).
% 1.94/2.10 0 [] event($c6,$c1)|old($c11,$c8).
% 1.94/2.10 0 [] event($c6,$c1)|event($c11,$c7).
% 1.94/2.10 0 [] event($c6,$c1)|agent($c11,$c7,$c8).
% 1.94/2.10 0 [] event($c6,$c1)|present($c11,$c7).
% 1.94/2.10 0 [] event($c6,$c1)|barrel($c11,$c7).
% 1.94/2.10 0 [] event($c6,$c1)|down($c11,$c7,$c10).
% 1.94/2.10 0 [] event($c6,$c1)|in($c11,$c7,$c8).
% 1.94/2.10 0 [] event($c6,$c1)| -actual_world(U)| -of(U,W,V)| -city(U,V)| -hollywood_placename(U,W)| -placename(U,W)| -chevy(U,X)| -white(U,X)| -dirty(U,X)| -old(U,X)| -street(U,Y)| -lonely(U,Y)| -event(U,Z)| -agent(U,Z,X)| -present(U,Z)| -barrel(U,Z)| -down(U,Z,Y)| -in(U,Z,V).
% 1.94/2.10 0 [] agent($c6,$c1,$c3)|actual_world($c11).
% 1.94/2.10 0 [] agent($c6,$c1,$c3)|street($c11,$c10).
% 1.94/2.10 0 [] agent($c6,$c1,$c3)|lonely($c11,$c10).
% 1.94/2.10 0 [] agent($c6,$c1,$c3)|of($c11,$c9,$c8).
% 1.94/2.10 0 [] agent($c6,$c1,$c3)|city($c11,$c8).
% 1.94/2.10 0 [] agent($c6,$c1,$c3)|hollywood_placename($c11,$c9).
% 1.94/2.10 0 [] agent($c6,$c1,$c3)|placename($c11,$c9).
% 1.94/2.10 0 [] agent($c6,$c1,$c3)|chevy($c11,$c8).
% 1.94/2.10 0 [] agent($c6,$c1,$c3)|white($c11,$c8).
% 1.94/2.10 0 [] agent($c6,$c1,$c3)|dirty($c11,$c8).
% 1.94/2.10 0 [] agent($c6,$c1,$c3)|old($c11,$c8).
% 1.94/2.10 0 [] agent($c6,$c1,$c3)|event($c11,$c7).
% 1.94/2.10 0 [] agent($c6,$c1,$c3)|agent($c11,$c7,$c8).
% 1.94/2.10 0 [] agent($c6,$c1,$c3)|present($c11,$c7).
% 1.94/2.10 0 [] agent($c6,$c1,$c3)|barrel($c11,$c7).
% 1.94/2.10 0 [] agent($c6,$c1,$c3)|down($c11,$c7,$c10).
% 1.94/2.10 0 [] agent($c6,$c1,$c3)|in($c11,$c7,$c8).
% 1.94/2.10 0 [] agent($c6,$c1,$c3)| -actual_world(U)| -of(U,W,V)| -city(U,V)| -hollywood_placename(U,W)| -placename(U,W)| -chevy(U,X)| -white(U,X)| -dirty(U,X)| -old(U,X)| -street(U,Y)| -lonely(U,Y)| -event(U,Z)| -agent(U,Z,X)| -present(U,Z)| -barrel(U,Z)| -down(U,Z,Y)| -in(U,Z,V).
% 1.94/2.10 0 [] present($c6,$c1)|actual_world($c11).
% 1.94/2.10 0 [] present($c6,$c1)|street($c11,$c10).
% 1.94/2.10 0 [] present($c6,$c1)|lonely($c11,$c10).
% 1.94/2.10 0 [] present($c6,$c1)|of($c11,$c9,$c8).
% 1.94/2.10 0 [] present($c6,$c1)|city($c11,$c8).
% 1.94/2.10 0 [] present($c6,$c1)|hollywood_placename($c11,$c9).
% 1.94/2.10 0 [] present($c6,$c1)|placename($c11,$c9).
% 1.94/2.10 0 [] present($c6,$c1)|chevy($c11,$c8).
% 1.94/2.10 0 [] present($c6,$c1)|white($c11,$c8).
% 1.94/2.10 0 [] present($c6,$c1)|dirty($c11,$c8).
% 1.94/2.10 0 [] present($c6,$c1)|old($c11,$c8).
% 1.94/2.10 0 [] present($c6,$c1)|event($c11,$c7).
% 1.94/2.10 0 [] present($c6,$c1)|agent($c11,$c7,$c8).
% 1.94/2.10 0 [] present($c6,$c1)|present($c11,$c7).
% 1.94/2.10 0 [] present($c6,$c1)|barrel($c11,$c7).
% 1.94/2.10 0 [] present($c6,$c1)|down($c11,$c7,$c10).
% 1.94/2.10 0 [] present($c6,$c1)|in($c11,$c7,$c8).
% 1.94/2.10 0 [] present($c6,$c1)| -actual_world(U)| -of(U,W,V)| -city(U,V)| -hollywood_placename(U,W)| -placename(U,W)| -chevy(U,X)| -white(U,X)| -dirty(U,X)| -old(U,X)| -street(U,Y)| -lonely(U,Y)| -event(U,Z)| -agent(U,Z,X)| -present(U,Z)| -barrel(U,Z)| -down(U,Z,Y)| -in(U,Z,V).
% 1.94/2.10 0 [] barrel($c6,$c1)|actual_world($c11).
% 1.94/2.10 0 [] barrel($c6,$c1)|street($c11,$c10).
% 1.94/2.10 0 [] barrel($c6,$c1)|lonely($c11,$c10).
% 1.94/2.10 0 [] barrel($c6,$c1)|of($c11,$c9,$c8).
% 1.94/2.10 0 [] barrel($c6,$c1)|city($c11,$c8).
% 1.94/2.10 0 [] barrel($c6,$c1)|hollywood_placename($c11,$c9).
% 1.94/2.10 0 [] barrel($c6,$c1)|placename($c11,$c9).
% 1.94/2.10 0 [] barrel($c6,$c1)|chevy($c11,$c8).
% 1.94/2.10 0 [] barrel($c6,$c1)|white($c11,$c8).
% 1.94/2.10 0 [] barrel($c6,$c1)|dirty($c11,$c8).
% 1.94/2.10 0 [] barrel($c6,$c1)|old($c11,$c8).
% 1.94/2.10 0 [] barrel($c6,$c1)|event($c11,$c7).
% 1.94/2.10 0 [] barrel($c6,$c1)|agent($c11,$c7,$c8).
% 1.94/2.10 0 [] barrel($c6,$c1)|present($c11,$c7).
% 1.94/2.10 0 [] barrel($c6,$c1)|barrel($c11,$c7).
% 1.94/2.10 0 [] barrel($c6,$c1)|down($c11,$c7,$c10).
% 1.94/2.10 0 [] barrel($c6,$c1)|in($c11,$c7,$c8).
% 1.94/2.10 0 [] barrel($c6,$c1)| -actual_world(U)| -of(U,W,V)| -city(U,V)| -hollywood_placename(U,W)| -placename(U,W)| -chevy(U,X)| -white(U,X)| -dirty(U,X)| -old(U,X)| -street(U,Y)| -lonely(U,Y)| -event(U,Z)| -agent(U,Z,X)| -present(U,Z)| -barrel(U,Z)| -down(U,Z,Y)| -in(U,Z,V).
% 1.94/2.10 0 [] down($c6,$c1,$c2)|actual_world($c11).
% 1.94/2.10 0 [] down($c6,$c1,$c2)|street($c11,$c10).
% 1.94/2.10 0 [] down($c6,$c1,$c2)|lonely($c11,$c10).
% 1.94/2.10 0 [] down($c6,$c1,$c2)|of($c11,$c9,$c8).
% 1.94/2.10 0 [] down($c6,$c1,$c2)|city($c11,$c8).
% 1.94/2.10 0 [] down($c6,$c1,$c2)|hollywood_placename($c11,$c9).
% 1.94/2.10 0 [] down($c6,$c1,$c2)|placename($c11,$c9).
% 1.94/2.10 0 [] down($c6,$c1,$c2)|chevy($c11,$c8).
% 1.94/2.10 0 [] down($c6,$c1,$c2)|white($c11,$c8).
% 1.94/2.10 0 [] down($c6,$c1,$c2)|dirty($c11,$c8).
% 1.94/2.10 0 [] down($c6,$c1,$c2)|old($c11,$c8).
% 1.94/2.10 0 [] down($c6,$c1,$c2)|event($c11,$c7).
% 1.94/2.10 0 [] down($c6,$c1,$c2)|agent($c11,$c7,$c8).
% 1.94/2.10 0 [] down($c6,$c1,$c2)|present($c11,$c7).
% 1.94/2.10 0 [] down($c6,$c1,$c2)|barrel($c11,$c7).
% 1.94/2.10 0 [] down($c6,$c1,$c2)|down($c11,$c7,$c10).
% 1.94/2.10 0 [] down($c6,$c1,$c2)|in($c11,$c7,$c8).
% 1.94/2.10 0 [] down($c6,$c1,$c2)| -actual_world(U)| -of(U,W,V)| -city(U,V)| -hollywood_placename(U,W)| -placename(U,W)| -chevy(U,X)| -white(U,X)| -dirty(U,X)| -old(U,X)| -street(U,Y)| -lonely(U,Y)| -event(U,Z)| -agent(U,Z,X)| -present(U,Z)| -barrel(U,Z)| -down(U,Z,Y)| -in(U,Z,V).
% 1.94/2.10 0 [] in($c6,$c1,$c5)|actual_world($c11).
% 1.94/2.10 0 [] in($c6,$c1,$c5)|street($c11,$c10).
% 1.94/2.10 0 [] in($c6,$c1,$c5)|lonely($c11,$c10).
% 1.94/2.10 0 [] in($c6,$c1,$c5)|of($c11,$c9,$c8).
% 1.94/2.10 0 [] in($c6,$c1,$c5)|city($c11,$c8).
% 1.94/2.10 0 [] in($c6,$c1,$c5)|hollywood_placename($c11,$c9).
% 1.94/2.10 0 [] in($c6,$c1,$c5)|placename($c11,$c9).
% 1.94/2.10 0 [] in($c6,$c1,$c5)|chevy($c11,$c8).
% 1.94/2.10 0 [] in($c6,$c1,$c5)|white($c11,$c8).
% 1.94/2.10 0 [] in($c6,$c1,$c5)|dirty($c11,$c8).
% 1.94/2.10 0 [] in($c6,$c1,$c5)|old($c11,$c8).
% 1.94/2.10 0 [] in($c6,$c1,$c5)|event($c11,$c7).
% 1.94/2.10 0 [] in($c6,$c1,$c5)|agent($c11,$c7,$c8).
% 1.94/2.10 0 [] in($c6,$c1,$c5)|present($c11,$c7).
% 1.94/2.10 0 [] in($c6,$c1,$c5)|barrel($c11,$c7).
% 1.94/2.10 0 [] in($c6,$c1,$c5)|down($c11,$c7,$c10).
% 1.94/2.10 0 [] in($c6,$c1,$c5)|in($c11,$c7,$c8).
% 1.94/2.10 0 [] in($c6,$c1,$c5)| -actual_world(U)| -of(U,W,V)| -city(U,V)| -hollywood_placename(U,W)| -placename(U,W)| -chevy(U,X)| -white(U,X)| -dirty(U,X)| -old(U,X)| -street(U,Y)| -lonely(U,Y)| -event(U,Z)| -agent(U,Z,X)| -present(U,Z)| -barrel(U,Z)| -down(U,Z,Y)| -in(U,Z,V).
% 1.94/2.10 0 [] -actual_world(X1)| -street(X1,X2)| -lonely(X1,X2)| -of(X1,X3,X4)| -city(X1,X4)| -hollywood_placename(X1,X3)| -placename(X1,X3)| -chevy(X1,X4)| -white(X1,X4)| -dirty(X1,X4)| -old(X1,X4)| -event(X1,X5)| -agent(X1,X5,X4)| -present(X1,X5)| -barrel(X1,X5)| -down(X1,X5,X2)| -in(X1,X5,X4)|actual_world($c11).
% 1.94/2.10 0 [] -actual_world(X1)| -street(X1,X2)| -lonely(X1,X2)| -of(X1,X3,X4)| -city(X1,X4)| -hollywood_placename(X1,X3)| -placename(X1,X3)| -chevy(X1,X4)| -white(X1,X4)| -dirty(X1,X4)| -old(X1,X4)| -event(X1,X5)| -agent(X1,X5,X4)| -present(X1,X5)| -barrel(X1,X5)| -down(X1,X5,X2)| -in(X1,X5,X4)|street($c11,$c10).
% 1.94/2.10 0 [] -actual_world(X1)| -street(X1,X2)| -lonely(X1,X2)| -of(X1,X3,X4)| -city(X1,X4)| -hollywood_placename(X1,X3)| -placename(X1,X3)| -chevy(X1,X4)| -white(X1,X4)| -dirty(X1,X4)| -old(X1,X4)| -event(X1,X5)| -agent(X1,X5,X4)| -present(X1,X5)| -barrel(X1,X5)| -down(X1,X5,X2)| -in(X1,X5,X4)|lonely($c11,$c10).
% 1.94/2.10 0 [] -actual_world(X1)| -street(X1,X2)| -lonely(X1,X2)| -of(X1,X3,X4)| -city(X1,X4)| -hollywood_placename(X1,X3)| -placename(X1,X3)| -chevy(X1,X4)| -white(X1,X4)| -dirty(X1,X4)| -old(X1,X4)| -event(X1,X5)| -agent(X1,X5,X4)| -present(X1,X5)| -barrel(X1,X5)| -down(X1,X5,X2)| -in(X1,X5,X4)|of($c11,$c9,$c8).
% 1.94/2.10 0 [] -actual_world(X1)| -street(X1,X2)| -lonely(X1,X2)| -of(X1,X3,X4)| -city(X1,X4)| -hollywood_placename(X1,X3)| -placename(X1,X3)| -chevy(X1,X4)| -white(X1,X4)| -dirty(X1,X4)| -old(X1,X4)| -event(X1,X5)| -agent(X1,X5,X4)| -present(X1,X5)| -barrel(X1,X5)| -down(X1,X5,X2)| -in(X1,X5,X4)|city($c11,$c8).
% 1.94/2.10 0 [] -actual_world(X1)| -street(X1,X2)| -lonely(X1,X2)| -of(X1,X3,X4)| -city(X1,X4)| -hollywood_placename(X1,X3)| -placename(X1,X3)| -chevy(X1,X4)| -white(X1,X4)| -dirty(X1,X4)| -old(X1,X4)| -event(X1,X5)| -agent(X1,X5,X4)| -present(X1,X5)| -barrel(X1,X5)| -down(X1,X5,X2)| -in(X1,X5,X4)|hollywood_placename($c11,$c9).
% 1.94/2.10 0 [] -actual_world(X1)| -street(X1,X2)| -lonely(X1,X2)| -of(X1,X3,X4)| -city(X1,X4)| -hollywood_placename(X1,X3)| -placename(X1,X3)| -chevy(X1,X4)| -white(X1,X4)| -dirty(X1,X4)| -old(X1,X4)| -event(X1,X5)| -agent(X1,X5,X4)| -present(X1,X5)| -barrel(X1,X5)| -down(X1,X5,X2)| -in(X1,X5,X4)|placename($c11,$c9).
% 1.94/2.10 0 [] -actual_world(X1)| -street(X1,X2)| -lonely(X1,X2)| -of(X1,X3,X4)| -city(X1,X4)| -hollywood_placename(X1,X3)| -placename(X1,X3)| -chevy(X1,X4)| -white(X1,X4)| -dirty(X1,X4)| -old(X1,X4)| -event(X1,X5)| -agent(X1,X5,X4)| -present(X1,X5)| -barrel(X1,X5)| -down(X1,X5,X2)| -in(X1,X5,X4)|chevy($c11,$c8).
% 1.94/2.11 0 [] -actual_world(X1)| -street(X1,X2)| -lonely(X1,X2)| -of(X1,X3,X4)| -city(X1,X4)| -hollywood_placename(X1,X3)| -placename(X1,X3)| -chevy(X1,X4)| -white(X1,X4)| -dirty(X1,X4)| -old(X1,X4)| -event(X1,X5)| -agent(X1,X5,X4)| -present(X1,X5)| -barrel(X1,X5)| -down(X1,X5,X2)| -in(X1,X5,X4)|white($c11,$c8).
% 1.94/2.11 0 [] -actual_world(X1)| -street(X1,X2)| -lonely(X1,X2)| -of(X1,X3,X4)| -city(X1,X4)| -hollywood_placename(X1,X3)| -placename(X1,X3)| -chevy(X1,X4)| -white(X1,X4)| -dirty(X1,X4)| -old(X1,X4)| -event(X1,X5)| -agent(X1,X5,X4)| -present(X1,X5)| -barrel(X1,X5)| -down(X1,X5,X2)| -in(X1,X5,X4)|dirty($c11,$c8).
% 1.94/2.11 0 [] -actual_world(X1)| -street(X1,X2)| -lonely(X1,X2)| -of(X1,X3,X4)| -city(X1,X4)| -hollywood_placename(X1,X3)| -placename(X1,X3)| -chevy(X1,X4)| -white(X1,X4)| -dirty(X1,X4)| -old(X1,X4)| -event(X1,X5)| -agent(X1,X5,X4)| -present(X1,X5)| -barrel(X1,X5)| -down(X1,X5,X2)| -in(X1,X5,X4)|old($c11,$c8).
% 1.94/2.11 0 [] -actual_world(X1)| -street(X1,X2)| -lonely(X1,X2)| -of(X1,X3,X4)| -city(X1,X4)| -hollywood_placename(X1,X3)| -placename(X1,X3)| -chevy(X1,X4)| -white(X1,X4)| -dirty(X1,X4)| -old(X1,X4)| -event(X1,X5)| -agent(X1,X5,X4)| -present(X1,X5)| -barrel(X1,X5)| -down(X1,X5,X2)| -in(X1,X5,X4)|event($c11,$c7).
% 1.94/2.11 0 [] -actual_world(X1)| -street(X1,X2)| -lonely(X1,X2)| -of(X1,X3,X4)| -city(X1,X4)| -hollywood_placename(X1,X3)| -placename(X1,X3)| -chevy(X1,X4)| -white(X1,X4)| -dirty(X1,X4)| -old(X1,X4)| -event(X1,X5)| -agent(X1,X5,X4)| -present(X1,X5)| -barrel(X1,X5)| -down(X1,X5,X2)| -in(X1,X5,X4)|agent($c11,$c7,$c8).
% 1.94/2.11 0 [] -actual_world(X1)| -street(X1,X2)| -lonely(X1,X2)| -of(X1,X3,X4)| -city(X1,X4)| -hollywood_placename(X1,X3)| -placename(X1,X3)| -chevy(X1,X4)| -white(X1,X4)| -dirty(X1,X4)| -old(X1,X4)| -event(X1,X5)| -agent(X1,X5,X4)| -present(X1,X5)| -barrel(X1,X5)| -down(X1,X5,X2)| -in(X1,X5,X4)|present($c11,$c7).
% 1.94/2.11 0 [] -actual_world(X1)| -street(X1,X2)| -lonely(X1,X2)| -of(X1,X3,X4)| -city(X1,X4)| -hollywood_placename(X1,X3)| -placename(X1,X3)| -chevy(X1,X4)| -white(X1,X4)| -dirty(X1,X4)| -old(X1,X4)| -event(X1,X5)| -agent(X1,X5,X4)| -present(X1,X5)| -barrel(X1,X5)| -down(X1,X5,X2)| -in(X1,X5,X4)|barrel($c11,$c7).
% 1.94/2.11 0 [] -actual_world(X1)| -street(X1,X2)| -lonely(X1,X2)| -of(X1,X3,X4)| -city(X1,X4)| -hollywood_placename(X1,X3)| -placename(X1,X3)| -chevy(X1,X4)| -white(X1,X4)| -dirty(X1,X4)| -old(X1,X4)| -event(X1,X5)| -agent(X1,X5,X4)| -present(X1,X5)| -barrel(X1,X5)| -down(X1,X5,X2)| -in(X1,X5,X4)|down($c11,$c7,$c10).
% 1.94/2.11 0 [] -actual_world(X1)| -street(X1,X2)| -lonely(X1,X2)| -of(X1,X3,X4)| -city(X1,X4)| -hollywood_placename(X1,X3)| -placename(X1,X3)| -chevy(X1,X4)| -white(X1,X4)| -dirty(X1,X4)| -old(X1,X4)| -event(X1,X5)| -agent(X1,X5,X4)| -present(X1,X5)| -barrel(X1,X5)| -down(X1,X5,X2)| -in(X1,X5,X4)|in($c11,$c7,$c8).
% 1.94/2.11 0 [] -actual_world(X1)| -street(X1,X2)| -lonely(X1,X2)| -of(X1,X3,X4)| -city(X1,X4)| -hollywood_placename(X1,X3)| -placename(X1,X3)| -chevy(X1,X4)| -white(X1,X4)| -dirty(X1,X4)| -old(X1,X4)| -event(X1,X5)| -agent(X1,X5,X4)| -present(X1,X5)| -barrel(X1,X5)| -down(X1,X5,X2)| -in(X1,X5,X4)| -actual_world(U)| -of(U,W,V)| -city(U,V)| -hollywood_placename(U,W)| -placename(U,W)| -chevy(U,X)| -white(U,X)| -dirty(U,X)| -old(U,X)| -street(U,Y)| -lonely(U,Y)| -event(U,Z)| -agent(U,Z,X)| -present(U,Z)| -barrel(U,Z)| -down(U,Z,Y)| -in(U,Z,V).
% 1.94/2.11 end_of_list.
% 1.94/2.11
% 1.94/2.11 SCAN INPUT: prop=0, horn=0, equality=0, symmetry=0, max_lits=34.
% 1.94/2.11
% 1.94/2.11 This is a non-Horn set without equality. The strategy will
% 1.94/2.11 be ordered hyper_res, unit deletion, and factoring, with
% 1.94/2.11 satellites in sos and with nuclei in usable.
% 1.94/2.11
% 1.94/2.11 dependent: set(hyper_res).
% 1.94/2.11 dependent: set(factor).
% 1.94/2.11 dependent: set(unit_deletion).
% 1.94/2.11
% 1.94/2.11 ------------> process usable:
% 1.94/2.11 ** KEPT (pick-wt=56): 1 [] actual_world($c6)| -actual_world(A)| -of(A,B,C)| -city(A,C)| -hollywood_placename(A,B)| -placename(A,B)| -chevy(A,D)| -white(A,D)| -dirty(A,D)| -old(A,D)| -street(A,E)| -lonely(A,E)| -event(A,F)| -agent(A,F,D)| -present(A,F)| -barrel(A,F)| -down(A,F,E)| -in(A,F,C).
% 1.94/2.11 ** KEPT (pick-wt=58): 2 [] of($c6,$c4,$c5)| -actual_world(A)| -of(A,B,C)| -city(A,C)| -hollywood_placename(A,B)| -placename(A,B)| -chevy(A,D)| -white(A,D)| -dirty(A,D)| -old(A,D)| -street(A,E)| -lonely(A,E)| -event(A,F)| -agent(A,F,D)| -present(A,F)| -barrel(A,F)| -down(A,F,E)| -in(A,F,C).
% 1.94/2.11 ** KEPT (pick-wt=57): 3 [] city($c6,$c5)| -actual_world(A)| -of(A,B,C)| -city(A,C)| -hollywood_placename(A,B)| -placename(A,B)| -chevy(A,D)| -white(A,D)| -dirty(A,D)| -old(A,D)| -street(A,E)| -lonely(A,E)| -event(A,F)| -agent(A,F,D)| -present(A,F)| -barrel(A,F)| -down(A,F,E)| -in(A,F,C).
% 1.94/2.11 ** KEPT (pick-wt=57): 4 [] hollywood_placename($c6,$c4)| -actual_world(A)| -of(A,B,C)| -city(A,C)| -hollywood_placename(A,B)| -placename(A,B)| -chevy(A,D)| -white(A,D)| -dirty(A,D)| -old(A,D)| -street(A,E)| -lonely(A,E)| -event(A,F)| -agent(A,F,D)| -present(A,F)| -barrel(A,F)| -down(A,F,E)| -in(A,F,C).
% 1.94/2.11 ** KEPT (pick-wt=57): 5 [] placename($c6,$c4)| -actual_world(A)| -of(A,B,C)| -city(A,C)| -hollywood_placename(A,B)| -placename(A,B)| -chevy(A,D)| -white(A,D)| -dirty(A,D)| -old(A,D)| -street(A,E)| -lonely(A,E)| -event(A,F)| -agent(A,F,D)| -present(A,F)| -barrel(A,F)| -down(A,F,E)| -in(A,F,C).
% 1.94/2.11 ** KEPT (pick-wt=57): 6 [] chevy($c6,$c3)| -actual_world(A)| -of(A,B,C)| -city(A,C)| -hollywood_placename(A,B)| -placename(A,B)| -chevy(A,D)| -white(A,D)| -dirty(A,D)| -old(A,D)| -street(A,E)| -lonely(A,E)| -event(A,F)| -agent(A,F,D)| -present(A,F)| -barrel(A,F)| -down(A,F,E)| -in(A,F,C).
% 1.94/2.11 ** KEPT (pick-wt=57): 7 [] white($c6,$c3)| -actual_world(A)| -of(A,B,C)| -city(A,C)| -hollywood_placename(A,B)| -placename(A,B)| -chevy(A,D)| -white(A,D)| -dirty(A,D)| -old(A,D)| -street(A,E)| -lonely(A,E)| -event(A,F)| -agent(A,F,D)| -present(A,F)| -barrel(A,F)| -down(A,F,E)| -in(A,F,C).
% 1.94/2.11 ** KEPT (pick-wt=57): 8 [] dirty($c6,$c3)| -actual_world(A)| -of(A,B,C)| -city(A,C)| -hollywood_placename(A,B)| -placename(A,B)| -chevy(A,D)| -white(A,D)| -dirty(A,D)| -old(A,D)| -street(A,E)| -lonely(A,E)| -event(A,F)| -agent(A,F,D)| -present(A,F)| -barrel(A,F)| -down(A,F,E)| -in(A,F,C).
% 1.94/2.11 ** KEPT (pick-wt=57): 9 [] old($c6,$c3)| -actual_world(A)| -of(A,B,C)| -city(A,C)| -hollywood_placename(A,B)| -placename(A,B)| -chevy(A,D)| -white(A,D)| -dirty(A,D)| -old(A,D)| -street(A,E)| -lonely(A,E)| -event(A,F)| -agent(A,F,D)| -present(A,F)| -barrel(A,F)| -down(A,F,E)| -in(A,F,C).
% 1.94/2.11 ** KEPT (pick-wt=57): 10 [] street($c6,$c2)| -actual_world(A)| -of(A,B,C)| -city(A,C)| -hollywood_placename(A,B)| -placename(A,B)| -chevy(A,D)| -white(A,D)| -dirty(A,D)| -old(A,D)| -street(A,E)| -lonely(A,E)| -event(A,F)| -agent(A,F,D)| -present(A,F)| -barrel(A,F)| -down(A,F,E)| -in(A,F,C).
% 1.94/2.11 ** KEPT (pick-wt=57): 11 [] lonely($c6,$c2)| -actual_world(A)| -of(A,B,C)| -city(A,C)| -hollywood_placename(A,B)| -placename(A,B)| -chevy(A,D)| -white(A,D)| -dirty(A,D)| -old(A,D)| -street(A,E)| -lonely(A,E)| -event(A,F)| -agent(A,F,D)| -present(A,F)| -barrel(A,F)| -down(A,F,E)| -in(A,F,C).
% 1.94/2.11 ** KEPT (pick-wt=57): 12 [] event($c6,$c1)| -actual_world(A)| -of(A,B,C)| -city(A,C)| -hollywood_placename(A,B)| -placename(A,B)| -chevy(A,D)| -white(A,D)| -dirty(A,D)| -old(A,D)| -street(A,E)| -lonely(A,E)| -event(A,F)| -agent(A,F,D)| -present(A,F)| -barrel(A,F)| -down(A,F,E)| -in(A,F,C).
% 1.94/2.11 ** KEPT (pick-wt=58): 13 [] agent($c6,$c1,$c3)| -actual_world(A)| -of(A,B,C)| -city(A,C)| -hollywood_placename(A,B)| -placename(A,B)| -chevy(A,D)| -white(A,D)| -dirty(A,D)| -old(A,D)| -street(A,E)| -lonely(A,E)| -event(A,F)| -agent(A,F,D)| -present(A,F)| -barrel(A,F)| -down(A,F,E)| -in(A,F,C).
% 1.94/2.11 ** KEPT (pick-wt=57): 14 [] present($c6,$c1)| -actual_world(A)| -of(A,B,C)| -city(A,C)| -hollywood_placename(A,B)| -placename(A,B)| -chevy(A,D)| -white(A,D)| -dirty(A,D)| -old(A,D)| -street(A,E)| -lonely(A,E)| -event(A,F)| -agent(A,F,D)| -present(A,F)| -barrel(A,F)| -down(A,F,E)| -in(A,F,C).
% 1.94/2.11 ** KEPT (pick-wt=57): 15 [] barrel($c6,$c1)| -actual_world(A)| -of(A,B,C)| -city(A,C)| -hollywood_placename(A,B)| -placename(A,B)| -chevy(A,D)| -white(A,D)| -dirty(A,D)| -old(A,D)| -street(A,E)| -lonely(A,E)| -event(A,F)| -agent(A,F,D)| -present(A,F)| -barrel(A,F)| -down(A,F,E)| -in(A,F,C).
% 1.94/2.12 ** KEPT (pick-wt=58): 16 [] down($c6,$c1,$c2)| -actual_world(A)| -of(A,B,C)| -city(A,C)| -hollywood_placename(A,B)| -placename(A,B)| -chevy(A,D)| -white(A,D)| -dirty(A,D)| -old(A,D)| -street(A,E)| -lonely(A,E)| -event(A,F)| -agent(A,F,D)| -present(A,F)| -barrel(A,F)| -down(A,F,E)| -in(A,F,C).
% 1.94/2.12 ** KEPT (pick-wt=58): 17 [] in($c6,$c1,$c5)| -actual_world(A)| -of(A,B,C)| -city(A,C)| -hollywood_placename(A,B)| -placename(A,B)| -chevy(A,D)| -white(A,D)| -dirty(A,D)| -old(A,D)| -street(A,E)| -lonely(A,E)| -event(A,F)| -agent(A,F,D)| -present(A,F)| -barrel(A,F)| -down(A,F,E)| -in(A,F,C).
% 1.94/2.12 ** KEPT (pick-wt=56): 18 [] -actual_world(A)| -street(A,B)| -lonely(A,B)| -of(A,C,D)| -city(A,D)| -hollywood_placename(A,C)| -placename(A,C)| -chevy(A,D)| -white(A,D)| -dirty(A,D)| -old(A,D)| -event(A,E)| -agent(A,E,D)| -present(A,E)| -barrel(A,E)| -down(A,E,B)| -in(A,E,D)|actual_world($c11).
% 1.94/2.12 ** KEPT (pick-wt=57): 19 [] -actual_world(A)| -street(A,B)| -lonely(A,B)| -of(A,C,D)| -city(A,D)| -hollywood_placename(A,C)| -placename(A,C)| -chevy(A,D)| -white(A,D)| -dirty(A,D)| -old(A,D)| -event(A,E)| -agent(A,E,D)| -present(A,E)| -barrel(A,E)| -down(A,E,B)| -in(A,E,D)|street($c11,$c10).
% 1.94/2.12 ** KEPT (pick-wt=57): 20 [] -actual_world(A)| -street(A,B)| -lonely(A,B)| -of(A,C,D)| -city(A,D)| -hollywood_placename(A,C)| -placename(A,C)| -chevy(A,D)| -white(A,D)| -dirty(A,D)| -old(A,D)| -event(A,E)| -agent(A,E,D)| -present(A,E)| -barrel(A,E)| -down(A,E,B)| -in(A,E,D)|lonely($c11,$c10).
% 1.94/2.12 ** KEPT (pick-wt=58): 21 [] -actual_world(A)| -street(A,B)| -lonely(A,B)| -of(A,C,D)| -city(A,D)| -hollywood_placename(A,C)| -placename(A,C)| -chevy(A,D)| -white(A,D)| -dirty(A,D)| -old(A,D)| -event(A,E)| -agent(A,E,D)| -present(A,E)| -barrel(A,E)| -down(A,E,B)| -in(A,E,D)|of($c11,$c9,$c8).
% 1.94/2.12 ** KEPT (pick-wt=57): 22 [] -actual_world(A)| -street(A,B)| -lonely(A,B)| -of(A,C,D)| -city(A,D)| -hollywood_placename(A,C)| -placename(A,C)| -chevy(A,D)| -white(A,D)| -dirty(A,D)| -old(A,D)| -event(A,E)| -agent(A,E,D)| -present(A,E)| -barrel(A,E)| -down(A,E,B)| -in(A,E,D)|city($c11,$c8).
% 1.94/2.12 ** KEPT (pick-wt=57): 23 [] -actual_world(A)| -street(A,B)| -lonely(A,B)| -of(A,C,D)| -city(A,D)| -hollywood_placename(A,C)| -placename(A,C)| -chevy(A,D)| -white(A,D)| -dirty(A,D)| -old(A,D)| -event(A,E)| -agent(A,E,D)| -present(A,E)| -barrel(A,E)| -down(A,E,B)| -in(A,E,D)|hollywood_placename($c11,$c9).
% 1.94/2.12 ** KEPT (pick-wt=57): 24 [] -actual_world(A)| -street(A,B)| -lonely(A,B)| -of(A,C,D)| -city(A,D)| -hollywood_placename(A,C)| -placename(A,C)| -chevy(A,D)| -white(A,D)| -dirty(A,D)| -old(A,D)| -event(A,E)| -agent(A,E,D)| -present(A,E)| -barrel(A,E)| -down(A,E,B)| -in(A,E,D)|placename($c11,$c9).
% 1.94/2.12 ** KEPT (pick-wt=57): 25 [] -actual_world(A)| -street(A,B)| -lonely(A,B)| -of(A,C,D)| -city(A,D)| -hollywood_placename(A,C)| -placename(A,C)| -chevy(A,D)| -white(A,D)| -dirty(A,D)| -old(A,D)| -event(A,E)| -agent(A,E,D)| -present(A,E)| -barrel(A,E)| -down(A,E,B)| -in(A,E,D)|chevy($c11,$c8).
% 1.94/2.12 ** KEPT (pick-wt=57): 26 [] -actual_world(A)| -street(A,B)| -lonely(A,B)| -of(A,C,D)| -city(A,D)| -hollywood_placename(A,C)| -placename(A,C)| -chevy(A,D)| -white(A,D)| -dirty(A,D)| -old(A,D)| -event(A,E)| -agent(A,E,D)| -present(A,E)| -barrel(A,E)| -down(A,E,B)| -in(A,E,D)|white($c11,$c8).
% 1.94/2.12 ** KEPT (pick-wt=57): 27 [] -actual_world(A)| -street(A,B)| -lonely(A,B)| -of(A,C,D)| -city(A,D)| -hollywood_placename(A,C)| -placename(A,C)| -chevy(A,D)| -white(A,D)| -dirty(A,D)| -old(A,D)| -event(A,E)| -agent(A,E,D)| -present(A,E)| -barrel(A,E)| -down(A,E,B)| -in(A,E,D)|dirty($c11,$c8).
% 1.94/2.12 ** KEPT (pick-wt=57): 28 [] -actual_world(A)| -street(A,B)| -lonely(A,B)| -of(A,C,D)| -city(A,D)| -hollywood_placename(A,C)| -placename(A,C)| -chevy(A,D)| -white(A,D)| -dirty(A,D)| -old(A,D)| -event(A,E)| -agent(A,E,D)| -present(A,E)| -barrel(A,E)| -down(A,E,B)| -in(A,E,D)|old($c11,$c8).
% 1.94/2.12 ** KEPT (pick-wt=57): 29 [] -actual_world(A)| -street(A,B)| -lonely(A,B)| -of(A,C,D)| -city(A,D)| -hollywood_placename(A,C)| -placename(A,C)| -chevy(A,D)| -white(A,D)| -dirty(A,D)| -old(A,D)| -event(A,E)| -agent(A,E,D)| -present(A,E)| -barrel(A,E)| -down(A,E,B)| -in(A,E,D)|event($c11,$c7).
% 1.94/2.12 ** KEPT (pick-wt=58): 30 [] -actual_world(A)| -street(A,B)| -lonely(A,B)| -of(A,C,D)| -city(A,D)| -hollywood_placename(A,C)| -placename(A,C)| -chevy(A,D)| -white(A,D)| -dirty(A,D)| -old(A,D)| -event(A,E)| -agent(A,E,D)| -present(A,E)| -barrel(A,E)| -down(A,E,B)| -in(A,E,D)|agent($c11,$c7,$c8).
% 1.94/2.12 ** KEPT (pick-wt=57): 31 [] -actual_world(A)| -street(A,B)| -lonely(A,B)| -of(A,C,D)| -city(A,D)| -hollywood_placename(A,C)| -placename(A,C)| -chevy(A,D)| -white(A,D)| -dirty(A,D)| -old(A,D)| -event(A,E)| -agent(A,E,D)| -present(A,E)| -barrel(A,E)| -down(A,E,B)| -in(A,E,D)|present($c11,$c7).
% 1.94/2.12 ** KEPT (pick-wt=57): 32 [] -actual_world(A)| -street(A,B)| -lonely(A,B)| -of(A,C,D)| -city(A,D)| -hollywood_placename(A,C)| -placename(A,C)| -chevy(A,D)| -white(A,D)| -dirty(A,D)| -old(A,D)| -event(A,E)| -agent(A,E,D)| -present(A,E)| -barrel(A,E)| -down(A,E,B)| -in(A,E,D)|barrel($c11,$c7).
% 1.94/2.12 ** KEPT (pick-wt=58): 33 [] -actual_world(A)| -street(A,B)| -lonely(A,B)| -of(A,C,D)| -city(A,D)| -hollywood_placename(A,C)| -placename(A,C)| -chevy(A,D)| -white(A,D)| -dirty(A,D)| -old(A,D)| -event(A,E)| -agent(A,E,D)| -present(A,E)| -barrel(A,E)| -down(A,E,B)| -in(A,E,D)|down($c11,$c7,$c10).
% 1.94/2.12 ** KEPT (pick-wt=58): 34 [] -actual_world(A)| -street(A,B)| -lonely(A,B)| -of(A,C,D)| -city(A,D)| -hollywood_placename(A,C)| -placename(A,C)| -chevy(A,D)| -white(A,D)| -dirty(A,D)| -old(A,D)| -event(A,E)| -agent(A,E,D)| -present(A,E)| -barrel(A,E)| -down(A,E,B)| -in(A,E,D)|in($c11,$c7,$c8).
% 1.94/2.12 ** KEPT (pick-wt=54): 36 [copy,35,factor_simp,factor_simp,factor_simp,factor_simp,factor_simp,factor_simp,factor_simp,factor_simp,factor_simp,factor_simp,factor_simp,factor_simp,factor_simp,factor_simp,factor_simp,factor_simp,factor_simp] -actual_world(A)| -street(A,B)| -lonely(A,B)| -of(A,C,D)| -city(A,D)| -hollywood_placename(A,C)| -placename(A,C)| -chevy(A,D)| -white(A,D)| -dirty(A,D)| -old(A,D)| -event(A,E)| -agent(A,E,D)| -present(A,E)| -barrel(A,E)| -down(A,E,B)| -in(A,E,D).
% 1.94/2.12 36 back subsumes 34.
% 1.94/2.12 36 back subsumes 33.
% 1.94/2.12 36 back subsumes 32.
% 1.94/2.12 36 back subsumes 31.
% 1.94/2.12 36 back subsumes 30.
% 1.94/2.12 36 back subsumes 29.
% 1.94/2.12 36 back subsumes 28.
% 1.94/2.12 36 back subsumes 27.
% 1.94/2.12 36 back subsumes 26.
% 1.94/2.12 36 back subsumes 25.
% 1.94/2.12 36 back subsumes 24.
% 1.94/2.12 36 back subsumes 23.
% 1.94/2.12 36 back subsumes 22.
% 1.94/2.12 36 back subsumes 21.
% 1.94/2.12 36 back subsumes 20.
% 1.94/2.12 36 back subsumes 19.
% 1.94/2.12 36 back subsumes 18.
% 1.94/2.12
% 1.94/2.12 ------------> process sos:
% 1.94/2.12 ** KEPT (pick-wt=4): 37 [] actual_world($c6)|actual_world($c11).
% 1.94/2.12 ** KEPT (pick-wt=5): 38 [] actual_world($c6)|street($c11,$c10).
% 1.94/2.12 ** KEPT (pick-wt=5): 39 [] actual_world($c6)|lonely($c11,$c10).
% 1.94/2.12 ** KEPT (pick-wt=6): 40 [] actual_world($c6)|of($c11,$c9,$c8).
% 1.94/2.12 ** KEPT (pick-wt=5): 41 [] actual_world($c6)|city($c11,$c8).
% 1.94/2.12 ** KEPT (pick-wt=5): 42 [] actual_world($c6)|hollywood_placename($c11,$c9).
% 1.94/2.12 ** KEPT (pick-wt=5): 43 [] actual_world($c6)|placename($c11,$c9).
% 1.94/2.12 ** KEPT (pick-wt=5): 44 [] actual_world($c6)|chevy($c11,$c8).
% 1.94/2.12 ** KEPT (pick-wt=5): 45 [] actual_world($c6)|white($c11,$c8).
% 1.94/2.12 ** KEPT (pick-wt=5): 46 [] actual_world($c6)|dirty($c11,$c8).
% 1.94/2.12 ** KEPT (pick-wt=5): 47 [] actual_world($c6)|old($c11,$c8).
% 1.94/2.12 ** KEPT (pick-wt=5): 48 [] actual_world($c6)|event($c11,$c7).
% 1.94/2.12 ** KEPT (pick-wt=6): 49 [] actual_world($c6)|agent($c11,$c7,$c8).
% 1.94/2.12 ** KEPT (pick-wt=5): 50 [] actual_world($c6)|present($c11,$c7).
% 1.94/2.12 ** KEPT (pick-wt=5): 51 [] actual_world($c6)|barrel($c11,$c7).
% 1.94/2.12 ** KEPT (pick-wt=6): 52 [] actual_world($c6)|down($c11,$c7,$c10).
% 1.94/2.12 ** KEPT (pick-wt=6): 53 [] actual_world($c6)|in($c11,$c7,$c8).
% 1.94/2.12 ** KEPT (pick-wt=6): 54 [] of($c6,$c4,$c5)|actual_world($c11).
% 1.94/2.12 ** KEPT (pick-wt=7): 55 [] of($c6,$c4,$c5)|street($c11,$c10).
% 1.94/2.12 ** KEPT (pick-wt=7): 56 [] of($c6,$c4,$c5)|lonely($c11,$c10).
% 1.94/2.12 ** KEPT (pick-wt=8): 57 [] of($c6,$c4,$c5)|of($c11,$c9,$c8).
% 1.94/2.12 ** KEPT (pick-wt=7): 58 [] of($c6,$c4,$c5)|city($c11,$c8).
% 1.94/2.12 ** KEPT (pick-wt=7): 59 [] of($c6,$c4,$c5)|hollywood_placename($c11,$c9).
% 1.94/2.12 ** KEPT (pick-wt=7): 60 [] of($c6,$c4,$c5)|placename($c11,$c9).
% 1.94/2.12 ** KEPT (pick-wt=7): 61 [] of($c6,$c4,$c5)|chevy($c11,$c8).
% 1.94/2.12 ** KEPT (pick-wt=7): 62 [] of($c6,$c4,$c5)|white($c11,$c8).
% 1.94/2.12 ** KEPT (pick-wt=7): 63 [] of($c6,$c4,$c5)|dirty($c11,$c8).
% 1.97/2.12 ** KEPT (pick-wt=7): 64 [] of($c6,$c4,$c5)|old($c11,$c8).
% 1.97/2.12 ** KEPT (pick-wt=7): 65 [] of($c6,$c4,$c5)|event($c11,$c7).
% 1.97/2.12 ** KEPT (pick-wt=8): 66 [] of($c6,$c4,$c5)|agent($c11,$c7,$c8).
% 1.97/2.12 ** KEPT (pick-wt=7): 67 [] of($c6,$c4,$c5)|present($c11,$c7).
% 1.97/2.12 ** KEPT (pick-wt=7): 68 [] of($c6,$c4,$c5)|barrel($c11,$c7).
% 1.97/2.12 ** KEPT (pick-wt=8): 69 [] of($c6,$c4,$c5)|down($c11,$c7,$c10).
% 1.97/2.12 ** KEPT (pick-wt=8): 70 [] of($c6,$c4,$c5)|in($c11,$c7,$c8).
% 1.97/2.12 ** KEPT (pick-wt=5): 71 [] city($c6,$c5)|actual_world($c11).
% 1.97/2.12 ** KEPT (pick-wt=6): 72 [] city($c6,$c5)|street($c11,$c10).
% 1.97/2.12 ** KEPT (pick-wt=6): 73 [] city($c6,$c5)|lonely($c11,$c10).
% 1.97/2.12 ** KEPT (pick-wt=7): 74 [] city($c6,$c5)|of($c11,$c9,$c8).
% 1.97/2.12 ** KEPT (pick-wt=6): 75 [] city($c6,$c5)|city($c11,$c8).
% 1.97/2.12 ** KEPT (pick-wt=6): 76 [] city($c6,$c5)|hollywood_placename($c11,$c9).
% 1.97/2.12 ** KEPT (pick-wt=6): 77 [] city($c6,$c5)|placename($c11,$c9).
% 1.97/2.12 ** KEPT (pick-wt=6): 78 [] city($c6,$c5)|chevy($c11,$c8).
% 1.97/2.12 ** KEPT (pick-wt=6): 79 [] city($c6,$c5)|white($c11,$c8).
% 1.97/2.12 ** KEPT (pick-wt=6): 80 [] city($c6,$c5)|dirty($c11,$c8).
% 1.97/2.12 ** KEPT (pick-wt=6): 81 [] city($c6,$c5)|old($c11,$c8).
% 1.97/2.12 ** KEPT (pick-wt=6): 82 [] city($c6,$c5)|event($c11,$c7).
% 1.97/2.12 ** KEPT (pick-wt=7): 83 [] city($c6,$c5)|agent($c11,$c7,$c8).
% 1.97/2.12 ** KEPT (pick-wt=6): 84 [] city($c6,$c5)|present($c11,$c7).
% 1.97/2.12 ** KEPT (pick-wt=6): 85 [] city($c6,$c5)|barrel($c11,$c7).
% 1.97/2.12 ** KEPT (pick-wt=7): 86 [] city($c6,$c5)|down($c11,$c7,$c10).
% 1.97/2.12 ** KEPT (pick-wt=7): 87 [] city($c6,$c5)|in($c11,$c7,$c8).
% 1.97/2.12 ** KEPT (pick-wt=5): 88 [] hollywood_placename($c6,$c4)|actual_world($c11).
% 1.97/2.12 ** KEPT (pick-wt=6): 89 [] hollywood_placename($c6,$c4)|street($c11,$c10).
% 1.97/2.12 ** KEPT (pick-wt=6): 90 [] hollywood_placename($c6,$c4)|lonely($c11,$c10).
% 1.97/2.12 ** KEPT (pick-wt=7): 91 [] hollywood_placename($c6,$c4)|of($c11,$c9,$c8).
% 1.97/2.12 ** KEPT (pick-wt=6): 92 [] hollywood_placename($c6,$c4)|city($c11,$c8).
% 1.97/2.12 ** KEPT (pick-wt=6): 93 [] hollywood_placename($c6,$c4)|hollywood_placename($c11,$c9).
% 1.97/2.12 ** KEPT (pick-wt=6): 94 [] hollywood_placename($c6,$c4)|placename($c11,$c9).
% 1.97/2.12 ** KEPT (pick-wt=6): 95 [] hollywood_placename($c6,$c4)|chevy($c11,$c8).
% 1.97/2.12 ** KEPT (pick-wt=6): 96 [] hollywood_placename($c6,$c4)|white($c11,$c8).
% 1.97/2.12 ** KEPT (pick-wt=6): 97 [] hollywood_placename($c6,$c4)|dirty($c11,$c8).
% 1.97/2.12 ** KEPT (pick-wt=6): 98 [] hollywood_placename($c6,$c4)|old($c11,$c8).
% 1.97/2.12 ** KEPT (pick-wt=6): 99 [] hollywood_placename($c6,$c4)|event($c11,$c7).
% 1.97/2.12 ** KEPT (pick-wt=7): 100 [] hollywood_placename($c6,$c4)|agent($c11,$c7,$c8).
% 1.97/2.12 ** KEPT (pick-wt=6): 101 [] hollywood_placename($c6,$c4)|present($c11,$c7).
% 1.97/2.12 ** KEPT (pick-wt=6): 102 [] hollywood_placename($c6,$c4)|barrel($c11,$c7).
% 1.97/2.12 ** KEPT (pick-wt=7): 103 [] hollywood_placename($c6,$c4)|down($c11,$c7,$c10).
% 1.97/2.12 ** KEPT (pick-wt=7): 104 [] hollywood_placename($c6,$c4)|in($c11,$c7,$c8).
% 1.97/2.12 ** KEPT (pick-wt=5): 105 [] placename($c6,$c4)|actual_world($c11).
% 1.97/2.12 ** KEPT (pick-wt=6): 106 [] placename($c6,$c4)|street($c11,$c10).
% 1.97/2.12 ** KEPT (pick-wt=6): 107 [] placename($c6,$c4)|lonely($c11,$c10).
% 1.97/2.12 ** KEPT (pick-wt=7): 108 [] placename($c6,$c4)|of($c11,$c9,$c8).
% 1.97/2.12 ** KEPT (pick-wt=6): 109 [] placename($c6,$c4)|city($c11,$c8).
% 1.97/2.12 ** KEPT (pick-wt=6): 110 [] placename($c6,$c4)|hollywood_placename($c11,$c9).
% 1.97/2.12 ** KEPT (pick-wt=6): 111 [] placename($c6,$c4)|placename($c11,$c9).
% 1.97/2.12 ** KEPT (pick-wt=6): 112 [] placename($c6,$c4)|chevy($c11,$c8).
% 1.97/2.12 ** KEPT (pick-wt=6): 113 [] placename($c6,$c4)|white($c11,$c8).
% 1.97/2.12 ** KEPT (pick-wt=6): 114 [] placename($c6,$c4)|dirty($c11,$c8).
% 1.97/2.12 ** KEPT (pick-wt=6): 115 [] placename($c6,$c4)|old($c11,$c8).
% 1.97/2.12 ** KEPT (pick-wt=6): 116 [] placename($c6,$c4)|event($c11,$c7).
% 1.97/2.12 ** KEPT (pick-wt=7): 117 [] placename($c6,$c4)|agent($c11,$c7,$c8).
% 1.97/2.12 ** KEPT (pick-wt=6): 118 [] placename($c6,$c4)|present($c11,$c7).
% 1.97/2.12 ** KEPT (pick-wt=6): 119 [] placename($c6,$c4)|barrel($c11,$c7).
% 1.97/2.12 ** KEPT (pick-wt=7): 120 [] placename($c6,$c4)|down($c11,$c7,$c10).
% 1.97/2.12 ** KEPT (pick-wt=7): 121 [] placename($c6,$c4)|in($c11,$c7,$c8).
% 1.97/2.12 ** KEPT (pick-wt=5): 122 [] chevy($c6,$c3)|actual_world($c11).
% 1.97/2.12 ** KEPT (pick-wt=6): 123 [] chevy($c6,$c3)|street($c11,$c10).
% 1.97/2.12 ** KEPT (pick-wt=6): 124 [] chevy($c6,$c3)|lonely($c11,$c10).
% 1.97/2.12 ** KEPT (pick-wt=7): 125 [] chevy($c6,$c3)|of($c11,$c9,$c8).
% 1.97/2.12 ** KEPT (pick-wt=6): 126 [] chevy($c6,$c3)|city($c11,$c8).
% 1.97/2.12 ** KEPT (pick-wt=6): 127 [] chevy($c6,$c3)|hollywood_placename($c11,$c9).
% 1.97/2.12 ** KEPT (pick-wt=6): 128 [] chevy($c6,$c3)|placename($c11,$c9).
% 1.97/2.12 ** KEPT (pick-wt=6): 129 [] chevy($c6,$c3)|chevy($c11,$c8).
% 1.97/2.12 ** KEPT (pick-wt=6): 130 [] chevy($c6,$c3)|white($c11,$c8).
% 1.97/2.12 ** KEPT (pick-wt=6): 131 [] chevy($c6,$c3)|dirty($c11,$c8).
% 1.97/2.12 ** KEPT (pick-wt=6): 132 [] chevy($c6,$c3)|old($c11,$c8).
% 1.97/2.12 ** KEPT (pick-wt=6): 133 [] chevy($c6,$c3)|event($c11,$c7).
% 1.97/2.12 ** KEPT (pick-wt=7): 134 [] chevy($c6,$c3)|agent($c11,$c7,$c8).
% 1.97/2.12 ** KEPT (pick-wt=6): 135 [] chevy($c6,$c3)|present($c11,$c7).
% 1.97/2.12 ** KEPT (pick-wt=6): 136 [] chevy($c6,$c3)|barrel($c11,$c7).
% 1.97/2.12 ** KEPT (pick-wt=7): 137 [] chevy($c6,$c3)|down($c11,$c7,$c10).
% 1.97/2.12 ** KEPT (pick-wt=7): 138 [] chevy($c6,$c3)|in($c11,$c7,$c8).
% 1.97/2.12 ** KEPT (pick-wt=5): 139 [] white($c6,$c3)|actual_world($c11).
% 1.97/2.12 ** KEPT (pick-wt=6): 140 [] white($c6,$c3)|street($c11,$c10).
% 1.97/2.12 ** KEPT (pick-wt=6): 141 [] white($c6,$c3)|lonely($c11,$c10).
% 1.97/2.12 ** KEPT (pick-wt=7): 142 [] white($c6,$c3)|of($c11,$c9,$c8).
% 1.97/2.12 ** KEPT (pick-wt=6): 143 [] white($c6,$c3)|city($c11,$c8).
% 1.97/2.12 ** KEPT (pick-wt=6): 144 [] white($c6,$c3)|hollywood_placename($c11,$c9).
% 1.97/2.12 ** KEPT (pick-wt=6): 145 [] white($c6,$c3)|placename($c11,$c9).
% 1.97/2.12 ** KEPT (pick-wt=6): 146 [] white($c6,$c3)|chevy($c11,$c8).
% 1.97/2.12 ** KEPT (pick-wt=6): 147 [] white($c6,$c3)|white($c11,$c8).
% 1.97/2.12 ** KEPT (pick-wt=6): 148 [] white($c6,$c3)|dirty($c11,$c8).
% 1.97/2.12 ** KEPT (pick-wt=6): 149 [] white($c6,$c3)|old($c11,$c8).
% 1.97/2.12 ** KEPT (pick-wt=6): 150 [] white($c6,$c3)|event($c11,$c7).
% 1.97/2.12 ** KEPT (pick-wt=7): 151 [] white($c6,$c3)|agent($c11,$c7,$c8).
% 1.97/2.12 ** KEPT (pick-wt=6): 152 [] white($c6,$c3)|present($c11,$c7).
% 1.97/2.12 ** KEPT (pick-wt=6): 153 [] white($c6,$c3)|barrel($c11,$c7).
% 1.97/2.12 ** KEPT (pick-wt=7): 154 [] white($c6,$c3)|down($c11,$c7,$c10).
% 1.97/2.12 ** KEPT (pick-wt=7): 155 [] white($c6,$c3)|in($c11,$c7,$c8).
% 1.97/2.12 ** KEPT (pick-wt=5): 156 [] dirty($c6,$c3)|actual_world($c11).
% 1.97/2.12 ** KEPT (pick-wt=6): 157 [] dirty($c6,$c3)|street($c11,$c10).
% 1.97/2.12 ** KEPT (pick-wt=6): 158 [] dirty($c6,$c3)|lonely($c11,$c10).
% 1.97/2.12 ** KEPT (pick-wt=7): 159 [] dirty($c6,$c3)|of($c11,$c9,$c8).
% 1.97/2.12 ** KEPT (pick-wt=6): 160 [] dirty($c6,$c3)|city($c11,$c8).
% 1.97/2.12 ** KEPT (pick-wt=6): 161 [] dirty($c6,$c3)|hollywood_placename($c11,$c9).
% 1.97/2.12 ** KEPT (pick-wt=6): 162 [] dirty($c6,$c3)|placename($c11,$c9).
% 1.97/2.12 ** KEPT (pick-wt=6): 163 [] dirty($c6,$c3)|chevy($c11,$c8).
% 1.97/2.12 ** KEPT (pick-wt=6): 164 [] dirty($c6,$c3)|white($c11,$c8).
% 1.97/2.12 ** KEPT (pick-wt=6): 165 [] dirty($c6,$c3)|dirty($c11,$c8).
% 1.97/2.12 ** KEPT (pick-wt=6): 166 [] dirty($c6,$c3)|old($c11,$c8).
% 1.97/2.12 ** KEPT (pick-wt=6): 167 [] dirty($c6,$c3)|event($c11,$c7).
% 1.97/2.12 ** KEPT (pick-wt=7): 168 [] dirty($c6,$c3)|agent($c11,$c7,$c8).
% 1.97/2.12 ** KEPT (pick-wt=6): 169 [] dirty($c6,$c3)|present($c11,$c7).
% 1.97/2.12 ** KEPT (pick-wt=6): 170 [] dirty($c6,$c3)|barrel($c11,$c7).
% 1.97/2.12 ** KEPT (pick-wt=7): 171 [] dirty($c6,$c3)|down($c11,$c7,$c10).
% 1.97/2.12 ** KEPT (pick-wt=7): 172 [] dirty($c6,$c3)|in($c11,$c7,$c8).
% 1.97/2.12 ** KEPT (pick-wt=5): 173 [] old($c6,$c3)|actual_world($c11).
% 1.97/2.12 ** KEPT (pick-wt=6): 174 [] old($c6,$c3)|street($c11,$c10).
% 1.97/2.12 ** KEPT (pick-wt=6): 175 [] old($c6,$c3)|lonely($c11,$c10).
% 1.97/2.12 ** KEPT (pick-wt=7): 176 [] old($c6,$c3)|of($c11,$c9,$c8).
% 1.97/2.12 ** KEPT (pick-wt=6): 177 [] old($c6,$c3)|city($c11,$c8).
% 1.97/2.12 ** KEPT (pick-wt=6): 178 [] old($c6,$c3)|hollywood_placename($c11,$c9).
% 1.97/2.12 ** KEPT (pick-wt=6): 179 [] old($c6,$c3)|placename($c11,$c9).
% 1.97/2.12 ** KEPT (pick-wt=6): 180 [] old($c6,$c3)|chevy($c11,$c8).
% 1.97/2.12 ** KEPT (pick-wt=6): 181 [] old($c6,$c3)|white($c11,$c8).
% 1.97/2.12 ** KEPT (pick-wt=6): 182 [] old($c6,$c3)|dirty($c11,$c8).
% 1.97/2.12 ** KEPT (pick-wt=6): 183 [] old($c6,$c3)|old($c11,$c8).
% 1.97/2.12 ** KEPT (pick-wt=6): 184 [] old($c6,$c3)|event($c11,$c7).
% 1.97/2.12 ** KEPT (pick-wt=7): 185 [] old($c6,$c3)|agent($c11,$c7,$c8).
% 1.97/2.12 ** KEPT (pick-wt=6): 186 [] old($c6,$c3)|present($c11,$c7).
% 1.97/2.12 ** KEPT (pick-wt=6): 187 [] old($c6,$c3)|barrel($c11,$c7).
% 1.97/2.12 ** KEPT (pick-wt=7): 188 [] old($c6,$c3)|down($c11,$c7,$c10).
% 1.97/2.12 ** KEPT (pick-wt=7): 189 [] old($c6,$c3)|in($c11,$c7,$c8).
% 1.97/2.12 ** KEPT (pick-wt=5): 190 [] street($c6,$c2)|actual_world($c11).
% 1.97/2.12 ** KEPT (pick-wt=6): 191 [] street($c6,$c2)|street($c11,$c10).
% 1.97/2.12 ** KEPT (pick-wt=6): 192 [] street($c6,$c2)|lonely($c11,$c10).
% 1.97/2.12 ** KEPT (pick-wt=7): 193 [] street($c6,$c2)|of($c11,$c9,$c8).
% 1.97/2.12 ** KEPT (pick-wt=6): 194 [] street($c6,$c2)|city($c11,$c8).
% 1.97/2.12 ** KEPT (pick-wt=6): 195 [] street($c6,$c2)|hollywood_placename($c11,$c9).
% 1.97/2.12 ** KEPT (pick-wt=6): 196 [] street($c6,$c2)|placename($c11,$c9).
% 1.97/2.12 ** KEPT (pick-wt=6): 197 [] street($c6,$c2)|chevy($c11,$c8).
% 1.97/2.12 ** KEPT (pick-wt=6): 198 [] street($c6,$c2)|white($c11,$c8).
% 1.97/2.12 ** KEPT (pick-wt=6): 199 [] street($c6,$c2)|dirty($c11,$c8).
% 1.97/2.12 ** KEPT (pick-wt=6): 200 [] street($c6,$c2)|old($c11,$c8).
% 1.97/2.12 ** KEPT (pick-wt=6): 201 [] street($c6,$c2)|event($c11,$c7).
% 1.97/2.12 ** KEPT (pick-wt=7): 202 [] street($c6,$c2)|agent($c11,$c7,$c8).
% 1.97/2.12 ** KEPT (pick-wt=6): 203 [] street($c6,$c2)|present($c11,$c7).
% 1.97/2.12 ** KEPT (pick-wt=6): 204 [] street($c6,$c2)|barrel($c11,$c7).
% 1.97/2.12 ** KEPT (pick-wt=7): 205 [] street($c6,$c2)|down($c11,$c7,$c10).
% 1.97/2.12 ** KEPT (pick-wt=7): 206 [] street($c6,$c2)|in($c11,$c7,$c8).
% 1.97/2.12 ** KEPT (pick-wt=5): 207 [] lonely($c6,$c2)|actual_world($c11).
% 1.97/2.12 ** KEPT (pick-wt=6): 208 [] lonely($c6,$c2)|street($c11,$c10).
% 1.97/2.12 ** KEPT (pick-wt=6): 209 [] lonely($c6,$c2)|lonely($c11,$c10).
% 1.97/2.12 ** KEPT (pick-wt=7): 210 [] lonely($c6,$c2)|of($c11,$c9,$c8).
% 1.97/2.12 ** KEPT (pick-wt=6): 211 [] lonely($c6,$c2)|city($c11,$c8).
% 1.97/2.12 ** KEPT (pick-wt=6): 212 [] lonely($c6,$c2)|hollywood_placename($c11,$c9).
% 1.97/2.12 ** KEPT (pick-wt=6): 213 [] lonely($c6,$c2)|placename($c11,$c9).
% 1.97/2.12 ** KEPT (pick-wt=6): 214 [] lonely($c6,$c2)|chevy($c11,$c8).
% 1.97/2.12 ** KEPT (pick-wt=6): 215 [] lonely($c6,$c2)|white($c11,$c8).
% 1.97/2.12 ** KEPT (pick-wt=6): 216 [] lonely($c6,$c2)|dirty($c11,$c8).
% 1.97/2.12 ** KEPT (pick-wt=6): 217 [] lonely($c6,$c2)|old($c11,$c8).
% 1.97/2.12 ** KEPT (pick-wt=6): 218 [] lonely($c6,$c2)|event($c11,$c7).
% 1.97/2.12 ** KEPT (pick-wt=7): 219 [] lonely($c6,$c2)|agent($c11,$c7,$c8).
% 1.97/2.12 ** KEPT (pick-wt=6): 220 [] lonely($c6,$c2)|present($c11,$c7).
% 1.97/2.12 ** KEPT (pick-wt=6): 221 [] lonely($c6,$c2)|barrel($c11,$c7).
% 1.97/2.12 ** KEPT (pick-wt=7): 222 [] lonely($c6,$c2)|down($c11,$c7,$c10).
% 1.97/2.12 ** KEPT (pick-wt=7): 223 [] lonely($c6,$c2)|in($c11,$c7,$c8).
% 1.97/2.12 ** KEPT (pick-wt=5): 224 [] event($c6,$c1)|actual_world($c11).
% 1.97/2.12 ** KEPT (pick-wt=6): 225 [] event($c6,$c1)|street($c11,$c10).
% 1.97/2.12 ** KEPT (pick-wt=6): 226 [] event($c6,$c1)|lonely($c11,$c10).
% 1.97/2.12 ** KEPT (pick-wt=7): 227 [] event($c6,$c1)|of($c11,$c9,$c8).
% 1.97/2.12 ** KEPT (pick-wt=6): 228 [] event($c6,$c1)|city($c11,$c8).
% 1.97/2.12 ** KEPT (pick-wt=6): 229 [] event($c6,$c1)|hollywood_placename($c11,$c9).
% 1.97/2.12 ** KEPT (pick-wt=6): 230 [] event($c6,$c1)|placename($c11,$c9).
% 1.97/2.12 ** KEPT (pick-wt=6): 231 [] event($c6,$c1)|chevy($c11,$c8).
% 1.97/2.12 ** KEPT (pick-wt=6): 232 [] event($c6,$c1)|white($c11,$c8).
% 1.97/2.12 ** KEPT (pick-wt=6): 233 [] event($c6,$c1)|dirty($c11,$c8).
% 1.97/2.12 ** KEPT (pick-wt=6): 234 [] event($c6,$c1)|old($c11,$c8).
% 1.97/2.12 ** KEPT (pick-wt=6): 235 [] event($c6,$c1)|event($c11,$c7).
% 1.97/2.12 ** KEPT (pick-wt=7): 236 [] event($c6,$c1)|agent($c11,$c7,$c8).
% 1.97/2.12 ** KEPT (pick-wt=6): 237 [] event($c6,$c1)|present($c11,$c7).
% 1.97/2.12 ** KEPT (pick-wt=6): 238 [] event($c6,$c1)|barrel($c11,$c7).
% 1.97/2.12 ** KEPT (pick-wt=7): 239 [] event($c6,$c1)|down($c11,$c7,$c10).
% 1.97/2.12 ** KEPT (pick-wt=7): 240 [] event($c6,$c1)|in($c11,$c7,$c8).
% 1.97/2.12 ** KEPT (pick-wt=6): 241 [] agent($c6,$c1,$c3)|actual_world($c11).
% 1.97/2.12 ** KEPT (pick-wt=7): 242 [] agent($c6,$c1,$c3)|street($c11,$c10).
% 1.97/2.12 ** KEPT (pick-wt=7): 243 [] agent($c6,$c1,$c3)|lonely($c11,$c10).
% 1.97/2.12 ** KEPT (pick-wt=8): 244 [] agent($c6,$c1,$c3)|of($c11,$c9,$c8).
% 1.97/2.12 ** KEPT (pick-wt=7): 245 [] agent($c6,$c1,$c3)|city($c11,$c8).
% 1.97/2.12 ** KEPT (pick-wt=7): 246 [] agent($c6,$c1,$c3)|hollywood_placename($c11,$c9).
% 1.97/2.12 ** KEPT (pick-wt=7): 247 [] agent($c6,$c1,$c3)|placename($c11,$c9).
% 1.97/2.12 ** KEPT (pick-wt=7): 248 [] agent($c6,$c1,$c3)|chevy($c11,$c8).
% 1.97/2.12 ** KEPT (pick-wt=7): 249 [] agent($c6,$c1,$c3)|white($c11,$c8).
% 1.97/2.12 ** KEPT (pick-wt=7): 250 [] agent($c6,$c1,$c3)|dirty($c11,$c8).
% 1.97/2.12 ** KEPT (pick-wt=7): 251 [] agent($c6,$c1,$c3)|old($c11,$c8).
% 1.97/2.12 ** KEPT (pick-wt=7): 252 [] agent($c6,$c1,$c3)|event($c11,$c7).
% 1.97/2.12 ** KEPT (pick-wt=8): 253 [] agent($c6,$c1,$c3)|agent($c11,$c7,$c8).
% 1.97/2.12 ** KEPT (pick-wt=7): 254 [] agent($c6,$c1,$c3)|present($c11,$c7).
% 1.97/2.12 ** KEPT (pick-wt=7): 255 [] agent($c6,$c1,$c3)|barrel($c11,$c7).
% 1.97/2.12 ** KEPT (pick-wt=8): 256 [] agent($c6,$c1,$c3)|down($c11,$c7,$c10).
% 1.97/2.12 ** KEPT (pick-wt=8): 257 [] agent($c6,$c1,$c3)|in($c11,$c7,$c8).
% 1.97/2.12 ** KEPT (pick-wt=5): 258 [] present($c6,$c1)|actual_world($c11).
% 1.97/2.12 ** KEPT (pick-wt=6): 259 [] present($c6,$c1)|street($c11,$c10).
% 1.97/2.12 ** KEPT (pick-wt=6): 260 [] present($c6,$c1)|lonely($c11,$c10).
% 1.97/2.12 ** KEPT (pick-wt=7): 261 [] present($c6,$c1)|of($c11,$c9,$c8).
% 1.97/2.12 ** KEPT (pick-wt=6): 262 [] present($c6,$c1)|city($c11,$c8).
% 1.97/2.12 ** KEPT (pick-wt=6): 263 [] present($c6,$c1)|hollywood_placename($c11,$c9).
% 1.97/2.12 ** KEPT (pick-wt=6): 264 [] present($c6,$c1)|placename($c11,$c9).
% 1.97/2.12 ** KEPT (pick-wt=6): 265 [] present($c6,$c1)|chevy($c11,$c8).
% 1.97/2.12 ** KEPT (pick-wt=6): 266 [] present($c6,$c1)|white($c11,$c8).
% 1.97/2.12 ** KEPT (pick-wt=6): 267 [] present($c6,$c1)|dirty($c11,$c8).
% 1.97/2.12 ** KEPT (pick-wt=6): 268 [] present($c6,$c1)|old($c11,$c8).
% 1.97/2.12 ** KEPT (pick-wt=6): 269 [] present($c6,$c1)|event($c11,$c7).
% 1.97/2.12 ** KEPT (pick-wt=7): 270 [] present($c6,$c1)|agent($c11,$c7,$c8).
% 1.97/2.12 ** KEPT (pick-wt=6): 271 [] present($c6,$c1)|present($c11,$c7).
% 1.97/2.12 ** KEPT (pick-wt=6): 272 [] present($c6,$c1)|barrel($c11,$c7).
% 1.97/2.12 ** KEPT (pick-wt=7): 273 [] present($c6,$c1)|down($c11,$c7,$c10).
% 1.97/2.12 ** KEPT (pick-wt=7): 274 [] present($c6,$c1)|in($c11,$c7,$c8).
% 1.97/2.12 ** KEPT (pick-wt=5): 275 [] barrel($c6,$c1)|actual_world($c11).
% 1.97/2.12 ** KEPT (pick-wt=6): 276 [] barrel($c6,$c1)|street($c11,$c10).
% 1.97/2.12 ** KEPT (pick-wt=6): 277 [] barrel($c6,$c1)|lonely($c11,$c10).
% 1.97/2.12 ** KEPT (pick-wt=7): 278 [] barrel($c6,$c1)|of($c11,$c9,$c8).
% 1.97/2.12 ** KEPT (pick-wt=6): 279 [] barrel($c6,$c1)|city($c11,$c8).
% 1.97/2.12 ** KEPT (pick-wt=6): 280 [] barrel($c6,$c1)|hollywood_placename($c11,$c9).
% 1.97/2.12 ** KEPT (pick-wt=6): 281 [] barrel($c6,$c1)|placename($c11,$c9).
% 1.97/2.12 ** KEPT (pick-wt=6): 282 [] barrel($c6,$c1)|chevy($c11,$c8).
% 1.97/2.12 ** KEPT (pick-wt=6): 283 [] barrel($c6,$c1)|white($c11,$c8).
% 1.97/2.12 ** KEPT (pick-wt=6): 284 [] barrel($c6,$c1)|dirty($c11,$c8).
% 1.97/2.12 ** KEPT (pick-wt=6): 285 [] barrel($c6,$c1)|old($c11,$c8).
% 1.97/2.12 ** KEPT (pick-wt=6): 286 [] barrel($c6,$c1)|event($c11,$c7).
% 1.97/2.12 ** KEPT (pick-wt=7): 287 [] barrel($c6,$c1)|agent($c11,$c7,$c8).
% 1.97/2.12 ** KEPT (pick-wt=6): 288 [] barrel($c6,$c1)|present($c11,$c7).
% 1.97/2.12 ** KEPT (pick-wt=6): 289 [] barrel($c6,$c1)|barrel($c11,$c7).
% 1.97/2.12 ** KEPT (pick-wt=7): 290 [] barrel($c6,$c1)|down($c11,$c7,$c10).
% 1.97/2.12 ** KEPT (pick-wt=7): 291 [] barrel($c6,$c1)|in($c11,$c7,$c8).
% 1.97/2.12 ** KEPT (pick-wt=6): 292 [] down($c6,$c1,$c2)|actual_world($c11).
% 1.97/2.12 ** KEPT (pick-wt=7): 293 [] down($c6,$c1,$c2)|street($c11,$c10).
% 1.97/2.12 ** KEPT (pick-wt=7): 294 [] down($c6,$c1,$c2)|lonely($c11,$c10).
% 1.97/2.12 ** KEPT (pick-wt=8): 295 [] down($c6,$c1,$c2)|of($c11,$c9,$c8).
% 1.97/2.12 ** KEPT (pick-wt=7): 296 [] down($c6,$c1,$c2)|city($c11,$c8).
% 1.97/2.12 ** KEPT (pick-wt=7): 297 [] down($c6,$c1,$c2)|hollywood_placename($c11,$c9).
% 1.97/2.12 ** KEPT (pick-wt=7): 298 [] down($c6,$c1,$c2)|placename($c11,$c9).
% 1.97/2.12 ** KEPT (pick-wt=7): 299 [] down($c6,$c1,$c2)|chevy($c11,$c8).
% 1.97/2.12 ** KEPT (pick-wt=7): 300 [] down($c6,$c1,$c2)|white($c11,$c8).
% 1.97/2.12 ** KEPT (pick-wt=7): 301 [] down($c6,$c1,$c2)|dirty($c11,$c8).
% 1.97/2.12 ** KEPT (pick-wt=7): 302 [] down($c6,$c1,$c2)|old($c11,$c8).
% 1.97/2.12 ** KEPT (pick-wt=7): 303 [] down($c6,$c1,$c2)|event($c11,$c7).
% 1.97/2.12 ** KEPT (pick-wt=8): 304 [] down($c6,$c1,$c2)|agent($c11,$c7,$c8).
% 1.97/2.12 ** KEPT (pick-wt=7): 305 [] down($c6,$c1,$c2)|present($c11,$c7).
% 1.97/2.12 ** KEPT (pick-wt=7): 306 [] down($c6,$c1,$c2)|barrel($c11,$c7).
% 1.97/2.12 ** KEPT (pick-wt=8): 307 [] down($c6,$c1,$c2)|down($c11,$c7,$c10).
% 1.97/2.12 ** KEPT (pick-wt=8): 308 [] down($c6,$c1,$c2)|in($c11,$c7,$c8).
% 1.97/2.12 ** KEPT (pick-wt=6): 309 [] in($c6,$c1,$c5)|actual_world($c11).
% 1.97/2.12 ** KEPT (pick-wt=7): 310 [] in($c6,$c1,$c5)|street($c11,$c10).
% 1.97/2.12 ** KEPT (pick-wt=7): 311 [] in($c6,$c1,$c5)|lonely($c11,$c10).
% 1.97/2.12 ** KEPT (pick-wt=8): 312 [] in($c6,$c1,$c5)|of($c11,$c9,$c8).
% 1.97/2.12 ** KEPT (pick-wt=7): 313 [] in($c6,$c1,$c5)|city($c11,$c8).
% 1.97/2.12 ** KEPT (pick-wt=7): 314 [] in($c6,$c1,$c5)|hollywood_placename($c11,$c9).
% 1.97/2.12 ** KEPT (pick-wt=7): 315 [] in($c6,$c1,$c5)|placename($c11,$c9).
% 1.97/2.12 ** KEPT (pick-wt=7): 316 [] in($c6,$c1,$c5)|chevy($c11,$c8).
% 1.97/2.12 ** KEPT (pick-wt=7): 317 [] in($c6,$c1,$c5)|white($c11,$c8).
% 1.97/2.12 ** KEPT (pick-wt=7): 318 [] in($c6,$c1,$c5)|dirty($c11,$c8).
% 1.97/2.12 ** KEPT (pick-wt=7): 319 [] in($c6,$c1,$c5)|old($c11,$c8).
% 1.97/2.12 ** KEPT (pick-wt=7): 320 [] in($c6,$cAlarm clock
% 299.87/300.01 Otter interrupted
% 299.87/300.01 PROOF NOT FOUND
%------------------------------------------------------------------------------