  cell(gf180mcu_fd_sc_mcu9t5v0__invz_8) {
    area : 104.428800 ;

    leakage_power() {
      related_pg_pin : "VDD" ;
      when : "!EN&!I" ;
      value : "0.0003745278" ;
    }

    leakage_power() {
      related_pg_pin : "VDD" ;
      when : "!EN&I" ;
      value : "0.0003694896" ;
    }

    leakage_power() {
      related_pg_pin : "VDD" ;
      when : "EN&!I" ;
      value : "0.0004095036" ;
    }

    leakage_power() {
      related_pg_pin : "VDD" ;
      when : "EN&I" ;
      value : "0.0003970296" ;
    }

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

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

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

    pin(EN) {
      capacitance : 0.0122 ;
      direction : input ;
      driver_waveform_rise : driver_waveform_default_rise ;
      driver_waveform_fall : driver_waveform_default_fall ;
      input_voltage : default ;
      max_transition : 20 ;
      related_ground_pin : VSS ;
      related_power_pin : VDD ;

      internal_power() {
        when : "!I" ;

        fall_power(pwr_tin_10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          values("0.06848, 0.068, 0.06707, 0.06636, 0.0658, 0.06535, 0.0649, 0.06455, \
                  0.06443, 0.06106");
        }

        rise_power(scalar) {
          values("0");
          /* SiliconSmart: placeholder for Liberty-required model for which no measurement is available. */
        }
      }

      internal_power() {
        when : "I" ;

        fall_power(pwr_tin_10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          values("0.03856, 0.03819, 0.03766, 0.0374, 0.0373, 0.03721, 0.03717, 0.03718, \
                  0.03724, 0.03615");
        }

        rise_power(scalar) {
          values("0");
          /* SiliconSmart: placeholder for Liberty-required model for which no measurement is available. */
        }
      }
    }

    pin(I) {
      capacitance : 0.01175 ;
      direction : input ;
      driver_waveform_rise : driver_waveform_default_rise ;
      driver_waveform_fall : driver_waveform_default_fall ;
      input_voltage : default ;
      max_transition : 20 ;
      related_ground_pin : VSS ;
      related_power_pin : VDD ;

      internal_power() {
        when : "!EN" ;

        fall_power(pwr_tin_10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          values("0.05341, 0.05274, 0.05162, 0.05078, 0.05044, 0.05027, 0.0503, \
                  0.05047, 0.0507, 0.04983");
        }

        rise_power(pwr_tin_10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          values("0.01943, 0.01926, 0.01866, 0.018, 0.01741, 0.01711, 0.01697, 0.01698, \
                  0.01721, 0.01796");
        }
      }
    }

    pin(ZN) {
      capacitance : 0.02467 ;
      direction : output ;
      function : "(!I)" ;
      max_capacitance : 1.881 ;
      max_transition : 20 ;
      min_capacitance : 0.02567 ;
      output_voltage : default ;
      related_ground_pin : VSS ;
      related_power_pin : VDD ;
      three_state : "(!EN)" ;

      internal_power() {
        related_pin : "EN" ;

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.02567, 0.03848, 0.08343, 0.1693, 0.303, 0.4907, 0.7376, 1.049, 1.428, 1.881");
          values("0.119, 0.119, 0.1191, 0.119, 0.1189, 0.1189, 0.1189, 0.1189, 0.119, 0.119",\
                 "0.1191, 0.1192, 0.1192, 0.1191, 0.1191, 0.1191, 0.1191, 0.1191, 0.1191, 0.1191",\
                 "0.1196, 0.1196, 0.1197, 0.1196, 0.1195, 0.1195, 0.1195, 0.1195, 0.1196, 0.1196",\
                 "0.12, 0.12, 0.1201, 0.12, 0.1199, 0.1199, 0.1199, 0.1199, 0.12, 0.12",\
                 "0.1203, 0.1203, 0.1204, 0.1203, 0.1203, 0.1203, 0.1203, 0.1203, 0.1203, 0.1202",\
                 "0.1208, 0.1208, 0.1208, 0.1207, 0.1207, 0.1207, 0.1207, 0.1207, 0.1207, 0.1206",\
                 "0.1212, 0.1212, 0.1213, 0.1212, 0.1212, 0.1212, 0.1211, 0.1211, 0.1211, 0.1208",\
                 "0.1218, 0.1218, 0.1217, 0.1217, 0.1217, 0.1217, 0.1217, 0.1217, 0.1215, 0.1205",\
                 "0.1224, 0.1224, 0.1224, 0.1224, 0.1224, 0.1224, 0.1223, 0.1221, 0.121, 0.1179",\
                 "0.1238, 0.1238, 0.1239, 0.1238, 0.1237, 0.1236, 0.123, 0.1208, 0.1158, 0.1101");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.02567, 0.03848, 0.08343, 0.1693, 0.303, 0.4907, 0.7376, 1.049, 1.428, 1.881");
          values("0.1038, 0.1039, 0.1038, 0.104, 0.1042, 0.1052, 0.1054, 0.1191, 0.2198, 0.605",\
                 "0.1036, 0.1036, 0.1036, 0.1038, 0.1042, 0.105, 0.1059, 0.1175, 0.223, 0.6156",\
                 "0.1032, 0.1032, 0.1034, 0.1035, 0.1038, 0.1041, 0.1055, 0.1189, 0.2372, 0.6466",\
                 "0.1026, 0.1027, 0.1028, 0.1029, 0.1032, 0.1035, 0.1052, 0.1252, 0.2668, 0.7154",\
                 "0.1021, 0.1021, 0.1023, 0.1023, 0.1029, 0.1031, 0.1061, 0.1341, 0.3255, 0.8302",\
                 "0.1018, 0.1018, 0.1019, 0.1022, 0.1027, 0.1029, 0.107, 0.159, 0.4314, 0.9843",\
                 "0.1016, 0.1017, 0.1017, 0.1018, 0.1025, 0.1031, 0.1135, 0.2184, 0.5971, 1.151",\
                 "0.1016, 0.1016, 0.1018, 0.1017, 0.1018, 0.104, 0.1361, 0.3544, 0.8171, 1.274",\
                 "0.1016, 0.1017, 0.1019, 0.1019, 0.1018, 0.1115, 0.2355, 0.5943, 0.9826, 1.27",\
                 "0.1023, 0.1024, 0.1027, 0.1028, 0.1079, 0.2061, 0.4881, 0.7473, 0.926, 1.05");
        }
      }

      internal_power() {
        related_pin : "I" ;
        when : "EN" ;

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.02567, 0.03848, 0.08343, 0.1693, 0.303, 0.4907, 0.7376, 1.049, 1.428, 1.881");
          values("0.1862, 0.1874, 0.1899, 0.1918, 0.1929, 0.1935, 0.1938, 0.1941, 0.1942, 0.1943",\
                 "0.186, 0.1872, 0.1897, 0.1916, 0.1927, 0.1933, 0.1936, 0.1939, 0.194, 0.1941",\
                 "0.1851, 0.1863, 0.1888, 0.1908, 0.1918, 0.1924, 0.1928, 0.193, 0.1931, 0.1932",\
                 "0.1836, 0.1849, 0.1874, 0.1893, 0.1904, 0.191, 0.1914, 0.1916, 0.1917, 0.1918",\
                 "0.1825, 0.1837, 0.1861, 0.1881, 0.1892, 0.1898, 0.1902, 0.1904, 0.1906, 0.1906",\
                 "0.1816, 0.1827, 0.1852, 0.1871, 0.1883, 0.189, 0.1893, 0.1896, 0.1897, 0.1897",\
                 "0.181, 0.1821, 0.1845, 0.1865, 0.1877, 0.1884, 0.1888, 0.189, 0.1891, 0.1888",\
                 "0.1805, 0.1816, 0.1839, 0.1859, 0.1872, 0.188, 0.1884, 0.1887, 0.1885, 0.1872",\
                 "0.1803, 0.1814, 0.1836, 0.1857, 0.187, 0.1877, 0.1882, 0.1881, 0.1866, 0.1827",\
                 "0.1805, 0.1816, 0.1837, 0.1857, 0.1869, 0.1875, 0.1869, 0.1836, 0.178, 0.1727");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.02567, 0.03848, 0.08343, 0.1693, 0.303, 0.4907, 0.7376, 1.049, 1.428, 1.881");
          values("0.167, 0.1681, 0.1702, 0.1725, 0.1744, 0.1762, 0.1781, 0.1965, 0.3397, 0.7843",\
                 "0.1665, 0.1675, 0.1696, 0.1718, 0.1737, 0.1756, 0.1776, 0.1965, 0.3425, 0.7955",\
                 "0.1652, 0.1663, 0.1684, 0.1707, 0.1728, 0.1739, 0.1765, 0.1984, 0.3605, 0.8328",\
                 "0.1642, 0.1651, 0.1672, 0.1696, 0.1715, 0.1733, 0.1767, 0.2054, 0.4024, 0.9113",\
                 "0.1632, 0.1642, 0.1663, 0.1686, 0.1706, 0.1719, 0.1757, 0.2242, 0.4857, 1.034",\
                 "0.1623, 0.1633, 0.1653, 0.1675, 0.1694, 0.1714, 0.1798, 0.2706, 0.6239, 1.186",\
                 "0.1618, 0.1626, 0.1645, 0.1666, 0.1686, 0.1707, 0.195, 0.374, 0.8246, 1.32",\
                 "0.1613, 0.1622, 0.1638, 0.1661, 0.1685, 0.1743, 0.2592, 0.5855, 1.019, 1.358",\
                 "0.1611, 0.1618, 0.1636, 0.1656, 0.1687, 0.2205, 0.474, 0.8028, 1.043, 1.211",\
                 "0.1597, 0.1605, 0.1621, 0.1673, 0.2529, 0.4436, 0.5788, 0.665, 0.7218, 0.7606");
        }
      }

      timing() {
        related_pin : "EN" ;
        timing_sense : negative_unate ;
        timing_type : three_state_disable ;

        cell_fall(tmg_ntin_10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          values("1.333, 1.41, 1.64, 2.076, 2.762, 3.697, 4.763, 5.922, 7.176, 8.52");
        }

        cell_rise(tmg_ntin_10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          values("1.546, 1.602, 1.812, 2.247, 2.91, 3.717, 4.601, 5.57, 6.621, 7.747");
        }

        fall_transition(tmg_ntin_10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          values("0, 0, 0, 0, 0, 0, 0, 0, 0, 0");
        }

        rise_transition(tmg_ntin_10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          values("0, 0, 0, 0, 0, 0, 0, 0, 0, 0");
        }
      }

      timing() {
        related_pin : "EN" ;
        timing_sense : positive_unate ;
        timing_type : three_state_enable ;

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.02567, 0.03848, 0.08343, 0.1693, 0.303, 0.4907, 0.7376, 1.049, 1.428, 1.881");
          values("2.143, 2.281, 2.621, 3.06, 3.569, 4.148, 4.814, 5.586, 6.483, 7.526",\
                 "2.203, 2.342, 2.682, 3.121, 3.63, 4.209, 4.875, 5.647, 6.544, 7.587",\
                 "2.416, 2.555, 2.895, 3.334, 3.841, 4.422, 5.088, 5.86, 6.757, 7.799",\
                 "2.807, 2.945, 3.286, 3.725, 4.233, 4.813, 5.479, 6.251, 7.148, 8.191",\
                 "3.351, 3.49, 3.83, 4.268, 4.775, 5.356, 6.022, 6.794, 7.691, 8.733",\
                 "3.861, 3.999, 4.338, 4.776, 5.284, 5.864, 6.53, 7.302, 8.199, 9.242",\
                 "4.316, 4.456, 4.796, 5.234, 5.74, 6.319, 6.985, 7.756, 8.653, 9.696",\
                 "4.74, 4.878, 5.219, 5.657, 6.166, 6.746, 7.41, 8.18, 9.076, 10.12",\
                 "5.133, 5.272, 5.614, 6.052, 6.561, 7.14, 7.806, 8.576, 9.472, 10.51",\
                 "5.496, 5.637, 5.978, 6.416, 6.927, 7.506, 8.172, 8.942, 9.838, 10.88");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.02567, 0.03848, 0.08343, 0.1693, 0.303, 0.4907, 0.7376, 1.049, 1.428, 1.881");
          values("1.449, 1.576, 1.936, 2.516, 3.368, 4.548, 6.099, 8.052, 10.44, 13.27",\
                 "1.504, 1.631, 1.991, 2.572, 3.423, 4.604, 6.154, 8.108, 10.49, 13.32",\
                 "1.701, 1.829, 2.189, 2.769, 3.621, 4.801, 6.35, 8.301, 10.68, 13.52",\
                 "2.079, 2.206, 2.566, 3.146, 3.998, 5.178, 6.728, 8.678, 11.06, 13.9",\
                 "2.65, 2.779, 3.141, 3.722, 4.574, 5.754, 7.305, 9.255, 11.63, 14.47",\
                 "3.32, 3.459, 3.838, 4.427, 5.28, 6.46, 8.009, 9.959, 12.34, 15.18",\
                 "4.012, 4.165, 4.569, 5.174, 6.034, 7.214, 8.763, 10.71, 13.1, 15.93",\
                 "4.713, 4.883, 5.316, 5.942, 6.808, 7.991, 9.54, 11.49, 13.87, 16.71",\
                 "5.414, 5.604, 6.072, 6.721, 7.597, 8.781, 10.33, 12.28, 14.66, 17.5",\
                 "6.105, 6.315, 6.823, 7.503, 8.39, 9.576, 11.12, 13.08, 15.46, 18.29");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.02567, 0.03848, 0.08343, 0.1693, 0.303, 0.4907, 0.7376, 1.049, 1.428, 1.881");
          values("0.757, 0.8486, 1.101, 1.476, 1.978, 2.64, 3.489, 4.585, 5.955, 7.631",\
                 "0.757, 0.8488, 1.1, 1.475, 1.978, 2.641, 3.486, 4.586, 5.955, 7.635",\
                 "0.757, 0.85, 1.099, 1.474, 1.979, 2.642, 3.491, 4.585, 5.953, 7.634",\
                 "0.7566, 0.8492, 1.099, 1.475, 1.98, 2.642, 3.493, 4.584, 5.95, 7.627",\
                 "0.755, 0.848, 1.1, 1.476, 1.977, 2.641, 3.488, 4.586, 5.95, 7.634",\
                 "0.7516, 0.8444, 1.098, 1.476, 1.977, 2.641, 3.491, 4.586, 5.952, 7.634",\
                 "0.7534, 0.8456, 1.097, 1.472, 1.974, 2.63, 3.484, 4.576, 5.952, 7.628",\
                 "0.752, 0.848, 1.1, 1.474, 1.978, 2.634, 3.482, 4.572, 5.94, 7.624",\
                 "0.756, 0.85, 1.1, 1.474, 1.978, 2.636, 3.484, 4.576, 5.944, 7.612",\
                 "0.756, 0.85, 1.1, 1.474, 1.98, 2.638, 3.488, 4.578, 5.948, 7.616");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.02567, 0.03848, 0.08343, 0.1693, 0.303, 0.4907, 0.7376, 1.049, 1.428, 1.881");
          values("0.528, 0.661, 1.098, 1.938, 3.314, 5.291, 7.894, 11.21, 15.21, 20",\
                 "0.527, 0.6614, 1.099, 1.939, 3.311, 5.291, 7.887, 11.19, 15.2, 20.01",\
                 "0.527, 0.6604, 1.098, 1.94, 3.315, 5.287, 7.909, 11.18, 15.21, 19.98",\
                 "0.527, 0.6606, 1.099, 1.94, 3.315, 5.287, 7.908, 11.19, 15.19, 19.99",\
                 "0.5386, 0.6698, 1.102, 1.941, 3.315, 5.287, 7.893, 11.18, 15.21, 20",\
                 "0.5978, 0.7252, 1.139, 1.956, 3.315, 5.29, 7.908, 11.19, 15.22, 19.99",\
                 "0.6768, 0.8014, 1.205, 2.002, 3.334, 5.292, 7.906, 11.21, 15.2, 19.97",\
                 "0.766, 0.89, 1.282, 2.052, 3.366, 5.306, 7.904, 11.19, 15.22, 20.01",\
                 "0.868, 0.996, 1.372, 2.114, 3.396, 5.328, 7.91, 11.18, 15.21, 19.99",\
                 "0.976, 1.11, 1.484, 2.192, 3.436, 5.342, 7.926, 11.2, 15.2, 20");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.02567, 0.03848, 0.08343, 0.1693, 0.303, 0.4907, 0.7376, 1.049, 1.428, 1.881");
          values("3.244, 3.378, 3.711, 4.142, 4.645, 5.221, 5.885, 6.655, 7.552, 8.595",\
                 "3.3, 3.435, 3.768, 4.199, 4.702, 5.278, 5.942, 6.712, 7.609, 8.652",\
                 "3.499, 3.633, 3.965, 4.397, 4.899, 5.476, 6.139, 6.91, 7.806, 8.849",\
                 "3.848, 3.982, 4.315, 4.746, 5.249, 5.825, 6.489, 7.259, 8.156, 9.198",\
                 "4.253, 4.388, 4.721, 5.152, 5.654, 6.231, 6.895, 7.665, 8.561, 9.604",\
                 "4.675, 4.809, 5.141, 5.574, 6.076, 6.653, 7.317, 8.087, 8.984, 10.03",\
                 "5.104, 5.239, 5.572, 6.004, 6.507, 7.084, 7.749, 8.519, 9.416, 10.46",\
                 "5.533, 5.668, 6.001, 6.434, 6.938, 7.514, 8.179, 8.95, 9.847, 10.89",\
                 "5.952, 6.087, 6.419, 6.852, 7.356, 7.934, 8.598, 9.368, 10.26, 11.31",\
                 "6.352, 6.487, 6.82, 7.254, 7.758, 8.336, 9, 9.771, 10.67, 11.71");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.02567, 0.03848, 0.08343, 0.1693, 0.303, 0.4907, 0.7376, 1.049, 1.428, 1.881");
          values("2.919, 3.048, 3.411, 3.998, 4.855, 6.04, 7.593, 9.544, 11.93, 14.77",\
                 "2.975, 3.102, 3.465, 4.052, 4.91, 6.094, 7.648, 9.601, 11.98, 14.82",\
                 "3.187, 3.315, 3.678, 4.265, 5.123, 6.307, 7.859, 9.812, 12.19, 15.03",\
                 "3.618, 3.746, 4.109, 4.695, 5.553, 6.738, 8.29, 10.24, 12.62, 15.46",\
                 "4.289, 4.417, 4.78, 5.366, 6.224, 7.409, 8.962, 10.91, 13.3, 16.15",\
                 "5.132, 5.26, 5.623, 6.209, 7.067, 8.253, 9.807, 11.76, 14.15, 16.98",\
                 "6.074, 6.201, 6.565, 7.153, 8.011, 9.196, 10.75, 12.7, 15.08, 17.93",\
                 "7.106, 7.235, 7.598, 8.186, 9.044, 10.23, 11.78, 13.74, 16.12, 18.96",\
                 "8.227, 8.353, 8.718, 9.305, 10.16, 11.35, 12.9, 14.86, 17.24, 20.08",\
                 "9.428, 9.556, 9.922, 10.51, 11.37, 12.56, 14.11, 16.06, 18.45, 21.29");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.02567, 0.03848, 0.08343, 0.1693, 0.303, 0.4907, 0.7376, 1.049, 1.428, 1.881");
          values("0.6914, 0.788, 1.05, 1.439, 1.954, 2.616, 3.478, 4.573, 5.95, 7.63",\
                 "0.6912, 0.7882, 1.051, 1.439, 1.954, 2.616, 3.478, 4.573, 5.949, 7.63",\
                 "0.6916, 0.788, 1.051, 1.438, 1.951, 2.621, 3.476, 4.576, 5.951, 7.626",\
                 "0.692, 0.7884, 1.051, 1.439, 1.955, 2.616, 3.483, 4.578, 5.95, 7.631",\
                 "0.6922, 0.789, 1.052, 1.441, 1.955, 2.621, 3.483, 4.573, 5.948, 7.631",\
                 "0.6952, 0.7904, 1.053, 1.439, 1.953, 2.622, 3.479, 4.579, 5.95, 7.628",\
                 "0.694, 0.79, 1.054, 1.442, 1.952, 2.62, 3.482, 4.574, 5.95, 7.63",\
                 "0.694, 0.792, 1.056, 1.442, 1.954, 2.62, 3.476, 4.57, 5.946, 7.632",\
                 "0.696, 0.794, 1.056, 1.444, 1.954, 2.618, 3.48, 4.578, 5.942, 7.628",\
                 "0.698, 0.796, 1.058, 1.444, 1.958, 2.622, 3.486, 4.574, 5.948, 7.628");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.02567, 0.03848, 0.08343, 0.1693, 0.303, 0.4907, 0.7376, 1.049, 1.428, 1.881");
          values("0.494, 0.631, 1.078, 1.93, 3.313, 5.29, 7.896, 11.19, 15.21, 19.99",\
                 "0.4942, 0.6312, 1.08, 1.93, 3.312, 5.291, 7.895, 11.17, 15.19, 19.98",\
                 "0.4942, 0.63, 1.08, 1.931, 3.313, 5.289, 7.909, 11.18, 15.2, 19.98",\
                 "0.4938, 0.6318, 1.076, 1.931, 3.313, 5.29, 7.909, 11.17, 15.2, 19.99",\
                 "0.494, 0.6308, 1.078, 1.93, 3.312, 5.286, 7.894, 11.18, 15.19, 19.99",\
                 "0.4956, 0.632, 1.081, 1.931, 3.311, 5.29, 7.886, 11.19, 15.2, 19.97",\
                 "0.496, 0.636, 1.078, 1.93, 3.31, 5.29, 7.896, 11.19, 15.2, 19.97",\
                 "0.5, 0.638, 1.082, 1.93, 3.31, 5.284, 7.902, 11.19, 15.19, 19.99",\
                 "0.502, 0.642, 1.086, 1.936, 3.308, 5.284, 7.892, 11.19, 15.2, 20.02",\
                 "0.508, 0.644, 1.088, 1.936, 3.312, 5.286, 7.888, 11.17, 15.2, 20");
        }
      }
    }
  }