TSTP Solution File: NLP004+1 by Otter---3.3
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Otter---3.3
% Problem : NLP004+1 : TPTP v8.1.0. Released v2.4.0.
% Transfm : none
% Format : tptp:raw
% Command : otter-tptp-script %s
% Computer : n025.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:26 EDT 2022
% Result : Timeout 299.90s 300.11s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.11/0.11 % Problem : NLP004+1 : TPTP v8.1.0. Released v2.4.0.
% 0.11/0.12 % Command : otter-tptp-script %s
% 0.12/0.33 % Computer : n025.cluster.edu
% 0.12/0.33 % Model : x86_64 x86_64
% 0.12/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.33 % Memory : 8042.1875MB
% 0.12/0.33 % OS : Linux 3.10.0-693.el7.x86_64
% 0.12/0.33 % CPULimit : 300
% 0.12/0.33 % WCLimit : 300
% 0.12/0.33 % DateTime : Wed Jul 27 08:56:00 EDT 2022
% 0.12/0.33 % CPUTime :
% 2.23/2.42 ----- Otter 3.3f, August 2004 -----
% 2.23/2.42 The process was started by sandbox2 on n025.cluster.edu,
% 2.23/2.42 Wed Jul 27 08:56:00 2022
% 2.23/2.42 The command was "./otter". The process ID is 12678.
% 2.23/2.42
% 2.23/2.42 set(prolog_style_variables).
% 2.23/2.42 set(auto).
% 2.23/2.42 dependent: set(auto1).
% 2.23/2.42 dependent: set(process_input).
% 2.23/2.42 dependent: clear(print_kept).
% 2.23/2.42 dependent: clear(print_new_demod).
% 2.23/2.42 dependent: clear(print_back_demod).
% 2.23/2.42 dependent: clear(print_back_sub).
% 2.23/2.42 dependent: set(control_memory).
% 2.23/2.42 dependent: assign(max_mem, 12000).
% 2.23/2.42 dependent: assign(pick_given_ratio, 4).
% 2.23/2.42 dependent: assign(stats_level, 1).
% 2.23/2.42 dependent: assign(max_seconds, 10800).
% 2.23/2.42 clear(print_given).
% 2.23/2.42
% 2.23/2.42 formula_list(usable).
% 2.23/2.42 all A (A=A).
% 2.23/2.42 -(((exists U V W X Y Z X1 X2 X4 X5 (seat(U)&furniture(U)&front(U)&seat(V)&furniture(V)&front(V)&hollywood(W)&city(W)&event(X)&street(Y)&way(Y)&lonely(Y)&chevy(Z)&car(Z)&white(Z)&dirty(Z)&old(Z)&barrel(X,Z)&down(X,Y)&in(X,W)&X1!=X2&fellow(X1)&man(X1)&young(X1)&fellow(X2)&man(X2)&young(X2)&X1=X4&in(X4,U)&X2=X5&in(X5,V)))-> (exists X6 X7 X8 X9 X10 X11 X12 X13 X15 X16 (seat(X6)&furniture(X6)&front(X6)&seat(X7)&furniture(X7)&front(X7)&hollywood(X8)&city(X8)&event(X9)&chevy(X10)&car(X10)&white(X10)&dirty(X10)&old(X10)&street(X11)&way(X11)&lonely(X11)&barrel(X9,X10)&down(X9,X11)&in(X9,X8)&X12!=X13&fellow(X12)&man(X12)&young(X12)&fellow(X13)&man(X13)&young(X13)&X12=X15&in(X15,X6)&X13=X16&in(X16,X7))))& ((exists X17 X18 X19 X20 X21 X22 X23 X24 X26 X27 (seat(X17)&furniture(X17)&front(X17)&seat(X18)&furniture(X18)&front(X18)&hollywood(X19)&city(X19)&event(X20)&chevy(X21)&car(X21)&white(X21)&dirty(X21)&old(X21)&street(X22)&way(X22)&lonely(X22)&barrel(X20,X21)&down(X20,X22)&in(X20,X19)&X23!=X24&fellow(X23)&man(X23)&young(X23)&fellow(X24)&man(X24)&young(X24)&X23=X26&in(X26,X17)&X24=X27&in(X27,X18)))-> (exists X28 X29 X30 X31 X32 X33 X34 X35 X37 X38 (seat(X28)&furniture(X28)&front(X28)&seat(X29)&furniture(X29)&front(X29)&hollywood(X30)&city(X30)&event(X31)&street(X32)&way(X32)&lonely(X32)&chevy(X33)&car(X33)&white(X33)&dirty(X33)&old(X33)&barrel(X31,X33)&down(X31,X32)&in(X31,X30)&X34!=X35&fellow(X34)&man(X34)&young(X34)&fellow(X35)&man(X35)&young(X35)&X34=X37&in(X37,X28)&X35=X38&in(X38,X29))))).
% 2.23/2.42 end_of_list.
% 2.23/2.42
% 2.23/2.42 -------> usable clausifies to:
% 2.23/2.42
% 2.23/2.42 list(usable).
% 2.23/2.42 0 [] A=A.
% 2.23/2.42 0 [] seat($c10)|seat($c20).
% 2.23/2.42 0 [] seat($c10)|furniture($c20).
% 2.23/2.42 0 [] seat($c10)|front($c20).
% 2.23/2.42 0 [] seat($c10)|seat($c19).
% 2.23/2.42 0 [] seat($c10)|furniture($c19).
% 2.23/2.42 0 [] seat($c10)|front($c19).
% 2.23/2.42 0 [] seat($c10)|hollywood($c18).
% 2.23/2.42 0 [] seat($c10)|city($c18).
% 2.23/2.42 0 [] seat($c10)|event($c17).
% 2.23/2.42 0 [] seat($c10)|chevy($c16).
% 2.23/2.42 0 [] seat($c10)|car($c16).
% 2.23/2.42 0 [] seat($c10)|white($c16).
% 2.23/2.42 0 [] seat($c10)|dirty($c16).
% 2.23/2.42 0 [] seat($c10)|old($c16).
% 2.23/2.42 0 [] seat($c10)|street($c15).
% 2.23/2.42 0 [] seat($c10)|way($c15).
% 2.23/2.42 0 [] seat($c10)|lonely($c15).
% 2.23/2.42 0 [] seat($c10)|barrel($c17,$c16).
% 2.23/2.42 0 [] seat($c10)|down($c17,$c15).
% 2.23/2.42 0 [] seat($c10)|in($c17,$c18).
% 2.23/2.42 0 [] seat($c10)|$c14!=$c13.
% 2.23/2.42 0 [] seat($c10)|fellow($c14).
% 2.23/2.42 0 [] seat($c10)|man($c14).
% 2.23/2.42 0 [] seat($c10)|young($c14).
% 2.23/2.42 0 [] seat($c10)|fellow($c13).
% 2.23/2.42 0 [] seat($c10)|man($c13).
% 2.23/2.42 0 [] seat($c10)|young($c13).
% 2.23/2.42 0 [] seat($c10)|$c14=$c12.
% 2.23/2.42 0 [] seat($c10)|in($c12,$c20).
% 2.23/2.42 0 [] seat($c10)|$c13=$c11.
% 2.23/2.42 0 [] seat($c10)|in($c11,$c19).
% 2.23/2.42 0 [] seat($c10)| -seat(X28)| -furniture(X28)| -front(X28)| -seat(X29)| -furniture(X29)| -front(X29)| -hollywood(X30)| -city(X30)| -event(X31)| -street(X32)| -way(X32)| -lonely(X32)| -chevy(X33)| -car(X33)| -white(X33)| -dirty(X33)| -old(X33)| -barrel(X31,X33)| -down(X31,X32)| -in(X31,X30)|X34=X35| -fellow(X34)| -man(X34)| -young(X34)| -fellow(X35)| -man(X35)| -young(X35)|X34!=X37| -in(X37,X28)|X35!=X38| -in(X38,X29).
% 2.23/2.42 0 [] furniture($c10)|seat($c20).
% 2.23/2.42 0 [] furniture($c10)|furniture($c20).
% 2.23/2.42 0 [] furniture($c10)|front($c20).
% 2.23/2.42 0 [] furniture($c10)|seat($c19).
% 2.23/2.42 0 [] furniture($c10)|furniture($c19).
% 2.23/2.42 0 [] furniture($c10)|front($c19).
% 2.23/2.42 0 [] furniture($c10)|hollywood($c18).
% 2.23/2.42 0 [] furniture($c10)|city($c18).
% 2.23/2.42 0 [] furniture($c10)|event($c17).
% 2.23/2.42 0 [] furniture($c10)|chevy($c16).
% 2.23/2.42 0 [] furniture($c10)|car($c16).
% 2.23/2.42 0 [] furniture($c10)|white($c16).
% 2.23/2.42 0 [] furniture($c10)|dirty($c16).
% 2.23/2.42 0 [] furniture($c10)|old($c16).
% 2.23/2.42 0 [] furniture($c10)|street($c15).
% 2.23/2.42 0 [] furniture($c10)|way($c15).
% 2.23/2.42 0 [] furniture($c10)|lonely($c15).
% 2.23/2.42 0 [] furniture($c10)|barrel($c17,$c16).
% 2.23/2.42 0 [] furniture($c10)|down($c17,$c15).
% 2.23/2.42 0 [] furniture($c10)|in($c17,$c18).
% 2.23/2.42 0 [] furniture($c10)|$c14!=$c13.
% 2.23/2.42 0 [] furniture($c10)|fellow($c14).
% 2.23/2.42 0 [] furniture($c10)|man($c14).
% 2.23/2.42 0 [] furniture($c10)|young($c14).
% 2.23/2.42 0 [] furniture($c10)|fellow($c13).
% 2.23/2.42 0 [] furniture($c10)|man($c13).
% 2.23/2.42 0 [] furniture($c10)|young($c13).
% 2.23/2.42 0 [] furniture($c10)|$c14=$c12.
% 2.23/2.42 0 [] furniture($c10)|in($c12,$c20).
% 2.23/2.42 0 [] furniture($c10)|$c13=$c11.
% 2.23/2.42 0 [] furniture($c10)|in($c11,$c19).
% 2.23/2.42 0 [] furniture($c10)| -seat(X28)| -furniture(X28)| -front(X28)| -seat(X29)| -furniture(X29)| -front(X29)| -hollywood(X30)| -city(X30)| -event(X31)| -street(X32)| -way(X32)| -lonely(X32)| -chevy(X33)| -car(X33)| -white(X33)| -dirty(X33)| -old(X33)| -barrel(X31,X33)| -down(X31,X32)| -in(X31,X30)|X34=X35| -fellow(X34)| -man(X34)| -young(X34)| -fellow(X35)| -man(X35)| -young(X35)|X34!=X37| -in(X37,X28)|X35!=X38| -in(X38,X29).
% 2.23/2.42 0 [] front($c10)|seat($c20).
% 2.23/2.42 0 [] front($c10)|furniture($c20).
% 2.23/2.42 0 [] front($c10)|front($c20).
% 2.23/2.42 0 [] front($c10)|seat($c19).
% 2.23/2.42 0 [] front($c10)|furniture($c19).
% 2.23/2.42 0 [] front($c10)|front($c19).
% 2.23/2.42 0 [] front($c10)|hollywood($c18).
% 2.23/2.42 0 [] front($c10)|city($c18).
% 2.23/2.42 0 [] front($c10)|event($c17).
% 2.23/2.42 0 [] front($c10)|chevy($c16).
% 2.23/2.42 0 [] front($c10)|car($c16).
% 2.23/2.42 0 [] front($c10)|white($c16).
% 2.23/2.42 0 [] front($c10)|dirty($c16).
% 2.23/2.42 0 [] front($c10)|old($c16).
% 2.23/2.42 0 [] front($c10)|street($c15).
% 2.23/2.42 0 [] front($c10)|way($c15).
% 2.23/2.42 0 [] front($c10)|lonely($c15).
% 2.23/2.42 0 [] front($c10)|barrel($c17,$c16).
% 2.23/2.42 0 [] front($c10)|down($c17,$c15).
% 2.23/2.42 0 [] front($c10)|in($c17,$c18).
% 2.23/2.42 0 [] front($c10)|$c14!=$c13.
% 2.23/2.42 0 [] front($c10)|fellow($c14).
% 2.23/2.42 0 [] front($c10)|man($c14).
% 2.23/2.42 0 [] front($c10)|young($c14).
% 2.23/2.42 0 [] front($c10)|fellow($c13).
% 2.23/2.42 0 [] front($c10)|man($c13).
% 2.23/2.42 0 [] front($c10)|young($c13).
% 2.23/2.42 0 [] front($c10)|$c14=$c12.
% 2.23/2.42 0 [] front($c10)|in($c12,$c20).
% 2.23/2.42 0 [] front($c10)|$c13=$c11.
% 2.23/2.42 0 [] front($c10)|in($c11,$c19).
% 2.23/2.42 0 [] front($c10)| -seat(X28)| -furniture(X28)| -front(X28)| -seat(X29)| -furniture(X29)| -front(X29)| -hollywood(X30)| -city(X30)| -event(X31)| -street(X32)| -way(X32)| -lonely(X32)| -chevy(X33)| -car(X33)| -white(X33)| -dirty(X33)| -old(X33)| -barrel(X31,X33)| -down(X31,X32)| -in(X31,X30)|X34=X35| -fellow(X34)| -man(X34)| -young(X34)| -fellow(X35)| -man(X35)| -young(X35)|X34!=X37| -in(X37,X28)|X35!=X38| -in(X38,X29).
% 2.23/2.42 0 [] seat($c9)|seat($c20).
% 2.23/2.42 0 [] seat($c9)|furniture($c20).
% 2.23/2.42 0 [] seat($c9)|front($c20).
% 2.23/2.42 0 [] seat($c9)|seat($c19).
% 2.23/2.42 0 [] seat($c9)|furniture($c19).
% 2.23/2.42 0 [] seat($c9)|front($c19).
% 2.23/2.42 0 [] seat($c9)|hollywood($c18).
% 2.23/2.42 0 [] seat($c9)|city($c18).
% 2.23/2.42 0 [] seat($c9)|event($c17).
% 2.23/2.42 0 [] seat($c9)|chevy($c16).
% 2.23/2.42 0 [] seat($c9)|car($c16).
% 2.23/2.42 0 [] seat($c9)|white($c16).
% 2.23/2.42 0 [] seat($c9)|dirty($c16).
% 2.23/2.42 0 [] seat($c9)|old($c16).
% 2.23/2.42 0 [] seat($c9)|street($c15).
% 2.23/2.42 0 [] seat($c9)|way($c15).
% 2.23/2.42 0 [] seat($c9)|lonely($c15).
% 2.23/2.42 0 [] seat($c9)|barrel($c17,$c16).
% 2.23/2.42 0 [] seat($c9)|down($c17,$c15).
% 2.23/2.42 0 [] seat($c9)|in($c17,$c18).
% 2.23/2.42 0 [] seat($c9)|$c14!=$c13.
% 2.23/2.42 0 [] seat($c9)|fellow($c14).
% 2.23/2.42 0 [] seat($c9)|man($c14).
% 2.23/2.42 0 [] seat($c9)|young($c14).
% 2.23/2.42 0 [] seat($c9)|fellow($c13).
% 2.23/2.42 0 [] seat($c9)|man($c13).
% 2.23/2.42 0 [] seat($c9)|young($c13).
% 2.23/2.42 0 [] seat($c9)|$c14=$c12.
% 2.23/2.42 0 [] seat($c9)|in($c12,$c20).
% 2.23/2.42 0 [] seat($c9)|$c13=$c11.
% 2.23/2.42 0 [] seat($c9)|in($c11,$c19).
% 2.23/2.42 0 [] seat($c9)| -seat(X28)| -furniture(X28)| -front(X28)| -seat(X29)| -furniture(X29)| -front(X29)| -hollywood(X30)| -city(X30)| -event(X31)| -street(X32)| -way(X32)| -lonely(X32)| -chevy(X33)| -car(X33)| -white(X33)| -dirty(X33)| -old(X33)| -barrel(X31,X33)| -down(X31,X32)| -in(X31,X30)|X34=X35| -fellow(X34)| -man(X34)| -young(X34)| -fellow(X35)| -man(X35)| -young(X35)|X34!=X37| -in(X37,X28)|X35!=X38| -in(X38,X29).
% 2.23/2.42 0 [] furniture($c9)|seat($c20).
% 2.23/2.42 0 [] furniture($c9)|furniture($c20).
% 2.23/2.42 0 [] furniture($c9)|front($c20).
% 2.23/2.42 0 [] furniture($c9)|seat($c19).
% 2.23/2.42 0 [] furniture($c9)|furniture($c19).
% 2.23/2.42 0 [] furniture($c9)|front($c19).
% 2.23/2.42 0 [] furniture($c9)|hollywood($c18).
% 2.23/2.42 0 [] furniture($c9)|city($c18).
% 2.23/2.42 0 [] furniture($c9)|event($c17).
% 2.23/2.42 0 [] furniture($c9)|chevy($c16).
% 2.23/2.42 0 [] furniture($c9)|car($c16).
% 2.23/2.42 0 [] furniture($c9)|white($c16).
% 2.23/2.42 0 [] furniture($c9)|dirty($c16).
% 2.23/2.42 0 [] furniture($c9)|old($c16).
% 2.23/2.42 0 [] furniture($c9)|street($c15).
% 2.23/2.42 0 [] furniture($c9)|way($c15).
% 2.23/2.42 0 [] furniture($c9)|lonely($c15).
% 2.23/2.42 0 [] furniture($c9)|barrel($c17,$c16).
% 2.23/2.42 0 [] furniture($c9)|down($c17,$c15).
% 2.23/2.42 0 [] furniture($c9)|in($c17,$c18).
% 2.23/2.42 0 [] furniture($c9)|$c14!=$c13.
% 2.23/2.42 0 [] furniture($c9)|fellow($c14).
% 2.23/2.42 0 [] furniture($c9)|man($c14).
% 2.23/2.42 0 [] furniture($c9)|young($c14).
% 2.23/2.42 0 [] furniture($c9)|fellow($c13).
% 2.23/2.42 0 [] furniture($c9)|man($c13).
% 2.23/2.42 0 [] furniture($c9)|young($c13).
% 2.23/2.42 0 [] furniture($c9)|$c14=$c12.
% 2.23/2.42 0 [] furniture($c9)|in($c12,$c20).
% 2.23/2.42 0 [] furniture($c9)|$c13=$c11.
% 2.23/2.42 0 [] furniture($c9)|in($c11,$c19).
% 2.23/2.42 0 [] furniture($c9)| -seat(X28)| -furniture(X28)| -front(X28)| -seat(X29)| -furniture(X29)| -front(X29)| -hollywood(X30)| -city(X30)| -event(X31)| -street(X32)| -way(X32)| -lonely(X32)| -chevy(X33)| -car(X33)| -white(X33)| -dirty(X33)| -old(X33)| -barrel(X31,X33)| -down(X31,X32)| -in(X31,X30)|X34=X35| -fellow(X34)| -man(X34)| -young(X34)| -fellow(X35)| -man(X35)| -young(X35)|X34!=X37| -in(X37,X28)|X35!=X38| -in(X38,X29).
% 2.23/2.42 0 [] front($c9)|seat($c20).
% 2.23/2.42 0 [] front($c9)|furniture($c20).
% 2.23/2.42 0 [] front($c9)|front($c20).
% 2.23/2.42 0 [] front($c9)|seat($c19).
% 2.23/2.42 0 [] front($c9)|furniture($c19).
% 2.23/2.42 0 [] front($c9)|front($c19).
% 2.23/2.42 0 [] front($c9)|hollywood($c18).
% 2.23/2.42 0 [] front($c9)|city($c18).
% 2.23/2.42 0 [] front($c9)|event($c17).
% 2.23/2.42 0 [] front($c9)|chevy($c16).
% 2.23/2.42 0 [] front($c9)|car($c16).
% 2.23/2.42 0 [] front($c9)|white($c16).
% 2.23/2.42 0 [] front($c9)|dirty($c16).
% 2.23/2.42 0 [] front($c9)|old($c16).
% 2.23/2.42 0 [] front($c9)|street($c15).
% 2.23/2.42 0 [] front($c9)|way($c15).
% 2.23/2.42 0 [] front($c9)|lonely($c15).
% 2.23/2.42 0 [] front($c9)|barrel($c17,$c16).
% 2.23/2.42 0 [] front($c9)|down($c17,$c15).
% 2.23/2.42 0 [] front($c9)|in($c17,$c18).
% 2.23/2.42 0 [] front($c9)|$c14!=$c13.
% 2.23/2.42 0 [] front($c9)|fellow($c14).
% 2.23/2.42 0 [] front($c9)|man($c14).
% 2.23/2.42 0 [] front($c9)|young($c14).
% 2.23/2.42 0 [] front($c9)|fellow($c13).
% 2.23/2.42 0 [] front($c9)|man($c13).
% 2.23/2.42 0 [] front($c9)|young($c13).
% 2.23/2.42 0 [] front($c9)|$c14=$c12.
% 2.23/2.42 0 [] front($c9)|in($c12,$c20).
% 2.23/2.42 0 [] front($c9)|$c13=$c11.
% 2.23/2.42 0 [] front($c9)|in($c11,$c19).
% 2.23/2.42 0 [] front($c9)| -seat(X28)| -furniture(X28)| -front(X28)| -seat(X29)| -furniture(X29)| -front(X29)| -hollywood(X30)| -city(X30)| -event(X31)| -street(X32)| -way(X32)| -lonely(X32)| -chevy(X33)| -car(X33)| -white(X33)| -dirty(X33)| -old(X33)| -barrel(X31,X33)| -down(X31,X32)| -in(X31,X30)|X34=X35| -fellow(X34)| -man(X34)| -young(X34)| -fellow(X35)| -man(X35)| -young(X35)|X34!=X37| -in(X37,X28)|X35!=X38| -in(X38,X29).
% 2.23/2.42 0 [] hollywood($c8)|seat($c20).
% 2.23/2.42 0 [] hollywood($c8)|furniture($c20).
% 2.23/2.42 0 [] hollywood($c8)|front($c20).
% 2.23/2.42 0 [] hollywood($c8)|seat($c19).
% 2.23/2.42 0 [] hollywood($c8)|furniture($c19).
% 2.23/2.42 0 [] hollywood($c8)|front($c19).
% 2.23/2.42 0 [] hollywood($c8)|hollywood($c18).
% 2.23/2.42 0 [] hollywood($c8)|city($c18).
% 2.23/2.42 0 [] hollywood($c8)|event($c17).
% 2.23/2.42 0 [] hollywood($c8)|chevy($c16).
% 2.23/2.42 0 [] hollywood($c8)|car($c16).
% 2.23/2.42 0 [] hollywood($c8)|white($c16).
% 2.23/2.42 0 [] hollywood($c8)|dirty($c16).
% 2.23/2.42 0 [] hollywood($c8)|old($c16).
% 2.23/2.42 0 [] hollywood($c8)|street($c15).
% 2.23/2.42 0 [] hollywood($c8)|way($c15).
% 2.23/2.42 0 [] hollywood($c8)|lonely($c15).
% 2.23/2.42 0 [] hollywood($c8)|barrel($c17,$c16).
% 2.23/2.42 0 [] hollywood($c8)|down($c17,$c15).
% 2.23/2.42 0 [] hollywood($c8)|in($c17,$c18).
% 2.23/2.42 0 [] hollywood($c8)|$c14!=$c13.
% 2.23/2.42 0 [] hollywood($c8)|fellow($c14).
% 2.23/2.42 0 [] hollywood($c8)|man($c14).
% 2.23/2.42 0 [] hollywood($c8)|young($c14).
% 2.23/2.42 0 [] hollywood($c8)|fellow($c13).
% 2.23/2.42 0 [] hollywood($c8)|man($c13).
% 2.23/2.42 0 [] hollywood($c8)|young($c13).
% 2.23/2.42 0 [] hollywood($c8)|$c14=$c12.
% 2.23/2.42 0 [] hollywood($c8)|in($c12,$c20).
% 2.23/2.42 0 [] hollywood($c8)|$c13=$c11.
% 2.23/2.42 0 [] hollywood($c8)|in($c11,$c19).
% 2.23/2.42 0 [] hollywood($c8)| -seat(X28)| -furniture(X28)| -front(X28)| -seat(X29)| -furniture(X29)| -front(X29)| -hollywood(X30)| -city(X30)| -event(X31)| -street(X32)| -way(X32)| -lonely(X32)| -chevy(X33)| -car(X33)| -white(X33)| -dirty(X33)| -old(X33)| -barrel(X31,X33)| -down(X31,X32)| -in(X31,X30)|X34=X35| -fellow(X34)| -man(X34)| -young(X34)| -fellow(X35)| -man(X35)| -young(X35)|X34!=X37| -in(X37,X28)|X35!=X38| -in(X38,X29).
% 2.23/2.42 0 [] city($c8)|seat($c20).
% 2.23/2.42 0 [] city($c8)|furniture($c20).
% 2.23/2.42 0 [] city($c8)|front($c20).
% 2.23/2.42 0 [] city($c8)|seat($c19).
% 2.23/2.42 0 [] city($c8)|furniture($c19).
% 2.23/2.42 0 [] city($c8)|front($c19).
% 2.23/2.42 0 [] city($c8)|hollywood($c18).
% 2.23/2.42 0 [] city($c8)|city($c18).
% 2.23/2.42 0 [] city($c8)|event($c17).
% 2.23/2.42 0 [] city($c8)|chevy($c16).
% 2.23/2.42 0 [] city($c8)|car($c16).
% 2.23/2.42 0 [] city($c8)|white($c16).
% 2.23/2.42 0 [] city($c8)|dirty($c16).
% 2.23/2.42 0 [] city($c8)|old($c16).
% 2.23/2.42 0 [] city($c8)|street($c15).
% 2.23/2.42 0 [] city($c8)|way($c15).
% 2.23/2.42 0 [] city($c8)|lonely($c15).
% 2.23/2.42 0 [] city($c8)|barrel($c17,$c16).
% 2.23/2.42 0 [] city($c8)|down($c17,$c15).
% 2.23/2.42 0 [] city($c8)|in($c17,$c18).
% 2.23/2.42 0 [] city($c8)|$c14!=$c13.
% 2.23/2.42 0 [] city($c8)|fellow($c14).
% 2.23/2.42 0 [] city($c8)|man($c14).
% 2.23/2.42 0 [] city($c8)|young($c14).
% 2.23/2.42 0 [] city($c8)|fellow($c13).
% 2.23/2.42 0 [] city($c8)|man($c13).
% 2.23/2.42 0 [] city($c8)|young($c13).
% 2.23/2.42 0 [] city($c8)|$c14=$c12.
% 2.23/2.42 0 [] city($c8)|in($c12,$c20).
% 2.23/2.42 0 [] city($c8)|$c13=$c11.
% 2.23/2.42 0 [] city($c8)|in($c11,$c19).
% 2.23/2.42 0 [] city($c8)| -seat(X28)| -furniture(X28)| -front(X28)| -seat(X29)| -furniture(X29)| -front(X29)| -hollywood(X30)| -city(X30)| -event(X31)| -street(X32)| -way(X32)| -lonely(X32)| -chevy(X33)| -car(X33)| -white(X33)| -dirty(X33)| -old(X33)| -barrel(X31,X33)| -down(X31,X32)| -in(X31,X30)|X34=X35| -fellow(X34)| -man(X34)| -young(X34)| -fellow(X35)| -man(X35)| -young(X35)|X34!=X37| -in(X37,X28)|X35!=X38| -in(X38,X29).
% 2.23/2.42 0 [] event($c7)|seat($c20).
% 2.23/2.42 0 [] event($c7)|furniture($c20).
% 2.23/2.42 0 [] event($c7)|front($c20).
% 2.23/2.42 0 [] event($c7)|seat($c19).
% 2.23/2.42 0 [] event($c7)|furniture($c19).
% 2.23/2.42 0 [] event($c7)|front($c19).
% 2.23/2.42 0 [] event($c7)|hollywood($c18).
% 2.23/2.42 0 [] event($c7)|city($c18).
% 2.23/2.42 0 [] event($c7)|event($c17).
% 2.23/2.42 0 [] event($c7)|chevy($c16).
% 2.23/2.42 0 [] event($c7)|car($c16).
% 2.23/2.42 0 [] event($c7)|white($c16).
% 2.23/2.42 0 [] event($c7)|dirty($c16).
% 2.23/2.42 0 [] event($c7)|old($c16).
% 2.23/2.42 0 [] event($c7)|street($c15).
% 2.23/2.42 0 [] event($c7)|way($c15).
% 2.23/2.42 0 [] event($c7)|lonely($c15).
% 2.23/2.42 0 [] event($c7)|barrel($c17,$c16).
% 2.23/2.42 0 [] event($c7)|down($c17,$c15).
% 2.23/2.42 0 [] event($c7)|in($c17,$c18).
% 2.23/2.42 0 [] event($c7)|$c14!=$c13.
% 2.23/2.42 0 [] event($c7)|fellow($c14).
% 2.23/2.42 0 [] event($c7)|man($c14).
% 2.23/2.42 0 [] event($c7)|young($c14).
% 2.23/2.42 0 [] event($c7)|fellow($c13).
% 2.23/2.42 0 [] event($c7)|man($c13).
% 2.23/2.42 0 [] event($c7)|young($c13).
% 2.23/2.42 0 [] event($c7)|$c14=$c12.
% 2.23/2.42 0 [] event($c7)|in($c12,$c20).
% 2.23/2.42 0 [] event($c7)|$c13=$c11.
% 2.23/2.42 0 [] event($c7)|in($c11,$c19).
% 2.23/2.42 0 [] event($c7)| -seat(X28)| -furniture(X28)| -front(X28)| -seat(X29)| -furniture(X29)| -front(X29)| -hollywood(X30)| -city(X30)| -event(X31)| -street(X32)| -way(X32)| -lonely(X32)| -chevy(X33)| -car(X33)| -white(X33)| -dirty(X33)| -old(X33)| -barrel(X31,X33)| -down(X31,X32)| -in(X31,X30)|X34=X35| -fellow(X34)| -man(X34)| -young(X34)| -fellow(X35)| -man(X35)| -young(X35)|X34!=X37| -in(X37,X28)|X35!=X38| -in(X38,X29).
% 2.23/2.42 0 [] street($c6)|seat($c20).
% 2.23/2.42 0 [] street($c6)|furniture($c20).
% 2.23/2.42 0 [] street($c6)|front($c20).
% 2.23/2.42 0 [] street($c6)|seat($c19).
% 2.23/2.42 0 [] street($c6)|furniture($c19).
% 2.23/2.42 0 [] street($c6)|front($c19).
% 2.23/2.42 0 [] street($c6)|hollywood($c18).
% 2.23/2.42 0 [] street($c6)|city($c18).
% 2.23/2.42 0 [] street($c6)|event($c17).
% 2.23/2.42 0 [] street($c6)|chevy($c16).
% 2.23/2.42 0 [] street($c6)|car($c16).
% 2.23/2.42 0 [] street($c6)|white($c16).
% 2.23/2.42 0 [] street($c6)|dirty($c16).
% 2.23/2.42 0 [] street($c6)|old($c16).
% 2.23/2.42 0 [] street($c6)|street($c15).
% 2.23/2.42 0 [] street($c6)|way($c15).
% 2.23/2.42 0 [] street($c6)|lonely($c15).
% 2.23/2.42 0 [] street($c6)|barrel($c17,$c16).
% 2.23/2.42 0 [] street($c6)|down($c17,$c15).
% 2.23/2.42 0 [] street($c6)|in($c17,$c18).
% 2.23/2.42 0 [] street($c6)|$c14!=$c13.
% 2.23/2.42 0 [] street($c6)|fellow($c14).
% 2.23/2.42 0 [] street($c6)|man($c14).
% 2.23/2.42 0 [] street($c6)|young($c14).
% 2.23/2.42 0 [] street($c6)|fellow($c13).
% 2.23/2.42 0 [] street($c6)|man($c13).
% 2.23/2.42 0 [] street($c6)|young($c13).
% 2.23/2.42 0 [] street($c6)|$c14=$c12.
% 2.23/2.42 0 [] street($c6)|in($c12,$c20).
% 2.23/2.42 0 [] street($c6)|$c13=$c11.
% 2.23/2.42 0 [] street($c6)|in($c11,$c19).
% 2.23/2.42 0 [] street($c6)| -seat(X28)| -furniture(X28)| -front(X28)| -seat(X29)| -furniture(X29)| -front(X29)| -hollywood(X30)| -city(X30)| -event(X31)| -street(X32)| -way(X32)| -lonely(X32)| -chevy(X33)| -car(X33)| -white(X33)| -dirty(X33)| -old(X33)| -barrel(X31,X33)| -down(X31,X32)| -in(X31,X30)|X34=X35| -fellow(X34)| -man(X34)| -young(X34)| -fellow(X35)| -man(X35)| -young(X35)|X34!=X37| -in(X37,X28)|X35!=X38| -in(X38,X29).
% 2.23/2.42 0 [] way($c6)|seat($c20).
% 2.23/2.42 0 [] way($c6)|furniture($c20).
% 2.23/2.42 0 [] way($c6)|front($c20).
% 2.23/2.42 0 [] way($c6)|seat($c19).
% 2.23/2.42 0 [] way($c6)|furniture($c19).
% 2.23/2.42 0 [] way($c6)|front($c19).
% 2.23/2.42 0 [] way($c6)|hollywood($c18).
% 2.23/2.42 0 [] way($c6)|city($c18).
% 2.23/2.42 0 [] way($c6)|event($c17).
% 2.23/2.42 0 [] way($c6)|chevy($c16).
% 2.23/2.42 0 [] way($c6)|car($c16).
% 2.23/2.42 0 [] way($c6)|white($c16).
% 2.23/2.42 0 [] way($c6)|dirty($c16).
% 2.23/2.42 0 [] way($c6)|old($c16).
% 2.23/2.42 0 [] way($c6)|street($c15).
% 2.23/2.42 0 [] way($c6)|way($c15).
% 2.23/2.42 0 [] way($c6)|lonely($c15).
% 2.23/2.42 0 [] way($c6)|barrel($c17,$c16).
% 2.23/2.42 0 [] way($c6)|down($c17,$c15).
% 2.23/2.42 0 [] way($c6)|in($c17,$c18).
% 2.23/2.42 0 [] way($c6)|$c14!=$c13.
% 2.23/2.42 0 [] way($c6)|fellow($c14).
% 2.23/2.42 0 [] way($c6)|man($c14).
% 2.23/2.42 0 [] way($c6)|young($c14).
% 2.23/2.42 0 [] way($c6)|fellow($c13).
% 2.23/2.42 0 [] way($c6)|man($c13).
% 2.23/2.42 0 [] way($c6)|young($c13).
% 2.23/2.42 0 [] way($c6)|$c14=$c12.
% 2.23/2.42 0 [] way($c6)|in($c12,$c20).
% 2.23/2.42 0 [] way($c6)|$c13=$c11.
% 2.23/2.42 0 [] way($c6)|in($c11,$c19).
% 2.23/2.42 0 [] way($c6)| -seat(X28)| -furniture(X28)| -front(X28)| -seat(X29)| -furniture(X29)| -front(X29)| -hollywood(X30)| -city(X30)| -event(X31)| -street(X32)| -way(X32)| -lonely(X32)| -chevy(X33)| -car(X33)| -white(X33)| -dirty(X33)| -old(X33)| -barrel(X31,X33)| -down(X31,X32)| -in(X31,X30)|X34=X35| -fellow(X34)| -man(X34)| -young(X34)| -fellow(X35)| -man(X35)| -young(X35)|X34!=X37| -in(X37,X28)|X35!=X38| -in(X38,X29).
% 2.23/2.42 0 [] lonely($c6)|seat($c20).
% 2.23/2.42 0 [] lonely($c6)|furniture($c20).
% 2.23/2.42 0 [] lonely($c6)|front($c20).
% 2.23/2.42 0 [] lonely($c6)|seat($c19).
% 2.23/2.42 0 [] lonely($c6)|furniture($c19).
% 2.23/2.42 0 [] lonely($c6)|front($c19).
% 2.23/2.42 0 [] lonely($c6)|hollywood($c18).
% 2.23/2.42 0 [] lonely($c6)|city($c18).
% 2.23/2.42 0 [] lonely($c6)|event($c17).
% 2.23/2.42 0 [] lonely($c6)|chevy($c16).
% 2.23/2.42 0 [] lonely($c6)|car($c16).
% 2.23/2.42 0 [] lonely($c6)|white($c16).
% 2.23/2.42 0 [] lonely($c6)|dirty($c16).
% 2.23/2.42 0 [] lonely($c6)|old($c16).
% 2.23/2.42 0 [] lonely($c6)|street($c15).
% 2.23/2.42 0 [] lonely($c6)|way($c15).
% 2.23/2.42 0 [] lonely($c6)|lonely($c15).
% 2.23/2.42 0 [] lonely($c6)|barrel($c17,$c16).
% 2.23/2.42 0 [] lonely($c6)|down($c17,$c15).
% 2.23/2.42 0 [] lonely($c6)|in($c17,$c18).
% 2.23/2.42 0 [] lonely($c6)|$c14!=$c13.
% 2.23/2.42 0 [] lonely($c6)|fellow($c14).
% 2.23/2.42 0 [] lonely($c6)|man($c14).
% 2.23/2.42 0 [] lonely($c6)|young($c14).
% 2.23/2.42 0 [] lonely($c6)|fellow($c13).
% 2.23/2.42 0 [] lonely($c6)|man($c13).
% 2.23/2.42 0 [] lonely($c6)|young($c13).
% 2.23/2.42 0 [] lonely($c6)|$c14=$c12.
% 2.23/2.42 0 [] lonely($c6)|in($c12,$c20).
% 2.23/2.42 0 [] lonely($c6)|$c13=$c11.
% 2.23/2.42 0 [] lonely($c6)|in($c11,$c19).
% 2.23/2.42 0 [] lonely($c6)| -seat(X28)| -furniture(X28)| -front(X28)| -seat(X29)| -furniture(X29)| -front(X29)| -hollywood(X30)| -city(X30)| -event(X31)| -street(X32)| -way(X32)| -lonely(X32)| -chevy(X33)| -car(X33)| -white(X33)| -dirty(X33)| -old(X33)| -barrel(X31,X33)| -down(X31,X32)| -in(X31,X30)|X34=X35| -fellow(X34)| -man(X34)| -young(X34)| -fellow(X35)| -man(X35)| -young(X35)|X34!=X37| -in(X37,X28)|X35!=X38| -in(X38,X29).
% 2.23/2.42 0 [] chevy($c5)|seat($c20).
% 2.23/2.42 0 [] chevy($c5)|furniture($c20).
% 2.23/2.42 0 [] chevy($c5)|front($c20).
% 2.23/2.42 0 [] chevy($c5)|seat($c19).
% 2.23/2.42 0 [] chevy($c5)|furniture($c19).
% 2.23/2.42 0 [] chevy($c5)|front($c19).
% 2.23/2.42 0 [] chevy($c5)|hollywood($c18).
% 2.23/2.42 0 [] chevy($c5)|city($c18).
% 2.23/2.42 0 [] chevy($c5)|event($c17).
% 2.23/2.42 0 [] chevy($c5)|chevy($c16).
% 2.23/2.42 0 [] chevy($c5)|car($c16).
% 2.23/2.42 0 [] chevy($c5)|white($c16).
% 2.23/2.42 0 [] chevy($c5)|dirty($c16).
% 2.23/2.42 0 [] chevy($c5)|old($c16).
% 2.23/2.42 0 [] chevy($c5)|street($c15).
% 2.23/2.42 0 [] chevy($c5)|way($c15).
% 2.23/2.42 0 [] chevy($c5)|lonely($c15).
% 2.23/2.42 0 [] chevy($c5)|barrel($c17,$c16).
% 2.23/2.42 0 [] chevy($c5)|down($c17,$c15).
% 2.23/2.42 0 [] chevy($c5)|in($c17,$c18).
% 2.23/2.42 0 [] chevy($c5)|$c14!=$c13.
% 2.23/2.42 0 [] chevy($c5)|fellow($c14).
% 2.23/2.42 0 [] chevy($c5)|man($c14).
% 2.23/2.42 0 [] chevy($c5)|young($c14).
% 2.23/2.42 0 [] chevy($c5)|fellow($c13).
% 2.23/2.42 0 [] chevy($c5)|man($c13).
% 2.23/2.42 0 [] chevy($c5)|young($c13).
% 2.23/2.42 0 [] chevy($c5)|$c14=$c12.
% 2.23/2.42 0 [] chevy($c5)|in($c12,$c20).
% 2.23/2.42 0 [] chevy($c5)|$c13=$c11.
% 2.23/2.42 0 [] chevy($c5)|in($c11,$c19).
% 2.23/2.42 0 [] chevy($c5)| -seat(X28)| -furniture(X28)| -front(X28)| -seat(X29)| -furniture(X29)| -front(X29)| -hollywood(X30)| -city(X30)| -event(X31)| -street(X32)| -way(X32)| -lonely(X32)| -chevy(X33)| -car(X33)| -white(X33)| -dirty(X33)| -old(X33)| -barrel(X31,X33)| -down(X31,X32)| -in(X31,X30)|X34=X35| -fellow(X34)| -man(X34)| -young(X34)| -fellow(X35)| -man(X35)| -young(X35)|X34!=X37| -in(X37,X28)|X35!=X38| -in(X38,X29).
% 2.23/2.42 0 [] car($c5)|seat($c20).
% 2.23/2.42 0 [] car($c5)|furniture($c20).
% 2.23/2.42 0 [] car($c5)|front($c20).
% 2.23/2.42 0 [] car($c5)|seat($c19).
% 2.23/2.42 0 [] car($c5)|furniture($c19).
% 2.23/2.42 0 [] car($c5)|front($c19).
% 2.23/2.42 0 [] car($c5)|hollywood($c18).
% 2.23/2.42 0 [] car($c5)|city($c18).
% 2.23/2.42 0 [] car($c5)|event($c17).
% 2.23/2.42 0 [] car($c5)|chevy($c16).
% 2.23/2.42 0 [] car($c5)|car($c16).
% 2.23/2.42 0 [] car($c5)|white($c16).
% 2.23/2.42 0 [] car($c5)|dirty($c16).
% 2.23/2.42 0 [] car($c5)|old($c16).
% 2.23/2.42 0 [] car($c5)|street($c15).
% 2.23/2.42 0 [] car($c5)|way($c15).
% 2.23/2.42 0 [] car($c5)|lonely($c15).
% 2.23/2.42 0 [] car($c5)|barrel($c17,$c16).
% 2.23/2.42 0 [] car($c5)|down($c17,$c15).
% 2.23/2.42 0 [] car($c5)|in($c17,$c18).
% 2.23/2.42 0 [] car($c5)|$c14!=$c13.
% 2.23/2.42 0 [] car($c5)|fellow($c14).
% 2.23/2.42 0 [] car($c5)|man($c14).
% 2.23/2.42 0 [] car($c5)|young($c14).
% 2.23/2.42 0 [] car($c5)|fellow($c13).
% 2.23/2.42 0 [] car($c5)|man($c13).
% 2.23/2.42 0 [] car($c5)|young($c13).
% 2.23/2.42 0 [] car($c5)|$c14=$c12.
% 2.23/2.42 0 [] car($c5)|in($c12,$c20).
% 2.23/2.42 0 [] car($c5)|$c13=$c11.
% 2.23/2.42 0 [] car($c5)|in($c11,$c19).
% 2.23/2.42 0 [] car($c5)| -seat(X28)| -furniture(X28)| -front(X28)| -seat(X29)| -furniture(X29)| -front(X29)| -hollywood(X30)| -city(X30)| -event(X31)| -street(X32)| -way(X32)| -lonely(X32)| -chevy(X33)| -car(X33)| -white(X33)| -dirty(X33)| -old(X33)| -barrel(X31,X33)| -down(X31,X32)| -in(X31,X30)|X34=X35| -fellow(X34)| -man(X34)| -young(X34)| -fellow(X35)| -man(X35)| -young(X35)|X34!=X37| -in(X37,X28)|X35!=X38| -in(X38,X29).
% 2.23/2.42 0 [] white($c5)|seat($c20).
% 2.23/2.42 0 [] white($c5)|furniture($c20).
% 2.23/2.42 0 [] white($c5)|front($c20).
% 2.23/2.42 0 [] white($c5)|seat($c19).
% 2.23/2.42 0 [] white($c5)|furniture($c19).
% 2.23/2.42 0 [] white($c5)|front($c19).
% 2.23/2.42 0 [] white($c5)|hollywood($c18).
% 2.23/2.42 0 [] white($c5)|city($c18).
% 2.23/2.42 0 [] white($c5)|event($c17).
% 2.23/2.42 0 [] white($c5)|chevy($c16).
% 2.23/2.42 0 [] white($c5)|car($c16).
% 2.23/2.42 0 [] white($c5)|white($c16).
% 2.23/2.42 0 [] white($c5)|dirty($c16).
% 2.23/2.42 0 [] white($c5)|old($c16).
% 2.23/2.42 0 [] white($c5)|street($c15).
% 2.23/2.42 0 [] white($c5)|way($c15).
% 2.23/2.42 0 [] white($c5)|lonely($c15).
% 2.23/2.42 0 [] white($c5)|barrel($c17,$c16).
% 2.23/2.42 0 [] white($c5)|down($c17,$c15).
% 2.23/2.42 0 [] white($c5)|in($c17,$c18).
% 2.23/2.42 0 [] white($c5)|$c14!=$c13.
% 2.23/2.42 0 [] white($c5)|fellow($c14).
% 2.23/2.42 0 [] white($c5)|man($c14).
% 2.23/2.42 0 [] white($c5)|young($c14).
% 2.23/2.42 0 [] white($c5)|fellow($c13).
% 2.23/2.42 0 [] white($c5)|man($c13).
% 2.23/2.42 0 [] white($c5)|young($c13).
% 2.23/2.42 0 [] white($c5)|$c14=$c12.
% 2.23/2.42 0 [] white($c5)|in($c12,$c20).
% 2.23/2.42 0 [] white($c5)|$c13=$c11.
% 2.23/2.42 0 [] white($c5)|in($c11,$c19).
% 2.23/2.42 0 [] white($c5)| -seat(X28)| -furniture(X28)| -front(X28)| -seat(X29)| -furniture(X29)| -front(X29)| -hollywood(X30)| -city(X30)| -event(X31)| -street(X32)| -way(X32)| -lonely(X32)| -chevy(X33)| -car(X33)| -white(X33)| -dirty(X33)| -old(X33)| -barrel(X31,X33)| -down(X31,X32)| -in(X31,X30)|X34=X35| -fellow(X34)| -man(X34)| -young(X34)| -fellow(X35)| -man(X35)| -young(X35)|X34!=X37| -in(X37,X28)|X35!=X38| -in(X38,X29).
% 2.23/2.42 0 [] dirty($c5)|seat($c20).
% 2.23/2.42 0 [] dirty($c5)|furniture($c20).
% 2.23/2.42 0 [] dirty($c5)|front($c20).
% 2.23/2.42 0 [] dirty($c5)|seat($c19).
% 2.23/2.42 0 [] dirty($c5)|furniture($c19).
% 2.23/2.42 0 [] dirty($c5)|front($c19).
% 2.23/2.42 0 [] dirty($c5)|hollywood($c18).
% 2.23/2.42 0 [] dirty($c5)|city($c18).
% 2.23/2.42 0 [] dirty($c5)|event($c17).
% 2.23/2.42 0 [] dirty($c5)|chevy($c16).
% 2.23/2.42 0 [] dirty($c5)|car($c16).
% 2.23/2.42 0 [] dirty($c5)|white($c16).
% 2.23/2.42 0 [] dirty($c5)|dirty($c16).
% 2.23/2.42 0 [] dirty($c5)|old($c16).
% 2.23/2.42 0 [] dirty($c5)|street($c15).
% 2.23/2.42 0 [] dirty($c5)|way($c15).
% 2.23/2.42 0 [] dirty($c5)|lonely($c15).
% 2.23/2.42 0 [] dirty($c5)|barrel($c17,$c16).
% 2.23/2.42 0 [] dirty($c5)|down($c17,$c15).
% 2.23/2.42 0 [] dirty($c5)|in($c17,$c18).
% 2.23/2.42 0 [] dirty($c5)|$c14!=$c13.
% 2.23/2.42 0 [] dirty($c5)|fellow($c14).
% 2.23/2.42 0 [] dirty($c5)|man($c14).
% 2.23/2.42 0 [] dirty($c5)|young($c14).
% 2.23/2.42 0 [] dirty($c5)|fellow($c13).
% 2.23/2.42 0 [] dirty($c5)|man($c13).
% 2.23/2.42 0 [] dirty($c5)|young($c13).
% 2.23/2.42 0 [] dirty($c5)|$c14=$c12.
% 2.23/2.42 0 [] dirty($c5)|in($c12,$c20).
% 2.23/2.42 0 [] dirty($c5)|$c13=$c11.
% 2.23/2.42 0 [] dirty($c5)|in($c11,$c19).
% 2.23/2.42 0 [] dirty($c5)| -seat(X28)| -furniture(X28)| -front(X28)| -seat(X29)| -furniture(X29)| -front(X29)| -hollywood(X30)| -city(X30)| -event(X31)| -street(X32)| -way(X32)| -lonely(X32)| -chevy(X33)| -car(X33)| -white(X33)| -dirty(X33)| -old(X33)| -barrel(X31,X33)| -down(X31,X32)| -in(X31,X30)|X34=X35| -fellow(X34)| -man(X34)| -young(X34)| -fellow(X35)| -man(X35)| -young(X35)|X34!=X37| -in(X37,X28)|X35!=X38| -in(X38,X29).
% 2.23/2.42 0 [] old($c5)|seat($c20).
% 2.23/2.42 0 [] old($c5)|furniture($c20).
% 2.23/2.42 0 [] old($c5)|front($c20).
% 2.23/2.42 0 [] old($c5)|seat($c19).
% 2.23/2.42 0 [] old($c5)|furniture($c19).
% 2.23/2.42 0 [] old($c5)|front($c19).
% 2.23/2.42 0 [] old($c5)|hollywood($c18).
% 2.23/2.42 0 [] old($c5)|city($c18).
% 2.23/2.42 0 [] old($c5)|event($c17).
% 2.23/2.42 0 [] old($c5)|chevy($c16).
% 2.23/2.42 0 [] old($c5)|car($c16).
% 2.23/2.42 0 [] old($c5)|white($c16).
% 2.23/2.42 0 [] old($c5)|dirty($c16).
% 2.23/2.42 0 [] old($c5)|old($c16).
% 2.23/2.42 0 [] old($c5)|street($c15).
% 2.23/2.42 0 [] old($c5)|way($c15).
% 2.23/2.42 0 [] old($c5)|lonely($c15).
% 2.23/2.42 0 [] old($c5)|barrel($c17,$c16).
% 2.23/2.42 0 [] old($c5)|down($c17,$c15).
% 2.23/2.42 0 [] old($c5)|in($c17,$c18).
% 2.23/2.42 0 [] old($c5)|$c14!=$c13.
% 2.23/2.42 0 [] old($c5)|fellow($c14).
% 2.23/2.42 0 [] old($c5)|man($c14).
% 2.23/2.42 0 [] old($c5)|young($c14).
% 2.23/2.42 0 [] old($c5)|fellow($c13).
% 2.23/2.42 0 [] old($c5)|man($c13).
% 2.23/2.42 0 [] old($c5)|young($c13).
% 2.23/2.42 0 [] old($c5)|$c14=$c12.
% 2.23/2.42 0 [] old($c5)|in($c12,$c20).
% 2.23/2.42 0 [] old($c5)|$c13=$c11.
% 2.23/2.42 0 [] old($c5)|in($c11,$c19).
% 2.23/2.42 0 [] old($c5)| -seat(X28)| -furniture(X28)| -front(X28)| -seat(X29)| -furniture(X29)| -front(X29)| -hollywood(X30)| -city(X30)| -event(X31)| -street(X32)| -way(X32)| -lonely(X32)| -chevy(X33)| -car(X33)| -white(X33)| -dirty(X33)| -old(X33)| -barrel(X31,X33)| -down(X31,X32)| -in(X31,X30)|X34=X35| -fellow(X34)| -man(X34)| -young(X34)| -fellow(X35)| -man(X35)| -young(X35)|X34!=X37| -in(X37,X28)|X35!=X38| -in(X38,X29).
% 2.23/2.42 0 [] barrel($c7,$c5)|seat($c20).
% 2.23/2.42 0 [] barrel($c7,$c5)|furniture($c20).
% 2.23/2.42 0 [] barrel($c7,$c5)|front($c20).
% 2.23/2.42 0 [] barrel($c7,$c5)|seat($c19).
% 2.23/2.42 0 [] barrel($c7,$c5)|furniture($c19).
% 2.23/2.42 0 [] barrel($c7,$c5)|front($c19).
% 2.23/2.42 0 [] barrel($c7,$c5)|hollywood($c18).
% 2.23/2.42 0 [] barrel($c7,$c5)|city($c18).
% 2.23/2.42 0 [] barrel($c7,$c5)|event($c17).
% 2.23/2.42 0 [] barrel($c7,$c5)|chevy($c16).
% 2.23/2.42 0 [] barrel($c7,$c5)|car($c16).
% 2.23/2.42 0 [] barrel($c7,$c5)|white($c16).
% 2.23/2.42 0 [] barrel($c7,$c5)|dirty($c16).
% 2.23/2.42 0 [] barrel($c7,$c5)|old($c16).
% 2.23/2.42 0 [] barrel($c7,$c5)|street($c15).
% 2.23/2.42 0 [] barrel($c7,$c5)|way($c15).
% 2.23/2.42 0 [] barrel($c7,$c5)|lonely($c15).
% 2.23/2.42 0 [] barrel($c7,$c5)|barrel($c17,$c16).
% 2.23/2.42 0 [] barrel($c7,$c5)|down($c17,$c15).
% 2.23/2.42 0 [] barrel($c7,$c5)|in($c17,$c18).
% 2.23/2.42 0 [] barrel($c7,$c5)|$c14!=$c13.
% 2.23/2.42 0 [] barrel($c7,$c5)|fellow($c14).
% 2.23/2.42 0 [] barrel($c7,$c5)|man($c14).
% 2.23/2.42 0 [] barrel($c7,$c5)|young($c14).
% 2.23/2.42 0 [] barrel($c7,$c5)|fellow($c13).
% 2.23/2.42 0 [] barrel($c7,$c5)|man($c13).
% 2.23/2.42 0 [] barrel($c7,$c5)|young($c13).
% 2.23/2.42 0 [] barrel($c7,$c5)|$c14=$c12.
% 2.23/2.42 0 [] barrel($c7,$c5)|in($c12,$c20).
% 2.23/2.42 0 [] barrel($c7,$c5)|$c13=$c11.
% 2.23/2.42 0 [] barrel($c7,$c5)|in($c11,$c19).
% 2.23/2.42 0 [] barrel($c7,$c5)| -seat(X28)| -furniture(X28)| -front(X28)| -seat(X29)| -furniture(X29)| -front(X29)| -hollywood(X30)| -city(X30)| -event(X31)| -street(X32)| -way(X32)| -lonely(X32)| -chevy(X33)| -car(X33)| -white(X33)| -dirty(X33)| -old(X33)| -barrel(X31,X33)| -down(X31,X32)| -in(X31,X30)|X34=X35| -fellow(X34)| -man(X34)| -young(X34)| -fellow(X35)| -man(X35)| -young(X35)|X34!=X37| -in(X37,X28)|X35!=X38| -in(X38,X29).
% 2.23/2.43 0 [] down($c7,$c6)|seat($c20).
% 2.23/2.43 0 [] down($c7,$c6)|furniture($c20).
% 2.23/2.43 0 [] down($c7,$c6)|front($c20).
% 2.23/2.43 0 [] down($c7,$c6)|seat($c19).
% 2.23/2.43 0 [] down($c7,$c6)|furniture($c19).
% 2.23/2.43 0 [] down($c7,$c6)|front($c19).
% 2.23/2.43 0 [] down($c7,$c6)|hollywood($c18).
% 2.23/2.43 0 [] down($c7,$c6)|city($c18).
% 2.23/2.43 0 [] down($c7,$c6)|event($c17).
% 2.23/2.43 0 [] down($c7,$c6)|chevy($c16).
% 2.23/2.43 0 [] down($c7,$c6)|car($c16).
% 2.23/2.43 0 [] down($c7,$c6)|white($c16).
% 2.23/2.43 0 [] down($c7,$c6)|dirty($c16).
% 2.23/2.43 0 [] down($c7,$c6)|old($c16).
% 2.23/2.43 0 [] down($c7,$c6)|street($c15).
% 2.23/2.43 0 [] down($c7,$c6)|way($c15).
% 2.23/2.43 0 [] down($c7,$c6)|lonely($c15).
% 2.23/2.43 0 [] down($c7,$c6)|barrel($c17,$c16).
% 2.23/2.43 0 [] down($c7,$c6)|down($c17,$c15).
% 2.23/2.43 0 [] down($c7,$c6)|in($c17,$c18).
% 2.23/2.43 0 [] down($c7,$c6)|$c14!=$c13.
% 2.23/2.43 0 [] down($c7,$c6)|fellow($c14).
% 2.23/2.43 0 [] down($c7,$c6)|man($c14).
% 2.23/2.43 0 [] down($c7,$c6)|young($c14).
% 2.23/2.43 0 [] down($c7,$c6)|fellow($c13).
% 2.23/2.43 0 [] down($c7,$c6)|man($c13).
% 2.23/2.43 0 [] down($c7,$c6)|young($c13).
% 2.23/2.43 0 [] down($c7,$c6)|$c14=$c12.
% 2.23/2.43 0 [] down($c7,$c6)|in($c12,$c20).
% 2.23/2.43 0 [] down($c7,$c6)|$c13=$c11.
% 2.23/2.43 0 [] down($c7,$c6)|in($c11,$c19).
% 2.23/2.43 0 [] down($c7,$c6)| -seat(X28)| -furniture(X28)| -front(X28)| -seat(X29)| -furniture(X29)| -front(X29)| -hollywood(X30)| -city(X30)| -event(X31)| -street(X32)| -way(X32)| -lonely(X32)| -chevy(X33)| -car(X33)| -white(X33)| -dirty(X33)| -old(X33)| -barrel(X31,X33)| -down(X31,X32)| -in(X31,X30)|X34=X35| -fellow(X34)| -man(X34)| -young(X34)| -fellow(X35)| -man(X35)| -young(X35)|X34!=X37| -in(X37,X28)|X35!=X38| -in(X38,X29).
% 2.23/2.43 0 [] in($c7,$c8)|seat($c20).
% 2.23/2.43 0 [] in($c7,$c8)|furniture($c20).
% 2.23/2.43 0 [] in($c7,$c8)|front($c20).
% 2.23/2.43 0 [] in($c7,$c8)|seat($c19).
% 2.23/2.43 0 [] in($c7,$c8)|furniture($c19).
% 2.23/2.43 0 [] in($c7,$c8)|front($c19).
% 2.23/2.43 0 [] in($c7,$c8)|hollywood($c18).
% 2.23/2.43 0 [] in($c7,$c8)|city($c18).
% 2.23/2.43 0 [] in($c7,$c8)|event($c17).
% 2.23/2.43 0 [] in($c7,$c8)|chevy($c16).
% 2.23/2.43 0 [] in($c7,$c8)|car($c16).
% 2.23/2.43 0 [] in($c7,$c8)|white($c16).
% 2.23/2.43 0 [] in($c7,$c8)|dirty($c16).
% 2.23/2.43 0 [] in($c7,$c8)|old($c16).
% 2.23/2.43 0 [] in($c7,$c8)|street($c15).
% 2.23/2.43 0 [] in($c7,$c8)|way($c15).
% 2.23/2.43 0 [] in($c7,$c8)|lonely($c15).
% 2.23/2.43 0 [] in($c7,$c8)|barrel($c17,$c16).
% 2.23/2.43 0 [] in($c7,$c8)|down($c17,$c15).
% 2.23/2.43 0 [] in($c7,$c8)|in($c17,$c18).
% 2.23/2.43 0 [] in($c7,$c8)|$c14!=$c13.
% 2.23/2.43 0 [] in($c7,$c8)|fellow($c14).
% 2.23/2.43 0 [] in($c7,$c8)|man($c14).
% 2.23/2.43 0 [] in($c7,$c8)|young($c14).
% 2.23/2.43 0 [] in($c7,$c8)|fellow($c13).
% 2.23/2.43 0 [] in($c7,$c8)|man($c13).
% 2.23/2.43 0 [] in($c7,$c8)|young($c13).
% 2.23/2.43 0 [] in($c7,$c8)|$c14=$c12.
% 2.23/2.43 0 [] in($c7,$c8)|in($c12,$c20).
% 2.23/2.43 0 [] in($c7,$c8)|$c13=$c11.
% 2.23/2.43 0 [] in($c7,$c8)|in($c11,$c19).
% 2.23/2.43 0 [] in($c7,$c8)| -seat(X28)| -furniture(X28)| -front(X28)| -seat(X29)| -furniture(X29)| -front(X29)| -hollywood(X30)| -city(X30)| -event(X31)| -street(X32)| -way(X32)| -lonely(X32)| -chevy(X33)| -car(X33)| -white(X33)| -dirty(X33)| -old(X33)| -barrel(X31,X33)| -down(X31,X32)| -in(X31,X30)|X34=X35| -fellow(X34)| -man(X34)| -young(X34)| -fellow(X35)| -man(X35)| -young(X35)|X34!=X37| -in(X37,X28)|X35!=X38| -in(X38,X29).
% 2.23/2.43 0 [] $c4!=$c3|seat($c20).
% 2.23/2.43 0 [] $c4!=$c3|furniture($c20).
% 2.23/2.43 0 [] $c4!=$c3|front($c20).
% 2.23/2.43 0 [] $c4!=$c3|seat($c19).
% 2.23/2.43 0 [] $c4!=$c3|furniture($c19).
% 2.23/2.43 0 [] $c4!=$c3|front($c19).
% 2.23/2.43 0 [] $c4!=$c3|hollywood($c18).
% 2.23/2.43 0 [] $c4!=$c3|city($c18).
% 2.23/2.43 0 [] $c4!=$c3|event($c17).
% 2.23/2.43 0 [] $c4!=$c3|chevy($c16).
% 2.23/2.43 0 [] $c4!=$c3|car($c16).
% 2.23/2.43 0 [] $c4!=$c3|white($c16).
% 2.23/2.43 0 [] $c4!=$c3|dirty($c16).
% 2.23/2.43 0 [] $c4!=$c3|old($c16).
% 2.23/2.43 0 [] $c4!=$c3|street($c15).
% 2.23/2.43 0 [] $c4!=$c3|way($c15).
% 2.23/2.43 0 [] $c4!=$c3|lonely($c15).
% 2.23/2.43 0 [] $c4!=$c3|barrel($c17,$c16).
% 2.23/2.43 0 [] $c4!=$c3|down($c17,$c15).
% 2.23/2.43 0 [] $c4!=$c3|in($c17,$c18).
% 2.23/2.43 0 [] $c4!=$c3|$c14!=$c13.
% 2.23/2.43 0 [] $c4!=$c3|fellow($c14).
% 2.23/2.43 0 [] $c4!=$c3|man($c14).
% 2.23/2.43 0 [] $c4!=$c3|young($c14).
% 2.23/2.43 0 [] $c4!=$c3|fellow($c13).
% 2.23/2.43 0 [] $c4!=$c3|man($c13).
% 2.23/2.43 0 [] $c4!=$c3|young($c13).
% 2.23/2.43 0 [] $c4!=$c3|$c14=$c12.
% 2.23/2.43 0 [] $c4!=$c3|in($c12,$c20).
% 2.23/2.43 0 [] $c4!=$c3|$c13=$c11.
% 2.23/2.43 0 [] $c4!=$c3|in($c11,$c19).
% 2.23/2.43 0 [] $c4!=$c3| -seat(X28)| -furniture(X28)| -front(X28)| -seat(X29)| -furniture(X29)| -front(X29)| -hollywood(X30)| -city(X30)| -event(X31)| -street(X32)| -way(X32)| -lonely(X32)| -chevy(X33)| -car(X33)| -white(X33)| -dirty(X33)| -old(X33)| -barrel(X31,X33)| -down(X31,X32)| -in(X31,X30)|X34=X35| -fellow(X34)| -man(X34)| -young(X34)| -fellow(X35)| -man(X35)| -young(X35)|X34!=X37| -in(X37,X28)|X35!=X38| -in(X38,X29).
% 2.23/2.43 0 [] fellow($c4)|seat($c20).
% 2.23/2.43 0 [] fellow($c4)|furniture($c20).
% 2.23/2.43 0 [] fellow($c4)|front($c20).
% 2.23/2.43 0 [] fellow($c4)|seat($c19).
% 2.23/2.43 0 [] fellow($c4)|furniture($c19).
% 2.23/2.43 0 [] fellow($c4)|front($c19).
% 2.23/2.43 0 [] fellow($c4)|hollywood($c18).
% 2.23/2.43 0 [] fellow($c4)|city($c18).
% 2.23/2.43 0 [] fellow($c4)|event($c17).
% 2.23/2.43 0 [] fellow($c4)|chevy($c16).
% 2.23/2.43 0 [] fellow($c4)|car($c16).
% 2.23/2.43 0 [] fellow($c4)|white($c16).
% 2.23/2.43 0 [] fellow($c4)|dirty($c16).
% 2.23/2.43 0 [] fellow($c4)|old($c16).
% 2.23/2.43 0 [] fellow($c4)|street($c15).
% 2.23/2.43 0 [] fellow($c4)|way($c15).
% 2.23/2.43 0 [] fellow($c4)|lonely($c15).
% 2.23/2.43 0 [] fellow($c4)|barrel($c17,$c16).
% 2.23/2.43 0 [] fellow($c4)|down($c17,$c15).
% 2.23/2.43 0 [] fellow($c4)|in($c17,$c18).
% 2.23/2.43 0 [] fellow($c4)|$c14!=$c13.
% 2.23/2.43 0 [] fellow($c4)|fellow($c14).
% 2.23/2.43 0 [] fellow($c4)|man($c14).
% 2.23/2.43 0 [] fellow($c4)|young($c14).
% 2.23/2.43 0 [] fellow($c4)|fellow($c13).
% 2.23/2.43 0 [] fellow($c4)|man($c13).
% 2.23/2.43 0 [] fellow($c4)|young($c13).
% 2.23/2.43 0 [] fellow($c4)|$c14=$c12.
% 2.23/2.43 0 [] fellow($c4)|in($c12,$c20).
% 2.23/2.43 0 [] fellow($c4)|$c13=$c11.
% 2.23/2.43 0 [] fellow($c4)|in($c11,$c19).
% 2.23/2.43 0 [] fellow($c4)| -seat(X28)| -furniture(X28)| -front(X28)| -seat(X29)| -furniture(X29)| -front(X29)| -hollywood(X30)| -city(X30)| -event(X31)| -street(X32)| -way(X32)| -lonely(X32)| -chevy(X33)| -car(X33)| -white(X33)| -dirty(X33)| -old(X33)| -barrel(X31,X33)| -down(X31,X32)| -in(X31,X30)|X34=X35| -fellow(X34)| -man(X34)| -young(X34)| -fellow(X35)| -man(X35)| -young(X35)|X34!=X37| -in(X37,X28)|X35!=X38| -in(X38,X29).
% 2.23/2.43 0 [] man($c4)|seat($c20).
% 2.23/2.43 0 [] man($c4)|furniture($c20).
% 2.23/2.43 0 [] man($c4)|front($c20).
% 2.23/2.43 0 [] man($c4)|seat($c19).
% 2.23/2.43 0 [] man($c4)|furniture($c19).
% 2.23/2.43 0 [] man($c4)|front($c19).
% 2.23/2.43 0 [] man($c4)|hollywood($c18).
% 2.23/2.43 0 [] man($c4)|city($c18).
% 2.23/2.43 0 [] man($c4)|event($c17).
% 2.23/2.43 0 [] man($c4)|chevy($c16).
% 2.23/2.43 0 [] man($c4)|car($c16).
% 2.23/2.43 0 [] man($c4)|white($c16).
% 2.23/2.43 0 [] man($c4)|dirty($c16).
% 2.23/2.43 0 [] man($c4)|old($c16).
% 2.23/2.43 0 [] man($c4)|street($c15).
% 2.23/2.43 0 [] man($c4)|way($c15).
% 2.23/2.43 0 [] man($c4)|lonely($c15).
% 2.23/2.43 0 [] man($c4)|barrel($c17,$c16).
% 2.23/2.43 0 [] man($c4)|down($c17,$c15).
% 2.23/2.43 0 [] man($c4)|in($c17,$c18).
% 2.23/2.43 0 [] man($c4)|$c14!=$c13.
% 2.23/2.43 0 [] man($c4)|fellow($c14).
% 2.23/2.43 0 [] man($c4)|man($c14).
% 2.23/2.43 0 [] man($c4)|young($c14).
% 2.23/2.43 0 [] man($c4)|fellow($c13).
% 2.23/2.43 0 [] man($c4)|man($c13).
% 2.23/2.43 0 [] man($c4)|young($c13).
% 2.23/2.43 0 [] man($c4)|$c14=$c12.
% 2.23/2.43 0 [] man($c4)|in($c12,$c20).
% 2.23/2.43 0 [] man($c4)|$c13=$c11.
% 2.23/2.43 0 [] man($c4)|in($c11,$c19).
% 2.23/2.43 0 [] man($c4)| -seat(X28)| -furniture(X28)| -front(X28)| -seat(X29)| -furniture(X29)| -front(X29)| -hollywood(X30)| -city(X30)| -event(X31)| -street(X32)| -way(X32)| -lonely(X32)| -chevy(X33)| -car(X33)| -white(X33)| -dirty(X33)| -old(X33)| -barrel(X31,X33)| -down(X31,X32)| -in(X31,X30)|X34=X35| -fellow(X34)| -man(X34)| -young(X34)| -fellow(X35)| -man(X35)| -young(X35)|X34!=X37| -in(X37,X28)|X35!=X38| -in(X38,X29).
% 2.23/2.43 0 [] young($c4)|seat($c20).
% 2.23/2.43 0 [] young($c4)|furniture($c20).
% 2.23/2.43 0 [] young($c4)|front($c20).
% 2.23/2.43 0 [] young($c4)|seat($c19).
% 2.23/2.43 0 [] young($c4)|furniture($c19).
% 2.23/2.43 0 [] young($c4)|front($c19).
% 2.23/2.43 0 [] young($c4)|hollywood($c18).
% 2.23/2.43 0 [] young($c4)|city($c18).
% 2.23/2.43 0 [] young($c4)|event($c17).
% 2.23/2.43 0 [] young($c4)|chevy($c16).
% 2.23/2.43 0 [] young($c4)|car($c16).
% 2.23/2.43 0 [] young($c4)|white($c16).
% 2.23/2.43 0 [] young($c4)|dirty($c16).
% 2.23/2.43 0 [] young($c4)|old($c16).
% 2.23/2.43 0 [] young($c4)|street($c15).
% 2.23/2.43 0 [] young($c4)|way($c15).
% 2.23/2.43 0 [] young($c4)|lonely($c15).
% 2.23/2.43 0 [] young($c4)|barrel($c17,$c16).
% 2.23/2.43 0 [] young($c4)|down($c17,$c15).
% 2.23/2.43 0 [] young($c4)|in($c17,$c18).
% 2.23/2.43 0 [] young($c4)|$c14!=$c13.
% 2.23/2.43 0 [] young($c4)|fellow($c14).
% 2.23/2.43 0 [] young($c4)|man($c14).
% 2.23/2.43 0 [] young($c4)|young($c14).
% 2.23/2.43 0 [] young($c4)|fellow($c13).
% 2.23/2.43 0 [] young($c4)|man($c13).
% 2.23/2.43 0 [] young($c4)|young($c13).
% 2.23/2.43 0 [] young($c4)|$c14=$c12.
% 2.23/2.43 0 [] young($c4)|in($c12,$c20).
% 2.23/2.43 0 [] young($c4)|$c13=$c11.
% 2.23/2.43 0 [] young($c4)|in($c11,$c19).
% 2.23/2.43 0 [] young($c4)| -seat(X28)| -furniture(X28)| -front(X28)| -seat(X29)| -furniture(X29)| -front(X29)| -hollywood(X30)| -city(X30)| -event(X31)| -street(X32)| -way(X32)| -lonely(X32)| -chevy(X33)| -car(X33)| -white(X33)| -dirty(X33)| -old(X33)| -barrel(X31,X33)| -down(X31,X32)| -in(X31,X30)|X34=X35| -fellow(X34)| -man(X34)| -young(X34)| -fellow(X35)| -man(X35)| -young(X35)|X34!=X37| -in(X37,X28)|X35!=X38| -in(X38,X29).
% 2.23/2.43 0 [] fellow($c3)|seat($c20).
% 2.23/2.43 0 [] fellow($c3)|furniture($c20).
% 2.23/2.43 0 [] fellow($c3)|front($c20).
% 2.23/2.43 0 [] fellow($c3)|seat($c19).
% 2.23/2.43 0 [] fellow($c3)|furniture($c19).
% 2.23/2.43 0 [] fellow($c3)|front($c19).
% 2.23/2.43 0 [] fellow($c3)|hollywood($c18).
% 2.23/2.43 0 [] fellow($c3)|city($c18).
% 2.23/2.43 0 [] fellow($c3)|event($c17).
% 2.23/2.43 0 [] fellow($c3)|chevy($c16).
% 2.23/2.43 0 [] fellow($c3)|car($c16).
% 2.23/2.43 0 [] fellow($c3)|white($c16).
% 2.23/2.43 0 [] fellow($c3)|dirty($c16).
% 2.23/2.43 0 [] fellow($c3)|old($c16).
% 2.23/2.43 0 [] fellow($c3)|street($c15).
% 2.23/2.43 0 [] fellow($c3)|way($c15).
% 2.23/2.43 0 [] fellow($c3)|lonely($c15).
% 2.23/2.43 0 [] fellow($c3)|barrel($c17,$c16).
% 2.23/2.43 0 [] fellow($c3)|down($c17,$c15).
% 2.23/2.43 0 [] fellow($c3)|in($c17,$c18).
% 2.23/2.43 0 [] fellow($c3)|$c14!=$c13.
% 2.23/2.43 0 [] fellow($c3)|fellow($c14).
% 2.23/2.43 0 [] fellow($c3)|man($c14).
% 2.23/2.43 0 [] fellow($c3)|young($c14).
% 2.23/2.43 0 [] fellow($c3)|fellow($c13).
% 2.23/2.43 0 [] fellow($c3)|man($c13).
% 2.23/2.43 0 [] fellow($c3)|young($c13).
% 2.23/2.43 0 [] fellow($c3)|$c14=$c12.
% 2.23/2.43 0 [] fellow($c3)|in($c12,$c20).
% 2.23/2.43 0 [] fellow($c3)|$c13=$c11.
% 2.23/2.43 0 [] fellow($c3)|in($c11,$c19).
% 2.23/2.43 0 [] fellow($c3)| -seat(X28)| -furniture(X28)| -front(X28)| -seat(X29)| -furniture(X29)| -front(X29)| -hollywood(X30)| -city(X30)| -event(X31)| -street(X32)| -way(X32)| -lonely(X32)| -chevy(X33)| -car(X33)| -white(X33)| -dirty(X33)| -old(X33)| -barrel(X31,X33)| -down(X31,X32)| -in(X31,X30)|X34=X35| -fellow(X34)| -man(X34)| -young(X34)| -fellow(X35)| -man(X35)| -young(X35)|X34!=X37| -in(X37,X28)|X35!=X38| -in(X38,X29).
% 2.23/2.43 0 [] man($c3)|seat($c20).
% 2.23/2.43 0 [] man($c3)|furniture($c20).
% 2.23/2.43 0 [] man($c3)|front($c20).
% 2.23/2.43 0 [] man($c3)|seat($c19).
% 2.23/2.43 0 [] man($c3)|furniture($c19).
% 2.23/2.43 0 [] man($c3)|front($c19).
% 2.23/2.43 0 [] man($c3)|hollywood($c18).
% 2.23/2.43 0 [] man($c3)|city($c18).
% 2.23/2.43 0 [] man($c3)|event($c17).
% 2.23/2.43 0 [] man($c3)|chevy($c16).
% 2.23/2.43 0 [] man($c3)|car($c16).
% 2.23/2.43 0 [] man($c3)|white($c16).
% 2.23/2.43 0 [] man($c3)|dirty($c16).
% 2.23/2.43 0 [] man($c3)|old($c16).
% 2.23/2.43 0 [] man($c3)|street($c15).
% 2.23/2.43 0 [] man($c3)|way($c15).
% 2.23/2.43 0 [] man($c3)|lonely($c15).
% 2.23/2.43 0 [] man($c3)|barrel($c17,$c16).
% 2.23/2.43 0 [] man($c3)|down($c17,$c15).
% 2.23/2.43 0 [] man($c3)|in($c17,$c18).
% 2.23/2.43 0 [] man($c3)|$c14!=$c13.
% 2.23/2.43 0 [] man($c3)|fellow($c14).
% 2.23/2.43 0 [] man($c3)|man($c14).
% 2.23/2.43 0 [] man($c3)|young($c14).
% 2.23/2.43 0 [] man($c3)|fellow($c13).
% 2.23/2.43 0 [] man($c3)|man($c13).
% 2.23/2.43 0 [] man($c3)|young($c13).
% 2.23/2.43 0 [] man($c3)|$c14=$c12.
% 2.23/2.43 0 [] man($c3)|in($c12,$c20).
% 2.23/2.43 0 [] man($c3)|$c13=$c11.
% 2.23/2.43 0 [] man($c3)|in($c11,$c19).
% 2.23/2.43 0 [] man($c3)| -seat(X28)| -furniture(X28)| -front(X28)| -seat(X29)| -furniture(X29)| -front(X29)| -hollywood(X30)| -city(X30)| -event(X31)| -street(X32)| -way(X32)| -lonely(X32)| -chevy(X33)| -car(X33)| -white(X33)| -dirty(X33)| -old(X33)| -barrel(X31,X33)| -down(X31,X32)| -in(X31,X30)|X34=X35| -fellow(X34)| -man(X34)| -young(X34)| -fellow(X35)| -man(X35)| -young(X35)|X34!=X37| -in(X37,X28)|X35!=X38| -in(X38,X29).
% 2.23/2.43 0 [] young($c3)|seat($c20).
% 2.23/2.43 0 [] young($c3)|furniture($c20).
% 2.23/2.43 0 [] young($c3)|front($c20).
% 2.23/2.43 0 [] young($c3)|seat($c19).
% 2.23/2.43 0 [] young($c3)|furniture($c19).
% 2.23/2.43 0 [] young($c3)|front($c19).
% 2.23/2.43 0 [] young($c3)|hollywood($c18).
% 2.23/2.43 0 [] young($c3)|city($c18).
% 2.23/2.43 0 [] young($c3)|event($c17).
% 2.23/2.43 0 [] young($c3)|chevy($c16).
% 2.23/2.43 0 [] young($c3)|car($c16).
% 2.23/2.43 0 [] young($c3)|white($c16).
% 2.23/2.43 0 [] young($c3)|dirty($c16).
% 2.23/2.43 0 [] young($c3)|old($c16).
% 2.23/2.43 0 [] young($c3)|street($c15).
% 2.23/2.43 0 [] young($c3)|way($c15).
% 2.23/2.43 0 [] young($c3)|lonely($c15).
% 2.23/2.43 0 [] young($c3)|barrel($c17,$c16).
% 2.23/2.43 0 [] young($c3)|down($c17,$c15).
% 2.23/2.43 0 [] young($c3)|in($c17,$c18).
% 2.23/2.43 0 [] young($c3)|$c14!=$c13.
% 2.23/2.43 0 [] young($c3)|fellow($c14).
% 2.23/2.43 0 [] young($c3)|man($c14).
% 2.23/2.43 0 [] young($c3)|young($c14).
% 2.23/2.43 0 [] young($c3)|fellow($c13).
% 2.23/2.43 0 [] young($c3)|man($c13).
% 2.23/2.43 0 [] young($c3)|young($c13).
% 2.23/2.43 0 [] young($c3)|$c14=$c12.
% 2.23/2.43 0 [] young($c3)|in($c12,$c20).
% 2.23/2.43 0 [] young($c3)|$c13=$c11.
% 2.23/2.43 0 [] young($c3)|in($c11,$c19).
% 2.23/2.43 0 [] young($c3)| -seat(X28)| -furniture(X28)| -front(X28)| -seat(X29)| -furniture(X29)| -front(X29)| -hollywood(X30)| -city(X30)| -event(X31)| -street(X32)| -way(X32)| -lonely(X32)| -chevy(X33)| -car(X33)| -white(X33)| -dirty(X33)| -old(X33)| -barrel(X31,X33)| -down(X31,X32)| -in(X31,X30)|X34=X35| -fellow(X34)| -man(X34)| -young(X34)| -fellow(X35)| -man(X35)| -young(X35)|X34!=X37| -in(X37,X28)|X35!=X38| -in(X38,X29).
% 2.23/2.43 0 [] $c4=$c2|seat($c20).
% 2.23/2.43 0 [] $c4=$c2|furniture($c20).
% 2.23/2.43 0 [] $c4=$c2|front($c20).
% 2.23/2.43 0 [] $c4=$c2|seat($c19).
% 2.23/2.43 0 [] $c4=$c2|furniture($c19).
% 2.23/2.43 0 [] $c4=$c2|front($c19).
% 2.23/2.43 0 [] $c4=$c2|hollywood($c18).
% 2.23/2.43 0 [] $c4=$c2|city($c18).
% 2.23/2.43 0 [] $c4=$c2|event($c17).
% 2.23/2.43 0 [] $c4=$c2|chevy($c16).
% 2.23/2.43 0 [] $c4=$c2|car($c16).
% 2.23/2.43 0 [] $c4=$c2|white($c16).
% 2.23/2.43 0 [] $c4=$c2|dirty($c16).
% 2.23/2.43 0 [] $c4=$c2|old($c16).
% 2.23/2.43 0 [] $c4=$c2|street($c15).
% 2.23/2.43 0 [] $c4=$c2|way($c15).
% 2.23/2.43 0 [] $c4=$c2|lonely($c15).
% 2.23/2.43 0 [] $c4=$c2|barrel($c17,$c16).
% 2.23/2.43 0 [] $c4=$c2|down($c17,$c15).
% 2.23/2.43 0 [] $c4=$c2|in($c17,$c18).
% 2.23/2.43 0 [] $c4=$c2|$c14!=$c13.
% 2.23/2.43 0 [] $c4=$c2|fellow($c14).
% 2.23/2.43 0 [] $c4=$c2|man($c14).
% 2.23/2.43 0 [] $c4=$c2|young($c14).
% 2.23/2.43 0 [] $c4=$c2|fellow($c13).
% 2.23/2.43 0 [] $c4=$c2|man($c13).
% 2.23/2.43 0 [] $c4=$c2|young($c13).
% 2.23/2.43 0 [] $c4=$c2|$c14=$c12.
% 2.23/2.43 0 [] $c4=$c2|in($c12,$c20).
% 2.23/2.43 0 [] $c4=$c2|$c13=$c11.
% 2.23/2.43 0 [] $c4=$c2|in($c11,$c19).
% 2.23/2.43 0 [] $c4=$c2| -seat(X28)| -furniture(X28)| -front(X28)| -seat(X29)| -furniture(X29)| -front(X29)| -hollywood(X30)| -city(X30)| -event(X31)| -street(X32)| -way(X32)| -lonely(X32)| -chevy(X33)| -car(X33)| -white(X33)| -dirty(X33)| -old(X33)| -barrel(X31,X33)| -down(X31,X32)| -in(X31,X30)|X34=X35| -fellow(X34)| -man(X34)| -young(X34)| -fellow(X35)| -man(X35)| -young(X35)|X34!=X37| -in(X37,X28)|X35!=X38| -in(X38,X29).
% 2.23/2.43 0 [] in($c2,$c10)|seat($c20).
% 2.23/2.43 0 [] in($c2,$c10)|furniture($c20).
% 2.23/2.43 0 [] in($c2,$c10)|front($c20).
% 2.23/2.43 0 [] in($c2,$c10)|seat($c19).
% 2.23/2.43 0 [] in($c2,$c10)|furniture($c19).
% 2.23/2.43 0 [] in($c2,$c10)|front($c19).
% 2.23/2.43 0 [] in($c2,$c10)|hollywood($c18).
% 2.23/2.43 0 [] in($c2,$c10)|city($c18).
% 2.23/2.43 0 [] in($c2,$c10)|event($c17).
% 2.23/2.43 0 [] in($c2,$c10)|chevy($c16).
% 2.23/2.43 0 [] in($c2,$c10)|car($c16).
% 2.23/2.43 0 [] in($c2,$c10)|white($c16).
% 2.23/2.43 0 [] in($c2,$c10)|dirty($c16).
% 2.23/2.43 0 [] in($c2,$c10)|old($c16).
% 2.23/2.43 0 [] in($c2,$c10)|street($c15).
% 2.23/2.43 0 [] in($c2,$c10)|way($c15).
% 2.23/2.43 0 [] in($c2,$c10)|lonely($c15).
% 2.23/2.43 0 [] in($c2,$c10)|barrel($c17,$c16).
% 2.23/2.43 0 [] in($c2,$c10)|down($c17,$c15).
% 2.23/2.43 0 [] in($c2,$c10)|in($c17,$c18).
% 2.23/2.43 0 [] in($c2,$c10)|$c14!=$c13.
% 2.23/2.43 0 [] in($c2,$c10)|fellow($c14).
% 2.23/2.43 0 [] in($c2,$c10)|man($c14).
% 2.23/2.43 0 [] in($c2,$c10)|young($c14).
% 2.23/2.43 0 [] in($c2,$c10)|fellow($c13).
% 2.23/2.43 0 [] in($c2,$c10)|man($c13).
% 2.23/2.43 0 [] in($c2,$c10)|young($c13).
% 2.23/2.43 0 [] in($c2,$c10)|$c14=$c12.
% 2.23/2.43 0 [] in($c2,$c10)|in($c12,$c20).
% 2.23/2.43 0 [] in($c2,$c10)|$c13=$c11.
% 2.23/2.43 0 [] in($c2,$c10)|in($c11,$c19).
% 2.23/2.43 0 [] in($c2,$c10)| -seat(X28)| -furniture(X28)| -front(X28)| -seat(X29)| -furniture(X29)| -front(X29)| -hollywood(X30)| -city(X30)| -event(X31)| -street(X32)| -way(X32)| -lonely(X32)| -chevy(X33)| -car(X33)| -white(X33)| -dirty(X33)| -old(X33)| -barrel(X31,X33)| -down(X31,X32)| -in(X31,X30)|X34=X35| -fellow(X34)| -man(X34)| -young(X34)| -fellow(X35)| -man(X35)| -young(X35)|X34!=X37| -in(X37,X28)|X35!=X38| -in(X38,X29).
% 2.23/2.43 0 [] $c3=$c1|seat($c20).
% 2.23/2.43 0 [] $c3=$c1|furniture($c20).
% 2.23/2.43 0 [] $c3=$c1|front($c20).
% 2.23/2.43 0 [] $c3=$c1|seat($c19).
% 2.23/2.43 0 [] $c3=$c1|furniture($c19).
% 2.23/2.43 0 [] $c3=$c1|front($c19).
% 2.23/2.43 0 [] $c3=$c1|hollywood($c18).
% 2.23/2.43 0 [] $c3=$c1|city($c18).
% 2.23/2.43 0 [] $c3=$c1|event($c17).
% 2.23/2.43 0 [] $c3=$c1|chevy($c16).
% 2.23/2.43 0 [] $c3=$c1|car($c16).
% 2.23/2.43 0 [] $c3=$c1|white($c16).
% 2.23/2.43 0 [] $c3=$c1|dirty($c16).
% 2.23/2.43 0 [] $c3=$c1|old($c16).
% 2.23/2.43 0 [] $c3=$c1|street($c15).
% 2.23/2.43 0 [] $c3=$c1|way($c15).
% 2.23/2.43 0 [] $c3=$c1|lonely($c15).
% 2.23/2.43 0 [] $c3=$c1|barrel($c17,$c16).
% 2.23/2.43 0 [] $c3=$c1|down($c17,$c15).
% 2.23/2.43 0 [] $c3=$c1|in($c17,$c18).
% 2.23/2.43 0 [] $c3=$c1|$c14!=$c13.
% 2.23/2.43 0 [] $c3=$c1|fellow($c14).
% 2.23/2.43 0 [] $c3=$c1|man($c14).
% 2.23/2.43 0 [] $c3=$c1|young($c14).
% 2.23/2.43 0 [] $c3=$c1|fellow($c13).
% 2.23/2.43 0 [] $c3=$c1|man($c13).
% 2.23/2.43 0 [] $c3=$c1|young($c13).
% 2.23/2.43 0 [] $c3=$c1|$c14=$c12.
% 2.23/2.43 0 [] $c3=$c1|in($c12,$c20).
% 2.23/2.43 0 [] $c3=$c1|$c13=$c11.
% 2.23/2.43 0 [] $c3=$c1|in($c11,$c19).
% 2.23/2.43 0 [] $c3=$c1| -seat(X28)| -furniture(X28)| -front(X28)| -seat(X29)| -furniture(X29)| -front(X29)| -hollywood(X30)| -city(X30)| -event(X31)| -street(X32)| -way(X32)| -lonely(X32)| -chevy(X33)| -car(X33)| -white(X33)| -dirty(X33)| -old(X33)| -barrel(X31,X33)| -down(X31,X32)| -in(X31,X30)|X34=X35| -fellow(X34)| -man(X34)| -young(X34)| -fellow(X35)| -man(X35)| -young(X35)|X34!=X37| -in(X37,X28)|X35!=X38| -in(X38,X29).
% 2.23/2.43 0 [] in($c1,$c9)|seat($c20).
% 2.23/2.43 0 [] in($c1,$c9)|furniture($c20).
% 2.23/2.43 0 [] in($c1,$c9)|front($c20).
% 2.23/2.43 0 [] in($c1,$c9)|seat($c19).
% 2.23/2.43 0 [] in($c1,$c9)|furniture($c19).
% 2.23/2.43 0 [] in($c1,$c9)|front($c19).
% 2.23/2.43 0 [] in($c1,$c9)|hollywood($c18).
% 2.23/2.43 0 [] in($c1,$c9)|city($c18).
% 2.23/2.43 0 [] in($c1,$c9)|event($c17).
% 2.23/2.43 0 [] in($c1,$c9)|chevy($c16).
% 2.23/2.43 0 [] in($c1,$c9)|car($c16).
% 2.23/2.43 0 [] in($c1,$c9)|white($c16).
% 2.23/2.43 0 [] in($c1,$c9)|dirty($c16).
% 2.23/2.43 0 [] in($c1,$c9)|old($c16).
% 2.23/2.43 0 [] in($c1,$c9)|street($c15).
% 2.23/2.43 0 [] in($c1,$c9)|way($c15).
% 2.23/2.43 0 [] in($c1,$c9)|lonely($c15).
% 2.23/2.43 0 [] in($c1,$c9)|barrel($c17,$c16).
% 2.23/2.43 0 [] in($c1,$c9)|down($c17,$c15).
% 2.23/2.43 0 [] in($c1,$c9)|in($c17,$c18).
% 2.23/2.43 0 [] in($c1,$c9)|$c14!=$c13.
% 2.23/2.43 0 [] in($c1,$c9)|fellow($c14).
% 2.23/2.43 0 [] in($c1,$c9)|man($c14).
% 2.23/2.43 0 [] in($c1,$c9)|young($c14).
% 2.23/2.43 0 [] in($c1,$c9)|fellow($c13).
% 2.23/2.43 0 [] in($c1,$c9)|man($c13).
% 2.23/2.43 0 [] in($c1,$c9)|young($c13).
% 2.23/2.43 0 [] in($c1,$c9)|$c14=$c12.
% 2.23/2.43 0 [] in($c1,$c9)|in($c12,$c20).
% 2.23/2.43 0 [] in($c1,$c9)|$c13=$c11.
% 2.23/2.43 0 [] in($c1,$c9)|in($c11,$c19).
% 2.23/2.43 0 [] in($c1,$c9)| -seat(X28)| -furniture(X28)| -front(X28)| -seat(X29)| -furniture(X29)| -front(X29)| -hollywood(X30)| -city(X30)| -event(X31)| -street(X32)| -way(X32)| -lonely(X32)| -chevy(X33)| -car(X33)| -white(X33)| -dirty(X33)| -old(X33)| -barrel(X31,X33)| -down(X31,X32)| -in(X31,X30)|X34=X35| -fellow(X34)| -man(X34)| -young(X34)| -fellow(X35)| -man(X35)| -young(X35)|X34!=X37| -in(X37,X28)|X35!=X38| -in(X38,X29).
% 2.23/2.43 0 [] -seat(X6)| -furniture(X6)| -front(X6)| -seat(X7)| -furniture(X7)| -front(X7)| -hollywood(X8)| -city(X8)| -event(X9)| -chevy(X10)| -car(X10)| -white(X10)| -dirty(X10)| -old(X10)| -street(X11)| -way(X11)| -lonely(X11)| -barrel(X9,X10)| -down(X9,X11)| -in(X9,X8)|X12=X13| -fellow(X12)| -man(X12)| -young(X12)| -fellow(X13)| -man(X13)| -young(X13)|X12!=X15| -in(X15,X6)|X13!=X16| -in(X16,X7)|seat($c20).
% 2.23/2.43 0 [] -seat(X6)| -furniture(X6)| -front(X6)| -seat(X7)| -furniture(X7)| -front(X7)| -hollywood(X8)| -city(X8)| -event(X9)| -chevy(X10)| -car(X10)| -white(X10)| -dirty(X10)| -old(X10)| -street(X11)| -way(X11)| -lonely(X11)| -barrel(X9,X10)| -down(X9,X11)| -in(X9,X8)|X12=X13| -fellow(X12)| -man(X12)| -young(X12)| -fellow(X13)| -man(X13)| -young(X13)|X12!=X15| -in(X15,X6)|X13!=X16| -in(X16,X7)|furniture($c20).
% 2.23/2.43 0 [] -seat(X6)| -furniture(X6)| -front(X6)| -seat(X7)| -furniture(X7)| -front(X7)| -hollywood(X8)| -city(X8)| -event(X9)| -chevy(X10)| -car(X10)| -white(X10)| -dirty(X10)| -old(X10)| -street(X11)| -way(X11)| -lonely(X11)| -barrel(X9,X10)| -down(X9,X11)| -in(X9,X8)|X12=X13| -fellow(X12)| -man(X12)| -young(X12)| -fellow(X13)| -man(X13)| -young(X13)|X12!=X15| -in(X15,X6)|X13!=X16| -in(X16,X7)|front($c20).
% 2.23/2.43 0 [] -seat(X6)| -furniture(X6)| -front(X6)| -seat(X7)| -furniture(X7)| -front(X7)| -hollywood(X8)| -city(X8)| -event(X9)| -chevy(X10)| -car(X10)| -white(X10)| -dirty(X10)| -old(X10)| -street(X11)| -way(X11)| -lonely(X11)| -barrel(X9,X10)| -down(X9,X11)| -in(X9,X8)|X12=X13| -fellow(X12)| -man(X12)| -young(X12)| -fellow(X13)| -man(X13)| -young(X13)|X12!=X15| -in(X15,X6)|X13!=X16| -in(X16,X7)|seat($c19).
% 2.23/2.43 0 [] -seat(X6)| -furniture(X6)| -front(X6)| -seat(X7)| -furniture(X7)| -front(X7)| -hollywood(X8)| -city(X8)| -event(X9)| -chevy(X10)| -car(X10)| -white(X10)| -dirty(X10)| -old(X10)| -street(X11)| -way(X11)| -lonely(X11)| -barrel(X9,X10)| -down(X9,X11)| -in(X9,X8)|X12=X13| -fellow(X12)| -man(X12)| -young(X12)| -fellow(X13)| -man(X13)| -young(X13)|X12!=X15| -in(X15,X6)|X13!=X16| -in(X16,X7)|furniture($c19).
% 2.23/2.43 0 [] -seat(X6)| -furniture(X6)| -front(X6)| -seat(X7)| -furniture(X7)| -front(X7)| -hollywood(X8)| -city(X8)| -event(X9)| -chevy(X10)| -car(X10)| -white(X10)| -dirty(X10)| -old(X10)| -street(X11)| -way(X11)| -lonely(X11)| -barrel(X9,X10)| -down(X9,X11)| -in(X9,X8)|X12=X13| -fellow(X12)| -man(X12)| -young(X12)| -fellow(X13)| -man(X13)| -young(X13)|X12!=X15| -in(X15,X6)|X13!=X16| -in(X16,X7)|front($c19).
% 2.23/2.43 0 [] -seat(X6)| -furniture(X6)| -front(X6)| -seat(X7)| -furniture(X7)| -front(X7)| -hollywood(X8)| -city(X8)| -event(X9)| -chevy(X10)| -car(X10)| -white(X10)| -dirty(X10)| -old(X10)| -street(X11)| -way(X11)| -lonely(X11)| -barrel(X9,X10)| -down(X9,X11)| -in(X9,X8)|X12=X13| -fellow(X12)| -man(X12)| -young(X12)| -fellow(X13)| -man(X13)| -young(X13)|X12!=X15| -in(X15,X6)|X13!=X16| -in(X16,X7)|hollywood($c18).
% 2.23/2.43 0 [] -seat(X6)| -furniture(X6)| -front(X6)| -seat(X7)| -furniture(X7)| -front(X7)| -hollywood(X8)| -city(X8)| -event(X9)| -chevy(X10)| -car(X10)| -white(X10)| -dirty(X10)| -old(X10)| -street(X11)| -way(X11)| -lonely(X11)| -barrel(X9,X10)| -down(X9,X11)| -in(X9,X8)|X12=X13| -fellow(X12)| -man(X12)| -young(X12)| -fellow(X13)| -man(X13)| -young(X13)|X12!=X15| -in(X15,X6)|X13!=X16| -in(X16,X7)|city($c18).
% 2.23/2.43 0 [] -seat(X6)| -furniture(X6)| -front(X6)| -seat(X7)| -furniture(X7)| -front(X7)| -hollywood(X8)| -city(X8)| -event(X9)| -chevy(X10)| -car(X10)| -white(X10)| -dirty(X10)| -old(X10)| -street(X11)| -way(X11)| -lonely(X11)| -barrel(X9,X10)| -down(X9,X11)| -in(X9,X8)|X12=X13| -fellow(X12)| -man(X12)| -young(X12)| -fellow(X13)| -man(X13)| -young(X13)|X12!=X15| -in(X15,X6)|X13!=X16| -in(X16,X7)|event($c17).
% 2.23/2.43 0 [] -seat(X6)| -furniture(X6)| -front(X6)| -seat(X7)| -furniture(X7)| -front(X7)| -hollywood(X8)| -city(X8)| -event(X9)| -chevy(X10)| -car(X10)| -white(X10)| -dirty(X10)| -old(X10)| -street(X11)| -way(X11)| -lonely(X11)| -barrel(X9,X10)| -down(X9,X11)| -in(X9,X8)|X12=X13| -fellow(X12)| -man(X12)| -young(X12)| -fellow(X13)| -man(X13)| -young(X13)|X12!=X15| -in(X15,X6)|X13!=X16| -in(X16,X7)|chevy($c16).
% 2.23/2.43 0 [] -seat(X6)| -furniture(X6)| -front(X6)| -seat(X7)| -furniture(X7)| -front(X7)| -hollywood(X8)| -city(X8)| -event(X9)| -chevy(X10)| -car(X10)| -white(X10)| -dirty(X10)| -old(X10)| -street(X11)| -way(X11)| -lonely(X11)| -barrel(X9,X10)| -down(X9,X11)| -in(X9,X8)|X12=X13| -fellow(X12)| -man(X12)| -young(X12)| -fellow(X13)| -man(X13)| -young(X13)|X12!=X15| -in(X15,X6)|X13!=X16| -in(X16,X7)|car($c16).
% 2.23/2.43 0 [] -seat(X6)| -furniture(X6)| -front(X6)| -seat(X7)| -furniture(X7)| -front(X7)| -hollywood(X8)| -city(X8)| -event(X9)| -chevy(X10)| -car(X10)| -white(X10)| -dirty(X10)| -old(X10)| -street(X11)| -way(X11)| -lonely(X11)| -barrel(X9,X10)| -down(X9,X11)| -in(X9,X8)|X12=X13| -fellow(X12)| -man(X12)| -young(X12)| -fellow(X13)| -man(X13)| -young(X13)|X12!=X15| -in(X15,X6)|X13!=X16| -in(X16,X7)|white($c16).
% 2.23/2.43 0 [] -seat(X6)| -furniture(X6)| -front(X6)| -seat(X7)| -furniture(X7)| -front(X7)| -hollywood(X8)| -city(X8)| -event(X9)| -chevy(X10)| -car(X10)| -white(X10)| -dirty(X10)| -old(X10)| -street(X11)| -way(X11)| -lonely(X11)| -barrel(X9,X10)| -down(X9,X11)| -in(X9,X8)|X12=X13| -fellow(X12)| -man(X12)| -young(X12)| -fellow(X13)| -man(X13)| -young(X13)|X12!=X15| -in(X15,X6)|X13!=X16| -in(X16,X7)|dirty($c16).
% 2.23/2.43 0 [] -seat(X6)| -furniture(X6)| -front(X6)| -seat(X7)| -furniture(X7)| -front(X7)| -hollywood(X8)| -city(X8)| -event(X9)| -chevy(X10)| -car(X10)| -white(X10)| -dirty(X10)| -old(X10)| -street(X11)| -way(X11)| -lonely(X11)| -barrel(X9,X10)| -down(X9,X11)| -in(X9,X8)|X12=X13| -fellow(X12)| -man(X12)| -young(X12)| -fellow(X13)| -man(X13)| -young(X13)|X12!=X15| -in(X15,X6)|X13!=X16| -in(X16,X7)|old($c16).
% 2.23/2.43 0 [] -seat(X6)| -furniture(X6)| -front(X6)| -seat(X7)| -furniture(X7)| -front(X7)| -hollywood(X8)| -city(X8)| -event(X9)| -chevy(X10)| -car(X10)| -white(X10)| -dirty(X10)| -old(X10)| -street(X11)| -way(X11)| -lonely(X11)| -barrel(X9,X10)| -down(X9,X11)| -in(X9,X8)|X12=X13| -fellow(X12)| -man(X12)| -young(X12)| -fellow(X13)| -man(X13)| -young(X13)|X12!=X15| -in(X15,X6)|X13!=X16| -in(X16,X7)|street($c15).
% 2.23/2.43 0 [] -seat(X6)| -furniture(X6)| -front(X6)| -seat(X7)| -furniture(X7)| -front(X7)| -hollywood(X8)| -city(X8)| -event(X9)| -chevy(X10)| -car(X10)| -white(X10)| -dirty(X10)| -old(X10)| -street(X11)| -way(X11)| -lonely(X11)| -barrel(X9,X10)| -down(X9,X11)| -in(X9,X8)|X12=X13| -fellow(X12)| -man(X12)| -young(X12)| -fellow(X13)| -man(X13)| -young(X13)|X12!=X15| -in(X15,X6)|X13!=X16| -in(X16,X7)|way($c15).
% 2.23/2.43 0 [] -seat(X6)| -furniture(X6)| -front(X6)| -seat(X7)| -furniture(X7)| -front(X7)| -hollywood(X8)| -city(X8)| -event(X9)| -chevy(X10)| -car(X10)| -white(X10)| -dirty(X10)| -old(X10)| -street(X11)| -way(X11)| -lonely(X11)| -barrel(X9,X10)| -down(X9,X11)| -in(X9,X8)|X12=X13| -fellow(X12)| -man(X12)| -young(X12)| -fellow(X13)| -man(X13)| -young(X13)|X12!=X15| -in(X15,X6)|X13!=X16| -in(X16,X7)|lonely($c15).
% 2.23/2.43 0 [] -seat(X6)| -furniture(X6)| -front(X6)| -seat(X7)| -furniture(X7)| -front(X7)| -hollywood(X8)| -city(X8)| -event(X9)| -chevy(X10)| -car(X10)| -white(X10)| -dirty(X10)| -old(X10)| -street(X11)| -way(X11)| -lonely(X11)| -barrel(X9,X10)| -down(X9,X11)| -in(X9,X8)|X12=X13| -fellow(X12)| -man(X12)| -young(X12)| -fellow(X13)| -man(X13)| -young(X13)|X12!=X15| -in(X15,X6)|X13!=X16| -in(X16,X7)|barrel($c17,$c16).
% 2.23/2.43 0 [] -seat(X6)| -furniture(X6)| -front(X6)| -seat(X7)| -furniture(X7)| -front(X7)| -hollywood(X8)| -city(X8)| -event(X9)| -chevy(X10)| -car(X10)| -white(X10)| -dirty(X10)| -old(X10)| -street(X11)| -way(X11)| -lonely(X11)| -barrel(X9,X10)| -down(X9,X11)| -in(X9,X8)|X12=X13| -fellow(X12)| -man(X12)| -young(X12)| -fellow(X13)| -man(X13)| -young(X13)|X12!=X15| -in(X15,X6)|X13!=X16| -in(X16,X7)|down($c17,$c15).
% 2.23/2.43 0 [] -seat(X6)| -furniture(X6)| -front(X6)| -seat(X7)| -furniture(X7)| -front(X7)| -hollywood(X8)| -city(X8)| -event(X9)| -chevy(X10)| -car(X10)| -white(X10)| -dirty(X10)| -old(X10)| -street(X11)| -way(X11)| -lonely(X11)| -barrel(X9,X10)| -down(X9,X11)| -in(X9,X8)|X12=X13| -fellow(X12)| -man(X12)| -young(X12)| -fellow(X13)| -man(X13)| -young(X13)|X12!=X15| -in(X15,X6)|X13!=X16| -in(X16,X7)|in($c17,$c18).
% 2.23/2.43 0 [] -seat(X6)| -furniture(X6)| -front(X6)| -seat(X7)| -furniture(X7)| -front(X7)| -hollywood(X8)| -city(X8)| -event(X9)| -chevy(X10)| -car(X10)| -white(X10)| -dirty(X10)| -old(X10)| -street(X11)| -way(X11)| -lonely(X11)| -barrel(X9,X10)| -down(X9,X11)| -in(X9,X8)|X12=X13| -fellow(X12)| -man(X12)| -young(X12)| -fellow(X13)| -man(X13)| -young(X13)|X12!=X15| -in(X15,X6)|X13!=X16| -in(X16,X7)|$c14!=$c13.
% 2.23/2.43 0 [] -seat(X6)| -furniture(X6)| -front(X6)| -seat(X7)| -furniture(X7)| -front(X7)| -hollywood(X8)| -city(X8)| -event(X9)| -chevy(X10)| -car(X10)| -white(X10)| -dirty(X10)| -old(X10)| -street(X11)| -way(X11)| -lonely(X11)| -barrel(X9,X10)| -down(X9,X11)| -in(X9,X8)|X12=X13| -fellow(X12)| -man(X12)| -young(X12)| -fellow(X13)| -man(X13)| -young(X13)|X12!=X15| -in(X15,X6)|X13!=X16| -in(X16,X7)|fellow($c14).
% 2.23/2.43 0 [] -seat(X6)| -furniture(X6)| -front(X6)| -seat(X7)| -furniture(X7)| -front(X7)| -hollywood(X8)| -city(X8)| -event(X9)| -chevy(X10)| -car(X10)| -white(X10)| -dirty(X10)| -old(X10)| -street(X11)| -way(X11)| -lonely(X11)| -barrel(X9,X10)| -down(X9,X11)| -in(X9,X8)|X12=X13| -fellow(X12)| -man(X12)| -young(X12)| -fellow(X13)| -man(X13)| -young(X13)|X12!=X15| -in(X15,X6)|X13!=X16| -in(X16,X7)|man($c14).
% 2.23/2.43 0 [] -seat(X6)| -furniture(X6)| -front(X6)| -seat(X7)| -furniture(X7)| -front(X7)| -hollywood(X8)| -city(X8)| -event(X9)| -chevy(X10)| -car(X10)| -white(X10)| -dirty(X10)| -old(X10)| -street(X11)| -way(X11)| -lonely(X11)| -barrel(X9,X10)| -down(X9,X11)| -in(X9,X8)|X12=X13| -fellow(X12)| -man(X12)| -young(X12)| -fellow(X13)| -man(X13)| -young(X13)|X12!=X15| -in(X15,X6)|X13!=X16| -in(X16,X7)|young($c14).
% 2.23/2.43 0 [] -seat(X6)| -furniture(X6)| -front(X6)| -seat(X7)| -furniture(X7)| -front(X7)| -hollywood(X8)| -city(X8)| -event(X9)| -chevy(X10)| -car(X10)| -white(X10)| -dirty(X10)| -old(X10)| -street(X11)| -way(X11)| -lonely(X11)| -barrel(X9,X10)| -down(X9,X11)| -in(X9,X8)|X12=X13| -fellow(X12)| -man(X12)| -young(X12)| -fellow(X13)| -man(X13)| -young(X13)|X12!=X15| -in(X15,X6)|X13!=X16| -in(X16,X7)|fellow($c13).
% 2.23/2.43 0 [] -seat(X6)| -furniture(X6)| -front(X6)| -seat(X7)| -furniture(X7)| -front(X7)| -hollywood(X8)| -city(X8)| -event(X9)| -chevy(X10)| -car(X10)| -white(X10)| -dirty(X10)| -old(X10)| -street(X11)| -way(X11)| -lonely(X11)| -barrel(X9,X10)| -down(X9,X11)| -in(X9,X8)|X12=X13| -fellow(X12)| -man(X12)| -young(X12)| -fellow(X13)| -man(X13)| -young(X13)|X12!=X15| -in(X15,X6)|X13!=X16| -in(X16,X7)|man($c13).
% 2.23/2.43 0 [] -seat(X6)| -furniture(X6)| -front(X6)| -seat(X7)| -furniture(X7)| -front(X7)| -hollywood(X8)| -city(X8)| -event(X9)| -chevy(X10)| -car(X10)| -white(X10)| -dirty(X10)| -old(X10)| -street(X11)| -way(X11)| -lonely(X11)| -barrel(X9,X10)| -down(X9,X11)| -in(X9,X8)|X12=X13| -fellow(X12)| -man(X12)| -young(X12)| -fellow(X13)| -man(X13)| -young(X13)|X12!=X15| -in(X15,X6)|X13!=X16| -in(X16,X7)|young($c13).
% 2.23/2.43 0 [] -seat(X6)| -furniture(X6)| -front(X6)| -seat(X7)| -furniture(X7)| -front(X7)| -hollywood(X8)| -city(X8)| -event(X9)| -chevy(X10)| -car(X10)| -white(X10)| -dirty(X10)| -old(X10)| -street(X11)| -way(X11)| -lonely(X11)| -barrel(X9,X10)| -down(X9,X11)| -in(X9,X8)|X12=X13| -fellow(X12)| -man(X12)| -young(X12)| -fellow(X13)| -man(X13)| -young(X13)|X12!=X15| -in(X15,X6)|X13!=X16| -in(X16,X7)|$c14=$c12.
% 2.23/2.43 0 [] -seat(X6)| -furniture(X6)| -front(X6)| -seat(X7)| -furniture(X7)| -front(X7)| -hollywood(X8)| -city(X8)| -event(X9)| -chevy(X10)| -car(X10)| -white(X10)| -dirty(X10)| -old(X10)| -street(X11)| -way(X11)| -lonely(X11)| -barrel(X9,X10)| -down(X9,X11)| -in(X9,X8)|X12=X13| -fellow(X12)| -man(X12)| -young(X12)| -fellow(X13)| -man(X13)| -young(X13)|X12!=X15| -in(X15,X6)|X13!=X16| -in(X16,X7)|in($c12,$c20).
% 2.23/2.43 0 [] -seat(X6)| -furniture(X6)| -front(X6)| -seat(X7)| -furniture(X7)| -front(X7)| -hollywood(X8)| -city(X8)| -event(X9)| -chevy(X10)| -car(X10)| -white(X10)| -dirty(X10)| -old(X10)| -street(X11)| -way(X11)| -lonely(X11)| -barrel(X9,X10)| -down(X9,X11)| -in(X9,X8)|X12=X13| -fellow(X12)| -man(X12)| -young(X12)| -fellow(X13)| -man(X13)| -young(X13)|X12!=X15| -in(X15,X6)|X13!=X16| -in(X16,X7)|$c13=$c11.
% 2.23/2.43 0 [] -seat(X6)| -furniture(X6)| -front(X6)| -seat(X7)| -furniture(X7)| -front(X7)| -hollywood(X8)| -city(X8)| -event(X9)| -chevy(X10)| -car(X10)| -white(X10)| -dirty(X10)| -old(X10)| -street(X11)| -way(X11)| -lonely(X11)| -barrel(X9,X10)| -down(X9,X11)| -in(X9,X8)|X12=X13| -fellow(X12)| -man(X12)| -young(X12)| -fellow(X13)| -man(X13)| -young(X13)|X12!=X15| -in(X15,X6)|X13!=X16| -in(X16,X7)|in($c11,$c19).
% 2.23/2.43 0 [] -seat(X6)| -furniture(X6)| -front(X6)| -seat(X7)| -furniture(X7)| -front(X7)| -hollywood(X8)| -city(X8)| -event(X9)| -chevy(X10)| -car(X10)| -white(X10)| -dirty(X10)| -old(X10)| -street(X11)| -way(X11)| -lonely(X11)| -barrel(X9,X10)| -down(X9,X11)| -in(X9,X8)|X12=X13| -fellow(X12)| -man(X12)| -young(X12)| -fellow(X13)| -man(X13)| -young(X13)|X12!=X15| -in(X15,X6)|X13!=X16| -in(X16,X7)| -seat(X28)| -furniture(X28)| -front(X28)| -seat(X29)| -furniture(X29)| -front(X29)| -hollywood(X30)| -city(X30)| -event(X31)| -street(X32)| -way(X32)| -lonely(X32)| -chevy(X33)| -car(X33)| -white(X33)| -dirty(X33)| -old(X33)| -barrel(X31,X33)| -down(X31,X32)| -in(X31,X30)|X34=X35| -fellow(X34)| -man(X34)| -young(X34)| -fellow(X35)| -man(X35)| -young(X35)|X34!=X37| -in(X37,X28)|X35!=X38| -in(X38,X29).
% 2.23/2.43 end_of_list.
% 2.23/2.43
% 2.23/2.43 SCAN INPUT: prop=0, horn=0, equality=1, symmetry=0, max_lits=62.
% 2.23/2.44
% 2.23/2.44 This ia a non-Horn set with equality. The strategy will be
% 2.23/2.44 Knuth-Bendix, ordered hyper_res, factoring, and unit
% 2.23/2.44 deletion, with positive clauses in sos and nonpositive
% 2.23/2.44 clauses in usable.
% 2.23/2.44
% 2.23/2.44 dependent: set(knuth_bendix).
% 2.23/2.44 dependent: set(anl_eq).
% 2.23/2.44 dependent: set(para_from).
% 2.23/2.44 dependent: set(para_into).
% 2.23/2.44 dependent: clear(para_from_right).
% 2.23/2.44 dependent: clear(para_into_right).
% 2.23/2.44 dependent: set(para_from_vars).
% 2.23/2.44 dependent: set(eq_units_both_ways).
% 2.23/2.44 dependent: set(dynamic_demod_all).
% 2.23/2.44 dependent: set(dynamic_demod).
% 2.23/2.44 dependent: set(order_eq).
% 2.23/2.44 dependent: set(back_demod).
% 2.23/2.44 dependent: set(lrpo).
% 2.23/2.44 dependent: set(hyper_res).
% 2.23/2.44 dependent: set(unit_deletion).
% 2.23/2.44 dependent: set(factor).
% 2.23/2.44
% 2.23/2.44 ------------> process usable:
% 2.23/2.44 ** KEPT (pick-wt=5): 1 [] seat($c10)|$c14!=$c13.
% 2.23/2.44 ** KEPT (pick-wt=72): 2 [] seat($c10)| -seat(A)| -furniture(A)| -front(A)| -seat(B)| -furniture(B)| -front(B)| -hollywood(C)| -city(C)| -event(D)| -street(E)| -way(E)| -lonely(E)| -chevy(F)| -car(F)| -white(F)| -dirty(F)| -old(F)| -barrel(D,F)| -down(D,E)| -in(D,C)|G=H| -fellow(G)| -man(G)| -young(G)| -fellow(H)| -man(H)| -young(H)|G!=I| -in(I,A)|H!=J| -in(J,B).
% 2.23/2.44 ** KEPT (pick-wt=5): 3 [] furniture($c10)|$c14!=$c13.
% 2.23/2.44 ** KEPT (pick-wt=72): 4 [] furniture($c10)| -seat(A)| -furniture(A)| -front(A)| -seat(B)| -furniture(B)| -front(B)| -hollywood(C)| -city(C)| -event(D)| -street(E)| -way(E)| -lonely(E)| -chevy(F)| -car(F)| -white(F)| -dirty(F)| -old(F)| -barrel(D,F)| -down(D,E)| -in(D,C)|G=H| -fellow(G)| -man(G)| -young(G)| -fellow(H)| -man(H)| -young(H)|G!=I| -in(I,A)|H!=J| -in(J,B).
% 2.23/2.44 ** KEPT (pick-wt=5): 5 [] front($c10)|$c14!=$c13.
% 2.23/2.44 ** KEPT (pick-wt=72): 6 [] front($c10)| -seat(A)| -furniture(A)| -front(A)| -seat(B)| -furniture(B)| -front(B)| -hollywood(C)| -city(C)| -event(D)| -street(E)| -way(E)| -lonely(E)| -chevy(F)| -car(F)| -white(F)| -dirty(F)| -old(F)| -barrel(D,F)| -down(D,E)| -in(D,C)|G=H| -fellow(G)| -man(G)| -young(G)| -fellow(H)| -man(H)| -young(H)|G!=I| -in(I,A)|H!=J| -in(J,B).
% 2.23/2.44 ** KEPT (pick-wt=5): 7 [] seat($c9)|$c14!=$c13.
% 2.23/2.44 ** KEPT (pick-wt=72): 8 [] seat($c9)| -seat(A)| -furniture(A)| -front(A)| -seat(B)| -furniture(B)| -front(B)| -hollywood(C)| -city(C)| -event(D)| -street(E)| -way(E)| -lonely(E)| -chevy(F)| -car(F)| -white(F)| -dirty(F)| -old(F)| -barrel(D,F)| -down(D,E)| -in(D,C)|G=H| -fellow(G)| -man(G)| -young(G)| -fellow(H)| -man(H)| -young(H)|G!=I| -in(I,A)|H!=J| -in(J,B).
% 2.23/2.44 ** KEPT (pick-wt=5): 9 [] furniture($c9)|$c14!=$c13.
% 2.23/2.44 ** KEPT (pick-wt=72): 10 [] furniture($c9)| -seat(A)| -furniture(A)| -front(A)| -seat(B)| -furniture(B)| -front(B)| -hollywood(C)| -city(C)| -event(D)| -street(E)| -way(E)| -lonely(E)| -chevy(F)| -car(F)| -white(F)| -dirty(F)| -old(F)| -barrel(D,F)| -down(D,E)| -in(D,C)|G=H| -fellow(G)| -man(G)| -young(G)| -fellow(H)| -man(H)| -young(H)|G!=I| -in(I,A)|H!=J| -in(J,B).
% 2.23/2.44 ** KEPT (pick-wt=5): 11 [] front($c9)|$c14!=$c13.
% 2.23/2.44 ** KEPT (pick-wt=72): 12 [] front($c9)| -seat(A)| -furniture(A)| -front(A)| -seat(B)| -furniture(B)| -front(B)| -hollywood(C)| -city(C)| -event(D)| -street(E)| -way(E)| -lonely(E)| -chevy(F)| -car(F)| -white(F)| -dirty(F)| -old(F)| -barrel(D,F)| -down(D,E)| -in(D,C)|G=H| -fellow(G)| -man(G)| -young(G)| -fellow(H)| -man(H)| -young(H)|G!=I| -in(I,A)|H!=J| -in(J,B).
% 2.23/2.44 ** KEPT (pick-wt=5): 13 [] hollywood($c8)|$c14!=$c13.
% 2.23/2.44 ** KEPT (pick-wt=72): 14 [] hollywood($c8)| -seat(A)| -furniture(A)| -front(A)| -seat(B)| -furniture(B)| -front(B)| -hollywood(C)| -city(C)| -event(D)| -street(E)| -way(E)| -lonely(E)| -chevy(F)| -car(F)| -white(F)| -dirty(F)| -old(F)| -barrel(D,F)| -down(D,E)| -in(D,C)|G=H| -fellow(G)| -man(G)| -young(G)| -fellow(H)| -man(H)| -young(H)|G!=I| -in(I,A)|H!=J| -in(J,B).
% 2.23/2.44 ** KEPT (pick-wt=5): 15 [] city($c8)|$c14!=$c13.
% 2.23/2.44 ** KEPT (pick-wt=72): 16 [] city($c8)| -seat(A)| -furniture(A)| -front(A)| -seat(B)| -furniture(B)| -front(B)| -hollywood(C)| -city(C)| -event(D)| -street(E)| -way(E)| -lonely(E)| -chevy(F)| -car(F)| -white(F)| -dirty(F)| -old(F)| -barrel(D,F)| -down(D,E)| -in(D,C)|G=H| -fellow(G)| -man(G)| -young(G)| -fellow(H)| -man(H)| -young(H)|G!=I| -in(I,A)|H!=J| -in(J,B).
% 2.23/2.44 ** KEPT (pick-wt=5): 17 [] event($c7)|$c14!=$c13.
% 2.23/2.44 ** KEPT (pick-wt=72): 18 [] event($c7)| -seat(A)| -furniture(A)| -front(A)| -seat(B)| -furniture(B)| -front(B)| -hollywood(C)| -city(C)| -event(D)| -street(E)| -way(E)| -lonely(E)| -chevy(F)| -car(F)| -white(F)| -dirty(F)| -old(F)| -barrel(D,F)| -down(D,E)| -in(D,C)|G=H| -fellow(G)| -man(G)| -young(G)| -fellow(H)| -man(H)| -young(H)|G!=I| -in(I,A)|H!=J| -in(J,B).
% 2.23/2.44 ** KEPT (pick-wt=5): 19 [] street($c6)|$c14!=$c13.
% 2.23/2.44 ** KEPT (pick-wt=72): 20 [] street($c6)| -seat(A)| -furniture(A)| -front(A)| -seat(B)| -furniture(B)| -front(B)| -hollywood(C)| -city(C)| -event(D)| -street(E)| -way(E)| -lonely(E)| -chevy(F)| -car(F)| -white(F)| -dirty(F)| -old(F)| -barrel(D,F)| -down(D,E)| -in(D,C)|G=H| -fellow(G)| -man(G)| -young(G)| -fellow(H)| -man(H)| -young(H)|G!=I| -in(I,A)|H!=J| -in(J,B).
% 2.23/2.44 ** KEPT (pick-wt=5): 21 [] way($c6)|$c14!=$c13.
% 2.23/2.44 ** KEPT (pick-wt=72): 22 [] way($c6)| -seat(A)| -furniture(A)| -front(A)| -seat(B)| -furniture(B)| -front(B)| -hollywood(C)| -city(C)| -event(D)| -street(E)| -way(E)| -lonely(E)| -chevy(F)| -car(F)| -white(F)| -dirty(F)| -old(F)| -barrel(D,F)| -down(D,E)| -in(D,C)|G=H| -fellow(G)| -man(G)| -young(G)| -fellow(H)| -man(H)| -young(H)|G!=I| -in(I,A)|H!=J| -in(J,B).
% 2.23/2.44 ** KEPT (pick-wt=5): 23 [] lonely($c6)|$c14!=$c13.
% 2.23/2.44 ** KEPT (pick-wt=72): 24 [] lonely($c6)| -seat(A)| -furniture(A)| -front(A)| -seat(B)| -furniture(B)| -front(B)| -hollywood(C)| -city(C)| -event(D)| -street(E)| -way(E)| -lonely(E)| -chevy(F)| -car(F)| -white(F)| -dirty(F)| -old(F)| -barrel(D,F)| -down(D,E)| -in(D,C)|G=H| -fellow(G)| -man(G)| -young(G)| -fellow(H)| -man(H)| -young(H)|G!=I| -in(I,A)|H!=J| -in(J,B).
% 2.23/2.44 ** KEPT (pick-wt=5): 25 [] chevy($c5)|$c14!=$c13.
% 2.23/2.44 ** KEPT (pick-wt=72): 26 [] chevy($c5)| -seat(A)| -furniture(A)| -front(A)| -seat(B)| -furniture(B)| -front(B)| -hollywood(C)| -city(C)| -event(D)| -street(E)| -way(E)| -lonely(E)| -chevy(F)| -car(F)| -white(F)| -dirty(F)| -old(F)| -barrel(D,F)| -down(D,E)| -in(D,C)|G=H| -fellow(G)| -man(G)| -young(G)| -fellow(H)| -man(H)| -young(H)|G!=I| -in(I,A)|H!=J| -in(J,B).
% 2.23/2.44 ** KEPT (pick-wt=5): 27 [] car($c5)|$c14!=$c13.
% 2.23/2.44 ** KEPT (pick-wt=72): 28 [] car($c5)| -seat(A)| -furniture(A)| -front(A)| -seat(B)| -furniture(B)| -front(B)| -hollywood(C)| -city(C)| -event(D)| -street(E)| -way(E)| -lonely(E)| -chevy(F)| -car(F)| -white(F)| -dirty(F)| -old(F)| -barrel(D,F)| -down(D,E)| -in(D,C)|G=H| -fellow(G)| -man(G)| -young(G)| -fellow(H)| -man(H)| -young(H)|G!=I| -in(I,A)|H!=J| -in(J,B).
% 2.23/2.44 ** KEPT (pick-wt=5): 29 [] white($c5)|$c14!=$c13.
% 2.23/2.44 ** KEPT (pick-wt=72): 30 [] white($c5)| -seat(A)| -furniture(A)| -front(A)| -seat(B)| -furniture(B)| -front(B)| -hollywood(C)| -city(C)| -event(D)| -street(E)| -way(E)| -lonely(E)| -chevy(F)| -car(F)| -white(F)| -dirty(F)| -old(F)| -barrel(D,F)| -down(D,E)| -in(D,C)|G=H| -fellow(G)| -man(G)| -young(G)| -fellow(H)| -man(H)| -young(H)|G!=I| -in(I,A)|H!=J| -in(J,B).
% 2.23/2.44 ** KEPT (pick-wt=5): 31 [] dirty($c5)|$c14!=$c13.
% 2.23/2.44 ** KEPT (pick-wt=72): 32 [] dirty($c5)| -seat(A)| -furniture(A)| -front(A)| -seat(B)| -furniture(B)| -front(B)| -hollywood(C)| -city(C)| -event(D)| -street(E)| -way(E)| -lonely(E)| -chevy(F)| -car(F)| -white(F)| -dirty(F)| -old(F)| -barrel(D,F)| -down(D,E)| -in(D,C)|G=H| -fellow(G)| -man(G)| -young(G)| -fellow(H)| -man(H)| -young(H)|G!=I| -in(I,A)|H!=J| -in(J,B).
% 2.23/2.44 ** KEPT (pick-wt=5): 33 [] old($c5)|$c14!=$c13.
% 2.23/2.44 ** KEPT (pick-wt=72): 34 [] old($c5)| -seat(A)| -furniture(A)| -front(A)| -seat(B)| -furniture(B)| -front(B)| -hollywood(C)| -city(C)| -event(D)| -street(E)| -way(E)| -lonely(E)| -chevy(F)| -car(F)| -white(F)| -dirty(F)| -old(F)| -barrel(D,F)| -down(D,E)| -in(D,C)|G=H| -fellow(G)| -man(G)| -young(G)| -fellow(H)| -man(H)| -young(H)|G!=I| -in(I,A)|H!=J| -in(J,B).
% 2.23/2.44 ** KEPT (pick-wt=6): 35 [] barrel($c7,$c5)|$c14!=$c13.
% 2.23/2.44 ** KEPT (pick-wt=73): 36 [] barrel($c7,$c5)| -seat(A)| -furniture(A)| -front(A)| -seat(B)| -furniture(B)| -front(B)| -hollywood(C)| -city(C)| -event(D)| -street(E)| -way(E)| -lonely(E)| -chevy(F)| -car(F)| -white(F)| -dirty(F)| -old(F)| -barrel(D,F)| -down(D,E)| -in(D,C)|G=H| -fellow(G)| -man(G)| -young(G)| -fellow(H)| -man(H)| -young(H)|G!=I| -in(I,A)|H!=J| -in(J,B).
% 2.23/2.45 ** KEPT (pick-wt=6): 37 [] down($c7,$c6)|$c14!=$c13.
% 2.23/2.45 ** KEPT (pick-wt=73): 38 [] down($c7,$c6)| -seat(A)| -furniture(A)| -front(A)| -seat(B)| -furniture(B)| -front(B)| -hollywood(C)| -city(C)| -event(D)| -street(E)| -way(E)| -lonely(E)| -chevy(F)| -car(F)| -white(F)| -dirty(F)| -old(F)| -barrel(D,F)| -down(D,E)| -in(D,C)|G=H| -fellow(G)| -man(G)| -young(G)| -fellow(H)| -man(H)| -young(H)|G!=I| -in(I,A)|H!=J| -in(J,B).
% 2.23/2.45 ** KEPT (pick-wt=6): 39 [] in($c7,$c8)|$c14!=$c13.
% 2.23/2.45 ** KEPT (pick-wt=73): 40 [] in($c7,$c8)| -seat(A)| -furniture(A)| -front(A)| -seat(B)| -furniture(B)| -front(B)| -hollywood(C)| -city(C)| -event(D)| -street(E)| -way(E)| -lonely(E)| -chevy(F)| -car(F)| -white(F)| -dirty(F)| -old(F)| -barrel(D,F)| -down(D,E)| -in(D,C)|G=H| -fellow(G)| -man(G)| -young(G)| -fellow(H)| -man(H)| -young(H)|G!=I| -in(I,A)|H!=J| -in(J,B).
% 2.23/2.45 ** KEPT (pick-wt=5): 41 [] $c4!=$c3|seat($c20).
% 2.23/2.45 ** KEPT (pick-wt=5): 42 [] $c4!=$c3|furniture($c20).
% 2.23/2.45 ** KEPT (pick-wt=5): 43 [] $c4!=$c3|front($c20).
% 2.23/2.45 ** KEPT (pick-wt=5): 44 [] $c4!=$c3|seat($c19).
% 2.23/2.45 ** KEPT (pick-wt=5): 45 [] $c4!=$c3|furniture($c19).
% 2.23/2.45 ** KEPT (pick-wt=5): 46 [] $c4!=$c3|front($c19).
% 2.23/2.45 ** KEPT (pick-wt=5): 47 [] $c4!=$c3|hollywood($c18).
% 2.23/2.45 ** KEPT (pick-wt=5): 48 [] $c4!=$c3|city($c18).
% 2.23/2.45 ** KEPT (pick-wt=5): 49 [] $c4!=$c3|event($c17).
% 2.23/2.45 ** KEPT (pick-wt=5): 50 [] $c4!=$c3|chevy($c16).
% 2.23/2.45 ** KEPT (pick-wt=5): 51 [] $c4!=$c3|car($c16).
% 2.23/2.45 ** KEPT (pick-wt=5): 52 [] $c4!=$c3|white($c16).
% 2.23/2.45 ** KEPT (pick-wt=5): 53 [] $c4!=$c3|dirty($c16).
% 2.23/2.45 ** KEPT (pick-wt=5): 54 [] $c4!=$c3|old($c16).
% 2.23/2.45 ** KEPT (pick-wt=5): 55 [] $c4!=$c3|street($c15).
% 2.23/2.45 ** KEPT (pick-wt=5): 56 [] $c4!=$c3|way($c15).
% 2.23/2.45 ** KEPT (pick-wt=5): 57 [] $c4!=$c3|lonely($c15).
% 2.23/2.45 ** KEPT (pick-wt=6): 58 [] $c4!=$c3|barrel($c17,$c16).
% 2.23/2.45 ** KEPT (pick-wt=6): 59 [] $c4!=$c3|down($c17,$c15).
% 2.23/2.45 ** KEPT (pick-wt=6): 60 [] $c4!=$c3|in($c17,$c18).
% 2.23/2.45 ** KEPT (pick-wt=6): 61 [] $c4!=$c3|$c14!=$c13.
% 2.23/2.45 ** KEPT (pick-wt=5): 62 [] $c4!=$c3|fellow($c14).
% 2.23/2.45 ** KEPT (pick-wt=5): 63 [] $c4!=$c3|man($c14).
% 2.23/2.45 ** KEPT (pick-wt=5): 64 [] $c4!=$c3|young($c14).
% 2.23/2.45 ** KEPT (pick-wt=5): 65 [] $c4!=$c3|fellow($c13).
% 2.23/2.45 ** KEPT (pick-wt=5): 66 [] $c4!=$c3|man($c13).
% 2.23/2.45 ** KEPT (pick-wt=5): 67 [] $c4!=$c3|young($c13).
% 2.23/2.45 ** KEPT (pick-wt=6): 68 [] $c4!=$c3|$c14=$c12.
% 2.23/2.45 ** KEPT (pick-wt=6): 69 [] $c4!=$c3|in($c12,$c20).
% 2.23/2.45 ** KEPT (pick-wt=6): 70 [] $c4!=$c3|$c13=$c11.
% 2.23/2.45 ** KEPT (pick-wt=6): 71 [] $c4!=$c3|in($c11,$c19).
% 2.23/2.45 ** KEPT (pick-wt=73): 72 [] $c4!=$c3| -seat(A)| -furniture(A)| -front(A)| -seat(B)| -furniture(B)| -front(B)| -hollywood(C)| -city(C)| -event(D)| -street(E)| -way(E)| -lonely(E)| -chevy(F)| -car(F)| -white(F)| -dirty(F)| -old(F)| -barrel(D,F)| -down(D,E)| -in(D,C)|G=H| -fellow(G)| -man(G)| -young(G)| -fellow(H)| -man(H)| -young(H)|G!=I| -in(I,A)|H!=J| -in(J,B).
% 2.23/2.45 ** KEPT (pick-wt=5): 73 [] fellow($c4)|$c14!=$c13.
% 2.23/2.45 ** KEPT (pick-wt=72): 74 [] fellow($c4)| -seat(A)| -furniture(A)| -front(A)| -seat(B)| -furniture(B)| -front(B)| -hollywood(C)| -city(C)| -event(D)| -street(E)| -way(E)| -lonely(E)| -chevy(F)| -car(F)| -white(F)| -dirty(F)| -old(F)| -barrel(D,F)| -down(D,E)| -in(D,C)|G=H| -fellow(G)| -man(G)| -young(G)| -fellow(H)| -man(H)| -young(H)|G!=I| -in(I,A)|H!=J| -in(J,B).
% 2.23/2.45 ** KEPT (pick-wt=5): 75 [] man($c4)|$c14!=$c13.
% 2.23/2.45 ** KEPT (pick-wt=72): 76 [] man($c4)| -seat(A)| -furniture(A)| -front(A)| -seat(B)| -furniture(B)| -front(B)| -hollywood(C)| -city(C)| -event(D)| -street(E)| -way(E)| -lonely(E)| -chevy(F)| -car(F)| -white(F)| -dirty(F)| -old(F)| -barrel(D,F)| -down(D,E)| -in(D,C)|G=H| -fellow(G)| -man(G)| -young(G)| -fellow(H)| -man(H)| -young(H)|G!=I| -in(I,A)|H!=J| -in(J,B).
% 2.23/2.45 ** KEPT (pick-wt=5): 77 [] young($c4)|$c14!=$c13.
% 2.23/2.45 ** KEPT (pick-wt=72): 78 [] young($c4)| -seat(A)| -furniture(A)| -front(A)| -seat(B)| -furniture(B)| -front(B)| -hollywood(C)| -city(C)| -event(D)| -street(E)| -way(E)| -lonely(E)| -chevy(F)| -car(F)| -white(F)| -dirty(F)| -old(F)| -barrel(D,F)| -down(D,E)| -in(D,C)|G=H| -fellow(G)| -man(G)| -young(G)| -fellow(H)| -man(H)| -young(H)|G!=I| -in(I,A)|H!=J| -in(J,B).
% 2.23/2.45 ** KEPT (pick-wt=5): 79 [] fellow($c3)|$c14!=$c13.
% 2.23/2.46 ** KEPT (pick-wt=72): 80 [] fellow($c3)| -seat(A)| -furniture(A)| -front(A)| -seat(B)| -furniture(B)| -front(B)| -hollywood(C)| -city(C)| -event(D)| -street(E)| -way(E)| -lonely(E)| -chevy(F)| -car(F)| -white(F)| -dirty(F)| -old(F)| -barrel(D,F)| -down(D,E)| -in(D,C)|G=H| -fellow(G)| -man(G)| -young(G)| -fellow(H)| -man(H)| -young(H)|G!=I| -in(I,A)|H!=J| -in(J,B).
% 2.23/2.46 ** KEPT (pick-wt=5): 81 [] man($c3)|$c14!=$c13.
% 2.23/2.46 ** KEPT (pick-wt=72): 82 [] man($c3)| -seat(A)| -furniture(A)| -front(A)| -seat(B)| -furniture(B)| -front(B)| -hollywood(C)| -city(C)| -event(D)| -street(E)| -way(E)| -lonely(E)| -chevy(F)| -car(F)| -white(F)| -dirty(F)| -old(F)| -barrel(D,F)| -down(D,E)| -in(D,C)|G=H| -fellow(G)| -man(G)| -young(G)| -fellow(H)| -man(H)| -young(H)|G!=I| -in(I,A)|H!=J| -in(J,B).
% 2.23/2.46 ** KEPT (pick-wt=5): 83 [] young($c3)|$c14!=$c13.
% 2.23/2.46 ** KEPT (pick-wt=72): 84 [] young($c3)| -seat(A)| -furniture(A)| -front(A)| -seat(B)| -furniture(B)| -front(B)| -hollywood(C)| -city(C)| -event(D)| -street(E)| -way(E)| -lonely(E)| -chevy(F)| -car(F)| -white(F)| -dirty(F)| -old(F)| -barrel(D,F)| -down(D,E)| -in(D,C)|G=H| -fellow(G)| -man(G)| -young(G)| -fellow(H)| -man(H)| -young(H)|G!=I| -in(I,A)|H!=J| -in(J,B).
% 2.23/2.46 ** KEPT (pick-wt=6): 85 [] $c4=$c2|$c14!=$c13.
% 2.23/2.46 ** KEPT (pick-wt=73): 86 [] $c4=$c2| -seat(A)| -furniture(A)| -front(A)| -seat(B)| -furniture(B)| -front(B)| -hollywood(C)| -city(C)| -event(D)| -street(E)| -way(E)| -lonely(E)| -chevy(F)| -car(F)| -white(F)| -dirty(F)| -old(F)| -barrel(D,F)| -down(D,E)| -in(D,C)|G=H| -fellow(G)| -man(G)| -young(G)| -fellow(H)| -man(H)| -young(H)|G!=I| -in(I,A)|H!=J| -in(J,B).
% 2.23/2.46 ** KEPT (pick-wt=6): 87 [] in($c2,$c10)|$c14!=$c13.
% 2.23/2.46 ** KEPT (pick-wt=73): 88 [] in($c2,$c10)| -seat(A)| -furniture(A)| -front(A)| -seat(B)| -furniture(B)| -front(B)| -hollywood(C)| -city(C)| -event(D)| -street(E)| -way(E)| -lonely(E)| -chevy(F)| -car(F)| -white(F)| -dirty(F)| -old(F)| -barrel(D,F)| -down(D,E)| -in(D,C)|G=H| -fellow(G)| -man(G)| -young(G)| -fellow(H)| -man(H)| -young(H)|G!=I| -in(I,A)|H!=J| -in(J,B).
% 2.23/2.46 ** KEPT (pick-wt=6): 89 [] $c3=$c1|$c14!=$c13.
% 2.23/2.46 ** KEPT (pick-wt=73): 90 [] $c3=$c1| -seat(A)| -furniture(A)| -front(A)| -seat(B)| -furniture(B)| -front(B)| -hollywood(C)| -city(C)| -event(D)| -street(E)| -way(E)| -lonely(E)| -chevy(F)| -car(F)| -white(F)| -dirty(F)| -old(F)| -barrel(D,F)| -down(D,E)| -in(D,C)|G=H| -fellow(G)| -man(G)| -young(G)| -fellow(H)| -man(H)| -young(H)|G!=I| -in(I,A)|H!=J| -in(J,B).
% 2.23/2.46 ** KEPT (pick-wt=6): 91 [] in($c1,$c9)|$c14!=$c13.
% 2.23/2.46 ** KEPT (pick-wt=73): 92 [] in($c1,$c9)| -seat(A)| -furniture(A)| -front(A)| -seat(B)| -furniture(B)| -front(B)| -hollywood(C)| -city(C)| -event(D)| -street(E)| -way(E)| -lonely(E)| -chevy(F)| -car(F)| -white(F)| -dirty(F)| -old(F)| -barrel(D,F)| -down(D,E)| -in(D,C)|G=H| -fellow(G)| -man(G)| -young(G)| -fellow(H)| -man(H)| -young(H)|G!=I| -in(I,A)|H!=J| -in(J,B).
% 2.23/2.46 ** KEPT (pick-wt=72): 93 [] -seat(A)| -furniture(A)| -front(A)| -seat(B)| -furniture(B)| -front(B)| -hollywood(C)| -city(C)| -event(D)| -chevy(E)| -car(E)| -white(E)| -dirty(E)| -old(E)| -street(F)| -way(F)| -lonely(F)| -barrel(D,E)| -down(D,F)| -in(D,C)|G=H| -fellow(G)| -man(G)| -young(G)| -fellow(H)| -man(H)| -young(H)|G!=I| -in(I,A)|H!=J| -in(J,B)|seat($c20).
% 2.23/2.46 ** KEPT (pick-wt=72): 94 [] -seat(A)| -furniture(A)| -front(A)| -seat(B)| -furniture(B)| -front(B)| -hollywood(C)| -city(C)| -event(D)| -chevy(E)| -car(E)| -white(E)| -dirty(E)| -old(E)| -street(F)| -way(F)| -lonely(F)| -barrel(D,E)| -down(D,F)| -in(D,C)|G=H| -fellow(G)| -man(G)| -young(G)| -fellow(H)| -man(H)| -young(H)|G!=I| -in(I,A)|H!=J| -in(J,B)|furniture($c20).
% 2.23/2.46 ** KEPT (pick-wt=72): 95 [] -seat(A)| -furniture(A)| -front(A)| -seat(B)| -furniture(B)| -front(B)| -hollywood(C)| -city(C)| -event(D)| -chevy(E)| -car(E)| -white(E)| -dirty(E)| -old(E)| -street(F)| -way(F)| -lonely(F)| -barrel(D,E)| -down(D,F)| -in(D,C)|G=H| -fellow(G)| -man(G)| -young(G)| -fellow(H)| -man(H)| -young(H)|G!=I| -in(I,A)|H!=J| -in(J,B)|front($c20).
% 2.23/2.46 ** KEPT (pick-wt=72): 96 [] -seat(A)| -furniture(A)| -front(A)| -seat(B)| -furniture(B)| -front(B)| -hollywood(C)| -city(C)| -event(D)| -chevy(E)| -car(E)| -white(E)| -dirty(E)| -old(E)| -street(F)| -way(F)| -lonely(F)| -barrel(D,E)| -down(D,F)| -in(D,C)|G=H| -fellow(G)| -man(G)| -young(G)| -fellow(H)| -man(H)| -young(H)|G!=I| -in(I,A)|H!=J| -in(J,B)|seat($c19).
% 2.23/2.48 ** KEPT (pick-wt=72): 97 [] -seat(A)| -furniture(A)| -front(A)| -seat(B)| -furniture(B)| -front(B)| -hollywood(C)| -city(C)| -event(D)| -chevy(E)| -car(E)| -white(E)| -dirty(E)| -old(E)| -street(F)| -way(F)| -lonely(F)| -barrel(D,E)| -down(D,F)| -in(D,C)|G=H| -fellow(G)| -man(G)| -young(G)| -fellow(H)| -man(H)| -young(H)|G!=I| -in(I,A)|H!=J| -in(J,B)|furniture($c19).
% 2.23/2.48 ** KEPT (pick-wt=72): 98 [] -seat(A)| -furniture(A)| -front(A)| -seat(B)| -furniture(B)| -front(B)| -hollywood(C)| -city(C)| -event(D)| -chevy(E)| -car(E)| -white(E)| -dirty(E)| -old(E)| -street(F)| -way(F)| -lonely(F)| -barrel(D,E)| -down(D,F)| -in(D,C)|G=H| -fellow(G)| -man(G)| -young(G)| -fellow(H)| -man(H)| -young(H)|G!=I| -in(I,A)|H!=J| -in(J,B)|front($c19).
% 2.23/2.48 ** KEPT (pick-wt=72): 99 [] -seat(A)| -furniture(A)| -front(A)| -seat(B)| -furniture(B)| -front(B)| -hollywood(C)| -city(C)| -event(D)| -chevy(E)| -car(E)| -white(E)| -dirty(E)| -old(E)| -street(F)| -way(F)| -lonely(F)| -barrel(D,E)| -down(D,F)| -in(D,C)|G=H| -fellow(G)| -man(G)| -young(G)| -fellow(H)| -man(H)| -young(H)|G!=I| -in(I,A)|H!=J| -in(J,B)|hollywood($c18).
% 2.23/2.48 ** KEPT (pick-wt=72): 100 [] -seat(A)| -furniture(A)| -front(A)| -seat(B)| -furniture(B)| -front(B)| -hollywood(C)| -city(C)| -event(D)| -chevy(E)| -car(E)| -white(E)| -dirty(E)| -old(E)| -street(F)| -way(F)| -lonely(F)| -barrel(D,E)| -down(D,F)| -in(D,C)|G=H| -fellow(G)| -man(G)| -young(G)| -fellow(H)| -man(H)| -young(H)|G!=I| -in(I,A)|H!=J| -in(J,B)|city($c18).
% 2.23/2.48 ** KEPT (pick-wt=72): 101 [] -seat(A)| -furniture(A)| -front(A)| -seat(B)| -furniture(B)| -front(B)| -hollywood(C)| -city(C)| -event(D)| -chevy(E)| -car(E)| -white(E)| -dirty(E)| -old(E)| -street(F)| -way(F)| -lonely(F)| -barrel(D,E)| -down(D,F)| -in(D,C)|G=H| -fellow(G)| -man(G)| -young(G)| -fellow(H)| -man(H)| -young(H)|G!=I| -in(I,A)|H!=J| -in(J,B)|event($c17).
% 2.23/2.48 ** KEPT (pick-wt=72): 102 [] -seat(A)| -furniture(A)| -front(A)| -seat(B)| -furniture(B)| -front(B)| -hollywood(C)| -city(C)| -event(D)| -chevy(E)| -car(E)| -white(E)| -dirty(E)| -old(E)| -street(F)| -way(F)| -lonely(F)| -barrel(D,E)| -down(D,F)| -in(D,C)|G=H| -fellow(G)| -man(G)| -young(G)| -fellow(H)| -man(H)| -young(H)|G!=I| -in(I,A)|H!=J| -in(J,B)|chevy($c16).
% 2.23/2.48 ** KEPT (pick-wt=72): 103 [] -seat(A)| -furniture(A)| -front(A)| -seat(B)| -furniture(B)| -front(B)| -hollywood(C)| -city(C)| -event(D)| -chevy(E)| -car(E)| -white(E)| -dirty(E)| -old(E)| -street(F)| -way(F)| -lonely(F)| -barrel(D,E)| -down(D,F)| -in(D,C)|G=H| -fellow(G)| -man(G)| -young(G)| -fellow(H)| -man(H)| -young(H)|G!=I| -in(I,A)|H!=J| -in(J,B)|car($c16).
% 2.23/2.48 ** KEPT (pick-wt=72): 104 [] -seat(A)| -furniture(A)| -front(A)| -seat(B)| -furniture(B)| -front(B)| -hollywood(C)| -city(C)| -event(D)| -chevy(E)| -car(E)| -white(E)| -dirty(E)| -old(E)| -street(F)| -way(F)| -lonely(F)| -barrel(D,E)| -down(D,F)| -in(D,C)|G=H| -fellow(G)| -man(G)| -young(G)| -fellow(H)| -man(H)| -young(H)|G!=I| -in(I,A)|H!=J| -in(J,B)|white($c16).
% 2.23/2.48 ** KEPT (pick-wt=72): 105 [] -seat(A)| -furniture(A)| -front(A)| -seat(B)| -furniture(B)| -front(B)| -hollywood(C)| -city(C)| -event(D)| -chevy(E)| -car(E)| -white(E)| -dirty(E)| -old(E)| -street(F)| -way(F)| -lonely(F)| -barrel(D,E)| -down(D,F)| -in(D,C)|G=H| -fellow(G)| -man(G)| -young(G)| -fellow(H)| -man(H)| -young(H)|G!=I| -in(I,A)|H!=J| -in(J,B)|dirty($c16).
% 2.23/2.48 ** KEPT (pick-wt=72): 106 [] -seat(A)| -furniture(A)| -front(A)| -seat(B)| -furniture(B)| -front(B)| -hollywood(C)| -city(C)| -event(D)| -chevy(E)| -car(E)| -white(E)| -dirty(E)| -old(E)| -street(F)| -way(F)| -lonely(F)| -barrel(D,E)| -down(D,F)| -in(D,C)|G=H| -fellow(G)| -man(G)| -young(G)| -fellow(H)| -man(H)| -young(H)|G!=I| -in(I,A)|H!=J| -in(J,B)|old($c16).
% 2.23/2.48 ** KEPT (pick-wt=72): 107 [] -seat(A)| -furniture(A)| -front(A)| -seat(B)| -furniture(B)| -front(B)| -hollywood(C)| -city(C)| -event(D)| -chevy(E)| -car(E)| -white(E)| -dirty(E)| -old(E)| -street(F)| -way(F)| -lonely(F)| -barrel(D,E)| -down(D,F)| -in(D,C)|G=H| -fellow(G)| -man(G)| -young(G)| -fellow(H)| -man(H)| -young(H)|G!=I| -in(I,A)|H!=J| -in(J,B)|street($c15).
% 3.03/3.21 ** KEPT (pick-wt=72): 108 [] -seat(A)| -furniture(A)| -front(A)| -seat(B)| -furniture(B)| -front(B)| -hollywood(C)| -city(C)| -event(D)| -chevy(E)| -car(E)| -white(E)| -dirty(E)| -old(E)| -street(F)| -way(F)| -lonely(F)| -barrel(D,E)| -down(D,F)| -in(D,C)|G=H| -fellow(G)| -man(G)| -young(G)| -fellow(H)| -man(H)| -young(H)|G!=I| -in(I,A)|H!=J| -in(J,B)|way($c15).
% 3.03/3.21 ** KEPT (pick-wt=72): 109 [] -seat(A)| -furniture(A)| -front(A)| -seat(B)| -furniture(B)| -front(B)| -hollywood(C)| -city(C)| -event(D)| -chevy(E)| -car(E)| -white(E)| -dirty(E)| -old(E)| -street(F)| -way(F)| -lonely(F)| -barrel(D,E)| -down(D,F)| -in(D,C)|G=H| -fellow(G)| -man(G)| -young(G)| -fellow(H)| -man(H)| -young(H)|G!=I| -in(I,A)|H!=J| -in(J,B)|lonely($c15).
% 3.03/3.21 ** KEPT (pick-wt=73): 110 [] -seat(A)| -furniture(A)| -front(A)| -seat(B)| -furniture(B)| -front(B)| -hollywood(C)| -city(C)| -event(D)| -chevy(E)| -car(E)| -white(E)| -dirty(E)| -old(E)| -street(F)| -way(F)| -lonely(F)| -barrel(D,E)| -down(D,F)| -in(D,C)|G=H| -fellow(G)| -man(G)| -young(G)| -fellow(H)| -man(H)| -young(H)|G!=I| -in(I,A)|H!=J| -in(J,B)|barrel($c17,$c16).
% 3.03/3.21 ** KEPT (pick-wt=73): 111 [] -seat(A)| -furniture(A)| -front(A)| -seat(B)| -furniture(B)| -front(B)| -hollywood(C)| -city(C)| -event(D)| -chevy(E)| -car(E)| -white(E)| -dirty(E)| -old(E)| -street(F)| -way(F)| -lonely(F)| -barrel(D,E)| -down(D,F)| -in(D,C)|G=H| -fellow(G)| -man(G)| -young(G)| -fellow(H)| -man(H)| -young(H)|G!=I| -in(I,A)|H!=J| -in(J,B)|down($c17,$c15).
% 3.03/3.21 ** KEPT (pick-wt=73): 112 [] -seat(A)| -furniture(A)| -front(A)| -seat(B)| -furniture(B)| -front(B)| -hollywood(C)| -city(C)| -event(D)| -chevy(E)| -car(E)| -white(E)| -dirty(E)| -old(E)| -street(F)| -way(F)| -lonely(F)| -barrel(D,E)| -down(D,F)| -in(D,C)|G=H| -fellow(G)| -man(G)| -young(G)| -fellow(H)| -man(H)| -young(H)|G!=I| -in(I,A)|H!=J| -in(J,B)|in($c17,$c18).
% 3.03/3.21 ** KEPT (pick-wt=73): 113 [] -seat(A)| -furniture(A)| -front(A)| -seat(B)| -furniture(B)| -front(B)| -hollywood(C)| -city(C)| -event(D)| -chevy(E)| -car(E)| -white(E)| -dirty(E)| -old(E)| -street(F)| -way(F)| -lonely(F)| -barrel(D,E)| -down(D,F)| -in(D,C)|G=H| -fellow(G)| -man(G)| -young(G)| -fellow(H)| -man(H)| -young(H)|G!=I| -in(I,A)|H!=J| -in(J,B)|$c14!=$c13.
% 3.03/3.21 ** KEPT (pick-wt=72): 114 [] -seat(A)| -furniture(A)| -front(A)| -seat(B)| -furniture(B)| -front(B)| -hollywood(C)| -city(C)| -event(D)| -chevy(E)| -car(E)| -white(E)| -dirty(E)| -old(E)| -street(F)| -way(F)| -lonely(F)| -barrel(D,E)| -down(D,F)| -in(D,C)|G=H| -fellow(G)| -man(G)| -young(G)| -fellow(H)| -man(H)| -young(H)|G!=I| -in(I,A)|H!=J| -in(J,B)|fellow($c14).
% 3.03/3.21 ** KEPT (pick-wt=72): 115 [] -seat(A)| -furniture(A)| -front(A)| -seat(B)| -furniture(B)| -front(B)| -hollywood(C)| -city(C)| -event(D)| -chevy(E)| -car(E)| -white(E)| -dirty(E)| -old(E)| -street(F)| -way(F)| -lonely(F)| -barrel(D,E)| -down(D,F)| -in(D,C)|G=H| -fellow(G)| -man(G)| -young(G)| -fellow(H)| -man(H)| -young(H)|G!=I| -in(I,A)|H!=J| -in(J,B)|man($c14).
% 3.03/3.21 ** KEPT (pick-wt=72): 116 [] -seat(A)| -furniture(A)| -front(A)| -seat(B)| -furniture(B)| -front(B)| -hollywood(C)| -city(C)| -event(D)| -chevy(E)| -car(E)| -white(E)| -dirty(E)| -old(E)| -street(F)| -way(F)| -lonely(F)| -barrel(D,E)| -down(D,F)| -in(D,C)|G=H| -fellow(G)| -man(G)| -young(G)| -fellow(H)| -man(H)| -young(H)|G!=I| -in(I,A)|H!=J| -in(J,B)|young($c14).
% 3.03/3.21 ** KEPT (pick-wt=72): 117 [] -seat(A)| -furniture(A)| -front(A)| -seat(B)| -furniture(B)| -front(B)| -hollywood(C)| -city(C)| -event(D)| -chevy(E)| -car(E)| -white(E)| -dirty(E)| -old(E)| -street(F)| -way(F)| -lonely(F)| -barrel(D,E)| -down(D,F)| -in(D,C)|G=H| -fellow(G)| -man(G)| -young(G)| -fellow(H)| -man(H)| -young(H)|G!=I| -in(I,A)|H!=J| -in(J,B)|fellow($c13).
% 3.03/3.21 ** KEPT (pick-wt=72): 118 [] -seat(A)| -furniture(A)| -front(A)| -seat(B)| -furniture(B)| -front(B)| -hollywood(C)| -city(C)| -event(D)| -chevy(E)| -car(E)| -white(E)| -dirty(E)| -old(E)| -street(F)| -way(F)| -lonely(F)| -barrel(D,E)| -down(D,F)| -in(D,C)|G=H| -fellow(G)| -man(G)| -young(G)| -fellow(H)| -man(H)| -young(H)|G!=I| -in(I,A)|H!=J| -in(J,B)|man($c13).
% 3.33/3.53 ** KEPT (pick-wt=72): 119 [] -seat(A)| -furniture(A)| -front(A)| -seat(B)| -furniture(B)| -front(B)| -hollywood(C)| -city(C)| -event(D)| -chevy(E)| -car(E)| -white(E)| -dirty(E)| -old(E)| -street(F)| -way(F)| -lonely(F)| -barrel(D,E)| -down(D,F)| -in(D,C)|G=H| -fellow(G)| -man(G)| -young(G)| -fellow(H)| -man(H)| -young(H)|G!=I| -in(I,A)|H!=J| -in(J,B)|young($c13).
% 3.33/3.53 ** KEPT (pick-wt=73): 120 [] -seat(A)| -furniture(A)| -front(A)| -seat(B)| -furniture(B)| -front(B)| -hollywood(C)| -city(C)| -event(D)| -chevy(E)| -car(E)| -white(E)| -dirty(E)| -old(E)| -street(F)| -way(F)| -lonely(F)| -barrel(D,E)| -down(D,F)| -in(D,C)|G=H| -fellow(G)| -man(G)| -young(G)| -fellow(H)| -man(H)| -young(H)|G!=I| -in(I,A)|H!=J| -in(J,B)|$c14=$c12.
% 3.33/3.53 ** KEPT (pick-wt=73): 121 [] -seat(A)| -furniture(A)| -front(A)| -seat(B)| -furniture(B)| -front(B)| -hollywood(C)| -city(C)| -event(D)| -chevy(E)| -car(E)| -white(E)| -dirty(E)| -old(E)| -street(F)| -way(F)| -lonely(F)| -barrel(D,E)| -down(D,F)| -in(D,C)|G=H| -fellow(G)| -man(G)| -young(G)| -fellow(H)| -man(H)| -young(H)|G!=I| -in(I,A)|H!=J| -in(J,B)|in($c12,$c20).
% 3.33/3.53 ** KEPT (pick-wt=73): 122 [] -seat(A)| -furniture(A)| -front(A)| -seat(B)| -furniture(B)| -front(B)| -hollywood(C)| -city(C)| -event(D)| -chevy(E)| -car(E)| -white(E)| -dirty(E)| -old(E)| -street(F)| -way(F)| -lonely(F)| -barrel(D,E)| -down(D,F)| -in(D,C)|G=H| -fellow(G)| -man(G)| -young(G)| -fellow(H)| -man(H)| -young(H)|G!=I| -in(I,A)|H!=J| -in(J,B)|$c13=$c11.
% 3.33/3.53 ** KEPT (pick-wt=73): 123 [] -seat(A)| -furniture(A)| -front(A)| -seat(B)| -furniture(B)| -front(B)| -hollywood(C)| -city(C)| -event(D)| -chevy(E)| -car(E)| -white(E)| -dirty(E)| -old(E)| -street(F)| -way(F)| -lonely(F)| -barrel(D,E)| -down(D,F)| -in(D,C)|G=H| -fellow(G)| -man(G)| -young(G)| -fellow(H)| -man(H)| -young(H)|G!=I| -in(I,A)|H!=J| -in(J,B)|in($c11,$c19).
% 3.33/3.53 ** KEPT (pick-wt=70): 125 [copy,124,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,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] -seat(A)| -furniture(A)| -front(A)| -seat(B)| -furniture(B)| -front(B)| -hollywood(C)| -city(C)| -event(D)| -chevy(E)| -car(E)| -white(E)| -dirty(E)| -old(E)| -street(F)| -way(F)| -lonely(F)| -barrel(D,E)| -down(D,F)| -in(D,C)|G=H| -fellow(G)| -man(G)| -young(G)| -fellow(H)| -man(H)| -young(H)|G!=I| -in(I,A)|H!=J| -in(J,B).
% 3.33/3.53 125 back subsumes 123.
% 3.33/3.53 125 back subsumes 122.
% 3.33/3.53 125 back subsumes 121.
% 3.33/3.53 125 back subsumes 120.
% 3.33/3.53 125 back subsumes 119.
% 3.33/3.53 125 back subsumes 118.
% 3.33/3.53 125 back subsumes 117.
% 3.33/3.53 125 back subsumes 116.
% 3.33/3.53 125 back subsumes 115.
% 3.33/3.53 125 back subsumes 114.
% 3.33/3.53 125 back subsumes 113.
% 3.33/3.53 125 back subsumes 112.
% 3.33/3.53 125 back subsumes 111.
% 3.33/3.53 125 back subsumes 110.
% 3.33/3.53 125 back subsumes 109.
% 3.33/3.53 125 back subsumes 108.
% 3.33/3.53 125 back subsumes 107.
% 3.33/3.53 125 back subsumes 106.
% 3.33/3.53 125 back subsumes 105.
% 3.33/3.53 125 back subsumes 104.
% 3.33/3.53 125 back subsumes 103.
% 3.33/3.53 125 back subsumes 102.
% 3.33/3.53 125 back subsumes 101.
% 3.33/3.53 125 back subsumes 100.
% 3.33/3.53 125 back subsumes 99.
% 3.33/3.53 125 back subsumes 98.
% 3.33/3.53 125 back subsumes 97.
% 3.33/3.53 125 back subsumes 96.
% 3.33/3.53 125 back subsumes 95.
% 3.33/3.53 125 back subsumes 94.
% 3.33/3.53 125 back subsumes 93.
% 3.33/3.53 125 back subsumes 92.
% 3.33/3.53 125 back subsumes 90.
% 3.33/3.53 125 back subsumes 88.
% 3.33/3.53 125 back subsumes 86.
% 3.33/3.53 125 back subsumes 84.
% 3.33/3.53 125 back subsumes 82.
% 3.33/3.53 125 back subsumes 80.
% 3.33/3.53 125 back subsumes 78.
% 3.33/3.53 125 back subsumes 76.
% 3.33/3.53 125 back subsumes 74.
% 3.33/3.53 125 back subsumes 72.
% 3.33/3.53 125 back subsumes 40.
% 3.33/3.53 125 back subsumes 38.
% 3.33/3.53 125 back subsumes 36.
% 3.33/3.53 125 back subsumes 34.
% 3.33/3.53 125 back subsumes 32.
% 3.33/3.53 125 back subsumes 30.
% 3.33/3.53 125 back subsumes 28.
% 3.33/3.53 125 back subsumes 26.
% 3.33/3.53 125 back subsumes 24.
% 3.33/3.53 125 back subsumes 22.
% 3.33/3.53 125 back subsumes 20.
% 3.33/3.53 125 back subsumes 18.
% 3.33/3.53 125 back subsumes 16.
% 3.33/3.53 125 back subsumes 14.
% 3.33/3.53 125 back subsumes 12.
% 3.33/3.53 125 back subsumes 10.
% 3.33/3.53 125 back subsumes 8.
% 3.33/3.53 125 back subsumes 6.
% 3.33/3.53 125 back subsumes 4.
% 3.33/3.53 125 back subsumes 2.
% 3.33/3.53 312 back subsumes 311.
% 3.33/3.53 312 back subsumes 309.
% 3.33/3.53 312 back subsumes 308.
% 3.33/3.53 312 back subsumes 306.
% 3.33/3.53 312 back subsumes 305.
% 3.33/3.53 312 back subsumes 303.
% 3.33/3.53 312 back subsumes 302.
% 3.33/3.53 312 back subsumes 300.
% 3.33/3.53 312 back subsumes 299.
% 3.33/3.53 312 back subsumes 297.
% 3.33/3.53 312 back subsumes 296.
% 3.33/3.53 312 back subsumes 294.
% 3.33/3.53 312 back subsumes 293.
% 3.33/3.53 312 back subsumes 291.
% 3.33/3.53 312 back subsumes 290.
% 3.33/3.53 312 back subsumes 288.
% 3.33/3.53 312 back subsumes 287.
% 3.33/3.53 312 back subsumes 285.
% 3.33/3.53 312 back subsumes 284.
% 3.33/3.53 312 back subsumes 282.
% 3.33/3.53 312 back subsumes 281.
% 3.33/3.53 312 back subsumes 279.
% 3.33/3.53 312 back subsumes 278.
% 3.33/3.53 312 back subsumes 276.
% 3.33/3.53 312 back subsumes 275.
% 3.33/3.53 312 back subsumes 273.
% 3.33/3.53 312 back subsumes 272.
% 3.33/3.53 312 back subsumes 270.
% 3.33/3.53 312 back subsumes 269.
% 3.33/3.53 312 back subsumes 267.
% 3.33/3.53 312 back subsumes 266.
% 3.33/3.53 312 back subsumes 264.
% 3.33/3.53 312 back subsumes 263.
% 3.33/3.53 312 back subsumes 261.
% 3.33/3.53 312 back subsumes 260.
% 3.33/3.53 312 back subsumes 258.
% 3.33/3.53 312 back subsumes 257.
% 3.33/3.53 312 back subsumes 255.
% 3.33/3.53 312 back subsumes 254.
% 3.33/3.53 312 back subsumes 252.
% 3.33/3.53 312 back subsumes 251.
% 3.33/3.53 312 back subsumes 249.
% 3.33/3.53 312 back subsumes 248.
% 3.33/3.53 312 back subsumes 246.
% 3.33/3.53 312 back subsumes 245.
% 3.33/3.53 312 back subsumes 243.
% 3.33/3.53 312 back subsumes 242.
% 3.33/3.53 312 back subsumes 240.
% 3.33/3.53 312 back subsumes 239.
% 3.33/3.53 312 back subsumes 237.
% 3.33/3.53 312 back subsumes 236.
% 3.33/3.53 312 back subsumes 234.
% 3.33/3.53 312 back subsumes 233.
% 3.33/3.53 312 back subsumes 231.
% 3.33/3.53 312 back subsumes 230.
% 3.33/3.53 312 back subsumes 228.
% 3.33/3.53 312 back subsumes 227.
% 3.33/3.53 312 back subsumes 225.
% 3.33/3.53 312 back subsumes 224.
% 3.33/3.53 312 back subsumes 222.
% 3.33/3.53 312 back subsumes 221.
% 3.33/3.53 312 back subsumes 219.
% 3.33/3.53 312 back subsumes 218.
% 3.33/3.53 312 back subsumes 216.
% 3.33/3.53 312 back subsumes 215.
% 3.33/3.53 312 back subsumes 213.
% 3.33/3.53 312 back subsumes 212.
% 3.33/3.53 312 back subsumes 210.
% 3.33/3.53 312 back subsumes 209.
% 3.33/3.53 312 back subsumes 207.
% 3.33/3.53 312 back subsumes 206.
% 3.33/3.53 312 back subsumes 204.
% 3.33/3.53 312 back subsumes 203.
% 3.33/3.53 312 back subsumes 201.
% 3.33/3.53 312 back subsumes 200.
% 3.33/3.53 312 back subsumes 198.
% 3.33/3.53 312 back subsumes 197.
% 3.33/3.53 312 back subsumes 195.
% 3.33/3.53 312 back subsumes 194.
% 3.33/3.53 312 back subsumes 192.
% 3.33/3.53 312 back subsumes 191.
% 3.33/3.53 312 back subsumes 189.
% 3.33/3.53 312 back subsumes 188.
% 3.33/3.53 312 back subsumes 186.
% 3.33/3.53 312 back subsumes 185.
% 3.33/3.53 312 back subsumes 183.
% 3.33/3.53 312 back subsumes 182.
% 3.33/3.53 312 back subsumes 180.
% 3.33/3.53 312 back subsumes 179.
% 3.33/3.53 312 back subsumes 177.
% 3.33/3.53 312 back subsumes 176.
% 3.33/3.53 312 back subsumes 174.
% 3.33/3.53 312 back subsumes 173.
% 3.33/3.53 312 back subsumes 171.
% 3.33/3.53 312 back subsumes 170.
% 3.33/3.53 312 back subsumes 168.
% 3.33/3.53 312 back subsumes 167.
% 3.33/3.53 312 back subsumes 165.
% 3.33/3.53 312 back subsumes 164.
% 3.33/3.53 312 back subsumes 162.
% 3.33/3.53 312 back subsumes 161.
% 3.33/3.53 312 back subsumes 159.
% 3.33/3.53 312 back subsumes 158.
% 3.33/3.53 312 back subsumes 156.
% 3.33/3.53 312 back subsumes 155.
% 3.33/3.53 312 back subsumes 153.
% 3.33/3.53 312 back subsumes 152.
% 3.33/3.53 312 back subsumes 150.
% 3.33/3.53 312 back subsumes 149.
% 3.33/3.53 312 back subsumes 147.
% 3.33/3.53 312 back subsumes 146.
% 3.33/3.53 312 back subsumes 144.
% 3.33/3.53 312 back subsumes 143.
% 3.33/3.53 312 back subsumes 141.
% 3.33/3.53 312 back subsumes 140.
% 3.33/3.53 312 back subsumes 138.
% 3.33/3.53 312 back subsumes 137.
% 3.33/3.53 312 back subsumes 135.
% 3.33/3.53 312 back subsumes 134.
% 3.33/3.53 312 back subsumes 132.
% 3.33/3.53 312 back subsumes 131.
% 3.33/3.53 312 back subsumes 129.
% 3.33/3.53 312 back subsumes 128.
% 3.33/3.53 312 back subsumes 126.
% 3.33/3.53 315 back subsumes 310.
% 3.33/3.53 315 back subsumes 307.
% 3.33/3.53 315 back subsumes 304.
% 3.33/3.53 315 back subsumes 301.
% 3.33/3.53 315 back subsumes 298.
% 3.33/3.53 315 back subsumes 295.
% 3.33/3.53 315 back subsumes 292.
% 3.33/3.53 315 back subsumes 289.
% 3.33/3.53 315 back subsumes 286.
% 3.33/3.53 315 back subsumes 283.
% 3.33/3.53 315 back subsumes 280.
% 3.33/3.53 315 back subsumes 277.
% 3.33/3.53 315 back subsumes 274.
% 3.33/3.53 315 back subsumes 271.
% 3.33/3.53 315 back subsumes 268.
% 3.33/3.53 315 back subsumes 265.
% 3.33/3.53 315 back subsumes 262.
% 3.33/3.53 315 back subsumes 259.
% 3.33/3.53 315 back subsumes 256.
% 3.33/3.53 315 back subsumes 253.
% 3.33/3.53 315 back subsumes 250.
% 3.33/3.53 315 back subsumes 247.
% 3.33/3.53 315 back subsumes 244.
% 3.33/3.53 315 back subsumes 241.
% 3.33/3.53 315 back subsumes 238.
% 3.33/3.53 315 back subsumes 235.
% 3.33/3.53 315 back subsumes 232.
% 3.33/3.53 315 back subsumes 229.
% 3.33/3.53 315 back subsumes 226.
% 3.33/3.53 315 back subsumes 223.
% 3.33/3.53 315 back subsumes 220.
% 3.33/3.53 315 back subsumes 217.
% 3.33/3.53 315 back subsumes 214.
% 3.33/3.53 315 back subsumes 211.
% 3.33/3.53 315 back subsumes 208.
% 3.33/3.53 315 back subsumes 205.
% 3.33/3.53 315 back subsumes 202.
% 3.33/3.53 315 back subsumes 199.
% 3.33/3.53 315 back subsumes 196.
% 3.33/3.53 315 back subsumes 193.
% 3.33/3.53 315 back subsumes 190.
% 3.33/3.53 315 back subsumes 187.
% 3.33/3.53 315 back subsumes 184.
% 3.33/3.53 315 back subsumes 181.
% 3.33/3.53 315 back subsumes 178.
% 3.33/3.53 315 back subsumes 175.
% 3.33/3.53 315 back subsumes 172.
% 3.33/3.53 315 back subsumes 169.
% 3.33/3.53 315 back subsumes 166.
% 3.33/3.53 315 back subsumes 163.
% 3.33/3.53 315 back subsumes 160.
% 3.33/3.53 315 back subsumes 157.
% 3.33/3.53 315 back subsumes 154.
% 3.33/3.53 315 back subsumes 151.
% 3.33/3.53 315 back subsumes 148.
% 3.33/3.53 315 back subsumes 145.
% 3.33/3.53 315 back subsumes 142.
% 3.33/3.53 315 back subsumes 139.
% 3.33/3.53 315 back subsumes 136.
% 3.33/3.53 315 back subsumes 133.
% 3.33/3.53 315 back subsumes 130.
% 3.33/3.53 315 back subsumes 127.
% 3.33/3.53
% 3.33/3.53 ------------> process sos:
% 3.33/3.53 ** KEPT (pick-wt=3): 321 [] A=A.
% 3.33/3.53 ** KEPT (pick-wt=4): 322 [] seat($c10)|seat($c20).
% 3.33/3.53 ** KEPT (pick-wt=4): 323 [] seat($c10)|furniture($c20).
% 3.33/3.53 ** KEPT (pick-wt=4): 324 [] seat($c10)|front($c20).
% 3.33/3.53 ** KEPT (pick-wt=4): 325 [] seat($c10)|seat($c19).
% 3.33/3.53 ** KEPT (pick-wt=4): 326 [] seat($c10)|furniture($c19).
% 3.33/3.53 ** KEPT (pick-wt=4): 327 [] seat($c10)|front($c19).
% 3.33/3.53 ** KEPT (pick-wt=4): 328 [] seat($c10)|hollywood($c18).
% 3.33/3.53 ** KEPT (pick-wt=4): 329 [] seat($c10)|city($c18).
% 3.33/3.53 ** KEPT (pick-wt=4): 330 [] seat($c10)|event($c17).
% 3.33/3.53 ** KEPT (pick-wt=4): 331 [] seat($c10)|chevy($c16).
% 3.33/3.53 ** KEPT (pick-wt=4): 332 [] seat($c10)|car($c16).
% 3.33/3.53 ** KEPT (pick-wt=4): 333 [] seat($c10)|white($c16).
% 3.33/3.53 ** KEPT (pick-wt=4): 334 [] seat($c10)|dirty($c16).
% 3.33/3.53 ** KEPT (pick-wt=4): 335 [] seat($c10)|old($c16).
% 3.33/3.53 ** KEPT (pick-wt=4): 336 [] seat($c10)|street($c15).
% 3.33/3.53 ** KEPT (pick-wt=4): 337 [] seat($c10)|way($c15).
% 3.33/3.53 ** KEPT (pick-wt=4): 338 [] seat($c10)|lonely($c15).
% 3.33/3.53 ** KEPT (pick-wt=5): 339 [] seat($c10)|barrel($c17,$c16).
% 3.33/3.53 ** KEPT (pick-wt=5): 340 [] seat($c10)|down($c17,$c15).
% 3.33/3.53 ** KEPT (pick-wt=5): 341 [] seat($c10)|in($c17,$c18).
% 3.33/3.53 ** KEPT (pick-wt=4): 342 [] seat($c10)|fellow($c14).
% 3.33/3.53 ** KEPT (pick-wt=4): 343 [] seat($c10)|man($c14).
% 3.33/3.53 ** KEPT (pick-wt=4): 344 [] seat($c10)|young($c14).
% 3.33/3.53 ** KEPT (pick-wt=4): 345 [] seat($c10)|fellow($c13).
% 3.33/3.53 ** KEPT (pick-wt=4): 346 [] seat($c10)|man($c13).
% 3.33/3.53 ** KEPT (pick-wt=4): 347 [] seat($c10)|young($c13).
% 3.33/3.53 ** KEPT (pick-wt=5): 348 [] seat($c10)|$c14=$c12.
% 3.33/3.53 ** KEPT (pick-wt=5): 349 [] seat($c10)|in($c12,$c20).
% 3.33/3.53 ** KEPT (pick-wt=5): 350 [] seat($c10)|$c13=$c11.
% 3.33/3.53 ** KEPT (pick-wt=5): 351 [] seat($c10)|in($c11,$c19).
% 3.33/3.53 ** KEPT (pick-wt=4): 352 [] furniture($c10)|seat($c20).
% 3.33/3.53 ** KEPT (pick-wt=4): 353 [] furniture($c10)|furniture($c20).
% 3.33/3.53 ** KEPT (pick-wt=4): 354 [] furniture($c10)|front($c20).
% 3.33/3.53 ** KEPT (pick-wt=4): 355 [] furniture($c10)|seat($c19).
% 3.33/3.53 ** KEPT (pick-wt=4): 356 [] furniture($c10)|furniture($c19).
% 3.33/3.53 ** KEPT (pick-wt=4): 357 [] furniture($c10)|front($c19).
% 3.33/3.53 ** KEPT (pick-wt=4): 358 [] furniture($c10)|hollywood($c18).
% 3.33/3.53 ** KEPT (pick-wt=4): 359 [] furniture($c10)|city($c18).
% 3.33/3.53 ** KEPT (pick-wt=4): 360 [] furniture($c10)|event($c17).
% 3.33/3.53 ** KEPT (pick-wt=4): 361 [] furniture($c10)|chevy($c16).
% 3.33/3.53 ** KEPT (pick-wt=4): 362 [] furniture($c10)|car($c16).
% 3.33/3.53 ** KEPT (pick-wt=4): 363 [] furniture($c10)|white($c16).
% 3.33/3.53 ** KEPT (pick-wt=4): 364 [] furniture($c10)|dirty($c16).
% 3.33/3.53 ** KEPT (pick-wt=4): 365 [] furniture($c10)|old($c16).
% 3.33/3.53 ** KEPT (pick-wt=4): 366 [] furniture($c10)|street($c15).
% 3.33/3.53 ** KEPT (pick-wt=4): 367 [] furniture($c10)|way($c15).
% 3.33/3.53 ** KEPT (pick-wt=4): 368 [] furniture($c10)|lonely($c15).
% 3.33/3.53 ** KEPT (pick-wt=5): 369 [] furniture($c10)|barrel($c17,$c16).
% 3.33/3.53 ** KEPT (pick-wt=5): 370 [] furniture($c10)|down($c17,$c15).
% 3.33/3.53 ** KEPT (pick-wt=5): 371 [] furniture($c10)|in($c17,$c18).
% 3.33/3.53 ** KEPT (pick-wt=4): 372 [] furniture($c10)|fellow($c14).
% 3.33/3.53 ** KEPT (pick-wt=4): 373 [] furniture($c10)|man($c14).
% 3.33/3.53 ** KEPT (pick-wt=4): 374 [] furniture($c10)|young($c14).
% 3.33/3.53 ** KEPT (pick-wt=4): 375 [] furniture($c10)|fellow($c13).
% 3.33/3.53 ** KEPT (pick-wt=4): 376 [] furniture($c10)|man($c13).
% 3.33/3.53 ** KEPT (pick-wt=4): 377 [] furniture($c10)|young($c13).
% 3.33/3.53 ** KEPT (pick-wt=5): 378 [] furniture($c10)|$c14=$c12.
% 3.33/3.53 ** KEPT (pick-wt=5): 379 [] furniture($c10)|in($c12,$c20).
% 3.33/3.53 ** KEPT (pick-wt=5): 380 [] furniture($c10)|$c13=$c11.
% 3.33/3.53 ** KEPT (pick-wt=5): 381 [] furniture($c10)|in($c11,$c19).
% 3.33/3.53 ** KEPT (pick-wt=4): 382 [] front($c10)|seat($c20).
% 3.33/3.53 ** KEPT (pick-wt=4): 383 [] front($c10)|furniture($c20).
% 3.33/3.53 ** KEPT (pick-wt=4): 384 [] front($c10)|front($c20).
% 3.33/3.53 ** KEPT (pick-wt=4): 385 [] front($c10)|seat($c19).
% 3.33/3.53 ** KEPT (pick-wt=4): 386 [] front($c10)|furniture($c19).
% 3.33/3.53 ** KEPT (pick-wt=4): 387 [] front($c10)|front($c19).
% 3.33/3.53 ** KEPT (pick-wt=4): 388 [] front($c10)|hollywood($c18).
% 3.33/3.53 ** KEPT (pick-wt=4): 389 [] front($c10)|city($c18).
% 3.33/3.53 ** KEPT (pick-wt=4): 390 [] front($c10)|event($c17).
% 3.33/3.53 ** KEPT (pick-wt=4): 391 [] front($c10)|chevy($c16).
% 3.33/3.53 ** KEPT (pick-wt=4): 392 [] front($c10)|car($c16).
% 3.33/3.53 ** KEPT (pick-wt=4): 393 [] front($c10)|white($c16).
% 3.33/3.53 ** KEPT (pick-wt=4): 394 [] front($c10)|dirty($c16).
% 3.33/3.53 ** KEPT (pick-wt=4): 395 [] front($c10)|old($c16).
% 3.33/3.53 ** KEPT (pick-wt=4): 396 [] front($c10)|street($c15).
% 3.33/3.53 ** KEPT (pick-wt=4): 397 [] front($c10)|way($c15).
% 3.33/3.53 ** KEPT (pick-wt=4): 398 [] front($c10)|lonely($c15).
% 3.33/3.53 ** KEPT (pick-wt=5): 399 [] front($c10)|barrel($c17,$c16).
% 3.33/3.53 ** KEPT (pick-wt=5): 400 [] front($c10)|down($c17,$c15).
% 3.33/3.53 ** KEPT (pick-wt=5): 401 [] front($c10)|in($c17,$c18).
% 3.33/3.53 ** KEPT (pick-wt=4): 402 [] front($c10)|fellow($c14).
% 3.33/3.53 ** KEPT (pick-wt=4): 403 [] front($c10)|man($c14).
% 3.33/3.53 ** KEPT (pick-wt=4): 404 [] front($c10)|young($c14).
% 3.33/3.53 ** KEPT (pick-wt=4): 405 [] front($c10)|fellow($c13).
% 3.33/3.53 ** KEPT (pick-wt=4): 406 [] front($c10)|man($c13).
% 3.33/3.53 ** KEPT (pick-wt=4): 407 [] front($c10)|young($c13).
% 3.33/3.53 ** KEPT (pick-wt=5): 408 [] front($c10)|$c14=$c12.
% 3.33/3.53 ** KEPT (pick-wt=5): 409 [] front($c10)|in($c12,$c20).
% 3.33/3.53 ** KEPT (pick-wt=5): 410 [] front($c10)|$c13=$c11.
% 3.33/3.53 ** KEPT (pick-wt=5): 411 [] front($c10)|in($c11,$c19).
% 3.33/3.53 ** KEPT (pick-wt=4): 412 [] seat($c9)|seat($c20).
% 3.33/3.53 ** KEPT (pick-wt=4): 413 [] seat($c9)|furniture($c20).
% 3.33/3.53 ** KEPT (pick-wt=4): 414 [] seat($c9)|front($c20).
% 3.33/3.53 ** KEPT (pick-wt=4): 415 [] seat($c9)|seat($c19).
% 3.33/3.53 ** KEPT (pick-wt=4): 416 [] seat($c9)|furniture($c19).
% 3.33/3.53 ** KEPT (pick-wt=4): 417 [] seat($c9)|front($c19).
% 3.33/3.53 ** KEPT (pick-wt=4): 418 [] seat($c9)|hollywood($c18).
% 3.33/3.53 ** KEPT (pick-wt=4): 419 [] seat($c9)|city($c18).
% 3.33/3.53 ** KEPT (pick-wt=4): 420 [] seat($c9)|event($c17).
% 3.33/3.53 ** KEPT (pick-wt=4): 421 [] seat($c9)|chevy($c16).
% 3.33/3.53 ** KEPT (pick-wt=4): 422 [] seat($c9)|car($c16).
% 3.33/3.53 ** KEPT (pick-wt=4): 423 [] seat($c9)|white($c16).
% 3.33/3.53 ** KEPT (pick-wt=4): 424 [] seat($c9)|dirty($c16).
% 3.33/3.53 ** KEPT (pick-wt=4): 425 [] seat($c9)|old($c16).
% 3.33/3.53 ** KEPT (pick-wt=4): 426 [] seat($c9)|street($c15).
% 3.33/3.53 ** KEPT (pick-wt=4): 427 [] seat($c9)|way($c15).
% 3.33/3.53 ** KEPT (pick-wt=4): 428 [] seat($c9)|lonely($c15).
% 3.33/3.53 ** KEPT (pick-wt=5): 429 [] seat($c9)|barrel($c17,$c16).
% 3.33/3.53 ** KEPT (pick-wt=5): 430 [] seat($c9)|down($c17,$c15).
% 3.33/3.53 ** KEPT (pick-wt=5): 431 [] seat($c9)|in($c17,$c18).
% 3.33/3.53 ** KEPT (pick-wt=4): 432 [] seat($c9)|fellow($c14).
% 3.33/3.53 ** KEPT (pick-wt=4): 433 [] seat($c9)|man($c14).
% 3.33/3.53 ** KEPT (pick-wt=4): 434 [] seat($c9)|young($c14).
% 3.33/3.53 ** KEPT (pick-wt=4): 435 [] seat($c9)|fellow($c13).
% 3.33/3.53 ** KEPT (pick-wt=4): 436 [] seat($c9)|man($c13).
% 3.33/3.53 ** KEPT (pick-wt=4): 437 [] seat($c9)|young($c13).
% 3.33/3.53 ** KEPT (pick-wt=5): 438 [] seat($c9)|$c14=$c12.
% 3.33/3.53 ** KEPT (pick-wt=5): 439 [] seat($c9)|in($c12,$c20).
% 3.33/3.53 ** KEPT (pick-wt=5): 440 [] seat($c9)|$c13=$c11.
% 3.33/3.53 ** KEPT (pick-wt=5): 441 [] seat($c9)|in($c11,$c19).
% 3.33/3.53 ** KEPT (pick-wt=4): 442 [] furniture($c9)|seat($c20).
% 3.33/3.53 ** KEPT (pick-wt=4): 443 [] furniture($c9)|furniture($c20).
% 3.33/3.53 ** KEPT (pick-wt=4): 444 [] furniture($c9)|front($c20).
% 3.33/3.53 ** KEPT (pick-wt=4): 445 [] furniture($c9)|seat($c19).
% 3.33/3.53 ** KEPT (pick-wt=4): 446 [] furniture($c9)|furniture($c19).
% 3.33/3.53 ** KEPT (pick-wt=4): 447 [] furniture($c9)|front($c19).
% 3.33/3.53 ** KEPT (pick-wt=4): 448 [] furniture($c9)|hollywood($c18).
% 3.33/3.53 ** KEPT (pick-wt=4): 449 [] furniture($c9)|city($c18).
% 3.33/3.53 ** KEPT (pick-wt=4): 450 [] furniture($c9)|event($c17).
% 3.33/3.53 ** KEPT (pick-wt=4): 451 [] furniture($c9)|chevy($c16).
% 3.33/3.53 ** KEPT (pick-wt=4): 452 [] furniture($c9)|car($c16).
% 3.33/3.53 ** KEPT (pick-wt=4): 453 [] furniture($c9)|white($c16).
% 3.33/3.53 ** KEPT (pick-wt=4): 454 [] furniture($c9)|dirty($c16).
% 3.33/3.53 ** KEPT (pick-wt=4): 455 [] furniture($c9)|old($c16).
% 3.33/3.53 ** KEPT (pick-wt=4): 456 [] furniture($c9)|street($c15).
% 3.33/3.53 ** KEPT (pick-wt=4): 457 [] furniture($c9)|way($c15).
% 3.33/3.53 ** KEPT (pick-wt=4): 458 [] furniture($c9)|lonely($c15).
% 3.33/3.53 ** KEPT (pick-wt=5): 459 [] furniture($c9)|barrel($c17,$c16).
% 3.33/3.53 ** KEPT (pick-wt=5): 460 [] furniture($c9)|down($c17,$c15).
% 3.33/3.53 ** KEPT (pick-wt=5): 461 [] furniture($c9)|in($c17,$c18).
% 3.33/3.53 ** KEPT (pick-wt=4): 462 [] furniture($c9)|fellow($c14).
% 3.33/3.53 ** KEPT (pick-wt=4): 463 [] furniture($c9)|man($c14).
% 3.33/3.53 ** KEPT (pick-wt=4): 464 [] furniture($c9)|young($c14).
% 3.33/3.53 ** KEPT (pick-wt=4): 465 [] furniture($c9)|fellow($c13).
% 3.33/3.53 ** KEPT (pick-wt=4): 466 [] furniture($c9)|man($c13).
% 3.33/3.53 ** KEPT (pick-wt=4): 467 [] furniture($c9)|young($c13).
% 3.33/3.53 ** KEPT (pick-wt=5): 468 [] furniture($c9)|$c14=$c12.
% 3.33/3.53 ** KEPT (pick-wt=5): 469 [] furniture($c9)|in($c12,$c20).
% 3.33/3.53 ** KEPT (pick-wt=5): 470 [] furniture($c9)|$c13=$c11.
% 3.33/3.53 ** KEPT (pick-wt=5): 471 [] furniture($c9)|in($c11,$c19).
% 3.33/3.53 ** KEPT (pick-wt=4): 472 [] front($c9)|seat($c20).
% 3.33/3.53 ** KEPT (pick-wt=4): 473 [] front($c9)|furniture($c20).
% 3.33/3.53 ** KEPT (pick-wt=4): 474 [] front($c9)|front($c20).
% 3.33/3.53 ** KEPT (pick-wt=4): 475 [] front($c9)|seat($c19).
% 3.33/3.53 ** KEPT (pick-wt=4): 476 [] front($c9)|furniture($c19).
% 3.33/3.53 ** KEPT (pick-wt=4): 477 [] front($c9)|front($c19).
% 3.33/3.53 ** KEPT (pick-wt=4): 478 [] front($c9)|hollywood($c18).
% 3.33/3.53 ** KEPT (pick-wt=4): 479 [] front($c9)|city($c18).
% 3.33/3.53 ** KEPT (pick-wt=4): 480 [] front($c9)|event($c17).
% 3.33/3.53 ** KEPT (pick-wt=4): 481 [] front($c9)|chevy($c16).
% 3.33/3.53 ** KEPT (pick-wt=4): 482 [] front($c9)|car($c16).
% 3.33/3.53 ** KEPT (pick-wt=4): 483 [] front($c9)|white($c16).
% 3.33/3.53 ** KEPT (pick-wt=4): 484 [] front($c9)|dirty($c16).
% 3.33/3.53 ** KEPT (pick-wt=4): 485 [] front($c9)|old($c16).
% 3.33/3.53 ** KEPT (pick-wt=4): 486 [] front($c9)|street($c15).
% 3.33/3.53 ** KEPT (pick-wt=4): 487 [] front($c9)|way($c15).
% 3.33/3.53 ** KEPT (pick-wt=4): 488 [] front($c9)|lonely($c15).
% 3.33/3.53 ** KEPT (pick-wt=5): 489 [] front($c9)|barrel($c17,$c16).
% 3.33/3.53 ** KEPT (pick-wt=5): 490 [] front($c9)|down($c17,$c15).
% 3.33/3.53 ** KEPT (pick-wt=5): 491 [] front($c9)|in($c17,$c18).
% 3.33/3.53 ** KEPT (pick-wt=4): 492 [] front($c9)|fellow($c14).
% 3.33/3.53 ** KEPT (pick-wt=4): 493 [] front($c9)|man($c14).
% 3.33/3.53 ** KEPT (pick-wt=4): 494 [] front($c9)|young($c14).
% 3.33/3.53 ** KEPT (pick-wt=4): 495 [] front($c9)|fellow($c13).
% 3.33/3.53 ** KEPT (pick-wt=4): 496 [] front($c9)|man($c13).
% 3.33/3.53 ** KEPT (pick-wt=4): 497 [] front($c9)|young($c13).
% 3.33/3.53 ** KEPT (pick-wt=5): 498 [] front($c9)|$c14=$c12.
% 3.33/3.53 ** KEPT (pick-wt=5): 499 [] front($c9)|in($c12,$c20).
% 3.33/3.53 ** KEPT (pick-wt=5): 500 [] front($c9)|$c13=$c11.
% 3.33/3.53 ** KEPT (pick-wt=5): 501 [] front($c9)|in($c11,$c19).
% 3.33/3.53 ** KEPT (pick-wt=4): 502 [] hollywood($c8)|seat($c20).
% 3.33/3.53 ** KEPT (pick-wt=4): 503 [] hollywood($c8)|furniture($c20).
% 3.33/3.53 ** KEPT (pick-wt=4): 504 [] hollywood($c8)|front($c20).
% 3.33/3.53 ** KEPT (pick-wt=4): 505 [] hollywood($c8)|seat($c19).
% 3.33/3.53 ** KEPT (pick-wt=4): 506 [] hollywood($c8)|furniture($c19).
% 3.33/3.53 ** KEPT (pick-wt=4): 507 [] hollywood($c8)|front($c19).
% 3.33/3.53 ** KEPT (pick-wt=4): 508 [] hollywood($c8)|hollywood($c18).
% 3.33/3.53 ** KEPT (pick-wt=4): 509 [] hollywood($c8)|city($c18).
% 3.33/3.53 ** KEPT (pick-wt=4): 510 [] hollywood($c8)|event($c17).
% 3.33/3.53 ** KEPT (pick-wt=4): 511 [] hollywood($c8)|chevy($c16).
% 3.33/3.53 ** KEPT (pick-wt=4): 512 [] hollywood($c8)|car($c16).
% 3.33/3.53 ** KEPT (pick-wt=4): 513 [] hollywood($c8)|white($c16).
% 3.33/3.53 ** KEPT (pick-wt=4): 514 [] hollywood($c8)|dirty($c16).
% 3.33/3.53 ** KEPT (pick-wt=4): 515 [] hollywood($c8)|old($c16).
% 3.33/3.53 ** KEPT (pick-wt=4): 516 [] hollywood($c8)|street($c15).
% 3.33/3.53 ** KEPT (pick-wt=4): 517 [] hollywood($c8)|way($c15).
% 3.33/3.53 ** KEPT (pick-wt=4): 518 [] hollywood($c8)|lonely($c15).
% 3.33/3.53 ** KEPT (pick-wt=5): 519 [] hollywood($c8)|barrel($c17,$c16).
% 3.33/3.53 ** KEPT (pick-wt=5): 520 [] hollywood($c8)|down($c17,$c15).
% 3.33/3.53 ** KEPT (pick-wt=5): 521 [] hollywood($c8)|in($c17,$c18).
% 3.33/3.53 ** KEPT (pick-wt=4): 522 [] hollywood($c8)|fellow($c14).
% 3.33/3.53 ** KEPT (pick-wt=4): 523 [] hollywood($c8)|man($c14).
% 3.33/3.53 ** KEPT (pick-wt=4): 524 [] hollywood($c8)|young($c14).
% 3.33/3.53 ** KEPT (pick-wt=4): 525 [] hollywood($c8)|fellow($c13).
% 3.33/3.53 ** KEPT (pick-wt=4): 526 [] hollywood($c8)|man($c13).
% 3.33/3.53 ** KEPT (pick-wt=4): 527 [] hollywood($c8)|young($c13).
% 3.33/3.53 ** KEPT (pick-wt=5): 528 [] hollywood($c8)|$c14=$c12.
% 3.33/3.53 ** KEPT (pick-wt=5): 529 [] hollywood($c8)|in($c12,$c20).
% 3.33/3.53 ** KEPT (pick-wt=5): 530 [] hollywood($c8)|$c13=$c11.
% 3.33/3.53 ** KEPT (pick-wt=5): 531 [] hollywood($c8)|in($c11,$c19).
% 3.33/3.53 ** KEPT (pick-wt=4): 532 [] city($c8)|seat($c20).
% 3.33/3.53 ** KEPT (pick-wt=4): 533 [] city($c8)|furniture($c20).
% 3.33/3.53 ** KEPT (pick-wt=4): 534 [] city($c8)|front($c20).
% 3.33/3.53 ** KEPT (pick-wt=4): 535 [] city($c8)|seat($c19).
% 3.33/3.53 ** KEPT (pick-wt=4): 536 [] city($c8)|furniture($c19).
% 3.33/3.53 ** KEPT (pick-wt=4): 537 [] city($c8)|front($c19).
% 3.33/3.53 ** KEPT (pick-wt=4): 538 [] city($c8)|hollywood($c18).
% 3.33/3.53 ** KEPT (pick-wt=4): 539 [] city($c8)|city($c18).
% 3.33/3.53 ** KEPT (pick-wt=4): 540 [] city($c8)|event($c17).
% 3.33/3.53 ** KEPT (pick-wt=4): 541 [] city($c8)|chevy($c16).
% 3.33/3.53 ** KEPT (pick-wt=4): 542 [] city($c8)|car($c16).
% 3.33/3.53 ** KEPT (pick-wt=4): 543 [] city($c8)|white($c16).
% 3.33/3.53 ** KEPT (pick-wt=4): 544 [] city($c8)|dirty($c16).
% 3.33/3.53 ** KEPT (pick-wt=4): 545 [] city($c8)|old($c16).
% 3.33/3.53 ** KEPT (pick-wt=4): 546 [] city($c8)|street($c15).
% 3.33/3.53 ** KEPT (pick-wt=4): 547 [] city($c8)|way($c15).
% 3.33/3.53 ** KEPT (pick-wt=4): 548 [] city($c8)|lonely($c15).
% 3.33/3.53 ** KEPT (pick-wt=5): 549 [] city($c8)|barrel($c17,$c16).
% 3.33/3.53 ** KEPT (pick-wt=5): 550 [] city($c8)|down($c17,$c15).
% 3.33/3.53 ** KEPT (pick-wt=5): 551 [] city($c8)|in($c17,$c18).
% 3.33/3.53 ** KEPT (pick-wt=4): 552 [] city($c8)|fellow($c14).
% 3.33/3.53 ** KEPT (pick-wt=4): 553 [] city($c8)|man($c14).
% 3.33/3.53 ** KEPT (pick-wt=4): 554 [] city($c8)|young($c14).
% 3.33/3.53 ** KEPT (pick-wt=4): 555 [] city($c8)|fellow($c13).
% 3.33/3.53 ** KEPT (pick-wt=4): 556 [] city($c8)|man($c13).
% 3.33/3.53 ** KEPT (pick-wt=4): 557 [] city($c8)|young($c13).
% 3.33/3.53 ** KEPT (pick-wt=5): 558 [] city($c8)|$c14=$c12.
% 3.33/3.53 ** KEPT (pick-wt=5): 559 [] city($c8)|in($c12,$c20).
% 3.33/3.53 ** KEPT (pick-wt=5): 560 [] city($c8)|$c13=$c11.
% 3.33/3.53 ** KEPT (pick-wt=5): 561 [] city($c8)|in($c11,$c19).
% 3.33/3.53 ** KEPT (pick-wt=4): 562 [] event($c7)|seat($c20).
% 3.33/3.53 ** KEPT (pick-wt=4): 563 [] event($c7)|furniture($c20).
% 3.33/3.53 ** KEPT (pick-wt=4): 564 [] event($c7)|front($c20).
% 3.33/3.53 ** KEPT (pick-wt=4): 565 [] event($c7)|seat($c19).
% 3.33/3.53 ** KEPT (pick-wt=4): 566 [] event($c7)|furniture($c19).
% 3.33/3.53 ** KEPT (pick-wt=4): 567 [] event($c7)|front($c19).
% 3.33/3.53 ** KEPT (pick-wt=4): 568 [] event($c7)|hollywood($c18).
% 3.33/3.53 ** KEPT (pick-wt=4): 569 [] event($c7)|city($c18).
% 3.33/3.53 ** KEPT (pick-wt=4): 570 [] event($c7)|event($c17).
% 3.33/3.53 ** KEPT (pick-wt=4): 571 [] event($c7)|chevy($c16).
% 3.33/3.53 ** KEPT (pick-wt=4): 572 [] event($c7)|car($c16).
% 3.33/3.53 ** KEPT (pick-wt=4): 573 [] event($c7)|white($c16).
% 3.33/3.53 ** KEPT (pick-wt=4): 574 [] event($c7)|dirty($c16).
% 3.33/3.53 ** KEPT (pick-wt=4): 575 [] event($c7)|old($c16).
% 3.33/3.53 ** KEPT (pick-wt=4): 576 [] event($c7)|street($c15).
% 3.33/3.53 ** KEPT (pick-wt=4): 577 [] event($c7)|way($c15).
% 3.33/3.53 ** KEPT (pick-wt=4): 578 [] event($c7)|lonely($c15).
% 3.33/3.53 ** KEPT (pick-wt=5): 579 [] event($c7)|barrel($c17,$c16).
% 3.33/3.53 ** KEPT (pick-wt=5): 580 [] event($c7)|down($c17,$c15).
% 3.33/3.53 ** KEPT (pick-wt=5): 581 [] event($c7)|in($c17,$c18).
% 3.33/3.53 ** KEPT (pick-wt=4): 582 [] event($c7)|fellow($c14).
% 3.33/3.53 ** KEPT (pick-wt=4): 583 [] event($c7)|man($c14).
% 3.33/3.53 ** KEPT (pick-wt=4): 584 [] event($c7)|young($c14).
% 3.33/3.53 ** KEPT (pick-wt=4): 585 [] event($c7)|fellow($c13).
% 3.33/3.53 ** KEPT (pick-wt=4): 586 [] event($c7)|man($c13).
% 3.33/3.53 ** KEPT (pick-wt=4): 587 [] event($c7)|young($c13).
% 3.33/3.53 ** KEPT (pick-wt=5): 588 [] event($c7)|$c14=$c12.
% 3.33/3.53 ** KEPT (pick-wt=5): 589 [] event($c7)|in($c12,$c20).
% 3.33/3.53 ** KEPT (pick-wt=5): 590 [] event($c7)|$c13=$c11.
% 3.33/3.53 ** KEPT (pick-wt=5): 591 [] event($c7)|in($c11,$c19).
% 3.33/3.53 ** KEPT (pick-wt=4): 592 [] street($c6)|seat($c20).
% 3.33/3.53 ** KEPT (pick-wt=4): 593 [] street($c6)|furniture($c20).
% 3.33/3.53 ** KEPT (pick-wt=4): 594 [] street($c6)|front($c20).
% 3.33/3.53 ** KEPT (pick-wt=4): 595 [] street($c6)|seat($c19).
% 3.33/3.53 ** KEPT (pick-wt=4): 596 [] street($c6)|furniture($c19).
% 3.33/3.53 ** KEPT (pick-wt=4): 597 [] street($c6)|front($c19).
% 3.33/3.53 ** KEPT (pick-wt=4): 598 [] street($c6)|hollywood($c18).
% 3.33/3.53 ** KEPT (pick-wt=4): 599 [] street($c6)|city($c18).
% 3.33/3.53 ** KEPT (pick-wt=4): 600 [] street($c6)|event($c17).
% 3.33/3.53 ** KEPT (pick-wt=4): 601 [] street($c6)|chevy($c16).
% 3.33/3.53 ** KEPT (pick-wt=4): 602 [] street($c6)|car($c16).
% 3.33/3.53 ** KEPT (pick-wt=4): 603 [] street($c6)|white($c16).
% 3.33/3.53 ** KEPT (pick-wt=4): 604 [] street($c6)|dirty($c16).
% 3.33/3.53 ** KEPT (pick-wt=4): 605 [] street($c6)|old($c16).
% 3.33/3.53 ** KEPT (pick-wt=4): 606 [] street($c6)|street($c15).
% 3.33/3.53 ** KEPT (pick-wt=4): 607 [] street($c6)|way($c15).
% 3.33/3.53 ** KEPT (pick-wt=4): 608 [] street($c6)|lonely($c15).
% 3.33/3.53 ** KEPT (pick-wt=5): 609 [] street($c6)|barrel($c17,$c16).
% 3.33/3.53 ** KEPT (pick-wt=5): 610 [] street($c6)|down($c17,$c15).
% 3.33/3.53 ** KEPT (pick-wt=5): 611 [] street($c6)|in($c17,$c18).
% 3.33/3.53 ** KEPT (pick-wt=4): 612 [] street($c6)|fellow($c14).
% 3.33/3.53 ** KEPT (pick-wt=4): 613 [] street($c6)|man($c14).
% 3.33/3.53 ** KEPT (pick-wt=4): 614 [] street($c6)|young($c14).
% 3.33/3.53 ** KEPT (pick-wt=4): 615 [] street($c6)|fellow($c13).
% 3.33/3.53 ** KEPT (pick-wt=4): 616 [] street($c6)|man($c13).
% 3.33/3.53 ** KEPT (pick-wt=4): 617 [] street($c6)|young($c13).
% 3.33/3.53 ** KEPT (pick-wt=5): 618 [] street($c6)|$c14=$c12.
% 3.33/3.53 ** KEPT (pick-wt=5): 619 [] street($c6)|in($c12,$c20).
% 3.33/3.53 ** KEPT (pick-wt=5): 620 [] street($c6)|$c13=$c11.
% 3.33/3.53 ** KEPT (pick-wt=5): 621 [] street($c6)|in($c11,$c19).
% 3.33/3.53 ** KEPT (pick-wt=4): 622 [] way($c6)|seat($c20).
% 3.33/3.53 ** KEPT (pick-wt=4): 623 [] way($c6)|furniture($c20).
% 3.33/3.53 ** KEPT (pick-wt=4): 624 [] way($c6)|front($c20).
% 3.33/3.53 ** KEPT (pick-wt=4): 625 [] way($c6)|seat($c19).
% 3.33/3.53 ** KEPT (pick-wt=4): 626 [] way($c6)|furniture($c19).
% 3.33/3.53 ** KEPT (pick-wt=4): 627 [] way($c6)|front($c19).
% 3.33/3.53 ** KEPT (pick-wt=4): 628 [] way($c6)|hollywood($c18).
% 3.33/3.53 ** KEPT (pick-wt=4): 629 [] way($c6)|city($c18).
% 3.33/3.53 ** KEPT (pick-wt=4): 630 [] way($c6)|event($c17).
% 3.33/3.53 ** KEPT (pick-wt=4): 631 [] way($c6)|chevy($c16).
% 3.33/3.53 ** KEPT (pick-wt=4): 632 [] way($c6)|car($c16).
% 3.33/3.53 ** KEPT (pick-wt=4): 633 [] way($c6)|white($c16).
% 3.33/3.53 ** KEPT (pick-wt=4): 634 [] way($c6)|dirty($c16).
% 3.33/3.53 ** KEPT (pick-wt=4): 635 [] way($c6)|old($c16).
% 3.33/3.53 ** KEPT (pick-wt=4): 636 [] way($c6)|street($c15).
% 3.33/3.53 ** KEPT (pick-wt=4): 637 [] way($c6)|way($c15).
% 3.33/3.53 ** KEPT (pick-wt=4): 638 [] way($c6)|lonely($c15).
% 3.33/3.53 ** KEPT (pick-wt=5): 639 [] way($c6)|barrel($c17,$c16).
% 3.33/3.53 ** KEPT (pick-wt=5): 640 [] way($c6)|down($c17,$c15).
% 3.33/3.53 ** KEPT (pick-wt=5): 641 [] way($c6)|in($c17,$c18).
% 3.33/3.54 ** KEPT (pick-wt=4): 642 [] way($c6)|fellow($c14).
% 3.33/3.54 ** KEPT (pick-wt=4): 643 [] way($c6)|man($c14).
% 3.33/3.54 ** KEPT (pick-wt=4): 644 [] way($c6)|young($c14).
% 3.33/3.54 ** KEPT (pick-wt=4): 645 [] way($c6)|fellow($c13).
% 3.33/3.54 ** KEPT (pick-wt=4): 646 [] way($c6)|man($c13).
% 3.33/3.54 ** KEPT (pick-wt=4): 647 [] way($c6)|young($c13).
% 3.33/3.54 ** KEPT (pick-wt=5): 648 [] way($c6)|$c14=$c12.
% 3.33/3.54 ** KEPT (pick-wt=5): 649 [] way($c6)|in($c12,$c20).
% 3.33/3.54 ** KEPT (pick-wt=5): 650 [] way($c6)|$c13=$c11.
% 3.33/3.54 ** KEPT (pick-wt=5): 651 [] way($c6)|in($c11,$c19).
% 3.33/3.54 ** KEPT (pick-wt=4): 652 [] lonely($c6)|seat($c20).
% 3.33/3.54 ** KEPT (pick-wt=4): 653 [] lonely($c6)|furniture($c20).
% 3.33/3.54 ** KEPT (pick-wt=4): 654 [] lonely($c6)|front($c20).
% 3.33/3.54 ** KEPT (pick-wt=4): 655 [] lonely($c6)|seat($c19).
% 3.33/3.54 ** KEPT (pick-wt=4): 656 [] lonely($c6)|furniture($c19).
% 3.33/3.54 ** KEPT (pick-wt=4): 657 [] lonely($c6)|front($c19).
% 3.33/3.54 ** KEPT (pick-wt=4): 658 [] lonely($c6)|hollywood($c18).
% 3.33/3.54 ** KEPT (pick-wt=4): 659 [] lonely($c6)|city($c18).
% 3.33/3.54 ** KEPT (pick-wt=4): 660 [] lonely($c6)|event($c17).
% 3.33/3.54 ** KEPT (pick-wt=4): 661 [] lonely($c6)|chevy($c16).
% 3.33/3.54 ** KEPT (pick-wt=4): 662 [] lonely($c6)|car($c16).
% 3.33/3.54 ** KEPT (pick-wt=4): 663 [] lonely($c6)|white($c16).
% 3.33/3.54 ** KEPT (pick-wt=4): 664 [] lonely($c6)|dirty($c16).
% 3.33/3.54 ** KEPT (pick-wt=4): 665 [] lonely($c6)|old($c16).
% 3.33/3.54 ** KEPT (pick-wt=4): 666 [] lonely($c6)|street($c15).
% 3.33/3.54 ** KEPT (pick-wt=4): 667 [] lonely($c6)|way($c15).
% 3.33/3.54 ** KEPT (pick-wt=4): 668 [] lonely($c6)|lonely($c15).
% 3.33/3.54 ** KEPT (pick-wt=5): 669 [] lonely($c6)|barrel($c17,$c16).
% 3.33/3.54 ** KEPT (pick-wt=5): 670 [] lonely($c6)|down($c17,$c15).
% 3.33/3.54 ** KEPT (pick-wt=5): 671 [] lonely($c6)|in($c17,$c18).
% 3.33/3.54 ** KEPT (pick-wt=4): 672 [] lonely($c6)|fellow($c14).
% 3.33/3.54 ** KEPT (pick-wt=4): 673 [] lonely($c6)|man($c14).
% 3.33/3.54 ** KEPT (pick-wt=4): 674 [] lonely($c6)|young($c14).
% 3.33/3.54 ** KEPT (pick-wt=4): 675 [] lonely($c6)|fellow($c13).
% 3.33/3.54 ** KEPT (pick-wt=4): 676 [] lonely($c6)|man($c13).
% 3.33/3.54 ** KEPT (pick-wt=4): 677 [] lonely($c6)|young($c13).
% 3.33/3.54 ** KEPT (pick-wt=5): 678 [] lonely($c6)|$c14=$c12.
% 3.33/3.54 ** KEPT (pick-wt=5): 679 [] lonely($c6)|in($c12,$c20).
% 3.33/3.54 ** KEPT (pick-wt=5): 680 [] lonely($c6)|$c13=$c11.
% 3.33/3.54 ** KEPT (pick-wt=5): 681 [] lonely($c6)|in($c11,$c19).
% 3.33/3.54 ** KEPT (pick-wt=4): 682 [] chevy($c5)|seat($c20).
% 3.33/3.54 ** KEPT (pick-wt=4): 683 [] chevy($c5)|furniture($c20).
% 3.33/3.54 ** KEPT (pick-wt=4): 684 [] chevy($c5)|front($c20).
% 3.33/3.54 ** KEPT (pick-wt=4): 685 [] chevy($c5)|seat($c19).
% 3.33/3.54 ** KEPT (pick-wt=4): 686 [] chevy($c5)|furniture($c19).
% 3.33/3.54 ** KEPT (pick-wt=4): 687 [] chevy($c5)|front($c19).
% 3.33/3.54 ** KEPT (pick-wt=4): 688 [] chevy($c5)|hollywood($c18).
% 3.33/3.54 ** KEPT (pick-wt=4): 689 [] chevy($c5)|city($c18).
% 3.33/3.54 ** KEPT (pick-wt=4): 690 [] chevy($c5)|event($c17).
% 3.33/3.54 ** KEPT (pick-wt=4): 691 [] chevy($c5)|chevy($c16).
% 3.33/3.54 ** KEPT (pick-wt=4): 692 [] chevy($c5)|car($c16).
% 3.33/3.54 ** KEPT (pick-wt=4): 693 [] chevy($c5)|white($c16).
% 3.33/3.54 ** KEPT (pick-wt=4): 694 [] chevy($c5)|dirty($c16).
% 3.33/3.54 ** KEPT (pick-wt=4): 695 [] chevy($c5)|old($c16).
% 3.33/3.54 ** KEPT (pick-wt=4): 696 [] chevy($c5)|street($c15).
% 3.33/3.54 ** KEPT (pick-wt=4): 697 [] chevy($c5)|way($c15).
% 3.33/3.54 ** KEPT (pick-wt=4): 698 [] chevy($c5)|lonely($c15).
% 3.33/3.54 ** KEPT (pick-wt=5): 699 [] chevy($c5)|barrel($c17,$c16).
% 3.33/3.54 ** KEPT (pick-wt=5): 700 [] chevy($c5)|down($c17,$c15).
% 3.33/3.54 ** KEPT (pick-wt=5): 701 [] chevy($c5)|in($c17,$c18).
% 3.33/3.54 ** KEPT (pick-wt=4): 702 [] chevy($c5)|fellow($c14).
% 3.33/3.54 ** KEPT (pick-wt=4): 703 [] chevy($c5)|man($c14).
% 3.33/3.54 ** KEPT (pick-wt=4): 704 [] chevy($c5)|young($c14).
% 3.33/3.54 ** KEPT (pick-wt=4): 705 [] chevy($c5)|fellow($c13).
% 3.33/3.54 ** KEPT (pick-wt=4): 706 [] chevy($c5)|man($c13).
% 3.33/3.54 ** KEPT (pick-wt=4): 707 [] chevy($c5)|young($c13).
% 3.33/3.54 ** KEPT (pick-wt=5): 708 [] chevy($c5)|$c14=$c12.
% 3.33/3.54 ** KEPT (pick-wt=5): 709 [] chevy($c5)|in($c12,$c20).
% 3.33/3.54 ** KEPT (pick-wt=5): 710 [] chevy($c5)|$c13=$c11.
% 3.33/3.54 ** KEPT (pick-wt=5): 711 [] chevy($c5)|in($c11,$c19).
% 3.33/3.54 ** KEPT (pick-wt=4): 712 [] car($c5)|seat($c20).
% 3.33/3.54 ** KEPT (pick-wt=4): 713 [] car($c5)|furniture($c20).
% 3.33/3.54 ** KEPT (pick-wt=4): 714 [] car($c5)|front($c20).
% 3.33/3.54 ** KEPT (pick-wt=4): 715 [] car($c5)|seat($c19).
% 3.33/3.54 ** KEPT (pick-wt=4): 716 [] car($c5)|furniture($c19).
% 3.33/3.54 ** KEPT (pick-wt=4): 717 [] car($c5)|front($c19).
% 3.33/3.54 ** KEPT (pick-wt=4): 718 [] car($c5)|hollywood($c18).
% 3.33/3.54 ** KEPT (pick-wt=4): 719 [] car($c5)|city($c18).
% 3.33/3.54 ** KEPT (pick-wt=4): 720 [] car($c5)|event($c17).
% 3.33/3.54 ** KEPT (pick-wt=4): 721 [] car($c5)|chevy($c16).
% 3.33/3.54 ** KEPT (pick-wt=4): 722 [] car($c5)|car($c16).
% 3.33/3.54 ** KEPT (pick-wt=4): 723 [] car($c5)|white($c16).
% 3.33/3.54 ** KEPT (pick-wt=4): 724 [] car($c5)|dirty($c16).
% 3.33/3.54 ** KEPT (pick-wt=4): 725 [] car($c5)|old($c16).
% 3.33/3.54 ** KEPT (pick-wt=4): 726 [] car($c5)|street($c15).
% 3.33/3.54 ** KEPT (pick-wt=4): 727 [] car($c5)|way($c15).
% 3.33/3.54 ** KEPT (pick-wt=4): 728 [] car($c5)|lonely($c15).
% 3.33/3.54 ** KEPT (pick-wt=5): 729 [] car($c5)|barrel($c17,$c16).
% 3.33/3.54 ** KEPT (pick-wt=5): 730 [] car($c5)|down($c17,$c15).
% 3.33/3.54 ** KEPT (pick-wt=5): 731 [] car($c5)|in($c17,$c18).
% 3.33/3.54 ** KEPT (pick-wt=4): 732 [] car($c5)|fellow($c14).
% 3.33/3.54 ** KEPT (pick-wt=4): 733 [] car($c5)|man($c14).
% 3.33/3.54 ** KEPT (pick-wt=4): 734 [] car($c5)|young($c14).
% 3.33/3.54 ** KEPT (pick-wt=4): 735 [] car($c5)|fellow($c13).
% 3.33/3.54 ** KEPT (pick-wt=4): 736 [] car($c5)|man($c13).
% 3.33/3.54 ** KEPT (pick-wt=4): 737 [] car($c5)|young($c13).
% 3.33/3.54 ** KEPT (pick-wt=5): 738 [] car($c5)|$c14=$c12.
% 3.33/3.54 ** KEPT (pick-wt=5): 739 [] car($c5)|in($c12,$c20).
% 3.33/3.54 ** KEPT (pick-wt=5): 740 [] car($c5)|$c13=$c11.
% 3.33/3.54 ** KEPT (pick-wt=5): 741 [] car($c5)|in($c11,$c19).
% 3.33/3.54 ** KEPT (pick-wt=4): 742 [] white($c5)|seat($c20).
% 3.33/3.54 ** KEPT (pick-wt=4): 743 [] white($c5)|furniture($c20).
% 3.33/3.54 ** KEPT (pick-wt=4): 744 [] white($c5)|front($c20).
% 3.33/3.54 ** KEPT (pick-wt=4): 745 [] white($c5)|seat($c19).
% 3.33/3.54 ** KEPT (pick-wt=4): 746 [] white($c5)|furniture($c19).
% 3.33/3.54 ** KEPT (pick-wt=4): 747 [] white($c5)|front($c19).
% 3.33/3.54 ** KEPT (pick-wt=4): 748 [] white($c5)|hollywood($c18).
% 3.33/3.54 ** KEPT (pick-wt=4): 749 [] white($c5)|city($c18).
% 3.33/3.54 ** KEPT (pick-wt=4): 750 [] white($c5)|event($c17).
% 3.33/3.54 ** KEPT (pick-wt=4): 751 [] white($c5)|chevy($c16).
% 3.33/3.54 ** KEPT (pick-wt=4): 752 [] white($c5)|car($c16).
% 3.33/3.54 ** KEPT (pick-wt=4): 753 [] white($c5)|white($c16).
% 3.33/3.54 ** KEPT (pick-wt=4): 754 [] white($c5)|dirty($c16).
% 3.33/3.54 ** KEPT (pick-wt=4): 755 [] white($c5)|old($c16).
% 3.33/3.54 ** KEPT (pick-wt=4): 756 [] white($c5)|street($c15).
% 3.33/3.54 ** KEPT (pick-wt=4): 757 [] white($c5)|way($c15).
% 3.33/3.54 ** KEPT (pick-wt=4): 758 [] white($c5)|lonely($c15).
% 3.33/3.54 ** KEPT (pick-wt=5): 759 [] white($c5)|barrel($c17,$c16).
% 3.33/3.54 ** KEPT (pick-wt=5): 760 [] white($c5)|down($c17,$c15).
% 3.33/3.54 ** KEPT (pick-wt=5): 761 [] white($c5)|in($c17,$c18).
% 3.33/3.54 ** KEPT (pick-wt=4): 762 [] white($c5)|fellow($c14).
% 3.33/3.54 ** KEPT (pick-wt=4): 763 [] white($c5)|man($c14).
% 3.33/3.54 ** KEPT (pick-wt=4): 764 [] white($c5)|young($c14).
% 3.33/3.54 ** KEPT (pick-wt=4): 765 [] white($c5)|fellow($c13).
% 3.33/3.54 ** KEPT (pick-wt=4): 766 [] white($c5)|man($c13).
% 3.33/3.54 ** KEPT (pick-wt=4): 767 [] white($c5)|young($c13).
% 3.33/3.54 ** KEPT (pick-wt=5): 768 [] white($c5)|$c14=$c12.
% 3.33/3.54 ** KEPT (pick-wt=5): 769 [] white($c5)|in($c12,$c20).
% 3.33/3.54 ** KEPT (pick-wt=5): 770 [] white($c5)|$c13=$c11.
% 3.33/3.54 ** KEPT (pick-wt=5): 771 [] white($c5)|in($c11,$c19).
% 3.33/3.54 ** KEPT (pick-wt=4): 772 [] dirty($c5)|seat($c20).
% 3.33/3.54 ** KEPT (pick-wt=4): 773 [] dirty($c5)|furniture($c20).
% 3.33/3.54 ** KEPT (pick-wt=4): 774 [] dirty($c5)|front($c20).
% 3.33/3.54 ** KEPT (pick-wt=4): 775 [] dirty($c5)|seat($c19).
% 3.33/3.54 ** KEPT (pick-wt=4): 776 [] dirty($c5)|furniture($c19).
% 3.33/3.54 ** KEPT (pick-wt=4): 777 [] dirty($c5)|front($c19).
% 3.33/3.54 ** KEPT (pick-wt=4): 778 [] dirty($c5)|hollywood($c18).
% 3.33/3.54 ** KEPT (pick-wt=4): 779 [] dirty($c5)|city($c18).
% 3.33/3.54 ** KEPT (pick-wt=4): 780 [] dirty($c5)|event($c17).
% 3.33/3.54 ** KEPT (pick-wt=4): 781 [] dirty($c5)|chevy($c16).
% 3.33/3.54 ** KEPT (pick-wt=4): 782 [] dirty($c5)|car($c16).
% 3.33/3.54 ** KEPT (pick-wt=4): 783 [] dirty($c5)|white($c16).
% 3.33/3.54 ** KEPT (pick-wt=4): 784 [] dirty($c5)|dirty($c16).
% 3.33/3.54 ** KEPT (pick-wt=4): 785 [] dirty($c5)|old($c16).
% 3.33/3.54 ** KEPT (pick-wt=4): 786 [] dirty($c5)|street($c15).
% 3.33/3.54 ** KEPT (pick-wt=4): 787 [] dirty($c5)|way($c15).
% 3.33/3.54 ** KEPT (pick-wt=4): 788 [] dirty($c5)|lonely($c15).
% 3.33/3.54 ** KEPT (pick-wt=5): 789 [] dirty($c5)|barrel($c17,$c16).
% 3.33/3.54 ** KEPT (pick-wt=5): 790 [] dirty($c5)|down($c17,$c15).
% 3.33/3.54 ** KEPT (pick-wt=5): 791 [] dirty($c5)|in($c17,$c18).
% 3.33/3.54 ** KEPT (pick-wt=4): 792 [] dirty($c5)|fellow($c14).
% 3.33/3.54 ** KEPT (pick-wt=4): 793 [] dirty($c5)|man($c14).
% 3.33/3.54 ** KEPT (pick-wt=4): 794 [] dirty($c5)|young($c14).
% 3.33/3.54 ** KEPT (pick-wt=4): 795 [] dirty($c5)|fellow($c13).
% 3.33/3.54 ** KEPT (pick-wt=4): 796 [] dirty($c5)|man($c13).
% 3.33/3.54 ** KEPT (pick-wt=4): 797 [] dirty($c5)|young($c13).
% 3.33/3.54 ** KEPT (pick-wt=5): 798 [] dirty($c5)|$c14=$c12.
% 3.33/3.54 ** KEPT (pick-wt=5): 799 [] dirty($c5)|in($c12,$c20).
% 3.33/3.54 ** KEPT (pick-wt=5): 800 [] dirty($c5)|$c13=$c11.
% 3.33/3.54 ** KEPT (pick-wt=5): 801 [] dirty($c5)|in($c11,$c19).
% 3.33/3.54 ** KEPT (pick-wt=4): 802 [] old($c5)|seat($c20).
% 3.33/3.54 ** KEPT (pick-wt=4): 803 [] old($c5)|furniture($c20).
% 3.33/3.54 ** KEPT (pick-wt=4): 804 [] old($c5)|front($c20).
% 3.33/3.54 ** KEPT (pick-wt=4): 805 [] old($c5)|seat($c19).
% 3.33/3.54 ** KEPT (pick-wt=4): 806 [] old($c5)|furniture($c19).
% 3.33/3.54 ** KEPT (pick-wt=4): 807 [] old($c5)|front($c19).
% 3.33/3.54 ** KEPT (pick-wt=4): 808 [] old($c5)|hollywood($c18).
% 3.33/3.54 ** KEPT (pick-wt=4): 809 [] old($c5)|city($c18).
% 3.33/3.54 ** KEPT (pick-wt=4): 810 [] old($c5)|event($c17).
% 3.33/3.54 ** KEPT (pick-wt=4): 811 [] old($c5)|chevy($c16).
% 3.33/3.54 ** KEPT (pick-wt=4): 812 [] old($c5)|car($c16).
% 3.33/3.54 ** KEPT (pick-wt=4): 813 [] old($c5)|white($c16).
% 3.33/3.54 ** KEPT (pick-wt=4): 814 [] old($c5)|dirty($c16).
% 3.33/3.54 ** KEPT (pick-wt=4): 815 [] old($c5)|old($c16).
% 3.33/3.54 ** KEPT (pick-wt=4): 816 [] old($c5)|street($c15).
% 3.33/3.54 ** KEPT (pick-wt=4): 817 [] old($c5)|way($c15).
% 3.33/3.54 ** KEPT (pick-wt=4): 818 [] old($c5)|lonely($c15).
% 3.33/3.54 ** KEPT (pick-wt=5): 819 [] old($c5)|barrel($c17,$c16).
% 3.33/3.54 ** KEPT (pick-wt=5): 820 [] old($c5)|down($c17,$c15).
% 3.33/3.54 ** KEPT (pick-wt=5): 821 [] old($c5)|in($c17,$c18).
% 3.33/3.54 ** KEPT (pick-wt=4): 822 [] old($c5)|fellow($c14).
% 3.33/3.54 ** KEPT (pick-wt=4): 823 [] old($c5)|man($c14).
% 3.33/3.54 ** KEPT (pick-wt=4): 824 [] old($c5)|young($c14).
% 3.33/3.54 ** KEPT (pick-wt=4): 825 [] old($c5)|fellow($c13).
% 3.33/3.54 ** KEPT (pick-wt=4): 826 [] old($c5)|man($c13).
% 3.33/3.54 ** KEPT (pick-wt=4): 827 [] old($c5)|young($c13).
% 3.33/3.54 ** KEPT (pick-wt=5): 828 [] old($c5)|$c14=$c12.
% 3.33/3.54 ** KEPT (pick-wt=5): 829 [] old($c5)|in($c12,$c20).
% 3.33/3.54 ** KEPT (pick-wt=5): 830 [] old($c5)|$c13=$c11.
% 3.33/3.54 ** KEPT (pick-wt=5): 831 [] old($c5)|in($c11,$c19).
% 3.33/3.54 ** KEPT (pick-wt=5): 832 [] barrel($c7,$c5)|seat($c20).
% 3.33/3.54 ** KEPT (pick-wt=5): 833 [] barrel($c7,$c5)|furniture($c20).
% 3.33/3.54 ** KEPT (pick-wt=5): 834 [] barrel($c7,$c5)|front($c20).
% 3.33/3.54 ** KEPT (pick-wt=5): 835 [] barrel($c7,$c5)|seat($c19).
% 3.33/3.54 ** KEPT (pick-wt=5): 836 [] barrel($c7,$c5)|furniture($c19).
% 3.33/3.54 ** KEPT (pick-wt=5): 837 [] barrel($c7,$c5)|front($c19).
% 3.33/3.54 ** KEPT (pick-wt=5): 838 [] barrel($c7,$c5)|hollywood($c18).
% 3.33/3.54 ** KEPT (pick-wt=5): 839 [] barrel($c7,$c5)|city($c18).
% 3.33/3.54 ** KEPT (pick-wt=5): 840 [] barrel($c7,$c5)|event($c17).
% 3.33/3.54 ** KEPT (pick-wt=5): 841 [] barrel($c7,$c5)|chevy($c16).
% 3.33/3.54 ** KEPT (pick-wt=5): 842 [] barrel($c7,$c5)|car($c16).
% 3.33/3.54 ** KEPT (pick-wt=5): 843 [] barrel($c7,$c5)|white($c16).
% 3.33/3.54 ** KEPT (pick-wt=5): 844 [] barrel($c7,$c5)|dirty($c16).
% 3.33/3.54 ** KEPT (pick-wt=5): 845 [] barrel($c7,$c5)|old($c16).
% 3.33/3.54 ** KEPT (pick-wt=5): 846 [] barrel($c7,$c5)|street($c15).
% 3.33/3.54 ** KEPT (pick-wt=5): 847 [] barrel($c7,$c5)|way($c15).
% 3.33/3.54 ** KEPT (pick-wt=5): 848 [] barrel($c7,$c5)|lonely($c15).
% 3.33/3.54 ** KEPT (pick-wt=6): 849 [] barrel($c7,$c5)|barrel($c17,$c16).
% 3.33/3.54 ** KEPT (pick-wt=6): 850 [] barrel($c7,$c5)|down($c17,$c15).
% 3.33/3.54 ** KEPT (pick-wt=6): 851 [] barrel($c7,$c5)|in($c17,$c18).
% 3.33/3.54 ** KEPT (pick-wt=5): 852 [] barrel($c7,$c5)|fellow($c14).
% 3.33/3.54 ** KEPT (pick-wt=5): 853 [] barrel($c7,$c5)|man($c14).
% 3.33/3.54 ** KEPT (pick-wt=5): 854 [] barrel($c7,$c5)|young($c14).
% 3.33/3.54 ** KEPT (pick-wt=5): 855 [] barrel($c7,$c5)|fellow($c13).
% 3.33/3.54 ** KEPT (pick-wt=5): 856 [] barrel($c7,$c5)|man($c13).
% 3.33/3.54 ** KEPT (pick-wt=5): 857 [] barrel($c7,$c5)|young($c13).
% 3.33/3.54 ** KEPT (pick-wt=6): 858 [] barrel($c7,$c5)|$c14=$c12.
% 3.33/3.54 ** KEPT (pick-wt=6): 859 [] barrel($c7,$c5)|in($c12,$c20).
% 3.33/3.54 ** KEPT (pick-wt=6): 860 [] barrel($c7,$c5)|$c13=$c11.
% 3.33/3.54 ** KEPT (pick-wt=6): 861 [] barrel($c7,$c5)|in($c11,$c19).
% 3.33/3.54 ** KEPT (pick-wt=5): 862 [] down($c7,$c6)|seat($c20).
% 3.33/3.54 ** KEPT (pick-wt=5): 863 [] down($c7,$c6)|furniture($c20).
% 3.33/3.54 ** KEPT (pick-wt=5): 864 [] down($c7,$c6)|front($c20).
% 3.33/3.54 ** KEPT (pick-wt=5): 865 [] down($c7,$c6)|seat($c19).
% 3.33/3.54 ** KEPT (pick-wt=5): 866 [] down($c7,$c6)|furniture($c19).
% 3.33/3.54 ** KEPT (pick-wt=5): 867 [] down($c7,$c6)|front($c19).
% 3.33/3.54 ** KEPT (pick-wt=5): 868 [] down($c7,$c6)|hollywood($c18).
% 3.33/3.54 ** KEPT (pick-wt=5): 869 [] down($c7,$c6)|city($c18).
% 3.33/3.54 ** KEPT (pick-wt=5): 870 [] down($c7,$c6)|event($c17).
% 3.33/3.54 ** KEPT (pick-wt=5): 871 [] down($c7,$c6)|chevy($c16).
% 3.33/3.54 ** KEPT (pick-wt=5): 872 [] down($c7,$c6)|car($c16).
% 3.33/3.54 ** KEPT (pick-wt=5): 873 [] down($c7,$c6)|white($c16).
% 3.33/3.54 ** KEPT (pick-wt=5): 874 [] down($c7,$c6)|dirty($c16).
% 3.33/3.54 ** KEPT (pick-wt=5): 875 [] down($c7,$c6)|old($c16).
% 3.33/3.54 ** KEPT (pick-wt=5): 876 [] down($c7,$c6)|street($c15).
% 3.33/3.54 ** KEPT (pick-wt=5): 877 [] down($c7,$c6)|way($c15).
% 3.33/3.54 ** KEPT (pick-wt=5): 878 [] down($c7,$c6)|lonely($c15).
% 3.33/3.54 ** KEPT (pick-wt=6): 879 [] down($c7,$c6)|barrel($c17,$c16).
% 3.33/3.54 ** KEPT (pick-wt=6): 880 [] down($c7,$c6)|down($c17,$c15).
% 3.33/3.54 ** KEPT (pick-wt=6): 881 [] down($c7,$c6)|in($c17,$c18).
% 3.33/3.54 ** KEPT (pick-wt=5): 882 [] down($c7,$c6)|fellow($c14).
% 3.33/3.54 ** KEPT (pick-wt=5): 883 [] down($c7,$c6)|man($c14).
% 3.33/3.54 ** KEPT (pick-wt=5): 884 [] down($c7,$c6)|young($c14).
% 3.33/3.54 ** KEPT (pick-wt=5): 885 [] down($c7,$c6)|fellow($c13).
% 3.33/3.54 ** KEPT (pick-wt=5): 886 [] down($c7,$c6)|man($c13).
% 3.33/3.54 ** KEPT (pick-wt=5): 887 [] down($c7,$c6)|young($c13).
% 3.33/3.54 ** KEPT (pick-wt=6): 888 [] down($c7,$c6)|$c14=$c12.
% 3.33/3.54 ** KEPT (pick-wt=6): 889 [] down($c7,$c6)|in($c12,$c20).
% 3.33/3.54 ** KEPT (pick-wt=6): 890 [] down($c7,$c6)|$c13=$c11.
% 3.33/3.54 ** KEPT (pick-wt=6): 891 [] down($c7,$c6)|in($c11,$c19).
% 3.33/3.54 ** KEPT (pick-wt=5): 892 [] in($c7,$c8)|seat($c20).
% 3.33/3.54 ** KEPT (pick-wt=5): 893 [] in($c7,$c8)|furniture($c20).
% 3.33/3.54 ** KEPT (pick-wt=5): 894 [] in($c7,$c8)|front($c20).
% 3.33/3.54 ** KEPT (pick-wt=5): 895 [] in($c7,$c8)|seat($c19).
% 3.33/3.54 ** KEPT (pick-wt=5): 896 [] in($c7,$c8)|furniture($c19).
% 3.33/3.54 ** KEPT (pick-wt=5): 897 [] in($c7,$c8)|front($c19).
% 3.33/3.54 ** KEPT (pick-wt=5): 898 [] in($c7,$c8)|hollywood($c18).
% 3.33/3.54 ** KEPT (pick-wt=5): 899 [] in($c7,$c8)|city($c18).
% 3.33/3.54 ** KEPT (pick-wt=5): 900 [] in($c7,$c8)|event($c17).
% 3.33/3.54 ** KEPT (pick-wt=5): 901 [] in($c7,$c8)|chevy($c16).
% 3.33/3.54 ** KEPT (pick-wt=5): 902 [] in($c7,$c8)|car($c16).
% 3.33/3.54 ** KEPT (pick-wt=5): 903 [] in($c7,$c8)|white($c16).
% 3.33/3.54 ** KEPT (pick-wt=5): 904 [] in($c7,$c8)|dirty($c16).
% 3.33/3.54 ** KEPT (pick-wt=5): 905 [] in($c7,$c8)|old($c16).
% 3.33/3.54 ** KEPT (pick-wt=5): 906 [] in($c7,$c8)|street($c15).
% 3.33/3.54 ** KEPT (pick-wt=5): 907 [] in($c7,$c8)|way($c15).
% 3.33/3.54 ** KEPT (pick-wt=5): 908 [] in($c7,$c8)|lonely($c15).
% 3.33/3.54 ** KEPT (pick-wt=6): 909 [] in($c7,$c8)|barrel($c17,$c16).
% 3.33/3.54 ** KEPT (pick-wt=6): 910 [] in($c7,$c8)|down($c17,$c15).
% 3.33/3.54 ** KEPT (pick-wt=6): 911 [] in($c7,$c8)|in($c17,$c18).
% 3.33/3.54 ** KEPT (pick-wt=5): 912 [] in($c7,$c8)|fellow($c14).
% 3.33/3.54 ** KEPT (pick-wt=5): 913 [] in($c7,$c8)|man($c14).
% 3.33/3.54 ** KEPT (pick-wt=5): 914 [] in($c7,$c8)|young($c14).
% 3.33/3.54 ** KEPT (pick-wt=5): 915 [] in($c7,$c8)|fellow($c13).
% 3.33/3.54 ** KEPT (pick-wt=5): 916 [] in($c7,$c8)|man($c13).
% 3.33/3.54 ** KEPT (pick-wt=5): 917 [] in($c7,$c8)|young($c13).
% 3.33/3.54 ** KEPT (pick-wt=6): 918 [] in($c7,$c8)|$c14=$c12.
% 3.33/3.54 ** KEPT (pick-wt=6): 919 [] in($c7,$c8)|in($c12,$c20).
% 3.33/3.54 ** KEPT (pick-wt=6): 920 [] in($c7,$c8)|$c13=$c11.
% 3.33/3.54 ** KEPT (pick-wt=6): 921 [] in($c7,$c8)|in($c11,$c19).
% 3.33/3.54 ** KEPT (pick-wt=4): 922 [] fellow($c4)|seat($c20).
% 3.33/3.54 ** KEPT (pick-wt=4): 923 [] fellow($c4)|furniture($c20).
% 3.33/3.54 ** KEPT (pick-wt=4): 924 [] fellow($c4)|front($c20).
% 3.33/3.54 ** KEPT (pick-wt=4): 925 [] fellow($c4)|seat($c19).
% 3.33/3.54 ** KEPT (pick-wt=4): 926 [] fellow($c4)|furniture($c19).
% 3.33/3.54 ** KEPT (pick-wt=4): 927 [] fellow($c4)|front($c19).
% 3.33/3.54 ** KEPT (pick-wt=4): 928 [] fellow($c4)|hollywood($c18).
% 3.33/3.54 ** KEPT (pick-wt=4): 929 [] fellow($c4)|city($c18).
% 3.33/3.54 ** KEPT (pick-wt=4): 930 [] fellow($c4)|event($c17).
% 3.33/3.54 ** KEPT (pick-wt=4): 931 [] fellow($c4)|chevy($c16).
% 3.33/3.54 ** KEPT (pick-wt=4): 932 [] fellow($c4)|car($c16).
% 3.33/3.54 ** KEPT (pick-wt=4): 933 [] fellow($c4)|white($c16).
% 3.33/3.54 ** KEPT (pick-wt=4): 934 [] fellow($c4)|dirty($c16).
% 3.33/3.54 ** KEPT (pick-wt=4): 935 [] fellow($c4)|old($c16).
% 3.33/3.54 ** KEPT (pick-wt=4): 936 [] fellow($c4)|street($c15).
% 3.33/3.54 ** KEPT (pick-wt=4): 937 [] fellow($c4)|way($c15).
% 3.33/3.54 ** KEPT (pick-wt=4): 938 [] fellow($c4)|lonely($c15).
% 3.33/3.54 ** KEPT (pick-wt=5): 939 [] fellow($c4)|barrel($c17,$c16).
% 3.33/3.54 ** KEPT (pick-wt=5): 940 [] fellow($c4)|down($c17,$c15).
% 3.33/3.54 ** KEPT (pick-wt=5): 941 [] fellow($c4)|in($c17,$c18).
% 3.33/3.54 ** KEPT (pick-wt=4): 942 [] fellow($c4)|fellow($c14).
% 3.33/3.54 ** KEPT (pick-wt=4): 943 [] fellow($c4)|man($c14).
% 3.33/3.54 ** KEPT (pick-wt=4): 944 [] fellow($c4)|young($c14).
% 3.33/3.54 ** KEPT (pick-wt=4): 945 [] fellow($c4)|fellow($c13).
% 3.33/3.54 ** KEPT (pick-wt=4): 946 [] fellow($c4)|man($c13).
% 3.33/3.54 ** KEPT (pick-wt=4): 947 [] fellow($c4)|young($c13).
% 3.33/3.54 ** KEPT (pick-wt=5): 948 [] fellow($c4)|$c14=$c12.
% 3.33/3.54 ** KEPT (pick-wt=5): 949 [] fellow($c4)|in($c12,$c20).
% 3.33/3.54 ** KEPT (pick-wt=5): 950 [] fellow($c4)|$c13=$c11.
% 3.33/3.54 ** KEPT (pick-wt=5): 951 [] fellow($c4)|in($c11,$c19).
% 3.33/3.54 ** KEPT (pick-wt=4): 952 [] man($c4)|seat($c20).
% 3.33/3.54 ** KEPT (pick-wt=4): 953 [] man($c4)|furniture($c20).
% 3.33/3.54 ** KEPT (pick-wt=4): 954 [] man($c4)|front($c20).
% 3.33/3.54 ** KEPT (pick-wt=4): 955 [] man($c4)|seat($c19).
% 3.33/3.54 ** KEPT (pick-wt=4): 956 [] man($c4)|furniture($c19).
% 3.33/3.54 ** KEPT (pick-wt=4): 957 [] man($c4)|front($c19).
% 3.33/3.54 ** KEPT (pick-wt=4): 958 [] man($c4)|hollywood($c18).
% 3.33/3.54 ** KEPT (pick-wt=4): 959 [] man($c4)|city($c18).
% 3.33/3.54 ** KEPT (pick-wt=4): 960 [] man($c4)|event($c17).
% 3.33/3.54 ** KEPT (pick-wt=4): 961 [] man($c4)|chevy($c16).
% 3.33/3.54 ** KEPT (pick-wt=4): 962 [] man($c4)|car($c16).
% 3.33/3.54 ** KEPT (pick-wt=4): 963 [] man($c4)|white($c16).
% 3.33/3.54 ** KEPT (pick-wt=4): 964 [] man($c4)|dirty($c16).
% 3.33/3.54 ** KEPT (pick-wt=4): 965 [] man($c4)|old($c16).
% 3.33/3.54 ** KEPT (pick-wt=4): 966 [] man($c4)|street($c15).
% 3.33/3.54 ** KEPT (pick-wt=4): 967 [] man($c4)|way($c15).
% 3.33/3.54 ** KEPT (pick-wt=4): 968 [] man($c4)|lonely($c15).
% 3.33/3.54 ** KEPT (pick-wt=5): 969 [] man($c4)|barrel($c17,$c16).
% 3.33/3.54 ** KEPT (pick-wt=5): 970 [] man($c4)|down($c17,$c15).
% 3.33/3.54 ** KEPT (pick-wt=5): 971 [] man($c4)|in($c17,$c18).
% 3.33/3.54 ** KEPT (pick-wt=4): 972 [] man($c4)|fellow($c14).
% 3.33/3.54 ** KEPT (pick-wt=4): 973 [] man($c4)|man($c14).
% 3.33/3.54 ** KEPT (pick-wt=4): 974 [] man($c4)|young($c14).
% 3.33/3.54 ** KEPT (pick-wt=4): 975 [] man($c4)|fellow($c13).
% 3.33/3.54 ** KEPT (pick-wt=4): 976 [] man($c4)|man($c13).
% 3.33/3.54 ** KEPT (pick-wt=4): 977 [] man($c4)|young($c13).
% 3.33/3.54 ** KEPT (pick-wt=5): 978 [] man($c4)|$c14=$c12.
% 3.33/3.54 ** KEPT (pick-wt=5): 979 [] man($c4)|in($c12,$c20).
% 3.33/3.54 ** KEPT (pick-wt=5): 980 [] man($c4)|$c13=$c11.
% 3.33/3.54 ** KEPT (pick-wt=5): 981 [] man($c4)|in($c11,$c19).
% 3.33/3.54 ** KEPT (pick-wt=4): 982 [] young($c4)|seat($c20).
% 3.33/3.54 ** KEPT (pick-wt=4): 983 [] young($c4)|furniture($c20).
% 3.33/3.54 ** KEPT (pick-wt=4): 984 [] young($c4)|front($c20).
% 3.33/3.54 ** KEPT (pick-wt=4): 985 [] young($c4)|seat($c19).
% 3.33/3.54 ** KEPT (pick-wt=4): 986 [] young($c4)|furniture($c19).
% 3.33/3.54 ** KEPT (pick-wt=4): 987 [] young($c4)|front($c19).
% 3.33/3.54 ** KEPT (pick-wt=4): 988 [] young($c4)|hollywood($c18).
% 3.33/3.54 ** KEPT (pick-wt=4): 989 [] young($c4)|city($c18).
% 3.33/3.54 ** KEPT (pick-wt=4): 990 [] young($c4)|event($c17).
% 3.33/3.54 ** KEPT (pick-wt=4): 991 [] young($c4)|chevy($c16).
% 3.33/3.54 ** KEPT (pick-wt=4): 992 [] young($c4)|car($c16).
% 3.33/3.54 ** KEPT (pick-wt=4): 993 [] young($c4)|white($c16).
% 3.33/3.54 ** KEPT (pick-wt=4): 994 [] young($c4)|dirty($c16).
% 3.33/3.54 ** KEPT (pick-wt=4): 995 [] young($c4)|old($c16).
% 3.33/3.54 ** KEPT (pick-wt=4): 996 [] young($c4)|street($c15).
% 3.33/3.54 ** KEPT (pick-wt=4): 997 [] young($c4)|way($c15).
% 3.33/3.54 ** KEPT (pick-wt=4): 998 [] young($c4)|lonely($c15).
% 3.33/3.54 ** KEPT (pick-wt=5): 999 [] young($c4)|barrel($c17,$c16).
% 3.33/3.54 ** KEPT (pick-wt=5): 1000 [] young($c4)|down($c17,$c15).
% 3.33/3.54 ** KEPT (pick-wt=5): 1001 [] young($c4)|in($c17,$c18).
% 3.33/3.54 ** KEPT (pick-wt=4): 1002 [] young($c4)|fellow($c14).
% 3.33/3.54 ** KEPT (pick-wt=4): 1003 [] young($c4)|man($c14).
% 3.33/3.54 ** KEPT (pick-wt=4): 1004 [] young($c4)|young($c14).
% 3.33/3.54 ** KEPT (pick-wt=4): 1005 [] young($c4)|fellow($c13).
% 3.33/3.54 ** KEPT (pick-wt=4): 1006 [] young($c4)|man($c13).
% 3.33/3.54 ** KEPT (pick-wt=4): 1007 [] young($c4)|young($c13).
% 3.33/3.54 ** KEPT (pick-wt=5): 1008 [] young($c4)|$c14=$c12.
% 3.33/3.54 ** KEPT (pick-wt=5): 1009 [] young($c4)|in($c12,$c20).
% 3.33/3.54 ** KEPT (pick-wt=5): 1010 [] young($c4)|$c13=$c11.
% 3.33/3.54 ** KEPT (pick-wt=5): 1011 [] young($c4)|in($c11,$c19).
% 3.33/3.54 ** KEPT (pick-wt=4): 1012 [] fellow($c3)|seat($c20).
% 3.33/3.54 ** KEPT (pick-wt=4): 1013 [] fellow($c3)|furniture($c20).
% 3.33/3.54 ** KEPT (pick-wt=4): 1014 [] fellow($c3)|front($c20).
% 3.33/3.54 ** KEPT (pick-wt=4): 1015 [] fellow($c3)|seat($c19).
% 3.33/3.54 ** KEPT (pick-wt=4): 1016 [] fellow($c3)|furniture($c19).
% 3.33/3.54 ** KEPT (pick-wt=4): 1017 [] fellow($c3)|front($c19).
% 3.33/3.54 ** KEPT (pick-wt=4): 1018 [] fellow($c3)|hollywood($c18).
% 3.33/3.54 ** KEPT (pick-wt=4): 1019 [] fellow($c3)|city($c18).
% 3.33/3.54 ** KEPT (pick-wt=4): 1020 [] fellow($c3)|event($c17).
% 3.33/3.54 ** KEPT (pick-wt=4): 1021 [] fellow($c3)|chevy($c16).
% 3.33/3.54 ** KEPT (pick-wt=4): 1022 [] fellow($c3)|car($c16).
% 3.33/3.54 ** KEPT (pick-wt=4): 1023 [] fellow($c3)|white($c16).
% 3.33/3.54 ** KEPT (pick-wt=4): 1024 [] fellow($c3)|dirty($c16).
% 3.33/3.54 ** KEPT (pick-wt=4): 1025 [] fellow($c3)|old($c16).
% 3.33/3.54 ** KEPT (pick-wt=4): 1026 [] fellow($c3)|street($c15).
% 3.33/3.54 ** KEPT (pick-wt=4): 1027 [] fellow($c3)|way($c15).
% 3.33/3.54 ** KEPT (pick-wt=4): 1028 [] fellow($c3)|lonely($c15).
% 3.33/3.54 ** KEPT (pick-wt=5): 1029 [] fellow($c3)|barrel($c17,$c16).
% 3.33/3.54 ** KEPT (pick-wt=5): 1030 [] fellow($c3)|down($c17,$c15).
% 3.33/3.54 ** KEPT (pick-wt=5): 1031 [] fellow($c3)|in($c17,$c18).
% 3.33/3.54 ** KEPT (pick-wt=4): 1032 [] fellow($c3)|fellow($c14).
% 3.33/3.54 ** KEPT (pick-wt=4): 1033 [] fellow($c3)|man($c14).
% 3.33/3.54 ** KEPT (pick-wt=4): 1034 [] fellow($c3)|young($c14).
% 3.33/3.54 ** KEPT (pick-wt=4): 1035 [] fellow($c3)|fellow($c13).
% 3.33/3.54 ** KEPT (pick-wt=4): 1036 [] fellow($c3)|man($c13).
% 3.33/3.54 ** KEPT (pick-wt=4): 1037 [] fellow($c3)|young($c13).
% 3.33/3.54 ** KEPT (pick-wt=5): 1038 [] fellow($c3)|$c14=$c12.
% 3.33/3.54 ** KEPT (pick-wt=5): 1039 [] fellow($c3)|in($c12,$c20).
% 3.33/3.54 ** KEPT (pick-wt=5): 1040 [] fellow($c3)|$c13=$c11.
% 3.33/3.54 ** KEPT (pick-wt=5): 1041 [] fellow($c3)|in($c11,$c19).
% 3.33/3.54 ** KEPT (pick-wt=4): 1042 [] man($c3)|seat($c20).
% 3.33/3.54 ** KEPT (pick-wt=4): 1043 [] man($c3)|furniture($c20).
% 3.33/3.54 ** KEPT (pick-wt=4): 1044 [] man($c3)|front($c20).
% 3.33/3.54 ** KEPT (pick-wt=4): 1045 [] man($c3)|seat($c19).
% 3.33/3.54 ** KEPT (pick-wt=4): 1046 [] man($c3)|furniture($c19).
% 3.33/3.54 ** KEPT (pick-wt=4): 1047 [] man($c3)|front($c19).
% 3.33/3.54 ** KEPT (pick-wt=4): 1048 [] man($c3)|hollywood($c18).
% 3.33/3.54 ** KEPT (pick-wt=4): 1049 [] man($c3)|city($c18).
% 3.33/3.54 ** KEPT (pick-wt=4): 1050 [] man($c3)|event($c17).
% 3.33/3.54 ** KEPT (pick-wt=4): 1051 [] man($c3)|chevy($c16).
% 3.33/3.54 ** KEPT (pick-wt=4): 1052 [] man($c3)|car($c16).
% 3.33/3.54 ** KEPT (pick-wt=4): 1053 [] man($c3)|white($c16).
% 3.33/3.54 ** KEPT (pick-wt=4): 1054 [] man($c3)|dirty($c16).
% 3.33/3.54 ** KEPT (pick-wt=4): 1055 [] man($c3)|old($c16).
% 3.33/3.54 ** KEPT (pick-wt=4): 1056 [] man($c3)|street($c15).
% 3.33/3.54 ** KEPT (pick-wt=4): 1057 [] man($c3)|way($c15).
% 3.33/3.54 ** KEPT (pick-wt=4): 1058 [] man($c3)|lonely($c15).
% 3.33/3.54 ** KEPT (pick-wt=5): 1059 [] man($c3)|barrel($c17,$c16).
% 3.33/3.54 ** KEPT (pick-wt=5): 1060 [] man($c3)|down($c17,$c15).
% 3.33/3.54 ** KEPT (pick-wt=5): 1061 [] man($c3)|in($c17,$c18).
% 3.33/3.54 ** KEPT (pick-wt=4): 1062 [] man($c3)|fellow($c14).
% 3.33/3.54 ** KEPT (pick-wt=4): 1063 [] man($c3)|man($c14).
% 3.33/3.54 ** KEPT (pick-wt=4): 1064 [] man($c3)|young($c14).
% 3.33/3.54 ** KEPT (pick-wt=4): 1065 [] man($c3)|fellow($c13).
% 3.33/3.54 ** KEPT (pick-wt=4): 1066 [] man($c3)|man($c13).
% 3.33/3.54 ** KEPT (pick-wt=4): 1067 [] man($c3)|young($c13).
% 3.33/3.54 ** KEPT (pick-wt=5): 1068 [] man($c3)|$c14=$c12.
% 3.33/3.54 ** KEPT (pick-wt=5): 1069 [] man($c3)|in($c12,$c20).
% 3.33/3.54 ** KEPT (pick-wt=5): 1070 [] man($c3)|$c13=$c11.
% 3.33/3.54 ** KEPT (pick-wt=5): 1071 [] man($c3)|in($c11,$c19).
% 3.33/3.54 ** KEPT (pick-wt=4): 1072 [] young($c3)|seat($c20).
% 3.33/3.54 ** KEPT (pick-wt=4): 1073 [] young($c3)|furniture($c20).
% 3.33/3.54 ** KEPT (pick-wt=4): 1074 [] young($c3)|front($c20).
% 3.33/3.54 ** KEPT (pick-wt=4): 1075 [] young($c3)|seat($c19).
% 3.33/3.54 ** KEPT (pick-wt=4): 1076 [] young($c3)|furniture($c19).
% 3.33/3.54 ** KEPT (pick-wt=4): 1077 [] young($c3)|front($c19).
% 3.33/3.54 ** KEPT (pick-wt=4): 1078 [] young($c3)|hollywood($c18).
% 3.33/3.54 ** KEPT (pick-wt=4): 1079 [] young($c3)|city($c18).
% 3.33/3.54 ** KEPT (pick-wt=4): 1080 [] young($c3)|event($c17).
% 3.33/3.54 ** KEPT (pick-wt=4): 1081 [] young($c3)|chevy($c16).
% 3.33/3.54 ** KEPT (pick-wt=4): 1082 [] young($c3)|car($c16).
% 3.33/3.54 ** KEPT (pick-wt=4): 1083 [] young($c3)|white($c16).
% 3.33/3.54 ** KEPT (pick-wt=4): 1084 [] young($c3)|dirty($c16).
% 3.33/3.54 ** KEPT (pick-wt=4): 1085 [] young($c3)|old($c16).
% 3.33/3.54 ** KEPT (pick-wt=4): 1086 [] young($c3)|street($c15).
% 3.33/3.54 ** KEPT (pick-wt=4): 1087 [] young($c3)|way($c15).
% 3.33/3.54 ** KEPT (pick-wt=4): 1088 [] young($c3)|lonely($c15).
% 3.33/3.54 ** KEPT (pick-wt=5): 1089 [] young($c3)|barrel($c17,$c16).
% 3.33/3.54 ** KEPT (pick-wt=5): 1090 [] young($c3)|down($c17,$c15).
% 3.33/3.54 ** KEPT (pick-wt=5): 1091 [] young($c3)|in($c17,$c18).
% 3.33/3.54 ** KEPT (pick-wt=4): 1092 [] young($c3)|fellow($c14).
% 3.33/3.54 ** KEPT (pick-wt=4): 1093 [] young($c3)|man($c14).
% 3.33/3.54 ** KEPT (pick-wt=4): 1094 [] young($c3)|young($c14).
% 3.33/3.54 ** KEPT (pick-wt=4): 1095 [] young($c3)|fellow($c13).
% 3.33/3.54 ** KEPT (pick-wt=4): 1096 [] young($c3)|man($c13).
% 3.33/3.54 ** KEPT (pick-wt=4): 1097 [] young($c3)|young($c13).
% 3.33/3.54 ** KEPT (pick-wt=5): 1098 [] young($c3)|$c14=$c12.
% 3.33/3.54 ** KEPT (pick-wt=5): 1099 [] young($c3)|in($c12,$c20).
% 3.33/3.54 ** KEPT (pick-wt=5): 1100 [] young($c3)|$c13=$c11.
% 3.33/3.54 ** KEPT (pick-wt=5): 1101 [] young($c3)|in($c11,$c19).
% 3.33/3.54 ** KEPT (pick-wt=5): 1102 [] $c4=$c2|seat($c20).
% 3.33/3.54 ** KEPT (pick-wt=5): 1103 [] $c4=$c2|furniture($c20).
% 3.33/3.54 ** KEPT (pick-wt=5): 1104 [] $c4=$c2|front($c20).
% 3.33/3.54 ** KEPT (pick-wt=5): 1105 [] $c4=$c2|seat($c19).
% 3.33/3.54 ** KEPT (pick-wt=5): 1106 [] $c4=$c2|furniture($c19).
% 3.33/3.54 ** KEPT (pick-wt=5): 1107 [] $c4=$c2|front($c19).
% 3.33/3.54 ** KEPT (pick-wt=5): 1108 [] $c4=$c2|hollywood($c18).
% 3.33/3.54 ** KEPT (pick-wt=5): 1109 [] $c4=$c2|city($c18).
% 3.33/3.54 ** KEPT (pick-wt=5): 1110 [] $c4=$c2|event($c17).
% 3.33/3.54 ** KEPT (pick-wt=5): 1111 [] $c4=$c2|chevy($c16).
% 3.33/3.54 ** KEPT (pick-wt=5): 1112 [] $c4=$c2|car($c16).
% 3.33/3.54 ** KEPT (pick-wt=5): 1113 [] $c4=$c2|white($c16).
% 3.33/3.54 ** KEPT (pick-wt=5): 1114 [] $c4=$c2|dirty($c16).
% 3.33/3.54 ** KEPT (pick-wt=5): 1115 [] $c4=$c2|old($c16).
% 3.33/3.54 ** KEPT (pick-wt=5): 1116 [] $c4=$c2|street($c15).
% 3.33/3.54 ** KEPT (pick-wt=5): 1117 [] $c4=$c2|way($c15).
% 3.33/3.54 ** KEPT (pick-wt=5): 1118 [] $c4=$c2|lonely($c15).
% 3.33/3.54 ** KEPT (pick-wt=6): 1119 [] $c4=$c2|barrel($c17,$c16).
% 3.33/3.54 ** KEPT (pick-wt=6): 1120 [] $c4=$c2|down($c17,$c15).
% 3.33/3.54 ** KEPT (pick-wt=6): 1121 [] $c4=$c2|in($c17,$c18).
% 3.33/3.54 ** KEPT (pick-wt=5): 1122 [] $c4=$c2|fellow($c14).
% 3.33/3.54 ** KEPT (pick-wt=5): 1123 [] $c4=$c2|man($c14).
% 3.33/3.54 ** KEPT (pick-wt=5): 1124 [] $c4=$c2|young($c14).
% 3.33/3.54 ** KEPT (pick-wt=5): 1125 [] $c4=$c2|fellow($c13).
% 3.33/3.54 ** KEPT (pick-wt=5): 1126 [] $c4=$c2|man($c13).
% 3.33/3.54 ** KEPT (pick-wt=5): 1127 [] $c4=$c2|young($c13).
% 3.33/3.54 ** KEPT (pick-wt=6): 1128 [] $c4=$c2|$c14=$c12.
% 3.33/3.54 ** KEPT (pick-wt=6): 1129 [] $c4=$c2|in($c12,$c20).
% 3.33/3.54 ** KEPT (pick-wt=6): 1130 [] $c4=$c2|$c13=$c11.
% 3.33/3.54 ** KEPT (pick-wt=6): 1131 [] $c4=$c2|in($c11,$c19).
% 3.33/3.54 ** KEPT (pick-wt=5): 1132 [] in($c2,$c10)|seat($c20).
% 3.33/3.54 ** KEPT (pick-wt=5): 1133 [] in($c2,$c10)|furniture($c20).
% 3.33/3.54 ** KEPT (pick-wt=5): 1134 [] in($c2,$c10)|front($c20).
% 3.33/3.54 ** KEPT (pick-wt=5): 1135 [] in($c2,$c10)|seat($c19).
% 3.33/3.54 ** KEPT (pick-wt=5): 1136 [] in($c2,$c10)|furniture($c19).
% 3.33/3.54 ** KEPT (pick-wt=5): 1137 [] in($c2,$c10)|front($c19).
% 3.33/3.54 ** KEPT (pick-wt=5): 1138 [] in($c2,$c10)|hollywood($c18).
% 3.33/3.54 ** KEPT (pick-wt=5): 1139 [] in($c2,$c10)|city($c18).
% 3.33/3.54 ** KEPT (pick-wt=5): 1140 [] in($c2,$c10)|event($c17).
% 3.33/3.54 ** KEPT (pick-wt=5): 1141 [] in($c2,$c10)|chevy($c16).
% 3.33/3.54 ** KEPT (pick-wt=5): 1142 [] in($c2,$c10)|car($c16).
% 3.33/3.54 ** KEPT (pick-wt=5): 1143 [] in($c2,$c10)|white($c16).
% 3.33/3.54 ** KEPT (pick-wt=5): 1144 [] in($c2,$c10)|dirty($c16).
% 3.33/3.54 ** KEPT (pick-wt=5): 1145 [] in($c2,$c10)|old($c16).
% 3.33/3.54 ** KEPT (pick-wt=5): 1146 [] in($c2,$c10)|street($c15).
% 3.33/3.54 ** KEPT (pick-wt=5): 1147 [] in($c2,$c10)|way($c15).
% 3.33/3.54 ** KEPT (pick-wt=5): 1148 [] in($c2,$c10)|lonely($c15).
% 3.33/3.54 ** KEPT (pick-wt=6): 1149 [] in($c2,$c10)|barrel($c17,$c16).
% 3.33/3.54 ** KEPT (pick-wt=6): 1150 [] in($c2,$c10)|down($c17,$c15).
% 3.33/3.54 ** KEPT (pick-wt=6): 1151 [] in($c2,$c10)|in($c17,$c18).
% 3.33/3.54 ** KEPT (pick-wt=5): 1152 [] in($c2,$c10)|fellow($c14).
% 3.33/3.54 ** KEPT (pick-wt=5): 1153 [] in($c2,$c10)|man($c14).
% 3.33/3.54 ** KEPT (pick-wt=5): 1154 [] in($c2,$c10)|young($c14).
% 3.33/3.54 ** KEPT (pick-wt=5): 1155 [] in($c2,$c10)|fellow($c13).
% 3.33/3.54 ** KEPT (pick-wt=5): 1156 [] in($c2,$c10)|man($c13).
% 3.33/3.54 ** KEPT (pick-wt=5): 1157 [] in($c2,$c10)|young($c13).
% 3.33/3.54 ** KEPT (pick-wt=6): 1158 [] in($c2,$c10)|$c14=$c12.
% 3.33/3.54 ** KEPT (pick-wt=6): 1159 [] in($c2,$c10)|in($c12,$c20).
% 3.33/3.54 ** KEPT (pick-wt=6): 1160 [] in($c2,$c10)|$c13=$c11.
% 3.33/3.54 ** KEPT (pick-wt=6): 1161 [] in($c2,$c10)|in($c11,$c19).
% 3.33/3.54 ** KEPT (pick-wt=5): 1162 [] $c3=$c1|seat($c20).
% 3.33/3.54 ** KEPT (pick-wt=5): 1163 [] $c3=$c1|furniture($c20).
% 3.33/3.54 ** KEPT (pickAlarm clock
% 299.90/300.11 Otter interrupted
% 299.90/300.11 PROOF NOT FOUND
%------------------------------------------------------------------------------