java -Xmx8000000000 -Xss4m -jar ./plugins/org.eclipse.equinox.launcher_1.3.100.v20150511-1540.jar -data @noDefault -ultimatedata ./data -tc ../../../trunk/examples/toolchains/SifaC.xml -s ../../../trunk/examples/settings/default/automizer/svcomp-Reach-32bit-Automizer_Default.epf -i ../../../trunk/examples/svcomp/seq-mthreaded/pals_lcr-var-start-time.3.ufo.UNBOUNDED.pals.c -------------------------------------------------------------------------------- This is Ultimate 0.1.24-fab3c18 [2019-08-22 23:29:13,240 INFO L177 SettingsManager]: Resetting all preferences to default values... [2019-08-22 23:29:13,243 INFO L181 SettingsManager]: Resetting UltimateCore preferences to default values [2019-08-22 23:29:13,255 INFO L184 SettingsManager]: Ultimate Commandline Interface provides no preferences, ignoring... [2019-08-22 23:29:13,255 INFO L181 SettingsManager]: Resetting Boogie Preprocessor preferences to default values [2019-08-22 23:29:13,257 INFO L181 SettingsManager]: Resetting Boogie Procedure Inliner preferences to default values [2019-08-22 23:29:13,258 INFO L181 SettingsManager]: Resetting Abstract Interpretation preferences to default values [2019-08-22 23:29:13,260 INFO L181 SettingsManager]: Resetting LassoRanker preferences to default values [2019-08-22 23:29:13,261 INFO L181 SettingsManager]: Resetting Reaching Definitions preferences to default values [2019-08-22 23:29:13,262 INFO L181 SettingsManager]: Resetting SyntaxChecker preferences to default values [2019-08-22 23:29:13,263 INFO L181 SettingsManager]: Resetting Symbolic Interpretation preferences to default values [2019-08-22 23:29:13,264 INFO L184 SettingsManager]: Büchi Program Product provides no preferences, ignoring... [2019-08-22 23:29:13,265 INFO L181 SettingsManager]: Resetting LTL2Aut preferences to default values [2019-08-22 23:29:13,266 INFO L181 SettingsManager]: Resetting PEA to Boogie preferences to default values [2019-08-22 23:29:13,266 INFO L181 SettingsManager]: Resetting BlockEncodingV2 preferences to default values [2019-08-22 23:29:13,268 INFO L181 SettingsManager]: Resetting ChcToBoogie preferences to default values [2019-08-22 23:29:13,268 INFO L181 SettingsManager]: Resetting AutomataScriptInterpreter preferences to default values [2019-08-22 23:29:13,269 INFO L181 SettingsManager]: Resetting BuchiAutomizer preferences to default values [2019-08-22 23:29:13,271 INFO L181 SettingsManager]: Resetting CACSL2BoogieTranslator preferences to default values [2019-08-22 23:29:13,273 INFO L181 SettingsManager]: Resetting CodeCheck preferences to default values [2019-08-22 23:29:13,275 INFO L181 SettingsManager]: Resetting InvariantSynthesis preferences to default values [2019-08-22 23:29:13,276 INFO L181 SettingsManager]: Resetting RCFGBuilder preferences to default values [2019-08-22 23:29:13,277 INFO L181 SettingsManager]: Resetting Referee preferences to default values [2019-08-22 23:29:13,277 INFO L181 SettingsManager]: Resetting TraceAbstraction preferences to default values [2019-08-22 23:29:13,279 INFO L184 SettingsManager]: TraceAbstractionConcurrent provides no preferences, ignoring... [2019-08-22 23:29:13,280 INFO L184 SettingsManager]: TraceAbstractionWithAFAs provides no preferences, ignoring... [2019-08-22 23:29:13,280 INFO L181 SettingsManager]: Resetting TreeAutomizer preferences to default values [2019-08-22 23:29:13,281 INFO L181 SettingsManager]: Resetting IcfgToChc preferences to default values [2019-08-22 23:29:13,281 INFO L181 SettingsManager]: Resetting IcfgTransformer preferences to default values [2019-08-22 23:29:13,282 INFO L184 SettingsManager]: ReqToTest provides no preferences, ignoring... [2019-08-22 23:29:13,282 INFO L181 SettingsManager]: Resetting Boogie Printer preferences to default values [2019-08-22 23:29:13,283 INFO L181 SettingsManager]: Resetting ChcSmtPrinter preferences to default values [2019-08-22 23:29:13,284 INFO L181 SettingsManager]: Resetting ReqPrinter preferences to default values [2019-08-22 23:29:13,284 INFO L181 SettingsManager]: Resetting Witness Printer preferences to default values [2019-08-22 23:29:13,285 INFO L184 SettingsManager]: Boogie PL CUP Parser provides no preferences, ignoring... [2019-08-22 23:29:13,286 INFO L181 SettingsManager]: Resetting CDTParser preferences to default values [2019-08-22 23:29:13,286 INFO L184 SettingsManager]: AutomataScriptParser provides no preferences, ignoring... [2019-08-22 23:29:13,287 INFO L184 SettingsManager]: ReqParser provides no preferences, ignoring... [2019-08-22 23:29:13,287 INFO L181 SettingsManager]: Resetting SmtParser preferences to default values [2019-08-22 23:29:13,288 INFO L181 SettingsManager]: Resetting Witness Parser preferences to default values [2019-08-22 23:29:13,288 INFO L188 SettingsManager]: Finished resetting all preferences to default values... [2019-08-22 23:29:13,289 INFO L101 SettingsManager]: Beginning loading settings from /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/../../../trunk/examples/settings/default/automizer/svcomp-Reach-32bit-Automizer_Default.epf [2019-08-22 23:29:13,321 INFO L113 SettingsManager]: Loading preferences was successful [2019-08-22 23:29:13,321 INFO L115 SettingsManager]: Preferences different from defaults after loading the file: [2019-08-22 23:29:13,324 INFO L136 SettingsManager]: Preferences of BlockEncodingV2 differ from their defaults: [2019-08-22 23:29:13,324 INFO L138 SettingsManager]: * Create parallel compositions if possible=false [2019-08-22 23:29:13,325 INFO L138 SettingsManager]: * Use SBE=true [2019-08-22 23:29:13,325 INFO L136 SettingsManager]: Preferences of CACSL2BoogieTranslator differ from their defaults: [2019-08-22 23:29:13,325 INFO L138 SettingsManager]: * sizeof long=4 [2019-08-22 23:29:13,325 INFO L138 SettingsManager]: * Overapproximate operations on floating types=true [2019-08-22 23:29:13,326 INFO L138 SettingsManager]: * sizeof POINTER=4 [2019-08-22 23:29:13,326 INFO L138 SettingsManager]: * Check division by zero=IGNORE [2019-08-22 23:29:13,326 INFO L138 SettingsManager]: * Pointer to allocated memory at dereference=IGNORE [2019-08-22 23:29:13,326 INFO L138 SettingsManager]: * If two pointers are subtracted or compared they have the same base address=IGNORE [2019-08-22 23:29:13,326 INFO L138 SettingsManager]: * Check array bounds for arrays that are off heap=IGNORE [2019-08-22 23:29:13,327 INFO L138 SettingsManager]: * sizeof long double=12 [2019-08-22 23:29:13,327 INFO L138 SettingsManager]: * Check if freed pointer was valid=false [2019-08-22 23:29:13,327 INFO L138 SettingsManager]: * Use constant arrays=true [2019-08-22 23:29:13,328 INFO L138 SettingsManager]: * Pointer base address is valid at dereference=IGNORE [2019-08-22 23:29:13,329 INFO L136 SettingsManager]: Preferences of RCFGBuilder differ from their defaults: [2019-08-22 23:29:13,329 INFO L138 SettingsManager]: * Size of a code block=SequenceOfStatements [2019-08-22 23:29:13,329 INFO L138 SettingsManager]: * To the following directory=./dump/ [2019-08-22 23:29:13,330 INFO L138 SettingsManager]: * SMT solver=External_DefaultMode [2019-08-22 23:29:13,330 INFO L138 SettingsManager]: * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000 [2019-08-22 23:29:13,330 INFO L136 SettingsManager]: Preferences of TraceAbstraction differ from their defaults: [2019-08-22 23:29:13,330 INFO L138 SettingsManager]: * Compute Interpolants along a Counterexample=FPandBP [2019-08-22 23:29:13,330 INFO L138 SettingsManager]: * Positions where we compute the Hoare Annotation=LoopsAndPotentialCycles [2019-08-22 23:29:13,331 INFO L138 SettingsManager]: * Trace refinement strategy=CAMEL [2019-08-22 23:29:13,331 INFO L138 SettingsManager]: * SMT solver=External_ModelsAndUnsatCoreMode [2019-08-22 23:29:13,331 INFO L138 SettingsManager]: * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in [2019-08-22 23:29:13,331 INFO L138 SettingsManager]: * Compute Hoare Annotation of negated interpolant automaton, abstraction and CFG=true [2019-08-22 23:29:13,390 INFO L81 nceAwareModelManager]: Repository-Root is: /tmp [2019-08-22 23:29:13,404 INFO L258 ainManager$Toolchain]: [Toolchain 1]: Applicable parser(s) successfully (re)initialized [2019-08-22 23:29:13,408 INFO L214 ainManager$Toolchain]: [Toolchain 1]: Toolchain selected. [2019-08-22 23:29:13,410 INFO L271 PluginConnector]: Initializing CDTParser... [2019-08-22 23:29:13,410 INFO L275 PluginConnector]: CDTParser initialized [2019-08-22 23:29:13,411 INFO L428 ainManager$Toolchain]: [Toolchain 1]: Parsing single file: /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/../../../trunk/examples/svcomp/seq-mthreaded/pals_lcr-var-start-time.3.ufo.UNBOUNDED.pals.c [2019-08-22 23:29:13,492 INFO L220 CDTParser]: Created temporary CDT project at /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/data/f60d1fc8a/e1341e4b00f040659ff416c47d5104ab/FLAG0dc0bd9e5 [2019-08-22 23:29:14,029 INFO L306 CDTParser]: Found 1 translation units. [2019-08-22 23:29:14,032 INFO L160 CDTParser]: Scanning /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_lcr-var-start-time.3.ufo.UNBOUNDED.pals.c [2019-08-22 23:29:14,047 INFO L349 CDTParser]: About to delete temporary CDT project at /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/data/f60d1fc8a/e1341e4b00f040659ff416c47d5104ab/FLAG0dc0bd9e5 [2019-08-22 23:29:14,373 INFO L357 CDTParser]: Successfully deleted /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/data/f60d1fc8a/e1341e4b00f040659ff416c47d5104ab [2019-08-22 23:29:14,382 INFO L296 ainManager$Toolchain]: ####################### [Toolchain 1] ####################### [2019-08-22 23:29:14,384 INFO L131 ToolchainWalker]: Walking toolchain with 4 elements. [2019-08-22 23:29:14,385 INFO L113 PluginConnector]: ------------------------CACSL2BoogieTranslator---------------------------- [2019-08-22 23:29:14,385 INFO L271 PluginConnector]: Initializing CACSL2BoogieTranslator... [2019-08-22 23:29:14,388 INFO L275 PluginConnector]: CACSL2BoogieTranslator initialized [2019-08-22 23:29:14,389 INFO L185 PluginConnector]: Executing the observer ACSLObjectContainerObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 22.08 11:29:14" (1/1) ... [2019-08-22 23:29:14,392 INFO L205 PluginConnector]: Invalid model from CACSL2BoogieTranslator for observer de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator.ACSLObjectContainerObserver@72ab3f2f and model type de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 22.08 11:29:14, skipping insertion in model container [2019-08-22 23:29:14,392 INFO L185 PluginConnector]: Executing the observer CACSL2BoogieTranslatorObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 22.08 11:29:14" (1/1) ... [2019-08-22 23:29:14,400 INFO L142 MainTranslator]: Starting translation in SV-COMP mode [2019-08-22 23:29:14,450 INFO L173 MainTranslator]: Built tables and reachable declarations [2019-08-22 23:29:14,801 INFO L206 PostProcessor]: Analyzing one entry point: main [2019-08-22 23:29:14,810 INFO L188 MainTranslator]: Completed pre-run [2019-08-22 23:29:14,852 INFO L206 PostProcessor]: Analyzing one entry point: main [2019-08-22 23:29:14,870 INFO L192 MainTranslator]: Completed translation [2019-08-22 23:29:14,871 INFO L202 PluginConnector]: Adding new model de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 22.08 11:29:14 WrapperNode [2019-08-22 23:29:14,871 INFO L132 PluginConnector]: ------------------------ END CACSL2BoogieTranslator---------------------------- [2019-08-22 23:29:14,872 INFO L113 PluginConnector]: ------------------------Boogie Preprocessor---------------------------- [2019-08-22 23:29:14,872 INFO L271 PluginConnector]: Initializing Boogie Preprocessor... [2019-08-22 23:29:14,872 INFO L275 PluginConnector]: Boogie Preprocessor initialized [2019-08-22 23:29:14,886 INFO L185 PluginConnector]: Executing the observer EnsureBoogieModelObserver from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 22.08 11:29:14" (1/1) ... [2019-08-22 23:29:14,886 INFO L185 PluginConnector]: Executing the observer TypeChecker from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 22.08 11:29:14" (1/1) ... [2019-08-22 23:29:14,895 INFO L185 PluginConnector]: Executing the observer ConstExpander from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 22.08 11:29:14" (1/1) ... [2019-08-22 23:29:14,896 INFO L185 PluginConnector]: Executing the observer StructExpander from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 22.08 11:29:14" (1/1) ... [2019-08-22 23:29:14,906 INFO L185 PluginConnector]: Executing the observer UnstructureCode from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 22.08 11:29:14" (1/1) ... [2019-08-22 23:29:14,916 INFO L185 PluginConnector]: Executing the observer FunctionInliner from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 22.08 11:29:14" (1/1) ... [2019-08-22 23:29:14,919 INFO L185 PluginConnector]: Executing the observer BoogieSymbolTableConstructor from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 22.08 11:29:14" (1/1) ... [2019-08-22 23:29:14,923 INFO L132 PluginConnector]: ------------------------ END Boogie Preprocessor---------------------------- [2019-08-22 23:29:14,923 INFO L113 PluginConnector]: ------------------------RCFGBuilder---------------------------- [2019-08-22 23:29:14,923 INFO L271 PluginConnector]: Initializing RCFGBuilder... [2019-08-22 23:29:14,924 INFO L275 PluginConnector]: RCFGBuilder initialized [2019-08-22 23:29:14,924 INFO L185 PluginConnector]: Executing the observer RCFGBuilderObserver from plugin RCFGBuilder for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 22.08 11:29:14" (1/1) ... No working directory specified, using /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/z3 Starting monitored process 1 with z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000 (exit command is (exit), workingDir is null) Waiting until toolchain timeout for monitored process 1 with z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000 [2019-08-22 23:29:14,978 INFO L138 BoogieDeclarations]: Found implementation of procedure ULTIMATE.init [2019-08-22 23:29:14,978 INFO L138 BoogieDeclarations]: Found implementation of procedure ULTIMATE.start [2019-08-22 23:29:14,978 INFO L138 BoogieDeclarations]: Found implementation of procedure node1 [2019-08-22 23:29:14,979 INFO L138 BoogieDeclarations]: Found implementation of procedure node2 [2019-08-22 23:29:14,979 INFO L138 BoogieDeclarations]: Found implementation of procedure node3 [2019-08-22 23:29:14,979 INFO L138 BoogieDeclarations]: Found implementation of procedure init [2019-08-22 23:29:14,979 INFO L138 BoogieDeclarations]: Found implementation of procedure check [2019-08-22 23:29:14,980 INFO L138 BoogieDeclarations]: Found implementation of procedure main [2019-08-22 23:29:14,980 INFO L138 BoogieDeclarations]: Found implementation of procedure assert [2019-08-22 23:29:14,981 INFO L130 BoogieDeclarations]: Found specification of procedure __VERIFIER_error [2019-08-22 23:29:14,981 INFO L130 BoogieDeclarations]: Found specification of procedure __VERIFIER_nondet_bool [2019-08-22 23:29:14,981 INFO L130 BoogieDeclarations]: Found specification of procedure __VERIFIER_nondet_char [2019-08-22 23:29:14,981 INFO L130 BoogieDeclarations]: Found specification of procedure __VERIFIER_nondet_uchar [2019-08-22 23:29:14,982 INFO L130 BoogieDeclarations]: Found specification of procedure assert [2019-08-22 23:29:14,983 INFO L130 BoogieDeclarations]: Found specification of procedure __VERIFIER_assume [2019-08-22 23:29:14,983 INFO L130 BoogieDeclarations]: Found specification of procedure read [2019-08-22 23:29:14,985 INFO L130 BoogieDeclarations]: Found specification of procedure write [2019-08-22 23:29:14,986 INFO L130 BoogieDeclarations]: Found specification of procedure node1 [2019-08-22 23:29:14,986 INFO L130 BoogieDeclarations]: Found specification of procedure node2 [2019-08-22 23:29:14,986 INFO L130 BoogieDeclarations]: Found specification of procedure node3 [2019-08-22 23:29:14,986 INFO L130 BoogieDeclarations]: Found specification of procedure init [2019-08-22 23:29:14,986 INFO L130 BoogieDeclarations]: Found specification of procedure check [2019-08-22 23:29:14,986 INFO L130 BoogieDeclarations]: Found specification of procedure main [2019-08-22 23:29:14,986 INFO L130 BoogieDeclarations]: Found specification of procedure ULTIMATE.init [2019-08-22 23:29:14,987 INFO L130 BoogieDeclarations]: Found specification of procedure ULTIMATE.start [2019-08-22 23:29:15,586 INFO L278 CfgBuilder]: Using the 1 location(s) as analysis (start of procedure ULTIMATE.start) [2019-08-22 23:29:15,587 INFO L283 CfgBuilder]: Removed 1 assume(true) statements. [2019-08-22 23:29:15,588 INFO L202 PluginConnector]: Adding new model de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder CFG 22.08 11:29:15 BoogieIcfgContainer [2019-08-22 23:29:15,588 INFO L132 PluginConnector]: ------------------------ END RCFGBuilder---------------------------- [2019-08-22 23:29:15,589 INFO L113 PluginConnector]: ------------------------Symbolic Interpretation---------------------------- [2019-08-22 23:29:15,589 INFO L271 PluginConnector]: Initializing Symbolic Interpretation... [2019-08-22 23:29:15,590 INFO L275 PluginConnector]: Symbolic Interpretation initialized [2019-08-22 23:29:15,591 INFO L185 PluginConnector]: Executing the observer SymbolicInterpretationObserver from plugin Symbolic Interpretation for "de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder CFG 22.08 11:29:15" (1/1) ... [2019-08-22 23:29:15,614 INFO L148 IcfgInterpreter]: Started Sifa with 1 locations of interest [2019-08-22 23:29:15,618 INFO L155 IcfgInterpreter]: Building call graph [2019-08-22 23:29:15,634 INFO L160 IcfgInterpreter]: Initial procedures are [ULTIMATE.start] [2019-08-22 23:29:15,653 INFO L165 IcfgInterpreter]: Starting interpretation [2019-08-22 23:29:15,654 INFO L185 IcfgInterpreter]: Interpreting procedure ULTIMATE.start with input of size 1 [2019-08-22 23:29:15,754 INFO L172 IndexEqualityManager]: detected equality via solver [2019-08-22 23:29:15,756 INFO L172 IndexEqualityManager]: detected equality via solver [2019-08-22 23:29:15,767 INFO L375 Elim1Store]: Elim1 did not use preprocessing eliminated variable of array dimension 1, 1 stores, 0 select indices, 0 select index equivalence classes, 3 disjoint index pairs (out of 0 index pairs), introduced 0 new quantified variables, introduced 0 case distinctions, treesize of input 12 treesize of output 16 [2019-08-22 23:29:15,768 INFO L496 ElimStorePlain]: Start of recursive call 2: End of recursive call: and 1 xjuncts. [2019-08-22 23:29:15,911 WARN L188 SmtUtils]: Spent 140.00 ms on a formula simplification that was a NOOP. DAG size: 76 [2019-08-22 23:29:15,912 INFO L567 ElimStorePlain]: treesize reduction 0, result has 100.0 percent of original size [2019-08-22 23:29:15,931 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-22 23:29:15,933 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-22 23:29:15,934 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-22 23:29:15,937 INFO L375 Elim1Store]: Elim1 did not use preprocessing eliminated variable of array dimension 1, 1 stores, 0 select indices, 0 select index equivalence classes, 6 disjoint index pairs (out of 0 index pairs), introduced 0 new quantified variables, introduced 0 case distinctions, treesize of input 12 treesize of output 16 [2019-08-22 23:29:15,937 INFO L496 ElimStorePlain]: Start of recursive call 3: End of recursive call: and 1 xjuncts. [2019-08-22 23:29:16,038 WARN L188 SmtUtils]: Spent 100.00 ms on a formula simplification that was a NOOP. DAG size: 77 [2019-08-22 23:29:16,039 INFO L567 ElimStorePlain]: treesize reduction 0, result has 100.0 percent of original size [2019-08-22 23:29:16,040 INFO L496 ElimStorePlain]: Start of recursive call 1: 2 dim-1 vars, End of recursive call: and 1 xjuncts. [2019-08-22 23:29:16,041 INFO L221 ElimStorePlain]: Needed 3 recursive calls to eliminate 2 variables, input treesize:103, output treesize:109 [2019-08-22 23:29:16,102 INFO L185 IcfgInterpreter]: Interpreting procedure main with input of size 152 [2019-08-22 23:29:16,425 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:16,426 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:16,429 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:16,430 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:16,432 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:16,434 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:16,435 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:16,436 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:16,439 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:16,441 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:16,444 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:16,446 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:16,448 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:16,450 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:16,451 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:16,454 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:16,456 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:16,457 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:16,481 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:16,483 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:16,485 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:16,488 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:16,490 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:16,491 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:16,493 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:16,502 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:16,503 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:16,505 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:16,507 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:16,509 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:16,511 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:16,513 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:16,514 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:16,520 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:16,536 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:16,568 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:16,570 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:16,571 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:16,572 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:16,575 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:16,576 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:16,577 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:16,588 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:16,589 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:16,591 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:16,593 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:16,595 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:16,597 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:16,600 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:16,601 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:16,602 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:16,635 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:16,636 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:16,638 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:16,640 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:16,641 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:16,642 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:16,644 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:16,646 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:16,647 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:16,655 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:16,655 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:16,656 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:16,667 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:16,668 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:16,692 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 23:29:16,715 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 23:29:17,297 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:17,878 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:17,990 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:18,071 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:18,168 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:18,274 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:18,345 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:18,412 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:18,485 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:18,551 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:18,613 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:18,673 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:18,754 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:18,814 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:18,879 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:18,958 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:19,034 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:19,098 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:19,159 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:19,233 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:19,320 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:19,398 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:19,472 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:19,541 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:19,600 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:19,658 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:19,715 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:19,778 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:19,833 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:19,907 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:19,967 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:20,030 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:20,082 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:20,137 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:20,191 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:20,244 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:20,296 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:20,356 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:20,428 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:20,518 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:20,573 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:20,634 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:20,689 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:20,745 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:20,798 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:20,851 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:20,921 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:21,008 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:21,099 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:21,180 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:21,292 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:21,380 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:21,441 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:21,498 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:21,561 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:21,617 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:21,670 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:21,724 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:21,776 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:21,839 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:21,921 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:22,003 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:22,101 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:22,177 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:22,277 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:22,344 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:22,403 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:22,460 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:22,517 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:22,593 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:22,676 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:22,763 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:22,858 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:22,954 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:23,045 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:23,104 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:23,166 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:23,255 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:23,310 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:23,365 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:23,418 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:23,472 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:23,527 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:23,580 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:23,632 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:23,686 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:23,739 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:23,789 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:23,846 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:23,897 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:23,947 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:24,010 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:24,081 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:24,161 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:24,251 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:24,300 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:24,351 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:24,402 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:24,471 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:24,539 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:24,615 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:24,687 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:24,743 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:24,800 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:24,858 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:24,917 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:24,971 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:25,012 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:25,071 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:25,135 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:25,191 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:25,303 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:25,367 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:25,426 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:25,476 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:25,527 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:25,581 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:25,631 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:25,682 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:25,746 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:25,823 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:25,903 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:25,978 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:26,054 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:26,103 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:26,159 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:26,207 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:26,251 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:26,298 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:26,344 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:26,417 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:26,493 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:26,582 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:26,629 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:26,665 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:26,700 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:26,740 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:26,779 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:26,824 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:26,861 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:26,897 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:26,933 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:26,972 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:27,007 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:27,044 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:27,085 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:27,123 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:27,163 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:27,215 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:27,259 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:27,295 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:27,330 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:27,390 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:27,427 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:27,469 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:27,520 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:27,566 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:27,606 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:27,643 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:27,679 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:27,716 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:27,751 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:27,787 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:27,821 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:27,858 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:27,894 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:27,934 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:27,973 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:28,010 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:28,050 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:28,109 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:28,158 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:28,207 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:28,251 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:28,299 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:28,350 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:28,411 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:28,446 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:28,481 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:28,517 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:28,569 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:28,636 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:28,693 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:28,742 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:28,777 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:28,811 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:28,857 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:28,896 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:28,929 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:28,962 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:28,996 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:29,032 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:29,070 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:29,104 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:29,138 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:29,175 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:29,219 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:29,250 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:29,284 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:29,318 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:29,378 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:29,415 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:29,453 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:29,487 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:29,522 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:29,571 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:29,609 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:29,643 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:29,676 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:29,711 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:29,745 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:29,794 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:29,830 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:29,865 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:29,921 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:29,955 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:29,990 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:30,024 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:30,059 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:30,102 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:30,137 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:30,172 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:30,207 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:30,241 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:30,282 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:30,351 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:30,398 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:30,449 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:30,522 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:30,558 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:30,591 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:30,625 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:30,658 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:30,694 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:30,730 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:30,767 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:30,802 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:30,837 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:30,874 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:30,923 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:30,959 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:30,994 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:31,028 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:31,062 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:31,097 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:31,139 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:31,173 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:31,210 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:31,250 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:31,286 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:31,321 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:31,356 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:31,408 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:31,457 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:31,507 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:31,559 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:31,638 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:31,673 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:31,708 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:31,741 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:31,775 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:31,807 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:31,840 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:31,874 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:31,906 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:31,939 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:31,972 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:32,005 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:32,040 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:32,087 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:32,123 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:32,158 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:32,192 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:32,225 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:32,260 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:32,295 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:32,328 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:32,376 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:32,417 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:32,450 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:32,483 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:32,515 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:32,548 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:32,582 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:32,617 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:32,660 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:32,707 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:32,761 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:32,832 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:32,923 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:32,958 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:32,991 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:33,028 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:33,063 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:33,096 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:33,130 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:33,166 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:33,203 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:33,236 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:33,269 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:33,302 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:33,336 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:33,371 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:33,408 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:33,444 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:33,481 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:33,518 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:33,552 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:33,588 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:33,624 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:33,658 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:33,694 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:33,729 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:33,763 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:33,803 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:33,841 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:33,877 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:33,912 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:33,945 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:33,979 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:34,013 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:34,046 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:34,123 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:34,159 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:34,219 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:34,266 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:34,301 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:34,335 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:34,369 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:34,408 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:34,443 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:34,481 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:34,518 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:34,560 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:34,596 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:34,632 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:34,684 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:34,734 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:34,770 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:34,803 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:34,835 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:34,868 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:34,902 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:34,938 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:34,973 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:35,007 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:35,040 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:35,073 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:35,108 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:35,142 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:35,174 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:35,209 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:35,244 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:35,276 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:35,311 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:35,349 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:35,398 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:35,445 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:35,493 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:35,570 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:35,605 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:35,643 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:35,678 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:35,712 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:35,746 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:35,778 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:35,810 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:35,847 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:35,882 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:35,923 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:35,958 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:35,993 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:36,028 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:36,069 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:36,103 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:36,138 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:36,175 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:36,209 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:36,244 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:36,279 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:36,313 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:36,348 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:36,382 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:36,416 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:36,457 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:36,489 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:36,519 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:36,553 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:36,585 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:36,616 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:36,646 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:36,677 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:36,707 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:36,738 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:36,770 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:36,804 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:36,871 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:36,904 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:36,937 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:36,968 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:37,004 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:37,039 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:37,072 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:37,103 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:37,134 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:37,166 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:37,198 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:37,233 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:37,265 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:37,298 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:37,332 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:37,366 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:37,400 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:37,435 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:37,467 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:37,503 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:37,538 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:37,575 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:37,611 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:37,646 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:37,681 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:37,717 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:37,751 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:37,787 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:37,819 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:37,854 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:37,890 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:37,923 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:37,957 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:37,990 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:38,024 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:38,057 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:38,091 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:38,130 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:38,167 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:38,217 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:38,265 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:38,313 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:38,400 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:38,434 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:38,471 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:38,505 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:38,538 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:38,571 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:38,605 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:38,639 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:38,672 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:38,706 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:38,738 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:38,771 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:38,805 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:38,838 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:38,874 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:38,911 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:38,949 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:38,983 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:39,025 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:39,058 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:39,091 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:39,126 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:39,159 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:39,198 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:39,238 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:39,272 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:39,307 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:39,375 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:39,411 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:39,450 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:39,484 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:39,518 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:39,552 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:39,586 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:39,619 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:39,653 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:39,687 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:39,720 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:39,754 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:39,787 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:39,821 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:39,856 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:39,931 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:39,965 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:39,998 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:40,029 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:40,062 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:40,097 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:40,129 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:40,162 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:40,211 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:40,244 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:40,277 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:40,322 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:40,358 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:40,392 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:40,426 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:40,460 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:40,493 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:40,529 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:40,561 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:40,595 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:40,629 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:40,664 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:40,700 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:40,734 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:40,766 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:40,801 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:40,835 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:40,868 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:40,902 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:40,937 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:40,972 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:41,007 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:41,043 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:41,077 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:41,111 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:41,143 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:41,177 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:41,210 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:41,241 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:41,275 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:41,309 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:41,344 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:41,380 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:41,422 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:41,468 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:41,518 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:41,565 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:41,610 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:41,696 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:41,732 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:41,767 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:41,803 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:41,839 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:41,872 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:41,907 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:41,953 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:41,999 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:42,032 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:42,064 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:42,097 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:42,129 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:42,162 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:42,194 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:42,227 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:42,261 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:42,294 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:42,328 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:42,363 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:42,396 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:42,431 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:42,464 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:42,497 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:42,531 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:42,566 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:42,598 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:42,633 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:42,665 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:42,699 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:42,731 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:42,767 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:42,807 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:42,839 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:42,873 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:42,905 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:42,940 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:42,975 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:43,008 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:43,043 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:43,077 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:43,109 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:43,141 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:43,176 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:43,208 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:43,243 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:43,280 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:43,363 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:43,397 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:43,431 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:43,465 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:43,500 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:43,534 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:43,570 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:43,604 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:43,637 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:43,671 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:43,704 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:43,740 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:43,775 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:43,808 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:43,841 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:43,873 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:43,908 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:43,943 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:43,993 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:44,030 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:44,068 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:44,103 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:44,138 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:44,174 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:44,207 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:44,241 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:44,273 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:44,307 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:44,342 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:44,377 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:44,411 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:44,444 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:44,479 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:44,512 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:44,547 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:44,578 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:44,613 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:44,647 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:44,683 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:44,718 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:44,754 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:44,789 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:44,824 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:44,857 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:44,892 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:44,925 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:44,961 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:44,995 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:45,028 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:45,065 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:45,114 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:45,162 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:45,208 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:45,255 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:45,345 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:45,386 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:45,421 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:45,457 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:45,490 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:45,521 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:45,554 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:45,607 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:45,667 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:45,717 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:45,765 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:45,816 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:45,849 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:45,880 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:45,915 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:45,948 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:45,980 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:46,012 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:46,046 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:46,076 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:46,109 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:46,142 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:46,173 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:46,208 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:46,242 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:46,277 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:46,312 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:46,348 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:46,382 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:46,416 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:46,453 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:46,487 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:46,519 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:46,553 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:46,588 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:46,621 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:46,655 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:46,688 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:46,721 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:46,756 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:46,791 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:46,825 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:46,862 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:46,899 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:46,932 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:46,965 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:47,000 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:47,037 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:47,071 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:47,108 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:47,141 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:47,174 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:47,214 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:47,305 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:47,338 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:47,375 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:47,409 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:47,442 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:47,474 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:47,506 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:47,538 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:47,574 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:47,608 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:47,641 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:47,677 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:47,713 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:47,748 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:47,783 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:47,818 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:47,850 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:47,883 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:47,915 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:47,947 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:47,980 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:48,016 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:48,049 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:48,084 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:48,119 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:48,153 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:48,186 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:48,224 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:48,259 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:48,293 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:48,327 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:48,362 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:48,397 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:48,428 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:48,464 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:48,499 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:48,532 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:48,564 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:48,599 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:48,629 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:48,661 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:48,693 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:48,726 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:48,759 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:48,792 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:48,826 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:48,860 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:48,903 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:48,936 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:48,969 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:49,002 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:49,035 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:49,067 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:49,101 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:49,138 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:49,187 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:49,235 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:49,286 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:49,335 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:49,438 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:49,470 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:49,503 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:49,533 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:49,564 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:49,599 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:49,631 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:49,665 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:49,697 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:49,731 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:49,765 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:49,797 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:49,830 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:49,865 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:49,899 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:49,931 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:49,964 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:49,998 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:50,031 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:50,066 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:50,096 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:50,129 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:50,161 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:50,194 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:50,228 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:50,263 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:50,300 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:50,333 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:50,367 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:50,402 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:50,443 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:50,476 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:50,510 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:50,545 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:50,580 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:50,614 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:50,648 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:50,681 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:50,716 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:50,749 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:50,786 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:50,828 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:50,873 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:50,909 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:50,942 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:50,977 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:51,011 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:51,044 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:51,076 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:51,108 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:51,138 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:51,173 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:51,205 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:51,239 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:51,273 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:51,308 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:51,342 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:51,377 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:51,410 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:51,506 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:51,537 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:51,567 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:51,596 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:51,627 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:51,658 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:51,687 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:51,719 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:51,751 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:51,781 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:51,813 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:51,843 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:51,875 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:51,910 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:51,943 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:51,975 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:52,008 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:52,038 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:52,069 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:52,100 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:52,132 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:52,167 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:52,204 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:52,235 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:52,266 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:52,300 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:52,332 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:52,363 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:52,396 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:52,430 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:52,464 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:52,497 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:52,533 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:52,567 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:52,600 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:52,634 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:52,668 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:52,702 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:52,734 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:52,765 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:52,799 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:52,834 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:52,866 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:52,900 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:52,933 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:52,968 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:53,000 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:53,052 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:53,090 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:53,123 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:53,155 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:53,188 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:53,223 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:53,257 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:53,290 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:53,322 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:53,358 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:53,391 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:53,424 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:53,459 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:53,495 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:53,540 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:53,585 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:53,632 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:53,678 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:53,791 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:53,826 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:53,862 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:53,893 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:53,924 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:53,955 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:53,987 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:54,019 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:54,051 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:54,084 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:54,118 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:54,151 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:54,187 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:54,220 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:54,277 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:54,341 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:54,415 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:54,487 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:54,547 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:54,601 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:54,650 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:54,695 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:54,730 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:54,764 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:54,797 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:54,829 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:54,863 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:54,896 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:54,930 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:54,963 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:54,998 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:55,036 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:55,067 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:55,099 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:55,132 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:55,164 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:55,197 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:55,230 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:55,264 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:55,298 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:55,330 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:55,363 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:55,394 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:55,427 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:55,459 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:55,490 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:55,522 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:55,556 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:55,588 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:55,625 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:55,657 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:55,689 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:55,721 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:55,753 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:55,787 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:55,821 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:55,868 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:55,899 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:55,933 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:55,966 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:55,998 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:56,029 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:56,062 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:56,095 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:56,127 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:56,160 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:56,264 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:56,297 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:56,329 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:56,362 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:56,394 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:56,424 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:56,454 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:56,486 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:56,518 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:56,552 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:56,586 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:56,620 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:56,655 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:56,687 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:56,724 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:56,757 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:56,790 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:56,823 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:56,857 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:56,889 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:56,922 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:56,954 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:56,988 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:57,021 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:57,053 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:57,088 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:57,120 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:57,153 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:57,186 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:57,218 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:57,251 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:57,288 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:57,321 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:57,355 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:57,388 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:57,420 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:57,453 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:57,485 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:57,519 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:57,554 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:57,587 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:57,621 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:57,654 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:57,686 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:57,721 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:57,753 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:57,785 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:57,818 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:57,854 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:57,888 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:57,921 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:57,954 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:57,991 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:58,023 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:58,056 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:58,088 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:58,122 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:58,156 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:58,189 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:58,223 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:58,256 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:58,290 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:58,325 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:58,359 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:58,392 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:58,426 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:58,460 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:58,494 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:58,541 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:58,585 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:58,631 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:58,679 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:58,725 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:58,838 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:58,876 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:58,908 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:58,941 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:58,975 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:59,008 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:59,041 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:59,076 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:59,109 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:59,144 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:59,178 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:59,210 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:59,242 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:59,275 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:59,308 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:59,343 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:59,377 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:59,423 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:59,457 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:59,490 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:59,522 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:59,554 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:59,586 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:59,620 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:59,654 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:59,686 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:59,722 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:59,757 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:59,791 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:59,824 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:59,855 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:59,887 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:59,920 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:59,952 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:29:59,984 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:00,016 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:00,049 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:00,084 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:00,118 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:00,151 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:00,184 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:00,217 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:00,249 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:00,280 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:00,315 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:00,348 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:00,381 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:00,415 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:00,449 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:00,481 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:00,513 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:00,547 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:00,579 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:00,612 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:00,647 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:00,679 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:00,711 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:00,747 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:00,781 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:00,816 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:00,849 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:00,881 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:00,915 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:00,948 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:00,982 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:01,014 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:01,047 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:01,080 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:01,112 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:01,142 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:01,175 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:01,209 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:01,322 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:01,353 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:01,387 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:01,431 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:01,477 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:01,524 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:01,571 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:01,615 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:01,649 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:01,684 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:01,718 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:01,753 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:01,788 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:01,822 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:01,853 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:01,887 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:01,920 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:01,953 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:01,986 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:02,022 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:02,058 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:02,092 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:02,124 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:02,158 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:02,190 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:02,224 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:02,258 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:02,292 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:02,323 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:02,356 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:02,390 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:02,424 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:02,458 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:02,492 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:02,528 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:02,562 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:02,596 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:02,629 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:02,662 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:02,696 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:02,731 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:02,767 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:02,802 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:02,857 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:02,905 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:02,945 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:02,977 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:03,010 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:03,044 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:03,078 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:03,112 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:03,146 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:03,179 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:03,215 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:03,250 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:03,284 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:03,317 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:03,350 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:03,385 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:03,417 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:03,449 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:03,482 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:03,515 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:03,548 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:03,582 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:03,614 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:03,648 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:03,681 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:03,715 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:03,745 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:03,777 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:03,808 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:03,841 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:03,874 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:03,910 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:03,946 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:03,991 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:04,036 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:04,081 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:04,128 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:04,172 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:04,288 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:04,319 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:04,351 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:04,385 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:04,419 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:04,452 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:04,487 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:04,526 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:04,561 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:04,593 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:04,628 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:04,662 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:04,695 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:04,728 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:04,761 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:04,793 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:04,826 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:04,859 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:04,896 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:04,930 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:04,964 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:04,999 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:05,032 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:05,062 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:05,103 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:05,135 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:05,166 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:05,199 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:05,230 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:05,262 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:05,297 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:05,330 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:05,363 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:05,399 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:05,432 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:05,466 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:05,499 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:05,533 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:05,565 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:05,596 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:05,629 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:05,664 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:05,699 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:05,730 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:05,764 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:05,795 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:05,829 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:05,861 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:05,895 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:05,927 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:05,960 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:05,995 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:06,055 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:06,090 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:06,122 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:06,156 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:06,187 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:06,220 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:06,255 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:06,290 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:06,323 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:06,357 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:06,391 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:06,423 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:06,457 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:06,491 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:06,522 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:06,556 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:06,590 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:06,622 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:06,657 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:06,693 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:06,725 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:06,758 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:06,791 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:06,825 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:06,865 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:06,896 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:06,928 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:06,962 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:06,995 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:07,162 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:07,203 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:07,236 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:07,269 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:07,302 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:07,335 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:07,366 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:07,397 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:07,429 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:07,462 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:07,497 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:07,531 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:07,563 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:07,596 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:07,629 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:07,663 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:07,698 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:07,730 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:07,765 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:07,799 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:07,832 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:07,865 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:07,897 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:07,930 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:07,963 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:07,995 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:08,030 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:08,063 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:08,095 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:08,128 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:08,162 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:08,194 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:08,228 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:08,263 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:08,296 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:08,328 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:08,362 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:08,394 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:08,429 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:08,462 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:08,496 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:08,531 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:08,571 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:08,602 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:08,633 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:08,667 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:08,701 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:08,733 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:08,766 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:08,799 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:08,835 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:08,868 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:08,900 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:08,934 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:08,968 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:09,002 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:09,033 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:09,065 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:09,097 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:09,130 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:09,164 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:09,196 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:09,231 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:09,263 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:09,295 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:09,330 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:09,363 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:09,393 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:09,425 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:09,459 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:09,493 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:09,527 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:09,560 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:09,593 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:09,628 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:09,665 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:09,698 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:09,733 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:09,767 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:09,801 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:09,834 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:09,868 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:09,905 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:10,054 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:10,093 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:10,149 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:10,215 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:10,289 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:10,366 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:10,439 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:10,517 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:10,575 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:10,625 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:10,673 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:10,707 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:10,738 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:10,772 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:10,807 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:10,841 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:10,876 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:10,911 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:10,943 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:10,976 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:11,009 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:11,042 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:11,075 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:11,109 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:11,141 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:11,174 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:11,208 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:11,240 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:11,273 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:11,307 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:11,339 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:11,373 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:11,404 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:11,438 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:11,472 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:11,505 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:11,537 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:11,572 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:11,605 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:11,636 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:11,667 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:11,703 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:11,756 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:11,800 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:11,834 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:11,870 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:11,902 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:11,935 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:11,970 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:12,003 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:12,037 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:12,069 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:12,101 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:12,132 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:12,177 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:12,210 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:12,243 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:12,277 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:12,309 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:12,339 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:12,371 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:12,404 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:12,437 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:12,468 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:12,503 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:12,536 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:12,569 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:12,602 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:12,637 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:12,670 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:12,702 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:12,736 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:12,768 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:12,801 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:12,833 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:12,866 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:12,898 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:12,930 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:12,962 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:12,994 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:13,027 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:13,060 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:13,090 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:13,204 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:13,234 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:13,266 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:13,307 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:13,338 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:13,369 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:13,401 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:13,433 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:13,466 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:13,501 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:13,533 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:13,566 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:13,599 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:13,633 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:13,666 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:13,698 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:13,729 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:13,762 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:13,798 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:13,831 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:13,865 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:13,898 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:13,932 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:13,965 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:13,998 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:14,031 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:14,064 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:14,097 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:14,133 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:14,163 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:14,196 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:14,229 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:14,261 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:14,293 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:14,325 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:14,371 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:14,405 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:14,437 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:14,469 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:14,502 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:14,535 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:14,567 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:14,598 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:14,632 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:14,665 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:14,698 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:14,731 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:14,768 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:14,804 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:14,838 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:14,872 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:14,905 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:14,937 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:14,969 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:15,004 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:15,037 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:15,071 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:15,104 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:15,139 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:15,173 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:15,205 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:15,238 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:15,271 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:15,305 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:15,337 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:15,370 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:15,404 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:15,436 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:15,469 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:15,502 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:15,533 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:15,565 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:15,599 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:15,631 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:15,665 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:15,701 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:15,733 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:15,765 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:15,797 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:15,829 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:15,861 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:15,894 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:16,008 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:16,040 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:16,072 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:16,104 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:16,137 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:16,170 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:16,200 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:16,235 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:16,269 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:16,302 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:16,335 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:16,369 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:16,401 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:16,434 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:16,466 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:16,498 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:16,531 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:16,564 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:16,596 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:16,629 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:16,662 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:16,697 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:16,733 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:16,764 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:16,796 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:16,829 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:16,864 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:16,896 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:16,930 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:16,962 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:16,995 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:17,027 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:17,063 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:17,096 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:17,129 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:17,160 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:17,194 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:17,225 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:17,260 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:17,293 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:17,328 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:17,361 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:17,395 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:17,431 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:17,464 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:17,499 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:17,533 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:17,566 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:17,599 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:17,631 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:17,663 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:17,696 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:17,730 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:17,764 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:17,797 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:17,830 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:17,863 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:17,895 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:17,928 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:17,962 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:17,995 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:18,028 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:18,062 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:18,093 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:18,125 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:18,157 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:18,190 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:18,221 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:18,254 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:18,286 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:18,318 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:18,350 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:18,382 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:18,414 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:18,445 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:18,478 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:18,512 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:18,546 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:18,581 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:18,611 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:18,642 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:18,675 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:18,707 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:18,822 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:18,853 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:18,884 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:18,917 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:18,950 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:18,982 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:19,013 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:19,045 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:19,077 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:19,111 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:19,143 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:19,176 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:19,208 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:19,241 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:19,273 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:19,309 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:19,340 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:19,370 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:19,401 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:19,433 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:19,467 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:19,498 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:19,531 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:19,563 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:19,597 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:19,627 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:19,659 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:19,692 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:19,724 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:19,755 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:19,787 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:19,820 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:19,855 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:19,893 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:19,927 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:19,958 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:19,992 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:20,024 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:20,059 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:20,091 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:20,126 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:20,158 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:20,194 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:20,229 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:20,264 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:20,295 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:20,327 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:20,360 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:20,393 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:20,427 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:20,457 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:20,490 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:20,523 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:20,555 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:20,588 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:20,620 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:20,652 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:20,683 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:20,715 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:20,747 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:20,779 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:20,810 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:20,843 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:20,875 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:20,910 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:20,946 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:20,982 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:21,016 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:21,048 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:21,081 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:21,112 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:21,146 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:21,178 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:21,211 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:21,244 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:21,275 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:21,306 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:21,337 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:21,403 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:21,450 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:21,498 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:21,534 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:21,566 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:21,680 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:21,713 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:21,782 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:21,849 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:21,914 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:21,982 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:22,039 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:22,094 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:22,144 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:22,198 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:22,250 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:22,298 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:22,340 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:22,370 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:22,402 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:22,432 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:22,463 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:22,497 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:22,529 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:22,564 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:22,596 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:22,628 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:22,660 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:22,691 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:22,723 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:22,757 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:22,789 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:22,821 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:22,854 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:22,888 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:22,921 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:22,953 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:22,985 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:23,018 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:23,055 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:23,094 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:23,131 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:23,167 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:23,200 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:23,234 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:23,267 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:23,301 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:23,336 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:23,368 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:23,402 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:23,435 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:23,468 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:23,502 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:23,536 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:23,571 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:23,604 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:23,639 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:23,671 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:23,704 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:23,739 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:23,771 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:23,804 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:23,837 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:23,875 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:23,910 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:23,943 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:23,976 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:24,010 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:24,045 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:24,080 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:24,113 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:24,145 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:24,177 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:24,211 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:24,245 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:24,277 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:24,309 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:24,340 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:24,371 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:24,405 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:24,436 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:24,470 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:24,503 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:24,534 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:24,566 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:24,607 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:24,638 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:24,765 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:24,806 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:24,840 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:24,874 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:24,907 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:24,938 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:24,972 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:25,009 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:25,043 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:25,076 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:25,110 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:25,143 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:25,174 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:25,246 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:25,296 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:25,343 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:25,386 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:25,420 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:25,451 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:25,483 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:25,517 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:25,548 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:25,580 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:25,611 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:25,644 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:25,680 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:25,713 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:25,744 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:25,777 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:25,809 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:25,842 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:25,877 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:25,910 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:25,941 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:25,974 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:26,008 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:26,044 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:26,090 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:26,123 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:26,155 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:26,190 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:26,223 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:26,253 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:26,289 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:26,322 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:26,354 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:26,386 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:26,420 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:26,455 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:26,489 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:26,521 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:26,554 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:26,588 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:26,622 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:26,658 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:26,710 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:26,745 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:26,778 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:26,812 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:26,846 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:26,877 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:26,918 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:26,952 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:26,984 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:27,018 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:27,051 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:27,082 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:27,114 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:27,146 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:27,179 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:27,212 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:27,244 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:27,276 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:27,308 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:27,341 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:27,376 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:27,410 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:27,442 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:27,475 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:27,510 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:27,543 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:27,579 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:27,611 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:27,724 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:27,758 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:27,791 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:27,827 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:27,860 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:27,893 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:27,927 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:27,960 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:27,995 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:28,031 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:28,061 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:28,092 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:28,125 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:28,158 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:28,190 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:28,222 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:28,255 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:28,286 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:28,320 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:28,351 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:28,385 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:28,417 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:28,450 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:28,481 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:28,516 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:28,549 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:28,582 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:28,613 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:28,644 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:28,675 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:28,707 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:28,740 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:28,773 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:28,806 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:28,840 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:28,874 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:28,906 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:28,938 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:28,999 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:29,056 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:29,092 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:29,124 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:29,157 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:29,188 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:29,221 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:29,254 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:29,286 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:29,319 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:29,351 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:29,385 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:29,419 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:29,453 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:29,486 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:29,519 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:29,552 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:29,587 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:29,617 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:29,652 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:29,686 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:29,720 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:29,753 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:29,785 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:29,818 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:29,850 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:29,883 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:29,914 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:29,948 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:29,980 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:30,015 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:30,047 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:30,080 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:30,115 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:30,149 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:30,182 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:30,215 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:30,248 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:30,283 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:30,315 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 23:30:30,346 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms