  cell(gf180mcu_fd_sc_mcu9t5v0__xnor3_1) {
    area : 64.915200 ;

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

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

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

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

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

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

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

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

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

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

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

    pin(A1) {
      capacitance : 0.006799 ;
      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.006951 ;
      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.01069 ;
      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(ZN) {
      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.00805, 0.01853, 0.03485, 0.05776, 0.0879, 0.1259, 0.1722, 0.2275");
          values("0.1717, 0.1711, 0.1696, 0.1679, 0.1665, 0.1655, 0.1649, 0.1644, 0.164, 0.1638",\
                 "0.1715, 0.171, 0.1694, 0.1677, 0.1663, 0.1654, 0.1647, 0.1642, 0.1639, 0.1636",\
                 "0.1709, 0.1703, 0.1687, 0.167, 0.1657, 0.1647, 0.164, 0.1635, 0.1632, 0.1629",\
                 "0.1703, 0.1697, 0.1681, 0.1665, 0.1651, 0.1641, 0.1635, 0.163, 0.1626, 0.1624",\
                 "0.1713, 0.1707, 0.1691, 0.1675, 0.1662, 0.1653, 0.1646, 0.1642, 0.1638, 0.1636",\
                 "0.1738, 0.1733, 0.1719, 0.1703, 0.1691, 0.1682, 0.1677, 0.1672, 0.1669, 0.1667",\
                 "0.1791, 0.1786, 0.1771, 0.1757, 0.1746, 0.1737, 0.1731, 0.1727, 0.1724, 0.1722",\
                 "0.1871, 0.1866, 0.1852, 0.1837, 0.1825, 0.1817, 0.1812, 0.1808, 0.1805, 0.1803",\
                 "0.1979, 0.1973, 0.196, 0.1945, 0.1933, 0.1925, 0.1919, 0.1915, 0.1912, 0.191",\
                 "0.2116, 0.211, 0.2096, 0.2081, 0.2069, 0.2061, 0.2055, 0.2051, 0.2048, 0.2045");
        }

        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.00805, 0.01853, 0.03485, 0.05776, 0.0879, 0.1259, 0.1722, 0.2275");
          values("0.1718, 0.172, 0.1725, 0.1737, 0.1748, 0.176, 0.1771, 0.1786, 0.187, 0.231",\
                 "0.1715, 0.1716, 0.1722, 0.1733, 0.1745, 0.1757, 0.1768, 0.1782, 0.1869, 0.2311",\
                 "0.1708, 0.171, 0.1715, 0.1726, 0.1738, 0.1751, 0.1761, 0.1777, 0.1869, 0.2333",\
                 "0.1709, 0.1711, 0.1716, 0.1727, 0.1739, 0.1752, 0.1763, 0.1779, 0.1883, 0.2398",\
                 "0.1732, 0.1733, 0.1739, 0.1749, 0.1761, 0.1774, 0.1783, 0.1805, 0.1933, 0.253",\
                 "0.1783, 0.1784, 0.1789, 0.1799, 0.1811, 0.1823, 0.1834, 0.186, 0.2034, 0.277",\
                 "0.1863, 0.1865, 0.1869, 0.188, 0.1892, 0.1902, 0.1915, 0.1955, 0.2208, 0.3166",\
                 "0.1974, 0.1976, 0.1979, 0.1988, 0.2001, 0.2014, 0.2025, 0.2095, 0.2505, 0.3792",\
                 "0.2118, 0.2118, 0.2121, 0.213, 0.2139, 0.2151, 0.2177, 0.2323, 0.3021, 0.4742",\
                 "0.2292, 0.2293, 0.2296, 0.2301, 0.2312, 0.2322, 0.2378, 0.2746, 0.3947, 0.6033");
        }
      }

      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.00805, 0.01853, 0.03485, 0.05776, 0.0879, 0.1259, 0.1722, 0.2275");
          values("0.1998, 0.1999, 0.2003, 0.2007, 0.201, 0.2011, 0.2012, 0.2012, 0.2011, 0.2011",\
                 "0.1994, 0.1995, 0.1998, 0.2003, 0.2006, 0.2007, 0.2007, 0.2007, 0.2007, 0.2006",\
                 "0.1987, 0.1988, 0.1992, 0.1996, 0.2, 0.2001, 0.2001, 0.2001, 0.2, 0.2",\
                 "0.1988, 0.1989, 0.1993, 0.1997, 0.2, 0.2002, 0.2002, 0.2002, 0.2001, 0.2001",\
                 "0.201, 0.2012, 0.2015, 0.202, 0.2023, 0.2024, 0.2024, 0.2024, 0.2024, 0.2023",\
                 "0.2061, 0.2062, 0.2067, 0.2071, 0.2074, 0.2075, 0.2076, 0.2076, 0.2075, 0.2075",\
                 "0.2143, 0.2144, 0.2148, 0.2152, 0.2155, 0.2157, 0.2157, 0.2156, 0.2156, 0.2156",\
                 "0.2253, 0.2255, 0.2259, 0.2263, 0.2266, 0.2268, 0.2268, 0.2268, 0.2268, 0.2267",\
                 "0.2396, 0.2397, 0.2401, 0.2405, 0.2409, 0.241, 0.241, 0.2411, 0.241, 0.241",\
                 "0.257, 0.2572, 0.2575, 0.258, 0.2583, 0.2585, 0.2585, 0.2585, 0.2585, 0.2583");
        }

        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.00805, 0.01853, 0.03485, 0.05776, 0.0879, 0.1259, 0.1722, 0.2275");
          values("0.2367, 0.2365, 0.2359, 0.2351, 0.2346, 0.2341, 0.2337, 0.2335, 0.2333, 0.2338",\
                 "0.2364, 0.2364, 0.2357, 0.2351, 0.2344, 0.2339, 0.2335, 0.2332, 0.2332, 0.2336",\
                 "0.2358, 0.2356, 0.2351, 0.2344, 0.2338, 0.2332, 0.2329, 0.2325, 0.2326, 0.233",\
                 "0.2353, 0.2351, 0.2345, 0.2339, 0.2332, 0.2326, 0.2322, 0.2318, 0.2318, 0.2325",\
                 "0.2364, 0.2362, 0.2356, 0.235, 0.2344, 0.2337, 0.2333, 0.2332, 0.2331, 0.2338",\
                 "0.2392, 0.239, 0.2385, 0.2377, 0.2371, 0.2366, 0.2362, 0.2358, 0.2357, 0.2372",\
                 "0.2446, 0.2445, 0.2437, 0.243, 0.2427, 0.2422, 0.2416, 0.2414, 0.2413, 0.2429",\
                 "0.2528, 0.2525, 0.252, 0.2513, 0.2505, 0.2497, 0.2494, 0.2497, 0.2494, 0.2522",\
                 "0.2633, 0.2632, 0.2626, 0.2621, 0.2612, 0.2604, 0.2598, 0.2594, 0.2601, 0.266",\
                 "0.277, 0.2768, 0.2761, 0.2757, 0.2748, 0.2743, 0.2735, 0.2727, 0.2734, 0.2841");
        }
      }

      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.00805, 0.01853, 0.03485, 0.05776, 0.0879, 0.1259, 0.1722, 0.2275");
          values("0.1526, 0.1521, 0.1508, 0.1494, 0.1483, 0.1475, 0.147, 0.1466, 0.1463, 0.1461",\
                 "0.1524, 0.1518, 0.1506, 0.1492, 0.1481, 0.1473, 0.1468, 0.1464, 0.1461, 0.1459",\
                 "0.1515, 0.151, 0.1497, 0.1483, 0.1472, 0.1465, 0.1459, 0.1456, 0.1453, 0.1451",\
                 "0.152, 0.1514, 0.1501, 0.1487, 0.1476, 0.1469, 0.1464, 0.146, 0.1457, 0.1455",\
                 "0.1557, 0.1551, 0.1536, 0.1521, 0.1509, 0.15, 0.1494, 0.149, 0.1487, 0.1485",\
                 "0.1642, 0.1635, 0.1616, 0.1595, 0.1578, 0.1566, 0.1558, 0.1552, 0.1548, 0.1544",\
                 "0.176, 0.175, 0.1727, 0.17, 0.1678, 0.1662, 0.1651, 0.1643, 0.1637, 0.1633",\
                 "0.1909, 0.1898, 0.187, 0.1839, 0.1811, 0.1791, 0.1776, 0.1766, 0.1758, 0.1752",\
                 "0.2096, 0.2084, 0.2051, 0.2013, 0.198, 0.1953, 0.1935, 0.1922, 0.1912, 0.1904",\
                 "0.2324, 0.2309, 0.2271, 0.2226, 0.2186, 0.2154, 0.2131, 0.2114, 0.2102, 0.209");
        }

        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.00805, 0.01853, 0.03485, 0.05776, 0.0879, 0.1259, 0.1722, 0.2275");
          values("0.08421, 0.08439, 0.08515, 0.08642, 0.08781, 0.08909, 0.09007, 0.09138, 0.09775, 0.1329",\
                 "0.08434, 0.08453, 0.08528, 0.08656, 0.08799, 0.08918, 0.09034, 0.0915, 0.09785, 0.1336",\
                 "0.08443, 0.08463, 0.08533, 0.08659, 0.08799, 0.08918, 0.09025, 0.09154, 0.09844, 0.136",\
                 "0.08539, 0.0855, 0.08601, 0.087, 0.08826, 0.08948, 0.09058, 0.09198, 0.1002, 0.1416",\
                 "0.08849, 0.0885, 0.08872, 0.08927, 0.09027, 0.09143, 0.09247, 0.09411, 0.1037, 0.1514",\
                 "0.09437, 0.09423, 0.09392, 0.0942, 0.09489, 0.09566, 0.09655, 0.09841, 0.1105, 0.1667",\
                 "0.1035, 0.1031, 0.1025, 0.1019, 0.1022, 0.103, 0.1037, 0.1058, 0.122, 0.1911",\
                 "0.1162, 0.1157, 0.1146, 0.1133, 0.113, 0.1131, 0.114, 0.1173, 0.1393, 0.2272",\
                 "0.1327, 0.132, 0.1304, 0.1286, 0.1274, 0.1269, 0.1272, 0.1327, 0.1662, 0.2803",\
                 "0.1527, 0.1519, 0.1498, 0.1477, 0.1455, 0.1444, 0.1442, 0.1536, 0.2071, 0.3566");
        }
      }

      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.00805, 0.01853, 0.03485, 0.05776, 0.0879, 0.1259, 0.1722, 0.2275");
          values("0.1118, 0.1119, 0.1122, 0.1126, 0.113, 0.113, 0.1131, 0.1131, 0.113, 0.113",\
                 "0.1119, 0.112, 0.1124, 0.1128, 0.1131, 0.1132, 0.1132, 0.1132, 0.1132, 0.1132",\
                 "0.112, 0.1121, 0.1124, 0.1129, 0.1131, 0.1133, 0.1133, 0.1133, 0.1132, 0.1132",\
                 "0.1129, 0.113, 0.1134, 0.1138, 0.1141, 0.1142, 0.1143, 0.1143, 0.1142, 0.1142",\
                 "0.1159, 0.116, 0.1164, 0.1168, 0.1171, 0.1173, 0.1173, 0.1173, 0.1173, 0.1172",\
                 "0.1213, 0.1214, 0.1217, 0.1221, 0.1225, 0.1227, 0.1228, 0.1228, 0.1227, 0.1227",\
                 "0.1297, 0.1298, 0.13, 0.1304, 0.1308, 0.131, 0.1311, 0.1311, 0.1311, 0.1311",\
                 "0.1413, 0.1413, 0.1415, 0.1418, 0.1422, 0.1425, 0.1425, 0.1426, 0.1426, 0.1425",\
                 "0.1562, 0.1562, 0.1563, 0.1565, 0.1569, 0.1572, 0.1573, 0.1574, 0.1574, 0.1573",\
                 "0.1746, 0.1745, 0.1745, 0.1748, 0.175, 0.1753, 0.1754, 0.1755, 0.1755, 0.1755");
        }

        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.00805, 0.01853, 0.03485, 0.05776, 0.0879, 0.1259, 0.1722, 0.2275");
          values("0.2185, 0.2182, 0.2177, 0.217, 0.2164, 0.2158, 0.2155, 0.2152, 0.2151, 0.2154",\
                 "0.2183, 0.2182, 0.2176, 0.2168, 0.2162, 0.2156, 0.2151, 0.2149, 0.215, 0.2151",\
                 "0.2175, 0.2173, 0.2167, 0.216, 0.2154, 0.2149, 0.2145, 0.2142, 0.214, 0.2145",\
                 "0.2179, 0.2177, 0.2171, 0.2164, 0.2158, 0.2152, 0.2149, 0.2145, 0.2145, 0.215",\
                 "0.2212, 0.221, 0.2204, 0.2197, 0.2191, 0.2185, 0.2182, 0.218, 0.218, 0.2186",\
                 "0.2282, 0.228, 0.2275, 0.2267, 0.2261, 0.2256, 0.2252, 0.2248, 0.2251, 0.2262",\
                 "0.2381, 0.2378, 0.2372, 0.2365, 0.2361, 0.2356, 0.2352, 0.235, 0.2351, 0.2374",\
                 "0.2514, 0.2512, 0.2504, 0.2497, 0.2489, 0.2485, 0.2484, 0.2481, 0.2486, 0.2537",\
                 "0.2681, 0.2679, 0.2671, 0.2663, 0.2656, 0.2649, 0.2648, 0.2651, 0.2664, 0.2798",\
                 "0.2883, 0.2881, 0.2873, 0.2866, 0.2859, 0.2854, 0.2846, 0.2848, 0.292, 0.3318");
        }
      }

      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.00805, 0.01853, 0.03485, 0.05776, 0.0879, 0.1259, 0.1722, 0.2275");
          values("0.1571, 0.1565, 0.1552, 0.1539, 0.1528, 0.152, 0.1515, 0.151, 0.1508, 0.1506",\
                 "0.1572, 0.1567, 0.1554, 0.154, 0.1529, 0.1522, 0.1516, 0.1512, 0.1509, 0.1507",\
                 "0.1572, 0.1567, 0.1554, 0.154, 0.1529, 0.1521, 0.1516, 0.1512, 0.1509, 0.1507",\
                 "0.1575, 0.157, 0.1557, 0.1543, 0.1532, 0.1524, 0.1519, 0.1515, 0.1512, 0.151",\
                 "0.159, 0.1585, 0.1572, 0.1559, 0.1548, 0.154, 0.1535, 0.1531, 0.1528, 0.1526",\
                 "0.1622, 0.1617, 0.1604, 0.1591, 0.158, 0.1572, 0.1567, 0.1563, 0.156, 0.1558",\
                 "0.1673, 0.1667, 0.1655, 0.1641, 0.163, 0.1622, 0.1617, 0.1613, 0.161, 0.1608",\
                 "0.1745, 0.1739, 0.1726, 0.1712, 0.1701, 0.1693, 0.1688, 0.1684, 0.1681, 0.1679",\
                 "0.1839, 0.1834, 0.182, 0.1806, 0.1795, 0.1787, 0.1781, 0.1777, 0.1774, 0.1772",\
                 "0.1957, 0.1951, 0.1938, 0.1923, 0.1911, 0.1903, 0.1897, 0.1893, 0.189, 0.1887");
        }

        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.00805, 0.01853, 0.03485, 0.05776, 0.0879, 0.1259, 0.1722, 0.2275");
          values("0.1674, 0.1675, 0.1681, 0.1692, 0.1704, 0.1716, 0.1727, 0.1741, 0.1824, 0.2252",\
                 "0.1665, 0.1666, 0.1672, 0.1682, 0.1695, 0.1707, 0.1718, 0.1732, 0.1818, 0.2251",\
                 "0.1661, 0.1663, 0.1669, 0.1679, 0.1691, 0.1704, 0.1714, 0.1731, 0.1821, 0.2277",\
                 "0.1672, 0.1674, 0.1679, 0.169, 0.1702, 0.1714, 0.1725, 0.1742, 0.1847, 0.2358",\
                 "0.1702, 0.1703, 0.1709, 0.1719, 0.1731, 0.1743, 0.1755, 0.1774, 0.1908, 0.2516",\
                 "0.1753, 0.1754, 0.176, 0.1769, 0.1781, 0.1793, 0.1805, 0.1832, 0.2018, 0.278",\
                 "0.1825, 0.1826, 0.1831, 0.1841, 0.1853, 0.1863, 0.1876, 0.1919, 0.2195, 0.3201",\
                 "0.1919, 0.192, 0.1925, 0.1934, 0.1946, 0.1958, 0.1971, 0.2051, 0.2503, 0.387",\
                 "0.204, 0.2041, 0.2045, 0.2053, 0.2062, 0.2077, 0.2103, 0.2278, 0.3067, 0.4882",\
                 "0.2188, 0.2189, 0.2192, 0.2199, 0.2208, 0.222, 0.2297, 0.2751, 0.4093, 0.6209");
        }
      }

      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.00805, 0.01853, 0.03485, 0.05776, 0.0879, 0.1259, 0.1722, 0.2275");
          values("0.1953, 0.1954, 0.1958, 0.1963, 0.1966, 0.1967, 0.1967, 0.1967, 0.1967, 0.1966",\
                 "0.1944, 0.1945, 0.1949, 0.1953, 0.1956, 0.1957, 0.1958, 0.1957, 0.1957, 0.1957",\
                 "0.1941, 0.1942, 0.1946, 0.195, 0.1953, 0.1955, 0.1955, 0.1954, 0.1954, 0.1954",\
                 "0.1951, 0.1953, 0.1956, 0.1961, 0.1964, 0.1965, 0.1965, 0.1965, 0.1964, 0.1964",\
                 "0.1981, 0.1982, 0.1986, 0.199, 0.1993, 0.1994, 0.1994, 0.1994, 0.1994, 0.1993",\
                 "0.2032, 0.2033, 0.2037, 0.2042, 0.2044, 0.2046, 0.2046, 0.2046, 0.2046, 0.2045",\
                 "0.2104, 0.2105, 0.2109, 0.2113, 0.2116, 0.2118, 0.2118, 0.2117, 0.2118, 0.2117",\
                 "0.2199, 0.22, 0.2204, 0.2208, 0.2211, 0.2213, 0.2213, 0.2213, 0.2212, 0.2212",\
                 "0.232, 0.2321, 0.2325, 0.2329, 0.2332, 0.2334, 0.2334, 0.2334, 0.2333, 0.2332",\
                 "0.2467, 0.2468, 0.2473, 0.2477, 0.2481, 0.2482, 0.2482, 0.2482, 0.2482, 0.2479");
        }

        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.00805, 0.01853, 0.03485, 0.05776, 0.0879, 0.1259, 0.1722, 0.2275");
          values("0.2229, 0.2228, 0.2221, 0.2215, 0.2208, 0.2204, 0.2198, 0.2196, 0.2194, 0.2198",\
                 "0.2232, 0.2231, 0.2224, 0.2217, 0.2211, 0.2205, 0.22, 0.2198, 0.2199, 0.2201",\
                 "0.2231, 0.223, 0.2223, 0.2217, 0.221, 0.2205, 0.2201, 0.2197, 0.2196, 0.2201",\
                 "0.2234, 0.2232, 0.2227, 0.222, 0.2213, 0.2207, 0.2204, 0.22, 0.2199, 0.2205",\
                 "0.2251, 0.2249, 0.2242, 0.2236, 0.2229, 0.2223, 0.2219, 0.2216, 0.2217, 0.2222",\
                 "0.2281, 0.2279, 0.2275, 0.2269, 0.2262, 0.2256, 0.2252, 0.225, 0.2248, 0.2259",\
                 "0.2331, 0.233, 0.2323, 0.2315, 0.2311, 0.2306, 0.2301, 0.2298, 0.2297, 0.2313",\
                 "0.2404, 0.2399, 0.2394, 0.2387, 0.2381, 0.2374, 0.2368, 0.2371, 0.2371, 0.2394",\
                 "0.2496, 0.2493, 0.2488, 0.2483, 0.2474, 0.2467, 0.2459, 0.2455, 0.2462, 0.2514",\
                 "0.2613, 0.2609, 0.2606, 0.2599, 0.2591, 0.2586, 0.2577, 0.2571, 0.2573, 0.267");
        }
      }

      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.00805, 0.01853, 0.03485, 0.05776, 0.0879, 0.1259, 0.1722, 0.2275");
          values("0.1635, 0.1628, 0.1613, 0.1596, 0.1583, 0.1573, 0.1566, 0.1562, 0.1558, 0.1555",\
                 "0.1628, 0.1622, 0.1607, 0.159, 0.1576, 0.1567, 0.156, 0.1555, 0.1552, 0.1549",\
                 "0.1624, 0.1618, 0.1602, 0.1586, 0.1572, 0.1562, 0.1555, 0.1551, 0.1547, 0.1544",\
                 "0.1632, 0.1626, 0.161, 0.1593, 0.158, 0.157, 0.1564, 0.1559, 0.1556, 0.1553",\
                 "0.1669, 0.1662, 0.1646, 0.1628, 0.1613, 0.1603, 0.1596, 0.1591, 0.1587, 0.1584",\
                 "0.1756, 0.1748, 0.1728, 0.1704, 0.1685, 0.1671, 0.1662, 0.1655, 0.165, 0.1647",\
                 "0.1879, 0.1869, 0.1844, 0.1815, 0.1791, 0.1773, 0.176, 0.1751, 0.1744, 0.1739",\
                 "0.2035, 0.2024, 0.1994, 0.1959, 0.193, 0.1907, 0.1891, 0.1879, 0.187, 0.1864",\
                 "0.2227, 0.2214, 0.218, 0.214, 0.2104, 0.2076, 0.2057, 0.2042, 0.2032, 0.2024",\
                 "0.2459, 0.2445, 0.2407, 0.236, 0.2318, 0.2285, 0.226, 0.2242, 0.2229, 0.2217");
        }

        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.00805, 0.01853, 0.03485, 0.05776, 0.0879, 0.1259, 0.1722, 0.2275");
          values("0.08725, 0.08747, 0.08819, 0.08954, 0.09092, 0.09217, 0.09316, 0.09434, 0.1007, 0.136",\
                 "0.08744, 0.08761, 0.08835, 0.08967, 0.0911, 0.09235, 0.09331, 0.09458, 0.101, 0.1368",\
                 "0.08739, 0.0876, 0.08831, 0.08961, 0.09098, 0.09229, 0.09328, 0.09465, 0.1016, 0.1392",\
                 "0.08808, 0.08821, 0.08879, 0.0899, 0.09119, 0.0925, 0.09352, 0.09489, 0.103, 0.1439",\
                 "0.09062, 0.09068, 0.09106, 0.09184, 0.09296, 0.09409, 0.09514, 0.09685, 0.1063, 0.1527",\
                 "0.09574, 0.09571, 0.0957, 0.09613, 0.09707, 0.09793, 0.09909, 0.1009, 0.1125, 0.1673",\
                 "0.1043, 0.104, 0.1036, 0.1035, 0.1041, 0.1051, 0.1058, 0.108, 0.1234, 0.1904",\
                 "0.1163, 0.116, 0.1152, 0.1144, 0.1144, 0.1148, 0.1157, 0.119, 0.1398, 0.2245",\
                 "0.1322, 0.1317, 0.1304, 0.1291, 0.1285, 0.1281, 0.1288, 0.134, 0.1655, 0.2744",\
                 "0.1518, 0.1511, 0.1494, 0.1477, 0.1464, 0.1454, 0.1457, 0.154, 0.2035, 0.3466");
        }
      }

      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.00805, 0.01853, 0.03485, 0.05776, 0.0879, 0.1259, 0.1722, 0.2275");
          values("0.1148, 0.1149, 0.1153, 0.1157, 0.116, 0.1161, 0.1161, 0.1161, 0.1161, 0.1161",\
                 "0.115, 0.1151, 0.1155, 0.1159, 0.1162, 0.1163, 0.1163, 0.1163, 0.1163, 0.1162",\
                 "0.1149, 0.1151, 0.1154, 0.1158, 0.1161, 0.1163, 0.1163, 0.1162, 0.1162, 0.1162",\
                 "0.1156, 0.1157, 0.1161, 0.1165, 0.1168, 0.1169, 0.117, 0.117, 0.1169, 0.1169",\
                 "0.1181, 0.1182, 0.1186, 0.119, 0.1193, 0.1195, 0.1195, 0.1194, 0.1194, 0.1194",\
                 "0.123, 0.1231, 0.1235, 0.1238, 0.1242, 0.1244, 0.1244, 0.1244, 0.1244, 0.1244",\
                 "0.1311, 0.1311, 0.1314, 0.1318, 0.1321, 0.1324, 0.1324, 0.1324, 0.1324, 0.1324",\
                 "0.1424, 0.1424, 0.1427, 0.143, 0.1433, 0.1436, 0.1437, 0.1436, 0.1436, 0.1436",\
                 "0.157, 0.1571, 0.1571, 0.1574, 0.1578, 0.158, 0.1582, 0.1582, 0.1582, 0.1582",\
                 "0.1752, 0.1751, 0.1752, 0.1755, 0.1758, 0.176, 0.1762, 0.1762, 0.1762, 0.1762");
        }

        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.00805, 0.01853, 0.03485, 0.05776, 0.0879, 0.1259, 0.1722, 0.2275");
          values("0.2285, 0.2283, 0.2276, 0.227, 0.2263, 0.2258, 0.2255, 0.225, 0.2252, 0.2254",\
                 "0.2278, 0.2276, 0.227, 0.2263, 0.2257, 0.2252, 0.2248, 0.2245, 0.2246, 0.2249",\
                 "0.2273, 0.2272, 0.2266, 0.2259, 0.2253, 0.2248, 0.2242, 0.2241, 0.2241, 0.2244",\
                 "0.2282, 0.228, 0.2274, 0.2268, 0.2261, 0.2256, 0.2252, 0.2248, 0.225, 0.2253",\
                 "0.2316, 0.2313, 0.2308, 0.2301, 0.2296, 0.229, 0.2286, 0.2282, 0.2282, 0.229",\
                 "0.2389, 0.2387, 0.238, 0.2374, 0.2368, 0.2363, 0.2358, 0.2356, 0.2358, 0.2369",\
                 "0.2494, 0.2492, 0.2486, 0.2478, 0.2472, 0.2468, 0.2464, 0.2462, 0.2462, 0.2488",\
                 "0.2633, 0.2628, 0.2622, 0.2615, 0.2607, 0.2604, 0.26, 0.2601, 0.2603, 0.2661",\
                 "0.2804, 0.28, 0.2794, 0.2786, 0.2778, 0.2774, 0.2771, 0.2771, 0.279, 0.294",\
                 "0.3015, 0.3012, 0.3005, 0.2996, 0.2988, 0.2984, 0.2976, 0.2983, 0.3066, 0.3511");
        }
      }

      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.00805, 0.01853, 0.03485, 0.05776, 0.0879, 0.1259, 0.1722, 0.2275");
          values("-0.001088, -0.001015, -0.0008721, -0.0007838, -0.0007391, -0.000716, -0.0007012, -0.0006939, -0.000686, -0.0006818",\
                 "-0.001297, -0.001063, -0.0006186, -0.0002396, -1.662e-05, 0.0001131, 0.0001936, 0.0002447, 0.0002753, 0.0002991",\
                 "-0.001354, -0.001142, -0.0005666, 2.34e-05, 0.0004222, 0.0006728, 0.0008367, 0.0009473, 0.001022, 0.001072",\
                 "0.001254, 0.001175, 0.001157, 0.001247, 0.001336, 0.001396, 0.001429, 0.001469, 0.001469, 0.001484",\
                 "0.008213, 0.00777, 0.006674, 0.005567, 0.004723, 0.004047, 0.003531, 0.003143, 0.002827, 0.002594",\
                 "0.0203, 0.01943, 0.01705, 0.01424, 0.01186, 0.009871, 0.0083, 0.007054, 0.006065, 0.005306",\
                 "0.0377, 0.0364, 0.03281, 0.02812, 0.0237, 0.01991, 0.01681, 0.01428, 0.01221, 0.01051",\
                 "0.06066, 0.05906, 0.05429, 0.04773, 0.04099, 0.03501, 0.02991, 0.02561, 0.02202, 0.01905",\
                 "0.08943, 0.0875, 0.08171, 0.07338, 0.06431, 0.05581, 0.04838, 0.04191, 0.03639, 0.03173",\
                 "0.1243, 0.1221, 0.1154, 0.1054, 0.09398, 0.08284, 0.07268, 0.06376, 0.05598, 0.04922");
        }

        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.00805, 0.01853, 0.03485, 0.05776, 0.0879, 0.1259, 0.1722, 0.2275");
          values("0.076, 0.07628, 0.07678, 0.0772, 0.07754, 0.07786, 0.07828, 0.07896, 0.08403, 0.1148",\
                 "0.07322, 0.07373, 0.07496, 0.0761, 0.07694, 0.07759, 0.07804, 0.07878, 0.08413, 0.1157",\
                 "0.07176, 0.07201, 0.07277, 0.07398, 0.07523, 0.07618, 0.07708, 0.07808, 0.08419, 0.1172",\
                 "0.07578, 0.07556, 0.07506, 0.07487, 0.07532, 0.07603, 0.07666, 0.07774, 0.08434, 0.1214",\
                 "0.08484, 0.08423, 0.08255, 0.08081, 0.07931, 0.07864, 0.07843, 0.07919, 0.08724, 0.1305",\
                 "0.09918, 0.09821, 0.09548, 0.09198, 0.08885, 0.08605, 0.08406, 0.08401, 0.09422, 0.148",\
                 "0.1192, 0.1178, 0.1139, 0.1088, 0.1037, 0.0991, 0.09493, 0.09349, 0.1082, 0.18",\
                 "0.1451, 0.1434, 0.1385, 0.1317, 0.1245, 0.1179, 0.1118, 0.11, 0.1346, 0.2359",\
                 "0.1774, 0.1754, 0.1694, 0.161, 0.1518, 0.1426, 0.1351, 0.1375, 0.1852, 0.3308",\
                 "0.2164, 0.2141, 0.2071, 0.1972, 0.1859, 0.1746, 0.167, 0.1865, 0.2845, 0.4767");
        }
      }

      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.00805, 0.01853, 0.03485, 0.05776, 0.0879, 0.1259, 0.1722, 0.2275");
          values("0.1423, 0.1419, 0.1403, 0.1379, 0.1354, 0.1334, 0.1318, 0.1307, 0.1298, 0.1292",\
                 "0.1416, 0.1411, 0.1396, 0.1373, 0.1349, 0.1328, 0.1312, 0.1301, 0.1292, 0.1286",\
                 "0.1412, 0.1407, 0.1395, 0.1375, 0.1352, 0.1332, 0.1315, 0.1302, 0.1293, 0.1286",\
                 "0.1419, 0.1416, 0.1408, 0.1394, 0.1377, 0.1358, 0.1342, 0.1329, 0.1319, 0.1311",\
                 "0.1461, 0.146, 0.1453, 0.1444, 0.1432, 0.1417, 0.1402, 0.1388, 0.1377, 0.1368",\
                 "0.1549, 0.1547, 0.154, 0.1531, 0.1521, 0.1509, 0.1496, 0.1483, 0.1472, 0.1462",\
                 "0.1681, 0.1678, 0.167, 0.166, 0.165, 0.164, 0.1628, 0.1617, 0.1605, 0.1595",\
                 "0.1861, 0.1857, 0.1846, 0.1833, 0.1821, 0.181, 0.1799, 0.1788, 0.1777, 0.1767",\
                 "0.209, 0.2085, 0.207, 0.2053, 0.2038, 0.2025, 0.2013, 0.2002, 0.1991, 0.1981",\
                 "0.2371, 0.2363, 0.2344, 0.2322, 0.2302, 0.2285, 0.2272, 0.226, 0.2249, 0.2237");
        }

        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.00805, 0.01853, 0.03485, 0.05776, 0.0879, 0.1259, 0.1722, 0.2275");
          values("0.1033, 0.103, 0.1024, 0.101, 0.09912, 0.09739, 0.09603, 0.09524, 0.09474, 0.09479",\
                 "0.1029, 0.1027, 0.102, 0.1007, 0.09894, 0.09721, 0.09591, 0.09497, 0.09462, 0.09463",\
                 "0.101, 0.1007, 0.1, 0.09876, 0.09723, 0.0958, 0.09468, 0.09386, 0.09356, 0.09358",\
                 "0.09815, 0.09802, 0.09754, 0.09689, 0.09603, 0.09517, 0.09441, 0.09389, 0.09368, 0.09392",\
                 "0.1001, 0.09982, 0.09922, 0.09887, 0.09837, 0.09787, 0.09726, 0.09686, 0.09695, 0.09721",\
                 "0.1068, 0.1067, 0.1059, 0.105, 0.1046, 0.1042, 0.1037, 0.1035, 0.1032, 0.1037",\
                 "0.1182, 0.1179, 0.1169, 0.1158, 0.1148, 0.1141, 0.1138, 0.114, 0.1137, 0.1145",\
                 "0.1344, 0.1339, 0.1325, 0.1311, 0.1297, 0.1285, 0.1278, 0.1277, 0.1281, 0.1294",\
                 "0.1556, 0.155, 0.1531, 0.1509, 0.1491, 0.1476, 0.1465, 0.1454, 0.1456, 0.1488",\
                 "0.1814, 0.1808, 0.1787, 0.1758, 0.173, 0.1708, 0.1696, 0.1681, 0.1683, 0.1738");
        }
      }

      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.00805, 0.01853, 0.03485, 0.05776, 0.0879, 0.1259, 0.1722, 0.2275");
          values("0.1423, 0.1419, 0.1403, 0.1379, 0.1355, 0.1334, 0.1318, 0.1307, 0.1298, 0.1292",\
                 "0.1416, 0.1411, 0.1396, 0.1373, 0.1349, 0.1328, 0.1312, 0.1301, 0.1292, 0.1286",\
                 "0.1412, 0.1407, 0.1395, 0.1375, 0.1352, 0.1332, 0.1315, 0.1302, 0.1293, 0.1286",\
                 "0.1419, 0.1416, 0.1408, 0.1394, 0.1377, 0.1358, 0.1342, 0.1329, 0.1319, 0.1311",\
                 "0.1462, 0.146, 0.1453, 0.1444, 0.1431, 0.1417, 0.1402, 0.1388, 0.1377, 0.1368",\
                 "0.1549, 0.1547, 0.154, 0.1531, 0.1521, 0.1509, 0.1496, 0.1484, 0.1472, 0.1462",\
                 "0.1681, 0.1678, 0.1669, 0.166, 0.165, 0.164, 0.1629, 0.1617, 0.1605, 0.1595",\
                 "0.1861, 0.1857, 0.1846, 0.1833, 0.1821, 0.181, 0.1799, 0.1788, 0.1778, 0.1767",\
                 "0.2091, 0.2085, 0.207, 0.2053, 0.2038, 0.2025, 0.2013, 0.2002, 0.1992, 0.1981",\
                 "0.2371, 0.2363, 0.2344, 0.2322, 0.2302, 0.2286, 0.2271, 0.226, 0.2248, 0.2237");
        }

        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.00805, 0.01853, 0.03485, 0.05776, 0.0879, 0.1259, 0.1722, 0.2275");
          values("0.1033, 0.103, 0.1024, 0.101, 0.09918, 0.09742, 0.09606, 0.09518, 0.09474, 0.09497",\
                 "0.1029, 0.1027, 0.102, 0.1007, 0.09894, 0.09724, 0.09603, 0.09497, 0.09462, 0.09463",\
                 "0.1009, 0.1007, 0.1, 0.09876, 0.09723, 0.09583, 0.09468, 0.09383, 0.09365, 0.09388",\
                 "0.09815, 0.09801, 0.09753, 0.09689, 0.09603, 0.09517, 0.09441, 0.09389, 0.09368, 0.09392",\
                 "0.1001, 0.0998, 0.09923, 0.09882, 0.09837, 0.09784, 0.09723, 0.09683, 0.09692, 0.09679",\
                 "0.1068, 0.1066, 0.1059, 0.105, 0.1044, 0.1042, 0.1037, 0.1034, 0.1032, 0.1037",\
                 "0.1182, 0.118, 0.1169, 0.1159, 0.1148, 0.1141, 0.1138, 0.114, 0.1136, 0.1145",\
                 "0.1344, 0.1339, 0.1327, 0.1312, 0.1297, 0.1287, 0.1277, 0.1277, 0.1281, 0.1297",\
                 "0.1556, 0.155, 0.1531, 0.1509, 0.1491, 0.1476, 0.1465, 0.1456, 0.1456, 0.1488",\
                 "0.1814, 0.1809, 0.1788, 0.1758, 0.173, 0.1708, 0.1695, 0.1681, 0.1679, 0.1738");
        }
      }

      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.00805, 0.01853, 0.03485, 0.05776, 0.0879, 0.1259, 0.1722, 0.2275");
          values("-0.001093, -0.001019, -0.0008767, -0.0007863, -0.0007394, -0.0007162, -0.0007017, -0.0006939, -0.0006861, -0.0006817",\
                 "-0.001299, -0.001066, -0.0006185, -0.0002376, -1.29e-05, 0.0001175, 0.0002007, 0.0002483, 0.0002814, 0.0003032",\
                 "-0.001357, -0.001138, -0.0005548, 1.184e-05, 0.0004262, 0.0006775, 0.0008426, 0.0009503, 0.00103, 0.001078",\
                 "0.001263, 0.001177, 0.001171, 0.001257, 0.001319, 0.001421, 0.001438, 0.001456, 0.00148, 0.001479",\
                 "0.0082, 0.007748, 0.006657, 0.005578, 0.004723, 0.004029, 0.003527, 0.003143, 0.002832, 0.002602",\
                 "0.02031, 0.01942, 0.01705, 0.01426, 0.01185, 0.009899, 0.008316, 0.007069, 0.006092, 0.005309",\
                 "0.03769, 0.03642, 0.03284, 0.02812, 0.02371, 0.01993, 0.01682, 0.01431, 0.0122, 0.01052",\
                 "0.06066, 0.05907, 0.05429, 0.04773, 0.04098, 0.03502, 0.02993, 0.02564, 0.02204, 0.01906",\
                 "0.08942, 0.08753, 0.08175, 0.0734, 0.06431, 0.05578, 0.04837, 0.04188, 0.03641, 0.0317",\
                 "0.1243, 0.1221, 0.1154, 0.1054, 0.09401, 0.0828, 0.07267, 0.06375, 0.05598, 0.04921");
        }

        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.00805, 0.01853, 0.03485, 0.05776, 0.0879, 0.1259, 0.1722, 0.2275");
          values("0.07603, 0.07631, 0.07679, 0.07719, 0.07751, 0.07792, 0.07819, 0.07885, 0.084, 0.1147",\
                 "0.07321, 0.07373, 0.07498, 0.07607, 0.07694, 0.0775, 0.07801, 0.07879, 0.08434, 0.1155",\
                 "0.07176, 0.07201, 0.07278, 0.07399, 0.07523, 0.07624, 0.07717, 0.07808, 0.08395, 0.1171",\
                 "0.07579, 0.07553, 0.07505, 0.07492, 0.07523, 0.07597, 0.07675, 0.07774, 0.08469, 0.1214",\
                 "0.08486, 0.08422, 0.08255, 0.08081, 0.07934, 0.07873, 0.07852, 0.07914, 0.08703, 0.1304",\
                 "0.09921, 0.09819, 0.09543, 0.09201, 0.08876, 0.08605, 0.08415, 0.08396, 0.09434, 0.1481",\
                 "0.1191, 0.1178, 0.1139, 0.1088, 0.1037, 0.09907, 0.09488, 0.09352, 0.1083, 0.1799",\
                 "0.1451, 0.1434, 0.1385, 0.1317, 0.1244, 0.1178, 0.1118, 0.1101, 0.1346, 0.2357",\
                 "0.1774, 0.1754, 0.1694, 0.1611, 0.1518, 0.1427, 0.1351, 0.1374, 0.1849, 0.3307",\
                 "0.2164, 0.2141, 0.2072, 0.1972, 0.1861, 0.1746, 0.1671, 0.1867, 0.2847, 0.4766");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.002563, 0.00805, 0.01853, 0.03485, 0.05776, 0.0879, 0.1259, 0.1722, 0.2275");
          values("1.874, 1.915, 2.046, 2.259, 2.546, 2.905, 3.344, 3.876, 4.513, 5.267",\
                 "1.897, 1.939, 2.07, 2.283, 2.569, 2.928, 3.367, 3.899, 4.537, 5.291",\
                 "1.972, 2.014, 2.145, 2.358, 2.644, 3.003, 3.442, 3.974, 4.612, 5.366",\
                 "2.061, 2.103, 2.233, 2.447, 2.733, 3.092, 3.531, 4.063, 4.7, 5.454",\
                 "2.11, 2.152, 2.283, 2.496, 2.783, 3.141, 3.581, 4.112, 4.75, 5.504",\
                 "2.115, 2.157, 2.286, 2.498, 2.783, 3.142, 3.581, 4.113, 4.751, 5.505",\
                 "2.055, 2.095, 2.224, 2.436, 2.722, 3.079, 3.518, 4.05, 4.687, 5.442",\
                 "1.927, 1.969, 2.097, 2.309, 2.594, 2.952, 3.392, 3.923, 4.561, 5.315",\
                 "1.732, 1.772, 1.902, 2.114, 2.399, 2.757, 3.197, 3.729, 4.366, 5.12",\
                 "1.464, 1.506, 1.636, 1.848, 2.133, 2.492, 2.931, 3.463, 4.101, 4.853");
        }

        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.00805, 0.01853, 0.03485, 0.05776, 0.0879, 0.1259, 0.1722, 0.2275");
          values("2.002, 2.058, 2.243, 2.59, 3.127, 3.875, 4.856, 6.089, 7.593, 9.383",\
                 "2.022, 2.076, 2.262, 2.61, 3.146, 3.894, 4.875, 6.108, 7.612, 9.403",\
                 "2.089, 2.144, 2.33, 2.677, 3.213, 3.961, 4.942, 6.175, 7.679, 9.471",\
                 "2.225, 2.279, 2.465, 2.812, 3.349, 4.097, 5.078, 6.31, 7.814, 9.606",\
                 "2.463, 2.518, 2.704, 3.051, 3.587, 4.335, 5.316, 6.549, 8.053, 9.843",\
                 "2.804, 2.859, 3.044, 3.392, 3.928, 4.676, 5.657, 6.89, 8.393, 10.18",\
                 "3.24, 3.294, 3.48, 3.828, 4.363, 5.112, 6.093, 7.326, 8.828, 10.62",\
                 "3.77, 3.826, 4.011, 4.358, 4.893, 5.641, 6.621, 7.855, 9.359, 11.15",\
                 "4.39, 4.445, 4.631, 4.978, 5.513, 6.26, 7.241, 8.474, 9.978, 11.77",\
                 "5.097, 5.153, 5.338, 5.684, 6.22, 6.967, 7.947, 9.18, 10.68, 12.47");
        }

        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.00805, 0.01853, 0.03485, 0.05776, 0.0879, 0.1259, 0.1722, 0.2275");
          values("0.51, 0.5532, 0.697, 0.9394, 1.291, 1.778, 2.428, 3.266, 4.314, 5.582",\
                 "0.5092, 0.554, 0.6968, 0.9394, 1.292, 1.778, 2.428, 3.266, 4.313, 5.582",\
                 "0.5088, 0.5546, 0.6972, 0.9394, 1.292, 1.778, 2.429, 3.266, 4.314, 5.582",\
                 "0.5082, 0.5536, 0.6968, 0.9394, 1.291, 1.778, 2.429, 3.267, 4.315, 5.582",\
                 "0.5074, 0.5522, 0.6956, 0.937, 1.291, 1.778, 2.428, 3.265, 4.313, 5.583",\
                 "0.4964, 0.5402, 0.6852, 0.9298, 1.286, 1.775, 2.427, 3.267, 4.314, 5.582",\
                 "0.494, 0.539, 0.6828, 0.9298, 1.284, 1.772, 2.424, 3.265, 4.315, 5.585",\
                 "0.4936, 0.5382, 0.6836, 0.93, 1.283, 1.773, 2.425, 3.265, 4.312, 5.583",\
                 "0.4948, 0.5394, 0.6844, 0.93, 1.284, 1.774, 2.425, 3.265, 4.314, 5.583",\
                 "0.4966, 0.5412, 0.6866, 0.9326, 1.287, 1.775, 2.426, 3.264, 4.312, 5.582");
        }

        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.00805, 0.01853, 0.03485, 0.05776, 0.0879, 0.1259, 0.1722, 0.2275");
          values("0.48, 0.5616, 0.855, 1.437, 2.353, 3.642, 5.345, 7.485, 10.09, 13.21",\
                 "0.4794, 0.5602, 0.8552, 1.437, 2.355, 3.645, 5.345, 7.484, 10.1, 13.19",\
                 "0.48, 0.5604, 0.855, 1.437, 2.355, 3.645, 5.345, 7.486, 10.09, 13.19",\
                 "0.4794, 0.5614, 0.8558, 1.437, 2.354, 3.645, 5.343, 7.484, 10.1, 13.19",\
                 "0.4802, 0.5612, 0.8546, 1.437, 2.356, 3.646, 5.345, 7.485, 10.1, 13.21",\
                 "0.4816, 0.5626, 0.8564, 1.439, 2.356, 3.645, 5.337, 7.483, 10.09, 13.21",\
                 "0.4838, 0.5652, 0.8564, 1.438, 2.355, 3.642, 5.345, 7.484, 10.09, 13.2",\
                 "0.4864, 0.5668, 0.8578, 1.437, 2.354, 3.64, 5.343, 7.482, 10.08, 13.21",\
                 "0.49, 0.57, 0.86, 1.438, 2.358, 3.64, 5.342, 7.478, 10.1, 13.2",\
                 "0.496, 0.574, 0.864, 1.44, 2.354, 3.642, 5.338, 7.474, 10.08, 13.2");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.002563, 0.00805, 0.01853, 0.03485, 0.05776, 0.0879, 0.1259, 0.1722, 0.2275");
          values("1.203, 1.23, 1.319, 1.475, 1.704, 2.018, 2.427, 2.943, 3.572, 4.324",\
                 "1.224, 1.252, 1.341, 1.497, 1.726, 2.039, 2.449, 2.964, 3.594, 4.345",\
                 "1.301, 1.328, 1.418, 1.573, 1.802, 2.116, 2.526, 3.042, 3.671, 4.42",\
                 "1.441, 1.469, 1.558, 1.714, 1.943, 2.256, 2.666, 3.182, 3.811, 4.562",\
                 "1.585, 1.612, 1.702, 1.858, 2.087, 2.401, 2.811, 3.327, 3.956, 4.705",\
                 "1.693, 1.721, 1.811, 1.967, 2.196, 2.511, 2.921, 3.436, 4.065, 4.816",\
                 "1.763, 1.792, 1.882, 2.038, 2.268, 2.582, 2.992, 3.507, 4.136, 4.886",\
                 "1.787, 1.816, 1.907, 2.063, 2.294, 2.608, 3.018, 3.534, 4.163, 4.912",\
                 "1.759, 1.788, 1.88, 2.037, 2.269, 2.582, 2.992, 3.508, 4.137, 4.888",\
                 "1.673, 1.702, 1.794, 1.953, 2.184, 2.498, 2.909, 3.424, 4.053, 4.803");
        }

        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.00805, 0.01853, 0.03485, 0.05776, 0.0879, 0.1259, 0.1722, 0.2275");
          values("1.987, 2.016, 2.114, 2.29, 2.555, 2.923, 3.407, 4.017, 4.761, 5.649",\
                 "2.011, 2.04, 2.137, 2.313, 2.579, 2.947, 3.43, 4.04, 4.784, 5.672",\
                 "2.091, 2.12, 2.218, 2.394, 2.659, 3.028, 3.511, 4.121, 4.866, 5.754",\
                 "2.274, 2.303, 2.401, 2.577, 2.842, 3.21, 3.694, 4.304, 5.048, 5.936",\
                 "2.584, 2.614, 2.711, 2.888, 3.153, 3.521, 4.005, 4.615, 5.359, 6.248",\
                 "3, 3.029, 3.127, 3.303, 3.568, 3.937, 4.42, 5.03, 5.774, 6.662",\
                 "3.471, 3.501, 3.6, 3.776, 4.042, 4.411, 4.895, 5.505, 6.25, 7.138",\
                 "4.008, 4.038, 4.136, 4.313, 4.579, 4.948, 5.432, 6.041, 6.786, 7.675",\
                 "4.616, 4.646, 4.745, 4.923, 5.189, 5.558, 6.042, 6.652, 7.396, 8.284",\
                 "5.299, 5.329, 5.428, 5.606, 5.873, 6.243, 6.727, 7.336, 8.081, 8.97");
        }

        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.00805, 0.01853, 0.03485, 0.05776, 0.0879, 0.1259, 0.1722, 0.2275");
          values("0.247, 0.2804, 0.3974, 0.6264, 0.9916, 1.513, 2.21, 3.092, 4.171, 5.456",\
                 "0.247, 0.28, 0.3982, 0.626, 0.9918, 1.513, 2.21, 3.091, 4.171, 5.456",\
                 "0.2466, 0.2802, 0.3984, 0.6266, 0.9918, 1.513, 2.21, 3.092, 4.17, 5.456",\
                 "0.247, 0.2808, 0.3978, 0.6262, 0.9918, 1.513, 2.21, 3.091, 4.171, 5.453",\
                 "0.2488, 0.282, 0.3998, 0.6282, 0.9924, 1.513, 2.21, 3.092, 4.169, 5.456",\
                 "0.2514, 0.2848, 0.4024, 0.629, 0.9924, 1.513, 2.209, 3.091, 4.169, 5.455",\
                 "0.2544, 0.2878, 0.404, 0.6306, 0.993, 1.514, 2.209, 3.091, 4.169, 5.455",\
                 "0.2588, 0.2914, 0.4066, 0.6332, 0.995, 1.515, 2.21, 3.092, 4.168, 5.453",\
                 "0.2642, 0.2968, 0.4104, 0.6348, 0.9954, 1.515, 2.209, 3.091, 4.167, 5.455",\
                 "0.2698, 0.3014, 0.415, 0.6382, 0.9974, 1.516, 2.21, 3.092, 4.166, 5.45");
        }

        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.00805, 0.01853, 0.03485, 0.05776, 0.0879, 0.1259, 0.1722, 0.2275");
          values("0.4058, 0.4506, 0.6, 0.8896, 1.348, 1.999, 2.856, 3.936, 5.252, 6.82",\
                 "0.4062, 0.4494, 0.6002, 0.8898, 1.347, 1.998, 2.857, 3.936, 5.253, 6.822",\
                 "0.406, 0.4494, 0.6006, 0.8894, 1.347, 1.999, 2.856, 3.936, 5.252, 6.82",\
                 "0.4062, 0.4494, 0.6008, 0.8882, 1.347, 1.999, 2.856, 3.936, 5.252, 6.821",\
                 "0.4062, 0.4494, 0.6004, 0.8898, 1.346, 1.999, 2.856, 3.936, 5.253, 6.82",\
                 "0.4056, 0.4494, 0.601, 0.889, 1.347, 1.998, 2.855, 3.935, 5.253, 6.823",\
                 "0.4062, 0.45, 0.6014, 0.8872, 1.345, 1.996, 2.854, 3.935, 5.253, 6.822",\
                 "0.4066, 0.4502, 0.6012, 0.8878, 1.344, 1.994, 2.853, 3.934, 5.25, 6.822",\
                 "0.406, 0.452, 0.602, 0.886, 1.342, 1.992, 2.854, 3.934, 5.252, 6.82",\
                 "0.41, 0.454, 0.602, 0.886, 1.344, 1.992, 2.852, 3.932, 5.25, 6.82");
        }
      }

      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.00805, 0.01853, 0.03485, 0.05776, 0.0879, 0.1259, 0.1722, 0.2275");
          values("1.874, 1.915, 2.046, 2.259, 2.546, 2.905, 3.344, 3.876, 4.513, 5.267",\
                 "1.897, 1.939, 2.07, 2.283, 2.569, 2.928, 3.367, 3.899, 4.537, 5.291",\
                 "1.972, 2.014, 2.145, 2.358, 2.644, 3.003, 3.442, 3.974, 4.612, 5.366",\
                 "2.061, 2.103, 2.233, 2.447, 2.733, 3.092, 3.531, 4.063, 4.7, 5.454",\
                 "2.11, 2.152, 2.283, 2.496, 2.783, 3.141, 3.581, 4.112, 4.75, 5.504",\
                 "2.115, 2.157, 2.286, 2.498, 2.783, 3.142, 3.581, 4.113, 4.751, 5.505",\
                 "2.055, 2.095, 2.224, 2.436, 2.722, 3.079, 3.518, 4.05, 4.687, 5.442",\
                 "1.927, 1.969, 2.097, 2.309, 2.594, 2.952, 3.392, 3.923, 4.561, 5.315",\
                 "1.732, 1.772, 1.902, 2.114, 2.399, 2.757, 3.197, 3.729, 4.366, 5.12",\
                 "1.464, 1.506, 1.636, 1.848, 2.133, 2.492, 2.931, 3.463, 4.101, 4.853");
        }

        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.00805, 0.01853, 0.03485, 0.05776, 0.0879, 0.1259, 0.1722, 0.2275");
          values("2.002, 2.058, 2.243, 2.59, 3.127, 3.875, 4.856, 6.089, 7.593, 9.383",\
                 "2.022, 2.076, 2.262, 2.61, 3.146, 3.894, 4.875, 6.108, 7.612, 9.403",\
                 "2.089, 2.144, 2.33, 2.677, 3.213, 3.961, 4.942, 6.175, 7.679, 9.471",\
                 "2.225, 2.279, 2.465, 2.812, 3.349, 4.097, 5.078, 6.31, 7.814, 9.606",\
                 "2.463, 2.518, 2.704, 3.051, 3.587, 4.335, 5.316, 6.549, 8.053, 9.843",\
                 "2.804, 2.859, 3.044, 3.392, 3.928, 4.676, 5.657, 6.89, 8.393, 10.18",\
                 "3.24, 3.294, 3.48, 3.828, 4.363, 5.112, 6.093, 7.326, 8.828, 10.62",\
                 "3.77, 3.826, 4.011, 4.358, 4.893, 5.641, 6.621, 7.855, 9.359, 11.15",\
                 "4.39, 4.445, 4.631, 4.978, 5.513, 6.26, 7.241, 8.474, 9.978, 11.77",\
                 "5.097, 5.153, 5.338, 5.684, 6.22, 6.967, 7.947, 9.18, 10.68, 12.47");
        }

        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.00805, 0.01853, 0.03485, 0.05776, 0.0879, 0.1259, 0.1722, 0.2275");
          values("0.51, 0.5532, 0.697, 0.9394, 1.291, 1.778, 2.428, 3.266, 4.314, 5.582",\
                 "0.5092, 0.554, 0.6968, 0.9394, 1.292, 1.778, 2.428, 3.266, 4.313, 5.582",\
                 "0.5088, 0.5546, 0.6972, 0.9394, 1.292, 1.778, 2.429, 3.266, 4.314, 5.582",\
                 "0.5082, 0.5536, 0.6968, 0.9394, 1.291, 1.778, 2.429, 3.267, 4.315, 5.582",\
                 "0.5074, 0.5522, 0.6956, 0.937, 1.291, 1.778, 2.428, 3.265, 4.313, 5.583",\
                 "0.4964, 0.5402, 0.6852, 0.9298, 1.286, 1.775, 2.427, 3.267, 4.314, 5.582",\
                 "0.494, 0.539, 0.6828, 0.9298, 1.284, 1.772, 2.424, 3.265, 4.315, 5.585",\
                 "0.4936, 0.5382, 0.6836, 0.93, 1.283, 1.773, 2.425, 3.265, 4.312, 5.583",\
                 "0.4948, 0.5394, 0.6844, 0.93, 1.284, 1.774, 2.425, 3.265, 4.314, 5.583",\
                 "0.4966, 0.5412, 0.6866, 0.9326, 1.287, 1.775, 2.426, 3.264, 4.312, 5.582");
        }

        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.00805, 0.01853, 0.03485, 0.05776, 0.0879, 0.1259, 0.1722, 0.2275");
          values("0.48, 0.5616, 0.855, 1.437, 2.353, 3.642, 5.345, 7.485, 10.09, 13.21",\
                 "0.4794, 0.5602, 0.8552, 1.437, 2.355, 3.645, 5.345, 7.484, 10.1, 13.19",\
                 "0.48, 0.5604, 0.855, 1.437, 2.355, 3.645, 5.345, 7.486, 10.09, 13.19",\
                 "0.4794, 0.5614, 0.8558, 1.437, 2.354, 3.645, 5.343, 7.484, 10.1, 13.19",\
                 "0.4802, 0.5612, 0.8546, 1.437, 2.356, 3.646, 5.345, 7.485, 10.1, 13.21",\
                 "0.4816, 0.5626, 0.8564, 1.439, 2.356, 3.645, 5.337, 7.483, 10.09, 13.21",\
                 "0.4838, 0.5652, 0.8564, 1.438, 2.355, 3.642, 5.345, 7.484, 10.09, 13.2",\
                 "0.4864, 0.5668, 0.8578, 1.437, 2.354, 3.64, 5.343, 7.482, 10.08, 13.21",\
                 "0.49, 0.57, 0.86, 1.438, 2.358, 3.64, 5.342, 7.478, 10.1, 13.2",\
                 "0.496, 0.574, 0.864, 1.44, 2.354, 3.642, 5.338, 7.474, 10.08, 13.2");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.002563, 0.00805, 0.01853, 0.03485, 0.05776, 0.0879, 0.1259, 0.1722, 0.2275");
          values("2.287, 2.315, 2.403, 2.558, 2.787, 3.1, 3.51, 4.026, 4.655, 5.404",\
                 "2.307, 2.334, 2.422, 2.577, 2.806, 3.12, 3.529, 4.045, 4.674, 5.424",\
                 "2.374, 2.401, 2.49, 2.645, 2.873, 3.187, 3.597, 4.112, 4.742, 5.491",\
                 "2.509, 2.536, 2.625, 2.78, 3.008, 3.322, 3.732, 4.248, 4.877, 5.626",\
                 "2.747, 2.775, 2.864, 3.019, 3.248, 3.561, 3.971, 4.487, 5.116, 5.865",\
                 "3.09, 3.118, 3.207, 3.361, 3.59, 3.904, 4.314, 4.829, 5.459, 6.208",\
                 "3.527, 3.554, 3.643, 3.798, 4.027, 4.341, 4.751, 5.266, 5.895, 6.646",\
                 "4.061, 4.088, 4.176, 4.331, 4.561, 4.874, 5.284, 5.799, 6.428, 7.178",\
                 "4.684, 4.712, 4.8, 4.955, 5.184, 5.498, 5.908, 6.423, 7.052, 7.802",\
                 "5.395, 5.422, 5.511, 5.666, 5.895, 6.208, 6.618, 7.134, 7.763, 8.513");
        }

        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.00805, 0.01853, 0.03485, 0.05776, 0.0879, 0.1259, 0.1722, 0.2275");
          values("2.521, 2.551, 2.648, 2.824, 3.09, 3.458, 3.942, 4.552, 5.296, 6.184",\
                 "2.544, 2.574, 2.672, 2.848, 3.113, 3.482, 3.965, 4.575, 5.32, 6.207",\
                 "2.619, 2.649, 2.747, 2.923, 3.188, 3.557, 4.04, 4.65, 5.394, 6.282",\
                 "2.708, 2.738, 2.836, 3.012, 3.277, 3.645, 4.129, 4.738, 5.483, 6.37",\
                 "2.758, 2.787, 2.885, 3.061, 3.327, 3.695, 4.178, 4.788, 5.533, 6.421",\
                 "2.76, 2.789, 2.887, 3.063, 3.328, 3.697, 4.181, 4.79, 5.534, 6.423",\
                 "2.698, 2.728, 2.825, 3.001, 3.268, 3.636, 4.118, 4.728, 5.473, 6.361",\
                 "2.572, 2.601, 2.7, 2.875, 3.14, 3.509, 3.992, 4.602, 5.346, 6.234",\
                 "2.377, 2.405, 2.504, 2.68, 2.945, 3.314, 3.798, 4.407, 5.151, 6.039",\
                 "2.11, 2.139, 2.237, 2.413, 2.679, 3.048, 3.531, 4.141, 4.886, 5.774");
        }

        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.00805, 0.01853, 0.03485, 0.05776, 0.0879, 0.1259, 0.1722, 0.2275");
          values("0.2434, 0.2766, 0.3964, 0.625, 0.9896, 1.513, 2.209, 3.092, 4.17, 5.453",\
                 "0.2428, 0.2772, 0.3954, 0.625, 0.9896, 1.513, 2.209, 3.092, 4.168, 5.455",\
                 "0.2432, 0.2766, 0.3954, 0.625, 0.9908, 1.513, 2.21, 3.092, 4.17, 5.454",\
                 "0.2426, 0.2772, 0.3956, 0.6252, 0.9902, 1.513, 2.208, 3.092, 4.169, 5.454",\
                 "0.2428, 0.2766, 0.3956, 0.625, 0.9908, 1.513, 2.208, 3.092, 4.17, 5.454",\
                 "0.2434, 0.277, 0.396, 0.6254, 0.9898, 1.513, 2.209, 3.09, 4.17, 5.454",\
                 "0.2436, 0.277, 0.3954, 0.625, 0.9898, 1.513, 2.208, 3.092, 4.169, 5.455",\
                 "0.2436, 0.2772, 0.3962, 0.6258, 0.9896, 1.513, 2.209, 3.089, 4.169, 5.454",\
                 "0.244, 0.278, 0.396, 0.626, 0.99, 1.514, 2.208, 3.09, 4.168, 5.452",\
                 "0.246, 0.278, 0.398, 0.626, 0.99, 1.512, 2.21, 3.09, 4.166, 5.456");
        }

        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.00805, 0.01853, 0.03485, 0.05776, 0.0879, 0.1259, 0.1722, 0.2275");
          values("0.4048, 0.4492, 0.6006, 0.889, 1.347, 1.998, 2.856, 3.936, 5.252, 6.821",\
                 "0.4068, 0.4492, 0.6014, 0.8882, 1.347, 1.998, 2.856, 3.935, 5.252, 6.822",\
                 "0.4068, 0.4506, 0.6012, 0.8892, 1.347, 1.998, 2.856, 3.936, 5.253, 6.822",\
                 "0.406, 0.4506, 0.601, 0.8878, 1.347, 1.997, 2.856, 3.936, 5.253, 6.822",\
                 "0.4066, 0.4506, 0.6006, 0.888, 1.347, 1.997, 2.856, 3.936, 5.252, 6.82",\
                 "0.4062, 0.45, 0.601, 0.8882, 1.346, 1.998, 2.855, 3.936, 5.252, 6.821",\
                 "0.406, 0.4492, 0.6002, 0.8892, 1.346, 1.998, 2.855, 3.935, 5.252, 6.822",\
                 "0.405, 0.4496, 0.6, 0.8888, 1.347, 1.998, 2.855, 3.935, 5.252, 6.821",\
                 "0.4056, 0.4498, 0.601, 0.8894, 1.347, 1.998, 2.857, 3.935, 5.253, 6.818",\
                 "0.406, 0.4504, 0.602, 0.888, 1.346, 1.998, 2.854, 3.934, 5.252, 6.822");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.002563, 0.00805, 0.01853, 0.03485, 0.05776, 0.0879, 0.1259, 0.1722, 0.2275");
          values("1.344, 1.385, 1.514, 1.724, 2.008, 2.365, 2.803, 3.334, 3.971, 4.724",\
                 "1.368, 1.409, 1.537, 1.748, 2.032, 2.389, 2.827, 3.358, 3.995, 4.748",\
                 "1.448, 1.489, 1.618, 1.828, 2.112, 2.469, 2.907, 3.438, 4.075, 4.829",\
                 "1.631, 1.672, 1.801, 2.011, 2.295, 2.652, 3.09, 3.621, 4.258, 5.012",\
                 "1.941, 1.982, 2.11, 2.321, 2.604, 2.961, 3.399, 3.93, 4.567, 5.321",\
                 "2.344, 2.386, 2.517, 2.731, 3.017, 3.376, 3.814, 4.345, 4.982, 5.736",\
                 "2.8, 2.844, 2.98, 3.2, 3.492, 3.856, 4.298, 4.832, 5.469, 6.222",\
                 "3.319, 3.364, 3.506, 3.732, 4.03, 4.399, 4.845, 5.381, 6.02, 6.774",\
                 "3.909, 3.957, 4.103, 4.336, 4.641, 5.016, 5.465, 6.003, 6.642, 7.398",\
                 "4.573, 4.622, 4.774, 5.015, 5.329, 5.71, 6.165, 6.706, 7.345, 8.101");
        }

        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.00805, 0.01853, 0.03485, 0.05776, 0.0879, 0.1259, 0.1722, 0.2275");
          values("0.8989, 0.9565, 1.15, 1.502, 2.041, 2.789, 3.77, 5.002, 6.504, 8.295",\
                 "0.9207, 0.9781, 1.171, 1.524, 2.062, 2.811, 3.792, 5.024, 6.527, 8.316",\
                 "0.9976, 1.055, 1.249, 1.601, 2.139, 2.888, 3.869, 5.101, 6.603, 8.394",\
                 "1.135, 1.192, 1.385, 1.736, 2.273, 3.022, 4.003, 5.236, 6.741, 8.528",\
                 "1.267, 1.325, 1.518, 1.868, 2.404, 3.152, 4.133, 5.366, 6.87, 8.662",\
                 "1.363, 1.421, 1.615, 1.966, 2.5, 3.246, 4.227, 5.46, 6.963, 8.754",\
                 "1.419, 1.478, 1.674, 2.025, 2.557, 3.301, 4.28, 5.512, 7.015, 8.805",\
                 "1.431, 1.491, 1.688, 2.04, 2.572, 3.312, 4.288, 5.519, 7.021, 8.813",\
                 "1.391, 1.451, 1.651, 2.006, 2.537, 3.275, 4.248, 5.477, 6.978, 8.768",\
                 "1.292, 1.354, 1.556, 1.917, 2.447, 3.184, 4.156, 5.384, 6.881, 8.669");
        }

        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.00805, 0.01853, 0.03485, 0.05776, 0.0879, 0.1259, 0.1722, 0.2275");
          values("0.4878, 0.5338, 0.6782, 0.9234, 1.279, 1.767, 2.419, 3.261, 4.31, 5.58",\
                 "0.488, 0.5346, 0.679, 0.9238, 1.279, 1.768, 2.419, 3.261, 4.309, 5.579",\
                 "0.4878, 0.5346, 0.6774, 0.9246, 1.279, 1.767, 2.418, 3.261, 4.309, 5.579",\
                 "0.4882, 0.5332, 0.6786, 0.9248, 1.279, 1.768, 2.42, 3.261, 4.309, 5.58",\
                 "0.4914, 0.5374, 0.682, 0.9262, 1.282, 1.77, 2.421, 3.262, 4.309, 5.58",\
                 "0.5228, 0.5682, 0.7098, 0.952, 1.299, 1.782, 2.427, 3.265, 4.313, 5.581",\
                 "0.5628, 0.6082, 0.7488, 0.9884, 1.336, 1.812, 2.452, 3.28, 4.319, 5.585",\
                 "0.6036, 0.6486, 0.791, 1.028, 1.371, 1.841, 2.476, 3.301, 4.336, 5.595",\
                 "0.6474, 0.6952, 0.8366, 1.072, 1.41, 1.874, 2.502, 3.318, 4.348, 5.606",\
                 "0.696, 0.744, 0.89, 1.126, 1.46, 1.916, 2.532, 3.338, 4.362, 5.616");
        }

        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.00805, 0.01853, 0.03485, 0.05776, 0.0879, 0.1259, 0.1722, 0.2275");
          values("0.5014, 0.5842, 0.8764, 1.448, 2.357, 3.647, 5.343, 7.485, 10.1, 13.21",\
                 "0.5017, 0.5842, 0.8764, 1.448, 2.359, 3.647, 5.346, 7.489, 10.08, 13.19",\
                 "0.5008, 0.5838, 0.8766, 1.448, 2.359, 3.646, 5.338, 7.482, 10.09, 13.21",\
                 "0.5052, 0.5868, 0.8784, 1.448, 2.355, 3.647, 5.342, 7.473, 10.08, 13.21",\
                 "0.521, 0.6036, 0.8912, 1.454, 2.36, 3.647, 5.341, 7.483, 10.1, 13.19",\
                 "0.5404, 0.621, 0.9052, 1.461, 2.362, 3.648, 5.345, 7.485, 10.1, 13.21",\
                 "0.5636, 0.644, 0.9248, 1.474, 2.368, 3.648, 5.345, 7.484, 10.1, 13.21",\
                 "0.5896, 0.67, 0.9518, 1.492, 2.373, 3.648, 5.341, 7.478, 10.1, 13.2",\
                 "0.62, 0.7, 0.9806, 1.515, 2.387, 3.654, 5.343, 7.479, 10.08, 13.21",\
                 "0.6534, 0.7332, 1.015, 1.545, 2.408, 3.666, 5.348, 7.48, 10.09, 13.19");
        }
      }

      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.00805, 0.01853, 0.03485, 0.05776, 0.0879, 0.1259, 0.1722, 0.2275");
          values("2.287, 2.315, 2.403, 2.558, 2.787, 3.1, 3.51, 4.026, 4.655, 5.404",\
                 "2.307, 2.334, 2.422, 2.577, 2.806, 3.12, 3.529, 4.045, 4.674, 5.424",\
                 "2.374, 2.401, 2.49, 2.645, 2.873, 3.187, 3.597, 4.112, 4.742, 5.491",\
                 "2.509, 2.536, 2.625, 2.78, 3.008, 3.322, 3.732, 4.248, 4.877, 5.626",\
                 "2.747, 2.775, 2.864, 3.019, 3.248, 3.561, 3.971, 4.487, 5.116, 5.865",\
                 "3.09, 3.118, 3.207, 3.361, 3.59, 3.904, 4.314, 4.829, 5.459, 6.208",\
                 "3.527, 3.554, 3.643, 3.798, 4.027, 4.341, 4.751, 5.266, 5.895, 6.646",\
                 "4.061, 4.088, 4.176, 4.331, 4.561, 4.874, 5.284, 5.799, 6.428, 7.178",\
                 "4.684, 4.712, 4.8, 4.955, 5.184, 5.498, 5.908, 6.423, 7.052, 7.802",\
                 "5.395, 5.422, 5.511, 5.666, 5.895, 6.208, 6.618, 7.134, 7.763, 8.513");
        }

        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.00805, 0.01853, 0.03485, 0.05776, 0.0879, 0.1259, 0.1722, 0.2275");
          values("0.8989, 0.9565, 1.15, 1.502, 2.041, 2.789, 3.77, 5.002, 6.504, 8.295",\
                 "0.9207, 0.9781, 1.171, 1.524, 2.062, 2.811, 3.792, 5.024, 6.527, 8.316",\
                 "0.9976, 1.055, 1.249, 1.601, 2.139, 2.888, 3.869, 5.101, 6.603, 8.394",\
                 "1.135, 1.192, 1.385, 1.736, 2.273, 3.022, 4.003, 5.236, 6.741, 8.528",\
                 "1.267, 1.325, 1.518, 1.868, 2.404, 3.152, 4.133, 5.366, 6.87, 8.662",\
                 "1.363, 1.421, 1.615, 1.966, 2.5, 3.246, 4.227, 5.46, 6.963, 8.754",\
                 "1.419, 1.478, 1.674, 2.025, 2.557, 3.301, 4.28, 5.512, 7.015, 8.805",\
                 "1.431, 1.491, 1.688, 2.04, 2.572, 3.312, 4.288, 5.519, 7.021, 8.813",\
                 "1.391, 1.451, 1.651, 2.006, 2.537, 3.275, 4.248, 5.477, 6.978, 8.768",\
                 "1.292, 1.354, 1.556, 1.917, 2.447, 3.184, 4.156, 5.384, 6.881, 8.669");
        }

        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.00805, 0.01853, 0.03485, 0.05776, 0.0879, 0.1259, 0.1722, 0.2275");
          values("0.4878, 0.5338, 0.6782, 0.9234, 1.279, 1.767, 2.419, 3.261, 4.31, 5.58",\
                 "0.488, 0.5346, 0.679, 0.9238, 1.279, 1.768, 2.419, 3.261, 4.309, 5.579",\
                 "0.4878, 0.5346, 0.6774, 0.9246, 1.279, 1.767, 2.418, 3.261, 4.309, 5.579",\
                 "0.4882, 0.5332, 0.6786, 0.9248, 1.279, 1.768, 2.42, 3.261, 4.309, 5.58",\
                 "0.4914, 0.5374, 0.682, 0.9262, 1.282, 1.77, 2.421, 3.262, 4.309, 5.58",\
                 "0.5228, 0.5682, 0.7098, 0.952, 1.299, 1.782, 2.427, 3.265, 4.313, 5.581",\
                 "0.5628, 0.6082, 0.7488, 0.9884, 1.336, 1.812, 2.452, 3.28, 4.319, 5.585",\
                 "0.6036, 0.6486, 0.791, 1.028, 1.371, 1.841, 2.476, 3.301, 4.336, 5.595",\
                 "0.6474, 0.6952, 0.8366, 1.072, 1.41, 1.874, 2.502, 3.318, 4.348, 5.606",\
                 "0.696, 0.744, 0.89, 1.126, 1.46, 1.916, 2.532, 3.338, 4.362, 5.616");
        }

        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.00805, 0.01853, 0.03485, 0.05776, 0.0879, 0.1259, 0.1722, 0.2275");
          values("0.5014, 0.5842, 0.8764, 1.448, 2.357, 3.647, 5.343, 7.485, 10.1, 13.21",\
                 "0.5017, 0.5842, 0.8764, 1.448, 2.359, 3.647, 5.346, 7.489, 10.08, 13.19",\
                 "0.5008, 0.5838, 0.8766, 1.448, 2.359, 3.646, 5.338, 7.482, 10.09, 13.21",\
                 "0.5052, 0.5868, 0.8784, 1.448, 2.355, 3.647, 5.342, 7.473, 10.08, 13.21",\
                 "0.521, 0.6036, 0.8912, 1.454, 2.36, 3.647, 5.341, 7.483, 10.1, 13.19",\
                 "0.5404, 0.621, 0.9052, 1.461, 2.362, 3.648, 5.345, 7.485, 10.1, 13.21",\
                 "0.5636, 0.644, 0.9248, 1.474, 2.368, 3.648, 5.345, 7.484, 10.1, 13.21",\
                 "0.5896, 0.67, 0.9518, 1.492, 2.373, 3.648, 5.341, 7.478, 10.1, 13.2",\
                 "0.62, 0.7, 0.9806, 1.515, 2.387, 3.654, 5.343, 7.479, 10.08, 13.21",\
                 "0.6534, 0.7332, 1.015, 1.545, 2.408, 3.666, 5.348, 7.48, 10.09, 13.19");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.002563, 0.00805, 0.01853, 0.03485, 0.05776, 0.0879, 0.1259, 0.1722, 0.2275");
          values("1.737, 1.778, 1.907, 2.117, 2.401, 2.758, 3.196, 3.727, 4.364, 5.118",\
                 "1.762, 1.803, 1.932, 2.142, 2.426, 2.783, 3.221, 3.752, 4.389, 5.143",\
                 "1.841, 1.882, 2.01, 2.221, 2.505, 2.861, 3.3, 3.831, 4.468, 5.221",\
                 "1.928, 1.969, 2.098, 2.308, 2.592, 2.949, 3.387, 3.918, 4.555, 5.309",\
                 "1.967, 2.008, 2.137, 2.347, 2.631, 2.988, 3.426, 3.957, 4.594, 5.347",\
                 "1.949, 1.99, 2.118, 2.329, 2.612, 2.969, 3.406, 3.938, 4.574, 5.328",\
                 "1.863, 1.904, 2.033, 2.243, 2.526, 2.882, 3.32, 3.85, 4.486, 5.24",\
                 "1.701, 1.741, 1.87, 2.081, 2.365, 2.722, 3.159, 3.689, 4.326, 5.079",\
                 "1.457, 1.498, 1.627, 1.839, 2.123, 2.48, 2.918, 3.449, 4.085, 4.838",\
                 "1.127, 1.169, 1.299, 1.51, 1.795, 2.152, 2.59, 3.12, 3.756, 4.508");
        }

        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.00805, 0.01853, 0.03485, 0.05776, 0.0879, 0.1259, 0.1722, 0.2275");
          values("1.921, 1.975, 2.161, 2.509, 3.045, 3.793, 4.774, 6.007, 7.51, 9.302",\
                 "1.935, 1.989, 2.175, 2.522, 3.058, 3.806, 4.788, 6.021, 7.525, 9.316",\
                 "2.016, 2.071, 2.257, 2.604, 3.141, 3.888, 4.87, 6.102, 7.607, 9.397",\
                 "2.222, 2.277, 2.462, 2.809, 3.345, 4.094, 5.075, 6.308, 7.812, 9.603",\
                 "2.563, 2.618, 2.804, 3.151, 3.687, 4.436, 5.417, 6.65, 8.153, 9.945",\
                 "3.012, 3.067, 3.253, 3.6, 4.136, 4.885, 5.866, 7.1, 8.602, 10.39",\
                 "3.548, 3.602, 3.788, 4.136, 4.671, 5.419, 6.4, 7.634, 9.137, 10.93",\
                 "4.182, 4.237, 4.422, 4.77, 5.305, 6.052, 7.033, 8.267, 9.771, 11.56",\
                 "4.923, 4.978, 5.163, 5.51, 6.045, 6.793, 7.774, 9.006, 10.51, 12.3",\
                 "5.772, 5.827, 6.013, 6.358, 6.894, 7.641, 8.622, 9.856, 11.36, 13.15");
        }

        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.00805, 0.01853, 0.03485, 0.05776, 0.0879, 0.1259, 0.1722, 0.2275");
          values("0.4884, 0.5334, 0.6778, 0.923, 1.278, 1.768, 2.419, 3.261, 4.31, 5.58",\
                 "0.4884, 0.5334, 0.678, 0.924, 1.279, 1.768, 2.42, 3.261, 4.31, 5.58",\
                 "0.488, 0.5338, 0.6786, 0.9234, 1.279, 1.767, 2.419, 3.26, 4.31, 5.579",\
                 "0.4878, 0.5338, 0.679, 0.9236, 1.279, 1.768, 2.42, 3.261, 4.309, 5.579",\
                 "0.4872, 0.5334, 0.6784, 0.923, 1.279, 1.768, 2.419, 3.26, 4.309, 5.58",\
                 "0.487, 0.5328, 0.677, 0.9212, 1.277, 1.766, 2.418, 3.26, 4.31, 5.579",\
                 "0.4882, 0.5332, 0.6772, 0.9228, 1.276, 1.764, 2.416, 3.256, 4.307, 5.578",\
                 "0.4894, 0.5354, 0.679, 0.9246, 1.278, 1.766, 2.419, 3.259, 4.307, 5.572",\
                 "0.4914, 0.537, 0.681, 0.9256, 1.28, 1.768, 2.42, 3.26, 4.307, 5.576",\
                 "0.4936, 0.5396, 0.6832, 0.9282, 1.283, 1.769, 2.419, 3.258, 4.304, 5.572");
        }

        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.00805, 0.01853, 0.03485, 0.05776, 0.0879, 0.1259, 0.1722, 0.2275");
          values("0.4796, 0.5604, 0.856, 1.436, 2.355, 3.64, 5.344, 7.477, 10.1, 13.21",\
                 "0.4796, 0.5604, 0.8558, 1.436, 2.356, 3.646, 5.345, 7.484, 10.1, 13.2",\
                 "0.4792, 0.5614, 0.8552, 1.437, 2.354, 3.646, 5.345, 7.486, 10.09, 13.21",\
                 "0.4798, 0.5604, 0.855, 1.436, 2.356, 3.641, 5.344, 7.48, 10.1, 13.2",\
                 "0.4804, 0.5614, 0.8552, 1.437, 2.354, 3.642, 5.343, 7.484, 10.1, 13.2",\
                 "0.4812, 0.562, 0.856, 1.438, 2.355, 3.641, 5.339, 7.471, 10.1, 13.21",\
                 "0.4836, 0.5638, 0.8562, 1.438, 2.354, 3.644, 5.34, 7.483, 10.1, 13.21",\
                 "0.4858, 0.5668, 0.8584, 1.439, 2.355, 3.642, 5.342, 7.484, 10.1, 13.21",\
                 "0.488, 0.568, 0.858, 1.44, 2.354, 3.642, 5.336, 7.472, 10.08, 13.21",\
                 "0.494, 0.572, 0.86, 1.438, 2.354, 3.642, 5.342, 7.472, 10.08, 13.21");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.002563, 0.00805, 0.01853, 0.03485, 0.05776, 0.0879, 0.1259, 0.1722, 0.2275");
          values("1.227, 1.255, 1.344, 1.5, 1.729, 2.042, 2.452, 2.968, 3.597, 4.347",\
                 "1.25, 1.278, 1.367, 1.523, 1.752, 2.065, 2.475, 2.991, 3.621, 4.371",\
                 "1.303, 1.331, 1.42, 1.575, 1.805, 2.118, 2.528, 3.043, 3.674, 4.424",\
                 "1.392, 1.42, 1.509, 1.665, 1.894, 2.208, 2.617, 3.133, 3.762, 4.513",\
                 "1.486, 1.514, 1.603, 1.759, 1.989, 2.302, 2.712, 3.228, 3.856, 4.607",\
                 "1.552, 1.58, 1.67, 1.826, 2.056, 2.369, 2.779, 3.295, 3.925, 4.674",\
                 "1.579, 1.606, 1.696, 1.853, 2.083, 2.397, 2.807, 3.323, 3.952, 4.701",\
                 "1.553, 1.581, 1.672, 1.829, 2.059, 2.373, 2.783, 3.299, 3.928, 4.678",\
                 "1.467, 1.495, 1.587, 1.745, 1.975, 2.289, 2.7, 3.216, 3.845, 4.595",\
                 "1.315, 1.344, 1.436, 1.594, 1.826, 2.141, 2.551, 3.067, 3.696, 4.445");
        }

        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.00805, 0.01853, 0.03485, 0.05776, 0.0879, 0.1259, 0.1722, 0.2275");
          values("2.109, 2.139, 2.236, 2.412, 2.678, 3.046, 3.53, 4.139, 4.884, 5.772",\
                 "2.127, 2.156, 2.253, 2.43, 2.695, 3.063, 3.547, 4.157, 4.901, 5.789",\
                 "2.212, 2.242, 2.34, 2.516, 2.781, 3.149, 3.633, 4.243, 4.987, 5.875",\
                 "2.4, 2.43, 2.527, 2.704, 2.969, 3.337, 3.821, 4.431, 5.175, 6.063",\
                 "2.716, 2.745, 2.844, 3.02, 3.285, 3.653, 4.137, 4.746, 5.491, 6.379",\
                 "3.151, 3.18, 3.278, 3.455, 3.72, 4.089, 4.572, 5.182, 5.927, 6.814",\
                 "3.656, 3.685, 3.784, 3.96, 4.226, 4.594, 5.079, 5.688, 6.433, 7.321",\
                 "4.228, 4.257, 4.355, 4.533, 4.799, 5.167, 5.65, 6.261, 7.006, 7.894",\
                 "4.876, 4.908, 5.006, 5.184, 5.451, 5.82, 6.304, 6.911, 7.656, 8.544",\
                 "5.613, 5.643, 5.743, 5.92, 6.187, 6.556, 7.04, 7.65, 8.395, 9.282");
        }

        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.00805, 0.01853, 0.03485, 0.05776, 0.0879, 0.1259, 0.1722, 0.2275");
          values("0.2466, 0.2804, 0.3984, 0.6258, 0.9906, 1.513, 2.208, 3.092, 4.168, 5.456",\
                 "0.2468, 0.2804, 0.3978, 0.6266, 0.9918, 1.513, 2.21, 3.091, 4.17, 5.454",\
                 "0.2472, 0.28, 0.3982, 0.6266, 0.9916, 1.513, 2.21, 3.09, 4.171, 5.453",\
                 "0.247, 0.2806, 0.3984, 0.6266, 0.992, 1.513, 2.21, 3.092, 4.169, 5.457",\
                 "0.2488, 0.2824, 0.3994, 0.6272, 0.9922, 1.514, 2.21, 3.09, 4.168, 5.456",\
                 "0.2518, 0.2844, 0.4012, 0.629, 0.992, 1.514, 2.209, 3.09, 4.171, 5.455",\
                 "0.254, 0.2878, 0.4042, 0.63, 0.9928, 1.513, 2.208, 3.089, 4.167, 5.454",\
                 "0.2588, 0.2912, 0.4066, 0.6326, 0.9942, 1.514, 2.209, 3.091, 4.166, 5.453",\
                 "0.263, 0.2952, 0.4102, 0.6348, 0.9948, 1.515, 2.21, 3.092, 4.17, 5.454",\
                 "0.2692, 0.3008, 0.4146, 0.6378, 0.9974, 1.516, 2.211, 3.092, 4.172, 5.452");
        }

        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.00805, 0.01853, 0.03485, 0.05776, 0.0879, 0.1259, 0.1722, 0.2275");
          values("0.4056, 0.4498, 0.6018, 0.8894, 1.347, 1.998, 2.856, 3.936, 5.253, 6.822",\
                 "0.4064, 0.4508, 0.6008, 0.8892, 1.347, 1.998, 2.856, 3.936, 5.253, 6.822",\
                 "0.4068, 0.4498, 0.6, 0.8894, 1.347, 1.998, 2.857, 3.936, 5.253, 6.822",\
                 "0.4062, 0.4508, 0.5998, 0.8894, 1.346, 1.998, 2.856, 3.936, 5.253, 6.822",\
                 "0.4056, 0.45, 0.6016, 0.889, 1.347, 1.997, 2.856, 3.935, 5.253, 6.821",\
                 "0.4062, 0.4496, 0.6014, 0.888, 1.346, 1.997, 2.856, 3.935, 5.253, 6.822",\
                 "0.4066, 0.4506, 0.6008, 0.8876, 1.345, 1.996, 2.854, 3.935, 5.252, 6.82",\
                 "0.4068, 0.4504, 0.6008, 0.8872, 1.344, 1.994, 2.853, 3.935, 5.252, 6.82",\
                 "0.406, 0.45, 0.602, 0.888, 1.344, 1.996, 2.852, 3.934, 5.25, 6.82",\
                 "0.41, 0.454, 0.6, 0.886, 1.342, 1.992, 2.854, 3.932, 5.25, 6.82");
        }
      }

      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.00805, 0.01853, 0.03485, 0.05776, 0.0879, 0.1259, 0.1722, 0.2275");
          values("1.737, 1.778, 1.907, 2.117, 2.401, 2.758, 3.196, 3.727, 4.364, 5.118",\
                 "1.762, 1.803, 1.932, 2.142, 2.426, 2.783, 3.221, 3.752, 4.389, 5.143",\
                 "1.841, 1.882, 2.01, 2.221, 2.505, 2.861, 3.3, 3.831, 4.468, 5.221",\
                 "1.928, 1.969, 2.098, 2.308, 2.592, 2.949, 3.387, 3.918, 4.555, 5.309",\
                 "1.967, 2.008, 2.137, 2.347, 2.631, 2.988, 3.426, 3.957, 4.594, 5.347",\
                 "1.949, 1.99, 2.118, 2.329, 2.612, 2.969, 3.406, 3.938, 4.574, 5.328",\
                 "1.863, 1.904, 2.033, 2.243, 2.526, 2.882, 3.32, 3.85, 4.486, 5.24",\
                 "1.701, 1.741, 1.87, 2.081, 2.365, 2.722, 3.159, 3.689, 4.326, 5.079",\
                 "1.457, 1.498, 1.627, 1.839, 2.123, 2.48, 2.918, 3.449, 4.085, 4.838",\
                 "1.127, 1.169, 1.299, 1.51, 1.795, 2.152, 2.59, 3.12, 3.756, 4.508");
        }

        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.00805, 0.01853, 0.03485, 0.05776, 0.0879, 0.1259, 0.1722, 0.2275");
          values("1.921, 1.975, 2.161, 2.509, 3.045, 3.793, 4.774, 6.007, 7.51, 9.302",\
                 "1.935, 1.989, 2.175, 2.522, 3.058, 3.806, 4.788, 6.021, 7.525, 9.316",\
                 "2.016, 2.071, 2.257, 2.604, 3.141, 3.888, 4.87, 6.102, 7.607, 9.397",\
                 "2.222, 2.277, 2.462, 2.809, 3.345, 4.094, 5.075, 6.308, 7.812, 9.603",\
                 "2.563, 2.618, 2.804, 3.151, 3.687, 4.436, 5.417, 6.65, 8.153, 9.945",\
                 "3.012, 3.067, 3.253, 3.6, 4.136, 4.885, 5.866, 7.1, 8.602, 10.39",\
                 "3.548, 3.602, 3.788, 4.136, 4.671, 5.419, 6.4, 7.634, 9.137, 10.93",\
                 "4.182, 4.237, 4.422, 4.77, 5.305, 6.052, 7.033, 8.267, 9.771, 11.56",\
                 "4.923, 4.978, 5.163, 5.51, 6.045, 6.793, 7.774, 9.006, 10.51, 12.3",\
                 "5.772, 5.827, 6.013, 6.358, 6.894, 7.641, 8.622, 9.856, 11.36, 13.15");
        }

        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.00805, 0.01853, 0.03485, 0.05776, 0.0879, 0.1259, 0.1722, 0.2275");
          values("0.4884, 0.5334, 0.6778, 0.923, 1.278, 1.768, 2.419, 3.261, 4.31, 5.58",\
                 "0.4884, 0.5334, 0.678, 0.924, 1.279, 1.768, 2.42, 3.261, 4.31, 5.58",\
                 "0.488, 0.5338, 0.6786, 0.9234, 1.279, 1.767, 2.419, 3.26, 4.31, 5.579",\
                 "0.4878, 0.5338, 0.679, 0.9236, 1.279, 1.768, 2.42, 3.261, 4.309, 5.579",\
                 "0.4872, 0.5334, 0.6784, 0.923, 1.279, 1.768, 2.419, 3.26, 4.309, 5.58",\
                 "0.487, 0.5328, 0.677, 0.9212, 1.277, 1.766, 2.418, 3.26, 4.31, 5.579",\
                 "0.4882, 0.5332, 0.6772, 0.9228, 1.276, 1.764, 2.416, 3.256, 4.307, 5.578",\
                 "0.4894, 0.5354, 0.679, 0.9246, 1.278, 1.766, 2.419, 3.259, 4.307, 5.572",\
                 "0.4914, 0.537, 0.681, 0.9256, 1.28, 1.768, 2.42, 3.26, 4.307, 5.576",\
                 "0.4936, 0.5396, 0.6832, 0.9282, 1.283, 1.769, 2.419, 3.258, 4.304, 5.572");
        }

        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.00805, 0.01853, 0.03485, 0.05776, 0.0879, 0.1259, 0.1722, 0.2275");
          values("0.4796, 0.5604, 0.856, 1.436, 2.355, 3.64, 5.344, 7.477, 10.1, 13.21",\
                 "0.4796, 0.5604, 0.8558, 1.436, 2.356, 3.646, 5.345, 7.484, 10.1, 13.2",\
                 "0.4792, 0.5614, 0.8552, 1.437, 2.354, 3.646, 5.345, 7.486, 10.09, 13.21",\
                 "0.4798, 0.5604, 0.855, 1.436, 2.356, 3.641, 5.344, 7.48, 10.1, 13.2",\
                 "0.4804, 0.5614, 0.8552, 1.437, 2.354, 3.642, 5.343, 7.484, 10.1, 13.2",\
                 "0.4812, 0.562, 0.856, 1.438, 2.355, 3.641, 5.339, 7.471, 10.1, 13.21",\
                 "0.4836, 0.5638, 0.8562, 1.438, 2.354, 3.644, 5.34, 7.483, 10.1, 13.21",\
                 "0.4858, 0.5668, 0.8584, 1.439, 2.355, 3.642, 5.342, 7.484, 10.1, 13.21",\
                 "0.488, 0.568, 0.858, 1.44, 2.354, 3.642, 5.336, 7.472, 10.08, 13.21",\
                 "0.494, 0.572, 0.86, 1.438, 2.354, 3.642, 5.342, 7.472, 10.08, 13.21");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.002563, 0.00805, 0.01853, 0.03485, 0.05776, 0.0879, 0.1259, 0.1722, 0.2275");
          values("2.205, 2.233, 2.322, 2.477, 2.705, 3.019, 3.429, 3.944, 4.574, 5.323",\
                 "2.219, 2.246, 2.335, 2.49, 2.718, 3.032, 3.442, 3.957, 4.587, 5.337",\
                 "2.301, 2.328, 2.417, 2.572, 2.8, 3.114, 3.524, 4.039, 4.669, 5.418",\
                 "2.506, 2.534, 2.622, 2.777, 3.005, 3.319, 3.729, 4.245, 4.873, 5.624",\
                 "2.848, 2.875, 2.964, 3.119, 3.347, 3.661, 4.07, 4.586, 5.215, 5.965",\
                 "3.298, 3.326, 3.414, 3.57, 3.798, 4.112, 4.521, 5.037, 5.666, 6.416",\
                 "3.835, 3.862, 3.951, 4.106, 4.335, 4.649, 5.059, 5.574, 6.204, 6.953",\
                 "4.471, 4.499, 4.588, 4.743, 4.971, 5.285, 5.695, 6.21, 6.839, 7.589",\
                 "5.214, 5.242, 5.331, 5.486, 5.715, 6.029, 6.439, 6.955, 7.583, 8.332",\
                 "6.068, 6.094, 6.184, 6.339, 6.567, 6.881, 7.291, 7.806, 8.436, 9.185");
        }

        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.00805, 0.01853, 0.03485, 0.05776, 0.0879, 0.1259, 0.1722, 0.2275");
          values("2.38, 2.409, 2.507, 2.682, 2.948, 3.316, 3.8, 4.41, 5.153, 6.042",\
                 "2.405, 2.435, 2.532, 2.708, 2.973, 3.341, 3.825, 4.435, 5.179, 6.067",\
                 "2.484, 2.513, 2.611, 2.786, 3.052, 3.42, 3.903, 4.513, 5.257, 6.145",\
                 "2.571, 2.6, 2.697, 2.874, 3.139, 3.507, 3.991, 4.601, 5.345, 6.233",\
                 "2.61, 2.639, 2.737, 2.913, 3.178, 3.546, 4.03, 4.639, 5.384, 6.271",\
                 "2.592, 2.621, 2.719, 2.895, 3.16, 3.528, 4.012, 4.621, 5.366, 6.253",\
                 "2.505, 2.535, 2.632, 2.808, 3.074, 3.442, 3.925, 4.534, 5.278, 6.167",\
                 "2.343, 2.372, 2.47, 2.646, 2.912, 3.28, 3.764, 4.372, 5.118, 6.004",\
                 "2.101, 2.13, 2.228, 2.404, 2.669, 3.037, 3.521, 4.131, 4.875, 5.763",\
                 "1.772, 1.801, 1.9, 2.076, 2.341, 2.71, 3.193, 3.802, 4.547, 5.434");
        }

        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.00805, 0.01853, 0.03485, 0.05776, 0.0879, 0.1259, 0.1722, 0.2275");
          values("0.2428, 0.2768, 0.3964, 0.6256, 0.9894, 1.513, 2.21, 3.092, 4.17, 5.454",\
                 "0.2434, 0.277, 0.3958, 0.6256, 0.9906, 1.513, 2.209, 3.089, 4.17, 5.456",\
                 "0.2432, 0.277, 0.3956, 0.6252, 0.9906, 1.513, 2.21, 3.092, 4.17, 5.453",\
                 "0.243, 0.2764, 0.3954, 0.6248, 0.9904, 1.513, 2.209, 3.092, 4.168, 5.456",\
                 "0.2432, 0.277, 0.3956, 0.6252, 0.9902, 1.513, 2.21, 3.092, 4.168, 5.456",\
                 "0.2432, 0.2768, 0.3954, 0.6262, 0.9902, 1.513, 2.21, 3.092, 4.168, 5.454",\
                 "0.243, 0.277, 0.3954, 0.6254, 0.9898, 1.512, 2.208, 3.092, 4.169, 5.454",\
                 "0.2436, 0.2774, 0.3958, 0.6256, 0.9894, 1.512, 2.208, 3.093, 4.172, 5.454",\
                 "0.244, 0.278, 0.396, 0.624, 0.99, 1.512, 2.208, 3.09, 4.168, 5.454",\
                 "0.244, 0.278, 0.396, 0.626, 0.99, 1.514, 2.21, 3.092, 4.17, 5.452");
        }

        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.00805, 0.01853, 0.03485, 0.05776, 0.0879, 0.1259, 0.1722, 0.2275");
          values("0.4064, 0.4502, 0.601, 0.8884, 1.347, 1.998, 2.856, 3.936, 5.253, 6.822",\
                 "0.406, 0.4496, 0.6012, 0.8894, 1.347, 1.998, 2.857, 3.936, 5.253, 6.822",\
                 "0.4062, 0.4492, 0.6014, 0.8892, 1.347, 1.999, 2.856, 3.936, 5.253, 6.822",\
                 "0.4054, 0.4506, 0.6, 0.8898, 1.347, 1.998, 2.856, 3.936, 5.253, 6.821",\
                 "0.4056, 0.4498, 0.6006, 0.8896, 1.347, 1.998, 2.857, 3.936, 5.252, 6.822",\
                 "0.4052, 0.4494, 0.6004, 0.8888, 1.347, 1.998, 2.856, 3.936, 5.253, 6.823",\
                 "0.405, 0.4494, 0.6008, 0.8892, 1.348, 1.997, 2.856, 3.935, 5.252, 6.821",\
                 "0.4062, 0.45, 0.601, 0.8896, 1.347, 1.997, 2.857, 3.935, 5.251, 6.819",\
                 "0.4064, 0.4502, 0.6004, 0.8888, 1.347, 1.998, 2.857, 3.935, 5.253, 6.82",\
                 "0.4064, 0.4498, 0.6006, 0.8892, 1.347, 2, 2.858, 3.936, 5.254, 6.822");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.002563, 0.00805, 0.01853, 0.03485, 0.05776, 0.0879, 0.1259, 0.1722, 0.2275");
          values("1.461, 1.503, 1.634, 1.848, 2.134, 2.492, 2.932, 3.464, 4.101, 4.855",\
                 "1.479, 1.52, 1.651, 1.865, 2.151, 2.51, 2.949, 3.481, 4.118, 4.872",\
                 "1.565, 1.606, 1.737, 1.951, 2.237, 2.596, 3.035, 3.567, 4.204, 4.958",\
                 "1.752, 1.794, 1.925, 2.138, 2.424, 2.784, 3.223, 3.755, 4.392, 5.147",\
                 "2.068, 2.11, 2.24, 2.453, 2.74, 3.099, 3.538, 4.07, 4.707, 5.461",\
                 "2.495, 2.537, 2.67, 2.884, 3.172, 3.532, 3.971, 4.503, 5.14, 5.894",\
                 "2.982, 3.026, 3.164, 3.385, 3.678, 4.043, 4.485, 5.019, 5.656, 6.409",\
                 "3.537, 3.583, 3.726, 3.953, 4.252, 4.621, 5.068, 5.604, 6.243, 6.997",\
                 "4.17, 4.217, 4.366, 4.6, 4.906, 5.28, 5.73, 6.267, 6.908, 7.663",\
                 "4.887, 4.938, 5.092, 5.332, 5.645, 6.024, 6.479, 7.019, 7.659, 8.415");
        }

        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.00805, 0.01853, 0.03485, 0.05776, 0.0879, 0.1259, 0.1722, 0.2275");
          values("0.9236, 0.9811, 1.174, 1.527, 2.066, 2.814, 3.795, 5.028, 6.53, 8.32",\
                 "0.9471, 1.004, 1.198, 1.551, 2.089, 2.837, 3.818, 5.051, 6.553, 8.342",\
                 "0.9998, 1.057, 1.25, 1.603, 2.142, 2.89, 3.871, 5.103, 6.605, 8.396",\
                 "1.086, 1.143, 1.336, 1.688, 2.226, 2.974, 3.956, 5.188, 6.693, 8.482",\
                 "1.168, 1.226, 1.42, 1.772, 2.309, 3.057, 4.038, 5.272, 6.776, 8.564",\
                 "1.222, 1.28, 1.476, 1.828, 2.364, 3.111, 4.091, 5.325, 6.829, 8.619",\
                 "1.234, 1.293, 1.49, 1.843, 2.378, 3.123, 4.103, 5.335, 6.838, 8.629",\
                 "1.194, 1.254, 1.453, 1.808, 2.342, 3.086, 4.063, 5.294, 6.796, 8.589",\
                 "1.095, 1.155, 1.357, 1.714, 2.25, 2.992, 3.967, 5.198, 6.699, 8.489",\
                 "0.9314, 0.9931, 1.197, 1.558, 2.095, 2.837, 3.813, 5.041, 6.541, 8.329");
        }

        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.00805, 0.01853, 0.03485, 0.05776, 0.0879, 0.1259, 0.1722, 0.2275");
          values("0.5096, 0.5528, 0.6968, 0.9402, 1.29, 1.778, 2.428, 3.267, 4.313, 5.582",\
                 "0.5098, 0.5542, 0.6972, 0.9398, 1.292, 1.778, 2.428, 3.267, 4.313, 5.582",\
                 "0.5098, 0.5532, 0.6968, 0.9392, 1.292, 1.778, 2.426, 3.267, 4.313, 5.583",\
                 "0.5092, 0.5538, 0.6974, 0.9388, 1.293, 1.778, 2.427, 3.267, 4.314, 5.581",\
                 "0.5118, 0.5556, 0.699, 0.9402, 1.294, 1.779, 2.429, 3.267, 4.314, 5.582",\
                 "0.5374, 0.5806, 0.7224, 0.9584, 1.307, 1.788, 2.434, 3.271, 4.316, 5.583",\
                 "0.579, 0.6246, 0.762, 0.997, 1.341, 1.816, 2.454, 3.282, 4.323, 5.586",\
                 "0.6214, 0.6656, 0.8042, 1.038, 1.376, 1.847, 2.478, 3.304, 4.337, 5.596",\
                 "0.6636, 0.708, 0.848, 1.078, 1.414, 1.876, 2.504, 3.32, 4.35, 5.606",\
                 "0.71, 0.756, 0.898, 1.128, 1.458, 1.912, 2.528, 3.338, 4.36, 5.614");
        }

        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.00805, 0.01853, 0.03485, 0.05776, 0.0879, 0.1259, 0.1722, 0.2275");
          values("0.5009, 0.5846, 0.8764, 1.446, 2.359, 3.648, 5.344, 7.475, 10.1, 13.21",\
                 "0.5016, 0.5834, 0.8764, 1.448, 2.359, 3.647, 5.344, 7.482, 10.1, 13.22",\
                 "0.5008, 0.5842, 0.8764, 1.448, 2.357, 3.648, 5.341, 7.485, 10.1, 13.2",\
                 "0.5048, 0.5864, 0.8784, 1.449, 2.357, 3.648, 5.345, 7.473, 10.09, 13.21",\
                 "0.5178, 0.5994, 0.888, 1.452, 2.359, 3.647, 5.344, 7.479, 10.09, 13.21",\
                 "0.5338, 0.6166, 0.9026, 1.461, 2.36, 3.648, 5.345, 7.485, 10.1, 13.22",\
                 "0.554, 0.6372, 0.9216, 1.472, 2.366, 3.645, 5.347, 7.486, 10.1, 13.2",\
                 "0.5774, 0.66, 0.9442, 1.49, 2.373, 3.647, 5.339, 7.478, 10.1, 13.2",\
                 "0.604, 0.6864, 0.9724, 1.514, 2.389, 3.654, 5.345, 7.476, 10.08, 13.2",\
                 "0.6328, 0.7158, 1, 1.542, 2.409, 3.67, 5.358, 7.48, 10.08, 13.19");
        }
      }

      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.00805, 0.01853, 0.03485, 0.05776, 0.0879, 0.1259, 0.1722, 0.2275");
          values("2.205, 2.233, 2.322, 2.477, 2.705, 3.019, 3.429, 3.944, 4.574, 5.323",\
                 "2.219, 2.246, 2.335, 2.49, 2.718, 3.032, 3.442, 3.957, 4.587, 5.337",\
                 "2.301, 2.328, 2.417, 2.572, 2.8, 3.114, 3.524, 4.039, 4.669, 5.418",\
                 "2.506, 2.534, 2.622, 2.777, 3.005, 3.319, 3.729, 4.245, 4.873, 5.624",\
                 "2.848, 2.875, 2.964, 3.119, 3.347, 3.661, 4.07, 4.586, 5.215, 5.965",\
                 "3.298, 3.326, 3.414, 3.57, 3.798, 4.112, 4.521, 5.037, 5.666, 6.416",\
                 "3.835, 3.862, 3.951, 4.106, 4.335, 4.649, 5.059, 5.574, 6.204, 6.953",\
                 "4.471, 4.499, 4.588, 4.743, 4.971, 5.285, 5.695, 6.21, 6.839, 7.589",\
                 "5.214, 5.242, 5.331, 5.486, 5.715, 6.029, 6.439, 6.955, 7.583, 8.332",\
                 "6.068, 6.094, 6.184, 6.339, 6.567, 6.881, 7.291, 7.806, 8.436, 9.185");
        }

        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.00805, 0.01853, 0.03485, 0.05776, 0.0879, 0.1259, 0.1722, 0.2275");
          values("0.9236, 0.9811, 1.174, 1.527, 2.066, 2.814, 3.795, 5.028, 6.53, 8.32",\
                 "0.9471, 1.004, 1.198, 1.551, 2.089, 2.837, 3.818, 5.051, 6.553, 8.342",\
                 "0.9998, 1.057, 1.25, 1.603, 2.142, 2.89, 3.871, 5.103, 6.605, 8.396",\
                 "1.086, 1.143, 1.336, 1.688, 2.226, 2.974, 3.956, 5.188, 6.693, 8.482",\
                 "1.168, 1.226, 1.42, 1.772, 2.309, 3.057, 4.038, 5.272, 6.776, 8.564",\
                 "1.222, 1.28, 1.476, 1.828, 2.364, 3.111, 4.091, 5.325, 6.829, 8.619",\
                 "1.234, 1.293, 1.49, 1.843, 2.378, 3.123, 4.103, 5.335, 6.838, 8.629",\
                 "1.194, 1.254, 1.453, 1.808, 2.342, 3.086, 4.063, 5.294, 6.796, 8.589",\
                 "1.095, 1.155, 1.357, 1.714, 2.25, 2.992, 3.967, 5.198, 6.699, 8.489",\
                 "0.9314, 0.9931, 1.197, 1.558, 2.095, 2.837, 3.813, 5.041, 6.541, 8.329");
        }

        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.00805, 0.01853, 0.03485, 0.05776, 0.0879, 0.1259, 0.1722, 0.2275");
          values("0.5096, 0.5528, 0.6968, 0.9402, 1.29, 1.778, 2.428, 3.267, 4.313, 5.582",\
                 "0.5098, 0.5542, 0.6972, 0.9398, 1.292, 1.778, 2.428, 3.267, 4.313, 5.582",\
                 "0.5098, 0.5532, 0.6968, 0.9392, 1.292, 1.778, 2.426, 3.267, 4.313, 5.583",\
                 "0.5092, 0.5538, 0.6974, 0.9388, 1.293, 1.778, 2.427, 3.267, 4.314, 5.581",\
                 "0.5118, 0.5556, 0.699, 0.9402, 1.294, 1.779, 2.429, 3.267, 4.314, 5.582",\
                 "0.5374, 0.5806, 0.7224, 0.9584, 1.307, 1.788, 2.434, 3.271, 4.316, 5.583",\
                 "0.579, 0.6246, 0.762, 0.997, 1.341, 1.816, 2.454, 3.282, 4.323, 5.586",\
                 "0.6214, 0.6656, 0.8042, 1.038, 1.376, 1.847, 2.478, 3.304, 4.337, 5.596",\
                 "0.6636, 0.708, 0.848, 1.078, 1.414, 1.876, 2.504, 3.32, 4.35, 5.606",\
                 "0.71, 0.756, 0.898, 1.128, 1.458, 1.912, 2.528, 3.338, 4.36, 5.614");
        }

        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.00805, 0.01853, 0.03485, 0.05776, 0.0879, 0.1259, 0.1722, 0.2275");
          values("0.5009, 0.5846, 0.8764, 1.446, 2.359, 3.648, 5.344, 7.475, 10.1, 13.21",\
                 "0.5016, 0.5834, 0.8764, 1.448, 2.359, 3.647, 5.344, 7.482, 10.1, 13.22",\
                 "0.5008, 0.5842, 0.8764, 1.448, 2.357, 3.648, 5.341, 7.485, 10.1, 13.2",\
                 "0.5048, 0.5864, 0.8784, 1.449, 2.357, 3.648, 5.345, 7.473, 10.09, 13.21",\
                 "0.5178, 0.5994, 0.888, 1.452, 2.359, 3.647, 5.344, 7.479, 10.09, 13.21",\
                 "0.5338, 0.6166, 0.9026, 1.461, 2.36, 3.648, 5.345, 7.485, 10.1, 13.22",\
                 "0.554, 0.6372, 0.9216, 1.472, 2.366, 3.645, 5.347, 7.486, 10.1, 13.2",\
                 "0.5774, 0.66, 0.9442, 1.49, 2.373, 3.647, 5.339, 7.478, 10.1, 13.2",\
                 "0.604, 0.6864, 0.9724, 1.514, 2.389, 3.654, 5.345, 7.476, 10.08, 13.2",\
                 "0.6328, 0.7158, 1, 1.542, 2.409, 3.67, 5.358, 7.48, 10.08, 13.19");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.002563, 0.00805, 0.01853, 0.03485, 0.05776, 0.0879, 0.1259, 0.1722, 0.2275");
          values("0.141, 0.1622, 0.236, 0.3779, 0.5992, 0.9101, 1.32, 1.835, 2.465, 3.216",\
                 "0.1626, 0.1842, 0.2593, 0.4021, 0.6241, 0.9353, 1.345, 1.861, 2.491, 3.241",\
                 "0.2257, 0.2534, 0.338, 0.4816, 0.704, 1.016, 1.425, 1.942, 2.571, 3.323",\
                 "0.263, 0.3026, 0.4241, 0.6137, 0.8549, 1.166, 1.576, 2.092, 2.721, 3.471",\
                 "0.2619, 0.3142, 0.4724, 0.7178, 1.03, 1.394, 1.812, 2.326, 2.954, 3.703",\
                 "0.2167, 0.2825, 0.4799, 0.7817, 1.163, 1.609, 2.109, 2.656, 3.285, 4.033",\
                 "0.125, 0.2025, 0.4387, 0.8012, 1.253, 1.778, 2.368, 3.015, 3.712, 4.473",\
                 "-0.0182, 0.0733, 0.348, 0.7718, 1.296, 1.904, 2.581, 3.326, 4.13, 4.986",\
                 "-0.216, -0.1118, 0.2033, 0.6851, 1.287, 1.979, 2.746, 3.585, 4.493, 5.463",\
                 "-0.4739, -0.3544, 0.001, 0.5419, 1.218, 1.999, 2.858, 3.795, 4.805, 5.885");
        }

        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.00805, 0.01853, 0.03485, 0.05776, 0.0879, 0.1259, 0.1722, 0.2275");
          values("0.3176, 0.3706, 0.5515, 0.8932, 1.422, 2.165, 3.14, 4.369, 5.869, 7.66",\
                 "0.3284, 0.383, 0.5694, 0.9157, 1.449, 2.193, 3.17, 4.401, 5.899, 7.692",\
                 "0.4117, 0.4638, 0.6466, 0.9939, 1.53, 2.276, 3.255, 4.487, 5.988, 7.777",\
                 "0.5831, 0.6444, 0.8362, 1.175, 1.705, 2.449, 3.427, 4.659, 6.16, 7.949",\
                 "0.7977, 0.8705, 1.102, 1.482, 2.006, 2.74, 3.714, 4.941, 6.442, 8.227",\
                 "1.066, 1.15, 1.415, 1.855, 2.442, 3.175, 4.135, 5.356, 6.847, 8.629",\
                 "1.391, 1.487, 1.785, 2.276, 2.941, 3.752, 4.714, 5.92, 7.402, 9.177",\
                 "1.77, 1.88, 2.218, 2.759, 3.493, 4.396, 5.444, 6.653, 8.121, 9.883",\
                 "2.207, 2.331, 2.713, 3.312, 4.107, 5.09, 6.247, 7.548, 9.022, 10.77",\
                 "2.704, 2.846, 3.273, 3.934, 4.794, 5.852, 7.102, 8.523, 10.09, 11.85");
        }

        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.00805, 0.01853, 0.03485, 0.05776, 0.0879, 0.1259, 0.1722, 0.2275");
          values("0.1756, 0.2125, 0.3414, 0.5878, 0.972, 1.505, 2.208, 3.092, 4.171, 5.455",\
                 "0.1757, 0.2127, 0.3421, 0.5886, 0.9716, 1.505, 2.208, 3.092, 4.171, 5.458",\
                 "0.2276, 0.2601, 0.3628, 0.5886, 0.9712, 1.505, 2.207, 3.09, 4.171, 5.456",\
                 "0.332, 0.3736, 0.5016, 0.7102, 1.013, 1.507, 2.206, 3.092, 4.17, 5.457",\
                 "0.4694, 0.5182, 0.6706, 0.92, 1.251, 1.662, 2.253, 3.093, 4.17, 5.455",\
                 "0.6318, 0.6934, 0.8762, 1.162, 1.543, 2.012, 2.553, 3.252, 4.21, 5.459",\
                 "0.8142, 0.889, 1.11, 1.443, 1.869, 2.395, 3.011, 3.704, 4.524, 5.605",\
                 "1.02, 1.108, 1.368, 1.758, 2.239, 2.814, 3.498, 4.269, 5.124, 6.09",\
                 "1.247, 1.35, 1.649, 2.099, 2.646, 3.281, 4.02, 4.869, 5.804, 6.833",\
                 "1.489, 1.611, 1.957, 2.467, 3.086, 3.789, 4.586, 5.5, 6.52, 7.64");
        }

        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.00805, 0.01853, 0.03485, 0.05776, 0.0879, 0.1259, 0.1722, 0.2275");
          values("0.4432, 0.5315, 0.8431, 1.435, 2.354, 3.646, 5.343, 7.481, 10.09, 13.2",\
                 "0.4431, 0.532, 0.8425, 1.432, 2.352, 3.646, 5.337, 7.481, 10.09, 13.21",\
                 "0.4439, 0.53, 0.8422, 1.433, 2.353, 3.641, 5.34, 7.485, 10.1, 13.21",\
                 "0.5484, 0.629, 0.8836, 1.433, 2.355, 3.646, 5.343, 7.473, 10.09, 13.21",\
                 "0.66, 0.7556, 1.057, 1.548, 2.366, 3.644, 5.34, 7.479, 10.09, 13.21",\
                 "0.7986, 0.8984, 1.234, 1.799, 2.555, 3.688, 5.341, 7.482, 10.09, 13.21",\
                 "0.9678, 1.075, 1.428, 2.05, 2.896, 3.945, 5.426, 7.488, 10.1, 13.22",\
                 "1.166, 1.281, 1.656, 2.31, 3.247, 4.388, 5.758, 7.611, 10.11, 13.21",\
                 "1.386, 1.513, 1.916, 2.598, 3.587, 4.848, 6.292, 8.024, 10.3, 13.23",\
                 "1.62, 1.764, 2.21, 2.928, 3.952, 5.298, 6.88, 8.656, 10.78, 13.49");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.002563, 0.00805, 0.01853, 0.03485, 0.05776, 0.0879, 0.1259, 0.1722, 0.2275");
          values("0.141, 0.1622, 0.236, 0.3778, 0.5992, 0.9101, 1.32, 1.835, 2.465, 3.216",\
                 "0.1626, 0.1842, 0.2593, 0.4021, 0.6241, 0.9353, 1.345, 1.861, 2.49, 3.24",\
                 "0.2257, 0.2533, 0.338, 0.4816, 0.7041, 1.016, 1.426, 1.942, 2.571, 3.323",\
                 "0.2629, 0.3026, 0.4239, 0.6136, 0.8548, 1.166, 1.576, 2.091, 2.721, 3.471",\
                 "0.2619, 0.3141, 0.4723, 0.7177, 1.029, 1.394, 1.812, 2.325, 2.955, 3.703",\
                 "0.2167, 0.2822, 0.4799, 0.7817, 1.163, 1.609, 2.109, 2.656, 3.286, 4.032",\
                 "0.1249, 0.2029, 0.4397, 0.8012, 1.253, 1.779, 2.369, 3.015, 3.713, 4.472",\
                 "-0.0182, 0.0732, 0.3479, 0.7713, 1.297, 1.904, 2.582, 3.326, 4.129, 4.986",\
                 "-0.2162, -0.1117, 0.2039, 0.686, 1.287, 1.978, 2.746, 3.585, 4.494, 5.463",\
                 "-0.4732, -0.3544, 0.0011, 0.5414, 1.219, 1.998, 2.859, 3.795, 4.805, 5.885");
        }

        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.00805, 0.01853, 0.03485, 0.05776, 0.0879, 0.1259, 0.1722, 0.2275");
          values("0.317, 0.3695, 0.551, 0.8926, 1.423, 2.164, 3.141, 4.37, 5.871, 7.656",\
                 "0.328, 0.3824, 0.5686, 0.9151, 1.449, 2.192, 3.169, 4.399, 5.899, 7.689",\
                 "0.4115, 0.4635, 0.6459, 0.9934, 1.53, 2.277, 3.256, 4.487, 5.989, 7.779",\
                 "0.583, 0.6441, 0.8358, 1.175, 1.704, 2.448, 3.427, 4.659, 6.161, 7.95",\
                 "0.7977, 0.8704, 1.102, 1.482, 2.006, 2.741, 3.714, 4.941, 6.439, 8.228",\
                 "1.066, 1.15, 1.415, 1.855, 2.442, 3.175, 4.136, 5.355, 6.848, 8.63",\
                 "1.39, 1.486, 1.785, 2.277, 2.941, 3.752, 4.713, 5.92, 7.401, 9.175",\
                 "1.77, 1.881, 2.218, 2.76, 3.492, 4.397, 5.445, 6.654, 8.122, 9.883",\
                 "2.207, 2.331, 2.712, 3.313, 4.107, 5.091, 6.247, 7.549, 9.021, 10.77",\
                 "2.704, 2.846, 3.273, 3.934, 4.794, 5.852, 7.103, 8.523, 10.09, 11.85");
        }

        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.00805, 0.01853, 0.03485, 0.05776, 0.0879, 0.1259, 0.1722, 0.2275");
          values("0.1755, 0.2124, 0.3412, 0.5877, 0.9721, 1.505, 2.207, 3.091, 4.171, 5.454",\
                 "0.1754, 0.2126, 0.342, 0.5886, 0.9718, 1.505, 2.206, 3.091, 4.171, 5.458",\
                 "0.2276, 0.2598, 0.3627, 0.588, 0.9718, 1.505, 2.207, 3.09, 4.171, 5.455",\
                 "0.3323, 0.3733, 0.5015, 0.7102, 1.012, 1.507, 2.207, 3.091, 4.171, 5.457",\
                 "0.4696, 0.5182, 0.6704, 0.9204, 1.251, 1.662, 2.253, 3.093, 4.17, 5.454",\
                 "0.6314, 0.6934, 0.8756, 1.161, 1.544, 2.012, 2.553, 3.252, 4.211, 5.459",\
                 "0.8144, 0.8888, 1.112, 1.443, 1.868, 2.397, 3.01, 3.702, 4.525, 5.607",\
                 "1.02, 1.107, 1.367, 1.758, 2.238, 2.814, 3.497, 4.268, 5.125, 6.088",\
                 "1.249, 1.35, 1.649, 2.101, 2.645, 3.283, 4.02, 4.863, 5.807, 6.834",\
                 "1.49, 1.61, 1.958, 2.466, 3.086, 3.794, 4.587, 5.5, 6.518, 7.638");
        }

        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.00805, 0.01853, 0.03485, 0.05776, 0.0879, 0.1259, 0.1722, 0.2275");
          values("0.4426, 0.5317, 0.843, 1.435, 2.354, 3.648, 5.341, 7.479, 10.09, 13.21",\
                 "0.4421, 0.5312, 0.8422, 1.434, 2.355, 3.643, 5.336, 7.485, 10.1, 13.21",\
                 "0.4434, 0.5291, 0.841, 1.434, 2.354, 3.646, 5.344, 7.485, 10.1, 13.21",\
                 "0.5484, 0.6294, 0.8822, 1.434, 2.355, 3.648, 5.345, 7.482, 10.09, 13.2",\
                 "0.6602, 0.755, 1.057, 1.547, 2.367, 3.646, 5.342, 7.472, 10.1, 13.21",\
                 "0.7982, 0.8974, 1.234, 1.799, 2.554, 3.688, 5.341, 7.485, 10.1, 13.2",\
                 "0.969, 1.074, 1.427, 2.051, 2.898, 3.945, 5.426, 7.49, 10.1, 13.22",\
                 "1.165, 1.281, 1.655, 2.31, 3.245, 4.387, 5.756, 7.622, 10.12, 13.2",\
                 "1.385, 1.515, 1.917, 2.6, 3.588, 4.848, 6.294, 8.022, 10.3, 13.23",\
                 "1.622, 1.768, 2.206, 2.928, 3.954, 5.294, 6.88, 8.658, 10.78, 13.5");
        }
      }

      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.00805, 0.01853, 0.03485, 0.05776, 0.0879, 0.1259, 0.1722, 0.2275");
          values("0.141, 0.1622, 0.236, 0.3779, 0.5992, 0.9101, 1.32, 1.835, 2.465, 3.216",\
                 "0.1626, 0.1842, 0.2593, 0.4021, 0.6241, 0.9353, 1.345, 1.861, 2.491, 3.241",\
                 "0.2257, 0.2534, 0.338, 0.4816, 0.704, 1.016, 1.425, 1.942, 2.571, 3.323",\
                 "0.263, 0.3026, 0.4241, 0.6137, 0.8549, 1.166, 1.576, 2.092, 2.721, 3.471",\
                 "0.2619, 0.3142, 0.4724, 0.7178, 1.03, 1.394, 1.812, 2.326, 2.954, 3.703",\
                 "0.2167, 0.2825, 0.4799, 0.7817, 1.163, 1.609, 2.109, 2.656, 3.285, 4.033",\
                 "0.125, 0.2025, 0.4387, 0.8012, 1.253, 1.778, 2.368, 3.015, 3.712, 4.473",\
                 "-0.0182, 0.0733, 0.348, 0.7718, 1.296, 1.904, 2.581, 3.326, 4.13, 4.986",\
                 "-0.216, -0.1118, 0.2033, 0.6851, 1.287, 1.979, 2.746, 3.585, 4.493, 5.463",\
                 "-0.4739, -0.3544, 0.001, 0.5419, 1.218, 1.999, 2.858, 3.795, 4.805, 5.885");
        }

        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.00805, 0.01853, 0.03485, 0.05776, 0.0879, 0.1259, 0.1722, 0.2275");
          values("0.317, 0.3695, 0.551, 0.8926, 1.423, 2.164, 3.141, 4.37, 5.871, 7.656",\
                 "0.328, 0.3824, 0.5686, 0.9151, 1.449, 2.192, 3.169, 4.399, 5.899, 7.689",\
                 "0.4115, 0.4635, 0.6459, 0.9934, 1.53, 2.277, 3.256, 4.487, 5.989, 7.779",\
                 "0.583, 0.6441, 0.8358, 1.175, 1.704, 2.448, 3.427, 4.659, 6.161, 7.95",\
                 "0.7977, 0.8704, 1.102, 1.482, 2.006, 2.741, 3.714, 4.941, 6.439, 8.228",\
                 "1.066, 1.15, 1.415, 1.855, 2.442, 3.175, 4.136, 5.355, 6.848, 8.63",\
                 "1.39, 1.486, 1.785, 2.277, 2.941, 3.752, 4.713, 5.92, 7.401, 9.175",\
                 "1.77, 1.881, 2.218, 2.76, 3.492, 4.397, 5.445, 6.654, 8.122, 9.883",\
                 "2.207, 2.331, 2.712, 3.313, 4.107, 5.091, 6.247, 7.549, 9.021, 10.77",\
                 "2.704, 2.846, 3.273, 3.934, 4.794, 5.852, 7.103, 8.523, 10.09, 11.85");
        }

        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.00805, 0.01853, 0.03485, 0.05776, 0.0879, 0.1259, 0.1722, 0.2275");
          values("0.1756, 0.2125, 0.3414, 0.5878, 0.972, 1.505, 2.208, 3.092, 4.171, 5.455",\
                 "0.1757, 0.2127, 0.3421, 0.5886, 0.9716, 1.505, 2.208, 3.092, 4.171, 5.458",\
                 "0.2276, 0.2601, 0.3628, 0.5886, 0.9712, 1.505, 2.207, 3.09, 4.171, 5.456",\
                 "0.332, 0.3736, 0.5016, 0.7102, 1.013, 1.507, 2.206, 3.092, 4.17, 5.457",\
                 "0.4694, 0.5182, 0.6706, 0.92, 1.251, 1.662, 2.253, 3.093, 4.17, 5.455",\
                 "0.6318, 0.6934, 0.8762, 1.162, 1.543, 2.012, 2.553, 3.252, 4.21, 5.459",\
                 "0.8142, 0.889, 1.11, 1.443, 1.869, 2.395, 3.011, 3.704, 4.524, 5.605",\
                 "1.02, 1.108, 1.368, 1.758, 2.239, 2.814, 3.498, 4.269, 5.124, 6.09",\
                 "1.247, 1.35, 1.649, 2.099, 2.646, 3.281, 4.02, 4.869, 5.804, 6.833",\
                 "1.489, 1.611, 1.957, 2.467, 3.086, 3.789, 4.586, 5.5, 6.52, 7.64");
        }

        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.00805, 0.01853, 0.03485, 0.05776, 0.0879, 0.1259, 0.1722, 0.2275");
          values("0.4426, 0.5317, 0.843, 1.435, 2.354, 3.648, 5.341, 7.479, 10.09, 13.21",\
                 "0.4421, 0.5312, 0.8422, 1.434, 2.355, 3.643, 5.336, 7.485, 10.1, 13.21",\
                 "0.4434, 0.5291, 0.841, 1.434, 2.354, 3.646, 5.344, 7.485, 10.1, 13.21",\
                 "0.5484, 0.6294, 0.8822, 1.434, 2.355, 3.648, 5.345, 7.482, 10.09, 13.2",\
                 "0.6602, 0.755, 1.057, 1.547, 2.367, 3.646, 5.342, 7.472, 10.1, 13.21",\
                 "0.7982, 0.8974, 1.234, 1.799, 2.554, 3.688, 5.341, 7.485, 10.1, 13.2",\
                 "0.969, 1.074, 1.427, 2.051, 2.898, 3.945, 5.426, 7.49, 10.1, 13.22",\
                 "1.165, 1.281, 1.655, 2.31, 3.245, 4.387, 5.756, 7.622, 10.12, 13.2",\
                 "1.385, 1.515, 1.917, 2.6, 3.588, 4.848, 6.294, 8.022, 10.3, 13.23",\
                 "1.622, 1.768, 2.206, 2.928, 3.954, 5.294, 6.88, 8.658, 10.78, 13.5");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.002563, 0.00805, 0.01853, 0.03485, 0.05776, 0.0879, 0.1259, 0.1722, 0.2275");
          values("0.7153, 0.7405, 0.8239, 0.9732, 1.198, 1.51, 1.919, 2.435, 3.065, 3.817",\
                 "0.741, 0.7663, 0.8497, 0.9993, 1.224, 1.536, 1.945, 2.461, 3.091, 3.843",\
                 "0.8478, 0.8735, 0.9576, 1.108, 1.334, 1.645, 2.054, 2.57, 3.2, 3.951",\
                 "1.057, 1.083, 1.169, 1.322, 1.549, 1.862, 2.271, 2.787, 3.416, 4.167",\
                 "1.328, 1.356, 1.446, 1.603, 1.833, 2.148, 2.558, 3.074, 3.703, 4.454",\
                 "1.637, 1.667, 1.762, 1.923, 2.158, 2.475, 2.885, 3.401, 4.03, 4.781",\
                 "1.994, 2.025, 2.124, 2.291, 2.529, 2.848, 3.26, 3.777, 4.405, 5.155",\
                 "2.402, 2.435, 2.539, 2.711, 2.952, 3.274, 3.688, 4.204, 4.835, 5.584",\
                 "2.862, 2.898, 3.007, 3.186, 3.432, 3.756, 4.171, 4.689, 5.319, 6.07",\
                 "3.377, 3.415, 3.531, 3.717, 3.969, 4.296, 4.714, 5.233, 5.864, 6.614");
        }

        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.00805, 0.01853, 0.03485, 0.05776, 0.0879, 0.1259, 0.1722, 0.2275");
          values("0.743, 0.7709, 0.8649, 1.036, 1.296, 1.66, 2.141, 2.749, 3.492, 4.379",\
                 "0.7631, 0.7908, 0.8851, 1.056, 1.316, 1.681, 2.162, 2.77, 3.514, 4.4",\
                 "0.8061, 0.8335, 0.9279, 1.099, 1.361, 1.726, 2.207, 2.815, 3.559, 4.447",\
                 "0.8682, 0.8966, 0.9925, 1.167, 1.431, 1.798, 2.281, 2.89, 3.634, 4.522",\
                 "0.936, 0.9656, 1.064, 1.239, 1.502, 1.87, 2.354, 2.963, 3.708, 4.595",\
                 "0.9844, 1.015, 1.116, 1.294, 1.56, 1.928, 2.408, 3.016, 3.76, 4.649",\
                 "1.003, 1.035, 1.139, 1.321, 1.59, 1.959, 2.441, 3.049, 3.789, 4.674",\
                 "0.9816, 1.015, 1.123, 1.311, 1.585, 1.957, 2.442, 3.05, 3.793, 4.677",\
                 "0.9179, 0.9522, 1.065, 1.259, 1.539, 1.917, 2.407, 3.018, 3.762, 4.647",\
                 "0.8049, 0.8415, 0.9583, 1.159, 1.445, 1.83, 2.328, 2.947, 3.694, 4.582");
        }

        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.00805, 0.01853, 0.03485, 0.05776, 0.0879, 0.1259, 0.1722, 0.2275");
          values("0.2973, 0.334, 0.4611, 0.7002, 1.074, 1.604, 2.306, 3.193, 4.275, 5.564",\
                 "0.2972, 0.3339, 0.4611, 0.7005, 1.073, 1.604, 2.305, 3.193, 4.274, 5.562",\
                 "0.2972, 0.3342, 0.4608, 0.7, 1.074, 1.605, 2.306, 3.193, 4.275, 5.562",\
                 "0.3026, 0.3388, 0.4642, 0.7022, 1.076, 1.605, 2.307, 3.194, 4.275, 5.562",\
                 "0.3082, 0.3442, 0.4688, 0.7058, 1.08, 1.608, 2.307, 3.194, 4.276, 5.564",\
                 "0.3186, 0.3536, 0.4736, 0.7066, 1.073, 1.6, 2.303, 3.193, 4.275, 5.564",\
                 "0.3392, 0.3726, 0.4892, 0.7152, 1.074, 1.592, 2.291, 3.179, 4.265, 5.561",\
                 "0.3674, 0.4006, 0.5128, 0.7326, 1.083, 1.594, 2.284, 3.169, 4.252, 5.545",\
                 "0.4034, 0.4348, 0.5442, 0.7578, 1.102, 1.603, 2.285, 3.163, 4.24, 5.538",\
                 "0.446, 0.478, 0.582, 0.792, 1.128, 1.62, 2.296, 3.166, 4.24, 5.526");
        }

        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.00805, 0.01853, 0.03485, 0.05776, 0.0879, 0.1259, 0.1722, 0.2275");
          values("0.4131, 0.4577, 0.609, 0.899, 1.357, 2.005, 2.861, 3.938, 5.255, 6.824",\
                 "0.4133, 0.4574, 0.6088, 0.8993, 1.357, 2.005, 2.861, 3.939, 5.254, 6.821",\
                 "0.415, 0.4586, 0.61, 0.8996, 1.357, 2.005, 2.86, 3.939, 5.254, 6.823",\
                 "0.4184, 0.463, 0.6146, 0.902, 1.358, 2.005, 2.861, 3.938, 5.254, 6.822",\
                 "0.4092, 0.4526, 0.6028, 0.887, 1.345, 1.999, 2.859, 3.938, 5.254, 6.823",\
                 "0.4218, 0.4652, 0.6128, 0.8922, 1.339, 1.98, 2.84, 3.926, 5.25, 6.821",\
                 "0.4452, 0.4884, 0.6348, 0.9106, 1.347, 1.983, 2.831, 3.908, 5.232, 6.807",\
                 "0.4744, 0.5182, 0.6644, 0.937, 1.371, 1.997, 2.838, 3.907, 5.221, 6.793",\
                 "0.5076, 0.5514, 0.7002, 0.9716, 1.404, 2.029, 2.863, 3.923, 5.228, 6.788",\
                 "0.5412, 0.5856, 0.7358, 1.009, 1.441, 2.068, 2.906, 3.96, 5.252, 6.8");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.002563, 0.00805, 0.01853, 0.03485, 0.05776, 0.0879, 0.1259, 0.1722, 0.2275");
          values("0.7153, 0.7405, 0.8239, 0.9731, 1.198, 1.51, 1.919, 2.435, 3.065, 3.817",\
                 "0.741, 0.7663, 0.8497, 0.9993, 1.224, 1.536, 1.945, 2.461, 3.091, 3.843",\
                 "0.8478, 0.8735, 0.9576, 1.108, 1.334, 1.645, 2.054, 2.57, 3.2, 3.951",\
                 "1.057, 1.082, 1.169, 1.322, 1.549, 1.861, 2.271, 2.787, 3.416, 4.167",\
                 "1.328, 1.356, 1.446, 1.603, 1.833, 2.148, 2.558, 3.074, 3.703, 4.454",\
                 "1.637, 1.667, 1.762, 1.923, 2.158, 2.475, 2.885, 3.401, 4.03, 4.781",\
                 "1.994, 2.025, 2.124, 2.291, 2.529, 2.848, 3.261, 3.777, 4.405, 5.155",\
                 "2.402, 2.435, 2.539, 2.711, 2.952, 3.274, 3.688, 4.204, 4.835, 5.584",\
                 "2.862, 2.898, 3.008, 3.185, 3.432, 3.756, 4.171, 4.689, 5.32, 6.07",\
                 "3.377, 3.415, 3.531, 3.716, 3.969, 4.296, 4.714, 5.233, 5.863, 6.614");
        }

        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.00805, 0.01853, 0.03485, 0.05776, 0.0879, 0.1259, 0.1722, 0.2275");
          values("0.7429, 0.7709, 0.8649, 1.036, 1.296, 1.66, 2.141, 2.749, 3.492, 4.379",\
                 "0.7631, 0.7907, 0.8851, 1.056, 1.316, 1.681, 2.162, 2.77, 3.514, 4.4",\
                 "0.8058, 0.8335, 0.9279, 1.099, 1.361, 1.726, 2.207, 2.815, 3.559, 4.447",\
                 "0.8682, 0.8965, 0.9925, 1.167, 1.431, 1.798, 2.281, 2.89, 3.634, 4.522",\
                 "0.936, 0.9656, 1.064, 1.239, 1.502, 1.87, 2.354, 2.963, 3.708, 4.595",\
                 "0.9841, 1.015, 1.116, 1.294, 1.56, 1.928, 2.408, 3.016, 3.76, 4.649",\
                 "1.003, 1.035, 1.139, 1.321, 1.59, 1.959, 2.441, 3.049, 3.789, 4.674",\
                 "0.9816, 1.015, 1.124, 1.312, 1.585, 1.957, 2.442, 3.051, 3.793, 4.678",\
                 "0.918, 0.9522, 1.065, 1.259, 1.539, 1.917, 2.407, 3.018, 3.762, 4.647",\
                 "0.8049, 0.8418, 0.9583, 1.159, 1.445, 1.83, 2.328, 2.947, 3.694, 4.582");
        }

        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.00805, 0.01853, 0.03485, 0.05776, 0.0879, 0.1259, 0.1722, 0.2275");
          values("0.2973, 0.334, 0.4611, 0.7003, 1.073, 1.604, 2.305, 3.193, 4.274, 5.565",\
                 "0.2972, 0.3339, 0.4611, 0.7004, 1.073, 1.604, 2.306, 3.193, 4.275, 5.564",\
                 "0.2972, 0.3342, 0.461, 0.7002, 1.074, 1.604, 2.306, 3.194, 4.275, 5.565",\
                 "0.3026, 0.3388, 0.464, 0.702, 1.075, 1.605, 2.306, 3.194, 4.275, 5.562",\
                 "0.3082, 0.344, 0.4688, 0.7068, 1.079, 1.608, 2.308, 3.194, 4.276, 5.563",\
                 "0.3186, 0.3538, 0.4748, 0.7064, 1.073, 1.6, 2.303, 3.193, 4.275, 5.564",\
                 "0.3388, 0.3728, 0.4898, 0.7152, 1.074, 1.593, 2.29, 3.178, 4.265, 5.56",\
                 "0.3674, 0.3998, 0.5128, 0.7326, 1.083, 1.594, 2.284, 3.168, 4.253, 5.545",\
                 "0.403, 0.4346, 0.5442, 0.7576, 1.101, 1.602, 2.286, 3.162, 4.242, 5.54",\
                 "0.446, 0.478, 0.582, 0.79, 1.126, 1.62, 2.296, 3.168, 4.24, 5.526");
        }

        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.00805, 0.01853, 0.03485, 0.05776, 0.0879, 0.1259, 0.1722, 0.2275");
          values("0.4131, 0.4577, 0.6089, 0.8983, 1.357, 2.005, 2.86, 3.939, 5.255, 6.823",\
                 "0.4133, 0.4573, 0.6089, 0.8992, 1.357, 2.005, 2.86, 3.939, 5.254, 6.821",\
                 "0.4145, 0.4586, 0.6098, 0.8996, 1.357, 2.005, 2.86, 3.939, 5.254, 6.823",\
                 "0.4184, 0.4632, 0.6144, 0.9024, 1.358, 2.005, 2.861, 3.938, 5.254, 6.822",\
                 "0.409, 0.4524, 0.6014, 0.8872, 1.345, 1.999, 2.86, 3.938, 5.254, 6.821",\
                 "0.4224, 0.4648, 0.6128, 0.8918, 1.339, 1.982, 2.84, 3.926, 5.25, 6.821",\
                 "0.4452, 0.488, 0.6352, 0.9086, 1.347, 1.983, 2.831, 3.908, 5.232, 6.807",\
                 "0.4744, 0.5182, 0.6648, 0.9364, 1.371, 1.997, 2.838, 3.907, 5.221, 6.79",\
                 "0.507, 0.5514, 0.7002, 0.9716, 1.404, 2.029, 2.863, 3.923, 5.228, 6.788",\
                 "0.5412, 0.586, 0.7354, 1.009, 1.441, 2.068, 2.906, 3.96, 5.254, 6.8");
        }
      }

      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.00805, 0.01853, 0.03485, 0.05776, 0.0879, 0.1259, 0.1722, 0.2275");
          values("0.7153, 0.7405, 0.8239, 0.9731, 1.198, 1.51, 1.919, 2.435, 3.065, 3.817",\
                 "0.741, 0.7663, 0.8497, 0.9993, 1.224, 1.536, 1.945, 2.461, 3.091, 3.843",\
                 "0.8478, 0.8735, 0.9576, 1.108, 1.334, 1.645, 2.054, 2.57, 3.2, 3.951",\
                 "1.057, 1.082, 1.169, 1.322, 1.549, 1.861, 2.271, 2.787, 3.416, 4.167",\
                 "1.328, 1.356, 1.446, 1.603, 1.833, 2.148, 2.558, 3.074, 3.703, 4.454",\
                 "1.637, 1.667, 1.762, 1.923, 2.158, 2.475, 2.885, 3.401, 4.03, 4.781",\
                 "1.994, 2.025, 2.124, 2.291, 2.529, 2.848, 3.261, 3.777, 4.405, 5.155",\
                 "2.402, 2.435, 2.539, 2.711, 2.952, 3.274, 3.688, 4.204, 4.835, 5.584",\
                 "2.862, 2.898, 3.008, 3.185, 3.432, 3.756, 4.171, 4.689, 5.32, 6.07",\
                 "3.377, 3.415, 3.531, 3.716, 3.969, 4.296, 4.714, 5.233, 5.863, 6.614");
        }

        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.00805, 0.01853, 0.03485, 0.05776, 0.0879, 0.1259, 0.1722, 0.2275");
          values("0.7429, 0.7709, 0.8649, 1.036, 1.296, 1.66, 2.141, 2.749, 3.492, 4.379",\
                 "0.7631, 0.7907, 0.8851, 1.056, 1.316, 1.681, 2.162, 2.77, 3.514, 4.4",\
                 "0.8058, 0.8335, 0.9279, 1.099, 1.361, 1.726, 2.207, 2.815, 3.559, 4.447",\
                 "0.8682, 0.8965, 0.9925, 1.167, 1.431, 1.798, 2.281, 2.89, 3.634, 4.522",\
                 "0.936, 0.9656, 1.064, 1.239, 1.502, 1.87, 2.354, 2.963, 3.708, 4.595",\
                 "0.9841, 1.015, 1.116, 1.294, 1.56, 1.928, 2.408, 3.016, 3.76, 4.649",\
                 "1.003, 1.035, 1.139, 1.321, 1.59, 1.959, 2.441, 3.049, 3.789, 4.674",\
                 "0.9816, 1.015, 1.124, 1.312, 1.585, 1.957, 2.442, 3.051, 3.793, 4.678",\
                 "0.918, 0.9522, 1.065, 1.259, 1.539, 1.917, 2.407, 3.018, 3.762, 4.647",\
                 "0.8049, 0.8418, 0.9583, 1.159, 1.445, 1.83, 2.328, 2.947, 3.694, 4.582");
        }

        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.00805, 0.01853, 0.03485, 0.05776, 0.0879, 0.1259, 0.1722, 0.2275");
          values("0.2973, 0.334, 0.4611, 0.7003, 1.073, 1.604, 2.305, 3.193, 4.274, 5.565",\
                 "0.2972, 0.3339, 0.4611, 0.7004, 1.073, 1.604, 2.306, 3.193, 4.275, 5.564",\
                 "0.2972, 0.3342, 0.461, 0.7002, 1.074, 1.604, 2.306, 3.194, 4.275, 5.565",\
                 "0.3026, 0.3388, 0.464, 0.702, 1.075, 1.605, 2.306, 3.194, 4.275, 5.562",\
                 "0.3082, 0.344, 0.4688, 0.7068, 1.079, 1.608, 2.308, 3.194, 4.276, 5.563",\
                 "0.3186, 0.3538, 0.4748, 0.7064, 1.073, 1.6, 2.303, 3.193, 4.275, 5.564",\
                 "0.3388, 0.3728, 0.4898, 0.7152, 1.074, 1.593, 2.29, 3.178, 4.265, 5.56",\
                 "0.3674, 0.3998, 0.5128, 0.7326, 1.083, 1.594, 2.284, 3.168, 4.253, 5.545",\
                 "0.403, 0.4346, 0.5442, 0.7576, 1.101, 1.602, 2.286, 3.162, 4.242, 5.54",\
                 "0.446, 0.478, 0.582, 0.79, 1.126, 1.62, 2.296, 3.168, 4.24, 5.526");
        }

        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.00805, 0.01853, 0.03485, 0.05776, 0.0879, 0.1259, 0.1722, 0.2275");
          values("0.4131, 0.4577, 0.609, 0.899, 1.357, 2.005, 2.861, 3.938, 5.255, 6.824",\
                 "0.4133, 0.4574, 0.6088, 0.8993, 1.357, 2.005, 2.861, 3.939, 5.254, 6.821",\
                 "0.415, 0.4586, 0.61, 0.8996, 1.357, 2.005, 2.86, 3.939, 5.254, 6.823",\
                 "0.4184, 0.463, 0.6146, 0.902, 1.358, 2.005, 2.861, 3.938, 5.254, 6.822",\
                 "0.4092, 0.4526, 0.6028, 0.887, 1.345, 1.999, 2.859, 3.938, 5.254, 6.823",\
                 "0.4218, 0.4652, 0.6128, 0.8922, 1.339, 1.98, 2.84, 3.926, 5.25, 6.821",\
                 "0.4452, 0.4884, 0.6348, 0.9106, 1.347, 1.983, 2.831, 3.908, 5.232, 6.807",\
                 "0.4744, 0.5182, 0.6644, 0.937, 1.371, 1.997, 2.838, 3.907, 5.221, 6.793",\
                 "0.5076, 0.5514, 0.7002, 0.9716, 1.404, 2.029, 2.863, 3.923, 5.228, 6.788",\
                 "0.5412, 0.5856, 0.7358, 1.009, 1.441, 2.068, 2.906, 3.96, 5.252, 6.8");
        }
      }
    }
  }