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