  cell(gf180mcu_fd_sc_mcu9t5v0__bufz_12) {
    area : 127.008000 ;

    leakage_power() {
      related_pg_pin : "VDD" ;
      when : "!EN&!I" ;
      value : "2.925396e-05" ;
    }

    leakage_power() {
      related_pg_pin : "VDD" ;
      when : "!EN&I" ;
      value : "2.925396e-05" ;
    }

    leakage_power() {
      related_pg_pin : "VDD" ;
      when : "EN&!I" ;
      value : "6.491502e-05" ;
    }

    leakage_power() {
      related_pg_pin : "VDD" ;
      when : "EN&I" ;
      value : "6.417306e-05" ;
    }

    leakage_power() {
      related_pg_pin : "VDD" ;
      value : "6.491502e-05" ;
    }

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

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

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

      internal_power() {
        when : "!I" ;

        fall_power(pwr_tin_10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          values("0.03594, 0.03565, 0.03531, 0.03516, 0.03512, 0.03503, 0.03493, \
                  0.03484, 0.03473, 0.03457");
        }

        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.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          values("0.07605, 0.07563, 0.07495, 0.0744, 0.07406, 0.07371, 0.07339, \
                  0.07299, 0.07261, 0.07067");
        }

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

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

      internal_power() {
        when : "!EN" ;

        fall_power(pwr_tin_10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          values("0.02832, 0.02824, 0.02827, 0.02824, 0.02827, 0.02826, 0.02828, \
                  0.02829, 0.02829, 0.02813");
        }

        rise_power(pwr_tin_10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          values("-0.02824, -0.02808, -0.02812, -0.02815, -0.02823, -0.02819, -0.02824, \
                  -0.02822, -0.02823, -0.02812");
        }
      }
    }

    pin(Z) {
      capacitance : 0.03492 ;
      direction : output ;
      function : "I" ;
      max_capacitance : 2.43 ;
      max_transition : 17 ;
      min_capacitance : 0.03592 ;
      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.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.03592, 0.05244, 0.1105, 0.2212, 0.3938, 0.636, 0.9546, 1.356, 1.846, 2.43");
          values("0.159, 0.159, 0.159, 0.159, 0.159, 0.1589, 0.1589, 0.1589, 0.1589, 0.159",\
                 "0.1592, 0.1592, 0.1592, 0.1592, 0.1592, 0.1591, 0.1591, 0.1591, 0.1591, 0.1592",\
                 "0.1597, 0.1597, 0.1598, 0.1598, 0.1597, 0.1597, 0.1596, 0.1597, 0.1597, 0.1597",\
                 "0.1601, 0.1601, 0.1601, 0.1601, 0.1601, 0.16, 0.16, 0.16, 0.16, 0.16",\
                 "0.1603, 0.1603, 0.1603, 0.1603, 0.1603, 0.1602, 0.1602, 0.1602, 0.1602, 0.1602",\
                 "0.1605, 0.1605, 0.1606, 0.1606, 0.1605, 0.1605, 0.1605, 0.1605, 0.1605, 0.1605",\
                 "0.1608, 0.1608, 0.1608, 0.1608, 0.1607, 0.1607, 0.1607, 0.1607, 0.1607, 0.1607",\
                 "0.161, 0.161, 0.161, 0.1611, 0.161, 0.1609, 0.161, 0.1609, 0.1609, 0.1608",\
                 "0.1612, 0.1612, 0.1612, 0.1612, 0.1612, 0.1612, 0.1611, 0.1611, 0.1609, 0.1599",\
                 "0.1614, 0.1614, 0.1614, 0.1614, 0.1614, 0.1612, 0.161, 0.1602, 0.1571, 0.1501");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.03592, 0.05244, 0.1105, 0.2212, 0.3938, 0.636, 0.9546, 1.356, 1.846, 2.43");
          values("0.141, 0.1411, 0.141, 0.1411, 0.1417, 0.142, 0.1423, 0.1433, 0.1607, 0.3604",\
                 "0.1409, 0.1409, 0.1409, 0.1409, 0.141, 0.1415, 0.1418, 0.1431, 0.1622, 0.3678",\
                 "0.1406, 0.1406, 0.1405, 0.141, 0.1413, 0.1413, 0.1417, 0.1437, 0.1651, 0.4005",\
                 "0.1403, 0.1403, 0.1401, 0.1405, 0.1402, 0.1408, 0.1415, 0.1438, 0.1758, 0.4668",\
                 "0.1399, 0.1399, 0.1398, 0.1399, 0.1398, 0.1405, 0.1409, 0.1432, 0.1966, 0.5953",\
                 "0.1396, 0.1397, 0.1396, 0.14, 0.1404, 0.1404, 0.1407, 0.1463, 0.2543, 0.8256",\
                 "0.1393, 0.1393, 0.1393, 0.1397, 0.1403, 0.1407, 0.141, 0.1602, 0.4016, 1.165",\
                 "0.1392, 0.1393, 0.1392, 0.1397, 0.1404, 0.14, 0.143, 0.2266, 0.7387, 1.504",\
                 "0.139, 0.1391, 0.1391, 0.1393, 0.1395, 0.1412, 0.1736, 0.524, 1.161, 1.672",\
                 "0.1389, 0.139, 0.139, 0.1394, 0.1394, 0.1712, 0.4951, 0.9457, 1.27, 1.499");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.03592, 0.05244, 0.1105, 0.2212, 0.3938, 0.636, 0.9546, 1.356, 1.846, 2.43");
          values("0.2506, 0.2518, 0.2544, 0.2563, 0.2574, 0.2579, 0.2583, 0.2585, 0.2587, 0.2588",\
                 "0.2487, 0.2501, 0.2528, 0.2548, 0.2558, 0.2564, 0.2567, 0.2569, 0.257, 0.2571",\
                 "0.2465, 0.2478, 0.2505, 0.2526, 0.2538, 0.2543, 0.2545, 0.2548, 0.2549, 0.255",\
                 "0.2446, 0.2458, 0.2481, 0.2503, 0.2518, 0.2525, 0.2529, 0.2532, 0.2533, 0.2534",\
                 "0.2425, 0.2435, 0.2456, 0.2479, 0.2496, 0.2506, 0.2513, 0.2517, 0.252, 0.2521",\
                 "0.2407, 0.2416, 0.2438, 0.2459, 0.2477, 0.249, 0.2499, 0.2504, 0.2508, 0.2511",\
                 "0.2395, 0.2403, 0.2422, 0.2444, 0.2462, 0.2476, 0.2487, 0.2494, 0.2499, 0.2502",\
                 "0.2385, 0.2394, 0.241, 0.2431, 0.2449, 0.2464, 0.2476, 0.2485, 0.2491, 0.249",\
                 "0.2376, 0.2384, 0.2401, 0.242, 0.2438, 0.2453, 0.2464, 0.2469, 0.2454, 0.2399",\
                 "0.2316, 0.2323, 0.2337, 0.2352, 0.2359, 0.2342, 0.2272, 0.2196, 0.2139, 0.2099");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.03592, 0.05244, 0.1105, 0.2212, 0.3938, 0.636, 0.9546, 1.356, 1.846, 2.43");
          values("0.142, 0.1434, 0.1461, 0.1484, 0.1495, 0.1515, 0.1513, 0.1538, 0.1728, 0.3901",\
                 "0.1413, 0.1427, 0.1454, 0.148, 0.1493, 0.1502, 0.1507, 0.1519, 0.1736, 0.3976",\
                 "0.139, 0.1401, 0.1426, 0.1452, 0.1475, 0.1484, 0.15, 0.1507, 0.1785, 0.4298",\
                 "0.1363, 0.1373, 0.1393, 0.1419, 0.1438, 0.1461, 0.1474, 0.149, 0.1857, 0.491",\
                 "0.1343, 0.1352, 0.1369, 0.1392, 0.1415, 0.1434, 0.1456, 0.1479, 0.2029, 0.6068",\
                 "0.1328, 0.1336, 0.135, 0.1374, 0.1396, 0.1416, 0.1442, 0.1496, 0.2471, 0.8017",\
                 "0.1315, 0.1323, 0.1335, 0.1357, 0.1377, 0.1395, 0.1414, 0.1575, 0.3593, 1.087",\
                 "0.1305, 0.1312, 0.1326, 0.1343, 0.1362, 0.1385, 0.1411, 0.1929, 0.6084, 1.408",\
                 "0.1297, 0.1303, 0.1314, 0.1333, 0.1348, 0.1371, 0.1516, 0.3598, 1.01, 1.638",\
                 "0.1292, 0.1296, 0.1307, 0.1322, 0.1341, 0.1387, 0.2776, 0.7924, 1.28, 1.633");
        }
      }

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

        cell_fall(tmg_ntin_10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          values("1.272, 1.345, 1.577, 2.018, 2.706, 3.676, 4.913, 6.356, 7.991, \
                  9.817");
        }

        cell_rise(tmg_ntin_10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          values("1.43, 1.487, 1.701, 2.142, 2.828, 3.765, 4.892, 6.188, 7.667, \
                  9.324");
        }

        fall_transition(tmg_ntin_10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          values("0, 0, 0, 0, 0, 0, 0, 0, 0, 0");
        }

        rise_transition(tmg_ntin_10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          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.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.03592, 0.05244, 0.1105, 0.2212, 0.3938, 0.636, 0.9546, 1.356, 1.846, 2.43");
          values("2.823, 2.94, 3.232, 3.604, 4.023, 4.489, 5.01, 5.605, 6.286, 7.071",\
                 "2.882, 2.999, 3.29, 3.663, 4.082, 4.547, 5.07, 5.663, 6.345, 7.13",\
                 "3.088, 3.205, 3.496, 3.869, 4.288, 4.754, 5.276, 5.869, 6.551, 7.336",\
                 "3.479, 3.596, 3.887, 4.259, 4.679, 5.144, 5.666, 6.259, 6.941, 7.726",\
                 "4.069, 4.185, 4.477, 4.849, 5.268, 5.733, 6.255, 6.849, 7.531, 8.316",\
                 "4.747, 4.864, 5.156, 5.528, 5.949, 6.414, 6.935, 7.529, 8.211, 8.997",\
                 "5.418, 5.536, 5.828, 6.2, 6.618, 7.084, 7.605, 8.2, 8.882, 9.667",\
                 "6.125, 6.243, 6.536, 6.908, 7.327, 7.792, 8.313, 8.908, 9.59, 10.38",\
                 "6.882, 7, 7.292, 7.666, 8.085, 8.549, 9.071, 9.665, 10.35, 11.13",\
                 "7.695, 7.813, 8.106, 8.479, 8.899, 9.363, 9.885, 10.48, 11.16, 11.95");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.03592, 0.05244, 0.1105, 0.2212, 0.3938, 0.636, 0.9546, 1.356, 1.846, 2.43");
          values("1.581, 1.684, 1.982, 2.473, 3.199, 4.208, 5.531, 7.199, 9.238, 11.66",\
                 "1.636, 1.739, 2.037, 2.528, 3.254, 4.262, 5.587, 7.254, 9.293, 11.72",\
                 "1.831, 1.935, 2.233, 2.724, 3.45, 4.458, 5.781, 7.45, 9.486, 11.92",\
                 "2.205, 2.309, 2.607, 3.098, 3.824, 4.832, 6.155, 7.825, 9.862, 12.29",\
                 "2.789, 2.893, 3.191, 3.682, 4.408, 5.416, 6.739, 8.407, 10.44, 12.87",\
                 "3.591, 3.696, 3.996, 4.488, 5.214, 6.222, 7.546, 9.214, 11.25, 13.68",\
                 "4.536, 4.648, 4.959, 5.456, 6.183, 7.19, 8.512, 10.18, 12.22, 14.64",\
                 "5.576, 5.697, 6.024, 6.532, 7.262, 8.27, 9.592, 11.26, 13.29, 15.73",\
                 "6.708, 6.839, 7.185, 7.705, 8.44, 9.448, 10.77, 12.43, 14.47, 16.89",\
                 "7.929, 8.071, 8.438, 8.973, 9.713, 10.72, 12.04, 13.71, 15.74, 18.16");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.03592, 0.05244, 0.1105, 0.2212, 0.3938, 0.636, 0.9546, 1.356, 1.846, 2.43");
          values("0.8144, 0.8872, 1.079, 1.356, 1.713, 2.182, 2.782, 3.561, 4.535, 5.735",\
                 "0.8142, 0.8854, 1.08, 1.355, 1.715, 2.181, 2.786, 3.557, 4.537, 5.735",\
                 "0.814, 0.8852, 1.079, 1.356, 1.714, 2.18, 2.787, 3.557, 4.536, 5.737",\
                 "0.8134, 0.8866, 1.08, 1.355, 1.714, 2.182, 2.786, 3.557, 4.537, 5.733",\
                 "0.813, 0.8858, 1.079, 1.356, 1.714, 2.181, 2.786, 3.557, 4.537, 5.733",\
                 "0.8138, 0.886, 1.079, 1.355, 1.714, 2.182, 2.788, 3.556, 4.533, 5.736",\
                 "0.8126, 0.8846, 1.078, 1.356, 1.716, 2.184, 2.786, 3.562, 4.53, 5.738",\
                 "0.812, 0.884, 1.078, 1.356, 1.712, 2.178, 2.78, 3.56, 4.532, 5.736",\
                 "0.814, 0.886, 1.08, 1.356, 1.712, 2.18, 2.784, 3.552, 4.53, 5.73",\
                 "0.812, 0.888, 1.078, 1.354, 1.712, 2.182, 2.782, 3.554, 4.53, 5.726");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.03592, 0.05244, 0.1105, 0.2212, 0.3938, 0.636, 0.9546, 1.356, 1.846, 2.43");
          values("0.4778, 0.5904, 0.9616, 1.682, 2.855, 4.531, 6.741, 9.531, 12.92, 16.97",\
                 "0.4778, 0.5902, 0.9606, 1.682, 2.851, 4.524, 6.735, 9.531, 12.93, 16.97",\
                 "0.4776, 0.5898, 0.9622, 1.681, 2.856, 4.524, 6.734, 9.524, 12.93, 17.03",\
                 "0.4778, 0.59, 0.9628, 1.682, 2.852, 4.524, 6.744, 9.531, 12.94, 16.97",\
                 "0.4784, 0.5912, 0.9628, 1.682, 2.854, 4.527, 6.734, 9.524, 12.93, 16.98",\
                 "0.4888, 0.5992, 0.9688, 1.682, 2.856, 4.524, 6.734, 9.531, 12.94, 17",\
                 "0.5356, 0.643, 0.9972, 1.696, 2.859, 4.526, 6.744, 9.522, 12.96, 16.99",\
                 "0.594, 0.7, 1.046, 1.728, 2.872, 4.534, 6.736, 9.522, 12.92, 17.01",\
                 "0.662, 0.766, 1.102, 1.768, 2.894, 4.544, 6.744, 9.538, 12.92, 16.98",\
                 "0.736, 0.84, 1.17, 1.814, 2.92, 4.56, 6.754, 9.528, 12.94, 16.99");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.03592, 0.05244, 0.1105, 0.2212, 0.3938, 0.636, 0.9546, 1.356, 1.846, 2.43");
          values("3.372, 3.482, 3.762, 4.124, 4.537, 4.998, 5.518, 6.11, 6.791, 7.576",\
                 "3.427, 3.537, 3.816, 4.178, 4.592, 5.053, 5.573, 6.165, 6.846, 7.63",\
                 "3.644, 3.755, 4.034, 4.397, 4.81, 5.271, 5.791, 6.383, 7.064, 7.849",\
                 "4.072, 4.182, 4.462, 4.824, 5.239, 5.7, 6.221, 6.813, 7.494, 8.279",\
                 "4.734, 4.845, 5.126, 5.491, 5.906, 6.368, 6.887, 7.481, 8.162, 8.946",\
                 "5.649, 5.761, 6.045, 6.41, 6.826, 7.289, 7.809, 8.403, 9.084, 9.87",\
                 "6.803, 6.916, 7.201, 7.568, 7.985, 8.449, 8.971, 9.563, 10.24, 11.03",\
                 "8.164, 8.279, 8.567, 8.936, 9.354, 9.817, 10.34, 10.93, 11.61, 12.4",\
                 "9.718, 9.837, 10.13, 10.5, 10.92, 11.39, 11.92, 12.51, 13.19, 13.98",\
                 "11.46, 11.58, 11.88, 12.26, 12.69, 13.16, 13.69, 14.29, 14.97, 15.76");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.03592, 0.05244, 0.1105, 0.2212, 0.3938, 0.636, 0.9546, 1.356, 1.846, 2.43");
          values("1.879, 1.982, 2.281, 2.775, 3.503, 4.513, 5.837, 7.506, 9.546, 11.96",\
                 "1.927, 2.03, 2.33, 2.824, 3.554, 4.563, 5.888, 7.552, 9.591, 12.01",\
                 "2.097, 2.2, 2.499, 2.994, 3.725, 4.736, 6.063, 7.729, 9.767, 12.19",\
                 "2.412, 2.514, 2.814, 3.31, 4.041, 5.054, 6.38, 8.051, 10.09, 12.52",\
                 "2.834, 2.938, 3.236, 3.732, 4.464, 5.477, 6.804, 8.475, 10.51, 12.94",\
                 "3.351, 3.456, 3.757, 4.254, 4.986, 5.998, 7.327, 8.999, 11.03, 13.46",\
                 "3.948, 4.055, 4.361, 4.861, 5.596, 6.609, 7.938, 9.608, 11.65, 14.08",\
                 "4.625, 4.734, 5.044, 5.548, 6.283, 7.299, 8.628, 10.3, 12.33, 14.77",\
                 "5.383, 5.495, 5.809, 6.315, 7.052, 8.068, 9.399, 11.07, 13.11, 15.53",\
                 "6.223, 6.337, 6.657, 7.166, 7.904, 8.92, 10.25, 11.92, 13.96, 16.38");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.03592, 0.05244, 0.1105, 0.2212, 0.3938, 0.636, 0.9546, 1.356, 1.846, 2.43");
          values("0.7578, 0.8324, 1.033, 1.32, 1.689, 2.164, 2.773, 3.55, 4.527, 5.735",\
                 "0.758, 0.831, 1.032, 1.319, 1.688, 2.162, 2.773, 3.552, 4.525, 5.734",\
                 "0.7582, 0.8304, 1.032, 1.32, 1.69, 2.161, 2.774, 3.549, 4.528, 5.734",\
                 "0.7586, 0.8328, 1.034, 1.32, 1.69, 2.164, 2.774, 3.549, 4.526, 5.735",\
                 "0.7624, 0.8368, 1.038, 1.323, 1.693, 2.163, 2.777, 3.55, 4.526, 5.732",\
                 "0.7668, 0.8414, 1.041, 1.325, 1.692, 2.162, 2.772, 3.55, 4.532, 5.732",\
                 "0.77, 0.844, 1.044, 1.326, 1.694, 2.164, 2.774, 3.55, 4.53, 5.736",\
                 "0.78, 0.854, 1.05, 1.332, 1.7, 2.168, 2.774, 3.552, 4.532, 5.732",\
                 "0.8, 0.874, 1.072, 1.35, 1.71, 2.178, 2.788, 3.556, 4.534, 5.734",\
                 "0.822, 0.896, 1.096, 1.38, 1.742, 2.204, 2.808, 3.576, 4.544, 5.742");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.03592, 0.05244, 0.1105, 0.2212, 0.3938, 0.636, 0.9546, 1.356, 1.846, 2.43");
          values("0.4454, 0.5614, 0.9428, 1.675, 2.853, 4.533, 6.734, 9.524, 12.92, 16.98",\
                 "0.4446, 0.5616, 0.9418, 1.676, 2.849, 4.525, 6.737, 9.519, 12.92, 16.98",\
                 "0.447, 0.563, 0.9446, 1.675, 2.851, 4.533, 6.739, 9.522, 12.93, 16.98",\
                 "0.4498, 0.5652, 0.9476, 1.676, 2.85, 4.527, 6.741, 9.524, 12.93, 16.97",\
                 "0.452, 0.5674, 0.9472, 1.677, 2.852, 4.524, 6.745, 9.522, 12.92, 16.98",\
                 "0.4606, 0.576, 0.9528, 1.679, 2.85, 4.524, 6.741, 9.522, 12.92, 16.99",\
                 "0.4728, 0.5882, 0.9668, 1.693, 2.861, 4.526, 6.736, 9.522, 12.93, 17.01",\
                 "0.484, 0.602, 0.98, 1.702, 2.874, 4.538, 6.742, 9.52, 12.95, 16.99",\
                 "0.498, 0.616, 0.994, 1.714, 2.876, 4.548, 6.754, 9.536, 12.94, 16.98",\
                 "0.514, 0.632, 1.01, 1.724, 2.886, 4.552, 6.76, 9.542, 12.94, 17.01");
        }
      }
    }
  }