  cell(gf180mcu_fd_sc_mcu9t5v0__bufz_12) {
    area : 127.008000 ;

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

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

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

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

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

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

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

    pin(EN) {
      capacitance : 0.012 ;
      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.03833, 0.03794, 0.0374, 0.03713, 0.03703, 0.03697, 0.03696, \
                  0.03699, 0.03709, 0.03597");
        }

        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.07849, 0.07801, 0.07719, 0.07652, 0.07609, 0.07572, 0.0754, \
                  0.07503, 0.07468, 0.0619");
        }

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

    pin(I) {
      capacitance : 0.03561 ;
      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.03082, 0.03079, 0.03072, 0.03075, 0.0308, 0.03078, 0.03081, \
                  0.0308, 0.03079, 0.02746");
        }

        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.03072, -0.03062, -0.03067, -0.03065, -0.03072, -0.03077, -0.03074, \
                  -0.03073, -0.03073, -0.02889");
        }
      }
    }

    pin(Z) {
      capacitance : 0.03719 ;
      direction : output ;
      function : "I" ;
      max_capacitance : 2.814 ;
      max_transition : 20 ;
      min_capacitance : 0.03819 ;
      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.03819, 0.05735, 0.1246, 0.253, 0.4531, 0.7338, 1.103, 1.569, 2.137, 2.814");
          values("0.1675, 0.1675, 0.1675, 0.1675, 0.1674, 0.1673, 0.1674, 0.1674, 0.1674, 0.1673",\
                 "0.1675, 0.1676, 0.1676, 0.1676, 0.1675, 0.1675, 0.1674, 0.1675, 0.1675, 0.1674",\
                 "0.168, 0.168, 0.168, 0.168, 0.1679, 0.1679, 0.1679, 0.1679, 0.1679, 0.1679",\
                 "0.1684, 0.1684, 0.1684, 0.1684, 0.1683, 0.1683, 0.1683, 0.1683, 0.1683, 0.1682",\
                 "0.1687, 0.1687, 0.1687, 0.1687, 0.1686, 0.1686, 0.1686, 0.1686, 0.1686, 0.1684",\
                 "0.1691, 0.1691, 0.1691, 0.1691, 0.169, 0.169, 0.169, 0.169, 0.169, 0.1687",\
                 "0.1696, 0.1696, 0.1697, 0.1696, 0.1695, 0.1695, 0.1695, 0.1694, 0.1693, 0.1685",\
                 "0.1701, 0.1701, 0.1701, 0.1701, 0.17, 0.17, 0.17, 0.1698, 0.1692, 0.1668",\
                 "0.1707, 0.1707, 0.1707, 0.1706, 0.1706, 0.1705, 0.1703, 0.1695, 0.1665, 0.1603",\
                 "0.1713, 0.1713, 0.1713, 0.1711, 0.1708, 0.1701, 0.1681, 0.1626, 0.1542, 0.1464");
        }

        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.03819, 0.05735, 0.1246, 0.253, 0.4531, 0.7338, 1.103, 1.569, 2.137, 2.814");
          values("0.1504, 0.1504, 0.1504, 0.1506, 0.151, 0.1519, 0.1546, 0.1759, 0.3409, 0.9324",\
                 "0.1502, 0.1503, 0.1504, 0.1505, 0.1508, 0.1515, 0.1538, 0.174, 0.3449, 0.9506",\
                 "0.1498, 0.1499, 0.1499, 0.15, 0.1503, 0.151, 0.1535, 0.1795, 0.3684, 1.002",\
                 "0.1492, 0.1494, 0.1493, 0.1497, 0.1502, 0.1505, 0.1529, 0.1852, 0.4154, 1.108",\
                 "0.1488, 0.1489, 0.1487, 0.1488, 0.1493, 0.1499, 0.1535, 0.2034, 0.5109, 1.283",\
                 "0.1486, 0.1486, 0.1489, 0.1494, 0.1498, 0.1507, 0.1582, 0.2483, 0.6832, 1.519",\
                 "0.1482, 0.1484, 0.1484, 0.1487, 0.1493, 0.1499, 0.169, 0.3524, 0.9551, 1.766",\
                 "0.1482, 0.1483, 0.1485, 0.148, 0.1491, 0.1525, 0.2168, 0.593, 1.288, 1.92",\
                 "0.1483, 0.1484, 0.1487, 0.149, 0.1482, 0.1743, 0.4172, 0.97, 1.484, 1.854",\
                 "0.1489, 0.149, 0.1492, 0.1497, 0.1716, 0.3952, 0.79, 1.086, 1.286, 1.425");
        }
      }

      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.03819, 0.05735, 0.1246, 0.253, 0.4531, 0.7338, 1.103, 1.569, 2.137, 2.814");
          values("0.2646, 0.2664, 0.2701, 0.2726, 0.2739, 0.2747, 0.2751, 0.2754, 0.2756, 0.2757",\
                 "0.2624, 0.2643, 0.268, 0.2706, 0.2719, 0.2727, 0.2731, 0.2734, 0.2735, 0.2736",\
                 "0.2594, 0.2614, 0.265, 0.2677, 0.2691, 0.2698, 0.2702, 0.2705, 0.2707, 0.2707",\
                 "0.2569, 0.2584, 0.2618, 0.2646, 0.2664, 0.2674, 0.2679, 0.2683, 0.2686, 0.2687",\
                 "0.254, 0.2553, 0.2585, 0.2615, 0.2636, 0.265, 0.2659, 0.2664, 0.2668, 0.2669",\
                 "0.2519, 0.2532, 0.2561, 0.2591, 0.2615, 0.2632, 0.2644, 0.2651, 0.2656, 0.2655",\
                 "0.2507, 0.2519, 0.2546, 0.2576, 0.2601, 0.2619, 0.2633, 0.2642, 0.2645, 0.2634",\
                 "0.25, 0.2511, 0.2538, 0.2566, 0.2591, 0.2611, 0.2625, 0.263, 0.2619, 0.2575",\
                 "0.2492, 0.2502, 0.2526, 0.2552, 0.2577, 0.2592, 0.2594, 0.2561, 0.2491, 0.2417",\
                 "0.2326, 0.2335, 0.2355, 0.2369, 0.236, 0.2291, 0.2215, 0.2162, 0.2125, 0.2098");
        }

        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.03819, 0.05735, 0.1246, 0.253, 0.4531, 0.7338, 1.103, 1.569, 2.137, 2.814");
          values("0.1526, 0.1547, 0.158, 0.1608, 0.1627, 0.1643, 0.1663, 0.1877, 0.368, 0.9862",\
                 "0.1517, 0.1538, 0.1573, 0.1601, 0.1617, 0.1636, 0.1655, 0.1887, 0.3732, 1.004",\
                 "0.1485, 0.1502, 0.1535, 0.1566, 0.1589, 0.1606, 0.1632, 0.193, 0.3927, 1.049",\
                 "0.1448, 0.1463, 0.1491, 0.1525, 0.1554, 0.158, 0.161, 0.1965, 0.4396, 1.146",\
                 "0.1421, 0.1433, 0.1459, 0.1489, 0.152, 0.1541, 0.1592, 0.2104, 0.5169, 1.29",\
                 "0.1401, 0.1412, 0.1436, 0.1466, 0.1494, 0.1527, 0.1597, 0.2423, 0.6537, 1.482",\
                 "0.1386, 0.1398, 0.1415, 0.1442, 0.1477, 0.1507, 0.1659, 0.3134, 0.8649, 1.701",\
                 "0.138, 0.1388, 0.1408, 0.1431, 0.1451, 0.1509, 0.1885, 0.4713, 1.153, 1.879",\
                 "0.1375, 0.1384, 0.14, 0.1423, 0.1441, 0.154, 0.2846, 0.7752, 1.42, 1.927",\
                 "0.139, 0.1399, 0.1415, 0.1436, 0.1476, 0.2189, 0.5867, 1.088, 1.465, 1.729");
        }
      }

      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.8, 1.877, 2.109, 2.545, 3.235, 4.201, 5.39, 6.698, 8.106, 9.613");
        }

        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.725, 1.772, 1.986, 2.423, 3.08, 3.878, 4.763, 5.726, 6.782, \
                  7.903");
        }

        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.03819, 0.05735, 0.1246, 0.253, 0.4531, 0.7338, 1.103, 1.569, 2.137, 2.814");
          values("2.533, 2.694, 3.088, 3.586, 4.151, 4.782, 5.495, 6.303, 7.227, 8.288",\
                 "2.592, 2.754, 3.147, 3.645, 4.212, 4.844, 5.555, 6.363, 7.287, 8.347",\
                 "2.805, 2.967, 3.36, 3.859, 4.424, 5.057, 5.767, 6.576, 7.5, 8.56",\
                 "3.199, 3.361, 3.755, 4.252, 4.817, 5.451, 6.162, 6.97, 7.894, 8.955",\
                 "3.77, 3.932, 4.325, 4.822, 5.389, 6.021, 6.732, 7.54, 8.464, 9.525",\
                 "4.333, 4.495, 4.888, 5.387, 5.952, 6.583, 7.295, 8.104, 9.028, 10.09",\
                 "4.809, 4.971, 5.365, 5.862, 6.428, 7.06, 7.772, 8.58, 9.504, 10.56",\
                 "5.24, 5.402, 5.797, 6.293, 6.859, 7.492, 8.203, 9.01, 9.934, 10.99",\
                 "5.633, 5.797, 6.192, 6.689, 7.256, 7.887, 8.598, 9.407, 10.33, 11.39",\
                 "5.992, 6.156, 6.55, 7.05, 7.615, 8.247, 8.958, 9.766, 10.69, 11.75");
        }

        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.03819, 0.05735, 0.1246, 0.253, 0.4531, 0.7338, 1.103, 1.569, 2.137, 2.814");
          values("1.746, 1.888, 2.276, 2.881, 3.743, 4.924, 6.472, 8.421, 10.8, 13.64",\
                 "1.802, 1.944, 2.332, 2.937, 3.799, 4.98, 6.529, 8.479, 10.86, 13.69",\
                 "2.001, 2.143, 2.532, 3.136, 3.998, 5.179, 6.727, 8.677, 11.05, 13.9",\
                 "2.381, 2.523, 2.912, 3.516, 4.378, 5.559, 7.108, 9.057, 11.43, 14.28",\
                 "2.969, 3.111, 3.5, 4.105, 4.967, 6.148, 7.696, 9.645, 12.02, 14.85",\
                 "3.716, 3.867, 4.268, 4.878, 5.74, 6.922, 8.47, 10.42, 12.8, 15.64",\
                 "4.503, 4.67, 5.101, 5.73, 6.6, 7.782, 9.329, 11.28, 13.65, 16.49",\
                 "5.306, 5.491, 5.957, 6.612, 7.493, 8.678, 10.22, 12.17, 14.55, 17.38",\
                 "6.117, 6.322, 6.826, 7.512, 8.408, 9.597, 11.14, 13.09, 15.46, 18.3",\
                 "6.922, 7.15, 7.701, 8.421, 9.334, 10.53, 12.08, 14.02, 16.4, 19.23");
        }

        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.03819, 0.05735, 0.1246, 0.253, 0.4531, 0.7338, 1.103, 1.569, 2.137, 2.814");
          values("0.9296, 1.032, 1.304, 1.705, 2.234, 2.895, 3.749, 4.823, 6.165, 7.804",\
                 "0.9316, 1.033, 1.305, 1.705, 2.227, 2.9, 3.753, 4.828, 6.166, 7.806",\
                 "0.9308, 1.032, 1.305, 1.705, 2.233, 2.9, 3.753, 4.828, 6.164, 7.807",\
                 "0.9314, 1.032, 1.305, 1.704, 2.23, 2.903, 3.752, 4.828, 6.165, 7.809",\
                 "0.9296, 1.031, 1.306, 1.705, 2.226, 2.9, 3.752, 4.826, 6.168, 7.807",\
                 "0.9298, 1.033, 1.305, 1.707, 2.231, 2.898, 3.754, 4.822, 6.166, 7.804",\
                 "0.9282, 1.03, 1.303, 1.702, 2.226, 2.894, 3.748, 4.82, 6.162, 7.806",\
                 "0.93, 1.032, 1.304, 1.702, 2.226, 2.896, 3.738, 4.814, 6.156, 7.806",\
                 "0.93, 1.032, 1.306, 1.708, 2.228, 2.898, 3.744, 4.82, 6.15, 7.796",\
                 "0.93, 1.034, 1.308, 1.706, 2.228, 2.898, 3.746, 4.822, 6.16, 7.792");
        }

        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.03819, 0.05735, 0.1246, 0.253, 0.4531, 0.7338, 1.103, 1.569, 2.137, 2.814");
          values("0.5984, 0.7386, 1.178, 2.004, 3.352, 5.31, 7.92, 11.22, 15.2, 19.98",\
                 "0.599, 0.7388, 1.178, 2.004, 3.353, 5.309, 7.905, 11.2, 15.19, 19.96",\
                 "0.5994, 0.738, 1.178, 2.006, 3.353, 5.306, 7.907, 11.18, 15.2, 19.99",\
                 "0.5988, 0.7384, 1.178, 2.007, 3.35, 5.312, 7.919, 11.2, 15.19, 19.98",\
                 "0.6032, 0.7412, 1.18, 2.005, 3.352, 5.308, 7.919, 11.22, 15.2, 19.99",\
                 "0.654, 0.7856, 1.205, 2.018, 3.357, 5.314, 7.92, 11.21, 15.22, 19.98",\
                 "0.7432, 0.8746, 1.286, 2.062, 3.372, 5.312, 7.914, 11.18, 15.19, 19.97",\
                 "0.846, 0.98, 1.378, 2.13, 3.414, 5.326, 7.916, 11.21, 15.19, 19.98",\
                 "0.958, 1.096, 1.486, 2.216, 3.466, 5.356, 7.928, 11.2, 15.21, 20",\
                 "1.082, 1.224, 1.612, 2.314, 3.524, 5.388, 7.954, 11.21, 15.2, 19.99");
        }
      }

      timing() {
        related_pin : "I" ;
        timing_sense : positive_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.03819, 0.05735, 0.1246, 0.253, 0.4531, 0.7338, 1.103, 1.569, 2.137, 2.814");
          values("3.125, 3.279, 3.658, 4.143, 4.701, 5.326, 6.036, 6.841, 7.764, 8.825",\
                 "3.175, 3.329, 3.708, 4.193, 4.749, 5.376, 6.085, 6.891, 7.814, 8.874",\
                 "3.383, 3.537, 3.917, 4.403, 4.96, 5.586, 6.295, 7.101, 8.024, 9.084",\
                 "3.792, 3.947, 4.327, 4.815, 5.373, 6.001, 6.708, 7.515, 8.438, 9.498",\
                 "4.413, 4.569, 4.953, 5.443, 6.004, 6.63, 7.341, 8.147, 9.07, 10.13",\
                 "5.23, 5.388, 5.774, 6.267, 6.83, 7.458, 8.169, 8.975, 9.899, 10.96",\
                 "6.177, 6.339, 6.732, 7.23, 7.795, 8.426, 9.137, 9.945, 10.87, 11.93",\
                 "7.212, 7.379, 7.785, 8.294, 8.868, 9.507, 10.22, 11.03, 11.96, 13.02",\
                 "8.347, 8.519, 8.933, 9.449, 10.03, 10.68, 11.4, 12.22, 13.15, 14.22",\
                 "9.579, 9.755, 10.18, 10.7, 11.29, 11.95, 12.68, 13.5, 14.44, 15.51");
        }

        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.03819, 0.05735, 0.1246, 0.253, 0.4531, 0.7338, 1.103, 1.569, 2.137, 2.814");
          values("2.108, 2.25, 2.637, 3.241, 4.105, 5.288, 6.838, 8.788, 11.16, 14",\
                 "2.155, 2.297, 2.685, 3.289, 4.153, 5.336, 6.886, 8.833, 11.22, 14.05",\
                 "2.316, 2.457, 2.846, 3.452, 4.318, 5.503, 7.052, 9.001, 11.39, 14.23",\
                 "2.596, 2.737, 3.126, 3.734, 4.601, 5.788, 7.338, 9.291, 11.67, 14.5",\
                 "2.942, 3.084, 3.474, 4.083, 4.95, 6.138, 7.691, 9.644, 12.02, 14.85",\
                 "3.319, 3.465, 3.863, 4.476, 5.346, 6.534, 8.086, 10.04, 12.42, 15.26",\
                 "3.713, 3.863, 4.265, 4.885, 5.76, 6.952, 8.506, 10.46, 12.84, 15.68",\
                 "4.116, 4.268, 4.678, 5.304, 6.181, 7.376, 8.934, 10.89, 13.27, 16.11",\
                 "4.519, 4.676, 5.093, 5.725, 6.606, 7.8, 9.358, 11.31, 13.7, 16.53",\
                 "4.916, 5.077, 5.504, 6.143, 7.027, 8.222, 9.78, 11.74, 14.12, 16.96");
        }

        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.03819, 0.05735, 0.1246, 0.253, 0.4531, 0.7338, 1.103, 1.569, 2.137, 2.814");
          values("0.8456, 0.9548, 1.242, 1.659, 2.196, 2.876, 3.73, 4.808, 6.158, 7.797",\
                 "0.8466, 0.955, 1.244, 1.658, 2.196, 2.876, 3.735, 4.817, 6.155, 7.798",\
                 "0.8456, 0.955, 1.244, 1.658, 2.201, 2.876, 3.729, 4.808, 6.157, 7.797",\
                 "0.851, 0.9576, 1.246, 1.659, 2.197, 2.877, 3.734, 4.817, 6.159, 7.797",\
                 "0.8596, 0.9656, 1.252, 1.663, 2.198, 2.875, 3.735, 4.812, 6.157, 7.802",\
                 "0.8686, 0.9772, 1.259, 1.669, 2.201, 2.875, 3.738, 4.818, 6.158, 7.802",\
                 "0.902, 1.004, 1.282, 1.684, 2.212, 2.884, 3.746, 4.814, 6.16, 7.806",\
                 "0.936, 1.04, 1.32, 1.726, 2.252, 2.912, 3.762, 4.836, 6.17, 7.806",\
                 "0.97, 1.072, 1.352, 1.758, 2.286, 2.956, 3.808, 4.872, 6.202, 7.83",\
                 "1.002, 1.108, 1.386, 1.792, 2.322, 2.992, 3.844, 4.914, 6.246, 7.87");
        }

        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.03819, 0.05735, 0.1246, 0.253, 0.4531, 0.7338, 1.103, 1.569, 2.137, 2.814");
          values("0.5472, 0.6902, 1.144, 1.99, 3.349, 5.312, 7.915, 11.2, 15.2, 19.98",\
                 "0.5476, 0.69, 1.145, 1.988, 3.345, 5.311, 7.915, 11.21, 15.2, 20.02",\
                 "0.5516, 0.695, 1.148, 1.99, 3.345, 5.309, 7.92, 11.21, 15.2, 19.98",\
                 "0.5576, 0.7, 1.151, 1.993, 3.35, 5.312, 7.918, 11.2, 15.19, 19.96",\
                 "0.5638, 0.707, 1.154, 1.995, 3.35, 5.309, 7.911, 11.2, 15.2, 19.99",\
                 "0.582, 0.7266, 1.173, 2.003, 3.352, 5.311, 7.918, 11.2, 15.2, 19.98",\
                 "0.5992, 0.7436, 1.194, 2.023, 3.373, 5.318, 7.92, 11.21, 15.21, 19.99",\
                 "0.616, 0.762, 1.216, 2.042, 3.384, 5.332, 7.92, 11.2, 15.22, 19.98",\
                 "0.638, 0.786, 1.238, 2.064, 3.396, 5.338, 7.934, 11.2, 15.21, 19.97",\
                 "0.662, 0.812, 1.264, 2.082, 3.41, 5.344, 7.94, 11.22, 15.21, 19.99");
        }
      }
    }
  }