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/ssh-simplified/s3_srvr_7.cil.c -------------------------------------------------------------------------------- This is Ultimate 0.1.24-fab3c18 [2019-08-22 19:25:59,131 INFO L177 SettingsManager]: Resetting all preferences to default values... [2019-08-22 19:25:59,134 INFO L181 SettingsManager]: Resetting UltimateCore preferences to default values [2019-08-22 19:25:59,154 INFO L184 SettingsManager]: Ultimate Commandline Interface provides no preferences, ignoring... [2019-08-22 19:25:59,154 INFO L181 SettingsManager]: Resetting Boogie Preprocessor preferences to default values [2019-08-22 19:25:59,156 INFO L181 SettingsManager]: Resetting Boogie Procedure Inliner preferences to default values [2019-08-22 19:25:59,158 INFO L181 SettingsManager]: Resetting Abstract Interpretation preferences to default values [2019-08-22 19:25:59,171 INFO L181 SettingsManager]: Resetting LassoRanker preferences to default values [2019-08-22 19:25:59,173 INFO L181 SettingsManager]: Resetting Reaching Definitions preferences to default values [2019-08-22 19:25:59,174 INFO L181 SettingsManager]: Resetting SyntaxChecker preferences to default values [2019-08-22 19:25:59,178 INFO L181 SettingsManager]: Resetting Symbolic Interpretation preferences to default values [2019-08-22 19:25:59,180 INFO L184 SettingsManager]: Büchi Program Product provides no preferences, ignoring... [2019-08-22 19:25:59,181 INFO L181 SettingsManager]: Resetting LTL2Aut preferences to default values [2019-08-22 19:25:59,183 INFO L181 SettingsManager]: Resetting PEA to Boogie preferences to default values [2019-08-22 19:25:59,186 INFO L181 SettingsManager]: Resetting BlockEncodingV2 preferences to default values [2019-08-22 19:25:59,188 INFO L181 SettingsManager]: Resetting ChcToBoogie preferences to default values [2019-08-22 19:25:59,190 INFO L181 SettingsManager]: Resetting AutomataScriptInterpreter preferences to default values [2019-08-22 19:25:59,193 INFO L181 SettingsManager]: Resetting BuchiAutomizer preferences to default values [2019-08-22 19:25:59,197 INFO L181 SettingsManager]: Resetting CACSL2BoogieTranslator preferences to default values [2019-08-22 19:25:59,202 INFO L181 SettingsManager]: Resetting CodeCheck preferences to default values [2019-08-22 19:25:59,206 INFO L181 SettingsManager]: Resetting InvariantSynthesis preferences to default values [2019-08-22 19:25:59,207 INFO L181 SettingsManager]: Resetting RCFGBuilder preferences to default values [2019-08-22 19:25:59,209 INFO L181 SettingsManager]: Resetting Referee preferences to default values [2019-08-22 19:25:59,209 INFO L181 SettingsManager]: Resetting TraceAbstraction preferences to default values [2019-08-22 19:25:59,211 INFO L184 SettingsManager]: TraceAbstractionConcurrent provides no preferences, ignoring... [2019-08-22 19:25:59,211 INFO L184 SettingsManager]: TraceAbstractionWithAFAs provides no preferences, ignoring... [2019-08-22 19:25:59,212 INFO L181 SettingsManager]: Resetting TreeAutomizer preferences to default values [2019-08-22 19:25:59,212 INFO L181 SettingsManager]: Resetting IcfgToChc preferences to default values [2019-08-22 19:25:59,213 INFO L181 SettingsManager]: Resetting IcfgTransformer preferences to default values [2019-08-22 19:25:59,214 INFO L184 SettingsManager]: ReqToTest provides no preferences, ignoring... [2019-08-22 19:25:59,214 INFO L181 SettingsManager]: Resetting Boogie Printer preferences to default values [2019-08-22 19:25:59,215 INFO L181 SettingsManager]: Resetting ChcSmtPrinter preferences to default values [2019-08-22 19:25:59,215 INFO L181 SettingsManager]: Resetting ReqPrinter preferences to default values [2019-08-22 19:25:59,216 INFO L181 SettingsManager]: Resetting Witness Printer preferences to default values [2019-08-22 19:25:59,217 INFO L184 SettingsManager]: Boogie PL CUP Parser provides no preferences, ignoring... [2019-08-22 19:25:59,217 INFO L181 SettingsManager]: Resetting CDTParser preferences to default values [2019-08-22 19:25:59,218 INFO L184 SettingsManager]: AutomataScriptParser provides no preferences, ignoring... [2019-08-22 19:25:59,218 INFO L184 SettingsManager]: ReqParser provides no preferences, ignoring... [2019-08-22 19:25:59,218 INFO L181 SettingsManager]: Resetting SmtParser preferences to default values [2019-08-22 19:25:59,219 INFO L181 SettingsManager]: Resetting Witness Parser preferences to default values [2019-08-22 19:25:59,220 INFO L188 SettingsManager]: Finished resetting all preferences to default values... [2019-08-22 19:25:59,221 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:25:59,235 INFO L113 SettingsManager]: Loading preferences was successful [2019-08-22 19:25:59,235 INFO L115 SettingsManager]: Preferences different from defaults after loading the file: [2019-08-22 19:25:59,237 INFO L136 SettingsManager]: Preferences of BlockEncodingV2 differ from their defaults: [2019-08-22 19:25:59,237 INFO L138 SettingsManager]: * Create parallel compositions if possible=false [2019-08-22 19:25:59,237 INFO L138 SettingsManager]: * Use SBE=true [2019-08-22 19:25:59,237 INFO L136 SettingsManager]: Preferences of CACSL2BoogieTranslator differ from their defaults: [2019-08-22 19:25:59,238 INFO L138 SettingsManager]: * sizeof long=4 [2019-08-22 19:25:59,238 INFO L138 SettingsManager]: * Overapproximate operations on floating types=true [2019-08-22 19:25:59,238 INFO L138 SettingsManager]: * sizeof POINTER=4 [2019-08-22 19:25:59,238 INFO L138 SettingsManager]: * Check division by zero=IGNORE [2019-08-22 19:25:59,238 INFO L138 SettingsManager]: * Pointer to allocated memory at dereference=IGNORE [2019-08-22 19:25:59,238 INFO L138 SettingsManager]: * If two pointers are subtracted or compared they have the same base address=IGNORE [2019-08-22 19:25:59,239 INFO L138 SettingsManager]: * Check array bounds for arrays that are off heap=IGNORE [2019-08-22 19:25:59,239 INFO L138 SettingsManager]: * sizeof long double=12 [2019-08-22 19:25:59,239 INFO L138 SettingsManager]: * Check if freed pointer was valid=false [2019-08-22 19:25:59,239 INFO L138 SettingsManager]: * Use constant arrays=true [2019-08-22 19:25:59,239 INFO L138 SettingsManager]: * Pointer base address is valid at dereference=IGNORE [2019-08-22 19:25:59,240 INFO L136 SettingsManager]: Preferences of RCFGBuilder differ from their defaults: [2019-08-22 19:25:59,240 INFO L138 SettingsManager]: * Size of a code block=SequenceOfStatements [2019-08-22 19:25:59,240 INFO L138 SettingsManager]: * To the following directory=./dump/ [2019-08-22 19:25:59,240 INFO L138 SettingsManager]: * SMT solver=External_DefaultMode [2019-08-22 19:25:59,240 INFO L138 SettingsManager]: * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000 [2019-08-22 19:25:59,241 INFO L136 SettingsManager]: Preferences of TraceAbstraction differ from their defaults: [2019-08-22 19:25:59,241 INFO L138 SettingsManager]: * Compute Interpolants along a Counterexample=FPandBP [2019-08-22 19:25:59,241 INFO L138 SettingsManager]: * Positions where we compute the Hoare Annotation=LoopsAndPotentialCycles [2019-08-22 19:25:59,241 INFO L138 SettingsManager]: * Trace refinement strategy=CAMEL [2019-08-22 19:25:59,242 INFO L138 SettingsManager]: * SMT solver=External_ModelsAndUnsatCoreMode [2019-08-22 19:25:59,242 INFO L138 SettingsManager]: * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in [2019-08-22 19:25:59,242 INFO L138 SettingsManager]: * Compute Hoare Annotation of negated interpolant automaton, abstraction and CFG=true [2019-08-22 19:25:59,271 INFO L81 nceAwareModelManager]: Repository-Root is: /tmp [2019-08-22 19:25:59,285 INFO L258 ainManager$Toolchain]: [Toolchain 1]: Applicable parser(s) successfully (re)initialized [2019-08-22 19:25:59,291 INFO L214 ainManager$Toolchain]: [Toolchain 1]: Toolchain selected. [2019-08-22 19:25:59,293 INFO L271 PluginConnector]: Initializing CDTParser... [2019-08-22 19:25:59,293 INFO L275 PluginConnector]: CDTParser initialized [2019-08-22 19:25:59,294 INFO L428 ainManager$Toolchain]: [Toolchain 1]: Parsing single file: /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/../../../trunk/examples/svcomp/ssh-simplified/s3_srvr_7.cil.c [2019-08-22 19:25:59,375 INFO L220 CDTParser]: Created temporary CDT project at /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/data/1b8ef393c/0d23c0ff55b04949a15489457275fb7a/FLAG888bfb098 [2019-08-22 19:25:59,933 INFO L306 CDTParser]: Found 1 translation units. [2019-08-22 19:25:59,933 INFO L160 CDTParser]: Scanning /storage/repos/ultimate/trunk/examples/svcomp/ssh-simplified/s3_srvr_7.cil.c [2019-08-22 19:25:59,954 INFO L349 CDTParser]: About to delete temporary CDT project at /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/data/1b8ef393c/0d23c0ff55b04949a15489457275fb7a/FLAG888bfb098 [2019-08-22 19:26:00,187 INFO L357 CDTParser]: Successfully deleted /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/data/1b8ef393c/0d23c0ff55b04949a15489457275fb7a [2019-08-22 19:26:00,197 INFO L296 ainManager$Toolchain]: ####################### [Toolchain 1] ####################### [2019-08-22 19:26:00,198 INFO L131 ToolchainWalker]: Walking toolchain with 4 elements. [2019-08-22 19:26:00,199 INFO L113 PluginConnector]: ------------------------CACSL2BoogieTranslator---------------------------- [2019-08-22 19:26:00,199 INFO L271 PluginConnector]: Initializing CACSL2BoogieTranslator... [2019-08-22 19:26:00,202 INFO L275 PluginConnector]: CACSL2BoogieTranslator initialized [2019-08-22 19:26:00,203 INFO L185 PluginConnector]: Executing the observer ACSLObjectContainerObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 22.08 07:26:00" (1/1) ... [2019-08-22 19:26:00,206 INFO L205 PluginConnector]: Invalid model from CACSL2BoogieTranslator for observer de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator.ACSLObjectContainerObserver@382e7073 and model type de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 22.08 07:26:00, skipping insertion in model container [2019-08-22 19:26:00,206 INFO L185 PluginConnector]: Executing the observer CACSL2BoogieTranslatorObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 22.08 07:26:00" (1/1) ... [2019-08-22 19:26:00,214 INFO L142 MainTranslator]: Starting translation in SV-COMP mode [2019-08-22 19:26:00,260 INFO L173 MainTranslator]: Built tables and reachable declarations [2019-08-22 19:26:00,598 INFO L206 PostProcessor]: Analyzing one entry point: main [2019-08-22 19:26:00,602 INFO L188 MainTranslator]: Completed pre-run [2019-08-22 19:26:00,665 INFO L206 PostProcessor]: Analyzing one entry point: main [2019-08-22 19:26:00,684 INFO L192 MainTranslator]: Completed translation [2019-08-22 19:26:00,685 INFO L202 PluginConnector]: Adding new model de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 22.08 07:26:00 WrapperNode [2019-08-22 19:26:00,685 INFO L132 PluginConnector]: ------------------------ END CACSL2BoogieTranslator---------------------------- [2019-08-22 19:26:00,686 INFO L113 PluginConnector]: ------------------------Boogie Preprocessor---------------------------- [2019-08-22 19:26:00,686 INFO L271 PluginConnector]: Initializing Boogie Preprocessor... [2019-08-22 19:26:00,686 INFO L275 PluginConnector]: Boogie Preprocessor initialized [2019-08-22 19:26:00,697 INFO L185 PluginConnector]: Executing the observer EnsureBoogieModelObserver from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 22.08 07:26:00" (1/1) ... [2019-08-22 19:26:00,697 INFO L185 PluginConnector]: Executing the observer TypeChecker from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 22.08 07:26:00" (1/1) ... [2019-08-22 19:26:00,706 INFO L185 PluginConnector]: Executing the observer ConstExpander from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 22.08 07:26:00" (1/1) ... [2019-08-22 19:26:00,706 INFO L185 PluginConnector]: Executing the observer StructExpander from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 22.08 07:26:00" (1/1) ... [2019-08-22 19:26:00,720 INFO L185 PluginConnector]: Executing the observer UnstructureCode from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 22.08 07:26:00" (1/1) ... [2019-08-22 19:26:00,733 INFO L185 PluginConnector]: Executing the observer FunctionInliner from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 22.08 07:26:00" (1/1) ... [2019-08-22 19:26:00,737 INFO L185 PluginConnector]: Executing the observer BoogieSymbolTableConstructor from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 22.08 07:26:00" (1/1) ... [2019-08-22 19:26:00,742 INFO L132 PluginConnector]: ------------------------ END Boogie Preprocessor---------------------------- [2019-08-22 19:26:00,742 INFO L113 PluginConnector]: ------------------------RCFGBuilder---------------------------- [2019-08-22 19:26:00,743 INFO L271 PluginConnector]: Initializing RCFGBuilder... [2019-08-22 19:26:00,743 INFO L275 PluginConnector]: RCFGBuilder initialized [2019-08-22 19:26:00,744 INFO L185 PluginConnector]: Executing the observer RCFGBuilderObserver from plugin RCFGBuilder for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 22.08 07:26:00" (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:26:00,808 INFO L138 BoogieDeclarations]: Found implementation of procedure ULTIMATE.init [2019-08-22 19:26:00,809 INFO L138 BoogieDeclarations]: Found implementation of procedure ULTIMATE.start [2019-08-22 19:26:00,809 INFO L138 BoogieDeclarations]: Found implementation of procedure ssl3_accept [2019-08-22 19:26:00,809 INFO L138 BoogieDeclarations]: Found implementation of procedure main [2019-08-22 19:26:00,810 INFO L130 BoogieDeclarations]: Found specification of procedure __VERIFIER_error [2019-08-22 19:26:00,810 INFO L130 BoogieDeclarations]: Found specification of procedure __VERIFIER_nondet_char [2019-08-22 19:26:00,810 INFO L130 BoogieDeclarations]: Found specification of procedure __VERIFIER_nondet_int [2019-08-22 19:26:00,811 INFO L130 BoogieDeclarations]: Found specification of procedure __VERIFIER_nondet_long [2019-08-22 19:26:00,811 INFO L130 BoogieDeclarations]: Found specification of procedure __VERIFIER_nondet_pointer [2019-08-22 19:26:00,811 INFO L130 BoogieDeclarations]: Found specification of procedure ssl3_accept [2019-08-22 19:26:00,811 INFO L130 BoogieDeclarations]: Found specification of procedure main [2019-08-22 19:26:00,812 INFO L130 BoogieDeclarations]: Found specification of procedure ULTIMATE.init [2019-08-22 19:26:00,812 INFO L130 BoogieDeclarations]: Found specification of procedure ULTIMATE.start [2019-08-22 19:26:01,066 WARN L731 $ProcedureCfgBuilder]: Label in the middle of a codeblock. [2019-08-22 19:26:01,703 INFO L684 $ProcedureCfgBuilder]: dead code at ProgramPoint $Ultimate##90: assume false; [2019-08-22 19:26:01,703 INFO L684 $ProcedureCfgBuilder]: dead code at ProgramPoint $Ultimate##91: assume !false; [2019-08-22 19:26:01,709 INFO L278 CfgBuilder]: Using the 1 location(s) as analysis (start of procedure ULTIMATE.start) [2019-08-22 19:26:01,709 INFO L283 CfgBuilder]: Removed 1 assume(true) statements. [2019-08-22 19:26:01,711 INFO L202 PluginConnector]: Adding new model de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder CFG 22.08 07:26:01 BoogieIcfgContainer [2019-08-22 19:26:01,711 INFO L132 PluginConnector]: ------------------------ END RCFGBuilder---------------------------- [2019-08-22 19:26:01,712 INFO L113 PluginConnector]: ------------------------Symbolic Interpretation---------------------------- [2019-08-22 19:26:01,712 INFO L271 PluginConnector]: Initializing Symbolic Interpretation... [2019-08-22 19:26:01,712 INFO L275 PluginConnector]: Symbolic Interpretation initialized [2019-08-22 19:26:01,714 INFO L185 PluginConnector]: Executing the observer SymbolicInterpretationObserver from plugin Symbolic Interpretation for "de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder CFG 22.08 07:26:01" (1/1) ... [2019-08-22 19:26:01,748 INFO L148 IcfgInterpreter]: Started Sifa with 1 locations of interest [2019-08-22 19:26:01,752 INFO L155 IcfgInterpreter]: Building call graph [2019-08-22 19:26:01,770 INFO L160 IcfgInterpreter]: Initial procedures are [ULTIMATE.start] [2019-08-22 19:26:01,787 INFO L165 IcfgInterpreter]: Starting interpretation [2019-08-22 19:26:01,788 INFO L185 IcfgInterpreter]: Interpreting procedure ULTIMATE.start with input of size 1 [2019-08-22 19:26:01,863 INFO L185 IcfgInterpreter]: Interpreting procedure main with input of size 1 [2019-08-22 19:26:01,873 INFO L185 IcfgInterpreter]: Interpreting procedure ssl3_accept with input of size 3 [2019-08-22 19:26:06,573 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:06,582 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:06,586 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:06,843 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:06,845 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:06,846 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:06,849 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:06,851 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:06,852 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:06,853 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:06,856 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:06,857 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:06,867 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:06,868 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:06,870 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:06,879 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:06,880 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:06,882 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:06,884 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:06,887 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:09,129 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:09,131 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:09,132 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:09,134 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:09,135 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:09,136 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:09,137 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:09,139 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:09,140 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:09,141 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:09,143 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:09,144 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:09,146 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:09,147 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:09,148 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:09,149 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:09,150 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:09,151 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:09,152 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:09,154 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:09,155 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:09,163 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:09,165 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:09,173 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:09,185 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:09,186 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:09,187 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:09,188 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:09,189 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:09,190 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:09,191 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:09,192 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:09,193 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:09,196 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:09,201 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:09,203 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:09,205 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:09,207 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:09,208 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:09,209 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:09,212 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:09,250 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:09,251 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:09,252 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:09,253 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:09,257 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:09,259 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:09,260 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:09,261 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:09,262 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:09,264 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:09,267 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:09,268 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:09,270 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:09,281 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:09,283 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:09,284 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:09,285 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:09,290 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:09,293 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:09,294 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:09,858 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:09,860 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:09,861 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:09,861 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:09,864 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:09,869 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:09,870 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:09,872 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:10,502 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:10,504 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:10,505 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:10,604 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:10,606 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:10,607 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:10,609 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:10,610 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:10,610 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:10,612 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:10,616 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:10,617 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:11,574 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:11,575 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:11,576 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:11,577 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:11,578 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:11,579 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:11,580 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:11,582 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:11,583 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:11,586 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:11,587 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:11,588 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:11,593 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:11,594 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:11,595 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:11,596 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:11,597 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:11,598 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:11,599 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:11,600 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:11,601 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:11,602 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:11,602 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:11,603 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:11,605 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:11,606 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:11,608 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:11,617 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:11,623 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:12,270 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:12,271 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:12,272 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:12,276 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:12,281 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:12,284 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:12,291 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:12,292 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:12,296 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:12,297 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:12,305 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:12,306 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:12,306 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:12,309 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:12,310 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:12,335 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:12,337 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:12,339 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:12,625 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:12,668 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:12,870 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:12,897 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:13,059 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:13,077 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:13,233 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:13,268 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:13,286 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:13,288 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:13,291 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:13,638 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:13,681 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:13,973 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:14,002 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:14,196 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:14,222 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:14,380 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:14,406 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:14,614 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:14,615 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:14,617 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:14,658 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:14,659 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:14,660 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:14,661 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:14,663 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:14,663 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:14,665 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:14,667 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:14,668 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:14,669 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:15,079 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:15,080 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:15,081 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:15,081 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:15,082 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:15,085 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:15,089 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:15,094 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:15,095 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:15,095 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:15,096 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:15,096 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:15,097 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:15,097 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:15,098 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:15,099 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:15,099 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:15,101 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:15,101 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:15,102 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:15,103 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:15,103 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:15,104 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:15,104 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:15,105 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:15,106 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:15,107 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:15,125 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:15,125 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:15,126 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:15,128 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:15,129 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:15,130 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:15,132 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:15,133 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:15,134 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:15,136 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:15,248 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:15,248 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:15,249 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:15,251 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:15,253 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:15,254 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:15,254 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:15,256 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:15,470 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:15,471 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:15,471 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:15,737 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:15,738 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:15,739 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:15,740 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:15,740 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:15,741 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:15,742 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:15,743 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:15,745 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:15,745 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:15,750 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:15,752 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:15,752 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:15,753 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:15,754 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:15,756 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:15,757 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:17,198 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:17,199 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:17,203 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:17,204 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:17,208 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:17,209 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:17,210 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:17,210 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:17,211 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:17,212 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:17,216 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:17,220 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:17,221 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:17,222 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:17,223 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:17,224 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:17,225 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:17,226 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:17,231 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:17,232 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:17,233 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:17,233 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:17,234 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:17,235 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:17,236 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:17,237 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:17,238 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:17,239 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:17,240 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:17,241 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:17,241 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:17,242 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:17,243 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:17,244 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:17,246 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:17,247 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:17,249 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:17,250 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:17,251 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:17,255 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:17,257 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:17,258 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:17,259 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:17,260 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:17,260 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:17,262 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:17,263 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:17,264 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:17,269 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:18,058 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:18,059 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:18,060 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:18,126 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:18,127 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:18,127 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:18,128 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:18,129 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:18,129 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:18,129 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:18,130 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:18,131 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:18,131 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:18,132 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:18,963 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:18,964 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:18,965 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:18,965 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:18,966 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:18,972 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:18,978 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:18,984 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:18,985 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:18,985 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:18,986 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:18,987 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:18,988 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:18,988 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:18,989 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:18,990 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:18,993 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:18,994 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:18,994 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:18,995 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:18,996 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:18,997 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:18,998 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:18,999 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:19,000 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:19,029 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:19,031 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:19,031 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:19,036 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:19,037 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:19,038 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:19,040 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:19,042 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:19,046 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:19,047 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:19,047 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:19,050 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:19,051 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:19,055 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:19,056 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:19,342 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:19,342 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:19,343 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:19,343 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:19,345 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:19,348 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:19,349 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:19,350 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:19,599 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:19,600 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:19,601 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:19,643 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:19,644 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:19,645 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:19,645 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:19,646 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:19,646 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:19,647 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:19,648 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:19,649 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:19,650 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:19,651 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:20,493 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:20,494 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:20,495 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:20,495 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:20,496 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:20,497 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:20,498 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:20,498 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:20,499 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:20,500 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:20,501 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:20,501 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:20,502 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:20,504 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:20,504 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:20,510 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:20,511 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:20,516 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:20,523 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:20,524 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:20,525 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:20,525 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:20,526 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:20,527 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:20,527 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:20,528 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:20,530 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:20,530 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:20,531 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:20,819 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:20,820 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:20,820 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:20,821 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:20,821 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:20,823 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:20,824 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:20,825 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:20,826 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:20,827 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:20,827 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:20,828 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:20,828 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:20,829 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:20,831 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:20,831 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:20,832 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:20,834 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:20,834 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:20,835 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:20,866 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:20,867 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:20,869 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:20,892 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:20,892 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:20,893 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:20,893 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:20,894 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:20,894 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:20,895 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:20,895 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:20,896 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:20,897 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:20,899 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:20,899 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:20,900 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:20,900 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:20,901 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:20,901 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:20,902 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:20,902 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:20,903 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:20,904 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:20,904 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:20,905 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:20,907 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:20,908 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:20,908 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:20,909 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:20,909 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:20,910 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:20,911 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:20,912 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:20,913 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:20,913 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:20,938 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:21,182 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:21,183 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:21,183 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:21,183 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:21,184 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:21,185 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:21,186 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:21,186 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:21,187 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:21,188 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:21,189 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:21,192 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:21,193 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:21,194 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:21,195 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:21,195 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:21,196 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:21,197 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:21,198 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:21,198 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:21,199 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:21,201 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:21,202 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:21,202 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:21,206 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:21,207 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:21,208 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:21,208 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:21,209 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:21,210 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:21,211 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:21,212 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:21,213 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:21,325 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:21,326 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:21,327 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:21,327 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:21,328 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:21,329 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:21,330 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:21,331 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:21,332 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:21,589 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:21,590 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:21,595 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:21,603 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:21,645 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:21,648 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:21,649 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:21,649 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:21,650 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:21,651 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:21,651 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:21,652 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:21,653 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:21,653 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:21,654 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:21,655 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:21,656 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:21,657 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:21,658 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:21,662 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:21,663 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:21,664 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:21,665 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:21,666 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:21,666 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:21,669 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:21,670 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:21,671 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:21,679 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:21,680 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:21,681 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:21,682 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:21,683 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:21,685 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:21,686 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:25,332 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:25,333 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:25,334 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:25,335 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:25,336 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:25,343 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:25,350 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:25,357 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:25,358 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:25,359 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:25,359 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:25,360 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:25,361 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:25,361 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:25,362 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:25,363 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:25,364 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:25,364 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:25,371 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:25,374 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:25,375 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:25,376 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:25,376 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:25,377 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:25,377 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:25,378 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:25,379 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:25,379 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:25,380 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:25,413 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:25,413 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:25,416 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:25,417 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:25,418 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:25,421 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:25,423 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:25,973 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:25,974 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:25,975 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:25,975 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:25,975 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:25,976 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:25,977 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:25,977 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:25,978 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:25,979 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:25,980 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:25,982 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:25,983 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:25,983 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:25,984 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:25,984 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:25,985 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:25,985 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:25,986 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:25,987 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:25,987 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:25,989 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:25,990 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:25,991 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:25,991 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:25,992 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:25,992 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:25,993 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:25,993 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:26,067 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:26,068 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:26,069 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:26,070 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:26,070 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:26,071 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:26,071 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:26,072 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:26,073 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:26,073 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:26,074 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:26,276 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:26,276 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:26,281 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:26,285 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:26,307 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:26,308 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:26,308 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:26,309 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:26,309 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:26,310 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:26,310 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:26,311 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:26,311 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:26,312 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:26,313 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:26,313 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:26,315 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:26,317 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:26,318 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:26,318 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:26,319 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:26,319 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:26,319 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:26,321 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:26,324 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:26,325 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:26,325 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:26,326 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:26,326 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:26,326 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:26,327 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:26,328 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:26,328 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:28,636 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:28,637 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:28,637 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:28,639 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:28,639 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:28,640 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:28,640 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:28,641 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:28,641 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:28,642 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:28,642 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:28,643 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:28,644 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:28,647 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:28,648 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:28,654 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:28,655 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:28,661 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:28,669 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:28,670 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:28,670 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:28,671 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:28,671 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:28,672 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:28,672 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:28,673 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:28,674 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:28,674 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:28,674 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:28,705 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:28,706 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:28,706 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:28,707 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:28,708 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:28,712 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:28,716 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:29,491 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:29,492 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:29,493 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:29,493 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:29,494 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:29,494 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:29,495 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:29,495 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:29,496 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:29,496 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:29,497 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:29,498 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:29,498 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:29,501 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:29,501 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:29,502 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:29,502 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:29,503 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:29,504 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:29,504 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:29,508 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:29,509 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:29,509 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:29,510 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:29,510 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:29,512 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:29,512 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:29,583 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:29,595 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:29,720 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:32,877 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:32,878 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:32,879 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:32,879 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:32,884 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:32,885 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:32,889 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:32,895 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:32,895 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:32,896 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:32,896 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:32,897 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:32,897 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:32,898 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:32,898 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:32,898 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:32,899 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:32,900 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:32,901 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:32,901 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:32,902 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:32,903 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:32,903 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:32,904 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:32,905 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:32,908 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:32,909 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:32,910 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:32,911 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:32,912 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:32,912 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:32,913 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:32,914 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:32,914 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:32,917 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:32,917 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:32,919 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:32,919 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:32,920 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:32,920 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:32,921 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:32,922 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:32,922 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:32,951 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:32,952 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:32,952 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:32,957 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:32,958 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:32,959 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:32,963 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:32,963 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:32,969 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:32,970 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:32,970 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:32,975 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:32,978 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:32,983 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:32,985 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:34,702 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:34,703 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:34,703 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:34,704 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:34,704 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:34,705 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:34,705 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:34,705 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:34,706 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:34,707 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:34,707 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:34,709 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:34,710 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:34,711 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:34,711 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:34,712 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:34,713 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:34,713 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:34,713 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:34,714 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:34,715 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:34,715 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:34,716 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:34,718 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:34,718 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:34,719 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:34,719 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:34,720 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:34,720 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:34,721 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:34,722 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:34,722 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:34,723 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:34,794 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:34,807 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:34,944 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:38,605 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:38,606 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:38,607 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:38,607 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:38,608 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:38,614 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:38,621 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:38,627 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:38,628 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:38,628 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:38,629 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:38,629 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:38,629 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:38,630 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:38,630 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:38,631 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:38,631 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:38,632 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:38,632 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:38,633 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:38,634 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:38,635 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:38,635 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:38,636 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:38,637 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:38,637 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:38,638 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:38,639 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:38,639 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:38,640 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:38,644 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:38,645 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:38,645 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:38,646 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:38,647 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:38,648 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:38,649 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:38,649 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:38,650 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:38,651 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:38,652 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:38,652 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:38,658 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:38,659 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:38,660 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:38,661 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:38,662 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:38,663 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:38,663 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:38,664 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:38,665 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:38,666 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:38,666 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:38,700 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:38,701 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:38,702 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:38,704 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:38,706 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:38,707 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:38,708 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:38,708 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:38,709 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:38,711 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:38,714 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:38,714 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:38,717 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:38,724 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:38,724 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:38,724 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:38,728 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:38,732 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:38,733 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:38,735 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,109 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,110 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,111 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,111 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,112 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,112 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,113 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,114 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,114 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,115 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,115 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,117 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,118 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,118 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,119 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,119 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,120 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,120 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,121 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,121 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,122 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,123 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,125 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,126 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,126 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,127 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,127 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,127 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,129 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,133 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,133 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,134 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,134 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,135 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,135 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,136 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,136 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,137 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,138 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,138 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,142 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,142 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,143 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,144 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,144 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,145 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,146 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,147 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,147 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,148 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,150 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,153 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,154 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,155 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,156 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,156 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,157 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,159 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,322 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,323 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,323 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,326 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,326 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,327 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,327 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,327 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,328 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,328 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,329 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,330 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,330 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,332 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,333 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,334 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,334 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,335 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,336 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,337 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,338 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,338 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,340 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,343 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,344 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,345 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,346 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,346 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,347 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,349 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,359 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,360 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,361 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,361 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,362 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,362 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,363 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,364 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,365 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,366 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,369 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,369 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,370 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,371 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,372 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,372 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,373 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,374 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,375 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,376 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,379 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,380 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,381 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,382 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,382 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,383 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,385 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,390 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,390 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,393 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,394 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,394 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,395 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,395 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,396 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,396 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,397 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,397 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,398 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,399 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,401 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,401 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,402 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,402 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,403 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,403 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,405 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,408 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,408 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,409 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,409 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,410 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,410 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,411 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,412 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,412 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,418 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,419 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,419 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,420 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,420 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,421 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,421 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,422 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,422 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,422 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,424 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,426 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,426 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,427 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,427 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,428 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,428 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,429 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,432 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,433 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,433 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,434 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,435 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,435 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,436 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,437 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,438 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:41,679 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,034 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,034 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,035 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,035 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,036 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,036 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,037 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,037 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,037 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,038 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,039 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,039 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,042 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,043 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,044 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,044 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,045 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,045 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,046 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,046 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,047 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,048 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,050 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,050 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,051 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,051 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,052 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,052 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,053 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,054 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,059 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,059 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,059 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,060 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,060 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,061 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,061 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,062 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,063 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,063 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,065 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,066 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,067 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,067 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,068 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,068 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,069 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,069 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,069 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,071 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,072 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,073 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,073 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,074 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,075 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,075 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,076 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,077 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,221 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,222 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,223 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,225 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,225 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,226 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,226 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,227 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,227 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,227 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,228 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,229 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,229 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,231 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,232 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,232 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,233 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,233 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,234 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,234 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,235 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,235 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,237 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,238 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,238 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,239 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,239 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,240 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,241 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,241 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,248 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,249 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,249 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,250 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,250 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,250 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,251 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,252 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,252 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,253 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,255 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,255 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,255 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,256 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,257 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,257 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,257 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,258 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,259 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,261 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,261 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,262 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,262 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,263 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,263 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,264 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,264 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,268 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,270 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,271 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,271 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,272 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,272 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,272 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,273 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,273 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,274 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,274 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,275 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,278 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,278 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,279 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,279 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,279 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,280 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,281 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,283 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,284 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,284 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,284 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,285 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,285 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,286 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,287 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,287 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,290 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,292 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,292 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,293 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,293 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,294 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,294 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,295 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,295 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,296 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,296 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,297 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,299 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,300 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,300 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,301 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,301 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,301 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,303 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,305 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,305 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,306 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,306 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,307 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,307 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,308 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,308 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,309 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,458 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,811 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,811 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,812 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,812 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,813 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,813 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,814 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,814 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,815 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,816 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,816 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,816 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,819 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,820 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,820 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,821 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,821 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,822 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,822 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,822 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,823 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,824 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,826 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,826 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,827 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,827 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,828 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,828 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,829 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,830 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,835 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,835 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,836 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,836 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,837 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,837 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,837 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,838 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,839 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,839 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,841 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,842 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,843 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,843 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,843 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,844 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,844 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,845 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,846 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,846 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,848 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,849 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,849 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,850 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,850 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,851 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,853 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:42,853 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:43,038 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:43,038 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:43,040 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:43,041 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:43,041 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:43,042 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:43,042 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:43,043 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:43,044 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:43,044 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:43,045 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:43,047 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:43,050 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:43,052 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:43,052 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:43,053 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:43,053 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:43,054 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:43,054 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:43,055 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:43,055 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:43,056 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:43,058 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:43,093 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,185 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,185 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,186 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,186 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,187 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,187 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,188 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,188 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,189 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,189 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,190 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,190 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,191 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,192 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,192 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,193 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,195 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,196 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,196 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,197 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,197 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,198 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,199 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,199 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,200 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,203 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,204 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,204 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,205 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,205 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,206 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,206 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,207 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,208 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,211 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,211 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,212 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,212 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,213 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,213 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,214 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,214 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,215 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,215 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,216 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,217 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,217 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,218 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,221 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,222 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,222 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,223 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,223 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,224 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,225 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,225 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,226 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,229 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,230 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,230 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,231 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,231 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,231 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,232 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,233 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,234 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,376 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,377 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,377 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,379 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,380 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,380 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,381 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,381 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,382 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,382 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,383 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,384 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,384 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,386 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,386 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,387 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,387 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,388 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,388 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,389 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,389 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,389 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,390 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,391 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,391 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,394 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,394 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,395 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,395 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,396 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,396 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,396 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,397 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,398 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,405 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,405 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,406 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,406 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,407 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,407 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,407 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,408 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,409 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,409 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,411 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,411 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,412 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,412 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,413 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,413 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,414 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,414 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,415 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,415 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,416 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,417 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,419 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,419 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,420 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,420 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,421 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,421 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,422 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,423 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,423 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,427 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,430 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,430 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,431 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,431 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,432 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,432 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,432 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,433 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,434 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,434 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,436 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,436 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,437 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,437 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,438 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,438 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,439 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,439 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,440 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,441 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,441 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,443 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,443 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,444 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,444 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,445 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,445 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,446 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,446 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,447 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,448 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,453 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,456 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,456 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,457 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,458 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,458 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,459 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,459 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,460 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,461 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,461 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,463 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,463 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,464 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,464 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,465 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,465 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,466 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,466 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,467 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,468 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,468 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,470 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,470 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,471 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,471 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,472 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,472 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,473 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,473 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,474 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,475 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:44,726 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:48,518 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:48,519 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:48,520 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:48,521 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:48,522 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:48,523 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:48,523 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:48,524 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:48,525 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:48,525 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:48,525 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:48,526 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:48,527 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:48,529 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:48,530 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:48,530 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:48,531 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:48,531 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:48,532 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:48,533 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:48,536 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:48,536 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:48,537 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:48,537 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:48,538 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:48,538 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:48,539 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:49,986 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:49,988 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:49,989 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:49,990 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:49,990 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:49,991 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:49,991 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:49,991 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:49,992 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:49,992 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:49,993 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:49,994 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:49,996 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:49,997 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:49,997 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:49,998 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:49,998 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:49,998 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:49,999 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:50,000 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:50,004 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:50,005 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:50,005 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:50,005 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:50,006 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:50,006 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:50,007 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:50,008 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:50,008 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:51,450 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:51,451 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:51,452 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:51,452 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:51,453 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:51,454 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:51,454 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:51,455 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:51,455 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:51,456 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:51,457 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:51,459 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:51,460 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:51,460 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:51,460 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:51,461 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:51,462 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:51,462 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:51,463 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:51,464 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:51,465 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:51,466 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:51,467 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:51,470 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:51,471 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:51,472 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:51,473 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:51,474 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:51,474 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:51,474 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:51,475 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:51,476 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:51,477 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:53,797 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:53,798 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:53,798 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:53,798 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:53,799 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:53,799 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:53,800 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:53,800 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:53,801 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:53,803 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:53,804 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:53,805 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:53,805 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:53,806 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:53,807 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:53,808 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:53,808 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:53,809 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:53,810 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:53,811 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:53,812 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:53,815 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:53,816 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:53,817 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:53,818 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:53,818 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:53,819 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:53,819 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:53,820 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:53,821 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:53,821 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:58,398 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:58,399 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:58,400 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:58,401 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:58,401 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:58,402 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:58,402 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:58,403 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:58,404 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:58,404 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:58,406 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:58,408 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:58,408 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:58,409 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:58,409 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:58,410 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:58,410 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:58,411 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:58,412 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:58,415 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:58,415 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:58,416 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:58,416 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:58,416 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:58,417 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:58,418 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:58,418 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:58,419 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:26:58,432 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms