{"size": 63400, "ext": "rktd", "max_stars_repo_path": "gm-pepm-2018/with-cache/validate-futen.rktd", "max_stars_repo_name": "nuprl/retic_performance", "max_stars_repo_stars_event_min_datetime": "2018-08-03T02:41:29.000Z", "max_stars_repo_stars_event_max_datetime": "2021-03-19T03:18:47.000Z", "max_issues_repo_path": "gm-pepm-2018/with-cache/validate-futen.rktd", "max_issues_repo_name": "nuprl/retic_performance", "max_issues_repo_issues_event_min_datetime": "2018-02-04T17:53:56.000Z", "max_issues_repo_issues_event_max_datetime": "2018-11-10T17:06:57.000Z", "max_forks_repo_path": "gm-pepm-2018/with-cache/validate-futen.rktd", "max_forks_repo_name": "nuprl/retic_performance", "max_forks_repo_forks_event_min_datetime": "2018-08-04T00:14:12.000Z", "max_forks_repo_forks_event_max_datetime": "2018-08-04T00:14:12.000Z"}
{"max_stars_count": 3, "max_issues_count": 3, "max_forks_count": 1, "avg_line_length": 21133.3333333333, "max_line_length": 63330, "alphanum_fraction": 0.6990063091}
;; This file was generated by the `with-cache` library on 2017-08-02
(((600 100 6 30)) (3) 1 (((lib "pict/private/pict.rkt") . pict-deserialize-info)) 19 ((q 255 255 255 1.0) (q 12 #f default normal normal #f default #f aligned) (q (0 0 0 1.0) 1 solid round round #f) (q (255 255 255 1.0) solid #f #f #f) (q 8 "bold" roman normal normal #f default #f aligned) (q (0 0 0 1.0) 1/2 solid round round #f) (q 255 255 255 1.0) "1" (q 0 0 0 1.0) "2" "10x" "0" "50" "100%" (q (0 2 123 1.0) 0.5 solid round round #f) (q (0 0 0 1.0) 1 transparent round round #f) (q (210 105 30 1.0) 0.5 solid round round #f) (q 0 0 0 1.0) (q 8 "Liberation Serif" default normal bold #f default #t unaligned)) () (0 (q (do-set-pen! ((0 0 0 1.0) 1 solid round round #f)) (do-set-brush! ((255 255 255 1.0) solid #f #f #f)) (set-font (12 #f default normal normal #f default #f aligned)) (set-smoothing unsmoothed) (set-text-mode transparent) (set-alpha 1.0) (set-clipping-region #f) (set-background (255 255 255 1.0)) (set-text-background (255 255 255 1.0)) (set-text-foreground (0 0 0 1.0)) (set-font (8 "Liberation Serif" default normal bold #f default #t unaligned)) (draw-text "futen" 0.0 0.0 #t 0 0) (set-font (12 #f default normal normal #f default #f aligned)) (set-origin 0.0 10.0) (set-smoothing smoothed) (set-text-mode transparent) (set-clipping-region (#t (((((0.0 . 10.0) (190.0 . 10.0) (190.0 . 110.0) (0.0 . 110.0)))) . any))) (set-font (8 "bold" roman normal normal #f default #f aligned)) (set-text-foreground (0 0 0 1.0)) (do-set-pen! ((0 0 0 1.0) 1 solid round round #f)) (do-set-brush! ((255 255 255 1.0) solid #f #f #f)) (set-background (255 255 255 1.0)) (set-alpha 1) (set-origin 0.0 10.0) (set-smoothing smoothed) (set-text-mode transparent) (set-clipping-region (#t (((((0.0 . 10.0) (190.0 . 10.0) (190.0 . 110.0) (0.0 . 110.0)))) . any))) (set-font (8 "bold" roman normal normal #f default #f aligned)) (set-text-foreground (0 0 0 1.0)) (do-set-pen! ((0 0 0 1.0) 1 solid round round #f)) (do-set-brush! ((255 255 255 1.0) solid #f #f #f)) (set-background (255 255 255 1.0)) (set-alpha 1) (set-alpha 1) (clear) (set-alpha 1) (do-set-pen! ((0 0 0 1.0) 1/2 solid round round #f)) (draw-line 24.0 87.0 182.0 87.0) (draw-line 24.0 4.0 182.0 4.0) (draw-line 24.0 4.0 24.0 87.0) (draw-line 182.0 4.0 182.0 87.0) (do-set-pen! ((0 0 0 1.0) 1 solid round round #f)) (draw-line 24.0 85.0 24.0 89.0) (do-set-pen! ((0 0 0 1.0) 1/2 solid round round #f)) (draw-line 36.510636875524725 86.0 36.510636875524725 88.0) (do-set-pen! ((0 0 0 1.0) 1/2 solid round round #f)) (draw-line 47.088229637161604 86.0 47.088229637161604 88.0) (do-set-pen! ((0 0 0 1.0) 1/2 solid round round #f)) (draw-line 56.250957259636124 86.0 56.250957259636124 88.0) (do-set-pen! ((0 0 0 1.0) 1/2 solid round round #f)) (draw-line 64.33305580632236 86.0 64.33305580632236 88.0) (do-set-pen! ((0 0 0 1.0) 1 solid round round #f)) (draw-line 71.56273931490902 85.0 71.56273931490902 89.0) (do-set-pen! ((0 0 0 1.0) 1/2 solid round round #f)) (draw-line 119.12547862981805 86.0 119.12547862981805 88.0) (do-set-pen! ((0 0 0 1.0) 1/2 solid round round #f)) (draw-line 146.94789756061567 86.0 146.94789756061567 88.0) (do-set-pen! ((0 0 0 1.0) 1/2 solid round round #f)) (draw-line 166.68821794472706 86.0 166.68821794472706 88.0) (do-set-pen! ((0 0 0 1.0) 1 solid round round #f)) (draw-line 182.0 85.0 182.0 89.0) (do-set-pen! ((0 0 0 1.0) 1 solid round round #f)) (draw-line 22.0 87.0 26.0 87.0) (do-set-pen! ((0 0 0 1.0) 1 solid round round #f)) (draw-line 22.0 45.5 26.0 45.5) (do-set-pen! ((0 0 0 1.0) 1 solid round round #f)) (draw-line 22.0 4.0 26.0 4.0) (set-text-foreground (255 255 255 1.0)) (draw-text "1" 21.0 90.0 #t 0 0) (draw-text "1" 21.0 91.0 #t 0 0) (draw-text "1" 21.0 92.0 #t 0 0) (draw-text "1" 22.0 90.0 #t 0 0) (draw-text "1" 22.0 92.0 #t 0 0) (draw-text "1" 23.0 90.0 #t 0 0) (draw-text "1" 23.0 91.0 #t 0 0) (draw-text "1" 23.0 92.0 #t 0 0) (set-text-foreground (0 0 0 1.0)) (draw-text "1" 22.0 91.0 #t 0 0) (set-text-foreground (255 255 255 1.0)) (draw-text "2" 68.56273931490902 90.0 #t 0 0) (draw-text "2" 68.56273931490902 91.0 #t 0 0) (draw-text "2" 68.56273931490902 92.0 #t 0 0) (draw-text "2" 69.56273931490902 90.0 #t 0 0) (draw-text "2" 69.56273931490902 92.0 #t 0 0) (draw-text "2" 70.56273931490902 90.0 #t 0 0) (draw-text "2" 70.56273931490902 91.0 #t 0 0) (draw-text "2" 70.56273931490902 92.0 #t 0 0) (set-text-foreground (0 0 0 1.0)) (draw-text "2" 69.56273931490902 91.0 #t 0 0) (set-text-foreground (255 255 255 1.0)) (draw-text "10x" 174.5 90.0 #t 0 0) (draw-text "10x" 174.5 91.0 #t 0 0) (draw-text "10x" 174.5 92.0 #t 0 0) (draw-text "10x" 175.5 90.0 #t 0 0) (draw-text "10x" 175.5 92.0 #t 0 0) (draw-text "10x" 176.5 90.0 #t 0 0) (draw-text "10x" 176.5 91.0 #t 0 0) (draw-text "10x" 176.5 92.0 #t 0 0) (set-text-foreground (0 0 0 1.0)) (draw-text "10x" 175.5 91.0 #t 0 0) (set-text-foreground (255 255 255 1.0)) (draw-text "0" 15.0 82.0 #t 0 0) (draw-text "0" 15.0 83.0 #t 0 0) (draw-text "0" 15.0 84.0 #t 0 0) (draw-text "0" 16.0 82.0 #t 0 0) (draw-text "0" 16.0 84.0 #t 0 0) (draw-text "0" 17.0 82.0 #t 0 0) (draw-text "0" 17.0 83.0 #t 0 0) (draw-text "0" 17.0 84.0 #t 0 0) (set-text-foreground (0 0 0 1.0)) (draw-text "0" 16.0 83.0 #t 0 0) (set-text-foreground (255 255 255 1.0)) (draw-text "50" 10.0 40.5 #t 0 0) (draw-text "50" 10.0 41.5 #t 0 0) (draw-text "50" 10.0 42.5 #t 0 0) (draw-text "50" 11.0 40.5 #t 0 0) (draw-text "50" 11.0 42.5 #t 0 0) (draw-text "50" 12.0 40.5 #t 0 0) (draw-text "50" 12.0 41.5 #t 0 0) (draw-text "50" 12.0 42.5 #t 0 0) (set-text-foreground (0 0 0 1.0)) (draw-text "50" 11.0 41.5 #t 0 0) (set-text-foreground (255 255 255 1.0)) (draw-text "100%" -1.0 -1.0 #t 0 0) (draw-text "100%" -1.0 0.0 #t 0 0) (draw-text "100%" -1.0 1.0 #t 0 0) (draw-text "100%" 0.0 -1.0 #t 0 0) (draw-text "100%" 0.0 1.0 #t 0 0) (draw-text "100%" 1.0 -1.0 #t 0 0) (draw-text "100%" 1.0 0.0 #t 0 0) (draw-text "100%" 1.0 1.0 #t 0 0) (set-text-foreground (0 0 0 1.0)) (draw-text "100%" 0.0 0.0 #t 0 0) (set-clipping-region (#t (((((23.5 . 13.5) (183.0 . 13.5) (183.0 . 98.0) (23.5 . 98.0)))) . any))) (set-alpha 1) (do-set-pen! ((0 0 0 1.0) 1 solid round round #f)) (do-set-brush! ((255 255 255 1.0) solid #f #f #f)) (set-background (255 255 255 1.0)) (set-font (8 "bold" roman normal normal #f default #f aligned)) (set-text-foreground (0 0 0 1.0)) (set-alpha 1) (do-set-pen! ((0 0 0 1.0) 1 transparent round round #f)) (do-set-brush! ((227 232 255 1.0) solid #f #f #f)) (set-smoothing unsmoothed) (draw-polygon ((24.793969849246224 . 87.0) (25.587939698492466 . 87.0) (26.381909547738687 . 87.0) (27.175879396984932 . 87.0) (27.969849246231156 . 87.0) (28.76381909547739 . 87.0) (29.557788944723626 . 87.0) (30.351758793969847 . 87.0) (31.14572864321608 . 87.0) (31.93969849246232 . 87.0) (32.73366834170854 . 87.0) (33.527638190954775 . 87.0) (34.321608040201006 . 87.0) (35.11557788944724 . 87.0) (35.90954773869347 . 87.0) (36.70351758793969 . 87.0) (37.49748743718593 . 87.0) (38.291457286432156 . 87.0) (39.085427135678394 . 87.0) (39.87939698492463 . 87.0) (40.673366834170864 . 87.0) (41.46733668341709 . 87.0) (42.26130653266331 . 87.0) (43.05527638190955 . 87.0) (43.84924623115579 . 87.0) (44.64321608040201 . 87.0) (45.43718592964824 . 87.0) (46.23115577889447 . 87.0) (47.02512562814071 . 87.0) (47.81909547738693 . 87.0) (48.61306532663316 . 87.0) (49.4070351758794 . 87.0) (50.20100502512563 . 87.0) (50.99497487437186 . 87.0) (51.78894472361809 . 87.0) (52.582914572864325 . 87.0) (53.376884422110564 . 87.0) (54.170854271356774 . 87.0) (54.96482412060301 . 87.0) (55.75879396984925 . 87.0) (56.552763819095475 . 87.0) (57.346733668341706 . 87.0) (58.140703517587944 . 87.0) (58.934673366834176 . 87.0) (59.7286432160804 . 87.0) (60.52261306532663 . 87.0) (61.31658291457286 . 87.0) (62.1105527638191 . 87.0) (62.90452261306533 . 87.0) (63.698492462311556 . 87.0) (64.49246231155779 . 87.0) (65.28643216080403 . 87.0) (66.08040201005025 . 87.0) (66.87437185929647 . 87.0) (67.66834170854271 . 87.0) (68.46231155778895 . 87.0) (69.25628140703517 . 87.0) (70.0502512562814 . 87.0) (70.84422110552764 . 87.0) (71.63819095477386 . 87.0) (72.4321608040201 . 87.0) (73.22613065326632 . 87.0) (74.02010050251255 . 87.0) (74.8140703517588 . 87.0) (75.60804020100502 . 87.0) (76.40201005025126 . 87.0) (77.19597989949747 . 87.0) (77.98994974874373 . 87.0) (78.78391959798995 . 87.0) (79.57788944723617 . 87.0) (80.37185929648241 . 87.0) (81.16582914572865 . 87.0) (81.95979899497488 . 87.0) (82.7537688442211 . 87.0) (83.54773869346734 . 87.0) (84.34170854271355 . 87.0) (85.1356783919598 . 87.0) (85.92964824120602 . 87.0) (86.72361809045225 . 87.0) (87.51758793969849 . 87.0) (88.31155778894473 . 87.0) (89.10552763819095 . 87.0) (89.89949748743717 . 87.0) (90.69346733668341 . 87.0) (91.48743718592964 . 87.0) (92.28140703517589 . 87.0) (93.0753768844221 . 87.0) (93.86934673366835 . 87.0) (94.66331658291458 . 87.0) (95.4572864321608 . 87.0) (96.25125628140704 . 87.0) (97.04522613065326 . 87.0) (97.83919597989949 . 87.0) (98.63316582914572 . 87.0) (99.42713567839196 . 87.0) (100.2211055276382 . 87.0) (101.01507537688443 . 87.0) (101.80904522613066 . 87.0) (102.60301507537689 . 87.0) (103.39698492462311 . 87.0) (104.19095477386934 . 87.0) (104.98492462311557 . 87.0) (105.77889447236181 . 87.0) (106.57286432160805 . 87.0) (107.36683417085426 . 87.0) (108.1608040201005 . 87.0) (108.95477386934674 . 87.0) (109.74874371859296 . 87.0) (110.5427135678392 . 87.0) (111.33668341708542 . 87.0) (112.13065326633165 . 87.0) (112.92462311557789 . 87.0) (113.71859296482413 . 87.0) (114.51256281407036 . 87.0) (115.30653266331657 . 87.0) (116.10050251256281 . 87.0) (116.89447236180905 . 87.0) (117.68844221105527 . 87.0) (118.48241206030151 . 87.0) (119.27638190954775 . 87.0) (120.07035175879396 . 87.0) (120.8643216080402 . 87.0) (121.65829145728644 . 87.0) (122.45226130653266 . 87.0) (123.24623115577889 . 87.0) (124.04020100502512 . 87.0) (124.83417085427135 . 87.0) (125.62814070351759 . 87.0) (126.42211055276383 . 87.0) (127.21608040201006 . 87.0) (128.01005025125627 . 87.0) (128.8040201005025 . 87.0) (129.59798994974875 . 87.0) (130.39195979899498 . 87.0) (131.1859296482412 . 87.0) (131.97989949748745 . 87.0) (132.77386934673365 . 87.0) (133.5678391959799 . 87.0) (134.36180904522615 . 87.0) (135.15577889447235 . 87.0) (135.9497487437186 . 87.0) (136.74371859296483 . 87.0) (137.53768844221105 . 87.0) (138.3316582914573 . 87.0) (139.1256281407035 . 87.0) (139.91959798994975 . 87.0) (140.71356783919597 . 87.0) (141.5075376884422 . 87.0) (142.30150753768845 . 87.0) (143.09547738693468 . 87.0) (143.8894472361809 . 87.0) (144.68341708542715 . 87.0) (145.47738693467335 . 87.0) (146.2713567839196 . 87.0) (147.06532663316582 . 87.0) (147.85929648241205 . 87.0) (148.6532663316583 . 87.0) (149.44723618090455 . 87.0) (150.24120603015075 . 87.0) (151.03517587939697 . 87.0) (151.82914572864323 . 87.0) (152.62311557788948 . 87.0) (153.4170854271357 . 87.0) (154.2110552763819 . 87.0) (155.00502512562812 . 87.0) (155.79899497487438 . 87.0) (156.59296482412063 . 87.0) (157.38693467336682 . 87.0) (158.18090452261305 . 87.0) (158.9748743718593 . 87.0) (159.76884422110555 . 87.0) (160.56281407035178 . 87.0) (161.356783919598 . 87.0) (162.1507537688442 . 87.0) (162.94472361809048 . 87.0) (163.7386934673367 . 87.0) (164.5326633165829 . 87.0) (165.32663316582915 . 87.0) (166.12060301507537 . 87.0) (166.9145728643216 . 87.0) (167.70854271356785 . 87.0) (168.50251256281408 . 87.0) (169.29648241206033 . 87.0) (170.09045226130652 . 87.0) (170.88442211055278 . 87.0) (171.67839195979897 . 87.0) (172.47236180904522 . 87.0) (173.26633165829145 . 87.0) (174.06030150753767 . 87.0) (174.85427135678393 . 87.0) (175.64824120603015 . 87.0) (176.4422110552764 . 87.0) (177.2361809045226 . 87.0) (178.03015075376885 . 87.0) (178.82412060301507 . 87.0) (179.61809045226133 . 87.0) (180.41206030150752 . 87.0) (181.20603015075378 . 87.0) (182.0 . 87.0) (182.0 . 4.0) (181.20603015075378 . 4.0) (180.41206030150752 . 4.0) (179.61809045226133 . 4.0) (178.82412060301507 . 4.0) (178.03015075376885 . 4.0) (177.2361809045226 . 4.0) (176.4422110552764 . 4.0) (175.64824120603015 . 4.0) (174.85427135678393 . 4.0) (174.06030150753767 . 4.0) (173.26633165829145 . 4.0) (172.47236180904522 . 4.0) (171.67839195979897 . 4.0) (170.88442211055278 . 4.0) (170.09045226130652 . 4.0) (169.29648241206033 . 4.0) (168.50251256281408 . 4.0) (167.70854271356785 . 4.0) (166.9145728643216 . 4.0) (166.12060301507537 . 4.0) (165.32663316582915 . 4.0) (164.5326633165829 . 4.0) (163.7386934673367 . 4.0) (162.94472361809048 . 4.0) (162.1507537688442 . 4.0) (161.356783919598 . 4.0) (160.56281407035178 . 4.0) (159.76884422110555 . 4.0) (158.9748743718593 . 4.0) (158.18090452261305 . 4.0) (157.38693467336682 . 4.0) (156.59296482412063 . 4.0) (155.79899497487438 . 4.0) (155.00502512562812 . 4.0) (154.2110552763819 . 4.0) (153.4170854271357 . 4.0) (152.62311557788948 . 4.0) (151.82914572864323 . 4.0) (151.03517587939697 . 4.0) (150.24120603015075 . 4.0) (149.44723618090455 . 4.0) (148.6532663316583 . 4.0) (147.85929648241205 . 4.0) (147.06532663316582 . 4.0) (146.2713567839196 . 4.0) (145.47738693467335 . 4.0) (144.68341708542715 . 4.0) (143.8894472361809 . 4.0) (143.09547738693468 . 4.0) (142.30150753768845 . 4.0) (141.5075376884422 . 4.0) (140.71356783919597 . 4.0) (139.91959798994975 . 4.0) (139.1256281407035 . 4.0) (138.3316582914573 . 4.0) (137.53768844221105 . 4.0) (136.74371859296483 . 4.0) (135.9497487437186 . 4.0) (135.15577889447235 . 4.0) (134.36180904522615 . 4.0) (133.5678391959799 . 4.0) (132.77386934673365 . 4.0) (131.97989949748745 . 4.0) (131.1859296482412 . 4.0) (130.39195979899498 . 4.0) (129.59798994974875 . 4.0) (128.8040201005025 . 4.0) (128.01005025125627 . 4.0) (127.21608040201006 . 4.0) (126.42211055276383 . 4.0) (125.62814070351759 . 4.0) (124.83417085427135 . 4.0) (124.04020100502512 . 4.0) (123.24623115577889 . 4.0) (122.45226130653266 . 4.0) (121.65829145728644 . 4.0) (120.8643216080402 . 4.0) (120.07035175879396 . 4.0) (119.27638190954775 . 4.0) (118.48241206030151 . 4.0) (117.68844221105527 . 4.0) (116.89447236180905 . 4.0) (116.10050251256281 . 4.0) (115.30653266331657 . 4.0) (114.51256281407036 . 4.0) (113.71859296482413 . 4.0) (112.92462311557789 . 4.0) (112.13065326633165 . 4.0) (111.33668341708542 . 4.0) (110.5427135678392 . 4.0) (109.74874371859296 . 4.0) (108.95477386934674 . 4.0) (108.1608040201005 . 4.0) (107.36683417085426 . 4.0) (106.57286432160805 . 4.0) (105.77889447236181 . 4.0) (104.98492462311557 . 4.0) (104.19095477386934 . 4.0) (103.39698492462311 . 4.0) (102.60301507537689 . 4.0) (101.80904522613066 . 4.0) (101.01507537688443 . 4.0) (100.2211055276382 . 4.0) (99.42713567839196 . 4.0) (98.63316582914572 . 4.0) (97.83919597989949 . 4.0) (97.04522613065326 . 4.0) (96.25125628140704 . 4.0) (95.4572864321608 . 4.0) (94.66331658291458 . 4.0) (93.86934673366835 . 4.0) (93.0753768844221 . 4.0) (92.28140703517589 . 4.0) (91.48743718592964 . 4.0) (90.69346733668341 . 4.0) (89.89949748743717 . 4.0) (89.10552763819095 . 4.0) (88.31155778894473 . 4.0) (87.51758793969849 . 4.0) (86.72361809045225 . 4.0) (85.92964824120602 . 4.0) (85.1356783919598 . 4.0) (84.34170854271355 . 4.0) (83.54773869346734 . 4.0) (82.7537688442211 . 4.0) (81.95979899497488 . 4.0) (81.16582914572865 . 4.0) (80.37185929648241 . 4.0) (79.57788944723617 . 4.0) (78.78391959798995 . 4.0) (77.98994974874373 . 4.0) (77.19597989949747 . 4.0) (76.40201005025126 . 4.0) (75.60804020100502 . 4.0) (74.8140703517588 . 4.0) (74.02010050251255 . 4.0) (73.22613065326632 . 4.0) (72.4321608040201 . 4.0) (71.63819095477386 . 4.0) (70.84422110552764 . 4.0) (70.0502512562814 . 4.0) (69.25628140703517 . 4.0) (68.46231155778895 . 4.0) (67.66834170854271 . 4.0) (66.87437185929647 . 4.0) (66.08040201005025 . 4.0) (65.28643216080403 . 4.0) (64.49246231155779 . 4.0) (63.698492462311556 . 4.0) (62.90452261306533 . 4.0) (62.1105527638191 . 4.020263671875) (61.31658291457286 . 4.68389892578125) (60.52261306532663 . 7.234588623046875) (59.7286432160804 . 12.229583740234375) (58.934673366834176 . 23.197296142578125) (58.140703517587944 . 43.939697265625) (57.346733668341706 . 67.34677124023438) (56.552763819095475 . 80.53335571289062) (55.75879396984925 . 85.33837890625) (54.96482412060301 . 86.73910522460938) (54.170854271356774 . 87.0) (53.376884422110564 . 87.0) (52.582914572864325 . 87.0) (51.78894472361809 . 87.0) (50.99497487437186 . 87.0) (50.20100502512563 . 87.0) (49.4070351758794 . 87.0) (48.61306532663316 . 87.0) (47.81909547738693 . 87.0) (47.02512562814071 . 87.0) (46.23115577889447 . 87.0) (45.43718592964824 . 87.0) (44.64321608040201 . 87.0) (43.84924623115579 . 87.0) (43.05527638190955 . 87.0) (42.26130653266331 . 87.0) (41.46733668341709 . 87.0) (40.673366834170864 . 87.0) (39.87939698492463 . 87.0) (39.085427135678394 . 87.0) (38.291457286432156 . 87.0) (37.49748743718593 . 87.0) (36.70351758793969 . 87.0) (35.90954773869347 . 87.0) (35.11557788944724 . 87.0) (34.321608040201006 . 87.0) (33.527638190954775 . 87.0) (32.73366834170854 . 87.0) (31.93969849246232 . 87.0) (31.14572864321608 . 87.0) (30.351758793969847 . 87.0) (29.557788944723626 . 87.0) (28.76381909547739 . 87.0) (27.969849246231156 . 87.0) (27.175879396984932 . 87.0) (26.381909547738687 . 87.0) (25.587939698492466 . 87.0) (24.793969849246224 . 87.0) (24.0 . 87.0)) 0 0 winding) (set-smoothing smoothed) (do-set-pen! ((0 2 123 1.0) 0.5 solid round round #f)) (draw-lines ((182.0 . 87.0) (181.20603015075378 . 87.0) (180.41206030150752 . 87.0) (179.61809045226133 . 87.0) (178.82412060301507 . 87.0) (178.03015075376885 . 87.0) (177.2361809045226 . 87.0) (176.4422110552764 . 87.0) (175.64824120603015 . 87.0) (174.85427135678393 . 87.0) (174.06030150753767 . 87.0) (173.26633165829145 . 87.0) (172.47236180904522 . 87.0) (171.67839195979897 . 87.0) (170.88442211055278 . 87.0) (170.09045226130652 . 87.0) (169.29648241206033 . 87.0) (168.50251256281408 . 87.0) (167.70854271356785 . 87.0) (166.9145728643216 . 87.0) (166.12060301507537 . 87.0) (165.32663316582915 . 87.0) (164.5326633165829 . 87.0) (163.7386934673367 . 87.0) (162.94472361809048 . 87.0) (162.1507537688442 . 87.0) (161.356783919598 . 87.0) (160.56281407035178 . 87.0) (159.76884422110555 . 87.0) (158.9748743718593 . 87.0) (158.18090452261305 . 87.0) (157.38693467336682 . 87.0) (156.59296482412063 . 87.0) (155.79899497487438 . 87.0) (155.00502512562812 . 87.0) (154.2110552763819 . 87.0) (153.4170854271357 . 87.0) (152.62311557788948 . 87.0) (151.82914572864323 . 87.0) (151.03517587939697 . 87.0) (150.24120603015075 . 87.0) (149.44723618090455 . 87.0) (148.6532663316583 . 87.0) (147.85929648241205 . 87.0) (147.06532663316582 . 87.0) (146.2713567839196 . 87.0) (145.47738693467335 . 87.0) (144.68341708542715 . 87.0) (143.8894472361809 . 87.0) (143.09547738693468 . 87.0) (142.30150753768845 . 87.0) (141.5075376884422 . 87.0) (140.71356783919597 . 87.0) (139.91959798994975 . 87.0) (139.1256281407035 . 87.0) (138.3316582914573 . 87.0) (137.53768844221105 . 87.0) (136.74371859296483 . 87.0) (135.9497487437186 . 87.0) (135.15577889447235 . 87.0) (134.36180904522615 . 87.0) (133.5678391959799 . 87.0) (132.77386934673365 . 87.0) (131.97989949748745 . 87.0) (131.1859296482412 . 87.0) (130.39195979899498 . 87.0) (129.59798994974875 . 87.0) (128.8040201005025 . 87.0) (128.01005025125627 . 87.0) (127.21608040201006 . 87.0) (126.42211055276383 . 87.0) (125.62814070351759 . 87.0) (124.83417085427135 . 87.0) (124.04020100502512 . 87.0) (123.24623115577889 . 87.0) (122.45226130653266 . 87.0) (121.65829145728644 . 87.0) (120.8643216080402 . 87.0) (120.07035175879396 . 87.0) (119.27638190954775 . 87.0) (118.48241206030151 . 87.0) (117.68844221105527 . 87.0) (116.89447236180905 . 87.0) (116.10050251256281 . 87.0) (115.30653266331657 . 87.0) (114.51256281407036 . 87.0) (113.71859296482413 . 87.0) (112.92462311557789 . 87.0) (112.13065326633165 . 87.0) (111.33668341708542 . 87.0) (110.5427135678392 . 87.0) (109.74874371859296 . 87.0) (108.95477386934674 . 87.0) (108.1608040201005 . 87.0) (107.36683417085426 . 87.0) (106.57286432160805 . 87.0) (105.77889447236181 . 87.0) (104.98492462311557 . 87.0) (104.19095477386934 . 87.0) (103.39698492462311 . 87.0) (102.60301507537689 . 87.0) (101.80904522613066 . 87.0) (101.01507537688443 . 87.0) (100.2211055276382 . 87.0) (99.42713567839196 . 87.0) (98.63316582914572 . 87.0) (97.83919597989949 . 87.0) (97.04522613065326 . 87.0) (96.25125628140704 . 87.0) (95.4572864321608 . 87.0) (94.66331658291458 . 87.0) (93.86934673366835 . 87.0) (93.0753768844221 . 87.0) (92.28140703517589 . 87.0) (91.48743718592964 . 87.0) (90.69346733668341 . 87.0) (89.89949748743717 . 87.0) (89.10552763819095 . 87.0) (88.31155778894473 . 87.0) (87.51758793969849 . 87.0) (86.72361809045225 . 87.0) (85.92964824120602 . 87.0) (85.1356783919598 . 87.0) (84.34170854271355 . 87.0) (83.54773869346734 . 87.0) (82.7537688442211 . 87.0) (81.95979899497488 . 87.0) (81.16582914572865 . 87.0) (80.37185929648241 . 87.0) (79.57788944723617 . 87.0) (78.78391959798995 . 87.0) (77.98994974874373 . 87.0) (77.19597989949747 . 87.0) (76.40201005025126 . 87.0) (75.60804020100502 . 87.0) (74.8140703517588 . 87.0) (74.02010050251255 . 87.0) (73.22613065326632 . 87.0) (72.4321608040201 . 87.0) (71.63819095477386 . 87.0) (70.84422110552764 . 87.0) (70.0502512562814 . 87.0) (69.25628140703517 . 87.0) (68.46231155778895 . 87.0) (67.66834170854271 . 87.0) (66.87437185929647 . 87.0) (66.08040201005025 . 87.0) (65.28643216080403 . 87.0) (64.49246231155779 . 87.0) (63.698492462311556 . 87.0) (62.90452261306533 . 87.0) (62.1105527638191 . 87.0) (61.31658291457286 . 87.0) (60.52261306532663 . 87.0) (59.7286432160804 . 87.0) (58.934673366834176 . 87.0) (58.140703517587944 . 87.0) (57.346733668341706 . 87.0) (56.552763819095475 . 87.0) (55.75879396984925 . 87.0) (54.96482412060301 . 87.0) (54.170854271356774 . 87.0) (53.376884422110564 . 87.0) (52.582914572864325 . 87.0) (51.78894472361809 . 87.0) (50.99497487437186 . 87.0) (50.20100502512563 . 87.0) (49.4070351758794 . 87.0) (48.61306532663316 . 87.0) (47.81909547738693 . 87.0) (47.02512562814071 . 87.0) (46.23115577889447 . 87.0) (45.43718592964824 . 87.0) (44.64321608040201 . 87.0) (43.84924623115579 . 87.0) (43.05527638190955 . 87.0) (42.26130653266331 . 87.0) (41.46733668341709 . 87.0) (40.673366834170864 . 87.0) (39.87939698492463 . 87.0) (39.085427135678394 . 87.0) (38.291457286432156 . 87.0) (37.49748743718593 . 87.0) (36.70351758793969 . 87.0) (35.90954773869347 . 87.0) (35.11557788944724 . 87.0) (34.321608040201006 . 87.0) (33.527638190954775 . 87.0) (32.73366834170854 . 87.0) (31.93969849246232 . 87.0) (31.14572864321608 . 87.0) (30.351758793969847 . 87.0) (29.557788944723626 . 87.0) (28.76381909547739 . 87.0) (27.969849246231156 . 87.0) (27.175879396984932 . 87.0) (26.381909547738687 . 87.0) (25.587939698492466 . 87.0) (24.793969849246224 . 87.0) (24.0 . 87.0)) 0.0 0.0) (do-set-pen! ((0 2 123 1.0) 0.5 solid round round #f)) (draw-lines ((182.0 . 4.0) (181.20603015075378 . 4.0) (180.41206030150752 . 4.0) (179.61809045226133 . 4.0) (178.82412060301507 . 4.0) (178.03015075376885 . 4.0) (177.2361809045226 . 4.0) (176.4422110552764 . 4.0) (175.64824120603015 . 4.0) (174.85427135678393 . 4.0) (174.06030150753767 . 4.0) (173.26633165829145 . 4.0) (172.47236180904522 . 4.0) (171.67839195979897 . 4.0) (170.88442211055278 . 4.0) (170.09045226130652 . 4.0) (169.29648241206033 . 4.0) (168.50251256281408 . 4.0) (167.70854271356785 . 4.0) (166.9145728643216 . 4.0) (166.12060301507537 . 4.0) (165.32663316582915 . 4.0) (164.5326633165829 . 4.0) (163.7386934673367 . 4.0) (162.94472361809048 . 4.0) (162.1507537688442 . 4.0) (161.356783919598 . 4.0) (160.56281407035178 . 4.0) (159.76884422110555 . 4.0) (158.9748743718593 . 4.0) (158.18090452261305 . 4.0) (157.38693467336682 . 4.0) (156.59296482412063 . 4.0) (155.79899497487438 . 4.0) (155.00502512562812 . 4.0) (154.2110552763819 . 4.0) (153.4170854271357 . 4.0) (152.62311557788948 . 4.0) (151.82914572864323 . 4.0) (151.03517587939697 . 4.0) (150.24120603015075 . 4.0) (149.44723618090455 . 4.0) (148.6532663316583 . 4.0) (147.85929648241205 . 4.0) (147.06532663316582 . 4.0) (146.2713567839196 . 4.0) (145.47738693467335 . 4.0) (144.68341708542715 . 4.0) (143.8894472361809 . 4.0) (143.09547738693468 . 4.0) (142.30150753768845 . 4.0) (141.5075376884422 . 4.0) (140.71356783919597 . 4.0) (139.91959798994975 . 4.0) (139.1256281407035 . 4.0) (138.3316582914573 . 4.0) (137.53768844221105 . 4.0) (136.74371859296483 . 4.0) (135.9497487437186 . 4.0) (135.15577889447235 . 4.0) (134.36180904522615 . 4.0) (133.5678391959799 . 4.0) (132.77386934673365 . 4.0) (131.97989949748745 . 4.0) (131.1859296482412 . 4.0) (130.39195979899498 . 4.0) (129.59798994974875 . 4.0) (128.8040201005025 . 4.0) (128.01005025125627 . 4.0) (127.21608040201006 . 4.0) (126.42211055276383 . 4.0) (125.62814070351759 . 4.0) (124.83417085427135 . 4.0) (124.04020100502512 . 4.0) (123.24623115577889 . 4.0) (122.45226130653266 . 4.0) (121.65829145728644 . 4.0) (120.8643216080402 . 4.0) (120.07035175879396 . 4.0) (119.27638190954775 . 4.0) (118.48241206030151 . 4.0) (117.68844221105527 . 4.0) (116.89447236180905 . 4.0) (116.10050251256281 . 4.0) (115.30653266331657 . 4.0) (114.51256281407036 . 4.0) (113.71859296482413 . 4.0) (112.92462311557789 . 4.0) (112.13065326633165 . 4.0) (111.33668341708542 . 4.0) (110.5427135678392 . 4.0) (109.74874371859296 . 4.0) (108.95477386934674 . 4.0) (108.1608040201005 . 4.0) (107.36683417085426 . 4.0) (106.57286432160805 . 4.0) (105.77889447236181 . 4.0) (104.98492462311557 . 4.0) (104.19095477386934 . 4.0) (103.39698492462311 . 4.0) (102.60301507537689 . 4.0) (101.80904522613066 . 4.0) (101.01507537688443 . 4.0) (100.2211055276382 . 4.0) (99.42713567839196 . 4.0) (98.63316582914572 . 4.0) (97.83919597989949 . 4.0) (97.04522613065326 . 4.0) (96.25125628140704 . 4.0) (95.4572864321608 . 4.0) (94.66331658291458 . 4.0) (93.86934673366835 . 4.0) (93.0753768844221 . 4.0) (92.28140703517589 . 4.0) (91.48743718592964 . 4.0) (90.69346733668341 . 4.0) (89.89949748743717 . 4.0) (89.10552763819095 . 4.0) (88.31155778894473 . 4.0) (87.51758793969849 . 4.0) (86.72361809045225 . 4.0) (85.92964824120602 . 4.0) (85.1356783919598 . 4.0) (84.34170854271355 . 4.0) (83.54773869346734 . 4.0) (82.7537688442211 . 4.0) (81.95979899497488 . 4.0) (81.16582914572865 . 4.0) (80.37185929648241 . 4.0) (79.57788944723617 . 4.0) (78.78391959798995 . 4.0) (77.98994974874373 . 4.0) (77.19597989949747 . 4.0) (76.40201005025126 . 4.0) (75.60804020100502 . 4.0) (74.8140703517588 . 4.0) (74.02010050251255 . 4.0) (73.22613065326632 . 4.0) (72.4321608040201 . 4.0) (71.63819095477386 . 4.0) (70.84422110552764 . 4.0) (70.0502512562814 . 4.0) (69.25628140703517 . 4.0) (68.46231155778895 . 4.0) (67.66834170854271 . 4.0) (66.87437185929647 . 4.0) (66.08040201005025 . 4.0) (65.28643216080403 . 4.0) (64.49246231155779 . 4.0) (63.698492462311556 . 4.0) (62.90452261306533 . 4.0) (62.1105527638191 . 4.020263671875) (61.31658291457286 . 4.68389892578125) (60.52261306532663 . 7.234588623046875) (59.7286432160804 . 12.229583740234375) (58.934673366834176 . 23.197296142578125) (58.140703517587944 . 43.939697265625) (57.346733668341706 . 67.34677124023438) (56.552763819095475 . 80.53335571289062) (55.75879396984925 . 85.33837890625) (54.96482412060301 . 86.73910522460938) (54.170854271356774 . 87.0) (53.376884422110564 . 87.0) (52.582914572864325 . 87.0) (51.78894472361809 . 87.0) (50.99497487437186 . 87.0) (50.20100502512563 . 87.0) (49.4070351758794 . 87.0) (48.61306532663316 . 87.0) (47.81909547738693 . 87.0) (47.02512562814071 . 87.0) (46.23115577889447 . 87.0) (45.43718592964824 . 87.0) (44.64321608040201 . 87.0) (43.84924623115579 . 87.0) (43.05527638190955 . 87.0) (42.26130653266331 . 87.0) (41.46733668341709 . 87.0) (40.673366834170864 . 87.0) (39.87939698492463 . 87.0) (39.085427135678394 . 87.0) (38.291457286432156 . 87.0) (37.49748743718593 . 87.0) (36.70351758793969 . 87.0) (35.90954773869347 . 87.0) (35.11557788944724 . 87.0) (34.321608040201006 . 87.0) (33.527638190954775 . 87.0) (32.73366834170854 . 87.0) (31.93969849246232 . 87.0) (31.14572864321608 . 87.0) (30.351758793969847 . 87.0) (29.557788944723626 . 87.0) (28.76381909547739 . 87.0) (27.969849246231156 . 87.0) (27.175879396984932 . 87.0) (26.381909547738687 . 87.0) (25.587939698492466 . 87.0) (24.793969849246224 . 87.0) (24.0 . 87.0)) 0.0 0.0) (set-alpha 1) (do-set-pen! ((0 0 0 1.0) 1 solid round round #f)) (do-set-brush! ((255 255 255 1.0) solid #f #f #f)) (set-background (255 255 255 1.0)) (set-font (8 "bold" roman normal normal #f default #f aligned)) (set-text-foreground (0 0 0 1.0)) (set-alpha 1) (do-set-pen! ((0 0 0 1.0) 1 transparent round round #f)) (do-set-brush! ((210 105 30 1.0) solid #f #f #f)) (set-smoothing unsmoothed) (draw-polygon ((24.793969849246224 . 87.0) (25.587939698492466 . 87.0) (26.381909547738687 . 87.0) (27.175879396984932 . 87.0) (27.969849246231156 . 87.0) (28.76381909547739 . 87.0) (29.557788944723626 . 87.0) (30.351758793969847 . 87.0) (31.14572864321608 . 87.0) (31.93969849246232 . 87.0) (32.73366834170854 . 87.0) (33.527638190954775 . 87.0) (34.321608040201006 . 87.0) (35.11557788944724 . 87.0) (35.90954773869347 . 87.0) (36.70351758793969 . 87.0) (37.49748743718593 . 87.0) (38.291457286432156 . 87.0) (39.085427135678394 . 87.0) (39.87939698492463 . 87.0) (40.673366834170864 . 87.0) (41.46733668341709 . 87.0) (42.26130653266331 . 87.0) (43.05527638190955 . 87.0) (43.84924623115579 . 87.0) (44.64321608040201 . 87.0) (45.43718592964824 . 87.0) (46.23115577889447 . 87.0) (47.02512562814071 . 87.0) (47.81909547738693 . 87.0) (48.61306532663316 . 87.0) (49.4070351758794 . 87.0) (50.20100502512563 . 87.0) (50.99497487437186 . 87.0) (51.78894472361809 . 87.0) (52.582914572864325 . 87.0) (53.376884422110564 . 87.0) (54.170854271356774 . 87.0) (54.96482412060301 . 86.94668184820294) (55.75879396984925 . 85.85742415306905) (56.552763819095475 . 82.31423080170639) (57.346733668341706 . 71.39162028255883) (58.140703517587944 . 52.00481668440623) (58.934673366834176 . 31.40367299116196) (59.7286432160804 . 18.350890515274642) (60.52261306532663 . 9.474278246193037) (61.31658291457286 . 5.311094790734373) (62.1105527638191 . 4.158221199284569) (62.90452261306533 . 4.0) (63.698492462311556 . 4.0) (64.49246231155779 . 4.0) (65.28643216080403 . 4.0) (66.08040201005025 . 4.0) (66.87437185929647 . 4.0) (67.66834170854271 . 4.0) (68.46231155778895 . 4.0) (69.25628140703517 . 4.0) (70.0502512562814 . 4.0) (70.84422110552764 . 4.0) (71.63819095477386 . 4.0) (72.4321608040201 . 4.0) (73.22613065326632 . 4.0) (74.02010050251255 . 4.0) (74.8140703517588 . 4.0) (75.60804020100502 . 4.0) (76.40201005025126 . 4.0) (77.19597989949747 . 4.0) (77.98994974874373 . 4.0) (78.78391959798995 . 4.0) (79.57788944723617 . 4.0) (80.37185929648241 . 4.0) (81.16582914572865 . 4.0) (81.95979899497488 . 4.0) (82.7537688442211 . 4.0) (83.54773869346734 . 4.0) (84.34170854271355 . 4.0) (85.1356783919598 . 4.0) (85.92964824120602 . 4.0) (86.72361809045225 . 4.0) (87.51758793969849 . 4.0) (88.31155778894473 . 4.0) (89.10552763819095 . 4.0) (89.89949748743717 . 4.0) (90.69346733668341 . 4.0) (91.48743718592964 . 4.0) (92.28140703517589 . 4.0) (93.0753768844221 . 4.0) (93.86934673366835 . 4.0) (94.66331658291458 . 4.0) (95.4572864321608 . 4.0) (96.25125628140704 . 4.0) (97.04522613065326 . 4.0) (97.83919597989949 . 4.0) (98.63316582914572 . 4.0) (99.42713567839196 . 4.0) (100.2211055276382 . 4.0) (101.01507537688443 . 4.0) (101.80904522613066 . 4.0) (102.60301507537689 . 4.0) (103.39698492462311 . 4.0) (104.19095477386934 . 4.0) (104.98492462311557 . 4.0) (105.77889447236181 . 4.0) (106.57286432160805 . 4.0) (107.36683417085426 . 4.0) (108.1608040201005 . 4.0) (108.95477386934674 . 4.0) (109.74874371859296 . 4.0) (110.5427135678392 . 4.0) (111.33668341708542 . 4.0) (112.13065326633165 . 4.0) (112.92462311557789 . 4.0) (113.71859296482413 . 4.0) (114.51256281407036 . 4.0) (115.30653266331657 . 4.0) (116.10050251256281 . 4.0) (116.89447236180905 . 4.0) (117.68844221105527 . 4.0) (118.48241206030151 . 4.0) (119.27638190954775 . 4.0) (120.07035175879396 . 4.0) (120.8643216080402 . 4.0) (121.65829145728644 . 4.0) (122.45226130653266 . 4.0) (123.24623115577889 . 4.0) (124.04020100502512 . 4.0) (124.83417085427135 . 4.0) (125.62814070351759 . 4.0) (126.42211055276383 . 4.0) (127.21608040201006 . 4.0) (128.01005025125627 . 4.0) (128.8040201005025 . 4.0) (129.59798994974875 . 4.0) (130.39195979899498 . 4.0) (131.1859296482412 . 4.0) (131.97989949748745 . 4.0) (132.77386934673365 . 4.0) (133.5678391959799 . 4.0) (134.36180904522615 . 4.0) (135.15577889447235 . 4.0) (135.9497487437186 . 4.0) (136.74371859296483 . 4.0) (137.53768844221105 . 4.0) (138.3316582914573 . 4.0) (139.1256281407035 . 4.0) (139.91959798994975 . 4.0) (140.71356783919597 . 4.0) (141.5075376884422 . 4.0) (142.30150753768845 . 4.0) (143.09547738693468 . 4.0) (143.8894472361809 . 4.0) (144.68341708542715 . 4.0) (145.47738693467335 . 4.0) (146.2713567839196 . 4.0) (147.06532663316582 . 4.0) (147.85929648241205 . 4.0) (148.6532663316583 . 4.0) (149.44723618090455 . 4.0) (150.24120603015075 . 4.0) (151.03517587939697 . 4.0) (151.82914572864323 . 4.0) (152.62311557788948 . 4.0) (153.4170854271357 . 4.0) (154.2110552763819 . 4.0) (155.00502512562812 . 4.0) (155.79899497487438 . 4.0) (156.59296482412063 . 4.0) (157.38693467336682 . 4.0) (158.18090452261305 . 4.0) (158.9748743718593 . 4.0) (159.76884422110555 . 4.0) (160.56281407035178 . 4.0) (161.356783919598 . 4.0) (162.1507537688442 . 4.0) (162.94472361809048 . 4.0) (163.7386934673367 . 4.0) (164.5326633165829 . 4.0) (165.32663316582915 . 4.0) (166.12060301507537 . 4.0) (166.9145728643216 . 4.0) (167.70854271356785 . 4.0) (168.50251256281408 . 4.0) (169.29648241206033 . 4.0) (170.09045226130652 . 4.0) (170.88442211055278 . 4.0) (171.67839195979897 . 4.0) (172.47236180904522 . 4.0) (173.26633165829145 . 4.0) (174.06030150753767 . 4.0) (174.85427135678393 . 4.0) (175.64824120603015 . 4.0) (176.4422110552764 . 4.0) (177.2361809045226 . 4.0) (178.03015075376885 . 4.0) (178.82412060301507 . 4.0) (179.61809045226133 . 4.0) (180.41206030150752 . 4.0) (181.20603015075378 . 4.0) (182.0 . 4.0) (181.20603015075378 . 4.0) (180.41206030150752 . 4.0) (179.61809045226133 . 4.0) (178.82412060301507 . 4.0) (178.03015075376885 . 4.0) (177.2361809045226 . 4.0) (176.4422110552764 . 4.0) (175.64824120603015 . 4.0) (174.85427135678393 . 4.0) (174.06030150753767 . 4.0) (173.26633165829145 . 4.0) (172.47236180904522 . 4.0) (171.67839195979897 . 4.0) (170.88442211055278 . 4.0) (170.09045226130652 . 4.0) (169.29648241206033 . 4.0) (168.50251256281408 . 4.0) (167.70854271356785 . 4.0) (166.9145728643216 . 4.0) (166.12060301507537 . 4.0) (165.32663316582915 . 4.0) (164.5326633165829 . 4.0) (163.7386934673367 . 4.0) (162.94472361809048 . 4.0) (162.1507537688442 . 4.0) (161.356783919598 . 4.0) (160.56281407035178 . 4.0) (159.76884422110555 . 4.0) (158.9748743718593 . 4.0) (158.18090452261305 . 4.0) (157.38693467336682 . 4.0) (156.59296482412063 . 4.0) (155.79899497487438 . 4.0) (155.00502512562812 . 4.0) (154.2110552763819 . 4.0) (153.4170854271357 . 4.0) (152.62311557788948 . 4.0) (151.82914572864323 . 4.0) (151.03517587939697 . 4.0) (150.24120603015075 . 4.0) (149.44723618090455 . 4.0) (148.6532663316583 . 4.0) (147.85929648241205 . 4.0) (147.06532663316582 . 4.0) (146.2713567839196 . 4.0) (145.47738693467335 . 4.0) (144.68341708542715 . 4.0) (143.8894472361809 . 4.0) (143.09547738693468 . 4.0) (142.30150753768845 . 4.0) (141.5075376884422 . 4.0) (140.71356783919597 . 4.0) (139.91959798994975 . 4.0) (139.1256281407035 . 4.0) (138.3316582914573 . 4.0) (137.53768844221105 . 4.0) (136.74371859296483 . 4.0) (135.9497487437186 . 4.0) (135.15577889447235 . 4.0) (134.36180904522615 . 4.0) (133.5678391959799 . 4.0) (132.77386934673365 . 4.0) (131.97989949748745 . 4.0) (131.1859296482412 . 4.0) (130.39195979899498 . 4.0) (129.59798994974875 . 4.0) (128.8040201005025 . 4.0) (128.01005025125627 . 4.0) (127.21608040201006 . 4.0) (126.42211055276383 . 4.0) (125.62814070351759 . 4.0) (124.83417085427135 . 4.0) (124.04020100502512 . 4.0) (123.24623115577889 . 4.0) (122.45226130653266 . 4.0) (121.65829145728644 . 4.0) (120.8643216080402 . 4.0) (120.07035175879396 . 4.0) (119.27638190954775 . 4.0) (118.48241206030151 . 4.0) (117.68844221105527 . 4.0) (116.89447236180905 . 4.0) (116.10050251256281 . 4.0) (115.30653266331657 . 4.0) (114.51256281407036 . 4.0) (113.71859296482413 . 4.0) (112.92462311557789 . 4.0) (112.13065326633165 . 4.0) (111.33668341708542 . 4.0) (110.5427135678392 . 4.0) (109.74874371859296 . 4.0) (108.95477386934674 . 4.0) (108.1608040201005 . 4.0) (107.36683417085426 . 4.0) (106.57286432160805 . 4.0) (105.77889447236181 . 4.0) (104.98492462311557 . 4.0) (104.19095477386934 . 4.0) (103.39698492462311 . 4.0) (102.60301507537689 . 4.0) (101.80904522613066 . 4.0) (101.01507537688443 . 4.0) (100.2211055276382 . 4.0) (99.42713567839196 . 4.0) (98.63316582914572 . 4.0) (97.83919597989949 . 4.0) (97.04522613065326 . 4.0) (96.25125628140704 . 4.0) (95.4572864321608 . 4.0) (94.66331658291458 . 4.0) (93.86934673366835 . 4.0) (93.0753768844221 . 4.0) (92.28140703517589 . 4.0) (91.48743718592964 . 4.0) (90.69346733668341 . 4.0) (89.89949748743717 . 4.0) (89.10552763819095 . 4.0) (88.31155778894473 . 4.0) (87.51758793969849 . 4.0) (86.72361809045225 . 4.0) (85.92964824120602 . 4.0) (85.1356783919598 . 4.0) (84.34170854271355 . 4.0) (83.54773869346734 . 4.0) (82.7537688442211 . 4.0) (81.95979899497488 . 4.0) (81.16582914572865 . 4.0) (80.37185929648241 . 4.0) (79.57788944723617 . 4.0) (78.78391959798995 . 4.0) (77.98994974874373 . 4.0) (77.19597989949747 . 4.0) (76.40201005025126 . 4.0) (75.60804020100502 . 4.0) (74.8140703517588 . 4.0) (74.02010050251255 . 4.0) (73.22613065326632 . 4.0) (72.4321608040201 . 4.0) (71.63819095477386 . 4.0) (70.84422110552764 . 4.0) (70.0502512562814 . 4.0) (69.25628140703517 . 4.0) (68.46231155778895 . 4.0) (67.66834170854271 . 4.0) (66.87437185929647 . 4.0) (66.08040201005025 . 4.0) (65.28643216080403 . 4.0) (64.49246231155779 . 4.0) (63.698492462311556 . 4.0) (62.90452261306533 . 4.0) (62.90452261306533 . 4.0) (61.52569977730356 . 4.0) (61.31658291457286 . 4.01690520926563) (60.52261306532663 . 5.497721753806957) (59.7286432160804 . 8.905109484725358) (58.934673366834176 . 17.10032700883805) (58.140703517587944 . 39.32718331559378) (57.346733668341706 . 63.21104638410783) (56.552763819095475 . 77.96310253162694) (55.75879396984925 . 84.37990918026429) (54.96482412060301 . 86.61065148513039) (54.170854271356774 . 87.0) (53.376884422110564 . 87.0) (52.582914572864325 . 87.0) (51.78894472361809 . 87.0) (50.99497487437186 . 87.0) (50.20100502512563 . 87.0) (49.4070351758794 . 87.0) (48.61306532663316 . 87.0) (47.81909547738693 . 87.0) (47.02512562814071 . 87.0) (46.23115577889447 . 87.0) (45.43718592964824 . 87.0) (44.64321608040201 . 87.0) (43.84924623115579 . 87.0) (43.05527638190955 . 87.0) (42.26130653266331 . 87.0) (41.46733668341709 . 87.0) (40.673366834170864 . 87.0) (39.87939698492463 . 87.0) (39.085427135678394 . 87.0) (38.291457286432156 . 87.0) (37.49748743718593 . 87.0) (36.70351758793969 . 87.0) (35.90954773869347 . 87.0) (35.11557788944724 . 87.0) (34.321608040201006 . 87.0) (33.527638190954775 . 87.0) (32.73366834170854 . 87.0) (31.93969849246232 . 87.0) (31.14572864321608 . 87.0) (30.351758793969847 . 87.0) (29.557788944723626 . 87.0) (28.76381909547739 . 87.0) (27.969849246231156 . 87.0) (27.175879396984932 . 87.0) (26.381909547738687 . 87.0) (25.587939698492466 . 87.0) (24.793969849246224 . 87.0) (24.0 . 87.0)) 0 0 winding) (set-smoothing smoothed) (do-set-pen! ((210 105 30 1.0) 0.5 solid round round #f)) (draw-lines ((182.0 . 4.0) (181.20603015075378 . 4.0) (180.41206030150752 . 4.0) (179.61809045226133 . 4.0) (178.82412060301507 . 4.0) (178.03015075376885 . 4.0) (177.2361809045226 . 4.0) (176.4422110552764 . 4.0) (175.64824120603015 . 4.0) (174.85427135678393 . 4.0) (174.06030150753767 . 4.0) (173.26633165829145 . 4.0) (172.47236180904522 . 4.0) (171.67839195979897 . 4.0) (170.88442211055278 . 4.0) (170.09045226130652 . 4.0) (169.29648241206033 . 4.0) (168.50251256281408 . 4.0) (167.70854271356785 . 4.0) (166.9145728643216 . 4.0) (166.12060301507537 . 4.0) (165.32663316582915 . 4.0) (164.5326633165829 . 4.0) (163.7386934673367 . 4.0) (162.94472361809048 . 4.0) (162.1507537688442 . 4.0) (161.356783919598 . 4.0) (160.56281407035178 . 4.0) (159.76884422110555 . 4.0) (158.9748743718593 . 4.0) (158.18090452261305 . 4.0) (157.38693467336682 . 4.0) (156.59296482412063 . 4.0) (155.79899497487438 . 4.0) (155.00502512562812 . 4.0) (154.2110552763819 . 4.0) (153.4170854271357 . 4.0) (152.62311557788948 . 4.0) (151.82914572864323 . 4.0) (151.03517587939697 . 4.0) (150.24120603015075 . 4.0) (149.44723618090455 . 4.0) (148.6532663316583 . 4.0) (147.85929648241205 . 4.0) (147.06532663316582 . 4.0) (146.2713567839196 . 4.0) (145.47738693467335 . 4.0) (144.68341708542715 . 4.0) (143.8894472361809 . 4.0) (143.09547738693468 . 4.0) (142.30150753768845 . 4.0) (141.5075376884422 . 4.0) (140.71356783919597 . 4.0) (139.91959798994975 . 4.0) (139.1256281407035 . 4.0) (138.3316582914573 . 4.0) (137.53768844221105 . 4.0) (136.74371859296483 . 4.0) (135.9497487437186 . 4.0) (135.15577889447235 . 4.0) (134.36180904522615 . 4.0) (133.5678391959799 . 4.0) (132.77386934673365 . 4.0) (131.97989949748745 . 4.0) (131.1859296482412 . 4.0) (130.39195979899498 . 4.0) (129.59798994974875 . 4.0) (128.8040201005025 . 4.0) (128.01005025125627 . 4.0) (127.21608040201006 . 4.0) (126.42211055276383 . 4.0) (125.62814070351759 . 4.0) (124.83417085427135 . 4.0) (124.04020100502512 . 4.0) (123.24623115577889 . 4.0) (122.45226130653266 . 4.0) (121.65829145728644 . 4.0) (120.8643216080402 . 4.0) (120.07035175879396 . 4.0) (119.27638190954775 . 4.0) (118.48241206030151 . 4.0) (117.68844221105527 . 4.0) (116.89447236180905 . 4.0) (116.10050251256281 . 4.0) (115.30653266331657 . 4.0) (114.51256281407036 . 4.0) (113.71859296482413 . 4.0) (112.92462311557789 . 4.0) (112.13065326633165 . 4.0) (111.33668341708542 . 4.0) (110.5427135678392 . 4.0) (109.74874371859296 . 4.0) (108.95477386934674 . 4.0) (108.1608040201005 . 4.0) (107.36683417085426 . 4.0) (106.57286432160805 . 4.0) (105.77889447236181 . 4.0) (104.98492462311557 . 4.0) (104.19095477386934 . 4.0) (103.39698492462311 . 4.0) (102.60301507537689 . 4.0) (101.80904522613066 . 4.0) (101.01507537688443 . 4.0) (100.2211055276382 . 4.0) (99.42713567839196 . 4.0) (98.63316582914572 . 4.0) (97.83919597989949 . 4.0) (97.04522613065326 . 4.0) (96.25125628140704 . 4.0) (95.4572864321608 . 4.0) (94.66331658291458 . 4.0) (93.86934673366835 . 4.0) (93.0753768844221 . 4.0) (92.28140703517589 . 4.0) (91.48743718592964 . 4.0) (90.69346733668341 . 4.0) (89.89949748743717 . 4.0) (89.10552763819095 . 4.0) (88.31155778894473 . 4.0) (87.51758793969849 . 4.0) (86.72361809045225 . 4.0) (85.92964824120602 . 4.0) (85.1356783919598 . 4.0) (84.34170854271355 . 4.0) (83.54773869346734 . 4.0) (82.7537688442211 . 4.0) (81.95979899497488 . 4.0) (81.16582914572865 . 4.0) (80.37185929648241 . 4.0) (79.57788944723617 . 4.0) (78.78391959798995 . 4.0) (77.98994974874373 . 4.0) (77.19597989949747 . 4.0) (76.40201005025126 . 4.0) (75.60804020100502 . 4.0) (74.8140703517588 . 4.0) (74.02010050251255 . 4.0) (73.22613065326632 . 4.0) (72.4321608040201 . 4.0) (71.63819095477386 . 4.0) (70.84422110552764 . 4.0) (70.0502512562814 . 4.0) (69.25628140703517 . 4.0) (68.46231155778895 . 4.0) (67.66834170854271 . 4.0) (66.87437185929647 . 4.0) (66.08040201005025 . 4.0) (65.28643216080403 . 4.0) (64.49246231155779 . 4.0) (63.698492462311556 . 4.0) (62.90452261306533 . 4.0) (62.1105527638191 . 4.158221199284569) (61.31658291457286 . 5.311094790734373) (60.52261306532663 . 9.474278246193037) (59.7286432160804 . 18.350890515274642) (58.934673366834176 . 31.40367299116196) (58.140703517587944 . 52.00481668440623) (57.346733668341706 . 71.39162028255883) (56.552763819095475 . 82.31423080170639) (55.75879396984925 . 85.85742415306905) (54.96482412060301 . 86.94668184820294) (54.170854271356774 . 87.0) (53.376884422110564 . 87.0) (52.582914572864325 . 87.0) (51.78894472361809 . 87.0) (50.99497487437186 . 87.0) (50.20100502512563 . 87.0) (49.4070351758794 . 87.0) (48.61306532663316 . 87.0) (47.81909547738693 . 87.0) (47.02512562814071 . 87.0) (46.23115577889447 . 87.0) (45.43718592964824 . 87.0) (44.64321608040201 . 87.0) (43.84924623115579 . 87.0) (43.05527638190955 . 87.0) (42.26130653266331 . 87.0) (41.46733668341709 . 87.0) (40.673366834170864 . 87.0) (39.87939698492463 . 87.0) (39.085427135678394 . 87.0) (38.291457286432156 . 87.0) (37.49748743718593 . 87.0) (36.70351758793969 . 87.0) (35.90954773869347 . 87.0) (35.11557788944724 . 87.0) (34.321608040201006 . 87.0) (33.527638190954775 . 87.0) (32.73366834170854 . 87.0) (31.93969849246232 . 87.0) (31.14572864321608 . 87.0) (30.351758793969847 . 87.0) (29.557788944723626 . 87.0) (28.76381909547739 . 87.0) (27.969849246231156 . 87.0) (27.175879396984932 . 87.0) (26.381909547738687 . 87.0) (25.587939698492466 . 87.0) (24.793969849246224 . 87.0) (24.0 . 87.0)) 0.0 0.0) (do-set-pen! ((210 105 30 1.0) 0.5 solid round round #f)) (draw-lines ((182.0 . 4.0) (181.20603015075378 . 4.0) (180.41206030150752 . 4.0) (179.61809045226133 . 4.0) (178.82412060301507 . 4.0) (178.03015075376885 . 4.0) (177.2361809045226 . 4.0) (176.4422110552764 . 4.0) (175.64824120603015 . 4.0) (174.85427135678393 . 4.0) (174.06030150753767 . 4.0) (173.26633165829145 . 4.0) (172.47236180904522 . 4.0) (171.67839195979897 . 4.0) (170.88442211055278 . 4.0) (170.09045226130652 . 4.0) (169.29648241206033 . 4.0) (168.50251256281408 . 4.0) (167.70854271356785 . 4.0) (166.9145728643216 . 4.0) (166.12060301507537 . 4.0) (165.32663316582915 . 4.0) (164.5326633165829 . 4.0) (163.7386934673367 . 4.0) (162.94472361809048 . 4.0) (162.1507537688442 . 4.0) (161.356783919598 . 4.0) (160.56281407035178 . 4.0) (159.76884422110555 . 4.0) (158.9748743718593 . 4.0) (158.18090452261305 . 4.0) (157.38693467336682 . 4.0) (156.59296482412063 . 4.0) (155.79899497487438 . 4.0) (155.00502512562812 . 4.0) (154.2110552763819 . 4.0) (153.4170854271357 . 4.0) (152.62311557788948 . 4.0) (151.82914572864323 . 4.0) (151.03517587939697 . 4.0) (150.24120603015075 . 4.0) (149.44723618090455 . 4.0) (148.6532663316583 . 4.0) (147.85929648241205 . 4.0) (147.06532663316582 . 4.0) (146.2713567839196 . 4.0) (145.47738693467335 . 4.0) (144.68341708542715 . 4.0) (143.8894472361809 . 4.0) (143.09547738693468 . 4.0) (142.30150753768845 . 4.0) (141.5075376884422 . 4.0) (140.71356783919597 . 4.0) (139.91959798994975 . 4.0) (139.1256281407035 . 4.0) (138.3316582914573 . 4.0) (137.53768844221105 . 4.0) (136.74371859296483 . 4.0) (135.9497487437186 . 4.0) (135.15577889447235 . 4.0) (134.36180904522615 . 4.0) (133.5678391959799 . 4.0) (132.77386934673365 . 4.0) (131.97989949748745 . 4.0) (131.1859296482412 . 4.0) (130.39195979899498 . 4.0) (129.59798994974875 . 4.0) (128.8040201005025 . 4.0) (128.01005025125627 . 4.0) (127.21608040201006 . 4.0) (126.42211055276383 . 4.0) (125.62814070351759 . 4.0) (124.83417085427135 . 4.0) (124.04020100502512 . 4.0) (123.24623115577889 . 4.0) (122.45226130653266 . 4.0) (121.65829145728644 . 4.0) (120.8643216080402 . 4.0) (120.07035175879396 . 4.0) (119.27638190954775 . 4.0) (118.48241206030151 . 4.0) (117.68844221105527 . 4.0) (116.89447236180905 . 4.0) (116.10050251256281 . 4.0) (115.30653266331657 . 4.0) (114.51256281407036 . 4.0) (113.71859296482413 . 4.0) (112.92462311557789 . 4.0) (112.13065326633165 . 4.0) (111.33668341708542 . 4.0) (110.5427135678392 . 4.0) (109.74874371859296 . 4.0) (108.95477386934674 . 4.0) (108.1608040201005 . 4.0) (107.36683417085426 . 4.0) (106.57286432160805 . 4.0) (105.77889447236181 . 4.0) (104.98492462311557 . 4.0) (104.19095477386934 . 4.0) (103.39698492462311 . 4.0) (102.60301507537689 . 4.0) (101.80904522613066 . 4.0) (101.01507537688443 . 4.0) (100.2211055276382 . 4.0) (99.42713567839196 . 4.0) (98.63316582914572 . 4.0) (97.83919597989949 . 4.0) (97.04522613065326 . 4.0) (96.25125628140704 . 4.0) (95.4572864321608 . 4.0) (94.66331658291458 . 4.0) (93.86934673366835 . 4.0) (93.0753768844221 . 4.0) (92.28140703517589 . 4.0) (91.48743718592964 . 4.0) (90.69346733668341 . 4.0) (89.89949748743717 . 4.0) (89.10552763819095 . 4.0) (88.31155778894473 . 4.0) (87.51758793969849 . 4.0) (86.72361809045225 . 4.0) (85.92964824120602 . 4.0) (85.1356783919598 . 4.0) (84.34170854271355 . 4.0) (83.54773869346734 . 4.0) (82.7537688442211 . 4.0) (81.95979899497488 . 4.0) (81.16582914572865 . 4.0) (80.37185929648241 . 4.0) (79.57788944723617 . 4.0) (78.78391959798995 . 4.0) (77.98994974874373 . 4.0) (77.19597989949747 . 4.0) (76.40201005025126 . 4.0) (75.60804020100502 . 4.0) (74.8140703517588 . 4.0) (74.02010050251255 . 4.0) (73.22613065326632 . 4.0) (72.4321608040201 . 4.0) (71.63819095477386 . 4.0) (70.84422110552764 . 4.0) (70.0502512562814 . 4.0) (69.25628140703517 . 4.0) (68.46231155778895 . 4.0) (67.66834170854271 . 4.0) (66.87437185929647 . 4.0) (66.08040201005025 . 4.0) (65.28643216080403 . 4.0) (64.49246231155779 . 4.0) (63.698492462311556 . 4.0) (62.90452261306533 . 4.0) (62.90452261306533 . 4.0)) 0.0 0.0) (draw-lines ((61.52569977730356 . 4.0) (61.31658291457286 . 4.01690520926563) (60.52261306532663 . 5.497721753806957) (59.7286432160804 . 8.905109484725358) (58.934673366834176 . 17.10032700883805) (58.140703517587944 . 39.32718331559378) (57.346733668341706 . 63.21104638410783) (56.552763819095475 . 77.96310253162694) (55.75879396984925 . 84.37990918026429) (54.96482412060301 . 86.61065148513039) (54.170854271356774 . 87.0) (53.376884422110564 . 87.0) (52.582914572864325 . 87.0) (51.78894472361809 . 87.0) (50.99497487437186 . 87.0) (50.20100502512563 . 87.0) (49.4070351758794 . 87.0) (48.61306532663316 . 87.0) (47.81909547738693 . 87.0) (47.02512562814071 . 87.0) (46.23115577889447 . 87.0) (45.43718592964824 . 87.0) (44.64321608040201 . 87.0) (43.84924623115579 . 87.0) (43.05527638190955 . 87.0) (42.26130653266331 . 87.0) (41.46733668341709 . 87.0) (40.673366834170864 . 87.0) (39.87939698492463 . 87.0) (39.085427135678394 . 87.0) (38.291457286432156 . 87.0) (37.49748743718593 . 87.0) (36.70351758793969 . 87.0) (35.90954773869347 . 87.0) (35.11557788944724 . 87.0) (34.321608040201006 . 87.0) (33.527638190954775 . 87.0) (32.73366834170854 . 87.0) (31.93969849246232 . 87.0) (31.14572864321608 . 87.0) (30.351758793969847 . 87.0) (29.557788944723626 . 87.0) (28.76381909547739 . 87.0) (27.969849246231156 . 87.0) (27.175879396984932 . 87.0) (26.381909547738687 . 87.0) (25.587939698492466 . 87.0) (24.793969849246224 . 87.0) (24.0 . 87.0)) 0.0 0.0) (set-alpha 1) (do-set-pen! ((0 0 0 1.0) 1 solid round round #f)) (do-set-brush! ((255 255 255 1.0) solid #f #f #f)) (set-background (255 255 255 1.0)) (set-font (8 "bold" roman normal normal #f default #f aligned)) (set-text-foreground (0 0 0 1.0)) (set-alpha 1/2) (do-set-pen! ((0 0 0 1.0) 1/2 solid round round #f)) (draw-lines ((24.0 . 87.0) (24.0 . 4.0)) 0.0 0.0) (do-set-pen! ((0 0 0 1.0) 1/2 solid round round #f)) (draw-line 36.510636875524725 86.0 36.510636875524725 81.0) (draw-line 36.510636875524725 77.0 36.510636875524725 72.0) (draw-line 36.510636875524725 68.0 36.510636875524725 63.0) (draw-line 36.510636875524725 59.0 36.510636875524725 54.0) (draw-line 36.510636875524725 50.0 36.510636875524725 45.0) (draw-line 36.510636875524725 41.0 36.510636875524725 36.0) (draw-line 36.510636875524725 32.0 36.510636875524725 27.0) (draw-line 36.510636875524725 23.0 36.510636875524725 18.0) (draw-line 36.510636875524725 14.0 36.510636875524725 9.0) (draw-line 36.510636875524725 5.0 36.510636875524725 4.0) (do-set-pen! ((0 0 0 1.0) 1/2 solid round round #f)) (draw-line 47.088229637161604 86.0 47.088229637161604 81.0) (draw-line 47.088229637161604 77.0 47.088229637161604 72.0) (draw-line 47.088229637161604 68.0 47.088229637161604 63.0) (draw-line 47.088229637161604 59.0 47.088229637161604 54.0) (draw-line 47.088229637161604 50.0 47.088229637161604 45.0) (draw-line 47.088229637161604 41.0 47.088229637161604 36.0) (draw-line 47.088229637161604 32.0 47.088229637161604 27.0) (draw-line 47.088229637161604 23.0 47.088229637161604 18.0) (draw-line 47.088229637161604 14.0 47.088229637161604 9.0) (draw-line 47.088229637161604 5.0 47.088229637161604 4.0) (do-set-pen! ((0 0 0 1.0) 1/2 solid round round #f)) (draw-line 56.250957259636124 86.0 56.250957259636124 81.0) (draw-line 56.250957259636124 77.0 56.250957259636124 72.0) (draw-line 56.250957259636124 68.0 56.250957259636124 63.0) (draw-line 56.250957259636124 59.0 56.250957259636124 54.0) (draw-line 56.250957259636124 50.0 56.250957259636124 45.0) (draw-line 56.250957259636124 41.0 56.250957259636124 36.0) (draw-line 56.250957259636124 32.0 56.250957259636124 27.0) (draw-line 56.250957259636124 23.0 56.250957259636124 18.0) (draw-line 56.250957259636124 14.0 56.250957259636124 9.0) (draw-line 56.250957259636124 5.0 56.250957259636124 4.0) (do-set-pen! ((0 0 0 1.0) 1/2 solid round round #f)) (draw-line 64.33305580632236 86.0 64.33305580632236 81.0) (draw-line 64.33305580632236 77.0 64.33305580632236 72.0) (draw-line 64.33305580632236 68.0 64.33305580632236 63.0) (draw-line 64.33305580632236 59.0 64.33305580632236 54.0) (draw-line 64.33305580632236 50.0 64.33305580632236 45.0) (draw-line 64.33305580632236 41.0 64.33305580632236 36.0) (draw-line 64.33305580632236 32.0 64.33305580632236 27.0) (draw-line 64.33305580632236 23.0 64.33305580632236 18.0) (draw-line 64.33305580632236 14.0 64.33305580632236 9.0) (draw-line 64.33305580632236 5.0 64.33305580632236 4.0) (do-set-pen! ((0 0 0 1.0) 1/2 solid round round #f)) (draw-lines ((71.56273931490902 . 87.0) (71.56273931490902 . 4.0)) 0.0 0.0) (do-set-pen! ((0 0 0 1.0) 1/2 solid round round #f)) (draw-line 119.12547862981805 86.0 119.12547862981805 81.0) (draw-line 119.12547862981805 77.0 119.12547862981805 72.0) (draw-line 119.12547862981805 68.0 119.12547862981805 63.0) (draw-line 119.12547862981805 59.0 119.12547862981805 54.0) (draw-line 119.12547862981805 50.0 119.12547862981805 45.0) (draw-line 119.12547862981805 41.0 119.12547862981805 36.0) (draw-line 119.12547862981805 32.0 119.12547862981805 27.0) (draw-line 119.12547862981805 23.0 119.12547862981805 18.0) (draw-line 119.12547862981805 14.0 119.12547862981805 9.0) (draw-line 119.12547862981805 5.0 119.12547862981805 4.0) (do-set-pen! ((0 0 0 1.0) 1/2 solid round round #f)) (draw-line 146.94789756061567 86.0 146.94789756061567 81.0) (draw-line 146.94789756061567 77.0 146.94789756061567 72.0) (draw-line 146.94789756061567 68.0 146.94789756061567 63.0) (draw-line 146.94789756061567 59.0 146.94789756061567 54.0) (draw-line 146.94789756061567 50.0 146.94789756061567 45.0) (draw-line 146.94789756061567 41.0 146.94789756061567 36.0) (draw-line 146.94789756061567 32.0 146.94789756061567 27.0) (draw-line 146.94789756061567 23.0 146.94789756061567 18.0) (draw-line 146.94789756061567 14.0 146.94789756061567 9.0) (draw-line 146.94789756061567 5.0 146.94789756061567 4.0) (do-set-pen! ((0 0 0 1.0) 1/2 solid round round #f)) (draw-line 166.68821794472706 86.0 166.68821794472706 81.0) (draw-line 166.68821794472706 77.0 166.68821794472706 72.0) (draw-line 166.68821794472706 68.0 166.68821794472706 63.0) (draw-line 166.68821794472706 59.0 166.68821794472706 54.0) (draw-line 166.68821794472706 50.0 166.68821794472706 45.0) (draw-line 166.68821794472706 41.0 166.68821794472706 36.0) (draw-line 166.68821794472706 32.0 166.68821794472706 27.0) (draw-line 166.68821794472706 23.0 166.68821794472706 18.0) (draw-line 166.68821794472706 14.0 166.68821794472706 9.0) (draw-line 166.68821794472706 5.0 166.68821794472706 4.0) (do-set-pen! ((0 0 0 1.0) 1/2 solid round round #f)) (draw-lines ((182.0 . 87.0) (182.0 . 4.0)) 0.0 0.0) (set-alpha 1) (do-set-pen! ((0 0 0 1.0) 1 solid round round #f)) (do-set-brush! ((255 255 255 1.0) solid #f #f #f)) (set-background (255 255 255 1.0)) (set-font (8 "bold" roman normal normal #f default #f aligned)) (set-text-foreground (0 0 0 1.0)) (set-alpha 1/2) (do-set-pen! ((0 0 0 1.0) 1/2 solid round round #f)) (draw-lines ((24.0 . 87.0) (182.0 . 87.0)) 0.0 0.0) (do-set-pen! ((0 0 0 1.0) 1/2 solid round round #f)) (draw-lines ((24.0 . 45.5) (182.0 . 45.5)) 0.0 0.0) (do-set-pen! ((0 0 0 1.0) 1/2 solid round round #f)) (draw-lines ((24.0 . 4.0) (182.0 . 4.0)) 0.0 0.0) (set-alpha 1) (do-set-pen! ((0 0 0 1.0) 1 solid round round #f)) (do-set-brush! ((255 255 255 1.0) solid #f #f #f)) (set-background (255 255 255 1.0)) (set-font (8 "bold" roman normal normal #f default #f aligned)) (set-text-foreground (0 0 0 1.0)) (set-alpha 1) (do-set-pen! ((0 2 123 1.0) 0.5 solid round round #f)) (draw-lines ((182.0 . 4.0) (181.20603015075378 . 4.0) (180.41206030150752 . 4.0) (179.61809045226133 . 4.0) (178.82412060301507 . 4.0) (178.03015075376885 . 4.0) (177.2361809045226 . 4.0) (176.4422110552764 . 4.0) (175.64824120603015 . 4.0) (174.85427135678393 . 4.0) (174.06030150753767 . 4.0) (173.26633165829145 . 4.0) (172.47236180904522 . 4.0) (171.67839195979897 . 4.0) (170.88442211055278 . 4.0) (170.09045226130652 . 4.0) (169.29648241206033 . 4.0) (168.50251256281408 . 4.0) (167.70854271356785 . 4.0) (166.9145728643216 . 4.0) (166.12060301507537 . 4.0) (165.32663316582915 . 4.0) (164.5326633165829 . 4.0) (163.7386934673367 . 4.0) (162.94472361809048 . 4.0) (162.1507537688442 . 4.0) (161.356783919598 . 4.0) (160.56281407035178 . 4.0) (159.76884422110555 . 4.0) (158.9748743718593 . 4.0) (158.18090452261305 . 4.0) (157.38693467336682 . 4.0) (156.59296482412063 . 4.0) (155.79899497487438 . 4.0) (155.00502512562812 . 4.0) (154.2110552763819 . 4.0) (153.4170854271357 . 4.0) (152.62311557788948 . 4.0) (151.82914572864323 . 4.0) (151.03517587939697 . 4.0) (150.24120603015075 . 4.0) (149.44723618090455 . 4.0) (148.6532663316583 . 4.0) (147.85929648241205 . 4.0) (147.06532663316582 . 4.0) (146.2713567839196 . 4.0) (145.47738693467335 . 4.0) (144.68341708542715 . 4.0) (143.8894472361809 . 4.0) (143.09547738693468 . 4.0) (142.30150753768845 . 4.0) (141.5075376884422 . 4.0) (140.71356783919597 . 4.0) (139.91959798994975 . 4.0) (139.1256281407035 . 4.0) (138.3316582914573 . 4.0) (137.53768844221105 . 4.0) (136.74371859296483 . 4.0) (135.9497487437186 . 4.0) (135.15577889447235 . 4.0) (134.36180904522615 . 4.0) (133.5678391959799 . 4.0) (132.77386934673365 . 4.0) (131.97989949748745 . 4.0) (131.1859296482412 . 4.0) (130.39195979899498 . 4.0) (129.59798994974875 . 4.0) (128.8040201005025 . 4.0) (128.01005025125627 . 4.0) (127.21608040201006 . 4.0) (126.42211055276383 . 4.0) (125.62814070351759 . 4.0) (124.83417085427135 . 4.0) (124.04020100502512 . 4.0) (123.24623115577889 . 4.0) (122.45226130653266 . 4.0) (121.65829145728644 . 4.0) (120.8643216080402 . 4.0) (120.07035175879396 . 4.0) (119.27638190954775 . 4.0) (118.48241206030151 . 4.0) (117.68844221105527 . 4.0) (116.89447236180905 . 4.0) (116.10050251256281 . 4.0) (115.30653266331657 . 4.0) (114.51256281407036 . 4.0) (113.71859296482413 . 4.0) (112.92462311557789 . 4.0) (112.13065326633165 . 4.0) (111.33668341708542 . 4.0) (110.5427135678392 . 4.0) (109.74874371859296 . 4.0) (108.95477386934674 . 4.0) (108.1608040201005 . 4.0) (107.36683417085426 . 4.0) (106.57286432160805 . 4.0) (105.77889447236181 . 4.0) (104.98492462311557 . 4.0) (104.19095477386934 . 4.0) (103.39698492462311 . 4.0) (102.60301507537689 . 4.0) (101.80904522613066 . 4.0) (101.01507537688443 . 4.0) (100.2211055276382 . 4.0) (99.42713567839196 . 4.0) (98.63316582914572 . 4.0) (97.83919597989949 . 4.0) (97.04522613065326 . 4.0) (96.25125628140704 . 4.0) (95.4572864321608 . 4.0) (94.66331658291458 . 4.0) (93.86934673366835 . 4.0) (93.0753768844221 . 4.0) (92.28140703517589 . 4.0) (91.48743718592964 . 4.0) (90.69346733668341 . 4.0) (89.89949748743717 . 4.0) (89.10552763819095 . 4.0) (88.31155778894473 . 4.0) (87.51758793969849 . 4.0) (86.72361809045225 . 4.0) (85.92964824120602 . 4.0) (85.1356783919598 . 4.0) (84.34170854271355 . 4.0) (83.54773869346734 . 4.0) (82.7537688442211 . 4.0) (81.95979899497488 . 4.0) (81.16582914572865 . 4.0) (80.37185929648241 . 4.0) (79.57788944723617 . 4.0) (78.78391959798995 . 4.0) (77.98994974874373 . 4.0) (77.19597989949747 . 4.0) (76.40201005025126 . 4.0) (75.60804020100502 . 4.0) (74.8140703517588 . 4.0) (74.02010050251255 . 4.0) (73.22613065326632 . 4.0) (72.4321608040201 . 4.0) (71.63819095477386 . 4.0) (70.84422110552764 . 4.0) (70.0502512562814 . 4.0) (69.25628140703517 . 4.0) (68.46231155778895 . 4.0) (67.66834170854271 . 4.0) (66.87437185929647 . 4.0) (66.08040201005025 . 4.0) (65.28643216080403 . 4.0) (64.49246231155779 . 4.0) (63.698492462311556 . 4.0) (62.90452261306533 . 4.0) (62.1105527638191 . 4.020263671875) (61.31658291457286 . 4.68389892578125) (60.52261306532663 . 7.234588623046875) (59.7286432160804 . 12.229583740234375) (58.934673366834176 . 23.197296142578125) (58.140703517587944 . 43.939697265625) (57.346733668341706 . 67.34677124023438) (56.552763819095475 . 80.53335571289062) (55.75879396984925 . 85.33837890625) (54.96482412060301 . 86.73910522460938) (54.170854271356774 . 87.0) (53.376884422110564 . 87.0) (52.582914572864325 . 87.0) (51.78894472361809 . 87.0) (50.99497487437186 . 87.0) (50.20100502512563 . 87.0) (49.4070351758794 . 87.0) (48.61306532663316 . 87.0) (47.81909547738693 . 87.0) (47.02512562814071 . 87.0) (46.23115577889447 . 87.0) (45.43718592964824 . 87.0) (44.64321608040201 . 87.0) (43.84924623115579 . 87.0) (43.05527638190955 . 87.0) (42.26130653266331 . 87.0) (41.46733668341709 . 87.0) (40.673366834170864 . 87.0) (39.87939698492463 . 87.0) (39.085427135678394 . 87.0) (38.291457286432156 . 87.0) (37.49748743718593 . 87.0) (36.70351758793969 . 87.0) (35.90954773869347 . 87.0) (35.11557788944724 . 87.0) (34.321608040201006 . 87.0) (33.527638190954775 . 87.0) (32.73366834170854 . 87.0) (31.93969849246232 . 87.0) (31.14572864321608 . 87.0) (30.351758793969847 . 87.0) (29.557788944723626 . 87.0) (28.76381909547739 . 87.0) (27.969849246231156 . 87.0) (27.175879396984932 . 87.0) (26.381909547738687 . 87.0) (25.587939698492466 . 87.0) (24.793969849246224 . 87.0) (24.0 . 87.0)) 0.0 0.0) (set-origin 0.0 10.0) (set-smoothing smoothed) (set-text-mode transparent) (set-clipping-region (#t (((((0.0 . 10.0) (190.0 . 10.0) (190.0 . 110.0) (0.0 . 110.0)))) . any))) (set-font (8 "bold" roman normal normal #f default #f aligned)) (set-text-foreground (0 0 0 1.0)) (do-set-pen! ((0 0 0 1.0) 1 solid round round #f)) (do-set-brush! ((255 255 255 1.0) solid #f #f #f)) (set-background (255 255 255 1.0)) (set-alpha 1) (set-origin 0.0 0.0) (set-smoothing unsmoothed) (set-text-mode transparent) (set-clipping-region #f) (set-font (12 #f default normal normal #f default #f aligned)) (set-text-foreground (0 0 0 1.0)) (do-set-pen! ((0 0 0 1.0) 1 solid round round #f)) (do-set-brush! ((255 255 255 1.0) solid #f #f #f)) (set-background (255 255 255 1.0)) (set-alpha 1.0) (set-font (8 "Liberation Serif" default normal bold #f default #t unaligned)) (draw-text "10 samples of 150 configurations" 63.73828125 0.0 #t 0 0) (set-font (12 #f default normal normal #f default #f aligned))) 190.0 110.0 6.16015625 0.0))
