WARNING: the argument --multi-file is deprecated. This is not fatal, as GenProg can handle certain deprecated options as of the March 2012 refactor.
However, you may want to consult the GenProg documentation to avoid using 
deprecated options in the future, and verify that your config is doing what you
think it is doing.WARNING: the argument --suffix-extension is deprecated. This is not fatal, as GenProg can handle certain deprecated options as of the March 2012 refactor.
However, you may want to consult the GenProg documentation to avoid using 
deprecated options in the future, and verify that your config is doing what you
think it is doing.WARNING: the argument --mutp is deprecated. This is not fatal, as GenProg can handle certain deprecated options as of the March 2012 refactor.
However, you may want to consult the GenProg documentation to avoid using 
deprecated options in the future, and verify that your config is doing what you
think it is doing.--allow-coverage-fail false
--appp 0.33333
--asm-code-only false
--best-edit-rule "1 * fault_loc_weight ; 1 * max_test_fail_prob ; -1 * num_tests"
--best-test-rule "1 * test_fail_prob ; 1 * test_fail_count ; -1 * test_pass_count"
--compiler "gcc"
--compiler-command "perl compile.pl __EXE_NAME__ > /dev/null"
--compiler-opts ""
--continue false
--coverage-info ""
--coverage-per-test false
--crossover "subset"
--crossp 0.5
--delp 0.33333
--describe-machine true
--diversity-selection 0
--edit-script false
--elf-risc false
--exp-diff false
--fault-file ""
--fault-path "coverage.path.neg"
--fault-scheme "path"
--fitness-in-parallel 2
--fix-file ""
--fix-oracle ""
--fix-path "coverage.path.pos"
--fix-scheme "default"
--flatten-path ""
--format "txt"
--gen-per-exchange 1
--generations 10
--gui false
--hostname "127.0.0.1"
--ignore-dead-code true
--ignore-equiv-appends true
--ignore-standard-headers true
--ignore-string-equiv-fixes true
--ignore-untyped-returns true
--incoming-pop ""
--keep-source false
--label-repair false
--max-evals 0
--minimization false
--mt-cov false
--multiopt-minimize false
--multiopt-no-inf false
--neg-tests 1
--neg-weight 1
--negative-test-weight 2
--neutral-walk-max-size 0
--neutral-walk-weight ""
--nht-id "global"
--nht-port 51000
--nht-server ""
--no-rep-cache false
--no-test-cache false
--num-comps 2
--num-objectives 2
--oracle-genome ""
--popsize 40
--port 60000
--pos-tests 76
--pos-weight 0.1
--prefix "preprocessed"
--preprocessor ""
--print-incremental-evals false
--print-source-name false
--program "bugged-program.txt"
--promut 1
--quiet false
--regen-paths false
--rep "cilpatch"
--rep-cache "default.cache"
--repp 0
--samp-strat "variant"
--sample 1
--sample-runs 100
--sanity "yes"
--search "ww"
--seed 1
--semantic-check "scope"
--single-fitness false
--skip-failed-sanity-tests true
--skip-tests ""
--split-search 0
--sport 65000
--subatom-constp 0.5
--subatom-mutp 0
--super-mutant true
--super-mutant-size 50
--swap-bug false
--swapp 0.33333
--template-cache ""
--templates ""
--test-command "__TEST_SCRIPT__ __TEST_NAME__ >& /dev/null"
--test-script "./test.sh"
--tournament-size 2
--tweet false
--uniq false
--valgrind false
--variants-exchanged 50
uname -a: Linux domU-12-31-39-0C-2C-20 2.6.34.7-61.fc13.i686.PAE #1 SMP Tue Oct 19 04:24:06 UTC 2010 i686 i686 i386 GNU/Linux
date: Tue May  7 21:38:20 EDT 2013
id: uid=0(root) gid=0(root) groups=0(root),1(bin),2(daemon),3(sys),4(adm),6(disk),10(wheel) context=system_u:system_r:kernel_t:s0
cat /etc/redhat-release: Fedora release 13 (Goddard)
grep 'model name' /proc/cpuinfo: model name	: Intel(R) Xeon(R) CPU           E5410  @ 2.33GHz
grep 'MemTotal' /proc/meminfo: MemTotal:        1747596 kB
grep 'SwapTotal' /proc/meminfo: SwapTotal:             0 kB
cilRep: preprocessing IO function signatures: /tmp/tmp30a422.c /tmp/tmpc860f9.c
cilRep: done preprocessing IO function signatures
Exception in loading: Sys_error("default.cache: No such file or directory")
cilrep: from_source: pre: stmt_count = 1
cilRep: preprocessed/tools/tiff2pdf.c: parsing
cilRep: preprocessed/tools/tiff2pdf.c: parsed (0.372754 MB)
cilRep: computing liveness
Bug: BF(Liveness): stmtStartData is not initialized for -1: fail: 
#line 769 "tiff2pdf.c"
ret = 1;
Liveness failed on function:
 int main(int argc , char **argv ) 
{ char const   *outfilename ;
  T2P *t2p ;
  TIFF *input ;
  TIFF *output ;
  tsize_t written ;
  int c ;
  int ret ;
  int tmp ;
  double tmp___0 ;
  float tmp___1 ;
  double tmp___2 ;
  float tmp___3 ;
  double tmp___4 ;
  float tmp___5 ;
  double tmp___6 ;
  float tmp___7 ;
  int tmp___8 ;
  size_t tmp___9 ;
  int tmp___10 ;

  {
   387: /* CIL Label */ 
#line 560
  outfilename = (char const   *)((void *)0);
   388: /* CIL Label */ 
#line 561
  t2p = (T2P *)((void *)0);
   389: /* CIL Label */ 
#line 562
  input = (TIFF *)((void *)0);
   390: /* CIL Label */ 
#line 562
  output = (TIFF *)((void *)0);
   391: /* CIL Label */ 
#line 563
  written = (tsize_t )0;
   392: /* CIL Label */ 
#line 564
  ret = 0;
   393: /* CIL Label */ 
#line 566
  t2p = t2p_init();
   394: /* CIL Label */ 
#line 568
  if ((unsigned int )t2p == (unsigned int )((void *)0)) {
#line 569
    TIFFError("tiff2pdf", "Can\'t initialize context");
    goto fail;
  } else {

  }
   395: /* CIL Label */ 
#line 573
  while (1) {
#line 573
    if (argv) {
#line 573
      c = getopt(argc, (char * const  *)argv,
                 "o:q:u:x:y:w:l:r:p:e:c:a:t:s:k:jzndifbh");
#line 573
      if (c != -1) {

      } else {
#line 573
        break;
      }
    } else {
#line 573
      break;
    }
#line 576
    switch (c) {
    case 111: 
#line 578
    outfilename = (char const   *)optarg;
#line 579
    break;
    case 106: 
#line 587
    TIFFWarning("tiff2pdf",
                "JPEG support in libtiff required for JPEG compression, ignoring option");
#line 590
    break;
    case 122: 
#line 594
    t2p->pdf_defaultcompression = (enum __anonenum_t2p_compress_t_51 )4;
#line 595
    break;
    case 113: 
#line 605
    tmp = atoi((char const   *)optarg);
#line 605
    t2p->pdf_defaultcompressionquality = (unsigned short )tmp;
#line 606
    break;
    case 110: 
#line 608
    t2p->pdf_nopassthrough = (unsigned short)1;
#line 609
    break;
    case 100: 
#line 611
    t2p->pdf_defaultcompression = (enum __anonenum_t2p_compress_t_51 )0;
#line 612
    break;
    case 117: 
#line 614
    if ((int )*(optarg + 0) == 109) {
#line 615
      t2p->pdf_centimeters = (unsigned short)1;
    } else {

    }
#line 617
    break;
    case 120: 
#line 619
    tmp___0 = atof((char const   *)optarg);
#line 619
    if (t2p->pdf_centimeters) {
#line 619
      tmp___1 = 2.54F;
    } else {
#line 619
      tmp___1 = 1.0F;
    }
#line 619
    t2p->pdf_defaultxres = (float )tmp___0 / tmp___1;
#line 621
    break;
    case 121: 
#line 623
    tmp___2 = atof((char const   *)optarg);
#line 623
    if (t2p->pdf_centimeters) {
#line 623
      tmp___3 = 2.54F;
    } else {
#line 623
      tmp___3 = 1.0F;
    }
#line 623
    t2p->pdf_defaultyres = (float )tmp___2 / tmp___3;
#line 625
    break;
    case 119: 
#line 627
    t2p->pdf_overridepagesize = (unsigned short)1;
#line 628
    tmp___4 = atof((char const   *)optarg);
#line 628
    if (t2p->pdf_centimeters) {
#line 628
      tmp___5 = 2.54F;
    } else {
#line 628
      tmp___5 = 1.0F;
    }
#line 628
    t2p->pdf_defaultpagewidth = ((float )tmp___4 * 72.0F) / tmp___5;
#line 630
    break;
    case 108: 
#line 632
    t2p->pdf_overridepagesize = (unsigned short)1;
#line 633
    tmp___6 = atof((char const   *)optarg);
#line 633
    if (t2p->pdf_centimeters) {
#line 633
      tmp___7 = 2.54F;
    } else {
#line 633
      tmp___7 = 1.0F;
    }
#line 633
    t2p->pdf_defaultpagelength = ((float )tmp___6 * 72.0F) / tmp___7;
#line 635
    break;
    case 114: 
#line 637
    if ((int )*(optarg + 0) == 111) {
#line 638
      t2p->pdf_overrideres = (unsigned short)1;
    } else {

    }
#line 640
    break;
    case 112: 
#line 642
    tmp___8 = tiff2pdf_match_paper_size(& t2p->pdf_defaultpagewidth,
                                        & t2p->pdf_defaultpagelength, optarg);
#line 642
    if (tmp___8) {
#line 646
      t2p->pdf_overridepagesize = (unsigned short)1;
    } else {
#line 648
      TIFFWarning("tiff2pdf", "Unknown paper size %s, ignoring option", optarg);
    }
#line 652
    break;
    case 105: 
#line 654
    t2p->pdf_colorspace_invert = (unsigned short)1;
#line 655
    break;
    case 102: 
#line 657
    t2p->pdf_fitwindow = (unsigned short)1;
#line 658
    break;
    case 101: 
#line 660
    tmp___9 = strlen((char const   *)optarg);
#line 660
    if (tmp___9 == 0U) {
#line 661
      t2p->pdf_datetime[0] = (char )'\000';
    } else {
#line 663
      t2p->pdf_datetime[0] = (char )'D';
#line 664
      t2p->pdf_datetime[1] = (char )':';
#line 665
      __builtin_strncpy(t2p->pdf_datetime + 2, (char const   *)optarg,
                        sizeof(t2p->pdf_datetime) - 3U);
#line 667
      t2p->pdf_datetime[sizeof(t2p->pdf_datetime) - 1U] = (char )'\000';
    }
#line 669
    break;
    case 99: 
#line 671
    __builtin_strncpy(t2p->pdf_creator, (char const   *)optarg,
                      sizeof(t2p->pdf_creator) - 1U);
#line 672
    t2p->pdf_creator[sizeof(t2p->pdf_creator) - 1U] = (char )'\000';
#line 673
    break;
    case 97: 
#line 675
    __builtin_strncpy(t2p->pdf_author, (char const   *)optarg,
                      sizeof(t2p->pdf_author) - 1U);
#line 676
    t2p->pdf_author[sizeof(t2p->pdf_author) - 1U] = (char )'\000';
#line 677
    break;
    case 116: 
#line 679
    __builtin_strncpy(t2p->pdf_title, (char const   *)optarg,
                      sizeof(t2p->pdf_title) - 1U);
#line 680
    t2p->pdf_title[sizeof(t2p->pdf_title) - 1U] = (char )'\000';
#line 681
    break;
    case 115: 
#line 683
    __builtin_strncpy(t2p->pdf_subject, (char const   *)optarg,
                      sizeof(t2p->pdf_subject) - 1U);
#line 684
    t2p->pdf_subject[sizeof(t2p->pdf_subject) - 1U] = (char )'\000';
#line 685
    break;
    case 107: 
#line 687
    __builtin_strncpy(t2p->pdf_keywords, (char const   *)optarg,
                      sizeof(t2p->pdf_keywords) - 1U);
#line 688
    t2p->pdf_keywords[sizeof(t2p->pdf_keywords) - 1U] = (char )'\000';
#line 689
    break;
    case 98: 
#line 691
    t2p->pdf_image_interpolate = 1;
#line 692
    break;
    case 104: 
    case 63: 
#line 695
    tiff2pdf_usage();
    goto  407;
#line 697
    break;
    }
  }
   396: /* CIL Label */ 
#line 704
  if (argc > optind) {
#line 705
    tmp___10 = optind;
#line 705
    optind ++;
#line 705
    input = TIFFOpen((char const   *)*(argv + tmp___10), "r");
#line 706
    if ((unsigned int )input == (unsigned int )((void *)0)) {
#line 707
      TIFFError("tiff2pdf", "Can\'t open input file %s for reading",
                *(argv + (optind - 1)));
      goto fail;
    } else {

    }
  } else {
#line 713
    TIFFError("tiff2pdf", "No input file specified");
#line 714
    tiff2pdf_usage();
    goto fail;
  }
   397: /* CIL Label */ 
#line 718
  if (argc > optind) {
#line 719
    TIFFError("tiff2pdf", "No support for multiple input files");
#line 721
    tiff2pdf_usage();
    goto fail;
  } else {

  }
   398: /* CIL Label */ 
#line 728
  t2p->outputdisable = 0;
   399: /* CIL Label */ 
#line 729
  if (outfilename) {
#line 730
    t2p->outputfile = fopen((char const   */* __restrict  */)outfilename,
                            (char const   */* __restrict  */)"wb");
#line 731
    if ((unsigned int )t2p->outputfile == (unsigned int )((void *)0)) {
#line 732
      TIFFError("tiff2pdf", "Can\'t open output file %s for writing",
                outfilename);
      goto fail;
    } else {

    }
  } else {
#line 738
    outfilename = "-";
#line 739
    t2p->outputfile = stdout;
  }
   400: /* CIL Label */ 
#line 742
  output = TIFFClientOpen(outfilename, "w", (void *)t2p, & t2p_readproc,
                          & t2p_writeproc, & t2p_seekproc, & t2p_closeproc,
                          & t2p_sizeproc, & t2p_mapproc, & t2p_unmapproc);
   401: /* CIL Label */ 
#line 746
  if ((unsigned int )output == (unsigned int )((void *)0)) {
#line 747
    TIFFError("tiff2pdf", "Can\'t initialize output descriptor");
    goto fail;
  } else {

  }
   402: /* CIL Label */ 
#line 755
  t2p_validate(t2p);
   403: /* CIL Label */ 
#line 756
  t2pSeekFile(output, 0ULL, 0);
   404: /* CIL Label */ 
#line 761
  written = t2p_write_pdf(t2p, input, output);
   405: /* CIL Label */ 
#line 762
  if ((unsigned int )t2p->t2p_error != 0U) {
#line 763
    TIFFError("tiff2pdf", "An error occurred creating output PDF file");
    goto fail;
  } else {

  }
   406: /* CIL Label */ 
  fail: 
#line 769
  ret = 1;
   407: /* CIL Label */ 
  success: 
#line 771
  if ((unsigned int )input != (unsigned int )((void *)0)) {
#line 772
    TIFFClose(input);
  } else {

  }
   408: /* CIL Label */ 
#line 773
  if ((unsigned int )output != (unsigned int )((void *)0)) {
#line 774
    TIFFClose(output);
  } else {

  }
   409: /* CIL Label */ 
#line 775
  if ((unsigned int )t2p != (unsigned int )((void *)0)) {
#line 776
    t2p_free(t2p);
  } else {

  }
   410: /* CIL Label */ 
#line 777
  return (ret);
}
}

cilRep: liveness failure for main: Errormsg.Error
Bug: BF(Liveness): stmtStartData is not initialized for -1: _L: /* CIL Label */ 
#line 1085
tmp___10 = TIFFGetField(input, 346U, & xuint16);
Liveness failed on function:
 void t2p_read_tiff_init(T2P *t2p , TIFF *input ) 
{ tdir_t directorycount ;
  tdir_t i ;
  uint16 pagen ;
  uint16 paged ;
  uint16 xuint16 ;
  void *tmp ;
  char const   *tmp___0 ;
  void *tmp___1 ;
  char const   *tmp___2 ;
  uint32 subfiletype ;
  char const   *tmp___3 ;
  int tmp___4 ;
  int tmp___5 ;
  int tmp___6 ;
  int tmp___7 ;
  int tmp___8 ;
  int tmp___9 ;
  int tmp___10 ;
  uint32 tmp___11 ;
  int tmp___12 ;
  int tmp___13 ;
  int tmp___14 ;
  int tmp___15 ;
  void *tmp___16 ;
  char const   *tmp___17 ;

  {
   908: /* CIL Label */ 
#line 999
  directorycount = (tdir_t )0;
   909: /* CIL Label */ 
#line 1000
  i = (tdir_t )0;
   910: /* CIL Label */ 
#line 1001
  pagen = (uint16 )0;
   911: /* CIL Label */ 
#line 1002
  paged = (uint16 )0;
   912: /* CIL Label */ 
#line 1003
  xuint16 = (uint16 )0;
   913: /* CIL Label */ 
#line 1005
  directorycount = TIFFNumberOfDirectories(input);
   914: /* CIL Label */ 
#line 1006
  tmp = _TIFFmalloc((long )((unsigned int )directorycount * sizeof(T2P_PAGE )));
   915: /* CIL Label */ 
#line 1006
  t2p->tiff_pages = (T2P_PAGE *)tmp;
   916: /* CIL Label */ 
#line 1007
  if ((unsigned int )t2p->tiff_pages == (unsigned int )((void *)0)) {
#line 1008
    tmp___0 = TIFFFileName(input);
#line 1008
    TIFFError("tiff2pdf",
              "Can\'t allocate %lu bytes of memory for tiff_pages array, %s",
              (unsigned long )directorycount * (unsigned long )sizeof(T2P_PAGE ),
              tmp___0);
#line 1013
    t2p->t2p_error = (enum __anonenum_t2p_err_t_54 )1;
#line 1014
    return;
  } else {

  }
   917: /* CIL Label */ 
#line 1016
  _TIFFmemset((void *)t2p->tiff_pages, 0x00,
              (long )((unsigned int )directorycount * sizeof(T2P_PAGE )));
   918: /* CIL Label */ 
#line 1017
  tmp___1 = _TIFFmalloc((long )((unsigned int )directorycount * sizeof(T2P_TILES )));
   919: /* CIL Label */ 
#line 1017
  t2p->tiff_tiles = (T2P_TILES *)tmp___1;
   920: /* CIL Label */ 
#line 1018
  if ((unsigned int )t2p->tiff_tiles == (unsigned int )((void *)0)) {
#line 1019
    tmp___2 = TIFFFileName(input);
#line 1019
    TIFFError("tiff2pdf",
              "Can\'t allocate %lu bytes of memory for tiff_tiles array, %s",
              (unsigned long )directorycount * (unsigned long )sizeof(T2P_TILES ),
              tmp___2);
#line 1024
    t2p->t2p_error = (enum __anonenum_t2p_err_t_54 )1;
#line 1025
    return;
  } else {

  }
   921: /* CIL Label */ 
#line 1027
  _TIFFmemset((void *)t2p->tiff_tiles, 0x00,
              (long )((unsigned int )directorycount * sizeof(T2P_TILES )));
   922: /* CIL Label */ 
#line 1028
  i = (unsigned short)0;
   923: /* CIL Label */ 
#line 1028
  while ((int )i < (int )directorycount) {
#line 1029
    subfiletype = (uint32 )0;
#line 1031
    tmp___4 = TIFFSetDirectory(input, i);
#line 1031
    if (tmp___4) {

    } else {
#line 1032
      tmp___3 = TIFFFileName(input);
#line 1032
      TIFFError("tiff2pdf", "Can\'t set directory %u of input file %s", i,
                tmp___3);
#line 1037
      return;
    }
#line 1039
    tmp___5 = TIFFGetField(input, 297U, & pagen, & paged);
#line 1039
    if (tmp___5) {
#line 1040
      if ((int )pagen > (int )paged) {
#line 1040
        if ((int )paged != 0) {
#line 1041
          (t2p->tiff_pages + t2p->tiff_pagecount)->page_number = (unsigned int )paged;
        } else {
#line 1044
          (t2p->tiff_pages + t2p->tiff_pagecount)->page_number = (unsigned int )pagen;
        }
      } else {
#line 1044
        (t2p->tiff_pages + t2p->tiff_pagecount)->page_number = (unsigned int )pagen;
      }
      goto ispage2;
    } else {

    }
#line 1049
    tmp___6 = TIFFGetField(input, 254U, & subfiletype);
#line 1049
    if (tmp___6) {
#line 1050
      if ((subfiletype & 2U) != 0U) {
        goto ispage;
      } else {
#line 1050
        if (subfiletype == 0U) {
          goto ispage;
        } else {
          goto isnotpage;
        }
      }
    } else {

    }
#line 1057
    tmp___7 = TIFFGetField(input, 255U, & subfiletype);
#line 1057
    if (tmp___7) {
#line 1058
      if (subfiletype == 1U) {
        goto ispage;
      } else {
#line 1058
        if (subfiletype == 3U) {
          goto ispage;
        } else {
#line 1058
          if (subfiletype == 0U) {
            goto ispage;
          } else {
            goto isnotpage;
          }
        }
      }
    } else {

    }
    ispage: 
#line 1067
    (t2p->tiff_pages + t2p->tiff_pagecount)->page_number = (unsigned int )t2p->tiff_pagecount;
    ispage2: 
#line 1069
    (t2p->tiff_pages + t2p->tiff_pagecount)->page_directory = i;
#line 1070
    tmp___8 = TIFFIsTiled(input);
#line 1070
    if (tmp___8) {
#line 1071
      (t2p->tiff_pages + t2p->tiff_pagecount)->page_tilecount = TIFFNumberOfTiles(input);
    } else {

    }
#line 1074
    t2p->tiff_pagecount = (tdir_t )((int )t2p->tiff_pagecount + 1);
    isnotpage: 
#line 1028
    i = (tdir_t )((int )i + 1);
  }
   924: /* CIL Label */ 
#line 1079
  qsort((void *)t2p->tiff_pages, (unsigned int )t2p->tiff_pagecount,
        sizeof(T2P_PAGE ), & t2p_cmp_t2p_page);
   925: /* CIL Label */ 
#line 1082
  i = (unsigned short)0;
   926: /* CIL Label */ 
#line 1082
  while ((int )i < (int )t2p->tiff_pagecount) {
#line 1083
    t2p->pdf_xrefcount += 5U;
#line 1084
    TIFFSetDirectory(input, (t2p->tiff_pages + i)->page_directory);
#line 1085
    tmp___9 = TIFFGetField(input, 262U, & xuint16);
#line 1085
    if (tmp___9) {
#line 1085
      if ((int )xuint16 == 3) {
#line 1088
        ((t2p->tiff_pages + i)->page_extra) ++;
#line 1089
        (t2p->pdf_xrefcount) ++;
      } else {
        goto _L;
      }
    } else {
      _L: /* CIL Label */ 
#line 1085
      tmp___10 = TIFFGetField(input, 346U, & xuint16);
#line 1085
      if (tmp___10) {
#line 1088
        ((t2p->tiff_pages + i)->page_extra) ++;
#line 1089
        (t2p->pdf_xrefcount) ++;
      } else {

      }
    }
#line 1092
    tmp___12 = TIFFGetField(input, 259U, & xuint16);
#line 1092
    if (tmp___12) {
#line 1093
      if ((int )xuint16 == 32946) {
        goto _L___1;
      } else {
#line 1093
        if ((int )xuint16 == 8) {
          _L___1: /* CIL Label */ 
#line 1093
          if ((t2p->tiff_pages + i)->page_tilecount != 0U) {
            goto _L___0;
          } else {
#line 1093
            tmp___11 = TIFFNumberOfStrips(input);
#line 1093
            if (tmp___11 == 1U) {
              _L___0: /* CIL Label */ 
#line 1093
              if ((int )t2p->pdf_nopassthrough == 0) {
#line 1098
                if ((int )t2p->pdf_minorversion < 2) {
#line 1098
                  t2p->pdf_minorversion = (unsigned short)2;
                } else {

                }
              } else {

              }
            } else {

            }
          }
        } else {

        }
      }
    } else {

    }
#line 1102
    tmp___13 = TIFFGetField(input, 301U, & t2p->tiff_transferfunction[0],
                            & t2p->tiff_transferfunction[1],
                            & t2p->tiff_transferfunction[2]);
#line 1102
    if (tmp___13) {
#line 1106
      if ((unsigned int )t2p->tiff_transferfunction[1] != (unsigned int )t2p->tiff_transferfunction[0]) {
#line 1108
        t2p->tiff_transferfunctioncount = (unsigned short)3;
#line 1109
        (t2p->tiff_pages + i)->page_extra += 4U;
#line 1110
        t2p->pdf_xrefcount += 4U;
      } else {
#line 1112
        t2p->tiff_transferfunctioncount = (unsigned short)1;
#line 1113
        (t2p->tiff_pages + i)->page_extra += 2U;
#line 1114
        t2p->pdf_xrefcount += 2U;
      }
#line 1116
      if ((int )t2p->pdf_minorversion < 2) {
#line 1117
        t2p->pdf_minorversion = (unsigned short)2;
      } else {

      }
    } else {
#line 1119
      t2p->tiff_transferfunctioncount = (unsigned short)0;
    }
#line 1121
    tmp___14 = TIFFGetField(input, 34675U, & t2p->tiff_iccprofilelength,
                            & t2p->tiff_iccprofile);
#line 1121
    if (tmp___14 != 0) {
#line 1126
      ((t2p->tiff_pages + i)->page_extra) ++;
#line 1127
      (t2p->pdf_xrefcount) ++;
#line 1128
      if ((int )t2p->pdf_minorversion < 3) {
#line 1128
        t2p->pdf_minorversion = (unsigned short)3;
      } else {

      }
    } else {

    }
#line 1130
    (t2p->tiff_tiles + i)->tiles_tilecount = (t2p->tiff_pages + i)->page_tilecount;
#line 1132
    tmp___15 = TIFFGetField(input, 284U, & xuint16);
#line 1132
    if (tmp___15 != 0) {
#line 1132
      if ((int )xuint16 == 2) {
#line 1134
        TIFFGetField(input, 277U, & xuint16);
#line 1135
        (t2p->tiff_tiles + i)->tiles_tilecount /= (ttile_t )xuint16;
      } else {

      }
    } else {

    }
#line 1137
    if ((t2p->tiff_tiles + i)->tiles_tilecount > 0U) {
#line 1138
      t2p->pdf_xrefcount += ((t2p->tiff_tiles + i)->tiles_tilecount - 1U) * 2U;
#line 1140
      TIFFGetField(input, 322U, & (t2p->tiff_tiles + i)->tiles_tilewidth);
#line 1143
      TIFFGetField(input, 323U, & (t2p->tiff_tiles + i)->tiles_tilelength);
#line 1146
      tmp___16 = _TIFFmalloc((long )((t2p->tiff_tiles + i)->tiles_tilecount * sizeof(T2P_TILE )));
#line 1146
      (t2p->tiff_tiles + i)->tiles_tiles = (T2P_TILE *)tmp___16;
#line 1150
      if ((unsigned int )(t2p->tiff_tiles + i)->tiles_tiles == (unsigned int )((void *)0)) {
#line 1151
        tmp___17 = TIFFFileName(input);
#line 1151
        TIFFError("tiff2pdf",
                  "Can\'t allocate %lu bytes of memory for t2p_read_tiff_init, %s",
                  (unsigned long )(t2p->tiff_tiles + i)->tiles_tilecount * (unsigned long )sizeof(T2P_TILE ),
                  tmp___17);
#line 1156
        t2p->t2p_error = (enum __anonenum_t2p_err_t_54 )1;
#line 1157
        return;
      } else {

      }
    } else {

    }
#line 1082
    i = (tdir_t )((int )i + 1);
  }
   927: /* CIL Label */ 
#line 1162
  return;
}
}

cilRep: liveness failure for t2p_read_tiff_init: Errormsg.Error
Bug: BF(Liveness): stmtStartData is not initialized for -1: _L: /* CIL Label */ 
#line 1630
tmp___44 = TIFFIsTiled(input);
Liveness failed on function:
 void t2p_read_tiff_data(T2P *t2p , TIFF *input ) 
{ int i ;
  uint16 *r ;
  uint16 *g ;
  uint16 *b ;
  uint16 *a ;
  uint16 xuint16 ;
  uint16 *xuint16p ;
  float *xfloatp ;
  char const   *tmp ;
  char const   *tmp___0 ;
  char const   *tmp___1 ;
  int tmp___2 ;
  char const   *tmp___3 ;
  int tmp___4 ;
  char const   *tmp___5 ;
  char const   *tmp___6 ;
  char const   *tmp___7 ;
  char const   *tmp___8 ;
  char const   *tmp___9 ;
  int tmp___10 ;
  char const   *tmp___11 ;
  int tmp___12 ;
  int tmp___13 ;
  char const   *tmp___14 ;
  int tmp___15 ;
  char const   *tmp___16 ;
  char const   *tmp___17 ;
  char const   *tmp___18 ;
  char const   *tmp___19 ;
  char const   *tmp___20 ;
  int tmp___21 ;
  void *tmp___22 ;
  char const   *tmp___23 ;
  int tmp___24 ;
  char const   *tmp___25 ;
  int tmp___26 ;
  char const   *tmp___27 ;
  char const   *tmp___28 ;
  char const   *tmp___29 ;
  int tmp___30 ;
  void *tmp___31 ;
  char const   *tmp___32 ;
  char const   *tmp___33 ;
  char const   *tmp___34 ;
  char const   *tmp___35 ;
  char const   *tmp___36 ;
  char const   *tmp___37 ;
  int tmp___38 ;
  char const   *tmp___39 ;
  int tmp___40 ;
  int tmp___41 ;
  int tmp___42 ;
  uint32 tmp___43 ;
  int tmp___44 ;
  uint32 tmp___45 ;
  int tmp___46 ;
  int tmp___47 ;
  int tmp___48 ;
  int tmp___49 ;
  int tmp___50 ;

  {
   1242: /* CIL Label */ 
#line 1189
  i = 0;
   1243: /* CIL Label */ 
#line 1198
  t2p->pdf_transcode = (enum __anonenum_t2p_transcode_t_52 )2;
   1244: /* CIL Label */ 
#line 1199
  t2p->pdf_sample = (enum __anonenum_t2p_sample_t_53 )0;
   1245: /* CIL Label */ 
#line 1200
  t2p->pdf_switchdecode = t2p->pdf_colorspace_invert;
   1246: /* CIL Label */ 
#line 1203
  TIFFSetDirectory(input, (t2p->tiff_pages + t2p->pdf_page)->page_directory);
   1247: /* CIL Label */ 
#line 1205
  TIFFGetField(input, 256U, & t2p->tiff_width);
   1248: /* CIL Label */ 
#line 1206
  if (t2p->tiff_width == 0U) {
#line 1207
    tmp = TIFFFileName(input);
#line 1207
    TIFFError("tiff2pdf", "No support for %s with zero width", tmp);
#line 1211
    t2p->t2p_error = (enum __anonenum_t2p_err_t_54 )1;
#line 1212
    return;
  } else {

  }
   1249: /* CIL Label */ 
#line 1215
  TIFFGetField(input, 257U, & t2p->tiff_length);
   1250: /* CIL Label */ 
#line 1216
  if (t2p->tiff_length == 0U) {
#line 1217
    tmp___0 = TIFFFileName(input);
#line 1217
    TIFFError("tiff2pdf", "No support for %s with zero length", tmp___0);
#line 1221
    t2p->t2p_error = (enum __anonenum_t2p_err_t_54 )1;
#line 1222
    return;
  } else {

  }
   1251: /* CIL Label */ 
#line 1225
  tmp___2 = TIFFGetField(input, 259U, & t2p->tiff_compression);
   1252: /* CIL Label */ 
#line 1225
  if (tmp___2 == 0) {
#line 1226
    tmp___1 = TIFFFileName(input);
#line 1226
    TIFFError("tiff2pdf", "No support for %s with no compression tag", tmp___1);
#line 1230
    t2p->t2p_error = (enum __anonenum_t2p_err_t_54 )1;
#line 1231
    return;
  } else {

  }
   1253: /* CIL Label */ 
#line 1234
  tmp___4 = TIFFIsCODECConfigured(t2p->tiff_compression);
   1254: /* CIL Label */ 
#line 1234
  if (tmp___4 == 0) {
#line 1235
    tmp___3 = TIFFFileName(input);
#line 1235
    TIFFError("tiff2pdf",
              "No support for %s with compression type %u:  not configured",
              tmp___3, t2p->tiff_compression);
#line 1241
    t2p->t2p_error = (enum __anonenum_t2p_err_t_54 )1;
#line 1242
    return;
  } else {

  }
   1255: /* CIL Label */ 
#line 1246
  TIFFGetFieldDefaulted(input, 258U, & t2p->tiff_bitspersample);
   0: /* CIL Label */ 
#line 1247
  switch ((int )t2p->tiff_bitspersample) {
  case 1: 
  case 2: 
  case 4: 
  case 8: 
#line 1252
  break;
  case 0: 
#line 1254
  tmp___5 = TIFFFileName(input);
#line 1254
  TIFFWarning("tiff2pdf", "Image %s has 0 bits per sample, assuming 1", tmp___5);
#line 1258
  t2p->tiff_bitspersample = (unsigned short)1;
#line 1259
  break;
  default: 
#line 1261
  tmp___6 = TIFFFileName(input);
#line 1261
  TIFFError("tiff2pdf", "No support for %s with %u bits per sample", tmp___6,
            t2p->tiff_bitspersample);
#line 1266
  t2p->t2p_error = (enum __anonenum_t2p_err_t_54 )1;
#line 1267
  return;
  }
   1256: /* CIL Label */ 
#line 1270
  TIFFGetFieldDefaulted(input, 277U, & t2p->tiff_samplesperpixel);
   1257: /* CIL Label */ 
#line 1271
  if ((int )t2p->tiff_samplesperpixel > 4) {
#line 1272
    tmp___7 = TIFFFileName(input);
#line 1272
    TIFFError("tiff2pdf", "No support for %s with %u samples per pixel",
              tmp___7, t2p->tiff_samplesperpixel);
#line 1277
    t2p->t2p_error = (enum __anonenum_t2p_err_t_54 )1;
#line 1278
    return;
  } else {

  }
   1258: /* CIL Label */ 
#line 1280
  if ((int )t2p->tiff_samplesperpixel == 0) {
#line 1281
    tmp___8 = TIFFFileName(input);
#line 1281
    TIFFWarning("tiff2pdf", "Image %s has 0 samples per pixel, assuming 1",
                tmp___8);
#line 1285
    t2p->tiff_samplesperpixel = (unsigned short)1;
  } else {

  }
   1259: /* CIL Label */ 
#line 1288
  tmp___10 = TIFFGetField(input, 339U, & xuint16);
   1260: /* CIL Label */ 
#line 1288
  if (tmp___10 != 0) {
#line 1289
    switch ((int )xuint16) {
    case 0: 
    case 1: 
    case 4: 
#line 1293
    break;
    default: 
#line 1295
    tmp___9 = TIFFFileName(input);
#line 1295
    TIFFError("tiff2pdf", "No support for %s with sample format %u", tmp___9,
              xuint16);
#line 1300
    t2p->t2p_error = (enum __anonenum_t2p_err_t_54 )1;
#line 1301
    return;
#line 1302
    break;
    }
  } else {

  }
   1261: /* CIL Label */ 
#line 1306
  TIFFGetFieldDefaulted(input, 266U, & t2p->tiff_fillorder);
   1262: /* CIL Label */ 
#line 1308
  tmp___12 = TIFFGetField(input, 262U, & t2p->tiff_photometric);
   1263: /* CIL Label */ 
#line 1308
  if (tmp___12 == 0) {
#line 1309
    tmp___11 = TIFFFileName(input);
#line 1309
    TIFFError("tiff2pdf",
              "No support for %s with no photometric interpretation tag",
              tmp___11);
#line 1313
    t2p->t2p_error = (enum __anonenum_t2p_err_t_54 )1;
#line 1314
    return;
  } else {

  }
   0: /* CIL Label */ 
#line 1318
  switch ((int )t2p->tiff_photometric) {
  case 0: 
  case 1: 
#line 1321
  if ((int )t2p->tiff_bitspersample == 1) {
#line 1322
    t2p->pdf_colorspace = (enum __anonenum_t2p_cs_t_50 )1;
#line 1323
    if ((int )t2p->tiff_photometric == 0) {
#line 1324
      t2p->pdf_switchdecode = (unsigned short )((int )t2p->pdf_switchdecode ^ 1);
    } else {

    }
  } else {
#line 1327
    t2p->pdf_colorspace = (enum __anonenum_t2p_cs_t_50 )2;
#line 1328
    if ((int )t2p->tiff_photometric == 0) {
#line 1329
      t2p->pdf_switchdecode = (unsigned short )((int )t2p->pdf_switchdecode ^ 1);
    } else {

    }
  }
#line 1332
  break;
  case 2: 
#line 1334
  t2p->pdf_colorspace = (enum __anonenum_t2p_cs_t_50 )4;
#line 1335
  if ((int )t2p->tiff_samplesperpixel == 3) {
#line 1336
    break;
  } else {

  }
#line 1338
  tmp___13 = TIFFGetField(input, 346U, & xuint16);
#line 1338
  if (tmp___13) {
#line 1339
    if ((int )xuint16 == 1) {
      goto photometric_palette;
    } else {

    }
  } else {

  }
#line 1342
  if ((int )t2p->tiff_samplesperpixel > 3) {
#line 1343
    if ((int )t2p->tiff_samplesperpixel == 4) {
#line 1344
      t2p->pdf_colorspace = (enum __anonenum_t2p_cs_t_50 )4;
#line 1345
      tmp___15 = TIFFGetField(input, 338U, & xuint16, & xuint16p);
#line 1345
      if (tmp___15) {
#line 1345
        if ((int )xuint16 == 1) {
#line 1349
          if ((int )*(xuint16p + 0) == 1) {
#line 1350
            t2p->pdf_sample = (enum __anonenum_t2p_sample_t_53 )4;
#line 1351
            break;
          } else {

          }
#line 1353
          if ((int )*(xuint16p + 0) == 2) {
#line 1354
            t2p->pdf_sample = (enum __anonenum_t2p_sample_t_53 )2;
#line 1355
            break;
          } else {

          }
#line 1357
          tmp___14 = TIFFFileName(input);
#line 1357
          TIFFWarning("tiff2pdf",
                      "RGB image %s has 4 samples per pixel, assuming RGBA",
                      tmp___14);
#line 1361
          break;
        } else {

        }
      } else {

      }
#line 1363
      t2p->pdf_colorspace = (enum __anonenum_t2p_cs_t_50 )8;
#line 1364
      t2p->pdf_switchdecode = (unsigned short )((int )t2p->pdf_switchdecode ^ 1);
#line 1365
      tmp___16 = TIFFFileName(input);
#line 1365
      TIFFWarning("tiff2pdf",
                  "RGB image %s has 4 samples per pixel, assuming inverse CMYK",
                  tmp___16);
#line 1369
      break;
    } else {
#line 1371
      tmp___17 = TIFFFileName(input);
#line 1371
      TIFFError("tiff2pdf",
                "No support for RGB image %s with %u samples per pixel",
                tmp___17, t2p->tiff_samplesperpixel);
#line 1376
      t2p->t2p_error = (enum __anonenum_t2p_err_t_54 )1;
#line 1377
      break;
    }
  } else {
#line 1380
    tmp___18 = TIFFFileName(input);
#line 1380
    TIFFError("tiff2pdf",
              "No support for RGB image %s with %u samples per pixel", tmp___18,
              t2p->tiff_samplesperpixel);
#line 1385
    t2p->t2p_error = (enum __anonenum_t2p_err_t_54 )1;
#line 1386
    break;
  }
  case 3: 
  photometric_palette: 
#line 1390
  if ((int )t2p->tiff_samplesperpixel != 1) {
#line 1391
    tmp___19 = TIFFFileName(input);
#line 1391
    TIFFError("tiff2pdf",
              "No support for palettized image %s with not one sample per pixel",
              tmp___19);
#line 1395
    t2p->t2p_error = (enum __anonenum_t2p_err_t_54 )1;
#line 1396
    return;
  } else {

  }
#line 1398
  t2p->pdf_colorspace = (enum __anonenum_t2p_cs_t_50 )4100;
#line 1399
  t2p->pdf_palettesize = (unsigned short )(0x0001 << (int )t2p->tiff_bitspersample);
#line 1400
  tmp___21 = TIFFGetField(input, 320U, & r, & g, & b);
#line 1400
  if (tmp___21) {

  } else {
#line 1401
    tmp___20 = TIFFFileName(input);
#line 1401
    TIFFError("tiff2pdf", "Palettized image %s has no color map", tmp___20);
#line 1405
    t2p->t2p_error = (enum __anonenum_t2p_err_t_54 )1;
#line 1406
    return;
  }
#line 1408
  if ((unsigned int )t2p->pdf_palette != (unsigned int )((void *)0)) {
#line 1409
    _TIFFfree((void *)t2p->pdf_palette);
#line 1410
    t2p->pdf_palette = (unsigned char *)((void *)0);
  } else {

  }
#line 1412
  tmp___22 = _TIFFmalloc((long )((int )t2p->pdf_palettesize * 3));
#line 1412
  t2p->pdf_palette = (unsigned char *)tmp___22;
#line 1414
  if ((unsigned int )t2p->pdf_palette == (unsigned int )((void *)0)) {
#line 1415
    tmp___23 = TIFFFileName(input);
#line 1415
    TIFFError("tiff2pdf",
              "Can\'t allocate %u bytes of memory for t2p_read_tiff_image, %s",
              t2p->pdf_palettesize, tmp___23);
#line 1420
    t2p->t2p_error = (enum __anonenum_t2p_err_t_54 )1;
#line 1421
    return;
  } else {

  }
#line 1423
  i = 0;
#line 1423
  while (i < (int )t2p->pdf_palettesize) {
#line 1424
    *(t2p->pdf_palette + i * 3) = (unsigned char )((int )*(r + i) >> 8);
#line 1425
    *(t2p->pdf_palette + (i * 3 + 1)) = (unsigned char )((int )*(g + i) >> 8);
#line 1426
    *(t2p->pdf_palette + (i * 3 + 2)) = (unsigned char )((int )*(b + i) >> 8);
#line 1423
    i ++;
  }
#line 1428
  t2p->pdf_palettesize = (unsigned short )((int )t2p->pdf_palettesize * 3);
#line 1429
  break;
  case 5: 
#line 1431
  tmp___24 = TIFFGetField(input, 346U, & xuint16);
#line 1431
  if (tmp___24) {
#line 1432
    if ((int )xuint16 == 1) {
      goto photometric_palette_cmyk;
    } else {

    }
  } else {

  }
#line 1436
  tmp___26 = TIFFGetField(input, 332U, & xuint16);
#line 1436
  if (tmp___26) {
#line 1437
    if ((int )xuint16 != 1) {
#line 1438
      tmp___25 = TIFFFileName(input);
#line 1438
      TIFFError("tiff2pdf", "No support for %s because its inkset is not CMYK",
                tmp___25);
#line 1442
      t2p->t2p_error = (enum __anonenum_t2p_err_t_54 )1;
#line 1443
      return;
    } else {

    }
  } else {

  }
#line 1446
  if ((int )t2p->tiff_samplesperpixel == 4) {
#line 1447
    t2p->pdf_colorspace = (enum __anonenum_t2p_cs_t_50 )8;
  } else {
#line 1449
    tmp___27 = TIFFFileName(input);
#line 1449
    TIFFError("tiff2pdf",
              "No support for %s because it has %u samples per pixel", tmp___27,
              t2p->tiff_samplesperpixel);
#line 1454
    t2p->t2p_error = (enum __anonenum_t2p_err_t_54 )1;
#line 1455
    return;
  }
#line 1457
  break;
  photometric_palette_cmyk: 
#line 1459
  if ((int )t2p->tiff_samplesperpixel != 1) {
#line 1460
    tmp___28 = TIFFFileName(input);
#line 1460
    TIFFError("tiff2pdf",
              "No support for palettized CMYK image %s with not one sample per pixel",
              tmp___28);
#line 1464
    t2p->t2p_error = (enum __anonenum_t2p_err_t_54 )1;
#line 1465
    return;
  } else {

  }
#line 1467
  t2p->pdf_colorspace = (enum __anonenum_t2p_cs_t_50 )4104;
#line 1468
  t2p->pdf_palettesize = (unsigned short )(0x0001 << (int )t2p->tiff_bitspersample);
#line 1469
  tmp___30 = TIFFGetField(input, 320U, & r, & g, & b, & a);
#line 1469
  if (tmp___30) {

  } else {
#line 1470
    tmp___29 = TIFFFileName(input);
#line 1470
    TIFFError("tiff2pdf", "Palettized image %s has no color map", tmp___29);
#line 1474
    t2p->t2p_error = (enum __anonenum_t2p_err_t_54 )1;
#line 1475
    return;
  }
#line 1477
  if ((unsigned int )t2p->pdf_palette != (unsigned int )((void *)0)) {
#line 1478
    _TIFFfree((void *)t2p->pdf_palette);
#line 1479
    t2p->pdf_palette = (unsigned char *)((void *)0);
  } else {

  }
#line 1481
  tmp___31 = _TIFFmalloc((long )((int )t2p->pdf_palettesize * 4));
#line 1481
  t2p->pdf_palette = (unsigned char *)tmp___31;
#line 1483
  if ((unsigned int )t2p->pdf_palette == (unsigned int )((void *)0)) {
#line 1484
    tmp___32 = TIFFFileName(input);
#line 1484
    TIFFError("tiff2pdf",
              "Can\'t allocate %u bytes of memory for t2p_read_tiff_image, %s",
              t2p->pdf_palettesize, tmp___32);
#line 1489
    t2p->t2p_error = (enum __anonenum_t2p_err_t_54 )1;
#line 1490
    return;
  } else {

  }
#line 1492
  i = 0;
#line 1492
  while (i < (int )t2p->pdf_palettesize) {
#line 1493
    *(t2p->pdf_palette + i * 4) = (unsigned char )((int )*(r + i) >> 8);
#line 1494
    *(t2p->pdf_palette + (i * 4 + 1)) = (unsigned char )((int )*(g + i) >> 8);
#line 1495
    *(t2p->pdf_palette + (i * 4 + 2)) = (unsigned char )((int )*(b + i) >> 8);
#line 1496
    *(t2p->pdf_palette + (i * 4 + 3)) = (unsigned char )((int )*(a + i) >> 8);
#line 1492
    i ++;
  }
#line 1498
  t2p->pdf_palettesize = (unsigned short )((int )t2p->pdf_palettesize * 4);
#line 1499
  break;
  case 6: 
#line 1501
  t2p->pdf_colorspace = (enum __anonenum_t2p_cs_t_50 )4;
#line 1502
  if ((int )t2p->tiff_samplesperpixel == 1) {
#line 1503
    t2p->pdf_colorspace = (enum __anonenum_t2p_cs_t_50 )2;
#line 1504
    t2p->tiff_photometric = (unsigned short)1;
#line 1505
    break;
  } else {

  }
#line 1507
  t2p->pdf_sample = (enum __anonenum_t2p_sample_t_53 )8;
#line 1513
  break;
  case 8: 
#line 1515
  t2p->pdf_labrange[0] = -127;
#line 1516
  t2p->pdf_labrange[1] = 127;
#line 1517
  t2p->pdf_labrange[2] = -127;
#line 1518
  t2p->pdf_labrange[3] = 127;
#line 1519
  t2p->pdf_sample = (enum __anonenum_t2p_sample_t_53 )64;
#line 1520
  t2p->pdf_colorspace = (enum __anonenum_t2p_cs_t_50 )16;
#line 1521
  break;
  case 9: 
#line 1523
  t2p->pdf_labrange[0] = 0;
#line 1524
  t2p->pdf_labrange[1] = 255;
#line 1525
  t2p->pdf_labrange[2] = 0;
#line 1526
  t2p->pdf_labrange[3] = 255;
#line 1527
  t2p->pdf_colorspace = (enum __anonenum_t2p_cs_t_50 )16;
#line 1528
  break;
  case 10: 
#line 1530
  t2p->pdf_labrange[0] = -85;
#line 1531
  t2p->pdf_labrange[1] = 85;
#line 1532
  t2p->pdf_labrange[2] = -75;
#line 1533
  t2p->pdf_labrange[3] = 124;
#line 1534
  t2p->pdf_sample = (enum __anonenum_t2p_sample_t_53 )64;
#line 1535
  t2p->pdf_colorspace = (enum __anonenum_t2p_cs_t_50 )16;
#line 1536
  break;
  case 32844: 
  case 32845: 
#line 1539
  tmp___33 = TIFFFileName(input);
#line 1539
  TIFFError("tiff2pdf",
            "No support for %s with photometric interpretation LogL/LogLuv",
            tmp___33);
#line 1543
  t2p->t2p_error = (enum __anonenum_t2p_err_t_54 )1;
#line 1544
  return;
  default: 
#line 1546
  tmp___34 = TIFFFileName(input);
#line 1546
  TIFFError("tiff2pdf", "No support for %s with photometric interpretation %u",
            tmp___34, t2p->tiff_photometric);
#line 1551
  t2p->t2p_error = (enum __anonenum_t2p_err_t_54 )1;
#line 1552
  return;
  }
   1264: /* CIL Label */ 
#line 1555
  tmp___38 = TIFFGetField(input, 284U, & t2p->tiff_planar);
   1265: /* CIL Label */ 
#line 1555
  if (tmp___38) {
#line 1556
    switch ((int )t2p->tiff_planar) {
    case 0: 
#line 1558
    tmp___35 = TIFFFileName(input);
#line 1558
    TIFFWarning("tiff2pdf", "Image %s has planar configuration 0, assuming 1",
                tmp___35);
#line 1562
    t2p->tiff_planar = (unsigned short)1;
    case 1: 
#line 1564
    break;
    case 2: 
#line 1566
    t2p->pdf_sample = (enum __anonenum_t2p_sample_t_53 )256;
#line 1567
    if ((int )t2p->tiff_bitspersample != 8) {
#line 1568
      tmp___36 = TIFFFileName(input);
#line 1568
      TIFFError("tiff2pdf",
                "No support for %s with separated planar configuration and %u bits per sample",
                tmp___36, t2p->tiff_bitspersample);
#line 1573
      t2p->t2p_error = (enum __anonenum_t2p_err_t_54 )1;
#line 1574
      return;
    } else {

    }
#line 1576
    break;
    default: 
#line 1578
    tmp___37 = TIFFFileName(input);
#line 1578
    TIFFError("tiff2pdf", "No support for %s with planar configuration %u",
              tmp___37, t2p->tiff_planar);
#line 1583
    t2p->t2p_error = (enum __anonenum_t2p_err_t_54 )1;
#line 1584
    return;
    }
  } else {

  }
   1266: /* CIL Label */ 
#line 1588
  TIFFGetFieldDefaulted(input, 274U, & t2p->tiff_orientation);
   1267: /* CIL Label */ 
#line 1590
  if ((int )t2p->tiff_orientation > 8) {
#line 1591
    tmp___39 = TIFFFileName(input);
#line 1591
    TIFFWarning("tiff2pdf", "Image %s has orientation %u, assuming 0", tmp___39,
                t2p->tiff_orientation);
#line 1594
    t2p->tiff_orientation = (unsigned short)0;
  } else {

  }
   1268: /* CIL Label */ 
#line 1597
  tmp___40 = TIFFGetField(input, 282U, & t2p->tiff_xres);
   1269: /* CIL Label */ 
#line 1597
  if (tmp___40 == 0) {
#line 1598
    t2p->tiff_xres = (float )0.0;
  } else {

  }
   1270: /* CIL Label */ 
#line 1600
  tmp___41 = TIFFGetField(input, 283U, & t2p->tiff_yres);
   1271: /* CIL Label */ 
#line 1600
  if (tmp___41 == 0) {
#line 1601
    t2p->tiff_yres = (float )0.0;
  } else {

  }
   1272: /* CIL Label */ 
#line 1603
  TIFFGetFieldDefaulted(input, 296U, & t2p->tiff_resunit);
   1273: /* CIL Label */ 
#line 1605
  if ((int )t2p->tiff_resunit == 3) {
#line 1606
    t2p->tiff_xres *= 2.54F;
#line 1607
    t2p->tiff_yres *= 2.54F;
  } else {
#line 1608
    if ((int )t2p->tiff_resunit != 2) {
#line 1608
      if ((int )t2p->pdf_centimeters != 0) {
#line 1610
        t2p->tiff_xres *= 2.54F;
#line 1611
        t2p->tiff_yres *= 2.54F;
      } else {

      }
    } else {

    }
  }
   1274: /* CIL Label */ 
#line 1614
  t2p_compose_pdf_page(t2p);
   1275: /* CIL Label */ 
#line 1616
  t2p->pdf_transcode = (enum __anonenum_t2p_transcode_t_52 )2;
   1276: /* CIL Label */ 
#line 1617
  if ((int )t2p->pdf_nopassthrough == 0) {
#line 1619
    if ((int )t2p->tiff_compression == 4) {
#line 1621
      tmp___42 = TIFFIsTiled(input);
#line 1621
      if (tmp___42) {
#line 1622
        t2p->pdf_transcode = (enum __anonenum_t2p_transcode_t_52 )1;
#line 1623
        t2p->pdf_compression = (enum __anonenum_t2p_compress_t_51 )1;
      } else {
#line 1621
        tmp___43 = TIFFNumberOfStrips(input);
#line 1621
        if (tmp___43 == 1U) {
#line 1622
          t2p->pdf_transcode = (enum __anonenum_t2p_transcode_t_52 )1;
#line 1623
          t2p->pdf_compression = (enum __anonenum_t2p_compress_t_51 )1;
        } else {

        }
      }
    } else {

    }
#line 1628
    if ((int )t2p->tiff_compression == 8) {
      goto _L;
    } else {
#line 1628
      if ((int )t2p->tiff_compression == 32946) {
        _L: /* CIL Label */ 
#line 1630
        tmp___44 = TIFFIsTiled(input);
#line 1630
        if (tmp___44) {
#line 1631
          t2p->pdf_transcode = (enum __anonenum_t2p_transcode_t_52 )1;
#line 1632
          t2p->pdf_compression = (enum __anonenum_t2p_compress_t_51 )4;
        } else {
#line 1630
          tmp___45 = TIFFNumberOfStrips(input);
#line 1630
          if (tmp___45 == 1U) {
#line 1631
            t2p->pdf_transcode = (enum __anonenum_t2p_transcode_t_52 )1;
#line 1632
            t2p->pdf_compression = (enum __anonenum_t2p_compress_t_51 )4;
          } else {

          }
        }
      } else {

      }
    }
  } else {

  }
   1277: /* CIL Label */ 
#line 1652
  if ((unsigned int )t2p->pdf_transcode != 1U) {
#line 1653
    t2p->pdf_compression = t2p->pdf_defaultcompression;
  } else {

  }
   1278: /* CIL Label */ 
#line 1688
  if ((unsigned int )t2p->pdf_sample & 32U) {
#line 1689
    if ((unsigned int )t2p->pdf_colorspace & 8U) {
#line 1690
      t2p->tiff_samplesperpixel = (unsigned short)4;
#line 1691
      t2p->tiff_photometric = (unsigned short)5;
    } else {
#line 1693
      t2p->tiff_samplesperpixel = (unsigned short)3;
#line 1694
      t2p->tiff_photometric = (unsigned short)2;
    }
  } else {

  }
   1279: /* CIL Label */ 
#line 1698
  tmp___46 = TIFFGetField(input, 301U, & t2p->tiff_transferfunction[0],
                          & t2p->tiff_transferfunction[1],
                          & t2p->tiff_transferfunction[2]);
   1280: /* CIL Label */ 
#line 1698
  if (tmp___46) {
#line 1702
    if ((unsigned int )t2p->tiff_transferfunction[1] != (unsigned int )t2p->tiff_transferfunction[0]) {
#line 1704
      t2p->tiff_transferfunctioncount = (unsigned short)3;
    } else {
#line 1706
      t2p->tiff_transferfunctioncount = (unsigned short)1;
    }
  } else {
#line 1709
    t2p->tiff_transferfunctioncount = (unsigned short)0;
  }
   1281: /* CIL Label */ 
#line 1711
  tmp___47 = TIFFGetField(input, 318U, & xfloatp);
   1282: /* CIL Label */ 
#line 1711
  if (tmp___47 != 0) {
#line 1712
    t2p->tiff_whitechromaticities[0] = *(xfloatp + 0);
#line 1713
    t2p->tiff_whitechromaticities[1] = *(xfloatp + 1);
#line 1714
    if ((unsigned int )t2p->pdf_colorspace & 2U) {
#line 1715
      t2p->pdf_colorspace = (enum __anonenum_t2p_cs_t_50 )((unsigned int )t2p->pdf_colorspace | 32U);
    } else {

    }
#line 1717
    if ((unsigned int )t2p->pdf_colorspace & 4U) {
#line 1718
      t2p->pdf_colorspace = (enum __anonenum_t2p_cs_t_50 )((unsigned int )t2p->pdf_colorspace | 64U);
    } else {

    }
  } else {

  }
   1283: /* CIL Label */ 
#line 1721
  tmp___48 = TIFFGetField(input, 319U, & xfloatp);
   1284: /* CIL Label */ 
#line 1721
  if (tmp___48 != 0) {
#line 1722
    t2p->tiff_primarychromaticities[0] = *(xfloatp + 0);
#line 1723
    t2p->tiff_primarychromaticities[1] = *(xfloatp + 1);
#line 1724
    t2p->tiff_primarychromaticities[2] = *(xfloatp + 2);
#line 1725
    t2p->tiff_primarychromaticities[3] = *(xfloatp + 3);
#line 1726
    t2p->tiff_primarychromaticities[4] = *(xfloatp + 4);
#line 1727
    t2p->tiff_primarychromaticities[5] = *(xfloatp + 5);
#line 1728
    if ((unsigned int )t2p->pdf_colorspace & 4U) {
#line 1729
      t2p->pdf_colorspace = (enum __anonenum_t2p_cs_t_50 )((unsigned int )t2p->pdf_colorspace | 64U);
    } else {

    }
  } else {

  }
   1285: /* CIL Label */ 
#line 1732
  if ((unsigned int )t2p->pdf_colorspace & 16U) {
#line 1733
    tmp___49 = TIFFGetField(input, 318U, & xfloatp);
#line 1733
    if (tmp___49 != 0) {
#line 1734
      t2p->tiff_whitechromaticities[0] = *(xfloatp + 0);
#line 1735
      t2p->tiff_whitechromaticities[1] = *(xfloatp + 1);
    } else {
#line 1737
      t2p->tiff_whitechromaticities[0] = 0.3457F;
#line 1738
      t2p->tiff_whitechromaticities[1] = 0.3585F;
    }
  } else {

  }
   1286: /* CIL Label */ 
#line 1741
  tmp___50 = TIFFGetField(input, 34675U, & t2p->tiff_iccprofilelength,
                          & t2p->tiff_iccprofile);
   1287: /* CIL Label */ 
#line 1741
  if (tmp___50 != 0) {
#line 1745
    t2p->pdf_colorspace = (enum __anonenum_t2p_cs_t_50 )((unsigned int )t2p->pdf_colorspace | 128U);
  } else {
#line 1747
    t2p->tiff_iccprofilelength = 0U;
#line 1748
    t2p->tiff_iccprofile = (void *)0;
  }
   1288: /* CIL Label */ 
#line 1752
  if ((int )t2p->tiff_bitspersample == 1) {
#line 1752
    if ((int )t2p->tiff_samplesperpixel == 1) {
#line 1754
      t2p->pdf_compression = (enum __anonenum_t2p_compress_t_51 )1;
    } else {

    }
  } else {

  }
   1289: /* CIL Label */ 
#line 1759
  return;
}
}

cilRep: liveness failure for t2p_read_tiff_data: Errormsg.Error
Bug: BF(Liveness): stmtStartData is not initialized for -1: dataready: 
#line 2446
t2p_disable(output);
#line 2447
TIFFSetField(output, 262U, t2p->tiff_photometric);
#line 2448
TIFFSetField(output, 258U, t2p->tiff_bitspersample);
#line 2449
TIFFSetField(output, 277U, t2p->tiff_samplesperpixel);
#line 2450
TIFFSetField(output, 256U, t2p->tiff_width);
#line 2451
TIFFSetField(output, 257U, t2p->tiff_length);
#line 2452
TIFFSetField(output, 278U, t2p->tiff_length);
#line 2453
TIFFSetField(output, 284U, 1);
#line 2454
TIFFSetField(output, 266U, 1);
Liveness failed on function:
 tsize_t t2p_readwrite_pdf_image(T2P *t2p , TIFF *input , TIFF *output ) 
{ tsize_t written ;
  unsigned char *buffer ;
  unsigned char *samplebuffer ;
  tsize_t bufferoffset ;
  tsize_t samplebufferoffset ;
  tsize_t read___0 ;
  tstrip_t i ;
  tstrip_t j ;
  tstrip_t stripcount ;
  tsize_t stripsize ;
  tsize_t sepstripcount ;
  tsize_t sepstripsize ;
  void *tmp ;
  char const   *tmp___0 ;
  void *tmp___1 ;
  char const   *tmp___2 ;
  void *tmp___3 ;
  char const   *tmp___4 ;
  char const   *tmp___5 ;
  uint32 tmp___6 ;
  void *tmp___7 ;
  char const   *tmp___8 ;
  void *tmp___9 ;
  char const   *tmp___10 ;
  char const   *tmp___11 ;
  void *tmp___12 ;
  char const   *tmp___13 ;
  char const   *tmp___14 ;
  void *tmp___15 ;
  char const   *tmp___16 ;
  void *tmp___17 ;
  char const   *tmp___18 ;
  char const   *tmp___19 ;
  int tmp___20 ;
  char const   *tmp___21 ;

  {
   1536: /* CIL Label */ 
#line 1987
  written = (tsize_t )0;
   1537: /* CIL Label */ 
#line 1988
  buffer = (unsigned char *)((void *)0);
   1538: /* CIL Label */ 
#line 1989
  samplebuffer = (unsigned char *)((void *)0);
   1539: /* CIL Label */ 
#line 1990
  bufferoffset = (tsize_t )0;
   1540: /* CIL Label */ 
#line 1991
  samplebufferoffset = (tsize_t )0;
   1541: /* CIL Label */ 
#line 1992
  read___0 = (tsize_t )0;
   1542: /* CIL Label */ 
#line 1993
  i = (tstrip_t )0;
   1543: /* CIL Label */ 
#line 1994
  j = (tstrip_t )0;
   1544: /* CIL Label */ 
#line 1995
  stripcount = (tstrip_t )0;
   1545: /* CIL Label */ 
#line 1996
  stripsize = (tsize_t )0;
   1546: /* CIL Label */ 
#line 1997
  sepstripcount = (tsize_t )0;
   1547: /* CIL Label */ 
#line 1998
  sepstripsize = (tsize_t )0;
   1548: /* CIL Label */ 
#line 2015
  if ((unsigned int )t2p->pdf_transcode == 1U) {
#line 2017
    if ((unsigned int )t2p->pdf_compression == 1U) {
#line 2018
      tmp = _TIFFmalloc(t2p->tiff_datasize);
#line 2018
      buffer = (unsigned char *)tmp;
#line 2020
      if ((unsigned int )buffer == (unsigned int )((void *)0)) {
#line 2021
        tmp___0 = TIFFFileName(input);
#line 2021
        TIFFError("tiff2pdf",
                  "Can\'t allocate %lu bytes of memory for t2p_readwrite_pdf_image, %s",
                  (unsigned long )t2p->tiff_datasize, tmp___0);
#line 2025
        t2p->t2p_error = (enum __anonenum_t2p_err_t_54 )1;
#line 2026
        return (0L);
      } else {

      }
#line 2028
      TIFFReadRawStrip(input, 0U, (void *)buffer, t2p->tiff_datasize);
#line 2030
      if ((int )t2p->tiff_fillorder == 2) {
#line 2035
        TIFFReverseBits(buffer, t2p->tiff_datasize);
      } else {

      }
#line 2038
      t2pWriteFile(output, (void *)buffer, t2p->tiff_datasize);
#line 2040
      _TIFFfree((void *)buffer);
#line 2041
      return (t2p->tiff_datasize);
    } else {

    }
#line 2045
    if ((unsigned int )t2p->pdf_compression == 4U) {
#line 2046
      tmp___1 = _TIFFmalloc(t2p->tiff_datasize);
#line 2046
      buffer = (unsigned char *)tmp___1;
#line 2048
      if ((unsigned int )buffer == (unsigned int )((void *)0)) {
#line 2049
        tmp___2 = TIFFFileName(input);
#line 2049
        TIFFError("tiff2pdf",
                  "Can\'t allocate %lu bytes of memory for t2p_readwrite_pdf_image, %s",
                  (unsigned long )t2p->tiff_datasize, tmp___2);
#line 2053
        t2p->t2p_error = (enum __anonenum_t2p_err_t_54 )1;
#line 2054
        return (0L);
      } else {

      }
#line 2056
      memset((void *)buffer, 0, (unsigned int )t2p->tiff_datasize);
#line 2057
      TIFFReadRawStrip(input, 0U, (void *)buffer, t2p->tiff_datasize);
#line 2059
      if ((int )t2p->tiff_fillorder == 2) {
#line 2060
        TIFFReverseBits(buffer, t2p->tiff_datasize);
      } else {

      }
#line 2063
      t2pWriteFile(output, (void *)buffer, t2p->tiff_datasize);
#line 2065
      _TIFFfree((void *)buffer);
#line 2066
      return (t2p->tiff_datasize);
    } else {

    }
  } else {

  }
   1549: /* CIL Label */ 
#line 2254
  if ((unsigned int )t2p->pdf_sample == 0U) {
#line 2255
    tmp___3 = _TIFFmalloc(t2p->tiff_datasize);
#line 2255
    buffer = (unsigned char *)tmp___3;
#line 2256
    if ((unsigned int )buffer == (unsigned int )((void *)0)) {
#line 2257
      tmp___4 = TIFFFileName(input);
#line 2257
      TIFFError("tiff2pdf",
                "Can\'t allocate %lu bytes of memory for t2p_readwrite_pdf_image, %s",
                (unsigned long )t2p->tiff_datasize, tmp___4);
#line 2261
      t2p->t2p_error = (enum __anonenum_t2p_err_t_54 )1;
#line 2262
      return (0L);
    } else {

    }
#line 2264
    memset((void *)buffer, 0, (unsigned int )t2p->tiff_datasize);
#line 2265
    stripsize = TIFFStripSize(input);
#line 2266
    stripcount = TIFFNumberOfStrips(input);
#line 2267
    i = 0U;
#line 2267
    while (i < stripcount) {
#line 2268
      read___0 = TIFFReadEncodedStrip(input, i, (void *)(buffer + bufferoffset),
                                      stripsize);
#line 2273
      if (read___0 == -1L) {
#line 2274
        tmp___5 = TIFFFileName(input);
#line 2274
        TIFFError("tiff2pdf", "Error on decoding strip %u of %s", i, tmp___5);
#line 2278
        _TIFFfree((void *)buffer);
#line 2279
        t2p->t2p_error = (enum __anonenum_t2p_err_t_54 )1;
#line 2280
        return (0L);
      } else {

      }
#line 2282
      bufferoffset += read___0;
#line 2267
      i ++;
    }
  } else {
#line 2285
    if ((unsigned int )t2p->pdf_sample & 256U) {
#line 2287
      sepstripsize = TIFFStripSize(input);
#line 2288
      tmp___6 = TIFFNumberOfStrips(input);
#line 2288
      sepstripcount = (long )tmp___6;
#line 2290
      stripsize = sepstripsize * (tsize_t )t2p->tiff_samplesperpixel;
#line 2291
      stripcount = (unsigned int )(sepstripcount / (tsize_t )t2p->tiff_samplesperpixel);
#line 2293
      tmp___7 = _TIFFmalloc(t2p->tiff_datasize);
#line 2293
      buffer = (unsigned char *)tmp___7;
#line 2294
      if ((unsigned int )buffer == (unsigned int )((void *)0)) {
#line 2295
        tmp___8 = TIFFFileName(input);
#line 2295
        TIFFError("tiff2pdf",
                  "Can\'t allocate %lu bytes of memory for t2p_readwrite_pdf_image, %s",
                  (unsigned long )t2p->tiff_datasize, tmp___8);
#line 2299
        t2p->t2p_error = (enum __anonenum_t2p_err_t_54 )1;
#line 2300
        return (0L);
      } else {

      }
#line 2302
      memset((void *)buffer, 0, (unsigned int )t2p->tiff_datasize);
#line 2303
      tmp___9 = _TIFFmalloc(stripsize);
#line 2303
      samplebuffer = (unsigned char *)tmp___9;
#line 2304
      if ((unsigned int )samplebuffer == (unsigned int )((void *)0)) {
#line 2305
        tmp___10 = TIFFFileName(input);
#line 2305
        TIFFError("tiff2pdf",
                  "Can\'t allocate %lu bytes of memory for t2p_readwrite_pdf_image, %s",
                  (unsigned long )t2p->tiff_datasize, tmp___10);
#line 2309
        t2p->t2p_error = (enum __anonenum_t2p_err_t_54 )1;
#line 2310
        return (0L);
      } else {

      }
#line 2312
      i = 0U;
#line 2312
      while (i < stripcount) {
#line 2313
        samplebufferoffset = 0L;
#line 2314
        j = 0U;
#line 2314
        while (j < (tstrip_t )t2p->tiff_samplesperpixel) {
#line 2315
          read___0 = TIFFReadEncodedStrip(input, i + j * stripcount,
                                          (void *)(samplebuffer + samplebufferoffset),
                                          sepstripsize);
#line 2320
          if (read___0 == -1L) {
#line 2321
            tmp___11 = TIFFFileName(input);
#line 2321
            TIFFError("tiff2pdf", "Error on decoding strip %u of %s",
                      i + j * stripcount, tmp___11);
#line 2325
            _TIFFfree((void *)buffer);
#line 2326
            t2p->t2p_error = (enum __anonenum_t2p_err_t_54 )1;
#line 2327
            return (0L);
          } else {

          }
#line 2329
          samplebufferoffset += read___0;
#line 2314
          j ++;
        }
#line 2331
        t2p_sample_planar_separate_to_contig(t2p, buffer + bufferoffset,
                                             samplebuffer, samplebufferoffset);
#line 2336
        bufferoffset += samplebufferoffset;
#line 2312
        i ++;
      }
#line 2338
      _TIFFfree((void *)samplebuffer);
      goto dataready;
    } else {

    }
#line 2342
    tmp___12 = _TIFFmalloc(t2p->tiff_datasize);
#line 2342
    buffer = (unsigned char *)tmp___12;
#line 2343
    if ((unsigned int )buffer == (unsigned int )((void *)0)) {
#line 2344
      tmp___13 = TIFFFileName(input);
#line 2344
      TIFFError("tiff2pdf",
                "Can\'t allocate %lu bytes of memory for t2p_readwrite_pdf_image, %s",
                (unsigned long )t2p->tiff_datasize, tmp___13);
#line 2348
      t2p->t2p_error = (enum __anonenum_t2p_err_t_54 )1;
#line 2349
      return (0L);
    } else {

    }
#line 2351
    memset((void *)buffer, 0, (unsigned int )t2p->tiff_datasize);
#line 2352
    stripsize = TIFFStripSize(input);
#line 2353
    stripcount = TIFFNumberOfStrips(input);
#line 2354
    i = 0U;
#line 2354
    while (i < stripcount) {
#line 2355
      read___0 = TIFFReadEncodedStrip(input, i, (void *)(buffer + bufferoffset),
                                      stripsize);
#line 2360
      if (read___0 == -1L) {
#line 2361
        tmp___14 = TIFFFileName(input);
#line 2361
        TIFFError("tiff2pdf", "Error on decoding strip %u of %s", i, tmp___14);
#line 2365
        _TIFFfree((void *)samplebuffer);
#line 2366
        _TIFFfree((void *)buffer);
#line 2367
        t2p->t2p_error = (enum __anonenum_t2p_err_t_54 )1;
#line 2368
        return (0L);
      } else {

      }
#line 2370
      bufferoffset += read___0;
#line 2354
      i ++;
    }
#line 2373
    if ((unsigned int )t2p->pdf_sample & 32U) {
#line 2374
      tmp___15 = _TIFFrealloc((void *)buffer,
                              t2p->tiff_datasize * (tsize_t )t2p->tiff_samplesperpixel);
#line 2374
      samplebuffer = (unsigned char *)tmp___15;
#line 2377
      if ((unsigned int )samplebuffer == (unsigned int )((void *)0)) {
#line 2378
        tmp___16 = TIFFFileName(input);
#line 2378
        TIFFError("tiff2pdf",
                  "Can\'t allocate %lu bytes of memory for t2p_readwrite_pdf_image, %s",
                  (unsigned long )t2p->tiff_datasize, tmp___16);
#line 2382
        t2p->t2p_error = (enum __anonenum_t2p_err_t_54 )1;
#line 2383
        _TIFFfree((void *)buffer);
      } else {
#line 2385
        buffer = samplebuffer;
#line 2386
        t2p->tiff_datasize *= (tsize_t )t2p->tiff_samplesperpixel;
      }
#line 2388
      t2p_sample_realize_palette(t2p, buffer);
    } else {

    }
#line 2391
    if ((unsigned int )t2p->pdf_sample & 2U) {
#line 2392
      t2p->tiff_datasize = t2p_sample_rgba_to_rgb((void *)buffer,
                                                  t2p->tiff_width * t2p->tiff_length);
    } else {

    }
#line 2397
    if ((unsigned int )t2p->pdf_sample & 4U) {
#line 2398
      t2p->tiff_datasize = t2p_sample_rgbaa_to_rgb((void *)buffer,
                                                   t2p->tiff_width * t2p->tiff_length);
    } else {

    }
#line 2403
    if ((unsigned int )t2p->pdf_sample & 8U) {
#line 2404
      tmp___17 = _TIFFrealloc((void *)buffer,
                              (long )((t2p->tiff_width * t2p->tiff_length) * 4U));
#line 2404
      samplebuffer = (unsigned char *)tmp___17;
#line 2407
      if ((unsigned int )samplebuffer == (unsigned int )((void *)0)) {
#line 2408
        tmp___18 = TIFFFileName(input);
#line 2408
        TIFFError("tiff2pdf",
                  "Can\'t allocate %lu bytes of memory for t2p_readwrite_pdf_image, %s",
                  (unsigned long )t2p->tiff_datasize, tmp___18);
#line 2412
        t2p->t2p_error = (enum __anonenum_t2p_err_t_54 )1;
#line 2413
        _TIFFfree((void *)buffer);
#line 2414
        return (0L);
      } else {
#line 2416
        buffer = samplebuffer;
      }
#line 2418
      tmp___20 = TIFFReadRGBAImageOriented(input, t2p->tiff_width,
                                           t2p->tiff_length, (uint32 *)buffer,
                                           1, 0);
#line 2418
      if (tmp___20) {

      } else {
#line 2425
        tmp___19 = TIFFFileName(input);
#line 2425
        TIFFError("tiff2pdf",
                  "Can\'t use TIFFReadRGBAImageOriented to extract RGB image from %s",
                  tmp___19);
#line 2428
        t2p->t2p_error = (enum __anonenum_t2p_err_t_54 )1;
#line 2429
        return (0L);
      }
#line 2431
      t2p->tiff_datasize = t2p_sample_abgr_to_rgb((void *)buffer,
                                                  t2p->tiff_width * t2p->tiff_length);
    } else {

    }
#line 2437
    if ((unsigned int )t2p->pdf_sample & 64U) {
#line 2438
      t2p->tiff_datasize = t2p_sample_lab_signed_to_unsigned((void *)buffer,
                                                             t2p->tiff_width * t2p->tiff_length);
    } else {

    }
  }
   1550: /* CIL Label */ 
  dataready: 
#line 2446
  t2p_disable(output);
   1551: /* CIL Label */ 
#line 2447
  TIFFSetField(output, 262U, t2p->tiff_photometric);
   1552: /* CIL Label */ 
#line 2448
  TIFFSetField(output, 258U, t2p->tiff_bitspersample);
   1553: /* CIL Label */ 
#line 2449
  TIFFSetField(output, 277U, t2p->tiff_samplesperpixel);
   1554: /* CIL Label */ 
#line 2450
  TIFFSetField(output, 256U, t2p->tiff_width);
   1555: /* CIL Label */ 
#line 2451
  TIFFSetField(output, 257U, t2p->tiff_length);
   1556: /* CIL Label */ 
#line 2452
  TIFFSetField(output, 278U, t2p->tiff_length);
   1557: /* CIL Label */ 
#line 2453
  TIFFSetField(output, 284U, 1);
   1558: /* CIL Label */ 
#line 2454
  TIFFSetField(output, 266U, 1);
   0: /* CIL Label */ 
#line 2456
  switch ((int )t2p->pdf_compression) {
  case 0: 
#line 2458
  TIFFSetField(output, 259U, 1);
#line 2459
  break;
  case 1: 
#line 2462
  TIFFSetField(output, 259U, 4);
#line 2463
  break;
  case 4: 
#line 2513
  TIFFSetField(output, 259U, 32946);
#line 2514
  if ((int )t2p->pdf_defaultcompressionquality % 100 != 0) {
#line 2515
    TIFFSetField(output, 317U, (int )t2p->pdf_defaultcompressionquality % 100);
  } else {

  }
#line 2519
  if ((int )t2p->pdf_defaultcompressionquality / 100 != 0) {
#line 2520
    TIFFSetField(output, 65557U, (int )t2p->pdf_defaultcompressionquality / 100);
  } else {

  }
#line 2524
  break;
  default: ;
#line 2527
  break;
  }
   1559: /* CIL Label */ 
#line 2530
  t2p_enable(output);
   1560: /* CIL Label */ 
#line 2531
  t2p->outputwritten = 0L;
   1561: /* CIL Label */ 
#line 2541
  bufferoffset = TIFFWriteEncodedStrip(output, 0U, (void *)buffer,
                                       t2p->tiff_datasize);
   1562: /* CIL Label */ 
#line 2545
  if ((unsigned int )buffer != (unsigned int )((void *)0)) {
#line 2546
    _TIFFfree((void *)buffer);
#line 2547
    buffer = (unsigned char *)((void *)0);
  } else {

  }
   1563: /* CIL Label */ 
#line 2550
  if (bufferoffset == -1L) {
#line 2551
    tmp___21 = TIFFFileName(output);
#line 2551
    TIFFError("tiff2pdf", "Error writing encoded strip to output PDF %s",
              tmp___21);
#line 2554
    t2p->t2p_error = (enum __anonenum_t2p_err_t_54 )1;
#line 2555
    return (0L);
  } else {

  }
   1564: /* CIL Label */ 
#line 2558
  written = t2p->outputwritten;
   1565: /* CIL Label */ 
#line 2559
  return (written);
}
}

cilRep: liveness failure for t2p_readwrite_pdf_image: Errormsg.Error
Bug: BF(Liveness): stmtStartData is not initialized for -1: _L: /* CIL Label */ 
#line 4280
i = 0U;
Liveness failed on function:
 void t2p_compose_pdf_page(T2P *t2p ) 
{ uint32 i ;
  uint32 i2 ;
  T2P_TILE *tiles ;
  T2P_BOX *boxp ;
  uint32 tilecountx ;
  uint32 tilecounty ;
  uint32 tilewidth ;
  uint32 tilelength ;
  int istiled ;
  float f ;

  {
   2505: /* CIL Label */ 
#line 4139
  i = (uint32 )0;
   2506: /* CIL Label */ 
#line 4140
  i2 = (uint32 )0;
   2507: /* CIL Label */ 
#line 4141
  tiles = (T2P_TILE *)((void *)0);
   2508: /* CIL Label */ 
#line 4142
  boxp = (T2P_BOX *)((void *)0);
   2509: /* CIL Label */ 
#line 4143
  tilecountx = (uint32 )0;
   2510: /* CIL Label */ 
#line 4144
  tilecounty = (uint32 )0;
   2511: /* CIL Label */ 
#line 4145
  tilewidth = (uint32 )0;
   2512: /* CIL Label */ 
#line 4146
  tilelength = (uint32 )0;
   2513: /* CIL Label */ 
#line 4147
  istiled = 0;
   2514: /* CIL Label */ 
#line 4148
  f = (float )0;
   2515: /* CIL Label */ 
#line 4150
  t2p->pdf_xres = t2p->tiff_xres;
   2516: /* CIL Label */ 
#line 4151
  t2p->pdf_yres = t2p->tiff_yres;
   2517: /* CIL Label */ 
#line 4152
  if (t2p->pdf_overrideres) {
#line 4153
    t2p->pdf_xres = t2p->pdf_defaultxres;
#line 4154
    t2p->pdf_yres = t2p->pdf_defaultyres;
  } else {

  }
   2518: /* CIL Label */ 
#line 4156
  if ((double )t2p->pdf_xres == 0.0) {
#line 4157
    t2p->pdf_xres = t2p->pdf_defaultxres;
  } else {

  }
   2519: /* CIL Label */ 
#line 4158
  if ((double )t2p->pdf_yres == 0.0) {
#line 4159
    t2p->pdf_yres = t2p->pdf_defaultyres;
  } else {

  }
   2520: /* CIL Label */ 
#line 4160
  if ((int )t2p->tiff_resunit != 3) {
#line 4160
    if ((int )t2p->tiff_resunit != 2) {
#line 4162
      t2p->pdf_imagewidth = (float )t2p->tiff_width / t2p->pdf_xres;
#line 4163
      t2p->pdf_imagelength = (float )t2p->tiff_length / t2p->pdf_yres;
    } else {
#line 4165
      t2p->pdf_imagewidth = ((float )t2p->tiff_width * 72.0F) / t2p->pdf_xres;
#line 4167
      t2p->pdf_imagelength = ((float )t2p->tiff_length * 72.0F) / t2p->pdf_yres;
    }
  } else {
#line 4165
    t2p->pdf_imagewidth = ((float )t2p->tiff_width * 72.0F) / t2p->pdf_xres;
#line 4167
    t2p->pdf_imagelength = ((float )t2p->tiff_length * 72.0F) / t2p->pdf_yres;
  }
   2521: /* CIL Label */ 
#line 4170
  if ((int )t2p->pdf_overridepagesize != 0) {
#line 4171
    t2p->pdf_pagewidth = t2p->pdf_defaultpagewidth;
#line 4172
    t2p->pdf_pagelength = t2p->pdf_defaultpagelength;
  } else {
#line 4174
    t2p->pdf_pagewidth = t2p->pdf_imagewidth;
#line 4175
    t2p->pdf_pagelength = t2p->pdf_imagelength;
  }
   2522: /* CIL Label */ 
#line 4177
  t2p->pdf_mediabox.x1 = (float )0.0;
   2523: /* CIL Label */ 
#line 4178
  t2p->pdf_mediabox.y1 = (float )0.0;
   2524: /* CIL Label */ 
#line 4179
  t2p->pdf_mediabox.x2 = t2p->pdf_pagewidth;
   2525: /* CIL Label */ 
#line 4180
  t2p->pdf_mediabox.y2 = t2p->pdf_pagelength;
   2526: /* CIL Label */ 
#line 4181
  t2p->pdf_imagebox.x1 = (float )0.0;
   2527: /* CIL Label */ 
#line 4182
  t2p->pdf_imagebox.y1 = (float )0.0;
   2528: /* CIL Label */ 
#line 4183
  t2p->pdf_imagebox.x2 = t2p->pdf_imagewidth;
   2529: /* CIL Label */ 
#line 4184
  t2p->pdf_imagebox.y2 = t2p->pdf_imagelength;
   2530: /* CIL Label */ 
#line 4185
  if ((int )t2p->pdf_overridepagesize != 0) {
#line 4186
    t2p->pdf_imagebox.x1 += (t2p->pdf_pagewidth - t2p->pdf_imagewidth) / 2.0F;
#line 4187
    t2p->pdf_imagebox.y1 += (t2p->pdf_pagelength - t2p->pdf_imagelength) / 2.0F;
#line 4188
    t2p->pdf_imagebox.x2 += (t2p->pdf_pagewidth - t2p->pdf_imagewidth) / 2.0F;
#line 4189
    t2p->pdf_imagebox.y2 += (t2p->pdf_pagelength - t2p->pdf_imagelength) / 2.0F;
  } else {

  }
   2531: /* CIL Label */ 
#line 4191
  if ((int )t2p->tiff_orientation > 4) {
#line 4192
    f = t2p->pdf_mediabox.x2;
#line 4193
    t2p->pdf_mediabox.x2 = t2p->pdf_mediabox.y2;
#line 4194
    t2p->pdf_mediabox.y2 = f;
  } else {

  }
   2532: /* CIL Label */ 
#line 4196
  if ((t2p->tiff_tiles + t2p->pdf_page)->tiles_tilecount == 0U) {
#line 4196
    istiled = 0;
  } else {
#line 4196
    istiled = 1;
  }
   2533: /* CIL Label */ 
#line 4197
  if (istiled == 0) {
#line 4198
    t2p_compose_pdf_page_orient(& t2p->pdf_imagebox, t2p->tiff_orientation);
#line 4199
    return;
  } else {
#line 4201
    tilewidth = (t2p->tiff_tiles + t2p->pdf_page)->tiles_tilewidth;
#line 4202
    tilelength = (t2p->tiff_tiles + t2p->pdf_page)->tiles_tilelength;
#line 4203
    tilecountx = ((t2p->tiff_width + tilewidth) - 1U) / tilewidth;
#line 4206
    (t2p->tiff_tiles + t2p->pdf_page)->tiles_tilecountx = tilecountx;
#line 4207
    tilecounty = ((t2p->tiff_length + tilelength) - 1U) / tilelength;
#line 4210
    (t2p->tiff_tiles + t2p->pdf_page)->tiles_tilecounty = tilecounty;
#line 4211
    (t2p->tiff_tiles + t2p->pdf_page)->tiles_edgetilewidth = t2p->tiff_width % tilewidth;
#line 4213
    (t2p->tiff_tiles + t2p->pdf_page)->tiles_edgetilelength = t2p->tiff_length % tilelength;
#line 4215
    tiles = (t2p->tiff_tiles + t2p->pdf_page)->tiles_tiles;
#line 4216
    i2 = 0U;
#line 4216
    while (i2 < tilecounty - 1U) {
#line 4217
      i = 0U;
#line 4217
      while (i < tilecountx - 1U) {
#line 4218
        boxp = & (tiles + (i2 * tilecountx + i))->tile_box;
#line 4219
        boxp->x1 = t2p->pdf_imagebox.x1 + ((t2p->pdf_imagewidth * (float )i) * (float )tilewidth) / (float )t2p->tiff_width;
#line 4223
        boxp->x2 = t2p->pdf_imagebox.x1 + ((t2p->pdf_imagewidth * (float )(i + 1U)) * (float )tilewidth) / (float )t2p->tiff_width;
#line 4227
        boxp->y1 = t2p->pdf_imagebox.y2 - ((t2p->pdf_imagelength * (float )(i2 + 1U)) * (float )tilelength) / (float )t2p->tiff_length;
#line 4231
        boxp->y2 = t2p->pdf_imagebox.y2 - ((t2p->pdf_imagelength * (float )i2) * (float )tilelength) / (float )t2p->tiff_length;
#line 4217
        i ++;
      }
#line 4236
      boxp = & (tiles + (i2 * tilecountx + i))->tile_box;
#line 4237
      boxp->x1 = t2p->pdf_imagebox.x1 + ((t2p->pdf_imagewidth * (float )i) * (float )tilewidth) / (float )t2p->tiff_width;
#line 4241
      boxp->x2 = t2p->pdf_imagebox.x2;
#line 4242
      boxp->y1 = t2p->pdf_imagebox.y2 - ((t2p->pdf_imagelength * (float )(i2 + 1U)) * (float )tilelength) / (float )t2p->tiff_length;
#line 4246
      boxp->y2 = t2p->pdf_imagebox.y2 - ((t2p->pdf_imagelength * (float )i2) * (float )tilelength) / (float )t2p->tiff_length;
#line 4216
      i2 ++;
    }
#line 4251
    i = 0U;
#line 4251
    while (i < tilecountx - 1U) {
#line 4252
      boxp = & (tiles + (i2 * tilecountx + i))->tile_box;
#line 4253
      boxp->x1 = t2p->pdf_imagebox.x1 + ((t2p->pdf_imagewidth * (float )i) * (float )tilewidth) / (float )t2p->tiff_width;
#line 4257
      boxp->x2 = t2p->pdf_imagebox.x1 + ((t2p->pdf_imagewidth * (float )(i + 1U)) * (float )tilewidth) / (float )t2p->tiff_width;
#line 4261
      boxp->y1 = t2p->pdf_imagebox.y1;
#line 4262
      boxp->y2 = t2p->pdf_imagebox.y2 - ((t2p->pdf_imagelength * (float )i2) * (float )tilelength) / (float )t2p->tiff_length;
#line 4251
      i ++;
    }
#line 4267
    boxp = & (tiles + (i2 * tilecountx + i))->tile_box;
#line 4268
    boxp->x1 = t2p->pdf_imagebox.x1 + ((t2p->pdf_imagewidth * (float )i) * (float )tilewidth) / (float )t2p->tiff_width;
#line 4272
    boxp->x2 = t2p->pdf_imagebox.x2;
#line 4273
    boxp->y1 = t2p->pdf_imagebox.y1;
#line 4274
    boxp->y2 = t2p->pdf_imagebox.y2 - ((t2p->pdf_imagelength * (float )i2) * (float )tilelength) / (float )t2p->tiff_length;
  }
   2534: /* CIL Label */ 
#line 4279
  if ((int )t2p->tiff_orientation == 0) {
    goto _L;
  } else {
#line 4279
    if ((int )t2p->tiff_orientation == 1) {
      _L: /* CIL Label */ 
#line 4280
      i = 0U;
#line 4280
      while (i < (t2p->tiff_tiles + t2p->pdf_page)->tiles_tilecount) {
#line 4281
        t2p_compose_pdf_page_orient(& (tiles + i)->tile_box, (unsigned short)0);
#line 4280
        i ++;
      }
#line 4283
      return;
    } else {

    }
  }
   2535: /* CIL Label */ 
#line 4285
  i = 0U;
   2536: /* CIL Label */ 
#line 4285
  while (i < (t2p->tiff_tiles + t2p->pdf_page)->tiles_tilecount) {
#line 4286
    boxp = & (tiles + i)->tile_box;
#line 4287
    boxp->x1 -= t2p->pdf_imagebox.x1;
#line 4288
    boxp->x2 -= t2p->pdf_imagebox.x1;
#line 4289
    boxp->y1 -= t2p->pdf_imagebox.y1;
#line 4290
    boxp->y2 -= t2p->pdf_imagebox.y1;
#line 4291
    if ((int )t2p->tiff_orientation == 2) {
#line 4292
      boxp->x1 = (t2p->pdf_imagebox.x2 - t2p->pdf_imagebox.x1) - boxp->x1;
#line 4293
      boxp->x2 = (t2p->pdf_imagebox.x2 - t2p->pdf_imagebox.x1) - boxp->x2;
    } else {
#line 4291
      if ((int )t2p->tiff_orientation == 3) {
#line 4292
        boxp->x1 = (t2p->pdf_imagebox.x2 - t2p->pdf_imagebox.x1) - boxp->x1;
#line 4293
        boxp->x2 = (t2p->pdf_imagebox.x2 - t2p->pdf_imagebox.x1) - boxp->x2;
      } else {

      }
    }
#line 4295
    if ((int )t2p->tiff_orientation == 3) {
#line 4296
      boxp->y1 = (t2p->pdf_imagebox.y2 - t2p->pdf_imagebox.y1) - boxp->y1;
#line 4297
      boxp->y2 = (t2p->pdf_imagebox.y2 - t2p->pdf_imagebox.y1) - boxp->y2;
    } else {
#line 4295
      if ((int )t2p->tiff_orientation == 4) {
#line 4296
        boxp->y1 = (t2p->pdf_imagebox.y2 - t2p->pdf_imagebox.y1) - boxp->y1;
#line 4297
        boxp->y2 = (t2p->pdf_imagebox.y2 - t2p->pdf_imagebox.y1) - boxp->y2;
      } else {

      }
    }
#line 4299
    if ((int )t2p->tiff_orientation == 8) {
#line 4300
      boxp->y1 = (t2p->pdf_imagebox.y2 - t2p->pdf_imagebox.y1) - boxp->y1;
#line 4301
      boxp->y2 = (t2p->pdf_imagebox.y2 - t2p->pdf_imagebox.y1) - boxp->y2;
    } else {
#line 4299
      if ((int )t2p->tiff_orientation == 5) {
#line 4300
        boxp->y1 = (t2p->pdf_imagebox.y2 - t2p->pdf_imagebox.y1) - boxp->y1;
#line 4301
        boxp->y2 = (t2p->pdf_imagebox.y2 - t2p->pdf_imagebox.y1) - boxp->y2;
      } else {

      }
    }
#line 4303
    if ((int )t2p->tiff_orientation == 5) {
#line 4304
      boxp->x1 = (t2p->pdf_imagebox.x2 - t2p->pdf_imagebox.x1) - boxp->x1;
#line 4305
      boxp->x2 = (t2p->pdf_imagebox.x2 - t2p->pdf_imagebox.x1) - boxp->x2;
    } else {
#line 4303
      if ((int )t2p->tiff_orientation == 6) {
#line 4304
        boxp->x1 = (t2p->pdf_imagebox.x2 - t2p->pdf_imagebox.x1) - boxp->x1;
#line 4305
        boxp->x2 = (t2p->pdf_imagebox.x2 - t2p->pdf_imagebox.x1) - boxp->x2;
      } else {

      }
    }
#line 4307
    if ((int )t2p->tiff_orientation > 4) {
#line 4308
      f = boxp->x1;
#line 4309
      boxp->x1 = boxp->y1;
#line 4310
      boxp->y1 = f;
#line 4311
      f = boxp->x2;
#line 4312
      boxp->x2 = boxp->y2;
#line 4313
      boxp->y2 = f;
#line 4314
      t2p_compose_pdf_page_orient_flip(boxp, t2p->tiff_orientation);
    } else {
#line 4316
      t2p_compose_pdf_page_orient(boxp, t2p->tiff_orientation);
    }
#line 4285
    i ++;
  }
   2537: /* CIL Label */ 
#line 4321
  return;
}
}

cilRep: liveness failure for t2p_compose_pdf_page: Errormsg.Error
cilRep: computed liveness
cilrep: from_source: post: stmt_count: 3440
cachingRepresentation: sanity checking begins
	p1: true (1)
	p2: true (1)
	p3: true (1)
	p4: true (1)
	p5: true (1)
	p6: true (1)
	p7: true (1)
	p8: true (1)
	p9: true (1)
	p10: true (1)
	p11: true (1)
	p12: true (1)
	p13: true (1)
	p14: true (1)
	p15: true (1)
	p16: true (1)
	p17: true (1)
	p18: true (1)
	p19: true (1)
	p20: true (1)
	p21: true (1)
	p22: true (1)
	p23: true (1)
	p24: true (1)
	p25: true (1)
	p26: true (1)
	p27: true (1)
	p28: true (1)
	p29: true (1)
	p30: true (1)
	p31: true (1)
	p32: true (1)
	p33: true (1)
	p34: true (1)
	p35: true (1)
	p36: true (1)
	p37: true (1)
	p38: true (1)
	p39: true (1)
	p40: true (1)
	p41: true (1)
	p42: true (1)
	p43: true (1)
	p44: true (1)
	p45: true (1)
	p46: true (1)
	p47: true (1)
	p48: true (1)
	p49: true (1)
	p50: true (1)
	p51: true (1)
	p52: true (1)
	p53: true (1)
	p54: true (1)
	p55: true (1)
	p56: true (1)
	p57: true (1)
	p58: true (1)
	p59: true (1)
	p60: true (1)
	p61: true (1)
	p62: true (1)
	p63: true (1)
	p64: true (1)
	p65: true (1)
	p66: true (1)
	p67: true (1)
	p68: true (1)
	p69: true (1)
	p70: true (1)
	p71: true (1)
	p72: true (1)
	p73: true (1)
	p74: true (1)
	p75: true (1)
	p76: true (1)
	n1: false (0)
cachingRepresentation: sanity checking passed (time_taken = 20.7904)
faultLocRep: compute_localization: fault_scheme: path, fix_scheme: default
cilRep: default.cache: saved
cachingRep: default.cache: saved
faultlocRep: default.cache: saved
cilrep done serialize
cilRep: stmt_count = 3440
cilRep: stmts in weighted_path = 972
cilRep: total weight = 972
cilRep: stmts in weighted_path with weight >= 1.0 = 972
cilRep: tools/tiff2pdf.c (code bank/base file; atoms [1,3440])
cilRep: 1 file(s) total in representation
search: ww_adaptive_1 begins (time = 1367977123.616551)
cilRep: coverage ignores: /usr/local/include
cilRep: coverage ignores: /usr/lib/gcc/i686-redhat-linux/4.4.5/include
cilRep: coverage ignores: /usr/include
cilRep: atoms in standard headers: 235
cilRep: fix-space quotient by string: 972 -> 655
progeq: WARNING: cannot resolve call: TIFFClientdata
progeq: WARNING: cannot resolve call: TIFFGetWriteProc
progeq: WARNING: cannot resolve call: *proc
progeq: WARNING: cannot resolve call: sprintf
progeq: WARNING: cannot resolve call: _TIFFmemset
progeq: computing alias analysis information
progeq: WARNING: cannot resolve call: __builtin_expect
progeq: WARNING: cannot resolve call: __uflow
progeq: WARNING: cannot resolve call: __overflow
progeq: WARNING: cannot resolve call: __builtin_strchr
progeq: WARNING: cannot resolve call: __ctype_tolower_loc
progeq: WARNING: cannot resolve call: __ctype_toupper_loc
progeq: WARNING: cannot resolve call: TIFFGetReadProc
progeq: WARNING: cannot resolve call: TIFFGetSeekProc
progeq: WARNING: cannot resolve call: _TIFFmalloc
progeq: WARNING: cannot resolve call: TIFFError
progeq: WARNING: cannot resolve call: getopt
progeq: WARNING: cannot resolve call: TIFFWarning
progeq: WARNING: cannot resolve call: __builtin_strcmp
progeq: WARNING: cannot resolve call: __builtin_strncpy
progeq: WARNING: cannot resolve call: TIFFGetVersion
progeq: WARNING: cannot resolve call: TIFFOpen
progeq: WARNING: cannot resolve call: TIFFClientOpen
progeq: WARNING: cannot resolve call: TIFFNumberOfDirectories
progeq: WARNING: cannot resolve call: TIFFFileName
progeq: WARNING: cannot resolve call: TIFFSetDirectory
progeq: WARNING: cannot resolve call: TIFFGetField
progeq: WARNING: cannot resolve call: TIFFIsTiled
progeq: WARNING: cannot resolve call: TIFFNumberOfTiles
progeq: WARNING: cannot resolve call: qsort
progeq: WARNING: cannot resolve call: TIFFNumberOfStrips
progeq: WARNING: cannot resolve call: snprintf
progeq: WARNING: cannot resolve call: __errno_location
progeq: WARNING: cannot resolve call: TIFFIsCODECConfigured
progeq: WARNING: cannot resolve call: TIFFGetFieldDefaulted
progeq: WARNING: cannot resolve call: _TIFFfree
progeq: WARNING: cannot resolve call: TIFFTileSize
progeq: WARNING: cannot resolve call: TIFFReadRawTile
progeq: WARNING: cannot resolve call: TIFFReverseBits
progeq: WARNING: cannot resolve call: TIFFReadEncodedTile
progeq: WARNING: cannot resolve call: memcpy
progeq: WARNING: cannot resolve call: TIFFTileRowSize
progeq: WARNING: cannot resolve call: _TIFFmemcpy
progeq: WARNING: cannot resolve call: TIFFSetField
progeq: WARNING: cannot resolve call: TIFFStripSize
progeq: WARNING: cannot resolve call: TIFFWriteEncodedStrip
progeq: WARNING: cannot resolve call: TIFFWriteDirectory
progeq: WARNING: cannot resolve call: TIFFScanlineSize
progeq: WARNING: cannot resolve call: TIFFReadRawStrip
progeq: WARNING: cannot resolve call: memset
progeq: WARNING: cannot resolve call: TIFFReadEncodedStrip
progeq: WARNING: cannot resolve call: _TIFFrealloc
progeq: WARNING: cannot resolve call: TIFFReadRGBAImageOriented
progeq: WARNING: cannot resolve call: rand
progeq: WARNING: cannot resolve call: TIFFClose
search: fix space reduced (time_taken = 114.956)
search: ww_adaptive: 972 deletes
search: ww_adaptive: 30352 appends
search: ww_adaptive: 31324 possible edits
search: ready to start (time_taken = 344.146)
search: ww_adaptive: finding best
	from new super-mutant
search: ww_adaptive: finding 50 best for super-mutant
rep: WARNING: test_visiting_atoms: no data available
	try using --coverage-per-test and/or --regen-paths
	defaulting to 'all tests'
search: ww_adaptive: found 50 best (time_taken = 3.06833)
search: ww_adaptive: found best (time_taken = 0.00289798)
	variant     1/31324 = ?(1,d(236)) ?(2,d(237)) ?(3,d(238)) ?(4,d(239)) ?(5,d(240)) ?(6,d(241)) ?(7,d(242)) ?(8,d(243)) ?(9,d(253)) ?(10,d(254)) ?(11,d(256)) ?(12,d(257)) ?(13,d(258)) ?(14,d(259)) ?(15,d(260)) ?(16,d(262)) ?(17,d(263)) ?(18,d(265)) ?(19,d(266)) ?(20,d(267)) ?(21,d(268)) ?(22,d(269)) ?(23,d(271)) ?(24,d(272)) ?(25,d(273)) ?(26,d(274)) ?(27,d(275)) ?(28,d(277)) ?(29,d(278)) ?(30,d(279)) ?(31,d(280)) ?(32,d(281)) ?(33,d(282)) ?(34,d(283)) ?(35,d(285)) ?(36,d(286)) ?(37,d(287)) ?(38,d(288)) ?(39,d(289)) ?(40,d(290)) ?(41,d(295)) ?(42,d(297)) ?(43,d(298)) ?(44,d(359)) ?(45,d(361)) ?(46,d(362)) ?(47,d(363)) ?(48,d(364)) ?(49,d(365)) ?(50,d(370))  (77 tests, cond 1)
		n1 false (test_time = 2.1779)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00493002)
	variant     2/31324 = ?(1,d(236)) ?(2,d(237)) ?(3,d(238)) ?(4,d(239)) ?(5,d(240)) ?(6,d(241)) ?(7,d(242)) ?(8,d(243)) ?(9,d(253)) ?(10,d(254)) ?(11,d(256)) ?(12,d(257)) ?(13,d(258)) ?(14,d(259)) ?(15,d(260)) ?(16,d(262)) ?(17,d(263)) ?(18,d(265)) ?(19,d(266)) ?(20,d(267)) ?(21,d(268)) ?(22,d(269)) ?(23,d(271)) ?(24,d(272)) ?(25,d(273)) ?(26,d(274)) ?(27,d(275)) ?(28,d(277)) ?(29,d(278)) ?(30,d(279)) ?(31,d(280)) ?(32,d(281)) ?(33,d(282)) ?(34,d(283)) ?(35,d(285)) ?(36,d(286)) ?(37,d(287)) ?(38,d(288)) ?(39,d(289)) ?(40,d(290)) ?(41,d(295)) ?(42,d(297)) ?(43,d(298)) ?(44,d(359)) ?(45,d(361)) ?(46,d(362)) ?(47,d(363)) ?(48,d(364)) ?(49,d(365)) ?(50,d(370))  (77 tests, cond 50)
		n1 false (test_time = 2.12877)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00494218)
	variant     3/31324 = ?(1,d(236)) ?(2,d(237)) ?(3,d(238)) ?(4,d(239)) ?(5,d(240)) ?(6,d(241)) ?(7,d(242)) ?(8,d(243)) ?(9,d(253)) ?(10,d(254)) ?(11,d(256)) ?(12,d(257)) ?(13,d(258)) ?(14,d(259)) ?(15,d(260)) ?(16,d(262)) ?(17,d(263)) ?(18,d(265)) ?(19,d(266)) ?(20,d(267)) ?(21,d(268)) ?(22,d(269)) ?(23,d(271)) ?(24,d(272)) ?(25,d(273)) ?(26,d(274)) ?(27,d(275)) ?(28,d(277)) ?(29,d(278)) ?(30,d(279)) ?(31,d(280)) ?(32,d(281)) ?(33,d(282)) ?(34,d(283)) ?(35,d(285)) ?(36,d(286)) ?(37,d(287)) ?(38,d(288)) ?(39,d(289)) ?(40,d(290)) ?(41,d(295)) ?(42,d(297)) ?(43,d(298)) ?(44,d(359)) ?(45,d(361)) ?(46,d(362)) ?(47,d(363)) ?(48,d(364)) ?(49,d(365)) ?(50,d(370))  (77 tests, cond 49)
		n1 false (test_time = 2.11091)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00478697)
	variant     4/31324 = ?(1,d(236)) ?(2,d(237)) ?(3,d(238)) ?(4,d(239)) ?(5,d(240)) ?(6,d(241)) ?(7,d(242)) ?(8,d(243)) ?(9,d(253)) ?(10,d(254)) ?(11,d(256)) ?(12,d(257)) ?(13,d(258)) ?(14,d(259)) ?(15,d(260)) ?(16,d(262)) ?(17,d(263)) ?(18,d(265)) ?(19,d(266)) ?(20,d(267)) ?(21,d(268)) ?(22,d(269)) ?(23,d(271)) ?(24,d(272)) ?(25,d(273)) ?(26,d(274)) ?(27,d(275)) ?(28,d(277)) ?(29,d(278)) ?(30,d(279)) ?(31,d(280)) ?(32,d(281)) ?(33,d(282)) ?(34,d(283)) ?(35,d(285)) ?(36,d(286)) ?(37,d(287)) ?(38,d(288)) ?(39,d(289)) ?(40,d(290)) ?(41,d(295)) ?(42,d(297)) ?(43,d(298)) ?(44,d(359)) ?(45,d(361)) ?(46,d(362)) ?(47,d(363)) ?(48,d(364)) ?(49,d(365)) ?(50,d(370))  (77 tests, cond 48)
		n1 false (test_time = 2.1056)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00513601)
	variant     5/31324 = ?(1,d(236)) ?(2,d(237)) ?(3,d(238)) ?(4,d(239)) ?(5,d(240)) ?(6,d(241)) ?(7,d(242)) ?(8,d(243)) ?(9,d(253)) ?(10,d(254)) ?(11,d(256)) ?(12,d(257)) ?(13,d(258)) ?(14,d(259)) ?(15,d(260)) ?(16,d(262)) ?(17,d(263)) ?(18,d(265)) ?(19,d(266)) ?(20,d(267)) ?(21,d(268)) ?(22,d(269)) ?(23,d(271)) ?(24,d(272)) ?(25,d(273)) ?(26,d(274)) ?(27,d(275)) ?(28,d(277)) ?(29,d(278)) ?(30,d(279)) ?(31,d(280)) ?(32,d(281)) ?(33,d(282)) ?(34,d(283)) ?(35,d(285)) ?(36,d(286)) ?(37,d(287)) ?(38,d(288)) ?(39,d(289)) ?(40,d(290)) ?(41,d(295)) ?(42,d(297)) ?(43,d(298)) ?(44,d(359)) ?(45,d(361)) ?(46,d(362)) ?(47,d(363)) ?(48,d(364)) ?(49,d(365)) ?(50,d(370))  (77 tests, cond 47)
		n1 false (test_time = 2.10272)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00510812)
	variant     6/31324 = ?(1,d(236)) ?(2,d(237)) ?(3,d(238)) ?(4,d(239)) ?(5,d(240)) ?(6,d(241)) ?(7,d(242)) ?(8,d(243)) ?(9,d(253)) ?(10,d(254)) ?(11,d(256)) ?(12,d(257)) ?(13,d(258)) ?(14,d(259)) ?(15,d(260)) ?(16,d(262)) ?(17,d(263)) ?(18,d(265)) ?(19,d(266)) ?(20,d(267)) ?(21,d(268)) ?(22,d(269)) ?(23,d(271)) ?(24,d(272)) ?(25,d(273)) ?(26,d(274)) ?(27,d(275)) ?(28,d(277)) ?(29,d(278)) ?(30,d(279)) ?(31,d(280)) ?(32,d(281)) ?(33,d(282)) ?(34,d(283)) ?(35,d(285)) ?(36,d(286)) ?(37,d(287)) ?(38,d(288)) ?(39,d(289)) ?(40,d(290)) ?(41,d(295)) ?(42,d(297)) ?(43,d(298)) ?(44,d(359)) ?(45,d(361)) ?(46,d(362)) ?(47,d(363)) ?(48,d(364)) ?(49,d(365)) ?(50,d(370))  (77 tests, cond 46)
		n1 false (test_time = 0.394388)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00514102)
	variant     7/31324 = ?(1,d(236)) ?(2,d(237)) ?(3,d(238)) ?(4,d(239)) ?(5,d(240)) ?(6,d(241)) ?(7,d(242)) ?(8,d(243)) ?(9,d(253)) ?(10,d(254)) ?(11,d(256)) ?(12,d(257)) ?(13,d(258)) ?(14,d(259)) ?(15,d(260)) ?(16,d(262)) ?(17,d(263)) ?(18,d(265)) ?(19,d(266)) ?(20,d(267)) ?(21,d(268)) ?(22,d(269)) ?(23,d(271)) ?(24,d(272)) ?(25,d(273)) ?(26,d(274)) ?(27,d(275)) ?(28,d(277)) ?(29,d(278)) ?(30,d(279)) ?(31,d(280)) ?(32,d(281)) ?(33,d(282)) ?(34,d(283)) ?(35,d(285)) ?(36,d(286)) ?(37,d(287)) ?(38,d(288)) ?(39,d(289)) ?(40,d(290)) ?(41,d(295)) ?(42,d(297)) ?(43,d(298)) ?(44,d(359)) ?(45,d(361)) ?(46,d(362)) ?(47,d(363)) ?(48,d(364)) ?(49,d(365)) ?(50,d(370))  (77 tests, cond 45)
		n1 false (test_time = 2.13338)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00472212)
	variant     8/31324 = ?(1,d(236)) ?(2,d(237)) ?(3,d(238)) ?(4,d(239)) ?(5,d(240)) ?(6,d(241)) ?(7,d(242)) ?(8,d(243)) ?(9,d(253)) ?(10,d(254)) ?(11,d(256)) ?(12,d(257)) ?(13,d(258)) ?(14,d(259)) ?(15,d(260)) ?(16,d(262)) ?(17,d(263)) ?(18,d(265)) ?(19,d(266)) ?(20,d(267)) ?(21,d(268)) ?(22,d(269)) ?(23,d(271)) ?(24,d(272)) ?(25,d(273)) ?(26,d(274)) ?(27,d(275)) ?(28,d(277)) ?(29,d(278)) ?(30,d(279)) ?(31,d(280)) ?(32,d(281)) ?(33,d(282)) ?(34,d(283)) ?(35,d(285)) ?(36,d(286)) ?(37,d(287)) ?(38,d(288)) ?(39,d(289)) ?(40,d(290)) ?(41,d(295)) ?(42,d(297)) ?(43,d(298)) ?(44,d(359)) ?(45,d(361)) ?(46,d(362)) ?(47,d(363)) ?(48,d(364)) ?(49,d(365)) ?(50,d(370))  (77 tests, cond 44)
		n1 false (test_time = 13.942)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00517011)
	variant     9/31324 = ?(1,d(236)) ?(2,d(237)) ?(3,d(238)) ?(4,d(239)) ?(5,d(240)) ?(6,d(241)) ?(7,d(242)) ?(8,d(243)) ?(9,d(253)) ?(10,d(254)) ?(11,d(256)) ?(12,d(257)) ?(13,d(258)) ?(14,d(259)) ?(15,d(260)) ?(16,d(262)) ?(17,d(263)) ?(18,d(265)) ?(19,d(266)) ?(20,d(267)) ?(21,d(268)) ?(22,d(269)) ?(23,d(271)) ?(24,d(272)) ?(25,d(273)) ?(26,d(274)) ?(27,d(275)) ?(28,d(277)) ?(29,d(278)) ?(30,d(279)) ?(31,d(280)) ?(32,d(281)) ?(33,d(282)) ?(34,d(283)) ?(35,d(285)) ?(36,d(286)) ?(37,d(287)) ?(38,d(288)) ?(39,d(289)) ?(40,d(290)) ?(41,d(295)) ?(42,d(297)) ?(43,d(298)) ?(44,d(359)) ?(45,d(361)) ?(46,d(362)) ?(47,d(363)) ?(48,d(364)) ?(49,d(365)) ?(50,d(370))  (77 tests, cond 43)
		n1 false (test_time = 14.0521)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00488114)
	variant    10/31324 = ?(1,d(236)) ?(2,d(237)) ?(3,d(238)) ?(4,d(239)) ?(5,d(240)) ?(6,d(241)) ?(7,d(242)) ?(8,d(243)) ?(9,d(253)) ?(10,d(254)) ?(11,d(256)) ?(12,d(257)) ?(13,d(258)) ?(14,d(259)) ?(15,d(260)) ?(16,d(262)) ?(17,d(263)) ?(18,d(265)) ?(19,d(266)) ?(20,d(267)) ?(21,d(268)) ?(22,d(269)) ?(23,d(271)) ?(24,d(272)) ?(25,d(273)) ?(26,d(274)) ?(27,d(275)) ?(28,d(277)) ?(29,d(278)) ?(30,d(279)) ?(31,d(280)) ?(32,d(281)) ?(33,d(282)) ?(34,d(283)) ?(35,d(285)) ?(36,d(286)) ?(37,d(287)) ?(38,d(288)) ?(39,d(289)) ?(40,d(290)) ?(41,d(295)) ?(42,d(297)) ?(43,d(298)) ?(44,d(359)) ?(45,d(361)) ?(46,d(362)) ?(47,d(363)) ?(48,d(364)) ?(49,d(365)) ?(50,d(370))  (77 tests, cond 42)
		n1 false (test_time = 15.6145)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.0210352)
	variant    11/31324 = ?(1,d(236)) ?(2,d(237)) ?(3,d(238)) ?(4,d(239)) ?(5,d(240)) ?(6,d(241)) ?(7,d(242)) ?(8,d(243)) ?(9,d(253)) ?(10,d(254)) ?(11,d(256)) ?(12,d(257)) ?(13,d(258)) ?(14,d(259)) ?(15,d(260)) ?(16,d(262)) ?(17,d(263)) ?(18,d(265)) ?(19,d(266)) ?(20,d(267)) ?(21,d(268)) ?(22,d(269)) ?(23,d(271)) ?(24,d(272)) ?(25,d(273)) ?(26,d(274)) ?(27,d(275)) ?(28,d(277)) ?(29,d(278)) ?(30,d(279)) ?(31,d(280)) ?(32,d(281)) ?(33,d(282)) ?(34,d(283)) ?(35,d(285)) ?(36,d(286)) ?(37,d(287)) ?(38,d(288)) ?(39,d(289)) ?(40,d(290)) ?(41,d(295)) ?(42,d(297)) ?(43,d(298)) ?(44,d(359)) ?(45,d(361)) ?(46,d(362)) ?(47,d(363)) ?(48,d(364)) ?(49,d(365)) ?(50,d(370))  (77 tests, cond 41)
		n1 false (test_time = 4.98212)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.0104439)
	variant    12/31324 = ?(1,d(236)) ?(2,d(237)) ?(3,d(238)) ?(4,d(239)) ?(5,d(240)) ?(6,d(241)) ?(7,d(242)) ?(8,d(243)) ?(9,d(253)) ?(10,d(254)) ?(11,d(256)) ?(12,d(257)) ?(13,d(258)) ?(14,d(259)) ?(15,d(260)) ?(16,d(262)) ?(17,d(263)) ?(18,d(265)) ?(19,d(266)) ?(20,d(267)) ?(21,d(268)) ?(22,d(269)) ?(23,d(271)) ?(24,d(272)) ?(25,d(273)) ?(26,d(274)) ?(27,d(275)) ?(28,d(277)) ?(29,d(278)) ?(30,d(279)) ?(31,d(280)) ?(32,d(281)) ?(33,d(282)) ?(34,d(283)) ?(35,d(285)) ?(36,d(286)) ?(37,d(287)) ?(38,d(288)) ?(39,d(289)) ?(40,d(290)) ?(41,d(295)) ?(42,d(297)) ?(43,d(298)) ?(44,d(359)) ?(45,d(361)) ?(46,d(362)) ?(47,d(363)) ?(48,d(364)) ?(49,d(365)) ?(50,d(370))  (77 tests, cond 40)
		n1 false (test_time = 2.11018)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00978398)
	variant    13/31324 = ?(1,d(236)) ?(2,d(237)) ?(3,d(238)) ?(4,d(239)) ?(5,d(240)) ?(6,d(241)) ?(7,d(242)) ?(8,d(243)) ?(9,d(253)) ?(10,d(254)) ?(11,d(256)) ?(12,d(257)) ?(13,d(258)) ?(14,d(259)) ?(15,d(260)) ?(16,d(262)) ?(17,d(263)) ?(18,d(265)) ?(19,d(266)) ?(20,d(267)) ?(21,d(268)) ?(22,d(269)) ?(23,d(271)) ?(24,d(272)) ?(25,d(273)) ?(26,d(274)) ?(27,d(275)) ?(28,d(277)) ?(29,d(278)) ?(30,d(279)) ?(31,d(280)) ?(32,d(281)) ?(33,d(282)) ?(34,d(283)) ?(35,d(285)) ?(36,d(286)) ?(37,d(287)) ?(38,d(288)) ?(39,d(289)) ?(40,d(290)) ?(41,d(295)) ?(42,d(297)) ?(43,d(298)) ?(44,d(359)) ?(45,d(361)) ?(46,d(362)) ?(47,d(363)) ?(48,d(364)) ?(49,d(365)) ?(50,d(370))  (77 tests, cond 39)
		n1 false (test_time = 2.1015)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00813699)
	variant    14/31324 = ?(1,d(236)) ?(2,d(237)) ?(3,d(238)) ?(4,d(239)) ?(5,d(240)) ?(6,d(241)) ?(7,d(242)) ?(8,d(243)) ?(9,d(253)) ?(10,d(254)) ?(11,d(256)) ?(12,d(257)) ?(13,d(258)) ?(14,d(259)) ?(15,d(260)) ?(16,d(262)) ?(17,d(263)) ?(18,d(265)) ?(19,d(266)) ?(20,d(267)) ?(21,d(268)) ?(22,d(269)) ?(23,d(271)) ?(24,d(272)) ?(25,d(273)) ?(26,d(274)) ?(27,d(275)) ?(28,d(277)) ?(29,d(278)) ?(30,d(279)) ?(31,d(280)) ?(32,d(281)) ?(33,d(282)) ?(34,d(283)) ?(35,d(285)) ?(36,d(286)) ?(37,d(287)) ?(38,d(288)) ?(39,d(289)) ?(40,d(290)) ?(41,d(295)) ?(42,d(297)) ?(43,d(298)) ?(44,d(359)) ?(45,d(361)) ?(46,d(362)) ?(47,d(363)) ?(48,d(364)) ?(49,d(365)) ?(50,d(370))  (77 tests, cond 38)
		n1 false (test_time = 2.09924)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00930905)
	variant    15/31324 = ?(1,d(236)) ?(2,d(237)) ?(3,d(238)) ?(4,d(239)) ?(5,d(240)) ?(6,d(241)) ?(7,d(242)) ?(8,d(243)) ?(9,d(253)) ?(10,d(254)) ?(11,d(256)) ?(12,d(257)) ?(13,d(258)) ?(14,d(259)) ?(15,d(260)) ?(16,d(262)) ?(17,d(263)) ?(18,d(265)) ?(19,d(266)) ?(20,d(267)) ?(21,d(268)) ?(22,d(269)) ?(23,d(271)) ?(24,d(272)) ?(25,d(273)) ?(26,d(274)) ?(27,d(275)) ?(28,d(277)) ?(29,d(278)) ?(30,d(279)) ?(31,d(280)) ?(32,d(281)) ?(33,d(282)) ?(34,d(283)) ?(35,d(285)) ?(36,d(286)) ?(37,d(287)) ?(38,d(288)) ?(39,d(289)) ?(40,d(290)) ?(41,d(295)) ?(42,d(297)) ?(43,d(298)) ?(44,d(359)) ?(45,d(361)) ?(46,d(362)) ?(47,d(363)) ?(48,d(364)) ?(49,d(365)) ?(50,d(370))  (77 tests, cond 37)
		n1 false (test_time = 0.401175)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00757909)
	variant    16/31324 = ?(1,d(236)) ?(2,d(237)) ?(3,d(238)) ?(4,d(239)) ?(5,d(240)) ?(6,d(241)) ?(7,d(242)) ?(8,d(243)) ?(9,d(253)) ?(10,d(254)) ?(11,d(256)) ?(12,d(257)) ?(13,d(258)) ?(14,d(259)) ?(15,d(260)) ?(16,d(262)) ?(17,d(263)) ?(18,d(265)) ?(19,d(266)) ?(20,d(267)) ?(21,d(268)) ?(22,d(269)) ?(23,d(271)) ?(24,d(272)) ?(25,d(273)) ?(26,d(274)) ?(27,d(275)) ?(28,d(277)) ?(29,d(278)) ?(30,d(279)) ?(31,d(280)) ?(32,d(281)) ?(33,d(282)) ?(34,d(283)) ?(35,d(285)) ?(36,d(286)) ?(37,d(287)) ?(38,d(288)) ?(39,d(289)) ?(40,d(290)) ?(41,d(295)) ?(42,d(297)) ?(43,d(298)) ?(44,d(359)) ?(45,d(361)) ?(46,d(362)) ?(47,d(363)) ?(48,d(364)) ?(49,d(365)) ?(50,d(370))  (77 tests, cond 36)
		n1 false (test_time = 2.10299)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00925612)
	variant    17/31324 = ?(1,d(236)) ?(2,d(237)) ?(3,d(238)) ?(4,d(239)) ?(5,d(240)) ?(6,d(241)) ?(7,d(242)) ?(8,d(243)) ?(9,d(253)) ?(10,d(254)) ?(11,d(256)) ?(12,d(257)) ?(13,d(258)) ?(14,d(259)) ?(15,d(260)) ?(16,d(262)) ?(17,d(263)) ?(18,d(265)) ?(19,d(266)) ?(20,d(267)) ?(21,d(268)) ?(22,d(269)) ?(23,d(271)) ?(24,d(272)) ?(25,d(273)) ?(26,d(274)) ?(27,d(275)) ?(28,d(277)) ?(29,d(278)) ?(30,d(279)) ?(31,d(280)) ?(32,d(281)) ?(33,d(282)) ?(34,d(283)) ?(35,d(285)) ?(36,d(286)) ?(37,d(287)) ?(38,d(288)) ?(39,d(289)) ?(40,d(290)) ?(41,d(295)) ?(42,d(297)) ?(43,d(298)) ?(44,d(359)) ?(45,d(361)) ?(46,d(362)) ?(47,d(363)) ?(48,d(364)) ?(49,d(365)) ?(50,d(370))  (77 tests, cond 35)
		n1 false (test_time = 2.10507)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.0219259)
	variant    18/31324 = ?(1,d(236)) ?(2,d(237)) ?(3,d(238)) ?(4,d(239)) ?(5,d(240)) ?(6,d(241)) ?(7,d(242)) ?(8,d(243)) ?(9,d(253)) ?(10,d(254)) ?(11,d(256)) ?(12,d(257)) ?(13,d(258)) ?(14,d(259)) ?(15,d(260)) ?(16,d(262)) ?(17,d(263)) ?(18,d(265)) ?(19,d(266)) ?(20,d(267)) ?(21,d(268)) ?(22,d(269)) ?(23,d(271)) ?(24,d(272)) ?(25,d(273)) ?(26,d(274)) ?(27,d(275)) ?(28,d(277)) ?(29,d(278)) ?(30,d(279)) ?(31,d(280)) ?(32,d(281)) ?(33,d(282)) ?(34,d(283)) ?(35,d(285)) ?(36,d(286)) ?(37,d(287)) ?(38,d(288)) ?(39,d(289)) ?(40,d(290)) ?(41,d(295)) ?(42,d(297)) ?(43,d(298)) ?(44,d(359)) ?(45,d(361)) ?(46,d(362)) ?(47,d(363)) ?(48,d(364)) ?(49,d(365)) ?(50,d(370))  (77 tests, cond 34)
		n1 false (test_time = 2.11509)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00844097)
	variant    19/31324 = ?(1,d(236)) ?(2,d(237)) ?(3,d(238)) ?(4,d(239)) ?(5,d(240)) ?(6,d(241)) ?(7,d(242)) ?(8,d(243)) ?(9,d(253)) ?(10,d(254)) ?(11,d(256)) ?(12,d(257)) ?(13,d(258)) ?(14,d(259)) ?(15,d(260)) ?(16,d(262)) ?(17,d(263)) ?(18,d(265)) ?(19,d(266)) ?(20,d(267)) ?(21,d(268)) ?(22,d(269)) ?(23,d(271)) ?(24,d(272)) ?(25,d(273)) ?(26,d(274)) ?(27,d(275)) ?(28,d(277)) ?(29,d(278)) ?(30,d(279)) ?(31,d(280)) ?(32,d(281)) ?(33,d(282)) ?(34,d(283)) ?(35,d(285)) ?(36,d(286)) ?(37,d(287)) ?(38,d(288)) ?(39,d(289)) ?(40,d(290)) ?(41,d(295)) ?(42,d(297)) ?(43,d(298)) ?(44,d(359)) ?(45,d(361)) ?(46,d(362)) ?(47,d(363)) ?(48,d(364)) ?(49,d(365)) ?(50,d(370))  (77 tests, cond 33)
		n1 false (test_time = 0.406011)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00632906)
	variant    20/31324 = ?(1,d(236)) ?(2,d(237)) ?(3,d(238)) ?(4,d(239)) ?(5,d(240)) ?(6,d(241)) ?(7,d(242)) ?(8,d(243)) ?(9,d(253)) ?(10,d(254)) ?(11,d(256)) ?(12,d(257)) ?(13,d(258)) ?(14,d(259)) ?(15,d(260)) ?(16,d(262)) ?(17,d(263)) ?(18,d(265)) ?(19,d(266)) ?(20,d(267)) ?(21,d(268)) ?(22,d(269)) ?(23,d(271)) ?(24,d(272)) ?(25,d(273)) ?(26,d(274)) ?(27,d(275)) ?(28,d(277)) ?(29,d(278)) ?(30,d(279)) ?(31,d(280)) ?(32,d(281)) ?(33,d(282)) ?(34,d(283)) ?(35,d(285)) ?(36,d(286)) ?(37,d(287)) ?(38,d(288)) ?(39,d(289)) ?(40,d(290)) ?(41,d(295)) ?(42,d(297)) ?(43,d(298)) ?(44,d(359)) ?(45,d(361)) ?(46,d(362)) ?(47,d(363)) ?(48,d(364)) ?(49,d(365)) ?(50,d(370))  (77 tests, cond 32)
		n1 false (test_time = 2.06278)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00331116)
	variant    21/31324 = ?(1,d(236)) ?(2,d(237)) ?(3,d(238)) ?(4,d(239)) ?(5,d(240)) ?(6,d(241)) ?(7,d(242)) ?(8,d(243)) ?(9,d(253)) ?(10,d(254)) ?(11,d(256)) ?(12,d(257)) ?(13,d(258)) ?(14,d(259)) ?(15,d(260)) ?(16,d(262)) ?(17,d(263)) ?(18,d(265)) ?(19,d(266)) ?(20,d(267)) ?(21,d(268)) ?(22,d(269)) ?(23,d(271)) ?(24,d(272)) ?(25,d(273)) ?(26,d(274)) ?(27,d(275)) ?(28,d(277)) ?(29,d(278)) ?(30,d(279)) ?(31,d(280)) ?(32,d(281)) ?(33,d(282)) ?(34,d(283)) ?(35,d(285)) ?(36,d(286)) ?(37,d(287)) ?(38,d(288)) ?(39,d(289)) ?(40,d(290)) ?(41,d(295)) ?(42,d(297)) ?(43,d(298)) ?(44,d(359)) ?(45,d(361)) ?(46,d(362)) ?(47,d(363)) ?(48,d(364)) ?(49,d(365)) ?(50,d(370))  (77 tests, cond 31)
		n1 false (test_time = 2.093)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00374603)
	variant    22/31324 = ?(1,d(236)) ?(2,d(237)) ?(3,d(238)) ?(4,d(239)) ?(5,d(240)) ?(6,d(241)) ?(7,d(242)) ?(8,d(243)) ?(9,d(253)) ?(10,d(254)) ?(11,d(256)) ?(12,d(257)) ?(13,d(258)) ?(14,d(259)) ?(15,d(260)) ?(16,d(262)) ?(17,d(263)) ?(18,d(265)) ?(19,d(266)) ?(20,d(267)) ?(21,d(268)) ?(22,d(269)) ?(23,d(271)) ?(24,d(272)) ?(25,d(273)) ?(26,d(274)) ?(27,d(275)) ?(28,d(277)) ?(29,d(278)) ?(30,d(279)) ?(31,d(280)) ?(32,d(281)) ?(33,d(282)) ?(34,d(283)) ?(35,d(285)) ?(36,d(286)) ?(37,d(287)) ?(38,d(288)) ?(39,d(289)) ?(40,d(290)) ?(41,d(295)) ?(42,d(297)) ?(43,d(298)) ?(44,d(359)) ?(45,d(361)) ?(46,d(362)) ?(47,d(363)) ?(48,d(364)) ?(49,d(365)) ?(50,d(370))  (77 tests, cond 30)
		n1 false (test_time = 2.07893)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00402594)
	variant    23/31324 = ?(1,d(236)) ?(2,d(237)) ?(3,d(238)) ?(4,d(239)) ?(5,d(240)) ?(6,d(241)) ?(7,d(242)) ?(8,d(243)) ?(9,d(253)) ?(10,d(254)) ?(11,d(256)) ?(12,d(257)) ?(13,d(258)) ?(14,d(259)) ?(15,d(260)) ?(16,d(262)) ?(17,d(263)) ?(18,d(265)) ?(19,d(266)) ?(20,d(267)) ?(21,d(268)) ?(22,d(269)) ?(23,d(271)) ?(24,d(272)) ?(25,d(273)) ?(26,d(274)) ?(27,d(275)) ?(28,d(277)) ?(29,d(278)) ?(30,d(279)) ?(31,d(280)) ?(32,d(281)) ?(33,d(282)) ?(34,d(283)) ?(35,d(285)) ?(36,d(286)) ?(37,d(287)) ?(38,d(288)) ?(39,d(289)) ?(40,d(290)) ?(41,d(295)) ?(42,d(297)) ?(43,d(298)) ?(44,d(359)) ?(45,d(361)) ?(46,d(362)) ?(47,d(363)) ?(48,d(364)) ?(49,d(365)) ?(50,d(370))  (77 tests, cond 29)
		n1 false (test_time = 0.40153)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00874496)
	variant    24/31324 = ?(1,d(236)) ?(2,d(237)) ?(3,d(238)) ?(4,d(239)) ?(5,d(240)) ?(6,d(241)) ?(7,d(242)) ?(8,d(243)) ?(9,d(253)) ?(10,d(254)) ?(11,d(256)) ?(12,d(257)) ?(13,d(258)) ?(14,d(259)) ?(15,d(260)) ?(16,d(262)) ?(17,d(263)) ?(18,d(265)) ?(19,d(266)) ?(20,d(267)) ?(21,d(268)) ?(22,d(269)) ?(23,d(271)) ?(24,d(272)) ?(25,d(273)) ?(26,d(274)) ?(27,d(275)) ?(28,d(277)) ?(29,d(278)) ?(30,d(279)) ?(31,d(280)) ?(32,d(281)) ?(33,d(282)) ?(34,d(283)) ?(35,d(285)) ?(36,d(286)) ?(37,d(287)) ?(38,d(288)) ?(39,d(289)) ?(40,d(290)) ?(41,d(295)) ?(42,d(297)) ?(43,d(298)) ?(44,d(359)) ?(45,d(361)) ?(46,d(362)) ?(47,d(363)) ?(48,d(364)) ?(49,d(365)) ?(50,d(370))  (77 tests, cond 28)
		n1 false (test_time = 2.10814)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.0042758)
	variant    25/31324 = ?(1,d(236)) ?(2,d(237)) ?(3,d(238)) ?(4,d(239)) ?(5,d(240)) ?(6,d(241)) ?(7,d(242)) ?(8,d(243)) ?(9,d(253)) ?(10,d(254)) ?(11,d(256)) ?(12,d(257)) ?(13,d(258)) ?(14,d(259)) ?(15,d(260)) ?(16,d(262)) ?(17,d(263)) ?(18,d(265)) ?(19,d(266)) ?(20,d(267)) ?(21,d(268)) ?(22,d(269)) ?(23,d(271)) ?(24,d(272)) ?(25,d(273)) ?(26,d(274)) ?(27,d(275)) ?(28,d(277)) ?(29,d(278)) ?(30,d(279)) ?(31,d(280)) ?(32,d(281)) ?(33,d(282)) ?(34,d(283)) ?(35,d(285)) ?(36,d(286)) ?(37,d(287)) ?(38,d(288)) ?(39,d(289)) ?(40,d(290)) ?(41,d(295)) ?(42,d(297)) ?(43,d(298)) ?(44,d(359)) ?(45,d(361)) ?(46,d(362)) ?(47,d(363)) ?(48,d(364)) ?(49,d(365)) ?(50,d(370))  (77 tests, cond 27)
		n1 false (test_time = 2.09901)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00324297)
	variant    26/31324 = ?(1,d(236)) ?(2,d(237)) ?(3,d(238)) ?(4,d(239)) ?(5,d(240)) ?(6,d(241)) ?(7,d(242)) ?(8,d(243)) ?(9,d(253)) ?(10,d(254)) ?(11,d(256)) ?(12,d(257)) ?(13,d(258)) ?(14,d(259)) ?(15,d(260)) ?(16,d(262)) ?(17,d(263)) ?(18,d(265)) ?(19,d(266)) ?(20,d(267)) ?(21,d(268)) ?(22,d(269)) ?(23,d(271)) ?(24,d(272)) ?(25,d(273)) ?(26,d(274)) ?(27,d(275)) ?(28,d(277)) ?(29,d(278)) ?(30,d(279)) ?(31,d(280)) ?(32,d(281)) ?(33,d(282)) ?(34,d(283)) ?(35,d(285)) ?(36,d(286)) ?(37,d(287)) ?(38,d(288)) ?(39,d(289)) ?(40,d(290)) ?(41,d(295)) ?(42,d(297)) ?(43,d(298)) ?(44,d(359)) ?(45,d(361)) ?(46,d(362)) ?(47,d(363)) ?(48,d(364)) ?(49,d(365)) ?(50,d(370))  (77 tests, cond 26)
		n1 false (test_time = 2.10013)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00305295)
	variant    27/31324 = ?(1,d(236)) ?(2,d(237)) ?(3,d(238)) ?(4,d(239)) ?(5,d(240)) ?(6,d(241)) ?(7,d(242)) ?(8,d(243)) ?(9,d(253)) ?(10,d(254)) ?(11,d(256)) ?(12,d(257)) ?(13,d(258)) ?(14,d(259)) ?(15,d(260)) ?(16,d(262)) ?(17,d(263)) ?(18,d(265)) ?(19,d(266)) ?(20,d(267)) ?(21,d(268)) ?(22,d(269)) ?(23,d(271)) ?(24,d(272)) ?(25,d(273)) ?(26,d(274)) ?(27,d(275)) ?(28,d(277)) ?(29,d(278)) ?(30,d(279)) ?(31,d(280)) ?(32,d(281)) ?(33,d(282)) ?(34,d(283)) ?(35,d(285)) ?(36,d(286)) ?(37,d(287)) ?(38,d(288)) ?(39,d(289)) ?(40,d(290)) ?(41,d(295)) ?(42,d(297)) ?(43,d(298)) ?(44,d(359)) ?(45,d(361)) ?(46,d(362)) ?(47,d(363)) ?(48,d(364)) ?(49,d(365)) ?(50,d(370))  (77 tests, cond 25)
		n1 false (test_time = 0.402515)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00357604)
	variant    28/31324 = ?(1,d(236)) ?(2,d(237)) ?(3,d(238)) ?(4,d(239)) ?(5,d(240)) ?(6,d(241)) ?(7,d(242)) ?(8,d(243)) ?(9,d(253)) ?(10,d(254)) ?(11,d(256)) ?(12,d(257)) ?(13,d(258)) ?(14,d(259)) ?(15,d(260)) ?(16,d(262)) ?(17,d(263)) ?(18,d(265)) ?(19,d(266)) ?(20,d(267)) ?(21,d(268)) ?(22,d(269)) ?(23,d(271)) ?(24,d(272)) ?(25,d(273)) ?(26,d(274)) ?(27,d(275)) ?(28,d(277)) ?(29,d(278)) ?(30,d(279)) ?(31,d(280)) ?(32,d(281)) ?(33,d(282)) ?(34,d(283)) ?(35,d(285)) ?(36,d(286)) ?(37,d(287)) ?(38,d(288)) ?(39,d(289)) ?(40,d(290)) ?(41,d(295)) ?(42,d(297)) ?(43,d(298)) ?(44,d(359)) ?(45,d(361)) ?(46,d(362)) ?(47,d(363)) ?(48,d(364)) ?(49,d(365)) ?(50,d(370))  (77 tests, cond 24)
		n1 false (test_time = 2.10385)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.0030899)
	variant    29/31324 = ?(1,d(236)) ?(2,d(237)) ?(3,d(238)) ?(4,d(239)) ?(5,d(240)) ?(6,d(241)) ?(7,d(242)) ?(8,d(243)) ?(9,d(253)) ?(10,d(254)) ?(11,d(256)) ?(12,d(257)) ?(13,d(258)) ?(14,d(259)) ?(15,d(260)) ?(16,d(262)) ?(17,d(263)) ?(18,d(265)) ?(19,d(266)) ?(20,d(267)) ?(21,d(268)) ?(22,d(269)) ?(23,d(271)) ?(24,d(272)) ?(25,d(273)) ?(26,d(274)) ?(27,d(275)) ?(28,d(277)) ?(29,d(278)) ?(30,d(279)) ?(31,d(280)) ?(32,d(281)) ?(33,d(282)) ?(34,d(283)) ?(35,d(285)) ?(36,d(286)) ?(37,d(287)) ?(38,d(288)) ?(39,d(289)) ?(40,d(290)) ?(41,d(295)) ?(42,d(297)) ?(43,d(298)) ?(44,d(359)) ?(45,d(361)) ?(46,d(362)) ?(47,d(363)) ?(48,d(364)) ?(49,d(365)) ?(50,d(370))  (77 tests, cond 23)
		n1 false (test_time = 2.10847)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00232816)
	variant    30/31324 = ?(1,d(236)) ?(2,d(237)) ?(3,d(238)) ?(4,d(239)) ?(5,d(240)) ?(6,d(241)) ?(7,d(242)) ?(8,d(243)) ?(9,d(253)) ?(10,d(254)) ?(11,d(256)) ?(12,d(257)) ?(13,d(258)) ?(14,d(259)) ?(15,d(260)) ?(16,d(262)) ?(17,d(263)) ?(18,d(265)) ?(19,d(266)) ?(20,d(267)) ?(21,d(268)) ?(22,d(269)) ?(23,d(271)) ?(24,d(272)) ?(25,d(273)) ?(26,d(274)) ?(27,d(275)) ?(28,d(277)) ?(29,d(278)) ?(30,d(279)) ?(31,d(280)) ?(32,d(281)) ?(33,d(282)) ?(34,d(283)) ?(35,d(285)) ?(36,d(286)) ?(37,d(287)) ?(38,d(288)) ?(39,d(289)) ?(40,d(290)) ?(41,d(295)) ?(42,d(297)) ?(43,d(298)) ?(44,d(359)) ?(45,d(361)) ?(46,d(362)) ?(47,d(363)) ?(48,d(364)) ?(49,d(365)) ?(50,d(370))  (77 tests, cond 22)
		n1 false (test_time = 2.14949)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00293517)
	variant    31/31324 = ?(1,d(236)) ?(2,d(237)) ?(3,d(238)) ?(4,d(239)) ?(5,d(240)) ?(6,d(241)) ?(7,d(242)) ?(8,d(243)) ?(9,d(253)) ?(10,d(254)) ?(11,d(256)) ?(12,d(257)) ?(13,d(258)) ?(14,d(259)) ?(15,d(260)) ?(16,d(262)) ?(17,d(263)) ?(18,d(265)) ?(19,d(266)) ?(20,d(267)) ?(21,d(268)) ?(22,d(269)) ?(23,d(271)) ?(24,d(272)) ?(25,d(273)) ?(26,d(274)) ?(27,d(275)) ?(28,d(277)) ?(29,d(278)) ?(30,d(279)) ?(31,d(280)) ?(32,d(281)) ?(33,d(282)) ?(34,d(283)) ?(35,d(285)) ?(36,d(286)) ?(37,d(287)) ?(38,d(288)) ?(39,d(289)) ?(40,d(290)) ?(41,d(295)) ?(42,d(297)) ?(43,d(298)) ?(44,d(359)) ?(45,d(361)) ?(46,d(362)) ?(47,d(363)) ?(48,d(364)) ?(49,d(365)) ?(50,d(370))  (77 tests, cond 21)
		n1 false (test_time = 2.10809)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00276995)
	variant    32/31324 = ?(1,d(236)) ?(2,d(237)) ?(3,d(238)) ?(4,d(239)) ?(5,d(240)) ?(6,d(241)) ?(7,d(242)) ?(8,d(243)) ?(9,d(253)) ?(10,d(254)) ?(11,d(256)) ?(12,d(257)) ?(13,d(258)) ?(14,d(259)) ?(15,d(260)) ?(16,d(262)) ?(17,d(263)) ?(18,d(265)) ?(19,d(266)) ?(20,d(267)) ?(21,d(268)) ?(22,d(269)) ?(23,d(271)) ?(24,d(272)) ?(25,d(273)) ?(26,d(274)) ?(27,d(275)) ?(28,d(277)) ?(29,d(278)) ?(30,d(279)) ?(31,d(280)) ?(32,d(281)) ?(33,d(282)) ?(34,d(283)) ?(35,d(285)) ?(36,d(286)) ?(37,d(287)) ?(38,d(288)) ?(39,d(289)) ?(40,d(290)) ?(41,d(295)) ?(42,d(297)) ?(43,d(298)) ?(44,d(359)) ?(45,d(361)) ?(46,d(362)) ?(47,d(363)) ?(48,d(364)) ?(49,d(365)) ?(50,d(370))  (77 tests, cond 20)
		n1 false (test_time = 0.401973)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00288105)
	variant    33/31324 = ?(1,d(236)) ?(2,d(237)) ?(3,d(238)) ?(4,d(239)) ?(5,d(240)) ?(6,d(241)) ?(7,d(242)) ?(8,d(243)) ?(9,d(253)) ?(10,d(254)) ?(11,d(256)) ?(12,d(257)) ?(13,d(258)) ?(14,d(259)) ?(15,d(260)) ?(16,d(262)) ?(17,d(263)) ?(18,d(265)) ?(19,d(266)) ?(20,d(267)) ?(21,d(268)) ?(22,d(269)) ?(23,d(271)) ?(24,d(272)) ?(25,d(273)) ?(26,d(274)) ?(27,d(275)) ?(28,d(277)) ?(29,d(278)) ?(30,d(279)) ?(31,d(280)) ?(32,d(281)) ?(33,d(282)) ?(34,d(283)) ?(35,d(285)) ?(36,d(286)) ?(37,d(287)) ?(38,d(288)) ?(39,d(289)) ?(40,d(290)) ?(41,d(295)) ?(42,d(297)) ?(43,d(298)) ?(44,d(359)) ?(45,d(361)) ?(46,d(362)) ?(47,d(363)) ?(48,d(364)) ?(49,d(365)) ?(50,d(370))  (77 tests, cond 19)
		n1 false (test_time = 2.08602)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00274086)
	variant    34/31324 = ?(1,d(236)) ?(2,d(237)) ?(3,d(238)) ?(4,d(239)) ?(5,d(240)) ?(6,d(241)) ?(7,d(242)) ?(8,d(243)) ?(9,d(253)) ?(10,d(254)) ?(11,d(256)) ?(12,d(257)) ?(13,d(258)) ?(14,d(259)) ?(15,d(260)) ?(16,d(262)) ?(17,d(263)) ?(18,d(265)) ?(19,d(266)) ?(20,d(267)) ?(21,d(268)) ?(22,d(269)) ?(23,d(271)) ?(24,d(272)) ?(25,d(273)) ?(26,d(274)) ?(27,d(275)) ?(28,d(277)) ?(29,d(278)) ?(30,d(279)) ?(31,d(280)) ?(32,d(281)) ?(33,d(282)) ?(34,d(283)) ?(35,d(285)) ?(36,d(286)) ?(37,d(287)) ?(38,d(288)) ?(39,d(289)) ?(40,d(290)) ?(41,d(295)) ?(42,d(297)) ?(43,d(298)) ?(44,d(359)) ?(45,d(361)) ?(46,d(362)) ?(47,d(363)) ?(48,d(364)) ?(49,d(365)) ?(50,d(370))  (77 tests, cond 18)
		n1 false (test_time = 2.08026)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00275898)
	variant    35/31324 = ?(1,d(236)) ?(2,d(237)) ?(3,d(238)) ?(4,d(239)) ?(5,d(240)) ?(6,d(241)) ?(7,d(242)) ?(8,d(243)) ?(9,d(253)) ?(10,d(254)) ?(11,d(256)) ?(12,d(257)) ?(13,d(258)) ?(14,d(259)) ?(15,d(260)) ?(16,d(262)) ?(17,d(263)) ?(18,d(265)) ?(19,d(266)) ?(20,d(267)) ?(21,d(268)) ?(22,d(269)) ?(23,d(271)) ?(24,d(272)) ?(25,d(273)) ?(26,d(274)) ?(27,d(275)) ?(28,d(277)) ?(29,d(278)) ?(30,d(279)) ?(31,d(280)) ?(32,d(281)) ?(33,d(282)) ?(34,d(283)) ?(35,d(285)) ?(36,d(286)) ?(37,d(287)) ?(38,d(288)) ?(39,d(289)) ?(40,d(290)) ?(41,d(295)) ?(42,d(297)) ?(43,d(298)) ?(44,d(359)) ?(45,d(361)) ?(46,d(362)) ?(47,d(363)) ?(48,d(364)) ?(49,d(365)) ?(50,d(370))  (77 tests, cond 17)
		n1 false (test_time = 2.10715)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00260687)
	variant    36/31324 = ?(1,d(236)) ?(2,d(237)) ?(3,d(238)) ?(4,d(239)) ?(5,d(240)) ?(6,d(241)) ?(7,d(242)) ?(8,d(243)) ?(9,d(253)) ?(10,d(254)) ?(11,d(256)) ?(12,d(257)) ?(13,d(258)) ?(14,d(259)) ?(15,d(260)) ?(16,d(262)) ?(17,d(263)) ?(18,d(265)) ?(19,d(266)) ?(20,d(267)) ?(21,d(268)) ?(22,d(269)) ?(23,d(271)) ?(24,d(272)) ?(25,d(273)) ?(26,d(274)) ?(27,d(275)) ?(28,d(277)) ?(29,d(278)) ?(30,d(279)) ?(31,d(280)) ?(32,d(281)) ?(33,d(282)) ?(34,d(283)) ?(35,d(285)) ?(36,d(286)) ?(37,d(287)) ?(38,d(288)) ?(39,d(289)) ?(40,d(290)) ?(41,d(295)) ?(42,d(297)) ?(43,d(298)) ?(44,d(359)) ?(45,d(361)) ?(46,d(362)) ?(47,d(363)) ?(48,d(364)) ?(49,d(365)) ?(50,d(370))  (77 tests, cond 16)
		n1 false (test_time = 0.39972)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00574899)
	variant    37/31324 = ?(1,d(236)) ?(2,d(237)) ?(3,d(238)) ?(4,d(239)) ?(5,d(240)) ?(6,d(241)) ?(7,d(242)) ?(8,d(243)) ?(9,d(253)) ?(10,d(254)) ?(11,d(256)) ?(12,d(257)) ?(13,d(258)) ?(14,d(259)) ?(15,d(260)) ?(16,d(262)) ?(17,d(263)) ?(18,d(265)) ?(19,d(266)) ?(20,d(267)) ?(21,d(268)) ?(22,d(269)) ?(23,d(271)) ?(24,d(272)) ?(25,d(273)) ?(26,d(274)) ?(27,d(275)) ?(28,d(277)) ?(29,d(278)) ?(30,d(279)) ?(31,d(280)) ?(32,d(281)) ?(33,d(282)) ?(34,d(283)) ?(35,d(285)) ?(36,d(286)) ?(37,d(287)) ?(38,d(288)) ?(39,d(289)) ?(40,d(290)) ?(41,d(295)) ?(42,d(297)) ?(43,d(298)) ?(44,d(359)) ?(45,d(361)) ?(46,d(362)) ?(47,d(363)) ?(48,d(364)) ?(49,d(365)) ?(50,d(370))  (77 tests, cond 15)
		n1 false (test_time = 2.13951)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00469017)
	variant    38/31324 = ?(1,d(236)) ?(2,d(237)) ?(3,d(238)) ?(4,d(239)) ?(5,d(240)) ?(6,d(241)) ?(7,d(242)) ?(8,d(243)) ?(9,d(253)) ?(10,d(254)) ?(11,d(256)) ?(12,d(257)) ?(13,d(258)) ?(14,d(259)) ?(15,d(260)) ?(16,d(262)) ?(17,d(263)) ?(18,d(265)) ?(19,d(266)) ?(20,d(267)) ?(21,d(268)) ?(22,d(269)) ?(23,d(271)) ?(24,d(272)) ?(25,d(273)) ?(26,d(274)) ?(27,d(275)) ?(28,d(277)) ?(29,d(278)) ?(30,d(279)) ?(31,d(280)) ?(32,d(281)) ?(33,d(282)) ?(34,d(283)) ?(35,d(285)) ?(36,d(286)) ?(37,d(287)) ?(38,d(288)) ?(39,d(289)) ?(40,d(290)) ?(41,d(295)) ?(42,d(297)) ?(43,d(298)) ?(44,d(359)) ?(45,d(361)) ?(46,d(362)) ?(47,d(363)) ?(48,d(364)) ?(49,d(365)) ?(50,d(370))  (77 tests, cond 14)
		n1 false (test_time = 2.1499)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00433803)
	variant    39/31324 = ?(1,d(236)) ?(2,d(237)) ?(3,d(238)) ?(4,d(239)) ?(5,d(240)) ?(6,d(241)) ?(7,d(242)) ?(8,d(243)) ?(9,d(253)) ?(10,d(254)) ?(11,d(256)) ?(12,d(257)) ?(13,d(258)) ?(14,d(259)) ?(15,d(260)) ?(16,d(262)) ?(17,d(263)) ?(18,d(265)) ?(19,d(266)) ?(20,d(267)) ?(21,d(268)) ?(22,d(269)) ?(23,d(271)) ?(24,d(272)) ?(25,d(273)) ?(26,d(274)) ?(27,d(275)) ?(28,d(277)) ?(29,d(278)) ?(30,d(279)) ?(31,d(280)) ?(32,d(281)) ?(33,d(282)) ?(34,d(283)) ?(35,d(285)) ?(36,d(286)) ?(37,d(287)) ?(38,d(288)) ?(39,d(289)) ?(40,d(290)) ?(41,d(295)) ?(42,d(297)) ?(43,d(298)) ?(44,d(359)) ?(45,d(361)) ?(46,d(362)) ?(47,d(363)) ?(48,d(364)) ?(49,d(365)) ?(50,d(370))  (77 tests, cond 13)
		n1 false (test_time = 2.07944)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00417185)
	variant    40/31324 = ?(1,d(236)) ?(2,d(237)) ?(3,d(238)) ?(4,d(239)) ?(5,d(240)) ?(6,d(241)) ?(7,d(242)) ?(8,d(243)) ?(9,d(253)) ?(10,d(254)) ?(11,d(256)) ?(12,d(257)) ?(13,d(258)) ?(14,d(259)) ?(15,d(260)) ?(16,d(262)) ?(17,d(263)) ?(18,d(265)) ?(19,d(266)) ?(20,d(267)) ?(21,d(268)) ?(22,d(269)) ?(23,d(271)) ?(24,d(272)) ?(25,d(273)) ?(26,d(274)) ?(27,d(275)) ?(28,d(277)) ?(29,d(278)) ?(30,d(279)) ?(31,d(280)) ?(32,d(281)) ?(33,d(282)) ?(34,d(283)) ?(35,d(285)) ?(36,d(286)) ?(37,d(287)) ?(38,d(288)) ?(39,d(289)) ?(40,d(290)) ?(41,d(295)) ?(42,d(297)) ?(43,d(298)) ?(44,d(359)) ?(45,d(361)) ?(46,d(362)) ?(47,d(363)) ?(48,d(364)) ?(49,d(365)) ?(50,d(370))  (77 tests, cond 12)
		n1 false (test_time = 0.404617)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00840092)
	variant    41/31324 = ?(1,d(236)) ?(2,d(237)) ?(3,d(238)) ?(4,d(239)) ?(5,d(240)) ?(6,d(241)) ?(7,d(242)) ?(8,d(243)) ?(9,d(253)) ?(10,d(254)) ?(11,d(256)) ?(12,d(257)) ?(13,d(258)) ?(14,d(259)) ?(15,d(260)) ?(16,d(262)) ?(17,d(263)) ?(18,d(265)) ?(19,d(266)) ?(20,d(267)) ?(21,d(268)) ?(22,d(269)) ?(23,d(271)) ?(24,d(272)) ?(25,d(273)) ?(26,d(274)) ?(27,d(275)) ?(28,d(277)) ?(29,d(278)) ?(30,d(279)) ?(31,d(280)) ?(32,d(281)) ?(33,d(282)) ?(34,d(283)) ?(35,d(285)) ?(36,d(286)) ?(37,d(287)) ?(38,d(288)) ?(39,d(289)) ?(40,d(290)) ?(41,d(295)) ?(42,d(297)) ?(43,d(298)) ?(44,d(359)) ?(45,d(361)) ?(46,d(362)) ?(47,d(363)) ?(48,d(364)) ?(49,d(365)) ?(50,d(370))  (77 tests, cond 11)
		n1 false (test_time = 2.11333)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00589418)
	variant    42/31324 = ?(1,d(236)) ?(2,d(237)) ?(3,d(238)) ?(4,d(239)) ?(5,d(240)) ?(6,d(241)) ?(7,d(242)) ?(8,d(243)) ?(9,d(253)) ?(10,d(254)) ?(11,d(256)) ?(12,d(257)) ?(13,d(258)) ?(14,d(259)) ?(15,d(260)) ?(16,d(262)) ?(17,d(263)) ?(18,d(265)) ?(19,d(266)) ?(20,d(267)) ?(21,d(268)) ?(22,d(269)) ?(23,d(271)) ?(24,d(272)) ?(25,d(273)) ?(26,d(274)) ?(27,d(275)) ?(28,d(277)) ?(29,d(278)) ?(30,d(279)) ?(31,d(280)) ?(32,d(281)) ?(33,d(282)) ?(34,d(283)) ?(35,d(285)) ?(36,d(286)) ?(37,d(287)) ?(38,d(288)) ?(39,d(289)) ?(40,d(290)) ?(41,d(295)) ?(42,d(297)) ?(43,d(298)) ?(44,d(359)) ?(45,d(361)) ?(46,d(362)) ?(47,d(363)) ?(48,d(364)) ?(49,d(365)) ?(50,d(370))  (77 tests, cond 10)
		n1 false (test_time = 2.12704)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00669312)
	variant    43/31324 = ?(1,d(236)) ?(2,d(237)) ?(3,d(238)) ?(4,d(239)) ?(5,d(240)) ?(6,d(241)) ?(7,d(242)) ?(8,d(243)) ?(9,d(253)) ?(10,d(254)) ?(11,d(256)) ?(12,d(257)) ?(13,d(258)) ?(14,d(259)) ?(15,d(260)) ?(16,d(262)) ?(17,d(263)) ?(18,d(265)) ?(19,d(266)) ?(20,d(267)) ?(21,d(268)) ?(22,d(269)) ?(23,d(271)) ?(24,d(272)) ?(25,d(273)) ?(26,d(274)) ?(27,d(275)) ?(28,d(277)) ?(29,d(278)) ?(30,d(279)) ?(31,d(280)) ?(32,d(281)) ?(33,d(282)) ?(34,d(283)) ?(35,d(285)) ?(36,d(286)) ?(37,d(287)) ?(38,d(288)) ?(39,d(289)) ?(40,d(290)) ?(41,d(295)) ?(42,d(297)) ?(43,d(298)) ?(44,d(359)) ?(45,d(361)) ?(46,d(362)) ?(47,d(363)) ?(48,d(364)) ?(49,d(365)) ?(50,d(370))  (77 tests, cond 9)
		n1 false (test_time = 2.11851)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00524402)
	variant    44/31324 = ?(1,d(236)) ?(2,d(237)) ?(3,d(238)) ?(4,d(239)) ?(5,d(240)) ?(6,d(241)) ?(7,d(242)) ?(8,d(243)) ?(9,d(253)) ?(10,d(254)) ?(11,d(256)) ?(12,d(257)) ?(13,d(258)) ?(14,d(259)) ?(15,d(260)) ?(16,d(262)) ?(17,d(263)) ?(18,d(265)) ?(19,d(266)) ?(20,d(267)) ?(21,d(268)) ?(22,d(269)) ?(23,d(271)) ?(24,d(272)) ?(25,d(273)) ?(26,d(274)) ?(27,d(275)) ?(28,d(277)) ?(29,d(278)) ?(30,d(279)) ?(31,d(280)) ?(32,d(281)) ?(33,d(282)) ?(34,d(283)) ?(35,d(285)) ?(36,d(286)) ?(37,d(287)) ?(38,d(288)) ?(39,d(289)) ?(40,d(290)) ?(41,d(295)) ?(42,d(297)) ?(43,d(298)) ?(44,d(359)) ?(45,d(361)) ?(46,d(362)) ?(47,d(363)) ?(48,d(364)) ?(49,d(365)) ?(50,d(370))  (77 tests, cond 8)
		n1 false (test_time = 0.40541)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00408101)
	variant    45/31324 = ?(1,d(236)) ?(2,d(237)) ?(3,d(238)) ?(4,d(239)) ?(5,d(240)) ?(6,d(241)) ?(7,d(242)) ?(8,d(243)) ?(9,d(253)) ?(10,d(254)) ?(11,d(256)) ?(12,d(257)) ?(13,d(258)) ?(14,d(259)) ?(15,d(260)) ?(16,d(262)) ?(17,d(263)) ?(18,d(265)) ?(19,d(266)) ?(20,d(267)) ?(21,d(268)) ?(22,d(269)) ?(23,d(271)) ?(24,d(272)) ?(25,d(273)) ?(26,d(274)) ?(27,d(275)) ?(28,d(277)) ?(29,d(278)) ?(30,d(279)) ?(31,d(280)) ?(32,d(281)) ?(33,d(282)) ?(34,d(283)) ?(35,d(285)) ?(36,d(286)) ?(37,d(287)) ?(38,d(288)) ?(39,d(289)) ?(40,d(290)) ?(41,d(295)) ?(42,d(297)) ?(43,d(298)) ?(44,d(359)) ?(45,d(361)) ?(46,d(362)) ?(47,d(363)) ?(48,d(364)) ?(49,d(365)) ?(50,d(370))  (77 tests, cond 7)
		n1 false (test_time = 2.10976)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00425506)
	variant    46/31324 = ?(1,d(236)) ?(2,d(237)) ?(3,d(238)) ?(4,d(239)) ?(5,d(240)) ?(6,d(241)) ?(7,d(242)) ?(8,d(243)) ?(9,d(253)) ?(10,d(254)) ?(11,d(256)) ?(12,d(257)) ?(13,d(258)) ?(14,d(259)) ?(15,d(260)) ?(16,d(262)) ?(17,d(263)) ?(18,d(265)) ?(19,d(266)) ?(20,d(267)) ?(21,d(268)) ?(22,d(269)) ?(23,d(271)) ?(24,d(272)) ?(25,d(273)) ?(26,d(274)) ?(27,d(275)) ?(28,d(277)) ?(29,d(278)) ?(30,d(279)) ?(31,d(280)) ?(32,d(281)) ?(33,d(282)) ?(34,d(283)) ?(35,d(285)) ?(36,d(286)) ?(37,d(287)) ?(38,d(288)) ?(39,d(289)) ?(40,d(290)) ?(41,d(295)) ?(42,d(297)) ?(43,d(298)) ?(44,d(359)) ?(45,d(361)) ?(46,d(362)) ?(47,d(363)) ?(48,d(364)) ?(49,d(365)) ?(50,d(370))  (77 tests, cond 6)
		n1 false (test_time = 2.12865)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00172591)
	variant    47/31324 = ?(1,d(236)) ?(2,d(237)) ?(3,d(238)) ?(4,d(239)) ?(5,d(240)) ?(6,d(241)) ?(7,d(242)) ?(8,d(243)) ?(9,d(253)) ?(10,d(254)) ?(11,d(256)) ?(12,d(257)) ?(13,d(258)) ?(14,d(259)) ?(15,d(260)) ?(16,d(262)) ?(17,d(263)) ?(18,d(265)) ?(19,d(266)) ?(20,d(267)) ?(21,d(268)) ?(22,d(269)) ?(23,d(271)) ?(24,d(272)) ?(25,d(273)) ?(26,d(274)) ?(27,d(275)) ?(28,d(277)) ?(29,d(278)) ?(30,d(279)) ?(31,d(280)) ?(32,d(281)) ?(33,d(282)) ?(34,d(283)) ?(35,d(285)) ?(36,d(286)) ?(37,d(287)) ?(38,d(288)) ?(39,d(289)) ?(40,d(290)) ?(41,d(295)) ?(42,d(297)) ?(43,d(298)) ?(44,d(359)) ?(45,d(361)) ?(46,d(362)) ?(47,d(363)) ?(48,d(364)) ?(49,d(365)) ?(50,d(370))  (77 tests, cond 5)
		n1 false (test_time = 0.400595)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00201392)
	variant    48/31324 = ?(1,d(236)) ?(2,d(237)) ?(3,d(238)) ?(4,d(239)) ?(5,d(240)) ?(6,d(241)) ?(7,d(242)) ?(8,d(243)) ?(9,d(253)) ?(10,d(254)) ?(11,d(256)) ?(12,d(257)) ?(13,d(258)) ?(14,d(259)) ?(15,d(260)) ?(16,d(262)) ?(17,d(263)) ?(18,d(265)) ?(19,d(266)) ?(20,d(267)) ?(21,d(268)) ?(22,d(269)) ?(23,d(271)) ?(24,d(272)) ?(25,d(273)) ?(26,d(274)) ?(27,d(275)) ?(28,d(277)) ?(29,d(278)) ?(30,d(279)) ?(31,d(280)) ?(32,d(281)) ?(33,d(282)) ?(34,d(283)) ?(35,d(285)) ?(36,d(286)) ?(37,d(287)) ?(38,d(288)) ?(39,d(289)) ?(40,d(290)) ?(41,d(295)) ?(42,d(297)) ?(43,d(298)) ?(44,d(359)) ?(45,d(361)) ?(46,d(362)) ?(47,d(363)) ?(48,d(364)) ?(49,d(365)) ?(50,d(370))  (77 tests, cond 4)
		n1 false (test_time = 2.10753)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 9.10759e-05)
	variant    49/31324 = ?(1,d(236)) ?(2,d(237)) ?(3,d(238)) ?(4,d(239)) ?(5,d(240)) ?(6,d(241)) ?(7,d(242)) ?(8,d(243)) ?(9,d(253)) ?(10,d(254)) ?(11,d(256)) ?(12,d(257)) ?(13,d(258)) ?(14,d(259)) ?(15,d(260)) ?(16,d(262)) ?(17,d(263)) ?(18,d(265)) ?(19,d(266)) ?(20,d(267)) ?(21,d(268)) ?(22,d(269)) ?(23,d(271)) ?(24,d(272)) ?(25,d(273)) ?(26,d(274)) ?(27,d(275)) ?(28,d(277)) ?(29,d(278)) ?(30,d(279)) ?(31,d(280)) ?(32,d(281)) ?(33,d(282)) ?(34,d(283)) ?(35,d(285)) ?(36,d(286)) ?(37,d(287)) ?(38,d(288)) ?(39,d(289)) ?(40,d(290)) ?(41,d(295)) ?(42,d(297)) ?(43,d(298)) ?(44,d(359)) ?(45,d(361)) ?(46,d(362)) ?(47,d(363)) ?(48,d(364)) ?(49,d(365)) ?(50,d(370))  (77 tests, cond 3)
		n1 false (test_time = 2.13329)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 7.86781e-06)
	variant    50/31324 = ?(1,d(236)) ?(2,d(237)) ?(3,d(238)) ?(4,d(239)) ?(5,d(240)) ?(6,d(241)) ?(7,d(242)) ?(8,d(243)) ?(9,d(253)) ?(10,d(254)) ?(11,d(256)) ?(12,d(257)) ?(13,d(258)) ?(14,d(259)) ?(15,d(260)) ?(16,d(262)) ?(17,d(263)) ?(18,d(265)) ?(19,d(266)) ?(20,d(267)) ?(21,d(268)) ?(22,d(269)) ?(23,d(271)) ?(24,d(272)) ?(25,d(273)) ?(26,d(274)) ?(27,d(275)) ?(28,d(277)) ?(29,d(278)) ?(30,d(279)) ?(31,d(280)) ?(32,d(281)) ?(33,d(282)) ?(34,d(283)) ?(35,d(285)) ?(36,d(286)) ?(37,d(287)) ?(38,d(288)) ?(39,d(289)) ?(40,d(290)) ?(41,d(295)) ?(42,d(297)) ?(43,d(298)) ?(44,d(359)) ?(45,d(361)) ?(46,d(362)) ?(47,d(363)) ?(48,d(364)) ?(49,d(365)) ?(50,d(370))  (77 tests, cond 2)
		n1 false (test_time = 2.14527)
search: ww_adaptive: finding best
	from new super-mutant
search: ww_adaptive: finding 50 best for super-mutant
search: ww_adaptive: found 50 best (time_taken = 2.81766)
search: ww_adaptive: found best (time_taken = 0.00406504)
	variant    51/31324 = ?(1,d(375)) ?(2,d(376)) ?(3,d(378)) ?(4,d(380)) ?(5,d(381)) ?(6,d(383)) ?(7,d(385)) ?(8,d(387)) ?(9,d(388)) ?(10,d(389)) ?(11,d(390)) ?(12,d(391)) ?(13,d(392)) ?(14,d(393)) ?(15,d(394)) ?(16,d(395)) ?(17,d(396)) ?(18,d(397)) ?(19,d(398)) ?(20,d(399)) ?(21,d(400)) ?(22,d(401)) ?(23,d(402)) ?(24,d(403)) ?(25,d(404)) ?(26,d(405)) ?(27,d(406)) ?(28,d(407)) ?(29,d(408)) ?(30,d(409)) ?(31,d(410)) ?(32,d(728)) ?(33,d(729)) ?(34,d(730)) ?(35,d(731)) ?(36,d(732)) ?(37,d(733)) ?(38,d(734)) ?(39,d(735)) ?(40,d(736)) ?(41,d(737)) ?(42,d(738)) ?(43,d(739)) ?(44,d(740)) ?(45,d(741)) ?(46,d(743)) ?(47,d(745)) ?(48,d(747)) ?(49,d(748)) ?(50,d(749))  (77 tests, cond 1)
		n1 false (test_time = 2.26931)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00479984)
	variant    52/31324 = ?(1,d(375)) ?(2,d(376)) ?(3,d(378)) ?(4,d(380)) ?(5,d(381)) ?(6,d(383)) ?(7,d(385)) ?(8,d(387)) ?(9,d(388)) ?(10,d(389)) ?(11,d(390)) ?(12,d(391)) ?(13,d(392)) ?(14,d(393)) ?(15,d(394)) ?(16,d(395)) ?(17,d(396)) ?(18,d(397)) ?(19,d(398)) ?(20,d(399)) ?(21,d(400)) ?(22,d(401)) ?(23,d(402)) ?(24,d(403)) ?(25,d(404)) ?(26,d(405)) ?(27,d(406)) ?(28,d(407)) ?(29,d(408)) ?(30,d(409)) ?(31,d(410)) ?(32,d(728)) ?(33,d(729)) ?(34,d(730)) ?(35,d(731)) ?(36,d(732)) ?(37,d(733)) ?(38,d(734)) ?(39,d(735)) ?(40,d(736)) ?(41,d(737)) ?(42,d(738)) ?(43,d(739)) ?(44,d(740)) ?(45,d(741)) ?(46,d(743)) ?(47,d(745)) ?(48,d(747)) ?(49,d(748)) ?(50,d(749))  (77 tests, cond 50)
		n1 false (test_time = 0.420114)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00481796)
	variant    53/31324 = ?(1,d(375)) ?(2,d(376)) ?(3,d(378)) ?(4,d(380)) ?(5,d(381)) ?(6,d(383)) ?(7,d(385)) ?(8,d(387)) ?(9,d(388)) ?(10,d(389)) ?(11,d(390)) ?(12,d(391)) ?(13,d(392)) ?(14,d(393)) ?(15,d(394)) ?(16,d(395)) ?(17,d(396)) ?(18,d(397)) ?(19,d(398)) ?(20,d(399)) ?(21,d(400)) ?(22,d(401)) ?(23,d(402)) ?(24,d(403)) ?(25,d(404)) ?(26,d(405)) ?(27,d(406)) ?(28,d(407)) ?(29,d(408)) ?(30,d(409)) ?(31,d(410)) ?(32,d(728)) ?(33,d(729)) ?(34,d(730)) ?(35,d(731)) ?(36,d(732)) ?(37,d(733)) ?(38,d(734)) ?(39,d(735)) ?(40,d(736)) ?(41,d(737)) ?(42,d(738)) ?(43,d(739)) ?(44,d(740)) ?(45,d(741)) ?(46,d(743)) ?(47,d(745)) ?(48,d(747)) ?(49,d(748)) ?(50,d(749))  (77 tests, cond 49)
		n1 false (test_time = 2.20026)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00522399)
	variant    54/31324 = ?(1,d(375)) ?(2,d(376)) ?(3,d(378)) ?(4,d(380)) ?(5,d(381)) ?(6,d(383)) ?(7,d(385)) ?(8,d(387)) ?(9,d(388)) ?(10,d(389)) ?(11,d(390)) ?(12,d(391)) ?(13,d(392)) ?(14,d(393)) ?(15,d(394)) ?(16,d(395)) ?(17,d(396)) ?(18,d(397)) ?(19,d(398)) ?(20,d(399)) ?(21,d(400)) ?(22,d(401)) ?(23,d(402)) ?(24,d(403)) ?(25,d(404)) ?(26,d(405)) ?(27,d(406)) ?(28,d(407)) ?(29,d(408)) ?(30,d(409)) ?(31,d(410)) ?(32,d(728)) ?(33,d(729)) ?(34,d(730)) ?(35,d(731)) ?(36,d(732)) ?(37,d(733)) ?(38,d(734)) ?(39,d(735)) ?(40,d(736)) ?(41,d(737)) ?(42,d(738)) ?(43,d(739)) ?(44,d(740)) ?(45,d(741)) ?(46,d(743)) ?(47,d(745)) ?(48,d(747)) ?(49,d(748)) ?(50,d(749))  (77 tests, cond 48)
		n1 false (test_time = 2.16045)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00547004)
	variant    55/31324 = ?(1,d(375)) ?(2,d(376)) ?(3,d(378)) ?(4,d(380)) ?(5,d(381)) ?(6,d(383)) ?(7,d(385)) ?(8,d(387)) ?(9,d(388)) ?(10,d(389)) ?(11,d(390)) ?(12,d(391)) ?(13,d(392)) ?(14,d(393)) ?(15,d(394)) ?(16,d(395)) ?(17,d(396)) ?(18,d(397)) ?(19,d(398)) ?(20,d(399)) ?(21,d(400)) ?(22,d(401)) ?(23,d(402)) ?(24,d(403)) ?(25,d(404)) ?(26,d(405)) ?(27,d(406)) ?(28,d(407)) ?(29,d(408)) ?(30,d(409)) ?(31,d(410)) ?(32,d(728)) ?(33,d(729)) ?(34,d(730)) ?(35,d(731)) ?(36,d(732)) ?(37,d(733)) ?(38,d(734)) ?(39,d(735)) ?(40,d(736)) ?(41,d(737)) ?(42,d(738)) ?(43,d(739)) ?(44,d(740)) ?(45,d(741)) ?(46,d(743)) ?(47,d(745)) ?(48,d(747)) ?(49,d(748)) ?(50,d(749))  (77 tests, cond 47)
		n1 false (test_time = 0.412042)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00507402)
	variant    56/31324 = ?(1,d(375)) ?(2,d(376)) ?(3,d(378)) ?(4,d(380)) ?(5,d(381)) ?(6,d(383)) ?(7,d(385)) ?(8,d(387)) ?(9,d(388)) ?(10,d(389)) ?(11,d(390)) ?(12,d(391)) ?(13,d(392)) ?(14,d(393)) ?(15,d(394)) ?(16,d(395)) ?(17,d(396)) ?(18,d(397)) ?(19,d(398)) ?(20,d(399)) ?(21,d(400)) ?(22,d(401)) ?(23,d(402)) ?(24,d(403)) ?(25,d(404)) ?(26,d(405)) ?(27,d(406)) ?(28,d(407)) ?(29,d(408)) ?(30,d(409)) ?(31,d(410)) ?(32,d(728)) ?(33,d(729)) ?(34,d(730)) ?(35,d(731)) ?(36,d(732)) ?(37,d(733)) ?(38,d(734)) ?(39,d(735)) ?(40,d(736)) ?(41,d(737)) ?(42,d(738)) ?(43,d(739)) ?(44,d(740)) ?(45,d(741)) ?(46,d(743)) ?(47,d(745)) ?(48,d(747)) ?(49,d(748)) ?(50,d(749))  (77 tests, cond 46)
		n1 false (test_time = 2.14595)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00527596)
	variant    57/31324 = ?(1,d(375)) ?(2,d(376)) ?(3,d(378)) ?(4,d(380)) ?(5,d(381)) ?(6,d(383)) ?(7,d(385)) ?(8,d(387)) ?(9,d(388)) ?(10,d(389)) ?(11,d(390)) ?(12,d(391)) ?(13,d(392)) ?(14,d(393)) ?(15,d(394)) ?(16,d(395)) ?(17,d(396)) ?(18,d(397)) ?(19,d(398)) ?(20,d(399)) ?(21,d(400)) ?(22,d(401)) ?(23,d(402)) ?(24,d(403)) ?(25,d(404)) ?(26,d(405)) ?(27,d(406)) ?(28,d(407)) ?(29,d(408)) ?(30,d(409)) ?(31,d(410)) ?(32,d(728)) ?(33,d(729)) ?(34,d(730)) ?(35,d(731)) ?(36,d(732)) ?(37,d(733)) ?(38,d(734)) ?(39,d(735)) ?(40,d(736)) ?(41,d(737)) ?(42,d(738)) ?(43,d(739)) ?(44,d(740)) ?(45,d(741)) ?(46,d(743)) ?(47,d(745)) ?(48,d(747)) ?(49,d(748)) ?(50,d(749))  (77 tests, cond 45)
		n1 false (test_time = 2.18162)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00601697)
	variant    58/31324 = ?(1,d(375)) ?(2,d(376)) ?(3,d(378)) ?(4,d(380)) ?(5,d(381)) ?(6,d(383)) ?(7,d(385)) ?(8,d(387)) ?(9,d(388)) ?(10,d(389)) ?(11,d(390)) ?(12,d(391)) ?(13,d(392)) ?(14,d(393)) ?(15,d(394)) ?(16,d(395)) ?(17,d(396)) ?(18,d(397)) ?(19,d(398)) ?(20,d(399)) ?(21,d(400)) ?(22,d(401)) ?(23,d(402)) ?(24,d(403)) ?(25,d(404)) ?(26,d(405)) ?(27,d(406)) ?(28,d(407)) ?(29,d(408)) ?(30,d(409)) ?(31,d(410)) ?(32,d(728)) ?(33,d(729)) ?(34,d(730)) ?(35,d(731)) ?(36,d(732)) ?(37,d(733)) ?(38,d(734)) ?(39,d(735)) ?(40,d(736)) ?(41,d(737)) ?(42,d(738)) ?(43,d(739)) ?(44,d(740)) ?(45,d(741)) ?(46,d(743)) ?(47,d(745)) ?(48,d(747)) ?(49,d(748)) ?(50,d(749))  (77 tests, cond 44)
		n1 false (test_time = 2.14766)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00507689)
	variant    59/31324 = ?(1,d(375)) ?(2,d(376)) ?(3,d(378)) ?(4,d(380)) ?(5,d(381)) ?(6,d(383)) ?(7,d(385)) ?(8,d(387)) ?(9,d(388)) ?(10,d(389)) ?(11,d(390)) ?(12,d(391)) ?(13,d(392)) ?(14,d(393)) ?(15,d(394)) ?(16,d(395)) ?(17,d(396)) ?(18,d(397)) ?(19,d(398)) ?(20,d(399)) ?(21,d(400)) ?(22,d(401)) ?(23,d(402)) ?(24,d(403)) ?(25,d(404)) ?(26,d(405)) ?(27,d(406)) ?(28,d(407)) ?(29,d(408)) ?(30,d(409)) ?(31,d(410)) ?(32,d(728)) ?(33,d(729)) ?(34,d(730)) ?(35,d(731)) ?(36,d(732)) ?(37,d(733)) ?(38,d(734)) ?(39,d(735)) ?(40,d(736)) ?(41,d(737)) ?(42,d(738)) ?(43,d(739)) ?(44,d(740)) ?(45,d(741)) ?(46,d(743)) ?(47,d(745)) ?(48,d(747)) ?(49,d(748)) ?(50,d(749))  (77 tests, cond 43)
		n1 false (test_time = 0.42904)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00528717)
	variant    60/31324 = ?(1,d(375)) ?(2,d(376)) ?(3,d(378)) ?(4,d(380)) ?(5,d(381)) ?(6,d(383)) ?(7,d(385)) ?(8,d(387)) ?(9,d(388)) ?(10,d(389)) ?(11,d(390)) ?(12,d(391)) ?(13,d(392)) ?(14,d(393)) ?(15,d(394)) ?(16,d(395)) ?(17,d(396)) ?(18,d(397)) ?(19,d(398)) ?(20,d(399)) ?(21,d(400)) ?(22,d(401)) ?(23,d(402)) ?(24,d(403)) ?(25,d(404)) ?(26,d(405)) ?(27,d(406)) ?(28,d(407)) ?(29,d(408)) ?(30,d(409)) ?(31,d(410)) ?(32,d(728)) ?(33,d(729)) ?(34,d(730)) ?(35,d(731)) ?(36,d(732)) ?(37,d(733)) ?(38,d(734)) ?(39,d(735)) ?(40,d(736)) ?(41,d(737)) ?(42,d(738)) ?(43,d(739)) ?(44,d(740)) ?(45,d(741)) ?(46,d(743)) ?(47,d(745)) ?(48,d(747)) ?(49,d(748)) ?(50,d(749))  (77 tests, cond 42)
		n1 false (test_time = 2.16748)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00634599)
	variant    61/31324 = ?(1,d(375)) ?(2,d(376)) ?(3,d(378)) ?(4,d(380)) ?(5,d(381)) ?(6,d(383)) ?(7,d(385)) ?(8,d(387)) ?(9,d(388)) ?(10,d(389)) ?(11,d(390)) ?(12,d(391)) ?(13,d(392)) ?(14,d(393)) ?(15,d(394)) ?(16,d(395)) ?(17,d(396)) ?(18,d(397)) ?(19,d(398)) ?(20,d(399)) ?(21,d(400)) ?(22,d(401)) ?(23,d(402)) ?(24,d(403)) ?(25,d(404)) ?(26,d(405)) ?(27,d(406)) ?(28,d(407)) ?(29,d(408)) ?(30,d(409)) ?(31,d(410)) ?(32,d(728)) ?(33,d(729)) ?(34,d(730)) ?(35,d(731)) ?(36,d(732)) ?(37,d(733)) ?(38,d(734)) ?(39,d(735)) ?(40,d(736)) ?(41,d(737)) ?(42,d(738)) ?(43,d(739)) ?(44,d(740)) ?(45,d(741)) ?(46,d(743)) ?(47,d(745)) ?(48,d(747)) ?(49,d(748)) ?(50,d(749))  (77 tests, cond 41)
		n1 false (test_time = 2.18081)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00518394)
	variant    62/31324 = ?(1,d(375)) ?(2,d(376)) ?(3,d(378)) ?(4,d(380)) ?(5,d(381)) ?(6,d(383)) ?(7,d(385)) ?(8,d(387)) ?(9,d(388)) ?(10,d(389)) ?(11,d(390)) ?(12,d(391)) ?(13,d(392)) ?(14,d(393)) ?(15,d(394)) ?(16,d(395)) ?(17,d(396)) ?(18,d(397)) ?(19,d(398)) ?(20,d(399)) ?(21,d(400)) ?(22,d(401)) ?(23,d(402)) ?(24,d(403)) ?(25,d(404)) ?(26,d(405)) ?(27,d(406)) ?(28,d(407)) ?(29,d(408)) ?(30,d(409)) ?(31,d(410)) ?(32,d(728)) ?(33,d(729)) ?(34,d(730)) ?(35,d(731)) ?(36,d(732)) ?(37,d(733)) ?(38,d(734)) ?(39,d(735)) ?(40,d(736)) ?(41,d(737)) ?(42,d(738)) ?(43,d(739)) ?(44,d(740)) ?(45,d(741)) ?(46,d(743)) ?(47,d(745)) ?(48,d(747)) ?(49,d(748)) ?(50,d(749))  (77 tests, cond 40)
		n1 false (test_time = 0.416357)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.0126512)
	variant    63/31324 = ?(1,d(375)) ?(2,d(376)) ?(3,d(378)) ?(4,d(380)) ?(5,d(381)) ?(6,d(383)) ?(7,d(385)) ?(8,d(387)) ?(9,d(388)) ?(10,d(389)) ?(11,d(390)) ?(12,d(391)) ?(13,d(392)) ?(14,d(393)) ?(15,d(394)) ?(16,d(395)) ?(17,d(396)) ?(18,d(397)) ?(19,d(398)) ?(20,d(399)) ?(21,d(400)) ?(22,d(401)) ?(23,d(402)) ?(24,d(403)) ?(25,d(404)) ?(26,d(405)) ?(27,d(406)) ?(28,d(407)) ?(29,d(408)) ?(30,d(409)) ?(31,d(410)) ?(32,d(728)) ?(33,d(729)) ?(34,d(730)) ?(35,d(731)) ?(36,d(732)) ?(37,d(733)) ?(38,d(734)) ?(39,d(735)) ?(40,d(736)) ?(41,d(737)) ?(42,d(738)) ?(43,d(739)) ?(44,d(740)) ?(45,d(741)) ?(46,d(743)) ?(47,d(745)) ?(48,d(747)) ?(49,d(748)) ?(50,d(749))  (77 tests, cond 39)
		n1 false (test_time = 2.23655)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00890994)
	variant    64/31324 = ?(1,d(375)) ?(2,d(376)) ?(3,d(378)) ?(4,d(380)) ?(5,d(381)) ?(6,d(383)) ?(7,d(385)) ?(8,d(387)) ?(9,d(388)) ?(10,d(389)) ?(11,d(390)) ?(12,d(391)) ?(13,d(392)) ?(14,d(393)) ?(15,d(394)) ?(16,d(395)) ?(17,d(396)) ?(18,d(397)) ?(19,d(398)) ?(20,d(399)) ?(21,d(400)) ?(22,d(401)) ?(23,d(402)) ?(24,d(403)) ?(25,d(404)) ?(26,d(405)) ?(27,d(406)) ?(28,d(407)) ?(29,d(408)) ?(30,d(409)) ?(31,d(410)) ?(32,d(728)) ?(33,d(729)) ?(34,d(730)) ?(35,d(731)) ?(36,d(732)) ?(37,d(733)) ?(38,d(734)) ?(39,d(735)) ?(40,d(736)) ?(41,d(737)) ?(42,d(738)) ?(43,d(739)) ?(44,d(740)) ?(45,d(741)) ?(46,d(743)) ?(47,d(745)) ?(48,d(747)) ?(49,d(748)) ?(50,d(749))  (77 tests, cond 38)
		n1 false (test_time = 2.13437)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00752401)
	variant    65/31324 = ?(1,d(375)) ?(2,d(376)) ?(3,d(378)) ?(4,d(380)) ?(5,d(381)) ?(6,d(383)) ?(7,d(385)) ?(8,d(387)) ?(9,d(388)) ?(10,d(389)) ?(11,d(390)) ?(12,d(391)) ?(13,d(392)) ?(14,d(393)) ?(15,d(394)) ?(16,d(395)) ?(17,d(396)) ?(18,d(397)) ?(19,d(398)) ?(20,d(399)) ?(21,d(400)) ?(22,d(401)) ?(23,d(402)) ?(24,d(403)) ?(25,d(404)) ?(26,d(405)) ?(27,d(406)) ?(28,d(407)) ?(29,d(408)) ?(30,d(409)) ?(31,d(410)) ?(32,d(728)) ?(33,d(729)) ?(34,d(730)) ?(35,d(731)) ?(36,d(732)) ?(37,d(733)) ?(38,d(734)) ?(39,d(735)) ?(40,d(736)) ?(41,d(737)) ?(42,d(738)) ?(43,d(739)) ?(44,d(740)) ?(45,d(741)) ?(46,d(743)) ?(47,d(745)) ?(48,d(747)) ?(49,d(748)) ?(50,d(749))  (77 tests, cond 37)
		n1 false (test_time = 0.42494)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00728703)
	variant    66/31324 = ?(1,d(375)) ?(2,d(376)) ?(3,d(378)) ?(4,d(380)) ?(5,d(381)) ?(6,d(383)) ?(7,d(385)) ?(8,d(387)) ?(9,d(388)) ?(10,d(389)) ?(11,d(390)) ?(12,d(391)) ?(13,d(392)) ?(14,d(393)) ?(15,d(394)) ?(16,d(395)) ?(17,d(396)) ?(18,d(397)) ?(19,d(398)) ?(20,d(399)) ?(21,d(400)) ?(22,d(401)) ?(23,d(402)) ?(24,d(403)) ?(25,d(404)) ?(26,d(405)) ?(27,d(406)) ?(28,d(407)) ?(29,d(408)) ?(30,d(409)) ?(31,d(410)) ?(32,d(728)) ?(33,d(729)) ?(34,d(730)) ?(35,d(731)) ?(36,d(732)) ?(37,d(733)) ?(38,d(734)) ?(39,d(735)) ?(40,d(736)) ?(41,d(737)) ?(42,d(738)) ?(43,d(739)) ?(44,d(740)) ?(45,d(741)) ?(46,d(743)) ?(47,d(745)) ?(48,d(747)) ?(49,d(748)) ?(50,d(749))  (77 tests, cond 36)
		n1 false (test_time = 2.15073)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.0157659)
	variant    67/31324 = ?(1,d(375)) ?(2,d(376)) ?(3,d(378)) ?(4,d(380)) ?(5,d(381)) ?(6,d(383)) ?(7,d(385)) ?(8,d(387)) ?(9,d(388)) ?(10,d(389)) ?(11,d(390)) ?(12,d(391)) ?(13,d(392)) ?(14,d(393)) ?(15,d(394)) ?(16,d(395)) ?(17,d(396)) ?(18,d(397)) ?(19,d(398)) ?(20,d(399)) ?(21,d(400)) ?(22,d(401)) ?(23,d(402)) ?(24,d(403)) ?(25,d(404)) ?(26,d(405)) ?(27,d(406)) ?(28,d(407)) ?(29,d(408)) ?(30,d(409)) ?(31,d(410)) ?(32,d(728)) ?(33,d(729)) ?(34,d(730)) ?(35,d(731)) ?(36,d(732)) ?(37,d(733)) ?(38,d(734)) ?(39,d(735)) ?(40,d(736)) ?(41,d(737)) ?(42,d(738)) ?(43,d(739)) ?(44,d(740)) ?(45,d(741)) ?(46,d(743)) ?(47,d(745)) ?(48,d(747)) ?(49,d(748)) ?(50,d(749))  (77 tests, cond 35)
		n1 false (test_time = 2.18209)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.0116291)
	variant    68/31324 = ?(1,d(375)) ?(2,d(376)) ?(3,d(378)) ?(4,d(380)) ?(5,d(381)) ?(6,d(383)) ?(7,d(385)) ?(8,d(387)) ?(9,d(388)) ?(10,d(389)) ?(11,d(390)) ?(12,d(391)) ?(13,d(392)) ?(14,d(393)) ?(15,d(394)) ?(16,d(395)) ?(17,d(396)) ?(18,d(397)) ?(19,d(398)) ?(20,d(399)) ?(21,d(400)) ?(22,d(401)) ?(23,d(402)) ?(24,d(403)) ?(25,d(404)) ?(26,d(405)) ?(27,d(406)) ?(28,d(407)) ?(29,d(408)) ?(30,d(409)) ?(31,d(410)) ?(32,d(728)) ?(33,d(729)) ?(34,d(730)) ?(35,d(731)) ?(36,d(732)) ?(37,d(733)) ?(38,d(734)) ?(39,d(735)) ?(40,d(736)) ?(41,d(737)) ?(42,d(738)) ?(43,d(739)) ?(44,d(740)) ?(45,d(741)) ?(46,d(743)) ?(47,d(745)) ?(48,d(747)) ?(49,d(748)) ?(50,d(749))  (77 tests, cond 34)
		n1 false (test_time = 0.420998)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00853109)
	variant    69/31324 = ?(1,d(375)) ?(2,d(376)) ?(3,d(378)) ?(4,d(380)) ?(5,d(381)) ?(6,d(383)) ?(7,d(385)) ?(8,d(387)) ?(9,d(388)) ?(10,d(389)) ?(11,d(390)) ?(12,d(391)) ?(13,d(392)) ?(14,d(393)) ?(15,d(394)) ?(16,d(395)) ?(17,d(396)) ?(18,d(397)) ?(19,d(398)) ?(20,d(399)) ?(21,d(400)) ?(22,d(401)) ?(23,d(402)) ?(24,d(403)) ?(25,d(404)) ?(26,d(405)) ?(27,d(406)) ?(28,d(407)) ?(29,d(408)) ?(30,d(409)) ?(31,d(410)) ?(32,d(728)) ?(33,d(729)) ?(34,d(730)) ?(35,d(731)) ?(36,d(732)) ?(37,d(733)) ?(38,d(734)) ?(39,d(735)) ?(40,d(736)) ?(41,d(737)) ?(42,d(738)) ?(43,d(739)) ?(44,d(740)) ?(45,d(741)) ?(46,d(743)) ?(47,d(745)) ?(48,d(747)) ?(49,d(748)) ?(50,d(749))  (77 tests, cond 33)
		n1 false (test_time = 2.16159)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00898099)
	variant    70/31324 = ?(1,d(375)) ?(2,d(376)) ?(3,d(378)) ?(4,d(380)) ?(5,d(381)) ?(6,d(383)) ?(7,d(385)) ?(8,d(387)) ?(9,d(388)) ?(10,d(389)) ?(11,d(390)) ?(12,d(391)) ?(13,d(392)) ?(14,d(393)) ?(15,d(394)) ?(16,d(395)) ?(17,d(396)) ?(18,d(397)) ?(19,d(398)) ?(20,d(399)) ?(21,d(400)) ?(22,d(401)) ?(23,d(402)) ?(24,d(403)) ?(25,d(404)) ?(26,d(405)) ?(27,d(406)) ?(28,d(407)) ?(29,d(408)) ?(30,d(409)) ?(31,d(410)) ?(32,d(728)) ?(33,d(729)) ?(34,d(730)) ?(35,d(731)) ?(36,d(732)) ?(37,d(733)) ?(38,d(734)) ?(39,d(735)) ?(40,d(736)) ?(41,d(737)) ?(42,d(738)) ?(43,d(739)) ?(44,d(740)) ?(45,d(741)) ?(46,d(743)) ?(47,d(745)) ?(48,d(747)) ?(49,d(748)) ?(50,d(749))  (77 tests, cond 32)
		n1 false (test_time = 2.16009)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00269198)
	variant    71/31324 = ?(1,d(375)) ?(2,d(376)) ?(3,d(378)) ?(4,d(380)) ?(5,d(381)) ?(6,d(383)) ?(7,d(385)) ?(8,d(387)) ?(9,d(388)) ?(10,d(389)) ?(11,d(390)) ?(12,d(391)) ?(13,d(392)) ?(14,d(393)) ?(15,d(394)) ?(16,d(395)) ?(17,d(396)) ?(18,d(397)) ?(19,d(398)) ?(20,d(399)) ?(21,d(400)) ?(22,d(401)) ?(23,d(402)) ?(24,d(403)) ?(25,d(404)) ?(26,d(405)) ?(27,d(406)) ?(28,d(407)) ?(29,d(408)) ?(30,d(409)) ?(31,d(410)) ?(32,d(728)) ?(33,d(729)) ?(34,d(730)) ?(35,d(731)) ?(36,d(732)) ?(37,d(733)) ?(38,d(734)) ?(39,d(735)) ?(40,d(736)) ?(41,d(737)) ?(42,d(738)) ?(43,d(739)) ?(44,d(740)) ?(45,d(741)) ?(46,d(743)) ?(47,d(745)) ?(48,d(747)) ?(49,d(748)) ?(50,d(749))  (77 tests, cond 31)
		n1 false (test_time = 0.414454)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00389099)
	variant    72/31324 = ?(1,d(375)) ?(2,d(376)) ?(3,d(378)) ?(4,d(380)) ?(5,d(381)) ?(6,d(383)) ?(7,d(385)) ?(8,d(387)) ?(9,d(388)) ?(10,d(389)) ?(11,d(390)) ?(12,d(391)) ?(13,d(392)) ?(14,d(393)) ?(15,d(394)) ?(16,d(395)) ?(17,d(396)) ?(18,d(397)) ?(19,d(398)) ?(20,d(399)) ?(21,d(400)) ?(22,d(401)) ?(23,d(402)) ?(24,d(403)) ?(25,d(404)) ?(26,d(405)) ?(27,d(406)) ?(28,d(407)) ?(29,d(408)) ?(30,d(409)) ?(31,d(410)) ?(32,d(728)) ?(33,d(729)) ?(34,d(730)) ?(35,d(731)) ?(36,d(732)) ?(37,d(733)) ?(38,d(734)) ?(39,d(735)) ?(40,d(736)) ?(41,d(737)) ?(42,d(738)) ?(43,d(739)) ?(44,d(740)) ?(45,d(741)) ?(46,d(743)) ?(47,d(745)) ?(48,d(747)) ?(49,d(748)) ?(50,d(749))  (77 tests, cond 30)
		n1 false (test_time = 2.16587)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00492096)
	variant    73/31324 = ?(1,d(375)) ?(2,d(376)) ?(3,d(378)) ?(4,d(380)) ?(5,d(381)) ?(6,d(383)) ?(7,d(385)) ?(8,d(387)) ?(9,d(388)) ?(10,d(389)) ?(11,d(390)) ?(12,d(391)) ?(13,d(392)) ?(14,d(393)) ?(15,d(394)) ?(16,d(395)) ?(17,d(396)) ?(18,d(397)) ?(19,d(398)) ?(20,d(399)) ?(21,d(400)) ?(22,d(401)) ?(23,d(402)) ?(24,d(403)) ?(25,d(404)) ?(26,d(405)) ?(27,d(406)) ?(28,d(407)) ?(29,d(408)) ?(30,d(409)) ?(31,d(410)) ?(32,d(728)) ?(33,d(729)) ?(34,d(730)) ?(35,d(731)) ?(36,d(732)) ?(37,d(733)) ?(38,d(734)) ?(39,d(735)) ?(40,d(736)) ?(41,d(737)) ?(42,d(738)) ?(43,d(739)) ?(44,d(740)) ?(45,d(741)) ?(46,d(743)) ?(47,d(745)) ?(48,d(747)) ?(49,d(748)) ?(50,d(749))  (77 tests, cond 29)
		n1 false (test_time = 2.13365)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00283217)
	variant    74/31324 = ?(1,d(375)) ?(2,d(376)) ?(3,d(378)) ?(4,d(380)) ?(5,d(381)) ?(6,d(383)) ?(7,d(385)) ?(8,d(387)) ?(9,d(388)) ?(10,d(389)) ?(11,d(390)) ?(12,d(391)) ?(13,d(392)) ?(14,d(393)) ?(15,d(394)) ?(16,d(395)) ?(17,d(396)) ?(18,d(397)) ?(19,d(398)) ?(20,d(399)) ?(21,d(400)) ?(22,d(401)) ?(23,d(402)) ?(24,d(403)) ?(25,d(404)) ?(26,d(405)) ?(27,d(406)) ?(28,d(407)) ?(29,d(408)) ?(30,d(409)) ?(31,d(410)) ?(32,d(728)) ?(33,d(729)) ?(34,d(730)) ?(35,d(731)) ?(36,d(732)) ?(37,d(733)) ?(38,d(734)) ?(39,d(735)) ?(40,d(736)) ?(41,d(737)) ?(42,d(738)) ?(43,d(739)) ?(44,d(740)) ?(45,d(741)) ?(46,d(743)) ?(47,d(745)) ?(48,d(747)) ?(49,d(748)) ?(50,d(749))  (77 tests, cond 28)
		n1 false (test_time = 0.42496)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00289202)
	variant    75/31324 = ?(1,d(375)) ?(2,d(376)) ?(3,d(378)) ?(4,d(380)) ?(5,d(381)) ?(6,d(383)) ?(7,d(385)) ?(8,d(387)) ?(9,d(388)) ?(10,d(389)) ?(11,d(390)) ?(12,d(391)) ?(13,d(392)) ?(14,d(393)) ?(15,d(394)) ?(16,d(395)) ?(17,d(396)) ?(18,d(397)) ?(19,d(398)) ?(20,d(399)) ?(21,d(400)) ?(22,d(401)) ?(23,d(402)) ?(24,d(403)) ?(25,d(404)) ?(26,d(405)) ?(27,d(406)) ?(28,d(407)) ?(29,d(408)) ?(30,d(409)) ?(31,d(410)) ?(32,d(728)) ?(33,d(729)) ?(34,d(730)) ?(35,d(731)) ?(36,d(732)) ?(37,d(733)) ?(38,d(734)) ?(39,d(735)) ?(40,d(736)) ?(41,d(737)) ?(42,d(738)) ?(43,d(739)) ?(44,d(740)) ?(45,d(741)) ?(46,d(743)) ?(47,d(745)) ?(48,d(747)) ?(49,d(748)) ?(50,d(749))  (77 tests, cond 27)
		n1 true (test_time = 2.25996)
		p1 true (test_time = 0.142235)
		p2 true (test_time = 0.142892)
		p3 true (test_time = 0.138524)
		p4 true (test_time = 0.142025)
		p5 true (test_time = 0.163845)
		p6 true (test_time = 0.196935)
		p7 true (test_time = 0.194907)
		p8 true (test_time = 0.202416)
		p9 true (test_time = 0.200837)
		p10 true (test_time = 0.194101)
		p11 true (test_time = 0.200457)
		p12 true (test_time = 0.156676)
		p13 true (test_time = 0.157493)
		p14 true (test_time = 0.160044)
		p15 true (test_time = 0.159999)
		p16 true (test_time = 0.162536)
		p17 true (test_time = 0.155831)
		p18 true (test_time = 0.191506)
		p19 true (test_time = 0.201065)
		p20 true (test_time = 0.154417)
		p21 true (test_time = 0.167675)
		p22 true (test_time = 0.218707)
		p23 true (test_time = 0.275132)
		p24 true (test_time = 0.157611)
		p25 true (test_time = 0.163823)
		p26 true (test_time = 0.160879)
		p27 true (test_time = 0.15924)
		p28 true (test_time = 0.197362)
		p29 true (test_time = 0.20346)
		p30 true (test_time = 0.196005)
		p31 true (test_time = 0.191143)
		p32 true (test_time = 0.19358)
		p33 true (test_time = 0.193604)
		p34 true (test_time = 0.19906)
		p35 true (test_time = 0.196187)
		p36 true (test_time = 0.199404)
		p37 true (test_time = 0.197706)
		p38 true (test_time = 0.193909)
		p39 true (test_time = 0.191195)
		p40 true (test_time = 0.19666)
		p41 true (test_time = 0.190475)
		p42 true (test_time = 0.200245)
		p43 true (test_time = 0.197984)
		p44 true (test_time = 0.197462)
		p45 true (test_time = 0.198042)
		p46 true (test_time = 0.198848)
		p47 true (test_time = 0.194339)
		p48 true (test_time = 0.19176)
		p49 true (test_time = 0.19274)
		p50 true (test_time = 0.194744)
		p51 true (test_time = 0.199842)
		p52 true (test_time = 0.200863)
		p53 true (test_time = 0.191733)
		p54 true (test_time = 0.19193)
		p55 true (test_time = 0.187069)
		p56 true (test_time = 0.199324)
		p57 true (test_time = 0.193282)
		p58 true (test_time = 0.199755)
		p59 true (test_time = 0.200183)
		p60 true (test_time = 0.189451)
		p61 true (test_time = 0.194308)
		p62 true (test_time = 0.195388)
		p63 true (test_time = 0.174866)
		p64 true (test_time = 0.19794)
		p65 true (test_time = 0.189327)
		p66 true (test_time = 0.204085)
		p67 true (test_time = 0.188111)
		p68 true (test_time = 0.193561)
		p69 true (test_time = 0.195195)
		p70 true (test_time = 0.200481)
		p71 true (test_time = 0.193173)
		p72 true (test_time = 0.197106)
		p73 true (test_time = 0.198988)
		p74 true (test_time = 0.19853)
		p75 true (test_time = 0.189476)
		p76 true (test_time = 0.251639)
search: ww_adaptive: ends (yes repair)

Repair Found: d(406)
Repair Name: ?(1,d(375)) ?(2,d(376)) ?(3,d(378)) ?(4,d(380)) ?(5,d(381)) ?(6,d(383)) ?(7,d(385)) ?(8,d(387)) ?(9,d(388)) ?(10,d(389)) ?(11,d(390)) ?(12,d(391)) ?(13,d(392)) ?(14,d(393)) ?(15,d(394)) ?(16,d(395)) ?(17,d(396)) ?(18,d(397)) ?(19,d(398)) ?(20,d(399)) ?(21,d(400)) ?(22,d(401)) ?(23,d(402)) ?(24,d(403)) ?(25,d(404)) ?(26,d(405)) ?(27,d(406)) ?(28,d(407)) ?(29,d(408)) ?(30,d(409)) ?(31,d(410)) ?(32,d(728)) ?(33,d(729)) ?(34,d(730)) ?(35,d(731)) ?(36,d(732)) ?(37,d(733)) ?(38,d(734)) ?(39,d(735)) ?(40,d(736)) ?(41,d(737)) ?(42,d(738)) ?(43,d(739)) ?(44,d(740)) ?(45,d(741)) ?(46,d(743)) ?(47,d(745)) ?(48,d(747)) ?(49,d(748)) ?(50,d(749)) 
Test Condition: 27
Test Cases Skipped: ""
Current Time: 1367977776.970099
Rep: saving test cache

Variant Test Case Queries: 151
"Test Suite Evaluations": 1.96104

Compile Failures: 0
Wall-Clock Seconds Elapsed: 676.139
  Activity Name                     Count Seconds = Percent of Total Time
  find_best_edit                       75   0.434 = 0.0665551%
  sanity_check                          1   1.127 = 0.172828%
  find_k_best_edits                     2   5.886 = 0.902408%
  test                                228  78.835 = 12.0866%
  progeq partition                    655  98.049 = 15.0324%
  compile                              76 123.811 = 18.9822%
  append_sources                      972 344.109 = 52.7571%
  TOTAL                                   652.252 = 96.466% (avg CPU usage)
libtiff-bug-90d136e4-4c66680f.tar.gz
Tue May  7 21:49:38 EDT 2013
shutting down
