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