  cell(gf180mcu_fd_sc_mcu9t5v0__xnor3_4) {
    area : 90.316800 ;

    leakage_power() {
      related_pg_pin : "VDD" ;
      when : "!A1&!A2&!A3" ;
      value : "0.000158316" ;
    }

    leakage_power() {
      related_pg_pin : "VDD" ;
      when : "!A1&!A2&A3" ;
      value : "0.000158022" ;
    }

    leakage_power() {
      related_pg_pin : "VDD" ;
      when : "!A1&A2&!A3" ;
      value : "0.00011085" ;
    }

    leakage_power() {
      related_pg_pin : "VDD" ;
      when : "!A1&A2&A3" ;
      value : "0.000109716" ;
    }

    leakage_power() {
      related_pg_pin : "VDD" ;
      when : "A1&!A2&!A3" ;
      value : "0.000133869" ;
    }

    leakage_power() {
      related_pg_pin : "VDD" ;
      when : "A1&!A2&A3" ;
      value : "0.000132732" ;
    }

    leakage_power() {
      related_pg_pin : "VDD" ;
      when : "A1&A2&!A3" ;
      value : "0.000134007" ;
    }

    leakage_power() {
      related_pg_pin : "VDD" ;
      when : "A1&A2&A3" ;
      value : "0.000133713" ;
    }

    leakage_power() {
      related_pg_pin : "VDD" ;
      value : "0.000158316" ;
    }

    pg_pin(VDD) {
      voltage_name : VDD ;
      pg_type : primary_power ;
    }

    pg_pin(VSS) {
      voltage_name : VSS ;
      pg_type : primary_ground ;
    }

    pin(A1) {
      capacitance : 0.004787 ;
      direction : input ;
      driver_waveform_rise : driver_waveform_default_rise ;
      driver_waveform_fall : driver_waveform_default_fall ;
      input_voltage : default ;
      max_transition : 11.2 ;
      related_ground_pin : VSS ;
      related_power_pin : VDD ;
    }

    pin(A2) {
      capacitance : 0.005345 ;
      direction : input ;
      driver_waveform_rise : driver_waveform_default_rise ;
      driver_waveform_fall : driver_waveform_default_fall ;
      input_voltage : default ;
      max_transition : 11.2 ;
      related_ground_pin : VSS ;
      related_power_pin : VDD ;
    }

    pin(A3) {
      capacitance : 0.009005 ;
      direction : input ;
      driver_waveform_rise : driver_waveform_default_rise ;
      driver_waveform_fall : driver_waveform_default_fall ;
      input_voltage : default ;
      max_transition : 11.2 ;
      related_ground_pin : VSS ;
      related_power_pin : VDD ;
    }

    pin(ZN) {
      direction : output ;
      function : "(!(A1^A2^A3))" ;
      max_capacitance : 2.251 ;
      max_transition : 11.2 ;
      min_capacitance : 0.001 ;
      output_voltage : default ;
      related_ground_pin : VSS ;
      related_power_pin : VDD ;

      internal_power() {
        related_pin : "A1" ;
        when : "!A2&!A3" ;

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01653, 0.07103, 0.1751, 0.3373, 0.5648, 0.8641, 1.241, 1.702, 2.251");
          values("0.4054, 0.3935, 0.3852, 0.3833, 0.3833, 0.3841, 0.3846, 0.3847, 0.3849, 0.3851",\
                 "0.4052, 0.3935, 0.3851, 0.3833, 0.3836, 0.3839, 0.3844, 0.3847, 0.3848, 0.3849",\
                 "0.405, 0.3932, 0.3844, 0.3828, 0.3829, 0.3834, 0.3839, 0.3842, 0.3844, 0.3845",\
                 "0.4046, 0.393, 0.3845, 0.3827, 0.383, 0.3833, 0.3839, 0.3841, 0.3842, 0.3844",\
                 "0.4052, 0.3935, 0.385, 0.3834, 0.3836, 0.3839, 0.3844, 0.3847, 0.3849, 0.3851",\
                 "0.4072, 0.3956, 0.3869, 0.3854, 0.3852, 0.386, 0.3865, 0.3867, 0.3869, 0.3869",\
                 "0.4102, 0.3985, 0.3901, 0.3882, 0.3881, 0.3887, 0.3892, 0.3895, 0.3897, 0.3898",\
                 "0.4146, 0.4029, 0.3944, 0.3924, 0.3927, 0.3932, 0.3937, 0.3939, 0.3941, 0.3942",\
                 "0.4205, 0.4087, 0.4004, 0.3983, 0.3988, 0.3995, 0.3995, 0.3999, 0.4001, 0.4002",\
                 "0.4279, 0.4162, 0.4077, 0.4059, 0.4063, 0.4068, 0.407, 0.4074, 0.4075, 0.4077");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01653, 0.07103, 0.1751, 0.3373, 0.5648, 0.8641, 1.241, 1.702, 2.251");
          values("0.3576, 0.3552, 0.3538, 0.356, 0.36, 0.3647, 0.3682, 0.3731, 0.388, 0.5376",\
                 "0.3577, 0.3557, 0.3531, 0.3557, 0.3603, 0.3638, 0.3688, 0.3725, 0.3872, 0.5411",\
                 "0.357, 0.3551, 0.3527, 0.3551, 0.3597, 0.3632, 0.3667, 0.3722, 0.3891, 0.551",\
                 "0.3566, 0.3548, 0.3527, 0.3545, 0.3597, 0.3635, 0.367, 0.3716, 0.3913, 0.574",\
                 "0.3579, 0.356, 0.3538, 0.3561, 0.3612, 0.3641, 0.3682, 0.3744, 0.3988, 0.6234",\
                 "0.3607, 0.3589, 0.3571, 0.3589, 0.3636, 0.3677, 0.3706, 0.3762, 0.413, 0.7095",\
                 "0.3652, 0.363, 0.3609, 0.3632, 0.3681, 0.3719, 0.3742, 0.3822, 0.4402, 0.8682",\
                 "0.3708, 0.3688, 0.3664, 0.3685, 0.3729, 0.3773, 0.381, 0.3905, 0.4997, 1.162",\
                 "0.3783, 0.3763, 0.3738, 0.3757, 0.3795, 0.3857, 0.3888, 0.4103, 0.6357, 1.718",\
                 "0.3876, 0.385, 0.3829, 0.3846, 0.3888, 0.3938, 0.4037, 0.4667, 0.9886, 2.722");
        }
      }

      internal_power() {
        related_pin : "A1" ;
        when : "!A2&A3" ;

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01653, 0.07103, 0.1751, 0.3373, 0.5648, 0.8641, 1.241, 1.702, 2.251");
          values("0.3715, 0.3588, 0.3481, 0.3451, 0.3446, 0.345, 0.345, 0.3452, 0.3454, 0.3456",\
                 "0.3712, 0.3585, 0.3475, 0.3444, 0.344, 0.3444, 0.3447, 0.3448, 0.345, 0.3451",\
                 "0.3706, 0.3578, 0.3471, 0.3439, 0.3436, 0.3439, 0.3441, 0.3443, 0.3444, 0.3445",\
                 "0.3706, 0.3578, 0.347, 0.3438, 0.3436, 0.3438, 0.3441, 0.3442, 0.3444, 0.3445",\
                 "0.3719, 0.3591, 0.3483, 0.345, 0.3449, 0.345, 0.3452, 0.3454, 0.3456, 0.3457",\
                 "0.3747, 0.3617, 0.3511, 0.3478, 0.3475, 0.3476, 0.348, 0.3482, 0.3484, 0.3485",\
                 "0.379, 0.3661, 0.3553, 0.3521, 0.3517, 0.3518, 0.3522, 0.3524, 0.3526, 0.3528",\
                 "0.3847, 0.3718, 0.361, 0.358, 0.3577, 0.358, 0.3581, 0.3583, 0.3585, 0.3586",\
                 "0.3921, 0.3792, 0.3687, 0.3652, 0.3651, 0.3653, 0.3655, 0.3658, 0.3659, 0.366",\
                 "0.4015, 0.3885, 0.3778, 0.3746, 0.3742, 0.3745, 0.3747, 0.3749, 0.3751, 0.3751");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01653, 0.07103, 0.1751, 0.3373, 0.5648, 0.8641, 1.241, 1.702, 2.251");
          values("0.3146, 0.3105, 0.3074, 0.3063, 0.3101, 0.3154, 0.3189, 0.3236, 0.3374, 0.4595",\
                 "0.3149, 0.3113, 0.3078, 0.3077, 0.311, 0.3163, 0.3201, 0.3245, 0.336, 0.4613",\
                 "0.3143, 0.3103, 0.307, 0.3073, 0.3107, 0.316, 0.3195, 0.3247, 0.3363, 0.47",\
                 "0.3141, 0.3105, 0.307, 0.3057, 0.3104, 0.3157, 0.318, 0.3235, 0.3373, 0.4884",\
                 "0.315, 0.3114, 0.3072, 0.3072, 0.3113, 0.3166, 0.3201, 0.325, 0.3421, 0.5176",\
                 "0.3163, 0.3134, 0.3087, 0.3092, 0.3128, 0.3181, 0.3216, 0.326, 0.3506, 0.5626",\
                 "0.3192, 0.3154, 0.3108, 0.311, 0.3158, 0.3199, 0.3246, 0.3295, 0.3598, 0.6338",\
                 "0.3238, 0.3202, 0.3155, 0.3162, 0.3179, 0.3265, 0.33, 0.335, 0.3809, 0.7474",\
                 "0.3297, 0.3256, 0.3216, 0.3218, 0.3251, 0.328, 0.3357, 0.3459, 0.4219, 0.9334",\
                 "0.337, 0.333, 0.3294, 0.3284, 0.3311, 0.3343, 0.336, 0.3558, 0.493, 1.258");
        }
      }

      internal_power() {
        related_pin : "A1" ;
        when : "A2&!A3" ;

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01653, 0.07103, 0.1751, 0.3373, 0.5648, 0.8641, 1.241, 1.702, 2.251");
          values("0.3952, 0.3836, 0.3751, 0.3731, 0.3736, 0.374, 0.3744, 0.3747, 0.3748, 0.3751",\
                 "0.3953, 0.3836, 0.3748, 0.373, 0.3731, 0.3737, 0.3743, 0.3746, 0.3748, 0.3749",\
                 "0.3945, 0.3831, 0.3745, 0.3729, 0.3729, 0.3733, 0.3737, 0.374, 0.3742, 0.3744",\
                 "0.3949, 0.3832, 0.3742, 0.3727, 0.3728, 0.3735, 0.3738, 0.3742, 0.3743, 0.3744",\
                 "0.3961, 0.3842, 0.3755, 0.3736, 0.3742, 0.3745, 0.3749, 0.3753, 0.3755, 0.3756",\
                 "0.399, 0.3873, 0.3786, 0.3767, 0.3772, 0.3775, 0.378, 0.3783, 0.3784, 0.3786",\
                 "0.403, 0.3916, 0.3832, 0.3812, 0.3812, 0.382, 0.3824, 0.3827, 0.3829, 0.383",\
                 "0.4092, 0.3972, 0.3887, 0.3871, 0.3872, 0.3876, 0.3881, 0.3884, 0.3886, 0.3888",\
                 "0.4165, 0.4045, 0.396, 0.3945, 0.3945, 0.395, 0.3955, 0.3957, 0.3959, 0.3961",\
                 "0.4254, 0.4138, 0.405, 0.4034, 0.4036, 0.404, 0.4043, 0.4048, 0.405, 0.4049");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01653, 0.07103, 0.1751, 0.3373, 0.5648, 0.8641, 1.241, 1.702, 2.251");
          values("0.2965, 0.2946, 0.2923, 0.2946, 0.2991, 0.3032, 0.3067, 0.3111, 0.3227, 0.4406",\
                 "0.2962, 0.2943, 0.2923, 0.2944, 0.2991, 0.3029, 0.3082, 0.3114, 0.323, 0.4436",\
                 "0.2963, 0.2942, 0.2921, 0.2945, 0.2991, 0.3029, 0.3067, 0.3123, 0.3244, 0.4535",\
                 "0.2966, 0.2948, 0.2923, 0.2948, 0.2991, 0.3032, 0.3073, 0.3134, 0.3271, 0.4731",\
                 "0.2975, 0.2953, 0.2933, 0.2958, 0.3003, 0.3035, 0.3088, 0.314, 0.332, 0.5085",\
                 "0.2994, 0.2973, 0.295, 0.2976, 0.3021, 0.3059, 0.3109, 0.3144, 0.3396, 0.5634",\
                 "0.3024, 0.3004, 0.2978, 0.3008, 0.3051, 0.3089, 0.3136, 0.3192, 0.3555, 0.6497",\
                 "0.3068, 0.3045, 0.3024, 0.3032, 0.3084, 0.3143, 0.3178, 0.3217, 0.379, 0.7969",\
                 "0.3126, 0.3104, 0.3079, 0.3101, 0.3123, 0.3164, 0.3288, 0.3362, 0.426, 1.045",\
                 "0.3204, 0.3176, 0.316, 0.3169, 0.3222, 0.3233, 0.3296, 0.3525, 0.5359, 1.476");
        }
      }

      internal_power() {
        related_pin : "A1" ;
        when : "A2&A3" ;

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01653, 0.07103, 0.1751, 0.3373, 0.5648, 0.8641, 1.241, 1.702, 2.251");
          values("0.3115, 0.2984, 0.287, 0.2836, 0.2833, 0.2834, 0.2837, 0.2839, 0.2841, 0.2841",\
                 "0.3113, 0.2983, 0.2869, 0.2835, 0.2832, 0.2834, 0.2836, 0.2838, 0.284, 0.284",\
                 "0.3111, 0.2981, 0.2871, 0.2835, 0.2831, 0.2833, 0.2836, 0.2838, 0.2839, 0.284",\
                 "0.3113, 0.2983, 0.2871, 0.2837, 0.2833, 0.2835, 0.2836, 0.2839, 0.284, 0.2842",\
                 "0.3128, 0.2996, 0.2883, 0.2849, 0.2843, 0.2846, 0.2849, 0.2852, 0.2854, 0.2855",\
                 "0.316, 0.3028, 0.2911, 0.2875, 0.2869, 0.2871, 0.2874, 0.2876, 0.2877, 0.2879",\
                 "0.3203, 0.3071, 0.2953, 0.2911, 0.2903, 0.2906, 0.2908, 0.291, 0.2912, 0.2914",\
                 "0.3262, 0.313, 0.301, 0.2965, 0.2957, 0.2958, 0.296, 0.2963, 0.2965, 0.2967",\
                 "0.3343, 0.3205, 0.308, 0.3034, 0.3024, 0.3025, 0.3028, 0.303, 0.3033, 0.3034",\
                 "0.3446, 0.3304, 0.3174, 0.3125, 0.3112, 0.3111, 0.3113, 0.3114, 0.3117, 0.3119");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01653, 0.07103, 0.1751, 0.3373, 0.5648, 0.8641, 1.241, 1.702, 2.251");
          values("0.3045, 0.3007, 0.297, 0.2966, 0.301, 0.3051, 0.3092, 0.3139, 0.3246, 0.4349",\
                 "0.3041, 0.3008, 0.2965, 0.2967, 0.3016, 0.3063, 0.3086, 0.3136, 0.3247, 0.437",\
                 "0.3038, 0.2996, 0.2962, 0.2962, 0.3007, 0.3057, 0.3095, 0.3142, 0.3249, 0.4447",\
                 "0.3038, 0.3002, 0.2969, 0.2965, 0.3004, 0.306, 0.3083, 0.3143, 0.3263, 0.4664",\
                 "0.3049, 0.3008, 0.2972, 0.2979, 0.3016, 0.3066, 0.3119, 0.3143, 0.3317, 0.5071",\
                 "0.3083, 0.3044, 0.3006, 0.3001, 0.3043, 0.309, 0.3128, 0.3178, 0.3436, 0.5837",\
                 "0.3154, 0.311, 0.3062, 0.3062, 0.3085, 0.3138, 0.3182, 0.3218, 0.37, 0.7271",\
                 "0.3241, 0.3194, 0.3146, 0.3142, 0.3169, 0.321, 0.3247, 0.3336, 0.4203, 0.9924",\
                 "0.3344, 0.3292, 0.3236, 0.3222, 0.3244, 0.3303, 0.3357, 0.3501, 0.5376, 1.502",\
                 "0.3465, 0.3411, 0.3345, 0.3328, 0.3349, 0.3375, 0.3467, 0.4001, 0.8449, 2.453");
        }
      }

      internal_power() {
        related_pin : "A2" ;
        when : "!A1&!A3" ;

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01653, 0.07103, 0.1751, 0.3373, 0.5648, 0.8641, 1.241, 1.702, 2.251");
          values("0.3985, 0.3869, 0.3784, 0.3766, 0.3767, 0.3772, 0.3776, 0.3779, 0.3782, 0.3783",\
                 "0.3985, 0.3869, 0.3784, 0.3767, 0.3766, 0.3774, 0.3779, 0.3782, 0.3783, 0.3784",\
                 "0.3985, 0.3868, 0.3783, 0.3767, 0.3767, 0.3773, 0.3777, 0.3781, 0.3782, 0.3783",\
                 "0.3986, 0.3869, 0.3783, 0.3763, 0.3764, 0.3774, 0.3776, 0.378, 0.3781, 0.3784",\
                 "0.3996, 0.388, 0.3791, 0.3774, 0.3777, 0.3783, 0.3784, 0.3788, 0.379, 0.3792",\
                 "0.4014, 0.3895, 0.381, 0.3793, 0.3794, 0.3799, 0.3805, 0.3806, 0.3809, 0.381",\
                 "0.4039, 0.3924, 0.3838, 0.3821, 0.3823, 0.3827, 0.3829, 0.3833, 0.3836, 0.3837",\
                 "0.4078, 0.3963, 0.3878, 0.3859, 0.3861, 0.3866, 0.3871, 0.3874, 0.3876, 0.3877",\
                 "0.4132, 0.4015, 0.3931, 0.3914, 0.3916, 0.392, 0.3923, 0.3926, 0.3928, 0.3929",\
                 "0.4196, 0.4081, 0.3994, 0.3978, 0.3981, 0.3982, 0.3988, 0.3991, 0.3993, 0.3994");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01653, 0.07103, 0.1751, 0.3373, 0.5648, 0.8641, 1.241, 1.702, 2.251");
          values("0.3547, 0.3527, 0.3506, 0.3531, 0.3573, 0.3617, 0.3664, 0.3713, 0.3853, 0.5316",\
                 "0.3546, 0.3524, 0.3501, 0.3524, 0.3573, 0.3614, 0.3664, 0.3701, 0.3847, 0.534",\
                 "0.3542, 0.3521, 0.3498, 0.3522, 0.357, 0.3602, 0.3637, 0.3695, 0.3857, 0.5453",\
                 "0.3544, 0.3521, 0.3502, 0.3524, 0.3573, 0.3611, 0.3649, 0.3695, 0.3898, 0.5732",\
                 "0.3561, 0.3538, 0.3519, 0.3541, 0.3588, 0.3626, 0.3664, 0.3726, 0.3978, 0.6277",\
                 "0.3591, 0.3569, 0.355, 0.3573, 0.3621, 0.3659, 0.3703, 0.3753, 0.413, 0.7233",\
                 "0.3627, 0.3602, 0.3586, 0.3613, 0.366, 0.3698, 0.3736, 0.3802, 0.4426, 0.8996",\
                 "0.3678, 0.366, 0.3635, 0.3665, 0.3699, 0.3749, 0.3795, 0.3893, 0.5091, 1.236",\
                 "0.3746, 0.3718, 0.3702, 0.3711, 0.3771, 0.3833, 0.3851, 0.4094, 0.6675, 1.845",\
                 "0.3822, 0.3805, 0.378, 0.3797, 0.3828, 0.3872, 0.3977, 0.4763, 1.087, 2.945");
        }
      }

      internal_power() {
        related_pin : "A2" ;
        when : "!A1&A3" ;

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01653, 0.07103, 0.1751, 0.3373, 0.5648, 0.8641, 1.241, 1.702, 2.251");
          values("0.3689, 0.356, 0.345, 0.3421, 0.3416, 0.3418, 0.3422, 0.3423, 0.3425, 0.3426",\
                 "0.3682, 0.3553, 0.3447, 0.3414, 0.3411, 0.3413, 0.3416, 0.3417, 0.3419, 0.342",\
                 "0.3678, 0.3549, 0.3443, 0.3409, 0.3407, 0.3409, 0.3411, 0.3413, 0.3415, 0.3415",\
                 "0.3684, 0.3555, 0.3448, 0.3417, 0.3413, 0.3415, 0.3417, 0.3419, 0.3421, 0.3423",\
                 "0.37, 0.3571, 0.3463, 0.3433, 0.3428, 0.3431, 0.3434, 0.3436, 0.3438, 0.3439",\
                 "0.3728, 0.3598, 0.3492, 0.3459, 0.3458, 0.346, 0.3463, 0.3464, 0.3465, 0.3467",\
                 "0.3768, 0.364, 0.3531, 0.3499, 0.3495, 0.3498, 0.3501, 0.3503, 0.3505, 0.3506",\
                 "0.3818, 0.369, 0.3582, 0.3551, 0.3549, 0.355, 0.3552, 0.3554, 0.3555, 0.3557",\
                 "0.3882, 0.3754, 0.3648, 0.3615, 0.3611, 0.3615, 0.3618, 0.3619, 0.3621, 0.3622",\
                 "0.3963, 0.3836, 0.3728, 0.3694, 0.3691, 0.3693, 0.3696, 0.3698, 0.37, 0.37");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01653, 0.07103, 0.1751, 0.3373, 0.5648, 0.8641, 1.241, 1.702, 2.251");
          values("0.3074, 0.3038, 0.2996, 0.2997, 0.3028, 0.3074, 0.3113, 0.3181, 0.3281, 0.449",\
                 "0.3076, 0.3037, 0.3001, 0.3007, 0.3043, 0.3101, 0.3122, 0.3187, 0.3291, 0.4514",\
                 "0.3075, 0.3036, 0.3002, 0.3009, 0.3046, 0.3101, 0.3131, 0.3178, 0.3291, 0.4601",\
                 "0.3077, 0.3036, 0.3001, 0.2997, 0.3043, 0.3095, 0.3119, 0.3161, 0.3323, 0.4799",\
                 "0.3084, 0.3045, 0.3007, 0.3017, 0.3052, 0.3107, 0.3131, 0.3182, 0.3351, 0.507",\
                 "0.3103, 0.3061, 0.3025, 0.3029, 0.3067, 0.311, 0.3149, 0.3223, 0.343, 0.5497",\
                 "0.3129, 0.3092, 0.3052, 0.3052, 0.31, 0.3134, 0.3167, 0.3227, 0.3519, 0.6179",\
                 "0.3169, 0.3129, 0.3091, 0.3083, 0.3118, 0.32, 0.3236, 0.3272, 0.3716, 0.7241",\
                 "0.3222, 0.3189, 0.3149, 0.3144, 0.3169, 0.32, 0.3299, 0.3384, 0.4079, 0.8987",\
                 "0.3286, 0.3249, 0.321, 0.3207, 0.3238, 0.3257, 0.3316, 0.3477, 0.4718, 1.196");
        }
      }

      internal_power() {
        related_pin : "A2" ;
        when : "A1&!A3" ;

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01653, 0.07103, 0.1751, 0.3373, 0.5648, 0.8641, 1.241, 1.702, 2.251");
          values("0.3996, 0.3878, 0.3794, 0.3776, 0.3778, 0.3783, 0.3787, 0.3789, 0.3791, 0.3794",\
                 "0.3996, 0.3878, 0.3792, 0.3774, 0.3774, 0.3781, 0.3785, 0.3788, 0.379, 0.3792",\
                 "0.3993, 0.3874, 0.3787, 0.3772, 0.3772, 0.3779, 0.3781, 0.3784, 0.3786, 0.3788",\
                 "0.3995, 0.3879, 0.3791, 0.3773, 0.3774, 0.3778, 0.3785, 0.3788, 0.3789, 0.3791",\
                 "0.4006, 0.389, 0.3805, 0.3787, 0.3789, 0.3794, 0.3798, 0.38, 0.3802, 0.3803",\
                 "0.4039, 0.3921, 0.3835, 0.3818, 0.3818, 0.3826, 0.3829, 0.3832, 0.3832, 0.3835",\
                 "0.4084, 0.3967, 0.3879, 0.3862, 0.3863, 0.387, 0.3874, 0.3877, 0.3879, 0.388",\
                 "0.4143, 0.4025, 0.3941, 0.3925, 0.3926, 0.3931, 0.3934, 0.3937, 0.3938, 0.394",\
                 "0.4218, 0.4102, 0.4018, 0.3997, 0.4002, 0.4006, 0.4009, 0.4013, 0.4015, 0.4015",\
                 "0.4314, 0.4198, 0.4112, 0.4092, 0.4096, 0.41, 0.4105, 0.4108, 0.411, 0.411");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01653, 0.07103, 0.1751, 0.3373, 0.5648, 0.8641, 1.241, 1.702, 2.251");
          values("0.2983, 0.2959, 0.2942, 0.2963, 0.3003, 0.305, 0.3088, 0.3144, 0.3257, 0.4457",\
                 "0.2982, 0.2965, 0.2942, 0.2965, 0.3015, 0.3041, 0.3082, 0.3135, 0.3264, 0.4446",\
                 "0.2985, 0.2964, 0.2947, 0.2969, 0.3012, 0.305, 0.3088, 0.3144, 0.3265, 0.4559",\
                 "0.2988, 0.2961, 0.2949, 0.2968, 0.3015, 0.3056, 0.3094, 0.3152, 0.3285, 0.4726",\
                 "0.2994, 0.297, 0.2956, 0.297, 0.3021, 0.3059, 0.3097, 0.3155, 0.3323, 0.5045",\
                 "0.3009, 0.2989, 0.2969, 0.2995, 0.3042, 0.308, 0.3127, 0.3165, 0.3399, 0.5586",\
                 "0.3041, 0.3017, 0.2992, 0.3017, 0.3066, 0.3101, 0.3142, 0.3191, 0.3527, 0.6356",\
                 "0.3081, 0.3067, 0.3037, 0.305, 0.3084, 0.3176, 0.3193, 0.324, 0.3761, 0.7706",\
                 "0.3139, 0.3116, 0.3093, 0.3116, 0.3138, 0.3179, 0.3282, 0.3381, 0.424, 0.995",\
                 "0.3216, 0.319, 0.3168, 0.319, 0.3222, 0.323, 0.3285, 0.3504, 0.5177, 1.388");
        }
      }

      internal_power() {
        related_pin : "A2" ;
        when : "A1&A3" ;

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01653, 0.07103, 0.1751, 0.3373, 0.5648, 0.8641, 1.241, 1.702, 2.251");
          values("0.3135, 0.3005, 0.2893, 0.2858, 0.2852, 0.2854, 0.2856, 0.2859, 0.286, 0.2861",\
                 "0.3132, 0.3002, 0.2893, 0.2856, 0.2853, 0.2854, 0.2856, 0.2859, 0.286, 0.2862",\
                 "0.3136, 0.3006, 0.2895, 0.2859, 0.2853, 0.2855, 0.2857, 0.286, 0.2861, 0.2863",\
                 "0.3135, 0.3004, 0.2896, 0.286, 0.2854, 0.2855, 0.2858, 0.286, 0.2862, 0.2864",\
                 "0.3146, 0.3015, 0.2903, 0.2868, 0.2861, 0.2863, 0.2867, 0.287, 0.2872, 0.2873",\
                 "0.3172, 0.304, 0.2926, 0.2888, 0.2881, 0.2883, 0.2886, 0.2888, 0.289, 0.2892",\
                 "0.3213, 0.3078, 0.2962, 0.2922, 0.2916, 0.2918, 0.292, 0.2922, 0.2923, 0.2925",\
                 "0.3269, 0.3133, 0.3018, 0.2972, 0.2964, 0.2965, 0.2968, 0.2971, 0.2972, 0.2974",\
                 "0.3348, 0.3211, 0.3084, 0.304, 0.3032, 0.3032, 0.3034, 0.3037, 0.3039, 0.3041",\
                 "0.3449, 0.3309, 0.3177, 0.3127, 0.3116, 0.3115, 0.3117, 0.3119, 0.3121, 0.3123");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01653, 0.07103, 0.1751, 0.3373, 0.5648, 0.8641, 1.241, 1.702, 2.251");
          values("0.3091, 0.306, 0.3017, 0.3015, 0.305, 0.3094, 0.3129, 0.3197, 0.329, 0.4427",\
                 "0.3089, 0.3057, 0.3011, 0.3009, 0.305, 0.3103, 0.3126, 0.3197, 0.3278, 0.445",\
                 "0.3087, 0.3053, 0.3015, 0.301, 0.3056, 0.3103, 0.3126, 0.3194, 0.3299, 0.4546",\
                 "0.3092, 0.3054, 0.3012, 0.301, 0.305, 0.3106, 0.3138, 0.3181, 0.332, 0.4749",\
                 "0.3101, 0.3069, 0.3028, 0.3022, 0.3068, 0.3121, 0.3171, 0.3175, 0.3386, 0.5186",\
                 "0.3135, 0.3096, 0.3058, 0.3057, 0.3092, 0.3148, 0.3171, 0.3232, 0.3491, 0.5962",\
                 "0.3207, 0.3163, 0.3117, 0.3107, 0.3143, 0.319, 0.3228, 0.3308, 0.3758, 0.7474",\
                 "0.3301, 0.3255, 0.3202, 0.3194, 0.3224, 0.3259, 0.3311, 0.3387, 0.433, 1.023",\
                 "0.3405, 0.3356, 0.33, 0.3273, 0.3299, 0.3364, 0.3398, 0.3574, 0.5587, 1.557",\
                 "0.3531, 0.3471, 0.3419, 0.3386, 0.3395, 0.3448, 0.3543, 0.4112, 0.8899, 2.55");
        }
      }

      internal_power() {
        related_pin : "A3" ;
        when : "!A1&!A2" ;

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01653, 0.07103, 0.1751, 0.3373, 0.5648, 0.8641, 1.241, 1.702, 2.251");
          values("0.3227, 0.31, 0.2993, 0.2962, 0.2959, 0.2962, 0.2964, 0.2966, 0.2967, 0.2969",\
                 "0.3225, 0.3097, 0.2991, 0.296, 0.2958, 0.2959, 0.2962, 0.2963, 0.2965, 0.2966",\
                 "0.3209, 0.3081, 0.2977, 0.2945, 0.294, 0.2942, 0.2945, 0.2948, 0.2949, 0.295",\
                 "0.3179, 0.305, 0.2945, 0.2914, 0.291, 0.2913, 0.2915, 0.2917, 0.2918, 0.292",\
                 "0.3153, 0.3028, 0.2927, 0.2899, 0.2897, 0.29, 0.2904, 0.2906, 0.2908, 0.291",\
                 "0.3142, 0.3019, 0.2926, 0.2902, 0.2904, 0.2908, 0.2912, 0.2915, 0.2916, 0.2918",\
                 "0.3163, 0.3045, 0.2953, 0.2931, 0.2931, 0.2935, 0.2939, 0.2942, 0.2945, 0.2947",\
                 "0.3215, 0.3097, 0.3005, 0.2978, 0.2978, 0.2985, 0.2989, 0.2993, 0.2994, 0.2996",\
                 "0.3293, 0.3171, 0.3076, 0.3052, 0.3053, 0.3054, 0.306, 0.3062, 0.3065, 0.3067",\
                 "0.3393, 0.327, 0.317, 0.3143, 0.3143, 0.3146, 0.315, 0.3154, 0.3156, 0.3158");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01653, 0.07103, 0.1751, 0.3373, 0.5648, 0.8641, 1.241, 1.702, 2.251");
          values("0.3047, 0.3028, 0.3005, 0.3026, 0.3071, 0.3112, 0.3169, 0.3201, 0.3296, 0.4291",\
                 "0.3045, 0.3021, 0.3004, 0.3027, 0.3068, 0.3112, 0.3154, 0.3204, 0.3302, 0.4285",\
                 "0.3039, 0.3017, 0.2998, 0.3014, 0.3059, 0.3103, 0.3148, 0.3198, 0.3296, 0.4402",\
                 "0.303, 0.301, 0.2988, 0.3015, 0.3059, 0.3097, 0.3139, 0.3174, 0.3311, 0.4516",\
                 "0.303, 0.3009, 0.299, 0.3016, 0.3062, 0.31, 0.3151, 0.3175, 0.3329, 0.4891",\
                 "0.3056, 0.3034, 0.3014, 0.3022, 0.3068, 0.3115, 0.316, 0.3225, 0.345, 0.5401",\
                 "0.3112, 0.3084, 0.3056, 0.3078, 0.3125, 0.3163, 0.3205, 0.3257, 0.3595, 0.6476",\
                 "0.3191, 0.3161, 0.3129, 0.3142, 0.3185, 0.3235, 0.3256, 0.3334, 0.3959, 0.8454",\
                 "0.3293, 0.3264, 0.3224, 0.3234, 0.3242, 0.3322, 0.3378, 0.3496, 0.479, 1.232",\
                 "0.342, 0.3386, 0.3348, 0.3353, 0.3389, 0.3415, 0.3474, 0.3808, 0.6858, 1.98");
        }
      }

      internal_power() {
        related_pin : "A3" ;
        when : "!A1&A2" ;

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01653, 0.07103, 0.1751, 0.3373, 0.5648, 0.8641, 1.241, 1.702, 2.251");
          values("0.2903, 0.2787, 0.2702, 0.2686, 0.2684, 0.269, 0.2695, 0.2697, 0.2698, 0.2701",\
                 "0.2893, 0.2776, 0.2692, 0.2676, 0.2677, 0.2681, 0.2685, 0.2688, 0.2688, 0.269",\
                 "0.2867, 0.2751, 0.2665, 0.2646, 0.265, 0.2656, 0.266, 0.2662, 0.2665, 0.2665",\
                 "0.2865, 0.2748, 0.266, 0.2639, 0.2642, 0.2648, 0.2653, 0.2658, 0.266, 0.2662",\
                 "0.2987, 0.2852, 0.2731, 0.2687, 0.2681, 0.2684, 0.2687, 0.2691, 0.2694, 0.2696",\
                 "0.3233, 0.3058, 0.2884, 0.2805, 0.2776, 0.2768, 0.2766, 0.2765, 0.2766, 0.2768",\
                 "0.3522, 0.3319, 0.3074, 0.2963, 0.2914, 0.2892, 0.2886, 0.288, 0.288, 0.2878",\
                 "0.3838, 0.3609, 0.3311, 0.3166, 0.3096, 0.3062, 0.3046, 0.3036, 0.3033, 0.3031",\
                 "0.4194, 0.3943, 0.3595, 0.3413, 0.332, 0.3272, 0.3249, 0.3236, 0.3229, 0.3224",\
                 "0.46, 0.4331, 0.3923, 0.371, 0.36, 0.3537, 0.35, 0.348, 0.347, 0.3463");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01653, 0.07103, 0.1751, 0.3373, 0.5648, 0.8641, 1.241, 1.702, 2.251");
          values("0.1799, 0.1781, 0.1781, 0.1828, 0.1876, 0.1931, 0.1973, 0.2005, 0.2118, 0.2813",\
                 "0.1796, 0.178, 0.1784, 0.1825, 0.1876, 0.1922, 0.1967, 0.2014, 0.2076, 0.2857",\
                 "0.1792, 0.1772, 0.1775, 0.1813, 0.1864, 0.191, 0.1955, 0.2008, 0.2075, 0.29",\
                 "0.1833, 0.1808, 0.179, 0.1809, 0.1852, 0.191, 0.1973, 0.199, 0.2083, 0.2976",\
                 "0.1934, 0.1892, 0.184, 0.1838, 0.1867, 0.1913, 0.1958, 0.1993, 0.2109, 0.3196",\
                 "0.2076, 0.2011, 0.1935, 0.1898, 0.1936, 0.1964, 0.2, 0.206, 0.2183, 0.3571",\
                 "0.2267, 0.2178, 0.208, 0.2027, 0.202, 0.2072, 0.2081, 0.2129, 0.2325, 0.4195",\
                 "0.2514, 0.2398, 0.2278, 0.2194, 0.2164, 0.2171, 0.2255, 0.2303, 0.2563, 0.5207",\
                 "0.2827, 0.268, 0.253, 0.2424, 0.2368, 0.2348, 0.2369, 0.2519, 0.3025, 0.6892",\
                 "0.3199, 0.3015, 0.2829, 0.2705, 0.2632, 0.26, 0.2575, 0.2703, 0.3767, 0.9986");
        }
      }

      internal_power() {
        related_pin : "A3" ;
        when : "A1&!A2" ;

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01653, 0.07103, 0.1751, 0.3373, 0.5648, 0.8641, 1.241, 1.702, 2.251");
          values("0.2903, 0.2787, 0.2702, 0.2686, 0.2684, 0.269, 0.2695, 0.2697, 0.2698, 0.2701",\
                 "0.2893, 0.2776, 0.2692, 0.2676, 0.2677, 0.2681, 0.2685, 0.2688, 0.2688, 0.269",\
                 "0.2867, 0.275, 0.2666, 0.2649, 0.2649, 0.2655, 0.2659, 0.2661, 0.2664, 0.2665",\
                 "0.2866, 0.2749, 0.266, 0.2639, 0.2642, 0.2647, 0.2653, 0.2657, 0.266, 0.2662",\
                 "0.2985, 0.2852, 0.2733, 0.2687, 0.2681, 0.2684, 0.2688, 0.2691, 0.2694, 0.2696",\
                 "0.3233, 0.3059, 0.2884, 0.2805, 0.2776, 0.2765, 0.2765, 0.2765, 0.2767, 0.2767",\
                 "0.3522, 0.3319, 0.3074, 0.2969, 0.2913, 0.2894, 0.2884, 0.288, 0.2879, 0.2879",\
                 "0.3839, 0.3608, 0.3311, 0.3166, 0.3095, 0.3062, 0.3045, 0.3036, 0.3032, 0.3031",\
                 "0.4194, 0.3943, 0.3595, 0.3413, 0.332, 0.3273, 0.3248, 0.3236, 0.3229, 0.3224",\
                 "0.46, 0.4333, 0.3926, 0.3712, 0.36, 0.3537, 0.3502, 0.3481, 0.3471, 0.3463");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01653, 0.07103, 0.1751, 0.3373, 0.5648, 0.8641, 1.241, 1.702, 2.251");
          values("0.1799, 0.1781, 0.1781, 0.1828, 0.1876, 0.1931, 0.1973, 0.2005, 0.2118, 0.2813",\
                 "0.1796, 0.178, 0.1784, 0.1825, 0.1876, 0.1922, 0.1967, 0.2014, 0.2076, 0.2857",\
                 "0.179, 0.1772, 0.1776, 0.1813, 0.1864, 0.191, 0.1955, 0.2008, 0.2075, 0.29",\
                 "0.1833, 0.1808, 0.1788, 0.1808, 0.1852, 0.1898, 0.1955, 0.1993, 0.208, 0.3034",\
                 "0.1934, 0.1888, 0.184, 0.184, 0.1861, 0.1916, 0.1958, 0.1993, 0.2109, 0.3193",\
                 "0.2075, 0.2011, 0.1929, 0.1905, 0.193, 0.1964, 0.2, 0.206, 0.2183, 0.3571",\
                 "0.2268, 0.2183, 0.208, 0.2027, 0.2023, 0.2072, 0.209, 0.212, 0.2334, 0.4201",\
                 "0.2514, 0.2398, 0.2277, 0.2187, 0.2164, 0.2171, 0.2252, 0.2285, 0.259, 0.5201",\
                 "0.2827, 0.2681, 0.2523, 0.2418, 0.2368, 0.2336, 0.2369, 0.2495, 0.3025, 0.6892",\
                 "0.3199, 0.3011, 0.2824, 0.2705, 0.2635, 0.26, 0.2575, 0.2703, 0.3767, 0.9986");
        }
      }

      internal_power() {
        related_pin : "A3" ;
        when : "A1&A2" ;

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01653, 0.07103, 0.1751, 0.3373, 0.5648, 0.8641, 1.241, 1.702, 2.251");
          values("0.3233, 0.3102, 0.2995, 0.2963, 0.2961, 0.2961, 0.2964, 0.2966, 0.2967, 0.2968",\
                 "0.323, 0.31, 0.2993, 0.2961, 0.2958, 0.296, 0.2962, 0.2963, 0.2965, 0.2966",\
                 "0.3214, 0.3085, 0.2978, 0.2945, 0.2942, 0.2942, 0.2945, 0.2947, 0.2948, 0.2949",\
                 "0.3184, 0.3055, 0.2948, 0.2914, 0.291, 0.2913, 0.2915, 0.2917, 0.2919, 0.2919",\
                 "0.3158, 0.3033, 0.293, 0.29, 0.2898, 0.2901, 0.2904, 0.2906, 0.2908, 0.2909",\
                 "0.3146, 0.3024, 0.2927, 0.2904, 0.2904, 0.2908, 0.2912, 0.2914, 0.2916, 0.2918",\
                 "0.3169, 0.3047, 0.2954, 0.2931, 0.2929, 0.2935, 0.2939, 0.2942, 0.2946, 0.2947",\
                 "0.322, 0.3099, 0.3005, 0.2982, 0.2979, 0.2986, 0.299, 0.2994, 0.2995, 0.2997",\
                 "0.3296, 0.3174, 0.3078, 0.3054, 0.3052, 0.3056, 0.3059, 0.3063, 0.3065, 0.3067",\
                 "0.3396, 0.3271, 0.317, 0.3144, 0.3141, 0.3145, 0.315, 0.3155, 0.3156, 0.3159");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01653, 0.07103, 0.1751, 0.3373, 0.5648, 0.8641, 1.241, 1.702, 2.251");
          values("0.3048, 0.3026, 0.3009, 0.3027, 0.3072, 0.3115, 0.3154, 0.3204, 0.3305, 0.4373",\
                 "0.3044, 0.3021, 0.3002, 0.3029, 0.3072, 0.3115, 0.3157, 0.3189, 0.3317, 0.4321",\
                 "0.304, 0.3014, 0.3, 0.3016, 0.3066, 0.3106, 0.3148, 0.3207, 0.332, 0.4399",\
                 "0.303, 0.3007, 0.2987, 0.3013, 0.306, 0.3097, 0.3136, 0.3174, 0.3296, 0.4537",\
                 "0.3031, 0.3011, 0.2994, 0.3006, 0.3054, 0.3097, 0.3145, 0.3181, 0.3332, 0.4864",\
                 "0.3058, 0.3033, 0.3014, 0.3021, 0.3078, 0.3115, 0.3154, 0.3204, 0.3426, 0.5432",\
                 "0.3111, 0.3088, 0.3058, 0.3076, 0.3123, 0.3157, 0.3196, 0.3255, 0.3589, 0.6473",\
                 "0.3191, 0.3168, 0.313, 0.3136, 0.3186, 0.3235, 0.3265, 0.3349, 0.3959, 0.8451",\
                 "0.3293, 0.3261, 0.323, 0.3241, 0.3264, 0.3307, 0.3393, 0.3472, 0.4793, 1.233",\
                 "0.3421, 0.339, 0.3354, 0.3356, 0.3393, 0.3403, 0.3477, 0.3802, 0.6858, 1.98");
        }
      }

      timing() {
        related_pin : "A1" ;
        sdf_cond : "A2===1'b0 && A3===1'b0" ;
        timing_sense : negative_unate ;
        timing_type : combinational ;
        when : "!A2&!A3" ;

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01653, 0.07103, 0.1751, 0.3373, 0.5648, 0.8641, 1.241, 1.702, 2.251");
          values("2.643, 2.718, 2.896, 3.133, 3.429, 3.801, 4.271, 4.856, 5.567, 6.414",\
                 "2.667, 2.741, 2.919, 3.156, 3.451, 3.824, 4.294, 4.878, 5.589, 6.437",\
                 "2.735, 2.809, 2.987, 3.223, 3.519, 3.892, 4.362, 4.946, 5.658, 6.505",\
                 "2.806, 2.88, 3.058, 3.294, 3.59, 3.962, 4.432, 5.016, 5.728, 6.575",\
                 "2.84, 2.915, 3.093, 3.329, 3.625, 3.998, 4.468, 5.052, 5.763, 6.61",\
                 "2.839, 2.914, 3.092, 3.328, 3.624, 3.997, 4.466, 5.051, 5.762, 6.609",\
                 "2.782, 2.857, 3.036, 3.272, 3.568, 3.941, 4.41, 4.995, 5.706, 6.553",\
                 "2.674, 2.748, 2.927, 3.163, 3.459, 3.832, 4.302, 4.886, 5.597, 6.444",\
                 "2.508, 2.581, 2.76, 2.997, 3.292, 3.665, 4.135, 4.719, 5.43, 6.277",\
                 "2.28, 2.354, 2.533, 2.769, 3.065, 3.438, 3.908, 4.492, 5.203, 6.05");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01653, 0.07103, 0.1751, 0.3373, 0.5648, 0.8641, 1.241, 1.702, 2.251");
          values("2.831, 2.896, 3.067, 3.37, 3.84, 4.499, 5.365, 6.456, 7.789, 9.376",\
                 "2.847, 2.912, 3.082, 3.386, 3.856, 4.515, 5.381, 6.472, 7.804, 9.389",\
                 "2.91, 2.975, 3.146, 3.449, 3.919, 4.578, 5.444, 6.535, 7.865, 9.455",\
                 "3.039, 3.104, 3.275, 3.578, 4.049, 4.708, 5.574, 6.665, 7.997, 9.584",\
                 "3.256, 3.321, 3.492, 3.794, 4.265, 4.924, 5.79, 6.881, 8.213, 9.8",\
                 "3.551, 3.615, 3.786, 4.089, 4.559, 5.218, 6.085, 7.176, 8.507, 10.1",\
                 "3.912, 3.976, 4.148, 4.45, 4.92, 5.58, 6.446, 7.537, 8.868, 10.46",\
                 "4.349, 4.414, 4.584, 4.888, 5.358, 6.017, 6.884, 7.975, 9.305, 10.89",\
                 "4.864, 4.929, 5.1, 5.404, 5.873, 6.533, 7.399, 8.489, 9.822, 11.41",\
                 "5.46, 5.524, 5.695, 5.999, 6.469, 7.127, 7.994, 9.084, 10.41, 12");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01653, 0.07103, 0.1751, 0.3373, 0.5648, 0.8641, 1.241, 1.702, 2.251");
          values("0.2028, 0.2678, 0.4312, 0.6762, 1.043, 1.573, 2.304, 3.246, 4.409, 5.809",\
                 "0.2024, 0.268, 0.4318, 0.6762, 1.043, 1.574, 2.304, 3.248, 4.413, 5.808",\
                 "0.2022, 0.2676, 0.4314, 0.6762, 1.042, 1.574, 2.304, 3.248, 4.413, 5.801",\
                 "0.2022, 0.2678, 0.4316, 0.6764, 1.043, 1.573, 2.304, 3.248, 4.409, 5.807",\
                 "0.202, 0.268, 0.4318, 0.676, 1.043, 1.574, 2.304, 3.245, 4.409, 5.801",\
                 "0.2022, 0.2678, 0.4312, 0.6762, 1.043, 1.573, 2.304, 3.248, 4.413, 5.801",\
                 "0.202, 0.2678, 0.4318, 0.6758, 1.043, 1.575, 2.304, 3.247, 4.409, 5.802",\
                 "0.2028, 0.268, 0.4318, 0.6758, 1.043, 1.573, 2.303, 3.244, 4.409, 5.802",\
                 "0.2022, 0.2678, 0.4322, 0.6764, 1.043, 1.574, 2.303, 3.244, 4.408, 5.797",\
                 "0.2022, 0.268, 0.431, 0.676, 1.043, 1.575, 2.302, 3.246, 4.41, 5.802");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01653, 0.07103, 0.1751, 0.3373, 0.5648, 0.8641, 1.241, 1.702, 2.251");
          values("0.1414, 0.2082, 0.4438, 0.9472, 1.746, 2.868, 4.348, 6.211, 8.492, 11.2",\
                 "0.142, 0.2084, 0.4438, 0.9472, 1.745, 2.869, 4.347, 6.214, 8.489, 11.21",\
                 "0.1416, 0.2082, 0.4428, 0.9474, 1.746, 2.869, 4.344, 6.207, 8.483, 11.2",\
                 "0.1412, 0.208, 0.4434, 0.9468, 1.745, 2.869, 4.348, 6.213, 8.493, 11.21",\
                 "0.1414, 0.2082, 0.4434, 0.9464, 1.746, 2.869, 4.345, 6.213, 8.492, 11.2",\
                 "0.1416, 0.2084, 0.4436, 0.9466, 1.746, 2.867, 4.344, 6.21, 8.492, 11.19",\
                 "0.1414, 0.2082, 0.4436, 0.9472, 1.746, 2.868, 4.343, 6.211, 8.487, 11.21",\
                 "0.1426, 0.2082, 0.4432, 0.947, 1.744, 2.869, 4.343, 6.208, 8.484, 11.21",\
                 "0.1414, 0.2086, 0.444, 0.948, 1.744, 2.87, 4.342, 6.212, 8.492, 11.19",\
                 "0.142, 0.208, 0.444, 0.948, 1.746, 2.866, 4.342, 6.202, 8.482, 11.2");
        }
      }

      timing() {
        related_pin : "A1" ;
        sdf_cond : "A2===1'b1 && A3===1'b1" ;
        timing_sense : negative_unate ;
        timing_type : combinational ;
        when : "A2&A3" ;

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01653, 0.07103, 0.1751, 0.3373, 0.5648, 0.8641, 1.241, 1.702, 2.251");
          values("1.408, 1.485, 1.667, 1.907, 2.204, 2.579, 3.049, 3.634, 4.345, 5.192",\
                 "1.427, 1.505, 1.687, 1.926, 2.224, 2.598, 3.069, 3.653, 4.365, 5.212",\
                 "1.494, 1.572, 1.754, 1.993, 2.291, 2.665, 3.136, 3.721, 4.432, 5.279",\
                 "1.621, 1.698, 1.88, 2.12, 2.417, 2.792, 3.262, 3.847, 4.559, 5.405",\
                 "1.774, 1.852, 2.034, 2.273, 2.571, 2.945, 3.416, 4.001, 4.712, 5.559",\
                 "1.898, 1.976, 2.158, 2.397, 2.696, 3.07, 3.54, 4.125, 4.837, 5.684",\
                 "1.983, 2.06, 2.243, 2.482, 2.78, 3.154, 3.625, 4.21, 4.921, 5.768",\
                 "2.026, 2.104, 2.287, 2.527, 2.826, 3.2, 3.67, 4.255, 4.966, 5.813",\
                 "2.026, 2.104, 2.287, 2.527, 2.826, 3.2, 3.671, 4.256, 4.967, 5.814",\
                 "1.977, 2.056, 2.239, 2.48, 2.779, 3.153, 3.624, 4.209, 4.92, 5.767");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01653, 0.07103, 0.1751, 0.3373, 0.5648, 0.8641, 1.241, 1.702, 2.251");
          values("1.814, 1.891, 2.086, 2.397, 2.869, 3.528, 4.394, 5.485, 6.816, 8.401",\
                 "1.837, 1.913, 2.108, 2.42, 2.891, 3.551, 4.417, 5.507, 6.838, 8.424",\
                 "1.915, 1.991, 2.186, 2.498, 2.97, 3.629, 4.495, 5.586, 6.917, 8.503",\
                 "2.083, 2.159, 2.353, 2.666, 3.137, 3.796, 4.662, 5.753, 7.084, 8.67",\
                 "2.363, 2.438, 2.634, 2.946, 3.417, 4.076, 4.942, 6.033, 7.364, 8.95",\
                 "2.759, 2.836, 3.031, 3.343, 3.814, 4.474, 5.34, 6.43, 7.762, 9.346",\
                 "3.234, 3.312, 3.507, 3.82, 4.29, 4.95, 5.816, 6.906, 8.237, 9.824",\
                 "3.758, 3.836, 4.034, 4.346, 4.817, 5.476, 6.343, 7.433, 8.764, 10.35",\
                 "4.337, 4.416, 4.616, 4.929, 5.4, 6.059, 6.925, 8.015, 9.346, 10.93",\
                 "4.982, 5.062, 5.263, 5.577, 6.047, 6.706, 7.572, 8.662, 9.993, 11.58");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01653, 0.07103, 0.1751, 0.3373, 0.5648, 0.8641, 1.241, 1.702, 2.251");
          values("0.2158, 0.2808, 0.4424, 0.6856, 1.05, 1.581, 2.307, 3.249, 4.415, 5.804",\
                 "0.2158, 0.2808, 0.4424, 0.6856, 1.05, 1.581, 2.307, 3.249, 4.415, 5.804",\
                 "0.216, 0.2808, 0.4426, 0.6856, 1.051, 1.58, 2.307, 3.249, 4.411, 5.803",\
                 "0.2158, 0.2808, 0.4424, 0.6858, 1.05, 1.58, 2.308, 3.25, 4.412, 5.803",\
                 "0.216, 0.281, 0.4426, 0.6858, 1.051, 1.581, 2.308, 3.25, 4.414, 5.81",\
                 "0.2174, 0.2824, 0.4436, 0.686, 1.051, 1.58, 2.308, 3.25, 4.409, 5.805",\
                 "0.2182, 0.2834, 0.4448, 0.6872, 1.052, 1.58, 2.307, 3.25, 4.414, 5.81",\
                 "0.2198, 0.2846, 0.4454, 0.6874, 1.052, 1.581, 2.307, 3.247, 4.41, 5.804",\
                 "0.222, 0.2866, 0.448, 0.6888, 1.053, 1.581, 2.311, 3.248, 4.41, 5.799",\
                 "0.2248, 0.2892, 0.45, 0.6904, 1.054, 1.582, 2.309, 3.248, 4.41, 5.8");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01653, 0.07103, 0.1751, 0.3373, 0.5648, 0.8641, 1.241, 1.702, 2.251");
          values("0.17, 0.2506, 0.487, 0.9672, 1.757, 2.878, 4.355, 6.22, 8.488, 11.2",\
                 "0.1698, 0.251, 0.4872, 0.9674, 1.756, 2.879, 4.356, 6.22, 8.489, 11.2",\
                 "0.17, 0.2506, 0.4874, 0.9664, 1.757, 2.879, 4.357, 6.215, 8.488, 11.2",\
                 "0.1698, 0.2506, 0.4882, 0.967, 1.756, 2.879, 4.355, 6.219, 8.484, 11.2",\
                 "0.17, 0.2508, 0.4872, 0.9668, 1.758, 2.879, 4.356, 6.22, 8.487, 11.2",\
                 "0.1704, 0.251, 0.4874, 0.9678, 1.758, 2.876, 4.357, 6.218, 8.485, 11.2",\
                 "0.1734, 0.2546, 0.4908, 0.966, 1.758, 2.879, 4.354, 6.213, 8.491, 11.2",\
                 "0.178, 0.2596, 0.4942, 0.9698, 1.757, 2.879, 4.353, 6.217, 8.49, 11.2",\
                 "0.1824, 0.2648, 0.4994, 0.9698, 1.756, 2.876, 4.35, 6.22, 8.494, 11.2",\
                 "0.188, 0.27, 0.502, 0.972, 1.758, 2.876, 4.35, 6.21, 8.484, 11.2");
        }
      }

      timing() {
        related_pin : "A1" ;
        timing_sense : negative_unate ;
        timing_type : combinational ;

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01653, 0.07103, 0.1751, 0.3373, 0.5648, 0.8641, 1.241, 1.702, 2.251");
          values("2.643, 2.718, 2.896, 3.133, 3.429, 3.801, 4.271, 4.856, 5.567, 6.414",\
                 "2.667, 2.741, 2.919, 3.156, 3.451, 3.824, 4.294, 4.878, 5.589, 6.437",\
                 "2.735, 2.809, 2.987, 3.223, 3.519, 3.892, 4.362, 4.946, 5.658, 6.505",\
                 "2.806, 2.88, 3.058, 3.294, 3.59, 3.962, 4.432, 5.016, 5.728, 6.575",\
                 "2.84, 2.915, 3.093, 3.329, 3.625, 3.998, 4.468, 5.052, 5.763, 6.61",\
                 "2.839, 2.914, 3.092, 3.328, 3.624, 3.997, 4.466, 5.051, 5.762, 6.609",\
                 "2.782, 2.857, 3.036, 3.272, 3.568, 3.941, 4.41, 4.995, 5.706, 6.553",\
                 "2.674, 2.748, 2.927, 3.163, 3.459, 3.832, 4.302, 4.886, 5.597, 6.444",\
                 "2.508, 2.581, 2.76, 2.997, 3.292, 3.665, 4.135, 4.719, 5.43, 6.277",\
                 "2.28, 2.354, 2.533, 2.769, 3.065, 3.438, 3.908, 4.492, 5.203, 6.05");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01653, 0.07103, 0.1751, 0.3373, 0.5648, 0.8641, 1.241, 1.702, 2.251");
          values("2.831, 2.896, 3.067, 3.37, 3.84, 4.499, 5.365, 6.456, 7.789, 9.376",\
                 "2.847, 2.912, 3.082, 3.386, 3.856, 4.515, 5.381, 6.472, 7.804, 9.389",\
                 "2.91, 2.975, 3.146, 3.449, 3.919, 4.578, 5.444, 6.535, 7.865, 9.455",\
                 "3.039, 3.104, 3.275, 3.578, 4.049, 4.708, 5.574, 6.665, 7.997, 9.584",\
                 "3.256, 3.321, 3.492, 3.794, 4.265, 4.924, 5.79, 6.881, 8.213, 9.8",\
                 "3.551, 3.615, 3.786, 4.089, 4.559, 5.218, 6.085, 7.176, 8.507, 10.1",\
                 "3.912, 3.976, 4.148, 4.45, 4.92, 5.58, 6.446, 7.537, 8.868, 10.46",\
                 "4.349, 4.414, 4.584, 4.888, 5.358, 6.017, 6.884, 7.975, 9.305, 10.89",\
                 "4.864, 4.929, 5.1, 5.404, 5.873, 6.533, 7.399, 8.489, 9.822, 11.41",\
                 "5.46, 5.524, 5.695, 5.999, 6.469, 7.127, 7.994, 9.084, 10.41, 12");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01653, 0.07103, 0.1751, 0.3373, 0.5648, 0.8641, 1.241, 1.702, 2.251");
          values("0.2158, 0.2808, 0.4424, 0.6856, 1.05, 1.581, 2.307, 3.249, 4.415, 5.804",\
                 "0.2158, 0.2808, 0.4424, 0.6856, 1.05, 1.581, 2.307, 3.249, 4.415, 5.804",\
                 "0.216, 0.2808, 0.4426, 0.6856, 1.051, 1.58, 2.307, 3.249, 4.411, 5.803",\
                 "0.2158, 0.2808, 0.4424, 0.6858, 1.05, 1.58, 2.308, 3.25, 4.412, 5.803",\
                 "0.216, 0.281, 0.4426, 0.6858, 1.051, 1.581, 2.308, 3.25, 4.414, 5.81",\
                 "0.2174, 0.2824, 0.4436, 0.686, 1.051, 1.58, 2.308, 3.25, 4.409, 5.805",\
                 "0.2182, 0.2834, 0.4448, 0.6872, 1.052, 1.58, 2.307, 3.25, 4.414, 5.81",\
                 "0.2198, 0.2846, 0.4454, 0.6874, 1.052, 1.581, 2.307, 3.247, 4.41, 5.804",\
                 "0.222, 0.2866, 0.448, 0.6888, 1.053, 1.581, 2.311, 3.248, 4.41, 5.799",\
                 "0.2248, 0.2892, 0.45, 0.6904, 1.054, 1.582, 2.309, 3.248, 4.41, 5.8");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01653, 0.07103, 0.1751, 0.3373, 0.5648, 0.8641, 1.241, 1.702, 2.251");
          values("0.1414, 0.2082, 0.4438, 0.9472, 1.746, 2.868, 4.348, 6.211, 8.492, 11.2",\
                 "0.142, 0.2084, 0.4438, 0.9472, 1.745, 2.869, 4.347, 6.214, 8.489, 11.21",\
                 "0.1416, 0.2082, 0.4428, 0.9474, 1.746, 2.869, 4.344, 6.207, 8.483, 11.2",\
                 "0.1412, 0.208, 0.4434, 0.9468, 1.745, 2.869, 4.348, 6.213, 8.493, 11.21",\
                 "0.1414, 0.2082, 0.4434, 0.9464, 1.746, 2.869, 4.345, 6.213, 8.492, 11.2",\
                 "0.1416, 0.2084, 0.4436, 0.9466, 1.746, 2.867, 4.344, 6.21, 8.492, 11.19",\
                 "0.1414, 0.2082, 0.4436, 0.9472, 1.746, 2.868, 4.343, 6.211, 8.487, 11.21",\
                 "0.1426, 0.2082, 0.4432, 0.947, 1.744, 2.869, 4.343, 6.208, 8.484, 11.21",\
                 "0.1414, 0.2086, 0.444, 0.948, 1.744, 2.87, 4.342, 6.212, 8.492, 11.19",\
                 "0.142, 0.208, 0.444, 0.948, 1.746, 2.866, 4.342, 6.202, 8.482, 11.2");
        }
      }

      timing() {
        related_pin : "A1" ;
        sdf_cond : "A2===1'b0 && A3===1'b1" ;
        timing_sense : positive_unate ;
        timing_type : combinational ;
        when : "!A2&A3" ;

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01653, 0.07103, 0.1751, 0.3373, 0.5648, 0.8641, 1.241, 1.702, 2.251");
          values("2.189, 2.266, 2.448, 2.686, 2.984, 3.358, 3.829, 4.413, 5.125, 5.972",\
                 "2.205, 2.282, 2.463, 2.702, 3, 3.374, 3.844, 4.429, 5.14, 5.988",\
                 "2.268, 2.345, 2.526, 2.766, 3.063, 3.437, 3.908, 4.492, 5.204, 6.051",\
                 "2.397, 2.475, 2.656, 2.895, 3.193, 3.567, 4.037, 4.622, 5.333, 6.181",\
                 "2.614, 2.691, 2.872, 3.112, 3.409, 3.783, 4.253, 4.838, 5.549, 6.397",\
                 "2.907, 2.985, 3.166, 3.405, 3.703, 4.076, 4.547, 5.131, 5.843, 6.69",\
                 "3.268, 3.346, 3.527, 3.767, 4.065, 4.438, 4.909, 5.493, 6.205, 7.052",\
                 "3.705, 3.782, 3.964, 4.203, 4.501, 4.875, 5.346, 5.93, 6.642, 7.489",\
                 "4.22, 4.297, 4.479, 4.718, 5.015, 5.389, 5.86, 6.444, 7.156, 8.003",\
                 "4.814, 4.891, 5.073, 5.312, 5.61, 5.983, 6.454, 7.039, 7.75, 8.597");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01653, 0.07103, 0.1751, 0.3373, 0.5648, 0.8641, 1.241, 1.702, 2.251");
          values("2.172, 2.248, 2.444, 2.755, 3.227, 3.886, 4.752, 5.843, 7.173, 8.76",\
                 "2.195, 2.271, 2.466, 2.778, 3.25, 3.909, 4.775, 5.866, 7.197, 8.782",\
                 "2.263, 2.34, 2.535, 2.847, 3.319, 3.978, 4.844, 5.935, 7.266, 8.851",\
                 "2.335, 2.411, 2.607, 2.918, 3.39, 4.049, 4.915, 6.006, 7.337, 8.923",\
                 "2.37, 2.447, 2.642, 2.954, 3.425, 4.084, 4.95, 6.041, 7.372, 8.957",\
                 "2.368, 2.444, 2.639, 2.951, 3.422, 4.082, 4.948, 6.038, 7.369, 8.956",\
                 "2.311, 2.388, 2.583, 2.895, 3.366, 4.025, 4.892, 5.982, 7.313, 8.899",\
                 "2.202, 2.278, 2.473, 2.785, 3.256, 3.916, 4.782, 5.872, 7.203, 8.79",\
                 "2.036, 2.112, 2.307, 2.619, 3.091, 3.75, 4.615, 5.706, 7.036, 8.622",\
                 "1.809, 1.885, 2.08, 2.392, 2.863, 3.523, 4.389, 5.479, 6.811, 8.397");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01653, 0.07103, 0.1751, 0.3373, 0.5648, 0.8641, 1.241, 1.702, 2.251");
          values("0.214, 0.2792, 0.4418, 0.6844, 1.049, 1.579, 2.307, 3.248, 4.412, 5.803",\
                 "0.2142, 0.2788, 0.4416, 0.6844, 1.049, 1.578, 2.308, 3.249, 4.41, 5.802",\
                 "0.2142, 0.2786, 0.4416, 0.6842, 1.049, 1.579, 2.307, 3.248, 4.412, 5.804",\
                 "0.2144, 0.279, 0.4406, 0.684, 1.048, 1.578, 2.306, 3.249, 4.415, 5.804",\
                 "0.2144, 0.279, 0.4418, 0.6844, 1.05, 1.58, 2.307, 3.249, 4.413, 5.807",\
                 "0.2146, 0.279, 0.441, 0.6842, 1.05, 1.578, 2.307, 3.249, 4.414, 5.809",\
                 "0.2146, 0.2792, 0.4416, 0.684, 1.049, 1.579, 2.307, 3.248, 4.411, 5.807",\
                 "0.214, 0.2796, 0.4408, 0.684, 1.049, 1.579, 2.305, 3.248, 4.413, 5.808",\
                 "0.214, 0.2794, 0.4412, 0.6838, 1.049, 1.58, 2.306, 3.248, 4.41, 5.802",\
                 "0.214, 0.278, 0.44, 0.684, 1.048, 1.578, 2.308, 3.248, 4.408, 5.798");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01653, 0.07103, 0.1751, 0.3373, 0.5648, 0.8641, 1.241, 1.702, 2.251");
          values("0.1706, 0.2518, 0.4884, 0.9664, 1.755, 2.879, 4.355, 6.221, 8.493, 11.21",\
                 "0.1706, 0.2518, 0.4894, 0.9678, 1.756, 2.875, 4.357, 6.218, 8.483, 11.2",\
                 "0.1708, 0.252, 0.4876, 0.9674, 1.756, 2.875, 4.357, 6.218, 8.483, 11.2",\
                 "0.1712, 0.252, 0.489, 0.9664, 1.758, 2.878, 4.355, 6.22, 8.485, 11.19",\
                 "0.1704, 0.2516, 0.4874, 0.9664, 1.756, 2.876, 4.357, 6.218, 8.484, 11.2",\
                 "0.1702, 0.251, 0.4878, 0.9656, 1.756, 2.876, 4.357, 6.221, 8.493, 11.21",\
                 "0.1702, 0.2508, 0.488, 0.9672, 1.756, 2.874, 4.357, 6.218, 8.487, 11.21",\
                 "0.1702, 0.2512, 0.4876, 0.9672, 1.755, 2.879, 4.35, 6.217, 8.492, 11.2",\
                 "0.1698, 0.2506, 0.4884, 0.9674, 1.755, 2.876, 4.351, 6.209, 8.482, 11.19",\
                 "0.1708, 0.251, 0.4878, 0.9654, 1.756, 2.877, 4.352, 6.212, 8.48, 11.19");
        }
      }

      timing() {
        related_pin : "A1" ;
        sdf_cond : "A2===1'b1 && A3===1'b0" ;
        timing_sense : positive_unate ;
        timing_type : combinational ;
        when : "A2&!A3" ;

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01653, 0.07103, 0.1751, 0.3373, 0.5648, 0.8641, 1.241, 1.702, 2.251");
          values("2.287, 2.361, 2.54, 2.776, 3.072, 3.445, 3.915, 4.499, 5.21, 6.058",\
                 "2.309, 2.384, 2.562, 2.798, 3.094, 3.467, 3.937, 4.521, 5.232, 6.08",\
                 "2.388, 2.462, 2.64, 2.876, 3.172, 3.545, 4.015, 4.599, 5.31, 6.158",\
                 "2.555, 2.63, 2.808, 3.045, 3.34, 3.713, 4.183, 4.767, 5.479, 6.326",\
                 "2.836, 2.91, 3.088, 3.325, 3.621, 3.993, 4.463, 5.047, 5.758, 6.606",\
                 "3.223, 3.297, 3.475, 3.712, 4.007, 4.38, 4.849, 5.434, 6.145, 6.992",\
                 "3.669, 3.743, 3.922, 4.158, 4.454, 4.827, 5.296, 5.881, 6.592, 7.439",\
                 "4.164, 4.238, 4.417, 4.653, 4.948, 5.321, 5.79, 6.375, 7.086, 7.934",\
                 "4.716, 4.79, 4.968, 5.205, 5.501, 5.874, 6.342, 6.926, 7.638, 8.485",\
                 "5.336, 5.41, 5.587, 5.825, 6.12, 6.493, 6.963, 7.547, 8.258, 9.105");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01653, 0.07103, 0.1751, 0.3373, 0.5648, 0.8641, 1.241, 1.702, 2.251");
          values("2.055, 2.12, 2.291, 2.594, 3.064, 3.723, 4.589, 5.679, 7.012, 8.597",\
                 "2.075, 2.139, 2.31, 2.613, 3.083, 3.742, 4.608, 5.699, 7.032, 8.618",\
                 "2.142, 2.207, 2.378, 2.68, 3.15, 3.81, 4.676, 5.767, 7.099, 8.686",\
                 "2.269, 2.334, 2.505, 2.808, 3.278, 3.937, 4.803, 5.894, 7.226, 8.814",\
                 "2.428, 2.493, 2.664, 2.967, 3.437, 4.096, 4.963, 6.054, 7.386, 8.973",\
                 "2.56, 2.625, 2.796, 3.099, 3.569, 4.228, 5.095, 6.185, 7.517, 9.104",\
                 "2.654, 2.719, 2.889, 3.192, 3.663, 4.321, 5.188, 6.279, 7.609, 9.198",\
                 "2.706, 2.771, 2.942, 3.245, 3.715, 4.374, 5.24, 6.331, 7.663, 9.248",\
                 "2.716, 2.781, 2.952, 3.254, 3.725, 4.384, 5.25, 6.34, 7.671, 9.257",\
                 "2.679, 2.743, 2.914, 3.217, 3.687, 4.346, 5.212, 6.302, 7.633, 9.219");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01653, 0.07103, 0.1751, 0.3373, 0.5648, 0.8641, 1.241, 1.702, 2.251");
          values("0.2022, 0.2678, 0.431, 0.6762, 1.042, 1.574, 2.304, 3.247, 4.413, 5.804",\
                 "0.2024, 0.2674, 0.432, 0.6762, 1.043, 1.573, 2.304, 3.248, 4.412, 5.809",\
                 "0.2022, 0.2676, 0.432, 0.6762, 1.042, 1.574, 2.304, 3.248, 4.409, 5.807",\
                 "0.2022, 0.2676, 0.4314, 0.676, 1.042, 1.575, 2.304, 3.247, 4.409, 5.81",\
                 "0.2026, 0.2674, 0.4318, 0.6762, 1.043, 1.575, 2.305, 3.247, 4.409, 5.806",\
                 "0.2022, 0.2676, 0.432, 0.6764, 1.043, 1.573, 2.304, 3.248, 4.413, 5.801",\
                 "0.2024, 0.2676, 0.4316, 0.6758, 1.043, 1.574, 2.304, 3.246, 4.412, 5.808",\
                 "0.2022, 0.268, 0.4308, 0.6756, 1.043, 1.573, 2.304, 3.248, 4.41, 5.802",\
                 "0.2024, 0.268, 0.4326, 0.676, 1.042, 1.572, 2.3, 3.244, 4.41, 5.808",\
                 "0.202, 0.268, 0.432, 0.676, 1.042, 1.572, 2.302, 3.248, 4.412, 5.798");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01653, 0.07103, 0.1751, 0.3373, 0.5648, 0.8641, 1.241, 1.702, 2.251");
          values("0.1412, 0.2084, 0.4428, 0.947, 1.745, 2.869, 4.348, 6.21, 8.489, 11.2",\
                 "0.1416, 0.2084, 0.4436, 0.9466, 1.746, 2.869, 4.348, 6.213, 8.492, 11.19",\
                 "0.1424, 0.208, 0.4438, 0.9468, 1.746, 2.869, 4.348, 6.213, 8.492, 11.2",\
                 "0.1418, 0.2082, 0.443, 0.9468, 1.746, 2.869, 4.347, 6.214, 8.492, 11.2",\
                 "0.1412, 0.2084, 0.4428, 0.9472, 1.747, 2.868, 4.347, 6.214, 8.493, 11.2",\
                 "0.1418, 0.2084, 0.4432, 0.9462, 1.746, 2.869, 4.346, 6.207, 8.491, 11.19",\
                 "0.142, 0.2084, 0.4436, 0.9456, 1.745, 2.869, 4.346, 6.214, 8.48, 11.21",\
                 "0.1418, 0.2082, 0.4432, 0.9468, 1.745, 2.864, 4.344, 6.201, 8.481, 11.2",\
                 "0.1418, 0.208, 0.4434, 0.9468, 1.744, 2.864, 4.341, 6.2, 8.478, 11.2",\
                 "0.142, 0.2082, 0.4444, 0.947, 1.747, 2.866, 4.342, 6.202, 8.472, 11.19");
        }
      }

      timing() {
        related_pin : "A1" ;
        timing_sense : positive_unate ;
        timing_type : combinational ;

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01653, 0.07103, 0.1751, 0.3373, 0.5648, 0.8641, 1.241, 1.702, 2.251");
          values("2.287, 2.361, 2.54, 2.776, 3.072, 3.445, 3.915, 4.499, 5.21, 6.058",\
                 "2.309, 2.384, 2.562, 2.798, 3.094, 3.467, 3.937, 4.521, 5.232, 6.08",\
                 "2.388, 2.462, 2.64, 2.876, 3.172, 3.545, 4.015, 4.599, 5.31, 6.158",\
                 "2.555, 2.63, 2.808, 3.045, 3.34, 3.713, 4.183, 4.767, 5.479, 6.326",\
                 "2.836, 2.91, 3.088, 3.325, 3.621, 3.993, 4.463, 5.047, 5.758, 6.606",\
                 "3.223, 3.297, 3.475, 3.712, 4.007, 4.38, 4.849, 5.434, 6.145, 6.992",\
                 "3.669, 3.743, 3.922, 4.158, 4.454, 4.827, 5.296, 5.881, 6.592, 7.439",\
                 "4.164, 4.238, 4.417, 4.653, 4.948, 5.321, 5.79, 6.375, 7.086, 7.934",\
                 "4.716, 4.79, 4.968, 5.205, 5.501, 5.874, 6.342, 6.926, 7.638, 8.485",\
                 "5.336, 5.41, 5.587, 5.825, 6.12, 6.493, 6.963, 7.547, 8.258, 9.105");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01653, 0.07103, 0.1751, 0.3373, 0.5648, 0.8641, 1.241, 1.702, 2.251");
          values("2.055, 2.12, 2.291, 2.594, 3.064, 3.723, 4.589, 5.679, 7.012, 8.597",\
                 "2.075, 2.139, 2.31, 2.613, 3.083, 3.742, 4.608, 5.699, 7.032, 8.618",\
                 "2.142, 2.207, 2.378, 2.68, 3.15, 3.81, 4.676, 5.767, 7.099, 8.686",\
                 "2.269, 2.334, 2.505, 2.808, 3.278, 3.937, 4.803, 5.894, 7.226, 8.814",\
                 "2.428, 2.493, 2.664, 2.967, 3.437, 4.096, 4.963, 6.054, 7.386, 8.973",\
                 "2.56, 2.625, 2.796, 3.099, 3.569, 4.228, 5.095, 6.185, 7.517, 9.104",\
                 "2.654, 2.719, 2.889, 3.192, 3.663, 4.321, 5.188, 6.279, 7.609, 9.198",\
                 "2.706, 2.771, 2.942, 3.245, 3.715, 4.374, 5.24, 6.331, 7.663, 9.248",\
                 "2.716, 2.781, 2.952, 3.254, 3.725, 4.384, 5.25, 6.34, 7.671, 9.257",\
                 "2.679, 2.743, 2.914, 3.217, 3.687, 4.346, 5.212, 6.302, 7.633, 9.219");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01653, 0.07103, 0.1751, 0.3373, 0.5648, 0.8641, 1.241, 1.702, 2.251");
          values("0.2022, 0.2678, 0.431, 0.6762, 1.042, 1.574, 2.304, 3.247, 4.413, 5.804",\
                 "0.2024, 0.2674, 0.432, 0.6762, 1.043, 1.573, 2.304, 3.248, 4.412, 5.809",\
                 "0.2022, 0.2676, 0.432, 0.6762, 1.042, 1.574, 2.304, 3.248, 4.409, 5.807",\
                 "0.2022, 0.2676, 0.4314, 0.676, 1.042, 1.575, 2.304, 3.247, 4.409, 5.81",\
                 "0.2026, 0.2674, 0.4318, 0.6762, 1.043, 1.575, 2.305, 3.247, 4.409, 5.806",\
                 "0.2022, 0.2676, 0.432, 0.6764, 1.043, 1.573, 2.304, 3.248, 4.413, 5.801",\
                 "0.2024, 0.2676, 0.4316, 0.6758, 1.043, 1.574, 2.304, 3.246, 4.412, 5.808",\
                 "0.2022, 0.268, 0.4308, 0.6756, 1.043, 1.573, 2.304, 3.248, 4.41, 5.802",\
                 "0.2024, 0.268, 0.4326, 0.676, 1.042, 1.572, 2.3, 3.244, 4.41, 5.808",\
                 "0.202, 0.268, 0.432, 0.676, 1.042, 1.572, 2.302, 3.248, 4.412, 5.798");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01653, 0.07103, 0.1751, 0.3373, 0.5648, 0.8641, 1.241, 1.702, 2.251");
          values("0.1706, 0.2518, 0.4884, 0.9664, 1.755, 2.879, 4.355, 6.221, 8.493, 11.21",\
                 "0.1706, 0.2518, 0.4894, 0.9678, 1.756, 2.875, 4.357, 6.218, 8.483, 11.2",\
                 "0.1708, 0.252, 0.4876, 0.9674, 1.756, 2.875, 4.357, 6.218, 8.483, 11.2",\
                 "0.1712, 0.252, 0.489, 0.9664, 1.758, 2.878, 4.355, 6.22, 8.485, 11.19",\
                 "0.1704, 0.2516, 0.4874, 0.9664, 1.756, 2.876, 4.357, 6.218, 8.484, 11.2",\
                 "0.1702, 0.251, 0.4878, 0.9656, 1.756, 2.876, 4.357, 6.221, 8.493, 11.21",\
                 "0.1702, 0.2508, 0.488, 0.9672, 1.756, 2.874, 4.357, 6.218, 8.487, 11.21",\
                 "0.1702, 0.2512, 0.4876, 0.9672, 1.755, 2.879, 4.35, 6.217, 8.492, 11.2",\
                 "0.1698, 0.2506, 0.4884, 0.9674, 1.755, 2.876, 4.351, 6.209, 8.482, 11.19",\
                 "0.1708, 0.251, 0.4878, 0.9654, 1.756, 2.877, 4.352, 6.212, 8.48, 11.19");
        }
      }

      timing() {
        related_pin : "A2" ;
        sdf_cond : "A1===1'b0 && A3===1'b0" ;
        timing_sense : negative_unate ;
        timing_type : combinational ;
        when : "!A1&!A3" ;

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01653, 0.07103, 0.1751, 0.3373, 0.5648, 0.8641, 1.241, 1.702, 2.251");
          values("2.565, 2.639, 2.818, 3.054, 3.35, 3.722, 4.192, 4.776, 5.488, 6.335",\
                 "2.588, 2.662, 2.84, 3.076, 3.373, 3.745, 4.215, 4.799, 5.51, 6.358",\
                 "2.656, 2.731, 2.909, 3.145, 3.441, 3.814, 4.284, 4.868, 5.579, 6.426",\
                 "2.722, 2.796, 2.975, 3.212, 3.507, 3.88, 4.35, 4.934, 5.645, 6.493",\
                 "2.75, 2.825, 3.003, 3.239, 3.535, 3.908, 4.378, 4.962, 5.673, 6.52",\
                 "2.734, 2.808, 2.986, 3.223, 3.518, 3.891, 4.361, 4.945, 5.656, 6.504",\
                 "2.663, 2.737, 2.916, 3.152, 3.448, 3.821, 4.29, 4.875, 5.586, 6.433",\
                 "2.533, 2.608, 2.787, 3.023, 3.319, 3.692, 4.162, 4.746, 5.457, 6.304",\
                 "2.341, 2.414, 2.594, 2.83, 3.126, 3.499, 3.968, 4.553, 5.264, 6.111",\
                 "2.078, 2.153, 2.331, 2.568, 2.863, 3.236, 3.706, 4.291, 5.002, 5.849");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01653, 0.07103, 0.1751, 0.3373, 0.5648, 0.8641, 1.241, 1.702, 2.251");
          values("2.781, 2.845, 3.017, 3.32, 3.79, 4.449, 5.315, 6.406, 7.738, 9.325",\
                 "2.791, 2.856, 3.027, 3.33, 3.8, 4.459, 5.326, 6.416, 7.749, 9.336",\
                 "2.867, 2.931, 3.103, 3.405, 3.876, 4.535, 5.401, 6.492, 7.824, 9.411",\
                 "3.048, 3.112, 3.283, 3.586, 4.057, 4.716, 5.582, 6.673, 8.005, 9.593",\
                 "3.338, 3.402, 3.573, 3.876, 4.347, 5.006, 5.872, 6.963, 8.295, 9.882",\
                 "3.71, 3.774, 3.946, 4.249, 4.719, 5.378, 6.244, 7.335, 8.667, 10.25",\
                 "4.139, 4.203, 4.375, 4.678, 5.148, 5.807, 6.673, 7.763, 9.096, 10.68",\
                 "4.637, 4.702, 4.873, 5.176, 5.646, 6.305, 7.171, 8.262, 9.594, 11.18",\
                 "5.215, 5.279, 5.45, 5.752, 6.223, 6.882, 7.748, 8.839, 10.17, 11.76",\
                 "5.878, 5.942, 6.113, 6.417, 6.886, 7.545, 8.412, 9.502, 10.83, 12.42");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01653, 0.07103, 0.1751, 0.3373, 0.5648, 0.8641, 1.241, 1.702, 2.251");
          values("0.2028, 0.2678, 0.4314, 0.6762, 1.042, 1.575, 2.304, 3.246, 4.413, 5.809",\
                 "0.2022, 0.2678, 0.432, 0.6764, 1.042, 1.575, 2.304, 3.247, 4.408, 5.809",\
                 "0.2022, 0.2676, 0.432, 0.676, 1.042, 1.574, 2.304, 3.248, 4.413, 5.808",\
                 "0.202, 0.2676, 0.431, 0.6764, 1.043, 1.573, 2.305, 3.246, 4.41, 5.804",\
                 "0.2026, 0.2676, 0.4318, 0.6764, 1.043, 1.574, 2.304, 3.248, 4.408, 5.804",\
                 "0.202, 0.2674, 0.432, 0.676, 1.043, 1.573, 2.305, 3.248, 4.412, 5.809",\
                 "0.2024, 0.2676, 0.4314, 0.676, 1.043, 1.574, 2.304, 3.247, 4.409, 5.804",\
                 "0.2026, 0.2674, 0.4314, 0.676, 1.042, 1.573, 2.303, 3.244, 4.409, 5.802",\
                 "0.202, 0.2678, 0.432, 0.6764, 1.043, 1.574, 2.305, 3.245, 4.41, 5.799",\
                 "0.2022, 0.2678, 0.4314, 0.6764, 1.043, 1.575, 2.305, 3.246, 4.41, 5.798");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01653, 0.07103, 0.1751, 0.3373, 0.5648, 0.8641, 1.241, 1.702, 2.251");
          values("0.1416, 0.208, 0.4432, 0.9456, 1.744, 2.869, 4.346, 6.213, 8.492, 11.2",\
                 "0.1418, 0.208, 0.4434, 0.946, 1.745, 2.869, 4.348, 6.213, 8.492, 11.19",\
                 "0.1422, 0.2084, 0.444, 0.9474, 1.744, 2.866, 4.343, 6.207, 8.492, 11.2",\
                 "0.1416, 0.2086, 0.4438, 0.9462, 1.744, 2.868, 4.348, 6.213, 8.493, 11.2",\
                 "0.1414, 0.2078, 0.4442, 0.9468, 1.746, 2.869, 4.348, 6.214, 8.492, 11.2",\
                 "0.1414, 0.2084, 0.4438, 0.9466, 1.744, 2.867, 4.347, 6.213, 8.491, 11.21",\
                 "0.1418, 0.2084, 0.4438, 0.9474, 1.746, 2.869, 4.349, 6.21, 8.491, 11.2",\
                 "0.1416, 0.2082, 0.4432, 0.9472, 1.745, 2.869, 4.345, 6.208, 8.49, 11.21",\
                 "0.142, 0.208, 0.444, 0.946, 1.744, 2.864, 4.348, 6.206, 8.492, 11.21",\
                 "0.142, 0.21, 0.446, 0.946, 1.744, 2.868, 4.34, 6.206, 8.484, 11.2");
        }
      }

      timing() {
        related_pin : "A2" ;
        sdf_cond : "A1===1'b1 && A3===1'b1" ;
        timing_sense : negative_unate ;
        timing_type : combinational ;
        when : "A1&A3" ;

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01653, 0.07103, 0.1751, 0.3373, 0.5648, 0.8641, 1.241, 1.702, 2.251");
          values("1.423, 1.501, 1.683, 1.922, 2.22, 2.594, 3.065, 3.649, 4.361, 5.208",\
                 "1.442, 1.519, 1.701, 1.941, 2.238, 2.612, 3.083, 3.668, 4.379, 5.227",\
                 "1.488, 1.565, 1.747, 1.987, 2.285, 2.659, 3.129, 3.714, 4.425, 5.273",\
                 "1.571, 1.649, 1.831, 2.07, 2.368, 2.742, 3.213, 3.797, 4.509, 5.356",\
                 "1.676, 1.754, 1.936, 2.175, 2.473, 2.847, 3.318, 3.903, 4.614, 5.461",\
                 "1.764, 1.841, 2.023, 2.263, 2.561, 2.935, 3.406, 3.99, 4.702, 5.549",\
                 "1.817, 1.895, 2.077, 2.317, 2.615, 2.989, 3.46, 4.045, 4.756, 5.603",\
                 "1.829, 1.907, 2.09, 2.33, 2.628, 3.002, 3.473, 4.058, 4.769, 5.616",\
                 "1.794, 1.872, 2.055, 2.296, 2.594, 2.969, 3.44, 4.025, 4.736, 5.583",\
                 "1.705, 1.783, 1.967, 2.208, 2.506, 2.881, 3.352, 3.937, 4.648, 5.495");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01653, 0.07103, 0.1751, 0.3373, 0.5648, 0.8641, 1.241, 1.702, 2.251");
          values("1.892, 1.969, 2.164, 2.476, 2.947, 3.607, 4.473, 5.563, 6.894, 8.48",\
                 "1.913, 1.989, 2.184, 2.496, 2.968, 3.627, 4.493, 5.584, 6.915, 8.5",\
                 "1.996, 2.073, 2.268, 2.58, 3.051, 3.71, 4.576, 5.667, 6.998, 8.584",\
                 "2.168, 2.244, 2.439, 2.751, 3.222, 3.882, 4.748, 5.838, 7.169, 8.755",\
                 "2.451, 2.527, 2.722, 3.034, 3.506, 4.164, 5.031, 6.121, 7.452, 9.039",\
                 "2.853, 2.93, 3.125, 3.437, 3.908, 4.568, 5.434, 6.524, 7.856, 9.442",\
                 "3.345, 3.422, 3.618, 3.93, 4.401, 5.06, 5.926, 7.017, 8.348, 9.933",\
                 "3.89, 3.968, 4.166, 4.479, 4.949, 5.608, 6.474, 7.565, 8.895, 10.48",\
                 "4.493, 4.572, 4.772, 5.084, 5.555, 6.214, 7.079, 8.17, 9.502, 11.09",\
                 "5.164, 5.244, 5.447, 5.759, 6.23, 6.889, 7.755, 8.845, 10.18, 11.76");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01653, 0.07103, 0.1751, 0.3373, 0.5648, 0.8641, 1.241, 1.702, 2.251");
          values("0.2162, 0.2806, 0.4428, 0.6858, 1.051, 1.58, 2.308, 3.25, 4.414, 5.809",\
                 "0.2162, 0.2804, 0.4436, 0.685, 1.05, 1.581, 2.307, 3.251, 4.414, 5.81",\
                 "0.2162, 0.2806, 0.4428, 0.6856, 1.051, 1.581, 2.308, 3.25, 4.414, 5.81",\
                 "0.2158, 0.2806, 0.4428, 0.686, 1.051, 1.58, 2.308, 3.25, 4.414, 5.809",\
                 "0.216, 0.2812, 0.4424, 0.6854, 1.051, 1.58, 2.308, 3.248, 4.412, 5.807",\
                 "0.2174, 0.282, 0.4436, 0.6858, 1.051, 1.58, 2.306, 3.249, 4.415, 5.81",\
                 "0.2182, 0.2828, 0.445, 0.6866, 1.051, 1.58, 2.306, 3.248, 4.412, 5.804",\
                 "0.2198, 0.2848, 0.4466, 0.6876, 1.052, 1.58, 2.307, 3.247, 4.409, 5.801",\
                 "0.222, 0.2864, 0.4474, 0.689, 1.053, 1.583, 2.308, 3.248, 4.409, 5.8",\
                 "0.2246, 0.2892, 0.4498, 0.6914, 1.053, 1.582, 2.309, 3.249, 4.412, 5.802");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01653, 0.07103, 0.1751, 0.3373, 0.5648, 0.8641, 1.241, 1.702, 2.251");
          values("0.1708, 0.252, 0.4874, 0.9674, 1.758, 2.877, 4.356, 6.22, 8.488, 11.2",\
                 "0.1708, 0.2524, 0.4886, 0.966, 1.758, 2.878, 4.356, 6.22, 8.485, 11.2",\
                 "0.1708, 0.2524, 0.4886, 0.9674, 1.757, 2.878, 4.356, 6.22, 8.491, 11.21",\
                 "0.1708, 0.2516, 0.4892, 0.9656, 1.756, 2.879, 4.357, 6.218, 8.488, 11.2",\
                 "0.1706, 0.2524, 0.4878, 0.9676, 1.756, 2.879, 4.356, 6.214, 8.494, 11.2",\
                 "0.1712, 0.252, 0.4894, 0.9656, 1.758, 2.875, 4.356, 6.218, 8.485, 11.21",\
                 "0.1742, 0.256, 0.4912, 0.9668, 1.758, 2.878, 4.357, 6.22, 8.486, 11.2",\
                 "0.1792, 0.2596, 0.4952, 0.9694, 1.758, 2.88, 4.358, 6.221, 8.496, 11.21",\
                 "0.1836, 0.2652, 0.499, 0.97, 1.758, 2.876, 4.352, 6.216, 8.494, 11.21",\
                 "0.188, 0.27, 0.504, 0.972, 1.758, 2.88, 4.35, 6.21, 8.482, 11.19");
        }
      }

      timing() {
        related_pin : "A2" ;
        timing_sense : negative_unate ;
        timing_type : combinational ;

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01653, 0.07103, 0.1751, 0.3373, 0.5648, 0.8641, 1.241, 1.702, 2.251");
          values("2.565, 2.639, 2.818, 3.054, 3.35, 3.722, 4.192, 4.776, 5.488, 6.335",\
                 "2.588, 2.662, 2.84, 3.076, 3.373, 3.745, 4.215, 4.799, 5.51, 6.358",\
                 "2.656, 2.731, 2.909, 3.145, 3.441, 3.814, 4.284, 4.868, 5.579, 6.426",\
                 "2.722, 2.796, 2.975, 3.212, 3.507, 3.88, 4.35, 4.934, 5.645, 6.493",\
                 "2.75, 2.825, 3.003, 3.239, 3.535, 3.908, 4.378, 4.962, 5.673, 6.52",\
                 "2.734, 2.808, 2.986, 3.223, 3.518, 3.891, 4.361, 4.945, 5.656, 6.504",\
                 "2.663, 2.737, 2.916, 3.152, 3.448, 3.821, 4.29, 4.875, 5.586, 6.433",\
                 "2.533, 2.608, 2.787, 3.023, 3.319, 3.692, 4.162, 4.746, 5.457, 6.304",\
                 "2.341, 2.414, 2.594, 2.83, 3.126, 3.499, 3.968, 4.553, 5.264, 6.111",\
                 "2.078, 2.153, 2.331, 2.568, 2.863, 3.236, 3.706, 4.291, 5.002, 5.849");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01653, 0.07103, 0.1751, 0.3373, 0.5648, 0.8641, 1.241, 1.702, 2.251");
          values("2.781, 2.845, 3.017, 3.32, 3.79, 4.449, 5.315, 6.406, 7.738, 9.325",\
                 "2.791, 2.856, 3.027, 3.33, 3.8, 4.459, 5.326, 6.416, 7.749, 9.336",\
                 "2.867, 2.931, 3.103, 3.405, 3.876, 4.535, 5.401, 6.492, 7.824, 9.411",\
                 "3.048, 3.112, 3.283, 3.586, 4.057, 4.716, 5.582, 6.673, 8.005, 9.593",\
                 "3.338, 3.402, 3.573, 3.876, 4.347, 5.006, 5.872, 6.963, 8.295, 9.882",\
                 "3.71, 3.774, 3.946, 4.249, 4.719, 5.378, 6.244, 7.335, 8.667, 10.25",\
                 "4.139, 4.203, 4.375, 4.678, 5.148, 5.807, 6.673, 7.763, 9.096, 10.68",\
                 "4.637, 4.702, 4.873, 5.176, 5.646, 6.305, 7.171, 8.262, 9.594, 11.18",\
                 "5.215, 5.279, 5.45, 5.752, 6.223, 6.882, 7.748, 8.839, 10.17, 11.76",\
                 "5.878, 5.942, 6.113, 6.417, 6.886, 7.545, 8.412, 9.502, 10.83, 12.42");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01653, 0.07103, 0.1751, 0.3373, 0.5648, 0.8641, 1.241, 1.702, 2.251");
          values("0.2162, 0.2806, 0.4428, 0.6858, 1.051, 1.58, 2.308, 3.25, 4.414, 5.809",\
                 "0.2162, 0.2804, 0.4436, 0.685, 1.05, 1.581, 2.307, 3.251, 4.414, 5.81",\
                 "0.2162, 0.2806, 0.4428, 0.6856, 1.051, 1.581, 2.308, 3.25, 4.414, 5.81",\
                 "0.2158, 0.2806, 0.4428, 0.686, 1.051, 1.58, 2.308, 3.25, 4.414, 5.809",\
                 "0.216, 0.2812, 0.4424, 0.6854, 1.051, 1.58, 2.308, 3.248, 4.412, 5.807",\
                 "0.2174, 0.282, 0.4436, 0.6858, 1.051, 1.58, 2.306, 3.249, 4.415, 5.81",\
                 "0.2182, 0.2828, 0.445, 0.6866, 1.051, 1.58, 2.306, 3.248, 4.412, 5.804",\
                 "0.2198, 0.2848, 0.4466, 0.6876, 1.052, 1.58, 2.307, 3.247, 4.409, 5.801",\
                 "0.222, 0.2864, 0.4474, 0.689, 1.053, 1.583, 2.308, 3.248, 4.409, 5.8",\
                 "0.2246, 0.2892, 0.4498, 0.6914, 1.053, 1.582, 2.309, 3.249, 4.412, 5.802");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01653, 0.07103, 0.1751, 0.3373, 0.5648, 0.8641, 1.241, 1.702, 2.251");
          values("0.1708, 0.252, 0.4874, 0.9674, 1.758, 2.877, 4.356, 6.22, 8.488, 11.2",\
                 "0.1708, 0.2524, 0.4886, 0.966, 1.758, 2.878, 4.356, 6.22, 8.485, 11.2",\
                 "0.1708, 0.2524, 0.4886, 0.9674, 1.757, 2.878, 4.356, 6.22, 8.491, 11.21",\
                 "0.1708, 0.2516, 0.4892, 0.9656, 1.756, 2.879, 4.357, 6.218, 8.488, 11.2",\
                 "0.1706, 0.2524, 0.4878, 0.9676, 1.756, 2.879, 4.356, 6.214, 8.494, 11.2",\
                 "0.1712, 0.252, 0.4894, 0.9656, 1.758, 2.875, 4.356, 6.218, 8.485, 11.21",\
                 "0.1742, 0.256, 0.4912, 0.9668, 1.758, 2.878, 4.357, 6.22, 8.486, 11.2",\
                 "0.1792, 0.2596, 0.4952, 0.9694, 1.758, 2.88, 4.358, 6.221, 8.496, 11.21",\
                 "0.1836, 0.2652, 0.499, 0.97, 1.758, 2.876, 4.352, 6.216, 8.494, 11.21",\
                 "0.188, 0.27, 0.504, 0.972, 1.758, 2.88, 4.35, 6.21, 8.482, 11.19");
        }
      }

      timing() {
        related_pin : "A2" ;
        sdf_cond : "A1===1'b0 && A3===1'b1" ;
        timing_sense : positive_unate ;
        timing_type : combinational ;
        when : "!A1&A3" ;

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01653, 0.07103, 0.1751, 0.3373, 0.5648, 0.8641, 1.241, 1.702, 2.251");
          values("2.139, 2.216, 2.398, 2.637, 2.934, 3.308, 3.779, 4.363, 5.074, 5.922",\
                 "2.149, 2.226, 2.408, 2.647, 2.945, 3.319, 3.789, 4.374, 5.085, 5.933",\
                 "2.224, 2.302, 2.483, 2.722, 3.02, 3.394, 3.864, 4.449, 5.16, 6.007",\
                 "2.406, 2.483, 2.664, 2.903, 3.201, 3.575, 4.045, 4.63, 5.341, 6.189",\
                 "2.696, 2.773, 2.954, 3.193, 3.491, 3.865, 4.335, 4.92, 5.631, 6.479",\
                 "3.067, 3.144, 3.326, 3.565, 3.862, 4.236, 4.706, 5.291, 6.002, 6.85",\
                 "3.495, 3.573, 3.754, 3.994, 4.291, 4.665, 5.135, 5.72, 6.432, 7.279",\
                 "3.992, 4.07, 4.252, 4.49, 4.788, 5.162, 5.633, 6.217, 6.929, 7.776",\
                 "4.569, 4.646, 4.827, 5.067, 5.364, 5.738, 6.209, 6.793, 7.505, 8.352",\
                 "5.232, 5.309, 5.491, 5.73, 6.027, 6.402, 6.872, 7.457, 8.168, 9.015");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01653, 0.07103, 0.1751, 0.3373, 0.5648, 0.8641, 1.241, 1.702, 2.251");
          values("2.092, 2.168, 2.363, 2.675, 3.146, 3.805, 4.671, 5.762, 7.093, 8.679",\
                 "2.115, 2.191, 2.386, 2.698, 3.169, 3.828, 4.695, 5.785, 7.116, 8.702",\
                 "2.184, 2.26, 2.455, 2.767, 3.238, 3.897, 4.763, 5.854, 7.185, 8.771",\
                 "2.25, 2.326, 2.521, 2.833, 3.305, 3.964, 4.83, 5.92, 7.251, 8.838",\
                 "2.278, 2.354, 2.549, 2.861, 3.332, 3.991, 4.857, 5.948, 7.279, 8.865",\
                 "2.26, 2.336, 2.531, 2.843, 3.315, 3.974, 4.84, 5.931, 7.262, 8.849",\
                 "2.19, 2.266, 2.461, 2.773, 3.244, 3.903, 4.769, 5.86, 7.191, 8.777",\
                 "2.061, 2.137, 2.332, 2.644, 3.116, 3.775, 4.641, 5.731, 7.063, 8.65",\
                 "1.868, 1.945, 2.139, 2.451, 2.922, 3.581, 4.447, 5.538, 6.868, 8.454",\
                 "1.606, 1.683, 1.877, 2.19, 2.661, 3.32, 4.187, 5.277, 6.608, 8.194");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01653, 0.07103, 0.1751, 0.3373, 0.5648, 0.8641, 1.241, 1.702, 2.251");
          values("0.2142, 0.2788, 0.4406, 0.6844, 1.049, 1.578, 2.307, 3.248, 4.412, 5.805",\
                 "0.2144, 0.279, 0.4416, 0.6838, 1.049, 1.58, 2.307, 3.248, 4.414, 5.81",\
                 "0.2144, 0.2792, 0.442, 0.6842, 1.049, 1.579, 2.307, 3.25, 4.414, 5.804",\
                 "0.2144, 0.2788, 0.4416, 0.6846, 1.05, 1.579, 2.307, 3.249, 4.412, 5.806",\
                 "0.214, 0.2792, 0.441, 0.6846, 1.049, 1.579, 2.307, 3.25, 4.414, 5.81",\
                 "0.2144, 0.279, 0.4416, 0.6836, 1.05, 1.579, 2.307, 3.248, 4.411, 5.811",\
                 "0.2144, 0.2792, 0.4416, 0.6842, 1.049, 1.578, 2.307, 3.249, 4.41, 5.801",\
                 "0.2144, 0.2796, 0.4408, 0.6842, 1.05, 1.578, 2.305, 3.246, 4.411, 5.804",\
                 "0.2144, 0.2794, 0.4414, 0.6834, 1.048, 1.58, 2.306, 3.246, 4.412, 5.804",\
                 "0.214, 0.278, 0.442, 0.684, 1.048, 1.58, 2.306, 3.248, 4.41, 5.798");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01653, 0.07103, 0.1751, 0.3373, 0.5648, 0.8641, 1.241, 1.702, 2.251");
          values("0.1698, 0.2508, 0.488, 0.9658, 1.757, 2.878, 4.356, 6.22, 8.488, 11.2",\
                 "0.1696, 0.2506, 0.4878, 0.9668, 1.757, 2.879, 4.356, 6.22, 8.489, 11.2",\
                 "0.1698, 0.2508, 0.487, 0.967, 1.757, 2.879, 4.354, 6.217, 8.489, 11.2",\
                 "0.1706, 0.2512, 0.4874, 0.9658, 1.756, 2.877, 4.357, 6.212, 8.492, 11.21",\
                 "0.1698, 0.2508, 0.4884, 0.9668, 1.756, 2.879, 4.356, 6.22, 8.488, 11.2",\
                 "0.1698, 0.2508, 0.4868, 0.9654, 1.756, 2.878, 4.356, 6.22, 8.494, 11.21",\
                 "0.1698, 0.2508, 0.4886, 0.967, 1.755, 2.879, 4.354, 6.22, 8.489, 11.21",\
                 "0.1698, 0.2508, 0.4872, 0.966, 1.757, 2.876, 4.349, 6.219, 8.485, 11.21",\
                 "0.1702, 0.2514, 0.487, 0.9674, 1.756, 2.877, 4.351, 6.211, 8.484, 11.2",\
                 "0.1708, 0.2508, 0.4888, 0.967, 1.756, 2.874, 4.353, 6.212, 8.48, 11.19");
        }
      }

      timing() {
        related_pin : "A2" ;
        sdf_cond : "A1===1'b1 && A3===1'b0" ;
        timing_sense : positive_unate ;
        timing_type : combinational ;
        when : "A1&!A3" ;

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01653, 0.07103, 0.1751, 0.3373, 0.5648, 0.8641, 1.241, 1.702, 2.251");
          values("2.362, 2.436, 2.614, 2.851, 3.146, 3.519, 3.989, 4.573, 5.285, 6.132",\
                 "2.382, 2.457, 2.635, 2.871, 3.167, 3.54, 4.01, 4.594, 5.305, 6.152",\
                 "2.465, 2.54, 2.718, 2.955, 3.25, 3.623, 4.093, 4.677, 5.388, 6.236",\
                 "2.637, 2.712, 2.89, 3.127, 3.422, 3.795, 4.265, 4.849, 5.56, 6.408",\
                 "2.921, 2.995, 3.173, 3.41, 3.706, 4.078, 4.548, 5.132, 5.844, 6.691",\
                 "3.316, 3.391, 3.569, 3.805, 4.101, 4.474, 4.943, 5.528, 6.239, 7.086",\
                 "3.782, 3.857, 4.035, 4.271, 4.567, 4.939, 5.409, 5.994, 6.705, 7.552",\
                 "4.298, 4.372, 4.55, 4.787, 5.083, 5.455, 5.925, 6.51, 7.221, 8.068",\
                 "4.874, 4.949, 5.126, 5.363, 5.658, 6.031, 6.501, 7.085, 7.796, 8.643",\
                 "5.522, 5.596, 5.774, 6.011, 6.307, 6.679, 7.149, 7.733, 8.445, 9.291");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01653, 0.07103, 0.1751, 0.3373, 0.5648, 0.8641, 1.241, 1.702, 2.251");
          values("2.071, 2.135, 2.306, 2.609, 3.079, 3.739, 4.605, 5.696, 7.028, 8.616",\
                 "2.089, 2.154, 2.325, 2.627, 3.098, 3.757, 4.623, 5.714, 7.044, 8.633",\
                 "2.135, 2.2, 2.371, 2.674, 3.144, 3.803, 4.669, 5.76, 7.092, 8.68",\
                 "2.22, 2.284, 2.455, 2.758, 3.228, 3.888, 4.754, 5.845, 7.177, 8.764",\
                 "2.328, 2.392, 2.563, 2.866, 3.337, 3.996, 4.862, 5.953, 7.285, 8.872",\
                 "2.421, 2.485, 2.656, 2.96, 3.43, 4.089, 4.955, 6.046, 7.378, 8.963",\
                 "2.482, 2.546, 2.717, 3.02, 3.49, 4.149, 5.015, 6.106, 7.438, 9.025",\
                 "2.502, 2.566, 2.737, 3.04, 3.51, 4.17, 5.036, 6.126, 7.459, 9.044",\
                 "2.475, 2.54, 2.711, 3.014, 3.484, 4.143, 5.009, 6.099, 7.43, 9.017",\
                 "2.397, 2.462, 2.633, 2.936, 3.406, 4.065, 4.931, 6.022, 7.352, 8.938");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01653, 0.07103, 0.1751, 0.3373, 0.5648, 0.8641, 1.241, 1.702, 2.251");
          values("0.2022, 0.268, 0.4318, 0.6762, 1.043, 1.575, 2.305, 3.247, 4.413, 5.809",\
                 "0.2022, 0.2676, 0.4308, 0.6762, 1.042, 1.573, 2.305, 3.247, 4.41, 5.802",\
                 "0.2024, 0.268, 0.4318, 0.676, 1.042, 1.573, 2.305, 3.247, 4.413, 5.809",\
                 "0.2028, 0.2676, 0.4322, 0.6764, 1.043, 1.574, 2.304, 3.248, 4.408, 5.805",\
                 "0.202, 0.268, 0.4312, 0.6764, 1.043, 1.574, 2.303, 3.248, 4.413, 5.807",\
                 "0.202, 0.2672, 0.4316, 0.6762, 1.043, 1.575, 2.304, 3.247, 4.409, 5.809",\
                 "0.2022, 0.2676, 0.431, 0.676, 1.043, 1.573, 2.304, 3.246, 4.411, 5.802",\
                 "0.2022, 0.2676, 0.431, 0.6756, 1.042, 1.573, 2.303, 3.246, 4.41, 5.804",\
                 "0.2018, 0.2688, 0.432, 0.676, 1.042, 1.572, 2.304, 3.244, 4.412, 5.804",\
                 "0.202, 0.268, 0.432, 0.676, 1.044, 1.574, 2.302, 3.246, 4.408, 5.798");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01653, 0.07103, 0.1751, 0.3373, 0.5648, 0.8641, 1.241, 1.702, 2.251");
          values("0.1414, 0.2082, 0.4442, 0.9468, 1.746, 2.869, 4.348, 6.213, 8.492, 11.2",\
                 "0.1412, 0.2086, 0.4434, 0.9462, 1.745, 2.868, 4.344, 6.207, 8.483, 11.21",\
                 "0.1418, 0.2084, 0.4436, 0.9454, 1.746, 2.869, 4.348, 6.213, 8.492, 11.2",\
                 "0.142, 0.2084, 0.4436, 0.947, 1.746, 2.869, 4.348, 6.214, 8.492, 11.19",\
                 "0.1426, 0.2086, 0.4434, 0.9468, 1.746, 2.869, 4.348, 6.214, 8.492, 11.2",\
                 "0.1414, 0.2082, 0.4438, 0.9466, 1.746, 2.869, 4.346, 6.207, 8.485, 11.2",\
                 "0.1412, 0.208, 0.4442, 0.947, 1.743, 2.869, 4.349, 6.213, 8.491, 11.19",\
                 "0.1414, 0.2082, 0.4444, 0.947, 1.744, 2.864, 4.342, 6.209, 8.489, 11.2",\
                 "0.1416, 0.209, 0.444, 0.9472, 1.746, 2.866, 4.341, 6.199, 8.486, 11.19",\
                 "0.1428, 0.2084, 0.4434, 0.9456, 1.744, 2.868, 4.34, 6.204, 8.472, 11.19");
        }
      }

      timing() {
        related_pin : "A2" ;
        timing_sense : positive_unate ;
        timing_type : combinational ;

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01653, 0.07103, 0.1751, 0.3373, 0.5648, 0.8641, 1.241, 1.702, 2.251");
          values("2.362, 2.436, 2.614, 2.851, 3.146, 3.519, 3.989, 4.573, 5.285, 6.132",\
                 "2.382, 2.457, 2.635, 2.871, 3.167, 3.54, 4.01, 4.594, 5.305, 6.152",\
                 "2.465, 2.54, 2.718, 2.955, 3.25, 3.623, 4.093, 4.677, 5.388, 6.236",\
                 "2.637, 2.712, 2.89, 3.127, 3.422, 3.795, 4.265, 4.849, 5.56, 6.408",\
                 "2.921, 2.995, 3.173, 3.41, 3.706, 4.078, 4.548, 5.132, 5.844, 6.691",\
                 "3.316, 3.391, 3.569, 3.805, 4.101, 4.474, 4.943, 5.528, 6.239, 7.086",\
                 "3.782, 3.857, 4.035, 4.271, 4.567, 4.939, 5.409, 5.994, 6.705, 7.552",\
                 "4.298, 4.372, 4.55, 4.787, 5.083, 5.455, 5.925, 6.51, 7.221, 8.068",\
                 "4.874, 4.949, 5.126, 5.363, 5.658, 6.031, 6.501, 7.085, 7.796, 8.643",\
                 "5.522, 5.596, 5.774, 6.011, 6.307, 6.679, 7.149, 7.733, 8.445, 9.291");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01653, 0.07103, 0.1751, 0.3373, 0.5648, 0.8641, 1.241, 1.702, 2.251");
          values("2.071, 2.135, 2.306, 2.609, 3.079, 3.739, 4.605, 5.696, 7.028, 8.616",\
                 "2.089, 2.154, 2.325, 2.627, 3.098, 3.757, 4.623, 5.714, 7.044, 8.633",\
                 "2.135, 2.2, 2.371, 2.674, 3.144, 3.803, 4.669, 5.76, 7.092, 8.68",\
                 "2.22, 2.284, 2.455, 2.758, 3.228, 3.888, 4.754, 5.845, 7.177, 8.764",\
                 "2.328, 2.392, 2.563, 2.866, 3.337, 3.996, 4.862, 5.953, 7.285, 8.872",\
                 "2.421, 2.485, 2.656, 2.96, 3.43, 4.089, 4.955, 6.046, 7.378, 8.963",\
                 "2.482, 2.546, 2.717, 3.02, 3.49, 4.149, 5.015, 6.106, 7.438, 9.025",\
                 "2.502, 2.566, 2.737, 3.04, 3.51, 4.17, 5.036, 6.126, 7.459, 9.044",\
                 "2.475, 2.54, 2.711, 3.014, 3.484, 4.143, 5.009, 6.099, 7.43, 9.017",\
                 "2.397, 2.462, 2.633, 2.936, 3.406, 4.065, 4.931, 6.022, 7.352, 8.938");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01653, 0.07103, 0.1751, 0.3373, 0.5648, 0.8641, 1.241, 1.702, 2.251");
          values("0.2142, 0.2788, 0.4406, 0.6844, 1.049, 1.578, 2.307, 3.248, 4.412, 5.805",\
                 "0.2144, 0.279, 0.4416, 0.6838, 1.049, 1.58, 2.307, 3.248, 4.414, 5.81",\
                 "0.2144, 0.2792, 0.442, 0.6842, 1.049, 1.579, 2.307, 3.25, 4.414, 5.804",\
                 "0.2144, 0.2788, 0.4416, 0.6846, 1.05, 1.579, 2.307, 3.249, 4.412, 5.806",\
                 "0.214, 0.2792, 0.441, 0.6846, 1.049, 1.579, 2.307, 3.25, 4.414, 5.81",\
                 "0.2144, 0.279, 0.4416, 0.6836, 1.05, 1.579, 2.307, 3.248, 4.411, 5.811",\
                 "0.2144, 0.2792, 0.4416, 0.6842, 1.049, 1.578, 2.307, 3.249, 4.41, 5.801",\
                 "0.2144, 0.2796, 0.4408, 0.6842, 1.05, 1.578, 2.305, 3.246, 4.411, 5.804",\
                 "0.2144, 0.2794, 0.4414, 0.6834, 1.048, 1.58, 2.306, 3.246, 4.412, 5.804",\
                 "0.214, 0.278, 0.442, 0.684, 1.048, 1.58, 2.306, 3.248, 4.41, 5.798");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01653, 0.07103, 0.1751, 0.3373, 0.5648, 0.8641, 1.241, 1.702, 2.251");
          values("0.1698, 0.2508, 0.488, 0.9658, 1.757, 2.878, 4.356, 6.22, 8.488, 11.2",\
                 "0.1696, 0.2506, 0.4878, 0.9668, 1.757, 2.879, 4.356, 6.22, 8.489, 11.2",\
                 "0.1698, 0.2508, 0.487, 0.967, 1.757, 2.879, 4.354, 6.217, 8.489, 11.2",\
                 "0.1706, 0.2512, 0.4874, 0.9658, 1.756, 2.877, 4.357, 6.212, 8.492, 11.21",\
                 "0.1698, 0.2508, 0.4884, 0.9668, 1.756, 2.879, 4.356, 6.22, 8.488, 11.2",\
                 "0.1698, 0.2508, 0.4868, 0.9654, 1.756, 2.878, 4.356, 6.22, 8.494, 11.21",\
                 "0.1698, 0.2508, 0.4886, 0.967, 1.755, 2.879, 4.354, 6.22, 8.489, 11.21",\
                 "0.1698, 0.2508, 0.4872, 0.966, 1.757, 2.876, 4.349, 6.219, 8.485, 11.21",\
                 "0.1702, 0.2514, 0.487, 0.9674, 1.756, 2.877, 4.351, 6.211, 8.484, 11.2",\
                 "0.1708, 0.2508, 0.4888, 0.967, 1.756, 2.874, 4.353, 6.212, 8.48, 11.19");
        }
      }

      timing() {
        related_pin : "A3" ;
        sdf_cond : "A1===1'b0 && A2===1'b0" ;
        timing_sense : negative_unate ;
        timing_type : combinational ;
        when : "!A1&!A2" ;

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01653, 0.07103, 0.1751, 0.3373, 0.5648, 0.8641, 1.241, 1.702, 2.251");
          values("1.148, 1.226, 1.407, 1.646, 1.944, 2.318, 2.788, 3.373, 4.084, 4.932",\
                 "1.169, 1.247, 1.428, 1.667, 1.965, 2.339, 2.809, 3.394, 4.105, 4.952",\
                 "1.239, 1.316, 1.498, 1.737, 2.035, 2.408, 2.879, 3.463, 4.175, 5.022",\
                 "1.341, 1.418, 1.6, 1.839, 2.136, 2.51, 2.981, 3.565, 4.277, 5.124",\
                 "1.424, 1.5, 1.682, 1.921, 2.218, 2.592, 3.062, 3.647, 4.359, 5.206",\
                 "1.475, 1.55, 1.729, 1.968, 2.265, 2.639, 3.109, 3.694, 4.406, 5.253",\
                 "1.481, 1.556, 1.735, 1.974, 2.27, 2.644, 3.115, 3.699, 4.411, 5.258",\
                 "1.444, 1.519, 1.699, 1.937, 2.234, 2.608, 3.078, 3.662, 4.374, 5.221",\
                 "1.36, 1.435, 1.615, 1.853, 2.151, 2.524, 2.995, 3.579, 4.29, 5.137",\
                 "1.226, 1.302, 1.482, 1.72, 2.018, 2.391, 2.862, 3.447, 4.158, 5.005");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01653, 0.07103, 0.1751, 0.3373, 0.5648, 0.8641, 1.241, 1.702, 2.251");
          values("1.487, 1.552, 1.722, 2.026, 2.496, 3.155, 4.021, 5.111, 6.444, 8.03",\
                 "1.507, 1.572, 1.743, 2.046, 2.516, 3.175, 4.041, 5.133, 6.464, 8.052",\
                 "1.572, 1.637, 1.808, 2.111, 2.581, 3.24, 4.106, 5.198, 6.53, 8.117",\
                 "1.698, 1.763, 1.934, 2.237, 2.708, 3.366, 4.233, 5.323, 6.655, 8.243",\
                 "1.908, 1.972, 2.144, 2.446, 2.917, 3.576, 4.442, 5.533, 6.865, 8.449",\
                 "2.194, 2.26, 2.431, 2.734, 3.205, 3.864, 4.729, 5.821, 7.152, 8.74",\
                 "2.545, 2.611, 2.784, 3.086, 3.556, 4.215, 5.082, 6.172, 7.504, 9.091",\
                 "2.963, 3.03, 3.203, 3.506, 3.975, 4.633, 5.499, 6.591, 7.921, 9.508",\
                 "3.45, 3.518, 3.692, 3.994, 4.464, 5.123, 5.988, 7.079, 8.41, 9.997",\
                 "4.008, 4.076, 4.252, 4.555, 5.024, 5.682, 6.548, 7.638, 8.968, 10.55");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01653, 0.07103, 0.1751, 0.3373, 0.5648, 0.8641, 1.241, 1.702, 2.251");
          values("0.214, 0.2788, 0.4404, 0.684, 1.048, 1.58, 2.307, 3.248, 4.412, 5.806",\
                 "0.2138, 0.2786, 0.4404, 0.684, 1.049, 1.58, 2.306, 3.249, 4.415, 5.804",\
                 "0.2136, 0.2784, 0.4404, 0.6842, 1.05, 1.578, 2.307, 3.25, 4.414, 5.806",\
                 "0.2138, 0.2786, 0.4414, 0.684, 1.049, 1.579, 2.307, 3.249, 4.412, 5.806",\
                 "0.2116, 0.2764, 0.4394, 0.6832, 1.049, 1.578, 2.307, 3.249, 4.411, 5.804",\
                 "0.205, 0.2712, 0.4352, 0.6812, 1.047, 1.579, 2.306, 3.25, 4.414, 5.81",\
                 "0.205, 0.271, 0.436, 0.6804, 1.046, 1.577, 2.305, 3.248, 4.413, 5.803",\
                 "0.2054, 0.2712, 0.4356, 0.6806, 1.048, 1.577, 2.305, 3.246, 4.409, 5.801",\
                 "0.2062, 0.2718, 0.4376, 0.6816, 1.047, 1.578, 2.305, 3.249, 4.408, 5.799",\
                 "0.2076, 0.273, 0.4384, 0.6822, 1.047, 1.579, 2.305, 3.25, 4.408, 5.8");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01653, 0.07103, 0.1751, 0.3373, 0.5648, 0.8641, 1.241, 1.702, 2.251");
          values("0.1414, 0.2082, 0.4436, 0.9472, 1.745, 2.866, 4.348, 6.21, 8.49, 11.2",\
                 "0.1416, 0.2084, 0.4438, 0.947, 1.747, 2.869, 4.347, 6.213, 8.492, 11.2",\
                 "0.1414, 0.2084, 0.4442, 0.9468, 1.747, 2.869, 4.348, 6.213, 8.487, 11.2",\
                 "0.142, 0.2084, 0.4436, 0.9456, 1.746, 2.867, 4.348, 6.207, 8.492, 11.2",\
                 "0.1422, 0.2092, 0.4438, 0.9456, 1.744, 2.869, 4.348, 6.21, 8.49, 11.2",\
                 "0.1448, 0.211, 0.4444, 0.9476, 1.747, 2.869, 4.347, 6.213, 8.49, 11.21",\
                 "0.1476, 0.2144, 0.4458, 0.9456, 1.743, 2.869, 4.347, 6.212, 8.491, 11.19",\
                 "0.1504, 0.2178, 0.448, 0.9476, 1.744, 2.864, 4.347, 6.205, 8.485, 11.2",\
                 "0.154, 0.2208, 0.4494, 0.9484, 1.747, 2.866, 4.342, 6.208, 8.484, 11.2",\
                 "0.158, 0.226, 0.452, 0.948, 1.748, 2.866, 4.346, 6.198, 8.474, 11.18");
        }
      }

      timing() {
        related_pin : "A3" ;
        sdf_cond : "A1===1'b1 && A2===1'b1" ;
        timing_sense : negative_unate ;
        timing_type : combinational ;
        when : "A1&A2" ;

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01653, 0.07103, 0.1751, 0.3373, 0.5648, 0.8641, 1.241, 1.702, 2.251");
          values("1.155, 1.233, 1.415, 1.654, 1.952, 2.326, 2.797, 3.381, 4.093, 4.94",\
                 "1.176, 1.254, 1.436, 1.675, 1.973, 2.347, 2.818, 3.402, 4.114, 4.961",\
                 "1.246, 1.324, 1.505, 1.745, 2.043, 2.417, 2.887, 3.472, 4.183, 5.031",\
                 "1.349, 1.426, 1.608, 1.847, 2.145, 2.519, 2.99, 3.575, 4.286, 5.133",\
                 "1.431, 1.509, 1.69, 1.929, 2.227, 2.601, 3.072, 3.656, 4.368, 5.215",\
                 "1.483, 1.557, 1.737, 1.976, 2.273, 2.647, 3.118, 3.703, 4.415, 5.262",\
                 "1.488, 1.563, 1.743, 1.981, 2.279, 2.652, 3.123, 3.708, 4.42, 5.266",\
                 "1.45, 1.525, 1.706, 1.944, 2.241, 2.615, 3.085, 3.67, 4.382, 5.229",\
                 "1.365, 1.441, 1.621, 1.86, 2.157, 2.531, 3.002, 3.586, 4.298, 5.145",\
                 "1.231, 1.307, 1.488, 1.726, 2.024, 2.398, 2.868, 3.453, 4.164, 5.012");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01653, 0.07103, 0.1751, 0.3373, 0.5648, 0.8641, 1.241, 1.702, 2.251");
          values("1.488, 1.552, 1.723, 2.027, 2.497, 3.156, 4.022, 5.113, 6.443, 8.031",\
                 "1.508, 1.573, 1.744, 2.047, 2.517, 3.176, 4.042, 5.133, 6.464, 8.053",\
                 "1.574, 1.638, 1.809, 2.112, 2.582, 3.242, 4.108, 5.199, 6.53, 8.118",\
                 "1.699, 1.764, 1.935, 2.238, 2.708, 3.367, 4.233, 5.324, 6.655, 8.242",\
                 "1.907, 1.973, 2.144, 2.447, 2.917, 3.576, 4.442, 5.533, 6.865, 8.453",\
                 "2.195, 2.259, 2.431, 2.734, 3.204, 3.863, 4.73, 5.82, 7.152, 8.74",\
                 "2.545, 2.612, 2.785, 3.087, 3.556, 4.215, 5.081, 6.172, 7.502, 9.092",\
                 "2.963, 3.03, 3.203, 3.506, 3.976, 4.634, 5.5, 6.591, 7.922, 9.508",\
                 "3.45, 3.518, 3.692, 3.995, 4.464, 5.122, 5.988, 7.079, 8.41, 9.997",\
                 "4.008, 4.078, 4.252, 4.554, 5.023, 5.682, 6.548, 7.638, 8.969, 10.55");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01653, 0.07103, 0.1751, 0.3373, 0.5648, 0.8641, 1.241, 1.702, 2.251");
          values("0.2152, 0.2796, 0.4416, 0.685, 1.05, 1.579, 2.308, 3.25, 4.412, 5.806",\
                 "0.215, 0.2796, 0.4416, 0.685, 1.05, 1.58, 2.306, 3.249, 4.415, 5.804",\
                 "0.2146, 0.2794, 0.4428, 0.6854, 1.051, 1.581, 2.308, 3.248, 4.414, 5.81",\
                 "0.2148, 0.2798, 0.4426, 0.685, 1.051, 1.579, 2.308, 3.25, 4.415, 5.804",\
                 "0.213, 0.2774, 0.4408, 0.6844, 1.05, 1.58, 2.306, 3.25, 4.414, 5.811",\
                 "0.2058, 0.2726, 0.4366, 0.6824, 1.048, 1.579, 2.307, 3.249, 4.414, 5.809",\
                 "0.2058, 0.2718, 0.4362, 0.6822, 1.047, 1.578, 2.305, 3.248, 4.413, 5.806",\
                 "0.206, 0.272, 0.4364, 0.6822, 1.049, 1.579, 2.306, 3.246, 4.409, 5.8",\
                 "0.2072, 0.2728, 0.438, 0.682, 1.048, 1.579, 2.305, 3.249, 4.411, 5.799",\
                 "0.2082, 0.2738, 0.439, 0.6834, 1.05, 1.578, 2.306, 3.251, 4.41, 5.802");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01653, 0.07103, 0.1751, 0.3373, 0.5648, 0.8641, 1.241, 1.702, 2.251");
          values("0.1414, 0.2078, 0.4438, 0.9472, 1.746, 2.868, 4.345, 6.206, 8.485, 11.21",\
                 "0.141, 0.2082, 0.4436, 0.9456, 1.745, 2.868, 4.345, 6.21, 8.489, 11.2",\
                 "0.1416, 0.208, 0.4434, 0.9472, 1.746, 2.869, 4.348, 6.213, 8.492, 11.19",\
                 "0.1416, 0.208, 0.4432, 0.9462, 1.746, 2.869, 4.343, 6.204, 8.477, 11.2",\
                 "0.1428, 0.2082, 0.4436, 0.9462, 1.745, 2.869, 4.347, 6.209, 8.488, 11.19",\
                 "0.144, 0.211, 0.444, 0.9474, 1.747, 2.869, 4.348, 6.207, 8.493, 11.2",\
                 "0.1478, 0.214, 0.446, 0.9458, 1.744, 2.869, 4.345, 6.21, 8.477, 11.21",\
                 "0.1504, 0.218, 0.4476, 0.9468, 1.744, 2.864, 4.348, 6.211, 8.487, 11.2",\
                 "0.1536, 0.221, 0.4496, 0.947, 1.744, 2.867, 4.34, 6.204, 8.486, 11.2",\
                 "0.158, 0.226, 0.452, 0.948, 1.746, 2.866, 4.34, 6.2, 8.472, 11.18");
        }
      }

      timing() {
        related_pin : "A3" ;
        timing_sense : negative_unate ;
        timing_type : combinational ;

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01653, 0.07103, 0.1751, 0.3373, 0.5648, 0.8641, 1.241, 1.702, 2.251");
          values("1.155, 1.233, 1.415, 1.654, 1.952, 2.326, 2.797, 3.381, 4.093, 4.94",\
                 "1.176, 1.254, 1.436, 1.675, 1.973, 2.347, 2.818, 3.402, 4.114, 4.961",\
                 "1.246, 1.324, 1.505, 1.745, 2.043, 2.417, 2.887, 3.472, 4.183, 5.031",\
                 "1.349, 1.426, 1.608, 1.847, 2.145, 2.519, 2.99, 3.575, 4.286, 5.133",\
                 "1.431, 1.509, 1.69, 1.929, 2.227, 2.601, 3.072, 3.656, 4.368, 5.215",\
                 "1.483, 1.557, 1.737, 1.976, 2.273, 2.647, 3.118, 3.703, 4.415, 5.262",\
                 "1.488, 1.563, 1.743, 1.981, 2.279, 2.652, 3.123, 3.708, 4.42, 5.266",\
                 "1.45, 1.525, 1.706, 1.944, 2.241, 2.615, 3.085, 3.67, 4.382, 5.229",\
                 "1.365, 1.441, 1.621, 1.86, 2.157, 2.531, 3.002, 3.586, 4.298, 5.145",\
                 "1.231, 1.307, 1.488, 1.726, 2.024, 2.398, 2.868, 3.453, 4.164, 5.012");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01653, 0.07103, 0.1751, 0.3373, 0.5648, 0.8641, 1.241, 1.702, 2.251");
          values("1.488, 1.552, 1.723, 2.027, 2.497, 3.156, 4.022, 5.113, 6.443, 8.031",\
                 "1.508, 1.573, 1.744, 2.047, 2.517, 3.176, 4.042, 5.133, 6.464, 8.053",\
                 "1.574, 1.638, 1.809, 2.112, 2.582, 3.242, 4.108, 5.199, 6.53, 8.118",\
                 "1.699, 1.764, 1.935, 2.238, 2.708, 3.367, 4.233, 5.324, 6.655, 8.242",\
                 "1.907, 1.973, 2.144, 2.447, 2.917, 3.576, 4.442, 5.533, 6.865, 8.453",\
                 "2.195, 2.259, 2.431, 2.734, 3.204, 3.863, 4.73, 5.82, 7.152, 8.74",\
                 "2.545, 2.612, 2.785, 3.087, 3.556, 4.215, 5.081, 6.172, 7.502, 9.092",\
                 "2.963, 3.03, 3.203, 3.506, 3.976, 4.634, 5.5, 6.591, 7.922, 9.508",\
                 "3.45, 3.518, 3.692, 3.995, 4.464, 5.122, 5.988, 7.079, 8.41, 9.997",\
                 "4.008, 4.078, 4.252, 4.554, 5.023, 5.682, 6.548, 7.638, 8.969, 10.55");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01653, 0.07103, 0.1751, 0.3373, 0.5648, 0.8641, 1.241, 1.702, 2.251");
          values("0.2152, 0.2796, 0.4416, 0.685, 1.05, 1.579, 2.308, 3.25, 4.412, 5.806",\
                 "0.215, 0.2796, 0.4416, 0.685, 1.05, 1.58, 2.306, 3.249, 4.415, 5.804",\
                 "0.2146, 0.2794, 0.4428, 0.6854, 1.051, 1.581, 2.308, 3.248, 4.414, 5.81",\
                 "0.2148, 0.2798, 0.4426, 0.685, 1.051, 1.579, 2.308, 3.25, 4.415, 5.804",\
                 "0.213, 0.2774, 0.4408, 0.6844, 1.05, 1.58, 2.306, 3.25, 4.414, 5.811",\
                 "0.2058, 0.2726, 0.4366, 0.6824, 1.048, 1.579, 2.307, 3.249, 4.414, 5.809",\
                 "0.2058, 0.2718, 0.4362, 0.6822, 1.047, 1.578, 2.305, 3.248, 4.413, 5.806",\
                 "0.206, 0.272, 0.4364, 0.6822, 1.049, 1.579, 2.306, 3.246, 4.409, 5.8",\
                 "0.2072, 0.2728, 0.438, 0.682, 1.048, 1.579, 2.305, 3.249, 4.411, 5.799",\
                 "0.2082, 0.2738, 0.439, 0.6834, 1.05, 1.578, 2.306, 3.251, 4.41, 5.802");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01653, 0.07103, 0.1751, 0.3373, 0.5648, 0.8641, 1.241, 1.702, 2.251");
          values("0.1414, 0.2078, 0.4438, 0.9472, 1.746, 2.868, 4.345, 6.206, 8.485, 11.21",\
                 "0.141, 0.2082, 0.4436, 0.9456, 1.745, 2.868, 4.345, 6.21, 8.489, 11.2",\
                 "0.1416, 0.208, 0.4434, 0.9472, 1.746, 2.869, 4.348, 6.213, 8.492, 11.19",\
                 "0.1416, 0.208, 0.4432, 0.9462, 1.746, 2.869, 4.343, 6.204, 8.477, 11.2",\
                 "0.1428, 0.2082, 0.4436, 0.9462, 1.745, 2.869, 4.347, 6.209, 8.488, 11.19",\
                 "0.144, 0.211, 0.444, 0.9474, 1.747, 2.869, 4.348, 6.207, 8.493, 11.2",\
                 "0.1478, 0.214, 0.446, 0.9458, 1.744, 2.869, 4.345, 6.21, 8.477, 11.21",\
                 "0.1504, 0.218, 0.4476, 0.9468, 1.744, 2.864, 4.348, 6.211, 8.487, 11.2",\
                 "0.1536, 0.221, 0.4496, 0.947, 1.744, 2.867, 4.34, 6.204, 8.486, 11.2",\
                 "0.158, 0.226, 0.452, 0.948, 1.746, 2.866, 4.34, 6.2, 8.472, 11.18");
        }
      }

      timing() {
        related_pin : "A3" ;
        sdf_cond : "A1===1'b0 && A2===1'b1" ;
        timing_sense : positive_unate ;
        timing_type : combinational ;
        when : "!A1&A2" ;

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01653, 0.07103, 0.1751, 0.3373, 0.5648, 0.8641, 1.241, 1.702, 2.251");
          values("0.738, 0.8125, 0.991, 1.227, 1.523, 1.896, 2.366, 2.951, 3.662, 4.509",\
                 "0.7578, 0.8323, 1.011, 1.248, 1.543, 1.916, 2.386, 2.971, 3.682, 4.529",\
                 "0.8347, 0.9093, 1.088, 1.324, 1.621, 1.993, 2.463, 3.048, 3.759, 4.606",\
                 "1.004, 1.078, 1.256, 1.493, 1.788, 2.161, 2.631, 3.216, 3.927, 4.774",\
                 "1.272, 1.347, 1.527, 1.764, 2.06, 2.433, 2.903, 3.487, 4.198, 5.046",\
                 "1.578, 1.66, 1.852, 2.098, 2.399, 2.774, 3.244, 3.828, 4.539, 5.386",\
                 "1.911, 2, 2.206, 2.463, 2.772, 3.151, 3.623, 4.207, 4.918, 5.765",\
                 "2.279, 2.374, 2.592, 2.863, 3.18, 3.562, 4.036, 4.621, 5.333, 6.18",\
                 "2.692, 2.79, 3.02, 3.306, 3.63, 4.017, 4.492, 5.077, 5.789, 6.636",\
                 "3.156, 3.258, 3.496, 3.796, 4.13, 4.521, 4.997, 5.582, 6.294, 7.141");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01653, 0.07103, 0.1751, 0.3373, 0.5648, 0.8641, 1.241, 1.702, 2.251");
          values("0.4535, 0.5234, 0.7095, 1.02, 1.492, 2.151, 3.018, 4.108, 5.439, 7.028",\
                 "0.4746, 0.5446, 0.7309, 1.041, 1.513, 2.173, 3.039, 4.13, 5.462, 7.049",\
                 "0.5481, 0.6179, 0.804, 1.114, 1.586, 2.246, 3.112, 4.203, 5.535, 7.122",\
                 "0.6794, 0.7502, 0.9364, 1.246, 1.717, 2.377, 3.243, 4.334, 5.666, 7.254",\
                 "0.805, 0.8805, 1.072, 1.383, 1.854, 2.512, 3.379, 4.469, 5.801, 7.389",\
                 "0.9021, 0.9831, 1.183, 1.495, 1.965, 2.624, 3.49, 4.581, 5.913, 7.501",\
                 "0.9697, 1.056, 1.267, 1.581, 2.05, 2.708, 3.574, 4.664, 5.997, 7.582",\
                 "1.007, 1.099, 1.321, 1.639, 2.107, 2.763, 3.628, 4.719, 6.05, 7.638",\
                 "1.011, 1.108, 1.344, 1.668, 2.135, 2.79, 3.654, 4.743, 6.075, 7.661",\
                 "0.9773, 1.078, 1.329, 1.664, 2.13, 2.784, 3.647, 4.737, 6.065, 7.652");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01653, 0.07103, 0.1751, 0.3373, 0.5648, 0.8641, 1.241, 1.702, 2.251");
          values("0.2024, 0.2679, 0.4322, 0.6766, 1.043, 1.575, 2.304, 3.248, 4.408, 5.806",\
                 "0.2024, 0.2677, 0.4321, 0.6768, 1.043, 1.575, 2.305, 3.247, 4.409, 5.807",\
                 "0.2026, 0.268, 0.4322, 0.6764, 1.044, 1.574, 2.305, 3.248, 4.412, 5.806",\
                 "0.2024, 0.2678, 0.4318, 0.6762, 1.044, 1.574, 2.305, 3.248, 4.413, 5.81",\
                 "0.2162, 0.279, 0.4402, 0.682, 1.046, 1.576, 2.305, 3.248, 4.413, 5.807",\
                 "0.2524, 0.319, 0.4782, 0.7098, 1.064, 1.586, 2.308, 3.249, 4.41, 5.809",\
                 "0.2872, 0.3578, 0.524, 0.7476, 1.093, 1.606, 2.32, 3.254, 4.414, 5.803",\
                 "0.3182, 0.3928, 0.5696, 0.7898, 1.123, 1.626, 2.334, 3.266, 4.423, 5.806",\
                 "0.346, 0.4248, 0.6114, 0.8338, 1.155, 1.645, 2.346, 3.272, 4.427, 5.812",\
                 "0.3744, 0.4572, 0.65, 0.88, 1.19, 1.666, 2.358, 3.276, 4.43, 5.818");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01653, 0.07103, 0.1751, 0.3373, 0.5648, 0.8641, 1.241, 1.702, 2.251");
          values("0.1479, 0.2243, 0.4678, 0.9594, 1.754, 2.879, 4.358, 6.222, 8.503, 11.2",\
                 "0.1474, 0.2244, 0.4676, 0.9583, 1.754, 2.88, 4.354, 6.225, 8.502, 11.21",\
                 "0.1472, 0.2247, 0.4676, 0.9598, 1.753, 2.879, 4.354, 6.225, 8.502, 11.21",\
                 "0.1536, 0.2296, 0.47, 0.9586, 1.755, 2.877, 4.356, 6.219, 8.496, 11.21",\
                 "0.1744, 0.2518, 0.485, 0.9646, 1.753, 2.877, 4.36, 6.215, 8.493, 11.22",\
                 "0.1974, 0.2784, 0.503, 0.9736, 1.76, 2.877, 4.358, 6.226, 8.503, 11.2",\
                 "0.2212, 0.3064, 0.527, 0.981, 1.762, 2.881, 4.358, 6.22, 8.495, 11.22",\
                 "0.246, 0.3352, 0.5556, 0.9922, 1.766, 2.883, 4.358, 6.217, 8.492, 11.21",\
                 "0.2738, 0.3654, 0.5914, 1.008, 1.768, 2.886, 4.359, 6.219, 8.486, 11.21",\
                 "0.3024, 0.3976, 0.6358, 1.034, 1.778, 2.885, 4.365, 6.222, 8.488, 11.19");
        }
      }

      timing() {
        related_pin : "A3" ;
        sdf_cond : "A1===1'b1 && A2===1'b0" ;
        timing_sense : positive_unate ;
        timing_type : combinational ;
        when : "A1&!A2" ;

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01653, 0.07103, 0.1751, 0.3373, 0.5648, 0.8641, 1.241, 1.702, 2.251");
          values("0.7379, 0.8125, 0.991, 1.227, 1.523, 1.896, 2.366, 2.951, 3.662, 4.509",\
                 "0.7578, 0.8323, 1.011, 1.248, 1.543, 1.916, 2.386, 2.971, 3.682, 4.529",\
                 "0.8347, 0.9091, 1.088, 1.324, 1.62, 1.993, 2.463, 3.048, 3.759, 4.606",\
                 "1.004, 1.078, 1.256, 1.493, 1.789, 2.161, 2.631, 3.216, 3.927, 4.774",\
                 "1.271, 1.347, 1.526, 1.764, 2.06, 2.432, 2.903, 3.487, 4.198, 5.046",\
                 "1.578, 1.66, 1.852, 2.098, 2.399, 2.774, 3.244, 3.828, 4.539, 5.386",\
                 "1.911, 2, 2.205, 2.463, 2.772, 3.151, 3.623, 4.208, 4.918, 5.765",\
                 "2.279, 2.374, 2.592, 2.863, 3.179, 3.562, 4.036, 4.621, 5.333, 6.179",\
                 "2.692, 2.79, 3.02, 3.306, 3.63, 4.017, 4.492, 5.077, 5.788, 6.636",\
                 "3.156, 3.258, 3.497, 3.796, 4.13, 4.521, 4.997, 5.583, 6.293, 7.141");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01653, 0.07103, 0.1751, 0.3373, 0.5648, 0.8641, 1.241, 1.702, 2.251");
          values("0.4535, 0.5234, 0.7095, 1.02, 1.492, 2.151, 3.018, 4.108, 5.439, 7.028",\
                 "0.4746, 0.5446, 0.7309, 1.041, 1.513, 2.173, 3.039, 4.13, 5.462, 7.049",\
                 "0.548, 0.6179, 0.804, 1.114, 1.586, 2.246, 3.112, 4.203, 5.535, 7.122",\
                 "0.6794, 0.7502, 0.9364, 1.246, 1.717, 2.377, 3.243, 4.334, 5.666, 7.254",\
                 "0.805, 0.8803, 1.072, 1.383, 1.853, 2.512, 3.379, 4.469, 5.802, 7.388",\
                 "0.902, 0.9831, 1.183, 1.495, 1.965, 2.624, 3.49, 4.581, 5.913, 7.501",\
                 "0.9695, 1.056, 1.267, 1.581, 2.05, 2.708, 3.574, 4.664, 5.996, 7.582",\
                 "1.007, 1.099, 1.321, 1.638, 2.107, 2.763, 3.628, 4.719, 6.05, 7.638",\
                 "1.011, 1.108, 1.343, 1.668, 2.135, 2.79, 3.654, 4.743, 6.075, 7.661",\
                 "0.9773, 1.078, 1.329, 1.664, 2.131, 2.784, 3.647, 4.737, 6.065, 7.652");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01653, 0.07103, 0.1751, 0.3373, 0.5648, 0.8641, 1.241, 1.702, 2.251");
          values("0.2024, 0.2679, 0.4322, 0.6766, 1.043, 1.575, 2.304, 3.248, 4.408, 5.806",\
                 "0.2024, 0.2677, 0.4321, 0.6768, 1.043, 1.575, 2.305, 3.247, 4.409, 5.807",\
                 "0.2028, 0.268, 0.4324, 0.676, 1.043, 1.574, 2.305, 3.248, 4.414, 5.809",\
                 "0.2024, 0.2678, 0.432, 0.6768, 1.043, 1.575, 2.305, 3.247, 4.413, 5.809",\
                 "0.2166, 0.279, 0.4402, 0.682, 1.046, 1.577, 2.305, 3.247, 4.413, 5.807",\
                 "0.2524, 0.3188, 0.4782, 0.7102, 1.065, 1.586, 2.307, 3.249, 4.413, 5.808",\
                 "0.2872, 0.3578, 0.5244, 0.7482, 1.094, 1.607, 2.32, 3.255, 4.414, 5.809",\
                 "0.3182, 0.393, 0.5696, 0.7898, 1.123, 1.626, 2.335, 3.266, 4.419, 5.808",\
                 "0.346, 0.4248, 0.6114, 0.8338, 1.155, 1.645, 2.345, 3.272, 4.427, 5.812",\
                 "0.3744, 0.4568, 0.648, 0.878, 1.19, 1.666, 2.36, 3.278, 4.432, 5.818");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01653, 0.07103, 0.1751, 0.3373, 0.5648, 0.8641, 1.241, 1.702, 2.251");
          values("0.1479, 0.2243, 0.4678, 0.9594, 1.754, 2.879, 4.359, 6.222, 8.503, 11.2",\
                 "0.1474, 0.2244, 0.4676, 0.9583, 1.754, 2.88, 4.353, 6.225, 8.502, 11.21",\
                 "0.1472, 0.2247, 0.4677, 0.9598, 1.753, 2.879, 4.354, 6.225, 8.502, 11.21",\
                 "0.1536, 0.2296, 0.4702, 0.9584, 1.755, 2.881, 4.357, 6.224, 8.503, 11.21",\
                 "0.1744, 0.2522, 0.485, 0.9646, 1.755, 2.877, 4.36, 6.216, 8.493, 11.22",\
                 "0.197, 0.2784, 0.5044, 0.9718, 1.759, 2.879, 4.358, 6.226, 8.503, 11.2",\
                 "0.2216, 0.3062, 0.5274, 0.981, 1.762, 2.881, 4.359, 6.223, 8.5, 11.22",\
                 "0.246, 0.3352, 0.5562, 0.9926, 1.766, 2.883, 4.358, 6.217, 8.497, 11.21",\
                 "0.2738, 0.366, 0.5918, 1.009, 1.768, 2.889, 4.359, 6.219, 8.486, 11.21",\
                 "0.3026, 0.3976, 0.6344, 1.034, 1.779, 2.885, 4.365, 6.222, 8.488, 11.19");
        }
      }

      timing() {
        related_pin : "A3" ;
        timing_sense : positive_unate ;
        timing_type : combinational ;

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01653, 0.07103, 0.1751, 0.3373, 0.5648, 0.8641, 1.241, 1.702, 2.251");
          values("0.7379, 0.8125, 0.991, 1.227, 1.523, 1.896, 2.366, 2.951, 3.662, 4.509",\
                 "0.7578, 0.8323, 1.011, 1.248, 1.543, 1.916, 2.386, 2.971, 3.682, 4.529",\
                 "0.8347, 0.9091, 1.088, 1.324, 1.62, 1.993, 2.463, 3.048, 3.759, 4.606",\
                 "1.004, 1.078, 1.256, 1.493, 1.789, 2.161, 2.631, 3.216, 3.927, 4.774",\
                 "1.271, 1.347, 1.526, 1.764, 2.06, 2.432, 2.903, 3.487, 4.198, 5.046",\
                 "1.578, 1.66, 1.852, 2.098, 2.399, 2.774, 3.244, 3.828, 4.539, 5.386",\
                 "1.911, 2, 2.205, 2.463, 2.772, 3.151, 3.623, 4.208, 4.918, 5.765",\
                 "2.279, 2.374, 2.592, 2.863, 3.179, 3.562, 4.036, 4.621, 5.333, 6.179",\
                 "2.692, 2.79, 3.02, 3.306, 3.63, 4.017, 4.492, 5.077, 5.788, 6.636",\
                 "3.156, 3.258, 3.497, 3.796, 4.13, 4.521, 4.997, 5.583, 6.293, 7.141");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01653, 0.07103, 0.1751, 0.3373, 0.5648, 0.8641, 1.241, 1.702, 2.251");
          values("0.4535, 0.5234, 0.7095, 1.02, 1.492, 2.151, 3.018, 4.108, 5.439, 7.028",\
                 "0.4746, 0.5446, 0.7309, 1.041, 1.513, 2.173, 3.039, 4.13, 5.462, 7.049",\
                 "0.548, 0.6179, 0.804, 1.114, 1.586, 2.246, 3.112, 4.203, 5.535, 7.122",\
                 "0.6794, 0.7502, 0.9364, 1.246, 1.717, 2.377, 3.243, 4.334, 5.666, 7.254",\
                 "0.805, 0.8803, 1.072, 1.383, 1.853, 2.512, 3.379, 4.469, 5.802, 7.388",\
                 "0.902, 0.9831, 1.183, 1.495, 1.965, 2.624, 3.49, 4.581, 5.913, 7.501",\
                 "0.9695, 1.056, 1.267, 1.581, 2.05, 2.708, 3.574, 4.664, 5.996, 7.582",\
                 "1.007, 1.099, 1.321, 1.638, 2.107, 2.763, 3.628, 4.719, 6.05, 7.638",\
                 "1.011, 1.108, 1.343, 1.668, 2.135, 2.79, 3.654, 4.743, 6.075, 7.661",\
                 "0.9773, 1.078, 1.329, 1.664, 2.131, 2.784, 3.647, 4.737, 6.065, 7.652");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01653, 0.07103, 0.1751, 0.3373, 0.5648, 0.8641, 1.241, 1.702, 2.251");
          values("0.2024, 0.2679, 0.4322, 0.6766, 1.043, 1.575, 2.304, 3.248, 4.408, 5.806",\
                 "0.2024, 0.2677, 0.4321, 0.6768, 1.043, 1.575, 2.305, 3.247, 4.409, 5.807",\
                 "0.2028, 0.268, 0.4324, 0.676, 1.043, 1.574, 2.305, 3.248, 4.414, 5.809",\
                 "0.2024, 0.2678, 0.432, 0.6768, 1.043, 1.575, 2.305, 3.247, 4.413, 5.809",\
                 "0.2166, 0.279, 0.4402, 0.682, 1.046, 1.577, 2.305, 3.247, 4.413, 5.807",\
                 "0.2524, 0.3188, 0.4782, 0.7102, 1.065, 1.586, 2.307, 3.249, 4.413, 5.808",\
                 "0.2872, 0.3578, 0.5244, 0.7482, 1.094, 1.607, 2.32, 3.255, 4.414, 5.809",\
                 "0.3182, 0.393, 0.5696, 0.7898, 1.123, 1.626, 2.335, 3.266, 4.419, 5.808",\
                 "0.346, 0.4248, 0.6114, 0.8338, 1.155, 1.645, 2.345, 3.272, 4.427, 5.812",\
                 "0.3744, 0.4568, 0.648, 0.878, 1.19, 1.666, 2.36, 3.278, 4.432, 5.818");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01653, 0.07103, 0.1751, 0.3373, 0.5648, 0.8641, 1.241, 1.702, 2.251");
          values("0.1479, 0.2243, 0.4678, 0.9594, 1.754, 2.879, 4.359, 6.222, 8.503, 11.2",\
                 "0.1474, 0.2244, 0.4676, 0.9583, 1.754, 2.88, 4.353, 6.225, 8.502, 11.21",\
                 "0.1472, 0.2247, 0.4677, 0.9598, 1.753, 2.879, 4.354, 6.225, 8.502, 11.21",\
                 "0.1536, 0.2296, 0.4702, 0.9584, 1.755, 2.881, 4.357, 6.224, 8.503, 11.21",\
                 "0.1744, 0.2522, 0.485, 0.9646, 1.755, 2.877, 4.36, 6.216, 8.493, 11.22",\
                 "0.197, 0.2784, 0.5044, 0.9718, 1.759, 2.879, 4.358, 6.226, 8.503, 11.2",\
                 "0.2216, 0.3062, 0.5274, 0.981, 1.762, 2.881, 4.359, 6.223, 8.5, 11.22",\
                 "0.246, 0.3352, 0.5562, 0.9926, 1.766, 2.883, 4.358, 6.217, 8.497, 11.21",\
                 "0.2738, 0.366, 0.5918, 1.009, 1.768, 2.889, 4.359, 6.219, 8.486, 11.21",\
                 "0.3026, 0.3976, 0.6344, 1.034, 1.779, 2.885, 4.365, 6.222, 8.488, 11.19");
        }
      }
    }
  }