export namespace Const { const gestalt_Version: number; const gestalt_CharInput: number; const gestalt_LineInput: number; const gestalt_CharOutput: number; const gestalt_CharOutput_CannotPrint: number; const gestalt_CharOutput_ApproxPrint: number; const gestalt_CharOutput_ExactPrint: number; const gestalt_MouseInput: number; const gestalt_Timer: number; const gestalt_Graphics: number; const gestalt_DrawImage: number; const gestalt_Sound: number; const gestalt_SoundVolume: number; const gestalt_SoundNotify: number; const gestalt_Hyperlinks: number; const gestalt_HyperlinkInput: number; const gestalt_SoundMusic: number; const gestalt_GraphicsTransparency: number; const gestalt_Unicode: number; const gestalt_UnicodeNorm: number; const gestalt_LineInputEcho: number; const gestalt_LineTerminators: number; const gestalt_LineTerminatorKey: number; const gestalt_DateTime: number; const gestalt_Sound2: number; const gestalt_ResourceStream: number; const gestalt_GraphicsCharInput: number; const keycode_Unknown: number; const keycode_Left: number; const keycode_Right: number; const keycode_Up: number; const keycode_Down: number; const keycode_Return: number; const keycode_Delete: number; const keycode_Escape: number; const keycode_Tab: number; const keycode_PageUp: number; const keycode_PageDown: number; const keycode_Home: number; const keycode_End: number; const keycode_Func1: number; const keycode_Func2: number; const keycode_Func3: number; const keycode_Func4: number; const keycode_Func5: number; const keycode_Func6: number; const keycode_Func7: number; const keycode_Func8: number; const keycode_Func9: number; const keycode_Func10: number; const keycode_Func11: number; const keycode_Func12: number; const keycode_MAXVAL: number; const evtype_None: number; const evtype_Timer: number; const evtype_CharInput: number; const evtype_LineInput: number; const evtype_MouseInput: number; const evtype_Arrange: number; const evtype_Redraw: number; const evtype_SoundNotify: number; const evtype_Hyperlink: number; const evtype_VolumeNotify: number; const style_Normal: number; const style_Emphasized: number; const style_Preformatted: number; const style_Header: number; const style_Subheader: number; const style_Alert: number; const style_Note: number; const style_BlockQuote: number; const style_Input: number; const style_User1: number; const style_User2: number; const style_NUMSTYLES: number; const wintype_AllTypes: number; const wintype_Pair: number; const wintype_Blank: number; const wintype_TextBuffer: number; const wintype_TextGrid: number; const wintype_Graphics: number; const winmethod_Left: number; const winmethod_Right: number; const winmethod_Above: number; const winmethod_Below: number; const winmethod_DirMask: number; const winmethod_Fixed: number; const winmethod_Proportional: number; const winmethod_DivisionMask: number; const winmethod_Border: number; const winmethod_NoBorder: number; const winmethod_BorderMask: number; const fileusage_Data: number; const fileusage_SavedGame: number; const fileusage_Transcript: number; const fileusage_InputRecord: number; const fileusage_TypeMask: number; const fileusage_TextMode: number; const fileusage_BinaryMode: number; const filemode_Write: number; const filemode_Read: number; const filemode_ReadWrite: number; const filemode_WriteAppend: number; const seekmode_Start: number; const seekmode_Current: number; const seekmode_End: number; const stylehint_Indentation: number; const stylehint_ParaIndentation: number; const stylehint_Justification: number; const stylehint_Size: number; const stylehint_Weight: number; const stylehint_Oblique: number; const stylehint_Proportional: number; const stylehint_TextColor: number; const stylehint_BackColor: number; const stylehint_ReverseColor: number; const stylehint_NUMHINTS: number; const stylehint_just_LeftFlush: number; const stylehint_just_LeftRight: number; const stylehint_just_Centered: number; const stylehint_just_RightFlush: number; const imagealign_InlineUp: number; const imagealign_InlineDown: number; const imagealign_InlineCenter: number; const imagealign_MarginLeft: number; const imagealign_MarginRight: number; } export namespace KeystrokeNameMap { import left = Const.keycode_Left; export { left }; import right = Const.keycode_Right; export { right }; import up = Const.keycode_Up; export { up }; import down = Const.keycode_Down; export { down }; import _return = Const.keycode_Return; export { _return as return }; import _delete = Const.keycode_Delete; export { _delete as delete }; import escape = Const.keycode_Escape; export { escape }; import tab = Const.keycode_Tab; export { tab }; import pageup = Const.keycode_PageUp; export { pageup }; import pagedown = Const.keycode_PageDown; export { pagedown }; import home = Const.keycode_Home; export { home }; import end = Const.keycode_End; export { end }; import func1 = Const.keycode_Func1; export { func1 }; import func2 = Const.keycode_Func2; export { func2 }; import func3 = Const.keycode_Func3; export { func3 }; import func4 = Const.keycode_Func4; export { func4 }; import func5 = Const.keycode_Func5; export { func5 }; import func6 = Const.keycode_Func6; export { func6 }; import func7 = Const.keycode_Func7; export { func7 }; import func8 = Const.keycode_Func8; export { func8 }; import func9 = Const.keycode_Func9; export { func9 }; import func10 = Const.keycode_Func10; export { func10 }; import func11 = Const.keycode_Func11; export { func11 }; import func12 = Const.keycode_Func12; export { func12 }; } export var StyleNameMap: { 0: string; 1: string; 2: string; 3: string; 4: string; 5: string; 6: string; 7: string; 8: string; 9: string; 10: string; }; export var FileTypeMap: { 0: string; 1: string; 2: string; 3: string; }; export var unicode_upper_table: { 181: number; 223: number[]; 255: number; 305: number; 329: number[]; 383: number; 405: number; 414: number; 447: number; 454: number; 457: number; 460: number; 477: number; 496: number[]; 499: number; 595: number; 596: number; 598: number; 599: number; 601: number; 603: number; 608: number; 611: number; 616: number; 617: number; 623: number; 626: number; 629: number; 640: number; 643: number; 648: number; 650: number; 651: number; 658: number; 837: number; 912: number[]; 940: number; 941: number; 942: number; 943: number; 944: number[]; 962: number; 972: number; 973: number; 974: number; 976: number; 977: number; 981: number; 982: number; 1008: number; 1010: number; 1013: number; 1415: number[]; 7830: number[]; 7831: number[]; 7832: number[]; 7833: number[]; 7834: number[]; 7835: number; 8016: number[]; 8018: number[]; 8020: number[]; 8022: number[]; 8048: number; 8049: number; 8050: number; 8051: number; 8052: number; 8053: number; 8054: number; 8055: number; 8056: number; 8057: number; 8058: number; 8059: number; 8060: number; 8061: number; 8064: number[]; 8065: number[]; 8066: number[]; 8067: number[]; 8068: number[]; 8069: number[]; 8070: number[]; 8071: number[]; 8072: number[]; 8073: number[]; 8074: number[]; 8075: number[]; 8076: number[]; 8077: number[]; 8078: number[]; 8079: number[]; 8080: number[]; 8081: number[]; 8082: number[]; 8083: number[]; 8084: number[]; 8085: number[]; 8086: number[]; 8087: number[]; 8088: number[]; 8089: number[]; 8090: number[]; 8091: number[]; 8092: number[]; 8093: number[]; 8094: number[]; 8095: number[]; 8096: number[]; 8097: number[]; 8098: number[]; 8099: number[]; 8100: number[]; 8101: number[]; 8102: number[]; 8103: number[]; 8104: number[]; 8105: number[]; 8106: number[]; 8107: number[]; 8108: number[]; 8109: number[]; 8110: number[]; 8111: number[]; 8114: number[]; 8115: number[]; 8116: number[]; 8118: number[]; 8119: number[]; 8124: number[]; 8126: number; 8130: number[]; 8131: number[]; 8132: number[]; 8134: number[]; 8135: number[]; 8140: number[]; 8146: number[]; 8147: number[]; 8150: number[]; 8151: number[]; 8162: number[]; 8163: number[]; 8164: number[]; 8165: number; 8166: number[]; 8167: number[]; 8178: number[]; 8179: number[]; 8180: number[]; 8182: number[]; 8183: number[]; 8188: number[]; 64256: number[]; 64257: number[]; 64258: number[]; 64259: number[]; 64260: number[]; 64261: number[]; 64262: number[]; 64275: number[]; 64276: number[]; 64277: number[]; 64278: number[]; 64279: number[]; }; export var unicode_lower_table: { 304: number[]; 376: number; 385: number; 390: number; 393: number; 394: number; 398: number; 399: number; 400: number; 403: number; 404: number; 406: number; 407: number; 412: number; 413: number; 415: number; 422: number; 425: number; 430: number; 433: number; 434: number; 439: number; 452: number; 455: number; 458: number; 497: number; 502: number; 503: number; 544: number; 902: number; 904: number; 905: number; 906: number; 908: number; 910: number; 911: number; 1012: number; 1017: number; 8122: number; 8123: number; 8124: number; 8136: number; 8137: number; 8138: number; 8139: number; 8140: number; 8154: number; 8155: number; 8170: number; 8171: number; 8172: number; 8184: number; 8185: number; 8186: number; 8187: number; 8188: number; 8486: number; 8490: number; 8491: number; }; export var unicode_title_table: { 223: number[]; 452: number; 453: number; 454: number; 455: number; 456: number; 457: number; 458: number; 459: number; 460: number; 497: number; 498: number; 499: number; 1415: number[]; 8114: number[]; 8115: number; 8116: number[]; 8119: number[]; 8124: number; 8130: number[]; 8131: number; 8132: number[]; 8135: number[]; 8140: number; 8178: number[]; 8179: number; 8180: number[]; 8183: number[]; 8188: number; 64256: number[]; 64257: number[]; 64258: number[]; 64259: number[]; 64260: number[]; 64261: number[]; 64262: number[]; 64275: number[]; 64276: number[]; 64277: number[]; 64278: number[]; 64279: number[]; }; export var unicode_decomp_table: { 192: number[]; 193: number[]; 194: number[]; 195: number[]; 196: number[]; 197: number[]; 199: number[]; 200: number[]; 201: number[]; 202: number[]; 203: number[]; 204: number[]; 205: number[]; 206: number[]; 207: number[]; 209: number[]; 210: number[]; 211: number[]; 212: number[]; 213: number[]; 214: number[]; 217: number[]; 218: number[]; 219: number[]; 220: number[]; 221: number[]; 224: number[]; 225: number[]; 226: number[]; 227: number[]; 228: number[]; 229: number[]; 231: number[]; 232: number[]; 233: number[]; 234: number[]; 235: number[]; 236: number[]; 237: number[]; 238: number[]; 239: number[]; 241: number[]; 242: number[]; 243: number[]; 244: number[]; 245: number[]; 246: number[]; 249: number[]; 250: number[]; 251: number[]; 252: number[]; 253: number[]; 296: number[]; 297: number[]; 298: number[]; 299: number[]; 300: number[]; 301: number[]; 302: number[]; 303: number[]; 304: number[]; 308: number[]; 309: number[]; 310: number[]; 311: number[]; 313: number[]; 314: number[]; 315: number[]; 316: number[]; 317: number[]; 318: number[]; 323: number[]; 324: number[]; 325: number[]; 326: number[]; 327: number[]; 328: number[]; 332: number[]; 333: number[]; 334: number[]; 335: number[]; 336: number[]; 337: number[]; 416: number[]; 417: number[]; 431: number[]; 432: number[]; 478: number[]; 479: number[]; 480: number[]; 481: number[]; 482: number[]; 483: number[]; 486: number[]; 487: number[]; 488: number[]; 489: number[]; 490: number[]; 491: number[]; 492: number[]; 493: number[]; 494: number[]; 495: number[]; 496: number[]; 500: number[]; 501: number[]; 542: number[]; 543: number[]; 550: number[]; 551: number[]; 552: number[]; 553: number[]; 554: number[]; 555: number[]; 556: number[]; 557: number[]; 558: number[]; 559: number[]; 560: number[]; 561: number[]; 562: number[]; 563: number[]; 832: number; 833: number; 835: number; 836: number[]; 884: number; 894: number; 901: number[]; 902: number[]; 903: number; 904: number[]; 905: number[]; 906: number[]; 908: number[]; 910: number[]; 911: number[]; 912: number[]; 938: number[]; 939: number[]; 940: number[]; 941: number[]; 942: number[]; 943: number[]; 944: number[]; 970: number[]; 971: number[]; 972: number[]; 973: number[]; 974: number[]; 979: number[]; 980: number[]; 1024: number[]; 1025: number[]; 1027: number[]; 1031: number[]; 1036: number[]; 1037: number[]; 1038: number[]; 1049: number[]; 1081: number[]; 1104: number[]; 1105: number[]; 1107: number[]; 1111: number[]; 1116: number[]; 1117: number[]; 1118: number[]; 1142: number[]; 1143: number[]; 1217: number[]; 1218: number[]; 1232: number[]; 1233: number[]; 1234: number[]; 1235: number[]; 1238: number[]; 1239: number[]; 1242: number[]; 1243: number[]; 1244: number[]; 1245: number[]; 1246: number[]; 1247: number[]; 1250: number[]; 1251: number[]; 1252: number[]; 1253: number[]; 1254: number[]; 1255: number[]; 1258: number[]; 1259: number[]; 1260: number[]; 1261: number[]; 1262: number[]; 1263: number[]; 1264: number[]; 1265: number[]; 1266: number[]; 1267: number[]; 1268: number[]; 1269: number[]; 1272: number[]; 1273: number[]; 1570: number[]; 1571: number[]; 1572: number[]; 1573: number[]; 1574: number[]; 1728: number[]; 1730: number[]; 1747: number[]; 2345: number[]; 2353: number[]; 2356: number[]; 2392: number[]; 2393: number[]; 2394: number[]; 2395: number[]; 2396: number[]; 2397: number[]; 2398: number[]; 2399: number[]; 2507: number[]; 2508: number[]; 2524: number[]; 2525: number[]; 2527: number[]; 2611: number[]; 2614: number[]; 2649: number[]; 2650: number[]; 2651: number[]; 2654: number[]; 2888: number[]; 2891: number[]; 2892: number[]; 2908: number[]; 2909: number[]; 2964: number[]; 3018: number[]; 3019: number[]; 3020: number[]; 3144: number[]; 3264: number[]; 3271: number[]; 3272: number[]; 3274: number[]; 3275: number[]; 3402: number[]; 3403: number[]; 3404: number[]; 3546: number[]; 3548: number[]; 3549: number[]; 3550: number[]; 3907: number[]; 3917: number[]; 3922: number[]; 3927: number[]; 3932: number[]; 3945: number[]; 3955: number[]; 3957: number[]; 3958: number[]; 3960: number[]; 3969: number[]; 3987: number[]; 3997: number[]; 4002: number[]; 4007: number[]; 4012: number[]; 4025: number[]; 4134: number[]; 7835: number[]; 7960: number[]; 7961: number[]; 7962: number[]; 7963: number[]; 7964: number[]; 7965: number[]; 8008: number[]; 8009: number[]; 8010: number[]; 8011: number[]; 8012: number[]; 8013: number[]; 8016: number[]; 8017: number[]; 8018: number[]; 8019: number[]; 8020: number[]; 8021: number[]; 8022: number[]; 8023: number[]; 8025: number[]; 8027: number[]; 8029: number[]; 8118: number[]; 8119: number[]; 8120: number[]; 8121: number[]; 8122: number[]; 8123: number[]; 8124: number[]; 8126: number; 8129: number[]; 8130: number[]; 8131: number[]; 8132: number[]; 8134: number[]; 8135: number[]; 8136: number[]; 8137: number[]; 8138: number[]; 8139: number[]; 8140: number[]; 8141: number[]; 8142: number[]; 8143: number[]; 8144: number[]; 8145: number[]; 8146: number[]; 8147: number[]; 8150: number[]; 8151: number[]; 8152: number[]; 8153: number[]; 8154: number[]; 8155: number[]; 8178: number[]; 8179: number[]; 8180: number[]; 8182: number[]; 8183: number[]; 8184: number[]; 8185: number[]; 8186: number[]; 8187: number[]; 8188: number[]; 8189: number; 8192: number; 8193: number; 8486: number; 8490: number; 8491: number[]; 8602: number[]; 8603: number[]; 8622: number[]; 8653: number[]; 8654: number[]; 8655: number[]; 8708: number[]; 8713: number[]; 8716: number[]; 8740: number[]; 8742: number[]; 8769: number[]; 8772: number[]; 8775: number[]; 8777: number[]; 8800: number[]; 8802: number[]; 8813: number[]; 8814: number[]; 8815: number[]; 8816: number[]; 8817: number[]; 8820: number[]; 8821: number[]; 8824: number[]; 8825: number[]; 8832: number[]; 8833: number[]; 8836: number[]; 8837: number[]; 8840: number[]; 8841: number[]; 8876: number[]; 8877: number[]; 8878: number[]; 8879: number[]; 8928: number[]; 8929: number[]; 8930: number[]; 8931: number[]; 8938: number[]; 8939: number[]; 8940: number[]; 8941: number[]; 9001: number; 9002: number; 10972: number[]; 12364: number[]; 12366: number[]; 12368: number[]; 12370: number[]; 12372: number[]; 12374: number[]; 12376: number[]; 12378: number[]; 12380: number[]; 12382: number[]; 12384: number[]; 12386: number[]; 12389: number[]; 12391: number[]; 12393: number[]; 12400: number[]; 12401: number[]; 12403: number[]; 12404: number[]; 12406: number[]; 12407: number[]; 12409: number[]; 12410: number[]; 12412: number[]; 12413: number[]; 12436: number[]; 12446: number[]; 12460: number[]; 12462: number[]; 12464: number[]; 12466: number[]; 12468: number[]; 12470: number[]; 12472: number[]; 12474: number[]; 12476: number[]; 12478: number[]; 12480: number[]; 12482: number[]; 12485: number[]; 12487: number[]; 12489: number[]; 12496: number[]; 12497: number[]; 12499: number[]; 12500: number[]; 12502: number[]; 12503: number[]; 12505: number[]; 12506: number[]; 12508: number[]; 12509: number[]; 12532: number[]; 12535: number[]; 12536: number[]; 12537: number[]; 12538: number[]; 12542: number[]; 64016: number; 64018: number; 64021: number; 64022: number; 64023: number; 64024: number; 64025: number; 64026: number; 64027: number; 64028: number; 64029: number; 64030: number; 64032: number; 64034: number; 64037: number; 64038: number; 64042: number; 64043: number; 64044: number; 64045: number; 64285: number[]; 64287: number[]; 64298: number[]; 64299: number[]; 64300: number[]; 64301: number[]; 64302: number[]; 64303: number[]; 64304: number[]; 64305: number[]; 64306: number[]; 64307: number[]; 64308: number[]; 64309: number[]; 64310: number[]; 64312: number[]; 64313: number[]; 64314: number[]; 64315: number[]; 64316: number[]; 64318: number[]; 64320: number[]; 64321: number[]; 64323: number[]; 64324: number[]; 64326: number[]; 64327: number[]; 64328: number[]; 64329: number[]; 64330: number[]; 64331: number[]; 64332: number[]; 64333: number[]; 64334: number[]; 119134: number[]; 119135: number[]; 119136: number[]; 119137: number[]; 119138: number[]; 119139: number[]; 119140: number[]; 119227: number[]; 119228: number[]; 119229: number[]; 119230: number[]; 119231: number[]; 119232: number[]; }; export var unicode_combin_table: { 768: number; 769: number; 770: number; 771: number; 772: number; 773: number; 774: number; 775: number; 776: number; 777: number; 778: number; 779: number; 780: number; 781: number; 782: number; 783: number; 784: number; 785: number; 786: number; 787: number; 788: number; 789: number; 790: number; 791: number; 792: number; 793: number; 794: number; 795: number; 796: number; 797: number; 798: number; 799: number; 800: number; 801: number; 802: number; 803: number; 804: number; 805: number; 806: number; 807: number; 808: number; 809: number; 810: number; 811: number; 812: number; 813: number; 814: number; 815: number; 816: number; 817: number; 818: number; 819: number; 820: number; 821: number; 822: number; 823: number; 824: number; 825: number; 826: number; 827: number; 828: number; 829: number; 830: number; 831: number; 832: number; 833: number; 834: number; 835: number; 836: number; 837: number; 838: number; 839: number; 840: number; 841: number; 842: number; 843: number; 844: number; 845: number; 846: number; 848: number; 849: number; 850: number; 851: number; 852: number; 853: number; 854: number; 855: number; 861: number; 862: number; 863: number; 864: number; 865: number; 866: number; 867: number; 868: number; 869: number; 870: number; 871: number; 872: number; 873: number; 874: number; 875: number; 876: number; 877: number; 878: number; 879: number; 1155: number; 1156: number; 1157: number; 1158: number; 1425: number; 1426: number; 1427: number; 1428: number; 1429: number; 1430: number; 1431: number; 1432: number; 1433: number; 1434: number; 1435: number; 1436: number; 1437: number; 1438: number; 1439: number; 1440: number; 1441: number; 1443: number; 1444: number; 1445: number; 1446: number; 1447: number; 1448: number; 1449: number; 1450: number; 1451: number; 1452: number; 1453: number; 1454: number; 1455: number; 1456: number; 1457: number; 1458: number; 1459: number; 1460: number; 1461: number; 1462: number; 1463: number; 1464: number; 1465: number; 1467: number; 1468: number; 1469: number; 1471: number; 1473: number; 1474: number; 1476: number; 1552: number; 1553: number; 1554: number; 1555: number; 1556: number; 1557: number; 1611: number; 1612: number; 1613: number; 1614: number; 1615: number; 1616: number; 1617: number; 1618: number; 1619: number; 1620: number; 1621: number; 1622: number; 1623: number; 1624: number; 1648: number; 1750: number; 1751: number; 1752: number; 1753: number; 1754: number; 1755: number; 1756: number; 1759: number; 1760: number; 1761: number; 1762: number; 1763: number; 1764: number; 1767: number; 1768: number; 1770: number; 1771: number; 1772: number; 1773: number; 1809: number; 1840: number; 1841: number; 1842: number; 1843: number; 1844: number; 1845: number; 1846: number; 1847: number; 1848: number; 1849: number; 1850: number; 1851: number; 1852: number; 1853: number; 1854: number; 1855: number; 1856: number; 1857: number; 1858: number; 1859: number; 1860: number; 1861: number; 1862: number; 1863: number; 1864: number; 1865: number; 1866: number; 2364: number; 2381: number; 2385: number; 2386: number; 2387: number; 2388: number; 2492: number; 2509: number; 2620: number; 2637: number; 2748: number; 2765: number; 2876: number; 2893: number; 3021: number; 3149: number; 3157: number; 3158: number; 3260: number; 3277: number; 3405: number; 3530: number; 3640: number; 3641: number; 3642: number; 3656: number; 3657: number; 3658: number; 3659: number; 3768: number; 3769: number; 3784: number; 3785: number; 3786: number; 3787: number; 3864: number; 3865: number; 3893: number; 3895: number; 3897: number; 3953: number; 3954: number; 3956: number; 3962: number; 3963: number; 3964: number; 3965: number; 3968: number; 3970: number; 3971: number; 3972: number; 3974: number; 3975: number; 4038: number; 4151: number; 4153: number; 5908: number; 5940: number; 6098: number; 6109: number; 6313: number; 6457: number; 6458: number; 6459: number; 8400: number; 8401: number; 8402: number; 8403: number; 8404: number; 8405: number; 8406: number; 8407: number; 8408: number; 8409: number; 8410: number; 8411: number; 8412: number; 8417: number; 8421: number; 8422: number; 8423: number; 8424: number; 8425: number; 8426: number; 12330: number; 12331: number; 12332: number; 12333: number; 12334: number; 12335: number; 12441: number; 12442: number; 64286: number; 65056: number; 65057: number; 65058: number; 65059: number; 119141: number; 119142: number; 119143: number; 119144: number; 119145: number; 119149: number; 119150: number; 119151: number; 119152: number; 119153: number; 119154: number; 119163: number; 119164: number; 119165: number; 119166: number; 119167: number; 119168: number; 119169: number; 119170: number; 119173: number; 119174: number; 119175: number; 119176: number; 119177: number; 119178: number; 119179: number; 119210: number; 119211: number; 119212: number; 119213: number; }; export var unicode_compo_table: { 60: { 824: number; }; 61: { 824: number; }; 62: { 824: number; }; 65: { 768: number; 769: number; 770: number; 771: number; 772: number; 774: number; 775: number; 776: number; 777: number; 778: number; 780: number; 783: number; 785: number; 803: number; 805: number; 808: number; }; 66: { 775: number; 803: number; 817: number; }; 67: { 769: number; 770: number; 775: number; 780: number; 807: number; }; 68: { 775: number; 780: number; 803: number; 807: number; 813: number; 817: number; }; 69: { 768: number; 769: number; 770: number; 771: number; 772: number; 774: number; 775: number; 776: number; 777: number; 780: number; 783: number; 785: number; 803: number; 807: number; 808: number; 813: number; 816: number; }; 70: { 775: number; }; 71: { 769: number; 770: number; 772: number; 774: number; 775: number; 780: number; 807: number; }; 72: { 770: number; 775: number; 776: number; 780: number; 803: number; 807: number; 814: number; }; 73: { 768: number; 769: number; 770: number; 771: number; 772: number; 774: number; 775: number; 776: number; 777: number; 780: number; 783: number; 785: number; 803: number; 808: number; 816: number; }; 74: { 770: number; }; 75: { 769: number; 780: number; 803: number; 807: number; 817: number; }; 76: { 769: number; 780: number; 803: number; 807: number; 813: number; 817: number; }; 77: { 769: number; 775: number; 803: number; }; 78: { 768: number; 769: number; 771: number; 775: number; 780: number; 803: number; 807: number; 813: number; 817: number; }; 79: { 768: number; 769: number; 770: number; 771: number; 772: number; 774: number; 775: number; 776: number; 777: number; 779: number; 780: number; 783: number; 785: number; 795: number; 803: number; 808: number; }; 80: { 769: number; 775: number; }; 82: { 769: number; 775: number; 780: number; 783: number; 785: number; 803: number; 807: number; 817: number; }; 83: { 769: number; 770: number; 775: number; 780: number; 803: number; 806: number; 807: number; }; 84: { 775: number; 780: number; 803: number; 806: number; 807: number; 813: number; 817: number; }; 85: { 768: number; 769: number; 770: number; 771: number; 772: number; 774: number; 776: number; 777: number; 778: number; 779: number; 780: number; 783: number; 785: number; 795: number; 803: number; 804: number; 808: number; 813: number; 816: number; }; 86: { 771: number; 803: number; }; 87: { 768: number; 769: number; 770: number; 775: number; 776: number; 803: number; }; 88: { 775: number; 776: number; }; 89: { 768: number; 769: number; 770: number; 771: number; 772: number; 775: number; 776: number; 777: number; 803: number; }; 90: { 769: number; 770: number; 775: number; 780: number; 803: number; 817: number; }; 97: { 768: number; 769: number; 770: number; 771: number; 772: number; 774: number; 775: number; 776: number; 777: number; 778: number; 780: number; 783: number; 785: number; 803: number; 805: number; 808: number; }; 98: { 775: number; 803: number; 817: number; }; 99: { 769: number; 770: number; 775: number; 780: number; 807: number; }; 100: { 775: number; 780: number; 803: number; 807: number; 813: number; 817: number; }; 101: { 768: number; 769: number; 770: number; 771: number; 772: number; 774: number; 775: number; 776: number; 777: number; 780: number; 783: number; 785: number; 803: number; 807: number; 808: number; 813: number; 816: number; }; 102: { 775: number; }; 103: { 769: number; 770: number; 772: number; 774: number; 775: number; 780: number; 807: number; }; 104: { 770: number; 775: number; 776: number; 780: number; 803: number; 807: number; 814: number; 817: number; }; 105: { 768: number; 769: number; 770: number; 771: number; 772: number; 774: number; 776: number; 777: number; 780: number; 783: number; 785: number; 803: number; 808: number; 816: number; }; 106: { 770: number; 780: number; }; 107: { 769: number; 780: number; 803: number; 807: number; 817: number; }; 108: { 769: number; 780: number; 803: number; 807: number; 813: number; 817: number; }; 109: { 769: number; 775: number; 803: number; }; 110: { 768: number; 769: number; 771: number; 775: number; 780: number; 803: number; 807: number; 813: number; 817: number; }; 111: { 768: number; 769: number; 770: number; 771: number; 772: number; 774: number; 775: number; 776: number; 777: number; 779: number; 780: number; 783: number; 785: number; 795: number; 803: number; 808: number; }; 112: { 769: number; 775: number; }; 114: { 769: number; 775: number; 780: number; 783: number; 785: number; 803: number; 807: number; 817: number; }; 115: { 769: number; 770: number; 775: number; 780: number; 803: number; 806: number; 807: number; }; 116: { 775: number; 776: number; 780: number; 803: number; 806: number; 807: number; 813: number; 817: number; }; 117: { 768: number; 769: number; 770: number; 771: number; 772: number; 774: number; 776: number; 777: number; 778: number; 779: number; 780: number; 783: number; 785: number; 795: number; 803: number; 804: number; 808: number; 813: number; 816: number; }; 118: { 771: number; 803: number; }; 119: { 768: number; 769: number; 770: number; 775: number; 776: number; 778: number; 803: number; }; 120: { 775: number; 776: number; }; 121: { 768: number; 769: number; 770: number; 771: number; 772: number; 775: number; 776: number; 777: number; 778: number; 803: number; }; 122: { 769: number; 770: number; 775: number; 780: number; 803: number; 817: number; }; 168: { 768: number; 769: number; 834: number; }; 194: { 768: number; 769: number; 771: number; 777: number; }; 196: { 772: number; }; 197: { 769: number; }; 198: { 769: number; 772: number; }; 199: { 769: number; }; 202: { 768: number; 769: number; 771: number; 777: number; }; 207: { 769: number; }; 212: { 768: number; 769: number; 771: number; 777: number; }; 213: { 769: number; 772: number; 776: number; }; 214: { 772: number; }; 216: { 769: number; }; 220: { 768: number; 769: number; 772: number; 780: number; }; 226: { 768: number; 769: number; 771: number; 777: number; }; 228: { 772: number; }; 229: { 769: number; }; 230: { 769: number; 772: number; }; 231: { 769: number; }; 234: { 768: number; 769: number; 771: number; 777: number; }; 239: { 769: number; }; 244: { 768: number; 769: number; 771: number; 777: number; }; 245: { 769: number; 772: number; 776: number; }; 246: { 772: number; }; 248: { 769: number; }; 252: { 768: number; 769: number; 772: number; 780: number; }; 258: { 768: number; 769: number; 771: number; 777: number; }; 259: { 768: number; 769: number; 771: number; 777: number; }; 274: { 768: number; 769: number; }; 275: { 768: number; 769: number; }; 332: { 768: number; 769: number; }; 333: { 768: number; 769: number; }; 346: { 775: number; }; 347: { 775: number; }; 352: { 775: number; }; 353: { 775: number; }; 360: { 769: number; }; 361: { 769: number; }; 362: { 776: number; }; 363: { 776: number; }; 383: { 775: number; }; 416: { 768: number; 769: number; 771: number; 777: number; 803: number; }; 417: { 768: number; 769: number; 771: number; 777: number; 803: number; }; 431: { 768: number; 769: number; 771: number; 777: number; 803: number; }; 432: { 768: number; 769: number; 771: number; 777: number; 803: number; }; 439: { 780: number; }; 490: { 772: number; }; 491: { 772: number; }; 550: { 772: number; }; 551: { 772: number; }; 552: { 774: number; }; 553: { 774: number; }; 558: { 772: number; }; 559: { 772: number; }; 658: { 780: number; }; 776: { 769: number; }; 913: { 768: number; 769: number; 772: number; 774: number; 787: number; 788: number; 837: number; }; 917: { 768: number; 769: number; 787: number; 788: number; }; 919: { 768: number; 769: number; 787: number; 788: number; 837: number; }; 921: { 768: number; 769: number; 772: number; 774: number; 776: number; 787: number; 788: number; }; 927: { 768: number; 769: number; 787: number; 788: number; }; 929: { 788: number; }; 933: { 768: number; 769: number; 772: number; 774: number; 776: number; 788: number; }; 937: { 768: number; 769: number; 787: number; 788: number; 837: number; }; 940: { 837: number; }; 942: { 837: number; }; 945: { 768: number; 769: number; 772: number; 774: number; 787: number; 788: number; 834: number; 837: number; }; 949: { 768: number; 769: number; 787: number; 788: number; }; 951: { 768: number; 769: number; 787: number; 788: number; 834: number; 837: number; }; 953: { 768: number; 769: number; 772: number; 774: number; 776: number; 787: number; 788: number; 834: number; }; 959: { 768: number; 769: number; 787: number; 788: number; }; 961: { 787: number; 788: number; }; 965: { 768: number; 769: number; 772: number; 774: number; 776: number; 787: number; 788: number; 834: number; }; 969: { 768: number; 769: number; 787: number; 788: number; 834: number; 837: number; }; 970: { 768: number; 769: number; 834: number; }; 971: { 768: number; 769: number; 834: number; }; 974: { 837: number; }; 978: { 769: number; 776: number; }; 1030: { 776: number; }; 1040: { 774: number; 776: number; }; 1043: { 769: number; }; 1045: { 768: number; 774: number; 776: number; }; 1046: { 774: number; 776: number; }; 1047: { 776: number; }; 1048: { 768: number; 772: number; 774: number; 776: number; }; 1050: { 769: number; }; 1054: { 776: number; }; 1059: { 772: number; 774: number; 776: number; 779: number; }; 1063: { 776: number; }; 1067: { 776: number; }; 1069: { 776: number; }; 1072: { 774: number; 776: number; }; 1075: { 769: number; }; 1077: { 768: number; 774: number; 776: number; }; 1078: { 774: number; 776: number; }; 1079: { 776: number; }; 1080: { 768: number; 772: number; 774: number; 776: number; }; 1082: { 769: number; }; 1086: { 776: number; }; 1091: { 772: number; 774: number; 776: number; 779: number; }; 1095: { 776: number; }; 1099: { 776: number; }; 1101: { 776: number; }; 1110: { 776: number; }; 1140: { 783: number; }; 1141: { 783: number; }; 1240: { 776: number; }; 1241: { 776: number; }; 1256: { 776: number; }; 1257: { 776: number; }; 1488: { 1463: number; 1464: number; 1468: number; }; 1489: { 1468: number; 1471: number; }; 1490: { 1468: number; }; 1491: { 1468: number; }; 1492: { 1468: number; }; 1493: { 1465: number; 1468: number; }; 1494: { 1468: number; }; 1496: { 1468: number; }; 1497: { 1460: number; 1468: number; }; 1498: { 1468: number; }; 1499: { 1468: number; 1471: number; }; 1500: { 1468: number; }; 1502: { 1468: number; }; 1504: { 1468: number; }; 1505: { 1468: number; }; 1507: { 1468: number; }; 1508: { 1468: number; 1471: number; }; 1510: { 1468: number; }; 1511: { 1468: number; }; 1512: { 1468: number; }; 1513: { 1468: number; 1473: number; 1474: number; }; 1514: { 1468: number; }; 1522: { 1463: number; }; 1575: { 1619: number; 1620: number; 1621: number; }; 1608: { 1620: number; }; 1610: { 1620: number; }; 1729: { 1620: number; }; 1746: { 1620: number; }; 1749: { 1620: number; }; 2325: { 2364: number; }; 2326: { 2364: number; }; 2327: { 2364: number; }; 2332: { 2364: number; }; 2337: { 2364: number; }; 2338: { 2364: number; }; 2344: { 2364: number; }; 2347: { 2364: number; }; 2351: { 2364: number; }; 2352: { 2364: number; }; 2355: { 2364: number; }; 2465: { 2492: number; }; 2466: { 2492: number; }; 2479: { 2492: number; }; 2503: { 2494: number; 2519: number; }; 2582: { 2620: number; }; 2583: { 2620: number; }; 2588: { 2620: number; }; 2603: { 2620: number; }; 2610: { 2620: number; }; 2616: { 2620: number; }; 2849: { 2876: number; }; 2850: { 2876: number; }; 2887: { 2878: number; 2902: number; 2903: number; }; 2962: { 3031: number; }; 3014: { 3006: number; 3031: number; }; 3015: { 3006: number; }; 3142: { 3158: number; }; 3263: { 3285: number; }; 3270: { 3266: number; 3285: number; 3286: number; }; 3274: { 3285: number; }; 3398: { 3390: number; 3415: number; }; 3399: { 3390: number; }; 3545: { 3530: number; 3535: number; 3551: number; }; 3548: { 3530: number; }; 3904: { 4021: number; }; 3906: { 4023: number; }; 3916: { 4023: number; }; 3921: { 4023: number; }; 3926: { 4023: number; }; 3931: { 4023: number; }; 3953: { 3954: number; 3956: number; 3968: number; }; 3984: { 4021: number; }; 3986: { 4023: number; }; 3996: { 4023: number; }; 4001: { 4023: number; }; 4006: { 4023: number; }; 4011: { 4023: number; }; 4018: { 3968: number; }; 4019: { 3968: number; }; 4133: { 4142: number; }; 7734: { 772: number; }; 7735: { 772: number; }; 7770: { 772: number; }; 7771: { 772: number; }; 7778: { 775: number; }; 7779: { 775: number; }; 7840: { 770: number; 774: number; }; 7841: { 770: number; 774: number; }; 7864: { 770: number; }; 7865: { 770: number; }; 7884: { 770: number; }; 7885: { 770: number; }; 7936: { 768: number; 769: number; 834: number; 837: number; }; 7937: { 768: number; 769: number; 834: number; 837: number; }; 7938: { 837: number; }; 7939: { 837: number; }; 7940: { 837: number; }; 7941: { 837: number; }; 7942: { 837: number; }; 7943: { 837: number; }; 7944: { 768: number; 769: number; 834: number; 837: number; }; 7945: { 768: number; 769: number; 834: number; 837: number; }; 7946: { 837: number; }; 7947: { 837: number; }; 7948: { 837: number; }; 7949: { 837: number; }; 7950: { 837: number; }; 7951: { 837: number; }; 7952: { 768: number; 769: number; }; 7953: { 768: number; 769: number; }; 7960: { 768: number; 769: number; }; 7961: { 768: number; 769: number; }; 7968: { 768: number; 769: number; 834: number; 837: number; }; 7969: { 768: number; 769: number; 834: number; 837: number; }; 7970: { 837: number; }; 7971: { 837: number; }; 7972: { 837: number; }; 7973: { 837: number; }; 7974: { 837: number; }; 7975: { 837: number; }; 7976: { 768: number; 769: number; 834: number; 837: number; }; 7977: { 768: number; 769: number; 834: number; 837: number; }; 7978: { 837: number; }; 7979: { 837: number; }; 7980: { 837: number; }; 7981: { 837: number; }; 7982: { 837: number; }; 7983: { 837: number; }; 7984: { 768: number; 769: number; 834: number; }; 7985: { 768: number; 769: number; 834: number; }; 7992: { 768: number; 769: number; 834: number; }; 7993: { 768: number; 769: number; 834: number; }; 8000: { 768: number; 769: number; }; 8001: { 768: number; 769: number; }; 8008: { 768: number; 769: number; }; 8009: { 768: number; 769: number; }; 8016: { 768: number; 769: number; 834: number; }; 8017: { 768: number; 769: number; 834: number; }; 8025: { 768: number; 769: number; 834: number; }; 8032: { 768: number; 769: number; 834: number; 837: number; }; 8033: { 768: number; 769: number; 834: number; 837: number; }; 8034: { 837: number; }; 8035: { 837: number; }; 8036: { 837: number; }; 8037: { 837: number; }; 8038: { 837: number; }; 8039: { 837: number; }; 8040: { 768: number; 769: number; 834: number; 837: number; }; 8041: { 768: number; 769: number; 834: number; 837: number; }; 8042: { 837: number; }; 8043: { 837: number; }; 8044: { 837: number; }; 8045: { 837: number; }; 8046: { 837: number; }; 8047: { 837: number; }; 8048: { 837: number; }; 8052: { 837: number; }; 8060: { 837: number; }; 8118: { 837: number; }; 8127: { 768: number; 769: number; 834: number; }; 8134: { 837: number; }; 8182: { 837: number; }; 8190: { 768: number; 769: number; 834: number; }; 8592: { 824: number; }; 8594: { 824: number; }; 8596: { 824: number; }; 8656: { 824: number; }; 8658: { 824: number; }; 8660: { 824: number; }; 8707: { 824: number; }; 8712: { 824: number; }; 8715: { 824: number; }; 8739: { 824: number; }; 8741: { 824: number; }; 8764: { 824: number; }; 8771: { 824: number; }; 8773: { 824: number; }; 8776: { 824: number; }; 8781: { 824: number; }; 8801: { 824: number; }; 8804: { 824: number; }; 8805: { 824: number; }; 8818: { 824: number; }; 8819: { 824: number; }; 8822: { 824: number; }; 8823: { 824: number; }; 8826: { 824: number; }; 8827: { 824: number; }; 8828: { 824: number; }; 8829: { 824: number; }; 8834: { 824: number; }; 8835: { 824: number; }; 8838: { 824: number; }; 8839: { 824: number; }; 8849: { 824: number; }; 8850: { 824: number; }; 8866: { 824: number; }; 8872: { 824: number; }; 8873: { 824: number; }; 8875: { 824: number; }; 8882: { 824: number; }; 8883: { 824: number; }; 8884: { 824: number; }; 8885: { 824: number; }; 10973: { 824: number; }; 12358: { 12441: number; }; 12363: { 12441: number; }; 12365: { 12441: number; }; 12367: { 12441: number; }; 12369: { 12441: number; }; 12371: { 12441: number; }; 12373: { 12441: number; }; 12375: { 12441: number; }; 12377: { 12441: number; }; 12379: { 12441: number; }; 12381: { 12441: number; }; 12383: { 12441: number; }; 12385: { 12441: number; }; 12388: { 12441: number; }; 12390: { 12441: number; }; 12392: { 12441: number; }; 12399: { 12441: number; 12442: number; }; 12402: { 12441: number; 12442: number; }; 12405: { 12441: number; 12442: number; }; 12408: { 12441: number; 12442: number; }; 12411: { 12441: number; 12442: number; }; 12445: { 12441: number; }; 12454: { 12441: number; }; 12459: { 12441: number; }; 12461: { 12441: number; }; 12463: { 12441: number; }; 12465: { 12441: number; }; 12467: { 12441: number; }; 12469: { 12441: number; }; 12471: { 12441: number; }; 12473: { 12441: number; }; 12475: { 12441: number; }; 12477: { 12441: number; }; 12479: { 12441: number; }; 12481: { 12441: number; }; 12484: { 12441: number; }; 12486: { 12441: number; }; 12488: { 12441: number; }; 12495: { 12441: number; 12442: number; }; 12498: { 12441: number; 12442: number; }; 12501: { 12441: number; 12442: number; }; 12504: { 12441: number; 12442: number; }; 12507: { 12441: number; 12442: number; }; 12527: { 12441: number; }; 12528: { 12441: number; }; 12529: { 12441: number; }; 12530: { 12441: number; }; 12541: { 12441: number; }; 64329: { 1473: number; 1474: number; }; 119127: { 119141: number; }; 119128: { 119141: number; }; 119135: { 119150: number; 119151: number; 119152: number; 119153: number; 119154: number; }; 119225: { 119141: number; }; 119226: { 119141: number; }; 119227: { 119150: number; 119151: number; }; 119228: { 119150: number; 119151: number; }; };