  cell(gf180mcu_fd_sc_mcu9t5v0__xnor3_2) {
    area : 79.027200 ;

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

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

    leakage_power() {
      related_pg_pin : "VDD" ;
      when : "!A1&A2&!A3" ;
      value : "9.1827e-05" ;
    }

    leakage_power() {
      related_pg_pin : "VDD" ;
      when : "!A1&A2&A3" ;
      value : "9.1827e-05" ;
    }

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

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

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

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

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

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

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

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

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

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

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

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.008761, 0.03601, 0.08803, 0.1691, 0.2828, 0.4325, 0.621, 0.8512, 1.125");
          values("0.3102, 0.3093, 0.3093, 0.3106, 0.3114, 0.312, 0.3124, 0.3126, 0.3128, 0.3129",\
                 "0.3101, 0.3092, 0.309, 0.3105, 0.3114, 0.3119, 0.3123, 0.3125, 0.3126, 0.3127",\
                 "0.3089, 0.308, 0.3081, 0.3093, 0.3101, 0.3107, 0.3111, 0.3113, 0.3114, 0.3116",\
                 "0.3079, 0.3068, 0.3072, 0.3083, 0.309, 0.3096, 0.31, 0.3102, 0.3104, 0.3105",\
                 "0.3081, 0.3071, 0.3074, 0.3085, 0.3093, 0.3099, 0.3103, 0.3105, 0.3106, 0.3108",\
                 "0.31, 0.309, 0.3093, 0.3102, 0.3112, 0.3118, 0.3122, 0.3124, 0.3125, 0.3126",\
                 "0.3135, 0.3126, 0.3128, 0.314, 0.315, 0.3155, 0.3157, 0.316, 0.3161, 0.3162",\
                 "0.3189, 0.318, 0.3183, 0.3191, 0.3203, 0.3208, 0.3212, 0.3214, 0.3214, 0.3215",\
                 "0.3262, 0.3252, 0.3254, 0.3264, 0.3275, 0.328, 0.3284, 0.3285, 0.3287, 0.3288",\
                 "0.3354, 0.3345, 0.3345, 0.3358, 0.3368, 0.3373, 0.3376, 0.3378, 0.338, 0.3381");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.008761, 0.03601, 0.08803, 0.1691, 0.2828, 0.4325, 0.621, 0.8512, 1.125");
          values("0.2996, 0.2997, 0.3011, 0.3032, 0.3052, 0.3084, 0.3101, 0.3126, 0.3177, 0.3763",\
                 "0.2995, 0.2994, 0.3004, 0.3032, 0.3053, 0.3078, 0.3101, 0.3123, 0.3206, 0.3782",\
                 "0.2988, 0.299, 0.3, 0.3021, 0.3046, 0.3072, 0.3089, 0.3108, 0.3171, 0.3812",\
                 "0.2985, 0.2986, 0.2993, 0.3024, 0.3045, 0.3066, 0.3086, 0.3106, 0.3209, 0.3906",\
                 "0.2995, 0.2995, 0.3007, 0.3027, 0.3055, 0.3075, 0.3092, 0.3121, 0.3208, 0.4103",\
                 "0.3022, 0.3023, 0.3036, 0.3055, 0.3083, 0.3104, 0.3125, 0.3146, 0.3281, 0.4496",\
                 "0.3072, 0.3074, 0.308, 0.3111, 0.3134, 0.3157, 0.3173, 0.3202, 0.3447, 0.5113",\
                 "0.3141, 0.3141, 0.3148, 0.3173, 0.3205, 0.3229, 0.3248, 0.3279, 0.3695, 0.6305",\
                 "0.3232, 0.323, 0.3238, 0.3261, 0.3282, 0.3319, 0.3347, 0.3396, 0.4204, 0.8563",\
                 "0.3343, 0.3343, 0.3354, 0.3372, 0.3394, 0.3406, 0.3465, 0.3671, 0.5509, 1.275");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.008761, 0.03601, 0.08803, 0.1691, 0.2828, 0.4325, 0.621, 0.8512, 1.125");
          values("0.2695, 0.268, 0.2673, 0.2681, 0.2688, 0.2695, 0.2697, 0.27, 0.2702, 0.2703",\
                 "0.2693, 0.2676, 0.2671, 0.2677, 0.2685, 0.269, 0.2693, 0.2696, 0.2698, 0.2699",\
                 "0.2685, 0.267, 0.2663, 0.2672, 0.2679, 0.2684, 0.2687, 0.2689, 0.2691, 0.2692",\
                 "0.2681, 0.2666, 0.266, 0.2668, 0.2674, 0.268, 0.2683, 0.2685, 0.2687, 0.2688",\
                 "0.2692, 0.2675, 0.2668, 0.2674, 0.2684, 0.2689, 0.2693, 0.2695, 0.2696, 0.2697",\
                 "0.2721, 0.2704, 0.2698, 0.2705, 0.2712, 0.2717, 0.2722, 0.2724, 0.2725, 0.2726",\
                 "0.277, 0.2754, 0.2749, 0.2755, 0.2763, 0.2767, 0.2771, 0.2774, 0.2775, 0.2777",\
                 "0.284, 0.2824, 0.2817, 0.2823, 0.2832, 0.2837, 0.2841, 0.2843, 0.2845, 0.2846",\
                 "0.293, 0.2915, 0.2908, 0.2916, 0.2923, 0.2928, 0.2931, 0.2934, 0.2935, 0.2936",\
                 "0.3042, 0.3027, 0.3019, 0.3025, 0.3034, 0.304, 0.3043, 0.3045, 0.3047, 0.3048");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.008761, 0.03601, 0.08803, 0.1691, 0.2828, 0.4325, 0.621, 0.8512, 1.125");
          values("0.2433, 0.2428, 0.2433, 0.2451, 0.2479, 0.2503, 0.2524, 0.2552, 0.2594, 0.3102",\
                 "0.2431, 0.2429, 0.2433, 0.2454, 0.2477, 0.2502, 0.2524, 0.254, 0.2593, 0.3103",\
                 "0.242, 0.2417, 0.2421, 0.244, 0.2471, 0.2489, 0.2509, 0.2534, 0.2586, 0.313",\
                 "0.2409, 0.2406, 0.241, 0.2431, 0.2462, 0.2479, 0.25, 0.2519, 0.2578, 0.3195",\
                 "0.2411, 0.2408, 0.2411, 0.2431, 0.2464, 0.2482, 0.2506, 0.2522, 0.2593, 0.3314",\
                 "0.2429, 0.2429, 0.2429, 0.2454, 0.2477, 0.2499, 0.2518, 0.2537, 0.2633, 0.3549",\
                 "0.2467, 0.2462, 0.2466, 0.2483, 0.2517, 0.2544, 0.2551, 0.2586, 0.2701, 0.3861",\
                 "0.2519, 0.2516, 0.2521, 0.2542, 0.2555, 0.259, 0.2629, 0.2648, 0.2828, 0.4381",\
                 "0.2591, 0.2587, 0.2591, 0.2614, 0.2634, 0.265, 0.2677, 0.275, 0.3046, 0.5282",\
                 "0.2685, 0.2681, 0.2684, 0.2702, 0.2727, 0.2732, 0.2755, 0.283, 0.3434, 0.6844");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.008761, 0.03601, 0.08803, 0.1691, 0.2828, 0.4325, 0.621, 0.8512, 1.125");
          values("0.2957, 0.2948, 0.2951, 0.2963, 0.2972, 0.2977, 0.298, 0.2982, 0.2984, 0.2985",\
                 "0.2954, 0.2944, 0.2945, 0.2956, 0.2966, 0.2972, 0.2975, 0.2978, 0.2979, 0.298",\
                 "0.2942, 0.2932, 0.2934, 0.2944, 0.2955, 0.296, 0.2964, 0.2965, 0.2967, 0.2968",\
                 "0.2941, 0.2932, 0.2934, 0.2945, 0.2954, 0.2959, 0.2962, 0.2965, 0.2966, 0.2967",\
                 "0.2962, 0.2954, 0.2954, 0.2965, 0.2976, 0.2981, 0.2985, 0.2987, 0.2988, 0.2989",\
                 "0.3005, 0.2996, 0.2997, 0.3009, 0.3017, 0.3025, 0.3028, 0.303, 0.3031, 0.3032",\
                 "0.3067, 0.3058, 0.3059, 0.3072, 0.3079, 0.3085, 0.309, 0.3092, 0.3093, 0.3094",\
                 "0.3152, 0.3141, 0.3143, 0.3156, 0.3164, 0.317, 0.3173, 0.3175, 0.3177, 0.3178",\
                 "0.3256, 0.3246, 0.3247, 0.3259, 0.3269, 0.3274, 0.3277, 0.328, 0.3281, 0.3283",\
                 "0.3385, 0.3375, 0.3374, 0.3387, 0.3397, 0.3403, 0.3406, 0.3409, 0.3411, 0.3411");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.008761, 0.03601, 0.08803, 0.1691, 0.2828, 0.4325, 0.621, 0.8512, 1.125");
          values("0.2169, 0.217, 0.2181, 0.2202, 0.2228, 0.2254, 0.227, 0.2292, 0.2341, 0.282",\
                 "0.2168, 0.2167, 0.218, 0.22, 0.2228, 0.2252, 0.227, 0.2292, 0.2338, 0.2812",\
                 "0.2165, 0.2165, 0.2177, 0.2197, 0.2225, 0.2249, 0.2264, 0.2286, 0.2339, 0.2858",\
                 "0.2167, 0.2167, 0.2181, 0.22, 0.2226, 0.2251, 0.2273, 0.2304, 0.2346, 0.2931",\
                 "0.218, 0.2181, 0.2193, 0.2214, 0.2241, 0.2265, 0.2288, 0.2323, 0.2376, 0.3078",\
                 "0.2207, 0.2209, 0.2218, 0.2245, 0.2263, 0.2294, 0.2318, 0.2329, 0.2454, 0.3318",\
                 "0.2258, 0.2259, 0.2268, 0.2284, 0.2322, 0.2343, 0.2357, 0.2374, 0.2513, 0.3737",\
                 "0.2326, 0.2327, 0.2334, 0.2353, 0.2375, 0.2415, 0.2444, 0.2455, 0.2677, 0.4336",\
                 "0.2417, 0.2417, 0.2427, 0.2443, 0.2466, 0.2485, 0.2525, 0.2585, 0.2925, 0.5424",\
                 "0.2532, 0.2532, 0.2542, 0.2566, 0.2586, 0.2599, 0.2624, 0.271, 0.3419, 0.7308");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.008761, 0.03601, 0.08803, 0.1691, 0.2828, 0.4325, 0.621, 0.8512, 1.125");
          values("0.1871, 0.1855, 0.1848, 0.1853, 0.1861, 0.1866, 0.187, 0.1872, 0.1874, 0.1875",\
                 "0.1869, 0.1853, 0.1847, 0.1853, 0.1861, 0.1865, 0.1869, 0.1871, 0.1873, 0.1874",\
                 "0.1867, 0.1851, 0.1844, 0.1849, 0.1857, 0.1862, 0.1866, 0.1868, 0.187, 0.1871",\
                 "0.1868, 0.1852, 0.1845, 0.1849, 0.1858, 0.1864, 0.1868, 0.187, 0.1872, 0.1873",\
                 "0.1886, 0.1869, 0.186, 0.1865, 0.1874, 0.1879, 0.1883, 0.1886, 0.1888, 0.1889",\
                 "0.1919, 0.1901, 0.1891, 0.1896, 0.1903, 0.1909, 0.1913, 0.1916, 0.1918, 0.1919",\
                 "0.1975, 0.1958, 0.1949, 0.1951, 0.1959, 0.1965, 0.1969, 0.1972, 0.1974, 0.1975",\
                 "0.2055, 0.2036, 0.2022, 0.2025, 0.2032, 0.2039, 0.2043, 0.2047, 0.2048, 0.205",\
                 "0.2157, 0.2137, 0.2122, 0.2124, 0.2132, 0.2138, 0.2141, 0.2144, 0.2146, 0.2147",\
                 "0.2286, 0.2264, 0.2245, 0.2246, 0.2253, 0.2259, 0.2263, 0.2267, 0.2269, 0.227");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.008761, 0.03601, 0.08803, 0.1691, 0.2828, 0.4325, 0.621, 0.8512, 1.125");
          values("0.229, 0.2287, 0.2289, 0.2309, 0.2338, 0.2362, 0.2376, 0.2401, 0.2445, 0.2885",\
                 "0.2286, 0.2281, 0.2284, 0.2306, 0.2333, 0.2358, 0.2376, 0.2395, 0.245, 0.29",\
                 "0.2271, 0.2269, 0.2273, 0.2294, 0.2326, 0.2344, 0.2361, 0.2383, 0.2446, 0.2934",\
                 "0.2271, 0.2268, 0.2272, 0.2295, 0.2319, 0.2344, 0.2364, 0.2383, 0.244, 0.3012",\
                 "0.2294, 0.2289, 0.2293, 0.231, 0.2342, 0.236, 0.2379, 0.2404, 0.2485, 0.3191",\
                 "0.2344, 0.2343, 0.2343, 0.2356, 0.2387, 0.2407, 0.2427, 0.2446, 0.2545, 0.3509",\
                 "0.2419, 0.2412, 0.2409, 0.2425, 0.2455, 0.2474, 0.249, 0.2517, 0.2677, 0.4066",\
                 "0.2515, 0.2508, 0.2502, 0.2515, 0.2538, 0.2569, 0.2589, 0.2622, 0.2906, 0.5056",\
                 "0.2633, 0.2626, 0.2618, 0.2622, 0.2643, 0.2673, 0.2711, 0.2752, 0.3347, 0.6902",\
                 "0.2773, 0.2762, 0.2754, 0.2763, 0.2772, 0.2802, 0.2834, 0.2995, 0.4364, 1.044");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.008761, 0.03601, 0.08803, 0.1691, 0.2828, 0.4325, 0.621, 0.8512, 1.125");
          values("0.298, 0.297, 0.2972, 0.2984, 0.2992, 0.2998, 0.3002, 0.3005, 0.3006, 0.3007",\
                 "0.2981, 0.2972, 0.2971, 0.2986, 0.2995, 0.3001, 0.3004, 0.3006, 0.3007, 0.3009",\
                 "0.2977, 0.2968, 0.2969, 0.2982, 0.299, 0.2996, 0.3, 0.3002, 0.3004, 0.3005",\
                 "0.2977, 0.2968, 0.297, 0.2981, 0.2989, 0.2996, 0.2999, 0.3002, 0.3003, 0.3004",\
                 "0.2987, 0.2978, 0.2978, 0.2989, 0.3, 0.3005, 0.3009, 0.3011, 0.3012, 0.3013",\
                 "0.3007, 0.2997, 0.3001, 0.3011, 0.3019, 0.3027, 0.303, 0.3032, 0.3033, 0.3034",\
                 "0.3043, 0.3033, 0.3035, 0.3045, 0.3055, 0.3061, 0.3064, 0.3067, 0.3068, 0.3069",\
                 "0.3092, 0.3084, 0.3085, 0.3097, 0.3105, 0.311, 0.3114, 0.3116, 0.3117, 0.3118",\
                 "0.3157, 0.315, 0.3151, 0.3163, 0.317, 0.3176, 0.3179, 0.3181, 0.3183, 0.3184",\
                 "0.324, 0.323, 0.3232, 0.3244, 0.3253, 0.3258, 0.3261, 0.3263, 0.3265, 0.3265");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.008761, 0.03601, 0.08803, 0.1691, 0.2828, 0.4325, 0.621, 0.8512, 1.125");
          values("0.2956, 0.2956, 0.2966, 0.2987, 0.3014, 0.304, 0.3065, 0.3075, 0.3135, 0.3733",\
                 "0.2948, 0.295, 0.296, 0.2987, 0.3008, 0.303, 0.305, 0.3069, 0.314, 0.3763",\
                 "0.2944, 0.2944, 0.2954, 0.2979, 0.3005, 0.3025, 0.3044, 0.3063, 0.3127, 0.3797",\
                 "0.2949, 0.2949, 0.2962, 0.2988, 0.3011, 0.303, 0.305, 0.307, 0.3155, 0.3921",\
                 "0.2965, 0.2968, 0.2978, 0.3002, 0.3026, 0.3048, 0.3062, 0.3088, 0.3188, 0.4134",\
                 "0.2998, 0.2999, 0.3009, 0.3031, 0.3058, 0.3084, 0.3101, 0.3131, 0.3266, 0.4514",\
                 "0.3044, 0.3045, 0.3058, 0.3074, 0.3099, 0.3124, 0.3143, 0.3175, 0.3403, 0.525",\
                 "0.3106, 0.3106, 0.3116, 0.3144, 0.3171, 0.3184, 0.3212, 0.3244, 0.3694, 0.658",\
                 "0.3186, 0.3185, 0.3194, 0.3213, 0.3247, 0.3281, 0.3298, 0.3371, 0.428, 0.9085",\
                 "0.3285, 0.3288, 0.3296, 0.3318, 0.3335, 0.3363, 0.3416, 0.3678, 0.5833, 1.375");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.008761, 0.03601, 0.08803, 0.1691, 0.2828, 0.4325, 0.621, 0.8512, 1.125");
          values("0.2654, 0.2638, 0.2631, 0.2638, 0.2646, 0.2651, 0.2655, 0.2657, 0.2658, 0.266",\
                 "0.2646, 0.263, 0.2623, 0.2632, 0.2639, 0.2643, 0.2647, 0.2649, 0.2651, 0.2652",\
                 "0.2641, 0.2627, 0.2619, 0.2626, 0.2635, 0.2639, 0.2643, 0.2645, 0.2647, 0.2648",\
                 "0.2646, 0.263, 0.2623, 0.2631, 0.2639, 0.2643, 0.2648, 0.265, 0.2651, 0.2652",\
                 "0.2663, 0.2648, 0.2641, 0.2647, 0.2655, 0.2661, 0.2665, 0.2667, 0.2669, 0.267",\
                 "0.2696, 0.2679, 0.2674, 0.268, 0.2688, 0.2693, 0.2697, 0.27, 0.2701, 0.2702",\
                 "0.2743, 0.2726, 0.2721, 0.2726, 0.2734, 0.274, 0.2744, 0.2746, 0.2747, 0.2748",\
                 "0.2805, 0.2789, 0.2783, 0.2788, 0.2797, 0.2802, 0.2806, 0.2808, 0.281, 0.2811",\
                 "0.2884, 0.287, 0.2863, 0.2869, 0.2877, 0.2884, 0.2886, 0.2889, 0.289, 0.2891",\
                 "0.2985, 0.2968, 0.296, 0.2968, 0.2977, 0.2982, 0.2985, 0.2988, 0.2989, 0.299");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.008761, 0.03601, 0.08803, 0.1691, 0.2828, 0.4325, 0.621, 0.8512, 1.125");
          values("0.231, 0.2307, 0.2309, 0.2332, 0.2361, 0.2382, 0.2412, 0.2425, 0.247, 0.2949",\
                 "0.2311, 0.231, 0.2311, 0.2334, 0.2362, 0.2385, 0.2403, 0.2422, 0.2473, 0.2986",\
                 "0.2309, 0.2304, 0.2308, 0.2334, 0.2361, 0.2383, 0.2403, 0.2428, 0.248, 0.3016",\
                 "0.2308, 0.2307, 0.2312, 0.2334, 0.2362, 0.2383, 0.24, 0.2419, 0.2486, 0.3079",\
                 "0.2318, 0.2313, 0.2318, 0.2339, 0.2369, 0.2388, 0.2406, 0.2431, 0.2503, 0.319",\
                 "0.2337, 0.2334, 0.2337, 0.2364, 0.2387, 0.2411, 0.243, 0.2461, 0.255, 0.3412",\
                 "0.2372, 0.237, 0.2373, 0.239, 0.2426, 0.2452, 0.2466, 0.2486, 0.2611, 0.3706",\
                 "0.2422, 0.2418, 0.2421, 0.2444, 0.2461, 0.2494, 0.2538, 0.2544, 0.272, 0.4211",\
                 "0.2488, 0.2485, 0.2491, 0.2512, 0.2529, 0.2549, 0.258, 0.2634, 0.2916, 0.5024",\
                 "0.257, 0.257, 0.2571, 0.2589, 0.2612, 0.2633, 0.2651, 0.2704, 0.3266, 0.6467");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.008761, 0.03601, 0.08803, 0.1691, 0.2828, 0.4325, 0.621, 0.8512, 1.125");
          values("0.3037, 0.3028, 0.303, 0.3042, 0.305, 0.3054, 0.3058, 0.306, 0.3062, 0.3063",\
                 "0.3031, 0.3022, 0.3023, 0.3034, 0.3044, 0.3049, 0.3053, 0.3055, 0.3057, 0.3058",\
                 "0.3024, 0.3015, 0.3017, 0.3028, 0.3037, 0.3043, 0.3046, 0.3048, 0.305, 0.3051",\
                 "0.3028, 0.3018, 0.302, 0.303, 0.3041, 0.3046, 0.305, 0.3052, 0.3054, 0.3054",\
                 "0.3051, 0.304, 0.3042, 0.3053, 0.3063, 0.3069, 0.3072, 0.3074, 0.3076, 0.3076",\
                 "0.3095, 0.3084, 0.3086, 0.3099, 0.3107, 0.3113, 0.3116, 0.3119, 0.312, 0.3121",\
                 "0.3159, 0.3149, 0.3153, 0.3163, 0.3173, 0.3177, 0.3181, 0.3183, 0.3185, 0.3186",\
                 "0.3246, 0.3238, 0.3238, 0.3249, 0.3258, 0.3265, 0.3269, 0.327, 0.3271, 0.3272",\
                 "0.3355, 0.3346, 0.3347, 0.3358, 0.3368, 0.3374, 0.3377, 0.3379, 0.338, 0.3381",\
                 "0.3488, 0.3479, 0.3481, 0.3491, 0.3501, 0.3506, 0.3509, 0.3512, 0.3513, 0.3514");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.008761, 0.03601, 0.08803, 0.1691, 0.2828, 0.4325, 0.621, 0.8512, 1.125");
          values("0.2194, 0.2195, 0.2205, 0.2227, 0.2256, 0.2277, 0.2297, 0.2319, 0.2389, 0.2837",\
                 "0.2196, 0.2196, 0.2208, 0.2235, 0.2256, 0.2282, 0.2297, 0.2319, 0.2379, 0.2895",\
                 "0.2192, 0.2192, 0.2206, 0.223, 0.2252, 0.2274, 0.2294, 0.2322, 0.237, 0.2877",\
                 "0.2194, 0.2192, 0.2203, 0.2226, 0.2254, 0.2277, 0.2303, 0.2331, 0.2376, 0.2954",\
                 "0.2203, 0.2203, 0.2214, 0.2235, 0.2261, 0.2287, 0.2303, 0.2326, 0.2392, 0.3118",\
                 "0.2228, 0.223, 0.2239, 0.2263, 0.2288, 0.231, 0.2327, 0.235, 0.2452, 0.335",\
                 "0.2275, 0.2275, 0.2282, 0.2298, 0.2336, 0.2362, 0.2375, 0.2393, 0.2551, 0.3668",\
                 "0.2339, 0.2341, 0.2348, 0.2369, 0.2396, 0.2424, 0.2453, 0.2466, 0.2679, 0.4269",\
                 "0.2426, 0.2426, 0.2438, 0.2458, 0.2476, 0.2485, 0.254, 0.2587, 0.2908, 0.528",\
                 "0.254, 0.2541, 0.255, 0.2572, 0.2596, 0.2599, 0.2615, 0.2705, 0.3361, 0.7045");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.008761, 0.03601, 0.08803, 0.1691, 0.2828, 0.4325, 0.621, 0.8512, 1.125");
          values("0.1897, 0.188, 0.1874, 0.1878, 0.1887, 0.1892, 0.1896, 0.1898, 0.19, 0.1901",\
                 "0.1898, 0.1881, 0.1874, 0.1883, 0.189, 0.1894, 0.1898, 0.19, 0.1902, 0.1903",\
                 "0.1895, 0.1879, 0.1873, 0.1879, 0.1887, 0.1891, 0.1895, 0.1897, 0.1899, 0.19",\
                 "0.1895, 0.1878, 0.187, 0.1876, 0.1885, 0.1891, 0.1895, 0.1897, 0.1899, 0.19",\
                 "0.1908, 0.189, 0.1881, 0.1887, 0.1895, 0.1901, 0.1905, 0.1908, 0.191, 0.1911",\
                 "0.1937, 0.192, 0.1911, 0.1915, 0.1924, 0.1928, 0.1932, 0.1935, 0.1937, 0.1938",\
                 "0.1991, 0.1973, 0.196, 0.1965, 0.1972, 0.1978, 0.1982, 0.1984, 0.1986, 0.1988",\
                 "0.2065, 0.2046, 0.203, 0.2034, 0.2042, 0.2048, 0.2052, 0.2055, 0.2057, 0.2058",\
                 "0.2166, 0.2145, 0.2129, 0.2132, 0.2136, 0.2144, 0.2147, 0.215, 0.2152, 0.2153",\
                 "0.2289, 0.2266, 0.2249, 0.2249, 0.2256, 0.2261, 0.2265, 0.2268, 0.227, 0.2271");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.008761, 0.03601, 0.08803, 0.1691, 0.2828, 0.4325, 0.621, 0.8512, 1.125");
          values("0.2368, 0.2366, 0.2368, 0.2387, 0.2414, 0.2438, 0.2458, 0.2477, 0.2532, 0.2982",\
                 "0.2362, 0.236, 0.2365, 0.2382, 0.2412, 0.2435, 0.2455, 0.2471, 0.2532, 0.2985",\
                 "0.2356, 0.2354, 0.2356, 0.2376, 0.2407, 0.2425, 0.2446, 0.2465, 0.2528, 0.3014",\
                 "0.2359, 0.2355, 0.2358, 0.2378, 0.241, 0.2432, 0.2446, 0.2465, 0.2533, 0.3108",\
                 "0.2381, 0.2377, 0.238, 0.2399, 0.2429, 0.245, 0.2473, 0.2489, 0.2575, 0.3285",\
                 "0.2435, 0.243, 0.2433, 0.2447, 0.2474, 0.25, 0.2521, 0.2541, 0.2647, 0.3639",\
                 "0.2514, 0.2507, 0.2503, 0.252, 0.2549, 0.2569, 0.2587, 0.2611, 0.2785, 0.4225",\
                 "0.2613, 0.2603, 0.2602, 0.261, 0.2635, 0.2669, 0.2677, 0.2714, 0.304, 0.5258",\
                 "0.2735, 0.2725, 0.2716, 0.2724, 0.2743, 0.2775, 0.2811, 0.2851, 0.3491, 0.7233",\
                 "0.2879, 0.2868, 0.2859, 0.2867, 0.2884, 0.2901, 0.2939, 0.3107, 0.4594, 1.097");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.008761, 0.03601, 0.08803, 0.1691, 0.2828, 0.4325, 0.621, 0.8512, 1.125");
          values("0.1988, 0.1973, 0.1967, 0.1974, 0.1981, 0.1987, 0.1991, 0.1993, 0.1994, 0.1996",\
                 "0.1983, 0.1967, 0.1962, 0.1969, 0.1977, 0.1981, 0.1985, 0.1988, 0.1989, 0.199",\
                 "0.1955, 0.1938, 0.1933, 0.1941, 0.1949, 0.1953, 0.1956, 0.1958, 0.196, 0.1961",\
                 "0.1924, 0.1909, 0.1903, 0.1911, 0.1919, 0.1923, 0.1927, 0.1929, 0.1931, 0.1932",\
                 "0.1913, 0.1901, 0.1898, 0.1908, 0.1915, 0.1921, 0.1925, 0.1927, 0.1929, 0.1931",\
                 "0.1934, 0.1924, 0.1921, 0.1932, 0.1941, 0.1947, 0.1951, 0.1954, 0.1955, 0.1956",\
                 "0.1987, 0.1976, 0.1976, 0.1985, 0.1994, 0.2, 0.2005, 0.2007, 0.2009, 0.201",\
                 "0.2068, 0.2057, 0.2056, 0.2064, 0.2072, 0.2079, 0.2084, 0.2086, 0.2088, 0.2089",\
                 "0.218, 0.2167, 0.2164, 0.2173, 0.2182, 0.2189, 0.2193, 0.2195, 0.2197, 0.2199",\
                 "0.232, 0.2306, 0.2303, 0.2309, 0.232, 0.2326, 0.2332, 0.2333, 0.2334, 0.2336");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.008761, 0.03601, 0.08803, 0.1691, 0.2828, 0.4325, 0.621, 0.8512, 1.125");
          values("0.2305, 0.2305, 0.2316, 0.2338, 0.2364, 0.2389, 0.2411, 0.2433, 0.2493, 0.2887",\
                 "0.2297, 0.2297, 0.231, 0.2332, 0.2359, 0.2378, 0.2396, 0.2421, 0.2463, 0.288",\
                 "0.2282, 0.2281, 0.2294, 0.2317, 0.2342, 0.2365, 0.239, 0.2409, 0.245, 0.2909",\
                 "0.2265, 0.2265, 0.2276, 0.2299, 0.2323, 0.235, 0.2366, 0.2388, 0.2441, 0.2951",\
                 "0.2266, 0.2266, 0.2276, 0.2298, 0.2325, 0.235, 0.2372, 0.2403, 0.2484, 0.3081",\
                 "0.2307, 0.2306, 0.2311, 0.2341, 0.2363, 0.2388, 0.2405, 0.2443, 0.2538, 0.3349",\
                 "0.2379, 0.2375, 0.2384, 0.2395, 0.2436, 0.2456, 0.2471, 0.2497, 0.2631, 0.3794",\
                 "0.2479, 0.2476, 0.2482, 0.2496, 0.2519, 0.2556, 0.2582, 0.2584, 0.2843, 0.4638",\
                 "0.2613, 0.2609, 0.2612, 0.2628, 0.2646, 0.2666, 0.2717, 0.2762, 0.319, 0.6132",\
                 "0.278, 0.2774, 0.2772, 0.2787, 0.2811, 0.2817, 0.2848, 0.2977, 0.4001, 0.9068");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.008761, 0.03601, 0.08803, 0.1691, 0.2828, 0.4325, 0.621, 0.8512, 1.125");
          values("0.1732, 0.1723, 0.1725, 0.1738, 0.1747, 0.1752, 0.1755, 0.1757, 0.1758, 0.1759",\
                 "0.1714, 0.1705, 0.1709, 0.1721, 0.1728, 0.1734, 0.1738, 0.1739, 0.1741, 0.1742",\
                 "0.1688, 0.1679, 0.1682, 0.1692, 0.1702, 0.1707, 0.1711, 0.1713, 0.1715, 0.1716",\
                 "0.1708, 0.1695, 0.1689, 0.1697, 0.1707, 0.1713, 0.1718, 0.1721, 0.1723, 0.1724",\
                 "0.1797, 0.1771, 0.1749, 0.1747, 0.1753, 0.1758, 0.1764, 0.1766, 0.1768, 0.1769",\
                 "0.1927, 0.1889, 0.1852, 0.184, 0.1839, 0.1841, 0.1844, 0.1847, 0.1849, 0.185",\
                 "0.2093, 0.2042, 0.199, 0.197, 0.1961, 0.1963, 0.1964, 0.1965, 0.1967, 0.1968",\
                 "0.2301, 0.224, 0.2172, 0.2139, 0.2124, 0.2122, 0.2121, 0.2124, 0.2124, 0.2125",\
                 "0.2559, 0.2486, 0.2403, 0.2355, 0.2336, 0.2327, 0.2325, 0.2325, 0.2325, 0.2326",\
                 "0.2872, 0.2787, 0.2685, 0.2625, 0.2596, 0.2582, 0.2576, 0.2574, 0.2573, 0.2572");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.008761, 0.03601, 0.08803, 0.1691, 0.2828, 0.4325, 0.621, 0.8512, 1.125");
          values("0.09101, 0.09127, 0.09357, 0.09648, 0.09941, 0.1013, 0.1029, 0.1053, 0.108, 0.144",\
                 "0.09019, 0.09067, 0.093, 0.09576, 0.09866, 0.1006, 0.102, 0.1038, 0.108, 0.1439",\
                 "0.08944, 0.08961, 0.09135, 0.09396, 0.09713, 0.09898, 0.1014, 0.1029, 0.1064, 0.145",\
                 "0.0916, 0.09118, 0.09183, 0.09366, 0.09647, 0.09871, 0.1008, 0.1029, 0.1089, 0.1529",\
                 "0.09682, 0.09597, 0.09486, 0.09675, 0.09869, 0.1012, 0.1032, 0.1056, 0.1113, 0.1631",\
                 "0.1062, 0.1047, 0.103, 0.1026, 0.1054, 0.1069, 0.1089, 0.111, 0.1185, 0.1833",\
                 "0.1199, 0.1177, 0.1146, 0.1134, 0.1144, 0.1181, 0.12, 0.1213, 0.1291, 0.2146",\
                 "0.138, 0.135, 0.1315, 0.1288, 0.1288, 0.1294, 0.1353, 0.1373, 0.1485, 0.2647",\
                 "0.1605, 0.1568, 0.1522, 0.1485, 0.1476, 0.1465, 0.15, 0.1549, 0.1798, 0.3479",\
                 "0.188, 0.1835, 0.1778, 0.1736, 0.1718, 0.1709, 0.1709, 0.1761, 0.2238, 0.4934");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.008761, 0.03601, 0.08803, 0.1691, 0.2828, 0.4325, 0.621, 0.8512, 1.125");
          values("0.1732, 0.1723, 0.1725, 0.1738, 0.1746, 0.1752, 0.1755, 0.1757, 0.1758, 0.1759",\
                 "0.1714, 0.1705, 0.1709, 0.1721, 0.1728, 0.1734, 0.1737, 0.174, 0.1741, 0.1742",\
                 "0.1689, 0.1679, 0.168, 0.1693, 0.1702, 0.1707, 0.1711, 0.1713, 0.1715, 0.1716",\
                 "0.1707, 0.1695, 0.169, 0.1697, 0.1707, 0.1713, 0.1718, 0.1721, 0.1723, 0.1724",\
                 "0.1796, 0.1772, 0.1749, 0.1748, 0.1753, 0.176, 0.1763, 0.1766, 0.1767, 0.1769",\
                 "0.1927, 0.1888, 0.1852, 0.184, 0.1839, 0.1841, 0.1844, 0.1847, 0.1849, 0.185",\
                 "0.2092, 0.2042, 0.199, 0.1967, 0.196, 0.1963, 0.1964, 0.1965, 0.1967, 0.1968",\
                 "0.2301, 0.224, 0.2171, 0.2139, 0.2125, 0.2122, 0.2121, 0.2124, 0.2124, 0.2125",\
                 "0.2559, 0.2485, 0.2403, 0.2356, 0.2336, 0.2327, 0.2325, 0.2325, 0.2325, 0.2326",\
                 "0.2872, 0.2789, 0.2685, 0.2626, 0.2594, 0.2581, 0.2576, 0.2573, 0.2573, 0.2572");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.008761, 0.03601, 0.08803, 0.1691, 0.2828, 0.4325, 0.621, 0.8512, 1.125");
          values("0.09101, 0.09127, 0.09357, 0.09648, 0.09942, 0.1013, 0.1029, 0.1053, 0.108, 0.1455",\
                 "0.09016, 0.09066, 0.09294, 0.09576, 0.09861, 0.1006, 0.102, 0.1038, 0.108, 0.1439",\
                 "0.08944, 0.08973, 0.09135, 0.09396, 0.09708, 0.09928, 0.1011, 0.1032, 0.1091, 0.1483",\
                 "0.09159, 0.09118, 0.09183, 0.09366, 0.09648, 0.09871, 0.1008, 0.1029, 0.1074, 0.1529",\
                 "0.09712, 0.09591, 0.09474, 0.09675, 0.09873, 0.1013, 0.1032, 0.1053, 0.1113, 0.1631",\
                 "0.1062, 0.1047, 0.103, 0.1025, 0.1056, 0.1069, 0.1089, 0.111, 0.118, 0.1827",\
                 "0.1199, 0.1175, 0.115, 0.1134, 0.1137, 0.1179, 0.12, 0.121, 0.13, 0.2143",\
                 "0.138, 0.135, 0.1315, 0.1288, 0.1283, 0.13, 0.135, 0.1373, 0.1486, 0.2664",\
                 "0.1605, 0.1568, 0.1521, 0.1491, 0.1477, 0.1475, 0.15, 0.1558, 0.1789, 0.349",\
                 "0.188, 0.1835, 0.1778, 0.1738, 0.1718, 0.1711, 0.1703, 0.1755, 0.2226, 0.4934");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.008761, 0.03601, 0.08803, 0.1691, 0.2828, 0.4325, 0.621, 0.8512, 1.125");
          values("0.1988, 0.1973, 0.1968, 0.1974, 0.1981, 0.1986, 0.199, 0.1992, 0.1994, 0.1995",\
                 "0.1983, 0.1968, 0.1962, 0.197, 0.1975, 0.1981, 0.1985, 0.1987, 0.1989, 0.199",\
                 "0.1955, 0.1939, 0.1933, 0.194, 0.1947, 0.1951, 0.1955, 0.1958, 0.196, 0.1961",\
                 "0.1924, 0.1909, 0.1903, 0.1911, 0.1918, 0.1923, 0.1926, 0.1929, 0.193, 0.1932",\
                 "0.1914, 0.19, 0.1897, 0.1907, 0.1914, 0.1921, 0.1925, 0.1928, 0.1929, 0.1931",\
                 "0.1935, 0.1923, 0.1922, 0.1932, 0.194, 0.1946, 0.1951, 0.1953, 0.1955, 0.1956",\
                 "0.1987, 0.1977, 0.1976, 0.1983, 0.1994, 0.2, 0.2004, 0.2006, 0.2008, 0.2009",\
                 "0.207, 0.2057, 0.2054, 0.2061, 0.2074, 0.208, 0.2084, 0.2087, 0.2088, 0.2089",\
                 "0.218, 0.2168, 0.2163, 0.2173, 0.2181, 0.2189, 0.2193, 0.2196, 0.2198, 0.2199",\
                 "0.2321, 0.2308, 0.2301, 0.2309, 0.2319, 0.2325, 0.233, 0.2332, 0.2334, 0.2335");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.008761, 0.03601, 0.08803, 0.1691, 0.2828, 0.4325, 0.621, 0.8512, 1.125");
          values("0.2306, 0.2304, 0.2316, 0.2338, 0.2364, 0.2386, 0.2405, 0.2427, 0.2469, 0.2885",\
                 "0.2297, 0.2296, 0.2311, 0.2332, 0.2358, 0.2378, 0.2396, 0.2418, 0.246, 0.2893",\
                 "0.2281, 0.2281, 0.2293, 0.2314, 0.2342, 0.2367, 0.2387, 0.24, 0.2482, 0.2906",\
                 "0.2264, 0.2266, 0.2277, 0.2296, 0.2322, 0.2349, 0.2363, 0.2388, 0.2439, 0.2974",\
                 "0.2268, 0.2267, 0.2277, 0.2298, 0.2324, 0.2346, 0.2366, 0.2385, 0.2446, 0.3083",\
                 "0.2306, 0.2303, 0.2311, 0.2339, 0.236, 0.2382, 0.2408, 0.2425, 0.2541, 0.3346",\
                 "0.2379, 0.2378, 0.2382, 0.2397, 0.2435, 0.2458, 0.2471, 0.2488, 0.2631, 0.3791",\
                 "0.2479, 0.2477, 0.2482, 0.2496, 0.2517, 0.2558, 0.2588, 0.2599, 0.2817, 0.4618",\
                 "0.2613, 0.2609, 0.2612, 0.2629, 0.2645, 0.2664, 0.2717, 0.2756, 0.3204, 0.6167",\
                 "0.2779, 0.2773, 0.2774, 0.2789, 0.2805, 0.2812, 0.2845, 0.2974, 0.3998, 0.9068");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.008761, 0.03601, 0.08803, 0.1691, 0.2828, 0.4325, 0.621, 0.8512, 1.125");
          values("1.923, 1.981, 2.125, 2.328, 2.599, 2.956, 3.419, 4.001, 4.711, 5.556",\
                 "1.945, 2.002, 2.146, 2.349, 2.62, 2.978, 3.441, 4.022, 4.732, 5.578",\
                 "2.011, 2.068, 2.212, 2.415, 2.686, 3.044, 3.507, 4.089, 4.798, 5.644",\
                 "2.096, 2.153, 2.297, 2.5, 2.771, 3.128, 3.591, 4.173, 4.883, 5.729",\
                 "2.154, 2.212, 2.356, 2.559, 2.829, 3.187, 3.65, 4.231, 4.941, 5.787",\
                 "2.176, 2.234, 2.377, 2.581, 2.851, 3.209, 3.672, 4.254, 4.963, 5.809",\
                 "2.156, 2.214, 2.358, 2.561, 2.832, 3.189, 3.653, 4.234, 4.944, 5.789",\
                 "2.092, 2.15, 2.294, 2.497, 2.767, 3.125, 3.589, 4.17, 4.879, 5.725",\
                 "1.98, 2.037, 2.181, 2.384, 2.655, 3.012, 3.476, 4.058, 4.767, 5.613",\
                 "1.818, 1.875, 2.019, 2.222, 2.492, 2.85, 3.313, 3.895, 4.604, 5.45");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.008761, 0.03601, 0.08803, 0.1691, 0.2828, 0.4325, 0.621, 0.8512, 1.125");
          values("2.115, 2.167, 2.33, 2.633, 3.104, 3.764, 4.63, 5.72, 7.051, 8.638",\
                 "2.135, 2.187, 2.349, 2.653, 3.124, 3.783, 4.65, 5.739, 7.07, 8.657",\
                 "2.202, 2.254, 2.416, 2.72, 3.191, 3.85, 4.716, 5.806, 7.139, 8.724",\
                 "2.33, 2.382, 2.544, 2.848, 3.319, 3.978, 4.845, 5.934, 7.266, 8.853",\
                 "2.536, 2.588, 2.75, 3.054, 3.526, 4.184, 5.05, 6.141, 7.472, 9.058",\
                 "2.808, 2.86, 3.022, 3.326, 3.797, 4.456, 5.322, 6.413, 7.745, 9.33",\
                 "3.143, 3.195, 3.357, 3.662, 4.133, 4.791, 5.658, 6.749, 8.078, 9.665",\
                 "3.545, 3.597, 3.759, 4.064, 4.535, 5.194, 6.06, 7.15, 8.481, 10.07",\
                 "4.015, 4.068, 4.229, 4.534, 5.005, 5.663, 6.529, 7.62, 8.95, 10.54",\
                 "4.552, 4.604, 4.766, 5.07, 5.54, 6.199, 7.066, 8.156, 9.486, 11.07");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.008761, 0.03601, 0.08803, 0.1691, 0.2828, 0.4325, 0.621, 0.8512, 1.125");
          values("0.153, 0.2074, 0.3486, 0.588, 0.9652, 1.518, 2.266, 3.217, 4.388, 5.783",\
                 "0.1526, 0.2068, 0.3488, 0.5886, 0.9642, 1.518, 2.267, 3.221, 4.39, 5.783",\
                 "0.1532, 0.2066, 0.3488, 0.5884, 0.9644, 1.516, 2.267, 3.221, 4.391, 5.783",\
                 "0.1528, 0.2068, 0.3488, 0.5886, 0.9652, 1.517, 2.267, 3.22, 4.389, 5.785",\
                 "0.1526, 0.2068, 0.349, 0.5884, 0.9638, 1.516, 2.267, 3.22, 4.389, 5.779",\
                 "0.1528, 0.207, 0.3488, 0.588, 0.9658, 1.516, 2.267, 3.221, 4.391, 5.781",\
                 "0.1528, 0.2068, 0.349, 0.589, 0.9648, 1.516, 2.263, 3.216, 4.387, 5.777",\
                 "0.153, 0.2068, 0.3494, 0.5886, 0.9654, 1.517, 2.265, 3.216, 4.381, 5.776",\
                 "0.153, 0.2068, 0.3494, 0.5884, 0.9642, 1.516, 2.264, 3.216, 4.383, 5.772",\
                 "0.1528, 0.2074, 0.3486, 0.5886, 0.9648, 1.517, 2.266, 3.218, 4.386, 5.772");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.008761, 0.03601, 0.08803, 0.1691, 0.2828, 0.4325, 0.621, 0.8512, 1.125");
          values("0.1228, 0.189, 0.4446, 0.9572, 1.755, 2.881, 4.361, 6.226, 8.502, 11.21",\
                 "0.1226, 0.188, 0.4456, 0.957, 1.757, 2.88, 4.36, 6.222, 8.498, 11.22",\
                 "0.1226, 0.1882, 0.4448, 0.9572, 1.755, 2.881, 4.361, 6.221, 8.493, 11.21",\
                 "0.1224, 0.189, 0.4454, 0.9578, 1.757, 2.876, 4.361, 6.22, 8.501, 11.21",\
                 "0.1222, 0.1886, 0.4448, 0.957, 1.757, 2.878, 4.361, 6.226, 8.502, 11.21",\
                 "0.123, 0.1886, 0.4448, 0.957, 1.757, 2.877, 4.355, 6.226, 8.5, 11.2",\
                 "0.1228, 0.1884, 0.4454, 0.9562, 1.756, 2.881, 4.36, 6.222, 8.497, 11.21",\
                 "0.1224, 0.1886, 0.4452, 0.9564, 1.754, 2.876, 4.358, 6.215, 8.494, 11.21",\
                 "0.1224, 0.1882, 0.4454, 0.9558, 1.756, 2.878, 4.35, 6.222, 8.488, 11.21",\
                 "0.122, 0.188, 0.446, 0.956, 1.756, 2.878, 4.352, 6.21, 8.488, 11.2");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.008761, 0.03601, 0.08803, 0.1691, 0.2828, 0.4325, 0.621, 0.8512, 1.125");
          values("0.9919, 1.052, 1.198, 1.404, 1.676, 2.035, 2.498, 3.08, 3.79, 4.636",\
                 "1.013, 1.072, 1.219, 1.425, 1.697, 2.056, 2.519, 3.101, 3.811, 4.657",\
                 "1.085, 1.145, 1.291, 1.497, 1.769, 2.128, 2.591, 3.173, 3.883, 4.729",\
                 "1.215, 1.274, 1.421, 1.627, 1.899, 2.258, 2.721, 3.303, 4.013, 4.859",\
                 "1.347, 1.407, 1.553, 1.759, 2.032, 2.39, 2.854, 3.436, 4.146, 4.992",\
                 "1.451, 1.511, 1.658, 1.864, 2.136, 2.495, 2.959, 3.541, 4.251, 5.097",\
                 "1.528, 1.588, 1.735, 1.941, 2.213, 2.572, 3.036, 3.618, 4.327, 5.173",\
                 "1.574, 1.634, 1.782, 1.987, 2.26, 2.619, 3.083, 3.665, 4.375, 5.22",\
                 "1.588, 1.648, 1.795, 2.002, 2.274, 2.633, 3.097, 3.678, 4.388, 5.234",\
                 "1.562, 1.622, 1.771, 1.978, 2.251, 2.61, 3.073, 3.655, 4.365, 5.211");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.008761, 0.03601, 0.08803, 0.1691, 0.2828, 0.4325, 0.621, 0.8512, 1.125");
          values("1.173, 1.234, 1.407, 1.713, 2.184, 2.843, 3.709, 4.799, 6.131, 7.719",\
                 "1.193, 1.254, 1.427, 1.733, 2.204, 2.863, 3.729, 4.819, 6.15, 7.737",\
                 "1.269, 1.331, 1.504, 1.809, 2.28, 2.939, 3.805, 4.896, 6.226, 7.816",\
                 "1.437, 1.499, 1.672, 1.977, 2.448, 3.107, 3.973, 5.064, 6.395, 7.982",\
                 "1.708, 1.77, 1.943, 2.248, 2.719, 3.378, 4.244, 5.334, 6.665, 8.255",\
                 "2.038, 2.1, 2.274, 2.579, 3.05, 3.709, 4.575, 5.666, 6.996, 8.583",\
                 "2.399, 2.461, 2.636, 2.941, 3.412, 4.071, 4.937, 6.027, 7.359, 8.947",\
                 "2.794, 2.858, 3.035, 3.339, 3.811, 4.469, 5.335, 6.425, 7.755, 9.344",\
                 "3.235, 3.301, 3.478, 3.782, 4.253, 4.913, 5.778, 6.868, 8.198, 9.785",\
                 "3.727, 3.794, 3.972, 4.277, 4.747, 5.406, 6.272, 7.363, 8.692, 10.28");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.008761, 0.03601, 0.08803, 0.1691, 0.2828, 0.4325, 0.621, 0.8512, 1.125");
          values("0.1638, 0.2164, 0.358, 0.5958, 0.9706, 1.52, 2.268, 3.22, 4.386, 5.787",\
                 "0.164, 0.217, 0.3586, 0.5958, 0.9698, 1.52, 2.268, 3.22, 4.386, 5.787",\
                 "0.1638, 0.2166, 0.358, 0.5958, 0.9698, 1.519, 2.268, 3.221, 4.389, 5.786",\
                 "0.1638, 0.217, 0.3574, 0.5958, 0.9708, 1.521, 2.268, 3.222, 4.388, 5.786",\
                 "0.1646, 0.2176, 0.358, 0.5958, 0.9704, 1.52, 2.268, 3.22, 4.387, 5.783",\
                 "0.1654, 0.2182, 0.3588, 0.5966, 0.9702, 1.52, 2.266, 3.218, 4.386, 5.787",\
                 "0.1662, 0.219, 0.3594, 0.597, 0.971, 1.52, 2.265, 3.218, 4.387, 5.778",\
                 "0.1674, 0.2198, 0.36, 0.598, 0.9718, 1.521, 2.266, 3.217, 4.383, 5.774",\
                 "0.1698, 0.222, 0.3612, 0.5978, 0.9714, 1.523, 2.266, 3.218, 4.387, 5.773",\
                 "0.1728, 0.2244, 0.3636, 0.5998, 0.9732, 1.521, 2.267, 3.223, 4.384, 5.774");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.008761, 0.03601, 0.08803, 0.1691, 0.2828, 0.4325, 0.621, 0.8512, 1.125");
          values("0.1486, 0.2184, 0.4608, 0.9624, 1.762, 2.883, 4.357, 6.224, 8.504, 11.22",\
                 "0.149, 0.2182, 0.4606, 0.963, 1.759, 2.883, 4.361, 6.218, 8.491, 11.22",\
                 "0.1484, 0.2184, 0.4608, 0.963, 1.761, 2.882, 4.359, 6.224, 8.504, 11.21",\
                 "0.1492, 0.2174, 0.462, 0.9626, 1.762, 2.884, 4.362, 6.228, 8.506, 11.21",\
                 "0.1494, 0.219, 0.4612, 0.9636, 1.762, 2.882, 4.359, 6.228, 8.503, 11.21",\
                 "0.1514, 0.2208, 0.4634, 0.9622, 1.76, 2.881, 4.357, 6.217, 8.491, 11.22",\
                 "0.1556, 0.2248, 0.4648, 0.9638, 1.759, 2.884, 4.358, 6.221, 8.502, 11.2",\
                 "0.1596, 0.2288, 0.466, 0.9644, 1.761, 2.881, 4.359, 6.223, 8.5, 11.21",\
                 "0.1644, 0.2334, 0.4684, 0.9652, 1.761, 2.88, 4.356, 6.22, 8.488, 11.2",\
                 "0.168, 0.236, 0.472, 0.968, 1.762, 2.882, 4.356, 6.214, 8.486, 11.19");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.008761, 0.03601, 0.08803, 0.1691, 0.2828, 0.4325, 0.621, 0.8512, 1.125");
          values("1.923, 1.981, 2.125, 2.328, 2.599, 2.956, 3.419, 4.001, 4.711, 5.556",\
                 "1.945, 2.002, 2.146, 2.349, 2.62, 2.978, 3.441, 4.022, 4.732, 5.578",\
                 "2.011, 2.068, 2.212, 2.415, 2.686, 3.044, 3.507, 4.089, 4.798, 5.644",\
                 "2.096, 2.153, 2.297, 2.5, 2.771, 3.128, 3.591, 4.173, 4.883, 5.729",\
                 "2.154, 2.212, 2.356, 2.559, 2.829, 3.187, 3.65, 4.231, 4.941, 5.787",\
                 "2.176, 2.234, 2.377, 2.581, 2.851, 3.209, 3.672, 4.254, 4.963, 5.809",\
                 "2.156, 2.214, 2.358, 2.561, 2.832, 3.189, 3.653, 4.234, 4.944, 5.789",\
                 "2.092, 2.15, 2.294, 2.497, 2.767, 3.125, 3.589, 4.17, 4.879, 5.725",\
                 "1.98, 2.037, 2.181, 2.384, 2.655, 3.012, 3.476, 4.058, 4.767, 5.613",\
                 "1.818, 1.875, 2.019, 2.222, 2.492, 2.85, 3.313, 3.895, 4.604, 5.45");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.008761, 0.03601, 0.08803, 0.1691, 0.2828, 0.4325, 0.621, 0.8512, 1.125");
          values("2.115, 2.167, 2.33, 2.633, 3.104, 3.764, 4.63, 5.72, 7.051, 8.638",\
                 "2.135, 2.187, 2.349, 2.653, 3.124, 3.783, 4.65, 5.739, 7.07, 8.657",\
                 "2.202, 2.254, 2.416, 2.72, 3.191, 3.85, 4.716, 5.806, 7.139, 8.724",\
                 "2.33, 2.382, 2.544, 2.848, 3.319, 3.978, 4.845, 5.934, 7.266, 8.853",\
                 "2.536, 2.588, 2.75, 3.054, 3.526, 4.184, 5.05, 6.141, 7.472, 9.058",\
                 "2.808, 2.86, 3.022, 3.326, 3.797, 4.456, 5.322, 6.413, 7.745, 9.33",\
                 "3.143, 3.195, 3.357, 3.662, 4.133, 4.791, 5.658, 6.749, 8.078, 9.665",\
                 "3.545, 3.597, 3.759, 4.064, 4.535, 5.194, 6.06, 7.15, 8.481, 10.07",\
                 "4.015, 4.068, 4.229, 4.534, 5.005, 5.663, 6.529, 7.62, 8.95, 10.54",\
                 "4.552, 4.604, 4.766, 5.07, 5.54, 6.199, 7.066, 8.156, 9.486, 11.07");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.008761, 0.03601, 0.08803, 0.1691, 0.2828, 0.4325, 0.621, 0.8512, 1.125");
          values("0.1638, 0.2164, 0.358, 0.5958, 0.9706, 1.52, 2.268, 3.22, 4.386, 5.787",\
                 "0.164, 0.217, 0.3586, 0.5958, 0.9698, 1.52, 2.268, 3.22, 4.386, 5.787",\
                 "0.1638, 0.2166, 0.358, 0.5958, 0.9698, 1.519, 2.268, 3.221, 4.389, 5.786",\
                 "0.1638, 0.217, 0.3574, 0.5958, 0.9708, 1.521, 2.268, 3.222, 4.388, 5.786",\
                 "0.1646, 0.2176, 0.358, 0.5958, 0.9704, 1.52, 2.268, 3.22, 4.387, 5.783",\
                 "0.1654, 0.2182, 0.3588, 0.5966, 0.9702, 1.52, 2.266, 3.218, 4.386, 5.787",\
                 "0.1662, 0.219, 0.3594, 0.597, 0.971, 1.52, 2.265, 3.218, 4.387, 5.778",\
                 "0.1674, 0.2198, 0.36, 0.598, 0.9718, 1.521, 2.266, 3.217, 4.383, 5.774",\
                 "0.1698, 0.222, 0.3612, 0.5978, 0.9714, 1.523, 2.266, 3.218, 4.387, 5.773",\
                 "0.1728, 0.2244, 0.3636, 0.5998, 0.9732, 1.521, 2.267, 3.223, 4.384, 5.774");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.008761, 0.03601, 0.08803, 0.1691, 0.2828, 0.4325, 0.621, 0.8512, 1.125");
          values("0.1486, 0.2184, 0.4608, 0.9624, 1.762, 2.883, 4.357, 6.224, 8.504, 11.22",\
                 "0.149, 0.2182, 0.4606, 0.963, 1.759, 2.883, 4.361, 6.218, 8.491, 11.22",\
                 "0.1484, 0.2184, 0.4608, 0.963, 1.761, 2.882, 4.359, 6.224, 8.504, 11.21",\
                 "0.1492, 0.2174, 0.462, 0.9626, 1.762, 2.884, 4.362, 6.228, 8.506, 11.21",\
                 "0.1494, 0.219, 0.4612, 0.9636, 1.762, 2.882, 4.359, 6.228, 8.503, 11.21",\
                 "0.1514, 0.2208, 0.4634, 0.9622, 1.76, 2.881, 4.357, 6.217, 8.491, 11.22",\
                 "0.1556, 0.2248, 0.4648, 0.9638, 1.759, 2.884, 4.358, 6.221, 8.502, 11.2",\
                 "0.1596, 0.2288, 0.466, 0.9644, 1.761, 2.881, 4.359, 6.223, 8.5, 11.21",\
                 "0.1644, 0.2334, 0.4684, 0.9652, 1.761, 2.88, 4.356, 6.22, 8.488, 11.2",\
                 "0.168, 0.236, 0.472, 0.968, 1.762, 2.882, 4.356, 6.214, 8.486, 11.19");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.008761, 0.03601, 0.08803, 0.1691, 0.2828, 0.4325, 0.621, 0.8512, 1.125");
          values("1.754, 1.813, 1.96, 2.165, 2.438, 2.796, 3.26, 3.842, 4.552, 5.398",\
                 "1.774, 1.833, 1.98, 2.185, 2.457, 2.816, 3.279, 3.861, 4.571, 5.417",\
                 "1.84, 1.9, 2.047, 2.252, 2.524, 2.883, 3.346, 3.928, 4.638, 5.484",\
                 "1.968, 2.028, 2.175, 2.38, 2.652, 3.011, 3.474, 4.056, 4.766, 5.612",\
                 "2.174, 2.234, 2.381, 2.586, 2.858, 3.216, 3.68, 4.262, 4.972, 5.817",\
                 "2.446, 2.505, 2.652, 2.857, 3.129, 3.488, 3.951, 4.533, 5.243, 6.089",\
                 "2.78, 2.84, 2.987, 3.192, 3.465, 3.823, 4.286, 4.868, 5.578, 6.424",\
                 "3.182, 3.242, 3.389, 3.594, 3.866, 4.225, 4.688, 5.27, 5.98, 6.826",\
                 "3.652, 3.711, 3.858, 4.063, 4.336, 4.694, 5.158, 5.739, 6.449, 7.295",\
                 "4.188, 4.247, 4.394, 4.599, 4.872, 5.23, 5.694, 6.276, 6.985, 7.831");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.008761, 0.03601, 0.08803, 0.1691, 0.2828, 0.4325, 0.621, 0.8512, 1.125");
          values("1.538, 1.599, 1.772, 2.078, 2.549, 3.208, 4.074, 5.165, 6.495, 8.084",\
                 "1.559, 1.62, 1.794, 2.099, 2.57, 3.229, 4.095, 5.186, 6.516, 8.103",\
                 "1.626, 1.687, 1.86, 2.166, 2.637, 3.296, 4.162, 5.252, 6.582, 8.171",\
                 "1.711, 1.772, 1.945, 2.251, 2.722, 3.381, 4.246, 5.337, 6.668, 8.255",\
                 "1.769, 1.831, 2.004, 2.309, 2.781, 3.439, 4.305, 5.395, 6.727, 8.315",\
                 "1.792, 1.853, 2.026, 2.332, 2.803, 3.462, 4.328, 5.418, 6.75, 8.334",\
                 "1.772, 1.833, 2.006, 2.312, 2.783, 3.442, 4.307, 5.397, 6.728, 8.312",\
                 "1.708, 1.769, 1.942, 2.248, 2.719, 3.377, 4.243, 5.333, 6.664, 8.25",\
                 "1.595, 1.657, 1.83, 2.135, 2.606, 3.265, 4.132, 5.222, 6.551, 8.137",\
                 "1.433, 1.494, 1.667, 1.973, 2.444, 3.103, 3.969, 5.059, 6.389, 7.974");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.008761, 0.03601, 0.08803, 0.1691, 0.2828, 0.4325, 0.621, 0.8512, 1.125");
          values("0.163, 0.2162, 0.357, 0.5948, 0.9702, 1.52, 2.268, 3.222, 4.389, 5.786",\
                 "0.1634, 0.2162, 0.3574, 0.595, 0.9688, 1.519, 2.268, 3.219, 4.387, 5.786",\
                 "0.1632, 0.2162, 0.3566, 0.5954, 0.9696, 1.52, 2.268, 3.222, 4.39, 5.786",\
                 "0.1632, 0.216, 0.3568, 0.5948, 0.9692, 1.519, 2.268, 3.221, 4.387, 5.787",\
                 "0.1632, 0.2156, 0.357, 0.595, 0.9688, 1.52, 2.268, 3.221, 4.388, 5.786",\
                 "0.1634, 0.216, 0.357, 0.5954, 0.9694, 1.519, 2.267, 3.219, 4.385, 5.786",\
                 "0.1634, 0.2162, 0.3568, 0.5944, 0.969, 1.519, 2.268, 3.218, 4.388, 5.786",\
                 "0.1634, 0.2158, 0.357, 0.5952, 0.9694, 1.519, 2.265, 3.217, 4.384, 5.776",\
                 "0.1632, 0.2164, 0.357, 0.595, 0.9692, 1.52, 2.266, 3.218, 4.382, 5.778",\
                 "0.162, 0.216, 0.358, 0.594, 0.97, 1.52, 2.266, 3.22, 4.382, 5.772");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.008761, 0.03601, 0.08803, 0.1691, 0.2828, 0.4325, 0.621, 0.8512, 1.125");
          values("0.149, 0.2186, 0.462, 0.9632, 1.762, 2.884, 4.362, 6.227, 8.505, 11.2",\
                 "0.1484, 0.2186, 0.4618, 0.9628, 1.762, 2.884, 4.362, 6.223, 8.502, 11.22",\
                 "0.1492, 0.2182, 0.4612, 0.9634, 1.76, 2.881, 4.357, 6.22, 8.497, 11.22",\
                 "0.1488, 0.2186, 0.4612, 0.963, 1.761, 2.884, 4.362, 6.228, 8.495, 11.22",\
                 "0.1486, 0.2192, 0.461, 0.9634, 1.76, 2.884, 4.363, 6.224, 8.501, 11.22",\
                 "0.1484, 0.2188, 0.461, 0.9618, 1.76, 2.882, 4.361, 6.222, 8.497, 11.22",\
                 "0.1492, 0.2188, 0.4608, 0.9614, 1.759, 2.881, 4.357, 6.226, 8.492, 11.2",\
                 "0.1488, 0.218, 0.461, 0.9632, 1.761, 2.88, 4.356, 6.22, 8.497, 11.2",\
                 "0.1486, 0.2184, 0.4614, 0.9626, 1.76, 2.881, 4.359, 6.214, 8.485, 11.19",\
                 "0.1496, 0.2182, 0.4612, 0.9622, 1.762, 2.881, 4.359, 6.216, 8.484, 11.19");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.008761, 0.03601, 0.08803, 0.1691, 0.2828, 0.4325, 0.621, 0.8512, 1.125");
          values("1.558, 1.615, 1.759, 1.962, 2.233, 2.59, 3.054, 3.635, 4.345, 5.191",\
                 "1.578, 1.635, 1.779, 1.982, 2.253, 2.61, 3.073, 3.655, 4.365, 5.21",\
                 "1.654, 1.712, 1.855, 2.058, 2.329, 2.687, 3.15, 3.731, 4.441, 5.286",\
                 "1.822, 1.88, 2.023, 2.226, 2.497, 2.855, 3.318, 3.9, 4.609, 5.456",\
                 "2.091, 2.148, 2.292, 2.495, 2.766, 3.123, 3.587, 4.168, 4.878, 5.723",\
                 "2.411, 2.469, 2.613, 2.815, 3.086, 3.444, 3.907, 4.489, 5.198, 6.044",\
                 "2.762, 2.82, 2.963, 3.166, 3.437, 3.795, 4.258, 4.839, 5.549, 6.395",\
                 "3.149, 3.207, 3.351, 3.554, 3.824, 4.182, 4.645, 5.226, 5.936, 6.781",\
                 "3.581, 3.639, 3.782, 3.985, 4.256, 4.613, 5.076, 5.658, 6.368, 7.213",\
                 "4.065, 4.124, 4.266, 4.47, 4.74, 5.098, 5.561, 6.141, 6.851, 7.696");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.008761, 0.03601, 0.08803, 0.1691, 0.2828, 0.4325, 0.621, 0.8512, 1.125");
          values("1.355, 1.408, 1.57, 1.874, 2.345, 3.004, 3.87, 4.961, 6.292, 7.879",\
                 "1.376, 1.428, 1.591, 1.895, 2.365, 3.024, 3.891, 4.981, 6.313, 7.899",\
                 "1.449, 1.501, 1.663, 1.967, 2.438, 3.097, 3.963, 5.054, 6.385, 7.971",\
                 "1.58, 1.632, 1.794, 2.098, 2.569, 3.228, 4.095, 5.185, 6.516, 8.103",\
                 "1.717, 1.769, 1.932, 2.236, 2.707, 3.365, 4.232, 5.322, 6.653, 8.24",\
                 "1.827, 1.879, 2.041, 2.345, 2.816, 3.475, 4.342, 5.431, 6.762, 8.349",\
                 "1.908, 1.961, 2.123, 2.427, 2.898, 3.556, 4.422, 5.515, 6.845, 8.429",\
                 "1.96, 2.013, 2.175, 2.479, 2.95, 3.608, 4.474, 5.564, 6.895, 8.484",\
                 "1.979, 2.031, 2.194, 2.498, 2.969, 3.628, 4.493, 5.583, 6.913, 8.499",\
                 "1.959, 2.012, 2.174, 2.478, 2.949, 3.609, 4.474, 5.565, 6.895, 8.48");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.008761, 0.03601, 0.08803, 0.1691, 0.2828, 0.4325, 0.621, 0.8512, 1.125");
          values("0.1528, 0.2066, 0.3494, 0.5886, 0.9654, 1.518, 2.267, 3.221, 4.385, 5.781",\
                 "0.1528, 0.2068, 0.349, 0.5884, 0.965, 1.516, 2.266, 3.221, 4.39, 5.783",\
                 "0.153, 0.2068, 0.3494, 0.5888, 0.965, 1.516, 2.265, 3.22, 4.389, 5.782",\
                 "0.1528, 0.2068, 0.3486, 0.5878, 0.9656, 1.517, 2.265, 3.218, 4.39, 5.785",\
                 "0.1528, 0.2066, 0.349, 0.5884, 0.965, 1.516, 2.264, 3.218, 4.391, 5.783",\
                 "0.1528, 0.2068, 0.3488, 0.5886, 0.9638, 1.517, 2.266, 3.22, 4.384, 5.786",\
                 "0.1534, 0.2074, 0.3484, 0.5882, 0.9642, 1.516, 2.266, 3.219, 4.389, 5.776",\
                 "0.153, 0.2066, 0.3486, 0.5884, 0.965, 1.516, 2.264, 3.216, 4.383, 5.777",\
                 "0.1526, 0.2066, 0.3494, 0.5884, 0.9646, 1.518, 2.263, 3.217, 4.382, 5.774",\
                 "0.152, 0.208, 0.348, 0.588, 0.962, 1.518, 2.264, 3.218, 4.382, 5.77");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.008761, 0.03601, 0.08803, 0.1691, 0.2828, 0.4325, 0.621, 0.8512, 1.125");
          values("0.1228, 0.1886, 0.4448, 0.9564, 1.757, 2.88, 4.361, 6.227, 8.502, 11.21",\
                 "0.1224, 0.1888, 0.4446, 0.9576, 1.756, 2.881, 4.361, 6.227, 8.503, 11.21",\
                 "0.1224, 0.1888, 0.4448, 0.957, 1.757, 2.881, 4.36, 6.227, 8.502, 11.2",\
                 "0.123, 0.189, 0.4448, 0.9574, 1.755, 2.881, 4.361, 6.225, 8.502, 11.21",\
                 "0.1228, 0.1886, 0.4448, 0.9572, 1.756, 2.881, 4.361, 6.226, 8.502, 11.21",\
                 "0.1234, 0.1886, 0.4444, 0.9558, 1.755, 2.88, 4.36, 6.221, 8.497, 11.21",\
                 "0.1222, 0.1884, 0.4448, 0.956, 1.754, 2.876, 4.358, 6.224, 8.489, 11.21",\
                 "0.1226, 0.1884, 0.4448, 0.9568, 1.755, 2.876, 4.35, 6.211, 8.488, 11.21",\
                 "0.1228, 0.1884, 0.4448, 0.9568, 1.757, 2.877, 4.355, 6.21, 8.489, 11.19",\
                 "0.123, 0.189, 0.4448, 0.957, 1.756, 2.88, 4.356, 6.216, 8.48, 11.19");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.008761, 0.03601, 0.08803, 0.1691, 0.2828, 0.4325, 0.621, 0.8512, 1.125");
          values("1.754, 1.813, 1.96, 2.165, 2.438, 2.796, 3.26, 3.842, 4.552, 5.398",\
                 "1.774, 1.833, 1.98, 2.185, 2.457, 2.816, 3.279, 3.861, 4.571, 5.417",\
                 "1.84, 1.9, 2.047, 2.252, 2.524, 2.883, 3.346, 3.928, 4.638, 5.484",\
                 "1.968, 2.028, 2.175, 2.38, 2.652, 3.011, 3.474, 4.056, 4.766, 5.612",\
                 "2.174, 2.234, 2.381, 2.586, 2.858, 3.216, 3.68, 4.262, 4.972, 5.817",\
                 "2.446, 2.505, 2.652, 2.857, 3.129, 3.488, 3.951, 4.533, 5.243, 6.089",\
                 "2.78, 2.84, 2.987, 3.192, 3.465, 3.823, 4.286, 4.868, 5.578, 6.424",\
                 "3.182, 3.242, 3.389, 3.594, 3.866, 4.225, 4.688, 5.27, 5.98, 6.826",\
                 "3.652, 3.711, 3.858, 4.063, 4.336, 4.694, 5.158, 5.739, 6.449, 7.295",\
                 "4.188, 4.247, 4.394, 4.599, 4.872, 5.23, 5.694, 6.276, 6.985, 7.831");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.008761, 0.03601, 0.08803, 0.1691, 0.2828, 0.4325, 0.621, 0.8512, 1.125");
          values("1.355, 1.408, 1.57, 1.874, 2.345, 3.004, 3.87, 4.961, 6.292, 7.879",\
                 "1.376, 1.428, 1.591, 1.895, 2.365, 3.024, 3.891, 4.981, 6.313, 7.899",\
                 "1.449, 1.501, 1.663, 1.967, 2.438, 3.097, 3.963, 5.054, 6.385, 7.971",\
                 "1.58, 1.632, 1.794, 2.098, 2.569, 3.228, 4.095, 5.185, 6.516, 8.103",\
                 "1.717, 1.769, 1.932, 2.236, 2.707, 3.365, 4.232, 5.322, 6.653, 8.24",\
                 "1.827, 1.879, 2.041, 2.345, 2.816, 3.475, 4.342, 5.431, 6.762, 8.349",\
                 "1.908, 1.961, 2.123, 2.427, 2.898, 3.556, 4.422, 5.515, 6.845, 8.429",\
                 "1.96, 2.013, 2.175, 2.479, 2.95, 3.608, 4.474, 5.564, 6.895, 8.484",\
                 "1.979, 2.031, 2.194, 2.498, 2.969, 3.628, 4.493, 5.583, 6.913, 8.499",\
                 "1.959, 2.012, 2.174, 2.478, 2.949, 3.609, 4.474, 5.565, 6.895, 8.48");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.008761, 0.03601, 0.08803, 0.1691, 0.2828, 0.4325, 0.621, 0.8512, 1.125");
          values("0.163, 0.2162, 0.357, 0.5948, 0.9702, 1.52, 2.268, 3.222, 4.389, 5.786",\
                 "0.1634, 0.2162, 0.3574, 0.595, 0.9688, 1.519, 2.268, 3.219, 4.387, 5.786",\
                 "0.1632, 0.2162, 0.3566, 0.5954, 0.9696, 1.52, 2.268, 3.222, 4.39, 5.786",\
                 "0.1632, 0.216, 0.3568, 0.5948, 0.9692, 1.519, 2.268, 3.221, 4.387, 5.787",\
                 "0.1632, 0.2156, 0.357, 0.595, 0.9688, 1.52, 2.268, 3.221, 4.388, 5.786",\
                 "0.1634, 0.216, 0.357, 0.5954, 0.9694, 1.519, 2.267, 3.219, 4.385, 5.786",\
                 "0.1634, 0.2162, 0.3568, 0.5944, 0.969, 1.519, 2.268, 3.218, 4.388, 5.786",\
                 "0.1634, 0.2158, 0.357, 0.5952, 0.9694, 1.519, 2.265, 3.217, 4.384, 5.776",\
                 "0.1632, 0.2164, 0.357, 0.595, 0.9692, 1.52, 2.266, 3.218, 4.382, 5.778",\
                 "0.162, 0.216, 0.358, 0.594, 0.97, 1.52, 2.266, 3.22, 4.382, 5.772");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.008761, 0.03601, 0.08803, 0.1691, 0.2828, 0.4325, 0.621, 0.8512, 1.125");
          values("0.149, 0.2186, 0.462, 0.9632, 1.762, 2.884, 4.362, 6.227, 8.505, 11.2",\
                 "0.1484, 0.2186, 0.4618, 0.9628, 1.762, 2.884, 4.362, 6.223, 8.502, 11.22",\
                 "0.1492, 0.2182, 0.4612, 0.9634, 1.76, 2.881, 4.357, 6.22, 8.497, 11.22",\
                 "0.1488, 0.2186, 0.4612, 0.963, 1.761, 2.884, 4.362, 6.228, 8.495, 11.22",\
                 "0.1486, 0.2192, 0.461, 0.9634, 1.76, 2.884, 4.363, 6.224, 8.501, 11.22",\
                 "0.1484, 0.2188, 0.461, 0.9618, 1.76, 2.882, 4.361, 6.222, 8.497, 11.22",\
                 "0.1492, 0.2188, 0.4608, 0.9614, 1.759, 2.881, 4.357, 6.226, 8.492, 11.2",\
                 "0.1488, 0.218, 0.461, 0.9632, 1.761, 2.88, 4.356, 6.22, 8.497, 11.2",\
                 "0.1486, 0.2184, 0.4614, 0.9626, 1.76, 2.881, 4.359, 6.214, 8.485, 11.19",\
                 "0.1496, 0.2182, 0.4612, 0.9622, 1.762, 2.881, 4.359, 6.216, 8.484, 11.19");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.008761, 0.03601, 0.08803, 0.1691, 0.2828, 0.4325, 0.621, 0.8512, 1.125");
          values("1.826, 1.884, 2.027, 2.23, 2.501, 2.859, 3.322, 3.904, 4.614, 5.459",\
                 "1.849, 1.906, 2.05, 2.253, 2.524, 2.881, 3.344, 3.926, 4.636, 5.482",\
                 "1.92, 1.978, 2.121, 2.324, 2.595, 2.953, 3.416, 3.998, 4.707, 5.554",\
                 "2.003, 2.061, 2.205, 2.408, 2.678, 3.036, 3.499, 4.081, 4.79, 5.637",\
                 "2.052, 2.11, 2.254, 2.457, 2.727, 3.085, 3.548, 4.13, 4.839, 5.686",\
                 "2.063, 2.121, 2.265, 2.468, 2.739, 3.096, 3.559, 4.141, 4.851, 5.697",\
                 "2.027, 2.084, 2.228, 2.431, 2.702, 3.059, 3.523, 4.104, 4.814, 5.66",\
                 "1.939, 1.997, 2.14, 2.343, 2.614, 2.972, 3.435, 4.016, 4.726, 5.571",\
                 "1.796, 1.854, 1.997, 2.2, 2.471, 2.828, 3.291, 3.873, 4.582, 5.428",\
                 "1.592, 1.65, 1.794, 1.997, 2.268, 2.625, 3.088, 3.67, 4.379, 5.225");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.008761, 0.03601, 0.08803, 0.1691, 0.2828, 0.4325, 0.621, 0.8512, 1.125");
          values("2.065, 2.118, 2.28, 2.584, 3.055, 3.714, 4.58, 5.671, 7.002, 8.589",\
                 "2.08, 2.132, 2.295, 2.598, 3.069, 3.728, 4.594, 5.685, 7.015, 8.602",\
                 "2.158, 2.21, 2.373, 2.677, 3.148, 3.807, 4.673, 5.764, 7.094, 8.68",\
                 "2.337, 2.389, 2.551, 2.856, 3.327, 3.986, 4.851, 5.943, 7.274, 8.859",\
                 "2.619, 2.671, 2.834, 3.137, 3.609, 4.267, 5.133, 6.225, 7.555, 9.141",\
                 "2.967, 3.019, 3.182, 3.486, 3.957, 4.616, 5.482, 6.572, 7.903, 9.49",\
                 "3.368, 3.421, 3.583, 3.887, 4.358, 5.017, 5.883, 6.975, 8.304, 9.889",\
                 "3.832, 3.885, 4.047, 4.351, 4.822, 5.48, 6.347, 7.438, 8.77, 10.35",\
                 "4.368, 4.419, 4.582, 4.886, 5.357, 6.016, 6.882, 7.972, 9.302, 10.89",\
                 "4.979, 5.032, 5.194, 5.498, 5.969, 6.627, 7.494, 8.585, 9.914, 11.5");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.008761, 0.03601, 0.08803, 0.1691, 0.2828, 0.4325, 0.621, 0.8512, 1.125");
          values("0.1528, 0.2068, 0.3486, 0.5882, 0.9648, 1.518, 2.265, 3.219, 4.388, 5.783",\
                 "0.1528, 0.2068, 0.3486, 0.5886, 0.9652, 1.516, 2.267, 3.219, 4.389, 5.785",\
                 "0.1528, 0.2072, 0.349, 0.5888, 0.9652, 1.517, 2.266, 3.22, 4.39, 5.786",\
                 "0.1528, 0.207, 0.3492, 0.5886, 0.9652, 1.517, 2.266, 3.22, 4.39, 5.786",\
                 "0.1528, 0.2066, 0.349, 0.5886, 0.9652, 1.517, 2.265, 3.221, 4.391, 5.782",\
                 "0.1532, 0.2072, 0.349, 0.5876, 0.9656, 1.517, 2.266, 3.221, 4.391, 5.787",\
                 "0.1526, 0.2068, 0.3488, 0.588, 0.9646, 1.516, 2.263, 3.218, 4.387, 5.781",\
                 "0.1528, 0.2066, 0.3488, 0.5884, 0.9646, 1.516, 2.265, 3.216, 4.381, 5.777",\
                 "0.1528, 0.2066, 0.3494, 0.5886, 0.9648, 1.518, 2.264, 3.216, 4.382, 5.772",\
                 "0.1532, 0.2068, 0.349, 0.5888, 0.9656, 1.518, 2.264, 3.216, 4.386, 5.774");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.008761, 0.03601, 0.08803, 0.1691, 0.2828, 0.4325, 0.621, 0.8512, 1.125");
          values("0.1222, 0.1884, 0.4446, 0.9576, 1.755, 2.881, 4.361, 6.227, 8.501, 11.21",\
                 "0.1232, 0.1888, 0.4454, 0.9572, 1.757, 2.878, 4.357, 6.216, 8.492, 11.21",\
                 "0.1228, 0.1884, 0.4452, 0.9566, 1.757, 2.876, 4.361, 6.226, 8.502, 11.19",\
                 "0.1224, 0.188, 0.445, 0.9578, 1.757, 2.876, 4.357, 6.225, 8.498, 11.2",\
                 "0.1226, 0.188, 0.4448, 0.9568, 1.757, 2.881, 4.358, 6.222, 8.501, 11.2",\
                 "0.1222, 0.1886, 0.4452, 0.9576, 1.755, 2.881, 4.361, 6.226, 8.503, 11.21",\
                 "0.1228, 0.189, 0.4444, 0.9574, 1.755, 2.877, 4.355, 6.222, 8.487, 11.21",\
                 "0.1224, 0.189, 0.4454, 0.958, 1.757, 2.877, 4.36, 6.223, 8.496, 11.21",\
                 "0.1228, 0.1882, 0.4448, 0.9562, 1.756, 2.878, 4.352, 6.22, 8.496, 11.2",\
                 "0.122, 0.188, 0.446, 0.958, 1.76, 2.882, 4.352, 6.21, 8.488, 11.2");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.008761, 0.03601, 0.08803, 0.1691, 0.2828, 0.4325, 0.621, 0.8512, 1.125");
          values("1.008, 1.068, 1.214, 1.42, 1.692, 2.051, 2.514, 3.096, 3.806, 4.652",\
                 "1.029, 1.088, 1.235, 1.44, 1.713, 2.071, 2.535, 3.117, 3.826, 4.672",\
                 "1.081, 1.141, 1.287, 1.493, 1.765, 2.124, 2.587, 3.169, 3.879, 4.725",\
                 "1.172, 1.231, 1.378, 1.584, 1.856, 2.215, 2.678, 3.26, 3.97, 4.815",\
                 "1.272, 1.332, 1.479, 1.685, 1.957, 2.316, 2.78, 3.362, 4.071, 4.917",\
                 "1.355, 1.415, 1.562, 1.767, 2.04, 2.399, 2.862, 3.444, 4.154, 5",\
                 "1.411, 1.471, 1.617, 1.824, 2.097, 2.455, 2.919, 3.5, 4.21, 5.056",\
                 "1.434, 1.494, 1.641, 1.848, 2.12, 2.479, 2.943, 3.525, 4.234, 5.08",\
                 "1.42, 1.48, 1.628, 1.834, 2.107, 2.465, 2.929, 3.511, 4.221, 5.066",\
                 "1.363, 1.423, 1.572, 1.778, 2.051, 2.411, 2.874, 3.456, 4.166, 5.012");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.008761, 0.03601, 0.08803, 0.1691, 0.2828, 0.4325, 0.621, 0.8512, 1.125");
          values("1.246, 1.308, 1.481, 1.787, 2.258, 2.917, 3.783, 4.873, 6.203, 7.791",\
                 "1.265, 1.327, 1.5, 1.806, 2.277, 2.936, 3.802, 4.892, 6.222, 7.812",\
                 "1.347, 1.409, 1.582, 1.887, 2.358, 3.017, 3.883, 4.974, 6.304, 7.893",\
                 "1.518, 1.58, 1.753, 2.059, 2.53, 3.189, 4.055, 5.145, 6.475, 8.064",\
                 "1.794, 1.856, 2.029, 2.335, 2.806, 3.465, 4.331, 5.421, 6.751, 8.341",\
                 "2.143, 2.205, 2.379, 2.684, 3.155, 3.814, 4.68, 5.77, 7.102, 8.689",\
                 "2.525, 2.588, 2.763, 3.068, 3.538, 4.197, 5.063, 6.154, 7.483, 9.07",\
                 "2.945, 3.008, 3.185, 3.489, 3.96, 4.618, 5.485, 6.575, 7.906, 9.492",\
                 "3.41, 3.475, 3.651, 3.957, 4.428, 5.087, 5.953, 7.043, 8.373, 9.959",\
                 "3.93, 3.996, 4.174, 4.48, 4.95, 5.608, 6.474, 7.565, 8.895, 10.48");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.008761, 0.03601, 0.08803, 0.1691, 0.2828, 0.4325, 0.621, 0.8512, 1.125");
          values("0.164, 0.2168, 0.358, 0.5962, 0.9706, 1.52, 2.268, 3.22, 4.389, 5.786",\
                 "0.1638, 0.2166, 0.3576, 0.5962, 0.9696, 1.519, 2.268, 3.221, 4.388, 5.786",\
                 "0.1638, 0.217, 0.3584, 0.5958, 0.97, 1.521, 2.268, 3.22, 4.387, 5.787",\
                 "0.1644, 0.2168, 0.3574, 0.5954, 0.9702, 1.521, 2.267, 3.22, 4.386, 5.784",\
                 "0.1644, 0.2174, 0.3576, 0.5954, 0.9704, 1.519, 2.269, 3.222, 4.39, 5.783",\
                 "0.1656, 0.2176, 0.3584, 0.5958, 0.9698, 1.52, 2.266, 3.22, 4.387, 5.787",\
                 "0.1666, 0.2188, 0.359, 0.5966, 0.971, 1.521, 2.265, 3.217, 4.385, 5.782",\
                 "0.1676, 0.22, 0.3602, 0.5976, 0.972, 1.52, 2.266, 3.217, 4.382, 5.773",\
                 "0.1698, 0.222, 0.3616, 0.5986, 0.9726, 1.52, 2.266, 3.22, 4.384, 5.772",\
                 "0.1724, 0.2242, 0.3642, 0.6002, 0.973, 1.521, 2.266, 3.222, 4.384, 5.772");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.008761, 0.03601, 0.08803, 0.1691, 0.2828, 0.4325, 0.621, 0.8512, 1.125");
          values("0.1484, 0.2186, 0.461, 0.9628, 1.762, 2.88, 4.357, 6.219, 8.494, 11.22",\
                 "0.149, 0.2188, 0.4618, 0.963, 1.762, 2.883, 4.359, 6.224, 8.502, 11.22",\
                 "0.1488, 0.2188, 0.461, 0.9632, 1.762, 2.882, 4.359, 6.224, 8.503, 11.22",\
                 "0.1496, 0.2194, 0.4612, 0.9634, 1.76, 2.882, 4.357, 6.219, 8.494, 11.22",\
                 "0.1502, 0.2196, 0.4612, 0.9634, 1.762, 2.884, 4.36, 6.224, 8.502, 11.22",\
                 "0.1518, 0.2212, 0.4626, 0.9638, 1.761, 2.883, 4.363, 6.228, 8.506, 11.21",\
                 "0.156, 0.2252, 0.4652, 0.9632, 1.759, 2.884, 4.361, 6.223, 8.494, 11.21",\
                 "0.1594, 0.2292, 0.4676, 0.9634, 1.762, 2.882, 4.358, 6.219, 8.496, 11.2",\
                 "0.164, 0.233, 0.4682, 0.9652, 1.761, 2.882, 4.354, 6.22, 8.498, 11.21",\
                 "0.168, 0.238, 0.472, 0.968, 1.764, 2.88, 4.358, 6.216, 8.484, 11.2");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.008761, 0.03601, 0.08803, 0.1691, 0.2828, 0.4325, 0.621, 0.8512, 1.125");
          values("1.826, 1.884, 2.027, 2.23, 2.501, 2.859, 3.322, 3.904, 4.614, 5.459",\
                 "1.849, 1.906, 2.05, 2.253, 2.524, 2.881, 3.344, 3.926, 4.636, 5.482",\
                 "1.92, 1.978, 2.121, 2.324, 2.595, 2.953, 3.416, 3.998, 4.707, 5.554",\
                 "2.003, 2.061, 2.205, 2.408, 2.678, 3.036, 3.499, 4.081, 4.79, 5.637",\
                 "2.052, 2.11, 2.254, 2.457, 2.727, 3.085, 3.548, 4.13, 4.839, 5.686",\
                 "2.063, 2.121, 2.265, 2.468, 2.739, 3.096, 3.559, 4.141, 4.851, 5.697",\
                 "2.027, 2.084, 2.228, 2.431, 2.702, 3.059, 3.523, 4.104, 4.814, 5.66",\
                 "1.939, 1.997, 2.14, 2.343, 2.614, 2.972, 3.435, 4.016, 4.726, 5.571",\
                 "1.796, 1.854, 1.997, 2.2, 2.471, 2.828, 3.291, 3.873, 4.582, 5.428",\
                 "1.592, 1.65, 1.794, 1.997, 2.268, 2.625, 3.088, 3.67, 4.379, 5.225");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.008761, 0.03601, 0.08803, 0.1691, 0.2828, 0.4325, 0.621, 0.8512, 1.125");
          values("2.065, 2.118, 2.28, 2.584, 3.055, 3.714, 4.58, 5.671, 7.002, 8.589",\
                 "2.08, 2.132, 2.295, 2.598, 3.069, 3.728, 4.594, 5.685, 7.015, 8.602",\
                 "2.158, 2.21, 2.373, 2.677, 3.148, 3.807, 4.673, 5.764, 7.094, 8.68",\
                 "2.337, 2.389, 2.551, 2.856, 3.327, 3.986, 4.851, 5.943, 7.274, 8.859",\
                 "2.619, 2.671, 2.834, 3.137, 3.609, 4.267, 5.133, 6.225, 7.555, 9.141",\
                 "2.967, 3.019, 3.182, 3.486, 3.957, 4.616, 5.482, 6.572, 7.903, 9.49",\
                 "3.368, 3.421, 3.583, 3.887, 4.358, 5.017, 5.883, 6.975, 8.304, 9.889",\
                 "3.832, 3.885, 4.047, 4.351, 4.822, 5.48, 6.347, 7.438, 8.77, 10.35",\
                 "4.368, 4.419, 4.582, 4.886, 5.357, 6.016, 6.882, 7.972, 9.302, 10.89",\
                 "4.979, 5.032, 5.194, 5.498, 5.969, 6.627, 7.494, 8.585, 9.914, 11.5");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.008761, 0.03601, 0.08803, 0.1691, 0.2828, 0.4325, 0.621, 0.8512, 1.125");
          values("0.164, 0.2168, 0.358, 0.5962, 0.9706, 1.52, 2.268, 3.22, 4.389, 5.786",\
                 "0.1638, 0.2166, 0.3576, 0.5962, 0.9696, 1.519, 2.268, 3.221, 4.388, 5.786",\
                 "0.1638, 0.217, 0.3584, 0.5958, 0.97, 1.521, 2.268, 3.22, 4.387, 5.787",\
                 "0.1644, 0.2168, 0.3574, 0.5954, 0.9702, 1.521, 2.267, 3.22, 4.386, 5.784",\
                 "0.1644, 0.2174, 0.3576, 0.5954, 0.9704, 1.519, 2.269, 3.222, 4.39, 5.783",\
                 "0.1656, 0.2176, 0.3584, 0.5958, 0.9698, 1.52, 2.266, 3.22, 4.387, 5.787",\
                 "0.1666, 0.2188, 0.359, 0.5966, 0.971, 1.521, 2.265, 3.217, 4.385, 5.782",\
                 "0.1676, 0.22, 0.3602, 0.5976, 0.972, 1.52, 2.266, 3.217, 4.382, 5.773",\
                 "0.1698, 0.222, 0.3616, 0.5986, 0.9726, 1.52, 2.266, 3.22, 4.384, 5.772",\
                 "0.1724, 0.2242, 0.3642, 0.6002, 0.973, 1.521, 2.266, 3.222, 4.384, 5.772");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.008761, 0.03601, 0.08803, 0.1691, 0.2828, 0.4325, 0.621, 0.8512, 1.125");
          values("0.1484, 0.2186, 0.461, 0.9628, 1.762, 2.88, 4.357, 6.219, 8.494, 11.22",\
                 "0.149, 0.2188, 0.4618, 0.963, 1.762, 2.883, 4.359, 6.224, 8.502, 11.22",\
                 "0.1488, 0.2188, 0.461, 0.9632, 1.762, 2.882, 4.359, 6.224, 8.503, 11.22",\
                 "0.1496, 0.2194, 0.4612, 0.9634, 1.76, 2.882, 4.357, 6.219, 8.494, 11.22",\
                 "0.1502, 0.2196, 0.4612, 0.9634, 1.762, 2.884, 4.36, 6.224, 8.502, 11.22",\
                 "0.1518, 0.2212, 0.4626, 0.9638, 1.761, 2.883, 4.363, 6.228, 8.506, 11.21",\
                 "0.156, 0.2252, 0.4652, 0.9632, 1.759, 2.884, 4.361, 6.223, 8.494, 11.21",\
                 "0.1594, 0.2292, 0.4676, 0.9634, 1.762, 2.882, 4.358, 6.219, 8.496, 11.2",\
                 "0.164, 0.233, 0.4682, 0.9652, 1.761, 2.882, 4.354, 6.22, 8.498, 11.21",\
                 "0.168, 0.238, 0.472, 0.968, 1.764, 2.88, 4.358, 6.216, 8.484, 11.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.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.008761, 0.03601, 0.08803, 0.1691, 0.2828, 0.4325, 0.621, 0.8512, 1.125");
          values("1.704, 1.764, 1.91, 2.116, 2.388, 2.747, 3.21, 3.792, 4.502, 5.348",\
                 "1.719, 1.778, 1.925, 2.13, 2.402, 2.761, 3.224, 3.806, 4.516, 5.362",\
                 "1.797, 1.857, 2.003, 2.208, 2.481, 2.839, 3.303, 3.885, 4.594, 5.441",\
                 "1.976, 2.035, 2.182, 2.387, 2.659, 3.018, 3.481, 4.063, 4.773, 5.619",\
                 "2.258, 2.317, 2.464, 2.669, 2.942, 3.3, 3.764, 4.346, 5.055, 5.901",\
                 "2.605, 2.665, 2.811, 3.017, 3.289, 3.647, 4.111, 4.692, 5.403, 6.249",\
                 "3.006, 3.065, 3.212, 3.418, 3.69, 4.048, 4.512, 5.094, 5.804, 6.65",\
                 "3.469, 3.528, 3.675, 3.881, 4.153, 4.511, 4.975, 5.556, 6.266, 7.112",\
                 "4.004, 4.064, 4.21, 4.416, 4.688, 5.047, 5.51, 6.093, 6.801, 7.647",\
                 "4.615, 4.674, 4.822, 5.027, 5.299, 5.658, 6.121, 6.703, 7.413, 8.259");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.008761, 0.03601, 0.08803, 0.1691, 0.2828, 0.4325, 0.621, 0.8512, 1.125");
          values("1.441, 1.502, 1.675, 1.981, 2.453, 3.111, 3.977, 5.067, 6.399, 7.984",\
                 "1.463, 1.525, 1.698, 2.004, 2.475, 3.134, 4, 5.09, 6.42, 8.01",\
                 "1.535, 1.596, 1.77, 2.075, 2.547, 3.206, 4.071, 5.162, 6.493, 8.081",\
                 "1.618, 1.68, 1.853, 2.158, 2.63, 3.289, 4.155, 5.245, 6.576, 8.163",\
                 "1.667, 1.729, 1.902, 2.208, 2.679, 3.337, 4.204, 5.294, 6.624, 8.214",\
                 "1.678, 1.739, 1.912, 2.218, 2.689, 3.348, 4.214, 5.305, 6.635, 8.225",\
                 "1.641, 1.703, 1.876, 2.182, 2.653, 3.312, 4.178, 5.269, 6.601, 8.185",\
                 "1.554, 1.615, 1.788, 2.094, 2.565, 3.224, 4.09, 5.18, 6.51, 8.096",\
                 "1.411, 1.472, 1.646, 1.951, 2.422, 3.081, 3.947, 5.037, 6.367, 7.952",\
                 "1.208, 1.27, 1.443, 1.748, 2.22, 2.878, 3.745, 4.834, 6.164, 7.75");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.008761, 0.03601, 0.08803, 0.1691, 0.2828, 0.4325, 0.621, 0.8512, 1.125");
          values("0.1634, 0.216, 0.357, 0.595, 0.97, 1.519, 2.268, 3.222, 4.391, 5.783",\
                 "0.1636, 0.2162, 0.3566, 0.5948, 0.969, 1.519, 2.268, 3.222, 4.391, 5.786",\
                 "0.1632, 0.216, 0.3568, 0.5952, 0.97, 1.52, 2.268, 3.222, 4.391, 5.784",\
                 "0.163, 0.216, 0.3572, 0.595, 0.9688, 1.521, 2.268, 3.22, 4.386, 5.787",\
                 "0.1632, 0.2162, 0.3566, 0.5948, 0.9694, 1.519, 2.268, 3.222, 4.391, 5.784",\
                 "0.163, 0.2162, 0.3568, 0.595, 0.97, 1.519, 2.268, 3.219, 4.389, 5.786",\
                 "0.1632, 0.2164, 0.357, 0.5952, 0.9686, 1.52, 2.268, 3.22, 4.389, 5.785",\
                 "0.1634, 0.216, 0.3572, 0.5952, 0.9698, 1.519, 2.265, 3.219, 4.388, 5.777",\
                 "0.1634, 0.2162, 0.357, 0.595, 0.971, 1.519, 2.266, 3.218, 4.382, 5.778",\
                 "0.164, 0.216, 0.358, 0.596, 0.968, 1.52, 2.266, 3.222, 4.388, 5.774");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.008761, 0.03601, 0.08803, 0.1691, 0.2828, 0.4325, 0.621, 0.8512, 1.125");
          values("0.1482, 0.2178, 0.4606, 0.9618, 1.76, 2.883, 4.363, 6.221, 8.496, 11.22",\
                 "0.148, 0.2178, 0.4606, 0.9628, 1.76, 2.881, 4.358, 6.219, 8.501, 11.21",\
                 "0.1492, 0.2176, 0.4616, 0.9632, 1.761, 2.884, 4.362, 6.228, 8.506, 11.21",\
                 "0.148, 0.2182, 0.4614, 0.963, 1.76, 2.882, 4.36, 6.217, 8.493, 11.22",\
                 "0.1482, 0.2182, 0.461, 0.963, 1.761, 2.881, 4.358, 6.222, 8.501, 11.21",\
                 "0.149, 0.2176, 0.461, 0.9628, 1.759, 2.884, 4.362, 6.226, 8.504, 11.21",\
                 "0.1486, 0.2186, 0.461, 0.962, 1.759, 2.88, 4.362, 6.229, 8.501, 11.22",\
                 "0.1484, 0.2176, 0.4622, 0.963, 1.761, 2.879, 4.356, 6.221, 8.488, 11.21",\
                 "0.1484, 0.2186, 0.4612, 0.9618, 1.762, 2.88, 4.356, 6.213, 8.484, 11.19",\
                 "0.1482, 0.2188, 0.4614, 0.9618, 1.76, 2.88, 4.357, 6.216, 8.488, 11.19");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.008761, 0.03601, 0.08803, 0.1691, 0.2828, 0.4325, 0.621, 0.8512, 1.125");
          values("1.631, 1.689, 1.832, 2.036, 2.306, 2.664, 3.127, 3.709, 4.418, 5.264",\
                 "1.65, 1.708, 1.851, 2.055, 2.325, 2.683, 3.146, 3.728, 4.437, 5.283",\
                 "1.731, 1.789, 1.933, 2.136, 2.406, 2.764, 3.227, 3.809, 4.519, 5.365",\
                 "1.903, 1.961, 2.104, 2.308, 2.578, 2.936, 3.399, 3.981, 4.69, 5.536",\
                 "2.178, 2.236, 2.379, 2.582, 2.853, 3.21, 3.673, 4.255, 4.965, 5.811",\
                 "2.518, 2.576, 2.719, 2.922, 3.193, 3.55, 4.013, 4.595, 5.305, 6.151",\
                 "2.89, 2.948, 3.092, 3.295, 3.566, 3.923, 4.386, 4.968, 5.678, 6.523",\
                 "3.301, 3.358, 3.502, 3.705, 3.976, 4.333, 4.796, 5.378, 6.088, 6.934",\
                 "3.759, 3.817, 3.96, 4.163, 4.433, 4.79, 5.253, 5.835, 6.544, 7.39",\
                 "4.272, 4.329, 4.472, 4.675, 4.946, 5.304, 5.767, 6.348, 7.058, 7.903");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.008761, 0.03601, 0.08803, 0.1691, 0.2828, 0.4325, 0.621, 0.8512, 1.125");
          values("1.371, 1.424, 1.586, 1.89, 2.361, 3.02, 3.886, 4.977, 6.307, 7.894",\
                 "1.392, 1.444, 1.606, 1.91, 2.381, 3.04, 3.907, 4.997, 6.327, 7.914",\
                 "1.445, 1.497, 1.659, 1.963, 2.434, 3.093, 3.959, 5.049, 6.38, 7.967",\
                 "1.536, 1.588, 1.75, 2.055, 2.525, 3.184, 4.051, 5.141, 6.472, 8.059",\
                 "1.64, 1.692, 1.854, 2.158, 2.629, 3.288, 4.154, 5.246, 6.577, 8.162",\
                 "1.727, 1.779, 1.941, 2.245, 2.716, 3.375, 4.241, 5.332, 6.662, 8.248",\
                 "1.786, 1.838, 2, 2.304, 2.775, 3.434, 4.3, 5.39, 6.721, 8.308",\
                 "1.814, 1.867, 2.029, 2.332, 2.804, 3.462, 4.328, 5.418, 6.749, 8.338",\
                 "1.805, 1.857, 2.02, 2.322, 2.794, 3.452, 4.318, 5.408, 6.739, 8.324",\
                 "1.754, 1.806, 1.968, 2.272, 2.743, 3.402, 4.269, 5.358, 6.688, 8.274");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.008761, 0.03601, 0.08803, 0.1691, 0.2828, 0.4325, 0.621, 0.8512, 1.125");
          values("0.1528, 0.2068, 0.3492, 0.5886, 0.9652, 1.516, 2.267, 3.221, 4.39, 5.779",\
                 "0.1528, 0.2068, 0.3496, 0.5884, 0.965, 1.516, 2.267, 3.22, 4.391, 5.785",\
                 "0.1528, 0.2066, 0.349, 0.5882, 0.9656, 1.516, 2.266, 3.219, 4.385, 5.787",\
                 "0.153, 0.207, 0.3494, 0.5886, 0.9648, 1.516, 2.266, 3.221, 4.387, 5.782",\
                 "0.1528, 0.2068, 0.3492, 0.5888, 0.9644, 1.516, 2.267, 3.221, 4.391, 5.787",\
                 "0.153, 0.2066, 0.3488, 0.5886, 0.9652, 1.518, 2.266, 3.217, 4.385, 5.784",\
                 "0.1528, 0.2068, 0.3496, 0.588, 0.964, 1.517, 2.266, 3.221, 4.387, 5.777",\
                 "0.1528, 0.2068, 0.3488, 0.5884, 0.9642, 1.516, 2.265, 3.218, 4.387, 5.782",\
                 "0.153, 0.207, 0.3484, 0.5884, 0.9642, 1.516, 2.264, 3.216, 4.382, 5.772",\
                 "0.152, 0.206, 0.348, 0.588, 0.964, 1.518, 2.264, 3.216, 4.384, 5.772");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.008761, 0.03601, 0.08803, 0.1691, 0.2828, 0.4325, 0.621, 0.8512, 1.125");
          values("0.1224, 0.1882, 0.4448, 0.9574, 1.755, 2.879, 4.361, 6.227, 8.5, 11.22",\
                 "0.1224, 0.189, 0.4448, 0.9574, 1.756, 2.881, 4.361, 6.216, 8.492, 11.21",\
                 "0.1228, 0.189, 0.4448, 0.9572, 1.757, 2.878, 4.359, 6.226, 8.502, 11.21",\
                 "0.123, 0.189, 0.4452, 0.9574, 1.756, 2.881, 4.361, 6.226, 8.502, 11.21",\
                 "0.1232, 0.1888, 0.445, 0.957, 1.757, 2.881, 4.358, 6.226, 8.499, 11.2",\
                 "0.1226, 0.1886, 0.4448, 0.9558, 1.757, 2.877, 4.357, 6.217, 8.492, 11.21",\
                 "0.1228, 0.189, 0.4448, 0.9572, 1.757, 2.876, 4.358, 6.219, 8.502, 11.21",\
                 "0.1234, 0.1882, 0.4448, 0.9574, 1.757, 2.875, 4.352, 6.211, 8.486, 11.21",\
                 "0.1234, 0.1884, 0.445, 0.9558, 1.756, 2.878, 4.351, 6.21, 8.487, 11.2",\
                 "0.123, 0.1892, 0.4448, 0.9572, 1.757, 2.881, 4.354, 6.216, 8.48, 11.19");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.008761, 0.03601, 0.08803, 0.1691, 0.2828, 0.4325, 0.621, 0.8512, 1.125");
          values("1.704, 1.764, 1.91, 2.116, 2.388, 2.747, 3.21, 3.792, 4.502, 5.348",\
                 "1.719, 1.778, 1.925, 2.13, 2.402, 2.761, 3.224, 3.806, 4.516, 5.362",\
                 "1.797, 1.857, 2.003, 2.208, 2.481, 2.839, 3.303, 3.885, 4.594, 5.441",\
                 "1.976, 2.035, 2.182, 2.387, 2.659, 3.018, 3.481, 4.063, 4.773, 5.619",\
                 "2.258, 2.317, 2.464, 2.669, 2.942, 3.3, 3.764, 4.346, 5.055, 5.901",\
                 "2.605, 2.665, 2.811, 3.017, 3.289, 3.647, 4.111, 4.692, 5.403, 6.249",\
                 "3.006, 3.065, 3.212, 3.418, 3.69, 4.048, 4.512, 5.094, 5.804, 6.65",\
                 "3.469, 3.528, 3.675, 3.881, 4.153, 4.511, 4.975, 5.556, 6.266, 7.112",\
                 "4.004, 4.064, 4.21, 4.416, 4.688, 5.047, 5.51, 6.093, 6.801, 7.647",\
                 "4.615, 4.674, 4.822, 5.027, 5.299, 5.658, 6.121, 6.703, 7.413, 8.259");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.008761, 0.03601, 0.08803, 0.1691, 0.2828, 0.4325, 0.621, 0.8512, 1.125");
          values("1.371, 1.424, 1.586, 1.89, 2.361, 3.02, 3.886, 4.977, 6.307, 7.894",\
                 "1.392, 1.444, 1.606, 1.91, 2.381, 3.04, 3.907, 4.997, 6.327, 7.914",\
                 "1.445, 1.497, 1.659, 1.963, 2.434, 3.093, 3.959, 5.049, 6.38, 7.967",\
                 "1.536, 1.588, 1.75, 2.055, 2.525, 3.184, 4.051, 5.141, 6.472, 8.059",\
                 "1.64, 1.692, 1.854, 2.158, 2.629, 3.288, 4.154, 5.246, 6.577, 8.162",\
                 "1.727, 1.779, 1.941, 2.245, 2.716, 3.375, 4.241, 5.332, 6.662, 8.248",\
                 "1.786, 1.838, 2, 2.304, 2.775, 3.434, 4.3, 5.39, 6.721, 8.308",\
                 "1.814, 1.867, 2.029, 2.332, 2.804, 3.462, 4.328, 5.418, 6.749, 8.338",\
                 "1.805, 1.857, 2.02, 2.322, 2.794, 3.452, 4.318, 5.408, 6.739, 8.324",\
                 "1.754, 1.806, 1.968, 2.272, 2.743, 3.402, 4.269, 5.358, 6.688, 8.274");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.008761, 0.03601, 0.08803, 0.1691, 0.2828, 0.4325, 0.621, 0.8512, 1.125");
          values("0.1528, 0.2068, 0.3492, 0.5886, 0.9652, 1.516, 2.267, 3.221, 4.39, 5.779",\
                 "0.1528, 0.2068, 0.3496, 0.5884, 0.965, 1.516, 2.267, 3.22, 4.391, 5.785",\
                 "0.1528, 0.2066, 0.349, 0.5882, 0.9656, 1.516, 2.266, 3.219, 4.385, 5.787",\
                 "0.153, 0.207, 0.3494, 0.5886, 0.9648, 1.516, 2.266, 3.221, 4.387, 5.782",\
                 "0.1528, 0.2068, 0.3492, 0.5888, 0.9644, 1.516, 2.267, 3.221, 4.391, 5.787",\
                 "0.153, 0.2066, 0.3488, 0.5886, 0.9652, 1.518, 2.266, 3.217, 4.385, 5.784",\
                 "0.1528, 0.2068, 0.3496, 0.588, 0.964, 1.517, 2.266, 3.221, 4.387, 5.777",\
                 "0.1528, 0.2068, 0.3488, 0.5884, 0.9642, 1.516, 2.265, 3.218, 4.387, 5.782",\
                 "0.153, 0.207, 0.3484, 0.5884, 0.9642, 1.516, 2.264, 3.216, 4.382, 5.772",\
                 "0.152, 0.206, 0.348, 0.588, 0.964, 1.518, 2.264, 3.216, 4.384, 5.772");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.008761, 0.03601, 0.08803, 0.1691, 0.2828, 0.4325, 0.621, 0.8512, 1.125");
          values("0.1482, 0.2178, 0.4606, 0.9618, 1.76, 2.883, 4.363, 6.221, 8.496, 11.22",\
                 "0.148, 0.2178, 0.4606, 0.9628, 1.76, 2.881, 4.358, 6.219, 8.501, 11.21",\
                 "0.1492, 0.2176, 0.4616, 0.9632, 1.761, 2.884, 4.362, 6.228, 8.506, 11.21",\
                 "0.148, 0.2182, 0.4614, 0.963, 1.76, 2.882, 4.36, 6.217, 8.493, 11.22",\
                 "0.1482, 0.2182, 0.461, 0.963, 1.761, 2.881, 4.358, 6.222, 8.501, 11.21",\
                 "0.149, 0.2176, 0.461, 0.9628, 1.759, 2.884, 4.362, 6.226, 8.504, 11.21",\
                 "0.1486, 0.2186, 0.461, 0.962, 1.759, 2.88, 4.362, 6.229, 8.501, 11.22",\
                 "0.1484, 0.2176, 0.4622, 0.963, 1.761, 2.879, 4.356, 6.221, 8.488, 11.21",\
                 "0.1484, 0.2186, 0.4612, 0.9618, 1.762, 2.88, 4.356, 6.213, 8.484, 11.19",\
                 "0.1482, 0.2188, 0.4614, 0.9618, 1.76, 2.88, 4.357, 6.216, 8.488, 11.19");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.008761, 0.03601, 0.08803, 0.1691, 0.2828, 0.4325, 0.621, 0.8512, 1.125");
          values("0.8376, 0.8971, 1.044, 1.249, 1.522, 1.88, 2.344, 2.925, 3.635, 4.481",\
                 "0.8599, 0.9192, 1.066, 1.271, 1.544, 1.902, 2.366, 2.948, 3.657, 4.503",\
                 "0.9294, 0.9889, 1.136, 1.341, 1.613, 1.972, 2.435, 3.017, 3.727, 4.573",\
                 "1.019, 1.078, 1.225, 1.43, 1.702, 2.061, 2.524, 3.106, 3.816, 4.662",\
                 "1.094, 1.152, 1.297, 1.502, 1.774, 2.133, 2.596, 3.178, 3.888, 4.734",\
                 "1.138, 1.196, 1.342, 1.546, 1.818, 2.176, 2.64, 3.222, 3.932, 4.778",\
                 "1.152, 1.211, 1.356, 1.56, 1.832, 2.191, 2.654, 3.236, 3.946, 4.792",\
                 "1.133, 1.192, 1.336, 1.542, 1.813, 2.171, 2.635, 3.217, 3.926, 4.772",\
                 "1.078, 1.137, 1.282, 1.487, 1.759, 2.117, 2.581, 3.163, 3.872, 4.718",\
                 "0.9857, 1.044, 1.19, 1.395, 1.667, 2.026, 2.489, 3.071, 3.781, 4.626");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.008761, 0.03601, 0.08803, 0.1691, 0.2828, 0.4325, 0.621, 0.8512, 1.125");
          values("0.9808, 1.033, 1.195, 1.499, 1.97, 2.629, 3.495, 4.585, 5.916, 7.504",\
                 "0.9994, 1.051, 1.214, 1.518, 1.989, 2.648, 3.514, 4.605, 5.936, 7.523",\
                 "1.064, 1.116, 1.278, 1.582, 2.053, 2.712, 3.578, 4.668, 6, 7.587",\
                 "1.185, 1.238, 1.4, 1.704, 2.175, 2.834, 3.7, 4.791, 6.122, 7.709",\
                 "1.366, 1.418, 1.581, 1.885, 2.355, 3.014, 3.881, 4.971, 6.302, 7.889",\
                 "1.593, 1.646, 1.809, 2.112, 2.583, 3.242, 4.109, 5.199, 6.53, 8.117",\
                 "1.869, 1.922, 2.085, 2.388, 2.859, 3.518, 4.383, 5.475, 6.806, 8.392",\
                 "2.195, 2.249, 2.412, 2.715, 3.186, 3.844, 4.71, 5.8, 7.131, 8.717",\
                 "2.571, 2.626, 2.788, 3.092, 3.562, 4.221, 5.087, 6.176, 7.506, 9.092",\
                 "2.995, 3.051, 3.214, 3.517, 3.988, 4.646, 5.513, 6.603, 7.933, 9.517");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.008761, 0.03601, 0.08803, 0.1691, 0.2828, 0.4325, 0.621, 0.8512, 1.125");
          values("0.1628, 0.2157, 0.3565, 0.595, 0.97, 1.521, 2.268, 3.219, 4.39, 5.78",\
                 "0.1629, 0.2159, 0.3566, 0.5946, 0.969, 1.519, 2.268, 3.222, 4.39, 5.782",\
                 "0.1628, 0.2156, 0.3564, 0.5952, 0.9694, 1.52, 2.268, 3.222, 4.39, 5.787",\
                 "0.1628, 0.2158, 0.3572, 0.5952, 0.969, 1.519, 2.268, 3.222, 4.391, 5.786",\
                 "0.1566, 0.2106, 0.3532, 0.5928, 0.9684, 1.519, 2.266, 3.222, 4.387, 5.779",\
                 "0.1558, 0.2104, 0.3528, 0.592, 0.9678, 1.518, 2.267, 3.22, 4.391, 5.785",\
                 "0.1556, 0.2102, 0.353, 0.5926, 0.9674, 1.518, 2.266, 3.217, 4.385, 5.78",\
                 "0.1562, 0.2106, 0.353, 0.593, 0.9682, 1.518, 2.265, 3.217, 4.382, 5.774",\
                 "0.1574, 0.2114, 0.3538, 0.5932, 0.9678, 1.518, 2.268, 3.219, 4.382, 5.775",\
                 "0.1584, 0.2128, 0.3552, 0.594, 0.9682, 1.52, 2.266, 3.217, 4.383, 5.774");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.008761, 0.03601, 0.08803, 0.1691, 0.2828, 0.4325, 0.621, 0.8512, 1.125");
          values("0.1223, 0.1888, 0.4448, 0.9568, 1.757, 2.881, 4.361, 6.225, 8.501, 11.21",\
                 "0.1224, 0.1886, 0.4448, 0.9562, 1.757, 2.876, 4.36, 6.227, 8.503, 11.21",\
                 "0.1224, 0.189, 0.445, 0.9576, 1.756, 2.881, 4.361, 6.224, 8.502, 11.21",\
                 "0.1228, 0.1888, 0.4448, 0.956, 1.757, 2.88, 4.361, 6.227, 8.502, 11.21",\
                 "0.1248, 0.1896, 0.4452, 0.9576, 1.757, 2.881, 4.361, 6.225, 8.501, 11.21",\
                 "0.127, 0.191, 0.4454, 0.9552, 1.757, 2.881, 4.361, 6.225, 8.499, 11.21",\
                 "0.1294, 0.193, 0.4456, 0.9576, 1.754, 2.876, 4.355, 6.221, 8.501, 11.21",\
                 "0.1314, 0.1946, 0.446, 0.9566, 1.755, 2.879, 4.35, 6.214, 8.496, 11.21",\
                 "0.1344, 0.1966, 0.4468, 0.9584, 1.756, 2.878, 4.352, 6.207, 8.494, 11.2",\
                 "0.1378, 0.1994, 0.447, 0.958, 1.756, 2.878, 4.354, 6.212, 8.478, 11.19");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.008761, 0.03601, 0.08803, 0.1691, 0.2828, 0.4325, 0.621, 0.8512, 1.125");
          values("0.8397, 0.8993, 1.046, 1.252, 1.524, 1.883, 2.346, 2.928, 3.638, 4.483",\
                 "0.862, 0.9216, 1.069, 1.274, 1.546, 1.905, 2.368, 2.95, 3.66, 4.506",\
                 "0.9318, 0.9914, 1.138, 1.344, 1.616, 1.974, 2.438, 3.02, 3.73, 4.576",\
                 "1.022, 1.082, 1.229, 1.434, 1.706, 2.065, 2.528, 3.11, 3.82, 4.666",\
                 "1.097, 1.155, 1.301, 1.506, 1.778, 2.137, 2.601, 3.183, 3.892, 4.738",\
                 "1.141, 1.2, 1.345, 1.55, 1.821, 2.18, 2.644, 3.226, 3.936, 4.782",\
                 "1.155, 1.213, 1.36, 1.564, 1.836, 2.194, 2.658, 3.239, 3.949, 4.795",\
                 "1.136, 1.195, 1.34, 1.545, 1.816, 2.175, 2.638, 3.22, 3.93, 4.775",\
                 "1.081, 1.139, 1.285, 1.491, 1.763, 2.121, 2.585, 3.166, 3.876, 4.721",\
                 "0.9879, 1.047, 1.192, 1.397, 1.67, 2.028, 2.492, 3.074, 3.784, 4.629");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.008761, 0.03601, 0.08803, 0.1691, 0.2828, 0.4325, 0.621, 0.8512, 1.125");
          values("0.983, 1.035, 1.197, 1.501, 1.972, 2.631, 3.497, 4.589, 5.92, 7.505",\
                 "1.002, 1.054, 1.216, 1.52, 1.991, 2.65, 3.516, 4.607, 5.938, 7.524",\
                 "1.066, 1.118, 1.28, 1.584, 2.055, 2.714, 3.58, 4.67, 6, 7.588",\
                 "1.187, 1.239, 1.401, 1.705, 2.176, 2.835, 3.701, 4.792, 6.123, 7.71",\
                 "1.367, 1.419, 1.581, 1.885, 2.356, 3.015, 3.881, 4.973, 6.304, 7.889",\
                 "1.594, 1.647, 1.809, 2.113, 2.583, 3.243, 4.109, 5.2, 6.53, 8.117",\
                 "1.87, 1.923, 2.086, 2.389, 2.859, 3.518, 4.385, 5.475, 6.806, 8.392",\
                 "2.196, 2.25, 2.413, 2.716, 3.186, 3.845, 4.711, 5.8, 7.132, 8.72",\
                 "2.572, 2.627, 2.789, 3.092, 3.563, 4.221, 5.087, 6.177, 7.507, 9.094",\
                 "2.996, 3.051, 3.214, 3.518, 3.988, 4.647, 5.513, 6.602, 7.933, 9.518");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.008761, 0.03601, 0.08803, 0.1691, 0.2828, 0.4325, 0.621, 0.8512, 1.125");
          values("0.1635, 0.2159, 0.3576, 0.5952, 0.9702, 1.521, 2.269, 3.222, 4.39, 5.782",\
                 "0.1634, 0.2162, 0.357, 0.595, 0.97, 1.52, 2.269, 3.221, 4.39, 5.781",\
                 "0.1634, 0.216, 0.357, 0.5954, 0.9694, 1.519, 2.268, 3.222, 4.39, 5.786",\
                 "0.1634, 0.2164, 0.3572, 0.5956, 0.9694, 1.52, 2.268, 3.219, 4.39, 5.786",\
                 "0.1572, 0.2112, 0.3534, 0.5934, 0.9692, 1.519, 2.269, 3.222, 4.389, 5.787",\
                 "0.1558, 0.2102, 0.3528, 0.593, 0.9676, 1.519, 2.267, 3.219, 4.39, 5.784",\
                 "0.156, 0.2104, 0.3534, 0.5928, 0.9688, 1.519, 2.265, 3.217, 4.384, 5.779",\
                 "0.1566, 0.2108, 0.3534, 0.5932, 0.968, 1.519, 2.266, 3.219, 4.382, 5.774",\
                 "0.1574, 0.2118, 0.3544, 0.593, 0.9688, 1.519, 2.266, 3.217, 4.383, 5.771",\
                 "0.1588, 0.213, 0.355, 0.5942, 0.969, 1.52, 2.267, 3.216, 4.382, 5.772");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.008761, 0.03601, 0.08803, 0.1691, 0.2828, 0.4325, 0.621, 0.8512, 1.125");
          values("0.1226, 0.189, 0.4448, 0.9576, 1.757, 2.878, 4.359, 6.226, 8.5, 11.2",\
                 "0.1224, 0.1888, 0.445, 0.956, 1.756, 2.877, 4.36, 6.227, 8.502, 11.21",\
                 "0.1222, 0.189, 0.445, 0.9572, 1.755, 2.88, 4.359, 6.22, 8.497, 11.21",\
                 "0.1234, 0.1888, 0.4446, 0.957, 1.757, 2.88, 4.361, 6.227, 8.502, 11.21",\
                 "0.1246, 0.1898, 0.4456, 0.9576, 1.757, 2.878, 4.359, 6.226, 8.501, 11.2",\
                 "0.1268, 0.1912, 0.4448, 0.956, 1.757, 2.878, 4.361, 6.219, 8.498, 11.21",\
                 "0.1288, 0.1936, 0.4456, 0.9552, 1.755, 2.875, 4.356, 6.223, 8.502, 11.21",\
                 "0.1314, 0.195, 0.446, 0.9572, 1.755, 2.875, 4.35, 6.209, 8.484, 11.21",\
                 "0.1342, 0.1964, 0.4466, 0.9588, 1.756, 2.876, 4.354, 6.208, 8.488, 11.2",\
                 "0.1376, 0.2002, 0.448, 0.958, 1.758, 2.88, 4.354, 6.214, 8.478, 11.19");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.008761, 0.03601, 0.08803, 0.1691, 0.2828, 0.4325, 0.621, 0.8512, 1.125");
          values("0.8397, 0.8993, 1.046, 1.252, 1.524, 1.883, 2.346, 2.928, 3.638, 4.483",\
                 "0.862, 0.9216, 1.069, 1.274, 1.546, 1.905, 2.368, 2.95, 3.66, 4.506",\
                 "0.9318, 0.9914, 1.138, 1.344, 1.616, 1.974, 2.438, 3.02, 3.73, 4.576",\
                 "1.022, 1.082, 1.229, 1.434, 1.706, 2.065, 2.528, 3.11, 3.82, 4.666",\
                 "1.097, 1.155, 1.301, 1.506, 1.778, 2.137, 2.601, 3.183, 3.892, 4.738",\
                 "1.141, 1.2, 1.345, 1.55, 1.821, 2.18, 2.644, 3.226, 3.936, 4.782",\
                 "1.155, 1.213, 1.36, 1.564, 1.836, 2.194, 2.658, 3.239, 3.949, 4.795",\
                 "1.136, 1.195, 1.34, 1.545, 1.816, 2.175, 2.638, 3.22, 3.93, 4.775",\
                 "1.081, 1.139, 1.285, 1.491, 1.763, 2.121, 2.585, 3.166, 3.876, 4.721",\
                 "0.9879, 1.047, 1.192, 1.397, 1.67, 2.028, 2.492, 3.074, 3.784, 4.629");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.008761, 0.03601, 0.08803, 0.1691, 0.2828, 0.4325, 0.621, 0.8512, 1.125");
          values("0.983, 1.035, 1.197, 1.501, 1.972, 2.631, 3.497, 4.589, 5.92, 7.505",\
                 "1.002, 1.054, 1.216, 1.52, 1.991, 2.65, 3.516, 4.607, 5.938, 7.524",\
                 "1.066, 1.118, 1.28, 1.584, 2.055, 2.714, 3.58, 4.67, 6, 7.588",\
                 "1.187, 1.239, 1.401, 1.705, 2.176, 2.835, 3.701, 4.792, 6.123, 7.71",\
                 "1.367, 1.419, 1.581, 1.885, 2.356, 3.015, 3.881, 4.973, 6.304, 7.889",\
                 "1.594, 1.647, 1.809, 2.113, 2.583, 3.243, 4.109, 5.2, 6.53, 8.117",\
                 "1.87, 1.923, 2.086, 2.389, 2.859, 3.518, 4.385, 5.475, 6.806, 8.392",\
                 "2.196, 2.25, 2.413, 2.716, 3.186, 3.845, 4.711, 5.8, 7.132, 8.72",\
                 "2.572, 2.627, 2.789, 3.092, 3.563, 4.221, 5.087, 6.177, 7.507, 9.094",\
                 "2.996, 3.051, 3.214, 3.518, 3.988, 4.647, 5.513, 6.602, 7.933, 9.518");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.008761, 0.03601, 0.08803, 0.1691, 0.2828, 0.4325, 0.621, 0.8512, 1.125");
          values("0.1628, 0.2157, 0.3565, 0.595, 0.97, 1.521, 2.268, 3.219, 4.39, 5.78",\
                 "0.1629, 0.2159, 0.3566, 0.5946, 0.969, 1.519, 2.268, 3.222, 4.39, 5.782",\
                 "0.1628, 0.2156, 0.3564, 0.5952, 0.9694, 1.52, 2.268, 3.222, 4.39, 5.787",\
                 "0.1628, 0.2158, 0.3572, 0.5952, 0.969, 1.519, 2.268, 3.222, 4.391, 5.786",\
                 "0.1566, 0.2106, 0.3532, 0.5928, 0.9684, 1.519, 2.266, 3.222, 4.387, 5.779",\
                 "0.1558, 0.2104, 0.3528, 0.592, 0.9678, 1.518, 2.267, 3.22, 4.391, 5.785",\
                 "0.1556, 0.2102, 0.353, 0.5926, 0.9674, 1.518, 2.266, 3.217, 4.385, 5.78",\
                 "0.1562, 0.2106, 0.353, 0.593, 0.9682, 1.518, 2.265, 3.217, 4.382, 5.774",\
                 "0.1574, 0.2114, 0.3538, 0.5932, 0.9678, 1.518, 2.268, 3.219, 4.382, 5.775",\
                 "0.1584, 0.2128, 0.3552, 0.594, 0.9682, 1.52, 2.266, 3.217, 4.383, 5.774");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.008761, 0.03601, 0.08803, 0.1691, 0.2828, 0.4325, 0.621, 0.8512, 1.125");
          values("0.1226, 0.189, 0.4448, 0.9576, 1.757, 2.878, 4.359, 6.226, 8.5, 11.2",\
                 "0.1224, 0.1888, 0.445, 0.956, 1.756, 2.877, 4.36, 6.227, 8.502, 11.21",\
                 "0.1222, 0.189, 0.445, 0.9572, 1.755, 2.88, 4.359, 6.22, 8.497, 11.21",\
                 "0.1234, 0.1888, 0.4446, 0.957, 1.757, 2.88, 4.361, 6.227, 8.502, 11.21",\
                 "0.1246, 0.1898, 0.4456, 0.9576, 1.757, 2.878, 4.359, 6.226, 8.501, 11.2",\
                 "0.1268, 0.1912, 0.4448, 0.956, 1.757, 2.878, 4.361, 6.219, 8.498, 11.21",\
                 "0.1288, 0.1936, 0.4456, 0.9552, 1.755, 2.875, 4.356, 6.223, 8.502, 11.21",\
                 "0.1314, 0.195, 0.446, 0.9572, 1.755, 2.875, 4.35, 6.209, 8.484, 11.21",\
                 "0.1342, 0.1964, 0.4466, 0.9588, 1.756, 2.876, 4.354, 6.208, 8.488, 11.2",\
                 "0.1376, 0.2002, 0.448, 0.958, 1.758, 2.88, 4.354, 6.214, 8.478, 11.19");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.008761, 0.03601, 0.08803, 0.1691, 0.2828, 0.4325, 0.621, 0.8512, 1.125");
          values("0.5122, 0.57, 0.714, 0.9173, 1.188, 1.546, 2.009, 2.591, 3.3, 4.146",\
                 "0.5286, 0.5864, 0.7306, 0.9341, 1.205, 1.562, 2.026, 2.607, 3.317, 4.162",\
                 "0.6053, 0.6629, 0.8068, 1.01, 1.281, 1.639, 2.102, 2.684, 3.393, 4.239",\
                 "0.7765, 0.8342, 0.978, 1.181, 1.452, 1.81, 2.273, 2.855, 3.565, 4.411",\
                 "1.004, 1.067, 1.217, 1.425, 1.698, 2.057, 2.52, 3.101, 3.811, 4.657",\
                 "1.256, 1.324, 1.485, 1.7, 1.977, 2.339, 2.803, 3.384, 4.094, 4.94",\
                 "1.542, 1.614, 1.787, 2.008, 2.289, 2.652, 3.118, 3.701, 4.411, 5.256",\
                 "1.869, 1.945, 2.129, 2.36, 2.645, 3.008, 3.474, 4.057, 4.768, 5.614",\
                 "2.243, 2.323, 2.517, 2.758, 3.048, 3.413, 3.878, 4.46, 5.171, 6.019",\
                 "2.663, 2.748, 2.952, 3.206, 3.503, 3.871, 4.336, 4.917, 5.628, 6.474");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.008761, 0.03601, 0.08803, 0.1691, 0.2828, 0.4325, 0.621, 0.8512, 1.125");
          values("0.3342, 0.3919, 0.562, 0.8676, 1.339, 1.998, 2.863, 3.954, 5.284, 6.872",\
                 "0.3548, 0.4125, 0.5827, 0.8881, 1.359, 2.018, 2.884, 3.974, 5.307, 6.895",\
                 "0.4272, 0.4845, 0.6541, 0.9594, 1.431, 2.089, 2.955, 4.045, 5.379, 6.963",\
                 "0.5277, 0.5871, 0.7587, 1.063, 1.534, 2.193, 3.06, 4.151, 5.483, 7.072",\
                 "0.6054, 0.6687, 0.8427, 1.148, 1.62, 2.279, 3.145, 4.235, 5.569, 7.158",\
                 "0.656, 0.7243, 0.903, 1.208, 1.678, 2.338, 3.204, 4.294, 5.629, 7.216",\
                 "0.6787, 0.7519, 0.9373, 1.242, 1.711, 2.37, 3.237, 4.327, 5.659, 7.247",\
                 "0.6677, 0.7472, 0.9428, 1.248, 1.716, 2.373, 3.24, 4.332, 5.663, 7.248",\
                 "0.6206, 0.7053, 0.9132, 1.223, 1.69, 2.347, 3.213, 4.303, 5.635, 7.221",\
                 "0.5351, 0.6243, 0.8454, 1.161, 1.631, 2.288, 3.152, 4.242, 5.574, 7.16");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.008761, 0.03601, 0.08803, 0.1691, 0.2828, 0.4325, 0.621, 0.8512, 1.125");
          values("0.1531, 0.2068, 0.3492, 0.5894, 0.9647, 1.516, 2.267, 3.221, 4.389, 5.787",\
                 "0.153, 0.207, 0.3494, 0.5888, 0.9662, 1.517, 2.267, 3.217, 4.389, 5.78",\
                 "0.1529, 0.2071, 0.3492, 0.5894, 0.9644, 1.517, 2.267, 3.221, 4.389, 5.787",\
                 "0.1558, 0.2094, 0.3512, 0.59, 0.966, 1.518, 2.267, 3.219, 4.391, 5.785",\
                 "0.181, 0.2334, 0.3704, 0.6032, 0.9718, 1.519, 2.267, 3.219, 4.39, 5.786",\
                 "0.2072, 0.2638, 0.3976, 0.6244, 0.99, 1.531, 2.273, 3.221, 4.39, 5.783",\
                 "0.2308, 0.2908, 0.4288, 0.6464, 1.003, 1.541, 2.281, 3.228, 4.391, 5.78",\
                 "0.2524, 0.3154, 0.461, 0.6698, 1.017, 1.547, 2.284, 3.233, 4.395, 5.783",\
                 "0.2758, 0.3416, 0.4946, 0.698, 1.034, 1.555, 2.287, 3.233, 4.399, 5.789",\
                 "0.3022, 0.3714, 0.533, 0.7338, 1.055, 1.566, 2.29, 3.238, 4.398, 5.788");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.008761, 0.03601, 0.08803, 0.1691, 0.2828, 0.4325, 0.621, 0.8512, 1.125");
          values("0.1327, 0.2042, 0.453, 0.9609, 1.762, 2.885, 4.359, 6.224, 8.511, 11.22",\
                 "0.1335, 0.2036, 0.4535, 0.9604, 1.762, 2.885, 4.366, 6.232, 8.504, 11.21",\
                 "0.1333, 0.2043, 0.4537, 0.9614, 1.761, 2.884, 4.366, 6.231, 8.506, 11.23",\
                 "0.1456, 0.214, 0.4588, 0.9598, 1.76, 2.885, 4.366, 6.231, 8.507, 11.22",\
                 "0.1624, 0.2294, 0.4662, 0.9662, 1.762, 2.885, 4.366, 6.229, 8.501, 11.21",\
                 "0.183, 0.2492, 0.4756, 0.9688, 1.765, 2.887, 4.362, 6.228, 8.497, 11.22",\
                 "0.2024, 0.2738, 0.4892, 0.9712, 1.765, 2.888, 4.362, 6.228, 8.501, 11.2",\
                 "0.2252, 0.3006, 0.5094, 0.975, 1.768, 2.887, 4.363, 6.222, 8.499, 11.21",\
                 "0.2466, 0.3294, 0.5362, 0.9868, 1.77, 2.892, 4.37, 6.223, 8.491, 11.22",\
                 "0.2676, 0.3564, 0.5696, 1.003, 1.782, 2.893, 4.365, 6.223, 8.494, 11.2");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.008761, 0.03601, 0.08803, 0.1691, 0.2828, 0.4325, 0.621, 0.8512, 1.125");
          values("0.5122, 0.57, 0.714, 0.9173, 1.188, 1.546, 2.009, 2.591, 3.3, 4.146",\
                 "0.5286, 0.5864, 0.7305, 0.9341, 1.205, 1.562, 2.026, 2.607, 3.317, 4.162",\
                 "0.6053, 0.663, 0.8068, 1.01, 1.281, 1.639, 2.102, 2.684, 3.393, 4.239",\
                 "0.7767, 0.8342, 0.9779, 1.181, 1.452, 1.81, 2.273, 2.855, 3.565, 4.411",\
                 "1.004, 1.067, 1.217, 1.425, 1.698, 2.057, 2.52, 3.101, 3.811, 4.657",\
                 "1.256, 1.324, 1.485, 1.7, 1.977, 2.339, 2.803, 3.384, 4.094, 4.94",\
                 "1.541, 1.614, 1.787, 2.009, 2.29, 2.652, 3.118, 3.701, 4.411, 5.256",\
                 "1.869, 1.945, 2.128, 2.36, 2.645, 3.008, 3.474, 4.057, 4.768, 5.615",\
                 "2.243, 2.323, 2.517, 2.758, 3.048, 3.413, 3.878, 4.46, 5.171, 6.018",\
                 "2.663, 2.748, 2.952, 3.206, 3.503, 3.87, 4.336, 4.918, 5.628, 6.474");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.008761, 0.03601, 0.08803, 0.1691, 0.2828, 0.4325, 0.621, 0.8512, 1.125");
          values("0.3342, 0.3919, 0.562, 0.8676, 1.339, 1.998, 2.863, 3.954, 5.284, 6.872",\
                 "0.3549, 0.4125, 0.5827, 0.8881, 1.359, 2.018, 2.884, 3.974, 5.307, 6.895",\
                 "0.4272, 0.4845, 0.6541, 0.9593, 1.431, 2.09, 2.956, 4.045, 5.376, 6.96",\
                 "0.5277, 0.5871, 0.7587, 1.063, 1.534, 2.193, 3.06, 4.151, 5.483, 7.072",\
                 "0.6055, 0.6687, 0.8426, 1.148, 1.62, 2.279, 3.145, 4.236, 5.57, 7.158",\
                 "0.656, 0.7243, 0.903, 1.208, 1.678, 2.338, 3.204, 4.294, 5.628, 7.217",\
                 "0.6784, 0.7517, 0.9377, 1.241, 1.71, 2.369, 3.237, 4.327, 5.657, 7.247",\
                 "0.6677, 0.7472, 0.9428, 1.248, 1.716, 2.374, 3.24, 4.332, 5.663, 7.249",\
                 "0.6206, 0.7053, 0.9131, 1.222, 1.69, 2.347, 3.213, 4.303, 5.635, 7.221",\
                 "0.5351, 0.6243, 0.8454, 1.161, 1.631, 2.288, 3.152, 4.242, 5.573, 7.16");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.008761, 0.03601, 0.08803, 0.1691, 0.2828, 0.4325, 0.621, 0.8512, 1.125");
          values("0.1531, 0.2068, 0.3492, 0.5894, 0.9654, 1.516, 2.267, 3.221, 4.389, 5.787",\
                 "0.153, 0.207, 0.349, 0.5888, 0.9662, 1.517, 2.266, 3.221, 4.389, 5.781",\
                 "0.1532, 0.2072, 0.3491, 0.589, 0.9662, 1.516, 2.267, 3.22, 4.39, 5.776",\
                 "0.1554, 0.2094, 0.351, 0.59, 0.9648, 1.517, 2.265, 3.221, 4.388, 5.782",\
                 "0.1814, 0.2338, 0.3706, 0.6034, 0.9718, 1.52, 2.267, 3.22, 4.391, 5.781",\
                 "0.2074, 0.2636, 0.3976, 0.6246, 0.99, 1.531, 2.272, 3.219, 4.385, 5.786",\
                 "0.2308, 0.2908, 0.4286, 0.6468, 1.002, 1.54, 2.281, 3.227, 4.391, 5.779",\
                 "0.2524, 0.3154, 0.4606, 0.6698, 1.017, 1.547, 2.284, 3.233, 4.394, 5.781",\
                 "0.2758, 0.3416, 0.4946, 0.698, 1.034, 1.555, 2.287, 3.235, 4.401, 5.787",\
                 "0.3022, 0.3712, 0.5332, 0.7334, 1.056, 1.568, 2.292, 3.236, 4.398, 5.788");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.008761, 0.03601, 0.08803, 0.1691, 0.2828, 0.4325, 0.621, 0.8512, 1.125");
          values("0.1327, 0.2042, 0.453, 0.9609, 1.762, 2.885, 4.359, 6.224, 8.511, 11.22",\
                 "0.133, 0.2039, 0.4534, 0.9604, 1.76, 2.885, 4.366, 6.232, 8.504, 11.21",\
                 "0.1335, 0.2042, 0.4537, 0.9598, 1.761, 2.886, 4.365, 6.232, 8.511, 11.23",\
                 "0.1456, 0.214, 0.4588, 0.9598, 1.76, 2.885, 4.366, 6.231, 8.507, 11.22",\
                 "0.1632, 0.2292, 0.4662, 0.9662, 1.76, 2.886, 4.367, 6.229, 8.499, 11.21",\
                 "0.183, 0.2492, 0.4756, 0.9688, 1.765, 2.887, 4.362, 6.229, 8.505, 11.21",\
                 "0.2026, 0.2732, 0.4886, 0.9698, 1.768, 2.889, 4.362, 6.228, 8.494, 11.2",\
                 "0.2252, 0.3004, 0.5094, 0.975, 1.766, 2.888, 4.365, 6.222, 8.491, 11.21",\
                 "0.2466, 0.3294, 0.5364, 0.9862, 1.771, 2.889, 4.363, 6.223, 8.491, 11.21",\
                 "0.2676, 0.3566, 0.5696, 1.003, 1.782, 2.893, 4.369, 6.223, 8.494, 11.2");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.008761, 0.03601, 0.08803, 0.1691, 0.2828, 0.4325, 0.621, 0.8512, 1.125");
          values("0.5122, 0.57, 0.714, 0.9173, 1.188, 1.546, 2.009, 2.591, 3.3, 4.146",\
                 "0.5286, 0.5864, 0.7305, 0.9341, 1.205, 1.562, 2.026, 2.607, 3.317, 4.162",\
                 "0.6053, 0.663, 0.8068, 1.01, 1.281, 1.639, 2.102, 2.684, 3.393, 4.239",\
                 "0.7767, 0.8342, 0.9779, 1.181, 1.452, 1.81, 2.273, 2.855, 3.565, 4.411",\
                 "1.004, 1.067, 1.217, 1.425, 1.698, 2.057, 2.52, 3.101, 3.811, 4.657",\
                 "1.256, 1.324, 1.485, 1.7, 1.977, 2.339, 2.803, 3.384, 4.094, 4.94",\
                 "1.541, 1.614, 1.787, 2.009, 2.29, 2.652, 3.118, 3.701, 4.411, 5.256",\
                 "1.869, 1.945, 2.128, 2.36, 2.645, 3.008, 3.474, 4.057, 4.768, 5.615",\
                 "2.243, 2.323, 2.517, 2.758, 3.048, 3.413, 3.878, 4.46, 5.171, 6.018",\
                 "2.663, 2.748, 2.952, 3.206, 3.503, 3.87, 4.336, 4.918, 5.628, 6.474");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.008761, 0.03601, 0.08803, 0.1691, 0.2828, 0.4325, 0.621, 0.8512, 1.125");
          values("0.3342, 0.3919, 0.562, 0.8676, 1.339, 1.998, 2.863, 3.954, 5.284, 6.872",\
                 "0.3549, 0.4125, 0.5827, 0.8881, 1.359, 2.018, 2.884, 3.974, 5.307, 6.895",\
                 "0.4272, 0.4845, 0.6541, 0.9593, 1.431, 2.09, 2.956, 4.045, 5.376, 6.96",\
                 "0.5277, 0.5871, 0.7587, 1.063, 1.534, 2.193, 3.06, 4.151, 5.483, 7.072",\
                 "0.6055, 0.6687, 0.8426, 1.148, 1.62, 2.279, 3.145, 4.236, 5.57, 7.158",\
                 "0.656, 0.7243, 0.903, 1.208, 1.678, 2.338, 3.204, 4.294, 5.628, 7.217",\
                 "0.6784, 0.7517, 0.9377, 1.241, 1.71, 2.369, 3.237, 4.327, 5.657, 7.247",\
                 "0.6677, 0.7472, 0.9428, 1.248, 1.716, 2.374, 3.24, 4.332, 5.663, 7.249",\
                 "0.6206, 0.7053, 0.9131, 1.222, 1.69, 2.347, 3.213, 4.303, 5.635, 7.221",\
                 "0.5351, 0.6243, 0.8454, 1.161, 1.631, 2.288, 3.152, 4.242, 5.573, 7.16");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.008761, 0.03601, 0.08803, 0.1691, 0.2828, 0.4325, 0.621, 0.8512, 1.125");
          values("0.1531, 0.2068, 0.3492, 0.5894, 0.9647, 1.516, 2.267, 3.221, 4.389, 5.787",\
                 "0.153, 0.207, 0.3494, 0.5888, 0.9662, 1.517, 2.267, 3.217, 4.389, 5.78",\
                 "0.1529, 0.2071, 0.3492, 0.5894, 0.9644, 1.517, 2.267, 3.221, 4.389, 5.787",\
                 "0.1558, 0.2094, 0.3512, 0.59, 0.966, 1.518, 2.267, 3.219, 4.391, 5.785",\
                 "0.181, 0.2334, 0.3704, 0.6032, 0.9718, 1.519, 2.267, 3.219, 4.39, 5.786",\
                 "0.2072, 0.2638, 0.3976, 0.6244, 0.99, 1.531, 2.273, 3.221, 4.39, 5.783",\
                 "0.2308, 0.2908, 0.4288, 0.6464, 1.003, 1.541, 2.281, 3.228, 4.391, 5.78",\
                 "0.2524, 0.3154, 0.461, 0.6698, 1.017, 1.547, 2.284, 3.233, 4.395, 5.783",\
                 "0.2758, 0.3416, 0.4946, 0.698, 1.034, 1.555, 2.287, 3.233, 4.399, 5.789",\
                 "0.3022, 0.3714, 0.533, 0.7338, 1.055, 1.566, 2.29, 3.238, 4.398, 5.788");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.008761, 0.03601, 0.08803, 0.1691, 0.2828, 0.4325, 0.621, 0.8512, 1.125");
          values("0.1327, 0.2042, 0.453, 0.9609, 1.762, 2.885, 4.359, 6.224, 8.511, 11.22",\
                 "0.133, 0.2039, 0.4534, 0.9604, 1.76, 2.885, 4.366, 6.232, 8.504, 11.21",\
                 "0.1335, 0.2042, 0.4537, 0.9598, 1.761, 2.886, 4.365, 6.232, 8.511, 11.23",\
                 "0.1456, 0.214, 0.4588, 0.9598, 1.76, 2.885, 4.366, 6.231, 8.507, 11.22",\
                 "0.1632, 0.2292, 0.4662, 0.9662, 1.76, 2.886, 4.367, 6.229, 8.499, 11.21",\
                 "0.183, 0.2492, 0.4756, 0.9688, 1.765, 2.887, 4.362, 6.229, 8.505, 11.21",\
                 "0.2026, 0.2732, 0.4886, 0.9698, 1.768, 2.889, 4.362, 6.228, 8.494, 11.2",\
                 "0.2252, 0.3004, 0.5094, 0.975, 1.766, 2.888, 4.365, 6.222, 8.491, 11.21",\
                 "0.2466, 0.3294, 0.5364, 0.9862, 1.771, 2.889, 4.363, 6.223, 8.491, 11.21",\
                 "0.2676, 0.3566, 0.5696, 1.003, 1.782, 2.893, 4.369, 6.223, 8.494, 11.2");
        }
      }
    }
  }