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/ssh-simplified/s3_srvr_1a.cil.c -------------------------------------------------------------------------------- This is Ultimate 0.1.24-584d7b9 [2019-08-30 02:41:56,216 INFO L177 SettingsManager]: Resetting all preferences to default values... [2019-08-30 02:41:56,218 INFO L181 SettingsManager]: Resetting UltimateCore preferences to default values [2019-08-30 02:41:56,230 INFO L184 SettingsManager]: Ultimate Commandline Interface provides no preferences, ignoring... [2019-08-30 02:41:56,230 INFO L181 SettingsManager]: Resetting Boogie Preprocessor preferences to default values [2019-08-30 02:41:56,231 INFO L181 SettingsManager]: Resetting Boogie Procedure Inliner preferences to default values [2019-08-30 02:41:56,233 INFO L181 SettingsManager]: Resetting Abstract Interpretation preferences to default values [2019-08-30 02:41:56,234 INFO L181 SettingsManager]: Resetting LassoRanker preferences to default values [2019-08-30 02:41:56,236 INFO L181 SettingsManager]: Resetting Reaching Definitions preferences to default values [2019-08-30 02:41:56,237 INFO L181 SettingsManager]: Resetting SyntaxChecker preferences to default values [2019-08-30 02:41:56,238 INFO L181 SettingsManager]: Resetting Sifa preferences to default values [2019-08-30 02:41:56,239 INFO L184 SettingsManager]: Büchi Program Product provides no preferences, ignoring... [2019-08-30 02:41:56,239 INFO L181 SettingsManager]: Resetting LTL2Aut preferences to default values [2019-08-30 02:41:56,240 INFO L181 SettingsManager]: Resetting PEA to Boogie preferences to default values [2019-08-30 02:41:56,241 INFO L181 SettingsManager]: Resetting BlockEncodingV2 preferences to default values [2019-08-30 02:41:56,242 INFO L181 SettingsManager]: Resetting ChcToBoogie preferences to default values [2019-08-30 02:41:56,243 INFO L181 SettingsManager]: Resetting AutomataScriptInterpreter preferences to default values [2019-08-30 02:41:56,244 INFO L181 SettingsManager]: Resetting BuchiAutomizer preferences to default values [2019-08-30 02:41:56,246 INFO L181 SettingsManager]: Resetting CACSL2BoogieTranslator preferences to default values [2019-08-30 02:41:56,247 INFO L181 SettingsManager]: Resetting CodeCheck preferences to default values [2019-08-30 02:41:56,249 INFO L181 SettingsManager]: Resetting InvariantSynthesis preferences to default values [2019-08-30 02:41:56,250 INFO L181 SettingsManager]: Resetting RCFGBuilder preferences to default values [2019-08-30 02:41:56,251 INFO L181 SettingsManager]: Resetting Referee preferences to default values [2019-08-30 02:41:56,252 INFO L181 SettingsManager]: Resetting TraceAbstraction preferences to default values [2019-08-30 02:41:56,256 INFO L184 SettingsManager]: TraceAbstractionConcurrent provides no preferences, ignoring... [2019-08-30 02:41:56,256 INFO L184 SettingsManager]: TraceAbstractionWithAFAs provides no preferences, ignoring... [2019-08-30 02:41:56,257 INFO L181 SettingsManager]: Resetting TreeAutomizer preferences to default values [2019-08-30 02:41:56,257 INFO L181 SettingsManager]: Resetting IcfgToChc preferences to default values [2019-08-30 02:41:56,258 INFO L181 SettingsManager]: Resetting IcfgTransformer preferences to default values [2019-08-30 02:41:56,260 INFO L184 SettingsManager]: ReqToTest provides no preferences, ignoring... [2019-08-30 02:41:56,260 INFO L181 SettingsManager]: Resetting Boogie Printer preferences to default values [2019-08-30 02:41:56,261 INFO L181 SettingsManager]: Resetting ChcSmtPrinter preferences to default values [2019-08-30 02:41:56,263 INFO L181 SettingsManager]: Resetting ReqPrinter preferences to default values [2019-08-30 02:41:56,264 INFO L181 SettingsManager]: Resetting Witness Printer preferences to default values [2019-08-30 02:41:56,265 INFO L184 SettingsManager]: Boogie PL CUP Parser provides no preferences, ignoring... [2019-08-30 02:41:56,265 INFO L181 SettingsManager]: Resetting CDTParser preferences to default values [2019-08-30 02:41:56,265 INFO L184 SettingsManager]: AutomataScriptParser provides no preferences, ignoring... [2019-08-30 02:41:56,266 INFO L184 SettingsManager]: ReqParser provides no preferences, ignoring... [2019-08-30 02:41:56,266 INFO L181 SettingsManager]: Resetting SmtParser preferences to default values [2019-08-30 02:41:56,269 INFO L181 SettingsManager]: Resetting Witness Parser preferences to default values [2019-08-30 02:41:56,271 INFO L188 SettingsManager]: Finished resetting all preferences to default values... [2019-08-30 02:41:56,272 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-30 02:41:56,294 INFO L113 SettingsManager]: Loading preferences was successful [2019-08-30 02:41:56,295 INFO L115 SettingsManager]: Preferences different from defaults after loading the file: [2019-08-30 02:41:56,297 INFO L136 SettingsManager]: Preferences of BlockEncodingV2 differ from their defaults: [2019-08-30 02:41:56,297 INFO L138 SettingsManager]: * Create parallel compositions if possible=false [2019-08-30 02:41:56,297 INFO L138 SettingsManager]: * Use SBE=true [2019-08-30 02:41:56,298 INFO L136 SettingsManager]: Preferences of CACSL2BoogieTranslator differ from their defaults: [2019-08-30 02:41:56,298 INFO L138 SettingsManager]: * sizeof long=4 [2019-08-30 02:41:56,298 INFO L138 SettingsManager]: * Overapproximate operations on floating types=true [2019-08-30 02:41:56,298 INFO L138 SettingsManager]: * sizeof POINTER=4 [2019-08-30 02:41:56,298 INFO L138 SettingsManager]: * Check division by zero=IGNORE [2019-08-30 02:41:56,299 INFO L138 SettingsManager]: * Pointer to allocated memory at dereference=IGNORE [2019-08-30 02:41:56,300 INFO L138 SettingsManager]: * If two pointers are subtracted or compared they have the same base address=IGNORE [2019-08-30 02:41:56,300 INFO L138 SettingsManager]: * Check array bounds for arrays that are off heap=IGNORE [2019-08-30 02:41:56,300 INFO L138 SettingsManager]: * sizeof long double=12 [2019-08-30 02:41:56,301 INFO L138 SettingsManager]: * Check if freed pointer was valid=false [2019-08-30 02:41:56,301 INFO L138 SettingsManager]: * Use constant arrays=true [2019-08-30 02:41:56,301 INFO L138 SettingsManager]: * Pointer base address is valid at dereference=IGNORE [2019-08-30 02:41:56,301 INFO L136 SettingsManager]: Preferences of RCFGBuilder differ from their defaults: [2019-08-30 02:41:56,301 INFO L138 SettingsManager]: * Size of a code block=SequenceOfStatements [2019-08-30 02:41:56,302 INFO L138 SettingsManager]: * To the following directory=./dump/ [2019-08-30 02:41:56,302 INFO L138 SettingsManager]: * SMT solver=External_DefaultMode [2019-08-30 02:41:56,302 INFO L138 SettingsManager]: * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000 [2019-08-30 02:41:56,302 INFO L136 SettingsManager]: Preferences of TraceAbstraction differ from their defaults: [2019-08-30 02:41:56,303 INFO L138 SettingsManager]: * Compute Interpolants along a Counterexample=FPandBP [2019-08-30 02:41:56,303 INFO L138 SettingsManager]: * Positions where we compute the Hoare Annotation=LoopsAndPotentialCycles [2019-08-30 02:41:56,303 INFO L138 SettingsManager]: * Trace refinement strategy=CAMEL [2019-08-30 02:41:56,303 INFO L138 SettingsManager]: * SMT solver=External_ModelsAndUnsatCoreMode [2019-08-30 02:41:56,304 INFO L138 SettingsManager]: * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in [2019-08-30 02:41:56,304 INFO L138 SettingsManager]: * Compute Hoare Annotation of negated interpolant automaton, abstraction and CFG=true [2019-08-30 02:41:56,349 INFO L81 nceAwareModelManager]: Repository-Root is: /tmp [2019-08-30 02:41:56,361 INFO L258 ainManager$Toolchain]: [Toolchain 1]: Applicable parser(s) successfully (re)initialized [2019-08-30 02:41:56,364 INFO L214 ainManager$Toolchain]: [Toolchain 1]: Toolchain selected. [2019-08-30 02:41:56,366 INFO L271 PluginConnector]: Initializing CDTParser... [2019-08-30 02:41:56,367 INFO L275 PluginConnector]: CDTParser initialized [2019-08-30 02:41:56,368 INFO L428 ainManager$Toolchain]: [Toolchain 1]: Parsing single file: /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/../../../trunk/examples/svcomp/ssh-simplified/s3_srvr_1a.cil.c [2019-08-30 02:41:56,437 INFO L220 CDTParser]: Created temporary CDT project at /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/data/eece3c836/92af73b6ed854b8f8f721609e31b0d04/FLAGbc38c44bc [2019-08-30 02:41:56,907 INFO L306 CDTParser]: Found 1 translation units. [2019-08-30 02:41:56,908 INFO L160 CDTParser]: Scanning /storage/repos/ultimate/trunk/examples/svcomp/ssh-simplified/s3_srvr_1a.cil.c [2019-08-30 02:41:56,919 INFO L349 CDTParser]: About to delete temporary CDT project at /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/data/eece3c836/92af73b6ed854b8f8f721609e31b0d04/FLAGbc38c44bc [2019-08-30 02:41:57,318 INFO L357 CDTParser]: Successfully deleted /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/data/eece3c836/92af73b6ed854b8f8f721609e31b0d04 [2019-08-30 02:41:57,326 INFO L296 ainManager$Toolchain]: ####################### [Toolchain 1] ####################### [2019-08-30 02:41:57,328 INFO L131 ToolchainWalker]: Walking toolchain with 4 elements. [2019-08-30 02:41:57,328 INFO L113 PluginConnector]: ------------------------CACSL2BoogieTranslator---------------------------- [2019-08-30 02:41:57,328 INFO L271 PluginConnector]: Initializing CACSL2BoogieTranslator... [2019-08-30 02:41:57,332 INFO L275 PluginConnector]: CACSL2BoogieTranslator initialized [2019-08-30 02:41:57,333 INFO L185 PluginConnector]: Executing the observer ACSLObjectContainerObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 30.08 02:41:57" (1/1) ... [2019-08-30 02:41:57,335 INFO L205 PluginConnector]: Invalid model from CACSL2BoogieTranslator for observer de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator.ACSLObjectContainerObserver@666d77da and model type de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 30.08 02:41:57, skipping insertion in model container [2019-08-30 02:41:57,335 INFO L185 PluginConnector]: Executing the observer CACSL2BoogieTranslatorObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 30.08 02:41:57" (1/1) ... [2019-08-30 02:41:57,343 INFO L142 MainTranslator]: Starting translation in SV-COMP mode [2019-08-30 02:41:57,378 INFO L173 MainTranslator]: Built tables and reachable declarations [2019-08-30 02:41:57,586 INFO L206 PostProcessor]: Analyzing one entry point: main [2019-08-30 02:41:57,594 INFO L188 MainTranslator]: Completed pre-run [2019-08-30 02:41:57,619 INFO L206 PostProcessor]: Analyzing one entry point: main [2019-08-30 02:41:57,716 INFO L192 MainTranslator]: Completed translation [2019-08-30 02:41:57,716 INFO L202 PluginConnector]: Adding new model de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 30.08 02:41:57 WrapperNode [2019-08-30 02:41:57,717 INFO L132 PluginConnector]: ------------------------ END CACSL2BoogieTranslator---------------------------- [2019-08-30 02:41:57,717 INFO L113 PluginConnector]: ------------------------Boogie Preprocessor---------------------------- [2019-08-30 02:41:57,717 INFO L271 PluginConnector]: Initializing Boogie Preprocessor... [2019-08-30 02:41:57,718 INFO L275 PluginConnector]: Boogie Preprocessor initialized [2019-08-30 02:41:57,727 INFO L185 PluginConnector]: Executing the observer EnsureBoogieModelObserver from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 30.08 02:41:57" (1/1) ... [2019-08-30 02:41:57,727 INFO L185 PluginConnector]: Executing the observer TypeChecker from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 30.08 02:41:57" (1/1) ... [2019-08-30 02:41:57,734 INFO L185 PluginConnector]: Executing the observer ConstExpander from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 30.08 02:41:57" (1/1) ... [2019-08-30 02:41:57,734 INFO L185 PluginConnector]: Executing the observer StructExpander from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 30.08 02:41:57" (1/1) ... [2019-08-30 02:41:57,739 INFO L185 PluginConnector]: Executing the observer UnstructureCode from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 30.08 02:41:57" (1/1) ... [2019-08-30 02:41:57,746 INFO L185 PluginConnector]: Executing the observer FunctionInliner from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 30.08 02:41:57" (1/1) ... [2019-08-30 02:41:57,747 INFO L185 PluginConnector]: Executing the observer BoogieSymbolTableConstructor from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 30.08 02:41:57" (1/1) ... [2019-08-30 02:41:57,749 INFO L132 PluginConnector]: ------------------------ END Boogie Preprocessor---------------------------- [2019-08-30 02:41:57,750 INFO L113 PluginConnector]: ------------------------RCFGBuilder---------------------------- [2019-08-30 02:41:57,750 INFO L271 PluginConnector]: Initializing RCFGBuilder... [2019-08-30 02:41:57,750 INFO L275 PluginConnector]: RCFGBuilder initialized [2019-08-30 02:41:57,751 INFO L185 PluginConnector]: Executing the observer RCFGBuilderObserver from plugin RCFGBuilder for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 30.08 02:41:57" (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-30 02:41:57,805 INFO L138 BoogieDeclarations]: Found implementation of procedure ULTIMATE.init [2019-08-30 02:41:57,805 INFO L138 BoogieDeclarations]: Found implementation of procedure ULTIMATE.start [2019-08-30 02:41:57,806 INFO L138 BoogieDeclarations]: Found implementation of procedure main [2019-08-30 02:41:57,806 INFO L130 BoogieDeclarations]: Found specification of procedure __VERIFIER_error [2019-08-30 02:41:57,806 INFO L130 BoogieDeclarations]: Found specification of procedure __VERIFIER_nondet_char [2019-08-30 02:41:57,806 INFO L130 BoogieDeclarations]: Found specification of procedure __VERIFIER_nondet_int [2019-08-30 02:41:57,806 INFO L130 BoogieDeclarations]: Found specification of procedure __VERIFIER_nondet_long [2019-08-30 02:41:57,806 INFO L130 BoogieDeclarations]: Found specification of procedure __VERIFIER_nondet_pointer [2019-08-30 02:41:57,807 INFO L130 BoogieDeclarations]: Found specification of procedure main [2019-08-30 02:41:57,807 INFO L130 BoogieDeclarations]: Found specification of procedure ULTIMATE.init [2019-08-30 02:41:57,807 INFO L130 BoogieDeclarations]: Found specification of procedure ULTIMATE.start [2019-08-30 02:41:58,139 INFO L278 CfgBuilder]: Using the 1 location(s) as analysis (start of procedure ULTIMATE.start) [2019-08-30 02:41:58,140 INFO L283 CfgBuilder]: Removed 1 assume(true) statements. [2019-08-30 02:41:58,141 INFO L202 PluginConnector]: Adding new model de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder CFG 30.08 02:41:58 BoogieIcfgContainer [2019-08-30 02:41:58,141 INFO L132 PluginConnector]: ------------------------ END RCFGBuilder---------------------------- [2019-08-30 02:41:58,141 INFO L113 PluginConnector]: ------------------------Sifa---------------------------- [2019-08-30 02:41:58,142 INFO L271 PluginConnector]: Initializing Sifa... [2019-08-30 02:41:58,142 INFO L275 PluginConnector]: Sifa initialized [2019-08-30 02:41:58,143 INFO L185 PluginConnector]: Executing the observer SifaObserver from plugin Sifa for "de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder CFG 30.08 02:41:58" (1/1) ... [2019-08-30 02:41:58,174 INFO L162 IcfgInterpreter]: Started Sifa with 1 locations of interest [2019-08-30 02:41:58,174 INFO L169 IcfgInterpreter]: Building call graph [2019-08-30 02:41:58,181 INFO L174 IcfgInterpreter]: Initial procedures are [ULTIMATE.start] [2019-08-30 02:41:58,189 INFO L179 IcfgInterpreter]: Starting interpretation [2019-08-30 02:41:58,191 INFO L199 IcfgInterpreter]: Interpreting procedure ULTIMATE.start with input of size 1 for LOIs [2019-08-30 02:41:58,237 INFO L199 IcfgInterpreter]: Interpreting procedure main with input of size 1 for LOIs [2019-08-30 02:41:58,494 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:41:58,537 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:41:58,597 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:41:58,651 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:41:58,688 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:41:58,730 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:41:58,765 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:41:58,807 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:41:58,839 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:41:58,871 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:41:58,903 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:41:58,940 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:41:58,976 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:41:59,003 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:41:59,045 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:41:59,073 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:41:59,096 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:41:59,116 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:41:59,136 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:41:59,157 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:41:59,178 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:41:59,200 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:41:59,222 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:41:59,244 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:41:59,266 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:41:59,289 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:41:59,312 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:41:59,335 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:41:59,357 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:41:59,380 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:41:59,406 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:41:59,433 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:41:59,461 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:41:59,491 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:41:59,527 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:41:59,553 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:41:59,578 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:41:59,602 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:41:59,626 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:41:59,650 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:41:59,676 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:41:59,701 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:41:59,726 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:41:59,752 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:41:59,777 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:41:59,806 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:41:59,835 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:41:59,862 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:41:59,890 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:41:59,923 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:41:59,957 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:41:59,992 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:00,037 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:00,067 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:00,099 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:00,130 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:00,161 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:00,191 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:00,221 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:00,250 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:00,284 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:00,315 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:00,347 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:00,393 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:00,436 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:00,481 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:00,536 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:00,571 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:00,604 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:00,637 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:00,673 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:00,705 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:00,744 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:00,784 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:00,819 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:00,854 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:00,890 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:00,925 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:00,961 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:01,004 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:01,058 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:01,112 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:01,159 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:01,204 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:01,257 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:01,297 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:01,334 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:01,370 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:01,407 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:01,454 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:01,491 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:01,530 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:01,571 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:01,606 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:01,641 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:01,692 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:01,730 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:01,772 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:01,817 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:01,868 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:01,913 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:01,955 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:01,990 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:02,029 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:02,069 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:02,106 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:02,146 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:02,198 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:02,239 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:02,283 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:02,331 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:02,372 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:02,412 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:02,477 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:02,527 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:02,583 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:02,648 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:02,696 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:02,736 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:02,776 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:02,830 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:02,876 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:02,916 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:02,959 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:02,999 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:03,047 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:03,094 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:03,137 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:03,178 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:03,226 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:03,279 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:03,324 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:03,366 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:03,408 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:03,457 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:03,500 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:03,542 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:03,585 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:03,629 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:03,671 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:03,712 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:03,757 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:03,804 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:03,851 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:03,907 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:03,963 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:04,029 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:04,089 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:04,134 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:04,185 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:04,258 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:04,326 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:04,391 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:04,457 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:04,502 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:04,553 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:04,603 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:04,650 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:04,696 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:04,744 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:04,805 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:04,852 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:04,898 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:04,949 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:04,996 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:05,044 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:05,092 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:05,143 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:05,192 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:05,243 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:05,293 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:05,343 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:05,393 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:05,444 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:05,503 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:05,566 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:05,644 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:05,696 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:05,748 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:05,808 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:05,884 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:05,940 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:05,994 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:06,046 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:06,100 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:06,155 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:06,206 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:06,278 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:06,333 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:06,388 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:06,457 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:06,533 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:06,614 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:06,670 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:06,726 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:06,782 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:06,840 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:06,898 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:06,957 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:07,019 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:07,077 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:07,139 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:07,261 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:07,403 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:07,542 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:07,706 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:07,831 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:07,947 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:08,022 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:08,084 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:08,147 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:08,215 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:08,275 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:08,331 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:08,393 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:08,458 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:08,519 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:08,579 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:08,645 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:08,707 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:08,804 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:08,969 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:09,120 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:09,276 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:09,438 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:09,551 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:09,642 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:09,709 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:09,775 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:09,844 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:09,914 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:09,984 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:10,071 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:10,138 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:10,204 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:10,274 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:10,361 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:10,448 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:10,525 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:10,591 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:10,663 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:10,736 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:10,805 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:10,884 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:10,958 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:11,030 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:11,101 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:11,175 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:11,245 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:11,318 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:11,391 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:11,478 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:11,552 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:11,623 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:11,704 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:11,778 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:11,855 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:11,927 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:12,000 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:12,078 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:12,152 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:12,225 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:12,300 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:12,377 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:12,452 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:12,558 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:12,654 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:12,730 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:12,811 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:12,886 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:12,968 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:13,050 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:13,131 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:13,210 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:13,289 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:13,370 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:13,450 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:13,531 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:13,614 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:13,713 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:13,804 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:13,887 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:13,971 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:14,051 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:14,133 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:14,214 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:14,299 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:14,383 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:14,469 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:14,554 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:14,641 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:14,732 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:14,814 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:14,903 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:15,023 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:15,108 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:15,192 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:15,281 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:15,373 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:15,467 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:15,556 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:15,640 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:15,729 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:15,817 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:15,912 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:16,006 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:16,094 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:16,181 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:16,288 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:16,382 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:16,475 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:16,568 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:16,668 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:16,759 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:16,858 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:16,952 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:17,047 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:17,142 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:17,233 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:17,336 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:17,433 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:17,526 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:17,650 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:17,761 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:17,860 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:17,956 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:18,053 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:18,149 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:18,250 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:18,349 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:18,444 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:18,542 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:18,638 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:18,735 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:18,837 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:18,932 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:19,049 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:19,149 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:19,257 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:19,359 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:19,462 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:19,566 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:19,667 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:19,770 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:19,873 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:19,979 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:20,083 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:20,192 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:20,293 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:20,398 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:20,532 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:20,635 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:20,740 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:20,843 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:20,947 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:21,058 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:21,161 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:21,266 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:21,371 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:21,478 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:21,583 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:21,689 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:21,796 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:21,906 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:22,035 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:22,145 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:22,254 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:22,365 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:22,493 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:22,602 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:22,711 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:22,821 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:22,935 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:23,046 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:23,156 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:23,274 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:23,388 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:23,529 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:23,644 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:23,761 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:23,878 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:24,002 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:24,115 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:24,238 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:24,354 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:24,474 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:24,587 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:24,709 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:24,825 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:24,941 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:25,082 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:25,202 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:25,319 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:25,439 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:25,558 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:25,676 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:25,793 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:25,915 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:26,040 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:26,166 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:26,284 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:26,402 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:26,523 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:26,683 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:26,805 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:26,930 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:27,059 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:27,185 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:27,314 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:27,439 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:27,563 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:27,685 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:27,808 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:27,932 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:28,058 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:28,185 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:28,329 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:28,452 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:28,580 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:28,721 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:28,847 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:28,972 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:29,098 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:29,227 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:29,359 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:29,490 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:29,618 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:29,782 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:29,908 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:30,077 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:30,210 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:30,342 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:30,476 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:30,609 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:30,743 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:30,884 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:31,021 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:31,159 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:31,293 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:31,432 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:31,568 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:31,710 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:31,861 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:31,993 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:32,129 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:32,270 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:32,407 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:32,549 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:32,688 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:32,825 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:32,960 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:33,097 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:33,242 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:33,378 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:33,523 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:33,696 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:33,838 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:33,980 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:34,124 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:34,270 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:34,412 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:34,555 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:34,696 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:34,840 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:34,985 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:35,128 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:35,271 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:35,435 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:35,577 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:35,724 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:35,868 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:36,033 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:36,183 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:36,331 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:36,484 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:36,637 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:36,786 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:36,940 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:37,091 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:37,252 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:37,434 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:37,585 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:37,738 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:37,891 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:38,045 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:38,198 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:38,353 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:38,506 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:38,660 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:38,817 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:38,977 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:39,145 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:39,329 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:39,484 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:39,640 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:39,799 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:39,955 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:40,115 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:40,279 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:40,441 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:40,601 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:40,769 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:40,931 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:41,091 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:41,295 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:41,460 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:41,630 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:41,799 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:41,962 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:42,130 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:42,296 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:42,468 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:42,636 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:42,805 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:42,973 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:43,143 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:43,331 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:43,496 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:43,658 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:43,821 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:43,987 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:44,156 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:44,323 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:44,488 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:44,659 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:44,827 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:44,992 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:45,161 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:45,340 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:45,530 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:45,701 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:45,872 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:46,040 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:46,212 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:46,381 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:46,551 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:46,724 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:46,899 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:47,070 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:47,243 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:47,418 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:47,619 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:47,795 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:47,972 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:48,152 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:48,329 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:48,513 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:48,694 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:48,873 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:49,050 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:49,227 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:49,404 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:49,590 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:49,808 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:49,988 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:50,168 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:50,351 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:50,531 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:50,714 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:50,897 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:51,083 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:51,272 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:51,458 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:51,640 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:51,829 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:52,044 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:52,228 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:52,411 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:52,598 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:52,790 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:52,976 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:53,166 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:53,351 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:53,543 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:53,735 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:53,925 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:54,116 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:54,346 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:54,536 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:54,730 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:54,919 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:55,109 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:55,296 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:55,491 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:55,689 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:55,893 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:56,094 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:56,295 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:56,494 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:56,717 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:56,916 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:57,119 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:57,324 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:57,519 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:57,724 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:57,940 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:58,141 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:58,348 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:58,554 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:58,761 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:58,968 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:59,217 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:59,419 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:59,624 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:42:59,831 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:00,042 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:00,255 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:00,465 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:00,670 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:00,878 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:01,088 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:01,296 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:01,502 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:01,738 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:01,944 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:02,153 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:02,362 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:02,575 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:02,789 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:03,011 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:03,228 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:03,448 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:03,665 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:03,882 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:04,098 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:04,342 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:04,555 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:04,768 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:04,984 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:05,199 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:05,413 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:05,631 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:05,844 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:06,061 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:06,285 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:06,507 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:06,726 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:06,972 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:07,189 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:07,407 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:07,629 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:07,850 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:08,074 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:08,294 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:08,515 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:08,734 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:08,955 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:09,179 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:09,402 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:09,677 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:09,902 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:10,130 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:10,358 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:10,586 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:10,811 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:11,039 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:11,272 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:11,503 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:11,732 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:11,959 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:12,187 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:12,445 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:12,671 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:12,899 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:13,136 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:13,371 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:13,604 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:13,832 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:14,062 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:14,295 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:14,526 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:14,757 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:14,993 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:15,276 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:15,508 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:15,744 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:15,976 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:16,212 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:16,447 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:16,684 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:16,920 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:17,158 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:17,404 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:17,644 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:17,884 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:18,153 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:18,396 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:18,638 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:18,882 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:19,123 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:19,371 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:19,616 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:19,864 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:20,110 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:20,354 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:20,600 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:20,849 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:21,156 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:21,402 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:21,650 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:21,897 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:22,148 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:22,396 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:22,643 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:22,892 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:23,142 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:23,398 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:23,648 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:23,899 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:24,187 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:24,438 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:24,696 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:24,951 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:25,211 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:25,473 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:25,733 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:25,988 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:26,241 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:26,493 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:26,747 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:27,005 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:27,313 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:27,567 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:27,822 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:28,077 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:28,335 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:28,595 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:28,853 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:29,110 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:29,373 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:29,632 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:29,892 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:30,153 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:30,450 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:30,711 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:30,978 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:31,243 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:31,511 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:31,778 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:32,044 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:32,313 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:32,583 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:32,856 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:33,134 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:33,403 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:33,726 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:33,995 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:34,272 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:34,539 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:34,807 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:35,076 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:35,346 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:35,615 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:35,890 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:36,166 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:36,439 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:36,717 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:37,022 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:37,298 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:37,571 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:37,846 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:38,121 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:38,398 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:38,674 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:38,956 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:39,235 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:39,515 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:39,809 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:40,093 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:40,386 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:40,698 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:40,985 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:41,269 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:41,552 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:41,832 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:42,114 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:42,397 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:42,680 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:42,968 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:43,256 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:43,542 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:43,863 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:44,153 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:44,446 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:44,736 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:45,029 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:45,321 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:45,621 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:45,918 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:46,212 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:46,508 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:46,801 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:47,097 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:47,440 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:47,753 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:48,063 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:48,367 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:48,666 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:48,966 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:49,266 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:49,564 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:49,862 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:50,161 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:50,460 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:50,760 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:51,093 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:51,395 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:51,692 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:51,991 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:52,295 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:52,600 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:52,904 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:53,213 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:53,514 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:53,830 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:54,139 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:54,458 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:54,815 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:55,126 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:55,446 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:55,866 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:56,182 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:56,497 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:56,813 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:57,129 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:57,441 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:57,759 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:58,078 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:58,399 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:58,748 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:59,066 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:59,388 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:43:59,707 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:00,021 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:00,340 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:00,664 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:01,000 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:01,333 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:01,659 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:01,984 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:02,347 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:02,671 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:02,997 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:03,329 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:03,661 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:03,988 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:04,314 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:04,650 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:04,980 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:05,308 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:05,640 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:05,989 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:06,325 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:06,655 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:06,998 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:07,331 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:07,670 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:07,999 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:08,335 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:08,672 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:09,012 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:09,384 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:09,728 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:10,075 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:10,413 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:10,762 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:11,110 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:11,457 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:11,794 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:12,131 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:12,501 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:12,840 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:13,180 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:13,532 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:13,874 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:14,219 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:14,749 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:15,327 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:15,672 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:16,040 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:16,382 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:16,727 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:17,070 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:17,419 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:17,771 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:18,113 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:18,458 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:18,845 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:19,208 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:19,556 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:19,915 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:20,272 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:20,623 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:20,975 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:21,543 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:21,936 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:22,291 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:22,657 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:23,022 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:23,380 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:23,739 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:24,099 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:24,495 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:24,873 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:25,242 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:25,611 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:25,978 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:26,347 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:26,722 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:27,117 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:27,487 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:27,850 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:28,215 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:28,581 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:28,948 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:29,310 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:29,706 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:30,079 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:30,447 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:30,816 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:31,189 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:31,565 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:31,954 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:32,325 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:32,695 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:33,076 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:33,451 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:33,823 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:34,225 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:34,611 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:34,992 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:35,372 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:35,747 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:36,144 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:36,518 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:36,893 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:37,268 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:37,646 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:38,024 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:38,429 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:38,825 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:39,211 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:39,594 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:40,001 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:40,391 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:40,772 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:41,162 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:41,548 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:41,955 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:42,354 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:42,749 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:43,137 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:43,529 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:43,936 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:44,325 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:44,714 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:45,104 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:45,505 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:45,899 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:46,289 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:46,683 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:47,085 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:47,476 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:47,866 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:48,257 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:48,666 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:49,064 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:49,461 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:49,874 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:50,279 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:50,686 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:51,083 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:51,495 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:51,889 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:52,287 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:52,702 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:53,105 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:53,506 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:53,922 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:54,323 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:54,722 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:55,138 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:55,547 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:55,960 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:56,379 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:56,786 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:57,198 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:57,623 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:58,035 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:58,457 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:58,889 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:59,326 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:44:59,735 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:45:00,159 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:45:00,570 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:45:00,991 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:45:01,408 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:45:01,841 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:45:02,260 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:45:02,676 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:45:03,108 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:45:03,525 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:45:03,944 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:45:04,374 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:45:04,792 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:45:05,206 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:45:05,641 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:45:06,069 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:45:06,497 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:45:06,935 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:45:07,359 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:45:07,799 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:45:08,223 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:45:08,647 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:45:09,084 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:45:09,508 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:45:09,945 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:45:10,366 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:45:10,790 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:45:11,237 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:45:11,667 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:45:12,110 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:45:12,552 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:45:12,987 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:45:13,430 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:45:13,861 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:45:14,312 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:45:14,751 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:45:15,193 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:45:15,620 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:45:16,064 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:45:16,512 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:45:16,945 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:45:17,396 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:45:17,835 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:45:18,289 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:45:18,726 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:45:19,172 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:45:19,613 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:45:20,062 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:45:20,502 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:45:20,955 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:45:21,397 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:45:21,856 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:45:22,304 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:45:22,772 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:45:23,226 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:45:23,685 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:45:24,131 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:45:24,584 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:45:25,029 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:45:25,482 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:45:25,933 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:45:26,396 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:45:26,840 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:45:27,301 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:45:27,753 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:45:28,221 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:45:28,680 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:45:29,147 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:45:29,604 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:45:30,065 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:45:30,524 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:45:30,998 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:45:31,466 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:45:31,930 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:45:32,380 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:45:32,846 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:45:33,301 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:45:33,770 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:45:34,246 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:45:34,713 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:45:35,192 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:45:35,661 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:45:36,134 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:45:36,614 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:45:37,079 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:45:37,556 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:45:38,069 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:45:38,535 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:45:39,009 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:45:39,484 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:45:39,956 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:45:40,426 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:45:40,903 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:45:41,390 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:45:41,922 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:45:42,414 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:45:42,893 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:45:43,364 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:45:43,848 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:45:44,319 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:45:44,801 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:45:45,282 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:45:45,756 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:45:46,237 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:45:46,721 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:45:47,205 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:45:47,699 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:45:48,181 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:45:48,678 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:45:49,162 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:45:49,659 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:45:50,141 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:45:50,645 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:45:51,135 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:45:51,636 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:45:52,123 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:45:52,621 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:45:53,111 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:45:53,602 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:45:54,104 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:45:54,597 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:45:55,110 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:45:55,620 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:45:56,119 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:45:56,629 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:45:57,131 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:45:57,644 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:45:58,147 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:45:58,643 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:45:59,156 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:45:59,649 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:46:00,142 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:46:00,652 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:46:01,143 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:46:01,642 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:46:02,165 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:46:02,669 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:46:03,172 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:46:03,695 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:46:04,210 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:46:04,719 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:46:05,242 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:46:05,746 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:46:06,253 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:46:06,774 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:46:07,285 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:46:07,787 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:46:08,290 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:46:08,807 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:46:09,315 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:46:09,821 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:46:10,341 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:46:10,856 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:46:11,373 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:46:11,919 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:46:12,464 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:46:12,992 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:46:13,517 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:46:14,044 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:46:14,844 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:46:15,378 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:46:15,891 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:46:16,426 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:46:16,939 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:46:17,462 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:46:18,000 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:46:18,518 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:46:19,055 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:46:19,580 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:46:20,105 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:46:20,648 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:46:21,187 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:46:21,716 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:46:22,240 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:46:22,776 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:46:23,305 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:46:23,844 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:46:24,374 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:46:24,910 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:46:25,438 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:46:25,980 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:46:26,522 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:46:27,058 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:46:27,609 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:46:28,155 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:46:28,702 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:46:29,265 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:46:29,812 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:46:30,361 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:46:30,912 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:46:31,458 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:46:31,994 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:46:32,536 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:46:33,075 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:46:33,619 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:46:34,162 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:46:34,713 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:46:35,262 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:46:35,815 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:46:36,366 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:46:36,918 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:46:37,520 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:46:38,091 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:46:38,654 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:46:39,206 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:46:39,760 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:46:40,310 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:46:40,861 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:46:41,413 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:46:41,968 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:46:42,516 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:46:43,074 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:46:43,631 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:46:44,192 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:46:44,772 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:46:45,343 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:46:45,912 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:46:46,495 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:46:47,070 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:46:47,634 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:46:48,210 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:46:48,781 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:46:49,345 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:46:49,917 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:46:50,482 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:46:51,053 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:46:51,628 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:46:52,197 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:46:52,773 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:46:53,354 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:46:53,934 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:46:54,510 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:46:55,093 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:46:55,674 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:46:56,250 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:46:56,840 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:46:57,415 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:46:57,992 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:46:58,573 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:46:59,148 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:46:59,722 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:47:00,294 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:47:00,874 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:47:01,450 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:47:02,032 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:47:02,615 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:47:03,213 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:47:03,826 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:47:04,421 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:47:05,005 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:47:05,595 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:47:06,188 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:47:06,779 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:47:07,375 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:47:07,972 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:47:08,566 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:47:09,159 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:47:09,747 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:47:10,333 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:47:10,931 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:47:11,517 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:47:12,107 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:47:12,719 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:47:13,320 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:47:13,922 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:47:14,524 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:47:15,131 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:47:15,730 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:47:16,333 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:47:16,940 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:47:17,548 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:47:18,155 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:47:18,755 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:47:19,367 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:47:19,972 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:47:20,578 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:47:21,198 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:47:21,801 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:47:22,411 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:47:23,017 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:47:23,628 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:47:24,242 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:47:24,857 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:47:25,473 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:47:26,082 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:47:26,706 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:47:27,343 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:47:27,970 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:47:28,591 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:47:29,218 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:47:29,842 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:47:30,464 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:47:31,080 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:47:31,702 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:47:32,327 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:47:32,948 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:47:33,606 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:47:34,250 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:47:34,883 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:47:35,522 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:47:36,160 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:47:36,789 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:47:37,428 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:47:38,064 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:47:38,705 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:47:39,387 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:47:40,029 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:47:40,658 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:47:41,293 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:47:41,934 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:47:42,568 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:47:43,211 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:47:43,851 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:47:44,525 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:47:45,178 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:47:45,832 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:47:46,482 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:47:47,140 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:47:47,802 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:47:48,471 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:47:49,147 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:47:49,819 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:47:50,498 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:47:51,158 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:47:51,818 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:47:52,470 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:47:53,131 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:47:53,791 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:47:54,445 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:47:55,106 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:47:55,782 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:47:56,462 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:47:57,137 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:47:57,808 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:47:58,484 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:47:59,164 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:47:59,831 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:48:00,501 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:48:01,210 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:48:01,892 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:48:02,553 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:48:03,212 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:48:03,874 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:48:04,529 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:48:05,189 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:48:05,857 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:48:06,518 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:48:07,192 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:48:07,874 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:48:08,542 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:48:09,222 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:48:09,907 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:48:10,595 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:48:11,272 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:48:11,954 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:48:12,634 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:48:13,316 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:48:13,999 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:48:14,676 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:48:15,365 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:48:16,043 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:48:16,718 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:48:17,400 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:48:18,067 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:48:18,750 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:48:19,443 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:48:20,134 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:48:20,834 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:48:21,526 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:48:22,227 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:48:22,925 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:48:23,615 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:48:24,308 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:48:25,003 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:48:25,705 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:48:26,398 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:48:27,095 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:48:27,789 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:48:28,472 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:48:29,158 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:48:29,853 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:48:30,547 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:48:31,254 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:48:31,962 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:48:32,668 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:48:33,381 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:48:34,087 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:48:34,788 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:48:35,499 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:48:36,228 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:48:36,941 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:48:37,657 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:48:38,368 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:48:39,070 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:48:39,768 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:48:40,466 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:48:41,167 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:48:41,868 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:48:42,571 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:48:43,289 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:48:44,008 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:48:44,723 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:48:45,442 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:48:46,174 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:48:46,894 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:48:47,620 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:48:48,344 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:48:49,069 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:48:49,796 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:48:50,526 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:48:51,246 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:48:51,967 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:48:52,689 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:48:53,402 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:48:54,113 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:48:54,834 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:48:55,556 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:48:56,294 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:48:57,043 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:48:57,782 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:48:58,537 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:48:59,284 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:49:00,025 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:49:00,758 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:49:01,493 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:49:02,228 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:49:02,964 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:49:03,710 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:49:04,447 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:49:05,183 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:49:05,917 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:49:06,650 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:49:07,383 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:49:08,108 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:49:08,850 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:49:09,591 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:49:10,347 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:49:11,104 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:49:11,863 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:49:12,623 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:49:13,384 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:49:14,131 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:49:14,893 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:49:15,646 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:49:16,404 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:49:17,146 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:49:17,891 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:49:18,634 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:49:19,384 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:49:20,133 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:49:20,884 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:49:21,642 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:49:22,409 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:49:23,181 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:49:23,940 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:49:24,703 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:49:25,468 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:49:26,230 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:49:27,005 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:49:27,794 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:49:28,580 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:49:29,358 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:49:30,128 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:49:30,898 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:49:31,662 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:49:32,425 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:49:33,187 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:49:33,941 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:49:34,697 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:49:35,458 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:49:36,226 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:49:37,004 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:49:37,798 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:49:38,589 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:49:39,382 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:49:40,174 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:49:40,957 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:49:41,729 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:49:42,506 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:49:43,292 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:49:44,066 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:49:44,849 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:49:45,625 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:49:46,398 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:49:47,176 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:49:47,964 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:49:48,754 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:49:49,536 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:49:50,321 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:49:51,114 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:49:51,901 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:49:52,697 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:49:53,490 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:49:54,285 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:49:55,086 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:49:55,893 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:49:56,689 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:49:57,500 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:49:58,305 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:49:59,109 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:49:59,908 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:50:00,696 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:50:01,519 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:50:02,325 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:50:03,116 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:50:03,907 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:50:04,695 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:50:05,500 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:50:06,311 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:50:07,133 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:50:07,961 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:50:08,802 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:50:09,621 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:50:10,442 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:50:11,254 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:50:12,076 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:50:12,882 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:50:13,688 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:50:14,491 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:50:15,320 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:50:16,126 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:50:16,948 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:50:17,818 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:50:18,640 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:50:19,463 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:50:20,292 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:50:21,121 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:50:21,936 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:50:22,808 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:50:23,638 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:50:24,472 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:50:25,322 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:50:26,169 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:50:27,016 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:50:27,857 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:50:28,701 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:50:29,533 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:50:30,354 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:50:31,185 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:50:32,006 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:50:32,826 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:50:33,651 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:50:34,481 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:50:35,310 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:50:36,150 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:50:36,991 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:50:37,843 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:50:38,698 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:50:39,554 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:50:40,398 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:50:41,262 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:50:42,131 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:50:43,032 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:50:43,882 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:50:44,715 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:50:45,553 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:50:46,392 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:50:47,229 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:50:48,070 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:50:48,907 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:50:49,757 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:50:50,616 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:50:51,483 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:50:52,355 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:50:53,235 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:50:54,108 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:50:54,976 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:50:55,839 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:50:56,700 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:50:57,549 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:50:58,406 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:50:59,271 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:51:00,136 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:51:01,008 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:51:01,864 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:51:02,726 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:51:03,585 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:51:04,460 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:51:05,327 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:51:06,193 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:51:07,065 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:51:07,932 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:51:08,801 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:51:09,675 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:51:10,550 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:51:11,433 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:51:12,322 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:51:13,215 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:51:14,103 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:51:14,996 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:51:15,872 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:51:16,762 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:51:17,634 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:51:18,513 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:51:19,385 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:51:20,265 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:51:21,139 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:51:22,014 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:51:22,890 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:51:23,778 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:51:24,675 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:51:25,581 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:51:26,466 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:51:27,355 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:51:28,256 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:51:29,164 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:51:30,077 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:51:30,981 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:51:31,877 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:51:32,770 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:51:33,647 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:51:34,535 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:51:35,424 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:51:36,302 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:51:37,188 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:51:38,072 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:51:38,972 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:51:39,883 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:51:40,808 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:51:41,729 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:51:42,660 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:51:43,582 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:51:44,511 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:51:45,435 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:51:46,343 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:51:47,257 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:51:48,158 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:51:49,061 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:51:49,959 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:51:50,864 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:51:51,772 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:51:52,685 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:51:53,605 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:51:54,523 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:51:55,442 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:51:56,368 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:51:57,303 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:51:58,224 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:51:59,133 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:52:00,058 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:52:00,976 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:52:01,905 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:52:02,836 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:52:03,757 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:52:04,692 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:52:05,627 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:52:06,568 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:52:07,493 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:52:08,428 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:52:09,356 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:52:10,276 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:52:11,214 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:52:12,146 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:52:13,086 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:52:14,025 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:52:14,974 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:52:15,933 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:52:16,940 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:52:17,891 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:52:18,836 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:52:19,788 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:52:20,730 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:52:21,686 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:52:22,660 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:52:23,622 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:52:24,579 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:52:25,532 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:52:26,484 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:52:27,447 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:52:28,390 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:52:29,329 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:52:30,271 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:52:31,220 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:52:32,171 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:52:33,120 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:52:34,087 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:52:35,060 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:52:36,046 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:52:37,039 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:52:38,028 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:52:39,021 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:52:40,000 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:52:40,966 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:52:41,931 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:52:42,881 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:52:43,827 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:52:44,777 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:52:45,729 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:52:46,680 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:52:47,636 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:52:48,603 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:52:49,582 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:52:50,568 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:52:51,575 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:52:52,574 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:52:53,564 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:52:54,580 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:52:55,568 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:52:56,550 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:52:57,544 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:52:58,520 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:52:59,485 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:53:00,466 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:53:01,429 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:53:02,408 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:53:03,379 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:53:04,356 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:53:05,342 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:53:06,331 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:53:07,327 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:53:08,332 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:53:09,326 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:53:10,333 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:53:11,340 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:53:12,356 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:53:13,372 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:53:14,386 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:53:15,395 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:53:16,392 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:53:17,395 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:53:18,389 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:53:19,371 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:53:20,359 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:53:21,360 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:53:22,350 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:53:23,354 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:53:24,362 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:53:25,368 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:53:26,397 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:53:27,429 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:53:28,469 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:53:29,480 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:53:30,511 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:53:31,518 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:53:32,539 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:53:33,551 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:53:34,561 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:53:35,568 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:53:36,572 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:53:37,583 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:53:38,601 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:53:39,624 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:53:40,637 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:53:41,664 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:53:42,681 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:53:43,715 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:53:44,741 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:53:45,762 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:53:46,784 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:53:47,807 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:53:48,832 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:53:49,856 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:53:50,902 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:53:51,938 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:53:52,978 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:53:54,032 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:53:55,075 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:53:56,123 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:53:57,154 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:53:58,192 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:53:59,219 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:54:00,252 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:54:01,283 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:54:02,335 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:54:03,714 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:54:04,755 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:54:05,792 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:54:06,853 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:54:07,892 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:54:08,947 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:54:09,995 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:54:11,048 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:54:12,099 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:54:13,165 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:54:14,213 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:54:15,253 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:54:16,297 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:54:17,341 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:54:18,379 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:54:19,419 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:54:20,468 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:54:21,516 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:54:22,547 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:54:23,602 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:54:24,646 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:54:25,717 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:54:26,784 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:54:27,832 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:54:28,900 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:54:29,958 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:54:31,057 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:54:32,127 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:54:33,232 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:54:34,304 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:54:35,362 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:54:36,425 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:54:37,471 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:54:38,530 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:54:39,583 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:54:40,634 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:54:41,702 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:54:42,749 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:54:43,825 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:54:44,894 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:54:45,965 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:54:47,089 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:54:48,175 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:54:49,267 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:54:50,394 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:54:51,492 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:54:52,582 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:54:53,698 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:54:54,766 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:54:55,817 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:54:56,901 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:54:57,952 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:54:59,007 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:55:00,091 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:55:01,155 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:55:02,220 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:55:03,312 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:55:04,400 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:55:05,491 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:55:06,614 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:55:07,721 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:55:08,824 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:55:09,940 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:55:11,063 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:55:12,152 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:55:13,232 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:55:14,404 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:55:15,487 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:55:16,562 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:55:17,665 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:55:18,748 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:55:19,824 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:55:20,901 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:55:22,060 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:55:23,150 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:55:24,235 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:55:25,373 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:55:26,484 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:55:27,579 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:55:28,686 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:55:29,864 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:55:30,989 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:55:32,105 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:55:33,216 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:55:34,358 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:55:35,465 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:55:36,562 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:55:37,694 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:55:38,798 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:55:39,906 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:55:41,010 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:55:42,138 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:55:43,237 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:55:44,347 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:55:45,453 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:55:46,696 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:55:47,846 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:55:48,987 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:55:50,130 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:55:51,299 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:55:52,427 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:55:53,551 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:55:54,685 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:55:55,875 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:55:56,994 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:55:58,104 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:55:59,243 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:56:00,360 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:56:01,487 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:56:02,613 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:56:03,793 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:56:04,928 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:56:06,067 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:56:07,210 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:56:08,391 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:56:09,544 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:56:10,686 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:56:11,826 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:56:13,011 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:56:14,148 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:56:15,285 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:56:16,435 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:56:17,618 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:56:18,764 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:56:19,908 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:56:21,052 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:56:22,202 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:56:23,428 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:56:24,587 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:56:25,738 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:56:26,902 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:56:28,078 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:56:29,215 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:56:30,366 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-30 02:56:31,515 INFO L319 QuantifierPusher]: Applying distributivity, recursing on 2 terms