/usr/bin/java -Xmx8000000000 -Xss4m -jar ./plugins/org.eclipse.equinox.launcher_1.5.800.v20200727-1323.jar -data @noDefault -ultimatedata ./data -tc ../../../trunk/examples/toolchains/AbstractInterpretationInline.xml -s ../../../trunk/examples/settings/ai/thread-modular/svcomp-Reach-32bit-Automizer_Default+AIv2_OCT_FLOW_SENSITIVE_FILTERED.epf -i ../../../trunk/examples/concurrent/bpl/weaver-benchmarks/generated/chl/word-subst.wvr.bpl -------------------------------------------------------------------------------- This is Ultimate 0.2.2-wip.fs.absint-concur-c9b613c-m [2022-09-21 14:28:26,167 INFO L177 SettingsManager]: Resetting all preferences to default values... [2022-09-21 14:28:26,174 INFO L181 SettingsManager]: Resetting UltimateCore preferences to default values [2022-09-21 14:28:26,206 INFO L184 SettingsManager]: Ultimate Commandline Interface provides no preferences, ignoring... [2022-09-21 14:28:26,206 INFO L181 SettingsManager]: Resetting Boogie Preprocessor preferences to default values [2022-09-21 14:28:26,210 INFO L181 SettingsManager]: Resetting Boogie Procedure Inliner preferences to default values [2022-09-21 14:28:26,212 INFO L181 SettingsManager]: Resetting Abstract Interpretation preferences to default values [2022-09-21 14:28:26,213 INFO L181 SettingsManager]: Resetting LassoRanker preferences to default values [2022-09-21 14:28:26,215 INFO L181 SettingsManager]: Resetting Reaching Definitions preferences to default values [2022-09-21 14:28:26,218 INFO L181 SettingsManager]: Resetting SyntaxChecker preferences to default values [2022-09-21 14:28:26,220 INFO L181 SettingsManager]: Resetting Sifa preferences to default values [2022-09-21 14:28:26,221 INFO L184 SettingsManager]: Büchi Program Product provides no preferences, ignoring... [2022-09-21 14:28:26,221 INFO L181 SettingsManager]: Resetting LTL2Aut preferences to default values [2022-09-21 14:28:26,222 INFO L181 SettingsManager]: Resetting PEA to Boogie preferences to default values [2022-09-21 14:28:26,223 INFO L181 SettingsManager]: Resetting BlockEncodingV2 preferences to default values [2022-09-21 14:28:26,226 INFO L181 SettingsManager]: Resetting ChcToBoogie preferences to default values [2022-09-21 14:28:26,226 INFO L181 SettingsManager]: Resetting AutomataScriptInterpreter preferences to default values [2022-09-21 14:28:26,227 INFO L181 SettingsManager]: Resetting BuchiAutomizer preferences to default values [2022-09-21 14:28:26,227 INFO L181 SettingsManager]: Resetting CACSL2BoogieTranslator preferences to default values [2022-09-21 14:28:26,228 INFO L181 SettingsManager]: Resetting CodeCheck preferences to default values [2022-09-21 14:28:26,229 INFO L181 SettingsManager]: Resetting InvariantSynthesis preferences to default values [2022-09-21 14:28:26,230 INFO L181 SettingsManager]: Resetting RCFGBuilder preferences to default values [2022-09-21 14:28:26,231 INFO L181 SettingsManager]: Resetting Referee preferences to default values [2022-09-21 14:28:26,232 INFO L181 SettingsManager]: Resetting TraceAbstraction preferences to default values [2022-09-21 14:28:26,239 INFO L184 SettingsManager]: TraceAbstractionConcurrent provides no preferences, ignoring... [2022-09-21 14:28:26,239 INFO L184 SettingsManager]: TraceAbstractionWithAFAs provides no preferences, ignoring... [2022-09-21 14:28:26,239 INFO L181 SettingsManager]: Resetting TreeAutomizer preferences to default values [2022-09-21 14:28:26,240 INFO L181 SettingsManager]: Resetting IcfgToChc preferences to default values [2022-09-21 14:28:26,240 INFO L181 SettingsManager]: Resetting IcfgTransformer preferences to default values [2022-09-21 14:28:26,240 INFO L184 SettingsManager]: ReqToTest provides no preferences, ignoring... [2022-09-21 14:28:26,240 INFO L181 SettingsManager]: Resetting Boogie Printer preferences to default values [2022-09-21 14:28:26,241 INFO L181 SettingsManager]: Resetting ChcSmtPrinter preferences to default values [2022-09-21 14:28:26,241 INFO L181 SettingsManager]: Resetting ReqPrinter preferences to default values [2022-09-21 14:28:26,242 INFO L181 SettingsManager]: Resetting Witness Printer preferences to default values [2022-09-21 14:28:26,242 INFO L184 SettingsManager]: Boogie PL CUP Parser provides no preferences, ignoring... [2022-09-21 14:28:26,242 INFO L181 SettingsManager]: Resetting CDTParser preferences to default values [2022-09-21 14:28:26,243 INFO L184 SettingsManager]: AutomataScriptParser provides no preferences, ignoring... [2022-09-21 14:28:26,243 INFO L184 SettingsManager]: ReqParser provides no preferences, ignoring... [2022-09-21 14:28:26,243 INFO L181 SettingsManager]: Resetting SmtParser preferences to default values [2022-09-21 14:28:26,243 INFO L181 SettingsManager]: Resetting Witness Parser preferences to default values [2022-09-21 14:28:26,244 INFO L188 SettingsManager]: Finished resetting all preferences to default values... [2022-09-21 14:28:26,246 INFO L101 SettingsManager]: Beginning loading settings from /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/../../../trunk/examples/settings/ai/thread-modular/svcomp-Reach-32bit-Automizer_Default+AIv2_OCT_FLOW_SENSITIVE_FILTERED.epf [2022-09-21 14:28:26,269 INFO L113 SettingsManager]: Loading preferences was successful [2022-09-21 14:28:26,269 INFO L115 SettingsManager]: Preferences different from defaults after loading the file: [2022-09-21 14:28:26,269 INFO L136 SettingsManager]: Preferences of UltimateCore differ from their defaults: [2022-09-21 14:28:26,269 INFO L138 SettingsManager]: * Log level for plugins=info [2022-09-21 14:28:26,270 INFO L136 SettingsManager]: Preferences of Boogie Procedure Inliner differ from their defaults: [2022-09-21 14:28:26,270 INFO L138 SettingsManager]: * Ignore calls to procedures called more than once=ONLY_FOR_SEQUENTIAL_PROGRAMS [2022-09-21 14:28:26,270 INFO L138 SettingsManager]: * User list type=DISABLED [2022-09-21 14:28:26,270 INFO L138 SettingsManager]: * Ignore calls to and inside polymorphic procedures=false [2022-09-21 14:28:26,270 INFO L138 SettingsManager]: * Ignore calls to recursive procedures=false [2022-09-21 14:28:26,270 INFO L136 SettingsManager]: Preferences of Abstract Interpretation differ from their defaults: [2022-09-21 14:28:26,270 INFO L138 SettingsManager]: * Computation of Interferences for Sequential Abstract Interpretation of each procedure=FLOW_SENSITIVE_FILTERED [2022-09-21 14:28:26,270 INFO L138 SettingsManager]: * Abstract domain=OctagonDomain [2022-09-21 14:28:26,271 INFO L136 SettingsManager]: Preferences of CACSL2BoogieTranslator differ from their defaults: [2022-09-21 14:28:26,271 INFO L138 SettingsManager]: * sizeof long=4 [2022-09-21 14:28:26,271 INFO L138 SettingsManager]: * sizeof POINTER=4 [2022-09-21 14:28:26,271 INFO L138 SettingsManager]: * Check division by zero=IGNORE [2022-09-21 14:28:26,271 INFO L138 SettingsManager]: * Pointer to allocated memory at dereference=IGNORE [2022-09-21 14:28:26,271 INFO L138 SettingsManager]: * If two pointers are subtracted or compared they have the same base address=IGNORE [2022-09-21 14:28:26,271 INFO L138 SettingsManager]: * Check array bounds for arrays that are off heap=IGNORE [2022-09-21 14:28:26,271 INFO L138 SettingsManager]: * sizeof long double=12 [2022-09-21 14:28:26,271 INFO L138 SettingsManager]: * Check if freed pointer was valid=false [2022-09-21 14:28:26,272 INFO L138 SettingsManager]: * Pointer base address is valid at dereference=IGNORE [2022-09-21 14:28:26,272 INFO L136 SettingsManager]: Preferences of RCFGBuilder differ from their defaults: [2022-09-21 14:28:26,272 INFO L138 SettingsManager]: * Remove goto edges from RCFG=true [2022-09-21 14:28:26,272 INFO L138 SettingsManager]: * Size of a code block=SequenceOfStatements [2022-09-21 14:28:26,272 INFO L138 SettingsManager]: * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000 [2022-09-21 14:28:26,272 INFO L136 SettingsManager]: Preferences of TraceAbstraction differ from their defaults: [2022-09-21 14:28:26,272 INFO L138 SettingsManager]: * Abstract interpretation Mode=USE_PREDICATES [2022-09-21 14:28:26,272 INFO L138 SettingsManager]: * Compute Interpolants along a Counterexample=FPandBP [2022-09-21 14:28:26,272 INFO L138 SettingsManager]: * Trace refinement strategy=TAIPAN [2022-09-21 14:28:26,272 INFO L138 SettingsManager]: * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in [2022-09-21 14:28:26,272 INFO L138 SettingsManager]: * SMT solver=External_ModelsAndUnsatCoreMode WARNING: An illegal reflective access operation has occurred WARNING: Illegal reflective access by com.sun.xml.bind.v2.runtime.reflect.opt.Injector$1 (file:/storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/plugins/com.sun.xml.bind_2.2.0.v201505121915.jar) to method java.lang.ClassLoader.defineClass(java.lang.String,byte[],int,int) WARNING: Please consider reporting this to the maintainers of com.sun.xml.bind.v2.runtime.reflect.opt.Injector$1 WARNING: Use --illegal-access=warn to enable warnings of further illegal reflective access operations WARNING: All illegal access operations will be denied in a future release [2022-09-21 14:28:26,429 INFO L75 nceAwareModelManager]: Repository-Root is: /tmp [2022-09-21 14:28:26,441 INFO L261 ainManager$Toolchain]: [Toolchain 1]: Applicable parser(s) successfully (re)initialized [2022-09-21 14:28:26,443 INFO L217 ainManager$Toolchain]: [Toolchain 1]: Toolchain selected. [2022-09-21 14:28:26,444 INFO L271 PluginConnector]: Initializing Boogie PL CUP Parser... [2022-09-21 14:28:26,444 INFO L275 PluginConnector]: Boogie PL CUP Parser initialized [2022-09-21 14:28:26,445 INFO L432 ainManager$Toolchain]: [Toolchain 1]: Parsing single file: /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/../../../trunk/examples/concurrent/bpl/weaver-benchmarks/generated/chl/word-subst.wvr.bpl [2022-09-21 14:28:26,445 INFO L110 BoogieParser]: Parsing: '/storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/../../../trunk/examples/concurrent/bpl/weaver-benchmarks/generated/chl/word-subst.wvr.bpl' [2022-09-21 14:28:26,463 INFO L299 ainManager$Toolchain]: ####################### [Toolchain 1] ####################### [2022-09-21 14:28:26,464 INFO L131 ToolchainWalker]: Walking toolchain with 4 elements. [2022-09-21 14:28:26,465 INFO L113 PluginConnector]: ------------------------Boogie Procedure Inliner---------------------------- [2022-09-21 14:28:26,465 INFO L271 PluginConnector]: Initializing Boogie Procedure Inliner... [2022-09-21 14:28:26,465 INFO L275 PluginConnector]: Boogie Procedure Inliner initialized [2022-09-21 14:28:26,472 INFO L185 PluginConnector]: Executing the observer TypeChecker from plugin Boogie Procedure Inliner for "word-subst.wvr.bpl de.uni_freiburg.informatik.ultimate.boogie.parser AST 21.09 02:28:26" (1/1) ... [2022-09-21 14:28:26,478 INFO L185 PluginConnector]: Executing the observer Inliner from plugin Boogie Procedure Inliner for "word-subst.wvr.bpl de.uni_freiburg.informatik.ultimate.boogie.parser AST 21.09 02:28:26" (1/1) ... [2022-09-21 14:28:26,482 INFO L138 Inliner]: procedures = 4, calls = 3, calls flagged for inlining = 0, calls inlined = 0, statements flattened = 0 [2022-09-21 14:28:26,483 INFO L132 PluginConnector]: ------------------------ END Boogie Procedure Inliner---------------------------- [2022-09-21 14:28:26,484 INFO L113 PluginConnector]: ------------------------Boogie Preprocessor---------------------------- [2022-09-21 14:28:26,484 INFO L271 PluginConnector]: Initializing Boogie Preprocessor... [2022-09-21 14:28:26,484 INFO L275 PluginConnector]: Boogie Preprocessor initialized [2022-09-21 14:28:26,489 INFO L185 PluginConnector]: Executing the observer EnsureBoogieModelObserver from plugin Boogie Preprocessor for "word-subst.wvr.bpl de.uni_freiburg.informatik.ultimate.boogie.parser AST 21.09 02:28:26" (1/1) ... [2022-09-21 14:28:26,489 INFO L185 PluginConnector]: Executing the observer TypeChecker from plugin Boogie Preprocessor for "word-subst.wvr.bpl de.uni_freiburg.informatik.ultimate.boogie.parser AST 21.09 02:28:26" (1/1) ... [2022-09-21 14:28:26,491 INFO L185 PluginConnector]: Executing the observer ConstExpander from plugin Boogie Preprocessor for "word-subst.wvr.bpl de.uni_freiburg.informatik.ultimate.boogie.parser AST 21.09 02:28:26" (1/1) ... [2022-09-21 14:28:26,491 INFO L185 PluginConnector]: Executing the observer StructExpander from plugin Boogie Preprocessor for "word-subst.wvr.bpl de.uni_freiburg.informatik.ultimate.boogie.parser AST 21.09 02:28:26" (1/1) ... [2022-09-21 14:28:26,493 INFO L185 PluginConnector]: Executing the observer UnstructureCode from plugin Boogie Preprocessor for "word-subst.wvr.bpl de.uni_freiburg.informatik.ultimate.boogie.parser AST 21.09 02:28:26" (1/1) ... [2022-09-21 14:28:26,495 INFO L185 PluginConnector]: Executing the observer FunctionInliner from plugin Boogie Preprocessor for "word-subst.wvr.bpl de.uni_freiburg.informatik.ultimate.boogie.parser AST 21.09 02:28:26" (1/1) ... [2022-09-21 14:28:26,496 INFO L185 PluginConnector]: Executing the observer BoogieSymbolTableConstructor from plugin Boogie Preprocessor for "word-subst.wvr.bpl de.uni_freiburg.informatik.ultimate.boogie.parser AST 21.09 02:28:26" (1/1) ... [2022-09-21 14:28:26,497 INFO L132 PluginConnector]: ------------------------ END Boogie Preprocessor---------------------------- [2022-09-21 14:28:26,497 INFO L113 PluginConnector]: ------------------------RCFGBuilder---------------------------- [2022-09-21 14:28:26,497 INFO L271 PluginConnector]: Initializing RCFGBuilder... [2022-09-21 14:28:26,497 INFO L275 PluginConnector]: RCFGBuilder initialized [2022-09-21 14:28:26,499 INFO L185 PluginConnector]: Executing the observer RCFGBuilderObserver from plugin RCFGBuilder for "word-subst.wvr.bpl de.uni_freiburg.informatik.ultimate.boogie.parser AST 21.09 02:28:26" (1/1) ... [2022-09-21 14:28:26,503 INFO L173 SolverBuilder]: Constructing external solver with command: z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000 [2022-09-21 14:28:26,508 INFO L189 MonitoredProcess]: No working directory specified, using /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/z3 [2022-09-21 14:28:26,545 INFO L229 MonitoredProcess]: Starting monitored process 1 with /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000 (exit command is (exit), workingDir is null) [2022-09-21 14:28:26,564 INFO L327 MonitoredProcess]: [MP /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000 (1)] Waiting until timeout for monitored process [2022-09-21 14:28:26,582 INFO L124 BoogieDeclarations]: Specification and implementation of procedure thread1 given in one single declaration [2022-09-21 14:28:26,582 INFO L130 BoogieDeclarations]: Found specification of procedure thread1 [2022-09-21 14:28:26,582 INFO L138 BoogieDeclarations]: Found implementation of procedure thread1 [2022-09-21 14:28:26,583 INFO L124 BoogieDeclarations]: Specification and implementation of procedure thread2 given in one single declaration [2022-09-21 14:28:26,583 INFO L130 BoogieDeclarations]: Found specification of procedure thread2 [2022-09-21 14:28:26,583 INFO L138 BoogieDeclarations]: Found implementation of procedure thread2 [2022-09-21 14:28:26,583 INFO L124 BoogieDeclarations]: Specification and implementation of procedure ULTIMATE.start given in one single declaration [2022-09-21 14:28:26,583 INFO L130 BoogieDeclarations]: Found specification of procedure ULTIMATE.start [2022-09-21 14:28:26,583 INFO L138 BoogieDeclarations]: Found implementation of procedure ULTIMATE.start [2022-09-21 14:28:26,583 INFO L124 BoogieDeclarations]: Specification and implementation of procedure thread3 given in one single declaration [2022-09-21 14:28:26,584 INFO L130 BoogieDeclarations]: Found specification of procedure thread3 [2022-09-21 14:28:26,584 INFO L138 BoogieDeclarations]: Found implementation of procedure thread3 [2022-09-21 14:28:26,584 WARN L208 CfgBuilder]: User set CodeBlockSize to SequenceOfStatements but program contains fork statements. Overwriting the user preferences and setting CodeBlockSize to SingleStatement [2022-09-21 14:28:26,627 INFO L234 CfgBuilder]: Building ICFG [2022-09-21 14:28:26,628 INFO L260 CfgBuilder]: Building CFG for each procedure with an implementation [2022-09-21 14:28:26,755 INFO L275 CfgBuilder]: Performing block encoding [2022-09-21 14:28:26,801 INFO L294 CfgBuilder]: Using the 1 location(s) as analysis (start of procedure ULTIMATE.start) [2022-09-21 14:28:26,801 INFO L299 CfgBuilder]: Removed 3 assume(true) statements. [2022-09-21 14:28:26,802 INFO L202 PluginConnector]: Adding new model word-subst.wvr.bpl de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder CFG 21.09 02:28:26 BoogieIcfgContainer [2022-09-21 14:28:26,802 INFO L132 PluginConnector]: ------------------------ END RCFGBuilder---------------------------- [2022-09-21 14:28:26,803 INFO L113 PluginConnector]: ------------------------Abstract Interpretation---------------------------- [2022-09-21 14:28:26,803 INFO L271 PluginConnector]: Initializing Abstract Interpretation... [2022-09-21 14:28:26,803 INFO L275 PluginConnector]: Abstract Interpretation initialized [2022-09-21 14:28:26,804 INFO L185 PluginConnector]: Executing the observer AbstractInterpretationRcfgObserver from plugin Abstract Interpretation for "word-subst.wvr.bpl de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder CFG 21.09 02:28:26" (1/1) ... [2022-09-21 14:28:26,837 INFO L173 SolverBuilder]: Constructing external solver with command: z3 -smt2 -in SMTLIB2_COMPLIANT=true [2022-09-21 14:28:26,837 INFO L189 MonitoredProcess]: No working directory specified, using /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/z3 [2022-09-21 14:28:26,856 INFO L229 MonitoredProcess]: Starting monitored process 2 with /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/z3 -smt2 -in SMTLIB2_COMPLIANT=true (exit command is (exit), workingDir is null) [2022-09-21 14:28:26,856 INFO L327 MonitoredProcess]: [MP /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/z3 -smt2 -in SMTLIB2_COMPLIANT=true (2)] Waiting until timeout for monitored process [2022-09-21 14:28:26,900 INFO L129 ointEngineConcurrent]: Starting fixpoint engine with domain OctagonDomain (maxUnwinding=3, maxParallelStates=2) [2022-09-21 14:28:26,901 INFO L155 ointEngineConcurrent]: Starting outer Fixpoint iteration number 1 [2022-09-21 14:28:26,901 INFO L115 FixpointEngine]: Starting fixpoint engine with domain OctagonDomain (maxUnwinding=3, maxParallelStates=2) [2022-09-21 14:28:26,929 INFO L115 FixpointEngine]: Starting fixpoint engine with domain OctagonDomain (maxUnwinding=3, maxParallelStates=2) [2022-09-21 14:28:27,048 INFO L115 FixpointEngine]: Starting fixpoint engine with domain OctagonDomain (maxUnwinding=3, maxParallelStates=2) [2022-09-21 14:28:27,098 INFO L115 FixpointEngine]: Starting fixpoint engine with domain OctagonDomain (maxUnwinding=3, maxParallelStates=2) [2022-09-21 14:28:27,163 INFO L155 ointEngineConcurrent]: Starting outer Fixpoint iteration number 2 [2022-09-21 14:28:27,163 INFO L596 ngineConcurrentUtils]: Cross Product Computation started for ULTIMATE.start with variables: [count_7, i_9, result_11, get_0, result_17, len_5, i_12, get_6, break_16, break_10, count_4, result_14, count_1, i_15, len_2, break_13, len_8, get_3] [2022-09-21 14:28:27,172 INFO L631 ngineConcurrentUtils]: Start checking 4096 possible combinations. [2022-09-21 14:28:27,172 INFO L642 ngineConcurrentUtils]: Filter Iteration 1/4096 [2022-09-21 14:28:27,200 INFO L642 ngineConcurrentUtils]: Filter Iteration 2/4096 [2022-09-21 14:28:27,229 INFO L642 ngineConcurrentUtils]: Filter Iteration 3/4096 [2022-09-21 14:28:27,257 INFO L642 ngineConcurrentUtils]: Filter Iteration 4/4096 [2022-09-21 14:28:27,274 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:27,274 INFO L642 ngineConcurrentUtils]: Filter Iteration 5/4096 [2022-09-21 14:28:27,303 INFO L642 ngineConcurrentUtils]: Filter Iteration 6/4096 [2022-09-21 14:28:27,334 INFO L642 ngineConcurrentUtils]: Filter Iteration 7/4096 [2022-09-21 14:28:27,372 INFO L642 ngineConcurrentUtils]: Filter Iteration 8/4096 [2022-09-21 14:28:27,383 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:27,383 INFO L642 ngineConcurrentUtils]: Filter Iteration 9/4096 [2022-09-21 14:28:27,422 INFO L642 ngineConcurrentUtils]: Filter Iteration 10/4096 [2022-09-21 14:28:27,453 INFO L642 ngineConcurrentUtils]: Filter Iteration 11/4096 [2022-09-21 14:28:27,484 INFO L642 ngineConcurrentUtils]: Filter Iteration 12/4096 [2022-09-21 14:28:27,492 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:27,492 INFO L642 ngineConcurrentUtils]: Filter Iteration 13/4096 [2022-09-21 14:28:27,522 INFO L642 ngineConcurrentUtils]: Filter Iteration 14/4096 [2022-09-21 14:28:27,561 INFO L642 ngineConcurrentUtils]: Filter Iteration 15/4096 [2022-09-21 14:28:27,599 INFO L642 ngineConcurrentUtils]: Filter Iteration 16/4096 [2022-09-21 14:28:27,609 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:27,609 INFO L642 ngineConcurrentUtils]: Filter Iteration 17/4096 [2022-09-21 14:28:27,637 INFO L642 ngineConcurrentUtils]: Filter Iteration 18/4096 [2022-09-21 14:28:27,675 INFO L642 ngineConcurrentUtils]: Filter Iteration 19/4096 [2022-09-21 14:28:27,712 INFO L642 ngineConcurrentUtils]: Filter Iteration 20/4096 [2022-09-21 14:28:27,723 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:27,723 INFO L642 ngineConcurrentUtils]: Filter Iteration 21/4096 [2022-09-21 14:28:27,755 INFO L642 ngineConcurrentUtils]: Filter Iteration 22/4096 [2022-09-21 14:28:27,784 INFO L642 ngineConcurrentUtils]: Filter Iteration 23/4096 [2022-09-21 14:28:27,813 INFO L642 ngineConcurrentUtils]: Filter Iteration 24/4096 [2022-09-21 14:28:27,822 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:27,822 INFO L642 ngineConcurrentUtils]: Filter Iteration 25/4096 [2022-09-21 14:28:27,859 INFO L642 ngineConcurrentUtils]: Filter Iteration 26/4096 [2022-09-21 14:28:27,891 INFO L642 ngineConcurrentUtils]: Filter Iteration 27/4096 [2022-09-21 14:28:27,931 INFO L642 ngineConcurrentUtils]: Filter Iteration 28/4096 [2022-09-21 14:28:27,949 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:27,949 INFO L642 ngineConcurrentUtils]: Filter Iteration 29/4096 [2022-09-21 14:28:27,982 INFO L642 ngineConcurrentUtils]: Filter Iteration 30/4096 [2022-09-21 14:28:28,021 INFO L642 ngineConcurrentUtils]: Filter Iteration 31/4096 [2022-09-21 14:28:28,052 INFO L642 ngineConcurrentUtils]: Filter Iteration 32/4096 [2022-09-21 14:28:28,061 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:28,061 INFO L642 ngineConcurrentUtils]: Filter Iteration 33/4096 [2022-09-21 14:28:28,101 INFO L642 ngineConcurrentUtils]: Filter Iteration 34/4096 [2022-09-21 14:28:28,134 INFO L642 ngineConcurrentUtils]: Filter Iteration 35/4096 [2022-09-21 14:28:28,173 INFO L642 ngineConcurrentUtils]: Filter Iteration 36/4096 [2022-09-21 14:28:28,195 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:28,195 INFO L642 ngineConcurrentUtils]: Filter Iteration 37/4096 [2022-09-21 14:28:28,229 INFO L642 ngineConcurrentUtils]: Filter Iteration 38/4096 [2022-09-21 14:28:28,268 INFO L642 ngineConcurrentUtils]: Filter Iteration 39/4096 [2022-09-21 14:28:28,316 INFO L642 ngineConcurrentUtils]: Filter Iteration 40/4096 [2022-09-21 14:28:28,325 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:28,326 INFO L642 ngineConcurrentUtils]: Filter Iteration 41/4096 [2022-09-21 14:28:28,359 INFO L642 ngineConcurrentUtils]: Filter Iteration 42/4096 [2022-09-21 14:28:28,397 INFO L642 ngineConcurrentUtils]: Filter Iteration 43/4096 [2022-09-21 14:28:28,434 INFO L642 ngineConcurrentUtils]: Filter Iteration 44/4096 [2022-09-21 14:28:28,442 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:28,442 INFO L642 ngineConcurrentUtils]: Filter Iteration 45/4096 [2022-09-21 14:28:28,473 INFO L642 ngineConcurrentUtils]: Filter Iteration 46/4096 [2022-09-21 14:28:28,510 INFO L642 ngineConcurrentUtils]: Filter Iteration 47/4096 [2022-09-21 14:28:28,557 INFO L642 ngineConcurrentUtils]: Filter Iteration 48/4096 [2022-09-21 14:28:28,578 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:28,578 INFO L642 ngineConcurrentUtils]: Filter Iteration 49/4096 [2022-09-21 14:28:28,615 INFO L642 ngineConcurrentUtils]: Filter Iteration 50/4096 [2022-09-21 14:28:28,644 INFO L642 ngineConcurrentUtils]: Filter Iteration 51/4096 [2022-09-21 14:28:28,675 INFO L642 ngineConcurrentUtils]: Filter Iteration 52/4096 [2022-09-21 14:28:28,685 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:28,685 INFO L642 ngineConcurrentUtils]: Filter Iteration 53/4096 [2022-09-21 14:28:28,714 INFO L642 ngineConcurrentUtils]: Filter Iteration 54/4096 [2022-09-21 14:28:28,753 INFO L642 ngineConcurrentUtils]: Filter Iteration 55/4096 [2022-09-21 14:28:28,793 INFO L642 ngineConcurrentUtils]: Filter Iteration 56/4096 [2022-09-21 14:28:28,812 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:28,813 INFO L642 ngineConcurrentUtils]: Filter Iteration 57/4096 [2022-09-21 14:28:28,849 INFO L642 ngineConcurrentUtils]: Filter Iteration 58/4096 [2022-09-21 14:28:28,888 INFO L642 ngineConcurrentUtils]: Filter Iteration 59/4096 [2022-09-21 14:28:28,925 INFO L642 ngineConcurrentUtils]: Filter Iteration 60/4096 [2022-09-21 14:28:28,942 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:28,942 INFO L642 ngineConcurrentUtils]: Filter Iteration 61/4096 [2022-09-21 14:28:28,981 INFO L642 ngineConcurrentUtils]: Filter Iteration 62/4096 [2022-09-21 14:28:29,018 INFO L642 ngineConcurrentUtils]: Filter Iteration 63/4096 [2022-09-21 14:28:29,056 INFO L642 ngineConcurrentUtils]: Filter Iteration 64/4096 [2022-09-21 14:28:29,073 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:29,074 INFO L642 ngineConcurrentUtils]: Filter Iteration 65/4096 [2022-09-21 14:28:29,101 INFO L642 ngineConcurrentUtils]: Filter Iteration 66/4096 [2022-09-21 14:28:29,130 INFO L642 ngineConcurrentUtils]: Filter Iteration 67/4096 [2022-09-21 14:28:29,160 INFO L642 ngineConcurrentUtils]: Filter Iteration 68/4096 [2022-09-21 14:28:29,178 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:29,179 INFO L642 ngineConcurrentUtils]: Filter Iteration 69/4096 [2022-09-21 14:28:29,219 INFO L642 ngineConcurrentUtils]: Filter Iteration 70/4096 [2022-09-21 14:28:29,255 INFO L642 ngineConcurrentUtils]: Filter Iteration 71/4096 [2022-09-21 14:28:29,284 INFO L642 ngineConcurrentUtils]: Filter Iteration 72/4096 [2022-09-21 14:28:29,294 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:29,294 INFO L642 ngineConcurrentUtils]: Filter Iteration 73/4096 [2022-09-21 14:28:29,330 INFO L642 ngineConcurrentUtils]: Filter Iteration 74/4096 [2022-09-21 14:28:29,359 INFO L642 ngineConcurrentUtils]: Filter Iteration 75/4096 [2022-09-21 14:28:29,430 INFO L642 ngineConcurrentUtils]: Filter Iteration 76/4096 [2022-09-21 14:28:29,448 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:29,449 INFO L642 ngineConcurrentUtils]: Filter Iteration 77/4096 [2022-09-21 14:28:29,477 INFO L642 ngineConcurrentUtils]: Filter Iteration 78/4096 [2022-09-21 14:28:29,515 INFO L642 ngineConcurrentUtils]: Filter Iteration 79/4096 [2022-09-21 14:28:29,546 INFO L642 ngineConcurrentUtils]: Filter Iteration 80/4096 [2022-09-21 14:28:29,566 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:29,566 INFO L642 ngineConcurrentUtils]: Filter Iteration 81/4096 [2022-09-21 14:28:29,603 INFO L642 ngineConcurrentUtils]: Filter Iteration 82/4096 [2022-09-21 14:28:29,641 INFO L642 ngineConcurrentUtils]: Filter Iteration 83/4096 [2022-09-21 14:28:29,671 INFO L642 ngineConcurrentUtils]: Filter Iteration 84/4096 [2022-09-21 14:28:29,680 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:29,680 INFO L642 ngineConcurrentUtils]: Filter Iteration 85/4096 [2022-09-21 14:28:29,716 INFO L642 ngineConcurrentUtils]: Filter Iteration 86/4096 [2022-09-21 14:28:29,755 INFO L642 ngineConcurrentUtils]: Filter Iteration 87/4096 [2022-09-21 14:28:29,785 INFO L642 ngineConcurrentUtils]: Filter Iteration 88/4096 [2022-09-21 14:28:29,805 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:29,805 INFO L642 ngineConcurrentUtils]: Filter Iteration 89/4096 [2022-09-21 14:28:29,845 INFO L642 ngineConcurrentUtils]: Filter Iteration 90/4096 [2022-09-21 14:28:29,899 INFO L642 ngineConcurrentUtils]: Filter Iteration 91/4096 [2022-09-21 14:28:29,929 INFO L642 ngineConcurrentUtils]: Filter Iteration 92/4096 [2022-09-21 14:28:29,937 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:29,937 INFO L642 ngineConcurrentUtils]: Filter Iteration 93/4096 [2022-09-21 14:28:29,967 INFO L642 ngineConcurrentUtils]: Filter Iteration 94/4096 [2022-09-21 14:28:29,997 INFO L642 ngineConcurrentUtils]: Filter Iteration 95/4096 [2022-09-21 14:28:30,035 INFO L642 ngineConcurrentUtils]: Filter Iteration 96/4096 [2022-09-21 14:28:30,053 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:30,054 INFO L642 ngineConcurrentUtils]: Filter Iteration 97/4096 [2022-09-21 14:28:30,082 INFO L642 ngineConcurrentUtils]: Filter Iteration 98/4096 [2022-09-21 14:28:30,112 INFO L642 ngineConcurrentUtils]: Filter Iteration 99/4096 [2022-09-21 14:28:30,150 INFO L642 ngineConcurrentUtils]: Filter Iteration 100/4096 [2022-09-21 14:28:30,159 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:30,159 INFO L642 ngineConcurrentUtils]: Filter Iteration 101/4096 [2022-09-21 14:28:30,198 INFO L642 ngineConcurrentUtils]: Filter Iteration 102/4096 [2022-09-21 14:28:30,237 INFO L642 ngineConcurrentUtils]: Filter Iteration 103/4096 [2022-09-21 14:28:30,266 INFO L642 ngineConcurrentUtils]: Filter Iteration 104/4096 [2022-09-21 14:28:30,283 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:30,284 INFO L642 ngineConcurrentUtils]: Filter Iteration 105/4096 [2022-09-21 14:28:30,323 INFO L642 ngineConcurrentUtils]: Filter Iteration 106/4096 [2022-09-21 14:28:30,361 INFO L642 ngineConcurrentUtils]: Filter Iteration 107/4096 [2022-09-21 14:28:30,392 INFO L642 ngineConcurrentUtils]: Filter Iteration 108/4096 [2022-09-21 14:28:30,410 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:30,411 INFO L642 ngineConcurrentUtils]: Filter Iteration 109/4096 [2022-09-21 14:28:30,440 INFO L642 ngineConcurrentUtils]: Filter Iteration 110/4096 [2022-09-21 14:28:30,479 INFO L642 ngineConcurrentUtils]: Filter Iteration 111/4096 [2022-09-21 14:28:30,519 INFO L642 ngineConcurrentUtils]: Filter Iteration 112/4096 [2022-09-21 14:28:30,537 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:30,538 INFO L642 ngineConcurrentUtils]: Filter Iteration 113/4096 [2022-09-21 14:28:30,567 INFO L642 ngineConcurrentUtils]: Filter Iteration 114/4096 [2022-09-21 14:28:30,598 INFO L642 ngineConcurrentUtils]: Filter Iteration 115/4096 [2022-09-21 14:28:30,636 INFO L642 ngineConcurrentUtils]: Filter Iteration 116/4096 [2022-09-21 14:28:30,645 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:30,645 INFO L642 ngineConcurrentUtils]: Filter Iteration 117/4096 [2022-09-21 14:28:30,686 INFO L642 ngineConcurrentUtils]: Filter Iteration 118/4096 [2022-09-21 14:28:30,717 INFO L642 ngineConcurrentUtils]: Filter Iteration 119/4096 [2022-09-21 14:28:30,755 INFO L642 ngineConcurrentUtils]: Filter Iteration 120/4096 [2022-09-21 14:28:30,765 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:30,765 INFO L642 ngineConcurrentUtils]: Filter Iteration 121/4096 [2022-09-21 14:28:30,802 INFO L642 ngineConcurrentUtils]: Filter Iteration 122/4096 [2022-09-21 14:28:30,831 INFO L642 ngineConcurrentUtils]: Filter Iteration 123/4096 [2022-09-21 14:28:30,867 INFO L642 ngineConcurrentUtils]: Filter Iteration 124/4096 [2022-09-21 14:28:30,877 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:30,877 INFO L642 ngineConcurrentUtils]: Filter Iteration 125/4096 [2022-09-21 14:28:30,916 INFO L642 ngineConcurrentUtils]: Filter Iteration 126/4096 [2022-09-21 14:28:30,947 INFO L642 ngineConcurrentUtils]: Filter Iteration 127/4096 [2022-09-21 14:28:30,977 INFO L642 ngineConcurrentUtils]: Filter Iteration 128/4096 [2022-09-21 14:28:30,986 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:30,986 INFO L642 ngineConcurrentUtils]: Filter Iteration 129/4096 [2022-09-21 14:28:31,022 INFO L642 ngineConcurrentUtils]: Filter Iteration 130/4096 [2022-09-21 14:28:31,060 INFO L642 ngineConcurrentUtils]: Filter Iteration 131/4096 [2022-09-21 14:28:31,096 INFO L642 ngineConcurrentUtils]: Filter Iteration 132/4096 [2022-09-21 14:28:31,104 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:31,104 INFO L642 ngineConcurrentUtils]: Filter Iteration 133/4096 [2022-09-21 14:28:31,133 INFO L642 ngineConcurrentUtils]: Filter Iteration 134/4096 [2022-09-21 14:28:31,172 INFO L642 ngineConcurrentUtils]: Filter Iteration 135/4096 [2022-09-21 14:28:31,202 INFO L642 ngineConcurrentUtils]: Filter Iteration 136/4096 [2022-09-21 14:28:31,221 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:31,221 INFO L642 ngineConcurrentUtils]: Filter Iteration 137/4096 [2022-09-21 14:28:31,251 INFO L642 ngineConcurrentUtils]: Filter Iteration 138/4096 [2022-09-21 14:28:31,288 INFO L642 ngineConcurrentUtils]: Filter Iteration 139/4096 [2022-09-21 14:28:31,327 INFO L642 ngineConcurrentUtils]: Filter Iteration 140/4096 [2022-09-21 14:28:31,336 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:31,336 INFO L642 ngineConcurrentUtils]: Filter Iteration 141/4096 [2022-09-21 14:28:31,368 INFO L642 ngineConcurrentUtils]: Filter Iteration 142/4096 [2022-09-21 14:28:31,398 INFO L642 ngineConcurrentUtils]: Filter Iteration 143/4096 [2022-09-21 14:28:31,429 INFO L642 ngineConcurrentUtils]: Filter Iteration 144/4096 [2022-09-21 14:28:31,438 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:31,438 INFO L642 ngineConcurrentUtils]: Filter Iteration 145/4096 [2022-09-21 14:28:31,476 INFO L642 ngineConcurrentUtils]: Filter Iteration 146/4096 [2022-09-21 14:28:31,514 INFO L642 ngineConcurrentUtils]: Filter Iteration 147/4096 [2022-09-21 14:28:31,553 INFO L642 ngineConcurrentUtils]: Filter Iteration 148/4096 [2022-09-21 14:28:31,571 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:31,571 INFO L642 ngineConcurrentUtils]: Filter Iteration 149/4096 [2022-09-21 14:28:31,611 INFO L642 ngineConcurrentUtils]: Filter Iteration 150/4096 [2022-09-21 14:28:31,710 INFO L642 ngineConcurrentUtils]: Filter Iteration 151/4096 [2022-09-21 14:28:31,741 INFO L642 ngineConcurrentUtils]: Filter Iteration 152/4096 [2022-09-21 14:28:31,760 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:31,761 INFO L642 ngineConcurrentUtils]: Filter Iteration 153/4096 [2022-09-21 14:28:31,789 INFO L642 ngineConcurrentUtils]: Filter Iteration 154/4096 [2022-09-21 14:28:31,830 INFO L642 ngineConcurrentUtils]: Filter Iteration 155/4096 [2022-09-21 14:28:31,860 INFO L642 ngineConcurrentUtils]: Filter Iteration 156/4096 [2022-09-21 14:28:31,870 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:31,870 INFO L642 ngineConcurrentUtils]: Filter Iteration 157/4096 [2022-09-21 14:28:31,898 INFO L642 ngineConcurrentUtils]: Filter Iteration 158/4096 [2022-09-21 14:28:31,936 INFO L642 ngineConcurrentUtils]: Filter Iteration 159/4096 [2022-09-21 14:28:31,976 INFO L642 ngineConcurrentUtils]: Filter Iteration 160/4096 [2022-09-21 14:28:31,995 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:31,996 INFO L642 ngineConcurrentUtils]: Filter Iteration 161/4096 [2022-09-21 14:28:32,023 INFO L642 ngineConcurrentUtils]: Filter Iteration 162/4096 [2022-09-21 14:28:32,062 INFO L642 ngineConcurrentUtils]: Filter Iteration 163/4096 [2022-09-21 14:28:32,092 INFO L642 ngineConcurrentUtils]: Filter Iteration 164/4096 [2022-09-21 14:28:32,101 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:32,101 INFO L642 ngineConcurrentUtils]: Filter Iteration 165/4096 [2022-09-21 14:28:32,136 INFO L642 ngineConcurrentUtils]: Filter Iteration 166/4096 [2022-09-21 14:28:32,168 INFO L642 ngineConcurrentUtils]: Filter Iteration 167/4096 [2022-09-21 14:28:32,197 INFO L642 ngineConcurrentUtils]: Filter Iteration 168/4096 [2022-09-21 14:28:32,216 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:32,216 INFO L642 ngineConcurrentUtils]: Filter Iteration 169/4096 [2022-09-21 14:28:32,252 INFO L642 ngineConcurrentUtils]: Filter Iteration 170/4096 [2022-09-21 14:28:32,291 INFO L642 ngineConcurrentUtils]: Filter Iteration 171/4096 [2022-09-21 14:28:32,321 INFO L642 ngineConcurrentUtils]: Filter Iteration 172/4096 [2022-09-21 14:28:32,338 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:32,339 INFO L642 ngineConcurrentUtils]: Filter Iteration 173/4096 [2022-09-21 14:28:32,368 INFO L642 ngineConcurrentUtils]: Filter Iteration 174/4096 [2022-09-21 14:28:32,407 INFO L642 ngineConcurrentUtils]: Filter Iteration 175/4096 [2022-09-21 14:28:32,446 INFO L642 ngineConcurrentUtils]: Filter Iteration 176/4096 [2022-09-21 14:28:32,455 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:32,455 INFO L642 ngineConcurrentUtils]: Filter Iteration 177/4096 [2022-09-21 14:28:32,485 INFO L642 ngineConcurrentUtils]: Filter Iteration 178/4096 [2022-09-21 14:28:32,514 INFO L642 ngineConcurrentUtils]: Filter Iteration 179/4096 [2022-09-21 14:28:32,545 INFO L642 ngineConcurrentUtils]: Filter Iteration 180/4096 [2022-09-21 14:28:32,564 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:32,564 INFO L642 ngineConcurrentUtils]: Filter Iteration 181/4096 [2022-09-21 14:28:32,594 INFO L642 ngineConcurrentUtils]: Filter Iteration 182/4096 [2022-09-21 14:28:32,661 INFO L642 ngineConcurrentUtils]: Filter Iteration 183/4096 [2022-09-21 14:28:32,692 INFO L642 ngineConcurrentUtils]: Filter Iteration 184/4096 [2022-09-21 14:28:32,702 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:32,702 INFO L642 ngineConcurrentUtils]: Filter Iteration 185/4096 [2022-09-21 14:28:32,730 INFO L642 ngineConcurrentUtils]: Filter Iteration 186/4096 [2022-09-21 14:28:32,771 INFO L642 ngineConcurrentUtils]: Filter Iteration 187/4096 [2022-09-21 14:28:32,808 INFO L642 ngineConcurrentUtils]: Filter Iteration 188/4096 [2022-09-21 14:28:32,819 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:32,819 INFO L642 ngineConcurrentUtils]: Filter Iteration 189/4096 [2022-09-21 14:28:32,848 INFO L642 ngineConcurrentUtils]: Filter Iteration 190/4096 [2022-09-21 14:28:32,888 INFO L642 ngineConcurrentUtils]: Filter Iteration 191/4096 [2022-09-21 14:28:32,917 INFO L642 ngineConcurrentUtils]: Filter Iteration 192/4096 [2022-09-21 14:28:32,935 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:32,936 INFO L642 ngineConcurrentUtils]: Filter Iteration 193/4096 [2022-09-21 14:28:32,964 INFO L642 ngineConcurrentUtils]: Filter Iteration 194/4096 [2022-09-21 14:28:33,002 INFO L642 ngineConcurrentUtils]: Filter Iteration 195/4096 [2022-09-21 14:28:33,031 INFO L642 ngineConcurrentUtils]: Filter Iteration 196/4096 [2022-09-21 14:28:33,042 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:33,042 INFO L642 ngineConcurrentUtils]: Filter Iteration 197/4096 [2022-09-21 14:28:33,079 INFO L642 ngineConcurrentUtils]: Filter Iteration 198/4096 [2022-09-21 14:28:33,116 INFO L642 ngineConcurrentUtils]: Filter Iteration 199/4096 [2022-09-21 14:28:33,145 INFO L642 ngineConcurrentUtils]: Filter Iteration 200/4096 [2022-09-21 14:28:33,163 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:33,164 INFO L642 ngineConcurrentUtils]: Filter Iteration 201/4096 [2022-09-21 14:28:33,194 INFO L642 ngineConcurrentUtils]: Filter Iteration 202/4096 [2022-09-21 14:28:33,232 INFO L642 ngineConcurrentUtils]: Filter Iteration 203/4096 [2022-09-21 14:28:33,271 INFO L642 ngineConcurrentUtils]: Filter Iteration 204/4096 [2022-09-21 14:28:33,292 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:33,292 INFO L642 ngineConcurrentUtils]: Filter Iteration 205/4096 [2022-09-21 14:28:33,330 INFO L642 ngineConcurrentUtils]: Filter Iteration 206/4096 [2022-09-21 14:28:33,360 INFO L642 ngineConcurrentUtils]: Filter Iteration 207/4096 [2022-09-21 14:28:33,398 INFO L642 ngineConcurrentUtils]: Filter Iteration 208/4096 [2022-09-21 14:28:33,417 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:33,417 INFO L642 ngineConcurrentUtils]: Filter Iteration 209/4096 [2022-09-21 14:28:33,454 INFO L642 ngineConcurrentUtils]: Filter Iteration 210/4096 [2022-09-21 14:28:33,493 INFO L642 ngineConcurrentUtils]: Filter Iteration 211/4096 [2022-09-21 14:28:33,531 INFO L642 ngineConcurrentUtils]: Filter Iteration 212/4096 [2022-09-21 14:28:33,550 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:33,550 INFO L642 ngineConcurrentUtils]: Filter Iteration 213/4096 [2022-09-21 14:28:33,579 INFO L642 ngineConcurrentUtils]: Filter Iteration 214/4096 [2022-09-21 14:28:33,618 INFO L642 ngineConcurrentUtils]: Filter Iteration 215/4096 [2022-09-21 14:28:33,649 INFO L642 ngineConcurrentUtils]: Filter Iteration 216/4096 [2022-09-21 14:28:33,658 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:33,658 INFO L642 ngineConcurrentUtils]: Filter Iteration 217/4096 [2022-09-21 14:28:33,695 INFO L642 ngineConcurrentUtils]: Filter Iteration 218/4096 [2022-09-21 14:28:33,725 INFO L642 ngineConcurrentUtils]: Filter Iteration 219/4096 [2022-09-21 14:28:33,763 INFO L642 ngineConcurrentUtils]: Filter Iteration 220/4096 [2022-09-21 14:28:33,781 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:33,782 INFO L642 ngineConcurrentUtils]: Filter Iteration 221/4096 [2022-09-21 14:28:33,811 INFO L642 ngineConcurrentUtils]: Filter Iteration 222/4096 [2022-09-21 14:28:33,851 INFO L642 ngineConcurrentUtils]: Filter Iteration 223/4096 [2022-09-21 14:28:33,890 INFO L642 ngineConcurrentUtils]: Filter Iteration 224/4096 [2022-09-21 14:28:33,909 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:33,909 INFO L642 ngineConcurrentUtils]: Filter Iteration 225/4096 [2022-09-21 14:28:33,940 INFO L642 ngineConcurrentUtils]: Filter Iteration 226/4096 [2022-09-21 14:28:33,968 INFO L642 ngineConcurrentUtils]: Filter Iteration 227/4096 [2022-09-21 14:28:34,011 INFO L642 ngineConcurrentUtils]: Filter Iteration 228/4096 [2022-09-21 14:28:34,021 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:34,021 INFO L642 ngineConcurrentUtils]: Filter Iteration 229/4096 [2022-09-21 14:28:34,059 INFO L642 ngineConcurrentUtils]: Filter Iteration 230/4096 [2022-09-21 14:28:34,090 INFO L642 ngineConcurrentUtils]: Filter Iteration 231/4096 [2022-09-21 14:28:34,121 INFO L642 ngineConcurrentUtils]: Filter Iteration 232/4096 [2022-09-21 14:28:34,140 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:34,140 INFO L642 ngineConcurrentUtils]: Filter Iteration 233/4096 [2022-09-21 14:28:34,176 INFO L642 ngineConcurrentUtils]: Filter Iteration 234/4096 [2022-09-21 14:28:34,216 INFO L642 ngineConcurrentUtils]: Filter Iteration 235/4096 [2022-09-21 14:28:34,254 INFO L642 ngineConcurrentUtils]: Filter Iteration 236/4096 [2022-09-21 14:28:34,273 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:34,273 INFO L642 ngineConcurrentUtils]: Filter Iteration 237/4096 [2022-09-21 14:28:34,312 INFO L642 ngineConcurrentUtils]: Filter Iteration 238/4096 [2022-09-21 14:28:34,342 INFO L642 ngineConcurrentUtils]: Filter Iteration 239/4096 [2022-09-21 14:28:34,370 INFO L642 ngineConcurrentUtils]: Filter Iteration 240/4096 [2022-09-21 14:28:34,381 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:34,381 INFO L642 ngineConcurrentUtils]: Filter Iteration 241/4096 [2022-09-21 14:28:34,419 INFO L642 ngineConcurrentUtils]: Filter Iteration 242/4096 [2022-09-21 14:28:34,456 INFO L642 ngineConcurrentUtils]: Filter Iteration 243/4096 [2022-09-21 14:28:34,486 INFO L642 ngineConcurrentUtils]: Filter Iteration 244/4096 [2022-09-21 14:28:34,507 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:34,507 INFO L642 ngineConcurrentUtils]: Filter Iteration 245/4096 [2022-09-21 14:28:34,547 INFO L642 ngineConcurrentUtils]: Filter Iteration 246/4096 [2022-09-21 14:28:34,591 INFO L642 ngineConcurrentUtils]: Filter Iteration 247/4096 [2022-09-21 14:28:34,622 INFO L642 ngineConcurrentUtils]: Filter Iteration 248/4096 [2022-09-21 14:28:34,633 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:34,633 INFO L642 ngineConcurrentUtils]: Filter Iteration 249/4096 [2022-09-21 14:28:34,663 INFO L642 ngineConcurrentUtils]: Filter Iteration 250/4096 [2022-09-21 14:28:34,693 INFO L642 ngineConcurrentUtils]: Filter Iteration 251/4096 [2022-09-21 14:28:34,725 INFO L642 ngineConcurrentUtils]: Filter Iteration 252/4096 [2022-09-21 14:28:34,745 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:34,745 INFO L642 ngineConcurrentUtils]: Filter Iteration 253/4096 [2022-09-21 14:28:34,784 INFO L642 ngineConcurrentUtils]: Filter Iteration 254/4096 [2022-09-21 14:28:34,825 INFO L642 ngineConcurrentUtils]: Filter Iteration 255/4096 [2022-09-21 14:28:34,864 INFO L642 ngineConcurrentUtils]: Filter Iteration 256/4096 [2022-09-21 14:28:34,884 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:34,884 INFO L642 ngineConcurrentUtils]: Filter Iteration 257/4096 [2022-09-21 14:28:34,911 INFO L642 ngineConcurrentUtils]: Filter Iteration 258/4096 [2022-09-21 14:28:34,941 INFO L642 ngineConcurrentUtils]: Filter Iteration 259/4096 [2022-09-21 14:28:34,979 INFO L642 ngineConcurrentUtils]: Filter Iteration 260/4096 [2022-09-21 14:28:34,997 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:34,997 INFO L642 ngineConcurrentUtils]: Filter Iteration 261/4096 [2022-09-21 14:28:35,034 INFO L642 ngineConcurrentUtils]: Filter Iteration 262/4096 [2022-09-21 14:28:35,073 INFO L642 ngineConcurrentUtils]: Filter Iteration 263/4096 [2022-09-21 14:28:35,103 INFO L642 ngineConcurrentUtils]: Filter Iteration 264/4096 [2022-09-21 14:28:35,121 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:35,121 INFO L642 ngineConcurrentUtils]: Filter Iteration 265/4096 [2022-09-21 14:28:35,156 INFO L642 ngineConcurrentUtils]: Filter Iteration 266/4096 [2022-09-21 14:28:35,194 INFO L642 ngineConcurrentUtils]: Filter Iteration 267/4096 [2022-09-21 14:28:35,222 INFO L642 ngineConcurrentUtils]: Filter Iteration 268/4096 [2022-09-21 14:28:35,240 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:35,240 INFO L642 ngineConcurrentUtils]: Filter Iteration 269/4096 [2022-09-21 14:28:35,270 INFO L642 ngineConcurrentUtils]: Filter Iteration 270/4096 [2022-09-21 14:28:35,311 INFO L642 ngineConcurrentUtils]: Filter Iteration 271/4096 [2022-09-21 14:28:35,347 INFO L642 ngineConcurrentUtils]: Filter Iteration 272/4096 [2022-09-21 14:28:35,366 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:35,366 INFO L642 ngineConcurrentUtils]: Filter Iteration 273/4096 [2022-09-21 14:28:35,404 INFO L642 ngineConcurrentUtils]: Filter Iteration 274/4096 [2022-09-21 14:28:35,436 INFO L642 ngineConcurrentUtils]: Filter Iteration 275/4096 [2022-09-21 14:28:35,467 INFO L642 ngineConcurrentUtils]: Filter Iteration 276/4096 [2022-09-21 14:28:35,484 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:35,485 INFO L642 ngineConcurrentUtils]: Filter Iteration 277/4096 [2022-09-21 14:28:35,515 INFO L642 ngineConcurrentUtils]: Filter Iteration 278/4096 [2022-09-21 14:28:35,545 INFO L642 ngineConcurrentUtils]: Filter Iteration 279/4096 [2022-09-21 14:28:35,576 INFO L642 ngineConcurrentUtils]: Filter Iteration 280/4096 [2022-09-21 14:28:35,584 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:35,584 INFO L642 ngineConcurrentUtils]: Filter Iteration 281/4096 [2022-09-21 14:28:35,613 INFO L642 ngineConcurrentUtils]: Filter Iteration 282/4096 [2022-09-21 14:28:35,643 INFO L642 ngineConcurrentUtils]: Filter Iteration 283/4096 [2022-09-21 14:28:35,674 INFO L642 ngineConcurrentUtils]: Filter Iteration 284/4096 [2022-09-21 14:28:35,682 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:35,682 INFO L642 ngineConcurrentUtils]: Filter Iteration 285/4096 [2022-09-21 14:28:35,720 INFO L642 ngineConcurrentUtils]: Filter Iteration 286/4096 [2022-09-21 14:28:35,753 INFO L642 ngineConcurrentUtils]: Filter Iteration 287/4096 [2022-09-21 14:28:35,794 INFO L642 ngineConcurrentUtils]: Filter Iteration 288/4096 [2022-09-21 14:28:35,812 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:35,813 INFO L642 ngineConcurrentUtils]: Filter Iteration 289/4096 [2022-09-21 14:28:35,842 INFO L642 ngineConcurrentUtils]: Filter Iteration 290/4096 [2022-09-21 14:28:35,873 INFO L642 ngineConcurrentUtils]: Filter Iteration 291/4096 [2022-09-21 14:28:35,909 INFO L642 ngineConcurrentUtils]: Filter Iteration 292/4096 [2022-09-21 14:28:35,926 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:35,927 INFO L642 ngineConcurrentUtils]: Filter Iteration 293/4096 [2022-09-21 14:28:35,965 INFO L642 ngineConcurrentUtils]: Filter Iteration 294/4096 [2022-09-21 14:28:35,996 INFO L642 ngineConcurrentUtils]: Filter Iteration 295/4096 [2022-09-21 14:28:36,037 INFO L642 ngineConcurrentUtils]: Filter Iteration 296/4096 [2022-09-21 14:28:36,056 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:36,056 INFO L642 ngineConcurrentUtils]: Filter Iteration 297/4096 [2022-09-21 14:28:36,085 INFO L642 ngineConcurrentUtils]: Filter Iteration 298/4096 [2022-09-21 14:28:36,123 INFO L642 ngineConcurrentUtils]: Filter Iteration 299/4096 [2022-09-21 14:28:36,301 INFO L642 ngineConcurrentUtils]: Filter Iteration 300/4096 [2022-09-21 14:28:36,322 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:36,322 INFO L642 ngineConcurrentUtils]: Filter Iteration 301/4096 [2022-09-21 14:28:36,354 INFO L642 ngineConcurrentUtils]: Filter Iteration 302/4096 [2022-09-21 14:28:36,384 INFO L642 ngineConcurrentUtils]: Filter Iteration 303/4096 [2022-09-21 14:28:36,417 INFO L642 ngineConcurrentUtils]: Filter Iteration 304/4096 [2022-09-21 14:28:36,428 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:36,428 INFO L642 ngineConcurrentUtils]: Filter Iteration 305/4096 [2022-09-21 14:28:36,459 INFO L642 ngineConcurrentUtils]: Filter Iteration 306/4096 [2022-09-21 14:28:36,489 INFO L642 ngineConcurrentUtils]: Filter Iteration 307/4096 [2022-09-21 14:28:36,519 INFO L642 ngineConcurrentUtils]: Filter Iteration 308/4096 [2022-09-21 14:28:36,537 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:36,537 INFO L642 ngineConcurrentUtils]: Filter Iteration 309/4096 [2022-09-21 14:28:36,577 INFO L642 ngineConcurrentUtils]: Filter Iteration 310/4096 [2022-09-21 14:28:36,608 INFO L642 ngineConcurrentUtils]: Filter Iteration 311/4096 [2022-09-21 14:28:36,637 INFO L642 ngineConcurrentUtils]: Filter Iteration 312/4096 [2022-09-21 14:28:36,657 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:36,657 INFO L642 ngineConcurrentUtils]: Filter Iteration 313/4096 [2022-09-21 14:28:36,686 INFO L642 ngineConcurrentUtils]: Filter Iteration 314/4096 [2022-09-21 14:28:36,725 INFO L642 ngineConcurrentUtils]: Filter Iteration 315/4096 [2022-09-21 14:28:36,761 INFO L642 ngineConcurrentUtils]: Filter Iteration 316/4096 [2022-09-21 14:28:36,780 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:36,780 INFO L642 ngineConcurrentUtils]: Filter Iteration 317/4096 [2022-09-21 14:28:36,820 INFO L642 ngineConcurrentUtils]: Filter Iteration 318/4096 [2022-09-21 14:28:36,851 INFO L642 ngineConcurrentUtils]: Filter Iteration 319/4096 [2022-09-21 14:28:36,882 INFO L642 ngineConcurrentUtils]: Filter Iteration 320/4096 [2022-09-21 14:28:36,901 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:36,901 INFO L642 ngineConcurrentUtils]: Filter Iteration 321/4096 [2022-09-21 14:28:36,938 INFO L642 ngineConcurrentUtils]: Filter Iteration 322/4096 [2022-09-21 14:28:36,975 INFO L642 ngineConcurrentUtils]: Filter Iteration 323/4096 [2022-09-21 14:28:37,013 INFO L642 ngineConcurrentUtils]: Filter Iteration 324/4096 [2022-09-21 14:28:37,021 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:37,021 INFO L642 ngineConcurrentUtils]: Filter Iteration 325/4096 [2022-09-21 14:28:37,060 INFO L642 ngineConcurrentUtils]: Filter Iteration 326/4096 [2022-09-21 14:28:37,089 INFO L642 ngineConcurrentUtils]: Filter Iteration 327/4096 [2022-09-21 14:28:37,128 INFO L642 ngineConcurrentUtils]: Filter Iteration 328/4096 [2022-09-21 14:28:37,137 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:37,138 INFO L642 ngineConcurrentUtils]: Filter Iteration 329/4096 [2022-09-21 14:28:37,165 INFO L642 ngineConcurrentUtils]: Filter Iteration 330/4096 [2022-09-21 14:28:37,204 INFO L642 ngineConcurrentUtils]: Filter Iteration 331/4096 [2022-09-21 14:28:37,242 INFO L642 ngineConcurrentUtils]: Filter Iteration 332/4096 [2022-09-21 14:28:37,261 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:37,261 INFO L642 ngineConcurrentUtils]: Filter Iteration 333/4096 [2022-09-21 14:28:37,292 INFO L642 ngineConcurrentUtils]: Filter Iteration 334/4096 [2022-09-21 14:28:37,321 INFO L642 ngineConcurrentUtils]: Filter Iteration 335/4096 [2022-09-21 14:28:37,363 INFO L642 ngineConcurrentUtils]: Filter Iteration 336/4096 [2022-09-21 14:28:37,372 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:37,372 INFO L642 ngineConcurrentUtils]: Filter Iteration 337/4096 [2022-09-21 14:28:37,409 INFO L642 ngineConcurrentUtils]: Filter Iteration 338/4096 [2022-09-21 14:28:37,440 INFO L642 ngineConcurrentUtils]: Filter Iteration 339/4096 [2022-09-21 14:28:37,479 INFO L642 ngineConcurrentUtils]: Filter Iteration 340/4096 [2022-09-21 14:28:37,496 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:37,496 INFO L642 ngineConcurrentUtils]: Filter Iteration 341/4096 [2022-09-21 14:28:37,526 INFO L642 ngineConcurrentUtils]: Filter Iteration 342/4096 [2022-09-21 14:28:37,558 INFO L642 ngineConcurrentUtils]: Filter Iteration 343/4096 [2022-09-21 14:28:37,601 INFO L642 ngineConcurrentUtils]: Filter Iteration 344/4096 [2022-09-21 14:28:37,619 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:37,619 INFO L642 ngineConcurrentUtils]: Filter Iteration 345/4096 [2022-09-21 14:28:37,657 INFO L642 ngineConcurrentUtils]: Filter Iteration 346/4096 [2022-09-21 14:28:37,688 INFO L642 ngineConcurrentUtils]: Filter Iteration 347/4096 [2022-09-21 14:28:37,718 INFO L642 ngineConcurrentUtils]: Filter Iteration 348/4096 [2022-09-21 14:28:37,736 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:37,736 INFO L642 ngineConcurrentUtils]: Filter Iteration 349/4096 [2022-09-21 14:28:37,767 INFO L642 ngineConcurrentUtils]: Filter Iteration 350/4096 [2022-09-21 14:28:37,798 INFO L642 ngineConcurrentUtils]: Filter Iteration 351/4096 [2022-09-21 14:28:37,828 INFO L642 ngineConcurrentUtils]: Filter Iteration 352/4096 [2022-09-21 14:28:37,848 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:37,848 INFO L642 ngineConcurrentUtils]: Filter Iteration 353/4096 [2022-09-21 14:28:37,888 INFO L642 ngineConcurrentUtils]: Filter Iteration 354/4096 [2022-09-21 14:28:37,921 INFO L642 ngineConcurrentUtils]: Filter Iteration 355/4096 [2022-09-21 14:28:37,954 INFO L642 ngineConcurrentUtils]: Filter Iteration 356/4096 [2022-09-21 14:28:37,964 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:37,964 INFO L642 ngineConcurrentUtils]: Filter Iteration 357/4096 [2022-09-21 14:28:38,002 INFO L642 ngineConcurrentUtils]: Filter Iteration 358/4096 [2022-09-21 14:28:38,041 INFO L642 ngineConcurrentUtils]: Filter Iteration 359/4096 [2022-09-21 14:28:38,071 INFO L642 ngineConcurrentUtils]: Filter Iteration 360/4096 [2022-09-21 14:28:38,090 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:38,090 INFO L642 ngineConcurrentUtils]: Filter Iteration 361/4096 [2022-09-21 14:28:38,205 INFO L642 ngineConcurrentUtils]: Filter Iteration 362/4096 [2022-09-21 14:28:38,236 INFO L642 ngineConcurrentUtils]: Filter Iteration 363/4096 [2022-09-21 14:28:38,266 INFO L642 ngineConcurrentUtils]: Filter Iteration 364/4096 [2022-09-21 14:28:38,275 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:38,275 INFO L642 ngineConcurrentUtils]: Filter Iteration 365/4096 [2022-09-21 14:28:38,304 INFO L642 ngineConcurrentUtils]: Filter Iteration 366/4096 [2022-09-21 14:28:38,336 INFO L642 ngineConcurrentUtils]: Filter Iteration 367/4096 [2022-09-21 14:28:38,376 INFO L642 ngineConcurrentUtils]: Filter Iteration 368/4096 [2022-09-21 14:28:38,394 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:38,394 INFO L642 ngineConcurrentUtils]: Filter Iteration 369/4096 [2022-09-21 14:28:38,427 INFO L642 ngineConcurrentUtils]: Filter Iteration 370/4096 [2022-09-21 14:28:38,458 INFO L642 ngineConcurrentUtils]: Filter Iteration 371/4096 [2022-09-21 14:28:38,498 INFO L642 ngineConcurrentUtils]: Filter Iteration 372/4096 [2022-09-21 14:28:38,518 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:38,518 INFO L642 ngineConcurrentUtils]: Filter Iteration 373/4096 [2022-09-21 14:28:38,557 INFO L642 ngineConcurrentUtils]: Filter Iteration 374/4096 [2022-09-21 14:28:38,590 INFO L642 ngineConcurrentUtils]: Filter Iteration 375/4096 [2022-09-21 14:28:38,629 INFO L642 ngineConcurrentUtils]: Filter Iteration 376/4096 [2022-09-21 14:28:38,648 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:38,648 INFO L642 ngineConcurrentUtils]: Filter Iteration 377/4096 [2022-09-21 14:28:38,679 INFO L642 ngineConcurrentUtils]: Filter Iteration 378/4096 [2022-09-21 14:28:38,711 INFO L642 ngineConcurrentUtils]: Filter Iteration 379/4096 [2022-09-21 14:28:38,748 INFO L642 ngineConcurrentUtils]: Filter Iteration 380/4096 [2022-09-21 14:28:38,767 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:38,767 INFO L642 ngineConcurrentUtils]: Filter Iteration 381/4096 [2022-09-21 14:28:38,798 INFO L642 ngineConcurrentUtils]: Filter Iteration 382/4096 [2022-09-21 14:28:38,839 INFO L642 ngineConcurrentUtils]: Filter Iteration 383/4096 [2022-09-21 14:28:38,879 INFO L642 ngineConcurrentUtils]: Filter Iteration 384/4096 [2022-09-21 14:28:38,889 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:38,889 INFO L642 ngineConcurrentUtils]: Filter Iteration 385/4096 [2022-09-21 14:28:38,926 INFO L642 ngineConcurrentUtils]: Filter Iteration 386/4096 [2022-09-21 14:28:38,964 INFO L642 ngineConcurrentUtils]: Filter Iteration 387/4096 [2022-09-21 14:28:39,001 INFO L642 ngineConcurrentUtils]: Filter Iteration 388/4096 [2022-09-21 14:28:39,020 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:39,020 INFO L642 ngineConcurrentUtils]: Filter Iteration 389/4096 [2022-09-21 14:28:39,049 INFO L642 ngineConcurrentUtils]: Filter Iteration 390/4096 [2022-09-21 14:28:39,090 INFO L642 ngineConcurrentUtils]: Filter Iteration 391/4096 [2022-09-21 14:28:39,119 INFO L642 ngineConcurrentUtils]: Filter Iteration 392/4096 [2022-09-21 14:28:39,138 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:39,138 INFO L642 ngineConcurrentUtils]: Filter Iteration 393/4096 [2022-09-21 14:28:39,169 INFO L642 ngineConcurrentUtils]: Filter Iteration 394/4096 [2022-09-21 14:28:39,199 INFO L642 ngineConcurrentUtils]: Filter Iteration 395/4096 [2022-09-21 14:28:39,229 INFO L642 ngineConcurrentUtils]: Filter Iteration 396/4096 [2022-09-21 14:28:39,247 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:39,248 INFO L642 ngineConcurrentUtils]: Filter Iteration 397/4096 [2022-09-21 14:28:39,284 INFO L642 ngineConcurrentUtils]: Filter Iteration 398/4096 [2022-09-21 14:28:39,322 INFO L642 ngineConcurrentUtils]: Filter Iteration 399/4096 [2022-09-21 14:28:39,353 INFO L642 ngineConcurrentUtils]: Filter Iteration 400/4096 [2022-09-21 14:28:39,371 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:39,371 INFO L642 ngineConcurrentUtils]: Filter Iteration 401/4096 [2022-09-21 14:28:39,408 INFO L642 ngineConcurrentUtils]: Filter Iteration 402/4096 [2022-09-21 14:28:39,447 INFO L642 ngineConcurrentUtils]: Filter Iteration 403/4096 [2022-09-21 14:28:39,478 INFO L642 ngineConcurrentUtils]: Filter Iteration 404/4096 [2022-09-21 14:28:39,498 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:39,498 INFO L642 ngineConcurrentUtils]: Filter Iteration 405/4096 [2022-09-21 14:28:39,535 INFO L642 ngineConcurrentUtils]: Filter Iteration 406/4096 [2022-09-21 14:28:39,566 INFO L642 ngineConcurrentUtils]: Filter Iteration 407/4096 [2022-09-21 14:28:39,606 INFO L642 ngineConcurrentUtils]: Filter Iteration 408/4096 [2022-09-21 14:28:39,614 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:39,614 INFO L642 ngineConcurrentUtils]: Filter Iteration 409/4096 [2022-09-21 14:28:39,655 INFO L642 ngineConcurrentUtils]: Filter Iteration 410/4096 [2022-09-21 14:28:39,685 INFO L642 ngineConcurrentUtils]: Filter Iteration 411/4096 [2022-09-21 14:28:39,716 INFO L642 ngineConcurrentUtils]: Filter Iteration 412/4096 [2022-09-21 14:28:39,736 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:39,736 INFO L642 ngineConcurrentUtils]: Filter Iteration 413/4096 [2022-09-21 14:28:39,769 INFO L642 ngineConcurrentUtils]: Filter Iteration 414/4096 [2022-09-21 14:28:39,807 INFO L642 ngineConcurrentUtils]: Filter Iteration 415/4096 [2022-09-21 14:28:39,847 INFO L642 ngineConcurrentUtils]: Filter Iteration 416/4096 [2022-09-21 14:28:39,866 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:39,866 INFO L642 ngineConcurrentUtils]: Filter Iteration 417/4096 [2022-09-21 14:28:39,902 INFO L642 ngineConcurrentUtils]: Filter Iteration 418/4096 [2022-09-21 14:28:39,941 INFO L642 ngineConcurrentUtils]: Filter Iteration 419/4096 [2022-09-21 14:28:39,981 INFO L642 ngineConcurrentUtils]: Filter Iteration 420/4096 [2022-09-21 14:28:39,990 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:39,990 INFO L642 ngineConcurrentUtils]: Filter Iteration 421/4096 [2022-09-21 14:28:40,020 INFO L642 ngineConcurrentUtils]: Filter Iteration 422/4096 [2022-09-21 14:28:40,051 INFO L642 ngineConcurrentUtils]: Filter Iteration 423/4096 [2022-09-21 14:28:40,089 INFO L642 ngineConcurrentUtils]: Filter Iteration 424/4096 [2022-09-21 14:28:40,106 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:40,106 INFO L642 ngineConcurrentUtils]: Filter Iteration 425/4096 [2022-09-21 14:28:40,145 INFO L642 ngineConcurrentUtils]: Filter Iteration 426/4096 [2022-09-21 14:28:40,185 INFO L642 ngineConcurrentUtils]: Filter Iteration 427/4096 [2022-09-21 14:28:40,217 INFO L642 ngineConcurrentUtils]: Filter Iteration 428/4096 [2022-09-21 14:28:40,235 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:40,236 INFO L642 ngineConcurrentUtils]: Filter Iteration 429/4096 [2022-09-21 14:28:40,266 INFO L642 ngineConcurrentUtils]: Filter Iteration 430/4096 [2022-09-21 14:28:40,296 INFO L642 ngineConcurrentUtils]: Filter Iteration 431/4096 [2022-09-21 14:28:40,337 INFO L642 ngineConcurrentUtils]: Filter Iteration 432/4096 [2022-09-21 14:28:40,347 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:40,347 INFO L642 ngineConcurrentUtils]: Filter Iteration 433/4096 [2022-09-21 14:28:40,376 INFO L642 ngineConcurrentUtils]: Filter Iteration 434/4096 [2022-09-21 14:28:40,414 INFO L642 ngineConcurrentUtils]: Filter Iteration 435/4096 [2022-09-21 14:28:40,454 INFO L642 ngineConcurrentUtils]: Filter Iteration 436/4096 [2022-09-21 14:28:40,472 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:40,472 INFO L642 ngineConcurrentUtils]: Filter Iteration 437/4096 [2022-09-21 14:28:40,504 INFO L642 ngineConcurrentUtils]: Filter Iteration 438/4096 [2022-09-21 14:28:40,548 INFO L642 ngineConcurrentUtils]: Filter Iteration 439/4096 [2022-09-21 14:28:40,588 INFO L642 ngineConcurrentUtils]: Filter Iteration 440/4096 [2022-09-21 14:28:40,596 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:40,596 INFO L642 ngineConcurrentUtils]: Filter Iteration 441/4096 [2022-09-21 14:28:40,635 INFO L642 ngineConcurrentUtils]: Filter Iteration 442/4096 [2022-09-21 14:28:40,665 INFO L642 ngineConcurrentUtils]: Filter Iteration 443/4096 [2022-09-21 14:28:40,704 INFO L642 ngineConcurrentUtils]: Filter Iteration 444/4096 [2022-09-21 14:28:40,713 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:40,713 INFO L642 ngineConcurrentUtils]: Filter Iteration 445/4096 [2022-09-21 14:28:40,750 INFO L642 ngineConcurrentUtils]: Filter Iteration 446/4096 [2022-09-21 14:28:40,789 INFO L642 ngineConcurrentUtils]: Filter Iteration 447/4096 [2022-09-21 14:28:40,828 INFO L642 ngineConcurrentUtils]: Filter Iteration 448/4096 [2022-09-21 14:28:40,837 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:40,838 INFO L642 ngineConcurrentUtils]: Filter Iteration 449/4096 [2022-09-21 14:28:40,876 INFO L642 ngineConcurrentUtils]: Filter Iteration 450/4096 [2022-09-21 14:28:40,910 INFO L642 ngineConcurrentUtils]: Filter Iteration 451/4096 [2022-09-21 14:28:40,949 INFO L642 ngineConcurrentUtils]: Filter Iteration 452/4096 [2022-09-21 14:28:40,968 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:40,968 INFO L642 ngineConcurrentUtils]: Filter Iteration 453/4096 [2022-09-21 14:28:40,999 INFO L642 ngineConcurrentUtils]: Filter Iteration 454/4096 [2022-09-21 14:28:41,047 INFO L642 ngineConcurrentUtils]: Filter Iteration 455/4096 [2022-09-21 14:28:41,086 INFO L642 ngineConcurrentUtils]: Filter Iteration 456/4096 [2022-09-21 14:28:41,095 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:41,095 INFO L642 ngineConcurrentUtils]: Filter Iteration 457/4096 [2022-09-21 14:28:41,125 INFO L642 ngineConcurrentUtils]: Filter Iteration 458/4096 [2022-09-21 14:28:41,155 INFO L642 ngineConcurrentUtils]: Filter Iteration 459/4096 [2022-09-21 14:28:41,196 INFO L642 ngineConcurrentUtils]: Filter Iteration 460/4096 [2022-09-21 14:28:41,215 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:41,216 INFO L642 ngineConcurrentUtils]: Filter Iteration 461/4096 [2022-09-21 14:28:41,254 INFO L642 ngineConcurrentUtils]: Filter Iteration 462/4096 [2022-09-21 14:28:41,292 INFO L642 ngineConcurrentUtils]: Filter Iteration 463/4096 [2022-09-21 14:28:41,330 INFO L642 ngineConcurrentUtils]: Filter Iteration 464/4096 [2022-09-21 14:28:41,339 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:41,339 INFO L642 ngineConcurrentUtils]: Filter Iteration 465/4096 [2022-09-21 14:28:41,378 INFO L642 ngineConcurrentUtils]: Filter Iteration 466/4096 [2022-09-21 14:28:41,417 INFO L642 ngineConcurrentUtils]: Filter Iteration 467/4096 [2022-09-21 14:28:41,456 INFO L642 ngineConcurrentUtils]: Filter Iteration 468/4096 [2022-09-21 14:28:41,465 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:41,465 INFO L642 ngineConcurrentUtils]: Filter Iteration 469/4096 [2022-09-21 14:28:41,503 INFO L642 ngineConcurrentUtils]: Filter Iteration 470/4096 [2022-09-21 14:28:41,545 INFO L642 ngineConcurrentUtils]: Filter Iteration 471/4096 [2022-09-21 14:28:41,575 INFO L642 ngineConcurrentUtils]: Filter Iteration 472/4096 [2022-09-21 14:28:41,585 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:41,585 INFO L642 ngineConcurrentUtils]: Filter Iteration 473/4096 [2022-09-21 14:28:41,617 INFO L642 ngineConcurrentUtils]: Filter Iteration 474/4096 [2022-09-21 14:28:41,654 INFO L642 ngineConcurrentUtils]: Filter Iteration 475/4096 [2022-09-21 14:28:41,693 INFO L642 ngineConcurrentUtils]: Filter Iteration 476/4096 [2022-09-21 14:28:41,711 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:41,711 INFO L642 ngineConcurrentUtils]: Filter Iteration 477/4096 [2022-09-21 14:28:41,741 INFO L642 ngineConcurrentUtils]: Filter Iteration 478/4096 [2022-09-21 14:28:41,782 INFO L642 ngineConcurrentUtils]: Filter Iteration 479/4096 [2022-09-21 14:28:41,820 INFO L642 ngineConcurrentUtils]: Filter Iteration 480/4096 [2022-09-21 14:28:41,840 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:41,840 INFO L642 ngineConcurrentUtils]: Filter Iteration 481/4096 [2022-09-21 14:28:41,882 INFO L642 ngineConcurrentUtils]: Filter Iteration 482/4096 [2022-09-21 14:28:41,911 INFO L642 ngineConcurrentUtils]: Filter Iteration 483/4096 [2022-09-21 14:28:41,941 INFO L642 ngineConcurrentUtils]: Filter Iteration 484/4096 [2022-09-21 14:28:41,959 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:41,959 INFO L642 ngineConcurrentUtils]: Filter Iteration 485/4096 [2022-09-21 14:28:41,990 INFO L642 ngineConcurrentUtils]: Filter Iteration 486/4096 [2022-09-21 14:28:42,029 INFO L642 ngineConcurrentUtils]: Filter Iteration 487/4096 [2022-09-21 14:28:42,067 INFO L642 ngineConcurrentUtils]: Filter Iteration 488/4096 [2022-09-21 14:28:42,077 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:42,077 INFO L642 ngineConcurrentUtils]: Filter Iteration 489/4096 [2022-09-21 14:28:42,115 INFO L642 ngineConcurrentUtils]: Filter Iteration 490/4096 [2022-09-21 14:28:42,146 INFO L642 ngineConcurrentUtils]: Filter Iteration 491/4096 [2022-09-21 14:28:42,179 INFO L642 ngineConcurrentUtils]: Filter Iteration 492/4096 [2022-09-21 14:28:42,198 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:42,198 INFO L642 ngineConcurrentUtils]: Filter Iteration 493/4096 [2022-09-21 14:28:42,247 INFO L642 ngineConcurrentUtils]: Filter Iteration 494/4096 [2022-09-21 14:28:42,279 INFO L642 ngineConcurrentUtils]: Filter Iteration 495/4096 [2022-09-21 14:28:42,311 INFO L642 ngineConcurrentUtils]: Filter Iteration 496/4096 [2022-09-21 14:28:42,323 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:42,323 INFO L642 ngineConcurrentUtils]: Filter Iteration 497/4096 [2022-09-21 14:28:42,363 INFO L642 ngineConcurrentUtils]: Filter Iteration 498/4096 [2022-09-21 14:28:42,401 INFO L642 ngineConcurrentUtils]: Filter Iteration 499/4096 [2022-09-21 14:28:42,432 INFO L642 ngineConcurrentUtils]: Filter Iteration 500/4096 [2022-09-21 14:28:42,443 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:42,443 INFO L642 ngineConcurrentUtils]: Filter Iteration 501/4096 [2022-09-21 14:28:42,474 INFO L642 ngineConcurrentUtils]: Filter Iteration 502/4096 [2022-09-21 14:28:42,515 INFO L642 ngineConcurrentUtils]: Filter Iteration 503/4096 [2022-09-21 14:28:42,545 INFO L642 ngineConcurrentUtils]: Filter Iteration 504/4096 [2022-09-21 14:28:42,564 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:42,564 INFO L642 ngineConcurrentUtils]: Filter Iteration 505/4096 [2022-09-21 14:28:42,603 INFO L642 ngineConcurrentUtils]: Filter Iteration 506/4096 [2022-09-21 14:28:42,644 INFO L642 ngineConcurrentUtils]: Filter Iteration 507/4096 [2022-09-21 14:28:42,685 INFO L642 ngineConcurrentUtils]: Filter Iteration 508/4096 [2022-09-21 14:28:42,706 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:42,706 INFO L642 ngineConcurrentUtils]: Filter Iteration 509/4096 [2022-09-21 14:28:42,746 INFO L642 ngineConcurrentUtils]: Filter Iteration 510/4096 [2022-09-21 14:28:42,787 INFO L642 ngineConcurrentUtils]: Filter Iteration 511/4096 [2022-09-21 14:28:42,817 INFO L642 ngineConcurrentUtils]: Filter Iteration 512/4096 [2022-09-21 14:28:42,826 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:42,826 INFO L642 ngineConcurrentUtils]: Filter Iteration 513/4096 [2022-09-21 14:28:42,853 INFO L642 ngineConcurrentUtils]: Filter Iteration 514/4096 [2022-09-21 14:28:42,893 INFO L642 ngineConcurrentUtils]: Filter Iteration 515/4096 [2022-09-21 14:28:42,931 INFO L642 ngineConcurrentUtils]: Filter Iteration 516/4096 [2022-09-21 14:28:42,941 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:42,941 INFO L642 ngineConcurrentUtils]: Filter Iteration 517/4096 [2022-09-21 14:28:42,980 INFO L642 ngineConcurrentUtils]: Filter Iteration 518/4096 [2022-09-21 14:28:43,020 INFO L642 ngineConcurrentUtils]: Filter Iteration 519/4096 [2022-09-21 14:28:43,057 INFO L642 ngineConcurrentUtils]: Filter Iteration 520/4096 [2022-09-21 14:28:43,067 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:43,067 INFO L642 ngineConcurrentUtils]: Filter Iteration 521/4096 [2022-09-21 14:28:43,103 INFO L642 ngineConcurrentUtils]: Filter Iteration 522/4096 [2022-09-21 14:28:43,133 INFO L642 ngineConcurrentUtils]: Filter Iteration 523/4096 [2022-09-21 14:28:43,171 INFO L642 ngineConcurrentUtils]: Filter Iteration 524/4096 [2022-09-21 14:28:43,190 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:43,191 INFO L642 ngineConcurrentUtils]: Filter Iteration 525/4096 [2022-09-21 14:28:43,232 INFO L642 ngineConcurrentUtils]: Filter Iteration 526/4096 [2022-09-21 14:28:43,274 INFO L642 ngineConcurrentUtils]: Filter Iteration 527/4096 [2022-09-21 14:28:43,305 INFO L642 ngineConcurrentUtils]: Filter Iteration 528/4096 [2022-09-21 14:28:43,325 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:43,325 INFO L642 ngineConcurrentUtils]: Filter Iteration 529/4096 [2022-09-21 14:28:43,365 INFO L642 ngineConcurrentUtils]: Filter Iteration 530/4096 [2022-09-21 14:28:43,407 INFO L642 ngineConcurrentUtils]: Filter Iteration 531/4096 [2022-09-21 14:28:43,452 INFO L642 ngineConcurrentUtils]: Filter Iteration 532/4096 [2022-09-21 14:28:43,473 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:43,473 INFO L642 ngineConcurrentUtils]: Filter Iteration 533/4096 [2022-09-21 14:28:43,505 INFO L642 ngineConcurrentUtils]: Filter Iteration 534/4096 [2022-09-21 14:28:43,544 INFO L642 ngineConcurrentUtils]: Filter Iteration 535/4096 [2022-09-21 14:28:43,585 INFO L642 ngineConcurrentUtils]: Filter Iteration 536/4096 [2022-09-21 14:28:43,595 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:43,595 INFO L642 ngineConcurrentUtils]: Filter Iteration 537/4096 [2022-09-21 14:28:43,636 INFO L642 ngineConcurrentUtils]: Filter Iteration 538/4096 [2022-09-21 14:28:43,676 INFO L642 ngineConcurrentUtils]: Filter Iteration 539/4096 [2022-09-21 14:28:43,707 INFO L642 ngineConcurrentUtils]: Filter Iteration 540/4096 [2022-09-21 14:28:43,716 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:43,716 INFO L642 ngineConcurrentUtils]: Filter Iteration 541/4096 [2022-09-21 14:28:43,756 INFO L642 ngineConcurrentUtils]: Filter Iteration 542/4096 [2022-09-21 14:28:43,794 INFO L642 ngineConcurrentUtils]: Filter Iteration 543/4096 [2022-09-21 14:28:43,824 INFO L642 ngineConcurrentUtils]: Filter Iteration 544/4096 [2022-09-21 14:28:43,856 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:43,856 INFO L642 ngineConcurrentUtils]: Filter Iteration 545/4096 [2022-09-21 14:28:43,886 INFO L642 ngineConcurrentUtils]: Filter Iteration 546/4096 [2022-09-21 14:28:43,920 INFO L642 ngineConcurrentUtils]: Filter Iteration 547/4096 [2022-09-21 14:28:43,951 INFO L642 ngineConcurrentUtils]: Filter Iteration 548/4096 [2022-09-21 14:28:43,969 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:43,969 INFO L642 ngineConcurrentUtils]: Filter Iteration 549/4096 [2022-09-21 14:28:44,011 INFO L642 ngineConcurrentUtils]: Filter Iteration 550/4096 [2022-09-21 14:28:44,043 INFO L642 ngineConcurrentUtils]: Filter Iteration 551/4096 [2022-09-21 14:28:44,081 INFO L642 ngineConcurrentUtils]: Filter Iteration 552/4096 [2022-09-21 14:28:44,090 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:44,091 INFO L642 ngineConcurrentUtils]: Filter Iteration 553/4096 [2022-09-21 14:28:44,120 INFO L642 ngineConcurrentUtils]: Filter Iteration 554/4096 [2022-09-21 14:28:44,158 INFO L642 ngineConcurrentUtils]: Filter Iteration 555/4096 [2022-09-21 14:28:44,200 INFO L642 ngineConcurrentUtils]: Filter Iteration 556/4096 [2022-09-21 14:28:44,220 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:44,220 INFO L642 ngineConcurrentUtils]: Filter Iteration 557/4096 [2022-09-21 14:28:44,260 INFO L642 ngineConcurrentUtils]: Filter Iteration 558/4096 [2022-09-21 14:28:44,292 INFO L642 ngineConcurrentUtils]: Filter Iteration 559/4096 [2022-09-21 14:28:44,333 INFO L642 ngineConcurrentUtils]: Filter Iteration 560/4096 [2022-09-21 14:28:44,353 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:44,353 INFO L642 ngineConcurrentUtils]: Filter Iteration 561/4096 [2022-09-21 14:28:44,394 INFO L642 ngineConcurrentUtils]: Filter Iteration 562/4096 [2022-09-21 14:28:44,435 INFO L642 ngineConcurrentUtils]: Filter Iteration 563/4096 [2022-09-21 14:28:44,475 INFO L642 ngineConcurrentUtils]: Filter Iteration 564/4096 [2022-09-21 14:28:44,494 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:44,494 INFO L642 ngineConcurrentUtils]: Filter Iteration 565/4096 [2022-09-21 14:28:44,535 INFO L642 ngineConcurrentUtils]: Filter Iteration 566/4096 [2022-09-21 14:28:44,577 INFO L642 ngineConcurrentUtils]: Filter Iteration 567/4096 [2022-09-21 14:28:44,618 INFO L642 ngineConcurrentUtils]: Filter Iteration 568/4096 [2022-09-21 14:28:44,640 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:44,640 INFO L642 ngineConcurrentUtils]: Filter Iteration 569/4096 [2022-09-21 14:28:44,678 INFO L642 ngineConcurrentUtils]: Filter Iteration 570/4096 [2022-09-21 14:28:44,708 INFO L642 ngineConcurrentUtils]: Filter Iteration 571/4096 [2022-09-21 14:28:44,746 INFO L642 ngineConcurrentUtils]: Filter Iteration 572/4096 [2022-09-21 14:28:44,756 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:44,756 INFO L642 ngineConcurrentUtils]: Filter Iteration 573/4096 [2022-09-21 14:28:44,793 INFO L642 ngineConcurrentUtils]: Filter Iteration 574/4096 [2022-09-21 14:28:44,832 INFO L642 ngineConcurrentUtils]: Filter Iteration 575/4096 [2022-09-21 14:28:44,863 INFO L642 ngineConcurrentUtils]: Filter Iteration 576/4096 [2022-09-21 14:28:44,881 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:44,882 INFO L642 ngineConcurrentUtils]: Filter Iteration 577/4096 [2022-09-21 14:28:44,913 INFO L642 ngineConcurrentUtils]: Filter Iteration 578/4096 [2022-09-21 14:28:44,950 INFO L642 ngineConcurrentUtils]: Filter Iteration 579/4096 [2022-09-21 14:28:44,995 INFO L642 ngineConcurrentUtils]: Filter Iteration 580/4096 [2022-09-21 14:28:45,013 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:45,014 INFO L642 ngineConcurrentUtils]: Filter Iteration 581/4096 [2022-09-21 14:28:45,056 INFO L642 ngineConcurrentUtils]: Filter Iteration 582/4096 [2022-09-21 14:28:45,096 INFO L642 ngineConcurrentUtils]: Filter Iteration 583/4096 [2022-09-21 14:28:45,127 INFO L642 ngineConcurrentUtils]: Filter Iteration 584/4096 [2022-09-21 14:28:45,137 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:45,137 INFO L642 ngineConcurrentUtils]: Filter Iteration 585/4096 [2022-09-21 14:28:45,175 INFO L642 ngineConcurrentUtils]: Filter Iteration 586/4096 [2022-09-21 14:28:45,204 INFO L642 ngineConcurrentUtils]: Filter Iteration 587/4096 [2022-09-21 14:28:45,242 INFO L642 ngineConcurrentUtils]: Filter Iteration 588/4096 [2022-09-21 14:28:45,260 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:45,260 INFO L642 ngineConcurrentUtils]: Filter Iteration 589/4096 [2022-09-21 14:28:45,289 INFO L642 ngineConcurrentUtils]: Filter Iteration 590/4096 [2022-09-21 14:28:45,320 INFO L642 ngineConcurrentUtils]: Filter Iteration 591/4096 [2022-09-21 14:28:45,640 INFO L642 ngineConcurrentUtils]: Filter Iteration 592/4096 [2022-09-21 14:28:45,652 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:45,652 INFO L642 ngineConcurrentUtils]: Filter Iteration 593/4096 [2022-09-21 14:28:45,683 INFO L642 ngineConcurrentUtils]: Filter Iteration 594/4096 [2022-09-21 14:28:45,724 INFO L642 ngineConcurrentUtils]: Filter Iteration 595/4096 [2022-09-21 14:28:45,764 INFO L642 ngineConcurrentUtils]: Filter Iteration 596/4096 [2022-09-21 14:28:45,784 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:45,784 INFO L642 ngineConcurrentUtils]: Filter Iteration 597/4096 [2022-09-21 14:28:45,813 INFO L642 ngineConcurrentUtils]: Filter Iteration 598/4096 [2022-09-21 14:28:45,852 INFO L642 ngineConcurrentUtils]: Filter Iteration 599/4096 [2022-09-21 14:28:45,885 INFO L642 ngineConcurrentUtils]: Filter Iteration 600/4096 [2022-09-21 14:28:45,906 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:45,907 INFO L642 ngineConcurrentUtils]: Filter Iteration 601/4096 [2022-09-21 14:28:45,948 INFO L642 ngineConcurrentUtils]: Filter Iteration 602/4096 [2022-09-21 14:28:45,987 INFO L642 ngineConcurrentUtils]: Filter Iteration 603/4096 [2022-09-21 14:28:46,018 INFO L642 ngineConcurrentUtils]: Filter Iteration 604/4096 [2022-09-21 14:28:46,027 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:46,027 INFO L642 ngineConcurrentUtils]: Filter Iteration 605/4096 [2022-09-21 14:28:46,068 INFO L642 ngineConcurrentUtils]: Filter Iteration 606/4096 [2022-09-21 14:28:46,102 INFO L642 ngineConcurrentUtils]: Filter Iteration 607/4096 [2022-09-21 14:28:46,142 INFO L642 ngineConcurrentUtils]: Filter Iteration 608/4096 [2022-09-21 14:28:46,152 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:46,152 INFO L642 ngineConcurrentUtils]: Filter Iteration 609/4096 [2022-09-21 14:28:46,182 INFO L642 ngineConcurrentUtils]: Filter Iteration 610/4096 [2022-09-21 14:28:46,212 INFO L642 ngineConcurrentUtils]: Filter Iteration 611/4096 [2022-09-21 14:28:46,245 INFO L642 ngineConcurrentUtils]: Filter Iteration 612/4096 [2022-09-21 14:28:46,255 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:46,255 INFO L642 ngineConcurrentUtils]: Filter Iteration 613/4096 [2022-09-21 14:28:46,286 INFO L642 ngineConcurrentUtils]: Filter Iteration 614/4096 [2022-09-21 14:28:46,321 INFO L642 ngineConcurrentUtils]: Filter Iteration 615/4096 [2022-09-21 14:28:46,360 INFO L642 ngineConcurrentUtils]: Filter Iteration 616/4096 [2022-09-21 14:28:46,379 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:46,380 INFO L642 ngineConcurrentUtils]: Filter Iteration 617/4096 [2022-09-21 14:28:46,411 INFO L642 ngineConcurrentUtils]: Filter Iteration 618/4096 [2022-09-21 14:28:46,449 INFO L642 ngineConcurrentUtils]: Filter Iteration 619/4096 [2022-09-21 14:28:46,490 INFO L642 ngineConcurrentUtils]: Filter Iteration 620/4096 [2022-09-21 14:28:46,509 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:46,509 INFO L642 ngineConcurrentUtils]: Filter Iteration 621/4096 [2022-09-21 14:28:46,540 INFO L642 ngineConcurrentUtils]: Filter Iteration 622/4096 [2022-09-21 14:28:46,580 INFO L642 ngineConcurrentUtils]: Filter Iteration 623/4096 [2022-09-21 14:28:46,611 INFO L642 ngineConcurrentUtils]: Filter Iteration 624/4096 [2022-09-21 14:28:46,620 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:46,620 INFO L642 ngineConcurrentUtils]: Filter Iteration 625/4096 [2022-09-21 14:28:46,659 INFO L642 ngineConcurrentUtils]: Filter Iteration 626/4096 [2022-09-21 14:28:46,690 INFO L642 ngineConcurrentUtils]: Filter Iteration 627/4096 [2022-09-21 14:28:46,723 INFO L642 ngineConcurrentUtils]: Filter Iteration 628/4096 [2022-09-21 14:28:46,734 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:46,734 INFO L642 ngineConcurrentUtils]: Filter Iteration 629/4096 [2022-09-21 14:28:46,774 INFO L642 ngineConcurrentUtils]: Filter Iteration 630/4096 [2022-09-21 14:28:46,814 INFO L642 ngineConcurrentUtils]: Filter Iteration 631/4096 [2022-09-21 14:28:46,845 INFO L642 ngineConcurrentUtils]: Filter Iteration 632/4096 [2022-09-21 14:28:46,855 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:46,855 INFO L642 ngineConcurrentUtils]: Filter Iteration 633/4096 [2022-09-21 14:28:46,886 INFO L642 ngineConcurrentUtils]: Filter Iteration 634/4096 [2022-09-21 14:28:46,917 INFO L642 ngineConcurrentUtils]: Filter Iteration 635/4096 [2022-09-21 14:28:46,958 INFO L642 ngineConcurrentUtils]: Filter Iteration 636/4096 [2022-09-21 14:28:46,967 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:46,968 INFO L642 ngineConcurrentUtils]: Filter Iteration 637/4096 [2022-09-21 14:28:47,009 INFO L642 ngineConcurrentUtils]: Filter Iteration 638/4096 [2022-09-21 14:28:47,041 INFO L642 ngineConcurrentUtils]: Filter Iteration 639/4096 [2022-09-21 14:28:47,074 INFO L642 ngineConcurrentUtils]: Filter Iteration 640/4096 [2022-09-21 14:28:47,095 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:47,096 INFO L642 ngineConcurrentUtils]: Filter Iteration 641/4096 [2022-09-21 14:28:47,125 INFO L642 ngineConcurrentUtils]: Filter Iteration 642/4096 [2022-09-21 14:28:47,155 INFO L642 ngineConcurrentUtils]: Filter Iteration 643/4096 [2022-09-21 14:28:47,185 INFO L642 ngineConcurrentUtils]: Filter Iteration 644/4096 [2022-09-21 14:28:47,204 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:47,204 INFO L642 ngineConcurrentUtils]: Filter Iteration 645/4096 [2022-09-21 14:28:47,243 INFO L642 ngineConcurrentUtils]: Filter Iteration 646/4096 [2022-09-21 14:28:47,283 INFO L642 ngineConcurrentUtils]: Filter Iteration 647/4096 [2022-09-21 14:28:47,321 INFO L642 ngineConcurrentUtils]: Filter Iteration 648/4096 [2022-09-21 14:28:47,339 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:47,339 INFO L642 ngineConcurrentUtils]: Filter Iteration 649/4096 [2022-09-21 14:28:47,369 INFO L642 ngineConcurrentUtils]: Filter Iteration 650/4096 [2022-09-21 14:28:47,409 INFO L642 ngineConcurrentUtils]: Filter Iteration 651/4096 [2022-09-21 14:28:47,448 INFO L642 ngineConcurrentUtils]: Filter Iteration 652/4096 [2022-09-21 14:28:47,458 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:47,458 INFO L642 ngineConcurrentUtils]: Filter Iteration 653/4096 [2022-09-21 14:28:47,496 INFO L642 ngineConcurrentUtils]: Filter Iteration 654/4096 [2022-09-21 14:28:47,529 INFO L642 ngineConcurrentUtils]: Filter Iteration 655/4096 [2022-09-21 14:28:47,569 INFO L642 ngineConcurrentUtils]: Filter Iteration 656/4096 [2022-09-21 14:28:47,588 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:47,588 INFO L642 ngineConcurrentUtils]: Filter Iteration 657/4096 [2022-09-21 14:28:47,627 INFO L642 ngineConcurrentUtils]: Filter Iteration 658/4096 [2022-09-21 14:28:47,665 INFO L642 ngineConcurrentUtils]: Filter Iteration 659/4096 [2022-09-21 14:28:47,696 INFO L642 ngineConcurrentUtils]: Filter Iteration 660/4096 [2022-09-21 14:28:47,717 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:47,717 INFO L642 ngineConcurrentUtils]: Filter Iteration 661/4096 [2022-09-21 14:28:47,758 INFO L642 ngineConcurrentUtils]: Filter Iteration 662/4096 [2022-09-21 14:28:47,789 INFO L642 ngineConcurrentUtils]: Filter Iteration 663/4096 [2022-09-21 14:28:47,820 INFO L642 ngineConcurrentUtils]: Filter Iteration 664/4096 [2022-09-21 14:28:47,840 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:47,840 INFO L642 ngineConcurrentUtils]: Filter Iteration 665/4096 [2022-09-21 14:28:47,882 INFO L642 ngineConcurrentUtils]: Filter Iteration 666/4096 [2022-09-21 14:28:47,923 INFO L642 ngineConcurrentUtils]: Filter Iteration 667/4096 [2022-09-21 14:28:47,964 INFO L642 ngineConcurrentUtils]: Filter Iteration 668/4096 [2022-09-21 14:28:47,972 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:47,973 INFO L642 ngineConcurrentUtils]: Filter Iteration 669/4096 [2022-09-21 14:28:48,011 INFO L642 ngineConcurrentUtils]: Filter Iteration 670/4096 [2022-09-21 14:28:48,050 INFO L642 ngineConcurrentUtils]: Filter Iteration 671/4096 [2022-09-21 14:28:48,091 INFO L642 ngineConcurrentUtils]: Filter Iteration 672/4096 [2022-09-21 14:28:48,112 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:48,112 INFO L642 ngineConcurrentUtils]: Filter Iteration 673/4096 [2022-09-21 14:28:48,152 INFO L642 ngineConcurrentUtils]: Filter Iteration 674/4096 [2022-09-21 14:28:48,183 INFO L642 ngineConcurrentUtils]: Filter Iteration 675/4096 [2022-09-21 14:28:48,215 INFO L642 ngineConcurrentUtils]: Filter Iteration 676/4096 [2022-09-21 14:28:48,235 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:48,235 INFO L642 ngineConcurrentUtils]: Filter Iteration 677/4096 [2022-09-21 14:28:48,267 INFO L642 ngineConcurrentUtils]: Filter Iteration 678/4096 [2022-09-21 14:28:48,307 INFO L642 ngineConcurrentUtils]: Filter Iteration 679/4096 [2022-09-21 14:28:48,346 INFO L642 ngineConcurrentUtils]: Filter Iteration 680/4096 [2022-09-21 14:28:48,355 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:48,355 INFO L642 ngineConcurrentUtils]: Filter Iteration 681/4096 [2022-09-21 14:28:48,393 INFO L642 ngineConcurrentUtils]: Filter Iteration 682/4096 [2022-09-21 14:28:48,434 INFO L642 ngineConcurrentUtils]: Filter Iteration 683/4096 [2022-09-21 14:28:48,471 INFO L642 ngineConcurrentUtils]: Filter Iteration 684/4096 [2022-09-21 14:28:48,489 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:48,490 INFO L642 ngineConcurrentUtils]: Filter Iteration 685/4096 [2022-09-21 14:28:48,520 INFO L642 ngineConcurrentUtils]: Filter Iteration 686/4096 [2022-09-21 14:28:48,560 INFO L642 ngineConcurrentUtils]: Filter Iteration 687/4096 [2022-09-21 14:28:48,599 INFO L642 ngineConcurrentUtils]: Filter Iteration 688/4096 [2022-09-21 14:28:48,609 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:48,609 INFO L642 ngineConcurrentUtils]: Filter Iteration 689/4096 [2022-09-21 14:28:48,648 INFO L642 ngineConcurrentUtils]: Filter Iteration 690/4096 [2022-09-21 14:28:48,688 INFO L642 ngineConcurrentUtils]: Filter Iteration 691/4096 [2022-09-21 14:28:48,717 INFO L642 ngineConcurrentUtils]: Filter Iteration 692/4096 [2022-09-21 14:28:48,737 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:48,738 INFO L642 ngineConcurrentUtils]: Filter Iteration 693/4096 [2022-09-21 14:28:48,769 INFO L642 ngineConcurrentUtils]: Filter Iteration 694/4096 [2022-09-21 14:28:48,800 INFO L642 ngineConcurrentUtils]: Filter Iteration 695/4096 [2022-09-21 14:28:48,831 INFO L642 ngineConcurrentUtils]: Filter Iteration 696/4096 [2022-09-21 14:28:48,850 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:48,851 INFO L642 ngineConcurrentUtils]: Filter Iteration 697/4096 [2022-09-21 14:28:48,888 INFO L642 ngineConcurrentUtils]: Filter Iteration 698/4096 [2022-09-21 14:28:48,917 INFO L642 ngineConcurrentUtils]: Filter Iteration 699/4096 [2022-09-21 14:28:48,950 INFO L642 ngineConcurrentUtils]: Filter Iteration 700/4096 [2022-09-21 14:28:48,969 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:48,969 INFO L642 ngineConcurrentUtils]: Filter Iteration 701/4096 [2022-09-21 14:28:49,000 INFO L642 ngineConcurrentUtils]: Filter Iteration 702/4096 [2022-09-21 14:28:49,045 INFO L642 ngineConcurrentUtils]: Filter Iteration 703/4096 [2022-09-21 14:28:49,085 INFO L642 ngineConcurrentUtils]: Filter Iteration 704/4096 [2022-09-21 14:28:49,095 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:49,095 INFO L642 ngineConcurrentUtils]: Filter Iteration 705/4096 [2022-09-21 14:28:49,126 INFO L642 ngineConcurrentUtils]: Filter Iteration 706/4096 [2022-09-21 14:28:49,166 INFO L642 ngineConcurrentUtils]: Filter Iteration 707/4096 [2022-09-21 14:28:49,205 INFO L642 ngineConcurrentUtils]: Filter Iteration 708/4096 [2022-09-21 14:28:49,226 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:49,226 INFO L642 ngineConcurrentUtils]: Filter Iteration 709/4096 [2022-09-21 14:28:49,265 INFO L642 ngineConcurrentUtils]: Filter Iteration 710/4096 [2022-09-21 14:28:49,304 INFO L642 ngineConcurrentUtils]: Filter Iteration 711/4096 [2022-09-21 14:28:49,344 INFO L642 ngineConcurrentUtils]: Filter Iteration 712/4096 [2022-09-21 14:28:49,352 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:49,352 INFO L642 ngineConcurrentUtils]: Filter Iteration 713/4096 [2022-09-21 14:28:49,382 INFO L642 ngineConcurrentUtils]: Filter Iteration 714/4096 [2022-09-21 14:28:49,424 INFO L642 ngineConcurrentUtils]: Filter Iteration 715/4096 [2022-09-21 14:28:49,614 INFO L642 ngineConcurrentUtils]: Filter Iteration 716/4096 [2022-09-21 14:28:49,632 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:49,632 INFO L642 ngineConcurrentUtils]: Filter Iteration 717/4096 [2022-09-21 14:28:49,662 INFO L642 ngineConcurrentUtils]: Filter Iteration 718/4096 [2022-09-21 14:28:49,702 INFO L642 ngineConcurrentUtils]: Filter Iteration 719/4096 [2022-09-21 14:28:49,741 INFO L642 ngineConcurrentUtils]: Filter Iteration 720/4096 [2022-09-21 14:28:49,760 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:49,760 INFO L642 ngineConcurrentUtils]: Filter Iteration 721/4096 [2022-09-21 14:28:49,800 INFO L642 ngineConcurrentUtils]: Filter Iteration 722/4096 [2022-09-21 14:28:49,840 INFO L642 ngineConcurrentUtils]: Filter Iteration 723/4096 [2022-09-21 14:28:49,873 INFO L642 ngineConcurrentUtils]: Filter Iteration 724/4096 [2022-09-21 14:28:49,890 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:49,891 INFO L642 ngineConcurrentUtils]: Filter Iteration 725/4096 [2022-09-21 14:28:49,930 INFO L642 ngineConcurrentUtils]: Filter Iteration 726/4096 [2022-09-21 14:28:49,970 INFO L642 ngineConcurrentUtils]: Filter Iteration 727/4096 [2022-09-21 14:28:50,001 INFO L642 ngineConcurrentUtils]: Filter Iteration 728/4096 [2022-09-21 14:28:50,019 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:50,019 INFO L642 ngineConcurrentUtils]: Filter Iteration 729/4096 [2022-09-21 14:28:50,056 INFO L642 ngineConcurrentUtils]: Filter Iteration 730/4096 [2022-09-21 14:28:50,098 INFO L642 ngineConcurrentUtils]: Filter Iteration 731/4096 [2022-09-21 14:28:50,128 INFO L642 ngineConcurrentUtils]: Filter Iteration 732/4096 [2022-09-21 14:28:50,137 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:50,137 INFO L642 ngineConcurrentUtils]: Filter Iteration 733/4096 [2022-09-21 14:28:50,166 INFO L642 ngineConcurrentUtils]: Filter Iteration 734/4096 [2022-09-21 14:28:50,209 INFO L642 ngineConcurrentUtils]: Filter Iteration 735/4096 [2022-09-21 14:28:50,240 INFO L642 ngineConcurrentUtils]: Filter Iteration 736/4096 [2022-09-21 14:28:50,250 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:50,251 INFO L642 ngineConcurrentUtils]: Filter Iteration 737/4096 [2022-09-21 14:28:50,282 INFO L642 ngineConcurrentUtils]: Filter Iteration 738/4096 [2022-09-21 14:28:50,314 INFO L642 ngineConcurrentUtils]: Filter Iteration 739/4096 [2022-09-21 14:28:50,356 INFO L642 ngineConcurrentUtils]: Filter Iteration 740/4096 [2022-09-21 14:28:50,374 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:50,375 INFO L642 ngineConcurrentUtils]: Filter Iteration 741/4096 [2022-09-21 14:28:50,411 INFO L642 ngineConcurrentUtils]: Filter Iteration 742/4096 [2022-09-21 14:28:50,451 INFO L642 ngineConcurrentUtils]: Filter Iteration 743/4096 [2022-09-21 14:28:50,484 INFO L642 ngineConcurrentUtils]: Filter Iteration 744/4096 [2022-09-21 14:28:50,494 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:50,494 INFO L642 ngineConcurrentUtils]: Filter Iteration 745/4096 [2022-09-21 14:28:50,535 INFO L642 ngineConcurrentUtils]: Filter Iteration 746/4096 [2022-09-21 14:28:50,565 INFO L642 ngineConcurrentUtils]: Filter Iteration 747/4096 [2022-09-21 14:28:50,603 INFO L642 ngineConcurrentUtils]: Filter Iteration 748/4096 [2022-09-21 14:28:50,612 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:50,613 INFO L642 ngineConcurrentUtils]: Filter Iteration 749/4096 [2022-09-21 14:28:50,644 INFO L642 ngineConcurrentUtils]: Filter Iteration 750/4096 [2022-09-21 14:28:50,685 INFO L642 ngineConcurrentUtils]: Filter Iteration 751/4096 [2022-09-21 14:28:50,728 INFO L642 ngineConcurrentUtils]: Filter Iteration 752/4096 [2022-09-21 14:28:50,746 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:50,746 INFO L642 ngineConcurrentUtils]: Filter Iteration 753/4096 [2022-09-21 14:28:50,778 INFO L642 ngineConcurrentUtils]: Filter Iteration 754/4096 [2022-09-21 14:28:50,818 INFO L642 ngineConcurrentUtils]: Filter Iteration 755/4096 [2022-09-21 14:28:50,859 INFO L642 ngineConcurrentUtils]: Filter Iteration 756/4096 [2022-09-21 14:28:50,881 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:50,881 INFO L642 ngineConcurrentUtils]: Filter Iteration 757/4096 [2022-09-21 14:28:50,919 INFO L642 ngineConcurrentUtils]: Filter Iteration 758/4096 [2022-09-21 14:28:50,959 INFO L642 ngineConcurrentUtils]: Filter Iteration 759/4096 [2022-09-21 14:28:51,000 INFO L642 ngineConcurrentUtils]: Filter Iteration 760/4096 [2022-09-21 14:28:51,010 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:51,010 INFO L642 ngineConcurrentUtils]: Filter Iteration 761/4096 [2022-09-21 14:28:51,041 INFO L642 ngineConcurrentUtils]: Filter Iteration 762/4096 [2022-09-21 14:28:51,081 INFO L642 ngineConcurrentUtils]: Filter Iteration 763/4096 [2022-09-21 14:28:51,114 INFO L642 ngineConcurrentUtils]: Filter Iteration 764/4096 [2022-09-21 14:28:51,136 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:51,136 INFO L642 ngineConcurrentUtils]: Filter Iteration 765/4096 [2022-09-21 14:28:51,169 INFO L642 ngineConcurrentUtils]: Filter Iteration 766/4096 [2022-09-21 14:28:51,210 INFO L642 ngineConcurrentUtils]: Filter Iteration 767/4096 [2022-09-21 14:28:51,252 INFO L642 ngineConcurrentUtils]: Filter Iteration 768/4096 [2022-09-21 14:28:51,263 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:51,263 INFO L642 ngineConcurrentUtils]: Filter Iteration 769/4096 [2022-09-21 14:28:51,294 INFO L642 ngineConcurrentUtils]: Filter Iteration 770/4096 [2022-09-21 14:28:51,324 INFO L642 ngineConcurrentUtils]: Filter Iteration 771/4096 [2022-09-21 14:28:51,355 INFO L642 ngineConcurrentUtils]: Filter Iteration 772/4096 [2022-09-21 14:28:51,374 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:51,374 INFO L642 ngineConcurrentUtils]: Filter Iteration 773/4096 [2022-09-21 14:28:51,412 INFO L642 ngineConcurrentUtils]: Filter Iteration 774/4096 [2022-09-21 14:28:51,442 INFO L642 ngineConcurrentUtils]: Filter Iteration 775/4096 [2022-09-21 14:28:51,473 INFO L642 ngineConcurrentUtils]: Filter Iteration 776/4096 [2022-09-21 14:28:51,494 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:51,494 INFO L642 ngineConcurrentUtils]: Filter Iteration 777/4096 [2022-09-21 14:28:51,531 INFO L642 ngineConcurrentUtils]: Filter Iteration 778/4096 [2022-09-21 14:28:51,570 INFO L642 ngineConcurrentUtils]: Filter Iteration 779/4096 [2022-09-21 14:28:51,606 INFO L642 ngineConcurrentUtils]: Filter Iteration 780/4096 [2022-09-21 14:28:51,615 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:51,615 INFO L642 ngineConcurrentUtils]: Filter Iteration 781/4096 [2022-09-21 14:28:51,652 INFO L642 ngineConcurrentUtils]: Filter Iteration 782/4096 [2022-09-21 14:28:51,691 INFO L642 ngineConcurrentUtils]: Filter Iteration 783/4096 [2022-09-21 14:28:51,722 INFO L642 ngineConcurrentUtils]: Filter Iteration 784/4096 [2022-09-21 14:28:51,733 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:51,733 INFO L642 ngineConcurrentUtils]: Filter Iteration 785/4096 [2022-09-21 14:28:51,764 INFO L642 ngineConcurrentUtils]: Filter Iteration 786/4096 [2022-09-21 14:28:51,793 INFO L642 ngineConcurrentUtils]: Filter Iteration 787/4096 [2022-09-21 14:28:51,824 INFO L642 ngineConcurrentUtils]: Filter Iteration 788/4096 [2022-09-21 14:28:51,843 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:51,844 INFO L642 ngineConcurrentUtils]: Filter Iteration 789/4096 [2022-09-21 14:28:51,884 INFO L642 ngineConcurrentUtils]: Filter Iteration 790/4096 [2022-09-21 14:28:51,925 INFO L642 ngineConcurrentUtils]: Filter Iteration 791/4096 [2022-09-21 14:28:51,955 INFO L642 ngineConcurrentUtils]: Filter Iteration 792/4096 [2022-09-21 14:28:51,974 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:51,974 INFO L642 ngineConcurrentUtils]: Filter Iteration 793/4096 [2022-09-21 14:28:52,014 INFO L642 ngineConcurrentUtils]: Filter Iteration 794/4096 [2022-09-21 14:28:52,056 INFO L642 ngineConcurrentUtils]: Filter Iteration 795/4096 [2022-09-21 14:28:52,086 INFO L642 ngineConcurrentUtils]: Filter Iteration 796/4096 [2022-09-21 14:28:52,105 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:52,106 INFO L642 ngineConcurrentUtils]: Filter Iteration 797/4096 [2022-09-21 14:28:52,147 INFO L642 ngineConcurrentUtils]: Filter Iteration 798/4096 [2022-09-21 14:28:52,187 INFO L642 ngineConcurrentUtils]: Filter Iteration 799/4096 [2022-09-21 14:28:52,228 INFO L642 ngineConcurrentUtils]: Filter Iteration 800/4096 [2022-09-21 14:28:52,246 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:52,247 INFO L642 ngineConcurrentUtils]: Filter Iteration 801/4096 [2022-09-21 14:28:52,276 INFO L642 ngineConcurrentUtils]: Filter Iteration 802/4096 [2022-09-21 14:28:52,317 INFO L642 ngineConcurrentUtils]: Filter Iteration 803/4096 [2022-09-21 14:28:52,357 INFO L642 ngineConcurrentUtils]: Filter Iteration 804/4096 [2022-09-21 14:28:52,368 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:52,368 INFO L642 ngineConcurrentUtils]: Filter Iteration 805/4096 [2022-09-21 14:28:52,397 INFO L642 ngineConcurrentUtils]: Filter Iteration 806/4096 [2022-09-21 14:28:52,439 INFO L642 ngineConcurrentUtils]: Filter Iteration 807/4096 [2022-09-21 14:28:52,471 INFO L642 ngineConcurrentUtils]: Filter Iteration 808/4096 [2022-09-21 14:28:52,490 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:52,490 INFO L642 ngineConcurrentUtils]: Filter Iteration 809/4096 [2022-09-21 14:28:52,523 INFO L642 ngineConcurrentUtils]: Filter Iteration 810/4096 [2022-09-21 14:28:52,551 INFO L642 ngineConcurrentUtils]: Filter Iteration 811/4096 [2022-09-21 14:28:52,584 INFO L642 ngineConcurrentUtils]: Filter Iteration 812/4096 [2022-09-21 14:28:52,603 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:52,603 INFO L642 ngineConcurrentUtils]: Filter Iteration 813/4096 [2022-09-21 14:28:52,643 INFO L642 ngineConcurrentUtils]: Filter Iteration 814/4096 [2022-09-21 14:28:52,683 INFO L642 ngineConcurrentUtils]: Filter Iteration 815/4096 [2022-09-21 14:28:52,723 INFO L642 ngineConcurrentUtils]: Filter Iteration 816/4096 [2022-09-21 14:28:52,743 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:52,743 INFO L642 ngineConcurrentUtils]: Filter Iteration 817/4096 [2022-09-21 14:28:52,784 INFO L642 ngineConcurrentUtils]: Filter Iteration 818/4096 [2022-09-21 14:28:52,816 INFO L642 ngineConcurrentUtils]: Filter Iteration 819/4096 [2022-09-21 14:28:52,848 INFO L642 ngineConcurrentUtils]: Filter Iteration 820/4096 [2022-09-21 14:28:52,866 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:52,866 INFO L642 ngineConcurrentUtils]: Filter Iteration 821/4096 [2022-09-21 14:28:52,898 INFO L642 ngineConcurrentUtils]: Filter Iteration 822/4096 [2022-09-21 14:28:52,940 INFO L642 ngineConcurrentUtils]: Filter Iteration 823/4096 [2022-09-21 14:28:52,981 INFO L642 ngineConcurrentUtils]: Filter Iteration 824/4096 [2022-09-21 14:28:53,001 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:53,001 INFO L642 ngineConcurrentUtils]: Filter Iteration 825/4096 [2022-09-21 14:28:53,040 INFO L642 ngineConcurrentUtils]: Filter Iteration 826/4096 [2022-09-21 14:28:53,070 INFO L642 ngineConcurrentUtils]: Filter Iteration 827/4096 [2022-09-21 14:28:53,111 INFO L642 ngineConcurrentUtils]: Filter Iteration 828/4096 [2022-09-21 14:28:53,132 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:53,132 INFO L642 ngineConcurrentUtils]: Filter Iteration 829/4096 [2022-09-21 14:28:53,172 INFO L642 ngineConcurrentUtils]: Filter Iteration 830/4096 [2022-09-21 14:28:53,213 INFO L642 ngineConcurrentUtils]: Filter Iteration 831/4096 [2022-09-21 14:28:53,254 INFO L642 ngineConcurrentUtils]: Filter Iteration 832/4096 [2022-09-21 14:28:53,272 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:53,272 INFO L642 ngineConcurrentUtils]: Filter Iteration 833/4096 [2022-09-21 14:28:53,310 INFO L642 ngineConcurrentUtils]: Filter Iteration 834/4096 [2022-09-21 14:28:53,354 INFO L642 ngineConcurrentUtils]: Filter Iteration 835/4096 [2022-09-21 14:28:53,388 INFO L642 ngineConcurrentUtils]: Filter Iteration 836/4096 [2022-09-21 14:28:53,408 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:53,409 INFO L642 ngineConcurrentUtils]: Filter Iteration 837/4096 [2022-09-21 14:28:53,453 INFO L642 ngineConcurrentUtils]: Filter Iteration 838/4096 [2022-09-21 14:28:53,496 INFO L642 ngineConcurrentUtils]: Filter Iteration 839/4096 [2022-09-21 14:28:53,538 INFO L642 ngineConcurrentUtils]: Filter Iteration 840/4096 [2022-09-21 14:28:53,549 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:53,549 INFO L642 ngineConcurrentUtils]: Filter Iteration 841/4096 [2022-09-21 14:28:53,582 INFO L642 ngineConcurrentUtils]: Filter Iteration 842/4096 [2022-09-21 14:28:53,616 INFO L642 ngineConcurrentUtils]: Filter Iteration 843/4096 [2022-09-21 14:28:53,658 INFO L642 ngineConcurrentUtils]: Filter Iteration 844/4096 [2022-09-21 14:28:53,680 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:53,680 INFO L642 ngineConcurrentUtils]: Filter Iteration 845/4096 [2022-09-21 14:28:53,723 INFO L642 ngineConcurrentUtils]: Filter Iteration 846/4096 [2022-09-21 14:28:53,764 INFO L642 ngineConcurrentUtils]: Filter Iteration 847/4096 [2022-09-21 14:28:53,795 INFO L642 ngineConcurrentUtils]: Filter Iteration 848/4096 [2022-09-21 14:28:53,814 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:53,814 INFO L642 ngineConcurrentUtils]: Filter Iteration 849/4096 [2022-09-21 14:28:53,854 INFO L642 ngineConcurrentUtils]: Filter Iteration 850/4096 [2022-09-21 14:28:53,884 INFO L642 ngineConcurrentUtils]: Filter Iteration 851/4096 [2022-09-21 14:28:53,925 INFO L642 ngineConcurrentUtils]: Filter Iteration 852/4096 [2022-09-21 14:28:53,945 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:53,945 INFO L642 ngineConcurrentUtils]: Filter Iteration 853/4096 [2022-09-21 14:28:53,976 INFO L642 ngineConcurrentUtils]: Filter Iteration 854/4096 [2022-09-21 14:28:54,008 INFO L642 ngineConcurrentUtils]: Filter Iteration 855/4096 [2022-09-21 14:28:54,047 INFO L642 ngineConcurrentUtils]: Filter Iteration 856/4096 [2022-09-21 14:28:54,066 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:54,066 INFO L642 ngineConcurrentUtils]: Filter Iteration 857/4096 [2022-09-21 14:28:54,105 INFO L642 ngineConcurrentUtils]: Filter Iteration 858/4096 [2022-09-21 14:28:54,142 INFO L642 ngineConcurrentUtils]: Filter Iteration 859/4096 [2022-09-21 14:28:54,179 INFO L642 ngineConcurrentUtils]: Filter Iteration 860/4096 [2022-09-21 14:28:54,189 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:54,189 INFO L642 ngineConcurrentUtils]: Filter Iteration 861/4096 [2022-09-21 14:28:54,228 INFO L642 ngineConcurrentUtils]: Filter Iteration 862/4096 [2022-09-21 14:28:54,260 INFO L642 ngineConcurrentUtils]: Filter Iteration 863/4096 [2022-09-21 14:28:54,294 INFO L642 ngineConcurrentUtils]: Filter Iteration 864/4096 [2022-09-21 14:28:54,314 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:54,314 INFO L642 ngineConcurrentUtils]: Filter Iteration 865/4096 [2022-09-21 14:28:54,353 INFO L642 ngineConcurrentUtils]: Filter Iteration 866/4096 [2022-09-21 14:28:54,386 INFO L642 ngineConcurrentUtils]: Filter Iteration 867/4096 [2022-09-21 14:28:54,426 INFO L642 ngineConcurrentUtils]: Filter Iteration 868/4096 [2022-09-21 14:28:54,445 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:54,446 INFO L642 ngineConcurrentUtils]: Filter Iteration 869/4096 [2022-09-21 14:28:54,488 INFO L642 ngineConcurrentUtils]: Filter Iteration 870/4096 [2022-09-21 14:28:54,521 INFO L642 ngineConcurrentUtils]: Filter Iteration 871/4096 [2022-09-21 14:28:54,567 INFO L642 ngineConcurrentUtils]: Filter Iteration 872/4096 [2022-09-21 14:28:54,578 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:54,578 INFO L642 ngineConcurrentUtils]: Filter Iteration 873/4096 [2022-09-21 14:28:54,621 INFO L642 ngineConcurrentUtils]: Filter Iteration 874/4096 [2022-09-21 14:28:54,653 INFO L642 ngineConcurrentUtils]: Filter Iteration 875/4096 [2022-09-21 14:28:54,695 INFO L642 ngineConcurrentUtils]: Filter Iteration 876/4096 [2022-09-21 14:28:54,705 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:54,705 INFO L642 ngineConcurrentUtils]: Filter Iteration 877/4096 [2022-09-21 14:28:54,749 INFO L642 ngineConcurrentUtils]: Filter Iteration 878/4096 [2022-09-21 14:28:54,783 INFO L642 ngineConcurrentUtils]: Filter Iteration 879/4096 [2022-09-21 14:28:54,817 INFO L642 ngineConcurrentUtils]: Filter Iteration 880/4096 [2022-09-21 14:28:54,838 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:54,838 INFO L642 ngineConcurrentUtils]: Filter Iteration 881/4096 [2022-09-21 14:28:54,872 INFO L642 ngineConcurrentUtils]: Filter Iteration 882/4096 [2022-09-21 14:28:54,915 INFO L642 ngineConcurrentUtils]: Filter Iteration 883/4096 [2022-09-21 14:28:54,949 INFO L642 ngineConcurrentUtils]: Filter Iteration 884/4096 [2022-09-21 14:28:54,960 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:54,960 INFO L642 ngineConcurrentUtils]: Filter Iteration 885/4096 [2022-09-21 14:28:55,003 INFO L642 ngineConcurrentUtils]: Filter Iteration 886/4096 [2022-09-21 14:28:55,045 INFO L642 ngineConcurrentUtils]: Filter Iteration 887/4096 [2022-09-21 14:28:55,090 INFO L642 ngineConcurrentUtils]: Filter Iteration 888/4096 [2022-09-21 14:28:55,100 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:55,100 INFO L642 ngineConcurrentUtils]: Filter Iteration 889/4096 [2022-09-21 14:28:55,131 INFO L642 ngineConcurrentUtils]: Filter Iteration 890/4096 [2022-09-21 14:28:55,174 INFO L642 ngineConcurrentUtils]: Filter Iteration 891/4096 [2022-09-21 14:28:55,211 INFO L642 ngineConcurrentUtils]: Filter Iteration 892/4096 [2022-09-21 14:28:55,222 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:55,222 INFO L642 ngineConcurrentUtils]: Filter Iteration 893/4096 [2022-09-21 14:28:55,254 INFO L642 ngineConcurrentUtils]: Filter Iteration 894/4096 [2022-09-21 14:28:55,288 INFO L642 ngineConcurrentUtils]: Filter Iteration 895/4096 [2022-09-21 14:28:55,331 INFO L642 ngineConcurrentUtils]: Filter Iteration 896/4096 [2022-09-21 14:28:55,351 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:55,351 INFO L642 ngineConcurrentUtils]: Filter Iteration 897/4096 [2022-09-21 14:28:55,384 INFO L642 ngineConcurrentUtils]: Filter Iteration 898/4096 [2022-09-21 14:28:55,426 INFO L642 ngineConcurrentUtils]: Filter Iteration 899/4096 [2022-09-21 14:28:55,459 INFO L642 ngineConcurrentUtils]: Filter Iteration 900/4096 [2022-09-21 14:28:55,479 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:55,479 INFO L642 ngineConcurrentUtils]: Filter Iteration 901/4096 [2022-09-21 14:28:55,521 INFO L642 ngineConcurrentUtils]: Filter Iteration 902/4096 [2022-09-21 14:28:55,555 INFO L642 ngineConcurrentUtils]: Filter Iteration 903/4096 [2022-09-21 14:28:55,590 INFO L642 ngineConcurrentUtils]: Filter Iteration 904/4096 [2022-09-21 14:28:55,611 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:55,611 INFO L642 ngineConcurrentUtils]: Filter Iteration 905/4096 [2022-09-21 14:28:55,643 INFO L642 ngineConcurrentUtils]: Filter Iteration 906/4096 [2022-09-21 14:28:55,686 INFO L642 ngineConcurrentUtils]: Filter Iteration 907/4096 [2022-09-21 14:28:55,721 INFO L642 ngineConcurrentUtils]: Filter Iteration 908/4096 [2022-09-21 14:28:55,741 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:55,741 INFO L642 ngineConcurrentUtils]: Filter Iteration 909/4096 [2022-09-21 14:28:55,775 INFO L642 ngineConcurrentUtils]: Filter Iteration 910/4096 [2022-09-21 14:28:55,820 INFO L642 ngineConcurrentUtils]: Filter Iteration 911/4096 [2022-09-21 14:28:55,861 INFO L642 ngineConcurrentUtils]: Filter Iteration 912/4096 [2022-09-21 14:28:55,871 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:55,872 INFO L642 ngineConcurrentUtils]: Filter Iteration 913/4096 [2022-09-21 14:28:55,913 INFO L642 ngineConcurrentUtils]: Filter Iteration 914/4096 [2022-09-21 14:28:55,945 INFO L642 ngineConcurrentUtils]: Filter Iteration 915/4096 [2022-09-21 14:28:55,975 INFO L642 ngineConcurrentUtils]: Filter Iteration 916/4096 [2022-09-21 14:28:55,997 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:55,997 INFO L642 ngineConcurrentUtils]: Filter Iteration 917/4096 [2022-09-21 14:28:56,040 INFO L642 ngineConcurrentUtils]: Filter Iteration 918/4096 [2022-09-21 14:28:56,084 INFO L642 ngineConcurrentUtils]: Filter Iteration 919/4096 [2022-09-21 14:28:56,128 INFO L642 ngineConcurrentUtils]: Filter Iteration 920/4096 [2022-09-21 14:28:56,148 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:56,148 INFO L642 ngineConcurrentUtils]: Filter Iteration 921/4096 [2022-09-21 14:28:56,180 INFO L642 ngineConcurrentUtils]: Filter Iteration 922/4096 [2022-09-21 14:28:56,223 INFO L642 ngineConcurrentUtils]: Filter Iteration 923/4096 [2022-09-21 14:28:56,259 INFO L642 ngineConcurrentUtils]: Filter Iteration 924/4096 [2022-09-21 14:28:56,282 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:56,282 INFO L642 ngineConcurrentUtils]: Filter Iteration 925/4096 [2022-09-21 14:28:56,315 INFO L642 ngineConcurrentUtils]: Filter Iteration 926/4096 [2022-09-21 14:28:56,359 INFO L642 ngineConcurrentUtils]: Filter Iteration 927/4096 [2022-09-21 14:28:56,401 INFO L642 ngineConcurrentUtils]: Filter Iteration 928/4096 [2022-09-21 14:28:56,423 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:56,423 INFO L642 ngineConcurrentUtils]: Filter Iteration 929/4096 [2022-09-21 14:28:56,455 INFO L642 ngineConcurrentUtils]: Filter Iteration 930/4096 [2022-09-21 14:28:56,494 INFO L642 ngineConcurrentUtils]: Filter Iteration 931/4096 [2022-09-21 14:28:56,526 INFO L642 ngineConcurrentUtils]: Filter Iteration 932/4096 [2022-09-21 14:28:56,538 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:56,538 INFO L642 ngineConcurrentUtils]: Filter Iteration 933/4096 [2022-09-21 14:28:56,577 INFO L642 ngineConcurrentUtils]: Filter Iteration 934/4096 [2022-09-21 14:28:56,617 INFO L642 ngineConcurrentUtils]: Filter Iteration 935/4096 [2022-09-21 14:28:56,651 INFO L642 ngineConcurrentUtils]: Filter Iteration 936/4096 [2022-09-21 14:28:56,661 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:56,662 INFO L642 ngineConcurrentUtils]: Filter Iteration 937/4096 [2022-09-21 14:28:56,693 INFO L642 ngineConcurrentUtils]: Filter Iteration 938/4096 [2022-09-21 14:28:56,727 INFO L642 ngineConcurrentUtils]: Filter Iteration 939/4096 [2022-09-21 14:28:56,758 INFO L642 ngineConcurrentUtils]: Filter Iteration 940/4096 [2022-09-21 14:28:56,768 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:56,768 INFO L642 ngineConcurrentUtils]: Filter Iteration 941/4096 [2022-09-21 14:28:56,808 INFO L642 ngineConcurrentUtils]: Filter Iteration 942/4096 [2022-09-21 14:28:56,842 INFO L642 ngineConcurrentUtils]: Filter Iteration 943/4096 [2022-09-21 14:28:56,875 INFO L642 ngineConcurrentUtils]: Filter Iteration 944/4096 [2022-09-21 14:28:56,886 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:56,886 INFO L642 ngineConcurrentUtils]: Filter Iteration 945/4096 [2022-09-21 14:28:56,921 INFO L642 ngineConcurrentUtils]: Filter Iteration 946/4096 [2022-09-21 14:28:56,954 INFO L642 ngineConcurrentUtils]: Filter Iteration 947/4096 [2022-09-21 14:28:56,996 INFO L642 ngineConcurrentUtils]: Filter Iteration 948/4096 [2022-09-21 14:28:57,006 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:57,006 INFO L642 ngineConcurrentUtils]: Filter Iteration 949/4096 [2022-09-21 14:28:57,049 INFO L642 ngineConcurrentUtils]: Filter Iteration 950/4096 [2022-09-21 14:28:57,090 INFO L642 ngineConcurrentUtils]: Filter Iteration 951/4096 [2022-09-21 14:28:57,123 INFO L642 ngineConcurrentUtils]: Filter Iteration 952/4096 [2022-09-21 14:28:57,133 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:57,133 INFO L642 ngineConcurrentUtils]: Filter Iteration 953/4096 [2022-09-21 14:28:57,175 INFO L642 ngineConcurrentUtils]: Filter Iteration 954/4096 [2022-09-21 14:28:57,218 INFO L642 ngineConcurrentUtils]: Filter Iteration 955/4096 [2022-09-21 14:28:57,251 INFO L642 ngineConcurrentUtils]: Filter Iteration 956/4096 [2022-09-21 14:28:57,270 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:57,270 INFO L642 ngineConcurrentUtils]: Filter Iteration 957/4096 [2022-09-21 14:28:57,315 INFO L642 ngineConcurrentUtils]: Filter Iteration 958/4096 [2022-09-21 14:28:57,351 INFO L642 ngineConcurrentUtils]: Filter Iteration 959/4096 [2022-09-21 14:28:57,392 INFO L642 ngineConcurrentUtils]: Filter Iteration 960/4096 [2022-09-21 14:28:57,413 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:57,413 INFO L642 ngineConcurrentUtils]: Filter Iteration 961/4096 [2022-09-21 14:28:57,446 INFO L642 ngineConcurrentUtils]: Filter Iteration 962/4096 [2022-09-21 14:28:57,485 INFO L642 ngineConcurrentUtils]: Filter Iteration 963/4096 [2022-09-21 14:28:57,527 INFO L642 ngineConcurrentUtils]: Filter Iteration 964/4096 [2022-09-21 14:28:57,547 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:57,547 INFO L642 ngineConcurrentUtils]: Filter Iteration 965/4096 [2022-09-21 14:28:57,587 INFO L642 ngineConcurrentUtils]: Filter Iteration 966/4096 [2022-09-21 14:28:57,619 INFO L642 ngineConcurrentUtils]: Filter Iteration 967/4096 [2022-09-21 14:28:57,662 INFO L642 ngineConcurrentUtils]: Filter Iteration 968/4096 [2022-09-21 14:28:57,682 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:57,682 INFO L642 ngineConcurrentUtils]: Filter Iteration 969/4096 [2022-09-21 14:28:57,723 INFO L642 ngineConcurrentUtils]: Filter Iteration 970/4096 [2022-09-21 14:28:57,756 INFO L642 ngineConcurrentUtils]: Filter Iteration 971/4096 [2022-09-21 14:28:57,788 INFO L642 ngineConcurrentUtils]: Filter Iteration 972/4096 [2022-09-21 14:28:57,797 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:57,797 INFO L642 ngineConcurrentUtils]: Filter Iteration 973/4096 [2022-09-21 14:28:57,836 INFO L642 ngineConcurrentUtils]: Filter Iteration 974/4096 [2022-09-21 14:28:57,867 INFO L642 ngineConcurrentUtils]: Filter Iteration 975/4096 [2022-09-21 14:28:57,899 INFO L642 ngineConcurrentUtils]: Filter Iteration 976/4096 [2022-09-21 14:28:57,908 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:57,908 INFO L642 ngineConcurrentUtils]: Filter Iteration 977/4096 [2022-09-21 14:28:57,948 INFO L642 ngineConcurrentUtils]: Filter Iteration 978/4096 [2022-09-21 14:28:57,989 INFO L642 ngineConcurrentUtils]: Filter Iteration 979/4096 [2022-09-21 14:28:58,028 INFO L642 ngineConcurrentUtils]: Filter Iteration 980/4096 [2022-09-21 14:28:58,038 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:58,038 INFO L642 ngineConcurrentUtils]: Filter Iteration 981/4096 [2022-09-21 14:28:58,078 INFO L642 ngineConcurrentUtils]: Filter Iteration 982/4096 [2022-09-21 14:28:58,121 INFO L642 ngineConcurrentUtils]: Filter Iteration 983/4096 [2022-09-21 14:28:58,162 INFO L642 ngineConcurrentUtils]: Filter Iteration 984/4096 [2022-09-21 14:28:58,181 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:58,182 INFO L642 ngineConcurrentUtils]: Filter Iteration 985/4096 [2022-09-21 14:28:58,222 INFO L642 ngineConcurrentUtils]: Filter Iteration 986/4096 [2022-09-21 14:28:58,265 INFO L642 ngineConcurrentUtils]: Filter Iteration 987/4096 [2022-09-21 14:28:58,296 INFO L642 ngineConcurrentUtils]: Filter Iteration 988/4096 [2022-09-21 14:28:58,306 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:58,307 INFO L642 ngineConcurrentUtils]: Filter Iteration 989/4096 [2022-09-21 14:28:58,348 INFO L642 ngineConcurrentUtils]: Filter Iteration 990/4096 [2022-09-21 14:28:58,381 INFO L642 ngineConcurrentUtils]: Filter Iteration 991/4096 [2022-09-21 14:28:58,424 INFO L642 ngineConcurrentUtils]: Filter Iteration 992/4096 [2022-09-21 14:28:58,435 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:58,435 INFO L642 ngineConcurrentUtils]: Filter Iteration 993/4096 [2022-09-21 14:28:58,467 INFO L642 ngineConcurrentUtils]: Filter Iteration 994/4096 [2022-09-21 14:28:58,500 INFO L642 ngineConcurrentUtils]: Filter Iteration 995/4096 [2022-09-21 14:28:58,542 INFO L642 ngineConcurrentUtils]: Filter Iteration 996/4096 [2022-09-21 14:28:58,551 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:58,552 INFO L642 ngineConcurrentUtils]: Filter Iteration 997/4096 [2022-09-21 14:28:58,584 INFO L642 ngineConcurrentUtils]: Filter Iteration 998/4096 [2022-09-21 14:28:58,626 INFO L642 ngineConcurrentUtils]: Filter Iteration 999/4096 [2022-09-21 14:28:58,658 INFO L642 ngineConcurrentUtils]: Filter Iteration 1000/4096 [2022-09-21 14:28:58,668 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:58,668 INFO L642 ngineConcurrentUtils]: Filter Iteration 1001/4096 [2022-09-21 14:28:58,709 INFO L642 ngineConcurrentUtils]: Filter Iteration 1002/4096 [2022-09-21 14:28:58,752 INFO L642 ngineConcurrentUtils]: Filter Iteration 1003/4096 [2022-09-21 14:28:58,795 INFO L642 ngineConcurrentUtils]: Filter Iteration 1004/4096 [2022-09-21 14:28:58,806 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:58,806 INFO L642 ngineConcurrentUtils]: Filter Iteration 1005/4096 [2022-09-21 14:28:58,839 INFO L642 ngineConcurrentUtils]: Filter Iteration 1006/4096 [2022-09-21 14:28:58,872 INFO L642 ngineConcurrentUtils]: Filter Iteration 1007/4096 [2022-09-21 14:28:58,906 INFO L642 ngineConcurrentUtils]: Filter Iteration 1008/4096 [2022-09-21 14:28:58,927 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:58,927 INFO L642 ngineConcurrentUtils]: Filter Iteration 1009/4096 [2022-09-21 14:28:58,970 INFO L642 ngineConcurrentUtils]: Filter Iteration 1010/4096 [2022-09-21 14:28:59,002 INFO L642 ngineConcurrentUtils]: Filter Iteration 1011/4096 [2022-09-21 14:28:59,038 INFO L642 ngineConcurrentUtils]: Filter Iteration 1012/4096 [2022-09-21 14:28:59,059 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:59,059 INFO L642 ngineConcurrentUtils]: Filter Iteration 1013/4096 [2022-09-21 14:28:59,093 INFO L642 ngineConcurrentUtils]: Filter Iteration 1014/4096 [2022-09-21 14:28:59,142 INFO L642 ngineConcurrentUtils]: Filter Iteration 1015/4096 [2022-09-21 14:28:59,184 INFO L642 ngineConcurrentUtils]: Filter Iteration 1016/4096 [2022-09-21 14:28:59,193 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:59,194 INFO L642 ngineConcurrentUtils]: Filter Iteration 1017/4096 [2022-09-21 14:28:59,227 INFO L642 ngineConcurrentUtils]: Filter Iteration 1018/4096 [2022-09-21 14:28:59,270 INFO L642 ngineConcurrentUtils]: Filter Iteration 1019/4096 [2022-09-21 14:28:59,311 INFO L642 ngineConcurrentUtils]: Filter Iteration 1020/4096 [2022-09-21 14:28:59,334 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:59,334 INFO L642 ngineConcurrentUtils]: Filter Iteration 1021/4096 [2022-09-21 14:28:59,375 INFO L642 ngineConcurrentUtils]: Filter Iteration 1022/4096 [2022-09-21 14:28:59,409 INFO L642 ngineConcurrentUtils]: Filter Iteration 1023/4096 [2022-09-21 14:28:59,453 INFO L642 ngineConcurrentUtils]: Filter Iteration 1024/4096 [2022-09-21 14:28:59,475 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:59,475 INFO L642 ngineConcurrentUtils]: Filter Iteration 1025/4096 [2022-09-21 14:28:59,507 INFO L642 ngineConcurrentUtils]: Filter Iteration 1026/4096 [2022-09-21 14:28:59,538 INFO L642 ngineConcurrentUtils]: Filter Iteration 1027/4096 [2022-09-21 14:28:59,571 INFO L642 ngineConcurrentUtils]: Filter Iteration 1028/4096 [2022-09-21 14:28:59,581 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:59,581 INFO L642 ngineConcurrentUtils]: Filter Iteration 1029/4096 [2022-09-21 14:28:59,611 INFO L642 ngineConcurrentUtils]: Filter Iteration 1030/4096 [2022-09-21 14:28:59,641 INFO L642 ngineConcurrentUtils]: Filter Iteration 1031/4096 [2022-09-21 14:28:59,680 INFO L642 ngineConcurrentUtils]: Filter Iteration 1032/4096 [2022-09-21 14:28:59,700 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:59,700 INFO L642 ngineConcurrentUtils]: Filter Iteration 1033/4096 [2022-09-21 14:28:59,732 INFO L642 ngineConcurrentUtils]: Filter Iteration 1034/4096 [2022-09-21 14:28:59,770 INFO L642 ngineConcurrentUtils]: Filter Iteration 1035/4096 [2022-09-21 14:28:59,811 INFO L642 ngineConcurrentUtils]: Filter Iteration 1036/4096 [2022-09-21 14:28:59,819 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:59,819 INFO L642 ngineConcurrentUtils]: Filter Iteration 1037/4096 [2022-09-21 14:28:59,850 INFO L642 ngineConcurrentUtils]: Filter Iteration 1038/4096 [2022-09-21 14:28:59,880 INFO L642 ngineConcurrentUtils]: Filter Iteration 1039/4096 [2022-09-21 14:28:59,913 INFO L642 ngineConcurrentUtils]: Filter Iteration 1040/4096 [2022-09-21 14:28:59,933 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:28:59,933 INFO L642 ngineConcurrentUtils]: Filter Iteration 1041/4096 [2022-09-21 14:28:59,963 INFO L642 ngineConcurrentUtils]: Filter Iteration 1042/4096 [2022-09-21 14:28:59,995 INFO L642 ngineConcurrentUtils]: Filter Iteration 1043/4096 [2022-09-21 14:29:00,029 INFO L642 ngineConcurrentUtils]: Filter Iteration 1044/4096 [2022-09-21 14:29:00,050 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:00,050 INFO L642 ngineConcurrentUtils]: Filter Iteration 1045/4096 [2022-09-21 14:29:00,084 INFO L642 ngineConcurrentUtils]: Filter Iteration 1046/4096 [2022-09-21 14:29:00,117 INFO L642 ngineConcurrentUtils]: Filter Iteration 1047/4096 [2022-09-21 14:29:00,159 INFO L642 ngineConcurrentUtils]: Filter Iteration 1048/4096 [2022-09-21 14:29:00,168 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:00,168 INFO L642 ngineConcurrentUtils]: Filter Iteration 1049/4096 [2022-09-21 14:29:00,199 INFO L642 ngineConcurrentUtils]: Filter Iteration 1050/4096 [2022-09-21 14:29:00,238 INFO L642 ngineConcurrentUtils]: Filter Iteration 1051/4096 [2022-09-21 14:29:00,271 INFO L642 ngineConcurrentUtils]: Filter Iteration 1052/4096 [2022-09-21 14:29:00,290 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:00,290 INFO L642 ngineConcurrentUtils]: Filter Iteration 1053/4096 [2022-09-21 14:29:00,319 INFO L642 ngineConcurrentUtils]: Filter Iteration 1054/4096 [2022-09-21 14:29:00,359 INFO L642 ngineConcurrentUtils]: Filter Iteration 1055/4096 [2022-09-21 14:29:00,400 INFO L642 ngineConcurrentUtils]: Filter Iteration 1056/4096 [2022-09-21 14:29:00,410 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:00,410 INFO L642 ngineConcurrentUtils]: Filter Iteration 1057/4096 [2022-09-21 14:29:00,451 INFO L642 ngineConcurrentUtils]: Filter Iteration 1058/4096 [2022-09-21 14:29:00,492 INFO L642 ngineConcurrentUtils]: Filter Iteration 1059/4096 [2022-09-21 14:29:00,526 INFO L642 ngineConcurrentUtils]: Filter Iteration 1060/4096 [2022-09-21 14:29:00,538 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:00,538 INFO L642 ngineConcurrentUtils]: Filter Iteration 1061/4096 [2022-09-21 14:29:00,577 INFO L642 ngineConcurrentUtils]: Filter Iteration 1062/4096 [2022-09-21 14:29:00,611 INFO L642 ngineConcurrentUtils]: Filter Iteration 1063/4096 [2022-09-21 14:29:00,652 INFO L642 ngineConcurrentUtils]: Filter Iteration 1064/4096 [2022-09-21 14:29:00,673 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:00,673 INFO L642 ngineConcurrentUtils]: Filter Iteration 1065/4096 [2022-09-21 14:29:00,715 INFO L642 ngineConcurrentUtils]: Filter Iteration 1066/4096 [2022-09-21 14:29:00,750 INFO L642 ngineConcurrentUtils]: Filter Iteration 1067/4096 [2022-09-21 14:29:00,783 INFO L642 ngineConcurrentUtils]: Filter Iteration 1068/4096 [2022-09-21 14:29:00,792 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:00,792 INFO L642 ngineConcurrentUtils]: Filter Iteration 1069/4096 [2022-09-21 14:29:00,833 INFO L642 ngineConcurrentUtils]: Filter Iteration 1070/4096 [2022-09-21 14:29:00,865 INFO L642 ngineConcurrentUtils]: Filter Iteration 1071/4096 [2022-09-21 14:29:00,904 INFO L642 ngineConcurrentUtils]: Filter Iteration 1072/4096 [2022-09-21 14:29:00,914 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:00,914 INFO L642 ngineConcurrentUtils]: Filter Iteration 1073/4096 [2022-09-21 14:29:00,948 INFO L642 ngineConcurrentUtils]: Filter Iteration 1074/4096 [2022-09-21 14:29:00,983 INFO L642 ngineConcurrentUtils]: Filter Iteration 1075/4096 [2022-09-21 14:29:01,017 INFO L642 ngineConcurrentUtils]: Filter Iteration 1076/4096 [2022-09-21 14:29:01,035 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:01,035 INFO L642 ngineConcurrentUtils]: Filter Iteration 1077/4096 [2022-09-21 14:29:01,079 INFO L642 ngineConcurrentUtils]: Filter Iteration 1078/4096 [2022-09-21 14:29:01,125 INFO L642 ngineConcurrentUtils]: Filter Iteration 1079/4096 [2022-09-21 14:29:01,159 INFO L642 ngineConcurrentUtils]: Filter Iteration 1080/4096 [2022-09-21 14:29:01,169 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:01,170 INFO L642 ngineConcurrentUtils]: Filter Iteration 1081/4096 [2022-09-21 14:29:01,211 INFO L642 ngineConcurrentUtils]: Filter Iteration 1082/4096 [2022-09-21 14:29:01,253 INFO L642 ngineConcurrentUtils]: Filter Iteration 1083/4096 [2022-09-21 14:29:01,285 INFO L642 ngineConcurrentUtils]: Filter Iteration 1084/4096 [2022-09-21 14:29:01,306 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:01,306 INFO L642 ngineConcurrentUtils]: Filter Iteration 1085/4096 [2022-09-21 14:29:01,348 INFO L642 ngineConcurrentUtils]: Filter Iteration 1086/4096 [2022-09-21 14:29:01,382 INFO L642 ngineConcurrentUtils]: Filter Iteration 1087/4096 [2022-09-21 14:29:01,424 INFO L642 ngineConcurrentUtils]: Filter Iteration 1088/4096 [2022-09-21 14:29:01,444 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:01,444 INFO L642 ngineConcurrentUtils]: Filter Iteration 1089/4096 [2022-09-21 14:29:01,478 INFO L642 ngineConcurrentUtils]: Filter Iteration 1090/4096 [2022-09-21 14:29:01,520 INFO L642 ngineConcurrentUtils]: Filter Iteration 1091/4096 [2022-09-21 14:29:01,553 INFO L642 ngineConcurrentUtils]: Filter Iteration 1092/4096 [2022-09-21 14:29:01,574 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:01,574 INFO L642 ngineConcurrentUtils]: Filter Iteration 1093/4096 [2022-09-21 14:29:01,616 INFO L642 ngineConcurrentUtils]: Filter Iteration 1094/4096 [2022-09-21 14:29:01,651 INFO L642 ngineConcurrentUtils]: Filter Iteration 1095/4096 [2022-09-21 14:29:01,692 INFO L642 ngineConcurrentUtils]: Filter Iteration 1096/4096 [2022-09-21 14:29:01,701 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:01,701 INFO L642 ngineConcurrentUtils]: Filter Iteration 1097/4096 [2022-09-21 14:29:01,742 INFO L642 ngineConcurrentUtils]: Filter Iteration 1098/4096 [2022-09-21 14:29:01,774 INFO L642 ngineConcurrentUtils]: Filter Iteration 1099/4096 [2022-09-21 14:29:01,816 INFO L642 ngineConcurrentUtils]: Filter Iteration 1100/4096 [2022-09-21 14:29:01,838 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:01,838 INFO L642 ngineConcurrentUtils]: Filter Iteration 1101/4096 [2022-09-21 14:29:01,871 INFO L642 ngineConcurrentUtils]: Filter Iteration 1102/4096 [2022-09-21 14:29:01,914 INFO L642 ngineConcurrentUtils]: Filter Iteration 1103/4096 [2022-09-21 14:29:01,955 INFO L642 ngineConcurrentUtils]: Filter Iteration 1104/4096 [2022-09-21 14:29:01,965 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:01,965 INFO L642 ngineConcurrentUtils]: Filter Iteration 1105/4096 [2022-09-21 14:29:02,000 INFO L642 ngineConcurrentUtils]: Filter Iteration 1106/4096 [2022-09-21 14:29:02,034 INFO L642 ngineConcurrentUtils]: Filter Iteration 1107/4096 [2022-09-21 14:29:02,068 INFO L642 ngineConcurrentUtils]: Filter Iteration 1108/4096 [2022-09-21 14:29:02,090 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:02,090 INFO L642 ngineConcurrentUtils]: Filter Iteration 1109/4096 [2022-09-21 14:29:02,120 INFO L642 ngineConcurrentUtils]: Filter Iteration 1110/4096 [2022-09-21 14:29:02,165 INFO L642 ngineConcurrentUtils]: Filter Iteration 1111/4096 [2022-09-21 14:29:02,201 INFO L642 ngineConcurrentUtils]: Filter Iteration 1112/4096 [2022-09-21 14:29:02,210 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:02,210 INFO L642 ngineConcurrentUtils]: Filter Iteration 1113/4096 [2022-09-21 14:29:02,244 INFO L642 ngineConcurrentUtils]: Filter Iteration 1114/4096 [2022-09-21 14:29:02,286 INFO L642 ngineConcurrentUtils]: Filter Iteration 1115/4096 [2022-09-21 14:29:02,318 INFO L642 ngineConcurrentUtils]: Filter Iteration 1116/4096 [2022-09-21 14:29:02,339 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:02,340 INFO L642 ngineConcurrentUtils]: Filter Iteration 1117/4096 [2022-09-21 14:29:02,382 INFO L642 ngineConcurrentUtils]: Filter Iteration 1118/4096 [2022-09-21 14:29:02,417 INFO L642 ngineConcurrentUtils]: Filter Iteration 1119/4096 [2022-09-21 14:29:02,451 INFO L642 ngineConcurrentUtils]: Filter Iteration 1120/4096 [2022-09-21 14:29:02,473 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:02,473 INFO L642 ngineConcurrentUtils]: Filter Iteration 1121/4096 [2022-09-21 14:29:02,507 INFO L642 ngineConcurrentUtils]: Filter Iteration 1122/4096 [2022-09-21 14:29:02,552 INFO L642 ngineConcurrentUtils]: Filter Iteration 1123/4096 [2022-09-21 14:29:02,594 INFO L642 ngineConcurrentUtils]: Filter Iteration 1124/4096 [2022-09-21 14:29:02,604 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:02,604 INFO L642 ngineConcurrentUtils]: Filter Iteration 1125/4096 [2022-09-21 14:29:02,639 INFO L642 ngineConcurrentUtils]: Filter Iteration 1126/4096 [2022-09-21 14:29:02,685 INFO L642 ngineConcurrentUtils]: Filter Iteration 1127/4096 [2022-09-21 14:29:02,720 INFO L642 ngineConcurrentUtils]: Filter Iteration 1128/4096 [2022-09-21 14:29:02,730 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:02,731 INFO L642 ngineConcurrentUtils]: Filter Iteration 1129/4096 [2022-09-21 14:29:02,773 INFO L642 ngineConcurrentUtils]: Filter Iteration 1130/4096 [2022-09-21 14:29:02,809 INFO L642 ngineConcurrentUtils]: Filter Iteration 1131/4096 [2022-09-21 14:29:02,844 INFO L642 ngineConcurrentUtils]: Filter Iteration 1132/4096 [2022-09-21 14:29:02,864 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:02,864 INFO L642 ngineConcurrentUtils]: Filter Iteration 1133/4096 [2022-09-21 14:29:02,896 INFO L642 ngineConcurrentUtils]: Filter Iteration 1134/4096 [2022-09-21 14:29:02,932 INFO L642 ngineConcurrentUtils]: Filter Iteration 1135/4096 [2022-09-21 14:29:02,975 INFO L642 ngineConcurrentUtils]: Filter Iteration 1136/4096 [2022-09-21 14:29:02,998 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:02,998 INFO L642 ngineConcurrentUtils]: Filter Iteration 1137/4096 [2022-09-21 14:29:03,031 INFO L642 ngineConcurrentUtils]: Filter Iteration 1138/4096 [2022-09-21 14:29:03,077 INFO L642 ngineConcurrentUtils]: Filter Iteration 1139/4096 [2022-09-21 14:29:03,110 INFO L642 ngineConcurrentUtils]: Filter Iteration 1140/4096 [2022-09-21 14:29:03,121 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:03,121 INFO L642 ngineConcurrentUtils]: Filter Iteration 1141/4096 [2022-09-21 14:29:03,163 INFO L642 ngineConcurrentUtils]: Filter Iteration 1142/4096 [2022-09-21 14:29:03,207 INFO L642 ngineConcurrentUtils]: Filter Iteration 1143/4096 [2022-09-21 14:29:03,241 INFO L642 ngineConcurrentUtils]: Filter Iteration 1144/4096 [2022-09-21 14:29:03,250 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:03,250 INFO L642 ngineConcurrentUtils]: Filter Iteration 1145/4096 [2022-09-21 14:29:03,284 INFO L642 ngineConcurrentUtils]: Filter Iteration 1146/4096 [2022-09-21 14:29:03,326 INFO L642 ngineConcurrentUtils]: Filter Iteration 1147/4096 [2022-09-21 14:29:03,367 INFO L642 ngineConcurrentUtils]: Filter Iteration 1148/4096 [2022-09-21 14:29:03,376 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:03,376 INFO L642 ngineConcurrentUtils]: Filter Iteration 1149/4096 [2022-09-21 14:29:03,417 INFO L642 ngineConcurrentUtils]: Filter Iteration 1150/4096 [2022-09-21 14:29:03,450 INFO L642 ngineConcurrentUtils]: Filter Iteration 1151/4096 [2022-09-21 14:29:03,492 INFO L642 ngineConcurrentUtils]: Filter Iteration 1152/4096 [2022-09-21 14:29:03,503 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:03,503 INFO L642 ngineConcurrentUtils]: Filter Iteration 1153/4096 [2022-09-21 14:29:03,541 INFO L642 ngineConcurrentUtils]: Filter Iteration 1154/4096 [2022-09-21 14:29:03,573 INFO L642 ngineConcurrentUtils]: Filter Iteration 1155/4096 [2022-09-21 14:29:03,605 INFO L642 ngineConcurrentUtils]: Filter Iteration 1156/4096 [2022-09-21 14:29:03,614 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:03,614 INFO L642 ngineConcurrentUtils]: Filter Iteration 1157/4096 [2022-09-21 14:29:03,644 INFO L642 ngineConcurrentUtils]: Filter Iteration 1158/4096 [2022-09-21 14:29:03,675 INFO L642 ngineConcurrentUtils]: Filter Iteration 1159/4096 [2022-09-21 14:29:03,717 INFO L642 ngineConcurrentUtils]: Filter Iteration 1160/4096 [2022-09-21 14:29:03,737 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:03,738 INFO L642 ngineConcurrentUtils]: Filter Iteration 1161/4096 [2022-09-21 14:29:03,776 INFO L642 ngineConcurrentUtils]: Filter Iteration 1162/4096 [2022-09-21 14:29:03,808 INFO L642 ngineConcurrentUtils]: Filter Iteration 1163/4096 [2022-09-21 14:29:03,840 INFO L642 ngineConcurrentUtils]: Filter Iteration 1164/4096 [2022-09-21 14:29:03,859 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:03,859 INFO L642 ngineConcurrentUtils]: Filter Iteration 1165/4096 [2022-09-21 14:29:03,898 INFO L642 ngineConcurrentUtils]: Filter Iteration 1166/4096 [2022-09-21 14:29:03,931 INFO L642 ngineConcurrentUtils]: Filter Iteration 1167/4096 [2022-09-21 14:29:03,966 INFO L642 ngineConcurrentUtils]: Filter Iteration 1168/4096 [2022-09-21 14:29:03,986 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:03,986 INFO L642 ngineConcurrentUtils]: Filter Iteration 1169/4096 [2022-09-21 14:29:04,020 INFO L642 ngineConcurrentUtils]: Filter Iteration 1170/4096 [2022-09-21 14:29:04,062 INFO L642 ngineConcurrentUtils]: Filter Iteration 1171/4096 [2022-09-21 14:29:04,108 INFO L642 ngineConcurrentUtils]: Filter Iteration 1172/4096 [2022-09-21 14:29:04,129 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:04,129 INFO L642 ngineConcurrentUtils]: Filter Iteration 1173/4096 [2022-09-21 14:29:04,170 INFO L642 ngineConcurrentUtils]: Filter Iteration 1174/4096 [2022-09-21 14:29:04,212 INFO L642 ngineConcurrentUtils]: Filter Iteration 1175/4096 [2022-09-21 14:29:04,244 INFO L642 ngineConcurrentUtils]: Filter Iteration 1176/4096 [2022-09-21 14:29:04,264 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:04,264 INFO L642 ngineConcurrentUtils]: Filter Iteration 1177/4096 [2022-09-21 14:29:04,303 INFO L642 ngineConcurrentUtils]: Filter Iteration 1178/4096 [2022-09-21 14:29:04,343 INFO L642 ngineConcurrentUtils]: Filter Iteration 1179/4096 [2022-09-21 14:29:04,385 INFO L642 ngineConcurrentUtils]: Filter Iteration 1180/4096 [2022-09-21 14:29:04,404 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:04,404 INFO L642 ngineConcurrentUtils]: Filter Iteration 1181/4096 [2022-09-21 14:29:04,435 INFO L642 ngineConcurrentUtils]: Filter Iteration 1182/4096 [2022-09-21 14:29:04,466 INFO L642 ngineConcurrentUtils]: Filter Iteration 1183/4096 [2022-09-21 14:29:04,509 INFO L642 ngineConcurrentUtils]: Filter Iteration 1184/4096 [2022-09-21 14:29:04,532 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:04,532 INFO L642 ngineConcurrentUtils]: Filter Iteration 1185/4096 [2022-09-21 14:29:05,158 INFO L642 ngineConcurrentUtils]: Filter Iteration 1186/4096 [2022-09-21 14:29:05,201 INFO L642 ngineConcurrentUtils]: Filter Iteration 1187/4096 [2022-09-21 14:29:05,241 INFO L642 ngineConcurrentUtils]: Filter Iteration 1188/4096 [2022-09-21 14:29:05,262 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:05,262 INFO L642 ngineConcurrentUtils]: Filter Iteration 1189/4096 [2022-09-21 14:29:05,303 INFO L642 ngineConcurrentUtils]: Filter Iteration 1190/4096 [2022-09-21 14:29:05,346 INFO L642 ngineConcurrentUtils]: Filter Iteration 1191/4096 [2022-09-21 14:29:05,376 INFO L642 ngineConcurrentUtils]: Filter Iteration 1192/4096 [2022-09-21 14:29:05,396 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:05,396 INFO L642 ngineConcurrentUtils]: Filter Iteration 1193/4096 [2022-09-21 14:29:05,427 INFO L642 ngineConcurrentUtils]: Filter Iteration 1194/4096 [2022-09-21 14:29:05,470 INFO L642 ngineConcurrentUtils]: Filter Iteration 1195/4096 [2022-09-21 14:29:05,511 INFO L642 ngineConcurrentUtils]: Filter Iteration 1196/4096 [2022-09-21 14:29:05,531 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:05,531 INFO L642 ngineConcurrentUtils]: Filter Iteration 1197/4096 [2022-09-21 14:29:05,564 INFO L642 ngineConcurrentUtils]: Filter Iteration 1198/4096 [2022-09-21 14:29:05,598 INFO L642 ngineConcurrentUtils]: Filter Iteration 1199/4096 [2022-09-21 14:29:05,630 INFO L642 ngineConcurrentUtils]: Filter Iteration 1200/4096 [2022-09-21 14:29:05,640 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:05,640 INFO L642 ngineConcurrentUtils]: Filter Iteration 1201/4096 [2022-09-21 14:29:05,683 INFO L642 ngineConcurrentUtils]: Filter Iteration 1202/4096 [2022-09-21 14:29:05,723 INFO L642 ngineConcurrentUtils]: Filter Iteration 1203/4096 [2022-09-21 14:29:05,758 INFO L642 ngineConcurrentUtils]: Filter Iteration 1204/4096 [2022-09-21 14:29:05,767 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:05,768 INFO L642 ngineConcurrentUtils]: Filter Iteration 1205/4096 [2022-09-21 14:29:05,800 INFO L642 ngineConcurrentUtils]: Filter Iteration 1206/4096 [2022-09-21 14:29:05,835 INFO L642 ngineConcurrentUtils]: Filter Iteration 1207/4096 [2022-09-21 14:29:05,880 INFO L642 ngineConcurrentUtils]: Filter Iteration 1208/4096 [2022-09-21 14:29:05,891 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:05,891 INFO L642 ngineConcurrentUtils]: Filter Iteration 1209/4096 [2022-09-21 14:29:05,926 INFO L642 ngineConcurrentUtils]: Filter Iteration 1210/4096 [2022-09-21 14:29:05,960 INFO L642 ngineConcurrentUtils]: Filter Iteration 1211/4096 [2022-09-21 14:29:06,005 INFO L642 ngineConcurrentUtils]: Filter Iteration 1212/4096 [2022-09-21 14:29:06,026 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:06,026 INFO L642 ngineConcurrentUtils]: Filter Iteration 1213/4096 [2022-09-21 14:29:06,060 INFO L642 ngineConcurrentUtils]: Filter Iteration 1214/4096 [2022-09-21 14:29:06,095 INFO L642 ngineConcurrentUtils]: Filter Iteration 1215/4096 [2022-09-21 14:29:06,137 INFO L642 ngineConcurrentUtils]: Filter Iteration 1216/4096 [2022-09-21 14:29:06,148 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:06,149 INFO L642 ngineConcurrentUtils]: Filter Iteration 1217/4096 [2022-09-21 14:29:06,180 INFO L642 ngineConcurrentUtils]: Filter Iteration 1218/4096 [2022-09-21 14:29:06,212 INFO L642 ngineConcurrentUtils]: Filter Iteration 1219/4096 [2022-09-21 14:29:06,256 INFO L642 ngineConcurrentUtils]: Filter Iteration 1220/4096 [2022-09-21 14:29:06,277 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:06,277 INFO L642 ngineConcurrentUtils]: Filter Iteration 1221/4096 [2022-09-21 14:29:06,321 INFO L642 ngineConcurrentUtils]: Filter Iteration 1222/4096 [2022-09-21 14:29:06,364 INFO L642 ngineConcurrentUtils]: Filter Iteration 1223/4096 [2022-09-21 14:29:06,408 INFO L642 ngineConcurrentUtils]: Filter Iteration 1224/4096 [2022-09-21 14:29:06,417 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:06,417 INFO L642 ngineConcurrentUtils]: Filter Iteration 1225/4096 [2022-09-21 14:29:06,450 INFO L642 ngineConcurrentUtils]: Filter Iteration 1226/4096 [2022-09-21 14:29:06,486 INFO L642 ngineConcurrentUtils]: Filter Iteration 1227/4096 [2022-09-21 14:29:06,522 INFO L642 ngineConcurrentUtils]: Filter Iteration 1228/4096 [2022-09-21 14:29:06,541 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:06,541 INFO L642 ngineConcurrentUtils]: Filter Iteration 1229/4096 [2022-09-21 14:29:06,574 INFO L642 ngineConcurrentUtils]: Filter Iteration 1230/4096 [2022-09-21 14:29:06,620 INFO L642 ngineConcurrentUtils]: Filter Iteration 1231/4096 [2022-09-21 14:29:06,654 INFO L642 ngineConcurrentUtils]: Filter Iteration 1232/4096 [2022-09-21 14:29:06,663 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:06,664 INFO L642 ngineConcurrentUtils]: Filter Iteration 1233/4096 [2022-09-21 14:29:06,698 INFO L642 ngineConcurrentUtils]: Filter Iteration 1234/4096 [2022-09-21 14:29:06,743 INFO L642 ngineConcurrentUtils]: Filter Iteration 1235/4096 [2022-09-21 14:29:06,787 INFO L642 ngineConcurrentUtils]: Filter Iteration 1236/4096 [2022-09-21 14:29:06,798 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:06,798 INFO L642 ngineConcurrentUtils]: Filter Iteration 1237/4096 [2022-09-21 14:29:06,833 INFO L642 ngineConcurrentUtils]: Filter Iteration 1238/4096 [2022-09-21 14:29:06,868 INFO L642 ngineConcurrentUtils]: Filter Iteration 1239/4096 [2022-09-21 14:29:06,902 INFO L642 ngineConcurrentUtils]: Filter Iteration 1240/4096 [2022-09-21 14:29:06,923 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:06,923 INFO L642 ngineConcurrentUtils]: Filter Iteration 1241/4096 [2022-09-21 14:29:06,966 INFO L642 ngineConcurrentUtils]: Filter Iteration 1242/4096 [2022-09-21 14:29:07,004 INFO L642 ngineConcurrentUtils]: Filter Iteration 1243/4096 [2022-09-21 14:29:07,048 INFO L642 ngineConcurrentUtils]: Filter Iteration 1244/4096 [2022-09-21 14:29:07,069 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:07,070 INFO L642 ngineConcurrentUtils]: Filter Iteration 1245/4096 [2022-09-21 14:29:07,103 INFO L642 ngineConcurrentUtils]: Filter Iteration 1246/4096 [2022-09-21 14:29:07,148 INFO L642 ngineConcurrentUtils]: Filter Iteration 1247/4096 [2022-09-21 14:29:07,193 INFO L642 ngineConcurrentUtils]: Filter Iteration 1248/4096 [2022-09-21 14:29:07,204 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:07,204 INFO L642 ngineConcurrentUtils]: Filter Iteration 1249/4096 [2022-09-21 14:29:07,235 INFO L642 ngineConcurrentUtils]: Filter Iteration 1250/4096 [2022-09-21 14:29:07,268 INFO L642 ngineConcurrentUtils]: Filter Iteration 1251/4096 [2022-09-21 14:29:07,309 INFO L642 ngineConcurrentUtils]: Filter Iteration 1252/4096 [2022-09-21 14:29:07,318 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:07,319 INFO L642 ngineConcurrentUtils]: Filter Iteration 1253/4096 [2022-09-21 14:29:07,361 INFO L642 ngineConcurrentUtils]: Filter Iteration 1254/4096 [2022-09-21 14:29:07,402 INFO L642 ngineConcurrentUtils]: Filter Iteration 1255/4096 [2022-09-21 14:29:07,444 INFO L642 ngineConcurrentUtils]: Filter Iteration 1256/4096 [2022-09-21 14:29:07,464 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:07,465 INFO L642 ngineConcurrentUtils]: Filter Iteration 1257/4096 [2022-09-21 14:29:07,509 INFO L642 ngineConcurrentUtils]: Filter Iteration 1258/4096 [2022-09-21 14:29:07,542 INFO L642 ngineConcurrentUtils]: Filter Iteration 1259/4096 [2022-09-21 14:29:07,585 INFO L642 ngineConcurrentUtils]: Filter Iteration 1260/4096 [2022-09-21 14:29:07,595 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:07,595 INFO L642 ngineConcurrentUtils]: Filter Iteration 1261/4096 [2022-09-21 14:29:07,641 INFO L642 ngineConcurrentUtils]: Filter Iteration 1262/4096 [2022-09-21 14:29:07,685 INFO L642 ngineConcurrentUtils]: Filter Iteration 1263/4096 [2022-09-21 14:29:07,719 INFO L642 ngineConcurrentUtils]: Filter Iteration 1264/4096 [2022-09-21 14:29:07,738 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:07,739 INFO L642 ngineConcurrentUtils]: Filter Iteration 1265/4096 [2022-09-21 14:29:07,772 INFO L642 ngineConcurrentUtils]: Filter Iteration 1266/4096 [2022-09-21 14:29:07,814 INFO L642 ngineConcurrentUtils]: Filter Iteration 1267/4096 [2022-09-21 14:29:07,844 INFO L642 ngineConcurrentUtils]: Filter Iteration 1268/4096 [2022-09-21 14:29:07,864 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:07,864 INFO L642 ngineConcurrentUtils]: Filter Iteration 1269/4096 [2022-09-21 14:29:07,897 INFO L642 ngineConcurrentUtils]: Filter Iteration 1270/4096 [2022-09-21 14:29:07,928 INFO L642 ngineConcurrentUtils]: Filter Iteration 1271/4096 [2022-09-21 14:29:07,968 INFO L642 ngineConcurrentUtils]: Filter Iteration 1272/4096 [2022-09-21 14:29:07,987 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:07,997 INFO L642 ngineConcurrentUtils]: Filter Iteration 1273/4096 [2022-09-21 14:29:08,038 INFO L642 ngineConcurrentUtils]: Filter Iteration 1274/4096 [2022-09-21 14:29:08,077 INFO L642 ngineConcurrentUtils]: Filter Iteration 1275/4096 [2022-09-21 14:29:08,110 INFO L642 ngineConcurrentUtils]: Filter Iteration 1276/4096 [2022-09-21 14:29:08,131 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:08,131 INFO L642 ngineConcurrentUtils]: Filter Iteration 1277/4096 [2022-09-21 14:29:08,162 INFO L642 ngineConcurrentUtils]: Filter Iteration 1278/4096 [2022-09-21 14:29:08,191 INFO L642 ngineConcurrentUtils]: Filter Iteration 1279/4096 [2022-09-21 14:29:08,230 INFO L642 ngineConcurrentUtils]: Filter Iteration 1280/4096 [2022-09-21 14:29:08,240 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:08,241 INFO L642 ngineConcurrentUtils]: Filter Iteration 1281/4096 [2022-09-21 14:29:08,280 INFO L642 ngineConcurrentUtils]: Filter Iteration 1282/4096 [2022-09-21 14:29:08,311 INFO L642 ngineConcurrentUtils]: Filter Iteration 1283/4096 [2022-09-21 14:29:08,342 INFO L642 ngineConcurrentUtils]: Filter Iteration 1284/4096 [2022-09-21 14:29:08,361 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:08,362 INFO L642 ngineConcurrentUtils]: Filter Iteration 1285/4096 [2022-09-21 14:29:08,391 INFO L642 ngineConcurrentUtils]: Filter Iteration 1286/4096 [2022-09-21 14:29:08,431 INFO L642 ngineConcurrentUtils]: Filter Iteration 1287/4096 [2022-09-21 14:29:08,469 INFO L642 ngineConcurrentUtils]: Filter Iteration 1288/4096 [2022-09-21 14:29:08,487 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:08,488 INFO L642 ngineConcurrentUtils]: Filter Iteration 1289/4096 [2022-09-21 14:29:08,518 INFO L642 ngineConcurrentUtils]: Filter Iteration 1290/4096 [2022-09-21 14:29:08,560 INFO L642 ngineConcurrentUtils]: Filter Iteration 1291/4096 [2022-09-21 14:29:08,598 INFO L642 ngineConcurrentUtils]: Filter Iteration 1292/4096 [2022-09-21 14:29:08,617 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:08,617 INFO L642 ngineConcurrentUtils]: Filter Iteration 1293/4096 [2022-09-21 14:29:08,656 INFO L642 ngineConcurrentUtils]: Filter Iteration 1294/4096 [2022-09-21 14:29:08,696 INFO L642 ngineConcurrentUtils]: Filter Iteration 1295/4096 [2022-09-21 14:29:08,728 INFO L642 ngineConcurrentUtils]: Filter Iteration 1296/4096 [2022-09-21 14:29:08,748 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:08,748 INFO L642 ngineConcurrentUtils]: Filter Iteration 1297/4096 [2022-09-21 14:29:08,787 INFO L642 ngineConcurrentUtils]: Filter Iteration 1298/4096 [2022-09-21 14:29:08,827 INFO L642 ngineConcurrentUtils]: Filter Iteration 1299/4096 [2022-09-21 14:29:08,857 INFO L642 ngineConcurrentUtils]: Filter Iteration 1300/4096 [2022-09-21 14:29:08,868 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:08,868 INFO L642 ngineConcurrentUtils]: Filter Iteration 1301/4096 [2022-09-21 14:29:08,908 INFO L642 ngineConcurrentUtils]: Filter Iteration 1302/4096 [2022-09-21 14:29:08,941 INFO L642 ngineConcurrentUtils]: Filter Iteration 1303/4096 [2022-09-21 14:29:08,979 INFO L642 ngineConcurrentUtils]: Filter Iteration 1304/4096 [2022-09-21 14:29:08,988 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:08,988 INFO L642 ngineConcurrentUtils]: Filter Iteration 1305/4096 [2022-09-21 14:29:09,028 INFO L642 ngineConcurrentUtils]: Filter Iteration 1306/4096 [2022-09-21 14:29:09,060 INFO L642 ngineConcurrentUtils]: Filter Iteration 1307/4096 [2022-09-21 14:29:09,099 INFO L642 ngineConcurrentUtils]: Filter Iteration 1308/4096 [2022-09-21 14:29:09,118 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:09,118 INFO L642 ngineConcurrentUtils]: Filter Iteration 1309/4096 [2022-09-21 14:29:09,158 INFO L642 ngineConcurrentUtils]: Filter Iteration 1310/4096 [2022-09-21 14:29:09,197 INFO L642 ngineConcurrentUtils]: Filter Iteration 1311/4096 [2022-09-21 14:29:09,229 INFO L642 ngineConcurrentUtils]: Filter Iteration 1312/4096 [2022-09-21 14:29:09,248 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:09,248 INFO L642 ngineConcurrentUtils]: Filter Iteration 1313/4096 [2022-09-21 14:29:09,277 INFO L642 ngineConcurrentUtils]: Filter Iteration 1314/4096 [2022-09-21 14:29:09,318 INFO L642 ngineConcurrentUtils]: Filter Iteration 1315/4096 [2022-09-21 14:29:09,348 INFO L642 ngineConcurrentUtils]: Filter Iteration 1316/4096 [2022-09-21 14:29:09,368 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:09,368 INFO L642 ngineConcurrentUtils]: Filter Iteration 1317/4096 [2022-09-21 14:29:09,405 INFO L642 ngineConcurrentUtils]: Filter Iteration 1318/4096 [2022-09-21 14:29:09,444 INFO L642 ngineConcurrentUtils]: Filter Iteration 1319/4096 [2022-09-21 14:29:09,476 INFO L642 ngineConcurrentUtils]: Filter Iteration 1320/4096 [2022-09-21 14:29:09,486 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:09,486 INFO L642 ngineConcurrentUtils]: Filter Iteration 1321/4096 [2022-09-21 14:29:09,524 INFO L642 ngineConcurrentUtils]: Filter Iteration 1322/4096 [2022-09-21 14:29:09,554 INFO L642 ngineConcurrentUtils]: Filter Iteration 1323/4096 [2022-09-21 14:29:09,592 INFO L642 ngineConcurrentUtils]: Filter Iteration 1324/4096 [2022-09-21 14:29:09,610 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:09,610 INFO L642 ngineConcurrentUtils]: Filter Iteration 1325/4096 [2022-09-21 14:29:09,641 INFO L642 ngineConcurrentUtils]: Filter Iteration 1326/4096 [2022-09-21 14:29:09,684 INFO L642 ngineConcurrentUtils]: Filter Iteration 1327/4096 [2022-09-21 14:29:09,725 INFO L642 ngineConcurrentUtils]: Filter Iteration 1328/4096 [2022-09-21 14:29:09,743 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:09,743 INFO L642 ngineConcurrentUtils]: Filter Iteration 1329/4096 [2022-09-21 14:29:09,773 INFO L642 ngineConcurrentUtils]: Filter Iteration 1330/4096 [2022-09-21 14:29:09,807 INFO L642 ngineConcurrentUtils]: Filter Iteration 1331/4096 [2022-09-21 14:29:09,845 INFO L642 ngineConcurrentUtils]: Filter Iteration 1332/4096 [2022-09-21 14:29:09,854 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:09,854 INFO L642 ngineConcurrentUtils]: Filter Iteration 1333/4096 [2022-09-21 14:29:09,884 INFO L642 ngineConcurrentUtils]: Filter Iteration 1334/4096 [2022-09-21 14:29:09,923 INFO L642 ngineConcurrentUtils]: Filter Iteration 1335/4096 [2022-09-21 14:29:09,954 INFO L642 ngineConcurrentUtils]: Filter Iteration 1336/4096 [2022-09-21 14:29:09,964 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:09,964 INFO L642 ngineConcurrentUtils]: Filter Iteration 1337/4096 [2022-09-21 14:29:09,996 INFO L642 ngineConcurrentUtils]: Filter Iteration 1338/4096 [2022-09-21 14:29:10,037 INFO L642 ngineConcurrentUtils]: Filter Iteration 1339/4096 [2022-09-21 14:29:10,077 INFO L642 ngineConcurrentUtils]: Filter Iteration 1340/4096 [2022-09-21 14:29:10,087 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:10,087 INFO L642 ngineConcurrentUtils]: Filter Iteration 1341/4096 [2022-09-21 14:29:10,119 INFO L642 ngineConcurrentUtils]: Filter Iteration 1342/4096 [2022-09-21 14:29:10,152 INFO L642 ngineConcurrentUtils]: Filter Iteration 1343/4096 [2022-09-21 14:29:10,193 INFO L642 ngineConcurrentUtils]: Filter Iteration 1344/4096 [2022-09-21 14:29:10,215 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:10,215 INFO L642 ngineConcurrentUtils]: Filter Iteration 1345/4096 [2022-09-21 14:29:10,248 INFO L642 ngineConcurrentUtils]: Filter Iteration 1346/4096 [2022-09-21 14:29:10,279 INFO L642 ngineConcurrentUtils]: Filter Iteration 1347/4096 [2022-09-21 14:29:10,309 INFO L642 ngineConcurrentUtils]: Filter Iteration 1348/4096 [2022-09-21 14:29:10,319 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:10,319 INFO L642 ngineConcurrentUtils]: Filter Iteration 1349/4096 [2022-09-21 14:29:10,350 INFO L642 ngineConcurrentUtils]: Filter Iteration 1350/4096 [2022-09-21 14:29:10,383 INFO L642 ngineConcurrentUtils]: Filter Iteration 1351/4096 [2022-09-21 14:29:10,421 INFO L642 ngineConcurrentUtils]: Filter Iteration 1352/4096 [2022-09-21 14:29:10,431 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:10,431 INFO L642 ngineConcurrentUtils]: Filter Iteration 1353/4096 [2022-09-21 14:29:10,472 INFO L642 ngineConcurrentUtils]: Filter Iteration 1354/4096 [2022-09-21 14:29:10,512 INFO L642 ngineConcurrentUtils]: Filter Iteration 1355/4096 [2022-09-21 14:29:10,551 INFO L642 ngineConcurrentUtils]: Filter Iteration 1356/4096 [2022-09-21 14:29:10,561 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:10,561 INFO L642 ngineConcurrentUtils]: Filter Iteration 1357/4096 [2022-09-21 14:29:10,601 INFO L642 ngineConcurrentUtils]: Filter Iteration 1358/4096 [2022-09-21 14:29:10,635 INFO L642 ngineConcurrentUtils]: Filter Iteration 1359/4096 [2022-09-21 14:29:10,675 INFO L642 ngineConcurrentUtils]: Filter Iteration 1360/4096 [2022-09-21 14:29:10,695 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:10,695 INFO L642 ngineConcurrentUtils]: Filter Iteration 1361/4096 [2022-09-21 14:29:10,727 INFO L642 ngineConcurrentUtils]: Filter Iteration 1362/4096 [2022-09-21 14:29:10,758 INFO L642 ngineConcurrentUtils]: Filter Iteration 1363/4096 [2022-09-21 14:29:10,801 INFO L642 ngineConcurrentUtils]: Filter Iteration 1364/4096 [2022-09-21 14:29:10,811 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:10,811 INFO L642 ngineConcurrentUtils]: Filter Iteration 1365/4096 [2022-09-21 14:29:10,844 INFO L642 ngineConcurrentUtils]: Filter Iteration 1366/4096 [2022-09-21 14:29:10,885 INFO L642 ngineConcurrentUtils]: Filter Iteration 1367/4096 [2022-09-21 14:29:10,930 INFO L642 ngineConcurrentUtils]: Filter Iteration 1368/4096 [2022-09-21 14:29:10,940 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:10,940 INFO L642 ngineConcurrentUtils]: Filter Iteration 1369/4096 [2022-09-21 14:29:10,981 INFO L642 ngineConcurrentUtils]: Filter Iteration 1370/4096 [2022-09-21 14:29:11,022 INFO L642 ngineConcurrentUtils]: Filter Iteration 1371/4096 [2022-09-21 14:29:11,062 INFO L642 ngineConcurrentUtils]: Filter Iteration 1372/4096 [2022-09-21 14:29:11,072 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:11,072 INFO L642 ngineConcurrentUtils]: Filter Iteration 1373/4096 [2022-09-21 14:29:11,121 INFO L642 ngineConcurrentUtils]: Filter Iteration 1374/4096 [2022-09-21 14:29:11,163 INFO L642 ngineConcurrentUtils]: Filter Iteration 1375/4096 [2022-09-21 14:29:11,206 INFO L642 ngineConcurrentUtils]: Filter Iteration 1376/4096 [2022-09-21 14:29:11,227 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:11,227 INFO L642 ngineConcurrentUtils]: Filter Iteration 1377/4096 [2022-09-21 14:29:11,257 INFO L642 ngineConcurrentUtils]: Filter Iteration 1378/4096 [2022-09-21 14:29:11,298 INFO L642 ngineConcurrentUtils]: Filter Iteration 1379/4096 [2022-09-21 14:29:11,329 INFO L642 ngineConcurrentUtils]: Filter Iteration 1380/4096 [2022-09-21 14:29:11,348 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:11,348 INFO L642 ngineConcurrentUtils]: Filter Iteration 1381/4096 [2022-09-21 14:29:11,380 INFO L642 ngineConcurrentUtils]: Filter Iteration 1382/4096 [2022-09-21 14:29:11,413 INFO L642 ngineConcurrentUtils]: Filter Iteration 1383/4096 [2022-09-21 14:29:11,442 INFO L642 ngineConcurrentUtils]: Filter Iteration 1384/4096 [2022-09-21 14:29:11,461 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:11,461 INFO L642 ngineConcurrentUtils]: Filter Iteration 1385/4096 [2022-09-21 14:29:11,492 INFO L642 ngineConcurrentUtils]: Filter Iteration 1386/4096 [2022-09-21 14:29:11,531 INFO L642 ngineConcurrentUtils]: Filter Iteration 1387/4096 [2022-09-21 14:29:11,561 INFO L642 ngineConcurrentUtils]: Filter Iteration 1388/4096 [2022-09-21 14:29:11,580 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:11,581 INFO L642 ngineConcurrentUtils]: Filter Iteration 1389/4096 [2022-09-21 14:29:11,612 INFO L642 ngineConcurrentUtils]: Filter Iteration 1390/4096 [2022-09-21 14:29:11,654 INFO L642 ngineConcurrentUtils]: Filter Iteration 1391/4096 [2022-09-21 14:29:11,696 INFO L642 ngineConcurrentUtils]: Filter Iteration 1392/4096 [2022-09-21 14:29:11,706 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:11,707 INFO L642 ngineConcurrentUtils]: Filter Iteration 1393/4096 [2022-09-21 14:29:11,738 INFO L642 ngineConcurrentUtils]: Filter Iteration 1394/4096 [2022-09-21 14:29:11,772 INFO L642 ngineConcurrentUtils]: Filter Iteration 1395/4096 [2022-09-21 14:29:11,813 INFO L642 ngineConcurrentUtils]: Filter Iteration 1396/4096 [2022-09-21 14:29:11,832 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:11,832 INFO L642 ngineConcurrentUtils]: Filter Iteration 1397/4096 [2022-09-21 14:29:11,873 INFO L642 ngineConcurrentUtils]: Filter Iteration 1398/4096 [2022-09-21 14:29:11,914 INFO L642 ngineConcurrentUtils]: Filter Iteration 1399/4096 [2022-09-21 14:29:11,953 INFO L642 ngineConcurrentUtils]: Filter Iteration 1400/4096 [2022-09-21 14:29:11,973 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:11,974 INFO L642 ngineConcurrentUtils]: Filter Iteration 1401/4096 [2022-09-21 14:29:12,016 INFO L642 ngineConcurrentUtils]: Filter Iteration 1402/4096 [2022-09-21 14:29:12,057 INFO L642 ngineConcurrentUtils]: Filter Iteration 1403/4096 [2022-09-21 14:29:12,089 INFO L642 ngineConcurrentUtils]: Filter Iteration 1404/4096 [2022-09-21 14:29:12,099 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:12,099 INFO L642 ngineConcurrentUtils]: Filter Iteration 1405/4096 [2022-09-21 14:29:12,131 INFO L642 ngineConcurrentUtils]: Filter Iteration 1406/4096 [2022-09-21 14:29:12,162 INFO L642 ngineConcurrentUtils]: Filter Iteration 1407/4096 [2022-09-21 14:29:12,203 INFO L642 ngineConcurrentUtils]: Filter Iteration 1408/4096 [2022-09-21 14:29:12,222 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:12,222 INFO L642 ngineConcurrentUtils]: Filter Iteration 1409/4096 [2022-09-21 14:29:12,261 INFO L642 ngineConcurrentUtils]: Filter Iteration 1410/4096 [2022-09-21 14:29:12,300 INFO L642 ngineConcurrentUtils]: Filter Iteration 1411/4096 [2022-09-21 14:29:12,332 INFO L642 ngineConcurrentUtils]: Filter Iteration 1412/4096 [2022-09-21 14:29:12,341 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:12,341 INFO L642 ngineConcurrentUtils]: Filter Iteration 1413/4096 [2022-09-21 14:29:12,372 INFO L642 ngineConcurrentUtils]: Filter Iteration 1414/4096 [2022-09-21 14:29:12,413 INFO L642 ngineConcurrentUtils]: Filter Iteration 1415/4096 [2022-09-21 14:29:12,446 INFO L642 ngineConcurrentUtils]: Filter Iteration 1416/4096 [2022-09-21 14:29:12,466 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:12,466 INFO L642 ngineConcurrentUtils]: Filter Iteration 1417/4096 [2022-09-21 14:29:12,494 INFO L642 ngineConcurrentUtils]: Filter Iteration 1418/4096 [2022-09-21 14:29:12,532 INFO L642 ngineConcurrentUtils]: Filter Iteration 1419/4096 [2022-09-21 14:29:12,571 INFO L642 ngineConcurrentUtils]: Filter Iteration 1420/4096 [2022-09-21 14:29:12,590 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:12,590 INFO L642 ngineConcurrentUtils]: Filter Iteration 1421/4096 [2022-09-21 14:29:12,630 INFO L642 ngineConcurrentUtils]: Filter Iteration 1422/4096 [2022-09-21 14:29:12,660 INFO L642 ngineConcurrentUtils]: Filter Iteration 1423/4096 [2022-09-21 14:29:12,700 INFO L642 ngineConcurrentUtils]: Filter Iteration 1424/4096 [2022-09-21 14:29:12,719 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:12,720 INFO L642 ngineConcurrentUtils]: Filter Iteration 1425/4096 [2022-09-21 14:29:12,750 INFO L642 ngineConcurrentUtils]: Filter Iteration 1426/4096 [2022-09-21 14:29:12,784 INFO L642 ngineConcurrentUtils]: Filter Iteration 1427/4096 [2022-09-21 14:29:12,823 INFO L642 ngineConcurrentUtils]: Filter Iteration 1428/4096 [2022-09-21 14:29:12,842 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:12,842 INFO L642 ngineConcurrentUtils]: Filter Iteration 1429/4096 [2022-09-21 14:29:12,872 INFO L642 ngineConcurrentUtils]: Filter Iteration 1430/4096 [2022-09-21 14:29:12,906 INFO L642 ngineConcurrentUtils]: Filter Iteration 1431/4096 [2022-09-21 14:29:13,287 INFO L642 ngineConcurrentUtils]: Filter Iteration 1432/4096 [2022-09-21 14:29:13,305 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:13,306 INFO L642 ngineConcurrentUtils]: Filter Iteration 1433/4096 [2022-09-21 14:29:13,346 INFO L642 ngineConcurrentUtils]: Filter Iteration 1434/4096 [2022-09-21 14:29:13,376 INFO L642 ngineConcurrentUtils]: Filter Iteration 1435/4096 [2022-09-21 14:29:13,416 INFO L642 ngineConcurrentUtils]: Filter Iteration 1436/4096 [2022-09-21 14:29:13,426 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:13,426 INFO L642 ngineConcurrentUtils]: Filter Iteration 1437/4096 [2022-09-21 14:29:13,458 INFO L642 ngineConcurrentUtils]: Filter Iteration 1438/4096 [2022-09-21 14:29:13,497 INFO L642 ngineConcurrentUtils]: Filter Iteration 1439/4096 [2022-09-21 14:29:13,535 INFO L642 ngineConcurrentUtils]: Filter Iteration 1440/4096 [2022-09-21 14:29:13,555 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:13,556 INFO L642 ngineConcurrentUtils]: Filter Iteration 1441/4096 [2022-09-21 14:29:13,586 INFO L642 ngineConcurrentUtils]: Filter Iteration 1442/4096 [2022-09-21 14:29:13,617 INFO L642 ngineConcurrentUtils]: Filter Iteration 1443/4096 [2022-09-21 14:29:13,656 INFO L642 ngineConcurrentUtils]: Filter Iteration 1444/4096 [2022-09-21 14:29:13,678 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:13,678 INFO L642 ngineConcurrentUtils]: Filter Iteration 1445/4096 [2022-09-21 14:29:13,718 INFO L642 ngineConcurrentUtils]: Filter Iteration 1446/4096 [2022-09-21 14:29:13,748 INFO L642 ngineConcurrentUtils]: Filter Iteration 1447/4096 [2022-09-21 14:29:13,788 INFO L642 ngineConcurrentUtils]: Filter Iteration 1448/4096 [2022-09-21 14:29:13,797 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:13,797 INFO L642 ngineConcurrentUtils]: Filter Iteration 1449/4096 [2022-09-21 14:29:13,836 INFO L642 ngineConcurrentUtils]: Filter Iteration 1450/4096 [2022-09-21 14:29:13,866 INFO L642 ngineConcurrentUtils]: Filter Iteration 1451/4096 [2022-09-21 14:29:13,896 INFO L642 ngineConcurrentUtils]: Filter Iteration 1452/4096 [2022-09-21 14:29:13,914 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:13,915 INFO L642 ngineConcurrentUtils]: Filter Iteration 1453/4096 [2022-09-21 14:29:13,953 INFO L642 ngineConcurrentUtils]: Filter Iteration 1454/4096 [2022-09-21 14:29:13,993 INFO L642 ngineConcurrentUtils]: Filter Iteration 1455/4096 [2022-09-21 14:29:14,035 INFO L642 ngineConcurrentUtils]: Filter Iteration 1456/4096 [2022-09-21 14:29:14,053 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:14,053 INFO L642 ngineConcurrentUtils]: Filter Iteration 1457/4096 [2022-09-21 14:29:14,082 INFO L642 ngineConcurrentUtils]: Filter Iteration 1458/4096 [2022-09-21 14:29:14,113 INFO L642 ngineConcurrentUtils]: Filter Iteration 1459/4096 [2022-09-21 14:29:14,144 INFO L642 ngineConcurrentUtils]: Filter Iteration 1460/4096 [2022-09-21 14:29:14,154 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:14,154 INFO L642 ngineConcurrentUtils]: Filter Iteration 1461/4096 [2022-09-21 14:29:14,192 INFO L642 ngineConcurrentUtils]: Filter Iteration 1462/4096 [2022-09-21 14:29:14,223 INFO L642 ngineConcurrentUtils]: Filter Iteration 1463/4096 [2022-09-21 14:29:14,254 INFO L642 ngineConcurrentUtils]: Filter Iteration 1464/4096 [2022-09-21 14:29:14,271 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:14,271 INFO L642 ngineConcurrentUtils]: Filter Iteration 1465/4096 [2022-09-21 14:29:14,301 INFO L642 ngineConcurrentUtils]: Filter Iteration 1466/4096 [2022-09-21 14:29:14,341 INFO L642 ngineConcurrentUtils]: Filter Iteration 1467/4096 [2022-09-21 14:29:14,371 INFO L642 ngineConcurrentUtils]: Filter Iteration 1468/4096 [2022-09-21 14:29:14,392 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:14,392 INFO L642 ngineConcurrentUtils]: Filter Iteration 1469/4096 [2022-09-21 14:29:14,425 INFO L642 ngineConcurrentUtils]: Filter Iteration 1470/4096 [2022-09-21 14:29:14,468 INFO L642 ngineConcurrentUtils]: Filter Iteration 1471/4096 [2022-09-21 14:29:14,501 INFO L642 ngineConcurrentUtils]: Filter Iteration 1472/4096 [2022-09-21 14:29:14,522 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:14,522 INFO L642 ngineConcurrentUtils]: Filter Iteration 1473/4096 [2022-09-21 14:29:14,561 INFO L642 ngineConcurrentUtils]: Filter Iteration 1474/4096 [2022-09-21 14:29:14,603 INFO L642 ngineConcurrentUtils]: Filter Iteration 1475/4096 [2022-09-21 14:29:14,637 INFO L642 ngineConcurrentUtils]: Filter Iteration 1476/4096 [2022-09-21 14:29:14,647 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:14,647 INFO L642 ngineConcurrentUtils]: Filter Iteration 1477/4096 [2022-09-21 14:29:14,678 INFO L642 ngineConcurrentUtils]: Filter Iteration 1478/4096 [2022-09-21 14:29:14,719 INFO L642 ngineConcurrentUtils]: Filter Iteration 1479/4096 [2022-09-21 14:29:14,760 INFO L642 ngineConcurrentUtils]: Filter Iteration 1480/4096 [2022-09-21 14:29:14,770 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:14,770 INFO L642 ngineConcurrentUtils]: Filter Iteration 1481/4096 [2022-09-21 14:29:14,802 INFO L642 ngineConcurrentUtils]: Filter Iteration 1482/4096 [2022-09-21 14:29:14,840 INFO L642 ngineConcurrentUtils]: Filter Iteration 1483/4096 [2022-09-21 14:29:14,872 INFO L642 ngineConcurrentUtils]: Filter Iteration 1484/4096 [2022-09-21 14:29:14,881 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:14,881 INFO L642 ngineConcurrentUtils]: Filter Iteration 1485/4096 [2022-09-21 14:29:14,921 INFO L642 ngineConcurrentUtils]: Filter Iteration 1486/4096 [2022-09-21 14:29:14,960 INFO L642 ngineConcurrentUtils]: Filter Iteration 1487/4096 [2022-09-21 14:29:14,992 INFO L642 ngineConcurrentUtils]: Filter Iteration 1488/4096 [2022-09-21 14:29:15,012 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:15,012 INFO L642 ngineConcurrentUtils]: Filter Iteration 1489/4096 [2022-09-21 14:29:15,042 INFO L642 ngineConcurrentUtils]: Filter Iteration 1490/4096 [2022-09-21 14:29:15,074 INFO L642 ngineConcurrentUtils]: Filter Iteration 1491/4096 [2022-09-21 14:29:15,113 INFO L642 ngineConcurrentUtils]: Filter Iteration 1492/4096 [2022-09-21 14:29:15,132 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:15,133 INFO L642 ngineConcurrentUtils]: Filter Iteration 1493/4096 [2022-09-21 14:29:15,165 INFO L642 ngineConcurrentUtils]: Filter Iteration 1494/4096 [2022-09-21 14:29:15,198 INFO L642 ngineConcurrentUtils]: Filter Iteration 1495/4096 [2022-09-21 14:29:15,229 INFO L642 ngineConcurrentUtils]: Filter Iteration 1496/4096 [2022-09-21 14:29:15,250 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:15,250 INFO L642 ngineConcurrentUtils]: Filter Iteration 1497/4096 [2022-09-21 14:29:15,282 INFO L642 ngineConcurrentUtils]: Filter Iteration 1498/4096 [2022-09-21 14:29:15,316 INFO L642 ngineConcurrentUtils]: Filter Iteration 1499/4096 [2022-09-21 14:29:15,346 INFO L642 ngineConcurrentUtils]: Filter Iteration 1500/4096 [2022-09-21 14:29:15,356 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:15,356 INFO L642 ngineConcurrentUtils]: Filter Iteration 1501/4096 [2022-09-21 14:29:15,397 INFO L642 ngineConcurrentUtils]: Filter Iteration 1502/4096 [2022-09-21 14:29:15,439 INFO L642 ngineConcurrentUtils]: Filter Iteration 1503/4096 [2022-09-21 14:29:15,471 INFO L642 ngineConcurrentUtils]: Filter Iteration 1504/4096 [2022-09-21 14:29:15,491 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:15,491 INFO L642 ngineConcurrentUtils]: Filter Iteration 1505/4096 [2022-09-21 14:29:15,521 INFO L642 ngineConcurrentUtils]: Filter Iteration 1506/4096 [2022-09-21 14:29:15,552 INFO L642 ngineConcurrentUtils]: Filter Iteration 1507/4096 [2022-09-21 14:29:15,590 INFO L642 ngineConcurrentUtils]: Filter Iteration 1508/4096 [2022-09-21 14:29:15,600 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:15,600 INFO L642 ngineConcurrentUtils]: Filter Iteration 1509/4096 [2022-09-21 14:29:15,642 INFO L642 ngineConcurrentUtils]: Filter Iteration 1510/4096 [2022-09-21 14:29:15,682 INFO L642 ngineConcurrentUtils]: Filter Iteration 1511/4096 [2022-09-21 14:29:15,721 INFO L642 ngineConcurrentUtils]: Filter Iteration 1512/4096 [2022-09-21 14:29:15,743 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:15,743 INFO L642 ngineConcurrentUtils]: Filter Iteration 1513/4096 [2022-09-21 14:29:15,783 INFO L642 ngineConcurrentUtils]: Filter Iteration 1514/4096 [2022-09-21 14:29:15,813 INFO L642 ngineConcurrentUtils]: Filter Iteration 1515/4096 [2022-09-21 14:29:15,858 INFO L642 ngineConcurrentUtils]: Filter Iteration 1516/4096 [2022-09-21 14:29:15,868 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:15,868 INFO L642 ngineConcurrentUtils]: Filter Iteration 1517/4096 [2022-09-21 14:29:15,910 INFO L642 ngineConcurrentUtils]: Filter Iteration 1518/4096 [2022-09-21 14:29:15,950 INFO L642 ngineConcurrentUtils]: Filter Iteration 1519/4096 [2022-09-21 14:29:15,991 INFO L642 ngineConcurrentUtils]: Filter Iteration 1520/4096 [2022-09-21 14:29:16,001 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:16,001 INFO L642 ngineConcurrentUtils]: Filter Iteration 1521/4096 [2022-09-21 14:29:16,040 INFO L642 ngineConcurrentUtils]: Filter Iteration 1522/4096 [2022-09-21 14:29:16,072 INFO L642 ngineConcurrentUtils]: Filter Iteration 1523/4096 [2022-09-21 14:29:16,110 INFO L642 ngineConcurrentUtils]: Filter Iteration 1524/4096 [2022-09-21 14:29:16,120 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:16,120 INFO L642 ngineConcurrentUtils]: Filter Iteration 1525/4096 [2022-09-21 14:29:16,151 INFO L642 ngineConcurrentUtils]: Filter Iteration 1526/4096 [2022-09-21 14:29:16,191 INFO L642 ngineConcurrentUtils]: Filter Iteration 1527/4096 [2022-09-21 14:29:16,237 INFO L642 ngineConcurrentUtils]: Filter Iteration 1528/4096 [2022-09-21 14:29:16,255 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:16,255 INFO L642 ngineConcurrentUtils]: Filter Iteration 1529/4096 [2022-09-21 14:29:16,293 INFO L642 ngineConcurrentUtils]: Filter Iteration 1530/4096 [2022-09-21 14:29:16,335 INFO L642 ngineConcurrentUtils]: Filter Iteration 1531/4096 [2022-09-21 14:29:16,379 INFO L642 ngineConcurrentUtils]: Filter Iteration 1532/4096 [2022-09-21 14:29:16,389 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:16,389 INFO L642 ngineConcurrentUtils]: Filter Iteration 1533/4096 [2022-09-21 14:29:16,429 INFO L642 ngineConcurrentUtils]: Filter Iteration 1534/4096 [2022-09-21 14:29:16,470 INFO L642 ngineConcurrentUtils]: Filter Iteration 1535/4096 [2022-09-21 14:29:16,514 INFO L642 ngineConcurrentUtils]: Filter Iteration 1536/4096 [2022-09-21 14:29:16,522 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:16,522 INFO L642 ngineConcurrentUtils]: Filter Iteration 1537/4096 [2022-09-21 14:29:16,562 INFO L642 ngineConcurrentUtils]: Filter Iteration 1538/4096 [2022-09-21 14:29:16,601 INFO L642 ngineConcurrentUtils]: Filter Iteration 1539/4096 [2022-09-21 14:29:16,632 INFO L642 ngineConcurrentUtils]: Filter Iteration 1540/4096 [2022-09-21 14:29:16,651 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:16,652 INFO L642 ngineConcurrentUtils]: Filter Iteration 1541/4096 [2022-09-21 14:29:16,693 INFO L642 ngineConcurrentUtils]: Filter Iteration 1542/4096 [2022-09-21 14:29:16,724 INFO L642 ngineConcurrentUtils]: Filter Iteration 1543/4096 [2022-09-21 14:29:16,759 INFO L642 ngineConcurrentUtils]: Filter Iteration 1544/4096 [2022-09-21 14:29:16,769 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:16,769 INFO L642 ngineConcurrentUtils]: Filter Iteration 1545/4096 [2022-09-21 14:29:16,809 INFO L642 ngineConcurrentUtils]: Filter Iteration 1546/4096 [2022-09-21 14:29:16,849 INFO L642 ngineConcurrentUtils]: Filter Iteration 1547/4096 [2022-09-21 14:29:16,887 INFO L642 ngineConcurrentUtils]: Filter Iteration 1548/4096 [2022-09-21 14:29:16,906 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:16,906 INFO L642 ngineConcurrentUtils]: Filter Iteration 1549/4096 [2022-09-21 14:29:16,937 INFO L642 ngineConcurrentUtils]: Filter Iteration 1550/4096 [2022-09-21 14:29:16,976 INFO L642 ngineConcurrentUtils]: Filter Iteration 1551/4096 [2022-09-21 14:29:17,008 INFO L642 ngineConcurrentUtils]: Filter Iteration 1552/4096 [2022-09-21 14:29:17,018 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:17,018 INFO L642 ngineConcurrentUtils]: Filter Iteration 1553/4096 [2022-09-21 14:29:17,047 INFO L642 ngineConcurrentUtils]: Filter Iteration 1554/4096 [2022-09-21 14:29:17,086 INFO L642 ngineConcurrentUtils]: Filter Iteration 1555/4096 [2022-09-21 14:29:17,127 INFO L642 ngineConcurrentUtils]: Filter Iteration 1556/4096 [2022-09-21 14:29:17,146 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:17,146 INFO L642 ngineConcurrentUtils]: Filter Iteration 1557/4096 [2022-09-21 14:29:17,176 INFO L642 ngineConcurrentUtils]: Filter Iteration 1558/4096 [2022-09-21 14:29:17,208 INFO L642 ngineConcurrentUtils]: Filter Iteration 1559/4096 [2022-09-21 14:29:17,237 INFO L642 ngineConcurrentUtils]: Filter Iteration 1560/4096 [2022-09-21 14:29:17,247 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:17,247 INFO L642 ngineConcurrentUtils]: Filter Iteration 1561/4096 [2022-09-21 14:29:17,278 INFO L642 ngineConcurrentUtils]: Filter Iteration 1562/4096 [2022-09-21 14:29:17,320 INFO L642 ngineConcurrentUtils]: Filter Iteration 1563/4096 [2022-09-21 14:29:17,360 INFO L642 ngineConcurrentUtils]: Filter Iteration 1564/4096 [2022-09-21 14:29:17,369 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:17,369 INFO L642 ngineConcurrentUtils]: Filter Iteration 1565/4096 [2022-09-21 14:29:17,399 INFO L642 ngineConcurrentUtils]: Filter Iteration 1566/4096 [2022-09-21 14:29:17,431 INFO L642 ngineConcurrentUtils]: Filter Iteration 1567/4096 [2022-09-21 14:29:17,470 INFO L642 ngineConcurrentUtils]: Filter Iteration 1568/4096 [2022-09-21 14:29:17,480 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:17,480 INFO L642 ngineConcurrentUtils]: Filter Iteration 1569/4096 [2022-09-21 14:29:17,510 INFO L642 ngineConcurrentUtils]: Filter Iteration 1570/4096 [2022-09-21 14:29:17,549 INFO L642 ngineConcurrentUtils]: Filter Iteration 1571/4096 [2022-09-21 14:29:17,589 INFO L642 ngineConcurrentUtils]: Filter Iteration 1572/4096 [2022-09-21 14:29:17,599 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:17,599 INFO L642 ngineConcurrentUtils]: Filter Iteration 1573/4096 [2022-09-21 14:29:17,637 INFO L642 ngineConcurrentUtils]: Filter Iteration 1574/4096 [2022-09-21 14:29:17,678 INFO L642 ngineConcurrentUtils]: Filter Iteration 1575/4096 [2022-09-21 14:29:17,718 INFO L642 ngineConcurrentUtils]: Filter Iteration 1576/4096 [2022-09-21 14:29:17,737 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:17,737 INFO L642 ngineConcurrentUtils]: Filter Iteration 1577/4096 [2022-09-21 14:29:17,767 INFO L642 ngineConcurrentUtils]: Filter Iteration 1578/4096 [2022-09-21 14:29:17,808 INFO L642 ngineConcurrentUtils]: Filter Iteration 1579/4096 [2022-09-21 14:29:17,840 INFO L642 ngineConcurrentUtils]: Filter Iteration 1580/4096 [2022-09-21 14:29:17,858 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:17,858 INFO L642 ngineConcurrentUtils]: Filter Iteration 1581/4096 [2022-09-21 14:29:17,890 INFO L642 ngineConcurrentUtils]: Filter Iteration 1582/4096 [2022-09-21 14:29:17,930 INFO L642 ngineConcurrentUtils]: Filter Iteration 1583/4096 [2022-09-21 14:29:17,969 INFO L642 ngineConcurrentUtils]: Filter Iteration 1584/4096 [2022-09-21 14:29:17,978 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:17,978 INFO L642 ngineConcurrentUtils]: Filter Iteration 1585/4096 [2022-09-21 14:29:18,008 INFO L642 ngineConcurrentUtils]: Filter Iteration 1586/4096 [2022-09-21 14:29:18,048 INFO L642 ngineConcurrentUtils]: Filter Iteration 1587/4096 [2022-09-21 14:29:18,089 INFO L642 ngineConcurrentUtils]: Filter Iteration 1588/4096 [2022-09-21 14:29:18,107 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:18,107 INFO L642 ngineConcurrentUtils]: Filter Iteration 1589/4096 [2022-09-21 14:29:18,146 INFO L642 ngineConcurrentUtils]: Filter Iteration 1590/4096 [2022-09-21 14:29:18,187 INFO L642 ngineConcurrentUtils]: Filter Iteration 1591/4096 [2022-09-21 14:29:18,228 INFO L642 ngineConcurrentUtils]: Filter Iteration 1592/4096 [2022-09-21 14:29:18,247 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:18,248 INFO L642 ngineConcurrentUtils]: Filter Iteration 1593/4096 [2022-09-21 14:29:18,279 INFO L642 ngineConcurrentUtils]: Filter Iteration 1594/4096 [2022-09-21 14:29:18,313 INFO L642 ngineConcurrentUtils]: Filter Iteration 1595/4096 [2022-09-21 14:29:18,343 INFO L642 ngineConcurrentUtils]: Filter Iteration 1596/4096 [2022-09-21 14:29:18,362 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:18,362 INFO L642 ngineConcurrentUtils]: Filter Iteration 1597/4096 [2022-09-21 14:29:18,402 INFO L642 ngineConcurrentUtils]: Filter Iteration 1598/4096 [2022-09-21 14:29:18,442 INFO L642 ngineConcurrentUtils]: Filter Iteration 1599/4096 [2022-09-21 14:29:18,482 INFO L642 ngineConcurrentUtils]: Filter Iteration 1600/4096 [2022-09-21 14:29:18,492 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:18,492 INFO L642 ngineConcurrentUtils]: Filter Iteration 1601/4096 [2022-09-21 14:29:18,531 INFO L642 ngineConcurrentUtils]: Filter Iteration 1602/4096 [2022-09-21 14:29:18,570 INFO L642 ngineConcurrentUtils]: Filter Iteration 1603/4096 [2022-09-21 14:29:18,602 INFO L642 ngineConcurrentUtils]: Filter Iteration 1604/4096 [2022-09-21 14:29:18,610 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:18,610 INFO L642 ngineConcurrentUtils]: Filter Iteration 1605/4096 [2022-09-21 14:29:18,650 INFO L642 ngineConcurrentUtils]: Filter Iteration 1606/4096 [2022-09-21 14:29:18,692 INFO L642 ngineConcurrentUtils]: Filter Iteration 1607/4096 [2022-09-21 14:29:18,733 INFO L642 ngineConcurrentUtils]: Filter Iteration 1608/4096 [2022-09-21 14:29:18,742 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:18,742 INFO L642 ngineConcurrentUtils]: Filter Iteration 1609/4096 [2022-09-21 14:29:18,782 INFO L642 ngineConcurrentUtils]: Filter Iteration 1610/4096 [2022-09-21 14:29:18,823 INFO L642 ngineConcurrentUtils]: Filter Iteration 1611/4096 [2022-09-21 14:29:18,854 INFO L642 ngineConcurrentUtils]: Filter Iteration 1612/4096 [2022-09-21 14:29:18,863 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:18,863 INFO L642 ngineConcurrentUtils]: Filter Iteration 1613/4096 [2022-09-21 14:29:18,894 INFO L642 ngineConcurrentUtils]: Filter Iteration 1614/4096 [2022-09-21 14:29:18,925 INFO L642 ngineConcurrentUtils]: Filter Iteration 1615/4096 [2022-09-21 14:29:18,964 INFO L642 ngineConcurrentUtils]: Filter Iteration 1616/4096 [2022-09-21 14:29:18,973 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:18,973 INFO L642 ngineConcurrentUtils]: Filter Iteration 1617/4096 [2022-09-21 14:29:19,005 INFO L642 ngineConcurrentUtils]: Filter Iteration 1618/4096 [2022-09-21 14:29:19,038 INFO L642 ngineConcurrentUtils]: Filter Iteration 1619/4096 [2022-09-21 14:29:19,081 INFO L642 ngineConcurrentUtils]: Filter Iteration 1620/4096 [2022-09-21 14:29:19,093 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:19,093 INFO L642 ngineConcurrentUtils]: Filter Iteration 1621/4096 [2022-09-21 14:29:19,132 INFO L642 ngineConcurrentUtils]: Filter Iteration 1622/4096 [2022-09-21 14:29:19,164 INFO L642 ngineConcurrentUtils]: Filter Iteration 1623/4096 [2022-09-21 14:29:19,206 INFO L642 ngineConcurrentUtils]: Filter Iteration 1624/4096 [2022-09-21 14:29:19,226 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:19,226 INFO L642 ngineConcurrentUtils]: Filter Iteration 1625/4096 [2022-09-21 14:29:19,259 INFO L642 ngineConcurrentUtils]: Filter Iteration 1626/4096 [2022-09-21 14:29:19,293 INFO L642 ngineConcurrentUtils]: Filter Iteration 1627/4096 [2022-09-21 14:29:19,326 INFO L642 ngineConcurrentUtils]: Filter Iteration 1628/4096 [2022-09-21 14:29:19,337 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:19,337 INFO L642 ngineConcurrentUtils]: Filter Iteration 1629/4096 [2022-09-21 14:29:19,376 INFO L642 ngineConcurrentUtils]: Filter Iteration 1630/4096 [2022-09-21 14:29:19,414 INFO L642 ngineConcurrentUtils]: Filter Iteration 1631/4096 [2022-09-21 14:29:19,454 INFO L642 ngineConcurrentUtils]: Filter Iteration 1632/4096 [2022-09-21 14:29:19,475 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:19,475 INFO L642 ngineConcurrentUtils]: Filter Iteration 1633/4096 [2022-09-21 14:29:19,505 INFO L642 ngineConcurrentUtils]: Filter Iteration 1634/4096 [2022-09-21 14:29:19,536 INFO L642 ngineConcurrentUtils]: Filter Iteration 1635/4096 [2022-09-21 14:29:19,566 INFO L642 ngineConcurrentUtils]: Filter Iteration 1636/4096 [2022-09-21 14:29:19,587 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:19,587 INFO L642 ngineConcurrentUtils]: Filter Iteration 1637/4096 [2022-09-21 14:29:19,618 INFO L642 ngineConcurrentUtils]: Filter Iteration 1638/4096 [2022-09-21 14:29:19,659 INFO L642 ngineConcurrentUtils]: Filter Iteration 1639/4096 [2022-09-21 14:29:19,698 INFO L642 ngineConcurrentUtils]: Filter Iteration 1640/4096 [2022-09-21 14:29:19,708 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:19,708 INFO L642 ngineConcurrentUtils]: Filter Iteration 1641/4096 [2022-09-21 14:29:19,740 INFO L642 ngineConcurrentUtils]: Filter Iteration 1642/4096 [2022-09-21 14:29:19,781 INFO L642 ngineConcurrentUtils]: Filter Iteration 1643/4096 [2022-09-21 14:29:19,819 INFO L642 ngineConcurrentUtils]: Filter Iteration 1644/4096 [2022-09-21 14:29:19,838 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:19,838 INFO L642 ngineConcurrentUtils]: Filter Iteration 1645/4096 [2022-09-21 14:29:19,870 INFO L642 ngineConcurrentUtils]: Filter Iteration 1646/4096 [2022-09-21 14:29:19,913 INFO L642 ngineConcurrentUtils]: Filter Iteration 1647/4096 [2022-09-21 14:29:19,945 INFO L642 ngineConcurrentUtils]: Filter Iteration 1648/4096 [2022-09-21 14:29:19,971 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:19,971 INFO L642 ngineConcurrentUtils]: Filter Iteration 1649/4096 [2022-09-21 14:29:20,013 INFO L642 ngineConcurrentUtils]: Filter Iteration 1650/4096 [2022-09-21 14:29:20,055 INFO L642 ngineConcurrentUtils]: Filter Iteration 1651/4096 [2022-09-21 14:29:20,097 INFO L642 ngineConcurrentUtils]: Filter Iteration 1652/4096 [2022-09-21 14:29:20,108 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:20,108 INFO L642 ngineConcurrentUtils]: Filter Iteration 1653/4096 [2022-09-21 14:29:20,140 INFO L642 ngineConcurrentUtils]: Filter Iteration 1654/4096 [2022-09-21 14:29:20,173 INFO L642 ngineConcurrentUtils]: Filter Iteration 1655/4096 [2022-09-21 14:29:20,206 INFO L642 ngineConcurrentUtils]: Filter Iteration 1656/4096 [2022-09-21 14:29:20,227 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:20,227 INFO L642 ngineConcurrentUtils]: Filter Iteration 1657/4096 [2022-09-21 14:29:20,270 INFO L642 ngineConcurrentUtils]: Filter Iteration 1658/4096 [2022-09-21 14:29:20,312 INFO L642 ngineConcurrentUtils]: Filter Iteration 1659/4096 [2022-09-21 14:29:20,345 INFO L642 ngineConcurrentUtils]: Filter Iteration 1660/4096 [2022-09-21 14:29:20,366 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:20,366 INFO L642 ngineConcurrentUtils]: Filter Iteration 1661/4096 [2022-09-21 14:29:20,406 INFO L642 ngineConcurrentUtils]: Filter Iteration 1662/4096 [2022-09-21 14:29:20,437 INFO L642 ngineConcurrentUtils]: Filter Iteration 1663/4096 [2022-09-21 14:29:20,478 INFO L642 ngineConcurrentUtils]: Filter Iteration 1664/4096 [2022-09-21 14:29:20,487 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:20,487 INFO L642 ngineConcurrentUtils]: Filter Iteration 1665/4096 [2022-09-21 14:29:20,517 INFO L642 ngineConcurrentUtils]: Filter Iteration 1666/4096 [2022-09-21 14:29:20,556 INFO L642 ngineConcurrentUtils]: Filter Iteration 1667/4096 [2022-09-21 14:29:20,587 INFO L642 ngineConcurrentUtils]: Filter Iteration 1668/4096 [2022-09-21 14:29:20,605 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:20,605 INFO L642 ngineConcurrentUtils]: Filter Iteration 1669/4096 [2022-09-21 14:29:20,636 INFO L642 ngineConcurrentUtils]: Filter Iteration 1670/4096 [2022-09-21 14:29:20,678 INFO L642 ngineConcurrentUtils]: Filter Iteration 1671/4096 [2022-09-21 14:29:20,718 INFO L642 ngineConcurrentUtils]: Filter Iteration 1672/4096 [2022-09-21 14:29:20,727 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:20,727 INFO L642 ngineConcurrentUtils]: Filter Iteration 1673/4096 [2022-09-21 14:29:20,766 INFO L642 ngineConcurrentUtils]: Filter Iteration 1674/4096 [2022-09-21 14:29:20,808 INFO L642 ngineConcurrentUtils]: Filter Iteration 1675/4096 [2022-09-21 14:29:20,840 INFO L642 ngineConcurrentUtils]: Filter Iteration 1676/4096 [2022-09-21 14:29:20,858 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:20,859 INFO L642 ngineConcurrentUtils]: Filter Iteration 1677/4096 [2022-09-21 14:29:20,899 INFO L642 ngineConcurrentUtils]: Filter Iteration 1678/4096 [2022-09-21 14:29:20,932 INFO L642 ngineConcurrentUtils]: Filter Iteration 1679/4096 [2022-09-21 14:29:20,965 INFO L642 ngineConcurrentUtils]: Filter Iteration 1680/4096 [2022-09-21 14:29:20,984 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:20,985 INFO L642 ngineConcurrentUtils]: Filter Iteration 1681/4096 [2022-09-21 14:29:21,017 INFO L642 ngineConcurrentUtils]: Filter Iteration 1682/4096 [2022-09-21 14:29:21,057 INFO L642 ngineConcurrentUtils]: Filter Iteration 1683/4096 [2022-09-21 14:29:21,098 INFO L642 ngineConcurrentUtils]: Filter Iteration 1684/4096 [2022-09-21 14:29:21,108 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:21,108 INFO L642 ngineConcurrentUtils]: Filter Iteration 1685/4096 [2022-09-21 14:29:21,148 INFO L642 ngineConcurrentUtils]: Filter Iteration 1686/4096 [2022-09-21 14:29:21,184 INFO L642 ngineConcurrentUtils]: Filter Iteration 1687/4096 Received shutdown request... [2022-09-21 14:29:21,218 WARN L340 MonitoredProcess]: [MP /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000 (1)] Timeout while monitored process is still running, waiting 1000 ms for graceful end [2022-09-21 14:29:21,219 WARN L340 MonitoredProcess]: [MP /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/z3 -smt2 -in SMTLIB2_COMPLIANT=true (2)] Timeout while monitored process is still running, waiting 1000 ms for graceful end [2022-09-21 14:29:21,226 INFO L642 ngineConcurrentUtils]: Filter Iteration 1688/4096 [2022-09-21 14:29:21,247 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:21,247 INFO L642 ngineConcurrentUtils]: Filter Iteration 1689/4096 [2022-09-21 14:29:21,289 INFO L642 ngineConcurrentUtils]: Filter Iteration 1690/4096 [2022-09-21 14:29:21,330 INFO L642 ngineConcurrentUtils]: Filter Iteration 1691/4096 [2022-09-21 14:29:21,372 INFO L642 ngineConcurrentUtils]: Filter Iteration 1692/4096 [2022-09-21 14:29:21,391 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:21,392 INFO L642 ngineConcurrentUtils]: Filter Iteration 1693/4096 [2022-09-21 14:29:21,433 INFO L642 ngineConcurrentUtils]: Filter Iteration 1694/4096 [2022-09-21 14:29:21,477 INFO L642 ngineConcurrentUtils]: Filter Iteration 1695/4096 [2022-09-21 14:29:21,509 INFO L642 ngineConcurrentUtils]: Filter Iteration 1696/4096 [2022-09-21 14:29:21,529 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:21,530 INFO L642 ngineConcurrentUtils]: Filter Iteration 1697/4096 [2022-09-21 14:29:21,571 INFO L642 ngineConcurrentUtils]: Filter Iteration 1698/4096 [2022-09-21 14:29:21,602 INFO L642 ngineConcurrentUtils]: Filter Iteration 1699/4096 [2022-09-21 14:29:21,635 INFO L642 ngineConcurrentUtils]: Filter Iteration 1700/4096 [2022-09-21 14:29:21,653 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:21,654 INFO L642 ngineConcurrentUtils]: Filter Iteration 1701/4096 [2022-09-21 14:29:21,692 INFO L642 ngineConcurrentUtils]: Filter Iteration 1702/4096 [2022-09-21 14:29:21,734 INFO L642 ngineConcurrentUtils]: Filter Iteration 1703/4096 [2022-09-21 14:29:21,766 INFO L642 ngineConcurrentUtils]: Filter Iteration 1704/4096 [2022-09-21 14:29:21,788 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:21,788 INFO L642 ngineConcurrentUtils]: Filter Iteration 1705/4096 [2022-09-21 14:29:21,828 INFO L642 ngineConcurrentUtils]: Filter Iteration 1706/4096 [2022-09-21 14:29:21,869 INFO L642 ngineConcurrentUtils]: Filter Iteration 1707/4096 [2022-09-21 14:29:21,901 INFO L642 ngineConcurrentUtils]: Filter Iteration 1708/4096 [2022-09-21 14:29:21,921 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:21,922 INFO L642 ngineConcurrentUtils]: Filter Iteration 1709/4096 [2022-09-21 14:29:21,965 INFO L642 ngineConcurrentUtils]: Filter Iteration 1710/4096 [2022-09-21 14:29:21,995 INFO L642 ngineConcurrentUtils]: Filter Iteration 1711/4096 [2022-09-21 14:29:22,027 INFO L642 ngineConcurrentUtils]: Filter Iteration 1712/4096 [2022-09-21 14:29:22,047 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:22,048 INFO L642 ngineConcurrentUtils]: Filter Iteration 1713/4096 [2022-09-21 14:29:22,089 INFO L642 ngineConcurrentUtils]: Filter Iteration 1714/4096 [2022-09-21 14:29:22,132 INFO L642 ngineConcurrentUtils]: Filter Iteration 1715/4096 [2022-09-21 14:29:22,164 INFO L642 ngineConcurrentUtils]: Filter Iteration 1716/4096 [2022-09-21 14:29:22,174 INFO L646 ngineConcurrentUtils]: contradiction [2022-09-21 14:29:22,174 INFO L642 ngineConcurrentUtils]: Filter Iteration 1717/4096 [2022-09-21 14:29:22,207 INFO L642 ngineConcurrentUtils]: Filter Iteration 1718/4096 [2022-09-21 14:29:22,238 INFO L540 MonitoredProcess]: [MP /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000 (1)] Forceful destruction successful, exit code 0 [2022-09-21 14:29:22,249 INFO L256 ToolchainWalker]: Toolchain cancelled while executing plugin de.uni_freiburg.informatik.ultimate.plugins.analysis.abstractinterpretationv2. Reason: Timeout or Toolchain cancelled by user [2022-09-21 14:29:22,251 INFO L158 Benchmark]: Toolchain (without parser) took 55785.76ms. Allocated memory was 223.3MB in the beginning and 287.3MB in the end (delta: 64.0MB). Free memory was 182.9MB in the beginning and 217.2MB in the end (delta: -34.3MB). Peak memory consumption was 118.5MB. Max. memory is 8.0GB. [2022-09-21 14:29:22,251 INFO L158 Benchmark]: Boogie PL CUP Parser took 0.11ms. Allocated memory is still 223.3MB. Free memory is still 184.3MB. There was no memory consumed. Max. memory is 8.0GB. [2022-09-21 14:29:22,252 INFO L158 Benchmark]: Boogie Procedure Inliner took 18.70ms. Allocated memory is still 223.3MB. Free memory was 182.8MB in the beginning and 181.3MB in the end (delta: 1.5MB). Peak memory consumption was 1.0MB. Max. memory is 8.0GB. [2022-09-21 14:29:22,252 INFO L158 Benchmark]: Boogie Preprocessor took 12.69ms. Allocated memory is still 223.3MB. Free memory was 181.3MB in the beginning and 180.3MB in the end (delta: 1.0MB). Peak memory consumption was 1.0MB. Max. memory is 8.0GB. [2022-09-21 14:29:22,252 INFO L158 Benchmark]: RCFGBuilder took 305.21ms. Allocated memory is still 223.3MB. Free memory was 180.2MB in the beginning and 193.9MB in the end (delta: -13.7MB). Peak memory consumption was 15.9MB. Max. memory is 8.0GB. [2022-09-21 14:29:22,253 INFO L158 Benchmark]: Abstract Interpretation took 55446.25ms. Allocated memory was 223.3MB in the beginning and 287.3MB in the end (delta: 64.0MB). Free memory was 193.9MB in the beginning and 217.2MB in the end (delta: -23.3MB). Peak memory consumption was 126.7MB. Max. memory is 8.0GB. [2022-09-21 14:29:22,255 INFO L339 ainManager$Toolchain]: ####################### End [Toolchain 1] ####################### --- Results --- * Results from de.uni_freiburg.informatik.ultimate.core: - StatisticsResult: Toolchain Benchmarks Benchmark results are: * Boogie PL CUP Parser took 0.11ms. Allocated memory is still 223.3MB. Free memory is still 184.3MB. There was no memory consumed. Max. memory is 8.0GB. * Boogie Procedure Inliner took 18.70ms. Allocated memory is still 223.3MB. Free memory was 182.8MB in the beginning and 181.3MB in the end (delta: 1.5MB). Peak memory consumption was 1.0MB. Max. memory is 8.0GB. * Boogie Preprocessor took 12.69ms. Allocated memory is still 223.3MB. Free memory was 181.3MB in the beginning and 180.3MB in the end (delta: 1.0MB). Peak memory consumption was 1.0MB. Max. memory is 8.0GB. * RCFGBuilder took 305.21ms. Allocated memory is still 223.3MB. Free memory was 180.2MB in the beginning and 193.9MB in the end (delta: -13.7MB). Peak memory consumption was 15.9MB. Max. memory is 8.0GB. * Abstract Interpretation took 55446.25ms. Allocated memory was 223.3MB in the beginning and 287.3MB in the end (delta: 64.0MB). Free memory was 193.9MB in the beginning and 217.2MB in the end (delta: -23.3MB). Peak memory consumption was 126.7MB. Max. memory is 8.0GB. * Results from de.uni_freiburg.informatik.ultimate.plugins.analysis.abstractinterpretationv2: - TimeoutResult: Timeout (de.uni_freiburg.informatik.ultimate.plugins.analysis.abstractinterpretationv2) Toolchain cancelled while executing Executor. RESULT: Ultimate could not prove your program: Timeout Completed graceful shutdown