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/loop-industry-pattern/mod3.c.v+lhb-reducer.c -------------------------------------------------------------------------------- This is Ultimate 0.1.24-01cf0bf [2019-08-22 00:17:57,422 INFO L177 SettingsManager]: Resetting all preferences to default values... [2019-08-22 00:17:57,425 INFO L181 SettingsManager]: Resetting UltimateCore preferences to default values [2019-08-22 00:17:57,436 INFO L184 SettingsManager]: Ultimate Commandline Interface provides no preferences, ignoring... [2019-08-22 00:17:57,437 INFO L181 SettingsManager]: Resetting Boogie Preprocessor preferences to default values [2019-08-22 00:17:57,438 INFO L181 SettingsManager]: Resetting Boogie Procedure Inliner preferences to default values [2019-08-22 00:17:57,439 INFO L181 SettingsManager]: Resetting Abstract Interpretation preferences to default values [2019-08-22 00:17:57,441 INFO L181 SettingsManager]: Resetting LassoRanker preferences to default values [2019-08-22 00:17:57,443 INFO L181 SettingsManager]: Resetting Reaching Definitions preferences to default values [2019-08-22 00:17:57,444 INFO L181 SettingsManager]: Resetting SyntaxChecker preferences to default values [2019-08-22 00:17:57,445 INFO L181 SettingsManager]: Resetting Symbolic Interpretation preferences to default values [2019-08-22 00:17:57,446 INFO L184 SettingsManager]: Büchi Program Product provides no preferences, ignoring... [2019-08-22 00:17:57,446 INFO L181 SettingsManager]: Resetting LTL2Aut preferences to default values [2019-08-22 00:17:57,447 INFO L181 SettingsManager]: Resetting PEA to Boogie preferences to default values [2019-08-22 00:17:57,448 INFO L181 SettingsManager]: Resetting BlockEncodingV2 preferences to default values [2019-08-22 00:17:57,449 INFO L181 SettingsManager]: Resetting ChcToBoogie preferences to default values [2019-08-22 00:17:57,450 INFO L181 SettingsManager]: Resetting AutomataScriptInterpreter preferences to default values [2019-08-22 00:17:57,451 INFO L181 SettingsManager]: Resetting BuchiAutomizer preferences to default values [2019-08-22 00:17:57,453 INFO L181 SettingsManager]: Resetting CACSL2BoogieTranslator preferences to default values [2019-08-22 00:17:57,455 INFO L181 SettingsManager]: Resetting CodeCheck preferences to default values [2019-08-22 00:17:57,456 INFO L181 SettingsManager]: Resetting InvariantSynthesis preferences to default values [2019-08-22 00:17:57,457 INFO L181 SettingsManager]: Resetting RCFGBuilder preferences to default values [2019-08-22 00:17:57,458 INFO L181 SettingsManager]: Resetting Referee preferences to default values [2019-08-22 00:17:57,459 INFO L181 SettingsManager]: Resetting TraceAbstraction preferences to default values [2019-08-22 00:17:57,461 INFO L184 SettingsManager]: TraceAbstractionConcurrent provides no preferences, ignoring... [2019-08-22 00:17:57,462 INFO L184 SettingsManager]: TraceAbstractionWithAFAs provides no preferences, ignoring... [2019-08-22 00:17:57,462 INFO L181 SettingsManager]: Resetting TreeAutomizer preferences to default values [2019-08-22 00:17:57,463 INFO L181 SettingsManager]: Resetting IcfgToChc preferences to default values [2019-08-22 00:17:57,463 INFO L181 SettingsManager]: Resetting IcfgTransformer preferences to default values [2019-08-22 00:17:57,464 INFO L184 SettingsManager]: ReqToTest provides no preferences, ignoring... [2019-08-22 00:17:57,465 INFO L181 SettingsManager]: Resetting Boogie Printer preferences to default values [2019-08-22 00:17:57,465 INFO L181 SettingsManager]: Resetting ChcSmtPrinter preferences to default values [2019-08-22 00:17:57,466 INFO L181 SettingsManager]: Resetting ReqPrinter preferences to default values [2019-08-22 00:17:57,467 INFO L181 SettingsManager]: Resetting Witness Printer preferences to default values [2019-08-22 00:17:57,468 INFO L184 SettingsManager]: Boogie PL CUP Parser provides no preferences, ignoring... [2019-08-22 00:17:57,468 INFO L181 SettingsManager]: Resetting CDTParser preferences to default values [2019-08-22 00:17:57,469 INFO L184 SettingsManager]: AutomataScriptParser provides no preferences, ignoring... [2019-08-22 00:17:57,469 INFO L184 SettingsManager]: ReqParser provides no preferences, ignoring... [2019-08-22 00:17:57,469 INFO L181 SettingsManager]: Resetting SmtParser preferences to default values [2019-08-22 00:17:57,470 INFO L181 SettingsManager]: Resetting Witness Parser preferences to default values [2019-08-22 00:17:57,471 INFO L188 SettingsManager]: Finished resetting all preferences to default values... [2019-08-22 00:17:57,472 INFO L101 SettingsManager]: Beginning loading settings from /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/../../../trunk/examples/settings/default/automizer/svcomp-Reach-32bit-Automizer_Default.epf [2019-08-22 00:17:57,490 INFO L113 SettingsManager]: Loading preferences was successful [2019-08-22 00:17:57,490 INFO L115 SettingsManager]: Preferences different from defaults after loading the file: [2019-08-22 00:17:57,492 INFO L136 SettingsManager]: Preferences of BlockEncodingV2 differ from their defaults: [2019-08-22 00:17:57,492 INFO L138 SettingsManager]: * Create parallel compositions if possible=false [2019-08-22 00:17:57,493 INFO L138 SettingsManager]: * Use SBE=true [2019-08-22 00:17:57,493 INFO L136 SettingsManager]: Preferences of CACSL2BoogieTranslator differ from their defaults: [2019-08-22 00:17:57,494 INFO L138 SettingsManager]: * sizeof long=4 [2019-08-22 00:17:57,494 INFO L138 SettingsManager]: * Overapproximate operations on floating types=true [2019-08-22 00:17:57,494 INFO L138 SettingsManager]: * sizeof POINTER=4 [2019-08-22 00:17:57,494 INFO L138 SettingsManager]: * Check division by zero=IGNORE [2019-08-22 00:17:57,495 INFO L138 SettingsManager]: * Pointer to allocated memory at dereference=IGNORE [2019-08-22 00:17:57,495 INFO L138 SettingsManager]: * If two pointers are subtracted or compared they have the same base address=IGNORE [2019-08-22 00:17:57,495 INFO L138 SettingsManager]: * Check array bounds for arrays that are off heap=IGNORE [2019-08-22 00:17:57,495 INFO L138 SettingsManager]: * sizeof long double=12 [2019-08-22 00:17:57,495 INFO L138 SettingsManager]: * Check if freed pointer was valid=false [2019-08-22 00:17:57,496 INFO L138 SettingsManager]: * Use constant arrays=true [2019-08-22 00:17:57,496 INFO L138 SettingsManager]: * Pointer base address is valid at dereference=IGNORE [2019-08-22 00:17:57,496 INFO L136 SettingsManager]: Preferences of RCFGBuilder differ from their defaults: [2019-08-22 00:17:57,497 INFO L138 SettingsManager]: * Size of a code block=SequenceOfStatements [2019-08-22 00:17:57,498 INFO L138 SettingsManager]: * To the following directory=./dump/ [2019-08-22 00:17:57,498 INFO L138 SettingsManager]: * SMT solver=External_DefaultMode [2019-08-22 00:17:57,498 INFO L138 SettingsManager]: * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000 [2019-08-22 00:17:57,498 INFO L136 SettingsManager]: Preferences of TraceAbstraction differ from their defaults: [2019-08-22 00:17:57,499 INFO L138 SettingsManager]: * Compute Interpolants along a Counterexample=FPandBP [2019-08-22 00:17:57,499 INFO L138 SettingsManager]: * Positions where we compute the Hoare Annotation=LoopsAndPotentialCycles [2019-08-22 00:17:57,499 INFO L138 SettingsManager]: * Trace refinement strategy=CAMEL [2019-08-22 00:17:57,500 INFO L138 SettingsManager]: * SMT solver=External_ModelsAndUnsatCoreMode [2019-08-22 00:17:57,500 INFO L138 SettingsManager]: * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in [2019-08-22 00:17:57,500 INFO L138 SettingsManager]: * Compute Hoare Annotation of negated interpolant automaton, abstraction and CFG=true [2019-08-22 00:17:57,532 INFO L81 nceAwareModelManager]: Repository-Root is: /tmp [2019-08-22 00:17:57,544 INFO L258 ainManager$Toolchain]: [Toolchain 1]: Applicable parser(s) successfully (re)initialized [2019-08-22 00:17:57,548 INFO L214 ainManager$Toolchain]: [Toolchain 1]: Toolchain selected. [2019-08-22 00:17:57,549 INFO L271 PluginConnector]: Initializing CDTParser... [2019-08-22 00:17:57,550 INFO L275 PluginConnector]: CDTParser initialized [2019-08-22 00:17:57,551 INFO L428 ainManager$Toolchain]: [Toolchain 1]: Parsing single file: /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/../../../trunk/examples/svcomp/loop-industry-pattern/mod3.c.v+lhb-reducer.c [2019-08-22 00:17:57,615 INFO L220 CDTParser]: Created temporary CDT project at /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/data/db39c3fd6/6e0aae4f7636423780acd77d23563b38/FLAG0e55645d7 [2019-08-22 00:17:58,097 INFO L306 CDTParser]: Found 1 translation units. [2019-08-22 00:17:58,098 INFO L160 CDTParser]: Scanning /storage/repos/ultimate/trunk/examples/svcomp/loop-industry-pattern/mod3.c.v+lhb-reducer.c [2019-08-22 00:17:58,106 INFO L349 CDTParser]: About to delete temporary CDT project at /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/data/db39c3fd6/6e0aae4f7636423780acd77d23563b38/FLAG0e55645d7 [2019-08-22 00:17:58,433 INFO L357 CDTParser]: Successfully deleted /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/data/db39c3fd6/6e0aae4f7636423780acd77d23563b38 [2019-08-22 00:17:58,441 INFO L296 ainManager$Toolchain]: ####################### [Toolchain 1] ####################### [2019-08-22 00:17:58,443 INFO L131 ToolchainWalker]: Walking toolchain with 4 elements. [2019-08-22 00:17:58,444 INFO L113 PluginConnector]: ------------------------CACSL2BoogieTranslator---------------------------- [2019-08-22 00:17:58,444 INFO L271 PluginConnector]: Initializing CACSL2BoogieTranslator... [2019-08-22 00:17:58,448 INFO L275 PluginConnector]: CACSL2BoogieTranslator initialized [2019-08-22 00:17:58,449 INFO L185 PluginConnector]: Executing the observer ACSLObjectContainerObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 22.08 12:17:58" (1/1) ... [2019-08-22 00:17:58,452 INFO L205 PluginConnector]: Invalid model from CACSL2BoogieTranslator for observer de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator.ACSLObjectContainerObserver@4a1bf3c8 and model type de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 22.08 12:17:58, skipping insertion in model container [2019-08-22 00:17:58,452 INFO L185 PluginConnector]: Executing the observer CACSL2BoogieTranslatorObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 22.08 12:17:58" (1/1) ... [2019-08-22 00:17:58,459 INFO L142 MainTranslator]: Starting translation in SV-COMP mode [2019-08-22 00:17:58,482 INFO L173 MainTranslator]: Built tables and reachable declarations [2019-08-22 00:17:58,646 INFO L206 PostProcessor]: Analyzing one entry point: main [2019-08-22 00:17:58,652 INFO L188 MainTranslator]: Completed pre-run [2019-08-22 00:17:58,682 INFO L206 PostProcessor]: Analyzing one entry point: main [2019-08-22 00:17:58,698 INFO L192 MainTranslator]: Completed translation [2019-08-22 00:17:58,698 INFO L202 PluginConnector]: Adding new model de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 22.08 12:17:58 WrapperNode [2019-08-22 00:17:58,698 INFO L132 PluginConnector]: ------------------------ END CACSL2BoogieTranslator---------------------------- [2019-08-22 00:17:58,699 INFO L113 PluginConnector]: ------------------------Boogie Preprocessor---------------------------- [2019-08-22 00:17:58,699 INFO L271 PluginConnector]: Initializing Boogie Preprocessor... [2019-08-22 00:17:58,700 INFO L275 PluginConnector]: Boogie Preprocessor initialized [2019-08-22 00:17:58,805 INFO L185 PluginConnector]: Executing the observer EnsureBoogieModelObserver from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 22.08 12:17:58" (1/1) ... [2019-08-22 00:17:58,805 INFO L185 PluginConnector]: Executing the observer TypeChecker from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 22.08 12:17:58" (1/1) ... [2019-08-22 00:17:58,812 INFO L185 PluginConnector]: Executing the observer ConstExpander from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 22.08 12:17:58" (1/1) ... [2019-08-22 00:17:58,812 INFO L185 PluginConnector]: Executing the observer StructExpander from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 22.08 12:17:58" (1/1) ... [2019-08-22 00:17:58,818 INFO L185 PluginConnector]: Executing the observer UnstructureCode from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 22.08 12:17:58" (1/1) ... [2019-08-22 00:17:58,821 INFO L185 PluginConnector]: Executing the observer FunctionInliner from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 22.08 12:17:58" (1/1) ... [2019-08-22 00:17:58,823 INFO L185 PluginConnector]: Executing the observer BoogieSymbolTableConstructor from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 22.08 12:17:58" (1/1) ... [2019-08-22 00:17:58,825 INFO L132 PluginConnector]: ------------------------ END Boogie Preprocessor---------------------------- [2019-08-22 00:17:58,825 INFO L113 PluginConnector]: ------------------------RCFGBuilder---------------------------- [2019-08-22 00:17:58,826 INFO L271 PluginConnector]: Initializing RCFGBuilder... [2019-08-22 00:17:58,826 INFO L275 PluginConnector]: RCFGBuilder initialized [2019-08-22 00:17:58,827 INFO L185 PluginConnector]: Executing the observer RCFGBuilderObserver from plugin RCFGBuilder for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 22.08 12:17:58" (1/1) ... No working directory specified, using /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/z3 Starting monitored process 1 with z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000 (exit command is (exit), workingDir is null) Waiting until toolchain timeout for monitored process 1 with z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000 [2019-08-22 00:17:58,886 INFO L138 BoogieDeclarations]: Found implementation of procedure ULTIMATE.init [2019-08-22 00:17:58,886 INFO L138 BoogieDeclarations]: Found implementation of procedure ULTIMATE.start [2019-08-22 00:17:58,887 INFO L138 BoogieDeclarations]: Found implementation of procedure main [2019-08-22 00:17:58,887 INFO L130 BoogieDeclarations]: Found specification of procedure __VERIFIER_error [2019-08-22 00:17:58,887 INFO L130 BoogieDeclarations]: Found specification of procedure __VERIFIER_nondet_int [2019-08-22 00:17:58,887 INFO L130 BoogieDeclarations]: Found specification of procedure __VERIFIER_assert [2019-08-22 00:17:58,887 INFO L130 BoogieDeclarations]: Found specification of procedure main [2019-08-22 00:17:58,887 INFO L130 BoogieDeclarations]: Found specification of procedure ULTIMATE.init [2019-08-22 00:17:58,887 INFO L130 BoogieDeclarations]: Found specification of procedure ULTIMATE.start [2019-08-22 00:17:59,181 INFO L278 CfgBuilder]: Using the 1 location(s) as analysis (start of procedure ULTIMATE.start) [2019-08-22 00:17:59,181 INFO L283 CfgBuilder]: Removed 0 assume(true) statements. [2019-08-22 00:17:59,183 INFO L202 PluginConnector]: Adding new model de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder CFG 22.08 12:17:59 BoogieIcfgContainer [2019-08-22 00:17:59,183 INFO L132 PluginConnector]: ------------------------ END RCFGBuilder---------------------------- [2019-08-22 00:17:59,183 INFO L113 PluginConnector]: ------------------------Symbolic Interpretation---------------------------- [2019-08-22 00:17:59,184 INFO L271 PluginConnector]: Initializing Symbolic Interpretation... [2019-08-22 00:17:59,184 INFO L275 PluginConnector]: Symbolic Interpretation initialized [2019-08-22 00:17:59,185 INFO L185 PluginConnector]: Executing the observer SymbolicInterpretationObserver from plugin Symbolic Interpretation for "de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder CFG 22.08 12:17:59" (1/1) ... [2019-08-22 00:17:59,199 INFO L148 IcfgInterpreter]: Started Sifa with 1 locations of interest [2019-08-22 00:17:59,202 INFO L155 IcfgInterpreter]: Building call graph [2019-08-22 00:17:59,209 INFO L160 IcfgInterpreter]: Initial procedures are [ULTIMATE.start] [2019-08-22 00:17:59,223 INFO L165 IcfgInterpreter]: Starting interpretation [2019-08-22 00:17:59,225 INFO L185 IcfgInterpreter]: Interpreting procedure ULTIMATE.start with input of size 1 [2019-08-22 00:17:59,304 INFO L185 IcfgInterpreter]: Interpreting procedure main with input of size 45 [2019-08-22 00:17:59,381 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:17:59,893 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:00,154 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:00,352 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:00,522 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:00,679 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:00,808 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:00,935 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:01,087 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:01,225 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:01,414 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:01,610 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:01,760 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:01,874 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:01,989 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:02,100 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:02,226 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:02,409 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:02,527 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:02,630 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:02,736 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:02,846 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:02,948 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:03,066 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:03,164 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:03,261 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:03,359 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:03,463 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:03,570 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:03,712 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:03,860 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:04,013 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:04,157 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:04,260 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:04,360 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:04,456 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:04,612 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:04,782 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:04,937 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:05,103 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:05,243 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:05,344 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:05,445 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:05,569 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:05,743 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:05,846 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:05,986 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:06,093 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:06,200 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:06,301 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:06,404 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:06,500 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:06,594 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:06,711 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:06,810 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:06,903 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:06,998 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:07,110 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:07,203 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:07,282 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:07,371 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:07,463 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:07,590 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:07,669 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:07,745 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:07,820 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:07,917 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:08,026 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:08,126 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:08,225 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:08,297 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:08,376 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:08,494 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:08,575 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:08,652 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:08,717 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:08,781 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:08,874 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:08,969 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:09,036 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:09,099 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:09,187 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:09,268 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:09,352 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:09,452 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:09,526 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:09,603 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:09,668 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:09,740 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:09,806 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:09,870 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:09,935 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:09,996 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:10,076 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:10,168 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:10,260 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:10,345 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:10,417 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:10,481 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:10,554 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:10,625 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:10,690 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:10,754 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:10,840 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:10,907 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:10,992 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:11,075 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:11,190 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:11,334 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:11,490 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:11,587 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:11,712 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:11,867 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:12,013 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:12,168 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:12,335 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:12,504 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:12,672 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:12,847 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:13,007 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:13,157 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:13,267 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:13,411 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:13,498 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:13,572 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:13,641 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:13,710 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:13,783 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:13,849 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:13,917 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:13,999 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:14,080 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:14,154 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:14,220 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:14,295 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:14,357 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:14,443 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:14,545 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:14,616 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:14,686 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:14,777 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:14,854 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:14,928 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:14,999 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:15,064 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:15,129 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:15,189 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:15,262 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:15,330 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:15,393 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:15,462 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:15,532 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:15,620 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:15,684 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:15,748 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:15,813 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:15,878 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:15,939 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:16,003 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:16,079 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:16,142 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:16,204 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:16,280 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:16,343 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:16,405 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:16,469 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:16,531 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:16,598 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:16,678 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:16,768 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:16,860 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:16,954 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:17,029 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:17,097 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:17,161 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:17,222 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:17,283 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:17,344 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:17,404 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:17,470 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:17,539 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:17,603 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:17,666 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:17,728 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:17,794 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:17,861 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:17,926 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:18,016 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:18,076 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:18,136 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:18,194 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:18,255 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:18,317 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:18,382 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:18,444 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:18,506 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:18,571 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:18,634 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:18,704 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:18,795 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:18,915 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:18,999 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:19,062 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:19,125 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:19,186 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:19,261 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:19,342 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:19,434 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:19,495 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:19,573 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:19,633 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:19,693 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:19,759 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:19,822 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:19,884 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:19,951 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:20,010 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:20,071 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:20,136 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:20,200 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:20,261 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:20,325 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:20,390 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:20,451 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:20,511 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:20,575 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:20,665 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:20,727 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:20,825 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:20,897 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:20,959 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:21,023 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:21,086 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:21,147 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:21,209 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:21,272 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:21,330 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:21,416 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:21,495 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:21,558 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:21,620 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:21,680 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:21,744 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:21,802 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:21,865 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:21,927 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:21,987 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:22,085 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:22,184 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:22,247 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:22,307 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:22,368 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:22,435 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:22,496 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:22,557 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:22,622 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:22,687 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:22,751 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:22,818 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:22,879 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:22,944 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:23,007 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:23,069 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:23,132 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:23,194 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:23,252 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:23,311 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:23,372 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:23,436 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:23,496 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:23,588 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:23,647 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:23,710 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:23,773 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:23,833 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:23,895 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:23,956 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:24,017 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:24,078 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:24,138 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:24,200 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:24,261 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:24,322 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:24,383 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:24,442 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:24,505 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:24,565 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:24,626 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:24,688 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:24,749 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:24,809 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:24,871 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:24,946 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:25,061 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:25,121 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:25,180 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:25,239 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:25,302 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:25,362 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:25,423 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:25,485 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:25,545 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:25,608 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:25,669 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:25,729 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:25,791 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:25,851 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:25,910 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:25,970 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:26,030 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:26,092 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:26,152 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:26,214 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:26,275 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:26,336 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:26,400 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:26,460 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:26,561 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:26,622 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:26,683 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:26,743 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:26,802 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:26,861 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:26,922 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:26,984 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:27,044 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:27,105 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:27,167 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:27,234 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:27,296 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:27,358 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:27,422 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:27,482 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:27,543 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:27,604 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:27,665 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:27,725 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:27,792 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:27,855 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:27,917 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:27,978 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:28,040 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:28,119 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:28,202 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:28,310 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:28,371 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:28,429 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:28,490 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:28,551 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:28,612 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:28,676 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:28,735 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:28,797 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:28,859 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:28,920 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:28,982 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:29,042 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:29,102 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:29,161 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:29,222 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:29,284 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:29,346 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:29,407 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:29,467 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:29,529 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:29,589 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:29,651 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:29,713 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:29,773 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:29,836 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:29,942 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:30,001 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:30,061 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:30,123 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:30,183 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:30,245 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:30,302 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:30,364 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:30,423 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:30,482 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:30,543 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:30,604 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:30,666 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:30,744 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:30,840 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:30,917 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:30,979 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:31,050 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:31,115 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:31,175 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:31,235 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:31,297 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:31,358 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:31,420 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:31,480 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:31,542 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:31,603 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:31,672 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:31,750 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:31,867 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:31,928 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:31,992 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:32,052 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:32,115 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:32,179 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:32,239 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:32,298 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:32,360 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:32,420 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:32,482 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:32,542 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:32,604 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:32,665 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:32,726 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:32,789 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:32,850 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:32,910 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:32,970 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:33,032 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:33,096 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:33,157 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:33,227 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:33,310 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:33,374 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:33,435 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:33,495 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:33,556 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:33,621 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:33,730 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:33,789 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:33,851 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:33,912 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:33,971 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:34,032 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:34,095 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:34,154 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:34,213 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:34,281 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:34,340 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:34,401 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:34,461 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:34,522 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:34,586 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:34,645 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:34,713 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:34,780 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:34,840 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:34,903 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:34,967 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:35,027 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:35,090 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:35,151 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:35,215 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:35,276 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:35,337 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:35,397 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:35,460 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:35,519 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:35,584 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:35,662 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:35,780 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:35,842 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:35,902 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:35,963 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:36,024 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:36,084 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:36,143 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:36,203 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:36,264 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:36,325 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:36,386 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:36,449 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:36,511 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:36,571 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:36,632 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:36,694 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:36,757 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:36,818 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:36,879 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:36,938 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:36,999 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:37,060 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:37,122 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:37,181 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:37,243 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:37,302 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:37,363 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:37,426 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:37,486 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:37,551 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:37,615 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:37,678 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:37,790 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:37,856 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:37,917 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:37,979 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:38,041 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:38,104 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:38,167 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:38,227 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:38,286 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:38,353 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:38,415 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:38,477 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:38,537 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:38,595 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:38,655 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:38,716 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:38,777 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:38,839 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:38,900 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:38,961 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:39,026 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:39,090 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:39,149 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:39,211 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:39,272 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:39,333 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:39,396 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:39,456 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:39,516 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:39,574 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:39,634 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:39,695 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:39,759 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:39,842 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:39,969 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:40,030 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:40,090 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:40,154 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:40,214 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:40,275 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:40,336 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:40,396 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:40,457 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:40,518 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:40,580 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:40,643 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:40,724 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:40,785 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:40,849 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:40,909 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:40,973 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:41,036 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:41,097 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:41,157 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:41,221 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:41,279 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:41,339 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:41,399 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:41,459 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:41,521 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:41,586 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:41,648 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:41,734 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:41,803 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:41,863 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:41,926 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:41,988 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:42,049 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:42,171 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:42,232 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:42,294 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:42,359 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:42,418 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:42,476 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:42,540 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:42,602 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:42,663 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:42,725 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:42,785 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:42,845 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:42,905 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:42,977 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:43,038 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:43,099 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:43,161 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:43,222 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:43,282 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:43,344 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:43,404 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:43,470 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:43,528 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:43,590 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:43,650 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:43,713 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:43,775 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:43,836 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:43,896 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:43,955 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:44,017 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:44,078 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:44,137 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:44,198 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:44,264 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:44,327 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:44,398 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:44,489 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:44,629 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:44,690 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:44,750 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:44,810 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:44,871 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:44,930 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:44,990 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:45,049 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:45,109 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:45,171 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:45,232 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:45,296 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:45,357 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:45,419 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:45,480 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:45,541 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:45,603 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:45,662 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:45,724 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:45,786 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:45,848 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:45,910 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:45,971 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:46,034 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:46,095 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:46,157 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:46,218 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:46,278 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:46,340 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:46,402 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:46,467 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:46,527 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:46,588 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:46,648 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:46,710 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:46,771 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:46,832 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:46,894 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:47,020 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:47,083 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:47,146 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:47,206 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:47,266 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:47,324 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:47,386 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:47,447 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:47,505 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:47,568 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:47,631 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:47,693 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:47,754 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:47,816 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:47,876 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:47,938 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:48,000 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:48,062 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:48,126 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:48,188 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:48,252 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:48,317 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:48,379 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:48,439 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:48,502 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:48,565 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:48,628 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:48,688 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:48,748 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:48,808 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:48,870 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:48,930 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:48,992 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:49,053 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:49,114 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:49,175 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:49,237 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:49,299 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:49,365 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:49,444 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:49,529 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:49,660 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:49,721 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:49,786 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:49,848 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:49,910 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:49,971 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:50,035 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:50,096 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:50,159 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:50,223 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:50,282 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:50,343 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:50,404 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:50,468 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:50,531 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:50,595 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:50,655 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:50,717 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:50,778 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:50,841 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:50,901 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:50,963 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:51,025 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:51,101 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:51,159 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:51,222 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:51,282 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:51,340 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:51,402 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:51,465 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:51,526 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:51,587 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:51,650 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:51,713 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:51,775 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:51,839 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:51,902 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:51,966 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:52,030 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:52,096 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:52,163 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:52,288 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:52,349 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:52,410 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:52,473 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:52,535 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:52,597 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:52,657 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:52,717 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:52,779 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:52,839 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:52,901 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:52,977 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:53,040 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:53,099 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:53,162 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:53,225 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:53,285 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:53,346 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:53,409 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:53,469 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:53,530 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:53,591 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:53,654 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:53,719 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:53,783 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:53,845 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:53,907 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:53,968 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:54,030 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:54,089 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:54,150 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:54,212 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:54,274 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:54,337 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:54,399 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:54,459 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:54,519 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:54,581 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:54,642 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:54,704 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:54,766 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:54,830 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:54,899 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:54,979 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:55,123 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:55,183 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:55,246 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:55,306 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:55,368 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:55,431 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:55,492 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:55,553 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:55,613 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:55,676 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:55,736 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:55,795 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:55,854 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:55,916 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:55,975 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:56,035 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:56,095 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:56,156 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:56,219 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:56,285 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:56,347 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:56,409 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:56,470 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:56,530 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:56,591 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:56,654 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:56,714 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:56,775 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:56,835 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:56,896 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:56,956 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:57,015 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:57,073 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:57,135 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:57,195 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:57,255 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:57,315 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:57,374 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:57,435 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:57,497 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:57,556 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:57,617 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:57,681 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:57,742 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:57,878 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:57,939 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:58,000 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:58,061 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:58,122 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:58,183 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:58,244 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:58,304 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:58,366 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:58,426 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:58,486 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:58,548 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:58,609 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:58,670 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:58,732 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:58,794 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:58,857 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:58,915 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:58,973 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:59,033 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:59,094 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:59,154 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:59,213 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:59,275 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:59,335 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:59,394 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:59,455 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:59,515 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:59,580 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:59,640 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:59,700 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:59,761 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:59,823 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:59,884 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:18:59,944 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:00,005 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:00,068 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:00,131 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:00,195 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:00,256 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:00,317 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:00,380 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:00,440 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:00,504 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:00,569 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:00,638 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:00,705 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:00,783 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:00,936 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:00,997 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:01,056 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:01,116 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:01,176 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:01,240 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:01,302 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:01,362 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:01,423 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:01,484 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:01,542 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:01,599 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:01,658 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:01,718 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:01,780 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:01,841 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:01,906 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:01,969 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:02,036 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:02,099 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:02,162 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:02,230 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:02,298 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:02,363 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:02,424 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:02,487 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:02,554 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:02,620 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:02,686 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:02,750 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:02,812 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:02,880 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:02,943 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:03,009 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:03,072 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:03,138 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:03,211 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:03,275 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:03,350 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:03,445 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:03,515 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:03,580 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:03,665 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:03,736 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:03,800 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:03,866 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:03,938 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:04,002 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:04,152 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:04,219 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:04,281 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:04,346 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:04,411 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:04,476 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:04,541 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:04,605 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:04,670 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:04,730 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:04,790 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:04,848 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:04,906 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:04,967 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:05,025 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:05,091 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:05,157 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:05,221 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:05,285 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:05,348 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:05,409 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:05,473 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:05,535 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:05,600 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:05,664 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:05,724 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:05,787 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:05,851 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:05,915 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:05,981 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:06,045 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:06,110 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:06,172 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:06,237 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:06,301 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:06,365 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:06,428 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:06,494 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:06,561 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:06,627 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:06,691 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:06,755 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:06,822 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:06,885 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:06,950 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:07,038 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:07,100 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:07,165 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:07,231 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:07,298 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:07,373 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:07,455 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:07,613 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:07,674 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:07,741 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:07,806 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:07,869 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:07,933 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:07,996 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:08,060 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:08,126 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:08,189 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:08,254 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:08,319 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:08,380 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:08,445 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:08,511 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:08,576 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:08,637 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:08,702 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:08,769 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:08,834 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:08,896 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:08,960 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:09,028 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:09,094 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:09,153 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:09,213 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:09,276 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:09,338 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:09,402 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:09,461 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:09,526 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:09,589 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:09,651 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:09,713 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:09,777 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:09,839 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:09,903 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:09,964 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:10,028 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:10,091 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:10,152 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:10,214 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:10,277 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:10,339 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:10,402 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:10,466 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:10,528 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:10,591 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:10,653 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:10,715 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:10,778 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:10,931 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:10,997 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:11,059 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:11,122 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:11,189 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:11,250 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:11,312 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:11,378 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:11,443 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:11,504 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:11,570 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:11,634 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:11,701 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:11,765 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:11,828 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:11,891 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:11,955 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:12,019 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:12,085 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:12,158 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:12,242 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:12,305 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:12,369 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:12,433 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:12,494 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:12,560 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:12,622 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:12,686 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:12,752 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:12,814 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:12,876 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:12,938 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:13,001 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:13,065 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:13,129 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:13,192 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:13,254 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:13,315 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:13,376 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:13,439 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:13,502 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:13,563 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:13,629 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:13,693 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:13,758 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:13,823 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:13,886 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:13,949 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:14,012 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:14,077 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:14,141 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:14,209 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:14,273 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:14,342 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:14,409 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:14,492 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:14,670 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:14,732 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:14,794 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:14,857 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:14,919 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:14,982 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:15,044 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:15,107 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:15,169 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:15,232 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:15,292 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:15,355 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:15,420 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:15,482 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:15,544 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:15,608 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:15,671 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:15,733 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:15,796 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:15,861 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:15,922 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:15,987 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:16,048 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:16,110 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:16,174 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:16,234 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:16,293 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:16,356 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:16,417 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:16,480 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:16,541 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:16,603 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:16,663 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:16,727 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:16,788 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:16,847 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:16,911 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:16,972 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:17,033 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:17,095 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6 [2019-08-22 00:19:17,157 WARN L138 XnfTransformerHelper]: expecting exponential blowup for input size 6