module Text.Highlighter.Lexers.Scala (lexer) where

import Text.Regex.PCRE.Light
import Text.Highlighter.Types

lexer :: Lexer
lexer = Lexer
    { lName = "\83\99\97\108\97"
    , lAliases = ["\115\99\97\108\97"]
    , lExtensions = ["\46\115\99\97\108\97"]
    , lMimetypes = ["\116\101\120\116\47\120\45\115\99\97\108\97"]
    , lStart = root'
    , lFlags = [multiline, dotall]
    }

comment' :: TokenMatcher
comment' =
    [ tok "\91\94\47\92\42\93\43" (Arbitrary "\67\111\109\109\101\110\116" :. Arbitrary "\77\117\108\116\105\108\105\110\101")
    , tokNext "\47\92\42" (Arbitrary "\67\111\109\109\101\110\116" :. Arbitrary "\77\117\108\116\105\108\105\110\101") Push
    , tokNext "\92\42\47" (Arbitrary "\67\111\109\109\101\110\116" :. Arbitrary "\77\117\108\116\105\108\105\110\101") Pop
    , tok "\91\42\47\93" (Arbitrary "\67\111\109\109\101\110\116" :. Arbitrary "\77\117\108\116\105\108\105\110\101")
    ]

root' :: TokenMatcher
root' =
    [ tokNext "\40\99\108\97\115\115\124\116\114\97\105\116\124\111\98\106\101\99\116\41\40\92\115\43\41" (ByGroups [(Arbitrary "\75\101\121\119\111\114\100"), (Arbitrary "\84\101\120\116")]) (GoTo class')
    , tok "\39\91\97\45\122\65\45\90\92\36\95\170\181\186\192\45\214\216\45\246\248\45\687\880\45\883\886\45\887\891\45\893\902\904\45\1013\1015\45\1153\1162\45\1366\1377\45\1415\1488\45\1522\1569\45\1599\1601\45\1610\1646\45\1647\1649\45\1747\1749\1774\45\1775\1786\45\1788\1791\1808\1810\45\1839\1869\45\1957\1969\1994\45\2026\2308\45\2361\2365\2384\2392\45\2401\2418\45\2431\2437\45\2489\2493\2510\2524\45\2529\2544\45\2545\2565\45\2617\2649\45\2654\2674\45\2676\2693\45\2745\2749\2768\45\2785\2821\45\2873\2877\2908\45\2913\2929\2947\45\3001\3024\3077\45\3133\3160\45\3169\3205\45\3257\3261\3294\45\3297\3333\45\3389\3424\45\3425\3450\45\3455\3461\45\3526\3585\45\3632\3634\45\3635\3648\45\3653\3713\45\3760\3762\45\3763\3773\45\3780\3804\45\3840\3904\45\3948\3976\45\3979\4096\45\4138\4159\4176\45\4181\4186\45\4189\4193\4197\45\4198\4206\45\4208\4213\45\4225\4238\4256\45\4346\4352\45\4954\4992\45\5007\5024\45\5740\5743\45\5750\5761\45\5786\5792\45\5866\5870\45\5905\5920\45\5937\5952\45\5969\5984\45\6000\6016\45\6067\6108\6176\45\6210\6212\45\6312\6314\45\6428\6480\45\6569\6593\45\6599\6656\45\6678\6917\45\6963\6981\45\6987\7043\45\7072\7086\45\7087\7168\45\7203\7245\45\7247\7258\45\7287\7424\45\7467\7522\45\7543\7545\45\7578\7680\45\8124\8126\8130\45\8140\8144\45\8155\8160\45\8172\8178\45\8188\8305\8319\8450\8455\8458\45\8467\8469\8473\45\8477\8484\8486\8488\8490\45\8493\8495\45\8505\8508\45\8511\8517\45\8521\8526\8544\45\8584\11264\45\11388\11392\45\11492\11520\45\11621\11648\45\11742\12294\45\12295\12321\45\12329\12344\45\12346\12348\12353\45\12438\12447\12449\45\12538\12543\45\12686\12704\45\12727\12784\45\12799\13312\45\19893\19968\45\40980\40982\45\42124\42240\45\42507\42512\45\42527\42538\45\42606\42624\45\42647\42786\45\42863\42865\45\42887\42891\45\43009\43011\45\43013\43015\45\43018\43020\45\43042\43072\45\43123\43138\45\43187\43274\45\43301\43312\45\43334\43520\45\43560\43584\45\43586\43588\45\43595\44032\45\55203\63744\45\64285\64287\45\64296\64298\45\64829\64848\45\65019\65136\45\65276\65313\45\65338\65345\45\65370\65382\45\65391\65393\45\65437\65440\45\65500\93\40\63\58\91\97\45\122\65\45\90\92\36\95\170\181\186\192\45\214\216\45\246\248\45\687\880\45\883\886\45\887\891\45\893\902\904\45\1013\1015\45\1153\1162\45\1366\1377\45\1415\1488\45\1522\1569\45\1599\1601\45\1610\1646\45\1647\1649\45\1747\1749\1774\45\1775\1786\45\1788\1791\1808\1810\45\1839\1869\45\1957\1969\1994\45\2026\2308\45\2361\2365\2384\2392\45\2401\2418\45\2431\2437\45\2489\2493\2510\2524\45\2529\2544\45\2545\2565\45\2617\2649\45\2654\2674\45\2676\2693\45\2745\2749\2768\45\2785\2821\45\2873\2877\2908\45\2913\2929\2947\45\3001\3024\3077\45\3133\3160\45\3169\3205\45\3257\3261\3294\45\3297\3333\45\3389\3424\45\3425\3450\45\3455\3461\45\3526\3585\45\3632\3634\45\3635\3648\45\3653\3713\45\3760\3762\45\3763\3773\45\3780\3804\45\3840\3904\45\3948\3976\45\3979\4096\45\4138\4159\4176\45\4181\4186\45\4189\4193\4197\45\4198\4206\45\4208\4213\45\4225\4238\4256\45\4346\4352\45\4954\4992\45\5007\5024\45\5740\5743\45\5750\5761\45\5786\5792\45\5866\5870\45\5905\5920\45\5937\5952\45\5969\5984\45\6000\6016\45\6067\6108\6176\45\6210\6212\45\6312\6314\45\6428\6480\45\6569\6593\45\6599\6656\45\6678\6917\45\6963\6981\45\6987\7043\45\7072\7086\45\7087\7168\45\7203\7245\45\7247\7258\45\7287\7424\45\7467\7522\45\7543\7545\45\7578\7680\45\8124\8126\8130\45\8140\8144\45\8155\8160\45\8172\8178\45\8188\8305\8319\8450\8455\8458\45\8467\8469\8473\45\8477\8484\8486\8488\8490\45\8493\8495\45\8505\8508\45\8511\8517\45\8521\8526\8544\45\8584\11264\45\11388\11392\45\11492\11520\45\11621\11648\45\11742\12294\45\12295\12321\45\12329\12344\45\12346\12348\12353\45\12438\12447\12449\45\12538\12543\45\12686\12704\45\12727\12784\45\12799\13312\45\19893\19968\45\40980\40982\45\42124\42240\45\42507\42512\45\42527\42538\45\42606\42624\45\42647\42786\45\42863\42865\45\42887\42891\45\43009\43011\45\43013\43015\45\43018\43020\45\43042\43072\45\43123\43138\45\43187\43274\45\43301\43312\45\43334\43520\45\43560\43584\45\43586\43588\45\43595\44032\45\55203\63744\45\64285\64287\45\64296\64298\45\64829\64848\45\65019\65136\45\65276\65313\45\65338\65345\45\65370\65382\45\65391\65393\45\65437\65440\45\65500\93\124\91\48\45\57\93\41\42\40\63\58\40\63\60\61\95\41\91\45\126\92\94\92\42\33\37\38\92\92\60\62\92\124\43\61\58\47\63\64\166\45\167\169\172\174\176\45\177\182\215\247\1014\1154\1542\45\1544\1550\45\1551\1769\1789\45\1790\2038\2554\2928\3059\45\3064\3066\3199\3313\45\3314\3449\3841\45\3843\3859\45\3863\3866\45\3871\3892\3894\3896\4030\45\4037\4039\45\4047\4254\45\4255\4960\5008\45\5017\6464\6624\45\6655\7009\45\7018\7028\45\7036\8260\8274\8314\45\8316\8330\45\8332\8448\45\8449\8451\45\8454\8456\45\8457\8468\8470\45\8472\8478\45\8483\8485\8487\8489\8494\8506\45\8507\8512\45\8516\8522\45\8525\8527\8592\45\9000\9003\45\9290\9372\45\9449\9472\45\10087\10132\45\10180\10183\45\10213\10224\45\10626\10649\45\10711\10716\45\10747\10750\45\11092\11493\45\11498\11904\45\12283\12292\12306\45\12307\12320\12342\45\12343\12350\45\12351\12688\45\12689\12694\45\12703\12736\45\12771\12800\45\12830\12842\45\12880\12896\45\12927\12938\45\12976\12992\45\13311\19904\45\19967\42128\45\42182\43048\45\43051\64297\65021\65122\65124\45\65126\65291\65308\45\65310\65372\65374\65506\65508\65512\45\65518\65532\45\65533\93\43\41\63" (Arbitrary "\84\101\120\116" :. Arbitrary "\83\121\109\98\111\108")
    , tok "\91\94\92\83\92\110\93\43" (Arbitrary "\84\101\120\116")
    , tok "\47\47\46\42\63\92\110" (Arbitrary "\67\111\109\109\101\110\116" :. Arbitrary "\83\105\110\103\108\101")
    , tokNext "\47\92\42" (Arbitrary "\67\111\109\109\101\110\116" :. Arbitrary "\77\117\108\116\105\108\105\110\101") (GoTo comment')
    , tok "\64\91\97\45\122\65\45\90\92\36\95\170\181\186\192\45\214\216\45\246\248\45\687\880\45\883\886\45\887\891\45\893\902\904\45\1013\1015\45\1153\1162\45\1366\1377\45\1415\1488\45\1522\1569\45\1599\1601\45\1610\1646\45\1647\1649\45\1747\1749\1774\45\1775\1786\45\1788\1791\1808\1810\45\1839\1869\45\1957\1969\1994\45\2026\2308\45\2361\2365\2384\2392\45\2401\2418\45\2431\2437\45\2489\2493\2510\2524\45\2529\2544\45\2545\2565\45\2617\2649\45\2654\2674\45\2676\2693\45\2745\2749\2768\45\2785\2821\45\2873\2877\2908\45\2913\2929\2947\45\3001\3024\3077\45\3133\3160\45\3169\3205\45\3257\3261\3294\45\3297\3333\45\3389\3424\45\3425\3450\45\3455\3461\45\3526\3585\45\3632\3634\45\3635\3648\45\3653\3713\45\3760\3762\45\3763\3773\45\3780\3804\45\3840\3904\45\3948\3976\45\3979\4096\45\4138\4159\4176\45\4181\4186\45\4189\4193\4197\45\4198\4206\45\4208\4213\45\4225\4238\4256\45\4346\4352\45\4954\4992\45\5007\5024\45\5740\5743\45\5750\5761\45\5786\5792\45\5866\5870\45\5905\5920\45\5937\5952\45\5969\5984\45\6000\6016\45\6067\6108\6176\45\6210\6212\45\6312\6314\45\6428\6480\45\6569\6593\45\6599\6656\45\6678\6917\45\6963\6981\45\6987\7043\45\7072\7086\45\7087\7168\45\7203\7245\45\7247\7258\45\7287\7424\45\7467\7522\45\7543\7545\45\7578\7680\45\8124\8126\8130\45\8140\8144\45\8155\8160\45\8172\8178\45\8188\8305\8319\8450\8455\8458\45\8467\8469\8473\45\8477\8484\8486\8488\8490\45\8493\8495\45\8505\8508\45\8511\8517\45\8521\8526\8544\45\8584\11264\45\11388\11392\45\11492\11520\45\11621\11648\45\11742\12294\45\12295\12321\45\12329\12344\45\12346\12348\12353\45\12438\12447\12449\45\12538\12543\45\12686\12704\45\12727\12784\45\12799\13312\45\19893\19968\45\40980\40982\45\42124\42240\45\42507\42512\45\42527\42538\45\42606\42624\45\42647\42786\45\42863\42865\45\42887\42891\45\43009\43011\45\43013\43015\45\43018\43020\45\43042\43072\45\43123\43138\45\43187\43274\45\43301\43312\45\43334\43520\45\43560\43584\45\43586\43588\45\43595\44032\45\55203\63744\45\64285\64287\45\64296\64298\45\64829\64848\45\65019\65136\45\65276\65313\45\65338\65345\45\65370\65382\45\65391\65393\45\65437\65440\45\65500\93\40\63\58\91\97\45\122\65\45\90\92\36\95\170\181\186\192\45\214\216\45\246\248\45\687\880\45\883\886\45\887\891\45\893\902\904\45\1013\1015\45\1153\1162\45\1366\1377\45\1415\1488\45\1522\1569\45\1599\1601\45\1610\1646\45\1647\1649\45\1747\1749\1774\45\1775\1786\45\1788\1791\1808\1810\45\1839\1869\45\1957\1969\1994\45\2026\2308\45\2361\2365\2384\2392\45\2401\2418\45\2431\2437\45\2489\2493\2510\2524\45\2529\2544\45\2545\2565\45\2617\2649\45\2654\2674\45\2676\2693\45\2745\2749\2768\45\2785\2821\45\2873\2877\2908\45\2913\2929\2947\45\3001\3024\3077\45\3133\3160\45\3169\3205\45\3257\3261\3294\45\3297\3333\45\3389\3424\45\3425\3450\45\3455\3461\45\3526\3585\45\3632\3634\45\3635\3648\45\3653\3713\45\3760\3762\45\3763\3773\45\3780\3804\45\3840\3904\45\3948\3976\45\3979\4096\45\4138\4159\4176\45\4181\4186\45\4189\4193\4197\45\4198\4206\45\4208\4213\45\4225\4238\4256\45\4346\4352\45\4954\4992\45\5007\5024\45\5740\5743\45\5750\5761\45\5786\5792\45\5866\5870\45\5905\5920\45\5937\5952\45\5969\5984\45\6000\6016\45\6067\6108\6176\45\6210\6212\45\6312\6314\45\6428\6480\45\6569\6593\45\6599\6656\45\6678\6917\45\6963\6981\45\6987\7043\45\7072\7086\45\7087\7168\45\7203\7245\45\7247\7258\45\7287\7424\45\7467\7522\45\7543\7545\45\7578\7680\45\8124\8126\8130\45\8140\8144\45\8155\8160\45\8172\8178\45\8188\8305\8319\8450\8455\8458\45\8467\8469\8473\45\8477\8484\8486\8488\8490\45\8493\8495\45\8505\8508\45\8511\8517\45\8521\8526\8544\45\8584\11264\45\11388\11392\45\11492\11520\45\11621\11648\45\11742\12294\45\12295\12321\45\12329\12344\45\12346\12348\12353\45\12438\12447\12449\45\12538\12543\45\12686\12704\45\12727\12784\45\12799\13312\45\19893\19968\45\40980\40982\45\42124\42240\45\42507\42512\45\42527\42538\45\42606\42624\45\42647\42786\45\42863\42865\45\42887\42891\45\43009\43011\45\43013\43015\45\43018\43020\45\43042\43072\45\43123\43138\45\43187\43274\45\43301\43312\45\43334\43520\45\43560\43584\45\43586\43588\45\43595\44032\45\55203\63744\45\64285\64287\45\64296\64298\45\64829\64848\45\65019\65136\45\65276\65313\45\65338\65345\45\65370\65382\45\65391\65393\45\65437\65440\45\65500\93\124\91\48\45\57\93\41\42\40\63\58\40\63\60\61\95\41\91\45\126\92\94\92\42\33\37\38\92\92\60\62\92\124\43\61\58\47\63\64\166\45\167\169\172\174\176\45\177\182\215\247\1014\1154\1542\45\1544\1550\45\1551\1769\1789\45\1790\2038\2554\2928\3059\45\3064\3066\3199\3313\45\3314\3449\3841\45\3843\3859\45\3863\3866\45\3871\3892\3894\3896\4030\45\4037\4039\45\4047\4254\45\4255\4960\5008\45\5017\6464\6624\45\6655\7009\45\7018\7028\45\7036\8260\8274\8314\45\8316\8330\45\8332\8448\45\8449\8451\45\8454\8456\45\8457\8468\8470\45\8472\8478\45\8483\8485\8487\8489\8494\8506\45\8507\8512\45\8516\8522\45\8525\8527\8592\45\9000\9003\45\9290\9372\45\9449\9472\45\10087\10132\45\10180\10183\45\10213\10224\45\10626\10649\45\10711\10716\45\10747\10750\45\11092\11493\45\11498\11904\45\12283\12292\12306\45\12307\12320\12342\45\12343\12350\45\12351\12688\45\12689\12694\45\12703\12736\45\12771\12800\45\12830\12842\45\12880\12896\45\12927\12938\45\12976\12992\45\13311\19904\45\19967\42128\45\42182\43048\45\43051\64297\65021\65122\65124\45\65126\65291\65308\45\65310\65372\65374\65506\65508\65512\45\65518\65532\45\65533\93\43\41\63" (Arbitrary "\78\97\109\101" :. Arbitrary "\68\101\99\111\114\97\116\111\114")
    , tok "\40\97\98\115\116\114\97\99\116\124\99\97\40\63\58\115\101\124\116\99\104\41\124\100\40\63\58\101\102\124\111\41\124\101\40\63\58\108\115\101\124\120\116\101\110\100\115\41\124\102\40\63\58\105\110\97\108\40\63\58\108\121\41\63\124\111\114\40\63\58\83\111\109\101\41\63\41\124\105\40\63\58\102\124\109\112\108\105\99\105\116\41\124\108\97\122\121\124\109\97\116\99\104\124\110\101\119\124\111\118\101\114\114\105\100\101\124\112\114\40\63\58\105\118\97\116\101\124\111\116\101\99\116\101\100\41\124\114\101\40\63\58\113\117\105\114\101\115\124\116\117\114\110\41\124\115\40\63\58\101\97\108\101\100\124\117\112\101\114\41\124\116\40\63\58\104\40\63\58\105\115\124\114\111\119\41\124\114\121\41\124\118\97\91\108\114\93\124\119\40\63\58\104\105\108\101\124\105\116\104\41\124\121\105\101\108\100\41\92\98\124\40\60\91\37\58\45\93\124\61\62\124\62\58\124\91\35\61\64\95\8658\8592\93\41\40\8\124\40\63\61\92\115\41\124\36\41" (Arbitrary "\75\101\121\119\111\114\100")
    , tokNext "\58\40\63\33\91\45\126\92\94\92\42\33\37\38\92\92\60\62\92\124\43\61\58\47\63\64\166\45\167\169\172\174\176\45\177\182\215\247\1014\1154\1542\45\1544\1550\45\1551\1769\1789\45\1790\2038\2554\2928\3059\45\3064\3066\3199\3313\45\3314\3449\3841\45\3843\3859\45\3863\3866\45\3871\3892\3894\3896\4030\45\4037\4039\45\4047\4254\45\4255\4960\5008\45\5017\6464\6624\45\6655\7009\45\7018\7028\45\7036\8260\8274\8314\45\8316\8330\45\8332\8448\45\8449\8451\45\8454\8456\45\8457\8468\8470\45\8472\8478\45\8483\8485\8487\8489\8494\8506\45\8507\8512\45\8516\8522\45\8525\8527\8592\45\9000\9003\45\9290\9372\45\9449\9472\45\10087\10132\45\10180\10183\45\10213\10224\45\10626\10649\45\10711\10716\45\10747\10750\45\11092\11493\45\11498\11904\45\12283\12292\12306\45\12307\12320\12342\45\12343\12350\45\12351\12688\45\12689\12694\45\12703\12736\45\12771\12800\45\12830\12842\45\12880\12896\45\12927\12938\45\12976\12992\45\13311\19904\45\19967\42128\45\42182\43048\45\43051\64297\65021\65122\65124\45\65126\65291\65308\45\65310\65372\65374\65506\65508\65512\45\65518\65532\45\65533\93\43\41" (Arbitrary "\75\101\121\119\111\114\100") (GoTo type')
    , tok "\91\65\45\90\92\36\95\192\45\214\216\45\222\256\258\260\262\264\266\268\270\272\274\276\278\280\282\284\286\288\290\292\294\296\298\300\302\304\306\308\310\313\315\317\319\321\323\325\327\330\332\334\336\338\340\342\344\346\348\350\352\354\356\358\360\362\364\366\368\370\372\374\376\45\377\379\381\385\45\386\388\390\45\391\393\45\395\398\45\401\403\45\404\406\45\408\412\45\413\415\45\416\418\420\422\45\423\425\428\430\45\431\433\45\435\437\439\45\440\444\452\455\458\461\463\465\467\469\471\473\475\478\480\482\484\486\488\490\492\494\497\500\502\45\504\506\508\510\512\514\516\518\520\522\524\526\528\530\532\534\536\538\540\542\544\546\548\550\552\554\556\558\560\562\570\45\571\573\45\574\577\579\45\582\584\586\588\590\880\882\886\902\904\45\911\913\45\939\975\978\45\980\984\986\988\990\992\994\996\998\1000\1002\1004\1006\1012\1015\1017\45\1018\1021\45\1071\1120\1122\1124\1126\1128\1130\1132\1134\1136\1138\1140\1142\1144\1146\1148\1150\1152\1162\1164\1166\1168\1170\1172\1174\1176\1178\1180\1182\1184\1186\1188\1190\1192\1194\1196\1198\1200\1202\1204\1206\1208\1210\1212\1214\1216\45\1217\1219\1221\1223\1225\1227\1229\1232\1234\1236\1238\1240\1242\1244\1246\1248\1250\1252\1254\1256\1258\1260\1262\1264\1266\1268\1270\1272\1274\1276\1278\1280\1282\1284\1286\1288\1290\1292\1294\1296\1298\1300\1302\1304\1306\1308\1310\1312\1314\1329\45\1366\4256\45\4293\7680\7682\7684\7686\7688\7690\7692\7694\7696\7698\7700\7702\7704\7706\7708\7710\7712\7714\7716\7718\7720\7722\7724\7726\7728\7730\7732\7734\7736\7738\7740\7742\7744\7746\7748\7750\7752\7754\7756\7758\7760\7762\7764\7766\7768\7770\7772\7774\7776\7778\7780\7782\7784\7786\7788\7790\7792\7794\7796\7798\7800\7802\7804\7806\7808\7810\7812\7814\7816\7818\7820\7822\7824\7826\7828\7838\7840\7842\7844\7846\7848\7850\7852\7854\7856\7858\7860\7862\7864\7866\7868\7870\7872\7874\7876\7878\7880\7882\7884\7886\7888\7890\7892\7894\7896\7898\7900\7902\7904\7906\7908\7910\7912\7914\7916\7918\7920\7922\7924\7926\7928\7930\7932\7934\7944\45\7951\7960\45\7965\7976\45\7983\7992\45\7999\8008\45\8013\8025\45\8031\8040\45\8047\8120\45\8123\8136\45\8139\8152\45\8155\8168\45\8172\8184\45\8187\8450\8455\8459\45\8461\8464\45\8466\8469\8473\45\8477\8484\8486\8488\8490\45\8493\8496\45\8499\8510\45\8511\8517\8579\11264\45\11310\11360\11362\45\11364\11367\11369\11371\11373\45\11375\11378\11381\11392\11394\11396\11398\11400\11402\11404\11406\11408\11410\11412\11414\11416\11418\11420\11422\11424\11426\11428\11430\11432\11434\11436\11438\11440\11442\11444\11446\11448\11450\11452\11454\11456\11458\11460\11462\11464\11466\11468\11470\11472\11474\11476\11478\11480\11482\11484\11486\11488\11490\42560\42562\42564\42566\42568\42570\42572\42574\42576\42578\42580\42582\42584\42586\42588\42590\42594\42596\42598\42600\42602\42604\42624\42626\42628\42630\42632\42634\42636\42638\42640\42642\42644\42646\42786\42788\42790\42792\42794\42796\42798\42802\42804\42806\42808\42810\42812\42814\42816\42818\42820\42822\42824\42826\42828\42830\42832\42834\42836\42838\42840\42842\42844\42846\42848\42850\42852\42854\42856\42858\42860\42862\42873\42875\42877\45\42878\42880\42882\42884\42886\42891\65313\45\65338\93\91\97\45\122\65\45\90\92\36\95\170\181\186\192\45\214\216\45\246\248\45\687\880\45\883\886\45\887\891\45\893\902\904\45\1013\1015\45\1153\1162\45\1366\1377\45\1415\1488\45\1522\1569\45\1599\1601\45\1610\1646\45\1647\1649\45\1747\1749\1774\45\1775\1786\45\1788\1791\1808\1810\45\1839\1869\45\1957\1969\1994\45\2026\2308\45\2361\2365\2384\2392\45\2401\2418\45\2431\2437\45\2489\2493\2510\2524\45\2529\2544\45\2545\2565\45\2617\2649\45\2654\2674\45\2676\2693\45\2745\2749\2768\45\2785\2821\45\2873\2877\2908\45\2913\2929\2947\45\3001\3024\3077\45\3133\3160\45\3169\3205\45\3257\3261\3294\45\3297\3333\45\3389\3424\45\3425\3450\45\3455\3461\45\3526\3585\45\3632\3634\45\3635\3648\45\3653\3713\45\3760\3762\45\3763\3773\45\3780\3804\45\3840\3904\45\3948\3976\45\3979\4096\45\4138\4159\4176\45\4181\4186\45\4189\4193\4197\45\4198\4206\45\4208\4213\45\4225\4238\4256\45\4346\4352\45\4954\4992\45\5007\5024\45\5740\5743\45\5750\5761\45\5786\5792\45\5866\5870\45\5905\5920\45\5937\5952\45\5969\5984\45\6000\6016\45\6067\6108\6176\45\6210\6212\45\6312\6314\45\6428\6480\45\6569\6593\45\6599\6656\45\6678\6917\45\6963\6981\45\6987\7043\45\7072\7086\45\7087\7168\45\7203\7245\45\7247\7258\45\7287\7424\45\7467\7522\45\7543\7545\45\7578\7680\45\8124\8126\8130\45\8140\8144\45\8155\8160\45\8172\8178\45\8188\8305\8319\8450\8455\8458\45\8467\8469\8473\45\8477\8484\8486\8488\8490\45\8493\8495\45\8505\8508\45\8511\8517\45\8521\8526\8544\45\8584\11264\45\11388\11392\45\11492\11520\45\11621\11648\45\11742\12294\45\12295\12321\45\12329\12344\45\12346\12348\12353\45\12438\12447\12449\45\12538\12543\45\12686\12704\45\12727\12784\45\12799\13312\45\19893\19968\45\40980\40982\45\42124\42240\45\42507\42512\45\42527\42538\45\42606\42624\45\42647\42786\45\42863\42865\45\42887\42891\45\43009\43011\45\43013\43015\45\43018\43020\45\43042\43072\45\43123\43138\45\43187\43274\45\43301\43312\45\43334\43520\45\43560\43584\45\43586\43588\45\43595\44032\45\55203\63744\45\64285\64287\45\64296\64298\45\64829\64848\45\65019\65136\45\65276\65313\45\65338\65345\45\65370\65382\45\65391\65393\45\65437\65440\45\65500\93\40\63\58\91\97\45\122\65\45\90\92\36\95\170\181\186\192\45\214\216\45\246\248\45\687\880\45\883\886\45\887\891\45\893\902\904\45\1013\1015\45\1153\1162\45\1366\1377\45\1415\1488\45\1522\1569\45\1599\1601\45\1610\1646\45\1647\1649\45\1747\1749\1774\45\1775\1786\45\1788\1791\1808\1810\45\1839\1869\45\1957\1969\1994\45\2026\2308\45\2361\2365\2384\2392\45\2401\2418\45\2431\2437\45\2489\2493\2510\2524\45\2529\2544\45\2545\2565\45\2617\2649\45\2654\2674\45\2676\2693\45\2745\2749\2768\45\2785\2821\45\2873\2877\2908\45\2913\2929\2947\45\3001\3024\3077\45\3133\3160\45\3169\3205\45\3257\3261\3294\45\3297\3333\45\3389\3424\45\3425\3450\45\3455\3461\45\3526\3585\45\3632\3634\45\3635\3648\45\3653\3713\45\3760\3762\45\3763\3773\45\3780\3804\45\3840\3904\45\3948\3976\45\3979\4096\45\4138\4159\4176\45\4181\4186\45\4189\4193\4197\45\4198\4206\45\4208\4213\45\4225\4238\4256\45\4346\4352\45\4954\4992\45\5007\5024\45\5740\5743\45\5750\5761\45\5786\5792\45\5866\5870\45\5905\5920\45\5937\5952\45\5969\5984\45\6000\6016\45\6067\6108\6176\45\6210\6212\45\6312\6314\45\6428\6480\45\6569\6593\45\6599\6656\45\6678\6917\45\6963\6981\45\6987\7043\45\7072\7086\45\7087\7168\45\7203\7245\45\7247\7258\45\7287\7424\45\7467\7522\45\7543\7545\45\7578\7680\45\8124\8126\8130\45\8140\8144\45\8155\8160\45\8172\8178\45\8188\8305\8319\8450\8455\8458\45\8467\8469\8473\45\8477\8484\8486\8488\8490\45\8493\8495\45\8505\8508\45\8511\8517\45\8521\8526\8544\45\8584\11264\45\11388\11392\45\11492\11520\45\11621\11648\45\11742\12294\45\12295\12321\45\12329\12344\45\12346\12348\12353\45\12438\12447\12449\45\12538\12543\45\12686\12704\45\12727\12784\45\12799\13312\45\19893\19968\45\40980\40982\45\42124\42240\45\42507\42512\45\42527\42538\45\42606\42624\45\42647\42786\45\42863\42865\45\42887\42891\45\43009\43011\45\43013\43015\45\43018\43020\45\43042\43072\45\43123\43138\45\43187\43274\45\43301\43312\45\43334\43520\45\43560\43584\45\43586\43588\45\43595\44032\45\55203\63744\45\64285\64287\45\64296\64298\45\64829\64848\45\65019\65136\45\65276\65313\45\65338\65345\45\65370\65382\45\65391\65393\45\65437\65440\45\65500\93\124\91\48\45\57\93\41\42\40\63\58\40\63\60\61\95\41\91\45\126\92\94\92\42\33\37\38\92\92\60\62\92\124\43\61\58\47\63\64\166\45\167\169\172\174\176\45\177\182\215\247\1014\1154\1542\45\1544\1550\45\1551\1769\1789\45\1790\2038\2554\2928\3059\45\3064\3066\3199\3313\45\3314\3449\3841\45\3843\3859\45\3863\3866\45\3871\3892\3894\3896\4030\45\4037\4039\45\4047\4254\45\4255\4960\5008\45\5017\6464\6624\45\6655\7009\45\7018\7028\45\7036\8260\8274\8314\45\8316\8330\45\8332\8448\45\8449\8451\45\8454\8456\45\8457\8468\8470\45\8472\8478\45\8483\8485\8487\8489\8494\8506\45\8507\8512\45\8516\8522\45\8525\8527\8592\45\9000\9003\45\9290\9372\45\9449\9472\45\10087\10132\45\10180\10183\45\10213\10224\45\10626\10649\45\10711\10716\45\10747\10750\45\11092\11493\45\11498\11904\45\12283\12292\12306\45\12307\12320\12342\45\12343\12350\45\12351\12688\45\12689\12694\45\12703\12736\45\12771\12800\45\12830\12842\45\12880\12896\45\12927\12938\45\12976\12992\45\13311\19904\45\19967\42128\45\42182\43048\45\43051\64297\65021\65122\65124\45\65126\65291\65308\45\65310\65372\65374\65506\65508\65512\45\65518\65532\45\65533\93\43\41\63\92\98" (Arbitrary "\78\97\109\101" :. Arbitrary "\67\108\97\115\115")
    , tok "\40\116\114\117\101\124\102\97\108\115\101\124\110\117\108\108\41\92\98" (Arbitrary "\75\101\121\119\111\114\100" :. Arbitrary "\67\111\110\115\116\97\110\116")
    , tokNext "\40\105\109\112\111\114\116\124\112\97\99\107\97\103\101\41\40\92\115\43\41" (ByGroups [(Arbitrary "\75\101\121\119\111\114\100"), (Arbitrary "\84\101\120\116")]) (GoTo import')
    , tokNext "\40\116\121\112\101\41\40\92\115\43\41" (ByGroups [(Arbitrary "\75\101\121\119\111\114\100"), (Arbitrary "\84\101\120\116")]) (GoTo type')
    , tok "\34\34\34\40\63\58\46\124\92\110\41\42\63\34\34\34" (Arbitrary "\76\105\116\101\114\97\108" :. Arbitrary "\83\116\114\105\110\103")
    , tok "\34\40\92\92\92\92\124\92\92\34\124\91\94\34\93\41\42\34" (Arbitrary "\76\105\116\101\114\97\108" :. Arbitrary "\83\116\114\105\110\103")
    , tok "\39\92\92\46\39\124\39\91\94\92\92\93\39\124\39\92\92\117\91\48\45\57\97\45\102\93\123\52\125\39" (Arbitrary "\76\105\116\101\114\97\108" :. Arbitrary "\83\116\114\105\110\103" :. Arbitrary "\67\104\97\114")
    , tok "\91\97\45\122\65\45\90\92\36\95\170\181\186\192\45\214\216\45\246\248\45\687\880\45\883\886\45\887\891\45\893\902\904\45\1013\1015\45\1153\1162\45\1366\1377\45\1415\1488\45\1522\1569\45\1599\1601\45\1610\1646\45\1647\1649\45\1747\1749\1774\45\1775\1786\45\1788\1791\1808\1810\45\1839\1869\45\1957\1969\1994\45\2026\2308\45\2361\2365\2384\2392\45\2401\2418\45\2431\2437\45\2489\2493\2510\2524\45\2529\2544\45\2545\2565\45\2617\2649\45\2654\2674\45\2676\2693\45\2745\2749\2768\45\2785\2821\45\2873\2877\2908\45\2913\2929\2947\45\3001\3024\3077\45\3133\3160\45\3169\3205\45\3257\3261\3294\45\3297\3333\45\3389\3424\45\3425\3450\45\3455\3461\45\3526\3585\45\3632\3634\45\3635\3648\45\3653\3713\45\3760\3762\45\3763\3773\45\3780\3804\45\3840\3904\45\3948\3976\45\3979\4096\45\4138\4159\4176\45\4181\4186\45\4189\4193\4197\45\4198\4206\45\4208\4213\45\4225\4238\4256\45\4346\4352\45\4954\4992\45\5007\5024\45\5740\5743\45\5750\5761\45\5786\5792\45\5866\5870\45\5905\5920\45\5937\5952\45\5969\5984\45\6000\6016\45\6067\6108\6176\45\6210\6212\45\6312\6314\45\6428\6480\45\6569\6593\45\6599\6656\45\6678\6917\45\6963\6981\45\6987\7043\45\7072\7086\45\7087\7168\45\7203\7245\45\7247\7258\45\7287\7424\45\7467\7522\45\7543\7545\45\7578\7680\45\8124\8126\8130\45\8140\8144\45\8155\8160\45\8172\8178\45\8188\8305\8319\8450\8455\8458\45\8467\8469\8473\45\8477\8484\8486\8488\8490\45\8493\8495\45\8505\8508\45\8511\8517\45\8521\8526\8544\45\8584\11264\45\11388\11392\45\11492\11520\45\11621\11648\45\11742\12294\45\12295\12321\45\12329\12344\45\12346\12348\12353\45\12438\12447\12449\45\12538\12543\45\12686\12704\45\12727\12784\45\12799\13312\45\19893\19968\45\40980\40982\45\42124\42240\45\42507\42512\45\42527\42538\45\42606\42624\45\42647\42786\45\42863\42865\45\42887\42891\45\43009\43011\45\43013\43015\45\43018\43020\45\43042\43072\45\43123\43138\45\43187\43274\45\43301\43312\45\43334\43520\45\43560\43584\45\43586\43588\45\43595\44032\45\55203\63744\45\64285\64287\45\64296\64298\45\64829\64848\45\65019\65136\45\65276\65313\45\65338\65345\45\65370\65382\45\65391\65393\45\65437\65440\45\65500\93\40\63\58\91\97\45\122\65\45\90\92\36\95\170\181\186\192\45\214\216\45\246\248\45\687\880\45\883\886\45\887\891\45\893\902\904\45\1013\1015\45\1153\1162\45\1366\1377\45\1415\1488\45\1522\1569\45\1599\1601\45\1610\1646\45\1647\1649\45\1747\1749\1774\45\1775\1786\45\1788\1791\1808\1810\45\1839\1869\45\1957\1969\1994\45\2026\2308\45\2361\2365\2384\2392\45\2401\2418\45\2431\2437\45\2489\2493\2510\2524\45\2529\2544\45\2545\2565\45\2617\2649\45\2654\2674\45\2676\2693\45\2745\2749\2768\45\2785\2821\45\2873\2877\2908\45\2913\2929\2947\45\3001\3024\3077\45\3133\3160\45\3169\3205\45\3257\3261\3294\45\3297\3333\45\3389\3424\45\3425\3450\45\3455\3461\45\3526\3585\45\3632\3634\45\3635\3648\45\3653\3713\45\3760\3762\45\3763\3773\45\3780\3804\45\3840\3904\45\3948\3976\45\3979\4096\45\4138\4159\4176\45\4181\4186\45\4189\4193\4197\45\4198\4206\45\4208\4213\45\4225\4238\4256\45\4346\4352\45\4954\4992\45\5007\5024\45\5740\5743\45\5750\5761\45\5786\5792\45\5866\5870\45\5905\5920\45\5937\5952\45\5969\5984\45\6000\6016\45\6067\6108\6176\45\6210\6212\45\6312\6314\45\6428\6480\45\6569\6593\45\6599\6656\45\6678\6917\45\6963\6981\45\6987\7043\45\7072\7086\45\7087\7168\45\7203\7245\45\7247\7258\45\7287\7424\45\7467\7522\45\7543\7545\45\7578\7680\45\8124\8126\8130\45\8140\8144\45\8155\8160\45\8172\8178\45\8188\8305\8319\8450\8455\8458\45\8467\8469\8473\45\8477\8484\8486\8488\8490\45\8493\8495\45\8505\8508\45\8511\8517\45\8521\8526\8544\45\8584\11264\45\11388\11392\45\11492\11520\45\11621\11648\45\11742\12294\45\12295\12321\45\12329\12344\45\12346\12348\12353\45\12438\12447\12449\45\12538\12543\45\12686\12704\45\12727\12784\45\12799\13312\45\19893\19968\45\40980\40982\45\42124\42240\45\42507\42512\45\42527\42538\45\42606\42624\45\42647\42786\45\42863\42865\45\42887\42891\45\43009\43011\45\43013\43015\45\43018\43020\45\43042\43072\45\43123\43138\45\43187\43274\45\43301\43312\45\43334\43520\45\43560\43584\45\43586\43588\45\43595\44032\45\55203\63744\45\64285\64287\45\64296\64298\45\64829\64848\45\65019\65136\45\65276\65313\45\65338\65345\45\65370\65382\45\65391\65393\45\65437\65440\45\65500\93\124\91\48\45\57\93\41\42\40\63\58\40\63\60\61\95\41\91\45\126\92\94\92\42\33\37\38\92\92\60\62\92\124\43\61\58\47\63\64\166\45\167\169\172\174\176\45\177\182\215\247\1014\1154\1542\45\1544\1550\45\1551\1769\1789\45\1790\2038\2554\2928\3059\45\3064\3066\3199\3313\45\3314\3449\3841\45\3843\3859\45\3863\3866\45\3871\3892\3894\3896\4030\45\4037\4039\45\4047\4254\45\4255\4960\5008\45\5017\6464\6624\45\6655\7009\45\7018\7028\45\7036\8260\8274\8314\45\8316\8330\45\8332\8448\45\8449\8451\45\8454\8456\45\8457\8468\8470\45\8472\8478\45\8483\8485\8487\8489\8494\8506\45\8507\8512\45\8516\8522\45\8525\8527\8592\45\9000\9003\45\9290\9372\45\9449\9472\45\10087\10132\45\10180\10183\45\10213\10224\45\10626\10649\45\10711\10716\45\10747\10750\45\11092\11493\45\11498\11904\45\12283\12292\12306\45\12307\12320\12342\45\12343\12350\45\12351\12688\45\12689\12694\45\12703\12736\45\12771\12800\45\12830\12842\45\12880\12896\45\12927\12938\45\12976\12992\45\13311\19904\45\19967\42128\45\42182\43048\45\43051\64297\65021\65122\65124\45\65126\65291\65308\45\65310\65372\65374\65506\65508\65512\45\65518\65532\45\65533\93\43\41\63" (Arbitrary "\78\97\109\101")
    , tok "\96\91\94\96\93\43\96" (Arbitrary "\78\97\109\101")
    , tokNext "\92\91" (Arbitrary "\79\112\101\114\97\116\111\114") (GoTo typeparam')
    , tok "\91\92\40\92\41\92\123\92\125\59\44\46\93" (Arbitrary "\79\112\101\114\97\116\111\114")
    , tok "\91\45\126\92\94\92\42\33\37\38\92\92\60\62\92\124\43\61\58\47\63\64\166\45\167\169\172\174\176\45\177\182\215\247\1014\1154\1542\45\1544\1550\45\1551\1769\1789\45\1790\2038\2554\2928\3059\45\3064\3066\3199\3313\45\3314\3449\3841\45\3843\3859\45\3863\3866\45\3871\3892\3894\3896\4030\45\4037\4039\45\4047\4254\45\4255\4960\5008\45\5017\6464\6624\45\6655\7009\45\7018\7028\45\7036\8260\8274\8314\45\8316\8330\45\8332\8448\45\8449\8451\45\8454\8456\45\8457\8468\8470\45\8472\8478\45\8483\8485\8487\8489\8494\8506\45\8507\8512\45\8516\8522\45\8525\8527\8592\45\9000\9003\45\9290\9372\45\9449\9472\45\10087\10132\45\10180\10183\45\10213\10224\45\10626\10649\45\10711\10716\45\10747\10750\45\11092\11493\45\11498\11904\45\12283\12292\12306\45\12307\12320\12342\45\12343\12350\45\12351\12688\45\12689\12694\45\12703\12736\45\12771\12800\45\12830\12842\45\12880\12896\45\12927\12938\45\12976\12992\45\13311\19904\45\19967\42128\45\42182\43048\45\43051\64297\65021\65122\65124\45\65126\65291\65308\45\65310\65372\65374\65506\65508\65512\45\65518\65532\45\65533\93\43" (Arbitrary "\79\112\101\114\97\116\111\114")
    , tok "\40\91\48\45\57\93\91\48\45\57\93\42\92\46\91\48\45\57\93\42\124\92\46\91\48\45\57\93\43\41\40\91\101\69\93\91\43\45\93\63\91\48\45\57\93\43\41\63\91\102\70\100\68\93\63" (Arbitrary "\76\105\116\101\114\97\108" :. Arbitrary "\78\117\109\98\101\114" :. Arbitrary "\70\108\111\97\116")
    , tok "\48\120\91\48\45\57\97\45\102\93\43" (Arbitrary "\76\105\116\101\114\97\108" :. Arbitrary "\78\117\109\98\101\114" :. Arbitrary "\72\101\120")
    , tok "\91\48\45\57\93\43\76\63" (Arbitrary "\76\105\116\101\114\97\108" :. Arbitrary "\78\117\109\98\101\114" :. Arbitrary "\73\110\116\101\103\101\114")
    , tok "\92\110" (Arbitrary "\84\101\120\116")
    ]

typeparam' :: TokenMatcher
typeparam' =
    [ tok "\91\92\115\92\110\44\93\43" (Arbitrary "\84\101\120\116")
    , tok "\60\91\37\58\93\124\61\62\124\62\58\124\91\35\95\8658\93\124\102\111\114\83\111\109\101\124\116\121\112\101" (Arbitrary "\75\101\121\119\111\114\100")
    , tokNext "\40\91\92\93\92\41\92\125\93\41" (Arbitrary "\79\112\101\114\97\116\111\114") Pop
    , tokNext "\91\92\40\92\91\92\123\93" (Arbitrary "\79\112\101\114\97\116\111\114") Push
    , tok "\92\46\124\91\97\45\122\65\45\90\92\36\95\170\181\186\192\45\214\216\45\246\248\45\687\880\45\883\886\45\887\891\45\893\902\904\45\1013\1015\45\1153\1162\45\1366\1377\45\1415\1488\45\1522\1569\45\1599\1601\45\1610\1646\45\1647\1649\45\1747\1749\1774\45\1775\1786\45\1788\1791\1808\1810\45\1839\1869\45\1957\1969\1994\45\2026\2308\45\2361\2365\2384\2392\45\2401\2418\45\2431\2437\45\2489\2493\2510\2524\45\2529\2544\45\2545\2565\45\2617\2649\45\2654\2674\45\2676\2693\45\2745\2749\2768\45\2785\2821\45\2873\2877\2908\45\2913\2929\2947\45\3001\3024\3077\45\3133\3160\45\3169\3205\45\3257\3261\3294\45\3297\3333\45\3389\3424\45\3425\3450\45\3455\3461\45\3526\3585\45\3632\3634\45\3635\3648\45\3653\3713\45\3760\3762\45\3763\3773\45\3780\3804\45\3840\3904\45\3948\3976\45\3979\4096\45\4138\4159\4176\45\4181\4186\45\4189\4193\4197\45\4198\4206\45\4208\4213\45\4225\4238\4256\45\4346\4352\45\4954\4992\45\5007\5024\45\5740\5743\45\5750\5761\45\5786\5792\45\5866\5870\45\5905\5920\45\5937\5952\45\5969\5984\45\6000\6016\45\6067\6108\6176\45\6210\6212\45\6312\6314\45\6428\6480\45\6569\6593\45\6599\6656\45\6678\6917\45\6963\6981\45\6987\7043\45\7072\7086\45\7087\7168\45\7203\7245\45\7247\7258\45\7287\7424\45\7467\7522\45\7543\7545\45\7578\7680\45\8124\8126\8130\45\8140\8144\45\8155\8160\45\8172\8178\45\8188\8305\8319\8450\8455\8458\45\8467\8469\8473\45\8477\8484\8486\8488\8490\45\8493\8495\45\8505\8508\45\8511\8517\45\8521\8526\8544\45\8584\11264\45\11388\11392\45\11492\11520\45\11621\11648\45\11742\12294\45\12295\12321\45\12329\12344\45\12346\12348\12353\45\12438\12447\12449\45\12538\12543\45\12686\12704\45\12727\12784\45\12799\13312\45\19893\19968\45\40980\40982\45\42124\42240\45\42507\42512\45\42527\42538\45\42606\42624\45\42647\42786\45\42863\42865\45\42887\42891\45\43009\43011\45\43013\43015\45\43018\43020\45\43042\43072\45\43123\43138\45\43187\43274\45\43301\43312\45\43334\43520\45\43560\43584\45\43586\43588\45\43595\44032\45\55203\63744\45\64285\64287\45\64296\64298\45\64829\64848\45\65019\65136\45\65276\65313\45\65338\65345\45\65370\65382\45\65391\65393\45\65437\65440\45\65500\93\40\63\58\91\97\45\122\65\45\90\92\36\95\170\181\186\192\45\214\216\45\246\248\45\687\880\45\883\886\45\887\891\45\893\902\904\45\1013\1015\45\1153\1162\45\1366\1377\45\1415\1488\45\1522\1569\45\1599\1601\45\1610\1646\45\1647\1649\45\1747\1749\1774\45\1775\1786\45\1788\1791\1808\1810\45\1839\1869\45\1957\1969\1994\45\2026\2308\45\2361\2365\2384\2392\45\2401\2418\45\2431\2437\45\2489\2493\2510\2524\45\2529\2544\45\2545\2565\45\2617\2649\45\2654\2674\45\2676\2693\45\2745\2749\2768\45\2785\2821\45\2873\2877\2908\45\2913\2929\2947\45\3001\3024\3077\45\3133\3160\45\3169\3205\45\3257\3261\3294\45\3297\3333\45\3389\3424\45\3425\3450\45\3455\3461\45\3526\3585\45\3632\3634\45\3635\3648\45\3653\3713\45\3760\3762\45\3763\3773\45\3780\3804\45\3840\3904\45\3948\3976\45\3979\4096\45\4138\4159\4176\45\4181\4186\45\4189\4193\4197\45\4198\4206\45\4208\4213\45\4225\4238\4256\45\4346\4352\45\4954\4992\45\5007\5024\45\5740\5743\45\5750\5761\45\5786\5792\45\5866\5870\45\5905\5920\45\5937\5952\45\5969\5984\45\6000\6016\45\6067\6108\6176\45\6210\6212\45\6312\6314\45\6428\6480\45\6569\6593\45\6599\6656\45\6678\6917\45\6963\6981\45\6987\7043\45\7072\7086\45\7087\7168\45\7203\7245\45\7247\7258\45\7287\7424\45\7467\7522\45\7543\7545\45\7578\7680\45\8124\8126\8130\45\8140\8144\45\8155\8160\45\8172\8178\45\8188\8305\8319\8450\8455\8458\45\8467\8469\8473\45\8477\8484\8486\8488\8490\45\8493\8495\45\8505\8508\45\8511\8517\45\8521\8526\8544\45\8584\11264\45\11388\11392\45\11492\11520\45\11621\11648\45\11742\12294\45\12295\12321\45\12329\12344\45\12346\12348\12353\45\12438\12447\12449\45\12538\12543\45\12686\12704\45\12727\12784\45\12799\13312\45\19893\19968\45\40980\40982\45\42124\42240\45\42507\42512\45\42527\42538\45\42606\42624\45\42647\42786\45\42863\42865\45\42887\42891\45\43009\43011\45\43013\43015\45\43018\43020\45\43042\43072\45\43123\43138\45\43187\43274\45\43301\43312\45\43334\43520\45\43560\43584\45\43586\43588\45\43595\44032\45\55203\63744\45\64285\64287\45\64296\64298\45\64829\64848\45\65019\65136\45\65276\65313\45\65338\65345\45\65370\65382\45\65391\65393\45\65437\65440\45\65500\93\124\91\48\45\57\93\41\42\40\63\58\40\63\60\61\95\41\91\45\126\92\94\92\42\33\37\38\92\92\60\62\92\124\43\61\58\47\63\64\166\45\167\169\172\174\176\45\177\182\215\247\1014\1154\1542\45\1544\1550\45\1551\1769\1789\45\1790\2038\2554\2928\3059\45\3064\3066\3199\3313\45\3314\3449\3841\45\3843\3859\45\3863\3866\45\3871\3892\3894\3896\4030\45\4037\4039\45\4047\4254\45\4255\4960\5008\45\5017\6464\6624\45\6655\7009\45\7018\7028\45\7036\8260\8274\8314\45\8316\8330\45\8332\8448\45\8449\8451\45\8454\8456\45\8457\8468\8470\45\8472\8478\45\8483\8485\8487\8489\8494\8506\45\8507\8512\45\8516\8522\45\8525\8527\8592\45\9000\9003\45\9290\9372\45\9449\9472\45\10087\10132\45\10180\10183\45\10213\10224\45\10626\10649\45\10711\10716\45\10747\10750\45\11092\11493\45\11498\11904\45\12283\12292\12306\45\12307\12320\12342\45\12343\12350\45\12351\12688\45\12689\12694\45\12703\12736\45\12771\12800\45\12830\12842\45\12880\12896\45\12927\12938\45\12976\12992\45\13311\19904\45\19967\42128\45\42182\43048\45\43051\64297\65021\65122\65124\45\65126\65291\65308\45\65310\65372\65374\65506\65508\65512\45\65518\65532\45\65533\93\43\41\63\124\91\45\126\92\94\92\42\33\37\38\92\92\60\62\92\124\43\61\58\47\63\64\166\45\167\169\172\174\176\45\177\182\215\247\1014\1154\1542\45\1544\1550\45\1551\1769\1789\45\1790\2038\2554\2928\3059\45\3064\3066\3199\3313\45\3314\3449\3841\45\3843\3859\45\3863\3866\45\3871\3892\3894\3896\4030\45\4037\4039\45\4047\4254\45\4255\4960\5008\45\5017\6464\6624\45\6655\7009\45\7018\7028\45\7036\8260\8274\8314\45\8316\8330\45\8332\8448\45\8449\8451\45\8454\8456\45\8457\8468\8470\45\8472\8478\45\8483\8485\8487\8489\8494\8506\45\8507\8512\45\8516\8522\45\8525\8527\8592\45\9000\9003\45\9290\9372\45\9449\9472\45\10087\10132\45\10180\10183\45\10213\10224\45\10626\10649\45\10711\10716\45\10747\10750\45\11092\11493\45\11498\11904\45\12283\12292\12306\45\12307\12320\12342\45\12343\12350\45\12351\12688\45\12689\12694\45\12703\12736\45\12771\12800\45\12830\12842\45\12880\12896\45\12927\12938\45\12976\12992\45\13311\19904\45\19967\42128\45\42182\43048\45\43051\64297\65021\65122\65124\45\65126\65291\65308\45\65310\65372\65374\65506\65508\65512\45\65518\65532\45\65533\93\43\124\96\91\94\96\93\43\96" (Arbitrary "\75\101\121\119\111\114\100" :. Arbitrary "\84\121\112\101")
    ]

import' :: TokenMatcher
import' =
    [ tokNext "\40\91\97\45\122\65\45\90\92\36\95\170\181\186\192\45\214\216\45\246\248\45\687\880\45\883\886\45\887\891\45\893\902\904\45\1013\1015\45\1153\1162\45\1366\1377\45\1415\1488\45\1522\1569\45\1599\1601\45\1610\1646\45\1647\1649\45\1747\1749\1774\45\1775\1786\45\1788\1791\1808\1810\45\1839\1869\45\1957\1969\1994\45\2026\2308\45\2361\2365\2384\2392\45\2401\2418\45\2431\2437\45\2489\2493\2510\2524\45\2529\2544\45\2545\2565\45\2617\2649\45\2654\2674\45\2676\2693\45\2745\2749\2768\45\2785\2821\45\2873\2877\2908\45\2913\2929\2947\45\3001\3024\3077\45\3133\3160\45\3169\3205\45\3257\3261\3294\45\3297\3333\45\3389\3424\45\3425\3450\45\3455\3461\45\3526\3585\45\3632\3634\45\3635\3648\45\3653\3713\45\3760\3762\45\3763\3773\45\3780\3804\45\3840\3904\45\3948\3976\45\3979\4096\45\4138\4159\4176\45\4181\4186\45\4189\4193\4197\45\4198\4206\45\4208\4213\45\4225\4238\4256\45\4346\4352\45\4954\4992\45\5007\5024\45\5740\5743\45\5750\5761\45\5786\5792\45\5866\5870\45\5905\5920\45\5937\5952\45\5969\5984\45\6000\6016\45\6067\6108\6176\45\6210\6212\45\6312\6314\45\6428\6480\45\6569\6593\45\6599\6656\45\6678\6917\45\6963\6981\45\6987\7043\45\7072\7086\45\7087\7168\45\7203\7245\45\7247\7258\45\7287\7424\45\7467\7522\45\7543\7545\45\7578\7680\45\8124\8126\8130\45\8140\8144\45\8155\8160\45\8172\8178\45\8188\8305\8319\8450\8455\8458\45\8467\8469\8473\45\8477\8484\8486\8488\8490\45\8493\8495\45\8505\8508\45\8511\8517\45\8521\8526\8544\45\8584\11264\45\11388\11392\45\11492\11520\45\11621\11648\45\11742\12294\45\12295\12321\45\12329\12344\45\12346\12348\12353\45\12438\12447\12449\45\12538\12543\45\12686\12704\45\12727\12784\45\12799\13312\45\19893\19968\45\40980\40982\45\42124\42240\45\42507\42512\45\42527\42538\45\42606\42624\45\42647\42786\45\42863\42865\45\42887\42891\45\43009\43011\45\43013\43015\45\43018\43020\45\43042\43072\45\43123\43138\45\43187\43274\45\43301\43312\45\43334\43520\45\43560\43584\45\43586\43588\45\43595\44032\45\55203\63744\45\64285\64287\45\64296\64298\45\64829\64848\45\65019\65136\45\65276\65313\45\65338\65345\45\65370\65382\45\65391\65393\45\65437\65440\45\65500\93\40\63\58\91\97\45\122\65\45\90\92\36\95\170\181\186\192\45\214\216\45\246\248\45\687\880\45\883\886\45\887\891\45\893\902\904\45\1013\1015\45\1153\1162\45\1366\1377\45\1415\1488\45\1522\1569\45\1599\1601\45\1610\1646\45\1647\1649\45\1747\1749\1774\45\1775\1786\45\1788\1791\1808\1810\45\1839\1869\45\1957\1969\1994\45\2026\2308\45\2361\2365\2384\2392\45\2401\2418\45\2431\2437\45\2489\2493\2510\2524\45\2529\2544\45\2545\2565\45\2617\2649\45\2654\2674\45\2676\2693\45\2745\2749\2768\45\2785\2821\45\2873\2877\2908\45\2913\2929\2947\45\3001\3024\3077\45\3133\3160\45\3169\3205\45\3257\3261\3294\45\3297\3333\45\3389\3424\45\3425\3450\45\3455\3461\45\3526\3585\45\3632\3634\45\3635\3648\45\3653\3713\45\3760\3762\45\3763\3773\45\3780\3804\45\3840\3904\45\3948\3976\45\3979\4096\45\4138\4159\4176\45\4181\4186\45\4189\4193\4197\45\4198\4206\45\4208\4213\45\4225\4238\4256\45\4346\4352\45\4954\4992\45\5007\5024\45\5740\5743\45\5750\5761\45\5786\5792\45\5866\5870\45\5905\5920\45\5937\5952\45\5969\5984\45\6000\6016\45\6067\6108\6176\45\6210\6212\45\6312\6314\45\6428\6480\45\6569\6593\45\6599\6656\45\6678\6917\45\6963\6981\45\6987\7043\45\7072\7086\45\7087\7168\45\7203\7245\45\7247\7258\45\7287\7424\45\7467\7522\45\7543\7545\45\7578\7680\45\8124\8126\8130\45\8140\8144\45\8155\8160\45\8172\8178\45\8188\8305\8319\8450\8455\8458\45\8467\8469\8473\45\8477\8484\8486\8488\8490\45\8493\8495\45\8505\8508\45\8511\8517\45\8521\8526\8544\45\8584\11264\45\11388\11392\45\11492\11520\45\11621\11648\45\11742\12294\45\12295\12321\45\12329\12344\45\12346\12348\12353\45\12438\12447\12449\45\12538\12543\45\12686\12704\45\12727\12784\45\12799\13312\45\19893\19968\45\40980\40982\45\42124\42240\45\42507\42512\45\42527\42538\45\42606\42624\45\42647\42786\45\42863\42865\45\42887\42891\45\43009\43011\45\43013\43015\45\43018\43020\45\43042\43072\45\43123\43138\45\43187\43274\45\43301\43312\45\43334\43520\45\43560\43584\45\43586\43588\45\43595\44032\45\55203\63744\45\64285\64287\45\64296\64298\45\64829\64848\45\65019\65136\45\65276\65313\45\65338\65345\45\65370\65382\45\65391\65393\45\65437\65440\45\65500\93\124\91\48\45\57\93\41\42\40\63\58\40\63\60\61\95\41\91\45\126\92\94\92\42\33\37\38\92\92\60\62\92\124\43\61\58\47\63\64\166\45\167\169\172\174\176\45\177\182\215\247\1014\1154\1542\45\1544\1550\45\1551\1769\1789\45\1790\2038\2554\2928\3059\45\3064\3066\3199\3313\45\3314\3449\3841\45\3843\3859\45\3863\3866\45\3871\3892\3894\3896\4030\45\4037\4039\45\4047\4254\45\4255\4960\5008\45\5017\6464\6624\45\6655\7009\45\7018\7028\45\7036\8260\8274\8314\45\8316\8330\45\8332\8448\45\8449\8451\45\8454\8456\45\8457\8468\8470\45\8472\8478\45\8483\8485\8487\8489\8494\8506\45\8507\8512\45\8516\8522\45\8525\8527\8592\45\9000\9003\45\9290\9372\45\9449\9472\45\10087\10132\45\10180\10183\45\10213\10224\45\10626\10649\45\10711\10716\45\10747\10750\45\11092\11493\45\11498\11904\45\12283\12292\12306\45\12307\12320\12342\45\12343\12350\45\12351\12688\45\12689\12694\45\12703\12736\45\12771\12800\45\12830\12842\45\12880\12896\45\12927\12938\45\12976\12992\45\13311\19904\45\19967\42128\45\42182\43048\45\43051\64297\65021\65122\65124\45\65126\65291\65308\45\65310\65372\65374\65506\65508\65512\45\65518\65532\45\65533\93\43\41\63\124\92\46\41\43" (Arbitrary "\78\97\109\101" :. Arbitrary "\78\97\109\101\115\112\97\99\101") Pop
    ]

type' :: TokenMatcher
type' =
    [ tok "\92\115\43" (Arbitrary "\84\101\120\116")
    , tok "\60\91\37\58\93\124\62\58\124\91\35\95\8658\93\124\102\111\114\83\111\109\101\124\116\121\112\101" (Arbitrary "\75\101\121\119\111\114\100")
    , tokNext "\40\91\44\92\41\59\125\93\124\61\62\124\61\41\40\91\92\115\92\110\93\42\41" (ByGroups [(Arbitrary "\79\112\101\114\97\116\111\114"), (Arbitrary "\84\101\120\116")]) Pop
    , tokNext "\91\92\40\92\123\93" (Arbitrary "\79\112\101\114\97\116\111\114") Push
    , tokNext "\40\40\63\58\91\97\45\122\65\45\90\92\36\95\170\181\186\192\45\214\216\45\246\248\45\687\880\45\883\886\45\887\891\45\893\902\904\45\1013\1015\45\1153\1162\45\1366\1377\45\1415\1488\45\1522\1569\45\1599\1601\45\1610\1646\45\1647\1649\45\1747\1749\1774\45\1775\1786\45\1788\1791\1808\1810\45\1839\1869\45\1957\1969\1994\45\2026\2308\45\2361\2365\2384\2392\45\2401\2418\45\2431\2437\45\2489\2493\2510\2524\45\2529\2544\45\2545\2565\45\2617\2649\45\2654\2674\45\2676\2693\45\2745\2749\2768\45\2785\2821\45\2873\2877\2908\45\2913\2929\2947\45\3001\3024\3077\45\3133\3160\45\3169\3205\45\3257\3261\3294\45\3297\3333\45\3389\3424\45\3425\3450\45\3455\3461\45\3526\3585\45\3632\3634\45\3635\3648\45\3653\3713\45\3760\3762\45\3763\3773\45\3780\3804\45\3840\3904\45\3948\3976\45\3979\4096\45\4138\4159\4176\45\4181\4186\45\4189\4193\4197\45\4198\4206\45\4208\4213\45\4225\4238\4256\45\4346\4352\45\4954\4992\45\5007\5024\45\5740\5743\45\5750\5761\45\5786\5792\45\5866\5870\45\5905\5920\45\5937\5952\45\5969\5984\45\6000\6016\45\6067\6108\6176\45\6210\6212\45\6312\6314\45\6428\6480\45\6569\6593\45\6599\6656\45\6678\6917\45\6963\6981\45\6987\7043\45\7072\7086\45\7087\7168\45\7203\7245\45\7247\7258\45\7287\7424\45\7467\7522\45\7543\7545\45\7578\7680\45\8124\8126\8130\45\8140\8144\45\8155\8160\45\8172\8178\45\8188\8305\8319\8450\8455\8458\45\8467\8469\8473\45\8477\8484\8486\8488\8490\45\8493\8495\45\8505\8508\45\8511\8517\45\8521\8526\8544\45\8584\11264\45\11388\11392\45\11492\11520\45\11621\11648\45\11742\12294\45\12295\12321\45\12329\12344\45\12346\12348\12353\45\12438\12447\12449\45\12538\12543\45\12686\12704\45\12727\12784\45\12799\13312\45\19893\19968\45\40980\40982\45\42124\42240\45\42507\42512\45\42527\42538\45\42606\42624\45\42647\42786\45\42863\42865\45\42887\42891\45\43009\43011\45\43013\43015\45\43018\43020\45\43042\43072\45\43123\43138\45\43187\43274\45\43301\43312\45\43334\43520\45\43560\43584\45\43586\43588\45\43595\44032\45\55203\63744\45\64285\64287\45\64296\64298\45\64829\64848\45\65019\65136\45\65276\65313\45\65338\65345\45\65370\65382\45\65391\65393\45\65437\65440\45\65500\93\40\63\58\91\97\45\122\65\45\90\92\36\95\170\181\186\192\45\214\216\45\246\248\45\687\880\45\883\886\45\887\891\45\893\902\904\45\1013\1015\45\1153\1162\45\1366\1377\45\1415\1488\45\1522\1569\45\1599\1601\45\1610\1646\45\1647\1649\45\1747\1749\1774\45\1775\1786\45\1788\1791\1808\1810\45\1839\1869\45\1957\1969\1994\45\2026\2308\45\2361\2365\2384\2392\45\2401\2418\45\2431\2437\45\2489\2493\2510\2524\45\2529\2544\45\2545\2565\45\2617\2649\45\2654\2674\45\2676\2693\45\2745\2749\2768\45\2785\2821\45\2873\2877\2908\45\2913\2929\2947\45\3001\3024\3077\45\3133\3160\45\3169\3205\45\3257\3261\3294\45\3297\3333\45\3389\3424\45\3425\3450\45\3455\3461\45\3526\3585\45\3632\3634\45\3635\3648\45\3653\3713\45\3760\3762\45\3763\3773\45\3780\3804\45\3840\3904\45\3948\3976\45\3979\4096\45\4138\4159\4176\45\4181\4186\45\4189\4193\4197\45\4198\4206\45\4208\4213\45\4225\4238\4256\45\4346\4352\45\4954\4992\45\5007\5024\45\5740\5743\45\5750\5761\45\5786\5792\45\5866\5870\45\5905\5920\45\5937\5952\45\5969\5984\45\6000\6016\45\6067\6108\6176\45\6210\6212\45\6312\6314\45\6428\6480\45\6569\6593\45\6599\6656\45\6678\6917\45\6963\6981\45\6987\7043\45\7072\7086\45\7087\7168\45\7203\7245\45\7247\7258\45\7287\7424\45\7467\7522\45\7543\7545\45\7578\7680\45\8124\8126\8130\45\8140\8144\45\8155\8160\45\8172\8178\45\8188\8305\8319\8450\8455\8458\45\8467\8469\8473\45\8477\8484\8486\8488\8490\45\8493\8495\45\8505\8508\45\8511\8517\45\8521\8526\8544\45\8584\11264\45\11388\11392\45\11492\11520\45\11621\11648\45\11742\12294\45\12295\12321\45\12329\12344\45\12346\12348\12353\45\12438\12447\12449\45\12538\12543\45\12686\12704\45\12727\12784\45\12799\13312\45\19893\19968\45\40980\40982\45\42124\42240\45\42507\42512\45\42527\42538\45\42606\42624\45\42647\42786\45\42863\42865\45\42887\42891\45\43009\43011\45\43013\43015\45\43018\43020\45\43042\43072\45\43123\43138\45\43187\43274\45\43301\43312\45\43334\43520\45\43560\43584\45\43586\43588\45\43595\44032\45\55203\63744\45\64285\64287\45\64296\64298\45\64829\64848\45\65019\65136\45\65276\65313\45\65338\65345\45\65370\65382\45\65391\65393\45\65437\65440\45\65500\93\124\91\48\45\57\93\41\42\40\63\58\40\63\60\61\95\41\91\45\126\92\94\92\42\33\37\38\92\92\60\62\92\124\43\61\58\47\63\64\166\45\167\169\172\174\176\45\177\182\215\247\1014\1154\1542\45\1544\1550\45\1551\1769\1789\45\1790\2038\2554\2928\3059\45\3064\3066\3199\3313\45\3314\3449\3841\45\3843\3859\45\3863\3866\45\3871\3892\3894\3896\4030\45\4037\4039\45\4047\4254\45\4255\4960\5008\45\5017\6464\6624\45\6655\7009\45\7018\7028\45\7036\8260\8274\8314\45\8316\8330\45\8332\8448\45\8449\8451\45\8454\8456\45\8457\8468\8470\45\8472\8478\45\8483\8485\8487\8489\8494\8506\45\8507\8512\45\8516\8522\45\8525\8527\8592\45\9000\9003\45\9290\9372\45\9449\9472\45\10087\10132\45\10180\10183\45\10213\10224\45\10626\10649\45\10711\10716\45\10747\10750\45\11092\11493\45\11498\11904\45\12283\12292\12306\45\12307\12320\12342\45\12343\12350\45\12351\12688\45\12689\12694\45\12703\12736\45\12771\12800\45\12830\12842\45\12880\12896\45\12927\12938\45\12976\12992\45\13311\19904\45\19967\42128\45\42182\43048\45\43051\64297\65021\65122\65124\45\65126\65291\65308\45\65310\65372\65374\65506\65508\65512\45\65518\65532\45\65533\93\43\41\63\124\91\45\126\92\94\92\42\33\37\38\92\92\60\62\92\124\43\61\58\47\63\64\166\45\167\169\172\174\176\45\177\182\215\247\1014\1154\1542\45\1544\1550\45\1551\1769\1789\45\1790\2038\2554\2928\3059\45\3064\3066\3199\3313\45\3314\3449\3841\45\3843\3859\45\3863\3866\45\3871\3892\3894\3896\4030\45\4037\4039\45\4047\4254\45\4255\4960\5008\45\5017\6464\6624\45\6655\7009\45\7018\7028\45\7036\8260\8274\8314\45\8316\8330\45\8332\8448\45\8449\8451\45\8454\8456\45\8457\8468\8470\45\8472\8478\45\8483\8485\8487\8489\8494\8506\45\8507\8512\45\8516\8522\45\8525\8527\8592\45\9000\9003\45\9290\9372\45\9449\9472\45\10087\10132\45\10180\10183\45\10213\10224\45\10626\10649\45\10711\10716\45\10747\10750\45\11092\11493\45\11498\11904\45\12283\12292\12306\45\12307\12320\12342\45\12343\12350\45\12351\12688\45\12689\12694\45\12703\12736\45\12771\12800\45\12830\12842\45\12880\12896\45\12927\12938\45\12976\12992\45\13311\19904\45\19967\42128\45\42182\43048\45\43051\64297\65021\65122\65124\45\65126\65291\65308\45\65310\65372\65374\65506\65508\65512\45\65518\65532\45\65533\93\43\124\96\91\94\96\93\43\96\41\40\63\58\92\46\40\63\58\91\97\45\122\65\45\90\92\36\95\170\181\186\192\45\214\216\45\246\248\45\687\880\45\883\886\45\887\891\45\893\902\904\45\1013\1015\45\1153\1162\45\1366\1377\45\1415\1488\45\1522\1569\45\1599\1601\45\1610\1646\45\1647\1649\45\1747\1749\1774\45\1775\1786\45\1788\1791\1808\1810\45\1839\1869\45\1957\1969\1994\45\2026\2308\45\2361\2365\2384\2392\45\2401\2418\45\2431\2437\45\2489\2493\2510\2524\45\2529\2544\45\2545\2565\45\2617\2649\45\2654\2674\45\2676\2693\45\2745\2749\2768\45\2785\2821\45\2873\2877\2908\45\2913\2929\2947\45\3001\3024\3077\45\3133\3160\45\3169\3205\45\3257\3261\3294\45\3297\3333\45\3389\3424\45\3425\3450\45\3455\3461\45\3526\3585\45\3632\3634\45\3635\3648\45\3653\3713\45\3760\3762\45\3763\3773\45\3780\3804\45\3840\3904\45\3948\3976\45\3979\4096\45\4138\4159\4176\45\4181\4186\45\4189\4193\4197\45\4198\4206\45\4208\4213\45\4225\4238\4256\45\4346\4352\45\4954\4992\45\5007\5024\45\5740\5743\45\5750\5761\45\5786\5792\45\5866\5870\45\5905\5920\45\5937\5952\45\5969\5984\45\6000\6016\45\6067\6108\6176\45\6210\6212\45\6312\6314\45\6428\6480\45\6569\6593\45\6599\6656\45\6678\6917\45\6963\6981\45\6987\7043\45\7072\7086\45\7087\7168\45\7203\7245\45\7247\7258\45\7287\7424\45\7467\7522\45\7543\7545\45\7578\7680\45\8124\8126\8130\45\8140\8144\45\8155\8160\45\8172\8178\45\8188\8305\8319\8450\8455\8458\45\8467\8469\8473\45\8477\8484\8486\8488\8490\45\8493\8495\45\8505\8508\45\8511\8517\45\8521\8526\8544\45\8584\11264\45\11388\11392\45\11492\11520\45\11621\11648\45\11742\12294\45\12295\12321\45\12329\12344\45\12346\12348\12353\45\12438\12447\12449\45\12538\12543\45\12686\12704\45\12727\12784\45\12799\13312\45\19893\19968\45\40980\40982\45\42124\42240\45\42507\42512\45\42527\42538\45\42606\42624\45\42647\42786\45\42863\42865\45\42887\42891\45\43009\43011\45\43013\43015\45\43018\43020\45\43042\43072\45\43123\43138\45\43187\43274\45\43301\43312\45\43334\43520\45\43560\43584\45\43586\43588\45\43595\44032\45\55203\63744\45\64285\64287\45\64296\64298\45\64829\64848\45\65019\65136\45\65276\65313\45\65338\65345\45\65370\65382\45\65391\65393\45\65437\65440\45\65500\93\40\63\58\91\97\45\122\65\45\90\92\36\95\170\181\186\192\45\214\216\45\246\248\45\687\880\45\883\886\45\887\891\45\893\902\904\45\1013\1015\45\1153\1162\45\1366\1377\45\1415\1488\45\1522\1569\45\1599\1601\45\1610\1646\45\1647\1649\45\1747\1749\1774\45\1775\1786\45\1788\1791\1808\1810\45\1839\1869\45\1957\1969\1994\45\2026\2308\45\2361\2365\2384\2392\45\2401\2418\45\2431\2437\45\2489\2493\2510\2524\45\2529\2544\45\2545\2565\45\2617\2649\45\2654\2674\45\2676\2693\45\2745\2749\2768\45\2785\2821\45\2873\2877\2908\45\2913\2929\2947\45\3001\3024\3077\45\3133\3160\45\3169\3205\45\3257\3261\3294\45\3297\3333\45\3389\3424\45\3425\3450\45\3455\3461\45\3526\3585\45\3632\3634\45\3635\3648\45\3653\3713\45\3760\3762\45\3763\3773\45\3780\3804\45\3840\3904\45\3948\3976\45\3979\4096\45\4138\4159\4176\45\4181\4186\45\4189\4193\4197\45\4198\4206\45\4208\4213\45\4225\4238\4256\45\4346\4352\45\4954\4992\45\5007\5024\45\5740\5743\45\5750\5761\45\5786\5792\45\5866\5870\45\5905\5920\45\5937\5952\45\5969\5984\45\6000\6016\45\6067\6108\6176\45\6210\6212\45\6312\6314\45\6428\6480\45\6569\6593\45\6599\6656\45\6678\6917\45\6963\6981\45\6987\7043\45\7072\7086\45\7087\7168\45\7203\7245\45\7247\7258\45\7287\7424\45\7467\7522\45\7543\7545\45\7578\7680\45\8124\8126\8130\45\8140\8144\45\8155\8160\45\8172\8178\45\8188\8305\8319\8450\8455\8458\45\8467\8469\8473\45\8477\8484\8486\8488\8490\45\8493\8495\45\8505\8508\45\8511\8517\45\8521\8526\8544\45\8584\11264\45\11388\11392\45\11492\11520\45\11621\11648\45\11742\12294\45\12295\12321\45\12329\12344\45\12346\12348\12353\45\12438\12447\12449\45\12538\12543\45\12686\12704\45\12727\12784\45\12799\13312\45\19893\19968\45\40980\40982\45\42124\42240\45\42507\42512\45\42527\42538\45\42606\42624\45\42647\42786\45\42863\42865\45\42887\42891\45\43009\43011\45\43013\43015\45\43018\43020\45\43042\43072\45\43123\43138\45\43187\43274\45\43301\43312\45\43334\43520\45\43560\43584\45\43586\43588\45\43595\44032\45\55203\63744\45\64285\64287\45\64296\64298\45\64829\64848\45\65019\65136\45\65276\65313\45\65338\65345\45\65370\65382\45\65391\65393\45\65437\65440\45\65500\93\124\91\48\45\57\93\41\42\40\63\58\40\63\60\61\95\41\91\45\126\92\94\92\42\33\37\38\92\92\60\62\92\124\43\61\58\47\63\64\166\45\167\169\172\174\176\45\177\182\215\247\1014\1154\1542\45\1544\1550\45\1551\1769\1789\45\1790\2038\2554\2928\3059\45\3064\3066\3199\3313\45\3314\3449\3841\45\3843\3859\45\3863\3866\45\3871\3892\3894\3896\4030\45\4037\4039\45\4047\4254\45\4255\4960\5008\45\5017\6464\6624\45\6655\7009\45\7018\7028\45\7036\8260\8274\8314\45\8316\8330\45\8332\8448\45\8449\8451\45\8454\8456\45\8457\8468\8470\45\8472\8478\45\8483\8485\8487\8489\8494\8506\45\8507\8512\45\8516\8522\45\8525\8527\8592\45\9000\9003\45\9290\9372\45\9449\9472\45\10087\10132\45\10180\10183\45\10213\10224\45\10626\10649\45\10711\10716\45\10747\10750\45\11092\11493\45\11498\11904\45\12283\12292\12306\45\12307\12320\12342\45\12343\12350\45\12351\12688\45\12689\12694\45\12703\12736\45\12771\12800\45\12830\12842\45\12880\12896\45\12927\12938\45\12976\12992\45\13311\19904\45\19967\42128\45\42182\43048\45\43051\64297\65021\65122\65124\45\65126\65291\65308\45\65310\65372\65374\65506\65508\65512\45\65518\65532\45\65533\93\43\41\63\124\91\45\126\92\94\92\42\33\37\38\92\92\60\62\92\124\43\61\58\47\63\64\166\45\167\169\172\174\176\45\177\182\215\247\1014\1154\1542\45\1544\1550\45\1551\1769\1789\45\1790\2038\2554\2928\3059\45\3064\3066\3199\3313\45\3314\3449\3841\45\3843\3859\45\3863\3866\45\3871\3892\3894\3896\4030\45\4037\4039\45\4047\4254\45\4255\4960\5008\45\5017\6464\6624\45\6655\7009\45\7018\7028\45\7036\8260\8274\8314\45\8316\8330\45\8332\8448\45\8449\8451\45\8454\8456\45\8457\8468\8470\45\8472\8478\45\8483\8485\8487\8489\8494\8506\45\8507\8512\45\8516\8522\45\8525\8527\8592\45\9000\9003\45\9290\9372\45\9449\9472\45\10087\10132\45\10180\10183\45\10213\10224\45\10626\10649\45\10711\10716\45\10747\10750\45\11092\11493\45\11498\11904\45\12283\12292\12306\45\12307\12320\12342\45\12343\12350\45\12351\12688\45\12689\12694\45\12703\12736\45\12771\12800\45\12830\12842\45\12880\12896\45\12927\12938\45\12976\12992\45\13311\19904\45\19967\42128\45\42182\43048\45\43051\64297\65021\65122\65124\45\65126\65291\65308\45\65310\65372\65374\65506\65508\65512\45\65518\65532\45\65533\93\43\124\96\91\94\96\93\43\96\41\41\42\41\40\92\115\42\41\40\92\91\41" (ByGroups [(Arbitrary "\75\101\121\119\111\114\100" :. Arbitrary "\84\121\112\101"), (Arbitrary "\84\101\120\116"), (Arbitrary "\79\112\101\114\97\116\111\114")]) (DoAll [Pop, (GoTo typeparam')])
    , tokNext "\40\40\63\58\91\97\45\122\65\45\90\92\36\95\170\181\186\192\45\214\216\45\246\248\45\687\880\45\883\886\45\887\891\45\893\902\904\45\1013\1015\45\1153\1162\45\1366\1377\45\1415\1488\45\1522\1569\45\1599\1601\45\1610\1646\45\1647\1649\45\1747\1749\1774\45\1775\1786\45\1788\1791\1808\1810\45\1839\1869\45\1957\1969\1994\45\2026\2308\45\2361\2365\2384\2392\45\2401\2418\45\2431\2437\45\2489\2493\2510\2524\45\2529\2544\45\2545\2565\45\2617\2649\45\2654\2674\45\2676\2693\45\2745\2749\2768\45\2785\2821\45\2873\2877\2908\45\2913\2929\2947\45\3001\3024\3077\45\3133\3160\45\3169\3205\45\3257\3261\3294\45\3297\3333\45\3389\3424\45\3425\3450\45\3455\3461\45\3526\3585\45\3632\3634\45\3635\3648\45\3653\3713\45\3760\3762\45\3763\3773\45\3780\3804\45\3840\3904\45\3948\3976\45\3979\4096\45\4138\4159\4176\45\4181\4186\45\4189\4193\4197\45\4198\4206\45\4208\4213\45\4225\4238\4256\45\4346\4352\45\4954\4992\45\5007\5024\45\5740\5743\45\5750\5761\45\5786\5792\45\5866\5870\45\5905\5920\45\5937\5952\45\5969\5984\45\6000\6016\45\6067\6108\6176\45\6210\6212\45\6312\6314\45\6428\6480\45\6569\6593\45\6599\6656\45\6678\6917\45\6963\6981\45\6987\7043\45\7072\7086\45\7087\7168\45\7203\7245\45\7247\7258\45\7287\7424\45\7467\7522\45\7543\7545\45\7578\7680\45\8124\8126\8130\45\8140\8144\45\8155\8160\45\8172\8178\45\8188\8305\8319\8450\8455\8458\45\8467\8469\8473\45\8477\8484\8486\8488\8490\45\8493\8495\45\8505\8508\45\8511\8517\45\8521\8526\8544\45\8584\11264\45\11388\11392\45\11492\11520\45\11621\11648\45\11742\12294\45\12295\12321\45\12329\12344\45\12346\12348\12353\45\12438\12447\12449\45\12538\12543\45\12686\12704\45\12727\12784\45\12799\13312\45\19893\19968\45\40980\40982\45\42124\42240\45\42507\42512\45\42527\42538\45\42606\42624\45\42647\42786\45\42863\42865\45\42887\42891\45\43009\43011\45\43013\43015\45\43018\43020\45\43042\43072\45\43123\43138\45\43187\43274\45\43301\43312\45\43334\43520\45\43560\43584\45\43586\43588\45\43595\44032\45\55203\63744\45\64285\64287\45\64296\64298\45\64829\64848\45\65019\65136\45\65276\65313\45\65338\65345\45\65370\65382\45\65391\65393\45\65437\65440\45\65500\93\40\63\58\91\97\45\122\65\45\90\92\36\95\170\181\186\192\45\214\216\45\246\248\45\687\880\45\883\886\45\887\891\45\893\902\904\45\1013\1015\45\1153\1162\45\1366\1377\45\1415\1488\45\1522\1569\45\1599\1601\45\1610\1646\45\1647\1649\45\1747\1749\1774\45\1775\1786\45\1788\1791\1808\1810\45\1839\1869\45\1957\1969\1994\45\2026\2308\45\2361\2365\2384\2392\45\2401\2418\45\2431\2437\45\2489\2493\2510\2524\45\2529\2544\45\2545\2565\45\2617\2649\45\2654\2674\45\2676\2693\45\2745\2749\2768\45\2785\2821\45\2873\2877\2908\45\2913\2929\2947\45\3001\3024\3077\45\3133\3160\45\3169\3205\45\3257\3261\3294\45\3297\3333\45\3389\3424\45\3425\3450\45\3455\3461\45\3526\3585\45\3632\3634\45\3635\3648\45\3653\3713\45\3760\3762\45\3763\3773\45\3780\3804\45\3840\3904\45\3948\3976\45\3979\4096\45\4138\4159\4176\45\4181\4186\45\4189\4193\4197\45\4198\4206\45\4208\4213\45\4225\4238\4256\45\4346\4352\45\4954\4992\45\5007\5024\45\5740\5743\45\5750\5761\45\5786\5792\45\5866\5870\45\5905\5920\45\5937\5952\45\5969\5984\45\6000\6016\45\6067\6108\6176\45\6210\6212\45\6312\6314\45\6428\6480\45\6569\6593\45\6599\6656\45\6678\6917\45\6963\6981\45\6987\7043\45\7072\7086\45\7087\7168\45\7203\7245\45\7247\7258\45\7287\7424\45\7467\7522\45\7543\7545\45\7578\7680\45\8124\8126\8130\45\8140\8144\45\8155\8160\45\8172\8178\45\8188\8305\8319\8450\8455\8458\45\8467\8469\8473\45\8477\8484\8486\8488\8490\45\8493\8495\45\8505\8508\45\8511\8517\45\8521\8526\8544\45\8584\11264\45\11388\11392\45\11492\11520\45\11621\11648\45\11742\12294\45\12295\12321\45\12329\12344\45\12346\12348\12353\45\12438\12447\12449\45\12538\12543\45\12686\12704\45\12727\12784\45\12799\13312\45\19893\19968\45\40980\40982\45\42124\42240\45\42507\42512\45\42527\42538\45\42606\42624\45\42647\42786\45\42863\42865\45\42887\42891\45\43009\43011\45\43013\43015\45\43018\43020\45\43042\43072\45\43123\43138\45\43187\43274\45\43301\43312\45\43334\43520\45\43560\43584\45\43586\43588\45\43595\44032\45\55203\63744\45\64285\64287\45\64296\64298\45\64829\64848\45\65019\65136\45\65276\65313\45\65338\65345\45\65370\65382\45\65391\65393\45\65437\65440\45\65500\93\124\91\48\45\57\93\41\42\40\63\58\40\63\60\61\95\41\91\45\126\92\94\92\42\33\37\38\92\92\60\62\92\124\43\61\58\47\63\64\166\45\167\169\172\174\176\45\177\182\215\247\1014\1154\1542\45\1544\1550\45\1551\1769\1789\45\1790\2038\2554\2928\3059\45\3064\3066\3199\3313\45\3314\3449\3841\45\3843\3859\45\3863\3866\45\3871\3892\3894\3896\4030\45\4037\4039\45\4047\4254\45\4255\4960\5008\45\5017\6464\6624\45\6655\7009\45\7018\7028\45\7036\8260\8274\8314\45\8316\8330\45\8332\8448\45\8449\8451\45\8454\8456\45\8457\8468\8470\45\8472\8478\45\8483\8485\8487\8489\8494\8506\45\8507\8512\45\8516\8522\45\8525\8527\8592\45\9000\9003\45\9290\9372\45\9449\9472\45\10087\10132\45\10180\10183\45\10213\10224\45\10626\10649\45\10711\10716\45\10747\10750\45\11092\11493\45\11498\11904\45\12283\12292\12306\45\12307\12320\12342\45\12343\12350\45\12351\12688\45\12689\12694\45\12703\12736\45\12771\12800\45\12830\12842\45\12880\12896\45\12927\12938\45\12976\12992\45\13311\19904\45\19967\42128\45\42182\43048\45\43051\64297\65021\65122\65124\45\65126\65291\65308\45\65310\65372\65374\65506\65508\65512\45\65518\65532\45\65533\93\43\41\63\124\91\45\126\92\94\92\42\33\37\38\92\92\60\62\92\124\43\61\58\47\63\64\166\45\167\169\172\174\176\45\177\182\215\247\1014\1154\1542\45\1544\1550\45\1551\1769\1789\45\1790\2038\2554\2928\3059\45\3064\3066\3199\3313\45\3314\3449\3841\45\3843\3859\45\3863\3866\45\3871\3892\3894\3896\4030\45\4037\4039\45\4047\4254\45\4255\4960\5008\45\5017\6464\6624\45\6655\7009\45\7018\7028\45\7036\8260\8274\8314\45\8316\8330\45\8332\8448\45\8449\8451\45\8454\8456\45\8457\8468\8470\45\8472\8478\45\8483\8485\8487\8489\8494\8506\45\8507\8512\45\8516\8522\45\8525\8527\8592\45\9000\9003\45\9290\9372\45\9449\9472\45\10087\10132\45\10180\10183\45\10213\10224\45\10626\10649\45\10711\10716\45\10747\10750\45\11092\11493\45\11498\11904\45\12283\12292\12306\45\12307\12320\12342\45\12343\12350\45\12351\12688\45\12689\12694\45\12703\12736\45\12771\12800\45\12830\12842\45\12880\12896\45\12927\12938\45\12976\12992\45\13311\19904\45\19967\42128\45\42182\43048\45\43051\64297\65021\65122\65124\45\65126\65291\65308\45\65310\65372\65374\65506\65508\65512\45\65518\65532\45\65533\93\43\124\96\91\94\96\93\43\96\41\40\63\58\92\46\40\63\58\91\97\45\122\65\45\90\92\36\95\170\181\186\192\45\214\216\45\246\248\45\687\880\45\883\886\45\887\891\45\893\902\904\45\1013\1015\45\1153\1162\45\1366\1377\45\1415\1488\45\1522\1569\45\1599\1601\45\1610\1646\45\1647\1649\45\1747\1749\1774\45\1775\1786\45\1788\1791\1808\1810\45\1839\1869\45\1957\1969\1994\45\2026\2308\45\2361\2365\2384\2392\45\2401\2418\45\2431\2437\45\2489\2493\2510\2524\45\2529\2544\45\2545\2565\45\2617\2649\45\2654\2674\45\2676\2693\45\2745\2749\2768\45\2785\2821\45\2873\2877\2908\45\2913\2929\2947\45\3001\3024\3077\45\3133\3160\45\3169\3205\45\3257\3261\3294\45\3297\3333\45\3389\3424\45\3425\3450\45\3455\3461\45\3526\3585\45\3632\3634\45\3635\3648\45\3653\3713\45\3760\3762\45\3763\3773\45\3780\3804\45\3840\3904\45\3948\3976\45\3979\4096\45\4138\4159\4176\45\4181\4186\45\4189\4193\4197\45\4198\4206\45\4208\4213\45\4225\4238\4256\45\4346\4352\45\4954\4992\45\5007\5024\45\5740\5743\45\5750\5761\45\5786\5792\45\5866\5870\45\5905\5920\45\5937\5952\45\5969\5984\45\6000\6016\45\6067\6108\6176\45\6210\6212\45\6312\6314\45\6428\6480\45\6569\6593\45\6599\6656\45\6678\6917\45\6963\6981\45\6987\7043\45\7072\7086\45\7087\7168\45\7203\7245\45\7247\7258\45\7287\7424\45\7467\7522\45\7543\7545\45\7578\7680\45\8124\8126\8130\45\8140\8144\45\8155\8160\45\8172\8178\45\8188\8305\8319\8450\8455\8458\45\8467\8469\8473\45\8477\8484\8486\8488\8490\45\8493\8495\45\8505\8508\45\8511\8517\45\8521\8526\8544\45\8584\11264\45\11388\11392\45\11492\11520\45\11621\11648\45\11742\12294\45\12295\12321\45\12329\12344\45\12346\12348\12353\45\12438\12447\12449\45\12538\12543\45\12686\12704\45\12727\12784\45\12799\13312\45\19893\19968\45\40980\40982\45\42124\42240\45\42507\42512\45\42527\42538\45\42606\42624\45\42647\42786\45\42863\42865\45\42887\42891\45\43009\43011\45\43013\43015\45\43018\43020\45\43042\43072\45\43123\43138\45\43187\43274\45\43301\43312\45\43334\43520\45\43560\43584\45\43586\43588\45\43595\44032\45\55203\63744\45\64285\64287\45\64296\64298\45\64829\64848\45\65019\65136\45\65276\65313\45\65338\65345\45\65370\65382\45\65391\65393\45\65437\65440\45\65500\93\40\63\58\91\97\45\122\65\45\90\92\36\95\170\181\186\192\45\214\216\45\246\248\45\687\880\45\883\886\45\887\891\45\893\902\904\45\1013\1015\45\1153\1162\45\1366\1377\45\1415\1488\45\1522\1569\45\1599\1601\45\1610\1646\45\1647\1649\45\1747\1749\1774\45\1775\1786\45\1788\1791\1808\1810\45\1839\1869\45\1957\1969\1994\45\2026\2308\45\2361\2365\2384\2392\45\2401\2418\45\2431\2437\45\2489\2493\2510\2524\45\2529\2544\45\2545\2565\45\2617\2649\45\2654\2674\45\2676\2693\45\2745\2749\2768\45\2785\2821\45\2873\2877\2908\45\2913\2929\2947\45\3001\3024\3077\45\3133\3160\45\3169\3205\45\3257\3261\3294\45\3297\3333\45\3389\3424\45\3425\3450\45\3455\3461\45\3526\3585\45\3632\3634\45\3635\3648\45\3653\3713\45\3760\3762\45\3763\3773\45\3780\3804\45\3840\3904\45\3948\3976\45\3979\4096\45\4138\4159\4176\45\4181\4186\45\4189\4193\4197\45\4198\4206\45\4208\4213\45\4225\4238\4256\45\4346\4352\45\4954\4992\45\5007\5024\45\5740\5743\45\5750\5761\45\5786\5792\45\5866\5870\45\5905\5920\45\5937\5952\45\5969\5984\45\6000\6016\45\6067\6108\6176\45\6210\6212\45\6312\6314\45\6428\6480\45\6569\6593\45\6599\6656\45\6678\6917\45\6963\6981\45\6987\7043\45\7072\7086\45\7087\7168\45\7203\7245\45\7247\7258\45\7287\7424\45\7467\7522\45\7543\7545\45\7578\7680\45\8124\8126\8130\45\8140\8144\45\8155\8160\45\8172\8178\45\8188\8305\8319\8450\8455\8458\45\8467\8469\8473\45\8477\8484\8486\8488\8490\45\8493\8495\45\8505\8508\45\8511\8517\45\8521\8526\8544\45\8584\11264\45\11388\11392\45\11492\11520\45\11621\11648\45\11742\12294\45\12295\12321\45\12329\12344\45\12346\12348\12353\45\12438\12447\12449\45\12538\12543\45\12686\12704\45\12727\12784\45\12799\13312\45\19893\19968\45\40980\40982\45\42124\42240\45\42507\42512\45\42527\42538\45\42606\42624\45\42647\42786\45\42863\42865\45\42887\42891\45\43009\43011\45\43013\43015\45\43018\43020\45\43042\43072\45\43123\43138\45\43187\43274\45\43301\43312\45\43334\43520\45\43560\43584\45\43586\43588\45\43595\44032\45\55203\63744\45\64285\64287\45\64296\64298\45\64829\64848\45\65019\65136\45\65276\65313\45\65338\65345\45\65370\65382\45\65391\65393\45\65437\65440\45\65500\93\124\91\48\45\57\93\41\42\40\63\58\40\63\60\61\95\41\91\45\126\92\94\92\42\33\37\38\92\92\60\62\92\124\43\61\58\47\63\64\166\45\167\169\172\174\176\45\177\182\215\247\1014\1154\1542\45\1544\1550\45\1551\1769\1789\45\1790\2038\2554\2928\3059\45\3064\3066\3199\3313\45\3314\3449\3841\45\3843\3859\45\3863\3866\45\3871\3892\3894\3896\4030\45\4037\4039\45\4047\4254\45\4255\4960\5008\45\5017\6464\6624\45\6655\7009\45\7018\7028\45\7036\8260\8274\8314\45\8316\8330\45\8332\8448\45\8449\8451\45\8454\8456\45\8457\8468\8470\45\8472\8478\45\8483\8485\8487\8489\8494\8506\45\8507\8512\45\8516\8522\45\8525\8527\8592\45\9000\9003\45\9290\9372\45\9449\9472\45\10087\10132\45\10180\10183\45\10213\10224\45\10626\10649\45\10711\10716\45\10747\10750\45\11092\11493\45\11498\11904\45\12283\12292\12306\45\12307\12320\12342\45\12343\12350\45\12351\12688\45\12689\12694\45\12703\12736\45\12771\12800\45\12830\12842\45\12880\12896\45\12927\12938\45\12976\12992\45\13311\19904\45\19967\42128\45\42182\43048\45\43051\64297\65021\65122\65124\45\65126\65291\65308\45\65310\65372\65374\65506\65508\65512\45\65518\65532\45\65533\93\43\41\63\124\91\45\126\92\94\92\42\33\37\38\92\92\60\62\92\124\43\61\58\47\63\64\166\45\167\169\172\174\176\45\177\182\215\247\1014\1154\1542\45\1544\1550\45\1551\1769\1789\45\1790\2038\2554\2928\3059\45\3064\3066\3199\3313\45\3314\3449\3841\45\3843\3859\45\3863\3866\45\3871\3892\3894\3896\4030\45\4037\4039\45\4047\4254\45\4255\4960\5008\45\5017\6464\6624\45\6655\7009\45\7018\7028\45\7036\8260\8274\8314\45\8316\8330\45\8332\8448\45\8449\8451\45\8454\8456\45\8457\8468\8470\45\8472\8478\45\8483\8485\8487\8489\8494\8506\45\8507\8512\45\8516\8522\45\8525\8527\8592\45\9000\9003\45\9290\9372\45\9449\9472\45\10087\10132\45\10180\10183\45\10213\10224\45\10626\10649\45\10711\10716\45\10747\10750\45\11092\11493\45\11498\11904\45\12283\12292\12306\45\12307\12320\12342\45\12343\12350\45\12351\12688\45\12689\12694\45\12703\12736\45\12771\12800\45\12830\12842\45\12880\12896\45\12927\12938\45\12976\12992\45\13311\19904\45\19967\42128\45\42182\43048\45\43051\64297\65021\65122\65124\45\65126\65291\65308\45\65310\65372\65374\65506\65508\65512\45\65518\65532\45\65533\93\43\124\96\91\94\96\93\43\96\41\41\42\41\40\92\115\42\41\36" (ByGroups [(Arbitrary "\75\101\121\119\111\114\100" :. Arbitrary "\84\121\112\101"), (Arbitrary "\84\101\120\116")]) Pop
    , tok "\92\46\124\91\97\45\122\65\45\90\92\36\95\170\181\186\192\45\214\216\45\246\248\45\687\880\45\883\886\45\887\891\45\893\902\904\45\1013\1015\45\1153\1162\45\1366\1377\45\1415\1488\45\1522\1569\45\1599\1601\45\1610\1646\45\1647\1649\45\1747\1749\1774\45\1775\1786\45\1788\1791\1808\1810\45\1839\1869\45\1957\1969\1994\45\2026\2308\45\2361\2365\2384\2392\45\2401\2418\45\2431\2437\45\2489\2493\2510\2524\45\2529\2544\45\2545\2565\45\2617\2649\45\2654\2674\45\2676\2693\45\2745\2749\2768\45\2785\2821\45\2873\2877\2908\45\2913\2929\2947\45\3001\3024\3077\45\3133\3160\45\3169\3205\45\3257\3261\3294\45\3297\3333\45\3389\3424\45\3425\3450\45\3455\3461\45\3526\3585\45\3632\3634\45\3635\3648\45\3653\3713\45\3760\3762\45\3763\3773\45\3780\3804\45\3840\3904\45\3948\3976\45\3979\4096\45\4138\4159\4176\45\4181\4186\45\4189\4193\4197\45\4198\4206\45\4208\4213\45\4225\4238\4256\45\4346\4352\45\4954\4992\45\5007\5024\45\5740\5743\45\5750\5761\45\5786\5792\45\5866\5870\45\5905\5920\45\5937\5952\45\5969\5984\45\6000\6016\45\6067\6108\6176\45\6210\6212\45\6312\6314\45\6428\6480\45\6569\6593\45\6599\6656\45\6678\6917\45\6963\6981\45\6987\7043\45\7072\7086\45\7087\7168\45\7203\7245\45\7247\7258\45\7287\7424\45\7467\7522\45\7543\7545\45\7578\7680\45\8124\8126\8130\45\8140\8144\45\8155\8160\45\8172\8178\45\8188\8305\8319\8450\8455\8458\45\8467\8469\8473\45\8477\8484\8486\8488\8490\45\8493\8495\45\8505\8508\45\8511\8517\45\8521\8526\8544\45\8584\11264\45\11388\11392\45\11492\11520\45\11621\11648\45\11742\12294\45\12295\12321\45\12329\12344\45\12346\12348\12353\45\12438\12447\12449\45\12538\12543\45\12686\12704\45\12727\12784\45\12799\13312\45\19893\19968\45\40980\40982\45\42124\42240\45\42507\42512\45\42527\42538\45\42606\42624\45\42647\42786\45\42863\42865\45\42887\42891\45\43009\43011\45\43013\43015\45\43018\43020\45\43042\43072\45\43123\43138\45\43187\43274\45\43301\43312\45\43334\43520\45\43560\43584\45\43586\43588\45\43595\44032\45\55203\63744\45\64285\64287\45\64296\64298\45\64829\64848\45\65019\65136\45\65276\65313\45\65338\65345\45\65370\65382\45\65391\65393\45\65437\65440\45\65500\93\40\63\58\91\97\45\122\65\45\90\92\36\95\170\181\186\192\45\214\216\45\246\248\45\687\880\45\883\886\45\887\891\45\893\902\904\45\1013\1015\45\1153\1162\45\1366\1377\45\1415\1488\45\1522\1569\45\1599\1601\45\1610\1646\45\1647\1649\45\1747\1749\1774\45\1775\1786\45\1788\1791\1808\1810\45\1839\1869\45\1957\1969\1994\45\2026\2308\45\2361\2365\2384\2392\45\2401\2418\45\2431\2437\45\2489\2493\2510\2524\45\2529\2544\45\2545\2565\45\2617\2649\45\2654\2674\45\2676\2693\45\2745\2749\2768\45\2785\2821\45\2873\2877\2908\45\2913\2929\2947\45\3001\3024\3077\45\3133\3160\45\3169\3205\45\3257\3261\3294\45\3297\3333\45\3389\3424\45\3425\3450\45\3455\3461\45\3526\3585\45\3632\3634\45\3635\3648\45\3653\3713\45\3760\3762\45\3763\3773\45\3780\3804\45\3840\3904\45\3948\3976\45\3979\4096\45\4138\4159\4176\45\4181\4186\45\4189\4193\4197\45\4198\4206\45\4208\4213\45\4225\4238\4256\45\4346\4352\45\4954\4992\45\5007\5024\45\5740\5743\45\5750\5761\45\5786\5792\45\5866\5870\45\5905\5920\45\5937\5952\45\5969\5984\45\6000\6016\45\6067\6108\6176\45\6210\6212\45\6312\6314\45\6428\6480\45\6569\6593\45\6599\6656\45\6678\6917\45\6963\6981\45\6987\7043\45\7072\7086\45\7087\7168\45\7203\7245\45\7247\7258\45\7287\7424\45\7467\7522\45\7543\7545\45\7578\7680\45\8124\8126\8130\45\8140\8144\45\8155\8160\45\8172\8178\45\8188\8305\8319\8450\8455\8458\45\8467\8469\8473\45\8477\8484\8486\8488\8490\45\8493\8495\45\8505\8508\45\8511\8517\45\8521\8526\8544\45\8584\11264\45\11388\11392\45\11492\11520\45\11621\11648\45\11742\12294\45\12295\12321\45\12329\12344\45\12346\12348\12353\45\12438\12447\12449\45\12538\12543\45\12686\12704\45\12727\12784\45\12799\13312\45\19893\19968\45\40980\40982\45\42124\42240\45\42507\42512\45\42527\42538\45\42606\42624\45\42647\42786\45\42863\42865\45\42887\42891\45\43009\43011\45\43013\43015\45\43018\43020\45\43042\43072\45\43123\43138\45\43187\43274\45\43301\43312\45\43334\43520\45\43560\43584\45\43586\43588\45\43595\44032\45\55203\63744\45\64285\64287\45\64296\64298\45\64829\64848\45\65019\65136\45\65276\65313\45\65338\65345\45\65370\65382\45\65391\65393\45\65437\65440\45\65500\93\124\91\48\45\57\93\41\42\40\63\58\40\63\60\61\95\41\91\45\126\92\94\92\42\33\37\38\92\92\60\62\92\124\43\61\58\47\63\64\166\45\167\169\172\174\176\45\177\182\215\247\1014\1154\1542\45\1544\1550\45\1551\1769\1789\45\1790\2038\2554\2928\3059\45\3064\3066\3199\3313\45\3314\3449\3841\45\3843\3859\45\3863\3866\45\3871\3892\3894\3896\4030\45\4037\4039\45\4047\4254\45\4255\4960\5008\45\5017\6464\6624\45\6655\7009\45\7018\7028\45\7036\8260\8274\8314\45\8316\8330\45\8332\8448\45\8449\8451\45\8454\8456\45\8457\8468\8470\45\8472\8478\45\8483\8485\8487\8489\8494\8506\45\8507\8512\45\8516\8522\45\8525\8527\8592\45\9000\9003\45\9290\9372\45\9449\9472\45\10087\10132\45\10180\10183\45\10213\10224\45\10626\10649\45\10711\10716\45\10747\10750\45\11092\11493\45\11498\11904\45\12283\12292\12306\45\12307\12320\12342\45\12343\12350\45\12351\12688\45\12689\12694\45\12703\12736\45\12771\12800\45\12830\12842\45\12880\12896\45\12927\12938\45\12976\12992\45\13311\19904\45\19967\42128\45\42182\43048\45\43051\64297\65021\65122\65124\45\65126\65291\65308\45\65310\65372\65374\65506\65508\65512\45\65518\65532\45\65533\93\43\41\63\124\91\45\126\92\94\92\42\33\37\38\92\92\60\62\92\124\43\61\58\47\63\64\166\45\167\169\172\174\176\45\177\182\215\247\1014\1154\1542\45\1544\1550\45\1551\1769\1789\45\1790\2038\2554\2928\3059\45\3064\3066\3199\3313\45\3314\3449\3841\45\3843\3859\45\3863\3866\45\3871\3892\3894\3896\4030\45\4037\4039\45\4047\4254\45\4255\4960\5008\45\5017\6464\6624\45\6655\7009\45\7018\7028\45\7036\8260\8274\8314\45\8316\8330\45\8332\8448\45\8449\8451\45\8454\8456\45\8457\8468\8470\45\8472\8478\45\8483\8485\8487\8489\8494\8506\45\8507\8512\45\8516\8522\45\8525\8527\8592\45\9000\9003\45\9290\9372\45\9449\9472\45\10087\10132\45\10180\10183\45\10213\10224\45\10626\10649\45\10711\10716\45\10747\10750\45\11092\11493\45\11498\11904\45\12283\12292\12306\45\12307\12320\12342\45\12343\12350\45\12351\12688\45\12689\12694\45\12703\12736\45\12771\12800\45\12830\12842\45\12880\12896\45\12927\12938\45\12976\12992\45\13311\19904\45\19967\42128\45\42182\43048\45\43051\64297\65021\65122\65124\45\65126\65291\65308\45\65310\65372\65374\65506\65508\65512\45\65518\65532\45\65533\93\43\124\96\91\94\96\93\43\96" (Arbitrary "\75\101\121\119\111\114\100" :. Arbitrary "\84\121\112\101")
    ]

class' :: TokenMatcher
class' =
    [ tokNext "\40\91\97\45\122\65\45\90\92\36\95\170\181\186\192\45\214\216\45\246\248\45\687\880\45\883\886\45\887\891\45\893\902\904\45\1013\1015\45\1153\1162\45\1366\1377\45\1415\1488\45\1522\1569\45\1599\1601\45\1610\1646\45\1647\1649\45\1747\1749\1774\45\1775\1786\45\1788\1791\1808\1810\45\1839\1869\45\1957\1969\1994\45\2026\2308\45\2361\2365\2384\2392\45\2401\2418\45\2431\2437\45\2489\2493\2510\2524\45\2529\2544\45\2545\2565\45\2617\2649\45\2654\2674\45\2676\2693\45\2745\2749\2768\45\2785\2821\45\2873\2877\2908\45\2913\2929\2947\45\3001\3024\3077\45\3133\3160\45\3169\3205\45\3257\3261\3294\45\3297\3333\45\3389\3424\45\3425\3450\45\3455\3461\45\3526\3585\45\3632\3634\45\3635\3648\45\3653\3713\45\3760\3762\45\3763\3773\45\3780\3804\45\3840\3904\45\3948\3976\45\3979\4096\45\4138\4159\4176\45\4181\4186\45\4189\4193\4197\45\4198\4206\45\4208\4213\45\4225\4238\4256\45\4346\4352\45\4954\4992\45\5007\5024\45\5740\5743\45\5750\5761\45\5786\5792\45\5866\5870\45\5905\5920\45\5937\5952\45\5969\5984\45\6000\6016\45\6067\6108\6176\45\6210\6212\45\6312\6314\45\6428\6480\45\6569\6593\45\6599\6656\45\6678\6917\45\6963\6981\45\6987\7043\45\7072\7086\45\7087\7168\45\7203\7245\45\7247\7258\45\7287\7424\45\7467\7522\45\7543\7545\45\7578\7680\45\8124\8126\8130\45\8140\8144\45\8155\8160\45\8172\8178\45\8188\8305\8319\8450\8455\8458\45\8467\8469\8473\45\8477\8484\8486\8488\8490\45\8493\8495\45\8505\8508\45\8511\8517\45\8521\8526\8544\45\8584\11264\45\11388\11392\45\11492\11520\45\11621\11648\45\11742\12294\45\12295\12321\45\12329\12344\45\12346\12348\12353\45\12438\12447\12449\45\12538\12543\45\12686\12704\45\12727\12784\45\12799\13312\45\19893\19968\45\40980\40982\45\42124\42240\45\42507\42512\45\42527\42538\45\42606\42624\45\42647\42786\45\42863\42865\45\42887\42891\45\43009\43011\45\43013\43015\45\43018\43020\45\43042\43072\45\43123\43138\45\43187\43274\45\43301\43312\45\43334\43520\45\43560\43584\45\43586\43588\45\43595\44032\45\55203\63744\45\64285\64287\45\64296\64298\45\64829\64848\45\65019\65136\45\65276\65313\45\65338\65345\45\65370\65382\45\65391\65393\45\65437\65440\45\65500\93\40\63\58\91\97\45\122\65\45\90\92\36\95\170\181\186\192\45\214\216\45\246\248\45\687\880\45\883\886\45\887\891\45\893\902\904\45\1013\1015\45\1153\1162\45\1366\1377\45\1415\1488\45\1522\1569\45\1599\1601\45\1610\1646\45\1647\1649\45\1747\1749\1774\45\1775\1786\45\1788\1791\1808\1810\45\1839\1869\45\1957\1969\1994\45\2026\2308\45\2361\2365\2384\2392\45\2401\2418\45\2431\2437\45\2489\2493\2510\2524\45\2529\2544\45\2545\2565\45\2617\2649\45\2654\2674\45\2676\2693\45\2745\2749\2768\45\2785\2821\45\2873\2877\2908\45\2913\2929\2947\45\3001\3024\3077\45\3133\3160\45\3169\3205\45\3257\3261\3294\45\3297\3333\45\3389\3424\45\3425\3450\45\3455\3461\45\3526\3585\45\3632\3634\45\3635\3648\45\3653\3713\45\3760\3762\45\3763\3773\45\3780\3804\45\3840\3904\45\3948\3976\45\3979\4096\45\4138\4159\4176\45\4181\4186\45\4189\4193\4197\45\4198\4206\45\4208\4213\45\4225\4238\4256\45\4346\4352\45\4954\4992\45\5007\5024\45\5740\5743\45\5750\5761\45\5786\5792\45\5866\5870\45\5905\5920\45\5937\5952\45\5969\5984\45\6000\6016\45\6067\6108\6176\45\6210\6212\45\6312\6314\45\6428\6480\45\6569\6593\45\6599\6656\45\6678\6917\45\6963\6981\45\6987\7043\45\7072\7086\45\7087\7168\45\7203\7245\45\7247\7258\45\7287\7424\45\7467\7522\45\7543\7545\45\7578\7680\45\8124\8126\8130\45\8140\8144\45\8155\8160\45\8172\8178\45\8188\8305\8319\8450\8455\8458\45\8467\8469\8473\45\8477\8484\8486\8488\8490\45\8493\8495\45\8505\8508\45\8511\8517\45\8521\8526\8544\45\8584\11264\45\11388\11392\45\11492\11520\45\11621\11648\45\11742\12294\45\12295\12321\45\12329\12344\45\12346\12348\12353\45\12438\12447\12449\45\12538\12543\45\12686\12704\45\12727\12784\45\12799\13312\45\19893\19968\45\40980\40982\45\42124\42240\45\42507\42512\45\42527\42538\45\42606\42624\45\42647\42786\45\42863\42865\45\42887\42891\45\43009\43011\45\43013\43015\45\43018\43020\45\43042\43072\45\43123\43138\45\43187\43274\45\43301\43312\45\43334\43520\45\43560\43584\45\43586\43588\45\43595\44032\45\55203\63744\45\64285\64287\45\64296\64298\45\64829\64848\45\65019\65136\45\65276\65313\45\65338\65345\45\65370\65382\45\65391\65393\45\65437\65440\45\65500\93\124\91\48\45\57\93\41\42\40\63\58\40\63\60\61\95\41\91\45\126\92\94\92\42\33\37\38\92\92\60\62\92\124\43\61\58\47\63\64\166\45\167\169\172\174\176\45\177\182\215\247\1014\1154\1542\45\1544\1550\45\1551\1769\1789\45\1790\2038\2554\2928\3059\45\3064\3066\3199\3313\45\3314\3449\3841\45\3843\3859\45\3863\3866\45\3871\3892\3894\3896\4030\45\4037\4039\45\4047\4254\45\4255\4960\5008\45\5017\6464\6624\45\6655\7009\45\7018\7028\45\7036\8260\8274\8314\45\8316\8330\45\8332\8448\45\8449\8451\45\8454\8456\45\8457\8468\8470\45\8472\8478\45\8483\8485\8487\8489\8494\8506\45\8507\8512\45\8516\8522\45\8525\8527\8592\45\9000\9003\45\9290\9372\45\9449\9472\45\10087\10132\45\10180\10183\45\10213\10224\45\10626\10649\45\10711\10716\45\10747\10750\45\11092\11493\45\11498\11904\45\12283\12292\12306\45\12307\12320\12342\45\12343\12350\45\12351\12688\45\12689\12694\45\12703\12736\45\12771\12800\45\12830\12842\45\12880\12896\45\12927\12938\45\12976\12992\45\13311\19904\45\19967\42128\45\42182\43048\45\43051\64297\65021\65122\65124\45\65126\65291\65308\45\65310\65372\65374\65506\65508\65512\45\65518\65532\45\65533\93\43\41\63\124\91\45\126\92\94\92\42\33\37\38\92\92\60\62\92\124\43\61\58\47\63\64\166\45\167\169\172\174\176\45\177\182\215\247\1014\1154\1542\45\1544\1550\45\1551\1769\1789\45\1790\2038\2554\2928\3059\45\3064\3066\3199\3313\45\3314\3449\3841\45\3843\3859\45\3863\3866\45\3871\3892\3894\3896\4030\45\4037\4039\45\4047\4254\45\4255\4960\5008\45\5017\6464\6624\45\6655\7009\45\7018\7028\45\7036\8260\8274\8314\45\8316\8330\45\8332\8448\45\8449\8451\45\8454\8456\45\8457\8468\8470\45\8472\8478\45\8483\8485\8487\8489\8494\8506\45\8507\8512\45\8516\8522\45\8525\8527\8592\45\9000\9003\45\9290\9372\45\9449\9472\45\10087\10132\45\10180\10183\45\10213\10224\45\10626\10649\45\10711\10716\45\10747\10750\45\11092\11493\45\11498\11904\45\12283\12292\12306\45\12307\12320\12342\45\12343\12350\45\12351\12688\45\12689\12694\45\12703\12736\45\12771\12800\45\12830\12842\45\12880\12896\45\12927\12938\45\12976\12992\45\13311\19904\45\19967\42128\45\42182\43048\45\43051\64297\65021\65122\65124\45\65126\65291\65308\45\65310\65372\65374\65506\65508\65512\45\65518\65532\45\65533\93\43\124\96\91\94\96\93\43\96\41\40\92\115\42\41\40\92\91\41" (ByGroups [(Arbitrary "\78\97\109\101" :. Arbitrary "\67\108\97\115\115"), (Arbitrary "\84\101\120\116"), (Arbitrary "\79\112\101\114\97\116\111\114")]) (GoTo typeparam')
    , tok "\91\92\115\92\110\93\43" (Arbitrary "\84\101\120\116")
    , tokNext "\123" (Arbitrary "\79\112\101\114\97\116\111\114") Pop
    , tokNext "\92\40" (Arbitrary "\79\112\101\114\97\116\111\114") Pop
    , tokNext "\91\97\45\122\65\45\90\92\36\95\170\181\186\192\45\214\216\45\246\248\45\687\880\45\883\886\45\887\891\45\893\902\904\45\1013\1015\45\1153\1162\45\1366\1377\45\1415\1488\45\1522\1569\45\1599\1601\45\1610\1646\45\1647\1649\45\1747\1749\1774\45\1775\1786\45\1788\1791\1808\1810\45\1839\1869\45\1957\1969\1994\45\2026\2308\45\2361\2365\2384\2392\45\2401\2418\45\2431\2437\45\2489\2493\2510\2524\45\2529\2544\45\2545\2565\45\2617\2649\45\2654\2674\45\2676\2693\45\2745\2749\2768\45\2785\2821\45\2873\2877\2908\45\2913\2929\2947\45\3001\3024\3077\45\3133\3160\45\3169\3205\45\3257\3261\3294\45\3297\3333\45\3389\3424\45\3425\3450\45\3455\3461\45\3526\3585\45\3632\3634\45\3635\3648\45\3653\3713\45\3760\3762\45\3763\3773\45\3780\3804\45\3840\3904\45\3948\3976\45\3979\4096\45\4138\4159\4176\45\4181\4186\45\4189\4193\4197\45\4198\4206\45\4208\4213\45\4225\4238\4256\45\4346\4352\45\4954\4992\45\5007\5024\45\5740\5743\45\5750\5761\45\5786\5792\45\5866\5870\45\5905\5920\45\5937\5952\45\5969\5984\45\6000\6016\45\6067\6108\6176\45\6210\6212\45\6312\6314\45\6428\6480\45\6569\6593\45\6599\6656\45\6678\6917\45\6963\6981\45\6987\7043\45\7072\7086\45\7087\7168\45\7203\7245\45\7247\7258\45\7287\7424\45\7467\7522\45\7543\7545\45\7578\7680\45\8124\8126\8130\45\8140\8144\45\8155\8160\45\8172\8178\45\8188\8305\8319\8450\8455\8458\45\8467\8469\8473\45\8477\8484\8486\8488\8490\45\8493\8495\45\8505\8508\45\8511\8517\45\8521\8526\8544\45\8584\11264\45\11388\11392\45\11492\11520\45\11621\11648\45\11742\12294\45\12295\12321\45\12329\12344\45\12346\12348\12353\45\12438\12447\12449\45\12538\12543\45\12686\12704\45\12727\12784\45\12799\13312\45\19893\19968\45\40980\40982\45\42124\42240\45\42507\42512\45\42527\42538\45\42606\42624\45\42647\42786\45\42863\42865\45\42887\42891\45\43009\43011\45\43013\43015\45\43018\43020\45\43042\43072\45\43123\43138\45\43187\43274\45\43301\43312\45\43334\43520\45\43560\43584\45\43586\43588\45\43595\44032\45\55203\63744\45\64285\64287\45\64296\64298\45\64829\64848\45\65019\65136\45\65276\65313\45\65338\65345\45\65370\65382\45\65391\65393\45\65437\65440\45\65500\93\40\63\58\91\97\45\122\65\45\90\92\36\95\170\181\186\192\45\214\216\45\246\248\45\687\880\45\883\886\45\887\891\45\893\902\904\45\1013\1015\45\1153\1162\45\1366\1377\45\1415\1488\45\1522\1569\45\1599\1601\45\1610\1646\45\1647\1649\45\1747\1749\1774\45\1775\1786\45\1788\1791\1808\1810\45\1839\1869\45\1957\1969\1994\45\2026\2308\45\2361\2365\2384\2392\45\2401\2418\45\2431\2437\45\2489\2493\2510\2524\45\2529\2544\45\2545\2565\45\2617\2649\45\2654\2674\45\2676\2693\45\2745\2749\2768\45\2785\2821\45\2873\2877\2908\45\2913\2929\2947\45\3001\3024\3077\45\3133\3160\45\3169\3205\45\3257\3261\3294\45\3297\3333\45\3389\3424\45\3425\3450\45\3455\3461\45\3526\3585\45\3632\3634\45\3635\3648\45\3653\3713\45\3760\3762\45\3763\3773\45\3780\3804\45\3840\3904\45\3948\3976\45\3979\4096\45\4138\4159\4176\45\4181\4186\45\4189\4193\4197\45\4198\4206\45\4208\4213\45\4225\4238\4256\45\4346\4352\45\4954\4992\45\5007\5024\45\5740\5743\45\5750\5761\45\5786\5792\45\5866\5870\45\5905\5920\45\5937\5952\45\5969\5984\45\6000\6016\45\6067\6108\6176\45\6210\6212\45\6312\6314\45\6428\6480\45\6569\6593\45\6599\6656\45\6678\6917\45\6963\6981\45\6987\7043\45\7072\7086\45\7087\7168\45\7203\7245\45\7247\7258\45\7287\7424\45\7467\7522\45\7543\7545\45\7578\7680\45\8124\8126\8130\45\8140\8144\45\8155\8160\45\8172\8178\45\8188\8305\8319\8450\8455\8458\45\8467\8469\8473\45\8477\8484\8486\8488\8490\45\8493\8495\45\8505\8508\45\8511\8517\45\8521\8526\8544\45\8584\11264\45\11388\11392\45\11492\11520\45\11621\11648\45\11742\12294\45\12295\12321\45\12329\12344\45\12346\12348\12353\45\12438\12447\12449\45\12538\12543\45\12686\12704\45\12727\12784\45\12799\13312\45\19893\19968\45\40980\40982\45\42124\42240\45\42507\42512\45\42527\42538\45\42606\42624\45\42647\42786\45\42863\42865\45\42887\42891\45\43009\43011\45\43013\43015\45\43018\43020\45\43042\43072\45\43123\43138\45\43187\43274\45\43301\43312\45\43334\43520\45\43560\43584\45\43586\43588\45\43595\44032\45\55203\63744\45\64285\64287\45\64296\64298\45\64829\64848\45\65019\65136\45\65276\65313\45\65338\65345\45\65370\65382\45\65391\65393\45\65437\65440\45\65500\93\124\91\48\45\57\93\41\42\40\63\58\40\63\60\61\95\41\91\45\126\92\94\92\42\33\37\38\92\92\60\62\92\124\43\61\58\47\63\64\166\45\167\169\172\174\176\45\177\182\215\247\1014\1154\1542\45\1544\1550\45\1551\1769\1789\45\1790\2038\2554\2928\3059\45\3064\3066\3199\3313\45\3314\3449\3841\45\3843\3859\45\3863\3866\45\3871\3892\3894\3896\4030\45\4037\4039\45\4047\4254\45\4255\4960\5008\45\5017\6464\6624\45\6655\7009\45\7018\7028\45\7036\8260\8274\8314\45\8316\8330\45\8332\8448\45\8449\8451\45\8454\8456\45\8457\8468\8470\45\8472\8478\45\8483\8485\8487\8489\8494\8506\45\8507\8512\45\8516\8522\45\8525\8527\8592\45\9000\9003\45\9290\9372\45\9449\9472\45\10087\10132\45\10180\10183\45\10213\10224\45\10626\10649\45\10711\10716\45\10747\10750\45\11092\11493\45\11498\11904\45\12283\12292\12306\45\12307\12320\12342\45\12343\12350\45\12351\12688\45\12689\12694\45\12703\12736\45\12771\12800\45\12830\12842\45\12880\12896\45\12927\12938\45\12976\12992\45\13311\19904\45\19967\42128\45\42182\43048\45\43051\64297\65021\65122\65124\45\65126\65291\65308\45\65310\65372\65374\65506\65508\65512\45\65518\65532\45\65533\93\43\41\63\124\91\45\126\92\94\92\42\33\37\38\92\92\60\62\92\124\43\61\58\47\63\64\166\45\167\169\172\174\176\45\177\182\215\247\1014\1154\1542\45\1544\1550\45\1551\1769\1789\45\1790\2038\2554\2928\3059\45\3064\3066\3199\3313\45\3314\3449\3841\45\3843\3859\45\3863\3866\45\3871\3892\3894\3896\4030\45\4037\4039\45\4047\4254\45\4255\4960\5008\45\5017\6464\6624\45\6655\7009\45\7018\7028\45\7036\8260\8274\8314\45\8316\8330\45\8332\8448\45\8449\8451\45\8454\8456\45\8457\8468\8470\45\8472\8478\45\8483\8485\8487\8489\8494\8506\45\8507\8512\45\8516\8522\45\8525\8527\8592\45\9000\9003\45\9290\9372\45\9449\9472\45\10087\10132\45\10180\10183\45\10213\10224\45\10626\10649\45\10711\10716\45\10747\10750\45\11092\11493\45\11498\11904\45\12283\12292\12306\45\12307\12320\12342\45\12343\12350\45\12351\12688\45\12689\12694\45\12703\12736\45\12771\12800\45\12830\12842\45\12880\12896\45\12927\12938\45\12976\12992\45\13311\19904\45\19967\42128\45\42182\43048\45\43051\64297\65021\65122\65124\45\65126\65291\65308\45\65310\65372\65374\65506\65508\65512\45\65518\65532\45\65533\93\43\124\96\91\94\96\93\43\96" (Arbitrary "\78\97\109\101" :. Arbitrary "\67\108\97\115\115") Pop
    ]