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 ip-10-66-218-173 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:21 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           E5506  @ 2.13GHz
grep 'MemTotal' /proc/meminfo: MemTotal:        1747596 kB
grep 'SwapTotal' /proc/meminfo: SwapTotal:             0 kB
cilRep: preprocessing IO function signatures: /tmp/tmp631a57.c /tmp/tmp101698.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.372339 MB)
cilRep: computing liveness
Bug: BF(Liveness): stmtStartData is not initialized for -1: fail: 
#line 770 "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 561
  outfilename = (char const   *)((void *)0);
   388: /* CIL Label */ 
#line 562
  t2p = (T2P *)((void *)0);
   389: /* CIL Label */ 
#line 563
  input = (TIFF *)((void *)0);
   390: /* CIL Label */ 
#line 563
  output = (TIFF *)((void *)0);
   391: /* CIL Label */ 
#line 564
  written = (tsize_t )0;
   392: /* CIL Label */ 
#line 565
  ret = 0;
   393: /* CIL Label */ 
#line 567
  t2p = t2p_init();
   394: /* CIL Label */ 
#line 569
  if ((unsigned int )t2p == (unsigned int )((void *)0)) {
#line 570
    TIFFError("tiff2pdf", "Can\'t initialize context");
    goto fail;
  } else {

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

      } else {
#line 574
        break;
      }
    } else {
#line 574
      break;
    }
#line 577
    switch (c) {
    case 111: 
#line 579
    outfilename = (char const   *)optarg;
#line 580
    break;
    case 106: 
#line 588
    TIFFWarning("tiff2pdf",
                "JPEG support in libtiff required for JPEG compression, ignoring option");
#line 591
    break;
    case 122: 
#line 595
    t2p->pdf_defaultcompression = (enum __anonenum_t2p_compress_t_51 )4;
#line 596
    break;
    case 113: 
#line 606
    tmp = atoi((char const   *)optarg);
#line 606
    t2p->pdf_defaultcompressionquality = (unsigned short )tmp;
#line 607
    break;
    case 110: 
#line 609
    t2p->pdf_nopassthrough = (unsigned short)1;
#line 610
    break;
    case 100: 
#line 612
    t2p->pdf_defaultcompression = (enum __anonenum_t2p_compress_t_51 )0;
#line 613
    break;
    case 117: 
#line 615
    if ((int )*(optarg + 0) == 109) {
#line 616
      t2p->pdf_centimeters = (unsigned short)1;
    } else {

    }
#line 618
    break;
    case 120: 
#line 620
    tmp___0 = atof((char const   *)optarg);
#line 620
    if (t2p->pdf_centimeters) {
#line 620
      tmp___1 = 2.54F;
    } else {
#line 620
      tmp___1 = 1.0F;
    }
#line 620
    t2p->pdf_defaultxres = (float )tmp___0 / tmp___1;
#line 622
    break;
    case 121: 
#line 624
    tmp___2 = atof((char const   *)optarg);
#line 624
    if (t2p->pdf_centimeters) {
#line 624
      tmp___3 = 2.54F;
    } else {
#line 624
      tmp___3 = 1.0F;
    }
#line 624
    t2p->pdf_defaultyres = (float )tmp___2 / tmp___3;
#line 626
    break;
    case 119: 
#line 628
    t2p->pdf_overridepagesize = (unsigned short)1;
#line 629
    tmp___4 = atof((char const   *)optarg);
#line 629
    if (t2p->pdf_centimeters) {
#line 629
      tmp___5 = 2.54F;
    } else {
#line 629
      tmp___5 = 1.0F;
    }
#line 629
    t2p->pdf_defaultpagewidth = ((float )tmp___4 * 72.0F) / tmp___5;
#line 631
    break;
    case 108: 
#line 633
    t2p->pdf_overridepagesize = (unsigned short)1;
#line 634
    tmp___6 = atof((char const   *)optarg);
#line 634
    if (t2p->pdf_centimeters) {
#line 634
      tmp___7 = 2.54F;
    } else {
#line 634
      tmp___7 = 1.0F;
    }
#line 634
    t2p->pdf_defaultpagelength = ((float )tmp___6 * 72.0F) / tmp___7;
#line 636
    break;
    case 114: 
#line 638
    if ((int )*(optarg + 0) == 111) {
#line 639
      t2p->pdf_overrideres = (unsigned short)1;
    } else {

    }
#line 641
    break;
    case 112: 
#line 643
    tmp___8 = tiff2pdf_match_paper_size(& t2p->pdf_defaultpagewidth,
                                        & t2p->pdf_defaultpagelength, optarg);
#line 643
    if (tmp___8) {
#line 647
      t2p->pdf_overridepagesize = (unsigned short)1;
    } else {
#line 649
      TIFFWarning("tiff2pdf", "Unknown paper size %s, ignoring option", optarg);
    }
#line 653
    break;
    case 105: 
#line 655
    t2p->pdf_colorspace_invert = (unsigned short)1;
#line 656
    break;
    case 102: 
#line 658
    t2p->pdf_fitwindow = (unsigned short)1;
#line 659
    break;
    case 101: 
#line 661
    tmp___9 = strlen((char const   *)optarg);
#line 661
    if (tmp___9 == 0U) {
#line 662
      t2p->pdf_datetime[0] = (char )'\000';
    } else {
#line 664
      t2p->pdf_datetime[0] = (char )'D';
#line 665
      t2p->pdf_datetime[1] = (char )':';
#line 666
      __builtin_strncpy(t2p->pdf_datetime + 2, (char const   *)optarg,
                        sizeof(t2p->pdf_datetime) - 3U);
#line 668
      t2p->pdf_datetime[sizeof(t2p->pdf_datetime) - 1U] = (char )'\000';
    }
#line 670
    break;
    case 99: 
#line 672
    __builtin_strncpy(t2p->pdf_creator, (char const   *)optarg,
                      sizeof(t2p->pdf_creator) - 1U);
#line 673
    t2p->pdf_creator[sizeof(t2p->pdf_creator) - 1U] = (char )'\000';
#line 674
    break;
    case 97: 
#line 676
    __builtin_strncpy(t2p->pdf_author, (char const   *)optarg,
                      sizeof(t2p->pdf_author) - 1U);
#line 677
    t2p->pdf_author[sizeof(t2p->pdf_author) - 1U] = (char )'\000';
#line 678
    break;
    case 116: 
#line 680
    __builtin_strncpy(t2p->pdf_title, (char const   *)optarg,
                      sizeof(t2p->pdf_title) - 1U);
#line 681
    t2p->pdf_title[sizeof(t2p->pdf_title) - 1U] = (char )'\000';
#line 682
    break;
    case 115: 
#line 684
    __builtin_strncpy(t2p->pdf_subject, (char const   *)optarg,
                      sizeof(t2p->pdf_subject) - 1U);
#line 685
    t2p->pdf_subject[sizeof(t2p->pdf_subject) - 1U] = (char )'\000';
#line 686
    break;
    case 107: 
#line 688
    __builtin_strncpy(t2p->pdf_keywords, (char const   *)optarg,
                      sizeof(t2p->pdf_keywords) - 1U);
#line 689
    t2p->pdf_keywords[sizeof(t2p->pdf_keywords) - 1U] = (char )'\000';
#line 690
    break;
    case 98: 
#line 692
    t2p->pdf_image_interpolate = 1;
#line 693
    break;
    case 104: 
    case 63: 
#line 696
    tiff2pdf_usage();
    goto  407;
#line 698
    break;
    }
  }
   396: /* CIL Label */ 
#line 705
  if (argc > optind) {
#line 706
    tmp___10 = optind;
#line 706
    optind ++;
#line 706
    input = TIFFOpen((char const   *)*(argv + tmp___10), "r");
#line 707
    if ((unsigned int )input == (unsigned int )((void *)0)) {
#line 708
      TIFFError("tiff2pdf", "Can\'t open input file %s for reading",
                *(argv + (optind - 1)));
      goto fail;
    } else {

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

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

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

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

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

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

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

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

cilRep: liveness failure for main: Errormsg.Error
Bug: BF(Liveness): stmtStartData is not initialized for -1: _L: /* CIL Label */ 
#line 1083
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 ;

  {
   905: /* CIL Label */ 
#line 997
  directorycount = (tdir_t )0;
   906: /* CIL Label */ 
#line 998
  i = (tdir_t )0;
   907: /* CIL Label */ 
#line 999
  pagen = (uint16 )0;
   908: /* CIL Label */ 
#line 1000
  paged = (uint16 )0;
   909: /* CIL Label */ 
#line 1001
  xuint16 = (uint16 )0;
   910: /* CIL Label */ 
#line 1003
  directorycount = TIFFNumberOfDirectories(input);
   911: /* CIL Label */ 
#line 1004
  tmp = _TIFFmalloc((long )((unsigned int )directorycount * sizeof(T2P_PAGE )));
   912: /* CIL Label */ 
#line 1004
  t2p->tiff_pages = (T2P_PAGE *)tmp;
   913: /* CIL Label */ 
#line 1005
  if ((unsigned int )t2p->tiff_pages == (unsigned int )((void *)0)) {
#line 1006
    tmp___0 = TIFFFileName(input);
#line 1006
    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 1011
    t2p->t2p_error = (enum __anonenum_t2p_err_t_54 )1;
#line 1012
    return;
  } else {

  }
   914: /* CIL Label */ 
#line 1014
  _TIFFmemset((void *)t2p->tiff_pages, 0x00,
              (long )((unsigned int )directorycount * sizeof(T2P_PAGE )));
   915: /* CIL Label */ 
#line 1015
  tmp___1 = _TIFFmalloc((long )((unsigned int )directorycount * sizeof(T2P_TILES )));
   916: /* CIL Label */ 
#line 1015
  t2p->tiff_tiles = (T2P_TILES *)tmp___1;
   917: /* CIL Label */ 
#line 1016
  if ((unsigned int )t2p->tiff_tiles == (unsigned int )((void *)0)) {
#line 1017
    tmp___2 = TIFFFileName(input);
#line 1017
    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 1022
    t2p->t2p_error = (enum __anonenum_t2p_err_t_54 )1;
#line 1023
    return;
  } else {

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

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

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

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

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

    }
#line 1072
    t2p->tiff_pagecount = (tdir_t )((int )t2p->tiff_pagecount + 1);
    isnotpage: 
#line 1026
    i = (tdir_t )((int )i + 1);
  }
   921: /* CIL Label */ 
#line 1077
  qsort((void *)t2p->tiff_pages, (unsigned int )t2p->tiff_pagecount,
        sizeof(T2P_PAGE ), & t2p_cmp_t2p_page);
   922: /* CIL Label */ 
#line 1080
  i = (unsigned short)0;
   923: /* CIL Label */ 
#line 1080
  while ((int )i < (int )t2p->tiff_pagecount) {
#line 1081
    t2p->pdf_xrefcount += 5U;
#line 1082
    TIFFSetDirectory(input, (t2p->tiff_pages + i)->page_directory);
#line 1083
    tmp___9 = TIFFGetField(input, 262U, & xuint16);
#line 1083
    if (tmp___9) {
#line 1083
      if ((int )xuint16 == 3) {
#line 1086
        ((t2p->tiff_pages + i)->page_extra) ++;
#line 1087
        (t2p->pdf_xrefcount) ++;
      } else {
        goto _L;
      }
    } else {
      _L: /* CIL Label */ 
#line 1083
      tmp___10 = TIFFGetField(input, 346U, & xuint16);
#line 1083
      if (tmp___10) {
#line 1086
        ((t2p->tiff_pages + i)->page_extra) ++;
#line 1087
        (t2p->pdf_xrefcount) ++;
      } else {

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

                }
              } else {

              }
            } else {

            }
          }
        } else {

        }
      }
    } else {

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

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

      }
    } else {

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

      }
    } else {

    }
#line 1135
    if ((t2p->tiff_tiles + i)->tiles_tilecount > 0U) {
#line 1136
      t2p->pdf_xrefcount += ((t2p->tiff_tiles + i)->tiles_tilecount - 1U) * 2U;
#line 1138
      TIFFGetField(input, 322U, & (t2p->tiff_tiles + i)->tiles_tilewidth);
#line 1141
      TIFFGetField(input, 323U, & (t2p->tiff_tiles + i)->tiles_tilelength);
#line 1144
      tmp___16 = _TIFFmalloc((long )((t2p->tiff_tiles + i)->tiles_tilecount * sizeof(T2P_TILE )));
#line 1144
      (t2p->tiff_tiles + i)->tiles_tiles = (T2P_TILE *)tmp___16;
#line 1148
      if ((unsigned int )(t2p->tiff_tiles + i)->tiles_tiles == (unsigned int )((void *)0)) {
#line 1149
        tmp___17 = TIFFFileName(input);
#line 1149
        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 1154
        t2p->t2p_error = (enum __anonenum_t2p_err_t_54 )1;
#line 1155
        return;
      } else {

      }
    } else {

    }
#line 1080
    i = (tdir_t )((int )i + 1);
  }
   924: /* CIL Label */ 
#line 1160
  return;
}
}

cilRep: liveness failure for t2p_read_tiff_init: Errormsg.Error
Bug: BF(Liveness): stmtStartData is not initialized for -1: _L: /* CIL Label */ 
#line 1628
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 ;

  {
   1239: /* CIL Label */ 
#line 1187
  i = 0;
   1240: /* CIL Label */ 
#line 1196
  t2p->pdf_transcode = (enum __anonenum_t2p_transcode_t_52 )2;
   1241: /* CIL Label */ 
#line 1197
  t2p->pdf_sample = (enum __anonenum_t2p_sample_t_53 )0;
   1242: /* CIL Label */ 
#line 1198
  t2p->pdf_switchdecode = t2p->pdf_colorspace_invert;
   1243: /* CIL Label */ 
#line 1201
  TIFFSetDirectory(input, (t2p->tiff_pages + t2p->pdf_page)->page_directory);
   1244: /* CIL Label */ 
#line 1203
  TIFFGetField(input, 256U, & t2p->tiff_width);
   1245: /* CIL Label */ 
#line 1204
  if (t2p->tiff_width == 0U) {
#line 1205
    tmp = TIFFFileName(input);
#line 1205
    TIFFError("tiff2pdf", "No support for %s with zero width", tmp);
#line 1209
    t2p->t2p_error = (enum __anonenum_t2p_err_t_54 )1;
#line 1210
    return;
  } else {

  }
   1246: /* CIL Label */ 
#line 1213
  TIFFGetField(input, 257U, & t2p->tiff_length);
   1247: /* CIL Label */ 
#line 1214
  if (t2p->tiff_length == 0U) {
#line 1215
    tmp___0 = TIFFFileName(input);
#line 1215
    TIFFError("tiff2pdf", "No support for %s with zero length", tmp___0);
#line 1219
    t2p->t2p_error = (enum __anonenum_t2p_err_t_54 )1;
#line 1220
    return;
  } else {

  }
   1248: /* CIL Label */ 
#line 1223
  tmp___2 = TIFFGetField(input, 259U, & t2p->tiff_compression);
   1249: /* CIL Label */ 
#line 1223
  if (tmp___2 == 0) {
#line 1224
    tmp___1 = TIFFFileName(input);
#line 1224
    TIFFError("tiff2pdf", "No support for %s with no compression tag", tmp___1);
#line 1228
    t2p->t2p_error = (enum __anonenum_t2p_err_t_54 )1;
#line 1229
    return;
  } else {

  }
   1250: /* CIL Label */ 
#line 1232
  tmp___4 = TIFFIsCODECConfigured(t2p->tiff_compression);
   1251: /* CIL Label */ 
#line 1232
  if (tmp___4 == 0) {
#line 1233
    tmp___3 = TIFFFileName(input);
#line 1233
    TIFFError("tiff2pdf",
              "No support for %s with compression type %u:  not configured",
              tmp___3, t2p->tiff_compression);
#line 1239
    t2p->t2p_error = (enum __anonenum_t2p_err_t_54 )1;
#line 1240
    return;
  } else {

  }
   1252: /* CIL Label */ 
#line 1244
  TIFFGetFieldDefaulted(input, 258U, & t2p->tiff_bitspersample);
   0: /* CIL Label */ 
#line 1245
  switch ((int )t2p->tiff_bitspersample) {
  case 1: 
  case 2: 
  case 4: 
  case 8: 
#line 1250
  break;
  case 0: 
#line 1252
  tmp___5 = TIFFFileName(input);
#line 1252
  TIFFWarning("tiff2pdf", "Image %s has 0 bits per sample, assuming 1", tmp___5);
#line 1256
  t2p->tiff_bitspersample = (unsigned short)1;
#line 1257
  break;
  default: 
#line 1259
  tmp___6 = TIFFFileName(input);
#line 1259
  TIFFError("tiff2pdf", "No support for %s with %u bits per sample", tmp___6,
            t2p->tiff_bitspersample);
#line 1264
  t2p->t2p_error = (enum __anonenum_t2p_err_t_54 )1;
#line 1265
  return;
  }
   1253: /* CIL Label */ 
#line 1268
  TIFFGetFieldDefaulted(input, 277U, & t2p->tiff_samplesperpixel);
   1254: /* CIL Label */ 
#line 1269
  if ((int )t2p->tiff_samplesperpixel > 4) {
#line 1270
    tmp___7 = TIFFFileName(input);
#line 1270
    TIFFError("tiff2pdf", "No support for %s with %u samples per pixel",
              tmp___7, t2p->tiff_samplesperpixel);
#line 1275
    t2p->t2p_error = (enum __anonenum_t2p_err_t_54 )1;
#line 1276
    return;
  } else {

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

  }
   1256: /* CIL Label */ 
#line 1286
  tmp___10 = TIFFGetField(input, 339U, & xuint16);
   1257: /* CIL Label */ 
#line 1286
  if (tmp___10 != 0) {
#line 1287
    switch ((int )xuint16) {
    case 0: 
    case 1: 
    case 4: 
#line 1291
    break;
    default: 
#line 1293
    tmp___9 = TIFFFileName(input);
#line 1293
    TIFFError("tiff2pdf", "No support for %s with sample format %u", tmp___9,
              xuint16);
#line 1298
    t2p->t2p_error = (enum __anonenum_t2p_err_t_54 )1;
#line 1299
    return;
#line 1300
    break;
    }
  } else {

  }
   1258: /* CIL Label */ 
#line 1304
  TIFFGetFieldDefaulted(input, 266U, & t2p->tiff_fillorder);
   1259: /* CIL Label */ 
#line 1306
  tmp___12 = TIFFGetField(input, 262U, & t2p->tiff_photometric);
   1260: /* CIL Label */ 
#line 1306
  if (tmp___12 == 0) {
#line 1307
    tmp___11 = TIFFFileName(input);
#line 1307
    TIFFError("tiff2pdf",
              "No support for %s with no photometric interpretation tag",
              tmp___11);
#line 1311
    t2p->t2p_error = (enum __anonenum_t2p_err_t_54 )1;
#line 1312
    return;
  } else {

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

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

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

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

    }
  } else {

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

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

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

        }
      } else {

      }
#line 1361
      t2p->pdf_colorspace = (enum __anonenum_t2p_cs_t_50 )8;
#line 1362
      t2p->pdf_switchdecode = (unsigned short )((int )t2p->pdf_switchdecode ^ 1);
#line 1363
      tmp___16 = TIFFFileName(input);
#line 1363
      TIFFWarning("tiff2pdf",
                  "RGB image %s has 4 samples per pixel, assuming inverse CMYK",
                  tmp___16);
#line 1367
      break;
    } else {
#line 1369
      tmp___17 = TIFFFileName(input);
#line 1369
      TIFFError("tiff2pdf",
                "No support for RGB image %s with %u samples per pixel",
                tmp___17, t2p->tiff_samplesperpixel);
#line 1374
      t2p->t2p_error = (enum __anonenum_t2p_err_t_54 )1;
#line 1375
      break;
    }
  } else {
#line 1378
    tmp___18 = TIFFFileName(input);
#line 1378
    TIFFError("tiff2pdf",
              "No support for RGB image %s with %u samples per pixel", tmp___18,
              t2p->tiff_samplesperpixel);
#line 1383
    t2p->t2p_error = (enum __anonenum_t2p_err_t_54 )1;
#line 1384
    break;
  }
  case 3: 
  photometric_palette: 
#line 1388
  if ((int )t2p->tiff_samplesperpixel != 1) {
#line 1389
    tmp___19 = TIFFFileName(input);
#line 1389
    TIFFError("tiff2pdf",
              "No support for palettized image %s with not one sample per pixel",
              tmp___19);
#line 1393
    t2p->t2p_error = (enum __anonenum_t2p_err_t_54 )1;
#line 1394
    return;
  } else {

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

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

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

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

    }
  } else {

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

    }
  } else {

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

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

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

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

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

  }
#line 1505
  t2p->pdf_sample = (enum __anonenum_t2p_sample_t_53 )8;
#line 1511
  break;
  case 8: 
#line 1513
  t2p->pdf_labrange[0] = -127;
#line 1514
  t2p->pdf_labrange[1] = 127;
#line 1515
  t2p->pdf_labrange[2] = -127;
#line 1516
  t2p->pdf_labrange[3] = 127;
#line 1517
  t2p->pdf_sample = (enum __anonenum_t2p_sample_t_53 )64;
#line 1518
  t2p->pdf_colorspace = (enum __anonenum_t2p_cs_t_50 )16;
#line 1519
  break;
  case 9: 
#line 1521
  t2p->pdf_labrange[0] = 0;
#line 1522
  t2p->pdf_labrange[1] = 255;
#line 1523
  t2p->pdf_labrange[2] = 0;
#line 1524
  t2p->pdf_labrange[3] = 255;
#line 1525
  t2p->pdf_colorspace = (enum __anonenum_t2p_cs_t_50 )16;
#line 1526
  break;
  case 10: 
#line 1528
  t2p->pdf_labrange[0] = -85;
#line 1529
  t2p->pdf_labrange[1] = 85;
#line 1530
  t2p->pdf_labrange[2] = -75;
#line 1531
  t2p->pdf_labrange[3] = 124;
#line 1532
  t2p->pdf_sample = (enum __anonenum_t2p_sample_t_53 )64;
#line 1533
  t2p->pdf_colorspace = (enum __anonenum_t2p_cs_t_50 )16;
#line 1534
  break;
  case 32844: 
  case 32845: 
#line 1537
  tmp___33 = TIFFFileName(input);
#line 1537
  TIFFError("tiff2pdf",
            "No support for %s with photometric interpretation LogL/LogLuv",
            tmp___33);
#line 1541
  t2p->t2p_error = (enum __anonenum_t2p_err_t_54 )1;
#line 1542
  return;
  default: 
#line 1544
  tmp___34 = TIFFFileName(input);
#line 1544
  TIFFError("tiff2pdf", "No support for %s with photometric interpretation %u",
            tmp___34, t2p->tiff_photometric);
#line 1549
  t2p->t2p_error = (enum __anonenum_t2p_err_t_54 )1;
#line 1550
  return;
  }
   1261: /* CIL Label */ 
#line 1553
  tmp___38 = TIFFGetField(input, 284U, & t2p->tiff_planar);
   1262: /* CIL Label */ 
#line 1553
  if (tmp___38) {
#line 1554
    switch ((int )t2p->tiff_planar) {
    case 0: 
#line 1556
    tmp___35 = TIFFFileName(input);
#line 1556
    TIFFWarning("tiff2pdf", "Image %s has planar configuration 0, assuming 1",
                tmp___35);
#line 1560
    t2p->tiff_planar = (unsigned short)1;
    case 1: 
#line 1562
    break;
    case 2: 
#line 1564
    t2p->pdf_sample = (enum __anonenum_t2p_sample_t_53 )256;
#line 1565
    if ((int )t2p->tiff_bitspersample != 8) {
#line 1566
      tmp___36 = TIFFFileName(input);
#line 1566
      TIFFError("tiff2pdf",
                "No support for %s with separated planar configuration and %u bits per sample",
                tmp___36, t2p->tiff_bitspersample);
#line 1571
      t2p->t2p_error = (enum __anonenum_t2p_err_t_54 )1;
#line 1572
      return;
    } else {

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

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

  }
   1265: /* CIL Label */ 
#line 1595
  tmp___40 = TIFFGetField(input, 282U, & t2p->tiff_xres);
   1266: /* CIL Label */ 
#line 1595
  if (tmp___40 == 0) {
#line 1596
    t2p->tiff_xres = (float )0.0;
  } else {

  }
   1267: /* CIL Label */ 
#line 1598
  tmp___41 = TIFFGetField(input, 283U, & t2p->tiff_yres);
   1268: /* CIL Label */ 
#line 1598
  if (tmp___41 == 0) {
#line 1599
    t2p->tiff_yres = (float )0.0;
  } else {

  }
   1269: /* CIL Label */ 
#line 1601
  TIFFGetFieldDefaulted(input, 296U, & t2p->tiff_resunit);
   1270: /* CIL Label */ 
#line 1603
  if ((int )t2p->tiff_resunit == 3) {
#line 1604
    t2p->tiff_xres *= 2.54F;
#line 1605
    t2p->tiff_yres *= 2.54F;
  } else {
#line 1606
    if ((int )t2p->tiff_resunit != 2) {
#line 1606
      if ((int )t2p->pdf_centimeters != 0) {
#line 1608
        t2p->tiff_xres *= 2.54F;
#line 1609
        t2p->tiff_yres *= 2.54F;
      } else {

      }
    } else {

    }
  }
   1271: /* CIL Label */ 
#line 1612
  t2p_compose_pdf_page(t2p);
   1272: /* CIL Label */ 
#line 1614
  t2p->pdf_transcode = (enum __anonenum_t2p_transcode_t_52 )2;
   1273: /* CIL Label */ 
#line 1615
  if ((int )t2p->pdf_nopassthrough == 0) {
#line 1617
    if ((int )t2p->tiff_compression == 4) {
#line 1619
      tmp___42 = TIFFIsTiled(input);
#line 1619
      if (tmp___42) {
#line 1620
        t2p->pdf_transcode = (enum __anonenum_t2p_transcode_t_52 )1;
#line 1621
        t2p->pdf_compression = (enum __anonenum_t2p_compress_t_51 )1;
      } else {
#line 1619
        tmp___43 = TIFFNumberOfStrips(input);
#line 1619
        if (tmp___43 == 1U) {
#line 1620
          t2p->pdf_transcode = (enum __anonenum_t2p_transcode_t_52 )1;
#line 1621
          t2p->pdf_compression = (enum __anonenum_t2p_compress_t_51 )1;
        } else {

        }
      }
    } else {

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

          }
        }
      } else {

      }
    }
  } else {

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

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

  }
   1276: /* CIL Label */ 
#line 1696
  tmp___46 = TIFFGetField(input, 301U, & t2p->tiff_transferfunction[0],
                          & t2p->tiff_transferfunction[1],
                          & t2p->tiff_transferfunction[2]);
   1277: /* CIL Label */ 
#line 1696
  if (tmp___46) {
#line 1700
    if ((unsigned int )t2p->tiff_transferfunction[1] != (unsigned int )t2p->tiff_transferfunction[0]) {
#line 1702
      t2p->tiff_transferfunctioncount = (unsigned short)3;
    } else {
#line 1704
      t2p->tiff_transferfunctioncount = (unsigned short)1;
    }
  } else {
#line 1707
    t2p->tiff_transferfunctioncount = (unsigned short)0;
  }
   1278: /* CIL Label */ 
#line 1709
  tmp___47 = TIFFGetField(input, 318U, & xfloatp);
   1279: /* CIL Label */ 
#line 1709
  if (tmp___47 != 0) {
#line 1710
    t2p->tiff_whitechromaticities[0] = *(xfloatp + 0);
#line 1711
    t2p->tiff_whitechromaticities[1] = *(xfloatp + 1);
#line 1712
    if ((unsigned int )t2p->pdf_colorspace & 2U) {
#line 1713
      t2p->pdf_colorspace = (enum __anonenum_t2p_cs_t_50 )((unsigned int )t2p->pdf_colorspace | 32U);
    } else {

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

    }
  } else {

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

    }
  } else {

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

  }
   1283: /* CIL Label */ 
#line 1739
  tmp___50 = TIFFGetField(input, 34675U, & t2p->tiff_iccprofilelength,
                          & t2p->tiff_iccprofile);
   1284: /* CIL Label */ 
#line 1739
  if (tmp___50 != 0) {
#line 1743
    t2p->pdf_colorspace = (enum __anonenum_t2p_cs_t_50 )((unsigned int )t2p->pdf_colorspace | 128U);
  } else {
#line 1745
    t2p->tiff_iccprofilelength = 0U;
#line 1746
    t2p->tiff_iccprofile = (void *)0;
  }
   1285: /* CIL Label */ 
#line 1750
  if ((int )t2p->tiff_bitspersample == 1) {
#line 1750
    if ((int )t2p->tiff_samplesperpixel == 1) {
#line 1752
      t2p->pdf_compression = (enum __anonenum_t2p_compress_t_51 )1;
    } else {

    }
  } else {

  }
   1286: /* CIL Label */ 
#line 1757
  return;
}
}

cilRep: liveness failure for t2p_read_tiff_data: Errormsg.Error
Bug: BF(Liveness): stmtStartData is not initialized for -1: dataready: 
#line 2444
t2p_disable(output);
#line 2445
TIFFSetField(output, 262U, t2p->tiff_photometric);
#line 2446
TIFFSetField(output, 258U, t2p->tiff_bitspersample);
#line 2447
TIFFSetField(output, 277U, t2p->tiff_samplesperpixel);
#line 2448
TIFFSetField(output, 256U, t2p->tiff_width);
#line 2449
TIFFSetField(output, 257U, t2p->tiff_length);
#line 2450
TIFFSetField(output, 278U, t2p->tiff_length);
#line 2451
TIFFSetField(output, 284U, 1);
#line 2452
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 ;

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

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

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

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

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

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

    }
  } else {

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

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

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

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

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

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

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

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

      }
#line 2368
      bufferoffset += read___0;
#line 2352
      i ++;
    }
#line 2371
    if ((unsigned int )t2p->pdf_sample & 32U) {
#line 2372
      tmp___15 = _TIFFrealloc((void *)buffer,
                              t2p->tiff_datasize * (tsize_t )t2p->tiff_samplesperpixel);
#line 2372
      samplebuffer = (unsigned char *)tmp___15;
#line 2375
      if ((unsigned int )samplebuffer == (unsigned int )((void *)0)) {
#line 2376
        tmp___16 = TIFFFileName(input);
#line 2376
        TIFFError("tiff2pdf",
                  "Can\'t allocate %lu bytes of memory for t2p_readwrite_pdf_image, %s",
                  (unsigned long )t2p->tiff_datasize, tmp___16);
#line 2380
        t2p->t2p_error = (enum __anonenum_t2p_err_t_54 )1;
#line 2381
        _TIFFfree((void *)buffer);
      } else {
#line 2383
        buffer = samplebuffer;
#line 2384
        t2p->tiff_datasize *= (tsize_t )t2p->tiff_samplesperpixel;
      }
#line 2386
      t2p_sample_realize_palette(t2p, buffer);
    } else {

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

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

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

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

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

    }
  }
   1547: /* CIL Label */ 
  dataready: 
#line 2444
  t2p_disable(output);
   1548: /* CIL Label */ 
#line 2445
  TIFFSetField(output, 262U, t2p->tiff_photometric);
   1549: /* CIL Label */ 
#line 2446
  TIFFSetField(output, 258U, t2p->tiff_bitspersample);
   1550: /* CIL Label */ 
#line 2447
  TIFFSetField(output, 277U, t2p->tiff_samplesperpixel);
   1551: /* CIL Label */ 
#line 2448
  TIFFSetField(output, 256U, t2p->tiff_width);
   1552: /* CIL Label */ 
#line 2449
  TIFFSetField(output, 257U, t2p->tiff_length);
   1553: /* CIL Label */ 
#line 2450
  TIFFSetField(output, 278U, t2p->tiff_length);
   1554: /* CIL Label */ 
#line 2451
  TIFFSetField(output, 284U, 1);
   1555: /* CIL Label */ 
#line 2452
  TIFFSetField(output, 266U, 1);
   0: /* CIL Label */ 
#line 2454
  switch ((int )t2p->pdf_compression) {
  case 0: 
#line 2456
  TIFFSetField(output, 259U, 1);
#line 2457
  break;
  case 1: 
#line 2460
  TIFFSetField(output, 259U, 4);
#line 2461
  break;
  case 4: 
#line 2511
  TIFFSetField(output, 259U, 32946);
#line 2512
  if ((int )t2p->pdf_defaultcompressionquality % 100 != 0) {
#line 2513
    TIFFSetField(output, 317U, (int )t2p->pdf_defaultcompressionquality % 100);
  } else {

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

  }
#line 2522
  break;
  default: ;
#line 2525
  break;
  }
   1556: /* CIL Label */ 
#line 2528
  t2p_enable(output);
   1557: /* CIL Label */ 
#line 2529
  t2p->outputwritten = 0L;
   1558: /* CIL Label */ 
#line 2539
  bufferoffset = TIFFWriteEncodedStrip(output, 0U, (void *)buffer,
                                       t2p->tiff_datasize);
   1559: /* CIL Label */ 
#line 2543
  if ((unsigned int )buffer != (unsigned int )((void *)0)) {
#line 2544
    _TIFFfree((void *)buffer);
#line 2545
    buffer = (unsigned char *)((void *)0);
  } else {

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

  }
   1561: /* CIL Label */ 
#line 2556
  written = t2p->outputwritten;
   1562: /* CIL Label */ 
#line 2557
  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 4278
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 ;

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

  }
   2515: /* CIL Label */ 
#line 4154
  if ((double )t2p->pdf_xres == 0.0) {
#line 4155
    t2p->pdf_xres = t2p->pdf_defaultxres;
  } else {

  }
   2516: /* CIL Label */ 
#line 4156
  if ((double )t2p->pdf_yres == 0.0) {
#line 4157
    t2p->pdf_yres = t2p->pdf_defaultyres;
  } else {

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

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

  }
   2529: /* CIL Label */ 
#line 4194
  if ((t2p->tiff_tiles + t2p->pdf_page)->tiles_tilecount == 0U) {
#line 4194
    istiled = 0;
  } else {
#line 4194
    istiled = 1;
  }
   2530: /* CIL Label */ 
#line 4195
  if (istiled == 0) {
#line 4196
    t2p_compose_pdf_page_orient(& t2p->pdf_imagebox, t2p->tiff_orientation);
#line 4197
    return;
  } else {
#line 4199
    tilewidth = (t2p->tiff_tiles + t2p->pdf_page)->tiles_tilewidth;
#line 4200
    tilelength = (t2p->tiff_tiles + t2p->pdf_page)->tiles_tilelength;
#line 4201
    tilecountx = ((t2p->tiff_width + tilewidth) - 1U) / tilewidth;
#line 4204
    (t2p->tiff_tiles + t2p->pdf_page)->tiles_tilecountx = tilecountx;
#line 4205
    tilecounty = ((t2p->tiff_length + tilelength) - 1U) / tilelength;
#line 4208
    (t2p->tiff_tiles + t2p->pdf_page)->tiles_tilecounty = tilecounty;
#line 4209
    (t2p->tiff_tiles + t2p->pdf_page)->tiles_edgetilewidth = t2p->tiff_width % tilewidth;
#line 4211
    (t2p->tiff_tiles + t2p->pdf_page)->tiles_edgetilelength = t2p->tiff_length % tilelength;
#line 4213
    tiles = (t2p->tiff_tiles + t2p->pdf_page)->tiles_tiles;
#line 4214
    i2 = 0U;
#line 4214
    while (i2 < tilecounty - 1U) {
#line 4215
      i = 0U;
#line 4215
      while (i < tilecountx - 1U) {
#line 4216
        boxp = & (tiles + (i2 * tilecountx + i))->tile_box;
#line 4217
        boxp->x1 = t2p->pdf_imagebox.x1 + ((t2p->pdf_imagewidth * (float )i) * (float )tilewidth) / (float )t2p->tiff_width;
#line 4221
        boxp->x2 = t2p->pdf_imagebox.x1 + ((t2p->pdf_imagewidth * (float )(i + 1U)) * (float )tilewidth) / (float )t2p->tiff_width;
#line 4225
        boxp->y1 = t2p->pdf_imagebox.y2 - ((t2p->pdf_imagelength * (float )(i2 + 1U)) * (float )tilelength) / (float )t2p->tiff_length;
#line 4229
        boxp->y2 = t2p->pdf_imagebox.y2 - ((t2p->pdf_imagelength * (float )i2) * (float )tilelength) / (float )t2p->tiff_length;
#line 4215
        i ++;
      }
#line 4234
      boxp = & (tiles + (i2 * tilecountx + i))->tile_box;
#line 4235
      boxp->x1 = t2p->pdf_imagebox.x1 + ((t2p->pdf_imagewidth * (float )i) * (float )tilewidth) / (float )t2p->tiff_width;
#line 4239
      boxp->x2 = t2p->pdf_imagebox.x2;
#line 4240
      boxp->y1 = t2p->pdf_imagebox.y2 - ((t2p->pdf_imagelength * (float )(i2 + 1U)) * (float )tilelength) / (float )t2p->tiff_length;
#line 4244
      boxp->y2 = t2p->pdf_imagebox.y2 - ((t2p->pdf_imagelength * (float )i2) * (float )tilelength) / (float )t2p->tiff_length;
#line 4214
      i2 ++;
    }
#line 4249
    i = 0U;
#line 4249
    while (i < tilecountx - 1U) {
#line 4250
      boxp = & (tiles + (i2 * tilecountx + i))->tile_box;
#line 4251
      boxp->x1 = t2p->pdf_imagebox.x1 + ((t2p->pdf_imagewidth * (float )i) * (float )tilewidth) / (float )t2p->tiff_width;
#line 4255
      boxp->x2 = t2p->pdf_imagebox.x1 + ((t2p->pdf_imagewidth * (float )(i + 1U)) * (float )tilewidth) / (float )t2p->tiff_width;
#line 4259
      boxp->y1 = t2p->pdf_imagebox.y1;
#line 4260
      boxp->y2 = t2p->pdf_imagebox.y2 - ((t2p->pdf_imagelength * (float )i2) * (float )tilelength) / (float )t2p->tiff_length;
#line 4249
      i ++;
    }
#line 4265
    boxp = & (tiles + (i2 * tilecountx + i))->tile_box;
#line 4266
    boxp->x1 = t2p->pdf_imagebox.x1 + ((t2p->pdf_imagewidth * (float )i) * (float )tilewidth) / (float )t2p->tiff_width;
#line 4270
    boxp->x2 = t2p->pdf_imagebox.x2;
#line 4271
    boxp->y1 = t2p->pdf_imagebox.y1;
#line 4272
    boxp->y2 = t2p->pdf_imagebox.y2 - ((t2p->pdf_imagelength * (float )i2) * (float )tilelength) / (float )t2p->tiff_length;
  }
   2531: /* CIL Label */ 
#line 4277
  if ((int )t2p->tiff_orientation == 0) {
    goto _L;
  } else {
#line 4277
    if ((int )t2p->tiff_orientation == 1) {
      _L: /* CIL Label */ 
#line 4278
      i = 0U;
#line 4278
      while (i < (t2p->tiff_tiles + t2p->pdf_page)->tiles_tilecount) {
#line 4279
        t2p_compose_pdf_page_orient(& (tiles + i)->tile_box, (unsigned short)0);
#line 4278
        i ++;
      }
#line 4281
      return;
    } else {

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

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

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

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

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

cilRep: liveness failure for t2p_compose_pdf_page: Errormsg.Error
cilRep: computed liveness
cilrep: from_source: post: stmt_count: 3426
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 = 21.8614)
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 = 3426
cilRep: stmts in weighted_path = 962
cilRep: total weight = 962
cilRep: stmts in weighted_path with weight >= 1.0 = 962
cilRep: tools/tiff2pdf.c (code bank/base file; atoms [1,3426])
cilRep: 1 file(s) total in representation
search: ww_adaptive_1 begins (time = 1367977125.485818)
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: 962 -> 649
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: 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: _TIFFmemset
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 = 108.031)
search: ww_adaptive: 962 deletes
search: ww_adaptive: 29854 appends
search: ww_adaptive: 30816 possible edits
search: ready to start (time_taken = 339.34)
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 = 2.78751)
search: ww_adaptive: found best (time_taken = 0.00562215)
	variant     1/30816 = ?(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.32455)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00393605)
	variant     2/30816 = ?(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.10619)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00471687)
	variant     3/30816 = ?(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.08455)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00453401)
	variant     4/30816 = ?(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.09894)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00454283)
	variant     5/30816 = ?(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.07684)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00468206)
	variant     6/30816 = ?(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 = 2.09329)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00464392)
	variant     7/30816 = ?(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 = 0.37392)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00422001)
	variant     8/30816 = ?(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.928)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00472307)
	variant     9/30816 = ?(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.0171)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.0106869)
	variant    10/30816 = ?(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.7272)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.0106659)
	variant    11/30816 = ?(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.7482)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00464106)
	variant    12/30816 = ?(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.09388)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00440717)
	variant    13/30816 = ?(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 = 0.374858)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00446701)
	variant    14/30816 = ?(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.08973)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.010365)
	variant    15/30816 = ?(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 = 2.0887)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00995708)
	variant    16/30816 = ?(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 = 0.379075)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00937915)
	variant    17/30816 = ?(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.07635)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00820684)
	variant    18/30816 = ?(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.11123)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00760889)
	variant    19/30816 = ?(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 = 2.09415)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00844097)
	variant    20/30816 = ?(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.11925)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.0207341)
	variant    21/30816 = ?(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 = 0.377081)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00672293)
	variant    22/30816 = ?(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.09193)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00526094)
	variant    23/30816 = ?(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 = 2.18101)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00244999)
	variant    24/30816 = ?(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 = 0.372968)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00282907)
	variant    25/30816 = ?(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.09201)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00277495)
	variant    26/30816 = ?(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.07944)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00289178)
	variant    27/30816 = ?(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 = 2.09158)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.0049789)
	variant    28/30816 = ?(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.08868)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00366378)
	variant    29/30816 = ?(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 = 0.374523)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00549698)
	variant    30/30816 = ?(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.1116)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00211501)
	variant    31/30816 = ?(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.08769)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00251102)
	variant    32/30816 = ?(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 = 2.08911)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00251389)
	variant    33/30816 = ?(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.07345)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.002424)
	variant    34/30816 = ?(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 = 0.375345)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00237894)
	variant    35/30816 = ?(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.09795)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00251102)
	variant    36/30816 = ?(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 = 2.11155)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.0023098)
	variant    37/30816 = ?(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.13359)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00222611)
	variant    38/30816 = ?(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.16453)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00223207)
	variant    39/30816 = ?(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 = 0.378297)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.008003)
	variant    40/30816 = ?(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 = 2.07498)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00468206)
	variant    41/30816 = ?(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.10038)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00519109)
	variant    42/30816 = ?(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.10356)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00515199)
	variant    43/30816 = ?(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 = 0.373587)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00763893)
	variant    44/30816 = ?(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 = 2.10287)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00426412)
	variant    45/30816 = ?(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.07463)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00470495)
	variant    46/30816 = ?(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.12208)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.000213146)
	variant    47/30816 = ?(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.385818)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.000146866)
	variant    48/30816 = ?(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.09189)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 9.48906e-05)
	variant    49/30816 = ?(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.08801)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 6.91414e-06)
	variant    50/30816 = ?(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.10661)
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.57303)
search: ww_adaptive: found best (time_taken = 0.004951)
	variant    51/30816 = ?(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.36063)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00870919)
	variant    52/30816 = ?(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 = 2.09004)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00361204)
	variant    53/30816 = ?(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 = 0.375275)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00405979)
	variant    54/30816 = ?(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.1381)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.015914)
	variant    55/30816 = ?(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 = 2.09794)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00476098)
	variant    56/30816 = ?(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.07341)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00419092)
	variant    57/30816 = ?(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.08526)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00460911)
	variant    58/30816 = ?(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 = 0.373492)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.0045619)
	variant    59/30816 = ?(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 = 2.07895)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00385785)
	variant    60/30816 = ?(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.10918)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00441504)
	variant    61/30816 = ?(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.09741)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00459409)
	variant    62/30816 = ?(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 = 2.19566)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.0044229)
	variant    63/30816 = ?(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 = 0.370877)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00421286)
	variant    64/30816 = ?(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.08511)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00429392)
	variant    65/30816 = ?(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 = 2.13106)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00440598)
	variant    66/30816 = ?(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.06099)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00358009)
	variant    67/30816 = ?(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 = 0.391499)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00864196)
	variant    68/30816 = ?(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 = 2.13738)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00872898)
	variant    69/30816 = ?(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.11372)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00848889)
	variant    70/30816 = ?(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.07294)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.0109451)
	variant    71/30816 = ?(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.382698)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00609303)
	variant    72/30816 = ?(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.14703)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00418282)
	variant    73/30816 = ?(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.10073)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.005826)
	variant    74/30816 = ?(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 = 2.09368)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00575185)
	variant    75/30816 = ?(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 = 0.368236)
		p1 true (test_time = 0.124626)
		p2 true (test_time = 0.122956)
		p3 true (test_time = 0.12195)
		p4 true (test_time = 0.13525)
		p5 true (test_time = 0.138821)
		p6 true (test_time = 0.177718)
		p7 true (test_time = 0.168358)
		p8 true (test_time = 0.174727)
		p9 true (test_time = 0.173148)
		p10 true (test_time = 0.174866)
		p11 true (test_time = 0.173541)
		p12 true (test_time = 0.140225)
		p13 true (test_time = 0.137506)
		p14 true (test_time = 0.139218)
		p15 true (test_time = 0.141877)
		p16 true (test_time = 0.142911)
		p17 true (test_time = 0.144306)
		p18 true (test_time = 0.175173)
		p19 true (test_time = 0.179271)
		p20 true (test_time = 0.132912)
		p21 true (test_time = 0.23234)
		p22 true (test_time = 0.195606)
		p23 true (test_time = 0.235261)
		p24 true (test_time = 0.135549)
		p25 true (test_time = 0.14112)
		p26 true (test_time = 0.14282)
		p27 true (test_time = 0.140487)
		p28 true (test_time = 0.164408)
		p29 true (test_time = 0.173183)
		p30 true (test_time = 0.168808)
		p31 true (test_time = 0.167201)
		p32 true (test_time = 0.173676)
		p33 true (test_time = 0.17473)
		p34 true (test_time = 0.172997)
		p35 true (test_time = 0.174967)
		p36 true (test_time = 0.179276)
		p37 true (test_time = 0.172955)
		p38 true (test_time = 0.173993)
		p39 true (test_time = 0.174136)
		p40 true (test_time = 0.173341)
		p41 true (test_time = 0.173292)
		p42 true (test_time = 0.171782)
		p43 true (test_time = 0.175824)
		p44 true (test_time = 0.176112)
		p45 true (test_time = 0.17174)
		p46 true (test_time = 0.172742)
		p47 true (test_time = 0.17566)
		p48 true (test_time = 0.176153)
		p49 true (test_time = 0.174309)
		p50 true (test_time = 0.169671)
		p51 true (test_time = 0.172597)
		p52 true (test_time = 0.175479)
		p53 true (test_time = 0.173597)
		p54 true (test_time = 0.168734)
		p55 true (test_time = 0.175272)
		p56 true (test_time = 0.174035)
		p57 true (test_time = 0.172731)
		p58 true (test_time = 0.172489)
		p59 true (test_time = 0.172015)
		p60 true (test_time = 0.173407)
		p61 true (test_time = 0.17344)
		p62 true (test_time = 0.170992)
		p63 true (test_time = 0.168954)
		p64 true (test_time = 0.170796)
		p65 true (test_time = 0.169113)
		p66 true (test_time = 0.173522)
		p67 true (test_time = 0.17517)
		p68 true (test_time = 0.177584)
		p69 true (test_time = 0.172792)
		p70 true (test_time = 0.169804)
		p71 true (test_time = 0.174049)
		p72 true (test_time = 0.174805)
		p73 true (test_time = 0.175422)
		p74 true (test_time = 0.175365)
		p75 true (test_time = 0.170843)
		p76 true (test_time = 0.175449)
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: 1367977765.988961
Rep: saving test cache

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

Compile Failures: 0
Wall-Clock Seconds Elapsed: 664.083
  Activity Name                     Count Seconds = Percent of Total Time
  find_best_edit                       75   0.397 = 0.0618842%
  sanity_check                          1   0.591 = 0.0921088%
  find_k_best_edits                     2   5.361 = 0.835721%
  test                                228  74.822 = 11.665%
  progeq partition                    649  91.907 = 14.3286%
  compile                              76 129.053 = 20.1197%
  append_sources                      962 339.294 = 52.8969%
  TOTAL                                   641.426 = 96.587% (avg CPU usage)
libtiff-bug-ee2ce5b7-b5691a5a.tar.gz
Tue May  7 21:49:27 EDT 2013
shutting down
