  cell(gf180mcu_fd_sc_mcu9t5v0__xnor3_2) {
    area : 79.027200 ;

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007339, 0.02959, 0.07209, 0.1383, 0.2312, 0.3534, 0.5074, 0.6954, 0.9195");
          values("0.3424, 0.339, 0.3351, 0.3333, 0.3326, 0.3323, 0.3321, 0.332, 0.3319, 0.3318",\
                 "0.3422, 0.339, 0.335, 0.3333, 0.3325, 0.3321, 0.3319, 0.3318, 0.3317, 0.3316",\
                 "0.3416, 0.3383, 0.3342, 0.3324, 0.3318, 0.3314, 0.3312, 0.3311, 0.331, 0.3309",\
                 "0.3409, 0.3376, 0.3335, 0.332, 0.3311, 0.3308, 0.3306, 0.3304, 0.3303, 0.3303",\
                 "0.342, 0.3386, 0.3346, 0.333, 0.3321, 0.3318, 0.3316, 0.3315, 0.3314, 0.3313",\
                 "0.3449, 0.3415, 0.3375, 0.336, 0.3353, 0.3349, 0.3347, 0.3345, 0.3344, 0.3343",\
                 "0.3504, 0.3469, 0.343, 0.3415, 0.3407, 0.3402, 0.34, 0.3399, 0.3398, 0.3397",\
                 "0.3584, 0.355, 0.3511, 0.3495, 0.3487, 0.3484, 0.3482, 0.348, 0.3479, 0.3478",\
                 "0.3693, 0.3659, 0.362, 0.3604, 0.3596, 0.3591, 0.3589, 0.3588, 0.3587, 0.3586",\
                 "0.3831, 0.3797, 0.3756, 0.374, 0.3732, 0.3728, 0.3726, 0.3725, 0.3724, 0.3722");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007339, 0.02959, 0.07209, 0.1383, 0.2312, 0.3534, 0.5074, 0.6954, 0.9195");
          values("0.3265, 0.3255, 0.3248, 0.3256, 0.3274, 0.3292, 0.3315, 0.3354, 0.3776, 0.5954",\
                 "0.3263, 0.3254, 0.3246, 0.3254, 0.3271, 0.329, 0.3306, 0.3357, 0.378, 0.601",\
                 "0.3255, 0.3248, 0.324, 0.3247, 0.3266, 0.3286, 0.33, 0.3351, 0.3804, 0.6139",\
                 "0.3256, 0.3249, 0.324, 0.3247, 0.3266, 0.3286, 0.3305, 0.336, 0.3874, 0.6451",\
                 "0.3279, 0.327, 0.3264, 0.3272, 0.3289, 0.3308, 0.3326, 0.3393, 0.404, 0.7042",\
                 "0.3328, 0.3319, 0.3314, 0.3322, 0.3339, 0.3359, 0.3375, 0.3478, 0.4363, 0.8058",\
                 "0.3409, 0.34, 0.3394, 0.3402, 0.3418, 0.3441, 0.3457, 0.3633, 0.497, 0.9736",\
                 "0.3519, 0.3509, 0.3501, 0.3509, 0.353, 0.3549, 0.3578, 0.3934, 0.6074, 1.237",\
                 "0.366, 0.3651, 0.3642, 0.3649, 0.3667, 0.3699, 0.3773, 0.4567, 0.8235, 1.627",\
                 "0.3833, 0.3822, 0.3813, 0.3824, 0.3833, 0.3864, 0.4163, 0.6222, 1.224, 2.111");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007339, 0.02959, 0.07209, 0.1383, 0.2312, 0.3534, 0.5074, 0.6954, 0.9195");
          values("0.3035, 0.2994, 0.2939, 0.291, 0.2896, 0.289, 0.2886, 0.2884, 0.2882, 0.288",\
                 "0.3032, 0.299, 0.2934, 0.2906, 0.2892, 0.2887, 0.2882, 0.288, 0.2878, 0.2876",\
                 "0.3025, 0.2983, 0.2928, 0.29, 0.2886, 0.288, 0.2876, 0.2873, 0.2871, 0.287",\
                 "0.3026, 0.2984, 0.2928, 0.2901, 0.2887, 0.288, 0.2877, 0.2874, 0.2872, 0.2871",\
                 "0.3048, 0.3006, 0.295, 0.2922, 0.2909, 0.2903, 0.2898, 0.2896, 0.2894, 0.2893",\
                 "0.31, 0.3057, 0.3001, 0.2973, 0.296, 0.2954, 0.295, 0.2947, 0.2945, 0.2944",\
                 "0.318, 0.3138, 0.3083, 0.3054, 0.304, 0.3033, 0.3029, 0.3028, 0.3026, 0.3025",\
                 "0.329, 0.3248, 0.3193, 0.3164, 0.3151, 0.3145, 0.3141, 0.3138, 0.3136, 0.3134",\
                 "0.3433, 0.3391, 0.3335, 0.3307, 0.3293, 0.3287, 0.3283, 0.328, 0.3278, 0.3275",\
                 "0.3608, 0.3565, 0.351, 0.3481, 0.3466, 0.346, 0.3456, 0.3454, 0.3451, 0.3443");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007339, 0.02959, 0.07209, 0.1383, 0.2312, 0.3534, 0.5074, 0.6954, 0.9195");
          values("0.2692, 0.2678, 0.2659, 0.2656, 0.267, 0.269, 0.2708, 0.274, 0.3073, 0.4944",\
                 "0.2691, 0.2677, 0.2658, 0.2656, 0.2671, 0.2692, 0.2708, 0.2743, 0.3081, 0.4997",\
                 "0.2684, 0.2669, 0.265, 0.2648, 0.2664, 0.2683, 0.2702, 0.274, 0.3116, 0.5103",\
                 "0.2677, 0.2663, 0.2643, 0.2643, 0.2658, 0.2677, 0.2696, 0.2734, 0.315, 0.5336",\
                 "0.2687, 0.2674, 0.2654, 0.2654, 0.2669, 0.2688, 0.2705, 0.2756, 0.3248, 0.573",\
                 "0.2712, 0.2697, 0.2681, 0.2683, 0.2696, 0.2715, 0.2734, 0.2798, 0.3408, 0.6284",\
                 "0.2765, 0.2751, 0.2731, 0.2734, 0.2755, 0.2772, 0.2787, 0.2877, 0.3683, 0.7133",\
                 "0.2846, 0.2831, 0.281, 0.281, 0.2823, 0.2852, 0.2884, 0.3019, 0.4129, 0.8409",\
                 "0.2955, 0.294, 0.2921, 0.2919, 0.2928, 0.2947, 0.2981, 0.3237, 0.486, 1.025",\
                 "0.3093, 0.3078, 0.306, 0.3056, 0.307, 0.3081, 0.3113, 0.3564, 0.6096, 1.287");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007339, 0.02959, 0.07209, 0.1383, 0.2312, 0.3534, 0.5074, 0.6954, 0.9195");
          values("0.3243, 0.3209, 0.317, 0.3153, 0.3145, 0.3141, 0.314, 0.3139, 0.3138, 0.3137",\
                 "0.3241, 0.3208, 0.3166, 0.315, 0.3142, 0.3139, 0.3138, 0.3136, 0.3135, 0.3134",\
                 "0.3232, 0.3199, 0.3158, 0.3142, 0.3135, 0.3132, 0.3129, 0.3128, 0.3127, 0.3126",\
                 "0.3238, 0.3204, 0.3165, 0.3148, 0.3139, 0.3136, 0.3135, 0.3133, 0.3132, 0.3132",\
                 "0.3272, 0.3238, 0.3197, 0.3181, 0.3174, 0.3171, 0.3169, 0.3167, 0.3167, 0.3165",\
                 "0.3341, 0.3307, 0.3268, 0.325, 0.3243, 0.324, 0.3238, 0.3236, 0.3235, 0.3234",\
                 "0.3439, 0.3405, 0.3365, 0.3349, 0.3341, 0.3337, 0.3336, 0.3334, 0.3333, 0.3332",\
                 "0.3569, 0.3535, 0.3495, 0.3477, 0.3471, 0.3469, 0.3466, 0.3464, 0.3463, 0.3461",\
                 "0.3734, 0.3699, 0.3659, 0.3642, 0.3635, 0.3631, 0.3629, 0.3628, 0.3627, 0.3624",\
                 "0.3936, 0.3901, 0.386, 0.3842, 0.3835, 0.3832, 0.383, 0.3829, 0.3827, 0.382");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007339, 0.02959, 0.07209, 0.1383, 0.2312, 0.3534, 0.5074, 0.6954, 0.9195");
          values("0.2386, 0.2376, 0.2368, 0.2376, 0.2393, 0.2413, 0.2429, 0.2467, 0.2779, 0.4547",\
                 "0.2387, 0.2377, 0.2368, 0.2378, 0.2396, 0.2413, 0.2432, 0.247, 0.2784, 0.458",\
                 "0.2387, 0.2379, 0.2371, 0.2381, 0.2398, 0.2416, 0.2435, 0.247, 0.2801, 0.4706",\
                 "0.2397, 0.2388, 0.238, 0.2388, 0.2406, 0.2425, 0.2441, 0.2485, 0.289, 0.4979",\
                 "0.2426, 0.2418, 0.241, 0.242, 0.2437, 0.2454, 0.2474, 0.2524, 0.2997, 0.5409",\
                 "0.2477, 0.2468, 0.246, 0.2468, 0.2489, 0.2505, 0.2521, 0.2591, 0.3209, 0.6084",\
                 "0.2556, 0.2548, 0.2537, 0.2547, 0.2574, 0.2586, 0.2604, 0.27, 0.3532, 0.7089",\
                 "0.2667, 0.2657, 0.265, 0.2657, 0.267, 0.2703, 0.273, 0.2878, 0.4077, 0.8606",\
                 "0.2809, 0.2799, 0.2791, 0.2796, 0.2814, 0.2828, 0.2876, 0.3172, 0.5016, 1.08",\
                 "0.2986, 0.2976, 0.297, 0.2975, 0.2988, 0.3001, 0.3048, 0.3643, 0.6625, 1.397");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007339, 0.02959, 0.07209, 0.1383, 0.2312, 0.3534, 0.5074, 0.6954, 0.9195");
          values("0.2157, 0.2113, 0.2056, 0.2028, 0.2013, 0.2006, 0.2002, 0.1999, 0.1998, 0.1996",\
                 "0.2158, 0.2115, 0.2057, 0.2029, 0.2014, 0.2007, 0.2003, 0.2001, 0.1999, 0.1997",\
                 "0.2159, 0.2116, 0.2058, 0.203, 0.2015, 0.2008, 0.2004, 0.2002, 0.2, 0.1998",\
                 "0.2169, 0.2126, 0.2068, 0.2039, 0.2025, 0.2018, 0.2014, 0.2011, 0.2009, 0.2008",\
                 "0.2204, 0.216, 0.2102, 0.2071, 0.2057, 0.2051, 0.2046, 0.2044, 0.2042, 0.204",\
                 "0.2265, 0.2221, 0.216, 0.2129, 0.2115, 0.2107, 0.2103, 0.21, 0.2098, 0.2097",\
                 "0.2357, 0.2312, 0.225, 0.2216, 0.2201, 0.2194, 0.219, 0.2187, 0.2185, 0.2184",\
                 "0.2484, 0.2438, 0.2373, 0.234, 0.2322, 0.2314, 0.231, 0.2307, 0.2306, 0.2304",\
                 "0.265, 0.2603, 0.2534, 0.2497, 0.2478, 0.247, 0.2466, 0.2463, 0.2461, 0.246",\
                 "0.2853, 0.2803, 0.2732, 0.2691, 0.2671, 0.2662, 0.2657, 0.2654, 0.2652, 0.265");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007339, 0.02959, 0.07209, 0.1383, 0.2312, 0.3534, 0.5074, 0.6954, 0.9195");
          values("0.2505, 0.249, 0.2475, 0.2473, 0.249, 0.2509, 0.2525, 0.2555, 0.2839, 0.4519",\
                 "0.2502, 0.2488, 0.2471, 0.2474, 0.2487, 0.2506, 0.2525, 0.2558, 0.2859, 0.4557",\
                 "0.2494, 0.2478, 0.2461, 0.2465, 0.2479, 0.2498, 0.2516, 0.2546, 0.2874, 0.4677",\
                 "0.2498, 0.2485, 0.2467, 0.2467, 0.2483, 0.2501, 0.2519, 0.2558, 0.2923, 0.4955",\
                 "0.2532, 0.2519, 0.25, 0.2501, 0.2516, 0.2536, 0.2555, 0.2597, 0.3084, 0.5461",\
                 "0.2615, 0.2601, 0.258, 0.2579, 0.2591, 0.2613, 0.263, 0.27, 0.3365, 0.6358",\
                 "0.2734, 0.2718, 0.2694, 0.2694, 0.2703, 0.2719, 0.2739, 0.2857, 0.3842, 0.7822",\
                 "0.2887, 0.2871, 0.284, 0.2831, 0.2844, 0.2867, 0.2886, 0.3124, 0.4739, 1.012",\
                 "0.3076, 0.3056, 0.3027, 0.3013, 0.3013, 0.3037, 0.3095, 0.3623, 0.6444, 1.366",\
                 "0.3307, 0.3284, 0.3253, 0.3236, 0.3238, 0.3241, 0.3406, 0.4808, 0.9783, 1.852");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007339, 0.02959, 0.07209, 0.1383, 0.2312, 0.3534, 0.5074, 0.6954, 0.9195");
          values("0.3284, 0.3251, 0.321, 0.3193, 0.3185, 0.3183, 0.3181, 0.318, 0.3179, 0.3178",\
                 "0.3286, 0.3252, 0.3213, 0.3197, 0.3189, 0.3185, 0.3183, 0.3181, 0.318, 0.3179",\
                 "0.3286, 0.3252, 0.3211, 0.3195, 0.3188, 0.3184, 0.3183, 0.3181, 0.318, 0.3179",\
                 "0.3288, 0.3255, 0.3216, 0.3199, 0.3191, 0.3187, 0.3185, 0.3183, 0.3183, 0.3182",\
                 "0.3306, 0.3272, 0.3232, 0.3216, 0.3207, 0.3204, 0.3202, 0.32, 0.3199, 0.3198",\
                 "0.3337, 0.3302, 0.3264, 0.3245, 0.3239, 0.3235, 0.3233, 0.3232, 0.3231, 0.323",\
                 "0.3386, 0.3354, 0.3314, 0.3297, 0.3291, 0.3288, 0.3284, 0.3283, 0.3282, 0.3281",\
                 "0.3459, 0.3424, 0.3385, 0.3369, 0.3362, 0.3358, 0.3356, 0.3354, 0.3353, 0.3352",\
                 "0.3553, 0.352, 0.3478, 0.3462, 0.3453, 0.345, 0.3448, 0.3447, 0.3447, 0.3445",\
                 "0.367, 0.3636, 0.3596, 0.358, 0.3573, 0.3569, 0.3567, 0.3565, 0.3564, 0.3563");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007339, 0.02959, 0.07209, 0.1383, 0.2312, 0.3534, 0.5074, 0.6954, 0.9195");
          values("0.322, 0.3211, 0.3203, 0.321, 0.3231, 0.3247, 0.3269, 0.3308, 0.3724, 0.5857",\
                 "0.3213, 0.3203, 0.3197, 0.3206, 0.3222, 0.3242, 0.326, 0.3308, 0.3706, 0.5903",\
                 "0.3208, 0.3198, 0.3192, 0.32, 0.3218, 0.3239, 0.3254, 0.3308, 0.3752, 0.604",\
                 "0.3219, 0.321, 0.3203, 0.321, 0.3231, 0.3246, 0.3265, 0.3323, 0.3848, 0.6412",\
                 "0.3247, 0.324, 0.3233, 0.3243, 0.3261, 0.3281, 0.3295, 0.3372, 0.404, 0.7088",\
                 "0.33, 0.3292, 0.3282, 0.329, 0.3308, 0.3325, 0.335, 0.3457, 0.44, 0.8225",\
                 "0.3371, 0.3364, 0.3354, 0.3364, 0.3381, 0.3397, 0.3418, 0.3624, 0.5042, 1.006",\
                 "0.3463, 0.3455, 0.3448, 0.3455, 0.3477, 0.3496, 0.3528, 0.3939, 0.6317, 1.296",\
                 "0.3585, 0.3575, 0.3567, 0.3577, 0.3594, 0.3617, 0.3713, 0.4683, 0.88, 1.717",\
                 "0.373, 0.3721, 0.3713, 0.3716, 0.3731, 0.3773, 0.4189, 0.6745, 1.331, 2.202");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007339, 0.02959, 0.07209, 0.1383, 0.2312, 0.3534, 0.5074, 0.6954, 0.9195");
          values("0.2991, 0.2949, 0.2894, 0.2865, 0.2852, 0.2846, 0.2842, 0.284, 0.2838, 0.2836",\
                 "0.2982, 0.294, 0.2885, 0.2856, 0.2843, 0.2837, 0.2833, 0.2831, 0.2829, 0.2828",\
                 "0.2979, 0.2937, 0.2882, 0.2854, 0.2841, 0.2833, 0.283, 0.2827, 0.2825, 0.2824",\
                 "0.299, 0.2948, 0.2891, 0.2863, 0.285, 0.2844, 0.284, 0.2838, 0.2836, 0.2835",\
                 "0.3019, 0.2977, 0.2922, 0.2893, 0.288, 0.2874, 0.2869, 0.2867, 0.2865, 0.2864",\
                 "0.3069, 0.3028, 0.2972, 0.2944, 0.2931, 0.2924, 0.2921, 0.2918, 0.2916, 0.2915",\
                 "0.3142, 0.31, 0.3044, 0.3015, 0.3003, 0.2996, 0.2992, 0.299, 0.2989, 0.2987",\
                 "0.3237, 0.3195, 0.3139, 0.3111, 0.3097, 0.3091, 0.3086, 0.3084, 0.3082, 0.3081",\
                 "0.3357, 0.3315, 0.326, 0.323, 0.3217, 0.3211, 0.3208, 0.3204, 0.3202, 0.3199",\
                 "0.3504, 0.3462, 0.3407, 0.3378, 0.3365, 0.3358, 0.3355, 0.3352, 0.3348, 0.3337");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007339, 0.02959, 0.07209, 0.1383, 0.2312, 0.3534, 0.5074, 0.6954, 0.9195");
          values("0.2545, 0.2532, 0.2514, 0.2514, 0.2529, 0.2549, 0.2567, 0.2603, 0.2928, 0.4738",\
                 "0.2546, 0.2532, 0.2515, 0.252, 0.2532, 0.2554, 0.257, 0.2603, 0.2929, 0.4789",\
                 "0.2547, 0.2532, 0.2514, 0.2519, 0.2534, 0.2551, 0.2567, 0.2606, 0.2969, 0.4927",\
                 "0.255, 0.2535, 0.2518, 0.252, 0.2535, 0.2553, 0.257, 0.2609, 0.3005, 0.5151",\
                 "0.2565, 0.2551, 0.2534, 0.2538, 0.2549, 0.257, 0.2588, 0.2636, 0.3119, 0.5502",\
                 "0.2596, 0.2582, 0.2565, 0.257, 0.2582, 0.2603, 0.2623, 0.2682, 0.3268, 0.6053",\
                 "0.2648, 0.2634, 0.2615, 0.2616, 0.2637, 0.2658, 0.2668, 0.2754, 0.3531, 0.6869",\
                 "0.2719, 0.2703, 0.2687, 0.2686, 0.2697, 0.2727, 0.2753, 0.2881, 0.3908, 0.8021",\
                 "0.2813, 0.28, 0.2781, 0.2781, 0.2791, 0.2804, 0.2844, 0.3081, 0.4582, 0.9731",\
                 "0.2932, 0.292, 0.29, 0.2901, 0.2913, 0.292, 0.2949, 0.3354, 0.568, 1.217");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007339, 0.02959, 0.07209, 0.1383, 0.2312, 0.3534, 0.5074, 0.6954, 0.9195");
          values("0.3344, 0.331, 0.3269, 0.3253, 0.3244, 0.3242, 0.324, 0.3239, 0.3238, 0.3237",\
                 "0.3337, 0.3304, 0.3263, 0.3246, 0.3239, 0.3236, 0.3234, 0.3232, 0.3231, 0.323",\
                 "0.3333, 0.3299, 0.3258, 0.3242, 0.3235, 0.3232, 0.323, 0.3228, 0.3227, 0.3226",\
                 "0.3341, 0.3308, 0.3267, 0.325, 0.3245, 0.3239, 0.3238, 0.3237, 0.3236, 0.3235",\
                 "0.3377, 0.3343, 0.3302, 0.3287, 0.3279, 0.3275, 0.3272, 0.3271, 0.327, 0.3269",\
                 "0.3448, 0.3413, 0.3373, 0.3357, 0.335, 0.3347, 0.3345, 0.3343, 0.3342, 0.3341",\
                 "0.3551, 0.3518, 0.3478, 0.346, 0.3454, 0.345, 0.3449, 0.3447, 0.3445, 0.3444",\
                 "0.3688, 0.3654, 0.3614, 0.3597, 0.3588, 0.3585, 0.3583, 0.3581, 0.3581, 0.358",\
                 "0.3857, 0.3822, 0.3783, 0.3767, 0.3759, 0.3755, 0.3753, 0.3752, 0.375, 0.3748",\
                 "0.4067, 0.4031, 0.3991, 0.3974, 0.3966, 0.3963, 0.3961, 0.396, 0.3958, 0.395");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007339, 0.02959, 0.07209, 0.1383, 0.2312, 0.3534, 0.5074, 0.6954, 0.9195");
          values("0.2415, 0.2408, 0.2399, 0.2407, 0.2424, 0.2445, 0.2459, 0.2497, 0.281, 0.4582",\
                 "0.2417, 0.2408, 0.2402, 0.2408, 0.2426, 0.2446, 0.2462, 0.2497, 0.2815, 0.4618",\
                 "0.2418, 0.2409, 0.2401, 0.2411, 0.2429, 0.2447, 0.2468, 0.2503, 0.2846, 0.4741",\
                 "0.2424, 0.2414, 0.2409, 0.2415, 0.2432, 0.245, 0.2468, 0.2512, 0.2901, 0.4976",\
                 "0.2447, 0.2438, 0.2432, 0.2439, 0.246, 0.2475, 0.2495, 0.2543, 0.3009, 0.537",\
                 "0.2495, 0.2486, 0.2478, 0.2486, 0.2505, 0.2522, 0.2539, 0.2609, 0.3202, 0.598",\
                 "0.2571, 0.2561, 0.2552, 0.2558, 0.2586, 0.2603, 0.2616, 0.2706, 0.3503, 0.6933",\
                 "0.2679, 0.2671, 0.2664, 0.2662, 0.2685, 0.2715, 0.2739, 0.2884, 0.4002, 0.8327",\
                 "0.282, 0.281, 0.2805, 0.2808, 0.2821, 0.2844, 0.2884, 0.3151, 0.4852, 1.038",\
                 "0.2996, 0.2985, 0.2978, 0.2981, 0.2997, 0.3, 0.3054, 0.3568, 0.6295, 1.334");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007339, 0.02959, 0.07209, 0.1383, 0.2312, 0.3534, 0.5074, 0.6954, 0.9195");
          values("0.2187, 0.2145, 0.2086, 0.2058, 0.2043, 0.2037, 0.2033, 0.203, 0.2028, 0.2027",\
                 "0.2189, 0.2147, 0.2089, 0.206, 0.2045, 0.2038, 0.2034, 0.2032, 0.203, 0.2029",\
                 "0.2189, 0.2146, 0.2088, 0.206, 0.2045, 0.2038, 0.2034, 0.2031, 0.203, 0.2028",\
                 "0.2196, 0.2153, 0.2096, 0.2067, 0.2052, 0.2046, 0.2041, 0.2038, 0.2037, 0.2035",\
                 "0.2224, 0.2181, 0.2122, 0.2091, 0.2078, 0.2072, 0.2068, 0.2065, 0.2063, 0.2061",\
                 "0.2279, 0.2235, 0.2176, 0.2143, 0.2129, 0.2122, 0.2118, 0.2115, 0.2113, 0.2112",\
                 "0.2367, 0.2322, 0.226, 0.2227, 0.2212, 0.2205, 0.22, 0.2197, 0.2196, 0.2194",\
                 "0.2492, 0.2444, 0.238, 0.2346, 0.233, 0.2322, 0.2317, 0.2314, 0.2313, 0.2311",\
                 "0.2653, 0.2605, 0.2537, 0.25, 0.2483, 0.2475, 0.2469, 0.2466, 0.2464, 0.2463",\
                 "0.2853, 0.2803, 0.2732, 0.2692, 0.267, 0.2662, 0.2657, 0.2653, 0.2651, 0.2649");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007339, 0.02959, 0.07209, 0.1383, 0.2312, 0.3534, 0.5074, 0.6954, 0.9195");
          values("0.2612, 0.2598, 0.2578, 0.2577, 0.2589, 0.2609, 0.2629, 0.2658, 0.2953, 0.468",\
                 "0.2606, 0.259, 0.2571, 0.257, 0.2585, 0.2605, 0.2623, 0.2652, 0.2951, 0.4717",\
                 "0.2601, 0.2587, 0.2568, 0.2568, 0.2579, 0.26, 0.262, 0.2655, 0.2991, 0.483",\
                 "0.2609, 0.2594, 0.2576, 0.2576, 0.2589, 0.2608, 0.2626, 0.2667, 0.3043, 0.5126",\
                 "0.2644, 0.2629, 0.2608, 0.2609, 0.2622, 0.2641, 0.2656, 0.2716, 0.3195, 0.5653",\
                 "0.2728, 0.2713, 0.2692, 0.2689, 0.2702, 0.2721, 0.2739, 0.2812, 0.3497, 0.6596",\
                 "0.2852, 0.2835, 0.2811, 0.2804, 0.2816, 0.2834, 0.2853, 0.2979, 0.4011, 0.8119",\
                 "0.3012, 0.2995, 0.2964, 0.2949, 0.2966, 0.2983, 0.3009, 0.3261, 0.4957, 1.05",\
                 "0.3207, 0.3186, 0.3156, 0.314, 0.3139, 0.3163, 0.3224, 0.3804, 0.6811, 1.42",\
                 "0.3443, 0.3422, 0.3387, 0.3364, 0.3363, 0.3377, 0.3578, 0.5124, 1.039, 1.921");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007339, 0.02959, 0.07209, 0.1383, 0.2312, 0.3534, 0.5074, 0.6954, 0.9195");
          values("0.2282, 0.224, 0.2186, 0.2158, 0.2144, 0.2138, 0.2134, 0.2132, 0.213, 0.2129",\
                 "0.2277, 0.2236, 0.2181, 0.2153, 0.214, 0.2134, 0.213, 0.2127, 0.2125, 0.2124",\
                 "0.2258, 0.2217, 0.2162, 0.2135, 0.2121, 0.2115, 0.211, 0.2108, 0.2106, 0.2105",\
                 "0.2237, 0.2195, 0.2139, 0.2113, 0.21, 0.2093, 0.2089, 0.2087, 0.2085, 0.2084",\
                 "0.2234, 0.2195, 0.2144, 0.2121, 0.211, 0.2105, 0.2102, 0.2099, 0.2098, 0.2096",\
                 "0.2271, 0.2234, 0.2187, 0.2166, 0.2157, 0.2152, 0.215, 0.2148, 0.2147, 0.2146",\
                 "0.2358, 0.2323, 0.2276, 0.2255, 0.2246, 0.2242, 0.224, 0.2238, 0.2237, 0.2237",\
                 "0.2492, 0.2457, 0.241, 0.2388, 0.2379, 0.2376, 0.2373, 0.2372, 0.237, 0.2369",\
                 "0.2676, 0.2638, 0.2589, 0.2568, 0.2558, 0.2555, 0.2551, 0.255, 0.2549, 0.2548",\
                 "0.2906, 0.2868, 0.2816, 0.2793, 0.2783, 0.2779, 0.2776, 0.2774, 0.2773, 0.2771");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007339, 0.02959, 0.07209, 0.1383, 0.2312, 0.3534, 0.5074, 0.6954, 0.9195");
          values("0.2517, 0.2507, 0.25, 0.2508, 0.2527, 0.2547, 0.2563, 0.2595, 0.286, 0.4442",\
                 "0.2508, 0.2499, 0.2492, 0.2502, 0.2519, 0.2539, 0.256, 0.2583, 0.2847, 0.446",\
                 "0.2494, 0.2485, 0.2476, 0.2486, 0.2505, 0.2524, 0.2539, 0.2571, 0.2864, 0.4566",\
                 "0.249, 0.2479, 0.2471, 0.2479, 0.2497, 0.2516, 0.2536, 0.2568, 0.2901, 0.4771",\
                 "0.2518, 0.251, 0.2499, 0.2506, 0.2525, 0.2542, 0.2563, 0.2605, 0.3005, 0.5186",\
                 "0.2596, 0.2586, 0.2578, 0.2585, 0.2599, 0.2616, 0.2634, 0.2698, 0.3247, 0.592",\
                 "0.2724, 0.2711, 0.2696, 0.2701, 0.2724, 0.2742, 0.2762, 0.2855, 0.3668, 0.7149",\
                 "0.29, 0.2888, 0.2871, 0.2871, 0.2883, 0.2918, 0.2936, 0.3103, 0.4396, 0.9102",\
                 "0.3128, 0.3116, 0.3098, 0.3095, 0.31, 0.3126, 0.3175, 0.3548, 0.5792, 1.22",\
                 "0.341, 0.3393, 0.337, 0.3372, 0.3375, 0.3381, 0.3486, 0.4449, 0.8494, 1.677");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007339, 0.02959, 0.07209, 0.1383, 0.2312, 0.3534, 0.5074, 0.6954, 0.9195");
          values("0.1942, 0.1909, 0.187, 0.1854, 0.1845, 0.1843, 0.184, 0.1838, 0.1837, 0.1836",\
                 "0.1931, 0.1897, 0.1859, 0.1843, 0.1835, 0.1831, 0.1829, 0.1827, 0.1826, 0.1825",\
                 "0.191, 0.1876, 0.1838, 0.1821, 0.1814, 0.1811, 0.1808, 0.1807, 0.1806, 0.1805",\
                 "0.1938, 0.1902, 0.1859, 0.1839, 0.1833, 0.183, 0.1828, 0.1827, 0.1826, 0.1826",\
                 "0.2078, 0.2032, 0.1967, 0.1933, 0.1916, 0.191, 0.1906, 0.1904, 0.1902, 0.1901",\
                 "0.2283, 0.2226, 0.2137, 0.2087, 0.2061, 0.2047, 0.204, 0.2036, 0.2033, 0.2031",\
                 "0.2551, 0.2482, 0.2371, 0.23, 0.2264, 0.2243, 0.2231, 0.2224, 0.222, 0.2216",\
                 "0.289, 0.2812, 0.2676, 0.2586, 0.2533, 0.2503, 0.2487, 0.2475, 0.247, 0.2465",\
                 "0.3307, 0.3221, 0.3058, 0.2946, 0.2877, 0.2836, 0.2811, 0.2797, 0.2786, 0.2779",\
                 "0.3808, 0.3713, 0.3523, 0.3385, 0.3297, 0.3243, 0.3209, 0.3187, 0.3173, 0.316");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007339, 0.02959, 0.07209, 0.1383, 0.2312, 0.3534, 0.5074, 0.6954, 0.9195");
          values("0.1003, 0.09978, 0.1005, 0.1025, 0.1045, 0.1063, 0.1078, 0.1106, 0.1308, 0.2642",\
                 "0.1003, 0.09982, 0.1005, 0.1025, 0.1046, 0.1065, 0.1083, 0.1112, 0.1314, 0.2655",\
                 "0.1005, 0.0999, 0.1002, 0.1021, 0.104, 0.1059, 0.1074, 0.1106, 0.1327, 0.2737",\
                 "0.1053, 0.1044, 0.1033, 0.1039, 0.1056, 0.1076, 0.1095, 0.1121, 0.1381, 0.2938",\
                 "0.1153, 0.1133, 0.1111, 0.1106, 0.1112, 0.1126, 0.1143, 0.1181, 0.1496, 0.3265",\
                 "0.1311, 0.1286, 0.1246, 0.1217, 0.1227, 0.1234, 0.1245, 0.1283, 0.1681, 0.3794",\
                 "0.1538, 0.1502, 0.1443, 0.14, 0.1385, 0.1404, 0.1421, 0.147, 0.198, 0.4596",\
                 "0.1833, 0.1789, 0.1711, 0.1654, 0.1622, 0.1616, 0.1651, 0.1719, 0.2469, 0.5767",\
                 "0.2199, 0.2144, 0.2049, 0.1976, 0.1927, 0.1901, 0.1909, 0.2075, 0.3244, 0.7612",\
                 "0.2637, 0.257, 0.2458, 0.2371, 0.2302, 0.2259, 0.2247, 0.254, 0.446, 1.031");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007339, 0.02959, 0.07209, 0.1383, 0.2312, 0.3534, 0.5074, 0.6954, 0.9195");
          values("0.1942, 0.1909, 0.187, 0.1854, 0.1845, 0.1843, 0.184, 0.1838, 0.1837, 0.1836",\
                 "0.1931, 0.1897, 0.1859, 0.1843, 0.1835, 0.1831, 0.1829, 0.1827, 0.1826, 0.1825",\
                 "0.191, 0.1876, 0.1838, 0.1821, 0.1814, 0.1811, 0.1809, 0.1807, 0.1806, 0.1805",\
                 "0.1938, 0.1903, 0.1859, 0.184, 0.1833, 0.183, 0.1829, 0.1827, 0.1826, 0.1825",\
                 "0.2078, 0.2031, 0.1966, 0.1932, 0.1918, 0.1911, 0.1906, 0.1904, 0.1902, 0.1901",\
                 "0.2282, 0.2226, 0.2137, 0.2087, 0.2061, 0.2047, 0.204, 0.2036, 0.2033, 0.2031",\
                 "0.2551, 0.2483, 0.2371, 0.23, 0.2264, 0.2244, 0.2231, 0.2224, 0.222, 0.2216",\
                 "0.2891, 0.2812, 0.2677, 0.2586, 0.2533, 0.2504, 0.2487, 0.2476, 0.247, 0.2464",\
                 "0.3308, 0.3222, 0.3058, 0.2946, 0.2878, 0.2835, 0.2811, 0.2796, 0.2785, 0.2778",\
                 "0.3808, 0.3713, 0.3525, 0.3384, 0.3298, 0.3243, 0.3209, 0.3187, 0.3173, 0.3162");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007339, 0.02959, 0.07209, 0.1383, 0.2312, 0.3534, 0.5074, 0.6954, 0.9195");
          values("0.1003, 0.09978, 0.1005, 0.1025, 0.1045, 0.1063, 0.1078, 0.1106, 0.1308, 0.2642",\
                 "0.1003, 0.09982, 0.1005, 0.1025, 0.1046, 0.1066, 0.1083, 0.1112, 0.1314, 0.2655",\
                 "0.1005, 0.09994, 0.1002, 0.102, 0.104, 0.1059, 0.1074, 0.1103, 0.1327, 0.275",\
                 "0.1055, 0.1044, 0.1033, 0.1039, 0.1057, 0.1076, 0.1095, 0.113, 0.1388, 0.2935",\
                 "0.115, 0.1133, 0.1107, 0.1106, 0.1112, 0.1124, 0.1143, 0.1175, 0.15, 0.3265",\
                 "0.1311, 0.1286, 0.1242, 0.1217, 0.1227, 0.1234, 0.1248, 0.1283, 0.1684, 0.3794",\
                 "0.1538, 0.1502, 0.1443, 0.14, 0.1385, 0.1404, 0.1415, 0.147, 0.2, 0.4596",\
                 "0.1833, 0.1788, 0.1718, 0.1654, 0.1622, 0.1612, 0.1642, 0.1719, 0.2473, 0.5779",\
                 "0.2199, 0.2144, 0.2049, 0.1976, 0.1924, 0.1901, 0.1909, 0.2072, 0.3225, 0.7615",\
                 "0.2637, 0.257, 0.2458, 0.237, 0.2302, 0.2259, 0.225, 0.254, 0.446, 1.031");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007339, 0.02959, 0.07209, 0.1383, 0.2312, 0.3534, 0.5074, 0.6954, 0.9195");
          values("0.2283, 0.2241, 0.2187, 0.2159, 0.2144, 0.2138, 0.2134, 0.2132, 0.2129, 0.2128",\
                 "0.2278, 0.2237, 0.2182, 0.2154, 0.214, 0.2133, 0.2129, 0.2127, 0.2124, 0.2124",\
                 "0.2259, 0.2217, 0.2162, 0.2134, 0.212, 0.2114, 0.211, 0.2107, 0.2105, 0.2104",\
                 "0.2238, 0.2196, 0.214, 0.2113, 0.2099, 0.2093, 0.2089, 0.2086, 0.2084, 0.2083",\
                 "0.2236, 0.2196, 0.2145, 0.2121, 0.2111, 0.2105, 0.2102, 0.2099, 0.2097, 0.2096",\
                 "0.2273, 0.2234, 0.2187, 0.2168, 0.2156, 0.2151, 0.2149, 0.2148, 0.2147, 0.2146",\
                 "0.2359, 0.2323, 0.2276, 0.2256, 0.2247, 0.2243, 0.2241, 0.2239, 0.2237, 0.2237",\
                 "0.2494, 0.2457, 0.2411, 0.2389, 0.238, 0.2376, 0.2373, 0.2372, 0.2371, 0.237",\
                 "0.2678, 0.2639, 0.2589, 0.2567, 0.2557, 0.2554, 0.2552, 0.255, 0.2549, 0.2548",\
                 "0.2908, 0.2869, 0.2818, 0.2794, 0.2784, 0.2778, 0.2775, 0.2773, 0.2773, 0.2771");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007339, 0.02959, 0.07209, 0.1383, 0.2312, 0.3534, 0.5074, 0.6954, 0.9195");
          values("0.2516, 0.2508, 0.2501, 0.2509, 0.2528, 0.2545, 0.2563, 0.2592, 0.2854, 0.4447",\
                 "0.2508, 0.25, 0.2492, 0.25, 0.2519, 0.2538, 0.2554, 0.258, 0.286, 0.4462",\
                 "0.2494, 0.2485, 0.2478, 0.2486, 0.2505, 0.2523, 0.2542, 0.2571, 0.286, 0.4551",\
                 "0.2488, 0.2479, 0.2473, 0.248, 0.2498, 0.2518, 0.2539, 0.2575, 0.2898, 0.4744",\
                 "0.2517, 0.251, 0.2499, 0.2506, 0.2526, 0.2542, 0.2563, 0.2602, 0.3033, 0.5196",\
                 "0.2595, 0.2584, 0.2574, 0.2584, 0.2598, 0.2618, 0.2634, 0.2698, 0.3266, 0.5931",\
                 "0.2723, 0.2713, 0.2699, 0.2703, 0.2723, 0.2743, 0.2765, 0.2855, 0.3668, 0.715",\
                 "0.2901, 0.2888, 0.2875, 0.2873, 0.2888, 0.2919, 0.2939, 0.3103, 0.4396, 0.91",\
                 "0.313, 0.3115, 0.3095, 0.3094, 0.3098, 0.3123, 0.3176, 0.3548, 0.5789, 1.221",\
                 "0.3409, 0.3394, 0.337, 0.3365, 0.3369, 0.3379, 0.3474, 0.4458, 0.8491, 1.677");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007339, 0.02959, 0.07209, 0.1383, 0.2312, 0.3534, 0.5074, 0.6954, 0.9195");
          values("2.787, 2.853, 3.026, 3.275, 3.59, 3.99, 4.491, 5.113, 5.869, 6.769",\
                 "2.811, 2.876, 3.05, 3.298, 3.615, 4.014, 4.515, 5.136, 5.892, 6.793",\
                 "2.885, 2.951, 3.124, 3.373, 3.689, 4.088, 4.589, 5.211, 5.967, 6.867",\
                 "2.974, 3.04, 3.213, 3.462, 3.778, 4.177, 4.678, 5.3, 6.056, 6.956",\
                 "3.026, 3.091, 3.265, 3.513, 3.829, 4.228, 4.73, 5.351, 6.107, 7.007",\
                 "3.032, 3.098, 3.272, 3.52, 3.836, 4.235, 4.737, 5.358, 6.114, 7.015",\
                 "2.972, 3.039, 3.213, 3.46, 3.776, 4.175, 4.676, 5.298, 6.054, 6.954",\
                 "2.847, 2.912, 3.086, 3.334, 3.65, 4.049, 4.551, 5.172, 5.928, 6.827",\
                 "2.654, 2.72, 2.893, 3.141, 3.458, 3.857, 4.358, 4.98, 5.735, 6.635",\
                 "2.39, 2.456, 2.629, 2.877, 3.193, 3.592, 4.094, 4.715, 5.471, 6.372");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007339, 0.02959, 0.07209, 0.1383, 0.2312, 0.3534, 0.5074, 0.6954, 0.9195");
          values("3.066, 3.127, 3.316, 3.662, 4.198, 4.949, 5.935, 7.177, 8.692, 10.5",\
                 "3.085, 3.147, 3.336, 3.682, 4.218, 4.968, 5.954, 7.197, 8.715, 10.52",\
                 "3.153, 3.215, 3.404, 3.75, 4.286, 5.036, 6.023, 7.266, 8.781, 10.59",\
                 "3.289, 3.35, 3.539, 3.884, 4.421, 5.171, 6.159, 7.401, 8.915, 10.72",\
                 "3.528, 3.589, 3.778, 4.123, 4.66, 5.41, 6.396, 7.639, 9.155, 10.96",\
                 "3.87, 3.932, 4.121, 4.466, 5.002, 5.753, 6.74, 7.982, 9.497, 11.31",\
                 "4.31, 4.372, 4.56, 4.906, 5.441, 6.193, 7.179, 8.42, 9.938, 11.74",\
                 "4.845, 4.906, 5.095, 5.441, 5.977, 6.727, 7.713, 8.956, 10.47, 12.28",\
                 "5.472, 5.533, 5.722, 6.068, 6.604, 7.354, 8.34, 9.581, 11.1, 12.9",\
                 "6.186, 6.248, 6.436, 6.782, 7.318, 8.069, 9.055, 10.3, 11.81, 13.62");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007339, 0.02959, 0.07209, 0.1383, 0.2312, 0.3534, 0.5074, 0.6954, 0.9195");
          values("0.2406, 0.3034, 0.481, 0.7566, 1.166, 1.751, 2.547, 3.579, 4.855, 6.375",\
                 "0.2402, 0.303, 0.4806, 0.7568, 1.166, 1.749, 2.548, 3.58, 4.855, 6.383",\
                 "0.2408, 0.303, 0.4808, 0.7564, 1.164, 1.75, 2.548, 3.58, 4.855, 6.381",\
                 "0.2404, 0.3028, 0.4804, 0.757, 1.165, 1.75, 2.545, 3.58, 4.855, 6.382",\
                 "0.2404, 0.3028, 0.4804, 0.7566, 1.166, 1.749, 2.548, 3.576, 4.855, 6.376",\
                 "0.241, 0.3034, 0.4808, 0.7576, 1.167, 1.749, 2.546, 3.579, 4.854, 6.38",\
                 "0.241, 0.3028, 0.4814, 0.758, 1.165, 1.749, 2.547, 3.579, 4.854, 6.383",\
                 "0.241, 0.3034, 0.4808, 0.757, 1.165, 1.751, 2.546, 3.575, 4.849, 6.376",\
                 "0.2404, 0.3034, 0.4802, 0.7574, 1.166, 1.75, 2.546, 3.574, 4.85, 6.37",\
                 "0.24, 0.302, 0.482, 0.758, 1.166, 1.75, 2.55, 3.574, 4.854, 6.378");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007339, 0.02959, 0.07209, 0.1383, 0.2312, 0.3534, 0.5074, 0.6954, 0.9195");
          values("0.1952, 0.2754, 0.5682, 1.163, 2.105, 3.425, 5.154, 7.341, 10.01, 13.19",\
                 "0.1944, 0.2754, 0.5674, 1.166, 2.102, 3.423, 5.153, 7.354, 10.02, 13.21",\
                 "0.1948, 0.2746, 0.5682, 1.163, 2.104, 3.418, 5.156, 7.345, 10.01, 13.2",\
                 "0.1946, 0.275, 0.5686, 1.164, 2.101, 3.42, 5.154, 7.342, 10.01, 13.2",\
                 "0.1948, 0.2754, 0.5674, 1.166, 2.101, 3.421, 5.155, 7.345, 10.01, 13.2",\
                 "0.1948, 0.2754, 0.5676, 1.164, 2.104, 3.418, 5.157, 7.345, 10.01, 13.2",\
                 "0.1942, 0.2754, 0.5674, 1.163, 2.102, 3.421, 5.156, 7.345, 10.02, 13.19",\
                 "0.1938, 0.2746, 0.5688, 1.163, 2.1, 3.42, 5.154, 7.356, 10.02, 13.21",\
                 "0.196, 0.274, 0.566, 1.164, 2.102, 3.418, 5.154, 7.34, 10.01, 13.19",\
                 "0.196, 0.276, 0.568, 1.164, 2.104, 3.418, 5.152, 7.338, 10.02, 13.18");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007339, 0.02959, 0.07209, 0.1383, 0.2312, 0.3534, 0.5074, 0.6954, 0.9195");
          values("1.455, 1.525, 1.705, 1.958, 2.279, 2.68, 3.184, 3.806, 4.562, 5.463",\
                 "1.477, 1.547, 1.726, 1.98, 2.3, 2.702, 3.205, 3.828, 4.584, 5.485",\
                 "1.554, 1.624, 1.804, 2.057, 2.378, 2.779, 3.282, 3.905, 4.661, 5.561",\
                 "1.696, 1.766, 1.945, 2.199, 2.519, 2.921, 3.424, 4.046, 4.803, 5.703",\
                 "1.849, 1.919, 2.099, 2.352, 2.673, 3.074, 3.578, 4.2, 4.956, 5.857",\
                 "1.968, 2.038, 2.217, 2.471, 2.792, 3.194, 3.697, 4.32, 5.076, 5.976",\
                 "2.048, 2.118, 2.298, 2.552, 2.873, 3.275, 3.778, 4.401, 5.157, 6.057",\
                 "2.087, 2.157, 2.337, 2.591, 2.912, 3.315, 3.818, 4.441, 5.197, 6.096",\
                 "2.076, 2.147, 2.327, 2.582, 2.904, 3.306, 3.81, 4.432, 5.189, 6.089",\
                 "2.01, 2.081, 2.263, 2.518, 2.84, 3.243, 3.746, 4.369, 5.126, 6.025");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007339, 0.02959, 0.07209, 0.1383, 0.2312, 0.3534, 0.5074, 0.6954, 0.9195");
          values("1.706, 1.778, 1.986, 2.339, 2.876, 3.626, 4.612, 5.853, 7.369, 9.172",\
                 "1.73, 1.802, 2.01, 2.362, 2.899, 3.649, 4.635, 5.876, 7.391, 9.199",\
                 "1.81, 1.881, 2.089, 2.442, 2.979, 3.73, 4.715, 5.956, 7.471, 9.279",\
                 "1.993, 2.065, 2.273, 2.625, 3.162, 3.912, 4.898, 6.139, 7.654, 9.462",\
                 "2.304, 2.376, 2.583, 2.936, 3.473, 4.223, 5.209, 6.45, 7.965, 9.772",\
                 "2.712, 2.785, 2.993, 3.346, 3.882, 4.633, 5.618, 6.859, 8.374, 10.18",\
                 "3.177, 3.25, 3.46, 3.812, 4.349, 5.099, 6.085, 7.326, 8.841, 10.65",\
                 "3.706, 3.78, 3.99, 4.342, 4.878, 5.628, 6.613, 7.855, 9.37, 11.18",\
                 "4.305, 4.379, 4.591, 4.944, 5.479, 6.229, 7.214, 8.455, 9.97, 11.78",\
                 "4.979, 5.053, 5.266, 5.62, 6.156, 6.905, 7.89, 9.131, 10.64, 12.45");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007339, 0.02959, 0.07209, 0.1383, 0.2312, 0.3534, 0.5074, 0.6954, 0.9195");
          values("0.2662, 0.3284, 0.502, 0.7758, 1.181, 1.76, 2.554, 3.585, 4.858, 6.385",\
                 "0.2662, 0.3284, 0.5028, 0.776, 1.181, 1.76, 2.554, 3.585, 4.858, 6.384",\
                 "0.2658, 0.3284, 0.502, 0.7758, 1.181, 1.76, 2.555, 3.584, 4.857, 6.384",\
                 "0.2662, 0.3286, 0.5018, 0.7762, 1.181, 1.76, 2.555, 3.584, 4.858, 6.381",\
                 "0.2668, 0.3294, 0.5022, 0.7752, 1.181, 1.76, 2.556, 3.584, 4.858, 6.385",\
                 "0.2686, 0.3308, 0.5034, 0.7766, 1.181, 1.763, 2.557, 3.585, 4.858, 6.384",\
                 "0.2696, 0.3322, 0.5044, 0.7784, 1.181, 1.761, 2.553, 3.582, 4.855, 6.387",\
                 "0.2718, 0.334, 0.507, 0.7796, 1.182, 1.764, 2.556, 3.584, 4.852, 6.378",\
                 "0.2758, 0.338, 0.5092, 0.7822, 1.185, 1.764, 2.556, 3.585, 4.85, 6.374",\
                 "0.2804, 0.342, 0.514, 0.786, 1.188, 1.766, 2.56, 3.586, 4.854, 6.378");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007339, 0.02959, 0.07209, 0.1383, 0.2312, 0.3534, 0.5074, 0.6954, 0.9195");
          values("0.2314, 0.3194, 0.6062, 1.179, 2.11, 3.431, 5.165, 7.348, 10.02, 13.21",\
                 "0.231, 0.3192, 0.6056, 1.18, 2.109, 3.426, 5.169, 7.348, 10.03, 13.21",\
                 "0.232, 0.3196, 0.606, 1.179, 2.109, 3.429, 5.166, 7.353, 10.03, 13.22",\
                 "0.232, 0.3194, 0.6062, 1.179, 2.11, 3.426, 5.168, 7.349, 10.02, 13.23",\
                 "0.2316, 0.3204, 0.606, 1.179, 2.11, 3.426, 5.17, 7.348, 10.03, 13.21",\
                 "0.2334, 0.3232, 0.6092, 1.18, 2.113, 3.427, 5.168, 7.355, 10.03, 13.21",\
                 "0.2372, 0.3268, 0.6104, 1.182, 2.11, 3.43, 5.163, 7.345, 10.01, 13.21",\
                 "0.2408, 0.33, 0.6146, 1.184, 2.114, 3.427, 5.167, 7.36, 10.01, 13.23",\
                 "0.246, 0.334, 0.62, 1.184, 2.112, 3.43, 5.164, 7.346, 10.01, 13.22",\
                 "0.25, 0.34, 0.622, 1.186, 2.116, 3.432, 5.158, 7.348, 10.02, 13.22");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007339, 0.02959, 0.07209, 0.1383, 0.2312, 0.3534, 0.5074, 0.6954, 0.9195");
          values("2.787, 2.853, 3.026, 3.275, 3.59, 3.99, 4.491, 5.113, 5.869, 6.769",\
                 "2.811, 2.876, 3.05, 3.298, 3.615, 4.014, 4.515, 5.136, 5.892, 6.793",\
                 "2.885, 2.951, 3.124, 3.373, 3.689, 4.088, 4.589, 5.211, 5.967, 6.867",\
                 "2.974, 3.04, 3.213, 3.462, 3.778, 4.177, 4.678, 5.3, 6.056, 6.956",\
                 "3.026, 3.091, 3.265, 3.513, 3.829, 4.228, 4.73, 5.351, 6.107, 7.007",\
                 "3.032, 3.098, 3.272, 3.52, 3.836, 4.235, 4.737, 5.358, 6.114, 7.015",\
                 "2.972, 3.039, 3.213, 3.46, 3.776, 4.175, 4.676, 5.298, 6.054, 6.954",\
                 "2.847, 2.912, 3.086, 3.334, 3.65, 4.049, 4.551, 5.172, 5.928, 6.827",\
                 "2.654, 2.72, 2.893, 3.141, 3.458, 3.857, 4.358, 4.98, 5.735, 6.635",\
                 "2.39, 2.456, 2.629, 2.877, 3.193, 3.592, 4.094, 4.715, 5.471, 6.372");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007339, 0.02959, 0.07209, 0.1383, 0.2312, 0.3534, 0.5074, 0.6954, 0.9195");
          values("3.066, 3.127, 3.316, 3.662, 4.198, 4.949, 5.935, 7.177, 8.692, 10.5",\
                 "3.085, 3.147, 3.336, 3.682, 4.218, 4.968, 5.954, 7.197, 8.715, 10.52",\
                 "3.153, 3.215, 3.404, 3.75, 4.286, 5.036, 6.023, 7.266, 8.781, 10.59",\
                 "3.289, 3.35, 3.539, 3.884, 4.421, 5.171, 6.159, 7.401, 8.915, 10.72",\
                 "3.528, 3.589, 3.778, 4.123, 4.66, 5.41, 6.396, 7.639, 9.155, 10.96",\
                 "3.87, 3.932, 4.121, 4.466, 5.002, 5.753, 6.74, 7.982, 9.497, 11.31",\
                 "4.31, 4.372, 4.56, 4.906, 5.441, 6.193, 7.179, 8.42, 9.938, 11.74",\
                 "4.845, 4.906, 5.095, 5.441, 5.977, 6.727, 7.713, 8.956, 10.47, 12.28",\
                 "5.472, 5.533, 5.722, 6.068, 6.604, 7.354, 8.34, 9.581, 11.1, 12.9",\
                 "6.186, 6.248, 6.436, 6.782, 7.318, 8.069, 9.055, 10.3, 11.81, 13.62");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007339, 0.02959, 0.07209, 0.1383, 0.2312, 0.3534, 0.5074, 0.6954, 0.9195");
          values("0.2662, 0.3284, 0.502, 0.7758, 1.181, 1.76, 2.554, 3.585, 4.858, 6.385",\
                 "0.2662, 0.3284, 0.5028, 0.776, 1.181, 1.76, 2.554, 3.585, 4.858, 6.384",\
                 "0.2658, 0.3284, 0.502, 0.7758, 1.181, 1.76, 2.555, 3.584, 4.857, 6.384",\
                 "0.2662, 0.3286, 0.5018, 0.7762, 1.181, 1.76, 2.555, 3.584, 4.858, 6.381",\
                 "0.2668, 0.3294, 0.5022, 0.7752, 1.181, 1.76, 2.556, 3.584, 4.858, 6.385",\
                 "0.2686, 0.3308, 0.5034, 0.7766, 1.181, 1.763, 2.557, 3.585, 4.858, 6.384",\
                 "0.2696, 0.3322, 0.5044, 0.7784, 1.181, 1.761, 2.553, 3.582, 4.855, 6.387",\
                 "0.2718, 0.334, 0.507, 0.7796, 1.182, 1.764, 2.556, 3.584, 4.852, 6.378",\
                 "0.2758, 0.338, 0.5092, 0.7822, 1.185, 1.764, 2.556, 3.585, 4.85, 6.374",\
                 "0.2804, 0.342, 0.514, 0.786, 1.188, 1.766, 2.56, 3.586, 4.854, 6.378");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007339, 0.02959, 0.07209, 0.1383, 0.2312, 0.3534, 0.5074, 0.6954, 0.9195");
          values("0.2314, 0.3194, 0.6062, 1.179, 2.11, 3.431, 5.165, 7.348, 10.02, 13.21",\
                 "0.231, 0.3192, 0.6056, 1.18, 2.109, 3.426, 5.169, 7.348, 10.03, 13.21",\
                 "0.232, 0.3196, 0.606, 1.179, 2.109, 3.429, 5.166, 7.353, 10.03, 13.22",\
                 "0.232, 0.3194, 0.6062, 1.179, 2.11, 3.426, 5.168, 7.349, 10.02, 13.23",\
                 "0.2316, 0.3204, 0.606, 1.179, 2.11, 3.426, 5.17, 7.348, 10.03, 13.21",\
                 "0.2334, 0.3232, 0.6092, 1.18, 2.113, 3.427, 5.168, 7.355, 10.03, 13.21",\
                 "0.2372, 0.3268, 0.6104, 1.182, 2.11, 3.43, 5.163, 7.345, 10.01, 13.21",\
                 "0.2408, 0.33, 0.6146, 1.184, 2.114, 3.427, 5.167, 7.36, 10.01, 13.23",\
                 "0.246, 0.334, 0.62, 1.184, 2.112, 3.43, 5.164, 7.346, 10.01, 13.22",\
                 "0.25, 0.34, 0.622, 1.186, 2.116, 3.432, 5.158, 7.348, 10.02, 13.22");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007339, 0.02959, 0.07209, 0.1383, 0.2312, 0.3534, 0.5074, 0.6954, 0.9195");
          values("2.545, 2.615, 2.794, 3.048, 3.367, 3.769, 4.272, 4.894, 5.65, 6.551",\
                 "2.565, 2.634, 2.814, 3.067, 3.387, 3.788, 4.291, 4.914, 5.67, 6.57",\
                 "2.632, 2.702, 2.882, 3.135, 3.455, 3.856, 4.36, 4.982, 5.738, 6.639",\
                 "2.767, 2.837, 3.017, 3.27, 3.59, 3.991, 4.495, 5.117, 5.873, 6.773",\
                 "3.006, 3.075, 3.255, 3.508, 3.828, 4.23, 4.732, 5.355, 6.111, 7.011",\
                 "3.349, 3.418, 3.598, 3.851, 4.171, 4.573, 5.075, 5.698, 6.454, 7.355",\
                 "3.787, 3.857, 4.036, 4.29, 4.61, 5.011, 5.514, 6.137, 6.893, 7.794",\
                 "4.321, 4.39, 4.57, 4.823, 5.144, 5.545, 6.048, 6.671, 7.427, 8.328",\
                 "4.947, 5.016, 5.196, 5.449, 5.769, 6.171, 6.674, 7.296, 8.052, 8.952",\
                 "5.659, 5.729, 5.908, 6.161, 6.481, 6.883, 7.385, 8.008, 8.764, 9.665");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007339, 0.02959, 0.07209, 0.1383, 0.2312, 0.3534, 0.5074, 0.6954, 0.9195");
          values("2.238, 2.311, 2.519, 2.871, 3.408, 4.158, 5.144, 6.385, 7.9, 9.708",\
                 "2.262, 2.334, 2.542, 2.895, 3.432, 4.182, 5.168, 6.408, 7.923, 9.731",\
                 "2.337, 2.409, 2.617, 2.969, 3.506, 4.257, 5.242, 6.483, 7.998, 9.806",\
                 "2.427, 2.499, 2.707, 3.059, 3.596, 4.346, 5.332, 6.573, 8.088, 9.896",\
                 "2.478, 2.55, 2.758, 3.111, 3.647, 4.398, 5.384, 6.624, 8.139, 9.948",\
                 "2.484, 2.556, 2.764, 3.117, 3.654, 4.404, 5.39, 6.631, 8.146, 9.95",\
                 "2.424, 2.497, 2.705, 3.057, 3.594, 4.344, 5.33, 6.572, 8.087, 9.89",\
                 "2.299, 2.371, 2.579, 2.931, 3.468, 4.219, 5.204, 6.446, 7.96, 9.765",\
                 "2.106, 2.178, 2.386, 2.739, 3.275, 4.025, 5.012, 6.252, 7.766, 9.571",\
                 "1.842, 1.914, 2.122, 2.474, 3.012, 3.761, 4.748, 5.989, 7.503, 9.308");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007339, 0.02959, 0.07209, 0.1383, 0.2312, 0.3534, 0.5074, 0.6954, 0.9195");
          values("0.2646, 0.3266, 0.5006, 0.7738, 1.178, 1.76, 2.555, 3.583, 4.857, 6.386",\
                 "0.2646, 0.3266, 0.5, 0.773, 1.178, 1.759, 2.555, 3.582, 4.852, 6.385",\
                 "0.2646, 0.3266, 0.5002, 0.7746, 1.181, 1.762, 2.555, 3.584, 4.858, 6.385",\
                 "0.2646, 0.3264, 0.5, 0.7738, 1.178, 1.759, 2.555, 3.583, 4.857, 6.386",\
                 "0.2644, 0.3268, 0.5, 0.7734, 1.179, 1.762, 2.555, 3.579, 4.858, 6.379",\
                 "0.2648, 0.3266, 0.5012, 0.7734, 1.179, 1.759, 2.555, 3.582, 4.858, 6.385",\
                 "0.2644, 0.3268, 0.5012, 0.7758, 1.179, 1.761, 2.554, 3.58, 4.858, 6.384",\
                 "0.265, 0.3268, 0.501, 0.7742, 1.18, 1.758, 2.551, 3.582, 4.86, 6.384",\
                 "0.264, 0.328, 0.502, 0.774, 1.18, 1.758, 2.556, 3.578, 4.85, 6.376",\
                 "0.264, 0.328, 0.5, 0.776, 1.178, 1.762, 2.552, 3.578, 4.854, 6.378");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007339, 0.02959, 0.07209, 0.1383, 0.2312, 0.3534, 0.5074, 0.6954, 0.9195");
          values("0.2326, 0.3208, 0.6076, 1.18, 2.109, 3.43, 5.166, 7.349, 10.02, 13.21",\
                 "0.233, 0.3208, 0.6068, 1.179, 2.111, 3.427, 5.168, 7.349, 10.02, 13.23",\
                 "0.2336, 0.3208, 0.607, 1.179, 2.11, 3.43, 5.167, 7.348, 10.03, 13.2",\
                 "0.2334, 0.3206, 0.6072, 1.179, 2.111, 3.426, 5.167, 7.355, 10.02, 13.21",\
                 "0.2336, 0.322, 0.6068, 1.179, 2.11, 3.432, 5.17, 7.348, 10.02, 13.23",\
                 "0.2318, 0.3198, 0.6072, 1.181, 2.11, 3.43, 5.166, 7.348, 10.02, 13.21",\
                 "0.2318, 0.3196, 0.608, 1.18, 2.111, 3.429, 5.164, 7.347, 10.01, 13.21",\
                 "0.2316, 0.3196, 0.6066, 1.179, 2.111, 3.427, 5.16, 7.344, 10.03, 13.2",\
                 "0.2318, 0.32, 0.6082, 1.179, 2.109, 3.431, 5.167, 7.344, 10.02, 13.2",\
                 "0.232, 0.3202, 0.607, 1.18, 2.11, 3.43, 5.16, 7.348, 10.01, 13.19");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007339, 0.02959, 0.07209, 0.1383, 0.2312, 0.3534, 0.5074, 0.6954, 0.9195");
          values("2.255, 2.321, 2.494, 2.742, 3.058, 3.458, 3.959, 4.581, 5.337, 6.236",\
                 "2.278, 2.344, 2.517, 2.765, 3.082, 3.481, 3.982, 4.604, 5.36, 6.26",\
                 "2.358, 2.423, 2.597, 2.845, 3.161, 3.56, 4.062, 4.683, 5.439, 6.339",\
                 "2.541, 2.607, 2.781, 3.029, 3.345, 3.744, 4.246, 4.867, 5.623, 6.523",\
                 "2.852, 2.917, 3.091, 3.339, 3.655, 4.054, 4.556, 5.177, 5.933, 6.833",\
                 "3.25, 3.316, 3.489, 3.737, 4.053, 4.452, 4.953, 5.575, 6.331, 7.231",\
                 "3.702, 3.767, 3.941, 4.189, 4.505, 4.904, 5.406, 6.027, 6.783, 7.683",\
                 "4.218, 4.283, 4.457, 4.705, 5.021, 5.42, 5.921, 6.542, 7.298, 8.198",\
                 "4.804, 4.869, 5.043, 5.291, 5.607, 6.006, 6.507, 7.128, 7.884, 8.784",\
                 "5.462, 5.527, 5.701, 5.948, 6.264, 6.663, 7.164, 7.786, 8.541, 9.441");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007339, 0.02959, 0.07209, 0.1383, 0.2312, 0.3534, 0.5074, 0.6954, 0.9195");
          values("1.98, 2.042, 2.23, 2.576, 3.112, 3.863, 4.848, 6.091, 7.606, 9.416",\
                 "2.001, 2.063, 2.251, 2.597, 3.134, 3.884, 4.87, 6.112, 7.63, 9.437",\
                 "2.078, 2.14, 2.329, 2.675, 3.211, 3.961, 4.948, 6.19, 7.705, 9.514",\
                 "2.223, 2.285, 2.473, 2.819, 3.355, 4.106, 5.092, 6.333, 7.851, 9.653",\
                 "2.384, 2.445, 2.634, 2.98, 3.516, 4.267, 5.253, 6.495, 8.01, 9.819",\
                 "2.511, 2.573, 2.761, 3.107, 3.643, 4.394, 5.38, 6.622, 8.14, 9.943",\
                 "2.602, 2.663, 2.852, 3.198, 3.734, 4.484, 5.471, 6.713, 8.227, 10.04",\
                 "2.651, 2.712, 2.901, 3.247, 3.783, 4.534, 5.519, 6.76, 8.276, 10.08",\
                 "2.651, 2.713, 2.902, 3.248, 3.784, 4.534, 5.52, 6.761, 8.276, 10.08",\
                 "2.595, 2.657, 2.846, 3.192, 3.727, 4.478, 5.464, 6.705, 8.221, 10.02");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007339, 0.02959, 0.07209, 0.1383, 0.2312, 0.3534, 0.5074, 0.6954, 0.9195");
          values("0.2408, 0.3036, 0.4812, 0.7576, 1.166, 1.751, 2.547, 3.58, 4.855, 6.382",\
                 "0.2404, 0.303, 0.4808, 0.757, 1.164, 1.749, 2.549, 3.579, 4.854, 6.383",\
                 "0.2404, 0.3032, 0.4806, 0.757, 1.165, 1.752, 2.548, 3.579, 4.855, 6.382",\
                 "0.2408, 0.303, 0.4804, 0.7576, 1.164, 1.749, 2.549, 3.578, 4.854, 6.375",\
                 "0.2406, 0.3032, 0.4808, 0.7574, 1.166, 1.749, 2.548, 3.578, 4.851, 6.381",\
                 "0.2406, 0.303, 0.4808, 0.7568, 1.166, 1.749, 2.549, 3.575, 4.852, 6.383",\
                 "0.2402, 0.3034, 0.4808, 0.757, 1.166, 1.751, 2.548, 3.578, 4.852, 6.383",\
                 "0.2406, 0.3034, 0.4804, 0.757, 1.166, 1.748, 2.545, 3.578, 4.852, 6.384",\
                 "0.24, 0.304, 0.48, 0.758, 1.164, 1.748, 2.548, 3.574, 4.846, 6.376",\
                 "0.24, 0.304, 0.48, 0.756, 1.166, 1.748, 2.546, 3.578, 4.85, 6.374");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007339, 0.02959, 0.07209, 0.1383, 0.2312, 0.3534, 0.5074, 0.6954, 0.9195");
          values("0.1944, 0.2744, 0.5678, 1.162, 2.103, 3.422, 5.153, 7.351, 10.01, 13.2",\
                 "0.1944, 0.2744, 0.5676, 1.166, 2.105, 3.425, 5.153, 7.353, 10.02, 13.2",\
                 "0.195, 0.2754, 0.5674, 1.164, 2.102, 3.421, 5.155, 7.344, 10.01, 13.2",\
                 "0.195, 0.2744, 0.5674, 1.165, 2.103, 3.425, 5.156, 7.345, 10.02, 13.19",\
                 "0.1948, 0.2754, 0.5674, 1.164, 2.105, 3.425, 5.154, 7.352, 10.01, 13.2",\
                 "0.1948, 0.2752, 0.5678, 1.165, 2.1, 3.422, 5.154, 7.348, 10.03, 13.19",\
                 "0.1944, 0.2754, 0.5692, 1.164, 2.101, 3.422, 5.154, 7.344, 10.02, 13.2",\
                 "0.1948, 0.2758, 0.5674, 1.164, 2.103, 3.418, 5.152, 7.351, 10, 13.19",\
                 "0.1956, 0.276, 0.5678, 1.164, 2.101, 3.419, 5.152, 7.338, 10.02, 13.2",\
                 "0.196, 0.276, 0.568, 1.162, 2.104, 3.418, 5.16, 7.338, 10.01, 13.19");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007339, 0.02959, 0.07209, 0.1383, 0.2312, 0.3534, 0.5074, 0.6954, 0.9195");
          values("2.545, 2.615, 2.794, 3.048, 3.367, 3.769, 4.272, 4.894, 5.65, 6.551",\
                 "2.565, 2.634, 2.814, 3.067, 3.387, 3.788, 4.291, 4.914, 5.67, 6.57",\
                 "2.632, 2.702, 2.882, 3.135, 3.455, 3.856, 4.36, 4.982, 5.738, 6.639",\
                 "2.767, 2.837, 3.017, 3.27, 3.59, 3.991, 4.495, 5.117, 5.873, 6.773",\
                 "3.006, 3.075, 3.255, 3.508, 3.828, 4.23, 4.732, 5.355, 6.111, 7.011",\
                 "3.349, 3.418, 3.598, 3.851, 4.171, 4.573, 5.075, 5.698, 6.454, 7.355",\
                 "3.787, 3.857, 4.036, 4.29, 4.61, 5.011, 5.514, 6.137, 6.893, 7.794",\
                 "4.321, 4.39, 4.57, 4.823, 5.144, 5.545, 6.048, 6.671, 7.427, 8.328",\
                 "4.947, 5.016, 5.196, 5.449, 5.769, 6.171, 6.674, 7.296, 8.052, 8.952",\
                 "5.659, 5.729, 5.908, 6.161, 6.481, 6.883, 7.385, 8.008, 8.764, 9.665");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007339, 0.02959, 0.07209, 0.1383, 0.2312, 0.3534, 0.5074, 0.6954, 0.9195");
          values("1.98, 2.042, 2.23, 2.576, 3.112, 3.863, 4.848, 6.091, 7.606, 9.416",\
                 "2.001, 2.063, 2.251, 2.597, 3.134, 3.884, 4.87, 6.112, 7.63, 9.437",\
                 "2.078, 2.14, 2.329, 2.675, 3.211, 3.961, 4.948, 6.19, 7.705, 9.514",\
                 "2.223, 2.285, 2.473, 2.819, 3.355, 4.106, 5.092, 6.333, 7.851, 9.653",\
                 "2.384, 2.445, 2.634, 2.98, 3.516, 4.267, 5.253, 6.495, 8.01, 9.819",\
                 "2.511, 2.573, 2.761, 3.107, 3.643, 4.394, 5.38, 6.622, 8.14, 9.943",\
                 "2.602, 2.663, 2.852, 3.198, 3.734, 4.484, 5.471, 6.713, 8.227, 10.04",\
                 "2.651, 2.712, 2.901, 3.247, 3.783, 4.534, 5.519, 6.76, 8.276, 10.08",\
                 "2.651, 2.713, 2.902, 3.248, 3.784, 4.534, 5.52, 6.761, 8.276, 10.08",\
                 "2.595, 2.657, 2.846, 3.192, 3.727, 4.478, 5.464, 6.705, 8.221, 10.02");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007339, 0.02959, 0.07209, 0.1383, 0.2312, 0.3534, 0.5074, 0.6954, 0.9195");
          values("0.2646, 0.3266, 0.5006, 0.7738, 1.178, 1.76, 2.555, 3.583, 4.857, 6.386",\
                 "0.2646, 0.3266, 0.5, 0.773, 1.178, 1.759, 2.555, 3.582, 4.852, 6.385",\
                 "0.2646, 0.3266, 0.5002, 0.7746, 1.181, 1.762, 2.555, 3.584, 4.858, 6.385",\
                 "0.2646, 0.3264, 0.5, 0.7738, 1.178, 1.759, 2.555, 3.583, 4.857, 6.386",\
                 "0.2644, 0.3268, 0.5, 0.7734, 1.179, 1.762, 2.555, 3.579, 4.858, 6.379",\
                 "0.2648, 0.3266, 0.5012, 0.7734, 1.179, 1.759, 2.555, 3.582, 4.858, 6.385",\
                 "0.2644, 0.3268, 0.5012, 0.7758, 1.179, 1.761, 2.554, 3.58, 4.858, 6.384",\
                 "0.265, 0.3268, 0.501, 0.7742, 1.18, 1.758, 2.551, 3.582, 4.86, 6.384",\
                 "0.264, 0.328, 0.502, 0.774, 1.18, 1.758, 2.556, 3.578, 4.85, 6.376",\
                 "0.264, 0.328, 0.5, 0.776, 1.178, 1.762, 2.552, 3.578, 4.854, 6.378");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007339, 0.02959, 0.07209, 0.1383, 0.2312, 0.3534, 0.5074, 0.6954, 0.9195");
          values("0.2326, 0.3208, 0.6076, 1.18, 2.109, 3.43, 5.166, 7.349, 10.02, 13.21",\
                 "0.233, 0.3208, 0.6068, 1.179, 2.111, 3.427, 5.168, 7.349, 10.02, 13.23",\
                 "0.2336, 0.3208, 0.607, 1.179, 2.11, 3.43, 5.167, 7.348, 10.03, 13.2",\
                 "0.2334, 0.3206, 0.6072, 1.179, 2.111, 3.426, 5.167, 7.355, 10.02, 13.21",\
                 "0.2336, 0.322, 0.6068, 1.179, 2.11, 3.432, 5.17, 7.348, 10.02, 13.23",\
                 "0.2318, 0.3198, 0.6072, 1.181, 2.11, 3.43, 5.166, 7.348, 10.02, 13.21",\
                 "0.2318, 0.3196, 0.608, 1.18, 2.111, 3.429, 5.164, 7.347, 10.01, 13.21",\
                 "0.2316, 0.3196, 0.6066, 1.179, 2.111, 3.427, 5.16, 7.344, 10.03, 13.2",\
                 "0.2318, 0.32, 0.6082, 1.179, 2.109, 3.431, 5.167, 7.344, 10.02, 13.2",\
                 "0.232, 0.3202, 0.607, 1.18, 2.11, 3.43, 5.16, 7.348, 10.01, 13.19");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007339, 0.02959, 0.07209, 0.1383, 0.2312, 0.3534, 0.5074, 0.6954, 0.9195");
          values("2.646, 2.712, 2.886, 3.134, 3.45, 3.849, 4.35, 4.972, 5.728, 6.628",\
                 "2.671, 2.737, 2.91, 3.159, 3.475, 3.874, 4.375, 4.997, 5.753, 6.653",\
                 "2.75, 2.816, 2.989, 3.237, 3.554, 3.953, 4.454, 5.076, 5.832, 6.732",\
                 "2.839, 2.904, 3.078, 3.326, 3.642, 4.042, 4.543, 5.165, 5.921, 6.821",\
                 "2.88, 2.945, 3.119, 3.367, 3.683, 4.082, 4.584, 5.205, 5.961, 6.861",\
                 "2.864, 2.929, 3.103, 3.351, 3.668, 4.066, 4.568, 5.189, 5.945, 6.845",\
                 "2.78, 2.845, 3.019, 3.267, 3.583, 3.982, 4.484, 5.106, 5.862, 6.761",\
                 "2.62, 2.685, 2.859, 3.107, 3.424, 3.822, 4.324, 4.946, 5.701, 6.601",\
                 "2.378, 2.444, 2.618, 2.866, 3.182, 3.581, 4.083, 4.704, 5.46, 6.36",\
                 "2.052, 2.118, 2.291, 2.539, 2.855, 3.254, 3.755, 4.377, 5.133, 6.032");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007339, 0.02959, 0.07209, 0.1383, 0.2312, 0.3534, 0.5074, 0.6954, 0.9195");
          values("2.982, 3.044, 3.232, 3.578, 4.115, 4.865, 5.851, 7.093, 8.609, 10.41",\
                 "2.996, 3.057, 3.246, 3.592, 4.128, 4.878, 5.865, 7.108, 8.622, 10.43",\
                 "3.078, 3.139, 3.328, 3.674, 4.21, 4.96, 5.947, 7.19, 8.703, 10.51",\
                 "3.282, 3.344, 3.533, 3.879, 4.415, 5.166, 6.152, 7.394, 8.912, 10.72",\
                 "3.624, 3.686, 3.875, 4.22, 4.757, 5.507, 6.494, 7.736, 9.25, 11.06",\
                 "4.079, 4.14, 4.328, 4.674, 5.211, 5.961, 6.948, 8.189, 9.704, 11.51",\
                 "4.617, 4.679, 4.868, 5.214, 5.75, 6.5, 7.487, 8.729, 10.24, 12.05",\
                 "5.257, 5.318, 5.507, 5.853, 6.389, 7.14, 8.126, 9.369, 10.88, 12.69",\
                 "6.003, 6.064, 6.253, 6.599, 7.135, 7.885, 8.872, 10.11, 11.63, 13.43",\
                 "6.858, 6.919, 7.108, 7.453, 7.989, 8.74, 9.727, 10.97, 12.48, 14.29");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007339, 0.02959, 0.07209, 0.1383, 0.2312, 0.3534, 0.5074, 0.6954, 0.9195");
          values("0.241, 0.303, 0.48, 0.757, 1.166, 1.751, 2.549, 3.577, 4.855, 6.383",\
                 "0.2404, 0.303, 0.4804, 0.758, 1.168, 1.749, 2.549, 3.58, 4.855, 6.384",\
                 "0.241, 0.3028, 0.4806, 0.7568, 1.166, 1.75, 2.548, 3.577, 4.854, 6.379",\
                 "0.2404, 0.3034, 0.4804, 0.7578, 1.166, 1.749, 2.548, 3.578, 4.855, 6.377",\
                 "0.2406, 0.303, 0.48, 0.7578, 1.165, 1.752, 2.545, 3.58, 4.855, 6.384",\
                 "0.2404, 0.303, 0.4806, 0.757, 1.165, 1.75, 2.545, 3.576, 4.852, 6.38",\
                 "0.2404, 0.3034, 0.4806, 0.7564, 1.167, 1.75, 2.547, 3.575, 4.853, 6.382",\
                 "0.2408, 0.303, 0.4796, 0.7572, 1.165, 1.749, 2.547, 3.575, 4.846, 6.377",\
                 "0.2408, 0.3034, 0.4802, 0.757, 1.166, 1.749, 2.549, 3.578, 4.846, 6.37",\
                 "0.2412, 0.3028, 0.48, 0.758, 1.166, 1.75, 2.546, 3.58, 4.848, 6.372");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007339, 0.02959, 0.07209, 0.1383, 0.2312, 0.3534, 0.5074, 0.6954, 0.9195");
          values("0.195, 0.275, 0.569, 1.164, 2.101, 3.423, 5.154, 7.342, 10.01, 13.19",\
                 "0.1942, 0.2744, 0.568, 1.166, 2.101, 3.418, 5.155, 7.357, 10.01, 13.19",\
                 "0.195, 0.2752, 0.5686, 1.164, 2.102, 3.418, 5.156, 7.344, 10.01, 13.19",\
                 "0.1946, 0.275, 0.5672, 1.163, 2.105, 3.425, 5.156, 7.338, 10.02, 13.19",\
                 "0.194, 0.275, 0.5682, 1.163, 2.105, 3.42, 5.156, 7.354, 10.01, 13.2",\
                 "0.1944, 0.2752, 0.5672, 1.163, 2.105, 3.425, 5.153, 7.341, 10.01, 13.19",\
                 "0.1942, 0.2748, 0.5676, 1.164, 2.102, 3.42, 5.156, 7.344, 10.02, 13.2",\
                 "0.1952, 0.2748, 0.5682, 1.165, 2.102, 3.42, 5.156, 7.346, 10.01, 13.19",\
                 "0.194, 0.274, 0.568, 1.164, 2.102, 3.424, 5.162, 7.344, 10.02, 13.19",\
                 "0.194, 0.274, 0.568, 1.164, 2.104, 3.42, 5.154, 7.344, 10.03, 13.19");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007339, 0.02959, 0.07209, 0.1383, 0.2312, 0.3534, 0.5074, 0.6954, 0.9195");
          values("1.48, 1.55, 1.73, 1.983, 2.304, 2.705, 3.209, 3.831, 4.587, 5.487",\
                 "1.504, 1.573, 1.753, 2.006, 2.327, 2.729, 3.232, 3.854, 4.611, 5.51",\
                 "1.557, 1.626, 1.806, 2.059, 2.38, 2.782, 3.285, 3.907, 4.664, 5.563",\
                 "1.646, 1.716, 1.896, 2.149, 2.47, 2.872, 3.375, 3.997, 4.754, 5.654",\
                 "1.747, 1.816, 1.996, 2.25, 2.57, 2.972, 3.475, 4.098, 4.854, 5.754",\
                 "1.821, 1.891, 2.071, 2.325, 2.645, 3.047, 3.55, 4.173, 4.929, 5.829",\
                 "1.858, 1.928, 2.108, 2.362, 2.683, 3.085, 3.588, 4.21, 4.967, 5.867",\
                 "1.847, 1.917, 2.098, 2.352, 2.673, 3.075, 3.579, 4.201, 4.957, 5.857",\
                 "1.777, 1.848, 2.029, 2.285, 2.606, 3.009, 3.512, 4.135, 4.891, 5.791",\
                 "1.644, 1.715, 1.897, 2.152, 2.475, 2.878, 3.382, 4.005, 4.761, 5.661");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007339, 0.02959, 0.07209, 0.1383, 0.2312, 0.3534, 0.5074, 0.6954, 0.9195");
          values("1.825, 1.898, 2.106, 2.458, 2.995, 3.745, 4.731, 5.973, 7.487, 9.295",\
                 "1.843, 1.915, 2.123, 2.475, 3.012, 3.763, 4.748, 5.989, 7.504, 9.312",\
                 "1.928, 2.001, 2.209, 2.562, 3.098, 3.848, 4.834, 6.075, 7.591, 9.398",\
                 "2.117, 2.189, 2.397, 2.75, 3.286, 4.037, 5.022, 6.263, 7.778, 9.586",\
                 "2.432, 2.505, 2.713, 3.065, 3.602, 4.353, 5.338, 6.579, 8.095, 9.901",\
                 "2.863, 2.935, 3.143, 3.496, 4.032, 4.783, 5.768, 7.01, 8.523, 10.33",\
                 "3.358, 3.431, 3.641, 3.993, 4.53, 5.28, 6.266, 7.507, 9.021, 10.83",\
                 "3.922, 3.996, 4.206, 4.559, 5.095, 5.845, 6.83, 8.071, 9.586, 11.39",\
                 "4.564, 4.639, 4.851, 5.204, 5.738, 6.489, 7.474, 8.714, 10.23, 12.04",\
                 "5.292, 5.367, 5.579, 5.933, 6.468, 7.218, 8.204, 9.444, 10.96, 12.76");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007339, 0.02959, 0.07209, 0.1383, 0.2312, 0.3534, 0.5074, 0.6954, 0.9195");
          values("0.266, 0.3282, 0.5024, 0.7754, 1.181, 1.76, 2.555, 3.584, 4.858, 6.38",\
                 "0.266, 0.3284, 0.5016, 0.7758, 1.181, 1.76, 2.555, 3.585, 4.858, 6.383",\
                 "0.2662, 0.3284, 0.5022, 0.7758, 1.181, 1.76, 2.555, 3.584, 4.857, 6.384",\
                 "0.2662, 0.3286, 0.502, 0.7764, 1.18, 1.763, 2.556, 3.582, 4.856, 6.386",\
                 "0.2668, 0.329, 0.502, 0.7762, 1.181, 1.761, 2.556, 3.584, 4.858, 6.382",\
                 "0.268, 0.3306, 0.5032, 0.7756, 1.181, 1.761, 2.553, 3.584, 4.858, 6.378",\
                 "0.2698, 0.3318, 0.5044, 0.7772, 1.181, 1.761, 2.553, 3.58, 4.855, 6.381",\
                 "0.2732, 0.3346, 0.5068, 0.7792, 1.183, 1.762, 2.553, 3.58, 4.853, 6.378",\
                 "0.277, 0.3386, 0.5098, 0.7836, 1.185, 1.765, 2.556, 3.582, 4.851, 6.378",\
                 "0.2816, 0.343, 0.514, 0.787, 1.188, 1.77, 2.558, 3.586, 4.854, 6.376");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007339, 0.02959, 0.07209, 0.1383, 0.2312, 0.3534, 0.5074, 0.6954, 0.9195");
          values("0.2324, 0.3218, 0.6078, 1.179, 2.11, 3.426, 5.168, 7.348, 10.02, 13.21",\
                 "0.2334, 0.3206, 0.6068, 1.181, 2.109, 3.432, 5.168, 7.348, 10.02, 13.23",\
                 "0.2324, 0.3208, 0.6078, 1.179, 2.109, 3.429, 5.168, 7.347, 10.03, 13.21",\
                 "0.2334, 0.3206, 0.6084, 1.18, 2.11, 3.43, 5.168, 7.348, 10.02, 13.23",\
                 "0.2336, 0.3206, 0.6078, 1.18, 2.11, 3.43, 5.168, 7.347, 10.03, 13.19",\
                 "0.2346, 0.323, 0.6088, 1.18, 2.11, 3.432, 5.16, 7.348, 10.02, 13.22",\
                 "0.2388, 0.327, 0.6116, 1.181, 2.112, 3.43, 5.168, 7.351, 10.02, 13.22",\
                 "0.2428, 0.3312, 0.6164, 1.183, 2.109, 3.425, 5.164, 7.354, 10.02, 13.2",\
                 "0.246, 0.336, 0.618, 1.186, 2.116, 3.43, 5.164, 7.352, 10.03, 13.2",\
                 "0.252, 0.34, 0.624, 1.186, 2.116, 3.432, 5.162, 7.346, 10.02, 13.2");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007339, 0.02959, 0.07209, 0.1383, 0.2312, 0.3534, 0.5074, 0.6954, 0.9195");
          values("2.646, 2.712, 2.886, 3.134, 3.45, 3.849, 4.35, 4.972, 5.728, 6.628",\
                 "2.671, 2.737, 2.91, 3.159, 3.475, 3.874, 4.375, 4.997, 5.753, 6.653",\
                 "2.75, 2.816, 2.989, 3.237, 3.554, 3.953, 4.454, 5.076, 5.832, 6.732",\
                 "2.839, 2.904, 3.078, 3.326, 3.642, 4.042, 4.543, 5.165, 5.921, 6.821",\
                 "2.88, 2.945, 3.119, 3.367, 3.683, 4.082, 4.584, 5.205, 5.961, 6.861",\
                 "2.864, 2.929, 3.103, 3.351, 3.668, 4.066, 4.568, 5.189, 5.945, 6.845",\
                 "2.78, 2.845, 3.019, 3.267, 3.583, 3.982, 4.484, 5.106, 5.862, 6.761",\
                 "2.62, 2.685, 2.859, 3.107, 3.424, 3.822, 4.324, 4.946, 5.701, 6.601",\
                 "2.378, 2.444, 2.618, 2.866, 3.182, 3.581, 4.083, 4.704, 5.46, 6.36",\
                 "2.052, 2.118, 2.291, 2.539, 2.855, 3.254, 3.755, 4.377, 5.133, 6.032");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007339, 0.02959, 0.07209, 0.1383, 0.2312, 0.3534, 0.5074, 0.6954, 0.9195");
          values("2.982, 3.044, 3.232, 3.578, 4.115, 4.865, 5.851, 7.093, 8.609, 10.41",\
                 "2.996, 3.057, 3.246, 3.592, 4.128, 4.878, 5.865, 7.108, 8.622, 10.43",\
                 "3.078, 3.139, 3.328, 3.674, 4.21, 4.96, 5.947, 7.19, 8.703, 10.51",\
                 "3.282, 3.344, 3.533, 3.879, 4.415, 5.166, 6.152, 7.394, 8.912, 10.72",\
                 "3.624, 3.686, 3.875, 4.22, 4.757, 5.507, 6.494, 7.736, 9.25, 11.06",\
                 "4.079, 4.14, 4.328, 4.674, 5.211, 5.961, 6.948, 8.189, 9.704, 11.51",\
                 "4.617, 4.679, 4.868, 5.214, 5.75, 6.5, 7.487, 8.729, 10.24, 12.05",\
                 "5.257, 5.318, 5.507, 5.853, 6.389, 7.14, 8.126, 9.369, 10.88, 12.69",\
                 "6.003, 6.064, 6.253, 6.599, 7.135, 7.885, 8.872, 10.11, 11.63, 13.43",\
                 "6.858, 6.919, 7.108, 7.453, 7.989, 8.74, 9.727, 10.97, 12.48, 14.29");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007339, 0.02959, 0.07209, 0.1383, 0.2312, 0.3534, 0.5074, 0.6954, 0.9195");
          values("0.266, 0.3282, 0.5024, 0.7754, 1.181, 1.76, 2.555, 3.584, 4.858, 6.38",\
                 "0.266, 0.3284, 0.5016, 0.7758, 1.181, 1.76, 2.555, 3.585, 4.858, 6.383",\
                 "0.2662, 0.3284, 0.5022, 0.7758, 1.181, 1.76, 2.555, 3.584, 4.857, 6.384",\
                 "0.2662, 0.3286, 0.502, 0.7764, 1.18, 1.763, 2.556, 3.582, 4.856, 6.386",\
                 "0.2668, 0.329, 0.502, 0.7762, 1.181, 1.761, 2.556, 3.584, 4.858, 6.382",\
                 "0.268, 0.3306, 0.5032, 0.7756, 1.181, 1.761, 2.553, 3.584, 4.858, 6.378",\
                 "0.2698, 0.3318, 0.5044, 0.7772, 1.181, 1.761, 2.553, 3.58, 4.855, 6.381",\
                 "0.2732, 0.3346, 0.5068, 0.7792, 1.183, 1.762, 2.553, 3.58, 4.853, 6.378",\
                 "0.277, 0.3386, 0.5098, 0.7836, 1.185, 1.765, 2.556, 3.582, 4.851, 6.378",\
                 "0.2816, 0.343, 0.514, 0.787, 1.188, 1.77, 2.558, 3.586, 4.854, 6.376");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007339, 0.02959, 0.07209, 0.1383, 0.2312, 0.3534, 0.5074, 0.6954, 0.9195");
          values("0.2324, 0.3218, 0.6078, 1.179, 2.11, 3.426, 5.168, 7.348, 10.02, 13.21",\
                 "0.2334, 0.3206, 0.6068, 1.181, 2.109, 3.432, 5.168, 7.348, 10.02, 13.23",\
                 "0.2324, 0.3208, 0.6078, 1.179, 2.109, 3.429, 5.168, 7.347, 10.03, 13.21",\
                 "0.2334, 0.3206, 0.6084, 1.18, 2.11, 3.43, 5.168, 7.348, 10.02, 13.23",\
                 "0.2336, 0.3206, 0.6078, 1.18, 2.11, 3.43, 5.168, 7.347, 10.03, 13.19",\
                 "0.2346, 0.323, 0.6088, 1.18, 2.11, 3.432, 5.16, 7.348, 10.02, 13.22",\
                 "0.2388, 0.327, 0.6116, 1.181, 2.112, 3.43, 5.168, 7.351, 10.02, 13.22",\
                 "0.2428, 0.3312, 0.6164, 1.183, 2.109, 3.425, 5.164, 7.354, 10.02, 13.2",\
                 "0.246, 0.336, 0.618, 1.186, 2.116, 3.43, 5.164, 7.352, 10.03, 13.2",\
                 "0.252, 0.34, 0.624, 1.186, 2.116, 3.432, 5.162, 7.346, 10.02, 13.2");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007339, 0.02959, 0.07209, 0.1383, 0.2312, 0.3534, 0.5074, 0.6954, 0.9195");
          values("2.461, 2.53, 2.71, 2.964, 3.284, 3.685, 4.188, 4.811, 5.567, 6.468",\
                 "2.475, 2.545, 2.725, 2.977, 3.297, 3.699, 4.202, 4.824, 5.581, 6.481",\
                 "2.557, 2.626, 2.806, 3.059, 3.379, 3.78, 4.284, 4.906, 5.662, 6.563",\
                 "2.761, 2.831, 3.011, 3.264, 3.584, 3.985, 4.489, 5.111, 5.867, 6.767",\
                 "3.103, 3.173, 3.353, 3.606, 3.926, 4.328, 4.83, 5.453, 6.209, 7.109",\
                 "3.556, 3.625, 3.806, 4.059, 4.379, 4.781, 5.284, 5.906, 6.662, 7.563",\
                 "4.095, 4.165, 4.344, 4.597, 4.918, 5.319, 5.822, 6.445, 7.201, 8.102",\
                 "4.734, 4.803, 4.982, 5.235, 5.555, 5.957, 6.459, 7.082, 7.839, 8.739",\
                 "5.479, 5.547, 5.727, 5.981, 6.301, 6.703, 7.206, 7.828, 8.584, 9.484",\
                 "6.332, 6.403, 6.581, 6.835, 7.155, 7.557, 8.06, 8.683, 9.438, 10.34");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007339, 0.02959, 0.07209, 0.1383, 0.2312, 0.3534, 0.5074, 0.6954, 0.9195");
          values("2.098, 2.17, 2.378, 2.73, 3.267, 4.018, 5.004, 6.244, 7.759, 9.568",\
                 "2.123, 2.195, 2.403, 2.756, 3.292, 4.043, 5.029, 6.269, 7.784, 9.593",\
                 "2.202, 2.274, 2.482, 2.834, 3.371, 4.121, 5.108, 6.349, 7.864, 9.671",\
                 "2.291, 2.362, 2.57, 2.923, 3.46, 4.21, 5.196, 6.436, 7.951, 9.76",\
                 "2.331, 2.403, 2.611, 2.964, 3.501, 4.251, 5.237, 6.478, 7.993, 9.801",\
                 "2.315, 2.387, 2.595, 2.948, 3.485, 4.235, 5.221, 6.462, 7.978, 9.781",\
                 "2.231, 2.303, 2.512, 2.864, 3.401, 4.151, 5.136, 6.377, 7.893, 9.701",\
                 "2.071, 2.143, 2.351, 2.704, 3.241, 3.991, 4.976, 6.217, 7.731, 9.537",\
                 "1.831, 1.903, 2.111, 2.463, 2.999, 3.75, 4.736, 5.977, 7.491, 9.296",\
                 "1.505, 1.577, 1.784, 2.138, 2.674, 3.425, 4.41, 5.651, 7.165, 8.969");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007339, 0.02959, 0.07209, 0.1383, 0.2312, 0.3534, 0.5074, 0.6954, 0.9195");
          values("0.2644, 0.327, 0.5008, 0.7742, 1.178, 1.762, 2.555, 3.582, 4.858, 6.385",\
                 "0.2644, 0.3268, 0.4998, 0.774, 1.18, 1.762, 2.555, 3.584, 4.858, 6.385",\
                 "0.2646, 0.3266, 0.5002, 0.774, 1.178, 1.759, 2.553, 3.585, 4.858, 6.386",\
                 "0.2646, 0.3266, 0.5008, 0.7738, 1.179, 1.762, 2.555, 3.581, 4.852, 6.386",\
                 "0.2642, 0.3266, 0.5004, 0.7734, 1.179, 1.76, 2.555, 3.583, 4.854, 6.384",\
                 "0.2642, 0.3272, 0.5002, 0.7742, 1.178, 1.758, 2.554, 3.584, 4.858, 6.385",\
                 "0.2644, 0.3266, 0.5008, 0.7738, 1.18, 1.759, 2.555, 3.583, 4.853, 6.386",\
                 "0.265, 0.3268, 0.5006, 0.7754, 1.179, 1.759, 2.552, 3.582, 4.856, 6.386",\
                 "0.266, 0.326, 0.502, 0.774, 1.178, 1.76, 2.552, 3.582, 4.854, 6.382",\
                 "0.264, 0.326, 0.5, 0.774, 1.178, 1.76, 2.552, 3.582, 4.85, 6.372");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007339, 0.02959, 0.07209, 0.1383, 0.2312, 0.3534, 0.5074, 0.6954, 0.9195");
          values("0.232, 0.3192, 0.6068, 1.179, 2.109, 3.429, 5.17, 7.348, 10.03, 13.21",\
                 "0.232, 0.3198, 0.6062, 1.18, 2.11, 3.427, 5.169, 7.349, 10.02, 13.22",\
                 "0.2308, 0.3196, 0.6066, 1.18, 2.11, 3.426, 5.167, 7.344, 10.03, 13.22",\
                 "0.231, 0.32, 0.6054, 1.179, 2.109, 3.427, 5.162, 7.349, 10.02, 13.22",\
                 "0.2312, 0.3196, 0.606, 1.181, 2.111, 3.425, 5.17, 7.352, 10.03, 13.21",\
                 "0.231, 0.3202, 0.6052, 1.179, 2.109, 3.43, 5.17, 7.348, 10.01, 13.21",\
                 "0.2306, 0.3196, 0.6064, 1.178, 2.108, 3.426, 5.169, 7.349, 10.03, 13.21",\
                 "0.2312, 0.3198, 0.6064, 1.18, 2.11, 3.426, 5.158, 7.352, 10.01, 13.21",\
                 "0.2322, 0.3198, 0.6072, 1.179, 2.112, 3.426, 5.159, 7.344, 10.02, 13.2",\
                 "0.2316, 0.321, 0.6066, 1.18, 2.11, 3.428, 5.164, 7.348, 10.02, 13.19");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007339, 0.02959, 0.07209, 0.1383, 0.2312, 0.3534, 0.5074, 0.6954, 0.9195");
          values("2.373, 2.438, 2.612, 2.86, 3.176, 3.575, 4.077, 4.699, 5.455, 6.355",\
                 "2.39, 2.456, 2.629, 2.877, 3.193, 3.592, 4.094, 4.716, 5.472, 6.372",\
                 "2.476, 2.541, 2.715, 2.963, 3.279, 3.678, 4.18, 4.801, 5.557, 6.457",\
                 "2.665, 2.73, 2.904, 3.152, 3.468, 3.867, 4.368, 4.99, 5.746, 6.646",\
                 "2.98, 3.046, 3.22, 3.467, 3.784, 4.183, 4.684, 5.306, 6.061, 6.962",\
                 "3.402, 3.467, 3.641, 3.889, 4.205, 4.604, 5.105, 5.727, 6.483, 7.383",\
                 "3.886, 3.951, 4.125, 4.372, 4.689, 5.088, 5.589, 6.211, 6.967, 7.867",\
                 "4.437, 4.503, 4.676, 4.924, 5.24, 5.639, 6.141, 6.762, 7.518, 8.418",\
                 "5.068, 5.133, 5.306, 5.554, 5.871, 6.269, 6.77, 7.392, 8.147, 9.047",\
                 "5.781, 5.847, 6.019, 6.268, 6.584, 6.983, 7.484, 8.106, 8.861, 9.761");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007339, 0.02959, 0.07209, 0.1383, 0.2312, 0.3534, 0.5074, 0.6954, 0.9195");
          values("2.005, 2.066, 2.254, 2.6, 3.137, 3.887, 4.873, 6.116, 7.63, 9.439",\
                 "2.028, 2.09, 2.278, 2.624, 3.161, 3.911, 4.897, 6.14, 7.655, 9.464",\
                 "2.081, 2.142, 2.331, 2.677, 3.213, 3.964, 4.95, 6.191, 7.71, 9.516",\
                 "2.172, 2.234, 2.422, 2.768, 3.304, 4.054, 5.041, 6.283, 7.801, 9.605",\
                 "2.277, 2.339, 2.527, 2.873, 3.409, 4.16, 5.146, 6.388, 7.903, 9.71",\
                 "2.358, 2.419, 2.608, 2.954, 3.49, 4.24, 5.226, 6.469, 7.986, 9.793",\
                 "2.402, 2.464, 2.653, 2.999, 3.534, 4.285, 5.272, 6.513, 8.03, 9.838",\
                 "2.4, 2.462, 2.651, 2.996, 3.533, 4.284, 5.27, 6.511, 8.026, 9.834",\
                 "2.341, 2.403, 2.592, 2.937, 3.474, 4.224, 5.21, 6.45, 7.966, 9.771",\
                 "2.217, 2.279, 2.467, 2.813, 3.349, 4.1, 5.086, 6.328, 7.842, 9.647");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007339, 0.02959, 0.07209, 0.1383, 0.2312, 0.3534, 0.5074, 0.6954, 0.9195");
          values("0.241, 0.3028, 0.4804, 0.7578, 1.165, 1.75, 2.548, 3.58, 4.854, 6.38",\
                 "0.2406, 0.303, 0.4804, 0.7568, 1.165, 1.751, 2.549, 3.576, 4.85, 6.384",\
                 "0.2406, 0.303, 0.4806, 0.758, 1.166, 1.751, 2.549, 3.577, 4.851, 6.384",\
                 "0.2402, 0.303, 0.4802, 0.757, 1.166, 1.75, 2.549, 3.577, 4.855, 6.383",\
                 "0.2404, 0.3032, 0.481, 0.7582, 1.168, 1.75, 2.545, 3.58, 4.855, 6.382",\
                 "0.2406, 0.3032, 0.4808, 0.7582, 1.167, 1.751, 2.547, 3.578, 4.855, 6.38",\
                 "0.2408, 0.3026, 0.4808, 0.7576, 1.166, 1.751, 2.548, 3.579, 4.855, 6.382",\
                 "0.241, 0.3026, 0.4808, 0.7574, 1.165, 1.75, 2.545, 3.576, 4.854, 6.376",\
                 "0.24, 0.302, 0.478, 0.758, 1.166, 1.748, 2.548, 3.574, 4.846, 6.378",\
                 "0.24, 0.302, 0.48, 0.756, 1.164, 1.75, 2.546, 3.574, 4.85, 6.374");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007339, 0.02959, 0.07209, 0.1383, 0.2312, 0.3534, 0.5074, 0.6954, 0.9195");
          values("0.1948, 0.2752, 0.5684, 1.165, 2.101, 3.425, 5.156, 7.337, 10.01, 13.2",\
                 "0.195, 0.2744, 0.5686, 1.163, 2.101, 3.418, 5.156, 7.346, 10.01, 13.2",\
                 "0.1944, 0.2752, 0.5674, 1.163, 2.103, 3.425, 5.156, 7.349, 10.01, 13.2",\
                 "0.1954, 0.2754, 0.5684, 1.163, 2.105, 3.422, 5.155, 7.345, 10.03, 13.19",\
                 "0.1944, 0.2756, 0.5676, 1.163, 2.103, 3.425, 5.153, 7.339, 10.01, 13.19",\
                 "0.1948, 0.2758, 0.5672, 1.165, 2.103, 3.423, 5.152, 7.354, 10.02, 13.2",\
                 "0.1948, 0.2744, 0.569, 1.164, 2.101, 3.422, 5.154, 7.342, 10.01, 13.2",\
                 "0.195, 0.2758, 0.569, 1.164, 2.103, 3.419, 5.153, 7.339, 10.02, 13.19",\
                 "0.196, 0.276, 0.5684, 1.166, 2.102, 3.424, 5.156, 7.34, 10.01, 13.19",\
                 "0.196, 0.276, 0.57, 1.164, 2.104, 3.426, 5.158, 7.338, 10.01, 13.19");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007339, 0.02959, 0.07209, 0.1383, 0.2312, 0.3534, 0.5074, 0.6954, 0.9195");
          values("2.461, 2.53, 2.71, 2.964, 3.284, 3.685, 4.188, 4.811, 5.567, 6.468",\
                 "2.475, 2.545, 2.725, 2.977, 3.297, 3.699, 4.202, 4.824, 5.581, 6.481",\
                 "2.557, 2.626, 2.806, 3.059, 3.379, 3.78, 4.284, 4.906, 5.662, 6.563",\
                 "2.761, 2.831, 3.011, 3.264, 3.584, 3.985, 4.489, 5.111, 5.867, 6.767",\
                 "3.103, 3.173, 3.353, 3.606, 3.926, 4.328, 4.83, 5.453, 6.209, 7.109",\
                 "3.556, 3.625, 3.806, 4.059, 4.379, 4.781, 5.284, 5.906, 6.662, 7.563",\
                 "4.095, 4.165, 4.344, 4.597, 4.918, 5.319, 5.822, 6.445, 7.201, 8.102",\
                 "4.734, 4.803, 4.982, 5.235, 5.555, 5.957, 6.459, 7.082, 7.839, 8.739",\
                 "5.479, 5.547, 5.727, 5.981, 6.301, 6.703, 7.206, 7.828, 8.584, 9.484",\
                 "6.332, 6.403, 6.581, 6.835, 7.155, 7.557, 8.06, 8.683, 9.438, 10.34");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007339, 0.02959, 0.07209, 0.1383, 0.2312, 0.3534, 0.5074, 0.6954, 0.9195");
          values("2.005, 2.066, 2.254, 2.6, 3.137, 3.887, 4.873, 6.116, 7.63, 9.439",\
                 "2.028, 2.09, 2.278, 2.624, 3.161, 3.911, 4.897, 6.14, 7.655, 9.464",\
                 "2.081, 2.142, 2.331, 2.677, 3.213, 3.964, 4.95, 6.191, 7.71, 9.516",\
                 "2.172, 2.234, 2.422, 2.768, 3.304, 4.054, 5.041, 6.283, 7.801, 9.605",\
                 "2.277, 2.339, 2.527, 2.873, 3.409, 4.16, 5.146, 6.388, 7.903, 9.71",\
                 "2.358, 2.419, 2.608, 2.954, 3.49, 4.24, 5.226, 6.469, 7.986, 9.793",\
                 "2.402, 2.464, 2.653, 2.999, 3.534, 4.285, 5.272, 6.513, 8.03, 9.838",\
                 "2.4, 2.462, 2.651, 2.996, 3.533, 4.284, 5.27, 6.511, 8.026, 9.834",\
                 "2.341, 2.403, 2.592, 2.937, 3.474, 4.224, 5.21, 6.45, 7.966, 9.771",\
                 "2.217, 2.279, 2.467, 2.813, 3.349, 4.1, 5.086, 6.328, 7.842, 9.647");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007339, 0.02959, 0.07209, 0.1383, 0.2312, 0.3534, 0.5074, 0.6954, 0.9195");
          values("0.2644, 0.327, 0.5008, 0.7742, 1.178, 1.762, 2.555, 3.582, 4.858, 6.385",\
                 "0.2644, 0.3268, 0.4998, 0.774, 1.18, 1.762, 2.555, 3.584, 4.858, 6.385",\
                 "0.2646, 0.3266, 0.5002, 0.774, 1.178, 1.759, 2.553, 3.585, 4.858, 6.386",\
                 "0.2646, 0.3266, 0.5008, 0.7738, 1.179, 1.762, 2.555, 3.581, 4.852, 6.386",\
                 "0.2642, 0.3266, 0.5004, 0.7734, 1.179, 1.76, 2.555, 3.583, 4.854, 6.384",\
                 "0.2642, 0.3272, 0.5002, 0.7742, 1.178, 1.758, 2.554, 3.584, 4.858, 6.385",\
                 "0.2644, 0.3266, 0.5008, 0.7738, 1.18, 1.759, 2.555, 3.583, 4.853, 6.386",\
                 "0.265, 0.3268, 0.5006, 0.7754, 1.179, 1.759, 2.552, 3.582, 4.856, 6.386",\
                 "0.266, 0.326, 0.502, 0.774, 1.178, 1.76, 2.552, 3.582, 4.854, 6.382",\
                 "0.264, 0.326, 0.5, 0.774, 1.178, 1.76, 2.552, 3.582, 4.85, 6.372");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007339, 0.02959, 0.07209, 0.1383, 0.2312, 0.3534, 0.5074, 0.6954, 0.9195");
          values("0.232, 0.3192, 0.6068, 1.179, 2.109, 3.429, 5.17, 7.348, 10.03, 13.21",\
                 "0.232, 0.3198, 0.6062, 1.18, 2.11, 3.427, 5.169, 7.349, 10.02, 13.22",\
                 "0.2308, 0.3196, 0.6066, 1.18, 2.11, 3.426, 5.167, 7.344, 10.03, 13.22",\
                 "0.231, 0.32, 0.6054, 1.179, 2.109, 3.427, 5.162, 7.349, 10.02, 13.22",\
                 "0.2312, 0.3196, 0.606, 1.181, 2.111, 3.425, 5.17, 7.352, 10.03, 13.21",\
                 "0.231, 0.3202, 0.6052, 1.179, 2.109, 3.43, 5.17, 7.348, 10.01, 13.21",\
                 "0.2306, 0.3196, 0.6064, 1.178, 2.108, 3.426, 5.169, 7.349, 10.03, 13.21",\
                 "0.2312, 0.3198, 0.6064, 1.18, 2.11, 3.426, 5.158, 7.352, 10.01, 13.21",\
                 "0.2322, 0.3198, 0.6072, 1.179, 2.112, 3.426, 5.159, 7.344, 10.02, 13.2",\
                 "0.2316, 0.321, 0.6066, 1.18, 2.11, 3.428, 5.164, 7.348, 10.02, 13.19");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007339, 0.02959, 0.07209, 0.1383, 0.2312, 0.3534, 0.5074, 0.6954, 0.9195");
          values("1.225, 1.294, 1.474, 1.727, 2.047, 2.449, 2.952, 3.574, 4.33, 5.23",\
                 "1.249, 1.319, 1.499, 1.752, 2.072, 2.473, 2.976, 3.599, 4.355, 5.255",\
                 "1.327, 1.396, 1.576, 1.829, 2.149, 2.551, 3.054, 3.676, 4.432, 5.333",\
                 "1.422, 1.492, 1.671, 1.924, 2.245, 2.646, 3.149, 3.771, 4.528, 5.427",\
                 "1.497, 1.565, 1.743, 1.995, 2.314, 2.716, 3.219, 3.841, 4.597, 5.498",\
                 "1.533, 1.599, 1.774, 2.025, 2.344, 2.745, 3.248, 3.871, 4.628, 5.528",\
                 "1.518, 1.585, 1.76, 2.011, 2.33, 2.73, 3.233, 3.855, 4.612, 5.513",\
                 "1.455, 1.521, 1.697, 1.948, 2.267, 2.668, 3.17, 3.793, 4.549, 5.449",\
                 "1.341, 1.408, 1.583, 1.835, 2.155, 2.556, 3.058, 3.68, 4.436, 5.336",\
                 "1.172, 1.241, 1.416, 1.669, 1.989, 2.391, 2.893, 3.514, 4.269, 5.169");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007339, 0.02959, 0.07209, 0.1383, 0.2312, 0.3534, 0.5074, 0.6954, 0.9195");
          values("1.44, 1.501, 1.69, 2.036, 2.572, 3.322, 4.309, 5.551, 7.067, 8.876",\
                 "1.458, 1.519, 1.708, 2.054, 2.59, 3.341, 4.327, 5.569, 7.084, 8.891",\
                 "1.521, 1.582, 1.771, 2.116, 2.653, 3.404, 4.389, 5.632, 7.15, 8.956",\
                 "1.645, 1.707, 1.895, 2.241, 2.778, 3.528, 4.515, 5.755, 7.273, 9.081",\
                 "1.852, 1.914, 2.102, 2.448, 2.984, 3.735, 4.721, 5.963, 7.477, 9.286",\
                 "2.131, 2.193, 2.382, 2.728, 3.264, 4.014, 5, 6.243, 7.759, 9.567",\
                 "2.486, 2.548, 2.738, 3.083, 3.619, 4.369, 5.355, 6.597, 8.115, 9.92",\
                 "2.913, 2.976, 3.166, 3.512, 4.047, 4.798, 5.782, 7.024, 8.54, 10.35",\
                 "3.408, 3.473, 3.664, 4.008, 4.544, 5.294, 6.281, 7.521, 9.035, 10.84",\
                 "3.968, 4.033, 4.224, 4.57, 5.106, 5.856, 6.842, 8.083, 9.597, 11.4");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007339, 0.02959, 0.07209, 0.1383, 0.2312, 0.3534, 0.5074, 0.6954, 0.9195");
          values("0.2638, 0.326, 0.5, 0.7742, 1.179, 1.758, 2.554, 3.582, 4.857, 6.385",\
                 "0.264, 0.3262, 0.4998, 0.7732, 1.179, 1.76, 2.554, 3.582, 4.856, 6.386",\
                 "0.2636, 0.3262, 0.4998, 0.774, 1.179, 1.761, 2.555, 3.584, 4.858, 6.384",\
                 "0.264, 0.3264, 0.5006, 0.7748, 1.18, 1.761, 2.554, 3.582, 4.855, 6.384",\
                 "0.2548, 0.3172, 0.4936, 0.7704, 1.179, 1.758, 2.552, 3.583, 4.858, 6.382",\
                 "0.2476, 0.3104, 0.4886, 0.767, 1.173, 1.756, 2.555, 3.586, 4.856, 6.386",\
                 "0.2466, 0.3098, 0.4874, 0.7662, 1.174, 1.756, 2.552, 3.578, 4.853, 6.381",\
                 "0.2478, 0.3106, 0.4894, 0.7666, 1.174, 1.756, 2.55, 3.577, 4.849, 6.374",\
                 "0.2498, 0.3126, 0.4904, 0.769, 1.176, 1.756, 2.552, 3.578, 4.849, 6.375",\
                 "0.2528, 0.3154, 0.494, 0.7718, 1.177, 1.76, 2.548, 3.576, 4.848, 6.378");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007339, 0.02959, 0.07209, 0.1383, 0.2312, 0.3534, 0.5074, 0.6954, 0.9195");
          values("0.1946, 0.2754, 0.5674, 1.163, 2.105, 3.418, 5.156, 7.345, 10.01, 13.2",\
                 "0.194, 0.274, 0.5672, 1.164, 2.102, 3.425, 5.156, 7.341, 10.01, 13.19",\
                 "0.1944, 0.2752, 0.5674, 1.163, 2.101, 3.425, 5.155, 7.337, 10.02, 13.2",\
                 "0.1942, 0.2756, 0.5672, 1.164, 2.105, 3.424, 5.153, 7.345, 10.01, 13.2",\
                 "0.1956, 0.2764, 0.568, 1.166, 2.102, 3.422, 5.153, 7.339, 10.02, 13.2",\
                 "0.1982, 0.2788, 0.5688, 1.163, 2.104, 3.424, 5.154, 7.357, 10.01, 13.2",\
                 "0.2018, 0.2822, 0.57, 1.163, 2.101, 3.421, 5.155, 7.342, 10.03, 13.19",\
                 "0.2062, 0.2854, 0.5716, 1.167, 2.103, 3.418, 5.154, 7.347, 10.01, 13.19",\
                 "0.2096, 0.2894, 0.574, 1.167, 2.102, 3.42, 5.15, 7.338, 10.02, 13.19",\
                 "0.214, 0.294, 0.576, 1.168, 2.106, 3.422, 5.152, 7.338, 10, 13.21");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007339, 0.02959, 0.07209, 0.1383, 0.2312, 0.3534, 0.5074, 0.6954, 0.9195");
          values("1.227, 1.297, 1.477, 1.73, 2.051, 2.452, 2.955, 3.578, 4.334, 5.234",\
                 "1.252, 1.322, 1.501, 1.755, 2.075, 2.477, 2.98, 3.603, 4.358, 5.259",\
                 "1.33, 1.399, 1.579, 1.833, 2.153, 2.555, 3.058, 3.68, 4.436, 5.337",\
                 "1.426, 1.496, 1.675, 1.929, 2.249, 2.651, 3.154, 3.776, 4.533, 5.433",\
                 "1.501, 1.569, 1.747, 1.999, 2.319, 2.721, 3.224, 3.846, 4.603, 5.503",\
                 "1.538, 1.604, 1.78, 2.03, 2.35, 2.751, 3.254, 3.877, 4.634, 5.535",\
                 "1.523, 1.59, 1.766, 2.016, 2.335, 2.736, 3.239, 3.861, 4.617, 5.519",\
                 "1.459, 1.526, 1.702, 1.953, 2.272, 2.673, 3.176, 3.799, 4.554, 5.454",\
                 "1.345, 1.411, 1.588, 1.839, 2.159, 2.561, 3.063, 3.686, 4.441, 5.341",\
                 "1.177, 1.244, 1.421, 1.673, 1.994, 2.395, 2.897, 3.519, 4.273, 5.173");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007339, 0.02959, 0.07209, 0.1383, 0.2312, 0.3534, 0.5074, 0.6954, 0.9195");
          values("1.443, 1.505, 1.693, 2.039, 2.576, 3.326, 4.312, 5.555, 7.069, 8.878",\
                 "1.461, 1.523, 1.711, 2.057, 2.594, 3.344, 4.33, 5.572, 7.085, 8.897",\
                 "1.524, 1.586, 1.774, 2.12, 2.657, 3.407, 4.393, 5.636, 7.152, 8.957",\
                 "1.648, 1.709, 1.898, 2.244, 2.78, 3.53, 4.517, 5.76, 7.275, 9.081",\
                 "1.853, 1.915, 2.104, 2.45, 2.986, 3.736, 4.723, 5.963, 7.481, 9.284",\
                 "2.132, 2.194, 2.383, 2.728, 3.264, 4.015, 5.001, 6.244, 7.76, 9.563",\
                 "2.487, 2.55, 2.739, 3.085, 3.62, 4.37, 5.356, 6.599, 8.116, 9.922",\
                 "2.914, 2.977, 3.168, 3.513, 4.049, 4.798, 5.783, 7.024, 8.541, 10.35",\
                 "3.409, 3.473, 3.664, 4.009, 4.545, 5.295, 6.279, 7.521, 9.035, 10.84",\
                 "3.969, 4.034, 4.225, 4.57, 5.107, 5.856, 6.843, 8.084, 9.598, 11.4");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007339, 0.02959, 0.07209, 0.1383, 0.2312, 0.3534, 0.5074, 0.6954, 0.9195");
          values("0.265, 0.3268, 0.5006, 0.775, 1.18, 1.759, 2.555, 3.583, 4.859, 6.386",\
                 "0.2646, 0.327, 0.5004, 0.7736, 1.18, 1.76, 2.555, 3.582, 4.858, 6.384",\
                 "0.2644, 0.327, 0.5004, 0.7756, 1.18, 1.76, 2.555, 3.583, 4.859, 6.384",\
                 "0.2648, 0.3274, 0.5006, 0.775, 1.181, 1.761, 2.555, 3.582, 4.854, 6.385",\
                 "0.2558, 0.3182, 0.4946, 0.7712, 1.18, 1.759, 2.556, 3.583, 4.858, 6.382",\
                 "0.248, 0.3106, 0.4892, 0.7672, 1.174, 1.758, 2.557, 3.586, 4.858, 6.386",\
                 "0.2474, 0.31, 0.489, 0.7668, 1.174, 1.758, 2.551, 3.579, 4.856, 6.381",\
                 "0.2486, 0.3112, 0.4892, 0.7678, 1.174, 1.757, 2.555, 3.579, 4.848, 6.374",\
                 "0.2504, 0.313, 0.492, 0.7694, 1.176, 1.757, 2.553, 3.578, 4.848, 6.373",\
                 "0.2526, 0.3158, 0.4934, 0.7718, 1.177, 1.76, 2.552, 3.578, 4.848, 6.368");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007339, 0.02959, 0.07209, 0.1383, 0.2312, 0.3534, 0.5074, 0.6954, 0.9195");
          values("0.195, 0.2754, 0.5674, 1.163, 2.103, 3.421, 5.155, 7.343, 10.01, 13.2",\
                 "0.1948, 0.2744, 0.5674, 1.162, 2.102, 3.425, 5.155, 7.343, 10.01, 13.2",\
                 "0.1948, 0.2752, 0.568, 1.164, 2.101, 3.421, 5.154, 7.345, 10.01, 13.19",\
                 "0.1948, 0.2752, 0.5678, 1.163, 2.104, 3.42, 5.155, 7.357, 10.01, 13.19",\
                 "0.1962, 0.2764, 0.568, 1.163, 2.102, 3.421, 5.151, 7.344, 10.02, 13.19",\
                 "0.1996, 0.2788, 0.569, 1.163, 2.103, 3.425, 5.155, 7.345, 10.02, 13.19",\
                 "0.2026, 0.2812, 0.5704, 1.163, 2.1, 3.422, 5.154, 7.356, 10.02, 13.19",\
                 "0.2064, 0.2854, 0.5718, 1.167, 2.101, 3.416, 5.154, 7.347, 10.01, 13.2",\
                 "0.2108, 0.2896, 0.574, 1.167, 2.102, 3.42, 5.152, 7.336, 10.02, 13.19",\
                 "0.216, 0.294, 0.578, 1.17, 2.104, 3.422, 5.16, 7.342, 10, 13.19");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007339, 0.02959, 0.07209, 0.1383, 0.2312, 0.3534, 0.5074, 0.6954, 0.9195");
          values("1.227, 1.297, 1.477, 1.73, 2.051, 2.452, 2.955, 3.578, 4.334, 5.234",\
                 "1.252, 1.322, 1.501, 1.755, 2.075, 2.477, 2.98, 3.603, 4.358, 5.259",\
                 "1.33, 1.399, 1.579, 1.833, 2.153, 2.555, 3.058, 3.68, 4.436, 5.337",\
                 "1.426, 1.496, 1.675, 1.929, 2.249, 2.651, 3.154, 3.776, 4.533, 5.433",\
                 "1.501, 1.569, 1.747, 1.999, 2.319, 2.721, 3.224, 3.846, 4.603, 5.503",\
                 "1.538, 1.604, 1.78, 2.03, 2.35, 2.751, 3.254, 3.877, 4.634, 5.535",\
                 "1.523, 1.59, 1.766, 2.016, 2.335, 2.736, 3.239, 3.861, 4.617, 5.519",\
                 "1.459, 1.526, 1.702, 1.953, 2.272, 2.673, 3.176, 3.799, 4.554, 5.454",\
                 "1.345, 1.411, 1.588, 1.839, 2.159, 2.561, 3.063, 3.686, 4.441, 5.341",\
                 "1.177, 1.244, 1.421, 1.673, 1.994, 2.395, 2.897, 3.519, 4.273, 5.173");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007339, 0.02959, 0.07209, 0.1383, 0.2312, 0.3534, 0.5074, 0.6954, 0.9195");
          values("1.443, 1.505, 1.693, 2.039, 2.576, 3.326, 4.312, 5.555, 7.069, 8.878",\
                 "1.461, 1.523, 1.711, 2.057, 2.594, 3.344, 4.33, 5.572, 7.085, 8.897",\
                 "1.524, 1.586, 1.774, 2.12, 2.657, 3.407, 4.393, 5.636, 7.152, 8.957",\
                 "1.648, 1.709, 1.898, 2.244, 2.78, 3.53, 4.517, 5.76, 7.275, 9.081",\
                 "1.853, 1.915, 2.104, 2.45, 2.986, 3.736, 4.723, 5.963, 7.481, 9.284",\
                 "2.132, 2.194, 2.383, 2.728, 3.264, 4.015, 5.001, 6.244, 7.76, 9.563",\
                 "2.487, 2.55, 2.739, 3.085, 3.62, 4.37, 5.356, 6.599, 8.116, 9.922",\
                 "2.914, 2.977, 3.168, 3.513, 4.049, 4.798, 5.783, 7.024, 8.541, 10.35",\
                 "3.409, 3.473, 3.664, 4.009, 4.545, 5.295, 6.279, 7.521, 9.035, 10.84",\
                 "3.969, 4.034, 4.225, 4.57, 5.107, 5.856, 6.843, 8.084, 9.598, 11.4");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007339, 0.02959, 0.07209, 0.1383, 0.2312, 0.3534, 0.5074, 0.6954, 0.9195");
          values("0.2638, 0.326, 0.5, 0.7742, 1.179, 1.758, 2.554, 3.582, 4.857, 6.385",\
                 "0.264, 0.3262, 0.4998, 0.7732, 1.179, 1.76, 2.554, 3.582, 4.856, 6.386",\
                 "0.2636, 0.3262, 0.4998, 0.774, 1.179, 1.761, 2.555, 3.584, 4.858, 6.384",\
                 "0.264, 0.3264, 0.5006, 0.7748, 1.18, 1.761, 2.554, 3.582, 4.855, 6.384",\
                 "0.2548, 0.3172, 0.4936, 0.7704, 1.179, 1.758, 2.552, 3.583, 4.858, 6.382",\
                 "0.2476, 0.3104, 0.4886, 0.767, 1.173, 1.756, 2.555, 3.586, 4.856, 6.386",\
                 "0.2466, 0.3098, 0.4874, 0.7662, 1.174, 1.756, 2.552, 3.578, 4.853, 6.381",\
                 "0.2478, 0.3106, 0.4894, 0.7666, 1.174, 1.756, 2.55, 3.577, 4.849, 6.374",\
                 "0.2498, 0.3126, 0.4904, 0.769, 1.176, 1.756, 2.552, 3.578, 4.849, 6.375",\
                 "0.2528, 0.3154, 0.494, 0.7718, 1.177, 1.76, 2.548, 3.576, 4.848, 6.378");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007339, 0.02959, 0.07209, 0.1383, 0.2312, 0.3534, 0.5074, 0.6954, 0.9195");
          values("0.1946, 0.2754, 0.5674, 1.163, 2.105, 3.418, 5.156, 7.345, 10.01, 13.2",\
                 "0.194, 0.274, 0.5672, 1.164, 2.102, 3.425, 5.156, 7.341, 10.01, 13.19",\
                 "0.1944, 0.2752, 0.5674, 1.163, 2.101, 3.425, 5.155, 7.337, 10.02, 13.2",\
                 "0.1942, 0.2756, 0.5672, 1.164, 2.105, 3.424, 5.153, 7.345, 10.01, 13.2",\
                 "0.1956, 0.2764, 0.568, 1.166, 2.102, 3.422, 5.153, 7.339, 10.02, 13.2",\
                 "0.1982, 0.2788, 0.5688, 1.163, 2.104, 3.424, 5.154, 7.357, 10.01, 13.2",\
                 "0.2018, 0.2822, 0.57, 1.163, 2.101, 3.421, 5.155, 7.342, 10.03, 13.19",\
                 "0.2062, 0.2854, 0.5716, 1.167, 2.103, 3.418, 5.154, 7.347, 10.01, 13.19",\
                 "0.2096, 0.2894, 0.574, 1.167, 2.102, 3.42, 5.15, 7.338, 10.02, 13.19",\
                 "0.214, 0.294, 0.576, 1.168, 2.106, 3.422, 5.152, 7.338, 10, 13.21");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007339, 0.02959, 0.07209, 0.1383, 0.2312, 0.3534, 0.5074, 0.6954, 0.9195");
          values("0.7491, 0.8149, 0.9889, 1.237, 1.554, 1.953, 2.455, 3.076, 3.832, 4.733",\
                 "0.7673, 0.8331, 1.007, 1.256, 1.572, 1.971, 2.473, 3.095, 3.851, 4.751",\
                 "0.846, 0.9117, 1.085, 1.334, 1.65, 2.05, 2.551, 3.173, 3.929, 4.829",\
                 "1.036, 1.101, 1.275, 1.523, 1.839, 2.238, 2.74, 3.362, 4.118, 5.018",\
                 "1.32, 1.388, 1.565, 1.816, 2.134, 2.534, 3.035, 3.657, 4.413, 5.313",\
                 "1.649, 1.721, 1.905, 2.165, 2.49, 2.895, 3.398, 4.02, 4.776, 5.676",\
                 "2.033, 2.11, 2.303, 2.57, 2.9, 3.309, 3.817, 4.442, 5.197, 6.096",\
                 "2.48, 2.561, 2.766, 3.041, 3.378, 3.79, 4.298, 4.924, 5.683, 6.584",\
                 "2.988, 3.075, 3.292, 3.58, 3.926, 4.343, 4.855, 5.48, 6.239, 7.141",\
                 "3.56, 3.652, 3.882, 4.185, 4.543, 4.97, 5.486, 6.114, 6.873, 7.773");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007339, 0.02959, 0.07209, 0.1383, 0.2312, 0.3534, 0.5074, 0.6954, 0.9195");
          values("0.4915, 0.5593, 0.7614, 1.113, 1.649, 2.401, 3.387, 4.629, 6.143, 7.953",\
                 "0.5131, 0.5812, 0.7831, 1.135, 1.671, 2.423, 3.408, 4.649, 6.163, 7.975",\
                 "0.5914, 0.6592, 0.8605, 1.211, 1.748, 2.5, 3.486, 4.726, 6.242, 8.052",\
                 "0.7102, 0.7796, 0.9821, 1.332, 1.868, 2.619, 3.605, 4.848, 6.365, 8.169",\
                 "0.8025, 0.8739, 1.08, 1.432, 1.969, 2.718, 3.705, 4.945, 6.464, 8.269",\
                 "0.8609, 0.936, 1.147, 1.498, 2.033, 2.784, 3.77, 5.013, 6.529, 8.331",\
                 "0.8786, 0.9575, 1.176, 1.53, 2.063, 2.813, 3.8, 5.041, 6.558, 8.367",\
                 "0.8495, 0.9329, 1.162, 1.522, 2.058, 2.804, 3.79, 5.031, 6.546, 8.35",\
                 "0.7681, 0.857, 1.097, 1.467, 2.006, 2.756, 3.74, 4.981, 6.495, 8.301",\
                 "0.6318, 0.7249, 0.9783, 1.357, 1.903, 2.659, 3.647, 4.887, 6.401, 8.207");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007339, 0.02959, 0.07209, 0.1383, 0.2312, 0.3534, 0.5074, 0.6954, 0.9195");
          values("0.2408, 0.3033, 0.4811, 0.7588, 1.168, 1.75, 2.55, 3.58, 4.856, 6.381",\
                 "0.241, 0.3036, 0.4811, 0.7588, 1.168, 1.75, 2.549, 3.58, 4.856, 6.382",\
                 "0.241, 0.303, 0.4814, 0.7584, 1.167, 1.752, 2.549, 3.578, 4.854, 6.382",\
                 "0.2414, 0.3038, 0.4822, 0.7578, 1.169, 1.752, 2.548, 3.581, 4.855, 6.381",\
                 "0.2678, 0.3278, 0.5014, 0.7732, 1.176, 1.754, 2.551, 3.581, 4.853, 6.382",\
                 "0.3026, 0.3638, 0.533, 0.804, 1.203, 1.774, 2.561, 3.581, 4.854, 6.384",\
                 "0.3364, 0.4002, 0.5676, 0.8334, 1.228, 1.794, 2.58, 3.598, 4.859, 6.385",\
                 "0.3728, 0.441, 0.6102, 0.869, 1.254, 1.813, 2.591, 3.608, 4.871, 6.39",\
                 "0.412, 0.4852, 0.6592, 0.9172, 1.292, 1.841, 2.604, 3.62, 4.878, 6.402",\
                 "0.456, 0.532, 0.716, 0.976, 1.344, 1.882, 2.634, 3.63, 4.886, 6.41");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007339, 0.02959, 0.07209, 0.1383, 0.2312, 0.3534, 0.5074, 0.6954, 0.9195");
          values("0.2083, 0.2946, 0.587, 1.171, 2.106, 3.425, 5.165, 7.353, 10.03, 13.21",\
                 "0.2088, 0.2943, 0.5866, 1.171, 2.106, 3.431, 5.162, 7.352, 10.02, 13.21",\
                 "0.2084, 0.2946, 0.587, 1.172, 2.11, 3.427, 5.164, 7.348, 10.02, 13.22",\
                 "0.2196, 0.3056, 0.5934, 1.172, 2.11, 3.425, 5.165, 7.353, 10.03, 13.21",\
                 "0.2362, 0.324, 0.6084, 1.184, 2.113, 3.424, 5.165, 7.353, 10.03, 13.21",\
                 "0.2596, 0.3456, 0.6246, 1.189, 2.118, 3.432, 5.166, 7.351, 10.03, 13.2",\
                 "0.2882, 0.3762, 0.6504, 1.199, 2.121, 3.437, 5.169, 7.349, 10.04, 13.2",\
                 "0.3184, 0.4098, 0.6846, 1.221, 2.13, 3.442, 5.174, 7.357, 10.04, 13.2",\
                 "0.352, 0.446, 0.7228, 1.251, 2.155, 3.454, 5.177, 7.36, 10.03, 13.2",\
                 "0.387, 0.4828, 0.7674, 1.285, 2.185, 3.485, 5.202, 7.368, 10.03, 13.21");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007339, 0.02959, 0.07209, 0.1383, 0.2312, 0.3534, 0.5074, 0.6954, 0.9195");
          values("0.7491, 0.8148, 0.9889, 1.237, 1.554, 1.953, 2.455, 3.076, 3.832, 4.733",\
                 "0.7673, 0.8331, 1.007, 1.256, 1.572, 1.971, 2.473, 3.095, 3.851, 4.751",\
                 "0.8459, 0.9117, 1.085, 1.334, 1.65, 2.05, 2.551, 3.173, 3.929, 4.829",\
                 "1.036, 1.101, 1.274, 1.523, 1.839, 2.239, 2.74, 3.362, 4.118, 5.018",\
                 "1.32, 1.387, 1.565, 1.816, 2.134, 2.534, 3.035, 3.657, 4.413, 5.312",\
                 "1.649, 1.721, 1.905, 2.165, 2.49, 2.895, 3.398, 4.02, 4.776, 5.676",\
                 "2.033, 2.11, 2.303, 2.57, 2.9, 3.309, 3.817, 4.441, 5.197, 6.096",\
                 "2.48, 2.561, 2.766, 3.041, 3.378, 3.79, 4.298, 4.924, 5.682, 6.583",\
                 "2.988, 3.075, 3.292, 3.58, 3.926, 4.343, 4.854, 5.48, 6.238, 7.14",\
                 "3.561, 3.652, 3.882, 4.185, 4.544, 4.97, 5.486, 6.114, 6.873, 7.774");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007339, 0.02959, 0.07209, 0.1383, 0.2312, 0.3534, 0.5074, 0.6954, 0.9195");
          values("0.4915, 0.5593, 0.7614, 1.113, 1.649, 2.401, 3.387, 4.629, 6.143, 7.953",\
                 "0.5131, 0.5812, 0.7831, 1.135, 1.671, 2.423, 3.408, 4.649, 6.163, 7.975",\
                 "0.5914, 0.6593, 0.8605, 1.211, 1.749, 2.5, 3.487, 4.726, 6.243, 8.052",\
                 "0.7106, 0.7795, 0.982, 1.332, 1.868, 2.619, 3.605, 4.847, 6.365, 8.166",\
                 "0.8019, 0.8733, 1.08, 1.432, 1.968, 2.718, 3.705, 4.948, 6.464, 8.267",\
                 "0.8609, 0.9356, 1.146, 1.498, 2.033, 2.784, 3.77, 5.013, 6.526, 8.331",\
                 "0.8786, 0.9573, 1.176, 1.53, 2.063, 2.813, 3.8, 5.041, 6.558, 8.367",\
                 "0.8494, 0.9328, 1.163, 1.522, 2.058, 2.805, 3.79, 5.031, 6.546, 8.351",\
                 "0.7681, 0.857, 1.097, 1.466, 2.006, 2.756, 3.74, 4.981, 6.495, 8.301",\
                 "0.6318, 0.7249, 0.9783, 1.357, 1.903, 2.659, 3.647, 4.887, 6.401, 8.207");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007339, 0.02959, 0.07209, 0.1383, 0.2312, 0.3534, 0.5074, 0.6954, 0.9195");
          values("0.2406, 0.3034, 0.4811, 0.759, 1.166, 1.75, 2.55, 3.58, 4.856, 6.381",\
                 "0.241, 0.3036, 0.4811, 0.7588, 1.168, 1.75, 2.549, 3.58, 4.856, 6.382",\
                 "0.2406, 0.3032, 0.4814, 0.7576, 1.169, 1.751, 2.548, 3.578, 4.854, 6.382",\
                 "0.2414, 0.3042, 0.482, 0.758, 1.169, 1.753, 2.55, 3.581, 4.853, 6.384",\
                 "0.2684, 0.328, 0.5012, 0.7726, 1.176, 1.756, 2.551, 3.58, 4.855, 6.382",\
                 "0.3026, 0.3638, 0.533, 0.804, 1.203, 1.774, 2.561, 3.581, 4.854, 6.384",\
                 "0.3358, 0.4, 0.5674, 0.8352, 1.227, 1.796, 2.58, 3.598, 4.861, 6.385",\
                 "0.3728, 0.4406, 0.6098, 0.8692, 1.254, 1.813, 2.59, 3.608, 4.871, 6.392",\
                 "0.4122, 0.4842, 0.6594, 0.9166, 1.292, 1.84, 2.608, 3.618, 4.882, 6.402",\
                 "0.456, 0.534, 0.716, 0.974, 1.344, 1.882, 2.636, 3.632, 4.884, 6.4");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007339, 0.02959, 0.07209, 0.1383, 0.2312, 0.3534, 0.5074, 0.6954, 0.9195");
          values("0.2083, 0.2946, 0.587, 1.171, 2.106, 3.425, 5.165, 7.353, 10.03, 13.21",\
                 "0.2088, 0.2943, 0.5866, 1.171, 2.106, 3.431, 5.161, 7.352, 10.02, 13.21",\
                 "0.2084, 0.2943, 0.587, 1.172, 2.105, 3.427, 5.164, 7.348, 10.02, 13.21",\
                 "0.2194, 0.3056, 0.5934, 1.172, 2.11, 3.426, 5.165, 7.352, 10.02, 13.21",\
                 "0.2364, 0.3242, 0.6092, 1.184, 2.114, 3.426, 5.164, 7.349, 10.02, 13.2",\
                 "0.2596, 0.347, 0.6248, 1.189, 2.118, 3.432, 5.163, 7.352, 10.03, 13.2",\
                 "0.2882, 0.376, 0.6502, 1.199, 2.121, 3.437, 5.171, 7.349, 10.04, 13.2",\
                 "0.3196, 0.4094, 0.683, 1.221, 2.13, 3.444, 5.173, 7.356, 10.04, 13.2",\
                 "0.352, 0.4462, 0.7228, 1.251, 2.153, 3.454, 5.177, 7.36, 10.02, 13.23",\
                 "0.387, 0.4828, 0.7674, 1.286, 2.185, 3.485, 5.204, 7.368, 10.03, 13.21");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007339, 0.02959, 0.07209, 0.1383, 0.2312, 0.3534, 0.5074, 0.6954, 0.9195");
          values("0.7491, 0.8148, 0.9889, 1.237, 1.554, 1.953, 2.455, 3.076, 3.832, 4.733",\
                 "0.7673, 0.8331, 1.007, 1.256, 1.572, 1.971, 2.473, 3.095, 3.851, 4.751",\
                 "0.8459, 0.9117, 1.085, 1.334, 1.65, 2.05, 2.551, 3.173, 3.929, 4.829",\
                 "1.036, 1.101, 1.274, 1.523, 1.839, 2.239, 2.74, 3.362, 4.118, 5.018",\
                 "1.32, 1.387, 1.565, 1.816, 2.134, 2.534, 3.035, 3.657, 4.413, 5.312",\
                 "1.649, 1.721, 1.905, 2.165, 2.49, 2.895, 3.398, 4.02, 4.776, 5.676",\
                 "2.033, 2.11, 2.303, 2.57, 2.9, 3.309, 3.817, 4.441, 5.197, 6.096",\
                 "2.48, 2.561, 2.766, 3.041, 3.378, 3.79, 4.298, 4.924, 5.682, 6.583",\
                 "2.988, 3.075, 3.292, 3.58, 3.926, 4.343, 4.854, 5.48, 6.238, 7.14",\
                 "3.561, 3.652, 3.882, 4.185, 4.544, 4.97, 5.486, 6.114, 6.873, 7.774");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007339, 0.02959, 0.07209, 0.1383, 0.2312, 0.3534, 0.5074, 0.6954, 0.9195");
          values("0.4915, 0.5593, 0.7614, 1.113, 1.649, 2.401, 3.387, 4.629, 6.143, 7.953",\
                 "0.5131, 0.5812, 0.7831, 1.135, 1.671, 2.423, 3.408, 4.649, 6.163, 7.975",\
                 "0.5914, 0.6593, 0.8605, 1.211, 1.749, 2.5, 3.487, 4.726, 6.243, 8.052",\
                 "0.7106, 0.7795, 0.982, 1.332, 1.868, 2.619, 3.605, 4.847, 6.365, 8.166",\
                 "0.8019, 0.8733, 1.08, 1.432, 1.968, 2.718, 3.705, 4.948, 6.464, 8.267",\
                 "0.8609, 0.9356, 1.146, 1.498, 2.033, 2.784, 3.77, 5.013, 6.526, 8.331",\
                 "0.8786, 0.9573, 1.176, 1.53, 2.063, 2.813, 3.8, 5.041, 6.558, 8.367",\
                 "0.8494, 0.9328, 1.163, 1.522, 2.058, 2.805, 3.79, 5.031, 6.546, 8.351",\
                 "0.7681, 0.857, 1.097, 1.466, 2.006, 2.756, 3.74, 4.981, 6.495, 8.301",\
                 "0.6318, 0.7249, 0.9783, 1.357, 1.903, 2.659, 3.647, 4.887, 6.401, 8.207");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007339, 0.02959, 0.07209, 0.1383, 0.2312, 0.3534, 0.5074, 0.6954, 0.9195");
          values("0.2408, 0.3033, 0.4811, 0.7588, 1.168, 1.75, 2.55, 3.58, 4.856, 6.381",\
                 "0.241, 0.3036, 0.4811, 0.7588, 1.168, 1.75, 2.549, 3.58, 4.856, 6.382",\
                 "0.241, 0.303, 0.4814, 0.7584, 1.167, 1.752, 2.549, 3.578, 4.854, 6.382",\
                 "0.2414, 0.3038, 0.4822, 0.7578, 1.169, 1.752, 2.548, 3.581, 4.855, 6.381",\
                 "0.2678, 0.3278, 0.5014, 0.7732, 1.176, 1.754, 2.551, 3.581, 4.853, 6.382",\
                 "0.3026, 0.3638, 0.533, 0.804, 1.203, 1.774, 2.561, 3.581, 4.854, 6.384",\
                 "0.3364, 0.4002, 0.5676, 0.8334, 1.228, 1.794, 2.58, 3.598, 4.859, 6.385",\
                 "0.3728, 0.441, 0.6102, 0.869, 1.254, 1.813, 2.591, 3.608, 4.871, 6.39",\
                 "0.412, 0.4852, 0.6592, 0.9172, 1.292, 1.841, 2.604, 3.62, 4.878, 6.402",\
                 "0.456, 0.532, 0.716, 0.976, 1.344, 1.882, 2.634, 3.63, 4.886, 6.41");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007339, 0.02959, 0.07209, 0.1383, 0.2312, 0.3534, 0.5074, 0.6954, 0.9195");
          values("0.2083, 0.2946, 0.587, 1.171, 2.106, 3.425, 5.165, 7.353, 10.03, 13.21",\
                 "0.2088, 0.2943, 0.5866, 1.171, 2.106, 3.431, 5.161, 7.352, 10.02, 13.21",\
                 "0.2084, 0.2943, 0.587, 1.172, 2.105, 3.427, 5.164, 7.348, 10.02, 13.21",\
                 "0.2194, 0.3056, 0.5934, 1.172, 2.11, 3.426, 5.165, 7.352, 10.02, 13.21",\
                 "0.2364, 0.3242, 0.6092, 1.184, 2.114, 3.426, 5.164, 7.349, 10.02, 13.2",\
                 "0.2596, 0.347, 0.6248, 1.189, 2.118, 3.432, 5.163, 7.352, 10.03, 13.2",\
                 "0.2882, 0.376, 0.6502, 1.199, 2.121, 3.437, 5.171, 7.349, 10.04, 13.2",\
                 "0.3196, 0.4094, 0.683, 1.221, 2.13, 3.444, 5.173, 7.356, 10.04, 13.2",\
                 "0.352, 0.4462, 0.7228, 1.251, 2.153, 3.454, 5.177, 7.36, 10.02, 13.23",\
                 "0.387, 0.4828, 0.7674, 1.286, 2.185, 3.485, 5.204, 7.368, 10.03, 13.21");
        }
      }
    }
  }