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/Problem02_label09.c -------------------------------------------------------------------------------- This is Ultimate 0.1.24-fab3c18 [2019-08-22 19:35:28,762 INFO L177 SettingsManager]: Resetting all preferences to default values... [2019-08-22 19:35:28,764 INFO L181 SettingsManager]: Resetting UltimateCore preferences to default values [2019-08-22 19:35:28,777 INFO L184 SettingsManager]: Ultimate Commandline Interface provides no preferences, ignoring... [2019-08-22 19:35:28,777 INFO L181 SettingsManager]: Resetting Boogie Preprocessor preferences to default values [2019-08-22 19:35:28,778 INFO L181 SettingsManager]: Resetting Boogie Procedure Inliner preferences to default values [2019-08-22 19:35:28,779 INFO L181 SettingsManager]: Resetting Abstract Interpretation preferences to default values [2019-08-22 19:35:28,781 INFO L181 SettingsManager]: Resetting LassoRanker preferences to default values [2019-08-22 19:35:28,783 INFO L181 SettingsManager]: Resetting Reaching Definitions preferences to default values [2019-08-22 19:35:28,784 INFO L181 SettingsManager]: Resetting SyntaxChecker preferences to default values [2019-08-22 19:35:28,785 INFO L181 SettingsManager]: Resetting Symbolic Interpretation preferences to default values [2019-08-22 19:35:28,786 INFO L184 SettingsManager]: Büchi Program Product provides no preferences, ignoring... [2019-08-22 19:35:28,786 INFO L181 SettingsManager]: Resetting LTL2Aut preferences to default values [2019-08-22 19:35:28,787 INFO L181 SettingsManager]: Resetting PEA to Boogie preferences to default values [2019-08-22 19:35:28,788 INFO L181 SettingsManager]: Resetting BlockEncodingV2 preferences to default values [2019-08-22 19:35:28,789 INFO L181 SettingsManager]: Resetting ChcToBoogie preferences to default values [2019-08-22 19:35:28,790 INFO L181 SettingsManager]: Resetting AutomataScriptInterpreter preferences to default values [2019-08-22 19:35:28,791 INFO L181 SettingsManager]: Resetting BuchiAutomizer preferences to default values [2019-08-22 19:35:28,793 INFO L181 SettingsManager]: Resetting CACSL2BoogieTranslator preferences to default values [2019-08-22 19:35:28,794 INFO L181 SettingsManager]: Resetting CodeCheck preferences to default values [2019-08-22 19:35:28,796 INFO L181 SettingsManager]: Resetting InvariantSynthesis preferences to default values [2019-08-22 19:35:28,797 INFO L181 SettingsManager]: Resetting RCFGBuilder preferences to default values [2019-08-22 19:35:28,798 INFO L181 SettingsManager]: Resetting Referee preferences to default values [2019-08-22 19:35:28,799 INFO L181 SettingsManager]: Resetting TraceAbstraction preferences to default values [2019-08-22 19:35:28,801 INFO L184 SettingsManager]: TraceAbstractionConcurrent provides no preferences, ignoring... [2019-08-22 19:35:28,801 INFO L184 SettingsManager]: TraceAbstractionWithAFAs provides no preferences, ignoring... [2019-08-22 19:35:28,802 INFO L181 SettingsManager]: Resetting TreeAutomizer preferences to default values [2019-08-22 19:35:28,802 INFO L181 SettingsManager]: Resetting IcfgToChc preferences to default values [2019-08-22 19:35:28,803 INFO L181 SettingsManager]: Resetting IcfgTransformer preferences to default values [2019-08-22 19:35:28,804 INFO L184 SettingsManager]: ReqToTest provides no preferences, ignoring... [2019-08-22 19:35:28,804 INFO L181 SettingsManager]: Resetting Boogie Printer preferences to default values [2019-08-22 19:35:28,805 INFO L181 SettingsManager]: Resetting ChcSmtPrinter preferences to default values [2019-08-22 19:35:28,805 INFO L181 SettingsManager]: Resetting ReqPrinter preferences to default values [2019-08-22 19:35:28,806 INFO L181 SettingsManager]: Resetting Witness Printer preferences to default values [2019-08-22 19:35:28,807 INFO L184 SettingsManager]: Boogie PL CUP Parser provides no preferences, ignoring... [2019-08-22 19:35:28,807 INFO L181 SettingsManager]: Resetting CDTParser preferences to default values [2019-08-22 19:35:28,808 INFO L184 SettingsManager]: AutomataScriptParser provides no preferences, ignoring... [2019-08-22 19:35:28,808 INFO L184 SettingsManager]: ReqParser provides no preferences, ignoring... [2019-08-22 19:35:28,809 INFO L181 SettingsManager]: Resetting SmtParser preferences to default values [2019-08-22 19:35:28,809 INFO L181 SettingsManager]: Resetting Witness Parser preferences to default values [2019-08-22 19:35:28,810 INFO L188 SettingsManager]: Finished resetting all preferences to default values... [2019-08-22 19:35:28,811 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:35:28,825 INFO L113 SettingsManager]: Loading preferences was successful [2019-08-22 19:35:28,825 INFO L115 SettingsManager]: Preferences different from defaults after loading the file: [2019-08-22 19:35:28,827 INFO L136 SettingsManager]: Preferences of BlockEncodingV2 differ from their defaults: [2019-08-22 19:35:28,827 INFO L138 SettingsManager]: * Create parallel compositions if possible=false [2019-08-22 19:35:28,827 INFO L138 SettingsManager]: * Use SBE=true [2019-08-22 19:35:28,827 INFO L136 SettingsManager]: Preferences of CACSL2BoogieTranslator differ from their defaults: [2019-08-22 19:35:28,828 INFO L138 SettingsManager]: * sizeof long=4 [2019-08-22 19:35:28,828 INFO L138 SettingsManager]: * Overapproximate operations on floating types=true [2019-08-22 19:35:28,828 INFO L138 SettingsManager]: * sizeof POINTER=4 [2019-08-22 19:35:28,828 INFO L138 SettingsManager]: * Check division by zero=IGNORE [2019-08-22 19:35:28,828 INFO L138 SettingsManager]: * Pointer to allocated memory at dereference=IGNORE [2019-08-22 19:35:28,829 INFO L138 SettingsManager]: * If two pointers are subtracted or compared they have the same base address=IGNORE [2019-08-22 19:35:28,829 INFO L138 SettingsManager]: * Check array bounds for arrays that are off heap=IGNORE [2019-08-22 19:35:28,829 INFO L138 SettingsManager]: * sizeof long double=12 [2019-08-22 19:35:28,829 INFO L138 SettingsManager]: * Check if freed pointer was valid=false [2019-08-22 19:35:28,829 INFO L138 SettingsManager]: * Use constant arrays=true [2019-08-22 19:35:28,830 INFO L138 SettingsManager]: * Pointer base address is valid at dereference=IGNORE [2019-08-22 19:35:28,830 INFO L136 SettingsManager]: Preferences of RCFGBuilder differ from their defaults: [2019-08-22 19:35:28,830 INFO L138 SettingsManager]: * Size of a code block=SequenceOfStatements [2019-08-22 19:35:28,830 INFO L138 SettingsManager]: * To the following directory=./dump/ [2019-08-22 19:35:28,830 INFO L138 SettingsManager]: * SMT solver=External_DefaultMode [2019-08-22 19:35:28,831 INFO L138 SettingsManager]: * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000 [2019-08-22 19:35:28,831 INFO L136 SettingsManager]: Preferences of TraceAbstraction differ from their defaults: [2019-08-22 19:35:28,831 INFO L138 SettingsManager]: * Compute Interpolants along a Counterexample=FPandBP [2019-08-22 19:35:28,831 INFO L138 SettingsManager]: * Positions where we compute the Hoare Annotation=LoopsAndPotentialCycles [2019-08-22 19:35:28,832 INFO L138 SettingsManager]: * Trace refinement strategy=CAMEL [2019-08-22 19:35:28,832 INFO L138 SettingsManager]: * SMT solver=External_ModelsAndUnsatCoreMode [2019-08-22 19:35:28,832 INFO L138 SettingsManager]: * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in [2019-08-22 19:35:28,832 INFO L138 SettingsManager]: * Compute Hoare Annotation of negated interpolant automaton, abstraction and CFG=true [2019-08-22 19:35:28,868 INFO L81 nceAwareModelManager]: Repository-Root is: /tmp [2019-08-22 19:35:28,884 INFO L258 ainManager$Toolchain]: [Toolchain 1]: Applicable parser(s) successfully (re)initialized [2019-08-22 19:35:28,889 INFO L214 ainManager$Toolchain]: [Toolchain 1]: Toolchain selected. [2019-08-22 19:35:28,891 INFO L271 PluginConnector]: Initializing CDTParser... [2019-08-22 19:35:28,891 INFO L275 PluginConnector]: CDTParser initialized [2019-08-22 19:35:28,892 INFO L428 ainManager$Toolchain]: [Toolchain 1]: Parsing single file: /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/../../../trunk/examples/svcomp/eca-rers2012/Problem02_label09.c [2019-08-22 19:35:28,962 INFO L220 CDTParser]: Created temporary CDT project at /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/data/a294ec426/610c10e9e9e84fc09ff47f08ec1e7225/FLAGe6ed0b117 [2019-08-22 19:35:29,494 INFO L306 CDTParser]: Found 1 translation units. [2019-08-22 19:35:29,495 INFO L160 CDTParser]: Scanning /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem02_label09.c [2019-08-22 19:35:29,518 INFO L349 CDTParser]: About to delete temporary CDT project at /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/data/a294ec426/610c10e9e9e84fc09ff47f08ec1e7225/FLAGe6ed0b117 [2019-08-22 19:35:29,773 INFO L357 CDTParser]: Successfully deleted /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/data/a294ec426/610c10e9e9e84fc09ff47f08ec1e7225 [2019-08-22 19:35:29,782 INFO L296 ainManager$Toolchain]: ####################### [Toolchain 1] ####################### [2019-08-22 19:35:29,783 INFO L131 ToolchainWalker]: Walking toolchain with 4 elements. [2019-08-22 19:35:29,784 INFO L113 PluginConnector]: ------------------------CACSL2BoogieTranslator---------------------------- [2019-08-22 19:35:29,784 INFO L271 PluginConnector]: Initializing CACSL2BoogieTranslator... [2019-08-22 19:35:29,788 INFO L275 PluginConnector]: CACSL2BoogieTranslator initialized [2019-08-22 19:35:29,788 INFO L185 PluginConnector]: Executing the observer ACSLObjectContainerObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 22.08 07:35:29" (1/1) ... [2019-08-22 19:35:29,792 INFO L205 PluginConnector]: Invalid model from CACSL2BoogieTranslator for observer de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator.ACSLObjectContainerObserver@7099f0d3 and model type de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 22.08 07:35:29, skipping insertion in model container [2019-08-22 19:35:29,792 INFO L185 PluginConnector]: Executing the observer CACSL2BoogieTranslatorObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 22.08 07:35:29" (1/1) ... [2019-08-22 19:35:29,799 INFO L142 MainTranslator]: Starting translation in SV-COMP mode [2019-08-22 19:35:29,850 INFO L173 MainTranslator]: Built tables and reachable declarations [2019-08-22 19:35:30,343 INFO L206 PostProcessor]: Analyzing one entry point: main [2019-08-22 19:35:30,350 INFO L188 MainTranslator]: Completed pre-run [2019-08-22 19:35:30,460 INFO L206 PostProcessor]: Analyzing one entry point: main [2019-08-22 19:35:30,480 INFO L192 MainTranslator]: Completed translation [2019-08-22 19:35:30,481 INFO L202 PluginConnector]: Adding new model de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 22.08 07:35:30 WrapperNode [2019-08-22 19:35:30,481 INFO L132 PluginConnector]: ------------------------ END CACSL2BoogieTranslator---------------------------- [2019-08-22 19:35:30,482 INFO L113 PluginConnector]: ------------------------Boogie Preprocessor---------------------------- [2019-08-22 19:35:30,482 INFO L271 PluginConnector]: Initializing Boogie Preprocessor... [2019-08-22 19:35:30,482 INFO L275 PluginConnector]: Boogie Preprocessor initialized [2019-08-22 19:35:30,492 INFO L185 PluginConnector]: Executing the observer EnsureBoogieModelObserver from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 22.08 07:35:30" (1/1) ... [2019-08-22 19:35:30,492 INFO L185 PluginConnector]: Executing the observer TypeChecker from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 22.08 07:35:30" (1/1) ... [2019-08-22 19:35:30,509 INFO L185 PluginConnector]: Executing the observer ConstExpander from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 22.08 07:35:30" (1/1) ... [2019-08-22 19:35:30,509 INFO L185 PluginConnector]: Executing the observer StructExpander from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 22.08 07:35:30" (1/1) ... [2019-08-22 19:35:30,547 INFO L185 PluginConnector]: Executing the observer UnstructureCode from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 22.08 07:35:30" (1/1) ... [2019-08-22 19:35:30,563 INFO L185 PluginConnector]: Executing the observer FunctionInliner from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 22.08 07:35:30" (1/1) ... [2019-08-22 19:35:30,568 INFO L185 PluginConnector]: Executing the observer BoogieSymbolTableConstructor from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 22.08 07:35:30" (1/1) ... [2019-08-22 19:35:30,575 INFO L132 PluginConnector]: ------------------------ END Boogie Preprocessor---------------------------- [2019-08-22 19:35:30,575 INFO L113 PluginConnector]: ------------------------RCFGBuilder---------------------------- [2019-08-22 19:35:30,575 INFO L271 PluginConnector]: Initializing RCFGBuilder... [2019-08-22 19:35:30,576 INFO L275 PluginConnector]: RCFGBuilder initialized [2019-08-22 19:35:30,577 INFO L185 PluginConnector]: Executing the observer RCFGBuilderObserver from plugin RCFGBuilder for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 22.08 07:35:30" (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:35:30,632 INFO L138 BoogieDeclarations]: Found implementation of procedure ULTIMATE.init [2019-08-22 19:35:30,632 INFO L138 BoogieDeclarations]: Found implementation of procedure ULTIMATE.start [2019-08-22 19:35:30,632 INFO L138 BoogieDeclarations]: Found implementation of procedure calculate_output [2019-08-22 19:35:30,632 INFO L138 BoogieDeclarations]: Found implementation of procedure main [2019-08-22 19:35:30,633 INFO L130 BoogieDeclarations]: Found specification of procedure calculate_output [2019-08-22 19:35:30,633 INFO L130 BoogieDeclarations]: Found specification of procedure __VERIFIER_error [2019-08-22 19:35:30,633 INFO L130 BoogieDeclarations]: Found specification of procedure __VERIFIER_nondet_int [2019-08-22 19:35:30,633 INFO L130 BoogieDeclarations]: Found specification of procedure exit [2019-08-22 19:35:30,633 INFO L130 BoogieDeclarations]: Found specification of procedure main [2019-08-22 19:35:30,633 INFO L130 BoogieDeclarations]: Found specification of procedure ULTIMATE.init [2019-08-22 19:35:30,634 INFO L130 BoogieDeclarations]: Found specification of procedure ULTIMATE.start [2019-08-22 19:35:31,753 INFO L278 CfgBuilder]: Using the 1 location(s) as analysis (start of procedure ULTIMATE.start) [2019-08-22 19:35:31,753 INFO L283 CfgBuilder]: Removed 1 assume(true) statements. [2019-08-22 19:35:31,759 INFO L202 PluginConnector]: Adding new model de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder CFG 22.08 07:35:31 BoogieIcfgContainer [2019-08-22 19:35:31,759 INFO L132 PluginConnector]: ------------------------ END RCFGBuilder---------------------------- [2019-08-22 19:35:31,760 INFO L113 PluginConnector]: ------------------------Symbolic Interpretation---------------------------- [2019-08-22 19:35:31,760 INFO L271 PluginConnector]: Initializing Symbolic Interpretation... [2019-08-22 19:35:31,761 INFO L275 PluginConnector]: Symbolic Interpretation initialized [2019-08-22 19:35:31,763 INFO L185 PluginConnector]: Executing the observer SymbolicInterpretationObserver from plugin Symbolic Interpretation for "de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder CFG 22.08 07:35:31" (1/1) ... [2019-08-22 19:35:31,777 INFO L148 IcfgInterpreter]: Started Sifa with 1 locations of interest [2019-08-22 19:35:31,779 INFO L155 IcfgInterpreter]: Building call graph [2019-08-22 19:35:31,788 INFO L160 IcfgInterpreter]: Initial procedures are [ULTIMATE.start] [2019-08-22 19:35:31,797 INFO L165 IcfgInterpreter]: Starting interpretation [2019-08-22 19:35:31,798 INFO L185 IcfgInterpreter]: Interpreting procedure ULTIMATE.start with input of size 1 [2019-08-22 19:35:31,913 INFO L185 IcfgInterpreter]: Interpreting procedure main with input of size 89 [2019-08-22 19:35:32,881 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 5 terms [2019-08-22 19:35:32,943 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 19:35:33,161 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:33,245 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 6 terms [2019-08-22 19:35:33,762 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 19:35:34,031 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 6 terms [2019-08-22 19:35:34,542 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 19:35:34,691 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 6 terms [2019-08-22 19:35:35,067 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 6 terms [2019-08-22 19:35:35,358 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:35,360 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:35,361 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:35,363 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:35,405 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 5 terms [2019-08-22 19:35:36,139 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,140 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 19:35:36,141 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,142 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,143 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,144 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,145 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,146 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,147 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,148 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,149 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,150 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,153 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,155 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,156 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,157 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,158 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,159 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,161 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,162 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,163 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,164 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,165 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,167 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,168 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,169 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,171 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,172 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,173 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,174 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,176 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,177 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,179 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,180 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,182 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,183 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,185 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,186 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,188 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,189 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,191 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,192 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,194 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,197 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,198 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,200 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,202 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,203 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,205 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,207 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,209 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,212 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,214 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,218 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,221 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,223 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,226 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,228 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,229 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,232 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,234 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,237 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,239 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,241 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,244 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,245 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,247 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,250 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,252 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,254 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,256 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,258 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,261 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,263 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,265 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 19:35:36,269 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,273 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,277 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,291 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,292 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,293 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,294 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,295 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,296 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,296 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,297 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,298 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,299 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,300 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,300 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,301 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,302 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,303 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,304 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,305 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,306 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,307 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,308 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,309 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,310 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,312 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,313 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,314 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,315 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,316 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,318 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,319 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,320 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,321 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,323 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,324 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,326 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,327 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,328 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,330 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,331 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,332 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,334 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,335 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,337 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,338 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,340 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,341 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,343 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,344 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,346 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,348 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,349 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,351 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,353 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,354 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,356 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,358 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,359 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,374 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,375 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,377 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,379 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,381 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,383 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,385 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,387 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,388 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,390 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,392 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,394 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,396 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,398 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,400 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,401 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,403 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,406 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 19:35:36,408 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,412 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,415 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,426 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,426 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,427 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,428 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,429 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,452 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,453 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,453 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,472 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,473 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:36,474 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:37,870 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:37,874 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:37,876 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:37,876 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:37,879 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:37,880 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:37,890 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:37,891 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:37,892 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 19:35:37,893 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:37,894 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:37,894 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:37,895 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:37,896 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:37,896 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:37,897 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:37,898 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:37,899 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:37,899 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:37,900 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:37,901 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:37,902 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:37,903 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:37,904 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:37,905 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:37,909 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:37,910 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:37,911 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:37,913 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:37,914 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:37,916 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:37,917 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:37,918 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:37,919 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:37,920 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:37,924 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:37,932 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:37,934 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:37,935 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:37,936 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:37,937 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:37,939 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:37,940 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:37,941 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:37,943 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:37,944 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:37,945 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:37,947 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:37,948 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:37,950 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:37,951 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:37,953 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:37,954 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:37,955 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:37,957 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:37,958 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:37,960 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:37,962 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:37,964 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:37,966 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:37,967 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:37,969 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:37,971 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:37,977 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:37,979 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:37,981 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:37,983 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:37,998 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,002 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,014 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,017 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,020 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,024 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,027 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,029 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,032 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,034 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,036 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,041 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,044 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,048 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,052 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 19:35:38,056 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,061 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,068 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,072 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,090 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,092 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,096 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,097 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,098 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,100 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,101 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,102 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,103 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,104 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,105 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,107 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,108 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,110 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,111 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,113 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,113 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,115 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,116 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,117 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,118 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,119 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,120 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,121 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,123 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,124 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,126 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,128 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,129 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,130 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,131 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,138 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,140 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,143 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,145 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,147 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,150 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,153 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,156 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,158 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,160 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,162 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,165 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,167 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,170 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,173 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,176 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,179 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,180 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,182 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,184 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,187 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,190 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,193 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,196 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,199 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,202 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,206 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,209 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,212 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,231 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,235 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,238 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,242 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,243 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,246 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,248 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,252 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,256 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,260 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,263 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,267 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 19:35:38,271 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,279 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,283 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,290 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,302 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,303 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,305 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,306 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,307 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,307 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,308 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,309 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,309 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,310 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,311 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,313 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,314 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,316 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,318 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,319 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,321 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,323 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,329 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,331 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,332 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,334 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,336 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,338 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,340 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,342 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,343 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,345 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,351 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,353 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,355 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,357 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,360 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,364 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,368 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,371 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,373 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,376 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,377 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,379 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,380 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,382 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,384 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,387 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,389 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,392 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,396 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,399 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,402 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,405 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,407 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,410 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,413 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,416 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,419 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,422 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,425 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,429 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,432 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,436 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,440 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,443 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,446 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,450 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,454 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,457 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,461 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,464 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,466 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,468 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,471 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,475 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,478 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,482 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 19:35:38,487 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,494 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,499 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,506 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,508 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,512 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,558 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,559 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,560 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,561 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,563 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,564 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,603 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,605 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,608 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:38,611 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,486 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,488 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,488 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,490 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,491 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,491 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,503 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,504 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,505 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,506 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 19:35:43,507 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,507 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,508 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,509 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,509 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,510 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,511 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,512 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,512 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,513 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,514 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,515 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,516 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,517 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,517 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,518 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,519 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,521 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,522 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,523 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,524 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,524 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,526 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,527 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,528 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,529 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,530 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,531 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,533 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,534 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,535 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,537 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,538 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,539 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,541 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,542 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,543 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,545 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,546 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,548 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,549 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,550 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,552 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,554 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,556 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,558 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,560 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,562 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,564 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,566 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,568 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,569 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,571 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,573 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,575 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,577 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,579 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,581 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,583 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,585 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,587 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,590 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,592 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,594 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,596 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,600 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,603 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,607 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,610 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,614 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,618 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,621 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,625 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 19:35:43,629 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,636 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,639 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,650 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,651 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,652 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,653 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,653 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,654 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,655 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,656 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,657 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,657 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,659 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,659 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,661 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,662 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,663 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,664 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,665 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,666 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,667 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,668 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,669 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,671 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,673 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,675 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,677 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,679 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,681 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,683 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,686 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,688 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,690 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,692 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,695 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,696 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,699 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,701 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,703 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,705 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,706 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,708 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,710 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,713 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,715 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,719 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,721 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,725 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,727 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,730 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,733 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,736 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,739 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,741 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,744 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,747 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,749 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,751 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,753 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,754 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,756 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,759 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,761 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,763 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,766 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,768 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,771 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,773 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,774 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,778 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,782 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,785 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,789 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,793 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,796 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,800 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 19:35:43,805 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,811 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,816 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,827 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,829 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,830 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,831 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,833 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,834 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,835 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,837 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,838 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,839 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,840 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,842 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,844 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,845 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,847 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,848 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,850 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,852 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,853 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,855 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,856 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,858 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,860 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,862 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,863 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,866 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,868 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,870 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,871 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,872 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,874 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,875 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,877 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,878 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,880 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,881 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,883 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,884 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,885 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,888 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,891 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,894 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,896 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,899 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,902 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,904 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,907 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,910 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,913 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,916 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,919 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,922 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,925 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,928 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,931 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,934 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,937 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,939 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,941 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,942 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,945 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,949 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,952 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,956 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,959 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,963 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,966 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,970 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,973 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,976 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,980 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,983 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,987 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,991 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,995 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:43,998 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:44,001 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 19:35:44,004 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:44,009 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:44,012 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:44,026 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:44,027 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:44,029 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:44,030 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:44,031 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:44,032 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:44,033 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:44,035 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:44,036 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:44,037 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:44,038 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:44,040 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:44,041 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:44,042 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:44,044 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:44,045 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:44,047 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:44,049 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:44,050 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:44,052 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:44,053 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:44,054 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:44,055 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:44,057 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:44,059 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:44,062 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:44,064 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:44,066 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:44,068 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:44,070 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:44,072 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:44,078 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:44,080 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:44,083 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:44,085 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:44,087 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:44,089 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:44,090 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:44,091 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:44,093 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:44,094 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:44,096 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:44,099 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:44,102 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:44,105 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:44,107 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:44,110 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:44,113 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:44,116 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:44,119 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:44,121 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:44,124 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:44,127 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:44,130 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:44,133 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:44,136 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:44,139 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:44,142 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:44,145 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:44,149 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:44,152 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:44,156 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:44,160 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:44,163 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:44,167 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:44,170 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:44,174 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:44,178 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:44,182 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:44,186 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:44,190 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:44,193 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:44,197 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:44,201 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 19:35:44,206 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:44,211 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:44,217 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:44,221 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:44,224 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:44,227 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:44,231 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:44,284 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:44,285 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:44,286 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:44,287 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:44,288 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:44,289 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:44,290 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:44,292 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:44,292 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:44,334 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:44,336 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:44,337 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:44,338 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:44,342 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,643 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,644 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,645 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,645 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,646 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,647 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,648 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,659 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,660 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,661 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,662 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,662 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 19:35:57,663 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,664 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,664 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,665 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,666 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,666 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,667 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,668 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,669 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,670 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,671 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,672 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,673 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,674 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,675 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,676 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,677 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,679 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,680 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,681 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,708 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,709 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,710 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,712 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,713 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,714 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,715 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,716 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,717 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,718 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,720 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,721 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,722 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,723 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,725 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,726 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,727 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,729 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,730 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,731 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,733 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,734 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,736 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,737 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,739 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,740 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,742 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,743 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,745 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,747 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,748 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,750 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,751 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,753 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,754 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,756 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,758 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,759 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,761 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,763 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,765 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,767 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,769 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,771 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,773 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,775 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,777 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,778 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,781 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,783 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,785 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,787 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,789 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 19:35:57,791 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,795 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,798 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,804 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,805 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,805 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,806 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,807 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,808 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,808 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,809 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,810 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,811 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,811 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,812 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,813 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,814 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,815 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,816 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,817 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,817 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,818 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,819 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,820 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,821 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,822 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,823 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,824 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,825 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,826 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,827 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,829 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,830 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,831 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,832 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,833 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,834 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,836 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,837 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,838 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,839 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,841 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,842 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,843 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,846 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,847 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,849 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,850 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,852 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,853 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,855 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,856 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,858 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,859 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,861 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,863 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,864 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,866 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,867 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,869 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,871 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,872 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,874 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,876 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,878 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,880 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,882 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,884 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,886 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,888 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,889 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,891 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,893 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,895 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,897 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,899 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,901 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 19:35:57,903 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,906 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,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,918 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,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,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,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,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,955 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,958 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,960 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,961 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,963 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,964 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:57,965 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,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,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,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,979 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,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,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,990 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,995 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,999 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,003 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,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,010 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,018 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,020 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,022 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,023 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,025 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 19:35:58,028 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,032 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,036 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,037 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,040 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,051 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,052 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,053 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,053 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,054 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,055 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,055 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,056 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,057 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,058 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,058 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,059 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,060 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,061 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,062 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,063 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,064 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,065 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,065 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,066 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,067 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,068 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,069 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,070 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,071 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,072 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,073 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,074 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,075 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,076 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,077 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,079 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,080 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,081 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,083 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,084 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,085 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,086 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,087 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,089 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,090 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,091 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,093 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,094 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,095 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,097 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,098 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,099 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,101 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,103 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,104 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,106 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,108 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,109 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,111 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,112 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,114 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,115 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,117 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,119 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,120 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,122 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,124 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,125 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,127 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,129 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,131 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,133 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,134 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,136 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,138 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,140 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,142 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,144 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,146 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 19:35:58,148 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,150 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,154 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,156 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,158 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,162 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,168 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,169 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,170 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,170 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,171 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,172 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,172 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,173 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,173 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,174 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,175 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,176 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,177 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,177 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,178 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,179 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,180 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,180 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,181 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,182 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,183 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,184 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,185 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,186 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,187 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,188 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,188 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,189 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,190 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,191 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,193 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,194 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,195 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,196 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,197 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,198 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,199 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,201 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,202 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,203 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,204 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,205 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,207 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,208 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,210 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,211 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,213 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,214 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,215 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,217 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,219 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,220 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,222 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,223 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,225 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,226 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,228 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,230 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,232 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,234 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,236 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,238 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,240 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,241 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,243 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,245 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,247 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,249 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,251 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,252 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,254 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,256 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,258 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,260 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,262 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 19:35:58,264 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,266 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,270 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,273 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,274 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,276 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,305 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,305 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,305 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,306 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,307 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,307 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,309 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,310 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,310 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,311 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,311 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,312 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,332 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,334 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,335 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,335 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,336 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:35:58,338 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,721 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,722 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,723 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,723 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,725 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,725 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,736 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,736 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,737 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,737 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,738 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,739 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,739 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,740 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,740 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,740 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,741 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,741 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,742 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,742 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,743 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,743 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,744 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,744 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,745 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,745 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,746 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,747 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,747 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,748 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,748 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,749 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,750 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,751 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,752 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,753 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,754 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,755 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,756 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,757 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,758 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,759 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,760 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,762 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,763 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,764 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,765 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,766 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,767 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,768 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,770 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,771 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,772 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,773 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,775 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,776 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,778 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,779 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,781 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,782 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,784 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,785 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,786 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,787 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,788 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,790 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,791 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,793 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,795 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,797 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,798 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,800 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,801 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,803 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,805 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,806 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,808 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,810 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,812 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,814 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,816 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,818 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,819 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,821 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,824 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 19:36:24,826 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,828 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,832 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,833 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,836 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,843 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,844 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,845 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,846 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,846 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,847 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,848 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,848 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,849 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,850 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,850 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,851 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,852 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,852 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,853 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,854 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,855 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,856 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,857 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,857 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,858 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,859 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,860 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,861 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,862 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,863 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,864 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,865 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,865 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,866 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,867 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,867 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,868 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,869 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,870 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,870 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,871 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,872 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,873 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,873 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,874 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,875 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,876 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,877 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,878 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,878 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,879 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,880 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,881 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,882 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,883 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,884 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,885 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,886 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,887 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,888 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,890 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,891 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,892 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,893 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,894 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,895 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,896 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,898 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,899 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,900 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,902 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,903 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,905 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,907 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,908 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,910 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,912 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,913 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,915 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,917 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,919 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,921 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,923 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 19:36:24,925 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,927 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,931 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,938 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,939 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,939 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,940 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 19:36:24,941 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,942 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,942 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,943 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,944 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,945 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,946 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,946 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,947 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,948 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,949 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,949 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,950 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,951 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,952 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,953 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,954 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,954 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,955 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,956 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,957 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,958 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,959 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,960 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,961 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,962 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,963 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,965 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,966 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,967 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,968 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,969 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,970 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,971 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,973 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,974 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,975 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,976 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,977 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,978 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,979 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,979 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,980 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,981 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,982 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,983 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:24,984 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,006 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,007 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,008 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,009 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,011 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,012 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,013 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,014 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,015 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,016 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,017 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,018 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,019 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,021 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,022 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,023 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,024 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,025 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,026 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,027 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,029 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,030 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,031 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,032 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,033 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,035 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 19:36:25,036 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,042 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,045 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,050 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,051 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,052 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,052 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,053 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,054 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,055 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,056 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,057 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,057 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,058 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,059 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,060 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,061 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,062 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,063 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,063 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,064 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,065 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,066 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,067 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,068 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,069 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,070 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,071 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,072 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,073 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,074 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,076 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,077 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,078 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,079 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,080 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,082 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,083 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,084 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,086 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,087 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,088 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,089 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,091 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,092 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,094 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,095 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,097 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,098 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,099 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,101 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,102 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,104 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,105 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,107 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,109 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,110 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,112 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,114 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,116 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,117 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,119 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,120 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,122 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,124 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,126 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,128 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,129 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,131 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,133 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,135 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,137 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,138 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,140 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,142 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,144 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,146 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 19:36:25,148 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,152 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,156 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,161 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,162 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,163 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,164 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,164 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,165 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,166 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,166 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,167 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,168 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,168 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,169 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,170 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,171 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,172 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,172 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,173 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,174 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,175 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,176 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,177 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,178 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,178 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,179 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,180 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,181 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,182 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,184 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,185 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,186 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,187 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,188 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,189 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,190 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,191 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,192 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,194 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,195 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,196 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,198 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,199 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,200 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,202 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,203 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,204 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,206 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,207 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,209 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,210 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,212 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,213 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,215 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,216 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,218 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,219 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,221 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,222 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,224 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,226 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,227 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,228 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,229 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,230 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,231 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,233 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,234 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,235 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,236 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,237 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,238 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,239 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,241 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,242 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,243 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,244 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,246 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,247 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,248 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 19:36:25,249 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,253 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,260 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,261 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,262 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,262 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,263 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,264 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,265 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,265 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,266 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,267 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,267 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,268 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,269 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,270 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,270 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,271 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,272 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,273 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,274 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,274 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,275 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,276 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,277 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,278 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,279 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,280 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,281 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,282 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,283 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,284 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,285 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,286 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,288 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,289 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,291 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,292 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,294 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,295 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,297 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,298 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,300 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,301 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,302 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,304 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,306 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,307 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,309 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,311 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,312 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,314 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,316 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,317 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,319 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,320 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,322 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,324 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,325 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,327 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,328 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,330 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,332 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,334 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,335 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,337 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,339 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,340 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,342 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,344 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,346 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,347 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,349 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,351 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,353 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,355 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,357 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 19:36:25,359 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,361 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,365 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,366 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,368 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,372 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,394 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,395 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,395 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,396 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,396 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,397 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,397 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,398 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,399 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,399 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,400 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,401 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,401 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,402 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,403 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,423 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,424 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,425 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,426 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 5 terms [2019-08-22 19:36:25,429 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,430 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 5 terms [2019-08-22 19:36:25,434 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,435 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 5 terms [2019-08-22 19:36:25,439 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,439 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:36:25,444 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 5 terms