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_label24.c -------------------------------------------------------------------------------- This is Ultimate 0.1.24-fab3c18 [2019-08-22 19:30:37,927 INFO L177 SettingsManager]: Resetting all preferences to default values... [2019-08-22 19:30:37,929 INFO L181 SettingsManager]: Resetting UltimateCore preferences to default values [2019-08-22 19:30:37,941 INFO L184 SettingsManager]: Ultimate Commandline Interface provides no preferences, ignoring... [2019-08-22 19:30:37,942 INFO L181 SettingsManager]: Resetting Boogie Preprocessor preferences to default values [2019-08-22 19:30:37,943 INFO L181 SettingsManager]: Resetting Boogie Procedure Inliner preferences to default values [2019-08-22 19:30:37,944 INFO L181 SettingsManager]: Resetting Abstract Interpretation preferences to default values [2019-08-22 19:30:37,946 INFO L181 SettingsManager]: Resetting LassoRanker preferences to default values [2019-08-22 19:30:37,948 INFO L181 SettingsManager]: Resetting Reaching Definitions preferences to default values [2019-08-22 19:30:37,949 INFO L181 SettingsManager]: Resetting SyntaxChecker preferences to default values [2019-08-22 19:30:37,950 INFO L181 SettingsManager]: Resetting Symbolic Interpretation preferences to default values [2019-08-22 19:30:37,951 INFO L184 SettingsManager]: Büchi Program Product provides no preferences, ignoring... [2019-08-22 19:30:37,951 INFO L181 SettingsManager]: Resetting LTL2Aut preferences to default values [2019-08-22 19:30:37,952 INFO L181 SettingsManager]: Resetting PEA to Boogie preferences to default values [2019-08-22 19:30:37,954 INFO L181 SettingsManager]: Resetting BlockEncodingV2 preferences to default values [2019-08-22 19:30:37,955 INFO L181 SettingsManager]: Resetting ChcToBoogie preferences to default values [2019-08-22 19:30:37,956 INFO L181 SettingsManager]: Resetting AutomataScriptInterpreter preferences to default values [2019-08-22 19:30:37,957 INFO L181 SettingsManager]: Resetting BuchiAutomizer preferences to default values [2019-08-22 19:30:37,959 INFO L181 SettingsManager]: Resetting CACSL2BoogieTranslator preferences to default values [2019-08-22 19:30:37,962 INFO L181 SettingsManager]: Resetting CodeCheck preferences to default values [2019-08-22 19:30:37,964 INFO L181 SettingsManager]: Resetting InvariantSynthesis preferences to default values [2019-08-22 19:30:37,965 INFO L181 SettingsManager]: Resetting RCFGBuilder preferences to default values [2019-08-22 19:30:37,966 INFO L181 SettingsManager]: Resetting Referee preferences to default values [2019-08-22 19:30:37,967 INFO L181 SettingsManager]: Resetting TraceAbstraction preferences to default values [2019-08-22 19:30:37,970 INFO L184 SettingsManager]: TraceAbstractionConcurrent provides no preferences, ignoring... [2019-08-22 19:30:37,970 INFO L184 SettingsManager]: TraceAbstractionWithAFAs provides no preferences, ignoring... [2019-08-22 19:30:37,970 INFO L181 SettingsManager]: Resetting TreeAutomizer preferences to default values [2019-08-22 19:30:37,971 INFO L181 SettingsManager]: Resetting IcfgToChc preferences to default values [2019-08-22 19:30:37,972 INFO L181 SettingsManager]: Resetting IcfgTransformer preferences to default values [2019-08-22 19:30:37,973 INFO L184 SettingsManager]: ReqToTest provides no preferences, ignoring... [2019-08-22 19:30:37,973 INFO L181 SettingsManager]: Resetting Boogie Printer preferences to default values [2019-08-22 19:30:37,974 INFO L181 SettingsManager]: Resetting ChcSmtPrinter preferences to default values [2019-08-22 19:30:37,975 INFO L181 SettingsManager]: Resetting ReqPrinter preferences to default values [2019-08-22 19:30:37,975 INFO L181 SettingsManager]: Resetting Witness Printer preferences to default values [2019-08-22 19:30:37,977 INFO L184 SettingsManager]: Boogie PL CUP Parser provides no preferences, ignoring... [2019-08-22 19:30:37,977 INFO L181 SettingsManager]: Resetting CDTParser preferences to default values [2019-08-22 19:30:37,978 INFO L184 SettingsManager]: AutomataScriptParser provides no preferences, ignoring... [2019-08-22 19:30:37,978 INFO L184 SettingsManager]: ReqParser provides no preferences, ignoring... [2019-08-22 19:30:37,978 INFO L181 SettingsManager]: Resetting SmtParser preferences to default values [2019-08-22 19:30:37,979 INFO L181 SettingsManager]: Resetting Witness Parser preferences to default values [2019-08-22 19:30:37,983 INFO L188 SettingsManager]: Finished resetting all preferences to default values... [2019-08-22 19:30:37,984 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:30:38,015 INFO L113 SettingsManager]: Loading preferences was successful [2019-08-22 19:30:38,015 INFO L115 SettingsManager]: Preferences different from defaults after loading the file: [2019-08-22 19:30:38,016 INFO L136 SettingsManager]: Preferences of BlockEncodingV2 differ from their defaults: [2019-08-22 19:30:38,016 INFO L138 SettingsManager]: * Create parallel compositions if possible=false [2019-08-22 19:30:38,017 INFO L138 SettingsManager]: * Use SBE=true [2019-08-22 19:30:38,017 INFO L136 SettingsManager]: Preferences of CACSL2BoogieTranslator differ from their defaults: [2019-08-22 19:30:38,018 INFO L138 SettingsManager]: * sizeof long=4 [2019-08-22 19:30:38,018 INFO L138 SettingsManager]: * Overapproximate operations on floating types=true [2019-08-22 19:30:38,018 INFO L138 SettingsManager]: * sizeof POINTER=4 [2019-08-22 19:30:38,019 INFO L138 SettingsManager]: * Check division by zero=IGNORE [2019-08-22 19:30:38,019 INFO L138 SettingsManager]: * Pointer to allocated memory at dereference=IGNORE [2019-08-22 19:30:38,019 INFO L138 SettingsManager]: * If two pointers are subtracted or compared they have the same base address=IGNORE [2019-08-22 19:30:38,019 INFO L138 SettingsManager]: * Check array bounds for arrays that are off heap=IGNORE [2019-08-22 19:30:38,019 INFO L138 SettingsManager]: * sizeof long double=12 [2019-08-22 19:30:38,020 INFO L138 SettingsManager]: * Check if freed pointer was valid=false [2019-08-22 19:30:38,020 INFO L138 SettingsManager]: * Use constant arrays=true [2019-08-22 19:30:38,020 INFO L138 SettingsManager]: * Pointer base address is valid at dereference=IGNORE [2019-08-22 19:30:38,021 INFO L136 SettingsManager]: Preferences of RCFGBuilder differ from their defaults: [2019-08-22 19:30:38,021 INFO L138 SettingsManager]: * Size of a code block=SequenceOfStatements [2019-08-22 19:30:38,022 INFO L138 SettingsManager]: * To the following directory=./dump/ [2019-08-22 19:30:38,022 INFO L138 SettingsManager]: * SMT solver=External_DefaultMode [2019-08-22 19:30:38,022 INFO L138 SettingsManager]: * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000 [2019-08-22 19:30:38,023 INFO L136 SettingsManager]: Preferences of TraceAbstraction differ from their defaults: [2019-08-22 19:30:38,023 INFO L138 SettingsManager]: * Compute Interpolants along a Counterexample=FPandBP [2019-08-22 19:30:38,023 INFO L138 SettingsManager]: * Positions where we compute the Hoare Annotation=LoopsAndPotentialCycles [2019-08-22 19:30:38,023 INFO L138 SettingsManager]: * Trace refinement strategy=CAMEL [2019-08-22 19:30:38,023 INFO L138 SettingsManager]: * SMT solver=External_ModelsAndUnsatCoreMode [2019-08-22 19:30:38,024 INFO L138 SettingsManager]: * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in [2019-08-22 19:30:38,024 INFO L138 SettingsManager]: * Compute Hoare Annotation of negated interpolant automaton, abstraction and CFG=true [2019-08-22 19:30:38,077 INFO L81 nceAwareModelManager]: Repository-Root is: /tmp [2019-08-22 19:30:38,099 INFO L258 ainManager$Toolchain]: [Toolchain 1]: Applicable parser(s) successfully (re)initialized [2019-08-22 19:30:38,102 INFO L214 ainManager$Toolchain]: [Toolchain 1]: Toolchain selected. [2019-08-22 19:30:38,104 INFO L271 PluginConnector]: Initializing CDTParser... [2019-08-22 19:30:38,104 INFO L275 PluginConnector]: CDTParser initialized [2019-08-22 19:30:38,105 INFO L428 ainManager$Toolchain]: [Toolchain 1]: Parsing single file: /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/../../../trunk/examples/svcomp/eca-rers2012/Problem01_label24.c [2019-08-22 19:30:38,177 INFO L220 CDTParser]: Created temporary CDT project at /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/data/3e3c0f3e9/385634f46f3f4ef9b7da7ac399a6ba7e/FLAGfad0ff925 [2019-08-22 19:30:38,734 INFO L306 CDTParser]: Found 1 translation units. [2019-08-22 19:30:38,734 INFO L160 CDTParser]: Scanning /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem01_label24.c [2019-08-22 19:30:38,746 INFO L349 CDTParser]: About to delete temporary CDT project at /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/data/3e3c0f3e9/385634f46f3f4ef9b7da7ac399a6ba7e/FLAGfad0ff925 [2019-08-22 19:30:39,018 INFO L357 CDTParser]: Successfully deleted /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/data/3e3c0f3e9/385634f46f3f4ef9b7da7ac399a6ba7e [2019-08-22 19:30:39,027 INFO L296 ainManager$Toolchain]: ####################### [Toolchain 1] ####################### [2019-08-22 19:30:39,029 INFO L131 ToolchainWalker]: Walking toolchain with 4 elements. [2019-08-22 19:30:39,029 INFO L113 PluginConnector]: ------------------------CACSL2BoogieTranslator---------------------------- [2019-08-22 19:30:39,030 INFO L271 PluginConnector]: Initializing CACSL2BoogieTranslator... [2019-08-22 19:30:39,033 INFO L275 PluginConnector]: CACSL2BoogieTranslator initialized [2019-08-22 19:30:39,034 INFO L185 PluginConnector]: Executing the observer ACSLObjectContainerObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 22.08 07:30:39" (1/1) ... [2019-08-22 19:30:39,038 INFO L205 PluginConnector]: Invalid model from CACSL2BoogieTranslator for observer de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator.ACSLObjectContainerObserver@644ea388 and model type de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 22.08 07:30:39, skipping insertion in model container [2019-08-22 19:30:39,038 INFO L185 PluginConnector]: Executing the observer CACSL2BoogieTranslatorObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 22.08 07:30:39" (1/1) ... [2019-08-22 19:30:39,046 INFO L142 MainTranslator]: Starting translation in SV-COMP mode [2019-08-22 19:30:39,118 INFO L173 MainTranslator]: Built tables and reachable declarations [2019-08-22 19:30:39,709 INFO L206 PostProcessor]: Analyzing one entry point: main [2019-08-22 19:30:39,715 INFO L188 MainTranslator]: Completed pre-run [2019-08-22 19:30:39,869 INFO L206 PostProcessor]: Analyzing one entry point: main [2019-08-22 19:30:39,886 INFO L192 MainTranslator]: Completed translation [2019-08-22 19:30:39,886 INFO L202 PluginConnector]: Adding new model de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 22.08 07:30:39 WrapperNode [2019-08-22 19:30:39,887 INFO L132 PluginConnector]: ------------------------ END CACSL2BoogieTranslator---------------------------- [2019-08-22 19:30:39,887 INFO L113 PluginConnector]: ------------------------Boogie Preprocessor---------------------------- [2019-08-22 19:30:39,888 INFO L271 PluginConnector]: Initializing Boogie Preprocessor... [2019-08-22 19:30:39,888 INFO L275 PluginConnector]: Boogie Preprocessor initialized [2019-08-22 19:30:39,902 INFO L185 PluginConnector]: Executing the observer EnsureBoogieModelObserver from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 22.08 07:30:39" (1/1) ... [2019-08-22 19:30:39,902 INFO L185 PluginConnector]: Executing the observer TypeChecker from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 22.08 07:30:39" (1/1) ... [2019-08-22 19:30:39,920 INFO L185 PluginConnector]: Executing the observer ConstExpander from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 22.08 07:30:39" (1/1) ... [2019-08-22 19:30:39,921 INFO L185 PluginConnector]: Executing the observer StructExpander from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 22.08 07:30:39" (1/1) ... [2019-08-22 19:30:39,960 INFO L185 PluginConnector]: Executing the observer UnstructureCode from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 22.08 07:30:39" (1/1) ... [2019-08-22 19:30:39,980 INFO L185 PluginConnector]: Executing the observer FunctionInliner from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 22.08 07:30:39" (1/1) ... [2019-08-22 19:30:39,990 INFO L185 PluginConnector]: Executing the observer BoogieSymbolTableConstructor from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 22.08 07:30:39" (1/1) ... [2019-08-22 19:30:40,009 INFO L132 PluginConnector]: ------------------------ END Boogie Preprocessor---------------------------- [2019-08-22 19:30:40,009 INFO L113 PluginConnector]: ------------------------RCFGBuilder---------------------------- [2019-08-22 19:30:40,009 INFO L271 PluginConnector]: Initializing RCFGBuilder... [2019-08-22 19:30:40,010 INFO L275 PluginConnector]: RCFGBuilder initialized [2019-08-22 19:30:40,011 INFO L185 PluginConnector]: Executing the observer RCFGBuilderObserver from plugin RCFGBuilder for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 22.08 07:30:39" (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:30:40,066 INFO L138 BoogieDeclarations]: Found implementation of procedure ULTIMATE.init [2019-08-22 19:30:40,067 INFO L138 BoogieDeclarations]: Found implementation of procedure ULTIMATE.start [2019-08-22 19:30:40,067 INFO L138 BoogieDeclarations]: Found implementation of procedure calculate_output [2019-08-22 19:30:40,067 INFO L138 BoogieDeclarations]: Found implementation of procedure main [2019-08-22 19:30:40,067 INFO L130 BoogieDeclarations]: Found specification of procedure calculate_output [2019-08-22 19:30:40,067 INFO L130 BoogieDeclarations]: Found specification of procedure __VERIFIER_error [2019-08-22 19:30:40,068 INFO L130 BoogieDeclarations]: Found specification of procedure __VERIFIER_nondet_int [2019-08-22 19:30:40,069 INFO L130 BoogieDeclarations]: Found specification of procedure exit [2019-08-22 19:30:40,069 INFO L130 BoogieDeclarations]: Found specification of procedure main [2019-08-22 19:30:40,069 INFO L130 BoogieDeclarations]: Found specification of procedure ULTIMATE.init [2019-08-22 19:30:40,069 INFO L130 BoogieDeclarations]: Found specification of procedure ULTIMATE.start [2019-08-22 19:30:41,174 INFO L278 CfgBuilder]: Using the 1 location(s) as analysis (start of procedure ULTIMATE.start) [2019-08-22 19:30:41,177 INFO L283 CfgBuilder]: Removed 1 assume(true) statements. [2019-08-22 19:30:41,179 INFO L202 PluginConnector]: Adding new model de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder CFG 22.08 07:30:41 BoogieIcfgContainer [2019-08-22 19:30:41,179 INFO L132 PluginConnector]: ------------------------ END RCFGBuilder---------------------------- [2019-08-22 19:30:41,181 INFO L113 PluginConnector]: ------------------------Symbolic Interpretation---------------------------- [2019-08-22 19:30:41,181 INFO L271 PluginConnector]: Initializing Symbolic Interpretation... [2019-08-22 19:30:41,181 INFO L275 PluginConnector]: Symbolic Interpretation initialized [2019-08-22 19:30:41,184 INFO L185 PluginConnector]: Executing the observer SymbolicInterpretationObserver from plugin Symbolic Interpretation for "de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder CFG 22.08 07:30:41" (1/1) ... [2019-08-22 19:30:41,219 INFO L148 IcfgInterpreter]: Started Sifa with 1 locations of interest [2019-08-22 19:30:41,223 INFO L155 IcfgInterpreter]: Building call graph [2019-08-22 19:30:41,239 INFO L160 IcfgInterpreter]: Initial procedures are [ULTIMATE.start] [2019-08-22 19:30:41,249 INFO L165 IcfgInterpreter]: Starting interpretation [2019-08-22 19:30:41,251 INFO L185 IcfgInterpreter]: Interpreting procedure ULTIMATE.start with input of size 1 [2019-08-22 19:30:41,350 INFO L185 IcfgInterpreter]: Interpreting procedure main with input of size 98 [2019-08-22 19:30:43,003 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 8 terms [2019-08-22 19:30:43,039 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 6 terms [2019-08-22 19:30:43,048 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 4 terms [2019-08-22 19:30:43,072 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 7 terms [2019-08-22 19:30:43,100 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 6 terms [2019-08-22 19:30:43,120 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 7 terms [2019-08-22 19:30:43,173 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:43,285 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:43,286 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 5 terms [2019-08-22 19:30:43,410 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 8 terms [2019-08-22 19:30:43,466 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 6 terms [2019-08-22 19:30:43,467 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 19:30:43,468 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 19:30:43,468 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 19:30:43,544 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 19:30:43,545 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 6 terms [2019-08-22 19:30:43,546 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 6 terms [2019-08-22 19:30:43,619 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 6 terms [2019-08-22 19:30:43,700 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 7 terms [2019-08-22 19:30:43,918 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:44,021 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 6 terms [2019-08-22 19:30:44,089 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 8 terms [2019-08-22 19:30:44,164 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 8 terms [2019-08-22 19:30:44,304 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 7 terms [2019-08-22 19:30:44,523 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:45,238 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 6 terms [2019-08-22 19:30:45,267 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:45,269 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 19:30:45,271 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:45,272 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:45,274 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:45,275 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:45,275 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:45,281 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:45,282 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:45,283 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:45,284 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:45,286 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:45,289 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:45,290 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:45,292 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:45,295 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:45,298 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:45,302 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:45,303 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:45,304 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:45,308 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:45,309 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:45,311 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:45,313 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:45,315 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:45,316 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:45,317 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:45,318 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:45,320 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:45,322 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:45,324 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:45,325 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:45,327 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:45,329 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:45,330 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:45,332 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:45,334 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:45,342 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:45,344 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:45,346 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:45,348 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:45,350 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:45,352 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:45,354 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:45,356 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:45,358 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:45,361 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:45,363 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:45,365 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:45,368 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:45,371 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:45,376 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:45,379 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:45,381 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:45,383 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:45,385 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:45,387 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:45,389 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:45,392 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:45,394 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:45,397 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:45,400 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:45,403 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:45,405 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:45,409 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:45,412 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 19:30:45,415 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:45,436 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:45,437 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:45,438 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:45,439 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:45,440 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:45,442 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:45,443 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:45,445 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:45,446 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:45,447 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:45,449 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:45,451 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:45,452 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:45,454 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:45,456 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:45,459 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:45,461 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:45,462 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:45,464 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:45,466 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:45,469 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:45,473 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:45,478 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:45,481 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:45,484 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:45,487 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:45,499 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:45,502 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:45,507 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:45,509 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:45,513 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:45,514 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:45,516 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:45,520 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:45,522 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:45,524 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:45,527 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:45,530 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:45,532 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:45,536 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:45,538 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:45,540 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:45,544 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:45,546 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:45,549 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:45,552 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:45,563 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:45,565 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:45,567 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:45,569 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:45,571 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:45,573 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:45,575 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:45,577 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:45,579 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:45,584 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:45,586 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:45,588 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:45,591 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:45,593 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:45,595 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:45,597 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:45,599 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 19:30:45,601 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:45,620 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:53,442 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:53,665 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 6 terms [2019-08-22 19:30:53,690 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:53,690 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:53,695 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:53,695 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 19:30:53,696 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:53,697 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:53,698 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:53,698 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:53,699 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:53,700 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:53,702 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:53,703 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:53,704 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:53,704 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:53,705 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:53,706 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:53,707 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:53,708 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:53,709 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:53,710 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:53,711 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:53,712 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:53,713 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:53,714 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:53,715 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:53,716 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:53,717 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:53,718 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:53,719 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:53,721 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:53,722 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:53,723 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:53,724 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:53,725 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:53,727 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:53,728 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:53,729 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:53,731 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:53,732 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:53,733 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:53,735 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:53,737 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:53,738 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:53,740 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:53,741 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:53,743 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:53,744 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:53,746 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:53,748 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:53,750 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:53,751 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:53,753 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:53,755 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:53,756 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:53,758 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:53,760 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:53,761 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:53,763 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:53,765 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:53,767 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:53,769 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:53,771 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:53,773 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:53,775 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:53,777 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:53,779 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:53,781 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 19:30:53,784 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:53,800 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:53,800 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:53,801 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:53,802 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:53,802 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:53,803 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:53,804 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:53,805 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:53,805 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:53,806 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:53,807 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:53,808 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:53,809 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:53,810 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:53,811 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:53,812 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:53,813 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:53,814 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:53,815 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:53,816 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:53,817 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:53,818 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:53,819 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:53,820 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:53,821 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:53,822 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:53,824 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:53,825 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:53,826 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:53,827 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:53,829 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:53,830 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:53,831 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:53,832 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:53,834 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:53,835 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:53,837 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:53,838 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:53,840 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:53,842 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:53,843 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:53,845 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:53,847 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:53,848 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:53,850 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:53,852 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:53,853 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:53,855 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:53,857 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:53,858 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:53,860 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:53,862 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:53,863 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:53,865 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:53,867 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:53,869 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:53,871 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:53,873 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:53,875 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:53,876 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:53,879 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:53,881 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:53,883 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:53,885 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 19:30:53,888 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:59,121 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:59,332 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:59,333 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:59,354 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:59,354 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:59,361 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:59,362 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:59,362 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:59,363 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:59,364 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:59,365 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:59,365 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:59,366 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:59,367 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:59,367 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:59,368 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:59,369 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:59,369 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:59,370 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:59,371 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:59,372 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:59,374 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:59,374 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:59,376 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:59,377 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:59,378 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:59,379 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:59,380 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:59,381 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:59,383 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:59,384 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:59,385 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:59,386 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:59,388 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:59,389 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:59,390 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:59,391 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:59,392 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:59,394 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:59,395 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:59,397 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:59,398 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:59,399 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:59,401 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:59,402 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:59,403 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:59,405 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:59,407 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:59,408 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:59,409 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:59,411 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:59,413 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:59,414 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:59,416 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:59,418 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:59,420 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:59,422 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:59,424 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:59,426 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:59,428 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:59,430 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:59,431 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:59,433 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:59,435 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:59,437 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:59,439 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:59,441 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:59,443 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:59,446 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:59,448 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:30:59,451 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 19:30:59,453 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:05,658 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:05,658 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:05,827 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 6 terms [2019-08-22 19:31:05,844 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:05,847 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:05,847 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 19:31:05,848 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:05,848 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:05,849 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:05,849 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:05,850 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:05,851 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:05,851 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:05,852 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:05,853 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:05,854 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:05,855 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:05,856 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:05,856 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:05,857 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:05,858 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:05,859 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:05,860 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:05,861 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:05,862 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:05,863 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:05,864 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:05,865 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:05,866 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:05,867 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:05,868 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:05,869 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:05,870 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:05,872 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:05,873 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:05,874 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:05,875 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:05,876 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:05,877 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:05,879 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:05,880 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:05,881 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:05,882 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:05,884 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:05,885 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:05,886 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:05,887 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:05,889 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:05,890 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:05,892 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:05,893 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:05,895 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:05,896 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:05,898 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:05,900 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:05,901 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:05,902 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:05,904 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:05,906 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:05,908 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:05,909 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:05,911 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:05,913 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:05,915 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:05,917 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:05,918 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:05,921 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:05,923 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:05,925 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:05,927 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 19:31:05,930 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:05,933 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:05,946 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:05,947 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:05,948 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:05,948 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:05,949 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:05,950 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:05,950 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:05,951 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:05,952 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:05,953 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:05,954 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:05,955 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:05,955 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:05,956 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:05,957 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:05,958 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:05,959 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:05,960 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:05,961 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:05,962 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:05,963 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:05,964 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:05,965 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:05,966 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:05,967 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:05,968 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:05,970 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:05,971 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:05,972 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:05,973 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:05,974 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:05,975 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:05,977 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:05,978 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:05,979 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:05,981 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:05,982 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:05,983 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:05,984 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:05,986 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:05,987 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:05,989 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:05,990 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:05,991 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:05,992 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:05,994 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:05,996 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:05,997 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:05,999 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:06,000 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:06,002 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:06,003 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:06,005 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:06,007 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:06,008 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:06,010 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:06,012 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:06,015 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:06,017 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:06,019 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:06,022 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:06,024 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:06,049 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 19:31:06,052 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:06,054 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:11,667 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:11,823 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 6 terms [2019-08-22 19:31:11,840 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:11,841 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 19:31:11,841 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:11,842 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:11,842 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:11,843 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:11,844 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:11,844 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:11,845 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:11,846 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:11,846 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:11,847 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:11,848 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:11,848 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:11,849 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:11,850 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:11,851 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:11,852 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:11,853 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:11,854 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:11,855 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:11,855 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:11,857 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:11,857 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:11,859 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:11,859 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:11,861 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:11,862 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:11,863 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:11,864 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:11,865 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:11,866 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:11,867 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:11,868 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:11,870 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:11,871 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:11,872 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:11,873 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:11,875 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:11,876 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:11,877 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:11,879 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:11,880 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:11,882 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:11,883 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:11,885 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:11,886 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:11,887 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:11,889 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:11,890 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:11,892 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:11,893 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:11,895 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:11,896 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:11,898 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:11,900 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:11,901 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:11,903 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:11,904 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:11,906 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:11,908 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:11,909 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:11,911 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:11,913 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:11,915 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:11,917 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 19:31:11,919 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:11,930 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:11,931 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:11,932 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:11,932 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:11,933 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:11,934 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:11,934 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:11,935 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:11,935 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:11,936 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:11,937 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:11,938 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:11,939 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:11,939 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:11,940 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:11,941 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:11,942 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:11,943 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:11,944 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:11,945 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:11,946 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:11,947 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:11,947 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:11,949 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:11,950 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:11,951 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:11,951 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:11,953 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:11,954 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:11,955 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:11,956 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:11,957 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:11,958 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:11,960 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:11,961 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:11,962 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:11,963 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:11,965 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:11,966 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:11,967 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:11,969 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:11,970 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:11,972 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:11,973 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:11,974 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:11,976 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:11,977 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:11,979 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:11,980 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:11,982 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:11,983 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:11,985 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:11,987 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:11,988 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:11,990 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:11,991 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:11,993 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:11,995 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:11,996 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:11,998 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:12,000 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:12,002 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:12,003 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 19:31:12,005 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:12,019 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:18,328 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:18,463 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:18,463 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:18,478 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:18,478 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:18,482 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:18,483 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:18,483 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:18,484 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:18,484 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:18,484 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:18,485 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:18,485 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:18,486 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:18,486 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:18,487 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:18,487 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:18,487 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:18,488 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:18,488 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:18,489 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:18,489 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:18,490 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:18,490 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:18,491 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:18,491 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:18,492 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:18,493 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:18,493 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:18,494 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:18,495 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:18,495 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:18,496 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:18,497 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:18,498 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:18,499 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:18,500 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:18,501 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:18,502 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:18,503 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:18,505 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:18,506 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:18,507 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:18,508 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:18,509 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:18,510 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:18,511 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:18,513 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:18,514 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:18,516 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:18,517 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:18,519 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:18,520 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:18,521 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:18,523 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:18,524 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:18,525 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:18,527 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:18,529 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:18,530 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:18,531 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:18,532 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:18,533 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:18,534 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:18,535 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:18,536 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:18,537 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:18,538 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:18,539 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:18,540 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:18,542 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 19:31:18,543 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:24,678 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:24,811 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 6 terms [2019-08-22 19:31:24,825 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:24,826 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 19:31:24,826 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:24,826 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:24,827 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:24,827 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:24,827 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:24,828 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:24,828 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:24,829 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:24,829 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:24,830 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:24,830 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:24,831 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:24,832 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:24,832 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:24,833 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:24,834 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:24,835 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:24,835 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:24,836 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:24,837 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:24,838 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:24,838 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:24,839 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:24,840 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:24,841 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:24,842 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:24,842 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:24,843 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:24,844 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:24,844 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:24,845 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:24,846 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:24,847 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:24,848 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:24,849 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:24,850 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:24,851 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:24,852 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:24,853 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:24,854 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:24,856 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:24,857 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:24,858 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:24,859 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:24,860 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:24,862 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:24,863 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:24,865 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:24,866 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:24,867 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:24,868 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:24,870 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:24,871 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:24,872 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:24,874 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:24,875 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:24,877 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:24,878 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:24,880 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:24,881 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:24,883 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:24,884 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:24,910 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 19:31:24,912 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:24,923 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:24,923 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:24,924 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:24,924 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:24,925 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:24,926 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:24,926 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:24,927 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:24,927 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:24,928 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:24,928 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:24,929 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:24,929 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:24,930 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:24,931 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:24,932 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:24,933 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:24,933 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:24,934 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:24,935 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:24,936 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:24,937 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:24,938 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:24,939 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:24,940 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:24,940 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:24,941 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:24,942 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:24,943 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:24,944 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:24,945 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:24,947 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:24,948 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:24,949 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:24,950 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:24,951 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:24,952 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:24,954 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:24,955 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:24,956 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:24,958 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:24,959 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:24,960 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:24,961 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:24,962 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:24,963 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:24,964 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:24,965 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:24,966 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:24,967 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:24,968 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:24,969 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:24,970 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:24,971 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:24,972 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:24,973 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:24,974 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:24,975 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:24,976 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:24,978 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:24,979 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:24,980 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:24,981 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:24,982 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 19:31:24,984 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:24,997 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:24,997 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:30,414 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:30,414 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:30,561 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 6 terms [2019-08-22 19:31:30,580 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:30,581 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 19:31:30,581 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:30,582 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:30,582 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:30,583 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:30,583 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:30,584 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:30,585 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:30,585 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:30,586 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:30,587 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:30,588 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:30,588 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:30,590 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:30,590 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:30,592 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:30,592 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:30,593 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:30,594 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:30,594 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:30,595 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:30,596 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:30,597 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:30,598 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:30,599 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:30,600 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:30,600 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:30,628 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:30,628 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:30,629 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:30,630 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:30,630 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:30,631 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:30,632 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:30,633 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:30,634 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:30,634 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:30,635 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:30,636 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:30,637 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:30,638 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:30,639 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:30,640 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:30,641 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:30,642 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:30,643 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:30,644 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:30,645 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:30,646 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:30,647 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:30,648 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:30,649 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:30,650 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:30,651 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:30,653 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:30,655 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:30,656 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:30,658 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:30,660 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:30,662 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:30,664 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:30,665 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:30,667 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:30,669 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:30,670 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 19:31:30,672 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:30,675 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:30,685 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:30,686 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:30,687 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:30,687 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:30,688 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:30,689 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:30,689 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:30,690 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:30,690 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:30,691 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:30,692 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:30,693 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:30,693 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:30,694 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:30,695 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:30,696 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:30,697 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:30,697 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:30,698 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:30,699 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:30,700 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:30,701 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:30,702 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:30,703 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:30,704 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:30,705 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:30,706 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:30,707 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:30,708 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:30,709 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:30,710 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:30,712 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:30,713 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:30,714 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:30,715 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:30,717 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:30,718 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:30,719 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:30,720 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:30,722 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:30,723 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:30,724 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:30,725 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:30,727 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:30,728 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:30,730 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:30,731 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:30,733 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:30,734 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:30,736 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:30,737 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:30,739 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:30,740 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:30,742 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:30,744 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:30,745 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:30,747 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:30,749 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:30,750 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:30,752 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:30,754 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:30,756 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:30,757 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 19:31:30,759 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:30,761 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:30,774 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:36,274 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:36,274 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:36,455 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 6 terms [2019-08-22 19:31:36,468 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:36,471 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:36,472 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 19:31:36,472 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:36,473 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:36,474 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:36,474 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:36,474 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:36,475 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:36,475 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:36,476 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:36,476 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:36,477 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:36,478 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:36,479 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:36,479 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:36,480 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:36,481 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:36,482 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:36,482 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:36,483 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:36,484 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:36,484 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:36,485 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:36,486 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:36,486 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:36,487 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:36,488 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:36,488 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:36,489 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:36,490 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:36,490 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:36,491 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:36,492 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:36,493 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:36,494 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:36,496 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:36,497 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:36,498 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:36,499 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:36,500 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:36,502 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:36,503 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:36,504 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:36,506 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:36,507 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:36,509 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:36,510 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:36,511 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:36,513 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:36,515 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:36,516 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:36,518 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:36,519 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:36,521 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:36,522 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:36,524 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:36,525 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:36,527 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:36,528 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:36,530 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:36,532 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:36,533 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:36,535 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:36,537 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:36,539 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 19:31:36,541 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:36,543 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:36,553 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:36,553 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:36,554 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:36,555 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:36,555 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:36,556 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:36,556 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:36,557 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:36,557 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:36,558 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:36,558 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:36,559 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:36,559 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:36,560 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:36,560 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:36,561 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:36,561 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:36,562 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:36,562 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:36,563 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:36,563 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:36,564 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:36,565 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:36,565 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:36,566 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:36,567 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:36,567 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:36,568 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:36,569 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:36,569 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:36,570 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:36,571 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:36,572 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:36,574 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:36,575 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:36,576 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:36,577 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:36,578 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:36,579 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:36,581 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:36,582 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:36,584 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:36,585 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:36,587 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:36,588 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:36,590 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:36,591 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:36,593 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:36,594 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:36,596 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:36,597 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:36,599 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:36,600 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:36,602 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:36,604 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:36,605 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:36,607 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:36,609 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:36,611 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:36,613 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:36,615 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:36,617 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:36,620 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:36,622 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 19:31:36,624 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:36,626 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:42,352 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:42,485 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 6 terms [2019-08-22 19:31:42,499 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:42,499 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:42,503 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:42,503 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 19:31:42,503 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:42,504 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:42,504 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:42,504 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:42,505 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:42,505 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:42,505 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:42,506 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:42,507 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:42,507 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:42,508 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:42,509 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:42,510 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:42,510 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:42,511 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:42,512 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:42,513 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:42,514 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:42,515 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:42,515 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:42,516 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:42,517 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:42,518 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:42,519 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:42,520 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:42,521 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:42,522 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:42,523 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:42,524 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:42,525 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:42,526 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:42,527 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:42,529 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:42,530 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:42,531 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:42,532 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:42,533 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:42,534 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:42,535 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:42,536 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:42,536 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:42,537 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:42,538 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:42,539 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:42,540 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:42,541 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:42,542 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:42,543 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:42,544 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:42,545 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:42,546 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:42,546 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:42,547 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:42,548 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:42,549 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:42,550 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:42,551 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:42,553 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:42,554 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:42,555 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:42,556 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:42,557 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:42,558 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 19:31:42,559 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:42,566 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:42,567 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:42,567 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:42,567 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:42,568 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:42,568 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:42,568 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:42,569 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:42,569 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:42,570 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:42,570 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:42,571 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:42,571 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:42,572 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:42,573 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:42,573 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:42,574 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:42,575 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:42,576 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:42,577 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:42,578 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:42,579 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:42,580 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:42,581 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:42,582 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:42,583 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:42,584 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:42,585 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:42,586 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:42,587 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:42,588 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:42,589 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:42,590 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:42,592 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:42,593 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:42,594 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:42,595 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:42,596 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:42,598 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:42,599 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:42,600 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:42,601 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:42,603 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:42,604 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:42,606 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:42,607 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:42,608 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:42,610 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:42,611 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:42,613 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:42,614 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:42,616 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:42,617 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:42,618 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:42,620 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:42,621 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:42,623 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:42,625 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:42,626 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:42,628 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:42,630 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:42,631 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:42,633 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:42,634 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 19:31:42,636 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:48,699 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:48,834 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 6 terms [2019-08-22 19:31:48,849 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:48,850 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 19:31:48,850 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:48,851 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:48,851 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:48,852 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:48,852 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:48,853 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:48,854 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:48,854 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:48,855 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:48,856 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:48,856 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:48,857 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:48,858 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:48,858 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:48,859 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:48,859 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:48,860 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:48,861 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:48,862 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:48,863 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:48,864 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:48,865 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:48,866 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:48,867 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:48,867 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:48,868 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:48,869 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:48,869 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:48,870 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:48,871 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:48,871 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:48,872 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:48,873 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:48,874 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:48,874 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:48,875 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:48,876 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:48,877 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:48,877 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:48,878 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:48,879 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:48,880 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:48,881 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:48,882 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:48,883 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:48,883 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:48,884 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:48,885 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:48,886 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:48,887 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:48,888 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:48,889 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:48,890 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:48,891 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:48,892 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:48,893 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:48,894 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:48,895 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:48,896 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:48,897 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:48,898 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:48,899 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:48,900 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 19:31:48,902 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:48,910 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:48,910 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:48,911 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:48,911 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:48,911 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:48,912 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:48,912 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:48,912 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:48,913 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:48,913 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:48,914 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:48,914 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:48,915 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:48,915 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:48,916 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:48,916 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:48,917 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:48,917 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:48,918 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:48,919 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:48,919 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:48,920 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:48,921 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:48,922 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:48,923 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:48,924 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:48,925 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:48,926 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:48,927 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:48,928 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:48,929 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:48,930 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:48,931 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:48,932 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:48,933 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:48,935 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:48,936 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:48,937 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:48,938 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:48,939 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:48,941 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:48,942 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:48,944 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:48,945 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:48,946 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:48,948 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:48,949 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:48,950 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:48,952 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:48,953 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:48,955 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:48,956 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:48,958 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:48,959 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:48,961 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:48,962 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:48,964 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:48,965 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:48,967 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:48,969 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:48,971 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:48,972 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:48,974 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:48,976 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 19:31:48,978 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:48,993 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:48,994 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:55,209 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:55,209 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:55,344 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 6 terms [2019-08-22 19:31:55,358 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:55,359 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:55,362 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:55,362 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 19:31:55,362 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:55,363 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:55,363 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:55,363 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:55,364 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:55,365 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:55,365 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:55,366 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:55,367 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:55,367 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:55,368 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:55,368 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:55,369 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:55,370 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:55,371 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:55,372 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:55,372 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:55,373 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:55,373 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:55,374 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:55,375 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:55,375 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:55,376 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:55,376 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:55,377 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:55,378 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:55,378 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:55,379 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:55,380 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:55,380 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:55,381 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:55,382 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:55,383 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:55,383 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:55,384 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:55,385 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:55,386 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:55,387 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:55,387 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:55,388 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:55,389 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:55,390 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:55,391 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:55,391 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:55,392 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:55,393 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:55,394 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:55,395 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:55,396 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:55,397 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:55,398 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:55,399 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:55,400 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:55,401 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:55,402 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:55,403 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:55,404 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:55,405 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:55,406 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:55,407 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:55,408 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:55,409 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:55,411 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 19:31:55,412 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:55,414 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:55,420 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:55,421 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:55,421 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:55,422 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:55,422 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:55,423 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:55,423 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:55,424 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:55,425 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:55,425 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:55,426 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:55,426 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:55,427 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:55,427 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:55,428 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:55,428 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:55,429 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:55,430 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:55,430 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:55,431 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:55,431 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:55,432 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:55,432 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:55,433 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:55,434 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:55,434 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:55,435 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:55,436 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:55,436 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:55,437 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:55,438 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:55,439 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:55,439 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:55,440 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:55,441 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:55,442 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:55,443 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:55,444 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:55,444 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:55,445 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:55,446 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:55,447 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:55,448 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:55,449 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:55,449 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:55,450 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:55,451 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:55,452 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:55,453 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:55,454 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:55,455 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:55,456 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:55,457 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:55,458 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:55,459 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:55,460 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:55,461 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:55,462 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:55,463 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:55,464 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:55,465 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:55,466 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:55,467 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:55,468 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 19:31:55,470 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:31:55,471 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:32:00,877 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:32:00,878 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:32:01,013 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 6 terms [2019-08-22 19:32:01,027 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:32:01,028 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 19:32:01,028 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:32:01,029 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:32:01,029 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:32:01,029 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:32:01,030 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:32:01,030 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:32:01,031 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:32:01,031 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:32:01,031 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:32:01,032 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:32:01,032 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:32:01,033 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:32:01,033 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:32:01,034 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:32:01,034 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:32:01,035 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:32:01,035 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:32:01,036 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:32:01,036 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:32:01,037 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:32:01,038 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:32:01,038 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:32:01,039 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:32:01,040 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:32:01,040 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:32:01,041 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:32:01,041 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:32:01,042 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:32:01,043 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:32:01,044 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:32:01,044 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:32:01,045 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:32:01,046 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:32:01,047 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:32:01,047 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:32:01,076 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:32:01,077 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:32:01,077 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:32:01,078 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:32:01,079 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:32:01,081 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:32:01,082 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:32:01,085 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:32:01,087 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:32:01,088 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:32:01,090 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:32:01,091 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:32:01,093 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:32:01,094 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:32:01,095 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:32:01,096 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:32:01,097 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:32:01,098 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:32:01,099 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:32:01,100 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:32:01,101 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:32:01,102 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:32:01,103 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:32:01,104 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:32:01,105 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:32:01,106 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:32:01,107 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:32:01,109 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 19:32:01,110 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:32:01,111 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:32:01,117 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:32:01,117 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:32:01,118 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:32:01,118 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:32:01,118 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:32:01,119 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:32:01,119 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:32:01,119 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:32:01,120 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:32:01,120 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:32:01,121 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:32:01,121 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:32:01,122 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:32:01,122 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:32:01,123 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:32:01,123 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:32:01,124 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:32:01,124 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:32:01,125 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:32:01,125 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:32:01,126 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:32:01,127 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:32:01,127 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:32:01,128 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:32:01,129 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:32:01,129 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:32:01,130 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:32:01,130 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:32:01,131 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:32:01,132 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:32:01,133 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:32:01,133 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:32:01,134 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:32:01,135 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:32:01,136 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:32:01,136 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:32:01,137 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:32:01,138 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:32:01,139 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:32:01,140 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:32:01,141 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:32:01,142 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:32:01,143 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:32:01,144 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:32:01,145 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:32:01,145 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:32:01,146 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:32:01,147 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:32:01,149 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:32:01,150 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:32:01,151 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:32:01,152 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:32:01,153 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:32:01,154 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:32:01,156 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:32:01,157 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:32:01,158 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:32:01,159 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:32:01,160 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:32:01,161 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:32:01,162 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:32:01,163 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:32:01,165 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:32:01,166 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 3 terms [2019-08-22 19:32:01,167 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:32:01,168 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:32:01,176 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-22 19:32:01,176 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms