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