/*
 * 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_2) {
    area : 63.660800 ;

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

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

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

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

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

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

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

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

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

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

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

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

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

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

    pin(Z) {
      direction : output ;
      function : "(A1^A2^A3)" ;
      max_capacitance : 0.7069 ;
      max_transition : 15.6 ;
      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.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.005872, 0.02298, 0.05564, 0.1065, 0.1779, 0.2719, 0.3902, 0.5347, 0.7069");
          values("0.2151, 0.2124, 0.2087, 0.2067, 0.2057, 0.2052, 0.2049, 0.2047, 0.2045, 0.2044",\
                 "0.2147, 0.2119, 0.2082, 0.2062, 0.2052, 0.2047, 0.2044, 0.2042, 0.204, 0.2039",\
                 "0.2141, 0.2112, 0.2075, 0.2056, 0.2046, 0.2041, 0.2037, 0.2035, 0.2034, 0.2032",\
                 "0.2145, 0.2117, 0.208, 0.206, 0.2051, 0.2046, 0.2043, 0.204, 0.2039, 0.2037",\
                 "0.2174, 0.2146, 0.2109, 0.2089, 0.2079, 0.2075, 0.2071, 0.2069, 0.2067, 0.2066",\
                 "0.223, 0.2201, 0.2163, 0.2144, 0.2135, 0.213, 0.2126, 0.2124, 0.2122, 0.2121",\
                 "0.231, 0.2282, 0.2245, 0.2225, 0.2215, 0.221, 0.2206, 0.2204, 0.2203, 0.22",\
                 "0.2418, 0.239, 0.2352, 0.2333, 0.2323, 0.2318, 0.2314, 0.2312, 0.231, 0.2305",\
                 "0.2556, 0.2527, 0.2489, 0.247, 0.246, 0.2455, 0.2451, 0.2449, 0.2445, 0.2432",\
                 "0.2722, 0.2693, 0.2656, 0.2636, 0.2626, 0.2621, 0.2617, 0.2613, 0.2595, 0.256");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.005872, 0.02298, 0.05564, 0.1065, 0.1779, 0.2719, 0.3902, 0.5347, 0.7069");
          values("0.2042, 0.2027, 0.2002, 0.1991, 0.1992, 0.2004, 0.2015, 0.2101, 0.2842, 0.5843",\
                 "0.2041, 0.2026, 0.2002, 0.1992, 0.1993, 0.2003, 0.2015, 0.2106, 0.2859, 0.5905",\
                 "0.2039, 0.2024, 0.2001, 0.1991, 0.1992, 0.2, 0.2013, 0.2112, 0.2923, 0.6125",\
                 "0.2043, 0.2028, 0.2004, 0.1994, 0.1995, 0.2004, 0.2017, 0.2129, 0.3042, 0.6471",\
                 "0.2058, 0.2044, 0.202, 0.201, 0.2011, 0.202, 0.2035, 0.218, 0.3243, 0.7021",\
                 "0.2091, 0.2077, 0.2053, 0.2043, 0.2046, 0.2056, 0.2071, 0.2262, 0.3556, 0.7786",\
                 "0.2145, 0.2132, 0.2106, 0.2094, 0.2104, 0.2116, 0.2132, 0.2395, 0.4034, 0.8853",\
                 "0.2224, 0.2209, 0.2184, 0.2174, 0.2173, 0.219, 0.223, 0.2637, 0.4803, 1.032",\
                 "0.2327, 0.2312, 0.229, 0.2277, 0.2277, 0.2282, 0.2355, 0.3039, 0.5985, 1.224",\
                 "0.2458, 0.2443, 0.2418, 0.2408, 0.2406, 0.2415, 0.2539, 0.3731, 0.7761, 1.453");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.005872, 0.02298, 0.05564, 0.1065, 0.1779, 0.2719, 0.3902, 0.5347, 0.7069");
          values("0.2581, 0.2567, 0.2553, 0.2547, 0.2545, 0.2546, 0.2546, 0.2546, 0.2546, 0.2546",\
                 "0.258, 0.2566, 0.2551, 0.2545, 0.2545, 0.2545, 0.2545, 0.2545, 0.2546, 0.2545",\
                 "0.2578, 0.2564, 0.2549, 0.2544, 0.2543, 0.2543, 0.2543, 0.2543, 0.2543, 0.2543",\
                 "0.2582, 0.2568, 0.2552, 0.2547, 0.2546, 0.2546, 0.2546, 0.2547, 0.2547, 0.2547",\
                 "0.2598, 0.2585, 0.2569, 0.2563, 0.2563, 0.2563, 0.2563, 0.2564, 0.2564, 0.2563",\
                 "0.2633, 0.2619, 0.2604, 0.2599, 0.2598, 0.2599, 0.2599, 0.2599, 0.2599, 0.2599",\
                 "0.2688, 0.2674, 0.2658, 0.2653, 0.2653, 0.2653, 0.2653, 0.2653, 0.2653, 0.2652",\
                 "0.2767, 0.2754, 0.2739, 0.2734, 0.2732, 0.2732, 0.2732, 0.2733, 0.2733, 0.2731",\
                 "0.2871, 0.2858, 0.2842, 0.2837, 0.2836, 0.2837, 0.2835, 0.2835, 0.2835, 0.2833",\
                 "0.2999, 0.2986, 0.2971, 0.2964, 0.2963, 0.2964, 0.2964, 0.2965, 0.2964, 0.2959");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.005872, 0.02298, 0.05564, 0.1065, 0.1779, 0.2719, 0.3902, 0.5347, 0.7069");
          values("0.2173, 0.2165, 0.2161, 0.2168, 0.2179, 0.2189, 0.2204, 0.23, 0.3114, 0.6278",\
                 "0.2168, 0.2161, 0.2157, 0.2164, 0.2175, 0.2188, 0.2203, 0.2298, 0.3122, 0.6337",\
                 "0.2161, 0.2155, 0.2151, 0.2159, 0.217, 0.218, 0.2196, 0.2304, 0.3185, 0.654",\
                 "0.2167, 0.216, 0.2156, 0.2163, 0.2174, 0.2184, 0.2202, 0.2332, 0.3343, 0.6984",\
                 "0.2195, 0.2189, 0.2185, 0.2193, 0.2205, 0.2213, 0.2233, 0.2412, 0.3666, 0.782",\
                 "0.2251, 0.2245, 0.224, 0.2248, 0.2258, 0.2271, 0.2289, 0.2574, 0.4272, 0.9176",\
                 "0.2331, 0.2324, 0.232, 0.2329, 0.234, 0.2349, 0.239, 0.2893, 0.5359, 1.119",\
                 "0.244, 0.2433, 0.2427, 0.2436, 0.2452, 0.2463, 0.2561, 0.3565, 0.7264, 1.395",\
                 "0.2578, 0.2571, 0.2566, 0.2569, 0.2586, 0.2614, 0.2973, 0.5144, 1.037, 1.695",\
                 "0.2746, 0.2739, 0.2733, 0.274, 0.2752, 0.2893, 0.434, 0.8507, 1.387, 1.842");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.005872, 0.02298, 0.05564, 0.1065, 0.1779, 0.2719, 0.3902, 0.5347, 0.7069");
          values("0.1492, 0.1463, 0.1423, 0.1403, 0.1393, 0.1388, 0.1384, 0.1382, 0.138, 0.1379",\
                 "0.1493, 0.1464, 0.1425, 0.1405, 0.1394, 0.1388, 0.1385, 0.1383, 0.1381, 0.138",\
                 "0.1495, 0.1465, 0.1426, 0.1406, 0.1396, 0.139, 0.1387, 0.1384, 0.1383, 0.1381",\
                 "0.1503, 0.1473, 0.1434, 0.1413, 0.1403, 0.1398, 0.1394, 0.1392, 0.139, 0.1389",\
                 "0.1529, 0.1499, 0.1459, 0.1437, 0.1427, 0.1422, 0.1418, 0.1416, 0.1414, 0.1412",\
                 "0.1576, 0.1546, 0.1504, 0.1483, 0.1471, 0.1466, 0.1462, 0.1459, 0.1458, 0.1456",\
                 "0.1651, 0.1619, 0.1577, 0.1554, 0.1542, 0.1536, 0.1532, 0.1529, 0.1528, 0.1526",\
                 "0.1754, 0.1722, 0.1677, 0.1653, 0.1639, 0.1633, 0.1629, 0.1627, 0.1625, 0.1622",\
                 "0.1888, 0.1855, 0.1808, 0.1781, 0.1766, 0.176, 0.1755, 0.1752, 0.175, 0.1747",\
                 "0.2051, 0.2017, 0.1967, 0.1938, 0.1924, 0.1916, 0.1911, 0.1909, 0.1906, 0.1899");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.005872, 0.02298, 0.05564, 0.1065, 0.1779, 0.2719, 0.3902, 0.5347, 0.7069");
          values("0.1898, 0.1884, 0.1861, 0.1851, 0.1854, 0.1865, 0.1877, 0.1949, 0.2609, 0.5399",\
                 "0.1897, 0.1883, 0.186, 0.1851, 0.1853, 0.1862, 0.1875, 0.1951, 0.2638, 0.5457",\
                 "0.1894, 0.188, 0.1857, 0.1848, 0.185, 0.1859, 0.1872, 0.1958, 0.2687, 0.5647",\
                 "0.1901, 0.1887, 0.1864, 0.1855, 0.1857, 0.1869, 0.1879, 0.1985, 0.2825, 0.6105",\
                 "0.1932, 0.1918, 0.1895, 0.1885, 0.1887, 0.1896, 0.1911, 0.2058, 0.3129, 0.6926",\
                 "0.2001, 0.1986, 0.1962, 0.195, 0.1952, 0.1962, 0.1978, 0.221, 0.3692, 0.8255",\
                 "0.2098, 0.2084, 0.2056, 0.2044, 0.2046, 0.2051, 0.2087, 0.2502, 0.4697, 1.025",\
                 "0.2228, 0.2209, 0.2181, 0.2166, 0.217, 0.2178, 0.2254, 0.3097, 0.6479, 1.302",\
                 "0.2388, 0.237, 0.2339, 0.2319, 0.2313, 0.2338, 0.2621, 0.4485, 0.9435, 1.617",\
                 "0.2584, 0.2565, 0.2531, 0.2509, 0.2501, 0.259, 0.3744, 0.7596, 1.315, 1.817");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.005872, 0.02298, 0.05564, 0.1065, 0.1779, 0.2719, 0.3902, 0.5347, 0.7069");
          values("0.2446, 0.2432, 0.2416, 0.2412, 0.241, 0.241, 0.241, 0.2411, 0.2411, 0.2411",\
                 "0.2445, 0.243, 0.2415, 0.2411, 0.2409, 0.2409, 0.2409, 0.2409, 0.241, 0.241",\
                 "0.2442, 0.2427, 0.2413, 0.2407, 0.2406, 0.2407, 0.2406, 0.2407, 0.2406, 0.2406",\
                 "0.2449, 0.2436, 0.2421, 0.2414, 0.2414, 0.2414, 0.2414, 0.2414, 0.2414, 0.2414",\
                 "0.2479, 0.2465, 0.245, 0.2445, 0.2443, 0.2444, 0.2444, 0.2444, 0.2444, 0.2444",\
                 "0.254, 0.2525, 0.251, 0.2505, 0.2504, 0.2505, 0.2505, 0.2505, 0.2505, 0.2504",\
                 "0.2626, 0.2612, 0.2597, 0.2592, 0.259, 0.2591, 0.2591, 0.2591, 0.2591, 0.259",\
                 "0.274, 0.2726, 0.2711, 0.2707, 0.2705, 0.2705, 0.2705, 0.2705, 0.2705, 0.2702",\
                 "0.2884, 0.2871, 0.2856, 0.2849, 0.2849, 0.2849, 0.285, 0.2849, 0.2846, 0.2835",\
                 "0.3061, 0.3046, 0.3031, 0.3026, 0.3024, 0.3024, 0.3024, 0.3022, 0.3008, 0.2974");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.005872, 0.02298, 0.05564, 0.1065, 0.1779, 0.2719, 0.3902, 0.5347, 0.7069");
          values("0.151, 0.1502, 0.1499, 0.1506, 0.1516, 0.1528, 0.1542, 0.1603, 0.2237, 0.49",\
                 "0.151, 0.1504, 0.1499, 0.1508, 0.152, 0.1528, 0.1542, 0.1617, 0.2265, 0.4955",\
                 "0.1512, 0.1507, 0.15, 0.1509, 0.1521, 0.1529, 0.1544, 0.1622, 0.2309, 0.5141",\
                 "0.1521, 0.1517, 0.1512, 0.1519, 0.153, 0.1539, 0.1556, 0.1645, 0.2429, 0.5521",\
                 "0.1549, 0.1542, 0.1536, 0.1543, 0.1556, 0.1568, 0.1581, 0.1703, 0.2636, 0.6127",\
                 "0.1594, 0.1588, 0.1582, 0.1591, 0.1602, 0.1612, 0.163, 0.1799, 0.2988, 0.7008",\
                 "0.1664, 0.1658, 0.165, 0.1659, 0.1674, 0.1685, 0.1701, 0.1951, 0.3529, 0.8227",\
                 "0.1758, 0.1751, 0.1744, 0.1752, 0.1757, 0.1777, 0.1822, 0.2225, 0.4401, 0.994",\
                 "0.1881, 0.1873, 0.1866, 0.1873, 0.1878, 0.1889, 0.1967, 0.2709, 0.5802, 1.215",\
                 "0.203, 0.2022, 0.2017, 0.202, 0.2029, 0.2043, 0.2209, 0.3598, 0.7945, 1.476");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.005872, 0.02298, 0.05564, 0.1065, 0.1779, 0.2719, 0.3902, 0.5347, 0.7069");
          values("0.2121, 0.2093, 0.2056, 0.2036, 0.2026, 0.2021, 0.2017, 0.2015, 0.2014, 0.2013",\
                 "0.2113, 0.2085, 0.2048, 0.2028, 0.2018, 0.2013, 0.201, 0.2008, 0.2006, 0.2005",\
                 "0.2111, 0.2082, 0.2045, 0.2025, 0.2016, 0.2011, 0.2007, 0.2005, 0.2004, 0.2002",\
                 "0.2124, 0.2096, 0.2058, 0.2039, 0.2029, 0.2024, 0.2021, 0.2018, 0.2017, 0.2016",\
                 "0.2156, 0.2127, 0.2089, 0.2071, 0.2061, 0.2056, 0.2052, 0.205, 0.2048, 0.2047",\
                 "0.2205, 0.2177, 0.214, 0.212, 0.211, 0.2106, 0.2102, 0.21, 0.2098, 0.2097",\
                 "0.2274, 0.2246, 0.221, 0.219, 0.218, 0.2175, 0.2171, 0.2169, 0.2167, 0.2164",\
                 "0.2364, 0.2336, 0.23, 0.228, 0.227, 0.2264, 0.2261, 0.2259, 0.2256, 0.2251",\
                 "0.2479, 0.2449, 0.2412, 0.2392, 0.2383, 0.2378, 0.2375, 0.2372, 0.2367, 0.2351",\
                 "0.2616, 0.2588, 0.2551, 0.2531, 0.2521, 0.2515, 0.2512, 0.2504, 0.248, 0.2439");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.005872, 0.02298, 0.05564, 0.1065, 0.1779, 0.2719, 0.3902, 0.5347, 0.7069");
          values("0.1958, 0.1942, 0.1919, 0.1911, 0.1913, 0.1922, 0.1935, 0.2017, 0.2741, 0.5693",\
                 "0.1959, 0.1944, 0.1922, 0.1912, 0.1914, 0.1926, 0.1936, 0.2021, 0.277, 0.5773",\
                 "0.196, 0.1946, 0.1923, 0.1913, 0.1916, 0.1927, 0.1938, 0.2033, 0.2833, 0.5973",\
                 "0.1967, 0.1952, 0.193, 0.1921, 0.1922, 0.1931, 0.1945, 0.2054, 0.294, 0.6308",\
                 "0.1984, 0.1969, 0.1947, 0.1936, 0.194, 0.1948, 0.1965, 0.2101, 0.3132, 0.6833",\
                 "0.2016, 0.2001, 0.1978, 0.1972, 0.1971, 0.1982, 0.1998, 0.2174, 0.3432, 0.7575",\
                 "0.2065, 0.205, 0.2027, 0.2015, 0.2025, 0.2036, 0.2052, 0.2302, 0.388, 0.8597",\
                 "0.2133, 0.2117, 0.2096, 0.2085, 0.2085, 0.21, 0.214, 0.2518, 0.4578, 0.998",\
                 "0.2221, 0.2206, 0.2184, 0.2174, 0.2173, 0.2179, 0.224, 0.2872, 0.5675, 1.18",\
                 "0.2329, 0.2314, 0.2291, 0.2282, 0.2279, 0.2285, 0.2392, 0.3475, 0.731, 1.402");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.005872, 0.02298, 0.05564, 0.1065, 0.1779, 0.2719, 0.3902, 0.5347, 0.7069");
          values("0.2498, 0.2484, 0.2469, 0.2463, 0.2463, 0.2462, 0.2463, 0.2463, 0.2463, 0.2463",\
                 "0.2499, 0.2485, 0.247, 0.2465, 0.2464, 0.2463, 0.2464, 0.2464, 0.2464, 0.2464",\
                 "0.2501, 0.2486, 0.2472, 0.2467, 0.2465, 0.2465, 0.2465, 0.2465, 0.2466, 0.2466",\
                 "0.2507, 0.2493, 0.2478, 0.2472, 0.2472, 0.2472, 0.2471, 0.2472, 0.2472, 0.2472",\
                 "0.2524, 0.251, 0.2496, 0.2491, 0.2489, 0.2489, 0.2489, 0.2489, 0.2489, 0.2489",\
                 "0.2557, 0.2543, 0.2527, 0.2522, 0.2522, 0.2521, 0.2521, 0.2522, 0.2522, 0.2522",\
                 "0.2605, 0.2591, 0.2576, 0.2571, 0.257, 0.257, 0.257, 0.257, 0.257, 0.257",\
                 "0.2672, 0.2658, 0.2643, 0.2639, 0.2638, 0.2638, 0.2638, 0.2638, 0.2638, 0.2637",\
                 "0.2759, 0.2746, 0.2731, 0.2725, 0.2724, 0.2724, 0.2724, 0.2724, 0.2724, 0.2722",\
                 "0.2868, 0.2854, 0.284, 0.2834, 0.2833, 0.2832, 0.2832, 0.2833, 0.2832, 0.2828");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.005872, 0.02298, 0.05564, 0.1065, 0.1779, 0.2719, 0.3902, 0.5347, 0.7069");
          values("0.214, 0.2133, 0.2129, 0.2135, 0.2147, 0.2158, 0.2174, 0.2269, 0.3059, 0.6203",\
                 "0.2132, 0.2126, 0.2121, 0.2128, 0.2142, 0.2152, 0.2164, 0.2262, 0.3073, 0.623",\
                 "0.2129, 0.2123, 0.2118, 0.2127, 0.2138, 0.215, 0.2164, 0.2268, 0.3137, 0.6448",\
                 "0.2143, 0.2136, 0.2132, 0.214, 0.215, 0.2167, 0.2174, 0.2311, 0.3317, 0.697",\
                 "0.2174, 0.2167, 0.2163, 0.2172, 0.2183, 0.2198, 0.2209, 0.2404, 0.3692, 0.7914",\
                 "0.2225, 0.2218, 0.2215, 0.2222, 0.2233, 0.2246, 0.2269, 0.2578, 0.4356, 0.9391",\
                 "0.2295, 0.2287, 0.2285, 0.2291, 0.2302, 0.2318, 0.2361, 0.2917, 0.5549, 1.156",\
                 "0.2385, 0.2379, 0.2373, 0.2382, 0.2396, 0.2404, 0.2536, 0.3671, 0.7652, 1.442",\
                 "0.2499, 0.2493, 0.2487, 0.2493, 0.2505, 0.2548, 0.3003, 0.5513, 1.096, 1.732",\
                 "0.2638, 0.2631, 0.2628, 0.2633, 0.2643, 0.289, 0.4772, 0.9226, 1.419, 1.812");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.005872, 0.02298, 0.05564, 0.1065, 0.1779, 0.2719, 0.3902, 0.5347, 0.7069");
          values("0.1515, 0.1486, 0.1446, 0.1427, 0.1416, 0.141, 0.1407, 0.1405, 0.1403, 0.1402",\
                 "0.1516, 0.1487, 0.1447, 0.1427, 0.1417, 0.1411, 0.1408, 0.1406, 0.1404, 0.1403",\
                 "0.1517, 0.1488, 0.1448, 0.1429, 0.1418, 0.1412, 0.1409, 0.1406, 0.1405, 0.1403",\
                 "0.1524, 0.1494, 0.1455, 0.1435, 0.1425, 0.1419, 0.1416, 0.1413, 0.1412, 0.141",\
                 "0.1547, 0.1517, 0.1478, 0.1457, 0.1446, 0.144, 0.1436, 0.1434, 0.1433, 0.1431",\
                 "0.1591, 0.1561, 0.152, 0.1498, 0.1488, 0.1481, 0.1477, 0.1475, 0.1473, 0.1472",\
                 "0.1662, 0.1632, 0.1589, 0.1565, 0.1555, 0.1549, 0.1544, 0.1541, 0.154, 0.1538",\
                 "0.1763, 0.1731, 0.1687, 0.1663, 0.1649, 0.1643, 0.1639, 0.1636, 0.1635, 0.1632",\
                 "0.1893, 0.1861, 0.1814, 0.1787, 0.1774, 0.1767, 0.1763, 0.1761, 0.1759, 0.1756",\
                 "0.2054, 0.202, 0.1972, 0.1945, 0.193, 0.1921, 0.1918, 0.1915, 0.1912, 0.1906");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.005872, 0.02298, 0.05564, 0.1065, 0.1779, 0.2719, 0.3902, 0.5347, 0.7069");
          values("0.1959, 0.1945, 0.1922, 0.1911, 0.1912, 0.1921, 0.1934, 0.2008, 0.269, 0.5515",\
                 "0.1956, 0.1941, 0.1917, 0.1907, 0.1909, 0.1917, 0.193, 0.2004, 0.2704, 0.5565",\
                 "0.1955, 0.194, 0.1916, 0.1906, 0.1907, 0.1917, 0.1933, 0.2017, 0.2761, 0.5776",\
                 "0.1965, 0.1949, 0.1925, 0.1917, 0.1917, 0.1926, 0.1941, 0.2043, 0.2913, 0.6236",\
                 "0.1995, 0.1981, 0.1957, 0.1948, 0.1948, 0.1957, 0.1973, 0.2124, 0.3225, 0.7066",\
                 "0.2065, 0.205, 0.2024, 0.2012, 0.2014, 0.2024, 0.2043, 0.2292, 0.381, 0.8449",\
                 "0.2169, 0.2153, 0.2125, 0.2115, 0.211, 0.2119, 0.2155, 0.2592, 0.4869, 1.052",\
                 "0.2302, 0.2283, 0.2253, 0.2236, 0.2239, 0.2247, 0.2334, 0.3233, 0.6741, 1.334",\
                 "0.2468, 0.2449, 0.2419, 0.2398, 0.2394, 0.2414, 0.2727, 0.4749, 0.9833, 1.65",\
                 "0.2668, 0.2648, 0.2615, 0.2594, 0.258, 0.2698, 0.4017, 0.8064, 1.352, 1.826");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.005872, 0.02298, 0.05564, 0.1065, 0.1779, 0.2719, 0.3902, 0.5347, 0.7069");
          values("0.2506, 0.2491, 0.2476, 0.2471, 0.247, 0.247, 0.247, 0.247, 0.247, 0.247",\
                 "0.2501, 0.2487, 0.2472, 0.2468, 0.2466, 0.2466, 0.2466, 0.2466, 0.2466, 0.2467",\
                 "0.2501, 0.2487, 0.2472, 0.2466, 0.2465, 0.2466, 0.2465, 0.2466, 0.2465, 0.2466",\
                 "0.2511, 0.2497, 0.2481, 0.2476, 0.2475, 0.2476, 0.2475, 0.2475, 0.2475, 0.2475",\
                 "0.2542, 0.2527, 0.2512, 0.2507, 0.2506, 0.2506, 0.2506, 0.2507, 0.2507, 0.2507",\
                 "0.2604, 0.259, 0.2576, 0.2571, 0.2569, 0.257, 0.2569, 0.2569, 0.257, 0.2569",\
                 "0.2696, 0.2681, 0.2666, 0.2661, 0.266, 0.2659, 0.266, 0.266, 0.266, 0.2659",\
                 "0.2815, 0.2801, 0.2784, 0.278, 0.2778, 0.2778, 0.2778, 0.2779, 0.2778, 0.2774",\
                 "0.2964, 0.295, 0.2934, 0.293, 0.2928, 0.2929, 0.2929, 0.2929, 0.2926, 0.2914",\
                 "0.3147, 0.3132, 0.3117, 0.3112, 0.3111, 0.3111, 0.3111, 0.3107, 0.309, 0.3053");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.005872, 0.02298, 0.05564, 0.1065, 0.1779, 0.2719, 0.3902, 0.5347, 0.7069");
          values("0.1533, 0.1525, 0.152, 0.1527, 0.1539, 0.155, 0.1562, 0.1627, 0.2257, 0.4938",\
                 "0.1533, 0.1525, 0.1521, 0.1528, 0.1541, 0.155, 0.1561, 0.1635, 0.2271, 0.4989",\
                 "0.1534, 0.1527, 0.1522, 0.1531, 0.1543, 0.1551, 0.1566, 0.1643, 0.2327, 0.5162",\
                 "0.1542, 0.1535, 0.1531, 0.1539, 0.1552, 0.1563, 0.1576, 0.167, 0.2439, 0.5496",\
                 "0.1567, 0.156, 0.1554, 0.1561, 0.1574, 0.1585, 0.1599, 0.1715, 0.2627, 0.6049",\
                 "0.161, 0.1602, 0.1597, 0.1607, 0.1617, 0.1626, 0.1644, 0.1799, 0.2928, 0.6859",\
                 "0.1678, 0.1671, 0.1664, 0.1668, 0.1685, 0.1701, 0.1712, 0.1952, 0.3435, 0.8001",\
                 "0.1771, 0.1764, 0.1759, 0.1765, 0.1772, 0.1792, 0.1829, 0.2193, 0.4226, 0.959",\
                 "0.1892, 0.1886, 0.188, 0.1886, 0.1893, 0.1901, 0.1969, 0.2623, 0.5509, 1.17",\
                 "0.2042, 0.2035, 0.2028, 0.2035, 0.2044, 0.2048, 0.2182, 0.3387, 0.7457, 1.422");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.005872, 0.02298, 0.05564, 0.1065, 0.1779, 0.2719, 0.3902, 0.5347, 0.7069");
          values("0.1436, 0.1408, 0.1372, 0.1354, 0.1344, 0.1338, 0.1335, 0.1333, 0.1331, 0.133",\
                 "0.1427, 0.1399, 0.1363, 0.1345, 0.1335, 0.133, 0.1326, 0.1324, 0.1322, 0.1321",\
                 "0.1414, 0.1386, 0.135, 0.1332, 0.1322, 0.1317, 0.1314, 0.1312, 0.131, 0.1309",\
                 "0.1434, 0.1405, 0.1366, 0.1346, 0.1336, 0.1331, 0.1328, 0.1326, 0.1325, 0.1324",\
                 "0.1533, 0.1497, 0.1445, 0.1413, 0.1398, 0.1389, 0.1384, 0.1381, 0.138, 0.1378",\
                 "0.1684, 0.164, 0.157, 0.1526, 0.1502, 0.1488, 0.148, 0.1476, 0.1473, 0.1471",\
                 "0.1876, 0.1827, 0.174, 0.1682, 0.1649, 0.163, 0.1618, 0.1612, 0.1607, 0.1603",\
                 "0.2121, 0.2063, 0.1961, 0.1888, 0.1845, 0.1817, 0.1802, 0.1792, 0.1785, 0.1779",\
                 "0.2422, 0.2359, 0.2238, 0.2148, 0.2092, 0.2057, 0.2035, 0.2021, 0.2011, 0.1999",\
                 "0.2782, 0.2713, 0.2572, 0.2466, 0.2396, 0.235, 0.2321, 0.23, 0.2284, 0.2258");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.005872, 0.02298, 0.05564, 0.1065, 0.1779, 0.2719, 0.3902, 0.5347, 0.7069");
          values("0.07362, 0.07313, 0.07322, 0.07424, 0.07533, 0.07643, 0.07781, 0.08257, 0.1286, 0.3436",\
                 "0.07382, 0.07333, 0.07337, 0.07454, 0.0756, 0.0767, 0.07784, 0.08281, 0.1287, 0.3494",\
                 "0.07418, 0.07363, 0.07349, 0.07433, 0.07545, 0.0767, 0.07778, 0.08314, 0.1343, 0.3651",\
                 "0.07796, 0.07695, 0.07588, 0.07595, 0.07698, 0.07793, 0.07927, 0.08495, 0.1423, 0.3957",\
                 "0.0854, 0.08365, 0.08143, 0.08114, 0.0813, 0.08204, 0.08369, 0.09138, 0.1594, 0.4433",\
                 "0.09715, 0.09525, 0.09135, 0.08948, 0.08976, 0.0905, 0.09063, 0.1013, 0.1878, 0.5183",\
                 "0.1138, 0.1111, 0.1063, 0.1026, 0.1014, 0.1024, 0.1034, 0.1187, 0.2321, 0.6249",\
                 "0.1351, 0.1318, 0.1259, 0.1209, 0.118, 0.1172, 0.12, 0.1452, 0.3051, 0.7815",\
                 "0.1616, 0.1573, 0.1502, 0.1444, 0.1403, 0.139, 0.1404, 0.1889, 0.4244, 0.9962",\
                 "0.1933, 0.1882, 0.18, 0.1727, 0.1676, 0.1635, 0.1708, 0.2608, 0.6142, 1.272");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.005872, 0.02298, 0.05564, 0.1065, 0.1779, 0.2719, 0.3902, 0.5347, 0.7069");
          values("0.1555, 0.1542, 0.1525, 0.1521, 0.1519, 0.1519, 0.152, 0.152, 0.1519, 0.1519",\
                 "0.1553, 0.1539, 0.1525, 0.1519, 0.1518, 0.1518, 0.1517, 0.1517, 0.1517, 0.1517",\
                 "0.1541, 0.1528, 0.1512, 0.1507, 0.1506, 0.1506, 0.1506, 0.1505, 0.1505, 0.1505",\
                 "0.1533, 0.1519, 0.1503, 0.1498, 0.1497, 0.1496, 0.1496, 0.1496, 0.1496, 0.1496",\
                 "0.1553, 0.154, 0.1526, 0.152, 0.1519, 0.1519, 0.1519, 0.1519, 0.1519, 0.1519",\
                 "0.1614, 0.16, 0.1585, 0.1578, 0.1578, 0.1577, 0.1577, 0.1577, 0.1577, 0.1577",\
                 "0.1711, 0.1697, 0.1679, 0.1673, 0.167, 0.167, 0.167, 0.1671, 0.167, 0.167",\
                 "0.1848, 0.183, 0.181, 0.1802, 0.1799, 0.1798, 0.1798, 0.1798, 0.1799, 0.1798",\
                 "0.2023, 0.2005, 0.1982, 0.197, 0.1966, 0.1966, 0.1966, 0.1966, 0.1966, 0.1965",\
                 "0.224, 0.2219, 0.2193, 0.2181, 0.2175, 0.2174, 0.2174, 0.2173, 0.2173, 0.217");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.005872, 0.02298, 0.05564, 0.1065, 0.1779, 0.2719, 0.3902, 0.5347, 0.7069");
          values("0.168, 0.1671, 0.1663, 0.1667, 0.1677, 0.1686, 0.1697, 0.1754, 0.2287, 0.47",\
                 "0.1677, 0.1668, 0.166, 0.1664, 0.1673, 0.1685, 0.1697, 0.1759, 0.2304, 0.4752",\
                 "0.1679, 0.1672, 0.1663, 0.1667, 0.1677, 0.1689, 0.17, 0.1767, 0.2355, 0.4943",\
                 "0.1698, 0.1688, 0.168, 0.1684, 0.1693, 0.1704, 0.1716, 0.1797, 0.2493, 0.5372",\
                 "0.1744, 0.1734, 0.1724, 0.1728, 0.1737, 0.1749, 0.1762, 0.1871, 0.2748, 0.6085",\
                 "0.1821, 0.1811, 0.1802, 0.1807, 0.1814, 0.1824, 0.184, 0.2011, 0.3194, 0.7208",\
                 "0.1938, 0.1929, 0.1916, 0.1917, 0.1932, 0.194, 0.1962, 0.2251, 0.3975, 0.8917",\
                 "0.2094, 0.2084, 0.2068, 0.2067, 0.2074, 0.2097, 0.2149, 0.2698, 0.5365, 1.138",\
                 "0.2291, 0.228, 0.2264, 0.226, 0.2264, 0.2276, 0.2436, 0.3654, 0.7767, 1.456",\
                 "0.2532, 0.2519, 0.2501, 0.2494, 0.2497, 0.2524, 0.308, 0.5845, 1.138, 1.755");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.005872, 0.02298, 0.05564, 0.1065, 0.1779, 0.2719, 0.3902, 0.5347, 0.7069");
          values("0.1555, 0.1542, 0.1527, 0.152, 0.1519, 0.1519, 0.152, 0.152, 0.1519, 0.1519",\
                 "0.1553, 0.1539, 0.1525, 0.1519, 0.1518, 0.1518, 0.1517, 0.1517, 0.1517, 0.1517",\
                 "0.1541, 0.1528, 0.1513, 0.1507, 0.1506, 0.1505, 0.1506, 0.1505, 0.1505, 0.1505",\
                 "0.1533, 0.1519, 0.1502, 0.1498, 0.1497, 0.1496, 0.1496, 0.1496, 0.1496, 0.1496",\
                 "0.1553, 0.154, 0.1525, 0.152, 0.1519, 0.1519, 0.1519, 0.1519, 0.1519, 0.1519",\
                 "0.1614, 0.16, 0.1585, 0.1578, 0.1578, 0.1577, 0.1577, 0.1576, 0.1577, 0.1577",\
                 "0.1712, 0.1697, 0.168, 0.1673, 0.167, 0.167, 0.167, 0.167, 0.167, 0.167",\
                 "0.1848, 0.1831, 0.181, 0.1802, 0.1799, 0.1798, 0.1798, 0.1798, 0.1799, 0.1798",\
                 "0.2023, 0.2005, 0.1982, 0.197, 0.1966, 0.1966, 0.1966, 0.1966, 0.1966, 0.1965",\
                 "0.224, 0.2219, 0.2193, 0.2181, 0.2175, 0.2174, 0.2174, 0.2173, 0.2173, 0.217");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.005872, 0.02298, 0.05564, 0.1065, 0.1779, 0.2719, 0.3902, 0.5347, 0.7069");
          values("0.168, 0.1671, 0.1663, 0.1667, 0.1677, 0.1686, 0.1698, 0.176, 0.2294, 0.4704",\
                 "0.1677, 0.1669, 0.166, 0.1664, 0.1674, 0.1686, 0.1697, 0.1759, 0.231, 0.4741",\
                 "0.1679, 0.1671, 0.1663, 0.1667, 0.1676, 0.1689, 0.1701, 0.1761, 0.2355, 0.4943",\
                 "0.1697, 0.1689, 0.1681, 0.1683, 0.1694, 0.1704, 0.1718, 0.18, 0.2493, 0.5364",\
                 "0.1744, 0.1734, 0.1725, 0.1728, 0.1737, 0.1749, 0.1762, 0.1877, 0.2751, 0.6085",\
                 "0.1821, 0.1811, 0.1801, 0.1807, 0.1813, 0.1824, 0.1844, 0.2009, 0.32, 0.7208",\
                 "0.1937, 0.1927, 0.1915, 0.1917, 0.193, 0.1941, 0.1961, 0.2249, 0.3975, 0.8914",\
                 "0.2095, 0.2084, 0.2068, 0.2068, 0.2074, 0.2098, 0.2146, 0.2702, 0.5362, 1.138",\
                 "0.2291, 0.228, 0.2266, 0.2259, 0.2262, 0.2282, 0.2436, 0.3656, 0.7767, 1.455",\
                 "0.2532, 0.2519, 0.25, 0.2495, 0.2497, 0.2524, 0.308, 0.5845, 1.138, 1.755");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.005872, 0.02298, 0.05564, 0.1065, 0.1779, 0.2719, 0.3902, 0.5347, 0.7069");
          values("0.1436, 0.1408, 0.1372, 0.1353, 0.1344, 0.1338, 0.1335, 0.1333, 0.1331, 0.133",\
                 "0.1427, 0.1399, 0.1363, 0.1345, 0.1335, 0.133, 0.1326, 0.1324, 0.1322, 0.1321",\
                 "0.1414, 0.1386, 0.135, 0.1331, 0.1322, 0.1317, 0.1314, 0.1311, 0.131, 0.1309",\
                 "0.1434, 0.1405, 0.1366, 0.1346, 0.1337, 0.1331, 0.1328, 0.1327, 0.1325, 0.1324",\
                 "0.1534, 0.1497, 0.1445, 0.1413, 0.1398, 0.1389, 0.1385, 0.1381, 0.138, 0.1378",\
                 "0.1684, 0.1641, 0.1571, 0.1527, 0.1502, 0.1488, 0.148, 0.1476, 0.1472, 0.147",\
                 "0.1878, 0.1827, 0.1741, 0.1683, 0.165, 0.163, 0.1619, 0.1611, 0.1607, 0.1603",\
                 "0.2122, 0.2064, 0.1962, 0.1889, 0.1845, 0.1818, 0.1802, 0.1792, 0.1785, 0.1779",\
                 "0.2423, 0.236, 0.2238, 0.2148, 0.2092, 0.2057, 0.2035, 0.2021, 0.2011, 0.1999",\
                 "0.2782, 0.2714, 0.2573, 0.2465, 0.2395, 0.235, 0.2321, 0.2301, 0.2284, 0.2258");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.005872, 0.02298, 0.05564, 0.1065, 0.1779, 0.2719, 0.3902, 0.5347, 0.7069");
          values("0.07366, 0.07318, 0.07321, 0.07424, 0.07534, 0.07641, 0.0777, 0.08258, 0.1295, 0.3436",\
                 "0.0738, 0.07331, 0.07352, 0.07442, 0.07561, 0.07674, 0.07797, 0.08341, 0.1299, 0.3487",\
                 "0.07417, 0.07363, 0.07337, 0.0743, 0.07561, 0.07659, 0.07776, 0.08315, 0.1327, 0.3645",\
                 "0.0779, 0.07691, 0.07584, 0.07601, 0.07696, 0.07791, 0.07924, 0.08555, 0.1426, 0.3957",\
                 "0.08535, 0.08385, 0.08164, 0.08108, 0.08131, 0.08211, 0.0836, 0.09169, 0.159, 0.4433",\
                 "0.09723, 0.09504, 0.09166, 0.08933, 0.0898, 0.09036, 0.09098, 0.1013, 0.1875, 0.5179",\
                 "0.1138, 0.1109, 0.1063, 0.1024, 0.1014, 0.1023, 0.1033, 0.1187, 0.2322, 0.6268",\
                 "0.1351, 0.1318, 0.126, 0.121, 0.1182, 0.1175, 0.1204, 0.1453, 0.3051, 0.7805",\
                 "0.1617, 0.1576, 0.1504, 0.1445, 0.1401, 0.138, 0.1406, 0.1888, 0.4244, 0.9962",\
                 "0.1933, 0.1882, 0.18, 0.1728, 0.1677, 0.1637, 0.1708, 0.2614, 0.6142, 1.273");
        }
      }

      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.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.005872, 0.02298, 0.05564, 0.1065, 0.1779, 0.2719, 0.3902, 0.5347, 0.7069");
          values("3.25, 3.316, 3.49, 3.743, 4.09, 4.558, 5.168, 5.935, 6.871, 7.986",\
                 "3.279, 3.346, 3.519, 3.772, 4.12, 4.587, 5.197, 5.964, 6.899, 8.014",\
                 "3.366, 3.433, 3.606, 3.86, 4.207, 4.674, 5.284, 6.051, 6.987, 8.101",\
                 "3.438, 3.504, 3.678, 3.931, 4.279, 4.746, 5.356, 6.123, 7.059, 8.173",\
                 "3.448, 3.514, 3.688, 3.941, 4.288, 4.755, 5.365, 6.133, 7.068, 8.182",\
                 "3.389, 3.455, 3.628, 3.882, 4.229, 4.697, 5.307, 6.074, 7.009, 8.125",\
                 "3.236, 3.303, 3.476, 3.73, 4.077, 4.545, 5.154, 5.921, 6.857, 7.972",\
                 "2.993, 3.059, 3.233, 3.487, 3.834, 4.301, 4.911, 5.678, 6.614, 7.728",\
                 "2.652, 2.718, 2.891, 3.145, 3.493, 3.96, 4.569, 5.335, 6.271, 7.386",\
                 "2.209, 2.275, 2.449, 2.702, 3.049, 3.517, 4.127, 4.894, 5.829, 6.944");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.005872, 0.02298, 0.05564, 0.1065, 0.1779, 0.2719, 0.3902, 0.5347, 0.7069");
          values("3.082, 3.164, 3.405, 3.82, 4.453, 5.34, 6.504, 7.969, 9.763, 11.89",\
                 "3.099, 3.181, 3.422, 3.838, 4.471, 5.357, 6.519, 7.988, 9.774, 11.91",\
                 "3.174, 3.256, 3.497, 3.913, 4.546, 5.432, 6.595, 8.063, 9.849, 11.99",\
                 "3.344, 3.426, 3.668, 4.083, 4.716, 5.602, 6.767, 8.23, 10.02, 12.16",\
                 "3.653, 3.735, 3.976, 4.391, 5.024, 5.91, 7.074, 8.54, 10.33, 12.47",\
                 "4.096, 4.178, 4.418, 4.834, 5.467, 6.353, 7.518, 8.983, 10.78, 12.91",\
                 "4.661, 4.743, 4.985, 5.4, 6.033, 6.92, 8.083, 9.55, 11.34, 13.47",\
                 "5.353, 5.436, 5.678, 6.093, 6.726, 7.611, 8.776, 10.24, 12.03, 14.16",\
                 "6.171, 6.253, 6.494, 6.909, 7.543, 8.428, 9.591, 11.06, 12.85, 14.98",\
                 "7.113, 7.195, 7.436, 7.85, 8.483, 9.371, 10.53, 12, 13.79, 15.92");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.005872, 0.02298, 0.05564, 0.1065, 0.1779, 0.2719, 0.3902, 0.5347, 0.7069");
          values("0.2292, 0.2902, 0.4692, 0.7864, 1.306, 2.072, 3.102, 4.407, 5.999, 7.897",\
                 "0.229, 0.2908, 0.469, 0.7868, 1.307, 2.073, 3.101, 4.406, 5.998, 7.892",\
                 "0.2294, 0.2906, 0.4688, 0.7868, 1.306, 2.072, 3.102, 4.407, 6, 7.895",\
                 "0.2292, 0.29, 0.4686, 0.7862, 1.306, 2.073, 3.1, 4.407, 5.997, 7.894",\
                 "0.229, 0.2906, 0.4688, 0.786, 1.307, 2.073, 3.101, 4.405, 5.998, 7.892",\
                 "0.2294, 0.29, 0.4694, 0.7872, 1.308, 2.072, 3.099, 4.406, 5.997, 7.898",\
                 "0.2292, 0.2908, 0.4686, 0.787, 1.307, 2.07, 3.098, 4.403, 6, 7.9",\
                 "0.229, 0.2904, 0.4694, 0.7864, 1.306, 2.069, 3.1, 4.397, 5.988, 7.884",\
                 "0.2292, 0.2906, 0.4688, 0.786, 1.308, 2.072, 3.098, 4.404, 5.988, 7.884",\
                 "0.228, 0.292, 0.47, 0.786, 1.306, 2.072, 3.098, 4.4, 5.99, 7.886");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.005872, 0.02298, 0.05564, 0.1065, 0.1779, 0.2719, 0.3902, 0.5347, 0.7069");
          values("0.2568, 0.3606, 0.7048, 1.387, 2.49, 4.05, 6.104, 8.686, 11.85, 15.62",\
                 "0.2582, 0.3618, 0.7036, 1.387, 2.49, 4.054, 6.103, 8.693, 11.85, 15.61",\
                 "0.257, 0.3608, 0.7034, 1.387, 2.495, 4.049, 6.102, 8.691, 11.85, 15.61",\
                 "0.2574, 0.3604, 0.7042, 1.387, 2.493, 4.048, 6.11, 8.69, 11.85, 15.62",\
                 "0.2576, 0.3604, 0.705, 1.386, 2.493, 4.049, 6.1, 8.692, 11.84, 15.62",\
                 "0.2572, 0.3606, 0.7046, 1.386, 2.49, 4.054, 6.1, 8.682, 11.85, 15.61",\
                 "0.257, 0.3612, 0.704, 1.388, 2.495, 4.05, 6.102, 8.69, 11.84, 15.62",\
                 "0.256, 0.36, 0.704, 1.386, 2.492, 4.05, 6.102, 8.7, 11.85, 15.61",\
                 "0.258, 0.36, 0.704, 1.388, 2.49, 4.048, 6.098, 8.682, 11.86, 15.6",\
                 "0.258, 0.362, 0.704, 1.388, 2.492, 4.056, 6.096, 8.68, 11.84, 15.6");
        }
      }

      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.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.005872, 0.02298, 0.05564, 0.1065, 0.1779, 0.2719, 0.3902, 0.5347, 0.7069");
          values("1.699, 1.78, 1.996, 2.304, 2.695, 3.188, 3.808, 4.577, 5.514, 6.629",\
                 "1.722, 1.804, 2.02, 2.328, 2.719, 3.212, 3.832, 4.601, 5.537, 6.652",\
                 "1.806, 1.888, 2.104, 2.411, 2.802, 3.296, 3.915, 4.685, 5.621, 6.736",\
                 "1.954, 2.036, 2.251, 2.56, 2.951, 3.444, 4.064, 4.833, 5.769, 6.884",\
                 "2.095, 2.177, 2.393, 2.7, 3.092, 3.585, 4.205, 4.974, 5.91, 7.025",\
                 "2.185, 2.267, 2.484, 2.793, 3.184, 3.677, 4.298, 5.067, 6.003, 7.118",\
                 "2.22, 2.302, 2.519, 2.829, 3.221, 3.715, 4.335, 5.105, 6.041, 7.155",\
                 "2.19, 2.272, 2.491, 2.801, 3.194, 3.688, 4.308, 5.077, 6.014, 7.127",\
                 "2.086, 2.17, 2.39, 2.702, 3.096, 3.59, 4.21, 4.98, 5.915, 7.03",\
                 "1.903, 1.987, 2.209, 2.523, 2.918, 3.414, 4.034, 4.804, 5.741, 6.855");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.005872, 0.02298, 0.05564, 0.1065, 0.1779, 0.2719, 0.3902, 0.5347, 0.7069");
          values("2.192, 2.277, 2.523, 2.939, 3.573, 4.458, 5.623, 7.088, 8.878, 11.01",\
                 "2.222, 2.307, 2.553, 2.97, 3.603, 4.489, 5.653, 7.118, 8.907, 11.04",\
                 "2.325, 2.41, 2.656, 3.072, 3.706, 4.592, 5.756, 7.221, 9.01, 11.15",\
                 "2.552, 2.636, 2.882, 3.299, 3.932, 4.818, 5.982, 7.447, 9.236, 11.37",\
                 "2.935, 3.02, 3.266, 3.683, 4.316, 5.202, 6.366, 7.831, 9.62, 11.75",\
                 "3.46, 3.544, 3.791, 4.207, 4.84, 5.726, 6.89, 8.355, 10.15, 12.28",\
                 "4.076, 4.162, 4.408, 4.824, 5.458, 6.343, 7.508, 8.974, 10.76, 12.89",\
                 "4.788, 4.873, 5.122, 5.537, 6.17, 7.056, 8.22, 9.686, 11.48, 13.61",\
                 "5.602, 5.689, 5.936, 6.353, 6.985, 7.871, 9.034, 10.5, 12.29, 14.42",\
                 "6.52, 6.607, 6.856, 7.274, 7.905, 8.791, 9.955, 11.42, 13.21, 15.34");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.005872, 0.02298, 0.05564, 0.1065, 0.1779, 0.2719, 0.3902, 0.5347, 0.7069");
          values("0.3076, 0.3842, 0.6018, 0.9422, 1.443, 2.166, 3.157, 4.438, 6.015, 7.92",\
                 "0.3072, 0.3838, 0.6016, 0.941, 1.444, 2.166, 3.157, 4.438, 6.023, 7.921",\
                 "0.3076, 0.3842, 0.602, 0.9424, 1.444, 2.164, 3.153, 4.438, 6.02, 7.92",\
                 "0.3078, 0.3844, 0.6018, 0.9414, 1.444, 2.166, 3.153, 4.432, 6.022, 7.914",\
                 "0.309, 0.3854, 0.603, 0.9436, 1.445, 2.165, 3.157, 4.438, 6.023, 7.921",\
                 "0.3112, 0.388, 0.6058, 0.944, 1.444, 2.168, 3.154, 4.435, 6.023, 7.92",\
                 "0.3138, 0.391, 0.609, 0.9466, 1.446, 2.166, 3.155, 4.433, 6.015, 7.916",\
                 "0.3186, 0.3954, 0.6112, 0.9506, 1.448, 2.171, 3.155, 4.433, 6.013, 7.91",\
                 "0.3234, 0.4012, 0.6174, 0.9558, 1.451, 2.172, 3.154, 4.432, 6.014, 7.908",\
                 "0.328, 0.406, 0.624, 0.96, 1.456, 2.174, 3.158, 4.44, 6.016, 7.908");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.005872, 0.02298, 0.05564, 0.1065, 0.1779, 0.2719, 0.3902, 0.5347, 0.7069");
          values("0.283, 0.3862, 0.725, 1.4, 2.498, 4.055, 6.107, 8.684, 11.85, 15.62",\
                 "0.2822, 0.3862, 0.7252, 1.401, 2.497, 4.051, 6.111, 8.687, 11.85, 15.63",\
                 "0.2832, 0.3862, 0.725, 1.401, 2.498, 4.053, 6.111, 8.687, 11.84, 15.61",\
                 "0.283, 0.386, 0.7248, 1.402, 2.498, 4.051, 6.113, 8.687, 11.85, 15.62",\
                 "0.2832, 0.3864, 0.7252, 1.401, 2.497, 4.052, 6.111, 8.687, 11.85, 15.63",\
                 "0.2846, 0.3882, 0.7262, 1.402, 2.498, 4.06, 6.108, 8.683, 11.85, 15.61",\
                 "0.2886, 0.3926, 0.7286, 1.401, 2.5, 4.055, 6.105, 8.686, 11.85, 15.6",\
                 "0.2918, 0.3948, 0.732, 1.404, 2.498, 4.052, 6.112, 8.688, 11.84, 15.62",\
                 "0.296, 0.4, 0.736, 1.406, 2.5, 4.056, 6.1, 8.682, 11.84, 15.6",\
                 "0.304, 0.404, 0.74, 1.406, 2.5, 4.06, 6.104, 8.692, 11.84, 15.62");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.005872, 0.02298, 0.05564, 0.1065, 0.1779, 0.2719, 0.3902, 0.5347, 0.7069");
          values("3.25, 3.316, 3.49, 3.743, 4.09, 4.558, 5.168, 5.935, 6.871, 7.986",\
                 "3.279, 3.346, 3.519, 3.772, 4.12, 4.587, 5.197, 5.964, 6.899, 8.014",\
                 "3.366, 3.433, 3.606, 3.86, 4.207, 4.674, 5.284, 6.051, 6.987, 8.101",\
                 "3.438, 3.504, 3.678, 3.931, 4.279, 4.746, 5.356, 6.123, 7.059, 8.173",\
                 "3.448, 3.514, 3.688, 3.941, 4.288, 4.755, 5.365, 6.133, 7.068, 8.182",\
                 "3.389, 3.455, 3.628, 3.882, 4.229, 4.697, 5.307, 6.074, 7.009, 8.125",\
                 "3.236, 3.303, 3.476, 3.73, 4.077, 4.545, 5.154, 5.921, 6.857, 7.972",\
                 "2.993, 3.059, 3.233, 3.487, 3.834, 4.301, 4.911, 5.678, 6.614, 7.728",\
                 "2.652, 2.718, 2.891, 3.145, 3.493, 3.96, 4.569, 5.335, 6.271, 7.386",\
                 "2.209, 2.275, 2.449, 2.702, 3.049, 3.517, 4.127, 4.894, 5.829, 6.944");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.005872, 0.02298, 0.05564, 0.1065, 0.1779, 0.2719, 0.3902, 0.5347, 0.7069");
          values("3.082, 3.164, 3.405, 3.82, 4.453, 5.34, 6.504, 7.969, 9.763, 11.89",\
                 "3.099, 3.181, 3.422, 3.838, 4.471, 5.357, 6.519, 7.988, 9.774, 11.91",\
                 "3.174, 3.256, 3.497, 3.913, 4.546, 5.432, 6.595, 8.063, 9.849, 11.99",\
                 "3.344, 3.426, 3.668, 4.083, 4.716, 5.602, 6.767, 8.23, 10.02, 12.16",\
                 "3.653, 3.735, 3.976, 4.391, 5.024, 5.91, 7.074, 8.54, 10.33, 12.47",\
                 "4.096, 4.178, 4.418, 4.834, 5.467, 6.353, 7.518, 8.983, 10.78, 12.91",\
                 "4.661, 4.743, 4.985, 5.4, 6.033, 6.92, 8.083, 9.55, 11.34, 13.47",\
                 "5.353, 5.436, 5.678, 6.093, 6.726, 7.611, 8.776, 10.24, 12.03, 14.16",\
                 "6.171, 6.253, 6.494, 6.909, 7.543, 8.428, 9.591, 11.06, 12.85, 14.98",\
                 "7.113, 7.195, 7.436, 7.85, 8.483, 9.371, 10.53, 12, 13.79, 15.92");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.005872, 0.02298, 0.05564, 0.1065, 0.1779, 0.2719, 0.3902, 0.5347, 0.7069");
          values("0.3076, 0.3842, 0.6018, 0.9422, 1.443, 2.166, 3.157, 4.438, 6.015, 7.92",\
                 "0.3072, 0.3838, 0.6016, 0.941, 1.444, 2.166, 3.157, 4.438, 6.023, 7.921",\
                 "0.3076, 0.3842, 0.602, 0.9424, 1.444, 2.164, 3.153, 4.438, 6.02, 7.92",\
                 "0.3078, 0.3844, 0.6018, 0.9414, 1.444, 2.166, 3.153, 4.432, 6.022, 7.914",\
                 "0.309, 0.3854, 0.603, 0.9436, 1.445, 2.165, 3.157, 4.438, 6.023, 7.921",\
                 "0.3112, 0.388, 0.6058, 0.944, 1.444, 2.168, 3.154, 4.435, 6.023, 7.92",\
                 "0.3138, 0.391, 0.609, 0.9466, 1.446, 2.166, 3.155, 4.433, 6.015, 7.916",\
                 "0.3186, 0.3954, 0.6112, 0.9506, 1.448, 2.171, 3.155, 4.433, 6.013, 7.91",\
                 "0.3234, 0.4012, 0.6174, 0.9558, 1.451, 2.172, 3.154, 4.432, 6.014, 7.908",\
                 "0.328, 0.406, 0.624, 0.96, 1.456, 2.174, 3.158, 4.44, 6.016, 7.908");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.005872, 0.02298, 0.05564, 0.1065, 0.1779, 0.2719, 0.3902, 0.5347, 0.7069");
          values("0.283, 0.3862, 0.725, 1.4, 2.498, 4.055, 6.107, 8.684, 11.85, 15.62",\
                 "0.2822, 0.3862, 0.7252, 1.401, 2.497, 4.051, 6.111, 8.687, 11.85, 15.63",\
                 "0.2832, 0.3862, 0.725, 1.401, 2.498, 4.053, 6.111, 8.687, 11.84, 15.61",\
                 "0.283, 0.386, 0.7248, 1.402, 2.498, 4.051, 6.113, 8.687, 11.85, 15.62",\
                 "0.2832, 0.3864, 0.7252, 1.401, 2.497, 4.052, 6.111, 8.687, 11.85, 15.63",\
                 "0.2846, 0.3882, 0.7262, 1.402, 2.498, 4.06, 6.108, 8.683, 11.85, 15.61",\
                 "0.2886, 0.3926, 0.7286, 1.401, 2.5, 4.055, 6.105, 8.686, 11.85, 15.6",\
                 "0.2918, 0.3948, 0.732, 1.404, 2.498, 4.052, 6.112, 8.688, 11.84, 15.62",\
                 "0.296, 0.4, 0.736, 1.406, 2.5, 4.056, 6.1, 8.682, 11.84, 15.6",\
                 "0.304, 0.404, 0.74, 1.406, 2.5, 4.06, 6.104, 8.692, 11.84, 15.62");
        }
      }

      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.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.005872, 0.02298, 0.05564, 0.1065, 0.1779, 0.2719, 0.3902, 0.5347, 0.7069");
          values("2.878, 2.959, 3.175, 3.482, 3.872, 4.365, 4.985, 5.754, 6.691, 7.805",\
                 "2.896, 2.977, 3.192, 3.499, 3.89, 4.382, 5.002, 5.772, 6.708, 7.822",\
                 "2.971, 3.052, 3.267, 3.574, 3.965, 4.457, 5.077, 5.847, 6.783, 7.898",\
                 "3.14, 3.222, 3.437, 3.744, 4.134, 4.627, 5.247, 6.017, 6.953, 8.068",\
                 "3.448, 3.53, 3.745, 4.052, 4.442, 4.935, 5.555, 6.325, 7.261, 8.375",\
                 "3.89, 3.971, 4.186, 4.494, 4.884, 5.377, 5.997, 6.766, 7.703, 8.816",\
                 "4.454, 4.535, 4.75, 5.057, 5.448, 5.941, 6.562, 7.331, 8.267, 9.382",\
                 "5.143, 5.225, 5.441, 5.747, 6.138, 6.631, 7.25, 8.02, 8.957, 10.07",\
                 "5.957, 6.039, 6.254, 6.561, 6.952, 7.445, 8.064, 8.834, 9.77, 10.88",\
                 "6.892, 6.975, 7.19, 7.498, 7.887, 8.38, 9, 9.771, 10.71, 11.82");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.005872, 0.02298, 0.05564, 0.1065, 0.1779, 0.2719, 0.3902, 0.5347, 0.7069");
          values("2.703, 2.788, 3.033, 3.45, 4.084, 4.97, 6.134, 7.6, 9.39, 11.52",\
                 "2.732, 2.817, 3.063, 3.48, 4.113, 4.999, 6.163, 7.628, 9.417, 11.55",\
                 "2.819, 2.904, 3.15, 3.567, 4.2, 5.086, 6.25, 7.716, 9.504, 11.64",\
                 "2.891, 2.976, 3.222, 3.639, 4.272, 5.158, 6.322, 7.787, 9.576, 11.71",\
                 "2.9, 2.985, 3.232, 3.648, 4.281, 5.167, 6.331, 7.796, 9.585, 11.72",\
                 "2.84, 2.925, 3.17, 3.587, 4.22, 5.107, 6.271, 7.737, 9.527, 11.66",\
                 "2.688, 2.773, 3.018, 3.434, 4.068, 4.953, 6.117, 7.584, 9.373, 11.51",\
                 "2.442, 2.527, 2.773, 3.19, 3.823, 4.709, 5.873, 7.339, 9.126, 11.26",\
                 "2.102, 2.186, 2.434, 2.849, 3.482, 4.368, 5.533, 6.997, 8.786, 10.92",\
                 "1.66, 1.744, 1.991, 2.407, 3.04, 3.926, 5.09, 6.556, 8.344, 10.48");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.005872, 0.02298, 0.05564, 0.1065, 0.1779, 0.2719, 0.3902, 0.5347, 0.7069");
          values("0.3042, 0.3808, 0.5984, 0.9386, 1.441, 2.165, 3.152, 4.438, 6.019, 7.913",\
                 "0.3038, 0.3806, 0.5982, 0.9394, 1.442, 2.164, 3.156, 4.438, 6.019, 7.912",\
                 "0.3042, 0.3808, 0.599, 0.9396, 1.439, 2.163, 3.156, 4.438, 6.023, 7.92",\
                 "0.3042, 0.381, 0.5992, 0.938, 1.439, 2.163, 3.156, 4.436, 6.016, 7.92",\
                 "0.3042, 0.3808, 0.5986, 0.938, 1.441, 2.163, 3.156, 4.437, 6.017, 7.917",\
                 "0.3044, 0.3808, 0.5986, 0.9378, 1.441, 2.165, 3.153, 4.438, 6.018, 7.917",\
                 "0.304, 0.3816, 0.5984, 0.9392, 1.44, 2.163, 3.157, 4.435, 6.022, 7.918",\
                 "0.304, 0.382, 0.598, 0.938, 1.44, 2.166, 3.152, 4.434, 6.018, 7.912",\
                 "0.304, 0.382, 0.598, 0.938, 1.44, 2.164, 3.152, 4.434, 6.014, 7.91",\
                 "0.306, 0.382, 0.6, 0.938, 1.442, 2.164, 3.154, 4.434, 6.012, 7.914");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.005872, 0.02298, 0.05564, 0.1065, 0.1779, 0.2719, 0.3902, 0.5347, 0.7069");
          values("0.2846, 0.3876, 0.7272, 1.4, 2.5, 4.06, 6.106, 8.688, 11.84, 15.61",\
                 "0.2844, 0.3874, 0.7258, 1.4, 2.497, 4.052, 6.112, 8.688, 11.84, 15.61",\
                 "0.2844, 0.3874, 0.727, 1.4, 2.497, 4.052, 6.112, 8.688, 11.85, 15.63",\
                 "0.2836, 0.3874, 0.7262, 1.4, 2.497, 4.052, 6.112, 8.687, 11.84, 15.61",\
                 "0.2846, 0.3876, 0.7258, 1.401, 2.497, 4.051, 6.111, 8.687, 11.85, 15.63",\
                 "0.2824, 0.386, 0.725, 1.402, 2.498, 4.06, 6.11, 8.684, 11.85, 15.6",\
                 "0.2838, 0.387, 0.725, 1.4, 2.496, 4.053, 6.113, 8.687, 11.84, 15.61",\
                 "0.2826, 0.3862, 0.7248, 1.4, 2.498, 4.052, 6.102, 8.684, 11.85, 15.6",\
                 "0.2836, 0.387, 0.7266, 1.402, 2.499, 4.054, 6.102, 8.684, 11.84, 15.6",\
                 "0.284, 0.388, 0.726, 1.4, 2.498, 4.052, 6.102, 8.688, 11.84, 15.6");
        }
      }

      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.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.005872, 0.02298, 0.05564, 0.1065, 0.1779, 0.2719, 0.3902, 0.5347, 0.7069");
          values("2.743, 2.809, 2.982, 3.236, 3.583, 4.05, 4.66, 5.427, 6.362, 7.478",\
                 "2.773, 2.839, 3.012, 3.266, 3.613, 4.081, 4.69, 5.458, 6.393, 7.508",\
                 "2.876, 2.942, 3.115, 3.369, 3.716, 4.183, 4.793, 5.56, 6.496, 7.61",\
                 "3.102, 3.168, 3.341, 3.595, 3.942, 4.41, 5.02, 5.787, 6.722, 7.837",\
                 "3.486, 3.552, 3.725, 3.979, 4.326, 4.793, 5.403, 6.171, 7.107, 8.221",\
                 "4.009, 4.076, 4.249, 4.502, 4.85, 5.317, 5.927, 6.695, 7.63, 8.745",\
                 "4.625, 4.691, 4.865, 5.118, 5.465, 5.932, 6.542, 7.309, 8.245, 9.36",\
                 "5.334, 5.401, 5.575, 5.829, 6.176, 6.644, 7.253, 8.02, 8.956, 10.07",\
                 "6.146, 6.213, 6.387, 6.64, 6.986, 7.454, 8.064, 8.831, 9.766, 10.88",\
                 "7.063, 7.13, 7.302, 7.556, 7.903, 8.37, 8.98, 9.747, 10.68, 11.8");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.005872, 0.02298, 0.05564, 0.1065, 0.1779, 0.2719, 0.3902, 0.5347, 0.7069");
          values("1.917, 1.999, 2.241, 2.656, 3.289, 4.175, 5.34, 6.806, 8.602, 10.73",\
                 "1.941, 2.023, 2.264, 2.68, 3.313, 4.199, 5.364, 6.833, 8.626, 10.76",\
                 "2.025, 2.107, 2.348, 2.764, 3.397, 4.282, 5.448, 6.916, 8.709, 10.85",\
                 "2.177, 2.26, 2.501, 2.916, 3.55, 4.436, 5.6, 7.07, 8.862, 11",\
                 "2.332, 2.414, 2.655, 3.071, 3.704, 4.59, 5.753, 7.224, 9.011, 11.15",\
                 "2.437, 2.519, 2.76, 3.175, 3.808, 4.694, 5.859, 7.328, 9.12, 11.26",\
                 "2.487, 2.569, 2.81, 3.225, 3.858, 4.743, 5.907, 7.373, 9.166, 11.29",\
                 "2.471, 2.553, 2.795, 3.21, 3.843, 4.728, 5.892, 7.358, 9.146, 11.28",\
                 "2.381, 2.464, 2.706, 3.12, 3.754, 4.639, 5.803, 7.268, 9.056, 11.19",\
                 "2.211, 2.293, 2.535, 2.95, 3.583, 4.468, 5.632, 7.098, 8.885, 11.02");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.005872, 0.02298, 0.05564, 0.1065, 0.1779, 0.2719, 0.3902, 0.5347, 0.7069");
          values("0.2294, 0.2904, 0.4686, 0.787, 1.307, 2.072, 3.1, 4.407, 5.992, 7.895",\
                 "0.2296, 0.2902, 0.4698, 0.7874, 1.306, 2.071, 3.1, 4.406, 5.994, 7.891",\
                 "0.2292, 0.2902, 0.469, 0.787, 1.307, 2.073, 3.101, 4.406, 5.996, 7.893",\
                 "0.2294, 0.2906, 0.469, 0.7874, 1.307, 2.072, 3.099, 4.405, 5.992, 7.891",\
                 "0.2294, 0.2902, 0.4692, 0.7864, 1.306, 2.073, 3.101, 4.406, 6.002, 7.899",\
                 "0.2292, 0.2902, 0.4688, 0.7872, 1.306, 2.071, 3.1, 4.406, 5.992, 7.892",\
                 "0.2286, 0.2902, 0.47, 0.7878, 1.308, 2.071, 3.102, 4.403, 5.998, 7.894",\
                 "0.228, 0.292, 0.468, 0.788, 1.304, 2.068, 3.098, 4.402, 5.998, 7.9",\
                 "0.228, 0.292, 0.468, 0.786, 1.304, 2.07, 3.098, 4.4, 5.988, 7.886",\
                 "0.228, 0.29, 0.47, 0.788, 1.306, 2.07, 3.102, 4.4, 5.988, 7.89");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.005872, 0.02298, 0.05564, 0.1065, 0.1779, 0.2719, 0.3902, 0.5347, 0.7069");
          values("0.258, 0.361, 0.7048, 1.387, 2.49, 4.047, 6.105, 8.696, 11.85, 15.62",\
                 "0.2584, 0.3606, 0.7044, 1.387, 2.49, 4.049, 6.102, 8.695, 11.86, 15.61",\
                 "0.2584, 0.3618, 0.7042, 1.387, 2.49, 4.049, 6.104, 8.696, 11.86, 15.63",\
                 "0.2588, 0.362, 0.704, 1.387, 2.489, 4.049, 6.101, 8.693, 11.85, 15.63",\
                 "0.2576, 0.3608, 0.7038, 1.387, 2.489, 4.055, 6.103, 8.693, 11.85, 15.62",\
                 "0.2576, 0.361, 0.7038, 1.386, 2.494, 4.049, 6.102, 8.694, 11.86, 15.63",\
                 "0.258, 0.3612, 0.7044, 1.389, 2.491, 4.048, 6.109, 8.686, 11.86, 15.62",\
                 "0.2584, 0.3618, 0.7042, 1.388, 2.489, 4.051, 6.104, 8.688, 11.86, 15.62",\
                 "0.2586, 0.363, 0.7044, 1.387, 2.49, 4.052, 6.106, 8.682, 11.84, 15.59",\
                 "0.26, 0.364, 0.704, 1.388, 2.49, 4.05, 6.1, 8.684, 11.84, 15.6");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.005872, 0.02298, 0.05564, 0.1065, 0.1779, 0.2719, 0.3902, 0.5347, 0.7069");
          values("2.878, 2.959, 3.175, 3.482, 3.872, 4.365, 4.985, 5.754, 6.691, 7.805",\
                 "2.896, 2.977, 3.192, 3.499, 3.89, 4.382, 5.002, 5.772, 6.708, 7.822",\
                 "2.971, 3.052, 3.267, 3.574, 3.965, 4.457, 5.077, 5.847, 6.783, 7.898",\
                 "3.14, 3.222, 3.437, 3.744, 4.134, 4.627, 5.247, 6.017, 6.953, 8.068",\
                 "3.448, 3.53, 3.745, 4.052, 4.442, 4.935, 5.555, 6.325, 7.261, 8.375",\
                 "3.89, 3.971, 4.186, 4.494, 4.884, 5.377, 5.997, 6.766, 7.703, 8.816",\
                 "4.454, 4.535, 4.75, 5.057, 5.448, 5.941, 6.562, 7.331, 8.267, 9.382",\
                 "5.143, 5.225, 5.441, 5.747, 6.138, 6.631, 7.25, 8.02, 8.957, 10.07",\
                 "5.957, 6.039, 6.254, 6.561, 6.952, 7.445, 8.064, 8.834, 9.77, 10.88",\
                 "6.892, 6.975, 7.19, 7.498, 7.887, 8.38, 9, 9.771, 10.71, 11.82");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.005872, 0.02298, 0.05564, 0.1065, 0.1779, 0.2719, 0.3902, 0.5347, 0.7069");
          values("2.703, 2.788, 3.033, 3.45, 4.084, 4.97, 6.134, 7.6, 9.39, 11.52",\
                 "2.732, 2.817, 3.063, 3.48, 4.113, 4.999, 6.163, 7.628, 9.417, 11.55",\
                 "2.819, 2.904, 3.15, 3.567, 4.2, 5.086, 6.25, 7.716, 9.504, 11.64",\
                 "2.891, 2.976, 3.222, 3.639, 4.272, 5.158, 6.322, 7.787, 9.576, 11.71",\
                 "2.9, 2.985, 3.232, 3.648, 4.281, 5.167, 6.331, 7.796, 9.585, 11.72",\
                 "2.84, 2.925, 3.17, 3.587, 4.22, 5.107, 6.271, 7.737, 9.527, 11.66",\
                 "2.688, 2.773, 3.018, 3.434, 4.068, 4.953, 6.117, 7.584, 9.373, 11.51",\
                 "2.442, 2.527, 2.773, 3.19, 3.823, 4.709, 5.873, 7.339, 9.126, 11.26",\
                 "2.102, 2.186, 2.434, 2.849, 3.482, 4.368, 5.533, 6.997, 8.786, 10.92",\
                 "1.66, 1.744, 1.991, 2.407, 3.04, 3.926, 5.09, 6.556, 8.344, 10.48");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.005872, 0.02298, 0.05564, 0.1065, 0.1779, 0.2719, 0.3902, 0.5347, 0.7069");
          values("0.3042, 0.3808, 0.5984, 0.9386, 1.441, 2.165, 3.152, 4.438, 6.019, 7.913",\
                 "0.3038, 0.3806, 0.5982, 0.9394, 1.442, 2.164, 3.156, 4.438, 6.019, 7.912",\
                 "0.3042, 0.3808, 0.599, 0.9396, 1.439, 2.163, 3.156, 4.438, 6.023, 7.92",\
                 "0.3042, 0.381, 0.5992, 0.938, 1.439, 2.163, 3.156, 4.436, 6.016, 7.92",\
                 "0.3042, 0.3808, 0.5986, 0.938, 1.441, 2.163, 3.156, 4.437, 6.017, 7.917",\
                 "0.3044, 0.3808, 0.5986, 0.9378, 1.441, 2.165, 3.153, 4.438, 6.018, 7.917",\
                 "0.304, 0.3816, 0.5984, 0.9392, 1.44, 2.163, 3.157, 4.435, 6.022, 7.918",\
                 "0.304, 0.382, 0.598, 0.938, 1.44, 2.166, 3.152, 4.434, 6.018, 7.912",\
                 "0.304, 0.382, 0.598, 0.938, 1.44, 2.164, 3.152, 4.434, 6.014, 7.91",\
                 "0.306, 0.382, 0.6, 0.938, 1.442, 2.164, 3.154, 4.434, 6.012, 7.914");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.005872, 0.02298, 0.05564, 0.1065, 0.1779, 0.2719, 0.3902, 0.5347, 0.7069");
          values("0.2846, 0.3876, 0.7272, 1.4, 2.5, 4.06, 6.106, 8.688, 11.84, 15.61",\
                 "0.2844, 0.3874, 0.7258, 1.4, 2.497, 4.052, 6.112, 8.688, 11.84, 15.61",\
                 "0.2844, 0.3874, 0.727, 1.4, 2.497, 4.052, 6.112, 8.688, 11.85, 15.63",\
                 "0.2836, 0.3874, 0.7262, 1.4, 2.497, 4.052, 6.112, 8.687, 11.84, 15.61",\
                 "0.2846, 0.3876, 0.7258, 1.401, 2.497, 4.051, 6.111, 8.687, 11.85, 15.63",\
                 "0.2824, 0.386, 0.725, 1.402, 2.498, 4.06, 6.11, 8.684, 11.85, 15.6",\
                 "0.2838, 0.387, 0.725, 1.4, 2.496, 4.053, 6.113, 8.687, 11.84, 15.61",\
                 "0.2826, 0.3862, 0.7248, 1.4, 2.498, 4.052, 6.102, 8.684, 11.85, 15.6",\
                 "0.2836, 0.387, 0.7266, 1.402, 2.499, 4.054, 6.102, 8.684, 11.84, 15.6",\
                 "0.284, 0.388, 0.726, 1.4, 2.498, 4.052, 6.102, 8.688, 11.84, 15.6");
        }
      }

      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.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.005872, 0.02298, 0.05564, 0.1065, 0.1779, 0.2719, 0.3902, 0.5347, 0.7069");
          values("3.14, 3.207, 3.38, 3.634, 3.981, 4.448, 5.058, 5.825, 6.761, 7.876",\
                 "3.17, 3.236, 3.41, 3.663, 4.01, 4.478, 5.087, 5.855, 6.79, 7.905",\
                 "3.256, 3.322, 3.495, 3.749, 4.096, 4.563, 5.173, 5.94, 6.875, 7.99",\
                 "3.319, 3.385, 3.559, 3.812, 4.159, 4.627, 5.237, 6.004, 6.94, 8.054",\
                 "3.315, 3.381, 3.554, 3.808, 4.155, 4.623, 5.232, 6, 6.935, 8.051",\
                 "3.231, 3.297, 3.471, 3.724, 4.072, 4.539, 5.149, 5.916, 6.851, 7.968",\
                 "3.053, 3.12, 3.293, 3.547, 3.894, 4.361, 4.971, 5.738, 6.675, 7.79",\
                 "2.772, 2.839, 3.013, 3.266, 3.613, 4.081, 4.691, 5.458, 6.393, 7.507",\
                 "2.382, 2.448, 2.622, 2.876, 3.222, 3.69, 4.3, 5.066, 6.002, 7.117",\
                 "1.875, 1.941, 2.115, 2.369, 2.717, 3.182, 3.793, 4.56, 5.496, 6.611");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.005872, 0.02298, 0.05564, 0.1065, 0.1779, 0.2719, 0.3902, 0.5347, 0.7069");
          values("2.994, 3.076, 3.317, 3.733, 4.366, 5.251, 6.416, 7.88, 9.673, 11.81",\
                 "3.005, 3.087, 3.328, 3.743, 4.377, 5.263, 6.428, 7.894, 9.684, 11.81",\
                 "3.104, 3.185, 3.427, 3.842, 4.476, 5.362, 6.526, 7.992, 9.784, 11.92",\
                 "3.359, 3.441, 3.682, 4.097, 4.73, 5.616, 6.781, 8.249, 10.04, 12.17",\
                 "3.779, 3.861, 4.102, 4.518, 5.151, 6.036, 7.202, 8.668, 10.46, 12.59",\
                 "4.333, 4.416, 4.657, 5.073, 5.706, 6.592, 7.755, 9.222, 11.01, 13.15",\
                 "5.002, 5.084, 5.325, 5.74, 6.374, 7.259, 8.424, 9.892, 11.68, 13.81",\
                 "5.804, 5.886, 6.126, 6.542, 7.175, 8.061, 9.225, 10.69, 12.48, 14.62",\
                 "6.746, 6.828, 7.069, 7.486, 8.118, 9.003, 10.17, 11.63, 13.42, 15.56",\
                 "7.836, 7.918, 8.159, 8.575, 9.207, 10.09, 11.26, 12.72, 14.51, 16.64");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.005872, 0.02298, 0.05564, 0.1065, 0.1779, 0.2719, 0.3902, 0.5347, 0.7069");
          values("0.2292, 0.2906, 0.4686, 0.7866, 1.306, 2.071, 3.1, 4.4, 6.001, 7.896",\
                 "0.23, 0.2906, 0.4688, 0.7864, 1.306, 2.072, 3.098, 4.406, 5.993, 7.897",\
                 "0.229, 0.2902, 0.4688, 0.7872, 1.306, 2.071, 3.1, 4.403, 5.992, 7.891",\
                 "0.2292, 0.2908, 0.4698, 0.7864, 1.306, 2.072, 3.098, 4.407, 6, 7.898",\
                 "0.2294, 0.2904, 0.4692, 0.7878, 1.307, 2.072, 3.101, 4.406, 6, 7.902",\
                 "0.229, 0.2902, 0.4682, 0.7878, 1.306, 2.073, 3.098, 4.403, 5.994, 7.9",\
                 "0.2292, 0.29, 0.4684, 0.7864, 1.307, 2.069, 3.095, 4.401, 6, 7.9",\
                 "0.229, 0.2906, 0.469, 0.7868, 1.307, 2.072, 3.1, 4.397, 5.988, 7.886",\
                 "0.2292, 0.291, 0.4684, 0.7866, 1.305, 2.07, 3.098, 4.402, 5.988, 7.884",\
                 "0.23, 0.292, 0.468, 0.786, 1.31, 2.074, 3.098, 4.406, 5.99, 7.886");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.005872, 0.02298, 0.05564, 0.1065, 0.1779, 0.2719, 0.3902, 0.5347, 0.7069");
          values("0.2576, 0.3606, 0.703, 1.387, 2.49, 4.049, 6.101, 8.689, 11.85, 15.61",\
                 "0.2582, 0.361, 0.7036, 1.386, 2.493, 4.054, 6.104, 8.693, 11.85, 15.62",\
                 "0.2572, 0.3612, 0.7048, 1.387, 2.49, 4.055, 6.101, 8.687, 11.85, 15.62",\
                 "0.2576, 0.3606, 0.7048, 1.387, 2.49, 4.049, 6.104, 8.691, 11.85, 15.62",\
                 "0.2578, 0.362, 0.704, 1.386, 2.492, 4.049, 6.101, 8.691, 11.85, 15.61",\
                 "0.2578, 0.3608, 0.7046, 1.387, 2.49, 4.054, 6.103, 8.691, 11.85, 15.61",\
                 "0.2574, 0.361, 0.7046, 1.387, 2.49, 4.051, 6.102, 8.7, 11.85, 15.61",\
                 "0.258, 0.362, 0.704, 1.388, 2.49, 4.048, 6.098, 8.69, 11.85, 15.61",\
                 "0.258, 0.362, 0.704, 1.388, 2.496, 4.048, 6.104, 8.684, 11.86, 15.61",\
                 "0.258, 0.36, 0.704, 1.386, 2.492, 4.048, 6.096, 8.684, 11.85, 15.59");
        }
      }

      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.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.005872, 0.02298, 0.05564, 0.1065, 0.1779, 0.2719, 0.3902, 0.5347, 0.7069");
          values("1.723, 1.805, 2.021, 2.329, 2.72, 3.213, 3.833, 4.602, 5.538, 6.653",\
                 "1.746, 1.828, 2.044, 2.352, 2.743, 3.236, 3.856, 4.625, 5.562, 6.676",\
                 "1.799, 1.88, 2.096, 2.404, 2.795, 3.288, 3.908, 4.678, 5.614, 6.728",\
                 "1.884, 1.966, 2.182, 2.49, 2.881, 3.374, 3.994, 4.763, 5.699, 6.814",\
                 "1.962, 2.044, 2.26, 2.568, 2.959, 3.452, 4.072, 4.842, 5.778, 6.893",\
                 "1.996, 2.078, 2.295, 2.603, 2.995, 3.488, 4.109, 4.878, 5.814, 6.928",\
                 "1.971, 2.053, 2.271, 2.58, 2.972, 3.466, 4.085, 4.855, 5.791, 6.906",\
                 "1.873, 1.956, 2.174, 2.484, 2.879, 3.372, 3.992, 4.761, 5.698, 6.812",\
                 "1.691, 1.774, 1.994, 2.306, 2.7, 3.195, 3.816, 4.586, 5.521, 6.636",\
                 "1.419, 1.503, 1.725, 2.039, 2.434, 2.929, 3.551, 4.321, 5.257, 6.371");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.005872, 0.02298, 0.05564, 0.1065, 0.1779, 0.2719, 0.3902, 0.5347, 0.7069");
          values("2.307, 2.392, 2.638, 3.055, 3.688, 4.574, 5.738, 7.203, 8.992, 11.13",\
                 "2.331, 2.416, 2.662, 3.078, 3.712, 4.598, 5.762, 7.227, 9.015, 11.15",\
                 "2.439, 2.524, 2.77, 3.186, 3.819, 4.706, 5.869, 7.335, 9.123, 11.26",\
                 "2.67, 2.755, 3.002, 3.418, 4.051, 4.937, 6.101, 7.566, 9.355, 11.49",\
                 "3.06, 3.146, 3.392, 3.808, 4.441, 5.327, 6.492, 7.956, 9.746, 11.88",\
                 "3.604, 3.689, 3.935, 4.352, 4.985, 5.871, 7.035, 8.501, 10.29, 12.42",\
                 "4.254, 4.34, 4.587, 5.003, 5.635, 6.521, 7.685, 9.151, 10.94, 13.07",\
                 "5.009, 5.095, 5.342, 5.757, 6.391, 7.276, 8.44, 9.906, 11.69, 13.83",\
                 "5.877, 5.963, 6.212, 6.628, 7.26, 8.145, 9.308, 10.77, 12.56, 14.7",\
                 "6.866, 6.954, 7.203, 7.62, 8.251, 9.136, 10.3, 11.77, 13.55, 15.68");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.005872, 0.02298, 0.05564, 0.1065, 0.1779, 0.2719, 0.3902, 0.5347, 0.7069");
          values("0.3072, 0.3842, 0.602, 0.9408, 1.442, 2.164, 3.157, 4.438, 6.021, 7.912",\
                 "0.3076, 0.3842, 0.6018, 0.9416, 1.443, 2.166, 3.157, 4.438, 6.021, 7.914",\
                 "0.3074, 0.3842, 0.6016, 0.9424, 1.444, 2.164, 3.157, 4.438, 6.021, 7.912",\
                 "0.3076, 0.3844, 0.602, 0.942, 1.444, 2.166, 3.157, 4.438, 6.023, 7.914",\
                 "0.3088, 0.3856, 0.603, 0.9418, 1.445, 2.166, 3.157, 4.433, 6.021, 7.921",\
                 "0.3114, 0.388, 0.6048, 0.9428, 1.443, 2.167, 3.157, 4.438, 6.02, 7.92",\
                 "0.3138, 0.391, 0.6088, 0.9454, 1.445, 2.169, 3.153, 4.432, 6.016, 7.909",\
                 "0.3178, 0.3948, 0.612, 0.9508, 1.45, 2.17, 3.154, 4.431, 6.013, 7.908",\
                 "0.3222, 0.3994, 0.6174, 0.9554, 1.452, 2.171, 3.158, 4.436, 6.016, 7.914",\
                 "0.326, 0.406, 0.622, 0.96, 1.456, 2.174, 3.158, 4.438, 6.012, 7.912");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.005872, 0.02298, 0.05564, 0.1065, 0.1779, 0.2719, 0.3902, 0.5347, 0.7069");
          values("0.2844, 0.3876, 0.727, 1.402, 2.497, 4.053, 6.112, 8.688, 11.85, 15.61",\
                 "0.2844, 0.3876, 0.726, 1.401, 2.497, 4.053, 6.112, 8.688, 11.84, 15.6",\
                 "0.2846, 0.3876, 0.726, 1.401, 2.497, 4.053, 6.101, 8.688, 11.84, 15.6",\
                 "0.2846, 0.3876, 0.7264, 1.401, 2.497, 4.052, 6.102, 8.687, 11.85, 15.61",\
                 "0.2846, 0.3876, 0.726, 1.4, 2.497, 4.051, 6.112, 8.687, 11.85, 15.61",\
                 "0.285, 0.3902, 0.7278, 1.401, 2.499, 4.06, 6.109, 8.686, 11.85, 15.61",\
                 "0.2886, 0.392, 0.7306, 1.402, 2.502, 4.051, 6.11, 8.688, 11.84, 15.61",\
                 "0.292, 0.396, 0.734, 1.404, 2.5, 4.056, 6.104, 8.7, 11.84, 15.61",\
                 "0.296, 0.398, 0.736, 1.406, 2.5, 4.054, 6.102, 8.682, 11.84, 15.6",\
                 "0.302, 0.406, 0.74, 1.408, 2.504, 4.06, 6.106, 8.684, 11.84, 15.59");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.005872, 0.02298, 0.05564, 0.1065, 0.1779, 0.2719, 0.3902, 0.5347, 0.7069");
          values("3.14, 3.207, 3.38, 3.634, 3.981, 4.448, 5.058, 5.825, 6.761, 7.876",\
                 "3.17, 3.236, 3.41, 3.663, 4.01, 4.478, 5.087, 5.855, 6.79, 7.905",\
                 "3.256, 3.322, 3.495, 3.749, 4.096, 4.563, 5.173, 5.94, 6.875, 7.99",\
                 "3.319, 3.385, 3.559, 3.812, 4.159, 4.627, 5.237, 6.004, 6.94, 8.054",\
                 "3.315, 3.381, 3.554, 3.808, 4.155, 4.623, 5.232, 6, 6.935, 8.051",\
                 "3.231, 3.297, 3.471, 3.724, 4.072, 4.539, 5.149, 5.916, 6.851, 7.968",\
                 "3.053, 3.12, 3.293, 3.547, 3.894, 4.361, 4.971, 5.738, 6.675, 7.79",\
                 "2.772, 2.839, 3.013, 3.266, 3.613, 4.081, 4.691, 5.458, 6.393, 7.507",\
                 "2.382, 2.448, 2.622, 2.876, 3.222, 3.69, 4.3, 5.066, 6.002, 7.117",\
                 "1.875, 1.941, 2.115, 2.369, 2.717, 3.182, 3.793, 4.56, 5.496, 6.611");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.005872, 0.02298, 0.05564, 0.1065, 0.1779, 0.2719, 0.3902, 0.5347, 0.7069");
          values("2.994, 3.076, 3.317, 3.733, 4.366, 5.251, 6.416, 7.88, 9.673, 11.81",\
                 "3.005, 3.087, 3.328, 3.743, 4.377, 5.263, 6.428, 7.894, 9.684, 11.81",\
                 "3.104, 3.185, 3.427, 3.842, 4.476, 5.362, 6.526, 7.992, 9.784, 11.92",\
                 "3.359, 3.441, 3.682, 4.097, 4.73, 5.616, 6.781, 8.249, 10.04, 12.17",\
                 "3.779, 3.861, 4.102, 4.518, 5.151, 6.036, 7.202, 8.668, 10.46, 12.59",\
                 "4.333, 4.416, 4.657, 5.073, 5.706, 6.592, 7.755, 9.222, 11.01, 13.15",\
                 "5.002, 5.084, 5.325, 5.74, 6.374, 7.259, 8.424, 9.892, 11.68, 13.81",\
                 "5.804, 5.886, 6.126, 6.542, 7.175, 8.061, 9.225, 10.69, 12.48, 14.62",\
                 "6.746, 6.828, 7.069, 7.486, 8.118, 9.003, 10.17, 11.63, 13.42, 15.56",\
                 "7.836, 7.918, 8.159, 8.575, 9.207, 10.09, 11.26, 12.72, 14.51, 16.64");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.005872, 0.02298, 0.05564, 0.1065, 0.1779, 0.2719, 0.3902, 0.5347, 0.7069");
          values("0.3072, 0.3842, 0.602, 0.9408, 1.442, 2.164, 3.157, 4.438, 6.021, 7.912",\
                 "0.3076, 0.3842, 0.6018, 0.9416, 1.443, 2.166, 3.157, 4.438, 6.021, 7.914",\
                 "0.3074, 0.3842, 0.6016, 0.9424, 1.444, 2.164, 3.157, 4.438, 6.021, 7.912",\
                 "0.3076, 0.3844, 0.602, 0.942, 1.444, 2.166, 3.157, 4.438, 6.023, 7.914",\
                 "0.3088, 0.3856, 0.603, 0.9418, 1.445, 2.166, 3.157, 4.433, 6.021, 7.921",\
                 "0.3114, 0.388, 0.6048, 0.9428, 1.443, 2.167, 3.157, 4.438, 6.02, 7.92",\
                 "0.3138, 0.391, 0.6088, 0.9454, 1.445, 2.169, 3.153, 4.432, 6.016, 7.909",\
                 "0.3178, 0.3948, 0.612, 0.9508, 1.45, 2.17, 3.154, 4.431, 6.013, 7.908",\
                 "0.3222, 0.3994, 0.6174, 0.9554, 1.452, 2.171, 3.158, 4.436, 6.016, 7.914",\
                 "0.326, 0.406, 0.622, 0.96, 1.456, 2.174, 3.158, 4.438, 6.012, 7.912");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.005872, 0.02298, 0.05564, 0.1065, 0.1779, 0.2719, 0.3902, 0.5347, 0.7069");
          values("0.2576, 0.3606, 0.703, 1.387, 2.49, 4.049, 6.101, 8.689, 11.85, 15.61",\
                 "0.2582, 0.361, 0.7036, 1.386, 2.493, 4.054, 6.104, 8.693, 11.85, 15.62",\
                 "0.2572, 0.3612, 0.7048, 1.387, 2.49, 4.055, 6.101, 8.687, 11.85, 15.62",\
                 "0.2576, 0.3606, 0.7048, 1.387, 2.49, 4.049, 6.104, 8.691, 11.85, 15.62",\
                 "0.2578, 0.362, 0.704, 1.386, 2.492, 4.049, 6.101, 8.691, 11.85, 15.61",\
                 "0.2578, 0.3608, 0.7046, 1.387, 2.49, 4.054, 6.103, 8.691, 11.85, 15.61",\
                 "0.2574, 0.361, 0.7046, 1.387, 2.49, 4.051, 6.102, 8.7, 11.85, 15.61",\
                 "0.258, 0.362, 0.704, 1.388, 2.49, 4.048, 6.098, 8.69, 11.85, 15.61",\
                 "0.258, 0.362, 0.704, 1.388, 2.496, 4.048, 6.104, 8.684, 11.86, 15.61",\
                 "0.258, 0.36, 0.704, 1.386, 2.492, 4.048, 6.096, 8.684, 11.85, 15.59");
        }
      }

      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.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.005872, 0.02298, 0.05564, 0.1065, 0.1779, 0.2719, 0.3902, 0.5347, 0.7069");
          values("2.79, 2.872, 3.087, 3.394, 3.784, 4.277, 4.897, 5.667, 6.602, 7.718",\
                 "2.801, 2.882, 3.098, 3.404, 3.795, 4.288, 4.908, 5.677, 6.613, 7.728",\
                 "2.9, 2.982, 3.197, 3.504, 3.894, 4.387, 5.007, 5.776, 6.713, 7.828",\
                 "3.155, 3.237, 3.452, 3.759, 4.149, 4.642, 5.262, 6.032, 6.968, 8.082",\
                 "3.575, 3.656, 3.872, 4.178, 4.569, 5.062, 5.682, 6.451, 7.388, 8.502",\
                 "4.129, 4.21, 4.425, 4.732, 5.122, 5.616, 6.236, 7.005, 7.942, 9.057",\
                 "4.794, 4.876, 5.091, 5.398, 5.789, 6.282, 6.902, 7.671, 8.607, 9.722",\
                 "5.594, 5.676, 5.891, 6.198, 6.587, 7.081, 7.7, 8.47, 9.406, 10.52",\
                 "6.533, 6.614, 6.83, 7.137, 7.528, 8.021, 8.641, 9.41, 10.35, 11.46",\
                 "7.62, 7.701, 7.917, 8.223, 8.614, 9.106, 9.727, 10.5, 11.43, 12.55");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.005872, 0.02298, 0.05564, 0.1065, 0.1779, 0.2719, 0.3902, 0.5347, 0.7069");
          values("2.59, 2.674, 2.92, 3.337, 3.971, 4.857, 6.021, 7.486, 9.275, 11.41",\
                 "2.62, 2.704, 2.95, 3.367, 4, 4.886, 6.05, 7.515, 9.304, 11.44",\
                 "2.705, 2.79, 3.036, 3.452, 4.086, 4.971, 6.136, 7.601, 9.39, 11.52",\
                 "2.768, 2.853, 3.099, 3.516, 4.149, 5.035, 6.199, 7.664, 9.454, 11.59",\
                 "2.764, 2.849, 3.095, 3.512, 4.145, 5.031, 6.195, 7.661, 9.451, 11.58",\
                 "2.68, 2.765, 3.011, 3.428, 4.061, 4.948, 6.111, 7.577, 9.367, 11.5",\
                 "2.503, 2.588, 2.834, 3.25, 3.883, 4.769, 5.933, 7.4, 9.19, 11.32",\
                 "2.222, 2.307, 2.554, 2.97, 3.603, 4.489, 5.654, 7.119, 8.907, 11.04",\
                 "1.833, 1.918, 2.163, 2.581, 3.214, 4.101, 5.263, 6.729, 8.518, 10.65",\
                 "1.325, 1.41, 1.656, 2.073, 2.706, 3.593, 4.756, 6.221, 8.01, 10.14");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.005872, 0.02298, 0.05564, 0.1065, 0.1779, 0.2719, 0.3902, 0.5347, 0.7069");
          values("0.3044, 0.3806, 0.5992, 0.9374, 1.441, 2.164, 3.156, 4.438, 6.023, 7.921",\
                 "0.3042, 0.3808, 0.599, 0.9384, 1.44, 2.164, 3.152, 4.437, 6.019, 7.912",\
                 "0.3042, 0.3808, 0.599, 0.9382, 1.439, 2.163, 3.154, 4.436, 6.021, 7.921",\
                 "0.3042, 0.3808, 0.5988, 0.9382, 1.44, 2.163, 3.154, 4.436, 6.02, 7.92",\
                 "0.3046, 0.3808, 0.5978, 0.9388, 1.441, 2.163, 3.156, 4.437, 6.019, 7.911",\
                 "0.3048, 0.381, 0.5986, 0.9392, 1.441, 2.163, 3.154, 4.438, 6.02, 7.92",\
                 "0.3046, 0.3806, 0.5986, 0.938, 1.441, 2.164, 3.153, 4.436, 6.02, 7.92",\
                 "0.306, 0.382, 0.6, 0.938, 1.44, 2.166, 3.154, 4.436, 6.02, 7.92",\
                 "0.304, 0.382, 0.598, 0.938, 1.442, 2.164, 3.152, 4.432, 6.02, 7.912",\
                 "0.306, 0.382, 0.598, 0.94, 1.442, 2.162, 3.152, 4.434, 6.016, 7.906");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.005872, 0.02298, 0.05564, 0.1065, 0.1779, 0.2719, 0.3902, 0.5347, 0.7069");
          values("0.2826, 0.3868, 0.7264, 1.4, 2.497, 4.054, 6.113, 8.688, 11.84, 15.61",\
                 "0.283, 0.386, 0.725, 1.402, 2.497, 4.055, 6.11, 8.686, 11.85, 15.63",\
                 "0.283, 0.386, 0.725, 1.4, 2.498, 4.052, 6.11, 8.685, 11.85, 15.63",\
                 "0.2822, 0.386, 0.726, 1.399, 2.497, 4.054, 6.112, 8.689, 11.84, 15.6",\
                 "0.283, 0.3862, 0.7254, 1.401, 2.498, 4.057, 6.113, 8.686, 11.84, 15.61",\
                 "0.2822, 0.3868, 0.7254, 1.402, 2.497, 4.06, 6.11, 8.686, 11.85, 15.6",\
                 "0.2824, 0.3868, 0.7254, 1.402, 2.497, 4.051, 6.111, 8.684, 11.85, 15.6",\
                 "0.2824, 0.386, 0.7248, 1.4, 2.497, 4.052, 6.101, 8.7, 11.84, 15.61",\
                 "0.2824, 0.386, 0.725, 1.401, 2.498, 4.052, 6.104, 8.686, 11.84, 15.62",\
                 "0.282, 0.388, 0.726, 1.4, 2.498, 4.054, 6.102, 8.688, 11.84, 15.6");
        }
      }

      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.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.005872, 0.02298, 0.05564, 0.1065, 0.1779, 0.2719, 0.3902, 0.5347, 0.7069");
          values("2.855, 2.921, 3.094, 3.348, 3.695, 4.162, 4.772, 5.539, 6.475, 7.589",\
                 "2.878, 2.944, 3.118, 3.371, 3.718, 4.186, 4.796, 5.563, 6.498, 7.614",\
                 "2.986, 3.052, 3.225, 3.479, 3.826, 4.294, 4.903, 5.671, 6.606, 7.721",\
                 "3.218, 3.284, 3.457, 3.711, 4.058, 4.525, 5.135, 5.903, 6.838, 7.952",\
                 "3.608, 3.674, 3.847, 4.101, 4.448, 4.915, 5.525, 6.292, 7.227, 8.342",\
                 "4.151, 4.217, 4.39, 4.644, 4.991, 5.459, 6.069, 6.836, 7.771, 8.886",\
                 "4.801, 4.866, 5.04, 5.293, 5.64, 6.107, 6.718, 7.485, 8.42, 9.535",\
                 "5.552, 5.617, 5.792, 6.045, 6.392, 6.859, 7.469, 8.236, 9.171, 10.29",\
                 "6.417, 6.484, 6.657, 6.912, 7.257, 7.725, 8.335, 9.102, 10.04, 11.15",\
                 "7.405, 7.471, 7.646, 7.899, 8.246, 8.713, 9.323, 10.09, 11.03, 12.14");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.005872, 0.02298, 0.05564, 0.1065, 0.1779, 0.2719, 0.3902, 0.5347, 0.7069");
          values("1.942, 2.023, 2.265, 2.68, 3.313, 4.198, 5.366, 6.83, 8.623, 10.75",\
                 "1.965, 2.047, 2.288, 2.704, 3.337, 4.222, 5.389, 6.853, 8.642, 10.77",\
                 "2.017, 2.099, 2.34, 2.756, 3.389, 4.275, 5.44, 6.908, 8.701, 10.84",\
                 "2.107, 2.189, 2.431, 2.846, 3.479, 4.366, 5.529, 6.999, 8.789, 10.93",\
                 "2.198, 2.28, 2.521, 2.936, 3.57, 4.456, 5.619, 7.09, 8.881, 11.02",\
                 "2.245, 2.328, 2.569, 2.985, 3.617, 4.503, 5.669, 7.138, 8.925, 11.07",\
                 "2.236, 2.318, 2.559, 2.975, 3.608, 4.493, 5.656, 7.124, 8.915, 11.05",\
                 "2.154, 2.236, 2.477, 2.893, 3.526, 4.412, 5.575, 7.04, 8.828, 10.96",\
                 "1.986, 2.068, 2.309, 2.725, 3.358, 4.244, 5.406, 6.871, 8.66, 10.79",\
                 "1.727, 1.809, 2.05, 2.466, 3.099, 3.985, 5.147, 6.612, 8.4, 10.53");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.005872, 0.02298, 0.05564, 0.1065, 0.1779, 0.2719, 0.3902, 0.5347, 0.7069");
          values("0.2294, 0.2906, 0.4686, 0.7874, 1.307, 2.072, 3.101, 4.402, 5.994, 7.89",\
                 "0.2292, 0.2902, 0.4688, 0.7874, 1.306, 2.072, 3.1, 4.406, 5.994, 7.898",\
                 "0.229, 0.2908, 0.469, 0.7866, 1.306, 2.073, 3.102, 4.406, 5.995, 7.898",\
                 "0.2292, 0.2906, 0.4688, 0.787, 1.306, 2.073, 3.099, 4.407, 5.992, 7.893",\
                 "0.2292, 0.29, 0.4688, 0.7864, 1.307, 2.072, 3.1, 4.405, 5.993, 7.893",\
                 "0.229, 0.2908, 0.469, 0.7878, 1.308, 2.072, 3.1, 4.406, 5.995, 7.897",\
                 "0.229, 0.29, 0.4696, 0.7866, 1.306, 2.071, 3.1, 4.406, 5.994, 7.9",\
                 "0.23, 0.29, 0.47, 0.788, 1.306, 2.07, 3.096, 4.404, 5.994, 7.9",\
                 "0.23, 0.29, 0.468, 0.786, 1.304, 2.072, 3.098, 4.398, 5.992, 7.896",\
                 "0.228, 0.29, 0.47, 0.788, 1.306, 2.07, 3.1, 4.398, 5.988, 7.884");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.005872, 0.02298, 0.05564, 0.1065, 0.1779, 0.2719, 0.3902, 0.5347, 0.7069");
          values("0.258, 0.361, 0.7038, 1.387, 2.493, 4.05, 6.104, 8.694, 11.86, 15.62",\
                 "0.2584, 0.361, 0.7042, 1.387, 2.495, 4.049, 6.103, 8.691, 11.85, 15.63",\
                 "0.2586, 0.3608, 0.7044, 1.387, 2.493, 4.049, 6.104, 8.697, 11.86, 15.63",\
                 "0.2588, 0.3608, 0.7036, 1.387, 2.49, 4.055, 6.104, 8.696, 11.86, 15.62",\
                 "0.2574, 0.3616, 0.7044, 1.389, 2.495, 4.054, 6.102, 8.694, 11.86, 15.62",\
                 "0.2594, 0.361, 0.7038, 1.389, 2.492, 4.049, 6.104, 8.691, 11.85, 15.63",\
                 "0.2578, 0.3612, 0.7048, 1.388, 2.492, 4.047, 6.106, 8.699, 11.85, 15.61",\
                 "0.2594, 0.3628, 0.7048, 1.39, 2.49, 4.05, 6.098, 8.694, 11.84, 15.6",\
                 "0.259, 0.3636, 0.7046, 1.387, 2.491, 4.05, 6.098, 8.68, 11.84, 15.59",\
                 "0.26, 0.362, 0.706, 1.386, 2.49, 4.05, 6.1, 8.686, 11.84, 15.59");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.005872, 0.02298, 0.05564, 0.1065, 0.1779, 0.2719, 0.3902, 0.5347, 0.7069");
          values("2.79, 2.872, 3.087, 3.394, 3.784, 4.277, 4.897, 5.667, 6.602, 7.718",\
                 "2.801, 2.882, 3.098, 3.404, 3.795, 4.288, 4.908, 5.677, 6.613, 7.728",\
                 "2.9, 2.982, 3.197, 3.504, 3.894, 4.387, 5.007, 5.776, 6.713, 7.828",\
                 "3.155, 3.237, 3.452, 3.759, 4.149, 4.642, 5.262, 6.032, 6.968, 8.082",\
                 "3.575, 3.656, 3.872, 4.178, 4.569, 5.062, 5.682, 6.451, 7.388, 8.502",\
                 "4.129, 4.21, 4.425, 4.732, 5.122, 5.616, 6.236, 7.005, 7.942, 9.057",\
                 "4.794, 4.876, 5.091, 5.398, 5.789, 6.282, 6.902, 7.671, 8.607, 9.722",\
                 "5.594, 5.676, 5.891, 6.198, 6.587, 7.081, 7.7, 8.47, 9.406, 10.52",\
                 "6.533, 6.614, 6.83, 7.137, 7.528, 8.021, 8.641, 9.41, 10.35, 11.46",\
                 "7.62, 7.701, 7.917, 8.223, 8.614, 9.106, 9.727, 10.5, 11.43, 12.55");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.005872, 0.02298, 0.05564, 0.1065, 0.1779, 0.2719, 0.3902, 0.5347, 0.7069");
          values("2.59, 2.674, 2.92, 3.337, 3.971, 4.857, 6.021, 7.486, 9.275, 11.41",\
                 "2.62, 2.704, 2.95, 3.367, 4, 4.886, 6.05, 7.515, 9.304, 11.44",\
                 "2.705, 2.79, 3.036, 3.452, 4.086, 4.971, 6.136, 7.601, 9.39, 11.52",\
                 "2.768, 2.853, 3.099, 3.516, 4.149, 5.035, 6.199, 7.664, 9.454, 11.59",\
                 "2.764, 2.849, 3.095, 3.512, 4.145, 5.031, 6.195, 7.661, 9.451, 11.58",\
                 "2.68, 2.765, 3.011, 3.428, 4.061, 4.948, 6.111, 7.577, 9.367, 11.5",\
                 "2.503, 2.588, 2.834, 3.25, 3.883, 4.769, 5.933, 7.4, 9.19, 11.32",\
                 "2.222, 2.307, 2.554, 2.97, 3.603, 4.489, 5.654, 7.119, 8.907, 11.04",\
                 "1.833, 1.918, 2.163, 2.581, 3.214, 4.101, 5.263, 6.729, 8.518, 10.65",\
                 "1.325, 1.41, 1.656, 2.073, 2.706, 3.593, 4.756, 6.221, 8.01, 10.14");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.005872, 0.02298, 0.05564, 0.1065, 0.1779, 0.2719, 0.3902, 0.5347, 0.7069");
          values("0.3044, 0.3806, 0.5992, 0.9374, 1.441, 2.164, 3.156, 4.438, 6.023, 7.921",\
                 "0.3042, 0.3808, 0.599, 0.9384, 1.44, 2.164, 3.152, 4.437, 6.019, 7.912",\
                 "0.3042, 0.3808, 0.599, 0.9382, 1.439, 2.163, 3.154, 4.436, 6.021, 7.921",\
                 "0.3042, 0.3808, 0.5988, 0.9382, 1.44, 2.163, 3.154, 4.436, 6.02, 7.92",\
                 "0.3046, 0.3808, 0.5978, 0.9388, 1.441, 2.163, 3.156, 4.437, 6.019, 7.911",\
                 "0.3048, 0.381, 0.5986, 0.9392, 1.441, 2.163, 3.154, 4.438, 6.02, 7.92",\
                 "0.3046, 0.3806, 0.5986, 0.938, 1.441, 2.164, 3.153, 4.436, 6.02, 7.92",\
                 "0.306, 0.382, 0.6, 0.938, 1.44, 2.166, 3.154, 4.436, 6.02, 7.92",\
                 "0.304, 0.382, 0.598, 0.938, 1.442, 2.164, 3.152, 4.432, 6.02, 7.912",\
                 "0.306, 0.382, 0.598, 0.94, 1.442, 2.162, 3.152, 4.434, 6.016, 7.906");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.005872, 0.02298, 0.05564, 0.1065, 0.1779, 0.2719, 0.3902, 0.5347, 0.7069");
          values("0.258, 0.361, 0.7038, 1.387, 2.493, 4.05, 6.104, 8.694, 11.86, 15.62",\
                 "0.2584, 0.361, 0.7042, 1.387, 2.495, 4.049, 6.103, 8.691, 11.85, 15.63",\
                 "0.2586, 0.3608, 0.7044, 1.387, 2.493, 4.049, 6.104, 8.697, 11.86, 15.63",\
                 "0.2588, 0.3608, 0.7036, 1.387, 2.49, 4.055, 6.104, 8.696, 11.86, 15.62",\
                 "0.2574, 0.3616, 0.7044, 1.389, 2.495, 4.054, 6.102, 8.694, 11.86, 15.62",\
                 "0.2594, 0.361, 0.7038, 1.389, 2.492, 4.049, 6.104, 8.691, 11.85, 15.63",\
                 "0.2578, 0.3612, 0.7048, 1.388, 2.492, 4.047, 6.106, 8.699, 11.85, 15.61",\
                 "0.2594, 0.3628, 0.7048, 1.39, 2.49, 4.05, 6.098, 8.694, 11.84, 15.6",\
                 "0.259, 0.3636, 0.7046, 1.387, 2.491, 4.05, 6.098, 8.68, 11.84, 15.59",\
                 "0.26, 0.362, 0.706, 1.386, 2.49, 4.05, 6.1, 8.686, 11.84, 15.59");
        }
      }

      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.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.005872, 0.02298, 0.05564, 0.1065, 0.1779, 0.2719, 0.3902, 0.5347, 0.7069");
          values("1.251, 1.318, 1.492, 1.746, 2.094, 2.561, 3.17, 3.937, 4.873, 5.988",\
                 "1.271, 1.338, 1.512, 1.766, 2.114, 2.581, 3.19, 3.957, 4.893, 6.007",\
                 "1.312, 1.379, 1.554, 1.808, 2.155, 2.623, 3.232, 3.999, 4.935, 6.05",\
                 "1.376, 1.443, 1.618, 1.872, 2.219, 2.687, 3.296, 4.063, 4.999, 6.114",\
                 "1.437, 1.504, 1.678, 1.932, 2.279, 2.746, 3.356, 4.122, 5.059, 6.173",\
                 "1.468, 1.535, 1.71, 1.965, 2.311, 2.777, 3.386, 4.152, 5.087, 6.203",\
                 "1.455, 1.523, 1.699, 1.954, 2.301, 2.768, 3.377, 4.142, 5.076, 6.191",\
                 "1.386, 1.455, 1.632, 1.889, 2.238, 2.705, 3.315, 4.08, 5.013, 6.128",\
                 "1.254, 1.324, 1.503, 1.761, 2.111, 2.583, 3.194, 3.961, 4.896, 6.01",\
                 "1.052, 1.123, 1.305, 1.565, 1.919, 2.394, 3.011, 3.783, 4.72, 5.834");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.005872, 0.02298, 0.05564, 0.1065, 0.1779, 0.2719, 0.3902, 0.5347, 0.7069");
          values("1.26, 1.343, 1.586, 2.003, 2.637, 3.523, 4.687, 6.153, 7.941, 10.08",\
                 "1.292, 1.375, 1.618, 2.035, 2.669, 3.555, 4.72, 6.187, 7.977, 10.11",\
                 "1.424, 1.507, 1.751, 2.167, 2.801, 3.687, 4.852, 6.318, 8.109, 10.24",\
                 "1.683, 1.766, 2.009, 2.425, 3.059, 3.945, 5.11, 6.575, 8.368, 10.5",\
                 "2.03, 2.113, 2.356, 2.773, 3.407, 4.293, 5.457, 6.923, 8.712, 10.85",\
                 "2.438, 2.521, 2.765, 3.182, 3.816, 4.703, 5.868, 7.333, 9.126, 11.26",\
                 "2.917, 3, 3.245, 3.662, 4.296, 5.182, 6.347, 7.814, 9.605, 11.74",\
                 "3.47, 3.555, 3.8, 4.218, 4.851, 5.737, 6.901, 8.367, 10.16, 12.29",\
                 "4.1, 4.185, 4.432, 4.85, 5.483, 6.369, 7.533, 9, 10.79, 12.92",\
                 "4.809, 4.895, 5.144, 5.562, 6.195, 7.081, 8.246, 9.712, 11.5, 13.63");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.005872, 0.02298, 0.05564, 0.1065, 0.1779, 0.2719, 0.3902, 0.5347, 0.7069");
          values("0.2332, 0.294, 0.4704, 0.7872, 1.307, 2.069, 3.099, 4.405, 5.991, 7.9",\
                 "0.2336, 0.2938, 0.4716, 0.788, 1.306, 2.069, 3.097, 4.402, 5.996, 7.896",\
                 "0.2336, 0.2942, 0.4712, 0.7892, 1.306, 2.07, 3.1, 4.406, 6, 7.892",\
                 "0.2338, 0.295, 0.4714, 0.7876, 1.306, 2.07, 3.096, 4.404, 6.001, 7.902",\
                 "0.23, 0.2914, 0.47, 0.7864, 1.306, 2.072, 3.1, 4.4, 6.001, 7.89",\
                 "0.2328, 0.2948, 0.4736, 0.7878, 1.304, 2.065, 3.095, 4.396, 5.996, 7.896",\
                 "0.237, 0.2988, 0.476, 0.7898, 1.306, 2.066, 3.092, 4.391, 5.988, 7.89",\
                 "0.2428, 0.3044, 0.4816, 0.7948, 1.309, 2.072, 3.092, 4.394, 5.983, 7.876",\
                 "0.2496, 0.3112, 0.4872, 0.801, 1.319, 2.08, 3.106, 4.398, 5.986, 7.878",\
                 "0.258, 0.318, 0.494, 0.806, 1.328, 2.1, 3.128, 4.418, 5.998, 7.882");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.005872, 0.02298, 0.05564, 0.1065, 0.1779, 0.2719, 0.3902, 0.5347, 0.7069");
          values("0.2628, 0.3664, 0.7102, 1.391, 2.498, 4.052, 6.103, 8.688, 11.85, 15.61",\
                 "0.263, 0.3664, 0.7102, 1.392, 2.494, 4.049, 6.103, 8.702, 11.85, 15.62",\
                 "0.2634, 0.3662, 0.7102, 1.392, 2.497, 4.054, 6.103, 8.701, 11.84, 15.61",\
                 "0.263, 0.3664, 0.71, 1.394, 2.494, 4.052, 6.102, 8.689, 11.85, 15.63",\
                 "0.2646, 0.3676, 0.7108, 1.392, 2.494, 4.051, 6.104, 8.689, 11.85, 15.61",\
                 "0.2652, 0.3702, 0.7124, 1.393, 2.494, 4.052, 6.102, 8.691, 11.85, 15.6",\
                 "0.2676, 0.373, 0.7146, 1.395, 2.493, 4.052, 6.102, 8.689, 11.84, 15.6",\
                 "0.2712, 0.3764, 0.718, 1.394, 2.495, 4.049, 6.106, 8.698, 11.84, 15.61",\
                 "0.276, 0.38, 0.72, 1.396, 2.496, 4.056, 6.1, 8.69, 11.85, 15.61",\
                 "0.28, 0.388, 0.726, 1.398, 2.496, 4.05, 6.106, 8.686, 11.84, 15.61");
        }
      }

      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.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.005872, 0.02298, 0.05564, 0.1065, 0.1779, 0.2719, 0.3902, 0.5347, 0.7069");
          values("1.251, 1.318, 1.492, 1.746, 2.094, 2.561, 3.17, 3.937, 4.873, 5.988",\
                 "1.271, 1.338, 1.512, 1.766, 2.114, 2.581, 3.19, 3.957, 4.893, 6.007",\
                 "1.312, 1.379, 1.554, 1.808, 2.155, 2.622, 3.232, 3.999, 4.935, 6.05",\
                 "1.376, 1.443, 1.618, 1.872, 2.219, 2.687, 3.296, 4.063, 4.999, 6.114",\
                 "1.437, 1.504, 1.678, 1.932, 2.279, 2.746, 3.356, 4.122, 5.059, 6.173",\
                 "1.468, 1.535, 1.71, 1.964, 2.311, 2.777, 3.386, 4.152, 5.087, 6.203",\
                 "1.455, 1.523, 1.699, 1.954, 2.301, 2.768, 3.377, 4.142, 5.076, 6.191",\
                 "1.386, 1.455, 1.632, 1.889, 2.238, 2.705, 3.315, 4.08, 5.013, 6.128",\
                 "1.254, 1.324, 1.503, 1.761, 2.111, 2.583, 3.194, 3.961, 4.896, 6.01",\
                 "1.052, 1.123, 1.305, 1.565, 1.919, 2.394, 3.011, 3.783, 4.72, 5.834");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.005872, 0.02298, 0.05564, 0.1065, 0.1779, 0.2719, 0.3902, 0.5347, 0.7069");
          values("1.26, 1.343, 1.586, 2.003, 2.637, 3.523, 4.688, 6.154, 7.945, 10.08",\
                 "1.292, 1.375, 1.618, 2.035, 2.668, 3.555, 4.72, 6.187, 7.977, 10.11",\
                 "1.424, 1.507, 1.75, 2.167, 2.801, 3.687, 4.852, 6.319, 8.109, 10.24",\
                 "1.682, 1.766, 2.009, 2.425, 3.059, 3.945, 5.111, 6.577, 8.368, 10.5",\
                 "2.03, 2.113, 2.356, 2.773, 3.407, 4.294, 5.459, 6.925, 8.715, 10.85",\
                 "2.438, 2.521, 2.766, 3.182, 3.816, 4.704, 5.869, 7.334, 9.126, 11.25",\
                 "2.917, 3, 3.245, 3.662, 4.296, 5.182, 6.347, 7.813, 9.603, 11.73",\
                 "3.47, 3.555, 3.8, 4.218, 4.851, 5.737, 6.901, 8.368, 10.16, 12.29",\
                 "4.1, 4.185, 4.432, 4.849, 5.484, 6.369, 7.533, 8.999, 10.79, 12.92",\
                 "4.809, 4.896, 5.144, 5.562, 6.195, 7.081, 8.246, 9.712, 11.5, 13.63");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.005872, 0.02298, 0.05564, 0.1065, 0.1779, 0.2719, 0.3902, 0.5347, 0.7069");
          values("0.2332, 0.2938, 0.471, 0.7878, 1.307, 2.069, 3.099, 4.405, 5.991, 7.9",\
                 "0.2336, 0.2938, 0.4718, 0.7882, 1.306, 2.069, 3.097, 4.402, 5.995, 7.896",\
                 "0.2334, 0.2942, 0.4718, 0.7892, 1.306, 2.07, 3.096, 4.406, 6, 7.901",\
                 "0.234, 0.2946, 0.4714, 0.7876, 1.306, 2.07, 3.096, 4.404, 6.001, 7.902",\
                 "0.23, 0.2912, 0.4704, 0.7864, 1.306, 2.071, 3.1, 4.401, 6, 7.89",\
                 "0.2328, 0.2948, 0.4736, 0.7874, 1.305, 2.065, 3.095, 4.396, 5.996, 7.896",\
                 "0.237, 0.2988, 0.4762, 0.7898, 1.306, 2.066, 3.091, 4.391, 5.988, 7.892",\
                 "0.2428, 0.3044, 0.4816, 0.7948, 1.309, 2.072, 3.092, 4.396, 5.983, 7.876",\
                 "0.2496, 0.3112, 0.4872, 0.801, 1.319, 2.08, 3.106, 4.398, 5.986, 7.878",\
                 "0.258, 0.318, 0.492, 0.808, 1.328, 2.1, 3.128, 4.418, 5.998, 7.882");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.005872, 0.02298, 0.05564, 0.1065, 0.1779, 0.2719, 0.3902, 0.5347, 0.7069");
          values("0.2628, 0.3664, 0.7102, 1.392, 2.498, 4.051, 6.104, 8.7, 11.85, 15.62",\
                 "0.263, 0.3676, 0.7102, 1.392, 2.497, 4.053, 6.103, 8.703, 11.85, 15.61",\
                 "0.263, 0.366, 0.7102, 1.392, 2.493, 4.054, 6.101, 8.691, 11.85, 15.61",\
                 "0.2632, 0.3666, 0.71, 1.391, 2.497, 4.052, 6.104, 8.701, 11.85, 15.6",\
                 "0.2648, 0.3674, 0.7106, 1.392, 2.493, 4.051, 6.106, 8.702, 11.85, 15.61",\
                 "0.2656, 0.3696, 0.7126, 1.392, 2.499, 4.053, 6.106, 8.684, 11.86, 15.62",\
                 "0.2676, 0.373, 0.714, 1.395, 2.495, 4.055, 6.102, 8.69, 11.85, 15.61",\
                 "0.2714, 0.3764, 0.7178, 1.394, 2.497, 4.05, 6.102, 8.7, 11.85, 15.61",\
                 "0.274, 0.38, 0.72, 1.394, 2.498, 4.056, 6.1, 8.688, 11.86, 15.63",\
                 "0.28, 0.384, 0.724, 1.398, 2.496, 4.05, 6.106, 8.686, 11.84, 15.61");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.005872, 0.02298, 0.05564, 0.1065, 0.1779, 0.2719, 0.3902, 0.5347, 0.7069");
          values("1.251, 1.318, 1.492, 1.746, 2.094, 2.561, 3.17, 3.937, 4.873, 5.988",\
                 "1.271, 1.338, 1.512, 1.766, 2.114, 2.581, 3.19, 3.957, 4.893, 6.007",\
                 "1.312, 1.379, 1.554, 1.808, 2.155, 2.622, 3.232, 3.999, 4.935, 6.05",\
                 "1.376, 1.443, 1.618, 1.872, 2.219, 2.687, 3.296, 4.063, 4.999, 6.114",\
                 "1.437, 1.504, 1.678, 1.932, 2.279, 2.746, 3.356, 4.122, 5.059, 6.173",\
                 "1.468, 1.535, 1.71, 1.964, 2.311, 2.777, 3.386, 4.152, 5.087, 6.203",\
                 "1.455, 1.523, 1.699, 1.954, 2.301, 2.768, 3.377, 4.142, 5.076, 6.191",\
                 "1.386, 1.455, 1.632, 1.889, 2.238, 2.705, 3.315, 4.08, 5.013, 6.128",\
                 "1.254, 1.324, 1.503, 1.761, 2.111, 2.583, 3.194, 3.961, 4.896, 6.01",\
                 "1.052, 1.123, 1.305, 1.565, 1.919, 2.394, 3.011, 3.783, 4.72, 5.834");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.005872, 0.02298, 0.05564, 0.1065, 0.1779, 0.2719, 0.3902, 0.5347, 0.7069");
          values("1.26, 1.343, 1.586, 2.003, 2.637, 3.523, 4.688, 6.154, 7.945, 10.08",\
                 "1.292, 1.375, 1.618, 2.035, 2.668, 3.555, 4.72, 6.187, 7.977, 10.11",\
                 "1.424, 1.507, 1.75, 2.167, 2.801, 3.687, 4.852, 6.319, 8.109, 10.24",\
                 "1.682, 1.766, 2.009, 2.425, 3.059, 3.945, 5.111, 6.577, 8.368, 10.5",\
                 "2.03, 2.113, 2.356, 2.773, 3.407, 4.294, 5.459, 6.925, 8.715, 10.85",\
                 "2.438, 2.521, 2.766, 3.182, 3.816, 4.704, 5.869, 7.334, 9.126, 11.25",\
                 "2.917, 3, 3.245, 3.662, 4.296, 5.182, 6.347, 7.813, 9.603, 11.73",\
                 "3.47, 3.555, 3.8, 4.218, 4.851, 5.737, 6.901, 8.368, 10.16, 12.29",\
                 "4.1, 4.185, 4.432, 4.849, 5.484, 6.369, 7.533, 8.999, 10.79, 12.92",\
                 "4.809, 4.896, 5.144, 5.562, 6.195, 7.081, 8.246, 9.712, 11.5, 13.63");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.005872, 0.02298, 0.05564, 0.1065, 0.1779, 0.2719, 0.3902, 0.5347, 0.7069");
          values("0.2332, 0.2938, 0.471, 0.7878, 1.307, 2.069, 3.099, 4.405, 5.991, 7.9",\
                 "0.2336, 0.2938, 0.4718, 0.7882, 1.306, 2.069, 3.097, 4.402, 5.995, 7.896",\
                 "0.2334, 0.2942, 0.4718, 0.7892, 1.306, 2.07, 3.096, 4.406, 6, 7.901",\
                 "0.234, 0.2946, 0.4714, 0.7876, 1.306, 2.07, 3.096, 4.404, 6.001, 7.902",\
                 "0.23, 0.2912, 0.4704, 0.7864, 1.306, 2.071, 3.1, 4.401, 6, 7.89",\
                 "0.2328, 0.2948, 0.4736, 0.7874, 1.305, 2.065, 3.095, 4.396, 5.996, 7.896",\
                 "0.237, 0.2988, 0.4762, 0.7898, 1.306, 2.066, 3.091, 4.391, 5.988, 7.892",\
                 "0.2428, 0.3044, 0.4816, 0.7948, 1.309, 2.072, 3.092, 4.396, 5.983, 7.876",\
                 "0.2496, 0.3112, 0.4872, 0.801, 1.319, 2.08, 3.106, 4.398, 5.986, 7.878",\
                 "0.258, 0.318, 0.492, 0.808, 1.328, 2.1, 3.128, 4.418, 5.998, 7.882");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.005872, 0.02298, 0.05564, 0.1065, 0.1779, 0.2719, 0.3902, 0.5347, 0.7069");
          values("0.2628, 0.3664, 0.7102, 1.392, 2.498, 4.051, 6.104, 8.7, 11.85, 15.62",\
                 "0.263, 0.3676, 0.7102, 1.392, 2.497, 4.053, 6.103, 8.703, 11.85, 15.61",\
                 "0.263, 0.366, 0.7102, 1.392, 2.493, 4.054, 6.101, 8.691, 11.85, 15.61",\
                 "0.2632, 0.3666, 0.71, 1.391, 2.497, 4.052, 6.104, 8.701, 11.85, 15.6",\
                 "0.2648, 0.3674, 0.7106, 1.392, 2.493, 4.051, 6.106, 8.702, 11.85, 15.61",\
                 "0.2656, 0.3696, 0.7126, 1.392, 2.499, 4.053, 6.106, 8.684, 11.86, 15.62",\
                 "0.2676, 0.373, 0.714, 1.395, 2.495, 4.055, 6.102, 8.69, 11.85, 15.61",\
                 "0.2714, 0.3764, 0.7178, 1.394, 2.497, 4.05, 6.102, 8.7, 11.85, 15.61",\
                 "0.274, 0.38, 0.72, 1.394, 2.498, 4.056, 6.1, 8.688, 11.86, 15.63",\
                 "0.28, 0.384, 0.724, 1.398, 2.496, 4.05, 6.106, 8.686, 11.84, 15.61");
        }
      }

      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.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.005872, 0.02298, 0.05564, 0.1065, 0.1779, 0.2719, 0.3902, 0.5347, 0.7069");
          values("0.9522, 1.034, 1.248, 1.555, 1.946, 2.438, 3.058, 3.828, 4.764, 5.879",\
                 "0.9763, 1.058, 1.273, 1.58, 1.97, 2.463, 3.083, 3.852, 4.788, 5.903",\
                 "1.071, 1.152, 1.367, 1.674, 2.065, 2.557, 3.177, 3.947, 4.883, 5.997",\
                 "1.296, 1.377, 1.592, 1.898, 2.289, 2.781, 3.402, 4.171, 5.107, 6.222",\
                 "1.643, 1.726, 1.945, 2.255, 2.647, 3.14, 3.76, 4.53, 5.465, 6.579",\
                 "2.049, 2.138, 2.366, 2.687, 3.089, 3.586, 4.208, 4.977, 5.912, 7.027",\
                 "2.523, 2.618, 2.857, 3.188, 3.597, 4.101, 4.727, 5.498, 6.434, 7.548",\
                 "3.076, 3.176, 3.429, 3.771, 4.188, 4.696, 5.324, 6.096, 7.035, 8.151",\
                 "3.709, 3.815, 4.082, 4.439, 4.867, 5.382, 6.013, 6.785, 7.725, 8.84",\
                 "4.423, 4.535, 4.816, 5.192, 5.636, 6.161, 6.797, 7.573, 8.511, 9.628");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.005872, 0.02298, 0.05564, 0.1065, 0.1779, 0.2719, 0.3902, 0.5347, 0.7069");
          values("0.5661, 0.6472, 0.8879, 1.303, 1.936, 2.823, 3.986, 5.457, 7.249, 9.385",\
                 "0.594, 0.6751, 0.9159, 1.331, 1.964, 2.851, 4.017, 5.479, 7.27, 9.408",\
                 "0.6873, 0.7684, 1.008, 1.424, 2.056, 2.943, 4.109, 5.575, 7.362, 9.505",\
                 "0.8277, 0.9101, 1.151, 1.565, 2.198, 3.083, 4.25, 5.715, 7.507, 9.637",\
                 "0.9352, 1.02, 1.266, 1.683, 2.315, 3.2, 4.364, 5.835, 7.623, 9.757",\
                 "0.9996, 1.089, 1.34, 1.757, 2.389, 3.275, 4.437, 5.906, 7.693, 9.828",\
                 "1.012, 1.106, 1.368, 1.788, 2.418, 3.301, 4.466, 5.931, 7.72, 9.857",\
                 "0.9632, 1.064, 1.338, 1.767, 2.399, 3.282, 4.443, 5.909, 7.697, 9.83",\
                 "0.8485, 0.9548, 1.244, 1.685, 2.323, 3.209, 4.371, 5.834, 7.623, 9.755",\
                 "0.6651, 0.7771, 1.081, 1.534, 2.179, 3.073, 4.239, 5.705, 7.492, 9.623");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.005872, 0.02298, 0.05564, 0.1065, 0.1779, 0.2719, 0.3902, 0.5347, 0.7069");
          values("0.3027, 0.3791, 0.597, 0.9392, 1.441, 2.165, 3.152, 4.436, 6.022, 7.915",\
                 "0.3029, 0.3792, 0.5972, 0.938, 1.442, 2.164, 3.152, 4.438, 6.014, 7.922",\
                 "0.3028, 0.3796, 0.5976, 0.9376, 1.441, 2.163, 3.156, 4.436, 6.02, 7.911",\
                 "0.3034, 0.3804, 0.5982, 0.9394, 1.441, 2.164, 3.153, 4.437, 6.023, 7.916",\
                 "0.331, 0.4068, 0.6182, 0.9522, 1.449, 2.17, 3.158, 4.433, 6.021, 7.915",\
                 "0.3724, 0.449, 0.6588, 0.9922, 1.48, 2.189, 3.162, 4.439, 6.023, 7.92",\
                 "0.4112, 0.4918, 0.7016, 1.03, 1.511, 2.215, 3.184, 4.447, 6.026, 7.917",\
                 "0.4528, 0.5372, 0.7494, 1.074, 1.546, 2.239, 3.2, 4.466, 6.034, 7.924",\
                 "0.498, 0.588, 0.806, 1.128, 1.592, 2.27, 3.22, 4.476, 6.044, 7.928",\
                 "0.546, 0.64, 0.87, 1.194, 1.652, 2.314, 3.248, 4.49, 6.05, 7.942");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.005872, 0.02298, 0.05564, 0.1065, 0.1779, 0.2719, 0.3902, 0.5347, 0.7069");
          values("0.252, 0.3548, 0.7002, 1.388, 2.49, 4.051, 6.102, 8.69, 11.85, 15.63",\
                 "0.2526, 0.3552, 0.7003, 1.388, 2.49, 4.05, 6.102, 8.69, 11.85, 15.63",\
                 "0.2523, 0.3551, 0.7, 1.387, 2.489, 4.049, 6.104, 8.699, 11.86, 15.63",\
                 "0.2638, 0.3674, 0.7084, 1.387, 2.494, 4.05, 6.103, 8.695, 11.86, 15.63",\
                 "0.2858, 0.3876, 0.7238, 1.4, 2.498, 4.054, 6.105, 8.693, 11.85, 15.61",\
                 "0.3112, 0.4146, 0.7454, 1.407, 2.501, 4.058, 6.11, 8.69, 11.85, 15.63",\
                 "0.345, 0.4496, 0.776, 1.422, 2.508, 4.059, 6.111, 8.686, 11.84, 15.61",\
                 "0.3824, 0.491, 0.8168, 1.449, 2.521, 4.065, 6.113, 8.694, 11.85, 15.64",\
                 "0.4238, 0.5334, 0.8634, 1.487, 2.549, 4.084, 6.128, 8.696, 11.85, 15.6",\
                 "0.464, 0.5762, 0.918, 1.526, 2.586, 4.122, 6.154, 8.706, 11.85, 15.61");
        }
      }

      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.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.005872, 0.02298, 0.05564, 0.1065, 0.1779, 0.2719, 0.3902, 0.5347, 0.7069");
          values("0.9514, 1.033, 1.248, 1.555, 1.945, 2.438, 3.058, 3.827, 4.763, 5.879",\
                 "0.9756, 1.057, 1.272, 1.579, 1.97, 2.462, 3.082, 3.852, 4.788, 5.903",\
                 "1.071, 1.152, 1.367, 1.674, 2.065, 2.557, 3.177, 3.947, 4.883, 5.998",\
                 "1.296, 1.377, 1.592, 1.898, 2.289, 2.782, 3.402, 4.171, 5.108, 6.222",\
                 "1.643, 1.727, 1.945, 2.255, 2.647, 3.14, 3.76, 4.529, 5.465, 6.58",\
                 "2.049, 2.139, 2.367, 2.688, 3.087, 3.587, 4.208, 4.978, 5.913, 7.028",\
                 "2.524, 2.618, 2.858, 3.189, 3.597, 4.101, 4.727, 5.499, 6.434, 7.549",\
                 "3.077, 3.176, 3.43, 3.772, 4.189, 4.697, 5.324, 6.097, 7.035, 8.151",\
                 "3.709, 3.815, 4.082, 4.439, 4.867, 5.382, 6.013, 6.786, 7.724, 8.841",\
                 "4.423, 4.535, 4.816, 5.192, 5.635, 6.161, 6.798, 7.575, 8.512, 9.628");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.005872, 0.02298, 0.05564, 0.1065, 0.1779, 0.2719, 0.3902, 0.5347, 0.7069");
          values("0.5661, 0.6474, 0.8879, 1.303, 1.936, 2.823, 3.987, 5.457, 7.249, 9.383",\
                 "0.5937, 0.6751, 0.9159, 1.331, 1.964, 2.851, 4.015, 5.485, 7.276, 9.415",\
                 "0.6876, 0.7685, 1.009, 1.424, 2.057, 2.943, 4.11, 5.573, 7.362, 9.498",\
                 "0.8277, 0.9099, 1.151, 1.565, 2.198, 3.084, 4.25, 5.719, 7.51, 9.639",\
                 "0.9356, 1.021, 1.266, 1.682, 2.315, 3.2, 4.365, 5.833, 7.619, 9.755",\
                 "1, 1.089, 1.341, 1.757, 2.389, 3.275, 4.438, 5.906, 7.693, 9.835",\
                 "1.012, 1.106, 1.367, 1.788, 2.418, 3.301, 4.466, 5.931, 7.722, 9.855",\
                 "0.9634, 1.064, 1.339, 1.767, 2.399, 3.282, 4.443, 5.909, 7.697, 9.83",\
                 "0.8489, 0.9551, 1.244, 1.685, 2.322, 3.208, 4.37, 5.834, 7.622, 9.754",\
                 "0.6651, 0.7771, 1.082, 1.534, 2.18, 3.073, 4.241, 5.706, 7.493, 9.625");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.005872, 0.02298, 0.05564, 0.1065, 0.1779, 0.2719, 0.3902, 0.5347, 0.7069");
          values("0.3031, 0.3796, 0.5974, 0.9388, 1.442, 2.164, 3.156, 4.438, 6.023, 7.922",\
                 "0.3028, 0.3794, 0.5976, 0.9388, 1.442, 2.163, 3.157, 4.438, 6.02, 7.912",\
                 "0.303, 0.3796, 0.5974, 0.9382, 1.442, 2.165, 3.156, 4.437, 6.02, 7.911",\
                 "0.3034, 0.3804, 0.5982, 0.9402, 1.442, 2.164, 3.156, 4.437, 6.016, 7.921",\
                 "0.3312, 0.406, 0.619, 0.9528, 1.45, 2.169, 3.157, 4.435, 6.02, 7.918",\
                 "0.3726, 0.4486, 0.6582, 0.9922, 1.48, 2.187, 3.167, 4.438, 6.02, 7.919",\
                 "0.4116, 0.4916, 0.7006, 1.03, 1.513, 2.214, 3.185, 4.448, 6.027, 7.918",\
                 "0.4518, 0.5382, 0.749, 1.075, 1.548, 2.24, 3.202, 4.466, 6.036, 7.924",\
                 "0.498, 0.588, 0.806, 1.128, 1.592, 2.27, 3.218, 4.474, 6.042, 7.93",\
                 "0.548, 0.642, 0.872, 1.196, 1.652, 2.316, 3.25, 4.494, 6.058, 7.938");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.005872, 0.02298, 0.05564, 0.1065, 0.1779, 0.2719, 0.3902, 0.5347, 0.7069");
          values("0.2522, 0.3546, 0.7002, 1.388, 2.49, 4.051, 6.106, 8.696, 11.86, 15.63",\
                 "0.2518, 0.3552, 0.7, 1.386, 2.49, 4.05, 6.103, 8.695, 11.86, 15.63",\
                 "0.2525, 0.3551, 0.7004, 1.387, 2.494, 4.05, 6.102, 8.69, 11.85, 15.63",\
                 "0.2636, 0.3676, 0.707, 1.39, 2.489, 4.05, 6.103, 8.693, 11.86, 15.64",\
                 "0.2856, 0.3876, 0.7242, 1.4, 2.498, 4.054, 6.105, 8.695, 11.86, 15.61",\
                 "0.3112, 0.4142, 0.744, 1.407, 2.502, 4.057, 6.107, 8.691, 11.85, 15.63",\
                 "0.3456, 0.4496, 0.7768, 1.422, 2.505, 4.059, 6.11, 8.686, 11.86, 15.62",\
                 "0.3824, 0.4896, 0.8162, 1.45, 2.521, 4.066, 6.113, 8.696, 11.84, 15.64",\
                 "0.4218, 0.5332, 0.8652, 1.485, 2.548, 4.082, 6.122, 8.698, 11.85, 15.64",\
                 "0.4638, 0.5778, 0.918, 1.528, 2.584, 4.122, 6.152, 8.708, 11.86, 15.61");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.005872, 0.02298, 0.05564, 0.1065, 0.1779, 0.2719, 0.3902, 0.5347, 0.7069");
          values("0.9514, 1.033, 1.248, 1.555, 1.945, 2.438, 3.058, 3.827, 4.763, 5.879",\
                 "0.9756, 1.057, 1.272, 1.579, 1.97, 2.462, 3.082, 3.852, 4.788, 5.903",\
                 "1.071, 1.152, 1.367, 1.674, 2.065, 2.557, 3.177, 3.947, 4.883, 5.998",\
                 "1.296, 1.377, 1.592, 1.898, 2.289, 2.782, 3.402, 4.171, 5.108, 6.222",\
                 "1.643, 1.727, 1.945, 2.255, 2.647, 3.14, 3.76, 4.529, 5.465, 6.58",\
                 "2.049, 2.139, 2.367, 2.688, 3.087, 3.587, 4.208, 4.978, 5.913, 7.028",\
                 "2.524, 2.618, 2.858, 3.189, 3.597, 4.101, 4.727, 5.499, 6.434, 7.549",\
                 "3.077, 3.176, 3.43, 3.772, 4.189, 4.697, 5.324, 6.097, 7.035, 8.151",\
                 "3.709, 3.815, 4.082, 4.439, 4.867, 5.382, 6.013, 6.786, 7.724, 8.841",\
                 "4.423, 4.535, 4.816, 5.192, 5.635, 6.161, 6.798, 7.575, 8.512, 9.628");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.005872, 0.02298, 0.05564, 0.1065, 0.1779, 0.2719, 0.3902, 0.5347, 0.7069");
          values("0.5661, 0.6472, 0.8879, 1.303, 1.936, 2.823, 3.986, 5.457, 7.249, 9.385",\
                 "0.594, 0.6751, 0.9159, 1.331, 1.964, 2.851, 4.017, 5.479, 7.27, 9.408",\
                 "0.6873, 0.7684, 1.008, 1.424, 2.056, 2.943, 4.109, 5.575, 7.362, 9.505",\
                 "0.8277, 0.9101, 1.151, 1.565, 2.198, 3.083, 4.25, 5.715, 7.507, 9.637",\
                 "0.9352, 1.02, 1.266, 1.683, 2.315, 3.2, 4.364, 5.835, 7.623, 9.757",\
                 "0.9996, 1.089, 1.34, 1.757, 2.389, 3.275, 4.437, 5.906, 7.693, 9.828",\
                 "1.012, 1.106, 1.368, 1.788, 2.418, 3.301, 4.466, 5.931, 7.72, 9.857",\
                 "0.9632, 1.064, 1.338, 1.767, 2.399, 3.282, 4.443, 5.909, 7.697, 9.83",\
                 "0.8485, 0.9548, 1.244, 1.685, 2.323, 3.209, 4.371, 5.834, 7.623, 9.755",\
                 "0.6651, 0.7771, 1.081, 1.534, 2.179, 3.073, 4.239, 5.705, 7.492, 9.623");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.005872, 0.02298, 0.05564, 0.1065, 0.1779, 0.2719, 0.3902, 0.5347, 0.7069");
          values("0.3027, 0.3791, 0.597, 0.9392, 1.441, 2.165, 3.152, 4.436, 6.022, 7.915",\
                 "0.3029, 0.3792, 0.5972, 0.938, 1.442, 2.164, 3.152, 4.438, 6.014, 7.922",\
                 "0.3028, 0.3796, 0.5976, 0.9376, 1.441, 2.163, 3.156, 4.436, 6.02, 7.911",\
                 "0.3034, 0.3804, 0.5982, 0.9394, 1.441, 2.164, 3.153, 4.437, 6.023, 7.916",\
                 "0.331, 0.4068, 0.6182, 0.9522, 1.449, 2.17, 3.158, 4.433, 6.021, 7.915",\
                 "0.3724, 0.449, 0.6588, 0.9922, 1.48, 2.189, 3.162, 4.439, 6.023, 7.92",\
                 "0.4112, 0.4918, 0.7016, 1.03, 1.511, 2.215, 3.184, 4.447, 6.026, 7.917",\
                 "0.4528, 0.5372, 0.7494, 1.074, 1.546, 2.239, 3.2, 4.466, 6.034, 7.924",\
                 "0.498, 0.588, 0.806, 1.128, 1.592, 2.27, 3.22, 4.476, 6.044, 7.928",\
                 "0.546, 0.64, 0.87, 1.194, 1.652, 2.314, 3.248, 4.49, 6.05, 7.942");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.005872, 0.02298, 0.05564, 0.1065, 0.1779, 0.2719, 0.3902, 0.5347, 0.7069");
          values("0.2522, 0.3546, 0.7002, 1.388, 2.49, 4.051, 6.106, 8.696, 11.86, 15.63",\
                 "0.2518, 0.3552, 0.7, 1.386, 2.49, 4.05, 6.103, 8.695, 11.86, 15.63",\
                 "0.2525, 0.3551, 0.7004, 1.387, 2.494, 4.05, 6.102, 8.69, 11.85, 15.63",\
                 "0.2636, 0.3676, 0.707, 1.39, 2.489, 4.05, 6.103, 8.693, 11.86, 15.64",\
                 "0.2856, 0.3876, 0.7242, 1.4, 2.498, 4.054, 6.105, 8.695, 11.86, 15.61",\
                 "0.3112, 0.4142, 0.744, 1.407, 2.502, 4.057, 6.107, 8.691, 11.85, 15.63",\
                 "0.3456, 0.4496, 0.7768, 1.422, 2.505, 4.059, 6.11, 8.686, 11.86, 15.62",\
                 "0.3824, 0.4896, 0.8162, 1.45, 2.521, 4.066, 6.113, 8.696, 11.84, 15.64",\
                 "0.4218, 0.5332, 0.8652, 1.485, 2.548, 4.082, 6.122, 8.698, 11.85, 15.64",\
                 "0.4638, 0.5778, 0.918, 1.528, 2.584, 4.122, 6.152, 8.708, 11.86, 15.61");
        }
      }
    }
  }