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/psyco/psyco_io_1.c -------------------------------------------------------------------------------- This is Ultimate 0.1.24-a32b1f7 [2019-08-18 05:46:05,307 INFO L177 SettingsManager]: Resetting all preferences to default values... [2019-08-18 05:46:05,309 INFO L181 SettingsManager]: Resetting UltimateCore preferences to default values [2019-08-18 05:46:05,321 INFO L184 SettingsManager]: Ultimate Commandline Interface provides no preferences, ignoring... [2019-08-18 05:46:05,321 INFO L181 SettingsManager]: Resetting Boogie Preprocessor preferences to default values [2019-08-18 05:46:05,322 INFO L181 SettingsManager]: Resetting Boogie Procedure Inliner preferences to default values [2019-08-18 05:46:05,323 INFO L181 SettingsManager]: Resetting Abstract Interpretation preferences to default values [2019-08-18 05:46:05,325 INFO L181 SettingsManager]: Resetting LassoRanker preferences to default values [2019-08-18 05:46:05,337 INFO L181 SettingsManager]: Resetting Reaching Definitions preferences to default values [2019-08-18 05:46:05,338 INFO L181 SettingsManager]: Resetting SyntaxChecker preferences to default values [2019-08-18 05:46:05,340 INFO L181 SettingsManager]: Resetting Symbolic Interpretation preferences to default values [2019-08-18 05:46:05,341 INFO L184 SettingsManager]: Büchi Program Product provides no preferences, ignoring... [2019-08-18 05:46:05,341 INFO L181 SettingsManager]: Resetting LTL2Aut preferences to default values [2019-08-18 05:46:05,345 INFO L181 SettingsManager]: Resetting PEA to Boogie preferences to default values [2019-08-18 05:46:05,347 INFO L181 SettingsManager]: Resetting BlockEncodingV2 preferences to default values [2019-08-18 05:46:05,348 INFO L181 SettingsManager]: Resetting ChcToBoogie preferences to default values [2019-08-18 05:46:05,349 INFO L181 SettingsManager]: Resetting AutomataScriptInterpreter preferences to default values [2019-08-18 05:46:05,353 INFO L181 SettingsManager]: Resetting BuchiAutomizer preferences to default values [2019-08-18 05:46:05,356 INFO L181 SettingsManager]: Resetting CACSL2BoogieTranslator preferences to default values [2019-08-18 05:46:05,358 INFO L181 SettingsManager]: Resetting CodeCheck preferences to default values [2019-08-18 05:46:05,361 INFO L181 SettingsManager]: Resetting InvariantSynthesis preferences to default values [2019-08-18 05:46:05,364 INFO L181 SettingsManager]: Resetting RCFGBuilder preferences to default values [2019-08-18 05:46:05,367 INFO L181 SettingsManager]: Resetting Referee preferences to default values [2019-08-18 05:46:05,368 INFO L181 SettingsManager]: Resetting TraceAbstraction preferences to default values [2019-08-18 05:46:05,370 INFO L184 SettingsManager]: TraceAbstractionConcurrent provides no preferences, ignoring... [2019-08-18 05:46:05,370 INFO L184 SettingsManager]: TraceAbstractionWithAFAs provides no preferences, ignoring... [2019-08-18 05:46:05,370 INFO L181 SettingsManager]: Resetting TreeAutomizer preferences to default values [2019-08-18 05:46:05,372 INFO L181 SettingsManager]: Resetting IcfgToChc preferences to default values [2019-08-18 05:46:05,374 INFO L181 SettingsManager]: Resetting IcfgTransformer preferences to default values [2019-08-18 05:46:05,375 INFO L184 SettingsManager]: ReqToTest provides no preferences, ignoring... [2019-08-18 05:46:05,375 INFO L181 SettingsManager]: Resetting Boogie Printer preferences to default values [2019-08-18 05:46:05,377 INFO L181 SettingsManager]: Resetting ChcSmtPrinter preferences to default values [2019-08-18 05:46:05,378 INFO L181 SettingsManager]: Resetting ReqPrinter preferences to default values [2019-08-18 05:46:05,378 INFO L181 SettingsManager]: Resetting Witness Printer preferences to default values [2019-08-18 05:46:05,380 INFO L184 SettingsManager]: Boogie PL CUP Parser provides no preferences, ignoring... [2019-08-18 05:46:05,381 INFO L181 SettingsManager]: Resetting CDTParser preferences to default values [2019-08-18 05:46:05,381 INFO L184 SettingsManager]: AutomataScriptParser provides no preferences, ignoring... [2019-08-18 05:46:05,381 INFO L184 SettingsManager]: ReqParser provides no preferences, ignoring... [2019-08-18 05:46:05,382 INFO L181 SettingsManager]: Resetting SmtParser preferences to default values [2019-08-18 05:46:05,385 INFO L181 SettingsManager]: Resetting Witness Parser preferences to default values [2019-08-18 05:46:05,385 INFO L188 SettingsManager]: Finished resetting all preferences to default values... [2019-08-18 05:46:05,387 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-18 05:46:05,413 INFO L113 SettingsManager]: Loading preferences was successful [2019-08-18 05:46:05,414 INFO L115 SettingsManager]: Preferences different from defaults after loading the file: [2019-08-18 05:46:05,416 INFO L136 SettingsManager]: Preferences of BlockEncodingV2 differ from their defaults: [2019-08-18 05:46:05,416 INFO L138 SettingsManager]: * Create parallel compositions if possible=false [2019-08-18 05:46:05,416 INFO L138 SettingsManager]: * Use SBE=true [2019-08-18 05:46:05,416 INFO L136 SettingsManager]: Preferences of CACSL2BoogieTranslator differ from their defaults: [2019-08-18 05:46:05,417 INFO L138 SettingsManager]: * sizeof long=4 [2019-08-18 05:46:05,417 INFO L138 SettingsManager]: * Overapproximate operations on floating types=true [2019-08-18 05:46:05,417 INFO L138 SettingsManager]: * sizeof POINTER=4 [2019-08-18 05:46:05,417 INFO L138 SettingsManager]: * Check division by zero=IGNORE [2019-08-18 05:46:05,418 INFO L138 SettingsManager]: * Pointer to allocated memory at dereference=IGNORE [2019-08-18 05:46:05,418 INFO L138 SettingsManager]: * If two pointers are subtracted or compared they have the same base address=IGNORE [2019-08-18 05:46:05,419 INFO L138 SettingsManager]: * Check array bounds for arrays that are off heap=IGNORE [2019-08-18 05:46:05,419 INFO L138 SettingsManager]: * sizeof long double=12 [2019-08-18 05:46:05,419 INFO L138 SettingsManager]: * Check if freed pointer was valid=false [2019-08-18 05:46:05,420 INFO L138 SettingsManager]: * Use constant arrays=true [2019-08-18 05:46:05,420 INFO L138 SettingsManager]: * Pointer base address is valid at dereference=IGNORE [2019-08-18 05:46:05,420 INFO L136 SettingsManager]: Preferences of RCFGBuilder differ from their defaults: [2019-08-18 05:46:05,420 INFO L138 SettingsManager]: * Size of a code block=SequenceOfStatements [2019-08-18 05:46:05,420 INFO L138 SettingsManager]: * To the following directory=./dump/ [2019-08-18 05:46:05,421 INFO L138 SettingsManager]: * SMT solver=External_DefaultMode [2019-08-18 05:46:05,421 INFO L138 SettingsManager]: * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000 [2019-08-18 05:46:05,421 INFO L136 SettingsManager]: Preferences of TraceAbstraction differ from their defaults: [2019-08-18 05:46:05,421 INFO L138 SettingsManager]: * Compute Interpolants along a Counterexample=FPandBP [2019-08-18 05:46:05,421 INFO L138 SettingsManager]: * Positions where we compute the Hoare Annotation=LoopsAndPotentialCycles [2019-08-18 05:46:05,422 INFO L138 SettingsManager]: * Trace refinement strategy=CAMEL [2019-08-18 05:46:05,422 INFO L138 SettingsManager]: * SMT solver=External_ModelsAndUnsatCoreMode [2019-08-18 05:46:05,422 INFO L138 SettingsManager]: * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in [2019-08-18 05:46:05,422 INFO L138 SettingsManager]: * Compute Hoare Annotation of negated interpolant automaton, abstraction and CFG=true [2019-08-18 05:46:05,468 INFO L81 nceAwareModelManager]: Repository-Root is: /tmp [2019-08-18 05:46:05,480 INFO L258 ainManager$Toolchain]: [Toolchain 1]: Applicable parser(s) successfully (re)initialized [2019-08-18 05:46:05,483 INFO L214 ainManager$Toolchain]: [Toolchain 1]: Toolchain selected. [2019-08-18 05:46:05,484 INFO L271 PluginConnector]: Initializing CDTParser... [2019-08-18 05:46:05,485 INFO L275 PluginConnector]: CDTParser initialized [2019-08-18 05:46:05,485 INFO L428 ainManager$Toolchain]: [Toolchain 1]: Parsing single file: /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/../../../trunk/examples/svcomp/psyco/psyco_io_1.c [2019-08-18 05:46:05,547 INFO L220 CDTParser]: Created temporary CDT project at /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/data/133edada3/5f7e5f96771c4260a6015ce0ebd10c25/FLAG514d8bb7e [2019-08-18 05:46:06,058 INFO L306 CDTParser]: Found 1 translation units. [2019-08-18 05:46:06,058 INFO L160 CDTParser]: Scanning /storage/repos/ultimate/trunk/examples/svcomp/psyco/psyco_io_1.c [2019-08-18 05:46:06,071 INFO L349 CDTParser]: About to delete temporary CDT project at /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/data/133edada3/5f7e5f96771c4260a6015ce0ebd10c25/FLAG514d8bb7e [2019-08-18 05:46:06,416 INFO L357 CDTParser]: Successfully deleted /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/data/133edada3/5f7e5f96771c4260a6015ce0ebd10c25 [2019-08-18 05:46:06,424 INFO L296 ainManager$Toolchain]: ####################### [Toolchain 1] ####################### [2019-08-18 05:46:06,426 INFO L131 ToolchainWalker]: Walking toolchain with 4 elements. [2019-08-18 05:46:06,427 INFO L113 PluginConnector]: ------------------------CACSL2BoogieTranslator---------------------------- [2019-08-18 05:46:06,427 INFO L271 PluginConnector]: Initializing CACSL2BoogieTranslator... [2019-08-18 05:46:06,430 INFO L275 PluginConnector]: CACSL2BoogieTranslator initialized [2019-08-18 05:46:06,431 INFO L185 PluginConnector]: Executing the observer ACSLObjectContainerObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 18.08 05:46:06" (1/1) ... [2019-08-18 05:46:06,434 INFO L205 PluginConnector]: Invalid model from CACSL2BoogieTranslator for observer de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator.ACSLObjectContainerObserver@2ad34e5a and model type de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 18.08 05:46:06, skipping insertion in model container [2019-08-18 05:46:06,434 INFO L185 PluginConnector]: Executing the observer CACSL2BoogieTranslatorObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 18.08 05:46:06" (1/1) ... [2019-08-18 05:46:06,442 INFO L142 MainTranslator]: Starting translation in SV-COMP mode [2019-08-18 05:46:06,482 INFO L173 MainTranslator]: Built tables and reachable declarations [2019-08-18 05:46:06,683 INFO L206 PostProcessor]: Analyzing one entry point: main [2019-08-18 05:46:06,688 INFO L188 MainTranslator]: Completed pre-run [2019-08-18 05:46:06,825 INFO L206 PostProcessor]: Analyzing one entry point: main [2019-08-18 05:46:06,843 INFO L192 MainTranslator]: Completed translation [2019-08-18 05:46:06,844 INFO L202 PluginConnector]: Adding new model de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 18.08 05:46:06 WrapperNode [2019-08-18 05:46:06,844 INFO L132 PluginConnector]: ------------------------ END CACSL2BoogieTranslator---------------------------- [2019-08-18 05:46:06,845 INFO L113 PluginConnector]: ------------------------Boogie Preprocessor---------------------------- [2019-08-18 05:46:06,845 INFO L271 PluginConnector]: Initializing Boogie Preprocessor... [2019-08-18 05:46:06,845 INFO L275 PluginConnector]: Boogie Preprocessor initialized [2019-08-18 05:46:06,855 INFO L185 PluginConnector]: Executing the observer EnsureBoogieModelObserver from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 18.08 05:46:06" (1/1) ... [2019-08-18 05:46:06,855 INFO L185 PluginConnector]: Executing the observer TypeChecker from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 18.08 05:46:06" (1/1) ... [2019-08-18 05:46:06,861 INFO L185 PluginConnector]: Executing the observer ConstExpander from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 18.08 05:46:06" (1/1) ... [2019-08-18 05:46:06,861 INFO L185 PluginConnector]: Executing the observer StructExpander from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 18.08 05:46:06" (1/1) ... [2019-08-18 05:46:06,869 INFO L185 PluginConnector]: Executing the observer UnstructureCode from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 18.08 05:46:06" (1/1) ... [2019-08-18 05:46:06,878 INFO L185 PluginConnector]: Executing the observer FunctionInliner from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 18.08 05:46:06" (1/1) ... [2019-08-18 05:46:06,880 INFO L185 PluginConnector]: Executing the observer BoogieSymbolTableConstructor from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 18.08 05:46:06" (1/1) ... [2019-08-18 05:46:06,883 INFO L132 PluginConnector]: ------------------------ END Boogie Preprocessor---------------------------- [2019-08-18 05:46:06,883 INFO L113 PluginConnector]: ------------------------RCFGBuilder---------------------------- [2019-08-18 05:46:06,883 INFO L271 PluginConnector]: Initializing RCFGBuilder... [2019-08-18 05:46:06,884 INFO L275 PluginConnector]: RCFGBuilder initialized [2019-08-18 05:46:06,884 INFO L185 PluginConnector]: Executing the observer RCFGBuilderObserver from plugin RCFGBuilder for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 18.08 05:46:06" (1/1) ... No working directory specified, using /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/z3 Starting monitored process 1 with z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000 (exit command is (exit), workingDir is null) Waiting until toolchain timeout for monitored process 1 with z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000 [2019-08-18 05:46:06,935 INFO L138 BoogieDeclarations]: Found implementation of procedure ULTIMATE.init [2019-08-18 05:46:06,935 INFO L138 BoogieDeclarations]: Found implementation of procedure ULTIMATE.start [2019-08-18 05:46:06,935 INFO L138 BoogieDeclarations]: Found implementation of procedure main [2019-08-18 05:46:06,936 INFO L130 BoogieDeclarations]: Found specification of procedure __VERIFIER_nondet_int [2019-08-18 05:46:06,936 INFO L130 BoogieDeclarations]: Found specification of procedure __VERIFIER_error [2019-08-18 05:46:06,936 INFO L130 BoogieDeclarations]: Found specification of procedure main [2019-08-18 05:46:06,937 INFO L130 BoogieDeclarations]: Found specification of procedure ULTIMATE.init [2019-08-18 05:46:06,937 INFO L130 BoogieDeclarations]: Found specification of procedure ULTIMATE.start [2019-08-18 05:46:07,421 INFO L278 CfgBuilder]: Using the 1 location(s) as analysis (start of procedure ULTIMATE.start) [2019-08-18 05:46:07,421 INFO L283 CfgBuilder]: Removed 5 assume(true) statements. [2019-08-18 05:46:07,422 INFO L202 PluginConnector]: Adding new model de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder CFG 18.08 05:46:07 BoogieIcfgContainer [2019-08-18 05:46:07,423 INFO L132 PluginConnector]: ------------------------ END RCFGBuilder---------------------------- [2019-08-18 05:46:07,423 INFO L113 PluginConnector]: ------------------------Symbolic Interpretation---------------------------- [2019-08-18 05:46:07,423 INFO L271 PluginConnector]: Initializing Symbolic Interpretation... [2019-08-18 05:46:07,423 INFO L275 PluginConnector]: Symbolic Interpretation initialized [2019-08-18 05:46:07,424 INFO L185 PluginConnector]: Executing the observer SymbolicInterpretationObserver from plugin Symbolic Interpretation for "de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder CFG 18.08 05:46:07" (1/1) ... [2019-08-18 05:46:07,446 INFO L148 IcfgInterpreter]: Started Sifa with 1 locations of interest [2019-08-18 05:46:07,449 INFO L155 IcfgInterpreter]: Building call graph [2019-08-18 05:46:07,456 INFO L160 IcfgInterpreter]: Initial procedures are [ULTIMATE.start] [2019-08-18 05:46:07,461 INFO L165 IcfgInterpreter]: Starting interpretation [2019-08-18 05:46:07,463 INFO L185 IcfgInterpreter]: Interpreting procedure ULTIMATE.start with input of size 1 [2019-08-18 05:46:07,516 INFO L185 IcfgInterpreter]: Interpreting procedure main with input of size 19 [2019-08-18 05:46:27,104 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:46:27,601 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:46:28,540 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:46:28,713 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:46:30,146 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:46:30,271 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:46:30,959 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:46:31,126 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:46:31,495 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:46:31,786 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:46:32,514 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:46:32,671 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:46:32,709 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:46:33,080 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:46:33,218 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:46:33,543 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:46:34,180 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:46:34,996 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:46:35,205 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:46:35,452 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:46:35,922 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:46:37,102 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:46:37,311 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:46:37,546 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:46:37,677 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:46:37,866 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:46:38,410 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:46:38,785 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:46:38,936 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:46:39,475 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:46:39,586 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:46:40,162 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:46:40,929 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:46:41,102 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:46:41,597 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:46:42,272 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:46:42,396 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:46:42,678 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:46:43,423 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:46:43,451 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:46:43,559 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:46:44,046 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:46:44,191 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:46:44,221 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:46:44,285 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:46:44,345 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:46:44,599 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:46:44,651 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:46:44,667 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:46:44,737 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:46:44,966 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:46:45,062 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:46:45,515 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:46:46,367 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:46:46,469 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:46:46,561 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:46:46,695 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:46:46,873 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:46:47,021 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:46:47,131 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:46:47,355 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:46:47,539 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:46:48,193 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:46:48,655 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:46:48,716 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:46:49,097 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:46:49,558 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:46:49,732 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:46:49,995 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:46:50,252 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:46:50,384 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:46:50,414 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:46:50,440 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:46:50,799 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:46:51,083 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:46:51,217 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:46:51,264 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:46:52,000 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:46:52,160 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:46:52,196 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:46:52,256 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:46:52,582 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:46:52,827 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:46:53,104 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:46:53,255 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:46:53,556 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:46:53,656 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:46:53,985 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:46:54,117 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:46:54,150 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:46:54,259 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:46:54,662 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:46:54,944 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:46:54,966 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:46:55,694 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:46:56,011 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:46:56,234 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:46:56,553 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:46:56,649 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:46:56,696 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:46:56,744 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:46:56,815 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:46:57,044 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:46:57,073 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:46:57,176 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:46:57,590 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:46:57,770 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:46:58,014 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:46:58,420 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:46:58,469 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:46:58,561 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:46:58,674 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:46:58,756 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:46:58,931 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:46:59,025 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:46:59,561 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:46:59,632 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:46:59,797 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:46:59,895 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:00,069 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:00,245 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:00,745 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:01,092 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:01,196 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:01,264 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:01,623 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:01,648 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:01,749 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:01,869 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:02,159 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:02,251 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:02,291 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:02,398 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:02,645 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:02,717 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:03,367 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:03,962 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:04,045 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:04,303 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:04,367 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:04,428 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:04,758 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:04,867 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:05,126 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:05,364 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:05,558 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:05,883 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:06,095 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:06,340 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:06,749 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:06,893 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:06,963 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:07,527 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:07,724 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:08,154 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:08,204 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:08,473 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:08,789 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:09,085 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:09,108 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:09,309 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:09,492 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:10,969 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:11,201 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:11,404 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:11,486 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:11,687 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:11,793 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:11,912 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:12,643 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:12,917 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:13,151 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:13,744 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:14,195 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:14,701 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:15,054 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:15,080 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:15,107 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:15,960 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:16,069 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:16,849 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:17,376 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:17,425 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:17,548 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:17,586 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:17,836 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:17,925 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:18,418 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:18,617 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:18,639 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:18,690 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:18,728 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:18,790 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:18,972 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:19,120 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:19,149 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:19,321 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:19,382 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:20,165 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:20,325 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:20,609 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:20,677 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:21,021 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:21,197 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:21,343 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:21,542 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:21,729 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:21,938 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:21,965 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:22,007 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:22,071 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:22,256 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:22,626 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:22,865 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:22,936 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:23,518 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:24,211 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:24,301 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:24,512 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:24,561 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:24,890 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:25,257 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:25,721 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:25,780 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:25,801 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:25,870 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:26,316 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:26,418 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:26,556 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:26,714 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:26,736 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:26,941 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:26,985 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:27,090 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:27,345 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:27,559 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:27,769 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:27,819 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:28,633 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:28,788 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:28,892 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:28,958 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:29,169 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:29,243 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:29,322 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:29,604 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:29,788 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:29,813 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:30,232 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:30,387 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:30,795 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:31,003 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:31,031 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:31,612 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:31,934 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:32,137 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:32,791 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:32,918 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:32,967 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:33,454 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:34,029 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:34,164 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:34,418 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:34,922 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:35,191 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:35,303 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:35,362 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:35,767 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:35,941 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:36,026 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:36,094 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:36,148 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:36,669 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:36,707 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:36,731 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:37,485 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:38,400 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:39,077 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:39,134 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:39,368 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:39,501 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:39,527 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:40,241 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:40,295 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:40,931 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:40,969 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:41,032 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:41,156 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:41,180 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:41,497 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:41,573 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:41,703 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:42,649 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:42,734 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:42,806 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:42,843 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:43,589 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:44,166 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:44,395 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:44,431 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:44,527 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:44,671 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:44,815 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:44,900 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:45,261 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:45,383 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:46,104 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:46,154 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:46,426 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:46,452 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:47,270 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:47,443 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:47,642 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:47,679 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:48,083 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:48,146 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:48,448 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:48,810 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:49,270 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:49,297 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:49,399 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:49,405 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:49,452 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:49,533 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:49,899 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:50,248 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:50,502 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:50,952 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:51,000 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:51,111 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:51,340 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:51,497 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:51,793 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:51,871 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:51,896 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:52,139 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:52,169 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:52,277 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:52,478 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:52,539 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:52,819 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:52,930 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:52,954 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:53,723 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:53,834 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:54,018 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:54,316 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:54,348 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:54,513 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:54,681 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:54,998 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:55,361 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:55,580 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:55,739 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:55,831 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:55,854 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:55,891 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:56,092 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:56,341 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:56,716 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:56,743 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:56,812 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:56,983 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:57,009 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:57,032 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:57,070 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:57,356 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:57,532 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:57,673 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:57,727 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:58,179 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:58,492 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:59,039 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:47:59,197 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:00,182 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:00,291 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:00,530 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:00,897 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:00,982 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:01,063 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:01,308 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:03,113 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:03,168 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:03,418 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:03,464 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:03,489 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:03,644 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:04,177 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:04,263 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:04,497 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:04,638 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:04,732 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:05,352 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:05,655 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:05,998 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:06,633 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:07,277 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:07,456 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:07,482 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:08,273 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:08,401 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:08,516 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:08,646 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:08,721 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:08,970 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:09,029 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:10,007 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:10,139 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:10,496 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:10,521 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:10,744 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:10,880 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:11,127 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:11,323 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:11,942 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:12,658 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:12,727 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:13,152 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:13,341 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:13,379 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:13,607 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:13,975 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:14,314 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:14,912 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:14,995 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:15,117 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:15,326 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:15,396 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:15,934 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:16,010 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:16,059 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:16,853 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:16,982 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:17,111 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:17,137 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:17,264 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:17,385 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:17,476 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:17,565 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:17,593 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:17,606 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:17,818 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:18,375 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:18,972 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:19,529 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:19,591 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:19,657 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:19,864 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:19,886 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:19,951 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:20,253 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:20,464 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:20,706 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:21,302 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:21,509 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:21,579 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:22,194 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:22,718 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:22,745 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:23,257 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:23,319 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:23,694 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:23,945 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:24,200 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:24,408 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:24,730 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:24,756 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:24,836 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:25,538 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:25,562 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:26,163 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:26,310 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:26,352 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:26,566 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:26,844 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:26,869 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:26,927 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:26,953 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:27,052 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:27,576 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:27,600 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:27,713 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:28,375 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:28,515 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:28,645 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:28,740 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:28,833 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:28,934 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:29,185 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:29,394 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:29,702 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:29,947 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:30,108 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:30,184 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:30,205 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:30,979 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:31,420 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:31,884 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:32,093 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:32,358 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:32,480 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:32,594 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:32,622 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:32,669 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:33,224 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:33,248 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:33,382 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:33,751 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:33,754 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:33,829 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:33,960 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:34,705 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:35,004 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:35,164 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:35,250 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:35,625 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:35,878 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:36,595 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:36,841 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:36,913 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:36,978 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:37,099 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:37,253 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:37,362 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:37,713 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:38,005 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:38,347 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:38,447 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:38,519 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:39,305 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:39,611 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:39,755 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:39,850 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:40,010 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:40,091 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:41,629 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:41,856 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:41,965 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:41,987 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:42,071 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:42,192 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:42,263 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:42,452 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:42,641 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:42,943 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:43,024 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:43,186 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:43,413 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:43,490 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:43,735 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:44,069 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:44,113 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:44,189 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:44,215 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:44,279 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:44,593 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:44,928 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:44,997 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:45,256 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:45,375 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:45,486 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:45,510 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:45,538 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:45,770 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:45,951 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:46,245 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:46,362 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:47,392 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:47,560 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:47,653 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:47,840 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:48,231 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:48,580 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:49,316 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:49,821 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:50,103 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:51,602 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:51,621 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:52,233 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:52,356 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:52,544 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:52,571 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:52,731 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:53,044 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:53,180 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:53,247 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:53,551 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:53,659 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:54,026 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:54,752 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:54,857 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:55,428 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:55,455 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:55,534 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:55,779 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:55,822 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:55,881 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:56,157 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:58,361 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:58,421 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:58,489 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:58,537 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:58,609 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:58,948 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:59,538 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:48:59,699 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:00,165 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:00,321 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:00,519 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:00,565 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:00,627 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:00,962 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:01,564 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:01,693 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:01,740 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:01,807 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:02,165 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:02,424 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:02,524 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:02,546 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:02,615 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:02,653 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:03,170 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:03,199 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:03,247 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:03,477 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:03,516 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:03,624 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:03,695 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:03,938 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:04,068 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:04,543 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:04,592 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:04,938 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:05,265 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:05,684 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:05,902 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:05,930 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:06,202 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:06,801 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:06,828 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:07,757 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:07,899 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:08,110 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:08,368 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:08,509 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:08,683 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:09,197 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:09,671 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:09,753 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:10,153 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:10,252 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:10,308 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:11,184 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:11,209 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:11,844 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:12,021 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:12,057 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:12,235 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:12,291 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:12,444 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:12,630 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:12,750 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:12,851 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:13,007 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:13,078 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:13,922 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:14,404 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:14,467 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:14,502 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:14,831 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:15,048 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:15,269 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:15,317 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:15,423 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:15,535 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:15,626 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:15,651 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:16,520 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:16,735 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:16,765 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:17,284 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:17,482 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:17,584 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:17,620 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:17,742 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:17,960 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:17,987 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:18,257 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:18,405 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:18,609 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:18,706 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:18,903 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:18,906 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:19,014 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:19,097 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:19,211 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:19,365 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:19,599 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:19,708 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:20,537 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:20,852 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:21,105 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:21,570 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:21,618 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:21,744 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:21,842 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:21,949 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:22,096 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:22,253 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:22,781 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:22,916 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:22,996 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:23,464 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:23,793 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:23,901 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:24,201 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:24,427 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:24,653 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:24,955 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:25,046 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:25,132 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:25,645 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:25,719 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:25,844 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:26,314 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:26,409 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:26,754 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:26,858 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:26,992 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:27,234 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:27,794 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:28,436 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:28,568 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:28,819 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:28,866 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:28,891 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:28,971 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:29,126 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:29,501 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:29,556 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:30,346 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:31,295 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:31,824 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:32,007 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:32,247 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:32,307 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:33,449 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:34,546 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:34,755 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:34,910 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:35,131 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:35,543 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:35,882 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:36,380 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:36,471 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:36,615 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:38,665 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:38,732 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:38,865 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:38,919 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:38,985 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:39,331 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:39,386 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:39,434 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:39,680 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:39,751 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:40,558 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:40,939 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:40,976 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:41,391 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:41,519 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:41,561 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:41,584 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:41,755 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:41,882 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:42,208 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:42,835 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:43,094 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:43,170 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:43,251 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:43,426 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:43,467 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:43,928 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:44,554 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:45,151 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:45,304 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:45,735 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:45,843 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:46,163 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:46,374 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:46,502 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:46,882 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:47,252 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:47,557 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:47,584 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:47,690 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:47,696 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:47,805 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:48,025 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:49,297 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:49,404 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:49,409 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:49,432 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:49,688 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:50,132 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:50,156 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:50,301 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:50,377 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:50,435 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:50,637 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:50,848 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:50,888 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:51,073 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:51,192 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:51,242 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:51,733 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:51,757 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:51,830 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:52,217 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:52,392 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:52,763 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:52,894 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:52,948 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:53,107 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:53,168 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:53,233 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:53,444 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:53,624 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:54,538 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:54,675 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:54,702 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:54,800 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:54,958 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:55,504 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:55,784 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:55,972 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:56,016 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:56,039 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:56,161 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:56,416 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:56,489 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:56,810 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:57,122 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:57,317 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:57,518 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:57,559 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:58,188 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:58,237 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:58,259 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:49:58,379 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:00,560 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:00,693 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:00,801 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:01,173 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:01,206 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:01,367 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:01,954 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:01,981 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:02,054 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:02,577 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:03,017 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:03,737 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:03,839 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:03,939 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:04,382 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:04,426 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:04,968 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:05,228 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:05,340 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:05,434 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:05,563 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:05,850 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:05,876 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:06,190 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:06,218 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:06,270 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:06,640 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:06,938 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:06,977 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:06,980 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:07,459 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:07,502 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:07,505 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:07,675 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:07,990 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:08,306 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:08,586 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:08,736 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:08,794 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:09,151 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:09,186 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:09,506 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:09,608 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:09,721 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:10,586 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:10,781 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:10,935 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:11,028 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:11,990 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:12,108 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:12,324 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:12,585 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:12,750 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:12,817 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:13,537 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:13,761 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:14,039 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:14,090 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:14,136 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:14,265 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:14,573 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:14,830 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:14,911 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:14,940 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:15,040 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:15,169 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:15,360 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:15,498 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:16,327 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:16,793 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:16,866 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:16,891 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:16,930 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:17,046 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:17,415 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:17,569 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:17,617 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:17,640 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:17,764 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:18,331 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:18,484 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:18,590 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:18,652 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:18,823 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:18,918 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:19,211 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:19,248 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:19,327 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:19,376 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:19,401 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:19,486 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:19,532 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:19,845 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:20,723 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:20,774 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:20,933 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:21,343 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:21,542 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:21,619 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:21,824 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:21,907 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:22,139 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:22,304 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:22,317 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:22,409 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:22,586 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:22,679 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:23,333 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:23,360 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:23,907 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:24,261 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:24,298 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:24,565 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:24,699 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:24,971 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:25,068 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:25,698 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:26,362 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:26,563 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:26,832 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:27,358 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:27,942 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:28,023 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:28,155 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:28,637 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:28,744 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:28,779 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:29,116 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:29,513 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:29,715 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:29,914 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:30,019 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:30,163 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:30,277 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:30,303 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:30,340 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:30,400 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:30,536 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:30,708 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:30,757 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:30,918 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:30,982 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:31,005 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:31,150 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:31,191 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:31,376 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:31,729 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:31,890 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:32,845 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:32,849 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:32,935 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:32,976 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:33,403 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:33,506 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:33,849 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:33,912 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:34,125 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:34,407 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:34,558 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:34,879 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:35,353 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:35,526 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:35,556 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:35,574 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:35,603 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:35,877 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:35,904 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:36,265 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:36,500 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:36,583 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:37,061 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:37,321 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:37,431 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:37,492 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:37,679 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:37,747 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:37,981 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:38,081 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:38,219 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:38,304 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:38,386 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:38,654 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:38,781 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:38,796 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:38,822 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:39,158 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:39,188 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:39,235 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:39,400 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:39,468 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:39,546 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:39,828 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:39,893 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:40,264 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:40,706 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:40,905 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:40,941 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:41,198 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:41,226 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:41,281 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:41,308 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:41,712 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:42,447 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:42,714 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:42,809 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:42,854 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:43,322 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:43,993 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:44,400 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:44,851 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:45,020 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:46,253 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:47,192 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:47,629 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:47,644 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:47,922 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:47,953 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:48,121 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:48,231 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:48,830 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:48,892 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:49,371 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:49,477 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:49,956 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:49,979 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:50,473 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:50,742 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:51,294 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:51,504 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:51,976 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:52,022 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:52,415 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:52,419 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:52,481 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:52,505 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:52,545 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:52,672 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:52,831 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:52,895 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:52,943 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:53,057 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:53,093 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:53,684 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:53,902 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:54,096 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:54,201 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:54,254 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:54,719 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:55,182 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:56,514 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:56,559 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:56,792 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:56,935 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:56,981 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:57,255 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:57,298 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:57,358 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:57,433 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:57,607 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:57,754 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:57,795 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:58,006 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:58,664 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:59,056 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:59,281 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:59,300 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:59,391 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:59,432 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:59,866 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:50:59,913 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:00,078 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:00,320 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:00,576 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:00,739 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:00,742 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:00,765 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:00,845 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:01,203 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:02,279 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:02,303 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:02,576 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:04,035 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:04,397 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:04,416 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:05,068 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:05,363 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:05,454 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:06,082 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:06,626 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:07,044 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:07,112 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:07,328 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:07,373 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:07,782 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:07,876 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:07,975 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:10,294 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:11,365 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:11,803 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:11,828 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:12,081 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:12,361 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:12,601 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:12,627 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:12,725 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:12,795 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:12,901 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:12,976 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:14,452 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:14,724 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:15,067 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:15,096 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:15,201 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:15,336 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:15,408 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:15,456 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:15,529 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:15,770 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:15,850 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:16,068 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:16,162 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:16,205 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:17,315 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:17,395 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:18,096 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:18,224 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:18,333 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:18,431 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:18,702 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:18,871 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:19,131 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:19,135 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:19,161 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:19,227 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:19,245 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:19,431 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:19,499 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:20,220 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:20,274 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:20,522 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:20,594 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:20,682 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:20,947 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:21,304 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:21,449 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:21,518 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:21,771 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:21,820 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:21,900 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:21,927 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:22,367 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:22,849 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:23,002 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:23,598 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:24,107 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:24,318 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:24,497 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:25,018 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:25,118 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:25,292 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:25,575 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:26,192 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:26,215 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:26,526 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:26,751 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:27,227 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:27,397 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:27,570 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:28,177 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:28,372 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:28,444 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:28,937 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:29,757 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:29,948 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:30,227 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:30,545 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:31,424 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:31,468 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:31,612 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:31,811 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:31,885 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:31,917 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:31,954 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:32,022 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:32,080 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:32,131 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:32,380 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:32,839 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:33,560 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:33,663 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:33,907 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:34,130 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:34,156 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:34,287 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:34,359 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:34,681 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:34,755 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:35,020 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:35,373 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:35,424 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:35,576 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:35,602 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:35,629 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:35,655 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:35,701 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:35,820 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:36,677 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:36,922 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:36,946 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:37,008 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:37,618 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:37,711 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:37,855 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:38,267 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:38,376 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:38,481 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:38,551 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:38,596 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:38,708 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:38,883 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:39,016 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:40,257 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:40,510 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:40,822 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:41,131 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:41,480 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:42,105 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:42,443 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:43,081 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:43,257 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:43,282 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:43,455 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:43,741 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:44,008 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:44,279 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:44,304 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:44,807 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:45,950 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:46,247 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:46,552 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:46,693 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:46,715 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:46,775 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:46,842 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:46,893 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:47,427 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:47,633 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:48,904 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:49,157 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:49,426 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:49,573 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:49,801 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:49,912 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:49,988 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:50,825 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:51,001 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:51,457 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:51,577 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:51,599 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:51,730 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:52,245 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:52,804 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:52,873 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:53,069 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:53,082 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:53,174 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:53,418 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:53,566 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:53,733 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:53,863 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:54,384 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:54,932 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:55,020 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:55,160 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:55,293 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:55,415 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:55,546 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:55,624 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:56,150 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:56,198 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:56,338 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:56,550 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:56,608 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:56,777 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:57,119 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:57,316 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:57,639 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:57,864 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:58,268 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:51:59,907 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:00,129 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:00,411 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:00,537 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:00,677 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:00,727 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:00,786 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:00,854 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:01,573 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:01,597 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:01,758 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:01,857 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:02,489 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:02,516 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:02,611 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:02,635 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:02,697 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:02,773 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:02,822 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:03,195 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:03,341 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:03,744 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:04,033 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:04,073 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:04,359 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:04,894 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:04,965 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:05,011 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:05,207 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:05,604 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:05,925 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:06,346 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:06,465 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:06,598 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:06,621 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:06,677 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:07,242 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:07,373 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:07,376 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:07,557 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:07,857 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:07,875 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:07,963 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:07,983 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:08,098 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:08,121 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:08,387 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:08,578 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:08,601 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:09,403 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:09,459 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:09,906 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:10,411 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:10,450 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:11,075 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:11,165 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:11,190 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:12,059 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:12,457 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:12,604 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:12,703 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:12,740 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:13,421 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:13,626 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:14,169 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:14,244 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:14,439 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:14,620 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:14,990 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:15,041 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:15,210 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:15,464 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:16,092 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:16,172 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:16,580 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:16,683 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:17,037 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:17,138 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:17,243 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:17,852 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:17,976 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:18,170 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:18,285 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:18,309 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:18,431 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:18,683 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:18,753 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:18,817 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:19,379 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:19,858 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:19,884 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:20,419 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:20,506 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:20,615 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:20,884 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:24,896 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:25,013 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:25,302 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:25,417 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:25,524 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:25,582 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:25,738 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:25,878 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:26,104 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:26,603 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:26,734 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:26,828 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:27,522 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:27,957 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:28,482 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:29,045 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:29,179 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:29,271 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:29,574 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:30,012 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:30,178 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:30,687 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:30,804 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:32,035 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:32,501 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:32,924 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:33,327 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:33,435 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:33,638 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:33,994 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:34,052 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:34,198 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:34,380 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:34,638 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:34,642 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:34,741 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:35,065 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:35,367 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:35,370 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:35,478 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:35,497 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:35,806 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:35,955 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:36,105 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:36,298 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:36,321 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:36,447 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:36,583 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:36,782 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:37,185 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:37,564 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:37,576 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:38,296 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:38,400 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:38,505 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:38,653 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:38,767 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:38,790 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:38,924 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:39,119 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:39,223 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:39,429 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:39,664 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:39,874 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:40,708 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:40,958 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:41,095 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:41,184 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:41,213 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:41,315 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:41,341 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:41,750 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:41,930 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:42,396 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:42,419 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:42,471 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:42,832 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:43,065 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:43,183 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:43,270 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:43,351 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:43,445 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:43,472 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:43,827 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:44,310 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:44,718 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:45,195 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:45,494 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:46,114 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:46,383 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:46,532 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:46,607 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:46,684 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:46,943 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:47,045 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:47,280 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:47,456 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:48,011 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:48,383 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:48,454 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:49,373 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:49,609 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:49,681 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:50,041 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:50,136 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:50,376 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:50,496 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:50,767 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:50,915 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:51,087 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:51,211 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:51,229 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:51,256 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:51,365 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:51,544 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:51,767 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:51,793 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:51,818 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:52,255 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:52,358 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:52,477 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:52,761 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:52,798 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:52,823 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:52,929 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:52,952 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:53,561 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:53,795 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:54,147 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:54,251 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:54,750 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:55,612 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:55,771 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:55,810 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:56,056 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:56,075 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:56,530 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:56,791 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:56,897 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:57,095 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:57,227 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:57,937 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:58,328 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:58,458 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:58,609 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:59,004 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:59,186 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:59,496 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:52:59,559 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:00,521 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:00,592 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:00,791 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:00,857 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:01,013 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:01,403 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:02,083 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:02,129 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:02,334 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:02,359 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:02,404 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:02,466 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:02,528 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:02,923 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:03,191 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:03,687 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:03,728 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:03,785 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:04,022 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:04,198 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:04,247 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:04,543 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:04,546 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:04,683 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:04,686 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:04,811 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:04,936 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:05,184 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:05,444 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:05,467 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:05,705 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:05,731 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:05,760 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:05,843 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:06,081 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:06,414 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:06,649 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:06,979 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:07,193 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:07,319 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:07,401 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:07,628 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:08,075 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:08,114 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:08,141 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:08,269 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:08,296 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:08,498 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:08,521 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:08,683 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:08,860 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:09,239 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:09,510 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:09,590 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:10,122 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:10,197 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:10,259 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:10,406 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:10,467 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:10,619 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:11,071 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:11,256 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:11,528 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:11,911 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:12,195 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:12,270 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:12,456 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:12,766 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:13,406 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:13,453 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:13,747 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:13,778 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:14,204 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:15,244 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:15,530 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:16,106 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:16,331 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:16,364 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:16,623 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:16,685 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:16,982 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:17,204 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:17,314 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:17,681 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:17,942 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:18,117 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:18,299 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:18,867 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:18,929 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:18,955 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:19,005 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:19,073 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:19,466 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:19,738 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:20,225 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:20,408 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:20,893 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:21,001 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:21,301 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:21,423 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:21,447 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:22,866 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:22,932 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:23,475 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:23,740 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:23,783 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:23,806 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:24,126 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:24,188 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:24,259 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:24,409 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:24,480 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:24,570 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:24,734 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:25,071 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:25,351 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:25,829 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:26,401 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:26,459 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:26,613 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:27,588 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:27,772 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:28,201 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:28,328 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:28,388 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:28,630 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:28,701 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:28,754 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:28,780 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:29,221 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:29,355 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:29,530 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:29,898 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:30,262 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:30,312 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:30,457 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:30,811 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:30,942 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:31,177 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:31,240 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:31,470 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:31,709 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:32,177 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:32,228 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:32,530 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:33,244 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:33,300 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:33,438 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:33,885 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:33,934 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:35,213 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:35,824 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:35,897 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:35,999 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:36,067 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:36,304 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:36,558 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:36,791 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:36,850 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:37,207 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:37,330 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:37,659 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:37,777 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:37,846 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:37,910 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:38,247 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:38,437 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:38,878 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:39,309 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:39,833 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:40,010 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:40,037 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:40,173 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:40,357 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:40,895 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:40,982 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:41,820 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:41,978 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:42,270 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:42,382 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:42,473 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:42,636 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:42,658 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:42,813 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:42,946 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:43,090 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:43,119 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:43,141 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:43,456 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:44,013 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:44,039 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:44,288 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:44,428 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:45,679 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:45,729 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:45,879 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:45,938 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:46,283 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:46,433 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:47,012 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:47,339 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:47,448 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:47,452 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:47,760 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:47,845 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:48,072 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:48,314 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:48,338 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:48,807 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:48,854 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:49,281 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:49,665 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:49,897 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:50,090 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:50,270 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:50,375 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:50,411 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:50,435 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:50,975 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:51,352 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:51,515 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:52,014 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:52,687 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:52,709 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:53,171 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:53,262 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:53,309 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:53,503 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:53,517 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:54,436 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:54,726 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:54,914 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:55,203 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:55,273 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:55,367 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:58,495 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:58,607 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:58,655 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:58,870 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:59,179 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:59,292 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:59,343 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:59,820 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:53:59,907 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:00,355 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:00,526 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:00,678 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:00,783 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:00,807 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:01,249 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:02,309 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:02,573 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:02,781 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:03,160 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:03,197 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:03,221 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:03,507 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:03,616 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:04,158 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:04,446 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:04,833 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:04,880 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:05,209 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:05,463 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:05,572 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:05,591 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:05,823 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:05,990 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:06,852 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:07,635 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:07,660 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:07,889 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:08,171 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:08,389 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:08,477 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:08,583 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:08,796 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:09,019 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:09,069 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:09,129 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:09,259 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:09,278 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:09,328 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:09,520 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:09,841 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:09,904 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:10,001 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:10,596 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:12,358 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:12,445 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:12,552 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:12,794 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:12,853 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:12,963 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:13,268 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:13,294 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:13,355 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:13,599 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:13,625 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:13,705 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:13,731 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:13,838 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:14,099 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:14,982 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:15,127 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:15,586 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:16,040 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:16,547 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:16,881 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:16,985 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:17,116 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:17,137 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:17,431 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:17,469 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:17,893 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:18,308 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:18,420 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:18,696 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:18,723 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:18,987 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:18,993 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:19,384 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:19,449 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:19,604 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:20,119 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:20,146 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:20,311 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:21,002 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:21,223 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:21,718 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:21,875 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:22,425 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:22,873 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:23,406 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:23,484 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:23,619 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:24,431 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:25,024 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:25,423 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:25,775 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:26,052 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:26,612 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:26,849 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:27,823 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:27,863 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:27,931 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:28,323 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:28,987 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:29,200 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:29,477 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:29,510 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:29,558 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:30,052 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:30,225 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:30,757 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:30,781 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:30,817 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:31,013 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:31,942 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:31,971 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:32,762 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:32,822 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:33,247 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:33,361 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:33,896 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:34,074 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:34,385 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:34,433 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:34,694 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:34,720 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:35,089 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:35,115 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:35,525 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:35,956 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:36,322 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:36,397 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:36,425 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:36,473 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:36,681 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:37,343 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:37,416 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:37,493 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:37,776 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:38,371 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:38,663 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:39,278 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:39,579 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:39,663 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:39,681 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:39,851 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:40,162 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:40,414 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:40,540 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:40,567 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:40,699 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:41,399 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:41,731 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:41,933 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:42,271 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:42,534 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:42,726 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:42,882 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:42,987 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:43,588 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:43,636 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:44,420 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:45,384 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:45,461 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:45,566 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:45,969 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:46,105 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:46,564 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:46,704 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:46,707 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:46,827 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:46,997 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:47,396 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:47,452 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:47,805 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:48,637 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:49,361 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:49,461 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:49,509 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:49,645 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:49,703 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:49,950 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:50,107 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:50,207 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:50,438 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:50,686 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:50,898 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:50,984 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:51,305 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:51,630 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:52,061 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:52,182 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:52,663 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:52,760 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:52,944 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:53,130 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:53,243 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:53,351 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:53,677 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:54,272 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:54,757 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:54,933 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:55,128 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:55,438 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:55,501 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:55,545 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:55,574 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:56,188 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:56,341 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:56,427 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:56,675 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:57,016 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:57,294 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:58,045 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:58,119 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:58,257 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:58,553 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:59,168 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:54:59,568 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:55:00,237 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:55:00,460 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:55:00,545 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:55:00,937 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:55:00,988 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:55:01,708 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:55:01,798 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:55:01,851 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:55:01,963 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:55:01,986 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:55:02,013 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:55:02,210 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:55:02,405 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:55:02,444 INFO L320 QuantifierPusher]: Applying distributivity, recursing on 2 terms [2019-08-18 05:55:02,500 INFO L169 IcfgInterpreter]: Interpretation finished [2019-08-18 05:55:02,501 INFO L177 IcfgInterpreter]: Final predicates for locations of interest are: [2019-08-18 05:55:02,503 INFO L179 IcfgInterpreter]: Location mainErr0ASSERT_VIOLATIONERROR_FUNCTION has predicate 17188611#true [2019-08-18 05:55:02,509 INFO L92 terpretationObserver]: ✘ Some locations of interest might be reachable, see reported results. [2019-08-18 05:55:02,509 INFO L132 PluginConnector]: ------------------------ END Symbolic Interpretation---------------------------- [2019-08-18 05:55:02,512 INFO L168 Benchmark]: Toolchain (without parser) took 536084.90 ms. Allocated memory was 141.6 MB in the beginning and 3.8 GB in the end (delta: 3.7 GB). Free memory was 88.0 MB in the beginning and 133.5 MB in the end (delta: -45.5 MB). Peak memory consumption was 3.7 GB. Max. memory is 7.1 GB. [2019-08-18 05:55:02,512 INFO L168 Benchmark]: CDTParser took 0.19 ms. Allocated memory is still 141.6 MB. Free memory is still 106.2 MB. There was no memory consumed. Max. memory is 7.1 GB. [2019-08-18 05:55:02,514 INFO L168 Benchmark]: CACSL2BoogieTranslator took 417.75 ms. Allocated memory was 141.6 MB in the beginning and 201.9 MB in the end (delta: 60.3 MB). Free memory was 88.0 MB in the beginning and 178.8 MB in the end (delta: -90.8 MB). Peak memory consumption was 22.1 MB. Max. memory is 7.1 GB. [2019-08-18 05:55:02,514 INFO L168 Benchmark]: Boogie Preprocessor took 38.21 ms. Allocated memory is still 201.9 MB. Free memory was 178.8 MB in the beginning and 177.0 MB in the end (delta: 1.8 MB). Peak memory consumption was 1.8 MB. Max. memory is 7.1 GB. [2019-08-18 05:55:02,516 INFO L168 Benchmark]: RCFGBuilder took 539.52 ms. Allocated memory is still 201.9 MB. Free memory was 177.0 MB in the beginning and 150.4 MB in the end (delta: 26.6 MB). Peak memory consumption was 26.6 MB. Max. memory is 7.1 GB. [2019-08-18 05:55:02,517 INFO L168 Benchmark]: Symbolic Interpretation took 535086.06 ms. Allocated memory was 201.9 MB in the beginning and 3.8 GB in the end (delta: 3.6 GB). Free memory was 150.4 MB in the beginning and 133.5 MB in the end (delta: 17.0 MB). Peak memory consumption was 3.7 GB. Max. memory is 7.1 GB. [2019-08-18 05:55:02,521 INFO L335 ainManager$Toolchain]: ####################### End [Toolchain 1] ####################### --- Results --- * Results from de.uni_freiburg.informatik.ultimate.plugins.symbolicinterpretation: - UnprovableResult [Line: 343]: Unable to prove that call of __VERIFIER_error() unreachable Unable to prove that call of __VERIFIER_error() unreachable Reason: Over-approximation of reachable states at this location is 17188611#true. Possible FailurePath: * Results from de.uni_freiburg.informatik.ultimate.core: - StatisticsResult: Toolchain Benchmarks Benchmark results are: * CDTParser took 0.19 ms. Allocated memory is still 141.6 MB. Free memory is still 106.2 MB. There was no memory consumed. Max. memory is 7.1 GB. * CACSL2BoogieTranslator took 417.75 ms. Allocated memory was 141.6 MB in the beginning and 201.9 MB in the end (delta: 60.3 MB). Free memory was 88.0 MB in the beginning and 178.8 MB in the end (delta: -90.8 MB). Peak memory consumption was 22.1 MB. Max. memory is 7.1 GB. * Boogie Preprocessor took 38.21 ms. Allocated memory is still 201.9 MB. Free memory was 178.8 MB in the beginning and 177.0 MB in the end (delta: 1.8 MB). Peak memory consumption was 1.8 MB. Max. memory is 7.1 GB. * RCFGBuilder took 539.52 ms. Allocated memory is still 201.9 MB. Free memory was 177.0 MB in the beginning and 150.4 MB in the end (delta: 26.6 MB). Peak memory consumption was 26.6 MB. Max. memory is 7.1 GB. * Symbolic Interpretation took 535086.06 ms. Allocated memory was 201.9 MB in the beginning and 3.8 GB in the end (delta: 3.6 GB). Free memory was 150.4 MB in the beginning and 133.5 MB in the end (delta: 17.0 MB). Peak memory consumption was 3.7 GB. Max. memory is 7.1 GB. RESULT: Ultimate could not prove your program: unable to determine feasibility of some traces Received shutdown request...