icaoCategory(Aircraft, light) :- aircraftChar([Aircraft, Kg | Rest]), lessThanOrEqual(Kg, 7000.0). icaoCategory(Aircraft, medium):- aircraftChar([Aircraft, Kg | Rest]), lessThan(Kg, 136000.0), greaterThan(Kg, 7000.0). icaoCategory(Aircraft, heavy) :- aircraftChar([Aircraft, Kg | Rest]), greaterThanOrEqual(Kg, 136000.0), \+ icaoCategory(Aircraft, super) . icaoCategory('A388', super). icaoCategory('A38F', super). icaoSeparationMiles(Leader, Follower, 4):- icaoCategory(Follower, heavy), icaoCategory(Leader, heavy). icaoSeparationMiles(Leader, Follower, 5):- icaoCategory(Follower, medium), icaoCategory(Leader, heavy). icaoSeparationMiles(Leader, Follower, 6):- icaoCategory(Follower, light), icaoCategory(Leader, heavy). icaoSeparationMiles(Leader, Follower, 5):- icaoCategory(Follower, light), icaoCategory(Leader, medium). icaoSeparationMiles(Leader, Follower, mrs):- aircraftChar([Follower | Rest]), icaoCategory(Leader,light). icaoSeparationMiles(Leader, Follower, mrs):- icaoCategory(Follower, medium), icaoCategory(Leader, medium). icaoSeparationMiles(Leader, Follower, mrs):- icaoCategory(Follower, heavy), icaoCategory(Leader, medium). icaoSeparationMiles(Leader, Follower, mrs):- aircraftChar([Leader | Rest]), icaoCategory(Follower, super). icaoSeparationMiles(Leader, Follower, 6):- icaoCategory(Follower, heavy), icaoCategory(Leader, super). icaoSeparationMiles(Leader, Follower, 7):- icaoCategory(Follower, medium), icaoCategory(Leader, super). icaoSeparationMiles(Leader, Follower, 8):- icaoCategory(Follower, light), icaoCategory(Leader, super). aircraftChar(['ACR2', 689.46, 21.67, 59.8]). aircraftChar(['COUG', 566.99, 20.5, 45.5]). aircraftChar(['JACE', 555.65, 26.5, 49.4]). aircraftChar(['SACE', 467.2, 27.29, 49.4]). aircraftChar(['ACRO', 612.35, 19.58, 55.9]). aircraftChar(['A500', 3175.15, 44.0, 97.5]). aircraftChar(['A700', 3447.3, 44.0, 94.9]). aircraftChar(['G222', 28000.26, 94.17, 109.2]). aircraftChar(['LA60', 1745.88, 38.83, 61.1]). aircraftChar(['AM3', 1700.06, 38.5, 61.1]). aircraftChar(['L90', 1900.55, 39.33, 65.0]). aircraftChar(['M346', 9500.49, 31.89, 123.5]). aircraftChar(['M308', 650.0, 32.83, 61.1]). aircraftChar(['M326', 3764.82, 34.67, 102.7]). aircraftChar(['M339', 5896.7, 35.62, 104.0]). aircraftChar(['F260', 1300.0, 26.98, 74.1]). aircraftChar(['AB11', 769.75, 35.17, 46.8]). aircraftChar(['AB15', 1001.08, 35.17, 52.0]). aircraftChar(['AB18', 889.95, 35.38, 52.0]). aircraftChar(['AB95', 699.89, 34.19, 33.8]). aircraftChar(['JCOM', 7620.35, 44.79, 128.7]). aircraftChar(['AC50', 2721.55, 51.71, 76.7]). aircraftChar(['AC50', 2834.95, 49.04, 76.7]). aircraftChar(['AC50', 3061.75, 49.04, 76.7]). aircraftChar(['AC50', 3061.75, 49.04, 76.7]). aircraftChar(['AC52', 2585.48, 49.04, 64.35]). aircraftChar(['AC56', 2721.55, 49.04, 82.42]). aircraftChar(['AC56', 2948.35, 51.71, 76.7]). aircraftChar(['AC56', 3401.94, 49.04, 76.7]). aircraftChar(['AC68', 3175.15, 49.04, 76.7]). aircraftChar(['AC68', 3401.94, 51.71, 76.7]). aircraftChar(['AC68', 3628.74, 49.04, 76.7]). aircraftChar(['AC6L', 3855.54, 49.04, 76.7]). aircraftChar(['AC80', 4059.65, 44.06, 97.5]). aircraftChar(['AC80', 4263.77, 44.06, 97.5]). aircraftChar(['AC80', 4263.77, 44.06, 97.5]). aircraftChar(['AC80', 4263.77, 46.55, 100.1]). aircraftChar(['AC6L', 4082.33, 44.08, 97.5]). aircraftChar(['AC90', 4649.32, 46.55, 100.1]). aircraftChar(['AC90', 4683.34, 46.55, 100.1]). aircraftChar(['AC90', 4683.34, 52.12, 97.5]). aircraftChar(['AC90', 4853.44, 52.12, 100.1]). aircraftChar(['AC90', 4683.34, 52.12, 97.5]). aircraftChar(['AC95', 5080.23, 52.12, 100.1]). aircraftChar(['AC95', 5329.71, 52.12, 100.1]). aircraftChar(['AC72', 3401.94, 51.71, 80.6]). aircraftChar(['CLB1', 1723.65, 34.75, 60.0]). aircraftChar(['SGUP', 77110.7, 156.25, 130.0]). aircraftChar(['AE45', 1599.82, 46.21, 78.0]). aircraftChar(['L159', 8000.01, 31.29, 130.0]). aircraftChar(['L29', 3539.83, 33.75, 92.3]). aircraftChar(['L39', 4700.12, 31.04, 109.2]). aircraftChar(['L59', 6999.84, 31.29, 130.0]). aircraftChar(['L60', 1559.9, 45.79, 36.4]). aircraftChar(['AR11', 566.99, 36.0, 49.4]). aircraftChar(['AR15', 929.86, 37.5, 59.8]). aircraftChar(['CH7A', 598.74, 35.0, 42.9]). aircraftChar(['N262', 10301.08, 71.83, 89.7]). aircraftChar(['S601', 6599.77, 42.21, 118.0]). aircraftChar(['S210', 56000.51, 112.5, 127.0]). aircraftChar(['AT3P', 2267.96, 45.0, 74.1]). aircraftChar(['AT3T', 3492.66, 45.1, 74.1]). aircraftChar(['AT3T', 4159.44, 51.08, 74.1]). aircraftChar(['AT5T', 4263.77, 52.0, 76.7]). aircraftChar(['AT5T', 4753.65, 52.0, 76.7]). aircraftChar(['AT5T', 4753.65, 49.1, 76.7]). aircraftChar(['AT5T', 4354.49, 52.0, 72.8]). aircraftChar(['AT6T', 5669.9, 56.0, 92.3]). aircraftChar(['AT8T', 7257.48, 59.25, 102.7]). aircraftChar(['AT8T', 7257.48, 59.25, 102.7]). aircraftChar(['AT8T', 7257.48, 59.25, 91.0]). aircraftChar(['BCS1', 60781.38, 115.08, 130.0]). aircraftChar(['BCS3', 67585.26, 115.08, 135.0]). aircraftChar(['A30B', 157499.52, 147.08, 137.0]). aircraftChar(['A30B', 141999.81, 147.08, 137.0]). aircraftChar(['A30B', 164998.76, 147.08, 137.0]). aircraftChar(['A30B', 164998.76, 147.08, 137.0]). aircraftChar(['A306', 164998.76, 147.14, 137.0]). aircraftChar(['A306', 170499.48, 147.14, 137.0]). aircraftChar(['A306', 171698.32, 147.14, 137.0]). aircraftChar(['A3ST', 154998.41, 147.14, 137.0]). aircraftChar(['A3ST', 226997.67, 197.83, 137.0]). aircraftChar(['A310', 143999.7, 144.03, 139.0]). aircraftChar(['A310', 163999.5, 144.03, 139.0]). aircraftChar(['A318', 67999.85, 111.88, 121.0]). aircraftChar(['A319', 76499.71, 111.88, 126.0]). aircraftChar(['A319', 76499.71, 117.45, 126.0]). aircraftChar(['A319', 75500.0, 117.45, 126.0]). aircraftChar(['A320', 78000.2, 111.88, 136.0]). aircraftChar(['A320', 78000.2, 117.45, 136.0]). aircraftChar(['A320', 78999.92, 117.45, 136.0]). aircraftChar(['A321', 88999.81, 111.88, 140.0]). aircraftChar(['A321', 88999.81, 117.45, 140.0]). aircraftChar(['A321', 93499.9, 111.88, 140.0]). aircraftChar(['A321', 93499.9, 117.45, 140.0]). aircraftChar(['A321', 93499.9, 117.45, 140.0]). aircraftChar(['A332', 242000.15, 197.83, 136.0]). aircraftChar(['A332', 242000.15, 197.83, 139.0]). aircraftChar(['A333', 242000.15, 197.83, 137.0]). aircraftChar(['A342', 274999.9, 197.83, 136.0]). aircraftChar(['A343', 276499.93, 197.83, 138.0]). aircraftChar(['A345', 379999.73, 208.17, 146.0]). aircraftChar(['A346', 379999.73, 208.17, 153.0]). aircraftChar(['A358', 247978.95, 212.42, 140.0]). aircraftChar(['A359', 280000.3, 212.42, 140.0]). aircraftChar(['A359', 280002.57, 212.42, 140.0]). aircraftChar(['A388', 575000.0, 261.65, 145.0]). aircraftChar(['A38F', 589670.08, 261.65, 145.0]). aircraftChar(['A320', 78999.92, 117.45, 136.0]). aircraftChar(['AA1', 680.39, 24.42, 78.0]). aircraftChar(['AA1', 680.39, 24.42, 66.3]). aircraftChar(['AA5', 997.9, 31.42, 68.9]). aircraftChar(['CH7A', 598.74, 33.5, 52.0]). aircraftChar(['CH7A', 793.79, 33.5, 55.9]). aircraftChar(['CH7B', 793.79, 33.5, 55.9]). aircraftChar(['CH7B', 816.47, 34.5, 55.9]). aircraftChar(['CH7B', 884.51, 34.5, 55.9]). aircraftChar(['BL8', 975.22, 36.17, 45.5]). aircraftChar(['BL8', 975.22, 36.17, 45.5]). aircraftChar(['BL8', 884.51, 32.0, 62.4]). aircraftChar(['BL8', 884.51, 31.0, 62.4]). aircraftChar(['AN12', 55111.47, 124.8, 127.0]). aircraftChar(['A124', 404999.47, 240.5, 124.0]). aircraftChar(['A140', 21500.28, 83.67, 230.0]). aircraftChar(['AN26', 24004.11, 95.8, 121.0]). aircraftChar(['AN72', 34500.24, 104.62, 97.0]). aircraftChar(['AT43', 16703.54, 80.58, 104.0]). aircraftChar(['AT44', 16703.54, 80.58, 104.0]). aircraftChar(['AT45', 18599.56, 80.58, 104.0]). aircraftChar(['AT72', 19989.82, 88.75, 114.0]). aircraftChar(['AT72', 21500.28, 88.75, 114.0]). aircraftChar(['AT72', 21999.68, 88.75, 114.0]). aircraftChar(['AT72', 21999.68, 88.75, 114.0]). aircraftChar(['AT72', 22499.54, 88.75, 114.0]). aircraftChar(['NOMA', 3855.54, 54.17, 63.7]). aircraftChar(['NOMA', 4263.77, 54.17, 74.1]). aircraftChar(['DC3T', 13040.78, 95.17, 76.7]). aircraftChar(['AIRD', 1247.38, 36.33, 70.0]). aircraftChar(['AUS6', 1088.62, 36.0, 70.0]). aircraftChar(['PUP', 725.75, 31.0, 70.0]). aircraftChar(['BASS', 3401.94, 55.0, 70.0]). aircraftChar(['D4', 861.83, 36.0, 70.0]). aircraftChar(['D5', 1088.62, 36.0, 70.0]). aircraftChar(['BDOG', 1065.94, 33.0, 70.0]). aircraftChar(['B190', 7529.63, 54.5, 109.2]). aircraftChar(['B190', 7765.5, 57.75, 109.2]). aircraftChar(['BE55', 2404.04, 37.83, 88.4]). aircraftChar(['BE56', 2717.02, 37.83, 91.4]). aircraftChar(['BE58', 2494.76, 37.83, 94.9]). aircraftChar(['PRM1', 5669.9, 44.5, 119.6]). aircraftChar(['BE40', 7157.69, 43.5, 100.1]). aircraftChar(['BE40', 7302.84, 43.5, 120.9]). aircraftChar(['BE33', 1587.57, 33.5, 68.9]). aircraftChar(['BE35', 1417.48, 32.83, 71.5]). aircraftChar(['BE35', 1417.48, 33.5, 71.5]). aircraftChar(['BE35', 1542.21, 33.5, 71.5]). aircraftChar(['BE36', 1655.61, 33.5, 76.7]). aircraftChar(['BE10', 5352.39, 45.92, 111.0]). aircraftChar(['BE20', 5669.9, 54.5, 97.5]). aircraftChar(['BE30', 6350.29, 57.92, 106.6]). aircraftChar(['B350', 7484.27, 57.92, 106.6]). aircraftChar(['B350', 6803.89, 57.92, 106.6]). aircraftChar(['BE9L', 4218.41, 45.92, 100.0]). aircraftChar(['BE9L', 4581.28, 50.25, 100.0]). aircraftChar(['BE9T', 4966.84, 54.5, 108.0]). aircraftChar(['BE20', 5669.9, 57.92, 106.6]). aircraftChar(['BE9L', 4755.92, 53.67, 97.5]). aircraftChar(['BE9L', 4581.28, 50.25, 97.5]). aircraftChar(['BE9L', 4755.92, 53.67, 97.5]). aircraftChar(['BE18', 4490.56, 49.67, 87.0]). aircraftChar(['B18T', 5216.31, 46.0, 87.0]). aircraftChar(['BE60', 3073.09, 39.25, 98.0]). aircraftChar(['BE60', 3050.41, 39.25, 98.0]). aircraftChar(['BE60', 3197.83, 39.25, 98.0]). aircraftChar(['BE65', 3492.66, 45.88, 87.0]). aircraftChar(['BE65', 3719.46, 45.88, 87.0]). aircraftChar(['BE70', 3719.46, 50.25, 87.0]). aircraftChar(['BE76', 1769.01, 38.0, 76.0]). aircraftChar(['BE77', 759.77, 30.0, 63.0]). aircraftChar(['BE80', 3628.74, 45.88, 87.0]). aircraftChar(['BE80', 3855.54, 50.25, 87.0]). aircraftChar(['BE80', 3991.61, 50.25, 87.0]). aircraftChar(['BE88', 3991.61, 50.25, 87.0]). aircraftChar(['BE95', 1905.09, 37.83, 79.3]). aircraftChar(['BE99', 5125.59, 45.92, 107.0]). aircraftChar(['T34P', 2494.76, 33.32, 68.9]). aircraftChar(['BL17', 1508.19, 34.17, 79.3]). aircraftChar(['BL17', 1360.78, 34.17, 79.3]). aircraftChar(['B703', 151318.41, 145.75, 128.0]). aircraftChar(['B712', 53523.9, 93.33, 139.0]). aircraftChar(['B712', 54884.68, 93.33, 139.0]). aircraftChar(['B720', 106276.69, 130.83, 137.0]). aircraftChar(['B721', 72574.78, 108.0, 124.0]). aircraftChar(['B721', 76657.11, 108.0, 124.0]). aircraftChar(['B722', 83823.87, 108.0, 133.0]). aircraftChar(['B722', 83823.87, 109.25, 133.0]). aircraftChar(['B722', 95027.6, 108.0, 133.0]). aircraftChar(['B722', 95027.6, 109.25, 133.0]). aircraftChar(['B731', 49895.16, 93.0, 136.0]). aircraftChar(['B732', 52389.92, 93.0, 129.0]). aircraftChar(['B732', 58105.18, 93.0, 129.0]). aircraftChar(['B733', 63276.14, 94.75, 135.0]). aircraftChar(['B733', 63276.14, 102.08, 135.0]). aircraftChar(['B734', 68038.86, 94.75, 139.0]). aircraftChar(['B735', 61688.56, 94.75, 128.0]). aircraftChar(['B736', 65544.1, 112.58, 125.0]). aircraftChar(['B736', 65544.1, 117.42, 125.0]). aircraftChar(['B737', 70080.02, 117.42, 130.0]). aircraftChar(['B737', 70080.02, 112.58, 130.0]). aircraftChar(['B738', 79015.79, 112.58, 142.0]). aircraftChar(['B738', 79015.79, 117.83, 142.0]). aircraftChar(['B738', 79015.79, 117.42, 142.0]). aircraftChar(['B739', 79015.79, 112.58, 141.0]). aircraftChar(['B739', 79015.79, 117.83, 141.0]). aircraftChar(['B739', 79015.79, 117.42, 141.0]). aircraftChar(['B739', 85139.29, 112.58, 141.0]). aircraftChar(['B739', 85139.29, 117.42, 140.0]). aircraftChar(['B738', 79015.79, 117.42, 142.0]). aircraftChar(['B737', 77564.3, 117.42, 132.0]). aircraftChar(['B741', 340194.28, 195.67, 144.0]). aircraftChar(['B741', 272155.42, 195.67, 144.0]). aircraftChar(['B741', 333390.39, 195.67, 144.0]). aircraftChar(['B742', 377842.44, 195.67, 150.0]). aircraftChar(['B742', 377842.44, 195.67, 150.0]). aircraftChar(['B743', 377842.44, 195.67, 142.0]). aircraftChar(['B743', 272155.42, 195.67, 142.0]). aircraftChar(['B744', 276691.35, 195.67, 157.0]). aircraftChar(['B744', 396893.32, 213.0, 157.0]). aircraftChar(['B744', 412769.06, 213.0, 157.0]). aircraftChar(['B744', 412769.06, 213.0, 157.0]). aircraftChar(['B744', 396893.32, 213.0, 158.0]). aircraftChar(['B748', 447695.67, 224.42, 150.0]). aircraftChar(['B748', 447695.67, 224.42, 159.0]). aircraftChar(['B74S', 315700.29, 195.67, 140.0]). aircraftChar(['B752', 115892.85, 124.83, 137.0]). aircraftChar(['B752', 115892.85, 134.75, 137.0]). aircraftChar(['B753', 122469.94, 124.83, 143.0]). aircraftChar(['B753', 122469.94, 134.75, 143.0]). aircraftChar(['B762', 142881.6, 156.08, 135.0]). aircraftChar(['B762', 179168.99, 156.08, 142.0]). aircraftChar(['B763', 158757.33, 156.08, 140.0]). aircraftChar(['B763', 186880.06, 156.08, 140.0]). aircraftChar(['B763', 186880.06, 156.08, 145.0]). aircraftChar(['B763', 186880.06, 167.0, 145.0]). aircraftChar(['B764', 204116.57, 170.33, 150.0]). aircraftChar(['B772', 242671.92, 199.92, 136.0]). aircraftChar(['B772', 286897.17, 199.92, 136.0]). aircraftChar(['B772', 347451.76, 212.58, 140.0]). aircraftChar(['B773', 299370.96, 199.92, 149.0]). aircraftChar(['B77W', 351534.09, 212.58, 149.0]). aircraftChar(['B773', 347814.63, 212.58, 140.0]). aircraftChar(['B788', 227930.17, 197.25, 140.0]). aircraftChar(['B789', 254011.73, 197.25, 140.0]). aircraftChar(['B52', 221353.08, 185.0, 141.0]). aircraftChar(['C97', 66133.77, 141.3, 105.0]). aircraftChar(['DC10', 206384.53, 155.3, 138.0]). aircraftChar(['DC3', 11430.07, 95.17, 76.7]). aircraftChar(['DC4', 33112.24, 117.5, 94.0]). aircraftChar(['DC6', 48534.38, 117.5, 108.0]). aircraftChar(['DC7', 64863.71, 127.5, 110.0]). aircraftChar(['DC95', 41140.83, 89.4, 132.0]). aircraftChar(['DC95', 41140.83, 89.4, 132.0]). aircraftChar(['DC92', 44452.05, 93.3, 132.0]). aircraftChar(['DC93', 54884.68, 93.3, 132.0]). aircraftChar(['DC93', 48987.98, 93.3, 132.0]). aircraftChar(['DC94', 51709.53, 93.3, 132.0]). aircraftChar(['MD82', 67812.06, 107.85, 134.0]). aircraftChar(['MD83', 72574.78, 107.85, 144.0]). aircraftChar(['MD88', 67812.06, 107.85, 144.0]). aircraftChar(['MD90', 70760.41, 107.83, 138.0]). aircraftChar(['MD90', 76203.52, 107.83, 138.0]). aircraftChar(['CL30', 17622.06, 63.83, 117.0]). aircraftChar(['CL30', 18415.85, 69.0, 125.0]). aircraftChar(['CL60', 16329.33, 64.33, 125.0]). aircraftChar(['CL60', 19096.24, 64.33, 125.0]). aircraftChar(['CL60', 19549.83, 64.33, 125.0]). aircraftChar(['CL60', 21591.0, 64.33, 125.0]). aircraftChar(['CL60', 21863.15, 64.33, 137.0]). aircraftChar(['CL60', 21863.15, 64.33, 125.0]). aircraftChar(['CRJ2', 21522.96, 68.67, 140.0]). aircraftChar(['CRJ2', 23133.21, 68.58, 140.0]). aircraftChar(['CRJ2', 24040.4, 68.67, 140.0]). aircraftChar(['CRJ7', 34019.43, 76.27, 135.0]). aircraftChar(['CRJ7', 34926.61, 76.27, 135.0]). aircraftChar(['CRJ7', 32998.84, 76.27, 135.0]). aircraftChar(['GL5T', 41957.29, 94.0, 107.9]). aircraftChar(['GLEX', 45132.44, 94.0, 107.9]). aircraftChar(['LJ24', 5896.7, 35.58, 128.0]). aircraftChar(['LJ24', 5669.45, 35.58, 128.0]). aircraftChar(['LJ24', 6123.5, 35.58, 128.0]). aircraftChar(['LJ24', 5669.45, 35.58, 128.0]). aircraftChar(['LJ24', 5851.34, 35.58, 128.0]). aircraftChar(['LJ25', 6803.89, 35.58, 137.0]). aircraftChar(['LJ25', 5669.45, 35.58, 125.0]). aircraftChar(['LJ31', 7030.68, 43.83, 125.0]). aircraftChar(['LJ35', 8164.66, 39.5, 143.0]). aircraftChar(['LJ40', 9525.44, 47.78, 123.0]). aircraftChar(['LJ45', 9752.24, 47.83, 123.0]). aircraftChar(['LJ55', 8845.05, 43.83, 125.0]). aircraftChar(['LJ60', 10319.23, 43.75, 125.0]). aircraftChar(['LJ75', 9752.24, 50.92, 125.0]). aircraftChar(['DHC6', 5246.25, 65.0, 75.4]). aircraftChar(['DHC6', 5669.9, 65.0, 75.4]). aircraftChar(['DHC7', 19958.06, 93.0, 83.0]). aircraftChar(['DHC7', 21318.84, 93.0, 83.0]). aircraftChar(['DH8A', 14968.55, 85.0, 92.0]). aircraftChar(['DH8A', 15648.94, 85.0, 92.0]). aircraftChar(['DH8A', 15966.45, 85.0, 92.0]). aircraftChar(['DH8A', 16465.4, 85.0, 92.0]). aircraftChar(['DH8B', 16465.4, 85.0, 92.0]). aircraftChar(['DH8C', 18642.65, 90.0, 99.0]). aircraftChar(['DH8C', 19504.47, 90.0, 99.0]). aircraftChar(['DH8C', 19504.47, 90.0, 99.0]). aircraftChar(['DH8D', 29256.71, 93.25, 120.0]). aircraftChar(['ATLA', 46198.38, 122.77, 117.0]). aircraftChar(['RJ1H', 46039.63, 86.42, 123.0]). aircraftChar(['RJ70', 43091.28, 86.42, 121.0]). aircraftChar(['RJ85', 43998.46, 86.42, 122.0]). aircraftChar(['B461', 38101.76, 86.42, 121.0]). aircraftChar(['B462', 42184.09, 86.42, 122.0]). aircraftChar(['B463', 45132.44, 86.42, 123.0]). aircraftChar(['BA11', 35607.0, 88.5, 140.4]). aircraftChar(['BA11', 39462.54, 88.5, 148.2]). aircraftChar(['BA11', 44678.85, 93.5, 128.7]). aircraftChar(['BA11', 47400.4, 93.5, 136.5]). aircraftChar(['TRIS', 4535.92, 53.0, 58.5]). aircraftChar(['BN2T', 3175.15, 49.0, 58.5]). aircraftChar(['BU81', 749.79, 34.71, 30.0]). aircraftChar(['TNAV', 1960.88, 34.67, 70.2]). aircraftChar(['CL44', 95254.4, 142.3, 123.0]). aircraftChar(['BU31', 680.39, 24.25, 30.0]). aircraftChar(['BU33', 585.13, 21.65, 30.0]). aircraftChar(['H111', 14000.13, 73.8, 91.0]). aircraftChar(['C207', 16510.76, 91.2, 102.0]). aircraftChar(['C212', 7700.18, 62.3, 81.0]). aircraftChar(['C170', 997.9, 36.0, 58.5]). aircraftChar(['C120', 657.71, 33.33, 52.0]). aircraftChar(['C140', 657.71, 33.33, 52.0]). aircraftChar(['C150', 725.75, 33.17, 54.6]). aircraftChar(['C152', 759.77, 33.17, 55.9]). aircraftChar(['C162', 598.74, 30.0, 50.7]). aircraftChar(['C172', 1202.02, 36.08, 62.4]). aircraftChar(['C72R', 1202.02, 36.08, 62.4]). aircraftChar(['C172', 1156.66, 36.08, 62.4]). aircraftChar(['C172', 1156.66, 36.08, 62.4]). aircraftChar(['C175', 1133.98, 36.17, 55.9]). aircraftChar(['C177', 1133.98, 35.5, 52.0]). aircraftChar(['C77R', 1270.06, 35.5, 65.0]). aircraftChar(['C180', 1270.06, 35.83, 63.7]). aircraftChar(['C182', 1406.14, 36.0, 63.7]). aircraftChar(['C82R', 1406.14, 36.0, 63.7]). aircraftChar(['C185', 1519.53, 35.83, 63.7]). aircraftChar(['C185', 1519.53, 35.83, 63.7]). aircraftChar(['C185', 1480.98, 35.83, 63.7]). aircraftChar(['C185', 1505.93, 35.83, 63.7]). aircraftChar(['C188', 1905.09, 41.67, 65.0]). aircraftChar(['C190', 1519.53, 36.17, 52.0]). aircraftChar(['C195', 1519.53, 36.17, 52.0]). aircraftChar(['C205', 1496.85, 36.17, 52.0]). aircraftChar(['C06T', 1718.66, 36.0, 74.1]). aircraftChar(['C206', 1632.93, 36.0, 70.2]). aircraftChar(['C207', 1723.65, 36.17, 70.2]). aircraftChar(['C07T', 1723.65, 36.17, 70.2]). aircraftChar(['C208', 3628.74, 52.08, 79.3]). aircraftChar(['C208', 4110.45, 52.08, 76.7]). aircraftChar(['C208', 3994.79, 52.08, 79.3]). aircraftChar(['C210', 1814.37, 36.75, 75.4]). aircraftChar(['P210', 1814.37, 36.75, 75.4]). aircraftChar(['C10T', 1814.37, 36.75, 75.4]). aircraftChar(['C303', 2336.0, 39.04, 80.6]). aircraftChar(['C310', 2494.76, 36.92, 81.9]). aircraftChar(['A37', 6350.29, 35.86, 127.4]). aircraftChar(['C320', 2404.04, 36.92, 81.9]). aircraftChar(['C337', 1995.81, 38.0, 70.2]). aircraftChar(['C340', 2732.89, 38.11, 93.6]). aircraftChar(['COL3', 1542.21, 36.08, 78.0]). aircraftChar(['COL4', 1542.21, 36.08, 78.0]). aircraftChar(['C402', 2857.63, 44.17, 89.7]). aircraftChar(['C02T', 3107.11, 44.17, 88.4]). aircraftChar(['C404', 3810.18, 46.33, 96.2]). aircraftChar(['C411', 2948.35, 39.85, 93.6]). aircraftChar(['C414', 3061.75, 44.17, 94.9]). aircraftChar(['C421', 3379.26, 44.17, 96.2]). aircraftChar(['C425', 3900.89, 44.17, 97.5]). aircraftChar(['C441', 4467.88, 49.33, 97.5]). aircraftChar(['C525', 4808.08, 46.92, 107.9]). aircraftChar(['C525', 4853.44, 46.92, 107.9]). aircraftChar(['C25A', 5579.19, 49.83, 114.4]). aircraftChar(['C25A', 5669.9, 49.83, 114.4]). aircraftChar(['C25B', 6291.33, 53.33, 107.9]). aircraftChar(['C25C', 7760.97, 50.83, 110.5]). aircraftChar(['C560', 7633.96, 54.75, 107.9]). aircraftChar(['C56X', 9071.85, 55.71, 106.6]). aircraftChar(['C500', 5375.07, 47.08, 106.6]). aircraftChar(['C501', 5375.07, 47.08, 106.6]). aircraftChar(['C550', 6713.17, 52.17, 111.8]). aircraftChar(['C551', 6713.17, 52.17, 111.8]). aircraftChar(['C650', 9979.03, 53.5, 126.1]). aircraftChar(['C25M', 4853.44, 47.25, 100.1]). aircraftChar(['C510', 3921.31, 43.17, 105.3]). aircraftChar(['S550', 6849.24, 51.58, 106.6]). aircraftChar(['C680', 13743.85, 63.33, 107.9]). aircraftChar(['C680', 13959.31, 72.33, 107.9]). aircraftChar(['C560', 7543.24, 52.17, 106.6]). aircraftChar(['C560', 7393.56, 52.17, 106.6]). aircraftChar(['C650', 10432.62, 53.5, 126.1]). aircraftChar(['C750', 16374.68, 63.58, 112.0]). aircraftChar(['C750', 16601.48, 69.17, 132.0]). aircraftChar(['C56X', 9162.57, 56.33, 117.0]). aircraftChar(['C526', 4717.36, 46.79, 106.6]). aircraftChar(['C560', 7393.56, 52.17, 106.6]). aircraftChar(['SF50', 2721.55, 38.67, 87.1]). aircraftChar(['SR20', 964.34, 38.33, 74.1]). aircraftChar(['SR22', 1032.38, 38.33, 78.0]). aircraftChar(['SR22', 1069.57, 38.33, 78.0]). aircraftChar(['SKIM', 975.22, 34.0, 55.9]). aircraftChar(['SKIM', 1065.94, 34.0, 55.9]). aircraftChar(['AJ27', 43499.51, 89.5, 140.0]). aircraftChar(['AJ27', 40505.8, 89.5, 140.0]). aircraftChar(['AJ27', 47182.22, 89.5, 140.0]). aircraftChar(['AJ27', 43616.08, 89.5, 140.0]). aircraftChar(['C919', 72499.94, 117.5, 140.0]). aircraftChar(['C919', 77299.85, 117.5, 140.0]). aircraftChar(['CVLP', 18955.63, 91.8, 107.0]). aircraftChar(['CVLP', 22543.54, 105.33, 104.0]). aircraftChar(['CVLP', 22543.54, 105.33, 106.0]). aircraftChar(['CVLT', 24766.14, 105.3, 107.0]). aircraftChar(['TBM7', 2983.73, 41.6, 79.3]). aircraftChar(['TBM7', 3353.86, 41.6, 84.5]). aircraftChar(['TBM8', 3353.86, 41.6, 84.5]). aircraftChar(['TBM9', 3353.86, 42.1, 85.0]). aircraftChar(['F2TH', 16556.12, 63.42, 110.5]). aircraftChar(['F2TH', 19232.32, 63.42, 110.5]). aircraftChar(['F2TH', 18597.29, 70.17, 107.0]). aircraftChar(['F2TH', 19413.75, 70.17, 105.0]). aircraftChar(['FA50', 18497.5, 61.88, 113.0]). aircraftChar(['FA7X', 31751.47, 86.0, 104.0]). aircraftChar(['F900', 21092.05, 63.42, 110.5]). aircraftChar(['F900', 22226.03, 63.42, 110.5]). aircraftChar(['F900', 22226.03, 70.17, 110.0]). aircraftChar(['MIR2', 17009.71, 29.0, 175.0]). aircraftChar(['MIR2', 17236.51, 29.92, 175.0]). aircraftChar(['FA10', 8500.32, 42.92, 106.6]). aircraftChar(['FA20', 12999.96, 53.5, 106.6]). aircraftChar(['AJET', 7500.15, 29.9, 117.0]). aircraftChar(['DOVE', 4059.65, 57.0, 84.0]). aircraftChar(['HERN', 6123.5, 71.5, 85.0]). aircraftChar(['DHC2', 2313.32, 48.0, 50.7]). aircraftChar(['DHC4', 12927.38, 95.67, 77.0]). aircraftChar(['DHC5', 22316.74, 96.0, 91.0]). aircraftChar(['DA20', 800.14, 35.67, 58.5]). aircraftChar(['DA40', 1309.97, 38.17, 87.1]). aircraftChar(['DA40', 1200.21, 39.17, 76.7]). aircraftChar(['DA42', 1998.98, 44.5, 88.4]). aircraftChar(['DA50', 997.9, 38.33, 89.7]). aircraftChar(['DA50', 1230.14, 44.0, 89.7]). aircraftChar(['DA62', 2300.17, 47.83, 91.0]). aircraftChar(['D228', 6599.77, 55.67, 96.2]). aircraftChar(['EA50', 2698.87, 37.25, 89.7]). aircraftChar(['E110', 5901.24, 50.25, 92.0]). aircraftChar(['E120', 11989.81, 64.92, 113.1]). aircraftChar(['E121', 6139.83, 48.67, 98.8]). aircraftChar(['E170', 37200.02, 85.33, 123.5]). aircraftChar(['E170', 40369.72, 85.33, 123.5]). aircraftChar(['E170', 40369.72, 93.92, 123.5]). aircraftChar(['E170', 38789.86, 85.33, 123.5]). aircraftChar(['E170', 38789.86, 93.92, 123.5]). aircraftChar(['E170', 37499.84, 85.33, 123.5]). aircraftChar(['E170', 37499.84, 93.92, 123.5]). aircraftChar(['E170', 44799.96, 101.67, 124.0]). aircraftChar(['E190', 51799.8, 94.25, 123.5]). aircraftChar(['E190', 50299.77, 94.25, 123.5]). aircraftChar(['E190', 47790.04, 94.25, 123.5]). aircraftChar(['E190', 56400.13, 101.67, 124.0]). aircraftChar(['E190', 52290.13, 94.25, 124.0]). aircraftChar(['E190', 50790.1, 94.25, 124.0]). aircraftChar(['E190', 48790.21, 94.25, 124.0]). aircraftChar(['E190', 61499.87, 101.67, 124.0]). aircraftChar(['IPAN', 1799.85, 37.75, 65.0]). aircraftChar(['IPAN', 1800.31, 38.33, 65.0]). aircraftChar(['IPAN', 1800.31, 43.64, 65.0]). aircraftChar(['TUCA', 3175.15, 36.5, 87.1]). aircraftChar(['TUCA', 3274.94, 37.0, 89.7]). aircraftChar(['E314', 5400.02, 36.54, 104.0]). aircraftChar(['E135', 19000.08, 65.75, 124.0]). aircraftChar(['E35L', 19999.79, 65.75, 124.0]). aircraftChar(['E135', 20099.59, 65.75, 124.0]). aircraftChar(['E135', 21099.76, 65.75, 124.0]). aircraftChar(['E145', 20989.99, 65.75, 124.0]). aircraftChar(['E145', 20599.9, 65.75, 124.0]). aircraftChar(['E145', 19989.82, 65.75, 124.0]). aircraftChar(['E145', 22000.14, 65.75, 124.0]). aircraftChar(['E145', 21990.16, 65.75, 124.0]). aircraftChar(['E145', 19989.82, 65.75, 124.0]). aircraftChar(['E145', 20989.99, 65.75, 124.0]). aircraftChar(['E45X', 24099.82, 68.92, 124.0]). aircraftChar(['E50P', 4799.91, 40.33, 100.1]). aircraftChar(['E55P', 8150.15, 52.17, 115.7]). aircraftChar(['ERCO', 571.53, 30.0, 54.6]). aircraftChar(['D28D', 4016.56, 51.0, 74.0]). aircraftChar(['A10_', 23133.21, 57.5, 140.0]). aircraftChar(['F27', 20819.89, 95.15, 100.1]).