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