TSTP Solution File: NLP008-1 by Metis---2.4
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Metis---2.4
% Problem : NLP008-1 : TPTP v8.1.0. Released v2.4.0.
% Transfm : none
% Format : tptp:raw
% Command : metis --show proof --show saturation %s
% Computer : n029.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 : 600s
% DateTime : Mon Jul 18 03:13:42 EDT 2022
% Result : Satisfiable 0.19s 0.48s
% Output : Saturation 0.19s
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----WARNING: Could not form TPTP format derivation
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.11/0.12 % Problem : NLP008-1 : TPTP v8.1.0. Released v2.4.0.
% 0.11/0.12 % Command : metis --show proof --show saturation %s
% 0.12/0.33 % Computer : n029.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 : 600
% 0.12/0.33 % DateTime : Fri Jul 1 06:02:24 EDT 2022
% 0.12/0.33 % CPUTime :
% 0.12/0.34 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% 0.19/0.48 % SZS status Satisfiable for /export/starexec/sandbox2/benchmark/theBenchmark.p
% 0.19/0.48
% 0.19/0.48 SZS output start Saturation for /export/starexec/sandbox2/benchmark/theBenchmark.p
% 0.19/0.48 |- city skc29
% 0.19/0.48 |- event skc28
% 0.19/0.48 |- lonely skc27
% 0.19/0.48 |- chevy skc26
% 0.19/0.48 |- seat skc25
% 0.19/0.48 |- young skc24
% 0.19/0.48 |- fellow skc23
% 0.19/0.48 |- city skc22
% 0.19/0.48 |- event skc21
% 0.19/0.48 |- old skc20
% 0.19/0.48 |- street skc19
% 0.19/0.48 |- seat skc18
% 0.19/0.48 |- front skc17
% 0.19/0.48 |- fellow skc16
% 0.19/0.48 |- young skc15
% 0.19/0.48 |- old skc26 \/ ssSkC0
% 0.19/0.48 |- dirty skc26 \/ ssSkC0
% 0.19/0.48 |- ssSkC0 \/ white skc26
% 0.19/0.48 |- car skc26 \/ ssSkC0
% 0.19/0.48 |- ssSkC0 \/ street skc27
% 0.19/0.48 |- ssSkC0 \/ way skc27
% 0.19/0.48 |- hollywood skc29 \/ ssSkC0
% 0.19/0.48 |- ssSkC0 \/ young skc23
% 0.19/0.48 |- man skc23 \/ ssSkC0
% 0.19/0.48 |- fellow skc24 \/ ssSkC0
% 0.19/0.48 |- man skc24 \/ ssSkC0
% 0.19/0.48 |- front skc25 \/ ssSkC0
% 0.19/0.48 |- furniture skc25 \/ ssSkC0
% 0.19/0.48 |- ~ssSkC0 \/ lonely skc19
% 0.19/0.48 |- ~ssSkC0 \/ way skc19
% 0.19/0.48 |- ~ssSkC0 \/ chevy skc20
% 0.19/0.48 |- ~ssSkC0 \/ car skc20
% 0.19/0.48 |- ~ssSkC0 \/ white skc20
% 0.19/0.48 |- ~ssSkC0 \/ dirty skc20
% 0.19/0.48 |- ~ssSkC0 \/ hollywood skc22
% 0.19/0.48 |- ~ssSkC0 \/ fellow skc15
% 0.19/0.48 |- ~ssSkC0 \/ man skc15
% 0.19/0.48 |- ~ssSkC0 \/ front skc18
% 0.19/0.48 |- ~ssSkC0 \/ furniture skc18
% 0.19/0.48 |- ~ssSkC0 \/ young skc16
% 0.19/0.48 |- ~ssSkC0 \/ man skc16
% 0.19/0.48 |- ~ssSkC0 \/ seat skc17
% 0.19/0.48 |- ~ssSkC0 \/ furniture skc17
% 0.19/0.48 |- down skc28 skc27 \/ ssSkC0
% 0.19/0.48 |- barrel skc28 skc26 \/ ssSkC0
% 0.19/0.48 |- in skc28 skc29 \/ ssSkC0
% 0.19/0.48 |- in skc23 skc25 \/ ssSkC0
% 0.19/0.48 |- in skc24 skc25 \/ ssSkC0
% 0.19/0.48 |- ~ssSkC0 \/ down skc21 skc19
% 0.19/0.48 |- ~ssSkC0 \/ barrel skc21 skc20
% 0.19/0.48 |- ~ssSkC0 \/ in skc21 skc22
% 0.19/0.48 |- ~ssSkC0 \/ in skc15 skc18
% 0.19/0.48 |- ~ssSkC0 \/ in skc16 skc17
% 0.19/0.48 |- ~(skc24 = skc23) \/ ssSkC0
% 0.19/0.48 |- ~(skc16 = skc15) \/ ~ssSkC0
% 0.19/0.48 |- ~barrel $W $U \/ ~car $U \/ ~chevy $U \/ ~city $X \/ ~dirty $U \/
% 0.19/0.48 ~down $W $V \/ ~event $W \/ ~fellow $Y \/ ~fellow $Z \/ ~front $X1 \/
% 0.19/0.48 ~furniture $X1 \/ ~hollywood $X \/ ~in $W $X \/ ~in $Y $X1 \/
% 0.19/0.48 ~in $Z $X1 \/ ~lonely $V \/ ~man $Y \/ ~man $Z \/ ~old $U \/
% 0.19/0.48 ~seat $X1 \/ ~ssSkC0 \/ ~street $V \/ ~way $V \/ ~white $U \/
% 0.19/0.48 ~young $Y \/ ~young $Z \/ $Z = $Y
% 0.19/0.48 |- ~barrel $W $V \/ ~car $V \/ ~chevy $V \/ ~city $X \/ ~dirty $V \/
% 0.19/0.48 ~down $W $U \/ ~event $W \/ ~fellow $X1 \/ ~fellow $Y \/ ~front $X2 \/
% 0.19/0.48 ~front $Z \/ ~furniture $X2 \/ ~furniture $Z \/ ~hollywood $X \/
% 0.19/0.48 ~in $W $X \/ ~in $X1 $X2 \/ ~in $Y $Z \/ ~lonely $U \/ ~man $X1 \/
% 0.19/0.48 ~man $Y \/ ~old $V \/ ~seat $X2 \/ ~seat $Z \/ ~street $U \/ ~way $U \/
% 0.19/0.48 ~white $V \/ ~young $X1 \/ ~young $Y \/ $X1 = $Y \/ ssSkC0
% 0.19/0.48 |- ~barrel $Y $U \/ ~car $U \/ ~chevy $U \/ ~city $X1 \/ ~dirty $U \/
% 0.19/0.48 ~down $Y $V \/ ~event $Y \/ ~fellow $Y \/ ~fellow $Z \/ ~front $X1 \/
% 0.19/0.48 ~furniture $X1 \/ ~hollywood $X1 \/ ~in $Y $X1 \/ ~in $Z $X1 \/
% 0.19/0.48 ~lonely $V \/ ~man $Y \/ ~man $Z \/ ~old $U \/ ~seat $X1 \/ ~ssSkC0 \/
% 0.19/0.48 ~street $V \/ ~way $V \/ ~white $U \/ ~young $Y \/ ~young $Z \/ $Z = $Y
% 0.19/0.48 |- ~barrel $X1 $V \/ ~car $V \/ ~chevy $V \/ ~city $X2 \/ ~dirty $V \/
% 0.19/0.48 ~down $X1 $U \/ ~event $X1 \/ ~fellow $X1 \/ ~fellow $Y \/ ~front $X2 \/
% 0.19/0.48 ~front $Z \/ ~furniture $X2 \/ ~furniture $Z \/ ~hollywood $X2 \/
% 0.19/0.48 ~in $X1 $X2 \/ ~in $Y $Z \/ ~lonely $U \/ ~man $X1 \/ ~man $Y \/
% 0.19/0.48 ~old $V \/ ~seat $X2 \/ ~seat $Z \/ ~street $U \/ ~way $U \/
% 0.19/0.48 ~white $V \/ ~young $X1 \/ ~young $Y \/ $X1 = $Y \/ ssSkC0
% 0.19/0.48 |- ~barrel skc23 $_6 \/ ~car $_6 \/ ~chevy $_6 \/ ~city skc25 \/
% 0.19/0.48 ~dirty $_6 \/ ~down skc23 $_5 \/ ~event skc23 \/ ~fellow $_9 \/
% 0.19/0.48 ~front $_10 \/ ~front skc25 \/ ~furniture $_10 \/ ~furniture skc25 \/
% 0.19/0.48 ~hollywood skc25 \/ ~in $_9 $_10 \/ ~lonely $_5 \/ ~man $_9 \/
% 0.19/0.48 ~man skc23 \/ ~old $_6 \/ ~seat $_10 \/ ~street $_5 \/ ~way $_5 \/
% 0.19/0.48 ~white $_6 \/ ~young $_9 \/ ~young skc23 \/ skc23 = $_9 \/ ssSkC0
% 0.19/0.48 |- ~barrel skc24 $_6 \/ ~car $_6 \/ ~chevy $_6 \/ ~city skc25 \/
% 0.19/0.48 ~dirty $_6 \/ ~down skc24 $_5 \/ ~event skc24 \/ ~fellow $_9 \/
% 0.19/0.48 ~fellow skc24 \/ ~front $_10 \/ ~front skc25 \/ ~furniture $_10 \/
% 0.19/0.48 ~furniture skc25 \/ ~hollywood skc25 \/ ~in $_9 $_10 \/ ~lonely $_5 \/
% 0.19/0.48 ~man $_9 \/ ~man skc24 \/ ~old $_6 \/ ~seat $_10 \/ ~street $_5 \/
% 0.19/0.48 ~way $_5 \/ ~white $_6 \/ ~young $_9 \/ skc24 = $_9 \/ ssSkC0
% 0.19/0.49 |- ~barrel skc28 $_6 \/ ~car $_6 \/ ~chevy $_6 \/ ~dirty $_6 \/
% 0.19/0.49 ~down skc28 $_5 \/ ~fellow $_9 \/ ~fellow skc28 \/ ~front $_10 \/
% 0.19/0.49 ~front skc29 \/ ~furniture $_10 \/ ~furniture skc29 \/
% 0.19/0.49 ~hollywood skc29 \/ ~in $_9 $_10 \/ ~lonely $_5 \/ ~man $_9 \/
% 0.19/0.49 ~man skc28 \/ ~old $_6 \/ ~seat $_10 \/ ~seat skc29 \/ ~street $_5 \/
% 0.19/0.49 ~way $_5 \/ ~white $_6 \/ ~young $_9 \/ ~young skc28 \/ skc28 = $_9 \/
% 0.19/0.49 ssSkC0
% 0.19/0.49 |- ~barrel $_7 $_6 \/ ~car $_6 \/ ~chevy $_6 \/ ~city $_8 \/ ~dirty $_6 \/
% 0.19/0.49 ~down $_7 $_5 \/ ~event $_7 \/ ~fellow $_7 \/ ~front $_8 \/
% 0.19/0.49 ~front skc25 \/ ~furniture $_8 \/ ~furniture skc25 \/ ~hollywood $_8 \/
% 0.19/0.49 ~in $_7 $_8 \/ ~lonely $_5 \/ ~man $_7 \/ ~man skc23 \/ ~old $_6 \/
% 0.19/0.49 ~seat $_8 \/ ~street $_5 \/ ~way $_5 \/ ~white $_6 \/ ~young $_7 \/
% 0.19/0.49 ~young skc23 \/ $_7 = skc23 \/ ssSkC0
% 0.19/0.49 |- ~barrel $_7 $_6 \/ ~car $_6 \/ ~chevy $_6 \/ ~city $_8 \/ ~dirty $_6 \/
% 0.19/0.49 ~down $_7 $_5 \/ ~event $_7 \/ ~fellow $_7 \/ ~fellow skc24 \/
% 0.19/0.49 ~front $_8 \/ ~front skc25 \/ ~furniture $_8 \/ ~furniture skc25 \/
% 0.19/0.49 ~hollywood $_8 \/ ~in $_7 $_8 \/ ~lonely $_5 \/ ~man $_7 \/
% 0.19/0.49 ~man skc24 \/ ~old $_6 \/ ~seat $_8 \/ ~street $_5 \/ ~way $_5 \/
% 0.19/0.49 ~white $_6 \/ ~young $_7 \/ $_7 = skc24 \/ ssSkC0
% 0.19/0.49 |- ~barrel $_7 $_6 \/ ~car $_6 \/ ~chevy $_6 \/ ~city $_8 \/ ~dirty $_6 \/
% 0.19/0.49 ~down $_7 $_5 \/ ~event $_7 \/ ~fellow $_7 \/ ~fellow skc28 \/
% 0.19/0.49 ~front $_8 \/ ~front skc29 \/ ~furniture $_8 \/ ~furniture skc29 \/
% 0.19/0.49 ~hollywood $_8 \/ ~in $_7 $_8 \/ ~lonely $_5 \/ ~man $_7 \/
% 0.19/0.49 ~man skc28 \/ ~old $_6 \/ ~seat $_8 \/ ~seat skc29 \/ ~street $_5 \/
% 0.19/0.49 ~way $_5 \/ ~white $_6 \/ ~young $_7 \/ ~young skc28 \/ $_7 = skc28 \/
% 0.19/0.49 ssSkC0
% 0.19/0.49 |- ~barrel skc28 $_12 \/ ~car $_12 \/ ~chevy $_12 \/ ~dirty $_12 \/
% 0.19/0.49 ~down skc28 $_11 \/ ~fellow skc24 \/ ~fellow skc28 \/ ~front skc25 \/
% 0.19/0.49 ~front skc29 \/ ~furniture skc25 \/ ~furniture skc29 \/
% 0.19/0.49 ~hollywood skc29 \/ ~lonely $_11 \/ ~man skc24 \/ ~man skc28 \/
% 0.19/0.49 ~old $_12 \/ ~seat skc29 \/ ~street $_11 \/ ~way $_11 \/ ~white $_12 \/
% 0.19/0.49 ~young skc28 \/ skc28 = skc24 \/ ssSkC0
% 0.19/0.49 |- ~barrel skc28 $_18 \/ ~car $_18 \/ ~chevy $_18 \/ ~dirty $_18 \/
% 0.19/0.49 ~fellow skc24 \/ ~fellow skc28 \/ ~front skc25 \/ ~front skc29 \/
% 0.19/0.49 ~furniture skc25 \/ ~furniture skc29 \/ ~hollywood skc29 \/
% 0.19/0.49 ~man skc24 \/ ~man skc28 \/ ~old $_18 \/ ~seat skc29 \/ ~street skc27 \/
% 0.19/0.49 ~way skc27 \/ ~white $_18 \/ ~young skc28 \/ skc28 = skc24 \/ ssSkC0
% 0.19/0.49 |- ~car skc26 \/ ~dirty skc26 \/ ~fellow skc24 \/ ~fellow skc28 \/
% 0.19/0.49 ~front skc25 \/ ~front skc29 \/ ~furniture skc25 \/ ~furniture skc29 \/
% 0.19/0.49 ~hollywood skc29 \/ ~man skc24 \/ ~man skc28 \/ ~old skc26 \/
% 0.19/0.49 ~seat skc29 \/ ~street skc27 \/ ~way skc27 \/ ~white skc26 \/
% 0.19/0.49 ~young skc28 \/ skc28 = skc24 \/ ssSkC0
% 0.19/0.49 |- ~barrel skc28 $_21 \/ ~car $_21 \/ ~chevy $_21 \/ ~dirty $_21 \/
% 0.19/0.49 ~down skc28 $_20 \/ ~fellow skc28 \/ ~front skc25 \/ ~front skc29 \/
% 0.19/0.49 ~furniture skc25 \/ ~furniture skc29 \/ ~hollywood skc29 \/
% 0.19/0.49 ~lonely $_20 \/ ~man skc23 \/ ~man skc28 \/ ~old $_21 \/ ~seat skc29 \/
% 0.19/0.49 ~street $_20 \/ ~way $_20 \/ ~white $_21 \/ ~young skc23 \/
% 0.19/0.49 ~young skc28 \/ skc28 = skc23 \/ ssSkC0
% 0.19/0.49 |- ~barrel skc28 $_27 \/ ~car $_27 \/ ~chevy $_27 \/ ~dirty $_27 \/
% 0.19/0.49 ~fellow skc28 \/ ~front skc25 \/ ~front skc29 \/ ~furniture skc25 \/
% 0.19/0.49 ~furniture skc29 \/ ~hollywood skc29 \/ ~man skc23 \/ ~man skc28 \/
% 0.19/0.49 ~old $_27 \/ ~seat skc29 \/ ~street skc27 \/ ~way skc27 \/
% 0.19/0.49 ~white $_27 \/ ~young skc23 \/ ~young skc28 \/ skc28 = skc23 \/ ssSkC0
% 0.19/0.49 |- ~car skc26 \/ ~dirty skc26 \/ ~fellow skc28 \/ ~front skc25 \/
% 0.19/0.49 ~front skc29 \/ ~furniture skc25 \/ ~furniture skc29 \/
% 0.19/0.49 ~hollywood skc29 \/ ~man skc23 \/ ~man skc28 \/ ~old skc26 \/
% 0.19/0.49 ~seat skc29 \/ ~street skc27 \/ ~way skc27 \/ ~white skc26 \/
% 0.19/0.49 ~young skc23 \/ ~young skc28 \/ skc28 = skc23 \/ ssSkC0
% 0.19/0.49 |- ~barrel skc24 $_35 \/ ~car $_35 \/ ~chevy $_35 \/ ~city skc25 \/
% 0.19/0.49 ~dirty $_35 \/ ~down skc24 $_34 \/ ~event skc24 \/ ~fellow skc24 \/
% 0.19/0.49 ~fellow skc28 \/ ~front skc25 \/ ~front skc29 \/ ~furniture skc25 \/
% 0.19/0.49 ~furniture skc29 \/ ~hollywood skc25 \/ ~lonely $_34 \/ ~man skc24 \/
% 0.19/0.49 ~man skc28 \/ ~old $_35 \/ ~seat skc29 \/ ~street $_34 \/ ~way $_34 \/
% 0.19/0.49 ~white $_35 \/ ~young skc28 \/ skc24 = skc28 \/ ssSkC0
% 0.19/0.49 |- ~barrel skc23 $_41 \/ ~car $_41 \/ ~chevy $_41 \/ ~city skc25 \/
% 0.19/0.49 ~dirty $_41 \/ ~down skc23 $_40 \/ ~event skc23 \/ ~fellow skc28 \/
% 0.19/0.49 ~front skc25 \/ ~front skc29 \/ ~furniture skc25 \/ ~furniture skc29 \/
% 0.19/0.49 ~hollywood skc25 \/ ~lonely $_40 \/ ~man skc23 \/ ~man skc28 \/
% 0.19/0.49 ~old $_41 \/ ~seat skc29 \/ ~street $_40 \/ ~way $_40 \/ ~white $_41 \/
% 0.19/0.49 ~young skc23 \/ ~young skc28 \/ skc23 = skc28 \/ ssSkC0
% 0.19/0.49 |- ~barrel skc23 $_57 \/ ~car $_57 \/ ~chevy $_57 \/ ~city skc25 \/
% 0.19/0.49 ~dirty $_57 \/ ~down skc23 $_56 \/ ~event skc23 \/ ~fellow $_60 \/
% 0.19/0.49 ~fellow $_62 \/ ~front $_61 \/ ~front $_63 \/ ~furniture $_61 \/
% 0.19/0.49 ~furniture $_63 \/ ~hollywood skc25 \/ ~in $_60 $_61 \/ ~in $_62 $_63 \/
% 0.19/0.49 ~lonely $_56 \/ ~man $_60 \/ ~man $_62 \/ ~old $_57 \/ ~seat $_61 \/
% 0.19/0.49 ~seat $_63 \/ ~street $_56 \/ ~way $_56 \/ ~white $_57 \/ ~young $_60 \/
% 0.19/0.49 ~young $_62 \/ $_60 = $_62 \/ ssSkC0
% 0.19/0.49 |- ~barrel skc24 $_57 \/ ~car $_57 \/ ~chevy $_57 \/ ~city skc25 \/
% 0.19/0.49 ~dirty $_57 \/ ~down skc24 $_56 \/ ~event skc24 \/ ~fellow $_60 \/
% 0.19/0.49 ~fellow $_62 \/ ~front $_61 \/ ~front $_63 \/ ~furniture $_61 \/
% 0.19/0.49 ~furniture $_63 \/ ~hollywood skc25 \/ ~in $_60 $_61 \/ ~in $_62 $_63 \/
% 0.19/0.49 ~lonely $_56 \/ ~man $_60 \/ ~man $_62 \/ ~old $_57 \/ ~seat $_61 \/
% 0.19/0.49 ~seat $_63 \/ ~street $_56 \/ ~way $_56 \/ ~white $_57 \/ ~young $_60 \/
% 0.19/0.49 ~young $_62 \/ $_60 = $_62 \/ ssSkC0
% 0.19/0.49 |- ~barrel skc28 $_57 \/ ~car $_57 \/ ~chevy $_57 \/ ~dirty $_57 \/
% 0.19/0.49 ~down skc28 $_56 \/ ~fellow $_60 \/ ~fellow $_62 \/ ~front $_61 \/
% 0.19/0.49 ~front $_63 \/ ~furniture $_61 \/ ~furniture $_63 \/ ~hollywood skc29 \/
% 0.19/0.49 ~in $_60 $_61 \/ ~in $_62 $_63 \/ ~lonely $_56 \/ ~man $_60 \/
% 0.19/0.49 ~man $_62 \/ ~old $_57 \/ ~seat $_61 \/ ~seat $_63 \/ ~street $_56 \/
% 0.19/0.49 ~way $_56 \/ ~white $_57 \/ ~young $_60 \/ ~young $_62 \/ $_60 = $_62 \/
% 0.19/0.49 ssSkC0
% 0.19/0.49 |- ~barrel $_58 $_57 \/ ~car $_57 \/ ~chevy $_57 \/ ~city $_59 \/
% 0.19/0.49 ~dirty $_57 \/ ~down $_58 $_56 \/ ~event $_58 \/ ~fellow $_62 \/
% 0.19/0.49 ~front $_63 \/ ~front skc25 \/ ~furniture $_63 \/ ~furniture skc25 \/
% 0.19/0.49 ~hollywood $_59 \/ ~in $_58 $_59 \/ ~in $_62 $_63 \/ ~lonely $_56 \/
% 0.19/0.49 ~man $_62 \/ ~man skc23 \/ ~old $_57 \/ ~seat $_63 \/ ~street $_56 \/
% 0.19/0.49 ~way $_56 \/ ~white $_57 \/ ~young $_62 \/ ~young skc23 \/
% 0.19/0.49 skc23 = $_62 \/ ssSkC0
% 0.19/0.49 |- ~barrel $_58 $_57 \/ ~car $_57 \/ ~chevy $_57 \/ ~city $_59 \/
% 0.19/0.49 ~dirty $_57 \/ ~down $_58 $_56 \/ ~event $_58 \/ ~fellow $_62 \/
% 0.19/0.49 ~fellow skc24 \/ ~front $_63 \/ ~front skc25 \/ ~furniture $_63 \/
% 0.19/0.49 ~furniture skc25 \/ ~hollywood $_59 \/ ~in $_58 $_59 \/ ~in $_62 $_63 \/
% 0.19/0.49 ~lonely $_56 \/ ~man $_62 \/ ~man skc24 \/ ~old $_57 \/ ~seat $_63 \/
% 0.19/0.49 ~street $_56 \/ ~way $_56 \/ ~white $_57 \/ ~young $_62 \/
% 0.19/0.49 skc24 = $_62 \/ ssSkC0
% 0.19/0.49 |- ~barrel $_58 $_57 \/ ~car $_57 \/ ~chevy $_57 \/ ~city $_59 \/
% 0.19/0.49 ~dirty $_57 \/ ~down $_58 $_56 \/ ~event $_58 \/ ~fellow $_62 \/
% 0.19/0.49 ~fellow skc28 \/ ~front $_63 \/ ~front skc29 \/ ~furniture $_63 \/
% 0.19/0.49 ~furniture skc29 \/ ~hollywood $_59 \/ ~in $_58 $_59 \/ ~in $_62 $_63 \/
% 0.19/0.49 ~lonely $_56 \/ ~man $_62 \/ ~man skc28 \/ ~old $_57 \/ ~seat $_63 \/
% 0.19/0.49 ~seat skc29 \/ ~street $_56 \/ ~way $_56 \/ ~white $_57 \/
% 0.19/0.49 ~young $_62 \/ ~young skc28 \/ skc28 = $_62 \/ ssSkC0
% 0.19/0.49 |- ~barrel skc23 $_65 \/ ~car $_65 \/ ~chevy $_65 \/ ~city skc25 \/
% 0.19/0.49 ~dirty $_65 \/ ~down skc23 $_64 \/ ~event skc23 \/ ~fellow $_68 \/
% 0.19/0.49 ~fellow skc24 \/ ~front $_69 \/ ~front skc25 \/ ~furniture $_69 \/
% 0.19/0.49 ~furniture skc25 \/ ~hollywood skc25 \/ ~in $_68 $_69 \/ ~lonely $_64 \/
% 0.19/0.49 ~man $_68 \/ ~man skc24 \/ ~old $_65 \/ ~seat $_69 \/ ~street $_64 \/
% 0.19/0.49 ~way $_64 \/ ~white $_65 \/ ~young $_68 \/ skc24 = $_68 \/ ssSkC0
% 0.19/0.49 |- ~barrel skc28 $_65 \/ ~car $_65 \/ ~chevy $_65 \/ ~dirty $_65 \/
% 0.19/0.49 ~down skc28 $_64 \/ ~fellow $_68 \/ ~fellow skc24 \/ ~front $_69 \/
% 0.19/0.49 ~front skc25 \/ ~furniture $_69 \/ ~furniture skc25 \/
% 0.19/0.49 ~hollywood skc29 \/ ~in $_68 $_69 \/ ~lonely $_64 \/ ~man $_68 \/
% 0.19/0.49 ~man skc24 \/ ~old $_65 \/ ~seat $_69 \/ ~street $_64 \/ ~way $_64 \/
% 0.19/0.49 ~white $_65 \/ ~young $_68 \/ skc24 = $_68 \/ ssSkC0
% 0.19/0.49 |- ~barrel $_66 $_65 \/ ~car $_65 \/ ~chevy $_65 \/ ~city $_67 \/
% 0.19/0.49 ~dirty $_65 \/ ~down $_66 $_64 \/ ~event $_66 \/ ~fellow skc24 \/
% 0.19/0.49 ~fellow skc28 \/ ~front skc25 \/ ~front skc29 \/ ~furniture skc25 \/
% 0.19/0.49 ~furniture skc29 \/ ~hollywood $_67 \/ ~in $_66 $_67 \/ ~lonely $_64 \/
% 0.19/0.49 ~man skc24 \/ ~man skc28 \/ ~old $_65 \/ ~seat skc29 \/ ~street $_64 \/
% 0.19/0.49 ~way $_64 \/ ~white $_65 \/ ~young skc28 \/ skc24 = skc28 \/ ssSkC0
% 0.19/0.49 |- skc24 = skc23 \/ ssSkC0
% 0.19/0.49 |- ~(skc16 = skc15) \/ skc24 = skc23
% 0.19/0.49 |- skc24 = skc23 \/ in skc16 skc17
% 0.19/0.49 |- skc24 = skc23 \/ in skc15 skc18
% 0.19/0.49 |- skc24 = skc23 \/ in skc21 skc22
% 0.19/0.49 |- skc24 = skc23 \/ barrel skc21 skc20
% 0.19/0.49 |- skc24 = skc23 \/ down skc21 skc19
% 0.19/0.49 |- skc24 = skc23 \/ furniture skc17
% 0.19/0.49 |- skc24 = skc23 \/ seat skc17
% 0.19/0.49 |- skc24 = skc23 \/ man skc16
% 0.19/0.49 |- skc24 = skc23 \/ young skc16
% 0.19/0.49 |- skc24 = skc23 \/ furniture skc18
% 0.19/0.49 |- skc24 = skc23 \/ front skc18
% 0.19/0.49 |- skc24 = skc23 \/ man skc15
% 0.19/0.49 |- skc24 = skc23 \/ fellow skc15
% 0.19/0.49 |- skc24 = skc23 \/ hollywood skc22
% 0.19/0.49 |- skc24 = skc23 \/ dirty skc20
% 0.19/0.49 |- skc24 = skc23 \/ white skc20
% 0.19/0.49 |- skc24 = skc23 \/ car skc20
% 0.19/0.49 |- skc24 = skc23 \/ chevy skc20
% 0.19/0.49 |- skc24 = skc23 \/ way skc19
% 0.19/0.49 |- skc24 = skc23 \/ lonely skc19
% 0.19/0.49 |- ~barrel $W $U \/ ~car $U \/ ~chevy $U \/ ~city $X \/ ~dirty $U \/
% 0.19/0.49 ~down $W $V \/ ~event $W \/ ~fellow $Y \/ ~furniture skc17 \/
% 0.19/0.49 ~hollywood $X \/ ~in $W $X \/ ~in $Y skc17 \/ ~lonely $V \/ ~man $Y \/
% 0.19/0.49 ~man skc16 \/ ~old $U \/ ~seat skc17 \/ ~ssSkC0 \/ ~street $V \/
% 0.19/0.49 ~way $V \/ ~white $U \/ ~young $Y \/ ~young skc16 \/ skc16 = $Y \/
% 0.19/0.49 skc24 = skc23
% 0.19/0.49 |- ~barrel skc16 $U \/ ~car $U \/ ~chevy $U \/ ~city skc17 \/ ~dirty $U \/
% 0.19/0.49 ~down skc16 $V \/ ~event skc16 \/ ~fellow $Y \/ ~fellow $Z \/
% 0.19/0.49 ~front $X1 \/ ~furniture $X1 \/ ~hollywood skc17 \/ ~in $Y $X1 \/
% 0.19/0.49 ~in $Z $X1 \/ ~lonely $V \/ ~man $Y \/ ~man $Z \/ ~old $U \/
% 0.19/0.49 ~seat $X1 \/ ~ssSkC0 \/ ~street $V \/ ~way $V \/ ~white $U \/
% 0.19/0.49 ~young $Y \/ ~young $Z \/ $Z = $Y \/ skc24 = skc23
% 0.19/0.49 |- ~barrel $Y $U \/ ~car $U \/ ~chevy $U \/ ~city skc17 \/ ~dirty $U \/
% 0.19/0.49 ~down $Y $V \/ ~event $Y \/ ~fellow $Y \/ ~furniture skc17 \/
% 0.19/0.49 ~hollywood skc17 \/ ~in $Y skc17 \/ ~lonely $V \/ ~man $Y \/
% 0.19/0.49 ~man skc16 \/ ~old $U \/ ~seat skc17 \/ ~ssSkC0 \/ ~street $V \/
% 0.19/0.49 ~way $V \/ ~white $U \/ ~young $Y \/ ~young skc16 \/ skc16 = $Y \/
% 0.19/0.49 skc24 = skc23
% 0.19/0.49 |- ~barrel skc16 $U \/ ~car $U \/ ~chevy $U \/ ~city skc17 \/ ~dirty $U \/
% 0.19/0.49 ~down skc16 $V \/ ~event skc16 \/ ~fellow $Z \/ ~furniture skc17 \/
% 0.19/0.49 ~hollywood skc17 \/ ~in $Z skc17 \/ ~lonely $V \/ ~man $Z \/
% 0.19/0.49 ~man skc16 \/ ~old $U \/ ~seat skc17 \/ ~ssSkC0 \/ ~street $V \/
% 0.19/0.49 ~way $V \/ ~white $U \/ ~young $Z \/ ~young skc16 \/ $Z = skc16 \/
% 0.19/0.49 skc24 = skc23
% 0.19/0.49 |- ~barrel $W $U \/ ~car $U \/ ~chevy $U \/ ~city $X \/ ~dirty $U \/
% 0.19/0.49 ~down $W $V \/ ~event $W \/ ~fellow $Y \/ ~fellow skc15 \/
% 0.19/0.49 ~front skc18 \/ ~furniture skc18 \/ ~hollywood $X \/ ~in $W $X \/
% 0.19/0.49 ~in $Y skc18 \/ ~lonely $V \/ ~man $Y \/ ~man skc15 \/ ~old $U \/
% 0.19/0.49 ~ssSkC0 \/ ~street $V \/ ~way $V \/ ~white $U \/ ~young $Y \/
% 0.19/0.49 skc15 = $Y \/ skc24 = skc23
% 0.19/0.49 |- ~barrel skc15 $U \/ ~car $U \/ ~chevy $U \/ ~city skc18 \/ ~dirty $U \/
% 0.19/0.49 ~down skc15 $V \/ ~event skc15 \/ ~fellow $Y \/ ~fellow $Z \/
% 0.19/0.49 ~front $X1 \/ ~furniture $X1 \/ ~hollywood skc18 \/ ~in $Y $X1 \/
% 0.19/0.49 ~in $Z $X1 \/ ~lonely $V \/ ~man $Y \/ ~man $Z \/ ~old $U \/
% 0.19/0.49 ~seat $X1 \/ ~ssSkC0 \/ ~street $V \/ ~way $V \/ ~white $U \/
% 0.19/0.49 ~young $Y \/ ~young $Z \/ $Z = $Y \/ skc24 = skc23
% 0.19/0.49 |- ~barrel $Y $U \/ ~car $U \/ ~chevy $U \/ ~city skc18 \/ ~dirty $U \/
% 0.19/0.49 ~down $Y $V \/ ~event $Y \/ ~fellow $Y \/ ~fellow skc15 \/
% 0.19/0.49 ~front skc18 \/ ~furniture skc18 \/ ~hollywood skc18 \/ ~in $Y skc18 \/
% 0.19/0.49 ~lonely $V \/ ~man $Y \/ ~man skc15 \/ ~old $U \/ ~ssSkC0 \/
% 0.19/0.49 ~street $V \/ ~way $V \/ ~white $U \/ ~young $Y \/ skc15 = $Y \/
% 0.19/0.49 skc24 = skc23
% 0.19/0.49 |- ~barrel skc15 $U \/ ~car $U \/ ~chevy $U \/ ~city skc18 \/ ~dirty $U \/
% 0.19/0.49 ~down skc15 $V \/ ~event skc15 \/ ~fellow $Z \/ ~fellow skc15 \/
% 0.19/0.49 ~front skc18 \/ ~furniture skc18 \/ ~hollywood skc18 \/ ~in $Z skc18 \/
% 0.19/0.49 ~lonely $V \/ ~man $Z \/ ~man skc15 \/ ~old $U \/ ~ssSkC0 \/
% 0.19/0.49 ~street $V \/ ~way $V \/ ~white $U \/ ~young $Z \/ $Z = skc15 \/
% 0.19/0.49 skc24 = skc23
% 0.19/0.49 |- ~barrel $W $U \/ ~car $U \/ ~chevy $U \/ ~city $X \/ ~dirty $U \/
% 0.19/0.49 ~down $W $V \/ ~event $W \/ ~fellow $Y \/ ~fellow skc21 \/
% 0.19/0.49 ~front skc22 \/ ~furniture skc22 \/ ~hollywood $X \/ ~in $W $X \/
% 0.19/0.49 ~in $Y skc22 \/ ~lonely $V \/ ~man $Y \/ ~man skc21 \/ ~old $U \/
% 0.19/0.49 ~seat skc22 \/ ~ssSkC0 \/ ~street $V \/ ~way $V \/ ~white $U \/
% 0.19/0.49 ~young $Y \/ ~young skc21 \/ skc21 = $Y \/ skc24 = skc23
% 0.19/0.49 |- ~barrel skc21 $U \/ ~car $U \/ ~chevy $U \/ ~dirty $U \/
% 0.19/0.49 ~down skc21 $V \/ ~fellow $Y \/ ~fellow $Z \/ ~front $X1 \/
% 0.19/0.49 ~furniture $X1 \/ ~hollywood skc22 \/ ~in $Y $X1 \/ ~in $Z $X1 \/
% 0.19/0.49 ~lonely $V \/ ~man $Y \/ ~man $Z \/ ~old $U \/ ~seat $X1 \/ ~ssSkC0 \/
% 0.19/0.49 ~street $V \/ ~way $V \/ ~white $U \/ ~young $Y \/ ~young $Z \/
% 0.19/0.49 $Z = $Y \/ skc24 = skc23
% 0.19/0.49 |- ~barrel $Y $U \/ ~car $U \/ ~chevy $U \/ ~dirty $U \/ ~down $Y $V \/
% 0.19/0.49 ~event $Y \/ ~fellow $Y \/ ~fellow skc21 \/ ~front skc22 \/
% 0.19/0.49 ~furniture skc22 \/ ~hollywood skc22 \/ ~in $Y skc22 \/ ~lonely $V \/
% 0.19/0.49 ~man $Y \/ ~man skc21 \/ ~old $U \/ ~seat skc22 \/ ~ssSkC0 \/
% 0.19/0.49 ~street $V \/ ~way $V \/ ~white $U \/ ~young $Y \/ ~young skc21 \/
% 0.19/0.49 skc21 = $Y \/ skc24 = skc23
% 0.19/0.49 |- ~barrel skc21 $U \/ ~car $U \/ ~chevy $U \/ ~dirty $U \/
% 0.19/0.49 ~down skc21 $V \/ ~fellow $Z \/ ~fellow skc21 \/ ~front skc22 \/
% 0.19/0.49 ~furniture skc22 \/ ~hollywood skc22 \/ ~in $Z skc22 \/ ~lonely $V \/
% 0.19/0.49 ~man $Z \/ ~man skc21 \/ ~old $U \/ ~seat skc22 \/ ~ssSkC0 \/
% 0.19/0.49 ~street $V \/ ~way $V \/ ~white $U \/ ~young $Z \/ ~young skc21 \/
% 0.19/0.49 $Z = skc21 \/ skc24 = skc23
% 0.19/0.49 |- ~barrel skc23 $_82 \/ ~car $_82 \/ ~chevy $_82 \/ ~city skc25 \/
% 0.19/0.49 ~dirty $_82 \/ ~down skc23 $_81 \/ ~event skc23 \/ ~fellow skc24 \/
% 0.19/0.49 ~fellow skc28 \/ ~front skc25 \/ ~front skc29 \/ ~furniture skc25 \/
% 0.19/0.49 ~furniture skc29 \/ ~hollywood skc25 \/ ~lonely $_81 \/ ~man skc24 \/
% 0.19/0.49 ~man skc28 \/ ~old $_82 \/ ~seat skc29 \/ ~street $_81 \/ ~way $_81 \/
% 0.19/0.49 ~white $_82 \/ ~young skc28 \/ skc24 = skc28 \/ ssSkC0
% 0.19/0.49 |- ~barrel skc24 $_110 \/ ~car $_110 \/ ~chevy $_110 \/ ~city skc25 \/
% 0.19/0.49 ~dirty $_110 \/ ~down skc24 $_109 \/ ~event skc24 \/ ~fellow $_113 \/
% 0.19/0.49 ~front $_114 \/ ~front skc25 \/ ~furniture $_114 \/ ~furniture skc25 \/
% 0.19/0.49 ~hollywood skc25 \/ ~in $_113 $_114 \/ ~lonely $_109 \/ ~man $_113 \/
% 0.19/0.49 ~man skc23 \/ ~old $_110 \/ ~seat $_114 \/ ~street $_109 \/
% 0.19/0.49 ~way $_109 \/ ~white $_110 \/ ~young $_113 \/ ~young skc23 \/
% 0.19/0.49 skc23 = $_113 \/ ssSkC0
% 0.19/0.49 |- ~barrel skc28 $_110 \/ ~car $_110 \/ ~chevy $_110 \/ ~dirty $_110 \/
% 0.19/0.49 ~down skc28 $_109 \/ ~fellow $_113 \/ ~front $_114 \/ ~front skc25 \/
% 0.19/0.49 ~furniture $_114 \/ ~furniture skc25 \/ ~hollywood skc29 \/
% 0.19/0.49 ~in $_113 $_114 \/ ~lonely $_109 \/ ~man $_113 \/ ~man skc23 \/
% 0.19/0.49 ~old $_110 \/ ~seat $_114 \/ ~street $_109 \/ ~way $_109 \/
% 0.19/0.49 ~white $_110 \/ ~young $_113 \/ ~young skc23 \/ skc23 = $_113 \/ ssSkC0
% 0.19/0.49 |- ~barrel $_111 $_110 \/ ~car $_110 \/ ~chevy $_110 \/ ~city $_112 \/
% 0.19/0.49 ~dirty $_110 \/ ~down $_111 $_109 \/ ~event $_111 \/ ~fellow skc28 \/
% 0.19/0.49 ~front skc25 \/ ~front skc29 \/ ~furniture skc25 \/ ~furniture skc29 \/
% 0.19/0.49 ~hollywood $_112 \/ ~in $_111 $_112 \/ ~lonely $_109 \/ ~man skc23 \/
% 0.19/0.49 ~man skc28 \/ ~old $_110 \/ ~seat skc29 \/ ~street $_109 \/
% 0.19/0.49 ~way $_109 \/ ~white $_110 \/ ~young skc23 \/ ~young skc28 \/
% 0.19/0.49 skc23 = skc28 \/ ssSkC0
% 0.19/0.49 |- ~barrel skc24 $_120 \/ ~car $_120 \/ ~chevy $_120 \/ ~city skc25 \/
% 0.19/0.49 ~dirty $_120 \/ ~down skc24 $_119 \/ ~event skc24 \/ ~fellow skc28 \/
% 0.19/0.49 ~front skc25 \/ ~front skc29 \/ ~furniture skc25 \/ ~furniture skc29 \/
% 0.19/0.49 ~hollywood skc25 \/ ~lonely $_119 \/ ~man skc23 \/ ~man skc28 \/
% 0.19/0.49 ~old $_120 \/ ~seat skc29 \/ ~street $_119 \/ ~way $_119 \/
% 0.19/0.49 ~white $_120 \/ ~young skc23 \/ ~young skc28 \/ skc23 = skc28 \/ ssSkC0
% 0.19/0.49 |- ~barrel skc23 $_136 \/ ~car $_136 \/ ~chevy $_136 \/ ~city skc25 \/
% 0.19/0.49 ~dirty $_136 \/ ~down skc23 $_135 \/ ~event skc23 \/ ~fellow $_139 \/
% 0.19/0.49 ~fellow skc28 \/ ~front $_140 \/ ~front skc29 \/ ~furniture $_140 \/
% 0.19/0.49 ~furniture skc29 \/ ~hollywood skc25 \/ ~in $_139 $_140 \/
% 0.19/0.49 ~lonely $_135 \/ ~man $_139 \/ ~man skc28 \/ ~old $_136 \/
% 0.19/0.49 ~seat $_140 \/ ~seat skc29 \/ ~street $_135 \/ ~way $_135 \/
% 0.19/0.49 ~white $_136 \/ ~young $_139 \/ ~young skc28 \/ skc28 = $_139 \/ ssSkC0
% 0.19/0.49 |- ~barrel skc24 $_136 \/ ~car $_136 \/ ~chevy $_136 \/ ~city skc25 \/
% 0.19/0.49 ~dirty $_136 \/ ~down skc24 $_135 \/ ~event skc24 \/ ~fellow $_139 \/
% 0.19/0.49 ~fellow skc28 \/ ~front $_140 \/ ~front skc29 \/ ~furniture $_140 \/
% 0.19/0.49 ~furniture skc29 \/ ~hollywood skc25 \/ ~in $_139 $_140 \/
% 0.19/0.49 ~lonely $_135 \/ ~man $_139 \/ ~man skc28 \/ ~old $_136 \/
% 0.19/0.49 ~seat $_140 \/ ~seat skc29 \/ ~street $_135 \/ ~way $_135 \/
% 0.19/0.49 ~white $_136 \/ ~young $_139 \/ ~young skc28 \/ skc28 = $_139 \/ ssSkC0
% 0.19/0.49 |- ~barrel skc15 $_161 \/ ~car $_161 \/ ~chevy $_161 \/ ~city skc18 \/
% 0.19/0.49 ~dirty $_161 \/ ~down skc15 $_162 \/ ~event skc15 \/ ~fellow $_165 \/
% 0.19/0.49 ~furniture skc17 \/ ~hollywood skc18 \/ ~in $_165 skc17 \/
% 0.19/0.49 ~lonely $_162 \/ ~man $_165 \/ ~man skc16 \/ ~old $_161 \/
% 0.19/0.49 ~seat skc17 \/ ~ssSkC0 \/ ~street $_162 \/ ~way $_162 \/ ~white $_161 \/
% 0.19/0.49 ~young $_165 \/ ~young skc16 \/ skc16 = $_165 \/ skc24 = skc23
% 0.19/0.49 |- ~barrel skc21 $_161 \/ ~car $_161 \/ ~chevy $_161 \/ ~dirty $_161 \/
% 0.19/0.49 ~down skc21 $_162 \/ ~fellow $_165 \/ ~furniture skc17 \/
% 0.19/0.49 ~hollywood skc22 \/ ~in $_165 skc17 \/ ~lonely $_162 \/ ~man $_165 \/
% 0.19/0.49 ~man skc16 \/ ~old $_161 \/ ~seat skc17 \/ ~ssSkC0 \/ ~street $_162 \/
% 0.19/0.49 ~way $_162 \/ ~white $_161 \/ ~young $_165 \/ ~young skc16 \/
% 0.19/0.49 skc16 = $_165 \/ skc24 = skc23
% 0.19/0.50 |- ~barrel skc16 $_172 \/ ~car $_172 \/ ~chevy $_172 \/ ~city skc17 \/
% 0.19/0.50 ~dirty $_172 \/ ~down skc16 $_173 \/ ~event skc16 \/ ~fellow $_176 \/
% 0.19/0.50 ~fellow skc15 \/ ~front skc18 \/ ~furniture skc18 \/ ~hollywood skc17 \/
% 0.19/0.50 ~in $_176 skc18 \/ ~lonely $_173 \/ ~man $_176 \/ ~man skc15 \/
% 0.19/0.50 ~old $_172 \/ ~ssSkC0 \/ ~street $_173 \/ ~way $_173 \/ ~white $_172 \/
% 0.19/0.50 ~young $_176 \/ skc15 = $_176 \/ skc24 = skc23
% 0.19/0.50 |- ~barrel skc21 $_172 \/ ~car $_172 \/ ~chevy $_172 \/ ~dirty $_172 \/
% 0.19/0.50 ~down skc21 $_173 \/ ~fellow $_176 \/ ~fellow skc15 \/ ~front skc18 \/
% 0.19/0.50 ~furniture skc18 \/ ~hollywood skc22 \/ ~in $_176 skc18 \/
% 0.19/0.50 ~lonely $_173 \/ ~man $_176 \/ ~man skc15 \/ ~old $_172 \/ ~ssSkC0 \/
% 0.19/0.50 ~street $_173 \/ ~way $_173 \/ ~white $_172 \/ ~young $_176 \/
% 0.19/0.50 skc15 = $_176 \/ skc24 = skc23
% 0.19/0.50 |- ~barrel skc16 $_188 \/ ~car $_188 \/ ~chevy $_188 \/ ~city skc17 \/
% 0.19/0.50 ~dirty $_188 \/ ~down skc16 $_189 \/ ~event skc16 \/ ~fellow $_192 \/
% 0.19/0.50 ~fellow skc21 \/ ~front skc22 \/ ~furniture skc22 \/ ~hollywood skc17 \/
% 0.19/0.50 ~in $_192 skc22 \/ ~lonely $_189 \/ ~man $_192 \/ ~man skc21 \/
% 0.19/0.50 ~old $_188 \/ ~seat skc22 \/ ~ssSkC0 \/ ~street $_189 \/ ~way $_189 \/
% 0.19/0.50 ~white $_188 \/ ~young $_192 \/ ~young skc21 \/ $_192 = skc21 \/
% 0.19/0.50 skc24 = skc23
% 0.19/0.50 |- ~barrel skc15 $_196 \/ ~car $_196 \/ ~chevy $_196 \/ ~city skc18 \/
% 0.19/0.50 ~dirty $_196 \/ ~down skc15 $_197 \/ ~event skc15 \/ ~fellow $_200 \/
% 0.19/0.50 ~fellow skc21 \/ ~front skc22 \/ ~furniture skc22 \/ ~hollywood skc18 \/
% 0.19/0.50 ~in $_200 skc22 \/ ~lonely $_197 \/ ~man $_200 \/ ~man skc21 \/
% 0.19/0.50 ~old $_196 \/ ~seat skc22 \/ ~ssSkC0 \/ ~street $_197 \/ ~way $_197 \/
% 0.19/0.50 ~white $_196 \/ ~young $_200 \/ ~young skc21 \/ skc21 = $_200 \/
% 0.19/0.50 skc24 = skc23
% 0.19/0.50 SZS output end Saturation for /export/starexec/sandbox2/benchmark/theBenchmark.p
% 0.19/0.50
%------------------------------------------------------------------------------