; HQNDYLANCOLRINFO 1 0

(color-foregrounds color-not-all-methods-known '(
(12 4 13 74)
))

(color-foregrounds color-lambda-call '(
(16 4 16 76)
))

(color-foregrounds color-not-all-methods-known '(
(18 4 19 75)
))

(color-foregrounds color-lambda-call '(
(22 4 22 76)
))

(color-foregrounds color-not-all-methods-known '(
(24 4 25 75)
))

(color-foregrounds color-lambda-call '(
(28 2 28 55)
))

(color-foregrounds color-slot-accessor-fixed-offset '(
(28 26 28 54)
))

(color-foregrounds color-lambda-call '(
(32 2 33 71)
))

(color-foregrounds color-slot-accessor-fixed-offset '(
(32 28 32 64)
))

(color-foregrounds color-failed-to-select-where-all-known '(
(33 19 33 70)
))

(color-foregrounds color-slot-accessor-fixed-offset '(
(33 39 33 69)
))

(color-foregrounds color-lambda-call '(
(37 2 38 75)
))

(color-foregrounds color-slot-accessor-fixed-offset '(
(37 28 37 54)
))

(color-foregrounds color-failed-to-select-where-all-known '(
(38 19 38 74)
))

(color-foregrounds color-slot-accessor-fixed-offset '(
(38 39 38 73)
))

(color-foregrounds color-lambda-call '(
(42 2 49 12)
))

(color-foregrounds color-slot-accessor-fixed-offset '(
(42 10 42 39)
))

(color-foregrounds color-failed-to-select-where-all-known '(
(54 2 54 57)
))

(color-foregrounds color-slot-accessor-fixed-offset '(
(54 22 54 56)
))

(color-foregrounds color-not-all-methods-known '(
(81 41 81 61)
(98 13 101 31)
))

(color-foregrounds color-inlining '(
(100 35 100 57)
))

(color-foregrounds color-not-all-methods-known '(
(103 13 107 39)
(105 24 105 73)
(113 21 113 45)
))

(color-foregrounds color-failed-to-select-where-all-known '(
(114 9 114 66)
))

(color-foregrounds color-lambda-call '(
(115 20 115 86)
))

(color-foregrounds color-inlining '(
(115 59 115 85)
))

(color-foregrounds color-not-all-methods-known '(
(118 13 121 31)
))

(color-foregrounds color-inlining '(
(120 35 120 96)
))

(color-foregrounds color-not-all-methods-known '(
(122 9 126 35)
(124 20 124 69)
(132 13 135 31)
(133 31 133 94)
))

(color-foregrounds color-inlining '(
(134 35 134 108)
))

(color-foregrounds color-not-all-methods-known '(
(134 42 134 107)
(137 13 141 39)
(139 24 139 73)
(148 13 151 31)
(149 31 149 96)
))

(color-foregrounds color-inlining '(
(150 35 150 106)
))

(color-foregrounds color-not-all-methods-known '(
(150 42 150 105)
(153 13 157 39)
(155 24 155 73)
(163 21 163 45)
))

(color-foregrounds color-failed-to-select-where-all-known '(
(164 9 164 66)
))

(color-foregrounds color-lambda-call '(
(165 20 165 81)
))

(color-foregrounds color-inlining '(
(165 54 165 80)
))

(color-foregrounds color-not-all-methods-known '(
(168 13 171 31)
))

(color-foregrounds color-inlining '(
(170 35 170 48)
))

(color-foregrounds color-not-all-methods-known '(
(172 9 176 35)
(174 20 174 69)
(182 13 185 31)
))

(color-foregrounds color-inlining '(
(184 35 184 57)
))

(color-foregrounds color-not-all-methods-known '(
(187 13 191 39)
(189 24 189 73)
(198 13 201 31)
))

(color-foregrounds color-inlining '(
(200 35 200 59)
))

(color-foregrounds color-not-all-methods-known '(
(203 13 207 39)
(205 24 205 73)
(213 21 213 45)
))

(color-foregrounds color-lambda-call '(
(215 20 215 116)
))

(color-foregrounds color-inlining '(
(215 61 215 87)
))

(color-foregrounds color-failed-to-select-where-all-known '(
(215 89 215 115)
))

(color-foregrounds color-not-all-methods-known '(
(218 13 221 31)
))

(color-foregrounds color-inlining '(
(220 35 220 80)
))

(color-foregrounds color-not-all-methods-known '(
(222 9 226 35)
(224 20 224 69)
(231 21 231 45)
))

(color-foregrounds color-lambda-call '(
(233 20 233 117)
))

(color-foregrounds color-inlining '(
(233 62 233 88)
))

(color-foregrounds color-failed-to-select-where-all-known '(
(233 90 233 116)
))

(color-foregrounds color-not-all-methods-known '(
(236 13 239 31)
))

(color-foregrounds color-inlining '(
(238 35 238 80)
))

(color-foregrounds color-not-all-methods-known '(
(240 9 244 35)
(242 20 242 69)
(249 21 249 45)
))

(color-foregrounds color-lambda-call '(
(251 20 251 117)
))

(color-foregrounds color-inlining '(
(251 62 251 88)
))

(color-foregrounds color-failed-to-select-where-all-known '(
(251 90 251 116)
))

(color-foregrounds color-not-all-methods-known '(
(254 13 257 31)
))

(color-foregrounds color-inlining '(
(256 35 256 80)
))

(color-foregrounds color-not-all-methods-known '(
(258 9 262 35)
(260 20 260 69)
(267 21 267 45)
))

(color-foregrounds color-lambda-call '(
(269 20 269 117)
))

(color-foregrounds color-inlining '(
(269 62 269 88)
))

(color-foregrounds color-failed-to-select-where-all-known '(
(269 90 269 116)
))

(color-foregrounds color-not-all-methods-known '(
(272 13 275 31)
))

(color-foregrounds color-inlining '(
(274 35 274 80)
))

(color-foregrounds color-not-all-methods-known '(
(276 9 280 35)
(278 20 278 69)
(285 21 285 45)
))

(color-foregrounds color-lambda-call '(
(287 20 287 116)
))

(color-foregrounds color-inlining '(
(287 61 287 87)
))

(color-foregrounds color-failed-to-select-where-all-known '(
(287 89 287 115)
))

(color-foregrounds color-not-all-methods-known '(
(290 13 293 31)
))

(color-foregrounds color-inlining '(
(292 35 292 80)
))

(color-foregrounds color-not-all-methods-known '(
(294 9 298 35)
(296 20 296 69)
(303 21 303 45)
))

(color-foregrounds color-lambda-call '(
(305 20 305 116)
))

(color-foregrounds color-inlining '(
(305 61 305 87)
))

(color-foregrounds color-failed-to-select-where-all-known '(
(305 89 305 115)
))

(color-foregrounds color-not-all-methods-known '(
(308 13 311 31)
))

(color-foregrounds color-inlining '(
(310 35 310 80)
))

(color-foregrounds color-not-all-methods-known '(
(312 9 316 35)
(314 20 314 69)
(321 21 321 45)
))

(color-foregrounds color-lambda-call '(
(323 20 323 117)
))

(color-foregrounds color-inlining '(
(323 62 323 88)
))

(color-foregrounds color-failed-to-select-where-all-known '(
(323 90 323 116)
))

(color-foregrounds color-not-all-methods-known '(
(326 13 329 31)
))

(color-foregrounds color-inlining '(
(328 35 328 80)
))

(color-foregrounds color-not-all-methods-known '(
(330 9 334 35)
(332 20 332 69)
(339 21 339 45)
))

(color-foregrounds color-lambda-call '(
(341 20 341 116)
))

(color-foregrounds color-inlining '(
(341 61 341 87)
))

(color-foregrounds color-failed-to-select-where-all-known '(
(341 89 341 115)
))

(color-foregrounds color-not-all-methods-known '(
(344 13 347 31)
))

(color-foregrounds color-inlining '(
(346 35 346 80)
))

(color-foregrounds color-not-all-methods-known '(
(348 9 352 35)
(350 20 350 69)
(357 21 357 45)
))

(color-foregrounds color-lambda-call '(
(359 20 359 116)
))

(color-foregrounds color-inlining '(
(359 61 359 87)
))

(color-foregrounds color-failed-to-select-where-all-known '(
(359 89 359 115)
))

(color-foregrounds color-not-all-methods-known '(
(362 13 365 31)
))

(color-foregrounds color-inlining '(
(364 35 364 80)
))

(color-foregrounds color-not-all-methods-known '(
(366 9 370 35)
(368 20 368 69)
(375 21 375 45)
))

(color-foregrounds color-failed-to-select-where-all-known '(
(376 9 376 66)
))

(color-foregrounds color-lambda-call '(
(377 20 377 79)
))

(color-foregrounds color-inlining '(
(377 52 377 78)
))

(color-foregrounds color-not-all-methods-known '(
(380 13 383 31)
))

(color-foregrounds color-inlining '(
(382 35 382 48)
))

(color-foregrounds color-not-all-methods-known '(
(384 9 388 35)
(386 20 386 69)
(393 21 393 45)
))

(color-foregrounds color-failed-to-select-where-all-known '(
(394 9 394 66)
))

(color-foregrounds color-lambda-call '(
(395 20 395 80)
))

(color-foregrounds color-inlining '(
(395 53 395 79)
))

(color-foregrounds color-not-all-methods-known '(
(398 13 401 31)
))

(color-foregrounds color-inlining '(
(400 35 400 48)
))

(color-foregrounds color-not-all-methods-known '(
(402 9 406 35)
(404 20 404 69)
(411 21 411 45)
))

(color-foregrounds color-failed-to-select-where-all-known '(
(412 9 412 66)
))

(color-foregrounds color-lambda-call '(
(413 20 413 81)
))

(color-foregrounds color-inlining '(
(413 54 413 80)
))

(color-foregrounds color-not-all-methods-known '(
(416 13 419 31)
))

(color-foregrounds color-inlining '(
(418 35 418 48)
))

(color-foregrounds color-not-all-methods-known '(
(420 9 424 35)
(422 20 422 69)
(429 21 429 45)
))

(color-foregrounds color-failed-to-select-where-all-known '(
(430 9 430 66)
))

(color-foregrounds color-lambda-call '(
(431 20 431 80)
))

(color-foregrounds color-inlining '(
(431 53 431 79)
))

(color-foregrounds color-not-all-methods-known '(
(434 13 437 31)
))

(color-foregrounds color-inlining '(
(436 35 436 48)
))

(color-foregrounds color-not-all-methods-known '(
(438 9 442 35)
(440 20 440 69)
(448 13 451 31)
))

(color-foregrounds color-inlining '(
(450 35 450 83)
))

(color-foregrounds color-not-all-methods-known '(
(453 13 457 39)
(455 24 455 73)
(464 13 467 31)
))

(color-foregrounds color-inlining '(
(466 35 466 99)
))

(color-foregrounds color-not-all-methods-known '(
(469 13 473 39)
(471 24 471 73)
(480 13 483 31)
))

(color-foregrounds color-inlining '(
(482 35 482 43)
))

(color-foregrounds color-not-all-methods-known '(
(485 13 489 39)
(487 24 487 73)
(496 13 499 31)
))

(color-foregrounds color-inlining '(
(498 35 498 57)
))

(color-foregrounds color-not-all-methods-known '(
(501 13 505 39)
(503 24 503 73)
(512 13 515 31)
))

(color-foregrounds color-inlining '(
(514 35 514 43)
))

(color-foregrounds color-not-all-methods-known '(
(517 13 521 39)
(519 24 519 73)
(528 13 531 31)
))

(color-foregrounds color-inlining '(
(530 35 530 73)
))

(color-foregrounds color-not-all-methods-known '(
(533 13 537 39)
(535 24 535 73)
(544 13 547 31)
))

(color-foregrounds color-inlining '(
(546 35 546 73)
))

(color-foregrounds color-not-all-methods-known '(
(549 13 553 39)
(551 24 551 73)
(560 13 563 31)
))

(color-foregrounds color-inlining '(
(562 35 562 73)
))

(color-foregrounds color-not-all-methods-known '(
(565 13 569 39)
(567 24 567 73)
(576 13 579 31)
))

(color-foregrounds color-inlining '(
(578 35 578 73)
))

(color-foregrounds color-not-all-methods-known '(
(581 13 585 39)
(583 24 583 73)
(592 13 595 31)
))

(color-foregrounds color-inlining '(
(594 35 594 57)
))

(color-foregrounds color-not-all-methods-known '(
(597 13 601 39)
(599 24 599 73)
(608 13 611 31)
))

(color-foregrounds color-inlining '(
(610 35 610 57)
))

(color-foregrounds color-not-all-methods-known '(
(613 13 617 39)
(615 24 615 73)
(624 13 627 31)
))

(color-foregrounds color-inlining '(
(626 35 626 57)
))

(color-foregrounds color-not-all-methods-known '(
(629 13 633 39)
(631 24 631 73)
(640 13 643 31)
))

(color-foregrounds color-inlining '(
(642 35 642 57)
))

(color-foregrounds color-not-all-methods-known '(
(645 13 649 39)
(647 24 647 73)
(656 13 659 31)
))

(color-foregrounds color-inlining '(
(658 35 658 43)
))

(color-foregrounds color-not-all-methods-known '(
(661 13 665 39)
(663 24 663 73)
(672 13 675 31)
))

(color-foregrounds color-inlining '(
(674 35 674 57)
))

(color-foregrounds color-not-all-methods-known '(
(677 13 681 39)
(679 24 679 73)
(688 13 691 31)
))

(color-foregrounds color-inlining '(
(690 35 690 57)
))

(color-foregrounds color-not-all-methods-known '(
(693 13 697 39)
(695 24 695 73)
(704 13 707 31)
))

(color-foregrounds color-inlining '(
(706 35 706 43)
))

(color-foregrounds color-not-all-methods-known '(
(709 13 713 39)
(711 24 711 73)
(719 21 719 45)
))

(color-foregrounds color-failed-to-select-where-all-known '(
(720 9 720 66)
))

(color-foregrounds color-lambda-call '(
(721 20 721 79)
))

(color-foregrounds color-inlining '(
(721 52 721 78)
))

(color-foregrounds color-not-all-methods-known '(
(724 13 727 31)
))

(color-foregrounds color-inlining '(
(726 35 726 48)
))

(color-foregrounds color-not-all-methods-known '(
(728 9 732 35)
(730 20 730 69)
(737 21 737 45)
))

(color-foregrounds color-failed-to-select-where-all-known '(
(738 9 738 66)
))

(color-foregrounds color-lambda-call '(
(739 20 739 80)
))

(color-foregrounds color-inlining '(
(739 53 739 79)
))

(color-foregrounds color-not-all-methods-known '(
(742 13 745 31)
))

(color-foregrounds color-inlining '(
(744 35 744 48)
))

(color-foregrounds color-not-all-methods-known '(
(746 9 750 35)
(748 20 748 69)
(755 21 755 45)
))

(color-foregrounds color-failed-to-select-where-all-known '(
(756 9 756 66)
(757 9 757 66)
))

(color-foregrounds color-lambda-call '(
(758 20 758 82)
))

(color-foregrounds color-inlining '(
(758 55 758 81)
))

(color-foregrounds color-not-all-methods-known '(
(761 13 764 31)
))

(color-foregrounds color-inlining '(
(763 35 763 55)
))

(color-foregrounds color-not-all-methods-known '(
(765 9 769 35)
(767 20 767 69)
(775 13 778 31)
))

(color-foregrounds color-inlining '(
(777 35 777 43)
))

(color-foregrounds color-not-all-methods-known '(
(780 13 784 39)
(782 24 782 73)
(790 21 790 45)
))

(color-foregrounds color-failed-to-select-where-all-known '(
(791 9 791 66)
(792 9 792 66)
(793 9 793 66)
))

(color-foregrounds color-lambda-call '(
(794 20 794 79)
))

(color-foregrounds color-inlining '(
(794 52 794 78)
))

(color-foregrounds color-not-all-methods-known '(
(797 13 800 31)
))

(color-foregrounds color-inlining '(
(799 35 799 62)
))

(color-foregrounds color-not-all-methods-known '(
(801 9 805 35)
(803 20 803 69)
(811 13 814 31)
))

(color-foregrounds color-inlining '(
(813 35 813 57)
))

(color-foregrounds color-not-all-methods-known '(
(816 13 820 39)
(818 24 818 73)
(827 13 830 31)
))

(color-foregrounds color-inlining '(
(829 35 829 109)
))

(color-foregrounds color-not-all-methods-known '(
(829 58 829 108)
(832 13 836 39)
(834 24 834 73)
(843 13 846 31)
))

(color-foregrounds color-inlining '(
(845 35 845 109)
))

(color-foregrounds color-not-all-methods-known '(
(845 42 845 92)
(848 13 852 39)
(850 24 850 73)
(859 13 862 31)
))

(color-foregrounds color-inlining '(
(861 35 861 125)
))

(color-foregrounds color-not-all-methods-known '(
(861 74 861 124)
(864 13 868 39)
(866 24 866 73)
(867 34 867 233)
))

(color-foregrounds color-inlining '(
(867 150 867 232)
))

(color-foregrounds color-not-all-methods-known '(
(875 13 878 31)
))

(color-foregrounds color-inlining '(
(877 35 877 89)
))

(color-foregrounds color-not-all-methods-known '(
(880 13 884 39)
(882 24 882 73)
(883 34 883 228)
))

(color-foregrounds color-inlining '(
(883 150 883 227)
))

(color-foregrounds color-not-all-methods-known '(
(891 13 894 31)
))

(color-foregrounds color-inlining '(
(893 35 893 155)
))

(color-foregrounds color-not-all-methods-known '(
(893 42 893 122)
(893 77 893 121)
))

(color-foregrounds color-inlining '(
(893 112 893 120)
))

(color-foregrounds color-not-all-methods-known '(
(896 13 900 39)
(898 24 898 73)
(899 34 899 228)
))

(color-foregrounds color-inlining '(
(899 150 899 227)
))

(color-foregrounds color-not-all-methods-known '(
(907 13 910 31)
(908 31 908 111)
(908 66 908 110)
))

(color-foregrounds color-inlining '(
(908 101 908 109)
(909 35 909 73)
))

(color-foregrounds color-not-all-methods-known '(
(912 13 916 39)
(914 24 914 73)
(915 34 915 206)
))

(color-foregrounds color-inlining '(
(915 150 915 205)
))

(color-foregrounds color-not-all-methods-known '(
(923 13 926 31)
))

(color-foregrounds color-inlining '(
(925 35 925 73)
))

(color-foregrounds color-not-all-methods-known '(
(928 13 932 39)
(930 24 930 73)
(931 34 931 206)
))

(color-foregrounds color-inlining '(
(931 150 931 205)
))

(color-foregrounds color-not-all-methods-known '(
(939 13 942 31)
))

(color-foregrounds color-inlining '(
(941 35 941 73)
))

(color-foregrounds color-not-all-methods-known '(
(944 13 948 39)
(946 24 946 73)
(947 34 947 206)
))

(color-foregrounds color-inlining '(
(947 150 947 205)
))

(color-foregrounds color-not-all-methods-known '(
(954 21 954 45)
))

(color-foregrounds color-failed-to-select-where-all-known '(
(955 9 955 66)
))

(color-foregrounds color-lambda-call '(
(956 20 956 79)
))

(color-foregrounds color-inlining '(
(956 52 956 78)
))

(color-foregrounds color-not-all-methods-known '(
(959 13 962 31)
))

(color-foregrounds color-inlining '(
(961 35 961 48)
))

(color-foregrounds color-not-all-methods-known '(
(963 9 967 35)
(965 20 965 69)
(972 21 972 45)
))

(color-foregrounds color-failed-to-select-where-all-known '(
(973 9 973 66)
))

(color-foregrounds color-lambda-call '(
(974 20 974 81)
))

(color-foregrounds color-inlining '(
(974 54 974 80)
))

(color-foregrounds color-not-all-methods-known '(
(977 13 980 31)
))

(color-foregrounds color-inlining '(
(979 35 979 48)
))

(color-foregrounds color-not-all-methods-known '(
(981 9 985 35)
(983 20 983 69)
(990 21 990 45)
))

(color-foregrounds color-failed-to-select-where-all-known '(
(991 9 991 66)
))

(color-foregrounds color-lambda-call '(
(992 20 992 80)
))

(color-foregrounds color-inlining '(
(992 53 992 79)
))

(color-foregrounds color-not-all-methods-known '(
(995 13 998 31)
))

(color-foregrounds color-inlining '(
(997 35 997 48)
))

(color-foregrounds color-not-all-methods-known '(
(999 9 1003 35)
(1001 20 1001 69)
(1009 13 1012 31)
))

(color-foregrounds color-inlining '(
(1011 35 1011 73)
))

(color-foregrounds color-not-all-methods-known '(
(1014 13 1018 39)
(1016 24 1016 73)
))

(color-foregrounds color-lambda-call '(
(1027 20 1027 144)
))

(color-foregrounds color-failed-to-select-where-all-known '(
(1027 61 1027 87)
(1027 89 1027 115)
(1027 117 1027 143)
))

(color-foregrounds color-not-all-methods-known '(
(1030 13 1033 31)
))

(color-foregrounds color-inlining '(
(1032 35 1032 93)
))

(color-foregrounds color-not-all-methods-known '(
(1034 9 1038 35)
(1036 20 1036 69)
(1037 30 1037 273)
))

(color-foregrounds color-inlining '(
(1037 146 1037 272)
))

(color-foregrounds color-lambda-call '(
(1046 20 1046 145)
))

(color-foregrounds color-failed-to-select-where-all-known '(
(1046 62 1046 88)
(1046 90 1046 116)
(1046 118 1046 144)
))

(color-foregrounds color-not-all-methods-known '(
(1049 13 1052 31)
))

(color-foregrounds color-inlining '(
(1051 35 1051 93)
))

(color-foregrounds color-not-all-methods-known '(
(1053 9 1057 35)
(1055 20 1055 69)
(1056 30 1056 273)
))

(color-foregrounds color-inlining '(
(1056 146 1056 272)
))

(color-foregrounds color-lambda-call '(
(1064 20 1064 113)
))

(color-foregrounds color-failed-to-select-where-all-known '(
(1064 58 1064 84)
(1064 86 1064 112)
))

(color-foregrounds color-not-all-methods-known '(
(1067 13 1070 31)
))

(color-foregrounds color-inlining '(
(1069 35 1069 101)
))

(color-foregrounds color-not-all-methods-known '(
(1071 9 1075 35)
(1073 20 1073 69)
(1074 30 1074 268)
))

(color-foregrounds color-inlining '(
(1074 146 1074 267)
))

(color-foregrounds color-not-all-methods-known '(
(1080 21 1080 45)
))

(color-foregrounds color-lambda-call '(
(1081 20 1081 86)
))

(color-foregrounds color-inlining '(
(1081 59 1081 85)
))

(color-foregrounds color-not-all-methods-known '(
(1084 13 1087 31)
))

(color-foregrounds color-inlining '(
(1086 35 1086 72)
))

(color-foregrounds color-not-all-methods-known '(
(1088 9 1092 35)
(1090 20 1090 69)
(1098 13 1101 31)
))

(color-foregrounds color-inlining '(
(1100 35 1100 57)
))

(color-foregrounds color-not-all-methods-known '(
(1103 13 1107 39)
(1105 24 1105 73)
(1113 21 1113 45)
))

(color-foregrounds color-failed-to-select-where-all-known '(
(1114 9 1114 66)
(1115 9 1115 66)
))

(color-foregrounds color-lambda-call '(
(1116 20 1116 79)
))

(color-foregrounds color-inlining '(
(1116 52 1116 78)
))

(color-foregrounds color-not-all-methods-known '(
(1119 13 1122 31)
))

(color-foregrounds color-inlining '(
(1121 35 1121 55)
))

(color-foregrounds color-not-all-methods-known '(
(1123 9 1127 35)
(1125 20 1125 69)
(1132 21 1132 45)
))

(color-foregrounds color-failed-to-select-where-all-known '(
(1133 9 1133 66)
))

(color-foregrounds color-lambda-call '(
(1134 20 1134 80)
))

(color-foregrounds color-inlining '(
(1134 53 1134 79)
))

(color-foregrounds color-not-all-methods-known '(
(1137 13 1140 31)
))

(color-foregrounds color-inlining '(
(1139 35 1139 64)
))

(color-foregrounds color-not-all-methods-known '(
(1141 9 1145 35)
(1143 20 1143 69)
(1151 13 1154 31)
))

(color-foregrounds color-inlining '(
(1153 35 1153 105)
))

(color-foregrounds color-not-all-methods-known '(
(1156 13 1160 39)
(1158 24 1158 73)
(1159 34 1159 250)
))

(color-foregrounds color-inlining '(
(1159 150 1159 249)
))

(color-foregrounds color-not-all-methods-known '(
(1166 21 1166 45)
))

(color-foregrounds color-failed-to-select-where-all-known '(
(1167 9 1167 66)
))

(color-foregrounds color-lambda-call '(
(1168 20 1168 90)
))

(color-foregrounds color-inlining '(
(1168 63 1168 89)
))

(color-foregrounds color-not-all-methods-known '(
(1171 13 1174 31)
))

(color-foregrounds color-inlining '(
(1173 35 1173 96)
))

(color-foregrounds color-not-all-methods-known '(
(1175 9 1179 35)
(1177 20 1177 69)
(1185 13 1188 31)
))

(color-foregrounds color-inlining '(
(1187 35 1187 43)
))

(color-foregrounds color-not-all-methods-known '(
(1190 13 1194 39)
(1192 24 1192 73)
(1201 13 1204 31)
))

(color-foregrounds color-inlining '(
(1203 35 1203 57)
))

(color-foregrounds color-not-all-methods-known '(
(1206 13 1210 39)
(1208 24 1208 73)
(1216 21 1216 45)
))

(color-foregrounds color-failed-to-select-where-all-known '(
(1217 9 1217 66)
(1218 9 1218 66)
))

(color-foregrounds color-lambda-call '(
(1219 20 1219 94)
))

(color-foregrounds color-inlining '(
(1219 67 1219 93)
))

(color-foregrounds color-not-all-methods-known '(
(1222 13 1225 31)
(1223 31 1223 95)
))

(color-foregrounds color-inlining '(
(1223 66 1223 94)
(1224 35 1224 55)
))

(color-foregrounds color-not-all-methods-known '(
(1226 9 1230 35)
(1228 20 1228 69)
(1236 13 1239 31)
))

(color-foregrounds color-inlining '(
(1238 35 1238 57)
))

(color-foregrounds color-not-all-methods-known '(
(1241 13 1245 39)
(1243 24 1243 73)
(1252 13 1255 31)
))

(color-foregrounds color-inlining '(
(1254 35 1254 73)
))

(color-foregrounds color-not-all-methods-known '(
(1257 13 1261 39)
(1259 24 1259 73)
(1268 13 1271 31)
))

(color-foregrounds color-inlining '(
(1270 35 1270 73)
))

(color-foregrounds color-not-all-methods-known '(
(1273 13 1277 39)
(1275 24 1275 73)
(1283 21 1283 45)
))

(color-foregrounds color-failed-to-select-where-all-known '(
(1284 9 1284 66)
))

(color-foregrounds color-lambda-call '(
(1285 20 1285 79)
))

(color-foregrounds color-inlining '(
(1285 52 1285 78)
))

(color-foregrounds color-not-all-methods-known '(
(1288 13 1291 31)
))

(color-foregrounds color-inlining '(
(1290 35 1290 48)
))

(color-foregrounds color-not-all-methods-known '(
(1292 9 1296 35)
(1294 20 1294 69)
(1301 21 1301 45)
))

(color-foregrounds color-failed-to-select-where-all-known '(
(1302 9 1302 66)
(1303 9 1303 66)
))

(color-foregrounds color-lambda-call '(
(1304 20 1304 94)
))

(color-foregrounds color-inlining '(
(1304 67 1304 93)
))

(color-foregrounds color-not-all-methods-known '(
(1307 13 1310 31)
(1308 31 1308 95)
))

(color-foregrounds color-inlining '(
(1308 66 1308 94)
(1309 35 1309 55)
))

(color-foregrounds color-not-all-methods-known '(
(1311 9 1315 35)
(1313 20 1313 69)
(1320 21 1320 45)
))

(color-foregrounds color-failed-to-select-where-all-known '(
(1321 9 1321 66)
))

(color-foregrounds color-lambda-call '(
(1322 20 1322 80)
))

(color-foregrounds color-inlining '(
(1322 53 1322 79)
))

(color-foregrounds color-not-all-methods-known '(
(1325 13 1328 31)
))

(color-foregrounds color-inlining '(
(1327 35 1327 48)
))

(color-foregrounds color-not-all-methods-known '(
(1329 9 1333 35)
(1331 20 1331 69)
(1338 21 1338 45)
))

(color-foregrounds color-failed-to-select-where-all-known '(
(1339 9 1339 66)
(1340 9 1340 66)
))

(color-foregrounds color-lambda-call '(
(1341 20 1341 94)
))

(color-foregrounds color-inlining '(
(1341 67 1341 93)
))

(color-foregrounds color-not-all-methods-known '(
(1344 13 1347 31)
(1345 31 1345 95)
))

(color-foregrounds color-inlining '(
(1345 66 1345 94)
(1346 35 1346 55)
))

(color-foregrounds color-not-all-methods-known '(
(1348 9 1352 35)
(1350 20 1350 69)
(1358 13 1361 31)
))

(color-foregrounds color-inlining '(
(1360 35 1360 109)
))

(color-foregrounds color-not-all-methods-known '(
(1360 58 1360 108)
(1363 13 1367 39)
(1365 24 1365 73)
(1374 13 1377 31)
))

(color-foregrounds color-inlining '(
(1376 35 1376 57)
))

(color-foregrounds color-not-all-methods-known '(
(1379 13 1383 39)
(1381 24 1381 73)
(1390 13 1393 31)
))

(color-foregrounds color-inlining '(
(1392 35 1392 43)
))

(color-foregrounds color-not-all-methods-known '(
(1395 13 1399 39)
(1397 24 1397 73)
(1406 13 1409 31)
))

(color-foregrounds color-inlining '(
(1408 35 1408 43)
))

(color-foregrounds color-not-all-methods-known '(
(1411 13 1415 39)
(1413 24 1413 73)
(1421 21 1421 45)
))

(color-foregrounds color-failed-to-select-where-all-known '(
(1422 9 1422 66)
(1423 9 1423 66)
))

(color-foregrounds color-lambda-call '(
(1424 20 1424 94)
))

(color-foregrounds color-inlining '(
(1424 67 1424 93)
))

(color-foregrounds color-not-all-methods-known '(
(1427 13 1430 31)
(1428 31 1428 95)
))

(color-foregrounds color-inlining '(
(1428 66 1428 94)
(1429 35 1429 55)
))

(color-foregrounds color-not-all-methods-known '(
(1431 9 1435 35)
(1433 20 1433 69)
(1440 21 1440 45)
))

(color-foregrounds color-failed-to-select-where-all-known '(
(1441 9 1441 66)
(1442 9 1442 66)
))

(color-foregrounds color-lambda-call '(
(1443 20 1443 94)
))

(color-foregrounds color-inlining '(
(1443 67 1443 93)
))

(color-foregrounds color-not-all-methods-known '(
(1446 13 1449 31)
(1447 31 1447 95)
))

(color-foregrounds color-inlining '(
(1447 66 1447 94)
(1448 35 1448 55)
))

(color-foregrounds color-not-all-methods-known '(
(1450 9 1454 35)
(1452 20 1452 69)
(1459 21 1459 45)
))

(color-foregrounds color-failed-to-select-where-all-known '(
(1460 9 1460 66)
(1461 9 1461 66)
))

(color-foregrounds color-lambda-call '(
(1462 20 1462 94)
))

(color-foregrounds color-inlining '(
(1462 67 1462 93)
))

(color-foregrounds color-not-all-methods-known '(
(1465 13 1468 31)
(1466 31 1466 95)
))

(color-foregrounds color-inlining '(
(1466 66 1466 94)
(1467 35 1467 55)
))

(color-foregrounds color-not-all-methods-known '(
(1469 9 1473 35)
(1471 20 1471 69)
(1479 13 1482 31)
))

(color-foregrounds color-inlining '(
(1481 35 1481 73)
))

(color-foregrounds color-not-all-methods-known '(
(1484 13 1488 39)
(1486 24 1486 73)
(1495 13 1498 31)
))

(color-foregrounds color-inlining '(
(1497 35 1497 57)
))

(color-foregrounds color-not-all-methods-known '(
(1500 13 1504 39)
(1502 24 1502 73)
(1511 13 1514 31)
))

(color-foregrounds color-inlining '(
(1513 35 1513 105)
))

(color-foregrounds color-not-all-methods-known '(
(1516 13 1520 39)
(1518 24 1518 73)
(1527 13 1530 31)
))

(color-foregrounds color-inlining '(
(1529 35 1529 57)
))

(color-foregrounds color-not-all-methods-known '(
(1532 13 1536 39)
(1534 24 1534 73)
(1543 13 1546 31)
))

(color-foregrounds color-inlining '(
(1545 35 1545 56)
))

(color-foregrounds color-not-all-methods-known '(
(1548 13 1552 39)
(1550 24 1550 73)
))

(color-backgrounds color-program-notes '(
))
