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/float-benchs/rlim_invariant.c.v+lhb-reducer.c -------------------------------------------------------------------------------- This is Ultimate 0.1.24-fab3c18 [2019-08-22 21:25:35,586 INFO L177 SettingsManager]: Resetting all preferences to default values... [2019-08-22 21:25:35,588 INFO L181 SettingsManager]: Resetting UltimateCore preferences to default values [2019-08-22 21:25:35,606 INFO L184 SettingsManager]: Ultimate Commandline Interface provides no preferences, ignoring... [2019-08-22 21:25:35,606 INFO L181 SettingsManager]: Resetting Boogie Preprocessor preferences to default values [2019-08-22 21:25:35,608 INFO L181 SettingsManager]: Resetting Boogie Procedure Inliner preferences to default values [2019-08-22 21:25:35,610 INFO L181 SettingsManager]: Resetting Abstract Interpretation preferences to default values [2019-08-22 21:25:35,622 INFO L181 SettingsManager]: Resetting LassoRanker preferences to default values [2019-08-22 21:25:35,624 INFO L181 SettingsManager]: Resetting Reaching Definitions preferences to default values [2019-08-22 21:25:35,625 INFO L181 SettingsManager]: Resetting SyntaxChecker preferences to default values [2019-08-22 21:25:35,628 INFO L181 SettingsManager]: Resetting Symbolic Interpretation preferences to default values [2019-08-22 21:25:35,630 INFO L184 SettingsManager]: Büchi Program Product provides no preferences, ignoring... [2019-08-22 21:25:35,631 INFO L181 SettingsManager]: Resetting LTL2Aut preferences to default values [2019-08-22 21:25:35,633 INFO L181 SettingsManager]: Resetting PEA to Boogie preferences to default values [2019-08-22 21:25:35,636 INFO L181 SettingsManager]: Resetting BlockEncodingV2 preferences to default values [2019-08-22 21:25:35,637 INFO L181 SettingsManager]: Resetting ChcToBoogie preferences to default values [2019-08-22 21:25:35,639 INFO L181 SettingsManager]: Resetting AutomataScriptInterpreter preferences to default values [2019-08-22 21:25:35,643 INFO L181 SettingsManager]: Resetting BuchiAutomizer preferences to default values [2019-08-22 21:25:35,644 INFO L181 SettingsManager]: Resetting CACSL2BoogieTranslator preferences to default values [2019-08-22 21:25:35,647 INFO L181 SettingsManager]: Resetting CodeCheck preferences to default values [2019-08-22 21:25:35,651 INFO L181 SettingsManager]: Resetting InvariantSynthesis preferences to default values [2019-08-22 21:25:35,651 INFO L181 SettingsManager]: Resetting RCFGBuilder preferences to default values [2019-08-22 21:25:35,653 INFO L181 SettingsManager]: Resetting Referee preferences to default values [2019-08-22 21:25:35,654 INFO L181 SettingsManager]: Resetting TraceAbstraction preferences to default values [2019-08-22 21:25:35,657 INFO L184 SettingsManager]: TraceAbstractionConcurrent provides no preferences, ignoring... [2019-08-22 21:25:35,657 INFO L184 SettingsManager]: TraceAbstractionWithAFAs provides no preferences, ignoring... [2019-08-22 21:25:35,657 INFO L181 SettingsManager]: Resetting TreeAutomizer preferences to default values [2019-08-22 21:25:35,659 INFO L181 SettingsManager]: Resetting IcfgToChc preferences to default values [2019-08-22 21:25:35,661 INFO L181 SettingsManager]: Resetting IcfgTransformer preferences to default values [2019-08-22 21:25:35,662 INFO L184 SettingsManager]: ReqToTest provides no preferences, ignoring... [2019-08-22 21:25:35,662 INFO L181 SettingsManager]: Resetting Boogie Printer preferences to default values [2019-08-22 21:25:35,664 INFO L181 SettingsManager]: Resetting ChcSmtPrinter preferences to default values [2019-08-22 21:25:35,665 INFO L181 SettingsManager]: Resetting ReqPrinter preferences to default values [2019-08-22 21:25:35,665 INFO L181 SettingsManager]: Resetting Witness Printer preferences to default values [2019-08-22 21:25:35,668 INFO L184 SettingsManager]: Boogie PL CUP Parser provides no preferences, ignoring... [2019-08-22 21:25:35,668 INFO L181 SettingsManager]: Resetting CDTParser preferences to default values [2019-08-22 21:25:35,668 INFO L184 SettingsManager]: AutomataScriptParser provides no preferences, ignoring... [2019-08-22 21:25:35,669 INFO L184 SettingsManager]: ReqParser provides no preferences, ignoring... [2019-08-22 21:25:35,669 INFO L181 SettingsManager]: Resetting SmtParser preferences to default values [2019-08-22 21:25:35,670 INFO L181 SettingsManager]: Resetting Witness Parser preferences to default values [2019-08-22 21:25:35,671 INFO L188 SettingsManager]: Finished resetting all preferences to default values... [2019-08-22 21:25:35,673 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 21:25:35,694 INFO L113 SettingsManager]: Loading preferences was successful [2019-08-22 21:25:35,694 INFO L115 SettingsManager]: Preferences different from defaults after loading the file: [2019-08-22 21:25:35,696 INFO L136 SettingsManager]: Preferences of BlockEncodingV2 differ from their defaults: [2019-08-22 21:25:35,697 INFO L138 SettingsManager]: * Create parallel compositions if possible=false [2019-08-22 21:25:35,697 INFO L138 SettingsManager]: * Use SBE=true [2019-08-22 21:25:35,697 INFO L136 SettingsManager]: Preferences of CACSL2BoogieTranslator differ from their defaults: [2019-08-22 21:25:35,697 INFO L138 SettingsManager]: * sizeof long=4 [2019-08-22 21:25:35,698 INFO L138 SettingsManager]: * Overapproximate operations on floating types=true [2019-08-22 21:25:35,698 INFO L138 SettingsManager]: * sizeof POINTER=4 [2019-08-22 21:25:35,698 INFO L138 SettingsManager]: * Check division by zero=IGNORE [2019-08-22 21:25:35,698 INFO L138 SettingsManager]: * Pointer to allocated memory at dereference=IGNORE [2019-08-22 21:25:35,698 INFO L138 SettingsManager]: * If two pointers are subtracted or compared they have the same base address=IGNORE [2019-08-22 21:25:35,699 INFO L138 SettingsManager]: * Check array bounds for arrays that are off heap=IGNORE [2019-08-22 21:25:35,699 INFO L138 SettingsManager]: * sizeof long double=12 [2019-08-22 21:25:35,699 INFO L138 SettingsManager]: * Check if freed pointer was valid=false [2019-08-22 21:25:35,699 INFO L138 SettingsManager]: * Use constant arrays=true [2019-08-22 21:25:35,700 INFO L138 SettingsManager]: * Pointer base address is valid at dereference=IGNORE [2019-08-22 21:25:35,700 INFO L136 SettingsManager]: Preferences of RCFGBuilder differ from their defaults: [2019-08-22 21:25:35,701 INFO L138 SettingsManager]: * Size of a code block=SequenceOfStatements [2019-08-22 21:25:35,701 INFO L138 SettingsManager]: * To the following directory=./dump/ [2019-08-22 21:25:35,702 INFO L138 SettingsManager]: * SMT solver=External_DefaultMode [2019-08-22 21:25:35,702 INFO L138 SettingsManager]: * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000 [2019-08-22 21:25:35,702 INFO L136 SettingsManager]: Preferences of TraceAbstraction differ from their defaults: [2019-08-22 21:25:35,703 INFO L138 SettingsManager]: * Compute Interpolants along a Counterexample=FPandBP [2019-08-22 21:25:35,703 INFO L138 SettingsManager]: * Positions where we compute the Hoare Annotation=LoopsAndPotentialCycles [2019-08-22 21:25:35,703 INFO L138 SettingsManager]: * Trace refinement strategy=CAMEL [2019-08-22 21:25:35,703 INFO L138 SettingsManager]: * SMT solver=External_ModelsAndUnsatCoreMode [2019-08-22 21:25:35,704 INFO L138 SettingsManager]: * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in [2019-08-22 21:25:35,704 INFO L138 SettingsManager]: * Compute Hoare Annotation of negated interpolant automaton, abstraction and CFG=true [2019-08-22 21:25:35,736 INFO L81 nceAwareModelManager]: Repository-Root is: /tmp [2019-08-22 21:25:35,749 INFO L258 ainManager$Toolchain]: [Toolchain 1]: Applicable parser(s) successfully (re)initialized [2019-08-22 21:25:35,752 INFO L214 ainManager$Toolchain]: [Toolchain 1]: Toolchain selected. [2019-08-22 21:25:35,753 INFO L271 PluginConnector]: Initializing CDTParser... [2019-08-22 21:25:35,754 INFO L275 PluginConnector]: CDTParser initialized [2019-08-22 21:25:35,755 INFO L428 ainManager$Toolchain]: [Toolchain 1]: Parsing single file: /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/../../../trunk/examples/svcomp/float-benchs/rlim_invariant.c.v+lhb-reducer.c [2019-08-22 21:25:35,819 INFO L220 CDTParser]: Created temporary CDT project at /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/data/167f94bbd/18e1b9eda0eb437b9ebd58a274036793/FLAG7d1faa0ad [2019-08-22 21:25:36,296 INFO L306 CDTParser]: Found 1 translation units. [2019-08-22 21:25:36,297 INFO L160 CDTParser]: Scanning /storage/repos/ultimate/trunk/examples/svcomp/float-benchs/rlim_invariant.c.v+lhb-reducer.c [2019-08-22 21:25:36,304 INFO L349 CDTParser]: About to delete temporary CDT project at /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/data/167f94bbd/18e1b9eda0eb437b9ebd58a274036793/FLAG7d1faa0ad [2019-08-22 21:25:36,715 INFO L357 CDTParser]: Successfully deleted /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/data/167f94bbd/18e1b9eda0eb437b9ebd58a274036793 [2019-08-22 21:25:36,723 INFO L296 ainManager$Toolchain]: ####################### [Toolchain 1] ####################### [2019-08-22 21:25:36,724 INFO L131 ToolchainWalker]: Walking toolchain with 4 elements. [2019-08-22 21:25:36,725 INFO L113 PluginConnector]: ------------------------CACSL2BoogieTranslator---------------------------- [2019-08-22 21:25:36,725 INFO L271 PluginConnector]: Initializing CACSL2BoogieTranslator... [2019-08-22 21:25:36,729 INFO L275 PluginConnector]: CACSL2BoogieTranslator initialized [2019-08-22 21:25:36,730 INFO L185 PluginConnector]: Executing the observer ACSLObjectContainerObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 22.08 09:25:36" (1/1) ... [2019-08-22 21:25:36,732 INFO L205 PluginConnector]: Invalid model from CACSL2BoogieTranslator for observer de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator.ACSLObjectContainerObserver@681728cd and model type de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 22.08 09:25:36, skipping insertion in model container [2019-08-22 21:25:36,732 INFO L185 PluginConnector]: Executing the observer CACSL2BoogieTranslatorObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 22.08 09:25:36" (1/1) ... [2019-08-22 21:25:36,739 INFO L142 MainTranslator]: Starting translation in SV-COMP mode [2019-08-22 21:25:36,763 INFO L173 MainTranslator]: Built tables and reachable declarations [2019-08-22 21:25:36,996 INFO L206 PostProcessor]: Analyzing one entry point: main [2019-08-22 21:25:37,008 INFO L188 MainTranslator]: Completed pre-run [2019-08-22 21:25:37,175 INFO L206 PostProcessor]: Analyzing one entry point: main [2019-08-22 21:25:37,197 INFO L192 MainTranslator]: Completed translation [2019-08-22 21:25:37,198 INFO L202 PluginConnector]: Adding new model de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 22.08 09:25:37 WrapperNode [2019-08-22 21:25:37,198 INFO L132 PluginConnector]: ------------------------ END CACSL2BoogieTranslator---------------------------- [2019-08-22 21:25:37,199 INFO L113 PluginConnector]: ------------------------Boogie Preprocessor---------------------------- [2019-08-22 21:25:37,199 INFO L271 PluginConnector]: Initializing Boogie Preprocessor... [2019-08-22 21:25:37,199 INFO L275 PluginConnector]: Boogie Preprocessor initialized [2019-08-22 21:25:37,214 INFO L185 PluginConnector]: Executing the observer EnsureBoogieModelObserver from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 22.08 09:25:37" (1/1) ... [2019-08-22 21:25:37,215 INFO L185 PluginConnector]: Executing the observer TypeChecker from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 22.08 09:25:37" (1/1) ... [2019-08-22 21:25:37,223 INFO L185 PluginConnector]: Executing the observer ConstExpander from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 22.08 09:25:37" (1/1) ... [2019-08-22 21:25:37,223 INFO L185 PluginConnector]: Executing the observer StructExpander from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 22.08 09:25:37" (1/1) ... [2019-08-22 21:25:37,230 INFO L185 PluginConnector]: Executing the observer UnstructureCode from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 22.08 09:25:37" (1/1) ... [2019-08-22 21:25:37,238 INFO L185 PluginConnector]: Executing the observer FunctionInliner from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 22.08 09:25:37" (1/1) ... [2019-08-22 21:25:37,241 INFO L185 PluginConnector]: Executing the observer BoogieSymbolTableConstructor from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 22.08 09:25:37" (1/1) ... [2019-08-22 21:25:37,244 INFO L132 PluginConnector]: ------------------------ END Boogie Preprocessor---------------------------- [2019-08-22 21:25:37,247 INFO L113 PluginConnector]: ------------------------RCFGBuilder---------------------------- [2019-08-22 21:25:37,248 INFO L271 PluginConnector]: Initializing RCFGBuilder... [2019-08-22 21:25:37,248 INFO L275 PluginConnector]: RCFGBuilder initialized [2019-08-22 21:25:37,249 INFO L185 PluginConnector]: Executing the observer RCFGBuilderObserver from plugin RCFGBuilder for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 22.08 09:25:37" (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 21:25:37,315 INFO L138 BoogieDeclarations]: Found implementation of procedure ULTIMATE.init [2019-08-22 21:25:37,315 INFO L138 BoogieDeclarations]: Found implementation of procedure ULTIMATE.start [2019-08-22 21:25:37,315 INFO L138 BoogieDeclarations]: Found implementation of procedure main [2019-08-22 21:25:37,315 INFO L130 BoogieDeclarations]: Found specification of procedure __VERIFIER_error [2019-08-22 21:25:37,316 INFO L130 BoogieDeclarations]: Found specification of procedure __VERIFIER_nondet_float [2019-08-22 21:25:37,316 INFO L130 BoogieDeclarations]: Found specification of procedure __VERIFIER_assume [2019-08-22 21:25:37,316 INFO L130 BoogieDeclarations]: Found specification of procedure __VERIFIER_assert [2019-08-22 21:25:37,316 INFO L130 BoogieDeclarations]: Found specification of procedure main [2019-08-22 21:25:37,317 INFO L130 BoogieDeclarations]: Found specification of procedure ULTIMATE.init [2019-08-22 21:25:37,317 INFO L130 BoogieDeclarations]: Found specification of procedure ULTIMATE.start [2019-08-22 21:25:37,681 INFO L278 CfgBuilder]: Using the 1 location(s) as analysis (start of procedure ULTIMATE.start) [2019-08-22 21:25:37,682 INFO L283 CfgBuilder]: Removed 0 assume(true) statements. [2019-08-22 21:25:37,683 INFO L202 PluginConnector]: Adding new model de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder CFG 22.08 09:25:37 BoogieIcfgContainer [2019-08-22 21:25:37,683 INFO L132 PluginConnector]: ------------------------ END RCFGBuilder---------------------------- [2019-08-22 21:25:37,684 INFO L113 PluginConnector]: ------------------------Symbolic Interpretation---------------------------- [2019-08-22 21:25:37,684 INFO L271 PluginConnector]: Initializing Symbolic Interpretation... [2019-08-22 21:25:37,684 INFO L275 PluginConnector]: Symbolic Interpretation initialized [2019-08-22 21:25:37,685 INFO L185 PluginConnector]: Executing the observer SymbolicInterpretationObserver from plugin Symbolic Interpretation for "de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder CFG 22.08 09:25:37" (1/1) ... [2019-08-22 21:25:37,699 INFO L148 IcfgInterpreter]: Started Sifa with 2 locations of interest [2019-08-22 21:25:37,701 INFO L155 IcfgInterpreter]: Building call graph [2019-08-22 21:25:37,707 INFO L160 IcfgInterpreter]: Initial procedures are [ULTIMATE.start] [2019-08-22 21:25:37,716 INFO L165 IcfgInterpreter]: Starting interpretation [2019-08-22 21:25:37,717 INFO L185 IcfgInterpreter]: Interpreting procedure ULTIMATE.start with input of size 1 [2019-08-22 21:25:37,798 INFO L185 IcfgInterpreter]: Interpreting procedure main with input of size 30 [2019-08-22 21:25:37,983 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:37,985 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:38,081 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:38,085 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:38,196 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:38,200 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:38,301 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:38,303 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:38,582 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:38,584 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:38,586 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:38,588 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:38,589 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:38,600 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:38,605 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:38,607 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:38,610 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:38,614 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:38,615 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:38,622 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:38,633 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:38,635 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:38,636 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:38,638 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:38,638 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 21:25:38,645 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:38,648 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:38,653 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:38,655 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:38,656 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:38,657 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 21:25:38,661 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:38,665 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:38,667 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:38,669 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:38,673 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:38,676 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:38,677 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 21:25:38,821 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:38,823 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:38,906 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:38,909 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:39,114 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:39,115 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:39,116 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:39,119 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:39,119 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:39,120 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:39,288 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:39,289 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:39,291 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:39,292 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:39,293 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:39,296 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:39,297 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:39,393 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:39,395 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:39,395 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:39,396 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:39,397 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:39,399 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:39,402 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:39,403 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:39,404 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:39,406 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:39,408 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:39,409 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:39,411 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:39,415 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:39,415 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:39,416 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:39,418 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:39,421 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:39,422 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:39,424 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:39,440 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:39,441 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:39,442 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:39,443 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:39,444 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:39,445 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:39,446 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:39,447 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:39,448 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 21:25:39,450 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:39,451 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:39,452 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:39,453 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:39,454 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:39,455 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:39,456 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 21:25:39,458 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:39,459 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:39,460 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:39,461 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:39,463 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:39,464 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 21:25:39,468 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:39,469 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:39,469 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:39,470 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:39,471 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:39,472 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:39,473 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:39,477 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:39,478 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:39,480 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:39,481 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:39,482 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:39,484 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:39,486 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:39,487 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:39,487 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:39,488 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:39,489 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:39,490 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:39,492 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:39,493 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:39,494 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:39,495 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:39,670 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:39,671 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:39,775 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:39,777 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:40,112 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:40,113 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:40,114 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:40,117 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:40,118 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:40,119 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:40,407 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:40,408 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:40,408 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:40,409 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:40,410 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:40,411 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:40,414 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:40,417 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:40,418 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:40,419 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:40,421 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:40,585 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:40,586 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:40,586 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:40,587 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:40,588 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:40,589 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:40,594 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:40,595 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:40,601 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:40,602 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:40,602 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:40,603 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:40,604 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:40,604 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:40,608 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:40,609 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:40,613 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:40,614 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:40,615 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:40,615 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:40,616 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:40,618 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:40,618 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:40,620 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:40,622 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:40,623 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:40,624 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:40,625 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:40,627 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:40,629 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:40,630 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:40,631 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:40,632 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:40,634 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:40,656 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:40,656 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:40,657 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:40,658 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:40,658 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:40,659 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:40,660 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 21:25:40,661 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:40,662 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:40,663 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:40,664 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:40,665 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:40,667 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:40,667 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:40,668 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:40,669 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 21:25:40,670 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:40,671 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:40,672 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:40,673 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:40,674 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:40,676 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:40,676 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:40,677 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 21:25:40,678 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:40,679 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:40,680 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:40,681 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:40,682 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:40,684 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:40,685 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:40,686 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:40,686 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:40,687 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:40,688 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:40,689 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:40,691 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:40,691 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:40,692 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:40,692 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:40,694 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:40,695 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:40,696 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:40,697 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:40,697 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:40,698 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:40,699 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:40,701 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:40,701 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:40,702 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:40,703 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:40,704 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:40,708 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:40,708 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:40,709 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:40,710 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:40,711 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:40,712 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:40,713 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:40,715 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:40,715 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:40,717 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:40,718 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:40,720 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:40,721 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:40,721 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:40,722 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:40,723 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:40,725 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:40,726 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:40,727 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:40,728 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:40,731 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:40,732 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:40,733 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:40,734 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:40,734 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:40,735 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:40,737 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:40,738 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:40,739 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:40,741 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:40,743 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:40,744 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:40,745 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:40,746 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:40,746 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:40,748 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:40,749 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:40,750 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:40,751 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:41,073 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:41,074 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:41,252 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:41,253 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:42,020 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:42,021 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:42,022 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:42,027 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:42,028 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:42,030 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:42,618 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:42,619 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:42,619 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:42,620 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:42,621 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:42,623 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:42,624 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:42,625 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:42,629 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:42,629 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:42,630 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:42,630 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:42,633 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:42,634 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:42,635 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:42,971 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:42,972 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:42,972 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:42,973 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:42,974 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:42,976 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:42,979 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:42,979 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:42,982 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:42,986 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:42,986 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:42,987 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:42,988 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:42,988 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:42,989 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:42,993 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:42,993 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:42,997 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:42,998 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:42,999 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:42,999 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,001 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,005 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,006 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,006 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,008 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,010 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,011 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,012 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,016 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,017 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,017 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,018 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,021 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,026 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,029 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,082 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,083 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,084 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,085 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,086 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,088 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,089 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,090 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,092 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,093 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,094 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,097 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,100 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,101 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,101 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,104 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,107 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,108 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,109 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,110 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,112 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,113 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,115 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,115 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,116 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,118 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,121 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,122 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,124 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,125 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,126 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 21:25:43,129 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,131 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,134 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,135 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,137 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,138 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,141 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,142 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 21:25:43,146 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,147 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,148 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 21:25:43,151 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,153 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,159 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,160 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,160 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,161 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,162 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,163 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,164 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,165 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,168 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,169 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,171 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,173 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,176 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,177 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,178 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,179 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,181 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,183 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,184 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,186 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,188 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,189 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,191 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,192 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,193 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,195 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,196 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,199 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,200 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,201 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,204 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,233 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,234 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,235 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,236 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,238 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,241 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,242 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,244 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,249 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,250 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,251 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,252 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,252 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,253 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,253 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,254 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,256 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,256 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,257 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,258 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,258 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,259 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,260 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,262 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,263 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,264 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,269 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,270 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,271 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,272 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,275 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,276 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,277 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,278 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,279 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,280 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,282 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,285 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,286 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,287 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,291 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,292 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,293 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,294 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,295 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,296 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,297 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,300 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,301 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,303 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,304 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,305 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,306 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,308 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,310 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,311 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,312 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,316 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,316 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,317 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,317 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,320 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,321 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,322 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,324 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,325 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,326 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,328 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,330 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,331 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,332 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,840 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:43,841 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:44,690 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:44,693 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:46,366 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:46,367 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:46,367 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:46,370 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:46,374 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:46,376 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:47,540 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:47,541 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:47,541 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:47,542 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:47,542 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:47,543 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:47,545 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:47,546 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:47,547 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:47,548 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:47,552 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:47,552 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:47,553 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:47,554 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:47,555 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:47,558 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:47,559 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:47,560 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:47,561 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,124 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,124 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,125 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,125 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,125 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,126 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,126 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,127 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,129 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,130 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,130 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,134 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,135 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,136 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,136 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,137 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,138 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,139 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,140 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,141 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,142 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,143 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,144 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,146 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,146 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,147 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,147 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,153 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,154 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,154 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,159 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,160 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,160 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,161 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,164 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,169 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,172 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,178 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,178 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,179 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,179 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,184 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,185 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,185 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,224 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,225 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,225 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,226 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,226 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,227 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,227 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,228 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,228 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,229 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,230 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,231 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,232 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,233 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,233 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,234 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,236 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,236 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,236 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,237 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,237 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,238 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,239 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,239 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,240 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,240 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,241 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,242 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,243 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,243 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,243 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,244 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,245 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,245 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 21:25:48,247 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,247 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,248 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,248 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 21:25:48,249 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,250 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,250 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,251 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,251 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,252 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,253 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 21:25:48,254 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,255 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,255 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,255 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,256 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,256 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,256 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,257 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,258 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,259 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,260 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,260 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,261 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,263 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,263 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,264 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,265 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,266 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,267 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,267 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,268 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,270 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,270 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,271 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,272 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,272 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,273 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,274 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,275 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,275 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,276 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,278 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,278 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,279 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,280 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,280 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,282 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,282 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,283 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,286 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,286 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,287 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,287 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,288 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,289 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,289 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,290 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,290 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,291 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,292 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,293 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,294 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,294 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,295 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,296 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,297 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,297 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,299 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,300 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,300 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,301 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,301 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,302 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,302 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,303 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,304 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,304 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,304 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,305 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,306 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,306 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,308 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,308 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,309 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,309 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,310 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,310 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,310 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,311 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,312 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,312 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,313 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,314 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,315 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,315 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,317 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,317 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,318 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,320 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,321 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,322 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,322 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,323 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,324 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,324 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,325 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,326 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,327 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,327 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,329 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,330 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,330 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,333 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,333 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,334 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,334 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,335 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,335 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,336 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,338 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,338 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,339 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,339 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,341 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,342 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,342 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,343 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,344 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,345 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,345 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,346 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,349 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,349 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,350 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,350 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,351 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,353 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,354 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,355 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,355 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,357 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,357 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,358 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,358 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,360 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,360 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,361 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,362 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,365 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,366 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,366 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,367 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,368 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,368 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,370 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,370 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,371 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,371 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,372 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,373 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,373 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,373 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,374 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,375 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,375 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,376 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,377 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,378 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,378 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,379 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,379 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,381 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,381 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,381 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,382 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,383 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,383 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,384 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,384 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,386 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,386 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,387 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:48,388 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:49,331 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:49,333 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:50,100 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:50,101 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:52,688 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:52,689 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:52,689 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:52,691 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:52,695 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:52,696 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:55,348 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:55,349 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:55,349 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:55,349 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:55,350 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:55,351 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:55,351 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:55,356 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:55,357 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:55,358 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:55,359 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:55,359 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:55,364 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:55,365 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:55,365 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:55,366 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:55,366 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:55,367 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:55,370 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:55,371 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:55,372 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:55,372 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:55,372 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,502 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,502 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,503 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,503 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,503 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,504 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,504 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,505 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,505 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,505 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,508 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,508 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,511 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,511 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,512 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,512 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,512 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,513 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,514 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,515 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,516 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,516 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,517 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,517 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,518 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,520 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,520 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,521 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,522 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,522 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,525 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,525 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,525 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,526 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,527 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,530 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,531 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,534 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,534 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,535 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,535 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,537 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,540 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,542 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,547 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,547 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,548 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,551 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,554 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,555 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,557 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,563 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,564 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,564 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,565 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,565 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,573 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,573 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,625 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,626 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,626 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,626 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,627 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,627 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,628 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,628 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,628 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,631 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,631 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,631 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,632 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,632 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,633 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,634 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,634 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,634 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,635 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,636 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,636 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,637 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,639 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,639 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,640 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,644 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,645 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,645 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,646 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,648 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,649 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,649 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,650 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,650 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,652 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,652 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,652 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,653 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,654 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,654 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,655 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,656 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,657 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,658 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,658 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,662 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,663 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,663 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,664 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,665 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,665 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,666 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,669 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,670 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,670 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,671 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,672 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,673 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,674 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,675 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,675 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,677 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,677 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,678 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,679 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,681 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,682 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,682 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,687 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,687 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,688 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,689 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,692 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,693 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,694 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,695 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,695 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,697 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,698 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,699 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,699 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,701 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,702 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,703 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,704 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,705 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,706 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,707 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,713 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,714 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,715 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,715 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,716 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,716 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,717 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,717 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,720 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,720 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,721 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,722 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,722 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,723 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,724 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,725 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,726 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,727 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,728 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,728 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,731 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,732 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,732 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,733 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,733 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,736 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,736 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,737 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,738 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,738 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,739 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,741 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,741 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,742 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,743 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,744 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,745 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,748 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,749 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,749 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,750 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,750 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,751 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,754 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,754 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,755 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,756 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,756 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,757 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,759 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,759 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,760 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,761 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,762 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,763 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,765 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,766 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,766 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,767 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,767 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,770 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,771 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,771 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,772 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,772 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,773 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,775 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,775 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,776 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,778 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,778 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,779 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,784 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,785 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,785 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,786 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,786 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,787 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,788 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,788 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,790 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,791 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,791 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,792 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,793 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,794 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,794 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,795 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,796 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,797 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,798 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,799 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,799 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,800 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,801 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,802 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,803 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,803 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,804 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,805 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,806 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,806 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,807 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,808 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,808 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,810 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,810 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,810 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,811 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,811 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,812 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,813 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,813 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,814 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,814 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,816 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,816 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,817 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,818 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,818 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,819 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,821 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,822 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,822 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,823 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,823 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,825 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,826 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,826 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,827 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,828 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,829 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,829 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,830 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,830 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,831 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,833 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,834 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,834 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,834 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,835 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,835 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,836 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 21:25:56,837 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,837 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,837 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,838 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,839 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,839 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,840 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,840 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,841 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 21:25:56,841 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,842 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,843 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,844 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,844 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,845 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,846 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,846 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 21:25:56,847 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,847 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,848 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,849 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,849 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,851 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,851 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,852 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,852 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,853 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,853 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,854 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,854 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,856 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,857 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,858 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,858 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,859 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,860 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,860 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,861 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,861 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,861 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,862 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,863 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,864 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,864 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,865 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,866 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,866 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,867 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,867 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,868 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,868 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,869 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,869 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,869 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,870 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,871 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,871 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,872 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,873 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,873 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,874 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,875 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,876 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,877 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,877 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,878 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,880 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,881 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,881 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,882 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,882 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,883 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,884 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,885 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,886 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,887 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,888 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,889 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,889 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,890 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,891 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,892 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,892 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:56,893 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:58,650 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:25:58,652 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:00,114 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:00,117 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:05,051 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:05,051 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:05,052 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:05,055 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:05,060 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:05,063 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:10,235 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:10,235 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:10,236 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:10,236 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:10,237 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:10,237 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:10,237 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:10,238 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:10,238 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:10,245 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:10,245 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:10,246 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:10,246 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:10,247 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:10,252 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:10,253 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:10,253 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:10,254 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:10,254 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:10,254 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:10,255 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:10,256 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:10,262 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:10,262 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:10,263 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:10,263 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:10,264 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,515 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,516 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,516 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,517 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,517 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,521 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,528 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,531 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,538 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,539 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,539 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,540 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,540 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,547 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,547 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,548 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,556 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,557 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,557 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,558 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,558 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,559 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,565 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,565 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,571 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,571 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,572 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,572 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,574 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,577 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,577 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,579 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,583 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,583 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,583 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,584 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,584 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,585 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,586 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,587 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,587 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,588 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,589 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,590 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,590 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,591 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,593 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,593 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,593 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,594 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,594 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,597 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,597 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,600 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,600 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,600 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,601 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,604 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,604 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,605 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,680 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,681 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,681 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,682 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,682 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,683 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,683 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,683 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,684 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,684 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,685 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,685 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,686 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,686 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,687 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,688 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,688 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,689 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,690 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,691 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,692 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,694 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,694 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,695 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,699 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,699 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,700 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,700 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,701 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,702 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,703 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,704 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,704 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,705 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,707 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,707 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,708 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,710 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,711 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,711 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,715 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,716 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,716 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,717 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,717 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,718 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,719 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,719 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,720 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,722 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,722 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,723 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,724 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,725 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,726 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,728 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,728 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,729 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,732 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,733 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,733 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,734 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,735 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,735 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,736 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,738 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,738 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,739 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,740 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,741 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,742 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,744 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,744 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,745 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,749 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,749 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,750 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,750 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,751 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,752 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,752 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,753 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,753 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,754 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,755 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,756 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,757 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,757 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,758 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,759 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,760 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,761 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,762 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,764 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,764 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,765 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,766 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,766 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,767 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,768 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,769 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,769 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,770 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,771 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,772 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,773 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,774 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,775 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,778 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,778 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,779 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,779 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,780 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,781 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,782 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,782 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,783 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,784 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,784 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,785 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,787 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,787 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,788 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,790 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,791 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,791 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,792 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,792 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,793 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,794 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,795 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,795 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,796 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,797 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,798 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,799 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,800 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,800 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,804 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,804 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,805 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,805 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,806 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,806 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,807 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 21:26:12,808 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,809 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,810 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,811 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,812 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,812 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,813 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 21:26:12,814 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,815 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,816 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,817 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,818 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,819 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,819 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,821 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,821 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 21:26:12,823 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,824 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,824 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,825 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,825 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,826 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,827 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,827 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,828 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,830 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,830 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,831 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,832 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,834 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,834 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,835 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,835 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,836 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,837 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,838 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,839 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,840 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,841 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,842 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,843 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,843 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,843 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,844 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,844 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,845 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,845 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,846 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,846 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,847 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,847 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,848 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,849 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,849 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,850 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,850 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,851 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,851 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,852 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,853 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,853 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,854 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,854 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,854 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,855 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,855 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,856 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,857 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,857 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,858 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,859 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,859 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,860 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,860 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,861 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,861 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,862 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,862 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,866 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,866 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,867 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,867 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,867 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,868 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,868 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,868 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,869 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,870 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,870 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,871 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,871 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,872 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,873 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,873 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,873 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,875 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,875 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,875 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,877 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,878 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,878 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,881 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,881 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,881 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,882 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,882 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,883 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,883 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,884 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,885 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,885 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,885 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,886 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,887 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,887 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,888 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,889 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,889 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,890 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,891 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,892 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,892 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,896 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,896 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,897 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,897 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,897 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,898 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,898 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,898 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,900 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,900 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,900 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,901 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,901 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,902 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,903 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,903 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,904 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,905 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,905 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,907 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,907 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,908 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,910 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,911 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,911 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,912 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,912 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,913 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,913 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,914 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,914 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,915 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,915 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,916 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,917 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,917 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,918 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,919 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,919 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,920 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,922 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,922 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,922 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,928 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,929 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,929 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,930 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,930 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,931 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,931 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,932 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,932 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,934 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,935 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,935 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,935 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,937 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,937 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,938 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,938 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,938 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,939 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,940 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,940 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,941 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,941 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,942 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,943 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,943 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,943 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,946 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,946 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,946 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,953 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,954 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,955 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,955 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,956 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,959 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,960 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,960 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,961 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,963 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,964 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,964 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,965 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,965 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,967 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,967 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,968 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,969 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,970 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,970 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,972 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,973 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,973 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,977 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,978 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,978 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,985 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,986 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,986 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,987 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,988 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,989 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,989 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,990 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,994 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,994 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,995 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,996 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,998 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:12,999 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:13,000 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:13,000 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:13,001 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:13,002 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:13,003 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:13,004 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:13,005 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:13,005 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:13,006 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:13,008 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:13,008 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:13,009 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:13,012 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:13,013 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:13,014 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:13,020 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:13,021 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:13,022 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:13,023 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:13,023 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:13,026 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:13,027 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:13,028 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:13,028 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:13,031 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:13,031 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:13,032 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:13,032 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:13,033 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:13,034 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:13,035 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:13,035 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:13,036 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:13,037 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:13,038 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:13,039 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:13,040 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:13,040 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:13,044 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:13,044 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:13,045 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:16,642 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:16,645 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:19,570 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:19,573 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:29,415 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:29,416 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:29,416 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:29,423 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:29,423 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:29,424 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:39,613 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:39,615 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:39,615 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:39,616 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:39,618 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:39,619 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:39,620 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:39,620 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:39,621 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:39,627 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:39,627 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:39,629 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:39,630 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:39,631 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:39,631 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:39,632 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:39,639 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:39,640 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:39,641 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:39,642 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:39,643 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:39,644 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:39,645 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:39,645 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:39,651 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:39,652 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:39,653 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:39,654 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:39,655 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:39,656 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:39,656 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,037 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,038 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,038 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,039 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,040 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,051 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,051 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,052 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,066 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,067 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,067 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,068 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,068 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,072 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,079 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,083 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,090 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,090 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,091 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,091 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,091 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,092 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,092 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,093 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,094 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,096 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,098 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,100 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,101 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,101 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,101 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,103 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,104 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,104 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,105 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,107 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,108 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,108 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,109 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,109 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,110 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,111 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,112 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,113 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,114 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,114 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,115 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,118 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,118 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,119 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,119 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,121 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,124 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,126 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,131 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,132 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,132 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,132 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,150 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,151 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,151 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,160 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,160 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,161 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,164 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,168 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,168 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,171 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,280 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,281 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,281 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,281 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,282 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,282 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,283 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,283 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,284 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,287 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,287 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,288 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,288 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,290 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,291 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,291 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,291 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,292 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,293 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,293 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,294 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,294 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,296 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,296 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,297 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,298 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,299 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,300 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,302 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,302 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,303 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,308 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,308 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,309 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,310 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,311 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,316 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,316 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,317 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,318 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,321 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,322 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,323 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,323 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,324 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,326 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,326 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,327 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,327 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,329 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,330 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,330 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,331 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,332 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,333 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,335 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,335 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,336 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,343 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,343 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,344 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,345 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,346 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,346 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,351 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,352 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,352 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,353 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,357 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,357 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,358 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,358 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,359 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,360 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,360 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,360 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,361 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,362 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,362 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,363 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,363 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,364 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,364 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,365 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,366 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,366 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,369 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,370 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,370 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,371 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,371 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,374 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,375 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,375 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,376 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,379 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,379 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,379 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,380 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,380 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,381 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,382 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,382 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,383 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,384 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,385 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,386 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,387 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,387 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,388 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,390 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,391 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,392 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,400 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,401 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,402 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,402 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,403 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,404 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,404 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,405 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,406 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,406 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,409 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,410 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,410 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,411 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,412 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,413 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,413 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,413 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,414 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,415 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,415 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,416 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,418 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,418 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,419 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,419 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,421 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,421 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,422 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,422 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,423 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,423 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,424 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,424 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,425 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,425 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,426 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,427 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,428 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,429 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,429 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,430 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,430 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,430 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,431 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,432 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,433 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,433 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,434 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,435 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,435 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,436 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,436 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,437 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,437 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,438 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,439 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,441 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,441 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,442 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,442 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,444 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,444 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,444 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,445 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,446 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,446 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,447 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,447 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,448 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,448 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,449 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,450 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,452 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,453 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,453 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,454 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,454 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,454 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,455 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,455 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,456 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 21:26:44,457 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,458 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,458 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,460 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,460 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,461 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 21:26:44,463 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,463 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,464 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,466 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,466 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,467 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 21:26:44,469 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,470 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,470 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,472 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,473 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,474 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,474 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,475 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,475 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,476 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,477 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,478 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,479 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,480 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,481 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,482 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,484 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,484 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,485 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,486 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,487 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,488 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,489 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,489 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,490 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,491 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,494 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,495 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,495 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,496 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,497 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,497 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,498 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,499 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,500 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,501 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,502 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,503 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,504 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,505 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,506 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,507 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,507 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,508 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,510 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,511 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,511 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,514 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,515 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,515 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,516 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,517 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,518 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,519 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,520 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,521 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,522 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,523 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,524 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,524 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,525 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,526 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,527 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,528 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,529 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,532 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,533 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,533 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,534 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,535 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,535 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,536 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,538 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,538 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,539 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,540 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,541 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,541 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,542 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,543 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,544 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,545 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,547 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,548 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,548 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,549 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,550 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,551 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,552 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,553 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,553 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,555 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,555 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,556 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,557 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,558 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,559 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,561 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,562 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,563 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,563 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,564 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,565 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,566 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,567 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,568 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,569 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,570 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,570 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,571 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,572 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,573 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,574 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,576 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,576 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,577 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,578 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,578 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,580 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,581 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,582 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,582 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,583 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,584 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,585 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,586 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,587 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,588 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,593 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,594 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,594 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,595 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,595 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,595 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,596 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,596 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,597 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,597 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,598 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,598 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,599 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,599 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,600 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,601 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,601 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,603 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,603 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,603 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,605 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,606 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,606 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,609 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,609 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,610 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,610 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,611 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,611 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,612 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,612 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,613 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,613 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,614 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,614 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,615 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,616 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,616 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,618 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,619 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,619 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,621 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,621 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,622 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,626 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,627 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,628 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,628 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,628 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,629 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,629 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,630 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,630 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,631 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,632 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,632 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,633 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,634 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,634 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,635 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,636 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,637 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,637 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,639 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,640 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,640 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,643 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,643 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,644 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,644 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,644 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,645 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,645 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,646 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,647 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,647 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,647 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,648 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,649 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,650 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,650 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,652 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,652 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,652 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,654 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,655 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,655 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,663 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,663 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,664 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,664 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,665 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,665 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,666 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,666 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,667 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,667 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,667 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,668 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,668 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,669 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,670 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,670 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,671 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,672 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,672 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,673 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,674 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,674 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,675 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,677 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,677 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,678 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,681 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,682 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,682 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,686 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,687 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,687 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,692 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,692 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,693 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,694 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,694 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,695 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,695 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,695 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,696 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,696 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,697 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,698 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,698 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,699 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,700 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,701 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,702 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,703 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,704 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,704 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,706 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,707 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,707 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,710 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,710 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,711 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,714 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,715 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,716 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,723 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,724 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,724 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,725 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,725 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,726 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,726 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,726 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,727 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,727 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,728 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,729 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,729 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,730 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,731 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,731 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,731 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,733 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,733 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,734 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,736 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,736 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,737 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,740 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,740 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,741 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,744 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,745 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,746 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,751 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,751 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,752 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,752 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,752 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,753 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,753 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,754 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,754 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,755 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,756 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,757 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,758 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,758 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,760 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,761 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,761 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,764 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,764 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,765 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,768 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,769 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,770 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,774 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,775 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,776 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,781 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,782 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:44,782 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:51,599 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:51,603 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:57,089 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 21:26:57,090 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms