timesIFont = {850, 1156, 1170, 285, 1161, 922, 923, 1169, 1163, 1164, 280, 277, 1153, 276, 1152, 272, 1142, 1143, 1144, 1145, 1146, 1147, 1148, 1149, 1150, 1151, 1154, 1155, 892, 889, 893, 1157, 924, 728, 729, 730, 731, 732, 733, 734, 735, 736, 737, 738, 739, 740, 741, 742, 743, 744, 745, 746, 747, 748, 749, 750, 751, 752, 753, 670, 325, 671, 898, 1600, 900, 805, 806, 807, 808, 809, 810, 811, 812, 813, 814, 815, 816, 817, 818, 819, 820, 821, 822, 823, 824, 825, 826, 827, 828, 829, 830, 672, 275, 673, 897, 1605} symbolFont = {850, 321, 318, 319, 320, 321, 322, 323, 324, 325, 326, 327, 328, 329, 330, 331, 332, 333, 334, 335, 336, 337, 338, 339, 340, 341, 342, 343, 344, 345, 346, 347, 348, 349, 350, 351, 352, 353, 354, 355, 356, 357, 358, 359, 360, 361, 362, 363, 364, 365, 366, 367, 368, 369, 371, 376, 372, 373, 374, 375, 325, 377, 378, 379, 380, 381, 382, 383, 384, 385, 386, 287, 296, 927, 928, 929, 291, 292, 293, 294, 295, 996, 997, 998, 999, 1000, 840, 841, 842, 843, 844, 845, 846, 847, 370, 897} timesIFont = {850, 1156, 1170, 285, 1161, 922, 923, 1169, 1163, 1164, 280, 277, 1153, 276, 1152, 272, 1142, 1143, 1144, 1145, 1146, 1147, 1148, 1149, 1150, 1151, 1154, 1155, 892, 889, 893, 1157, 924, 728, 729, 730, 731, 732, 733, 734, 735, 736, 737, 738, 739, 740, 741, 742, 743, 744, 745, 746, 747, 748, 749, 750, 751, 752, 753, 670, 325, 671, 898, 1600, 900, 805, 806, 807, 808, 809, 810, 811, 812, 813, 814, 815, 816, 817, 818, 819, 820, 821, 822, 823, 824, 825, 826, 827, 828, 829, 830, 672, 275, 673, 897, 1605} symbolFont = {850, 321, 318, 319, 320, 321, 322, 323, 324, 325, 326, 327, 328, 329, 330, 331, 332, 333, 334, 335, 336, 337, 338, 339, 340, 341, 342, 343, 344, 345, 346, 347, 348, 349, 350, 351, 352, 353, 354, 355, 356, 357, 358, 359, 360, 361, 362, 363, 364, 365, 366, 367, 368, 369, 371, 376, 372, 373, 374, 375, 325, 377, 378, 379, 380, 381, 382, 383, 384, 385, 386, 287, 296, 927, 928, 929, 291, 292, 293, 294, 295, 996, 997, 998, 999, 1000, 840, 841, 842, 843, 844, 845, 846, 847, 370, 897}