/*
 * Copyright 2022 GlobalFoundries PDK Authors
 *
 * Licensed under the Apache License, Version 2.0 (the "License");
 * you may not use this file except in compliance with the License.
 * You may obtain a copy of the License at
 *
 *      http://www.apache.org/licenses/LICENSE-2.0
 *
 * Unless required by applicable law or agreed to in writing, software
 * distributed under the License is distributed on an "AS IS" BASIS,
 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 * See the License for the specific language governing permissions and
 * limitations under the License.
 */

  cell(gf180mcu_fd_sc_mcu7t5v0__xnor3_4) {
    area : 70.246400 ;

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

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

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

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

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

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

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

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

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

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

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

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

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

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

    pin(ZN) {
      direction : output ;
      function : "(!(A1^A2^A3))" ;
      max_capacitance : 1.427 ;
      max_transition : 11 ;
      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.09579, 0.3618, 0.8698, 1.661, 2.772, 4.233, 6.074, 8.321, 11");
          index_2("0.001, 0.01084, 0.0454, 0.1114, 0.2142, 0.3585, 0.5483, 0.7874, 1.079, 1.427");
          values("0.3119, 0.3055, 0.2999, 0.298, 0.2978, 0.2977, 0.298, 0.298, 0.2982, 0.2983",\
                 "0.3117, 0.3054, 0.2997, 0.2977, 0.2976, 0.2977, 0.2979, 0.2981, 0.2981, 0.2982",\
                 "0.3112, 0.3049, 0.2991, 0.2975, 0.2971, 0.2972, 0.2974, 0.2975, 0.2976, 0.2976",\
                 "0.311, 0.3048, 0.2989, 0.2971, 0.2969, 0.2969, 0.297, 0.2973, 0.2974, 0.2975",\
                 "0.3117, 0.3054, 0.2996, 0.2978, 0.2977, 0.2978, 0.2978, 0.298, 0.298, 0.2981",\
                 "0.3135, 0.3071, 0.3014, 0.2996, 0.2992, 0.2993, 0.2996, 0.2997, 0.2997, 0.2998",\
                 "0.3166, 0.3101, 0.3045, 0.3027, 0.3023, 0.3024, 0.3026, 0.3027, 0.3028, 0.3029",\
                 "0.3208, 0.3144, 0.3088, 0.3071, 0.3068, 0.3068, 0.3069, 0.307, 0.3071, 0.3072",\
                 "0.3266, 0.3203, 0.3145, 0.3128, 0.3124, 0.3125, 0.3126, 0.3129, 0.3129, 0.3129",\
                 "0.3339, 0.3275, 0.3219, 0.3201, 0.3198, 0.3199, 0.3199, 0.32, 0.3202, 0.3203");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.09579, 0.3618, 0.8698, 1.661, 2.772, 4.233, 6.074, 8.321, 11");
          index_2("0.001, 0.01084, 0.0454, 0.1114, 0.2142, 0.3585, 0.5483, 0.7874, 1.079, 1.427");
          values("0.2717, 0.2703, 0.2687, 0.2695, 0.2722, 0.275, 0.2781, 0.2801, 0.2876, 0.3699",\
                 "0.2713, 0.2699, 0.2683, 0.2691, 0.2722, 0.2747, 0.2772, 0.2798, 0.2883, 0.3686",\
                 "0.2705, 0.2697, 0.2678, 0.269, 0.2717, 0.2744, 0.2772, 0.2796, 0.2878, 0.3753",\
                 "0.2706, 0.2694, 0.2679, 0.2689, 0.2717, 0.2741, 0.2772, 0.2793, 0.2905, 0.3889",\
                 "0.2721, 0.2707, 0.269, 0.2701, 0.2729, 0.2753, 0.2778, 0.2799, 0.2945, 0.4164",\
                 "0.2749, 0.2735, 0.2723, 0.2732, 0.2761, 0.2786, 0.2814, 0.2836, 0.3039, 0.4656",\
                 "0.2791, 0.2776, 0.2762, 0.2776, 0.2802, 0.2825, 0.2853, 0.2892, 0.3188, 0.554",\
                 "0.2846, 0.2832, 0.2819, 0.2827, 0.2858, 0.2882, 0.2914, 0.2954, 0.3529, 0.7182",\
                 "0.292, 0.2908, 0.2889, 0.2898, 0.2922, 0.2957, 0.298, 0.3082, 0.4258, 1.031",\
                 "0.3008, 0.2997, 0.2982, 0.2987, 0.3009, 0.3044, 0.3092, 0.34, 0.6145, 1.613");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.09579, 0.3618, 0.8698, 1.661, 2.772, 4.233, 6.074, 8.321, 11");
          index_2("0.001, 0.01084, 0.0454, 0.1114, 0.2142, 0.3585, 0.5483, 0.7874, 1.079, 1.427");
          values("0.2755, 0.2685, 0.2618, 0.2591, 0.2584, 0.2584, 0.2583, 0.2584, 0.2584, 0.2585",\
                 "0.2751, 0.2681, 0.2613, 0.2585, 0.2579, 0.2578, 0.2578, 0.2579, 0.2579, 0.258",\
                 "0.2745, 0.2675, 0.2605, 0.2579, 0.2574, 0.2572, 0.2573, 0.2573, 0.2573, 0.2574",\
                 "0.2745, 0.2675, 0.2606, 0.258, 0.2574, 0.2572, 0.2573, 0.2573, 0.2573, 0.2574",\
                 "0.2757, 0.2688, 0.2617, 0.2591, 0.2585, 0.2584, 0.2585, 0.2586, 0.2587, 0.2587",\
                 "0.2786, 0.2716, 0.2647, 0.2621, 0.2614, 0.2614, 0.2613, 0.2614, 0.2614, 0.2615",\
                 "0.2828, 0.2758, 0.269, 0.2661, 0.2656, 0.2655, 0.2655, 0.2656, 0.2657, 0.2657",\
                 "0.2885, 0.2815, 0.2746, 0.272, 0.2712, 0.2713, 0.2712, 0.2713, 0.2713, 0.2714",\
                 "0.2957, 0.2888, 0.2819, 0.2793, 0.2786, 0.2786, 0.2786, 0.2786, 0.2786, 0.2787",\
                 "0.3048, 0.2979, 0.2909, 0.2881, 0.2874, 0.2875, 0.2875, 0.2875, 0.2877, 0.2876");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.09579, 0.3618, 0.8698, 1.661, 2.772, 4.233, 6.074, 8.321, 11");
          index_2("0.001, 0.01084, 0.0454, 0.1114, 0.2142, 0.3585, 0.5483, 0.7874, 1.079, 1.427");
          values("0.2475, 0.245, 0.2419, 0.2412, 0.2428, 0.246, 0.2482, 0.251, 0.2585, 0.3339",\
                 "0.2474, 0.2447, 0.2423, 0.2414, 0.2431, 0.2457, 0.2485, 0.2498, 0.2588, 0.3338",\
                 "0.247, 0.2448, 0.2419, 0.2405, 0.2427, 0.246, 0.2491, 0.2492, 0.2592, 0.3382",\
                 "0.2469, 0.2447, 0.2416, 0.2409, 0.2426, 0.2454, 0.2485, 0.2515, 0.2594, 0.3492",\
                 "0.2476, 0.2451, 0.2425, 0.2415, 0.2433, 0.2469, 0.2494, 0.2512, 0.263, 0.3694",\
                 "0.2489, 0.2462, 0.2436, 0.2426, 0.2445, 0.2475, 0.25, 0.2523, 0.2656, 0.3943",\
                 "0.2518, 0.2495, 0.2462, 0.2464, 0.2478, 0.2505, 0.253, 0.2557, 0.2745, 0.4388",\
                 "0.2561, 0.2534, 0.2507, 0.2494, 0.251, 0.2553, 0.2584, 0.2606, 0.2898, 0.5083",\
                 "0.262, 0.2592, 0.2564, 0.2559, 0.2564, 0.2592, 0.2644, 0.2692, 0.3124, 0.6217",\
                 "0.2692, 0.2667, 0.2635, 0.2632, 0.2643, 0.2673, 0.268, 0.2779, 0.3608, 0.8179");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.09579, 0.3618, 0.8698, 1.661, 2.772, 4.233, 6.074, 8.321, 11");
          index_2("0.001, 0.01084, 0.0454, 0.1114, 0.2142, 0.3585, 0.5483, 0.7874, 1.079, 1.427");
          values("0.3008, 0.2946, 0.2889, 0.287, 0.2866, 0.2867, 0.287, 0.2871, 0.2872, 0.2872",\
                 "0.3007, 0.2944, 0.2886, 0.287, 0.2867, 0.2867, 0.2868, 0.2869, 0.287, 0.2871",\
                 "0.3002, 0.2938, 0.2881, 0.2863, 0.2861, 0.286, 0.2862, 0.2863, 0.2864, 0.2866",\
                 "0.3002, 0.2939, 0.288, 0.2863, 0.2861, 0.2862, 0.2863, 0.2864, 0.2865, 0.2865",\
                 "0.3012, 0.2949, 0.2892, 0.2872, 0.287, 0.2871, 0.2873, 0.2874, 0.2876, 0.2875",\
                 "0.3036, 0.2974, 0.2915, 0.2899, 0.2894, 0.2894, 0.2898, 0.2899, 0.29, 0.2901",\
                 "0.3075, 0.3012, 0.2953, 0.2934, 0.2933, 0.2934, 0.2936, 0.2937, 0.2938, 0.2939",\
                 "0.3125, 0.3061, 0.3003, 0.2987, 0.2983, 0.2983, 0.2985, 0.2986, 0.2988, 0.2988",\
                 "0.3187, 0.3124, 0.3065, 0.3048, 0.3046, 0.3046, 0.3048, 0.3048, 0.305, 0.305",\
                 "0.3263, 0.3199, 0.3141, 0.3124, 0.3122, 0.3123, 0.3123, 0.3125, 0.3126, 0.3125");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.09579, 0.3618, 0.8698, 1.661, 2.772, 4.233, 6.074, 8.321, 11");
          index_2("0.001, 0.01084, 0.0454, 0.1114, 0.2142, 0.3585, 0.5483, 0.7874, 1.079, 1.427");
          values("0.2144, 0.2131, 0.2117, 0.2124, 0.215, 0.2179, 0.221, 0.223, 0.2291, 0.2967",\
                 "0.2145, 0.2127, 0.2117, 0.2128, 0.2154, 0.2176, 0.2201, 0.223, 0.2297, 0.2959",\
                 "0.2142, 0.2128, 0.2117, 0.2122, 0.2147, 0.2176, 0.221, 0.2224, 0.2304, 0.3028",\
                 "0.2144, 0.2132, 0.2118, 0.2126, 0.2157, 0.2179, 0.2201, 0.223, 0.2309, 0.31",\
                 "0.2154, 0.214, 0.2127, 0.2134, 0.2164, 0.2185, 0.2219, 0.2238, 0.2351, 0.3364",\
                 "0.2169, 0.2157, 0.2142, 0.215, 0.2177, 0.2203, 0.2231, 0.2269, 0.238, 0.3604",\
                 "0.2196, 0.2182, 0.2161, 0.218, 0.2206, 0.2233, 0.2252, 0.2298, 0.2466, 0.408",\
                 "0.2231, 0.2219, 0.2201, 0.2214, 0.2237, 0.2281, 0.23, 0.2316, 0.2603, 0.4892",\
                 "0.2282, 0.2269, 0.225, 0.2262, 0.2275, 0.2296, 0.2361, 0.2402, 0.2877, 0.6131",\
                 "0.2344, 0.233, 0.2315, 0.2324, 0.2348, 0.2359, 0.2382, 0.2504, 0.3409, 0.8394");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.09579, 0.3618, 0.8698, 1.661, 2.772, 4.233, 6.074, 8.321, 11");
          index_2("0.001, 0.01084, 0.0454, 0.1114, 0.2142, 0.3585, 0.5483, 0.7874, 1.079, 1.427");
          values("0.2186, 0.2116, 0.2044, 0.2017, 0.2011, 0.201, 0.201, 0.201, 0.201, 0.2011",\
                 "0.2184, 0.2115, 0.2044, 0.2016, 0.201, 0.2008, 0.2009, 0.2009, 0.2009, 0.201",\
                 "0.2184, 0.2114, 0.2043, 0.2016, 0.2009, 0.2008, 0.2008, 0.2008, 0.2009, 0.2009",\
                 "0.2186, 0.2116, 0.2044, 0.2017, 0.2011, 0.2009, 0.201, 0.201, 0.201, 0.2011",\
                 "0.2194, 0.2123, 0.2052, 0.2024, 0.2018, 0.2017, 0.2018, 0.2019, 0.2019, 0.202",\
                 "0.2215, 0.2144, 0.2072, 0.2043, 0.2035, 0.2035, 0.2035, 0.2035, 0.2036, 0.2037",\
                 "0.2245, 0.2174, 0.21, 0.207, 0.2062, 0.2062, 0.2062, 0.2063, 0.2063, 0.2064",\
                 "0.2291, 0.2218, 0.2143, 0.2113, 0.2103, 0.2102, 0.2102, 0.2102, 0.2103, 0.2104",\
                 "0.2349, 0.2275, 0.2198, 0.2164, 0.2154, 0.2153, 0.2153, 0.2155, 0.2156, 0.2156",\
                 "0.2424, 0.235, 0.2271, 0.2234, 0.2223, 0.2221, 0.2221, 0.2221, 0.2222, 0.2223");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.09579, 0.3618, 0.8698, 1.661, 2.772, 4.233, 6.074, 8.321, 11");
          index_2("0.001, 0.01084, 0.0454, 0.1114, 0.2142, 0.3585, 0.5483, 0.7874, 1.079, 1.427");
          values("0.2362, 0.2336, 0.2309, 0.2302, 0.2318, 0.235, 0.2378, 0.2403, 0.2486, 0.3127",\
                 "0.2359, 0.2335, 0.2311, 0.2303, 0.2322, 0.2344, 0.2375, 0.2391, 0.2483, 0.3146",\
                 "0.2354, 0.2328, 0.2305, 0.2294, 0.2314, 0.235, 0.2381, 0.2391, 0.2481, 0.3209",\
                 "0.2353, 0.2336, 0.2303, 0.2297, 0.2315, 0.2347, 0.2378, 0.2385, 0.2483, 0.3311",\
                 "0.2364, 0.2339, 0.2312, 0.2305, 0.2326, 0.2362, 0.2378, 0.2399, 0.2502, 0.3552",\
                 "0.2391, 0.2362, 0.2338, 0.2327, 0.2348, 0.2383, 0.2414, 0.2428, 0.2603, 0.402",\
                 "0.2438, 0.2411, 0.2383, 0.2378, 0.2389, 0.2413, 0.2435, 0.2484, 0.2756, 0.4877",\
                 "0.2506, 0.2478, 0.2444, 0.2429, 0.245, 0.2467, 0.2489, 0.2543, 0.3084, 0.6546",\
                 "0.2587, 0.2554, 0.2517, 0.2495, 0.2506, 0.2542, 0.2561, 0.2659, 0.3802, 0.9748",\
                 "0.2674, 0.2647, 0.2604, 0.2581, 0.2588, 0.2611, 0.2668, 0.2986, 0.5751, 1.58");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.09579, 0.3618, 0.8698, 1.661, 2.772, 4.233, 6.074, 8.321, 11");
          index_2("0.001, 0.01084, 0.0454, 0.1114, 0.2142, 0.3585, 0.5483, 0.7874, 1.079, 1.427");
          values("0.3048, 0.2986, 0.2928, 0.2909, 0.2907, 0.2909, 0.291, 0.2911, 0.2912, 0.2913",\
                 "0.305, 0.2987, 0.2929, 0.291, 0.2907, 0.291, 0.291, 0.2911, 0.2912, 0.2913",\
                 "0.3048, 0.2984, 0.2927, 0.291, 0.2907, 0.2907, 0.291, 0.291, 0.2911, 0.2911",\
                 "0.3049, 0.2986, 0.2928, 0.291, 0.2906, 0.2908, 0.291, 0.2912, 0.2913, 0.2913",\
                 "0.3058, 0.2995, 0.2937, 0.2919, 0.2917, 0.2918, 0.2919, 0.292, 0.2921, 0.2922",\
                 "0.3076, 0.3012, 0.2955, 0.2937, 0.2931, 0.2933, 0.2935, 0.2938, 0.2938, 0.294",\
                 "0.3103, 0.3039, 0.2982, 0.2965, 0.2963, 0.2962, 0.2964, 0.2965, 0.2965, 0.2966",\
                 "0.3142, 0.3079, 0.3022, 0.3003, 0.3, 0.3001, 0.3002, 0.3003, 0.3004, 0.3005",\
                 "0.3192, 0.313, 0.3072, 0.3055, 0.3051, 0.3054, 0.3054, 0.3055, 0.3056, 0.3056",\
                 "0.3256, 0.3193, 0.3135, 0.3119, 0.3115, 0.3114, 0.3117, 0.3118, 0.3118, 0.3119");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.09579, 0.3618, 0.8698, 1.661, 2.772, 4.233, 6.074, 8.321, 11");
          index_2("0.001, 0.01084, 0.0454, 0.1114, 0.2142, 0.3585, 0.5483, 0.7874, 1.079, 1.427");
          values("0.2687, 0.2676, 0.2659, 0.267, 0.2695, 0.2723, 0.2754, 0.2774, 0.2855, 0.3679",\
                 "0.2682, 0.267, 0.2655, 0.2668, 0.2695, 0.2717, 0.2751, 0.2762, 0.2859, 0.3728",\
                 "0.2678, 0.2666, 0.2651, 0.2664, 0.269, 0.2714, 0.2742, 0.2763, 0.2863, 0.3786",\
                 "0.2684, 0.267, 0.2657, 0.2669, 0.2696, 0.272, 0.2754, 0.2772, 0.2871, 0.3899",\
                 "0.2701, 0.2687, 0.2672, 0.2682, 0.2712, 0.2735, 0.2751, 0.2792, 0.2937, 0.4183",\
                 "0.273, 0.2715, 0.2699, 0.271, 0.274, 0.2762, 0.2793, 0.2815, 0.3013, 0.4739",\
                 "0.2769, 0.2758, 0.2743, 0.2751, 0.2779, 0.2801, 0.2835, 0.2861, 0.3202, 0.5702",\
                 "0.282, 0.2807, 0.279, 0.2805, 0.2821, 0.2849, 0.2883, 0.2935, 0.3573, 0.7508",\
                 "0.288, 0.2866, 0.2854, 0.2856, 0.2892, 0.2924, 0.2935, 0.3065, 0.4405, 1.1",\
                 "0.2959, 0.2947, 0.2934, 0.2936, 0.2955, 0.2978, 0.3051, 0.3427, 0.6632, 1.74");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.09579, 0.3618, 0.8698, 1.661, 2.772, 4.233, 6.074, 8.321, 11");
          index_2("0.001, 0.01084, 0.0454, 0.1114, 0.2142, 0.3585, 0.5483, 0.7874, 1.079, 1.427");
          values("0.2726, 0.2657, 0.2588, 0.2561, 0.2555, 0.2555, 0.2555, 0.2555, 0.2555, 0.2556",\
                 "0.272, 0.265, 0.2581, 0.2555, 0.2549, 0.2548, 0.2548, 0.2548, 0.2549, 0.2549",\
                 "0.2716, 0.2646, 0.2578, 0.2551, 0.2545, 0.2544, 0.2544, 0.2545, 0.2545, 0.2545",\
                 "0.2722, 0.2653, 0.2582, 0.2557, 0.255, 0.2549, 0.2549, 0.2551, 0.2551, 0.2552",\
                 "0.2739, 0.2669, 0.2599, 0.2573, 0.2566, 0.2566, 0.2567, 0.2567, 0.2568, 0.2568",\
                 "0.2766, 0.2696, 0.2628, 0.2601, 0.2594, 0.2593, 0.2595, 0.2595, 0.2596, 0.2596",\
                 "0.2806, 0.2737, 0.2668, 0.264, 0.2634, 0.2634, 0.2633, 0.2634, 0.2634, 0.2635",\
                 "0.2856, 0.2786, 0.2718, 0.2692, 0.2684, 0.2684, 0.2683, 0.2683, 0.2684, 0.2685",\
                 "0.2919, 0.2849, 0.2779, 0.2752, 0.2747, 0.2746, 0.2747, 0.2747, 0.2747, 0.2747",\
                 "0.2996, 0.2926, 0.2858, 0.283, 0.2824, 0.2823, 0.2823, 0.2825, 0.2824, 0.2824");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.09579, 0.3618, 0.8698, 1.661, 2.772, 4.233, 6.074, 8.321, 11");
          index_2("0.001, 0.01084, 0.0454, 0.1114, 0.2142, 0.3585, 0.5483, 0.7874, 1.079, 1.427");
          values("0.2401, 0.2376, 0.2349, 0.2339, 0.2358, 0.2386, 0.2417, 0.2433, 0.2511, 0.3222",\
                 "0.2403, 0.2378, 0.2348, 0.2345, 0.2366, 0.2398, 0.242, 0.2442, 0.2538, 0.3252",\
                 "0.2402, 0.2376, 0.2352, 0.2341, 0.2363, 0.2395, 0.2429, 0.2433, 0.2512, 0.3291",\
                 "0.2402, 0.2378, 0.2348, 0.2342, 0.2365, 0.2389, 0.2426, 0.2444, 0.2546, 0.3412",\
                 "0.241, 0.2386, 0.2361, 0.2353, 0.2375, 0.2404, 0.2423, 0.245, 0.2567, 0.3601",\
                 "0.2427, 0.2405, 0.2378, 0.2368, 0.2386, 0.2419, 0.2441, 0.2459, 0.2605, 0.3842",\
                 "0.2455, 0.2431, 0.2396, 0.2399, 0.2423, 0.2443, 0.2465, 0.2498, 0.2693, 0.4255",\
                 "0.2495, 0.2473, 0.2439, 0.2434, 0.2443, 0.2494, 0.2519, 0.2544, 0.2797, 0.4905",\
                 "0.2546, 0.252, 0.2495, 0.2488, 0.25, 0.2515, 0.2576, 0.2623, 0.3034, 0.5948",\
                 "0.2609, 0.2585, 0.2555, 0.2541, 0.2562, 0.2578, 0.2594, 0.2699, 0.3424, 0.7729");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.09579, 0.3618, 0.8698, 1.661, 2.772, 4.233, 6.074, 8.321, 11");
          index_2("0.001, 0.01084, 0.0454, 0.1114, 0.2142, 0.3585, 0.5483, 0.7874, 1.079, 1.427");
          values("0.3053, 0.2991, 0.2932, 0.2912, 0.2912, 0.2911, 0.2915, 0.2915, 0.2916, 0.2917",\
                 "0.3049, 0.2987, 0.293, 0.291, 0.2906, 0.2909, 0.2911, 0.2912, 0.2913, 0.2914",\
                 "0.3048, 0.2985, 0.2926, 0.2908, 0.2907, 0.2907, 0.2909, 0.291, 0.2911, 0.2911",\
                 "0.3049, 0.2987, 0.293, 0.2911, 0.2908, 0.2909, 0.291, 0.2912, 0.2913, 0.2913",\
                 "0.306, 0.2998, 0.294, 0.2923, 0.2921, 0.292, 0.2922, 0.2923, 0.2924, 0.2925",\
                 "0.3086, 0.3024, 0.2965, 0.2946, 0.2946, 0.2945, 0.2947, 0.2948, 0.2949, 0.295",\
                 "0.3126, 0.3063, 0.3007, 0.2987, 0.2985, 0.2985, 0.2986, 0.2988, 0.2989, 0.2989",\
                 "0.3177, 0.3114, 0.3056, 0.3039, 0.3037, 0.3037, 0.3038, 0.304, 0.304, 0.3041",\
                 "0.3243, 0.3178, 0.3121, 0.3101, 0.3099, 0.31, 0.3103, 0.3104, 0.3105, 0.3105",\
                 "0.332, 0.3258, 0.3199, 0.3182, 0.3178, 0.318, 0.3182, 0.3183, 0.3183, 0.3182");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.09579, 0.3618, 0.8698, 1.661, 2.772, 4.233, 6.074, 8.321, 11");
          index_2("0.001, 0.01084, 0.0454, 0.1114, 0.2142, 0.3585, 0.5483, 0.7874, 1.079, 1.427");
          values("0.2162, 0.2148, 0.2134, 0.2143, 0.2166, 0.2194, 0.2229, 0.2245, 0.2312, 0.3017",\
                 "0.2165, 0.2149, 0.2139, 0.2151, 0.2175, 0.2197, 0.2229, 0.2248, 0.2312, 0.2983",\
                 "0.2164, 0.2151, 0.2138, 0.2145, 0.2175, 0.2197, 0.2232, 0.2251, 0.2316, 0.3044",\
                 "0.2165, 0.2153, 0.2143, 0.2151, 0.2178, 0.22, 0.2235, 0.2251, 0.2333, 0.3125",\
                 "0.2173, 0.2157, 0.2147, 0.2161, 0.2184, 0.2203, 0.2235, 0.2259, 0.2356, 0.3323",\
                 "0.2186, 0.2176, 0.216, 0.2168, 0.2196, 0.2224, 0.2244, 0.2274, 0.2415, 0.3558",\
                 "0.2213, 0.2199, 0.218, 0.2188, 0.2225, 0.2239, 0.2271, 0.2301, 0.2483, 0.3997",\
                 "0.2249, 0.2232, 0.2217, 0.2222, 0.2241, 0.2299, 0.2316, 0.2338, 0.26, 0.473",\
                 "0.2294, 0.2279, 0.2267, 0.2278, 0.2291, 0.2308, 0.2379, 0.2421, 0.2847, 0.5911",\
                 "0.2358, 0.2341, 0.2328, 0.2337, 0.2347, 0.2365, 0.2394, 0.2514, 0.3332, 0.8002");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.09579, 0.3618, 0.8698, 1.661, 2.772, 4.233, 6.074, 8.321, 11");
          index_2("0.001, 0.01084, 0.0454, 0.1114, 0.2142, 0.3585, 0.5483, 0.7874, 1.079, 1.427");
          values("0.2205, 0.2135, 0.2065, 0.2036, 0.203, 0.2029, 0.2029, 0.2029, 0.203, 0.203",\
                 "0.2206, 0.2136, 0.2065, 0.2037, 0.2031, 0.203, 0.203, 0.203, 0.2031, 0.2031",\
                 "0.2206, 0.2136, 0.2064, 0.2037, 0.2031, 0.203, 0.203, 0.203, 0.2031, 0.2031",\
                 "0.2207, 0.2137, 0.2068, 0.2039, 0.2032, 0.2031, 0.2031, 0.2032, 0.2032, 0.2033",\
                 "0.2214, 0.2143, 0.2071, 0.2044, 0.2037, 0.2037, 0.2037, 0.2038, 0.2039, 0.2039",\
                 "0.2231, 0.216, 0.2088, 0.206, 0.2051, 0.2051, 0.2052, 0.2052, 0.2053, 0.2054",\
                 "0.226, 0.2188, 0.2114, 0.2085, 0.2078, 0.2076, 0.2077, 0.2078, 0.2079, 0.2079",\
                 "0.2302, 0.223, 0.2154, 0.2124, 0.2116, 0.2114, 0.2115, 0.2116, 0.2116, 0.2117",\
                 "0.236, 0.2287, 0.221, 0.2177, 0.2167, 0.2165, 0.2166, 0.2166, 0.2167, 0.2168",\
                 "0.2432, 0.2357, 0.2277, 0.2241, 0.223, 0.2228, 0.2229, 0.223, 0.2231, 0.2232");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.09579, 0.3618, 0.8698, 1.661, 2.772, 4.233, 6.074, 8.321, 11");
          index_2("0.001, 0.01084, 0.0454, 0.1114, 0.2142, 0.3585, 0.5483, 0.7874, 1.079, 1.427");
          values("0.2411, 0.2386, 0.236, 0.2348, 0.2363, 0.2396, 0.2416, 0.2432, 0.2521, 0.3184",\
                 "0.2409, 0.2384, 0.2358, 0.2348, 0.2365, 0.2393, 0.2419, 0.2441, 0.2521, 0.3194",\
                 "0.2405, 0.2379, 0.2348, 0.2344, 0.2364, 0.2399, 0.2413, 0.2438, 0.2531, 0.3267",\
                 "0.2406, 0.2382, 0.2357, 0.2343, 0.2369, 0.2399, 0.2419, 0.2443, 0.2545, 0.3383",\
                 "0.2418, 0.2391, 0.2365, 0.2356, 0.2377, 0.2405, 0.2437, 0.2443, 0.2555, 0.3641",\
                 "0.2441, 0.2416, 0.239, 0.238, 0.2397, 0.2435, 0.2458, 0.2489, 0.266, 0.4117",\
                 "0.2492, 0.2468, 0.2437, 0.2427, 0.244, 0.2465, 0.25, 0.2522, 0.2814, 0.5028",\
                 "0.256, 0.2536, 0.25, 0.2476, 0.25, 0.2519, 0.2548, 0.2594, 0.3172, 0.6776",\
                 "0.2642, 0.2613, 0.257, 0.2556, 0.2562, 0.2591, 0.262, 0.2733, 0.3949, 1.017",\
                 "0.2739, 0.2705, 0.2662, 0.2646, 0.2646, 0.2669, 0.2724, 0.307, 0.6096, 1.655");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.09579, 0.3618, 0.8698, 1.661, 2.772, 4.233, 6.074, 8.321, 11");
          index_2("0.001, 0.01084, 0.0454, 0.1114, 0.2142, 0.3585, 0.5483, 0.7874, 1.079, 1.427");
          values("0.2279, 0.2211, 0.2142, 0.2115, 0.2108, 0.2108, 0.2108, 0.2108, 0.2109, 0.2109",\
                 "0.2278, 0.2208, 0.2141, 0.2113, 0.2107, 0.2106, 0.2106, 0.2107, 0.2107, 0.2108",\
                 "0.2266, 0.2197, 0.213, 0.2102, 0.2096, 0.2095, 0.2095, 0.2096, 0.2096, 0.2096",\
                 "0.2252, 0.2182, 0.2113, 0.2088, 0.2081, 0.2081, 0.2081, 0.2082, 0.2082, 0.2083",\
                 "0.2241, 0.2173, 0.2109, 0.2085, 0.208, 0.2079, 0.208, 0.2081, 0.2082, 0.2082",\
                 "0.224, 0.2175, 0.2114, 0.2094, 0.209, 0.209, 0.2091, 0.2092, 0.2093, 0.2094",\
                 "0.2266, 0.22, 0.2141, 0.2119, 0.2116, 0.2117, 0.2118, 0.212, 0.2121, 0.2122",\
                 "0.2308, 0.2244, 0.2183, 0.2162, 0.2159, 0.2158, 0.2161, 0.2163, 0.2163, 0.2164",\
                 "0.237, 0.2305, 0.2243, 0.2222, 0.2218, 0.2219, 0.222, 0.2221, 0.2221, 0.2222",\
                 "0.2448, 0.2382, 0.232, 0.2299, 0.2293, 0.2295, 0.2295, 0.2297, 0.2297, 0.2298");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.09579, 0.3618, 0.8698, 1.661, 2.772, 4.233, 6.074, 8.321, 11");
          index_2("0.001, 0.01084, 0.0454, 0.1114, 0.2142, 0.3585, 0.5483, 0.7874, 1.079, 1.427");
          values("0.2212, 0.2199, 0.2184, 0.2195, 0.222, 0.2248, 0.2282, 0.2296, 0.2352, 0.2972",\
                 "0.2208, 0.2194, 0.2178, 0.219, 0.2216, 0.2242, 0.2276, 0.2293, 0.2349, 0.2973",\
                 "0.2203, 0.2187, 0.2174, 0.2182, 0.2209, 0.2236, 0.2255, 0.2287, 0.2347, 0.2948",\
                 "0.2198, 0.2183, 0.2167, 0.2181, 0.2209, 0.2236, 0.2267, 0.2284, 0.2357, 0.3056",\
                 "0.2202, 0.2188, 0.2174, 0.218, 0.2213, 0.2233, 0.2267, 0.2284, 0.2372, 0.328",\
                 "0.2227, 0.2214, 0.2197, 0.2205, 0.223, 0.2251, 0.2282, 0.2318, 0.2429, 0.3556",\
                 "0.2273, 0.2259, 0.2237, 0.2248, 0.2273, 0.2296, 0.2327, 0.2349, 0.2536, 0.419",\
                 "0.2334, 0.2323, 0.2297, 0.2295, 0.2325, 0.2359, 0.2369, 0.2413, 0.2756, 0.5347",\
                 "0.2419, 0.2402, 0.2377, 0.2381, 0.2386, 0.2431, 0.2462, 0.2521, 0.3257, 0.7648",\
                 "0.2519, 0.2499, 0.2478, 0.2469, 0.2493, 0.2512, 0.2556, 0.2746, 0.4479, 1.22");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.09579, 0.3618, 0.8698, 1.661, 2.772, 4.233, 6.074, 8.321, 11");
          index_2("0.001, 0.01084, 0.0454, 0.1114, 0.2142, 0.3585, 0.5483, 0.7874, 1.079, 1.427");
          values("0.2071, 0.2008, 0.1951, 0.1933, 0.1929, 0.1929, 0.1931, 0.1932, 0.1933, 0.1934",\
                 "0.2065, 0.2003, 0.1945, 0.1928, 0.1924, 0.1925, 0.1927, 0.1927, 0.1928, 0.1929",\
                 "0.2051, 0.1987, 0.1931, 0.191, 0.1908, 0.1909, 0.1913, 0.1914, 0.1914, 0.1915",\
                 "0.2048, 0.1984, 0.1926, 0.1906, 0.1902, 0.1904, 0.1908, 0.191, 0.1911, 0.1912",\
                 "0.2107, 0.2036, 0.1962, 0.1934, 0.1926, 0.1925, 0.1926, 0.1928, 0.1929, 0.193",\
                 "0.2258, 0.2167, 0.2064, 0.2009, 0.1985, 0.1976, 0.1975, 0.1975, 0.1974, 0.1975",\
                 "0.244, 0.2329, 0.2188, 0.2113, 0.2078, 0.206, 0.2051, 0.2048, 0.2046, 0.2045",\
                 "0.2645, 0.2517, 0.234, 0.2246, 0.2195, 0.2168, 0.2155, 0.2147, 0.2143, 0.2141",\
                 "0.287, 0.2731, 0.2525, 0.2406, 0.2339, 0.2304, 0.2286, 0.2274, 0.2268, 0.2264",\
                 "0.3131, 0.2978, 0.2741, 0.2603, 0.2521, 0.2474, 0.2448, 0.2431, 0.2423, 0.2416");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.09579, 0.3618, 0.8698, 1.661, 2.772, 4.233, 6.074, 8.321, 11");
          index_2("0.001, 0.01084, 0.0454, 0.1114, 0.2142, 0.3585, 0.5483, 0.7874, 1.079, 1.427");
          values("0.1319, 0.1306, 0.1302, 0.1321, 0.135, 0.1384, 0.1412, 0.1446, 0.1471, 0.1878",\
                 "0.1318, 0.1306, 0.1301, 0.132, 0.1348, 0.1381, 0.1406, 0.1431, 0.1468, 0.1909",\
                 "0.1317, 0.1303, 0.1299, 0.1314, 0.1342, 0.1375, 0.1403, 0.1422, 0.1468, 0.1924",\
                 "0.1336, 0.1319, 0.1303, 0.1306, 0.1331, 0.1363, 0.1391, 0.1416, 0.1469, 0.1999",\
                 "0.1401, 0.1372, 0.1343, 0.1332, 0.1347, 0.1375, 0.1403, 0.1428, 0.1495, 0.2137",\
                 "0.1491, 0.1454, 0.1404, 0.138, 0.1389, 0.1408, 0.1424, 0.1464, 0.1537, 0.2329",\
                 "0.161, 0.1561, 0.1498, 0.1458, 0.1441, 0.1471, 0.1481, 0.1505, 0.1617, 0.2698",\
                 "0.1763, 0.1704, 0.1619, 0.1565, 0.1535, 0.1546, 0.1589, 0.1616, 0.1759, 0.3291",\
                 "0.1956, 0.1882, 0.1789, 0.1713, 0.1677, 0.1651, 0.1676, 0.1748, 0.2025, 0.4315",\
                 "0.2191, 0.2093, 0.1977, 0.1889, 0.1839, 0.1798, 0.1811, 0.1863, 0.2473, 0.6152");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.09579, 0.3618, 0.8698, 1.661, 2.772, 4.233, 6.074, 8.321, 11");
          index_2("0.001, 0.01084, 0.0454, 0.1114, 0.2142, 0.3585, 0.5483, 0.7874, 1.079, 1.427");
          values("0.2071, 0.2008, 0.1951, 0.1933, 0.1929, 0.1929, 0.193, 0.1932, 0.1933, 0.1934",\
                 "0.2066, 0.2002, 0.1945, 0.1928, 0.1924, 0.1925, 0.1927, 0.1928, 0.1929, 0.1929",\
                 "0.2051, 0.1988, 0.1931, 0.1912, 0.1909, 0.1909, 0.1912, 0.1914, 0.1914, 0.1915",\
                 "0.2048, 0.1984, 0.1926, 0.1906, 0.1902, 0.1904, 0.1908, 0.191, 0.1911, 0.1912",\
                 "0.2107, 0.2038, 0.1964, 0.1934, 0.1926, 0.1925, 0.1927, 0.1928, 0.1929, 0.193",\
                 "0.2258, 0.2166, 0.2062, 0.2009, 0.1985, 0.1977, 0.1974, 0.1975, 0.1974, 0.1975",\
                 "0.244, 0.2329, 0.2188, 0.2113, 0.2077, 0.2058, 0.205, 0.2047, 0.2046, 0.2045",\
                 "0.2645, 0.2517, 0.2342, 0.2246, 0.2194, 0.2168, 0.2153, 0.2147, 0.2144, 0.2141",\
                 "0.287, 0.2731, 0.2528, 0.2406, 0.2339, 0.2306, 0.2286, 0.2274, 0.2268, 0.2265",\
                 "0.3131, 0.2978, 0.2741, 0.2602, 0.2522, 0.2474, 0.2448, 0.2432, 0.2423, 0.2416");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.09579, 0.3618, 0.8698, 1.661, 2.772, 4.233, 6.074, 8.321, 11");
          index_2("0.001, 0.01084, 0.0454, 0.1114, 0.2142, 0.3585, 0.5483, 0.7874, 1.079, 1.427");
          values("0.1319, 0.1306, 0.1302, 0.1321, 0.135, 0.1384, 0.1412, 0.1446, 0.1471, 0.1907",\
                 "0.1318, 0.1306, 0.1298, 0.132, 0.1348, 0.1381, 0.1406, 0.1431, 0.1471, 0.1906",\
                 "0.1317, 0.1304, 0.1301, 0.1314, 0.1343, 0.1375, 0.1406, 0.1431, 0.1474, 0.195",\
                 "0.1337, 0.1319, 0.1303, 0.1306, 0.1331, 0.1363, 0.1391, 0.1416, 0.1469, 0.1999",\
                 "0.1399, 0.1371, 0.1345, 0.1334, 0.1349, 0.1378, 0.14, 0.1425, 0.1501, 0.2161",\
                 "0.1491, 0.1454, 0.1403, 0.138, 0.1391, 0.1408, 0.1427, 0.1464, 0.1537, 0.2329",\
                 "0.161, 0.1561, 0.1498, 0.1449, 0.1441, 0.1471, 0.1475, 0.1511, 0.162, 0.2727",\
                 "0.1763, 0.1704, 0.1619, 0.1565, 0.1538, 0.1546, 0.1589, 0.1609, 0.1759, 0.3277",\
                 "0.1956, 0.1882, 0.1784, 0.1707, 0.1675, 0.1651, 0.1676, 0.1736, 0.2047, 0.4293",\
                 "0.2191, 0.2094, 0.1979, 0.1883, 0.1841, 0.1798, 0.1799, 0.1863, 0.2473, 0.6161");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.09579, 0.3618, 0.8698, 1.661, 2.772, 4.233, 6.074, 8.321, 11");
          index_2("0.001, 0.01084, 0.0454, 0.1114, 0.2142, 0.3585, 0.5483, 0.7874, 1.079, 1.427");
          values("0.2281, 0.2211, 0.2142, 0.2115, 0.2108, 0.2107, 0.2107, 0.2108, 0.2109, 0.2109",\
                 "0.228, 0.221, 0.2141, 0.2114, 0.2107, 0.2106, 0.2106, 0.2107, 0.2107, 0.2108",\
                 "0.2267, 0.2199, 0.2131, 0.2102, 0.2096, 0.2095, 0.2095, 0.2095, 0.2096, 0.2096",\
                 "0.2253, 0.2183, 0.2114, 0.2088, 0.2082, 0.2081, 0.2081, 0.2082, 0.2082, 0.2083",\
                 "0.2242, 0.2174, 0.211, 0.2085, 0.208, 0.2079, 0.208, 0.208, 0.2081, 0.2082",\
                 "0.2242, 0.2177, 0.2115, 0.2094, 0.209, 0.2091, 0.2091, 0.2093, 0.2093, 0.2094",\
                 "0.2267, 0.2201, 0.214, 0.2121, 0.2117, 0.2118, 0.2118, 0.212, 0.2121, 0.2121",\
                 "0.2309, 0.2245, 0.2182, 0.2163, 0.2158, 0.2158, 0.216, 0.2163, 0.2164, 0.2164",\
                 "0.2371, 0.2306, 0.2245, 0.2221, 0.2217, 0.2218, 0.222, 0.2222, 0.2223, 0.2223",\
                 "0.245, 0.2382, 0.2322, 0.2297, 0.2293, 0.2294, 0.2294, 0.2296, 0.2297, 0.2297");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.09579, 0.3618, 0.8698, 1.661, 2.772, 4.233, 6.074, 8.321, 11");
          index_2("0.001, 0.01084, 0.0454, 0.1114, 0.2142, 0.3585, 0.5483, 0.7874, 1.079, 1.427");
          values("0.2212, 0.2199, 0.2185, 0.2193, 0.2219, 0.2248, 0.2279, 0.2299, 0.2355, 0.2936",\
                 "0.2207, 0.2193, 0.2182, 0.2188, 0.2215, 0.2245, 0.2267, 0.229, 0.2355, 0.2912",\
                 "0.2201, 0.2186, 0.2175, 0.2182, 0.2208, 0.2236, 0.227, 0.2287, 0.2347, 0.2983",\
                 "0.2197, 0.2183, 0.2171, 0.2177, 0.2207, 0.223, 0.2261, 0.2281, 0.2348, 0.305",\
                 "0.2202, 0.2192, 0.2174, 0.2188, 0.2212, 0.2233, 0.2258, 0.2303, 0.2372, 0.325",\
                 "0.2225, 0.2211, 0.2195, 0.2202, 0.223, 0.2257, 0.2288, 0.2309, 0.2426, 0.3575",\
                 "0.2273, 0.226, 0.2238, 0.2248, 0.2273, 0.2293, 0.2318, 0.2349, 0.2536, 0.4231",\
                 "0.2337, 0.232, 0.2297, 0.2301, 0.2328, 0.2365, 0.2378, 0.2407, 0.2756, 0.535",\
                 "0.2417, 0.2399, 0.2378, 0.2378, 0.2387, 0.2434, 0.2465, 0.2521, 0.326, 0.7637",\
                 "0.252, 0.2502, 0.2482, 0.2476, 0.2491, 0.2512, 0.2556, 0.2749, 0.4485, 1.219");
        }
      }

      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.09579, 0.3618, 0.8698, 1.661, 2.772, 4.233, 6.074, 8.321, 11");
          index_2("0.001, 0.01084, 0.0454, 0.1114, 0.2142, 0.3585, 0.5483, 0.7874, 1.079, 1.427");
          values("2.793, 2.867, 3.05, 3.297, 3.604, 3.99, 4.472, 5.07, 5.797, 6.663",\
                 "2.816, 2.889, 3.072, 3.32, 3.628, 4.012, 4.495, 5.092, 5.82, 6.685",\
                 "2.879, 2.952, 3.136, 3.383, 3.691, 4.076, 4.559, 5.157, 5.884, 6.75",\
                 "2.944, 3.017, 3.2, 3.448, 3.756, 4.141, 4.623, 5.221, 5.948, 6.813",\
                 "2.975, 3.048, 3.232, 3.478, 3.787, 4.171, 4.654, 5.252, 5.979, 6.845",\
                 "2.974, 3.048, 3.231, 3.478, 3.786, 4.171, 4.653, 5.251, 5.978, 6.845",\
                 "2.918, 2.992, 3.175, 3.422, 3.73, 4.116, 4.598, 5.196, 5.923, 6.789",\
                 "2.809, 2.882, 3.065, 3.312, 3.62, 4.005, 4.488, 5.086, 5.813, 6.679",\
                 "2.644, 2.717, 2.901, 3.148, 3.455, 3.84, 4.323, 4.921, 5.648, 6.514",\
                 "2.418, 2.492, 2.675, 2.922, 3.23, 3.615, 4.097, 4.695, 5.422, 6.288");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09579, 0.3618, 0.8698, 1.661, 2.772, 4.233, 6.074, 8.321, 11");
          index_2("0.001, 0.01084, 0.0454, 0.1114, 0.2142, 0.3585, 0.5483, 0.7874, 1.079, 1.427");
          values("2.762, 2.824, 2.993, 3.29, 3.751, 4.396, 5.243, 6.311, 7.616, 9.166",\
                 "2.776, 2.839, 3.009, 3.306, 3.766, 4.411, 5.259, 6.326, 7.631, 9.185",\
                 "2.839, 2.902, 3.07, 3.368, 3.828, 4.474, 5.321, 6.389, 7.693, 9.246",\
                 "2.966, 3.029, 3.198, 3.495, 3.956, 4.601, 5.448, 6.516, 7.819, 9.374",\
                 "3.178, 3.24, 3.41, 3.707, 4.168, 4.812, 5.661, 6.728, 8.03, 9.585",\
                 "3.463, 3.526, 3.695, 3.992, 4.453, 5.098, 5.945, 7.013, 8.316, 9.87",\
                 "3.815, 3.878, 4.047, 4.345, 4.805, 5.45, 6.298, 7.366, 8.67, 10.22",\
                 "4.24, 4.303, 4.473, 4.77, 5.23, 5.875, 6.724, 7.791, 9.093, 10.65",\
                 "4.744, 4.807, 4.976, 5.273, 5.733, 6.378, 7.226, 8.294, 9.598, 11.15",\
                 "5.324, 5.386, 5.556, 5.852, 6.312, 6.957, 7.805, 8.872, 10.17, 11.73");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09579, 0.3618, 0.8698, 1.661, 2.772, 4.233, 6.074, 8.321, 11");
          index_2("0.001, 0.01084, 0.0454, 0.1114, 0.2142, 0.3585, 0.5483, 0.7874, 1.079, 1.427");
          values("0.23, 0.2954, 0.4654, 0.718, 1.092, 1.631, 2.371, 3.334, 4.522, 5.948",\
                 "0.2304, 0.2958, 0.4654, 0.7178, 1.092, 1.63, 2.372, 3.334, 4.524, 5.95",\
                 "0.23, 0.2958, 0.4652, 0.718, 1.092, 1.631, 2.372, 3.332, 4.522, 5.949",\
                 "0.23, 0.2954, 0.4652, 0.718, 1.092, 1.63, 2.373, 3.335, 4.522, 5.947",\
                 "0.2298, 0.2952, 0.465, 0.7182, 1.091, 1.632, 2.373, 3.334, 4.524, 5.946",\
                 "0.23, 0.2954, 0.465, 0.718, 1.092, 1.632, 2.373, 3.331, 4.523, 5.952",\
                 "0.2298, 0.2956, 0.4652, 0.7178, 1.091, 1.63, 2.372, 3.334, 4.523, 5.95",\
                 "0.23, 0.2954, 0.4658, 0.7176, 1.091, 1.631, 2.37, 3.331, 4.521, 5.947",\
                 "0.2302, 0.2956, 0.4648, 0.7174, 1.092, 1.632, 2.371, 3.33, 4.519, 5.942",\
                 "0.23, 0.2954, 0.4652, 0.7176, 1.091, 1.631, 2.37, 3.334, 4.518, 5.942");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09579, 0.3618, 0.8698, 1.661, 2.772, 4.233, 6.074, 8.321, 11");
          index_2("0.001, 0.01084, 0.0454, 0.1114, 0.2142, 0.3585, 0.5483, 0.7874, 1.079, 1.427");
          values("0.1628, 0.2286, 0.4584, 0.9478, 1.731, 2.831, 4.282, 6.108, 8.34, 11",\
                 "0.1626, 0.2284, 0.4574, 0.9462, 1.731, 2.831, 4.278, 6.107, 8.344, 11",\
                 "0.163, 0.2284, 0.458, 0.9476, 1.73, 2.832, 4.281, 6.105, 8.34, 11.01",\
                 "0.1628, 0.2282, 0.4582, 0.9478, 1.731, 2.831, 4.282, 6.106, 8.335, 11",\
                 "0.164, 0.228, 0.458, 0.9478, 1.731, 2.832, 4.276, 6.103, 8.336, 11.01",\
                 "0.1628, 0.2284, 0.4578, 0.9474, 1.731, 2.83, 4.282, 6.101, 8.334, 11.01",\
                 "0.163, 0.2282, 0.4578, 0.9466, 1.731, 2.832, 4.281, 6.11, 8.344, 11",\
                 "0.1632, 0.2288, 0.4576, 0.9456, 1.728, 2.828, 4.281, 6.101, 8.338, 11",\
                 "0.1632, 0.2288, 0.458, 0.946, 1.73, 2.83, 4.278, 6.106, 8.34, 10.99",\
                 "0.162, 0.228, 0.458, 0.948, 1.73, 2.828, 4.276, 6.098, 8.33, 11");
        }
      }

      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.09579, 0.3618, 0.8698, 1.661, 2.772, 4.233, 6.074, 8.321, 11");
          index_2("0.001, 0.01084, 0.0454, 0.1114, 0.2142, 0.3585, 0.5483, 0.7874, 1.079, 1.427");
          values("1.401, 1.477, 1.664, 1.913, 2.223, 2.61, 3.093, 3.691, 4.418, 5.284",\
                 "1.42, 1.496, 1.682, 1.932, 2.242, 2.628, 3.111, 3.71, 4.437, 5.303",\
                 "1.486, 1.562, 1.748, 1.998, 2.308, 2.694, 3.177, 3.776, 4.503, 5.369",\
                 "1.607, 1.683, 1.87, 2.119, 2.429, 2.816, 3.299, 3.897, 4.624, 5.49",\
                 "1.74, 1.816, 2.002, 2.252, 2.562, 2.948, 3.431, 4.03, 4.757, 5.623",\
                 "1.836, 1.912, 2.099, 2.349, 2.659, 3.045, 3.529, 4.127, 4.854, 5.72",\
                 "1.89, 1.966, 2.153, 2.403, 2.714, 3.1, 3.583, 4.182, 4.909, 5.775",\
                 "1.899, 1.975, 2.162, 2.412, 2.722, 3.109, 3.592, 4.19, 4.918, 5.783",\
                 "1.857, 1.933, 2.121, 2.37, 2.681, 3.068, 3.551, 4.149, 4.876, 5.742",\
                 "1.76, 1.836, 2.023, 2.273, 2.584, 2.971, 3.454, 4.053, 4.78, 5.646");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09579, 0.3618, 0.8698, 1.661, 2.772, 4.233, 6.074, 8.321, 11");
          index_2("0.001, 0.01084, 0.0454, 0.1114, 0.2142, 0.3585, 0.5483, 0.7874, 1.079, 1.427");
          values("2.011, 2.085, 2.282, 2.591, 3.054, 3.699, 4.547, 5.614, 6.916, 8.47",\
                 "2.032, 2.106, 2.303, 2.612, 3.074, 3.72, 4.567, 5.634, 6.937, 8.491",\
                 "2.105, 2.179, 2.376, 2.686, 3.148, 3.793, 4.641, 5.708, 7.01, 8.564",\
                 "2.268, 2.343, 2.539, 2.849, 3.311, 3.956, 4.804, 5.871, 7.173, 8.727",\
                 "2.545, 2.62, 2.816, 3.126, 3.588, 4.233, 5.081, 6.149, 7.452, 9.004",\
                 "2.946, 3.02, 3.217, 3.527, 3.988, 4.634, 5.481, 6.549, 7.851, 9.405",\
                 "3.44, 3.515, 3.712, 4.022, 4.484, 5.129, 5.976, 7.044, 8.347, 9.899",\
                 "3.992, 4.068, 4.267, 4.577, 5.039, 5.683, 6.531, 7.598, 8.9, 10.45",\
                 "4.603, 4.68, 4.88, 5.192, 5.654, 6.298, 7.146, 8.213, 9.516, 11.07",\
                 "5.284, 5.361, 5.563, 5.875, 6.337, 6.981, 7.828, 8.896, 10.2, 11.75");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09579, 0.3618, 0.8698, 1.661, 2.772, 4.233, 6.074, 8.321, 11");
          index_2("0.001, 0.01084, 0.0454, 0.1114, 0.2142, 0.3585, 0.5483, 0.7874, 1.079, 1.427");
          values("0.242, 0.3072, 0.475, 0.7264, 1.1, 1.637, 2.376, 3.336, 4.525, 5.953",\
                 "0.2418, 0.3072, 0.4756, 0.7264, 1.099, 1.636, 2.377, 3.335, 4.524, 5.949",\
                 "0.242, 0.3068, 0.4758, 0.7268, 1.099, 1.636, 2.376, 3.336, 4.525, 5.951",\
                 "0.242, 0.3072, 0.4752, 0.7266, 1.098, 1.636, 2.376, 3.337, 4.525, 5.951",\
                 "0.2426, 0.3072, 0.4756, 0.7274, 1.1, 1.636, 2.377, 3.334, 4.525, 5.945",\
                 "0.2432, 0.3088, 0.4762, 0.7268, 1.099, 1.637, 2.376, 3.337, 4.522, 5.95",\
                 "0.244, 0.3088, 0.4768, 0.7286, 1.099, 1.636, 2.375, 3.337, 4.525, 5.946",\
                 "0.2444, 0.3094, 0.4774, 0.7288, 1.101, 1.636, 2.374, 3.333, 4.52, 5.942",\
                 "0.246, 0.3108, 0.4786, 0.7288, 1.1, 1.637, 2.378, 3.334, 4.52, 5.942",\
                 "0.248, 0.313, 0.4806, 0.7306, 1.103, 1.637, 2.376, 3.335, 4.522, 5.942");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09579, 0.3618, 0.8698, 1.661, 2.772, 4.233, 6.074, 8.321, 11");
          index_2("0.001, 0.01084, 0.0454, 0.1114, 0.2142, 0.3585, 0.5483, 0.7874, 1.079, 1.427");
          values("0.2008, 0.2792, 0.513, 0.9752, 1.742, 2.842, 4.29, 6.115, 8.347, 11",\
                 "0.1998, 0.2796, 0.513, 0.9748, 1.744, 2.84, 4.29, 6.109, 8.347, 11",\
                 "0.1996, 0.2796, 0.513, 0.975, 1.743, 2.84, 4.29, 6.117, 8.348, 11.01",\
                 "0.2, 0.2798, 0.5124, 0.9736, 1.743, 2.842, 4.287, 6.112, 8.346, 11",\
                 "0.1996, 0.2792, 0.5126, 0.9742, 1.742, 2.84, 4.288, 6.108, 8.341, 10.99",\
                 "0.2008, 0.28, 0.5132, 0.9748, 1.744, 2.84, 4.289, 6.117, 8.348, 11.01",\
                 "0.2024, 0.2822, 0.515, 0.9764, 1.743, 2.84, 4.289, 6.115, 8.344, 11.01",\
                 "0.2068, 0.2868, 0.5188, 0.9766, 1.742, 2.838, 4.291, 6.115, 8.346, 11.01",\
                 "0.211, 0.2908, 0.523, 0.9784, 1.746, 2.838, 4.288, 6.118, 8.34, 10.99",\
                 "0.216, 0.296, 0.526, 0.982, 1.744, 2.838, 4.284, 6.108, 8.336, 11");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09579, 0.3618, 0.8698, 1.661, 2.772, 4.233, 6.074, 8.321, 11");
          index_2("0.001, 0.01084, 0.0454, 0.1114, 0.2142, 0.3585, 0.5483, 0.7874, 1.079, 1.427");
          values("2.793, 2.867, 3.05, 3.297, 3.604, 3.99, 4.472, 5.07, 5.797, 6.663",\
                 "2.816, 2.889, 3.072, 3.32, 3.628, 4.012, 4.495, 5.092, 5.82, 6.685",\
                 "2.879, 2.952, 3.136, 3.383, 3.691, 4.076, 4.559, 5.157, 5.884, 6.75",\
                 "2.944, 3.017, 3.2, 3.448, 3.756, 4.141, 4.623, 5.221, 5.948, 6.813",\
                 "2.975, 3.048, 3.232, 3.478, 3.787, 4.171, 4.654, 5.252, 5.979, 6.845",\
                 "2.974, 3.048, 3.231, 3.478, 3.786, 4.171, 4.653, 5.251, 5.978, 6.845",\
                 "2.918, 2.992, 3.175, 3.422, 3.73, 4.116, 4.598, 5.196, 5.923, 6.789",\
                 "2.809, 2.882, 3.065, 3.312, 3.62, 4.005, 4.488, 5.086, 5.813, 6.679",\
                 "2.644, 2.717, 2.901, 3.148, 3.455, 3.84, 4.323, 4.921, 5.648, 6.514",\
                 "2.418, 2.492, 2.675, 2.922, 3.23, 3.615, 4.097, 4.695, 5.422, 6.288");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09579, 0.3618, 0.8698, 1.661, 2.772, 4.233, 6.074, 8.321, 11");
          index_2("0.001, 0.01084, 0.0454, 0.1114, 0.2142, 0.3585, 0.5483, 0.7874, 1.079, 1.427");
          values("2.011, 2.085, 2.282, 2.591, 3.054, 3.699, 4.547, 5.614, 6.916, 8.47",\
                 "2.032, 2.106, 2.303, 2.612, 3.074, 3.72, 4.567, 5.634, 6.937, 8.491",\
                 "2.105, 2.179, 2.376, 2.686, 3.148, 3.793, 4.641, 5.708, 7.01, 8.564",\
                 "2.268, 2.343, 2.539, 2.849, 3.311, 3.956, 4.804, 5.871, 7.173, 8.727",\
                 "2.545, 2.62, 2.816, 3.126, 3.588, 4.233, 5.081, 6.149, 7.452, 9.004",\
                 "2.946, 3.02, 3.217, 3.527, 3.988, 4.634, 5.481, 6.549, 7.851, 9.405",\
                 "3.44, 3.515, 3.712, 4.022, 4.484, 5.129, 5.976, 7.044, 8.347, 9.899",\
                 "3.992, 4.068, 4.267, 4.577, 5.039, 5.683, 6.531, 7.598, 8.9, 10.45",\
                 "4.603, 4.68, 4.88, 5.192, 5.654, 6.298, 7.146, 8.213, 9.516, 11.07",\
                 "5.284, 5.361, 5.563, 5.875, 6.337, 6.981, 7.828, 8.896, 10.2, 11.75");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09579, 0.3618, 0.8698, 1.661, 2.772, 4.233, 6.074, 8.321, 11");
          index_2("0.001, 0.01084, 0.0454, 0.1114, 0.2142, 0.3585, 0.5483, 0.7874, 1.079, 1.427");
          values("0.242, 0.3072, 0.475, 0.7264, 1.1, 1.637, 2.376, 3.336, 4.525, 5.953",\
                 "0.2418, 0.3072, 0.4756, 0.7264, 1.099, 1.636, 2.377, 3.335, 4.524, 5.949",\
                 "0.242, 0.3068, 0.4758, 0.7268, 1.099, 1.636, 2.376, 3.336, 4.525, 5.951",\
                 "0.242, 0.3072, 0.4752, 0.7266, 1.098, 1.636, 2.376, 3.337, 4.525, 5.951",\
                 "0.2426, 0.3072, 0.4756, 0.7274, 1.1, 1.636, 2.377, 3.334, 4.525, 5.945",\
                 "0.2432, 0.3088, 0.4762, 0.7268, 1.099, 1.637, 2.376, 3.337, 4.522, 5.95",\
                 "0.244, 0.3088, 0.4768, 0.7286, 1.099, 1.636, 2.375, 3.337, 4.525, 5.946",\
                 "0.2444, 0.3094, 0.4774, 0.7288, 1.101, 1.636, 2.374, 3.333, 4.52, 5.942",\
                 "0.246, 0.3108, 0.4786, 0.7288, 1.1, 1.637, 2.378, 3.334, 4.52, 5.942",\
                 "0.248, 0.313, 0.4806, 0.7306, 1.103, 1.637, 2.376, 3.335, 4.522, 5.942");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09579, 0.3618, 0.8698, 1.661, 2.772, 4.233, 6.074, 8.321, 11");
          index_2("0.001, 0.01084, 0.0454, 0.1114, 0.2142, 0.3585, 0.5483, 0.7874, 1.079, 1.427");
          values("0.2008, 0.2792, 0.513, 0.9752, 1.742, 2.842, 4.29, 6.115, 8.347, 11",\
                 "0.1998, 0.2796, 0.513, 0.9748, 1.744, 2.84, 4.29, 6.109, 8.347, 11",\
                 "0.1996, 0.2796, 0.513, 0.975, 1.743, 2.84, 4.29, 6.117, 8.348, 11.01",\
                 "0.2, 0.2798, 0.5124, 0.9736, 1.743, 2.842, 4.287, 6.112, 8.346, 11",\
                 "0.1996, 0.2792, 0.5126, 0.9742, 1.742, 2.84, 4.288, 6.108, 8.341, 10.99",\
                 "0.2008, 0.28, 0.5132, 0.9748, 1.744, 2.84, 4.289, 6.117, 8.348, 11.01",\
                 "0.2024, 0.2822, 0.515, 0.9764, 1.743, 2.84, 4.289, 6.115, 8.344, 11.01",\
                 "0.2068, 0.2868, 0.5188, 0.9766, 1.742, 2.838, 4.291, 6.115, 8.346, 11.01",\
                 "0.211, 0.2908, 0.523, 0.9784, 1.746, 2.838, 4.288, 6.118, 8.34, 10.99",\
                 "0.216, 0.296, 0.526, 0.982, 1.744, 2.838, 4.284, 6.108, 8.336, 11");
        }
      }

      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.09579, 0.3618, 0.8698, 1.661, 2.772, 4.233, 6.074, 8.321, 11");
          index_2("0.001, 0.01084, 0.0454, 0.1114, 0.2142, 0.3585, 0.5483, 0.7874, 1.079, 1.427");
          values("2.157, 2.233, 2.419, 2.669, 2.979, 3.365, 3.848, 4.446, 5.173, 6.039",\
                 "2.172, 2.248, 2.434, 2.683, 2.993, 3.379, 3.863, 4.461, 5.188, 6.054",\
                 "2.235, 2.31, 2.497, 2.746, 3.056, 3.442, 3.925, 4.523, 5.251, 6.117",\
                 "2.362, 2.438, 2.624, 2.874, 3.183, 3.57, 4.053, 4.651, 5.378, 6.244",\
                 "2.573, 2.649, 2.835, 3.084, 3.394, 3.78, 4.263, 4.862, 5.589, 6.455",\
                 "2.858, 2.934, 3.119, 3.37, 3.679, 4.065, 4.548, 5.147, 5.874, 6.74",\
                 "3.21, 3.285, 3.471, 3.721, 4.032, 4.418, 4.9, 5.498, 6.226, 7.092",\
                 "3.635, 3.71, 3.896, 4.146, 4.456, 4.842, 5.325, 5.924, 6.651, 7.517",\
                 "4.136, 4.212, 4.398, 4.648, 4.958, 5.344, 5.827, 6.426, 7.153, 8.018",\
                 "4.715, 4.791, 4.977, 5.227, 5.537, 5.923, 6.406, 7.004, 7.731, 8.597");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09579, 0.3618, 0.8698, 1.661, 2.772, 4.233, 6.074, 8.321, 11");
          index_2("0.001, 0.01084, 0.0454, 0.1114, 0.2142, 0.3585, 0.5483, 0.7874, 1.079, 1.427");
          values("2.415, 2.49, 2.686, 2.996, 3.458, 4.104, 4.951, 6.018, 7.321, 8.874",\
                 "2.438, 2.512, 2.709, 3.019, 3.481, 4.126, 4.974, 6.041, 7.344, 8.896",\
                 "2.502, 2.577, 2.774, 3.083, 3.546, 4.191, 5.038, 6.105, 7.408, 8.961",\
                 "2.567, 2.643, 2.839, 3.149, 3.611, 4.256, 5.103, 6.171, 7.474, 9.026",\
                 "2.598, 2.673, 2.87, 3.179, 3.641, 4.287, 5.134, 6.202, 7.504, 9.057",\
                 "2.594, 2.668, 2.864, 3.175, 3.637, 4.282, 5.13, 6.197, 7.5, 9.052",\
                 "2.537, 2.612, 2.808, 3.118, 3.58, 4.225, 5.073, 6.14, 7.443, 8.995",\
                 "2.426, 2.501, 2.697, 3.007, 3.469, 4.114, 4.962, 6.03, 7.333, 8.885",\
                 "2.261, 2.335, 2.532, 2.841, 3.303, 3.949, 4.796, 5.864, 7.166, 8.718",\
                 "2.035, 2.11, 2.307, 2.617, 3.078, 3.724, 4.571, 5.638, 6.942, 8.493");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09579, 0.3618, 0.8698, 1.661, 2.772, 4.233, 6.074, 8.321, 11");
          index_2("0.001, 0.01084, 0.0454, 0.1114, 0.2142, 0.3585, 0.5483, 0.7874, 1.079, 1.427");
          values("0.2414, 0.3064, 0.4756, 0.7254, 1.098, 1.635, 2.374, 3.336, 4.524, 5.947",\
                 "0.2416, 0.3068, 0.4748, 0.7258, 1.098, 1.636, 2.375, 3.336, 4.525, 5.952",\
                 "0.2412, 0.3064, 0.4742, 0.7256, 1.098, 1.635, 2.376, 3.336, 4.525, 5.951",\
                 "0.2414, 0.3062, 0.4748, 0.726, 1.098, 1.635, 2.376, 3.335, 4.525, 5.952",\
                 "0.2412, 0.3062, 0.4744, 0.7256, 1.098, 1.635, 2.377, 3.333, 4.521, 5.951",\
                 "0.2414, 0.3064, 0.4752, 0.7266, 1.099, 1.635, 2.376, 3.336, 4.525, 5.946",\
                 "0.2414, 0.3066, 0.4748, 0.726, 1.098, 1.636, 2.376, 3.337, 4.525, 5.953",\
                 "0.2416, 0.3064, 0.4744, 0.7258, 1.098, 1.637, 2.374, 3.334, 4.526, 5.948",\
                 "0.2416, 0.3064, 0.4742, 0.7254, 1.098, 1.634, 2.374, 3.334, 4.52, 5.948",\
                 "0.242, 0.306, 0.474, 0.726, 1.098, 1.634, 2.378, 3.332, 4.518, 5.94");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09579, 0.3618, 0.8698, 1.661, 2.772, 4.233, 6.074, 8.321, 11");
          index_2("0.001, 0.01084, 0.0454, 0.1114, 0.2142, 0.3585, 0.5483, 0.7874, 1.079, 1.427");
          values("0.2008, 0.2802, 0.513, 0.9754, 1.741, 2.838, 4.284, 6.115, 8.346, 11",\
                 "0.201, 0.2802, 0.514, 0.975, 1.743, 2.84, 4.289, 6.11, 8.342, 10.99",\
                 "0.2004, 0.2818, 0.5124, 0.9752, 1.744, 2.84, 4.289, 6.111, 8.344, 10.99",\
                 "0.2014, 0.2806, 0.5128, 0.9746, 1.743, 2.839, 4.286, 6.115, 8.342, 11.01",\
                 "0.2004, 0.2808, 0.5132, 0.9742, 1.744, 2.84, 4.285, 6.117, 8.346, 11.01",\
                 "0.201, 0.2804, 0.514, 0.9742, 1.743, 2.842, 4.289, 6.107, 8.338, 11",\
                 "0.2002, 0.2798, 0.5128, 0.9734, 1.741, 2.84, 4.29, 6.116, 8.339, 11.01",\
                 "0.2008, 0.2798, 0.513, 0.9744, 1.744, 2.838, 4.285, 6.117, 8.344, 11.01",\
                 "0.2012, 0.2798, 0.513, 0.9732, 1.741, 2.838, 4.284, 6.106, 8.336, 11",\
                 "0.2008, 0.2798, 0.5132, 0.9744, 1.741, 2.842, 4.288, 6.108, 8.332, 10.99");
        }
      }

      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.09579, 0.3618, 0.8698, 1.661, 2.772, 4.233, 6.074, 8.321, 11");
          index_2("0.001, 0.01084, 0.0454, 0.1114, 0.2142, 0.3585, 0.5483, 0.7874, 1.079, 1.427");
          values("2.395, 2.469, 2.652, 2.899, 3.207, 3.592, 4.074, 4.672, 5.399, 6.265",\
                 "2.416, 2.489, 2.673, 2.92, 3.227, 3.613, 4.095, 4.693, 5.42, 6.286",\
                 "2.489, 2.562, 2.746, 2.993, 3.301, 3.686, 4.168, 4.766, 5.493, 6.359",\
                 "2.653, 2.726, 2.909, 3.156, 3.464, 3.849, 4.332, 4.93, 5.657, 6.523",\
                 "2.931, 3.004, 3.187, 3.434, 3.742, 4.128, 4.61, 5.208, 5.935, 6.801",\
                 "3.323, 3.397, 3.581, 3.827, 4.135, 4.52, 5.003, 5.6, 6.328, 7.194",\
                 "3.788, 3.862, 4.045, 4.292, 4.6, 4.985, 5.467, 6.065, 6.792, 7.658",\
                 "4.305, 4.378, 4.561, 4.808, 5.117, 5.502, 5.984, 6.582, 7.309, 8.175",\
                 "4.883, 4.956, 5.139, 5.386, 5.694, 6.079, 6.561, 7.159, 7.886, 8.752",\
                 "5.532, 5.606, 5.789, 6.036, 6.344, 6.728, 7.211, 7.808, 8.535, 9.401");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09579, 0.3618, 0.8698, 1.661, 2.772, 4.233, 6.074, 8.321, 11");
          index_2("0.001, 0.01084, 0.0454, 0.1114, 0.2142, 0.3585, 0.5483, 0.7874, 1.079, 1.427");
          values("2.008, 2.071, 2.24, 2.537, 2.998, 3.643, 4.491, 5.558, 6.862, 8.413",\
                 "2.027, 2.089, 2.259, 2.556, 3.016, 3.661, 4.509, 5.577, 6.879, 8.432",\
                 "2.093, 2.156, 2.325, 2.622, 3.082, 3.727, 4.575, 5.643, 6.945, 8.498",\
                 "2.216, 2.279, 2.448, 2.746, 3.206, 3.851, 4.699, 5.766, 7.071, 8.623",\
                 "2.356, 2.418, 2.588, 2.885, 3.345, 3.99, 4.838, 5.905, 7.209, 8.762",\
                 "2.461, 2.523, 2.693, 2.99, 3.45, 4.095, 4.943, 6.011, 7.315, 8.865",\
                 "2.523, 2.586, 2.754, 3.053, 3.512, 4.157, 5.005, 6.073, 7.377, 8.93",\
                 "2.541, 2.603, 2.773, 3.07, 3.53, 4.175, 5.022, 6.09, 7.394, 8.947",\
                 "2.509, 2.572, 2.741, 3.038, 3.499, 4.144, 4.991, 6.059, 7.361, 8.914",\
                 "2.422, 2.485, 2.655, 2.952, 3.412, 4.057, 4.905, 5.972, 7.275, 8.827");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09579, 0.3618, 0.8698, 1.661, 2.772, 4.233, 6.074, 8.321, 11");
          index_2("0.001, 0.01084, 0.0454, 0.1114, 0.2142, 0.3585, 0.5483, 0.7874, 1.079, 1.427");
          values("0.23, 0.2956, 0.465, 0.718, 1.092, 1.632, 2.372, 3.334, 4.524, 5.952",\
                 "0.2298, 0.2954, 0.465, 0.7176, 1.092, 1.632, 2.373, 3.335, 4.524, 5.952",\
                 "0.23, 0.2954, 0.465, 0.7186, 1.093, 1.632, 2.372, 3.334, 4.524, 5.946",\
                 "0.2298, 0.2954, 0.465, 0.7178, 1.091, 1.632, 2.372, 3.332, 4.52, 5.952",\
                 "0.2302, 0.2954, 0.465, 0.7174, 1.091, 1.63, 2.373, 3.334, 4.524, 5.95",\
                 "0.23, 0.2956, 0.465, 0.7182, 1.091, 1.63, 2.373, 3.334, 4.521, 5.947",\
                 "0.23, 0.2954, 0.4654, 0.7178, 1.091, 1.63, 2.374, 3.333, 4.521, 5.952",\
                 "0.2296, 0.2956, 0.4648, 0.7178, 1.092, 1.631, 2.372, 3.334, 4.525, 5.95",\
                 "0.23, 0.2948, 0.466, 0.718, 1.092, 1.628, 2.372, 3.332, 4.52, 5.944",\
                 "0.228, 0.296, 0.464, 0.718, 1.09, 1.63, 2.37, 3.328, 4.522, 5.94");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09579, 0.3618, 0.8698, 1.661, 2.772, 4.233, 6.074, 8.321, 11");
          index_2("0.001, 0.01084, 0.0454, 0.1114, 0.2142, 0.3585, 0.5483, 0.7874, 1.079, 1.427");
          values("0.1628, 0.2284, 0.4576, 0.9464, 1.731, 2.831, 4.282, 6.106, 8.337, 11",\
                 "0.1634, 0.2284, 0.4576, 0.946, 1.731, 2.831, 4.277, 6.107, 8.338, 11",\
                 "0.1632, 0.2284, 0.4578, 0.9476, 1.731, 2.829, 4.282, 6.101, 8.336, 11",\
                 "0.163, 0.228, 0.4582, 0.9462, 1.731, 2.832, 4.276, 6.107, 8.338, 11.01",\
                 "0.1628, 0.229, 0.4576, 0.9464, 1.731, 2.831, 4.279, 6.1, 8.329, 11.01",\
                 "0.163, 0.2282, 0.4586, 0.9462, 1.73, 2.829, 4.28, 6.11, 8.341, 11",\
                 "0.163, 0.2288, 0.4578, 0.946, 1.727, 2.831, 4.277, 6.111, 8.345, 10.99",\
                 "0.163, 0.2284, 0.4574, 0.9462, 1.73, 2.827, 4.273, 6.1, 8.334, 11.01",\
                 "0.1634, 0.228, 0.4582, 0.9474, 1.731, 2.828, 4.274, 6.096, 8.338, 10.99",\
                 "0.1632, 0.2292, 0.4586, 0.9462, 1.732, 2.829, 4.276, 6.098, 8.322, 10.98");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09579, 0.3618, 0.8698, 1.661, 2.772, 4.233, 6.074, 8.321, 11");
          index_2("0.001, 0.01084, 0.0454, 0.1114, 0.2142, 0.3585, 0.5483, 0.7874, 1.079, 1.427");
          values("2.395, 2.469, 2.652, 2.899, 3.207, 3.592, 4.074, 4.672, 5.399, 6.265",\
                 "2.416, 2.489, 2.673, 2.92, 3.227, 3.613, 4.095, 4.693, 5.42, 6.286",\
                 "2.489, 2.562, 2.746, 2.993, 3.301, 3.686, 4.168, 4.766, 5.493, 6.359",\
                 "2.653, 2.726, 2.909, 3.156, 3.464, 3.849, 4.332, 4.93, 5.657, 6.523",\
                 "2.931, 3.004, 3.187, 3.434, 3.742, 4.128, 4.61, 5.208, 5.935, 6.801",\
                 "3.323, 3.397, 3.581, 3.827, 4.135, 4.52, 5.003, 5.6, 6.328, 7.194",\
                 "3.788, 3.862, 4.045, 4.292, 4.6, 4.985, 5.467, 6.065, 6.792, 7.658",\
                 "4.305, 4.378, 4.561, 4.808, 5.117, 5.502, 5.984, 6.582, 7.309, 8.175",\
                 "4.883, 4.956, 5.139, 5.386, 5.694, 6.079, 6.561, 7.159, 7.886, 8.752",\
                 "5.532, 5.606, 5.789, 6.036, 6.344, 6.728, 7.211, 7.808, 8.535, 9.401");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09579, 0.3618, 0.8698, 1.661, 2.772, 4.233, 6.074, 8.321, 11");
          index_2("0.001, 0.01084, 0.0454, 0.1114, 0.2142, 0.3585, 0.5483, 0.7874, 1.079, 1.427");
          values("2.415, 2.49, 2.686, 2.996, 3.458, 4.104, 4.951, 6.018, 7.321, 8.874",\
                 "2.438, 2.512, 2.709, 3.019, 3.481, 4.126, 4.974, 6.041, 7.344, 8.896",\
                 "2.502, 2.577, 2.774, 3.083, 3.546, 4.191, 5.038, 6.105, 7.408, 8.961",\
                 "2.567, 2.643, 2.839, 3.149, 3.611, 4.256, 5.103, 6.171, 7.474, 9.026",\
                 "2.598, 2.673, 2.87, 3.179, 3.641, 4.287, 5.134, 6.202, 7.504, 9.057",\
                 "2.594, 2.668, 2.864, 3.175, 3.637, 4.282, 5.13, 6.197, 7.5, 9.052",\
                 "2.537, 2.612, 2.808, 3.118, 3.58, 4.225, 5.073, 6.14, 7.443, 8.995",\
                 "2.426, 2.501, 2.697, 3.007, 3.469, 4.114, 4.962, 6.03, 7.333, 8.885",\
                 "2.261, 2.335, 2.532, 2.841, 3.303, 3.949, 4.796, 5.864, 7.166, 8.718",\
                 "2.035, 2.11, 2.307, 2.617, 3.078, 3.724, 4.571, 5.638, 6.942, 8.493");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09579, 0.3618, 0.8698, 1.661, 2.772, 4.233, 6.074, 8.321, 11");
          index_2("0.001, 0.01084, 0.0454, 0.1114, 0.2142, 0.3585, 0.5483, 0.7874, 1.079, 1.427");
          values("0.2414, 0.3064, 0.4756, 0.7254, 1.098, 1.635, 2.374, 3.336, 4.524, 5.947",\
                 "0.2416, 0.3068, 0.4748, 0.7258, 1.098, 1.636, 2.375, 3.336, 4.525, 5.952",\
                 "0.2412, 0.3064, 0.4742, 0.7256, 1.098, 1.635, 2.376, 3.336, 4.525, 5.951",\
                 "0.2414, 0.3062, 0.4748, 0.726, 1.098, 1.635, 2.376, 3.335, 4.525, 5.952",\
                 "0.2412, 0.3062, 0.4744, 0.7256, 1.098, 1.635, 2.377, 3.333, 4.521, 5.951",\
                 "0.2414, 0.3064, 0.4752, 0.7266, 1.099, 1.635, 2.376, 3.336, 4.525, 5.946",\
                 "0.2414, 0.3066, 0.4748, 0.726, 1.098, 1.636, 2.376, 3.337, 4.525, 5.953",\
                 "0.2416, 0.3064, 0.4744, 0.7258, 1.098, 1.637, 2.374, 3.334, 4.526, 5.948",\
                 "0.2416, 0.3064, 0.4742, 0.7254, 1.098, 1.634, 2.374, 3.334, 4.52, 5.948",\
                 "0.242, 0.306, 0.474, 0.726, 1.098, 1.634, 2.378, 3.332, 4.518, 5.94");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09579, 0.3618, 0.8698, 1.661, 2.772, 4.233, 6.074, 8.321, 11");
          index_2("0.001, 0.01084, 0.0454, 0.1114, 0.2142, 0.3585, 0.5483, 0.7874, 1.079, 1.427");
          values("0.2008, 0.2802, 0.513, 0.9754, 1.741, 2.838, 4.284, 6.115, 8.346, 11",\
                 "0.201, 0.2802, 0.514, 0.975, 1.743, 2.84, 4.289, 6.11, 8.342, 10.99",\
                 "0.2004, 0.2818, 0.5124, 0.9752, 1.744, 2.84, 4.289, 6.111, 8.344, 10.99",\
                 "0.2014, 0.2806, 0.5128, 0.9746, 1.743, 2.839, 4.286, 6.115, 8.342, 11.01",\
                 "0.2004, 0.2808, 0.5132, 0.9742, 1.744, 2.84, 4.285, 6.117, 8.346, 11.01",\
                 "0.201, 0.2804, 0.514, 0.9742, 1.743, 2.842, 4.289, 6.107, 8.338, 11",\
                 "0.2002, 0.2798, 0.5128, 0.9734, 1.741, 2.84, 4.29, 6.116, 8.339, 11.01",\
                 "0.2008, 0.2798, 0.513, 0.9744, 1.744, 2.838, 4.285, 6.117, 8.344, 11.01",\
                 "0.2012, 0.2798, 0.513, 0.9732, 1.741, 2.838, 4.284, 6.106, 8.336, 11",\
                 "0.2008, 0.2798, 0.5132, 0.9744, 1.741, 2.842, 4.288, 6.108, 8.332, 10.99");
        }
      }

      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.09579, 0.3618, 0.8698, 1.661, 2.772, 4.233, 6.074, 8.321, 11");
          index_2("0.001, 0.01084, 0.0454, 0.1114, 0.2142, 0.3585, 0.5483, 0.7874, 1.079, 1.427");
          values("2.697, 2.77, 2.954, 3.201, 3.509, 3.894, 4.376, 4.974, 5.701, 6.567",\
                 "2.72, 2.793, 2.976, 3.223, 3.531, 3.916, 4.399, 4.997, 5.724, 6.589",\
                 "2.786, 2.859, 3.042, 3.289, 3.597, 3.982, 4.464, 5.062, 5.789, 6.655",\
                 "2.849, 2.921, 3.105, 3.352, 3.66, 4.045, 4.527, 5.126, 5.852, 6.718",\
                 "2.873, 2.946, 3.13, 3.377, 3.685, 4.07, 4.552, 5.15, 5.877, 6.743",\
                 "2.855, 2.929, 3.112, 3.359, 3.667, 4.052, 4.534, 5.132, 5.859, 6.725",\
                 "2.785, 2.858, 3.041, 3.288, 3.597, 3.982, 4.464, 5.062, 5.789, 6.655",\
                 "2.656, 2.73, 2.912, 3.16, 3.468, 3.853, 4.335, 4.933, 5.659, 6.525",\
                 "2.465, 2.538, 2.721, 2.968, 3.277, 3.662, 4.144, 4.742, 5.469, 6.335",\
                 "2.206, 2.279, 2.462, 2.709, 3.017, 3.402, 3.884, 4.482, 5.209, 6.075");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09579, 0.3618, 0.8698, 1.661, 2.772, 4.233, 6.074, 8.321, 11");
          index_2("0.001, 0.01084, 0.0454, 0.1114, 0.2142, 0.3585, 0.5483, 0.7874, 1.079, 1.427");
          values("2.711, 2.773, 2.943, 3.24, 3.701, 4.346, 5.194, 6.261, 7.565, 9.117",\
                 "2.721, 2.783, 2.953, 3.25, 3.711, 4.355, 5.203, 6.271, 7.574, 9.127",\
                 "2.795, 2.857, 3.027, 3.324, 3.785, 4.43, 5.277, 6.345, 7.648, 9.201",\
                 "2.974, 3.035, 3.205, 3.503, 3.963, 4.608, 5.456, 6.523, 7.828, 9.379",\
                 "3.258, 3.32, 3.49, 3.787, 4.247, 4.892, 5.74, 6.808, 8.111, 9.663",\
                 "3.618, 3.679, 3.849, 4.146, 4.607, 5.252, 6.1, 7.167, 8.471, 10.02",\
                 "4.033, 4.096, 4.266, 4.562, 5.022, 5.667, 6.515, 7.582, 8.884, 10.44",\
                 "4.517, 4.579, 4.748, 5.045, 5.505, 6.151, 6.999, 8.066, 9.368, 10.92",\
                 "5.078, 5.141, 5.311, 5.608, 6.068, 6.713, 7.561, 8.629, 9.933, 11.48",\
                 "5.727, 5.788, 5.958, 6.255, 6.715, 7.36, 8.209, 9.276, 10.58, 12.13");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09579, 0.3618, 0.8698, 1.661, 2.772, 4.233, 6.074, 8.321, 11");
          index_2("0.001, 0.01084, 0.0454, 0.1114, 0.2142, 0.3585, 0.5483, 0.7874, 1.079, 1.427");
          values("0.2298, 0.2956, 0.4652, 0.718, 1.092, 1.63, 2.373, 3.334, 4.521, 5.948",\
                 "0.23, 0.2954, 0.4654, 0.7182, 1.092, 1.632, 2.372, 3.334, 4.522, 5.951",\
                 "0.23, 0.2956, 0.465, 0.7174, 1.092, 1.63, 2.373, 3.334, 4.524, 5.951",\
                 "0.2298, 0.2958, 0.4654, 0.7176, 1.091, 1.631, 2.373, 3.334, 4.524, 5.95",\
                 "0.23, 0.2954, 0.465, 0.7184, 1.091, 1.632, 2.374, 3.334, 4.524, 5.952",\
                 "0.23, 0.2954, 0.4648, 0.7186, 1.092, 1.63, 2.373, 3.334, 4.524, 5.95",\
                 "0.23, 0.2956, 0.4662, 0.7182, 1.091, 1.632, 2.374, 3.333, 4.519, 5.948",\
                 "0.2298, 0.2956, 0.4654, 0.7176, 1.092, 1.631, 2.37, 3.33, 4.519, 5.944",\
                 "0.2298, 0.295, 0.465, 0.7176, 1.093, 1.632, 2.37, 3.33, 4.518, 5.94",\
                 "0.23, 0.2954, 0.465, 0.7182, 1.092, 1.631, 2.372, 3.334, 4.518, 5.94");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09579, 0.3618, 0.8698, 1.661, 2.772, 4.233, 6.074, 8.321, 11");
          index_2("0.001, 0.01084, 0.0454, 0.1114, 0.2142, 0.3585, 0.5483, 0.7874, 1.079, 1.427");
          values("0.1628, 0.2284, 0.4582, 0.9472, 1.731, 2.832, 4.281, 6.104, 8.333, 11",\
                 "0.163, 0.2286, 0.4574, 0.9474, 1.73, 2.831, 4.282, 6.1, 8.331, 11.01",\
                 "0.163, 0.2286, 0.4572, 0.9474, 1.731, 2.832, 4.28, 6.101, 8.332, 11",\
                 "0.1632, 0.228, 0.4578, 0.9472, 1.731, 2.832, 4.282, 6.106, 8.337, 11",\
                 "0.1626, 0.2282, 0.4578, 0.9478, 1.731, 2.83, 4.276, 6.108, 8.343, 11",\
                 "0.1626, 0.228, 0.4582, 0.9478, 1.731, 2.831, 4.28, 6.102, 8.329, 11",\
                 "0.1626, 0.2288, 0.4578, 0.9462, 1.731, 2.831, 4.282, 6.102, 8.337, 11.01",\
                 "0.1632, 0.228, 0.4578, 0.9474, 1.729, 2.829, 4.282, 6.106, 8.336, 11.01",\
                 "0.162, 0.23, 0.458, 0.946, 1.728, 2.826, 4.276, 6.106, 8.342, 11",\
                 "0.164, 0.228, 0.458, 0.948, 1.73, 2.83, 4.276, 6.102, 8.336, 11");
        }
      }

      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.09579, 0.3618, 0.8698, 1.661, 2.772, 4.233, 6.074, 8.321, 11");
          index_2("0.001, 0.01084, 0.0454, 0.1114, 0.2142, 0.3585, 0.5483, 0.7874, 1.079, 1.427");
          values("1.417, 1.493, 1.679, 1.929, 2.239, 2.625, 3.109, 3.707, 4.434, 5.3",\
                 "1.435, 1.511, 1.697, 1.947, 2.256, 2.643, 3.126, 3.724, 4.451, 5.318",\
                 "1.481, 1.556, 1.743, 1.992, 2.302, 2.689, 3.172, 3.77, 4.497, 5.363",\
                 "1.561, 1.637, 1.823, 2.072, 2.383, 2.769, 3.252, 3.85, 4.578, 5.444",\
                 "1.653, 1.728, 1.915, 2.165, 2.475, 2.861, 3.344, 3.943, 4.67, 5.536",\
                 "1.72, 1.796, 1.982, 2.233, 2.543, 2.929, 3.413, 4.011, 4.738, 5.604",\
                 "1.75, 1.826, 2.012, 2.262, 2.572, 2.959, 3.442, 4.04, 4.768, 5.634",\
                 "1.732, 1.808, 1.995, 2.245, 2.555, 2.942, 3.425, 4.023, 4.75, 5.616",\
                 "1.66, 1.736, 1.923, 2.173, 2.484, 2.87, 3.354, 3.952, 4.679, 5.545",\
                 "1.528, 1.604, 1.791, 2.042, 2.353, 2.74, 3.223, 3.821, 4.549, 5.414");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09579, 0.3618, 0.8698, 1.661, 2.772, 4.233, 6.074, 8.321, 11");
          index_2("0.001, 0.01084, 0.0454, 0.1114, 0.2142, 0.3585, 0.5483, 0.7874, 1.079, 1.427");
          values("2.112, 2.187, 2.384, 2.693, 3.155, 3.8, 4.648, 5.715, 7.018, 8.571",\
                 "2.13, 2.205, 2.402, 2.712, 3.174, 3.819, 4.666, 5.734, 7.037, 8.589",\
                 "2.211, 2.285, 2.482, 2.792, 3.254, 3.899, 4.747, 5.814, 7.116, 8.67",\
                 "2.379, 2.454, 2.65, 2.96, 3.423, 4.067, 4.915, 5.983, 7.285, 8.839",\
                 "2.659, 2.735, 2.931, 3.241, 3.703, 4.348, 5.196, 6.263, 7.566, 9.118",\
                 "3.064, 3.139, 3.336, 3.645, 4.107, 4.753, 5.601, 6.668, 7.971, 9.523",\
                 "3.575, 3.649, 3.846, 4.157, 4.619, 5.263, 6.111, 7.179, 8.481, 10.03",\
                 "4.149, 4.226, 4.424, 4.734, 5.196, 5.842, 6.688, 7.756, 9.059, 10.61",\
                 "4.785, 4.862, 5.062, 5.373, 5.835, 6.479, 7.327, 8.395, 9.698, 11.25",\
                 "5.495, 5.572, 5.774, 6.086, 6.548, 7.192, 8.04, 9.107, 10.41, 11.96");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09579, 0.3618, 0.8698, 1.661, 2.772, 4.233, 6.074, 8.321, 11");
          index_2("0.001, 0.01084, 0.0454, 0.1114, 0.2142, 0.3585, 0.5483, 0.7874, 1.079, 1.427");
          values("0.2418, 0.307, 0.4754, 0.7266, 1.099, 1.636, 2.374, 3.335, 4.525, 5.952",\
                 "0.2422, 0.3068, 0.4754, 0.7266, 1.099, 1.637, 2.376, 3.336, 4.525, 5.952",\
                 "0.242, 0.3072, 0.4752, 0.7268, 1.1, 1.636, 2.376, 3.336, 4.525, 5.945",\
                 "0.242, 0.3072, 0.4754, 0.7268, 1.1, 1.636, 2.374, 3.334, 4.521, 5.952",\
                 "0.2426, 0.3076, 0.4752, 0.7264, 1.1, 1.637, 2.377, 3.336, 4.522, 5.951",\
                 "0.2426, 0.3078, 0.4758, 0.7272, 1.099, 1.635, 2.376, 3.337, 4.525, 5.949",\
                 "0.2436, 0.3084, 0.4764, 0.7274, 1.1, 1.636, 2.374, 3.335, 4.526, 5.949",\
                 "0.2446, 0.31, 0.478, 0.7282, 1.101, 1.636, 2.376, 3.332, 4.52, 5.947",\
                 "0.2462, 0.3114, 0.4786, 0.7294, 1.101, 1.637, 2.375, 3.334, 4.519, 5.941",\
                 "0.2484, 0.3134, 0.4804, 0.7308, 1.101, 1.637, 2.376, 3.335, 4.522, 5.948");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09579, 0.3618, 0.8698, 1.661, 2.772, 4.233, 6.074, 8.321, 11");
          index_2("0.001, 0.01084, 0.0454, 0.1114, 0.2142, 0.3585, 0.5483, 0.7874, 1.079, 1.427");
          values("0.2016, 0.2804, 0.513, 0.9752, 1.744, 2.843, 4.284, 6.113, 8.343, 10.99",\
                 "0.2006, 0.2802, 0.5122, 0.9746, 1.743, 2.841, 4.289, 6.109, 8.345, 11.01",\
                 "0.2016, 0.2806, 0.5138, 0.9744, 1.743, 2.839, 4.287, 6.116, 8.347, 11",\
                 "0.201, 0.2806, 0.514, 0.9752, 1.743, 2.843, 4.288, 6.117, 8.348, 11",\
                 "0.2006, 0.2804, 0.5132, 0.9748, 1.741, 2.839, 4.286, 6.111, 8.34, 11",\
                 "0.201, 0.2806, 0.5148, 0.9752, 1.744, 2.839, 4.291, 6.116, 8.343, 10.99",\
                 "0.2026, 0.2822, 0.5156, 0.9762, 1.742, 2.843, 4.291, 6.118, 8.346, 11",\
                 "0.2066, 0.2866, 0.5188, 0.9774, 1.743, 2.841, 4.29, 6.117, 8.348, 11",\
                 "0.2108, 0.2906, 0.5218, 0.98, 1.746, 2.838, 4.288, 6.114, 8.346, 11",\
                 "0.216, 0.296, 0.528, 0.98, 1.742, 2.84, 4.286, 6.11, 8.346, 11");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09579, 0.3618, 0.8698, 1.661, 2.772, 4.233, 6.074, 8.321, 11");
          index_2("0.001, 0.01084, 0.0454, 0.1114, 0.2142, 0.3585, 0.5483, 0.7874, 1.079, 1.427");
          values("2.697, 2.77, 2.954, 3.201, 3.509, 3.894, 4.376, 4.974, 5.701, 6.567",\
                 "2.72, 2.793, 2.976, 3.223, 3.531, 3.916, 4.399, 4.997, 5.724, 6.589",\
                 "2.786, 2.859, 3.042, 3.289, 3.597, 3.982, 4.464, 5.062, 5.789, 6.655",\
                 "2.849, 2.921, 3.105, 3.352, 3.66, 4.045, 4.527, 5.126, 5.852, 6.718",\
                 "2.873, 2.946, 3.13, 3.377, 3.685, 4.07, 4.552, 5.15, 5.877, 6.743",\
                 "2.855, 2.929, 3.112, 3.359, 3.667, 4.052, 4.534, 5.132, 5.859, 6.725",\
                 "2.785, 2.858, 3.041, 3.288, 3.597, 3.982, 4.464, 5.062, 5.789, 6.655",\
                 "2.656, 2.73, 2.912, 3.16, 3.468, 3.853, 4.335, 4.933, 5.659, 6.525",\
                 "2.465, 2.538, 2.721, 2.968, 3.277, 3.662, 4.144, 4.742, 5.469, 6.335",\
                 "2.206, 2.279, 2.462, 2.709, 3.017, 3.402, 3.884, 4.482, 5.209, 6.075");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09579, 0.3618, 0.8698, 1.661, 2.772, 4.233, 6.074, 8.321, 11");
          index_2("0.001, 0.01084, 0.0454, 0.1114, 0.2142, 0.3585, 0.5483, 0.7874, 1.079, 1.427");
          values("2.711, 2.773, 2.943, 3.24, 3.701, 4.346, 5.194, 6.261, 7.565, 9.117",\
                 "2.721, 2.783, 2.953, 3.25, 3.711, 4.355, 5.203, 6.271, 7.574, 9.127",\
                 "2.795, 2.857, 3.027, 3.324, 3.785, 4.43, 5.277, 6.345, 7.648, 9.201",\
                 "2.974, 3.035, 3.205, 3.503, 3.963, 4.608, 5.456, 6.523, 7.828, 9.379",\
                 "3.258, 3.32, 3.49, 3.787, 4.247, 4.892, 5.74, 6.808, 8.111, 9.663",\
                 "3.618, 3.679, 3.849, 4.146, 4.607, 5.252, 6.1, 7.167, 8.471, 10.02",\
                 "4.033, 4.096, 4.266, 4.562, 5.022, 5.667, 6.515, 7.582, 8.884, 10.44",\
                 "4.517, 4.579, 4.748, 5.045, 5.505, 6.151, 6.999, 8.066, 9.368, 10.92",\
                 "5.078, 5.141, 5.311, 5.608, 6.068, 6.713, 7.561, 8.629, 9.933, 11.48",\
                 "5.727, 5.788, 5.958, 6.255, 6.715, 7.36, 8.209, 9.276, 10.58, 12.13");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09579, 0.3618, 0.8698, 1.661, 2.772, 4.233, 6.074, 8.321, 11");
          index_2("0.001, 0.01084, 0.0454, 0.1114, 0.2142, 0.3585, 0.5483, 0.7874, 1.079, 1.427");
          values("0.2418, 0.307, 0.4754, 0.7266, 1.099, 1.636, 2.374, 3.335, 4.525, 5.952",\
                 "0.2422, 0.3068, 0.4754, 0.7266, 1.099, 1.637, 2.376, 3.336, 4.525, 5.952",\
                 "0.242, 0.3072, 0.4752, 0.7268, 1.1, 1.636, 2.376, 3.336, 4.525, 5.945",\
                 "0.242, 0.3072, 0.4754, 0.7268, 1.1, 1.636, 2.374, 3.334, 4.521, 5.952",\
                 "0.2426, 0.3076, 0.4752, 0.7264, 1.1, 1.637, 2.377, 3.336, 4.522, 5.951",\
                 "0.2426, 0.3078, 0.4758, 0.7272, 1.099, 1.635, 2.376, 3.337, 4.525, 5.949",\
                 "0.2436, 0.3084, 0.4764, 0.7274, 1.1, 1.636, 2.374, 3.335, 4.526, 5.949",\
                 "0.2446, 0.31, 0.478, 0.7282, 1.101, 1.636, 2.376, 3.332, 4.52, 5.947",\
                 "0.2462, 0.3114, 0.4786, 0.7294, 1.101, 1.637, 2.375, 3.334, 4.519, 5.941",\
                 "0.2484, 0.3134, 0.4804, 0.7308, 1.101, 1.637, 2.376, 3.335, 4.522, 5.948");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09579, 0.3618, 0.8698, 1.661, 2.772, 4.233, 6.074, 8.321, 11");
          index_2("0.001, 0.01084, 0.0454, 0.1114, 0.2142, 0.3585, 0.5483, 0.7874, 1.079, 1.427");
          values("0.2016, 0.2804, 0.513, 0.9752, 1.744, 2.843, 4.284, 6.113, 8.343, 10.99",\
                 "0.2006, 0.2802, 0.5122, 0.9746, 1.743, 2.841, 4.289, 6.109, 8.345, 11.01",\
                 "0.2016, 0.2806, 0.5138, 0.9744, 1.743, 2.839, 4.287, 6.116, 8.347, 11",\
                 "0.201, 0.2806, 0.514, 0.9752, 1.743, 2.843, 4.288, 6.117, 8.348, 11",\
                 "0.2006, 0.2804, 0.5132, 0.9748, 1.741, 2.839, 4.286, 6.111, 8.34, 11",\
                 "0.201, 0.2806, 0.5148, 0.9752, 1.744, 2.839, 4.291, 6.116, 8.343, 10.99",\
                 "0.2026, 0.2822, 0.5156, 0.9762, 1.742, 2.843, 4.291, 6.118, 8.346, 11",\
                 "0.2066, 0.2866, 0.5188, 0.9774, 1.743, 2.841, 4.29, 6.117, 8.348, 11",\
                 "0.2108, 0.2906, 0.5218, 0.98, 1.746, 2.838, 4.288, 6.114, 8.346, 11",\
                 "0.216, 0.296, 0.528, 0.98, 1.742, 2.84, 4.286, 6.11, 8.346, 11");
        }
      }

      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.09579, 0.3618, 0.8698, 1.661, 2.772, 4.233, 6.074, 8.321, 11");
          index_2("0.001, 0.01084, 0.0454, 0.1114, 0.2142, 0.3585, 0.5483, 0.7874, 1.079, 1.427");
          values("2.107, 2.183, 2.369, 2.618, 2.928, 3.315, 3.798, 4.396, 5.123, 5.989",\
                 "2.116, 2.192, 2.378, 2.628, 2.938, 3.324, 3.807, 4.405, 5.133, 5.998",\
                 "2.191, 2.266, 2.452, 2.702, 3.012, 3.398, 3.881, 4.48, 5.207, 6.073",\
                 "2.369, 2.444, 2.631, 2.88, 3.19, 3.576, 4.059, 4.658, 5.385, 6.251",\
                 "2.653, 2.729, 2.915, 3.165, 3.475, 3.861, 4.344, 4.942, 5.669, 6.535",\
                 "3.012, 3.088, 3.274, 3.524, 3.833, 4.22, 4.703, 5.301, 6.029, 6.894",\
                 "3.427, 3.503, 3.689, 3.939, 4.249, 4.635, 5.117, 5.716, 6.444, 7.31",\
                 "3.91, 3.985, 4.172, 4.421, 4.731, 5.118, 5.601, 6.199, 6.926, 7.792",\
                 "4.471, 4.547, 4.733, 4.982, 5.292, 5.679, 6.162, 6.76, 7.487, 8.353",\
                 "5.118, 5.193, 5.38, 5.629, 5.939, 6.325, 6.808, 7.407, 8.134, 9");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09579, 0.3618, 0.8698, 1.661, 2.772, 4.233, 6.074, 8.321, 11");
          index_2("0.001, 0.01084, 0.0454, 0.1114, 0.2142, 0.3585, 0.5483, 0.7874, 1.079, 1.427");
          values("2.312, 2.387, 2.583, 2.893, 3.355, 4, 4.848, 5.915, 7.219, 8.771",\
                 "2.335, 2.409, 2.606, 2.916, 3.378, 4.023, 4.871, 5.938, 7.24, 8.794",\
                 "2.401, 2.475, 2.672, 2.981, 3.444, 4.089, 4.937, 6.004, 7.307, 8.859",\
                 "2.464, 2.539, 2.735, 3.045, 3.507, 4.152, 5, 6.067, 7.369, 8.923",\
                 "2.489, 2.563, 2.76, 3.069, 3.532, 4.177, 5.024, 6.092, 7.394, 8.948",\
                 "2.47, 2.545, 2.741, 3.051, 3.513, 4.158, 5.005, 6.072, 7.375, 8.929",\
                 "2.4, 2.474, 2.67, 2.98, 3.442, 4.087, 4.935, 6.003, 7.305, 8.858",\
                 "2.271, 2.346, 2.542, 2.852, 3.314, 3.959, 4.807, 5.874, 7.177, 8.729",\
                 "2.08, 2.155, 2.352, 2.661, 3.122, 3.767, 4.615, 5.683, 6.985, 8.539",\
                 "1.821, 1.896, 2.092, 2.402, 2.865, 3.51, 4.357, 5.425, 6.727, 8.279");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09579, 0.3618, 0.8698, 1.661, 2.772, 4.233, 6.074, 8.321, 11");
          index_2("0.001, 0.01084, 0.0454, 0.1114, 0.2142, 0.3585, 0.5483, 0.7874, 1.079, 1.427");
          values("0.2414, 0.306, 0.4744, 0.7258, 1.098, 1.635, 2.376, 3.335, 4.524, 5.947",\
                 "0.2418, 0.3066, 0.4746, 0.7258, 1.098, 1.635, 2.377, 3.335, 4.524, 5.945",\
                 "0.2416, 0.3062, 0.4744, 0.726, 1.098, 1.635, 2.374, 3.334, 4.521, 5.952",\
                 "0.2418, 0.3062, 0.4744, 0.726, 1.098, 1.635, 2.376, 3.336, 4.525, 5.95",\
                 "0.241, 0.3064, 0.4746, 0.7258, 1.098, 1.635, 2.376, 3.335, 4.524, 5.949",\
                 "0.2416, 0.3068, 0.4744, 0.7252, 1.097, 1.635, 2.375, 3.335, 4.524, 5.945",\
                 "0.2418, 0.3068, 0.4746, 0.726, 1.098, 1.636, 2.376, 3.336, 4.525, 5.949",\
                 "0.2416, 0.3064, 0.4754, 0.7254, 1.099, 1.635, 2.376, 3.336, 4.523, 5.953",\
                 "0.242, 0.3064, 0.4754, 0.7246, 1.098, 1.634, 2.374, 3.332, 4.518, 5.946",\
                 "0.242, 0.308, 0.476, 0.726, 1.098, 1.636, 2.374, 3.334, 4.522, 5.942");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09579, 0.3618, 0.8698, 1.661, 2.772, 4.233, 6.074, 8.321, 11");
          index_2("0.001, 0.01084, 0.0454, 0.1114, 0.2142, 0.3585, 0.5483, 0.7874, 1.079, 1.427");
          values("0.2006, 0.2796, 0.5122, 0.975, 1.742, 2.84, 4.285, 6.108, 8.34, 10.99",\
                 "0.2006, 0.279, 0.5128, 0.9752, 1.742, 2.84, 4.287, 6.115, 8.347, 11",\
                 "0.2008, 0.2794, 0.5124, 0.9738, 1.741, 2.842, 4.29, 6.108, 8.341, 11",\
                 "0.2, 0.279, 0.5128, 0.9734, 1.744, 2.84, 4.287, 6.116, 8.348, 11",\
                 "0.1996, 0.2794, 0.5128, 0.9736, 1.743, 2.842, 4.288, 6.117, 8.349, 11.01",\
                 "0.1998, 0.2788, 0.5138, 0.9736, 1.741, 2.843, 4.287, 6.112, 8.345, 11",\
                 "0.2008, 0.279, 0.5126, 0.9742, 1.741, 2.838, 4.289, 6.117, 8.348, 11.01",\
                 "0.1996, 0.2792, 0.5126, 0.9738, 1.744, 2.837, 4.283, 6.115, 8.341, 11",\
                 "0.2006, 0.2794, 0.5128, 0.9742, 1.741, 2.842, 4.284, 6.107, 8.343, 11.01",\
                 "0.2006, 0.2794, 0.5122, 0.9742, 1.742, 2.843, 4.286, 6.106, 8.332, 10.99");
        }
      }

      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.09579, 0.3618, 0.8698, 1.661, 2.772, 4.233, 6.074, 8.321, 11");
          index_2("0.001, 0.01084, 0.0454, 0.1114, 0.2142, 0.3585, 0.5483, 0.7874, 1.079, 1.427");
          values("2.488, 2.562, 2.745, 2.992, 3.3, 3.685, 4.167, 4.765, 5.492, 6.358",\
                 "2.507, 2.58, 2.763, 3.01, 3.318, 3.703, 4.185, 4.784, 5.511, 6.376",\
                 "2.587, 2.66, 2.844, 3.09, 3.399, 3.783, 4.266, 4.864, 5.591, 6.456",\
                 "2.756, 2.829, 3.012, 3.26, 3.568, 3.953, 4.435, 5.033, 5.76, 6.626",\
                 "3.037, 3.11, 3.293, 3.54, 3.848, 4.233, 4.716, 5.314, 6.041, 6.907",\
                 "3.437, 3.51, 3.693, 3.94, 4.248, 4.634, 5.116, 5.714, 6.441, 7.307",\
                 "3.921, 3.995, 4.178, 4.425, 4.732, 5.117, 5.6, 6.198, 6.925, 7.79",\
                 "4.46, 4.533, 4.716, 4.963, 5.271, 5.656, 6.138, 6.736, 7.463, 8.329",\
                 "5.061, 5.135, 5.319, 5.565, 5.873, 6.259, 6.741, 7.338, 8.066, 8.931",\
                 "5.738, 5.811, 5.994, 6.241, 6.549, 6.934, 7.416, 8.014, 8.741, 9.607");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09579, 0.3618, 0.8698, 1.661, 2.772, 4.233, 6.074, 8.321, 11");
          index_2("0.001, 0.01084, 0.0454, 0.1114, 0.2142, 0.3585, 0.5483, 0.7874, 1.079, 1.427");
          values("2.024, 2.086, 2.256, 2.553, 3.013, 3.658, 4.506, 5.573, 6.878, 8.43",\
                 "2.042, 2.104, 2.274, 2.571, 3.031, 3.676, 4.524, 5.591, 6.896, 8.447",\
                 "2.088, 2.15, 2.319, 2.617, 3.077, 3.722, 4.57, 5.637, 6.942, 8.492",\
                 "2.169, 2.231, 2.401, 2.698, 3.158, 3.803, 4.651, 5.718, 7.023, 8.574",\
                 "2.265, 2.327, 2.497, 2.794, 3.255, 3.899, 4.747, 5.815, 7.119, 8.67",\
                 "2.339, 2.401, 2.571, 2.868, 3.328, 3.973, 4.822, 5.889, 7.192, 8.747",\
                 "2.375, 2.437, 2.607, 2.904, 3.364, 4.008, 4.857, 5.925, 7.227, 8.782",\
                 "2.366, 2.428, 2.597, 2.894, 3.355, 4, 4.847, 5.914, 7.218, 8.77",\
                 "2.302, 2.364, 2.534, 2.831, 3.291, 3.936, 4.784, 5.851, 7.154, 8.707",\
                 "2.18, 2.243, 2.413, 2.711, 3.17, 3.815, 4.663, 5.73, 7.032, 8.585");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09579, 0.3618, 0.8698, 1.661, 2.772, 4.233, 6.074, 8.321, 11");
          index_2("0.001, 0.01084, 0.0454, 0.1114, 0.2142, 0.3585, 0.5483, 0.7874, 1.079, 1.427");
          values("0.23, 0.2954, 0.4652, 0.7182, 1.091, 1.632, 2.374, 3.334, 4.522, 5.948",\
                 "0.2298, 0.2954, 0.4654, 0.718, 1.091, 1.631, 2.372, 3.334, 4.524, 5.952",\
                 "0.23, 0.2954, 0.4648, 0.7182, 1.091, 1.63, 2.373, 3.333, 4.523, 5.945",\
                 "0.2298, 0.2958, 0.465, 0.718, 1.092, 1.63, 2.373, 3.334, 4.52, 5.95",\
                 "0.23, 0.2958, 0.465, 0.7176, 1.091, 1.63, 2.373, 3.334, 4.524, 5.95",\
                 "0.2298, 0.2954, 0.4648, 0.7182, 1.092, 1.631, 2.372, 3.334, 4.524, 5.952",\
                 "0.23, 0.2954, 0.4652, 0.7178, 1.091, 1.63, 2.372, 3.334, 4.524, 5.951",\
                 "0.2298, 0.2956, 0.4652, 0.7188, 1.091, 1.631, 2.372, 3.333, 4.524, 5.948",\
                 "0.23, 0.294, 0.466, 0.718, 1.09, 1.63, 2.37, 3.332, 4.522, 5.944",\
                 "0.23, 0.294, 0.466, 0.718, 1.092, 1.63, 2.372, 3.328, 4.518, 5.942");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09579, 0.3618, 0.8698, 1.661, 2.772, 4.233, 6.074, 8.321, 11");
          index_2("0.001, 0.01084, 0.0454, 0.1114, 0.2142, 0.3585, 0.5483, 0.7874, 1.079, 1.427");
          values("0.163, 0.2286, 0.4578, 0.9474, 1.73, 2.831, 4.282, 6.107, 8.339, 11.01",\
                 "0.1632, 0.2286, 0.458, 0.9474, 1.731, 2.831, 4.282, 6.108, 8.34, 11",\
                 "0.1628, 0.2286, 0.4576, 0.9458, 1.73, 2.831, 4.282, 6.107, 8.339, 11",\
                 "0.163, 0.2282, 0.4578, 0.9478, 1.73, 2.832, 4.282, 6.107, 8.339, 11",\
                 "0.1628, 0.229, 0.4578, 0.9474, 1.728, 2.829, 4.281, 6.104, 8.336, 11",\
                 "0.1632, 0.2288, 0.4584, 0.9468, 1.73, 2.832, 4.275, 6.106, 8.341, 11",\
                 "0.164, 0.2284, 0.4582, 0.9474, 1.727, 2.83, 4.282, 6.105, 8.344, 11",\
                 "0.1644, 0.229, 0.4584, 0.9478, 1.729, 2.827, 4.275, 6.098, 8.337, 11",\
                 "0.1634, 0.2282, 0.4574, 0.946, 1.729, 2.827, 4.275, 6.097, 8.334, 10.99",\
                 "0.1646, 0.229, 0.458, 0.9478, 1.729, 2.829, 4.274, 6.1, 8.322, 10.99");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09579, 0.3618, 0.8698, 1.661, 2.772, 4.233, 6.074, 8.321, 11");
          index_2("0.001, 0.01084, 0.0454, 0.1114, 0.2142, 0.3585, 0.5483, 0.7874, 1.079, 1.427");
          values("2.488, 2.562, 2.745, 2.992, 3.3, 3.685, 4.167, 4.765, 5.492, 6.358",\
                 "2.507, 2.58, 2.763, 3.01, 3.318, 3.703, 4.185, 4.784, 5.511, 6.376",\
                 "2.587, 2.66, 2.844, 3.09, 3.399, 3.783, 4.266, 4.864, 5.591, 6.456",\
                 "2.756, 2.829, 3.012, 3.26, 3.568, 3.953, 4.435, 5.033, 5.76, 6.626",\
                 "3.037, 3.11, 3.293, 3.54, 3.848, 4.233, 4.716, 5.314, 6.041, 6.907",\
                 "3.437, 3.51, 3.693, 3.94, 4.248, 4.634, 5.116, 5.714, 6.441, 7.307",\
                 "3.921, 3.995, 4.178, 4.425, 4.732, 5.117, 5.6, 6.198, 6.925, 7.79",\
                 "4.46, 4.533, 4.716, 4.963, 5.271, 5.656, 6.138, 6.736, 7.463, 8.329",\
                 "5.061, 5.135, 5.319, 5.565, 5.873, 6.259, 6.741, 7.338, 8.066, 8.931",\
                 "5.738, 5.811, 5.994, 6.241, 6.549, 6.934, 7.416, 8.014, 8.741, 9.607");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09579, 0.3618, 0.8698, 1.661, 2.772, 4.233, 6.074, 8.321, 11");
          index_2("0.001, 0.01084, 0.0454, 0.1114, 0.2142, 0.3585, 0.5483, 0.7874, 1.079, 1.427");
          values("2.312, 2.387, 2.583, 2.893, 3.355, 4, 4.848, 5.915, 7.219, 8.771",\
                 "2.335, 2.409, 2.606, 2.916, 3.378, 4.023, 4.871, 5.938, 7.24, 8.794",\
                 "2.401, 2.475, 2.672, 2.981, 3.444, 4.089, 4.937, 6.004, 7.307, 8.859",\
                 "2.464, 2.539, 2.735, 3.045, 3.507, 4.152, 5, 6.067, 7.369, 8.923",\
                 "2.489, 2.563, 2.76, 3.069, 3.532, 4.177, 5.024, 6.092, 7.394, 8.948",\
                 "2.47, 2.545, 2.741, 3.051, 3.513, 4.158, 5.005, 6.072, 7.375, 8.929",\
                 "2.4, 2.474, 2.67, 2.98, 3.442, 4.087, 4.935, 6.003, 7.305, 8.858",\
                 "2.271, 2.346, 2.542, 2.852, 3.314, 3.959, 4.807, 5.874, 7.177, 8.729",\
                 "2.08, 2.155, 2.352, 2.661, 3.122, 3.767, 4.615, 5.683, 6.985, 8.539",\
                 "1.821, 1.896, 2.092, 2.402, 2.865, 3.51, 4.357, 5.425, 6.727, 8.279");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09579, 0.3618, 0.8698, 1.661, 2.772, 4.233, 6.074, 8.321, 11");
          index_2("0.001, 0.01084, 0.0454, 0.1114, 0.2142, 0.3585, 0.5483, 0.7874, 1.079, 1.427");
          values("0.2414, 0.306, 0.4744, 0.7258, 1.098, 1.635, 2.376, 3.335, 4.524, 5.947",\
                 "0.2418, 0.3066, 0.4746, 0.7258, 1.098, 1.635, 2.377, 3.335, 4.524, 5.945",\
                 "0.2416, 0.3062, 0.4744, 0.726, 1.098, 1.635, 2.374, 3.334, 4.521, 5.952",\
                 "0.2418, 0.3062, 0.4744, 0.726, 1.098, 1.635, 2.376, 3.336, 4.525, 5.95",\
                 "0.241, 0.3064, 0.4746, 0.7258, 1.098, 1.635, 2.376, 3.335, 4.524, 5.949",\
                 "0.2416, 0.3068, 0.4744, 0.7252, 1.097, 1.635, 2.375, 3.335, 4.524, 5.945",\
                 "0.2418, 0.3068, 0.4746, 0.726, 1.098, 1.636, 2.376, 3.336, 4.525, 5.949",\
                 "0.2416, 0.3064, 0.4754, 0.7254, 1.099, 1.635, 2.376, 3.336, 4.523, 5.953",\
                 "0.242, 0.3064, 0.4754, 0.7246, 1.098, 1.634, 2.374, 3.332, 4.518, 5.946",\
                 "0.242, 0.308, 0.476, 0.726, 1.098, 1.636, 2.374, 3.334, 4.522, 5.942");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09579, 0.3618, 0.8698, 1.661, 2.772, 4.233, 6.074, 8.321, 11");
          index_2("0.001, 0.01084, 0.0454, 0.1114, 0.2142, 0.3585, 0.5483, 0.7874, 1.079, 1.427");
          values("0.2006, 0.2796, 0.5122, 0.975, 1.742, 2.84, 4.285, 6.108, 8.34, 10.99",\
                 "0.2006, 0.279, 0.5128, 0.9752, 1.742, 2.84, 4.287, 6.115, 8.347, 11",\
                 "0.2008, 0.2794, 0.5124, 0.9738, 1.741, 2.842, 4.29, 6.108, 8.341, 11",\
                 "0.2, 0.279, 0.5128, 0.9734, 1.744, 2.84, 4.287, 6.116, 8.348, 11",\
                 "0.1996, 0.2794, 0.5128, 0.9736, 1.743, 2.842, 4.288, 6.117, 8.349, 11.01",\
                 "0.1998, 0.2788, 0.5138, 0.9736, 1.741, 2.843, 4.287, 6.112, 8.345, 11",\
                 "0.2008, 0.279, 0.5126, 0.9742, 1.741, 2.838, 4.289, 6.117, 8.348, 11.01",\
                 "0.1996, 0.2792, 0.5126, 0.9738, 1.744, 2.837, 4.283, 6.115, 8.341, 11",\
                 "0.2006, 0.2794, 0.5128, 0.9742, 1.741, 2.842, 4.284, 6.107, 8.343, 11.01",\
                 "0.2006, 0.2794, 0.5122, 0.9742, 1.742, 2.843, 4.286, 6.106, 8.332, 10.99");
        }
      }

      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.09579, 0.3618, 0.8698, 1.661, 2.772, 4.233, 6.074, 8.321, 11");
          index_2("0.001, 0.01084, 0.0454, 0.1114, 0.2142, 0.3585, 0.5483, 0.7874, 1.079, 1.427");
          values("1.161, 1.237, 1.423, 1.673, 1.982, 2.369, 2.852, 3.45, 4.177, 5.043",\
                 "1.183, 1.259, 1.445, 1.694, 2.004, 2.39, 2.873, 3.472, 4.199, 5.065",\
                 "1.25, 1.325, 1.512, 1.761, 2.071, 2.457, 2.94, 3.539, 4.266, 5.132",\
                 "1.333, 1.409, 1.595, 1.844, 2.155, 2.541, 3.024, 3.622, 4.349, 5.215",\
                 "1.387, 1.463, 1.648, 1.898, 2.207, 2.594, 3.076, 3.675, 4.402, 5.268",\
                 "1.404, 1.478, 1.662, 1.911, 2.22, 2.606, 3.089, 3.688, 4.415, 5.281",\
                 "1.371, 1.445, 1.629, 1.877, 2.187, 2.573, 3.056, 3.654, 4.381, 5.248",\
                 "1.288, 1.362, 1.546, 1.795, 2.104, 2.49, 2.973, 3.572, 4.299, 5.165",\
                 "1.153, 1.227, 1.411, 1.659, 1.969, 2.355, 2.838, 3.436, 4.163, 5.029",\
                 "0.96, 1.034, 1.219, 1.468, 1.777, 2.163, 2.646, 3.245, 3.972, 4.838");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09579, 0.3618, 0.8698, 1.661, 2.772, 4.233, 6.074, 8.321, 11");
          index_2("0.001, 0.01084, 0.0454, 0.1114, 0.2142, 0.3585, 0.5483, 0.7874, 1.079, 1.427");
          values("1.535, 1.598, 1.767, 2.065, 2.525, 3.17, 4.018, 5.085, 6.389, 7.941",\
                 "1.552, 1.614, 1.784, 2.081, 2.541, 3.186, 4.034, 5.101, 6.405, 7.958",\
                 "1.612, 1.674, 1.844, 2.141, 2.601, 3.246, 4.094, 5.162, 6.464, 8.019",\
                 "1.737, 1.799, 1.968, 2.266, 2.726, 3.371, 4.219, 5.286, 6.589, 8.143",\
                 "1.95, 2.012, 2.182, 2.479, 2.939, 3.584, 4.432, 5.499, 6.803, 8.356",\
                 "2.244, 2.307, 2.477, 2.775, 3.235, 3.88, 4.728, 5.796, 7.099, 8.653",\
                 "2.607, 2.67, 2.842, 3.138, 3.599, 4.243, 5.092, 6.159, 7.462, 9.014",\
                 "3.04, 3.105, 3.276, 3.573, 4.033, 4.677, 5.525, 6.593, 7.896, 9.45",\
                 "3.549, 3.615, 3.787, 4.084, 4.544, 5.188, 6.035, 7.103, 8.406, 9.959",\
                 "4.137, 4.203, 4.376, 4.673, 5.132, 5.777, 6.624, 7.691, 8.993, 10.55");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09579, 0.3618, 0.8698, 1.661, 2.772, 4.233, 6.074, 8.321, 11");
          index_2("0.001, 0.01084, 0.0454, 0.1114, 0.2142, 0.3585, 0.5483, 0.7874, 1.079, 1.427");
          values("0.2414, 0.3062, 0.4742, 0.7254, 1.098, 1.635, 2.375, 3.335, 4.524, 5.951",\
                 "0.2412, 0.3062, 0.475, 0.7256, 1.098, 1.636, 2.376, 3.335, 4.524, 5.952",\
                 "0.2412, 0.306, 0.474, 0.7256, 1.099, 1.635, 2.375, 3.335, 4.523, 5.95",\
                 "0.2414, 0.306, 0.474, 0.7256, 1.099, 1.635, 2.375, 3.336, 4.525, 5.948",\
                 "0.2376, 0.3032, 0.4726, 0.7248, 1.097, 1.636, 2.375, 3.336, 4.525, 5.952",\
                 "0.2328, 0.2984, 0.469, 0.722, 1.096, 1.635, 2.376, 3.336, 4.523, 5.948",\
                 "0.2322, 0.298, 0.4684, 0.7222, 1.095, 1.634, 2.373, 3.332, 4.522, 5.948",\
                 "0.2328, 0.2986, 0.4696, 0.7224, 1.096, 1.633, 2.373, 3.331, 4.519, 5.944",\
                 "0.2326, 0.2984, 0.4696, 0.723, 1.095, 1.634, 2.373, 3.334, 4.522, 5.942",\
                 "0.234, 0.2992, 0.4702, 0.7232, 1.096, 1.636, 2.373, 3.333, 4.521, 5.943");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09579, 0.3618, 0.8698, 1.661, 2.772, 4.233, 6.074, 8.321, 11");
          index_2("0.001, 0.01084, 0.0454, 0.1114, 0.2142, 0.3585, 0.5483, 0.7874, 1.079, 1.427");
          values("0.163, 0.2284, 0.4572, 0.9476, 1.731, 2.832, 4.282, 6.102, 8.33, 11",\
                 "0.163, 0.2288, 0.4584, 0.9472, 1.731, 2.832, 4.282, 6.103, 8.331, 11",\
                 "0.1632, 0.2286, 0.4578, 0.9476, 1.731, 2.831, 4.276, 6.106, 8.341, 11.01",\
                 "0.1634, 0.2286, 0.4584, 0.9478, 1.731, 2.83, 4.282, 6.107, 8.334, 10.99",\
                 "0.163, 0.2292, 0.4584, 0.9478, 1.731, 2.827, 4.281, 6.103, 8.331, 11",\
                 "0.167, 0.2322, 0.4588, 0.9476, 1.729, 2.83, 4.279, 6.109, 8.343, 11",\
                 "0.1686, 0.2336, 0.4602, 0.9466, 1.728, 2.828, 4.279, 6.099, 8.332, 10.99",\
                 "0.1712, 0.2372, 0.462, 0.9482, 1.727, 2.827, 4.275, 6.104, 8.342, 11",\
                 "0.175, 0.2396, 0.4632, 0.9482, 1.73, 2.827, 4.276, 6.106, 8.33, 10.99",\
                 "0.176, 0.244, 0.464, 0.948, 1.73, 2.828, 4.274, 6.096, 8.324, 10.98");
        }
      }

      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.09579, 0.3618, 0.8698, 1.661, 2.772, 4.233, 6.074, 8.321, 11");
          index_2("0.001, 0.01084, 0.0454, 0.1114, 0.2142, 0.3585, 0.5483, 0.7874, 1.079, 1.427");
          values("1.165, 1.241, 1.427, 1.677, 1.988, 2.374, 2.857, 3.455, 4.182, 5.048",\
                 "1.187, 1.263, 1.449, 1.699, 2.009, 2.395, 2.878, 3.476, 4.204, 5.069",\
                 "1.254, 1.33, 1.516, 1.766, 2.076, 2.462, 2.945, 3.544, 4.271, 5.137",\
                 "1.338, 1.414, 1.6, 1.85, 2.16, 2.546, 3.029, 3.628, 4.355, 5.221",\
                 "1.392, 1.467, 1.653, 1.903, 2.212, 2.599, 3.082, 3.68, 4.407, 5.273",\
                 "1.409, 1.483, 1.667, 1.916, 2.226, 2.612, 3.095, 3.694, 4.421, 5.287",\
                 "1.376, 1.449, 1.634, 1.883, 2.192, 2.578, 3.061, 3.659, 4.387, 5.253",\
                 "1.292, 1.366, 1.551, 1.8, 2.109, 2.495, 2.978, 3.576, 4.304, 5.169",\
                 "1.157, 1.23, 1.415, 1.664, 1.974, 2.36, 2.843, 3.441, 4.168, 5.034",\
                 "0.9631, 1.037, 1.222, 1.471, 1.781, 2.167, 2.65, 3.248, 3.976, 4.841");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09579, 0.3618, 0.8698, 1.661, 2.772, 4.233, 6.074, 8.321, 11");
          index_2("0.001, 0.01084, 0.0454, 0.1114, 0.2142, 0.3585, 0.5483, 0.7874, 1.079, 1.427");
          values("1.537, 1.599, 1.769, 2.066, 2.526, 3.171, 4.019, 5.086, 6.391, 7.941",\
                 "1.553, 1.615, 1.785, 2.082, 2.542, 3.187, 4.035, 5.103, 6.405, 7.96",\
                 "1.613, 1.676, 1.845, 2.142, 2.603, 3.247, 4.095, 5.162, 6.467, 8.018",\
                 "1.738, 1.8, 1.97, 2.267, 2.727, 3.372, 4.219, 5.287, 6.592, 8.142",\
                 "1.949, 2.012, 2.182, 2.479, 2.939, 3.584, 4.433, 5.5, 6.804, 8.355",\
                 "2.244, 2.307, 2.478, 2.775, 3.235, 3.88, 4.727, 5.795, 7.099, 8.651",\
                 "2.607, 2.671, 2.842, 3.138, 3.598, 4.243, 5.091, 6.159, 7.462, 9.015",\
                 "3.041, 3.104, 3.276, 3.574, 4.034, 4.678, 5.525, 6.593, 7.897, 9.45",\
                 "3.55, 3.615, 3.788, 4.084, 4.543, 5.188, 6.036, 7.103, 8.406, 9.959",\
                 "4.137, 4.203, 4.377, 4.673, 5.132, 5.777, 6.624, 7.692, 8.994, 10.55");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09579, 0.3618, 0.8698, 1.661, 2.772, 4.233, 6.074, 8.321, 11");
          index_2("0.001, 0.01084, 0.0454, 0.1114, 0.2142, 0.3585, 0.5483, 0.7874, 1.079, 1.427");
          values("0.2416, 0.3068, 0.475, 0.7266, 1.099, 1.636, 2.376, 3.336, 4.525, 5.948",\
                 "0.2418, 0.3066, 0.475, 0.7264, 1.1, 1.635, 2.374, 3.336, 4.525, 5.947",\
                 "0.2418, 0.3064, 0.475, 0.7264, 1.1, 1.636, 2.375, 3.335, 4.522, 5.948",\
                 "0.242, 0.3066, 0.4748, 0.7264, 1.1, 1.635, 2.375, 3.336, 4.525, 5.947",\
                 "0.2384, 0.304, 0.473, 0.7252, 1.098, 1.635, 2.375, 3.337, 4.525, 5.952",\
                 "0.233, 0.299, 0.4698, 0.7232, 1.097, 1.636, 2.376, 3.335, 4.522, 5.948",\
                 "0.2328, 0.299, 0.4692, 0.722, 1.097, 1.635, 2.374, 3.334, 4.521, 5.95",\
                 "0.233, 0.299, 0.4692, 0.7226, 1.096, 1.636, 2.375, 3.334, 4.519, 5.944",\
                 "0.233, 0.2994, 0.4698, 0.723, 1.098, 1.635, 2.374, 3.333, 4.523, 5.943",\
                 "0.2342, 0.3, 0.4706, 0.7242, 1.097, 1.635, 2.374, 3.333, 4.52, 5.944");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09579, 0.3618, 0.8698, 1.661, 2.772, 4.233, 6.074, 8.321, 11");
          index_2("0.001, 0.01084, 0.0454, 0.1114, 0.2142, 0.3585, 0.5483, 0.7874, 1.079, 1.427");
          values("0.1628, 0.2284, 0.4574, 0.946, 1.73, 2.831, 4.282, 6.107, 8.338, 11",\
                 "0.1632, 0.2284, 0.4576, 0.9466, 1.731, 2.83, 4.276, 6.103, 8.337, 11.01",\
                 "0.1628, 0.2284, 0.4576, 0.946, 1.73, 2.832, 4.282, 6.107, 8.338, 11",\
                 "0.1628, 0.2286, 0.4578, 0.9476, 1.73, 2.832, 4.282, 6.109, 8.339, 11",\
                 "0.1638, 0.2292, 0.4578, 0.9462, 1.73, 2.828, 4.278, 6.109, 8.339, 11",\
                 "0.1658, 0.231, 0.4586, 0.947, 1.73, 2.832, 4.282, 6.108, 8.341, 10.99",\
                 "0.1686, 0.2338, 0.461, 0.9466, 1.728, 2.828, 4.276, 6.1, 8.329, 11",\
                 "0.172, 0.237, 0.4614, 0.9484, 1.73, 2.828, 4.278, 6.099, 8.341, 10.99",\
                 "0.1732, 0.239, 0.4632, 0.9482, 1.728, 2.828, 4.276, 6.102, 8.33, 11",\
                 "0.178, 0.242, 0.466, 0.95, 1.73, 2.828, 4.274, 6.096, 8.324, 10.98");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09579, 0.3618, 0.8698, 1.661, 2.772, 4.233, 6.074, 8.321, 11");
          index_2("0.001, 0.01084, 0.0454, 0.1114, 0.2142, 0.3585, 0.5483, 0.7874, 1.079, 1.427");
          values("1.165, 1.241, 1.427, 1.677, 1.988, 2.374, 2.857, 3.455, 4.182, 5.048",\
                 "1.187, 1.263, 1.449, 1.699, 2.009, 2.395, 2.878, 3.476, 4.204, 5.069",\
                 "1.254, 1.33, 1.516, 1.766, 2.076, 2.462, 2.945, 3.544, 4.271, 5.137",\
                 "1.338, 1.414, 1.6, 1.85, 2.16, 2.546, 3.029, 3.628, 4.355, 5.221",\
                 "1.392, 1.467, 1.653, 1.903, 2.212, 2.599, 3.082, 3.68, 4.407, 5.273",\
                 "1.409, 1.483, 1.667, 1.916, 2.226, 2.612, 3.095, 3.694, 4.421, 5.287",\
                 "1.376, 1.449, 1.634, 1.883, 2.192, 2.578, 3.061, 3.659, 4.387, 5.253",\
                 "1.292, 1.366, 1.551, 1.8, 2.109, 2.495, 2.978, 3.576, 4.304, 5.169",\
                 "1.157, 1.23, 1.415, 1.664, 1.974, 2.36, 2.843, 3.441, 4.168, 5.034",\
                 "0.9631, 1.037, 1.222, 1.471, 1.781, 2.167, 2.65, 3.248, 3.976, 4.841");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09579, 0.3618, 0.8698, 1.661, 2.772, 4.233, 6.074, 8.321, 11");
          index_2("0.001, 0.01084, 0.0454, 0.1114, 0.2142, 0.3585, 0.5483, 0.7874, 1.079, 1.427");
          values("1.537, 1.599, 1.769, 2.066, 2.526, 3.171, 4.019, 5.086, 6.391, 7.941",\
                 "1.553, 1.615, 1.785, 2.082, 2.542, 3.187, 4.035, 5.103, 6.405, 7.96",\
                 "1.613, 1.676, 1.845, 2.142, 2.603, 3.247, 4.095, 5.162, 6.467, 8.018",\
                 "1.738, 1.8, 1.97, 2.267, 2.727, 3.372, 4.219, 5.287, 6.592, 8.142",\
                 "1.949, 2.012, 2.182, 2.479, 2.939, 3.584, 4.433, 5.5, 6.804, 8.355",\
                 "2.244, 2.307, 2.478, 2.775, 3.235, 3.88, 4.727, 5.795, 7.099, 8.651",\
                 "2.607, 2.671, 2.842, 3.138, 3.598, 4.243, 5.091, 6.159, 7.462, 9.015",\
                 "3.041, 3.104, 3.276, 3.574, 4.034, 4.678, 5.525, 6.593, 7.897, 9.45",\
                 "3.55, 3.615, 3.788, 4.084, 4.543, 5.188, 6.036, 7.103, 8.406, 9.959",\
                 "4.137, 4.203, 4.377, 4.673, 5.132, 5.777, 6.624, 7.692, 8.994, 10.55");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09579, 0.3618, 0.8698, 1.661, 2.772, 4.233, 6.074, 8.321, 11");
          index_2("0.001, 0.01084, 0.0454, 0.1114, 0.2142, 0.3585, 0.5483, 0.7874, 1.079, 1.427");
          values("0.2414, 0.3062, 0.4742, 0.7254, 1.098, 1.635, 2.375, 3.335, 4.524, 5.951",\
                 "0.2412, 0.3062, 0.475, 0.7256, 1.098, 1.636, 2.376, 3.335, 4.524, 5.952",\
                 "0.2412, 0.306, 0.474, 0.7256, 1.099, 1.635, 2.375, 3.335, 4.523, 5.95",\
                 "0.2414, 0.306, 0.474, 0.7256, 1.099, 1.635, 2.375, 3.336, 4.525, 5.948",\
                 "0.2376, 0.3032, 0.4726, 0.7248, 1.097, 1.636, 2.375, 3.336, 4.525, 5.952",\
                 "0.2328, 0.2984, 0.469, 0.722, 1.096, 1.635, 2.376, 3.336, 4.523, 5.948",\
                 "0.2322, 0.298, 0.4684, 0.7222, 1.095, 1.634, 2.373, 3.332, 4.522, 5.948",\
                 "0.2328, 0.2986, 0.4696, 0.7224, 1.096, 1.633, 2.373, 3.331, 4.519, 5.944",\
                 "0.2326, 0.2984, 0.4696, 0.723, 1.095, 1.634, 2.373, 3.334, 4.522, 5.942",\
                 "0.234, 0.2992, 0.4702, 0.7232, 1.096, 1.636, 2.373, 3.333, 4.521, 5.943");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09579, 0.3618, 0.8698, 1.661, 2.772, 4.233, 6.074, 8.321, 11");
          index_2("0.001, 0.01084, 0.0454, 0.1114, 0.2142, 0.3585, 0.5483, 0.7874, 1.079, 1.427");
          values("0.1628, 0.2284, 0.4574, 0.946, 1.73, 2.831, 4.282, 6.107, 8.338, 11",\
                 "0.1632, 0.2284, 0.4576, 0.9466, 1.731, 2.83, 4.276, 6.103, 8.337, 11.01",\
                 "0.1628, 0.2284, 0.4576, 0.946, 1.73, 2.832, 4.282, 6.107, 8.338, 11",\
                 "0.1628, 0.2286, 0.4578, 0.9476, 1.73, 2.832, 4.282, 6.109, 8.339, 11",\
                 "0.1638, 0.2292, 0.4578, 0.9462, 1.73, 2.828, 4.278, 6.109, 8.339, 11",\
                 "0.1658, 0.231, 0.4586, 0.947, 1.73, 2.832, 4.282, 6.108, 8.341, 10.99",\
                 "0.1686, 0.2338, 0.461, 0.9466, 1.728, 2.828, 4.276, 6.1, 8.329, 11",\
                 "0.172, 0.237, 0.4614, 0.9484, 1.73, 2.828, 4.278, 6.099, 8.341, 10.99",\
                 "0.1732, 0.239, 0.4632, 0.9482, 1.728, 2.828, 4.276, 6.102, 8.33, 11",\
                 "0.178, 0.242, 0.466, 0.95, 1.73, 2.828, 4.274, 6.096, 8.324, 10.98");
        }
      }

      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.09579, 0.3618, 0.8698, 1.661, 2.772, 4.233, 6.074, 8.321, 11");
          index_2("0.001, 0.01084, 0.0454, 0.1114, 0.2142, 0.3585, 0.5483, 0.7874, 1.079, 1.427");
          values("0.821, 0.8944, 1.078, 1.325, 1.633, 2.019, 2.501, 3.099, 3.826, 4.692",\
                 "0.8417, 0.9149, 1.099, 1.346, 1.654, 2.039, 2.522, 3.12, 3.847, 4.713",\
                 "0.9181, 0.9914, 1.175, 1.423, 1.731, 2.116, 2.598, 3.196, 3.923, 4.789",\
                 "1.082, 1.156, 1.339, 1.586, 1.894, 2.28, 2.762, 3.36, 4.087, 4.953",\
                 "1.349, 1.423, 1.606, 1.854, 2.162, 2.547, 3.029, 3.627, 4.355, 5.22",\
                 "1.666, 1.746, 1.939, 2.195, 2.507, 2.894, 3.376, 3.974, 4.701, 5.566",\
                 "2.007, 2.093, 2.301, 2.568, 2.888, 3.28, 3.765, 4.363, 5.089, 5.955",\
                 "2.381, 2.472, 2.692, 2.974, 3.302, 3.699, 4.185, 4.785, 5.512, 6.377",\
                 "2.796, 2.891, 3.123, 3.419, 3.758, 4.157, 4.646, 5.246, 5.974, 6.84",\
                 "3.258, 3.357, 3.599, 3.909, 4.258, 4.664, 5.154, 5.754, 6.482, 7.348");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09579, 0.3618, 0.8698, 1.661, 2.772, 4.233, 6.074, 8.321, 11");
          index_2("0.001, 0.01084, 0.0454, 0.1114, 0.2142, 0.3585, 0.5483, 0.7874, 1.079, 1.427");
          values("0.5251, 0.5943, 0.7815, 1.088, 1.551, 2.196, 3.045, 4.112, 5.415, 6.97",\
                 "0.5461, 0.6154, 0.8022, 1.109, 1.571, 2.217, 3.066, 4.133, 5.436, 6.99",\
                 "0.6179, 0.687, 0.8739, 1.181, 1.643, 2.289, 3.137, 4.203, 5.508, 7.062",\
                 "0.752, 0.8211, 1.008, 1.313, 1.775, 2.421, 3.269, 4.336, 5.641, 7.192",\
                 "0.8945, 0.9677, 1.16, 1.468, 1.928, 2.574, 3.421, 4.49, 5.792, 7.346",\
                 "1.009, 1.088, 1.288, 1.599, 2.06, 2.704, 3.552, 4.62, 5.924, 7.477",\
                 "1.095, 1.179, 1.39, 1.704, 2.163, 2.808, 3.655, 4.722, 6.028, 7.582",\
                 "1.152, 1.24, 1.463, 1.782, 2.242, 2.885, 3.732, 4.799, 6.101, 7.655",\
                 "1.178, 1.272, 1.507, 1.833, 2.292, 2.933, 3.779, 4.846, 6.149, 7.701",\
                 "1.168, 1.265, 1.515, 1.851, 2.312, 2.952, 3.796, 4.861, 6.165, 7.716");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09579, 0.3618, 0.8698, 1.661, 2.772, 4.233, 6.074, 8.321, 11");
          index_2("0.001, 0.01084, 0.0454, 0.1114, 0.2142, 0.3585, 0.5483, 0.7874, 1.079, 1.427");
          values("0.2302, 0.2957, 0.4656, 0.718, 1.093, 1.632, 2.373, 3.334, 4.524, 5.948",\
                 "0.2302, 0.2964, 0.4658, 0.7184, 1.092, 1.633, 2.372, 3.334, 4.524, 5.949",\
                 "0.2302, 0.296, 0.4656, 0.7188, 1.093, 1.633, 2.373, 3.335, 4.524, 5.952",\
                 "0.2306, 0.2962, 0.4658, 0.7188, 1.092, 1.631, 2.373, 3.334, 4.524, 5.948",\
                 "0.2372, 0.302, 0.4706, 0.7218, 1.095, 1.632, 2.375, 3.334, 4.524, 5.95",\
                 "0.2742, 0.3394, 0.5046, 0.7464, 1.109, 1.64, 2.376, 3.336, 4.524, 5.945",\
                 "0.3094, 0.3796, 0.5504, 0.7874, 1.141, 1.663, 2.389, 3.341, 4.525, 5.949",\
                 "0.3416, 0.4168, 0.5968, 0.8298, 1.174, 1.685, 2.404, 3.349, 4.531, 5.951",\
                 "0.3714, 0.4498, 0.641, 0.8756, 1.209, 1.708, 2.418, 3.36, 4.539, 5.954",\
                 "0.4006, 0.4812, 0.682, 0.924, 1.246, 1.732, 2.432, 3.366, 4.542, 5.958");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09579, 0.3618, 0.8698, 1.661, 2.772, 4.233, 6.074, 8.321, 11");
          index_2("0.001, 0.01084, 0.0454, 0.1114, 0.2142, 0.3585, 0.5483, 0.7874, 1.079, 1.427");
          values("0.1774, 0.2525, 0.4901, 0.9637, 1.74, 2.839, 4.292, 6.122, 8.354, 11",\
                 "0.1763, 0.2525, 0.4911, 0.9636, 1.74, 2.841, 4.289, 6.121, 8.354, 11.01",\
                 "0.1764, 0.2525, 0.4912, 0.9634, 1.74, 2.841, 4.295, 6.116, 8.354, 11",\
                 "0.1794, 0.255, 0.4924, 0.9648, 1.741, 2.841, 4.287, 6.115, 8.352, 11.02",\
                 "0.2006, 0.2758, 0.5058, 0.9706, 1.741, 2.842, 4.291, 6.117, 8.354, 11.01",\
                 "0.2242, 0.3032, 0.528, 0.9796, 1.744, 2.841, 4.289, 6.123, 8.354, 11",\
                 "0.2488, 0.3314, 0.553, 0.9908, 1.749, 2.843, 4.287, 6.118, 8.35, 11.01",\
                 "0.2736, 0.361, 0.584, 1.007, 1.754, 2.845, 4.291, 6.112, 8.339, 11",\
                 "0.3012, 0.3902, 0.6194, 1.025, 1.759, 2.849, 4.294, 6.115, 8.34, 11.01",\
                 "0.3298, 0.4234, 0.661, 1.052, 1.766, 2.851, 4.293, 6.118, 8.344, 10.99");
        }
      }

      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.09579, 0.3618, 0.8698, 1.661, 2.772, 4.233, 6.074, 8.321, 11");
          index_2("0.001, 0.01084, 0.0454, 0.1114, 0.2142, 0.3585, 0.5483, 0.7874, 1.079, 1.427");
          values("0.821, 0.8944, 1.078, 1.325, 1.633, 2.019, 2.501, 3.099, 3.826, 4.692",\
                 "0.8417, 0.9152, 1.099, 1.346, 1.654, 2.04, 2.522, 3.12, 3.847, 4.713",\
                 "0.9181, 0.9914, 1.175, 1.422, 1.731, 2.116, 2.598, 3.196, 3.923, 4.789",\
                 "1.082, 1.156, 1.339, 1.586, 1.894, 2.28, 2.762, 3.36, 4.087, 4.953",\
                 "1.349, 1.423, 1.606, 1.853, 2.161, 2.547, 3.029, 3.627, 4.354, 5.22",\
                 "1.666, 1.746, 1.939, 2.195, 2.507, 2.894, 3.376, 3.974, 4.701, 5.567",\
                 "2.007, 2.093, 2.301, 2.568, 2.888, 3.279, 3.765, 4.363, 5.089, 5.954",\
                 "2.381, 2.472, 2.691, 2.974, 3.302, 3.699, 4.186, 4.785, 5.512, 6.378",\
                 "2.796, 2.891, 3.122, 3.419, 3.758, 4.157, 4.646, 5.246, 5.974, 6.84",\
                 "3.258, 3.357, 3.599, 3.909, 4.258, 4.664, 5.154, 5.754, 6.482, 7.348");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09579, 0.3618, 0.8698, 1.661, 2.772, 4.233, 6.074, 8.321, 11");
          index_2("0.001, 0.01084, 0.0454, 0.1114, 0.2142, 0.3585, 0.5483, 0.7874, 1.079, 1.427");
          values("0.5251, 0.5943, 0.7815, 1.088, 1.551, 2.196, 3.045, 4.112, 5.415, 6.97",\
                 "0.5461, 0.6154, 0.8022, 1.109, 1.571, 2.217, 3.066, 4.133, 5.436, 6.99",\
                 "0.6179, 0.6871, 0.8738, 1.181, 1.643, 2.289, 3.137, 4.204, 5.507, 7.062",\
                 "0.7522, 0.8211, 1.008, 1.313, 1.775, 2.421, 3.269, 4.336, 5.641, 7.192",\
                 "0.8943, 0.9678, 1.16, 1.468, 1.929, 2.574, 3.421, 4.488, 5.791, 7.344",\
                 "1.009, 1.088, 1.288, 1.599, 2.06, 2.704, 3.552, 4.62, 5.924, 7.477",\
                 "1.095, 1.179, 1.39, 1.704, 2.163, 2.808, 3.655, 4.723, 6.028, 7.577",\
                 "1.152, 1.24, 1.463, 1.782, 2.242, 2.885, 3.732, 4.799, 6.101, 7.655",\
                 "1.178, 1.272, 1.506, 1.832, 2.292, 2.933, 3.779, 4.846, 6.149, 7.701",\
                 "1.168, 1.265, 1.514, 1.85, 2.312, 2.952, 3.796, 4.862, 6.165, 7.717");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09579, 0.3618, 0.8698, 1.661, 2.772, 4.233, 6.074, 8.321, 11");
          index_2("0.001, 0.01084, 0.0454, 0.1114, 0.2142, 0.3585, 0.5483, 0.7874, 1.079, 1.427");
          values("0.2302, 0.2957, 0.4665, 0.718, 1.093, 1.632, 2.373, 3.334, 4.524, 5.948",\
                 "0.2304, 0.2958, 0.4658, 0.7192, 1.092, 1.631, 2.373, 3.334, 4.522, 5.945",\
                 "0.2304, 0.2962, 0.4656, 0.7186, 1.093, 1.631, 2.373, 3.335, 4.524, 5.948",\
                 "0.2306, 0.2958, 0.4658, 0.7188, 1.092, 1.631, 2.373, 3.334, 4.524, 5.949",\
                 "0.2374, 0.3022, 0.471, 0.722, 1.094, 1.632, 2.373, 3.335, 4.523, 5.947",\
                 "0.2736, 0.3396, 0.5054, 0.7464, 1.11, 1.641, 2.377, 3.336, 4.524, 5.95",\
                 "0.3094, 0.3796, 0.5506, 0.7874, 1.14, 1.662, 2.388, 3.341, 4.525, 5.947",\
                 "0.3414, 0.4164, 0.5978, 0.8298, 1.173, 1.685, 2.404, 3.349, 4.53, 5.947",\
                 "0.371, 0.4498, 0.6402, 0.8758, 1.209, 1.708, 2.418, 3.359, 4.539, 5.956",\
                 "0.4006, 0.4812, 0.682, 0.924, 1.246, 1.732, 2.43, 3.366, 4.542, 5.958");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09579, 0.3618, 0.8698, 1.661, 2.772, 4.233, 6.074, 8.321, 11");
          index_2("0.001, 0.01084, 0.0454, 0.1114, 0.2142, 0.3585, 0.5483, 0.7874, 1.079, 1.427");
          values("0.1775, 0.2525, 0.4901, 0.9637, 1.74, 2.839, 4.292, 6.122, 8.354, 11",\
                 "0.1763, 0.2525, 0.4912, 0.9636, 1.74, 2.841, 4.289, 6.121, 8.353, 11.01",\
                 "0.1764, 0.2525, 0.491, 0.964, 1.74, 2.841, 4.293, 6.121, 8.355, 11.01",\
                 "0.179, 0.255, 0.4924, 0.9648, 1.74, 2.841, 4.287, 6.116, 8.351, 11.02",\
                 "0.201, 0.2762, 0.5064, 0.9698, 1.74, 2.842, 4.29, 6.116, 8.35, 11.02",\
                 "0.2242, 0.3032, 0.528, 0.9796, 1.744, 2.841, 4.288, 6.123, 8.354, 11",\
                 "0.2488, 0.3314, 0.553, 0.9924, 1.749, 2.843, 4.289, 6.118, 8.351, 11.02",\
                 "0.2736, 0.361, 0.584, 1.007, 1.754, 2.845, 4.291, 6.114, 8.341, 11.01",\
                 "0.301, 0.3904, 0.6194, 1.025, 1.757, 2.848, 4.293, 6.115, 8.34, 10.99",\
                 "0.3304, 0.4236, 0.663, 1.052, 1.766, 2.852, 4.293, 6.118, 8.344, 10.99");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09579, 0.3618, 0.8698, 1.661, 2.772, 4.233, 6.074, 8.321, 11");
          index_2("0.001, 0.01084, 0.0454, 0.1114, 0.2142, 0.3585, 0.5483, 0.7874, 1.079, 1.427");
          values("0.821, 0.8944, 1.078, 1.325, 1.633, 2.019, 2.501, 3.099, 3.826, 4.692",\
                 "0.8417, 0.9152, 1.099, 1.346, 1.654, 2.04, 2.522, 3.12, 3.847, 4.713",\
                 "0.9181, 0.9914, 1.175, 1.422, 1.731, 2.116, 2.598, 3.196, 3.923, 4.789",\
                 "1.082, 1.156, 1.339, 1.586, 1.894, 2.28, 2.762, 3.36, 4.087, 4.953",\
                 "1.349, 1.423, 1.606, 1.853, 2.161, 2.547, 3.029, 3.627, 4.354, 5.22",\
                 "1.666, 1.746, 1.939, 2.195, 2.507, 2.894, 3.376, 3.974, 4.701, 5.567",\
                 "2.007, 2.093, 2.301, 2.568, 2.888, 3.279, 3.765, 4.363, 5.089, 5.954",\
                 "2.381, 2.472, 2.691, 2.974, 3.302, 3.699, 4.186, 4.785, 5.512, 6.378",\
                 "2.796, 2.891, 3.122, 3.419, 3.758, 4.157, 4.646, 5.246, 5.974, 6.84",\
                 "3.258, 3.357, 3.599, 3.909, 4.258, 4.664, 5.154, 5.754, 6.482, 7.348");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09579, 0.3618, 0.8698, 1.661, 2.772, 4.233, 6.074, 8.321, 11");
          index_2("0.001, 0.01084, 0.0454, 0.1114, 0.2142, 0.3585, 0.5483, 0.7874, 1.079, 1.427");
          values("0.5251, 0.5943, 0.7815, 1.088, 1.551, 2.196, 3.045, 4.112, 5.415, 6.97",\
                 "0.5461, 0.6154, 0.8022, 1.109, 1.571, 2.217, 3.066, 4.133, 5.436, 6.99",\
                 "0.6179, 0.6871, 0.8738, 1.181, 1.643, 2.289, 3.137, 4.204, 5.507, 7.062",\
                 "0.7522, 0.8211, 1.008, 1.313, 1.775, 2.421, 3.269, 4.336, 5.641, 7.192",\
                 "0.8943, 0.9678, 1.16, 1.468, 1.929, 2.574, 3.421, 4.488, 5.791, 7.344",\
                 "1.009, 1.088, 1.288, 1.599, 2.06, 2.704, 3.552, 4.62, 5.924, 7.477",\
                 "1.095, 1.179, 1.39, 1.704, 2.163, 2.808, 3.655, 4.723, 6.028, 7.577",\
                 "1.152, 1.24, 1.463, 1.782, 2.242, 2.885, 3.732, 4.799, 6.101, 7.655",\
                 "1.178, 1.272, 1.506, 1.832, 2.292, 2.933, 3.779, 4.846, 6.149, 7.701",\
                 "1.168, 1.265, 1.514, 1.85, 2.312, 2.952, 3.796, 4.862, 6.165, 7.717");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09579, 0.3618, 0.8698, 1.661, 2.772, 4.233, 6.074, 8.321, 11");
          index_2("0.001, 0.01084, 0.0454, 0.1114, 0.2142, 0.3585, 0.5483, 0.7874, 1.079, 1.427");
          values("0.2302, 0.2957, 0.4665, 0.718, 1.093, 1.632, 2.373, 3.334, 4.524, 5.948",\
                 "0.2304, 0.2958, 0.4658, 0.7192, 1.092, 1.631, 2.373, 3.334, 4.522, 5.945",\
                 "0.2304, 0.2962, 0.4656, 0.7186, 1.093, 1.631, 2.373, 3.335, 4.524, 5.948",\
                 "0.2306, 0.2958, 0.4658, 0.7188, 1.092, 1.631, 2.373, 3.334, 4.524, 5.949",\
                 "0.2374, 0.3022, 0.471, 0.722, 1.094, 1.632, 2.373, 3.335, 4.523, 5.947",\
                 "0.2736, 0.3396, 0.5054, 0.7464, 1.11, 1.641, 2.377, 3.336, 4.524, 5.95",\
                 "0.3094, 0.3796, 0.5506, 0.7874, 1.14, 1.662, 2.388, 3.341, 4.525, 5.947",\
                 "0.3414, 0.4164, 0.5978, 0.8298, 1.173, 1.685, 2.404, 3.349, 4.53, 5.947",\
                 "0.371, 0.4498, 0.6402, 0.8758, 1.209, 1.708, 2.418, 3.359, 4.539, 5.956",\
                 "0.4006, 0.4812, 0.682, 0.924, 1.246, 1.732, 2.43, 3.366, 4.542, 5.958");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09579, 0.3618, 0.8698, 1.661, 2.772, 4.233, 6.074, 8.321, 11");
          index_2("0.001, 0.01084, 0.0454, 0.1114, 0.2142, 0.3585, 0.5483, 0.7874, 1.079, 1.427");
          values("0.1775, 0.2525, 0.4901, 0.9637, 1.74, 2.839, 4.292, 6.122, 8.354, 11",\
                 "0.1763, 0.2525, 0.4912, 0.9636, 1.74, 2.841, 4.289, 6.121, 8.353, 11.01",\
                 "0.1764, 0.2525, 0.491, 0.964, 1.74, 2.841, 4.293, 6.121, 8.355, 11.01",\
                 "0.179, 0.255, 0.4924, 0.9648, 1.74, 2.841, 4.287, 6.116, 8.351, 11.02",\
                 "0.201, 0.2762, 0.5064, 0.9698, 1.74, 2.842, 4.29, 6.116, 8.35, 11.02",\
                 "0.2242, 0.3032, 0.528, 0.9796, 1.744, 2.841, 4.288, 6.123, 8.354, 11",\
                 "0.2488, 0.3314, 0.553, 0.9924, 1.749, 2.843, 4.289, 6.118, 8.351, 11.02",\
                 "0.2736, 0.361, 0.584, 1.007, 1.754, 2.845, 4.291, 6.114, 8.341, 11.01",\
                 "0.301, 0.3904, 0.6194, 1.025, 1.757, 2.848, 4.293, 6.115, 8.34, 10.99",\
                 "0.3304, 0.4236, 0.663, 1.052, 1.766, 2.852, 4.293, 6.118, 8.344, 10.99");
        }
      }
    }
  }