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