koffi 2.3.6-beta.6 → 2.3.7

package/vendor/dragonbox/include/dragonbox/dragonbox_to_chars.h

@@ -1,108 +0,0 @@
-// Copyright 2020-2022 Junekey Jeon
-//
-// The contents of this file may be used under the terms of
-// the Apache License v2.0 with LLVM Exceptions.
-//
-//    (See accompanying file LICENSE-Apache or copy at
-//     https://llvm.org/foundation/relicensing/LICENSE.txt)
-//
-// Alternatively, the contents of this file may be used under the terms of
-// the Boost Software License, Version 1.0.
-//    (See accompanying file LICENSE-Boost or copy at
-//     https://www.boost.org/LICENSE_1_0.txt)
-//
-// Unless required by applicable law or agreed to in writing, this software
-// is distributed on an "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY
-// KIND, either express or implied.
-
-#ifndef JKJ_HEADER_DRAGONBOX_TO_CHARS
-#define JKJ_HEADER_DRAGONBOX_TO_CHARS
-
-#include "dragonbox/dragonbox.h"
-
-namespace jkj::dragonbox {
-    namespace to_chars_detail {
-        template <class Float, class FloatTraits>
-        extern char* to_chars(typename FloatTraits::carrier_uint significand, int exponent,
-                              char* buffer) noexcept;
-
-        // Avoid needless ABI overhead incurred by tag dispatch.
-        template <class PolicyHolder, class Float, class FloatTraits>
-        char* to_chars_n_impl(float_bits<Float, FloatTraits> br, char* buffer) noexcept {
-            auto const exponent_bits = br.extract_exponent_bits();
-            auto const s = br.remove_exponent_bits(exponent_bits);
-
-            if (br.is_finite(exponent_bits)) {
-                if (s.is_negative()) {
-                    *buffer = '-';
-                    ++buffer;
-                }
-                if (br.is_nonzero()) {
-                    auto result = to_decimal<Float, FloatTraits>(
-                        s, exponent_bits, policy::sign::ignore, policy::trailing_zero::remove,
-                        typename PolicyHolder::decimal_to_binary_rounding_policy{},
-                        typename PolicyHolder::binary_to_decimal_rounding_policy{},
-                        typename PolicyHolder::cache_policy{});
-                    return to_chars_detail::to_chars<Float, FloatTraits>(result.significand,
-                                                                         result.exponent, buffer);
-                }
-                else {
-                    std::memcpy(buffer, "0E0", 3);
-                    return buffer + 3;
-                }
-            }
-            else {
-                if (s.has_all_zero_significand_bits()) {
-                    if (s.is_negative()) {
-                        *buffer = '-';
-                        ++buffer;
-                    }
-                    std::memcpy(buffer, "Infinity", 8);
-                    return buffer + 8;
-                }
-                else {
-                    std::memcpy(buffer, "NaN", 3);
-                    return buffer + 3;
-                }
-            }
-        }
-    }
-
-    // Returns the next-to-end position
-    template <class Float, class FloatTraits = default_float_traits<Float>, class... Policies>
-    char* to_chars_n(Float x, char* buffer, Policies... policies) noexcept {
-        using namespace jkj::dragonbox::detail::policy_impl;
-        using policy_holder = decltype(make_policy_holder(
-            base_default_pair_list<base_default_pair<decimal_to_binary_rounding::base,
-                                                     decimal_to_binary_rounding::nearest_to_even>,
-                                   base_default_pair<binary_to_decimal_rounding::base,
-                                                     binary_to_decimal_rounding::to_even>,
-                                   base_default_pair<cache::base, cache::full>>{},
-            policies...));
-
-        return to_chars_detail::to_chars_n_impl<policy_holder>(float_bits<Float, FloatTraits>(x),
-                                                               buffer);
-    }
-
-    // Null-terminate and bypass the return value of fp_to_chars_n
-    template <class Float, class FloatTraits = default_float_traits<Float>, class... Policies>
-    char* to_chars(Float x, char* buffer, Policies... policies) noexcept {
-        auto ptr = to_chars_n<Float, FloatTraits>(x, buffer, policies...);
-        *ptr = '\0';
-        return ptr;
-    }
-
-    // Maximum required buffer size (excluding null-terminator)
-    template <class FloatFormat>
-    inline constexpr std::size_t max_output_string_length =
-        std::is_same_v<FloatFormat, ieee754_binary32>
-            ?
-            // sign(1) + significand(9) + decimal_point(1) + exp_marker(1) + exp_sign(1) + exp(2)
-            (1 + 9 + 1 + 1 + 1 + 2)
-            :
-            // format == ieee754_format::binary64
-            // sign(1) + significand(17) + decimal_point(1) + exp_marker(1) + exp_sign(1) + exp(3)
-            (1 + 17 + 1 + 1 + 1 + 3);
-}
-
-#endif

package/vendor/dragonbox/other_files/unknown_win64_vc2019.html

@@ -1,540 +0,0 @@
-<html>
-<head>
-<script src="http://code.jquery.com/jquery-1.8.2.js"></script>
-<script src="http://www.google.com/jsapi?autoload={%22modules%22:[{%22name%22:%22visualization%22,%22version%22:%221%22,%22packages%22:[%22controls%22,%22charteditor%22]}]}"></script>
-<script src="jquery.csv.js"></script>
-<link rel="stylesheet" href="http://maxcdn.bootstrapcdn.com/bootstrap/3.2.0/css/bootstrap.min.css">
-<link rel="stylesheet" href="http://maxcdn.bootstrapcdn.com/bootstrap/3.2.0/css/bootstrap-theme.min.css">
-<script src="http://maxcdn.bootstrapcdn.com/bootstrap/3.2.0/js/bootstrap.min.js"></script>
-<script>
-$(function() {
-	google.load("visualization", "1", {packages:["corechart"]});
-  google.setOnLoadCallback(function() {
-
-    var csv = $('#textInput').val();
-    var data = $.csv.toArrays(csv, {
-        onParseValue: $.csv.hooks.castToScalar
-    });
-
-    // Convert data for bar chart (summing all digits)
-    var timeData = {};	// type -> table
-    var funcRowMap;
-    var maxDigit = 0;
-
-    for (var i = 1; i < data.length; i++) {
-    	var type = data[i][0];
-   		var func = data[i][1];
-      var digit = data[i][2];
-   		var time = data[i][3];
-   		if (timeData[type] == null) {
-   			timeData[type] = [["Function", "Time (ns)"/*, { role: "style" }*/]];
-        if (digit != 0)
-   			  funcRowMap = {};
-   		}
-
-   		var table = timeData[type];
-   		
-      if (digit != 0) {
-     		if (funcRowMap[func] == null)
-     			funcRowMap[func] = table.push([func, 0]) - 1;
-     		
-     		table[funcRowMap[func]][1] += time;
-      }
-      else 
-        table.push([func, time]);
-
-      maxDigit = Math.max(maxDigit, digit);
-    }
-
-    // Compute average
-    for (var type in timeData) {
-      var table = timeData[type];
-      for (var i = 1; i < table.length; i++)
-        table[i][1] /= maxDigit;
-    }
-
-    // Convert data for drawing line chart per random digit
-    var timeDigitData = {}; // type -> table
-    var funcColumnMap;
-
-    for (var i = 1; i < data.length; i++) {
-    	var type = data[i][0];
-   		var func = data[i][1];
-		  var digit = data[i][2];
-   		var time = data[i][3];
-
-      if (digit == 0)
-        continue;
-
-   		if (timeDigitData[type] == null) {
-   			timeDigitData[type] = [["Digit"]];
-   			funcColumnMap = {};
-   		}
-
-   		var table = timeDigitData[type];
-
-   		if (funcColumnMap[func] == null)
-   			funcColumnMap[func] = table[0].push(func) - 1;
-
-   		var row;
-   		for (row = 1; row < table.length; row++)
-   			if (table[row][0] == digit)
-   				break;
-
-    	if (row == table.length)
-    		table.push([digit]);
-
-		table[row][funcColumnMap[func]] = time;
-	}
-
-	for (var type in timeData) {
-		$("#main").append(
-      $("<a>", {name: type}),
-      $("<h2>", {style: "padding-top: 70px; margin-top: -70px;"}).append(type)
-    );
-
-    $("#section").append($("<li>").append($("<a>", {href: "#" + type}).append(type)));
-
-		drawTable(type, timeData[type]);
-		drawBarChart(type, timeData[type]);
-    if (timeDigitData[type] != null)
-		  drawDigitChart(type, timeDigitData[type]);
-	}
-
-	$(".chart").each(function() {
-		var chart = $(this);
-		var d = $("#downloadDD").clone().css("display", "");
-		$('li a', d).each(function() {
-	        $(this).click(function() {
-	            var svg = chart[0].getElementsByTagName('svg')[0].parentNode.innerHTML;
-	            svg=sanitize(svg);
-	            $('#imageFilename').val($("#title").html() + "_" + chart.data("filename"));
-	            $('#imageGetFormTYPE').val($(this).attr('dltype'));
-	            $('#imageGetFormSVG').val(svg);
-	            $('#imageGetForm').submit();
-	        });
-	    });		
-		$(this).after(d);
-	});
-
-  // Add configurations
-  var thisConfig = "unknown_win64_vc2019";
-  var configurations = ["corei7920@2.67_cygwin32_gcc4.8","corei7920@2.67_cygwin64_gcc4.8","corei7920@2.67_win32_vc2013","corei7920@2.67_win64_vc2013","unknown_mac32_clang7.0","unknown_mac64_clang7.0","unknown_win64_vc2019"];
-
-  for (var i in configurations) {
-    var c = configurations[i];
-    $("#configuration").append($("<li>", {class : (c == thisConfig ? "active" : "")}).append($("<a>", {href: c + ".html"}).append(c)));
-  }
-  })
-});
-
-function drawTable(type, timeData) {
-	var data = google.visualization.arrayToDataTable(timeData);
-    data.addColumn('number', 'Speedup');
-    data.sort([{ column: 1, desc: true }]);
-    var formatter1 = new google.visualization.NumberFormat({ fractionDigits: 3 });
-    formatter1.format(data, 1);
-
-	var div = document.createElement("div");
-	div.className = "tablechart";
-	$("#main").append(div);
-    var table = new google.visualization.Table(div);
-    redrawTable(0);
-    table.setSelection([{ row: 0, column: null}]);
-
-    function redrawTable(selectedRow) {
-        // Compute relative time using the first row as basis
-        var basis = data.getValue(selectedRow, 1);
-        for (var rowIndex = 0; rowIndex < data.getNumberOfRows(); rowIndex++)
-            data.setValue(rowIndex, 2, basis / data.getValue(rowIndex, 1));
-
-        var formatter = new google.visualization.NumberFormat({suffix: 'x'});
-        formatter.format(data, 2); // Apply formatter to second column
-
-        table.draw(data);
-    }
-
-    google.visualization.events.addListener(table, 'select',
-    function() {
-        var selection = table.getSelection();
-        if (selection.length > 0) {
-            var item = selection[0];
-            if (item.row != null)
-                redrawTable(item.row);
-        }
-    });
-
-}
-
-function drawBarChart(type, timeData) {
-    var defaultColors = ["#3366cc","#dc3912","#ff9900","#109618","#990099","#0099c6","#dd4477","#66aa00","#b82e2e","#316395","#994499","#22aa99","#aaaa11","#6633cc","#e67300","#8b0707","#651067","#329262","#5574a6","#3b3eac","#b77322","#16d620","#b91383","#f4359e","#9c5935","#a9c413","#2a778d","#668d1c","#bea413","#0c5922","#743411"];
-
-	var data = google.visualization.arrayToDataTable(timeData);
-	data.addColumn({ type: "string", role: "style" })
-	for (var rowIndex = 0; rowIndex < data.getNumberOfRows(); rowIndex++)
-		data.setValue(rowIndex, 2, defaultColors[rowIndex]);
-
-    data.sort([{ column: 1, desc: true }]);
-	var options = { 
-		title: type,
-		chartArea: {'width': '70%', 'height': '70%'},
-		width: 800,
-		height: 300,
-		legend: { position: "none" },
-		hAxis: { title: "Time (ns)" }
-	};
-	var div = document.createElement("div");
-	div.className = "chart";
-	$(div).data("filename", type + "_time");
-	$("#main").append(div);
-	var chart = new google.visualization.BarChart(div);
-
-	chart.draw(data, options);
-}
-
-function drawDigitChart(type, timeDigitData) {
-	var data = google.visualization.arrayToDataTable(timeDigitData);
-
-	var options = { 
-		title: type,
-		chartArea: {left:100, 'width': '60%', 'height': '80%'},
-		hAxis: {
-			title: "Digit",
-			gridlines: { count: timeDigitData.length - 1 },
-			maxAlternation: 1,
-			minTextSpacing: 0
-		},
-		vAxis: {
-			title: "Time (ns) in log scale",
-			logScale: true,
-			minorGridlines: { count: 0 },
-      baseline: 0,
-      viewWindow: {max: 150, min: 20},
-      minorGridlines: {interval: [1,2,3,4,5,6,7,8,9,10]}
-		},
-		width: 800,
-		height: 600
-	};
-	var div = document.createElement("div");
-	div.className = "chart";
-	$(div).data("filename", type + "_timedigit");
-	$("#main").append(div);
-	var chart = new google.visualization.LineChart(div);
-
-	chart.draw(data, options);
-}
-
-// http://jsfiddle.net/P6XXM/
-function sanitize(svg) {
-    svg = svg
-        .replace(/\<svg/,'<svg xmlns="http://www.w3.org/2000/svg" version="1.1"')
-        .replace(/zIndex="[^"]+"/g, '')
-        .replace(/isShadow="[^"]+"/g, '')
-        .replace(/symbolName="[^"]+"/g, '')
-        .replace(/jQuery[0-9]+="[^"]+"/g, '')
-        .replace(/isTracker="[^"]+"/g, '')
-        .replace(/url\([^#]+#/g, 'url(#')
-        .replace('<svg xmlns:xlink="http://www.w3.org/1999/xlink" ', '<svg ')
-        .replace(/ href=/g, ' xlink:href=')
-    /*.replace(/preserveAspectRatio="none">/g, 'preserveAspectRatio="none"/>')*/
-    /* This fails in IE < 8
-    .replace(/([0-9]+)\.([0-9]+)/g, function(s1, s2, s3) { // round off to save weight
-    return s2 +'.'+ s3[0];
-    })*/
-
-    // IE specific
-        .replace(/id=([^" >]+)/g, 'id="$1"')
-        .replace(/class=([^" ]+)/g, 'class="$1"')
-        .replace(/ transform /g, ' ')
-        .replace(/:(path|rect)/g, '$1')
-        .replace(/<img ([^>]*)>/gi, '<image $1 />')
-        .replace(/<\/image>/g, '') // remove closing tags for images as they'll never have any content
-        .replace(/<image ([^>]*)([^\/])>/gi, '<image $1$2 />') // closes image tags for firefox
-        .replace(/width=(\d+)/g, 'width="$1"')
-        .replace(/height=(\d+)/g, 'height="$1"')
-        .replace(/hc-svg-href="/g, 'xlink:href="')
-        .replace(/style="([^"]+)"/g, function (s) {
-            return s.toLowerCase();
-        });
-
-    // IE9 beta bugs with innerHTML. Test again with final IE9.
-    svg = svg.replace(/(url\(#highcharts-[0-9]+)&quot;/g, '$1')
-        .replace(/&quot;/g, "'");
-    if (svg.match(/ xmlns="/g).length == 2) {
-        svg = svg.replace(/xmlns="[^"]+"/, '');
-    }
-
-    return svg;
-}
-</script>
-<style type="text/css">
-@media (min-width: 800px) {
-  .container {
-    max-width: 800px;
-  }
-}
-textarea {
-	font-family: Consolas, 'Liberation Mono', Menlo, Courier, monospace;
-}
-.tablechart {
-	width: 700px;
-	margin: auto;
-	padding-top: 20px;
-	padding-bottom: 20px;
-}
-.chart {
-	padding-top: 20px;
-	padding-bottom: 20px;
-}
-body { padding-top: 70px; }
-</style>
-</head>
-<body>
-<div class="container">
-<nav class="navbar navbar-default navbar-fixed-top" role="navigation">
-  <div class="container">
-    <!-- Brand and toggle get grouped for better mobile display -->
-    <div class="navbar-header">
-      <button type="button" class="navbar-toggle" data-toggle="collapse" data-target="#bs-example-navbar-collapse-1">
-        <span class="sr-only">Toggle navigation</span>
-        <span class="icon-bar"></span>
-        <span class="icon-bar"></span>
-        <span class="icon-bar"></span>
-      </button>
-      <a class="navbar-brand" href="https://github.com/miloyip/dtoa-benchmark"><span class="glyphicon glyphicon-home"></span> dtoa-benchmark</a>
-    </div>
-
-    <!-- Collect the nav links, forms, and other content for toggling -->
-    <div class="collapse navbar-collapse" id="bs-example-navbar-collapse-1">
-      <ul class="nav navbar-nav">
-        <li class="dropdown">
-          <a href="#" class="dropdown-toggle" data-toggle="dropdown">Configuration <span class="caret"></span></a>
-          <ul class="dropdown-menu" role="menu" id="configuration">
-          </ul>
-        </li>
-        <li class="dropdown">
-          <a href="#" class="dropdown-toggle" data-toggle="dropdown">Section <span class="caret"></span></a>
-          <ul class="dropdown-menu" role="menu" id="section">
-          </ul>
-        </li>
-      </ul>
-      <p class="navbar-text navbar-right">Developed by <a href="https://github.com/miloyip" class="navbar-link">Milo Yip</a></p>
-    </div><!-- /.navbar-collapse -->
-  </div><!-- /.container-fluid -->
-</nav>
-<div class="page-header">
-<h1 id="title">unknown_win64_vc2019</h1>
-</div>
-<div id="main"></div>
-<h2>Source CSV</h2>
-<textarea id="textInput" class="form-control" rows="5" readonly>
-  Type,Function,Digit,Time(ns)
-randomdigit,doubleconv,1,71.223000
-randomdigit,doubleconv,2,83.739000
-randomdigit,doubleconv,3,87.977000
-randomdigit,doubleconv,4,90.844000
-randomdigit,doubleconv,5,96.071000
-randomdigit,doubleconv,6,100.920000
-randomdigit,doubleconv,7,106.860000
-randomdigit,doubleconv,8,107.243000
-randomdigit,doubleconv,9,107.882000
-randomdigit,doubleconv,10,114.161000
-randomdigit,doubleconv,11,120.089000
-randomdigit,doubleconv,12,124.157000
-randomdigit,doubleconv,13,121.921000
-randomdigit,doubleconv,14,124.308000
-randomdigit,doubleconv,15,127.801000
-randomdigit,doubleconv,16,133.545000
-randomdigit,doubleconv,17,140.764000
-randomdigit,emyg,1,49.488000
-randomdigit,emyg,2,54.384000
-randomdigit,emyg,3,56.676000
-randomdigit,emyg,4,58.776000
-randomdigit,emyg,5,62.045000
-randomdigit,emyg,6,59.798000
-randomdigit,emyg,7,60.171000
-randomdigit,emyg,8,62.302000
-randomdigit,emyg,9,63.449000
-randomdigit,emyg,10,64.685000
-randomdigit,emyg,11,65.412000
-randomdigit,emyg,12,66.872000
-randomdigit,emyg,13,68.013000
-randomdigit,emyg,14,69.450000
-randomdigit,emyg,15,71.172000
-randomdigit,emyg,16,74.847000
-randomdigit,emyg,17,77.391000
-randomdigit,erthink,1,34.692000
-randomdigit,erthink,2,35.652000
-randomdigit,erthink,3,37.090000
-randomdigit,erthink,4,37.854000
-randomdigit,erthink,5,40.699000
-randomdigit,erthink,6,42.624000
-randomdigit,erthink,7,44.213000
-randomdigit,erthink,8,45.829000
-randomdigit,erthink,9,46.268000
-randomdigit,erthink,10,47.757000
-randomdigit,erthink,11,49.229000
-randomdigit,erthink,12,54.313000
-randomdigit,erthink,13,52.171000
-randomdigit,erthink,14,56.760000
-randomdigit,erthink,15,58.601000
-randomdigit,erthink,16,56.738000
-randomdigit,erthink,17,57.844000
-randomdigit,floaxie,1,32.675000
-randomdigit,floaxie,2,38.321000
-randomdigit,floaxie,3,42.846000
-randomdigit,floaxie,4,49.954000
-randomdigit,floaxie,5,56.737000
-randomdigit,floaxie,6,61.745000
-randomdigit,floaxie,7,69.012000
-randomdigit,floaxie,8,77.025000
-randomdigit,floaxie,9,83.648000
-randomdigit,floaxie,10,87.588000
-randomdigit,floaxie,11,92.134000
-randomdigit,floaxie,12,96.296000
-randomdigit,floaxie,13,98.109000
-randomdigit,floaxie,14,99.591000
-randomdigit,floaxie,15,100.592000
-randomdigit,floaxie,16,101.807000
-randomdigit,floaxie,17,101.887000
-randomdigit,fmt,1,53.977000
-randomdigit,fmt,2,57.743000
-randomdigit,fmt,3,58.027000
-randomdigit,fmt,4,57.938000
-randomdigit,fmt,5,57.543000
-randomdigit,fmt,6,58.663000
-randomdigit,fmt,7,58.296000
-randomdigit,fmt,8,59.124000
-randomdigit,fmt,9,62.657000
-randomdigit,fmt,10,63.963000
-randomdigit,fmt,11,63.576000
-randomdigit,fmt,12,64.037000
-randomdigit,fmt,13,61.003000
-randomdigit,fmt,14,60.267000
-randomdigit,fmt,15,61.596000
-randomdigit,fmt,16,64.429000
-randomdigit,fmt,17,64.504000
-randomdigit,grisu2,1,103.766000
-randomdigit,grisu2,2,113.021000
-randomdigit,grisu2,3,112.313000
-randomdigit,grisu2,4,114.278000
-randomdigit,grisu2,5,116.382000
-randomdigit,grisu2,6,118.683000
-randomdigit,grisu2,7,120.528000
-randomdigit,grisu2,8,124.457000
-randomdigit,grisu2,9,126.515000
-randomdigit,grisu2,10,127.444000
-randomdigit,grisu2,11,129.016000
-randomdigit,grisu2,12,131.285000
-randomdigit,grisu2,13,129.324000
-randomdigit,grisu2,14,131.143000
-randomdigit,grisu2,15,133.030000
-randomdigit,grisu2,16,134.716000
-randomdigit,grisu2,17,140.260000
-randomdigit,milo,1,51.258000
-randomdigit,milo,2,54.217000
-randomdigit,milo,3,56.843000
-randomdigit,milo,4,57.965000
-randomdigit,milo,5,60.638000
-randomdigit,milo,6,62.935000
-randomdigit,milo,7,64.241000
-randomdigit,milo,8,66.264000
-randomdigit,milo,9,67.355000
-randomdigit,milo,10,69.715000
-randomdigit,milo,11,72.008000
-randomdigit,milo,12,72.875000
-randomdigit,milo,13,81.763000
-randomdigit,milo,14,80.948000
-randomdigit,milo,15,85.340000
-randomdigit,milo,16,83.437000
-randomdigit,milo,17,96.519000
-randomdigit,ryu,1,54.887000
-randomdigit,ryu,2,55.220000
-randomdigit,ryu,3,54.280000
-randomdigit,ryu,4,52.602000
-randomdigit,ryu,5,51.612000
-randomdigit,ryu,6,50.740000
-randomdigit,ryu,7,49.837000
-randomdigit,ryu,8,48.804000
-randomdigit,ryu,9,46.491000
-randomdigit,ryu,10,48.427000
-randomdigit,ryu,11,46.493000
-randomdigit,ryu,12,44.799000
-randomdigit,ryu,13,43.150000
-randomdigit,ryu,14,42.205000
-randomdigit,ryu,15,40.604000
-randomdigit,ryu,16,39.912000
-randomdigit,ryu,17,39.437000
-randomdigit,dragonbox,1,29.427000
-randomdigit,dragonbox,2,31.778000
-randomdigit,dragonbox,3,30.199000
-randomdigit,dragonbox,4,31.238000
-randomdigit,dragonbox,5,29.360000
-randomdigit,dragonbox,6,30.439000
-randomdigit,dragonbox,7,28.457000
-randomdigit,dragonbox,8,30.089000
-randomdigit,dragonbox,9,29.953000
-randomdigit,dragonbox,10,30.676000
-randomdigit,dragonbox,11,31.074000
-randomdigit,dragonbox,12,30.812000
-randomdigit,dragonbox,13,29.128000
-randomdigit,dragonbox,14,28.778000
-randomdigit,dragonbox,15,30.860000
-randomdigit,dragonbox,16,28.859000
-randomdigit,dragonbox,17,33.514000
-randomdigit,dragonbox_comp,1,33.047000
-randomdigit,dragonbox_comp,2,35.702000
-randomdigit,dragonbox_comp,3,33.917000
-randomdigit,dragonbox_comp,4,36.103000
-randomdigit,dragonbox_comp,5,33.100000
-randomdigit,dragonbox_comp,6,34.315000
-randomdigit,dragonbox_comp,7,34.149000
-randomdigit,dragonbox_comp,8,36.791000
-randomdigit,dragonbox_comp,9,35.710000
-randomdigit,dragonbox_comp,10,36.800000
-randomdigit,dragonbox_comp,11,37.123000
-randomdigit,dragonbox_comp,12,36.863000
-randomdigit,dragonbox_comp,13,35.854000
-randomdigit,dragonbox_comp,14,35.038000
-randomdigit,dragonbox_comp,15,34.857000
-randomdigit,dragonbox_comp,16,34.560000
-randomdigit,dragonbox_comp,17,39.080000
-randomdigit,fmt_full_cache,1,45.122000
-randomdigit,fmt_full_cache,2,45.366000
-randomdigit,fmt_full_cache,3,49.022000
-randomdigit,fmt_full_cache,4,50.854000
-randomdigit,fmt_full_cache,5,51.579000
-randomdigit,fmt_full_cache,6,52.227000
-randomdigit,fmt_full_cache,7,51.044000
-randomdigit,fmt_full_cache,8,50.727000
-randomdigit,fmt_full_cache,9,54.859000
-randomdigit,fmt_full_cache,10,55.533000
-randomdigit,fmt_full_cache,11,53.122000
-randomdigit,fmt_full_cache,12,55.535000
-randomdigit,fmt_full_cache,13,53.757000
-randomdigit,fmt_full_cache,14,54.531000
-randomdigit,fmt_full_cache,15,54.673000
-randomdigit,fmt_full_cache,16,58.299000
-randomdigit,fmt_full_cache,17,60.408000
-</textarea>
-</div>
-<div class="row" id="downloadDD" style="display: none">
-<div class="btn-group pull-right" >
-    <button class="btn dropdown-toggle" data-toggle="dropdown"><span class="glyphicon glyphicon-picture"></span></button>
-    <ul class="dropdown-menu">
-        <li><a tabindex="-1" href="#" dltype="image/jpeg">JPEG</a></li>
-        <li><a tabindex="-1" href="#" dltype="image/png">PNG</a></li>
-        <li><a tabindex="-1" href="#" dltype="application/pdf">PDF</a></li>
-        <li><a tabindex="-1" href="#" dltype="image/svg+xml">SVG</a></li>
-    </ul>
-</div>
-</div>
-<form method="post" action="http://export.highcharts.com/" id="imageGetForm">
-    <input type="hidden" name="filename" id="imageFilename" value="" />
-    <input type="hidden" name="type" id="imageGetFormTYPE" value="" />
-    <input type="hidden" name="width" value="900" />
-    <input type="hidden" name="svg" value="" id="imageGetFormSVG" />
-</form>
-</div>
-</body>
-</html>