2 $BEAUT_PATH = realpath(
".").
"/Services/COPage/syntax_highlight/php";
 
    4 require_once(
"$BEAUT_PATH/Beautifier/HFile.php");
 
   20 $this->colours          = array(
"blue", 
"purple", 
"gray", 
"brown", 
"gray", 
"purple", 
"brown");
 
   21 $this->quotecolour              = 
"blue";
 
   22 $this->blockcommentcolour       = 
"green";
 
   23 $this->linecommentcolour        = 
"green";
 
   27 $this->indent                   = array();
 
   28 $this->unindent                 = array();
 
   32 $this->stringchars              = array();
 
   33 $this->delimiters               = array(
"~", 
"!", 
"@", 
"$", 
"%", 
"^", 
"&", 
"*", 
"(", 
")", 
"-", 
"+", 
"=", 
"|", 
"\\", 
"{", 
"}", 
"[", 
"]", 
":", 
";", 
"\"", 
"'", 
"<", 
">", 
" ", 
",", 
"      ", 
".", 
"?");
 
   38 $this->linecommenton            = array(
"");
 
   39 $this->blockcommenton           = array(
"<!--");
 
   40 $this->blockcommentoff          = array(
"-->");
 
   44 $this->keywords                 = array(
 
   47                         "<maligngroup/>" => 
"1", 
 
   48                         "<malignmark/>" => 
"1", 
 
   57                         "<mmultiscripts>" => 
"1", 
 
   58                         "</mmultiscripts>" => 
"1", 
 
   70                         "<mprescripts/>" => 
"1", 
 
   98                         "<munderover>" => 
"1", 
 
   99                         "</munderover>" => 
"1", 
 
  103                         "<annotation-xml" => 
"2", 
 
  104                         "</annotation-xml>" => 
"2", 
 
  105                         "<annotation" => 
"2", 
 
  106                         "</annotation>" => 
"2", 
 
  119                         "<condition>" => 
"2", 
 
  120                         "</condition>" => 
"2", 
 
  121                         "<conjugate/>" => 
"2", 
 
  133                         "<determinant>" => 
"2", 
 
  134                         "</determinant>" => 
"2", 
 
  140                         "<factorial/>" => 
"2", 
 
  150                         "<intersect/>" => 
"2", 
 
  153                         "</interval>" => 
"2", 
 
  168                         "</lowlimit>" => 
"2", 
 
  172                         "<matrixrow>" => 
"2", 
 
  173                         "</matrixrow>" => 
"2", 
 
  188                         "<notprsubset/>" => 
"2", 
 
  189                         "<notsubset/>" => 
"2", 
 
  191                         "<partialdiff/>" => 
"2", 
 
  195                         "<prsubset/>" => 
"2", 
 
  196                         "<quotient/>" => 
"2", 
 
  207                         "<semantics>" => 
"2", 
 
  208                         "</semantics>" => 
"2", 
 
  221                         "<transpose>" => 
"2", 
 
  222                         "</transpose>" => 
"2", 
 
  235                         "accentunder=" => 
"4", 
 
  236                         "actiontype=" => 
"4", 
 
  238                         "alignmentscope=" => 
"4", 
 
  241                         "background=" => 
"4", 
 
  248                         "columnalign=" => 
"4", 
 
  249                         "columnlines=" => 
"4", 
 
  250                         "columnspacing=" => 
"4", 
 
  251                         "defintionURL=" => 
"4", 
 
  253                         "displaystyle=" => 
"4", 
 
  255                         "equalcolumns=" => 
"4", 
 
  257                         "fontfamily=" => 
"4", 
 
  260                         "fontweight=" => 
"4", 
 
  262                         "framespacing=" => 
"4", 
 
  263                         "groupalign=" => 
"4", 
 
  267                         "linethickness=" => 
"4", 
 
  273                         "occurrence=" => 
"4", 
 
  280                         "rowspacing=" => 
"4", 
 
  284                         "separators=" => 
"4", 
 
  286                         "subscriptshift=" => 
"4", 
 
  287                         "superscriptshift=" => 
"4", 
 
  291                         "&GoodBreak;" => 
"7", 
 
  292                         "&IndentingNewLine;" => 
"7", 
 
  293                         "​" => 
"7", 
 
  296                         " " => 
"7", 
 
  297                         "​" => 
"7", 
 
  307                         "ⅇ" => 
"6", 
 
  308                         "ⅈ" => 
"6", 
 
  309                         "&NotANumber;" => 
"6", 
 
  310                         "⁡" => 
"7", 
 
  311                         "⁣" => 
"7", 
 
  312                         "⁢" => 
"7", 
 
  313                         " " => 
"7", 
 
  314                         "​" => 
"7", 
 
  315                         "​" => 
"7", 
 
  316                         "​" => 
"7", 
 
  317                         " " => 
"7", 
 
  320                         "  " => 
"7", 
 
  321                         " " => 
"7", 
 
  375                         "϶" => 
"8", 
 
  376                         "‵" => 
"8", 
 
  378                         "⋍" => 
"8", 
 
  379                         "∖" => 
"8", 
 
  423                         "⨂" => 
"8", 
 
  426                         "▽" => 
"8", 
 
  427                         "△" => 
"8", 
 
  432                         "⧫" => 
"8", 
 
  433                         "▪" => 
"8", 
 
  434                         "▴" => 
"8", 
 
  435                         "▾" => 
"8", 
 
  436                         "◂" => 
"8", 
 
  437                         "▸" => 
"8", 
 
  492                         "·" => 
"8", 
 
  493                         "·" => 
"8", 
 
  497                         "✓" => 
"8", 
 
  503                         "↺" => 
"8", 
 
  504                         "↻" => 
"8", 
 
  505                         "⊛" => 
"8", 
 
  506                         "⊚" => 
"8", 
 
  507                         "⊝" => 
"8", 
 
  508                         "⊙" => 
"8", 
 
  516                         "⊖" => 
"8", 
 
  517                         "⊕" => 
"8", 
 
  518                         "⊗" => 
"8", 
 
  524                         "∲" => 
"8", 
 
  525                         "”" => 
"8", 
 
  526                         "’" => 
"8", 
 
  538                         "∁" => 
"8", 
 
  541                         "≡" => 
"8", 
 
  544                         "∮" => 
"8", 
 
  547                         "∐" => 
"8", 
 
  550                         "∳" => 
"8", 
 
  576                         "⋞" => 
"8", 
 
  577                         "⋟" => 
"8", 
 
  579                         "⋏" => 
"8", 
 
  581                         "↶" => 
"8", 
 
  582                         "↷" => 
"8", 
 
  614                         "´" => 
"8", 
 
  615                         "˙" => 
"8", 
 
  616                         "˝" => 
"8", 
 
  617                         "`" => 
"8", 
 
  618                         "&DiacriticalLeftArrow;" => 
"8", 
 
  619                         "&DiacriticalLeftRightArrow;" => 
"8", 
 
  620                         "&DiacriticalLeftRightVector;" => 
"8", 
 
  621                         "&DiacriticalLeftVector;" => 
"8", 
 
  622                         "&DiacriticalRightArrow;" => 
"8", 
 
  623                         "&DiacriticalRightVector;" => 
"8", 
 
  624                         "˜" => 
"8", 
 
  628                         "♦" => 
"8", 
 
  639                         "⋇" => 
"8", 
 
  653                         "⊡" => 
"8", 
 
  654                         "⌆" => 
"8", 
 
  655                         "∯" => 
"8", 
 
  656                         "¨" => 
"8", 
 
  657                         "⇓" => 
"8", 
 
  658                         "⇐" => 
"8", 
 
  659                         "⇔" => 
"8", 
 
  660                         "⟸" => 
"8", 
 
  661                         "⟺" => 
"8", 
 
  662                         "⟹" => 
"8", 
 
  663                         "⇒" => 
"8", 
 
  664                         "⊨" => 
"8", 
 
  665                         "⇑" => 
"8", 
 
  666                         "⇕" => 
"8", 
 
  667                         "∥" => 
"8", 
 
  668                         "↓" => 
"8", 
 
  669                         "⇓" => 
"8", 
 
  670                         "↓" => 
"8", 
 
  671                         "⇵" => 
"8", 
 
  672                         "⇊" => 
"8", 
 
  673                         "⇃" => 
"8", 
 
  674                         "⇂" => 
"8", 
 
  675                         "↽" => 
"8", 
 
  676                         "⇁" => 
"8", 
 
  724                         "⪖" => 
"8", 
 
  725                         "⪕" => 
"8", 
 
  727                         "≂" => 
"8", 
 
  729                         "⇌" => 
"8", 
 
  744                         "≒" => 
"8", 
 
  817                         "≥" => 
"8", 
 
  818                         "⋛" => 
"8", 
 
  819                         "≧" => 
"8", 
 
  820                         "≷" => 
"8", 
 
  821                         "⩾" => 
"8", 
 
  822                         "≳" => 
"8", 
 
  835                         "⪆" => 
"8", 
 
  838                         "⋛" => 
"8", 
 
  839                         "⪌" => 
"8", 
 
  842                         "≩︀" => 
"8", 
 
  874                         "♥" => 
"8", 
 
  883                         "↩" => 
"8", 
 
  884                         "↪" => 
"8", 
 
  890                         "≎" => 
"8", 
 
  891                         "≏" => 
"8", 
 
  916                         "⋂" => 
"8", 
 
  988                         "⟨" => 
"8", 
 
  989                         "←" => 
"8", 
 
  990                         "⇐" => 
"8", 
 
  991                         "←" => 
"8", 
 
  992                         "⇆" => 
"8", 
 
  993                         "↢" => 
"8", 
 
  994                         "⌈" => 
"8", 
 
  995                         "⇃" => 
"8", 
 
  996                         "⌊" => 
"8", 
 
  997                         "↽" => 
"8", 
 
  998                         "↼" => 
"8", 
 
  999                         "⇇" => 
"8", 
 
 1000                         "↔" => 
"8", 
 
 1001                         "⇔" => 
"8", 
 
 1002                         "↔" => 
"8", 
 
 1003                         "⇆" => 
"8", 
 
 1004                         "⇋" => 
"8", 
 
 1005                         "↭" => 
"8", 
 
 1007                         "⋋" => 
"8", 
 
 1008                         "⊲" => 
"8", 
 
 1009                         "⊴" => 
"8", 
 
 1010                         "↿" => 
"8", 
 
 1011                         "↼" => 
"8", 
 
 1016                         "⩽" => 
"8", 
 
 1021                         "⪃" => 
"8", 
 
 1024                         "⪅" => 
"8", 
 
 1026                         "⋚" => 
"8", 
 
 1027                         "⪋" => 
"8", 
 
 1028                         "⋚" => 
"8", 
 
 1029                         "≦" => 
"8", 
 
 1030                         "≶" => 
"8", 
 
 1033                         "⩽" => 
"8", 
 
 1034                         "≲" => 
"8", 
 
 1049                         "⌞" => 
"8", 
 
 1050                         "⇚" => 
"8", 
 
 1054                         "⎰" => 
"8", 
 
 1056                         "⪉" => 
"8", 
 
 1065                         "⟵" => 
"8", 
 
 1066                         "⟸" => 
"8", 
 
 1067                         "⟵" => 
"8", 
 
 1068                         "⟷" => 
"8", 
 
 1069                         "⟺" => 
"8", 
 
 1070                         "⟷" => 
"8", 
 
 1071                         "⟼" => 
"8", 
 
 1072                         "⟶" => 
"8", 
 
 1073                         "⟹" => 
"8", 
 
 1074                         "⟶" => 
"8", 
 
 1075                         "↫" => 
"8", 
 
 1076                         "↬" => 
"8", 
 
 1083                         "↙" => 
"8", 
 
 1084                         "↘" => 
"8", 
 
 1091                         "⌟" => 
"8", 
 
 1118                         "⥊" => 
"8", 
 
 1120                         "≨︀" => 
"8", 
 
 1133                         "∡" => 
"8", 
 
 1146                         "∓" => 
"8", 
 
 1157                         "⊸" => 
"8", 
 
 1170                         "⩭̸" => 
"8", 
 
 1181                         "≫" => 
"8", 
 
 1182                         "≪" => 
"8", 
 
 1191                         "⩾̸" => 
"8", 
 
 1211                         "⇍" => 
"8", 
 
 1212                         "↚" => 
"8", 
 
 1213                         "⇎" => 
"8", 
 
 1214                         "↮" => 
"8", 
 
 1217                         "⩽̸" => 
"8", 
 
 1231                         "≢" => 
"8", 
 
 1232                         "∦" => 
"8", 
 
 1233                         "∉" => 
"8", 
 
 1234                         "≠" => 
"8", 
 
 1235                         "∄" => 
"8", 
 
 1236                         "≯" => 
"8", 
 
 1237                         "≱" => 
"8", 
 
 1238                         "≧̸" => 
"8", 
 
 1239                         "≫̸" => 
"8", 
 
 1240                         "≹" => 
"8", 
 
 1241                         "⩾̸" => 
"8", 
 
 1242                         "≵" => 
"8", 
 
 1244                         "⋵̸" => 
"8", 
 
 1249                         "⋪" => 
"8", 
 
 1250                         "⋬" => 
"8", 
 
 1252                         "≰" => 
"8", 
 
 1253                         "&NotLessFullEqual;" => 
"8", 
 
 1254                         "≸" => 
"8", 
 
 1255                         "≪̸" => 
"8", 
 
 1256                         "⩽̸" => 
"8", 
 
 1257                         "≴" => 
"8", 
 
 1262                         "⊀" => 
"8", 
 
 1263                         "⪯̸" => 
"8", 
 
 1264                         "⋠" => 
"8", 
 
 1265                         "∌" => 
"8", 
 
 1266                         "⋫" => 
"8", 
 
 1267                         "⋭" => 
"8", 
 
 1268                         "⋢" => 
"8", 
 
 1269                         "⋣" => 
"8", 
 
 1270                         "⊂⃒" => 
"8", 
 
 1271                         "⊁" => 
"8", 
 
 1272                         "⪰̸" => 
"8", 
 
 1273                         "⋡" => 
"8", 
 
 1274                         "⊃⃒" => 
"8", 
 
 1275                         "≁" => 
"8", 
 
 1276                         "≄" => 
"8", 
 
 1277                         "≇" => 
"8", 
 
 1278                         "≉" => 
"8", 
 
 1279                         "∤" => 
"8", 
 
 1281                         "∦" => 
"8", 
 
 1294                         "⇏" => 
"8", 
 
 1295                         "↛" => 
"8", 
 
 1303                         "∤" => 
"8", 
 
 1304                         "∦" => 
"8", 
 
 1316                         "⊈" => 
"8", 
 
 1317                         "⫅̸" => 
"8", 
 
 1324                         "⊉" => 
"8", 
 
 1325                         "⫆̸" => 
"8", 
 
 1328                         "⋪" => 
"8", 
 
 1329                         "⋬" => 
"8", 
 
 1330                         "⋫" => 
"8", 
 
 1331                         "⋭" => 
"8", 
 
 1383                         "“" => 
"8", 
 
 1384                         "‘" => 
"8", 
 
 1405                         "⨶" => 
"8", 
 
 1407                         "&OverLine;" => 
"8", 
 
 1410                         "∥" => 
"8", 
 
 1414                         "∂" => 
"8", 
 
 1428                         "⋔" => 
"8", 
 
 1433                         "⨣" => 
"8", 
 
 1439                         "±" => 
"8", 
 
 1444                         "⨕" => 
"8", 
 
 1454                         "⪷" => 
"8", 
 
 1455                         "≼" => 
"8", 
 
 1456                         "≺" => 
"8", 
 
 1457                         "⪯" => 
"8", 
 
 1458                         "≼" => 
"8", 
 
 1459                         "≾" => 
"8", 
 
 1461                         "⪹" => 
"8", 
 
 1462                         "⪵" => 
"8", 
 
 1463                         "⋨" => 
"8", 
 
 1470                         "⌮" => 
"8", 
 
 1471                         "⌒" => 
"8", 
 
 1472                         "⌓" => 
"8", 
 
 1474                         "∷" => 
"8", 
 
 1475                         "∝" => 
"8", 
 
 1498                         "⦳" => 
"8", 
 
 1542                         "∋" => 
"8", 
 
 1543                         "⇋" => 
"8", 
 
 1544                         "⥯" => 
"8", 
 
 1555                         "⟩" => 
"8", 
 
 1556                         "→" => 
"8", 
 
 1557                         "⇒" => 
"8", 
 
 1558                         "→" => 
"8", 
 
 1559                         "⇄" => 
"8", 
 
 1560                         "↣" => 
"8", 
 
 1561                         "⌉" => 
"8", 
 
 1562                         "⇂" => 
"8", 
 
 1563                         "⌋" => 
"8", 
 
 1564                         "⇁" => 
"8", 
 
 1565                         "⇀" => 
"8", 
 
 1566                         "⇄" => 
"8", 
 
 1567                         "⇌" => 
"8", 
 
 1568                         "⇉" => 
"8", 
 
 1569                         "↝" => 
"8", 
 
 1570                         "⊢" => 
"8", 
 
 1571                         "↦" => 
"8", 
 
 1572                         "⋌" => 
"8", 
 
 1573                         "⊳" => 
"8", 
 
 1574                         "⊵" => 
"8", 
 
 1575                         "↾" => 
"8", 
 
 1576                         "⇀" => 
"8", 
 
 1578                         "≓" => 
"8", 
 
 1582                         "⎱" => 
"8", 
 
 1593                         "⨒" => 
"8", 
 
 1595                         "⇛" => 
"8", 
 
 1608                         "⧎" => 
"8", 
 
 1620                         "⨓" => 
"8", 
 
 1632                         "∖" => 
"8", 
 
 1639                         "←" => 
"8", 
 
 1640                         "∣" => 
"8", 
 
 1641                         "∥" => 
"8", 
 
 1642                         "→" => 
"8", 
 
 1659                         "∘" => 
"8", 
 
 1660                         "&smallfrown;" => 
"8", 
 
 1661                         "∖" => 
"8", 
 
 1662                         "&smallsmile;" => 
"8", 
 
 1664                         "⧤" => 
"8", 
 
 1675                         "♠" => 
"8", 
 
 1684                         "⊏" => 
"8", 
 
 1685                         "⊑" => 
"8", 
 
 1688                         "⊐" => 
"8", 
 
 1689                         "⊒" => 
"8", 
 
 1692                         "⊓" => 
"8", 
 
 1693                         "⊏" => 
"8", 
 
 1694                         "⊑" => 
"8", 
 
 1695                         "⊐" => 
"8", 
 
 1696                         "⊒" => 
"8", 
 
 1697                         "⊔" => 
"8", 
 
 1700                         "&squarfbl;" => 
"8", 
 
 1701                         "&squarfbr;" => 
"8", 
 
 1705                         "&squarftl;" => 
"8", 
 
 1706                         "&squarftr;" => 
"8", 
 
 1717                         "ϵ" => 
"8", 
 
 1718                         "ϕ" => 
"8", 
 
 1733                         "⊆" => 
"8", 
 
 1734                         "⫅" => 
"8", 
 
 1735                         "⊆" => 
"8", 
 
 1736                         "⊊" => 
"8", 
 
 1737                         "⫋" => 
"8", 
 
 1742                         "⪸" => 
"8", 
 
 1743                         "≽" => 
"8", 
 
 1744                         "≻" => 
"8", 
 
 1745                         "⪰" => 
"8", 
 
 1746                         "≽" => 
"8", 
 
 1747                         "≿" => 
"8", 
 
 1749                         "⪺" => 
"8", 
 
 1750                         "⪶" => 
"8", 
 
 1751                         "⋩" => 
"8", 
 
 1753                         "∋" => 
"8", 
 
 1767                         "⊃" => 
"8", 
 
 1768                         "⊇" => 
"8", 
 
 1778                         "⊇" => 
"8", 
 
 1779                         "⫆" => 
"8", 
 
 1780                         "⊋" => 
"8", 
 
 1781                         "⫌" => 
"8", 
 
 1798                         "∴" => 
"8", 
 
 1799                         "∴" => 
"8", 
 
 1803                         "≈" => 
"8", 
 
 1804                         "∼" => 
"8", 
 
 1810                         "≃" => 
"8", 
 
 1811                         "≅" => 
"8", 
 
 1812                         "≈" => 
"8", 
 
 1815                         "⨱" => 
"8", 
 
 1827                         "▵" => 
"8", 
 
 1828                         "▿" => 
"8", 
 
 1829                         "◃" => 
"8", 
 
 1830                         "⊴" => 
"8", 
 
 1831                         "≜" => 
"8", 
 
 1832                         "▹" => 
"8", 
 
 1833                         "⊵" => 
"8", 
 
 1836                         "⨺" => 
"8", 
 
 1837                         "⃛" => 
"8", 
 
 1841                         "⏢" => 
"8", 
 
 1845                         "↞" => 
"8", 
 
 1846                         "↠" => 
"8", 
 
 1850                         "⥉" => 
"8", 
 
 1861                         "⌜" => 
"8", 
 
 1865                         "&UnderLine;" => 
"8", 
 
 1867                         "⊎" => 
"8", 
 
 1872                         "⇅" => 
"8", 
 
 1873                         "↕" => 
"8", 
 
 1874                         "⇕" => 
"8", 
 
 1875                         "↕" => 
"8", 
 
 1876                         "⥮" => 
"8", 
 
 1877                         "↿" => 
"8", 
 
 1878                         "↾" => 
"8", 
 
 1880                         "↖" => 
"8", 
 
 1881                         "↗" => 
"8", 
 
 1887                         "⇈" => 
"8", 
 
 1889                         "⌝" => 
"8", 
 
 1900                         "ϵ" => 
"8", 
 
 1901                         "ϰ" => 
"8", 
 
 1902                         "∅" => 
"8", 
 
 1905                         "∝" => 
"8", 
 
 1909                         "ς" => 
"8", 
 
 1910                         "⊊︀" => 
"8", 
 
 1911                         "⫋︀" => 
"8", 
 
 1912                         "⊋︀" => 
"8", 
 
 1913                         "⫌︀" => 
"8", 
 
 1914                         "ϑ" => 
"8", 
 
 1915                         "⊲" => 
"8", 
 
 1916                         "⊳" => 
"8", 
 
 1934                         "∣" => 
"8", 
 
 1935                         "≀" => 
"8", 
 
 2013 $this->linkscripts      = array(
 
 2020                         "8" => 
"donothing");