TSTP Solution File: SYN909-1 by SNARK---20120808r022
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : SNARK---20120808r022
% Problem : SYN909-1 : TPTP v8.1.0. Released v2.5.0.
% Transfm : none
% Format : tptp:raw
% Command : run-snark %s %d
% Computer : n012.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 : Thu Jul 21 12:08:12 EDT 2022
% Result : Timeout 300.03s 300.25s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.12 % Problem : SYN909-1 : TPTP v8.1.0. Released v2.5.0.
% 0.07/0.13 % Command : run-snark %s %d
% 0.14/0.35 % Computer : n012.cluster.edu
% 0.14/0.35 % Model : x86_64 x86_64
% 0.14/0.35 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.14/0.35 % Memory : 8042.1875MB
% 0.14/0.35 % OS : Linux 3.10.0-693.el7.x86_64
% 0.14/0.35 % CPULimit : 300
% 0.14/0.35 % WCLimit : 600
% 0.14/0.35 % DateTime : Tue Jul 12 02:28:57 EDT 2022
% 0.14/0.35 % CPUTime :
% 0.21/0.47 /export/starexec/sandbox/benchmark/theBenchmark.p
% 0.21/0.48 *
% 0.21/0.48 *
% 0.21/0.48 #<PACKAGE "SNARK-USER">
% 0.21/0.48 *
% 0.21/0.48 SNARK-TPTP-OPTIONS
% 0.21/0.48 *
% 0.21/0.48 ((AGENDA-LENGTH-LIMIT NIL) (AGENDA-LENGTH-BEFORE-SIMPLIFICATION-LIMIT NIL)
% 0.21/0.48 (USE-HYPERRESOLUTION T) (USE-UR-RESOLUTION T) (USE-PARAMODULATION T)
% 0.21/0.48 (USE-FACTORING :POS)
% 0.21/0.48 (USE-LITERAL-ORDERING-WITH-HYPERRESOLUTION 'LITERAL-ORDERING-P)
% 0.21/0.48 (USE-LITERAL-ORDERING-WITH-PARAMODULATION 'LITERAL-ORDERING-P)
% 0.21/0.48 (ORDERING-FUNCTIONS>CONSTANTS T) (ASSERT-CONTEXT :CURRENT)
% 0.21/0.48 (RUN-TIME-LIMIT 300) (LISTEN-FOR-COMMANDS NIL)
% 0.21/0.48 (USE-CLOSURE-WHEN-SATISFIABLE T) (PRINT-ROWS-WHEN-GIVEN NIL)
% 0.21/0.48 (PRINT-ROWS-WHEN-DERIVED NIL) (PRINT-UNORIENTABLE-ROWS NIL)
% 0.21/0.48 (PRINT-ROW-WFFS-PRETTILY NIL) (PRINT-FINAL-ROWS :TPTP)
% 0.21/0.48 (PRINT-OPTIONS-WHEN-STARTING NIL) (USE-VARIABLE-NAME-SORTS NIL)
% 0.21/0.48 (USE-PURITY-TEST T) (USE-RELEVANCE-TEST T) (DECLARE-TPTP-SYMBOLS1)
% 0.21/0.48 (DECLARE-TPTP-SYMBOLS2))
% 0.21/0.48 *
% 0.21/0.49 "."
% 0.21/0.49 *
% 0.21/0.49 ; Begin refute-file /export/starexec/sandbox/benchmark/theBenchmark.p 2022-07-12T02:28:58
% 0.21/0.49 ; Running SNARK from /davis/home/graph/tptp/Systems/SNARK---20120808r022/Source/snark-system.lisp in SBCL 1.0.12 on n012.cluster.edu at 2022-07-12T02:28:58
% 0.52/0.71 WARNING:
% 0.52/0.71 |ssPv11| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.52/0.71 WARNING:
% 0.52/0.71 |ssPv20| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.71 WARNING:
% 0.52/0.71 |ssPv2| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.71 WARNING:
% 0.52/0.71 |ssPv9| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.71 WARNING:
% 0.52/0.71 |ssSkP7| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.52/0.71 WARNING:
% 0.52/0.71 |ssSkP609| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.52/0.71 WARNING:
% 0.52/0.71 |ssSkP146| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.52/0.71 WARNING:
% 0.52/0.71 |ssSkP436| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.52/0.71 WARNING:
% 0.52/0.71 |ssSkP510| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.52/0.71 WARNING:
% 0.52/0.71 |ssSkP529| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.52/0.71 WARNING:
% 0.52/0.71 |ssSkP651| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.52/0.71 WARNING:
% 0.52/0.71 |ssSkP652| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.71 WARNING:
% 0.52/0.71 |ssSkP530| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.71 WARNING:
% 0.52/0.71 |ssSkP511| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.71 WARNING:
% 0.52/0.71 |ssSkP437| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.71 WARNING:
% 0.52/0.71 |ssSkP147| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.71 WARNING:
% 0.52/0.71 |ssSkP610| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.71 WARNING:
% 0.52/0.71 |ssSkP8| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.71 WARNING:
% 0.52/0.71 |ssSkP574| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.71 WARNING:
% 0.52/0.71 |ssSkP480| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.72 WARNING:
% 0.52/0.72 |ssSkP6| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.52/0.72 WARNING:
% 0.52/0.72 |ssSkP145| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.52/0.72 WARNING:
% 0.52/0.72 |ssSkP435| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.52/0.72 WARNING:
% 0.52/0.72 |ssSkP509| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.52/0.72 WARNING:
% 0.52/0.72 |ssSkP528| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.52/0.72 WARNING:
% 0.52/0.72 |ssSkP608| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.52/0.72 WARNING:
% 0.52/0.72 |ssSkP650| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.52/0.72 WARNING:
% 0.52/0.72 |ssSkP611| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.72 WARNING:
% 0.52/0.72 |ssSkP653| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.72 WARNING:
% 0.52/0.72 |ssSkP575| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.72 WARNING:
% 0.52/0.72 |ssSkP531| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.72 WARNING:
% 0.52/0.72 |ssSkP512| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.72 WARNING:
% 0.52/0.72 |ssSkP481| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.72 WARNING:
% 0.52/0.72 |ssSkP438| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.72 WARNING:
% 0.52/0.72 |ssSkP148| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.72 WARNING:
% 0.52/0.72 |ssSkP9| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.72 WARNING:
% 0.52/0.72 |ssSkP5| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.52/0.72 WARNING:
% 0.52/0.72 |ssSkP144| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.52/0.72 WARNING:
% 0.52/0.72 |ssSkP434| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.52/0.72 WARNING:
% 0.52/0.72 |ssSkP527| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.52/0.72 WARNING:
% 0.52/0.72 |ssSkP607| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.52/0.72 WARNING:
% 0.52/0.72 |ssSkP649| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.52/0.72 WARNING:
% 0.52/0.72 |ssSkP508| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.52/0.72 WARNING:
% 0.52/0.72 |ssPv12| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.52/0.72 WARNING:
% 0.52/0.72 |ssSkP612| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.72 WARNING:
% 0.52/0.72 |ssSkP482| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.72 WARNING:
% 0.52/0.72 |ssSkP654| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.72 WARNING:
% 0.52/0.72 |ssSkP576| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.72 WARNING:
% 0.52/0.72 |ssSkP532| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.72 WARNING:
% 0.52/0.72 |ssSkP513| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.72 WARNING:
% 0.52/0.72 |ssSkP439| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.72 WARNING:
% 0.52/0.72 |ssSkP149| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.72 WARNING:
% 0.52/0.72 |ssSkP10| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.72 WARNING:
% 0.52/0.72 |ssSkP4| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.52/0.72 WARNING:
% 0.52/0.72 |ssSkP143| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.52/0.72 WARNING:
% 0.52/0.72 |ssSkP433| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.52/0.72 WARNING:
% 0.52/0.72 |ssSkP606| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.52/0.72 WARNING:
% 0.52/0.72 |ssSkP648| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.52/0.72 WARNING:
% 0.52/0.72 |ssSkP789| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.52/0.72 WARNING:
% 0.52/0.72 |ssSkP507| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.52/0.72 WARNING:
% 0.52/0.72 |ssSkP526| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.52/0.72 WARNING:
% 0.52/0.72 |ssSkP514| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.72 WARNING:
% 0.52/0.72 |ssSkP790| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.72 WARNING:
% 0.52/0.72 |ssSkP533| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.72 WARNING:
% 0.52/0.72 |ssSkP483| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.72 WARNING:
% 0.52/0.72 |ssSkP697| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.72 WARNING:
% 0.52/0.72 |ssSkP655| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.72 WARNING:
% 0.52/0.72 |ssSkP613| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.72 WARNING:
% 0.52/0.72 |ssSkP577| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.72 WARNING:
% 0.52/0.72 |ssSkP440| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.72 WARNING:
% 0.52/0.72 |ssSkP150| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.72 WARNING:
% 0.52/0.72 |ssSkP11| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.72 WARNING:
% 0.52/0.72 |ssSkP3| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.52/0.72 WARNING:
% 0.52/0.72 |ssSkP142| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.52/0.72 WARNING:
% 0.52/0.72 |ssSkP432| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.52/0.72 WARNING:
% 0.52/0.72 |ssSkP506| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.52/0.72 WARNING:
% 0.52/0.72 |ssSkP647| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.52/0.72 WARNING:
% 0.52/0.72 |ssSkP788| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.52/0.72 WARNING:
% 0.52/0.72 |ssSkP525| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.52/0.72 WARNING:
% 0.52/0.72 |ssSkP515| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.72 WARNING:
% 0.52/0.72 |ssSkP698| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.72 WARNING:
% 0.52/0.72 |ssSkP534| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.72 WARNING:
% 0.52/0.72 |ssSkP441| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.72 WARNING:
% 0.52/0.72 |ssSkP791| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.72 WARNING:
% 0.52/0.72 |ssSkP656| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.72 WARNING:
% 0.52/0.72 |ssSkP614| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.72 WARNING:
% 0.52/0.72 |ssSkP578| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.72 WARNING:
% 0.52/0.72 |ssSkP484| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.72 WARNING:
% 0.52/0.72 |ssSkP151| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.72 WARNING:
% 0.52/0.72 |ssSkP12| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.72 WARNING:
% 0.52/0.72 |ssSkP2| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.52/0.72 WARNING:
% 0.52/0.72 |ssSkP141| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.52/0.72 WARNING:
% 0.52/0.72 |ssSkP431| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.52/0.72 WARNING:
% 0.52/0.72 |ssSkP505| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.52/0.72 WARNING:
% 0.52/0.72 |ssSkP524| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.52/0.72 WARNING:
% 0.52/0.72 |ssSkP787| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.52/0.72 WARNING:
% 0.52/0.72 |ssSkP646| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.52/0.72 WARNING:
% 0.52/0.72 |ssSkP699| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.72 WARNING:
% 0.52/0.72 |ssSkP442| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.72 WARNING:
% 0.52/0.72 |ssSkP792| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.72 WARNING:
% 0.52/0.72 |ssSkP657| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.72 WARNING:
% 0.52/0.72 |ssSkP615| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.72 WARNING:
% 0.52/0.72 |ssSkP579| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.72 WARNING:
% 0.52/0.72 |ssSkP535| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.72 WARNING:
% 0.52/0.72 |ssSkP516| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.72 WARNING:
% 0.52/0.72 |ssSkP485| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.72 WARNING:
% 0.52/0.72 |ssSkP152| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.72 WARNING:
% 0.52/0.72 |ssSkP13| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.72 WARNING:
% 0.52/0.72 |ssSkP140| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.52/0.72 WARNING:
% 0.52/0.72 |ssSkP430| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.52/0.72 WARNING:
% 0.52/0.72 |ssSkP786| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.52/0.72 WARNING:
% 0.52/0.72 |ssSkP645| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.52/0.72 WARNING:
% 0.52/0.72 |ssSkP793| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.72 WARNING:
% 0.52/0.72 |ssSkP700| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.72 WARNING:
% 0.52/0.72 |ssSkP658| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.72 WARNING:
% 0.52/0.72 |ssSkP616| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.72 WARNING:
% 0.52/0.72 |ssSkP580| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.72 WARNING:
% 0.52/0.72 |ssSkP536| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.72 WARNING:
% 0.52/0.72 |ssSkP517| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.72 WARNING:
% 0.52/0.72 |ssSkP486| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.72 WARNING:
% 0.52/0.72 |ssSkP443| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.73 WARNING:
% 0.52/0.73 |ssSkP153| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.73 WARNING:
% 0.52/0.73 |ssSkP14| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.73 WARNING:
% 0.52/0.73 |ssSkP429| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.52/0.73 WARNING:
% 0.52/0.73 |ssSkP644| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.52/0.73 WARNING:
% 0.52/0.73 |ssSkP785| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.52/0.73 WARNING:
% 0.52/0.73 |ssSkP139| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.52/0.73 WARNING:
% 0.52/0.73 |ssSkP794| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.73 WARNING:
% 0.52/0.73 |ssSkP701| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.73 WARNING:
% 0.52/0.73 |ssSkP581| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.73 WARNING:
% 0.52/0.73 |ssSkP154| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.73 WARNING:
% 0.52/0.73 |ssSkP659| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.73 WARNING:
% 0.52/0.73 |ssSkP617| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.73 WARNING:
% 0.52/0.73 |ssSkP537| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.73 WARNING:
% 0.52/0.73 |ssSkP518| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.73 WARNING:
% 0.52/0.73 |ssSkP487| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.73 WARNING:
% 0.52/0.73 |ssSkP444| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.73 WARNING:
% 0.52/0.73 |ssSkP15| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.73 WARNING:
% 0.52/0.73 |ssSkP428| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.52/0.73 WARNING:
% 0.52/0.73 |ssSkP138| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.52/0.73 WARNING:
% 0.52/0.73 |ssSkP643| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.52/0.73 WARNING:
% 0.52/0.73 |ssSkP784| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.52/0.73 WARNING:
% 0.52/0.73 |ssSkP702| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.73 WARNING:
% 0.52/0.73 |ssPv27| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.73 WARNING:
% 0.52/0.73 |ssSkP582| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.73 WARNING:
% 0.52/0.73 |ssSkP155| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.73 WARNING:
% 0.52/0.73 |ssSkP660| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.73 WARNING:
% 0.52/0.73 |ssSkP538| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.73 WARNING:
% 0.52/0.73 |ssSkP519| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.73 WARNING:
% 0.52/0.73 |ssSkP445| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.73 WARNING:
% 0.52/0.73 |ssSkP795| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.73 WARNING:
% 0.52/0.73 |ssSkP618| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.73 WARNING:
% 0.52/0.73 |ssSkP488| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.73 WARNING:
% 0.52/0.73 |ssSkP16| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.73 WARNING:
% 0.52/0.73 |ssSkP137| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.52/0.73 WARNING:
% 0.52/0.73 |ssSkP427| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.52/0.73 WARNING:
% 0.52/0.73 |ssSkP97| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.52/0.73 WARNING:
% 0.52/0.73 |ssSkP127| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.52/0.73 WARNING:
% 0.52/0.73 |ssSkP642| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.52/0.73 WARNING:
% 0.52/0.73 |ssSkP783| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.52/0.73 WARNING:
% 0.52/0.73 |ssSkP661| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.73 WARNING:
% 0.52/0.73 |ssSkP128| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.73 WARNING:
% 0.52/0.73 |ssSkP98| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.73 WARNING:
% 0.52/0.73 |ssSkP632| is a 2-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.73 WARNING:
% 0.52/0.73 |ssSkP539| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.73 WARNING:
% 0.52/0.73 |ssSkP520| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.73 WARNING:
% 0.52/0.73 |ssSkP446| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.73 WARNING:
% 0.52/0.73 |ssSkP156| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.73 WARNING:
% 0.52/0.73 |ssSkP796| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.73 WARNING:
% 0.52/0.73 |ssSkP703| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.73 WARNING:
% 0.52/0.73 |ssSkP619| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.73 WARNING:
% 0.52/0.73 |ssSkP583| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.73 WARNING:
% 0.52/0.73 |ssSkP489| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.73 WARNING:
% 0.52/0.73 |ssSkP17| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.73 WARNING:
% 0.52/0.73 |ssSkP96| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.52/0.73 WARNING:
% 0.52/0.73 |ssSkP126| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.52/0.73 WARNING:
% 0.52/0.73 |ssSkP136| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.52/0.73 WARNING:
% 0.52/0.73 |ssSkP426| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.52/0.73 WARNING:
% 0.52/0.73 |ssSkP641| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.52/0.73 WARNING:
% 0.52/0.73 |ssSkP782| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.52/0.73 WARNING:
% 0.52/0.73 #:|ssSkC24| is a proposition that occurs only negatively; disabling rows that contain it.
% 0.52/0.73 WARNING:
% 0.52/0.73 |ssSkP540| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.73 WARNING:
% 0.52/0.73 |ssSkP521| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.73 WARNING:
% 0.52/0.73 |ssSkP447| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.73 WARNING:
% 0.52/0.73 |ssSkP157| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.73 WARNING:
% 0.52/0.73 |ssSkP704| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.73 WARNING:
% 0.52/0.73 |ssSkP523| is a 2-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.73 WARNING:
% 0.52/0.73 |ssSkP504| is a 2-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.73 WARNING:
% 0.52/0.73 |ssSkP416| is a 2-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.73 WARNING:
% 0.52/0.73 |ssSkP132| is a 2-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.73 WARNING:
% 0.52/0.73 |ssSkP129| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.73 WARNING:
% 0.52/0.73 |ssSkP99| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.73 WARNING:
% 0.52/0.73 |ssSkP631| is a 2-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.73 WARNING:
% 0.52/0.73 |ssSkP797| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.73 WARNING:
% 0.52/0.73 |ssSkP620| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.73 WARNING:
% 0.52/0.73 |ssSkP584| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.73 WARNING:
% 0.52/0.73 |ssSkP490| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.73 WARNING:
% 0.52/0.73 |ssSkP18| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.73 WARNING:
% 0.52/0.73 |ssSkP95| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.52/0.73 WARNING:
% 0.52/0.73 |ssSkP125| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.52/0.73 WARNING:
% 0.52/0.73 |ssSkP135| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.52/0.73 WARNING:
% 0.52/0.73 |ssSkP425| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.52/0.73 WARNING:
% 0.52/0.73 |ssSkP640| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.52/0.73 WARNING:
% 0.52/0.73 |ssSkP781| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.52/0.73 WARNING:
% 0.52/0.73 #:|ssSkC5| is a proposition that occurs only negatively; disabling rows that contain it.
% 0.52/0.73 WARNING:
% 0.52/0.73 #:|ssSkC16| is a proposition that occurs only negatively; disabling rows that contain it.
% 0.52/0.73 WARNING:
% 0.52/0.73 #:|ssSkC19| is a proposition that occurs only negatively; disabling rows that contain it.
% 0.52/0.73 WARNING:
% 0.52/0.73 #:|ssSkC20| is a proposition that occurs only negatively; disabling rows that contain it.
% 0.52/0.73 WARNING:
% 0.52/0.73 |ssSkP130| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.73 WARNING:
% 0.52/0.73 |ssSkP100| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.73 WARNING:
% 0.52/0.73 |ssSkP19| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.73 WARNING:
% 0.52/0.73 |ssSkP705| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.73 WARNING:
% 0.52/0.73 |ssSkP621| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.73 WARNING:
% 0.52/0.73 |ssSkP102| is a 2-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.73 WARNING:
% 0.52/0.73 |ssSkP73| is a 2-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.73 WARNING:
% 0.52/0.73 |ssSkP522| is a 2-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.73 WARNING:
% 0.52/0.73 |ssSkP503| is a 2-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.73 WARNING:
% 0.52/0.73 |ssSkP415| is a 2-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.73 WARNING:
% 0.52/0.73 |ssSkP131| is a 2-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.73 WARNING:
% 0.52/0.73 |ssSkP798| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.73 WARNING:
% 0.52/0.73 |ssSkP585| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.73 WARNING:
% 0.52/0.73 |ssSkP491| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.74 WARNING:
% 0.52/0.74 |ssSkP94| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.52/0.74 WARNING:
% 0.52/0.74 |ssSkP124| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.52/0.74 WARNING:
% 0.52/0.74 |ssSkP134| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.52/0.74 WARNING:
% 0.52/0.74 |ssSkP424| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.52/0.74 WARNING:
% 0.52/0.74 |ssSkP639| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.52/0.74 WARNING:
% 0.52/0.74 |ssSkP780| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.52/0.74 WARNING:
% 0.52/0.74 #:|ssSkC3| is a proposition that occurs only negatively; disabling rows that contain it.
% 0.52/0.74 WARNING:
% 0.52/0.74 #:|ssSkC4| is a proposition that occurs only negatively; disabling rows that contain it.
% 0.52/0.74 WARNING:
% 0.52/0.74 |ssSkP586| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.74 WARNING:
% 0.52/0.74 |ssSkP20| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.74 WARNING:
% 0.52/0.74 |ssSkP622| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.74 WARNING:
% 0.52/0.74 |ssSkP492| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.74 WARNING:
% 0.52/0.74 |ssSkP101| is a 2-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.74 WARNING:
% 0.52/0.74 |ssSkP72| is a 2-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.74 WARNING:
% 0.52/0.74 |ssSkP799| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.74 WARNING:
% 0.52/0.74 |ssSkP706| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.74 WARNING:
% 0.52/0.74 |ssSkP93| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.52/0.74 WARNING:
% 0.52/0.74 |ssSkP123| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.52/0.74 WARNING:
% 0.52/0.74 |ssSkP133| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.52/0.74 WARNING:
% 0.52/0.74 |ssSkP423| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.52/0.74 WARNING:
% 0.52/0.74 |ssSkP638| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.52/0.74 WARNING:
% 0.52/0.74 |ssSkP587| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.74 WARNING:
% 0.52/0.74 |ssSkP493| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.74 WARNING:
% 0.52/0.74 |ssSkP800| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.74 WARNING:
% 0.52/0.74 |ssSkP707| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.74 WARNING:
% 0.52/0.74 |ssSkP623| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.74 WARNING:
% 0.52/0.74 |ssSkP21| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.74 WARNING:
% 0.52/0.74 |ssSkP92| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.52/0.74 WARNING:
% 0.52/0.74 |ssSkP122| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.52/0.74 WARNING:
% 0.52/0.74 |ssSkP422| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.52/0.74 WARNING:
% 0.52/0.74 |ssSkP637| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.52/0.74 WARNING:
% 0.52/0.74 |ssSkP801| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.74 WARNING:
% 0.52/0.74 |ssSkP708| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.74 WARNING:
% 0.52/0.74 |ssSkP624| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.74 WARNING:
% 0.52/0.74 |ssSkP588| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.74 WARNING:
% 0.52/0.74 |ssSkP494| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.74 WARNING:
% 0.52/0.74 |ssSkP22| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.74 WARNING:
% 0.52/0.74 |ssSkP91| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.52/0.74 WARNING:
% 0.52/0.74 |ssSkP121| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.52/0.74 WARNING:
% 0.52/0.74 |ssSkP636| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.52/0.74 WARNING:
% 0.52/0.74 |ssSkP421| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.52/0.74 WARNING:
% 0.52/0.74 |ssSkP495| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.74 WARNING:
% 0.52/0.74 |ssSkP802| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.74 WARNING:
% 0.52/0.74 |ssSkP709| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.74 WARNING:
% 0.52/0.74 |ssSkP625| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.74 WARNING:
% 0.52/0.74 |ssSkP589| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.74 WARNING:
% 0.52/0.74 |ssSkP23| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.74 WARNING:
% 0.52/0.74 |ssSkP90| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.52/0.74 WARNING:
% 0.52/0.74 |ssSkP120| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.52/0.74 WARNING:
% 0.52/0.74 |ssSkP635| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.52/0.74 WARNING:
% 0.52/0.74 |ssSkP420| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.52/0.74 WARNING:
% 0.52/0.74 |ssSkP496| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.74 WARNING:
% 0.52/0.74 |ssSkP803| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.74 WARNING:
% 0.52/0.74 |ssSkP710| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.74 WARNING:
% 0.52/0.74 |ssSkP626| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.74 WARNING:
% 0.52/0.74 |ssSkP590| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.74 WARNING:
% 0.52/0.74 |ssSkP24| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.74 WARNING:
% 0.52/0.74 |ssSkP89| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.52/0.74 WARNING:
% 0.52/0.74 |ssSkP119| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.52/0.74 WARNING:
% 0.52/0.74 |ssSkP419| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.52/0.74 WARNING:
% 0.52/0.74 |ssSkP634| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.52/0.74 WARNING:
% 0.52/0.74 |ssSkP25| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.74 WARNING:
% 0.52/0.74 |ssSkP804| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.74 WARNING:
% 0.52/0.74 |ssSkP711| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.74 WARNING:
% 0.52/0.74 |ssSkP627| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.74 WARNING:
% 0.52/0.74 |ssSkP591| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.74 WARNING:
% 0.52/0.74 |ssSkP497| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.74 WARNING:
% 0.52/0.74 |ssSkP88| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.52/0.74 WARNING:
% 0.52/0.74 |ssSkP118| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.52/0.74 WARNING:
% 0.52/0.74 |ssSkP418| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.52/0.74 WARNING:
% 0.52/0.74 |ssSkP633| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.52/0.74 WARNING:
% 0.52/0.74 |ssSkP26| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.74 WARNING:
% 0.52/0.74 |ssSkP628| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.74 WARNING:
% 0.52/0.74 |ssSkP805| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.74 WARNING:
% 0.52/0.74 |ssSkP712| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.74 WARNING:
% 0.52/0.74 |ssSkP592| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.74 WARNING:
% 0.52/0.74 |ssSkP498| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.52/0.74 WARNING:
% 0.52/0.74 |ssSkP87| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.52/0.74 WARNING:
% 0.52/0.74 |ssSkP117| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.52/0.74 WARNING:
% 0.52/0.74 |ssSkP417| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.59/0.75 WARNING:
% 0.59/0.75 |ssSkP27| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.59/0.75 WARNING:
% 0.59/0.75 |ssSkP806| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.59/0.75 WARNING:
% 0.59/0.75 |ssSkP629| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.59/0.75 WARNING:
% 0.59/0.75 |ssPv3| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.59/0.75 WARNING:
% 0.59/0.75 |ssSkP713| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.59/0.75 WARNING:
% 0.59/0.75 |ssSkP593| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.59/0.75 WARNING:
% 0.59/0.75 |ssSkP499| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.59/0.75 WARNING:
% 0.59/0.75 |ssSkP86| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.59/0.75 WARNING:
% 0.59/0.75 |ssSkP116| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.59/0.75 WARNING:
% 0.59/0.75 |ssSkP630| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.59/0.75 WARNING:
% 0.59/0.75 |ssSkP28| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.59/0.75 WARNING:
% 0.59/0.75 |ssSkP594| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.59/0.75 WARNING:
% 0.59/0.75 |ssSkP807| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.59/0.75 WARNING:
% 0.59/0.75 |ssSkP714| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.59/0.75 WARNING:
% 0.59/0.75 |ssSkP605| is a 2-ary relation that occurs only positively; disabling rows that contain it.
% 0.59/0.75 WARNING:
% 0.59/0.75 |ssSkP500| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.59/0.75 WARNING:
% 0.59/0.75 |ssSkP1| is a 2-ary relation that occurs only positively; disabling rows that contain it.
% 0.59/0.75 WARNING:
% 0.59/0.75 |ssSkP749| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.59/0.75 WARNING:
% 0.59/0.75 |ssSkP543| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.59/0.75 WARNING:
% 0.59/0.75 |ssSkP386| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.59/0.75 WARNING:
% 0.59/0.75 |ssSkP160| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.59/0.75 WARNING:
% 0.59/0.75 |ssSkP85| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.59/0.75 WARNING:
% 0.59/0.75 |ssSkP115| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.59/0.75 WARNING:
% 0.59/0.75 #:|ssSkC0| is a proposition that occurs only negatively; disabling rows that contain it.
% 0.59/0.75 WARNING:
% 0.59/0.75 #:|ssSkC23| is a proposition that occurs only negatively; disabling rows that contain it.
% 0.59/0.75 WARNING:
% 0.59/0.75 |ssSkP808| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.59/0.75 WARNING:
% 0.59/0.75 |ssSkP595| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.59/0.75 WARNING:
% 0.59/0.75 |ssSkP161| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.59/0.75 WARNING:
% 0.59/0.75 |ssSkP779| is a 2-ary relation that occurs only positively; disabling rows that contain it.
% 0.59/0.75 WARNING:
% 0.59/0.75 |ssSkP715| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.59/0.75 WARNING:
% 0.59/0.75 |ssSkP501| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.59/0.75 WARNING:
% 0.59/0.75 |ssSkP604| is a 2-ary relation that occurs only positively; disabling rows that contain it.
% 0.59/0.75 WARNING:
% 0.59/0.75 |ssSkP0| is a 2-ary relation that occurs only positively; disabling rows that contain it.
% 0.59/0.75 WARNING:
% 0.59/0.75 |ssSkP750| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.59/0.75 WARNING:
% 0.59/0.75 |ssSkP544| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.59/0.75 WARNING:
% 0.59/0.75 |ssSkP387| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.59/0.75 WARNING:
% 0.59/0.75 |ssSkP84| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.59/0.75 WARNING:
% 0.59/0.75 |ssSkP114| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.59/0.75 WARNING:
% 0.59/0.75 #:|ssSkC29| is a proposition that occurs only negatively; disabling rows that contain it.
% 0.59/0.75 WARNING:
% 0.59/0.75 |ssSkP716| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.59/0.75 WARNING:
% 0.59/0.75 |ssSkP502| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.59/0.75 WARNING:
% 0.59/0.75 |ssSkP162| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.59/0.75 WARNING:
% 0.59/0.75 |ssSkP696| is a 2-ary relation that occurs only positively; disabling rows that contain it.
% 0.59/0.75 WARNING:
% 0.59/0.75 |ssSkP479| is a 2-ary relation that occurs only positively; disabling rows that contain it.
% 0.59/0.75 WARNING:
% 0.59/0.75 |ssSkP778| is a 2-ary relation that occurs only positively; disabling rows that contain it.
% 0.59/0.75 WARNING:
% 0.59/0.75 |ssSkP751| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.59/0.75 WARNING:
% 0.59/0.75 |ssSkP596| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.59/0.75 WARNING:
% 0.59/0.75 |ssSkP545| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.59/0.75 WARNING:
% 0.59/0.75 |ssSkP388| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.59/0.75 WARNING:
% 0.59/0.75 |ssSkP83| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.59/0.75 WARNING:
% 0.59/0.75 |ssSkP113| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.59/0.75 WARNING:
% 0.59/0.75 #:|ssSkC18| is a proposition that occurs only negatively; disabling rows that contain it.
% 0.59/0.75 WARNING:
% 0.59/0.75 #:|ssSkC26| is a proposition that occurs only negatively; disabling rows that contain it.
% 0.59/0.75 WARNING:
% 0.59/0.75 |ssSkP695| is a 2-ary relation that occurs only positively; disabling rows that contain it.
% 0.59/0.75 WARNING:
% 0.59/0.75 |ssSkP478| is a 2-ary relation that occurs only positively; disabling rows that contain it.
% 0.59/0.75 WARNING:
% 0.59/0.75 |ssSkP752| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.59/0.75 WARNING:
% 0.59/0.75 |ssSkP597| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.59/0.75 WARNING:
% 0.59/0.75 |ssSkP546| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.59/0.75 WARNING:
% 0.59/0.75 |ssSkP389| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.59/0.75 WARNING:
% 0.59/0.75 |ssSkP163| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.59/0.75 WARNING:
% 0.59/0.75 |ssSkP82| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.59/0.75 WARNING:
% 0.59/0.75 |ssSkP112| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.59/0.76 WARNING:
% 0.59/0.76 |ssSkP753| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.59/0.76 WARNING:
% 0.59/0.76 |ssSkP598| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.59/0.76 WARNING:
% 0.59/0.76 |ssSkP547| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.59/0.76 WARNING:
% 0.59/0.76 |ssSkP390| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.59/0.76 WARNING:
% 0.59/0.76 |ssSkP164| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.59/0.76 WARNING:
% 0.59/0.76 |ssSkP81| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.59/0.76 WARNING:
% 0.59/0.76 |ssSkP111| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.59/0.76 WARNING:
% 0.59/0.76 |ssSkP754| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.59/0.76 WARNING:
% 0.59/0.76 |ssSkP599| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.59/0.76 WARNING:
% 0.59/0.76 |ssSkP548| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.59/0.76 WARNING:
% 0.59/0.76 |ssSkP391| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.59/0.76 WARNING:
% 0.59/0.76 |ssSkP165| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.59/0.76 WARNING:
% 0.59/0.76 |ssSkP110| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.59/0.76 WARNING:
% 0.59/0.76 |ssSkP80| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.59/0.76 WARNING:
% 0.59/0.76 |ssSkP755| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.59/0.76 WARNING:
% 0.59/0.76 |ssSkP600| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.59/0.76 WARNING:
% 0.59/0.76 |ssSkP549| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.59/0.76 WARNING:
% 0.59/0.76 |ssSkP392| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.59/0.76 WARNING:
% 0.59/0.76 |ssSkP166| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.59/0.76 WARNING:
% 0.59/0.76 |ssSkP109| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP79| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP756| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssPv10| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP601| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP550| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP393| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP167| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP78| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP108| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP332| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP362| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP363| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP333| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP602| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP757| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP551| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP394| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP168| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP77| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP331| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP361| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP107| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP603| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP573| is a 2-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP758| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP552| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP395| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP364| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP334| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP169| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP106| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP330| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP76| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP360| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 #:|ssSkC22| is a proposition that occurs only negatively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP553| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP572| is a 2-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP759| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP396| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP365| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP335| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP170| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP75| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP105| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP359| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP760| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP554| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP397| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP366| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP336| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP171| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP74| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP358| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP104| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP761| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP555| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP398| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP367| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP337| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP172| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP103| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP357| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP338| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP762| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP556| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP399| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP368| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP173| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssPv4| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP763| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP400| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP339| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP557| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP369| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP174| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP764| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP401| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP719| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP558| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP450| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP370| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP340| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP175| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP720| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP559| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP765| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP451| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP402| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP371| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP341| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP176| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP560| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP766| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP721| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP452| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP403| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP372| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP342| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP177| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP767| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP722| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP561| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP453| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP404| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP373| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP343| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP178| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP723| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP405| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP179| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP768| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP562| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP454| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP374| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP344| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP563| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP724| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP406| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP180| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP769| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP455| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP375| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP345| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP564| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP770| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP725| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP456| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP407| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP376| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP346| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP181| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP408| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP771| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP726| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP565| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP457| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP377| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP347| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP182| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP409| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP378| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP772| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP727| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP566| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP458| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP348| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP183| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP459| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssPv25| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP349| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP184| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP379| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP773| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP728| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP567| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP410| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssPv26| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP202| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP282| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP302| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP322| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP460| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP350| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP323| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP303| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP283| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP203| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP185| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP774| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP729| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP568| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP411| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP380| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP201| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP281| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP301| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP321| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP237| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP257| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP258| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP238| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP205| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP775| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP569| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP412| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP381| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP186| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP730| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP461| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP351| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP324| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP304| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP284| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP200| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP236| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP256| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP280| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP300| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP320| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP776| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP570| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP413| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP382| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP352| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP325| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP305| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP285| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP259| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP239| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP206| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP187| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP731| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP462| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP199| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP235| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP255| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP299| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP319| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP279| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP777| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP571| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP414| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP383| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP188| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP748| is a 2-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP542| is a 2-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP385| is a 2-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP356| is a 2-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP353| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP326| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP306| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP286| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP260| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP240| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP207| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP159| is a 2-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP732| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP463| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP198| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP234| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP254| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP318| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP278| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP298| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 #:|ssSkC6| is a proposition that occurs only negatively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 #:|ssSkC14| is a proposition that occurs only negatively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 #:|ssSkC15| is a proposition that occurs only negatively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 #:|ssSkC21| is a proposition that occurs only negatively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 #:|ssSkC28| is a proposition that occurs only negatively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP354| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP327| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP307| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP287| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP261| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP241| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP208| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP464| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP733| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP329| is a 2-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP309| is a 2-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP289| is a 2-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP263| is a 2-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP243| is a 2-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP210| is a 2-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP190| is a 2-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP747| is a 2-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP541| is a 2-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP384| is a 2-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP355| is a 2-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP158| is a 2-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP197| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP233| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP253| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP277| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP317| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP297| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssPv18| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 #:|ssSkC7| is a proposition that occurs only negatively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 #:|ssSkC8| is a proposition that occurs only negatively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 #:|ssSkC9| is a proposition that occurs only negatively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 #:|ssSkC10| is a proposition that occurs only negatively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 #:|ssSkC11| is a proposition that occurs only negatively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 #:|ssSkC12| is a proposition that occurs only negatively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 #:|ssSkC13| is a proposition that occurs only negatively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP465| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP734| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP328| is a 2-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP308| is a 2-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP288| is a 2-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP262| is a 2-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP242| is a 2-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP209| is a 2-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP189| is a 2-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP196| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP252| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP276| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP296| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP232| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP273| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP316| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP274| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP735| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP466| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP195| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP251| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP272| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP295| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP231| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP315| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssPv19| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP736| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP467| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP194| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP230| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP250| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP271| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP294| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP314| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP683| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP684| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP737| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP468| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP193| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP229| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP249| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP270| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP313| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP682| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP293| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP738| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP685| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP469| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP228| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP269| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP312| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP681| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP192| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP292| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP248| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP739| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP686| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP470| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP227| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP268| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP291| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP680| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP191| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP311| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP247| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssPv17| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP471| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP740| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP687| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP226| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP246| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP267| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP290| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP40| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP310| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP679| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP472| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP41| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP741| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP688| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP57| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP39| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP225| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP266| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP245| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP678| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP742| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 |ssSkP689| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 |ssSkP473| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 |ssSkP58| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 |ssSkP42| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 |ssSkP265| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 |ssSkP677| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 |ssSkP224| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 |ssSkP244| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 |ssSkP38| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 |ssSkP743| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 |ssSkP690| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 |ssSkP474| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 |ssSkP59| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 |ssSkP43| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 |ssSkP264| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 |ssSkP223| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 |ssSkP676| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 |ssSkP37| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 |ssSkP60| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 |ssSkP744| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 |ssSkP475| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 |ssSkP691| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 |ssSkP44| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 |ssSkP36| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 |ssSkP222| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 |ssSkP675| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 |ssSkP61| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 |ssSkP745| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 |ssSkP692| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 |ssSkP476| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 |ssSkP45| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 |ssSkP35| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 |ssSkP221| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 |ssSkP674| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 |ssSkP746| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 |ssSkP477| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 |ssSkP62| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 |ssSkP718| is a 2-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 |ssSkP693| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 |ssSkP449| is a 2-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 |ssSkP46| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 |ssSkP34| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 |ssSkP220| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 |ssSkP673| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 #:|ssSkC17| is a proposition that occurs only negatively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 #:|ssSkC27| is a proposition that occurs only negatively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 |ssSkP694| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 |ssSkP63| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 |ssSkP663| is a 2-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 |ssSkP717| is a 2-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 |ssSkP448| is a 2-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 |ssSkP47| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 |ssSkP33| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 |ssSkP219| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 |ssSkP672| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 #:|ssSkC25| is a proposition that occurs only negatively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 |ssSkP662| is a 2-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 |ssSkP64| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 |ssSkP48| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 |ssSkP32| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 |ssSkP218| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 |ssSkP671| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 |ssSkP65| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 |ssSkP49| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 |ssSkP31| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 |ssSkP217| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 |ssSkP670| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 |ssSkP66| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 |ssSkP50| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 |ssSkP216| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 |ssSkP669| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 |ssSkP51| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 |ssSkP67| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 |ssSkP215| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 |ssSkP668| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 |ssSkP52| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 |ssSkP68| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 |ssSkP214| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 |ssSkP667| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 |ssPv28| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 |ssSkP53| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 |ssSkP69| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 |ssSkP213| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 |ssSkP666| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 |ssSkP54| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 |ssSkP70| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 |ssSkP30| is a 2-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 |ssSkP212| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 |ssSkP665| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 #:|ssSkC1| is a proposition that occurs only negatively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 |ssSkP71| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 |ssSkP56| is a 2-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 |ssSkP29| is a 2-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 |ssSkP211| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 |ssSkP664| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 #:|ssSkC2| is a proposition that occurs only negatively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 |ssSkP55| is a 2-ary relation that occurs only positively; disabling rows that contain it.
% 300.03/300.25 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------