从PCRE到Hyperscan 性能对比

骑猪看日落 2022-06-09 14:22 721阅读 0赞

Hyperscan作为高性能的正则表达式匹配库，使用者通常乐意将其与传统的正则表达式匹配库进行比较。“为什么要用Hyperscan？”“使用Hyperscan对我有怎样的好处？”本文以一款广泛使用的传统的正则表达式匹配库PCRE为例，说明Hyperscan与PCRE的差异与优势。 PCRE简介        PCRE是Perl Compatible Regular Expressions的简称，是一款十分流行的用C语言编写的正则表达式匹配库，其灵感来源于Perl语言中的正则表达式功能，其语法比POSIX和其他许多正则表达式库更强大更灵活。 PCRE与Hyperscan的功能对比        PCRE只支持块模式编译和匹配，而Hyperscan不仅支持块模式，还支持流模式。流模式在真实的网络应用场景中更加实用和灵活。PCRE只支持单条正则表达式的编译和匹配，而Hyperscan可支持多条正则表达式的编译和匹配。在实际应用中经常会遇到多条正则规则的场景，对此Hyperscan可以做到一次编译和一次匹配即完成所有任务，非常高效。 从PCRE到Hyperscan的接口替换PCRE与Hyperscan的常用接口类似，也分为编译期和运行期。 编译期接口替换：在使用PCRE的产品中，通常用下面的接口对每一条正则规则分别进行编译:

<table style="margin-left: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit; font-size: 12px; line-height: inherit; vertical-align: baseline; margin-top: 0px !important; margin-right: 0px !important; margin-bottom: 0px !important; padding: 0px !important; border: none !important; border-collapse: collapse !important; border-spacing: 0px !important; width: auto !important; background: none !important; table-layout: auto !important;"> 
 <tbody style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit;font-size:undefined; line-height: inherit; vertical-align: baseline;"> 
  <tr style="font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit;font-size:undefined; line-height: inherit; background: 0px center; margin: 0px !important; padding: 0px !important; border: none !important; vertical-align: top !important;"> 
   <td style="margin: 0px !important; padding: 0px !important; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit;font-size:undefined; line-height: inherit; font-family: Monaco, MonacoRegular, &quot;Courier New&quot;, monospace !important; vertical-align: top !important; background: rgb(223, 239, 255) !important; color: rgb(84, 153, 222) !important;"> 
    <div style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit; vertical-align: baseline; background: 0px center; white-space: nowrap; line-height: 15px !important;"> 
     <div style="margin: 0px; padding: 0px 5px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; background: 0px center; text-align: center; height: inherit;">
       1 
     </div> 
     <div style="margin: 0px; padding: 0px 5px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; background: rgb(200, 225, 250) !important; text-align: center; height: inherit; color: rgb(49, 124, 197) !important;">
       2 
     </div> 
     <div style="margin: 0px; padding: 0px 5px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; background: 0px center; text-align: center; height: inherit;">
       3 
     </div> 
     <div style="margin: 0px; padding: 0px 5px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; background: rgb(200, 225, 250) !important; text-align: center; height: inherit; color: rgb(49, 124, 197) !important;">
       4 
     </div> 
    </div></td> 
   <td style="margin: 0px !important; padding: 0px !important; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit;font-size:undefined; line-height: inherit; font-family: Monaco, MonacoRegular, &quot;Courier New&quot;, monospace !important; vertical-align: top !important; background: 0px center; width: 720px;"> 
    <div style="margin: 0px; padding: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit; vertical-align: baseline; white-space: pre; overflow: visible; tab-size: 4; border: none !important; line-height: 15px !important; background: none !important;"> 
     <div style="margin: 0px; padding: 0px 5px; border: 0px; font-style: inherit; font-variant: inherit; font-stretch: inherit; font-family: inherit; vertical-align: baseline; background: 0px center; height: inherit; font-weight: inherit !important; font-size: inherit !important; line-height: inherit !important;"> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(184, 92, 0) !important;">#include &lt;pcre.h&gt;</span> 
     </div> 
     <div style="margin: 0px; padding: 0px 5px; border: 0px; font-style: inherit; font-variant: inherit; font-stretch: inherit; font-family: inherit; vertical-align: baseline; height: inherit; font-weight: inherit !important; font-size: inherit !important; line-height: inherit !important; background: rgb(247, 247, 247) !important;"> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(0, 45, 122) !important;">pcre</span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(0, 111, 224) !important;"> </span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(0, 111, 224) !important;">*</span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(0, 78, 208) !important;">pcre_compile2</span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(51, 51, 51) !important;">(</span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(128, 0, 128) !important;">const</span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(0, 111, 224) !important;"> </span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(128, 0, 128) !important;">char</span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(0, 111, 224) !important;"> </span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(0, 111, 224) !important;">*</span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(0, 45, 122) !important;">pattern</span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(51, 51, 51) !important;">,</span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(0, 111, 224) !important;"> </span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(128, 0, 128) !important;">int</span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(0, 111, 224) !important;"> </span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(0, 45, 122) !important;">options</span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(51, 51, 51) !important;">,</span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(0, 111, 224) !important;"> </span> 
     </div> 
     <div style="margin: 0px; padding: 0px 5px; border: 0px; font-style: inherit; font-variant: inherit; font-stretch: inherit; font-family: inherit; vertical-align: baseline; background: 0px center; height: inherit; font-weight: inherit !important; font-size: inherit !important; line-height: inherit !important;"> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(0, 111, 224) !important;">&nbsp;&nbsp;&nbsp;&nbsp;</span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(128, 0, 128) !important;">int</span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(0, 111, 224) !important;"> </span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(0, 111, 224) !important;">*</span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(0, 45, 122) !important;">errorcodeptr</span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(51, 51, 51) !important;">,</span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(0, 111, 224) !important;"> </span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(128, 0, 128) !important;">const</span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(0, 111, 224) !important;"> </span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(128, 0, 128) !important;">char</span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(0, 111, 224) !important;"> </span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(0, 111, 224) !important;">*</span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(0, 111, 224) !important;">*</span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(0, 45, 122) !important;">errptr</span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(51, 51, 51) !important;">,</span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(0, 111, 224) !important;"> </span> 
     </div> 
     <div style="margin: 0px; padding: 0px 5px; border: 0px; font-style: inherit; font-variant: inherit; font-stretch: inherit; font-family: inherit; vertical-align: baseline; height: inherit; font-weight: inherit !important; font-size: inherit !important; line-height: inherit !important; background: rgb(247, 247, 247) !important;"> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(0, 111, 224) !important;">&nbsp;&nbsp;&nbsp;&nbsp;</span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(128, 0, 128) !important;">int</span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(0, 111, 224) !important;"> </span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(0, 111, 224) !important;">*</span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(0, 45, 122) !important;">erroffset</span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(51, 51, 51) !important;">,</span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(0, 111, 224) !important;"> </span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(128, 0, 128) !important;">const</span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(0, 111, 224) !important;"> </span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(128, 0, 128) !important;">unsigned</span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(0, 111, 224) !important;"> </span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(128, 0, 128) !important;">char</span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(0, 111, 224) !important;"> </span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(0, 111, 224) !important;">*</span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(0, 45, 122) !important;">tableptr</span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(51, 51, 51) !important;">)</span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(51, 51, 51) !important;">;</span> 
     </div> 
    </div></td> 
  </tr> 
 </tbody> 
</table>

若要替换为Hyperscan的编译接口十分方便：

参数说明：expression – 单条正则规则。对应pcre的pattern。flags – 正则规则的标志。对应pcre的options。mode – 模式选择，与pcre对应的是块模式。

platform – 平台信息。

db – 返回编译生成的Hyperscan数据库。对应pcre编译的返回值。

error – 返回编译错误信息。

返回值为成功或错误码。

另外Hyperscan为多模式匹配提供了接口：

<table style="margin-left: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit; font-size: 12px; line-height: inherit; vertical-align: baseline; margin-top: 0px !important; margin-right: 0px !important; margin-bottom: 0px !important; padding: 0px !important; border: none !important; border-collapse: collapse !important; border-spacing: 0px !important; width: auto !important; background: none !important; table-layout: auto !important;"> 
 <tbody style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit;font-size:undefined; line-height: inherit; vertical-align: baseline;"> 
  <tr style="font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit;font-size:undefined; line-height: inherit; background: 0px center; margin: 0px !important; padding: 0px !important; border: none !important; vertical-align: top !important;"> 
   <td style="margin: 0px !important; padding: 0px !important; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit;font-size:undefined; line-height: inherit; font-family: Monaco, MonacoRegular, &quot;Courier New&quot;, monospace !important; vertical-align: top !important; background: rgb(223, 239, 255) !important; color: rgb(84, 153, 222) !important;"> 
    <div style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit; vertical-align: baseline; background: 0px center; white-space: nowrap; line-height: 15px !important;"> 
     <div style="margin: 0px; padding: 0px 5px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; background: 0px center; text-align: center; height: inherit;">
       1 
     </div> 
     <div style="margin: 0px; padding: 0px 5px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; background: rgb(200, 225, 250) !important; text-align: center; height: inherit; color: rgb(49, 124, 197) !important;">
       2 
     </div> 
     <div style="margin: 0px; padding: 0px 5px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; background: 0px center; text-align: center; height: inherit;">
       3 
     </div> 
     <div style="margin: 0px; padding: 0px 5px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; background: rgb(200, 225, 250) !important; text-align: center; height: inherit; color: rgb(49, 124, 197) !important;">
       4 
     </div> 
     <div style="margin: 0px; padding: 0px 5px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; background: 0px center; text-align: center; height: inherit;">
       5 
     </div> 
    </div></td> 
   <td style="margin: 0px !important; padding: 0px !important; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit;font-size:undefined; line-height: inherit; font-family: Monaco, MonacoRegular, &quot;Courier New&quot;, monospace !important; vertical-align: top !important; background: 0px center; width: 720px;"> 
    <div style="margin: 0px; padding: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit; vertical-align: baseline; white-space: pre; overflow: visible; tab-size: 4; border: none !important; line-height: 15px !important; background: none !important;"> 
     <div style="margin: 0px; padding: 0px 5px; border: 0px; font-style: inherit; font-variant: inherit; font-stretch: inherit; font-family: inherit; vertical-align: baseline; background: 0px center; height: inherit; font-weight: inherit !important; font-size: inherit !important; line-height: inherit !important;"> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(0, 78, 208) !important;">hs_error_t </span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(0, 78, 208) !important;">hs_compile_multi</span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(51, 51, 51) !important;">(</span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(128, 0, 128) !important;">const</span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(0, 111, 224) !important;"> </span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(128, 0, 128) !important;">char</span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(0, 111, 224) !important;"> </span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(0, 111, 224) !important;">*</span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(128, 0, 128) !important;">const</span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(0, 111, 224) !important;"> </span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(0, 111, 224) !important;">*</span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(0, 45, 122) !important;">expressions</span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(51, 51, 51) !important;">,</span> 
     </div> 
     <div style="margin: 0px; padding: 0px 5px; border: 0px; font-style: inherit; font-variant: inherit; font-stretch: inherit; font-family: inherit; vertical-align: baseline; height: inherit; font-weight: inherit !important; font-size: inherit !important; line-height: inherit !important; background: rgb(247, 247, 247) !important;"> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(0, 111, 224) !important;">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; </span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(128, 0, 128) !important;">const</span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(0, 111, 224) !important;"> </span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(128, 0, 128) !important;">unsigned</span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(0, 111, 224) !important;"> </span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(128, 0, 128) !important;">int</span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(0, 111, 224) !important;"> </span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(0, 111, 224) !important;">*</span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(0, 45, 122) !important;">flags</span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(51, 51, 51) !important;">,</span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(0, 111, 224) !important;"> </span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(128, 0, 128) !important;">const</span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(0, 111, 224) !important;"> </span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(128, 0, 128) !important;">unsigned</span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(0, 111, 224) !important;"> </span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(128, 0, 128) !important;">int</span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(0, 111, 224) !important;"> </span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(0, 111, 224) !important;">*</span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(0, 45, 122) !important;">ids</span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(51, 51, 51) !important;">,</span> 
     </div> 
     <div style="margin: 0px; padding: 0px 5px; border: 0px; font-style: inherit; font-variant: inherit; font-stretch: inherit; font-family: inherit; vertical-align: baseline; background: 0px center; height: inherit; font-weight: inherit !important; font-size: inherit !important; line-height: inherit !important;"> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(0, 111, 224) !important;">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; </span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(128, 0, 128) !important;">unsigned</span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(0, 111, 224) !important;"> </span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(128, 0, 128) !important;">int</span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(0, 111, 224) !important;"> </span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(0, 45, 122) !important;">elements</span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(51, 51, 51) !important;">,</span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(0, 111, 224) !important;"> </span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(128, 0, 128) !important;">unsigned</span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(0, 111, 224) !important;"> </span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(128, 0, 128) !important;">int</span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(0, 111, 224) !important;"> </span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(128, 0, 128) !important;">mode</span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(51, 51, 51) !important;">,</span> 
     </div> 
     <div style="margin: 0px; padding: 0px 5px; border: 0px; font-style: inherit; font-variant: inherit; font-stretch: inherit; font-family: inherit; vertical-align: baseline; height: inherit; font-weight: inherit !important; font-size: inherit !important; line-height: inherit !important; background: rgb(247, 247, 247) !important;"> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(0, 111, 224) !important;">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; </span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(128, 0, 128) !important;">const</span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(0, 111, 224) !important;"> </span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(0, 45, 122) !important;">hs_platform_info_t</span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(0, 111, 224) !important;"> </span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(0, 111, 224) !important;">*</span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(0, 45, 122) !important;">platform</span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(51, 51, 51) !important;">,</span> 
     </div> 
     <div style="margin: 0px; padding: 0px 5px; border: 0px; font-style: inherit; font-variant: inherit; font-stretch: inherit; font-family: inherit; vertical-align: baseline; background: 0px center; height: inherit; font-weight: inherit !important; font-size: inherit !important; line-height: inherit !important;"> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(0, 111, 224) !important;">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; </span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(0, 45, 122) !important;">hs_database_t</span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(0, 111, 224) !important;"> </span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(0, 111, 224) !important;">*</span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(0, 111, 224) !important;">*</span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(0, 45, 122) !important;">db</span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(51, 51, 51) !important;">,</span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(0, 111, 224) !important;"> </span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(0, 45, 122) !important;">hs_compile_error_t</span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(0, 111, 224) !important;"> </span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(0, 111, 224) !important;">*</span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(0, 111, 224) !important;">*</span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(0, 45, 122) !important;">error</span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(51, 51, 51) !important;">)</span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(51, 51, 51) !important;">;</span> 
     </div> 
    </div></td> 
  </tr> 
 </tbody> 
</table>

该接口支持多条正则规则同时编译生成一个Hyperscan数据库，其中参数与hs\_compile()的区别为：expressions – 多条正则规则的数组。flags – 多条正则规则的标志数组。Ids – 多条正则规则的id数组。

elements – 正则规则的数量。

其余部分保持不变。

运行期接口替换：得到编译好的pcre数据库后，通常使用下面的接口对输入语料进行扫描：

替换为Hyperscan的运行接口也很方便：

<table style="margin-left: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit; font-size: 12px; line-height: inherit; vertical-align: baseline; margin-top: 0px !important; margin-right: 0px !important; margin-bottom: 0px !important; padding: 0px !important; border: none !important; border-collapse: collapse !important; border-spacing: 0px !important; width: auto !important; background: none !important; table-layout: auto !important;"> 
 <tbody style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit;font-size:undefined; line-height: inherit; vertical-align: baseline;"> 
  <tr style="font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit;font-size:undefined; line-height: inherit; background: 0px center; margin: 0px !important; padding: 0px !important; border: none !important; vertical-align: top !important;"> 
   <td style="margin: 0px !important; padding: 0px !important; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit;font-size:undefined; line-height: inherit; font-family: Monaco, MonacoRegular, &quot;Courier New&quot;, monospace !important; vertical-align: top !important; background: rgb(223, 239, 255) !important; color: rgb(84, 153, 222) !important;"> 
    <div style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit; vertical-align: baseline; background: 0px center; white-space: nowrap; line-height: 15px !important;"> 
     <div style="margin: 0px; padding: 0px 5px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; background: 0px center; text-align: center; height: inherit;">
       1 
     </div> 
     <div style="margin: 0px; padding: 0px 5px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; background: rgb(200, 225, 250) !important; text-align: center; height: inherit; color: rgb(49, 124, 197) !important;">
       2 
     </div> 
     <div style="margin: 0px; padding: 0px 5px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; background: 0px center; text-align: center; height: inherit;">
       3 
     </div> 
     <div style="margin: 0px; padding: 0px 5px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; background: rgb(200, 225, 250) !important; text-align: center; height: inherit; color: rgb(49, 124, 197) !important;">
       4 
     </div> 
    </div></td> 
   <td style="margin: 0px !important; padding: 0px !important; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit;font-size:undefined; line-height: inherit; font-family: Monaco, MonacoRegular, &quot;Courier New&quot;, monospace !important; vertical-align: top !important; background: 0px center; width: 720px;"> 
    <div style="margin: 0px; padding: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit; vertical-align: baseline; white-space: pre; overflow: visible; tab-size: 4; border: none !important; line-height: 15px !important; background: none !important;"> 
     <div style="margin: 0px; padding: 0px 5px; border: 0px; font-style: inherit; font-variant: inherit; font-stretch: inherit; font-family: inherit; vertical-align: baseline; background: 0px center; height: inherit; font-weight: inherit !important; font-size: inherit !important; line-height: inherit !important;"> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(0, 78, 208) !important;">hs_error_t </span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(0, 78, 208) !important;">hs_scan</span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(51, 51, 51) !important;">(</span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(128, 0, 128) !important;">const</span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(0, 111, 224) !important;"> </span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(0, 45, 122) !important;">hs_database_t</span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(0, 111, 224) !important;"> </span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(0, 111, 224) !important;">*</span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(0, 45, 122) !important;">db</span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(51, 51, 51) !important;">,</span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(0, 111, 224) !important;"> </span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(128, 0, 128) !important;">const</span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(0, 111, 224) !important;"> </span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(128, 0, 128) !important;">char</span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(0, 111, 224) !important;"> </span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(0, 111, 224) !important;">*</span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(0, 45, 122) !important;">data</span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(51, 51, 51) !important;">,</span> 
     </div> 
     <div style="margin: 0px; padding: 0px 5px; border: 0px; font-style: inherit; font-variant: inherit; font-stretch: inherit; font-family: inherit; vertical-align: baseline; height: inherit; font-weight: inherit !important; font-size: inherit !important; line-height: inherit !important; background: rgb(247, 247, 247) !important;"> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(0, 111, 224) !important;">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(128, 0, 128) !important;">unsigned</span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(0, 111, 224) !important;"> </span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(128, 0, 128) !important;">int</span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(0, 111, 224) !important;"> </span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(0, 45, 122) !important;">length</span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(51, 51, 51) !important;">,</span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(0, 111, 224) !important;"> </span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(128, 0, 128) !important;">unsigned</span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(0, 111, 224) !important;"> </span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(128, 0, 128) !important;">int</span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(0, 111, 224) !important;"> </span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(0, 45, 122) !important;">flags</span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(51, 51, 51) !important;">,</span> 
     </div> 
     <div style="margin: 0px; padding: 0px 5px; border: 0px; font-style: inherit; font-variant: inherit; font-stretch: inherit; font-family: inherit; vertical-align: baseline; background: 0px center; height: inherit; font-weight: inherit !important; font-size: inherit !important; line-height: inherit !important;"> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(0, 111, 224) !important;">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(0, 45, 122) !important;">hs_scratch_t</span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(0, 111, 224) !important;"> </span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(0, 111, 224) !important;">*</span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(0, 45, 122) !important;">scratch</span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(51, 51, 51) !important;">,</span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(0, 111, 224) !important;"> </span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(0, 78, 208) !important;">match_event_handler </span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(0, 45, 122) !important;">onEvent</span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(51, 51, 51) !important;">,</span> 
     </div> 
     <div style="margin: 0px; padding: 0px 5px; border: 0px; font-style: inherit; font-variant: inherit; font-stretch: inherit; font-family: inherit; vertical-align: baseline; height: inherit; font-weight: inherit !important; font-size: inherit !important; line-height: inherit !important; background: rgb(247, 247, 247) !important;"> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(0, 111, 224) !important;">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(128, 0, 128) !important;">void</span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(0, 111, 224) !important;"> </span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(0, 111, 224) !important;">*</span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(0, 45, 122) !important;">context</span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(51, 51, 51) !important;">)</span> 
      <span style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit !important; font-stretch: inherit; font-size: inherit !important; line-height: inherit !important; font-family: inherit; vertical-align: baseline; height: inherit; color: rgb(51, 51, 51) !important;">;</span> 
     </div> 
    </div></td> 
  </tr> 
 </tbody> 
</table>

参数说明：db – Hypersan数据库。对应pcre的code。data – 输入语料。对应pcre的subject。length – 输入语料长度。对应pcre的length。

flags – 保留选项。

scratch – 运行中保存临时状态的空间，由hs\_alloc\_scratch()分配。

onEvent – 匹配命中时的回调函数，由用户自定义。

context – 回调函数参数，用户自定义。

返回值为成功或错误码。

更多API信息请参考：http://01org.github.io/hyperscan/dev-reference/api\_constants.html

PCRE与Hyperscan的性能对比       本次对比演示选取了15条正则表达式，既有纯字符串，又有各种正则规则:

<table style="margin-left:0px; font-style:inherit; font-variant:inherit; font-weight:inherit; font-size:12px; line-height:inherit; vertical-align:baseline; margin-top:0px!important; margin-right:0px!important; margin-bottom:0px!important; padding:0px!important; border:none!important; border-collapse:collapse!important; border-spacing:0px!important; width:auto!important; background:none!important; table-layout:auto!important"> 
 <tbody style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit; font-size:undefined; line-height:inherit; vertical-align:baseline"> 
  <tr style="font-style:inherit; font-variant:inherit; font-weight:inherit; font-size:undefined; line-height:inherit; background:0px center; margin:0px!important; padding:0px!important; border:none!important; vertical-align:top!important"> 
   <td style="margin:0px!important; padding:0px!important; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit; font-size:undefined; line-height:inherit; font-family:Monaco,MonacoRegular,&quot;Courier New&quot;,monospace!important; vertical-align:top!important; background:rgb(223,239,255)!important; color:rgb(84,153,222)!important"> 
    <div style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit; vertical-align:baseline; background:0px center; white-space:nowrap; line-height:15px!important"> 
     <div style="margin:0px; padding:0px 5px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; background:0px center; text-align:center; height:inherit">
       1 
     </div> 
     <div style="margin:0px; padding:0px 5px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; background:rgb(200,225,250)!important; text-align:center; height:inherit; color:rgb(49,124,197)!important">
       2 
     </div> 
     <div style="margin:0px; padding:0px 5px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; background:0px center; text-align:center; height:inherit">
       3 
     </div> 
     <div style="margin:0px; padding:0px 5px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; background:rgb(200,225,250)!important; text-align:center; height:inherit; color:rgb(49,124,197)!important">
       4 
     </div> 
     <div style="margin:0px; padding:0px 5px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; background:0px center; text-align:center; height:inherit">
       5 
     </div> 
     <div style="margin:0px; padding:0px 5px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; background:rgb(200,225,250)!important; text-align:center; height:inherit; color:rgb(49,124,197)!important">
       6 
     </div> 
     <div style="margin:0px; padding:0px 5px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; background:0px center; text-align:center; height:inherit">
       7 
     </div> 
     <div style="margin:0px; padding:0px 5px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; background:rgb(200,225,250)!important; text-align:center; height:inherit; color:rgb(49,124,197)!important">
       8 
     </div> 
     <div style="margin:0px; padding:0px 5px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; background:0px center; text-align:center; height:inherit">
       9 
     </div> 
     <div style="margin:0px; padding:0px 5px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; background:rgb(200,225,250)!important; text-align:center; height:inherit; color:rgb(49,124,197)!important">
       10 
     </div> 
     <div style="margin:0px; padding:0px 5px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; background:0px center; text-align:center; height:inherit">
       11 
     </div> 
     <div style="margin:0px; padding:0px 5px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; background:rgb(200,225,250)!important; text-align:center; height:inherit; color:rgb(49,124,197)!important">
       12 
     </div> 
     <div style="margin:0px; padding:0px 5px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; background:0px center; text-align:center; height:inherit">
       13 
     </div> 
     <div style="margin:0px; padding:0px 5px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; background:rgb(200,225,250)!important; text-align:center; height:inherit; color:rgb(49,124,197)!important">
       14 
     </div> 
     <div style="margin:0px; padding:0px 5px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; background:0px center; text-align:center; height:inherit">
       15 
     </div> 
     <div style="margin:0px; padding:0px 5px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; background:rgb(200,225,250)!important; text-align:center; height:inherit; color:rgb(49,124,197)!important">
       16 
     </div> 
    </div> </td> 
   <td style="margin:0px!important; padding:0px!important; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit; font-size:undefined; line-height:inherit; font-family:Monaco,MonacoRegular,&quot;Courier New&quot;,monospace!important; vertical-align:top!important; background:0px center; width:712.8px"> 
    <div style="margin:0px; padding:0px; font-style:inherit; font-variant:inherit; font-weight:inherit; vertical-align:baseline; white-space:pre; overflow:visible; border:none!important; line-height:15px!important; background:none!important"> 
     <div style="margin:0px; padding:0px 5px; border:0px; font-style:inherit; font-variant:inherit; font-family:inherit; vertical-align:baseline; background:0px center; height:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important"> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(128,0,128)!important">id</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(0,111,224)!important">&nbsp;&nbsp;&nbsp;&nbsp;</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-family:inherit; vertical-align:baseline; height:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important">Signature</span> 
     </div> 
     <div style="margin:0px; padding:0px 5px; border:0px; font-style:inherit; font-variant:inherit; font-family:inherit; vertical-align:baseline; height:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; background:rgb(247,247,247)!important"> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(206,0,0)!important">1</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(0,111,224)!important">&nbsp;&nbsp;&nbsp;&nbsp; </span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-family:inherit; vertical-align:baseline; height:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important">Twain</span> 
     </div> 
     <div style="margin:0px; padding:0px 5px; border:0px; font-style:inherit; font-variant:inherit; font-family:inherit; vertical-align:baseline; background:0px center; height:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important"> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(206,0,0)!important">2</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(0,111,224)!important">&nbsp;&nbsp;&nbsp;&nbsp; </span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(51,51,51)!important">(</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(51,51,51)!important">?</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(0,45,122)!important">i</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(51,51,51)!important">)</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-family:inherit; vertical-align:baseline; height:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important">Twain</span> 
     </div> 
     <div style="margin:0px; padding:0px 5px; border:0px; font-style:inherit; font-variant:inherit; font-family:inherit; vertical-align:baseline; height:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; background:rgb(247,247,247)!important"> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(206,0,0)!important">3</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(0,111,224)!important">&nbsp;&nbsp;&nbsp;&nbsp; </span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(51,51,51)!important">[</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(0,45,122)!important">a</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(0,111,224)!important">-</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(0,45,122)!important">z</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(51,51,51)!important">]</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-family:inherit; vertical-align:baseline; height:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important">shing</span> 
     </div> 
     <div style="margin:0px; padding:0px 5px; border:0px; font-style:inherit; font-variant:inherit; font-family:inherit; vertical-align:baseline; background:0px center; height:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important"> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(206,0,0)!important">4</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(0,111,224)!important">&nbsp;&nbsp;&nbsp;&nbsp; </span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(0,45,122)!important">Huck</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(51,51,51)!important">[</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(0,45,122)!important">a</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(0,111,224)!important">-</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(0,45,122)!important">zA</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(0,111,224)!important">-</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(0,45,122)!important">Z</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(51,51,51)!important">]</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(0,111,224)!important">+</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(0,111,224)!important">|</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(0,78,208)!important">Saw</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(51,51,51)!important">[</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(0,78,208)!important">a</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(0,111,224)!important">-</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(0,78,208)!important">zA</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(0,111,224)!important">-</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(0,78,208)!important">Z</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(51,51,51)!important">]</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(0,111,224)!important">+</span> 
     </div> 
     <div style="margin:0px; padding:0px 5px; border:0px; font-style:inherit; font-variant:inherit; font-family:inherit; vertical-align:baseline; height:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; background:rgb(247,247,247)!important"> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(206,0,0)!important">5</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(0,111,224)!important">&nbsp;&nbsp;&nbsp;&nbsp; </span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(51,51,51)!important">\</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(0,78,208)!important">b</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(51,51,51)!important">\</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(0,78,208)!important">w</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(0,111,224)!important">+</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(0,78,208)!important">nn</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(51,51,51)!important">\</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(0,78,208)!important">b</span> 
     </div> 
     <div style="margin:0px; padding:0px 5px; border:0px; font-style:inherit; font-variant:inherit; font-family:inherit; vertical-align:baseline; background:0px center; height:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important"> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(206,0,0)!important">6</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(0,111,224)!important">&nbsp;&nbsp;&nbsp;&nbsp; </span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(51,51,51)!important">[</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(0,78,208)!important">a</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(0,111,224)!important">-</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(0,78,208)!important">q</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(51,51,51)!important">]</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(51,51,51)!important">[</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(0,111,224)!important">^</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(0,78,208)!important">u</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(0,111,224)!important">-</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(0,78,208)!important">z</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(51,51,51)!important">]</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(51,51,51)!important">{ </span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(206,0,0)!important">13</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(51,51,51)!important">}</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-family:inherit; vertical-align:baseline; height:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important">x</span> 
     </div> 
     <div style="margin:0px; padding:0px 5px; border:0px; font-style:inherit; font-variant:inherit; font-family:inherit; vertical-align:baseline; height:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; background:rgb(247,247,247)!important"> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(206,0,0)!important">7</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(0,111,224)!important">&nbsp;&nbsp;&nbsp;&nbsp; </span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(0,45,122)!important">Tom</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(0,111,224)!important">|</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(0,45,122)!important">Sawyer</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(0,111,224)!important">|</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(0,45,122)!important">Huckleberry</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(0,111,224)!important">|</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-family:inherit; vertical-align:baseline; height:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important">Finn</span> 
     </div> 
     <div style="margin:0px; padding:0px 5px; border:0px; font-style:inherit; font-variant:inherit; font-family:inherit; vertical-align:baseline; background:0px center; height:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important"> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(206,0,0)!important">8</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(0,111,224)!important">&nbsp;&nbsp;&nbsp;&nbsp; </span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(51,51,51)!important">(</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(51,51,51)!important">?</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(0,45,122)!important">i</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(51,51,51)!important">)</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(0,45,122)!important">Tom</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(0,111,224)!important">|</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(0,45,122)!important">Sawyer</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(0,111,224)!important">|</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(0,45,122)!important">Huckleberry</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(0,111,224)!important">|</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-family:inherit; vertical-align:baseline; height:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important">Finn</span> 
     </div> 
     <div style="margin:0px; padding:0px 5px; border:0px; font-style:inherit; font-variant:inherit; font-family:inherit; vertical-align:baseline; height:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; background:rgb(247,247,247)!important"> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(206,0,0)!important">9</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(0,111,224)!important">&nbsp;&nbsp;&nbsp;&nbsp; </span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(51,51,51)!important">.</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(51,51,51)!important">{ </span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(206,0,0)!important">0</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(51,51,51)!important">,</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(206,0,0)!important">2</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(51,51,51)!important">}</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(51,51,51)!important">(</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(0,45,122)!important">Tom</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(0,111,224)!important">|</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(0,45,122)!important">Sawyer</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(0,111,224)!important">|</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(0,45,122)!important">Huckleberry</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(0,111,224)!important">|</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(0,45,122)!important">Finn</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(51,51,51)!important">)</span> 
     </div> 
     <div style="margin:0px; padding:0px 5px; border:0px; font-style:inherit; font-variant:inherit; font-family:inherit; vertical-align:baseline; background:0px center; height:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important"> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(206,0,0)!important">10</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(0,111,224)!important">&nbsp;&nbsp; </span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(51,51,51)!important">.</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(51,51,51)!important">{ </span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(206,0,0)!important">2</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(51,51,51)!important">,</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(206,0,0)!important">4</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(51,51,51)!important">}</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(51,51,51)!important">(</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(0,45,122)!important">Tom</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(0,111,224)!important">|</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(0,45,122)!important">Sawyer</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(0,111,224)!important">|</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(0,45,122)!important">Huckleberry</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(0,111,224)!important">|</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(0,45,122)!important">Finn</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(51,51,51)!important">)</span> 
     </div> 
     <div style="margin:0px; padding:0px 5px; border:0px; font-style:inherit; font-variant:inherit; font-family:inherit; vertical-align:baseline; height:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; background:rgb(247,247,247)!important"> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(206,0,0)!important">11</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(0,111,224)!important">&nbsp;&nbsp;&nbsp;&nbsp;</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(0,45,122)!important">Tom</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(51,51,51)!important">.</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(51,51,51)!important">{ </span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(206,0,0)!important">10</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(51,51,51)!important">,</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(206,0,0)!important">25</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(51,51,51)!important">}</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(0,45,122)!important">river</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(0,111,224)!important">|</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(0,45,122)!important">river</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(51,51,51)!important">.</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(51,51,51)!important">{ </span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(206,0,0)!important">10</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(51,51,51)!important">,</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(206,0,0)!important">25</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(51,51,51)!important">}</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(0,78,208)!important">Tom</span> 
     </div> 
     <div style="margin:0px; padding:0px 5px; border:0px; font-style:inherit; font-variant:inherit; font-family:inherit; vertical-align:baseline; background:0px center; height:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important"> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(206,0,0)!important">12</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(0,111,224)!important">&nbsp;&nbsp;&nbsp;&nbsp;</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(51,51,51)!important">[</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(0,78,208)!important">a</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(0,111,224)!important">-</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(0,78,208)!important">zA</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(0,111,224)!important">-</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(0,78,208)!important">Z</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(51,51,51)!important">]</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(0,111,224)!important">+</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(0,78,208)!important">ing</span> 
     </div> 
     <div style="margin:0px; padding:0px 5px; border:0px; font-style:inherit; font-variant:inherit; font-family:inherit; vertical-align:baseline; height:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; background:rgb(247,247,247)!important"> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(206,0,0)!important">13</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(0,111,224)!important">&nbsp;&nbsp;&nbsp;&nbsp;</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(51,51,51)!important">\</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(0,78,208)!important">s</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(51,51,51)!important">[</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(0,78,208)!important">a</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(0,111,224)!important">-</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(0,78,208)!important">zA</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(0,111,224)!important">-</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(0,78,208)!important">Z</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(51,51,51)!important">]</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(51,51,51)!important">{ </span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(206,0,0)!important">0</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(51,51,51)!important">,</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(206,0,0)!important">12</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(51,51,51)!important">}</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(0,45,122)!important">ing</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(51,51,51)!important">\</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-family:inherit; vertical-align:baseline; height:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important">s</span> 
     </div> 
     <div style="margin:0px; padding:0px 5px; border:0px; font-style:inherit; font-variant:inherit; font-family:inherit; vertical-align:baseline; background:0px center; height:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important"> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(206,0,0)!important">14</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(0,111,224)!important">&nbsp;&nbsp;&nbsp;&nbsp;</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(51,51,51)!important">(</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(51,51,51)!important">[</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(0,45,122)!important">A</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(0,111,224)!important">-</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(0,45,122)!important">Za</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(0,111,224)!important">-</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(0,45,122)!important">z</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(51,51,51)!important">]</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(0,45,122)!important">awyer</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(0,111,224)!important">|</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(51,51,51)!important">[</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(0,45,122)!important">A</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(0,111,224)!important">-</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(0,45,122)!important">Za</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(0,111,224)!important">-</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(0,45,122)!important">z</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(51,51,51)!important">]</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(0,45,122)!important">inn</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(51,51,51)!important">)</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(51,51,51)!important">\</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-family:inherit; vertical-align:baseline; height:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important">s</span> 
     </div> 
     <div style="margin:0px; padding:0px 5px; border:0px; font-style:inherit; font-variant:inherit; font-family:inherit; vertical-align:baseline; height:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; background:rgb(247,247,247)!important"> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(206,0,0)!important">15</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(0,111,224)!important">&nbsp;&nbsp; </span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(51,51,51)!important">[</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(0,128,0)!important">"'][^"</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(0,128,0)!important">']{0,30}[?!\.]["'</span> 
      <span style="margin:0px; padding:0px; border:0px; font-style:inherit; font-variant:inherit; font-weight:inherit!important; font-size:inherit!important; line-height:inherit!important; font-family:inherit; vertical-align:baseline; height:inherit; color:rgb(51,51,51)!important">]</span> 
     </div> 
    </div> </td> 
  </tr> 
 </tbody> 
</table>

测试运行于Intel Xeon E5-2699 @ 2.30GHz的单核上，选取本地随机语料作输入（random-1500b，大小750000Byte）循环2000次。PCRE与Hyperscan完成测试的用时以及吞吐量如下表：

![hyperscan-300x268.jpg][]

从结果可见，对以上每一个规则，Hyperscan对比PCRE都有巨大性能优势，吞吐量最少提升7.54倍，最多提升多达773倍。

Hyperscan的另一个优势也在结果中体现，那就是当需要对多条正则规则进行匹配时。Hyperscan可以将所有规则编译进一个数据库，运行时只需以此数据库对输入语料运行一遍，完成全部工作用时4.879秒，少于15次用时的累加10.086秒。而PCRE只能对单条规则做编译和运行，对于全部15条规则，每条规则都需要单独编译并对输入语料运行一次，完成全部工作用时1276.84秒，为15次用时的累加。

以下是根据吞吐量生成的柱状图：

![hyperscan2-300x182.jpg][]

PCRE与Hyperscan的差距如此之大？事实上PCRE也有快速选项pcre\_jit，在编译时花费更多的时间和资源来加速运行时的扫描速度，我们也将Hyperscan与pcre\_jit进行了对比试验。

随机语料作为输入，其中匹配数量较少，那么对于匹配数量较多的情形呢？为此我们选取一本20M左右（18905427Bytes）的合适的电子书（http://www.gutenberg.org/files/3200/old/mtent12.zip）作为输入语料，在相同测试环境下循环20次。pcre\_jit与Hyperscan完成测试的用时如下表：

![hyperscan3-287x300.jpg][]

可见pcre\_jit大幅度提升了pcre的扫描速度，但在每单条正则规则的表现上还是Hyperscan占优；而对于全部15条规则的多模式匹配，Hyperscan相对pcre\_jit的优势更加明显。根据吞吐量生成的柱状图为：

![hyperscan4-300x181.jpg][]

除了性能上的巨大优势，Hyperscan对流模式的支持更是功能优势，因为快和实用，Hyperscan适合在越来越多的使用场景中替换原有的正则表达式匹配引擎，前景大好。

[hyperscan-300x268.jpg]: /images/20220609/a143b72dbc4c4a558a668d99507eeea9.png
[hyperscan2-300x182.jpg]: /images/20220609/a7ae807d962a48f0896d73b19d22a09d.png
[hyperscan3-287x300.jpg]: /images/20220609/e9eee6e911ce49f1b591f1845d54b20a.png
[hyperscan4-300x181.jpg]: /images/20220609/149a4a08578d489eb2df709534694ade.png