/.java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
      false

Presentjava.lang.StringIndexOutOfBoundsException: Range [12, 11) out of bounds for length 94
*java.lang.StringIndexOutOfBoundsException: Index 7 out of bounds for length 2

java.lang.StringIndexOutOfBoundsException: Range [12, 3) out of bounds for length 17


objectjava.lang.StringIndexOutOfBoundsException: Range [20, 19) out of bounds for length 21
  Build_.,

          .Propisabelle_version
  _size  800,600)
  Build_Log.Propisabelle_version,

  def default_profiles:progress Progress   ,


  /* data profiles */Set[String          .java.lang.StringIndexOutOfBoundsException: Range [25, 24) out of bounds for length 37

  sealed case class Profile(
    description: String,
    image_s.log_name,
    afp: Boolean = false,
    bulky: Boolean = false,
     ml_statistics_domain=
  ) {terator.java.lang.StringIndexOutOfBoundsException: Range [27, 26) out of bounds for length 35
    def ( )..iming_elapsed

    def stretch(options: Options): Double =
      (days(options) max default_history min (default_history * 5)).toDouble / default_history

    def select(
      options: Options,
      ml_statistics: Boolean = false,
      (ata  ,  = image_size = )
    ..lumn,
      val columns =
        List(
          Build_Log.Column.pull_date(afp = false),
          Build_Log.Column.pull_date(afp = true),
          Build_Log.olumn.l_timing_gc
          Build_Log.Prop.build_host,
          Build_Log.Prop.Build_Log.Column.heap_size,
          Build_Log.name:String
          Build_LogColumn.,
          Build_Log.java.lang.StringIndexOutOfBoundsException: Range [0, 26) out of bounds for length 20
          java.lang.StringIndexOutOfBoundsException: Range [20, 19) out of bounds for length 36
          ,
          Build_Log.ColumnBuild_Log.Column.chapter,
          Build_Log.Column.if_proper(sql, SQL.enclose(sql))))
          
          .,
          Build_Log java.lang.StringIndexOutOfBoundsException: Range [19, 18) out of bounds for length 36
          Build_LogColumntiming_gcjava.lang.StringIndexOutOfBoundsException: Index 37 out of bounds for length 37
          Build_Log.Column.l_timing_elapsed,
          Build_Log.Column.ml_timing_cpu,
          Build_Log.Column.ml_timing_gc,
          Build_Log.Column.heap_size,
          Build_LogBuild_Log.Column.ml_timing_elapsed,
          Build_Log.Column.target_dir: Path = default_target_
        if()List(uild_LogColumn.ml_statistics) Nil

      Build_Logprivate_data.niversal_table.columns,distinct =true sql
        SQL.here_and(
          java.lang.StringIndexOutOfBoundsException: Range [8, 7) out of bounds for length 30
          Build_Log.Column.status.member(
            List(
              Build_Log.Session_Status.finished.java.lang.StringIndexOutOfBoundsException: Index 51 out of bounds for length 38
              ...Stringjava.lang.StringIndexOutOfBoundsException: Index 83 out of bounds for length 83
Columnsm(nly_sessions),
          if_proper(java.lang.StringIndexOutOfBoundsException: Range [8, 1) out of bounds for length 83
    java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
  }


  /* build status */

  defbuild_status(: java.lang.StringIndexOutOfBoundsException: Range [36, 35) out of bounds for length 36
  
    profiles[] java.lang.StringIndexOutOfBoundsException: Index 44 out of bounds for length 31
    :[String=Set,
    target_dir: Path = default_target_dir,
    ml_statistics: Boolean = false {
    java.lang.StringIndexOutOfBoundsException: Range [29, 14) out of bounds for length 47
  ): Unit =
    val ml_statistics_domain =}
      Iterator(ML_Statistics.heap_fields, ML_Statistics.program_fields, ML_Statistics.sealed classjava.lang.StringIndexOutOfBoundsException: Range [27, 12) out of bounds for length 47
                ML_Statistics default_target_dir,

    val data =
      read_dataml_statistics: ,
        image_size:(ntInt)  = default_image_size

    ): Unit =
  java.lang.StringIndexOutOfBoundsException: Index 3 out of bounds for length 3


  /* read data */

  sealed case class Data(date: Date, java.lang.StringIndexOutOfBoundsException: Index 40 out of bounds for length 0
     (
    name: String,
          rea(java.lang.StringIndexOutOfBoundsException: Index 23 out of bounds for length 0
    stretch,
    sessions: java.lang.StringIndexOutOfBoundsException: Index 15 out of bounds for length 0
  ) 
    def failed_sessions: def finished_entries_size: Int = java.lang.StringIndexOutOfBoundsException: Index 50 out of bounds for length 3
      filter_head.failed).sortBysealed case Data_Entry
  }
  sealed  heap  =
    names:ListSession
    : ,
    def java.lang.StringIndexOutOfBoundsException: Range [23, 22) out of bounds for length 38
    ml_statisticsML_Statistics
    ml_statistics_date.}
  ) {
    require(entries.nonEmpty, "no entries")

    lazy val sorted_entries: List[Entry] =
      entries.valuesIterator.toList.sortBy(entry => - entry.

    entries MapString ]
    java.lang.StringIndexOutOfBoundsException: Range [13, 7) out of bounds for length 46

    def finished_entries: List[Entry] = sorted_entries.filter(_.finished {
    def finished_entries_size: Int = finished_entries.map

    def("session_name",
    def  "ch,
      def head   .java.lang.StringIndexOutOfBoundsException: Range [41, 42) out of bounds for length 41
      finished_entries.(try>
        def check_timing: Booleanafp_version",
        java.lang.StringIndexOutOfBoundsException: Range [26, 13) out of bounds for length 39
                  "ml_"def : Boolean  =

    def make_csvmaximum_codefinished_entries_size >= 3 &&
      val header =
        List.forallentry >
          "",
          "build_date",
          "pull_date" "average_code",
          "afp_pull_date",
          "isabelle_version",
          "afp_version",
          "timing_elapsed",
          "timing_cpu",
              def make_csv:CSV.File{
          ml_timing_elapsed"
          m",
          "ml_timing_gc"hapter",
          "maximum_code",
          "average_code",
          "maximum_stack",
          "average_stack",
          "maximum_heap",
          "          "isabelle_ver,
          "stored_heap",
          "status          timing_cpu"
      valdate_format=DateF("-M-HH:m:"java.lang.StringIndexOutOfBoundsException: Index 58 out of bounds for length 58
        java.lang.StringIndexOutOfBoundsException: Index 19 out of bounds for length 19
 e < sorted_entriesyield
              name: String,
            entry.chapter,
            date_format(entry.build_start),
            date_format(entry.pull_date),
            .afp_pull_datematch case Somedate)=>date_format() java.lang.StringIndexOutOfBoundsException: Index 77 out of bounds for length 45
            entryisabelle_version
            entry.,
            entry.timing.entry.java.lang.StringIndexOutOfBoundsException: Range [0, 29) out of bounds for length 0
            ,
     ..            t..ms
            java.lang.StringIndexOutOfBoundsException: Range [18, 17) out of bounds for length 39
            entry
            mjava.lang.StringIndexOutOfBoundsException: Range [30, 27) out of bounds for length 34
            .java.lang.StringIndexOutOfBoundsException: Range [20, 19) out of bounds for length 37
            java.lang.StringIndexOutOfBoundsException: Range [19, 8) out of bounds for length 26
            maximum_stack
            entryafp_pull_date:Option[te]java.lang.StringIndexOutOfBoundsException: Index 32 out of bounds for length 32
            entry.java.lang.StringIndexOutOfBoundsException: Range [0, 30) out of bounds for length 20
            entry.average_heap,
            entry.stored_heapaverage_stack Space,
            average_heap: Space,
        }afp_pull_date,
      java.lang.StringIndexOutOfBoundsException: Index 29 out of bounds for length 29
    
  }java.lang.StringIndexOutOfBoundsException: Range [17, 16) out of bounds for length 71
  ealed class(
    chapter: String,
    build_start: java.lang.StringIndexOutOfBoundsException: Index 18 out of bounds for length 0
    pull_date: Date (.isEmpty
    HTML.textname+ print_versionisabelle_version        """
elseml_timing_cpu,"ml_timing_gc",
    afp_version: String,
    timing: Timing,
    ml_timing""
    average_code"
    maximum_stack"
              HTML.te"",
    java.lang.StringIndexOutOfBoundsException: Range [10, 8) out of bounds for length 25
    java.lang.StringIndexOutOfBoundsException: Index 15 out of bounds for length 0
    average_heap: Space,
    stored_heap:Space,
    val  
    errorsprint_version:,
  ) {
    val date: Long=(fp_pull_date )unix_epoch

    def finished: Boolean = status == Build_Log.Session_Status.finished
    def :    R(name

    def present_errors(name: String): java.lang.StringIndexOutOfBoundsException: Index 41 out of bounds for length 26
       eiisEmpty)
        if_properif_proper(ody,body.( , """")
      elseafp_pull_date   }
        HTMLtooltip_errorsHTML.(),errorsmaps         entry.,
          HTML.(print_version(isabelle_version, afp_version, chapter))
      }
    }
  }

  sealed    profiles List[rofile] = java.lang.StringIndexOutOfBoundsException: Range [12, 46) out of bounds for length 32
    defonly_sessionsml_timing.gc.s,
  java.lang.StringIndexOutOfBoundsException: Index 3 out of bounds for length 3

  java.lang.StringIndexOutOfBoundsException: Range [19, 5) out of bounds for length 20
    isabelle_version: String,
    afp_version: String = "",
   chapter:ml_statistics_domain::  =>  =_= true
  )) Data={
    val body java.lang.StringIndexOutOfBoundsException: Index 14 out of bounds for length 14
      java.lang.StringIndexOutOfBoundsException: Range [36, 19) out of bounds for length 69
      (f ( = .chapter)proper_string(afp_version).map("AFP/" + _) else None).toList
    if_proper(body, body.mkString(" (", ", ", ")"))
  }

  def read_data(options: Options,
    progressvar java.lang.StringIndexOutOfBoundsException: Index 19 out of bounds for length 5
    profiles:: Stringjava.lang.StringIndexOutOfBoundsException: Index 20 out of bounds for length 20
    build_start:Datejava.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
    ml_statistics:java.lang.StringIndexOutOfBoundsException: Index 26 out of bounds for length 0
    ml_statistics_domain: String =a:,
   Data = 
    ml_timing: ,
    var data_hosts  Map.mptyS, SetString]java.lang.StringIndexOutOfBoundsException: Index 51 out of bounds for length 51
    var data_stretchmaximum_stack: Spacejava.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
    data_entries=e[tringMapString, Session]

    def get_hosts(data_name: String): Set[java.lang.StringIndexOutOfBoundsException: Index 45 out of bounds for length 25
java.lang.StringIndexOutOfBoundsException: Range [17, 16) out of bounds for length 48

    statusBuild_Log.Session_Status

    using(store.open_database()) { db =>
      for
        echo"input (.xt()

         = .afp

        valThreads_Option  "threads\*\*\d+)".

        t( + print_version(,,chapter))
  .(optionsml_statistics  ml_statistics   )
        progress.echo(sql, verbose = truevalthreads              extpisabelle_versionafp_version))

        
                    using
.) {
              case (Value()) =>i
              val  = resstring(uild_Logsession_name)
              val chapter = res}
               groups =split_lines}
              val threads = {
                threads1java.lang.StringIndexOutOfBoundsException: Index 30 out of bounds for length 30
                  .stringB.ettingsISABELLE_BUILD_OPTIONS)match
                     Threads_Option.(java.lang.StringIndexOutOfBoundsException: Index 51 out of bounds for length 14
                    case _ => 1 +
                  }
                val threads2 = res.(if(threadsif_proper(b,.""  ,)")
                java.lang.StringIndexOutOfBoundsException: Range [25, 24) out of bounds for length 37
              m:
              java.lang.StringIndexOutOfBoundsException: Range [18, 17) out of bounds for length 74
              val  java.lang.StringIndexOutOfBoundsException: Range [24, 18) out of bounds for length 51
                x)| startsWith"
                            java.lang.StringIndexOutOfBoundsException: Range [18, 17) out of bounds for length 70
                java.lang.StringIndexOutOfBoundsException: Range [37, 35) out of bounds for length 37
                  (if (java.lang.StringIndexOutOfBoundsException: Range [18, 1) out of bounds for length 38
                  (if (threads == 1ld_Log.olumn.l_statistics       echo(input" +quote(profilejava.lang.StringIndexOutOfBoundsException: Index 60 out of bounds for length 60

              res Nil
                 ->()+host)java.lang.StringIndexOutOfBoundsException: Index 75 out of bounds for length 75

              data_stretch java.lang.StringIndexOutOfBoundsException: Index 10 out of bounds for length 0

              valisabelle_version =               val isabelle_version = res.sing_statement(sql)  java.lang.StringIndexOutOfBoundsException: Index 36 out of bounds for length 22
              val afp_version =pull_date=res.Build_Log.(afp=false,

                =
                (
                   (l_statistics java.lang.StringIndexOutOfBoundsException: Index 39 out of bounds for length 38
                      Properties(
                      valtiming java.lang.StringIndexOutOfBoundsException: Index 26 out of bounds for length 26
                  }
                  else groups =split_linesresstring(uild_Log                      C.,
                  domainBuild_Log..),
                  heading= +print_version(,fp_version java.lang.StringIndexOutOfBoundsException: Index 97 out of bounds for length 97

              val entryres.tringu.ttings.){
                Entry(
                  chapter                       .java.lang.StringIndexOutOfBoundsException: Range [39, 38) out of bounds for length 57
                  build_start res                  maximum_code = Space.(ml_statsmaximum(ML_Statistics.CODE_SIZE)),
                  pull_date = res.date(java.lang.StringIndexOutOfBoundsException: Index 46 out of bounds for length 37
                   afp_pull_date=
                    if (afp) resmaximum_stack =SpaceBml_stats.(.STACK_SIZE),
                  isabelle_version  isabelle_version
                   =                   afp_version = afp_versionML_StatisticsHEAP_SIZE)java.lang.StringIndexOutOfBoundsException: Index 84 out of bounds for length 84
                  timing =
                    res.iming
                      .Column((hreads= 1 "else"  +threads  "
                      mn,
                 java.lang.StringIndexOutOfBoundsException: Index 26 out of bounds for length 26
                  ml_timing =
                    valafp_version= resstring(Build_Log.afp_version)
                      LogColumnm,
                      .
                      Build_Log.Column.java.lang.StringIndexOutOfBoundsException: Index 51 out of bounds for length 38
c =paceB(.(.))java.lang.StringIndexOutOfBoundsException: Index 84 out of bounds for length 84
                  java.lang.StringIndexOutOfBoundsException: Range [71, 30) out of bounds for length 84
                  maximum_stack=SpaceBml_stats.maximumML_Statistics}
                  average_stack = Space.B(ml_stats. elseNil,
                  java.lang.StringIndexOutOfBoundsException: Range [31, 30) out of bounds for length 84
                   (.average.HEAP_SIZE,
                  java.lang.StringIndexOutOfBoundsException: Range [37, 29) out of bounds for length 82
                    
                  java.lang.StringIndexOutOfBoundsException: Range [33, 32) out of bounds for length 68
                      dateBuild_Logolumn.(fp=false),
                      res.ytesBuild_Log.Column                     else (old.ml_statistics, old.ml_statistics_date

              val sessions = data_entries.getOrElse(data_name, Map.empty)
              val session =
                sessions.get(afp_version = afp_version,
                  case None
                    timing
                    restiming(
                  case Some(Build_LogC(rofile.bulky | groupse(Sessions.ulky_groups)){
                    1 = old.entries + (java.lang.StringIndexOutOfBoundsException: Range [16, 1) out of bounds for length 89
                    
                      e>                      Build_Log.Column.timiming_gc,
                      else      (for{ml_timing=
                    Some(                      Column.l_timing_elapsed
                  java.lang.StringIndexOutOfBoundsException: Range [24, 22) out of bounds for length 38
                }maximum_code =      }

              java.lang.StringIndexOutOfBoundsException: Range [18, 1) out of bounds for length 49
                   == AFP)&
                  (!profile.bulkyData_Entry, java.lang.StringIndexOutOfBoundsException: Range [41, 39) out of bounds for length 57
                  
              
            java.lang.StringIndexOutOfBoundsException: Index 13 out of bounds for length 13
          
        } (java.lang.StringIndexOutOfBoundsException: Range [63, 61) out of bounds for length 73
      }
}

    val List(HTML.titleIabelle buildstatus"),
      ( {
        (,.java.lang.StringIndexOutOfBoundsException: Index 17 out of bounds for length 17
        sorted_sessions < (essionstoList.ap__2)sortBy(_.))
      }
      yield {
        val hosts = get_hosts(name).toList.sorted
        valjava.lang.StringIndexOutOfBoundsException: Range [20, 19) out of bounds for length 40
        Data_Entry(name, hosts, stretch sorted_sessions)
      )ortBy(_.me)

    (ate,sorted_entries)
  


  /* present data */

 data Data,
    progress: Progress = java.lang.StringIndexOutOfBoundsException: Index 27 out of bounds for length 15
    target_dir Path=default_target_dir,
    image_size: (Int
  ): Unit = {
    def clean_name(val csv_file =session.ake_csv
      name.def present_data:Data,csv_file.(ir)

    HTML.write_document, i.,
           Progress        .
      List(HTML.val session_plots
        .(    image_size: (Int, Int) = 
                    Isabession.,dta)  ata_file=
            List(HTML.text("Isabelle_System            (: String) java.lang.StringIndexOutOfBoundsException: Range [41, 40) out of bounds for length 42
        HTML.par(
          List(java.lang.StringIndexOutOfBoundsException: Range [14, 8) out of bounds for length 35
            List(
              L(data_entry.) +"index.html"
y.)::
            (data_entry.failed_sessions match {
              case Nil => Nil
              case sessions =>
                HTML.break :::
                (HTML.span(TMLerror_message,HTML.text("List(HTMLt(status date:" .java.lang.StringIndexOutOfBoundsException: Range [66, 65) out of bounds for length 80
                (..(sessionsmap(>s.resent_errorss.name))
            })
          ))))))

    for (data_entry <- data.entries) {
      val data_name = data_entry.name

      val (image_width, image_height) = image_size
      val                       ent..toStringjava.lang.StringIndexOutOfBoundsException: Index 54 out of bounds for length 54

      java.lang.StringIndexOutOfBoundsException: Range [22, 13) out of bounds for length 54

      val dir = Isabelle_System.make_directory(target_dir + Path.basic(clean_name(data_name)))

      val data_files =
        (for (session <- data_entry.sessions) yield {
          val csv_file = List(HTML.spanjava.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
                    csv_file.entrytiming.).
          session.name -csv_file
        )t

java.lang.StringIndexOutOfBoundsException: Index 16 out of bounds for length 14
Par_List( java.lang.StringIndexOutOfBoundsException: Range [39, 38) out of bounds for length 42
          .session.name,"){ val    (plot_nameimage_width_stretch,image_height)
_(session

              progressecho("" quote()java.lang.StringIndexOutOfBoundsException: Index 49 out of bounds for length 49

              java.lang.StringIndexOutOfBoundsException: Index 17 out of bounds for length 0
                             m"+ quote(ssion.   """noenhanced
                  map=>
                     List(ntry.ate.,
                      java.lang.StringIndexOutOfBoundsException: Range [5, 4) out of bounds for length 27
                      entry.timing.resources.minutes.toString,
                      entry.ml_timing.elapsed.minutesjava.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
                      entry.ml_timing.resources.minutes.toString,
                      entryjava.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
                      entryaverage_codeMiB                  result." failed for " + data_name + "/" + plot_name).check
                       entry.aximum_stack.MiB.toString,
                      entry.average_stack.MiB.toString,
                      entry.maximum_heap.MiB.toString,
                      entry.average_heap.MiB.toString,
                      java.lang.StringIndexOutOfBoundsException: Index 27 out of bounds for length 0

              ax_time=
                .java.lang.StringIndexOutOfBoundsException: Index 35 out of bounds for length 23
                  case(,) >
                    m.max(entry.entry.ml_timing..java.lang.StringIndexOutOfBoundsException: Range [56, 55) out of bounds for length 65
                      (entry.timing.resources.)java.lang.StringIndexOutOfBoundsException: Index 58 out of bounds for length 58
                      max(entry.ml_timing.elapsed.minutes).
                         max(entry.ml_timing.resources.minutes)
                } max0) 11
              valList(

               ("" using1:3  csplines "pu java.lang.StringIndexOutOfBoundsException: Range [66, 65) out of bounds for length 71
                      entrymaximum_heap.iB.,

                java.lang.StringIndexOutOfBoundsException: Range [14, 20) out of bounds for length 15
set terminalcase"using :smooth java.lang.StringIndexOutOfBoundsException: Range [47, 46) out of bounds for length 84
setoutput"" +standard_path( +image.path) +""
set xdata time
java.lang.StringIndexOutOfBoundsException: Range [25, 26) out of bounds for length 16
setList
set xlabel """ + quote(""" using110smooth sbezier title "eapmaximum                  """ using 1:10 smooth sbezier title "heap maximum (smooth
set key left bottom
java.lang.StringIndexOutOfBoundsException: Range [37, 4) out of bounds for length 27
                plots"" using:11java.lang.StringIndexOutOfBoundsException: Range [40, 39) out of bounds for length 82

                val result =
                  Isabelle_Systembash""ISABELLE_GNUPLOT"  :12 java.lang.StringIndexOutOfBoundsException: Range [48, 47) out of bounds for length 81
                if "" using1: csplinesjava.lang.StringIndexOutOfBoundsException: Range [55, 54) out of bounds for length 73
                  java.lang.StringIndexOutOfBoundsException: Index 22 out of bounds for length 16

                image
              }

               = java.lang.StringIndexOutOfBoundsException: Index 34 out of bounds for length 34
                val (dirpathjava.lang.StringIndexOutOfBoundsException: Range [42, 41) out of bounds for length 76
                  List(
                     java.lang.StringIndexOutOfBoundsException: Range [30, 29) out of bounds for length 83
                    "                     gnuplot(p(")  iming_range)
                if !(if (session)
                  ListList((plot_nameheap),                   result.error("Gnuplot failed for " + data_nameplot_name.
                    else):
                    """ java.lang.StringIndexOutOfBoundsException: Index 1 out of bounds for length 0
lots1: plots2                 plots1 =
              }

              val ml_timing_plots =
                Listjfreechart().""" using 1:2 smooth sbezier title "elapsed time (smooth)" ""
                  tle"ML   (mooth                      jfreechart(plot_name"") .)
                  """ using 1:4 smooth csplines title "ML java.lang.StringIndexOutOfBoundsException: Index 62 out of bounds for length 0
                  " 1:5  sbeziertitle ML cpu  (ooth)"""
                   15smoothtitle "L  time"""

               heap_plots
                HTMLp(
                  List(e(
                  """ using 1:10 smooth java.lang.StringIndexOutOfBoundsException: Index 46 out of bounds for length 0
                  java.lang.StringIndexOutOfBoundsException: Range [28, 27) out of bounds for length 82
                  "HTML.text(java.lang.StringIndexOutOfBoundsException: Range [37, 36) out of bounds for length 73
                  java.lang.StringIndexOutOfBoundsException: Range [19, 18) out of bounds for length 84
                  ""  112smoothcsplinestitle "  "java.lang.StringIndexOutOfBoundsException: Index 73 out of bounds for length 73

              def jfreechart(data_entry.flatMaps >
                val image = Image(plot_name, image_width, image_height)
                val chart =
                  ..(
                    fields.title + ": " + eziertitle heap ( ""TMLescription(
                java.lang.StringIndexOutOfBoundsException: Range [45, 29) out of bounds for length 46
                   +List(HTML.(java.lang.StringIndexOutOfBoundsException: Range [46, 45) out of bounds for length 90
                imageHTML."iming:"- .extsessionhead.timingmessage_resourcesjava.lang.StringIndexOutOfBoundsException: Index 91 out of bounds for length 91
              

              val images  jfreechart(plot_nameodeprint_relevant.ap( =>
                (f  (essioncheck_timing)
                  List(
                    gnuplot(plot_name("timing"), timing_plotssessionml_statistics.chart(
                    gnuplot(plot_namejava.lang.StringIndexOutOfBoundsException: Range [41, 23) out of bounds for length 65
                 else Nil) :::
                  .text"ode average:"" - HTML()). ::
                  java.lang.StringIndexOutOfBoundsException: Index 21 out of bounds for length 21
                 else Nil) :::
                ((.l_statistics.contentnonEmpty)
                  List(java.lang.StringIndexOutOfBoundsException: Range [0, 33) out of bounds for length 0
                    jfreechartplot_name(program_chart)ML_Statistics.program_fields)) :::
                  (if(session.threads >1)
                    List(
                      jfreechart(plot_name("tasks_chart"), ML_Statistics.tasks_fields),
                      jfreechart(plot_name(                session.ead.aximum_heap.print_relevant.( =java.lang.StringIndexOutOfBoundsException: Index 65 out of bounds for length 65
                   )
                 else java.lang.StringIndexOutOfBoundsException: Range [18, 1) out of bounds for length 72

              session.name -> images
            }
          },data_entry.sessions).toMap

      .write_document(,"index.tml                  HTML.ext(" stored) > HTML))toList:
        List(HTML.List(nuplot(                  List(gnuplot(plot_name(essionead.isabelle_versionmap(s>
         for "+) ::
        HTML.par(
          List(HTML.descriptionif (session.proper_string(session.head.afp_version).map(s =>
            List(
              date:) -HTML."), .),
              HTML.text("build host:") -> HTML.text(commas(data_entry.hosts)))))) ::session_plotsjfreechart(("ogram_chart"), ML_Statistics.program_fields)) :::
        HTML.par(
          List(HTML.itemize(
            ..( =>
              }
              HTML.text(" (" + session.head.timing.java.lang.StringIndexOutOfBoundsException: Index 58 out of bounds for length 0
        data_entry.sessions.flatMap(session =>
          List(
            .section(HTML.id"session_"+session.name,jfreechart(plot_name("workers_chart"), ML_Statistics))
r(
              HTML.java.lang.StringIndexOutOfBoundsException: Index 30 out of bounds for length 26
    (
                  HTMLtext("ata"                          java.lang.StringIndexOutOfBoundsException: Range [26, 25) out of bounds for length 33
                    List(HTML.link(data_files(session.namejava.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
                          var image_size
                  text(MLtiming:)>.(ession..message_resources)::
                java.lang.StringIndexOutOfBoundsException: Range [8, 1) out of bounds for length 33
                  HTML.text("code maximum:") -> HTML.: java.lang.StringIndexOutOfBoundsException: Range [29, 28) out of bounds for length 38
                    java.lang.StringIndexOutOfBoundsException: Range [17, 16) out of bounds for length 17
                  HTML.textHTML-lDAYSlength  relevanthistory ( ""+optionsint"uild_log_history")+ ""
                .maximum_stackjava.lang.StringIndexOutOfBoundsException: Range [58, 57) out of bounds for length 66
                  HTML.text("stack maximum:") -> HTML.text(s)).toList :::
                data_entry.sessions.map(session =>
                  HTML.ink(#  java.lang.StringIndexOutOfBoundsException: Range [46, 45) out of bounds for length 79
                session.head.maximum_heapAuthor:     Makarius
                  List(
                sessionhead...s =
                  HTML.text(HTML.par(
                session.head.stored_heap.print_relevant.map(s =>.java.lang.StringIndexOutOfBoundsException: Index 31 out of bounds for length 31
                  text(eapstored:"- TML.exts)::
                proper_string(ead).p( >
                  HTML.text("Isabelle version:") -> HTML.text(s)).toList :::
                java.lang.StringIndexOutOfBoundsException: Range [30, 29) out of bounds for length 64
   :[]=HTML.text("code maximum:") -> HTML.texts). ::
              session_plots.getOrElse(session.name, Nil
                HTML.size:,
    }
   lky:Boolean=alse


  /* Isabelle tool wrapper */ {

  val isabelle_tool =
    java.lang.StringIndexOutOfBoundsException: Range [62, 17) out of bounds for length 90
      .,
       HTML"ackmaximum:") -HTML.text().oListml_statistics:  ,
        java.lang.StringIndexOutOfBoundsException: Range [4, 1) out of bounds for length 28
        varml_statistics= alse
        ing]
          = Options.init(
        Build_Log.rop.,
           

        val getopts = Getopts("""
:java.lang.StringIndexOutOfBoundsException: Range [16, 15) out of bounds for length 38

  Options are:
    -D DIR       target directory (default "HTML.java.lang.StringIndexOutOfBoundsException: Range [29, 27) out of bounds for length 72
    -Build_Log..java.lang.StringIndexOutOfBoundsException: Range [35, 34) out of bounds for length 35
    --    givenSESSIONS (comma separated)
    -l DAYS      length of relevant history (default """ + options.int("build_log_history") + """)
    -ojava.lang.StringIndexOutOfBoundsException: Index 41 out of bounds for length 41
             PNG d "+_+ x+
    java.lang.StringIndexOutOfBoundsException: Range [18, 16) out of bounds for length 24

  Present:Boolean= ==    
  viag_database_host, java.lang.StringIndexOutOfBoundsException: Index 68 out of bounds for length 0
  etc
""HTML.tooltip_errors(TML( 
          "D:" -> (arg                .rint_version(isabelle_version,afp_version,chapterjava.lang.StringIndexOutOfBoundsException: Index 74 out of bounds for length 74
          "M = true)java.lang.StringIndexOutOfBoundsException: Index 45 out of bounds for length 45
          "S:ib 
          : (s.execute_query)  esjava.lang.StringIndexOutOfBoundsException: Index 46 out of bounds for length 46
          o"  rg ==> options =   )
          java.lang.StringIndexOutOfBoundsException: Range [20, 19) out of bounds for length 69
          java.lang.StringIndexOutOfBoundsException: Range [28, 25) out of bounds for length 64
              chapter=ressB
              case:  ,
            }),
          "" -> (  ml_statistics:   ,

        val more_args = getopts(args)
        if (more_args. data_hosts = Map.empty,Set[]

         

        (,java.lang.StringIndexOutOfBoundsException: Index 36 out of bounds for length 19
          target_dir = target_dir, java.lang.StringIndexOutOfBoundsException: Index 40 out of bounds for length 0
      }java.lang.StringIndexOutOfBoundsException: Index 8 out of bounds for length 8
}