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/eca-rers2012/Problem01_label59.c -------------------------------------------------------------------------------- This is Ultimate 0.1.24-fab3c18 [2019-08-22 19:34:40,620 INFO L177 SettingsManager]: Resetting all preferences to default values... [2019-08-22 19:34:40,623 INFO L181 SettingsManager]: Resetting UltimateCore preferences to default values [2019-08-22 19:34:40,641 INFO L184 SettingsManager]: Ultimate Commandline Interface provides no preferences, ignoring... [2019-08-22 19:34:40,642 INFO L181 SettingsManager]: Resetting Boogie Preprocessor preferences to default values [2019-08-22 19:34:40,644 INFO L181 SettingsManager]: Resetting Boogie Procedure Inliner preferences to default values [2019-08-22 19:34:40,646 INFO L181 SettingsManager]: Resetting Abstract Interpretation preferences to default values [2019-08-22 19:34:40,659 INFO L181 SettingsManager]: Resetting LassoRanker preferences to default values [2019-08-22 19:34:40,662 INFO L181 SettingsManager]: Resetting Reaching Definitions preferences to default values [2019-08-22 19:34:40,663 INFO L181 SettingsManager]: Resetting SyntaxChecker preferences to default values [2019-08-22 19:34:40,667 INFO L181 SettingsManager]: Resetting Symbolic Interpretation preferences to default values [2019-08-22 19:34:40,668 INFO L184 SettingsManager]: Büchi Program Product provides no preferences, ignoring... [2019-08-22 19:34:40,668 INFO L181 SettingsManager]: Resetting LTL2Aut preferences to default values [2019-08-22 19:34:40,669 INFO L181 SettingsManager]: Resetting PEA to Boogie preferences to default values [2019-08-22 19:34:40,674 INFO L181 SettingsManager]: Resetting BlockEncodingV2 preferences to default values [2019-08-22 19:34:40,676 INFO L181 SettingsManager]: Resetting ChcToBoogie preferences to default values [2019-08-22 19:34:40,677 INFO L181 SettingsManager]: Resetting AutomataScriptInterpreter preferences to default values [2019-08-22 19:34:40,681 INFO L181 SettingsManager]: Resetting BuchiAutomizer preferences to default values [2019-08-22 19:34:40,683 INFO L181 SettingsManager]: Resetting CACSL2BoogieTranslator preferences to default values [2019-08-22 19:34:40,689 INFO L181 SettingsManager]: Resetting CodeCheck preferences to default values [2019-08-22 19:34:40,692 INFO L181 SettingsManager]: Resetting InvariantSynthesis preferences to default values [2019-08-22 19:34:40,694 INFO L181 SettingsManager]: Resetting RCFGBuilder preferences to default values [2019-08-22 19:34:40,698 INFO L181 SettingsManager]: Resetting Referee preferences to default values [2019-08-22 19:34:40,699 INFO L181 SettingsManager]: Resetting TraceAbstraction preferences to default values [2019-08-22 19:34:40,701 INFO L184 SettingsManager]: TraceAbstractionConcurrent provides no preferences, ignoring... [2019-08-22 19:34:40,701 INFO L184 SettingsManager]: TraceAbstractionWithAFAs provides no preferences, ignoring... [2019-08-22 19:34:40,701 INFO L181 SettingsManager]: Resetting TreeAutomizer preferences to default values [2019-08-22 19:34:40,704 INFO L181 SettingsManager]: Resetting IcfgToChc preferences to default values [2019-08-22 19:34:40,705 INFO L181 SettingsManager]: Resetting IcfgTransformer preferences to default values [2019-08-22 19:34:40,707 INFO L184 SettingsManager]: ReqToTest provides no preferences, ignoring... [2019-08-22 19:34:40,707 INFO L181 SettingsManager]: Resetting Boogie Printer preferences to default values [2019-08-22 19:34:40,709 INFO L181 SettingsManager]: Resetting ChcSmtPrinter preferences to default values [2019-08-22 19:34:40,709 INFO L181 SettingsManager]: Resetting ReqPrinter preferences to default values [2019-08-22 19:34:40,710 INFO L181 SettingsManager]: Resetting Witness Printer preferences to default values [2019-08-22 19:34:40,714 INFO L184 SettingsManager]: Boogie PL CUP Parser provides no preferences, ignoring... [2019-08-22 19:34:40,715 INFO L181 SettingsManager]: Resetting CDTParser preferences to default values [2019-08-22 19:34:40,716 INFO L184 SettingsManager]: AutomataScriptParser provides no preferences, ignoring... [2019-08-22 19:34:40,716 INFO L184 SettingsManager]: ReqParser provides no preferences, ignoring... [2019-08-22 19:34:40,716 INFO L181 SettingsManager]: Resetting SmtParser preferences to default values [2019-08-22 19:34:40,717 INFO L181 SettingsManager]: Resetting Witness Parser preferences to default values [2019-08-22 19:34:40,718 INFO L188 SettingsManager]: Finished resetting all preferences to default values... [2019-08-22 19:34:40,719 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 19:34:40,739 INFO L113 SettingsManager]: Loading preferences was successful [2019-08-22 19:34:40,740 INFO L115 SettingsManager]: Preferences different from defaults after loading the file: [2019-08-22 19:34:40,742 INFO L136 SettingsManager]: Preferences of BlockEncodingV2 differ from their defaults: [2019-08-22 19:34:40,743 INFO L138 SettingsManager]: * Create parallel compositions if possible=false [2019-08-22 19:34:40,743 INFO L138 SettingsManager]: * Use SBE=true [2019-08-22 19:34:40,743 INFO L136 SettingsManager]: Preferences of CACSL2BoogieTranslator differ from their defaults: [2019-08-22 19:34:40,743 INFO L138 SettingsManager]: * sizeof long=4 [2019-08-22 19:34:40,743 INFO L138 SettingsManager]: * Overapproximate operations on floating types=true [2019-08-22 19:34:40,744 INFO L138 SettingsManager]: * sizeof POINTER=4 [2019-08-22 19:34:40,744 INFO L138 SettingsManager]: * Check division by zero=IGNORE [2019-08-22 19:34:40,745 INFO L138 SettingsManager]: * Pointer to allocated memory at dereference=IGNORE [2019-08-22 19:34:40,745 INFO L138 SettingsManager]: * If two pointers are subtracted or compared they have the same base address=IGNORE [2019-08-22 19:34:40,745 INFO L138 SettingsManager]: * Check array bounds for arrays that are off heap=IGNORE [2019-08-22 19:34:40,746 INFO L138 SettingsManager]: * sizeof long double=12 [2019-08-22 19:34:40,746 INFO L138 SettingsManager]: * Check if freed pointer was valid=false [2019-08-22 19:34:40,746 INFO L138 SettingsManager]: * Use constant arrays=true [2019-08-22 19:34:40,747 INFO L138 SettingsManager]: * Pointer base address is valid at dereference=IGNORE [2019-08-22 19:34:40,747 INFO L136 SettingsManager]: Preferences of RCFGBuilder differ from their defaults: [2019-08-22 19:34:40,747 INFO L138 SettingsManager]: * Size of a code block=SequenceOfStatements [2019-08-22 19:34:40,747 INFO L138 SettingsManager]: * To the following directory=./dump/ [2019-08-22 19:34:40,748 INFO L138 SettingsManager]: * SMT solver=External_DefaultMode [2019-08-22 19:34:40,748 INFO L138 SettingsManager]: * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000 [2019-08-22 19:34:40,748 INFO L136 SettingsManager]: Preferences of TraceAbstraction differ from their defaults: [2019-08-22 19:34:40,748 INFO L138 SettingsManager]: * Compute Interpolants along a Counterexample=FPandBP [2019-08-22 19:34:40,749 INFO L138 SettingsManager]: * Positions where we compute the Hoare Annotation=LoopsAndPotentialCycles [2019-08-22 19:34:40,749 INFO L138 SettingsManager]: * Trace refinement strategy=CAMEL [2019-08-22 19:34:40,749 INFO L138 SettingsManager]: * SMT solver=External_ModelsAndUnsatCoreMode [2019-08-22 19:34:40,750 INFO L138 SettingsManager]: * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in [2019-08-22 19:34:40,750 INFO L138 SettingsManager]: * Compute Hoare Annotation of negated interpolant automaton, abstraction and CFG=true [2019-08-22 19:34:40,800 INFO L81 nceAwareModelManager]: Repository-Root is: /tmp [2019-08-22 19:34:40,823 INFO L258 ainManager$Toolchain]: [Toolchain 1]: Applicable parser(s) successfully (re)initialized [2019-08-22 19:34:40,828 INFO L214 ainManager$Toolchain]: [Toolchain 1]: Toolchain selected. [2019-08-22 19:34:40,829 INFO L271 PluginConnector]: Initializing CDTParser... [2019-08-22 19:34:40,830 INFO L275 PluginConnector]: CDTParser initialized [2019-08-22 19:34:40,831 INFO L428 ainManager$Toolchain]: [Toolchain 1]: Parsing single file: /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/../../../trunk/examples/svcomp/eca-rers2012/Problem01_label59.c [2019-08-22 19:34:40,901 INFO L220 CDTParser]: Created temporary CDT project at /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/data/75b35922c/7c6a7bd89aa34f28b8ed02df93d20813/FLAG4b970524a [2019-08-22 19:34:41,433 INFO L306 CDTParser]: Found 1 translation units. [2019-08-22 19:34:41,434 INFO L160 CDTParser]: Scanning /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem01_label59.c [2019-08-22 19:34:41,463 INFO L349 CDTParser]: About to delete temporary CDT project at /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/data/75b35922c/7c6a7bd89aa34f28b8ed02df93d20813/FLAG4b970524a [2019-08-22 19:34:41,701 INFO L357 CDTParser]: Successfully deleted /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/data/75b35922c/7c6a7bd89aa34f28b8ed02df93d20813 [2019-08-22 19:34:41,716 INFO L296 ainManager$Toolchain]: ####################### [Toolchain 1] ####################### [2019-08-22 19:34:41,718 INFO L131 ToolchainWalker]: Walking toolchain with 4 elements. [2019-08-22 19:34:41,719 INFO L113 PluginConnector]: ------------------------CACSL2BoogieTranslator---------------------------- [2019-08-22 19:34:41,719 INFO L271 PluginConnector]: Initializing CACSL2BoogieTranslator... [2019-08-22 19:34:41,723 INFO L275 PluginConnector]: CACSL2BoogieTranslator initialized [2019-08-22 19:34:41,724 INFO L185 PluginConnector]: Executing the observer ACSLObjectContainerObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 22.08 07:34:41" (1/1) ... [2019-08-22 19:34:41,727 INFO L205 PluginConnector]: Invalid model from CACSL2BoogieTranslator for observer de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator.ACSLObjectContainerObserver@55ae93ed and model type de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 22.08 07:34:41, skipping insertion in model container [2019-08-22 19:34:41,727 INFO L185 PluginConnector]: Executing the observer CACSL2BoogieTranslatorObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 22.08 07:34:41" (1/1) ... [2019-08-22 19:34:41,735 INFO L142 MainTranslator]: Starting translation in SV-COMP mode [2019-08-22 19:34:41,805 INFO L173 MainTranslator]: Built tables and reachable declarations [2019-08-22 19:34:42,380 INFO L206 PostProcessor]: Analyzing one entry point: main [2019-08-22 19:34:42,385 INFO L188 MainTranslator]: Completed pre-run [2019-08-22 19:34:42,566 INFO L206 PostProcessor]: Analyzing one entry point: main [2019-08-22 19:34:42,582 INFO L192 MainTranslator]: Completed translation [2019-08-22 19:34:42,583 INFO L202 PluginConnector]: Adding new model de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 22.08 07:34:42 WrapperNode [2019-08-22 19:34:42,583 INFO L132 PluginConnector]: ------------------------ END CACSL2BoogieTranslator---------------------------- [2019-08-22 19:34:42,584 INFO L113 PluginConnector]: ------------------------Boogie Preprocessor---------------------------- [2019-08-22 19:34:42,585 INFO L271 PluginConnector]: Initializing Boogie Preprocessor... [2019-08-22 19:34:42,585 INFO L275 PluginConnector]: Boogie Preprocessor initialized [2019-08-22 19:34:42,596 INFO L185 PluginConnector]: Executing the observer EnsureBoogieModelObserver from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 22.08 07:34:42" (1/1) ... [2019-08-22 19:34:42,596 INFO L185 PluginConnector]: Executing the observer TypeChecker from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 22.08 07:34:42" (1/1) ... [2019-08-22 19:34:42,614 INFO L185 PluginConnector]: Executing the observer ConstExpander from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 22.08 07:34:42" (1/1) ... [2019-08-22 19:34:42,614 INFO L185 PluginConnector]: Executing the observer StructExpander from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 22.08 07:34:42" (1/1) ... [2019-08-22 19:34:42,656 INFO L185 PluginConnector]: Executing the observer UnstructureCode from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 22.08 07:34:42" (1/1) ... [2019-08-22 19:34:42,675 INFO L185 PluginConnector]: Executing the observer FunctionInliner from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 22.08 07:34:42" (1/1) ... [2019-08-22 19:34:42,689 INFO L185 PluginConnector]: Executing the observer BoogieSymbolTableConstructor from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 22.08 07:34:42" (1/1) ... [2019-08-22 19:34:42,701 INFO L132 PluginConnector]: ------------------------ END Boogie Preprocessor---------------------------- [2019-08-22 19:34:42,702 INFO L113 PluginConnector]: ------------------------RCFGBuilder---------------------------- [2019-08-22 19:34:42,702 INFO L271 PluginConnector]: Initializing RCFGBuilder... [2019-08-22 19:34:42,702 INFO L275 PluginConnector]: RCFGBuilder initialized [2019-08-22 19:34:42,703 INFO L185 PluginConnector]: Executing the observer RCFGBuilderObserver from plugin RCFGBuilder for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 22.08 07:34:42" (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 19:34:42,780 INFO L138 BoogieDeclarations]: Found implementation of procedure ULTIMATE.init [2019-08-22 19:34:42,781 INFO L138 BoogieDeclarations]: Found implementation of procedure ULTIMATE.start [2019-08-22 19:34:42,781 INFO L138 BoogieDeclarations]: Found implementation of procedure calculate_output [2019-08-22 19:34:42,781 INFO L138 BoogieDeclarations]: Found implementation of procedure main [2019-08-22 19:34:42,782 INFO L130 BoogieDeclarations]: Found specification of procedure calculate_output [2019-08-22 19:34:42,783 INFO L130 BoogieDeclarations]: Found specification of procedure __VERIFIER_error [2019-08-22 19:34:42,783 INFO L130 BoogieDeclarations]: Found specification of procedure __VERIFIER_nondet_int [2019-08-22 19:34:42,783 INFO L130 BoogieDeclarations]: Found specification of procedure exit [2019-08-22 19:34:42,783 INFO L130 BoogieDeclarations]: Found specification of procedure main [2019-08-22 19:34:42,784 INFO L130 BoogieDeclarations]: Found specification of procedure ULTIMATE.init [2019-08-22 19:34:42,784 INFO L130 BoogieDeclarations]: Found specification of procedure ULTIMATE.start [2019-08-22 19:34:44,053 INFO L278 CfgBuilder]: Using the 1 location(s) as analysis (start of procedure ULTIMATE.start) [2019-08-22 19:34:44,054 INFO L283 CfgBuilder]: Removed 1 assume(true) statements. [2019-08-22 19:34:44,056 INFO L202 PluginConnector]: Adding new model de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder CFG 22.08 07:34:44 BoogieIcfgContainer [2019-08-22 19:34:44,056 INFO L132 PluginConnector]: ------------------------ END RCFGBuilder---------------------------- [2019-08-22 19:34:44,057 INFO L113 PluginConnector]: ------------------------Symbolic Interpretation---------------------------- [2019-08-22 19:34:44,057 INFO L271 PluginConnector]: Initializing Symbolic Interpretation... [2019-08-22 19:34:44,058 INFO L275 PluginConnector]: Symbolic Interpretation initialized [2019-08-22 19:34:44,059 INFO L185 PluginConnector]: Executing the observer SymbolicInterpretationObserver from plugin Symbolic Interpretation for "de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder CFG 22.08 07:34:44" (1/1) ... [2019-08-22 19:34:44,079 INFO L148 IcfgInterpreter]: Started Sifa with 1 locations of interest [2019-08-22 19:34:44,082 INFO L155 IcfgInterpreter]: Building call graph [2019-08-22 19:34:44,091 INFO L160 IcfgInterpreter]: Initial procedures are [ULTIMATE.start] [2019-08-22 19:34:44,101 INFO L165 IcfgInterpreter]: Starting interpretation [2019-08-22 19:34:44,103 INFO L185 IcfgInterpreter]: Interpreting procedure ULTIMATE.start with input of size 1 [2019-08-22 19:34:44,198 INFO L185 IcfgInterpreter]: Interpreting procedure main with input of size 98 [2019-08-22 19:34:45,871 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 8 terms [2019-08-22 19:34:45,906 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 6 terms [2019-08-22 19:34:45,914 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 4 terms [2019-08-22 19:34:45,935 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 7 terms [2019-08-22 19:34:45,960 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 6 terms [2019-08-22 19:34:45,978 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 7 terms [2019-08-22 19:34:46,038 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:46,113 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:46,114 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 5 terms [2019-08-22 19:34:46,185 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 8 terms [2019-08-22 19:34:46,219 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 6 terms [2019-08-22 19:34:46,220 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 19:34:46,221 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 19:34:46,221 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 19:34:46,256 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 19:34:46,257 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 6 terms [2019-08-22 19:34:46,258 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 6 terms [2019-08-22 19:34:46,294 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 6 terms [2019-08-22 19:34:46,338 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 7 terms [2019-08-22 19:34:46,529 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:46,615 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 6 terms [2019-08-22 19:34:46,673 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 8 terms [2019-08-22 19:34:46,739 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 8 terms [2019-08-22 19:34:46,900 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 7 terms [2019-08-22 19:34:47,203 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:47,813 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 6 terms [2019-08-22 19:34:47,843 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:47,845 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 19:34:47,847 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:47,848 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:47,849 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:47,850 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:47,851 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:47,856 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:47,857 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:47,858 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:47,859 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:47,860 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:47,861 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:47,865 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:47,866 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:47,869 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:47,874 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:47,876 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:47,877 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:47,879 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:47,880 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:47,882 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:47,883 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:47,885 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:47,887 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:47,889 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:47,890 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:47,892 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:47,894 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:47,897 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:47,899 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:47,900 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:47,903 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:47,905 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:47,907 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:47,908 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:47,910 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:47,913 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:47,914 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:47,917 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:47,919 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:47,921 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:47,924 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:47,926 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:47,928 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:47,930 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:47,932 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:47,935 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:47,937 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:47,940 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:47,942 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:47,945 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:47,948 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:47,951 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:47,953 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:47,956 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:47,959 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:47,961 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:47,964 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:47,967 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:47,970 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:47,973 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:47,975 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:47,978 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:47,981 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:47,984 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 19:34:48,012 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:48,025 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:48,026 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:48,027 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:48,028 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:48,029 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:48,030 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:48,030 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:48,031 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:48,032 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:48,033 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:48,034 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:48,035 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:48,037 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:48,038 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:48,039 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:48,040 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:48,041 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:48,043 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:48,044 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:48,045 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:48,046 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:48,048 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:48,049 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:48,050 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:48,052 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:48,053 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:48,055 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:48,056 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:48,057 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:48,059 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:48,060 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:48,061 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:48,063 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:48,065 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:48,066 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:48,068 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:48,069 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:48,071 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:48,073 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:48,075 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:48,076 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:48,078 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:48,079 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:48,081 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:48,082 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:48,084 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:48,086 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:48,088 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:48,090 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:48,092 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:48,094 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:48,096 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:48,098 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:48,099 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:48,101 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:48,103 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:48,105 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:48,107 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:48,109 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:48,111 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:48,113 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:48,115 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:48,117 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 19:34:48,120 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:48,136 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:55,526 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:55,742 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 6 terms [2019-08-22 19:34:55,769 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:55,770 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:55,774 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:55,775 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 19:34:55,776 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:55,777 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:55,777 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:55,778 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:55,779 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:55,780 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:55,783 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:55,784 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:55,785 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:55,785 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:55,786 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:55,787 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:55,788 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:55,789 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:55,790 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:55,791 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:55,792 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:55,793 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:55,794 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:55,797 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:55,798 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:55,799 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:55,800 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:55,801 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:55,802 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:55,803 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:55,804 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:55,806 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:55,807 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:55,808 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:55,809 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:55,811 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:55,812 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:55,813 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:55,814 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:55,816 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:55,817 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:55,819 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:55,820 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:55,822 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:55,823 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:55,825 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:55,826 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:55,828 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:55,830 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:55,831 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:55,833 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:55,835 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:55,837 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:55,838 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:55,840 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:55,843 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:55,845 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:55,846 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:55,848 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:55,850 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:55,852 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:55,854 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:55,856 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:55,858 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:55,860 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:55,862 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:55,864 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 19:34:55,868 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:55,885 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:55,886 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:55,886 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:55,887 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:55,887 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:55,888 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:55,889 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:55,894 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:55,895 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:55,896 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:55,897 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:55,898 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:55,899 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:55,899 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:55,901 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:55,905 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:55,908 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:55,909 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:55,911 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:55,919 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:55,920 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:55,922 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:55,925 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:55,926 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:55,927 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:55,928 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:55,929 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:55,930 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:55,932 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:55,933 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:55,934 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:55,936 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:55,937 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:55,938 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:55,939 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:55,940 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:55,942 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:55,943 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:55,945 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:55,946 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:55,947 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:55,949 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:55,950 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:55,952 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:55,953 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:55,955 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:55,956 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:55,958 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:55,959 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:55,961 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:55,962 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:55,967 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:55,969 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:55,970 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:55,972 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:55,974 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:55,976 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:55,978 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:55,980 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:55,982 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:55,984 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:55,986 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:55,988 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:55,990 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 19:34:55,992 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:01,704 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:01,922 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:01,923 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:01,943 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:01,944 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:01,950 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:01,951 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:01,952 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:01,953 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:01,953 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:01,954 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:01,955 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:01,955 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:01,956 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:01,956 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:01,957 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:01,958 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:01,959 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:01,959 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:01,960 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:01,961 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:01,962 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:01,963 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:01,964 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:01,965 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:01,966 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:01,967 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:01,969 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:01,970 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:01,971 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:01,972 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:01,973 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:01,974 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:01,976 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:01,977 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:01,978 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:01,979 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:01,980 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:01,981 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:01,983 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:01,984 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:01,985 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:01,986 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:01,988 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:01,989 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:01,990 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:01,992 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:01,993 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:01,994 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:01,996 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:01,998 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:01,999 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:02,001 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:02,002 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:02,004 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:02,006 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:02,008 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:02,009 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:02,011 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:02,013 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:02,015 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:02,016 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:02,018 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:02,020 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:02,022 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:02,023 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:02,025 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:02,027 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:02,029 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:02,031 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:02,033 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 19:35:02,035 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:08,287 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:08,287 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:08,473 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 6 terms [2019-08-22 19:35:08,490 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:08,493 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:08,493 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 19:35:08,494 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:08,495 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:08,495 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:08,496 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:08,496 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:08,497 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:08,498 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:08,498 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:08,499 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:08,499 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:08,500 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:08,500 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:08,501 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:08,502 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:08,502 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:08,503 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:08,503 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:08,504 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:08,504 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:08,505 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:08,506 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:08,506 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:08,507 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:08,508 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:08,509 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:08,510 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:08,510 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:08,511 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:08,512 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:08,513 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:08,514 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:08,514 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:08,515 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:08,516 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:08,517 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:08,517 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:08,518 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:08,519 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:08,520 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:08,521 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:08,522 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:08,524 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:08,525 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:08,527 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:08,528 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:08,529 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:08,531 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:08,532 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:08,534 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:08,535 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:08,537 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:08,538 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:08,540 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:08,541 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:08,542 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:08,543 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:08,544 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:08,546 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:08,547 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:08,548 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:08,549 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:08,550 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:08,551 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:08,552 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 19:35:08,553 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:08,555 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:08,568 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:08,569 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:08,570 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:08,570 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:08,571 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:08,571 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:08,572 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:08,573 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:08,574 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:08,575 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:08,575 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:08,576 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:08,577 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:08,577 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:08,578 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:08,579 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:08,580 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:08,581 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:08,582 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:08,583 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:08,584 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:08,585 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:08,586 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:08,587 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:08,588 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:08,589 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:08,590 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:08,591 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:08,593 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:08,594 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:08,595 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:08,596 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:08,597 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:08,598 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:08,599 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:08,601 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:08,602 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:08,603 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:08,605 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:08,606 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:08,607 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:08,609 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:08,610 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:08,611 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:08,613 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:08,615 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:08,617 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:08,618 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:08,620 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:08,622 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:08,624 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:08,626 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:08,628 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:08,629 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:08,631 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:08,633 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:08,635 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:08,637 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:08,638 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:08,640 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:08,642 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:08,643 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:08,645 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 19:35:08,647 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:08,650 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:14,046 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:14,185 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 6 terms [2019-08-22 19:35:14,200 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:14,201 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 19:35:14,201 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:14,201 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:14,202 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:14,202 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:14,203 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:14,203 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:14,203 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:14,204 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:14,204 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:14,205 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:14,205 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:14,206 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:14,206 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:14,207 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:14,207 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:14,208 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:14,209 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:14,210 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:14,210 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:14,211 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:14,212 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:14,212 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:14,213 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:14,214 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:14,215 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:14,216 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:14,216 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:14,217 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:14,218 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:14,219 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:14,220 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:14,222 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:14,223 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:14,224 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:14,226 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:14,227 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:14,228 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:14,230 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:14,231 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:14,233 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:14,234 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:14,236 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:14,237 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:14,239 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:14,240 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:14,241 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:14,243 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:14,245 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:14,246 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:14,248 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:14,249 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:14,251 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:14,252 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:14,254 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:14,256 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:14,258 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:14,259 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:14,261 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:14,262 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:14,264 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:14,265 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:14,267 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:14,269 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:14,271 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 19:35:14,273 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:14,283 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:14,284 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:14,285 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:14,286 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:14,286 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:14,287 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:14,287 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:14,288 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:14,289 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:14,289 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:14,290 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:14,291 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:14,292 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:14,293 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:14,294 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:14,295 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:14,295 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:14,296 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:14,297 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:14,298 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:14,299 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:14,300 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:14,301 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:14,302 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:14,303 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:14,304 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:14,304 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:14,305 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:14,306 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:14,307 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:14,307 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:14,308 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:14,309 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:14,310 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:14,310 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:14,311 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:14,312 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:14,313 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:14,314 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:14,315 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:14,317 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:14,318 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:14,319 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:14,321 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:14,322 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:14,323 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:14,324 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:14,325 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:14,326 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:14,327 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:14,328 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:14,329 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:14,330 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:14,331 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:14,332 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:14,333 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:14,334 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:14,335 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:14,336 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:14,337 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:14,338 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:14,339 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:14,340 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 19:35:14,342 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:14,353 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:20,532 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:20,664 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:20,665 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:20,679 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:20,680 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:20,683 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:20,684 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:20,684 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:20,685 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:20,685 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:20,686 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:20,687 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:20,687 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:20,688 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:20,689 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:20,689 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:20,690 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:20,691 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:20,691 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:20,692 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:20,693 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:20,694 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:20,694 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:20,695 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:20,696 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:20,697 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:20,698 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:20,699 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:20,700 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:20,701 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:20,702 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:20,703 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:20,704 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:20,705 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:20,706 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:20,707 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:20,708 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:20,709 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:20,710 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:20,711 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:20,713 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:20,714 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:20,715 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:20,716 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:20,717 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:20,718 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:20,720 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:20,721 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:20,723 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:20,724 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:20,725 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:20,727 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:20,728 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:20,730 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:20,731 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:20,733 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:20,734 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:20,736 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:20,737 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:20,739 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:20,740 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:20,742 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:20,744 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:20,746 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:20,747 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:20,749 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:20,751 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:20,752 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:20,755 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:20,756 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:20,758 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 19:35:20,760 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:27,226 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:27,361 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 6 terms [2019-08-22 19:35:27,375 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:27,376 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 19:35:27,376 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:27,376 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:27,377 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:27,377 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:27,377 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:27,378 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:27,378 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:27,379 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:27,379 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:27,379 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:27,380 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:27,381 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:27,381 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:27,382 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:27,382 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:27,383 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:27,383 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:27,384 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:27,384 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:27,385 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:27,386 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:27,386 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:27,387 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:27,387 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:27,388 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:27,389 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:27,389 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:27,390 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:27,391 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:27,391 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:27,392 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:27,393 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:27,394 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:27,395 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:27,395 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:27,396 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:27,397 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:27,398 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:27,399 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:27,400 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:27,400 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:27,401 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:27,402 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:27,403 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:27,404 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:27,405 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:27,406 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:27,407 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:27,408 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:27,409 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:27,410 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:27,411 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:27,412 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:27,413 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:27,415 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:27,416 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:27,417 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:27,418 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:27,419 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:27,421 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:27,422 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:27,423 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:27,424 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 19:35:27,426 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:27,433 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:27,434 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:27,434 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:27,434 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:27,435 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:27,435 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:27,435 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:27,436 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:27,436 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:27,437 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:27,437 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:27,438 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:27,438 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:27,439 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:27,439 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:27,440 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:27,440 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:27,441 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:27,442 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:27,442 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:27,443 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:27,443 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:27,444 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:27,445 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:27,445 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:27,446 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:27,447 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:27,447 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:27,448 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:27,449 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:27,449 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:27,450 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:27,451 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:27,452 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:27,452 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:27,453 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:27,454 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:27,455 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:27,456 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:27,457 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:27,458 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:27,458 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:27,459 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:27,460 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:27,461 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:27,462 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:27,463 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:27,464 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:27,465 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:27,466 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:27,467 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:27,468 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:27,469 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:27,470 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:27,471 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:27,473 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:27,475 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:27,477 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:27,479 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:27,481 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:27,482 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:27,484 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:27,486 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:27,488 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 19:35:27,490 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:27,509 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:27,510 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:33,619 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:33,619 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:33,757 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 6 terms [2019-08-22 19:35:33,774 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:33,775 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 19:35:33,775 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:33,775 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:33,776 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:33,776 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:33,777 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:33,777 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:33,777 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:33,778 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:33,778 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:33,779 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:33,779 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:33,780 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:33,780 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:33,781 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:33,782 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:33,783 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:33,784 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:33,784 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:33,785 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:33,786 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:33,787 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:33,788 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:33,789 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:33,790 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:33,791 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:33,792 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:33,793 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:33,794 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:33,795 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:33,796 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:33,798 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:33,799 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:33,800 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:33,801 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:33,803 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:33,804 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:33,805 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:33,807 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:33,808 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:33,809 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:33,811 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:33,812 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:33,814 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:33,815 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:33,816 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:33,818 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:33,819 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:33,821 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:33,822 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:33,824 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:33,825 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:33,826 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:33,828 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:33,830 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:33,831 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:33,833 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:33,835 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:33,837 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:33,838 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:33,840 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:33,842 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:33,844 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:33,845 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:33,847 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 19:35:33,849 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:33,889 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:33,900 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:33,900 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:33,901 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:33,901 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:33,902 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:33,903 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:33,903 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:33,904 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:33,905 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:33,905 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:33,906 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:33,907 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:33,907 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:33,908 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:33,909 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:33,910 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:33,911 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:33,911 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:33,912 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:33,913 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:33,914 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:33,915 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:33,916 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:33,917 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:33,918 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:33,919 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:33,920 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:33,921 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:33,922 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:33,923 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:33,924 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:33,926 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:33,927 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:33,928 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:33,929 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:33,931 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:33,932 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:33,934 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:33,935 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:33,936 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:33,938 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:33,939 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:33,940 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:33,941 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:33,943 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:33,944 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:33,945 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:33,946 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:33,947 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:33,948 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:33,949 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:33,950 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:33,951 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:33,952 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:33,953 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:33,954 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:33,956 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:33,957 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:33,958 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:33,959 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:33,960 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:33,961 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:33,962 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 19:35:33,963 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:33,965 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:33,974 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:39,816 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:39,816 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:39,955 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 6 terms [2019-08-22 19:35:39,969 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:39,972 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:39,972 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 19:35:39,973 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:39,973 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:39,974 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:39,974 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:39,974 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:39,975 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:39,976 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:39,977 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:39,977 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:39,978 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:39,979 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:39,979 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:39,980 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:39,981 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:39,982 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:39,982 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:39,983 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:39,983 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:39,984 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:39,985 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:39,985 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:39,986 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:39,987 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:39,988 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:39,989 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:39,990 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:39,991 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:39,992 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:39,993 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:39,995 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:39,996 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:39,997 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:39,998 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:39,999 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:39,999 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:40,000 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:40,001 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:40,002 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:40,003 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:40,003 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:40,004 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:40,005 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:40,006 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:40,007 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:40,008 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:40,009 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:40,011 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:40,013 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:40,014 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:40,016 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:40,017 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:40,019 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:40,020 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:40,022 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:40,023 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:40,025 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:40,026 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:40,028 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:40,030 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:40,032 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:40,034 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:40,036 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:40,038 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 19:35:40,040 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:40,042 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:40,052 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:40,052 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:40,053 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:40,054 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:40,054 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:40,055 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:40,055 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:40,056 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:40,057 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:40,057 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:40,058 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:40,059 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:40,060 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:40,060 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:40,061 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:40,062 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:40,063 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:40,064 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:40,064 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:40,065 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:40,066 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:40,067 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:40,068 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:40,069 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:40,070 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:40,071 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:40,072 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:40,073 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:40,074 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:40,075 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:40,076 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:40,077 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:40,078 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:40,080 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:40,081 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:40,082 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:40,083 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:40,084 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:40,086 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:40,087 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:40,088 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:40,090 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:40,091 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:40,093 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:40,094 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:40,095 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:40,097 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:40,098 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:40,100 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:40,102 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:40,103 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:40,105 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:40,106 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:40,108 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:40,109 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:40,110 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:40,112 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:40,114 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:40,115 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:40,117 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:40,119 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:40,120 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:40,122 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:40,124 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 19:35:40,126 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:40,129 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:45,235 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:45,368 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 6 terms [2019-08-22 19:35:45,381 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:45,382 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:45,385 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:45,385 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 19:35:45,386 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:45,386 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:45,386 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:45,387 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:45,387 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:45,387 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:45,388 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:45,388 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:45,389 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:45,389 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:45,390 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:45,390 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:45,391 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:45,392 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:45,393 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:45,394 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:45,394 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:45,395 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:45,396 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:45,397 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:45,398 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:45,399 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:45,400 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:45,401 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:45,402 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:45,403 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:45,404 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:45,405 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:45,406 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:45,407 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:45,408 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:45,409 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:45,410 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:45,411 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:45,413 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:45,414 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:45,415 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:45,416 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:45,417 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:45,418 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:45,419 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:45,420 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:45,421 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:45,422 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:45,423 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:45,424 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:45,425 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:45,426 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:45,427 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:45,428 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:45,428 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:45,429 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:45,430 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:45,431 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:45,432 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:45,433 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:45,434 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:45,436 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:45,437 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:45,438 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:45,439 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:45,440 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:45,441 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 19:35:45,442 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:45,449 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:45,449 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:45,450 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:45,450 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:45,450 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:45,451 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:45,451 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:45,451 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:45,452 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:45,452 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:45,453 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:45,453 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:45,454 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:45,454 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:45,455 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:45,455 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:45,456 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:45,456 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:45,457 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:45,457 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:45,458 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:45,459 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:45,459 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:45,460 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:45,460 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:45,461 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:45,462 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:45,463 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:45,463 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:45,464 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:45,465 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:45,465 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:45,466 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:45,467 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:45,467 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:45,468 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:45,469 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:45,470 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:45,471 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:45,471 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:45,472 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:45,473 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:45,474 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:45,475 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:45,476 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:45,477 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:45,478 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:45,478 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:45,479 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:45,480 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:45,481 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:45,482 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:45,483 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:45,484 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:45,485 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:45,486 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:45,487 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:45,488 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:45,489 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:45,490 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:45,492 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:45,493 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:45,494 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:45,495 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 19:35:45,496 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:51,730 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:51,903 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 6 terms [2019-08-22 19:35:51,918 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:51,919 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 19:35:51,919 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:51,920 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:51,920 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:51,921 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:51,921 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:51,922 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:51,922 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:51,923 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:51,924 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:51,925 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:51,925 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:51,926 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:51,926 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:51,927 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:51,927 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:51,928 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:51,928 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:51,929 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:51,929 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:51,930 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:51,931 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:51,931 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:51,932 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:51,932 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:51,933 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:51,934 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:51,934 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:51,935 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:51,936 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:51,936 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:51,937 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:51,938 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:51,938 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:51,939 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:51,940 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:51,940 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:51,941 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:51,942 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:51,943 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:51,944 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:51,945 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:51,945 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:51,946 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:51,947 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:51,948 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:51,949 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:51,950 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:51,951 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:51,952 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:51,952 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:51,953 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:51,954 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:51,955 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:51,956 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:51,957 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:51,958 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:51,959 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:51,961 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:51,962 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:51,963 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:51,964 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:51,965 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:51,966 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 19:35:51,967 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:51,975 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:51,976 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:51,976 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:51,976 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:51,977 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:51,977 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:51,977 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:51,978 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:51,978 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:51,979 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:51,979 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:51,980 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:51,980 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:51,981 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:51,981 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:51,982 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:51,982 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:51,983 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:51,983 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:51,984 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:51,985 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:51,985 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:51,986 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:51,987 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:51,987 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:51,988 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:51,989 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:51,989 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:51,990 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:51,991 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:51,991 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:51,992 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:51,993 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:51,994 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:51,995 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:51,996 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:51,996 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:51,997 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:51,998 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:51,999 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:51,999 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:52,000 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:52,001 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:52,002 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:52,003 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:52,004 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:52,005 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:52,006 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:52,007 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:52,008 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:52,008 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:52,009 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:52,010 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:52,011 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:52,012 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:52,013 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:52,014 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:52,015 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:52,017 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:52,018 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:52,019 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:52,020 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:52,021 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:52,022 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 19:35:52,024 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:52,033 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:52,034 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,755 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,755 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,890 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 6 terms [2019-08-22 19:35:57,904 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,904 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,907 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,908 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 19:35:57,908 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,909 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,909 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,909 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,910 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,910 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,911 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,912 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,912 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,913 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,913 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,914 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,915 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,916 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,916 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,917 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,918 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,919 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,919 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,920 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,920 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,921 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,921 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,922 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,923 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,923 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,924 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,925 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,926 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,926 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,927 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,928 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,929 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,929 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,930 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,931 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,932 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,933 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,933 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,934 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,935 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,936 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,937 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,937 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,938 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,939 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,940 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,941 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,942 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,943 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,944 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,945 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,946 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,947 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,948 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,949 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,950 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,951 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,952 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,953 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,954 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,956 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,957 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 19:35:57,958 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,959 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,966 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,967 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,967 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,967 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,968 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,968 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,969 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,969 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,969 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,970 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,970 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,971 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,971 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,972 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,972 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,973 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,973 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,974 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,974 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,975 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,976 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,976 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,977 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,977 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,978 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,979 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,979 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,980 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,981 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,982 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,982 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,983 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,984 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,985 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,985 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,986 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,987 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,988 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,989 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,989 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,990 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,991 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,992 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,993 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,994 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,995 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,995 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,996 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,997 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,998 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,999 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,000 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,001 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,002 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,003 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,004 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,005 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,006 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,007 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,008 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,009 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,011 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,012 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,013 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 19:35:58,014 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,015 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:03,564 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:03,565 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:03,697 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 6 terms [2019-08-22 19:36:03,715 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:03,716 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 19:36:03,716 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:03,717 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:03,717 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:03,718 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:03,718 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:03,718 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:03,719 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:03,719 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:03,720 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:03,720 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:03,721 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:03,721 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:03,722 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:03,722 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:03,723 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:03,723 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:03,724 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:03,724 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:03,725 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:03,725 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:03,726 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:03,727 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:03,727 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:03,728 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:03,729 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:03,729 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:03,730 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:03,731 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:03,731 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:03,732 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:03,733 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:03,734 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:03,734 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:03,735 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:03,736 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:03,737 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:03,737 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:03,739 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:03,740 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:03,741 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:03,743 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:03,744 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:03,745 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:03,747 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:03,748 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:03,749 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:03,751 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:03,752 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:03,754 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:03,755 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:03,757 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:03,758 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:03,759 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:03,760 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:03,761 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:03,762 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:03,763 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:03,764 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:03,765 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:03,766 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:03,767 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:03,768 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:03,769 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 19:36:03,771 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:03,772 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:03,778 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:03,778 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:03,779 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:03,779 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:03,779 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:03,780 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:03,780 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:03,781 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:03,781 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:03,781 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:03,782 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:03,782 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:03,783 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:03,783 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:03,784 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:03,784 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:03,785 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:03,786 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:03,786 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:03,787 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:03,787 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:03,788 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:03,789 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:03,789 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:03,790 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:03,790 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:03,791 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:03,792 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:03,793 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:03,793 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:03,794 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:03,795 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:03,796 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:03,796 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:03,797 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:03,798 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:03,799 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:03,799 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:03,800 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:03,801 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:03,802 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:03,803 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:03,804 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:03,804 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:03,805 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:03,806 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:03,807 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:03,808 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:03,809 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:03,810 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:03,811 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:03,812 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:03,813 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:03,814 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:03,815 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:03,816 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:03,817 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:03,818 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:03,819 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:03,820 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:03,822 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:03,823 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:03,824 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:03,825 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 19:36:03,827 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:03,828 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:03,836 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:03,836 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms