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