/*
 * 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__xor3_4) {
    area : 72.441600 ;

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

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

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

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

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

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

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

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

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

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

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

    pin(A1) {
      capacitance : 0.004404 ;
      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.005025 ;
      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.006557 ;
      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(Z) {
      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.04539, 0.1114, 0.2142, 0.3584, 0.5482, 0.7873, 1.079, 1.427");
          values("0.2764, 0.2688, 0.2612, 0.2581, 0.2571, 0.2569, 0.2569, 0.2569, 0.2569, 0.2569",\
                 "0.276, 0.2684, 0.2607, 0.2574, 0.2568, 0.2564, 0.2564, 0.2565, 0.2565, 0.2565",\
                 "0.2754, 0.2678, 0.26, 0.257, 0.2561, 0.2558, 0.2558, 0.2559, 0.256, 0.256",\
                 "0.2755, 0.2678, 0.2601, 0.257, 0.2562, 0.2559, 0.2559, 0.256, 0.256, 0.2559",\
                 "0.2767, 0.2691, 0.2614, 0.2584, 0.2576, 0.2571, 0.2572, 0.2572, 0.2572, 0.2572",\
                 "0.2794, 0.2718, 0.264, 0.261, 0.2601, 0.2599, 0.2599, 0.2599, 0.2599, 0.2599",\
                 "0.2837, 0.276, 0.2682, 0.2654, 0.2645, 0.2642, 0.2643, 0.2642, 0.2641, 0.2642",\
                 "0.2893, 0.2816, 0.2739, 0.271, 0.2702, 0.2699, 0.2698, 0.2697, 0.2698, 0.2698",\
                 "0.2965, 0.289, 0.2811, 0.2783, 0.2774, 0.2771, 0.2771, 0.2771, 0.2771, 0.2771",\
                 "0.3055, 0.2978, 0.29, 0.2872, 0.286, 0.286, 0.286, 0.2859, 0.2859, 0.2858");
        }

        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.04539, 0.1114, 0.2142, 0.3584, 0.5482, 0.7873, 1.079, 1.427");
          values("0.2566, 0.2537, 0.2499, 0.2479, 0.249, 0.2517, 0.2534, 0.257, 0.2647, 0.339",\
                 "0.2564, 0.2535, 0.2502, 0.2485, 0.2493, 0.2517, 0.2543, 0.2561, 0.2659, 0.3429",\
                 "0.2562, 0.2535, 0.2493, 0.2476, 0.2485, 0.2514, 0.2549, 0.2558, 0.266, 0.3476",\
                 "0.256, 0.2528, 0.2494, 0.2477, 0.2488, 0.2514, 0.2528, 0.2559, 0.265, 0.3579",\
                 "0.2565, 0.2538, 0.2498, 0.2482, 0.2495, 0.2523, 0.2534, 0.2568, 0.2695, 0.3761",\
                 "0.2581, 0.2552, 0.2513, 0.2498, 0.251, 0.2532, 0.257, 0.2582, 0.2733, 0.4047",\
                 "0.2608, 0.2581, 0.254, 0.2529, 0.2538, 0.2562, 0.2588, 0.262, 0.2808, 0.4495",\
                 "0.2652, 0.2621, 0.2585, 0.2563, 0.257, 0.2616, 0.2633, 0.2664, 0.2955, 0.5223",\
                 "0.2709, 0.2681, 0.2645, 0.2626, 0.2625, 0.2643, 0.2711, 0.2766, 0.3216, 0.6387",\
                 "0.2784, 0.2753, 0.2714, 0.2702, 0.2702, 0.2721, 0.2732, 0.2839, 0.3692, 0.8387");
        }
      }

      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.04539, 0.1114, 0.2142, 0.3584, 0.5482, 0.7873, 1.079, 1.427");
          values("0.3073, 0.3043, 0.302, 0.302, 0.3027, 0.3034, 0.3039, 0.3042, 0.3044, 0.3046",\
                 "0.3073, 0.3042, 0.302, 0.3019, 0.3026, 0.3032, 0.3038, 0.3041, 0.3044, 0.3045",\
                 "0.3068, 0.3039, 0.3013, 0.3014, 0.3022, 0.3028, 0.3033, 0.3037, 0.3039, 0.304",\
                 "0.3066, 0.3037, 0.3012, 0.3015, 0.302, 0.3027, 0.3031, 0.3035, 0.3037, 0.3039",\
                 "0.3074, 0.3044, 0.3021, 0.302, 0.3028, 0.3035, 0.3039, 0.3042, 0.3044, 0.3045",\
                 "0.3091, 0.3061, 0.3037, 0.3038, 0.3046, 0.3052, 0.3056, 0.3059, 0.3061, 0.3063",\
                 "0.3121, 0.3092, 0.3067, 0.3067, 0.3075, 0.3081, 0.3085, 0.3088, 0.309, 0.3092",\
                 "0.3164, 0.3132, 0.311, 0.311, 0.3117, 0.3123, 0.3128, 0.3131, 0.3133, 0.3134",\
                 "0.3221, 0.3189, 0.3165, 0.3168, 0.3174, 0.3182, 0.3186, 0.3189, 0.3192, 0.3193",\
                 "0.3294, 0.3262, 0.3238, 0.3238, 0.3248, 0.3253, 0.3258, 0.3261, 0.3264, 0.3265");
        }

        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.04539, 0.1114, 0.2142, 0.3584, 0.5482, 0.7873, 1.079, 1.427");
          values("0.26, 0.2583, 0.2572, 0.2582, 0.2609, 0.2637, 0.2668, 0.2689, 0.2775, 0.3495",\
                 "0.2594, 0.2578, 0.2571, 0.2583, 0.2608, 0.2643, 0.2665, 0.2701, 0.276, 0.3505",\
                 "0.2589, 0.2573, 0.2565, 0.2577, 0.2603, 0.2637, 0.2671, 0.2683, 0.2764, 0.3593",\
                 "0.2588, 0.2574, 0.2561, 0.2577, 0.2602, 0.2634, 0.2668, 0.2679, 0.2772, 0.3697",\
                 "0.2601, 0.2585, 0.2572, 0.2585, 0.2617, 0.2649, 0.2671, 0.2691, 0.2842, 0.3921",\
                 "0.2628, 0.2611, 0.2605, 0.2621, 0.2642, 0.2676, 0.2707, 0.2716, 0.2886, 0.4402",\
                 "0.2672, 0.2655, 0.2647, 0.2656, 0.2685, 0.2718, 0.2752, 0.2779, 0.3047, 0.5184",\
                 "0.2729, 0.2713, 0.2695, 0.2714, 0.2746, 0.2769, 0.2801, 0.2839, 0.3331, 0.6669",\
                 "0.2801, 0.2787, 0.2773, 0.2787, 0.2809, 0.285, 0.2867, 0.2951, 0.4, 0.9553",\
                 "0.2891, 0.2876, 0.2861, 0.2874, 0.2888, 0.2928, 0.2976, 0.3246, 0.5664, 1.501");
        }
      }

      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.04539, 0.1114, 0.2142, 0.3584, 0.5482, 0.7873, 1.079, 1.427");
          values("0.2198, 0.2123, 0.2044, 0.2013, 0.2002, 0.2, 0.2, 0.2001, 0.2001, 0.2001",\
                 "0.2197, 0.2122, 0.2043, 0.2012, 0.2, 0.1999, 0.1999, 0.1999, 0.1999, 0.2",\
                 "0.2196, 0.2121, 0.2042, 0.2012, 0.2, 0.1998, 0.1998, 0.1999, 0.1998, 0.1999",\
                 "0.2197, 0.212, 0.2041, 0.2009, 0.2, 0.1998, 0.1998, 0.1998, 0.1998, 0.1999",\
                 "0.22, 0.2123, 0.2044, 0.2012, 0.2004, 0.2001, 0.2002, 0.2002, 0.2002, 0.2002",\
                 "0.2216, 0.2137, 0.2058, 0.2028, 0.2018, 0.2016, 0.2016, 0.2016, 0.2016, 0.2016",\
                 "0.2241, 0.2164, 0.2085, 0.2051, 0.204, 0.2039, 0.2039, 0.2038, 0.2039, 0.2039",\
                 "0.2282, 0.2206, 0.2122, 0.2088, 0.2077, 0.2076, 0.2075, 0.2074, 0.2075, 0.2076",\
                 "0.2338, 0.2258, 0.2173, 0.2139, 0.2128, 0.2124, 0.2124, 0.2124, 0.2126, 0.2125",\
                 "0.2408, 0.2329, 0.2242, 0.2205, 0.2192, 0.2187, 0.2187, 0.2188, 0.2188, 0.2189");
        }

        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.04539, 0.1114, 0.2142, 0.3584, 0.5482, 0.7873, 1.079, 1.427");
          values("0.2457, 0.2428, 0.2389, 0.2374, 0.2387, 0.241, 0.2427, 0.2465, 0.2523, 0.3198",\
                 "0.2453, 0.2428, 0.2387, 0.2371, 0.2386, 0.2413, 0.243, 0.2453, 0.2529, 0.3225",\
                 "0.2447, 0.2418, 0.2382, 0.2367, 0.2376, 0.2401, 0.2421, 0.2456, 0.2518, 0.3264",\
                 "0.2446, 0.2418, 0.2382, 0.2368, 0.238, 0.241, 0.2421, 0.2461, 0.2529, 0.3387",\
                 "0.2457, 0.2429, 0.2394, 0.2377, 0.2388, 0.2416, 0.2448, 0.2458, 0.2591, 0.3641",\
                 "0.2482, 0.2454, 0.2416, 0.2403, 0.2415, 0.2443, 0.2454, 0.2493, 0.2647, 0.412",\
                 "0.2532, 0.2502, 0.2465, 0.2447, 0.2454, 0.2482, 0.2496, 0.2531, 0.2816, 0.5032",\
                 "0.2596, 0.2566, 0.2521, 0.2501, 0.2513, 0.2527, 0.2553, 0.2597, 0.3151, 0.6722",\
                 "0.2676, 0.2646, 0.2592, 0.257, 0.257, 0.2599, 0.2628, 0.2716, 0.3931, 1.002",\
                 "0.2769, 0.2734, 0.2689, 0.2659, 0.2653, 0.2674, 0.2726, 0.3079, 0.5948, 1.621");
        }
      }

      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.04539, 0.1114, 0.2142, 0.3584, 0.5482, 0.7873, 1.079, 1.427");
          values("0.2969, 0.2938, 0.2915, 0.2915, 0.2922, 0.2929, 0.2933, 0.2937, 0.2938, 0.294",\
                 "0.2967, 0.2938, 0.2914, 0.2913, 0.2921, 0.2927, 0.2932, 0.2935, 0.2938, 0.2939",\
                 "0.2962, 0.2931, 0.2909, 0.2907, 0.2915, 0.2921, 0.2926, 0.2929, 0.2932, 0.2933",\
                 "0.2962, 0.2932, 0.2908, 0.2907, 0.2916, 0.2922, 0.2925, 0.2929, 0.2931, 0.2932",\
                 "0.2971, 0.2941, 0.2918, 0.2916, 0.2925, 0.2931, 0.2935, 0.2938, 0.2941, 0.2943",\
                 "0.2995, 0.2965, 0.2942, 0.2941, 0.2949, 0.2955, 0.2959, 0.2963, 0.2965, 0.2966",\
                 "0.3033, 0.3004, 0.298, 0.2981, 0.2988, 0.2995, 0.2999, 0.3002, 0.3004, 0.3005",\
                 "0.3083, 0.3052, 0.3029, 0.3028, 0.3037, 0.3043, 0.3048, 0.3051, 0.3053, 0.3055",\
                 "0.3143, 0.3114, 0.3091, 0.3091, 0.31, 0.3106, 0.3111, 0.3113, 0.3115, 0.3117",\
                 "0.3223, 0.3192, 0.3166, 0.3168, 0.3176, 0.3182, 0.3187, 0.319, 0.3192, 0.3193");
        }

        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.04539, 0.1114, 0.2142, 0.3584, 0.5482, 0.7873, 1.079, 1.427");
          values("0.2029, 0.2013, 0.2002, 0.2015, 0.2039, 0.2071, 0.21, 0.212, 0.2201, 0.2781",\
                 "0.2028, 0.201, 0.1998, 0.2016, 0.2039, 0.2074, 0.21, 0.2129, 0.2192, 0.2789",\
                 "0.2026, 0.2011, 0.2003, 0.201, 0.204, 0.2077, 0.2109, 0.2117, 0.2198, 0.2845",\
                 "0.2029, 0.2012, 0.2003, 0.2015, 0.204, 0.2074, 0.2112, 0.2129, 0.2212, 0.2942",\
                 "0.2038, 0.2022, 0.201, 0.2021, 0.2049, 0.2083, 0.2106, 0.2131, 0.2218, 0.3105",\
                 "0.2055, 0.2039, 0.2028, 0.2041, 0.2069, 0.2098, 0.2124, 0.2143, 0.2273, 0.3378",\
                 "0.2083, 0.2062, 0.2048, 0.2068, 0.2101, 0.2125, 0.2151, 0.2193, 0.2337, 0.3802",\
                 "0.2119, 0.2107, 0.2094, 0.21, 0.2125, 0.2167, 0.2205, 0.2208, 0.2483, 0.446",\
                 "0.2171, 0.2154, 0.214, 0.215, 0.2165, 0.2191, 0.2241, 0.231, 0.2689, 0.5615",\
                 "0.2236, 0.2216, 0.2205, 0.2222, 0.2246, 0.2251, 0.2274, 0.2392, 0.3161, 0.7635");
        }
      }

      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.04539, 0.1114, 0.2142, 0.3584, 0.5482, 0.7873, 1.079, 1.427");
          values("0.2737, 0.266, 0.2583, 0.2554, 0.2544, 0.254, 0.2541, 0.2542, 0.2541, 0.2541",\
                 "0.273, 0.2653, 0.2575, 0.2546, 0.2538, 0.2534, 0.2535, 0.2535, 0.2536, 0.2535",\
                 "0.2726, 0.265, 0.2573, 0.2541, 0.2533, 0.2529, 0.2531, 0.2531, 0.253, 0.2531",\
                 "0.2732, 0.2656, 0.2579, 0.255, 0.254, 0.2536, 0.2536, 0.2536, 0.2537, 0.2537",\
                 "0.2749, 0.2672, 0.2595, 0.2564, 0.2556, 0.2553, 0.2554, 0.2554, 0.2554, 0.2554",\
                 "0.2776, 0.2699, 0.2622, 0.2591, 0.2582, 0.2579, 0.2581, 0.2581, 0.258, 0.258",\
                 "0.2816, 0.2737, 0.2661, 0.2631, 0.2622, 0.2618, 0.262, 0.2619, 0.2619, 0.262",\
                 "0.2863, 0.2788, 0.271, 0.268, 0.2671, 0.2667, 0.2668, 0.2668, 0.2668, 0.2669",\
                 "0.2926, 0.2849, 0.2773, 0.2743, 0.2733, 0.2732, 0.2731, 0.2731, 0.2731, 0.2732",\
                 "0.3004, 0.2928, 0.285, 0.2821, 0.2812, 0.2807, 0.2808, 0.2809, 0.2807, 0.2806");
        }

        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.04539, 0.1114, 0.2142, 0.3584, 0.5482, 0.7873, 1.079, 1.427");
          values("0.249, 0.2463, 0.2427, 0.2409, 0.2416, 0.2441, 0.2472, 0.2505, 0.2588, 0.3321",\
                 "0.2491, 0.2462, 0.2425, 0.2416, 0.2428, 0.245, 0.2484, 0.2493, 0.2591, 0.3332",\
                 "0.2492, 0.2464, 0.2427, 0.2413, 0.2423, 0.245, 0.2463, 0.2499, 0.2571, 0.3376",\
                 "0.2491, 0.2461, 0.2429, 0.2414, 0.2425, 0.2453, 0.2463, 0.2504, 0.2579, 0.3483",\
                 "0.2503, 0.2471, 0.2438, 0.2422, 0.2432, 0.2462, 0.2472, 0.251, 0.2605, 0.366",\
                 "0.2516, 0.2489, 0.2447, 0.2433, 0.2444, 0.2477, 0.2505, 0.2523, 0.2658, 0.3926",\
                 "0.2543, 0.2517, 0.2476, 0.2467, 0.2478, 0.2501, 0.2526, 0.2558, 0.2762, 0.4383",\
                 "0.2585, 0.2554, 0.252, 0.25, 0.2509, 0.2552, 0.2565, 0.2591, 0.2869, 0.5043",\
                 "0.2634, 0.2605, 0.257, 0.2556, 0.2557, 0.2573, 0.2628, 0.2684, 0.3086, 0.6128",\
                 "0.2699, 0.267, 0.2634, 0.2611, 0.2614, 0.2627, 0.2643, 0.2766, 0.3514, 0.7948");
        }
      }

      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.04539, 0.1114, 0.2142, 0.3584, 0.5482, 0.7873, 1.079, 1.427");
          values("0.3005, 0.2974, 0.295, 0.2952, 0.2958, 0.2964, 0.2969, 0.2973, 0.2974, 0.2977",\
                 "0.3006, 0.2975, 0.2953, 0.2952, 0.2959, 0.2965, 0.2969, 0.2973, 0.2975, 0.2977",\
                 "0.3005, 0.2975, 0.2952, 0.295, 0.2958, 0.2965, 0.2968, 0.2972, 0.2974, 0.2975",\
                 "0.3005, 0.2975, 0.295, 0.295, 0.296, 0.2966, 0.297, 0.2973, 0.2975, 0.2977",\
                 "0.3012, 0.2982, 0.2958, 0.2958, 0.2966, 0.2973, 0.2978, 0.2981, 0.2983, 0.2985",\
                 "0.303, 0.2999, 0.2977, 0.2977, 0.2986, 0.2992, 0.2996, 0.2999, 0.3001, 0.3002",\
                 "0.3056, 0.3026, 0.3004, 0.3005, 0.3013, 0.3019, 0.3023, 0.3026, 0.3028, 0.3029",\
                 "0.3095, 0.3067, 0.3041, 0.3044, 0.3052, 0.3057, 0.3062, 0.3065, 0.3067, 0.3068",\
                 "0.3149, 0.3118, 0.3095, 0.3094, 0.3102, 0.3109, 0.3113, 0.3116, 0.3118, 0.3119",\
                 "0.3211, 0.3181, 0.3158, 0.3156, 0.3165, 0.3172, 0.3176, 0.3179, 0.3181, 0.3183");
        }

        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.04539, 0.1114, 0.2142, 0.3584, 0.5482, 0.7873, 1.079, 1.427");
          values("0.2568, 0.2552, 0.2538, 0.2558, 0.2578, 0.261, 0.2638, 0.2659, 0.2766, 0.3454",\
                 "0.2565, 0.2546, 0.254, 0.2552, 0.2578, 0.2613, 0.2635, 0.2656, 0.2742, 0.3459",\
                 "0.256, 0.2544, 0.2536, 0.2548, 0.2579, 0.2604, 0.2644, 0.265, 0.2749, 0.3514",\
                 "0.2565, 0.2549, 0.2537, 0.2552, 0.2581, 0.2616, 0.265, 0.2666, 0.2754, 0.3676",\
                 "0.2581, 0.2565, 0.2555, 0.2566, 0.2595, 0.2631, 0.2662, 0.2672, 0.2807, 0.396",\
                 "0.2609, 0.2592, 0.2586, 0.2593, 0.2624, 0.2661, 0.2692, 0.2706, 0.2878, 0.4451",\
                 "0.265, 0.2635, 0.2627, 0.2638, 0.2662, 0.2703, 0.2725, 0.2753, 0.3078, 0.533",\
                 "0.2699, 0.2687, 0.2674, 0.2679, 0.2718, 0.2733, 0.2761, 0.2812, 0.336, 0.6991",\
                 "0.2763, 0.2748, 0.2733, 0.2744, 0.2766, 0.2805, 0.2825, 0.2927, 0.413, 1.019",\
                 "0.2841, 0.2824, 0.281, 0.282, 0.2846, 0.2868, 0.2931, 0.3274, 0.6091, 1.623");
        }
      }

      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.04539, 0.1114, 0.2142, 0.3584, 0.5482, 0.7873, 1.079, 1.427");
          values("0.2217, 0.2142, 0.2062, 0.2032, 0.2022, 0.202, 0.202, 0.202, 0.202, 0.202",\
                 "0.2218, 0.2142, 0.2063, 0.2033, 0.2022, 0.202, 0.202, 0.202, 0.202, 0.202",\
                 "0.2219, 0.2143, 0.2063, 0.2033, 0.2023, 0.202, 0.2019, 0.2021, 0.2021, 0.2021",\
                 "0.2219, 0.2142, 0.2063, 0.2032, 0.2022, 0.2019, 0.2019, 0.202, 0.202, 0.202",\
                 "0.2221, 0.2145, 0.2065, 0.2034, 0.2026, 0.2023, 0.2022, 0.2023, 0.2024, 0.2024",\
                 "0.2236, 0.2157, 0.2077, 0.2047, 0.2038, 0.2035, 0.2033, 0.2034, 0.2035, 0.2036",\
                 "0.226, 0.2181, 0.2101, 0.207, 0.2059, 0.2058, 0.2056, 0.2056, 0.2057, 0.2057",\
                 "0.2297, 0.2219, 0.2137, 0.2104, 0.2093, 0.209, 0.209, 0.2091, 0.209, 0.2091",\
                 "0.2349, 0.227, 0.2186, 0.2152, 0.2143, 0.2137, 0.2138, 0.2138, 0.2138, 0.2139",\
                 "0.2417, 0.2337, 0.2251, 0.2216, 0.2202, 0.2199, 0.2199, 0.2199, 0.22, 0.2201");
        }

        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.04539, 0.1114, 0.2142, 0.3584, 0.5482, 0.7873, 1.079, 1.427");
          values("0.2503, 0.2475, 0.2436, 0.2424, 0.2429, 0.2454, 0.2476, 0.2494, 0.2582, 0.3294",\
                 "0.2503, 0.2471, 0.2434, 0.2417, 0.2426, 0.246, 0.2479, 0.25, 0.2588, 0.3285",\
                 "0.2499, 0.2473, 0.2432, 0.2415, 0.243, 0.2454, 0.2485, 0.2497, 0.2589, 0.3343",\
                 "0.2502, 0.2472, 0.2434, 0.2418, 0.243, 0.2457, 0.247, 0.2502, 0.2595, 0.3468",\
                 "0.251, 0.248, 0.2447, 0.2428, 0.244, 0.2469, 0.2479, 0.2508, 0.2641, 0.3739",\
                 "0.2535, 0.2507, 0.2469, 0.2454, 0.246, 0.249, 0.2524, 0.2553, 0.2725, 0.4236",\
                 "0.2586, 0.2555, 0.2518, 0.2498, 0.2505, 0.2532, 0.256, 0.2576, 0.2886, 0.5188",\
                 "0.2654, 0.2621, 0.2583, 0.2557, 0.2565, 0.2586, 0.2612, 0.2658, 0.323, 0.6984",\
                 "0.2736, 0.2702, 0.2658, 0.2623, 0.2631, 0.2658, 0.2675, 0.2789, 0.4083, 1.047",\
                 "0.283, 0.2795, 0.2748, 0.2723, 0.2708, 0.273, 0.2782, 0.3165, 0.6315, 1.698");
        }
      }

      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.04539, 0.1114, 0.2142, 0.3584, 0.5482, 0.7873, 1.079, 1.427");
          values("0.3013, 0.2984, 0.2959, 0.2959, 0.2968, 0.2974, 0.2978, 0.2981, 0.2983, 0.2984",\
                 "0.301, 0.298, 0.2956, 0.2956, 0.2964, 0.2971, 0.2976, 0.2979, 0.298, 0.2981",\
                 "0.3008, 0.2978, 0.2953, 0.2953, 0.2961, 0.2967, 0.2973, 0.2976, 0.2977, 0.2979",\
                 "0.301, 0.2979, 0.2956, 0.2955, 0.2962, 0.2969, 0.2975, 0.2977, 0.2979, 0.2982",\
                 "0.302, 0.2989, 0.2967, 0.2965, 0.2976, 0.2982, 0.2986, 0.2989, 0.2991, 0.2991",\
                 "0.3044, 0.3015, 0.2992, 0.299, 0.3, 0.3005, 0.301, 0.3013, 0.3014, 0.3016",\
                 "0.3085, 0.3055, 0.303, 0.303, 0.3038, 0.3045, 0.3049, 0.3052, 0.3054, 0.3056",\
                 "0.3136, 0.3105, 0.308, 0.3082, 0.3092, 0.3098, 0.3102, 0.3105, 0.3107, 0.3109",\
                 "0.32, 0.317, 0.3148, 0.3147, 0.3155, 0.3161, 0.3165, 0.3168, 0.3172, 0.3173",\
                 "0.3279, 0.3249, 0.3226, 0.3223, 0.3233, 0.3241, 0.3244, 0.3248, 0.325, 0.3251");
        }

        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.04539, 0.1114, 0.2142, 0.3584, 0.5482, 0.7873, 1.079, 1.427");
          values("0.2047, 0.2033, 0.202, 0.2031, 0.2056, 0.2089, 0.2115, 0.2138, 0.2207, 0.2801",\
                 "0.2047, 0.203, 0.2021, 0.2034, 0.2058, 0.2092, 0.2115, 0.2138, 0.2201, 0.2815",\
                 "0.2047, 0.2032, 0.202, 0.2036, 0.206, 0.2092, 0.2133, 0.2138, 0.2213, 0.286",\
                 "0.2051, 0.2036, 0.2022, 0.2034, 0.206, 0.2092, 0.2115, 0.2138, 0.2224, 0.2951",\
                 "0.2056, 0.2045, 0.2029, 0.2044, 0.2072, 0.2101, 0.2139, 0.2158, 0.225, 0.3088",\
                 "0.2072, 0.2057, 0.2047, 0.2055, 0.2085, 0.2116, 0.2139, 0.2179, 0.2311, 0.3359",\
                 "0.2096, 0.208, 0.2069, 0.2075, 0.2115, 0.214, 0.2154, 0.2193, 0.2348, 0.3742",\
                 "0.2134, 0.2117, 0.2103, 0.2112, 0.2135, 0.2185, 0.222, 0.2232, 0.2463, 0.436",\
                 "0.2183, 0.2169, 0.2152, 0.2158, 0.2181, 0.2206, 0.2259, 0.2311, 0.2672, 0.5426",\
                 "0.2247, 0.2232, 0.222, 0.2226, 0.2249, 0.226, 0.2289, 0.2381, 0.3091, 0.7311");
        }
      }

      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.04539, 0.1114, 0.2142, 0.3584, 0.5482, 0.7873, 1.079, 1.427");
          values("0.2155, 0.2079, 0.2002, 0.1972, 0.1962, 0.1959, 0.1959, 0.1959, 0.1959, 0.196",\
                 "0.2148, 0.2071, 0.1994, 0.1964, 0.1956, 0.1952, 0.1953, 0.1954, 0.1953, 0.1953",\
                 "0.2134, 0.2058, 0.1982, 0.1951, 0.1943, 0.1939, 0.1941, 0.194, 0.1941, 0.194",\
                 "0.2131, 0.2054, 0.1976, 0.1944, 0.1934, 0.1933, 0.1933, 0.1935, 0.1936, 0.1936",\
                 "0.2173, 0.2094, 0.2005, 0.1965, 0.1953, 0.195, 0.195, 0.1951, 0.1952, 0.1952",\
                 "0.2321, 0.2223, 0.2104, 0.2041, 0.2013, 0.2, 0.1995, 0.1994, 0.1994, 0.1993",\
                 "0.2508, 0.239, 0.2232, 0.2146, 0.2101, 0.2079, 0.2067, 0.2064, 0.206, 0.2058",\
                 "0.2714, 0.2585, 0.2385, 0.2277, 0.2219, 0.2185, 0.217, 0.2159, 0.2151, 0.2149",\
                 "0.2941, 0.2795, 0.2567, 0.2435, 0.2358, 0.232, 0.2292, 0.2279, 0.2268, 0.2264",\
                 "0.3189, 0.3034, 0.2774, 0.2623, 0.2529, 0.2478, 0.2445, 0.2426, 0.2415, 0.2407");
        }

        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.04539, 0.1114, 0.2142, 0.3584, 0.5482, 0.7873, 1.079, 1.427");
          values("0.1333, 0.1318, 0.1314, 0.1333, 0.1362, 0.1393, 0.1419, 0.1451, 0.1502, 0.1956",\
                 "0.1335, 0.1324, 0.1317, 0.1335, 0.1363, 0.1396, 0.1422, 0.1454, 0.1502, 0.1973",\
                 "0.1333, 0.1323, 0.1311, 0.1331, 0.1358, 0.1393, 0.1422, 0.1442, 0.1503, 0.199",\
                 "0.1353, 0.1337, 0.1321, 0.1325, 0.1348, 0.1375, 0.1404, 0.1442, 0.1507, 0.2033",\
                 "0.1414, 0.1387, 0.1363, 0.1351, 0.1367, 0.1393, 0.1419, 0.1454, 0.1523, 0.2148",\
                 "0.1502, 0.1473, 0.1418, 0.1395, 0.1405, 0.1414, 0.1443, 0.1463, 0.1569, 0.2412",\
                 "0.162, 0.1574, 0.1503, 0.1463, 0.1455, 0.1477, 0.1488, 0.1519, 0.1621, 0.2707",\
                 "0.1769, 0.1709, 0.1627, 0.1569, 0.1541, 0.1546, 0.159, 0.1612, 0.1761, 0.3308",\
                 "0.1955, 0.1877, 0.178, 0.1703, 0.1672, 0.1639, 0.1668, 0.1729, 0.202, 0.4277",\
                 "0.2178, 0.2084, 0.1965, 0.1867, 0.1823, 0.178, 0.1776, 0.1844, 0.2452, 0.6126");
        }
      }

      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.04539, 0.1114, 0.2142, 0.3584, 0.5482, 0.7873, 1.079, 1.427");
          values("0.2149, 0.2118, 0.2095, 0.2093, 0.21, 0.2106, 0.211, 0.2114, 0.2116, 0.2117",\
                 "0.2149, 0.2118, 0.2095, 0.2093, 0.21, 0.2106, 0.2111, 0.2113, 0.2115, 0.2117",\
                 "0.2137, 0.2105, 0.2081, 0.2081, 0.2088, 0.2093, 0.2098, 0.2101, 0.2103, 0.2105",\
                 "0.212, 0.2089, 0.2066, 0.2064, 0.2073, 0.2079, 0.2083, 0.2085, 0.2088, 0.2089",\
                 "0.2115, 0.2086, 0.2063, 0.2064, 0.2072, 0.2077, 0.2082, 0.2085, 0.2087, 0.2088",\
                 "0.213, 0.2098, 0.2077, 0.2076, 0.2085, 0.2091, 0.2096, 0.2099, 0.2101, 0.2103",\
                 "0.2164, 0.2134, 0.211, 0.2109, 0.2115, 0.2122, 0.2127, 0.2129, 0.2133, 0.2134",\
                 "0.2216, 0.2185, 0.2157, 0.2156, 0.2162, 0.2168, 0.2173, 0.2177, 0.2179, 0.2181",\
                 "0.2288, 0.2255, 0.2224, 0.222, 0.2227, 0.2232, 0.2237, 0.2241, 0.2243, 0.2245",\
                 "0.2378, 0.2343, 0.2309, 0.23, 0.2308, 0.2313, 0.2318, 0.2322, 0.2324, 0.2326");
        }

        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.04539, 0.1114, 0.2142, 0.3584, 0.5482, 0.7873, 1.079, 1.427");
          values("0.2227, 0.2207, 0.2194, 0.2197, 0.2222, 0.2251, 0.228, 0.2306, 0.2355, 0.2868",\
                 "0.2224, 0.2206, 0.2189, 0.2197, 0.2219, 0.2251, 0.2274, 0.2309, 0.2359, 0.2875",\
                 "0.2223, 0.2204, 0.2187, 0.2194, 0.2222, 0.2248, 0.2271, 0.23, 0.2359, 0.2918",\
                 "0.2225, 0.2207, 0.219, 0.2197, 0.2221, 0.2254, 0.228, 0.2303, 0.237, 0.3023",\
                 "0.2238, 0.2221, 0.2204, 0.2209, 0.2237, 0.2263, 0.2286, 0.232, 0.2403, 0.3256",\
                 "0.2267, 0.2253, 0.2233, 0.2239, 0.2261, 0.2287, 0.2322, 0.2344, 0.2469, 0.3593",\
                 "0.2315, 0.2296, 0.2276, 0.2285, 0.2308, 0.2335, 0.2367, 0.2383, 0.2577, 0.4239",\
                 "0.238, 0.2363, 0.2338, 0.2335, 0.2367, 0.2401, 0.2418, 0.2449, 0.2834, 0.5451",\
                 "0.2463, 0.2441, 0.2419, 0.2415, 0.2433, 0.2464, 0.2514, 0.2558, 0.3333, 0.7806",\
                 "0.2562, 0.2543, 0.252, 0.251, 0.2527, 0.2545, 0.259, 0.2797, 0.4588, 1.242");
        }
      }

      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.04539, 0.1114, 0.2142, 0.3584, 0.5482, 0.7873, 1.079, 1.427");
          values("0.2149, 0.2118, 0.2095, 0.2093, 0.21, 0.2106, 0.211, 0.2114, 0.2116, 0.2117",\
                 "0.2149, 0.2117, 0.2095, 0.2093, 0.2099, 0.2105, 0.211, 0.2113, 0.2116, 0.2116",\
                 "0.2137, 0.2105, 0.2081, 0.2081, 0.2089, 0.2094, 0.2099, 0.2101, 0.2103, 0.2105",\
                 "0.212, 0.2089, 0.2066, 0.2064, 0.2073, 0.2079, 0.2083, 0.2085, 0.2088, 0.2089",\
                 "0.2115, 0.2086, 0.2063, 0.2064, 0.2072, 0.2078, 0.2082, 0.2085, 0.2087, 0.2088",\
                 "0.213, 0.2099, 0.2077, 0.2076, 0.2084, 0.2091, 0.2096, 0.2099, 0.2101, 0.2102",\
                 "0.2164, 0.2135, 0.211, 0.2109, 0.2115, 0.2122, 0.2127, 0.2129, 0.2133, 0.2134",\
                 "0.2216, 0.2185, 0.2157, 0.2156, 0.2162, 0.2168, 0.2173, 0.2177, 0.2179, 0.218",\
                 "0.2288, 0.2254, 0.2224, 0.222, 0.2226, 0.2232, 0.2238, 0.2241, 0.2243, 0.2245",\
                 "0.2378, 0.2343, 0.2309, 0.2303, 0.2306, 0.2313, 0.2318, 0.2322, 0.2324, 0.2326");
        }

        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.04539, 0.1114, 0.2142, 0.3584, 0.5482, 0.7873, 1.079, 1.427");
          values("0.2228, 0.2209, 0.2193, 0.2197, 0.2222, 0.2251, 0.2277, 0.2309, 0.2355, 0.2871",\
                 "0.2224, 0.2206, 0.2189, 0.2197, 0.2219, 0.2251, 0.2274, 0.2309, 0.2359, 0.2875",\
                 "0.2223, 0.2207, 0.2189, 0.2194, 0.2218, 0.2248, 0.2271, 0.2306, 0.2377, 0.2918",\
                 "0.2225, 0.2209, 0.2191, 0.2197, 0.2221, 0.2251, 0.228, 0.23, 0.2373, 0.302",\
                 "0.2239, 0.2221, 0.2206, 0.2212, 0.2233, 0.2263, 0.2286, 0.232, 0.24, 0.323",\
                 "0.2267, 0.2249, 0.2232, 0.224, 0.2261, 0.2293, 0.2325, 0.235, 0.246, 0.3593",\
                 "0.2315, 0.2296, 0.2276, 0.2285, 0.2308, 0.2332, 0.2367, 0.2383, 0.2577, 0.427",\
                 "0.238, 0.2359, 0.2338, 0.2332, 0.2366, 0.2401, 0.2418, 0.2449, 0.2822, 0.5435",\
                 "0.2462, 0.2443, 0.2419, 0.2414, 0.243, 0.2467, 0.2514, 0.2566, 0.3318, 0.7803",\
                 "0.2565, 0.2543, 0.2521, 0.251, 0.2527, 0.2548, 0.2593, 0.2797, 0.4581, 1.242");
        }
      }

      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.04539, 0.1114, 0.2142, 0.3584, 0.5482, 0.7873, 1.079, 1.427");
          values("0.2155, 0.208, 0.2003, 0.1971, 0.1962, 0.1959, 0.1959, 0.196, 0.196, 0.196",\
                 "0.2147, 0.2073, 0.1997, 0.1965, 0.1956, 0.1952, 0.1954, 0.1953, 0.1954, 0.1954",\
                 "0.2135, 0.2059, 0.1982, 0.195, 0.1943, 0.1939, 0.194, 0.194, 0.194, 0.194",\
                 "0.213, 0.2054, 0.1976, 0.1944, 0.1936, 0.1933, 0.1933, 0.1935, 0.1936, 0.1936",\
                 "0.2174, 0.2095, 0.2005, 0.1965, 0.1952, 0.195, 0.195, 0.195, 0.1951, 0.1952",\
                 "0.2322, 0.2223, 0.2104, 0.2038, 0.2012, 0.2, 0.1995, 0.1993, 0.1993, 0.1993",\
                 "0.2508, 0.2391, 0.2233, 0.2146, 0.2101, 0.2079, 0.2068, 0.2063, 0.206, 0.2058",\
                 "0.2714, 0.258, 0.2386, 0.2277, 0.2218, 0.2183, 0.2167, 0.2158, 0.2152, 0.2149",\
                 "0.2938, 0.2794, 0.2571, 0.2434, 0.236, 0.2316, 0.2292, 0.228, 0.2269, 0.2265",\
                 "0.319, 0.3033, 0.2774, 0.2621, 0.2533, 0.2475, 0.2444, 0.2424, 0.2415, 0.2406");
        }

        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.04539, 0.1114, 0.2142, 0.3584, 0.5482, 0.7873, 1.079, 1.427");
          values("0.1333, 0.1318, 0.1314, 0.1333, 0.1361, 0.1393, 0.1419, 0.1448, 0.1502, 0.1964",\
                 "0.1335, 0.1321, 0.1317, 0.1336, 0.1364, 0.1396, 0.1425, 0.1445, 0.1502, 0.1934",\
                 "0.1335, 0.132, 0.1313, 0.1331, 0.1357, 0.1393, 0.1416, 0.1451, 0.1502, 0.199",\
                 "0.1355, 0.1337, 0.132, 0.1325, 0.1348, 0.1381, 0.141, 0.1433, 0.1491, 0.2035",\
                 "0.1416, 0.1386, 0.1357, 0.1351, 0.1366, 0.1393, 0.1416, 0.1445, 0.1523, 0.2166",\
                 "0.1504, 0.1468, 0.1418, 0.1394, 0.1404, 0.1414, 0.1431, 0.1463, 0.1569, 0.2412",\
                 "0.1622, 0.1574, 0.1505, 0.1465, 0.1459, 0.1483, 0.1485, 0.1513, 0.1618, 0.2732",\
                 "0.1768, 0.1706, 0.1627, 0.157, 0.1537, 0.1552, 0.1587, 0.1599, 0.1761, 0.3296",\
                 "0.1956, 0.188, 0.1779, 0.1706, 0.1665, 0.1651, 0.1665, 0.1726, 0.2017, 0.4286",\
                 "0.2178, 0.2084, 0.1968, 0.1879, 0.1822, 0.1783, 0.1779, 0.1844, 0.2459, 0.6123");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09579, 0.3618, 0.8698, 1.661, 2.772, 4.233, 6.074, 8.321, 11");
          index_2("0.001, 0.01084, 0.04539, 0.1114, 0.2142, 0.3584, 0.5482, 0.7873, 1.079, 1.427");
          values("2.799, 2.861, 3.012, 3.22, 3.495, 3.86, 4.333, 4.929, 5.656, 6.522",\
                 "2.821, 2.883, 3.035, 3.243, 3.517, 3.882, 4.356, 4.951, 5.678, 6.544",\
                 "2.886, 2.948, 3.099, 3.307, 3.582, 3.947, 4.42, 5.016, 5.743, 6.609",\
                 "2.951, 3.013, 3.165, 3.372, 3.647, 4.012, 4.486, 5.081, 5.808, 6.674",\
                 "2.982, 3.044, 3.196, 3.403, 3.679, 4.043, 4.517, 5.113, 5.84, 6.706",\
                 "2.979, 3.042, 3.193, 3.401, 3.676, 4.04, 4.514, 5.11, 5.837, 6.703",\
                 "2.924, 2.986, 3.137, 3.345, 3.62, 3.985, 4.458, 5.054, 5.781, 6.647",\
                 "2.813, 2.875, 3.027, 3.236, 3.51, 3.875, 4.349, 4.944, 5.671, 6.537",\
                 "2.648, 2.71, 2.861, 3.069, 3.344, 3.709, 4.183, 4.779, 5.506, 6.371",\
                 "2.422, 2.485, 2.636, 2.844, 3.119, 3.484, 3.958, 4.553, 5.28, 6.146");
        }

        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.04539, 0.1114, 0.2142, 0.3584, 0.5482, 0.7873, 1.079, 1.427");
          values("2.395, 2.465, 2.655, 2.963, 3.426, 4.071, 4.919, 5.986, 7.289, 8.844",\
                 "2.41, 2.48, 2.67, 2.978, 3.44, 4.086, 4.934, 6.001, 7.307, 8.857",\
                 "2.472, 2.542, 2.732, 3.04, 3.503, 4.148, 4.996, 6.063, 7.369, 8.917",\
                 "2.6, 2.67, 2.86, 3.168, 3.63, 4.276, 5.124, 6.193, 7.495, 9.048",\
                 "2.811, 2.882, 3.071, 3.378, 3.841, 4.487, 5.334, 6.404, 7.704, 9.26",\
                 "3.095, 3.166, 3.355, 3.664, 4.126, 4.771, 5.62, 6.688, 7.99, 9.543",\
                 "3.447, 3.518, 3.707, 4.016, 4.478, 5.123, 5.972, 7.038, 8.341, 9.896",\
                 "3.872, 3.943, 4.133, 4.441, 4.903, 5.548, 6.396, 7.464, 8.768, 10.32",\
                 "4.374, 4.445, 4.635, 4.943, 5.404, 6.05, 6.897, 7.964, 9.268, 10.82",\
                 "4.952, 5.024, 5.213, 5.521, 5.983, 6.628, 7.477, 8.543, 9.846, 11.4");
        }

        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.04539, 0.1114, 0.2142, 0.3584, 0.5482, 0.7873, 1.079, 1.427");
          values("0.1816, 0.2354, 0.3724, 0.6072, 0.9874, 1.556, 2.325, 3.305, 4.5, 5.926",\
                 "0.1812, 0.2352, 0.3726, 0.6072, 0.9884, 1.556, 2.326, 3.303, 4.503, 5.932",\
                 "0.1814, 0.2356, 0.3734, 0.6076, 0.9892, 1.556, 2.326, 3.306, 4.502, 5.932",\
                 "0.1814, 0.2352, 0.3732, 0.6062, 0.9886, 1.556, 2.326, 3.306, 4.505, 5.931",\
                 "0.1814, 0.2358, 0.3728, 0.6068, 0.9888, 1.557, 2.326, 3.306, 4.504, 5.934",\
                 "0.1816, 0.2352, 0.3724, 0.607, 0.9888, 1.556, 2.326, 3.304, 4.505, 5.926",\
                 "0.1814, 0.2352, 0.3728, 0.6072, 0.9878, 1.557, 2.324, 3.307, 4.501, 5.926",\
                 "0.1814, 0.2352, 0.3726, 0.6066, 0.9878, 1.555, 2.323, 3.301, 4.499, 5.926",\
                 "0.1814, 0.2354, 0.372, 0.6068, 0.9886, 1.556, 2.324, 3.301, 4.496, 5.922",\
                 "0.1816, 0.2354, 0.372, 0.6076, 0.9884, 1.556, 2.325, 3.302, 4.5, 5.924");
        }

        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.04539, 0.1114, 0.2142, 0.3584, 0.5482, 0.7873, 1.079, 1.427");
          values("0.1832, 0.2604, 0.4982, 0.969, 1.74, 2.843, 4.295, 6.125, 8.359, 11.01",\
                 "0.1834, 0.2604, 0.4976, 0.9676, 1.742, 2.84, 4.295, 6.126, 8.347, 11.02",\
                 "0.1828, 0.2602, 0.4984, 0.9672, 1.741, 2.843, 4.287, 6.125, 8.35, 11.02",\
                 "0.1832, 0.2608, 0.4986, 0.9674, 1.74, 2.841, 4.293, 6.121, 8.357, 11.01",\
                 "0.1832, 0.2604, 0.4978, 0.9692, 1.742, 2.843, 4.291, 6.118, 8.36, 11",\
                 "0.183, 0.2608, 0.4984, 0.9688, 1.74, 2.841, 4.292, 6.122, 8.357, 11.01",\
                 "0.1836, 0.261, 0.498, 0.969, 1.742, 2.843, 4.289, 6.125, 8.353, 11",\
                 "0.1832, 0.2606, 0.4976, 0.9678, 1.74, 2.839, 4.288, 6.122, 8.354, 11",\
                 "0.1844, 0.26, 0.498, 0.9698, 1.741, 2.836, 4.284, 6.118, 8.344, 11.01",\
                 "0.184, 0.26, 0.498, 0.966, 1.742, 2.84, 4.282, 6.106, 8.344, 11");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09579, 0.3618, 0.8698, 1.661, 2.772, 4.233, 6.074, 8.321, 11");
          index_2("0.001, 0.01084, 0.04539, 0.1114, 0.2142, 0.3584, 0.5482, 0.7873, 1.079, 1.427");
          values("1.451, 1.529, 1.722, 1.98, 2.299, 2.691, 3.177, 3.777, 4.505, 5.371",\
                 "1.47, 1.547, 1.74, 1.999, 2.317, 2.709, 3.196, 3.796, 4.523, 5.389",\
                 "1.536, 1.613, 1.806, 2.065, 2.383, 2.775, 3.262, 3.861, 4.589, 5.455",\
                 "1.654, 1.731, 1.924, 2.183, 2.501, 2.893, 3.379, 3.979, 4.707, 5.573",\
                 "1.772, 1.849, 2.042, 2.301, 2.619, 3.011, 3.497, 4.097, 4.825, 5.691",\
                 "1.852, 1.929, 2.122, 2.381, 2.7, 3.092, 3.578, 4.178, 4.906, 5.772",\
                 "1.889, 1.967, 2.16, 2.419, 2.737, 3.13, 3.616, 4.216, 4.944, 5.81",\
                 "1.88, 1.958, 2.151, 2.411, 2.729, 3.121, 3.607, 4.207, 4.935, 5.801",\
                 "1.82, 1.897, 2.091, 2.35, 2.668, 3.061, 3.548, 4.148, 4.875, 5.742",\
                 "1.701, 1.779, 1.973, 2.233, 2.551, 2.944, 3.431, 4.03, 4.758, 5.624");
        }

        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.04539, 0.1114, 0.2142, 0.3584, 0.5482, 0.7873, 1.079, 1.427");
          values("2.121, 2.196, 2.392, 2.702, 3.165, 3.81, 4.657, 5.725, 7.028, 8.58",\
                 "2.142, 2.217, 2.413, 2.724, 3.186, 3.831, 4.679, 5.746, 7.049, 8.602",\
                 "2.214, 2.289, 2.486, 2.796, 3.259, 3.904, 4.752, 5.819, 7.122, 8.674",\
                 "2.377, 2.452, 2.649, 2.959, 3.422, 4.067, 4.915, 5.982, 7.285, 8.837",\
                 "2.655, 2.73, 2.926, 3.236, 3.699, 4.344, 5.192, 6.259, 7.561, 9.115",\
                 "3.054, 3.129, 3.326, 3.636, 4.098, 4.743, 5.591, 6.659, 7.962, 9.514",\
                 "3.547, 3.623, 3.821, 4.131, 4.593, 5.238, 6.086, 7.153, 8.455, 10.01",\
                 "4.1, 4.176, 4.374, 4.686, 5.147, 5.792, 6.64, 7.706, 9.009, 10.56",\
                 "4.713, 4.791, 4.989, 5.301, 5.762, 6.407, 7.255, 8.321, 9.624, 11.18",\
                 "5.396, 5.474, 5.675, 5.986, 6.448, 7.093, 7.94, 9.007, 10.31, 11.86");
        }

        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.04539, 0.1114, 0.2142, 0.3584, 0.5482, 0.7873, 1.079, 1.427");
          values("0.253, 0.3212, 0.498, 0.7544, 1.126, 1.66, 2.392, 3.346, 4.533, 5.953",\
                 "0.253, 0.321, 0.498, 0.7542, 1.127, 1.659, 2.394, 3.348, 4.53, 5.958",\
                 "0.253, 0.321, 0.4982, 0.7544, 1.127, 1.66, 2.392, 3.346, 4.534, 5.96",\
                 "0.2526, 0.321, 0.498, 0.7544, 1.127, 1.66, 2.393, 3.349, 4.533, 5.96",\
                 "0.2526, 0.3214, 0.4984, 0.7544, 1.127, 1.66, 2.395, 3.348, 4.53, 5.959",\
                 "0.2536, 0.322, 0.4988, 0.7542, 1.128, 1.66, 2.393, 3.349, 4.533, 5.955",\
                 "0.254, 0.3226, 0.4994, 0.7552, 1.127, 1.659, 2.392, 3.347, 4.533, 5.959",\
                 "0.2548, 0.3232, 0.5002, 0.7558, 1.128, 1.66, 2.392, 3.345, 4.529, 5.954",\
                 "0.256, 0.3244, 0.5012, 0.7572, 1.129, 1.661, 2.394, 3.345, 4.53, 5.952",\
                 "0.2578, 0.3264, 0.503, 0.758, 1.129, 1.66, 2.392, 3.347, 4.532, 5.952");
        }

        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.04539, 0.1114, 0.2142, 0.3584, 0.5482, 0.7873, 1.079, 1.427");
          values("0.2082, 0.2858, 0.5182, 0.9798, 1.745, 2.845, 4.291, 6.117, 8.339, 10.99",\
                 "0.2076, 0.2858, 0.519, 0.979, 1.747, 2.845, 4.293, 6.11, 8.347, 11.01",\
                 "0.2076, 0.2872, 0.5194, 0.98, 1.747, 2.845, 4.29, 6.117, 8.339, 10.99",\
                 "0.2076, 0.286, 0.5196, 0.9788, 1.747, 2.845, 4.291, 6.116, 8.34, 10.99",\
                 "0.2074, 0.286, 0.518, 0.9784, 1.747, 2.845, 4.291, 6.117, 8.35, 11.01",\
                 "0.208, 0.2862, 0.5196, 0.9788, 1.746, 2.845, 4.291, 6.117, 8.339, 10.99",\
                 "0.211, 0.289, 0.5186, 0.9798, 1.745, 2.845, 4.29, 6.119, 8.344, 11.01",\
                 "0.214, 0.2928, 0.5232, 0.9812, 1.745, 2.84, 4.293, 6.113, 8.348, 11",\
                 "0.219, 0.2966, 0.5268, 0.982, 1.746, 2.844, 4.286, 6.108, 8.35, 11",\
                 "0.222, 0.3, 0.53, 0.984, 1.75, 2.842, 4.286, 6.11, 8.338, 10.99");
        }
      }

      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.04539, 0.1114, 0.2142, 0.3584, 0.5482, 0.7873, 1.079, 1.427");
          values("2.799, 2.861, 3.012, 3.22, 3.495, 3.86, 4.333, 4.929, 5.656, 6.522",\
                 "2.821, 2.883, 3.035, 3.243, 3.517, 3.882, 4.356, 4.951, 5.678, 6.544",\
                 "2.886, 2.948, 3.099, 3.307, 3.582, 3.947, 4.42, 5.016, 5.743, 6.609",\
                 "2.951, 3.013, 3.165, 3.372, 3.647, 4.012, 4.486, 5.081, 5.808, 6.674",\
                 "2.982, 3.044, 3.196, 3.403, 3.679, 4.043, 4.517, 5.113, 5.84, 6.706",\
                 "2.979, 3.042, 3.193, 3.401, 3.676, 4.04, 4.514, 5.11, 5.837, 6.703",\
                 "2.924, 2.986, 3.137, 3.345, 3.62, 3.985, 4.458, 5.054, 5.781, 6.647",\
                 "2.813, 2.875, 3.027, 3.236, 3.51, 3.875, 4.349, 4.944, 5.671, 6.537",\
                 "2.648, 2.71, 2.861, 3.069, 3.344, 3.709, 4.183, 4.779, 5.506, 6.371",\
                 "2.422, 2.485, 2.636, 2.844, 3.119, 3.484, 3.958, 4.553, 5.28, 6.146");
        }

        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.04539, 0.1114, 0.2142, 0.3584, 0.5482, 0.7873, 1.079, 1.427");
          values("2.121, 2.196, 2.392, 2.702, 3.165, 3.81, 4.657, 5.725, 7.028, 8.58",\
                 "2.142, 2.217, 2.413, 2.724, 3.186, 3.831, 4.679, 5.746, 7.049, 8.602",\
                 "2.214, 2.289, 2.486, 2.796, 3.259, 3.904, 4.752, 5.819, 7.122, 8.674",\
                 "2.377, 2.452, 2.649, 2.959, 3.422, 4.067, 4.915, 5.982, 7.285, 8.837",\
                 "2.655, 2.73, 2.926, 3.236, 3.699, 4.344, 5.192, 6.259, 7.561, 9.115",\
                 "3.054, 3.129, 3.326, 3.636, 4.098, 4.743, 5.591, 6.659, 7.962, 9.514",\
                 "3.547, 3.623, 3.821, 4.131, 4.593, 5.238, 6.086, 7.153, 8.455, 10.01",\
                 "4.1, 4.176, 4.374, 4.686, 5.147, 5.792, 6.64, 7.706, 9.009, 10.56",\
                 "4.713, 4.791, 4.989, 5.301, 5.762, 6.407, 7.255, 8.321, 9.624, 11.18",\
                 "5.396, 5.474, 5.675, 5.986, 6.448, 7.093, 7.94, 9.007, 10.31, 11.86");
        }

        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.04539, 0.1114, 0.2142, 0.3584, 0.5482, 0.7873, 1.079, 1.427");
          values("0.253, 0.3212, 0.498, 0.7544, 1.126, 1.66, 2.392, 3.346, 4.533, 5.953",\
                 "0.253, 0.321, 0.498, 0.7542, 1.127, 1.659, 2.394, 3.348, 4.53, 5.958",\
                 "0.253, 0.321, 0.4982, 0.7544, 1.127, 1.66, 2.392, 3.346, 4.534, 5.96",\
                 "0.2526, 0.321, 0.498, 0.7544, 1.127, 1.66, 2.393, 3.349, 4.533, 5.96",\
                 "0.2526, 0.3214, 0.4984, 0.7544, 1.127, 1.66, 2.395, 3.348, 4.53, 5.959",\
                 "0.2536, 0.322, 0.4988, 0.7542, 1.128, 1.66, 2.393, 3.349, 4.533, 5.955",\
                 "0.254, 0.3226, 0.4994, 0.7552, 1.127, 1.659, 2.392, 3.347, 4.533, 5.959",\
                 "0.2548, 0.3232, 0.5002, 0.7558, 1.128, 1.66, 2.392, 3.345, 4.529, 5.954",\
                 "0.256, 0.3244, 0.5012, 0.7572, 1.129, 1.661, 2.394, 3.345, 4.53, 5.952",\
                 "0.2578, 0.3264, 0.503, 0.758, 1.129, 1.66, 2.392, 3.347, 4.532, 5.952");
        }

        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.04539, 0.1114, 0.2142, 0.3584, 0.5482, 0.7873, 1.079, 1.427");
          values("0.1832, 0.2604, 0.4982, 0.969, 1.74, 2.843, 4.295, 6.125, 8.359, 11.01",\
                 "0.1834, 0.2604, 0.4976, 0.9676, 1.742, 2.84, 4.295, 6.126, 8.347, 11.02",\
                 "0.1828, 0.2602, 0.4984, 0.9672, 1.741, 2.843, 4.287, 6.125, 8.35, 11.02",\
                 "0.1832, 0.2608, 0.4986, 0.9674, 1.74, 2.841, 4.293, 6.121, 8.357, 11.01",\
                 "0.1832, 0.2604, 0.4978, 0.9692, 1.742, 2.843, 4.291, 6.118, 8.36, 11",\
                 "0.183, 0.2608, 0.4984, 0.9688, 1.74, 2.841, 4.292, 6.122, 8.357, 11.01",\
                 "0.1836, 0.261, 0.498, 0.969, 1.742, 2.843, 4.289, 6.125, 8.353, 11",\
                 "0.1832, 0.2606, 0.4976, 0.9678, 1.74, 2.839, 4.288, 6.122, 8.354, 11",\
                 "0.1844, 0.26, 0.498, 0.9698, 1.741, 2.836, 4.284, 6.118, 8.344, 11.01",\
                 "0.184, 0.26, 0.498, 0.966, 1.742, 2.84, 4.282, 6.106, 8.344, 11");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09579, 0.3618, 0.8698, 1.661, 2.772, 4.233, 6.074, 8.321, 11");
          index_2("0.001, 0.01084, 0.04539, 0.1114, 0.2142, 0.3584, 0.5482, 0.7873, 1.079, 1.427");
          values("2.224, 2.301, 2.494, 2.753, 3.071, 3.463, 3.95, 4.55, 5.277, 6.144",\
                 "2.239, 2.316, 2.509, 2.768, 3.086, 3.478, 3.965, 4.564, 5.292, 6.158",\
                 "2.301, 2.379, 2.571, 2.83, 3.148, 3.54, 4.027, 4.627, 5.354, 6.22",\
                 "2.429, 2.506, 2.699, 2.958, 3.276, 3.668, 4.155, 4.754, 5.482, 6.348",\
                 "2.639, 2.716, 2.909, 3.168, 3.487, 3.879, 4.365, 4.965, 5.692, 6.559",\
                 "2.923, 3, 3.193, 3.452, 3.77, 4.162, 4.648, 5.248, 5.976, 6.842",\
                 "3.274, 3.351, 3.544, 3.803, 4.121, 4.513, 5, 5.599, 6.327, 7.193",\
                 "3.698, 3.775, 3.968, 4.226, 4.544, 4.936, 5.423, 6.023, 6.751, 7.617",\
                 "4.197, 4.275, 4.468, 4.726, 5.044, 5.437, 5.923, 6.523, 7.25, 8.117",\
                 "4.774, 4.852, 5.044, 5.303, 5.622, 6.014, 6.5, 7.1, 7.828, 8.694");
        }

        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.04539, 0.1114, 0.2142, 0.3584, 0.5482, 0.7873, 1.079, 1.427");
          values("2.514, 2.589, 2.786, 3.096, 3.559, 4.204, 5.052, 6.119, 7.422, 8.975",\
                 "2.537, 2.612, 2.809, 3.119, 3.581, 4.226, 5.074, 6.141, 7.444, 8.998",\
                 "2.601, 2.676, 2.873, 3.184, 3.646, 4.291, 5.139, 6.206, 7.508, 9.062",\
                 "2.666, 2.741, 2.938, 3.249, 3.711, 4.356, 5.204, 6.271, 7.574, 9.126",\
                 "2.697, 2.772, 2.969, 3.28, 3.742, 4.387, 5.235, 6.302, 7.605, 9.158",\
                 "2.691, 2.766, 2.963, 3.274, 3.736, 4.381, 5.229, 6.296, 7.598, 9.152",\
                 "2.634, 2.708, 2.905, 3.216, 3.678, 4.323, 5.171, 6.238, 7.542, 9.094",\
                 "2.523, 2.598, 2.795, 3.105, 3.567, 4.213, 5.061, 6.128, 7.43, 8.983",\
                 "2.358, 2.433, 2.629, 2.939, 3.401, 4.047, 4.894, 5.962, 7.264, 8.816",\
                 "2.132, 2.207, 2.405, 2.715, 3.177, 3.822, 4.67, 5.736, 7.039, 8.591");
        }

        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.04539, 0.1114, 0.2142, 0.3584, 0.5482, 0.7873, 1.079, 1.427");
          values("0.2526, 0.3206, 0.4978, 0.754, 1.127, 1.659, 2.392, 3.348, 4.532, 5.955",\
                 "0.2524, 0.3206, 0.4978, 0.7538, 1.127, 1.658, 2.392, 3.348, 4.534, 5.958",\
                 "0.2522, 0.3206, 0.4978, 0.754, 1.126, 1.659, 2.394, 3.346, 4.534, 5.96",\
                 "0.2524, 0.3208, 0.4978, 0.7538, 1.126, 1.658, 2.392, 3.346, 4.534, 5.959",\
                 "0.2524, 0.3208, 0.4982, 0.754, 1.127, 1.66, 2.392, 3.347, 4.533, 5.956",\
                 "0.2526, 0.321, 0.498, 0.7538, 1.126, 1.658, 2.393, 3.349, 4.533, 5.954",\
                 "0.2522, 0.3208, 0.498, 0.7542, 1.126, 1.658, 2.393, 3.348, 4.536, 5.96",\
                 "0.2524, 0.321, 0.4974, 0.7536, 1.126, 1.66, 2.391, 3.347, 4.533, 5.96",\
                 "0.253, 0.3206, 0.4978, 0.7536, 1.127, 1.658, 2.39, 3.344, 4.53, 5.958",\
                 "0.254, 0.322, 0.498, 0.754, 1.128, 1.658, 2.39, 3.348, 4.53, 5.95");
        }

        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.04539, 0.1114, 0.2142, 0.3584, 0.5482, 0.7873, 1.079, 1.427");
          values("0.2086, 0.287, 0.5184, 0.9788, 1.747, 2.845, 4.292, 6.113, 8.343, 11",\
                 "0.2084, 0.2868, 0.52, 0.9804, 1.747, 2.842, 4.291, 6.117, 8.35, 11.01",\
                 "0.209, 0.2868, 0.5198, 0.9802, 1.746, 2.842, 4.291, 6.117, 8.35, 11.01",\
                 "0.209, 0.2872, 0.5196, 0.9788, 1.747, 2.845, 4.288, 6.119, 8.345, 11.01",\
                 "0.2096, 0.2868, 0.52, 0.9784, 1.747, 2.845, 4.291, 6.115, 8.347, 11.01",\
                 "0.2092, 0.2864, 0.5198, 0.9804, 1.746, 2.841, 4.29, 6.118, 8.348, 11.01",\
                 "0.2078, 0.286, 0.5178, 0.9794, 1.745, 2.842, 4.29, 6.113, 8.341, 11",\
                 "0.2082, 0.2866, 0.518, 0.9788, 1.747, 2.84, 4.288, 6.116, 8.346, 11",\
                 "0.2076, 0.286, 0.5192, 0.9786, 1.746, 2.843, 4.286, 6.108, 8.334, 11",\
                 "0.2082, 0.286, 0.5192, 0.9788, 1.745, 2.842, 4.286, 6.11, 8.334, 10.99");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09579, 0.3618, 0.8698, 1.661, 2.772, 4.233, 6.074, 8.321, 11");
          index_2("0.001, 0.01084, 0.04539, 0.1114, 0.2142, 0.3584, 0.5482, 0.7873, 1.079, 1.427");
          values("2.412, 2.475, 2.626, 2.834, 3.109, 3.474, 3.947, 4.543, 5.27, 6.136",\
                 "2.433, 2.496, 2.647, 2.855, 3.13, 3.495, 3.968, 4.564, 5.291, 6.157",\
                 "2.506, 2.569, 2.72, 2.928, 3.203, 3.568, 4.041, 4.637, 5.364, 6.23",\
                 "2.669, 2.731, 2.883, 3.091, 3.366, 3.731, 4.204, 4.8, 5.527, 6.393",\
                 "2.946, 3.009, 3.16, 3.368, 3.643, 4.008, 4.481, 5.077, 5.804, 6.67",\
                 "3.342, 3.405, 3.556, 3.764, 4.039, 4.404, 4.878, 5.473, 6.2, 7.066",\
                 "3.825, 3.887, 4.038, 4.247, 4.521, 4.886, 5.36, 5.956, 6.682, 7.548",\
                 "4.36, 4.423, 4.574, 4.782, 5.057, 5.421, 5.896, 6.492, 7.217, 8.084",\
                 "4.957, 5.019, 5.17, 5.378, 5.653, 6.018, 6.492, 7.087, 7.813, 8.68",\
                 "5.624, 5.687, 5.838, 6.045, 6.32, 6.685, 7.158, 7.754, 8.48, 9.346");
        }

        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.04539, 0.1114, 0.2142, 0.3584, 0.5482, 0.7873, 1.079, 1.427");
          values("1.638, 1.708, 1.898, 2.206, 2.669, 3.314, 4.163, 5.232, 6.537, 8.091",\
                 "1.656, 1.727, 1.917, 2.225, 2.687, 3.333, 4.181, 5.247, 6.554, 8.104",\
                 "1.722, 1.793, 1.983, 2.291, 2.753, 3.399, 4.247, 5.316, 6.621, 8.176",\
                 "1.843, 1.913, 2.104, 2.411, 2.874, 3.519, 4.368, 5.436, 6.742, 8.296",\
                 "1.971, 2.042, 2.232, 2.54, 3.003, 3.648, 4.496, 5.566, 6.868, 8.423",\
                 "2.064, 2.135, 2.324, 2.633, 3.095, 3.74, 4.588, 5.658, 6.962, 8.516",\
                 "2.115, 2.185, 2.375, 2.683, 3.145, 3.79, 4.639, 5.706, 7.012, 8.568",\
                 "2.119, 2.19, 2.38, 2.688, 3.15, 3.795, 4.643, 5.71, 7.013, 8.569",\
                 "2.073, 2.143, 2.333, 2.642, 3.104, 3.749, 4.597, 5.664, 6.966, 8.518",\
                 "1.968, 2.039, 2.229, 2.537, 3, 3.646, 4.493, 5.561, 6.862, 8.414");
        }

        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.04539, 0.1114, 0.2142, 0.3584, 0.5482, 0.7873, 1.079, 1.427");
          values("0.1814, 0.2352, 0.3724, 0.607, 0.9874, 1.555, 2.326, 3.307, 4.505, 5.934",\
                 "0.1814, 0.2356, 0.3728, 0.6072, 0.9894, 1.557, 2.326, 3.306, 4.506, 5.934",\
                 "0.1814, 0.2352, 0.3724, 0.6074, 0.9884, 1.556, 2.326, 3.306, 4.506, 5.934",\
                 "0.1814, 0.2354, 0.3722, 0.6074, 0.9886, 1.556, 2.326, 3.303, 4.504, 5.934",\
                 "0.1814, 0.2354, 0.3722, 0.6068, 0.9888, 1.556, 2.326, 3.306, 4.506, 5.934",\
                 "0.1814, 0.2354, 0.3728, 0.6074, 0.9888, 1.556, 2.326, 3.307, 4.504, 5.934",\
                 "0.1816, 0.2354, 0.3732, 0.6074, 0.9886, 1.556, 2.326, 3.307, 4.499, 5.93",\
                 "0.1814, 0.235, 0.3728, 0.6072, 0.9892, 1.556, 2.326, 3.305, 4.504, 5.928",\
                 "0.1824, 0.2348, 0.372, 0.606, 0.988, 1.556, 2.324, 3.302, 4.5, 5.932",\
                 "0.182, 0.236, 0.372, 0.606, 0.988, 1.556, 2.324, 3.302, 4.5, 5.924");
        }

        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.04539, 0.1114, 0.2142, 0.3584, 0.5482, 0.7873, 1.079, 1.427");
          values("0.183, 0.2604, 0.4978, 0.969, 1.739, 2.841, 4.293, 6.12, 8.347, 11.01",\
                 "0.1836, 0.2608, 0.497, 0.9694, 1.741, 2.843, 4.29, 6.126, 8.361, 11.03",\
                 "0.1828, 0.2606, 0.4986, 0.969, 1.739, 2.841, 4.294, 6.12, 8.347, 11.02",\
                 "0.183, 0.261, 0.4978, 0.9688, 1.742, 2.841, 4.291, 6.122, 8.35, 11.02",\
                 "0.1828, 0.2604, 0.4986, 0.969, 1.742, 2.838, 4.295, 6.12, 8.359, 11.02",\
                 "0.1832, 0.26, 0.4986, 0.969, 1.74, 2.838, 4.295, 6.121, 8.354, 11.01",\
                 "0.1828, 0.2608, 0.4982, 0.9676, 1.74, 2.838, 4.287, 6.122, 8.352, 11.02",\
                 "0.1836, 0.261, 0.4978, 0.9692, 1.739, 2.84, 4.284, 6.111, 8.349, 11",\
                 "0.1838, 0.261, 0.4984, 0.9684, 1.74, 2.839, 4.288, 6.108, 8.337, 11",\
                 "0.1836, 0.2614, 0.4986, 0.9672, 1.739, 2.839, 4.29, 6.106, 8.332, 10.99");
        }
      }

      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.04539, 0.1114, 0.2142, 0.3584, 0.5482, 0.7873, 1.079, 1.427");
          values("2.412, 2.475, 2.626, 2.834, 3.109, 3.474, 3.947, 4.543, 5.27, 6.136",\
                 "2.433, 2.496, 2.647, 2.855, 3.13, 3.495, 3.968, 4.564, 5.291, 6.157",\
                 "2.506, 2.569, 2.72, 2.928, 3.203, 3.568, 4.041, 4.637, 5.364, 6.23",\
                 "2.669, 2.731, 2.883, 3.091, 3.366, 3.731, 4.204, 4.8, 5.527, 6.393",\
                 "2.946, 3.009, 3.16, 3.368, 3.643, 4.008, 4.481, 5.077, 5.804, 6.67",\
                 "3.342, 3.405, 3.556, 3.764, 4.039, 4.404, 4.878, 5.473, 6.2, 7.066",\
                 "3.825, 3.887, 4.038, 4.247, 4.521, 4.886, 5.36, 5.956, 6.682, 7.548",\
                 "4.36, 4.423, 4.574, 4.782, 5.057, 5.421, 5.896, 6.492, 7.217, 8.084",\
                 "4.957, 5.019, 5.17, 5.378, 5.653, 6.018, 6.492, 7.087, 7.813, 8.68",\
                 "5.624, 5.687, 5.838, 6.045, 6.32, 6.685, 7.158, 7.754, 8.48, 9.346");
        }

        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.04539, 0.1114, 0.2142, 0.3584, 0.5482, 0.7873, 1.079, 1.427");
          values("2.514, 2.589, 2.786, 3.096, 3.559, 4.204, 5.052, 6.119, 7.422, 8.975",\
                 "2.537, 2.612, 2.809, 3.119, 3.581, 4.226, 5.074, 6.141, 7.444, 8.998",\
                 "2.601, 2.676, 2.873, 3.184, 3.646, 4.291, 5.139, 6.206, 7.508, 9.062",\
                 "2.666, 2.741, 2.938, 3.249, 3.711, 4.356, 5.204, 6.271, 7.574, 9.126",\
                 "2.697, 2.772, 2.969, 3.28, 3.742, 4.387, 5.235, 6.302, 7.605, 9.158",\
                 "2.691, 2.766, 2.963, 3.274, 3.736, 4.381, 5.229, 6.296, 7.598, 9.152",\
                 "2.634, 2.708, 2.905, 3.216, 3.678, 4.323, 5.171, 6.238, 7.542, 9.094",\
                 "2.523, 2.598, 2.795, 3.105, 3.567, 4.213, 5.061, 6.128, 7.43, 8.983",\
                 "2.358, 2.433, 2.629, 2.939, 3.401, 4.047, 4.894, 5.962, 7.264, 8.816",\
                 "2.132, 2.207, 2.405, 2.715, 3.177, 3.822, 4.67, 5.736, 7.039, 8.591");
        }

        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.04539, 0.1114, 0.2142, 0.3584, 0.5482, 0.7873, 1.079, 1.427");
          values("0.2526, 0.3206, 0.4978, 0.754, 1.127, 1.659, 2.392, 3.348, 4.532, 5.955",\
                 "0.2524, 0.3206, 0.4978, 0.7538, 1.127, 1.658, 2.392, 3.348, 4.534, 5.958",\
                 "0.2522, 0.3206, 0.4978, 0.754, 1.126, 1.659, 2.394, 3.346, 4.534, 5.96",\
                 "0.2524, 0.3208, 0.4978, 0.7538, 1.126, 1.658, 2.392, 3.346, 4.534, 5.959",\
                 "0.2524, 0.3208, 0.4982, 0.754, 1.127, 1.66, 2.392, 3.347, 4.533, 5.956",\
                 "0.2526, 0.321, 0.498, 0.7538, 1.126, 1.658, 2.393, 3.349, 4.533, 5.954",\
                 "0.2522, 0.3208, 0.498, 0.7542, 1.126, 1.658, 2.393, 3.348, 4.536, 5.96",\
                 "0.2524, 0.321, 0.4974, 0.7536, 1.126, 1.66, 2.391, 3.347, 4.533, 5.96",\
                 "0.253, 0.3206, 0.4978, 0.7536, 1.127, 1.658, 2.39, 3.344, 4.53, 5.958",\
                 "0.254, 0.322, 0.498, 0.754, 1.128, 1.658, 2.39, 3.348, 4.53, 5.95");
        }

        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.04539, 0.1114, 0.2142, 0.3584, 0.5482, 0.7873, 1.079, 1.427");
          values("0.183, 0.2604, 0.4978, 0.969, 1.739, 2.841, 4.293, 6.12, 8.347, 11.01",\
                 "0.1836, 0.2608, 0.497, 0.9694, 1.741, 2.843, 4.29, 6.126, 8.361, 11.03",\
                 "0.1828, 0.2606, 0.4986, 0.969, 1.739, 2.841, 4.294, 6.12, 8.347, 11.02",\
                 "0.183, 0.261, 0.4978, 0.9688, 1.742, 2.841, 4.291, 6.122, 8.35, 11.02",\
                 "0.1828, 0.2604, 0.4986, 0.969, 1.742, 2.838, 4.295, 6.12, 8.359, 11.02",\
                 "0.1832, 0.26, 0.4986, 0.969, 1.74, 2.838, 4.295, 6.121, 8.354, 11.01",\
                 "0.1828, 0.2608, 0.4982, 0.9676, 1.74, 2.838, 4.287, 6.122, 8.352, 11.02",\
                 "0.1836, 0.261, 0.4978, 0.9692, 1.739, 2.84, 4.284, 6.111, 8.349, 11",\
                 "0.1838, 0.261, 0.4984, 0.9684, 1.74, 2.839, 4.288, 6.108, 8.337, 11",\
                 "0.1836, 0.2614, 0.4986, 0.9672, 1.739, 2.839, 4.29, 6.106, 8.332, 10.99");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09579, 0.3618, 0.8698, 1.661, 2.772, 4.233, 6.074, 8.321, 11");
          index_2("0.001, 0.01084, 0.04539, 0.1114, 0.2142, 0.3584, 0.5482, 0.7873, 1.079, 1.427");
          values("2.701, 2.764, 2.915, 3.123, 3.397, 3.762, 4.236, 4.832, 5.558, 6.424",\
                 "2.723, 2.786, 2.937, 3.145, 3.42, 3.785, 4.258, 4.854, 5.581, 6.447",\
                 "2.79, 2.852, 3.003, 3.211, 3.486, 3.851, 4.325, 4.92, 5.647, 6.513",\
                 "2.852, 2.915, 3.066, 3.274, 3.549, 3.914, 4.388, 4.983, 5.71, 6.576",\
                 "2.877, 2.94, 3.091, 3.299, 3.574, 3.939, 4.413, 5.008, 5.735, 6.601",\
                 "2.858, 2.92, 3.071, 3.28, 3.554, 3.919, 4.393, 4.989, 5.716, 6.582",\
                 "2.789, 2.851, 3.002, 3.211, 3.485, 3.85, 4.324, 4.92, 5.646, 6.512",\
                 "2.659, 2.722, 2.873, 3.081, 3.357, 3.72, 4.194, 4.79, 5.516, 6.383",\
                 "2.469, 2.531, 2.682, 2.89, 3.165, 3.53, 4.003, 4.599, 5.326, 6.192",\
                 "2.21, 2.272, 2.423, 2.631, 2.905, 3.271, 3.745, 4.341, 5.068, 5.933");
        }

        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.04539, 0.1114, 0.2142, 0.3584, 0.5482, 0.7873, 1.079, 1.427");
          values("2.345, 2.415, 2.605, 2.914, 3.376, 4.021, 4.87, 5.939, 7.238, 8.795",\
                 "2.355, 2.425, 2.615, 2.923, 3.386, 4.031, 4.879, 5.948, 7.251, 8.804",\
                 "2.428, 2.499, 2.689, 2.997, 3.46, 4.104, 4.953, 6.022, 7.326, 8.876",\
                 "2.606, 2.677, 2.867, 3.175, 3.638, 4.283, 5.131, 6.2, 7.503, 9.054",\
                 "2.89, 2.961, 3.151, 3.459, 3.921, 4.567, 5.415, 6.485, 7.785, 9.34",\
                 "3.25, 3.32, 3.51, 3.818, 4.28, 4.926, 5.775, 6.844, 8.146, 9.698",\
                 "3.666, 3.736, 3.927, 4.235, 4.697, 5.343, 6.19, 7.26, 8.56, 10.12",\
                 "4.149, 4.219, 4.409, 4.717, 5.18, 5.824, 6.672, 7.741, 9.044, 10.6",\
                 "4.71, 4.781, 4.971, 5.28, 5.741, 6.386, 7.234, 8.301, 9.604, 11.16",\
                 "5.357, 5.427, 5.617, 5.925, 6.388, 7.033, 7.881, 8.948, 10.25, 11.8");
        }

        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.04539, 0.1114, 0.2142, 0.3584, 0.5482, 0.7873, 1.079, 1.427");
          values("0.1812, 0.2354, 0.3722, 0.6064, 0.9888, 1.556, 2.326, 3.304, 4.505, 5.93",\
                 "0.1816, 0.2352, 0.3728, 0.6076, 0.9884, 1.556, 2.326, 3.303, 4.504, 5.934",\
                 "0.1814, 0.2352, 0.3722, 0.6076, 0.9876, 1.555, 2.326, 3.303, 4.504, 5.934",\
                 "0.1816, 0.2356, 0.3722, 0.6062, 0.9894, 1.557, 2.326, 3.305, 4.502, 5.931",\
                 "0.1816, 0.2352, 0.372, 0.607, 0.9892, 1.556, 2.326, 3.304, 4.502, 5.934",\
                 "0.1816, 0.2354, 0.3722, 0.6064, 0.9894, 1.555, 2.326, 3.304, 4.503, 5.931",\
                 "0.1818, 0.2352, 0.3724, 0.6068, 0.9898, 1.556, 2.326, 3.306, 4.506, 5.934",\
                 "0.1816, 0.2354, 0.3718, 0.6064, 0.9882, 1.556, 2.324, 3.301, 4.502, 5.93",\
                 "0.1816, 0.2354, 0.373, 0.6072, 0.988, 1.557, 2.324, 3.301, 4.497, 5.922",\
                 "0.1814, 0.2352, 0.373, 0.6072, 0.9884, 1.555, 2.326, 3.304, 4.496, 5.922");
        }

        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.04539, 0.1114, 0.2142, 0.3584, 0.5482, 0.7873, 1.079, 1.427");
          values("0.1832, 0.2604, 0.498, 0.9686, 1.741, 2.838, 4.295, 6.115, 8.359, 11",\
                 "0.183, 0.2616, 0.4974, 0.9674, 1.742, 2.841, 4.295, 6.123, 8.357, 11.01",\
                 "0.1832, 0.2602, 0.4976, 0.967, 1.741, 2.841, 4.295, 6.119, 8.35, 11.02",\
                 "0.1834, 0.2606, 0.4986, 0.9688, 1.739, 2.842, 4.295, 6.123, 8.355, 11.01",\
                 "0.1832, 0.2606, 0.4978, 0.9678, 1.742, 2.84, 4.294, 6.117, 8.359, 11",\
                 "0.1828, 0.2604, 0.4984, 0.9684, 1.739, 2.841, 4.293, 6.121, 8.356, 11.01",\
                 "0.1836, 0.2604, 0.4978, 0.9674, 1.741, 2.843, 4.29, 6.118, 8.359, 11.01",\
                 "0.1828, 0.2602, 0.497, 0.9688, 1.74, 2.84, 4.288, 6.118, 8.346, 11.02",\
                 "0.1834, 0.2604, 0.4976, 0.968, 1.742, 2.836, 4.29, 6.116, 8.346, 11.01",\
                 "0.184, 0.26, 0.498, 0.968, 1.74, 2.84, 4.286, 6.108, 8.34, 11");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09579, 0.3618, 0.8698, 1.661, 2.772, 4.233, 6.074, 8.321, 11");
          index_2("0.001, 0.01084, 0.04539, 0.1114, 0.2142, 0.3584, 0.5482, 0.7873, 1.079, 1.427");
          values("1.467, 1.544, 1.737, 1.996, 2.314, 2.706, 3.193, 3.792, 4.52, 5.387",\
                 "1.485, 1.562, 1.755, 2.014, 2.332, 2.724, 3.211, 3.81, 4.538, 5.404",\
                 "1.53, 1.608, 1.801, 2.059, 2.378, 2.77, 3.256, 3.856, 4.583, 5.45",\
                 "1.608, 1.685, 1.878, 2.137, 2.455, 2.847, 3.333, 3.933, 4.661, 5.527",\
                 "1.688, 1.765, 1.958, 2.217, 2.535, 2.927, 3.414, 4.014, 4.741, 5.608",\
                 "1.742, 1.819, 2.012, 2.272, 2.59, 2.982, 3.468, 4.068, 4.796, 5.662",\
                 "1.756, 1.833, 2.026, 2.286, 2.604, 2.996, 3.482, 4.082, 4.81, 5.676",\
                 "1.721, 1.798, 1.992, 2.251, 2.57, 2.961, 3.448, 4.048, 4.775, 5.641",\
                 "1.63, 1.707, 1.901, 2.161, 2.479, 2.872, 3.358, 3.958, 4.685, 5.552",\
                 "1.478, 1.556, 1.75, 2.011, 2.329, 2.722, 3.208, 3.808, 4.536, 5.402");
        }

        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.04539, 0.1114, 0.2142, 0.3584, 0.5482, 0.7873, 1.079, 1.427");
          values("2.224, 2.299, 2.496, 2.807, 3.269, 3.914, 4.762, 5.829, 7.132, 8.685",\
                 "2.243, 2.318, 2.515, 2.825, 3.287, 3.932, 4.78, 5.847, 7.15, 8.704",\
                 "2.322, 2.398, 2.595, 2.905, 3.367, 4.012, 4.86, 5.927, 7.229, 8.784",\
                 "2.491, 2.566, 2.763, 3.073, 3.536, 4.181, 5.028, 6.096, 7.398, 8.951",\
                 "2.771, 2.846, 3.043, 3.353, 3.815, 4.46, 5.308, 6.375, 7.678, 9.231",\
                 "3.174, 3.25, 3.447, 3.758, 4.219, 4.865, 5.712, 6.78, 8.082, 9.636",\
                 "3.685, 3.76, 3.957, 4.268, 4.73, 5.375, 6.223, 7.29, 8.592, 10.14",\
                 "4.261, 4.336, 4.534, 4.845, 5.308, 5.953, 6.801, 7.868, 9.171, 10.72",\
                 "4.899, 4.975, 5.175, 5.485, 5.948, 6.592, 7.44, 8.508, 9.81, 11.36",\
                 "5.61, 5.687, 5.889, 6.201, 6.661, 7.306, 8.154, 9.221, 10.52, 12.08");
        }

        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.04539, 0.1114, 0.2142, 0.3584, 0.5482, 0.7873, 1.079, 1.427");
          values("0.2528, 0.3212, 0.4986, 0.7544, 1.127, 1.661, 2.392, 3.349, 4.534, 5.96",\
                 "0.253, 0.321, 0.4982, 0.7542, 1.127, 1.659, 2.392, 3.348, 4.534, 5.958",\
                 "0.2524, 0.321, 0.498, 0.7542, 1.127, 1.659, 2.391, 3.348, 4.533, 5.956",\
                 "0.2528, 0.3212, 0.4982, 0.754, 1.128, 1.66, 2.393, 3.348, 4.533, 5.957",\
                 "0.253, 0.3214, 0.4986, 0.7542, 1.127, 1.659, 2.393, 3.347, 4.534, 5.96",\
                 "0.2536, 0.3218, 0.4994, 0.7548, 1.126, 1.659, 2.394, 3.348, 4.53, 5.959",\
                 "0.2538, 0.3226, 0.4994, 0.7544, 1.126, 1.659, 2.391, 3.348, 4.534, 5.959",\
                 "0.2554, 0.3228, 0.5, 0.7556, 1.128, 1.659, 2.392, 3.344, 4.528, 5.954",\
                 "0.2562, 0.3244, 0.5014, 0.7566, 1.128, 1.66, 2.393, 3.345, 4.528, 5.95",\
                 "0.258, 0.326, 0.5034, 0.7582, 1.13, 1.662, 2.392, 3.345, 4.53, 5.956");
        }

        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.04539, 0.1114, 0.2142, 0.3584, 0.5482, 0.7873, 1.079, 1.427");
          values("0.2084, 0.2872, 0.5186, 0.9802, 1.746, 2.845, 4.293, 6.112, 8.346, 11",\
                 "0.209, 0.2872, 0.5198, 0.9798, 1.746, 2.845, 4.291, 6.117, 8.35, 11.01",\
                 "0.2084, 0.287, 0.5198, 0.9804, 1.746, 2.841, 4.291, 6.117, 8.35, 11.01",\
                 "0.2088, 0.2868, 0.5186, 0.9788, 1.747, 2.845, 4.288, 6.119, 8.345, 11.01",\
                 "0.2084, 0.2872, 0.5198, 0.9802, 1.747, 2.845, 4.287, 6.119, 8.35, 11.01",\
                 "0.2086, 0.287, 0.5198, 0.98, 1.747, 2.841, 4.291, 6.118, 8.349, 11.01",\
                 "0.2104, 0.2896, 0.52, 0.981, 1.746, 2.843, 4.288, 6.111, 8.344, 10.99",\
                 "0.214, 0.2932, 0.5238, 0.981, 1.745, 2.846, 4.292, 6.118, 8.342, 10.99",\
                 "0.218, 0.2968, 0.526, 0.982, 1.748, 2.84, 4.29, 6.12, 8.35, 11.01",\
                 "0.222, 0.3, 0.53, 0.984, 1.748, 2.842, 4.29, 6.114, 8.338, 11.01");
        }
      }

      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.04539, 0.1114, 0.2142, 0.3584, 0.5482, 0.7873, 1.079, 1.427");
          values("2.701, 2.764, 2.915, 3.123, 3.397, 3.762, 4.236, 4.832, 5.558, 6.424",\
                 "2.723, 2.786, 2.937, 3.145, 3.42, 3.785, 4.258, 4.854, 5.581, 6.447",\
                 "2.79, 2.852, 3.003, 3.211, 3.486, 3.851, 4.325, 4.92, 5.647, 6.513",\
                 "2.852, 2.915, 3.066, 3.274, 3.549, 3.914, 4.388, 4.983, 5.71, 6.576",\
                 "2.877, 2.94, 3.091, 3.299, 3.574, 3.939, 4.413, 5.008, 5.735, 6.601",\
                 "2.858, 2.92, 3.071, 3.28, 3.554, 3.919, 4.393, 4.989, 5.716, 6.582",\
                 "2.789, 2.851, 3.002, 3.211, 3.485, 3.85, 4.324, 4.92, 5.646, 6.512",\
                 "2.659, 2.722, 2.873, 3.081, 3.357, 3.72, 4.194, 4.79, 5.516, 6.383",\
                 "2.469, 2.531, 2.682, 2.89, 3.165, 3.53, 4.003, 4.599, 5.326, 6.192",\
                 "2.21, 2.272, 2.423, 2.631, 2.905, 3.271, 3.745, 4.341, 5.068, 5.933");
        }

        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.04539, 0.1114, 0.2142, 0.3584, 0.5482, 0.7873, 1.079, 1.427");
          values("2.224, 2.299, 2.496, 2.807, 3.269, 3.914, 4.762, 5.829, 7.132, 8.685",\
                 "2.243, 2.318, 2.515, 2.825, 3.287, 3.932, 4.78, 5.847, 7.15, 8.704",\
                 "2.322, 2.398, 2.595, 2.905, 3.367, 4.012, 4.86, 5.927, 7.229, 8.784",\
                 "2.491, 2.566, 2.763, 3.073, 3.536, 4.181, 5.028, 6.096, 7.398, 8.951",\
                 "2.771, 2.846, 3.043, 3.353, 3.815, 4.46, 5.308, 6.375, 7.678, 9.231",\
                 "3.174, 3.25, 3.447, 3.758, 4.219, 4.865, 5.712, 6.78, 8.082, 9.636",\
                 "3.685, 3.76, 3.957, 4.268, 4.73, 5.375, 6.223, 7.29, 8.592, 10.14",\
                 "4.261, 4.336, 4.534, 4.845, 5.308, 5.953, 6.801, 7.868, 9.171, 10.72",\
                 "4.899, 4.975, 5.175, 5.485, 5.948, 6.592, 7.44, 8.508, 9.81, 11.36",\
                 "5.61, 5.687, 5.889, 6.201, 6.661, 7.306, 8.154, 9.221, 10.52, 12.08");
        }

        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.04539, 0.1114, 0.2142, 0.3584, 0.5482, 0.7873, 1.079, 1.427");
          values("0.2528, 0.3212, 0.4986, 0.7544, 1.127, 1.661, 2.392, 3.349, 4.534, 5.96",\
                 "0.253, 0.321, 0.4982, 0.7542, 1.127, 1.659, 2.392, 3.348, 4.534, 5.958",\
                 "0.2524, 0.321, 0.498, 0.7542, 1.127, 1.659, 2.391, 3.348, 4.533, 5.956",\
                 "0.2528, 0.3212, 0.4982, 0.754, 1.128, 1.66, 2.393, 3.348, 4.533, 5.957",\
                 "0.253, 0.3214, 0.4986, 0.7542, 1.127, 1.659, 2.393, 3.347, 4.534, 5.96",\
                 "0.2536, 0.3218, 0.4994, 0.7548, 1.126, 1.659, 2.394, 3.348, 4.53, 5.959",\
                 "0.2538, 0.3226, 0.4994, 0.7544, 1.126, 1.659, 2.391, 3.348, 4.534, 5.959",\
                 "0.2554, 0.3228, 0.5, 0.7556, 1.128, 1.659, 2.392, 3.344, 4.528, 5.954",\
                 "0.2562, 0.3244, 0.5014, 0.7566, 1.128, 1.66, 2.393, 3.345, 4.528, 5.95",\
                 "0.258, 0.326, 0.5034, 0.7582, 1.13, 1.662, 2.392, 3.345, 4.53, 5.956");
        }

        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.04539, 0.1114, 0.2142, 0.3584, 0.5482, 0.7873, 1.079, 1.427");
          values("0.1832, 0.2604, 0.498, 0.9686, 1.741, 2.838, 4.295, 6.115, 8.359, 11",\
                 "0.183, 0.2616, 0.4974, 0.9674, 1.742, 2.841, 4.295, 6.123, 8.357, 11.01",\
                 "0.1832, 0.2602, 0.4976, 0.967, 1.741, 2.841, 4.295, 6.119, 8.35, 11.02",\
                 "0.1834, 0.2606, 0.4986, 0.9688, 1.739, 2.842, 4.295, 6.123, 8.355, 11.01",\
                 "0.1832, 0.2606, 0.4978, 0.9678, 1.742, 2.84, 4.294, 6.117, 8.359, 11",\
                 "0.1828, 0.2604, 0.4984, 0.9684, 1.739, 2.841, 4.293, 6.121, 8.356, 11.01",\
                 "0.1836, 0.2604, 0.4978, 0.9674, 1.741, 2.843, 4.29, 6.118, 8.359, 11.01",\
                 "0.1828, 0.2602, 0.497, 0.9688, 1.74, 2.84, 4.288, 6.118, 8.346, 11.02",\
                 "0.1834, 0.2604, 0.4976, 0.968, 1.742, 2.836, 4.29, 6.116, 8.346, 11.01",\
                 "0.184, 0.26, 0.498, 0.968, 1.74, 2.84, 4.286, 6.108, 8.34, 11");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09579, 0.3618, 0.8698, 1.661, 2.772, 4.233, 6.074, 8.321, 11");
          index_2("0.001, 0.01084, 0.04539, 0.1114, 0.2142, 0.3584, 0.5482, 0.7873, 1.079, 1.427");
          values("2.174, 2.251, 2.445, 2.703, 3.021, 3.414, 3.9, 4.5, 5.227, 6.093",\
                 "2.184, 2.262, 2.454, 2.713, 3.032, 3.423, 3.91, 4.509, 5.237, 6.103",\
                 "2.258, 2.335, 2.528, 2.787, 3.105, 3.497, 3.983, 4.583, 5.311, 6.177",\
                 "2.436, 2.513, 2.706, 2.965, 3.283, 3.675, 4.161, 4.761, 5.488, 6.355",\
                 "2.72, 2.797, 2.99, 3.249, 3.567, 3.959, 4.445, 5.045, 5.773, 6.639",\
                 "3.078, 3.155, 3.348, 3.607, 3.925, 4.317, 4.803, 5.403, 6.131, 6.997",\
                 "3.492, 3.569, 3.762, 4.02, 4.339, 4.73, 5.217, 5.817, 6.545, 7.411",\
                 "3.974, 4.051, 4.243, 4.503, 4.821, 5.213, 5.699, 6.299, 7.027, 7.893",\
                 "4.533, 4.611, 4.803, 5.063, 5.38, 5.773, 6.259, 6.859, 7.586, 8.453",\
                 "5.178, 5.255, 5.449, 5.707, 6.025, 6.418, 6.904, 7.503, 8.231, 9.097");
        }

        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.04539, 0.1114, 0.2142, 0.3584, 0.5482, 0.7873, 1.079, 1.427");
          values("2.409, 2.484, 2.681, 2.991, 3.453, 4.098, 4.946, 6.014, 7.316, 8.87",\
                 "2.431, 2.506, 2.703, 3.013, 3.476, 4.121, 4.969, 6.036, 7.338, 8.892",\
                 "2.498, 2.573, 2.769, 3.079, 3.542, 4.187, 5.034, 6.103, 7.406, 8.957",\
                 "2.56, 2.636, 2.832, 3.143, 3.605, 4.25, 5.098, 6.166, 7.468, 9.02",\
                 "2.586, 2.661, 2.857, 3.168, 3.63, 4.275, 5.123, 6.191, 7.493, 9.044",\
                 "2.566, 2.641, 2.837, 3.147, 3.61, 4.256, 5.103, 6.17, 7.473, 9.026",\
                 "2.496, 2.571, 2.768, 3.079, 3.541, 4.186, 5.034, 6.101, 7.404, 8.957",\
                 "2.368, 2.443, 2.64, 2.95, 3.413, 4.057, 4.905, 5.972, 7.276, 8.829",\
                 "2.177, 2.252, 2.449, 2.76, 3.221, 3.866, 4.714, 5.782, 7.084, 8.636",\
                 "1.919, 1.994, 2.19, 2.5, 2.963, 3.608, 4.456, 5.524, 6.826, 8.378");
        }

        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.04539, 0.1114, 0.2142, 0.3584, 0.5482, 0.7873, 1.079, 1.427");
          values("0.2522, 0.3208, 0.4978, 0.7538, 1.126, 1.658, 2.392, 3.348, 4.53, 5.954",\
                 "0.2524, 0.3206, 0.4978, 0.7538, 1.126, 1.66, 2.393, 3.348, 4.534, 5.958",\
                 "0.2526, 0.3206, 0.4982, 0.7538, 1.126, 1.659, 2.393, 3.348, 4.53, 5.96",\
                 "0.2526, 0.3208, 0.4976, 0.7538, 1.126, 1.659, 2.393, 3.348, 4.534, 5.959",\
                 "0.2526, 0.3208, 0.4974, 0.7538, 1.126, 1.658, 2.393, 3.345, 4.532, 5.959",\
                 "0.2526, 0.321, 0.498, 0.7536, 1.126, 1.659, 2.393, 3.348, 4.534, 5.957",\
                 "0.2526, 0.3206, 0.4976, 0.7538, 1.127, 1.658, 2.393, 3.348, 4.534, 5.954",\
                 "0.2524, 0.3206, 0.498, 0.754, 1.125, 1.659, 2.394, 3.35, 4.534, 5.954",\
                 "0.2524, 0.3208, 0.498, 0.7548, 1.126, 1.658, 2.39, 3.344, 4.532, 5.958",\
                 "0.252, 0.322, 0.498, 0.754, 1.128, 1.66, 2.39, 3.348, 4.532, 5.95");
        }

        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.04539, 0.1114, 0.2142, 0.3584, 0.5482, 0.7873, 1.079, 1.427");
          values("0.2074, 0.2862, 0.5172, 0.979, 1.746, 2.845, 4.287, 6.118, 8.35, 11",\
                 "0.2074, 0.2872, 0.5182, 0.9794, 1.746, 2.842, 4.291, 6.117, 8.35, 11.01",\
                 "0.2082, 0.2858, 0.5184, 0.9782, 1.747, 2.841, 4.292, 6.117, 8.34, 10.99",\
                 "0.2076, 0.287, 0.5194, 0.9786, 1.747, 2.845, 4.29, 6.117, 8.34, 10.99",\
                 "0.208, 0.286, 0.519, 0.9786, 1.747, 2.844, 4.292, 6.117, 8.337, 10.99",\
                 "0.2074, 0.2862, 0.5196, 0.9786, 1.747, 2.843, 4.286, 6.119, 8.346, 11.01",\
                 "0.2074, 0.287, 0.5188, 0.9782, 1.744, 2.844, 4.293, 6.116, 8.35, 11.01",\
                 "0.208, 0.286, 0.5186, 0.9786, 1.747, 2.84, 4.287, 6.117, 8.344, 11.01",\
                 "0.2082, 0.286, 0.5172, 0.9786, 1.746, 2.844, 4.287, 6.109, 8.332, 11.01",\
                 "0.2072, 0.2862, 0.5176, 0.9782, 1.746, 2.841, 4.292, 6.108, 8.334, 10.99");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09579, 0.3618, 0.8698, 1.661, 2.772, 4.233, 6.074, 8.321, 11");
          index_2("0.001, 0.01084, 0.04539, 0.1114, 0.2142, 0.3584, 0.5482, 0.7873, 1.079, 1.427");
          values("2.509, 2.571, 2.722, 2.93, 3.205, 3.57, 4.043, 4.639, 5.366, 6.232",\
                 "2.527, 2.589, 2.741, 2.949, 3.224, 3.589, 4.062, 4.658, 5.385, 6.251",\
                 "2.607, 2.669, 2.821, 3.029, 3.303, 3.668, 4.142, 4.738, 5.464, 6.33",\
                 "2.776, 2.838, 2.989, 3.197, 3.471, 3.836, 4.31, 4.906, 5.632, 6.498",\
                 "3.055, 3.117, 3.269, 3.477, 3.751, 4.116, 4.59, 5.186, 5.913, 6.779",\
                 "3.457, 3.521, 3.671, 3.879, 4.153, 4.519, 4.992, 5.587, 6.315, 7.18",\
                 "3.956, 4.019, 4.17, 4.378, 4.653, 5.018, 5.491, 6.087, 6.814, 7.679",\
                 "4.516, 4.577, 4.729, 4.936, 5.212, 5.577, 6.05, 6.646, 7.373, 8.239",\
                 "5.136, 5.198, 5.35, 5.557, 5.832, 6.197, 6.671, 7.266, 7.993, 8.859",\
                 "5.829, 5.891, 6.043, 6.251, 6.526, 6.89, 7.364, 7.959, 8.686, 9.552");
        }

        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.04539, 0.1114, 0.2142, 0.3584, 0.5482, 0.7873, 1.079, 1.427");
          values("1.653, 1.724, 1.914, 2.222, 2.685, 3.33, 4.178, 5.247, 6.549, 8.103",\
                 "1.671, 1.742, 1.932, 2.24, 2.702, 3.347, 4.195, 5.265, 6.567, 8.121",\
                 "1.717, 1.787, 1.977, 2.285, 2.748, 3.393, 4.241, 5.311, 6.615, 8.169",\
                 "1.797, 1.868, 2.057, 2.365, 2.828, 3.473, 4.321, 5.391, 6.694, 8.249",\
                 "1.887, 1.958, 2.148, 2.456, 2.918, 3.563, 4.412, 5.48, 6.786, 8.334",\
                 "1.952, 2.023, 2.212, 2.521, 2.983, 3.629, 4.477, 5.544, 6.847, 8.402",\
                 "1.977, 2.048, 2.238, 2.546, 3.008, 3.654, 4.502, 5.568, 6.875, 8.431",\
                 "1.955, 2.026, 2.216, 2.524, 2.986, 3.631, 4.479, 5.546, 6.849, 8.405",\
                 "1.879, 1.95, 2.14, 2.448, 2.91, 3.555, 4.403, 5.47, 6.773, 8.324",\
                 "1.741, 1.813, 2.003, 2.311, 2.773, 3.418, 4.266, 5.333, 6.636, 8.188");
        }

        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.04539, 0.1114, 0.2142, 0.3584, 0.5482, 0.7873, 1.079, 1.427");
          values("0.1814, 0.2358, 0.3722, 0.6074, 0.9874, 1.556, 2.326, 3.307, 4.506, 5.934",\
                 "0.1818, 0.2354, 0.3724, 0.607, 0.989, 1.556, 2.326, 3.306, 4.504, 5.934",\
                 "0.1816, 0.2356, 0.3726, 0.6076, 0.9892, 1.556, 2.326, 3.303, 4.505, 5.934",\
                 "0.1812, 0.2354, 0.3728, 0.6078, 0.9886, 1.555, 2.326, 3.302, 4.505, 5.928",\
                 "0.1814, 0.2352, 0.3722, 0.6072, 0.9878, 1.556, 2.326, 3.307, 4.503, 5.934",\
                 "0.1818, 0.2354, 0.3728, 0.607, 0.988, 1.556, 2.326, 3.304, 4.505, 5.933",\
                 "0.1816, 0.2352, 0.3724, 0.607, 0.9882, 1.556, 2.325, 3.305, 4.501, 5.931",\
                 "0.1814, 0.2352, 0.3726, 0.6068, 0.9874, 1.555, 2.325, 3.305, 4.505, 5.928",\
                 "0.182, 0.234, 0.374, 0.606, 0.986, 1.554, 2.324, 3.302, 4.5, 5.93",\
                 "0.182, 0.236, 0.374, 0.608, 0.988, 1.554, 2.322, 3.3, 4.5, 5.924");
        }

        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.04539, 0.1114, 0.2142, 0.3584, 0.5482, 0.7873, 1.079, 1.427");
          values("0.1834, 0.2604, 0.4972, 0.967, 1.741, 2.841, 4.294, 6.124, 8.361, 11.02",\
                 "0.1832, 0.2608, 0.4986, 0.9686, 1.742, 2.84, 4.295, 6.123, 8.36, 11.02",\
                 "0.1834, 0.2604, 0.4982, 0.9692, 1.741, 2.838, 4.295, 6.115, 8.354, 11.01",\
                 "0.1836, 0.2604, 0.4984, 0.9692, 1.742, 2.839, 4.295, 6.117, 8.356, 11.01",\
                 "0.183, 0.2612, 0.4986, 0.9692, 1.74, 2.838, 4.291, 6.123, 8.346, 11.03",\
                 "0.1832, 0.2606, 0.4986, 0.968, 1.74, 2.841, 4.289, 6.126, 8.364, 11.02",\
                 "0.1832, 0.2614, 0.4986, 0.969, 1.739, 2.84, 4.29, 6.121, 8.346, 11.01",\
                 "0.1836, 0.2608, 0.4976, 0.9688, 1.74, 2.84, 4.283, 6.116, 8.346, 11",\
                 "0.1834, 0.2604, 0.498, 0.9684, 1.741, 2.839, 4.285, 6.108, 8.333, 11",\
                 "0.1836, 0.261, 0.4992, 0.9692, 1.74, 2.843, 4.284, 6.114, 8.332, 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.04539, 0.1114, 0.2142, 0.3584, 0.5482, 0.7873, 1.079, 1.427");
          values("2.509, 2.571, 2.722, 2.93, 3.205, 3.57, 4.043, 4.639, 5.366, 6.232",\
                 "2.527, 2.589, 2.741, 2.949, 3.224, 3.589, 4.062, 4.658, 5.385, 6.251",\
                 "2.607, 2.669, 2.821, 3.029, 3.303, 3.668, 4.142, 4.738, 5.464, 6.33",\
                 "2.776, 2.838, 2.989, 3.197, 3.471, 3.836, 4.31, 4.906, 5.632, 6.498",\
                 "3.055, 3.117, 3.269, 3.477, 3.751, 4.116, 4.59, 5.186, 5.913, 6.779",\
                 "3.457, 3.521, 3.671, 3.879, 4.153, 4.519, 4.992, 5.587, 6.315, 7.18",\
                 "3.956, 4.019, 4.17, 4.378, 4.653, 5.018, 5.491, 6.087, 6.814, 7.679",\
                 "4.516, 4.577, 4.729, 4.936, 5.212, 5.577, 6.05, 6.646, 7.373, 8.239",\
                 "5.136, 5.198, 5.35, 5.557, 5.832, 6.197, 6.671, 7.266, 7.993, 8.859",\
                 "5.829, 5.891, 6.043, 6.251, 6.526, 6.89, 7.364, 7.959, 8.686, 9.552");
        }

        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.04539, 0.1114, 0.2142, 0.3584, 0.5482, 0.7873, 1.079, 1.427");
          values("2.409, 2.484, 2.681, 2.991, 3.453, 4.098, 4.946, 6.014, 7.316, 8.87",\
                 "2.431, 2.506, 2.703, 3.013, 3.476, 4.121, 4.969, 6.036, 7.338, 8.892",\
                 "2.498, 2.573, 2.769, 3.079, 3.542, 4.187, 5.034, 6.103, 7.406, 8.957",\
                 "2.56, 2.636, 2.832, 3.143, 3.605, 4.25, 5.098, 6.166, 7.468, 9.02",\
                 "2.586, 2.661, 2.857, 3.168, 3.63, 4.275, 5.123, 6.191, 7.493, 9.044",\
                 "2.566, 2.641, 2.837, 3.147, 3.61, 4.256, 5.103, 6.17, 7.473, 9.026",\
                 "2.496, 2.571, 2.768, 3.079, 3.541, 4.186, 5.034, 6.101, 7.404, 8.957",\
                 "2.368, 2.443, 2.64, 2.95, 3.413, 4.057, 4.905, 5.972, 7.276, 8.829",\
                 "2.177, 2.252, 2.449, 2.76, 3.221, 3.866, 4.714, 5.782, 7.084, 8.636",\
                 "1.919, 1.994, 2.19, 2.5, 2.963, 3.608, 4.456, 5.524, 6.826, 8.378");
        }

        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.04539, 0.1114, 0.2142, 0.3584, 0.5482, 0.7873, 1.079, 1.427");
          values("0.2522, 0.3208, 0.4978, 0.7538, 1.126, 1.658, 2.392, 3.348, 4.53, 5.954",\
                 "0.2524, 0.3206, 0.4978, 0.7538, 1.126, 1.66, 2.393, 3.348, 4.534, 5.958",\
                 "0.2526, 0.3206, 0.4982, 0.7538, 1.126, 1.659, 2.393, 3.348, 4.53, 5.96",\
                 "0.2526, 0.3208, 0.4976, 0.7538, 1.126, 1.659, 2.393, 3.348, 4.534, 5.959",\
                 "0.2526, 0.3208, 0.4974, 0.7538, 1.126, 1.658, 2.393, 3.345, 4.532, 5.959",\
                 "0.2526, 0.321, 0.498, 0.7536, 1.126, 1.659, 2.393, 3.348, 4.534, 5.957",\
                 "0.2526, 0.3206, 0.4976, 0.7538, 1.127, 1.658, 2.393, 3.348, 4.534, 5.954",\
                 "0.2524, 0.3206, 0.498, 0.754, 1.125, 1.659, 2.394, 3.35, 4.534, 5.954",\
                 "0.2524, 0.3208, 0.498, 0.7548, 1.126, 1.658, 2.39, 3.344, 4.532, 5.958",\
                 "0.252, 0.322, 0.498, 0.754, 1.128, 1.66, 2.39, 3.348, 4.532, 5.95");
        }

        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.04539, 0.1114, 0.2142, 0.3584, 0.5482, 0.7873, 1.079, 1.427");
          values("0.1834, 0.2604, 0.4972, 0.967, 1.741, 2.841, 4.294, 6.124, 8.361, 11.02",\
                 "0.1832, 0.2608, 0.4986, 0.9686, 1.742, 2.84, 4.295, 6.123, 8.36, 11.02",\
                 "0.1834, 0.2604, 0.4982, 0.9692, 1.741, 2.838, 4.295, 6.115, 8.354, 11.01",\
                 "0.1836, 0.2604, 0.4984, 0.9692, 1.742, 2.839, 4.295, 6.117, 8.356, 11.01",\
                 "0.183, 0.2612, 0.4986, 0.9692, 1.74, 2.838, 4.291, 6.123, 8.346, 11.03",\
                 "0.1832, 0.2606, 0.4986, 0.968, 1.74, 2.841, 4.289, 6.126, 8.364, 11.02",\
                 "0.1832, 0.2614, 0.4986, 0.969, 1.739, 2.84, 4.29, 6.121, 8.346, 11.01",\
                 "0.1836, 0.2608, 0.4976, 0.9688, 1.74, 2.84, 4.283, 6.116, 8.346, 11",\
                 "0.1834, 0.2604, 0.498, 0.9684, 1.741, 2.839, 4.285, 6.108, 8.333, 11",\
                 "0.1836, 0.261, 0.4992, 0.9692, 1.74, 2.843, 4.284, 6.114, 8.332, 10.99");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09579, 0.3618, 0.8698, 1.661, 2.772, 4.233, 6.074, 8.321, 11");
          index_2("0.001, 0.01084, 0.04539, 0.1114, 0.2142, 0.3584, 0.5482, 0.7873, 1.079, 1.427");
          values("1.007, 1.07, 1.222, 1.431, 1.705, 2.07, 2.544, 3.139, 3.866, 4.731",\
                 "1.024, 1.087, 1.239, 1.447, 1.722, 2.087, 2.56, 3.156, 3.882, 4.749",\
                 "1.062, 1.125, 1.277, 1.486, 1.76, 2.125, 2.599, 3.194, 3.921, 4.786",\
                 "1.123, 1.186, 1.338, 1.547, 1.821, 2.186, 2.66, 3.255, 3.982, 4.848",\
                 "1.18, 1.242, 1.394, 1.602, 1.877, 2.242, 2.716, 3.311, 4.038, 4.904",\
                 "1.209, 1.272, 1.424, 1.632, 1.907, 2.271, 2.744, 3.339, 4.067, 4.932",\
                 "1.201, 1.264, 1.416, 1.624, 1.899, 2.263, 2.737, 3.331, 4.058, 4.924",\
                 "1.149, 1.213, 1.365, 1.574, 1.849, 2.213, 2.686, 3.281, 4.007, 4.872",\
                 "1.049, 1.112, 1.265, 1.475, 1.75, 2.115, 2.588, 3.183, 3.909, 4.774",\
                 "0.8944, 0.9589, 1.113, 1.323, 1.599, 1.963, 2.437, 3.032, 3.759, 4.624");
        }

        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.04539, 0.1114, 0.2142, 0.3584, 0.5482, 0.7873, 1.079, 1.427");
          values("1.233, 1.305, 1.496, 1.806, 2.269, 2.915, 3.763, 4.83, 6.133, 7.687",\
                 "1.257, 1.328, 1.52, 1.829, 2.292, 2.938, 3.786, 4.853, 6.156, 7.71",\
                 "1.351, 1.422, 1.614, 1.924, 2.386, 3.032, 3.88, 4.948, 6.251, 7.804",\
                 "1.545, 1.616, 1.808, 2.117, 2.58, 3.226, 4.074, 5.142, 6.445, 7.998",\
                 "1.839, 1.91, 2.102, 2.411, 2.874, 3.52, 4.368, 5.436, 6.739, 8.29",\
                 "2.192, 2.264, 2.456, 2.766, 3.228, 3.874, 4.722, 5.789, 7.094, 8.646",\
                 "2.591, 2.663, 2.855, 3.165, 3.628, 4.274, 5.122, 6.19, 7.492, 9.044",\
                 "3.044, 3.117, 3.311, 3.62, 4.083, 4.729, 5.577, 6.645, 7.948, 9.501",\
                 "3.564, 3.635, 3.831, 4.14, 4.603, 5.249, 6.098, 7.165, 8.467, 10.02",\
                 "4.151, 4.225, 4.419, 4.731, 5.193, 5.838, 6.686, 7.754, 9.057, 10.61");
        }

        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.04539, 0.1114, 0.2142, 0.3584, 0.5482, 0.7873, 1.079, 1.427");
          values("0.1847, 0.238, 0.3744, 0.6082, 0.9884, 1.555, 2.326, 3.306, 4.505, 5.934",\
                 "0.1848, 0.238, 0.3746, 0.6082, 0.9886, 1.557, 2.326, 3.306, 4.505, 5.929",\
                 "0.1848, 0.238, 0.374, 0.6082, 0.9886, 1.555, 2.325, 3.306, 4.504, 5.935",\
                 "0.1848, 0.2384, 0.3736, 0.6078, 0.9876, 1.555, 2.324, 3.303, 4.5, 5.925",\
                 "0.1824, 0.2364, 0.373, 0.6084, 0.9876, 1.555, 2.323, 3.304, 4.502, 5.93",\
                 "0.1828, 0.237, 0.3732, 0.6066, 0.986, 1.552, 2.324, 3.304, 4.499, 5.934",\
                 "0.184, 0.2382, 0.3744, 0.6086, 0.9872, 1.552, 2.32, 3.298, 4.495, 5.927",\
                 "0.1858, 0.2394, 0.3758, 0.6094, 0.9882, 1.553, 2.322, 3.297, 4.493, 5.919",\
                 "0.188, 0.242, 0.3778, 0.6098, 0.989, 1.554, 2.325, 3.298, 4.493, 5.919",\
                 "0.1912, 0.2454, 0.3806, 0.6134, 0.991, 1.556, 2.323, 3.302, 4.495, 5.918");
        }

        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.04539, 0.1114, 0.2142, 0.3584, 0.5482, 0.7873, 1.079, 1.427");
          values("0.1878, 0.265, 0.503, 0.9712, 1.743, 2.844, 4.294, 6.12, 8.353, 11.01",\
                 "0.1876, 0.265, 0.503, 0.9708, 1.743, 2.844, 4.294, 6.121, 8.35, 11.01",\
                 "0.1878, 0.2652, 0.5024, 0.9712, 1.743, 2.844, 4.291, 6.12, 8.349, 11.01",\
                 "0.1866, 0.2652, 0.5028, 0.9712, 1.743, 2.844, 4.294, 6.12, 8.353, 11.01",\
                 "0.188, 0.2646, 0.5032, 0.9718, 1.743, 2.842, 4.291, 6.12, 8.352, 11",\
                 "0.1884, 0.2662, 0.5044, 0.9722, 1.744, 2.844, 4.293, 6.115, 8.351, 11",\
                 "0.1892, 0.2682, 0.5048, 0.9728, 1.744, 2.842, 4.29, 6.114, 8.341, 11",\
                 "0.1916, 0.27, 0.5064, 0.9732, 1.744, 2.839, 4.289, 6.119, 8.349, 11.01",\
                 "0.1928, 0.272, 0.5078, 0.9748, 1.744, 2.843, 4.286, 6.112, 8.348, 10.99",\
                 "0.194, 0.276, 0.51, 0.974, 1.742, 2.838, 4.29, 6.112, 8.34, 10.99");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09579, 0.3618, 0.8698, 1.661, 2.772, 4.233, 6.074, 8.321, 11");
          index_2("0.001, 0.01084, 0.04539, 0.1114, 0.2142, 0.3584, 0.5482, 0.7873, 1.079, 1.427");
          values("1.007, 1.07, 1.222, 1.431, 1.705, 2.07, 2.544, 3.139, 3.866, 4.731",\
                 "1.023, 1.087, 1.239, 1.447, 1.722, 2.087, 2.56, 3.156, 3.883, 4.748",\
                 "1.062, 1.125, 1.277, 1.486, 1.76, 2.125, 2.599, 3.194, 3.921, 4.787",\
                 "1.123, 1.186, 1.338, 1.547, 1.821, 2.186, 2.66, 3.255, 3.982, 4.848",\
                 "1.18, 1.242, 1.394, 1.602, 1.877, 2.242, 2.716, 3.311, 4.038, 4.904",\
                 "1.209, 1.272, 1.424, 1.632, 1.907, 2.271, 2.744, 3.34, 4.067, 4.932",\
                 "1.201, 1.264, 1.416, 1.624, 1.899, 2.264, 2.737, 3.331, 4.058, 4.924",\
                 "1.149, 1.213, 1.365, 1.574, 1.849, 2.213, 2.686, 3.281, 4.007, 4.872",\
                 "1.049, 1.112, 1.265, 1.475, 1.75, 2.115, 2.588, 3.183, 3.909, 4.774",\
                 "0.8944, 0.9589, 1.113, 1.323, 1.599, 1.963, 2.437, 3.032, 3.759, 4.624");
        }

        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.04539, 0.1114, 0.2142, 0.3584, 0.5482, 0.7873, 1.079, 1.427");
          values("1.233, 1.305, 1.496, 1.806, 2.269, 2.914, 3.763, 4.83, 6.133, 7.687",\
                 "1.257, 1.328, 1.52, 1.829, 2.292, 2.938, 3.786, 4.853, 6.156, 7.71",\
                 "1.351, 1.423, 1.614, 1.923, 2.386, 3.032, 3.88, 4.948, 6.251, 7.805",\
                 "1.545, 1.616, 1.808, 2.117, 2.58, 3.226, 4.074, 5.141, 6.444, 7.998",\
                 "1.839, 1.91, 2.102, 2.411, 2.874, 3.52, 4.368, 5.436, 6.739, 8.292",\
                 "2.192, 2.264, 2.456, 2.766, 3.228, 3.874, 4.722, 5.789, 7.092, 8.646",\
                 "2.591, 2.663, 2.855, 3.165, 3.628, 4.274, 5.122, 6.19, 7.492, 9.046",\
                 "3.044, 3.117, 3.311, 3.62, 4.083, 4.729, 5.578, 6.645, 7.948, 9.501",\
                 "3.563, 3.636, 3.831, 4.14, 4.603, 5.249, 6.098, 7.165, 8.468, 10.02",\
                 "4.151, 4.224, 4.42, 4.73, 5.192, 5.838, 6.686, 7.754, 9.057, 10.61");
        }

        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.04539, 0.1114, 0.2142, 0.3584, 0.5482, 0.7873, 1.079, 1.427");
          values("0.1848, 0.238, 0.3744, 0.6082, 0.9886, 1.555, 2.326, 3.306, 4.505, 5.934",\
                 "0.185, 0.2382, 0.3744, 0.6074, 0.9896, 1.555, 2.325, 3.305, 4.503, 5.934",\
                 "0.1848, 0.238, 0.3742, 0.608, 0.9878, 1.555, 2.326, 3.306, 4.505, 5.928",\
                 "0.1848, 0.2384, 0.3736, 0.6078, 0.9876, 1.555, 2.324, 3.303, 4.5, 5.925",\
                 "0.1824, 0.2364, 0.373, 0.6084, 0.9876, 1.555, 2.325, 3.304, 4.503, 5.931",\
                 "0.1828, 0.2372, 0.3732, 0.6066, 0.9858, 1.552, 2.323, 3.303, 4.501, 5.934",\
                 "0.184, 0.2382, 0.3742, 0.6086, 0.987, 1.553, 2.32, 3.298, 4.498, 5.928",\
                 "0.1858, 0.2394, 0.3758, 0.6094, 0.9882, 1.553, 2.322, 3.3, 4.493, 5.918",\
                 "0.188, 0.2422, 0.3778, 0.6098, 0.99, 1.554, 2.324, 3.298, 4.493, 5.922",\
                 "0.1912, 0.2454, 0.3806, 0.6134, 0.9914, 1.556, 2.323, 3.302, 4.495, 5.918");
        }

        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.04539, 0.1114, 0.2142, 0.3584, 0.5482, 0.7873, 1.079, 1.427");
          values("0.1878, 0.2652, 0.5028, 0.9714, 1.743, 2.844, 4.294, 6.119, 8.353, 11.01",\
                 "0.188, 0.265, 0.503, 0.9708, 1.743, 2.844, 4.294, 6.121, 8.35, 11.01",\
                 "0.1876, 0.2644, 0.503, 0.9714, 1.743, 2.844, 4.291, 6.121, 8.352, 11.01",\
                 "0.1876, 0.2648, 0.5028, 0.9716, 1.742, 2.844, 4.293, 6.114, 8.348, 11.01",\
                 "0.1882, 0.2652, 0.5036, 0.9728, 1.743, 2.842, 4.291, 6.12, 8.353, 11.01",\
                 "0.1884, 0.2666, 0.5046, 0.9732, 1.744, 2.843, 4.294, 6.119, 8.346, 11",\
                 "0.1892, 0.2682, 0.5048, 0.9728, 1.744, 2.842, 4.291, 6.114, 8.341, 11.01",\
                 "0.1914, 0.27, 0.5064, 0.9746, 1.744, 2.839, 4.293, 6.119, 8.347, 11",\
                 "0.193, 0.2726, 0.5086, 0.975, 1.742, 2.843, 4.29, 6.112, 8.348, 11",\
                 "0.194, 0.274, 0.51, 0.974, 1.742, 2.842, 4.288, 6.112, 8.34, 10.99");
        }
      }

      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.04539, 0.1114, 0.2142, 0.3584, 0.5482, 0.7873, 1.079, 1.427");
          values("1.007, 1.07, 1.222, 1.431, 1.705, 2.07, 2.544, 3.139, 3.866, 4.731",\
                 "1.023, 1.087, 1.239, 1.447, 1.722, 2.087, 2.56, 3.156, 3.883, 4.748",\
                 "1.062, 1.125, 1.277, 1.486, 1.76, 2.125, 2.599, 3.194, 3.921, 4.787",\
                 "1.123, 1.186, 1.338, 1.547, 1.821, 2.186, 2.66, 3.255, 3.982, 4.848",\
                 "1.18, 1.242, 1.394, 1.602, 1.877, 2.242, 2.716, 3.311, 4.038, 4.904",\
                 "1.209, 1.272, 1.424, 1.632, 1.907, 2.271, 2.744, 3.34, 4.067, 4.932",\
                 "1.201, 1.264, 1.416, 1.624, 1.899, 2.264, 2.737, 3.331, 4.058, 4.924",\
                 "1.149, 1.213, 1.365, 1.574, 1.849, 2.213, 2.686, 3.281, 4.007, 4.872",\
                 "1.049, 1.112, 1.265, 1.475, 1.75, 2.115, 2.588, 3.183, 3.909, 4.774",\
                 "0.8944, 0.9589, 1.113, 1.323, 1.599, 1.963, 2.437, 3.032, 3.759, 4.624");
        }

        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.04539, 0.1114, 0.2142, 0.3584, 0.5482, 0.7873, 1.079, 1.427");
          values("1.233, 1.305, 1.496, 1.806, 2.269, 2.914, 3.763, 4.83, 6.133, 7.687",\
                 "1.257, 1.328, 1.52, 1.829, 2.292, 2.938, 3.786, 4.853, 6.156, 7.71",\
                 "1.351, 1.423, 1.614, 1.923, 2.386, 3.032, 3.88, 4.948, 6.251, 7.805",\
                 "1.545, 1.616, 1.808, 2.117, 2.58, 3.226, 4.074, 5.141, 6.444, 7.998",\
                 "1.839, 1.91, 2.102, 2.411, 2.874, 3.52, 4.368, 5.436, 6.739, 8.292",\
                 "2.192, 2.264, 2.456, 2.766, 3.228, 3.874, 4.722, 5.789, 7.092, 8.646",\
                 "2.591, 2.663, 2.855, 3.165, 3.628, 4.274, 5.122, 6.19, 7.492, 9.046",\
                 "3.044, 3.117, 3.311, 3.62, 4.083, 4.729, 5.578, 6.645, 7.948, 9.501",\
                 "3.563, 3.636, 3.831, 4.14, 4.603, 5.249, 6.098, 7.165, 8.468, 10.02",\
                 "4.151, 4.224, 4.42, 4.73, 5.192, 5.838, 6.686, 7.754, 9.057, 10.61");
        }

        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.04539, 0.1114, 0.2142, 0.3584, 0.5482, 0.7873, 1.079, 1.427");
          values("0.1847, 0.238, 0.3744, 0.6082, 0.9884, 1.555, 2.326, 3.306, 4.505, 5.934",\
                 "0.1848, 0.238, 0.3746, 0.6082, 0.9886, 1.557, 2.326, 3.306, 4.505, 5.929",\
                 "0.1848, 0.238, 0.374, 0.6082, 0.9886, 1.555, 2.325, 3.306, 4.504, 5.935",\
                 "0.1848, 0.2384, 0.3736, 0.6078, 0.9876, 1.555, 2.324, 3.303, 4.5, 5.925",\
                 "0.1824, 0.2364, 0.373, 0.6084, 0.9876, 1.555, 2.323, 3.304, 4.502, 5.93",\
                 "0.1828, 0.237, 0.3732, 0.6066, 0.986, 1.552, 2.324, 3.304, 4.499, 5.934",\
                 "0.184, 0.2382, 0.3744, 0.6086, 0.9872, 1.552, 2.32, 3.298, 4.495, 5.927",\
                 "0.1858, 0.2394, 0.3758, 0.6094, 0.9882, 1.553, 2.322, 3.297, 4.493, 5.919",\
                 "0.188, 0.242, 0.3778, 0.6098, 0.989, 1.554, 2.325, 3.298, 4.493, 5.919",\
                 "0.1912, 0.2454, 0.3806, 0.6134, 0.991, 1.556, 2.323, 3.302, 4.495, 5.918");
        }

        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.04539, 0.1114, 0.2142, 0.3584, 0.5482, 0.7873, 1.079, 1.427");
          values("0.1878, 0.2652, 0.5028, 0.9714, 1.743, 2.844, 4.294, 6.119, 8.353, 11.01",\
                 "0.188, 0.265, 0.503, 0.9708, 1.743, 2.844, 4.294, 6.121, 8.35, 11.01",\
                 "0.1876, 0.2644, 0.503, 0.9714, 1.743, 2.844, 4.291, 6.121, 8.352, 11.01",\
                 "0.1876, 0.2648, 0.5028, 0.9716, 1.742, 2.844, 4.293, 6.114, 8.348, 11.01",\
                 "0.1882, 0.2652, 0.5036, 0.9728, 1.743, 2.842, 4.291, 6.12, 8.353, 11.01",\
                 "0.1884, 0.2666, 0.5046, 0.9732, 1.744, 2.843, 4.294, 6.119, 8.346, 11",\
                 "0.1892, 0.2682, 0.5048, 0.9728, 1.744, 2.842, 4.291, 6.114, 8.341, 11.01",\
                 "0.1914, 0.27, 0.5064, 0.9746, 1.744, 2.839, 4.293, 6.119, 8.347, 11",\
                 "0.193, 0.2726, 0.5086, 0.975, 1.742, 2.843, 4.29, 6.112, 8.348, 11",\
                 "0.194, 0.274, 0.51, 0.974, 1.742, 2.842, 4.288, 6.112, 8.34, 10.99");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09579, 0.3618, 0.8698, 1.661, 2.772, 4.233, 6.074, 8.321, 11");
          index_2("0.001, 0.01084, 0.04539, 0.1114, 0.2142, 0.3584, 0.5482, 0.7873, 1.079, 1.427");
          values("0.9298, 1.007, 1.2, 1.459, 1.777, 2.169, 2.655, 3.255, 3.983, 4.849",\
                 "0.9512, 1.028, 1.222, 1.48, 1.798, 2.19, 2.677, 3.276, 4.004, 4.87",\
                 "1.026, 1.104, 1.296, 1.555, 1.873, 2.265, 2.752, 3.351, 4.079, 4.945",\
                 "1.189, 1.266, 1.459, 1.718, 2.036, 2.428, 2.914, 3.514, 4.242, 5.108",\
                 "1.458, 1.536, 1.728, 1.987, 2.304, 2.696, 3.183, 3.782, 4.51, 5.376",\
                 "1.796, 1.878, 2.08, 2.344, 2.665, 3.059, 3.544, 4.144, 4.872, 5.738",\
                 "2.161, 2.249, 2.464, 2.742, 3.072, 3.471, 3.959, 4.558, 5.286, 6.151",\
                 "2.559, 2.653, 2.88, 3.173, 3.513, 3.917, 4.408, 5.01, 5.738, 6.604",\
                 "2.998, 3.096, 3.336, 3.644, 3.995, 4.404, 4.899, 5.501, 6.229, 7.096",\
                 "3.487, 3.591, 3.84, 4.163, 4.525, 4.94, 5.438, 6.041, 6.769, 7.635");
        }

        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.04539, 0.1114, 0.2142, 0.3584, 0.5482, 0.7873, 1.079, 1.427");
          values("0.5266, 0.596, 0.7853, 1.093, 1.556, 2.201, 3.05, 4.118, 5.424, 6.976",\
                 "0.5482, 0.6181, 0.8071, 1.115, 1.578, 2.223, 3.072, 4.14, 5.446, 6.998",\
                 "0.6209, 0.6909, 0.8797, 1.188, 1.65, 2.296, 3.144, 4.214, 5.518, 7.072",\
                 "0.756, 0.8257, 1.014, 1.321, 1.783, 2.429, 3.277, 4.344, 5.651, 7.203",\
                 "0.8998, 0.9732, 1.168, 1.476, 1.938, 2.582, 3.431, 4.5, 5.804, 7.352",\
                 "1.015, 1.094, 1.296, 1.607, 2.069, 2.713, 3.56, 4.63, 5.935, 7.488",\
                 "1.099, 1.183, 1.395, 1.71, 2.171, 2.815, 3.662, 4.729, 6.032, 7.588",\
                 "1.15, 1.239, 1.463, 1.784, 2.244, 2.887, 3.734, 4.801, 6.103, 7.655",\
                 "1.168, 1.261, 1.499, 1.827, 2.288, 2.928, 3.774, 4.84, 6.143, 7.694",\
                 "1.145, 1.244, 1.496, 1.835, 2.297, 2.937, 3.781, 4.846, 6.148, 7.701");
        }

        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.04539, 0.1114, 0.2142, 0.3584, 0.5482, 0.7873, 1.079, 1.427");
          values("0.2521, 0.3207, 0.4978, 0.7536, 1.127, 1.659, 2.393, 3.348, 4.53, 5.96",\
                 "0.2521, 0.3208, 0.4974, 0.7536, 1.126, 1.659, 2.393, 3.348, 4.534, 5.958",\
                 "0.2524, 0.3204, 0.4974, 0.7536, 1.126, 1.66, 2.392, 3.346, 4.533, 5.958",\
                 "0.2522, 0.3208, 0.4978, 0.7538, 1.126, 1.659, 2.393, 3.349, 4.534, 5.96",\
                 "0.2558, 0.3236, 0.5004, 0.7554, 1.128, 1.659, 2.393, 3.348, 4.535, 5.958",\
                 "0.2902, 0.358, 0.531, 0.7764, 1.14, 1.666, 2.395, 3.349, 4.534, 5.955",\
                 "0.3272, 0.3996, 0.5786, 0.8208, 1.174, 1.689, 2.408, 3.351, 4.536, 5.956",\
                 "0.3612, 0.4386, 0.6276, 0.8686, 1.212, 1.716, 2.426, 3.364, 4.54, 5.957",\
                 "0.393, 0.4748, 0.6714, 0.918, 1.252, 1.743, 2.442, 3.377, 4.548, 5.964",\
                 "0.422, 0.508, 0.714, 0.968, 1.294, 1.774, 2.462, 3.386, 4.554, 5.97");
        }

        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.04539, 0.1114, 0.2142, 0.3584, 0.5482, 0.7873, 1.079, 1.427");
          values("0.1791, 0.257, 0.4944, 0.9677, 1.739, 2.839, 4.292, 6.123, 8.354, 11.03",\
                 "0.1795, 0.2564, 0.4944, 0.9679, 1.741, 2.84, 4.292, 6.123, 8.354, 11.03",\
                 "0.1795, 0.2565, 0.4943, 0.9664, 1.742, 2.841, 4.295, 6.12, 8.347, 11.03",\
                 "0.1822, 0.2584, 0.4974, 0.9676, 1.742, 2.843, 4.293, 6.126, 8.358, 11.03",\
                 "0.2022, 0.2794, 0.5102, 0.9724, 1.741, 2.842, 4.292, 6.122, 8.348, 11.03",\
                 "0.2268, 0.3066, 0.5318, 0.9836, 1.746, 2.84, 4.291, 6.115, 8.354, 11.03",\
                 "0.2514, 0.335, 0.558, 0.9968, 1.75, 2.844, 4.289, 6.114, 8.346, 11.02",\
                 "0.2778, 0.3648, 0.5902, 1.01, 1.754, 2.846, 4.292, 6.114, 8.342, 11",\
                 "0.3048, 0.396, 0.626, 1.03, 1.761, 2.849, 4.295, 6.115, 8.339, 10.99",\
                 "0.3354, 0.4294, 0.6712, 1.06, 1.77, 2.854, 4.296, 6.117, 8.344, 11");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09579, 0.3618, 0.8698, 1.661, 2.772, 4.233, 6.074, 8.321, 11");
          index_2("0.001, 0.01084, 0.04539, 0.1114, 0.2142, 0.3584, 0.5482, 0.7873, 1.079, 1.427");
          values("0.9295, 1.007, 1.2, 1.459, 1.776, 2.169, 2.655, 3.255, 3.983, 4.849",\
                 "0.9508, 1.028, 1.221, 1.48, 1.798, 2.19, 2.677, 3.276, 4.004, 4.87",\
                 "1.026, 1.103, 1.296, 1.555, 1.873, 2.265, 2.752, 3.352, 4.079, 4.945",\
                 "1.189, 1.266, 1.459, 1.718, 2.036, 2.428, 2.914, 3.514, 4.242, 5.108",\
                 "1.458, 1.535, 1.728, 1.986, 2.304, 2.697, 3.183, 3.783, 4.51, 5.377",\
                 "1.796, 1.879, 2.08, 2.344, 2.665, 3.059, 3.545, 4.145, 4.872, 5.738",\
                 "2.161, 2.25, 2.464, 2.743, 3.073, 3.471, 3.96, 4.559, 5.286, 6.152",\
                 "2.559, 2.653, 2.881, 3.174, 3.514, 3.917, 4.409, 5.01, 5.738, 6.603",\
                 "2.999, 3.097, 3.337, 3.645, 3.995, 4.405, 4.899, 5.502, 6.23, 7.097",\
                 "3.488, 3.591, 3.84, 4.164, 4.525, 4.941, 5.438, 6.041, 6.769, 7.634");
        }

        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.04539, 0.1114, 0.2142, 0.3584, 0.5482, 0.7873, 1.079, 1.427");
          values("0.5266, 0.596, 0.7853, 1.093, 1.556, 2.201, 3.05, 4.118, 5.424, 6.976",\
                 "0.5482, 0.618, 0.8071, 1.115, 1.578, 2.223, 3.072, 4.141, 5.445, 7",\
                 "0.6208, 0.6905, 0.8795, 1.188, 1.65, 2.295, 3.144, 4.213, 5.518, 7.072",\
                 "0.756, 0.8256, 1.014, 1.321, 1.783, 2.429, 3.276, 4.346, 5.648, 7.202",\
                 "0.9002, 0.9734, 1.167, 1.476, 1.938, 2.582, 3.43, 4.501, 5.804, 7.356",\
                 "1.015, 1.093, 1.296, 1.607, 2.069, 2.713, 3.561, 4.63, 5.935, 7.488",\
                 "1.099, 1.183, 1.395, 1.71, 2.171, 2.816, 3.662, 4.729, 6.032, 7.588",\
                 "1.151, 1.239, 1.464, 1.784, 2.244, 2.888, 3.734, 4.801, 6.103, 7.656",\
                 "1.168, 1.262, 1.499, 1.827, 2.287, 2.929, 3.774, 4.84, 6.143, 7.695",\
                 "1.146, 1.244, 1.496, 1.835, 2.297, 2.937, 3.781, 4.846, 6.149, 7.701");
        }

        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.04539, 0.1114, 0.2142, 0.3584, 0.5482, 0.7873, 1.079, 1.427");
          values("0.2521, 0.3207, 0.4978, 0.7538, 1.127, 1.66, 2.394, 3.348, 4.533, 5.955",\
                 "0.2525, 0.3206, 0.4978, 0.755, 1.127, 1.66, 2.393, 3.348, 4.534, 5.956",\
                 "0.2522, 0.3208, 0.4978, 0.754, 1.126, 1.659, 2.393, 3.347, 4.533, 5.953",\
                 "0.2524, 0.3208, 0.498, 0.754, 1.127, 1.66, 2.393, 3.349, 4.534, 5.96",\
                 "0.2558, 0.3238, 0.5012, 0.7558, 1.127, 1.661, 2.394, 3.349, 4.533, 5.953",\
                 "0.2894, 0.3578, 0.5304, 0.7764, 1.141, 1.667, 2.397, 3.35, 4.533, 5.958",\
                 "0.3278, 0.4, 0.5784, 0.8198, 1.174, 1.688, 2.408, 3.354, 4.535, 5.955",\
                 "0.3618, 0.439, 0.6272, 0.869, 1.212, 1.716, 2.426, 3.364, 4.541, 5.96",\
                 "0.3934, 0.475, 0.6724, 0.9194, 1.251, 1.743, 2.443, 3.376, 4.548, 5.964",\
                 "0.4226, 0.506, 0.714, 0.972, 1.294, 1.772, 2.462, 3.386, 4.556, 5.968");
        }

        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.04539, 0.1114, 0.2142, 0.3584, 0.5482, 0.7873, 1.079, 1.427");
          values("0.1791, 0.257, 0.4944, 0.968, 1.739, 2.839, 4.292, 6.124, 8.355, 11.03",\
                 "0.1795, 0.257, 0.4944, 0.9679, 1.739, 2.84, 4.295, 6.118, 8.35, 11.02",\
                 "0.1801, 0.2567, 0.495, 0.9682, 1.74, 2.838, 4.293, 6.122, 8.351, 11.03",\
                 "0.182, 0.2584, 0.4974, 0.9678, 1.74, 2.84, 4.295, 6.124, 8.361, 11.02",\
                 "0.2016, 0.2798, 0.511, 0.9724, 1.74, 2.838, 4.291, 6.117, 8.353, 11.03",\
                 "0.227, 0.3068, 0.5312, 0.9836, 1.746, 2.84, 4.291, 6.115, 8.354, 11.03",\
                 "0.252, 0.3348, 0.558, 0.9952, 1.751, 2.844, 4.287, 6.117, 8.343, 11.01",\
                 "0.2766, 0.3654, 0.589, 1.01, 1.755, 2.849, 4.292, 6.113, 8.341, 11",\
                 "0.3056, 0.3956, 0.6266, 1.031, 1.76, 2.847, 4.294, 6.115, 8.338, 11.01",\
                 "0.335, 0.4288, 0.6706, 1.058, 1.771, 2.85, 4.297, 6.117, 8.34, 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.04539, 0.1114, 0.2142, 0.3584, 0.5482, 0.7873, 1.079, 1.427");
          values("0.9298, 1.007, 1.2, 1.459, 1.777, 2.169, 2.655, 3.255, 3.983, 4.849",\
                 "0.9512, 1.028, 1.222, 1.48, 1.798, 2.19, 2.677, 3.276, 4.004, 4.87",\
                 "1.026, 1.104, 1.296, 1.555, 1.873, 2.265, 2.752, 3.351, 4.079, 4.945",\
                 "1.189, 1.266, 1.459, 1.718, 2.036, 2.428, 2.914, 3.514, 4.242, 5.108",\
                 "1.458, 1.536, 1.728, 1.987, 2.304, 2.696, 3.183, 3.782, 4.51, 5.376",\
                 "1.796, 1.878, 2.08, 2.344, 2.665, 3.059, 3.544, 4.144, 4.872, 5.738",\
                 "2.161, 2.249, 2.464, 2.742, 3.072, 3.471, 3.959, 4.558, 5.286, 6.151",\
                 "2.559, 2.653, 2.88, 3.173, 3.513, 3.917, 4.408, 5.01, 5.738, 6.604",\
                 "2.998, 3.096, 3.336, 3.644, 3.995, 4.404, 4.899, 5.501, 6.229, 7.096",\
                 "3.487, 3.591, 3.84, 4.163, 4.525, 4.94, 5.438, 6.041, 6.769, 7.635");
        }

        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.04539, 0.1114, 0.2142, 0.3584, 0.5482, 0.7873, 1.079, 1.427");
          values("0.5266, 0.596, 0.7853, 1.093, 1.556, 2.201, 3.05, 4.118, 5.424, 6.976",\
                 "0.5482, 0.618, 0.8071, 1.115, 1.578, 2.223, 3.072, 4.141, 5.445, 7",\
                 "0.6208, 0.6905, 0.8795, 1.188, 1.65, 2.295, 3.144, 4.213, 5.518, 7.072",\
                 "0.756, 0.8256, 1.014, 1.321, 1.783, 2.429, 3.276, 4.346, 5.648, 7.202",\
                 "0.9002, 0.9734, 1.167, 1.476, 1.938, 2.582, 3.43, 4.501, 5.804, 7.356",\
                 "1.015, 1.093, 1.296, 1.607, 2.069, 2.713, 3.561, 4.63, 5.935, 7.488",\
                 "1.099, 1.183, 1.395, 1.71, 2.171, 2.816, 3.662, 4.729, 6.032, 7.588",\
                 "1.151, 1.239, 1.464, 1.784, 2.244, 2.888, 3.734, 4.801, 6.103, 7.656",\
                 "1.168, 1.262, 1.499, 1.827, 2.287, 2.929, 3.774, 4.84, 6.143, 7.695",\
                 "1.146, 1.244, 1.496, 1.835, 2.297, 2.937, 3.781, 4.846, 6.149, 7.701");
        }

        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.04539, 0.1114, 0.2142, 0.3584, 0.5482, 0.7873, 1.079, 1.427");
          values("0.2521, 0.3207, 0.4978, 0.7536, 1.127, 1.659, 2.393, 3.348, 4.53, 5.96",\
                 "0.2521, 0.3208, 0.4974, 0.7536, 1.126, 1.659, 2.393, 3.348, 4.534, 5.958",\
                 "0.2524, 0.3204, 0.4974, 0.7536, 1.126, 1.66, 2.392, 3.346, 4.533, 5.958",\
                 "0.2522, 0.3208, 0.4978, 0.7538, 1.126, 1.659, 2.393, 3.349, 4.534, 5.96",\
                 "0.2558, 0.3236, 0.5004, 0.7554, 1.128, 1.659, 2.393, 3.348, 4.535, 5.958",\
                 "0.2902, 0.358, 0.531, 0.7764, 1.14, 1.666, 2.395, 3.349, 4.534, 5.955",\
                 "0.3272, 0.3996, 0.5786, 0.8208, 1.174, 1.689, 2.408, 3.351, 4.536, 5.956",\
                 "0.3612, 0.4386, 0.6276, 0.8686, 1.212, 1.716, 2.426, 3.364, 4.54, 5.957",\
                 "0.393, 0.4748, 0.6714, 0.918, 1.252, 1.743, 2.442, 3.377, 4.548, 5.964",\
                 "0.422, 0.508, 0.714, 0.968, 1.294, 1.774, 2.462, 3.386, 4.554, 5.97");
        }

        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.04539, 0.1114, 0.2142, 0.3584, 0.5482, 0.7873, 1.079, 1.427");
          values("0.1791, 0.257, 0.4944, 0.968, 1.739, 2.839, 4.292, 6.124, 8.355, 11.03",\
                 "0.1795, 0.257, 0.4944, 0.9679, 1.739, 2.84, 4.295, 6.118, 8.35, 11.02",\
                 "0.1801, 0.2567, 0.495, 0.9682, 1.74, 2.838, 4.293, 6.122, 8.351, 11.03",\
                 "0.182, 0.2584, 0.4974, 0.9678, 1.74, 2.84, 4.295, 6.124, 8.361, 11.02",\
                 "0.2016, 0.2798, 0.511, 0.9724, 1.74, 2.838, 4.291, 6.117, 8.353, 11.03",\
                 "0.227, 0.3068, 0.5312, 0.9836, 1.746, 2.84, 4.291, 6.115, 8.354, 11.03",\
                 "0.252, 0.3348, 0.558, 0.9952, 1.751, 2.844, 4.287, 6.117, 8.343, 11.01",\
                 "0.2766, 0.3654, 0.589, 1.01, 1.755, 2.849, 4.292, 6.113, 8.341, 11",\
                 "0.3056, 0.3956, 0.6266, 1.031, 1.76, 2.847, 4.294, 6.115, 8.338, 11.01",\
                 "0.335, 0.4288, 0.6706, 1.058, 1.771, 2.85, 4.297, 6.117, 8.34, 10.99");
        }
      }
    }
  }