Project

Profile

Help

RE: Performance of SaxonHE 10.6 vs 11.2 » trace Saxon 10.6 vs 11.2.html

Vladimir Nesterovsky, 2022-02-23 07:35

 
<!DOCTYPE html>

<html lang="en" xmlns="http://www.w3.org/1999/xhtml">
<head>
<meta charset="utf-8" />
<title></title>
</head>
<body>
<table border="1">
<tr>
<th>10.6</th>
<th>11.2</th>
</tr>
<tr>
<td style="vertical-align: top">

<table style="border-collapse: collapse; border: 1px solid black; color: rgb(0, 0, 0); font-family: &quot;Times New Roman&quot;; font-size: medium; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: start; text-transform: none; white-space: normal; widows: 2; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration-thickness: initial; text-decoration-style: initial; text-decoration-color: initial;">
<thead>
<tr>
<th style="border: 1px solid black; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9pt; font-style: normal; color: rgb(61, 91, 150); text-decoration: none; line-height: 1.3em; padding: 0px 15px; text-indent: -15px; background: rgb(177, 204, 199); font-weight: bold;">instruction</th>
<th style="border: 1px solid black; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9pt; font-style: normal; color: rgb(61, 91, 150); text-decoration: none; line-height: 1.3em; padding: 0px 15px; text-indent: -15px; background: rgb(177, 204, 199); font-weight: bold;">count</th>
<th style="border: 1px solid black; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9pt; font-style: normal; color: rgb(61, 91, 150); text-decoration: none; line-height: 1.3em; padding: 0px 15px; text-indent: -15px; background: rgb(177, 204, 199); font-weight: bold;">average time (gross/ms)</th>
<th style="border: 1px solid black; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9pt; font-style: normal; color: rgb(61, 91, 150); text-decoration: none; line-height: 1.3em; padding: 0px 15px; text-indent: -15px; background: rgb(177, 204, 199); font-weight: bold;">total time (gross/ms)</th>
<th style="border: 1px solid black; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9pt; font-style: normal; color: rgb(61, 91, 150); text-decoration: none; line-height: 1.3em; padding: 0px 15px; text-indent: -15px; background: rgb(177, 204, 199); font-weight: bold;">average time (net/ms)</th>
<th style="border: 1px solid black; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9pt; font-style: normal; color: rgb(61, 91, 150); text-decoration: none; line-height: 1.3em; padding: 0px 15px; text-indent: -15px; background: rgb(177, 204, 199); font-weight: bold;">total time (net/ms)</th>
</tr>
</thead>
<tr>
<td style="border: 1px solid black; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9pt; font-style: normal; color: rgb(61, 91, 150); text-decoration: none; line-height: 1.3em; padding: 0px 15px; text-indent: -15px; font-weight: normal;">F1</td>
<td align="right" style="border: 1px solid black; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9pt; font-style: normal; color: rgb(61, 91, 150); text-decoration: none; line-height: 1.3em; padding: 0px 15px; text-indent: -15px; font-weight: normal;">66,207</td>
<td align="right" style="border: 1px solid black; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9pt; font-style: normal; color: rgb(61, 91, 150); text-decoration: none; line-height: 1.3em; padding: 0px 15px; text-indent: -15px; font-weight: normal;">0.031</td>
<td align="right" style="border: 1px solid black; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9pt; font-style: normal; color: rgb(61, 91, 150); text-decoration: none; line-height: 1.3em; padding: 0px 15px; text-indent: -15px; font-weight: normal;">2,053.036</td>
<td align="right" style="border: 1px solid black; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9pt; font-style: normal; color: rgb(61, 91, 150); text-decoration: none; line-height: 1.3em; padding: 0px 15px; text-indent: -15px; font-weight: normal;">0.012</td>
<td align="right" style="border: 1px solid black; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9pt; font-style: normal; color: rgb(61, 91, 150); text-decoration: none; line-height: 1.3em; padding: 0px 15px; text-indent: -15px; font-weight: normal;">796.725</td>
</tr>
<tr>
<td style="border: 1px solid black; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9pt; font-style: normal; color: rgb(61, 91, 150); text-decoration: none; line-height: 1.3em; padding: 0px 15px; text-indent: -15px; font-weight: normal;">F2</td>
<td align="right" style="border: 1px solid black; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9pt; font-style: normal; color: rgb(61, 91, 150); text-decoration: none; line-height: 1.3em; padding: 0px 15px; text-indent: -15px; font-weight: normal;">10,088</td>
<td align="right" style="border: 1px solid black; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9pt; font-style: normal; color: rgb(61, 91, 150); text-decoration: none; line-height: 1.3em; padding: 0px 15px; text-indent: -15px; font-weight: normal;">0.099</td>
<td align="right" style="border: 1px solid black; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9pt; font-style: normal; color: rgb(61, 91, 150); text-decoration: none; line-height: 1.3em; padding: 0px 15px; text-indent: -15px; font-weight: normal;">1,001.817</td>
<td align="right" style="border: 1px solid black; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9pt; font-style: normal; color: rgb(61, 91, 150); text-decoration: none; line-height: 1.3em; padding: 0px 15px; text-indent: -15px; font-weight: normal;">0.073</td>
<td align="right" style="border: 1px solid black; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9pt; font-style: normal; color: rgb(61, 91, 150); text-decoration: none; line-height: 1.3em; padding: 0px 15px; text-indent: -15px; font-weight: normal;">731.717</td>
</tr>
<tr>
<td style="border: 1px solid black; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9pt; font-style: normal; color: rgb(61, 91, 150); text-decoration: none; line-height: 1.3em; padding: 0px 15px; text-indent: -15px; font-weight: normal;">F3</td>
<td align="right" style="border: 1px solid black; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9pt; font-style: normal; color: rgb(61, 91, 150); text-decoration: none; line-height: 1.3em; padding: 0px 15px; text-indent: -15px; font-weight: normal;">97</td>
<td align="right" style="border: 1px solid black; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9pt; font-style: normal; color: rgb(61, 91, 150); text-decoration: none; line-height: 1.3em; padding: 0px 15px; text-indent: -15px; font-weight: normal;">103.880</td>
<td align="right" style="border: 1px solid black; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9pt; font-style: normal; color: rgb(61, 91, 150); text-decoration: none; line-height: 1.3em; padding: 0px 15px; text-indent: -15px; font-weight: normal;">10,076.334</td>
<td align="right" style="border: 1px solid black; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9pt; font-style: normal; color: rgb(61, 91, 150); text-decoration: none; line-height: 1.3em; padding: 0px 15px; text-indent: -15px; font-weight: normal;">6.929</td>
<td align="right" style="border: 1px solid black; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9pt; font-style: normal; color: rgb(61, 91, 150); text-decoration: none; line-height: 1.3em; padding: 0px 15px; text-indent: -15px; font-weight: normal;">672.107</td>
</tr>
<tr>
<td style="border: 1px solid black; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9pt; font-style: normal; color: rgb(61, 91, 150); text-decoration: none; line-height: 1.3em; padding: 0px 15px; text-indent: -15px; font-weight: normal; direction: ltr;">F4</td>
<td align="right" style="border: 1px solid black; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9pt; font-style: normal; color: rgb(61, 91, 150); text-decoration: none; line-height: 1.3em; padding: 0px 15px; text-indent: -15px; font-weight: normal;">98</td>
<td align="right" style="border: 1px solid black; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9pt; font-style: normal; color: rgb(61, 91, 150); text-decoration: none; line-height: 1.3em; padding: 0px 15px; text-indent: -15px; font-weight: normal;">27.341</td>
<td align="right" style="border: 1px solid black; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9pt; font-style: normal; color: rgb(61, 91, 150); text-decoration: none; line-height: 1.3em; padding: 0px 15px; text-indent: -15px; font-weight: normal;">2,679.386</td>
<td align="right" style="border: 1px solid black; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9pt; font-style: normal; color: rgb(61, 91, 150); text-decoration: none; line-height: 1.3em; padding: 0px 15px; text-indent: -15px; font-weight: normal;">4.594</td>
<td align="right" style="border: 1px solid black; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9pt; font-style: normal; color: rgb(61, 91, 150); text-decoration: none; line-height: 1.3em; padding: 0px 15px; text-indent: -15px; font-weight: normal;">450.201</td>
</tr>
<tr>
<td style="border: 1px solid black; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9pt; font-style: normal; color: rgb(61, 91, 150); text-decoration: none; line-height: 1.3em; padding: 0px 15px; text-indent: -15px; font-weight: normal;">F5</td>
<td align="right" style="border: 1px solid black; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9pt; font-style: normal; color: rgb(61, 91, 150); text-decoration: none; line-height: 1.3em; padding: 0px 15px; text-indent: -15px; font-weight: normal;">16,100</td>
<td align="right" style="border: 1px solid black; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9pt; font-style: normal; color: rgb(61, 91, 150); text-decoration: none; line-height: 1.3em; padding: 0px 15px; text-indent: -15px; font-weight: normal;">0.022</td>
<td align="right" style="border: 1px solid black; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9pt; font-style: normal; color: rgb(61, 91, 150); text-decoration: none; line-height: 1.3em; padding: 0px 15px; text-indent: -15px; font-weight: normal;">360.708</td>
<td align="right" style="border: 1px solid black; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9pt; font-style: normal; color: rgb(61, 91, 150); text-decoration: none; line-height: 1.3em; padding: 0px 15px; text-indent: -15px; font-weight: normal;">0.022</td>
<td align="right" style="border: 1px solid black; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9pt; font-style: normal; color: rgb(61, 91, 150); text-decoration: none; line-height: 1.3em; padding: 0px 15px; text-indent: -15px; font-weight: normal;">360.708</td>
</tr>
<tr>
<td style="border: 1px solid black; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9pt; font-style: normal; color: rgb(61, 91, 150); text-decoration: none; line-height: 1.3em; padding: 0px 15px; text-indent: -15px; font-weight: normal;">F6</td>
<td align="right" style="border: 1px solid black; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9pt; font-style: normal; color: rgb(61, 91, 150); text-decoration: none; line-height: 1.3em; padding: 0px 15px; text-indent: -15px; font-weight: normal;">97</td>
<td align="right" style="border: 1px solid black; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9pt; font-style: normal; color: rgb(61, 91, 150); text-decoration: none; line-height: 1.3em; padding: 0px 15px; text-indent: -15px; font-weight: normal;">29.602</td>
<td align="right" style="border: 1px solid black; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9pt; font-style: normal; color: rgb(61, 91, 150); text-decoration: none; line-height: 1.3em; padding: 0px 15px; text-indent: -15px; font-weight: normal;">2,871.434</td>
<td align="right" style="border: 1px solid black; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9pt; font-style: normal; color: rgb(61, 91, 150); text-decoration: none; line-height: 1.3em; padding: 0px 15px; text-indent: -15px; font-weight: normal;">3.644</td>
<td align="right" style="border: 1px solid black; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9pt; font-style: normal; color: rgb(61, 91, 150); text-decoration: none; line-height: 1.3em; padding: 0px 15px; text-indent: -15px; font-weight: normal;">353.493</td>
</tr>
<tr>
<td style="border: 1px solid black; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9pt; font-style: normal; color: rgb(61, 91, 150); text-decoration: none; line-height: 1.3em; padding: 0px 15px; text-indent: -15px; font-weight: normal;">F7</td>
<td align="right" style="border: 1px solid black; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9pt; font-style: normal; color: rgb(61, 91, 150); text-decoration: none; line-height: 1.3em; padding: 0px 15px; text-indent: -15px; font-weight: normal;">2,246</td>
<td align="right" style="border: 1px solid black; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9pt; font-style: normal; color: rgb(61, 91, 150); text-decoration: none; line-height: 1.3em; padding: 0px 15px; text-indent: -15px; font-weight: normal;">0.471</td>
<td align="right" style="border: 1px solid black; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9pt; font-style: normal; color: rgb(61, 91, 150); text-decoration: none; line-height: 1.3em; padding: 0px 15px; text-indent: -15px; font-weight: normal;">1,058.182</td>
<td align="right" style="border: 1px solid black; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9pt; font-style: normal; color: rgb(61, 91, 150); text-decoration: none; line-height: 1.3em; padding: 0px 15px; text-indent: -15px; font-weight: normal;">0.154</td>
<td align="right" style="border: 1px solid black; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9pt; font-style: normal; color: rgb(61, 91, 150); text-decoration: none; line-height: 1.3em; padding: 0px 15px; text-indent: -15px; font-weight: normal;">346.691</td>
</tr>
<tr>
<td style="border: 1px solid black; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9pt; font-style: normal; color: rgb(61, 91, 150); text-decoration: none; line-height: 1.3em; padding: 0px 15px; text-indent: -15px; font-weight: normal;">F8</td>
<td align="right" style="border: 1px solid black; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9pt; font-style: normal; color: rgb(61, 91, 150); text-decoration: none; line-height: 1.3em; padding: 0px 15px; text-indent: -15px; font-weight: normal;">58,765</td>
<td align="right" style="border: 1px solid black; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9pt; font-style: normal; color: rgb(61, 91, 150); text-decoration: none; line-height: 1.3em; padding: 0px 15px; text-indent: -15px; font-weight: normal;">0.009</td>
<td align="right" style="border: 1px solid black; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9pt; font-style: normal; color: rgb(61, 91, 150); text-decoration: none; line-height: 1.3em; padding: 0px 15px; text-indent: -15px; font-weight: normal;">510.079</td>
<td align="right" style="border: 1px solid black; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9pt; font-style: normal; color: rgb(61, 91, 150); text-decoration: none; line-height: 1.3em; padding: 0px 15px; text-indent: -15px; font-weight: normal;">0.006</td>
<td align="right" style="border: 1px solid black; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9pt; font-style: normal; color: rgb(61, 91, 150); text-decoration: none; line-height: 1.3em; padding: 0px 15px; text-indent: -15px; font-weight: normal;">326.677</td>
</tr>
<tr>
<td style="border: 1px solid black; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9pt; font-style: normal; color: rgb(61, 91, 150); text-decoration: none; line-height: 1.3em; padding: 0px 15px; text-indent: -15px; font-weight: normal;">F9</td>
<td align="right" style="border: 1px solid black; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9pt; font-style: normal; color: rgb(61, 91, 150); text-decoration: none; line-height: 1.3em; padding: 0px 15px; text-indent: -15px; font-weight: normal;">2,246</td>
<td align="right" style="border: 1px solid black; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9pt; font-style: normal; color: rgb(61, 91, 150); text-decoration: none; line-height: 1.3em; padding: 0px 15px; text-indent: -15px; font-weight: normal;">0.399</td>
<td align="right" style="border: 1px solid black; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9pt; font-style: normal; color: rgb(61, 91, 150); text-decoration: none; line-height: 1.3em; padding: 0px 15px; text-indent: -15px; font-weight: normal;">895.334</td>
<td align="right" style="border: 1px solid black; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9pt; font-style: normal; color: rgb(61, 91, 150); text-decoration: none; line-height: 1.3em; padding: 0px 15px; text-indent: -15px; font-weight: normal;">0.136</td>
<td align="right" style="border: 1px solid black; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9pt; font-style: normal; color: rgb(61, 91, 150); text-decoration: none; line-height: 1.3em; padding: 0px 15px; text-indent: -15px; font-weight: normal;">306.476</td>
</tr>
<tr>
<td style="border: 1px solid black; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9pt; font-style: normal; color: rgb(61, 91, 150); text-decoration: none; line-height: 1.3em; padding: 0px 15px; text-indent: -15px; font-weight: normal;">F10</td>
<td align="right" style="border: 1px solid black; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9pt; font-style: normal; color: rgb(61, 91, 150); text-decoration: none; line-height: 1.3em; padding: 0px 15px; text-indent: -15px; font-weight: normal;">11,722</td>
<td align="right" style="border: 1px solid black; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9pt; font-style: normal; color: rgb(61, 91, 150); text-decoration: none; line-height: 1.3em; padding: 0px 15px; text-indent: -15px; font-weight: normal;">0.024</td>
<td align="right" style="border: 1px solid black; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9pt; font-style: normal; color: rgb(61, 91, 150); text-decoration: none; line-height: 1.3em; padding: 0px 15px; text-indent: -15px; font-weight: normal;">280.510</td>
<td align="right" style="border: 1px solid black; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9pt; font-style: normal; color: rgb(61, 91, 150); text-decoration: none; line-height: 1.3em; padding: 0px 15px; text-indent: -15px; font-weight: normal;">0.022</td>
<td align="right" style="border: 1px solid black; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9pt; font-style: normal; color: rgb(61, 91, 150); text-decoration: none; line-height: 1.3em; padding: 0px 15px; text-indent: -15px; font-weight: normal;">261.759</td>
</tr>
</table>

</td>
<td style="vertical-align: top">

<table style="border-collapse: collapse; border: 1px solid black; color: rgb(0, 0, 0); font-family: &quot;Times New Roman&quot;; font-size: medium; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: start; text-transform: none; white-space: normal; widows: 2; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration-thickness: initial; text-decoration-style: initial; text-decoration-color: initial;">
<thead>
<tr>
<th style="border: 1px solid black; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9pt; font-style: normal; color: rgb(61, 91, 150); text-decoration: none; line-height: 1.3em; padding: 0px 15px; text-indent: -15px; background: rgb(177, 204, 199); font-weight: bold;">instruction</th>
<th style="border: 1px solid black; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9pt; font-style: normal; color: rgb(61, 91, 150); text-decoration: none; line-height: 1.3em; padding: 0px 15px; text-indent: -15px; background: rgb(177, 204, 199); font-weight: bold;">count</th>
<th style="border: 1px solid black; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9pt; font-style: normal; color: rgb(61, 91, 150); text-decoration: none; line-height: 1.3em; padding: 0px 15px; text-indent: -15px; background: rgb(177, 204, 199); font-weight: bold;">average time (gross/ms)</th>
<th style="border: 1px solid black; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9pt; font-style: normal; color: rgb(61, 91, 150); text-decoration: none; line-height: 1.3em; padding: 0px 15px; text-indent: -15px; background: rgb(177, 204, 199); font-weight: bold;">total time (gross/ms)</th>
<th style="border: 1px solid black; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9pt; font-style: normal; color: rgb(61, 91, 150); text-decoration: none; line-height: 1.3em; padding: 0px 15px; text-indent: -15px; background: rgb(177, 204, 199); font-weight: bold;">average time (net/ms)</th>
<th style="border: 1px solid black; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9pt; font-style: normal; color: rgb(61, 91, 150); text-decoration: none; line-height: 1.3em; padding: 0px 15px; text-indent: -15px; background: rgb(177, 204, 199); font-weight: bold;">total time (net/ms)</th>
</tr>
</thead>
<tr>
<td style="border: 1px solid black; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9pt; font-style: normal; color: rgb(61, 91, 150); text-decoration: none; line-height: 1.3em; padding: 0px 15px; text-indent: -15px; font-weight: normal;">F1</td>
<td align="right" style="border: 1px solid black; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9pt; font-style: normal; color: rgb(61, 91, 150); text-decoration: none; line-height: 1.3em; padding: 0px 15px; text-indent: -15px; font-weight: normal;">66,207</td>
<td align="right" style="border: 1px solid black; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9pt; font-style: normal; color: rgb(61, 91, 150); text-decoration: none; line-height: 1.3em; padding: 0px 15px; text-indent: -15px; font-weight: normal;">0.034</td>
<td align="right" style="border: 1px solid black; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9pt; font-style: normal; color: rgb(61, 91, 150); text-decoration: none; line-height: 1.3em; padding: 0px 15px; text-indent: -15px; font-weight: normal;">2,268.023</td>
<td align="right" style="border: 1px solid black; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9pt; font-style: normal; color: rgb(61, 91, 150); text-decoration: none; line-height: 1.3em; padding: 0px 15px; text-indent: -15px; font-weight: normal;">0.014</td>
<td align="right" style="border: 1px solid black; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9pt; font-style: normal; color: rgb(61, 91, 150); text-decoration: none; line-height: 1.3em; padding: 0px 15px; text-indent: -15px; font-weight: normal;">939.248</td>
</tr>
<tr>
<td style="border: 1px solid black; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9pt; font-style: normal; color: rgb(61, 91, 150); text-decoration: none; line-height: 1.3em; padding: 0px 15px; text-indent: -15px; font-weight: normal;">F2</td>
<td align="right" style="border: 1px solid black; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9pt; font-style: normal; color: rgb(61, 91, 150); text-decoration: none; line-height: 1.3em; padding: 0px 15px; text-indent: -15px; font-weight: normal;">10,088</td>
<td align="right" style="border: 1px solid black; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9pt; font-style: normal; color: rgb(61, 91, 150); text-decoration: none; line-height: 1.3em; padding: 0px 15px; text-indent: -15px; font-weight: normal;">0.109</td>
<td align="right" style="border: 1px solid black; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9pt; font-style: normal; color: rgb(61, 91, 150); text-decoration: none; line-height: 1.3em; padding: 0px 15px; text-indent: -15px; font-weight: normal;">1,103.546</td>
<td align="right" style="border: 1px solid black; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9pt; font-style: normal; color: rgb(61, 91, 150); text-decoration: none; line-height: 1.3em; padding: 0px 15px; text-indent: -15px; font-weight: normal;">0.079</td>
<td align="right" style="border: 1px solid black; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9pt; font-style: normal; color: rgb(61, 91, 150); text-decoration: none; line-height: 1.3em; padding: 0px 15px; text-indent: -15px; font-weight: normal;">796.393</td>
</tr>
<tr>
<td style="border: 1px solid black; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9pt; font-style: normal; color: rgb(61, 91, 150); text-decoration: none; line-height: 1.3em; padding: 0px 15px; text-indent: -15px; font-weight: normal;">F3</td>
<td align="right" style="border: 1px solid black; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9pt; font-style: normal; color: rgb(61, 91, 150); text-decoration: none; line-height: 1.3em; padding: 0px 15px; text-indent: -15px; font-weight: normal;">97</td>
<td align="right" style="border: 1px solid black; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9pt; font-style: normal; color: rgb(61, 91, 150); text-decoration: none; line-height: 1.3em; padding: 0px 15px; text-indent: -15px; font-weight: normal;">119.046</td>
<td align="right" style="border: 1px solid black; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9pt; font-style: normal; color: rgb(61, 91, 150); text-decoration: none; line-height: 1.3em; padding: 0px 15px; text-indent: -15px; font-weight: normal;">11,547.493</td>
<td align="right" style="border: 1px solid black; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9pt; font-style: normal; color: rgb(61, 91, 150); text-decoration: none; line-height: 1.3em; padding: 0px 15px; text-indent: -15px; font-weight: normal;">7.789</td>
<td align="right" style="border: 1px solid black; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9pt; font-style: normal; color: rgb(61, 91, 150); text-decoration: none; line-height: 1.3em; padding: 0px 15px; text-indent: -15px; font-weight: normal;">755.572</td>
</tr>
<tr>
<td style="border: 1px solid black; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9pt; font-style: normal; color: rgb(61, 91, 150); text-decoration: none; line-height: 1.3em; padding: 0px 15px; text-indent: -15px; font-weight: normal;">F4</td>
<td align="right" style="border: 1px solid black; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9pt; font-style: normal; color: rgb(61, 91, 150); text-decoration: none; line-height: 1.3em; padding: 0px 15px; text-indent: -15px; font-weight: normal;">98</td>
<td align="right" style="border: 1px solid black; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9pt; font-style: normal; color: rgb(61, 91, 150); text-decoration: none; line-height: 1.3em; padding: 0px 15px; text-indent: -15px; font-weight: normal;">30.372</td>
<td align="right" style="border: 1px solid black; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9pt; font-style: normal; color: rgb(61, 91, 150); text-decoration: none; line-height: 1.3em; padding: 0px 15px; text-indent: -15px; font-weight: normal;">2,976.427</td>
<td align="right" style="border: 1px solid black; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9pt; font-style: normal; color: rgb(61, 91, 150); text-decoration: none; line-height: 1.3em; padding: 0px 15px; text-indent: -15px; font-weight: normal;">5.048</td>
<td align="right" style="border: 1px solid black; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9pt; font-style: normal; color: rgb(61, 91, 150); text-decoration: none; line-height: 1.3em; padding: 0px 15px; text-indent: -15px; font-weight: normal;">494.691</td>
</tr>
<tr>
<td style="border: 1px solid black; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9pt; font-style: normal; color: rgb(61, 91, 150); text-decoration: none; line-height: 1.3em; padding: 0px 15px; text-indent: -15px; font-weight: normal;">F5</td>
<td align="right" style="border: 1px solid black; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9pt; font-style: normal; color: rgb(61, 91, 150); text-decoration: none; line-height: 1.3em; padding: 0px 15px; text-indent: -15px; font-weight: normal;">16,003</td>
<td align="right" style="border: 1px solid black; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9pt; font-style: normal; color: rgb(61, 91, 150); text-decoration: none; line-height: 1.3em; padding: 0px 15px; text-indent: -15px; font-weight: normal;">0.025</td>
<td align="right" style="border: 1px solid black; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9pt; font-style: normal; color: rgb(61, 91, 150); text-decoration: none; line-height: 1.3em; padding: 0px 15px; text-indent: -15px; font-weight: normal;">394.809</td>
<td align="right" style="border: 1px solid black; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9pt; font-style: normal; color: rgb(61, 91, 150); text-decoration: none; line-height: 1.3em; padding: 0px 15px; text-indent: -15px; font-weight: normal;">0.025</td>
<td align="right" style="border: 1px solid black; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9pt; font-style: normal; color: rgb(61, 91, 150); text-decoration: none; line-height: 1.3em; padding: 0px 15px; text-indent: -15px; font-weight: normal;">394.809</td>
</tr>
<tr>
<td style="border: 1px solid black; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9pt; font-style: normal; color: rgb(61, 91, 150); text-decoration: none; line-height: 1.3em; padding: 0px 15px; text-indent: -15px; font-weight: normal;">F7</td>
<td align="right" style="border: 1px solid black; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9pt; font-style: normal; color: rgb(61, 91, 150); text-decoration: none; line-height: 1.3em; padding: 0px 15px; text-indent: -15px; font-weight: normal;">2,246</td>
<td align="right" style="border: 1px solid black; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9pt; font-style: normal; color: rgb(61, 91, 150); text-decoration: none; line-height: 1.3em; padding: 0px 15px; text-indent: -15px; font-weight: normal;">0.578</td>
<td align="right" style="border: 1px solid black; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9pt; font-style: normal; color: rgb(61, 91, 150); text-decoration: none; line-height: 1.3em; padding: 0px 15px; text-indent: -15px; font-weight: normal;">1,297.605</td>
<td align="right" style="border: 1px solid black; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9pt; font-style: normal; color: rgb(61, 91, 150); text-decoration: none; line-height: 1.3em; padding: 0px 15px; text-indent: -15px; font-weight: normal;">0.175</td>
<td align="right" style="border: 1px solid black; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9pt; font-style: normal; color: rgb(61, 91, 150); text-decoration: none; line-height: 1.3em; padding: 0px 15px; text-indent: -15px; font-weight: normal;">392.557</td>
</tr>
<tr>
<td style="border: 1px solid black; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9pt; font-style: normal; color: rgb(61, 91, 150); text-decoration: none; line-height: 1.3em; padding: 0px 15px; text-indent: -15px; font-weight: normal;">F11</td>
<td align="right" style="border: 1px solid black; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9pt; font-style: normal; color: rgb(61, 91, 150); text-decoration: none; line-height: 1.3em; padding: 0px 15px; text-indent: -15px; font-weight: normal;">34,514</td>
<td align="right" style="border: 1px solid black; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9pt; font-style: normal; color: rgb(61, 91, 150); text-decoration: none; line-height: 1.3em; padding: 0px 15px; text-indent: -15px; font-weight: normal;">0.012</td>
<td align="right" style="border: 1px solid black; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9pt; font-style: normal; color: rgb(61, 91, 150); text-decoration: none; line-height: 1.3em; padding: 0px 15px; text-indent: -15px; font-weight: normal;">401.630</td>
<td align="right" style="border: 1px solid black; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9pt; font-style: normal; color: rgb(61, 91, 150); text-decoration: none; line-height: 1.3em; padding: 0px 15px; text-indent: -15px; font-weight: normal;">0.011</td>
<td align="right" style="border: 1px solid black; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9pt; font-style: normal; color: rgb(61, 91, 150); text-decoration: none; line-height: 1.3em; padding: 0px 15px; text-indent: -15px; font-weight: normal;">376.511</td>
</tr>
<tr>
<td style="border: 1px solid black; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9pt; font-style: normal; color: rgb(61, 91, 150); text-decoration: none; line-height: 1.3em; padding: 0px 15px; text-indent: -15px; font-weight: normal;">F6</td>
<td align="right" style="border: 1px solid black; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9pt; font-style: normal; color: rgb(61, 91, 150); text-decoration: none; line-height: 1.3em; padding: 0px 15px; text-indent: -15px; font-weight: normal;">97</td>
<td align="right" style="border: 1px solid black; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9pt; font-style: normal; color: rgb(61, 91, 150); text-decoration: none; line-height: 1.3em; padding: 0px 15px; text-indent: -15px; font-weight: normal;">35.136</td>
<td align="right" style="border: 1px solid black; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9pt; font-style: normal; color: rgb(61, 91, 150); text-decoration: none; line-height: 1.3em; padding: 0px 15px; text-indent: -15px; font-weight: normal;">3,408.223</td>
<td align="right" style="border: 1px solid black; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9pt; font-style: normal; color: rgb(61, 91, 150); text-decoration: none; line-height: 1.3em; padding: 0px 15px; text-indent: -15px; font-weight: normal;">3.808</td>
<td align="right" style="border: 1px solid black; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9pt; font-style: normal; color: rgb(61, 91, 150); text-decoration: none; line-height: 1.3em; padding: 0px 15px; text-indent: -15px; font-weight: normal;">369.399</td>
</tr>
<tr>
<td style="border: 1px solid black; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9pt; font-style: normal; color: rgb(61, 91, 150); text-decoration: none; line-height: 1.3em; padding: 0px 15px; text-indent: -15px; font-weight: normal;">F8</td>
<td align="right" style="border: 1px solid black; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9pt; font-style: normal; color: rgb(61, 91, 150); text-decoration: none; line-height: 1.3em; padding: 0px 15px; text-indent: -15px; font-weight: normal;">58,765</td>
<td align="right" style="border: 1px solid black; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9pt; font-style: normal; color: rgb(61, 91, 150); text-decoration: none; line-height: 1.3em; padding: 0px 15px; text-indent: -15px; font-weight: normal;">0.009</td>
<td align="right" style="border: 1px solid black; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9pt; font-style: normal; color: rgb(61, 91, 150); text-decoration: none; line-height: 1.3em; padding: 0px 15px; text-indent: -15px; font-weight: normal;">527.662</td>
<td align="right" style="border: 1px solid black; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9pt; font-style: normal; color: rgb(61, 91, 150); text-decoration: none; line-height: 1.3em; padding: 0px 15px; text-indent: -15px; font-weight: normal;">0.006</td>
<td align="right" style="border: 1px solid black; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9pt; font-style: normal; color: rgb(61, 91, 150); text-decoration: none; line-height: 1.3em; padding: 0px 15px; text-indent: -15px; font-weight: normal;">343.805</td>
</tr>
<tr>
<td style="border: 1px solid black; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9pt; font-style: normal; color: rgb(61, 91, 150); text-decoration: none; line-height: 1.3em; padding: 0px 15px; text-indent: -15px; font-weight: normal;">F9</td>
<td align="right" style="border: 1px solid black; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9pt; font-style: normal; color: rgb(61, 91, 150); text-decoration: none; line-height: 1.3em; padding: 0px 15px; text-indent: -15px; font-weight: normal;">2,246</td>
<td align="right" style="border: 1px solid black; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9pt; font-style: normal; color: rgb(61, 91, 150); text-decoration: none; line-height: 1.3em; padding: 0px 15px; text-indent: -15px; font-weight: normal;">0.491</td>
<td align="right" style="border: 1px solid black; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9pt; font-style: normal; color: rgb(61, 91, 150); text-decoration: none; line-height: 1.3em; padding: 0px 15px; text-indent: -15px; font-weight: normal;">1,102.175</td>
<td align="right" style="border: 1px solid black; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9pt; font-style: normal; color: rgb(61, 91, 150); text-decoration: none; line-height: 1.3em; padding: 0px 15px; text-indent: -15px; font-weight: normal;">0.146</td>
<td align="right" style="border: 1px solid black; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9pt; font-style: normal; color: rgb(61, 91, 150); text-decoration: none; line-height: 1.3em; padding: 0px 15px; text-indent: -15px; font-weight: normal;">326.869</td>
</tr>
</table>

</td>
</tr>
</table>
</body>
</html>
    (1-1/1)