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

  cell(gf180mcu_fd_sc_mcu7t5v0__xnor3_2) {
    area : 61.465600 ;

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

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

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

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

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

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

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

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

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

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

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

    pin(A1) {
      capacitance : 0.004949 ;
      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.005156 ;
      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.007297 ;
      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(ZN) {
      direction : output ;
      function : "(!(A1^A2^A3))" ;
      max_capacitance : 0.7051 ;
      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.00586, 0.02292, 0.0555, 0.1063, 0.1775, 0.2712, 0.3892, 0.5334, 0.7051");
          values("0.2546, 0.2524, 0.2496, 0.2483, 0.2476, 0.2472, 0.2471, 0.247, 0.2469, 0.2468",\
                 "0.2545, 0.2523, 0.2495, 0.2482, 0.2474, 0.2471, 0.2469, 0.2468, 0.2467, 0.2466",\
                 "0.2542, 0.252, 0.2493, 0.2478, 0.2472, 0.2469, 0.2467, 0.2466, 0.2465, 0.2464",\
                 "0.2546, 0.2524, 0.2497, 0.2483, 0.2476, 0.2473, 0.2471, 0.247, 0.2469, 0.2468",\
                 "0.2565, 0.2543, 0.2514, 0.2501, 0.2495, 0.2492, 0.249, 0.2488, 0.2487, 0.2486",\
                 "0.2603, 0.258, 0.2553, 0.2539, 0.2533, 0.253, 0.2528, 0.2526, 0.2525, 0.2524",\
                 "0.2662, 0.264, 0.2612, 0.2598, 0.2593, 0.2589, 0.2586, 0.2585, 0.2584, 0.2583",\
                 "0.2746, 0.2723, 0.2696, 0.2682, 0.2676, 0.2672, 0.267, 0.2669, 0.2668, 0.2666",\
                 "0.2855, 0.2833, 0.2805, 0.2791, 0.2785, 0.2782, 0.2779, 0.2778, 0.2777, 0.2774",\
                 "0.2991, 0.2969, 0.2942, 0.2927, 0.2921, 0.2917, 0.2915, 0.2914, 0.2912, 0.2905");
        }

        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.00586, 0.02292, 0.0555, 0.1063, 0.1775, 0.2712, 0.3892, 0.5334, 0.7051");
          values("0.2335, 0.2327, 0.2318, 0.2323, 0.2333, 0.2344, 0.2362, 0.2467, 0.3315, 0.6602",\
                 "0.233, 0.2322, 0.2315, 0.2318, 0.233, 0.234, 0.2353, 0.2463, 0.3334, 0.6656",\
                 "0.2324, 0.2317, 0.2309, 0.2313, 0.2323, 0.2333, 0.2349, 0.2462, 0.3404, 0.6862",\
                 "0.2329, 0.2321, 0.2313, 0.2318, 0.2331, 0.234, 0.2357, 0.25, 0.3567, 0.734",\
                 "0.2359, 0.2353, 0.2344, 0.2348, 0.2361, 0.237, 0.2387, 0.2586, 0.391, 0.8181",\
                 "0.2417, 0.241, 0.2402, 0.2406, 0.2417, 0.2427, 0.2451, 0.275, 0.4541, 0.9571",\
                 "0.2501, 0.2494, 0.2488, 0.249, 0.2501, 0.2513, 0.256, 0.309, 0.5673, 1.161",\
                 "0.2613, 0.2607, 0.2598, 0.2601, 0.2615, 0.2626, 0.2745, 0.38, 0.7643, 1.435",\
                 "0.2757, 0.275, 0.2741, 0.2743, 0.2753, 0.2789, 0.3177, 0.5455, 1.075, 1.725",\
                 "0.2929, 0.2921, 0.2913, 0.2918, 0.2923, 0.3096, 0.4642, 0.8885, 1.415, 1.852");
        }
      }

      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.00586, 0.02292, 0.0555, 0.1063, 0.1775, 0.2712, 0.3892, 0.5334, 0.7051");
          values("0.2184, 0.2157, 0.212, 0.2099, 0.2089, 0.2084, 0.208, 0.2078, 0.2077, 0.2076",\
                 "0.2178, 0.2151, 0.2115, 0.2094, 0.2084, 0.2079, 0.2075, 0.2073, 0.2072, 0.2071",\
                 "0.2172, 0.2145, 0.2108, 0.2087, 0.2077, 0.2072, 0.2069, 0.2067, 0.2065, 0.2064",\
                 "0.2178, 0.2151, 0.2114, 0.2093, 0.2082, 0.2078, 0.2075, 0.2072, 0.2071, 0.207",\
                 "0.2209, 0.2181, 0.2144, 0.2123, 0.2113, 0.2108, 0.2105, 0.2103, 0.2101, 0.21",\
                 "0.2266, 0.2238, 0.2201, 0.2181, 0.2172, 0.2166, 0.2163, 0.216, 0.2159, 0.2157",\
                 "0.2351, 0.2324, 0.2287, 0.2267, 0.2256, 0.2251, 0.2248, 0.2245, 0.2244, 0.2241",\
                 "0.2465, 0.2437, 0.2399, 0.2379, 0.237, 0.2364, 0.2361, 0.2358, 0.2356, 0.2352",\
                 "0.2609, 0.2581, 0.2544, 0.2523, 0.2512, 0.2507, 0.2504, 0.2502, 0.2498, 0.2486",\
                 "0.2783, 0.2755, 0.2718, 0.2697, 0.2687, 0.2681, 0.2678, 0.2673, 0.2658, 0.2625");
        }

        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.00586, 0.02292, 0.0555, 0.1063, 0.1775, 0.2712, 0.3892, 0.5334, 0.7051");
          values("0.2012, 0.1999, 0.1983, 0.1977, 0.1984, 0.1994, 0.201, 0.2092, 0.2801, 0.5711",\
                 "0.201, 0.1998, 0.1983, 0.1976, 0.1981, 0.1994, 0.201, 0.209, 0.2818, 0.5766",\
                 "0.2008, 0.1996, 0.198, 0.1975, 0.1981, 0.1994, 0.2009, 0.2097, 0.2872, 0.5968",\
                 "0.2012, 0.2, 0.1982, 0.1978, 0.1984, 0.1997, 0.201, 0.212, 0.2989, 0.6318",\
                 "0.203, 0.2018, 0.2, 0.1996, 0.2004, 0.2017, 0.203, 0.2163, 0.3181, 0.6846",\
                 "0.2064, 0.2054, 0.2037, 0.2034, 0.2039, 0.2051, 0.2069, 0.2246, 0.3489, 0.7619",\
                 "0.2122, 0.2112, 0.2092, 0.2088, 0.2103, 0.2114, 0.2132, 0.238, 0.3954, 0.8671",\
                 "0.2206, 0.2194, 0.2178, 0.2173, 0.2174, 0.2193, 0.2232, 0.2617, 0.4706, 1.013",\
                 "0.2316, 0.2305, 0.2287, 0.2282, 0.2286, 0.2295, 0.2358, 0.3012, 0.5877, 1.205",\
                 "0.2452, 0.2439, 0.2424, 0.2419, 0.2423, 0.2432, 0.2546, 0.3691, 0.7634, 1.436");
        }
      }

      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.00586, 0.02292, 0.0555, 0.1063, 0.1775, 0.2712, 0.3892, 0.5334, 0.7051");
          values("0.2412, 0.2389, 0.2361, 0.2348, 0.2341, 0.2339, 0.2337, 0.2335, 0.2335, 0.2334",\
                 "0.2411, 0.2389, 0.2361, 0.2348, 0.2341, 0.2338, 0.2336, 0.2335, 0.2333, 0.2333",\
                 "0.2408, 0.2386, 0.2358, 0.2345, 0.2338, 0.2335, 0.2333, 0.2331, 0.233, 0.233",\
                 "0.2416, 0.2393, 0.2366, 0.2353, 0.2346, 0.2343, 0.2341, 0.2339, 0.2338, 0.2338",\
                 "0.2447, 0.2424, 0.2397, 0.2383, 0.2377, 0.2374, 0.2372, 0.237, 0.2369, 0.2368",\
                 "0.2506, 0.2485, 0.2456, 0.2443, 0.2437, 0.2433, 0.2431, 0.243, 0.2429, 0.2428",\
                 "0.2592, 0.2569, 0.2542, 0.2528, 0.2521, 0.2518, 0.2516, 0.2514, 0.2514, 0.2512",\
                 "0.2704, 0.268, 0.2655, 0.264, 0.2634, 0.263, 0.2628, 0.2627, 0.2626, 0.2621",\
                 "0.2846, 0.2824, 0.2796, 0.2782, 0.2776, 0.2773, 0.277, 0.2769, 0.2766, 0.2754",\
                 "0.302, 0.2997, 0.297, 0.2955, 0.2949, 0.2946, 0.2944, 0.294, 0.2924, 0.289");
        }

        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.00586, 0.02292, 0.0555, 0.1063, 0.1775, 0.2712, 0.3892, 0.5334, 0.7051");
          values("0.1692, 0.1685, 0.1677, 0.1681, 0.1692, 0.1702, 0.1714, 0.1802, 0.2482, 0.528",\
                 "0.1693, 0.1687, 0.1678, 0.1681, 0.1693, 0.1702, 0.1715, 0.1803, 0.2496, 0.5336",\
                 "0.1695, 0.1688, 0.168, 0.1683, 0.1695, 0.1706, 0.172, 0.1802, 0.2546, 0.5528",\
                 "0.1705, 0.1697, 0.1689, 0.1692, 0.1704, 0.1714, 0.1726, 0.1839, 0.2675, 0.5935",\
                 "0.1731, 0.1724, 0.1715, 0.1718, 0.173, 0.1741, 0.1755, 0.1885, 0.2914, 0.6585",\
                 "0.1775, 0.1768, 0.176, 0.1761, 0.1774, 0.1783, 0.1802, 0.1988, 0.3287, 0.7519",\
                 "0.184, 0.1833, 0.1823, 0.1827, 0.1844, 0.1852, 0.1871, 0.2164, 0.3881, 0.8831",\
                 "0.1932, 0.1926, 0.1915, 0.1918, 0.1927, 0.195, 0.1992, 0.246, 0.4849, 1.061",\
                 "0.2049, 0.2042, 0.2032, 0.2033, 0.2038, 0.2047, 0.2149, 0.3004, 0.6386, 1.288",\
                 "0.2194, 0.2186, 0.2176, 0.2178, 0.2185, 0.2193, 0.2413, 0.404, 0.869, 1.547");
        }
      }

      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.00586, 0.02292, 0.0555, 0.1063, 0.1775, 0.2712, 0.3892, 0.5334, 0.7051");
          values("0.1539, 0.151, 0.1471, 0.1449, 0.1438, 0.1432, 0.1429, 0.1427, 0.1425, 0.1424",\
                 "0.154, 0.1511, 0.1472, 0.1449, 0.1439, 0.1433, 0.143, 0.1427, 0.1426, 0.1425",\
                 "0.1541, 0.1513, 0.1474, 0.1451, 0.144, 0.1435, 0.1431, 0.1429, 0.1428, 0.1427",\
                 "0.1552, 0.1523, 0.1484, 0.1461, 0.145, 0.1445, 0.1441, 0.1439, 0.1438, 0.1437",\
                 "0.1583, 0.1554, 0.1513, 0.1491, 0.148, 0.1474, 0.147, 0.1468, 0.1466, 0.1465",\
                 "0.1634, 0.1604, 0.1563, 0.154, 0.1528, 0.1522, 0.1518, 0.1516, 0.1514, 0.1513",\
                 "0.1712, 0.1682, 0.1638, 0.1613, 0.1601, 0.1595, 0.1591, 0.1589, 0.1587, 0.1586",\
                 "0.1818, 0.1787, 0.1741, 0.1715, 0.1701, 0.1695, 0.1691, 0.1689, 0.1687, 0.1685",\
                 "0.1953, 0.1921, 0.1873, 0.1844, 0.183, 0.1823, 0.1819, 0.1816, 0.1814, 0.181",\
                 "0.2119, 0.2085, 0.2034, 0.2002, 0.1987, 0.1979, 0.1974, 0.1971, 0.1968, 0.1961");
        }

        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.00586, 0.02292, 0.0555, 0.1063, 0.1775, 0.2712, 0.3892, 0.5334, 0.7051");
          values("0.1873, 0.1861, 0.1846, 0.1841, 0.1849, 0.186, 0.1874, 0.1943, 0.2573, 0.5269",\
                 "0.1873, 0.186, 0.1844, 0.1841, 0.1848, 0.186, 0.1871, 0.1945, 0.2586, 0.5319",\
                 "0.187, 0.186, 0.1841, 0.184, 0.1845, 0.1859, 0.1872, 0.1955, 0.264, 0.5521",\
                 "0.1877, 0.1865, 0.1848, 0.1846, 0.1852, 0.1865, 0.1879, 0.1977, 0.2791, 0.5958",\
                 "0.1907, 0.1894, 0.1878, 0.1873, 0.1882, 0.1895, 0.1907, 0.2051, 0.3071, 0.6756",\
                 "0.1975, 0.1962, 0.1945, 0.1941, 0.1946, 0.1956, 0.1975, 0.2191, 0.3614, 0.8087",\
                 "0.2073, 0.2059, 0.2039, 0.2033, 0.2039, 0.2048, 0.208, 0.2466, 0.4581, 1.004",\
                 "0.22, 0.2186, 0.2162, 0.2152, 0.2159, 0.217, 0.2243, 0.3044, 0.6322, 1.279",\
                 "0.2361, 0.2345, 0.2321, 0.2308, 0.2304, 0.2328, 0.2595, 0.4375, 0.9225, 1.597",\
                 "0.2558, 0.2542, 0.2513, 0.2491, 0.2491, 0.2572, 0.3645, 0.7393, 1.297, 1.81");
        }
      }

      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.00586, 0.02292, 0.0555, 0.1063, 0.1775, 0.2712, 0.3892, 0.5334, 0.7051");
          values("0.246, 0.2438, 0.2411, 0.2397, 0.2391, 0.2387, 0.2385, 0.2384, 0.2383, 0.2382",\
                 "0.2462, 0.2439, 0.2413, 0.2399, 0.2392, 0.2389, 0.2386, 0.2386, 0.2384, 0.2383",\
                 "0.2463, 0.2441, 0.2413, 0.24, 0.2393, 0.239, 0.2388, 0.2386, 0.2385, 0.2385",\
                 "0.247, 0.2448, 0.242, 0.2407, 0.24, 0.2397, 0.2395, 0.2393, 0.2392, 0.2391",\
                 "0.249, 0.2467, 0.2439, 0.2426, 0.2419, 0.2416, 0.2414, 0.2413, 0.2411, 0.2411",\
                 "0.2524, 0.2501, 0.2474, 0.2461, 0.2454, 0.2451, 0.2449, 0.2447, 0.2446, 0.2445",\
                 "0.2576, 0.2553, 0.2525, 0.2512, 0.2506, 0.2503, 0.25, 0.2499, 0.2498, 0.2497",\
                 "0.2647, 0.2624, 0.2598, 0.2584, 0.2577, 0.2574, 0.2572, 0.2571, 0.2569, 0.2567",\
                 "0.2739, 0.2716, 0.2689, 0.2676, 0.267, 0.2666, 0.2664, 0.2662, 0.2661, 0.2658",\
                 "0.2853, 0.2831, 0.2804, 0.279, 0.2784, 0.278, 0.2778, 0.2776, 0.2775, 0.2769");
        }

        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.00586, 0.02292, 0.0555, 0.1063, 0.1775, 0.2712, 0.3892, 0.5334, 0.7051");
          values("0.2299, 0.2291, 0.2283, 0.2288, 0.23, 0.2309, 0.2324, 0.2421, 0.3265, 0.6486",\
                 "0.2291, 0.2283, 0.2276, 0.2279, 0.2291, 0.2301, 0.2313, 0.242, 0.3275, 0.6549",\
                 "0.2289, 0.2281, 0.2273, 0.2277, 0.2289, 0.2299, 0.2316, 0.2425, 0.3354, 0.6787",\
                 "0.2303, 0.2296, 0.2288, 0.2292, 0.2305, 0.2314, 0.2327, 0.2476, 0.3546, 0.7316",\
                 "0.2338, 0.2329, 0.2322, 0.2325, 0.2337, 0.2346, 0.2364, 0.2567, 0.3934, 0.8285",\
                 "0.239, 0.2383, 0.2376, 0.238, 0.239, 0.2399, 0.2426, 0.2756, 0.4629, 0.9783",\
                 "0.2462, 0.2455, 0.2447, 0.2451, 0.2463, 0.2474, 0.2527, 0.3122, 0.5866, 1.195",\
                 "0.2555, 0.2548, 0.254, 0.2542, 0.2556, 0.2569, 0.2707, 0.3919, 0.8011, 1.48",\
                 "0.2673, 0.2665, 0.2657, 0.2659, 0.267, 0.2712, 0.3212, 0.5836, 1.133, 1.758",\
                 "0.2817, 0.2808, 0.28, 0.2801, 0.2813, 0.3091, 0.5093, 0.958, 1.441, 1.816");
        }
      }

      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.00586, 0.02292, 0.0555, 0.1063, 0.1775, 0.2712, 0.3892, 0.5334, 0.7051");
          values("0.2151, 0.2124, 0.2086, 0.2065, 0.2055, 0.205, 0.2047, 0.2045, 0.2043, 0.2042",\
                 "0.2142, 0.2116, 0.2078, 0.2058, 0.2048, 0.2042, 0.2039, 0.2037, 0.2036, 0.2034",\
                 "0.214, 0.2114, 0.2076, 0.2056, 0.2046, 0.204, 0.2037, 0.2035, 0.2034, 0.2032",\
                 "0.2155, 0.2128, 0.2091, 0.207, 0.206, 0.2055, 0.2052, 0.205, 0.2048, 0.2047",\
                 "0.2189, 0.2161, 0.2124, 0.2104, 0.2094, 0.2089, 0.2085, 0.2083, 0.2082, 0.208",\
                 "0.2242, 0.2214, 0.2177, 0.2157, 0.2147, 0.2142, 0.2138, 0.2136, 0.2135, 0.2133",\
                 "0.2314, 0.2287, 0.225, 0.2229, 0.2219, 0.2214, 0.221, 0.2208, 0.2206, 0.2204",\
                 "0.2409, 0.2382, 0.2344, 0.2323, 0.2314, 0.2309, 0.2305, 0.2303, 0.23, 0.2295",\
                 "0.2527, 0.25, 0.2463, 0.2441, 0.2432, 0.2427, 0.2423, 0.2421, 0.2416, 0.2402",\
                 "0.2673, 0.2645, 0.2607, 0.2586, 0.2576, 0.2571, 0.2567, 0.256, 0.2539, 0.25");
        }

        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.00586, 0.02292, 0.0555, 0.1063, 0.1775, 0.2712, 0.3892, 0.5334, 0.7051");
          values("0.1923, 0.1911, 0.1895, 0.1891, 0.1898, 0.1911, 0.1924, 0.2005, 0.2699, 0.5568",\
                 "0.1924, 0.1915, 0.1898, 0.1895, 0.1899, 0.1914, 0.1927, 0.2013, 0.2706, 0.5611",\
                 "0.1926, 0.1915, 0.19, 0.1896, 0.1903, 0.1914, 0.1927, 0.2022, 0.2779, 0.5814",\
                 "0.1933, 0.1921, 0.1906, 0.1903, 0.191, 0.1921, 0.1934, 0.2038, 0.2887, 0.615",\
                 "0.1952, 0.194, 0.1925, 0.1921, 0.1927, 0.194, 0.1954, 0.2085, 0.3069, 0.666",\
                 "0.1987, 0.1975, 0.1959, 0.1957, 0.1962, 0.1974, 0.1991, 0.2163, 0.3359, 0.7388",\
                 "0.2038, 0.2026, 0.201, 0.2006, 0.202, 0.2033, 0.2046, 0.2283, 0.3799, 0.8396",\
                 "0.211, 0.2099, 0.2082, 0.2079, 0.2081, 0.2102, 0.2142, 0.2501, 0.4484, 0.9771",\
                 "0.2203, 0.2192, 0.2174, 0.2172, 0.2177, 0.2178, 0.2239, 0.2847, 0.5549, 1.159",\
                 "0.2317, 0.2306, 0.2288, 0.2284, 0.2288, 0.2293, 0.2395, 0.3424, 0.7158, 1.383");
        }
      }

      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.00586, 0.02292, 0.0555, 0.1063, 0.1775, 0.2712, 0.3892, 0.5334, 0.7051");
          values("0.2472, 0.2449, 0.2421, 0.2407, 0.2401, 0.2398, 0.2396, 0.2395, 0.2394, 0.2393",\
                 "0.2468, 0.2445, 0.2417, 0.2404, 0.2398, 0.2395, 0.2393, 0.2391, 0.239, 0.2389",\
                 "0.2468, 0.2444, 0.2418, 0.2403, 0.2397, 0.2394, 0.2392, 0.239, 0.2389, 0.2389",\
                 "0.2477, 0.2454, 0.2427, 0.2413, 0.2407, 0.2404, 0.2402, 0.24, 0.2399, 0.2399",\
                 "0.2509, 0.2486, 0.2458, 0.2446, 0.2439, 0.2436, 0.2434, 0.2432, 0.2431, 0.243",\
                 "0.257, 0.2548, 0.2521, 0.2507, 0.2501, 0.2497, 0.2495, 0.2494, 0.2493, 0.2492",\
                 "0.266, 0.2638, 0.2611, 0.2597, 0.2591, 0.2588, 0.2585, 0.2584, 0.2582, 0.258",\
                 "0.2778, 0.2755, 0.2728, 0.2714, 0.2707, 0.2704, 0.2702, 0.2701, 0.2699, 0.2695",\
                 "0.2926, 0.2903, 0.2876, 0.2862, 0.2856, 0.2853, 0.2851, 0.2849, 0.2845, 0.2832",\
                 "0.3107, 0.3084, 0.3056, 0.3042, 0.3035, 0.3032, 0.303, 0.3025, 0.3007, 0.297");
        }

        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.00586, 0.02292, 0.0555, 0.1063, 0.1775, 0.2712, 0.3892, 0.5334, 0.7051");
          values("0.1717, 0.171, 0.1702, 0.1704, 0.1716, 0.1727, 0.1739, 0.1814, 0.2498, 0.5322",\
                 "0.1718, 0.1711, 0.1703, 0.1706, 0.1718, 0.1729, 0.1743, 0.1822, 0.2511, 0.5369",\
                 "0.1719, 0.1712, 0.1703, 0.1707, 0.1719, 0.173, 0.1745, 0.1824, 0.257, 0.5536",\
                 "0.1727, 0.172, 0.1712, 0.1716, 0.1728, 0.1737, 0.1749, 0.1852, 0.2683, 0.5906",\
                 "0.175, 0.1744, 0.1735, 0.174, 0.175, 0.1759, 0.1773, 0.1901, 0.29, 0.6497",\
                 "0.1792, 0.1785, 0.1777, 0.1782, 0.1792, 0.1801, 0.1818, 0.2004, 0.324, 0.7359",\
                 "0.1856, 0.1848, 0.1838, 0.184, 0.1859, 0.187, 0.1887, 0.2149, 0.3778, 0.8562",\
                 "0.1948, 0.1941, 0.193, 0.1934, 0.1944, 0.1962, 0.2004, 0.2435, 0.4654, 1.024",\
                 "0.2066, 0.2059, 0.2051, 0.205, 0.2053, 0.2065, 0.2152, 0.2907, 0.6045, 1.241",\
                 "0.2211, 0.2203, 0.2195, 0.2194, 0.2205, 0.2219, 0.2386, 0.3792, 0.8155, 1.495");
        }
      }

      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.00586, 0.02292, 0.0555, 0.1063, 0.1775, 0.2712, 0.3892, 0.5334, 0.7051");
          values("0.1563, 0.1534, 0.1495, 0.1473, 0.1462, 0.1457, 0.1453, 0.1451, 0.1449, 0.1448",\
                 "0.1565, 0.1536, 0.1496, 0.1474, 0.1463, 0.1458, 0.1454, 0.1452, 0.1451, 0.145",\
                 "0.1565, 0.1537, 0.1498, 0.1475, 0.1464, 0.1459, 0.1455, 0.1453, 0.1451, 0.145",\
                 "0.1574, 0.1545, 0.1506, 0.1483, 0.1473, 0.1468, 0.1464, 0.1462, 0.146, 0.1459",\
                 "0.1601, 0.1572, 0.1531, 0.1509, 0.1497, 0.1492, 0.1488, 0.1486, 0.1485, 0.1484",\
                 "0.1649, 0.162, 0.1577, 0.1553, 0.1543, 0.1537, 0.1533, 0.1531, 0.1529, 0.1528",\
                 "0.1724, 0.1693, 0.165, 0.1625, 0.1612, 0.1607, 0.1603, 0.1601, 0.1599, 0.1598",\
                 "0.1829, 0.1797, 0.1751, 0.1724, 0.1711, 0.1705, 0.1701, 0.1698, 0.1696, 0.1694",\
                 "0.1962, 0.1929, 0.1882, 0.1852, 0.1838, 0.1831, 0.1826, 0.1824, 0.1822, 0.1819",\
                 "0.2125, 0.2091, 0.2041, 0.201, 0.1995, 0.1986, 0.1981, 0.1978, 0.1976, 0.1969");
        }

        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.00586, 0.02292, 0.0555, 0.1063, 0.1775, 0.2712, 0.3892, 0.5334, 0.7051");
          values("0.1935, 0.1922, 0.1904, 0.1899, 0.1905, 0.1918, 0.1929, 0.2001, 0.2652, 0.54",\
                 "0.193, 0.1918, 0.1902, 0.1897, 0.1902, 0.1914, 0.1927, 0.2005, 0.2659, 0.5438",\
                 "0.1929, 0.1917, 0.1901, 0.1895, 0.1901, 0.1916, 0.1926, 0.2012, 0.2722, 0.5646",\
                 "0.1939, 0.1926, 0.191, 0.1905, 0.191, 0.1925, 0.1937, 0.2045, 0.2867, 0.6087",\
                 "0.1969, 0.1956, 0.1939, 0.1935, 0.194, 0.1952, 0.1968, 0.2109, 0.3166, 0.6907",\
                 "0.2038, 0.2025, 0.2008, 0.2001, 0.2005, 0.2017, 0.2036, 0.2263, 0.3733, 0.8257",\
                 "0.2142, 0.2127, 0.2107, 0.21, 0.2104, 0.2114, 0.2151, 0.256, 0.4751, 1.03",\
                 "0.2274, 0.2259, 0.2236, 0.2226, 0.2233, 0.2241, 0.2328, 0.3175, 0.6576, 1.311",\
                 "0.2441, 0.2424, 0.2398, 0.2381, 0.2382, 0.2407, 0.2702, 0.4624, 0.9611, 1.63",\
                 "0.2643, 0.2625, 0.2596, 0.2582, 0.2573, 0.268, 0.3918, 0.7859, 1.335, 1.821");
        }
      }

      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.00586, 0.02292, 0.0555, 0.1063, 0.1775, 0.2712, 0.3892, 0.5334, 0.7051");
          values("0.1646, 0.162, 0.1584, 0.1563, 0.1553, 0.1549, 0.1545, 0.1543, 0.1542, 0.1541",\
                 "0.1643, 0.1617, 0.1581, 0.156, 0.1551, 0.1546, 0.1542, 0.154, 0.1539, 0.1538",\
                 "0.1632, 0.1604, 0.1569, 0.1548, 0.1538, 0.1533, 0.153, 0.1528, 0.1526, 0.1525",\
                 "0.1622, 0.1595, 0.156, 0.1539, 0.153, 0.1525, 0.1521, 0.1519, 0.1518, 0.1517",\
                 "0.163, 0.1604, 0.1571, 0.1553, 0.1545, 0.154, 0.1537, 0.1536, 0.1535, 0.1534",\
                 "0.1669, 0.1645, 0.1613, 0.1597, 0.159, 0.1586, 0.1583, 0.1582, 0.1581, 0.158",\
                 "0.1746, 0.1722, 0.1691, 0.1675, 0.1667, 0.1663, 0.1662, 0.166, 0.1659, 0.1658",\
                 "0.1861, 0.1836, 0.1804, 0.1787, 0.1781, 0.1776, 0.1774, 0.1773, 0.1771, 0.177",\
                 "0.2013, 0.1989, 0.1955, 0.1938, 0.1928, 0.1925, 0.1922, 0.1921, 0.192, 0.1917",\
                 "0.2205, 0.2178, 0.2142, 0.2123, 0.2115, 0.2111, 0.2108, 0.2107, 0.2105, 0.21");
        }

        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.00586, 0.02292, 0.0555, 0.1063, 0.1775, 0.2712, 0.3892, 0.5334, 0.7051");
          values("0.1764, 0.1757, 0.1749, 0.1752, 0.1764, 0.1774, 0.1786, 0.185, 0.2425, 0.4945",\
                 "0.176, 0.1753, 0.1745, 0.175, 0.176, 0.1771, 0.1782, 0.1853, 0.2432, 0.4989",\
                 "0.1753, 0.1746, 0.1737, 0.1741, 0.1753, 0.1762, 0.1774, 0.1846, 0.2492, 0.5153",\
                 "0.1755, 0.1748, 0.1741, 0.1743, 0.1754, 0.1765, 0.1781, 0.1858, 0.258, 0.551",\
                 "0.1789, 0.1781, 0.1772, 0.1775, 0.1785, 0.1796, 0.1811, 0.1918, 0.2818, 0.6159",\
                 "0.1861, 0.1853, 0.1842, 0.1847, 0.1856, 0.1869, 0.1882, 0.2055, 0.3249, 0.7287",\
                 "0.1975, 0.1964, 0.1951, 0.1953, 0.1967, 0.1977, 0.2, 0.2287, 0.4029, 0.9",\
                 "0.2129, 0.2119, 0.2103, 0.2102, 0.2107, 0.2135, 0.218, 0.275, 0.5434, 1.148",\
                 "0.2326, 0.2315, 0.2298, 0.2293, 0.2295, 0.2311, 0.2481, 0.374, 0.7905, 1.469",\
                 "0.2565, 0.2553, 0.2533, 0.2529, 0.2527, 0.2561, 0.3151, 0.6029, 1.159, 1.765");
        }
      }

      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.00586, 0.02292, 0.0555, 0.1063, 0.1775, 0.2712, 0.3892, 0.5334, 0.7051");
          values("0.1391, 0.1369, 0.1343, 0.133, 0.1323, 0.1319, 0.1317, 0.1316, 0.1315, 0.1314",\
                 "0.1385, 0.1363, 0.1336, 0.1323, 0.1317, 0.1314, 0.1311, 0.131, 0.1308, 0.1308",\
                 "0.1374, 0.1352, 0.1325, 0.1312, 0.1306, 0.1303, 0.1301, 0.1299, 0.1298, 0.1297",\
                 "0.14, 0.1376, 0.1345, 0.133, 0.1324, 0.1321, 0.1319, 0.1317, 0.1317, 0.1316",\
                 "0.1506, 0.1475, 0.1429, 0.1403, 0.1391, 0.1385, 0.1381, 0.1379, 0.1377, 0.1376",\
                 "0.166, 0.162, 0.156, 0.1522, 0.15, 0.149, 0.1484, 0.148, 0.1478, 0.1476",\
                 "0.1864, 0.1816, 0.1739, 0.1688, 0.1658, 0.1643, 0.1633, 0.1627, 0.1623, 0.162",\
                 "0.2123, 0.2069, 0.1973, 0.1909, 0.1868, 0.1844, 0.183, 0.1821, 0.1815, 0.181",\
                 "0.2442, 0.2381, 0.2268, 0.2184, 0.2132, 0.21, 0.208, 0.2068, 0.206, 0.205",\
                 "0.2825, 0.2758, 0.2625, 0.2522, 0.2457, 0.2415, 0.2388, 0.2369, 0.2354, 0.2331");
        }

        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.00586, 0.02292, 0.0555, 0.1063, 0.1775, 0.2712, 0.3892, 0.5334, 0.7051");
          values("0.07536, 0.07492, 0.07495, 0.07602, 0.07723, 0.07835, 0.07953, 0.08402, 0.1294, 0.3412",\
                 "0.07544, 0.07501, 0.07509, 0.07614, 0.07732, 0.07862, 0.07986, 0.08455, 0.1297, 0.3473",\
                 "0.07574, 0.07527, 0.075, 0.07599, 0.07705, 0.07829, 0.0795, 0.08458, 0.1344, 0.3604",\
                 "0.07963, 0.07877, 0.0776, 0.07788, 0.07888, 0.07988, 0.08153, 0.08751, 0.1443, 0.3924",\
                 "0.08724, 0.08575, 0.08355, 0.08316, 0.08335, 0.08375, 0.0858, 0.09318, 0.1602, 0.4426",\
                 "0.09967, 0.09761, 0.09434, 0.09198, 0.09235, 0.09293, 0.09391, 0.1039, 0.1889, 0.5173",\
                 "0.1171, 0.1144, 0.1099, 0.1063, 0.1052, 0.1062, 0.1073, 0.1225, 0.2349, 0.6255",\
                 "0.1397, 0.1364, 0.1306, 0.126, 0.123, 0.1225, 0.1255, 0.1507, 0.3097, 0.7823",\
                 "0.1676, 0.1638, 0.1569, 0.1508, 0.1467, 0.1449, 0.1479, 0.1959, 0.4317, 1.003",\
                 "0.2012, 0.1964, 0.1882, 0.1812, 0.1761, 0.1727, 0.1798, 0.2722, 0.6269, 1.285");
        }
      }

      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.00586, 0.02292, 0.0555, 0.1063, 0.1775, 0.2712, 0.3892, 0.5334, 0.7051");
          values("0.1391, 0.1369, 0.1343, 0.1329, 0.1323, 0.132, 0.1317, 0.1316, 0.1315, 0.1314",\
                 "0.1385, 0.1363, 0.1336, 0.1323, 0.1317, 0.1314, 0.1311, 0.131, 0.1309, 0.1308",\
                 "0.1374, 0.1352, 0.1325, 0.1312, 0.1306, 0.1303, 0.13, 0.1299, 0.1298, 0.1297",\
                 "0.14, 0.1376, 0.1346, 0.133, 0.1324, 0.1321, 0.1319, 0.1317, 0.1317, 0.1316",\
                 "0.1507, 0.1474, 0.1429, 0.1403, 0.1391, 0.1385, 0.1381, 0.1378, 0.1377, 0.1376",\
                 "0.166, 0.1621, 0.156, 0.1521, 0.1501, 0.149, 0.1484, 0.148, 0.1478, 0.1476",\
                 "0.1864, 0.1816, 0.1739, 0.1688, 0.1658, 0.1643, 0.1633, 0.1627, 0.1623, 0.162",\
                 "0.2123, 0.2069, 0.1973, 0.1909, 0.1868, 0.1844, 0.183, 0.1821, 0.1815, 0.181",\
                 "0.2442, 0.2381, 0.2268, 0.2184, 0.2133, 0.2101, 0.208, 0.2068, 0.206, 0.2049",\
                 "0.2825, 0.2758, 0.2625, 0.2522, 0.2457, 0.2415, 0.2386, 0.237, 0.2354, 0.2331");
        }

        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.00586, 0.02292, 0.0555, 0.1063, 0.1775, 0.2712, 0.3892, 0.5334, 0.7051");
          values("0.07536, 0.07492, 0.07505, 0.07611, 0.07738, 0.07834, 0.07977, 0.08431, 0.1284, 0.3415",\
                 "0.07544, 0.07505, 0.07508, 0.0762, 0.0775, 0.07861, 0.07983, 0.08425, 0.1297, 0.3473",\
                 "0.07574, 0.07526, 0.07499, 0.07599, 0.07705, 0.07828, 0.0795, 0.08458, 0.1344, 0.3604",\
                 "0.07963, 0.07876, 0.07759, 0.07779, 0.07888, 0.07987, 0.08152, 0.08751, 0.1443, 0.3924",\
                 "0.08721, 0.08574, 0.08362, 0.08316, 0.08326, 0.0841, 0.0858, 0.09317, 0.1602, 0.4415",\
                 "0.0996, 0.09766, 0.0944, 0.09201, 0.09238, 0.09313, 0.09337, 0.1036, 0.1889, 0.5166",\
                 "0.1171, 0.1144, 0.1099, 0.1062, 0.1052, 0.1062, 0.1071, 0.1222, 0.2352, 0.6255",\
                 "0.1397, 0.1364, 0.1306, 0.126, 0.123, 0.1226, 0.1258, 0.1507, 0.3097, 0.7823",\
                 "0.1676, 0.1638, 0.1569, 0.1508, 0.1467, 0.1445, 0.1478, 0.1965, 0.4317, 1.003",\
                 "0.2012, 0.1964, 0.1883, 0.1812, 0.1761, 0.1727, 0.1797, 0.2719, 0.6272, 1.285");
        }
      }

      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.00586, 0.02292, 0.0555, 0.1063, 0.1775, 0.2712, 0.3892, 0.5334, 0.7051");
          values("0.1648, 0.1621, 0.1585, 0.1564, 0.1554, 0.1549, 0.1545, 0.1543, 0.1542, 0.1541",\
                 "0.1645, 0.1618, 0.1581, 0.1561, 0.1551, 0.1546, 0.1542, 0.154, 0.1539, 0.1538",\
                 "0.1633, 0.1606, 0.1569, 0.1549, 0.1538, 0.1533, 0.153, 0.1528, 0.1526, 0.1525",\
                 "0.1624, 0.1596, 0.156, 0.1539, 0.153, 0.1524, 0.1521, 0.1519, 0.1518, 0.1516",\
                 "0.1631, 0.1605, 0.1572, 0.1554, 0.1545, 0.154, 0.1537, 0.1536, 0.1534, 0.1533",\
                 "0.167, 0.1645, 0.1614, 0.1598, 0.159, 0.1585, 0.1583, 0.1582, 0.1581, 0.158",\
                 "0.1747, 0.1723, 0.1691, 0.1675, 0.1667, 0.1664, 0.1662, 0.166, 0.1659, 0.1657",\
                 "0.1863, 0.1837, 0.1805, 0.1788, 0.1781, 0.1777, 0.1774, 0.1773, 0.1771, 0.177",\
                 "0.2015, 0.1989, 0.1955, 0.1938, 0.1929, 0.1925, 0.1922, 0.1921, 0.1919, 0.1917",\
                 "0.2206, 0.2179, 0.2143, 0.2124, 0.2115, 0.211, 0.2108, 0.2106, 0.2104, 0.21");
        }

        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.00586, 0.02292, 0.0555, 0.1063, 0.1775, 0.2712, 0.3892, 0.5334, 0.7051");
          values("0.1764, 0.1756, 0.1749, 0.1752, 0.1765, 0.1774, 0.1791, 0.1853, 0.2422, 0.4942",\
                 "0.176, 0.1753, 0.1745, 0.175, 0.176, 0.1771, 0.1785, 0.1847, 0.2439, 0.499",\
                 "0.1753, 0.1746, 0.1737, 0.1743, 0.1752, 0.1764, 0.1778, 0.1842, 0.248, 0.5154",\
                 "0.1755, 0.1749, 0.174, 0.1744, 0.1756, 0.1765, 0.1781, 0.1858, 0.2589, 0.5502",\
                 "0.1789, 0.178, 0.1772, 0.1774, 0.1785, 0.1796, 0.1813, 0.1918, 0.2818, 0.6163",\
                 "0.186, 0.185, 0.1842, 0.1848, 0.1857, 0.1866, 0.1882, 0.2055, 0.3249, 0.7275",\
                 "0.1975, 0.1966, 0.1953, 0.1952, 0.1969, 0.1978, 0.2, 0.2294, 0.4032, 0.8979",\
                 "0.2129, 0.2118, 0.2105, 0.2101, 0.2108, 0.2134, 0.2179, 0.2747, 0.5437, 1.15",\
                 "0.2327, 0.2314, 0.23, 0.2294, 0.2298, 0.231, 0.2479, 0.3737, 0.7905, 1.469",\
                 "0.2565, 0.2553, 0.2533, 0.2527, 0.253, 0.2556, 0.3152, 0.6029, 1.159, 1.764");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.00586, 0.02292, 0.0555, 0.1063, 0.1775, 0.2712, 0.3892, 0.5334, 0.7051");
          values("3.135, 3.212, 3.418, 3.714, 4.096, 4.583, 5.199, 5.965, 6.898, 8.01",\
                 "3.165, 3.242, 3.448, 3.744, 4.126, 4.613, 5.228, 5.995, 6.928, 8.039",\
                 "3.251, 3.328, 3.534, 3.83, 4.212, 4.699, 5.315, 6.081, 7.014, 8.127",\
                 "3.321, 3.398, 3.604, 3.9, 4.282, 4.769, 5.385, 6.151, 7.084, 8.196",\
                 "3.333, 3.41, 3.615, 3.912, 4.294, 4.781, 5.396, 6.163, 7.096, 8.208",\
                 "3.279, 3.356, 3.562, 3.858, 4.24, 4.726, 5.342, 6.109, 7.042, 8.154",\
                 "3.132, 3.209, 3.415, 3.711, 4.093, 4.58, 5.196, 5.962, 6.896, 8.007",\
                 "2.895, 2.972, 3.179, 3.475, 3.857, 4.344, 4.959, 5.725, 6.659, 7.769",\
                 "2.564, 2.642, 2.847, 3.143, 3.525, 4.011, 4.627, 5.394, 6.327, 7.439",\
                 "2.133, 2.21, 2.416, 2.712, 3.095, 3.581, 4.197, 4.964, 5.897, 7.007");
        }

        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.00586, 0.02292, 0.0555, 0.1063, 0.1775, 0.2712, 0.3892, 0.5334, 0.7051");
          values("3.417, 3.489, 3.71, 4.116, 4.747, 5.631, 6.792, 8.256, 10.04, 12.17",\
                 "3.435, 3.507, 3.728, 4.135, 4.766, 5.649, 6.81, 8.273, 10.06, 12.18",\
                 "3.512, 3.584, 3.805, 4.212, 4.843, 5.726, 6.887, 8.349, 10.14, 12.26",\
                 "3.682, 3.754, 3.975, 4.382, 5.013, 5.896, 7.058, 8.52, 10.3, 12.43",\
                 "3.985, 4.058, 4.279, 4.686, 5.317, 6.2, 7.361, 8.825, 10.61, 12.74",\
                 "4.419, 4.491, 4.712, 5.118, 5.749, 6.633, 7.794, 9.256, 11.04, 13.17",\
                 "4.973, 5.045, 5.266, 5.673, 6.304, 7.188, 8.349, 9.811, 11.59, 13.72",\
                 "5.648, 5.721, 5.941, 6.348, 6.978, 7.862, 9.024, 10.49, 12.27, 14.4",\
                 "6.445, 6.516, 6.737, 7.144, 7.774, 8.658, 9.819, 11.28, 13.07, 15.2",\
                 "7.358, 7.431, 7.652, 8.059, 8.69, 9.573, 10.73, 12.2, 13.98, 16.11");
        }

        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.00586, 0.02292, 0.0555, 0.1063, 0.1775, 0.2712, 0.3892, 0.5334, 0.7051");
          values("0.284, 0.358, 0.5704, 0.908, 1.412, 2.143, 3.135, 4.416, 6.002, 7.889",\
                 "0.2838, 0.3578, 0.5724, 0.9086, 1.413, 2.14, 3.135, 4.413, 6.001, 7.889",\
                 "0.2842, 0.358, 0.5712, 0.908, 1.413, 2.141, 3.135, 4.415, 6.002, 7.895",\
                 "0.2844, 0.3578, 0.5708, 0.908, 1.413, 2.141, 3.132, 4.415, 6.002, 7.885",\
                 "0.2838, 0.3578, 0.5702, 0.9076, 1.413, 2.142, 3.136, 4.419, 6.002, 7.896",\
                 "0.2844, 0.3576, 0.5708, 0.9088, 1.413, 2.143, 3.137, 4.414, 5.998, 7.888",\
                 "0.2842, 0.358, 0.571, 0.9074, 1.413, 2.141, 3.134, 4.413, 6.001, 7.893",\
                 "0.2838, 0.3586, 0.5704, 0.9078, 1.415, 2.141, 3.136, 4.411, 5.992, 7.88",\
                 "0.2842, 0.3578, 0.5722, 0.9092, 1.414, 2.142, 3.132, 4.41, 5.992, 7.878",\
                 "0.284, 0.358, 0.57, 0.908, 1.412, 2.142, 3.134, 4.414, 5.992, 7.88");
        }

        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.00586, 0.02292, 0.0555, 0.1063, 0.1775, 0.2712, 0.3892, 0.5334, 0.7051");
          values("0.2354, 0.329, 0.6738, 1.378, 2.484, 4.044, 6.083, 8.681, 11.81, 15.56",\
                 "0.2352, 0.3304, 0.6736, 1.38, 2.486, 4.042, 6.082, 8.673, 11.82, 15.56",\
                 "0.2354, 0.3302, 0.6738, 1.379, 2.487, 4.043, 6.084, 8.665, 11.82, 15.57",\
                 "0.235, 0.329, 0.6734, 1.379, 2.484, 4.041, 6.079, 8.658, 11.81, 15.56",\
                 "0.2348, 0.329, 0.674, 1.378, 2.483, 4.04, 6.084, 8.666, 11.81, 15.57",\
                 "0.2362, 0.3294, 0.6738, 1.376, 2.486, 4.044, 6.084, 8.666, 11.82, 15.56",\
                 "0.2354, 0.329, 0.674, 1.376, 2.486, 4.043, 6.082, 8.662, 11.81, 15.56",\
                 "0.236, 0.33, 0.674, 1.376, 2.486, 4.042, 6.082, 8.666, 11.82, 15.56",\
                 "0.236, 0.33, 0.674, 1.376, 2.482, 4.036, 6.082, 8.656, 11.81, 15.56",\
                 "0.236, 0.33, 0.676, 1.376, 2.482, 4.034, 6.08, 8.658, 11.81, 15.59");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.00586, 0.02292, 0.0555, 0.1063, 0.1775, 0.2712, 0.3892, 0.5334, 0.7051");
          values("1.715, 1.796, 2.008, 2.31, 2.696, 3.186, 3.803, 4.57, 5.504, 6.615",\
                 "1.738, 1.819, 2.031, 2.334, 2.72, 3.209, 3.827, 4.594, 5.527, 6.639",\
                 "1.822, 1.903, 2.115, 2.417, 2.804, 3.293, 3.911, 4.678, 5.611, 6.723",\
                 "1.977, 2.058, 2.27, 2.572, 2.958, 3.448, 4.065, 4.833, 5.766, 6.879",\
                 "2.14, 2.221, 2.433, 2.735, 3.122, 3.611, 4.229, 4.996, 5.929, 7.042",\
                 "2.254, 2.335, 2.548, 2.85, 3.237, 3.727, 4.344, 5.112, 6.045, 7.157",\
                 "2.314, 2.395, 2.608, 2.912, 3.298, 3.788, 4.406, 5.173, 6.106, 7.219",\
                 "2.312, 2.394, 2.607, 2.911, 3.298, 3.788, 4.405, 5.172, 6.106, 7.218",\
                 "2.238, 2.32, 2.534, 2.839, 3.225, 3.717, 4.335, 5.102, 6.035, 7.147",\
                 "2.083, 2.166, 2.381, 2.687, 3.075, 3.566, 4.184, 4.952, 5.886, 6.997");
        }

        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.00586, 0.02292, 0.0555, 0.1063, 0.1775, 0.2712, 0.3892, 0.5334, 0.7051");
          values("2.071, 2.155, 2.399, 2.814, 3.445, 4.328, 5.489, 6.95, 8.733, 10.86",\
                 "2.1, 2.185, 2.429, 2.844, 3.475, 4.359, 5.519, 6.981, 8.766, 10.89",\
                 "2.203, 2.288, 2.532, 2.947, 3.578, 4.46, 5.621, 7.083, 8.868, 10.99",\
                 "2.43, 2.514, 2.758, 3.173, 3.805, 4.688, 5.849, 7.31, 9.095, 11.22",\
                 "2.814, 2.898, 3.143, 3.557, 4.189, 5.072, 6.233, 7.694, 9.479, 11.61",\
                 "3.338, 3.423, 3.668, 4.082, 4.713, 5.596, 6.757, 8.218, 10, 12.13",\
                 "3.953, 4.037, 4.284, 4.698, 5.329, 6.212, 7.373, 8.835, 10.62, 12.75",\
                 "4.659, 4.746, 4.993, 5.408, 6.038, 6.921, 8.081, 9.543, 11.33, 13.46",\
                 "5.469, 5.556, 5.805, 6.22, 6.85, 7.733, 8.892, 10.35, 12.14, 14.26",\
                 "6.381, 6.47, 6.721, 7.135, 7.766, 8.648, 9.809, 11.27, 13.05, 15.18");
        }

        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.00586, 0.02292, 0.0555, 0.1063, 0.1775, 0.2712, 0.3892, 0.5334, 0.7051");
          values("0.3114, 0.3846, 0.5936, 0.9284, 1.431, 2.152, 3.144, 4.418, 6.001, 7.893",\
                 "0.3114, 0.3848, 0.5926, 0.9268, 1.43, 2.153, 3.144, 4.418, 5.998, 7.895",\
                 "0.3108, 0.3842, 0.5944, 0.928, 1.429, 2.151, 3.144, 4.421, 6, 7.898",\
                 "0.3108, 0.3846, 0.5932, 0.9284, 1.43, 2.153, 3.14, 4.419, 6.003, 7.896",\
                 "0.3126, 0.3856, 0.5946, 0.9288, 1.431, 2.152, 3.143, 4.423, 6.004, 7.898",\
                 "0.3144, 0.3876, 0.5958, 0.9292, 1.429, 2.153, 3.142, 4.423, 6.003, 7.89",\
                 "0.3166, 0.3898, 0.5988, 0.9318, 1.43, 2.153, 3.141, 4.419, 5.995, 7.887",\
                 "0.3204, 0.3932, 0.6006, 0.9346, 1.432, 2.156, 3.141, 4.422, 5.993, 7.89",\
                 "0.3262, 0.3992, 0.606, 0.9388, 1.436, 2.156, 3.142, 4.418, 6.006, 7.88",\
                 "0.332, 0.406, 0.61, 0.942, 1.438, 2.158, 3.144, 4.42, 5.994, 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.00586, 0.02292, 0.0555, 0.1063, 0.1775, 0.2712, 0.3892, 0.5334, 0.7051");
          values("0.2824, 0.3848, 0.7216, 1.394, 2.49, 4.046, 6.098, 8.678, 11.82, 15.58",\
                 "0.2826, 0.3846, 0.7206, 1.396, 2.491, 4.046, 6.097, 8.668, 11.82, 15.57",\
                 "0.2814, 0.3858, 0.7218, 1.397, 2.491, 4.044, 6.093, 8.666, 11.82, 15.57",\
                 "0.2822, 0.3848, 0.7206, 1.397, 2.491, 4.047, 6.099, 8.663, 11.82, 15.56",\
                 "0.2824, 0.385, 0.7214, 1.395, 2.491, 4.047, 6.098, 8.668, 11.82, 15.57",\
                 "0.2836, 0.3868, 0.7226, 1.395, 2.491, 4.045, 6.096, 8.673, 11.81, 15.6",\
                 "0.2884, 0.3912, 0.7272, 1.398, 2.495, 4.048, 6.09, 8.682, 11.82, 15.57",\
                 "0.2922, 0.397, 0.7324, 1.398, 2.492, 4.044, 6.096, 8.678, 11.81, 15.6",\
                 "0.298, 0.402, 0.736, 1.4, 2.494, 4.048, 6.09, 8.68, 11.82, 15.56",\
                 "0.306, 0.412, 0.74, 1.402, 2.494, 4.05, 6.092, 8.666, 11.81, 15.56");
        }
      }

      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.00586, 0.02292, 0.0555, 0.1063, 0.1775, 0.2712, 0.3892, 0.5334, 0.7051");
          values("3.135, 3.212, 3.418, 3.714, 4.096, 4.583, 5.199, 5.965, 6.898, 8.01",\
                 "3.165, 3.242, 3.448, 3.744, 4.126, 4.613, 5.228, 5.995, 6.928, 8.039",\
                 "3.251, 3.328, 3.534, 3.83, 4.212, 4.699, 5.315, 6.081, 7.014, 8.127",\
                 "3.321, 3.398, 3.604, 3.9, 4.282, 4.769, 5.385, 6.151, 7.084, 8.196",\
                 "3.333, 3.41, 3.615, 3.912, 4.294, 4.781, 5.396, 6.163, 7.096, 8.208",\
                 "3.279, 3.356, 3.562, 3.858, 4.24, 4.726, 5.342, 6.109, 7.042, 8.154",\
                 "3.132, 3.209, 3.415, 3.711, 4.093, 4.58, 5.196, 5.962, 6.896, 8.007",\
                 "2.895, 2.972, 3.179, 3.475, 3.857, 4.344, 4.959, 5.725, 6.659, 7.769",\
                 "2.564, 2.642, 2.847, 3.143, 3.525, 4.011, 4.627, 5.394, 6.327, 7.439",\
                 "2.133, 2.21, 2.416, 2.712, 3.095, 3.581, 4.197, 4.964, 5.897, 7.007");
        }

        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.00586, 0.02292, 0.0555, 0.1063, 0.1775, 0.2712, 0.3892, 0.5334, 0.7051");
          values("3.417, 3.489, 3.71, 4.116, 4.747, 5.631, 6.792, 8.256, 10.04, 12.17",\
                 "3.435, 3.507, 3.728, 4.135, 4.766, 5.649, 6.81, 8.273, 10.06, 12.18",\
                 "3.512, 3.584, 3.805, 4.212, 4.843, 5.726, 6.887, 8.349, 10.14, 12.26",\
                 "3.682, 3.754, 3.975, 4.382, 5.013, 5.896, 7.058, 8.52, 10.3, 12.43",\
                 "3.985, 4.058, 4.279, 4.686, 5.317, 6.2, 7.361, 8.825, 10.61, 12.74",\
                 "4.419, 4.491, 4.712, 5.118, 5.749, 6.633, 7.794, 9.256, 11.04, 13.17",\
                 "4.973, 5.045, 5.266, 5.673, 6.304, 7.188, 8.349, 9.811, 11.59, 13.72",\
                 "5.648, 5.721, 5.941, 6.348, 6.978, 7.862, 9.024, 10.49, 12.27, 14.4",\
                 "6.445, 6.516, 6.737, 7.144, 7.774, 8.658, 9.819, 11.28, 13.07, 15.2",\
                 "7.358, 7.431, 7.652, 8.059, 8.69, 9.573, 10.73, 12.2, 13.98, 16.11");
        }

        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.00586, 0.02292, 0.0555, 0.1063, 0.1775, 0.2712, 0.3892, 0.5334, 0.7051");
          values("0.3114, 0.3846, 0.5936, 0.9284, 1.431, 2.152, 3.144, 4.418, 6.001, 7.893",\
                 "0.3114, 0.3848, 0.5926, 0.9268, 1.43, 2.153, 3.144, 4.418, 5.998, 7.895",\
                 "0.3108, 0.3842, 0.5944, 0.928, 1.429, 2.151, 3.144, 4.421, 6, 7.898",\
                 "0.3108, 0.3846, 0.5932, 0.9284, 1.43, 2.153, 3.14, 4.419, 6.003, 7.896",\
                 "0.3126, 0.3856, 0.5946, 0.9288, 1.431, 2.152, 3.143, 4.423, 6.004, 7.898",\
                 "0.3144, 0.3876, 0.5958, 0.9292, 1.429, 2.153, 3.142, 4.423, 6.003, 7.89",\
                 "0.3166, 0.3898, 0.5988, 0.9318, 1.43, 2.153, 3.141, 4.419, 5.995, 7.887",\
                 "0.3204, 0.3932, 0.6006, 0.9346, 1.432, 2.156, 3.141, 4.422, 5.993, 7.89",\
                 "0.3262, 0.3992, 0.606, 0.9388, 1.436, 2.156, 3.142, 4.418, 6.006, 7.88",\
                 "0.332, 0.406, 0.61, 0.942, 1.438, 2.158, 3.144, 4.42, 5.994, 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.00586, 0.02292, 0.0555, 0.1063, 0.1775, 0.2712, 0.3892, 0.5334, 0.7051");
          values("0.2824, 0.3848, 0.7216, 1.394, 2.49, 4.046, 6.098, 8.678, 11.82, 15.58",\
                 "0.2826, 0.3846, 0.7206, 1.396, 2.491, 4.046, 6.097, 8.668, 11.82, 15.57",\
                 "0.2814, 0.3858, 0.7218, 1.397, 2.491, 4.044, 6.093, 8.666, 11.82, 15.57",\
                 "0.2822, 0.3848, 0.7206, 1.397, 2.491, 4.047, 6.099, 8.663, 11.82, 15.56",\
                 "0.2824, 0.385, 0.7214, 1.395, 2.491, 4.047, 6.098, 8.668, 11.82, 15.57",\
                 "0.2836, 0.3868, 0.7226, 1.395, 2.491, 4.045, 6.096, 8.673, 11.81, 15.6",\
                 "0.2884, 0.3912, 0.7272, 1.398, 2.495, 4.048, 6.09, 8.682, 11.82, 15.57",\
                 "0.2922, 0.397, 0.7324, 1.398, 2.492, 4.044, 6.096, 8.678, 11.81, 15.6",\
                 "0.298, 0.402, 0.736, 1.4, 2.494, 4.048, 6.09, 8.68, 11.82, 15.56",\
                 "0.306, 0.412, 0.74, 1.402, 2.494, 4.05, 6.092, 8.666, 11.81, 15.56");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.00586, 0.02292, 0.0555, 0.1063, 0.1775, 0.2712, 0.3892, 0.5334, 0.7051");
          values("2.767, 2.848, 3.06, 3.361, 3.747, 4.236, 4.854, 5.621, 6.554, 7.667",\
                 "2.786, 2.867, 3.079, 3.38, 3.766, 4.255, 4.872, 5.639, 6.572, 7.685",\
                 "2.863, 2.943, 3.155, 3.457, 3.842, 4.332, 4.949, 5.716, 6.65, 7.762",\
                 "3.032, 3.113, 3.325, 3.626, 4.012, 4.501, 5.119, 5.886, 6.819, 7.931",\
                 "3.337, 3.417, 3.629, 3.93, 4.316, 4.805, 5.422, 6.19, 7.123, 8.236",\
                 "3.768, 3.849, 4.061, 4.362, 4.748, 5.237, 5.854, 6.622, 7.555, 8.668",\
                 "4.321, 4.402, 4.614, 4.915, 5.301, 5.79, 6.408, 7.175, 8.109, 9.22",\
                 "4.996, 5.077, 5.288, 5.59, 5.976, 6.465, 7.082, 7.849, 8.782, 9.894",\
                 "5.79, 5.87, 6.083, 6.385, 6.768, 7.258, 7.875, 8.642, 9.576, 10.69",\
                 "6.702, 6.782, 6.993, 7.296, 7.682, 8.171, 8.788, 9.555, 10.49, 11.6");
        }

        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.00586, 0.02292, 0.0555, 0.1063, 0.1775, 0.2712, 0.3892, 0.5334, 0.7051");
          values("2.57, 2.654, 2.899, 3.314, 3.945, 4.828, 5.989, 7.45, 9.235, 11.36",\
                 "2.599, 2.684, 2.929, 3.343, 3.974, 4.858, 6.018, 7.479, 9.264, 11.39",\
                 "2.686, 2.77, 3.015, 3.43, 4.061, 4.944, 6.105, 7.566, 9.349, 11.48",\
                 "2.757, 2.841, 3.086, 3.5, 4.132, 5.015, 6.175, 7.636, 9.422, 11.55",\
                 "2.767, 2.852, 3.096, 3.511, 4.142, 5.025, 6.186, 7.648, 9.433, 11.56",\
                 "2.711, 2.796, 3.04, 3.455, 4.086, 4.97, 6.13, 7.592, 9.376, 11.5",\
                 "2.564, 2.649, 2.893, 3.308, 3.939, 4.821, 5.982, 7.445, 9.228, 11.36",\
                 "2.327, 2.411, 2.657, 3.071, 3.702, 4.585, 5.746, 7.208, 8.991, 11.12",\
                 "1.997, 2.08, 2.326, 2.741, 3.371, 4.253, 5.414, 6.875, 8.659, 10.79",\
                 "1.566, 1.651, 1.896, 2.31, 2.941, 3.825, 4.985, 6.446, 8.23, 10.36");
        }

        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.00586, 0.02292, 0.0555, 0.1063, 0.1775, 0.2712, 0.3892, 0.5334, 0.7051");
          values("0.3074, 0.3816, 0.5898, 0.9236, 1.425, 2.152, 3.143, 4.419, 6, 7.898",\
                 "0.3074, 0.3812, 0.5912, 0.9264, 1.429, 2.152, 3.14, 4.423, 6.004, 7.897",\
                 "0.3074, 0.382, 0.5914, 0.9252, 1.428, 2.15, 3.143, 4.419, 5.996, 7.898",\
                 "0.3076, 0.3816, 0.5912, 0.9262, 1.425, 2.15, 3.14, 4.421, 5.996, 7.894",\
                 "0.3074, 0.3816, 0.5912, 0.9256, 1.427, 2.152, 3.14, 4.423, 6.005, 7.896",\
                 "0.3078, 0.3812, 0.5908, 0.9252, 1.429, 2.152, 3.142, 4.421, 6.003, 7.896",\
                 "0.3076, 0.3818, 0.5902, 0.9246, 1.427, 2.153, 3.143, 4.423, 6, 7.888",\
                 "0.306, 0.382, 0.59, 0.924, 1.426, 2.148, 3.138, 4.42, 6.004, 7.892",\
                 "0.308, 0.382, 0.592, 0.924, 1.426, 2.15, 3.142, 4.416, 5.994, 7.882",\
                 "0.308, 0.382, 0.592, 0.926, 1.428, 2.15, 3.138, 4.42, 5.994, 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.00586, 0.02292, 0.0555, 0.1063, 0.1775, 0.2712, 0.3892, 0.5334, 0.7051");
          values("0.2834, 0.3868, 0.7242, 1.395, 2.492, 4.044, 6.099, 8.664, 11.82, 15.57",\
                 "0.2832, 0.3866, 0.7218, 1.397, 2.49, 4.05, 6.087, 8.674, 11.81, 15.57",\
                 "0.284, 0.3866, 0.7244, 1.397, 2.491, 4.045, 6.089, 8.68, 11.81, 15.57",\
                 "0.2838, 0.3864, 0.7218, 1.397, 2.491, 4.05, 6.094, 8.668, 11.82, 15.57",\
                 "0.283, 0.386, 0.722, 1.394, 2.492, 4.044, 6.092, 8.668, 11.82, 15.56",\
                 "0.2822, 0.3858, 0.7226, 1.395, 2.49, 4.05, 6.094, 8.664, 11.82, 15.59",\
                 "0.2818, 0.386, 0.7218, 1.394, 2.491, 4.045, 6.098, 8.679, 11.82, 15.57",\
                 "0.282, 0.3848, 0.7222, 1.395, 2.491, 4.049, 6.088, 8.672, 11.81, 15.57",\
                 "0.2816, 0.386, 0.722, 1.396, 2.492, 4.046, 6.088, 8.664, 11.81, 15.57",\
                 "0.282, 0.386, 0.722, 1.396, 2.492, 4.046, 6.09, 8.664, 11.81, 15.56");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.00586, 0.02292, 0.0555, 0.1063, 0.1775, 0.2712, 0.3892, 0.5334, 0.7051");
          values("2.641, 2.718, 2.923, 3.219, 3.602, 4.088, 4.704, 5.47, 6.403, 7.516",\
                 "2.67, 2.747, 2.953, 3.249, 3.631, 4.118, 4.734, 5.5, 6.433, 7.544",\
                 "2.773, 2.849, 3.055, 3.351, 3.734, 4.22, 4.836, 5.603, 6.536, 7.647",\
                 "3, 3.077, 3.283, 3.579, 3.961, 4.448, 5.064, 5.83, 6.764, 7.875",\
                 "3.383, 3.46, 3.665, 3.962, 4.344, 4.83, 5.446, 6.213, 7.145, 8.257",\
                 "3.89, 3.966, 4.172, 4.468, 4.85, 5.337, 5.953, 6.719, 7.652, 8.764",\
                 "4.482, 4.558, 4.764, 5.06, 5.443, 5.929, 6.545, 7.312, 8.245, 9.356",\
                 "5.165, 5.242, 5.448, 5.744, 6.125, 6.612, 7.229, 7.994, 8.928, 10.04",\
                 "5.945, 6.024, 6.229, 6.525, 6.906, 7.393, 8.009, 8.776, 9.708, 10.82",\
                 "6.825, 6.902, 7.108, 7.403, 7.785, 8.272, 8.887, 9.653, 10.59, 11.7");
        }

        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.00586, 0.02292, 0.0555, 0.1063, 0.1775, 0.2712, 0.3892, 0.5334, 0.7051");
          values("2.373, 2.445, 2.666, 3.072, 3.703, 4.587, 5.748, 7.21, 8.999, 11.12",\
                 "2.396, 2.469, 2.69, 3.096, 3.727, 4.61, 5.771, 7.234, 9.022, 11.15",\
                 "2.481, 2.553, 2.774, 3.181, 3.811, 4.695, 5.856, 7.318, 9.106, 11.23",\
                 "2.638, 2.71, 2.931, 3.338, 3.968, 4.852, 6.013, 7.475, 9.265, 11.39",\
                 "2.812, 2.884, 3.105, 3.511, 4.143, 5.026, 6.187, 7.649, 9.434, 11.56",\
                 "2.939, 3.011, 3.232, 3.639, 4.271, 5.153, 6.315, 7.779, 9.566, 11.69",\
                 "3.014, 3.086, 3.307, 3.713, 4.344, 5.228, 6.389, 7.852, 9.641, 11.77",\
                 "3.028, 3.101, 3.322, 3.729, 4.359, 5.242, 6.404, 7.866, 9.649, 11.78",\
                 "2.972, 3.044, 3.266, 3.672, 4.303, 5.186, 6.347, 7.809, 9.593, 11.72",\
                 "2.838, 2.911, 3.132, 3.539, 4.169, 5.054, 6.214, 7.677, 9.46, 11.59");
        }

        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.00586, 0.02292, 0.0555, 0.1063, 0.1775, 0.2712, 0.3892, 0.5334, 0.7051");
          values("0.284, 0.3578, 0.5716, 0.9088, 1.413, 2.142, 3.136, 4.418, 6.002, 7.894",\
                 "0.284, 0.3576, 0.5716, 0.9088, 1.413, 2.142, 3.137, 4.418, 6.001, 7.886",\
                 "0.2838, 0.3584, 0.5702, 0.9082, 1.413, 2.142, 3.137, 4.416, 5.999, 7.887",\
                 "0.2838, 0.3578, 0.5722, 0.9084, 1.413, 2.142, 3.132, 4.413, 6.002, 7.892",\
                 "0.2838, 0.3576, 0.571, 0.9102, 1.413, 2.143, 3.137, 4.418, 6.002, 7.888",\
                 "0.2842, 0.3582, 0.571, 0.9096, 1.412, 2.141, 3.136, 4.415, 5.999, 7.894",\
                 "0.2844, 0.358, 0.5712, 0.9098, 1.413, 2.141, 3.136, 4.413, 6, 7.888",\
                 "0.284, 0.358, 0.57, 0.908, 1.414, 2.14, 3.132, 4.418, 5.994, 7.894",\
                 "0.284, 0.358, 0.572, 0.91, 1.414, 2.138, 3.134, 4.41, 5.99, 7.88",\
                 "0.284, 0.358, 0.57, 0.908, 1.414, 2.14, 3.136, 4.412, 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.00586, 0.02292, 0.0555, 0.1063, 0.1775, 0.2712, 0.3892, 0.5334, 0.7051");
          values("0.2364, 0.3304, 0.6742, 1.378, 2.485, 4.043, 6.084, 8.666, 11.83, 15.56",\
                 "0.2352, 0.3292, 0.6736, 1.378, 2.485, 4.042, 6.084, 8.666, 11.82, 15.56",\
                 "0.2364, 0.3304, 0.6738, 1.375, 2.485, 4.043, 6.084, 8.667, 11.82, 15.56",\
                 "0.2358, 0.3306, 0.6736, 1.375, 2.486, 4.042, 6.084, 8.666, 11.83, 15.56",\
                 "0.2352, 0.3298, 0.6738, 1.376, 2.486, 4.043, 6.082, 8.666, 11.81, 15.56",\
                 "0.236, 0.3296, 0.6742, 1.375, 2.483, 4.041, 6.083, 8.665, 11.83, 15.56",\
                 "0.2368, 0.3298, 0.6756, 1.376, 2.483, 4.04, 6.08, 8.674, 11.81, 15.56",\
                 "0.236, 0.3302, 0.6742, 1.379, 2.485, 4.038, 6.08, 8.666, 11.83, 15.6",\
                 "0.238, 0.332, 0.674, 1.38, 2.484, 4.036, 6.082, 8.662, 11.82, 15.56",\
                 "0.236, 0.332, 0.674, 1.378, 2.482, 4.04, 6.09, 8.666, 11.8, 15.55");
        }
      }

      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.00586, 0.02292, 0.0555, 0.1063, 0.1775, 0.2712, 0.3892, 0.5334, 0.7051");
          values("2.641, 2.718, 2.923, 3.219, 3.602, 4.088, 4.704, 5.47, 6.403, 7.516",\
                 "2.67, 2.747, 2.953, 3.249, 3.631, 4.118, 4.734, 5.5, 6.433, 7.544",\
                 "2.773, 2.849, 3.055, 3.351, 3.734, 4.22, 4.836, 5.603, 6.536, 7.647",\
                 "3, 3.077, 3.283, 3.579, 3.961, 4.448, 5.064, 5.83, 6.764, 7.875",\
                 "3.383, 3.46, 3.665, 3.962, 4.344, 4.83, 5.446, 6.213, 7.145, 8.257",\
                 "3.89, 3.966, 4.172, 4.468, 4.85, 5.337, 5.953, 6.719, 7.652, 8.764",\
                 "4.482, 4.558, 4.764, 5.06, 5.443, 5.929, 6.545, 7.312, 8.245, 9.356",\
                 "5.165, 5.242, 5.448, 5.744, 6.125, 6.612, 7.229, 7.994, 8.928, 10.04",\
                 "5.945, 6.024, 6.229, 6.525, 6.906, 7.393, 8.009, 8.776, 9.708, 10.82",\
                 "6.825, 6.902, 7.108, 7.403, 7.785, 8.272, 8.887, 9.653, 10.59, 11.7");
        }

        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.00586, 0.02292, 0.0555, 0.1063, 0.1775, 0.2712, 0.3892, 0.5334, 0.7051");
          values("2.373, 2.445, 2.666, 3.072, 3.703, 4.587, 5.748, 7.21, 8.999, 11.12",\
                 "2.396, 2.469, 2.69, 3.096, 3.727, 4.61, 5.771, 7.234, 9.022, 11.15",\
                 "2.481, 2.553, 2.774, 3.181, 3.811, 4.695, 5.856, 7.318, 9.106, 11.23",\
                 "2.638, 2.71, 2.931, 3.338, 3.968, 4.852, 6.013, 7.475, 9.265, 11.39",\
                 "2.812, 2.884, 3.105, 3.511, 4.143, 5.026, 6.187, 7.649, 9.434, 11.56",\
                 "2.939, 3.011, 3.232, 3.639, 4.271, 5.153, 6.315, 7.779, 9.566, 11.69",\
                 "3.014, 3.086, 3.307, 3.713, 4.344, 5.228, 6.389, 7.852, 9.641, 11.77",\
                 "3.028, 3.101, 3.322, 3.729, 4.359, 5.242, 6.404, 7.866, 9.649, 11.78",\
                 "2.972, 3.044, 3.266, 3.672, 4.303, 5.186, 6.347, 7.809, 9.593, 11.72",\
                 "2.838, 2.911, 3.132, 3.539, 4.169, 5.054, 6.214, 7.677, 9.46, 11.59");
        }

        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.00586, 0.02292, 0.0555, 0.1063, 0.1775, 0.2712, 0.3892, 0.5334, 0.7051");
          values("0.3074, 0.3816, 0.5898, 0.9236, 1.425, 2.152, 3.143, 4.419, 6, 7.898",\
                 "0.3074, 0.3812, 0.5912, 0.9264, 1.429, 2.152, 3.14, 4.423, 6.004, 7.897",\
                 "0.3074, 0.382, 0.5914, 0.9252, 1.428, 2.15, 3.143, 4.419, 5.996, 7.898",\
                 "0.3076, 0.3816, 0.5912, 0.9262, 1.425, 2.15, 3.14, 4.421, 5.996, 7.894",\
                 "0.3074, 0.3816, 0.5912, 0.9256, 1.427, 2.152, 3.14, 4.423, 6.005, 7.896",\
                 "0.3078, 0.3812, 0.5908, 0.9252, 1.429, 2.152, 3.142, 4.421, 6.003, 7.896",\
                 "0.3076, 0.3818, 0.5902, 0.9246, 1.427, 2.153, 3.143, 4.423, 6, 7.888",\
                 "0.306, 0.382, 0.59, 0.924, 1.426, 2.148, 3.138, 4.42, 6.004, 7.892",\
                 "0.308, 0.382, 0.592, 0.924, 1.426, 2.15, 3.142, 4.416, 5.994, 7.882",\
                 "0.308, 0.382, 0.592, 0.926, 1.428, 2.15, 3.138, 4.42, 5.994, 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.00586, 0.02292, 0.0555, 0.1063, 0.1775, 0.2712, 0.3892, 0.5334, 0.7051");
          values("0.2364, 0.3304, 0.6742, 1.378, 2.485, 4.043, 6.084, 8.666, 11.83, 15.56",\
                 "0.2352, 0.3292, 0.6736, 1.378, 2.485, 4.042, 6.084, 8.666, 11.82, 15.56",\
                 "0.2364, 0.3304, 0.6738, 1.375, 2.485, 4.043, 6.084, 8.667, 11.82, 15.56",\
                 "0.2358, 0.3306, 0.6736, 1.375, 2.486, 4.042, 6.084, 8.666, 11.83, 15.56",\
                 "0.2352, 0.3298, 0.6738, 1.376, 2.486, 4.043, 6.082, 8.666, 11.81, 15.56",\
                 "0.236, 0.3296, 0.6742, 1.375, 2.483, 4.041, 6.083, 8.665, 11.83, 15.56",\
                 "0.2368, 0.3298, 0.6756, 1.376, 2.483, 4.04, 6.08, 8.674, 11.81, 15.56",\
                 "0.236, 0.3302, 0.6742, 1.379, 2.485, 4.038, 6.08, 8.666, 11.83, 15.6",\
                 "0.238, 0.332, 0.674, 1.38, 2.484, 4.036, 6.082, 8.662, 11.82, 15.56",\
                 "0.236, 0.332, 0.674, 1.378, 2.482, 4.04, 6.09, 8.666, 11.8, 15.55");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.00586, 0.02292, 0.0555, 0.1063, 0.1775, 0.2712, 0.3892, 0.5334, 0.7051");
          values("3.03, 3.107, 3.313, 3.609, 3.991, 4.478, 5.094, 5.86, 6.794, 7.905",\
                 "3.06, 3.137, 3.343, 3.639, 4.021, 4.508, 5.123, 5.89, 6.823, 7.935",\
                 "3.144, 3.222, 3.427, 3.723, 4.105, 4.592, 5.208, 5.974, 6.907, 8.019",\
                 "3.206, 3.283, 3.488, 3.784, 4.167, 4.653, 5.269, 6.036, 6.969, 8.081",\
                 "3.2, 3.277, 3.483, 3.779, 4.161, 4.648, 5.264, 6.03, 6.963, 8.076",\
                 "3.117, 3.194, 3.4, 3.696, 4.078, 4.565, 5.181, 5.947, 6.881, 7.993",\
                 "2.942, 3.019, 3.225, 3.521, 3.903, 4.389, 5.005, 5.772, 6.706, 7.817",\
                 "2.665, 2.742, 2.948, 3.244, 3.626, 4.113, 4.729, 5.496, 6.428, 7.539",\
                 "2.28, 2.357, 2.563, 2.859, 3.241, 3.728, 4.343, 5.11, 6.043, 7.154",\
                 "1.782, 1.859, 2.065, 2.361, 2.743, 3.23, 3.846, 4.612, 5.545, 6.656");
        }

        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.00586, 0.02292, 0.0555, 0.1063, 0.1775, 0.2712, 0.3892, 0.5334, 0.7051");
          values("3.326, 3.398, 3.62, 4.026, 4.657, 5.541, 6.702, 8.163, 9.95, 12.08",\
                 "3.338, 3.41, 3.631, 4.038, 4.669, 5.552, 6.713, 8.176, 9.963, 12.09",\
                 "3.439, 3.511, 3.732, 4.139, 4.77, 5.653, 6.814, 8.276, 10.06, 12.19",\
                 "3.695, 3.766, 3.988, 4.394, 5.026, 5.909, 7.069, 8.533, 10.32, 12.45",\
                 "4.111, 4.182, 4.403, 4.81, 5.441, 6.324, 7.485, 8.947, 10.74, 12.86",\
                 "4.651, 4.723, 4.945, 5.351, 5.982, 6.865, 8.027, 9.489, 11.28, 13.4",\
                 "5.305, 5.376, 5.597, 6.004, 6.635, 7.519, 8.679, 10.14, 11.93, 14.06",\
                 "6.088, 6.16, 6.382, 6.787, 7.419, 8.302, 9.463, 10.93, 12.71, 14.84",\
                 "7.011, 7.083, 7.304, 7.711, 8.342, 9.225, 10.39, 11.85, 13.63, 15.76",\
                 "8.076, 8.148, 8.368, 8.776, 9.407, 10.29, 11.45, 12.91, 14.7, 16.82");
        }

        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.00586, 0.02292, 0.0555, 0.1063, 0.1775, 0.2712, 0.3892, 0.5334, 0.7051");
          values("0.2838, 0.3582, 0.5706, 0.908, 1.413, 2.142, 3.136, 4.419, 6, 7.895",\
                 "0.284, 0.3582, 0.5712, 0.9086, 1.413, 2.142, 3.133, 4.418, 5.998, 7.895",\
                 "0.284, 0.3576, 0.5716, 0.9076, 1.413, 2.143, 3.136, 4.419, 5.999, 7.895",\
                 "0.2838, 0.358, 0.5708, 0.9082, 1.413, 2.142, 3.136, 4.419, 5.998, 7.896",\
                 "0.284, 0.3578, 0.5714, 0.9076, 1.413, 2.141, 3.137, 4.419, 6.002, 7.895",\
                 "0.2838, 0.3586, 0.5702, 0.9094, 1.415, 2.142, 3.133, 4.418, 5.998, 7.888",\
                 "0.2838, 0.358, 0.5704, 0.9088, 1.413, 2.139, 3.131, 4.417, 5.999, 7.887",\
                 "0.2838, 0.3588, 0.571, 0.9082, 1.414, 2.139, 3.134, 4.411, 5.988, 7.888",\
                 "0.2838, 0.359, 0.5702, 0.9074, 1.413, 2.142, 3.132, 4.412, 5.998, 7.878",\
                 "0.284, 0.358, 0.57, 0.906, 1.416, 2.14, 3.134, 4.412, 5.994, 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.00586, 0.02292, 0.0555, 0.1063, 0.1775, 0.2712, 0.3892, 0.5334, 0.7051");
          values("0.2354, 0.3298, 0.6734, 1.379, 2.484, 4.041, 6.079, 8.666, 11.81, 15.56",\
                 "0.2354, 0.3304, 0.6738, 1.38, 2.487, 4.042, 6.082, 8.673, 11.82, 15.56",\
                 "0.2354, 0.3302, 0.6738, 1.379, 2.486, 4.042, 6.085, 8.667, 11.82, 15.56",\
                 "0.2354, 0.33, 0.674, 1.38, 2.483, 4.044, 6.083, 8.672, 11.82, 15.57",\
                 "0.2356, 0.3302, 0.674, 1.379, 2.487, 4.043, 6.083, 8.667, 11.82, 15.56",\
                 "0.2348, 0.3302, 0.6736, 1.376, 2.486, 4.043, 6.083, 8.677, 11.82, 15.56",\
                 "0.235, 0.3296, 0.6738, 1.375, 2.484, 4.036, 6.084, 8.68, 11.81, 15.56",\
                 "0.236, 0.33, 0.674, 1.376, 2.484, 4.04, 6.082, 8.658, 11.81, 15.57",\
                 "0.236, 0.33, 0.676, 1.376, 2.484, 4.036, 6.09, 8.66, 11.81, 15.56",\
                 "0.236, 0.33, 0.674, 1.376, 2.482, 4.042, 6.088, 8.67, 11.82, 15.6");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.00586, 0.02292, 0.0555, 0.1063, 0.1775, 0.2712, 0.3892, 0.5334, 0.7051");
          values("1.739, 1.82, 2.032, 2.335, 2.721, 3.21, 3.828, 4.595, 5.529, 6.64",\
                 "1.763, 1.844, 2.056, 2.358, 2.744, 3.234, 3.851, 4.619, 5.552, 6.664",\
                 "1.815, 1.896, 2.108, 2.41, 2.796, 3.286, 3.903, 4.67, 5.604, 6.715",\
                 "1.906, 1.987, 2.199, 2.501, 2.887, 3.377, 3.994, 4.762, 5.695, 6.807",\
                 "2.001, 2.083, 2.295, 2.597, 2.983, 3.473, 4.09, 4.858, 5.791, 6.903",\
                 "2.057, 2.138, 2.351, 2.653, 3.04, 3.529, 4.147, 4.914, 5.847, 6.96",\
                 "2.057, 2.139, 2.351, 2.654, 3.041, 3.531, 4.149, 4.916, 5.849, 6.961",\
                 "1.987, 2.069, 2.282, 2.585, 2.973, 3.463, 4.081, 4.848, 5.782, 6.892",\
                 "1.833, 1.915, 2.131, 2.434, 2.823, 3.313, 3.931, 4.698, 5.632, 6.743",\
                 "1.589, 1.671, 1.887, 2.193, 2.582, 3.072, 3.691, 4.458, 5.392, 6.504");
        }

        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.00586, 0.02292, 0.0555, 0.1063, 0.1775, 0.2712, 0.3892, 0.5334, 0.7051");
          values("2.181, 2.265, 2.51, 2.924, 3.556, 4.439, 5.599, 7.061, 8.846, 10.97",\
                 "2.204, 2.289, 2.534, 2.948, 3.579, 4.463, 5.623, 7.085, 8.87, 10.99",\
                 "2.312, 2.396, 2.641, 3.056, 3.687, 4.57, 5.731, 7.193, 8.978, 11.1",\
                 "2.544, 2.628, 2.873, 3.287, 3.919, 4.802, 5.962, 7.424, 9.209, 11.33",\
                 "2.934, 3.018, 3.263, 3.678, 4.309, 5.192, 6.353, 7.815, 9.6, 11.72",\
                 "3.477, 3.562, 3.807, 4.222, 4.852, 5.736, 6.896, 8.358, 10.14, 12.27",\
                 "4.125, 4.21, 4.457, 4.871, 5.501, 6.384, 7.545, 9.007, 10.79, 12.92",\
                 "4.875, 4.961, 5.209, 5.622, 6.253, 7.134, 8.295, 9.756, 11.54, 13.67",\
                 "5.737, 5.824, 6.073, 6.488, 7.118, 8.001, 9.161, 10.62, 12.41, 14.53",\
                 "6.721, 6.808, 7.059, 7.475, 8.105, 8.987, 10.15, 11.61, 13.39, 15.52");
        }

        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.00586, 0.02292, 0.0555, 0.1063, 0.1775, 0.2712, 0.3892, 0.5334, 0.7051");
          values("0.3114, 0.3844, 0.5944, 0.9282, 1.429, 2.151, 3.144, 4.419, 5.998, 7.897",\
                 "0.311, 0.3846, 0.5932, 0.9278, 1.43, 2.152, 3.14, 4.422, 6.003, 7.898",\
                 "0.311, 0.3846, 0.5944, 0.927, 1.43, 2.153, 3.144, 4.418, 5.997, 7.896",\
                 "0.311, 0.3846, 0.5944, 0.9282, 1.428, 2.153, 3.144, 4.424, 6.005, 7.896",\
                 "0.3122, 0.3852, 0.5936, 0.9294, 1.431, 2.153, 3.143, 4.421, 6.001, 7.899",\
                 "0.3142, 0.3874, 0.5968, 0.9296, 1.428, 2.153, 3.142, 4.424, 6.004, 7.899",\
                 "0.3172, 0.39, 0.5978, 0.9326, 1.43, 2.152, 3.139, 4.421, 5.999, 7.892",\
                 "0.322, 0.3946, 0.6018, 0.9348, 1.433, 2.155, 3.14, 4.419, 5.996, 7.886",\
                 "0.3264, 0.4, 0.6054, 0.9386, 1.437, 2.159, 3.146, 4.42, 5.998, 7.886",\
                 "0.332, 0.406, 0.612, 0.942, 1.442, 2.16, 3.144, 4.424, 6, 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.00586, 0.02292, 0.0555, 0.1063, 0.1775, 0.2712, 0.3892, 0.5334, 0.7051");
          values("0.2834, 0.3868, 0.7226, 1.395, 2.492, 4.049, 6.094, 8.667, 11.81, 15.59",\
                 "0.284, 0.3866, 0.7224, 1.395, 2.491, 4.047, 6.092, 8.667, 11.82, 15.57",\
                 "0.2838, 0.3866, 0.722, 1.397, 2.491, 4.045, 6.098, 8.667, 11.82, 15.58",\
                 "0.2842, 0.3866, 0.7224, 1.395, 2.491, 4.046, 6.096, 8.665, 11.82, 15.57",\
                 "0.2844, 0.3866, 0.7226, 1.395, 2.493, 4.042, 6.098, 8.669, 11.82, 15.58",\
                 "0.2848, 0.3886, 0.7236, 1.396, 2.491, 4.048, 6.096, 8.668, 11.81, 15.57",\
                 "0.2884, 0.3924, 0.7276, 1.399, 2.492, 4.045, 6.098, 8.672, 11.81, 15.57",\
                 "0.2924, 0.398, 0.732, 1.398, 2.494, 4.044, 6.086, 8.682, 11.82, 15.59",\
                 "0.3, 0.402, 0.738, 1.4, 2.496, 4.044, 6.086, 8.668, 11.83, 15.56",\
                 "0.304, 0.41, 0.742, 1.402, 2.492, 4.05, 6.092, 8.664, 11.81, 15.58");
        }
      }

      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.00586, 0.02292, 0.0555, 0.1063, 0.1775, 0.2712, 0.3892, 0.5334, 0.7051");
          values("3.03, 3.107, 3.313, 3.609, 3.991, 4.478, 5.094, 5.86, 6.794, 7.905",\
                 "3.06, 3.137, 3.343, 3.639, 4.021, 4.508, 5.123, 5.89, 6.823, 7.935",\
                 "3.144, 3.222, 3.427, 3.723, 4.105, 4.592, 5.208, 5.974, 6.907, 8.019",\
                 "3.206, 3.283, 3.488, 3.784, 4.167, 4.653, 5.269, 6.036, 6.969, 8.081",\
                 "3.2, 3.277, 3.483, 3.779, 4.161, 4.648, 5.264, 6.03, 6.963, 8.076",\
                 "3.117, 3.194, 3.4, 3.696, 4.078, 4.565, 5.181, 5.947, 6.881, 7.993",\
                 "2.942, 3.019, 3.225, 3.521, 3.903, 4.389, 5.005, 5.772, 6.706, 7.817",\
                 "2.665, 2.742, 2.948, 3.244, 3.626, 4.113, 4.729, 5.496, 6.428, 7.539",\
                 "2.28, 2.357, 2.563, 2.859, 3.241, 3.728, 4.343, 5.11, 6.043, 7.154",\
                 "1.782, 1.859, 2.065, 2.361, 2.743, 3.23, 3.846, 4.612, 5.545, 6.656");
        }

        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.00586, 0.02292, 0.0555, 0.1063, 0.1775, 0.2712, 0.3892, 0.5334, 0.7051");
          values("3.326, 3.398, 3.62, 4.026, 4.657, 5.541, 6.702, 8.163, 9.95, 12.08",\
                 "3.338, 3.41, 3.631, 4.038, 4.669, 5.552, 6.713, 8.176, 9.963, 12.09",\
                 "3.439, 3.511, 3.732, 4.139, 4.77, 5.653, 6.814, 8.276, 10.06, 12.19",\
                 "3.695, 3.766, 3.988, 4.394, 5.026, 5.909, 7.069, 8.533, 10.32, 12.45",\
                 "4.111, 4.182, 4.403, 4.81, 5.441, 6.324, 7.485, 8.947, 10.74, 12.86",\
                 "4.651, 4.723, 4.945, 5.351, 5.982, 6.865, 8.027, 9.489, 11.28, 13.4",\
                 "5.305, 5.376, 5.597, 6.004, 6.635, 7.519, 8.679, 10.14, 11.93, 14.06",\
                 "6.088, 6.16, 6.382, 6.787, 7.419, 8.302, 9.463, 10.93, 12.71, 14.84",\
                 "7.011, 7.083, 7.304, 7.711, 8.342, 9.225, 10.39, 11.85, 13.63, 15.76",\
                 "8.076, 8.148, 8.368, 8.776, 9.407, 10.29, 11.45, 12.91, 14.7, 16.82");
        }

        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.00586, 0.02292, 0.0555, 0.1063, 0.1775, 0.2712, 0.3892, 0.5334, 0.7051");
          values("0.3114, 0.3844, 0.5944, 0.9282, 1.429, 2.151, 3.144, 4.419, 5.998, 7.897",\
                 "0.311, 0.3846, 0.5932, 0.9278, 1.43, 2.152, 3.14, 4.422, 6.003, 7.898",\
                 "0.311, 0.3846, 0.5944, 0.927, 1.43, 2.153, 3.144, 4.418, 5.997, 7.896",\
                 "0.311, 0.3846, 0.5944, 0.9282, 1.428, 2.153, 3.144, 4.424, 6.005, 7.896",\
                 "0.3122, 0.3852, 0.5936, 0.9294, 1.431, 2.153, 3.143, 4.421, 6.001, 7.899",\
                 "0.3142, 0.3874, 0.5968, 0.9296, 1.428, 2.153, 3.142, 4.424, 6.004, 7.899",\
                 "0.3172, 0.39, 0.5978, 0.9326, 1.43, 2.152, 3.139, 4.421, 5.999, 7.892",\
                 "0.322, 0.3946, 0.6018, 0.9348, 1.433, 2.155, 3.14, 4.419, 5.996, 7.886",\
                 "0.3264, 0.4, 0.6054, 0.9386, 1.437, 2.159, 3.146, 4.42, 5.998, 7.886",\
                 "0.332, 0.406, 0.612, 0.942, 1.442, 2.16, 3.144, 4.424, 6, 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.00586, 0.02292, 0.0555, 0.1063, 0.1775, 0.2712, 0.3892, 0.5334, 0.7051");
          values("0.2354, 0.3298, 0.6734, 1.379, 2.484, 4.041, 6.079, 8.666, 11.81, 15.56",\
                 "0.2354, 0.3304, 0.6738, 1.38, 2.487, 4.042, 6.082, 8.673, 11.82, 15.56",\
                 "0.2354, 0.3302, 0.6738, 1.379, 2.486, 4.042, 6.085, 8.667, 11.82, 15.56",\
                 "0.2354, 0.33, 0.674, 1.38, 2.483, 4.044, 6.083, 8.672, 11.82, 15.57",\
                 "0.2356, 0.3302, 0.674, 1.379, 2.487, 4.043, 6.083, 8.667, 11.82, 15.56",\
                 "0.2348, 0.3302, 0.6736, 1.376, 2.486, 4.043, 6.083, 8.677, 11.82, 15.56",\
                 "0.235, 0.3296, 0.6738, 1.375, 2.484, 4.036, 6.084, 8.68, 11.81, 15.56",\
                 "0.236, 0.33, 0.674, 1.376, 2.484, 4.04, 6.082, 8.658, 11.81, 15.57",\
                 "0.236, 0.33, 0.676, 1.376, 2.484, 4.036, 6.09, 8.66, 11.81, 15.56",\
                 "0.236, 0.33, 0.674, 1.376, 2.482, 4.042, 6.088, 8.67, 11.82, 15.6");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.00586, 0.02292, 0.0555, 0.1063, 0.1775, 0.2712, 0.3892, 0.5334, 0.7051");
          values("2.677, 2.758, 2.969, 3.271, 3.657, 4.146, 4.763, 5.53, 6.464, 7.576",\
                 "2.689, 2.769, 2.981, 3.283, 3.668, 4.158, 4.775, 5.542, 6.476, 7.588",\
                 "2.79, 2.87, 3.082, 3.383, 3.769, 4.258, 4.876, 5.643, 6.576, 7.688",\
                 "3.046, 3.126, 3.338, 3.639, 4.025, 4.514, 5.132, 5.899, 6.832, 7.945",\
                 "3.46, 3.542, 3.754, 4.055, 4.441, 4.93, 5.547, 6.314, 7.247, 8.36",\
                 "4.001, 4.081, 4.293, 4.595, 4.98, 5.47, 6.087, 6.854, 7.788, 8.9",\
                 "4.653, 4.734, 4.945, 5.247, 5.633, 6.122, 6.74, 7.507, 8.44, 9.551",\
                 "5.436, 5.517, 5.728, 6.03, 6.417, 6.906, 7.522, 8.29, 9.222, 10.33",\
                 "6.357, 6.438, 6.649, 6.951, 7.337, 7.827, 8.443, 9.21, 10.14, 11.26",\
                 "7.42, 7.502, 7.713, 8.014, 8.399, 8.889, 9.506, 10.27, 11.21, 12.32");
        }

        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.00586, 0.02292, 0.0555, 0.1063, 0.1775, 0.2712, 0.3892, 0.5334, 0.7051");
          values("2.46, 2.544, 2.789, 3.204, 3.835, 4.718, 5.878, 7.341, 9.124, 11.25",\
                 "2.49, 2.574, 2.819, 3.233, 3.865, 4.747, 5.908, 7.37, 9.155, 11.28",\
                 "2.575, 2.659, 2.903, 3.318, 3.949, 4.833, 5.993, 7.455, 9.24, 11.37",\
                 "2.636, 2.72, 2.965, 3.38, 4.011, 4.893, 6.055, 7.517, 9.302, 11.43",\
                 "2.63, 2.714, 2.959, 3.374, 4.005, 4.888, 6.049, 7.511, 9.296, 11.42",\
                 "2.547, 2.631, 2.876, 3.29, 3.921, 4.805, 5.966, 7.427, 9.213, 11.34",\
                 "2.372, 2.456, 2.7, 3.115, 3.746, 4.629, 5.789, 7.252, 9.037, 11.16",\
                 "2.095, 2.179, 2.425, 2.839, 3.47, 4.353, 5.514, 6.974, 8.758, 10.89",\
                 "1.712, 1.796, 2.04, 2.455, 3.085, 3.968, 5.129, 6.59, 8.374, 10.5",\
                 "1.214, 1.298, 1.543, 1.957, 2.589, 3.472, 4.632, 6.094, 7.877, 10");
        }

        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.00586, 0.02292, 0.0555, 0.1063, 0.1775, 0.2712, 0.3892, 0.5334, 0.7051");
          values("0.3074, 0.382, 0.5902, 0.925, 1.425, 2.152, 3.143, 4.419, 5.997, 7.898",\
                 "0.3076, 0.382, 0.5904, 0.9266, 1.428, 2.151, 3.143, 4.419, 5.996, 7.898",\
                 "0.3076, 0.382, 0.5902, 0.9264, 1.428, 2.152, 3.143, 4.419, 5.996, 7.899",\
                 "0.3078, 0.3812, 0.5914, 0.9252, 1.425, 2.149, 3.14, 4.422, 5.996, 7.898",\
                 "0.3074, 0.381, 0.5912, 0.9256, 1.426, 2.152, 3.14, 4.423, 6.004, 7.897",\
                 "0.3082, 0.3812, 0.5902, 0.9264, 1.428, 2.152, 3.143, 4.418, 5.998, 7.897",\
                 "0.308, 0.3814, 0.591, 0.925, 1.429, 2.149, 3.142, 4.422, 5.996, 7.892",\
                 "0.308, 0.382, 0.592, 0.922, 1.428, 2.152, 3.14, 4.42, 5.998, 7.894",\
                 "0.308, 0.382, 0.59, 0.926, 1.428, 2.152, 3.138, 4.42, 5.996, 7.892",\
                 "0.308, 0.382, 0.59, 0.926, 1.426, 2.152, 3.14, 4.422, 5.994, 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.00586, 0.02292, 0.0555, 0.1063, 0.1775, 0.2712, 0.3892, 0.5334, 0.7051");
          values("0.2814, 0.3844, 0.7216, 1.395, 2.491, 4.05, 6.092, 8.668, 11.82, 15.59",\
                 "0.2814, 0.3854, 0.7224, 1.393, 2.494, 4.044, 6.099, 8.666, 11.82, 15.57",\
                 "0.2814, 0.3846, 0.7206, 1.394, 2.492, 4.05, 6.098, 8.667, 11.82, 15.57",\
                 "0.2816, 0.3848, 0.722, 1.396, 2.492, 4.046, 6.094, 8.667, 11.81, 15.58",\
                 "0.2822, 0.3842, 0.7212, 1.395, 2.491, 4.046, 6.098, 8.668, 11.82, 15.58",\
                 "0.2814, 0.3852, 0.721, 1.395, 2.49, 4.044, 6.098, 8.667, 11.82, 15.57",\
                 "0.2814, 0.3842, 0.7204, 1.396, 2.491, 4.042, 6.098, 8.668, 11.82, 15.58",\
                 "0.2814, 0.3858, 0.7208, 1.394, 2.494, 4.046, 6.087, 8.664, 11.84, 15.57",\
                 "0.282, 0.3846, 0.7216, 1.396, 2.491, 4.044, 6.09, 8.668, 11.81, 15.58",\
                 "0.282, 0.388, 0.722, 1.398, 2.494, 4.044, 6.098, 8.672, 11.81, 15.56");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.00586, 0.02292, 0.0555, 0.1063, 0.1775, 0.2712, 0.3892, 0.5334, 0.7051");
          values("2.745, 2.821, 3.027, 3.324, 3.706, 4.193, 4.809, 5.575, 6.508, 7.619",\
                 "2.769, 2.845, 3.051, 3.347, 3.729, 4.216, 4.832, 5.598, 6.532, 7.643",\
                 "2.876, 2.953, 3.159, 3.455, 3.837, 4.324, 4.94, 5.706, 6.639, 7.751",\
                 "3.109, 3.186, 3.391, 3.688, 4.07, 4.556, 5.172, 5.939, 6.872, 7.983",\
                 "3.498, 3.575, 3.781, 4.077, 4.459, 4.946, 5.562, 6.328, 7.261, 8.372",\
                 "4.027, 4.104, 4.31, 4.606, 4.989, 5.475, 6.091, 6.857, 7.791, 8.902",\
                 "4.652, 4.729, 4.935, 5.231, 5.613, 6.099, 6.716, 7.482, 8.415, 9.527",\
                 "5.378, 5.455, 5.662, 5.959, 6.339, 6.827, 7.442, 8.209, 9.141, 10.25",\
                 "6.217, 6.294, 6.501, 6.796, 7.178, 7.665, 8.281, 9.047, 9.98, 11.09",\
                 "7.17, 7.246, 7.453, 7.748, 8.13, 8.617, 9.233, 9.999, 10.93, 12.04");
        }

        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.00586, 0.02292, 0.0555, 0.1063, 0.1775, 0.2712, 0.3892, 0.5334, 0.7051");
          values("2.397, 2.47, 2.691, 3.097, 3.729, 4.612, 5.773, 7.234, 9.023, 11.15",\
                 "2.421, 2.493, 2.714, 3.121, 3.752, 4.635, 5.796, 7.259, 9.042, 11.17",\
                 "2.473, 2.545, 2.766, 3.172, 3.803, 4.687, 5.848, 7.31, 9.097, 11.22",\
                 "2.566, 2.638, 2.859, 3.266, 3.897, 4.78, 5.941, 7.404, 9.192, 11.32",\
                 "2.669, 2.741, 2.963, 3.369, 3.999, 4.883, 6.044, 7.506, 9.295, 11.42",\
                 "2.735, 2.807, 3.028, 3.435, 4.065, 4.949, 6.11, 7.572, 9.361, 11.48",\
                 "2.747, 2.819, 3.04, 3.446, 4.078, 4.961, 6.122, 7.585, 9.373, 11.5",\
                 "2.692, 2.764, 2.986, 3.392, 4.023, 4.907, 6.068, 7.53, 9.313, 11.45",\
                 "2.555, 2.627, 2.848, 3.254, 3.885, 4.768, 5.93, 7.391, 9.175, 11.3",\
                 "2.328, 2.4, 2.622, 3.029, 3.661, 4.544, 5.705, 7.166, 8.95, 11.08");
        }

        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.00586, 0.02292, 0.0555, 0.1063, 0.1775, 0.2712, 0.3892, 0.5334, 0.7051");
          values("0.2844, 0.3588, 0.5708, 0.908, 1.413, 2.143, 3.136, 4.417, 6.001, 7.885",\
                 "0.284, 0.358, 0.5702, 0.9074, 1.412, 2.141, 3.136, 4.419, 6.001, 7.891",\
                 "0.284, 0.358, 0.5716, 0.908, 1.413, 2.142, 3.136, 4.414, 6.001, 7.89",\
                 "0.2838, 0.3576, 0.5702, 0.908, 1.414, 2.143, 3.137, 4.416, 5.999, 7.892",\
                 "0.284, 0.3582, 0.5702, 0.9086, 1.413, 2.143, 3.132, 4.419, 5.995, 7.885",\
                 "0.2844, 0.3586, 0.5716, 0.9086, 1.413, 2.142, 3.137, 4.419, 6.001, 7.895",\
                 "0.284, 0.3578, 0.5714, 0.9088, 1.414, 2.141, 3.133, 4.416, 6.002, 7.894",\
                 "0.284, 0.358, 0.572, 0.91, 1.412, 2.14, 3.132, 4.414, 5.998, 7.894",\
                 "0.286, 0.358, 0.572, 0.908, 1.412, 2.14, 3.132, 4.416, 5.994, 7.884",\
                 "0.284, 0.358, 0.57, 0.906, 1.414, 2.14, 3.13, 4.414, 5.988, 7.878");
        }

        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.00586, 0.02292, 0.0555, 0.1063, 0.1775, 0.2712, 0.3892, 0.5334, 0.7051");
          values("0.2358, 0.33, 0.674, 1.375, 2.485, 4.039, 6.083, 8.667, 11.82, 15.56",\
                 "0.236, 0.3304, 0.6742, 1.375, 2.486, 4.037, 6.081, 8.66, 11.81, 15.56",\
                 "0.236, 0.3294, 0.6738, 1.377, 2.486, 4.044, 6.084, 8.666, 11.81, 15.56",\
                 "0.2366, 0.3302, 0.6738, 1.379, 2.483, 4.041, 6.082, 8.669, 11.83, 15.56",\
                 "0.2364, 0.3298, 0.674, 1.376, 2.486, 4.043, 6.084, 8.667, 11.82, 15.56",\
                 "0.2364, 0.3296, 0.6752, 1.377, 2.485, 4.042, 6.084, 8.668, 11.82, 15.56",\
                 "0.2362, 0.3304, 0.6742, 1.375, 2.481, 4.037, 6.084, 8.667, 11.82, 15.57",\
                 "0.2362, 0.3302, 0.674, 1.376, 2.482, 4.034, 6.081, 8.658, 11.83, 15.57",\
                 "0.2364, 0.3308, 0.6766, 1.378, 2.486, 4.036, 6.08, 8.66, 11.81, 15.59",\
                 "0.238, 0.33, 0.674, 1.376, 2.484, 4.04, 6.082, 8.668, 11.8, 15.56");
        }
      }

      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.00586, 0.02292, 0.0555, 0.1063, 0.1775, 0.2712, 0.3892, 0.5334, 0.7051");
          values("2.677, 2.758, 2.969, 3.271, 3.657, 4.146, 4.763, 5.53, 6.464, 7.576",\
                 "2.689, 2.769, 2.981, 3.283, 3.668, 4.158, 4.775, 5.542, 6.476, 7.588",\
                 "2.79, 2.87, 3.082, 3.383, 3.769, 4.258, 4.876, 5.643, 6.576, 7.688",\
                 "3.046, 3.126, 3.338, 3.639, 4.025, 4.514, 5.132, 5.899, 6.832, 7.945",\
                 "3.46, 3.542, 3.754, 4.055, 4.441, 4.93, 5.547, 6.314, 7.247, 8.36",\
                 "4.001, 4.081, 4.293, 4.595, 4.98, 5.47, 6.087, 6.854, 7.788, 8.9",\
                 "4.653, 4.734, 4.945, 5.247, 5.633, 6.122, 6.74, 7.507, 8.44, 9.551",\
                 "5.436, 5.517, 5.728, 6.03, 6.417, 6.906, 7.522, 8.29, 9.222, 10.33",\
                 "6.357, 6.438, 6.649, 6.951, 7.337, 7.827, 8.443, 9.21, 10.14, 11.26",\
                 "7.42, 7.502, 7.713, 8.014, 8.399, 8.889, 9.506, 10.27, 11.21, 12.32");
        }

        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.00586, 0.02292, 0.0555, 0.1063, 0.1775, 0.2712, 0.3892, 0.5334, 0.7051");
          values("2.397, 2.47, 2.691, 3.097, 3.729, 4.612, 5.773, 7.234, 9.023, 11.15",\
                 "2.421, 2.493, 2.714, 3.121, 3.752, 4.635, 5.796, 7.259, 9.042, 11.17",\
                 "2.473, 2.545, 2.766, 3.172, 3.803, 4.687, 5.848, 7.31, 9.097, 11.22",\
                 "2.566, 2.638, 2.859, 3.266, 3.897, 4.78, 5.941, 7.404, 9.192, 11.32",\
                 "2.669, 2.741, 2.963, 3.369, 3.999, 4.883, 6.044, 7.506, 9.295, 11.42",\
                 "2.735, 2.807, 3.028, 3.435, 4.065, 4.949, 6.11, 7.572, 9.361, 11.48",\
                 "2.747, 2.819, 3.04, 3.446, 4.078, 4.961, 6.122, 7.585, 9.373, 11.5",\
                 "2.692, 2.764, 2.986, 3.392, 4.023, 4.907, 6.068, 7.53, 9.313, 11.45",\
                 "2.555, 2.627, 2.848, 3.254, 3.885, 4.768, 5.93, 7.391, 9.175, 11.3",\
                 "2.328, 2.4, 2.622, 3.029, 3.661, 4.544, 5.705, 7.166, 8.95, 11.08");
        }

        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.00586, 0.02292, 0.0555, 0.1063, 0.1775, 0.2712, 0.3892, 0.5334, 0.7051");
          values("0.3074, 0.382, 0.5902, 0.925, 1.425, 2.152, 3.143, 4.419, 5.997, 7.898",\
                 "0.3076, 0.382, 0.5904, 0.9266, 1.428, 2.151, 3.143, 4.419, 5.996, 7.898",\
                 "0.3076, 0.382, 0.5902, 0.9264, 1.428, 2.152, 3.143, 4.419, 5.996, 7.899",\
                 "0.3078, 0.3812, 0.5914, 0.9252, 1.425, 2.149, 3.14, 4.422, 5.996, 7.898",\
                 "0.3074, 0.381, 0.5912, 0.9256, 1.426, 2.152, 3.14, 4.423, 6.004, 7.897",\
                 "0.3082, 0.3812, 0.5902, 0.9264, 1.428, 2.152, 3.143, 4.418, 5.998, 7.897",\
                 "0.308, 0.3814, 0.591, 0.925, 1.429, 2.149, 3.142, 4.422, 5.996, 7.892",\
                 "0.308, 0.382, 0.592, 0.922, 1.428, 2.152, 3.14, 4.42, 5.998, 7.894",\
                 "0.308, 0.382, 0.59, 0.926, 1.428, 2.152, 3.138, 4.42, 5.996, 7.892",\
                 "0.308, 0.382, 0.59, 0.926, 1.426, 2.152, 3.14, 4.422, 5.994, 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.00586, 0.02292, 0.0555, 0.1063, 0.1775, 0.2712, 0.3892, 0.5334, 0.7051");
          values("0.2358, 0.33, 0.674, 1.375, 2.485, 4.039, 6.083, 8.667, 11.82, 15.56",\
                 "0.236, 0.3304, 0.6742, 1.375, 2.486, 4.037, 6.081, 8.66, 11.81, 15.56",\
                 "0.236, 0.3294, 0.6738, 1.377, 2.486, 4.044, 6.084, 8.666, 11.81, 15.56",\
                 "0.2366, 0.3302, 0.6738, 1.379, 2.483, 4.041, 6.082, 8.669, 11.83, 15.56",\
                 "0.2364, 0.3298, 0.674, 1.376, 2.486, 4.043, 6.084, 8.667, 11.82, 15.56",\
                 "0.2364, 0.3296, 0.6752, 1.377, 2.485, 4.042, 6.084, 8.668, 11.82, 15.56",\
                 "0.2362, 0.3304, 0.6742, 1.375, 2.481, 4.037, 6.084, 8.667, 11.82, 15.57",\
                 "0.2362, 0.3302, 0.674, 1.376, 2.482, 4.034, 6.081, 8.658, 11.83, 15.57",\
                 "0.2364, 0.3308, 0.6766, 1.378, 2.486, 4.036, 6.08, 8.66, 11.81, 15.59",\
                 "0.238, 0.33, 0.674, 1.376, 2.484, 4.04, 6.082, 8.668, 11.8, 15.56");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.00586, 0.02292, 0.0555, 0.1063, 0.1775, 0.2712, 0.3892, 0.5334, 0.7051");
          values("1.379, 1.46, 1.672, 1.973, 2.359, 2.848, 3.465, 4.232, 5.166, 6.277",\
                 "1.406, 1.487, 1.698, 2, 2.386, 2.875, 3.492, 4.259, 5.193, 6.304",\
                 "1.491, 1.572, 1.783, 2.085, 2.47, 2.96, 3.577, 4.344, 5.278, 6.39",\
                 "1.587, 1.668, 1.879, 2.181, 2.566, 3.055, 3.673, 4.44, 5.373, 6.486",\
                 "1.647, 1.726, 1.935, 2.235, 2.62, 3.109, 3.726, 4.494, 5.427, 6.54",\
                 "1.645, 1.723, 1.931, 2.23, 2.614, 3.103, 3.721, 4.489, 5.422, 6.535",\
                 "1.576, 1.654, 1.862, 2.161, 2.545, 3.034, 3.651, 4.418, 5.352, 6.464",\
                 "1.436, 1.514, 1.723, 2.022, 2.408, 2.896, 3.513, 4.28, 5.213, 6.325",\
                 "1.224, 1.304, 1.512, 1.812, 2.198, 2.686, 3.303, 4.07, 5.002, 6.114",\
                 "0.9361, 1.014, 1.225, 1.527, 1.913, 2.401, 3.018, 3.784, 4.715, 5.827");
        }

        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.00586, 0.02292, 0.0555, 0.1063, 0.1775, 0.2712, 0.3892, 0.5334, 0.7051");
          values("1.657, 1.729, 1.95, 2.356, 2.987, 3.871, 5.031, 6.495, 8.282, 10.4",\
                 "1.681, 1.753, 1.974, 2.381, 3.012, 3.895, 5.056, 6.519, 8.306, 10.43",\
                 "1.76, 1.832, 2.053, 2.46, 3.091, 3.974, 5.135, 6.597, 8.386, 10.51",\
                 "1.92, 1.993, 2.214, 2.62, 3.251, 4.135, 5.296, 6.757, 8.546, 10.67",\
                 "2.195, 2.267, 2.489, 2.895, 3.526, 4.409, 5.57, 7.032, 8.819, 10.94",\
                 "2.574, 2.647, 2.868, 3.275, 3.906, 4.789, 5.951, 7.414, 9.202, 11.33",\
                 "3.057, 3.13, 3.352, 3.758, 4.388, 5.272, 6.434, 7.897, 9.683, 11.81",\
                 "3.636, 3.711, 3.934, 4.34, 4.969, 5.853, 7.013, 8.475, 10.26, 12.39",\
                 "4.305, 4.381, 4.605, 5.011, 5.641, 6.524, 7.684, 9.146, 10.93, 13.06",\
                 "5.063, 5.14, 5.366, 5.772, 6.402, 7.285, 8.446, 9.907, 11.69, 13.82");
        }

        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.00586, 0.02292, 0.0555, 0.1063, 0.1775, 0.2712, 0.3892, 0.5334, 0.7051");
          values("0.3066, 0.38, 0.5908, 0.9242, 1.426, 2.152, 3.143, 4.418, 6.001, 7.891",\
                 "0.3064, 0.38, 0.5908, 0.9242, 1.426, 2.152, 3.143, 4.423, 6, 7.895",\
                 "0.3066, 0.3802, 0.5908, 0.9242, 1.428, 2.152, 3.142, 4.419, 5.997, 7.897",\
                 "0.3068, 0.3802, 0.5906, 0.9244, 1.427, 2.151, 3.143, 4.423, 6.004, 7.898",\
                 "0.2968, 0.37, 0.5822, 0.9216, 1.425, 2.151, 3.14, 4.418, 6.004, 7.898",\
                 "0.2906, 0.3652, 0.5788, 0.9164, 1.421, 2.147, 3.142, 4.42, 6.005, 7.898",\
                 "0.2904, 0.3652, 0.58, 0.9182, 1.423, 2.146, 3.139, 4.416, 6, 7.897",\
                 "0.2928, 0.3676, 0.5816, 0.9188, 1.422, 2.15, 3.137, 4.415, 5.993, 7.882",\
                 "0.2954, 0.37, 0.5832, 0.9214, 1.425, 2.146, 3.135, 4.412, 5.992, 7.882",\
                 "0.3, 0.372, 0.588, 0.924, 1.428, 2.148, 3.132, 4.41, 5.986, 7.878");
        }

        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.00586, 0.02292, 0.0555, 0.1063, 0.1775, 0.2712, 0.3892, 0.5334, 0.7051");
          values("0.2356, 0.3302, 0.6738, 1.379, 2.486, 4.042, 6.082, 8.672, 11.82, 15.56",\
                 "0.2348, 0.329, 0.6736, 1.376, 2.486, 4.044, 6.084, 8.665, 11.82, 15.56",\
                 "0.2348, 0.329, 0.6736, 1.378, 2.486, 4.043, 6.084, 8.667, 11.82, 15.56",\
                 "0.235, 0.3294, 0.6738, 1.376, 2.487, 4.041, 6.084, 8.666, 11.82, 15.56",\
                 "0.237, 0.331, 0.6748, 1.376, 2.486, 4.044, 6.084, 8.664, 11.81, 15.56",\
                 "0.2396, 0.3326, 0.6752, 1.377, 2.486, 4.036, 6.084, 8.679, 11.82, 15.57",\
                 "0.2442, 0.3376, 0.679, 1.376, 2.483, 4.041, 6.083, 8.662, 11.81, 15.56",\
                 "0.2498, 0.3428, 0.6792, 1.38, 2.486, 4.034, 6.078, 8.656, 11.81, 15.57",\
                 "0.254, 0.348, 0.682, 1.382, 2.488, 4.04, 6.078, 8.658, 11.82, 15.57",\
                 "0.262, 0.354, 0.686, 1.384, 2.488, 4.042, 6.09, 8.656, 11.8, 15.56");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.00586, 0.02292, 0.0555, 0.1063, 0.1775, 0.2712, 0.3892, 0.5334, 0.7051");
          values("1.382, 1.464, 1.675, 1.977, 2.363, 2.852, 3.47, 4.237, 5.171, 6.282",\
                 "1.409, 1.49, 1.702, 2.004, 2.39, 2.879, 3.496, 4.264, 5.197, 6.309",\
                 "1.495, 1.576, 1.787, 2.089, 2.475, 2.964, 3.582, 4.349, 5.283, 6.395",\
                 "1.591, 1.672, 1.884, 2.186, 2.572, 3.061, 3.679, 4.446, 5.379, 6.491",\
                 "1.653, 1.731, 1.94, 2.241, 2.626, 3.115, 3.733, 4.5, 5.434, 6.545",\
                 "1.651, 1.729, 1.937, 2.236, 2.621, 3.11, 3.727, 4.496, 5.43, 6.542",\
                 "1.581, 1.659, 1.867, 2.166, 2.551, 3.041, 3.658, 4.425, 5.359, 6.472",\
                 "1.442, 1.52, 1.729, 2.028, 2.413, 2.902, 3.52, 4.288, 5.22, 6.332",\
                 "1.23, 1.308, 1.517, 1.818, 2.204, 2.692, 3.309, 4.075, 5.008, 6.12",\
                 "0.9401, 1.018, 1.228, 1.531, 1.917, 2.406, 3.023, 3.79, 4.721, 5.833");
        }

        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.00586, 0.02292, 0.0555, 0.1063, 0.1775, 0.2712, 0.3892, 0.5334, 0.7051");
          values("1.66, 1.732, 1.953, 2.36, 2.991, 3.874, 5.036, 6.498, 8.287, 10.41",\
                 "1.685, 1.756, 1.978, 2.384, 3.015, 3.899, 5.06, 6.523, 8.311, 10.43",\
                 "1.764, 1.836, 2.057, 2.464, 3.094, 3.978, 5.139, 6.601, 8.388, 10.51",\
                 "1.923, 1.995, 2.217, 2.623, 3.254, 4.137, 5.298, 6.76, 8.549, 10.68",\
                 "2.196, 2.268, 2.49, 2.896, 3.527, 4.41, 5.572, 7.034, 8.82, 10.95",\
                 "2.575, 2.647, 2.87, 3.276, 3.907, 4.791, 5.951, 7.415, 9.2, 11.33",\
                 "3.057, 3.132, 3.353, 3.759, 4.389, 5.272, 6.434, 7.897, 9.685, 11.81",\
                 "3.637, 3.711, 3.935, 4.341, 4.971, 5.853, 7.014, 8.475, 10.26, 12.39",\
                 "4.306, 4.381, 4.606, 5.012, 5.642, 6.524, 7.685, 9.146, 10.93, 13.06",\
                 "5.064, 5.14, 5.366, 5.771, 6.401, 7.286, 8.445, 9.907, 11.69, 13.82");
        }

        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.00586, 0.02292, 0.0555, 0.1063, 0.1775, 0.2712, 0.3892, 0.5334, 0.7051");
          values("0.3076, 0.3808, 0.5918, 0.9252, 1.427, 2.152, 3.144, 4.42, 5.998, 7.897",\
                 "0.308, 0.381, 0.5916, 0.9248, 1.428, 2.152, 3.144, 4.423, 5.996, 7.896",\
                 "0.3078, 0.3808, 0.5918, 0.9254, 1.426, 2.15, 3.142, 4.419, 6.002, 7.897",\
                 "0.3086, 0.3814, 0.5916, 0.9262, 1.428, 2.152, 3.143, 4.419, 5.998, 7.898",\
                 "0.2976, 0.3712, 0.5832, 0.9226, 1.426, 2.15, 3.139, 4.419, 6.002, 7.889",\
                 "0.2914, 0.366, 0.5792, 0.9182, 1.422, 2.148, 3.14, 4.422, 6.005, 7.894",\
                 "0.291, 0.3656, 0.5798, 0.918, 1.422, 2.148, 3.137, 4.416, 6, 7.893",\
                 "0.2936, 0.3676, 0.581, 0.9194, 1.423, 2.148, 3.141, 4.416, 5.992, 7.883",\
                 "0.296, 0.3708, 0.585, 0.9234, 1.425, 2.147, 3.136, 4.412, 5.992, 7.88",\
                 "0.3, 0.376, 0.586, 0.926, 1.426, 2.15, 3.136, 4.408, 5.986, 7.878");
        }

        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.00586, 0.02292, 0.0555, 0.1063, 0.1775, 0.2712, 0.3892, 0.5334, 0.7051");
          values("0.2358, 0.3302, 0.6736, 1.376, 2.484, 4.041, 6.083, 8.662, 11.81, 15.56",\
                 "0.236, 0.329, 0.6738, 1.377, 2.486, 4.044, 6.084, 8.671, 11.81, 15.56",\
                 "0.236, 0.3292, 0.674, 1.377, 2.487, 4.044, 6.084, 8.666, 11.82, 15.56",\
                 "0.236, 0.3294, 0.6738, 1.376, 2.483, 4.039, 6.085, 8.666, 11.82, 15.57",\
                 "0.2372, 0.331, 0.6742, 1.376, 2.487, 4.044, 6.083, 8.663, 11.81, 15.56",\
                 "0.24, 0.334, 0.6754, 1.376, 2.481, 4.043, 6.081, 8.678, 11.8, 15.57",\
                 "0.2444, 0.3372, 0.6772, 1.378, 2.483, 4.042, 6.081, 8.674, 11.82, 15.57",\
                 "0.2496, 0.3424, 0.6794, 1.376, 2.485, 4.034, 6.08, 8.656, 11.81, 15.56",\
                 "0.254, 0.35, 0.682, 1.378, 2.488, 4.038, 6.078, 8.656, 11.83, 15.56",\
                 "0.264, 0.356, 0.686, 1.382, 2.486, 4.04, 6.088, 8.654, 11.8, 15.55");
        }
      }

      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.00586, 0.02292, 0.0555, 0.1063, 0.1775, 0.2712, 0.3892, 0.5334, 0.7051");
          values("1.382, 1.464, 1.675, 1.977, 2.363, 2.852, 3.47, 4.237, 5.171, 6.282",\
                 "1.409, 1.49, 1.702, 2.004, 2.39, 2.879, 3.496, 4.264, 5.197, 6.309",\
                 "1.495, 1.576, 1.787, 2.089, 2.475, 2.964, 3.582, 4.349, 5.283, 6.395",\
                 "1.591, 1.672, 1.884, 2.186, 2.572, 3.061, 3.679, 4.446, 5.379, 6.491",\
                 "1.653, 1.731, 1.94, 2.241, 2.626, 3.115, 3.733, 4.5, 5.434, 6.545",\
                 "1.651, 1.729, 1.937, 2.236, 2.621, 3.11, 3.727, 4.496, 5.43, 6.542",\
                 "1.581, 1.659, 1.867, 2.166, 2.551, 3.041, 3.658, 4.425, 5.359, 6.472",\
                 "1.442, 1.52, 1.729, 2.028, 2.413, 2.902, 3.52, 4.288, 5.22, 6.332",\
                 "1.23, 1.308, 1.517, 1.818, 2.204, 2.692, 3.309, 4.075, 5.008, 6.12",\
                 "0.9401, 1.018, 1.228, 1.531, 1.917, 2.406, 3.023, 3.79, 4.721, 5.833");
        }

        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.00586, 0.02292, 0.0555, 0.1063, 0.1775, 0.2712, 0.3892, 0.5334, 0.7051");
          values("1.657, 1.729, 1.95, 2.356, 2.987, 3.871, 5.031, 6.495, 8.282, 10.4",\
                 "1.681, 1.753, 1.974, 2.381, 3.012, 3.895, 5.056, 6.519, 8.306, 10.43",\
                 "1.76, 1.832, 2.053, 2.46, 3.091, 3.974, 5.135, 6.597, 8.386, 10.51",\
                 "1.92, 1.993, 2.214, 2.62, 3.251, 4.135, 5.296, 6.757, 8.546, 10.67",\
                 "2.195, 2.267, 2.489, 2.895, 3.526, 4.409, 5.57, 7.032, 8.819, 10.94",\
                 "2.574, 2.647, 2.868, 3.275, 3.906, 4.789, 5.951, 7.414, 9.202, 11.33",\
                 "3.057, 3.13, 3.352, 3.758, 4.388, 5.272, 6.434, 7.897, 9.683, 11.81",\
                 "3.636, 3.711, 3.934, 4.34, 4.969, 5.853, 7.013, 8.475, 10.26, 12.39",\
                 "4.305, 4.381, 4.605, 5.011, 5.641, 6.524, 7.684, 9.146, 10.93, 13.06",\
                 "5.063, 5.14, 5.366, 5.772, 6.402, 7.285, 8.446, 9.907, 11.69, 13.82");
        }

        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.00586, 0.02292, 0.0555, 0.1063, 0.1775, 0.2712, 0.3892, 0.5334, 0.7051");
          values("0.3076, 0.3808, 0.5918, 0.9252, 1.427, 2.152, 3.144, 4.42, 5.998, 7.897",\
                 "0.308, 0.381, 0.5916, 0.9248, 1.428, 2.152, 3.144, 4.423, 5.996, 7.896",\
                 "0.3078, 0.3808, 0.5918, 0.9254, 1.426, 2.15, 3.142, 4.419, 6.002, 7.897",\
                 "0.3086, 0.3814, 0.5916, 0.9262, 1.428, 2.152, 3.143, 4.419, 5.998, 7.898",\
                 "0.2976, 0.3712, 0.5832, 0.9226, 1.426, 2.15, 3.139, 4.419, 6.002, 7.889",\
                 "0.2914, 0.366, 0.5792, 0.9182, 1.422, 2.148, 3.14, 4.422, 6.005, 7.894",\
                 "0.291, 0.3656, 0.5798, 0.918, 1.422, 2.148, 3.137, 4.416, 6, 7.893",\
                 "0.2936, 0.3676, 0.581, 0.9194, 1.423, 2.148, 3.141, 4.416, 5.992, 7.883",\
                 "0.296, 0.3708, 0.585, 0.9234, 1.425, 2.147, 3.136, 4.412, 5.992, 7.88",\
                 "0.3, 0.376, 0.586, 0.926, 1.426, 2.15, 3.136, 4.408, 5.986, 7.878");
        }

        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.00586, 0.02292, 0.0555, 0.1063, 0.1775, 0.2712, 0.3892, 0.5334, 0.7051");
          values("0.2356, 0.3302, 0.6738, 1.379, 2.486, 4.042, 6.082, 8.672, 11.82, 15.56",\
                 "0.2348, 0.329, 0.6736, 1.376, 2.486, 4.044, 6.084, 8.665, 11.82, 15.56",\
                 "0.2348, 0.329, 0.6736, 1.378, 2.486, 4.043, 6.084, 8.667, 11.82, 15.56",\
                 "0.235, 0.3294, 0.6738, 1.376, 2.487, 4.041, 6.084, 8.666, 11.82, 15.56",\
                 "0.237, 0.331, 0.6748, 1.376, 2.486, 4.044, 6.084, 8.664, 11.81, 15.56",\
                 "0.2396, 0.3326, 0.6752, 1.377, 2.486, 4.036, 6.084, 8.679, 11.82, 15.57",\
                 "0.2442, 0.3376, 0.679, 1.376, 2.483, 4.041, 6.083, 8.662, 11.81, 15.56",\
                 "0.2498, 0.3428, 0.6792, 1.38, 2.486, 4.034, 6.078, 8.656, 11.81, 15.57",\
                 "0.254, 0.348, 0.682, 1.382, 2.488, 4.04, 6.078, 8.658, 11.82, 15.57",\
                 "0.262, 0.354, 0.686, 1.384, 2.488, 4.042, 6.09, 8.656, 11.8, 15.56");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.00586, 0.02292, 0.0555, 0.1063, 0.1775, 0.2712, 0.3892, 0.5334, 0.7051");
          values("0.8415, 0.9187, 1.125, 1.421, 1.804, 2.291, 2.907, 3.674, 4.606, 5.718",\
                 "0.8658, 0.943, 1.149, 1.446, 1.828, 2.315, 2.931, 3.698, 4.631, 5.743",\
                 "0.9642, 1.041, 1.247, 1.544, 1.926, 2.413, 3.029, 3.796, 4.729, 5.841",\
                 "1.191, 1.268, 1.473, 1.769, 2.152, 2.639, 3.255, 4.021, 4.955, 6.067",\
                 "1.522, 1.602, 1.812, 2.112, 2.497, 2.984, 3.601, 4.368, 5.301, 6.412",\
                 "1.904, 1.989, 2.209, 2.519, 2.912, 3.405, 4.023, 4.79, 5.722, 6.834",\
                 "2.351, 2.442, 2.672, 2.991, 3.39, 3.887, 4.508, 5.278, 6.211, 7.323",\
                 "2.869, 2.965, 3.208, 3.54, 3.946, 4.448, 5.071, 5.84, 6.777, 7.889",\
                 "3.457, 3.559, 3.818, 4.164, 4.583, 5.091, 5.717, 6.488, 7.422, 8.536",\
                 "4.117, 4.226, 4.501, 4.865, 5.299, 5.818, 6.451, 7.225, 8.159, 9.275");
        }

        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.00586, 0.02292, 0.0555, 0.1063, 0.1775, 0.2712, 0.3892, 0.5334, 0.7051");
          values("0.5757, 0.6554, 0.8918, 1.305, 1.936, 2.82, 3.982, 5.444, 7.23, 9.355",\
                 "0.6014, 0.681, 0.9178, 1.33, 1.962, 2.846, 4.008, 5.469, 7.255, 9.384",\
                 "0.6936, 0.7728, 1.009, 1.421, 2.053, 2.937, 4.1, 5.561, 7.347, 9.473",\
                 "0.8345, 0.9152, 1.153, 1.564, 2.195, 3.077, 4.241, 5.703, 7.49, 9.616",\
                 "0.9437, 1.028, 1.27, 1.683, 2.314, 3.196, 4.357, 5.821, 7.604, 9.737",\
                 "1.015, 1.103, 1.351, 1.765, 2.394, 3.279, 4.439, 5.903, 7.688, 9.818",\
                 "1.04, 1.132, 1.39, 1.808, 2.437, 3.317, 4.48, 5.941, 7.727, 9.854",\
                 "1.01, 1.108, 1.379, 1.804, 2.435, 3.315, 4.474, 5.935, 7.72, 9.846",\
                 "0.9197, 1.024, 1.31, 1.746, 2.382, 3.266, 4.427, 5.886, 7.669, 9.795",\
                 "0.7661, 0.8761, 1.177, 1.626, 2.27, 3.162, 4.327, 5.789, 7.571, 9.697");
        }

        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.00586, 0.02292, 0.0555, 0.1063, 0.1775, 0.2712, 0.3892, 0.5334, 0.7051");
          values("0.284, 0.3579, 0.5718, 0.9106, 1.416, 2.144, 3.138, 4.419, 6.001, 7.885",\
                 "0.2846, 0.3585, 0.5704, 0.91, 1.415, 2.144, 3.138, 4.419, 6.002, 7.896",\
                 "0.2838, 0.3582, 0.5718, 0.9096, 1.417, 2.144, 3.138, 4.419, 5.998, 7.89",\
                 "0.2848, 0.3592, 0.5728, 0.9114, 1.416, 2.142, 3.135, 4.419, 6.001, 7.896",\
                 "0.3162, 0.3876, 0.5958, 0.927, 1.426, 2.148, 3.14, 4.42, 5.999, 7.894",\
                 "0.3562, 0.428, 0.6316, 0.963, 1.455, 2.166, 3.148, 4.422, 5.999, 7.897",\
                 "0.3952, 0.4714, 0.6732, 0.998, 1.483, 2.191, 3.166, 4.434, 6.009, 7.89",\
                 "0.438, 0.5198, 0.7236, 1.04, 1.515, 2.208, 3.179, 4.446, 6.014, 7.9",\
                 "0.484, 0.572, 0.782, 1.096, 1.562, 2.242, 3.196, 4.456, 6.022, 7.904",\
                 "0.538, 0.628, 0.848, 1.164, 1.622, 2.29, 3.234, 4.472, 6.03, 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.00586, 0.02292, 0.0555, 0.1063, 0.1775, 0.2712, 0.3892, 0.5334, 0.7051");
          values("0.2533, 0.3535, 0.6973, 1.385, 2.488, 4.044, 6.092, 8.671, 11.82, 15.59",\
                 "0.2528, 0.3536, 0.6977, 1.385, 2.488, 4.048, 6.094, 8.666, 11.82, 15.57",\
                 "0.2533, 0.355, 0.697, 1.387, 2.489, 4.044, 6.092, 8.67, 11.82, 15.58",\
                 "0.2652, 0.3666, 0.7042, 1.388, 2.491, 4.044, 6.093, 8.673, 11.83, 15.58",\
                 "0.2866, 0.388, 0.7226, 1.398, 2.496, 4.042, 6.093, 8.675, 11.82, 15.58",\
                 "0.3132, 0.4154, 0.742, 1.406, 2.499, 4.05, 6.095, 8.673, 11.83, 15.58",\
                 "0.3452, 0.4502, 0.772, 1.419, 2.503, 4.056, 6.1, 8.67, 11.84, 15.57",\
                 "0.3826, 0.4896, 0.8126, 1.447, 2.519, 4.063, 6.104, 8.676, 11.83, 15.57",\
                 "0.422, 0.5342, 0.8594, 1.482, 2.547, 4.079, 6.112, 8.682, 11.82, 15.57",\
                 "0.462, 0.574, 0.91, 1.524, 2.584, 4.114, 6.14, 8.69, 11.83, 15.57");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.00586, 0.02292, 0.0555, 0.1063, 0.1775, 0.2712, 0.3892, 0.5334, 0.7051");
          values("0.8415, 0.9185, 1.125, 1.421, 1.804, 2.291, 2.907, 3.673, 4.606, 5.718",\
                 "0.8658, 0.943, 1.149, 1.446, 1.828, 2.315, 2.931, 3.698, 4.631, 5.743",\
                 "0.9642, 1.041, 1.247, 1.544, 1.926, 2.413, 3.029, 3.796, 4.729, 5.841",\
                 "1.191, 1.268, 1.474, 1.77, 2.152, 2.639, 3.255, 4.022, 4.955, 6.067",\
                 "1.522, 1.602, 1.812, 2.112, 2.497, 2.985, 3.601, 4.367, 5.3, 6.412",\
                 "1.904, 1.989, 2.208, 2.519, 2.912, 3.405, 4.023, 4.79, 5.722, 6.833",\
                 "2.352, 2.442, 2.672, 2.991, 3.39, 3.887, 4.508, 5.278, 6.211, 7.323",\
                 "2.869, 2.965, 3.208, 3.54, 3.946, 4.448, 5.071, 5.84, 6.777, 7.889",\
                 "3.457, 3.559, 3.818, 4.164, 4.583, 5.091, 5.717, 6.488, 7.422, 8.537",\
                 "4.117, 4.226, 4.501, 4.865, 5.299, 5.818, 6.451, 7.224, 8.159, 9.272");
        }

        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.00586, 0.02292, 0.0555, 0.1063, 0.1775, 0.2712, 0.3892, 0.5334, 0.7051");
          values("0.5757, 0.6554, 0.8918, 1.305, 1.936, 2.821, 3.981, 5.441, 7.226, 9.36",\
                 "0.6014, 0.6809, 0.9178, 1.33, 1.962, 2.846, 4.008, 5.469, 7.255, 9.383",\
                 "0.6936, 0.7728, 1.009, 1.421, 2.053, 2.937, 4.1, 5.561, 7.347, 9.472",\
                 "0.8345, 0.9152, 1.153, 1.564, 2.195, 3.077, 4.241, 5.703, 7.49, 9.617",\
                 "0.9437, 1.028, 1.27, 1.683, 2.314, 3.197, 4.357, 5.822, 7.603, 9.739",\
                 "1.015, 1.103, 1.352, 1.764, 2.395, 3.278, 4.438, 5.902, 7.687, 9.817",\
                 "1.04, 1.132, 1.39, 1.808, 2.436, 3.317, 4.479, 5.94, 7.727, 9.851",\
                 "1.009, 1.108, 1.379, 1.804, 2.435, 3.316, 4.475, 5.937, 7.72, 9.847",\
                 "0.9197, 1.024, 1.31, 1.746, 2.382, 3.266, 4.427, 5.886, 7.669, 9.795",\
                 "0.7661, 0.8761, 1.177, 1.626, 2.27, 3.162, 4.327, 5.789, 7.571, 9.697");
        }

        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.00586, 0.02292, 0.0555, 0.1063, 0.1775, 0.2712, 0.3892, 0.5334, 0.7051");
          values("0.284, 0.3584, 0.5713, 0.9098, 1.414, 2.143, 3.137, 4.419, 6.002, 7.891",\
                 "0.2847, 0.3585, 0.5706, 0.91, 1.416, 2.144, 3.138, 4.417, 6, 7.891",\
                 "0.2842, 0.3578, 0.5716, 0.9102, 1.417, 2.144, 3.137, 4.419, 5.998, 7.89",\
                 "0.2848, 0.3592, 0.5722, 0.9116, 1.417, 2.144, 3.134, 4.419, 6.001, 7.896",\
                 "0.316, 0.3878, 0.5964, 0.9272, 1.425, 2.148, 3.136, 4.42, 6.002, 7.896",\
                 "0.3564, 0.428, 0.6332, 0.9626, 1.454, 2.166, 3.148, 4.422, 5.997, 7.896",\
                 "0.3954, 0.4714, 0.6732, 0.998, 1.483, 2.191, 3.166, 4.434, 6.003, 7.892",\
                 "0.438, 0.5198, 0.7236, 1.04, 1.515, 2.208, 3.179, 4.446, 6.014, 7.9",\
                 "0.484, 0.572, 0.78, 1.096, 1.56, 2.244, 3.196, 4.456, 6.022, 7.904",\
                 "0.536, 0.628, 0.848, 1.164, 1.622, 2.292, 3.23, 4.478, 6.032, 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.00586, 0.02292, 0.0555, 0.1063, 0.1775, 0.2712, 0.3892, 0.5334, 0.7051");
          values("0.2533, 0.3535, 0.6973, 1.387, 2.491, 4.044, 6.091, 8.671, 11.82, 15.58",\
                 "0.2528, 0.3532, 0.6977, 1.387, 2.492, 4.048, 6.094, 8.666, 11.82, 15.57",\
                 "0.2533, 0.355, 0.697, 1.387, 2.489, 4.044, 6.092, 8.67, 11.82, 15.59",\
                 "0.2652, 0.367, 0.704, 1.386, 2.491, 4.044, 6.094, 8.673, 11.83, 15.58",\
                 "0.2868, 0.388, 0.7226, 1.398, 2.492, 4.049, 6.094, 8.673, 11.82, 15.58",\
                 "0.313, 0.4146, 0.7418, 1.406, 2.499, 4.052, 6.098, 8.671, 11.83, 15.58",\
                 "0.3452, 0.4496, 0.772, 1.419, 2.503, 4.053, 6.1, 8.667, 11.84, 15.58",\
                 "0.3832, 0.4896, 0.8126, 1.447, 2.519, 4.058, 6.104, 8.678, 11.83, 15.56",\
                 "0.422, 0.5342, 0.8592, 1.482, 2.547, 4.083, 6.116, 8.68, 11.82, 15.58",\
                 "0.462, 0.574, 0.91, 1.524, 2.584, 4.114, 6.14, 8.692, 11.83, 15.57");
        }
      }

      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.00586, 0.02292, 0.0555, 0.1063, 0.1775, 0.2712, 0.3892, 0.5334, 0.7051");
          values("0.8415, 0.9187, 1.125, 1.421, 1.804, 2.291, 2.907, 3.674, 4.606, 5.718",\
                 "0.8658, 0.943, 1.149, 1.446, 1.828, 2.315, 2.931, 3.698, 4.631, 5.743",\
                 "0.9642, 1.041, 1.247, 1.544, 1.926, 2.413, 3.029, 3.796, 4.729, 5.841",\
                 "1.191, 1.268, 1.473, 1.769, 2.152, 2.639, 3.255, 4.021, 4.955, 6.067",\
                 "1.522, 1.602, 1.812, 2.112, 2.497, 2.984, 3.601, 4.368, 5.301, 6.412",\
                 "1.904, 1.989, 2.209, 2.519, 2.912, 3.405, 4.023, 4.79, 5.722, 6.834",\
                 "2.351, 2.442, 2.672, 2.991, 3.39, 3.887, 4.508, 5.278, 6.211, 7.323",\
                 "2.869, 2.965, 3.208, 3.54, 3.946, 4.448, 5.071, 5.84, 6.777, 7.889",\
                 "3.457, 3.559, 3.818, 4.164, 4.583, 5.091, 5.717, 6.488, 7.422, 8.536",\
                 "4.117, 4.226, 4.501, 4.865, 5.299, 5.818, 6.451, 7.225, 8.159, 9.275");
        }

        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.00586, 0.02292, 0.0555, 0.1063, 0.1775, 0.2712, 0.3892, 0.5334, 0.7051");
          values("0.5757, 0.6554, 0.8918, 1.305, 1.936, 2.82, 3.982, 5.444, 7.23, 9.355",\
                 "0.6014, 0.681, 0.9178, 1.33, 1.962, 2.846, 4.008, 5.469, 7.255, 9.384",\
                 "0.6936, 0.7728, 1.009, 1.421, 2.053, 2.937, 4.1, 5.561, 7.347, 9.473",\
                 "0.8345, 0.9152, 1.153, 1.564, 2.195, 3.077, 4.241, 5.703, 7.49, 9.616",\
                 "0.9437, 1.028, 1.27, 1.683, 2.314, 3.196, 4.357, 5.821, 7.604, 9.737",\
                 "1.015, 1.103, 1.351, 1.765, 2.394, 3.279, 4.439, 5.903, 7.688, 9.818",\
                 "1.04, 1.132, 1.39, 1.808, 2.437, 3.317, 4.48, 5.941, 7.727, 9.854",\
                 "1.01, 1.108, 1.379, 1.804, 2.435, 3.315, 4.474, 5.935, 7.72, 9.846",\
                 "0.9197, 1.024, 1.31, 1.746, 2.382, 3.266, 4.427, 5.886, 7.669, 9.795",\
                 "0.7661, 0.8761, 1.177, 1.626, 2.27, 3.162, 4.327, 5.789, 7.571, 9.697");
        }

        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.00586, 0.02292, 0.0555, 0.1063, 0.1775, 0.2712, 0.3892, 0.5334, 0.7051");
          values("0.284, 0.3584, 0.5713, 0.9098, 1.414, 2.143, 3.137, 4.419, 6.002, 7.891",\
                 "0.2847, 0.3585, 0.5706, 0.91, 1.416, 2.144, 3.138, 4.417, 6, 7.891",\
                 "0.2842, 0.3578, 0.5716, 0.9102, 1.417, 2.144, 3.137, 4.419, 5.998, 7.89",\
                 "0.2848, 0.3592, 0.5722, 0.9116, 1.417, 2.144, 3.134, 4.419, 6.001, 7.896",\
                 "0.316, 0.3878, 0.5964, 0.9272, 1.425, 2.148, 3.136, 4.42, 6.002, 7.896",\
                 "0.3564, 0.428, 0.6332, 0.9626, 1.454, 2.166, 3.148, 4.422, 5.997, 7.896",\
                 "0.3954, 0.4714, 0.6732, 0.998, 1.483, 2.191, 3.166, 4.434, 6.003, 7.892",\
                 "0.438, 0.5198, 0.7236, 1.04, 1.515, 2.208, 3.179, 4.446, 6.014, 7.9",\
                 "0.484, 0.572, 0.78, 1.096, 1.56, 2.244, 3.196, 4.456, 6.022, 7.904",\
                 "0.536, 0.628, 0.848, 1.164, 1.622, 2.292, 3.23, 4.478, 6.032, 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.00586, 0.02292, 0.0555, 0.1063, 0.1775, 0.2712, 0.3892, 0.5334, 0.7051");
          values("0.2533, 0.3535, 0.6973, 1.385, 2.488, 4.044, 6.092, 8.671, 11.82, 15.59",\
                 "0.2528, 0.3536, 0.6977, 1.385, 2.488, 4.048, 6.094, 8.666, 11.82, 15.57",\
                 "0.2533, 0.355, 0.697, 1.387, 2.489, 4.044, 6.092, 8.67, 11.82, 15.58",\
                 "0.2652, 0.3666, 0.7042, 1.388, 2.491, 4.044, 6.093, 8.673, 11.83, 15.58",\
                 "0.2866, 0.388, 0.7226, 1.398, 2.496, 4.042, 6.093, 8.675, 11.82, 15.58",\
                 "0.3132, 0.4154, 0.742, 1.406, 2.499, 4.05, 6.095, 8.673, 11.83, 15.58",\
                 "0.3452, 0.4502, 0.772, 1.419, 2.503, 4.056, 6.1, 8.67, 11.84, 15.57",\
                 "0.3826, 0.4896, 0.8126, 1.447, 2.519, 4.063, 6.104, 8.676, 11.83, 15.57",\
                 "0.422, 0.5342, 0.8594, 1.482, 2.547, 4.079, 6.112, 8.682, 11.82, 15.57",\
                 "0.462, 0.574, 0.91, 1.524, 2.584, 4.114, 6.14, 8.69, 11.83, 15.57");
        }
      }
    }
  }