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