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