(TranslationUnit
    (SymbolTable
        1
        {
            template_travel_01:
                (Program
                    (SymbolTable
                        22
                        {
                            add_real:
                                (ExternalSymbol
                                    22
                                    add_real
                                    2 add_real
                                    template_travel_01_math
                                    []
                                    add_real
                                    Public
                                ),
                            operations:
                                (ExternalSymbol
                                    22
                                    operations
                                    5 operations
                                    template_travel_01_travel
                                    []
                                    operations
                                    Public
                                ),
                            slash_real:
                                (ExternalSymbol
                                    22
                                    slash_real
                                    2 slash_real
                                    template_travel_01_math
                                    []
                                    slash_real
                                    Public
                                ),
                            test_template:
                                (ExternalSymbol
                                    22
                                    test_template
                                    18 test_template
                                    template_travel_01_m
                                    []
                                    test_template
                                    Public
                                ),
                            travel_tmpl:
                                (ExternalSymbol
                                    22
                                    travel_tmpl
                                    5 travel_tmpl
                                    template_travel_01_travel
                                    []
                                    travel_tmpl
                                    Public
                                )
                        })
                    template_travel_01
                    [template_travel_01_m
                    template_travel_01_math
                    template_travel_01_travel]
                    [(SubroutineCall
                        22 test_template
                        ()
                        []
                        ()
                        .false.
                    )]
                ),
            template_travel_01_m:
                (Module
                    (SymbolTable
                        18
                        {
                            add_real:
                                (ExternalSymbol
                                    18
                                    add_real
                                    2 add_real
                                    template_travel_01_math
                                    []
                                    add_real
                                    Public
                                ),
                            operations:
                                (ExternalSymbol
                                    18
                                    operations
                                    5 operations
                                    template_travel_01_travel
                                    []
                                    operations
                                    Public
                                ),
                            slash_real:
                                (ExternalSymbol
                                    18
                                    slash_real
                                    2 slash_real
                                    template_travel_01_math
                                    []
                                    slash_real
                                    Public
                                ),
                            test_template:
                                (Function
                                    (SymbolTable
                                        19
                                        {
                                            __asr_avg_s_from_t:
                                                (Function
                                                    (SymbolTable
                                                        23
                                                        {
                                                            avg:
                                                                (Variable
                                                                    23
                                                                    avg
                                                                    []
                                                                    ReturnVar
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (Real 4)
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                    .false.
                                                                    ()
                                                                    .false.
                                                                    .false.
                                                                    NotMethod
                                                                    ()
                                                                ),
                                                            d1:
                                                                (Variable
                                                                    23
                                                                    d1
                                                                    []
                                                                    In
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (Real 4)
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                    .false.
                                                                    ()
                                                                    .false.
                                                                    .false.
                                                                    NotMethod
                                                                    ()
                                                                ),
                                                            d2:
                                                                (Variable
                                                                    23
                                                                    d2
                                                                    []
                                                                    In
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (Real 4)
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                    .false.
                                                                    ()
                                                                    .false.
                                                                    .false.
                                                                    NotMethod
                                                                    ()
                                                                ),
                                                            t1:
                                                                (Variable
                                                                    23
                                                                    t1
                                                                    []
                                                                    In
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (Real 4)
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                    .false.
                                                                    ()
                                                                    .false.
                                                                    .false.
                                                                    NotMethod
                                                                    ()
                                                                ),
                                                            t2:
                                                                (Variable
                                                                    23
                                                                    t2
                                                                    []
                                                                    In
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (Real 4)
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                    .false.
                                                                    ()
                                                                    .false.
                                                                    .false.
                                                                    NotMethod
                                                                    ()
                                                                )
                                                        })
                                                    __asr_avg_s_from_t
                                                    (FunctionType
                                                        [(Real 4)
                                                        (Real 4)
                                                        (Real 4)
                                                        (Real 4)]
                                                        (Real 4)
                                                        Source
                                                        Implementation
                                                        ()
                                                        .false.
                                                        .true.
                                                        .false.
                                                        .false.
                                                        .false.
                                                        []
                                                        .false.
                                                    )
                                                    []
                                                    [(Var 23 d1)
                                                    (Var 23 t1)
                                                    (Var 23 d2)
                                                    (Var 23 t2)]
                                                    [(Assignment
                                                        (Var 23 avg)
                                                        (FunctionCall
                                                            18 slash_real
                                                            ()
                                                            [((FunctionCall
                                                                18 add_real
                                                                ()
                                                                [((Var 23 d1))
                                                                ((Var 23 d2))]
                                                                (Real 4)
                                                                ()
                                                                ()
                                                            ))
                                                            ((FunctionCall
                                                                18 add_real
                                                                ()
                                                                [((Var 23 t1))
                                                                ((Var 23 t2))]
                                                                (Real 4)
                                                                ()
                                                                ()
                                                            ))]
                                                            (Real 4)
                                                            ()
                                                            ()
                                                        )
                                                        ()
                                                        .false.
                                                        .false.
                                                    )]
                                                    (Var 23 avg)
                                                    Public
                                                    .true.
                                                    .true.
                                                    ()
                                                ),
                                            avg_real_s_from_s:
                                                (Function
                                                    (SymbolTable
                                                        21
                                                        {
                                                            avg:
                                                                (Variable
                                                                    21
                                                                    avg
                                                                    []
                                                                    ReturnVar
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (Real 4)
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                    .false.
                                                                    ()
                                                                    .false.
                                                                    .false.
                                                                    NotMethod
                                                                    ()
                                                                ),
                                                            d1:
                                                                (Variable
                                                                    21
                                                                    d1
                                                                    []
                                                                    In
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (Real 4)
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                    .false.
                                                                    ()
                                                                    .false.
                                                                    .false.
                                                                    NotMethod
                                                                    ()
                                                                ),
                                                            d2:
                                                                (Variable
                                                                    21
                                                                    d2
                                                                    []
                                                                    In
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (Real 4)
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                    .false.
                                                                    ()
                                                                    .false.
                                                                    .false.
                                                                    NotMethod
                                                                    ()
                                                                ),
                                                            s1:
                                                                (Variable
                                                                    21
                                                                    s1
                                                                    []
                                                                    In
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (Real 4)
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                    .false.
                                                                    ()
                                                                    .false.
                                                                    .false.
                                                                    NotMethod
                                                                    ()
                                                                ),
                                                            s2:
                                                                (Variable
                                                                    21
                                                                    s2
                                                                    []
                                                                    In
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (Real 4)
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                    .false.
                                                                    ()
                                                                    .false.
                                                                    .false.
                                                                    NotMethod
                                                                    ()
                                                                )
                                                        })
                                                    avg_real_s_from_s
                                                    (FunctionType
                                                        [(Real 4)
                                                        (Real 4)
                                                        (Real 4)
                                                        (Real 4)]
                                                        (Real 4)
                                                        Source
                                                        Implementation
                                                        ()
                                                        .false.
                                                        .true.
                                                        .false.
                                                        .false.
                                                        .false.
                                                        []
                                                        .false.
                                                    )
                                                    [__asr_avg_s_from_t]
                                                    [(Var 21 d1)
                                                    (Var 21 s1)
                                                    (Var 21 d2)
                                                    (Var 21 s2)]
                                                    [(Assignment
                                                        (Var 21 avg)
                                                        (FunctionCall
                                                            19 __asr_avg_s_from_t
                                                            ()
                                                            [((Var 21 d1))
                                                            ((FunctionCall
                                                                18 slash_real
                                                                ()
                                                                [((Var 21 d1))
                                                                ((Var 21 s1))]
                                                                (Real 4)
                                                                ()
                                                                ()
                                                            ))
                                                            ((Var 21 d2))
                                                            ((FunctionCall
                                                                18 slash_real
                                                                ()
                                                                [((Var 21 d2))
                                                                ((Var 21 s2))]
                                                                (Real 4)
                                                                ()
                                                                ()
                                                            ))]
                                                            (Real 4)
                                                            ()
                                                            ()
                                                        )
                                                        ()
                                                        .false.
                                                        .false.
                                                    )]
                                                    (Var 21 avg)
                                                    Private
                                                    .true.
                                                    .true.
                                                    ()
                                                ),
                                            avg_real_s_from_t:
                                                (Function
                                                    (SymbolTable
                                                        20
                                                        {
                                                            avg:
                                                                (Variable
                                                                    20
                                                                    avg
                                                                    []
                                                                    ReturnVar
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (Real 4)
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                    .false.
                                                                    ()
                                                                    .false.
                                                                    .false.
                                                                    NotMethod
                                                                    ()
                                                                ),
                                                            d1:
                                                                (Variable
                                                                    20
                                                                    d1
                                                                    []
                                                                    In
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (Real 4)
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                    .false.
                                                                    ()
                                                                    .false.
                                                                    .false.
                                                                    NotMethod
                                                                    ()
                                                                ),
                                                            d2:
                                                                (Variable
                                                                    20
                                                                    d2
                                                                    []
                                                                    In
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (Real 4)
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                    .false.
                                                                    ()
                                                                    .false.
                                                                    .false.
                                                                    NotMethod
                                                                    ()
                                                                ),
                                                            t1:
                                                                (Variable
                                                                    20
                                                                    t1
                                                                    []
                                                                    In
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (Real 4)
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                    .false.
                                                                    ()
                                                                    .false.
                                                                    .false.
                                                                    NotMethod
                                                                    ()
                                                                ),
                                                            t2:
                                                                (Variable
                                                                    20
                                                                    t2
                                                                    []
                                                                    In
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (Real 4)
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                    .false.
                                                                    ()
                                                                    .false.
                                                                    .false.
                                                                    NotMethod
                                                                    ()
                                                                )
                                                        })
                                                    avg_real_s_from_t
                                                    (FunctionType
                                                        [(Real 4)
                                                        (Real 4)
                                                        (Real 4)
                                                        (Real 4)]
                                                        (Real 4)
                                                        Source
                                                        Implementation
                                                        ()
                                                        .false.
                                                        .true.
                                                        .false.
                                                        .false.
                                                        .false.
                                                        []
                                                        .false.
                                                    )
                                                    []
                                                    [(Var 20 d1)
                                                    (Var 20 t1)
                                                    (Var 20 d2)
                                                    (Var 20 t2)]
                                                    [(Assignment
                                                        (Var 20 avg)
                                                        (FunctionCall
                                                            18 slash_real
                                                            ()
                                                            [((FunctionCall
                                                                18 add_real
                                                                ()
                                                                [((Var 20 d1))
                                                                ((Var 20 d2))]
                                                                (Real 4)
                                                                ()
                                                                ()
                                                            ))
                                                            ((FunctionCall
                                                                18 add_real
                                                                ()
                                                                [((Var 20 t1))
                                                                ((Var 20 t2))]
                                                                (Real 4)
                                                                ()
                                                                ()
                                                            ))]
                                                            (Real 4)
                                                            ()
                                                            ()
                                                        )
                                                        ()
                                                        .false.
                                                        .false.
                                                    )]
                                                    (Var 20 avg)
                                                    Public
                                                    .true.
                                                    .true.
                                                    ()
                                                ),
                                            s1:
                                                (Variable
                                                    19
                                                    s1
                                                    []
                                                    Local
                                                    ()
                                                    ()
                                                    Default
                                                    (Real 4)
                                                    ()
                                                    Source
                                                    Public
                                                    Required
                                                    .false.
                                                    .false.
                                                    .false.
                                                    ()
                                                    .false.
                                                    .false.
                                                    NotMethod
                                                    ()
                                                ),
                                            s2:
                                                (Variable
                                                    19
                                                    s2
                                                    []
                                                    Local
                                                    ()
                                                    ()
                                                    Default
                                                    (Real 4)
                                                    ()
                                                    Source
                                                    Public
                                                    Required
                                                    .false.
                                                    .false.
                                                    .false.
                                                    ()
                                                    .false.
                                                    .false.
                                                    NotMethod
                                                    ()
                                                )
                                        })
                                    test_template
                                    (FunctionType
                                        []
                                        ()
                                        Source
                                        Implementation
                                        ()
                                        .false.
                                        .false.
                                        .false.
                                        .false.
                                        .false.
                                        []
                                        .false.
                                    )
                                    []
                                    []
                                    [(Assignment
                                        (Var 19 s1)
                                        (FunctionCall
                                            19 avg_real_s_from_t
                                            ()
                                            [((RealConstant
                                                1.000000
                                                (Real 4)
                                            ))
                                            ((RealConstant
                                                3.000000
                                                (Real 4)
                                            ))
                                            ((RealConstant
                                                1.500000
                                                (Real 4)
                                            ))
                                            ((RealConstant
                                                4.000000
                                                (Real 4)
                                            ))]
                                            (Real 4)
                                            ()
                                            ()
                                        )
                                        ()
                                        .false.
                                        .false.
                                    )
                                    (Assignment
                                        (Var 19 s2)
                                        (FunctionCall
                                            19 avg_real_s_from_s
                                            ()
                                            [((RealConstant
                                                1.100000
                                                (Real 4)
                                            ))
                                            ((RealConstant
                                                0.500000
                                                (Real 4)
                                            ))
                                            ((RealConstant
                                                2.000000
                                                (Real 4)
                                            ))
                                            ((RealConstant
                                                0.750000
                                                (Real 4)
                                            ))]
                                            (Real 4)
                                            ()
                                            ()
                                        )
                                        ()
                                        .false.
                                        .false.
                                    )
                                    (Print
                                        (StringFormat
                                            ()
                                            [(StringConstant
                                                "s1="
                                                (String 1 (IntegerConstant 3 (Integer 4) Decimal) ExpressionLength DescriptorString)
                                            )
                                            (Var 19 s1)]
                                            FormatFortran
                                            (Allocatable
                                                (String 1 () DeferredLength DescriptorString)
                                            )
                                            ()
                                        )
                                    )
                                    (Print
                                        (StringFormat
                                            ()
                                            [(StringConstant
                                                "s2="
                                                (String 1 (IntegerConstant 3 (Integer 4) Decimal) ExpressionLength DescriptorString)
                                            )
                                            (Var 19 s2)]
                                            FormatFortran
                                            (Allocatable
                                                (String 1 () DeferredLength DescriptorString)
                                            )
                                            ()
                                        )
                                    )]
                                    ()
                                    Public
                                    .false.
                                    .false.
                                    ()
                                ),
                            travel_tmpl:
                                (ExternalSymbol
                                    18
                                    travel_tmpl
                                    5 travel_tmpl
                                    template_travel_01_travel
                                    []
                                    travel_tmpl
                                    Public
                                )
                        })
                    template_travel_01_m
                    ()
                    [template_travel_01_math
                    template_travel_01_travel
                    template_travel_01_m]
                    .false.
                    .false.
                    .false.
                ),
            template_travel_01_math:
                (Module
                    (SymbolTable
                        2
                        {
                            add_real:
                                (Function
                                    (SymbolTable
                                        3
                                        {
                                            total:
                                                (Variable
                                                    3
                                                    total
                                                    []
                                                    ReturnVar
                                                    ()
                                                    ()
                                                    Default
                                                    (Real 4)
                                                    ()
                                                    Source
                                                    Private
                                                    Required
                                                    .false.
                                                    .false.
                                                    .false.
                                                    ()
                                                    .false.
                                                    .false.
                                                    NotMethod
                                                    ()
                                                ),
                                            x:
                                                (Variable
                                                    3
                                                    x
                                                    []
                                                    In
                                                    ()
                                                    ()
                                                    Default
                                                    (Real 4)
                                                    ()
                                                    Source
                                                    Private
                                                    Required
                                                    .false.
                                                    .false.
                                                    .false.
                                                    ()
                                                    .false.
                                                    .false.
                                                    NotMethod
                                                    ()
                                                ),
                                            y:
                                                (Variable
                                                    3
                                                    y
                                                    []
                                                    In
                                                    ()
                                                    ()
                                                    Default
                                                    (Real 4)
                                                    ()
                                                    Source
                                                    Private
                                                    Required
                                                    .false.
                                                    .false.
                                                    .false.
                                                    ()
                                                    .false.
                                                    .false.
                                                    NotMethod
                                                    ()
                                                )
                                        })
                                    add_real
                                    (FunctionType
                                        [(Real 4)
                                        (Real 4)]
                                        (Real 4)
                                        Source
                                        Implementation
                                        ()
                                        .false.
                                        .true.
                                        .false.
                                        .false.
                                        .false.
                                        []
                                        .false.
                                    )
                                    []
                                    [(Var 3 x)
                                    (Var 3 y)]
                                    [(Assignment
                                        (Var 3 total)
                                        (RealBinOp
                                            (Var 3 x)
                                            Add
                                            (Var 3 y)
                                            (Real 4)
                                            ()
                                        )
                                        ()
                                        .false.
                                        .false.
                                    )]
                                    (Var 3 total)
                                    Public
                                    .true.
                                    .true.
                                    ()
                                ),
                            slash_real:
                                (Function
                                    (SymbolTable
                                        4
                                        {
                                            total:
                                                (Variable
                                                    4
                                                    total
                                                    []
                                                    ReturnVar
                                                    ()
                                                    ()
                                                    Default
                                                    (Real 4)
                                                    ()
                                                    Source
                                                    Private
                                                    Required
                                                    .false.
                                                    .false.
                                                    .false.
                                                    ()
                                                    .false.
                                                    .false.
                                                    NotMethod
                                                    ()
                                                ),
                                            x:
                                                (Variable
                                                    4
                                                    x
                                                    []
                                                    In
                                                    ()
                                                    ()
                                                    Default
                                                    (Real 4)
                                                    ()
                                                    Source
                                                    Private
                                                    Required
                                                    .false.
                                                    .false.
                                                    .false.
                                                    ()
                                                    .false.
                                                    .false.
                                                    NotMethod
                                                    ()
                                                ),
                                            y:
                                                (Variable
                                                    4
                                                    y
                                                    []
                                                    In
                                                    ()
                                                    ()
                                                    Default
                                                    (Real 4)
                                                    ()
                                                    Source
                                                    Private
                                                    Required
                                                    .false.
                                                    .false.
                                                    .false.
                                                    ()
                                                    .false.
                                                    .false.
                                                    NotMethod
                                                    ()
                                                )
                                        })
                                    slash_real
                                    (FunctionType
                                        [(Real 4)
                                        (Real 4)]
                                        (Real 4)
                                        Source
                                        Implementation
                                        ()
                                        .false.
                                        .true.
                                        .false.
                                        .false.
                                        .false.
                                        []
                                        .false.
                                    )
                                    []
                                    [(Var 4 x)
                                    (Var 4 y)]
                                    [(Assignment
                                        (Var 4 total)
                                        (RealBinOp
                                            (Var 4 x)
                                            Div
                                            (Var 4 y)
                                            (Real 4)
                                            ()
                                        )
                                        ()
                                        .false.
                                        .false.
                                    )]
                                    (Var 4 total)
                                    Public
                                    .true.
                                    .true.
                                    ()
                                )
                        })
                    template_travel_01_math
                    ()
                    []
                    .false.
                    .false.
                    .false.
                ),
            template_travel_01_travel:
                (Module
                    (SymbolTable
                        5
                        {
                            add_real:
                                (ExternalSymbol
                                    5
                                    add_real
                                    2 add_real
                                    template_travel_01_math
                                    []
                                    add_real
                                    Public
                                ),
                            operations:
                                (Requirement
                                    (SymbolTable
                                        6
                                        {
                                            d:
                                                (Variable
                                                    6
                                                    d
                                                    []
                                                    In
                                                    ()
                                                    ()
                                                    Default
                                                    (TypeParameter
                                                        d
                                                    )
                                                    ()
                                                    Source
                                                    Private
                                                    Required
                                                    .false.
                                                    .false.
                                                    .false.
                                                    ()
                                                    .false.
                                                    .false.
                                                    NotMethod
                                                    ()
                                                ),
                                            d_divided_by_s:
                                                (Function
                                                    (SymbolTable
                                                        10
                                                        {
                                                            d:
                                                                (Variable
                                                                    10
                                                                    d
                                                                    []
                                                                    In
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (TypeParameter
                                                                        s
                                                                    )
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                    .false.
                                                                    ()
                                                                    .false.
                                                                    .false.
                                                                    NotMethod
                                                                    ()
                                                                ),
                                                            n:
                                                                (Variable
                                                                    10
                                                                    n
                                                                    []
                                                                    In
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (TypeParameter
                                                                        d
                                                                    )
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                    .false.
                                                                    ()
                                                                    .false.
                                                                    .false.
                                                                    NotMethod
                                                                    ()
                                                                ),
                                                            quotient:
                                                                (Variable
                                                                    10
                                                                    quotient
                                                                    []
                                                                    ReturnVar
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (TypeParameter
                                                                        t
                                                                    )
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                    .false.
                                                                    ()
                                                                    .false.
                                                                    .false.
                                                                    NotMethod
                                                                    ()
                                                                )
                                                        })
                                                    d_divided_by_s
                                                    (FunctionType
                                                        [(TypeParameter
                                                            d
                                                        )
                                                        (TypeParameter
                                                            s
                                                        )]
                                                        (TypeParameter
                                                            t
                                                        )
                                                        Source
                                                        Implementation
                                                        ()
                                                        .false.
                                                        .true.
                                                        .false.
                                                        .false.
                                                        .false.
                                                        []
                                                        .true.
                                                    )
                                                    []
                                                    [(Var 10 n)
                                                    (Var 10 d)]
                                                    []
                                                    (Var 10 quotient)
                                                    Private
                                                    .true.
                                                    .true.
                                                    ()
                                                ),
                                            d_divided_by_t:
                                                (Function
                                                    (SymbolTable
                                                        9
                                                        {
                                                            d:
                                                                (Variable
                                                                    9
                                                                    d
                                                                    []
                                                                    In
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (TypeParameter
                                                                        t
                                                                    )
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                    .false.
                                                                    ()
                                                                    .false.
                                                                    .false.
                                                                    NotMethod
                                                                    ()
                                                                ),
                                                            n:
                                                                (Variable
                                                                    9
                                                                    n
                                                                    []
                                                                    In
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (TypeParameter
                                                                        d
                                                                    )
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                    .false.
                                                                    ()
                                                                    .false.
                                                                    .false.
                                                                    NotMethod
                                                                    ()
                                                                ),
                                                            quotient:
                                                                (Variable
                                                                    9
                                                                    quotient
                                                                    []
                                                                    ReturnVar
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (TypeParameter
                                                                        s
                                                                    )
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                    .false.
                                                                    ()
                                                                    .false.
                                                                    .false.
                                                                    NotMethod
                                                                    ()
                                                                )
                                                        })
                                                    d_divided_by_t
                                                    (FunctionType
                                                        [(TypeParameter
                                                            d
                                                        )
                                                        (TypeParameter
                                                            t
                                                        )]
                                                        (TypeParameter
                                                            s
                                                        )
                                                        Source
                                                        Implementation
                                                        ()
                                                        .false.
                                                        .true.
                                                        .false.
                                                        .false.
                                                        .false.
                                                        []
                                                        .true.
                                                    )
                                                    []
                                                    [(Var 9 n)
                                                    (Var 9 d)]
                                                    []
                                                    (Var 9 quotient)
                                                    Private
                                                    .true.
                                                    .true.
                                                    ()
                                                ),
                                            plus_d:
                                                (Function
                                                    (SymbolTable
                                                        7
                                                        {
                                                            l:
                                                                (Variable
                                                                    7
                                                                    l
                                                                    []
                                                                    In
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (TypeParameter
                                                                        d
                                                                    )
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                    .false.
                                                                    ()
                                                                    .false.
                                                                    .false.
                                                                    NotMethod
                                                                    ()
                                                                ),
                                                            r:
                                                                (Variable
                                                                    7
                                                                    r
                                                                    []
                                                                    In
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (TypeParameter
                                                                        d
                                                                    )
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                    .false.
                                                                    ()
                                                                    .false.
                                                                    .false.
                                                                    NotMethod
                                                                    ()
                                                                ),
                                                            total:
                                                                (Variable
                                                                    7
                                                                    total
                                                                    []
                                                                    ReturnVar
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (TypeParameter
                                                                        d
                                                                    )
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                    .false.
                                                                    ()
                                                                    .false.
                                                                    .false.
                                                                    NotMethod
                                                                    ()
                                                                )
                                                        })
                                                    plus_d
                                                    (FunctionType
                                                        [(TypeParameter
                                                            d
                                                        )
                                                        (TypeParameter
                                                            d
                                                        )]
                                                        (TypeParameter
                                                            d
                                                        )
                                                        Source
                                                        Implementation
                                                        ()
                                                        .false.
                                                        .true.
                                                        .false.
                                                        .false.
                                                        .false.
                                                        []
                                                        .true.
                                                    )
                                                    []
                                                    [(Var 7 l)
                                                    (Var 7 r)]
                                                    []
                                                    (Var 7 total)
                                                    Private
                                                    .true.
                                                    .true.
                                                    ()
                                                ),
                                            plus_t:
                                                (Function
                                                    (SymbolTable
                                                        8
                                                        {
                                                            l:
                                                                (Variable
                                                                    8
                                                                    l
                                                                    []
                                                                    In
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (TypeParameter
                                                                        t
                                                                    )
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                    .false.
                                                                    ()
                                                                    .false.
                                                                    .false.
                                                                    NotMethod
                                                                    ()
                                                                ),
                                                            r:
                                                                (Variable
                                                                    8
                                                                    r
                                                                    []
                                                                    In
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (TypeParameter
                                                                        t
                                                                    )
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                    .false.
                                                                    ()
                                                                    .false.
                                                                    .false.
                                                                    NotMethod
                                                                    ()
                                                                ),
                                                            total:
                                                                (Variable
                                                                    8
                                                                    total
                                                                    []
                                                                    ReturnVar
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (TypeParameter
                                                                        t
                                                                    )
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                    .false.
                                                                    ()
                                                                    .false.
                                                                    .false.
                                                                    NotMethod
                                                                    ()
                                                                )
                                                        })
                                                    plus_t
                                                    (FunctionType
                                                        [(TypeParameter
                                                            t
                                                        )
                                                        (TypeParameter
                                                            t
                                                        )]
                                                        (TypeParameter
                                                            t
                                                        )
                                                        Source
                                                        Implementation
                                                        ()
                                                        .false.
                                                        .true.
                                                        .false.
                                                        .false.
                                                        .false.
                                                        []
                                                        .true.
                                                    )
                                                    []
                                                    [(Var 8 l)
                                                    (Var 8 r)]
                                                    []
                                                    (Var 8 total)
                                                    Private
                                                    .true.
                                                    .true.
                                                    ()
                                                ),
                                            s:
                                                (Variable
                                                    6
                                                    s
                                                    []
                                                    In
                                                    ()
                                                    ()
                                                    Default
                                                    (TypeParameter
                                                        s
                                                    )
                                                    ()
                                                    Source
                                                    Private
                                                    Required
                                                    .false.
                                                    .false.
                                                    .false.
                                                    ()
                                                    .false.
                                                    .false.
                                                    NotMethod
                                                    ()
                                                ),
                                            t:
                                                (Variable
                                                    6
                                                    t
                                                    []
                                                    In
                                                    ()
                                                    ()
                                                    Default
                                                    (TypeParameter
                                                        t
                                                    )
                                                    ()
                                                    Source
                                                    Private
                                                    Required
                                                    .false.
                                                    .false.
                                                    .false.
                                                    ()
                                                    .false.
                                                    .false.
                                                    NotMethod
                                                    ()
                                                )
                                        })
                                    operations
                                    [d
                                    t
                                    s
                                    plus_d
                                    plus_t
                                    d_divided_by_t
                                    d_divided_by_s]
                                    []
                                ),
                            slash_real:
                                (ExternalSymbol
                                    5
                                    slash_real
                                    2 slash_real
                                    template_travel_01_math
                                    []
                                    slash_real
                                    Public
                                ),
                            travel_tmpl:
                                (Template
                                    (SymbolTable
                                        11
                                        {
                                            avg_s_from_s:
                                                (Function
                                                    (SymbolTable
                                                        17
                                                        {
                                                            avg:
                                                                (Variable
                                                                    17
                                                                    avg
                                                                    []
                                                                    ReturnVar
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (TypeParameter
                                                                        s
                                                                    )
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                    .false.
                                                                    ()
                                                                    .false.
                                                                    .false.
                                                                    NotMethod
                                                                    ()
                                                                ),
                                                            d1:
                                                                (Variable
                                                                    17
                                                                    d1
                                                                    []
                                                                    In
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (TypeParameter
                                                                        d
                                                                    )
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                    .false.
                                                                    ()
                                                                    .false.
                                                                    .false.
                                                                    NotMethod
                                                                    ()
                                                                ),
                                                            d2:
                                                                (Variable
                                                                    17
                                                                    d2
                                                                    []
                                                                    In
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (TypeParameter
                                                                        d
                                                                    )
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                    .false.
                                                                    ()
                                                                    .false.
                                                                    .false.
                                                                    NotMethod
                                                                    ()
                                                                ),
                                                            s1:
                                                                (Variable
                                                                    17
                                                                    s1
                                                                    []
                                                                    In
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (TypeParameter
                                                                        s
                                                                    )
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                    .false.
                                                                    ()
                                                                    .false.
                                                                    .false.
                                                                    NotMethod
                                                                    ()
                                                                ),
                                                            s2:
                                                                (Variable
                                                                    17
                                                                    s2
                                                                    []
                                                                    In
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (TypeParameter
                                                                        s
                                                                    )
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                    .false.
                                                                    ()
                                                                    .false.
                                                                    .false.
                                                                    NotMethod
                                                                    ()
                                                                )
                                                        })
                                                    avg_s_from_s
                                                    (FunctionType
                                                        [(TypeParameter
                                                            d
                                                        )
                                                        (TypeParameter
                                                            s
                                                        )
                                                        (TypeParameter
                                                            d
                                                        )
                                                        (TypeParameter
                                                            s
                                                        )]
                                                        (TypeParameter
                                                            s
                                                        )
                                                        Source
                                                        Implementation
                                                        ()
                                                        .false.
                                                        .true.
                                                        .false.
                                                        .false.
                                                        .false.
                                                        []
                                                        .false.
                                                    )
                                                    [d_divided_by_s
                                                    avg_s_from_t]
                                                    [(Var 17 d1)
                                                    (Var 17 s1)
                                                    (Var 17 d2)
                                                    (Var 17 s2)]
                                                    [(Assignment
                                                        (Var 17 avg)
                                                        (FunctionCall
                                                            11 avg_s_from_t
                                                            ()
                                                            [((Var 17 d1))
                                                            ((FunctionCall
                                                                11 d_divided_by_s
                                                                ()
                                                                [((Var 17 d1))
                                                                ((Var 17 s1))]
                                                                (TypeParameter
                                                                    t
                                                                )
                                                                ()
                                                                ()
                                                            ))
                                                            ((Var 17 d2))
                                                            ((FunctionCall
                                                                11 d_divided_by_s
                                                                ()
                                                                [((Var 17 d2))
                                                                ((Var 17 s2))]
                                                                (TypeParameter
                                                                    t
                                                                )
                                                                ()
                                                                ()
                                                            ))]
                                                            (TypeParameter
                                                                s
                                                            )
                                                            ()
                                                            ()
                                                        )
                                                        ()
                                                        .false.
                                                        .false.
                                                    )]
                                                    (Var 17 avg)
                                                    Private
                                                    .true.
                                                    .true.
                                                    ()
                                                ),
                                            avg_s_from_t:
                                                (Function
                                                    (SymbolTable
                                                        16
                                                        {
                                                            avg:
                                                                (Variable
                                                                    16
                                                                    avg
                                                                    []
                                                                    ReturnVar
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (TypeParameter
                                                                        s
                                                                    )
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                    .false.
                                                                    ()
                                                                    .false.
                                                                    .false.
                                                                    NotMethod
                                                                    ()
                                                                ),
                                                            d1:
                                                                (Variable
                                                                    16
                                                                    d1
                                                                    []
                                                                    In
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (TypeParameter
                                                                        d
                                                                    )
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                    .false.
                                                                    ()
                                                                    .false.
                                                                    .false.
                                                                    NotMethod
                                                                    ()
                                                                ),
                                                            d2:
                                                                (Variable
                                                                    16
                                                                    d2
                                                                    []
                                                                    In
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (TypeParameter
                                                                        d
                                                                    )
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                    .false.
                                                                    ()
                                                                    .false.
                                                                    .false.
                                                                    NotMethod
                                                                    ()
                                                                ),
                                                            t1:
                                                                (Variable
                                                                    16
                                                                    t1
                                                                    []
                                                                    In
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (TypeParameter
                                                                        t
                                                                    )
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                    .false.
                                                                    ()
                                                                    .false.
                                                                    .false.
                                                                    NotMethod
                                                                    ()
                                                                ),
                                                            t2:
                                                                (Variable
                                                                    16
                                                                    t2
                                                                    []
                                                                    In
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (TypeParameter
                                                                        t
                                                                    )
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                    .false.
                                                                    ()
                                                                    .false.
                                                                    .false.
                                                                    NotMethod
                                                                    ()
                                                                )
                                                        })
                                                    avg_s_from_t
                                                    (FunctionType
                                                        [(TypeParameter
                                                            d
                                                        )
                                                        (TypeParameter
                                                            t
                                                        )
                                                        (TypeParameter
                                                            d
                                                        )
                                                        (TypeParameter
                                                            t
                                                        )]
                                                        (TypeParameter
                                                            s
                                                        )
                                                        Source
                                                        Implementation
                                                        ()
                                                        .false.
                                                        .true.
                                                        .false.
                                                        .false.
                                                        .false.
                                                        []
                                                        .false.
                                                    )
                                                    [plus_d
                                                    plus_t
                                                    d_divided_by_t]
                                                    [(Var 16 d1)
                                                    (Var 16 t1)
                                                    (Var 16 d2)
                                                    (Var 16 t2)]
                                                    [(Assignment
                                                        (Var 16 avg)
                                                        (FunctionCall
                                                            11 d_divided_by_t
                                                            ()
                                                            [((FunctionCall
                                                                11 plus_d
                                                                ()
                                                                [((Var 16 d1))
                                                                ((Var 16 d2))]
                                                                (TypeParameter
                                                                    d
                                                                )
                                                                ()
                                                                ()
                                                            ))
                                                            ((FunctionCall
                                                                11 plus_t
                                                                ()
                                                                [((Var 16 t1))
                                                                ((Var 16 t2))]
                                                                (TypeParameter
                                                                    t
                                                                )
                                                                ()
                                                                ()
                                                            ))]
                                                            (TypeParameter
                                                                s
                                                            )
                                                            ()
                                                            ()
                                                        )
                                                        ()
                                                        .false.
                                                        .false.
                                                    )]
                                                    (Var 16 avg)
                                                    Public
                                                    .true.
                                                    .true.
                                                    ()
                                                ),
                                            d:
                                                (Variable
                                                    11
                                                    d
                                                    []
                                                    In
                                                    ()
                                                    ()
                                                    Default
                                                    (TypeParameter
                                                        d
                                                    )
                                                    ()
                                                    Source
                                                    Private
                                                    Required
                                                    .false.
                                                    .false.
                                                    .false.
                                                    ()
                                                    .false.
                                                    .false.
                                                    NotMethod
                                                    ()
                                                ),
                                            d_divided_by_s:
                                                (Function
                                                    (SymbolTable
                                                        15
                                                        {
                                                            d:
                                                                (Variable
                                                                    15
                                                                    d
                                                                    []
                                                                    In
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (TypeParameter
                                                                        s
                                                                    )
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                    .false.
                                                                    ()
                                                                    .false.
                                                                    .false.
                                                                    NotMethod
                                                                    ()
                                                                ),
                                                            n:
                                                                (Variable
                                                                    15
                                                                    n
                                                                    []
                                                                    In
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (TypeParameter
                                                                        d
                                                                    )
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                    .false.
                                                                    ()
                                                                    .false.
                                                                    .false.
                                                                    NotMethod
                                                                    ()
                                                                ),
                                                            quotient:
                                                                (Variable
                                                                    15
                                                                    quotient
                                                                    []
                                                                    ReturnVar
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (TypeParameter
                                                                        t
                                                                    )
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                    .false.
                                                                    ()
                                                                    .false.
                                                                    .false.
                                                                    NotMethod
                                                                    ()
                                                                )
                                                        })
                                                    d_divided_by_s
                                                    (FunctionType
                                                        [(TypeParameter
                                                            d
                                                        )
                                                        (TypeParameter
                                                            s
                                                        )]
                                                        (TypeParameter
                                                            t
                                                        )
                                                        Source
                                                        Implementation
                                                        ()
                                                        .false.
                                                        .true.
                                                        .false.
                                                        .false.
                                                        .false.
                                                        []
                                                        .true.
                                                    )
                                                    []
                                                    [(Var 15 n)
                                                    (Var 15 d)]
                                                    []
                                                    (Var 15 quotient)
                                                    Private
                                                    .true.
                                                    .true.
                                                    ()
                                                ),
                                            d_divided_by_t:
                                                (Function
                                                    (SymbolTable
                                                        14
                                                        {
                                                            d:
                                                                (Variable
                                                                    14
                                                                    d
                                                                    []
                                                                    In
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (TypeParameter
                                                                        t
                                                                    )
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                    .false.
                                                                    ()
                                                                    .false.
                                                                    .false.
                                                                    NotMethod
                                                                    ()
                                                                ),
                                                            n:
                                                                (Variable
                                                                    14
                                                                    n
                                                                    []
                                                                    In
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (TypeParameter
                                                                        d
                                                                    )
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                    .false.
                                                                    ()
                                                                    .false.
                                                                    .false.
                                                                    NotMethod
                                                                    ()
                                                                ),
                                                            quotient:
                                                                (Variable
                                                                    14
                                                                    quotient
                                                                    []
                                                                    ReturnVar
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (TypeParameter
                                                                        s
                                                                    )
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                    .false.
                                                                    ()
                                                                    .false.
                                                                    .false.
                                                                    NotMethod
                                                                    ()
                                                                )
                                                        })
                                                    d_divided_by_t
                                                    (FunctionType
                                                        [(TypeParameter
                                                            d
                                                        )
                                                        (TypeParameter
                                                            t
                                                        )]
                                                        (TypeParameter
                                                            s
                                                        )
                                                        Source
                                                        Implementation
                                                        ()
                                                        .false.
                                                        .true.
                                                        .false.
                                                        .false.
                                                        .false.
                                                        []
                                                        .true.
                                                    )
                                                    []
                                                    [(Var 14 n)
                                                    (Var 14 d)]
                                                    []
                                                    (Var 14 quotient)
                                                    Private
                                                    .true.
                                                    .true.
                                                    ()
                                                ),
                                            plus_d:
                                                (Function
                                                    (SymbolTable
                                                        12
                                                        {
                                                            l:
                                                                (Variable
                                                                    12
                                                                    l
                                                                    []
                                                                    In
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (TypeParameter
                                                                        d
                                                                    )
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                    .false.
                                                                    ()
                                                                    .false.
                                                                    .false.
                                                                    NotMethod
                                                                    ()
                                                                ),
                                                            r:
                                                                (Variable
                                                                    12
                                                                    r
                                                                    []
                                                                    In
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (TypeParameter
                                                                        d
                                                                    )
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                    .false.
                                                                    ()
                                                                    .false.
                                                                    .false.
                                                                    NotMethod
                                                                    ()
                                                                ),
                                                            total:
                                                                (Variable
                                                                    12
                                                                    total
                                                                    []
                                                                    ReturnVar
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (TypeParameter
                                                                        d
                                                                    )
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                    .false.
                                                                    ()
                                                                    .false.
                                                                    .false.
                                                                    NotMethod
                                                                    ()
                                                                )
                                                        })
                                                    plus_d
                                                    (FunctionType
                                                        [(TypeParameter
                                                            d
                                                        )
                                                        (TypeParameter
                                                            d
                                                        )]
                                                        (TypeParameter
                                                            d
                                                        )
                                                        Source
                                                        Implementation
                                                        ()
                                                        .false.
                                                        .true.
                                                        .false.
                                                        .false.
                                                        .false.
                                                        []
                                                        .true.
                                                    )
                                                    []
                                                    [(Var 12 l)
                                                    (Var 12 r)]
                                                    []
                                                    (Var 12 total)
                                                    Private
                                                    .true.
                                                    .true.
                                                    ()
                                                ),
                                            plus_t:
                                                (Function
                                                    (SymbolTable
                                                        13
                                                        {
                                                            l:
                                                                (Variable
                                                                    13
                                                                    l
                                                                    []
                                                                    In
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (TypeParameter
                                                                        t
                                                                    )
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                    .false.
                                                                    ()
                                                                    .false.
                                                                    .false.
                                                                    NotMethod
                                                                    ()
                                                                ),
                                                            r:
                                                                (Variable
                                                                    13
                                                                    r
                                                                    []
                                                                    In
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (TypeParameter
                                                                        t
                                                                    )
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                    .false.
                                                                    ()
                                                                    .false.
                                                                    .false.
                                                                    NotMethod
                                                                    ()
                                                                ),
                                                            total:
                                                                (Variable
                                                                    13
                                                                    total
                                                                    []
                                                                    ReturnVar
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (TypeParameter
                                                                        t
                                                                    )
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                    .false.
                                                                    ()
                                                                    .false.
                                                                    .false.
                                                                    NotMethod
                                                                    ()
                                                                )
                                                        })
                                                    plus_t
                                                    (FunctionType
                                                        [(TypeParameter
                                                            t
                                                        )
                                                        (TypeParameter
                                                            t
                                                        )]
                                                        (TypeParameter
                                                            t
                                                        )
                                                        Source
                                                        Implementation
                                                        ()
                                                        .false.
                                                        .true.
                                                        .false.
                                                        .false.
                                                        .false.
                                                        []
                                                        .true.
                                                    )
                                                    []
                                                    [(Var 13 l)
                                                    (Var 13 r)]
                                                    []
                                                    (Var 13 total)
                                                    Private
                                                    .true.
                                                    .true.
                                                    ()
                                                ),
                                            s:
                                                (Variable
                                                    11
                                                    s
                                                    []
                                                    In
                                                    ()
                                                    ()
                                                    Default
                                                    (TypeParameter
                                                        s
                                                    )
                                                    ()
                                                    Source
                                                    Private
                                                    Required
                                                    .false.
                                                    .false.
                                                    .false.
                                                    ()
                                                    .false.
                                                    .false.
                                                    NotMethod
                                                    ()
                                                ),
                                            t:
                                                (Variable
                                                    11
                                                    t
                                                    []
                                                    In
                                                    ()
                                                    ()
                                                    Default
                                                    (TypeParameter
                                                        t
                                                    )
                                                    ()
                                                    Source
                                                    Private
                                                    Required
                                                    .false.
                                                    .false.
                                                    .false.
                                                    ()
                                                    .false.
                                                    .false.
                                                    NotMethod
                                                    ()
                                                )
                                        })
                                    travel_tmpl
                                    [d
                                    t
                                    s
                                    plus_d
                                    plus_t
                                    d_divided_by_t
                                    d_divided_by_s]
                                    [(Require
                                        operations
                                        [d
                                        t
                                        s
                                        plus_d
                                        plus_t
                                        d_divided_by_t
                                        d_divided_by_s]
                                    )]
                                )
                        })
                    template_travel_01_travel
                    ()
                    [template_travel_01_math
                    template_travel_01_travel]
                    .false.
                    .false.
                    .false.
                )
        })
    []
)
