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