%ATC KB is a PSOA RuleML Knowledge Base for computing the aircraft separation 
%during arrivals and departures, as mandated by ICAO, FAA, RECAT Regulations.
%
%Copyright (C) 2018  Theodoros Mitsikas, Sofia Almpani

%Licensed under the Non-Profit Open Software License 3.0 (NPOSL-3.0).

%You should have received a copy of the Non-Profit Open Software License 3.0
%along with this program.  If not, see https://opensource.org/licenses/NPOSL-3.0.
    

RuleML (
  Prefix(: <http://psoa.ruleml.org/usecases/ATC_KB#>)
  Prefix(math: <http://psoa.ruleml.org/lib/math#>)
  Prefix(phys: <http://psoa.ruleml.org/lib/phys#>)

  Import(<http://psoa.ruleml.org/lib/math.psoa>)
  Import(<http://psoa.ruleml.org/lib/phys.psoa>)
  
  Assert (

    % An ATC regulations Knowledge Base
    % Version: 2018-09-25

    %%%%%%%%%%%%%%%%%%%%%%
    %% ICAO Regulations %%
    %%%%%%%%%%%%%%%%%%%%%%
    
    Forall ?a (
      :AircraftIcaoCategory(?a :Light) :- 
        And(?a#:Aircraft(:mtom->?w)
            math:lessEq(?w 7000))
    )
	
    Forall ?a (
      :AircraftIcaoCategory(?a :Medium) :- 
        And(?a#:Aircraft(:mtom->?w)
            math:lessThan(?w 136000)
			math:greaterThan(?w 7000))
    )
   
    Forall ?a (
      :AircraftIcaoCategory(?a :Heavy) :- 
        Or(And(?a#:Aircraft(:mtom->?w :specialCase->:No)
                math:greaterEq(?w 136000))
            ?a#:Aircraft(:specialCase->:A225)
			)
        )
    

     Forall ?a (
      :AircraftIcaoCategory(?a :Super) :- 
      ?a#:Aircraft(:specialCase->:A380))
    
    %%%%%%%%%%%%%%%%%%%%
    %% IcaoSeparation %%
    %%%%%%%%%%%%%%%%%%%%
    
    Forall ?x ?y (
        :icaoSeparation(:leader->?x :follower->?y :miles->:Mrs):-
            Or(
                And(:AircraftIcaoCategory(?x :Medium) 
                    :AircraftIcaoCategory(?y :Medium))
                    
                And(:AircraftIcaoCategory(?x :Medium) 
                    :AircraftIcaoCategory(?y :Heavy))
                    
                :AircraftIcaoCategory(?x :Light)
                :AircraftIcaoCategory(?y :Super)
                )
            )

		
	   
    Forall ?x ?y (
        :icaoSeparation(:leader->?x :follower->?y :miles->4):-
        And(:AircraftIcaoCategory(?x :Heavy) 
            :AircraftIcaoCategory(?y :Heavy))	
            )
            
            Forall ?x ?y (
        :icaoSeparation(:leader->?x :follower->?y :miles->5):-
            Or(And(:AircraftIcaoCategory(?x :Heavy) 
                    :AircraftIcaoCategory(?y :Medium))
                And(:AircraftIcaoCategory(?x :Medium) 
                    :AircraftIcaoCategory(?y :Light))
            )
            )


    Forall ?x ?y (
        :icaoSeparation(:leader->?x :follower->?y :miles->6):-
            Or(And(:AircraftIcaoCategory(?x :Heavy) 
                    :AircraftIcaoCategory(?y :Light))
                And(:AircraftIcaoCategory(?x :Super) 
                    :AircraftIcaoCategory(?y :Heavy))
            )
            )
	   
	   
      Forall ?x ?y (
        :icaoSeparation(:leader->?x :follower->?y :miles->7):-
        And(:AircraftIcaoCategory(?x :Super) 
            :AircraftIcaoCategory(?y :Medium))
            )
	   
	   Forall ?x ?y (
        :icaoSeparation(:leader->?x :follower->?y :miles->8):-
        And(:AircraftIcaoCategory(?x :Super) 
            :AircraftIcaoCategory(?y :Light))
            )
	   
    %%%%%%%%%%%%%%%%%%%%%
    %% FAA Regulations %%
    %%%%%%%%%%%%%%%%%%%%%
    
    
    Forall ?a (
      :AircraftFAACategory(?a :Small) :- 
      And(?a#:Aircraft(:mtow->?w)
           math:lessEq(?w 41000))
			)

    Forall ?a (
      :AircraftFAACategory(?a :Large) :- 
      And(?a#:Aircraft(:mtow->?w :specialCase->:No)
           math:greaterThan(?w 41000)
           math:lessThan(?w 300000)
           )
        )
        
    Forall ?a (
      :AircraftFAACategory(?a :Heavy) :- 
      And(?a#:Aircraft(:mtow->?w :specialCase->:No)
           math:greaterEq(?w 300000)
           )
        )
     
    Forall ?a (
      :AircraftFAACategory(?a :Super) :- 
      Or(?a#:Aircraft(:specialCase->:A380)
         ?a#:Aircraft(:specialCase->:A225))
        )
    
    Forall ?a (
      :AircraftFAACategory(?a :B757) :- 
        ?a#:Aircraft(:specialCase->:B757)
        )
		
    %%%%%%%%%%%%%%%%%%%%
    %% FAA Separation %%
    %%%%%%%%%%%%%%%%%%%%
    
    Forall ?x ?y (
    :faaSeparation(:leader->?x :follower->?y :miles->:Mrs):-
        Or(
            And(:AircraftFAACategory(?x :Large) 
                :AircraftFAACategory(?y :Large))
                
            And(:AircraftFAACategory(?x :Large) 
                :AircraftFAACategory(?y :B757))
            
            And(:AircraftFAACategory(?x :Large) 
                :AircraftFAACategory(?y :Heavy))
                
            :AircraftFAACategory(?x :Small)
            :AircraftFAACategory(?y :Super)
            )
        )
        
    Forall ?x ?y (
    :faaSeparation(:leader->?x :follower->?y :miles->4):-
        Or(
            And(:AircraftFAACategory(?x :Large) 
                :AircraftFAACategory(?y :Small))
                
            And(:AircraftFAACategory(?x :B757) 
                :AircraftFAACategory(?y :Large))
            
            And(:AircraftFAACategory(?x :B757) 
                :AircraftFAACategory(?y :B757))
                
            And(:AircraftFAACategory(?x :B757) 
                :AircraftFAACategory(?y :Heavy))
            
            And(:AircraftFAACategory(?x :Heavy) 
                :AircraftFAACategory(?y :Heavy))
            )
        )
        
    Forall ?x ?y (
    :faaSeparation(:leader->?x :follower->?y :miles->5):-
        Or(
            And(:AircraftFAACategory(?x :B757) 
                :AircraftFAACategory(?y :Small))
                
            And(:AircraftFAACategory(?x :Heavy) 
                :AircraftFAACategory(?y :Large))
            
            And(:AircraftFAACategory(?x :Heavy) 
                :AircraftFAACategory(?y :B757))
            )
        )

        
    Forall ?x ?y (
    :faaSeparation(:leader->?x :follower->?y :miles->6):-
        Or(
            And(:AircraftFAACategory(?x :Heavy) 
                :AircraftFAACategory(?y :Small))
                
            And(:AircraftFAACategory(?x :Super) 
                :AircraftFAACategory(?y :Heavy))
            )
        )
    
    Forall ?x ?y (
    :faaSeparation(:leader->?x :follower->?y :miles->7):-
        Or(
            And(:AircraftFAACategory(?x :Super) 
                :AircraftFAACategory(?y :Large))
                
            And(:AircraftFAACategory(?x :Super) 
                :AircraftFAACategory(?y :B757))
            )
        )
        
    Forall ?x ?y (
    :faaSeparation(:leader->?x :follower->?y :miles->8):-
        And(:AircraftFAACategory(?x :Super) 
            :AircraftFAACategory(?y :Small))
        )
        
    %%%%%%%%%%%%%%%%%%%%%%%
    %% RECAT Regulations %%
    %%%%%%%%%%%%%%%%%%%%%%%
    
    Forall ?a (
      :AircraftRecatCategory(?a :A) :- 
      And(?a#:Aircraft(:mtow->?w :wingspan->?s)
           math:greaterEq(?w 300000)
           math:greaterThan(?s 245))
    )

    Forall ?a (
      :AircraftRecatCategory(?a :B) :- 
      And(?a#:Aircraft(:mtow->?w :wingspan->?s)
           math:greaterEq(?w 300000)
           math:greaterThan(?s 175)
           math:lessEq(?s 245))
    )
        
    Forall ?a (
      :AircraftRecatCategory(?a :C) :- 
      And(?a#:Aircraft(:mtow->?w :wingspan->?s)
           math:greaterEq(?w 300000)
           math:greaterThan(?s 125)
           math:lessEq(?s 175))
    )
        
    Forall ?a (
     :AircraftRecatCategory(?a :D) :- 
        Or(And(?a#:Aircraft(:mtow->?w :wingspan->?s)
                math:lessThan(?w 300000)
                math:greaterThan(?s 125)
                math:lessEq(?s 175))
           And(?a#:Aircraft(:wingspan->?s)  % modeled according to Advisory Circular 90-23G
                math:greaterThan(?s 90)     % overlaps with category F
                math:lessEq(?s 125))
        )
    )
        
    Forall ?a (
      :AircraftRecatCategory(?a :E) :- 
      And(?a#:Aircraft(:mtow->?w :wingspan->?s)
           math:greaterThan(?w 41000)
           math:greaterThan(?s 65)
           math:lessEq(?s 90))
    )
        
    Forall ?a (
      :AircraftRecatCategory(?a :F) :- 
        Or(And(?a#:Aircraft(:mtow->?w :wingspan->?s)
                math:lessThan(?w 41000)
                math:lessEq(?s 125))
           And(?a#:Aircraft(:mtow->?w)
                math:lessThan(?w 15500))
        )
    )
    
    %%%%%%%%%%%%%%%%%%%%%%
    %% RECAT Separation %%
    %%%%%%%%%%%%%%%%%%%%%%
    
    Forall ?x ?y (
    :recatSeparation(:leader->?x :follower->?y :miles->:Mrs):-
        Or(
                :AircraftRecatCategory(?x :F) 
                :AircraftRecatCategory(?x :E) 
                :AircraftRecatCategory(?y :A)
            
            And(:AircraftRecatCategory(?x :D) 
                :AircraftRecatCategory(?y :E))
            
            And(:AircraftRecatCategory(?x :D) 
                :AircraftRecatCategory(?y :D))
            
            And(:AircraftRecatCategory(?x :D) 
                :AircraftRecatCategory(?y :C))
            
            And(:AircraftRecatCategory(?x :D) 
                :AircraftRecatCategory(?y :B))
            
            And(:AircraftRecatCategory(?x :C) 
                :AircraftRecatCategory(?y :C))
            
            And(:AircraftRecatCategory(?x :C) 
                :AircraftRecatCategory(?y :B))
        )
    )    
    
    Forall ?x ?y (
    :recatSeparation(:leader->?x :follower->?y :miles->3):-            
        And(:AircraftRecatCategory(?x :B) 
            :AircraftRecatCategory(?y :B))
    )
            
    Forall ?x ?y (
    :recatSeparation(:leader->?x :follower->?y :miles->3.5):-
        Or(
            And(:AircraftRecatCategory(?x :C) 
                :AircraftRecatCategory(?y :E))
            
            And(:AircraftRecatCategory(?x :C) 
                :AircraftRecatCategory(?y :D))
            )
    )
        
    Forall ?x ?y (
    :recatSeparation(:leader->?x :follower->?y :miles->4):-
        Or(
            And(:AircraftRecatCategory(?x :D) 
                :AircraftRecatCategory(?y :F))
            
            And(:AircraftRecatCategory(?x :B) 
                :AircraftRecatCategory(?y :C))
            )
    )
        
    Forall ?x ?y (
    :recatSeparation(:leader->?x :follower->?y :miles->5):-
        Or(
            And(:AircraftRecatCategory(?x :B) 
                :AircraftRecatCategory(?y :E))
            
            And(:AircraftRecatCategory(?x :B) 
                :AircraftRecatCategory(?y :D))
            
            And(:AircraftRecatCategory(?x :A) 
                :AircraftRecatCategory(?y :B))
            )
    )
    
    Forall ?x ?y (
    :recatSeparation(:leader->?x :follower->?y :miles->6):-
        Or(
            And(:AircraftRecatCategory(?x :A) 
                :AircraftRecatCategory(?y :C))
            
            And(:AircraftRecatCategory(?x :C) 
                :AircraftRecatCategory(?y :F))
            )
    )
        
    Forall ?x ?y (
    :recatSeparation(:leader->?x :follower->?y :miles->7):-
        Or(
            And(:AircraftRecatCategory(?x :A) 
                :AircraftRecatCategory(?y :E))
            
            And(:AircraftRecatCategory(?x :A) 
                :AircraftRecatCategory(?y :D))
            
            And(:AircraftRecatCategory(?x :B) 
                :AircraftRecatCategory(?y :F))
            )
    )
        
    Forall ?x ?y (
    :recatSeparation(:leader->?x :follower->?y :miles->8):-
        And(:AircraftRecatCategory(?x :A) 
            :AircraftRecatCategory(?y :F))
    )
    
    %%%%%%%%%%%%%%%%%%%%%%%
    %% Aircraft Database %%
    %%%%%%%%%%%%%%%%%%%%%%%
    

    :a500#:Aircraft(:mtom->3175.15
                :mtow->7000.0
                :wingspan->44.0
                :appSpeed->97.5
                :specialCase->:No)

    :sgup#:Aircraft(:mtom->77110.7
                :mtow->170000.0
                :wingspan->156.25
                :appSpeed->130.0
                :specialCase->:No)

    :l39#:Aircraft(:mtom->4700.12
                :mtow->10362.0
                :wingspan->31.041666666666668
                :appSpeed->109.2
                :specialCase->:No)

    :ch7a#:Aircraft(:mtom->553.38
                :mtow->1220.0
                :wingspan->35.0
                :appSpeed->42.9
                :specialCase->:No)

    :n262#:Aircraft(:mtom->10301.08
                :mtow->22710.0
                :wingspan->71.83333333333333
                :appSpeed->89.7
                :specialCase->:No)

    :s601#:Aircraft(:mtom->6599.77
                :mtow->14550.0
                :wingspan->42.208333333333336
                :appSpeed->118.0
                :specialCase->:No)

    :s210#:Aircraft(:mtom->56000.51
                :mtow->123460.0
                :wingspan->112.5
                :appSpeed->127.0
                :specialCase->:No)

    :at3p#:Aircraft(:mtom->2267.96
                :mtow->5000.0
                :wingspan->45.0
                :appSpeed->74.10000000000001
                :specialCase->:No)

    :at3p#:Aircraft(:mtom->3492.66
                :mtow->7700.0
                :wingspan->45.104166666666664
                :appSpeed->74.10000000000001
                :specialCase->:No)

    :at3t#:Aircraft(:mtom->4159.44
                :mtow->9170.0
                :wingspan->51.083333333333336
                :appSpeed->74.10000000000001
                :specialCase->:No)

    :at5t#:Aircraft(:mtom->4263.77
                :mtow->9400.0
                :wingspan->52.0
                :appSpeed->76.7
                :specialCase->:No)

    :at5t#:Aircraft(:mtom->4753.65
                :mtow->10480.0
                :wingspan->52.0
                :appSpeed->76.7
                :specialCase->:No)

    :at5t#:Aircraft(:mtom->4753.65
                :mtow->10480.0
                :wingspan->49.104166666666664
                :appSpeed->76.7
                :specialCase->:No)

    :at5t#:Aircraft(:mtom->4354.49
                :mtow->9600.0
                :wingspan->52.0
                :appSpeed->72.8
                :specialCase->:No)

    :at6t#:Aircraft(:mtom->5669.9
                :mtow->12500.0
                :wingspan->56.0
                :appSpeed->92.3
                :specialCase->:No)

    :at8t#:Aircraft(:mtom->7257.48
                :mtow->16000.0
                :wingspan->59.25
                :appSpeed->102.7
                :specialCase->:No)

    :at8t#:Aircraft(:mtom->7257.48
                :mtow->16000.0
                :wingspan->59.25
                :appSpeed->102.7
                :specialCase->:No)

    :at8t#:Aircraft(:mtom->7257.48
                :mtow->16000.0
                :wingspan->59.25
                :appSpeed->91.0
                :specialCase->:No)

    :a30b#:Aircraft(:mtom->157499.52
                :mtow->347227.0
                :wingspan->147.08
                :appSpeed->137.0
                :specialCase->:No)

    :a30b#:Aircraft(:mtom->141999.81
                :mtow->313056.0
                :wingspan->147.08
                :appSpeed->137.0
                :specialCase->:No)

    :a30b#:Aircraft(:mtom->164998.76
                :mtow->363760.0
                :wingspan->147.08
                :appSpeed->137.0
                :specialCase->:No)

    :a30b#:Aircraft(:mtom->164998.76
                :mtow->363760.0
                :wingspan->147.08
                :appSpeed->137.0
                :specialCase->:No)

    :a306#:Aircraft(:mtom->164998.76
                :mtow->363760.0
                :wingspan->147.13833333333332
                :appSpeed->137.0
                :specialCase->:No)

    :a30b#:Aircraft(:mtom->171698.32
                :mtow->378530.0
                :wingspan->147.13833333333332
                :appSpeed->137.0
                :specialCase->:No)

    :a306#:Aircraft(:mtom->170499.48
                :mtow->375887.0
                :wingspan->147.13833333333332
                :appSpeed->137.0
                :specialCase->:No)

    :a310#:Aircraft(:mtom->143999.7
                :mtow->317465.0
                :wingspan->144.02916666666667
                :appSpeed->139.0
                :specialCase->:No)

    :a310#:Aircraft(:mtom->163999.5
                :mtow->361557.0
                :wingspan->144.02916666666667
                :appSpeed->139.0
                :specialCase->:No)

    :a318#:Aircraft(:mtom->67999.85
                :mtow->149914.0
                :wingspan->111.88
                :appSpeed->121.0
                :specialCase->:No)

    :a319#:Aircraft(:mtom->76499.71
                :mtow->168653.0
                :wingspan->111.88
                :appSpeed->126.0
                :specialCase->:No)

    :a319#:Aircraft(:mtom->76499.71
                :mtow->168653.0
                :wingspan->117.45
                :appSpeed->126.0
                :specialCase->:No)

    :a319#:Aircraft(:mtom->75500.0
                :mtow->166449.0
                :wingspan->117.45
                :appSpeed->126.0
                :specialCase->:No)

    :a320#:Aircraft(:mtom->78000.2
                :mtow->171961.0
                :wingspan->111.88
                :appSpeed->136.0
                :specialCase->:No)

    :a320#:Aircraft(:mtom->78000.2
                :mtow->171961.0
                :wingspan->117.45
                :appSpeed->136.0
                :specialCase->:No)

    :a320#:Aircraft(:mtom->78999.92
                :mtow->174165.0
                :wingspan->117.45
                :appSpeed->136.0
                :specialCase->:No)

    :a321#:Aircraft(:mtom->88999.81
                :mtow->196211.0
                :wingspan->111.88
                :appSpeed->140.0
                :specialCase->:No)

    :a321#:Aircraft(:mtom->88999.81
                :mtow->196211.0
                :wingspan->117.45
                :appSpeed->140.0
                :specialCase->:No)

    :a321#:Aircraft(:mtom->93499.9
                :mtow->206132.0
                :wingspan->111.88
                :appSpeed->140.0
                :specialCase->:No)

    :a321#:Aircraft(:mtom->93499.9
                :mtow->206132.0
                :wingspan->117.45
                :appSpeed->140.0
                :specialCase->:No)

    :a321#:Aircraft(:mtom->93499.9
                :mtow->206132.0
                :wingspan->117.45
                :appSpeed->140.0
                :specialCase->:No)

    :a332#:Aircraft(:mtom->242000.15
                :mtow->533519.0
                :wingspan->197.83
                :appSpeed->136.0
                :specialCase->:No)

    :a332#:Aircraft(:mtom->242000.15
                :mtow->533519.0
                :wingspan->197.83
                :appSpeed->139.0
                :specialCase->:No)

    :a333#:Aircraft(:mtom->242000.15
                :mtow->533519.0
                :wingspan->197.83
                :appSpeed->137.0
                :specialCase->:No)

    :a342#:Aircraft(:mtom->274999.9
                :mtow->606271.0
                :wingspan->197.83
                :appSpeed->136.0
                :specialCase->:No)

    :a343#:Aircraft(:mtom->276499.93
                :mtow->609578.0
                :wingspan->197.83
                :appSpeed->138.0
                :specialCase->:No)

    :a345#:Aircraft(:mtom->379999.73
                :mtow->837756.0
                :wingspan->208.17
                :appSpeed->146.0
                :specialCase->:No)

    :a346#:Aircraft(:mtom->379999.73
                :mtow->837756.0
                :wingspan->208.17
                :appSpeed->153.0
                :specialCase->:No)

    :a359#:Aircraft(:mtom->280000.3
                :mtow->617295.0
                :wingspan->212.41666666666666
                :appSpeed->140.0
                :specialCase->:No)

    :a388#:Aircraft(:mtom->575000.0
                :mtow->1267658.0
                :wingspan->261.65
                :appSpeed->145.0
                :specialCase->:A380)

    :a38f#:Aircraft(:mtom->589670.08
                :mtow->1300000.0
                :wingspan->261.65
                :appSpeed->145.0
                :specialCase->:A380)

    :aa1#:Aircraft(:mtom->680.39
                :mtow->1500.0
                :wingspan->24.5
                :appSpeed->70.0
                :specialCase->:No)

    :aa5#:Aircraft(:mtom->997.9
                :mtow->2200.0
                :wingspan->31.5
                :appSpeed->80.0
                :specialCase->:No)

    :an12#:Aircraft(:mtom->55111.47
                :mtow->121500.0
                :wingspan->124.8
                :appSpeed->127.0
                :specialCase->:No)

    :a124#:Aircraft(:mtom->404999.47
                :mtow->892871.0
                :wingspan->240.5
                :appSpeed->124.0
                :specialCase->:No)

    :a140#:Aircraft(:mtom->21500.28
                :mtow->47400.0
                :wingspan->83.67
                :appSpeed->230.0
                :specialCase->:No)

    :at43#:Aircraft(:mtom->16703.54
                :mtow->36825.0
                :wingspan->80.58333333333333
                :appSpeed->104.0
                :specialCase->:No)

    :at45#:Aircraft(:mtom->18599.56
                :mtow->41005.0
                :wingspan->80.58333333333333
                :appSpeed->104.0
                :specialCase->:No)

    :at72#:Aircraft(:mtom->19989.82
                :mtow->44070.0
                :wingspan->88.75
                :appSpeed->114.0
                :specialCase->:No)

    :at72#:Aircraft(:mtom->21500.28
                :mtow->47400.0
                :wingspan->88.75
                :appSpeed->114.0
                :specialCase->:No)

    :at72#:Aircraft(:mtom->21999.68
                :mtow->48501.0
                :wingspan->88.75
                :appSpeed->114.0
                :specialCase->:No)

    :at72#:Aircraft(:mtom->21999.68
                :mtow->48501.0
                :wingspan->88.75
                :appSpeed->114.0
                :specialCase->:No)

    :at72#:Aircraft(:mtom->22499.54
                :mtow->49603.0
                :wingspan->88.75
                :appSpeed->114.0
                :specialCase->:No)

    :noma#:Aircraft(:mtom->3855.54
                :mtow->8500.0
                :wingspan->54.166666666666664
                :appSpeed->63.7
                :specialCase->:No)

    :noma#:Aircraft(:mtom->4263.77
                :mtow->9400.0
                :wingspan->54.166666666666664
                :appSpeed->74.10000000000001
                :specialCase->:No)

    :dc3#:Aircraft(:mtom->13040.78
                :mtow->28750.0
                :wingspan->95.16666666666667
                :appSpeed->76.7
                :specialCase->:No)

    :b190#:Aircraft(:mtom->7529.63
                :mtow->16600.0
                :wingspan->54.5
                :appSpeed->113.0
                :specialCase->:No)

    :be55#:Aircraft(:mtom->2404.04
                :mtow->5300.0
                :wingspan->37.833333333333336
                :appSpeed->88.4
                :specialCase->:No)

    :be56#:Aircraft(:mtom->2717.02
                :mtow->5990.0
                :wingspan->37.833333333333336
                :appSpeed->91.4
                :specialCase->:No)

    :be58#:Aircraft(:mtom->2494.76
                :mtow->5500.0
                :wingspan->37.833333333333336
                :appSpeed->96.2
                :specialCase->:No)

    :be40#:Aircraft(:mtom->7302.84
                :mtow->16100.0
                :wingspan->43.5
                :appSpeed->119.60000000000001
                :specialCase->:No)

    :be33#:Aircraft(:mtom->1587.57
                :mtow->3500.0
                :wingspan->33.5
                :appSpeed->68.9
                :specialCase->:No)

    :be35#:Aircraft(:mtom->1417.48
                :mtow->3125.0
                :wingspan->32.833333333333336
                :appSpeed->71.5
                :specialCase->:No)

    :be35#:Aircraft(:mtom->1417.48
                :mtow->3125.0
                :wingspan->33.5
                :appSpeed->71.5
                :specialCase->:No)

    :be35#:Aircraft(:mtom->1542.21
                :mtow->3400.0
                :wingspan->33.5
                :appSpeed->71.5
                :specialCase->:No)

    :be36#:Aircraft(:mtom->1655.61
                :mtow->3650.0
                :wingspan->33.5
                :appSpeed->76.7
                :specialCase->:No)

    :be10#:Aircraft(:mtom->5352.39
                :mtow->11800.0
                :wingspan->45.916666666666664
                :appSpeed->111.0
                :specialCase->:No)

    :be20#:Aircraft(:mtom->5669.9
                :mtow->12500.0
                :wingspan->54.5
                :appSpeed->97.5
                :specialCase->:No)

    :be30#:Aircraft(:mtom->6350.29
                :mtow->14000.0
                :wingspan->57.916666666666664
                :appSpeed->106.60000000000001
                :specialCase->:No)

    :be30#:Aircraft(:mtom->5669.9
                :mtow->12500.0
                :wingspan->57.916666666666664
                :appSpeed->106.60000000000001
                :specialCase->:No)

    :b350#:Aircraft(:mtom->7484.27
                :mtow->16500.0
                :wingspan->57.916666666666664
                :appSpeed->106.60000000000001
                :specialCase->:No)

    :b350#:Aircraft(:mtom->6803.89
                :mtow->15000.0
                :wingspan->57.916666666666664
                :appSpeed->106.60000000000001
                :specialCase->:No)

    :be90#:Aircraft(:mtom->4218.41
                :mtow->9300.0
                :wingspan->45.916666666666664
                :appSpeed->100.0
                :specialCase->:No)
                
    :be9l#:Aircraft(:mtom->4218.41
                :mtow->9300.0
                :wingspan->45.916666666666664
                :appSpeed->100.0
                :specialCase->:No)

    :be90#:Aircraft(:mtom->4581.28
                :mtow->10100.0
                :wingspan->50.25
                :appSpeed->100.0
                :specialCase->:No)

    :be9l#:Aircraft(:mtom->4581.28
                :mtow->10100.0
                :wingspan->50.25
                :appSpeed->100.0
                :specialCase->:No)

    :be9t#:Aircraft(:mtom->4966.84
                :mtow->10950.0
                :wingspan->54.5
                :appSpeed->108.0
                :specialCase->:No)

    :be20#:Aircraft(:mtom->5669.9
                :mtow->12500.0
                :wingspan->57.916666666666664
                :appSpeed->106.60000000000001
                :specialCase->:No)

    :be9l#:Aircraft(:mtom->4755.92
                :mtow->10485.0
                :wingspan->53.666666666666664
                :appSpeed->97.5
                :specialCase->:No)

    :be18#:Aircraft(:mtom->4490.56
                :mtow->9900.0
                :wingspan->49.666666666666664
                :appSpeed->87.0
                :specialCase->:No)

    :be8t#:Aircraft(:mtom->5216.31
                :mtow->11500.0
                :wingspan->46.0
                :appSpeed->87.0
                :specialCase->:No)

    :be60#:Aircraft(:mtom->3073.09
                :mtow->6775.0
                :wingspan->39.25
                :appSpeed->98.0
                :specialCase->:No)

    :be60#:Aircraft(:mtom->3050.41
                :mtow->6725.0
                :wingspan->39.25
                :appSpeed->98.0
                :specialCase->:No)

    :be60#:Aircraft(:mtom->3197.83
                :mtow->7050.0
                :wingspan->39.25
                :appSpeed->98.0
                :specialCase->:No)

    :be76#:Aircraft(:mtom->1769.01
                :mtow->3900.0
                :wingspan->38.0
                :appSpeed->76.0
                :specialCase->:No)

    :be77#:Aircraft(:mtom->759.77
                :mtow->1675.0
                :wingspan->30.0
                :appSpeed->63.0
                :specialCase->:No)

    :be95#:Aircraft(:mtom->1905.09
                :mtow->4200.0
                :wingspan->37.833333333333336
                :appSpeed->79.3
                :specialCase->:No)

    :be99#:Aircraft(:mtom->5125.59
                :mtow->11300.0
                :wingspan->45.92
                :appSpeed->107.0
                :specialCase->:No)

    :be80#:Aircraft(:mtom->3628.74
                :mtow->8000.0
                :wingspan->45.875
                :appSpeed->87.0
                :specialCase->:No)

    :prm1#:Aircraft(:mtom->5669.9
                :mtow->12500.0
                :wingspan->44.5
                :appSpeed->108.0
                :specialCase->:No)

    :b703#:Aircraft(:mtom->151318.41
                :mtow->333600.0
                :wingspan->145.75
                :appSpeed->128.0
                :specialCase->:No)

    :b712#:Aircraft(:mtom->53523.9
                :mtow->118000.0
                :wingspan->93.33333333333333
                :appSpeed->139.0
                :specialCase->:No)

    :b712#:Aircraft(:mtom->54884.68
                :mtow->121000.0
                :wingspan->93.33333333333333
                :appSpeed->139.0
                :specialCase->:No)

    :b720#:Aircraft(:mtom->106276.69
                :mtow->234300.0
                :wingspan->130.83333333333334
                :appSpeed->137.0
                :specialCase->:No)

    :b721#:Aircraft(:mtom->72574.78
                :mtow->160000.0
                :wingspan->108.0
                :appSpeed->124.0
                :specialCase->:No)

    :b721#:Aircraft(:mtom->76657.11
                :mtow->169000.0
                :wingspan->108.0
                :appSpeed->124.0
                :specialCase->:No)

    :b722#:Aircraft(:mtom->83823.87
                :mtow->184800.0
                :wingspan->108.0
                :appSpeed->133.0
                :specialCase->:No)

    :b722#:Aircraft(:mtom->83823.87
                :mtow->184800.0
                :wingspan->109.25
                :appSpeed->133.0
                :specialCase->:No)

    :b722#:Aircraft(:mtom->95027.6
                :mtow->209500.0
                :wingspan->108.0
                :appSpeed->133.0
                :specialCase->:No)

    :b722#:Aircraft(:mtom->95027.6
                :mtow->209500.0
                :wingspan->109.25
                :appSpeed->133.0
                :specialCase->:No)

    :b731#:Aircraft(:mtom->49895.16
                :mtow->110000.0
                :wingspan->93.0
                :appSpeed->136.0
                :specialCase->:No)

    :b732#:Aircraft(:mtom->52389.92
                :mtow->115500.0
                :wingspan->93.0
                :appSpeed->129.0
                :specialCase->:No)

    :b732#:Aircraft(:mtom->58105.18
                :mtow->128100.0
                :wingspan->93.0
                :appSpeed->129.0
                :specialCase->:No)

    :b733#:Aircraft(:mtom->63276.14
                :mtow->139500.0
                :wingspan->94.75
                :appSpeed->135.0
                :specialCase->:No)

    :b733#:Aircraft(:mtom->63276.14
                :mtow->139500.0
                :wingspan->102.08333333333333
                :appSpeed->135.0
                :specialCase->:No)

    :b734#:Aircraft(:mtom->68038.86
                :mtow->150000.0
                :wingspan->94.75
                :appSpeed->139.0
                :specialCase->:No)

    :b735#:Aircraft(:mtom->61688.56
                :mtow->136000.0
                :wingspan->94.75
                :appSpeed->128.0
                :specialCase->:No)

    :b736#:Aircraft(:mtom->65544.1
                :mtow->144500.0
                :wingspan->112.58333333333333
                :appSpeed->125.0
                :specialCase->:No)

    :b736#:Aircraft(:mtom->65544.1
                :mtow->144500.0
                :wingspan->117.41666666666667
                :appSpeed->125.0
                :specialCase->:No)

    :b737#:Aircraft(:mtom->70080.02
                :mtow->154500.0
                :wingspan->117.41666666666667
                :appSpeed->130.0
                :specialCase->:No)

    :b737#:Aircraft(:mtom->70080.02
                :mtow->154500.0
                :wingspan->112.58333333333333
                :appSpeed->130.0
                :specialCase->:No)

    :b738#:Aircraft(:mtom->79015.79
                :mtow->174200.0
                :wingspan->112.58333333333333
                :appSpeed->142.0
                :specialCase->:No)

    :b738#:Aircraft(:mtom->79015.79
                :mtow->174200.0
                :wingspan->117.83333333333333
                :appSpeed->142.0
                :specialCase->:No)

    :b738#:Aircraft(:mtom->79015.79
                :mtow->174200.0
                :wingspan->117.41666666666667
                :appSpeed->142.0
                :specialCase->:No)

    :b739#:Aircraft(:mtom->79015.79
                :mtow->174200.0
                :wingspan->112.58333333333333
                :appSpeed->141.0
                :specialCase->:No)

    :b739#:Aircraft(:mtom->79015.79
                :mtow->174200.0
                :wingspan->117.83333333333333
                :appSpeed->141.0
                :specialCase->:No)

    :b739#:Aircraft(:mtom->79015.79
                :mtow->174200.0
                :wingspan->117.41666666666667
                :appSpeed->141.0
                :specialCase->:No)

    :b739#:Aircraft(:mtom->85139.29
                :mtow->187700.0
                :wingspan->112.58333333333333
                :appSpeed->141.0
                :specialCase->:No)

    :b739#:Aircraft(:mtom->85139.29
                :mtow->187700.0
                :wingspan->117.41666666666667
                :appSpeed->140.0
                :specialCase->:No)

    :b738#:Aircraft(:mtom->79015.79
                :mtow->174200.0
                :wingspan->117.41666666666667
                :appSpeed->142.0
                :specialCase->:No)

    :b737#:Aircraft(:mtom->77564.3
                :mtow->171000.0
                :wingspan->117.41666666666667
                :appSpeed->132.0
                :specialCase->:No)

    :b741#:Aircraft(:mtom->340194.28
                :mtow->750000.0
                :wingspan->195.66666666666666
                :appSpeed->144.0
                :specialCase->:No)

    :b741#:Aircraft(:mtom->272155.42
                :mtow->600000.0
                :wingspan->195.66666666666666
                :appSpeed->144.0
                :specialCase->:No)

    :b741#:Aircraft(:mtom->333390.39
                :mtow->735000.0
                :wingspan->195.66666666666666
                :appSpeed->144.0
                :specialCase->:No)

    :b742#:Aircraft(:mtom->377842.44
                :mtow->833000.0
                :wingspan->195.66666666666666
                :appSpeed->150.0
                :specialCase->:No)

    :b742#:Aircraft(:mtom->377842.44
                :mtow->833000.0
                :wingspan->195.66666666666666
                :appSpeed->150.0
                :specialCase->:No)

    :b743#:Aircraft(:mtom->377842.44
                :mtow->833000.0
                :wingspan->195.66666666666666
                :appSpeed->142.0
                :specialCase->:No)

    :b743#:Aircraft(:mtom->272155.42
                :mtow->600000.0
                :wingspan->195.66666666666666
                :appSpeed->142.0
                :specialCase->:No)

    :b744#:Aircraft(:mtom->276691.35
                :mtow->610000.0
                :wingspan->195.66666666666666
                :appSpeed->157.0
                :specialCase->:No)

    :b744#:Aircraft(:mtom->396893.32
                :mtow->875000.0
                :wingspan->213.0
                :appSpeed->157.0
                :specialCase->:No)

    :b744#:Aircraft(:mtom->412769.06
                :mtow->910000.0
                :wingspan->213.0
                :appSpeed->157.0
                :specialCase->:No)

    :b744#:Aircraft(:mtom->412769.06
                :mtow->910000.0
                :wingspan->213.0
                :appSpeed->157.0
                :specialCase->:No)

    :b744#:Aircraft(:mtom->396893.32
                :mtow->875000.0
                :wingspan->213.0
                :appSpeed->158.0
                :specialCase->:No)

    :b744#:Aircraft(:mtom->315700.29
                :mtow->696000.0
                :wingspan->195.66666666666666
                :appSpeed->140.0
                :specialCase->:No)

    :b752#:Aircraft(:mtom->115892.85
                :mtow->255500.0
                :wingspan->124.83333333333333
                :appSpeed->137.0
                :specialCase->:B757)

    :b752#:Aircraft(:mtom->115892.85
                :mtow->255500.0
                :wingspan->134.75
                :appSpeed->137.0
                :specialCase->:B757)

    :b753#:Aircraft(:mtom->122469.94
                :mtow->270000.0
                :wingspan->124.83333333333333
                :appSpeed->143.0
                :specialCase->:B757)

    :b753#:Aircraft(:mtom->122469.94
                :mtow->270000.0
                :wingspan->134.75
                :appSpeed->143.0
                :specialCase->:B757)

    :b762#:Aircraft(:mtom->142881.6
                :mtow->315000.0
                :wingspan->156.08333333333334
                :appSpeed->135.0
                :specialCase->:No)

    :b762#:Aircraft(:mtom->179168.99
                :mtow->395000.0
                :wingspan->156.08333333333334
                :appSpeed->142.0
                :specialCase->:No)

    :b763#:Aircraft(:mtom->158757.33
                :mtow->350000.0
                :wingspan->156.08333333333334
                :appSpeed->140.0
                :specialCase->:No)

    :b763#:Aircraft(:mtom->186880.06
                :mtow->412000.0
                :wingspan->156.08333333333334
                :appSpeed->140.0
                :specialCase->:No)

    :b763#:Aircraft(:mtom->186880.06
                :mtow->412000.0
                :wingspan->156.08333333333334
                :appSpeed->145.0
                :specialCase->:No)

    :b763#:Aircraft(:mtom->186880.06
                :mtow->412000.0
                :wingspan->167.0
                :appSpeed->145.0
                :specialCase->:No)

    :b764#:Aircraft(:mtom->204116.57
                :mtow->450000.0
                :wingspan->170.33333333333334
                :appSpeed->150.0
                :specialCase->:No)

    :b772#:Aircraft(:mtom->242671.92
                :mtow->535000.0
                :wingspan->199.91666666666666
                :appSpeed->136.0
                :specialCase->:No)

    :b772#:Aircraft(:mtom->286897.17
                :mtow->632500.0
                :wingspan->199.91666666666666
                :appSpeed->136.0
                :specialCase->:No)

    :b772#:Aircraft(:mtom->347451.76
                :mtow->766000.0
                :wingspan->212.58333333333334
                :appSpeed->140.0
                :specialCase->:No)

    :b773#:Aircraft(:mtom->299370.96
                :mtow->660000.0
                :wingspan->199.91666666666666
                :appSpeed->149.0
                :specialCase->:No)

    :b773#:Aircraft(:mtom->351534.09
                :mtow->775000.0
                :wingspan->212.58333333333334
                :appSpeed->149.0
                :specialCase->:No)

    :b773#:Aircraft(:mtom->347814.63
                :mtow->766800.0
                :wingspan->212.58333333333334
                :appSpeed->140.0
                :specialCase->:No)

    :b788#:Aircraft(:mtom->227930.17
                :mtow->502500.0
                :wingspan->197.25
                :appSpeed->140.0
                :specialCase->:No)

    :b789#:Aircraft(:mtom->254011.73
                :mtow->560000.0
                :wingspan->197.25
                :appSpeed->140.0
                :specialCase->:No)

    :b52#:Aircraft(:mtom->221353.08
                :mtow->488000.0
                :wingspan->185.0
                :appSpeed->141.0
                :specialCase->:No)

    :c97#:Aircraft(:mtom->66133.77
                :mtow->145800.0
                :wingspan->141.3
                :appSpeed->105.0
                :specialCase->:No)

    :dc3#:Aircraft(:mtom->11430.07
                :mtow->25199.0
                :wingspan->95.16666666666667
                :appSpeed->76.7
                :specialCase->:No)

    :dc95#:Aircraft(:mtom->41140.83
                :mtow->90700.0
                :wingspan->89.4
                :appSpeed->132.0
                :specialCase->:No)

    :dc95#:Aircraft(:mtom->41140.83
                :mtow->90700.0
                :wingspan->89.4
                :appSpeed->132.0
                :specialCase->:No)

    :dc92#:Aircraft(:mtom->44452.05
                :mtow->98000.0
                :wingspan->93.3
                :appSpeed->132.0
                :specialCase->:No)

    :dc93#:Aircraft(:mtom->54884.68
                :mtow->121000.0
                :wingspan->93.3
                :appSpeed->132.0
                :specialCase->:No)

    :dc93#:Aircraft(:mtom->48987.98
                :mtow->108000.0
                :wingspan->93.3
                :appSpeed->132.0
                :specialCase->:No)

    :md82#:Aircraft(:mtom->67812.06
                :mtow->149500.0
                :wingspan->107.85
                :appSpeed->134.0
                :specialCase->:No)

    :md83#:Aircraft(:mtom->72574.78
                :mtow->160000.0
                :wingspan->107.85
                :appSpeed->144.0
                :specialCase->:No)

    :md88#:Aircraft(:mtom->67812.06
                :mtow->149500.0
                :wingspan->107.85
                :appSpeed->144.0
                :specialCase->:No)

    :md90#:Aircraft(:mtom->70760.41
                :mtow->156000.0
                :wingspan->107.83333333333333
                :appSpeed->138.0
                :specialCase->:No)

    :md90#:Aircraft(:mtom->76203.52
                :mtow->168000.0
                :wingspan->107.83333333333333
                :appSpeed->138.0
                :specialCase->:No)

    :gl5t#:Aircraft(:mtom->41957.29
                :mtow->92500.0
                :wingspan->94.0
                :appSpeed->111.8
                :specialCase->:No)

    :glex#:Aircraft(:mtom->43091.28
                :mtow->95000.0
                :wingspan->94.0
                :appSpeed->111.8
                :specialCase->:No)

    :cl30#:Aircraft(:mtom->17622.06
                :mtow->38850.0
                :wingspan->63.833333333333336
                :appSpeed->125.0
                :specialCase->:No)

    :cl35#:Aircraft(:mtom->18415.85
                :mtow->40600.0
                :wingspan->69.0
                :appSpeed->125.0
                :specialCase->:No)

    :cl60#:Aircraft(:mtom->18642.65
                :mtow->41100.0
                :wingspan->64.33333333333333
                :appSpeed->125.0
                :specialCase->:No)

    :cl60#:Aircraft(:mtom->19549.83
                :mtow->43100.0
                :wingspan->64.33333333333333
                :appSpeed->125.0
                :specialCase->:No)

    :cl60#:Aircraft(:mtom->19549.83
                :mtow->43100.0
                :wingspan->64.33333333333333
                :appSpeed->125.0
                :specialCase->:No)

    :cl60#:Aircraft(:mtom->19549.83
                :mtow->43100.0
                :wingspan->64.33333333333333
                :appSpeed->125.0
                :specialCase->:No)

    :cl60#:Aircraft(:mtom->19549.83
                :mtow->43100.0
                :wingspan->64.33333333333333
                :appSpeed->125.0
                :specialCase->:No)

    :cl60#:Aircraft(:mtom->20457.02
                :mtow->45100.0
                :wingspan->64.33333333333333
                :appSpeed->125.0
                :specialCase->:No)

    :cl60#:Aircraft(:mtom->20457.02
                :mtow->45100.0
                :wingspan->64.33333333333333
                :appSpeed->125.0
                :specialCase->:No)

    :cl60#:Aircraft(:mtom->21863.15
                :mtow->48200.0
                :wingspan->64.33333333333333
                :appSpeed->137.0
                :specialCase->:No)

    :crj2#:Aircraft(:mtom->23133.21
                :mtow->51000.0
                :wingspan->68.66666666666667
                :appSpeed->140.0
                :specialCase->:No)

    :crj2#:Aircraft(:mtom->24040.4
                :mtow->53000.0
                :wingspan->68.66666666666667
                :appSpeed->140.0
                :specialCase->:No)

    :crj2#:Aircraft(:mtom->21522.96
                :mtow->47450.0
                :wingspan->68.66666666666667
                :appSpeed->140.0
                :specialCase->:No)

    :crj7#:Aircraft(:mtom->34019.43
                :mtow->75000.0
                :wingspan->76.26666666666667
                :appSpeed->135.0
                :specialCase->:No)

    :crj7#:Aircraft(:mtom->34926.61
                :mtow->77000.0
                :wingspan->76.26666666666667
                :appSpeed->135.0
                :specialCase->:No)

    :crj7#:Aircraft(:mtom->32998.84
                :mtow->72750.0
                :wingspan->76.26666666666667
                :appSpeed->135.0
                :specialCase->:No)

    :lj24#:Aircraft(:mtom->5896.7
                :mtow->13000.0
                :wingspan->35.583333333333336
                :appSpeed->128.0
                :specialCase->:No)

    :lj24#:Aircraft(:mtom->5669.45
                :mtow->12499.0
                :wingspan->35.583333333333336
                :appSpeed->128.0
                :specialCase->:No)

    :lj24#:Aircraft(:mtom->6123.5
                :mtow->13500.0
                :wingspan->35.583333333333336
                :appSpeed->128.0
                :specialCase->:No)

    :lj24#:Aircraft(:mtom->5669.45
                :mtow->12499.0
                :wingspan->35.583333333333336
                :appSpeed->128.0
                :specialCase->:No)

    :lj24#:Aircraft(:mtom->5851.34
                :mtow->12900.0
                :wingspan->35.583333333333336
                :appSpeed->128.0
                :specialCase->:No)

    :lj25#:Aircraft(:mtom->6803.89
                :mtow->15000.0
                :wingspan->35.583333333333336
                :appSpeed->137.0
                :specialCase->:No)

    :lj25#:Aircraft(:mtom->5669.45
                :mtow->12499.0
                :wingspan->35.583333333333336
                :appSpeed->125.0
                :specialCase->:No)

    :lj31#:Aircraft(:mtom->7030.68
                :mtow->15500.0
                :wingspan->43.833333333333336
                :appSpeed->125.0
                :specialCase->:No)

    :lj35#:Aircraft(:mtom->8164.66
                :mtow->18000.0
                :wingspan->39.5
                :appSpeed->143.0
                :specialCase->:No)

    :lj40#:Aircraft(:mtom->9525.44
                :mtow->21000.0
                :wingspan->47.78125
                :appSpeed->123.0
                :specialCase->:No)

    :lj45#:Aircraft(:mtom->9752.24
                :mtow->21500.0
                :wingspan->47.833333333333336
                :appSpeed->123.0
                :specialCase->:No)

    :lj55#:Aircraft(:mtom->8845.05
                :mtow->19500.0
                :wingspan->43.833333333333336
                :appSpeed->125.0
                :specialCase->:No)

    :lj60#:Aircraft(:mtom->10319.23
                :mtow->22750.0
                :wingspan->43.75
                :appSpeed->125.0
                :specialCase->:No)

    :lj75#:Aircraft(:mtom->9752.24
                :mtow->21500.0
                :wingspan->50.916666666666664
                :appSpeed->125.0
                :specialCase->:No)

    :dh8a#:Aircraft(:mtom->14968.55
                :mtow->33000.0
                :wingspan->85.0
                :appSpeed->92.0
                :specialCase->:No)

    :dh8a#:Aircraft(:mtom->15648.94
                :mtow->34500.0
                :wingspan->85.0
                :appSpeed->92.0
                :specialCase->:No)

    :dh8a#:Aircraft(:mtom->15966.45
                :mtow->35200.0
                :wingspan->85.0
                :appSpeed->92.0
                :specialCase->:No)

    :dh8a#:Aircraft(:mtom->16465.4
                :mtow->36300.0
                :wingspan->85.0
                :appSpeed->92.0
                :specialCase->:No)

    :atl2#:Aircraft(:mtom->46198.38
                :mtow->101850.0
                :wingspan->122.77083333333333
                :appSpeed->117.0
                :specialCase->:No)

    :rj1h#:Aircraft(:mtom->46039.63
                :mtow->101500.0
                :wingspan->86.41666666666667
                :appSpeed->123.0
                :specialCase->:No)

    :rj70#:Aircraft(:mtom->43091.28
                :mtow->95000.0
                :wingspan->86.41666666666667
                :appSpeed->121.0
                :specialCase->:No)

    :rj85#:Aircraft(:mtom->43998.46
                :mtow->97000.0
                :wingspan->86.41666666666667
                :appSpeed->122.0
                :specialCase->:No)

    :b461#:Aircraft(:mtom->38101.76
                :mtow->84000.0
                :wingspan->86.41666666666667
                :appSpeed->121.0
                :specialCase->:No)

    :b462#:Aircraft(:mtom->42184.09
                :mtow->93000.0
                :wingspan->86.41666666666667
                :appSpeed->122.0
                :specialCase->:No)

    :b463#:Aircraft(:mtom->45132.44
                :mtow->99500.0
                :wingspan->86.41666666666667
                :appSpeed->123.0
                :specialCase->:No)

    :h25c#:Aircraft(:mtom->14106.72
                :mtow->31100.0
                :wingspan->47.0
                :appSpeed->107.9
                :specialCase->:No)

    :h25b#:Aircraft(:mtom->12700.59
                :mtow->28000.0
                :wingspan->54.333333333333336
                :appSpeed->137.02
                :specialCase->:No)

    :ba11#:Aircraft(:mtom->35607.0
                :mtow->78500.0
                :wingspan->88.5
                :appSpeed->140.4
                :specialCase->:No)

    :ba11#:Aircraft(:mtom->39462.54
                :mtow->87000.0
                :wingspan->88.5
                :appSpeed->148.20000000000002
                :specialCase->:No)

    :ba11#:Aircraft(:mtom->44678.85
                :mtow->98500.0
                :wingspan->93.5
                :appSpeed->128.70000000000002
                :specialCase->:No)

    :ba11#:Aircraft(:mtom->47400.4
                :mtow->104500.0
                :wingspan->93.5
                :appSpeed->136.5
                :specialCase->:No)

    :tris#:Aircraft(:mtom->4535.92
                :mtow->10000.0
                :wingspan->53.0
                :appSpeed->58.5
                :specialCase->:No)

    :cl44#:Aircraft(:mtom->95254.4
                :mtow->210000.0
                :wingspan->142.3
                :appSpeed->123.0
                :specialCase->:No)

    :c207#:Aircraft(:mtom->16510.76
                :mtow->36400.0
                :wingspan->91.2
                :appSpeed->102.0
                :specialCase->:No)

    :c150#:Aircraft(:mtom->759.77
                :mtow->1675.0
                :wingspan->33.166666666666664
                :appSpeed->55.9
                :specialCase->:No)

    :c150#:Aircraft(:mtom->725.75
                :mtow->1600.0
                :wingspan->33.166666666666664
                :appSpeed->54.6
                :specialCase->:No)

    :c162#:Aircraft(:mtom->598.74
                :mtow->1320.0
                :wingspan->30.0
                :appSpeed->50.7
                :specialCase->:No)

    :c172#:Aircraft(:mtom->1202.02
                :mtow->2650.0
                :wingspan->36.083333333333336
                :appSpeed->62.400000000000006
                :specialCase->:No)

    :c72r#:Aircraft(:mtom->1202.02
                :mtow->2650.0
                :wingspan->36.083333333333336
                :appSpeed->62.400000000000006
                :specialCase->:No)
                
    :c172#:Aircraft(:mtom->1156.66
                :mtow->2550.0
                :wingspan->36.083333333333336
                :appSpeed->62.400000000000006
                :specialCase->:No)

    :c172#:Aircraft(:mtom->1156.66
                :mtow->2550.0
                :wingspan->36.083333333333336
                :appSpeed->62.400000000000006
                :specialCase->:No)

    :c175#:Aircraft(:mtom->1133.98
                :mtow->2500.0
                :wingspan->36.166666666666664
                :appSpeed->55.9
                :specialCase->:No)

    :c177#:Aircraft(:mtom->1133.98
                :mtow->2500.0
                :wingspan->35.5
                :appSpeed->52.0
                :specialCase->:No)

    :c177#:Aircraft(:mtom->1270.06
                :mtow->2800.0
                :wingspan->35.5
                :appSpeed->65.0
                :specialCase->:No)

    :c180#:Aircraft(:mtom->1270.06
                :mtow->2800.0
                :wingspan->35.833333333333336
                :appSpeed->63.7
                :specialCase->:No)

    :c182#:Aircraft(:mtom->1406.14
                :mtow->3100.0
                :wingspan->36.0
                :appSpeed->63.7
                :specialCase->:No)

    :c82r#:Aircraft(:mtom->1406.14
                :mtow->3100.0
                :wingspan->36.0
                :appSpeed->63.7
                :specialCase->:No)

    :c185#:Aircraft(:mtom->1519.53
                :mtow->3350.0
                :wingspan->35.833333333333336
                :appSpeed->63.7
                :specialCase->:No)

    :c185#:Aircraft(:mtom->1519.53
                :mtow->3350.0
                :wingspan->35.833333333333336
                :appSpeed->63.7
                :specialCase->:No)

    :c185#:Aircraft(:mtom->1480.98
                :mtow->3265.0
                :wingspan->35.833333333333336
                :appSpeed->63.7
                :specialCase->:No)

    :c185#:Aircraft(:mtom->1505.93
                :mtow->3320.0
                :wingspan->35.833333333333336
                :appSpeed->63.7
                :specialCase->:No)

    :c195#:Aircraft(:mtom->1519.53
                :mtow->3350.0
                :wingspan->36.166666666666664
                :appSpeed->52.0
                :specialCase->:No)

    :c206#:Aircraft(:mtom->1718.66
                :mtow->3789.0
                :wingspan->36.0
                :appSpeed->74.10000000000001
                :specialCase->:No)

    :t206#:Aircraft(:mtom->1718.66
                :mtow->3789.0
                :wingspan->36.0
                :appSpeed->74.10000000000001
                :specialCase->:No)

    :c206#:Aircraft(:mtom->1632.93
                :mtow->3600.0
                :wingspan->36.0
                :appSpeed->70.2
                :specialCase->:No)

    :c207#:Aircraft(:mtom->1723.65
                :mtow->3800.0
                :wingspan->36.166666666666664
                :appSpeed->70.2
                :specialCase->:No)

    :c208#:Aircraft(:mtom->3628.74
                :mtow->8000.0
                :wingspan->52.083333333333336
                :appSpeed->79.3
                :specialCase->:No)

    :c208#:Aircraft(:mtom->4110.45
                :mtow->9062.0
                :wingspan->52.083333333333336
                :appSpeed->76.7
                :specialCase->:No)

    :c208#:Aircraft(:mtom->3994.79
                :mtow->8807.0
                :wingspan->52.083333333333336
                :appSpeed->79.3
                :specialCase->:No)

    :c210#:Aircraft(:mtom->1814.37
                :mtow->4000.0
                :wingspan->36.75
                :appSpeed->75.4
                :specialCase->:No)
                
    :c10t#:Aircraft(:mtom->1814.37
                :mtow->4000.0
                :wingspan->36.75
                :appSpeed->75.4
                :specialCase->:No)

    :c310#:Aircraft(:mtom->2494.76
                :mtow->5500.0
                :wingspan->36.916666666666664
                :appSpeed->81.9
                :specialCase->:No)

    :c320#:Aircraft(:mtom->2404.04
                :mtow->5300.0
                :wingspan->36.916666666666664
                :appSpeed->81.9
                :specialCase->:No)

    :c337#:Aircraft(:mtom->1995.81
                :mtow->4400.0
                :wingspan->38.0
                :appSpeed->70.2
                :specialCase->:No)

    :c340#:Aircraft(:mtom->2732.89
                :mtow->6025.0
                :wingspan->38.108333333333334
                :appSpeed->93.60000000000001
                :specialCase->:No)

    :col3#:Aircraft(:mtom->1542.21
                :mtow->3400.0
                :wingspan->36.083333333333336
                :appSpeed->78.0
                :specialCase->:No)

    :col4#:Aircraft(:mtom->1542.21
                :mtow->3400.0
                :wingspan->36.083333333333336
                :appSpeed->78.0
                :specialCase->:No)

    :c401#:Aircraft(:mtom->2857.63
                :mtow->6300.0
                :wingspan->44.166666666666664
                :appSpeed->89.7
                :specialCase->:No)

    :c402#:Aircraft(:mtom->3107.11
                :mtow->6850.0
                :wingspan->44.166666666666664
                :appSpeed->88.4
                :specialCase->:No)

    :c404#:Aircraft(:mtom->3810.18
                :mtow->8400.0
                :wingspan->46.333333333333336
                :appSpeed->96.2
                :specialCase->:No)

    :c411#:Aircraft(:mtom->2948.35
                :mtow->6500.0
                :wingspan->39.854166666666664
                :appSpeed->93.60000000000001
                :specialCase->:No)

    :c414#:Aircraft(:mtom->3061.75
                :mtow->6750.0
                :wingspan->44.166666666666664
                :appSpeed->94.9
                :specialCase->:No)

    :c421#:Aircraft(:mtom->3379.26
                :mtow->7450.0
                :wingspan->44.166666666666664
                :appSpeed->96.2
                :specialCase->:No)

    :c425#:Aircraft(:mtom->3900.89
                :mtow->8600.0
                :wingspan->44.166666666666664
                :appSpeed->97.5
                :specialCase->:No)

    :c441#:Aircraft(:mtom->4467.88
                :mtow->9850.0
                :wingspan->49.333333333333336
                :appSpeed->97.5
                :specialCase->:No)

    :c525#:Aircraft(:mtom->4808.08
                :mtow->10600.0
                :wingspan->46.916666666666664
                :appSpeed->107.9
                :specialCase->:No)

    :c525#:Aircraft(:mtom->4853.44
                :mtow->10700.0
                :wingspan->46.916666666666664
                :appSpeed->107.9
                :specialCase->:No)

    :c25a#:Aircraft(:mtom->5579.19
                :mtow->12300.0
                :wingspan->49.833333333333336
                :appSpeed->114.4
                :specialCase->:No)

    :c25a#:Aircraft(:mtom->5669.9
                :mtow->12500.0
                :wingspan->49.833333333333336
                :appSpeed->114.4
                :specialCase->:No)

    :c25b#:Aircraft(:mtom->6291.33
                :mtow->13870.0
                :wingspan->53.333333333333336
                :appSpeed->107.9
                :specialCase->:No)

    :c25c#:Aircraft(:mtom->7760.97
                :mtow->17110.0
                :wingspan->50.833333333333336
                :appSpeed->110.5
                :specialCase->:No)

    :c560#:Aircraft(:mtom->7633.96
                :mtow->16830.0
                :wingspan->54.75
                :appSpeed->107.9
                :specialCase->:No)

    :c560#:Aircraft(:mtom->9071.85
                :mtow->20000.0
                :wingspan->55.708333333333336
                :appSpeed->106.60000000000001
                :specialCase->:No)

    :c500#:Aircraft(:mtom->5375.07
                :mtow->11850.0
                :wingspan->47.083333333333336
                :appSpeed->106.60000000000001
                :specialCase->:No)
                
    :c501#:Aircraft(:mtom->5375.07
                :mtow->11850.0
                :wingspan->47.083333333333336
                :appSpeed->106.60000000000001
                :specialCase->:No)

    :c550#:Aircraft(:mtom->6713.17
                :mtow->14800.0
                :wingspan->52.166666666666664
                :appSpeed->111.8
                :specialCase->:No)

    :c650#:Aircraft(:mtom->9979.03
                :mtow->22000.0
                :wingspan->53.5
                :appSpeed->126.10000000000001
                :specialCase->:No)

    :c25m#:Aircraft(:mtom->4853.44
                :mtow->10700.0
                :wingspan->47.25
                :appSpeed->100.10000000000001
                :specialCase->:No)

    :c510#:Aircraft(:mtom->3921.31
                :mtow->8645.0
                :wingspan->43.166666666666664
                :appSpeed->105.3
                :specialCase->:No)

    :s550#:Aircraft(:mtom->6849.24
                :mtow->15100.0
                :wingspan->51.583333333333336
                :appSpeed->106.60000000000001
                :specialCase->:No)

    :c680#:Aircraft(:mtom->13743.85
                :mtow->30300.0
                :wingspan->63.333333333333336
                :appSpeed->107.9
                :specialCase->:No)

    :c680#:Aircraft(:mtom->13959.31
                :mtow->30775.0
                :wingspan->72.33333333333333
                :appSpeed->107.9
                :specialCase->:No)

    :c560#:Aircraft(:mtom->7543.24
                :mtow->16630.0
                :wingspan->52.166666666666664
                :appSpeed->106.60000000000001
                :specialCase->:No)

    :c560#:Aircraft(:mtom->7393.56
                :mtow->16300.0
                :wingspan->52.166666666666664
                :appSpeed->106.60000000000001
                :specialCase->:No)

    :c650#:Aircraft(:mtom->10432.62
                :mtow->23000.0
                :wingspan->53.5
                :appSpeed->126.10000000000001
                :specialCase->:No)

    :c750#:Aircraft(:mtom->16374.68
                :mtow->36100.0
                :wingspan->63.583333333333336
                :appSpeed->112.0
                :specialCase->:No)

    :c750#:Aircraft(:mtom->16601.48
                :mtow->36600.0
                :wingspan->69.16666666666667
                :appSpeed->132.0
                :specialCase->:No)

    :c56x#:Aircraft(:mtom->9162.57
                :mtow->20200.0
                :wingspan->56.333333333333336
                :appSpeed->117.0
                :specialCase->:No)

    :c525#:Aircraft(:mtom->4717.36
                :mtow->10400.0
                :wingspan->46.791666666666664
                :appSpeed->106.60000000000001
                :specialCase->:No)

    :c560#:Aircraft(:mtom->7393.56
                :mtow->16300.0
                :wingspan->52.166666666666664
                :appSpeed->106.60000000000001
                :specialCase->:No)

    :cvlp#:Aircraft(:mtom->18955.63
                :mtow->41790.0
                :wingspan->91.8
                :appSpeed->107.0
                :specialCase->:No)

    :cvlp#:Aircraft(:mtom->22543.54
                :mtow->49700.0
                :wingspan->105.33
                :appSpeed->104.0
                :specialCase->:No)

    :cvlp#:Aircraft(:mtom->22543.54
                :mtow->49700.0
                :wingspan->105.33
                :appSpeed->106.0
                :specialCase->:No)

    :cvlt#:Aircraft(:mtom->24766.14
                :mtow->54600.0
                :wingspan->105.3
                :appSpeed->107.0
                :specialCase->:No)

    :tbm8#:Aircraft(:mtom->3353.86
                :mtow->7394.0
                :wingspan->41.6
                :appSpeed->84.5
                :specialCase->:No)

    :tbm9#:Aircraft(:mtom->3353.86
                :mtow->7394.0
                :wingspan->42.1
                :appSpeed->85.0
                :specialCase->:No)

    :f2th#:Aircraft(:mtom->18597.29
                :mtow->41000.0
                :wingspan->63.416666666666664
                :appSpeed->110.5
                :specialCase->:No)

    :f2th#:Aircraft(:mtom->18597.29
                :mtow->41000.0
                :wingspan->70.17
                :appSpeed->107.0
                :specialCase->:No)

    :f2th#:Aircraft(:mtom->19413.75
                :mtow->42800.0
                :wingspan->70.17
                :appSpeed->105.0
                :specialCase->:No)

    :fa50#:Aircraft(:mtom->17599.38
                :mtow->38800.0
                :wingspan->61.876642399999994
                :appSpeed->113.0
                :specialCase->:No)

    :fa7x#:Aircraft(:mtom->31751.47
                :mtow->70000.0
                :wingspan->86.0
                :appSpeed->104.0
                :specialCase->:No)

    :f900#:Aircraft(:mtom->20639.81
                :mtow->45503.0
                :wingspan->63.416666666666664
                :appSpeed->110.5
                :specialCase->:No)

    :f900#:Aircraft(:mtom->22226.03
                :mtow->49000.0
                :wingspan->70.17
                :appSpeed->110.0
                :specialCase->:No)

    :fa10#:Aircraft(:mtom->8300.74
                :mtow->18300.0
                :wingspan->42.92
                :appSpeed->104.0
                :specialCase->:No)

    :fa20#:Aircraft(:mtom->12999.96
                :mtow->28660.0
                :wingspan->53.5
                :appSpeed->107.0
                :specialCase->:No)

    :dhc7#:Aircraft(:mtom->19958.06
                :mtow->44000.0
                :wingspan->93.0
                :appSpeed->83.0
                :specialCase->:No)

    :dhc7#:Aircraft(:mtom->21318.84
                :mtow->47000.0
                :wingspan->93.0
                :appSpeed->83.0
                :specialCase->:No)

    :dove#:Aircraft(:mtom->4059.65
                :mtow->8950.0
                :wingspan->57.0
                :appSpeed->84.0
                :specialCase->:No)

    :hern#:Aircraft(:mtom->6123.5
                :mtow->13500.0
                :wingspan->71.5
                :appSpeed->85.0
                :specialCase->:No)

    :dhc2#:Aircraft(:mtom->2313.32
                :mtow->5100.0
                :wingspan->48.0
                :appSpeed->50.0
                :specialCase->:No)

    :dhc4#:Aircraft(:mtom->12927.38
                :mtow->28500.0
                :wingspan->95.67
                :appSpeed->77.0
                :specialCase->:No)

    :dhc6#:Aircraft(:mtom->5669.9
                :mtow->12500.0
                :wingspan->65.0
                :appSpeed->75.0
                :specialCase->:No)

    :da20#:Aircraft(:mtom->800.14
                :mtow->1764.0
                :wingspan->35.666666666666664
                :appSpeed->58.5
                :specialCase->:No)

    :da40#:Aircraft(:mtom->1309.97
                :mtow->2888.0
                :wingspan->38.166666666666664
                :appSpeed->87.10000000000001
                :specialCase->:No)

    :da40#:Aircraft(:mtom->1200.21
                :mtow->2646.0
                :wingspan->39.166666666666664
                :appSpeed->76.7
                :specialCase->:No)

    :da42#:Aircraft(:mtom->1998.98
                :mtow->4407.0
                :wingspan->44.5
                :appSpeed->88.4
                :specialCase->:No)

    :ea50#:Aircraft(:mtom->2698.87
                :mtow->5950.0
                :wingspan->37.25
                :appSpeed->89.7
                :specialCase->:No)

    :e110#:Aircraft(:mtom->5901.24
                :mtow->13010.0
                :wingspan->50.25
                :appSpeed->92.0
                :specialCase->:No)

    :e120#:Aircraft(:mtom->11989.81
                :mtow->26433.0
                :wingspan->64.91666666666667
                :appSpeed->113.10000000000001
                :specialCase->:No)

    :e135#:Aircraft(:mtom->19000.08
                :mtow->41888.0
                :wingspan->65.75
                :appSpeed->124.0
                :specialCase->:No)

    :e35l#:Aircraft(:mtom->19999.79
                :mtow->44092.0
                :wingspan->65.75
                :appSpeed->124.0
                :specialCase->:No)

    :e135#:Aircraft(:mtom->20099.59
                :mtow->44312.0
                :wingspan->65.75
                :appSpeed->124.0
                :specialCase->:No)

    :e135#:Aircraft(:mtom->21099.76
                :mtow->46517.0
                :wingspan->65.75
                :appSpeed->124.0
                :specialCase->:No)

    :e145#:Aircraft(:mtom->20989.99
                :mtow->46275.0
                :wingspan->65.75
                :appSpeed->124.0
                :specialCase->:No)

    :e50p#:Aircraft(:mtom->4799.91
                :mtow->10582.0
                :wingspan->40.333333333333336
                :appSpeed->100.10000000000001
                :specialCase->:No)

    :e55p#:Aircraft(:mtom->8150.15
                :mtow->17968.0
                :wingspan->52.166666666666664
                :appSpeed->115.7
                :specialCase->:No)

    :d28d#:Aircraft(:mtom->4016.56
                :mtow->8855.0
                :wingspan->51.0
                :appSpeed->74.0
                :specialCase->:No)

    :a10_#:Aircraft(:mtom->23133.21
                :mtow->51000.0
                :wingspan->57.5
                :appSpeed->140.0
                :specialCase->:No)

    :f27#:Aircraft(:mtom->20819.89
                :mtow->45900.0
                :wingspan->95.15
                :appSpeed->100.10000000000001
                :specialCase->:No)

    :glf4#:Aircraft(:mtom->33837.99
                :mtow->74600.0
                :wingspan->77.83333333333333
                :appSpeed->125.0
                :specialCase->:No)

    :galx#:Aircraft(:mtom->16170.57
                :mtow->35650.0
                :wingspan->58.083333333333336
                :appSpeed->125.0
                :specialCase->:No)

    :g280#:Aircraft(:mtom->17962.26
                :mtow->39600.0
                :wingspan->63.0
                :appSpeed->125.0
                :specialCase->:No)

    :glf5#:Aircraft(:mtom->41276.91
                :mtow->91000.0
                :wingspan->93.5
                :appSpeed->145.0
                :specialCase->:No)

    :glf6#:Aircraft(:mtom->41549.06
                :mtow->91600.0
                :wingspan->95.0
                :appSpeed->145.0
                :specialCase->:No)

    :glf5#:Aircraft(:mtom->41050.11
                :mtow->90500.0
                :wingspan->93.33333333333333
                :appSpeed->125.0
                :specialCase->:No)

    :glf5#:Aircraft(:mtom->41276.91
                :mtow->91000.0
                :wingspan->93.33333333333333
                :appSpeed->125.0
                :specialCase->:No)

    :g80#:Aircraft(:mtom->11838.76
                :mtow->26100.0
                :wingspan->55.583333333333336
                :appSpeed->125.0
                :specialCase->:No)

    :be40#:Aircraft(:mtom->7393.56
                :mtow->16300.0
                :wingspan->43.5
                :appSpeed->119.60000000000001
                :specialCase->:No)

    :a748#:Aircraft(:mtom->21092.05
                :mtow->46500.0
                :wingspan->102.46
                :appSpeed->94.0
                :specialCase->:No)

    :trid#:Aircraft(:mtom->71667.59
                :mtow->158000.0
                :wingspan->98.0
                :appSpeed->146.0
                :specialCase->:No)

    :a748#:Aircraft(:mtom->22679.62
                :mtow->50000.0
                :wingspan->98.2
                :appSpeed->100.0
                :specialCase->:No)

    :il18#:Aircraft(:mtom->61071.68
                :mtow->134640.0
                :wingspan->122.7
                :appSpeed->103.0
                :specialCase->:No)

    :il76#:Aircraft(:mtom->169999.62
                :mtow->374785.0
                :wingspan->165.7
                :appSpeed->119.0
                :specialCase->:No)

    :ww24#:Aircraft(:mtom->10659.42
                :mtow->23500.0
                :wingspan->44.791666666666664
                :appSpeed->128.70000000000002
                :specialCase->:No)

    :ww24#:Aircraft(:mtom->10659.42
                :mtow->23500.0
                :wingspan->44.791666666666664
                :appSpeed->128.70000000000002
                :specialCase->:No)

    :astr#:Aircraft(:mtom->10659.42
                :mtow->23500.0
                :wingspan->52.666666666666664
                :appSpeed->125.0
                :specialCase->:No)

    :arva#:Aircraft(:mtom->6803.89
                :mtow->15000.0
                :wingspan->68.8
                :appSpeed->81.0
                :specialCase->:No)

    :arva#:Aircraft(:mtom->6803.89
                :mtow->15000.0
                :wingspan->68.8
                :appSpeed->81.0
                :specialCase->:No)

    :l101#:Aircraft(:mtom->195044.72
                :mtow->430000.0
                :wingspan->155.3
                :appSpeed->138.0
                :specialCase->:No)

    :l101#:Aircraft(:mtom->211374.04
                :mtow->466000.0
                :wingspan->155.3
                :appSpeed->140.0
                :specialCase->:No)

    :l101#:Aircraft(:mtom->211374.04
                :mtow->466000.0
                :wingspan->155.3
                :appSpeed->144.0
                :specialCase->:No)

    :l101#:Aircraft(:mtom->231332.11
                :mtow->510000.0
                :wingspan->155.3
                :appSpeed->144.0
                :specialCase->:No)

    :l101#:Aircraft(:mtom->234053.66
                :mtow->516000.0
                :wingspan->155.3
                :appSpeed->148.0
                :specialCase->:No)

    :l29a#:Aircraft(:mtom->19844.67
                :mtow->43750.0
                :wingspan->54.4
                :appSpeed->132.0
                :specialCase->:No)

    :c130#:Aircraft(:mtom->70306.82
                :mtow->155000.0
                :wingspan->132.58333333333334
                :appSpeed->129.0
                :specialCase->:No)

    :c130#:Aircraft(:mtom->70306.82
                :mtow->155000.0
                :wingspan->132.58333333333334
                :appSpeed->129.0
                :specialCase->:No)

    :c130#:Aircraft(:mtom->70306.82
                :mtow->155000.0
                :wingspan->132.6
                :appSpeed->130.0
                :specialCase->:No)

    :c130#:Aircraft(:mtom->74389.15
                :mtow->164000.0
                :wingspan->132.6
                :appSpeed->130.0
                :specialCase->:No)

    :c141#:Aircraft(:mtom->143607.34
                :mtow->316600.0
                :wingspan->159.9
                :appSpeed->129.0
                :specialCase->:No)

    :c141#:Aircraft(:mtom->155582.18
                :mtow->343000.0
                :wingspan->159.9
                :appSpeed->129.0
                :specialCase->:No)

    :c5#:Aircraft(:mtom->348812.53
                :mtow->769000.0
                :wingspan->222.7
                :appSpeed->135.0
                :specialCase->:No)

    :c5#:Aircraft(:mtom->379656.81
                :mtow->837000.0
                :wingspan->222.7
                :appSpeed->135.0
                :specialCase->:No)

    :p3#:Aircraft(:mtom->61234.97
                :mtow->135000.0
                :wingspan->99.7
                :appSpeed->134.0
                :specialCase->:No)

    :a4_#:Aircraft(:mtom->11113.01
                :mtow->24500.0
                :wingspan->27.5
                :appSpeed->120.0
                :specialCase->:No)

    :be40#:Aircraft(:mtom->7135.01
                :mtow->15730.0
                :wingspan->43.5
                :appSpeed->100.0
                :specialCase->:No)

    :mu2#:Aircraft(:mtom->4898.8
                :mtow->10800.0
                :wingspan->39.2
                :appSpeed->119.0
                :specialCase->:No)

    :be40#:Aircraft(:mtom->7157.69
                :mtow->15780.0
                :wingspan->43.5
                :appSpeed->119.60000000000001
                :specialCase->:No)

    :mo18#:Aircraft(:mtom->385.55
                :mtow->850.0
                :wingspan->26.875
                :appSpeed->50.7
                :specialCase->:No)

    :mo20#:Aircraft(:mtom->1111.3
                :mtow->2450.0
                :wingspan->35.0
                :appSpeed->65.0
                :specialCase->:No)

    :mo20#:Aircraft(:mtom->1168.0
                :mtow->2575.0
                :wingspan->35.0
                :appSpeed->65.0
                :specialCase->:No)

    :mo20#:Aircraft(:mtom->1133.98
                :mtow->2500.0
                :wingspan->35.0
                :appSpeed->65.0
                :specialCase->:No)

    :mo20#:Aircraft(:mtom->1168.0
                :mtow->2575.0
                :wingspan->35.0
                :appSpeed->65.0
                :specialCase->:No)

    :mo20#:Aircraft(:mtom->1242.84
                :mtow->2740.0
                :wingspan->36.0
                :appSpeed->70.2
                :specialCase->:No)

    :mo20#:Aircraft(:mtom->1145.32
                :mtow->2525.0
                :wingspan->35.0
                :appSpeed->65.0
                :specialCase->:No)

    :mo20#:Aircraft(:mtom->1242.84
                :mtow->2740.0
                :wingspan->35.0
                :appSpeed->71.5
                :specialCase->:No)

    :mo20#:Aircraft(:mtom->1315.42
                :mtow->2900.0
                :wingspan->36.083333333333336
                :appSpeed->76.7
                :specialCase->:No)

    :mo20#:Aircraft(:mtom->1419.74
                :mtow->3130.0
                :wingspan->36.083333333333336
                :appSpeed->76.7
                :specialCase->:No)

    :mo20#:Aircraft(:mtom->1315.42
                :mtow->2900.0
                :wingspan->36.416666666666664
                :appSpeed->75.4
                :specialCase->:No)

    :mo20#:Aircraft(:mtom->1527.7
                :mtow->3368.0
                :wingspan->36.083333333333336
                :appSpeed->76.7
                :specialCase->:No)

    :mo20#:Aircraft(:mtom->1530.42
                :mtow->3374.0
                :wingspan->36.083333333333336
                :appSpeed->76.7
                :specialCase->:No)

    :mo20#:Aircraft(:mtom->1496.85
                :mtow->3300.0
                :wingspan->36.083333333333336
                :appSpeed->75.4
                :specialCase->:No)

    :mo20#:Aircraft(:mtom->1530.42
                :mtow->3374.0
                :wingspan->36.416666666666664
                :appSpeed->76.7
                :specialCase->:No)

    :mo20#:Aircraft(:mtom->1527.7
                :mtow->3368.0
                :wingspan->36.5
                :appSpeed->76.7
                :specialCase->:No)

    :mo22#:Aircraft(:mtom->1669.22
                :mtow->3680.0
                :wingspan->35.0
                :appSpeed->78.0
                :specialCase->:No)

    :b2#:Aircraft(:mtom->152633.83
                :mtow->336500.0
                :wingspan->172.0
                :appSpeed->140.0
                :specialCase->:No)

    :pc12#:Aircraft(:mtom->4740.04
                :mtow->10450.0
                :wingspan->53.333333333333336
                :appSpeed->87.10000000000001
                :specialCase->:No)

    :pa18#:Aircraft(:mtom->793.79
                :mtow->1750.0
                :wingspan->35.291666666666664
                :appSpeed->48.1
                :specialCase->:No)

    :pa28#:Aircraft(:mtom->975.22
                :mtow->2150.0
                :wingspan->30.0
                :appSpeed->59.800000000000004
                :specialCase->:No)

    :pa28#:Aircraft(:mtom->1054.6
                :mtow->2325.0
                :wingspan->35.0
                :appSpeed->65.0
                :specialCase->:No)

    :pa28#:Aircraft(:mtom->1106.77
                :mtow->2440.0
                :wingspan->35.0
                :appSpeed->72.8
                :specialCase->:No)

    :pa28#:Aircraft(:mtom->1088.62
                :mtow->2400.0
                :wingspan->30.0
                :appSpeed->65.0
                :specialCase->:No)

    :pa28#:Aircraft(:mtom->1111.3
                :mtow->2450.0
                :wingspan->32.0
                :appSpeed->65.0
                :specialCase->:No)

    :pa28#:Aircraft(:mtom->1156.66
                :mtow->2550.0
                :wingspan->35.0
                :appSpeed->76.7
                :specialCase->:No)

    :pa28#:Aircraft(:mtom->1315.42
                :mtow->2900.0
                :wingspan->35.0
                :appSpeed->62.400000000000006
                :specialCase->:No)

    :pa28#:Aircraft(:mtom->1315.42
                :mtow->2900.0
                :wingspan->32.0
                :appSpeed->65.0
                :specialCase->:No)

    :pa28#:Aircraft(:mtom->1360.78
                :mtow->3000.0
                :wingspan->32.0
                :appSpeed->65.0
                :specialCase->:No)

    :pa28#:Aircraft(:mtom->1360.78
                :mtow->3000.0
                :wingspan->35.0
                :appSpeed->62.400000000000006
                :specialCase->:No)

    :p28r#:Aircraft(:mtom->1133.98
                :mtow->2500.0
                :wingspan->30.0
                :appSpeed->78.0
                :specialCase->:No)

    :p28r#:Aircraft(:mtom->1179.34
                :mtow->2600.0
                :wingspan->30.0
                :appSpeed->72.8
                :specialCase->:No)

    :p28r#:Aircraft(:mtom->1179.34
                :mtow->2600.0
                :wingspan->30.0
                :appSpeed->72.8
                :specialCase->:No)

    :p28r#:Aircraft(:mtom->1247.38
                :mtow->2750.0
                :wingspan->35.416666666666664
                :appSpeed->81.9
                :specialCase->:No)

    :p28s#:Aircraft(:mtom->1315.42
                :mtow->2900.0
                :wingspan->35.416666666666664
                :appSpeed->72.8
                :specialCase->:No)

    :pa28#:Aircraft(:mtom->1247.38
                :mtow->2750.0
                :wingspan->35.416666666666664
                :appSpeed->72.8
                :specialCase->:No)

    :p28t#:Aircraft(:mtom->1315.42
                :mtow->2900.0
                :wingspan->35.416666666666664
                :appSpeed->72.8
                :specialCase->:No)

    :pa28#:Aircraft(:mtom->970.69
                :mtow->2140.0
                :wingspan->30.0
                :appSpeed->61.1
                :specialCase->:No)

    :pa28#:Aircraft(:mtom->1007.88
                :mtow->2222.0
                :wingspan->30.0
                :appSpeed->61.1
                :specialCase->:No)

    :pa31#:Aircraft(:mtom->2948.35
                :mtow->6500.0
                :wingspan->40.666666666666664
                :appSpeed->79.3
                :specialCase->:No)

    :pa31#:Aircraft(:mtom->2721.55
                :mtow->6000.0
                :wingspan->40.666666666666664
                :appSpeed->79.3
                :specialCase->:No)

    :pa31#:Aircraft(:mtom->2948.35
                :mtow->6500.0
                :wingspan->40.666666666666664
                :appSpeed->91.0
                :specialCase->:No)

    :pay2#:Aircraft(:mtom->4082.33
                :mtow->9000.0
                :wingspan->42.6875
                :appSpeed->97.5
                :specialCase->:No)

    :pay1#:Aircraft(:mtom->3946.25
                :mtow->8700.0
                :wingspan->42.6875
                :appSpeed->92.3
                :specialCase->:No)

    :pay2#:Aircraft(:mtom->4297.33
                :mtow->9474.0
                :wingspan->42.6875
                :appSpeed->100.10000000000001
                :specialCase->:No)

    :pa34#:Aircraft(:mtom->2154.56
                :mtow->4750.0
                :wingspan->38.895833333333336
                :appSpeed->80.60000000000001
                :specialCase->:No)

    :pay4#:Aircraft(:mtom->5465.79
                :mtow->12050.0
                :wingspan->47.666666666666664
                :appSpeed->109.2
                :specialCase->:No)

    :pay3#:Aircraft(:mtom->5080.23
                :mtow->11200.0
                :wingspan->47.666666666666664
                :appSpeed->113.10000000000001
                :specialCase->:No)

    :pa44#:Aircraft(:mtom->1723.65
                :mtow->3800.0
                :wingspan->38.604166666666664
                :appSpeed->66.0
                :specialCase->:No)

    :pa46#:Aircraft(:mtom->1968.59
                :mtow->4340.0
                :wingspan->43.0
                :appSpeed->75.4
                :specialCase->:No)

    :p46t#:Aircraft(:mtom->2199.92
                :mtow->4850.0
                :wingspan->43.0
                :appSpeed->78.0
                :specialCase->:No)

    :p46t#:Aircraft(:mtom->2309.69
                :mtow->5092.0
                :wingspan->43.0
                :appSpeed->75.4
                :specialCase->:No)

    :p46t#:Aircraft(:mtom->2721.55
                :mtow->6000.0
                :wingspan->43.166666666666664
                :appSpeed->75.4
                :specialCase->:No)

    :aest#:Aircraft(:mtom->2864.44
                :mtow->6315.0
                :wingspan->36.666666666666664
                :appSpeed->104.0
                :specialCase->:No)

    :aest#:Aircraft(:mtom->3107.11
                :mtow->6850.0
                :wingspan->36.666666666666664
                :appSpeed->104.0
                :specialCase->:No)

    :an2#:Aircraft(:mtom->5499.81
                :mtow->12125.0
                :wingspan->59.645833333333336
                :appSpeed->33.800000000000004
                :specialCase->:No)

    :m18#:Aircraft(:mtom->5299.77
                :mtow->11684.0
                :wingspan->58.0625
                :appSpeed->76.7
                :specialCase->:No)

    :ac50#:Aircraft(:mtom->3061.75
                :mtow->6750.0
                :wingspan->49.08
                :appSpeed->97.0
                :specialCase->:No)

    :ac56#:Aircraft(:mtom->2948.35
                :mtow->6500.0
                :wingspan->49.083333333333336
                :appSpeed->97.0
                :specialCase->:No)

    :ac68#:Aircraft(:mtom->3401.94
                :mtow->7500.0
                :wingspan->49.083333333333336
                :appSpeed->97.0
                :specialCase->:No)

    :b1_#:Aircraft(:mtom->216363.56
                :mtow->477000.0
                :wingspan->137.0
                :appSpeed->165.0
                :specialCase->:No)

    :ac52#:Aircraft(:mtom->2494.76
                :mtow->5500.0
                :wingspan->44.1
                :appSpeed->97.0
                :specialCase->:No)

    :ac95#:Aircraft(:mtom->4683.34
                :mtow->10325.0
                :wingspan->52.2
                :appSpeed->121.0
                :specialCase->:No)

    :ac80#:Aircraft(:mtom->4059.65
                :mtow->8950.0
                :wingspan->49.05
                :appSpeed->97.0
                :specialCase->:No)

    :ac90#:Aircraft(:mtom->4649.32
                :mtow->10250.0
                :wingspan->46.67
                :appSpeed->97.0
                :specialCase->:No)

    :sb20#:Aircraft(:mtom->22799.82
                :mtow->50265.0
                :wingspan->81.25
                :appSpeed->120.0
                :specialCase->:No)

    :sf34#:Aircraft(:mtom->13154.18
                :mtow->29000.0
                :wingspan->70.33333333333333
                :appSpeed->114.4
                :specialCase->:No)

    :sbr1#:Aircraft(:mtom->8459.5
                :mtow->18650.0
                :wingspan->44.5
                :appSpeed->120.0
                :specialCase->:No)

    :sbr1#:Aircraft(:mtom->9071.85
                :mtow->20000.0
                :wingspan->44.5
                :appSpeed->120.0
                :specialCase->:No)

    :sbr1#:Aircraft(:mtom->10886.22
                :mtow->24000.0
                :wingspan->50.5
                :appSpeed->105.0
                :specialCase->:No)

    :sbr2#:Aircraft(:mtom->10568.7
                :mtow->23300.0
                :wingspan->44.5
                :appSpeed->137.0
                :specialCase->:No)

    :sbr2#:Aircraft(:mtom->11113.01
                :mtow->24500.0
                :wingspan->50.4
                :appSpeed->128.0
                :specialCase->:No)

    :sh33#:Aircraft(:mtom->9979.03
                :mtow->22000.0
                :wingspan->74.67
                :appSpeed->96.0
                :specialCase->:No)

    :sh36#:Aircraft(:mtom->11793.4
                :mtow->26000.0
                :wingspan->74.8
                :appSpeed->104.0
                :specialCase->:No)

    :b18t#:Aircraft(:mtom->4662.93
                :mtow->10280.0
                :wingspan->46.0
                :appSpeed->100.0
                :specialCase->:No)
  )

)