note
	description: "[
		Widget representing the brown land of the Aleutian Islands
		]"
	author: "Jimmy J. Johnson"

class
	ALEUTIANS_WIDGET

inherit

	LOCATION_WIDGET
		redefine
			build_widgets,
			build_land
		end

create
	default_create

feature {NONE} -- Initialization

	build_widgets
			-- Add widgets to Current
		do
			Precursor {LOCATION_WIDGET}	-- Calls `build_land'
				-- Remove `text_widget'
			prune_all (text_widget)
				-- Make adjustments
--			scale_widget (land, 0.07)
			scale_widget (Current, 0.07)
			rotate_widget (land, 16.0)
			set_point_position (0, 0)
			translate_widget (Current, 672, 38)
		end

	build_land
			-- Add `land' to Current and create the polygons.
		do
			Precursor {LOCATION_WIDGET}
				-- Put polygons representing land into the `land'
			land.extend (unimak)
			land.extend (umnak)
			land.extend (chuginadak)
			land.extend (kagamil)
			land.extend (carlisle)
			land.extend (herbert)
			land.extend (yunaska)
			land.extend (amukta)
			land.extend (seguam)
			land.extend (amilia)
			land.extend (atka)
			land.extend (great_sitkin)
			land.extend (little_tanaga)
			land.extend (kagalaska)
			land.extend (adak)
			land.extend (kanaga)
			land.extend (tanaga)
			land.extend (semisopochnoi)
			land.extend (amchitka)
			land.extend (kiska)
			land.extend (agattu)
		end

feature {none} -- Implementation

	unimak: EV_MODEL_POLYGON
			-- Make the polygon
		attribute
			create Result
				-- Points generated by Grabber application
			Result.extend_point (create {EV_COORDINATE}.make_precise (380.74074074074042, -269.03703703703695))
			Result.extend_point (create {EV_COORDINATE}.make_precise (381.62962962962956, -266.66666666666663))
			Result.extend_point (create {EV_COORDINATE}.make_precise (385.4814814814813, -268.4444444444444))
			Result.extend_point (create {EV_COORDINATE}.make_precise (389.03703703703695, -266.96296296296288))
			Result.extend_point (create {EV_COORDINATE}.make_precise (389.03703703703695, -269.33333333333326))
			Result.extend_point (create {EV_COORDINATE}.make_precise (394.66666666666652, -271.11111111111103))
			Result.extend_point (create {EV_COORDINATE}.make_precise (393.18518518518476, -269.62962962962956))
			Result.extend_point (create {EV_COORDINATE}.make_precise (393.18518518518476, -266.96296296296288))
			Result.extend_point (create {EV_COORDINATE}.make_precise (396.74074074074042, -262.51851851851848))
			Result.extend_point (create {EV_COORDINATE}.make_precise (401.77777777777783, -256.5925925925925))
			Result.extend_point (create {EV_COORDINATE}.make_precise (404.14814814814827, -249.77777777777771))
			Result.extend_point (create {EV_COORDINATE}.make_precise (405.92592592592564, -247.99999999999994))
			Result.extend_point (create {EV_COORDINATE}.make_precise (404.4444444444448, -242.37037037037032))
			Result.extend_point (create {EV_COORDINATE}.make_precise (406.81481481481478, -236.1481481481481))
			Result.extend_point (create {EV_COORDINATE}.make_precise (407.70370370370392, -229.33333333333329))
			Result.extend_point (create {EV_COORDINATE}.make_precise (411.55555555555566, -223.70370370370364))
			Result.extend_point (create {EV_COORDINATE}.make_precise (421.03703703703695, -224.59259259259255))
			Result.extend_point (create {EV_COORDINATE}.make_precise (427.25925925925912, -226.07407407407402))
			Result.extend_point (create {EV_COORDINATE}.make_precise (432.88888888888914, -218.66666666666663))
			Result.extend_point (create {EV_COORDINATE}.make_precise (432.59259259259261, -214.81481481481475))
			Result.extend_point (create {EV_COORDINATE}.make_precise (437.33333333333348, -213.92592592592587))
			Result.extend_point (create {EV_COORDINATE}.make_precise (437.33333333333348, -211.25925925925921))
			Result.extend_point (create {EV_COORDINATE}.make_precise (432.88888888888914, -210.66666666666663))
			Result.extend_point (create {EV_COORDINATE}.make_precise (427.85185185185173, -211.55555555555551))
			Result.extend_point (create {EV_COORDINATE}.make_precise (430.81481481481478, -214.81481481481475))
			Result.extend_point (create {EV_COORDINATE}.make_precise (426.37037037037044, -215.11111111111106))
			Result.extend_point (create {EV_COORDINATE}.make_precise (422.81481481481478, -215.11111111111106))
			Result.extend_point (create {EV_COORDINATE}.make_precise (421.62962962962956, -212.7407407407407))
			Result.extend_point (create {EV_COORDINATE}.make_precise (420.4444444444448, -216.88888888888886))
			Result.extend_point (create {EV_COORDINATE}.make_precise (418.07407407407391, -217.18518518518513))
			Result.extend_point (create {EV_COORDINATE}.make_precise (416.29629629629608, -215.99999999999994))
			Result.extend_point (create {EV_COORDINATE}.make_precise (412.14814814814827, -218.66666666666663))
			Result.extend_point (create {EV_COORDINATE}.make_precise (412.74074074074042, -222.51851851851848))
			Result.extend_point (create {EV_COORDINATE}.make_precise (408.29629629629608, -223.40740740740736))
			Result.extend_point (create {EV_COORDINATE}.make_precise (405.92592592592564, -221.92592592592587))
			Result.extend_point (create {EV_COORDINATE}.make_precise (403.25925925925912, -218.37037037037032))
			Result.extend_point (create {EV_COORDINATE}.make_precise (404.74074074074042, -216.88888888888886))
			Result.extend_point (create {EV_COORDINATE}.make_precise (403.85185185185173, -209.48148148148141))
			Result.extend_point (create {EV_COORDINATE}.make_precise (402.07407407407391, -207.99999999999994))
			Result.extend_point (create {EV_COORDINATE}.make_precise (396.14814814814827, -207.99999999999994))
			Result.extend_point (create {EV_COORDINATE}.make_precise (396.14814814814827, -206.22222222222217))
			Result.extend_point (create {EV_COORDINATE}.make_precise (391.11111111111131, -204.4444444444444))
			Result.extend_point (create {EV_COORDINATE}.make_precise (388.4444444444448, -206.51851851851848))
			Result.extend_point (create {EV_COORDINATE}.make_precise (389.62962962962956, -202.66666666666663))
			Result.extend_point (create {EV_COORDINATE}.make_precise (381.92592592592564, -203.85185185185179))
			Result.extend_point (create {EV_COORDINATE}.make_precise (373.33333333333348, -205.33333333333329))
			Result.extend_point (create {EV_COORDINATE}.make_precise (362.07407407407391, -205.62962962962956))
			Result.extend_point (create {EV_COORDINATE}.make_precise (350.22222222222217, -204.7407407407407))
			Result.extend_point (create {EV_COORDINATE}.make_precise (341.62962962962956, -202.66666666666663))
			Result.extend_point (create {EV_COORDINATE}.make_precise (332.4444444444448, -199.99999999999994))
			Result.extend_point (create {EV_COORDINATE}.make_precise (325.92592592592564, -194.66666666666663))
			Result.extend_point (create {EV_COORDINATE}.make_precise (321.18518518518476, -190.51851851851848))
			Result.extend_point (create {EV_COORDINATE}.make_precise (319.40740740740739, -186.96296296296293))
			Result.extend_point (create {EV_COORDINATE}.make_precise (320.88888888888914, -185.77777777777771))
			Result.extend_point (create {EV_COORDINATE}.make_precise (320, -183.70370370370364))
			Result.extend_point (create {EV_COORDINATE}.make_precise (320, -181.03703703703698))
			Result.extend_point (create {EV_COORDINATE}.make_precise (317.92592592592564, -178.07407407407402))
			Result.extend_point (create {EV_COORDINATE}.make_precise (314.96296296296305, -175.99999999999994))
			Result.extend_point (create {EV_COORDINATE}.make_precise (312.88888888888914, -173.92592592592587))
			Result.extend_point (create {EV_COORDINATE}.make_precise (309.92592592592564, -172.1481481481481))
			Result.extend_point (create {EV_COORDINATE}.make_precise (306.07407407407391, -170.96296296296293))
			Result.extend_point (create {EV_COORDINATE}.make_precise (301.92592592592564, -170.66666666666663))
			Result.extend_point (create {EV_COORDINATE}.make_precise (299.85185185185173, -169.77777777777771))
			Result.extend_point (create {EV_COORDINATE}.make_precise (296.29629629629608, -169.77777777777771))
			Result.extend_point (create {EV_COORDINATE}.make_precise (295.40740740740739, -167.70370370370364))
			Result.extend_point (create {EV_COORDINATE}.make_precise (293.33333333333348, -167.70370370370364))
			Result.extend_point (create {EV_COORDINATE}.make_precise (290.96296296296305, -166.81481481481475))
			Result.extend_point (create {EV_COORDINATE}.make_precise (289.18518518518476, -167.99999999999994))
			Result.extend_point (create {EV_COORDINATE}.make_precise (286.22222222222217, -168.88888888888886))
			Result.extend_point (create {EV_COORDINATE}.make_precise (284.14814814814827, -167.99999999999994))
			Result.extend_point (create {EV_COORDINATE}.make_precise (281.77777777777783, -167.40740740740736))
			Result.extend_point (create {EV_COORDINATE}.make_precise (280, -168.59259259259255))
			Result.extend_point (create {EV_COORDINATE}.make_precise (277.03703703703695, -169.18518518518516))
			Result.extend_point (create {EV_COORDINATE}.make_precise (276.4444444444448, -170.37037037037032))
			Result.extend_point (create {EV_COORDINATE}.make_precise (274.07407407407391, -170.96296296296293))
			Result.extend_point (create {EV_COORDINATE}.make_precise (273.4814814814813, -173.92592592592587))
			Result.extend_point (create {EV_COORDINATE}.make_precise (271.11111111111131, -175.11111111111106))
			Result.extend_point (create {EV_COORDINATE}.make_precise (271.40740740740739, -178.96296296296293))
			Result.extend_point (create {EV_COORDINATE}.make_precise (269.62962962962956, -179.85185185185182))
			Result.extend_point (create {EV_COORDINATE}.make_precise (268.14814814814827, -180.4444444444444))
			Result.extend_point (create {EV_COORDINATE}.make_precise (268.14814814814827, -182.22222222222217))
			Result.extend_point (create {EV_COORDINATE}.make_precise (268.4444444444448, -185.48148148148141))
			Result.extend_point (create {EV_COORDINATE}.make_precise (265.4814814814813, -186.96296296296293))
			Result.extend_point (create {EV_COORDINATE}.make_precise (265.4814814814813, -194.37037037037032))
			Result.extend_point (create {EV_COORDINATE}.make_precise (263.70370370370392, -195.55555555555551))
			Result.extend_point (create {EV_COORDINATE}.make_precise (266.66666666666652, -200.29629629629625))
			Result.extend_point (create {EV_COORDINATE}.make_precise (269.92592592592564, -199.99999999999994))
			Result.extend_point (create {EV_COORDINATE}.make_precise (273.18518518518476, -203.55555555555551))
			Result.extend_point (create {EV_COORDINATE}.make_precise (272.88888888888914, -205.03703703703698))
			Result.extend_point (create {EV_COORDINATE}.make_precise (274.37037037037044, -204.1481481481481))
			Result.extend_point (create {EV_COORDINATE}.make_precise (277.62962962962956, -206.51851851851848))
			Result.extend_point (create {EV_COORDINATE}.make_precise (280.59259259259261, -205.92592592592587))
			Result.extend_point (create {EV_COORDINATE}.make_precise (285.33333333333348, -209.48148148148141))
			Result.extend_point (create {EV_COORDINATE}.make_precise (290.66666666666652, -218.96296296296291))
			Result.extend_point (create {EV_COORDINATE}.make_precise (293.33333333333348, -224.88888888888886))
			Result.extend_point (create {EV_COORDINATE}.make_precise (294.51851851851825, -227.25925925925921))
			Result.extend_point (create {EV_COORDINATE}.make_precise (294.22222222222217, -229.03703703703698))
			Result.extend_point (create {EV_COORDINATE}.make_precise (297.77777777777783, -229.33333333333329))
			Result.extend_point (create {EV_COORDINATE}.make_precise (298.96296296296305, -228.74074074074068))
			Result.extend_point (create {EV_COORDINATE}.make_precise (298.96296296296305, -231.40740740740733))
			Result.extend_point (create {EV_COORDINATE}.make_precise (296.59259259259261, -231.40740740740733))
			Result.extend_point (create {EV_COORDINATE}.make_precise (298.66666666666652, -236.74074074074068))
			Result.extend_point (create {EV_COORDINATE}.make_precise (300.14814814814827, -238.51851851851848))
			Result.extend_point (create {EV_COORDINATE}.make_precise (299.25925925925912, -243.85185185185179))
			Result.extend_point (create {EV_COORDINATE}.make_precise (303.11111111111131, -245.33333333333329))
			Result.extend_point (create {EV_COORDINATE}.make_precise (303.40740740740739, -247.70370370370364))
			Result.extend_point (create {EV_COORDINATE}.make_precise (307.25925925925912, -250.66666666666663))
			Result.extend_point (create {EV_COORDINATE}.make_precise (311.11111111111131, -253.03703703703698))
			Result.extend_point (create {EV_COORDINATE}.make_precise (317.03703703703695, -249.48148148148141))
			Result.extend_point (create {EV_COORDINATE}.make_precise (318.81481481481478, -246.51851851851848))
			Result.extend_point (create {EV_COORDINATE}.make_precise (322.37037037037044, -245.92592592592587))
			Result.extend_point (create {EV_COORDINATE}.make_precise (324.4444444444448, -247.99999999999994))
			Result.extend_point (create {EV_COORDINATE}.make_precise (326.81481481481478, -245.62962962962956))
			Result.extend_point (create {EV_COORDINATE}.make_precise (329.18518518518476, -246.81481481481475))
			Result.extend_point (create {EV_COORDINATE}.make_precise (330.66666666666652, -245.03703703703698))
			Result.extend_point (create {EV_COORDINATE}.make_precise (330.66666666666652, -248.29629629629625))
			Result.extend_point (create {EV_COORDINATE}.make_precise (328.88888888888914, -249.77777777777771))
			Result.extend_point (create {EV_COORDINATE}.make_precise (331.25925925925912, -251.85185185185179))
			Result.extend_point (create {EV_COORDINATE}.make_precise (333.33333333333348, -250.07407407407402))
			Result.extend_point (create {EV_COORDINATE}.make_precise (334.81481481481478, -252.74074074074068))
			Result.extend_point (create {EV_COORDINATE}.make_precise (333.92592592592564, -254.22222222222217))
			Result.extend_point (create {EV_COORDINATE}.make_precise (335.70370370370392, -256.29629629629625))
			Result.extend_point (create {EV_COORDINATE}.make_precise (338.96296296296305, -258.07407407407402))
			Result.extend_point (create {EV_COORDINATE}.make_precise (341.03703703703695, -256.5925925925925))
			Result.extend_point (create {EV_COORDINATE}.make_precise (345.4814814814813, -256.8888888888888))
			Result.extend_point (create {EV_COORDINATE}.make_precise (350.22222222222217, -259.55555555555549))
			Result.extend_point (create {EV_COORDINATE}.make_precise (354.37037037037044, -262.51851851851848))
			Result.extend_point (create {EV_COORDINATE}.make_precise (360.29629629629608, -269.03703703703695))
			Result.extend_point (create {EV_COORDINATE}.make_precise (363.25925925925912, -268.4444444444444))
			Result.extend_point (create {EV_COORDINATE}.make_precise (366.81481481481478, -269.33333333333326))
			Result.extend_point (create {EV_COORDINATE}.make_precise (369.77777777777783, -271.70370370370364))
			Result.extend_point (create {EV_COORDINATE}.make_precise (375.11111111111131, -269.92592592592587))
		end

	umnak: EV_MODEL_POLYGON
			-- Make the polygon
		attribute
			create Result
				-- Points generated by Grabber application
			Result.extend_point (create {EV_COORDINATE}.make_precise (-34.074074074074133, -32.888888888888914))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-29.629629629629562, -35.851851851851848))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-27.555555555555202, -34.962962962962933))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-21.333333333333258, -37.629629629629619))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-20.444444444444343, -36.148148148148096))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-16.888888888888687, -37.333333333333314))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-14.222222222221944, -38.814814814814781))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-10.96296296296282, -37.925925925925867))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-10.666666666666515, -34.666666666666629))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-1.4814814814812962, -31.111111111111086))
			Result.extend_point (create {EV_COORDINATE}.make_precise (5.925925925925867, -31.703703703703695))
			Result.extend_point (create {EV_COORDINATE}.make_precise (6.518518518518249, -27.851851851851848))
			Result.extend_point (create {EV_COORDINATE}.make_precise (2.0740740740739056, -21.925925925925867))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-0.88888888888868678, -19.259259259259238))
			Result.extend_point (create {EV_COORDINATE}.make_precise (1.1851851851849915, -16))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-0.29629629629607734, -10.666666666666629))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-4.1481481481480387, -7.4074074074073906))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-11.555555555555202, -3.2592592592592382))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-13.92592592592564, -0.88888888888891415))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-19.851851851851734, 2.6666666666666856))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-23.111111111110858, 4.7407407407407618))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-33.185185185185219, 8.2962962962963047))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-40.296296296296077, 12.740740740740762))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-43.851851851851734, 17.185185185185219))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-42.96296296296282, 18.666666666666686))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-44.444444444444343, 19.555555555555543))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-44.444444444444343, 23.703703703703695))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-47.703703703703695, 21.629629629629676))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-46.814814814814781, 27.555555555555543))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-50.074074074074133, 29.629629629629676))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-53.92592592592564, 34.074074074074076))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-56, 36.148148148148152))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-55.407407407407391, 38.814814814814781))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-58.666666666666515, 41.777777777777771))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-61.037037037036953, 40.296296296296305))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-61.333333333333258, 42.370370370370381))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-66.074074074074133, 42.370370370370381))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-69.92592592592564, 45.925925925925981))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-72.592592592592382, 51.259259259259295))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-74.96296296296282, 51.555555555555543))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-75.555555555555202, 54.814814814814781))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-77.629629629629562, 52.148148148148152))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-78.518518518518476, 54.814814814814781))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-80.592592592592382, 55.407407407407391))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-83.259259259259125, 54.814814814814781))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-85.333333333333258, 56.888888888888857))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-83.259259259259125, 58.96296296296299))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-83.555555555555202, 61.925925925925981))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-87.703703703703695, 58.96296296296299))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-92.148148148148039, 61.333333333333371))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-98.074074074074133, 65.481481481481467))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-103.11111111111086, 68.740740740740762))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-106.37037037037044, 68.148148148148152))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-108.44444444444434, 70.814814814814781))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-110.81481481481478, 72.888888888888857))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-113.7777777777776, 74.074074074074076))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-112.88888888888869, 72))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-109.33333333333326, 69.629629629629676))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-110.51851851851848, 67.851851851851904))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-102.22222222222194, 65.777777777777771))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-100.14814814814804, 62.222222222222172))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-101.62962962962956, 60.740740740740762))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-100.74074074074088, 58.074074074074076))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-97.185185185185219, 57.481481481481467))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-92.740740740740875, 56.296296296296305))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-92.148148148148039, 53.333333333333371))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-91.555555555555202, 49.481481481481467))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-93.629629629629562, 49.185185185185219))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-93.037037037036953, 44.740740740740762))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-89.185185185185219, 44.444444444444457))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-85.333333333333258, 40.888888888888857))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-83.851851851851734, 36.444444444444457))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-83.851851851851734, 33.481481481481467))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-86.518518518518476, 30.51851851851859))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-86.814814814814781, 25.481481481481524))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-83.851851851851734, 22.51851851851859))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-83.555555555555202, 18.96296296296299))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-80.296296296296077, 18.074074074074133))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-75.851851851851734, 15.111111111111086))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-76.740740740740875, 13.629629629629676))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-73.481481481481296, 13.037037037037067))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-70.222222222221944, 8.5925925925926094))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-69.629629629629562, 6.2222222222222285))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-65.185185185185219, 8.8888888888889142))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-60.740740740740875, 9.4814814814815236))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-57.777777777777601, 6.814814814814838))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-56, 6.2222222222222285))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-53.333333333333258, 8.8888888888889142))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-51.555555555555202, 8.5925925925926094))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-48.888888888888687, 8.2962962962963047))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-46.518518518518476, 9.4814814814815236))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-44.740740740740875, 4.7407407407407618))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-45.333333333333258, 3.259259259259295))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-47.111111111110858, 3.259259259259295))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-48, -0.88888888888891415))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-51.259259259259125, -0.88888888888891415))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-52.740740740740875, -2.0740740740740193))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-52.444444444444343, -3.5555555555555429))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-50.370370370370438, -5.3333333333333144))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-48.296296296296077, -10.666666666666629))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-50.074074074074133, -12.740740740740705))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-50.666666666666515, -16.296296296296305))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-45.629629629629562, -23.407407407407391))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-44.148148148148039, -26.370370370370324))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-42.370370370370438, -25.48148148148141))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-37.92592592592564, -29.03703703703701))
		end

	chuginadak: EV_MODEL_POLYGON
			-- Make the polygon
		attribute
			create Result
				-- Points generated by Grabber application
			Result.extend_point (create {EV_COORDINATE}.make_precise (-195.85185185185173, 74.96296296296299))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-196.14814814814804, 70.51851851851859))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-191.40740740740739, 68.148148148148152))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-186.96296296296282, 69.629629629629676))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-183.7037037037037, 68.740740740740762))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-183.7037037037037, 66.074074074074076))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-178.37037037037044, 65.185185185185219))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-176.29629629629608, 63.703703703703695))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-172.74074074074088, 63.407407407407391))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-170.96296296296282, 64.888888888888857))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-168.88888888888869, 64.888888888888857))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-166.22222222222194, 68.444444444444457))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-167.40740740740739, 73.185185185185219))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-166.22222222222194, 74.666666666666686))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-169.4814814814813, 75.555555555555543))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-167.7037037037037, 80.296296296296305))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-170.66666666666652, 80.592592592592609))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-173.33333333333326, 79.111111111111086))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-175.7037037037037, 76.148148148148152))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-178.37037037037044, 77.333333333333371))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-179.85185185185173, 75.259259259259295))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-182.22222222222194, 75.259259259259295))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-183.11111111111086, 72.888888888888857))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-185.18518518518522, 75.555555555555543))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-187.85185185185173, 77.333333333333371))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-188.14814814814804, 79.407407407407391))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-193.7777777777776, 78.814814814814781))
		end

	kagamil: EV_MODEL_POLYGON
			-- Make the polygon
		attribute
			create Result
				-- Points generated by Grabber application
			Result.extend_point (create {EV_COORDINATE}.make_precise (-170.37037037037044, 42.370370370370381))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-166.22222222222194, 42.370370370370381))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-165.92592592592564, 46.222222222222172))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-164.14814814814804, 47.407407407407391))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-166.81481481481478, 48.888888888888857))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-167.40740740740739, 51.555555555555543))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-167.40740740740739, 53.925925925925981))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-171.85185185185173, 55.111111111111086))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-171.85185185185173, 53.333333333333371))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-174.51851851851848, 51.555555555555543))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-173.33333333333326, 46.814814814814781))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-173.33333333333326, 43.555555555555543))
		end

	carlisle: EV_MODEL_POLYGON
			-- Make the polygon
		attribute
			create Result
				-- Points generated by Grabber application
			Result.extend_point (create {EV_COORDINATE}.make_precise (-207.40740740740739, 63.407407407407391))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-203.85185185185173, 59.555555555555543))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-198.81481481481478, 59.555555555555543))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-195.25925925925912, 61.037037037037067))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-195.25925925925912, 65.777777777777771))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-198.81481481481478, 69.037037037037067))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-204.74074074074088, 67.851851851851904))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-204.14814814814804, 65.185185185185219))
		end

	herbert: EV_MODEL_POLYGON
			-- Make the polygon
		attribute
			create Result
				-- Points generated by Grabber application
			Result.extend_point (create {EV_COORDINATE}.make_precise (-210.37037037037044, 80))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-208.59259259259238, 80.592592592592609))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-207.40740740740739, 79.407407407407391))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-204.14814814814804, 81.185185185185219))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-200.59259259259238, 80.888888888888857))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-200.59259259259238, 86.814814814814781))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-205.33333333333326, 91.555555555555543))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-208.59259259259238, 90.074074074074076))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-211.85185185185173, 90.666666666666686))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-212.74074074074088, 88.592592592592609))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-211.85185185185173, 86.814814814814781))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-212.14814814814804, 84.444444444444457))
		end

	yunaska: EV_MODEL_POLYGON
			-- Make the polygon
		attribute
			create Result
				-- Points generated by Grabber application
			Result.extend_point (create {EV_COORDINATE}.make_precise (-257.18518518518522, 93.333333333333371))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-250.96296296296282, 93.333333333333371))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-246.22222222222194, 97.481481481481467))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-247.11111111111086, 102.51851851851859))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-250.07407407407413, 107.2592592592593))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-254.51851851851848, 108.14814814814815))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-258.07407407407413, 107.55555555555554))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-260.14814814814804, 109.03703703703707))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-261.92592592592564, 109.33333333333337))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-267.85185185185173, 116.74074074074076))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-269.33333333333326, 114.66666666666669))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-272, 114.66666666666669))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-272.59259259259238, 107.8518518518519))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-270.22222222222194, 105.48148148148147))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-270.51851851851848, 102.51851851851859))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-265.7777777777776, 101.33333333333337))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-262.22222222222194, 98.96296296296299))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-264.59259259259238, 96.296296296296305))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-259.5555555555552, 95.111111111111086))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-257.7777777777776, 96.296296296296305))
		end

	amukta: EV_MODEL_POLYGON
			-- Make the polygon
		attribute
			create Result
				-- Points generated by Grabber application
			Result.extend_point (create {EV_COORDINATE}.make_precise (-314.66666666666652, 123.2592592592593))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-307.85185185185173, 117.92592592592598))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-306.96296296296282, 120.2962962962963))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-303.40740740740739, 122.07407407407408))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-303.7037037037037, 126.22222222222217))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-306.96296296296282, 131.8518518518519))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-311.7037037037037, 128.59259259259261))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-313.7777777777776, 130.07407407407408))
		end

	seguam: EV_MODEL_POLYGON
			-- Make the polygon
		attribute
			create Result
				-- Points generated by Grabber application
			Result.extend_point (create {EV_COORDINATE}.make_precise (-419.85185185185173, 138.66666666666669))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-414.51851851851848, 138.37037037037038))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-412.44444444444434, 141.33333333333337))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-408.29629629629608, 141.33333333333337))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-404.44444444444434, 145.18518518518522))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-403.85185185185173, 147.55555555555554))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-408.29629629629608, 151.40740740740739))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-414.81481481481478, 155.55555555555554))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-417.4814814814813, 154.07407407407408))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-418.96296296296282, 156.74074074074076))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-422.81481481481478, 156.74074074074076))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-426.07407407407413, 160))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-428.44444444444434, 157.62962962962968))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-434.66666666666652, 157.92592592592587))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-435.85185185185173, 152.88888888888886))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-430.81481481481478, 148.74074074074076))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-430.51851851851848, 145.77777777777777))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-426.96296296296282, 142.51851851851859))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-423.40740740740739, 141.92592592592587))
		end

	amilia: EV_MODEL_POLYGON
			-- Make the polygon
		attribute
			create Result
				-- Points generated by Grabber application
			Result.extend_point (create {EV_COORDINATE}.make_precise (-538.37037037037021, 175.40740740740739))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-533.92592592592564, 177.48148148148147))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-529.7777777777776, 176.2962962962963))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-528.88888888888869, 175.11111111111109))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-524.74074074074065, 173.62962962962968))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-521.7777777777776, 174.22222222222217))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-521.4814814814813, 176.2962962962963))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-516.44444444444434, 173.03703703703695))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-514.66666666666652, 175.40740740740739))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-517.33333333333303, 177.77777777777777))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-515.5555555555552, 179.25925925925924))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-514.37037037037021, 182.22222222222217))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-512.88888888888869, 180.14814814814815))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-510.81481481481478, 178.37037037037032))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-509.92592592592564, 179.55555555555554))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-507.25925925925912, 178.37037037037032))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-505.18518518518522, 180.44444444444446))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-501.92592592592564, 179.25925925925924))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-500.44444444444434, 182.81481481481478))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-496.29629629629608, 181.62962962962968))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-495.70370370370347, 178.96296296296299))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-490.96296296296282, 179.8518518518519))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-489.7777777777776, 182.22222222222217))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-487.70370370370347, 181.33333333333337))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-486.22222222222194, 180.14814814814815))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-482.66666666666652, 180.14814814814815))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-480.59259259259238, 181.92592592592587))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-479.11111111111086, 179.8518518518519))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-476.14814814814804, 181.33333333333337))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-474.66666666666652, 182.51851851851859))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-473.18518518518522, 181.03703703703695))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-468.44444444444434, 180.74074074074076))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-468.44444444444434, 182.22222222222217))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-464.88888888888869, 181.92592592592587))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-466.07407407407391, 183.70370370370364))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-469.62962962962956, 184))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-471.11111111111086, 185.18518518518522))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-476.44444444444434, 185.48148148148147))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-477.62962962962956, 184.2962962962963))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-482.37037037037021, 186.96296296296299))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-487.70370370370347, 184.88888888888886))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-489.4814814814813, 186.37037037037032))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-493.62962962962956, 186.37037037037032))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-494.51851851851848, 188.14814814814815))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-498.07407407407391, 187.25925925925924))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-502.22222222222194, 190.81481481481478))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-503.99999999999977, 186.96296296296299))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-504.59259259259238, 190.51851851851859))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-510.22222222222194, 189.62962962962968))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-510.81481481481478, 187.8518518518519))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-512.88888888888869, 190.22222222222217))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-511.40740740740739, 192.2962962962963))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-513.7777777777776, 192.88888888888886))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-515.25925925925912, 190.81481481481478))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-517.92592592592564, 191.40740740740739))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-519.99999999999977, 189.92592592592587))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-518.22222222222194, 187.25925925925924))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-523.25925925925912, 187.25925925925924))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-522.96296296296282, 189.33333333333337))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-525.92592592592564, 189.03703703703695))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-527.11111111111086, 187.25925925925924))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-528.29629629629608, 188.74074074074076))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-530.37037037037021, 189.03703703703695))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-530.96296296296282, 185.48148148148147))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-534.81481481481478, 188.74074074074076))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-541.62962962962956, 188.44444444444446))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-543.40740740740739, 190.22222222222217))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-547.25925925925912, 188.74074074074076))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-548.74074074074065, 189.92592592592587))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-551.40740740740739, 187.8518518518519))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-554.37037037037021, 186.96296296296299))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-553.4814814814813, 182.81481481481478))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-555.5555555555552, 183.70370370370364))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-557.03703703703695, 180.44444444444446))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-558.51851851851848, 181.92592592592587))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-563.25925925925912, 177.77777777777777))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-563.25925925925912, 176))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-558.51851851851848, 176.59259259259255))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-553.7777777777776, 177.77777777777777))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-549.03703703703695, 175.11111111111109))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-549.92592592592564, 178.96296296296299))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-546.96296296296282, 179.25925925925924))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-544.29629629629608, 176.88888888888886))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-544.29629629629608, 180.14814814814815))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-540.74074074074065, 182.81481481481478))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-540.74074074074065, 179.55555555555554))
		end

	atka: EV_MODEL_POLYGON
			-- Make the polygon
		attribute
			create Result
				-- Points generated by Grabber application
			Result.extend_point (create {EV_COORDINATE}.make_precise (-583.40740740740739, 140.74074074074076))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-583.70370370370347, 136))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-579.5555555555552, 136.2962962962963))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-577.18518518518522, 134.22222222222217))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-571.5555555555552, 133.62962962962968))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-570.66666666666652, 136.2962962962963))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-564.14814814814804, 138.37037037037038))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-564.14814814814804, 141.62962962962968))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-558.81481481481478, 142.22222222222217))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-560.88888888888869, 145.18518518518522))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-557.33333333333303, 149.03703703703695))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-558.51851851851848, 155.25925925925924))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-562.07407407407391, 156.74074074074076))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-561.18518518518522, 159.40740740740739))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-564.14814814814804, 163.25925925925924))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-571.85185185185173, 163.25925925925924))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-575.11111111111086, 161.77777777777777))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-577.18518518518522, 164.44444444444446))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-575.40740740740739, 168.88888888888886))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-570.96296296296282, 170.66666666666669))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-570.96296296296282, 173.03703703703695))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-568.29629629629608, 173.03703703703695))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-566.51851851851848, 175.70370370370364))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-567.11111111111086, 181.03703703703695))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-569.18518518518522, 179.25925925925924))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-571.5555555555552, 177.48148148148147))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-574.22222222222194, 179.55555555555554))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-578.07407407407391, 177.77777777777777))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-578.37037037037021, 181.92592592592587))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-583.99999999999977, 181.92592592592587))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-583.40740740740739, 178.66666666666669))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-586.66666666666652, 179.25925925925924))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-586.96296296296282, 176.88888888888886))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-591.99999999999977, 181.92592592592587))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-594.07407407407391, 186.37037037037032))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-596.14814814814804, 187.55555555555554))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-595.85185185185173, 191.11111111111109))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-599.40740740740739, 189.03703703703695))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-600.88888888888869, 184))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-602.37037037037021, 184.88888888888886))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-604.74074074074065, 185.48148148148147))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-607.11111111111086, 182.51851851851859))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-605.62962962962956, 187.25925925925924))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-603.5555555555552, 190.22222222222217))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-610.07407407407391, 185.77777777777777))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-608.29629629629608, 189.92592592592587))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-610.07407407407391, 190.81481481481478))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-611.5555555555552, 189.33333333333337))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-613.92592592592564, 189.92592592592587))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-615.11111111111086, 191.40740740740739))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-618.07407407407391, 191.70370370370364))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-621.62962962962956, 187.55555555555554))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-621.92592592592564, 190.81481481481478))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-623.11111111111086, 191.11111111111109))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-621.03703703703695, 193.77777777777777))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-626.66666666666652, 194.96296296296299))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-629.33333333333303, 192.2962962962963))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-634.37037037037021, 192.59259259259255))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-637.92592592592564, 190.51851851851859))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-640.29629629629608, 189.62962962962968))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-641.18518518518522, 191.70370370370364))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-646.51851851851848, 191.40740740740739))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-647.70370370370347, 193.48148148148147))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-651.85185185185173, 192))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-650.96296296296282, 194.37037037037032))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-657.7777777777776, 194.07407407407408))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-658.37037037037021, 196.14814814814815))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-662.22222222222194, 196.14814814814815))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-662.51851851851848, 194.96296296296299))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-668.74074074074065, 194.37037037037032))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-669.33333333333303, 195.8518518518519))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-671.99999999999977, 195.8518518518519))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-671.40740740740739, 194.37037037037032))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-675.25925925925912, 194.66666666666669))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-678.51851851851848, 195.55555555555554))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-679.40740740740739, 194.07407407407408))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-681.18518518518522, 192.59259259259255))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-677.33333333333303, 192.2962962962963))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-674.66666666666652, 189.92592592592587))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-672.88888888888869, 189.62962962962968))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-672.59259259259238, 191.40740740740739))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-669.03703703703695, 191.11111111111109))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-668.44444444444434, 187.55555555555554))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-660.14814814814804, 187.55555555555554))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-661.92592592592564, 190.81481481481478))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-658.96296296296282, 191.11111111111109))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-657.4814814814813, 188.44444444444446))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-653.92592592592564, 190.22222222222217))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-654.81481481481478, 185.48148148148147))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-652.44444444444434, 183.70370370370364))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-650.37037037037021, 184.88888888888886))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-649.4814814814813, 186.66666666666669))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-647.11111111111086, 185.77777777777777))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-646.22222222222194, 183.70370370370364))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-642.66666666666652, 184.2962962962963))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-643.25925925925912, 181.03703703703695))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-640.29629629629608, 178.96296296296299))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-640.29629629629608, 183.40740740740739))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-638.81481481481478, 181.03703703703695))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-636.44444444444434, 180.44444444444446))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-635.85185185185173, 182.51851851851859))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-631.11111111111086, 182.22222222222217))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-630.22222222222194, 184))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-629.03703703703695, 182.22222222222217))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-626.96296296296282, 181.92592592592587))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-626.96296296296282, 178.66666666666669))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-623.70370370370347, 178.37037037037032))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-623.11111111111086, 181.03703703703695))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-618.37037037037021, 180.14814814814815))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-617.7777777777776, 182.22222222222217))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-616.29629629629608, 180.14814814814815))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-612.14814814814804, 181.62962962962968))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-613.62962962962956, 178.66666666666669))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-613.92592592592564, 174.22222222222217))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-610.37037037037021, 176.2962962962963))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-607.70370370370347, 175.70370370370364))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-603.85185185185173, 176.2962962962963))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-605.03703703703695, 174.22222222222217))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-609.4814814814813, 173.92592592592587))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-609.18518518518522, 171.8518518518519))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-610.66666666666652, 170.07407407407408))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-608.88888888888869, 168.59259259259255))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-606.51851851851848, 170.96296296296299))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-604.44444444444434, 170.37037037037032))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-604.14814814814804, 168.2962962962963))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-601.4814814814813, 168.59259259259255))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-599.99999999999977, 169.77777777777777))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-598.51851851851848, 171.55555555555554))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-596.14814814814804, 168.88888888888886))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-598.51851851851848, 167.70370370370364))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-600.59259259259238, 165.92592592592587))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-600.59259259259238, 163.55555555555554))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-596.44444444444434, 163.8518518518519))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-594.07407407407391, 163.25925925925924))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-590.51851851851848, 165.62962962962968))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-587.25925925925912, 165.03703703703695))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-586.07407407407391, 161.77777777777777))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-583.70370370370347, 162.96296296296299))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-583.70370370370347, 160.88888888888886))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-580.44444444444434, 158.51851851851859))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-581.03703703703695, 155.55555555555554))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-586.37037037037021, 154.66666666666669))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-583.11111111111086, 152.2962962962963))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-586.96296296296282, 152.59259259259255))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-588.44444444444434, 149.33333333333337))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-585.4814814814813, 147.55555555555554))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-585.7777777777776, 146.37037037037032))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-590.51851851851848, 149.92592592592587))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-587.85185185185173, 154.37037037037032))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-591.99999999999977, 154.37037037037032))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-593.7777777777776, 152))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-597.92592592592564, 152.59259259259255))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-599.99999999999977, 151.11111111111109))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-600.29629629629608, 148.74074074074076))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-598.22222222222194, 148.14814814814815))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-593.7777777777776, 148.74074074074076))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-589.33333333333303, 147.8518518518519))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-588.44444444444434, 144))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-588.74074074074065, 141.03703703703707))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-585.18518518518522, 139.2592592592593))
		end

	great_sitkin: EV_MODEL_POLYGON
			-- Make the polygon
		attribute
			create Result
				-- Points generated by Grabber application
			Result.extend_point (create {EV_COORDINATE}.make_precise (-753.7777777777776, 178.66666666666669))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-746.07407407407391, 180.74074074074076))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-743.70370370370347, 184.2962962962963))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-741.03703703703695, 185.48148148148147))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-741.33333333333303, 189.92592592592587))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-737.4814814814813, 190.22222222222217))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-739.85185185185173, 192.59259259259255))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-743.11111111111086, 192))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-745.4814814814813, 195.55555555555554))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-743.99999999999977, 196.44444444444446))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-743.70370370370347, 200.2962962962963))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-748.74074074074065, 200.8888888888888))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-749.92592592592564, 197.33333333333337))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-752.88888888888869, 196.14814814814815))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-757.62962962962956, 196.44444444444446))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-757.03703703703695, 192.88888888888886))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-759.70370370370347, 189.62962962962968))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-759.70370370370347, 184.88888888888886))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-757.03703703703695, 183.11111111111109))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-756.14814814814804, 180.74074074074076))
		end

	little_tanaga: EV_MODEL_POLYGON
			-- Make the polygon
		attribute
			create Result
				-- Points generated by Grabber application
			Result.extend_point (create {EV_COORDINATE}.make_precise (-760.59259259259238, 214.22222222222217))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-756.44444444444434, 213.92592592592587))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-752.29629629629608, 217.18518518518522))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-753.7777777777776, 219.25925925925924))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-750.51851851851848, 219.25925925925924))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-749.62962962962956, 217.48148148148141))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-747.85185185185173, 217.18518518518522))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-745.7777777777776, 218.37037037037032))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-743.70370370370347, 218.37037037037032))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-741.62962962962956, 223.11111111111109))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-740.44444444444434, 225.18518518518522))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-743.99999999999977, 224.8888888888888))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-743.99999999999977, 221.62962962962968))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-745.4814814814813, 222.51851851851859))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-751.40740740740739, 223.11111111111109))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-748.44444444444434, 225.48148148148141))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-751.40740740740739, 225.77777777777771))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-753.4814814814813, 225.48148148148141))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-753.7777777777776, 221.92592592592587))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-755.25925925925912, 224))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-755.85185185185173, 227.25925925925924))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-754.07407407407391, 230.22222222222217))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-757.92592592592564, 228.14814814814815))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-757.33333333333303, 224.8888888888888))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-759.99999999999977, 224.5925925925925))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-763.25925925925912, 222.22222222222217))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-762.07407407407391, 220.14814814814815))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-759.40740740740739, 218.96296296296293))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-760.88888888888869, 216.2962962962963))
		end

	kagalaska: EV_MODEL_POLYGON
			-- Make the polygon
		attribute
			create Result
				-- Points generated by Grabber application
			Result.extend_point (create {EV_COORDINATE}.make_precise (-778.96296296296282, 219.25925925925924))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-777.7777777777776, 215.40740740740739))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-773.62962962962956, 215.40740740740739))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-770.96296296296282, 216.5925925925925))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-769.4814814814813, 215.40740740740739))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-765.92592592592564, 215.40740740740739))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-767.40740740740739, 220.44444444444446))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-773.33333333333303, 221.03703703703695))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-769.18518518518522, 221.92592592592587))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-768.88888888888869, 223.40740740740739))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-767.11111111111086, 222.51851851851859))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-765.03703703703695, 223.70370370370358))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-765.03703703703695, 226.37037037037032))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-767.70370370370347, 226.37037037037032))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-765.33333333333303, 228.44444444444446))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-767.11111111111086, 230.51851851851859))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-767.11111111111086, 234.37037037037032))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-770.07407407407391, 231.70370370370358))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-768.88888888888869, 235.25925925925924))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-771.85185185185173, 235.85185185185185))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-774.51851851851848, 234.07407407407402))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-777.18518518518522, 234.66666666666663))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-777.18518518518522, 228.14814814814815))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-778.37037037037021, 227.25925925925924))
		end

	adak: EV_MODEL_POLYGON
			-- Make the polygon
		attribute
			create Result
				-- Points generated by Grabber application
			Result.extend_point (create {EV_COORDINATE}.make_precise (-797.03703703703684, 197.03703703703695))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-794.37037037037021, 195.8518518518519))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-791.70370370370347, 196.74074074074076))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-790.51851851851848, 200.2962962962963))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-792.59259259259238, 203.25925925925924))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-790.22222222222194, 206.51851851851859))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-790.51851851851848, 209.18518518518522))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-796.44444444444423, 210.66666666666663))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-797.33333333333303, 215.70370370370358))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-800.29629629629608, 217.48148148148141))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-798.22222222222194, 217.48148148148141))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-793.7777777777776, 217.77777777777771))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-797.62962962962945, 220.44444444444446))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-792.88888888888869, 219.55555555555554))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-787.85185185185173, 221.92592592592587))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-788.14814814814804, 218.96296296296293))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-783.70370370370347, 217.77777777777771))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-782.51851851851848, 220.44444444444446))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-780.74074074074065, 218.07407407407402))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-779.25925925925912, 222.51851851851859))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-780.14814814814804, 227.85185185185185))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-779.5555555555552, 231.40740740740739))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-779.5555555555552, 234.66666666666663))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-781.33333333333303, 234.37037037037032))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-783.11111111111086, 236.74074074074076))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-784.29629629629608, 233.77777777777771))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-787.25925925925912, 231.40740740740739))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-789.62962962962956, 234.96296296296293))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-787.5555555555552, 235.55555555555554))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-787.85185185185173, 237.92592592592587))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-789.03703703703695, 240.8888888888888))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-790.51851851851848, 237.62962962962968))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-791.11111111111086, 240))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-794.07407407407391, 240.8888888888888))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-794.96296296296282, 238.22222222222217))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-796.44444444444423, 239.11111111111109))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-796.14814814814804, 241.77777777777771))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-799.40740740740728, 241.77777777777771))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-799.99999999999977, 238.81481481481478))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-800.88888888888857, 242.66666666666663))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-802.96296296296282, 243.25925925925924))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-805.33333333333303, 242.37037037037032))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-807.11111111111086, 244.44444444444446))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-806.81481481481467, 247.70370370370358))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-806.22222222222194, 250.66666666666663))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-810.37037037037021, 249.77777777777771))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-812.14814814814804, 252.74074074074076))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-816.88888888888857, 249.48148148148141))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-815.40740740740728, 247.70370370370358))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-815.40740740740728, 243.85185185185185))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-817.18518518518511, 242.96296296296293))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-815.70370370370347, 240.8888888888888))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-816.29629629629608, 237.33333333333337))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-817.4814814814813, 237.62962962962968))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-817.7777777777776, 240.8888888888888))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-819.85185185185173, 241.18518518518522))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-818.6666666666664, 244.74074074074076))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-821.92592592592564, 247.70370370370358))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-823.11111111111086, 250.37037037037032))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-824.59259259259238, 253.92592592592587))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-827.25925925925901, 256.8888888888888))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-829.33333333333303, 255.70370370370358))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-831.40740740740728, 254.81481481481478))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-831.99999999999977, 250.66666666666663))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-829.62962962962945, 248.2962962962963))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-830.81481481481467, 246.81481481481478))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-828.74074074074065, 243.55555555555554))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-825.4814814814813, 240))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-823.11111111111086, 240.2962962962963))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-820.44444444444423, 236.44444444444446))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-821.62962962962945, 234.07407407407402))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-820.44444444444423, 233.18518518518522))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-816.59259259259238, 234.96296296296293))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-818.37037037037021, 232.5925925925925))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-815.99999999999977, 230.22222222222217))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-819.85185185185173, 230.51851851851859))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-823.40740740740728, 230.51851851851859))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-824.29629629629608, 224.5925925925925))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-820.44444444444423, 224.2962962962963))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-820.44444444444423, 221.92592592592587))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-818.07407407407391, 222.51851851851859))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-817.4814814814813, 226.37037037037032))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-814.81481481481467, 226.37037037037032))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-814.51851851851848, 228.74074074074076))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-810.37037037037021, 227.55555555555554))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-807.70370370370347, 228.14814814814815))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-806.22222222222194, 227.25925925925924))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-807.99999999999977, 224.8888888888888))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-809.7777777777776, 224.8888888888888))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-812.44444444444423, 223.11111111111109))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-812.14814814814804, 218.07407407407402))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-809.7777777777776, 216.8888888888888))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-805.92592592592564, 218.07407407407402))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-807.11111111111086, 214.81481481481478))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-808.88888888888857, 213.03703703703695))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-810.07407407407391, 214.51851851851859))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-811.25925925925901, 212.14814814814815))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-813.33333333333303, 210.66666666666663))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-814.22222222222194, 206.51851851851859))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-812.14814814814804, 202.07407407407402))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-808.59259259259238, 200))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-804.14814814814804, 201.77777777777771))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-799.11111111111086, 202.37037037037032))
		end

	kanaga: EV_MODEL_POLYGON
			-- Make the polygon
		attribute
			create Result
				-- Points generated by Grabber application
			Result.extend_point (create {EV_COORDINATE}.make_precise (-848.29629629629608, 204.44444444444446))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-843.25925925925901, 204.14814814814815))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-842.07407407407391, 206.51851851851859))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-839.70370370370347, 206.22222222222217))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-836.14814814814804, 210.96296296296293))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-839.11111111111086, 212.74074074074076))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-838.51851851851848, 215.40740740740739))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-837.33333333333303, 217.18518518518522))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-841.4814814814813, 219.25925925925924))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-843.85185185185173, 222.51851851851859))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-843.5555555555552, 226.07407407407402))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-842.07407407407391, 229.62962962962968))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-844.14814814814804, 231.11111111111109))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-844.14814814814804, 238.81481481481478))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-849.4814814814813, 240))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-849.7777777777776, 236.14814814814815))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-851.25925925925901, 240.8888888888888))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-853.92592592592564, 239.40740740740739))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-855.70370370370347, 242.66666666666663))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-859.5555555555552, 242.37037037037032))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-862.22222222222194, 240.2962962962963))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-865.4814814814813, 236.44444444444446))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-872.29629629629608, 237.33333333333337))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-877.62962962962945, 240.8888888888888))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-882.07407407407391, 240.8888888888888))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-888.29629629629608, 240.5925925925925))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-890.07407407407391, 242.66666666666663))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-889.7777777777776, 246.51851851851859))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-893.33333333333303, 246.81481481481478))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-893.92592592592564, 242.66666666666663))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-895.40740740740728, 239.11111111111109))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-893.33333333333303, 237.03703703703695))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-889.7777777777776, 233.18518518518522))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-886.51851851851848, 236.14814814814815))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-882.07407407407391, 236.74074074074076))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-878.81481481481467, 234.07407407407402))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-875.5555555555552, 233.77777777777771))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-874.37037037037021, 232))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-870.81481481481467, 231.40740740740739))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-869.92592592592564, 232.5925925925925))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-868.14814814814804, 230.22222222222217))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-859.5555555555552, 227.85185185185185))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-854.51851851851848, 226.07407407407402))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-851.5555555555552, 222.51851851851859))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-850.6666666666664, 213.92592592592587))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-850.37037037037021, 207.40740740740739))
		end

	tanaga: EV_MODEL_POLYGON
			-- Make the polygon
		attribute
			create Result
				-- Points generated by Grabber application
			Result.extend_point (create {EV_COORDINATE}.make_precise (-936.29629629629608, 208.5925925925925))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-927.40740740740716, 208.2962962962963))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-922.6666666666664, 209.18518518518522))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-920.88888888888857, 208))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-918.22222222222194, 208.2962962962963))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-917.92592592592564, 211.55555555555554))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-914.96296296296282, 212.74074074074076))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-914.37037037037021, 215.40740740740739))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-917.03703703703684, 216.2962962962963))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-913.7777777777776, 218.96296296296293))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-912.59259259259238, 217.48148148148141))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-909.92592592592564, 218.37037037037032))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-910.51851851851825, 221.62962962962968))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-906.37037037037021, 221.03703703703695))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-906.07407407407391, 219.55555555555554))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-901.62962962962945, 218.66666666666663))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-901.33333333333303, 221.33333333333337))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-896.29629629629608, 220.74074074074076))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-893.03703703703684, 218.37037037037032))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-887.99999999999977, 218.37037037037032))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-887.99999999999977, 221.62962962962968))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-889.7777777777776, 221.62962962962968))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-890.96296296296282, 223.40740740740739))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-898.37037037037021, 223.40740740740739))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-903.40740740740728, 226.37037037037032))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-907.25925925925901, 227.25925925925924))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-904.59259259259238, 229.62962962962968))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-903.99999999999977, 231.40740740740739))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-905.7777777777776, 232.5925925925925))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-908.74074074074065, 234.66666666666663))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-908.14814814814804, 237.92592592592587))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-906.37037037037021, 238.81481481481478))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-910.22222222222194, 243.55555555555554))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-913.18518518518499, 241.77777777777771))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-914.37037037037021, 243.25925925925924))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-916.14814814814804, 246.81481481481478))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-915.25925925925901, 250.66666666666663))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-914.07407407407379, 255.40740740740739))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-919.11111111111086, 253.62962962962968))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-919.11111111111086, 248.8888888888888))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-920.88888888888857, 248))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-923.25925925925901, 249.77777777777771))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-926.51851851851825, 245.03703703703695))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-930.37037037037021, 245.62962962962968))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-933.62962962962945, 244.14814814814815))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-933.33333333333303, 240.2962962962963))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-933.62962962962945, 238.22222222222217))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-925.62962962962945, 239.40740740740739))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-925.03703703703684, 237.33333333333337))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-921.7777777777776, 237.62962962962968))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-919.40740740740716, 236.14814814814815))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-919.11111111111086, 230.81481481481478))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-920.88888888888857, 229.03703703703695))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-922.96296296296282, 228.74074074074076))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-925.03703703703684, 226.37037037037032))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-926.51851851851825, 227.85185185185185))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-928.88888888888857, 228.14814814814815))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-930.96296296296282, 226.07407407407402))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-930.96296296296282, 222.81481481481478))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-934.51851851851825, 222.81481481481478))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-938.96296296296282, 220.14814814814815))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-943.11111111111086, 216.8888888888888))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-944.59259259259238, 213.03703703703695))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-941.62962962962945, 208.8888888888888))
		end

	semisopochnoi: EV_MODEL_POLYGON
			-- Make the polygon
		attribute
			create Result
				-- Points generated by Grabber application
			Result.extend_point (create {EV_COORDINATE}.make_precise (-1143.4074074074072, 193.77777777777777))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-1138.9629629629626, 191.70370370370364))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-1133.037037037037, 194.66666666666669))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-1129.7777777777776, 199.40740740740739))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-1125.333333333333, 200.5925925925925))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-1125.333333333333, 204.14814814814815))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-1129.7777777777776, 205.03703703703695))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-1127.9999999999998, 208.5925925925925))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-1134.2222222222219, 212.14814814814815))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-1135.9999999999998, 214.81481481481478))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-1141.037037037037, 215.70370370370358))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-1143.7037037037035, 212.14814814814815))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-1146.9629629629626, 212.74074074074076))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-1150.2222222222219, 209.18518518518522))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-1152.2962962962961, 208.2962962962963))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-1153.185185185185, 205.03703703703695))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-1151.9999999999998, 202.66666666666663))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-1152.8888888888887, 198.81481481481478))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-1147.5555555555552, 197.62962962962968))
		end

	amchitka: EV_MODEL_POLYGON
			-- Make the polygon
		attribute
			create Result
				-- Points generated by Grabber application
			Result.extend_point (create {EV_COORDINATE}.make_precise (-1229.6296296296293, 246.22222222222217))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-1224.8888888888887, 245.92592592592587))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-1223.9999999999998, 249.18518518518522))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-1218.6666666666665, 248))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-1204.1481481481478, 252.44444444444446))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-1203.5555555555552, 256.8888888888888))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-1199.7037037037035, 258.37037037037032))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-1198.5185185185182, 256.8888888888888))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-1196.1481481481478, 258.37037037037032))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-1195.5555555555552, 262.51851851851859))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-1190.5185185185182, 264.8888888888888))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-1186.6666666666665, 271.11111111111109))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-1178.3703703703702, 274.07407407407402))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-1177.7777777777774, 278.22222222222217))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-1173.037037037037, 282.37037037037032))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-1168.2962962962961, 280.8888888888888))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-1170.6666666666665, 284.74074074074076))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-1165.9259259259256, 283.25925925925924))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-1159.1111111111109, 282.37037037037032))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-1159.1111111111109, 285.33333333333337))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-1152.8888888888887, 288))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-1155.2592592592591, 289.48148148148141))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-1162.0740740740739, 290.37037037037032))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-1162.9629629629626, 288.5925925925925))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-1166.2222222222219, 290.66666666666663))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-1170.9629629629626, 289.18518518518522))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-1174.8148148148146, 292.14814814814815))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-1178.6666666666665, 289.77777777777771))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-1177.185185185185, 286.81481481481478))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-1181.9259259259256, 285.92592592592587))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-1182.5185185185182, 282.37037037037032))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-1186.9629629629626, 280.8888888888888))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-1191.4074074074072, 276.74074074074076))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-1196.7407407407404, 268.74074074074076))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-1199.4074074074072, 268.44444444444446))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-1199.7037037037035, 265.48148148148141))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-1202.0740740740739, 263.11111111111109))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-1205.037037037037, 263.70370370370358))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-1207.7037037037035, 260.74074074074076))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-1210.9629629629626, 261.03703703703695))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-1212.7407407407404, 258.37037037037032))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-1215.7037037037035, 259.25925925925924))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-1222.8148148148146, 257.48148148148141))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-1228.4444444444441, 252.74074074074076))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-1231.7037037037035, 253.03703703703695))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-1231.4074074074072, 249.48148148148141))
		end

	kiska: EV_MODEL_POLYGON
			-- Make the polygon
		attribute
			create Result
				-- Points generated by Grabber application
			Result.extend_point (create {EV_COORDINATE}.make_precise (-1323.8518518518517, 176))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-1321.7777777777774, 178.66666666666669))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-1317.9259259259256, 178.66666666666669))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-1315.8518518518517, 183.40740740740739))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-1317.6296296296293, 186.66666666666669))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-1319.9999999999998, 186.37037037037032))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-1319.7037037037035, 190.22222222222217))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-1323.8518518518517, 195.55555555555554))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-1327.4074074074072, 195.8518518518519))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-1325.333333333333, 198.81481481481478))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-1328.5925925925924, 199.40740740740739))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-1329.4814814814813, 201.48148148148141))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-1326.2222222222219, 203.55555555555554))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-1322.3703703703702, 202.37037037037032))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-1319.9999999999998, 199.70370370370358))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-1318.8148148148146, 202.07407407407402))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-1314.0740740740739, 203.25925925925924))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-1317.9259259259256, 205.03703703703695))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-1321.7777777777774, 204.14814814814815))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-1322.6666666666665, 207.70370370370358))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-1327.9999999999998, 208.5925925925925))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-1330.9629629629626, 207.70370370370358))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-1331.5555555555552, 205.62962962962968))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-1333.9259259259256, 205.03703703703695))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-1334.8148148148146, 206.51851851851859))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-1334.2222222222219, 210.96296296296293))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-1337.4814814814813, 208))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-1336.8888888888887, 204.74074074074076))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-1339.2592592592591, 206.81481481481478))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-1343.1111111111109, 208))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-1346.0740740740739, 211.25925925925924))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-1347.8518518518517, 213.62962962962968))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-1347.5555555555552, 217.48148148148141))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-1348.4444444444441, 221.33333333333337))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-1351.4074074074072, 222.22222222222217))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-1352.2962962962961, 219.55555555555554))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-1356.4444444444441, 214.22222222222217))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-1359.1111111111109, 215.40740740740739))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-1359.7037037037035, 211.55555555555554))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-1352.8888888888887, 207.40740740740739))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-1348.1481481481478, 205.92592592592587))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-1347.5555555555552, 200.2962962962963))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-1339.5555555555552, 198.51851851851859))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-1334.5185185185182, 197.62962962962968))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-1332.7407407407404, 188.44444444444446))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-1329.4814814814813, 184.59259259259255))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-1328.8888888888887, 180.74074074074076))
		end

	agattu: EV_MODEL_POLYGON
			-- Make the polygon
		attribute
			create Result
				-- Points generated by Grabber application
			Result.extend_point (create {EV_COORDINATE}.make_precise (-1687.9999999999995, 119.7037037037037))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-1685.0370370370367, 122.07407407407408))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-1680.5925925925922, 119.40740740740739))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-1670.8148148148146, 120.59259259259261))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-1672.5925925925922, 123.55555555555554))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-1679.1111111111109, 127.7037037037037))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-1677.333333333333, 133.92592592592598))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-1675.5555555555552, 144))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-1680.5925925925922, 142.51851851851859))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-1683.8518518518515, 144.2962962962963))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-1685.0370370370367, 141.92592592592587))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-1687.7037037037035, 140.14814814814815))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-1687.1111111111109, 137.18518518518522))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-1688.8888888888885, 139.2592592592593))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-1689.7777777777774, 137.18518518518522))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-1691.2592592592589, 137.48148148148147))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-1694.2222222222219, 139.2592592592593))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-1696.8888888888885, 140.44444444444446))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-1700.7407407407404, 140.14814814814815))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-1705.1851851851848, 138.96296296296299))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-1706.0740740740737, 136.59259259259261))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-1711.4074074074072, 136.88888888888886))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-1709.0370370370367, 131.8518518518519))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-1704.5925925925922, 130.66666666666669))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-1702.5185185185182, 127.40740740740739))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-1700.1481481481478, 130.07407407407408))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-1696.8888888888885, 129.77777777777777))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-1693.6296296296293, 126.81481481481478))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-1693.0370370370367, 124.14814814814815))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-1689.4814814814811, 125.03703703703707))
			Result.extend_point (create {EV_COORDINATE}.make_precise (-1689.1851851851848, 122.07407407407408))
		end

invariant

--	correct_location: attached target_imp implies location = vitp.aleutians

end
