java -Xmx8000000000 -Xss4m -jar ./plugins/org.eclipse.equinox.launcher_1.3.100.v20150511-1540.jar -data @noDefault -ultimatedata ./data -tc ../../../trunk/examples/toolchains/SifaC.xml -s ../../../trunk/examples/settings/default/automizer/svcomp-Reach-32bit-Automizer_Default.epf -i ../../../trunk/examples/svcomp/eca-rers2012/Problem01_label42.c -------------------------------------------------------------------------------- This is Ultimate 0.1.24-fab3c18 [2019-08-22 19:33:10,319 INFO L177 SettingsManager]: Resetting all preferences to default values... [2019-08-22 19:33:10,322 INFO L181 SettingsManager]: Resetting UltimateCore preferences to default values [2019-08-22 19:33:10,341 INFO L184 SettingsManager]: Ultimate Commandline Interface provides no preferences, ignoring... [2019-08-22 19:33:10,342 INFO L181 SettingsManager]: Resetting Boogie Preprocessor preferences to default values [2019-08-22 19:33:10,343 INFO L181 SettingsManager]: Resetting Boogie Procedure Inliner preferences to default values [2019-08-22 19:33:10,346 INFO L181 SettingsManager]: Resetting Abstract Interpretation preferences to default values [2019-08-22 19:33:10,358 INFO L181 SettingsManager]: Resetting LassoRanker preferences to default values [2019-08-22 19:33:10,361 INFO L181 SettingsManager]: Resetting Reaching Definitions preferences to default values [2019-08-22 19:33:10,362 INFO L181 SettingsManager]: Resetting SyntaxChecker preferences to default values [2019-08-22 19:33:10,365 INFO L181 SettingsManager]: Resetting Symbolic Interpretation preferences to default values [2019-08-22 19:33:10,366 INFO L184 SettingsManager]: Büchi Program Product provides no preferences, ignoring... [2019-08-22 19:33:10,366 INFO L181 SettingsManager]: Resetting LTL2Aut preferences to default values [2019-08-22 19:33:10,367 INFO L181 SettingsManager]: Resetting PEA to Boogie preferences to default values [2019-08-22 19:33:10,368 INFO L181 SettingsManager]: Resetting BlockEncodingV2 preferences to default values [2019-08-22 19:33:10,369 INFO L181 SettingsManager]: Resetting ChcToBoogie preferences to default values [2019-08-22 19:33:10,370 INFO L181 SettingsManager]: Resetting AutomataScriptInterpreter preferences to default values [2019-08-22 19:33:10,374 INFO L181 SettingsManager]: Resetting BuchiAutomizer preferences to default values [2019-08-22 19:33:10,377 INFO L181 SettingsManager]: Resetting CACSL2BoogieTranslator preferences to default values [2019-08-22 19:33:10,379 INFO L181 SettingsManager]: Resetting CodeCheck preferences to default values [2019-08-22 19:33:10,380 INFO L181 SettingsManager]: Resetting InvariantSynthesis preferences to default values [2019-08-22 19:33:10,381 INFO L181 SettingsManager]: Resetting RCFGBuilder preferences to default values [2019-08-22 19:33:10,383 INFO L181 SettingsManager]: Resetting Referee preferences to default values [2019-08-22 19:33:10,386 INFO L181 SettingsManager]: Resetting TraceAbstraction preferences to default values [2019-08-22 19:33:10,389 INFO L184 SettingsManager]: TraceAbstractionConcurrent provides no preferences, ignoring... [2019-08-22 19:33:10,390 INFO L184 SettingsManager]: TraceAbstractionWithAFAs provides no preferences, ignoring... [2019-08-22 19:33:10,390 INFO L181 SettingsManager]: Resetting TreeAutomizer preferences to default values [2019-08-22 19:33:10,392 INFO L181 SettingsManager]: Resetting IcfgToChc preferences to default values [2019-08-22 19:33:10,392 INFO L181 SettingsManager]: Resetting IcfgTransformer preferences to default values [2019-08-22 19:33:10,394 INFO L184 SettingsManager]: ReqToTest provides no preferences, ignoring... [2019-08-22 19:33:10,395 INFO L181 SettingsManager]: Resetting Boogie Printer preferences to default values [2019-08-22 19:33:10,395 INFO L181 SettingsManager]: Resetting ChcSmtPrinter preferences to default values [2019-08-22 19:33:10,397 INFO L181 SettingsManager]: Resetting ReqPrinter preferences to default values [2019-08-22 19:33:10,398 INFO L181 SettingsManager]: Resetting Witness Printer preferences to default values [2019-08-22 19:33:10,402 INFO L184 SettingsManager]: Boogie PL CUP Parser provides no preferences, ignoring... [2019-08-22 19:33:10,402 INFO L181 SettingsManager]: Resetting CDTParser preferences to default values [2019-08-22 19:33:10,403 INFO L184 SettingsManager]: AutomataScriptParser provides no preferences, ignoring... [2019-08-22 19:33:10,404 INFO L184 SettingsManager]: ReqParser provides no preferences, ignoring... [2019-08-22 19:33:10,404 INFO L181 SettingsManager]: Resetting SmtParser preferences to default values [2019-08-22 19:33:10,406 INFO L181 SettingsManager]: Resetting Witness Parser preferences to default values [2019-08-22 19:33:10,407 INFO L188 SettingsManager]: Finished resetting all preferences to default values... [2019-08-22 19:33:10,409 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:33:10,434 INFO L113 SettingsManager]: Loading preferences was successful [2019-08-22 19:33:10,434 INFO L115 SettingsManager]: Preferences different from defaults after loading the file: [2019-08-22 19:33:10,436 INFO L136 SettingsManager]: Preferences of BlockEncodingV2 differ from their defaults: [2019-08-22 19:33:10,436 INFO L138 SettingsManager]: * Create parallel compositions if possible=false [2019-08-22 19:33:10,437 INFO L138 SettingsManager]: * Use SBE=true [2019-08-22 19:33:10,437 INFO L136 SettingsManager]: Preferences of CACSL2BoogieTranslator differ from their defaults: [2019-08-22 19:33:10,437 INFO L138 SettingsManager]: * sizeof long=4 [2019-08-22 19:33:10,437 INFO L138 SettingsManager]: * Overapproximate operations on floating types=true [2019-08-22 19:33:10,437 INFO L138 SettingsManager]: * sizeof POINTER=4 [2019-08-22 19:33:10,438 INFO L138 SettingsManager]: * Check division by zero=IGNORE [2019-08-22 19:33:10,439 INFO L138 SettingsManager]: * Pointer to allocated memory at dereference=IGNORE [2019-08-22 19:33:10,439 INFO L138 SettingsManager]: * If two pointers are subtracted or compared they have the same base address=IGNORE [2019-08-22 19:33:10,439 INFO L138 SettingsManager]: * Check array bounds for arrays that are off heap=IGNORE [2019-08-22 19:33:10,440 INFO L138 SettingsManager]: * sizeof long double=12 [2019-08-22 19:33:10,440 INFO L138 SettingsManager]: * Check if freed pointer was valid=false [2019-08-22 19:33:10,440 INFO L138 SettingsManager]: * Use constant arrays=true [2019-08-22 19:33:10,440 INFO L138 SettingsManager]: * Pointer base address is valid at dereference=IGNORE [2019-08-22 19:33:10,441 INFO L136 SettingsManager]: Preferences of RCFGBuilder differ from their defaults: [2019-08-22 19:33:10,441 INFO L138 SettingsManager]: * Size of a code block=SequenceOfStatements [2019-08-22 19:33:10,441 INFO L138 SettingsManager]: * To the following directory=./dump/ [2019-08-22 19:33:10,441 INFO L138 SettingsManager]: * SMT solver=External_DefaultMode [2019-08-22 19:33:10,442 INFO L138 SettingsManager]: * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000 [2019-08-22 19:33:10,442 INFO L136 SettingsManager]: Preferences of TraceAbstraction differ from their defaults: [2019-08-22 19:33:10,442 INFO L138 SettingsManager]: * Compute Interpolants along a Counterexample=FPandBP [2019-08-22 19:33:10,442 INFO L138 SettingsManager]: * Positions where we compute the Hoare Annotation=LoopsAndPotentialCycles [2019-08-22 19:33:10,443 INFO L138 SettingsManager]: * Trace refinement strategy=CAMEL [2019-08-22 19:33:10,443 INFO L138 SettingsManager]: * SMT solver=External_ModelsAndUnsatCoreMode [2019-08-22 19:33:10,443 INFO L138 SettingsManager]: * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in [2019-08-22 19:33:10,443 INFO L138 SettingsManager]: * Compute Hoare Annotation of negated interpolant automaton, abstraction and CFG=true [2019-08-22 19:33:10,490 INFO L81 nceAwareModelManager]: Repository-Root is: /tmp [2019-08-22 19:33:10,502 INFO L258 ainManager$Toolchain]: [Toolchain 1]: Applicable parser(s) successfully (re)initialized [2019-08-22 19:33:10,505 INFO L214 ainManager$Toolchain]: [Toolchain 1]: Toolchain selected. [2019-08-22 19:33:10,507 INFO L271 PluginConnector]: Initializing CDTParser... [2019-08-22 19:33:10,507 INFO L275 PluginConnector]: CDTParser initialized [2019-08-22 19:33:10,508 INFO L428 ainManager$Toolchain]: [Toolchain 1]: Parsing single file: /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/../../../trunk/examples/svcomp/eca-rers2012/Problem01_label42.c [2019-08-22 19:33:10,583 INFO L220 CDTParser]: Created temporary CDT project at /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/data/bd6780b1f/fc3d26dc338e40b8988fe72b5222ff32/FLAG07408b44d [2019-08-22 19:33:11,148 INFO L306 CDTParser]: Found 1 translation units. [2019-08-22 19:33:11,148 INFO L160 CDTParser]: Scanning /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem01_label42.c [2019-08-22 19:33:11,160 INFO L349 CDTParser]: About to delete temporary CDT project at /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/data/bd6780b1f/fc3d26dc338e40b8988fe72b5222ff32/FLAG07408b44d [2019-08-22 19:33:11,415 INFO L357 CDTParser]: Successfully deleted /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/data/bd6780b1f/fc3d26dc338e40b8988fe72b5222ff32 [2019-08-22 19:33:11,426 INFO L296 ainManager$Toolchain]: ####################### [Toolchain 1] ####################### [2019-08-22 19:33:11,428 INFO L131 ToolchainWalker]: Walking toolchain with 4 elements. [2019-08-22 19:33:11,429 INFO L113 PluginConnector]: ------------------------CACSL2BoogieTranslator---------------------------- [2019-08-22 19:33:11,429 INFO L271 PluginConnector]: Initializing CACSL2BoogieTranslator... [2019-08-22 19:33:11,432 INFO L275 PluginConnector]: CACSL2BoogieTranslator initialized [2019-08-22 19:33:11,433 INFO L185 PluginConnector]: Executing the observer ACSLObjectContainerObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 22.08 07:33:11" (1/1) ... [2019-08-22 19:33:11,436 INFO L205 PluginConnector]: Invalid model from CACSL2BoogieTranslator for observer de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator.ACSLObjectContainerObserver@58e7fd45 and model type de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 22.08 07:33:11, skipping insertion in model container [2019-08-22 19:33:11,437 INFO L185 PluginConnector]: Executing the observer CACSL2BoogieTranslatorObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 22.08 07:33:11" (1/1) ... [2019-08-22 19:33:11,443 INFO L142 MainTranslator]: Starting translation in SV-COMP mode [2019-08-22 19:33:11,500 INFO L173 MainTranslator]: Built tables and reachable declarations [2019-08-22 19:33:12,002 INFO L206 PostProcessor]: Analyzing one entry point: main [2019-08-22 19:33:12,016 INFO L188 MainTranslator]: Completed pre-run [2019-08-22 19:33:12,159 INFO L206 PostProcessor]: Analyzing one entry point: main [2019-08-22 19:33:12,178 INFO L192 MainTranslator]: Completed translation [2019-08-22 19:33:12,178 INFO L202 PluginConnector]: Adding new model de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 22.08 07:33:12 WrapperNode [2019-08-22 19:33:12,178 INFO L132 PluginConnector]: ------------------------ END CACSL2BoogieTranslator---------------------------- [2019-08-22 19:33:12,179 INFO L113 PluginConnector]: ------------------------Boogie Preprocessor---------------------------- [2019-08-22 19:33:12,179 INFO L271 PluginConnector]: Initializing Boogie Preprocessor... [2019-08-22 19:33:12,180 INFO L275 PluginConnector]: Boogie Preprocessor initialized [2019-08-22 19:33:12,194 INFO L185 PluginConnector]: Executing the observer EnsureBoogieModelObserver from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 22.08 07:33:12" (1/1) ... [2019-08-22 19:33:12,194 INFO L185 PluginConnector]: Executing the observer TypeChecker from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 22.08 07:33:12" (1/1) ... [2019-08-22 19:33:12,231 INFO L185 PluginConnector]: Executing the observer ConstExpander from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 22.08 07:33:12" (1/1) ... [2019-08-22 19:33:12,231 INFO L185 PluginConnector]: Executing the observer StructExpander from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 22.08 07:33:12" (1/1) ... [2019-08-22 19:33:12,289 INFO L185 PluginConnector]: Executing the observer UnstructureCode from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 22.08 07:33:12" (1/1) ... [2019-08-22 19:33:12,313 INFO L185 PluginConnector]: Executing the observer FunctionInliner from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 22.08 07:33:12" (1/1) ... [2019-08-22 19:33:12,327 INFO L185 PluginConnector]: Executing the observer BoogieSymbolTableConstructor from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 22.08 07:33:12" (1/1) ... [2019-08-22 19:33:12,351 INFO L132 PluginConnector]: ------------------------ END Boogie Preprocessor---------------------------- [2019-08-22 19:33:12,352 INFO L113 PluginConnector]: ------------------------RCFGBuilder---------------------------- [2019-08-22 19:33:12,352 INFO L271 PluginConnector]: Initializing RCFGBuilder... [2019-08-22 19:33:12,352 INFO L275 PluginConnector]: RCFGBuilder initialized [2019-08-22 19:33:12,354 INFO L185 PluginConnector]: Executing the observer RCFGBuilderObserver from plugin RCFGBuilder for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 22.08 07:33:12" (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:33:12,436 INFO L138 BoogieDeclarations]: Found implementation of procedure ULTIMATE.init [2019-08-22 19:33:12,437 INFO L138 BoogieDeclarations]: Found implementation of procedure ULTIMATE.start [2019-08-22 19:33:12,437 INFO L138 BoogieDeclarations]: Found implementation of procedure calculate_output [2019-08-22 19:33:12,437 INFO L138 BoogieDeclarations]: Found implementation of procedure main [2019-08-22 19:33:12,438 INFO L130 BoogieDeclarations]: Found specification of procedure calculate_output [2019-08-22 19:33:12,439 INFO L130 BoogieDeclarations]: Found specification of procedure __VERIFIER_error [2019-08-22 19:33:12,439 INFO L130 BoogieDeclarations]: Found specification of procedure __VERIFIER_nondet_int [2019-08-22 19:33:12,439 INFO L130 BoogieDeclarations]: Found specification of procedure exit [2019-08-22 19:33:12,439 INFO L130 BoogieDeclarations]: Found specification of procedure main [2019-08-22 19:33:12,440 INFO L130 BoogieDeclarations]: Found specification of procedure ULTIMATE.init [2019-08-22 19:33:12,440 INFO L130 BoogieDeclarations]: Found specification of procedure ULTIMATE.start [2019-08-22 19:33:13,882 INFO L278 CfgBuilder]: Using the 1 location(s) as analysis (start of procedure ULTIMATE.start) [2019-08-22 19:33:13,883 INFO L283 CfgBuilder]: Removed 1 assume(true) statements. [2019-08-22 19:33:13,884 INFO L202 PluginConnector]: Adding new model de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder CFG 22.08 07:33:13 BoogieIcfgContainer [2019-08-22 19:33:13,884 INFO L132 PluginConnector]: ------------------------ END RCFGBuilder---------------------------- [2019-08-22 19:33:13,885 INFO L113 PluginConnector]: ------------------------Symbolic Interpretation---------------------------- [2019-08-22 19:33:13,885 INFO L271 PluginConnector]: Initializing Symbolic Interpretation... [2019-08-22 19:33:13,885 INFO L275 PluginConnector]: Symbolic Interpretation initialized [2019-08-22 19:33:13,886 INFO L185 PluginConnector]: Executing the observer SymbolicInterpretationObserver from plugin Symbolic Interpretation for "de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder CFG 22.08 07:33:13" (1/1) ... [2019-08-22 19:33:13,901 INFO L148 IcfgInterpreter]: Started Sifa with 1 locations of interest [2019-08-22 19:33:13,903 INFO L155 IcfgInterpreter]: Building call graph [2019-08-22 19:33:13,913 INFO L160 IcfgInterpreter]: Initial procedures are [ULTIMATE.start] [2019-08-22 19:33:13,921 INFO L165 IcfgInterpreter]: Starting interpretation [2019-08-22 19:33:13,923 INFO L185 IcfgInterpreter]: Interpreting procedure ULTIMATE.start with input of size 1 [2019-08-22 19:33:14,050 INFO L185 IcfgInterpreter]: Interpreting procedure main with input of size 98 [2019-08-22 19:33:15,719 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 8 terms [2019-08-22 19:33:15,766 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 6 terms [2019-08-22 19:33:15,776 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 4 terms [2019-08-22 19:33:15,801 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 7 terms [2019-08-22 19:33:15,827 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 6 terms [2019-08-22 19:33:15,846 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 7 terms [2019-08-22 19:33:15,875 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:15,958 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:15,960 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 5 terms [2019-08-22 19:33:16,062 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 8 terms [2019-08-22 19:33:16,133 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 6 terms [2019-08-22 19:33:16,136 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 19:33:16,136 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 19:33:16,137 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 19:33:16,189 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 19:33:16,190 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 6 terms [2019-08-22 19:33:16,190 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 6 terms [2019-08-22 19:33:16,231 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 6 terms [2019-08-22 19:33:16,273 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 7 terms [2019-08-22 19:33:16,469 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:16,605 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 6 terms [2019-08-22 19:33:16,729 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 8 terms [2019-08-22 19:33:16,875 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 8 terms [2019-08-22 19:33:17,134 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:17,136 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 6 terms [2019-08-22 19:33:17,360 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:17,979 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 6 terms [2019-08-22 19:33:18,004 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:18,011 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:18,013 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 19:33:18,014 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:18,014 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:18,015 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:18,016 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:18,017 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:18,018 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:18,019 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:18,020 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:18,021 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:18,022 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:18,023 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:18,024 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:18,025 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:18,027 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:18,028 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:18,029 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:18,030 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:18,031 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:18,033 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:18,034 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:18,036 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:18,037 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:18,038 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:18,039 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:18,041 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:18,042 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:18,043 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:18,045 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:18,047 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:18,048 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:18,050 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:18,051 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:18,053 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:18,054 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:18,056 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:18,058 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:18,059 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:18,061 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:18,063 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:18,065 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:18,067 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:18,068 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:18,070 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:18,072 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:18,074 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:18,075 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:18,077 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:18,079 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:18,081 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:18,083 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:18,085 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:18,087 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:18,089 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:18,091 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:18,093 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:18,095 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:18,097 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:18,099 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:18,101 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:18,104 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:18,106 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:18,108 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:18,110 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:18,112 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 19:33:18,114 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:18,128 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:18,129 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:18,130 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:18,130 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:18,131 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:18,132 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:18,133 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:18,134 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:18,135 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:18,136 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:18,137 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:18,138 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:18,139 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:18,140 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:18,141 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:18,143 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:18,144 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:18,145 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:18,146 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:18,147 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:18,149 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:18,150 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:18,151 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:18,152 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:18,154 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:18,155 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:18,157 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:18,158 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:18,159 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:18,161 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:18,162 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:18,164 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:18,165 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:18,167 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:18,168 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:18,170 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:18,171 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:18,173 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:18,175 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:18,176 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:18,178 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:18,179 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:18,181 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:18,183 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:18,184 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:18,186 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:18,188 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:18,190 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:18,191 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:18,193 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:18,195 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:18,197 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:18,199 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:18,201 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:18,203 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:18,205 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:18,207 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:18,209 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:18,211 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:18,213 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:18,215 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:18,217 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:18,219 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 19:33:18,221 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:29,969 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:30,205 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 6 terms [2019-08-22 19:33:30,226 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:30,227 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 19:33:30,228 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:30,228 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:30,229 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:30,230 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:30,231 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:30,231 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:30,232 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:30,233 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:30,233 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:30,234 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:30,235 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:30,236 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:30,237 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:30,238 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:30,239 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:30,240 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:30,241 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:30,241 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:30,242 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:30,243 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:30,244 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:30,245 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:30,246 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:30,247 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:30,248 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:30,250 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:30,251 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:30,252 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:30,253 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:30,254 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:30,255 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:30,256 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:30,258 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:30,259 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:30,260 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:30,262 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:30,263 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:30,264 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:30,266 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:30,267 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:30,269 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:30,270 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:30,272 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:30,273 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:30,275 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:30,276 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:30,278 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:30,280 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:30,281 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:30,283 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:30,285 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:30,286 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:30,288 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:30,290 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:30,291 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:30,293 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:30,295 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:30,296 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:30,298 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:30,300 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:30,302 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:30,304 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:30,306 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 19:33:30,308 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:30,323 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:30,324 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:30,325 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:30,325 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:30,326 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:30,327 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:30,327 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:30,328 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:30,329 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:30,329 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:30,330 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:30,331 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:30,332 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:30,333 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:30,333 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:30,334 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:30,336 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:30,336 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:30,337 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:30,338 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:30,339 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:30,340 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:30,341 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:30,342 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:30,343 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:30,344 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:30,346 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:30,347 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:30,348 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:30,349 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:30,350 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:30,351 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:30,353 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:30,354 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:30,355 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:30,356 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:30,358 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:30,359 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:30,360 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:30,362 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:30,363 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:30,365 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:30,366 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:30,367 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:30,369 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:30,371 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:30,372 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:30,374 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:30,375 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:30,377 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:30,378 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:30,380 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:30,382 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:30,383 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:30,385 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:30,387 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:30,389 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:30,390 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:30,392 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:30,394 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:30,395 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:30,397 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:30,399 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:30,401 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 19:33:30,403 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:30,423 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:30,424 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:38,751 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:38,944 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:38,945 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:38,960 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:38,960 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:38,966 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:38,967 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:38,967 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:38,968 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:38,969 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:38,969 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:38,970 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:38,970 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:38,971 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:38,972 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:38,973 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:38,973 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:38,974 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:38,975 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:38,976 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:38,977 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:38,978 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:38,979 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:38,980 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:38,980 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:38,982 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:38,983 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:38,984 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:38,985 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:38,986 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:38,987 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:38,988 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:38,989 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:38,990 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:38,992 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:38,993 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:38,994 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:38,995 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:38,996 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:38,997 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:38,998 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:39,000 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:39,001 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:39,002 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:39,004 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:39,005 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:39,007 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:39,008 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:39,010 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:39,011 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:39,012 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:39,014 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:39,016 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:39,017 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:39,019 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:39,020 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:39,022 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:39,024 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:39,026 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:39,028 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:39,029 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:39,031 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:39,033 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:39,034 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:39,036 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:39,038 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:39,040 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:39,042 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:39,044 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:39,046 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:39,048 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 19:33:39,050 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:49,727 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:49,728 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:49,916 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 6 terms [2019-08-22 19:33:49,930 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:49,933 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:49,934 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 19:33:49,935 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:49,936 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:49,936 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:49,937 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:49,938 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:49,938 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:49,939 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:49,940 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:49,941 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:49,941 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:49,942 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:49,943 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:49,944 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:49,945 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:49,945 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:49,946 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:49,947 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:49,948 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:49,949 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:49,951 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:49,951 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:49,953 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:49,954 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:49,955 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:49,956 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:49,957 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:49,958 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:49,959 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:49,960 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:49,962 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:49,963 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:49,964 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:49,965 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:49,966 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:49,967 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:49,969 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:49,970 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:49,972 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:49,973 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:49,975 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:49,976 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:49,977 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:49,979 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:49,980 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:49,981 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:49,983 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:49,984 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:49,986 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:49,987 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:49,989 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:49,990 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:49,992 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:49,994 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:49,995 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:49,997 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:49,999 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:50,000 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:50,002 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:50,004 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:50,006 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:50,008 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:50,009 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:50,011 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:50,013 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 19:33:50,015 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:50,017 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:50,031 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:50,032 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:50,032 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:50,033 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:50,033 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:50,034 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:50,035 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:50,036 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:50,037 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:50,037 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:50,038 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:50,039 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:50,040 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:50,040 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:50,041 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:50,042 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:50,043 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:50,044 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:50,045 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:50,046 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:50,048 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:50,048 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:50,050 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:50,051 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:50,052 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:50,053 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:50,055 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:50,056 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:50,057 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:50,058 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:50,059 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:50,060 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:50,062 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:50,063 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:50,064 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:50,066 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:50,067 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:50,069 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:50,070 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:50,071 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:50,072 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:50,074 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:50,075 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:50,076 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:50,077 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:50,077 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:50,079 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:50,079 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:50,080 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:50,081 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:50,082 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:50,083 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:50,085 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:50,086 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:50,087 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:50,088 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:50,089 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:50,090 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:50,091 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:50,093 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:50,094 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:50,095 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:50,096 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 19:33:50,098 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:50,099 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:59,046 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:59,297 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 6 terms [2019-08-22 19:33:59,314 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:59,319 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:59,319 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 19:33:59,320 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:59,320 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:59,321 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:59,322 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:59,322 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:59,323 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:59,324 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:59,324 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:59,325 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:59,325 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:59,326 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:59,327 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:59,328 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:59,329 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:59,329 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:59,330 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:59,331 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:59,332 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:59,333 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:59,334 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:59,335 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:59,336 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:59,337 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:59,338 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:59,339 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:59,340 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:59,341 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:59,342 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:59,343 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:59,344 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:59,346 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:59,347 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:59,348 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:59,349 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:59,351 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:59,352 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:59,353 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:59,355 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:59,356 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:59,357 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:59,359 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:59,360 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:59,361 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:59,363 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:59,364 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:59,366 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:59,367 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:59,369 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:59,370 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:59,372 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:59,373 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:59,375 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:59,376 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:59,378 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:59,380 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:59,381 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:59,383 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:59,384 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:59,386 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:59,387 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:59,389 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:59,391 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:59,393 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:59,396 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 19:33:59,398 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:59,414 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:59,414 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:59,415 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:59,416 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:59,416 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:59,417 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:59,418 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:59,418 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:59,419 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:59,420 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:59,421 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:59,421 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:59,423 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:59,424 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:59,425 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:59,426 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:59,426 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:59,428 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:59,429 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:59,430 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:59,431 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:59,433 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:59,434 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:59,436 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:59,438 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:59,439 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:59,440 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:59,442 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:59,443 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:59,445 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:59,446 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:59,448 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:59,449 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:59,451 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:59,453 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:59,455 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:59,456 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:59,458 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:59,460 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:59,462 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:59,464 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:59,465 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:59,467 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:59,469 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:59,471 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:59,473 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:59,475 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:59,477 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:59,478 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:59,481 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:59,482 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:59,509 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:59,511 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:59,515 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:59,516 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:59,518 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:59,519 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:59,521 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:59,522 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:59,524 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:59,526 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:59,528 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:33:59,529 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 19:33:59,531 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:09,977 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:10,210 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:10,210 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:10,225 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:10,226 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:10,229 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:10,230 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:10,230 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:10,231 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:10,231 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:10,232 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:10,232 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:10,232 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:10,233 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:10,233 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:10,234 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:10,234 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:10,235 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:10,236 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:10,236 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:10,237 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:10,237 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:10,238 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:10,238 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:10,239 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:10,240 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:10,240 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:10,241 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:10,241 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:10,242 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:10,243 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:10,244 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:10,244 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:10,245 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:10,246 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:10,246 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:10,247 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:10,248 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:10,248 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:10,249 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:10,250 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:10,251 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:10,251 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:10,252 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:10,253 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:10,255 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:10,256 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:10,257 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:10,259 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:10,260 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:10,261 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:10,263 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:10,264 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:10,266 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:10,267 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:10,268 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:10,270 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:10,271 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:10,272 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:10,273 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:10,274 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:10,275 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:10,277 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:10,278 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:10,279 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:10,280 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:10,281 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:10,283 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:10,285 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:10,286 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:10,288 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 19:34:10,290 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:20,919 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:21,138 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 6 terms [2019-08-22 19:34:21,156 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:21,157 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 19:34:21,158 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:21,158 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:21,158 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:21,159 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:21,159 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:21,160 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:21,161 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:21,161 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:21,162 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:21,162 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:21,163 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:21,164 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:21,164 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:21,165 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:21,166 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:21,167 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:21,167 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:21,168 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:21,169 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:21,170 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:21,170 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:21,198 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:21,198 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:21,199 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:21,200 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:21,200 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:21,201 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:21,202 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:21,202 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:21,203 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:21,204 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:21,205 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:21,205 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:21,206 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:21,207 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:21,208 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:21,208 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:21,209 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:21,210 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:21,211 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:21,212 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:21,212 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:21,213 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:21,214 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:21,215 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:21,217 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:21,218 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:21,220 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:21,221 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:21,223 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:21,224 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:21,225 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:21,226 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:21,227 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:21,229 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:21,230 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:21,231 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:21,232 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:21,233 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:21,235 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:21,236 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:21,238 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:21,239 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 19:34:21,241 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:21,248 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:21,248 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:21,249 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:21,249 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:21,249 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:21,250 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:21,250 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:21,251 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:21,251 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:21,252 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:21,252 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:21,253 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:21,253 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:21,254 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:21,255 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:21,256 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:21,257 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:21,258 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:21,259 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:21,259 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:21,260 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:21,261 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:21,262 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:21,263 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:21,264 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:21,265 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:21,265 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:21,266 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:21,267 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:21,269 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:21,270 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:21,271 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:21,272 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:21,273 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:21,274 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:21,275 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:21,277 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:21,278 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:21,279 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:21,280 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:21,281 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:21,282 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:21,283 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:21,284 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:21,285 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:21,286 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:21,287 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:21,288 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:21,289 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:21,289 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:21,290 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:21,292 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:21,293 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:21,294 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:21,295 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:21,296 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:21,297 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:21,298 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:21,300 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:21,301 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:21,302 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:21,303 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:21,304 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:21,305 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 19:34:21,307 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:21,320 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:21,321 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:30,036 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:30,037 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:30,210 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 6 terms [2019-08-22 19:34:30,227 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:30,232 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:30,233 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 19:34:30,233 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:30,233 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:30,234 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:30,234 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:30,235 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:30,235 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:30,235 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:30,236 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:30,236 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:30,237 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:30,237 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:30,238 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:30,238 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:30,239 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:30,240 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:30,241 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:30,242 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:30,242 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:30,243 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:30,244 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:30,245 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:30,246 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:30,247 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:30,248 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:30,250 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:30,251 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:30,252 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:30,253 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:30,254 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:30,255 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:30,256 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:30,257 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:30,259 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:30,260 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:30,261 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:30,262 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:30,264 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:30,265 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:30,266 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:30,268 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:30,269 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:30,271 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:30,272 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:30,273 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:30,275 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:30,276 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:30,278 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:30,279 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:30,281 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:30,282 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:30,284 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:30,285 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:30,287 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:30,289 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:30,290 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:30,292 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:30,294 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:30,295 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:30,297 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:30,299 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:30,301 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:30,302 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:30,304 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 19:34:30,306 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:30,308 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:30,318 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:30,319 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:30,320 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:30,320 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:30,321 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:30,322 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:30,322 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:30,323 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:30,323 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:30,324 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:30,325 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:30,326 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:30,327 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:30,327 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:30,328 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:30,329 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:30,330 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:30,331 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:30,332 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:30,333 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:30,334 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:30,335 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:30,336 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:30,337 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:30,338 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:30,339 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:30,340 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:30,341 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:30,342 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:30,344 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:30,345 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:30,346 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:30,347 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:30,349 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:30,350 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:30,351 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:30,353 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:30,354 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:30,355 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:30,356 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:30,358 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:30,359 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:30,361 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:30,362 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:30,364 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:30,366 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:30,368 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:30,369 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:30,371 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:30,373 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:30,375 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:30,377 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:30,380 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:30,382 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:30,384 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:30,387 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:30,389 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:30,391 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:30,394 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:30,397 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:30,399 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:30,401 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:30,403 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:30,404 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 19:34:30,406 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:34:30,409 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms