  cell(gf180mcu_fd_sc_mcu9t5v0__xor3_4) {
    area : 90.316800 ;

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01652, 0.07102, 0.1751, 0.3372, 0.5647, 0.864, 1.241, 1.701, 2.25");
          values("0.3563, 0.3448, 0.3365, 0.3347, 0.3349, 0.3353, 0.3358, 0.3361, 0.3362, 0.3363",\
                 "0.3563, 0.3445, 0.3359, 0.3341, 0.3344, 0.335, 0.3354, 0.3356, 0.3358, 0.3359",\
                 "0.3553, 0.3437, 0.3352, 0.3336, 0.3337, 0.3343, 0.3347, 0.335, 0.3352, 0.3353",\
                 "0.3553, 0.3436, 0.3353, 0.3335, 0.3339, 0.3341, 0.3347, 0.335, 0.3352, 0.3352",\
                 "0.3564, 0.3449, 0.3364, 0.3348, 0.3348, 0.3355, 0.336, 0.3362, 0.3363, 0.3365",\
                 "0.3593, 0.3475, 0.339, 0.3374, 0.3375, 0.3382, 0.3387, 0.3389, 0.3391, 0.3392",\
                 "0.3634, 0.3519, 0.3434, 0.3418, 0.3421, 0.3422, 0.3428, 0.343, 0.3433, 0.3434",\
                 "0.3693, 0.3577, 0.3488, 0.3474, 0.3474, 0.3483, 0.3487, 0.3489, 0.3491, 0.3492",\
                 "0.3766, 0.3652, 0.3564, 0.3546, 0.3551, 0.3554, 0.3562, 0.3564, 0.3565, 0.3566",\
                 "0.3857, 0.3743, 0.3656, 0.3638, 0.364, 0.3647, 0.365, 0.3653, 0.3655, 0.3656");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01652, 0.07102, 0.1751, 0.3372, 0.5647, 0.864, 1.241, 1.701, 2.25");
          values("0.3242, 0.32, 0.3151, 0.314, 0.3164, 0.3209, 0.3248, 0.3283, 0.3444, 0.472",\
                 "0.3242, 0.3201, 0.3147, 0.3141, 0.3167, 0.3218, 0.3248, 0.3274, 0.3455, 0.4698",\
                 "0.3236, 0.3198, 0.3143, 0.3132, 0.3164, 0.3215, 0.3245, 0.3279, 0.346, 0.4796",\
                 "0.3235, 0.3191, 0.3145, 0.314, 0.3164, 0.3215, 0.3233, 0.33, 0.3456, 0.4989",\
                 "0.3241, 0.3197, 0.3148, 0.314, 0.317, 0.3221, 0.3239, 0.3303, 0.3491, 0.5282",\
                 "0.3257, 0.3213, 0.3169, 0.3158, 0.3188, 0.3233, 0.3266, 0.3322, 0.3564, 0.5727",\
                 "0.3282, 0.3239, 0.3191, 0.3179, 0.3212, 0.3245, 0.3284, 0.3345, 0.365, 0.6444",\
                 "0.333, 0.3283, 0.3228, 0.3234, 0.3239, 0.3326, 0.3353, 0.3415, 0.3914, 0.76",\
                 "0.3388, 0.3339, 0.3296, 0.3278, 0.3305, 0.3317, 0.3413, 0.3532, 0.4311, 0.9504",\
                 "0.3464, 0.3423, 0.3366, 0.3364, 0.338, 0.3401, 0.3413, 0.3598, 0.502, 1.279");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01652, 0.07102, 0.1751, 0.3372, 0.5647, 0.864, 1.241, 1.701, 2.25");
          values("0.3878, 0.3831, 0.3811, 0.3825, 0.3842, 0.3856, 0.3863, 0.3869, 0.3873, 0.3876",\
                 "0.3876, 0.3831, 0.3811, 0.382, 0.3839, 0.3853, 0.3862, 0.3867, 0.3871, 0.3874",\
                 "0.3871, 0.3826, 0.3805, 0.3818, 0.3837, 0.385, 0.3858, 0.3864, 0.3868, 0.387",\
                 "0.3869, 0.3825, 0.3804, 0.3817, 0.3834, 0.3848, 0.3856, 0.3862, 0.3866, 0.3869",\
                 "0.3876, 0.3831, 0.3811, 0.3823, 0.3841, 0.3856, 0.3863, 0.3869, 0.3873, 0.3876",\
                 "0.3894, 0.3849, 0.3828, 0.384, 0.3858, 0.3873, 0.3881, 0.3887, 0.3891, 0.3893",\
                 "0.3923, 0.3879, 0.3862, 0.3874, 0.3889, 0.3902, 0.391, 0.3916, 0.392, 0.3923",\
                 "0.3969, 0.3924, 0.3904, 0.3915, 0.3934, 0.3947, 0.3955, 0.3961, 0.3964, 0.3967",\
                 "0.4028, 0.398, 0.396, 0.3974, 0.3993, 0.4005, 0.4013, 0.4019, 0.4023, 0.4026",\
                 "0.4101, 0.4057, 0.4034, 0.4047, 0.4067, 0.4078, 0.4088, 0.4093, 0.4097, 0.41");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01652, 0.07102, 0.1751, 0.3372, 0.5647, 0.864, 1.241, 1.701, 2.25");
          values("0.339, 0.3371, 0.336, 0.3392, 0.3439, 0.349, 0.3533, 0.3608, 0.3703, 0.4996",\
                 "0.3384, 0.3364, 0.3352, 0.3389, 0.3439, 0.3493, 0.3527, 0.3562, 0.3719, 0.501",\
                 "0.3379, 0.3355, 0.3348, 0.3385, 0.3433, 0.3487, 0.3524, 0.3563, 0.3706, 0.5157",\
                 "0.3376, 0.3357, 0.3349, 0.3387, 0.3433, 0.3487, 0.3524, 0.356, 0.3724, 0.5382",\
                 "0.3389, 0.3366, 0.3356, 0.3394, 0.3442, 0.3499, 0.3533, 0.3577, 0.3807, 0.5752",\
                 "0.3417, 0.3394, 0.339, 0.3427, 0.3472, 0.3526, 0.3566, 0.3605, 0.3929, 0.6536",\
                 "0.3459, 0.3439, 0.3437, 0.346, 0.3517, 0.3559, 0.3596, 0.3651, 0.4178, 0.7958",\
                 "0.3518, 0.3493, 0.3487, 0.3522, 0.3574, 0.3619, 0.3655, 0.3739, 0.4689, 1.058",\
                 "0.3591, 0.3566, 0.3556, 0.3595, 0.3637, 0.3697, 0.3753, 0.3898, 0.5839, 1.56",\
                 "0.3685, 0.3662, 0.3649, 0.3687, 0.3724, 0.3772, 0.3857, 0.4373, 0.8864, 2.493");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01652, 0.07102, 0.1751, 0.3372, 0.5647, 0.864, 1.241, 1.701, 2.25");
          values("0.2959, 0.284, 0.275, 0.2729, 0.2731, 0.2737, 0.2743, 0.2746, 0.2747, 0.2749",\
                 "0.2957, 0.2838, 0.2749, 0.273, 0.2729, 0.2736, 0.2742, 0.2745, 0.2746, 0.2748",\
                 "0.2956, 0.2837, 0.2747, 0.273, 0.2729, 0.2736, 0.2741, 0.2744, 0.2746, 0.2747",\
                 "0.2956, 0.2837, 0.2751, 0.2729, 0.2728, 0.2735, 0.2739, 0.2743, 0.2745, 0.2747",\
                 "0.2966, 0.2846, 0.2756, 0.2735, 0.2736, 0.2741, 0.2747, 0.275, 0.2752, 0.2754",\
                 "0.2992, 0.2872, 0.2778, 0.2758, 0.2758, 0.276, 0.2765, 0.2768, 0.2771, 0.2773",\
                 "0.3034, 0.2913, 0.2813, 0.279, 0.279, 0.2794, 0.2797, 0.2801, 0.2803, 0.2805",\
                 "0.3095, 0.2968, 0.2868, 0.284, 0.2838, 0.2843, 0.2847, 0.2851, 0.2853, 0.2854",\
                 "0.3173, 0.3046, 0.294, 0.2906, 0.2905, 0.2909, 0.2914, 0.2917, 0.292, 0.2922",\
                 "0.3275, 0.3144, 0.3034, 0.2996, 0.2991, 0.2995, 0.2999, 0.3002, 0.3005, 0.3007");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01652, 0.07102, 0.1751, 0.3372, 0.5647, 0.864, 1.241, 1.701, 2.25");
          values("0.3137, 0.3094, 0.3049, 0.3036, 0.3063, 0.311, 0.3141, 0.3191, 0.3312, 0.4485",\
                 "0.3136, 0.3096, 0.3043, 0.3036, 0.3063, 0.3122, 0.3171, 0.3188, 0.33, 0.4455",\
                 "0.3131, 0.3089, 0.3038, 0.3033, 0.3063, 0.3113, 0.3144, 0.317, 0.3346, 0.4554",\
                 "0.313, 0.3087, 0.3042, 0.3036, 0.3066, 0.3116, 0.3165, 0.3187, 0.333, 0.474",\
                 "0.3143, 0.3101, 0.3058, 0.3051, 0.3075, 0.3125, 0.3144, 0.3205, 0.3405, 0.5219",\
                 "0.318, 0.314, 0.3086, 0.3077, 0.3105, 0.3155, 0.3177, 0.3215, 0.3496, 0.5947",\
                 "0.3251, 0.3205, 0.3145, 0.3131, 0.3156, 0.3203, 0.3231, 0.3299, 0.3756, 0.741",\
                 "0.334, 0.3291, 0.3224, 0.3217, 0.324, 0.3275, 0.3311, 0.3394, 0.4307, 1.012",\
                 "0.3444, 0.3392, 0.3325, 0.3303, 0.3318, 0.3374, 0.3412, 0.3564, 0.5512, 1.528",\
                 "0.357, 0.3512, 0.3435, 0.3408, 0.3402, 0.3443, 0.3543, 0.4102, 0.8637, 2.489");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01652, 0.07102, 0.1751, 0.3372, 0.5647, 0.864, 1.241, 1.701, 2.25");
          values("0.3781, 0.3736, 0.3715, 0.3727, 0.3745, 0.3757, 0.3766, 0.3772, 0.3775, 0.3779",\
                 "0.3779, 0.3734, 0.3717, 0.3728, 0.3744, 0.3757, 0.3764, 0.3771, 0.3774, 0.3777",\
                 "0.3774, 0.373, 0.3708, 0.3722, 0.3739, 0.3751, 0.376, 0.3766, 0.3769, 0.3772",\
                 "0.3772, 0.373, 0.3706, 0.3719, 0.3738, 0.3751, 0.376, 0.3766, 0.3769, 0.3772",\
                 "0.3783, 0.374, 0.3719, 0.373, 0.375, 0.3763, 0.3771, 0.3777, 0.3781, 0.3784",\
                 "0.3814, 0.3769, 0.3748, 0.3763, 0.3779, 0.3792, 0.38, 0.3806, 0.381, 0.3812",\
                 "0.3857, 0.3811, 0.3792, 0.3805, 0.3821, 0.3834, 0.3843, 0.385, 0.3853, 0.3855",\
                 "0.3914, 0.387, 0.3846, 0.3859, 0.3879, 0.3891, 0.39, 0.3906, 0.391, 0.3913",\
                 "0.3989, 0.3943, 0.3921, 0.3934, 0.3949, 0.3964, 0.3973, 0.3978, 0.3982, 0.3986",\
                 "0.4078, 0.4033, 0.4011, 0.4024, 0.4042, 0.4053, 0.4063, 0.4069, 0.4073, 0.4074");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01652, 0.07102, 0.1751, 0.3372, 0.5647, 0.864, 1.241, 1.701, 2.25");
          values("0.2771, 0.2751, 0.2744, 0.2774, 0.2814, 0.2867, 0.2919, 0.296, 0.3082, 0.4122",\
                 "0.277, 0.2744, 0.2743, 0.2777, 0.2823, 0.2879, 0.2919, 0.2954, 0.3082, 0.4135",\
                 "0.2769, 0.2749, 0.274, 0.2778, 0.2823, 0.2879, 0.291, 0.2951, 0.3066, 0.423",\
                 "0.2772, 0.2747, 0.2742, 0.2778, 0.2826, 0.2879, 0.2922, 0.2951, 0.3113, 0.4387",\
                 "0.2782, 0.2758, 0.2754, 0.2792, 0.2838, 0.2897, 0.2931, 0.2965, 0.315, 0.471",\
                 "0.2803, 0.2786, 0.2784, 0.2805, 0.2856, 0.2903, 0.2949, 0.2992, 0.3252, 0.5136",\
                 "0.2836, 0.2813, 0.2801, 0.2838, 0.2898, 0.2936, 0.2982, 0.3036, 0.3337, 0.5975",\
                 "0.2885, 0.2863, 0.2851, 0.2877, 0.2919, 0.3002, 0.3033, 0.3054, 0.3564, 0.7147",\
                 "0.2947, 0.2927, 0.2917, 0.2942, 0.2988, 0.302, 0.3116, 0.3196, 0.3954, 0.9238",\
                 "0.3025, 0.3004, 0.2989, 0.3028, 0.306, 0.3095, 0.3113, 0.3341, 0.4828, 1.296");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01652, 0.07102, 0.1751, 0.3372, 0.5647, 0.864, 1.241, 1.701, 2.25");
          values("0.3535, 0.3419, 0.3334, 0.332, 0.3318, 0.3325, 0.333, 0.3332, 0.3333, 0.3335",\
                 "0.353, 0.3415, 0.3328, 0.3313, 0.3311, 0.332, 0.3324, 0.3326, 0.3328, 0.3329",\
                 "0.3528, 0.3411, 0.3325, 0.3306, 0.3307, 0.3313, 0.3318, 0.3322, 0.3323, 0.3325",\
                 "0.353, 0.3418, 0.3329, 0.3313, 0.3314, 0.3321, 0.3326, 0.3327, 0.3329, 0.333",\
                 "0.3548, 0.3431, 0.3345, 0.3331, 0.3331, 0.3339, 0.3342, 0.3344, 0.3346, 0.3347",\
                 "0.3575, 0.3458, 0.3371, 0.3356, 0.3355, 0.3364, 0.3369, 0.3371, 0.3373, 0.3374",\
                 "0.3613, 0.3497, 0.3415, 0.3395, 0.3398, 0.3402, 0.3406, 0.341, 0.341, 0.3413",\
                 "0.3664, 0.3547, 0.3463, 0.3448, 0.3446, 0.3454, 0.3458, 0.346, 0.3463, 0.3463",\
                 "0.3728, 0.3613, 0.3527, 0.3508, 0.3512, 0.3519, 0.3523, 0.3524, 0.3526, 0.3527",\
                 "0.3806, 0.369, 0.3607, 0.3589, 0.3592, 0.3595, 0.36, 0.3603, 0.3605, 0.3604");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01652, 0.07102, 0.1751, 0.3372, 0.5647, 0.864, 1.241, 1.701, 2.25");
          values("0.3166, 0.3122, 0.3074, 0.3066, 0.309, 0.3138, 0.3181, 0.3213, 0.3336, 0.4551",\
                 "0.3166, 0.3122, 0.308, 0.3069, 0.3102, 0.3153, 0.3172, 0.3231, 0.3359, 0.4607",\
                 "0.3166, 0.3125, 0.3082, 0.3065, 0.3105, 0.315, 0.3169, 0.321, 0.3352, 0.4681",\
                 "0.3167, 0.3123, 0.3078, 0.3069, 0.3102, 0.3153, 0.3172, 0.3223, 0.3405, 0.4917",\
                 "0.3175, 0.3134, 0.3086, 0.3074, 0.3114, 0.3159, 0.3178, 0.3223, 0.3403, 0.5145",\
                 "0.3192, 0.3151, 0.3097, 0.3094, 0.312, 0.3168, 0.3208, 0.3255, 0.3491, 0.5576",\
                 "0.3221, 0.3175, 0.3124, 0.3116, 0.3153, 0.3192, 0.3226, 0.3289, 0.3601, 0.6311",\
                 "0.3261, 0.3218, 0.3168, 0.3164, 0.3165, 0.3246, 0.3286, 0.3307, 0.381, 0.738",\
                 "0.3314, 0.327, 0.3221, 0.3211, 0.3222, 0.3255, 0.3351, 0.3436, 0.4134, 0.9145",\
                 "0.3376, 0.333, 0.3283, 0.3266, 0.3294, 0.33, 0.3366, 0.3519, 0.4824, 1.215");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01652, 0.07102, 0.1751, 0.3372, 0.5647, 0.864, 1.241, 1.701, 2.25");
          values("0.3809, 0.3764, 0.3745, 0.3755, 0.3773, 0.3786, 0.3795, 0.38, 0.3805, 0.3807",\
                 "0.381, 0.3766, 0.3746, 0.3755, 0.3775, 0.3787, 0.3796, 0.3801, 0.3805, 0.3808",\
                 "0.3809, 0.3764, 0.3746, 0.3758, 0.3774, 0.3788, 0.3795, 0.38, 0.3805, 0.3808",\
                 "0.3809, 0.3765, 0.3746, 0.3757, 0.3776, 0.3788, 0.3797, 0.3802, 0.3806, 0.3809",\
                 "0.3819, 0.3773, 0.3755, 0.3767, 0.3784, 0.3796, 0.3805, 0.381, 0.3815, 0.3818",\
                 "0.3834, 0.3789, 0.377, 0.3782, 0.38, 0.3813, 0.3821, 0.3828, 0.3832, 0.3835",\
                 "0.3864, 0.3815, 0.3797, 0.3811, 0.3827, 0.384, 0.3849, 0.3854, 0.3859, 0.3861",\
                 "0.3901, 0.3857, 0.3836, 0.3851, 0.3869, 0.3879, 0.389, 0.3894, 0.3898, 0.3901",\
                 "0.3955, 0.3908, 0.389, 0.3904, 0.3921, 0.3933, 0.3941, 0.3947, 0.3951, 0.3953",\
                 "0.402, 0.3974, 0.3951, 0.3964, 0.3983, 0.3996, 0.4005, 0.401, 0.4015, 0.4017");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01652, 0.07102, 0.1751, 0.3372, 0.5647, 0.864, 1.241, 1.701, 2.25");
          values("0.3358, 0.3339, 0.3326, 0.3364, 0.3406, 0.346, 0.3497, 0.3571, 0.3679, 0.4933",\
                 "0.3354, 0.3334, 0.3323, 0.3363, 0.3412, 0.3466, 0.3488, 0.3529, 0.3688, 0.4954",\
                 "0.335, 0.3329, 0.3319, 0.3354, 0.3403, 0.3454, 0.3494, 0.3533, 0.3694, 0.5058",\
                 "0.3354, 0.3333, 0.3325, 0.336, 0.3409, 0.346, 0.35, 0.3536, 0.3718, 0.5306",\
                 "0.337, 0.3353, 0.3336, 0.3372, 0.3421, 0.3481, 0.3515, 0.3556, 0.3793, 0.5788",\
                 "0.3401, 0.338, 0.3379, 0.3409, 0.3454, 0.3499, 0.3539, 0.3617, 0.3913, 0.6683",\
                 "0.3439, 0.3418, 0.3409, 0.3443, 0.3502, 0.3553, 0.3584, 0.3641, 0.4192, 0.8271",\
                 "0.3487, 0.3464, 0.3458, 0.3483, 0.3541, 0.358, 0.3634, 0.3715, 0.4744, 1.116",\
                 "0.3556, 0.3537, 0.3523, 0.355, 0.3592, 0.3658, 0.3702, 0.3902, 0.6086, 1.676",\
                 "0.3635, 0.361, 0.3599, 0.3629, 0.3676, 0.3718, 0.3824, 0.4485, 0.9713, 2.705");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01652, 0.07102, 0.1751, 0.3372, 0.5647, 0.864, 1.241, 1.701, 2.25");
          values("0.2976, 0.2859, 0.2768, 0.2751, 0.275, 0.2757, 0.2761, 0.2764, 0.2766, 0.2768",\
                 "0.2978, 0.2858, 0.2769, 0.2751, 0.275, 0.2757, 0.2761, 0.2765, 0.2766, 0.2768",\
                 "0.2978, 0.286, 0.277, 0.2751, 0.2751, 0.2759, 0.2764, 0.2766, 0.2768, 0.2769",\
                 "0.298, 0.2861, 0.2771, 0.2752, 0.2751, 0.2758, 0.2763, 0.2766, 0.2768, 0.2769",\
                 "0.2988, 0.2868, 0.2779, 0.2759, 0.2759, 0.2763, 0.2767, 0.277, 0.2772, 0.2773",\
                 "0.3006, 0.2888, 0.2792, 0.2773, 0.2773, 0.2779, 0.2784, 0.2786, 0.2788, 0.2789",\
                 "0.3043, 0.2921, 0.2826, 0.2803, 0.28, 0.2806, 0.281, 0.2813, 0.2816, 0.2818",\
                 "0.3099, 0.2976, 0.2877, 0.2853, 0.2849, 0.2853, 0.2858, 0.2862, 0.2863, 0.2864",\
                 "0.3175, 0.3047, 0.2943, 0.2913, 0.291, 0.2916, 0.292, 0.2924, 0.2926, 0.2927",\
                 "0.3273, 0.3142, 0.3031, 0.3, 0.2996, 0.2998, 0.3003, 0.3007, 0.3009, 0.3011");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01652, 0.07102, 0.1751, 0.3372, 0.5647, 0.864, 1.241, 1.701, 2.25");
          values("0.3187, 0.3143, 0.3099, 0.3085, 0.3112, 0.3157, 0.3185, 0.3256, 0.3338, 0.4503",\
                 "0.3185, 0.3142, 0.3095, 0.3083, 0.3115, 0.3166, 0.3185, 0.3253, 0.3342, 0.4513",\
                 "0.3183, 0.3139, 0.3092, 0.3081, 0.3109, 0.316, 0.3194, 0.3223, 0.3387, 0.4687",\
                 "0.3185, 0.3142, 0.3095, 0.3082, 0.3115, 0.3166, 0.3182, 0.3257, 0.3375, 0.4832",\
                 "0.3198, 0.3152, 0.3103, 0.3093, 0.3127, 0.3172, 0.3197, 0.3248, 0.3435, 0.5274",\
                 "0.3233, 0.3196, 0.3134, 0.3131, 0.3151, 0.3211, 0.3227, 0.3299, 0.3604, 0.6083",\
                 "0.3304, 0.3259, 0.3205, 0.319, 0.3208, 0.3268, 0.3284, 0.3357, 0.3825, 0.7609",\
                 "0.3401, 0.3349, 0.3288, 0.3268, 0.3295, 0.3319, 0.3358, 0.3469, 0.4377, 1.043",\
                 "0.351, 0.3458, 0.3385, 0.3359, 0.3373, 0.3433, 0.3471, 0.3631, 0.5685, 1.586",\
                 "0.3638, 0.358, 0.3501, 0.347, 0.3475, 0.3517, 0.3609, 0.4194, 0.9104, 2.591");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01652, 0.07102, 0.1751, 0.3372, 0.5647, 0.864, 1.241, 1.701, 2.25");
          values("0.3823, 0.3778, 0.3756, 0.3773, 0.3791, 0.3802, 0.381, 0.3816, 0.382, 0.3823",\
                 "0.3821, 0.3776, 0.3754, 0.3767, 0.3786, 0.3799, 0.3806, 0.3813, 0.3817, 0.3819",\
                 "0.3818, 0.3773, 0.3752, 0.3766, 0.3783, 0.3797, 0.3805, 0.3811, 0.3815, 0.3817",\
                 "0.3821, 0.3775, 0.3755, 0.3766, 0.3785, 0.3799, 0.3807, 0.3813, 0.3817, 0.382",\
                 "0.3835, 0.3788, 0.3769, 0.3781, 0.3799, 0.3812, 0.382, 0.3826, 0.3831, 0.3833",\
                 "0.3865, 0.3817, 0.3797, 0.3811, 0.3828, 0.3841, 0.3849, 0.3854, 0.3858, 0.3861",\
                 "0.391, 0.3864, 0.384, 0.3856, 0.3873, 0.3886, 0.3895, 0.3901, 0.3904, 0.3908",\
                 "0.397, 0.3922, 0.3903, 0.3913, 0.3932, 0.3946, 0.3954, 0.3959, 0.3963, 0.3967",\
                 "0.4044, 0.3998, 0.3977, 0.3988, 0.4009, 0.4021, 0.4031, 0.4036, 0.4039, 0.4042",\
                 "0.4141, 0.4094, 0.4071, 0.4081, 0.4101, 0.4115, 0.4124, 0.4129, 0.4133, 0.4134");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01652, 0.07102, 0.1751, 0.3372, 0.5647, 0.864, 1.241, 1.701, 2.25");
          values("0.2786, 0.2766, 0.2758, 0.2795, 0.2838, 0.2888, 0.2934, 0.2972, 0.3091, 0.4148",\
                 "0.2792, 0.2768, 0.276, 0.2799, 0.2841, 0.29, 0.2928, 0.2978, 0.3079, 0.4164",\
                 "0.2792, 0.2768, 0.2766, 0.2799, 0.2847, 0.2906, 0.294, 0.2987, 0.3115, 0.4247",\
                 "0.2792, 0.277, 0.2764, 0.2801, 0.285, 0.2909, 0.294, 0.2987, 0.3127, 0.4395",\
                 "0.2801, 0.2781, 0.2776, 0.2811, 0.2856, 0.2912, 0.2946, 0.2998, 0.3164, 0.4675",\
                 "0.2818, 0.2798, 0.2787, 0.2822, 0.2877, 0.2924, 0.2955, 0.3007, 0.3227, 0.5122",\
                 "0.285, 0.283, 0.2818, 0.2845, 0.2913, 0.2951, 0.2988, 0.3037, 0.3324, 0.5779",\
                 "0.2898, 0.2878, 0.2865, 0.2888, 0.2934, 0.3008, 0.3063, 0.3072, 0.3504, 0.695",\
                 "0.2959, 0.2936, 0.2929, 0.2942, 0.2991, 0.3032, 0.3099, 0.3222, 0.3891, 0.8852",\
                 "0.3037, 0.3008, 0.2998, 0.3027, 0.3066, 0.3092, 0.3128, 0.3299, 0.47, 1.227");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01652, 0.07102, 0.1751, 0.3372, 0.5647, 0.864, 1.241, 1.701, 2.25");
          values("0.2873, 0.2759, 0.2675, 0.2658, 0.2658, 0.2665, 0.267, 0.2673, 0.2674, 0.2675",\
                 "0.2861, 0.2747, 0.2663, 0.2647, 0.2648, 0.2656, 0.2658, 0.2661, 0.2663, 0.2665",\
                 "0.2838, 0.2723, 0.2639, 0.2624, 0.2623, 0.263, 0.2635, 0.2639, 0.264, 0.2641",\
                 "0.2837, 0.2721, 0.2635, 0.2613, 0.2615, 0.2622, 0.2627, 0.2632, 0.2635, 0.2637",\
                 "0.2961, 0.2826, 0.2706, 0.2662, 0.2655, 0.2658, 0.2663, 0.2666, 0.2669, 0.2671",\
                 "0.3208, 0.3036, 0.2856, 0.278, 0.275, 0.2741, 0.2739, 0.2741, 0.2741, 0.2743",\
                 "0.3493, 0.329, 0.3049, 0.2942, 0.289, 0.2869, 0.286, 0.2856, 0.2854, 0.2855",\
                 "0.3813, 0.358, 0.3284, 0.3141, 0.3073, 0.3036, 0.3021, 0.3013, 0.3007, 0.3005",\
                 "0.4168, 0.3915, 0.3563, 0.3389, 0.3297, 0.3247, 0.3223, 0.3209, 0.3203, 0.3198",\
                 "0.4573, 0.4305, 0.3898, 0.3687, 0.3573, 0.351, 0.3475, 0.3456, 0.3446, 0.3439");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01652, 0.07102, 0.1751, 0.3372, 0.5647, 0.864, 1.241, 1.701, 2.25");
          values("0.1804, 0.1789, 0.1791, 0.1833, 0.1887, 0.1931, 0.1977, 0.2039, 0.2114, 0.2858",\
                 "0.1808, 0.1789, 0.1797, 0.1841, 0.189, 0.194, 0.1977, 0.2018, 0.2109, 0.2873",\
                 "0.1801, 0.1785, 0.1789, 0.1825, 0.1872, 0.1931, 0.1971, 0.2021, 0.2119, 0.2965",\
                 "0.1844, 0.1817, 0.1797, 0.182, 0.1863, 0.1919, 0.1962, 0.2012, 0.2122, 0.3086",\
                 "0.1942, 0.1896, 0.1854, 0.1851, 0.1878, 0.1928, 0.1983, 0.2015, 0.2147, 0.3265",\
                 "0.2086, 0.2023, 0.1942, 0.1911, 0.1944, 0.1973, 0.201, 0.2056, 0.2207, 0.3629",\
                 "0.2278, 0.219, 0.2092, 0.2037, 0.2028, 0.2084, 0.2097, 0.2131, 0.2335, 0.4195",\
                 "0.2523, 0.2413, 0.2287, 0.2208, 0.2172, 0.2186, 0.2274, 0.2302, 0.2577, 0.5197",\
                 "0.2835, 0.2685, 0.254, 0.243, 0.2379, 0.2354, 0.2394, 0.2505, 0.3013, 0.6888",\
                 "0.3205, 0.302, 0.284, 0.2707, 0.2637, 0.2627, 0.2573, 0.2698, 0.377, 0.9989");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01652, 0.07102, 0.1751, 0.3372, 0.5647, 0.864, 1.241, 1.701, 2.25");
          values("0.289, 0.2845, 0.2825, 0.2838, 0.2854, 0.2867, 0.2876, 0.2881, 0.2885, 0.2887",\
                 "0.2888, 0.2842, 0.2827, 0.2836, 0.2855, 0.2865, 0.2876, 0.288, 0.2882, 0.2886",\
                 "0.2875, 0.283, 0.2808, 0.2823, 0.2839, 0.2851, 0.2859, 0.2864, 0.2868, 0.2871",\
                 "0.2842, 0.2797, 0.2776, 0.2789, 0.2805, 0.2818, 0.2826, 0.2832, 0.2835, 0.2839",\
                 "0.2831, 0.2787, 0.2766, 0.2779, 0.2795, 0.281, 0.2818, 0.2825, 0.2828, 0.283",\
                 "0.2852, 0.2805, 0.2783, 0.2795, 0.2814, 0.2827, 0.2835, 0.284, 0.2844, 0.2846",\
                 "0.29, 0.2848, 0.2823, 0.2837, 0.2853, 0.2866, 0.2874, 0.288, 0.2884, 0.2887",\
                 "0.2972, 0.292, 0.2889, 0.2899, 0.2913, 0.2926, 0.2933, 0.294, 0.2944, 0.2947",\
                 "0.307, 0.3013, 0.2975, 0.298, 0.2997, 0.3008, 0.3019, 0.3024, 0.3027, 0.303",\
                 "0.3192, 0.3131, 0.3089, 0.3087, 0.3099, 0.3111, 0.312, 0.3127, 0.3131, 0.3135");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01652, 0.07102, 0.1751, 0.3372, 0.5647, 0.864, 1.241, 1.701, 2.25");
          values("0.3041, 0.3013, 0.2995, 0.3017, 0.3063, 0.3113, 0.3162, 0.3218, 0.3297, 0.4182",\
                 "0.3036, 0.3013, 0.2997, 0.302, 0.3069, 0.311, 0.3159, 0.3197, 0.3291, 0.4213",\
                 "0.3036, 0.301, 0.3, 0.3018, 0.3066, 0.3104, 0.3156, 0.3191, 0.3327, 0.4258",\
                 "0.3036, 0.3014, 0.2998, 0.3016, 0.3069, 0.3116, 0.3153, 0.3191, 0.3309, 0.4444",\
                 "0.3048, 0.3018, 0.3011, 0.3021, 0.3066, 0.3116, 0.3156, 0.3216, 0.3348, 0.4771",\
                 "0.308, 0.3055, 0.3032, 0.3058, 0.3096, 0.3152, 0.3189, 0.3246, 0.3439, 0.5367",\
                 "0.3138, 0.3107, 0.3079, 0.3104, 0.3159, 0.3188, 0.3234, 0.3288, 0.3604, 0.6415",\
                 "0.322, 0.3191, 0.3168, 0.3162, 0.3222, 0.3275, 0.3303, 0.3365, 0.4003, 0.8357",\
                 "0.3328, 0.3293, 0.3268, 0.3268, 0.3303, 0.3344, 0.3431, 0.3524, 0.4753, 1.213",\
                 "0.3461, 0.3431, 0.3392, 0.3393, 0.3426, 0.3455, 0.351, 0.3846, 0.68, 1.945");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01652, 0.07102, 0.1751, 0.3372, 0.5647, 0.864, 1.241, 1.701, 2.25");
          values("0.289, 0.2843, 0.2829, 0.2838, 0.2856, 0.2867, 0.2876, 0.2881, 0.2885, 0.2887",\
                 "0.2889, 0.2842, 0.2827, 0.2836, 0.2855, 0.2865, 0.2876, 0.288, 0.2883, 0.2886",\
                 "0.2876, 0.283, 0.2806, 0.2823, 0.2837, 0.2851, 0.2861, 0.2864, 0.2868, 0.2871",\
                 "0.2841, 0.2797, 0.2776, 0.2789, 0.2805, 0.2818, 0.2826, 0.2832, 0.2835, 0.2839",\
                 "0.2831, 0.2787, 0.2766, 0.278, 0.2798, 0.281, 0.2818, 0.2825, 0.2828, 0.283",\
                 "0.2851, 0.2804, 0.2781, 0.2795, 0.2813, 0.2827, 0.2835, 0.284, 0.2844, 0.2846",\
                 "0.2898, 0.2848, 0.2823, 0.2834, 0.2853, 0.2865, 0.2874, 0.288, 0.2884, 0.2887",\
                 "0.2972, 0.292, 0.289, 0.2899, 0.2913, 0.2924, 0.2936, 0.294, 0.2944, 0.2947",\
                 "0.307, 0.3011, 0.2975, 0.298, 0.2997, 0.3008, 0.3019, 0.3024, 0.3027, 0.303",\
                 "0.3192, 0.3131, 0.3089, 0.3087, 0.3099, 0.3112, 0.312, 0.3127, 0.3132, 0.3136");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01652, 0.07102, 0.1751, 0.3372, 0.5647, 0.864, 1.241, 1.701, 2.25");
          values("0.3039, 0.3013, 0.2999, 0.3017, 0.3063, 0.3113, 0.3162, 0.3218, 0.3297, 0.4182",\
                 "0.3036, 0.3017, 0.2996, 0.3019, 0.306, 0.3119, 0.3144, 0.3209, 0.3285, 0.4192",\
                 "0.3036, 0.301, 0.3, 0.3018, 0.3072, 0.3116, 0.3159, 0.3209, 0.3327, 0.4258",\
                 "0.3036, 0.3014, 0.2998, 0.3014, 0.3069, 0.3116, 0.3153, 0.3206, 0.3336, 0.4444",\
                 "0.3046, 0.302, 0.3003, 0.3021, 0.3066, 0.3119, 0.3156, 0.3216, 0.3348, 0.4771",\
                 "0.308, 0.3052, 0.3034, 0.3058, 0.3096, 0.3152, 0.3192, 0.3243, 0.3448, 0.5367",\
                 "0.3136, 0.3107, 0.3093, 0.3103, 0.3153, 0.3194, 0.3234, 0.3288, 0.3607, 0.6409",\
                 "0.3219, 0.3191, 0.3169, 0.3162, 0.3213, 0.3275, 0.3303, 0.3362, 0.3953, 0.8357",\
                 "0.3328, 0.3293, 0.3266, 0.3271, 0.33, 0.3356, 0.3431, 0.3524, 0.4753, 1.213",\
                 "0.3461, 0.3431, 0.3392, 0.3395, 0.3429, 0.3455, 0.3516, 0.3864, 0.6779, 1.945");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01652, 0.07102, 0.1751, 0.3372, 0.5647, 0.864, 1.241, 1.701, 2.25");
          values("0.2876, 0.276, 0.2677, 0.2659, 0.266, 0.2664, 0.2669, 0.2673, 0.2675, 0.2675",\
                 "0.2862, 0.2749, 0.2666, 0.2648, 0.265, 0.2655, 0.266, 0.2662, 0.2663, 0.2664",\
                 "0.2838, 0.2723, 0.2639, 0.2624, 0.2624, 0.263, 0.2635, 0.2639, 0.2639, 0.264",\
                 "0.2837, 0.2721, 0.2634, 0.2613, 0.2616, 0.2623, 0.2629, 0.2632, 0.2635, 0.2637",\
                 "0.2961, 0.2826, 0.2706, 0.2662, 0.2655, 0.2658, 0.2663, 0.2666, 0.2669, 0.2671",\
                 "0.3208, 0.3037, 0.2856, 0.2779, 0.2751, 0.2743, 0.274, 0.2741, 0.2741, 0.2743",\
                 "0.3496, 0.3288, 0.3049, 0.2939, 0.289, 0.2869, 0.2858, 0.2856, 0.2854, 0.2854",\
                 "0.3813, 0.3582, 0.3286, 0.3141, 0.3068, 0.3037, 0.302, 0.3013, 0.3008, 0.3006",\
                 "0.4168, 0.3917, 0.3562, 0.3386, 0.3295, 0.3249, 0.3223, 0.3212, 0.3204, 0.3199",\
                 "0.4574, 0.4305, 0.3898, 0.3687, 0.3576, 0.3512, 0.3474, 0.3459, 0.3447, 0.3439");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01652, 0.07102, 0.1751, 0.3372, 0.5647, 0.864, 1.241, 1.701, 2.25");
          values("0.1804, 0.1786, 0.1794, 0.1835, 0.1887, 0.194, 0.1986, 0.2018, 0.2087, 0.2858",\
                 "0.1808, 0.1791, 0.1797, 0.1841, 0.189, 0.194, 0.1977, 0.2018, 0.2103, 0.2873",\
                 "0.1801, 0.1786, 0.1789, 0.1825, 0.1875, 0.1931, 0.1977, 0.2009, 0.2137, 0.2935",\
                 "0.1844, 0.1819, 0.1801, 0.182, 0.1863, 0.1919, 0.1962, 0.2009, 0.2152, 0.3017",\
                 "0.1942, 0.1896, 0.1855, 0.1853, 0.1878, 0.1928, 0.198, 0.2024, 0.2147, 0.3299",\
                 "0.2085, 0.2021, 0.1945, 0.1916, 0.1944, 0.1979, 0.2016, 0.2062, 0.2241, 0.3632",\
                 "0.2274, 0.2189, 0.2096, 0.2039, 0.2034, 0.2084, 0.2091, 0.2131, 0.2335, 0.4182",\
                 "0.2524, 0.2413, 0.2283, 0.2197, 0.2175, 0.2186, 0.2274, 0.2299, 0.2559, 0.5188",\
                 "0.2834, 0.2691, 0.2532, 0.2434, 0.2379, 0.2354, 0.2403, 0.2532, 0.3004, 0.6873",\
                 "0.3205, 0.3021, 0.2842, 0.2704, 0.2643, 0.2576, 0.2603, 0.2719, 0.3786, 0.9989");
        }
      }

      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.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01652, 0.07102, 0.1751, 0.3372, 0.5647, 0.864, 1.241, 1.701, 2.25");
          values("2.662, 2.723, 2.862, 3.055, 3.318, 3.673, 4.137, 4.72, 5.431, 6.28",\
                 "2.685, 2.745, 2.885, 3.078, 3.341, 3.695, 4.159, 4.742, 5.454, 6.302",\
                 "2.754, 2.814, 2.954, 3.147, 3.41, 3.765, 4.228, 4.812, 5.524, 6.371",\
                 "2.826, 2.886, 3.026, 3.219, 3.482, 3.837, 4.301, 4.884, 5.596, 6.443",\
                 "2.863, 2.923, 3.063, 3.256, 3.519, 3.873, 4.337, 4.92, 5.632, 6.48",\
                 "2.861, 2.921, 3.061, 3.254, 3.517, 3.872, 4.336, 4.919, 5.631, 6.479",\
                 "2.806, 2.866, 3.006, 3.199, 3.461, 3.816, 4.279, 4.862, 5.574, 6.422",\
                 "2.697, 2.757, 2.897, 3.091, 3.354, 3.708, 4.172, 4.755, 5.467, 6.315",\
                 "2.532, 2.592, 2.732, 2.925, 3.188, 3.542, 4.006, 4.589, 5.301, 6.149",\
                 "2.306, 2.367, 2.506, 2.699, 2.963, 3.317, 3.781, 4.364, 5.075, 5.923");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01652, 0.07102, 0.1751, 0.3372, 0.5647, 0.864, 1.241, 1.701, 2.25");
          values("2.386, 2.457, 2.645, 2.956, 3.427, 4.087, 4.954, 6.044, 7.377, 8.961",\
                 "2.401, 2.473, 2.661, 2.971, 3.443, 4.102, 4.968, 6.061, 7.392, 8.979",\
                 "2.465, 2.536, 2.724, 3.034, 3.506, 4.165, 5.033, 6.125, 7.454, 9.042",\
                 "2.594, 2.665, 2.853, 3.164, 3.636, 4.294, 5.162, 6.254, 7.584, 9.171",\
                 "2.809, 2.88, 3.068, 3.379, 3.851, 4.51, 5.376, 6.469, 7.8, 9.387",\
                 "3.103, 3.175, 3.362, 3.673, 4.145, 4.804, 5.672, 6.763, 8.094, 9.68",\
                 "3.465, 3.537, 3.725, 4.035, 4.507, 5.166, 6.033, 7.125, 8.455, 10.04",\
                 "3.902, 3.973, 4.161, 4.472, 4.943, 5.602, 6.469, 7.56, 8.89, 10.48",\
                 "4.416, 4.487, 4.675, 4.986, 5.458, 6.118, 6.984, 8.074, 9.406, 10.99",\
                 "5.01, 5.081, 5.269, 5.58, 6.052, 6.712, 7.577, 8.667, 9.998, 11.58");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01652, 0.07102, 0.1751, 0.3372, 0.5647, 0.864, 1.241, 1.701, 2.25");
          values("0.1472, 0.1984, 0.327, 0.5586, 0.9396, 1.505, 2.261, 3.22, 4.397, 5.79",\
                 "0.1472, 0.1986, 0.327, 0.5578, 0.9396, 1.505, 2.262, 3.223, 4.397, 5.792",\
                 "0.1474, 0.1988, 0.3278, 0.5584, 0.9396, 1.505, 2.263, 3.22, 4.397, 5.796",\
                 "0.1474, 0.1984, 0.327, 0.5586, 0.9396, 1.504, 2.262, 3.219, 4.397, 5.796",\
                 "0.1472, 0.1984, 0.3272, 0.5586, 0.9396, 1.505, 2.262, 3.221, 4.396, 5.796",\
                 "0.1478, 0.1988, 0.3272, 0.5586, 0.9396, 1.505, 2.262, 3.221, 4.396, 5.796",\
                 "0.1472, 0.1984, 0.3276, 0.5584, 0.9396, 1.503, 2.262, 3.224, 4.397, 5.793",\
                 "0.1474, 0.1988, 0.3278, 0.5584, 0.9408, 1.504, 2.261, 3.217, 4.387, 5.787",\
                 "0.1476, 0.1984, 0.3278, 0.558, 0.9398, 1.504, 2.26, 3.22, 4.39, 5.781",\
                 "0.1474, 0.1984, 0.3272, 0.558, 0.9402, 1.505, 2.262, 3.22, 4.386, 5.782");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01652, 0.07102, 0.1751, 0.3372, 0.5647, 0.864, 1.241, 1.701, 2.25");
          values("0.1524, 0.2302, 0.4724, 0.961, 1.753, 2.876, 4.361, 6.229, 8.493, 11.22",\
                 "0.1524, 0.2302, 0.4722, 0.9608, 1.755, 2.879, 4.36, 6.226, 8.502, 11.22",\
                 "0.1518, 0.2306, 0.4722, 0.9608, 1.754, 2.875, 4.36, 6.224, 8.505, 11.2",\
                 "0.1528, 0.23, 0.4724, 0.961, 1.753, 2.877, 4.36, 6.224, 8.506, 11.21",\
                 "0.1522, 0.2302, 0.4722, 0.9594, 1.756, 2.879, 4.36, 6.225, 8.504, 11.2",\
                 "0.152, 0.2304, 0.4728, 0.9612, 1.755, 2.875, 4.36, 6.225, 8.503, 11.22",\
                 "0.1518, 0.2308, 0.4732, 0.9612, 1.753, 2.879, 4.358, 6.22, 8.5, 11.2",\
                 "0.152, 0.2302, 0.473, 0.9596, 1.755, 2.877, 4.355, 6.215, 8.498, 11.21",\
                 "0.1526, 0.2304, 0.4724, 0.962, 1.754, 2.876, 4.35, 6.22, 8.49, 11.22",\
                 "0.154, 0.23, 0.472, 0.962, 1.756, 2.88, 4.35, 6.208, 8.492, 11.2");
        }
      }

      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.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01652, 0.07102, 0.1751, 0.3372, 0.5647, 0.864, 1.241, 1.701, 2.25");
          values("1.315, 1.389, 1.568, 1.803, 2.097, 2.469, 2.939, 3.524, 4.236, 5.085",\
                 "1.334, 1.409, 1.587, 1.822, 2.117, 2.489, 2.958, 3.543, 4.255, 5.104",\
                 "1.401, 1.476, 1.654, 1.889, 2.184, 2.556, 3.025, 3.61, 4.322, 5.171",\
                 "1.526, 1.6, 1.778, 2.014, 2.308, 2.68, 3.15, 3.735, 4.447, 5.295",\
                 "1.664, 1.738, 1.916, 2.152, 2.446, 2.818, 3.288, 3.873, 4.585, 5.433",\
                 "1.77, 1.845, 2.023, 2.259, 2.553, 2.926, 3.395, 3.98, 4.692, 5.541",\
                 "1.836, 1.911, 2.089, 2.326, 2.621, 2.993, 3.462, 4.047, 4.759, 5.608",\
                 "1.862, 1.936, 2.116, 2.352, 2.647, 3.019, 3.489, 4.074, 4.786, 5.635",\
                 "1.842, 1.917, 2.097, 2.334, 2.63, 3.002, 3.472, 4.057, 4.769, 5.617",\
                 "1.771, 1.847, 2.028, 2.265, 2.562, 2.934, 3.404, 3.989, 4.701, 5.549");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01652, 0.07102, 0.1751, 0.3372, 0.5647, 0.864, 1.241, 1.701, 2.25");
          values("1.882, 1.958, 2.151, 2.463, 2.934, 3.594, 4.46, 5.551, 6.882, 8.469",\
                 "1.905, 1.981, 2.174, 2.486, 2.957, 3.617, 4.483, 5.573, 6.904, 8.489",\
                 "1.983, 2.059, 2.252, 2.564, 3.035, 3.695, 4.561, 5.651, 6.982, 8.57",\
                 "2.15, 2.226, 2.419, 2.731, 3.202, 3.862, 4.728, 5.818, 7.149, 8.735",\
                 "2.43, 2.506, 2.699, 3.011, 3.482, 4.141, 5.008, 6.098, 7.429, 9.016",\
                 "2.826, 2.902, 3.096, 3.407, 3.879, 4.538, 5.404, 6.494, 7.826, 9.413",\
                 "3.299, 3.375, 3.569, 3.881, 4.352, 5.011, 5.877, 6.968, 8.299, 9.885",\
                 "3.822, 3.899, 4.094, 4.406, 4.877, 5.536, 6.402, 7.493, 8.824, 10.41",\
                 "4.403, 4.48, 4.678, 4.99, 5.461, 6.12, 6.986, 8.076, 9.407, 10.99",\
                 "5.048, 5.128, 5.326, 5.638, 6.109, 6.767, 7.633, 8.723, 10.05, 11.64");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01652, 0.07102, 0.1751, 0.3372, 0.5647, 0.864, 1.241, 1.701, 2.25");
          values("0.204, 0.269, 0.4314, 0.674, 1.04, 1.573, 2.305, 3.251, 4.419, 5.816",\
                 "0.2044, 0.269, 0.4316, 0.674, 1.041, 1.572, 2.304, 3.251, 4.418, 5.815",\
                 "0.2044, 0.2688, 0.431, 0.6744, 1.041, 1.572, 2.304, 3.251, 4.418, 5.811",\
                 "0.204, 0.2692, 0.4318, 0.6744, 1.04, 1.573, 2.306, 3.252, 4.418, 5.815",\
                 "0.2044, 0.2692, 0.4324, 0.6742, 1.04, 1.574, 2.306, 3.252, 4.419, 5.818",\
                 "0.2056, 0.2706, 0.4324, 0.6756, 1.041, 1.573, 2.306, 3.25, 4.418, 5.817",\
                 "0.2072, 0.272, 0.434, 0.6766, 1.042, 1.573, 2.304, 3.249, 4.42, 5.818",\
                 "0.2086, 0.2736, 0.437, 0.6774, 1.043, 1.574, 2.304, 3.248, 4.413, 5.811",\
                 "0.2112, 0.276, 0.4388, 0.6788, 1.044, 1.574, 2.306, 3.249, 4.415, 5.807",\
                 "0.214, 0.2792, 0.4418, 0.682, 1.046, 1.575, 2.306, 3.249, 4.416, 5.812");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01652, 0.07102, 0.1751, 0.3372, 0.5647, 0.864, 1.241, 1.701, 2.25");
          values("0.1742, 0.253, 0.489, 0.968, 1.76, 2.881, 4.357, 6.214, 8.495, 11.21",\
                 "0.1742, 0.2528, 0.489, 0.9688, 1.758, 2.881, 4.355, 6.221, 8.488, 11.2",\
                 "0.174, 0.2532, 0.489, 0.9678, 1.758, 2.88, 4.358, 6.214, 8.498, 11.21",\
                 "0.1742, 0.2526, 0.489, 0.9686, 1.758, 2.881, 4.355, 6.221, 8.487, 11.2",\
                 "0.1746, 0.2532, 0.4888, 0.9684, 1.757, 2.881, 4.357, 6.217, 8.497, 11.21",\
                 "0.1752, 0.2536, 0.4894, 0.9692, 1.76, 2.881, 4.356, 6.216, 8.487, 11.21",\
                 "0.1778, 0.2568, 0.4916, 0.9688, 1.76, 2.881, 4.353, 6.222, 8.483, 11.19",\
                 "0.1824, 0.2612, 0.4946, 0.9708, 1.759, 2.88, 4.352, 6.217, 8.49, 11.21",\
                 "0.187, 0.2662, 0.4978, 0.9724, 1.76, 2.878, 4.352, 6.222, 8.494, 11.21",\
                 "0.192, 0.27, 0.5, 0.974, 1.76, 2.88, 4.352, 6.21, 8.48, 11.2");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01652, 0.07102, 0.1751, 0.3372, 0.5647, 0.864, 1.241, 1.701, 2.25");
          values("2.662, 2.723, 2.862, 3.055, 3.318, 3.673, 4.137, 4.72, 5.431, 6.28",\
                 "2.685, 2.745, 2.885, 3.078, 3.341, 3.695, 4.159, 4.742, 5.454, 6.302",\
                 "2.754, 2.814, 2.954, 3.147, 3.41, 3.765, 4.228, 4.812, 5.524, 6.371",\
                 "2.826, 2.886, 3.026, 3.219, 3.482, 3.837, 4.301, 4.884, 5.596, 6.443",\
                 "2.863, 2.923, 3.063, 3.256, 3.519, 3.873, 4.337, 4.92, 5.632, 6.48",\
                 "2.861, 2.921, 3.061, 3.254, 3.517, 3.872, 4.336, 4.919, 5.631, 6.479",\
                 "2.806, 2.866, 3.006, 3.199, 3.461, 3.816, 4.279, 4.862, 5.574, 6.422",\
                 "2.697, 2.757, 2.897, 3.091, 3.354, 3.708, 4.172, 4.755, 5.467, 6.315",\
                 "2.532, 2.592, 2.732, 2.925, 3.188, 3.542, 4.006, 4.589, 5.301, 6.149",\
                 "2.306, 2.367, 2.506, 2.699, 2.963, 3.317, 3.781, 4.364, 5.075, 5.923");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01652, 0.07102, 0.1751, 0.3372, 0.5647, 0.864, 1.241, 1.701, 2.25");
          values("1.882, 1.958, 2.151, 2.463, 2.934, 3.594, 4.46, 5.551, 6.882, 8.469",\
                 "1.905, 1.981, 2.174, 2.486, 2.957, 3.617, 4.483, 5.573, 6.904, 8.489",\
                 "1.983, 2.059, 2.252, 2.564, 3.035, 3.695, 4.561, 5.651, 6.982, 8.57",\
                 "2.15, 2.226, 2.419, 2.731, 3.202, 3.862, 4.728, 5.818, 7.149, 8.735",\
                 "2.43, 2.506, 2.699, 3.011, 3.482, 4.141, 5.008, 6.098, 7.429, 9.016",\
                 "2.826, 2.902, 3.096, 3.407, 3.879, 4.538, 5.404, 6.494, 7.826, 9.413",\
                 "3.299, 3.375, 3.569, 3.881, 4.352, 5.011, 5.877, 6.968, 8.299, 9.885",\
                 "3.822, 3.899, 4.094, 4.406, 4.877, 5.536, 6.402, 7.493, 8.824, 10.41",\
                 "4.403, 4.48, 4.678, 4.99, 5.461, 6.12, 6.986, 8.076, 9.407, 10.99",\
                 "5.048, 5.128, 5.326, 5.638, 6.109, 6.767, 7.633, 8.723, 10.05, 11.64");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01652, 0.07102, 0.1751, 0.3372, 0.5647, 0.864, 1.241, 1.701, 2.25");
          values("0.204, 0.269, 0.4314, 0.674, 1.04, 1.573, 2.305, 3.251, 4.419, 5.816",\
                 "0.2044, 0.269, 0.4316, 0.674, 1.041, 1.572, 2.304, 3.251, 4.418, 5.815",\
                 "0.2044, 0.2688, 0.431, 0.6744, 1.041, 1.572, 2.304, 3.251, 4.418, 5.811",\
                 "0.204, 0.2692, 0.4318, 0.6744, 1.04, 1.573, 2.306, 3.252, 4.418, 5.815",\
                 "0.2044, 0.2692, 0.4324, 0.6742, 1.04, 1.574, 2.306, 3.252, 4.419, 5.818",\
                 "0.2056, 0.2706, 0.4324, 0.6756, 1.041, 1.573, 2.306, 3.25, 4.418, 5.817",\
                 "0.2072, 0.272, 0.434, 0.6766, 1.042, 1.573, 2.304, 3.249, 4.42, 5.818",\
                 "0.2086, 0.2736, 0.437, 0.6774, 1.043, 1.574, 2.304, 3.248, 4.413, 5.811",\
                 "0.2112, 0.276, 0.4388, 0.6788, 1.044, 1.574, 2.306, 3.249, 4.415, 5.807",\
                 "0.214, 0.2792, 0.4418, 0.682, 1.046, 1.575, 2.306, 3.249, 4.416, 5.812");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01652, 0.07102, 0.1751, 0.3372, 0.5647, 0.864, 1.241, 1.701, 2.25");
          values("0.1524, 0.2302, 0.4724, 0.961, 1.753, 2.876, 4.361, 6.229, 8.493, 11.22",\
                 "0.1524, 0.2302, 0.4722, 0.9608, 1.755, 2.879, 4.36, 6.226, 8.502, 11.22",\
                 "0.1518, 0.2306, 0.4722, 0.9608, 1.754, 2.875, 4.36, 6.224, 8.505, 11.2",\
                 "0.1528, 0.23, 0.4724, 0.961, 1.753, 2.877, 4.36, 6.224, 8.506, 11.21",\
                 "0.1522, 0.2302, 0.4722, 0.9594, 1.756, 2.879, 4.36, 6.225, 8.504, 11.2",\
                 "0.152, 0.2304, 0.4728, 0.9612, 1.755, 2.875, 4.36, 6.225, 8.503, 11.22",\
                 "0.1518, 0.2308, 0.4732, 0.9612, 1.753, 2.879, 4.358, 6.22, 8.5, 11.2",\
                 "0.152, 0.2302, 0.473, 0.9596, 1.755, 2.877, 4.355, 6.215, 8.498, 11.21",\
                 "0.1526, 0.2304, 0.4724, 0.962, 1.754, 2.876, 4.35, 6.22, 8.49, 11.22",\
                 "0.154, 0.23, 0.472, 0.962, 1.756, 2.88, 4.35, 6.208, 8.492, 11.2");
        }
      }

      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.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01652, 0.07102, 0.1751, 0.3372, 0.5647, 0.864, 1.241, 1.701, 2.25");
          values("2.131, 2.204, 2.382, 2.617, 2.911, 3.283, 3.753, 4.338, 5.05, 5.898",\
                 "2.146, 2.22, 2.398, 2.633, 2.927, 3.299, 3.768, 4.353, 5.066, 5.914",\
                 "2.209, 2.283, 2.461, 2.695, 2.99, 3.361, 3.831, 4.416, 5.128, 5.977",\
                 "2.339, 2.413, 2.59, 2.825, 3.119, 3.492, 3.961, 4.546, 5.258, 6.107",\
                 "2.554, 2.628, 2.805, 3.041, 3.335, 3.706, 4.176, 4.761, 5.473, 6.322",\
                 "2.847, 2.922, 3.099, 3.334, 3.628, 4, 4.47, 5.054, 5.767, 6.615",\
                 "3.208, 3.283, 3.46, 3.695, 3.989, 4.361, 4.831, 5.416, 6.128, 6.976",\
                 "3.645, 3.719, 3.896, 4.131, 4.426, 4.798, 5.267, 5.852, 6.564, 7.413",\
                 "4.158, 4.232, 4.409, 4.644, 4.938, 5.31, 5.78, 6.365, 7.077, 7.925",\
                 "4.751, 4.825, 5.002, 5.237, 5.532, 5.903, 6.373, 6.958, 7.67, 8.518");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01652, 0.07102, 0.1751, 0.3372, 0.5647, 0.864, 1.241, 1.701, 2.25");
          values("2.234, 2.31, 2.503, 2.815, 3.286, 3.946, 4.812, 5.902, 7.234, 8.821",\
                 "2.256, 2.332, 2.526, 2.837, 3.309, 3.968, 4.834, 5.925, 7.256, 8.843",\
                 "2.325, 2.401, 2.595, 2.906, 3.378, 4.037, 4.903, 5.994, 7.325, 8.912",\
                 "2.398, 2.473, 2.667, 2.978, 3.45, 4.109, 4.975, 6.066, 7.397, 8.984",\
                 "2.433, 2.509, 2.703, 3.015, 3.486, 4.145, 5.011, 6.102, 7.433, 9.019",\
                 "2.431, 2.506, 2.7, 3.012, 3.483, 4.142, 5.009, 6.099, 7.43, 9.017",\
                 "2.374, 2.45, 2.644, 2.955, 3.426, 4.085, 4.951, 6.042, 7.374, 8.959",\
                 "2.266, 2.342, 2.535, 2.847, 3.318, 3.977, 4.843, 5.934, 7.265, 8.852",\
                 "2.101, 2.176, 2.37, 2.682, 3.153, 3.812, 4.679, 5.769, 7.1, 8.686",\
                 "1.876, 1.951, 2.144, 2.456, 2.928, 3.587, 4.453, 5.544, 6.875, 8.461");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01652, 0.07102, 0.1751, 0.3372, 0.5647, 0.864, 1.241, 1.701, 2.25");
          values("0.2022, 0.2676, 0.4296, 0.673, 1.039, 1.572, 2.305, 3.25, 4.416, 5.817",\
                 "0.2022, 0.2672, 0.4296, 0.6736, 1.04, 1.573, 2.305, 3.251, 4.419, 5.815",\
                 "0.2024, 0.2672, 0.4296, 0.6728, 1.038, 1.573, 2.304, 3.251, 4.419, 5.815",\
                 "0.2022, 0.2678, 0.43, 0.6728, 1.039, 1.573, 2.305, 3.251, 4.416, 5.817",\
                 "0.202, 0.2674, 0.4302, 0.6734, 1.04, 1.572, 2.305, 3.25, 4.414, 5.817",\
                 "0.2022, 0.2674, 0.4304, 0.6732, 1.039, 1.573, 2.306, 3.25, 4.415, 5.814",\
                 "0.2028, 0.2674, 0.4296, 0.673, 1.04, 1.572, 2.305, 3.251, 4.419, 5.817",\
                 "0.2026, 0.2678, 0.4304, 0.6728, 1.039, 1.572, 2.303, 3.251, 4.42, 5.818",\
                 "0.2026, 0.2672, 0.4294, 0.6726, 1.038, 1.572, 2.308, 3.25, 4.414, 5.812",\
                 "0.204, 0.268, 0.43, 0.672, 1.04, 1.572, 2.306, 3.25, 4.414, 5.808");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01652, 0.07102, 0.1751, 0.3372, 0.5647, 0.864, 1.241, 1.701, 2.25");
          values("0.1752, 0.2534, 0.4896, 0.969, 1.758, 2.88, 4.358, 6.211, 8.496, 11.21",\
                 "0.1752, 0.2538, 0.4892, 0.9678, 1.759, 2.881, 4.358, 6.215, 8.498, 11.21",\
                 "0.1754, 0.2538, 0.4896, 0.9696, 1.759, 2.881, 4.358, 6.215, 8.498, 11.21",\
                 "0.175, 0.2536, 0.4896, 0.969, 1.757, 2.881, 4.357, 6.216, 8.493, 11.21",\
                 "0.1752, 0.2538, 0.4894, 0.9694, 1.759, 2.88, 4.358, 6.217, 8.49, 11.2",\
                 "0.1752, 0.2532, 0.4888, 0.9696, 1.757, 2.877, 4.357, 6.219, 8.497, 11.21",\
                 "0.1756, 0.2536, 0.489, 0.9686, 1.756, 2.879, 4.355, 6.22, 8.49, 11.2",\
                 "0.1752, 0.253, 0.4884, 0.9686, 1.756, 2.878, 4.35, 6.219, 8.495, 11.2",\
                 "0.1744, 0.2534, 0.4892, 0.969, 1.757, 2.878, 4.353, 6.211, 8.482, 11.2",\
                 "0.1748, 0.2538, 0.4888, 0.9682, 1.757, 2.877, 4.358, 6.21, 8.478, 11.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.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01652, 0.07102, 0.1751, 0.3372, 0.5647, 0.864, 1.241, 1.701, 2.25");
          values("2.314, 2.374, 2.514, 2.707, 2.97, 3.325, 3.788, 4.372, 5.084, 5.932",\
                 "2.337, 2.397, 2.537, 2.73, 2.993, 3.348, 3.811, 4.394, 5.106, 5.954",\
                 "2.415, 2.475, 2.615, 2.808, 3.071, 3.426, 3.889, 4.472, 5.184, 6.032",\
                 "2.582, 2.642, 2.782, 2.975, 3.238, 3.593, 4.056, 4.64, 5.352, 6.199",\
                 "2.862, 2.922, 3.062, 3.255, 3.518, 3.873, 4.336, 4.919, 5.631, 6.479",\
                 "3.255, 3.316, 3.456, 3.648, 3.911, 4.266, 4.729, 5.313, 6.025, 6.872",\
                 "3.722, 3.783, 3.923, 4.116, 4.378, 4.733, 5.197, 5.78, 6.491, 7.34",\
                 "4.239, 4.3, 4.439, 4.632, 4.894, 5.249, 5.713, 6.296, 7.008, 7.856",\
                 "4.812, 4.872, 5.011, 5.205, 5.467, 5.822, 6.285, 6.868, 7.58, 8.428",\
                 "5.451, 5.51, 5.65, 5.843, 6.106, 6.46, 6.924, 7.507, 8.219, 9.067");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01652, 0.07102, 0.1751, 0.3372, 0.5647, 0.864, 1.241, 1.701, 2.25");
          values("1.586, 1.657, 1.845, 2.156, 2.628, 3.287, 4.154, 5.245, 6.579, 8.168",\
                 "1.605, 1.676, 1.864, 2.175, 2.647, 3.306, 4.173, 5.266, 6.598, 8.186",\
                 "1.672, 1.744, 1.931, 2.242, 2.714, 3.373, 4.239, 5.333, 6.663, 8.253",\
                 "1.797, 1.869, 2.057, 2.367, 2.839, 3.498, 4.365, 5.458, 6.79, 8.378",\
                 "1.94, 2.012, 2.2, 2.51, 2.982, 3.641, 4.508, 5.6, 6.933, 8.522",\
                 "2.051, 2.123, 2.311, 2.621, 3.093, 3.752, 4.619, 5.712, 7.042, 8.626",\
                 "2.124, 2.195, 2.383, 2.693, 3.165, 3.824, 4.691, 5.782, 7.114, 8.699",\
                 "2.155, 2.226, 2.414, 2.725, 3.197, 3.856, 4.722, 5.812, 7.144, 8.733",\
                 "2.141, 2.213, 2.401, 2.711, 3.183, 3.843, 4.708, 5.799, 7.129, 8.715",\
                 "2.078, 2.149, 2.337, 2.648, 3.119, 3.78, 4.645, 5.736, 7.066, 8.652");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01652, 0.07102, 0.1751, 0.3372, 0.5647, 0.864, 1.241, 1.701, 2.25");
          values("0.1474, 0.1984, 0.3274, 0.559, 0.9396, 1.504, 2.262, 3.222, 4.393, 5.797",\
                 "0.1474, 0.1984, 0.3278, 0.559, 0.9406, 1.504, 2.261, 3.223, 4.397, 5.794",\
                 "0.1474, 0.1986, 0.3266, 0.5584, 0.9412, 1.505, 2.262, 3.221, 4.398, 5.788",\
                 "0.1476, 0.199, 0.3274, 0.5578, 0.9396, 1.505, 2.263, 3.219, 4.397, 5.792",\
                 "0.1476, 0.1986, 0.327, 0.5584, 0.9396, 1.505, 2.262, 3.222, 4.396, 5.795",\
                 "0.1474, 0.1986, 0.3272, 0.559, 0.94, 1.504, 2.262, 3.222, 4.396, 5.796",\
                 "0.1474, 0.1984, 0.327, 0.5582, 0.9406, 1.505, 2.262, 3.221, 4.397, 5.79",\
                 "0.1474, 0.1984, 0.3282, 0.5576, 0.9404, 1.503, 2.262, 3.222, 4.392, 5.79",\
                 "0.1472, 0.1994, 0.328, 0.558, 0.94, 1.506, 2.26, 3.216, 4.39, 5.786",\
                 "0.148, 0.2, 0.328, 0.56, 0.94, 1.504, 2.262, 3.22, 4.39, 5.78");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01652, 0.07102, 0.1751, 0.3372, 0.5647, 0.864, 1.241, 1.701, 2.25");
          values("0.1518, 0.2308, 0.4722, 0.9612, 1.754, 2.879, 4.358, 6.227, 8.5, 11.22",\
                 "0.1528, 0.2304, 0.4734, 0.9604, 1.754, 2.875, 4.361, 6.223, 8.494, 11.21",\
                 "0.1522, 0.2302, 0.4734, 0.9606, 1.755, 2.879, 4.361, 6.222, 8.506, 11.21",\
                 "0.152, 0.2304, 0.4724, 0.9608, 1.755, 2.875, 4.361, 6.221, 8.498, 11.21",\
                 "0.1522, 0.2306, 0.4724, 0.961, 1.753, 2.879, 4.36, 6.225, 8.497, 11.21",\
                 "0.1528, 0.2302, 0.4724, 0.9608, 1.754, 2.878, 4.361, 6.222, 8.51, 11.23",\
                 "0.153, 0.2306, 0.4728, 0.9606, 1.753, 2.878, 4.356, 6.226, 8.502, 11.23",\
                 "0.1524, 0.2304, 0.4722, 0.9602, 1.753, 2.874, 4.349, 6.209, 8.496, 11.2",\
                 "0.1528, 0.2312, 0.473, 0.9614, 1.753, 2.875, 4.349, 6.209, 8.49, 11.21",\
                 "0.153, 0.231, 0.473, 0.9612, 1.754, 2.874, 4.356, 6.208, 8.48, 11.19");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01652, 0.07102, 0.1751, 0.3372, 0.5647, 0.864, 1.241, 1.701, 2.25");
          values("2.314, 2.374, 2.514, 2.707, 2.97, 3.325, 3.788, 4.372, 5.084, 5.932",\
                 "2.337, 2.397, 2.537, 2.73, 2.993, 3.348, 3.811, 4.394, 5.106, 5.954",\
                 "2.415, 2.475, 2.615, 2.808, 3.071, 3.426, 3.889, 4.472, 5.184, 6.032",\
                 "2.582, 2.642, 2.782, 2.975, 3.238, 3.593, 4.056, 4.64, 5.352, 6.199",\
                 "2.862, 2.922, 3.062, 3.255, 3.518, 3.873, 4.336, 4.919, 5.631, 6.479",\
                 "3.255, 3.316, 3.456, 3.648, 3.911, 4.266, 4.729, 5.313, 6.025, 6.872",\
                 "3.722, 3.783, 3.923, 4.116, 4.378, 4.733, 5.197, 5.78, 6.491, 7.34",\
                 "4.239, 4.3, 4.439, 4.632, 4.894, 5.249, 5.713, 6.296, 7.008, 7.856",\
                 "4.812, 4.872, 5.011, 5.205, 5.467, 5.822, 6.285, 6.868, 7.58, 8.428",\
                 "5.451, 5.51, 5.65, 5.843, 6.106, 6.46, 6.924, 7.507, 8.219, 9.067");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01652, 0.07102, 0.1751, 0.3372, 0.5647, 0.864, 1.241, 1.701, 2.25");
          values("2.234, 2.31, 2.503, 2.815, 3.286, 3.946, 4.812, 5.902, 7.234, 8.821",\
                 "2.256, 2.332, 2.526, 2.837, 3.309, 3.968, 4.834, 5.925, 7.256, 8.843",\
                 "2.325, 2.401, 2.595, 2.906, 3.378, 4.037, 4.903, 5.994, 7.325, 8.912",\
                 "2.398, 2.473, 2.667, 2.978, 3.45, 4.109, 4.975, 6.066, 7.397, 8.984",\
                 "2.433, 2.509, 2.703, 3.015, 3.486, 4.145, 5.011, 6.102, 7.433, 9.019",\
                 "2.431, 2.506, 2.7, 3.012, 3.483, 4.142, 5.009, 6.099, 7.43, 9.017",\
                 "2.374, 2.45, 2.644, 2.955, 3.426, 4.085, 4.951, 6.042, 7.374, 8.959",\
                 "2.266, 2.342, 2.535, 2.847, 3.318, 3.977, 4.843, 5.934, 7.265, 8.852",\
                 "2.101, 2.176, 2.37, 2.682, 3.153, 3.812, 4.679, 5.769, 7.1, 8.686",\
                 "1.876, 1.951, 2.144, 2.456, 2.928, 3.587, 4.453, 5.544, 6.875, 8.461");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01652, 0.07102, 0.1751, 0.3372, 0.5647, 0.864, 1.241, 1.701, 2.25");
          values("0.2022, 0.2676, 0.4296, 0.673, 1.039, 1.572, 2.305, 3.25, 4.416, 5.817",\
                 "0.2022, 0.2672, 0.4296, 0.6736, 1.04, 1.573, 2.305, 3.251, 4.419, 5.815",\
                 "0.2024, 0.2672, 0.4296, 0.6728, 1.038, 1.573, 2.304, 3.251, 4.419, 5.815",\
                 "0.2022, 0.2678, 0.43, 0.6728, 1.039, 1.573, 2.305, 3.251, 4.416, 5.817",\
                 "0.202, 0.2674, 0.4302, 0.6734, 1.04, 1.572, 2.305, 3.25, 4.414, 5.817",\
                 "0.2022, 0.2674, 0.4304, 0.6732, 1.039, 1.573, 2.306, 3.25, 4.415, 5.814",\
                 "0.2028, 0.2674, 0.4296, 0.673, 1.04, 1.572, 2.305, 3.251, 4.419, 5.817",\
                 "0.2026, 0.2678, 0.4304, 0.6728, 1.039, 1.572, 2.303, 3.251, 4.42, 5.818",\
                 "0.2026, 0.2672, 0.4294, 0.6726, 1.038, 1.572, 2.308, 3.25, 4.414, 5.812",\
                 "0.204, 0.268, 0.43, 0.672, 1.04, 1.572, 2.306, 3.25, 4.414, 5.808");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01652, 0.07102, 0.1751, 0.3372, 0.5647, 0.864, 1.241, 1.701, 2.25");
          values("0.1518, 0.2308, 0.4722, 0.9612, 1.754, 2.879, 4.358, 6.227, 8.5, 11.22",\
                 "0.1528, 0.2304, 0.4734, 0.9604, 1.754, 2.875, 4.361, 6.223, 8.494, 11.21",\
                 "0.1522, 0.2302, 0.4734, 0.9606, 1.755, 2.879, 4.361, 6.222, 8.506, 11.21",\
                 "0.152, 0.2304, 0.4724, 0.9608, 1.755, 2.875, 4.361, 6.221, 8.498, 11.21",\
                 "0.1522, 0.2306, 0.4724, 0.961, 1.753, 2.879, 4.36, 6.225, 8.497, 11.21",\
                 "0.1528, 0.2302, 0.4724, 0.9608, 1.754, 2.878, 4.361, 6.222, 8.51, 11.23",\
                 "0.153, 0.2306, 0.4728, 0.9606, 1.753, 2.878, 4.356, 6.226, 8.502, 11.23",\
                 "0.1524, 0.2304, 0.4722, 0.9602, 1.753, 2.874, 4.349, 6.209, 8.496, 11.2",\
                 "0.1528, 0.2312, 0.473, 0.9614, 1.753, 2.875, 4.349, 6.209, 8.49, 11.21",\
                 "0.153, 0.231, 0.473, 0.9612, 1.754, 2.874, 4.356, 6.208, 8.48, 11.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.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01652, 0.07102, 0.1751, 0.3372, 0.5647, 0.864, 1.241, 1.701, 2.25");
          values("2.583, 2.643, 2.783, 2.976, 3.239, 3.593, 4.057, 4.64, 5.352, 6.2",\
                 "2.605, 2.666, 2.805, 2.999, 3.261, 3.616, 4.08, 4.663, 5.375, 6.222",\
                 "2.675, 2.735, 2.875, 3.068, 3.331, 3.685, 4.149, 4.732, 5.444, 6.292",\
                 "2.742, 2.803, 2.943, 3.136, 3.399, 3.753, 4.217, 4.8, 5.512, 6.36",\
                 "2.77, 2.831, 2.97, 3.164, 3.427, 3.781, 4.245, 4.828, 5.539, 6.388",\
                 "2.754, 2.815, 2.954, 3.147, 3.41, 3.765, 4.228, 4.812, 5.524, 6.372",\
                 "2.685, 2.746, 2.886, 3.079, 3.341, 3.696, 4.159, 4.742, 5.454, 6.302",\
                 "2.557, 2.618, 2.757, 2.952, 3.214, 3.568, 4.032, 4.615, 5.326, 6.175",\
                 "2.366, 2.426, 2.566, 2.759, 3.022, 3.377, 3.84, 4.424, 5.135, 5.983",\
                 "2.105, 2.166, 2.306, 2.499, 2.762, 3.116, 3.58, 4.164, 4.875, 5.723");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01652, 0.07102, 0.1751, 0.3372, 0.5647, 0.864, 1.241, 1.701, 2.25");
          values("2.336, 2.408, 2.596, 2.906, 3.378, 4.038, 4.905, 5.995, 7.329, 8.914",\
                 "2.347, 2.418, 2.606, 2.916, 3.388, 4.047, 4.913, 6.006, 7.338, 8.923",\
                 "2.422, 2.493, 2.681, 2.992, 3.463, 4.122, 4.988, 6.081, 7.412, 8.999",\
                 "2.602, 2.674, 2.862, 3.172, 3.644, 4.303, 5.169, 6.262, 7.593, 9.18",\
                 "2.893, 2.964, 3.152, 3.462, 3.934, 4.594, 5.46, 6.552, 7.884, 9.47",\
                 "3.265, 3.336, 3.524, 3.835, 4.307, 4.966, 5.833, 6.923, 8.256, 9.841",\
                 "3.693, 3.764, 3.953, 4.263, 4.735, 5.394, 6.261, 7.353, 8.684, 10.27",\
                 "4.192, 4.264, 4.451, 4.762, 5.234, 5.893, 6.76, 7.851, 9.182, 10.77",\
                 "4.769, 4.841, 5.029, 5.339, 5.811, 6.471, 7.336, 8.427, 9.758, 11.35",\
                 "5.432, 5.503, 5.691, 6.002, 6.474, 7.134, 8, 9.089, 10.42, 12.01");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01652, 0.07102, 0.1751, 0.3372, 0.5647, 0.864, 1.241, 1.701, 2.25");
          values("0.1474, 0.1984, 0.3272, 0.558, 0.9394, 1.504, 2.262, 3.221, 4.397, 5.795",\
                 "0.1472, 0.1984, 0.327, 0.5586, 0.9396, 1.505, 2.262, 3.221, 4.397, 5.792",\
                 "0.1474, 0.1988, 0.327, 0.5584, 0.9396, 1.505, 2.262, 3.22, 4.398, 5.786",\
                 "0.1476, 0.1988, 0.3274, 0.5586, 0.941, 1.505, 2.262, 3.22, 4.398, 5.787",\
                 "0.1474, 0.1988, 0.3274, 0.5582, 0.941, 1.505, 2.262, 3.221, 4.397, 5.789",\
                 "0.1474, 0.1984, 0.3272, 0.5588, 0.9396, 1.504, 2.261, 3.224, 4.392, 5.79",\
                 "0.1478, 0.199, 0.3274, 0.5586, 0.9404, 1.503, 2.261, 3.222, 4.396, 5.796",\
                 "0.1476, 0.1988, 0.327, 0.5582, 0.94, 1.505, 2.26, 3.219, 4.388, 5.789",\
                 "0.1472, 0.1986, 0.327, 0.5586, 0.9406, 1.504, 2.262, 3.219, 4.387, 5.783",\
                 "0.1476, 0.1988, 0.3268, 0.5584, 0.9396, 1.504, 2.263, 3.222, 4.39, 5.78");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01652, 0.07102, 0.1751, 0.3372, 0.5647, 0.864, 1.241, 1.701, 2.25");
          values("0.1528, 0.2302, 0.4722, 0.9602, 1.755, 2.879, 4.357, 6.229, 8.492, 11.21",\
                 "0.152, 0.2296, 0.473, 0.9608, 1.755, 2.876, 4.359, 6.228, 8.499, 11.22",\
                 "0.1522, 0.23, 0.4722, 0.9608, 1.755, 2.875, 4.36, 6.226, 8.502, 11.22",\
                 "0.1524, 0.2304, 0.473, 0.9608, 1.755, 2.875, 4.36, 6.226, 8.503, 11.22",\
                 "0.152, 0.2304, 0.4724, 0.9606, 1.754, 2.879, 4.36, 6.227, 8.501, 11.22",\
                 "0.1528, 0.23, 0.473, 0.9608, 1.755, 2.88, 4.357, 6.228, 8.502, 11.21",\
                 "0.1518, 0.23, 0.4724, 0.9604, 1.755, 2.877, 4.361, 6.228, 8.49, 11.22",\
                 "0.1522, 0.2298, 0.472, 0.961, 1.753, 2.877, 4.36, 6.22, 8.494, 11.21",\
                 "0.1522, 0.2304, 0.472, 0.96, 1.754, 2.874, 4.348, 6.22, 8.492, 11.21",\
                 "0.152, 0.23, 0.472, 0.962, 1.752, 2.876, 4.348, 6.21, 8.49, 11.2");
        }
      }

      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.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01652, 0.07102, 0.1751, 0.3372, 0.5647, 0.864, 1.241, 1.701, 2.25");
          values("1.331, 1.405, 1.583, 1.819, 2.113, 2.485, 2.955, 3.54, 4.252, 5.101",\
                 "1.349, 1.423, 1.602, 1.837, 2.131, 2.503, 2.973, 3.558, 4.27, 5.119",\
                 "1.395, 1.469, 1.648, 1.883, 2.177, 2.549, 3.019, 3.604, 4.316, 5.165",\
                 "1.477, 1.551, 1.729, 1.964, 2.259, 2.631, 3.1, 3.685, 4.398, 5.246",\
                 "1.57, 1.644, 1.822, 2.058, 2.352, 2.724, 3.194, 3.779, 4.491, 5.339",\
                 "1.642, 1.717, 1.895, 2.131, 2.426, 2.798, 3.267, 3.852, 4.564, 5.413",\
                 "1.679, 1.754, 1.932, 2.168, 2.463, 2.836, 3.305, 3.89, 4.602, 5.451",\
                 "1.674, 1.749, 1.928, 2.165, 2.459, 2.832, 3.302, 3.886, 4.598, 5.447",\
                 "1.619, 1.694, 1.874, 2.111, 2.406, 2.779, 3.249, 3.834, 4.546, 5.394",\
                 "1.508, 1.584, 1.764, 2.002, 2.298, 2.671, 3.141, 3.726, 4.438, 5.286");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01652, 0.07102, 0.1751, 0.3372, 0.5647, 0.864, 1.241, 1.701, 2.25");
          values("1.963, 2.039, 2.233, 2.544, 3.016, 3.675, 4.541, 5.632, 6.963, 8.549",\
                 "1.983, 2.059, 2.253, 2.564, 3.036, 3.695, 4.561, 5.652, 6.983, 8.569",\
                 "2.066, 2.142, 2.336, 2.647, 3.118, 3.778, 4.644, 5.735, 7.066, 8.653",\
                 "2.238, 2.314, 2.507, 2.819, 3.291, 3.95, 4.815, 5.907, 7.238, 8.824",\
                 "2.521, 2.596, 2.791, 3.101, 3.573, 4.232, 5.098, 6.189, 7.52, 9.106",\
                 "2.923, 2.999, 3.192, 3.504, 3.975, 4.635, 5.501, 6.592, 7.923, 9.508",\
                 "3.413, 3.489, 3.683, 3.995, 4.466, 5.125, 5.991, 7.082, 8.413, 9.999",\
                 "3.958, 4.035, 4.231, 4.543, 5.013, 5.672, 6.539, 7.63, 8.961, 10.55",\
                 "4.562, 4.641, 4.837, 5.149, 5.62, 6.278, 7.144, 8.234, 9.565, 11.15",\
                 "5.236, 5.315, 5.514, 5.825, 6.296, 6.954, 7.82, 8.911, 10.24, 11.83");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01652, 0.07102, 0.1751, 0.3372, 0.5647, 0.864, 1.241, 1.701, 2.25");
          values("0.2038, 0.2688, 0.4318, 0.6738, 1.04, 1.573, 2.304, 3.251, 4.416, 5.812",\
                 "0.204, 0.2692, 0.4312, 0.674, 1.04, 1.572, 2.306, 3.252, 4.419, 5.816",\
                 "0.2044, 0.2694, 0.4314, 0.6742, 1.041, 1.573, 2.306, 3.251, 4.419, 5.816",\
                 "0.2038, 0.2688, 0.4318, 0.6744, 1.04, 1.572, 2.304, 3.251, 4.419, 5.816",\
                 "0.2048, 0.2702, 0.4324, 0.6746, 1.041, 1.573, 2.304, 3.25, 4.419, 5.818",\
                 "0.2054, 0.2704, 0.433, 0.6748, 1.041, 1.573, 2.305, 3.251, 4.415, 5.809",\
                 "0.2066, 0.272, 0.434, 0.6762, 1.041, 1.573, 2.304, 3.25, 4.417, 5.816",\
                 "0.2082, 0.2734, 0.4356, 0.6776, 1.042, 1.574, 2.305, 3.25, 4.413, 5.811",\
                 "0.211, 0.2752, 0.4384, 0.679, 1.042, 1.576, 2.304, 3.248, 4.415, 5.805",\
                 "0.2132, 0.2782, 0.4408, 0.6824, 1.045, 1.575, 2.304, 3.25, 4.416, 5.808");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01652, 0.07102, 0.1751, 0.3372, 0.5647, 0.864, 1.241, 1.701, 2.25");
          values("0.1752, 0.2536, 0.4892, 0.9692, 1.758, 2.879, 4.354, 6.221, 8.487, 11.2",\
                 "0.175, 0.2534, 0.4894, 0.9692, 1.758, 2.879, 4.354, 6.221, 8.487, 11.2",\
                 "0.175, 0.2534, 0.4898, 0.969, 1.76, 2.88, 4.358, 6.213, 8.497, 11.21",\
                 "0.175, 0.2534, 0.4894, 0.9692, 1.758, 2.879, 4.354, 6.221, 8.487, 11.2",\
                 "0.1748, 0.2536, 0.4896, 0.9696, 1.758, 2.877, 4.353, 6.221, 8.484, 11.21",\
                 "0.1758, 0.2542, 0.4896, 0.9692, 1.759, 2.878, 4.357, 6.216, 8.497, 11.19",\
                 "0.1786, 0.2574, 0.4906, 0.9702, 1.759, 2.88, 4.355, 6.22, 8.49, 11.2",\
                 "0.1824, 0.2612, 0.4942, 0.9698, 1.759, 2.88, 4.357, 6.22, 8.486, 11.2",\
                 "0.1874, 0.2658, 0.4968, 0.974, 1.76, 2.878, 4.352, 6.22, 8.496, 11.21",\
                 "0.192, 0.27, 0.502, 0.974, 1.76, 2.878, 4.352, 6.212, 8.494, 11.19");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01652, 0.07102, 0.1751, 0.3372, 0.5647, 0.864, 1.241, 1.701, 2.25");
          values("2.583, 2.643, 2.783, 2.976, 3.239, 3.593, 4.057, 4.64, 5.352, 6.2",\
                 "2.605, 2.666, 2.805, 2.999, 3.261, 3.616, 4.08, 4.663, 5.375, 6.222",\
                 "2.675, 2.735, 2.875, 3.068, 3.331, 3.685, 4.149, 4.732, 5.444, 6.292",\
                 "2.742, 2.803, 2.943, 3.136, 3.399, 3.753, 4.217, 4.8, 5.512, 6.36",\
                 "2.77, 2.831, 2.97, 3.164, 3.427, 3.781, 4.245, 4.828, 5.539, 6.388",\
                 "2.754, 2.815, 2.954, 3.147, 3.41, 3.765, 4.228, 4.812, 5.524, 6.372",\
                 "2.685, 2.746, 2.886, 3.079, 3.341, 3.696, 4.159, 4.742, 5.454, 6.302",\
                 "2.557, 2.618, 2.757, 2.952, 3.214, 3.568, 4.032, 4.615, 5.326, 6.175",\
                 "2.366, 2.426, 2.566, 2.759, 3.022, 3.377, 3.84, 4.424, 5.135, 5.983",\
                 "2.105, 2.166, 2.306, 2.499, 2.762, 3.116, 3.58, 4.164, 4.875, 5.723");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01652, 0.07102, 0.1751, 0.3372, 0.5647, 0.864, 1.241, 1.701, 2.25");
          values("2.336, 2.408, 2.596, 2.906, 3.378, 4.038, 4.905, 5.995, 7.329, 8.914",\
                 "2.347, 2.418, 2.606, 2.916, 3.388, 4.047, 4.913, 6.006, 7.338, 8.923",\
                 "2.422, 2.493, 2.681, 2.992, 3.463, 4.122, 4.988, 6.081, 7.412, 8.999",\
                 "2.602, 2.674, 2.862, 3.172, 3.644, 4.303, 5.169, 6.262, 7.593, 9.18",\
                 "2.893, 2.964, 3.152, 3.462, 3.934, 4.594, 5.46, 6.552, 7.884, 9.47",\
                 "3.265, 3.336, 3.524, 3.835, 4.307, 4.966, 5.833, 6.923, 8.256, 9.841",\
                 "3.693, 3.764, 3.953, 4.263, 4.735, 5.394, 6.261, 7.353, 8.684, 10.27",\
                 "4.192, 4.264, 4.451, 4.762, 5.234, 5.893, 6.76, 7.851, 9.182, 10.77",\
                 "4.769, 4.841, 5.029, 5.339, 5.811, 6.471, 7.336, 8.427, 9.758, 11.35",\
                 "5.432, 5.503, 5.691, 6.002, 6.474, 7.134, 8, 9.089, 10.42, 12.01");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01652, 0.07102, 0.1751, 0.3372, 0.5647, 0.864, 1.241, 1.701, 2.25");
          values("0.2038, 0.2688, 0.4318, 0.6738, 1.04, 1.573, 2.304, 3.251, 4.416, 5.812",\
                 "0.204, 0.2692, 0.4312, 0.674, 1.04, 1.572, 2.306, 3.252, 4.419, 5.816",\
                 "0.2044, 0.2694, 0.4314, 0.6742, 1.041, 1.573, 2.306, 3.251, 4.419, 5.816",\
                 "0.2038, 0.2688, 0.4318, 0.6744, 1.04, 1.572, 2.304, 3.251, 4.419, 5.816",\
                 "0.2048, 0.2702, 0.4324, 0.6746, 1.041, 1.573, 2.304, 3.25, 4.419, 5.818",\
                 "0.2054, 0.2704, 0.433, 0.6748, 1.041, 1.573, 2.305, 3.251, 4.415, 5.809",\
                 "0.2066, 0.272, 0.434, 0.6762, 1.041, 1.573, 2.304, 3.25, 4.417, 5.816",\
                 "0.2082, 0.2734, 0.4356, 0.6776, 1.042, 1.574, 2.305, 3.25, 4.413, 5.811",\
                 "0.211, 0.2752, 0.4384, 0.679, 1.042, 1.576, 2.304, 3.248, 4.415, 5.805",\
                 "0.2132, 0.2782, 0.4408, 0.6824, 1.045, 1.575, 2.304, 3.25, 4.416, 5.808");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01652, 0.07102, 0.1751, 0.3372, 0.5647, 0.864, 1.241, 1.701, 2.25");
          values("0.1528, 0.2302, 0.4722, 0.9602, 1.755, 2.879, 4.357, 6.229, 8.492, 11.21",\
                 "0.152, 0.2296, 0.473, 0.9608, 1.755, 2.876, 4.359, 6.228, 8.499, 11.22",\
                 "0.1522, 0.23, 0.4722, 0.9608, 1.755, 2.875, 4.36, 6.226, 8.502, 11.22",\
                 "0.1524, 0.2304, 0.473, 0.9608, 1.755, 2.875, 4.36, 6.226, 8.503, 11.22",\
                 "0.152, 0.2304, 0.4724, 0.9606, 1.754, 2.879, 4.36, 6.227, 8.501, 11.22",\
                 "0.1528, 0.23, 0.473, 0.9608, 1.755, 2.88, 4.357, 6.228, 8.502, 11.21",\
                 "0.1518, 0.23, 0.4724, 0.9604, 1.755, 2.877, 4.361, 6.228, 8.49, 11.22",\
                 "0.1522, 0.2298, 0.472, 0.961, 1.753, 2.877, 4.36, 6.22, 8.494, 11.21",\
                 "0.1522, 0.2304, 0.472, 0.96, 1.754, 2.874, 4.348, 6.22, 8.492, 11.21",\
                 "0.152, 0.23, 0.472, 0.962, 1.752, 2.876, 4.348, 6.21, 8.49, 11.2");
        }
      }

      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.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01652, 0.07102, 0.1751, 0.3372, 0.5647, 0.864, 1.241, 1.701, 2.25");
          values("2.081, 2.155, 2.333, 2.568, 2.862, 3.234, 3.703, 4.288, 5, 5.849",\
                 "2.092, 2.166, 2.343, 2.578, 2.873, 3.244, 3.714, 4.299, 5.011, 5.86",\
                 "2.166, 2.24, 2.418, 2.653, 2.947, 3.319, 3.789, 4.374, 5.086, 5.934",\
                 "2.347, 2.422, 2.599, 2.834, 3.128, 3.5, 3.97, 4.555, 5.267, 6.115",\
                 "2.638, 2.712, 2.89, 3.125, 3.419, 3.791, 4.261, 4.845, 5.558, 6.406",\
                 "3.009, 3.083, 3.261, 3.496, 3.79, 4.162, 4.632, 5.216, 5.929, 6.777",\
                 "3.437, 3.511, 3.688, 3.924, 4.218, 4.59, 5.06, 5.645, 6.357, 7.205",\
                 "3.933, 4.007, 4.185, 4.42, 4.714, 5.086, 5.556, 6.141, 6.853, 7.701",\
                 "4.51, 4.585, 4.762, 4.997, 5.291, 5.663, 6.132, 6.717, 7.429, 8.278",\
                 "5.172, 5.246, 5.424, 5.659, 5.953, 6.324, 6.794, 7.379, 8.091, 8.939");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01652, 0.07102, 0.1751, 0.3372, 0.5647, 0.864, 1.241, 1.701, 2.25");
          values("2.151, 2.227, 2.42, 2.731, 3.203, 3.862, 4.728, 5.819, 7.15, 8.736",\
                 "2.174, 2.249, 2.443, 2.754, 3.225, 3.885, 4.751, 5.842, 7.173, 8.76",\
                 "2.243, 2.319, 2.512, 2.823, 3.295, 3.954, 4.82, 5.911, 7.242, 8.828",\
                 "2.31, 2.386, 2.58, 2.891, 3.362, 4.022, 4.888, 5.979, 7.31, 8.897",\
                 "2.339, 2.414, 2.608, 2.919, 3.391, 4.05, 4.916, 6.007, 7.338, 8.924",\
                 "2.322, 2.398, 2.591, 2.903, 3.374, 4.034, 4.9, 5.99, 7.321, 8.908",\
                 "2.254, 2.329, 2.522, 2.834, 3.306, 3.965, 4.831, 5.922, 7.253, 8.84",\
                 "2.125, 2.201, 2.395, 2.706, 3.178, 3.837, 4.703, 5.793, 7.126, 8.71",\
                 "1.934, 2.01, 2.203, 2.515, 2.987, 3.646, 4.511, 5.602, 6.932, 8.519",\
                 "1.674, 1.75, 1.943, 2.255, 2.726, 3.385, 4.252, 5.343, 6.673, 8.258");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01652, 0.07102, 0.1751, 0.3372, 0.5647, 0.864, 1.241, 1.701, 2.25");
          values("0.202, 0.2676, 0.43, 0.6734, 1.039, 1.573, 2.305, 3.251, 4.415, 5.809",\
                 "0.2022, 0.267, 0.4302, 0.6726, 1.04, 1.572, 2.306, 3.249, 4.415, 5.811",\
                 "0.2022, 0.2672, 0.4296, 0.6722, 1.039, 1.572, 2.305, 3.251, 4.419, 5.813",\
                 "0.2024, 0.2674, 0.4298, 0.6732, 1.039, 1.573, 2.305, 3.251, 4.419, 5.815",\
                 "0.202, 0.2674, 0.4296, 0.6728, 1.039, 1.572, 2.306, 3.251, 4.417, 5.815",\
                 "0.2022, 0.2676, 0.4298, 0.6726, 1.039, 1.572, 2.306, 3.251, 4.419, 5.818",\
                 "0.2028, 0.2678, 0.4302, 0.673, 1.039, 1.574, 2.305, 3.251, 4.416, 5.818",\
                 "0.2022, 0.2682, 0.4306, 0.673, 1.039, 1.572, 2.303, 3.25, 4.419, 5.815",\
                 "0.2026, 0.2674, 0.4304, 0.672, 1.038, 1.572, 2.302, 3.248, 4.416, 5.81",\
                 "0.202, 0.268, 0.432, 0.672, 1.038, 1.572, 2.304, 3.25, 4.414, 5.808");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01652, 0.07102, 0.1751, 0.3372, 0.5647, 0.864, 1.241, 1.701, 2.25");
          values("0.1744, 0.2532, 0.4886, 0.969, 1.76, 2.879, 4.354, 6.221, 8.486, 11.19",\
                 "0.1746, 0.2532, 0.4892, 0.9688, 1.757, 2.881, 4.357, 6.216, 8.495, 11.21",\
                 "0.1744, 0.2532, 0.489, 0.9696, 1.759, 2.88, 4.358, 6.217, 8.484, 11.19",\
                 "0.1744, 0.2536, 0.4892, 0.9688, 1.757, 2.881, 4.357, 6.214, 8.496, 11.21",\
                 "0.1744, 0.2532, 0.489, 0.9694, 1.759, 2.88, 4.358, 6.216, 8.484, 11.19",\
                 "0.1742, 0.2528, 0.4878, 0.9676, 1.759, 2.877, 4.358, 6.218, 8.495, 11.21",\
                 "0.174, 0.2526, 0.4894, 0.9692, 1.759, 2.88, 4.356, 6.218, 8.494, 11.21",\
                 "0.1744, 0.2524, 0.4886, 0.9682, 1.759, 2.878, 4.35, 6.213, 8.498, 11.2",\
                 "0.1744, 0.2526, 0.489, 0.9694, 1.759, 2.877, 4.351, 6.21, 8.491, 11.2",\
                 "0.1744, 0.2534, 0.4886, 0.9686, 1.758, 2.878, 4.354, 6.216, 8.48, 11.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.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01652, 0.07102, 0.1751, 0.3372, 0.5647, 0.864, 1.241, 1.701, 2.25");
          values("2.392, 2.452, 2.592, 2.785, 3.048, 3.403, 3.866, 4.45, 5.162, 6.01",\
                 "2.412, 2.472, 2.612, 2.805, 3.068, 3.423, 3.886, 4.469, 5.181, 6.029",\
                 "2.495, 2.555, 2.695, 2.889, 3.151, 3.506, 3.969, 4.552, 5.265, 6.112",\
                 "2.667, 2.727, 2.867, 3.06, 3.323, 3.678, 4.141, 4.724, 5.436, 6.284",\
                 "2.949, 3.01, 3.149, 3.342, 3.605, 3.96, 4.423, 5.007, 5.719, 6.566",\
                 "3.349, 3.409, 3.549, 3.742, 4.005, 4.36, 4.823, 5.406, 6.118, 6.966",\
                 "3.834, 3.894, 4.034, 4.227, 4.49, 4.845, 5.308, 5.891, 6.603, 7.451",\
                 "4.372, 4.432, 4.571, 4.764, 5.027, 5.382, 5.845, 6.429, 7.141, 7.989",\
                 "4.967, 5.028, 5.168, 5.361, 5.624, 5.978, 6.441, 7.025, 7.736, 8.585",\
                 "5.634, 5.694, 5.835, 6.028, 6.29, 6.644, 7.108, 7.691, 8.403, 9.251");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01652, 0.07102, 0.1751, 0.3372, 0.5647, 0.864, 1.241, 1.701, 2.25");
          values("1.602, 1.673, 1.861, 2.172, 2.644, 3.303, 4.169, 5.262, 6.591, 8.179",\
                 "1.62, 1.691, 1.879, 2.19, 2.662, 3.321, 4.188, 5.281, 6.61, 8.198",\
                 "1.666, 1.737, 1.925, 2.236, 2.708, 3.367, 4.234, 5.326, 6.66, 8.248",\
                 "1.749, 1.82, 2.008, 2.318, 2.79, 3.45, 4.317, 5.409, 6.742, 8.33",\
                 "1.847, 1.919, 2.107, 2.418, 2.889, 3.549, 4.416, 5.506, 6.841, 8.429",\
                 "1.925, 1.997, 2.185, 2.496, 2.967, 3.627, 4.492, 5.585, 6.919, 8.502",\
                 "1.969, 2.04, 2.228, 2.539, 3.011, 3.67, 4.536, 5.628, 6.959, 8.546",\
                 "1.97, 2.042, 2.23, 2.54, 3.012, 3.67, 4.537, 5.627, 6.958, 8.545",\
                 "1.922, 1.993, 2.181, 2.492, 2.963, 3.623, 4.489, 5.579, 6.91, 8.496",\
                 "1.819, 1.89, 2.078, 2.389, 2.86, 3.52, 4.386, 5.477, 6.807, 8.393");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01652, 0.07102, 0.1751, 0.3372, 0.5647, 0.864, 1.241, 1.701, 2.25");
          values("0.1474, 0.1984, 0.3276, 0.5582, 0.941, 1.504, 2.262, 3.221, 4.398, 5.787",\
                 "0.1474, 0.1984, 0.3266, 0.5578, 0.9402, 1.505, 2.262, 3.219, 4.396, 5.796",\
                 "0.1476, 0.1986, 0.3266, 0.5586, 0.9398, 1.504, 2.262, 3.224, 4.396, 5.796",\
                 "0.1474, 0.1984, 0.3272, 0.5586, 0.9398, 1.504, 2.262, 3.222, 4.395, 5.796",\
                 "0.1476, 0.1986, 0.3268, 0.5584, 0.9404, 1.504, 2.261, 3.223, 4.397, 5.793",\
                 "0.1474, 0.1984, 0.3272, 0.558, 0.9396, 1.504, 2.262, 3.22, 4.398, 5.787",\
                 "0.1472, 0.1986, 0.3268, 0.5586, 0.9406, 1.505, 2.262, 3.223, 4.396, 5.79",\
                 "0.1472, 0.1984, 0.3272, 0.5574, 0.9396, 1.504, 2.262, 3.22, 4.394, 5.788",\
                 "0.146, 0.2, 0.328, 0.56, 0.94, 1.504, 2.26, 3.218, 4.39, 5.79",\
                 "0.148, 0.2, 0.326, 0.558, 0.938, 1.504, 2.262, 3.22, 4.39, 5.78");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01652, 0.07102, 0.1751, 0.3372, 0.5647, 0.864, 1.241, 1.701, 2.25");
          values("0.1522, 0.2304, 0.4718, 0.9614, 1.755, 2.88, 4.36, 6.225, 8.509, 11.22",\
                 "0.1522, 0.2306, 0.4732, 0.9594, 1.755, 2.88, 4.358, 6.222, 8.507, 11.22",\
                 "0.1528, 0.2304, 0.4728, 0.9612, 1.753, 2.877, 4.359, 6.226, 8.499, 11.22",\
                 "0.1522, 0.23, 0.4726, 0.961, 1.753, 2.877, 4.359, 6.225, 8.497, 11.21",\
                 "0.152, 0.23, 0.4734, 0.9612, 1.754, 2.878, 4.356, 6.227, 8.502, 11.22",\
                 "0.1536, 0.2308, 0.4728, 0.959, 1.755, 2.877, 4.36, 6.228, 8.501, 11.23",\
                 "0.1524, 0.2302, 0.4728, 0.9616, 1.752, 2.876, 4.358, 6.216, 8.505, 11.22",\
                 "0.1528, 0.2302, 0.4724, 0.9596, 1.755, 2.876, 4.349, 6.216, 8.487, 11.21",\
                 "0.153, 0.2306, 0.4734, 0.9594, 1.755, 2.873, 4.353, 6.209, 8.478, 11.19",\
                 "0.1532, 0.2324, 0.4728, 0.9612, 1.754, 2.878, 4.358, 6.218, 8.478, 11.19");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01652, 0.07102, 0.1751, 0.3372, 0.5647, 0.864, 1.241, 1.701, 2.25");
          values("2.392, 2.452, 2.592, 2.785, 3.048, 3.403, 3.866, 4.45, 5.162, 6.01",\
                 "2.412, 2.472, 2.612, 2.805, 3.068, 3.423, 3.886, 4.469, 5.181, 6.029",\
                 "2.495, 2.555, 2.695, 2.889, 3.151, 3.506, 3.969, 4.552, 5.265, 6.112",\
                 "2.667, 2.727, 2.867, 3.06, 3.323, 3.678, 4.141, 4.724, 5.436, 6.284",\
                 "2.949, 3.01, 3.149, 3.342, 3.605, 3.96, 4.423, 5.007, 5.719, 6.566",\
                 "3.349, 3.409, 3.549, 3.742, 4.005, 4.36, 4.823, 5.406, 6.118, 6.966",\
                 "3.834, 3.894, 4.034, 4.227, 4.49, 4.845, 5.308, 5.891, 6.603, 7.451",\
                 "4.372, 4.432, 4.571, 4.764, 5.027, 5.382, 5.845, 6.429, 7.141, 7.989",\
                 "4.967, 5.028, 5.168, 5.361, 5.624, 5.978, 6.441, 7.025, 7.736, 8.585",\
                 "5.634, 5.694, 5.835, 6.028, 6.29, 6.644, 7.108, 7.691, 8.403, 9.251");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01652, 0.07102, 0.1751, 0.3372, 0.5647, 0.864, 1.241, 1.701, 2.25");
          values("2.151, 2.227, 2.42, 2.731, 3.203, 3.862, 4.728, 5.819, 7.15, 8.736",\
                 "2.174, 2.249, 2.443, 2.754, 3.225, 3.885, 4.751, 5.842, 7.173, 8.76",\
                 "2.243, 2.319, 2.512, 2.823, 3.295, 3.954, 4.82, 5.911, 7.242, 8.828",\
                 "2.31, 2.386, 2.58, 2.891, 3.362, 4.022, 4.888, 5.979, 7.31, 8.897",\
                 "2.339, 2.414, 2.608, 2.919, 3.391, 4.05, 4.916, 6.007, 7.338, 8.924",\
                 "2.322, 2.398, 2.591, 2.903, 3.374, 4.034, 4.9, 5.99, 7.321, 8.908",\
                 "2.254, 2.329, 2.522, 2.834, 3.306, 3.965, 4.831, 5.922, 7.253, 8.84",\
                 "2.125, 2.201, 2.395, 2.706, 3.178, 3.837, 4.703, 5.793, 7.126, 8.71",\
                 "1.934, 2.01, 2.203, 2.515, 2.987, 3.646, 4.511, 5.602, 6.932, 8.519",\
                 "1.674, 1.75, 1.943, 2.255, 2.726, 3.385, 4.252, 5.343, 6.673, 8.258");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01652, 0.07102, 0.1751, 0.3372, 0.5647, 0.864, 1.241, 1.701, 2.25");
          values("0.202, 0.2676, 0.43, 0.6734, 1.039, 1.573, 2.305, 3.251, 4.415, 5.809",\
                 "0.2022, 0.267, 0.4302, 0.6726, 1.04, 1.572, 2.306, 3.249, 4.415, 5.811",\
                 "0.2022, 0.2672, 0.4296, 0.6722, 1.039, 1.572, 2.305, 3.251, 4.419, 5.813",\
                 "0.2024, 0.2674, 0.4298, 0.6732, 1.039, 1.573, 2.305, 3.251, 4.419, 5.815",\
                 "0.202, 0.2674, 0.4296, 0.6728, 1.039, 1.572, 2.306, 3.251, 4.417, 5.815",\
                 "0.2022, 0.2676, 0.4298, 0.6726, 1.039, 1.572, 2.306, 3.251, 4.419, 5.818",\
                 "0.2028, 0.2678, 0.4302, 0.673, 1.039, 1.574, 2.305, 3.251, 4.416, 5.818",\
                 "0.2022, 0.2682, 0.4306, 0.673, 1.039, 1.572, 2.303, 3.25, 4.419, 5.815",\
                 "0.2026, 0.2674, 0.4304, 0.672, 1.038, 1.572, 2.302, 3.248, 4.416, 5.81",\
                 "0.202, 0.268, 0.432, 0.672, 1.038, 1.572, 2.304, 3.25, 4.414, 5.808");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01652, 0.07102, 0.1751, 0.3372, 0.5647, 0.864, 1.241, 1.701, 2.25");
          values("0.1522, 0.2304, 0.4718, 0.9614, 1.755, 2.88, 4.36, 6.225, 8.509, 11.22",\
                 "0.1522, 0.2306, 0.4732, 0.9594, 1.755, 2.88, 4.358, 6.222, 8.507, 11.22",\
                 "0.1528, 0.2304, 0.4728, 0.9612, 1.753, 2.877, 4.359, 6.226, 8.499, 11.22",\
                 "0.1522, 0.23, 0.4726, 0.961, 1.753, 2.877, 4.359, 6.225, 8.497, 11.21",\
                 "0.152, 0.23, 0.4734, 0.9612, 1.754, 2.878, 4.356, 6.227, 8.502, 11.22",\
                 "0.1536, 0.2308, 0.4728, 0.959, 1.755, 2.877, 4.36, 6.228, 8.501, 11.23",\
                 "0.1524, 0.2302, 0.4728, 0.9616, 1.752, 2.876, 4.358, 6.216, 8.505, 11.22",\
                 "0.1528, 0.2302, 0.4724, 0.9596, 1.755, 2.876, 4.349, 6.216, 8.487, 11.21",\
                 "0.153, 0.2306, 0.4734, 0.9594, 1.755, 2.873, 4.353, 6.209, 8.478, 11.19",\
                 "0.1532, 0.2324, 0.4728, 0.9612, 1.754, 2.878, 4.358, 6.218, 8.478, 11.19");
        }
      }

      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.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01652, 0.07102, 0.1751, 0.3372, 0.5647, 0.864, 1.241, 1.701, 2.25");
          values("0.9822, 1.044, 1.185, 1.378, 1.64, 1.995, 2.458, 3.041, 3.753, 4.601",\
                 "0.9986, 1.06, 1.201, 1.394, 1.657, 2.011, 2.475, 3.058, 3.769, 4.617",\
                 "1.039, 1.1, 1.242, 1.435, 1.697, 2.052, 2.515, 3.098, 3.81, 4.657",\
                 "1.107, 1.169, 1.31, 1.503, 1.766, 2.12, 2.583, 3.167, 3.878, 4.726",\
                 "1.184, 1.246, 1.386, 1.58, 1.842, 2.197, 2.66, 3.243, 3.955, 4.803",\
                 "1.242, 1.304, 1.445, 1.639, 1.901, 2.255, 2.718, 3.301, 4.012, 4.86",\
                 "1.269, 1.331, 1.473, 1.667, 1.929, 2.284, 2.746, 3.328, 4.039, 4.888",\
                 "1.261, 1.324, 1.467, 1.661, 1.923, 2.277, 2.74, 3.322, 4.034, 4.881",\
                 "1.213, 1.276, 1.419, 1.614, 1.877, 2.231, 2.694, 3.277, 3.988, 4.836",\
                 "1.117, 1.181, 1.327, 1.523, 1.786, 2.141, 2.604, 3.187, 3.899, 4.746");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01652, 0.07102, 0.1751, 0.3372, 0.5647, 0.864, 1.241, 1.701, 2.25");
          values("1.102, 1.174, 1.364, 1.675, 2.147, 2.807, 3.674, 4.765, 6.096, 7.683",\
                 "1.127, 1.199, 1.389, 1.701, 2.173, 2.833, 3.699, 4.79, 6.121, 7.707",\
                 "1.224, 1.297, 1.486, 1.798, 2.27, 2.93, 3.796, 4.886, 6.218, 7.805",\
                 "1.419, 1.491, 1.681, 1.992, 2.464, 3.124, 3.99, 5.081, 6.413, 7.999",\
                 "1.705, 1.778, 1.967, 2.279, 2.751, 3.411, 4.277, 5.368, 6.699, 8.286",\
                 "2.04, 2.113, 2.302, 2.615, 3.087, 3.747, 4.612, 5.703, 7.035, 8.622",\
                 "2.414, 2.487, 2.678, 2.991, 3.463, 4.122, 4.989, 6.08, 7.41, 8.997",\
                 "2.839, 2.913, 3.105, 3.417, 3.889, 4.548, 5.415, 6.506, 7.837, 9.424",\
                 "3.321, 3.395, 3.588, 3.9, 4.372, 5.031, 5.898, 6.988, 8.319, 9.905",\
                 "3.86, 3.936, 4.13, 4.443, 4.914, 5.573, 6.44, 7.531, 8.862, 10.45");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01652, 0.07102, 0.1751, 0.3372, 0.5647, 0.864, 1.241, 1.701, 2.25");
          values("0.1496, 0.2008, 0.3278, 0.558, 0.939, 1.504, 2.261, 3.223, 4.39, 5.786",\
                 "0.1496, 0.2006, 0.3286, 0.5582, 0.9394, 1.504, 2.26, 3.223, 4.394, 5.788",\
                 "0.1498, 0.2012, 0.328, 0.559, 0.9396, 1.504, 2.261, 3.219, 4.395, 5.792",\
                 "0.1498, 0.2014, 0.3284, 0.5586, 0.9392, 1.504, 2.26, 3.223, 4.389, 5.793",\
                 "0.1486, 0.2004, 0.328, 0.5588, 0.939, 1.504, 2.261, 3.222, 4.392, 5.79",\
                 "0.1498, 0.2016, 0.329, 0.5584, 0.9384, 1.501, 2.259, 3.222, 4.39, 5.784",\
                 "0.1518, 0.2034, 0.3308, 0.5596, 0.9388, 1.501, 2.257, 3.214, 4.387, 5.783",\
                 "0.1542, 0.206, 0.3326, 0.5608, 0.9396, 1.502, 2.257, 3.215, 4.383, 5.779",\
                 "0.1574, 0.2096, 0.3354, 0.5628, 0.9414, 1.502, 2.259, 3.216, 4.385, 5.78",\
                 "0.162, 0.2144, 0.3402, 0.5648, 0.9436, 1.505, 2.259, 3.217, 4.385, 5.78");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01652, 0.07102, 0.1751, 0.3372, 0.5647, 0.864, 1.241, 1.701, 2.25");
          values("0.1568, 0.235, 0.4766, 0.963, 1.757, 2.879, 4.358, 6.223, 8.496, 11.21",\
                 "0.1558, 0.2346, 0.4768, 0.9644, 1.757, 2.88, 4.357, 6.222, 8.498, 11.21",\
                 "0.1556, 0.2348, 0.477, 0.9644, 1.757, 2.879, 4.358, 6.217, 8.499, 11.21",\
                 "0.1558, 0.2352, 0.477, 0.9628, 1.757, 2.876, 4.359, 6.216, 8.498, 11.2",\
                 "0.1568, 0.2352, 0.4778, 0.9638, 1.757, 2.88, 4.359, 6.223, 8.499, 11.21",\
                 "0.158, 0.2366, 0.4796, 0.9648, 1.755, 2.878, 4.359, 6.222, 8.497, 11.21",\
                 "0.159, 0.239, 0.4796, 0.965, 1.755, 2.879, 4.359, 6.223, 8.491, 11.21",\
                 "0.1612, 0.2414, 0.4822, 0.9662, 1.755, 2.875, 4.357, 6.222, 8.498, 11.2",\
                 "0.1648, 0.244, 0.4832, 0.9662, 1.755, 2.877, 4.351, 6.212, 8.484, 11.2",\
                 "0.166, 0.248, 0.486, 0.966, 1.756, 2.876, 4.356, 6.21, 8.48, 11.2");
        }
      }

      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.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01652, 0.07102, 0.1751, 0.3372, 0.5647, 0.864, 1.241, 1.701, 2.25");
          values("0.9821, 1.044, 1.184, 1.378, 1.64, 1.995, 2.458, 3.041, 3.753, 4.601",\
                 "0.9986, 1.06, 1.201, 1.394, 1.657, 2.011, 2.475, 3.058, 3.769, 4.617",\
                 "1.039, 1.101, 1.241, 1.435, 1.697, 2.052, 2.515, 3.098, 3.81, 4.657",\
                 "1.107, 1.169, 1.31, 1.503, 1.766, 2.12, 2.583, 3.167, 3.878, 4.726",\
                 "1.184, 1.246, 1.386, 1.58, 1.842, 2.197, 2.66, 3.243, 3.955, 4.803",\
                 "1.242, 1.304, 1.445, 1.639, 1.901, 2.255, 2.718, 3.301, 4.012, 4.86",\
                 "1.269, 1.331, 1.473, 1.667, 1.929, 2.284, 2.746, 3.328, 4.039, 4.888",\
                 "1.261, 1.324, 1.466, 1.661, 1.923, 2.277, 2.74, 3.323, 4.034, 4.881",\
                 "1.213, 1.275, 1.419, 1.614, 1.877, 2.231, 2.694, 3.277, 3.988, 4.836",\
                 "1.117, 1.181, 1.327, 1.522, 1.786, 2.141, 2.604, 3.187, 3.898, 4.745");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01652, 0.07102, 0.1751, 0.3372, 0.5647, 0.864, 1.241, 1.701, 2.25");
          values("1.102, 1.174, 1.364, 1.675, 2.147, 2.807, 3.674, 4.765, 6.096, 7.683",\
                 "1.127, 1.199, 1.389, 1.701, 2.173, 2.833, 3.699, 4.789, 6.12, 7.708",\
                 "1.224, 1.297, 1.486, 1.798, 2.27, 2.93, 3.796, 4.887, 6.218, 7.805",\
                 "1.419, 1.491, 1.681, 1.992, 2.464, 3.124, 3.99, 5.081, 6.413, 7.999",\
                 "1.705, 1.778, 1.967, 2.279, 2.751, 3.411, 4.277, 5.368, 6.699, 8.286",\
                 "2.039, 2.112, 2.302, 2.615, 3.087, 3.746, 4.612, 5.703, 7.035, 8.622",\
                 "2.414, 2.487, 2.679, 2.991, 3.462, 4.122, 4.989, 6.08, 7.41, 8.997",\
                 "2.839, 2.913, 3.105, 3.417, 3.889, 4.548, 5.415, 6.506, 7.837, 9.424",\
                 "3.321, 3.395, 3.588, 3.9, 4.371, 5.031, 5.898, 6.988, 8.319, 9.905",\
                 "3.86, 3.936, 4.13, 4.443, 4.914, 5.574, 6.44, 7.531, 8.862, 10.45");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01652, 0.07102, 0.1751, 0.3372, 0.5647, 0.864, 1.241, 1.701, 2.25");
          values("0.1501, 0.2006, 0.3286, 0.5586, 0.9394, 1.505, 2.261, 3.222, 4.39, 5.785",\
                 "0.1496, 0.2006, 0.3286, 0.5582, 0.9394, 1.504, 2.26, 3.223, 4.391, 5.787",\
                 "0.1496, 0.2008, 0.3284, 0.559, 0.9402, 1.504, 2.26, 3.219, 4.395, 5.792",\
                 "0.1498, 0.2012, 0.3284, 0.5586, 0.9392, 1.504, 2.26, 3.223, 4.389, 5.793",\
                 "0.1488, 0.2004, 0.328, 0.5592, 0.9398, 1.504, 2.261, 3.222, 4.392, 5.79",\
                 "0.1498, 0.2018, 0.329, 0.5584, 0.9388, 1.501, 2.258, 3.222, 4.39, 5.784",\
                 "0.1518, 0.2036, 0.3308, 0.5598, 0.9392, 1.502, 2.257, 3.214, 4.388, 5.79",\
                 "0.154, 0.206, 0.3324, 0.5606, 0.9404, 1.502, 2.259, 3.214, 4.383, 5.779",\
                 "0.1574, 0.2096, 0.3354, 0.5628, 0.9414, 1.502, 2.259, 3.216, 4.383, 5.782",\
                 "0.162, 0.2144, 0.3402, 0.5644, 0.9436, 1.505, 2.259, 3.215, 4.386, 5.778");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01652, 0.07102, 0.1751, 0.3372, 0.5647, 0.864, 1.241, 1.701, 2.25");
          values("0.1558, 0.235, 0.4774, 0.963, 1.757, 2.879, 4.358, 6.223, 8.495, 11.21",\
                 "0.1562, 0.235, 0.4766, 0.9648, 1.757, 2.878, 4.355, 6.219, 8.495, 11.21",\
                 "0.1558, 0.235, 0.477, 0.9644, 1.757, 2.876, 4.357, 6.223, 8.499, 11.21",\
                 "0.1558, 0.235, 0.477, 0.9632, 1.757, 2.876, 4.359, 6.223, 8.499, 11.2",\
                 "0.156, 0.2356, 0.4778, 0.9638, 1.757, 2.881, 4.359, 6.223, 8.499, 11.21",\
                 "0.1578, 0.2368, 0.4798, 0.9648, 1.756, 2.878, 4.359, 6.223, 8.495, 11.21",\
                 "0.1598, 0.2388, 0.4808, 0.9642, 1.755, 2.878, 4.353, 6.221, 8.492, 11.21",\
                 "0.1612, 0.2414, 0.4814, 0.9662, 1.755, 2.876, 4.357, 6.22, 8.486, 11.2",\
                 "0.165, 0.244, 0.484, 0.9656, 1.755, 2.877, 4.351, 6.212, 8.484, 11.2",\
                 "0.166, 0.248, 0.486, 0.968, 1.754, 2.878, 4.358, 6.212, 8.482, 11.2");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01652, 0.07102, 0.1751, 0.3372, 0.5647, 0.864, 1.241, 1.701, 2.25");
          values("0.9821, 1.044, 1.184, 1.378, 1.64, 1.995, 2.458, 3.041, 3.753, 4.601",\
                 "0.9986, 1.06, 1.201, 1.394, 1.657, 2.011, 2.475, 3.058, 3.769, 4.617",\
                 "1.039, 1.101, 1.241, 1.435, 1.697, 2.052, 2.515, 3.098, 3.81, 4.657",\
                 "1.107, 1.169, 1.31, 1.503, 1.766, 2.12, 2.583, 3.167, 3.878, 4.726",\
                 "1.184, 1.246, 1.386, 1.58, 1.842, 2.197, 2.66, 3.243, 3.955, 4.803",\
                 "1.242, 1.304, 1.445, 1.639, 1.901, 2.255, 2.718, 3.301, 4.012, 4.86",\
                 "1.269, 1.331, 1.473, 1.667, 1.929, 2.284, 2.746, 3.328, 4.039, 4.888",\
                 "1.261, 1.324, 1.466, 1.661, 1.923, 2.277, 2.74, 3.323, 4.034, 4.881",\
                 "1.213, 1.275, 1.419, 1.614, 1.877, 2.231, 2.694, 3.277, 3.988, 4.836",\
                 "1.117, 1.181, 1.327, 1.522, 1.786, 2.141, 2.604, 3.187, 3.898, 4.745");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01652, 0.07102, 0.1751, 0.3372, 0.5647, 0.864, 1.241, 1.701, 2.25");
          values("1.102, 1.174, 1.364, 1.675, 2.147, 2.807, 3.674, 4.765, 6.096, 7.683",\
                 "1.127, 1.199, 1.389, 1.701, 2.173, 2.833, 3.699, 4.789, 6.12, 7.708",\
                 "1.224, 1.297, 1.486, 1.798, 2.27, 2.93, 3.796, 4.887, 6.218, 7.805",\
                 "1.419, 1.491, 1.681, 1.992, 2.464, 3.124, 3.99, 5.081, 6.413, 7.999",\
                 "1.705, 1.778, 1.967, 2.279, 2.751, 3.411, 4.277, 5.368, 6.699, 8.286",\
                 "2.039, 2.112, 2.302, 2.615, 3.087, 3.746, 4.612, 5.703, 7.035, 8.622",\
                 "2.414, 2.487, 2.679, 2.991, 3.462, 4.122, 4.989, 6.08, 7.41, 8.997",\
                 "2.839, 2.913, 3.105, 3.417, 3.889, 4.548, 5.415, 6.506, 7.837, 9.424",\
                 "3.321, 3.395, 3.588, 3.9, 4.371, 5.031, 5.898, 6.988, 8.319, 9.905",\
                 "3.86, 3.936, 4.13, 4.443, 4.914, 5.574, 6.44, 7.531, 8.862, 10.45");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01652, 0.07102, 0.1751, 0.3372, 0.5647, 0.864, 1.241, 1.701, 2.25");
          values("0.1496, 0.2008, 0.3278, 0.558, 0.939, 1.504, 2.261, 3.223, 4.39, 5.786",\
                 "0.1496, 0.2006, 0.3286, 0.5582, 0.9394, 1.504, 2.26, 3.223, 4.394, 5.788",\
                 "0.1498, 0.2012, 0.328, 0.559, 0.9396, 1.504, 2.261, 3.219, 4.395, 5.792",\
                 "0.1498, 0.2014, 0.3284, 0.5586, 0.9392, 1.504, 2.26, 3.223, 4.389, 5.793",\
                 "0.1486, 0.2004, 0.328, 0.5588, 0.939, 1.504, 2.261, 3.222, 4.392, 5.79",\
                 "0.1498, 0.2016, 0.329, 0.5584, 0.9384, 1.501, 2.259, 3.222, 4.39, 5.784",\
                 "0.1518, 0.2034, 0.3308, 0.5596, 0.9388, 1.501, 2.257, 3.214, 4.387, 5.783",\
                 "0.1542, 0.206, 0.3326, 0.5608, 0.9396, 1.502, 2.257, 3.215, 4.383, 5.779",\
                 "0.1574, 0.2096, 0.3354, 0.5628, 0.9414, 1.502, 2.259, 3.216, 4.385, 5.78",\
                 "0.162, 0.2144, 0.3402, 0.5648, 0.9436, 1.505, 2.259, 3.217, 4.385, 5.78");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01652, 0.07102, 0.1751, 0.3372, 0.5647, 0.864, 1.241, 1.701, 2.25");
          values("0.1558, 0.235, 0.4774, 0.963, 1.757, 2.879, 4.358, 6.223, 8.495, 11.21",\
                 "0.1562, 0.235, 0.4766, 0.9648, 1.757, 2.878, 4.355, 6.219, 8.495, 11.21",\
                 "0.1558, 0.235, 0.477, 0.9644, 1.757, 2.876, 4.357, 6.223, 8.499, 11.21",\
                 "0.1558, 0.235, 0.477, 0.9632, 1.757, 2.876, 4.359, 6.223, 8.499, 11.2",\
                 "0.156, 0.2356, 0.4778, 0.9638, 1.757, 2.881, 4.359, 6.223, 8.499, 11.21",\
                 "0.1578, 0.2368, 0.4798, 0.9648, 1.756, 2.878, 4.359, 6.223, 8.495, 11.21",\
                 "0.1598, 0.2388, 0.4808, 0.9642, 1.755, 2.878, 4.353, 6.221, 8.492, 11.21",\
                 "0.1612, 0.2414, 0.4814, 0.9662, 1.755, 2.876, 4.357, 6.22, 8.486, 11.2",\
                 "0.165, 0.244, 0.484, 0.9656, 1.755, 2.877, 4.351, 6.212, 8.484, 11.2",\
                 "0.166, 0.248, 0.486, 0.968, 1.754, 2.878, 4.358, 6.212, 8.482, 11.2");
        }
      }

      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.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01652, 0.07102, 0.1751, 0.3372, 0.5647, 0.864, 1.241, 1.701, 2.25");
          values("0.7415, 0.8156, 0.9931, 1.228, 1.522, 1.894, 2.364, 2.949, 3.661, 4.509",\
                 "0.7617, 0.8358, 1.013, 1.248, 1.543, 1.914, 2.384, 2.969, 3.681, 4.53",\
                 "0.8384, 0.9124, 1.09, 1.325, 1.619, 1.991, 2.461, 3.046, 3.758, 4.606",\
                 "1.007, 1.081, 1.258, 1.493, 1.787, 2.159, 2.629, 3.214, 3.926, 4.774",\
                 "1.273, 1.349, 1.528, 1.764, 2.058, 2.43, 2.9, 3.485, 4.197, 5.045",\
                 "1.578, 1.66, 1.851, 2.097, 2.396, 2.77, 3.24, 3.825, 4.536, 5.385",\
                 "1.909, 1.997, 2.203, 2.46, 2.767, 3.146, 3.618, 4.202, 4.914, 5.762",\
                 "2.277, 2.37, 2.589, 2.86, 3.173, 3.556, 4.029, 4.616, 5.328, 6.175",\
                 "2.688, 2.786, 3.015, 3.301, 3.624, 4.009, 4.484, 5.07, 5.782, 6.631",\
                 "3.151, 3.252, 3.49, 3.79, 4.122, 4.513, 4.988, 5.574, 6.286, 7.134");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01652, 0.07102, 0.1751, 0.3372, 0.5647, 0.864, 1.241, 1.701, 2.25");
          values("0.448, 0.5182, 0.705, 1.016, 1.488, 2.147, 3.015, 4.104, 5.434, 7.022",\
                 "0.4701, 0.5402, 0.7272, 1.038, 1.51, 2.17, 3.036, 4.128, 5.458, 7.046",\
                 "0.5439, 0.6142, 0.8008, 1.111, 1.583, 2.242, 3.109, 4.201, 5.535, 7.121",\
                 "0.6753, 0.746, 0.9328, 1.242, 1.714, 2.373, 3.241, 4.331, 5.666, 7.254",\
                 "0.8001, 0.8757, 1.068, 1.379, 1.849, 2.508, 3.376, 4.469, 5.8, 7.384",\
                 "0.897, 0.9778, 1.178, 1.49, 1.961, 2.619, 3.485, 4.577, 5.908, 7.499",\
                 "0.9642, 1.05, 1.26, 1.575, 2.044, 2.702, 3.568, 4.658, 5.992, 7.576",\
                 "1.002, 1.093, 1.315, 1.633, 2.1, 2.756, 3.622, 4.713, 6.044, 7.632",\
                 "1.005, 1.101, 1.337, 1.661, 2.128, 2.782, 3.646, 4.736, 6.068, 7.653",\
                 "0.9701, 1.071, 1.321, 1.655, 2.122, 2.776, 3.638, 4.728, 6.058, 7.644");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01652, 0.07102, 0.1751, 0.3372, 0.5647, 0.864, 1.241, 1.701, 2.25");
          values("0.2018, 0.267, 0.4294, 0.6728, 1.039, 1.573, 2.304, 3.252, 4.419, 5.817",\
                 "0.2018, 0.267, 0.4289, 0.6728, 1.039, 1.573, 2.305, 3.252, 4.415, 5.818",\
                 "0.202, 0.2668, 0.4296, 0.6728, 1.039, 1.572, 2.305, 3.251, 4.417, 5.811",\
                 "0.2018, 0.267, 0.4298, 0.6728, 1.04, 1.573, 2.305, 3.25, 4.419, 5.818",\
                 "0.2168, 0.2794, 0.439, 0.678, 1.042, 1.574, 2.306, 3.25, 4.419, 5.815",\
                 "0.2528, 0.3194, 0.4774, 0.7076, 1.062, 1.584, 2.309, 3.252, 4.414, 5.817",\
                 "0.2872, 0.3582, 0.5238, 0.7462, 1.09, 1.604, 2.321, 3.257, 4.416, 5.812",\
                 "0.3184, 0.393, 0.5686, 0.788, 1.12, 1.624, 2.335, 3.267, 4.425, 5.817",\
                 "0.3472, 0.4242, 0.6106, 0.8322, 1.152, 1.643, 2.344, 3.276, 4.432, 5.82",\
                 "0.3752, 0.4564, 0.648, 0.878, 1.186, 1.666, 2.356, 3.278, 4.438, 5.826");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01652, 0.07102, 0.1751, 0.3372, 0.5647, 0.864, 1.241, 1.701, 2.25");
          values("0.1478, 0.2253, 0.4697, 0.9594, 1.754, 2.879, 4.355, 6.23, 8.513, 11.23",\
                 "0.1476, 0.2261, 0.4699, 0.9603, 1.754, 2.88, 4.359, 6.229, 8.511, 11.22",\
                 "0.1477, 0.2255, 0.4698, 0.9604, 1.755, 2.875, 4.361, 6.227, 8.497, 11.23",\
                 "0.1536, 0.2304, 0.4718, 0.9602, 1.755, 2.876, 4.358, 6.229, 8.499, 11.23",\
                 "0.174, 0.2526, 0.486, 0.9654, 1.754, 2.878, 4.361, 6.223, 8.508, 11.23",\
                 "0.198, 0.2778, 0.5042, 0.9742, 1.76, 2.881, 4.358, 6.227, 8.509, 11.22",\
                 "0.2216, 0.3064, 0.5264, 0.981, 1.763, 2.881, 4.357, 6.222, 8.5, 11.22",\
                 "0.246, 0.3344, 0.5552, 0.9932, 1.765, 2.884, 4.358, 6.216, 8.491, 11.21",\
                 "0.2744, 0.366, 0.5912, 1.009, 1.77, 2.889, 4.359, 6.219, 8.487, 11.21",\
                 "0.304, 0.3978, 0.634, 1.033, 1.778, 2.886, 4.36, 6.22, 8.49, 11.19");
        }
      }

      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.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01652, 0.07102, 0.1751, 0.3372, 0.5647, 0.864, 1.241, 1.701, 2.25");
          values("0.7409, 0.815, 0.9927, 1.228, 1.522, 1.894, 2.364, 2.949, 3.661, 4.509",\
                 "0.7611, 0.8352, 1.013, 1.248, 1.543, 1.914, 2.384, 2.969, 3.681, 4.53",\
                 "0.838, 0.9121, 1.09, 1.325, 1.619, 1.991, 2.461, 3.046, 3.758, 4.606",\
                 "1.007, 1.081, 1.258, 1.493, 1.787, 2.159, 2.629, 3.214, 3.926, 4.774",\
                 "1.273, 1.349, 1.528, 1.764, 2.058, 2.43, 2.9, 3.485, 4.197, 5.046",\
                 "1.578, 1.66, 1.852, 2.096, 2.396, 2.77, 3.24, 3.825, 4.536, 5.385",\
                 "1.909, 1.998, 2.203, 2.46, 2.768, 3.146, 3.618, 4.203, 4.914, 5.762",\
                 "2.277, 2.37, 2.589, 2.859, 3.174, 3.555, 4.029, 4.616, 5.329, 6.176",\
                 "2.688, 2.787, 3.015, 3.3, 3.624, 4.01, 4.485, 5.07, 5.783, 6.632",\
                 "3.151, 3.252, 3.491, 3.79, 4.122, 4.512, 4.989, 5.575, 6.286, 7.135");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01652, 0.07102, 0.1751, 0.3372, 0.5647, 0.864, 1.241, 1.701, 2.25");
          values("0.448, 0.518, 0.7051, 1.016, 1.488, 2.147, 3.014, 4.107, 5.436, 7.025",\
                 "0.4701, 0.5402, 0.7271, 1.038, 1.51, 2.17, 3.036, 4.128, 5.458, 7.047",\
                 "0.5438, 0.6142, 0.8008, 1.111, 1.583, 2.243, 3.11, 4.203, 5.533, 7.123",\
                 "0.6754, 0.746, 0.9329, 1.242, 1.714, 2.373, 3.241, 4.33, 5.663, 7.247",\
                 "0.8003, 0.8756, 1.068, 1.379, 1.849, 2.509, 3.375, 4.467, 5.8, 7.389",\
                 "0.8969, 0.9776, 1.178, 1.49, 1.96, 2.619, 3.486, 4.577, 5.911, 7.497",\
                 "0.9641, 1.05, 1.261, 1.575, 2.044, 2.702, 3.568, 4.658, 5.992, 7.578",\
                 "1.002, 1.093, 1.315, 1.632, 2.1, 2.756, 3.622, 4.713, 6.042, 7.631",\
                 "1.005, 1.101, 1.336, 1.661, 2.127, 2.782, 3.646, 4.736, 6.067, 7.652",\
                 "0.9699, 1.071, 1.322, 1.655, 2.122, 2.776, 3.639, 4.728, 6.057, 7.644");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01652, 0.07102, 0.1751, 0.3372, 0.5647, 0.864, 1.241, 1.701, 2.25");
          values("0.202, 0.2671, 0.4296, 0.673, 1.04, 1.572, 2.304, 3.25, 4.419, 5.815",\
                 "0.2019, 0.2672, 0.4303, 0.6724, 1.039, 1.573, 2.304, 3.252, 4.419, 5.816",\
                 "0.202, 0.267, 0.43, 0.673, 1.04, 1.573, 2.305, 3.251, 4.416, 5.811",\
                 "0.2018, 0.267, 0.4296, 0.673, 1.04, 1.572, 2.305, 3.25, 4.416, 5.81",\
                 "0.2168, 0.2794, 0.4384, 0.678, 1.043, 1.575, 2.306, 3.25, 4.419, 5.815",\
                 "0.2528, 0.3194, 0.4776, 0.708, 1.061, 1.584, 2.308, 3.253, 4.414, 5.818",\
                 "0.2872, 0.3576, 0.524, 0.7462, 1.091, 1.604, 2.321, 3.257, 4.416, 5.814",\
                 "0.3186, 0.3932, 0.5688, 0.7876, 1.12, 1.625, 2.335, 3.268, 4.424, 5.815",\
                 "0.3474, 0.4248, 0.6108, 0.8326, 1.151, 1.643, 2.345, 3.276, 4.432, 5.82",\
                 "0.3746, 0.4564, 0.648, 0.878, 1.186, 1.664, 2.356, 3.28, 4.438, 5.826");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01652, 0.07102, 0.1751, 0.3372, 0.5647, 0.864, 1.241, 1.701, 2.25");
          values("0.1477, 0.226, 0.4693, 0.9589, 1.755, 2.877, 4.361, 6.224, 8.509, 11.22",\
                 "0.1476, 0.2255, 0.4699, 0.9604, 1.754, 2.88, 4.359, 6.227, 8.51, 11.22",\
                 "0.1477, 0.2255, 0.4699, 0.9606, 1.753, 2.878, 4.36, 6.222, 8.512, 11.22",\
                 "0.1536, 0.2304, 0.4716, 0.9602, 1.755, 2.878, 4.357, 6.23, 8.512, 11.23",\
                 "0.1744, 0.2526, 0.4862, 0.9654, 1.756, 2.879, 4.362, 6.227, 8.495, 11.23",\
                 "0.198, 0.279, 0.5032, 0.9744, 1.759, 2.878, 4.351, 6.221, 8.502, 11.22",\
                 "0.2214, 0.3064, 0.5268, 0.981, 1.762, 2.881, 4.358, 6.222, 8.496, 11.22",\
                 "0.2458, 0.335, 0.557, 0.992, 1.766, 2.883, 4.358, 6.217, 8.486, 11.21",\
                 "0.2742, 0.3652, 0.5912, 1.01, 1.77, 2.888, 4.358, 6.221, 8.489, 11.21",\
                 "0.3036, 0.3976, 0.6352, 1.034, 1.777, 2.886, 4.36, 6.221, 8.488, 11.19");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01652, 0.07102, 0.1751, 0.3372, 0.5647, 0.864, 1.241, 1.701, 2.25");
          values("0.7409, 0.815, 0.9927, 1.228, 1.522, 1.894, 2.364, 2.949, 3.661, 4.509",\
                 "0.7611, 0.8352, 1.013, 1.248, 1.543, 1.914, 2.384, 2.969, 3.681, 4.53",\
                 "0.838, 0.9121, 1.09, 1.325, 1.619, 1.991, 2.461, 3.046, 3.758, 4.606",\
                 "1.007, 1.081, 1.258, 1.493, 1.787, 2.159, 2.629, 3.214, 3.926, 4.774",\
                 "1.273, 1.349, 1.528, 1.764, 2.058, 2.43, 2.9, 3.485, 4.197, 5.046",\
                 "1.578, 1.66, 1.852, 2.096, 2.396, 2.77, 3.24, 3.825, 4.536, 5.385",\
                 "1.909, 1.998, 2.203, 2.46, 2.768, 3.146, 3.618, 4.203, 4.914, 5.762",\
                 "2.277, 2.37, 2.589, 2.859, 3.174, 3.555, 4.029, 4.616, 5.329, 6.176",\
                 "2.688, 2.787, 3.015, 3.3, 3.624, 4.01, 4.485, 5.07, 5.783, 6.632",\
                 "3.151, 3.252, 3.491, 3.79, 4.122, 4.512, 4.989, 5.575, 6.286, 7.135");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01652, 0.07102, 0.1751, 0.3372, 0.5647, 0.864, 1.241, 1.701, 2.25");
          values("0.448, 0.5182, 0.705, 1.016, 1.488, 2.147, 3.015, 4.104, 5.434, 7.022",\
                 "0.4701, 0.5402, 0.7272, 1.038, 1.51, 2.17, 3.036, 4.128, 5.458, 7.046",\
                 "0.5439, 0.6142, 0.8008, 1.111, 1.583, 2.242, 3.109, 4.201, 5.535, 7.121",\
                 "0.6753, 0.746, 0.9328, 1.242, 1.714, 2.373, 3.241, 4.331, 5.666, 7.254",\
                 "0.8001, 0.8757, 1.068, 1.379, 1.849, 2.508, 3.376, 4.469, 5.8, 7.384",\
                 "0.897, 0.9778, 1.178, 1.49, 1.961, 2.619, 3.485, 4.577, 5.908, 7.499",\
                 "0.9642, 1.05, 1.26, 1.575, 2.044, 2.702, 3.568, 4.658, 5.992, 7.576",\
                 "1.002, 1.093, 1.315, 1.633, 2.1, 2.756, 3.622, 4.713, 6.044, 7.632",\
                 "1.005, 1.101, 1.337, 1.661, 2.128, 2.782, 3.646, 4.736, 6.068, 7.653",\
                 "0.9701, 1.071, 1.321, 1.655, 2.122, 2.776, 3.638, 4.728, 6.058, 7.644");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01652, 0.07102, 0.1751, 0.3372, 0.5647, 0.864, 1.241, 1.701, 2.25");
          values("0.202, 0.2671, 0.4296, 0.673, 1.04, 1.572, 2.304, 3.25, 4.419, 5.815",\
                 "0.2019, 0.2672, 0.4303, 0.6724, 1.039, 1.573, 2.304, 3.252, 4.419, 5.816",\
                 "0.202, 0.267, 0.43, 0.673, 1.04, 1.573, 2.305, 3.251, 4.416, 5.811",\
                 "0.2018, 0.267, 0.4296, 0.673, 1.04, 1.572, 2.305, 3.25, 4.416, 5.81",\
                 "0.2168, 0.2794, 0.4384, 0.678, 1.043, 1.575, 2.306, 3.25, 4.419, 5.815",\
                 "0.2528, 0.3194, 0.4776, 0.708, 1.061, 1.584, 2.308, 3.253, 4.414, 5.818",\
                 "0.2872, 0.3576, 0.524, 0.7462, 1.091, 1.604, 2.321, 3.257, 4.416, 5.814",\
                 "0.3186, 0.3932, 0.5688, 0.7876, 1.12, 1.625, 2.335, 3.268, 4.424, 5.815",\
                 "0.3474, 0.4248, 0.6108, 0.8326, 1.151, 1.643, 2.345, 3.276, 4.432, 5.82",\
                 "0.3746, 0.4564, 0.648, 0.878, 1.186, 1.664, 2.356, 3.28, 4.438, 5.826");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01652, 0.07102, 0.1751, 0.3372, 0.5647, 0.864, 1.241, 1.701, 2.25");
          values("0.1477, 0.226, 0.4693, 0.9589, 1.755, 2.877, 4.361, 6.224, 8.509, 11.22",\
                 "0.1476, 0.2255, 0.4699, 0.9604, 1.754, 2.88, 4.359, 6.227, 8.51, 11.22",\
                 "0.1477, 0.2255, 0.4699, 0.9606, 1.753, 2.878, 4.36, 6.222, 8.512, 11.22",\
                 "0.1536, 0.2304, 0.4716, 0.9602, 1.755, 2.878, 4.357, 6.23, 8.512, 11.23",\
                 "0.1744, 0.2526, 0.4862, 0.9654, 1.756, 2.879, 4.362, 6.227, 8.495, 11.23",\
                 "0.198, 0.279, 0.5032, 0.9744, 1.759, 2.878, 4.351, 6.221, 8.502, 11.22",\
                 "0.2214, 0.3064, 0.5268, 0.981, 1.762, 2.881, 4.358, 6.222, 8.496, 11.22",\
                 "0.2458, 0.335, 0.557, 0.992, 1.766, 2.883, 4.358, 6.217, 8.486, 11.21",\
                 "0.2742, 0.3652, 0.5912, 1.01, 1.77, 2.888, 4.358, 6.221, 8.489, 11.21",\
                 "0.3036, 0.3976, 0.6352, 1.034, 1.777, 2.886, 4.36, 6.221, 8.488, 11.19");
        }
      }
    }
  }