  cell(gf180mcu_fd_sc_mcu9t5v0__xor3_1) {
    area : 64.915200 ;

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

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

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

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

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

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

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

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

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

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

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

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

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

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

    pin(Z) {
      direction : output ;
      function : "(A1^A2^A3)" ;
      max_capacitance : 0.2275 ;
      max_transition : 13.2 ;
      min_capacitance : 0.001 ;
      output_voltage : default ;
      related_ground_pin : VSS ;
      related_power_pin : VDD ;

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.002563, 0.008051, 0.01853, 0.03486, 0.05777, 0.08791, 0.1259, 0.1722, 0.2275");
          values("0.2236, 0.223, 0.2216, 0.2193, 0.2169, 0.2149, 0.2132, 0.212, 0.2111, 0.2105",\
                 "0.2232, 0.2226, 0.2211, 0.2189, 0.2165, 0.2145, 0.2129, 0.2117, 0.2108, 0.2101",\
                 "0.2225, 0.222, 0.2205, 0.2183, 0.2159, 0.2139, 0.2123, 0.211, 0.2102, 0.2095",\
                 "0.2226, 0.2221, 0.2206, 0.2183, 0.2159, 0.2139, 0.2123, 0.2111, 0.2102, 0.2096",\
                 "0.2248, 0.2244, 0.2229, 0.2206, 0.2182, 0.2163, 0.2146, 0.2133, 0.2125, 0.2118",\
                 "0.2299, 0.2294, 0.2279, 0.2257, 0.2233, 0.2213, 0.2197, 0.2185, 0.2176, 0.217",\
                 "0.2381, 0.2375, 0.236, 0.2337, 0.2314, 0.2294, 0.2278, 0.2266, 0.2257, 0.225",\
                 "0.2491, 0.2486, 0.247, 0.2449, 0.2425, 0.2405, 0.2389, 0.2377, 0.2368, 0.2361",\
                 "0.2632, 0.2627, 0.2612, 0.2589, 0.2567, 0.2546, 0.253, 0.2518, 0.2509, 0.2502",\
                 "0.2805, 0.2799, 0.2784, 0.2763, 0.274, 0.272, 0.2704, 0.2691, 0.2682, 0.2675");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.002563, 0.008051, 0.01853, 0.03486, 0.05777, 0.08791, 0.1259, 0.1722, 0.2275");
          values("0.218, 0.2182, 0.2187, 0.2195, 0.2203, 0.2212, 0.222, 0.2232, 0.2321, 0.2778",\
                 "0.2178, 0.2179, 0.2185, 0.2193, 0.2202, 0.2211, 0.2218, 0.2231, 0.2323, 0.2785",\
                 "0.217, 0.2172, 0.2177, 0.2185, 0.2194, 0.2202, 0.2211, 0.2225, 0.2323, 0.2812",\
                 "0.2164, 0.2166, 0.217, 0.2179, 0.2188, 0.2197, 0.2205, 0.2219, 0.2328, 0.2863",\
                 "0.2174, 0.2176, 0.2181, 0.2189, 0.2198, 0.2207, 0.2215, 0.2231, 0.2362, 0.2961",\
                 "0.2204, 0.2206, 0.2211, 0.2219, 0.2227, 0.2237, 0.2245, 0.2266, 0.2427, 0.312",\
                 "0.2259, 0.226, 0.2265, 0.2273, 0.2284, 0.2292, 0.2299, 0.233, 0.2535, 0.3366",\
                 "0.2341, 0.2342, 0.2346, 0.2354, 0.2361, 0.2373, 0.2384, 0.2425, 0.2703, 0.3725",\
                 "0.2449, 0.2451, 0.2455, 0.2463, 0.247, 0.2478, 0.2492, 0.2563, 0.2969, 0.4243",\
                 "0.2586, 0.2589, 0.2593, 0.26, 0.2608, 0.2615, 0.2629, 0.2752, 0.3365, 0.497");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.002563, 0.008051, 0.01853, 0.03486, 0.05777, 0.08791, 0.1259, 0.1722, 0.2275");
          values("0.1586, 0.1581, 0.1571, 0.1563, 0.1557, 0.1554, 0.1552, 0.155, 0.1548, 0.1547",\
                 "0.1584, 0.1579, 0.1569, 0.1561, 0.1555, 0.1552, 0.155, 0.1548, 0.1547, 0.1546",\
                 "0.1577, 0.1572, 0.1562, 0.1554, 0.1548, 0.1545, 0.1543, 0.1541, 0.154, 0.1539",\
                 "0.1571, 0.1567, 0.1556, 0.1548, 0.1542, 0.1539, 0.1537, 0.1535, 0.1534, 0.1533",\
                 "0.158, 0.1576, 0.1567, 0.1559, 0.1554, 0.1551, 0.1549, 0.1547, 0.1546, 0.1545",\
                 "0.1607, 0.1602, 0.1594, 0.1587, 0.1583, 0.158, 0.1579, 0.1577, 0.1576, 0.1576",\
                 "0.166, 0.1656, 0.1647, 0.1641, 0.1638, 0.1636, 0.1634, 0.1633, 0.1632, 0.1631",\
                 "0.1741, 0.1737, 0.1729, 0.1723, 0.1719, 0.1717, 0.1715, 0.1714, 0.1713, 0.1712",\
                 "0.1851, 0.1846, 0.1838, 0.1831, 0.1827, 0.1825, 0.1823, 0.1823, 0.1822, 0.1821",\
                 "0.1989, 0.1984, 0.1975, 0.1968, 0.1964, 0.1961, 0.196, 0.1959, 0.1958, 0.1957");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.002563, 0.008051, 0.01853, 0.03486, 0.05777, 0.08791, 0.1259, 0.1722, 0.2275");
          values("0.1782, 0.1781, 0.1779, 0.178, 0.1784, 0.1788, 0.1793, 0.1805, 0.1893, 0.2332",\
                 "0.1778, 0.1778, 0.1775, 0.1776, 0.178, 0.1784, 0.179, 0.1802, 0.1889, 0.2336",\
                 "0.1772, 0.1771, 0.177, 0.177, 0.1773, 0.1778, 0.1783, 0.1798, 0.1889, 0.2361",\
                 "0.1773, 0.1773, 0.177, 0.1771, 0.1774, 0.1779, 0.1784, 0.1798, 0.1904, 0.2425",\
                 "0.1796, 0.1795, 0.1794, 0.1793, 0.1796, 0.1802, 0.1807, 0.1824, 0.1956, 0.2559",\
                 "0.1849, 0.1848, 0.1844, 0.1845, 0.1847, 0.1852, 0.1859, 0.1883, 0.2057, 0.2805",\
                 "0.1929, 0.1929, 0.1926, 0.1926, 0.1928, 0.1932, 0.1939, 0.1975, 0.2236, 0.3201",\
                 "0.2042, 0.204, 0.2036, 0.2036, 0.2037, 0.2043, 0.2051, 0.2119, 0.2534, 0.383",\
                 "0.2185, 0.2183, 0.2179, 0.2177, 0.2177, 0.2181, 0.2199, 0.2349, 0.3056, 0.478",\
                 "0.2361, 0.2359, 0.2355, 0.235, 0.235, 0.2352, 0.2404, 0.2776, 0.3984, 0.6058");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.002563, 0.008051, 0.01853, 0.03486, 0.05777, 0.08791, 0.1259, 0.1722, 0.2275");
          values("0.135, 0.1345, 0.133, 0.1308, 0.1284, 0.1264, 0.1248, 0.1236, 0.1227, 0.1221",\
                 "0.1351, 0.1346, 0.1331, 0.1309, 0.1286, 0.1265, 0.1249, 0.1238, 0.1229, 0.1222",\
                 "0.1352, 0.1347, 0.1332, 0.131, 0.1286, 0.1266, 0.1251, 0.1239, 0.123, 0.1223",\
                 "0.1362, 0.1357, 0.1342, 0.132, 0.1297, 0.1277, 0.1261, 0.1249, 0.124, 0.1233",\
                 "0.139, 0.1386, 0.1371, 0.135, 0.1327, 0.1307, 0.1291, 0.1279, 0.127, 0.1263",\
                 "0.1442, 0.1437, 0.1423, 0.1403, 0.138, 0.136, 0.1344, 0.1332, 0.1322, 0.1315",\
                 "0.1521, 0.1517, 0.1502, 0.1482, 0.1461, 0.1442, 0.1426, 0.1413, 0.1404, 0.1396",\
                 "0.163, 0.1626, 0.1613, 0.1594, 0.1573, 0.1554, 0.1538, 0.1525, 0.1515, 0.1507",\
                 "0.1773, 0.1769, 0.1756, 0.1738, 0.1716, 0.1698, 0.1681, 0.1669, 0.1659, 0.1651",\
                 "0.195, 0.1945, 0.1932, 0.1914, 0.1895, 0.1876, 0.186, 0.1847, 0.1836, 0.1828");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.002563, 0.008051, 0.01853, 0.03486, 0.05777, 0.08791, 0.1259, 0.1722, 0.2275");
          values("0.2009, 0.2011, 0.2016, 0.2024, 0.2034, 0.2042, 0.2049, 0.2061, 0.2138, 0.255",\
                 "0.2006, 0.2008, 0.2013, 0.2022, 0.2031, 0.204, 0.2048, 0.2058, 0.2137, 0.2556",\
                 "0.1998, 0.2, 0.2004, 0.2013, 0.2022, 0.2031, 0.2039, 0.205, 0.2134, 0.2576",\
                 "0.2004, 0.2005, 0.201, 0.2018, 0.2028, 0.2036, 0.2044, 0.2057, 0.2155, 0.2647",\
                 "0.2039, 0.2041, 0.2045, 0.2053, 0.2062, 0.2071, 0.2078, 0.2097, 0.2222, 0.28",\
                 "0.2109, 0.2111, 0.2115, 0.2122, 0.2131, 0.214, 0.2149, 0.217, 0.2342, 0.3065",\
                 "0.2207, 0.2209, 0.2213, 0.2221, 0.2229, 0.2237, 0.2247, 0.2282, 0.2532, 0.3478",\
                 "0.2338, 0.2339, 0.2342, 0.2349, 0.2358, 0.2369, 0.2379, 0.2445, 0.2843, 0.4114",\
                 "0.2502, 0.2503, 0.2507, 0.2514, 0.252, 0.253, 0.2553, 0.2691, 0.3369, 0.5066",\
                 "0.2705, 0.2706, 0.2709, 0.2714, 0.2721, 0.2729, 0.278, 0.3127, 0.4292, 0.636");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.002563, 0.008051, 0.01853, 0.03486, 0.05777, 0.08791, 0.1259, 0.1722, 0.2275");
          values("0.1407, 0.1403, 0.1396, 0.139, 0.1387, 0.1385, 0.1384, 0.1383, 0.1382, 0.1381",\
                 "0.1404, 0.1401, 0.1393, 0.1388, 0.1385, 0.1383, 0.1382, 0.138, 0.1379, 0.1379",\
                 "0.1396, 0.1392, 0.1384, 0.1379, 0.1376, 0.1374, 0.1373, 0.1372, 0.1371, 0.137",\
                 "0.1401, 0.1397, 0.1389, 0.1383, 0.138, 0.1379, 0.1378, 0.1377, 0.1376, 0.1375",\
                 "0.1438, 0.1433, 0.1423, 0.1415, 0.1411, 0.1409, 0.1408, 0.1407, 0.1406, 0.1406",\
                 "0.1523, 0.1517, 0.1502, 0.1489, 0.148, 0.1474, 0.1471, 0.1469, 0.1467, 0.1466",\
                 "0.1639, 0.1631, 0.1611, 0.1593, 0.158, 0.157, 0.1564, 0.156, 0.1557, 0.1555",\
                 "0.1787, 0.1777, 0.1754, 0.1729, 0.1711, 0.1698, 0.1689, 0.1683, 0.1678, 0.1674",\
                 "0.1973, 0.1961, 0.1932, 0.1902, 0.1878, 0.186, 0.1848, 0.1839, 0.1833, 0.1828",\
                 "0.2196, 0.2184, 0.215, 0.2113, 0.2083, 0.206, 0.2043, 0.2032, 0.2023, 0.2016");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.002563, 0.008051, 0.01853, 0.03486, 0.05777, 0.08791, 0.1259, 0.1722, 0.2275");
          values("0.08993, 0.08984, 0.08985, 0.09007, 0.09044, 0.09107, 0.09158, 0.09272, 0.09909, 0.1351",\
                 "0.09007, 0.08999, 0.08998, 0.09016, 0.09065, 0.09119, 0.09167, 0.09266, 0.09936, 0.1357",\
                 "0.09016, 0.09008, 0.09004, 0.09025, 0.09068, 0.09125, 0.09185, 0.09284, 0.09983, 0.1382",\
                 "0.09147, 0.09132, 0.09108, 0.0911, 0.0914, 0.09188, 0.09236, 0.09354, 0.1017, 0.1437",\
                 "0.09519, 0.09499, 0.09443, 0.09409, 0.09404, 0.09431, 0.09479, 0.09596, 0.1057, 0.1542",\
                 "0.1013, 0.101, 0.1001, 0.09939, 0.09902, 0.09893, 0.0992, 0.1008, 0.1131, 0.1705",\
                 "0.1106, 0.1103, 0.109, 0.1077, 0.1069, 0.1068, 0.1067, 0.1085, 0.1246, 0.1955",\
                 "0.1232, 0.1227, 0.1212, 0.1192, 0.1178, 0.1171, 0.1172, 0.1199, 0.1426, 0.2325",\
                 "0.1393, 0.1387, 0.1368, 0.1346, 0.1325, 0.1309, 0.1305, 0.1355, 0.1701, 0.2867",\
                 "0.1587, 0.1581, 0.1561, 0.1532, 0.1507, 0.1487, 0.1479, 0.1572, 0.2125, 0.3645");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.002563, 0.008051, 0.01853, 0.03486, 0.05777, 0.08791, 0.1259, 0.1722, 0.2275");
          values("0.2191, 0.2186, 0.2171, 0.2149, 0.2124, 0.2104, 0.2088, 0.2076, 0.2067, 0.206",\
                 "0.2182, 0.2177, 0.2161, 0.2139, 0.2115, 0.2095, 0.2079, 0.2067, 0.2058, 0.2051",\
                 "0.2179, 0.2174, 0.2158, 0.2136, 0.2112, 0.2092, 0.2076, 0.2064, 0.2055, 0.2048",\
                 "0.2189, 0.2184, 0.2169, 0.2146, 0.2122, 0.2102, 0.2086, 0.2074, 0.2065, 0.2058",\
                 "0.2218, 0.2213, 0.2198, 0.2176, 0.2152, 0.2132, 0.2116, 0.2104, 0.2095, 0.2088",\
                 "0.2269, 0.2264, 0.2249, 0.2227, 0.2203, 0.2183, 0.2167, 0.2155, 0.2146, 0.2139",\
                 "0.234, 0.2335, 0.232, 0.2298, 0.2275, 0.2254, 0.2238, 0.2226, 0.2217, 0.221",\
                 "0.2434, 0.2429, 0.2414, 0.2392, 0.2369, 0.2348, 0.2333, 0.2321, 0.2312, 0.2304",\
                 "0.2554, 0.2549, 0.2534, 0.2512, 0.249, 0.2469, 0.2452, 0.244, 0.2431, 0.2424",\
                 "0.2701, 0.2695, 0.268, 0.2659, 0.2635, 0.2616, 0.2599, 0.2587, 0.2578, 0.257");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.002563, 0.008051, 0.01853, 0.03486, 0.05777, 0.08791, 0.1259, 0.1722, 0.2275");
          values("0.2044, 0.2045, 0.2051, 0.2059, 0.2068, 0.2077, 0.2084, 0.2097, 0.2185, 0.2626",\
                 "0.2046, 0.2047, 0.2052, 0.2061, 0.207, 0.2078, 0.2085, 0.21, 0.2188, 0.2636",\
                 "0.2045, 0.2047, 0.2052, 0.206, 0.2069, 0.2078, 0.2085, 0.2098, 0.2194, 0.2671",\
                 "0.2048, 0.205, 0.2055, 0.2063, 0.2073, 0.2081, 0.2088, 0.2104, 0.221, 0.2729",\
                 "0.2064, 0.2066, 0.2071, 0.2079, 0.2089, 0.2097, 0.2104, 0.2122, 0.2247, 0.2829",\
                 "0.2096, 0.2097, 0.2103, 0.2111, 0.212, 0.2129, 0.2137, 0.2156, 0.2308, 0.2983",\
                 "0.2146, 0.2148, 0.2153, 0.2161, 0.2172, 0.2181, 0.2187, 0.2215, 0.241, 0.3215",\
                 "0.2219, 0.222, 0.2224, 0.2232, 0.2241, 0.2251, 0.2263, 0.2299, 0.2563, 0.3548",\
                 "0.2313, 0.2315, 0.2319, 0.2326, 0.2334, 0.2342, 0.2356, 0.2421, 0.2797, 0.4019",\
                 "0.2431, 0.2433, 0.2437, 0.2445, 0.2454, 0.246, 0.2472, 0.2581, 0.3149, 0.4688");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.002563, 0.008051, 0.01853, 0.03486, 0.05777, 0.08791, 0.1259, 0.1722, 0.2275");
          values("0.1442, 0.1438, 0.143, 0.1425, 0.1422, 0.142, 0.1418, 0.1418, 0.1417, 0.1416",\
                 "0.1443, 0.1439, 0.1432, 0.1426, 0.1423, 0.1421, 0.142, 0.1419, 0.1418, 0.1417",\
                 "0.1443, 0.1439, 0.1431, 0.1426, 0.1423, 0.1421, 0.142, 0.1419, 0.1418, 0.1417",\
                 "0.1446, 0.1442, 0.1435, 0.1429, 0.1426, 0.1424, 0.1423, 0.1422, 0.1421, 0.142",\
                 "0.1462, 0.1458, 0.145, 0.1445, 0.1442, 0.1441, 0.1439, 0.1438, 0.1438, 0.1437",\
                 "0.1494, 0.149, 0.1482, 0.1477, 0.1474, 0.1472, 0.1471, 0.147, 0.1469, 0.1468",\
                 "0.1544, 0.154, 0.1533, 0.1527, 0.1524, 0.1523, 0.1521, 0.152, 0.1519, 0.1518",\
                 "0.1617, 0.1613, 0.1605, 0.1599, 0.1596, 0.1594, 0.1593, 0.1592, 0.1591, 0.159",\
                 "0.1712, 0.1708, 0.1699, 0.1693, 0.169, 0.1688, 0.1687, 0.1685, 0.1684, 0.1684",\
                 "0.183, 0.1826, 0.1818, 0.1811, 0.1808, 0.1805, 0.1803, 0.1803, 0.1801, 0.1801");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.002563, 0.008051, 0.01853, 0.03486, 0.05777, 0.08791, 0.1259, 0.1722, 0.2275");
          values("0.1737, 0.1737, 0.1735, 0.1735, 0.1738, 0.1743, 0.1748, 0.176, 0.1847, 0.2279",\
                 "0.1729, 0.1727, 0.1726, 0.1727, 0.1729, 0.1735, 0.174, 0.1753, 0.1837, 0.2277",\
                 "0.1726, 0.1725, 0.1723, 0.1723, 0.1726, 0.1731, 0.1737, 0.175, 0.184, 0.2307",\
                 "0.1736, 0.1735, 0.1733, 0.1734, 0.1737, 0.1742, 0.1748, 0.1763, 0.1867, 0.2387",\
                 "0.1765, 0.1765, 0.1762, 0.1763, 0.1766, 0.1771, 0.1776, 0.1794, 0.1928, 0.2544",\
                 "0.1817, 0.1817, 0.1814, 0.1814, 0.1816, 0.1821, 0.1827, 0.1852, 0.2037, 0.2813",\
                 "0.1888, 0.1888, 0.1886, 0.1885, 0.1888, 0.1893, 0.1898, 0.1939, 0.2219, 0.3238",\
                 "0.1985, 0.1984, 0.198, 0.1979, 0.1982, 0.1986, 0.1995, 0.2074, 0.2533, 0.3908",\
                 "0.2106, 0.2104, 0.21, 0.2098, 0.2098, 0.2104, 0.2126, 0.2304, 0.3101, 0.492",\
                 "0.2255, 0.2253, 0.2249, 0.2246, 0.2244, 0.2248, 0.2322, 0.2781, 0.4131, 0.6226");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.002563, 0.008051, 0.01853, 0.03486, 0.05777, 0.08791, 0.1259, 0.1722, 0.2275");
          values("0.138, 0.1375, 0.136, 0.1339, 0.1315, 0.1294, 0.1279, 0.1267, 0.1258, 0.1251",\
                 "0.1383, 0.1377, 0.1362, 0.134, 0.1317, 0.1296, 0.1281, 0.1269, 0.126, 0.1253",\
                 "0.1382, 0.1377, 0.1362, 0.134, 0.1316, 0.1296, 0.128, 0.1269, 0.126, 0.1253",\
                 "0.1389, 0.1384, 0.1369, 0.1347, 0.1323, 0.1304, 0.1288, 0.1276, 0.1267, 0.126",\
                 "0.1412, 0.1408, 0.1393, 0.1371, 0.1349, 0.1329, 0.1313, 0.1301, 0.1292, 0.1285",\
                 "0.1459, 0.1455, 0.144, 0.142, 0.1398, 0.1378, 0.1361, 0.1349, 0.134, 0.1332",\
                 "0.1536, 0.1531, 0.1518, 0.1497, 0.1475, 0.1456, 0.144, 0.1427, 0.1417, 0.141",\
                 "0.1644, 0.1639, 0.1626, 0.1606, 0.1585, 0.1565, 0.1549, 0.1536, 0.1526, 0.1519",\
                 "0.1785, 0.178, 0.1767, 0.1747, 0.1727, 0.1708, 0.1692, 0.1678, 0.1668, 0.1661",\
                 "0.1961, 0.1956, 0.1942, 0.1924, 0.1904, 0.1885, 0.1869, 0.1856, 0.1845, 0.1837");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.002563, 0.008051, 0.01853, 0.03486, 0.05777, 0.08791, 0.1259, 0.1722, 0.2275");
          values("0.2104, 0.2105, 0.2111, 0.2119, 0.2128, 0.2137, 0.2144, 0.2157, 0.2236, 0.2658",\
                 "0.2098, 0.2099, 0.2104, 0.2112, 0.2122, 0.213, 0.2137, 0.2149, 0.2231, 0.2659",\
                 "0.2093, 0.2095, 0.21, 0.2108, 0.2117, 0.2125, 0.2133, 0.2147, 0.2236, 0.2686",\
                 "0.2102, 0.2104, 0.2108, 0.2117, 0.2126, 0.2135, 0.2143, 0.2157, 0.2258, 0.2761",\
                 "0.2138, 0.214, 0.2145, 0.2153, 0.2162, 0.217, 0.2178, 0.2197, 0.2325, 0.292",\
                 "0.2211, 0.2212, 0.2216, 0.2224, 0.2233, 0.2241, 0.2249, 0.2275, 0.2452, 0.3196",\
                 "0.2314, 0.2315, 0.232, 0.2328, 0.2336, 0.2344, 0.2354, 0.2393, 0.2653, 0.363",\
                 "0.2451, 0.2451, 0.2456, 0.2462, 0.2471, 0.2482, 0.2491, 0.2564, 0.2983, 0.4297",\
                 "0.2621, 0.2622, 0.2626, 0.2631, 0.2639, 0.265, 0.2671, 0.2826, 0.3546, 0.5292",\
                 "0.2831, 0.2832, 0.2835, 0.284, 0.2846, 0.2856, 0.2914, 0.3299, 0.453, 0.6622");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.002563, 0.008051, 0.01853, 0.03486, 0.05777, 0.08791, 0.1259, 0.1722, 0.2275");
          values("0.1512, 0.1507, 0.1497, 0.1489, 0.1483, 0.148, 0.1478, 0.1476, 0.1475, 0.1474",\
                 "0.1505, 0.1501, 0.149, 0.1482, 0.1477, 0.1474, 0.1471, 0.147, 0.1468, 0.1467",\
                 "0.1501, 0.1496, 0.1486, 0.1478, 0.1473, 0.1469, 0.1467, 0.1465, 0.1464, 0.1463",\
                 "0.151, 0.1505, 0.1495, 0.1486, 0.1481, 0.1477, 0.1475, 0.1474, 0.1473, 0.1472",\
                 "0.1546, 0.1541, 0.153, 0.152, 0.1513, 0.151, 0.1508, 0.1506, 0.1504, 0.1504",\
                 "0.1634, 0.1626, 0.161, 0.1595, 0.1584, 0.1577, 0.1573, 0.157, 0.1568, 0.1566",\
                 "0.1755, 0.1746, 0.1725, 0.1704, 0.1689, 0.1678, 0.167, 0.1666, 0.1662, 0.1659",\
                 "0.1909, 0.1898, 0.1873, 0.1847, 0.1826, 0.1811, 0.1801, 0.1794, 0.1789, 0.1785",\
                 "0.2099, 0.2087, 0.2058, 0.2026, 0.2, 0.198, 0.1967, 0.1957, 0.1951, 0.1945",\
                 "0.2328, 0.2316, 0.2282, 0.2244, 0.2212, 0.2187, 0.217, 0.2158, 0.2148, 0.214");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.002563, 0.008051, 0.01853, 0.03486, 0.05777, 0.08791, 0.1259, 0.1722, 0.2275");
          values("0.09299, 0.09291, 0.09292, 0.09314, 0.09352, 0.09412, 0.09475, 0.09564, 0.1021, 0.1381",\
                 "0.0932, 0.09311, 0.0931, 0.09333, 0.09376, 0.09424, 0.09484, 0.09582, 0.1024, 0.139",\
                 "0.09316, 0.09306, 0.09302, 0.09328, 0.09373, 0.09427, 0.09478, 0.09593, 0.1028, 0.1412",\
                 "0.09414, 0.09402, 0.0938, 0.09387, 0.09421, 0.09475, 0.09535, 0.09649, 0.1043, 0.1461",\
                 "0.09707, 0.09691, 0.09655, 0.09627, 0.09634, 0.09682, 0.09724, 0.09857, 0.1081, 0.1557",\
                 "0.1026, 0.1023, 0.1016, 0.1011, 0.101, 0.1011, 0.1014, 0.1029, 0.1147, 0.171",\
                 "0.1113, 0.111, 0.1101, 0.1089, 0.1084, 0.1084, 0.1086, 0.1105, 0.1259, 0.1945",\
                 "0.1236, 0.1231, 0.1218, 0.1201, 0.119, 0.1185, 0.1188, 0.1214, 0.1432, 0.2294",\
                 "0.1392, 0.1387, 0.137, 0.135, 0.1334, 0.1322, 0.1321, 0.1366, 0.1692, 0.2809",\
                 "0.1584, 0.1578, 0.156, 0.1536, 0.1513, 0.1497, 0.1492, 0.1576, 0.2085, 0.3542");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.002563, 0.008051, 0.01853, 0.03486, 0.05777, 0.08791, 0.1259, 0.1722, 0.2275");
          values("0.1488, 0.1482, 0.1464, 0.1436, 0.1406, 0.138, 0.1361, 0.1345, 0.1334, 0.1325",\
                 "0.1478, 0.1473, 0.1455, 0.1428, 0.1399, 0.1373, 0.1353, 0.1338, 0.1327, 0.1319",\
                 "0.1463, 0.1457, 0.144, 0.1415, 0.1385, 0.1361, 0.1342, 0.1327, 0.1316, 0.1308",\
                 "0.1455, 0.145, 0.1434, 0.1411, 0.1385, 0.1362, 0.1344, 0.133, 0.1319, 0.1311",\
                 "0.148, 0.1475, 0.1461, 0.144, 0.1419, 0.1397, 0.138, 0.1366, 0.1354, 0.1346",\
                 "0.1556, 0.1551, 0.1537, 0.1518, 0.1498, 0.1479, 0.1461, 0.1446, 0.1434, 0.1424",\
                 "0.168, 0.1675, 0.166, 0.1641, 0.162, 0.1602, 0.1584, 0.1569, 0.1556, 0.1545",\
                 "0.1855, 0.1848, 0.183, 0.1809, 0.1788, 0.1768, 0.1751, 0.1735, 0.1721, 0.1709",\
                 "0.2078, 0.207, 0.205, 0.2024, 0.2, 0.1979, 0.196, 0.1943, 0.1928, 0.1915",\
                 "0.2353, 0.2344, 0.2319, 0.2288, 0.226, 0.2236, 0.2215, 0.2196, 0.218, 0.2166");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.002563, 0.008051, 0.01853, 0.03486, 0.05777, 0.08791, 0.1259, 0.1722, 0.2275");
          values("0.1045, 0.1044, 0.1039, 0.1023, 0.1002, 0.09826, 0.09685, 0.09627, 0.1011, 0.1341",\
                 "0.1039, 0.1039, 0.1035, 0.102, 0.1, 0.09811, 0.09667, 0.09612, 0.1012, 0.1345",\
                 "0.1017, 0.1016, 0.1014, 0.1006, 0.09931, 0.09796, 0.09676, 0.09621, 0.1018, 0.1371",\
                 "0.09908, 0.09909, 0.09915, 0.09914, 0.0988, 0.09832, 0.09778, 0.0977, 0.1042, 0.1431",\
                 "0.1003, 0.1003, 0.1005, 0.1007, 0.1008, 0.1008, 0.1007, 0.1012, 0.109, 0.1534",\
                 "0.1054, 0.1054, 0.1055, 0.1057, 0.1062, 0.1064, 0.1065, 0.1075, 0.1178, 0.1702",\
                 "0.1146, 0.1146, 0.1145, 0.1145, 0.1149, 0.1155, 0.1159, 0.1173, 0.1314, 0.1952",\
                 "0.1282, 0.128, 0.1279, 0.1277, 0.1278, 0.128, 0.1289, 0.1313, 0.1508, 0.2315",\
                 "0.1462, 0.1461, 0.1457, 0.1452, 0.1451, 0.1451, 0.1454, 0.1499, 0.1792, 0.2835",\
                 "0.169, 0.1688, 0.168, 0.1674, 0.1667, 0.1663, 0.1666, 0.1741, 0.2201, 0.3571");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.002563, 0.008051, 0.01853, 0.03486, 0.05777, 0.08791, 0.1259, 0.1722, 0.2275");
          values("-0.00288, -0.002794, -0.002655, -0.002584, -0.002544, -0.002524, -0.002518, -0.002515, -0.002515, -0.002515",\
                 "-0.003469, -0.003195, -0.002749, -0.002322, -0.002086, -0.001953, -0.001863, -0.001823, -0.001796, -0.001794",\
                 "-0.0035, -0.003299, -0.00273, -0.00214, -0.001741, -0.001449, -0.001283, -0.00117, -0.001081, -0.001047",\
                 "-0.0006439, -0.0007231, -0.000789, -0.0007468, -0.0006881, -0.000653, -0.0005786, -0.0005881, -0.0005893, -0.0005804",\
                 "0.006469, 0.005976, 0.004855, 0.003668, 0.00276, 0.002072, 0.001554, 0.001159, 0.0008395, 0.0005791",\
                 "0.01859, 0.01767, 0.01522, 0.01241, 0.009939, 0.007906, 0.006316, 0.005057, 0.004079, 0.003284",\
                 "0.036, 0.03469, 0.03102, 0.02629, 0.02183, 0.01801, 0.01485, 0.0123, 0.01019, 0.008498",\
                 "0.059, 0.05736, 0.05251, 0.04592, 0.03916, 0.0331, 0.02799, 0.02365, 0.02005, 0.01707",\
                 "0.08781, 0.08587, 0.08002, 0.07159, 0.06251, 0.05388, 0.04639, 0.03998, 0.03446, 0.02976",\
                 "0.1227, 0.1205, 0.1137, 0.1036, 0.09222, 0.08096, 0.07078, 0.06189, 0.05406, 0.04725");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.002563, 0.008051, 0.01853, 0.03486, 0.05777, 0.08791, 0.1259, 0.1722, 0.2275");
          values("0.07324, 0.07351, 0.07406, 0.07451, 0.07482, 0.07516, 0.07554, 0.07605, 0.08113, 0.1118",\
                 "0.07094, 0.0715, 0.07278, 0.07397, 0.07482, 0.07546, 0.07587, 0.07662, 0.08213, 0.1131",\
                 "0.06988, 0.07006, 0.07083, 0.07204, 0.07335, 0.07435, 0.07524, 0.07609, 0.08222, 0.1152",\
                 "0.07419, 0.07389, 0.07338, 0.07313, 0.07344, 0.07417, 0.07488, 0.07611, 0.0829, 0.1194",\
                 "0.08349, 0.08282, 0.08109, 0.0792, 0.07761, 0.07699, 0.07662, 0.07748, 0.08536, 0.1285",\
                 "0.09801, 0.09696, 0.09402, 0.09044, 0.08724, 0.08425, 0.08243, 0.08221, 0.0924, 0.1462",\
                 "0.1181, 0.1167, 0.1127, 0.1074, 0.1022, 0.09754, 0.09342, 0.09197, 0.1063, 0.1779",\
                 "0.1442, 0.1424, 0.1374, 0.1304, 0.1231, 0.1164, 0.1103, 0.1086, 0.1327, 0.2332",\
                 "0.1766, 0.1745, 0.1684, 0.1599, 0.1505, 0.1413, 0.1336, 0.1359, 0.1832, 0.3282",\
                 "0.2157, 0.2132, 0.2062, 0.1962, 0.1846, 0.1731, 0.1656, 0.1848, 0.2822, 0.4736");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.002563, 0.008051, 0.01853, 0.03486, 0.05777, 0.08791, 0.1259, 0.1722, 0.2275");
          values("-0.00288, -0.002794, -0.002655, -0.002584, -0.002544, -0.002523, -0.002517, -0.002515, -0.002515, -0.002515",\
                 "-0.003472, -0.003192, -0.002749, -0.002322, -0.002086, -0.001953, -0.001863, -0.001823, -0.001796, -0.001794",\
                 "-0.003508, -0.003291, -0.002721, -0.002147, -0.001747, -0.001446, -0.001286, -0.00117, -0.001094, -0.001047",\
                 "-0.0006181, -0.0007233, -0.000787, -0.0007634, -0.0007041, -0.0006324, -0.0005793, -0.0005845, -0.0005932, -0.0005947",\
                 "0.00649, 0.005996, 0.004838, 0.003681, 0.002759, 0.002067, 0.001553, 0.001144, 0.0008065, 0.0005877",\
                 "0.01859, 0.01767, 0.01522, 0.01241, 0.009951, 0.007894, 0.006324, 0.005066, 0.004069, 0.003271",\
                 "0.036, 0.03469, 0.03102, 0.02629, 0.02183, 0.01801, 0.01484, 0.01229, 0.01018, 0.008496",\
                 "0.059, 0.05737, 0.05252, 0.04592, 0.03916, 0.03311, 0.02799, 0.02367, 0.02005, 0.01706",\
                 "0.08781, 0.08587, 0.08002, 0.07159, 0.06245, 0.05388, 0.0464, 0.03998, 0.03445, 0.02976",\
                 "0.1227, 0.1205, 0.1137, 0.1036, 0.0922, 0.08096, 0.07079, 0.06191, 0.05406, 0.04726");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.002563, 0.008051, 0.01853, 0.03486, 0.05777, 0.08791, 0.1259, 0.1722, 0.2275");
          values("0.07324, 0.07351, 0.07405, 0.07451, 0.07482, 0.07516, 0.07554, 0.07623, 0.08114, 0.1122",\
                 "0.07087, 0.07151, 0.07278, 0.07397, 0.07482, 0.07546, 0.07587, 0.07668, 0.08195, 0.1136",\
                 "0.06989, 0.07008, 0.07084, 0.07202, 0.07335, 0.07435, 0.0753, 0.07633, 0.08225, 0.1154",\
                 "0.07418, 0.0739, 0.07337, 0.07316, 0.07347, 0.07414, 0.07476, 0.07578, 0.0829, 0.1195",\
                 "0.08349, 0.08279, 0.08112, 0.07919, 0.07767, 0.07696, 0.07689, 0.07736, 0.08542, 0.1287",\
                 "0.09802, 0.09696, 0.09403, 0.09044, 0.08727, 0.08443, 0.08249, 0.08233, 0.09231, 0.1459",\
                 "0.1181, 0.1166, 0.1127, 0.1074, 0.1022, 0.09754, 0.0933, 0.09185, 0.1063, 0.1778",\
                 "0.1442, 0.1424, 0.1374, 0.1304, 0.123, 0.1164, 0.1101, 0.1083, 0.1325, 0.2332",\
                 "0.1766, 0.1745, 0.1684, 0.1599, 0.1505, 0.1412, 0.1335, 0.1359, 0.1833, 0.3281",\
                 "0.2157, 0.2133, 0.2062, 0.1962, 0.1847, 0.1731, 0.1655, 0.1849, 0.282, 0.4736");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.002563, 0.008051, 0.01853, 0.03486, 0.05777, 0.08791, 0.1259, 0.1722, 0.2275");
          values("0.1488, 0.1482, 0.1464, 0.1437, 0.1406, 0.138, 0.1361, 0.1345, 0.1334, 0.1325",\
                 "0.1479, 0.1473, 0.1455, 0.1429, 0.1398, 0.1373, 0.1353, 0.1338, 0.1327, 0.1319",\
                 "0.1463, 0.1457, 0.144, 0.1415, 0.1386, 0.1361, 0.1342, 0.1327, 0.1316, 0.1308",\
                 "0.1455, 0.145, 0.1434, 0.1411, 0.1385, 0.1362, 0.1344, 0.133, 0.1319, 0.1311",\
                 "0.1479, 0.1475, 0.1461, 0.144, 0.1419, 0.1398, 0.138, 0.1366, 0.1354, 0.1346",\
                 "0.1556, 0.1551, 0.1537, 0.1518, 0.1498, 0.1478, 0.1461, 0.1446, 0.1434, 0.1424",\
                 "0.1681, 0.1675, 0.166, 0.164, 0.1621, 0.1602, 0.1585, 0.1569, 0.1556, 0.1545",\
                 "0.1855, 0.1849, 0.1831, 0.1809, 0.1788, 0.1768, 0.175, 0.1734, 0.1721, 0.1709",\
                 "0.2078, 0.207, 0.2049, 0.2024, 0.2, 0.1979, 0.196, 0.1943, 0.1928, 0.1915",\
                 "0.2353, 0.2343, 0.2318, 0.2288, 0.226, 0.2235, 0.2215, 0.2196, 0.218, 0.2166");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.002563, 0.008051, 0.01853, 0.03486, 0.05777, 0.08791, 0.1259, 0.1722, 0.2275");
          values("0.1044, 0.1044, 0.1038, 0.1023, 0.1002, 0.09823, 0.09694, 0.09625, 0.1012, 0.1346",\
                 "0.1039, 0.1039, 0.1034, 0.102, 0.1, 0.09802, 0.0967, 0.0961, 0.1013, 0.1348",\
                 "0.1017, 0.1016, 0.1013, 0.1005, 0.09928, 0.09784, 0.09667, 0.09634, 0.1017, 0.1371",\
                 "0.09899, 0.09904, 0.09911, 0.09909, 0.0988, 0.09832, 0.09772, 0.09773, 0.1042, 0.1434",\
                 "0.1003, 0.1003, 0.1005, 0.1007, 0.1008, 0.1009, 0.1008, 0.101, 0.1091, 0.154",\
                 "0.1054, 0.1054, 0.1055, 0.1057, 0.1062, 0.1064, 0.1065, 0.1074, 0.1178, 0.1705",\
                 "0.1146, 0.1146, 0.1146, 0.1146, 0.1149, 0.1155, 0.116, 0.1173, 0.1315, 0.1954",\
                 "0.1282, 0.1281, 0.1279, 0.1278, 0.1277, 0.128, 0.1289, 0.1313, 0.1512, 0.2316",\
                 "0.1463, 0.1461, 0.1456, 0.1453, 0.145, 0.1449, 0.1454, 0.1499, 0.1791, 0.2839",\
                 "0.169, 0.1687, 0.168, 0.1674, 0.1666, 0.1662, 0.1664, 0.1742, 0.2202, 0.3574");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.002563, 0.008051, 0.01853, 0.03486, 0.05777, 0.08791, 0.1259, 0.1722, 0.2275");
          values("1.723, 1.766, 1.896, 2.098, 2.37, 2.717, 3.149, 3.677, 4.312, 5.065",\
                 "1.746, 1.789, 1.919, 2.122, 2.393, 2.74, 3.173, 3.701, 4.336, 5.088",\
                 "1.82, 1.864, 1.993, 2.196, 2.468, 2.815, 3.247, 3.775, 4.41, 5.163",\
                 "1.909, 1.952, 2.082, 2.284, 2.556, 2.903, 3.335, 3.863, 4.499, 5.251",\
                 "1.959, 2.002, 2.132, 2.334, 2.606, 2.953, 3.385, 3.913, 4.549, 5.301",\
                 "1.97, 2.012, 2.139, 2.339, 2.609, 2.956, 3.388, 3.916, 4.552, 5.304",\
                 "1.91, 1.952, 2.078, 2.278, 2.549, 2.894, 3.326, 3.854, 4.49, 5.242",\
                 "1.784, 1.825, 1.953, 2.152, 2.421, 2.768, 3.2, 3.728, 4.363, 5.116",\
                 "1.59, 1.631, 1.758, 1.958, 2.229, 2.574, 3.006, 3.535, 4.17, 4.923",\
                 "1.324, 1.365, 1.491, 1.693, 1.962, 2.309, 2.741, 3.269, 3.904, 4.657");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.002563, 0.008051, 0.01853, 0.03486, 0.05777, 0.08791, 0.1259, 0.1722, 0.2275");
          values("2.06, 2.112, 2.291, 2.634, 3.165, 3.909, 4.888, 6.119, 7.623, 9.413",\
                 "2.08, 2.131, 2.311, 2.653, 3.185, 3.929, 4.907, 6.138, 7.642, 9.433",\
                 "2.147, 2.198, 2.378, 2.72, 3.252, 3.996, 4.974, 6.206, 7.709, 9.5",\
                 "2.282, 2.334, 2.513, 2.855, 3.387, 4.131, 5.11, 6.341, 7.844, 9.636",\
                 "2.521, 2.573, 2.753, 3.094, 3.626, 4.37, 5.349, 6.58, 8.084, 9.875",\
                 "2.865, 2.917, 3.096, 3.438, 3.969, 4.714, 5.692, 6.923, 8.426, 10.22",\
                 "3.303, 3.355, 3.535, 3.876, 4.407, 5.151, 6.129, 7.361, 8.863, 10.65",\
                 "3.837, 3.888, 4.068, 4.409, 4.939, 5.682, 6.66, 7.893, 9.396, 11.19",\
                 "4.462, 4.513, 4.692, 5.033, 5.563, 6.307, 7.284, 8.515, 10.02, 11.81",\
                 "5.173, 5.225, 5.404, 5.743, 6.273, 7.016, 7.993, 9.224, 10.72, 12.51");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.002563, 0.008051, 0.01853, 0.03486, 0.05777, 0.08791, 0.1259, 0.1722, 0.2275");
          values("0.4116, 0.4468, 0.5634, 0.7846, 1.135, 1.631, 2.293, 3.139, 4.194, 5.461",\
                 "0.4118, 0.447, 0.5644, 0.7858, 1.135, 1.63, 2.293, 3.141, 4.192, 5.459",\
                 "0.412, 0.4474, 0.564, 0.7848, 1.135, 1.63, 2.294, 3.141, 4.192, 5.46",\
                 "0.4118, 0.4472, 0.5642, 0.785, 1.135, 1.63, 2.293, 3.14, 4.193, 5.461",\
                 "0.4096, 0.4452, 0.562, 0.7846, 1.134, 1.63, 2.292, 3.141, 4.19, 5.459",\
                 "0.3962, 0.431, 0.5502, 0.7754, 1.128, 1.628, 2.291, 3.139, 4.19, 5.459",\
                 "0.3928, 0.4284, 0.5492, 0.7744, 1.128, 1.625, 2.289, 3.137, 4.193, 5.462",\
                 "0.3932, 0.4286, 0.5482, 0.7746, 1.129, 1.627, 2.29, 3.14, 4.194, 5.457",\
                 "0.3946, 0.4298, 0.5496, 0.7752, 1.129, 1.628, 2.29, 3.14, 4.193, 5.461",\
                 "0.3966, 0.432, 0.5516, 0.7772, 1.13, 1.629, 2.29, 3.138, 4.192, 5.458");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.002563, 0.008051, 0.01853, 0.03486, 0.05777, 0.08791, 0.1259, 0.1722, 0.2275");
          values("0.5816, 0.669, 0.9796, 1.573, 2.494, 3.786, 5.485, 7.625, 10.24, 13.35",\
                 "0.5818, 0.669, 0.9792, 1.572, 2.495, 3.786, 5.485, 7.625, 10.24, 13.35",\
                 "0.5814, 0.6688, 0.9794, 1.572, 2.494, 3.787, 5.485, 7.624, 10.24, 13.35",\
                 "0.5816, 0.669, 0.9794, 1.573, 2.494, 3.787, 5.485, 7.624, 10.24, 13.35",\
                 "0.5812, 0.6692, 0.9786, 1.573, 2.494, 3.787, 5.485, 7.625, 10.24, 13.35",\
                 "0.5822, 0.67, 0.979, 1.573, 2.496, 3.787, 5.484, 7.624, 10.24, 13.35",\
                 "0.583, 0.671, 0.9798, 1.572, 2.495, 3.786, 5.486, 7.625, 10.24, 13.35",\
                 "0.5842, 0.6718, 0.9806, 1.573, 2.494, 3.786, 5.484, 7.622, 10.24, 13.35",\
                 "0.586, 0.674, 0.98, 1.574, 2.494, 3.786, 5.482, 7.62, 10.23, 13.35",\
                 "0.59, 0.676, 0.982, 1.574, 2.496, 3.786, 5.484, 7.624, 10.23, 13.34");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.002563, 0.008051, 0.01853, 0.03486, 0.05777, 0.08791, 0.1259, 0.1722, 0.2275");
          values("1.58, 1.605, 1.685, 1.815, 1.991, 2.209, 2.476, 2.795, 3.175, 3.622",\
                 "1.601, 1.626, 1.706, 1.837, 2.012, 2.232, 2.498, 2.817, 3.197, 3.644",\
                 "1.678, 1.704, 1.784, 1.914, 2.089, 2.308, 2.574, 2.893, 3.273, 3.721",\
                 "1.822, 1.847, 1.928, 2.058, 2.233, 2.452, 2.718, 3.037, 3.417, 3.865",\
                 "1.98, 2.005, 2.084, 2.216, 2.391, 2.61, 2.876, 3.195, 3.575, 4.023",\
                 "2.103, 2.128, 2.208, 2.34, 2.515, 2.734, 3, 3.32, 3.7, 4.147",\
                 "2.188, 2.215, 2.295, 2.427, 2.602, 2.822, 3.089, 3.408, 3.788, 4.235",\
                 "2.232, 2.258, 2.339, 2.471, 2.649, 2.869, 3.135, 3.455, 3.835, 4.282",\
                 "2.228, 2.253, 2.335, 2.468, 2.645, 2.866, 3.133, 3.453, 3.833, 4.281",\
                 "2.166, 2.193, 2.275, 2.41, 2.588, 2.809, 3.076, 3.396, 3.775, 4.223");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.002563, 0.008051, 0.01853, 0.03486, 0.05777, 0.08791, 0.1259, 0.1722, 0.2275");
          values("1.765, 1.818, 2.001, 2.345, 2.877, 3.623, 4.601, 5.832, 7.333, 9.124",\
                 "1.788, 1.841, 2.023, 2.368, 2.9, 3.646, 4.624, 5.855, 7.356, 9.146",\
                 "1.867, 1.921, 2.103, 2.447, 2.98, 3.725, 4.704, 5.935, 7.436, 9.226",\
                 "2.052, 2.105, 2.288, 2.631, 3.164, 3.909, 4.888, 6.119, 7.62, 9.411",\
                 "2.361, 2.415, 2.597, 2.941, 3.473, 4.218, 5.197, 6.428, 7.929, 9.72",\
                 "2.756, 2.81, 2.992, 3.334, 3.867, 4.612, 5.591, 6.823, 8.324, 10.11",\
                 "3.205, 3.258, 3.44, 3.784, 4.315, 5.06, 6.039, 7.271, 8.773, 10.56",\
                 "3.717, 3.771, 3.953, 4.296, 4.827, 5.572, 6.55, 7.782, 9.284, 11.07",\
                 "4.299, 4.353, 4.536, 4.879, 5.409, 6.154, 7.133, 8.364, 9.866, 11.66",\
                 "4.953, 5.007, 5.19, 5.532, 6.063, 6.806, 7.785, 9.016, 10.52, 12.31");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.002563, 0.008051, 0.01853, 0.03486, 0.05777, 0.08791, 0.1259, 0.1722, 0.2275");
          values("0.3552, 0.3852, 0.4776, 0.6292, 0.8396, 1.126, 1.503, 1.986, 2.591, 3.326",\
                 "0.3548, 0.3852, 0.478, 0.6292, 0.8396, 1.127, 1.503, 1.986, 2.59, 3.327",\
                 "0.3552, 0.3848, 0.478, 0.6288, 0.84, 1.126, 1.501, 1.986, 2.591, 3.327",\
                 "0.3548, 0.3854, 0.478, 0.6292, 0.8402, 1.126, 1.503, 1.986, 2.591, 3.326",\
                 "0.3562, 0.3858, 0.4788, 0.6296, 0.8416, 1.127, 1.502, 1.986, 2.591, 3.328",\
                 "0.357, 0.3868, 0.4794, 0.6302, 0.8404, 1.126, 1.502, 1.987, 2.591, 3.328",\
                 "0.3586, 0.3882, 0.4814, 0.6314, 0.8434, 1.126, 1.503, 1.986, 2.591, 3.328",\
                 "0.3602, 0.3904, 0.483, 0.6334, 0.844, 1.129, 1.504, 1.987, 2.592, 3.327",\
                 "0.362, 0.393, 0.485, 0.6354, 0.8458, 1.131, 1.505, 1.989, 2.594, 3.328",\
                 "0.3636, 0.396, 0.488, 0.638, 0.848, 1.132, 1.508, 1.99, 2.596, 3.328");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.002563, 0.008051, 0.01853, 0.03486, 0.05777, 0.08791, 0.1259, 0.1722, 0.2275");
          values("0.444, 0.527, 0.827, 1.414, 2.338, 3.631, 5.332, 7.465, 10.08, 13.19",\
                 "0.4442, 0.527, 0.8272, 1.415, 2.338, 3.631, 5.332, 7.464, 10.08, 13.19",\
                 "0.4444, 0.5276, 0.8272, 1.415, 2.338, 3.631, 5.332, 7.464, 10.08, 13.19",\
                 "0.445, 0.5282, 0.8274, 1.415, 2.337, 3.631, 5.331, 7.468, 10.09, 13.18",\
                 "0.4448, 0.5276, 0.8272, 1.416, 2.338, 3.631, 5.331, 7.469, 10.09, 13.18",\
                 "0.4466, 0.5288, 0.8284, 1.415, 2.338, 3.631, 5.331, 7.471, 10.09, 13.2",\
                 "0.4486, 0.5308, 0.8288, 1.416, 2.336, 3.63, 5.33, 7.47, 10.08, 13.2",\
                 "0.451, 0.533, 0.828, 1.414, 2.337, 3.624, 5.331, 7.47, 10.08, 13.2",\
                 "0.454, 0.536, 0.83, 1.414, 2.334, 3.624, 5.326, 7.468, 10.07, 13.18",\
                 "0.46, 0.538, 0.828, 1.414, 2.336, 3.626, 5.322, 7.46, 10.08, 13.2");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.002563, 0.008051, 0.01853, 0.03486, 0.05777, 0.08791, 0.1259, 0.1722, 0.2275");
          values("1.723, 1.766, 1.896, 2.098, 2.37, 2.717, 3.149, 3.677, 4.312, 5.065",\
                 "1.746, 1.789, 1.919, 2.122, 2.393, 2.74, 3.173, 3.701, 4.336, 5.088",\
                 "1.82, 1.864, 1.993, 2.196, 2.468, 2.815, 3.247, 3.775, 4.41, 5.163",\
                 "1.909, 1.952, 2.082, 2.284, 2.556, 2.903, 3.335, 3.863, 4.499, 5.251",\
                 "1.959, 2.002, 2.132, 2.334, 2.606, 2.953, 3.385, 3.913, 4.549, 5.301",\
                 "1.97, 2.012, 2.139, 2.339, 2.609, 2.956, 3.388, 3.916, 4.552, 5.304",\
                 "1.91, 1.952, 2.078, 2.278, 2.549, 2.894, 3.326, 3.854, 4.49, 5.242",\
                 "1.784, 1.825, 1.953, 2.152, 2.421, 2.768, 3.2, 3.728, 4.363, 5.116",\
                 "1.59, 1.631, 1.758, 1.958, 2.229, 2.574, 3.006, 3.535, 4.17, 4.923",\
                 "1.324, 1.365, 1.491, 1.693, 1.962, 2.309, 2.741, 3.269, 3.904, 4.657");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.002563, 0.008051, 0.01853, 0.03486, 0.05777, 0.08791, 0.1259, 0.1722, 0.2275");
          values("2.06, 2.112, 2.291, 2.634, 3.165, 3.909, 4.888, 6.119, 7.623, 9.413",\
                 "2.08, 2.131, 2.311, 2.653, 3.185, 3.929, 4.907, 6.138, 7.642, 9.433",\
                 "2.147, 2.198, 2.378, 2.72, 3.252, 3.996, 4.974, 6.206, 7.709, 9.5",\
                 "2.282, 2.334, 2.513, 2.855, 3.387, 4.131, 5.11, 6.341, 7.844, 9.636",\
                 "2.521, 2.573, 2.753, 3.094, 3.626, 4.37, 5.349, 6.58, 8.084, 9.875",\
                 "2.865, 2.917, 3.096, 3.438, 3.969, 4.714, 5.692, 6.923, 8.426, 10.22",\
                 "3.303, 3.355, 3.535, 3.876, 4.407, 5.151, 6.129, 7.361, 8.863, 10.65",\
                 "3.837, 3.888, 4.068, 4.409, 4.939, 5.682, 6.66, 7.893, 9.396, 11.19",\
                 "4.462, 4.513, 4.692, 5.033, 5.563, 6.307, 7.284, 8.515, 10.02, 11.81",\
                 "5.173, 5.225, 5.404, 5.743, 6.273, 7.016, 7.993, 9.224, 10.72, 12.51");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.002563, 0.008051, 0.01853, 0.03486, 0.05777, 0.08791, 0.1259, 0.1722, 0.2275");
          values("0.4116, 0.4468, 0.5634, 0.7846, 1.135, 1.631, 2.293, 3.139, 4.194, 5.461",\
                 "0.4118, 0.447, 0.5644, 0.7858, 1.135, 1.63, 2.293, 3.141, 4.192, 5.459",\
                 "0.412, 0.4474, 0.564, 0.7848, 1.135, 1.63, 2.294, 3.141, 4.192, 5.46",\
                 "0.4118, 0.4472, 0.5642, 0.785, 1.135, 1.63, 2.293, 3.14, 4.193, 5.461",\
                 "0.4096, 0.4452, 0.562, 0.7846, 1.134, 1.63, 2.292, 3.141, 4.19, 5.459",\
                 "0.3962, 0.431, 0.5502, 0.7754, 1.128, 1.628, 2.291, 3.139, 4.19, 5.459",\
                 "0.3928, 0.4284, 0.5492, 0.7744, 1.128, 1.625, 2.289, 3.137, 4.193, 5.462",\
                 "0.3932, 0.4286, 0.5482, 0.7746, 1.129, 1.627, 2.29, 3.14, 4.194, 5.457",\
                 "0.3946, 0.4298, 0.5496, 0.7752, 1.129, 1.628, 2.29, 3.14, 4.193, 5.461",\
                 "0.3966, 0.432, 0.5516, 0.7772, 1.13, 1.629, 2.29, 3.138, 4.192, 5.458");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.002563, 0.008051, 0.01853, 0.03486, 0.05777, 0.08791, 0.1259, 0.1722, 0.2275");
          values("0.5816, 0.669, 0.9796, 1.573, 2.494, 3.786, 5.485, 7.625, 10.24, 13.35",\
                 "0.5818, 0.669, 0.9792, 1.572, 2.495, 3.786, 5.485, 7.625, 10.24, 13.35",\
                 "0.5814, 0.6688, 0.9794, 1.572, 2.494, 3.787, 5.485, 7.624, 10.24, 13.35",\
                 "0.5816, 0.669, 0.9794, 1.573, 2.494, 3.787, 5.485, 7.624, 10.24, 13.35",\
                 "0.5812, 0.6692, 0.9786, 1.573, 2.494, 3.787, 5.485, 7.625, 10.24, 13.35",\
                 "0.5822, 0.67, 0.979, 1.573, 2.496, 3.787, 5.484, 7.624, 10.24, 13.35",\
                 "0.583, 0.671, 0.9798, 1.572, 2.495, 3.786, 5.486, 7.625, 10.24, 13.35",\
                 "0.5842, 0.6718, 0.9806, 1.573, 2.494, 3.786, 5.484, 7.622, 10.24, 13.35",\
                 "0.586, 0.674, 0.98, 1.574, 2.494, 3.786, 5.482, 7.62, 10.23, 13.35",\
                 "0.59, 0.676, 0.982, 1.574, 2.496, 3.786, 5.484, 7.624, 10.23, 13.34");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.002563, 0.008051, 0.01853, 0.03486, 0.05777, 0.08791, 0.1259, 0.1722, 0.2275");
          values("2.659, 2.684, 2.763, 2.893, 3.067, 3.285, 3.551, 3.87, 4.25, 4.697",\
                 "2.678, 2.703, 2.782, 2.912, 3.086, 3.305, 3.571, 3.89, 4.269, 4.717",\
                 "2.745, 2.77, 2.849, 2.979, 3.153, 3.372, 3.637, 3.957, 4.336, 4.784",\
                 "2.88, 2.905, 2.984, 3.114, 3.289, 3.507, 3.773, 4.092, 4.471, 4.919",\
                 "3.12, 3.145, 3.224, 3.354, 3.529, 3.748, 4.013, 4.332, 4.711, 5.159",\
                 "3.463, 3.488, 3.567, 3.698, 3.873, 4.091, 4.357, 4.676, 5.055, 5.503",\
                 "3.903, 3.927, 4.007, 4.137, 4.311, 4.53, 4.795, 5.115, 5.494, 5.942",\
                 "4.437, 4.462, 4.541, 4.672, 4.846, 5.065, 5.331, 5.649, 6.029, 6.476",\
                 "5.063, 5.088, 5.168, 5.297, 5.473, 5.691, 5.956, 6.275, 6.655, 7.102",\
                 "5.776, 5.801, 5.88, 6.011, 6.185, 6.404, 6.67, 6.989, 7.368, 7.816");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.002563, 0.008051, 0.01853, 0.03486, 0.05777, 0.08791, 0.1259, 0.1722, 0.2275");
          values("2.292, 2.345, 2.528, 2.871, 3.404, 4.149, 5.127, 6.359, 7.86, 9.649",\
                 "2.315, 2.368, 2.551, 2.895, 3.427, 4.172, 5.151, 6.382, 7.884, 9.674",\
                 "2.389, 2.442, 2.625, 2.968, 3.501, 4.246, 5.225, 6.455, 7.957, 9.747",\
                 "2.477, 2.53, 2.712, 3.056, 3.588, 4.334, 5.311, 6.543, 8.045, 9.834",\
                 "2.527, 2.58, 2.762, 3.106, 3.639, 4.384, 5.362, 6.594, 8.095, 9.885",\
                 "2.531, 2.584, 2.767, 3.111, 3.644, 4.389, 5.367, 6.599, 8.1, 9.888",\
                 "2.47, 2.524, 2.707, 3.05, 3.582, 4.327, 5.306, 6.537, 8.039, 9.829",\
                 "2.345, 2.398, 2.579, 2.924, 3.456, 4.201, 5.179, 6.409, 7.911, 9.7",\
                 "2.149, 2.203, 2.385, 2.73, 3.261, 4.007, 4.986, 6.217, 7.717, 9.505",\
                 "1.883, 1.938, 2.12, 2.462, 2.995, 3.742, 4.72, 5.951, 7.451, 9.239");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.002563, 0.008051, 0.01853, 0.03486, 0.05777, 0.08791, 0.1259, 0.1722, 0.2275");
          values("0.351, 0.381, 0.4754, 0.6266, 0.8376, 1.124, 1.501, 1.985, 2.591, 3.327",\
                 "0.351, 0.381, 0.4754, 0.626, 0.8376, 1.124, 1.501, 1.985, 2.591, 3.327",\
                 "0.351, 0.3812, 0.4746, 0.626, 0.838, 1.124, 1.5, 1.984, 2.59, 3.327",\
                 "0.351, 0.3812, 0.4742, 0.6258, 0.8382, 1.124, 1.501, 1.985, 2.591, 3.327",\
                 "0.3512, 0.3812, 0.4744, 0.6252, 0.8382, 1.124, 1.5, 1.985, 2.591, 3.327",\
                 "0.3512, 0.3816, 0.4744, 0.6268, 0.8374, 1.124, 1.5, 1.985, 2.59, 3.327",\
                 "0.3512, 0.382, 0.475, 0.6262, 0.8374, 1.124, 1.5, 1.986, 2.59, 3.326",\
                 "0.352, 0.3816, 0.4742, 0.6254, 0.837, 1.123, 1.499, 1.985, 2.59, 3.326",\
                 "0.352, 0.38, 0.476, 0.628, 0.84, 1.122, 1.5, 1.986, 2.59, 3.326",\
                 "0.352, 0.382, 0.476, 0.628, 0.838, 1.124, 1.502, 1.986, 2.59, 3.328");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.002563, 0.008051, 0.01853, 0.03486, 0.05777, 0.08791, 0.1259, 0.1722, 0.2275");
          values("0.4458, 0.528, 0.8278, 1.414, 2.338, 3.631, 5.332, 7.468, 10.07, 13.2",\
                 "0.4456, 0.5282, 0.8272, 1.414, 2.338, 3.631, 5.331, 7.462, 10.09, 13.19",\
                 "0.4458, 0.5278, 0.8276, 1.414, 2.335, 3.63, 5.33, 7.472, 10.09, 13.2",\
                 "0.4464, 0.5278, 0.8278, 1.414, 2.338, 3.631, 5.33, 7.471, 10.08, 13.2",\
                 "0.4456, 0.5282, 0.8274, 1.414, 2.338, 3.631, 5.332, 7.463, 10.08, 13.18",\
                 "0.4448, 0.5278, 0.8268, 1.416, 2.335, 3.629, 5.328, 7.472, 10.09, 13.2",\
                 "0.4448, 0.528, 0.8276, 1.414, 2.335, 3.63, 5.326, 7.472, 10.07, 13.18",\
                 "0.4448, 0.5276, 0.8278, 1.415, 2.336, 3.625, 5.322, 7.468, 10.07, 13.2",\
                 "0.4448, 0.5274, 0.8278, 1.416, 2.338, 3.632, 5.324, 7.46, 10.07, 13.17",\
                 "0.4448, 0.5266, 0.8268, 1.416, 2.336, 3.63, 5.324, 7.462, 10.07, 13.18");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.002563, 0.008051, 0.01853, 0.03486, 0.05777, 0.08791, 0.1259, 0.1722, 0.2275");
          values("1.206, 1.248, 1.373, 1.572, 1.841, 2.187, 2.618, 3.146, 3.781, 4.533",\
                 "1.23, 1.271, 1.396, 1.595, 1.865, 2.21, 2.642, 3.169, 3.804, 4.556",\
                 "1.309, 1.351, 1.476, 1.675, 1.944, 2.29, 2.721, 3.249, 3.884, 4.636",\
                 "1.493, 1.534, 1.66, 1.859, 2.128, 2.474, 2.905, 3.432, 4.067, 4.82",\
                 "1.803, 1.844, 1.969, 2.168, 2.437, 2.783, 3.215, 3.742, 4.377, 5.129",\
                 "2.195, 2.238, 2.369, 2.573, 2.845, 3.193, 3.625, 4.152, 4.788, 5.539",\
                 "2.638, 2.684, 2.822, 3.034, 3.311, 3.662, 4.098, 4.628, 5.263, 6.015",\
                 "3.143, 3.192, 3.338, 3.557, 3.842, 4.198, 4.636, 5.167, 5.804, 6.556",\
                 "3.719, 3.77, 3.923, 4.153, 4.445, 4.805, 5.246, 5.78, 6.418, 7.17",\
                 "4.364, 4.418, 4.58, 4.821, 5.122, 5.489, 5.934, 6.47, 7.109, 7.862");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.002563, 0.008051, 0.01853, 0.03486, 0.05777, 0.08791, 0.1259, 0.1722, 0.2275");
          values("0.9713, 1.026, 1.211, 1.556, 2.089, 2.833, 3.811, 5.043, 6.546, 8.337",\
                 "0.9936, 1.048, 1.233, 1.578, 2.111, 2.855, 3.834, 5.065, 6.567, 8.358",\
                 "1.071, 1.125, 1.31, 1.655, 2.187, 2.932, 3.91, 5.142, 6.644, 8.435",\
                 "1.213, 1.267, 1.451, 1.795, 2.326, 3.07, 4.048, 5.28, 6.783, 8.573",\
                 "1.363, 1.417, 1.601, 1.943, 2.472, 3.214, 4.192, 5.423, 6.926, 8.716",\
                 "1.476, 1.531, 1.715, 2.056, 2.584, 3.325, 4.301, 5.532, 7.033, 8.823",\
                 "1.553, 1.608, 1.793, 2.133, 2.658, 3.397, 4.372, 5.601, 7.102, 8.892",\
                 "1.584, 1.64, 1.827, 2.167, 2.689, 3.426, 4.398, 5.626, 7.125, 8.914",\
                 "1.564, 1.621, 1.812, 2.154, 2.677, 3.41, 4.38, 5.606, 7.106, 8.893",\
                 "1.485, 1.544, 1.74, 2.086, 2.611, 3.346, 4.314, 5.537, 7.035, 8.822");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.002563, 0.008051, 0.01853, 0.03486, 0.05777, 0.08791, 0.1259, 0.1722, 0.2275");
          values("0.3876, 0.4232, 0.544, 0.7706, 1.124, 1.622, 2.287, 3.137, 4.188, 5.459",\
                 "0.3878, 0.4232, 0.5436, 0.7706, 1.124, 1.623, 2.286, 3.137, 4.188, 5.457",\
                 "0.3876, 0.4234, 0.5438, 0.7702, 1.125, 1.623, 2.289, 3.137, 4.188, 5.457",\
                 "0.3878, 0.4234, 0.5438, 0.7706, 1.124, 1.623, 2.286, 3.136, 4.188, 5.457",\
                 "0.3944, 0.429, 0.548, 0.774, 1.126, 1.625, 2.287, 3.137, 4.188, 5.458",\
                 "0.4348, 0.4682, 0.5804, 0.7986, 1.142, 1.636, 2.295, 3.142, 4.191, 5.462",\
                 "0.479, 0.5132, 0.6224, 0.8326, 1.172, 1.658, 2.31, 3.153, 4.197, 5.462",\
                 "0.5218, 0.557, 0.6668, 0.8702, 1.203, 1.683, 2.331, 3.166, 4.207, 5.47",\
                 "0.5682, 0.6034, 0.7154, 0.9126, 1.238, 1.708, 2.352, 3.18, 4.218, 5.478",\
                 "0.618, 0.656, 0.77, 0.966, 1.278, 1.742, 2.376, 3.196, 4.23, 5.484");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.002563, 0.008051, 0.01853, 0.03486, 0.05777, 0.08791, 0.1259, 0.1722, 0.2275");
          values("0.6061, 0.6932, 0.9965, 1.58, 2.498, 3.791, 5.491, 7.63, 10.24, 13.35",\
                 "0.6063, 0.6933, 0.9968, 1.58, 2.498, 3.791, 5.491, 7.631, 10.24, 13.36",\
                 "0.6066, 0.693, 0.9964, 1.58, 2.498, 3.791, 5.491, 7.631, 10.24, 13.36",\
                 "0.6074, 0.6944, 0.997, 1.58, 2.498, 3.79, 5.491, 7.631, 10.24, 13.36",\
                 "0.6192, 0.7046, 1.006, 1.584, 2.499, 3.791, 5.491, 7.631, 10.24, 13.35",\
                 "0.633, 0.718, 1.015, 1.593, 2.506, 3.792, 5.49, 7.63, 10.24, 13.35",\
                 "0.6508, 0.7352, 1.03, 1.598, 2.508, 3.798, 5.495, 7.631, 10.24, 13.35",\
                 "0.6734, 0.7584, 1.05, 1.61, 2.513, 3.799, 5.496, 7.635, 10.24, 13.35",\
                 "0.7016, 0.7878, 1.078, 1.631, 2.525, 3.804, 5.497, 7.638, 10.25, 13.36",\
                 "0.7318, 0.8194, 1.11, 1.659, 2.547, 3.82, 5.508, 7.642, 10.25, 13.36");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.002563, 0.008051, 0.01853, 0.03486, 0.05777, 0.08791, 0.1259, 0.1722, 0.2275");
          values("1.206, 1.248, 1.373, 1.572, 1.841, 2.187, 2.618, 3.146, 3.781, 4.533",\
                 "1.23, 1.271, 1.396, 1.595, 1.865, 2.21, 2.642, 3.169, 3.804, 4.556",\
                 "1.309, 1.351, 1.476, 1.675, 1.944, 2.29, 2.721, 3.249, 3.884, 4.636",\
                 "1.493, 1.534, 1.66, 1.859, 2.128, 2.474, 2.905, 3.432, 4.067, 4.82",\
                 "1.803, 1.844, 1.969, 2.168, 2.437, 2.783, 3.215, 3.742, 4.377, 5.129",\
                 "2.195, 2.238, 2.369, 2.573, 2.845, 3.193, 3.625, 4.152, 4.788, 5.539",\
                 "2.638, 2.684, 2.822, 3.034, 3.311, 3.662, 4.098, 4.628, 5.263, 6.015",\
                 "3.143, 3.192, 3.338, 3.557, 3.842, 4.198, 4.636, 5.167, 5.804, 6.556",\
                 "3.719, 3.77, 3.923, 4.153, 4.445, 4.805, 5.246, 5.78, 6.418, 7.17",\
                 "4.364, 4.418, 4.58, 4.821, 5.122, 5.489, 5.934, 6.47, 7.109, 7.862");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.002563, 0.008051, 0.01853, 0.03486, 0.05777, 0.08791, 0.1259, 0.1722, 0.2275");
          values("2.292, 2.345, 2.528, 2.871, 3.404, 4.149, 5.127, 6.359, 7.86, 9.649",\
                 "2.315, 2.368, 2.551, 2.895, 3.427, 4.172, 5.151, 6.382, 7.884, 9.674",\
                 "2.389, 2.442, 2.625, 2.968, 3.501, 4.246, 5.225, 6.455, 7.957, 9.747",\
                 "2.477, 2.53, 2.712, 3.056, 3.588, 4.334, 5.311, 6.543, 8.045, 9.834",\
                 "2.527, 2.58, 2.762, 3.106, 3.639, 4.384, 5.362, 6.594, 8.095, 9.885",\
                 "2.531, 2.584, 2.767, 3.111, 3.644, 4.389, 5.367, 6.599, 8.1, 9.888",\
                 "2.47, 2.524, 2.707, 3.05, 3.582, 4.327, 5.306, 6.537, 8.039, 9.829",\
                 "2.345, 2.398, 2.579, 2.924, 3.456, 4.201, 5.179, 6.409, 7.911, 9.7",\
                 "2.149, 2.203, 2.385, 2.73, 3.261, 4.007, 4.986, 6.217, 7.717, 9.505",\
                 "1.883, 1.938, 2.12, 2.462, 2.995, 3.742, 4.72, 5.951, 7.451, 9.239");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.002563, 0.008051, 0.01853, 0.03486, 0.05777, 0.08791, 0.1259, 0.1722, 0.2275");
          values("0.3876, 0.4232, 0.544, 0.7706, 1.124, 1.622, 2.287, 3.137, 4.188, 5.459",\
                 "0.3878, 0.4232, 0.5436, 0.7706, 1.124, 1.623, 2.286, 3.137, 4.188, 5.457",\
                 "0.3876, 0.4234, 0.5438, 0.7702, 1.125, 1.623, 2.289, 3.137, 4.188, 5.457",\
                 "0.3878, 0.4234, 0.5438, 0.7706, 1.124, 1.623, 2.286, 3.136, 4.188, 5.457",\
                 "0.3944, 0.429, 0.548, 0.774, 1.126, 1.625, 2.287, 3.137, 4.188, 5.458",\
                 "0.4348, 0.4682, 0.5804, 0.7986, 1.142, 1.636, 2.295, 3.142, 4.191, 5.462",\
                 "0.479, 0.5132, 0.6224, 0.8326, 1.172, 1.658, 2.31, 3.153, 4.197, 5.462",\
                 "0.5218, 0.557, 0.6668, 0.8702, 1.203, 1.683, 2.331, 3.166, 4.207, 5.47",\
                 "0.5682, 0.6034, 0.7154, 0.9126, 1.238, 1.708, 2.352, 3.18, 4.218, 5.478",\
                 "0.618, 0.656, 0.77, 0.966, 1.278, 1.742, 2.376, 3.196, 4.23, 5.484");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.002563, 0.008051, 0.01853, 0.03486, 0.05777, 0.08791, 0.1259, 0.1722, 0.2275");
          values("0.6061, 0.6932, 0.9965, 1.58, 2.498, 3.791, 5.491, 7.63, 10.24, 13.35",\
                 "0.6063, 0.6933, 0.9968, 1.58, 2.498, 3.791, 5.491, 7.631, 10.24, 13.36",\
                 "0.6066, 0.693, 0.9964, 1.58, 2.498, 3.791, 5.491, 7.631, 10.24, 13.36",\
                 "0.6074, 0.6944, 0.997, 1.58, 2.498, 3.79, 5.491, 7.631, 10.24, 13.36",\
                 "0.6192, 0.7046, 1.006, 1.584, 2.499, 3.791, 5.491, 7.631, 10.24, 13.35",\
                 "0.633, 0.718, 1.015, 1.593, 2.506, 3.792, 5.49, 7.63, 10.24, 13.35",\
                 "0.6508, 0.7352, 1.03, 1.598, 2.508, 3.798, 5.495, 7.631, 10.24, 13.35",\
                 "0.6734, 0.7584, 1.05, 1.61, 2.513, 3.799, 5.496, 7.635, 10.24, 13.35",\
                 "0.7016, 0.7878, 1.078, 1.631, 2.525, 3.804, 5.497, 7.638, 10.25, 13.36",\
                 "0.7318, 0.8194, 1.11, 1.659, 2.547, 3.82, 5.508, 7.642, 10.25, 13.36");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.002563, 0.008051, 0.01853, 0.03486, 0.05777, 0.08791, 0.1259, 0.1722, 0.2275");
          values("1.593, 1.635, 1.76, 1.959, 2.228, 2.574, 3.006, 3.533, 4.168, 4.92",\
                 "1.618, 1.66, 1.785, 1.984, 2.253, 2.599, 3.03, 3.557, 4.193, 4.945",\
                 "1.697, 1.738, 1.864, 2.063, 2.332, 2.678, 3.109, 3.636, 4.271, 5.024",\
                 "1.785, 1.826, 1.951, 2.151, 2.42, 2.765, 3.197, 3.724, 4.359, 5.111",\
                 "1.825, 1.866, 1.991, 2.19, 2.459, 2.805, 3.236, 3.764, 4.399, 5.151",\
                 "1.808, 1.85, 1.975, 2.173, 2.442, 2.788, 3.218, 3.746, 4.381, 5.133",\
                 "1.722, 1.764, 1.889, 2.088, 2.357, 2.703, 3.133, 3.661, 4.295, 5.047",\
                 "1.561, 1.602, 1.728, 1.927, 2.197, 2.541, 2.973, 3.5, 4.135, 4.887",\
                 "1.319, 1.36, 1.487, 1.686, 1.955, 2.301, 2.732, 3.259, 3.894, 4.646",\
                 "0.9898, 1.032, 1.158, 1.358, 1.628, 1.974, 2.405, 2.932, 3.568, 4.319");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.002563, 0.008051, 0.01853, 0.03486, 0.05777, 0.08791, 0.1259, 0.1722, 0.2275");
          values("1.981, 2.033, 2.213, 2.555, 3.086, 3.83, 4.809, 6.04, 7.544, 9.335",\
                 "1.995, 2.047, 2.227, 2.569, 3.1, 3.845, 4.822, 6.054, 7.558, 9.349",\
                 "2.077, 2.129, 2.309, 2.65, 3.182, 3.926, 4.904, 6.135, 7.639, 9.431",\
                 "2.282, 2.333, 2.513, 2.855, 3.387, 4.131, 5.109, 6.34, 7.844, 9.636",\
                 "2.624, 2.675, 2.855, 3.197, 3.729, 4.473, 5.451, 6.682, 8.186, 9.976",\
                 "3.076, 3.127, 3.307, 3.649, 4.179, 4.924, 5.902, 7.133, 8.636, 10.43",\
                 "3.613, 3.666, 3.844, 4.186, 4.717, 5.462, 6.439, 7.672, 9.174, 10.96",\
                 "4.251, 4.303, 4.482, 4.823, 5.353, 6.097, 7.075, 8.307, 9.809, 11.6",\
                 "4.994, 5.045, 5.225, 5.567, 6.096, 6.839, 7.817, 9.048, 10.55, 12.34",\
                 "5.847, 5.898, 6.079, 6.42, 6.949, 7.69, 8.67, 9.901, 11.4, 13.19");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.002563, 0.008051, 0.01853, 0.03486, 0.05777, 0.08791, 0.1259, 0.1722, 0.2275");
          values("0.3876, 0.423, 0.5442, 0.7694, 1.124, 1.622, 2.286, 3.137, 4.188, 5.456",\
                 "0.3878, 0.4234, 0.5438, 0.7704, 1.124, 1.624, 2.286, 3.137, 4.188, 5.456",\
                 "0.3878, 0.4234, 0.5438, 0.7706, 1.124, 1.623, 2.287, 3.137, 4.188, 5.457",\
                 "0.3874, 0.4234, 0.5438, 0.7706, 1.124, 1.622, 2.289, 3.137, 4.188, 5.461",\
                 "0.3868, 0.4222, 0.543, 0.7706, 1.124, 1.622, 2.289, 3.135, 4.187, 5.458",\
                 "0.3866, 0.422, 0.5414, 0.7686, 1.123, 1.62, 2.286, 3.136, 4.19, 5.456",\
                 "0.3878, 0.423, 0.5426, 0.7688, 1.124, 1.622, 2.286, 3.135, 4.19, 5.457",\
                 "0.3892, 0.4248, 0.5448, 0.7706, 1.126, 1.622, 2.286, 3.134, 4.185, 5.456",\
                 "0.3912, 0.4272, 0.5464, 0.7724, 1.126, 1.625, 2.287, 3.135, 4.191, 5.456",\
                 "0.3938, 0.4288, 0.5486, 0.774, 1.128, 1.624, 2.289, 3.134, 4.188, 5.458");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.002563, 0.008051, 0.01853, 0.03486, 0.05777, 0.08791, 0.1259, 0.1722, 0.2275");
          values("0.5812, 0.669, 0.9788, 1.573, 2.494, 3.786, 5.485, 7.625, 10.23, 13.35",\
                 "0.5814, 0.669, 0.979, 1.572, 2.494, 3.787, 5.485, 7.625, 10.24, 13.35",\
                 "0.5812, 0.669, 0.9792, 1.572, 2.494, 3.787, 5.485, 7.625, 10.24, 13.35",\
                 "0.5814, 0.6692, 0.9792, 1.573, 2.494, 3.787, 5.485, 7.625, 10.24, 13.35",\
                 "0.5814, 0.669, 0.9794, 1.572, 2.494, 3.786, 5.485, 7.625, 10.24, 13.35",\
                 "0.5822, 0.6696, 0.9792, 1.573, 2.495, 3.787, 5.484, 7.624, 10.24, 13.35",\
                 "0.5828, 0.6704, 0.98, 1.573, 2.495, 3.787, 5.485, 7.625, 10.24, 13.35",\
                 "0.5838, 0.6716, 0.9806, 1.574, 2.494, 3.785, 5.482, 7.622, 10.24, 13.35",\
                 "0.584, 0.674, 0.98, 1.574, 2.494, 3.784, 5.484, 7.624, 10.24, 13.35",\
                 "0.586, 0.674, 0.982, 1.574, 2.496, 3.786, 5.484, 7.622, 10.23, 13.34");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.002563, 0.008051, 0.01853, 0.03486, 0.05777, 0.08791, 0.1259, 0.1722, 0.2275");
          values("1.605, 1.63, 1.71, 1.84, 2.016, 2.234, 2.5, 2.82, 3.199, 3.647",\
                 "1.628, 1.653, 1.733, 1.864, 2.039, 2.258, 2.524, 2.843, 3.223, 3.671",\
                 "1.681, 1.706, 1.786, 1.917, 2.092, 2.311, 2.577, 2.896, 3.276, 3.723",\
                 "1.772, 1.797, 1.877, 2.008, 2.183, 2.402, 2.668, 2.987, 3.367, 3.814",\
                 "1.874, 1.9, 1.98, 2.111, 2.285, 2.505, 2.771, 3.09, 3.47, 3.917",\
                 "1.951, 1.977, 2.058, 2.189, 2.365, 2.585, 2.85, 3.17, 3.549, 3.997",\
                 "1.993, 2.019, 2.1, 2.231, 2.407, 2.626, 2.893, 3.213, 3.593, 4.039",\
                 "1.986, 2.012, 2.093, 2.226, 2.402, 2.622, 2.889, 3.208, 3.589, 4.036",\
                 "1.921, 1.947, 2.028, 2.162, 2.34, 2.56, 2.827, 3.146, 3.527, 3.974",\
                 "1.792, 1.818, 1.901, 2.035, 2.213, 2.435, 2.702, 3.022, 3.403, 3.85");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.002563, 0.008051, 0.01853, 0.03486, 0.05777, 0.08791, 0.1259, 0.1722, 0.2275");
          values("1.883, 1.936, 2.118, 2.462, 2.994, 3.739, 4.718, 5.949, 7.451, 9.241",\
                 "1.9, 1.953, 2.135, 2.479, 3.012, 3.757, 4.735, 5.966, 7.468, 9.257",\
                 "1.985, 2.038, 2.221, 2.564, 3.097, 3.842, 4.821, 6.051, 7.553, 9.343",\
                 "2.174, 2.227, 2.41, 2.753, 3.286, 4.03, 5.009, 6.241, 7.743, 9.533",\
                 "2.49, 2.544, 2.727, 3.07, 3.603, 4.348, 5.326, 6.557, 8.059, 9.849",\
                 "2.909, 2.963, 3.145, 3.488, 4.021, 4.766, 5.744, 6.975, 8.476, 10.27",\
                 "3.389, 3.442, 3.625, 3.967, 4.5, 5.245, 6.224, 7.455, 8.958, 10.75",\
                 "3.938, 3.992, 4.174, 4.517, 5.048, 5.792, 6.771, 8.002, 9.506, 11.3",\
                 "4.566, 4.618, 4.802, 5.143, 5.674, 6.42, 7.397, 8.629, 10.13, 11.92",\
                 "5.275, 5.329, 5.511, 5.853, 6.384, 7.129, 8.107, 9.338, 10.84, 12.63");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.002563, 0.008051, 0.01853, 0.03486, 0.05777, 0.08791, 0.1259, 0.1722, 0.2275");
          values("0.355, 0.3852, 0.4778, 0.629, 0.8396, 1.125, 1.502, 1.985, 2.591, 3.326",\
                 "0.3548, 0.3852, 0.4788, 0.6284, 0.8404, 1.126, 1.503, 1.986, 2.591, 3.327",\
                 "0.355, 0.3852, 0.4778, 0.629, 0.8398, 1.126, 1.503, 1.987, 2.591, 3.326",\
                 "0.3546, 0.3852, 0.478, 0.6292, 0.841, 1.125, 1.502, 1.986, 2.591, 3.327",\
                 "0.3558, 0.3856, 0.479, 0.6304, 0.8412, 1.126, 1.502, 1.986, 2.592, 3.327",\
                 "0.3572, 0.3872, 0.4804, 0.6304, 0.8414, 1.127, 1.504, 1.986, 2.591, 3.328",\
                 "0.3584, 0.388, 0.4822, 0.6322, 0.8434, 1.128, 1.504, 1.988, 2.592, 3.327",\
                 "0.3598, 0.3904, 0.4832, 0.6338, 0.8446, 1.13, 1.504, 1.988, 2.593, 3.328",\
                 "0.3616, 0.3922, 0.4854, 0.6362, 0.8472, 1.132, 1.507, 1.989, 2.593, 3.329",\
                 "0.3628, 0.394, 0.4884, 0.6394, 0.849, 1.132, 1.508, 1.992, 2.594, 3.33");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.002563, 0.008051, 0.01853, 0.03486, 0.05777, 0.08791, 0.1259, 0.1722, 0.2275");
          values("0.4454, 0.5282, 0.828, 1.414, 2.338, 3.63, 5.331, 7.47, 10.08, 13.19",\
                 "0.4454, 0.5282, 0.8268, 1.415, 2.337, 3.63, 5.326, 7.464, 10.07, 13.2",\
                 "0.4458, 0.528, 0.8268, 1.416, 2.338, 3.629, 5.33, 7.472, 10.09, 13.2",\
                 "0.4454, 0.5276, 0.8272, 1.414, 2.338, 3.63, 5.33, 7.459, 10.08, 13.18",\
                 "0.4456, 0.5286, 0.827, 1.414, 2.336, 3.63, 5.331, 7.472, 10.09, 13.19",\
                 "0.4474, 0.529, 0.828, 1.415, 2.335, 3.628, 5.329, 7.471, 10.09, 13.19",\
                 "0.45, 0.5308, 0.8284, 1.415, 2.337, 3.63, 5.332, 7.471, 10.07, 13.2",\
                 "0.4524, 0.5342, 0.8288, 1.414, 2.333, 3.624, 5.329, 7.468, 10.08, 13.2",\
                 "0.454, 0.536, 0.83, 1.414, 2.332, 3.626, 5.326, 7.472, 10.07, 13.18",\
                 "0.458, 0.54, 0.83, 1.414, 2.336, 3.628, 5.322, 7.464, 10.08, 13.19");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.002563, 0.008051, 0.01853, 0.03486, 0.05777, 0.08791, 0.1259, 0.1722, 0.2275");
          values("1.593, 1.635, 1.76, 1.959, 2.228, 2.574, 3.006, 3.533, 4.168, 4.92",\
                 "1.618, 1.66, 1.785, 1.984, 2.253, 2.599, 3.03, 3.557, 4.193, 4.945",\
                 "1.697, 1.738, 1.864, 2.063, 2.332, 2.678, 3.109, 3.636, 4.271, 5.024",\
                 "1.785, 1.826, 1.951, 2.151, 2.42, 2.765, 3.197, 3.724, 4.359, 5.111",\
                 "1.825, 1.866, 1.991, 2.19, 2.459, 2.805, 3.236, 3.764, 4.399, 5.151",\
                 "1.808, 1.85, 1.975, 2.173, 2.442, 2.788, 3.218, 3.746, 4.381, 5.133",\
                 "1.722, 1.764, 1.889, 2.088, 2.357, 2.703, 3.133, 3.661, 4.295, 5.047",\
                 "1.561, 1.602, 1.728, 1.927, 2.197, 2.541, 2.973, 3.5, 4.135, 4.887",\
                 "1.319, 1.36, 1.487, 1.686, 1.955, 2.301, 2.732, 3.259, 3.894, 4.646",\
                 "0.9898, 1.032, 1.158, 1.358, 1.628, 1.974, 2.405, 2.932, 3.568, 4.319");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.002563, 0.008051, 0.01853, 0.03486, 0.05777, 0.08791, 0.1259, 0.1722, 0.2275");
          values("1.981, 2.033, 2.213, 2.555, 3.086, 3.83, 4.809, 6.04, 7.544, 9.335",\
                 "1.995, 2.047, 2.227, 2.569, 3.1, 3.845, 4.822, 6.054, 7.558, 9.349",\
                 "2.077, 2.129, 2.309, 2.65, 3.182, 3.926, 4.904, 6.135, 7.639, 9.431",\
                 "2.282, 2.333, 2.513, 2.855, 3.387, 4.131, 5.109, 6.34, 7.844, 9.636",\
                 "2.624, 2.675, 2.855, 3.197, 3.729, 4.473, 5.451, 6.682, 8.186, 9.976",\
                 "3.076, 3.127, 3.307, 3.649, 4.179, 4.924, 5.902, 7.133, 8.636, 10.43",\
                 "3.613, 3.666, 3.844, 4.186, 4.717, 5.462, 6.439, 7.672, 9.174, 10.96",\
                 "4.251, 4.303, 4.482, 4.823, 5.353, 6.097, 7.075, 8.307, 9.809, 11.6",\
                 "4.994, 5.045, 5.225, 5.567, 6.096, 6.839, 7.817, 9.048, 10.55, 12.34",\
                 "5.847, 5.898, 6.079, 6.42, 6.949, 7.69, 8.67, 9.901, 11.4, 13.19");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.002563, 0.008051, 0.01853, 0.03486, 0.05777, 0.08791, 0.1259, 0.1722, 0.2275");
          values("0.3876, 0.423, 0.5442, 0.7694, 1.124, 1.622, 2.286, 3.137, 4.188, 5.456",\
                 "0.3878, 0.4234, 0.5438, 0.7704, 1.124, 1.624, 2.286, 3.137, 4.188, 5.456",\
                 "0.3878, 0.4234, 0.5438, 0.7706, 1.124, 1.623, 2.287, 3.137, 4.188, 5.457",\
                 "0.3874, 0.4234, 0.5438, 0.7706, 1.124, 1.622, 2.289, 3.137, 4.188, 5.461",\
                 "0.3868, 0.4222, 0.543, 0.7706, 1.124, 1.622, 2.289, 3.135, 4.187, 5.458",\
                 "0.3866, 0.422, 0.5414, 0.7686, 1.123, 1.62, 2.286, 3.136, 4.19, 5.456",\
                 "0.3878, 0.423, 0.5426, 0.7688, 1.124, 1.622, 2.286, 3.135, 4.19, 5.457",\
                 "0.3892, 0.4248, 0.5448, 0.7706, 1.126, 1.622, 2.286, 3.134, 4.185, 5.456",\
                 "0.3912, 0.4272, 0.5464, 0.7724, 1.126, 1.625, 2.287, 3.135, 4.191, 5.456",\
                 "0.3938, 0.4288, 0.5486, 0.774, 1.128, 1.624, 2.289, 3.134, 4.188, 5.458");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.002563, 0.008051, 0.01853, 0.03486, 0.05777, 0.08791, 0.1259, 0.1722, 0.2275");
          values("0.5812, 0.669, 0.9788, 1.573, 2.494, 3.786, 5.485, 7.625, 10.23, 13.35",\
                 "0.5814, 0.669, 0.979, 1.572, 2.494, 3.787, 5.485, 7.625, 10.24, 13.35",\
                 "0.5812, 0.669, 0.9792, 1.572, 2.494, 3.787, 5.485, 7.625, 10.24, 13.35",\
                 "0.5814, 0.6692, 0.9792, 1.573, 2.494, 3.787, 5.485, 7.625, 10.24, 13.35",\
                 "0.5814, 0.669, 0.9794, 1.572, 2.494, 3.786, 5.485, 7.625, 10.24, 13.35",\
                 "0.5822, 0.6696, 0.9792, 1.573, 2.495, 3.787, 5.484, 7.624, 10.24, 13.35",\
                 "0.5828, 0.6704, 0.98, 1.573, 2.495, 3.787, 5.485, 7.625, 10.24, 13.35",\
                 "0.5838, 0.6716, 0.9806, 1.574, 2.494, 3.785, 5.482, 7.622, 10.24, 13.35",\
                 "0.584, 0.674, 0.98, 1.574, 2.494, 3.784, 5.484, 7.624, 10.24, 13.35",\
                 "0.586, 0.674, 0.982, 1.574, 2.496, 3.786, 5.484, 7.622, 10.23, 13.34");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.002563, 0.008051, 0.01853, 0.03486, 0.05777, 0.08791, 0.1259, 0.1722, 0.2275");
          values("2.58, 2.605, 2.684, 2.814, 2.989, 3.207, 3.472, 3.792, 4.171, 4.618",\
                 "2.593, 2.618, 2.697, 2.827, 3.002, 3.22, 3.486, 3.805, 4.185, 4.632",\
                 "2.675, 2.7, 2.779, 2.909, 3.084, 3.302, 3.568, 3.887, 4.267, 4.714",\
                 "2.88, 2.905, 2.984, 3.114, 3.289, 3.507, 3.773, 4.092, 4.471, 4.919",\
                 "3.222, 3.247, 3.326, 3.456, 3.631, 3.849, 4.115, 4.434, 4.813, 5.261",\
                 "3.674, 3.699, 3.779, 3.909, 4.083, 4.301, 4.567, 4.886, 5.266, 5.713",\
                 "4.212, 4.238, 4.316, 4.446, 4.621, 4.839, 5.105, 5.424, 5.804, 6.251",\
                 "4.85, 4.875, 4.955, 5.085, 5.26, 5.478, 5.744, 6.063, 6.442, 6.89",\
                 "5.596, 5.621, 5.7, 5.831, 6.005, 6.224, 6.489, 6.808, 7.188, 7.635",\
                 "6.45, 6.475, 6.555, 6.685, 6.86, 7.078, 7.343, 7.662, 8.043, 8.49");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.002563, 0.008051, 0.01853, 0.03486, 0.05777, 0.08791, 0.1259, 0.1722, 0.2275");
          values("2.151, 2.205, 2.387, 2.731, 3.264, 4.009, 4.987, 6.218, 7.72, 9.509",\
                 "2.176, 2.23, 2.413, 2.756, 3.289, 4.034, 5.013, 6.243, 7.744, 9.534",\
                 "2.255, 2.309, 2.491, 2.835, 3.368, 4.113, 5.092, 6.322, 7.823, 9.614",\
                 "2.343, 2.396, 2.579, 2.922, 3.455, 4.201, 5.179, 6.41, 7.911, 9.701",\
                 "2.383, 2.437, 2.619, 2.962, 3.495, 4.241, 5.219, 6.45, 7.951, 9.741",\
                 "2.366, 2.419, 2.602, 2.946, 3.478, 4.224, 5.202, 6.433, 7.934, 9.724",\
                 "2.281, 2.334, 2.516, 2.86, 3.392, 4.137, 5.116, 6.347, 7.85, 9.637",\
                 "2.12, 2.173, 2.356, 2.7, 3.231, 3.976, 4.954, 6.186, 7.687, 9.477",\
                 "1.878, 1.932, 2.114, 2.457, 2.989, 3.735, 4.713, 5.943, 7.446, 9.233",\
                 "1.549, 1.603, 1.785, 2.131, 2.663, 3.408, 4.385, 5.616, 7.117, 8.906");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.002563, 0.008051, 0.01853, 0.03486, 0.05777, 0.08791, 0.1259, 0.1722, 0.2275");
          values("0.351, 0.381, 0.4754, 0.6256, 0.8382, 1.124, 1.501, 1.984, 2.59, 3.327",\
                 "0.351, 0.3816, 0.4746, 0.626, 0.8374, 1.123, 1.501, 1.985, 2.59, 3.326",\
                 "0.3512, 0.3816, 0.4744, 0.626, 0.8378, 1.124, 1.501, 1.985, 2.591, 3.327",\
                 "0.351, 0.3814, 0.4746, 0.6256, 0.8386, 1.124, 1.5, 1.985, 2.59, 3.326",\
                 "0.351, 0.3812, 0.4746, 0.6252, 0.8378, 1.123, 1.5, 1.985, 2.591, 3.327",\
                 "0.351, 0.3814, 0.475, 0.6258, 0.838, 1.123, 1.5, 1.986, 2.59, 3.327",\
                 "0.351, 0.3814, 0.4746, 0.6252, 0.8382, 1.123, 1.5, 1.986, 2.59, 3.326",\
                 "0.3514, 0.3816, 0.4746, 0.6254, 0.838, 1.122, 1.5, 1.984, 2.59, 3.328",\
                 "0.35, 0.382, 0.474, 0.626, 0.838, 1.122, 1.5, 1.986, 2.59, 3.326",\
                 "0.352, 0.382, 0.476, 0.626, 0.838, 1.124, 1.5, 1.986, 2.59, 3.328");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.002563, 0.008051, 0.01853, 0.03486, 0.05777, 0.08791, 0.1259, 0.1722, 0.2275");
          values("0.445, 0.5272, 0.8278, 1.415, 2.335, 3.631, 5.331, 7.473, 10.09, 13.2",\
                 "0.4446, 0.5284, 0.8274, 1.415, 2.337, 3.629, 5.33, 7.472, 10.09, 13.2",\
                 "0.4444, 0.5276, 0.8274, 1.415, 2.337, 3.63, 5.331, 7.468, 10.09, 13.19",\
                 "0.4444, 0.527, 0.8276, 1.414, 2.337, 3.63, 5.331, 7.469, 10.09, 13.19",\
                 "0.4444, 0.528, 0.8274, 1.416, 2.337, 3.63, 5.331, 7.47, 10.09, 13.2",\
                 "0.4448, 0.527, 0.8268, 1.414, 2.338, 3.631, 5.332, 7.465, 10.08, 13.19",\
                 "0.4448, 0.5276, 0.827, 1.416, 2.334, 3.628, 5.33, 7.473, 10.08, 13.19",\
                 "0.4444, 0.5276, 0.8268, 1.415, 2.334, 3.626, 5.325, 7.472, 10.07, 13.2",\
                 "0.4456, 0.5278, 0.8272, 1.415, 2.338, 3.627, 5.323, 7.46, 10.08, 13.2",\
                 "0.4446, 0.5278, 0.827, 1.414, 2.338, 3.628, 5.326, 7.462, 10.07, 13.18");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.002563, 0.008051, 0.01853, 0.03486, 0.05777, 0.08791, 0.1259, 0.1722, 0.2275");
          values("1.315, 1.358, 1.488, 1.69, 1.962, 2.309, 2.742, 3.27, 3.905, 4.657",\
                 "1.332, 1.375, 1.505, 1.708, 1.979, 2.326, 2.759, 3.287, 3.922, 4.675",\
                 "1.418, 1.461, 1.59, 1.793, 2.065, 2.412, 2.845, 3.373, 4.008, 4.76",\
                 "1.606, 1.649, 1.779, 1.981, 2.253, 2.6, 3.033, 3.561, 4.196, 4.949",\
                 "1.922, 1.965, 2.095, 2.297, 2.569, 2.916, 3.349, 3.876, 4.511, 5.264",\
                 "2.339, 2.383, 2.518, 2.724, 2.997, 3.346, 3.778, 4.307, 4.942, 5.694",\
                 "2.811, 2.859, 3.001, 3.215, 3.495, 3.847, 4.282, 4.812, 5.448, 6.2",\
                 "3.352, 3.402, 3.552, 3.776, 4.062, 4.418, 4.856, 5.387, 6.024, 6.777",\
                 "3.971, 4.023, 4.181, 4.414, 4.707, 5.067, 5.509, 6.042, 6.68, 7.433",\
                 "4.672, 4.729, 4.894, 5.138, 5.438, 5.803, 6.249, 6.784, 7.422, 8.175");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.002563, 0.008051, 0.01853, 0.03486, 0.05777, 0.08791, 0.1259, 0.1722, 0.2275");
          values("0.9962, 1.05, 1.236, 1.581, 2.114, 2.858, 3.836, 5.068, 6.571, 8.36",\
                 "1.02, 1.074, 1.26, 1.605, 2.137, 2.882, 3.86, 5.091, 6.594, 8.385",\
                 "1.073, 1.127, 1.312, 1.657, 2.19, 2.934, 3.913, 5.144, 6.647, 8.438",\
                 "1.163, 1.218, 1.402, 1.746, 2.277, 3.022, 4, 5.231, 6.733, 8.524",\
                 "1.261, 1.315, 1.5, 1.843, 2.373, 3.117, 4.095, 5.325, 6.827, 8.619",\
                 "1.331, 1.386, 1.572, 1.914, 2.443, 3.185, 4.162, 5.393, 6.896, 8.686",\
                 "1.362, 1.418, 1.606, 1.948, 2.475, 3.215, 4.19, 5.42, 6.922, 8.711",\
                 "1.344, 1.4, 1.59, 1.934, 2.461, 3.198, 4.171, 5.399, 6.899, 8.688",\
                 "1.265, 1.323, 1.516, 1.864, 2.393, 3.13, 4.101, 5.327, 6.827, 8.614",\
                 "1.119, 1.179, 1.377, 1.73, 2.261, 3.003, 3.975, 5.2, 6.698, 8.484");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.002563, 0.008051, 0.01853, 0.03486, 0.05777, 0.08791, 0.1259, 0.1722, 0.2275");
          values("0.412, 0.4472, 0.5638, 0.786, 1.135, 1.631, 2.293, 3.14, 4.193, 5.46",\
                 "0.4118, 0.4468, 0.5644, 0.7854, 1.135, 1.63, 2.293, 3.141, 4.19, 5.459",\
                 "0.4118, 0.4472, 0.5646, 0.7854, 1.135, 1.63, 2.293, 3.141, 4.192, 5.459",\
                 "0.412, 0.447, 0.5642, 0.7856, 1.134, 1.631, 2.293, 3.139, 4.194, 5.458",\
                 "0.416, 0.4512, 0.568, 0.7874, 1.137, 1.633, 2.294, 3.142, 4.193, 5.459",\
                 "0.4518, 0.4854, 0.5954, 0.8068, 1.149, 1.64, 2.299, 3.144, 4.195, 5.463",\
                 "0.4982, 0.5314, 0.6394, 0.8442, 1.178, 1.662, 2.314, 3.156, 4.2, 5.463",\
                 "0.5418, 0.5766, 0.6854, 0.881, 1.208, 1.686, 2.334, 3.169, 4.208, 5.473",\
                 "0.5854, 0.622, 0.7314, 0.926, 1.24, 1.712, 2.352, 3.18, 4.22, 5.482",\
                 "0.632, 0.668, 0.782, 0.972, 1.278, 1.74, 2.374, 3.198, 4.23, 5.484");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.002563, 0.008051, 0.01853, 0.03486, 0.05777, 0.08791, 0.1259, 0.1722, 0.2275");
          values("0.6052, 0.6925, 0.996, 1.58, 2.498, 3.79, 5.49, 7.632, 10.24, 13.36",\
                 "0.6062, 0.693, 0.9962, 1.58, 2.498, 3.791, 5.491, 7.631, 10.24, 13.36",\
                 "0.6064, 0.693, 0.9966, 1.579, 2.498, 3.79, 5.49, 7.63, 10.24, 13.36",\
                 "0.607, 0.6944, 0.997, 1.58, 2.498, 3.79, 5.49, 7.631, 10.24, 13.36",\
                 "0.619, 0.7044, 1.005, 1.584, 2.499, 3.791, 5.491, 7.63, 10.24, 13.35",\
                 "0.6312, 0.7178, 1.016, 1.59, 2.503, 3.791, 5.49, 7.631, 10.24, 13.36",\
                 "0.6498, 0.7358, 1.03, 1.599, 2.505, 3.794, 5.492, 7.63, 10.24, 13.35",\
                 "0.6698, 0.758, 1.052, 1.615, 2.513, 3.796, 5.492, 7.633, 10.24, 13.35",\
                 "0.6946, 0.783, 1.08, 1.639, 2.532, 3.807, 5.496, 7.633, 10.24, 13.36",\
                 "0.7224, 0.8112, 1.109, 1.667, 2.556, 3.83, 5.512, 7.64, 10.25, 13.36");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.002563, 0.008051, 0.01853, 0.03486, 0.05777, 0.08791, 0.1259, 0.1722, 0.2275");
          values("2.58, 2.605, 2.684, 2.814, 2.989, 3.207, 3.472, 3.792, 4.171, 4.618",\
                 "2.593, 2.618, 2.697, 2.827, 3.002, 3.22, 3.486, 3.805, 4.185, 4.632",\
                 "2.675, 2.7, 2.779, 2.909, 3.084, 3.302, 3.568, 3.887, 4.267, 4.714",\
                 "2.88, 2.905, 2.984, 3.114, 3.289, 3.507, 3.773, 4.092, 4.471, 4.919",\
                 "3.222, 3.247, 3.326, 3.456, 3.631, 3.849, 4.115, 4.434, 4.813, 5.261",\
                 "3.674, 3.699, 3.779, 3.909, 4.083, 4.301, 4.567, 4.886, 5.266, 5.713",\
                 "4.212, 4.238, 4.316, 4.446, 4.621, 4.839, 5.105, 5.424, 5.804, 6.251",\
                 "4.85, 4.875, 4.955, 5.085, 5.26, 5.478, 5.744, 6.063, 6.442, 6.89",\
                 "5.596, 5.621, 5.7, 5.831, 6.005, 6.224, 6.489, 6.808, 7.188, 7.635",\
                 "6.45, 6.475, 6.555, 6.685, 6.86, 7.078, 7.343, 7.662, 8.043, 8.49");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.002563, 0.008051, 0.01853, 0.03486, 0.05777, 0.08791, 0.1259, 0.1722, 0.2275");
          values("2.151, 2.205, 2.387, 2.731, 3.264, 4.009, 4.987, 6.218, 7.72, 9.509",\
                 "2.176, 2.23, 2.413, 2.756, 3.289, 4.034, 5.013, 6.243, 7.744, 9.534",\
                 "2.255, 2.309, 2.491, 2.835, 3.368, 4.113, 5.092, 6.322, 7.823, 9.614",\
                 "2.343, 2.396, 2.579, 2.922, 3.455, 4.201, 5.179, 6.41, 7.911, 9.701",\
                 "2.383, 2.437, 2.619, 2.962, 3.495, 4.241, 5.219, 6.45, 7.951, 9.741",\
                 "2.366, 2.419, 2.602, 2.946, 3.478, 4.224, 5.202, 6.433, 7.934, 9.724",\
                 "2.281, 2.334, 2.516, 2.86, 3.392, 4.137, 5.116, 6.347, 7.85, 9.637",\
                 "2.12, 2.173, 2.356, 2.7, 3.231, 3.976, 4.954, 6.186, 7.687, 9.477",\
                 "1.878, 1.932, 2.114, 2.457, 2.989, 3.735, 4.713, 5.943, 7.446, 9.233",\
                 "1.549, 1.603, 1.785, 2.131, 2.663, 3.408, 4.385, 5.616, 7.117, 8.906");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.002563, 0.008051, 0.01853, 0.03486, 0.05777, 0.08791, 0.1259, 0.1722, 0.2275");
          values("0.412, 0.4472, 0.5638, 0.786, 1.135, 1.631, 2.293, 3.14, 4.193, 5.46",\
                 "0.4118, 0.4468, 0.5644, 0.7854, 1.135, 1.63, 2.293, 3.141, 4.19, 5.459",\
                 "0.4118, 0.4472, 0.5646, 0.7854, 1.135, 1.63, 2.293, 3.141, 4.192, 5.459",\
                 "0.412, 0.447, 0.5642, 0.7856, 1.134, 1.631, 2.293, 3.139, 4.194, 5.458",\
                 "0.416, 0.4512, 0.568, 0.7874, 1.137, 1.633, 2.294, 3.142, 4.193, 5.459",\
                 "0.4518, 0.4854, 0.5954, 0.8068, 1.149, 1.64, 2.299, 3.144, 4.195, 5.463",\
                 "0.4982, 0.5314, 0.6394, 0.8442, 1.178, 1.662, 2.314, 3.156, 4.2, 5.463",\
                 "0.5418, 0.5766, 0.6854, 0.881, 1.208, 1.686, 2.334, 3.169, 4.208, 5.473",\
                 "0.5854, 0.622, 0.7314, 0.926, 1.24, 1.712, 2.352, 3.18, 4.22, 5.482",\
                 "0.632, 0.668, 0.782, 0.972, 1.278, 1.74, 2.374, 3.198, 4.23, 5.484");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.002563, 0.008051, 0.01853, 0.03486, 0.05777, 0.08791, 0.1259, 0.1722, 0.2275");
          values("0.6052, 0.6925, 0.996, 1.58, 2.498, 3.79, 5.49, 7.632, 10.24, 13.36",\
                 "0.6062, 0.693, 0.9962, 1.58, 2.498, 3.791, 5.491, 7.631, 10.24, 13.36",\
                 "0.6064, 0.693, 0.9966, 1.579, 2.498, 3.79, 5.49, 7.63, 10.24, 13.36",\
                 "0.607, 0.6944, 0.997, 1.58, 2.498, 3.79, 5.49, 7.631, 10.24, 13.36",\
                 "0.619, 0.7044, 1.005, 1.584, 2.499, 3.791, 5.491, 7.63, 10.24, 13.35",\
                 "0.6312, 0.7178, 1.016, 1.59, 2.503, 3.791, 5.49, 7.631, 10.24, 13.36",\
                 "0.6498, 0.7358, 1.03, 1.599, 2.505, 3.794, 5.492, 7.63, 10.24, 13.35",\
                 "0.6698, 0.758, 1.052, 1.615, 2.513, 3.796, 5.492, 7.633, 10.24, 13.35",\
                 "0.6946, 0.783, 1.08, 1.639, 2.532, 3.807, 5.496, 7.633, 10.24, 13.36",\
                 "0.7224, 0.8112, 1.109, 1.667, 2.556, 3.83, 5.512, 7.64, 10.25, 13.36");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.002563, 0.008051, 0.01853, 0.03486, 0.05777, 0.08791, 0.1259, 0.1722, 0.2275");
          values("0.1408, 0.1622, 0.2372, 0.3797, 0.6012, 0.9124, 1.322, 1.838, 2.468, 3.217",\
                 "0.1606, 0.1826, 0.2585, 0.4017, 0.6239, 0.9353, 1.345, 1.861, 2.491, 3.241",\
                 "0.2203, 0.2489, 0.3359, 0.4804, 0.7032, 1.015, 1.425, 1.941, 2.57, 3.322",\
                 "0.2538, 0.2943, 0.4183, 0.6102, 0.8534, 1.165, 1.574, 2.09, 2.719, 3.469",\
                 "0.2491, 0.3024, 0.4635, 0.7115, 1.026, 1.391, 1.81, 2.324, 2.954, 3.703",\
                 "0.1999, 0.2667, 0.4679, 0.7736, 1.156, 1.605, 2.107, 2.656, 3.285, 4.033",\
                 "0.1035, 0.1841, 0.4247, 0.7906, 1.246, 1.773, 2.365, 3.012, 3.712, 4.472",\
                 "-0.0437, 0.0502, 0.3299, 0.756, 1.286, 1.896, 2.575, 3.322, 4.127, 4.985",\
                 "-0.2461, -0.1386, 0.1823, 0.6687, 1.276, 1.969, 2.739, 3.58, 4.489, 5.461",\
                 "-0.5075, -0.3858, -0.0243, 0.523, 1.205, 1.988, 2.849, 3.789, 4.8, 5.882");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.002563, 0.008051, 0.01853, 0.03486, 0.05777, 0.08791, 0.1259, 0.1722, 0.2275");
          values("0.2858, 0.3382, 0.5198, 0.8616, 1.392, 2.135, 3.11, 4.338, 5.839, 7.627",\
                 "0.2961, 0.3503, 0.5367, 0.8844, 1.418, 2.163, 3.139, 4.369, 5.87, 7.658",\
                 "0.3836, 0.434, 0.6157, 0.9629, 1.5, 2.248, 3.226, 4.457, 5.959, 7.749",\
                 "0.5552, 0.6166, 0.8091, 1.146, 1.675, 2.42, 3.4, 4.632, 6.133, 7.921",\
                 "0.769, 0.8423, 1.075, 1.455, 1.978, 2.713, 3.685, 4.915, 6.413, 8.198",\
                 "1.035, 1.12, 1.387, 1.827, 2.415, 3.147, 4.107, 5.328, 6.821, 8.605",\
                 "1.357, 1.455, 1.756, 2.248, 2.914, 3.725, 4.688, 5.893, 7.375, 9.151",\
                 "1.732, 1.846, 2.188, 2.732, 3.465, 4.369, 5.418, 6.628, 8.096, 9.855",\
                 "2.166, 2.294, 2.682, 3.283, 4.079, 5.065, 6.22, 7.522, 8.996, 10.74",\
                 "2.658, 2.802, 3.237, 3.904, 4.764, 5.824, 7.077, 8.498, 10.07, 11.82");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.002563, 0.008051, 0.01853, 0.03486, 0.05777, 0.08791, 0.1259, 0.1722, 0.2275");
          values("0.1667, 0.2036, 0.3316, 0.577, 0.9583, 1.492, 2.194, 3.079, 4.159, 5.447",\
                 "0.1667, 0.2033, 0.3315, 0.5775, 0.9568, 1.491, 2.196, 3.079, 4.159, 5.447",\
                 "0.2207, 0.2538, 0.3549, 0.5773, 0.958, 1.492, 2.194, 3.079, 4.161, 5.447",\
                 "0.3209, 0.363, 0.4927, 0.7026, 1.003, 1.494, 2.194, 3.08, 4.161, 5.446",\
                 "0.4532, 0.5044, 0.6586, 0.9112, 1.245, 1.653, 2.243, 3.08, 4.159, 5.447",\
                 "0.61, 0.6732, 0.8622, 1.149, 1.536, 2.005, 2.546, 3.244, 4.201, 5.448",\
                 "0.7886, 0.8656, 1.092, 1.428, 1.86, 2.387, 3.003, 3.695, 4.519, 5.6",\
                 "0.9894, 1.08, 1.349, 1.743, 2.226, 2.807, 3.488, 4.262, 5.12, 6.082",\
                 "1.211, 1.316, 1.623, 2.081, 2.629, 3.27, 4.011, 4.856, 5.8, 6.827",\
                 "1.448, 1.575, 1.928, 2.444, 3.07, 3.78, 4.575, 5.492, 6.516, 7.63");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.002563, 0.008051, 0.01853, 0.03486, 0.05777, 0.08791, 0.1259, 0.1722, 0.2275");
          values("0.4209, 0.5116, 0.826, 1.42, 2.342, 3.631, 5.332, 7.471, 10.07, 13.2",\
                 "0.4187, 0.5108, 0.8259, 1.419, 2.342, 3.632, 5.324, 7.471, 10.08, 13.2",\
                 "0.417, 0.5026, 0.822, 1.419, 2.34, 3.629, 5.332, 7.471, 10.09, 13.2",\
                 "0.5182, 0.6018, 0.8618, 1.417, 2.34, 3.633, 5.327, 7.464, 10.09, 13.2",\
                 "0.629, 0.7236, 1.03, 1.529, 2.349, 3.632, 5.332, 7.469, 10.08, 13.2",\
                 "0.7666, 0.8668, 1.204, 1.775, 2.538, 3.673, 5.332, 7.473, 10.08, 13.19",\
                 "0.9356, 1.043, 1.398, 2.021, 2.876, 3.929, 5.415, 7.475, 10.08, 13.19",\
                 "1.13, 1.247, 1.625, 2.28, 3.218, 4.367, 5.742, 7.608, 10.1, 13.2",\
                 "1.347, 1.478, 1.882, 2.571, 3.562, 4.82, 6.278, 8.008, 10.29, 13.22",\
                 "1.576, 1.724, 2.174, 2.902, 3.924, 5.27, 6.856, 8.642, 10.76, 13.46");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.002563, 0.008051, 0.01853, 0.03486, 0.05777, 0.08791, 0.1259, 0.1722, 0.2275");
          values("0.1408, 0.1622, 0.2372, 0.3797, 0.6012, 0.9124, 1.322, 1.838, 2.468, 3.217",\
                 "0.1607, 0.1825, 0.2585, 0.4017, 0.6239, 0.9353, 1.345, 1.861, 2.491, 3.24",\
                 "0.2202, 0.2489, 0.3359, 0.4804, 0.7032, 1.014, 1.425, 1.941, 2.57, 3.322",\
                 "0.2538, 0.2943, 0.4182, 0.6102, 0.8535, 1.165, 1.574, 2.09, 2.72, 3.469",\
                 "0.2491, 0.3024, 0.4636, 0.7114, 1.026, 1.392, 1.81, 2.324, 2.952, 3.703",\
                 "0.1999, 0.2667, 0.4679, 0.7736, 1.156, 1.604, 2.107, 2.655, 3.284, 4.033",\
                 "0.1035, 0.1841, 0.4247, 0.7906, 1.245, 1.773, 2.365, 3.013, 3.712, 4.472",\
                 "-0.0437, 0.0502, 0.3294, 0.756, 1.286, 1.896, 2.576, 3.322, 4.127, 4.984",\
                 "-0.2462, -0.1386, 0.1823, 0.6684, 1.275, 1.969, 2.739, 3.581, 4.49, 5.461",\
                 "-0.5075, -0.3858, -0.0243, 0.5231, 1.205, 1.988, 2.849, 3.789, 4.8, 5.882");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.002563, 0.008051, 0.01853, 0.03486, 0.05777, 0.08791, 0.1259, 0.1722, 0.2275");
          values("0.2858, 0.3383, 0.5196, 0.8616, 1.392, 2.135, 3.11, 4.341, 5.839, 7.626",\
                 "0.2959, 0.3503, 0.5366, 0.8844, 1.418, 2.163, 3.139, 4.368, 5.87, 7.658",\
                 "0.3836, 0.4341, 0.6157, 0.9632, 1.5, 2.248, 3.228, 4.46, 5.962, 7.75",\
                 "0.5552, 0.6166, 0.809, 1.146, 1.675, 2.42, 3.399, 4.63, 6.135, 7.922",\
                 "0.769, 0.8421, 1.075, 1.455, 1.978, 2.713, 3.685, 4.912, 6.41, 8.199",\
                 "1.036, 1.12, 1.387, 1.827, 2.415, 3.148, 4.108, 5.327, 6.82, 8.601",\
                 "1.357, 1.454, 1.756, 2.249, 2.914, 3.725, 4.688, 5.893, 7.375, 9.15",\
                 "1.733, 1.845, 2.187, 2.732, 3.465, 4.369, 5.417, 6.627, 8.095, 9.855",\
                 "2.166, 2.294, 2.682, 3.283, 4.079, 5.064, 6.22, 7.523, 8.997, 10.74",\
                 "2.658, 2.802, 3.237, 3.904, 4.766, 5.825, 7.075, 8.498, 10.06, 11.82");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.002563, 0.008051, 0.01853, 0.03486, 0.05777, 0.08791, 0.1259, 0.1722, 0.2275");
          values("0.1667, 0.2036, 0.3316, 0.577, 0.9583, 1.492, 2.194, 3.079, 4.159, 5.447",\
                 "0.1668, 0.2035, 0.3315, 0.5775, 0.9568, 1.491, 2.195, 3.079, 4.159, 5.447",\
                 "0.2206, 0.2538, 0.3549, 0.5774, 0.9582, 1.493, 2.194, 3.079, 4.161, 5.447",\
                 "0.3212, 0.363, 0.4931, 0.7028, 1.002, 1.494, 2.194, 3.08, 4.159, 5.446",\
                 "0.454, 0.5046, 0.6588, 0.911, 1.245, 1.654, 2.243, 3.079, 4.157, 5.447",\
                 "0.61, 0.6732, 0.8622, 1.149, 1.538, 2.004, 2.546, 3.243, 4.198, 5.447",\
                 "0.7886, 0.8656, 1.092, 1.428, 1.859, 2.387, 3.003, 3.697, 4.517, 5.599",\
                 "0.9892, 1.08, 1.348, 1.743, 2.226, 2.806, 3.491, 4.262, 5.118, 6.083",\
                 "1.211, 1.316, 1.623, 2.081, 2.631, 3.27, 4.011, 4.86, 5.798, 6.827",\
                 "1.448, 1.573, 1.928, 2.443, 3.071, 3.78, 4.575, 5.492, 6.514, 7.63");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.002563, 0.008051, 0.01853, 0.03486, 0.05777, 0.08791, 0.1259, 0.1722, 0.2275");
          values("0.4209, 0.5117, 0.8258, 1.42, 2.342, 3.631, 5.332, 7.471, 10.07, 13.2",\
                 "0.4192, 0.5108, 0.8259, 1.419, 2.341, 3.632, 5.324, 7.457, 10.08, 13.2",\
                 "0.4169, 0.5022, 0.822, 1.419, 2.341, 3.629, 5.329, 7.466, 10.07, 13.2",\
                 "0.5184, 0.6018, 0.8622, 1.415, 2.34, 3.633, 5.328, 7.462, 10.07, 13.2",\
                 "0.629, 0.7252, 1.031, 1.529, 2.352, 3.632, 5.334, 7.471, 10.09, 13.2",\
                 "0.767, 0.8668, 1.205, 1.775, 2.538, 3.673, 5.331, 7.474, 10.08, 13.2",\
                 "0.935, 1.044, 1.398, 2.022, 2.876, 3.93, 5.41, 7.473, 10.08, 13.18",\
                 "1.132, 1.247, 1.624, 2.28, 3.22, 4.368, 5.742, 7.606, 10.09, 13.2",\
                 "1.347, 1.478, 1.883, 2.569, 3.562, 4.824, 6.276, 8.006, 10.29, 13.23",\
                 "1.576, 1.726, 2.174, 2.906, 3.924, 5.268, 6.858, 8.638, 10.76, 13.48");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.002563, 0.008051, 0.01853, 0.03486, 0.05777, 0.08791, 0.1259, 0.1722, 0.2275");
          values("0.1408, 0.1622, 0.2372, 0.3797, 0.6012, 0.9124, 1.322, 1.838, 2.468, 3.217",\
                 "0.1607, 0.1825, 0.2585, 0.4017, 0.6239, 0.9353, 1.345, 1.861, 2.491, 3.24",\
                 "0.2202, 0.2489, 0.3359, 0.4804, 0.7032, 1.014, 1.425, 1.941, 2.57, 3.322",\
                 "0.2538, 0.2943, 0.4182, 0.6102, 0.8535, 1.165, 1.574, 2.09, 2.72, 3.469",\
                 "0.2491, 0.3024, 0.4636, 0.7114, 1.026, 1.392, 1.81, 2.324, 2.952, 3.703",\
                 "0.1999, 0.2667, 0.4679, 0.7736, 1.156, 1.604, 2.107, 2.655, 3.284, 4.033",\
                 "0.1035, 0.1841, 0.4247, 0.7906, 1.245, 1.773, 2.365, 3.013, 3.712, 4.472",\
                 "-0.0437, 0.0502, 0.3294, 0.756, 1.286, 1.896, 2.576, 3.322, 4.127, 4.984",\
                 "-0.2462, -0.1386, 0.1823, 0.6684, 1.275, 1.969, 2.739, 3.581, 4.49, 5.461",\
                 "-0.5075, -0.3858, -0.0243, 0.5231, 1.205, 1.988, 2.849, 3.789, 4.8, 5.882");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.002563, 0.008051, 0.01853, 0.03486, 0.05777, 0.08791, 0.1259, 0.1722, 0.2275");
          values("0.2858, 0.3383, 0.5196, 0.8616, 1.392, 2.135, 3.11, 4.341, 5.839, 7.626",\
                 "0.2959, 0.3503, 0.5366, 0.8844, 1.418, 2.163, 3.139, 4.368, 5.87, 7.658",\
                 "0.3836, 0.4341, 0.6157, 0.9632, 1.5, 2.248, 3.228, 4.46, 5.962, 7.75",\
                 "0.5552, 0.6166, 0.809, 1.146, 1.675, 2.42, 3.399, 4.63, 6.135, 7.922",\
                 "0.769, 0.8421, 1.075, 1.455, 1.978, 2.713, 3.685, 4.912, 6.41, 8.199",\
                 "1.036, 1.12, 1.387, 1.827, 2.415, 3.148, 4.108, 5.327, 6.82, 8.601",\
                 "1.357, 1.454, 1.756, 2.249, 2.914, 3.725, 4.688, 5.893, 7.375, 9.15",\
                 "1.733, 1.845, 2.187, 2.732, 3.465, 4.369, 5.417, 6.627, 8.095, 9.855",\
                 "2.166, 2.294, 2.682, 3.283, 4.079, 5.064, 6.22, 7.523, 8.997, 10.74",\
                 "2.658, 2.802, 3.237, 3.904, 4.766, 5.825, 7.075, 8.498, 10.06, 11.82");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.002563, 0.008051, 0.01853, 0.03486, 0.05777, 0.08791, 0.1259, 0.1722, 0.2275");
          values("0.1667, 0.2036, 0.3316, 0.577, 0.9583, 1.492, 2.194, 3.079, 4.159, 5.447",\
                 "0.1668, 0.2035, 0.3315, 0.5775, 0.9568, 1.491, 2.195, 3.079, 4.159, 5.447",\
                 "0.2206, 0.2538, 0.3549, 0.5774, 0.9582, 1.493, 2.194, 3.079, 4.161, 5.447",\
                 "0.3212, 0.363, 0.4931, 0.7028, 1.002, 1.494, 2.194, 3.08, 4.159, 5.446",\
                 "0.454, 0.5046, 0.6588, 0.911, 1.245, 1.654, 2.243, 3.079, 4.157, 5.447",\
                 "0.61, 0.6732, 0.8622, 1.149, 1.538, 2.004, 2.546, 3.243, 4.198, 5.447",\
                 "0.7886, 0.8656, 1.092, 1.428, 1.859, 2.387, 3.003, 3.697, 4.517, 5.599",\
                 "0.9892, 1.08, 1.348, 1.743, 2.226, 2.806, 3.491, 4.262, 5.118, 6.083",\
                 "1.211, 1.316, 1.623, 2.081, 2.631, 3.27, 4.011, 4.86, 5.798, 6.827",\
                 "1.448, 1.573, 1.928, 2.443, 3.071, 3.78, 4.575, 5.492, 6.514, 7.63");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.002563, 0.008051, 0.01853, 0.03486, 0.05777, 0.08791, 0.1259, 0.1722, 0.2275");
          values("0.4209, 0.5117, 0.8258, 1.42, 2.342, 3.631, 5.332, 7.471, 10.07, 13.2",\
                 "0.4192, 0.5108, 0.8259, 1.419, 2.341, 3.632, 5.324, 7.457, 10.08, 13.2",\
                 "0.4169, 0.5022, 0.822, 1.419, 2.341, 3.629, 5.329, 7.466, 10.07, 13.2",\
                 "0.5184, 0.6018, 0.8622, 1.415, 2.34, 3.633, 5.328, 7.462, 10.07, 13.2",\
                 "0.629, 0.7252, 1.031, 1.529, 2.352, 3.632, 5.334, 7.471, 10.09, 13.2",\
                 "0.767, 0.8668, 1.205, 1.775, 2.538, 3.673, 5.331, 7.474, 10.08, 13.2",\
                 "0.935, 1.044, 1.398, 2.022, 2.876, 3.93, 5.41, 7.473, 10.08, 13.18",\
                 "1.132, 1.247, 1.624, 2.28, 3.22, 4.368, 5.742, 7.606, 10.09, 13.2",\
                 "1.347, 1.478, 1.883, 2.569, 3.562, 4.824, 6.276, 8.006, 10.29, 13.23",\
                 "1.576, 1.726, 2.174, 2.906, 3.924, 5.268, 6.858, 8.638, 10.76, 13.48");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.002563, 0.008051, 0.01853, 0.03486, 0.05777, 0.08791, 0.1259, 0.1722, 0.2275");
          values("1.06, 1.085, 1.162, 1.29, 1.462, 1.679, 1.943, 2.261, 2.64, 3.087",\
                 "1.077, 1.101, 1.18, 1.307, 1.481, 1.697, 1.962, 2.28, 2.659, 3.106",\
                 "1.139, 1.164, 1.242, 1.371, 1.544, 1.762, 2.026, 2.345, 2.724, 3.171",\
                 "1.262, 1.287, 1.367, 1.496, 1.67, 1.888, 2.153, 2.472, 2.851, 3.298",\
                 "1.458, 1.485, 1.568, 1.702, 1.881, 2.101, 2.368, 2.687, 3.066, 3.513",\
                 "1.723, 1.752, 1.841, 1.982, 2.168, 2.394, 2.665, 2.987, 3.367, 3.815",\
                 "2.064, 2.094, 2.187, 2.335, 2.527, 2.759, 3.035, 3.36, 3.743, 4.192",\
                 "2.476, 2.507, 2.605, 2.76, 2.96, 3.198, 3.48, 3.809, 4.194, 4.644",\
                 "2.951, 2.984, 3.088, 3.251, 3.461, 3.709, 3.998, 4.333, 4.723, 5.175",\
                 "3.488, 3.524, 3.633, 3.806, 4.026, 4.287, 4.587, 4.932, 5.328, 5.785");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.002563, 0.008051, 0.01853, 0.03486, 0.05777, 0.08791, 0.1259, 0.1722, 0.2275");
          values("0.7749, 0.8266, 1.003, 1.334, 1.847, 2.574, 3.54, 4.76, 6.255, 8.04",\
                 "0.7986, 0.8504, 1.028, 1.359, 1.873, 2.601, 3.565, 4.786, 6.279, 8.065",\
                 "0.8743, 0.926, 1.104, 1.44, 1.96, 2.691, 3.657, 4.878, 6.372, 8.156",\
                 "0.9629, 1.015, 1.196, 1.537, 2.064, 2.801, 3.771, 4.993, 6.488, 8.274",\
                 "1.037, 1.09, 1.27, 1.604, 2.133, 2.874, 3.847, 5.073, 6.57, 8.356",\
                 "1.063, 1.117, 1.3, 1.643, 2.17, 2.902, 3.877, 5.106, 6.605, 8.39",\
                 "1.042, 1.097, 1.281, 1.625, 2.157, 2.898, 3.863, 5.088, 6.589, 8.377",\
                 "0.9711, 1.027, 1.214, 1.558, 2.09, 2.833, 3.811, 5.032, 6.522, 8.31",\
                 "0.8477, 0.9054, 1.095, 1.44, 1.973, 2.716, 3.693, 4.923, 6.418, 8.194",\
                 "0.6696, 0.7287, 0.9221, 1.271, 1.802, 2.546, 3.523, 4.753, 6.254, 8.039");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.002563, 0.008051, 0.01853, 0.03486, 0.05777, 0.08791, 0.1259, 0.1722, 0.2275");
          values("0.3491, 0.3793, 0.473, 0.6262, 0.8382, 1.124, 1.501, 1.984, 2.591, 3.327",\
                 "0.349, 0.3794, 0.4728, 0.6254, 0.8378, 1.124, 1.5, 1.986, 2.591, 3.327",\
                 "0.3498, 0.3802, 0.4734, 0.6264, 0.838, 1.124, 1.5, 1.986, 2.59, 3.327",\
                 "0.3544, 0.3838, 0.4768, 0.628, 0.8394, 1.126, 1.501, 1.985, 2.591, 3.327",\
                 "0.3672, 0.3982, 0.4942, 0.6448, 0.8536, 1.135, 1.508, 1.99, 2.593, 3.328",\
                 "0.3722, 0.4036, 0.503, 0.6576, 0.871, 1.152, 1.523, 2.003, 2.601, 3.333",\
                 "0.389, 0.422, 0.5226, 0.68, 0.893, 1.173, 1.539, 2.014, 2.611, 3.339",\
                 "0.4176, 0.4502, 0.5538, 0.7146, 0.9246, 1.203, 1.565, 2.033, 2.621, 3.345",\
                 "0.4522, 0.488, 0.594, 0.7578, 0.9732, 1.249, 1.607, 2.068, 2.644, 3.358",\
                 "0.492, 0.53, 0.64, 0.808, 1.03, 1.308, 1.666, 2.122, 2.69, 3.392");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.002563, 0.008051, 0.01853, 0.03486, 0.05777, 0.08791, 0.1259, 0.1722, 0.2275");
          values("0.5768, 0.6643, 0.9764, 1.57, 2.492, 3.785, 5.485, 7.625, 10.24, 13.35",\
                 "0.5762, 0.6646, 0.976, 1.57, 2.492, 3.784, 5.484, 7.625, 10.24, 13.35",\
                 "0.577, 0.665, 0.9762, 1.57, 2.492, 3.784, 5.485, 7.625, 10.24, 13.35",\
                 "0.5754, 0.6642, 0.9758, 1.57, 2.492, 3.784, 5.484, 7.624, 10.24, 13.35",\
                 "0.5198, 0.6092, 0.924, 1.538, 2.486, 3.785, 5.484, 7.624, 10.24, 13.35",\
                 "0.4994, 0.5846, 0.8912, 1.488, 2.43, 3.748, 5.477, 7.623, 10.24, 13.35",\
                 "0.501, 0.5832, 0.881, 1.468, 2.395, 3.701, 5.428, 7.596, 10.23, 13.35",\
                 "0.5156, 0.5962, 0.8866, 1.464, 2.383, 3.676, 5.391, 7.553, 10.19, 13.33",\
                 "0.5368, 0.6174, 0.903, 1.471, 2.383, 3.672, 5.378, 7.522, 10.15, 13.29",\
                 "0.5624, 0.6428, 0.9238, 1.483, 2.392, 3.68, 5.372, 7.51, 10.13, 13.26");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.002563, 0.008051, 0.01853, 0.03486, 0.05777, 0.08791, 0.1259, 0.1722, 0.2275");
          values("1.063, 1.087, 1.165, 1.293, 1.466, 1.683, 1.947, 2.266, 2.645, 3.092",\
                 "1.08, 1.104, 1.183, 1.311, 1.484, 1.701, 1.966, 2.284, 2.663, 3.11",\
                 "1.142, 1.167, 1.246, 1.375, 1.548, 1.765, 2.03, 2.349, 2.728, 3.175",\
                 "1.265, 1.29, 1.369, 1.499, 1.673, 1.891, 2.156, 2.475, 2.854, 3.302",\
                 "1.46, 1.486, 1.57, 1.705, 1.882, 2.103, 2.369, 2.689, 3.068, 3.516",\
                 "1.725, 1.753, 1.842, 1.983, 2.169, 2.395, 2.666, 2.988, 3.368, 3.816",\
                 "2.066, 2.095, 2.188, 2.336, 2.528, 2.76, 3.036, 3.361, 3.744, 4.193",\
                 "2.477, 2.507, 2.606, 2.76, 2.96, 3.2, 3.481, 3.81, 4.196, 4.645",\
                 "2.951, 2.984, 3.088, 3.252, 3.461, 3.71, 3.999, 4.334, 4.723, 5.175",\
                 "3.488, 3.524, 3.633, 3.806, 4.027, 4.287, 4.588, 4.933, 5.329, 5.786");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.002563, 0.008051, 0.01853, 0.03486, 0.05777, 0.08791, 0.1259, 0.1722, 0.2275");
          values("0.7761, 0.8282, 1.006, 1.337, 1.851, 2.579, 3.544, 4.765, 6.26, 8.043",\
                 "0.7998, 0.852, 1.03, 1.362, 1.877, 2.605, 3.569, 4.79, 6.285, 8.067",\
                 "0.8758, 0.9279, 1.107, 1.443, 1.964, 2.695, 3.661, 4.882, 6.376, 8.161",\
                 "0.9653, 1.018, 1.2, 1.542, 2.069, 2.807, 3.776, 5, 6.494, 8.281",\
                 "1.04, 1.093, 1.274, 1.609, 2.138, 2.88, 3.854, 5.079, 6.576, 8.362",\
                 "1.067, 1.121, 1.305, 1.648, 2.176, 2.909, 3.883, 5.112, 6.61, 8.397",\
                 "1.046, 1.101, 1.286, 1.63, 2.162, 2.904, 3.87, 5.094, 6.595, 8.383",\
                 "0.9748, 1.031, 1.218, 1.564, 2.095, 2.839, 3.815, 5.037, 6.528, 8.317",\
                 "0.851, 0.9087, 1.1, 1.446, 1.978, 2.721, 3.698, 4.928, 6.424, 8.201",\
                 "0.6726, 0.7322, 0.9263, 1.275, 1.806, 2.551, 3.528, 4.758, 6.258, 8.043");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.002563, 0.008051, 0.01853, 0.03486, 0.05777, 0.08791, 0.1259, 0.1722, 0.2275");
          values("0.351, 0.3812, 0.4748, 0.6264, 0.839, 1.126, 1.502, 1.986, 2.592, 3.327",\
                 "0.3512, 0.3816, 0.4746, 0.627, 0.839, 1.126, 1.501, 1.986, 2.592, 3.326",\
                 "0.3516, 0.382, 0.4752, 0.6278, 0.8386, 1.125, 1.502, 1.986, 2.59, 3.327",\
                 "0.356, 0.3858, 0.4784, 0.6298, 0.8402, 1.126, 1.503, 1.986, 2.592, 3.327",\
                 "0.369, 0.3996, 0.495, 0.6462, 0.8538, 1.136, 1.508, 1.991, 2.593, 3.329",\
                 "0.3738, 0.4064, 0.5036, 0.6594, 0.8708, 1.153, 1.524, 2.002, 2.601, 3.333",\
                 "0.3944, 0.4246, 0.5242, 0.6812, 0.8928, 1.173, 1.54, 2.014, 2.61, 3.34",\
                 "0.4206, 0.4536, 0.5558, 0.715, 0.9276, 1.204, 1.566, 2.035, 2.621, 3.347",\
                 "0.4552, 0.4898, 0.5954, 0.7602, 0.9734, 1.25, 1.608, 2.068, 2.644, 3.358",\
                 "0.496, 0.532, 0.642, 0.81, 1.03, 1.31, 1.666, 2.12, 2.69, 3.392");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.002563, 0.008051, 0.01853, 0.03486, 0.05777, 0.08791, 0.1259, 0.1722, 0.2275");
          values("0.5807, 0.6687, 0.9814, 1.575, 2.497, 3.791, 5.491, 7.631, 10.24, 13.36",\
                 "0.5802, 0.6689, 0.9814, 1.575, 2.498, 3.791, 5.491, 7.633, 10.24, 13.36",\
                 "0.581, 0.669, 0.981, 1.574, 2.498, 3.791, 5.491, 7.63, 10.24, 13.36",\
                 "0.5804, 0.6698, 0.9824, 1.575, 2.498, 3.791, 5.491, 7.63, 10.24, 13.35",\
                 "0.5238, 0.6126, 0.9292, 1.544, 2.492, 3.79, 5.491, 7.631, 10.24, 13.35",\
                 "0.5018, 0.5884, 0.8956, 1.494, 2.435, 3.756, 5.484, 7.629, 10.24, 13.35",\
                 "0.5026, 0.5858, 0.8852, 1.47, 2.399, 3.71, 5.434, 7.602, 10.24, 13.35",\
                 "0.5176, 0.5986, 0.8912, 1.468, 2.387, 3.682, 5.397, 7.56, 10.19, 13.34",\
                 "0.538, 0.619, 0.905, 1.475, 2.386, 3.679, 5.381, 7.528, 10.16, 13.3",\
                 "0.5622, 0.6432, 0.9252, 1.486, 2.395, 3.684, 5.376, 7.512, 10.13, 13.27");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.002563, 0.008051, 0.01853, 0.03486, 0.05777, 0.08791, 0.1259, 0.1722, 0.2275");
          values("1.063, 1.087, 1.165, 1.293, 1.466, 1.683, 1.947, 2.266, 2.645, 3.092",\
                 "1.08, 1.104, 1.183, 1.311, 1.484, 1.701, 1.966, 2.284, 2.663, 3.11",\
                 "1.142, 1.167, 1.246, 1.375, 1.548, 1.765, 2.03, 2.349, 2.728, 3.175",\
                 "1.265, 1.29, 1.369, 1.499, 1.673, 1.891, 2.156, 2.475, 2.854, 3.302",\
                 "1.46, 1.486, 1.57, 1.705, 1.882, 2.103, 2.369, 2.689, 3.068, 3.516",\
                 "1.725, 1.753, 1.842, 1.983, 2.169, 2.395, 2.666, 2.988, 3.368, 3.816",\
                 "2.066, 2.095, 2.188, 2.336, 2.528, 2.76, 3.036, 3.361, 3.744, 4.193",\
                 "2.477, 2.507, 2.606, 2.76, 2.96, 3.2, 3.481, 3.81, 4.196, 4.645",\
                 "2.951, 2.984, 3.088, 3.252, 3.461, 3.71, 3.999, 4.334, 4.723, 5.175",\
                 "3.488, 3.524, 3.633, 3.806, 4.027, 4.287, 4.588, 4.933, 5.329, 5.786");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.002563, 0.008051, 0.01853, 0.03486, 0.05777, 0.08791, 0.1259, 0.1722, 0.2275");
          values("0.7761, 0.8282, 1.006, 1.337, 1.851, 2.579, 3.544, 4.765, 6.26, 8.043",\
                 "0.7998, 0.852, 1.03, 1.362, 1.877, 2.605, 3.569, 4.79, 6.285, 8.067",\
                 "0.8758, 0.9279, 1.107, 1.443, 1.964, 2.695, 3.661, 4.882, 6.376, 8.161",\
                 "0.9653, 1.018, 1.2, 1.542, 2.069, 2.807, 3.776, 5, 6.494, 8.281",\
                 "1.04, 1.093, 1.274, 1.609, 2.138, 2.88, 3.854, 5.079, 6.576, 8.362",\
                 "1.067, 1.121, 1.305, 1.648, 2.176, 2.909, 3.883, 5.112, 6.61, 8.397",\
                 "1.046, 1.101, 1.286, 1.63, 2.162, 2.904, 3.87, 5.094, 6.595, 8.383",\
                 "0.9748, 1.031, 1.218, 1.564, 2.095, 2.839, 3.815, 5.037, 6.528, 8.317",\
                 "0.851, 0.9087, 1.1, 1.446, 1.978, 2.721, 3.698, 4.928, 6.424, 8.201",\
                 "0.6726, 0.7322, 0.9263, 1.275, 1.806, 2.551, 3.528, 4.758, 6.258, 8.043");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.002563, 0.008051, 0.01853, 0.03486, 0.05777, 0.08791, 0.1259, 0.1722, 0.2275");
          values("0.351, 0.3812, 0.4748, 0.6264, 0.839, 1.126, 1.502, 1.986, 2.592, 3.327",\
                 "0.3512, 0.3816, 0.4746, 0.627, 0.839, 1.126, 1.501, 1.986, 2.592, 3.326",\
                 "0.3516, 0.382, 0.4752, 0.6278, 0.8386, 1.125, 1.502, 1.986, 2.59, 3.327",\
                 "0.356, 0.3858, 0.4784, 0.6298, 0.8402, 1.126, 1.503, 1.986, 2.592, 3.327",\
                 "0.369, 0.3996, 0.495, 0.6462, 0.8538, 1.136, 1.508, 1.991, 2.593, 3.329",\
                 "0.3738, 0.4064, 0.5036, 0.6594, 0.8708, 1.153, 1.524, 2.002, 2.601, 3.333",\
                 "0.3944, 0.4246, 0.5242, 0.6812, 0.8928, 1.173, 1.54, 2.014, 2.61, 3.34",\
                 "0.4206, 0.4536, 0.5558, 0.715, 0.9276, 1.204, 1.566, 2.035, 2.621, 3.347",\
                 "0.4552, 0.4898, 0.5954, 0.7602, 0.9734, 1.25, 1.608, 2.068, 2.644, 3.358",\
                 "0.496, 0.532, 0.642, 0.81, 1.03, 1.31, 1.666, 2.12, 2.69, 3.392");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.002563, 0.008051, 0.01853, 0.03486, 0.05777, 0.08791, 0.1259, 0.1722, 0.2275");
          values("0.5807, 0.6687, 0.9814, 1.575, 2.497, 3.791, 5.491, 7.631, 10.24, 13.36",\
                 "0.5802, 0.6689, 0.9814, 1.575, 2.498, 3.791, 5.491, 7.633, 10.24, 13.36",\
                 "0.581, 0.669, 0.981, 1.574, 2.498, 3.791, 5.491, 7.63, 10.24, 13.36",\
                 "0.5804, 0.6698, 0.9824, 1.575, 2.498, 3.791, 5.491, 7.63, 10.24, 13.35",\
                 "0.5238, 0.6126, 0.9292, 1.544, 2.492, 3.79, 5.491, 7.631, 10.24, 13.35",\
                 "0.5018, 0.5884, 0.8956, 1.494, 2.435, 3.756, 5.484, 7.629, 10.24, 13.35",\
                 "0.5026, 0.5858, 0.8852, 1.47, 2.399, 3.71, 5.434, 7.602, 10.24, 13.35",\
                 "0.5176, 0.5986, 0.8912, 1.468, 2.387, 3.682, 5.397, 7.56, 10.19, 13.34",\
                 "0.538, 0.619, 0.905, 1.475, 2.386, 3.679, 5.381, 7.528, 10.16, 13.3",\
                 "0.5622, 0.6432, 0.9252, 1.486, 2.395, 3.684, 5.376, 7.512, 10.13, 13.27");
        }
      }
    }
  }