  cell(gf180mcu_fd_sc_mcu9t5v0__xor3_4) {
    area : 90.316800 ;

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

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

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

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

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

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

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

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

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

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

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

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

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

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

    pin(Z) {
      direction : output ;
      function : "(A1^A2^A3)" ;
      max_capacitance : 1.838 ;
      max_transition : 13.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.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05817, 0.1431, 0.2755, 0.4613, 0.7057, 1.014, 1.39, 1.838");
          values("0.4297, 0.4138, 0.387, 0.3731, 0.3659, 0.3619, 0.3594, 0.3577, 0.3566, 0.3558",\
                 "0.4294, 0.4134, 0.3867, 0.3724, 0.3653, 0.3614, 0.359, 0.3574, 0.3563, 0.3555",\
                 "0.4288, 0.4127, 0.3861, 0.3719, 0.3646, 0.3608, 0.3584, 0.3568, 0.3556, 0.3548",\
                 "0.429, 0.4129, 0.3865, 0.3723, 0.3649, 0.361, 0.3586, 0.357, 0.3559, 0.355",\
                 "0.4312, 0.4152, 0.3885, 0.3742, 0.367, 0.3631, 0.3607, 0.3591, 0.358, 0.3571",\
                 "0.4358, 0.4196, 0.3929, 0.3787, 0.3715, 0.3676, 0.3652, 0.3636, 0.3625, 0.3617",\
                 "0.4422, 0.4261, 0.3994, 0.3854, 0.3782, 0.3742, 0.3719, 0.3704, 0.3693, 0.3683",\
                 "0.451, 0.435, 0.4084, 0.3942, 0.3872, 0.3831, 0.3807, 0.3791, 0.3779, 0.3769",\
                 "0.4625, 0.4466, 0.4197, 0.4056, 0.3984, 0.3943, 0.3919, 0.3903, 0.3891, 0.3878",\
                 "0.4765, 0.4605, 0.4336, 0.4195, 0.4124, 0.4084, 0.4058, 0.4042, 0.4026, 0.3993");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05817, 0.1431, 0.2755, 0.4613, 0.7057, 1.014, 1.39, 1.838");
          values("0.3865, 0.3769, 0.3635, 0.3543, 0.3515, 0.351, 0.354, 0.3629, 0.4515, 0.911",\
                 "0.3863, 0.3767, 0.3635, 0.3555, 0.3523, 0.3519, 0.3543, 0.3638, 0.4536, 0.9213",\
                 "0.3862, 0.3768, 0.3633, 0.3545, 0.3521, 0.3516, 0.354, 0.3638, 0.4622, 0.9528",\
                 "0.3865, 0.3768, 0.3635, 0.3551, 0.352, 0.3522, 0.3544, 0.365, 0.4752, 1.011",\
                 "0.3876, 0.3779, 0.3648, 0.3566, 0.3533, 0.3534, 0.3556, 0.3681, 0.4991, 1.099",\
                 "0.3894, 0.3801, 0.3671, 0.3589, 0.3554, 0.3555, 0.3572, 0.3757, 0.5349, 1.227",\
                 "0.393, 0.3838, 0.3708, 0.3616, 0.3596, 0.3594, 0.3626, 0.387, 0.5938, 1.412",\
                 "0.3993, 0.3897, 0.3766, 0.3677, 0.3644, 0.3669, 0.3704, 0.4053, 0.6864, 1.675",\
                 "0.4077, 0.3981, 0.3851, 0.3764, 0.3722, 0.3723, 0.3801, 0.4441, 0.8413, 2.053",\
                 "0.4184, 0.4091, 0.3962, 0.3872, 0.3828, 0.3819, 0.3889, 0.5056, 1.105, 2.574");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05817, 0.1431, 0.2755, 0.4613, 0.7057, 1.014, 1.39, 1.838");
          values("0.4446, 0.4345, 0.4228, 0.4179, 0.4157, 0.4151, 0.4145, 0.4144, 0.4141, 0.414",\
                 "0.4445, 0.4345, 0.4226, 0.4178, 0.4155, 0.4148, 0.4144, 0.4141, 0.414, 0.4139",\
                 "0.4443, 0.4343, 0.4227, 0.4175, 0.4153, 0.4147, 0.4143, 0.4139, 0.4138, 0.4137",\
                 "0.4445, 0.4345, 0.4227, 0.4177, 0.4155, 0.4147, 0.4144, 0.4143, 0.4142, 0.4141",\
                 "0.4458, 0.4359, 0.424, 0.4192, 0.4169, 0.416, 0.4157, 0.4154, 0.4153, 0.4153",\
                 "0.4485, 0.4384, 0.4267, 0.4218, 0.4194, 0.4186, 0.4184, 0.418, 0.4179, 0.4178",\
                 "0.4527, 0.4427, 0.431, 0.4261, 0.424, 0.4233, 0.4228, 0.4225, 0.4224, 0.4223",\
                 "0.459, 0.449, 0.4372, 0.432, 0.4299, 0.4295, 0.4291, 0.4287, 0.4286, 0.4284",\
                 "0.4674, 0.4574, 0.4456, 0.4405, 0.4384, 0.4377, 0.4372, 0.4372, 0.437, 0.4367",\
                 "0.478, 0.4678, 0.4562, 0.4512, 0.4492, 0.4484, 0.448, 0.4476, 0.4476, 0.4472");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05817, 0.1431, 0.2755, 0.4613, 0.7057, 1.014, 1.39, 1.838");
          values("0.3782, 0.3726, 0.3659, 0.3635, 0.3657, 0.3681, 0.3717, 0.3818, 0.4766, 0.9476",\
                 "0.3777, 0.3719, 0.3654, 0.3631, 0.3658, 0.3693, 0.3723, 0.3818, 0.4774, 0.9593",\
                 "0.3769, 0.3714, 0.3649, 0.3628, 0.365, 0.3687, 0.3724, 0.3803, 0.485, 0.9871",\
                 "0.3772, 0.3714, 0.3646, 0.3627, 0.3653, 0.369, 0.3721, 0.3828, 0.5003, 1.057",\
                 "0.3793, 0.3737, 0.3672, 0.3658, 0.3676, 0.3708, 0.3746, 0.3889, 0.5382, 1.182",\
                 "0.384, 0.3783, 0.3711, 0.3695, 0.3714, 0.3753, 0.3795, 0.402, 0.6045, 1.406",\
                 "0.3905, 0.3851, 0.3781, 0.3762, 0.3784, 0.3819, 0.3844, 0.4287, 0.7298, 1.764",\
                 "0.3995, 0.3938, 0.3865, 0.3858, 0.3874, 0.39, 0.3977, 0.483, 0.9786, 2.33",\
                 "0.4109, 0.4047, 0.3982, 0.3956, 0.3983, 0.4016, 0.4217, 0.6245, 1.471, 3.152",\
                 "0.4248, 0.419, 0.4125, 0.4097, 0.411, 0.417, 0.5037, 1.027, 2.353, 4.089");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05817, 0.1431, 0.2755, 0.4613, 0.7057, 1.014, 1.39, 1.838");
          values("0.3672, 0.3509, 0.3235, 0.3088, 0.3014, 0.2972, 0.2947, 0.2931, 0.2919, 0.291",\
                 "0.3672, 0.3509, 0.3235, 0.309, 0.3013, 0.2974, 0.2947, 0.293, 0.2919, 0.2911",\
                 "0.3673, 0.351, 0.3238, 0.3089, 0.3015, 0.2975, 0.2949, 0.2932, 0.292, 0.2912",\
                 "0.3677, 0.3514, 0.3241, 0.3096, 0.3017, 0.2977, 0.2952, 0.2935, 0.2924, 0.2916",\
                 "0.3699, 0.3536, 0.326, 0.3112, 0.3036, 0.2995, 0.297, 0.2953, 0.2941, 0.2934",\
                 "0.3747, 0.3581, 0.3304, 0.3154, 0.3076, 0.3034, 0.3008, 0.2991, 0.2979, 0.2971",\
                 "0.3818, 0.3652, 0.337, 0.3213, 0.3135, 0.309, 0.3063, 0.3046, 0.3034, 0.3026",\
                 "0.3917, 0.3749, 0.3463, 0.3304, 0.3223, 0.3176, 0.3149, 0.313, 0.3118, 0.3108",\
                 "0.405, 0.388, 0.3585, 0.3421, 0.3333, 0.3288, 0.3257, 0.3239, 0.3227, 0.3217",\
                 "0.4215, 0.4042, 0.3738, 0.3565, 0.3474, 0.3423, 0.3394, 0.3375, 0.336, 0.3349");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05817, 0.1431, 0.2755, 0.4613, 0.7057, 1.014, 1.39, 1.838");
          values("0.3716, 0.3623, 0.3493, 0.341, 0.338, 0.3381, 0.3399, 0.3484, 0.4249, 0.8416",\
                 "0.3716, 0.3622, 0.3492, 0.341, 0.338, 0.3378, 0.3411, 0.3472, 0.4269, 0.8498",\
                 "0.3713, 0.3617, 0.3489, 0.341, 0.338, 0.3384, 0.3408, 0.3478, 0.434, 0.8791",\
                 "0.3715, 0.362, 0.3491, 0.3412, 0.3383, 0.3387, 0.3408, 0.3494, 0.4492, 0.9452",\
                 "0.3731, 0.3637, 0.3508, 0.3426, 0.3396, 0.3393, 0.3427, 0.3543, 0.4816, 1.069",\
                 "0.3781, 0.3685, 0.3556, 0.3476, 0.3442, 0.3441, 0.3477, 0.3662, 0.5453, 1.288",\
                 "0.3883, 0.3788, 0.3653, 0.3566, 0.3529, 0.3525, 0.3563, 0.3935, 0.6689, 1.653",\
                 "0.402, 0.3922, 0.3779, 0.3689, 0.3649, 0.3633, 0.3702, 0.4476, 0.9145, 2.229",\
                 "0.4185, 0.408, 0.3931, 0.3817, 0.3777, 0.3788, 0.3952, 0.5849, 1.405, 3.071",\
                 "0.4381, 0.427, 0.4115, 0.3995, 0.3941, 0.3958, 0.4755, 0.9862, 2.299, 4.042");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05817, 0.1431, 0.2755, 0.4613, 0.7057, 1.014, 1.39, 1.838");
          values("0.4323, 0.4225, 0.4103, 0.4055, 0.4033, 0.4026, 0.4021, 0.4019, 0.4018, 0.4018",\
                 "0.4322, 0.4222, 0.4105, 0.4054, 0.4034, 0.4026, 0.4021, 0.4019, 0.4019, 0.4017",\
                 "0.4319, 0.4219, 0.4102, 0.4053, 0.4032, 0.4022, 0.4019, 0.4015, 0.4015, 0.4014",\
                 "0.4322, 0.4222, 0.4102, 0.4055, 0.4033, 0.4025, 0.402, 0.4018, 0.4018, 0.4017",\
                 "0.434, 0.4238, 0.412, 0.4071, 0.405, 0.4042, 0.4039, 0.4038, 0.4036, 0.4035",\
                 "0.4379, 0.428, 0.4162, 0.4111, 0.4089, 0.4082, 0.4079, 0.4075, 0.4075, 0.4073",\
                 "0.4445, 0.4346, 0.4228, 0.4177, 0.4156, 0.4147, 0.4144, 0.4142, 0.4141, 0.4139",\
                 "0.4531, 0.4431, 0.4312, 0.4265, 0.4244, 0.4235, 0.423, 0.4229, 0.4228, 0.4226",\
                 "0.4643, 0.4543, 0.4423, 0.4373, 0.4349, 0.4344, 0.434, 0.4337, 0.4336, 0.4328",\
                 "0.4779, 0.4677, 0.4556, 0.4507, 0.4486, 0.4477, 0.4474, 0.4472, 0.4465, 0.4434");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05817, 0.1431, 0.2755, 0.4613, 0.7057, 1.014, 1.39, 1.838");
          values("0.3133, 0.3074, 0.3009, 0.2984, 0.3007, 0.3033, 0.3063, 0.3133, 0.3833, 0.763",\
                 "0.313, 0.3072, 0.3004, 0.2987, 0.3011, 0.3039, 0.3069, 0.3136, 0.3851, 0.7718",\
                 "0.3131, 0.3073, 0.3007, 0.2989, 0.3005, 0.3045, 0.306, 0.3139, 0.3893, 0.7968",\
                 "0.3136, 0.3079, 0.3013, 0.2999, 0.3018, 0.3051, 0.3087, 0.3158, 0.4016, 0.8531",\
                 "0.3156, 0.3098, 0.3035, 0.3013, 0.3035, 0.3063, 0.3106, 0.32, 0.4264, 0.9428",\
                 "0.319, 0.3134, 0.3066, 0.3049, 0.3066, 0.3096, 0.3121, 0.3261, 0.4627, 1.079",\
                 "0.3244, 0.3183, 0.3115, 0.309, 0.3117, 0.3138, 0.3187, 0.3383, 0.5214, 1.278",\
                 "0.3312, 0.3257, 0.3184, 0.3156, 0.3169, 0.3234, 0.3271, 0.3596, 0.6215, 1.572",\
                 "0.3408, 0.3348, 0.3281, 0.3253, 0.3271, 0.3285, 0.3378, 0.4012, 0.7951, 1.998",\
                 "0.3522, 0.3462, 0.3392, 0.3367, 0.3373, 0.3387, 0.3505, 0.4759, 1.102, 2.601");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05817, 0.1431, 0.2755, 0.4613, 0.7057, 1.014, 1.39, 1.838");
          values("0.4269, 0.4108, 0.3843, 0.3702, 0.363, 0.3589, 0.3565, 0.3548, 0.3537, 0.3528",\
                 "0.4262, 0.4102, 0.3834, 0.3693, 0.3621, 0.3582, 0.3557, 0.3542, 0.353, 0.3522",\
                 "0.4259, 0.4098, 0.3832, 0.3688, 0.3616, 0.3578, 0.3554, 0.3538, 0.3526, 0.3519",\
                 "0.4268, 0.4108, 0.3841, 0.3699, 0.3626, 0.3587, 0.3563, 0.3548, 0.3537, 0.3527",\
                 "0.4294, 0.4132, 0.3865, 0.3722, 0.3651, 0.3612, 0.3587, 0.3572, 0.3561, 0.3553",\
                 "0.4334, 0.4175, 0.3907, 0.3763, 0.3693, 0.3655, 0.363, 0.3614, 0.3603, 0.3594",\
                 "0.4392, 0.423, 0.3964, 0.3823, 0.3751, 0.3712, 0.3687, 0.3672, 0.366, 0.3651",\
                 "0.4465, 0.4306, 0.4041, 0.3898, 0.3826, 0.3786, 0.3761, 0.3745, 0.3734, 0.3724",\
                 "0.4562, 0.4401, 0.4132, 0.3992, 0.392, 0.388, 0.3856, 0.3839, 0.3827, 0.3811",\
                 "0.4675, 0.4514, 0.4247, 0.4107, 0.4035, 0.3995, 0.397, 0.3953, 0.3934, 0.3893");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05817, 0.1431, 0.2755, 0.4613, 0.7057, 1.014, 1.39, 1.838");
          values("0.3763, 0.3669, 0.3538, 0.345, 0.3421, 0.3425, 0.3445, 0.3528, 0.4369, 0.889",\
                 "0.3762, 0.3668, 0.354, 0.3455, 0.3431, 0.3437, 0.3457, 0.3531, 0.442, 0.8983",\
                 "0.3764, 0.3669, 0.354, 0.3456, 0.3425, 0.3437, 0.3457, 0.3543, 0.4496, 0.9292",\
                 "0.3769, 0.3674, 0.3545, 0.3466, 0.3437, 0.344, 0.3468, 0.3556, 0.4638, 0.9858",\
                 "0.3782, 0.3688, 0.3558, 0.3479, 0.3446, 0.3449, 0.3477, 0.3604, 0.4856, 1.069",\
                 "0.3808, 0.3715, 0.3583, 0.3499, 0.3473, 0.3467, 0.3511, 0.3677, 0.5203, 1.191",\
                 "0.3845, 0.3752, 0.3616, 0.3541, 0.3516, 0.3509, 0.3542, 0.3781, 0.5742, 1.365",\
                 "0.3899, 0.3806, 0.3679, 0.3584, 0.3551, 0.3587, 0.3615, 0.3943, 0.6577, 1.616",\
                 "0.3976, 0.3883, 0.375, 0.3666, 0.3619, 0.3614, 0.371, 0.4298, 0.8004, 1.965",\
                 "0.4066, 0.3971, 0.3842, 0.3752, 0.3708, 0.3682, 0.3764, 0.4823, 1.038, 2.459");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05817, 0.1431, 0.2755, 0.4613, 0.7057, 1.014, 1.39, 1.838");
          values("0.4364, 0.4263, 0.4145, 0.4097, 0.4076, 0.4069, 0.4064, 0.4062, 0.406, 0.4059",\
                 "0.4366, 0.4266, 0.4146, 0.4098, 0.4076, 0.4069, 0.4064, 0.4062, 0.4061, 0.4061",\
                 "0.4366, 0.4267, 0.4149, 0.41, 0.4079, 0.407, 0.4066, 0.4064, 0.4062, 0.4062",\
                 "0.4371, 0.4272, 0.4154, 0.4105, 0.4081, 0.4074, 0.4071, 0.4068, 0.4067, 0.4066",\
                 "0.4385, 0.4285, 0.4165, 0.4117, 0.4095, 0.4088, 0.4083, 0.4081, 0.4081, 0.408",\
                 "0.441, 0.4309, 0.4193, 0.4143, 0.412, 0.4111, 0.4109, 0.4105, 0.4105, 0.4103",\
                 "0.4448, 0.4349, 0.4232, 0.4182, 0.4159, 0.4152, 0.4148, 0.4146, 0.4144, 0.4144",\
                 "0.4503, 0.4402, 0.4283, 0.4234, 0.4213, 0.4206, 0.4201, 0.4198, 0.4198, 0.4196",\
                 "0.4573, 0.4474, 0.4357, 0.4307, 0.4285, 0.4277, 0.4273, 0.4272, 0.427, 0.4268",\
                 "0.4662, 0.4561, 0.4445, 0.4396, 0.4374, 0.4366, 0.4362, 0.4358, 0.4358, 0.4355");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05817, 0.1431, 0.2755, 0.4613, 0.7057, 1.014, 1.39, 1.838");
          values("0.3751, 0.3694, 0.3626, 0.3609, 0.3624, 0.366, 0.3684, 0.3776, 0.4691, 0.9367",\
                 "0.3745, 0.3685, 0.3624, 0.36, 0.3625, 0.366, 0.3693, 0.38, 0.4704, 0.9433",\
                 "0.3742, 0.3683, 0.362, 0.3596, 0.3621, 0.3657, 0.369, 0.3782, 0.4777, 0.9757",\
                 "0.3748, 0.3693, 0.3625, 0.3604, 0.3628, 0.3654, 0.37, 0.3806, 0.4982, 1.053",\
                 "0.3777, 0.3719, 0.3654, 0.3629, 0.3659, 0.3684, 0.3725, 0.387, 0.5376, 1.199",\
                 "0.3815, 0.376, 0.3697, 0.3678, 0.3696, 0.3723, 0.3767, 0.4014, 0.613, 1.444",\
                 "0.3873, 0.3817, 0.3751, 0.3729, 0.3755, 0.3783, 0.3828, 0.4309, 0.757, 1.841",\
                 "0.3948, 0.3889, 0.3821, 0.3808, 0.3825, 0.3858, 0.395, 0.496, 1.039, 2.456",\
                 "0.4042, 0.3985, 0.392, 0.3896, 0.3929, 0.3956, 0.4209, 0.6634, 1.601, 3.332",\
                 "0.4158, 0.4102, 0.4034, 0.4014, 0.4034, 0.4115, 0.5268, 1.165, 2.572, 4.242");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05817, 0.1431, 0.2755, 0.4613, 0.7057, 1.014, 1.39, 1.838");
          values("0.3694, 0.3531, 0.3258, 0.3112, 0.3036, 0.2995, 0.297, 0.2952, 0.2941, 0.2933",\
                 "0.3696, 0.3532, 0.326, 0.3111, 0.3037, 0.2997, 0.2971, 0.2954, 0.2943, 0.2934",\
                 "0.3696, 0.3533, 0.3259, 0.3114, 0.3039, 0.2997, 0.2972, 0.2955, 0.2944, 0.2935",\
                 "0.37, 0.3538, 0.3264, 0.3116, 0.3041, 0.3001, 0.2974, 0.2959, 0.2947, 0.2938",\
                 "0.3718, 0.3555, 0.328, 0.3131, 0.3056, 0.3014, 0.2988, 0.2973, 0.2961, 0.2953",\
                 "0.3761, 0.3595, 0.3318, 0.3166, 0.3091, 0.3047, 0.3021, 0.3004, 0.2992, 0.2984",\
                 "0.3823, 0.3658, 0.3376, 0.3224, 0.3144, 0.3102, 0.3074, 0.3057, 0.3044, 0.3034",\
                 "0.3919, 0.3752, 0.3464, 0.3307, 0.3222, 0.3178, 0.3151, 0.3133, 0.3121, 0.3111",\
                 "0.4044, 0.3873, 0.358, 0.3414, 0.3331, 0.3284, 0.3255, 0.3237, 0.3223, 0.3213",\
                 "0.4197, 0.4024, 0.3724, 0.3552, 0.3464, 0.3416, 0.3385, 0.3366, 0.3352, 0.3342");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05817, 0.1431, 0.2755, 0.4613, 0.7057, 1.014, 1.39, 1.838");
          values("0.3796, 0.3703, 0.3573, 0.3478, 0.3444, 0.3446, 0.3472, 0.3543, 0.4321, 0.8608",\
                 "0.3794, 0.3698, 0.3565, 0.3479, 0.3446, 0.3443, 0.3472, 0.3555, 0.4356, 0.8704",\
                 "0.3792, 0.3697, 0.3565, 0.3477, 0.3448, 0.3452, 0.3463, 0.3555, 0.4425, 0.9009",\
                 "0.3797, 0.3703, 0.357, 0.3483, 0.3454, 0.3455, 0.348, 0.358, 0.4605, 0.9686",\
                 "0.3814, 0.3719, 0.3589, 0.3501, 0.3465, 0.3467, 0.3495, 0.3635, 0.494, 1.096",\
                 "0.3864, 0.3764, 0.3637, 0.3547, 0.3512, 0.3518, 0.3545, 0.3757, 0.5608, 1.322",\
                 "0.3962, 0.3865, 0.3727, 0.3635, 0.3598, 0.3605, 0.3632, 0.4019, 0.6901, 1.7",\
                 "0.4103, 0.4003, 0.3863, 0.3767, 0.372, 0.3719, 0.3781, 0.4619, 0.9528, 2.302",\
                 "0.4272, 0.4165, 0.402, 0.391, 0.3867, 0.3862, 0.4053, 0.6143, 1.477, 3.167",\
                 "0.4469, 0.4358, 0.4201, 0.408, 0.4018, 0.4045, 0.4966, 1.057, 2.412, 4.13");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05817, 0.1431, 0.2755, 0.4613, 0.7057, 1.014, 1.39, 1.838");
          values("0.4382, 0.4282, 0.4166, 0.4114, 0.4093, 0.4085, 0.408, 0.4079, 0.4077, 0.4076",\
                 "0.4379, 0.4279, 0.4161, 0.4113, 0.4089, 0.4081, 0.4078, 0.4075, 0.4073, 0.4073",\
                 "0.4377, 0.4277, 0.416, 0.4111, 0.4088, 0.4079, 0.4075, 0.4073, 0.4072, 0.4071",\
                 "0.4382, 0.4283, 0.4164, 0.4115, 0.4092, 0.4085, 0.4081, 0.4078, 0.4077, 0.4076",\
                 "0.44, 0.4301, 0.4182, 0.4134, 0.4111, 0.4104, 0.4099, 0.4097, 0.4097, 0.4096",\
                 "0.4442, 0.4342, 0.4223, 0.4174, 0.4153, 0.4144, 0.414, 0.4138, 0.4137, 0.4136",\
                 "0.4508, 0.4409, 0.4289, 0.4241, 0.422, 0.4212, 0.4207, 0.4205, 0.4205, 0.4203",\
                 "0.4601, 0.4499, 0.4384, 0.4331, 0.431, 0.4302, 0.4299, 0.4296, 0.4296, 0.4293",\
                 "0.4716, 0.4615, 0.4495, 0.4445, 0.4425, 0.4417, 0.4413, 0.441, 0.4408, 0.44",\
                 "0.4856, 0.4753, 0.4636, 0.4586, 0.4565, 0.4557, 0.4552, 0.4548, 0.454, 0.4505");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05817, 0.1431, 0.2755, 0.4613, 0.7057, 1.014, 1.39, 1.838");
          values("0.3153, 0.3096, 0.3027, 0.3008, 0.3028, 0.3057, 0.3099, 0.316, 0.3851, 0.7689",\
                 "0.3153, 0.3098, 0.303, 0.3016, 0.3038, 0.306, 0.3099, 0.3169, 0.3859, 0.7752",\
                 "0.3154, 0.3101, 0.3033, 0.3009, 0.3033, 0.3069, 0.3099, 0.3178, 0.3936, 0.7993",\
                 "0.3162, 0.3104, 0.3033, 0.3014, 0.3041, 0.3063, 0.3087, 0.3188, 0.4043, 0.8465",\
                 "0.3176, 0.3122, 0.3055, 0.3033, 0.3051, 0.3078, 0.3117, 0.3227, 0.4232, 0.9285",\
                 "0.321, 0.3148, 0.3084, 0.3064, 0.3081, 0.3108, 0.3145, 0.3288, 0.4578, 1.053",\
                 "0.3256, 0.3196, 0.3125, 0.3106, 0.3136, 0.3159, 0.3203, 0.3386, 0.5115, 1.237",\
                 "0.3326, 0.3268, 0.3199, 0.3174, 0.3192, 0.3246, 0.3285, 0.3583, 0.5986, 1.504",\
                 "0.342, 0.3358, 0.3289, 0.3265, 0.3279, 0.33, 0.3387, 0.3936, 0.753, 1.895",\
                 "0.3534, 0.3477, 0.3407, 0.3377, 0.3382, 0.3399, 0.3491, 0.4558, 1.021, 2.454");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05817, 0.1431, 0.2755, 0.4613, 0.7057, 1.014, 1.39, 1.838");
          values("0.3544, 0.3385, 0.3121, 0.2982, 0.2911, 0.2873, 0.2848, 0.2831, 0.2821, 0.2813",\
                 "0.3537, 0.3377, 0.3114, 0.2974, 0.2906, 0.2865, 0.2841, 0.2824, 0.2814, 0.2806",\
                 "0.3517, 0.3357, 0.3092, 0.2956, 0.2886, 0.2846, 0.2822, 0.2806, 0.2795, 0.2787",\
                 "0.3527, 0.3367, 0.31, 0.2959, 0.2889, 0.2851, 0.2828, 0.2812, 0.2801, 0.2794",\
                 "0.3665, 0.3498, 0.321, 0.3044, 0.2963, 0.2919, 0.2892, 0.2875, 0.2863, 0.2855",\
                 "0.4016, 0.3824, 0.3474, 0.3258, 0.3141, 0.3075, 0.3034, 0.3008, 0.2991, 0.2978",\
                 "0.4442, 0.4227, 0.3814, 0.3541, 0.3386, 0.3295, 0.3238, 0.3203, 0.3179, 0.3163",\
                 "0.4934, 0.4701, 0.4227, 0.3895, 0.3705, 0.3585, 0.3511, 0.3463, 0.3431, 0.3409",\
                 "0.5506, 0.5259, 0.473, 0.4335, 0.41, 0.3952, 0.3856, 0.3795, 0.3751, 0.3722",\
                 "0.6177, 0.5914, 0.5337, 0.4874, 0.4586, 0.4407, 0.4286, 0.4208, 0.415, 0.4106");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05817, 0.1431, 0.2755, 0.4613, 0.7057, 1.014, 1.39, 1.838");
          values("0.2081, 0.203, 0.1983, 0.1982, 0.2009, 0.2038, 0.2086, 0.214, 0.2576, 0.5289",\
                 "0.2083, 0.2037, 0.1986, 0.1989, 0.2011, 0.205, 0.2095, 0.2122, 0.2575, 0.5379",\
                 "0.2086, 0.2039, 0.1985, 0.1982, 0.2008, 0.2041, 0.2086, 0.2125, 0.2634, 0.557",\
                 "0.2151, 0.2098, 0.2023, 0.2001, 0.2018, 0.205, 0.208, 0.2138, 0.2719, 0.5958",\
                 "0.2331, 0.2256, 0.2153, 0.21, 0.2086, 0.2101, 0.2134, 0.2192, 0.287, 0.6664",\
                 "0.2581, 0.2478, 0.2335, 0.2241, 0.2222, 0.2212, 0.223, 0.231, 0.3176, 0.7731",\
                 "0.292, 0.2785, 0.2598, 0.2469, 0.2395, 0.241, 0.2414, 0.2497, 0.3671, 0.9301",\
                 "0.3352, 0.3181, 0.296, 0.2776, 0.2663, 0.2626, 0.2649, 0.2816, 0.4519, 1.177",\
                 "0.3879, 0.3668, 0.3395, 0.3171, 0.3031, 0.2932, 0.2915, 0.3315, 0.5961, 1.555",\
                 "0.4495, 0.425, 0.3911, 0.3651, 0.347, 0.3352, 0.3296, 0.3987, 0.8429, 2.116");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05817, 0.1431, 0.2755, 0.4613, 0.7057, 1.014, 1.39, 1.838");
          values("0.3368, 0.3271, 0.3156, 0.3105, 0.3083, 0.3074, 0.3071, 0.3067, 0.3066, 0.3066",\
                 "0.3369, 0.3272, 0.3153, 0.3106, 0.3083, 0.3077, 0.3071, 0.3068, 0.3066, 0.3065",\
                 "0.3357, 0.326, 0.3142, 0.3094, 0.3072, 0.3066, 0.3059, 0.3056, 0.3054, 0.3054",\
                 "0.3338, 0.3239, 0.312, 0.3075, 0.3051, 0.3044, 0.3039, 0.3036, 0.3034, 0.3033",\
                 "0.334, 0.3241, 0.3126, 0.3074, 0.3054, 0.3045, 0.304, 0.3038, 0.3036, 0.3036",\
                 "0.3376, 0.3276, 0.3161, 0.3107, 0.3088, 0.3079, 0.3076, 0.3073, 0.3072, 0.307",\
                 "0.346, 0.3359, 0.3235, 0.318, 0.3159, 0.315, 0.3145, 0.3143, 0.3141, 0.3139",\
                 "0.3588, 0.3484, 0.3352, 0.329, 0.3263, 0.3251, 0.3248, 0.3245, 0.3243, 0.3241",\
                 "0.3755, 0.3646, 0.3501, 0.3435, 0.3404, 0.339, 0.3384, 0.338, 0.3378, 0.3377",\
                 "0.3965, 0.3847, 0.3689, 0.3615, 0.3576, 0.3563, 0.3556, 0.3551, 0.3548, 0.3546");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05817, 0.1431, 0.2755, 0.4613, 0.7057, 1.014, 1.39, 1.838");
          values("0.3434, 0.3373, 0.3293, 0.326, 0.3269, 0.329, 0.3323, 0.3378, 0.3936, 0.7233",\
                 "0.3432, 0.3367, 0.3291, 0.3257, 0.3267, 0.3293, 0.3314, 0.3375, 0.394, 0.7332",\
                 "0.3433, 0.337, 0.3293, 0.3257, 0.3268, 0.329, 0.3326, 0.3384, 0.3997, 0.7576",\
                 "0.3444, 0.3378, 0.3303, 0.3267, 0.3278, 0.3305, 0.3335, 0.3402, 0.4128, 0.8165",\
                 "0.3476, 0.3412, 0.3333, 0.3295, 0.3306, 0.3332, 0.3353, 0.3469, 0.4394, 0.9173",\
                 "0.3541, 0.347, 0.3391, 0.3359, 0.3368, 0.3386, 0.3414, 0.3563, 0.4879, 1.091",\
                 "0.3638, 0.3572, 0.348, 0.345, 0.3456, 0.347, 0.3512, 0.3757, 0.5739, 1.372",\
                 "0.3773, 0.3705, 0.3617, 0.3561, 0.3575, 0.3605, 0.3653, 0.4113, 0.7385, 1.823",\
                 "0.3955, 0.3877, 0.3788, 0.3732, 0.3722, 0.377, 0.3873, 0.495, 1.072, 2.527",\
                 "0.4174, 0.4096, 0.3996, 0.3934, 0.3921, 0.3931, 0.4271, 0.7169, 1.736, 3.493");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05817, 0.1431, 0.2755, 0.4613, 0.7057, 1.014, 1.39, 1.838");
          values("0.3368, 0.3271, 0.3153, 0.3105, 0.3083, 0.3078, 0.307, 0.3067, 0.3066, 0.3066",\
                 "0.3369, 0.327, 0.3153, 0.3106, 0.3083, 0.3077, 0.3071, 0.3068, 0.3066, 0.3065",\
                 "0.3357, 0.3259, 0.3142, 0.3094, 0.3072, 0.3066, 0.3059, 0.3056, 0.3054, 0.3054",\
                 "0.3338, 0.3239, 0.312, 0.3075, 0.305, 0.3044, 0.3038, 0.3036, 0.3034, 0.3033",\
                 "0.3338, 0.324, 0.3126, 0.3075, 0.3053, 0.3045, 0.3041, 0.3037, 0.3036, 0.3035",\
                 "0.3376, 0.3276, 0.3159, 0.3108, 0.3089, 0.3079, 0.3076, 0.3072, 0.3072, 0.307",\
                 "0.346, 0.3359, 0.3235, 0.318, 0.3159, 0.315, 0.3145, 0.3143, 0.3141, 0.3139",\
                 "0.3588, 0.3485, 0.3351, 0.329, 0.3263, 0.3251, 0.3248, 0.3245, 0.3243, 0.3241",\
                 "0.3757, 0.3646, 0.3501, 0.3435, 0.3403, 0.339, 0.3384, 0.338, 0.3378, 0.3377",\
                 "0.3965, 0.3847, 0.3689, 0.3615, 0.3576, 0.3563, 0.3556, 0.3551, 0.3548, 0.3546");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05817, 0.1431, 0.2755, 0.4613, 0.7057, 1.014, 1.39, 1.838");
          values("0.3434, 0.3371, 0.3293, 0.3257, 0.3269, 0.329, 0.3322, 0.3377, 0.3933, 0.7233",\
                 "0.3431, 0.3367, 0.3291, 0.3255, 0.3267, 0.3293, 0.3313, 0.3374, 0.394, 0.7332",\
                 "0.3433, 0.3369, 0.3294, 0.3258, 0.3274, 0.329, 0.3325, 0.3381, 0.3996, 0.7579",\
                 "0.3446, 0.3378, 0.3303, 0.3267, 0.3278, 0.3305, 0.3334, 0.3402, 0.4128, 0.8165",\
                 "0.3475, 0.3412, 0.3333, 0.3295, 0.3306, 0.3326, 0.3352, 0.3454, 0.4377, 0.9193",\
                 "0.3541, 0.3473, 0.3388, 0.3357, 0.3368, 0.3386, 0.342, 0.356, 0.4879, 1.091",\
                 "0.364, 0.3572, 0.3483, 0.3446, 0.3454, 0.3473, 0.3506, 0.3748, 0.5738, 1.371",\
                 "0.3777, 0.3705, 0.3612, 0.356, 0.3575, 0.3608, 0.3653, 0.4113, 0.7384, 1.823",\
                 "0.3951, 0.3882, 0.3785, 0.3727, 0.3723, 0.3767, 0.387, 0.4947, 1.072, 2.526",\
                 "0.4174, 0.4096, 0.3996, 0.3932, 0.3923, 0.3936, 0.427, 0.7178, 1.737, 3.492");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05817, 0.1431, 0.2755, 0.4613, 0.7057, 1.014, 1.39, 1.838");
          values("0.3545, 0.3385, 0.3122, 0.2985, 0.2913, 0.2873, 0.2848, 0.2832, 0.282, 0.2813",\
                 "0.3538, 0.3378, 0.3114, 0.2975, 0.2906, 0.2866, 0.2841, 0.2825, 0.2814, 0.2806",\
                 "0.3517, 0.3358, 0.3093, 0.2958, 0.2886, 0.2846, 0.2822, 0.2806, 0.2795, 0.2787",\
                 "0.3527, 0.3366, 0.3101, 0.296, 0.2888, 0.2849, 0.2826, 0.2812, 0.2801, 0.2793",\
                 "0.3664, 0.3497, 0.3208, 0.3047, 0.2964, 0.2919, 0.2892, 0.2875, 0.2863, 0.2855",\
                 "0.4017, 0.3824, 0.3475, 0.3256, 0.3138, 0.3075, 0.3035, 0.3009, 0.2991, 0.2979",\
                 "0.4444, 0.423, 0.3814, 0.3542, 0.3385, 0.3293, 0.3238, 0.3202, 0.3178, 0.3162",\
                 "0.4935, 0.4702, 0.423, 0.3897, 0.3703, 0.3583, 0.3512, 0.3462, 0.3432, 0.3409",\
                 "0.5506, 0.5258, 0.4731, 0.4337, 0.41, 0.3952, 0.3856, 0.3794, 0.3752, 0.3722",\
                 "0.6177, 0.5915, 0.5338, 0.4874, 0.4588, 0.4408, 0.4286, 0.4205, 0.415, 0.4105");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05817, 0.1431, 0.2755, 0.4613, 0.7057, 1.014, 1.39, 1.838");
          values("0.2081, 0.2029, 0.1983, 0.1982, 0.2009, 0.2038, 0.2086, 0.2137, 0.2579, 0.5319",\
                 "0.2083, 0.2037, 0.1986, 0.1989, 0.2011, 0.205, 0.2095, 0.2125, 0.2575, 0.5379",\
                 "0.2086, 0.2038, 0.1985, 0.1982, 0.2008, 0.2041, 0.2086, 0.2131, 0.2617, 0.557",\
                 "0.2152, 0.2096, 0.2027, 0.2005, 0.2015, 0.2044, 0.2077, 0.2144, 0.2693, 0.5961",\
                 "0.2332, 0.2253, 0.2155, 0.21, 0.2087, 0.2104, 0.2134, 0.2195, 0.287, 0.6673",\
                 "0.2582, 0.248, 0.2336, 0.2244, 0.222, 0.2209, 0.2236, 0.231, 0.318, 0.7715",\
                 "0.2922, 0.279, 0.2601, 0.2465, 0.2396, 0.2404, 0.2405, 0.2494, 0.3667, 0.9311",\
                 "0.3351, 0.3184, 0.2952, 0.277, 0.2661, 0.2623, 0.2659, 0.2813, 0.4502, 1.174",\
                 "0.3877, 0.3673, 0.3386, 0.317, 0.302, 0.2932, 0.2924, 0.3315, 0.5943, 1.556",\
                 "0.4494, 0.4248, 0.3914, 0.365, 0.3463, 0.3349, 0.3296, 0.3987, 0.8421, 2.116");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05817, 0.1431, 0.2755, 0.4613, 0.7057, 1.014, 1.39, 1.838");
          values("3.83, 3.899, 4.069, 4.303, 4.603, 4.99, 5.487, 6.108, 6.865, 7.767",\
                 "3.855, 3.924, 4.094, 4.328, 4.628, 5.015, 5.512, 6.133, 6.89, 7.792",\
                 "3.933, 4.002, 4.172, 4.406, 4.706, 5.093, 5.589, 6.21, 6.967, 7.87",\
                 "4.009, 4.078, 4.248, 4.482, 4.782, 5.17, 5.666, 6.287, 7.044, 7.947",\
                 "4.033, 4.102, 4.272, 4.506, 4.806, 5.194, 5.69, 6.311, 7.068, 7.97",\
                 "4, 4.069, 4.239, 4.473, 4.773, 5.161, 5.657, 6.278, 7.035, 7.938",\
                 "3.896, 3.964, 4.134, 4.368, 4.668, 5.056, 5.552, 6.173, 6.93, 7.833",\
                 "3.708, 3.777, 3.947, 4.18, 4.48, 4.868, 5.364, 5.984, 6.741, 7.643",\
                 "3.437, 3.506, 3.676, 3.91, 4.21, 4.598, 5.094, 5.715, 6.471, 7.374",\
                 "3.081, 3.149, 3.319, 3.553, 3.854, 4.241, 4.737, 5.358, 6.116, 7.017");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05817, 0.1431, 0.2755, 0.4613, 0.7057, 1.014, 1.39, 1.838");
          values("3.41, 3.492, 3.719, 4.085, 4.624, 5.375, 6.361, 7.605, 9.117, 10.93",\
                 "3.425, 3.506, 3.734, 4.099, 4.639, 5.39, 6.376, 7.619, 9.136, 10.94",\
                 "3.487, 3.568, 3.796, 4.161, 4.701, 5.452, 6.438, 7.678, 9.199, 11",\
                 "3.626, 3.707, 3.934, 4.299, 4.839, 5.59, 6.576, 7.816, 9.335, 11.14",\
                 "3.882, 3.963, 4.191, 4.556, 5.096, 5.846, 6.833, 8.073, 9.587, 11.4",\
                 "4.26, 4.341, 4.569, 4.935, 5.474, 6.225, 7.212, 8.454, 9.966, 11.78",\
                 "4.745, 4.827, 5.054, 5.419, 5.959, 6.709, 7.695, 8.939, 10.45, 12.26",\
                 "5.34, 5.421, 5.648, 6.014, 6.553, 7.304, 8.29, 9.533, 11.05, 12.85",\
                 "6.045, 6.127, 6.355, 6.72, 7.26, 8.01, 8.995, 10.24, 11.75, 13.56",\
                 "6.859, 6.94, 7.168, 7.533, 8.072, 8.823, 9.81, 11.05, 12.56, 14.37");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05817, 0.1431, 0.2755, 0.4613, 0.7057, 1.014, 1.39, 1.838");
          values("0.2318, 0.2904, 0.4496, 0.7062, 1.111, 1.708, 2.522, 3.568, 4.853, 6.388",\
                 "0.2316, 0.2906, 0.4498, 0.7064, 1.111, 1.706, 2.522, 3.567, 4.852, 6.389",\
                 "0.2316, 0.2904, 0.4512, 0.707, 1.11, 1.706, 2.521, 3.565, 4.854, 6.387",\
                 "0.2314, 0.2906, 0.4498, 0.707, 1.11, 1.706, 2.523, 3.567, 4.853, 6.387",\
                 "0.2314, 0.2904, 0.4498, 0.7062, 1.11, 1.706, 2.523, 3.569, 4.853, 6.39",\
                 "0.232, 0.2904, 0.45, 0.7074, 1.11, 1.706, 2.52, 3.565, 4.853, 6.388",\
                 "0.2314, 0.291, 0.451, 0.7074, 1.111, 1.707, 2.523, 3.568, 4.85, 6.388",\
                 "0.2318, 0.2904, 0.4506, 0.7062, 1.111, 1.706, 2.52, 3.563, 4.847, 6.384",\
                 "0.232, 0.291, 0.4502, 0.7068, 1.11, 1.706, 2.522, 3.57, 4.846, 6.374",\
                 "0.232, 0.292, 0.452, 0.708, 1.112, 1.706, 2.52, 3.566, 4.848, 6.378");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05817, 0.1431, 0.2755, 0.4613, 0.7057, 1.014, 1.39, 1.838");
          values("0.2338, 0.3314, 0.6292, 1.187, 2.104, 3.421, 5.148, 7.347, 10.01, 13.2",\
                 "0.2334, 0.3314, 0.629, 1.186, 2.107, 3.416, 5.157, 7.34, 10.02, 13.2",\
                 "0.233, 0.3314, 0.6294, 1.188, 2.103, 3.416, 5.155, 7.35, 10.01, 13.19",\
                 "0.2334, 0.3314, 0.6284, 1.187, 2.106, 3.416, 5.15, 7.35, 10.01, 13.2",\
                 "0.2334, 0.3318, 0.6294, 1.187, 2.106, 3.416, 5.155, 7.347, 10.01, 13.2",\
                 "0.2334, 0.3314, 0.6284, 1.187, 2.105, 3.415, 5.151, 7.342, 10.01, 13.2",\
                 "0.234, 0.3322, 0.6278, 1.187, 2.103, 3.415, 5.159, 7.346, 10.01, 13.2",\
                 "0.2334, 0.3312, 0.6286, 1.186, 2.102, 3.418, 5.156, 7.342, 10.01, 13.2",\
                 "0.234, 0.332, 0.628, 1.19, 2.102, 3.416, 5.15, 7.346, 10.01, 13.2",\
                 "0.234, 0.33, 0.626, 1.188, 2.102, 3.418, 5.152, 7.342, 10.02, 13.19");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05817, 0.1431, 0.2755, 0.4613, 0.7057, 1.014, 1.39, 1.838");
          values("1.911, 1.996, 2.207, 2.501, 2.858, 3.288, 3.809, 4.441, 5.202, 6.105",\
                 "1.931, 2.016, 2.228, 2.521, 2.878, 3.308, 3.829, 4.462, 5.222, 6.126",\
                 "2.002, 2.087, 2.298, 2.592, 2.949, 3.379, 3.9, 4.532, 5.293, 6.196",\
                 "2.135, 2.219, 2.431, 2.724, 3.081, 3.511, 4.032, 4.665, 5.425, 6.328",\
                 "2.288, 2.372, 2.584, 2.877, 3.234, 3.664, 4.185, 4.818, 5.579, 6.482",\
                 "2.4, 2.485, 2.697, 2.992, 3.349, 3.779, 4.3, 4.932, 5.693, 6.596",\
                 "2.464, 2.548, 2.761, 3.055, 3.413, 3.843, 4.365, 4.997, 5.758, 6.661",\
                 "2.471, 2.556, 2.769, 3.063, 3.422, 3.853, 4.374, 5.007, 5.767, 6.67",\
                 "2.412, 2.497, 2.712, 3.008, 3.367, 3.798, 4.32, 4.953, 5.713, 6.616",\
                 "2.281, 2.367, 2.583, 2.88, 3.24, 3.672, 4.194, 4.827, 5.587, 6.491");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05817, 0.1431, 0.2755, 0.4613, 0.7057, 1.014, 1.39, 1.838");
          values("2.735, 2.819, 3.053, 3.422, 3.96, 4.71, 5.696, 6.936, 8.452, 10.26",\
                 "2.762, 2.846, 3.08, 3.448, 3.987, 4.737, 5.722, 6.964, 8.478, 10.28",\
                 "2.846, 2.93, 3.164, 3.532, 4.071, 4.821, 5.806, 7.048, 8.562, 10.37",\
                 "3.03, 3.115, 3.348, 3.717, 4.256, 5.006, 5.991, 7.232, 8.747, 10.55",\
                 "3.35, 3.434, 3.668, 4.037, 4.576, 5.326, 6.311, 7.552, 9.067, 10.87",\
                 "3.82, 3.904, 4.138, 4.507, 5.045, 5.795, 6.781, 8.021, 9.536, 11.34",\
                 "4.416, 4.501, 4.736, 5.105, 5.643, 6.392, 7.378, 8.618, 10.13, 11.94",\
                 "5.103, 5.189, 5.424, 5.792, 6.331, 7.079, 8.065, 9.306, 10.82, 12.63",\
                 "5.883, 5.969, 6.204, 6.573, 7.11, 7.859, 8.845, 10.09, 11.6, 13.41",\
                 "6.763, 6.849, 7.086, 7.454, 7.992, 8.741, 9.726, 10.97, 12.48, 14.29");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05817, 0.1431, 0.2755, 0.4613, 0.7057, 1.014, 1.39, 1.838");
          values("0.3282, 0.4048, 0.6038, 0.9024, 1.311, 1.876, 2.647, 3.654, 4.912, 6.431",\
                 "0.3282, 0.405, 0.604, 0.9032, 1.309, 1.878, 2.645, 3.654, 4.913, 6.432",\
                 "0.328, 0.4048, 0.604, 0.9024, 1.31, 1.877, 2.647, 3.655, 4.913, 6.433",\
                 "0.3282, 0.4052, 0.6042, 0.9024, 1.31, 1.876, 2.645, 3.654, 4.913, 6.432",\
                 "0.3292, 0.406, 0.6054, 0.9028, 1.31, 1.878, 2.647, 3.654, 4.913, 6.425",\
                 "0.3318, 0.4082, 0.6062, 0.9052, 1.311, 1.879, 2.649, 3.652, 4.913, 6.429",\
                 "0.333, 0.4102, 0.6082, 0.909, 1.313, 1.879, 2.646, 3.655, 4.912, 6.431",\
                 "0.336, 0.4132, 0.6126, 0.9104, 1.316, 1.881, 2.648, 3.65, 4.906, 6.429",\
                 "0.3406, 0.418, 0.6166, 0.914, 1.318, 1.883, 2.649, 3.652, 4.908, 6.422",\
                 "0.346, 0.422, 0.622, 0.92, 1.322, 1.884, 2.65, 3.656, 4.91, 6.43");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05817, 0.1431, 0.2755, 0.4613, 0.7057, 1.014, 1.39, 1.838");
          values("0.2678, 0.3644, 0.6596, 1.208, 2.118, 3.43, 5.162, 7.344, 10.02, 13.19",\
                 "0.2682, 0.365, 0.6604, 1.208, 2.117, 3.424, 5.16, 7.35, 10.02, 13.19",\
                 "0.2682, 0.3652, 0.6604, 1.208, 2.116, 3.424, 5.16, 7.35, 10.03, 13.19",\
                 "0.268, 0.365, 0.6598, 1.209, 2.117, 3.424, 5.161, 7.35, 10.03, 13.19",\
                 "0.268, 0.365, 0.6602, 1.209, 2.117, 3.424, 5.16, 7.349, 10.03, 13.19",\
                 "0.2686, 0.3656, 0.6596, 1.208, 2.116, 3.424, 5.161, 7.351, 10.03, 13.19",\
                 "0.2716, 0.3668, 0.6618, 1.21, 2.116, 3.429, 5.161, 7.349, 10.03, 13.19",\
                 "0.2754, 0.3712, 0.6664, 1.212, 2.116, 3.422, 5.158, 7.35, 10.03, 13.18",\
                 "0.28, 0.376, 0.67, 1.216, 2.118, 3.424, 5.158, 7.35, 10.02, 13.19",\
                 "0.286, 0.38, 0.676, 1.218, 2.12, 3.428, 5.156, 7.338, 10.02, 13.19");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05817, 0.1431, 0.2755, 0.4613, 0.7057, 1.014, 1.39, 1.838");
          values("3.83, 3.899, 4.069, 4.303, 4.603, 4.99, 5.487, 6.108, 6.865, 7.767",\
                 "3.855, 3.924, 4.094, 4.328, 4.628, 5.015, 5.512, 6.133, 6.89, 7.792",\
                 "3.933, 4.002, 4.172, 4.406, 4.706, 5.093, 5.589, 6.21, 6.967, 7.87",\
                 "4.009, 4.078, 4.248, 4.482, 4.782, 5.17, 5.666, 6.287, 7.044, 7.947",\
                 "4.033, 4.102, 4.272, 4.506, 4.806, 5.194, 5.69, 6.311, 7.068, 7.97",\
                 "4, 4.069, 4.239, 4.473, 4.773, 5.161, 5.657, 6.278, 7.035, 7.938",\
                 "3.896, 3.964, 4.134, 4.368, 4.668, 5.056, 5.552, 6.173, 6.93, 7.833",\
                 "3.708, 3.777, 3.947, 4.18, 4.48, 4.868, 5.364, 5.984, 6.741, 7.643",\
                 "3.437, 3.506, 3.676, 3.91, 4.21, 4.598, 5.094, 5.715, 6.471, 7.374",\
                 "3.081, 3.149, 3.319, 3.553, 3.854, 4.241, 4.737, 5.358, 6.116, 7.017");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05817, 0.1431, 0.2755, 0.4613, 0.7057, 1.014, 1.39, 1.838");
          values("3.41, 3.492, 3.719, 4.085, 4.624, 5.375, 6.361, 7.605, 9.117, 10.93",\
                 "3.425, 3.506, 3.734, 4.099, 4.639, 5.39, 6.376, 7.619, 9.136, 10.94",\
                 "3.487, 3.568, 3.796, 4.161, 4.701, 5.452, 6.438, 7.678, 9.199, 11",\
                 "3.626, 3.707, 3.934, 4.299, 4.839, 5.59, 6.576, 7.816, 9.335, 11.14",\
                 "3.882, 3.963, 4.191, 4.556, 5.096, 5.846, 6.833, 8.073, 9.587, 11.4",\
                 "4.26, 4.341, 4.569, 4.935, 5.474, 6.225, 7.212, 8.454, 9.966, 11.78",\
                 "4.745, 4.827, 5.054, 5.419, 5.959, 6.709, 7.695, 8.939, 10.45, 12.26",\
                 "5.34, 5.421, 5.648, 6.014, 6.553, 7.304, 8.29, 9.533, 11.05, 12.85",\
                 "6.045, 6.127, 6.355, 6.72, 7.26, 8.01, 8.995, 10.24, 11.75, 13.56",\
                 "6.859, 6.94, 7.168, 7.533, 8.072, 8.823, 9.81, 11.05, 12.56, 14.37");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05817, 0.1431, 0.2755, 0.4613, 0.7057, 1.014, 1.39, 1.838");
          values("0.3282, 0.4048, 0.6038, 0.9024, 1.311, 1.876, 2.647, 3.654, 4.912, 6.431",\
                 "0.3282, 0.405, 0.604, 0.9032, 1.309, 1.878, 2.645, 3.654, 4.913, 6.432",\
                 "0.328, 0.4048, 0.604, 0.9024, 1.31, 1.877, 2.647, 3.655, 4.913, 6.433",\
                 "0.3282, 0.4052, 0.6042, 0.9024, 1.31, 1.876, 2.645, 3.654, 4.913, 6.432",\
                 "0.3292, 0.406, 0.6054, 0.9028, 1.31, 1.878, 2.647, 3.654, 4.913, 6.425",\
                 "0.3318, 0.4082, 0.6062, 0.9052, 1.311, 1.879, 2.649, 3.652, 4.913, 6.429",\
                 "0.333, 0.4102, 0.6082, 0.909, 1.313, 1.879, 2.646, 3.655, 4.912, 6.431",\
                 "0.336, 0.4132, 0.6126, 0.9104, 1.316, 1.881, 2.648, 3.65, 4.906, 6.429",\
                 "0.3406, 0.418, 0.6166, 0.914, 1.318, 1.883, 2.649, 3.652, 4.908, 6.422",\
                 "0.346, 0.422, 0.622, 0.92, 1.322, 1.884, 2.65, 3.656, 4.91, 6.43");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05817, 0.1431, 0.2755, 0.4613, 0.7057, 1.014, 1.39, 1.838");
          values("0.2338, 0.3314, 0.6292, 1.187, 2.104, 3.421, 5.148, 7.347, 10.01, 13.2",\
                 "0.2334, 0.3314, 0.629, 1.186, 2.107, 3.416, 5.157, 7.34, 10.02, 13.2",\
                 "0.233, 0.3314, 0.6294, 1.188, 2.103, 3.416, 5.155, 7.35, 10.01, 13.19",\
                 "0.2334, 0.3314, 0.6284, 1.187, 2.106, 3.416, 5.15, 7.35, 10.01, 13.2",\
                 "0.2334, 0.3318, 0.6294, 1.187, 2.106, 3.416, 5.155, 7.347, 10.01, 13.2",\
                 "0.2334, 0.3314, 0.6284, 1.187, 2.105, 3.415, 5.151, 7.342, 10.01, 13.2",\
                 "0.234, 0.3322, 0.6278, 1.187, 2.103, 3.415, 5.159, 7.346, 10.01, 13.2",\
                 "0.2334, 0.3312, 0.6286, 1.186, 2.102, 3.418, 5.156, 7.342, 10.01, 13.2",\
                 "0.234, 0.332, 0.628, 1.19, 2.102, 3.416, 5.15, 7.346, 10.01, 13.2",\
                 "0.234, 0.33, 0.626, 1.188, 2.102, 3.418, 5.152, 7.342, 10.02, 13.19");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05817, 0.1431, 0.2755, 0.4613, 0.7057, 1.014, 1.39, 1.838");
          values("3.062, 3.146, 3.358, 3.651, 4.007, 4.436, 4.957, 5.59, 6.35, 7.253",\
                 "3.077, 3.161, 3.372, 3.665, 4.022, 4.451, 4.972, 5.604, 6.365, 7.268",\
                 "3.139, 3.223, 3.434, 3.727, 4.084, 4.513, 5.034, 5.666, 6.427, 7.33",\
                 "3.277, 3.361, 3.572, 3.865, 4.222, 4.651, 5.172, 5.804, 6.565, 7.468",\
                 "3.533, 3.617, 3.828, 4.121, 4.478, 4.907, 5.428, 6.06, 6.821, 7.724",\
                 "3.911, 3.995, 4.206, 4.499, 4.856, 5.285, 5.806, 6.438, 7.199, 8.101",\
                 "4.395, 4.479, 4.691, 4.983, 5.34, 5.769, 6.29, 6.922, 7.683, 8.586",\
                 "4.988, 5.072, 5.283, 5.576, 5.932, 6.362, 6.882, 7.514, 8.275, 9.179",\
                 "5.69, 5.774, 5.985, 6.278, 6.635, 7.064, 7.585, 8.217, 8.978, 9.881",\
                 "6.501, 6.584, 6.796, 7.089, 7.446, 7.874, 8.395, 9.027, 9.789, 10.69");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05817, 0.1431, 0.2755, 0.4613, 0.7057, 1.014, 1.39, 1.838");
          values("3.258, 3.342, 3.576, 3.944, 4.483, 5.233, 6.219, 7.459, 8.974, 10.78",\
                 "3.283, 3.368, 3.602, 3.971, 4.509, 5.259, 6.245, 7.485, 9, 10.81",\
                 "3.361, 3.446, 3.68, 4.048, 4.587, 5.336, 6.322, 7.562, 9.078, 10.88",\
                 "3.437, 3.522, 3.756, 4.124, 4.663, 5.413, 6.399, 7.639, 9.154, 10.96",\
                 "3.461, 3.545, 3.779, 4.148, 4.687, 5.436, 6.422, 7.663, 9.177, 10.98",\
                 "3.427, 3.512, 3.746, 4.114, 4.653, 5.402, 6.387, 7.629, 9.143, 10.95",\
                 "3.319, 3.404, 3.638, 4.005, 4.545, 5.295, 6.281, 7.521, 9.036, 10.84",\
                 "3.131, 3.215, 3.449, 3.818, 4.357, 5.106, 6.091, 7.331, 8.847, 10.65",\
                 "2.86, 2.945, 3.179, 3.547, 4.086, 4.836, 5.821, 7.062, 8.576, 10.38",\
                 "2.503, 2.588, 2.822, 3.191, 3.729, 4.479, 5.464, 6.705, 8.219, 10.02");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05817, 0.1431, 0.2755, 0.4613, 0.7057, 1.014, 1.39, 1.838");
          values("0.325, 0.402, 0.5996, 0.9002, 1.308, 1.874, 2.645, 3.652, 4.91, 6.431",\
                 "0.3244, 0.4008, 0.6004, 0.8994, 1.308, 1.874, 2.646, 3.653, 4.912, 6.429",\
                 "0.3248, 0.4008, 0.6008, 0.9004, 1.307, 1.874, 2.644, 3.651, 4.913, 6.433",\
                 "0.325, 0.4008, 0.6016, 0.9002, 1.307, 1.874, 2.644, 3.651, 4.913, 6.433",\
                 "0.3246, 0.4014, 0.601, 0.8994, 1.307, 1.874, 2.645, 3.653, 4.913, 6.433",\
                 "0.325, 0.4012, 0.6008, 0.8994, 1.307, 1.874, 2.645, 3.654, 4.913, 6.43",\
                 "0.3248, 0.4016, 0.6012, 0.9016, 1.309, 1.876, 2.643, 3.653, 4.911, 6.432",\
                 "0.3246, 0.4012, 0.6008, 0.898, 1.307, 1.874, 2.646, 3.65, 4.912, 6.43",\
                 "0.324, 0.4, 0.602, 0.902, 1.306, 1.874, 2.644, 3.648, 4.906, 6.426",\
                 "0.326, 0.402, 0.6, 0.9, 1.31, 1.878, 2.646, 3.654, 4.908, 6.422");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05817, 0.1431, 0.2755, 0.4613, 0.7057, 1.014, 1.39, 1.838");
          values("0.2698, 0.3662, 0.6616, 1.211, 2.119, 3.427, 5.159, 7.342, 10.02, 13.19",\
                 "0.2698, 0.3662, 0.661, 1.21, 2.116, 3.431, 5.163, 7.347, 10.02, 13.19",\
                 "0.2698, 0.3674, 0.6612, 1.209, 2.115, 3.431, 5.163, 7.347, 10.02, 13.19",\
                 "0.2706, 0.367, 0.661, 1.211, 2.116, 3.424, 5.163, 7.345, 10.02, 13.19",\
                 "0.27, 0.3668, 0.6618, 1.209, 2.116, 3.424, 5.161, 7.35, 10.03, 13.18",\
                 "0.269, 0.3666, 0.6616, 1.21, 2.115, 3.429, 5.154, 7.344, 10.02, 13.19",\
                 "0.268, 0.3666, 0.6606, 1.208, 2.117, 3.422, 5.163, 7.347, 10.02, 13.19",\
                 "0.2684, 0.3652, 0.6604, 1.21, 2.115, 3.422, 5.157, 7.348, 10, 13.19",\
                 "0.2686, 0.365, 0.6606, 1.209, 2.117, 3.424, 5.154, 7.336, 10.01, 13.18",\
                 "0.268, 0.366, 0.66, 1.212, 2.118, 3.428, 5.16, 7.34, 10, 13.19");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05817, 0.1431, 0.2755, 0.4613, 0.7057, 1.014, 1.39, 1.838");
          values("3.314, 3.383, 3.553, 3.787, 4.087, 4.474, 4.97, 5.591, 6.348, 7.251",\
                 "3.34, 3.409, 3.579, 3.813, 4.113, 4.501, 4.997, 5.618, 6.375, 7.278",\
                 "3.425, 3.494, 3.664, 3.897, 4.197, 4.585, 5.081, 5.702, 6.459, 7.362",\
                 "3.609, 3.678, 3.848, 4.082, 4.382, 4.769, 5.265, 5.887, 6.644, 7.546",\
                 "3.929, 3.997, 4.168, 4.401, 4.701, 5.089, 5.585, 6.206, 6.963, 7.866",\
                 "4.397, 4.466, 4.636, 4.87, 5.17, 5.557, 6.053, 6.675, 7.431, 8.333",\
                 "4.988, 5.057, 5.227, 5.461, 5.761, 6.149, 6.645, 7.266, 8.023, 8.925",\
                 "5.668, 5.735, 5.905, 6.14, 6.441, 6.827, 7.323, 7.945, 8.702, 9.605",\
                 "6.439, 6.508, 6.677, 6.91, 7.211, 7.598, 8.095, 8.715, 9.472, 10.37",\
                 "7.307, 7.376, 7.546, 7.78, 8.08, 8.468, 8.964, 9.585, 10.34, 11.24");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05817, 0.1431, 0.2755, 0.4613, 0.7057, 1.014, 1.39, 1.838");
          values("2.282, 2.363, 2.591, 2.956, 3.496, 4.246, 5.232, 6.475, 7.993, 9.802",\
                 "2.301, 2.382, 2.61, 2.976, 3.516, 4.266, 5.252, 6.493, 8.013, 9.821",\
                 "2.372, 2.453, 2.681, 3.046, 3.586, 4.337, 5.323, 6.563, 8.083, 9.889",\
                 "2.506, 2.587, 2.815, 3.18, 3.72, 4.47, 5.457, 6.7, 8.218, 10.03",\
                 "2.667, 2.749, 2.977, 3.342, 3.882, 4.632, 5.619, 6.86, 8.379, 10.19",\
                 "2.792, 2.873, 3.1, 3.466, 4.006, 4.756, 5.742, 6.985, 8.5, 10.31",\
                 "2.865, 2.946, 3.174, 3.539, 4.079, 4.83, 5.817, 7.059, 8.575, 10.39",\
                 "2.883, 2.965, 3.192, 3.558, 4.098, 4.848, 5.833, 7.074, 8.591, 10.4",\
                 "2.839, 2.92, 3.147, 3.513, 4.052, 4.803, 5.788, 7.029, 8.543, 10.35",\
                 "2.72, 2.801, 3.029, 3.394, 3.934, 4.685, 5.67, 6.91, 8.425, 10.23");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05817, 0.1431, 0.2755, 0.4613, 0.7057, 1.014, 1.39, 1.838");
          values("0.2322, 0.2908, 0.4504, 0.706, 1.11, 1.708, 2.52, 3.568, 4.853, 6.381",\
                 "0.2316, 0.2902, 0.4498, 0.7068, 1.112, 1.707, 2.523, 3.569, 4.852, 6.388",\
                 "0.2314, 0.2906, 0.4506, 0.7068, 1.111, 1.706, 2.523, 3.569, 4.85, 6.389",\
                 "0.2316, 0.2902, 0.4504, 0.7068, 1.11, 1.706, 2.523, 3.568, 4.853, 6.381",\
                 "0.2318, 0.291, 0.4506, 0.7062, 1.111, 1.706, 2.52, 3.564, 4.852, 6.383",\
                 "0.2322, 0.2904, 0.45, 0.706, 1.11, 1.706, 2.522, 3.567, 4.854, 6.385",\
                 "0.2322, 0.2904, 0.4508, 0.7058, 1.11, 1.707, 2.523, 3.565, 4.851, 6.386",\
                 "0.232, 0.292, 0.45, 0.708, 1.112, 1.706, 2.524, 3.568, 4.852, 6.382",\
                 "0.232, 0.29, 0.45, 0.706, 1.112, 1.706, 2.52, 3.566, 4.848, 6.382",\
                 "0.232, 0.292, 0.45, 0.708, 1.112, 1.704, 2.52, 3.562, 4.85, 6.374");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05817, 0.1431, 0.2755, 0.4613, 0.7057, 1.014, 1.39, 1.838");
          values("0.2336, 0.3316, 0.6294, 1.187, 2.105, 3.415, 5.155, 7.339, 10.02, 13.2",\
                 "0.2342, 0.332, 0.6282, 1.187, 2.102, 3.42, 5.148, 7.34, 10.01, 13.2",\
                 "0.2342, 0.3328, 0.6284, 1.188, 2.102, 3.416, 5.149, 7.35, 10.02, 13.21",\
                 "0.2342, 0.3316, 0.6288, 1.188, 2.106, 3.416, 5.156, 7.339, 10.01, 13.2",\
                 "0.2342, 0.333, 0.6286, 1.188, 2.106, 3.422, 5.157, 7.339, 10.01, 13.2",\
                 "0.2344, 0.3318, 0.6286, 1.189, 2.105, 3.42, 5.155, 7.338, 10.02, 13.2",\
                 "0.2338, 0.3324, 0.6302, 1.187, 2.102, 3.421, 5.157, 7.339, 10.01, 13.2",\
                 "0.2346, 0.3322, 0.6286, 1.187, 2.104, 3.414, 5.152, 7.341, 10.01, 13.2",\
                 "0.2344, 0.3328, 0.6304, 1.187, 2.104, 3.42, 5.15, 7.334, 10.02, 13.18",\
                 "0.236, 0.332, 0.628, 1.19, 2.106, 3.416, 5.152, 7.334, 10.01, 13.19");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05817, 0.1431, 0.2755, 0.4613, 0.7057, 1.014, 1.39, 1.838");
          values("3.314, 3.383, 3.553, 3.787, 4.087, 4.474, 4.97, 5.591, 6.348, 7.251",\
                 "3.34, 3.409, 3.579, 3.813, 4.113, 4.501, 4.997, 5.618, 6.375, 7.278",\
                 "3.425, 3.494, 3.664, 3.897, 4.197, 4.585, 5.081, 5.702, 6.459, 7.362",\
                 "3.609, 3.678, 3.848, 4.082, 4.382, 4.769, 5.265, 5.887, 6.644, 7.546",\
                 "3.929, 3.997, 4.168, 4.401, 4.701, 5.089, 5.585, 6.206, 6.963, 7.866",\
                 "4.397, 4.466, 4.636, 4.87, 5.17, 5.557, 6.053, 6.675, 7.431, 8.333",\
                 "4.988, 5.057, 5.227, 5.461, 5.761, 6.149, 6.645, 7.266, 8.023, 8.925",\
                 "5.668, 5.735, 5.905, 6.14, 6.441, 6.827, 7.323, 7.945, 8.702, 9.605",\
                 "6.439, 6.508, 6.677, 6.91, 7.211, 7.598, 8.095, 8.715, 9.472, 10.37",\
                 "7.307, 7.376, 7.546, 7.78, 8.08, 8.468, 8.964, 9.585, 10.34, 11.24");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05817, 0.1431, 0.2755, 0.4613, 0.7057, 1.014, 1.39, 1.838");
          values("3.258, 3.342, 3.576, 3.944, 4.483, 5.233, 6.219, 7.459, 8.974, 10.78",\
                 "3.283, 3.368, 3.602, 3.971, 4.509, 5.259, 6.245, 7.485, 9, 10.81",\
                 "3.361, 3.446, 3.68, 4.048, 4.587, 5.336, 6.322, 7.562, 9.078, 10.88",\
                 "3.437, 3.522, 3.756, 4.124, 4.663, 5.413, 6.399, 7.639, 9.154, 10.96",\
                 "3.461, 3.545, 3.779, 4.148, 4.687, 5.436, 6.422, 7.663, 9.177, 10.98",\
                 "3.427, 3.512, 3.746, 4.114, 4.653, 5.402, 6.387, 7.629, 9.143, 10.95",\
                 "3.319, 3.404, 3.638, 4.005, 4.545, 5.295, 6.281, 7.521, 9.036, 10.84",\
                 "3.131, 3.215, 3.449, 3.818, 4.357, 5.106, 6.091, 7.331, 8.847, 10.65",\
                 "2.86, 2.945, 3.179, 3.547, 4.086, 4.836, 5.821, 7.062, 8.576, 10.38",\
                 "2.503, 2.588, 2.822, 3.191, 3.729, 4.479, 5.464, 6.705, 8.219, 10.02");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05817, 0.1431, 0.2755, 0.4613, 0.7057, 1.014, 1.39, 1.838");
          values("0.325, 0.402, 0.5996, 0.9002, 1.308, 1.874, 2.645, 3.652, 4.91, 6.431",\
                 "0.3244, 0.4008, 0.6004, 0.8994, 1.308, 1.874, 2.646, 3.653, 4.912, 6.429",\
                 "0.3248, 0.4008, 0.6008, 0.9004, 1.307, 1.874, 2.644, 3.651, 4.913, 6.433",\
                 "0.325, 0.4008, 0.6016, 0.9002, 1.307, 1.874, 2.644, 3.651, 4.913, 6.433",\
                 "0.3246, 0.4014, 0.601, 0.8994, 1.307, 1.874, 2.645, 3.653, 4.913, 6.433",\
                 "0.325, 0.4012, 0.6008, 0.8994, 1.307, 1.874, 2.645, 3.654, 4.913, 6.43",\
                 "0.3248, 0.4016, 0.6012, 0.9016, 1.309, 1.876, 2.643, 3.653, 4.911, 6.432",\
                 "0.3246, 0.4012, 0.6008, 0.898, 1.307, 1.874, 2.646, 3.65, 4.912, 6.43",\
                 "0.324, 0.4, 0.602, 0.902, 1.306, 1.874, 2.644, 3.648, 4.906, 6.426",\
                 "0.326, 0.402, 0.6, 0.9, 1.31, 1.878, 2.646, 3.654, 4.908, 6.422");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05817, 0.1431, 0.2755, 0.4613, 0.7057, 1.014, 1.39, 1.838");
          values("0.2336, 0.3316, 0.6294, 1.187, 2.105, 3.415, 5.155, 7.339, 10.02, 13.2",\
                 "0.2342, 0.332, 0.6282, 1.187, 2.102, 3.42, 5.148, 7.34, 10.01, 13.2",\
                 "0.2342, 0.3328, 0.6284, 1.188, 2.102, 3.416, 5.149, 7.35, 10.02, 13.21",\
                 "0.2342, 0.3316, 0.6288, 1.188, 2.106, 3.416, 5.156, 7.339, 10.01, 13.2",\
                 "0.2342, 0.333, 0.6286, 1.188, 2.106, 3.422, 5.157, 7.339, 10.01, 13.2",\
                 "0.2344, 0.3318, 0.6286, 1.189, 2.105, 3.42, 5.155, 7.338, 10.02, 13.2",\
                 "0.2338, 0.3324, 0.6302, 1.187, 2.102, 3.421, 5.157, 7.339, 10.01, 13.2",\
                 "0.2346, 0.3322, 0.6286, 1.187, 2.104, 3.414, 5.152, 7.341, 10.01, 13.2",\
                 "0.2344, 0.3328, 0.6304, 1.187, 2.104, 3.42, 5.15, 7.334, 10.02, 13.18",\
                 "0.236, 0.332, 0.628, 1.19, 2.106, 3.416, 5.152, 7.334, 10.01, 13.19");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05817, 0.1431, 0.2755, 0.4613, 0.7057, 1.014, 1.39, 1.838");
          values("3.714, 3.783, 3.953, 4.187, 4.487, 4.875, 5.371, 5.992, 6.749, 7.652",\
                 "3.739, 3.808, 3.978, 4.212, 4.512, 4.9, 5.396, 6.017, 6.774, 7.676",\
                 "3.815, 3.884, 4.054, 4.288, 4.588, 4.976, 5.472, 6.093, 6.85, 7.752",\
                 "3.886, 3.955, 4.125, 4.359, 4.659, 5.046, 5.542, 6.164, 6.92, 7.822",\
                 "3.9, 3.969, 4.139, 4.372, 4.673, 5.06, 5.556, 6.177, 6.934, 7.836",\
                 "3.845, 3.914, 4.084, 4.318, 4.618, 5.005, 5.502, 6.123, 6.879, 7.782",\
                 "3.716, 3.785, 3.956, 4.19, 4.489, 4.877, 5.373, 5.994, 6.752, 7.654",\
                 "3.499, 3.569, 3.738, 3.972, 4.272, 4.66, 5.156, 5.776, 6.533, 7.435",\
                 "3.191, 3.26, 3.43, 3.664, 3.964, 4.351, 4.847, 5.468, 6.226, 7.127",\
                 "2.783, 2.852, 3.022, 3.256, 3.556, 3.944, 4.44, 5.061, 5.818, 6.72");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05817, 0.1431, 0.2755, 0.4613, 0.7057, 1.014, 1.39, 1.838");
          values("3.328, 3.409, 3.637, 4.002, 4.542, 5.293, 6.278, 7.521, 9.036, 10.84",\
                 "3.337, 3.418, 3.645, 4.01, 4.55, 5.301, 6.288, 7.529, 9.048, 10.85",\
                 "3.414, 3.495, 3.723, 4.088, 4.628, 5.379, 6.365, 7.606, 9.123, 10.93",\
                 "3.624, 3.705, 3.933, 4.298, 4.838, 5.588, 6.575, 7.816, 9.333, 11.14",\
                 "3.98, 4.061, 4.288, 4.653, 5.193, 5.944, 6.93, 8.171, 9.69, 11.49",\
                 "4.463, 4.544, 4.772, 5.137, 5.677, 6.427, 7.414, 8.654, 10.17, 11.98",\
                 "5.046, 5.128, 5.355, 5.721, 6.26, 7.011, 7.997, 9.239, 10.76, 12.56",\
                 "5.737, 5.818, 6.046, 6.411, 6.952, 7.702, 8.689, 9.93, 11.44, 13.26",\
                 "6.551, 6.632, 6.86, 7.225, 7.764, 8.515, 9.501, 10.74, 12.26, 14.06",\
                 "7.491, 7.572, 7.8, 8.166, 8.705, 9.456, 10.44, 11.68, 13.2, 15");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05817, 0.1431, 0.2755, 0.4613, 0.7057, 1.014, 1.39, 1.838");
          values("0.2318, 0.2908, 0.4498, 0.707, 1.11, 1.705, 2.522, 3.567, 4.853, 6.388",\
                 "0.2314, 0.2904, 0.4506, 0.7062, 1.11, 1.707, 2.523, 3.568, 4.853, 6.38",\
                 "0.2318, 0.2904, 0.45, 0.7058, 1.111, 1.706, 2.522, 3.566, 4.853, 6.381",\
                 "0.2318, 0.2906, 0.4498, 0.706, 1.11, 1.706, 2.522, 3.567, 4.853, 6.384",\
                 "0.2318, 0.2904, 0.4502, 0.707, 1.11, 1.707, 2.523, 3.568, 4.853, 6.381",\
                 "0.232, 0.2902, 0.4506, 0.7076, 1.111, 1.706, 2.523, 3.565, 4.852, 6.388",\
                 "0.2322, 0.2904, 0.4496, 0.7078, 1.111, 1.707, 2.522, 3.566, 4.854, 6.388",\
                 "0.2322, 0.2904, 0.451, 0.7064, 1.11, 1.707, 2.52, 3.563, 4.851, 6.388",\
                 "0.2318, 0.2904, 0.4494, 0.7066, 1.11, 1.707, 2.52, 3.566, 4.848, 6.378",\
                 "0.232, 0.29, 0.45, 0.706, 1.11, 1.706, 2.524, 3.564, 4.848, 6.384");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05817, 0.1431, 0.2755, 0.4613, 0.7057, 1.014, 1.39, 1.838");
          values("0.2334, 0.3316, 0.6286, 1.187, 2.102, 3.42, 5.154, 7.339, 10.01, 13.19",\
                 "0.2332, 0.3326, 0.6286, 1.187, 2.102, 3.416, 5.156, 7.338, 10.01, 13.19",\
                 "0.2346, 0.3318, 0.6286, 1.187, 2.103, 3.416, 5.156, 7.34, 10.01, 13.2",\
                 "0.2332, 0.3314, 0.6286, 1.187, 2.104, 3.423, 5.156, 7.34, 10.01, 13.2",\
                 "0.2334, 0.332, 0.629, 1.187, 2.103, 3.42, 5.156, 7.34, 10.01, 13.2",\
                 "0.2332, 0.3316, 0.629, 1.187, 2.105, 3.418, 5.156, 7.338, 10.01, 13.2",\
                 "0.2334, 0.331, 0.6284, 1.187, 2.102, 3.42, 5.149, 7.336, 10.01, 13.2",\
                 "0.234, 0.332, 0.628, 1.188, 2.104, 3.42, 5.156, 7.336, 10.01, 13.2",\
                 "0.234, 0.332, 0.628, 1.188, 2.104, 3.416, 5.158, 7.344, 10.01, 13.19",\
                 "0.232, 0.332, 0.626, 1.188, 2.102, 3.414, 5.148, 7.342, 10.01, 13.19");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05817, 0.1431, 0.2755, 0.4613, 0.7057, 1.014, 1.39, 1.838");
          values("1.936, 2.02, 2.232, 2.525, 2.883, 3.312, 3.833, 4.466, 5.227, 6.129",\
                 "1.956, 2.041, 2.252, 2.546, 2.903, 3.333, 3.854, 4.486, 5.247, 6.15",\
                 "2.002, 2.086, 2.298, 2.591, 2.949, 3.378, 3.899, 4.532, 5.293, 6.195",\
                 "2.078, 2.163, 2.375, 2.668, 3.025, 3.455, 3.976, 4.608, 5.369, 6.273",\
                 "2.165, 2.249, 2.461, 2.755, 3.112, 3.542, 4.062, 4.695, 5.456, 6.359",\
                 "2.22, 2.305, 2.517, 2.811, 3.169, 3.598, 4.12, 4.752, 5.513, 6.416",\
                 "2.227, 2.311, 2.525, 2.819, 3.177, 3.607, 4.129, 4.76, 5.521, 6.424",\
                 "2.173, 2.258, 2.471, 2.766, 3.125, 3.555, 4.077, 4.709, 5.47, 6.372",\
                 "2.047, 2.133, 2.346, 2.643, 3.002, 3.433, 3.955, 4.587, 5.347, 6.249",\
                 "1.839, 1.926, 2.141, 2.438, 2.799, 3.23, 3.753, 4.385, 5.146, 6.049");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05817, 0.1431, 0.2755, 0.4613, 0.7057, 1.014, 1.39, 1.838");
          values("2.867, 2.952, 3.186, 3.554, 4.093, 4.842, 5.828, 7.069, 8.583, 10.39",\
                 "2.886, 2.97, 3.205, 3.573, 4.112, 4.861, 5.847, 7.087, 8.602, 10.41",\
                 "2.975, 3.059, 3.293, 3.662, 4.201, 4.95, 5.935, 7.177, 8.69, 10.5",\
                 "3.165, 3.25, 3.484, 3.853, 4.391, 5.141, 6.127, 7.367, 8.882, 10.69",\
                 "3.49, 3.575, 3.809, 4.177, 4.716, 5.466, 6.452, 7.692, 9.207, 11.01",\
                 "3.968, 4.052, 4.287, 4.655, 5.194, 5.943, 6.929, 8.17, 9.684, 11.49",\
                 "4.585, 4.67, 4.904, 5.273, 5.811, 6.561, 7.546, 8.787, 10.3, 12.11",\
                 "5.306, 5.391, 5.627, 5.995, 6.533, 7.282, 8.268, 9.508, 11.02, 12.83",\
                 "6.123, 6.21, 6.446, 6.815, 7.354, 8.103, 9.088, 10.33, 11.84, 13.65",\
                 "7.054, 7.14, 7.376, 7.746, 8.285, 9.033, 10.02, 11.26, 12.77, 14.58");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05817, 0.1431, 0.2755, 0.4613, 0.7057, 1.014, 1.39, 1.838");
          values("0.328, 0.4054, 0.604, 0.9024, 1.311, 1.876, 2.646, 3.655, 4.912, 6.433",\
                 "0.328, 0.405, 0.604, 0.9026, 1.31, 1.878, 2.647, 3.655, 4.913, 6.433",\
                 "0.3284, 0.4048, 0.6044, 0.9026, 1.312, 1.878, 2.646, 3.654, 4.912, 6.433",\
                 "0.3284, 0.405, 0.604, 0.9028, 1.31, 1.878, 2.648, 3.654, 4.913, 6.425",\
                 "0.329, 0.4056, 0.6054, 0.905, 1.311, 1.877, 2.648, 3.655, 4.911, 6.433",\
                 "0.3306, 0.4076, 0.6066, 0.905, 1.313, 1.878, 2.649, 3.655, 4.909, 6.432",\
                 "0.3332, 0.4102, 0.6088, 0.9068, 1.312, 1.878, 2.647, 3.655, 4.912, 6.432",\
                 "0.3366, 0.413, 0.613, 0.91, 1.315, 1.879, 2.65, 3.649, 4.904, 6.431",\
                 "0.3402, 0.417, 0.6168, 0.915, 1.32, 1.882, 2.649, 3.653, 4.906, 6.422",\
                 "0.3446, 0.4218, 0.623, 0.92, 1.322, 1.886, 2.654, 3.658, 4.912, 6.422");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05817, 0.1431, 0.2755, 0.4613, 0.7057, 1.014, 1.39, 1.838");
          values("0.27, 0.3674, 0.6616, 1.211, 2.117, 3.424, 5.16, 7.35, 10.03, 13.18",\
                 "0.27, 0.3664, 0.6612, 1.209, 2.118, 3.43, 5.163, 7.346, 10.02, 13.19",\
                 "0.2696, 0.3658, 0.6604, 1.21, 2.116, 3.424, 5.156, 7.347, 10.02, 13.19",\
                 "0.2698, 0.3674, 0.6604, 1.209, 2.115, 3.424, 5.163, 7.349, 10.03, 13.19",\
                 "0.2698, 0.367, 0.6606, 1.209, 2.115, 3.423, 5.163, 7.349, 10.03, 13.19",\
                 "0.271, 0.3672, 0.6608, 1.21, 2.115, 3.424, 5.163, 7.351, 10.03, 13.19",\
                 "0.2722, 0.3686, 0.6654, 1.21, 2.117, 3.422, 5.16, 7.338, 10.03, 13.19",\
                 "0.2758, 0.3728, 0.6662, 1.212, 2.118, 3.43, 5.16, 7.346, 10.03, 13.19",\
                 "0.28, 0.378, 0.672, 1.214, 2.116, 3.422, 5.158, 7.346, 10.01, 13.19",\
                 "0.286, 0.382, 0.676, 1.218, 2.12, 3.422, 5.156, 7.346, 10.02, 13.19");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05817, 0.1431, 0.2755, 0.4613, 0.7057, 1.014, 1.39, 1.838");
          values("3.714, 3.783, 3.953, 4.187, 4.487, 4.875, 5.371, 5.992, 6.749, 7.652",\
                 "3.739, 3.808, 3.978, 4.212, 4.512, 4.9, 5.396, 6.017, 6.774, 7.676",\
                 "3.815, 3.884, 4.054, 4.288, 4.588, 4.976, 5.472, 6.093, 6.85, 7.752",\
                 "3.886, 3.955, 4.125, 4.359, 4.659, 5.046, 5.542, 6.164, 6.92, 7.822",\
                 "3.9, 3.969, 4.139, 4.372, 4.673, 5.06, 5.556, 6.177, 6.934, 7.836",\
                 "3.845, 3.914, 4.084, 4.318, 4.618, 5.005, 5.502, 6.123, 6.879, 7.782",\
                 "3.716, 3.785, 3.956, 4.19, 4.489, 4.877, 5.373, 5.994, 6.752, 7.654",\
                 "3.499, 3.569, 3.738, 3.972, 4.272, 4.66, 5.156, 5.776, 6.533, 7.435",\
                 "3.191, 3.26, 3.43, 3.664, 3.964, 4.351, 4.847, 5.468, 6.226, 7.127",\
                 "2.783, 2.852, 3.022, 3.256, 3.556, 3.944, 4.44, 5.061, 5.818, 6.72");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05817, 0.1431, 0.2755, 0.4613, 0.7057, 1.014, 1.39, 1.838");
          values("3.328, 3.409, 3.637, 4.002, 4.542, 5.293, 6.278, 7.521, 9.036, 10.84",\
                 "3.337, 3.418, 3.645, 4.01, 4.55, 5.301, 6.288, 7.529, 9.048, 10.85",\
                 "3.414, 3.495, 3.723, 4.088, 4.628, 5.379, 6.365, 7.606, 9.123, 10.93",\
                 "3.624, 3.705, 3.933, 4.298, 4.838, 5.588, 6.575, 7.816, 9.333, 11.14",\
                 "3.98, 4.061, 4.288, 4.653, 5.193, 5.944, 6.93, 8.171, 9.69, 11.49",\
                 "4.463, 4.544, 4.772, 5.137, 5.677, 6.427, 7.414, 8.654, 10.17, 11.98",\
                 "5.046, 5.128, 5.355, 5.721, 6.26, 7.011, 7.997, 9.239, 10.76, 12.56",\
                 "5.737, 5.818, 6.046, 6.411, 6.952, 7.702, 8.689, 9.93, 11.44, 13.26",\
                 "6.551, 6.632, 6.86, 7.225, 7.764, 8.515, 9.501, 10.74, 12.26, 14.06",\
                 "7.491, 7.572, 7.8, 8.166, 8.705, 9.456, 10.44, 11.68, 13.2, 15");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05817, 0.1431, 0.2755, 0.4613, 0.7057, 1.014, 1.39, 1.838");
          values("0.328, 0.4054, 0.604, 0.9024, 1.311, 1.876, 2.646, 3.655, 4.912, 6.433",\
                 "0.328, 0.405, 0.604, 0.9026, 1.31, 1.878, 2.647, 3.655, 4.913, 6.433",\
                 "0.3284, 0.4048, 0.6044, 0.9026, 1.312, 1.878, 2.646, 3.654, 4.912, 6.433",\
                 "0.3284, 0.405, 0.604, 0.9028, 1.31, 1.878, 2.648, 3.654, 4.913, 6.425",\
                 "0.329, 0.4056, 0.6054, 0.905, 1.311, 1.877, 2.648, 3.655, 4.911, 6.433",\
                 "0.3306, 0.4076, 0.6066, 0.905, 1.313, 1.878, 2.649, 3.655, 4.909, 6.432",\
                 "0.3332, 0.4102, 0.6088, 0.9068, 1.312, 1.878, 2.647, 3.655, 4.912, 6.432",\
                 "0.3366, 0.413, 0.613, 0.91, 1.315, 1.879, 2.65, 3.649, 4.904, 6.431",\
                 "0.3402, 0.417, 0.6168, 0.915, 1.32, 1.882, 2.649, 3.653, 4.906, 6.422",\
                 "0.3446, 0.4218, 0.623, 0.92, 1.322, 1.886, 2.654, 3.658, 4.912, 6.422");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05817, 0.1431, 0.2755, 0.4613, 0.7057, 1.014, 1.39, 1.838");
          values("0.2334, 0.3316, 0.6286, 1.187, 2.102, 3.42, 5.154, 7.339, 10.01, 13.19",\
                 "0.2332, 0.3326, 0.6286, 1.187, 2.102, 3.416, 5.156, 7.338, 10.01, 13.19",\
                 "0.2346, 0.3318, 0.6286, 1.187, 2.103, 3.416, 5.156, 7.34, 10.01, 13.2",\
                 "0.2332, 0.3314, 0.6286, 1.187, 2.104, 3.423, 5.156, 7.34, 10.01, 13.2",\
                 "0.2334, 0.332, 0.629, 1.187, 2.103, 3.42, 5.156, 7.34, 10.01, 13.2",\
                 "0.2332, 0.3316, 0.629, 1.187, 2.105, 3.418, 5.156, 7.338, 10.01, 13.2",\
                 "0.2334, 0.331, 0.6284, 1.187, 2.102, 3.42, 5.149, 7.336, 10.01, 13.2",\
                 "0.234, 0.332, 0.628, 1.188, 2.104, 3.42, 5.156, 7.336, 10.01, 13.2",\
                 "0.234, 0.332, 0.628, 1.188, 2.104, 3.416, 5.158, 7.344, 10.01, 13.19",\
                 "0.232, 0.332, 0.626, 1.188, 2.102, 3.414, 5.148, 7.342, 10.01, 13.19");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05817, 0.1431, 0.2755, 0.4613, 0.7057, 1.014, 1.39, 1.838");
          values("2.979, 3.063, 3.274, 3.568, 3.924, 4.353, 4.874, 5.506, 6.267, 7.17",\
                 "2.988, 3.072, 3.284, 3.576, 3.933, 4.362, 4.883, 5.515, 6.276, 7.179",\
                 "3.066, 3.15, 3.361, 3.654, 4.011, 4.44, 4.961, 5.593, 6.354, 7.257",\
                 "3.276, 3.36, 3.571, 3.864, 4.221, 4.65, 5.171, 5.803, 6.564, 7.467",\
                 "3.631, 3.715, 3.927, 4.219, 4.576, 5.005, 5.526, 6.158, 6.919, 7.822",\
                 "4.114, 4.197, 4.409, 4.701, 5.058, 5.488, 6.008, 6.641, 7.402, 8.304",\
                 "4.695, 4.779, 4.991, 5.284, 5.641, 6.071, 6.591, 7.224, 7.984, 8.887",\
                 "5.386, 5.469, 5.681, 5.974, 6.33, 6.76, 7.281, 7.913, 8.674, 9.577",\
                 "6.197, 6.28, 6.491, 6.784, 7.141, 7.57, 8.092, 8.723, 9.485, 10.39",\
                 "7.133, 7.218, 7.428, 7.722, 8.078, 8.508, 9.028, 9.661, 10.42, 11.32");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05817, 0.1431, 0.2755, 0.4613, 0.7057, 1.014, 1.39, 1.838");
          values("3.135, 3.22, 3.453, 3.821, 4.361, 5.11, 6.096, 7.337, 8.851, 10.66",\
                 "3.16, 3.245, 3.478, 3.847, 4.386, 5.136, 6.121, 7.362, 8.877, 10.68",\
                 "3.237, 3.321, 3.554, 3.923, 4.461, 5.212, 6.198, 7.439, 8.953, 10.76",\
                 "3.307, 3.391, 3.625, 3.994, 4.532, 5.282, 6.268, 7.509, 9.023, 10.83",\
                 "3.32, 3.405, 3.638, 4.007, 4.546, 5.296, 6.282, 7.522, 9.037, 10.84",\
                 "3.267, 3.352, 3.585, 3.953, 4.492, 5.242, 6.228, 7.468, 8.982, 10.79",\
                 "3.137, 3.222, 3.455, 3.823, 4.362, 5.112, 6.098, 7.339, 8.854, 10.66",\
                 "2.921, 3.005, 3.239, 3.608, 4.147, 4.896, 5.881, 7.121, 8.636, 10.44",\
                 "2.613, 2.697, 2.931, 3.3, 3.838, 4.588, 5.573, 6.814, 8.328, 10.13",\
                 "2.205, 2.29, 2.523, 2.892, 3.43, 4.18, 5.165, 6.406, 7.921, 9.725");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05817, 0.1431, 0.2755, 0.4613, 0.7057, 1.014, 1.39, 1.838");
          values("0.3244, 0.401, 0.6018, 0.9002, 1.308, 1.874, 2.644, 3.653, 4.913, 6.432",\
                 "0.3248, 0.4016, 0.6004, 0.8994, 1.308, 1.876, 2.644, 3.653, 4.911, 6.43",\
                 "0.325, 0.4016, 0.6004, 0.8996, 1.307, 1.874, 2.645, 3.654, 4.912, 6.429",\
                 "0.3248, 0.4012, 0.6014, 0.901, 1.308, 1.875, 2.645, 3.653, 4.913, 6.432",\
                 "0.3244, 0.4014, 0.6008, 0.8998, 1.307, 1.873, 2.645, 3.652, 4.909, 6.431",\
                 "0.325, 0.401, 0.5996, 0.9002, 1.307, 1.875, 2.645, 3.65, 4.909, 6.432",\
                 "0.3246, 0.4018, 0.6, 0.8998, 1.309, 1.877, 2.644, 3.653, 4.913, 6.432",\
                 "0.3246, 0.4016, 0.6012, 0.9, 1.306, 1.876, 2.646, 3.65, 4.912, 6.43",\
                 "0.324, 0.4, 0.602, 0.9, 1.308, 1.872, 2.646, 3.65, 4.91, 6.432",\
                 "0.326, 0.402, 0.6, 0.9, 1.308, 1.876, 2.644, 3.648, 4.91, 6.432");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05817, 0.1431, 0.2755, 0.4613, 0.7057, 1.014, 1.39, 1.838");
          values("0.268, 0.3654, 0.6598, 1.21, 2.117, 3.424, 5.158, 7.349, 10.03, 13.18",\
                 "0.2678, 0.3652, 0.661, 1.208, 2.117, 3.424, 5.16, 7.35, 10.03, 13.19",\
                 "0.2682, 0.365, 0.6598, 1.208, 2.114, 3.424, 5.161, 7.35, 10.03, 13.19",\
                 "0.268, 0.365, 0.6602, 1.208, 2.116, 3.424, 5.16, 7.35, 10.03, 13.19",\
                 "0.268, 0.365, 0.6604, 1.208, 2.116, 3.424, 5.163, 7.349, 10.03, 13.19",\
                 "0.2678, 0.3642, 0.6588, 1.208, 2.118, 3.422, 5.156, 7.343, 10.01, 13.18",\
                 "0.2676, 0.3652, 0.659, 1.209, 2.117, 3.424, 5.158, 7.343, 10.02, 13.19",\
                 "0.2676, 0.3652, 0.6606, 1.209, 2.119, 3.422, 5.155, 7.343, 10.03, 13.19",\
                 "0.2676, 0.364, 0.6594, 1.21, 2.117, 3.425, 5.156, 7.342, 10.02, 13.19",\
                 "0.27, 0.364, 0.66, 1.208, 2.116, 3.428, 5.156, 7.346, 10, 13.19");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05817, 0.1431, 0.2755, 0.4613, 0.7057, 1.014, 1.39, 1.838");
          values("3.439, 3.508, 3.678, 3.912, 4.212, 4.6, 5.096, 5.717, 6.474, 7.377",\
                 "3.458, 3.527, 3.697, 3.931, 4.231, 4.618, 5.114, 5.735, 6.492, 7.395",\
                 "3.547, 3.616, 3.786, 4.02, 4.32, 4.707, 5.203, 5.824, 6.582, 7.483",\
                 "3.737, 3.806, 3.976, 4.21, 4.51, 4.898, 5.394, 6.015, 6.772, 7.675",\
                 "4.062, 4.131, 4.301, 4.535, 4.835, 5.222, 5.718, 6.34, 7.096, 7.999",\
                 "4.538, 4.607, 4.777, 5.011, 5.311, 5.699, 6.195, 6.816, 7.573, 8.475",\
                 "5.151, 5.22, 5.39, 5.624, 5.925, 6.312, 6.808, 7.429, 8.185, 9.088",\
                 "5.863, 5.933, 6.102, 6.335, 6.636, 7.023, 7.52, 8.141, 8.898, 9.8",\
                 "6.673, 6.742, 6.912, 7.146, 7.446, 7.834, 8.33, 8.951, 9.708, 10.61",\
                 "7.593, 7.66, 7.83, 8.066, 8.366, 8.753, 9.25, 9.87, 10.63, 11.53");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05817, 0.1431, 0.2755, 0.4613, 0.7057, 1.014, 1.39, 1.838");
          values("2.306, 2.387, 2.615, 2.98, 3.52, 4.27, 5.257, 6.499, 8.017, 9.821",\
                 "2.326, 2.408, 2.635, 3.001, 3.54, 4.29, 5.277, 6.52, 8.037, 9.841",\
                 "2.371, 2.453, 2.681, 3.046, 3.586, 4.336, 5.323, 6.565, 8.082, 9.892",\
                 "2.45, 2.531, 2.759, 3.124, 3.664, 4.415, 5.401, 6.644, 8.162, 9.97",\
                 "2.546, 2.627, 2.855, 3.22, 3.76, 4.511, 5.497, 6.74, 8.255, 10.07",\
                 "2.612, 2.694, 2.921, 3.287, 3.826, 4.577, 5.562, 6.807, 8.321, 10.13",\
                 "2.631, 2.713, 2.941, 3.306, 3.846, 4.596, 5.584, 6.826, 8.342, 10.15",\
                 "2.591, 2.673, 2.9, 3.266, 3.805, 4.555, 5.541, 6.782, 8.296, 10.1",\
                 "2.478, 2.559, 2.788, 3.154, 3.693, 4.444, 5.43, 6.669, 8.183, 9.989",\
                 "2.284, 2.366, 2.594, 2.959, 3.498, 4.249, 5.235, 6.477, 7.99, 9.794");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05817, 0.1431, 0.2755, 0.4613, 0.7057, 1.014, 1.39, 1.838");
          values("0.2316, 0.2908, 0.451, 0.7066, 1.111, 1.708, 2.523, 3.569, 4.852, 6.388",\
                 "0.2314, 0.2906, 0.4498, 0.7066, 1.112, 1.707, 2.521, 3.565, 4.854, 6.387",\
                 "0.2318, 0.2902, 0.45, 0.7076, 1.11, 1.707, 2.523, 3.569, 4.853, 6.384",\
                 "0.2314, 0.2904, 0.4498, 0.706, 1.11, 1.706, 2.523, 3.569, 4.853, 6.389",\
                 "0.2318, 0.2906, 0.4494, 0.7074, 1.11, 1.706, 2.523, 3.565, 4.853, 6.38",\
                 "0.232, 0.2902, 0.45, 0.7068, 1.111, 1.706, 2.522, 3.567, 4.854, 6.38",\
                 "0.2316, 0.2904, 0.4504, 0.7074, 1.112, 1.707, 2.519, 3.569, 4.854, 6.38",\
                 "0.232, 0.29, 0.45, 0.706, 1.11, 1.706, 2.524, 3.568, 4.85, 6.386",\
                 "0.232, 0.29, 0.452, 0.708, 1.11, 1.706, 2.52, 3.568, 4.848, 6.382",\
                 "0.232, 0.29, 0.45, 0.708, 1.112, 1.706, 2.522, 3.566, 4.846, 6.38");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05817, 0.1431, 0.2755, 0.4613, 0.7057, 1.014, 1.39, 1.838");
          values("0.2336, 0.3322, 0.6288, 1.187, 2.106, 3.415, 5.157, 7.337, 10.02, 13.21",\
                 "0.2342, 0.3326, 0.6284, 1.187, 2.102, 3.415, 5.156, 7.341, 10.02, 13.2",\
                 "0.2344, 0.3316, 0.6286, 1.187, 2.107, 3.416, 5.156, 7.341, 10.02, 13.2",\
                 "0.2346, 0.332, 0.628, 1.187, 2.103, 3.42, 5.15, 7.341, 10.01, 13.2",\
                 "0.2342, 0.3326, 0.628, 1.188, 2.106, 3.422, 5.156, 7.339, 10.02, 13.2",\
                 "0.2342, 0.332, 0.6292, 1.187, 2.102, 3.422, 5.161, 7.34, 10.02, 13.2",\
                 "0.2342, 0.3324, 0.6286, 1.189, 2.104, 3.418, 5.155, 7.34, 10.01, 13.2",\
                 "0.234, 0.3326, 0.63, 1.187, 2.103, 3.417, 5.149, 7.344, 10.01, 13.19",\
                 "0.2344, 0.3324, 0.6296, 1.187, 2.102, 3.419, 5.152, 7.336, 10.02, 13.19",\
                 "0.234, 0.334, 0.63, 1.188, 2.102, 3.414, 5.152, 7.346, 10, 13.18");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05817, 0.1431, 0.2755, 0.4613, 0.7057, 1.014, 1.39, 1.838");
          values("3.439, 3.508, 3.678, 3.912, 4.212, 4.6, 5.096, 5.717, 6.474, 7.377",\
                 "3.458, 3.527, 3.697, 3.931, 4.231, 4.618, 5.114, 5.735, 6.492, 7.395",\
                 "3.547, 3.616, 3.786, 4.02, 4.32, 4.707, 5.203, 5.824, 6.582, 7.483",\
                 "3.737, 3.806, 3.976, 4.21, 4.51, 4.898, 5.394, 6.015, 6.772, 7.675",\
                 "4.062, 4.131, 4.301, 4.535, 4.835, 5.222, 5.718, 6.34, 7.096, 7.999",\
                 "4.538, 4.607, 4.777, 5.011, 5.311, 5.699, 6.195, 6.816, 7.573, 8.475",\
                 "5.151, 5.22, 5.39, 5.624, 5.925, 6.312, 6.808, 7.429, 8.185, 9.088",\
                 "5.863, 5.933, 6.102, 6.335, 6.636, 7.023, 7.52, 8.141, 8.898, 9.8",\
                 "6.673, 6.742, 6.912, 7.146, 7.446, 7.834, 8.33, 8.951, 9.708, 10.61",\
                 "7.593, 7.66, 7.83, 8.066, 8.366, 8.753, 9.25, 9.87, 10.63, 11.53");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05817, 0.1431, 0.2755, 0.4613, 0.7057, 1.014, 1.39, 1.838");
          values("3.135, 3.22, 3.453, 3.821, 4.361, 5.11, 6.096, 7.337, 8.851, 10.66",\
                 "3.16, 3.245, 3.478, 3.847, 4.386, 5.136, 6.121, 7.362, 8.877, 10.68",\
                 "3.237, 3.321, 3.554, 3.923, 4.461, 5.212, 6.198, 7.439, 8.953, 10.76",\
                 "3.307, 3.391, 3.625, 3.994, 4.532, 5.282, 6.268, 7.509, 9.023, 10.83",\
                 "3.32, 3.405, 3.638, 4.007, 4.546, 5.296, 6.282, 7.522, 9.037, 10.84",\
                 "3.267, 3.352, 3.585, 3.953, 4.492, 5.242, 6.228, 7.468, 8.982, 10.79",\
                 "3.137, 3.222, 3.455, 3.823, 4.362, 5.112, 6.098, 7.339, 8.854, 10.66",\
                 "2.921, 3.005, 3.239, 3.608, 4.147, 4.896, 5.881, 7.121, 8.636, 10.44",\
                 "2.613, 2.697, 2.931, 3.3, 3.838, 4.588, 5.573, 6.814, 8.328, 10.13",\
                 "2.205, 2.29, 2.523, 2.892, 3.43, 4.18, 5.165, 6.406, 7.921, 9.725");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05817, 0.1431, 0.2755, 0.4613, 0.7057, 1.014, 1.39, 1.838");
          values("0.3244, 0.401, 0.6018, 0.9002, 1.308, 1.874, 2.644, 3.653, 4.913, 6.432",\
                 "0.3248, 0.4016, 0.6004, 0.8994, 1.308, 1.876, 2.644, 3.653, 4.911, 6.43",\
                 "0.325, 0.4016, 0.6004, 0.8996, 1.307, 1.874, 2.645, 3.654, 4.912, 6.429",\
                 "0.3248, 0.4012, 0.6014, 0.901, 1.308, 1.875, 2.645, 3.653, 4.913, 6.432",\
                 "0.3244, 0.4014, 0.6008, 0.8998, 1.307, 1.873, 2.645, 3.652, 4.909, 6.431",\
                 "0.325, 0.401, 0.5996, 0.9002, 1.307, 1.875, 2.645, 3.65, 4.909, 6.432",\
                 "0.3246, 0.4018, 0.6, 0.8998, 1.309, 1.877, 2.644, 3.653, 4.913, 6.432",\
                 "0.3246, 0.4016, 0.6012, 0.9, 1.306, 1.876, 2.646, 3.65, 4.912, 6.43",\
                 "0.324, 0.4, 0.602, 0.9, 1.308, 1.872, 2.646, 3.65, 4.91, 6.432",\
                 "0.326, 0.402, 0.6, 0.9, 1.308, 1.876, 2.644, 3.648, 4.91, 6.432");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05817, 0.1431, 0.2755, 0.4613, 0.7057, 1.014, 1.39, 1.838");
          values("0.2336, 0.3322, 0.6288, 1.187, 2.106, 3.415, 5.157, 7.337, 10.02, 13.21",\
                 "0.2342, 0.3326, 0.6284, 1.187, 2.102, 3.415, 5.156, 7.341, 10.02, 13.2",\
                 "0.2344, 0.3316, 0.6286, 1.187, 2.107, 3.416, 5.156, 7.341, 10.02, 13.2",\
                 "0.2346, 0.332, 0.628, 1.187, 2.103, 3.42, 5.15, 7.341, 10.01, 13.2",\
                 "0.2342, 0.3326, 0.628, 1.188, 2.106, 3.422, 5.156, 7.339, 10.02, 13.2",\
                 "0.2342, 0.332, 0.6292, 1.187, 2.102, 3.422, 5.161, 7.34, 10.02, 13.2",\
                 "0.2342, 0.3324, 0.6286, 1.189, 2.104, 3.418, 5.155, 7.34, 10.01, 13.2",\
                 "0.234, 0.3326, 0.63, 1.187, 2.103, 3.417, 5.149, 7.344, 10.01, 13.19",\
                 "0.2344, 0.3324, 0.6296, 1.187, 2.102, 3.419, 5.152, 7.336, 10.02, 13.19",\
                 "0.234, 0.334, 0.63, 1.188, 2.102, 3.414, 5.152, 7.346, 10, 13.18");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05817, 0.1431, 0.2755, 0.4613, 0.7057, 1.014, 1.39, 1.838");
          values("1.402, 1.473, 1.645, 1.88, 2.181, 2.568, 3.064, 3.685, 4.442, 5.343",\
                 "1.421, 1.491, 1.664, 1.899, 2.199, 2.586, 3.082, 3.703, 4.46, 5.362",\
                 "1.46, 1.53, 1.702, 1.938, 2.238, 2.625, 3.121, 3.742, 4.499, 5.401",\
                 "1.523, 1.593, 1.766, 2.001, 2.301, 2.688, 3.184, 3.805, 4.562, 5.463",\
                 "1.594, 1.664, 1.837, 2.072, 2.372, 2.759, 3.256, 3.877, 4.633, 5.535",\
                 "1.648, 1.717, 1.889, 2.124, 2.424, 2.811, 3.306, 3.927, 4.684, 5.585",\
                 "1.662, 1.732, 1.904, 2.14, 2.441, 2.827, 3.322, 3.942, 4.698, 5.599",\
                 "1.628, 1.699, 1.872, 2.109, 2.411, 2.798, 3.294, 3.913, 4.669, 5.57",\
                 "1.538, 1.61, 1.786, 2.024, 2.326, 2.713, 3.21, 3.83, 4.586, 5.486",\
                 "1.383, 1.456, 1.634, 1.875, 2.179, 2.569, 3.067, 3.69, 4.447, 5.348");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05817, 0.1431, 0.2755, 0.4613, 0.7057, 1.014, 1.39, 1.838");
          values("1.578, 1.661, 1.89, 2.257, 2.798, 3.549, 4.535, 5.776, 7.292, 9.099",\
                 "1.605, 1.687, 1.917, 2.284, 2.825, 3.575, 4.562, 5.803, 7.319, 9.126",\
                 "1.714, 1.796, 2.026, 2.393, 2.934, 3.684, 4.671, 5.912, 7.428, 9.234",\
                 "1.937, 2.019, 2.249, 2.616, 3.157, 3.908, 4.894, 6.135, 7.652, 9.457",\
                 "2.276, 2.358, 2.588, 2.956, 3.496, 4.247, 5.234, 6.475, 7.99, 9.797",\
                 "2.692, 2.774, 3.005, 3.373, 3.913, 4.664, 5.651, 6.892, 8.406, 10.21",\
                 "3.17, 3.253, 3.484, 3.851, 4.392, 5.144, 6.13, 7.373, 8.887, 10.69",\
                 "3.72, 3.803, 4.034, 4.403, 4.943, 5.694, 6.68, 7.923, 9.438, 11.25",\
                 "4.346, 4.429, 4.663, 5.032, 5.572, 6.323, 7.308, 8.549, 10.06, 11.87",\
                 "5.05, 5.135, 5.369, 5.739, 6.28, 7.03, 8.016, 9.257, 10.77, 12.58");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05817, 0.1431, 0.2755, 0.4613, 0.7057, 1.014, 1.39, 1.838");
          values("0.2334, 0.294, 0.4534, 0.7084, 1.11, 1.705, 2.521, 3.563, 4.852, 6.384",\
                 "0.2334, 0.2942, 0.4532, 0.7086, 1.109, 1.707, 2.522, 3.565, 4.852, 6.383",\
                 "0.233, 0.294, 0.453, 0.7086, 1.113, 1.705, 2.521, 3.567, 4.847, 6.383",\
                 "0.2338, 0.2944, 0.4536, 0.7092, 1.111, 1.707, 2.52, 3.564, 4.851, 6.378",\
                 "0.2326, 0.2938, 0.4534, 0.7086, 1.112, 1.707, 2.522, 3.563, 4.852, 6.377",\
                 "0.232, 0.293, 0.4544, 0.708, 1.108, 1.703, 2.521, 3.565, 4.846, 6.383",\
                 "0.2356, 0.2968, 0.4568, 0.7102, 1.11, 1.703, 2.514, 3.557, 4.846, 6.379",\
                 "0.2408, 0.3018, 0.4618, 0.715, 1.113, 1.705, 2.52, 3.558, 4.839, 6.369",\
                 "0.2476, 0.3092, 0.4684, 0.7212, 1.119, 1.71, 2.521, 3.562, 4.84, 6.368",\
                 "0.255, 0.3168, 0.476, 0.7272, 1.124, 1.716, 2.528, 3.572, 4.848, 6.37");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05817, 0.1431, 0.2755, 0.4613, 0.7057, 1.014, 1.39, 1.838");
          values("0.2402, 0.3382, 0.6376, 1.195, 2.11, 3.426, 5.162, 7.351, 10.01, 13.2",\
                 "0.2402, 0.3392, 0.6376, 1.195, 2.107, 3.424, 5.152, 7.352, 10.01, 13.21",\
                 "0.2398, 0.3382, 0.6376, 1.195, 2.109, 3.425, 5.153, 7.351, 10.01, 13.19",\
                 "0.2398, 0.3392, 0.6376, 1.195, 2.11, 3.423, 5.153, 7.352, 10.01, 13.19",\
                 "0.24, 0.34, 0.638, 1.195, 2.111, 3.424, 5.153, 7.336, 10.01, 13.2",\
                 "0.2418, 0.3406, 0.639, 1.196, 2.111, 3.426, 5.152, 7.337, 10.02, 13.19",\
                 "0.2434, 0.3424, 0.64, 1.198, 2.11, 3.426, 5.156, 7.341, 10.01, 13.19",\
                 "0.2464, 0.3458, 0.6436, 1.198, 2.112, 3.419, 5.158, 7.34, 10.01, 13.2",\
                 "0.25, 0.35, 0.648, 1.202, 2.11, 3.42, 5.156, 7.346, 10.02, 13.19",\
                 "0.254, 0.354, 0.654, 1.204, 2.114, 3.42, 5.154, 7.338, 10.01, 13.18");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05817, 0.1431, 0.2755, 0.4613, 0.7057, 1.014, 1.39, 1.838");
          values("1.402, 1.473, 1.645, 1.88, 2.181, 2.568, 3.064, 3.684, 4.441, 5.343",\
                 "1.421, 1.491, 1.664, 1.899, 2.199, 2.586, 3.082, 3.703, 4.46, 5.362",\
                 "1.46, 1.53, 1.702, 1.938, 2.238, 2.625, 3.121, 3.742, 4.499, 5.401",\
                 "1.523, 1.593, 1.766, 2.001, 2.301, 2.688, 3.184, 3.805, 4.562, 5.464",\
                 "1.594, 1.664, 1.837, 2.072, 2.372, 2.76, 3.256, 3.876, 4.633, 5.535",\
                 "1.648, 1.717, 1.889, 2.124, 2.424, 2.811, 3.306, 3.926, 4.684, 5.586",\
                 "1.662, 1.732, 1.904, 2.14, 2.441, 2.827, 3.322, 3.942, 4.698, 5.599",\
                 "1.628, 1.699, 1.872, 2.109, 2.411, 2.798, 3.294, 3.913, 4.669, 5.57",\
                 "1.538, 1.61, 1.786, 2.024, 2.326, 2.713, 3.21, 3.83, 4.586, 5.486",\
                 "1.383, 1.456, 1.634, 1.875, 2.179, 2.569, 3.067, 3.69, 4.447, 5.348");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05817, 0.1431, 0.2755, 0.4613, 0.7057, 1.014, 1.39, 1.838");
          values("1.578, 1.661, 1.89, 2.257, 2.798, 3.549, 4.535, 5.776, 7.292, 9.099",\
                 "1.605, 1.687, 1.917, 2.284, 2.824, 3.575, 4.562, 5.803, 7.319, 9.126",\
                 "1.714, 1.796, 2.026, 2.393, 2.933, 3.684, 4.671, 5.912, 7.428, 9.234",\
                 "1.937, 2.019, 2.249, 2.616, 3.157, 3.908, 4.894, 6.135, 7.652, 9.457",\
                 "2.276, 2.359, 2.588, 2.955, 3.496, 4.247, 5.234, 6.475, 7.991, 9.796",\
                 "2.692, 2.774, 3.005, 3.373, 3.913, 4.664, 5.65, 6.891, 8.407, 10.21",\
                 "3.17, 3.252, 3.483, 3.851, 4.392, 5.143, 6.13, 7.372, 8.887, 10.69",\
                 "3.72, 3.803, 4.034, 4.403, 4.943, 5.693, 6.68, 7.923, 9.438, 11.25",\
                 "4.346, 4.43, 4.663, 5.031, 5.572, 6.322, 7.308, 8.549, 10.06, 11.87",\
                 "5.05, 5.135, 5.369, 5.739, 6.279, 7.03, 8.016, 9.257, 10.77, 12.58");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05817, 0.1431, 0.2755, 0.4613, 0.7057, 1.014, 1.39, 1.838");
          values("0.2332, 0.294, 0.4528, 0.7084, 1.11, 1.705, 2.521, 3.567, 4.852, 6.379",\
                 "0.2334, 0.2942, 0.4532, 0.7086, 1.112, 1.707, 2.522, 3.563, 4.851, 6.382",\
                 "0.2332, 0.294, 0.4528, 0.7086, 1.113, 1.705, 2.521, 3.567, 4.847, 6.383",\
                 "0.2338, 0.2944, 0.4538, 0.7092, 1.113, 1.707, 2.522, 3.563, 4.851, 6.382",\
                 "0.2324, 0.294, 0.4536, 0.7094, 1.112, 1.705, 2.52, 3.567, 4.852, 6.386",\
                 "0.232, 0.293, 0.4544, 0.7086, 1.109, 1.702, 2.52, 3.567, 4.852, 6.386",\
                 "0.2356, 0.2968, 0.4568, 0.7102, 1.11, 1.703, 2.514, 3.557, 4.847, 6.379",\
                 "0.2408, 0.3018, 0.4618, 0.715, 1.113, 1.705, 2.52, 3.558, 4.839, 6.369",\
                 "0.2474, 0.3092, 0.4684, 0.7212, 1.119, 1.71, 2.521, 3.562, 4.84, 6.37",\
                 "0.255, 0.3168, 0.476, 0.7272, 1.126, 1.716, 2.528, 3.57, 4.848, 6.372");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05817, 0.1431, 0.2755, 0.4613, 0.7057, 1.014, 1.39, 1.838");
          values("0.2402, 0.3388, 0.6374, 1.195, 2.11, 3.426, 5.159, 7.351, 10.01, 13.19",\
                 "0.2404, 0.3392, 0.6374, 1.194, 2.107, 3.424, 5.152, 7.352, 10.01, 13.21",\
                 "0.24, 0.3394, 0.6376, 1.194, 2.108, 3.418, 5.153, 7.348, 10.01, 13.19",\
                 "0.2398, 0.3394, 0.6376, 1.194, 2.11, 3.424, 5.153, 7.352, 10.01, 13.19",\
                 "0.2406, 0.3394, 0.638, 1.195, 2.11, 3.426, 5.152, 7.352, 10.01, 13.18",\
                 "0.2418, 0.3418, 0.638, 1.196, 2.111, 3.425, 5.164, 7.339, 10.02, 13.19",\
                 "0.2434, 0.3428, 0.6412, 1.197, 2.111, 3.419, 5.155, 7.336, 10.01, 13.19",\
                 "0.2464, 0.3458, 0.6446, 1.198, 2.113, 3.419, 5.157, 7.34, 10.01, 13.2",\
                 "0.25, 0.348, 0.648, 1.202, 2.114, 3.42, 5.154, 7.344, 10.02, 13.19",\
                 "0.254, 0.354, 0.652, 1.204, 2.112, 3.42, 5.154, 7.342, 10.01, 13.21");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05817, 0.1431, 0.2755, 0.4613, 0.7057, 1.014, 1.39, 1.838");
          values("1.402, 1.473, 1.645, 1.88, 2.181, 2.568, 3.064, 3.684, 4.441, 5.343",\
                 "1.421, 1.491, 1.664, 1.899, 2.199, 2.586, 3.082, 3.703, 4.46, 5.362",\
                 "1.46, 1.53, 1.702, 1.938, 2.238, 2.625, 3.121, 3.742, 4.499, 5.401",\
                 "1.523, 1.593, 1.766, 2.001, 2.301, 2.688, 3.184, 3.805, 4.562, 5.464",\
                 "1.594, 1.664, 1.837, 2.072, 2.372, 2.76, 3.256, 3.876, 4.633, 5.535",\
                 "1.648, 1.717, 1.889, 2.124, 2.424, 2.811, 3.306, 3.926, 4.684, 5.586",\
                 "1.662, 1.732, 1.904, 2.14, 2.441, 2.827, 3.322, 3.942, 4.698, 5.599",\
                 "1.628, 1.699, 1.872, 2.109, 2.411, 2.798, 3.294, 3.913, 4.669, 5.57",\
                 "1.538, 1.61, 1.786, 2.024, 2.326, 2.713, 3.21, 3.83, 4.586, 5.486",\
                 "1.383, 1.456, 1.634, 1.875, 2.179, 2.569, 3.067, 3.69, 4.447, 5.348");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05817, 0.1431, 0.2755, 0.4613, 0.7057, 1.014, 1.39, 1.838");
          values("1.578, 1.661, 1.89, 2.257, 2.798, 3.549, 4.535, 5.776, 7.292, 9.099",\
                 "1.605, 1.687, 1.917, 2.284, 2.825, 3.575, 4.562, 5.803, 7.319, 9.126",\
                 "1.714, 1.796, 2.026, 2.393, 2.934, 3.684, 4.671, 5.912, 7.428, 9.234",\
                 "1.937, 2.019, 2.249, 2.616, 3.157, 3.908, 4.894, 6.135, 7.652, 9.457",\
                 "2.276, 2.358, 2.588, 2.956, 3.496, 4.247, 5.234, 6.475, 7.99, 9.797",\
                 "2.692, 2.774, 3.005, 3.373, 3.913, 4.664, 5.651, 6.892, 8.406, 10.21",\
                 "3.17, 3.253, 3.484, 3.851, 4.392, 5.144, 6.13, 7.373, 8.887, 10.69",\
                 "3.72, 3.803, 4.034, 4.403, 4.943, 5.694, 6.68, 7.923, 9.438, 11.25",\
                 "4.346, 4.429, 4.663, 5.032, 5.572, 6.323, 7.308, 8.549, 10.06, 11.87",\
                 "5.05, 5.135, 5.369, 5.739, 6.28, 7.03, 8.016, 9.257, 10.77, 12.58");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05817, 0.1431, 0.2755, 0.4613, 0.7057, 1.014, 1.39, 1.838");
          values("0.2332, 0.294, 0.4528, 0.7084, 1.11, 1.705, 2.521, 3.567, 4.852, 6.379",\
                 "0.2334, 0.2942, 0.4532, 0.7086, 1.112, 1.707, 2.522, 3.563, 4.851, 6.382",\
                 "0.2332, 0.294, 0.4528, 0.7086, 1.113, 1.705, 2.521, 3.567, 4.847, 6.383",\
                 "0.2338, 0.2944, 0.4538, 0.7092, 1.113, 1.707, 2.522, 3.563, 4.851, 6.382",\
                 "0.2324, 0.294, 0.4536, 0.7094, 1.112, 1.705, 2.52, 3.567, 4.852, 6.386",\
                 "0.232, 0.293, 0.4544, 0.7086, 1.109, 1.702, 2.52, 3.567, 4.852, 6.386",\
                 "0.2356, 0.2968, 0.4568, 0.7102, 1.11, 1.703, 2.514, 3.557, 4.847, 6.379",\
                 "0.2408, 0.3018, 0.4618, 0.715, 1.113, 1.705, 2.52, 3.558, 4.839, 6.369",\
                 "0.2474, 0.3092, 0.4684, 0.7212, 1.119, 1.71, 2.521, 3.562, 4.84, 6.37",\
                 "0.255, 0.3168, 0.476, 0.7272, 1.126, 1.716, 2.528, 3.57, 4.848, 6.372");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05817, 0.1431, 0.2755, 0.4613, 0.7057, 1.014, 1.39, 1.838");
          values("0.2402, 0.3388, 0.6374, 1.195, 2.11, 3.426, 5.159, 7.351, 10.01, 13.19",\
                 "0.2404, 0.3392, 0.6374, 1.194, 2.107, 3.424, 5.152, 7.352, 10.01, 13.21",\
                 "0.24, 0.3394, 0.6376, 1.194, 2.108, 3.418, 5.153, 7.348, 10.01, 13.19",\
                 "0.2398, 0.3394, 0.6376, 1.194, 2.11, 3.424, 5.153, 7.352, 10.01, 13.19",\
                 "0.2406, 0.3394, 0.638, 1.195, 2.11, 3.426, 5.152, 7.352, 10.01, 13.18",\
                 "0.2418, 0.3418, 0.638, 1.196, 2.111, 3.425, 5.164, 7.339, 10.02, 13.19",\
                 "0.2434, 0.3428, 0.6412, 1.197, 2.111, 3.419, 5.155, 7.336, 10.01, 13.19",\
                 "0.2464, 0.3458, 0.6446, 1.198, 2.113, 3.419, 5.157, 7.34, 10.01, 13.2",\
                 "0.25, 0.348, 0.648, 1.202, 2.114, 3.42, 5.154, 7.344, 10.02, 13.19",\
                 "0.254, 0.354, 0.652, 1.204, 2.112, 3.42, 5.154, 7.342, 10.01, 13.21");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05817, 0.1431, 0.2755, 0.4613, 0.7057, 1.014, 1.39, 1.838");
          values("1.089, 1.173, 1.385, 1.677, 2.034, 2.463, 2.984, 3.616, 4.377, 5.28",\
                 "1.112, 1.196, 1.408, 1.7, 2.057, 2.486, 3.007, 3.639, 4.4, 5.303",\
                 "1.191, 1.275, 1.486, 1.779, 2.136, 2.565, 3.085, 3.718, 4.478, 5.382",\
                 "1.372, 1.456, 1.667, 1.96, 2.316, 2.745, 3.266, 3.898, 4.659, 5.562",\
                 "1.681, 1.765, 1.975, 2.267, 2.624, 3.053, 3.574, 4.206, 4.967, 5.87",\
                 "2.067, 2.155, 2.374, 2.673, 3.034, 3.464, 3.986, 4.617, 5.377, 6.281",\
                 "2.499, 2.593, 2.823, 3.132, 3.504, 3.942, 4.467, 5.101, 5.861, 6.763",\
                 "2.993, 3.09, 3.332, 3.653, 4.033, 4.477, 5.007, 5.644, 6.406, 7.308",\
                 "3.553, 3.655, 3.909, 4.241, 4.632, 5.083, 5.617, 6.255, 7.018, 7.922",\
                 "4.182, 4.29, 4.555, 4.901, 5.305, 5.764, 6.303, 6.943, 7.707, 8.61");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05817, 0.1431, 0.2755, 0.4613, 0.7057, 1.014, 1.39, 1.838");
          values("0.6569, 0.7372, 0.963, 1.328, 1.868, 2.619, 3.606, 4.848, 6.365, 8.174",\
                 "0.6807, 0.7609, 0.987, 1.352, 1.892, 2.644, 3.63, 4.873, 6.388, 8.192",\
                 "0.7604, 0.8407, 1.066, 1.431, 1.971, 2.723, 3.71, 4.953, 6.464, 8.271",\
                 "0.908, 0.988, 1.212, 1.576, 2.115, 2.866, 3.852, 5.096, 6.608, 8.417",\
                 "1.059, 1.142, 1.371, 1.737, 2.274, 3.024, 4.01, 5.252, 6.769, 8.572",\
                 "1.176, 1.262, 1.497, 1.865, 2.403, 3.152, 4.137, 5.378, 6.897, 8.703",\
                 "1.256, 1.346, 1.589, 1.961, 2.496, 3.245, 4.229, 5.469, 6.982, 8.792",\
                 "1.291, 1.386, 1.64, 2.018, 2.555, 3.3, 4.282, 5.522, 7.034, 8.839",\
                 "1.277, 1.378, 1.643, 2.032, 2.574, 3.318, 4.297, 5.534, 7.048, 8.852",\
                 "1.209, 1.314, 1.592, 1.995, 2.542, 3.289, 4.271, 5.505, 7.018, 8.821");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05817, 0.1431, 0.2755, 0.4613, 0.7057, 1.014, 1.39, 1.838");
          values("0.3236, 0.4002, 0.6, 0.8996, 1.307, 1.876, 2.645, 3.654, 4.912, 6.431",\
                 "0.3234, 0.4002, 0.6002, 0.8996, 1.307, 1.875, 2.646, 3.652, 4.913, 6.433",\
                 "0.3238, 0.4002, 0.6002, 0.8998, 1.308, 1.875, 2.643, 3.652, 4.912, 6.431",\
                 "0.3238, 0.4006, 0.6, 0.899, 1.308, 1.877, 2.643, 3.654, 4.913, 6.433",\
                 "0.3314, 0.4074, 0.6048, 0.904, 1.311, 1.879, 2.645, 3.655, 4.912, 6.433",\
                 "0.3774, 0.4536, 0.6446, 0.938, 1.333, 1.89, 2.653, 3.658, 4.912, 6.43",\
                 "0.4232, 0.5032, 0.6962, 0.9856, 1.38, 1.926, 2.678, 3.667, 4.913, 6.432",\
                 "0.4646, 0.5494, 0.7504, 1.036, 1.422, 1.96, 2.708, 3.688, 4.929, 6.444",\
                 "0.5092, 0.5984, 0.8066, 1.09, 1.47, 2, 2.732, 3.708, 4.946, 6.45",\
                 "0.558, 0.652, 0.868, 1.152, 1.528, 2.046, 2.764, 3.728, 4.958, 6.46");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05817, 0.1431, 0.2755, 0.4613, 0.7057, 1.014, 1.39, 1.838");
          values("0.2263, 0.3237, 0.6215, 1.185, 2.104, 3.42, 5.157, 7.34, 10.02, 13.21",\
                 "0.2267, 0.3246, 0.6205, 1.185, 2.1, 3.42, 5.152, 7.341, 10.02, 13.2",\
                 "0.2263, 0.3248, 0.6214, 1.184, 2.101, 3.414, 5.157, 7.342, 10.01, 13.2",\
                 "0.2292, 0.3266, 0.6228, 1.184, 2.106, 3.42, 5.162, 7.342, 10.01, 13.21",\
                 "0.2512, 0.3488, 0.642, 1.194, 2.104, 3.415, 5.151, 7.341, 10.02, 13.2",\
                 "0.2792, 0.3744, 0.6672, 1.212, 2.116, 3.425, 5.153, 7.338, 10.02, 13.2",\
                 "0.3126, 0.4076, 0.6974, 1.229, 2.124, 3.428, 5.163, 7.351, 10.01, 13.2",\
                 "0.3514, 0.4464, 0.738, 1.256, 2.133, 3.432, 5.163, 7.348, 10.02, 13.18",\
                 "0.3954, 0.4904, 0.785, 1.292, 2.158, 3.439, 5.166, 7.352, 10.02, 13.2",\
                 "0.4394, 0.5378, 0.838, 1.341, 2.189, 3.464, 5.178, 7.354, 10.02, 13.2");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05817, 0.1431, 0.2755, 0.4613, 0.7057, 1.014, 1.39, 1.838");
          values("1.088, 1.172, 1.383, 1.676, 2.033, 2.463, 2.983, 3.616, 4.376, 5.28",\
                 "1.111, 1.195, 1.407, 1.699, 2.056, 2.486, 3.007, 3.639, 4.4, 5.303",\
                 "1.19, 1.274, 1.485, 1.778, 2.135, 2.565, 3.085, 3.718, 4.479, 5.382",\
                 "1.372, 1.455, 1.667, 1.959, 2.316, 2.745, 3.266, 3.899, 4.66, 5.562",\
                 "1.681, 1.764, 1.975, 2.267, 2.624, 3.053, 3.574, 4.206, 4.967, 5.87",\
                 "2.067, 2.155, 2.374, 2.673, 3.034, 3.465, 3.986, 4.618, 5.379, 6.282",\
                 "2.499, 2.594, 2.823, 3.133, 3.503, 3.942, 4.467, 5.101, 5.862, 6.764",\
                 "2.993, 3.091, 3.332, 3.653, 4.033, 4.478, 5.007, 5.644, 6.407, 7.309",\
                 "3.553, 3.656, 3.909, 4.242, 4.633, 5.084, 5.617, 6.256, 7.019, 7.923",\
                 "4.182, 4.29, 4.555, 4.902, 5.305, 5.765, 6.304, 6.944, 7.708, 8.612");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05817, 0.1431, 0.2755, 0.4613, 0.7057, 1.014, 1.39, 1.838");
          values("0.6568, 0.7372, 0.963, 1.328, 1.868, 2.619, 3.606, 4.848, 6.365, 8.173",\
                 "0.6807, 0.7608, 0.987, 1.352, 1.892, 2.644, 3.63, 4.873, 6.389, 8.193",\
                 "0.7603, 0.8405, 1.066, 1.431, 1.971, 2.723, 3.71, 4.953, 6.464, 8.27",\
                 "0.908, 0.9881, 1.212, 1.576, 2.115, 2.865, 3.851, 5.096, 6.611, 8.415",\
                 "1.059, 1.142, 1.371, 1.736, 2.274, 3.023, 4.01, 5.251, 6.769, 8.576",\
                 "1.176, 1.262, 1.497, 1.865, 2.403, 3.152, 4.137, 5.378, 6.897, 8.7",\
                 "1.256, 1.346, 1.589, 1.96, 2.497, 3.244, 4.23, 5.469, 6.985, 8.791",\
                 "1.291, 1.387, 1.64, 2.018, 2.556, 3.3, 4.283, 5.522, 7.035, 8.838",\
                 "1.278, 1.378, 1.643, 2.032, 2.573, 3.318, 4.297, 5.535, 7.048, 8.854",\
                 "1.208, 1.314, 1.592, 1.995, 2.543, 3.29, 4.27, 5.506, 7.016, 8.821");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05817, 0.1431, 0.2755, 0.4613, 0.7057, 1.014, 1.39, 1.838");
          values("0.3238, 0.4004, 0.5996, 0.8994, 1.308, 1.877, 2.644, 3.654, 4.912, 6.433",\
                 "0.3236, 0.4004, 0.6004, 0.8994, 1.307, 1.876, 2.647, 3.653, 4.913, 6.43",\
                 "0.3238, 0.4004, 0.5998, 0.899, 1.308, 1.875, 2.646, 3.654, 4.912, 6.432",\
                 "0.3238, 0.4008, 0.6004, 0.9004, 1.308, 1.875, 2.646, 3.651, 4.913, 6.433",\
                 "0.3314, 0.4068, 0.6048, 0.9054, 1.312, 1.878, 2.645, 3.653, 4.913, 6.433",\
                 "0.3772, 0.454, 0.645, 0.9366, 1.333, 1.891, 2.654, 3.657, 4.912, 6.427",\
                 "0.4232, 0.5036, 0.6976, 0.986, 1.378, 1.925, 2.679, 3.67, 4.92, 6.435",\
                 "0.4648, 0.55, 0.75, 1.035, 1.422, 1.962, 2.707, 3.689, 4.93, 6.436",\
                 "0.5092, 0.5982, 0.8066, 1.093, 1.47, 2, 2.732, 3.708, 4.946, 6.45",\
                 "0.558, 0.65, 0.87, 1.156, 1.528, 2.046, 2.764, 3.73, 4.958, 6.458");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05817, 0.1431, 0.2755, 0.4613, 0.7057, 1.014, 1.39, 1.838");
          values("0.2262, 0.3237, 0.6214, 1.185, 2.104, 3.42, 5.157, 7.341, 10.02, 13.21",\
                 "0.2267, 0.3246, 0.6204, 1.185, 2.101, 3.42, 5.152, 7.341, 10.02, 13.21",\
                 "0.2263, 0.3246, 0.6214, 1.184, 2.101, 3.414, 5.157, 7.341, 10.01, 13.2",\
                 "0.2292, 0.3268, 0.6238, 1.185, 2.102, 3.421, 5.159, 7.343, 10.02, 13.2",\
                 "0.252, 0.3474, 0.6424, 1.195, 2.104, 3.421, 5.152, 7.341, 10.02, 13.21",\
                 "0.2792, 0.3756, 0.6666, 1.212, 2.115, 3.425, 5.157, 7.337, 10.01, 13.21",\
                 "0.3132, 0.4064, 0.6978, 1.228, 2.123, 3.428, 5.161, 7.351, 10.02, 13.19",\
                 "0.3514, 0.4458, 0.7378, 1.255, 2.132, 3.432, 5.163, 7.346, 10.02, 13.19",\
                 "0.3952, 0.4898, 0.784, 1.292, 2.158, 3.443, 5.165, 7.352, 10.02, 13.19",\
                 "0.4404, 0.5376, 0.8378, 1.341, 2.188, 3.464, 5.178, 7.352, 10.02, 13.2");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05817, 0.1431, 0.2755, 0.4613, 0.7057, 1.014, 1.39, 1.838");
          values("1.088, 1.172, 1.383, 1.676, 2.033, 2.463, 2.983, 3.616, 4.376, 5.28",\
                 "1.111, 1.195, 1.407, 1.699, 2.056, 2.486, 3.007, 3.639, 4.4, 5.303",\
                 "1.19, 1.274, 1.485, 1.778, 2.135, 2.565, 3.085, 3.718, 4.479, 5.382",\
                 "1.372, 1.455, 1.667, 1.959, 2.316, 2.745, 3.266, 3.899, 4.66, 5.562",\
                 "1.681, 1.764, 1.975, 2.267, 2.624, 3.053, 3.574, 4.206, 4.967, 5.87",\
                 "2.067, 2.155, 2.374, 2.673, 3.034, 3.465, 3.986, 4.618, 5.379, 6.282",\
                 "2.499, 2.594, 2.823, 3.133, 3.503, 3.942, 4.467, 5.101, 5.862, 6.764",\
                 "2.993, 3.091, 3.332, 3.653, 4.033, 4.478, 5.007, 5.644, 6.407, 7.309",\
                 "3.553, 3.656, 3.909, 4.242, 4.633, 5.084, 5.617, 6.256, 7.019, 7.923",\
                 "4.182, 4.29, 4.555, 4.902, 5.305, 5.765, 6.304, 6.944, 7.708, 8.612");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05817, 0.1431, 0.2755, 0.4613, 0.7057, 1.014, 1.39, 1.838");
          values("0.6568, 0.7372, 0.963, 1.328, 1.868, 2.619, 3.606, 4.848, 6.365, 8.173",\
                 "0.6807, 0.7608, 0.987, 1.352, 1.892, 2.644, 3.63, 4.873, 6.389, 8.193",\
                 "0.7603, 0.8405, 1.066, 1.431, 1.971, 2.723, 3.71, 4.953, 6.464, 8.27",\
                 "0.908, 0.9881, 1.212, 1.576, 2.115, 2.865, 3.851, 5.096, 6.611, 8.415",\
                 "1.059, 1.142, 1.371, 1.736, 2.274, 3.023, 4.01, 5.251, 6.769, 8.576",\
                 "1.176, 1.262, 1.497, 1.865, 2.403, 3.152, 4.137, 5.378, 6.897, 8.7",\
                 "1.256, 1.346, 1.589, 1.96, 2.497, 3.244, 4.23, 5.469, 6.985, 8.791",\
                 "1.291, 1.387, 1.64, 2.018, 2.556, 3.3, 4.283, 5.522, 7.035, 8.838",\
                 "1.278, 1.378, 1.643, 2.032, 2.573, 3.318, 4.297, 5.535, 7.048, 8.854",\
                 "1.208, 1.314, 1.592, 1.995, 2.543, 3.29, 4.27, 5.506, 7.016, 8.821");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05817, 0.1431, 0.2755, 0.4613, 0.7057, 1.014, 1.39, 1.838");
          values("0.3236, 0.4002, 0.6, 0.8996, 1.307, 1.876, 2.645, 3.654, 4.912, 6.431",\
                 "0.3234, 0.4002, 0.6002, 0.8996, 1.307, 1.875, 2.646, 3.652, 4.913, 6.433",\
                 "0.3238, 0.4002, 0.6002, 0.8998, 1.308, 1.875, 2.643, 3.652, 4.912, 6.431",\
                 "0.3238, 0.4006, 0.6, 0.899, 1.308, 1.877, 2.643, 3.654, 4.913, 6.433",\
                 "0.3314, 0.4074, 0.6048, 0.904, 1.311, 1.879, 2.645, 3.655, 4.912, 6.433",\
                 "0.3774, 0.4536, 0.6446, 0.938, 1.333, 1.89, 2.653, 3.658, 4.912, 6.43",\
                 "0.4232, 0.5032, 0.6962, 0.9856, 1.38, 1.926, 2.678, 3.667, 4.913, 6.432",\
                 "0.4646, 0.5494, 0.7504, 1.036, 1.422, 1.96, 2.708, 3.688, 4.929, 6.444",\
                 "0.5092, 0.5984, 0.8066, 1.09, 1.47, 2, 2.732, 3.708, 4.946, 6.45",\
                 "0.558, 0.652, 0.868, 1.152, 1.528, 2.046, 2.764, 3.728, 4.958, 6.46");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05817, 0.1431, 0.2755, 0.4613, 0.7057, 1.014, 1.39, 1.838");
          values("0.2263, 0.3237, 0.6215, 1.185, 2.104, 3.42, 5.157, 7.34, 10.02, 13.21",\
                 "0.2267, 0.3246, 0.6205, 1.185, 2.1, 3.42, 5.152, 7.341, 10.02, 13.2",\
                 "0.2263, 0.3248, 0.6214, 1.184, 2.101, 3.414, 5.157, 7.342, 10.01, 13.2",\
                 "0.2292, 0.3266, 0.6228, 1.184, 2.106, 3.42, 5.162, 7.342, 10.01, 13.21",\
                 "0.2512, 0.3488, 0.642, 1.194, 2.104, 3.415, 5.151, 7.341, 10.02, 13.2",\
                 "0.2792, 0.3744, 0.6672, 1.212, 2.116, 3.425, 5.153, 7.338, 10.02, 13.2",\
                 "0.3126, 0.4076, 0.6974, 1.229, 2.124, 3.428, 5.163, 7.351, 10.01, 13.2",\
                 "0.3514, 0.4464, 0.738, 1.256, 2.133, 3.432, 5.163, 7.348, 10.02, 13.18",\
                 "0.3954, 0.4904, 0.785, 1.292, 2.158, 3.439, 5.166, 7.352, 10.02, 13.2",\
                 "0.4394, 0.5378, 0.838, 1.341, 2.189, 3.464, 5.178, 7.354, 10.02, 13.2");
        }
      }
    }
  }