  cell(gf180mcu_fd_sc_mcu9t5v0__invz_12) {
    area : 146.764800 ;

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

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

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

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

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

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

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

    pin(EN) {
      capacitance : 0.01209 ;
      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.08023, 0.07976, 0.0789, 0.07828, 0.07781, 0.07749, 0.07717, \
                  0.0768, 0.07641, 0.06234");
        }

        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.03904, 0.03865, 0.03812, 0.03786, 0.03779, 0.03772, 0.0377, \
                  0.03773, 0.03781, 0.03672");
        }

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

    pin(I) {
      capacitance : 0.01759 ;
      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.08414, 0.08322, 0.08156, 0.08032, 0.07978, 0.07952, 0.07952, \
                  0.07969, 0.0801, 0.07877");
        }

        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.03063, 0.03037, 0.02957, 0.02857, 0.02769, 0.0272, 0.027, 0.02703, \
                  0.02727, 0.02839");
        }
      }
    }

    pin(ZN) {
      capacitance : 0.03772 ;
      direction : output ;
      function : "(!I)" ;
      max_capacitance : 2.816 ;
      max_transition : 20 ;
      min_capacitance : 0.03872 ;
      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.03872, 0.05789, 0.1252, 0.2537, 0.4539, 0.7349, 1.105, 1.57, 2.139, 2.816");
          values("0.1713, 0.1713, 0.1714, 0.1714, 0.1713, 0.1713, 0.1713, 0.1713, 0.1713, 0.1712",\
                 "0.1714, 0.1714, 0.1715, 0.1715, 0.1714, 0.1713, 0.1713, 0.1713, 0.1713, 0.1713",\
                 "0.1719, 0.1719, 0.1719, 0.1719, 0.1718, 0.1718, 0.1718, 0.1718, 0.1718, 0.1717",\
                 "0.1723, 0.1723, 0.1723, 0.1723, 0.1722, 0.1722, 0.1722, 0.1722, 0.1722, 0.1721",\
                 "0.1726, 0.1726, 0.1727, 0.1726, 0.1725, 0.1725, 0.1725, 0.1725, 0.1725, 0.1723",\
                 "0.1731, 0.1731, 0.1731, 0.173, 0.173, 0.1729, 0.1729, 0.173, 0.1729, 0.1726",\
                 "0.1736, 0.1736, 0.1736, 0.1736, 0.1735, 0.1735, 0.1734, 0.1734, 0.1732, 0.1723",\
                 "0.1741, 0.1741, 0.174, 0.1741, 0.174, 0.174, 0.174, 0.1738, 0.1731, 0.1705",\
                 "0.1746, 0.1746, 0.1747, 0.1746, 0.1745, 0.1744, 0.1742, 0.1733, 0.1701, 0.1636",\
                 "0.1751, 0.1751, 0.175, 0.1749, 0.1746, 0.1738, 0.1715, 0.1656, 0.1569, 0.1491");
        }

        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.03872, 0.05789, 0.1252, 0.2537, 0.4539, 0.7349, 1.105, 1.57, 2.139, 2.816");
          values("0.1538, 0.1539, 0.1539, 0.1543, 0.1548, 0.1557, 0.1581, 0.1777, 0.3464, 0.9464",\
                 "0.1537, 0.1538, 0.1538, 0.1539, 0.1547, 0.1553, 0.1579, 0.1783, 0.3522, 0.9619",\
                 "0.1533, 0.1533, 0.1533, 0.1535, 0.1542, 0.1552, 0.1563, 0.1819, 0.3775, 1.023",\
                 "0.1528, 0.1528, 0.153, 0.1531, 0.1533, 0.1539, 0.1564, 0.1884, 0.4243, 1.123",\
                 "0.1523, 0.1523, 0.1524, 0.1524, 0.153, 0.1536, 0.1572, 0.2088, 0.5228, 1.297",\
                 "0.152, 0.1522, 0.1524, 0.1528, 0.1532, 0.1543, 0.1608, 0.2559, 0.6976, 1.535",\
                 "0.1518, 0.1519, 0.1518, 0.1522, 0.153, 0.1544, 0.1733, 0.3649, 0.9708, 1.782",\
                 "0.1517, 0.1518, 0.1519, 0.1519, 0.1528, 0.1562, 0.2243, 0.6111, 1.304, 1.927",\
                 "0.1518, 0.152, 0.1523, 0.1522, 0.1524, 0.1805, 0.4342, 0.9868, 1.49, 1.85",\
                 "0.1524, 0.1526, 0.153, 0.1534, 0.1776, 0.4134, 0.8004, 1.082, 1.273, 1.405");
        }
      }

      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.03872, 0.05789, 0.1252, 0.2537, 0.4539, 0.7349, 1.105, 1.57, 2.139, 2.816");
          values("0.2699, 0.2717, 0.2754, 0.2781, 0.2796, 0.2803, 0.2808, 0.2811, 0.2812, 0.2813",\
                 "0.2697, 0.2715, 0.2751, 0.2779, 0.2794, 0.2801, 0.2806, 0.2808, 0.281, 0.2811",\
                 "0.2684, 0.2702, 0.2739, 0.2766, 0.278, 0.2788, 0.2793, 0.2796, 0.2798, 0.2799",\
                 "0.2663, 0.2682, 0.2719, 0.2746, 0.276, 0.2768, 0.2773, 0.2776, 0.2778, 0.2778",\
                 "0.2646, 0.2663, 0.2699, 0.2728, 0.2743, 0.2752, 0.2756, 0.2759, 0.2761, 0.276",\
                 "0.2631, 0.2649, 0.2684, 0.2713, 0.2729, 0.2738, 0.2743, 0.2746, 0.2747, 0.2745",\
                 "0.2623, 0.2638, 0.2674, 0.2702, 0.272, 0.2729, 0.2735, 0.2738, 0.2737, 0.2728",\
                 "0.2615, 0.2632, 0.2665, 0.2694, 0.2713, 0.2723, 0.2728, 0.273, 0.2723, 0.2691",\
                 "0.261, 0.2626, 0.2659, 0.2688, 0.2706, 0.2717, 0.272, 0.271, 0.2671, 0.2599",\
                 "0.2597, 0.2613, 0.2644, 0.2672, 0.2688, 0.2688, 0.2659, 0.2589, 0.2503, 0.2434");
        }

        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.03872, 0.05789, 0.1252, 0.2537, 0.4539, 0.7349, 1.105, 1.57, 2.139, 2.816");
          values("0.2447, 0.2461, 0.2495, 0.2525, 0.2552, 0.2572, 0.2605, 0.2928, 0.5297, 1.224",\
                 "0.2438, 0.2454, 0.2486, 0.2519, 0.2544, 0.257, 0.2599, 0.2963, 0.5361, 1.239",\
                 "0.2421, 0.2436, 0.2465, 0.2503, 0.253, 0.2546, 0.2588, 0.299, 0.563, 1.296",\
                 "0.2405, 0.2421, 0.2449, 0.2484, 0.2513, 0.2538, 0.2576, 0.3106, 0.631, 1.414",\
                 "0.239, 0.2405, 0.2438, 0.247, 0.2495, 0.2517, 0.2583, 0.3446, 0.7636, 1.598",\
                 "0.2378, 0.2392, 0.2421, 0.2452, 0.2483, 0.251, 0.2662, 0.4214, 0.9848, 1.815",\
                 "0.2366, 0.2381, 0.2409, 0.2441, 0.2469, 0.2505, 0.2958, 0.5972, 1.284, 1.993",\
                 "0.2362, 0.2373, 0.2402, 0.2431, 0.2459, 0.2593, 0.4136, 0.9298, 1.547, 2.016",\
                 "0.2357, 0.2369, 0.2396, 0.2422, 0.249, 0.354, 0.7608, 1.21, 1.527, 1.749",\
                 "0.2337, 0.2347, 0.2369, 0.2525, 0.4238, 0.6597, 0.8118, 0.9087, 0.9722, 1.015");
        }
      }

      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.863, 1.939, 2.171, 2.609, 3.297, 4.263, 5.47, 6.791, 8.216, \
                  9.749");
        }

        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.762, 1.815, 2.027, 2.461, 3.12, 3.924, 4.824, 5.799, 6.855, \
                  7.99");
        }

        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.03872, 0.05789, 0.1252, 0.2537, 0.4539, 0.7349, 1.105, 1.57, 2.139, 2.816");
          values("2.584, 2.748, 3.145, 3.647, 4.217, 4.855, 5.57, 6.381, 7.307, 8.369",\
                 "2.644, 2.807, 3.204, 3.707, 4.278, 4.915, 5.63, 6.441, 7.367, 8.429",\
                 "2.857, 3.02, 3.417, 3.92, 4.491, 5.127, 5.842, 6.654, 7.58, 8.641",\
                 "3.253, 3.416, 3.812, 4.315, 4.886, 5.522, 6.238, 7.05, 7.975, 9.037",\
                 "3.827, 3.99, 4.386, 4.89, 5.46, 6.096, 6.812, 7.623, 8.549, 9.61",\
                 "4.403, 4.567, 4.964, 5.466, 6.038, 6.673, 7.389, 8.201, 9.127, 10.19",\
                 "4.89, 5.054, 5.451, 5.954, 6.524, 7.161, 7.875, 8.687, 9.613, 10.67",\
                 "5.329, 5.495, 5.891, 6.395, 6.964, 7.601, 8.315, 9.127, 10.05, 11.11",\
                 "5.733, 5.897, 6.296, 6.799, 7.37, 8.007, 8.723, 9.531, 10.46, 11.52",\
                 "6.102, 6.265, 6.664, 7.167, 7.74, 8.375, 9.09, 9.9, 10.83, 11.89");
        }

        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.03872, 0.05789, 0.1252, 0.2537, 0.4539, 0.7349, 1.105, 1.57, 2.139, 2.816");
          values("1.803, 1.946, 2.339, 2.948, 3.813, 4.996, 6.546, 8.495, 10.88, 13.72",\
                 "1.859, 2.003, 2.395, 3.004, 3.869, 5.052, 6.602, 8.551, 10.94, 13.78",\
                 "2.058, 2.202, 2.594, 3.204, 4.068, 5.252, 6.801, 8.752, 11.14, 13.97",\
                 "2.438, 2.581, 2.975, 3.583, 4.448, 5.631, 7.181, 9.132, 11.51, 14.35",\
                 "3.026, 3.17, 3.564, 4.173, 5.037, 6.221, 7.769, 9.72, 12.1, 14.95",\
                 "3.783, 3.934, 4.339, 4.952, 5.818, 7.001, 8.55, 10.5, 12.88, 15.73",\
                 "4.585, 4.752, 5.186, 5.82, 6.692, 7.875, 9.424, 11.37, 13.76, 16.6",\
                 "5.403, 5.589, 6.058, 6.717, 7.601, 8.789, 10.34, 12.28, 14.66, 17.51",\
                 "6.23, 6.436, 6.945, 7.634, 8.534, 9.726, 11.27, 13.22, 15.6, 18.43",\
                 "7.053, 7.282, 7.836, 8.561, 9.479, 10.68, 12.23, 14.17, 16.55, 19.38");
        }

        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.03872, 0.05789, 0.1252, 0.2537, 0.4539, 0.7349, 1.105, 1.57, 2.139, 2.816");
          values("0.943, 1.046, 1.32, 1.721, 2.25, 2.916, 3.77, 4.843, 6.178, 7.814",\
                 "0.9428, 1.045, 1.32, 1.722, 2.244, 2.921, 3.771, 4.845, 6.174, 7.814",\
                 "0.943, 1.045, 1.32, 1.722, 2.244, 2.915, 3.771, 4.842, 6.177, 7.814",\
                 "0.9428, 1.046, 1.319, 1.722, 2.244, 2.915, 3.771, 4.845, 6.175, 7.813",\
                 "0.941, 1.045, 1.321, 1.721, 2.252, 2.913, 3.771, 4.845, 6.176, 7.815",\
                 "0.9428, 1.045, 1.32, 1.723, 2.248, 2.915, 3.77, 4.836, 6.176, 7.812",\
                 "0.9424, 1.044, 1.319, 1.722, 2.242, 2.914, 3.762, 4.838, 6.176, 7.808",\
                 "0.942, 1.046, 1.32, 1.72, 2.248, 2.916, 3.76, 4.83, 6.172, 7.808",\
                 "0.944, 1.046, 1.32, 1.722, 2.248, 2.914, 3.764, 4.828, 6.162, 7.8",\
                 "0.944, 1.046, 1.322, 1.722, 2.246, 2.916, 3.77, 4.834, 6.17, 7.798");
        }

        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.03872, 0.05789, 0.1252, 0.2537, 0.4539, 0.7349, 1.105, 1.57, 2.139, 2.816");
          values("0.613, 0.753, 1.194, 2.02, 3.366, 5.322, 7.929, 11.22, 15.23, 20",\
                 "0.6132, 0.7528, 1.193, 2.019, 3.366, 5.322, 7.929, 11.22, 15.22, 20",\
                 "0.6134, 0.7526, 1.193, 2.019, 3.366, 5.322, 7.928, 11.19, 15.26, 20.04",\
                 "0.6132, 0.753, 1.194, 2.019, 3.362, 5.322, 7.924, 11.21, 15.2, 19.98",\
                 "0.6166, 0.7562, 1.195, 2.02, 3.366, 5.317, 7.927, 11.23, 15.21, 20",\
                 "0.663, 0.7964, 1.217, 2.031, 3.368, 5.32, 7.928, 11.23, 15.21, 20",\
                 "0.753, 0.8856, 1.297, 2.075, 3.382, 5.324, 7.928, 11.23, 15.21, 20",\
                 "0.856, 0.988, 1.39, 2.146, 3.428, 5.336, 7.926, 11.21, 15.24, 20.06",\
                 "0.968, 1.104, 1.5, 2.228, 3.474, 5.362, 7.938, 11.21, 15.21, 20.03",\
                 "1.092, 1.234, 1.628, 2.332, 3.54, 5.408, 7.962, 11.22, 15.21, 20.01");
        }
      }

      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.03872, 0.05789, 0.1252, 0.2537, 0.4539, 0.7349, 1.105, 1.57, 2.139, 2.816");
          values("3.658, 3.814, 4.197, 4.688, 5.251, 5.881, 6.594, 7.403, 8.328, 9.389",\
                 "3.715, 3.871, 4.254, 4.745, 5.306, 5.94, 6.651, 7.46, 8.385, 9.446",\
                 "3.914, 4.069, 4.452, 4.943, 5.506, 6.138, 6.849, 7.658, 8.583, 9.644",\
                 "4.267, 4.422, 4.805, 5.297, 5.859, 6.489, 7.202, 8.012, 8.937, 9.997",\
                 "4.68, 4.836, 5.22, 5.712, 6.274, 6.906, 7.618, 8.427, 9.352, 10.41",\
                 "5.112, 5.268, 5.651, 6.143, 6.707, 7.338, 8.049, 8.859, 9.783, 10.85",\
                 "5.552, 5.708, 6.092, 6.584, 7.147, 7.779, 8.491, 9.301, 10.23, 11.29",\
                 "5.992, 6.148, 6.533, 7.025, 7.59, 8.221, 8.934, 9.743, 10.67, 11.73",\
                 "6.424, 6.579, 6.964, 7.458, 8.021, 8.654, 9.366, 10.18, 11.1, 12.16",\
                 "6.834, 6.992, 7.377, 7.871, 8.435, 9.068, 9.781, 10.59, 11.52, 12.58");
        }

        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.03872, 0.05789, 0.1252, 0.2537, 0.4539, 0.7349, 1.105, 1.57, 2.139, 2.816");
          values("3.304, 3.446, 3.84, 4.452, 5.321, 6.509, 8.061, 10.01, 12.4, 15.23",\
                 "3.359, 3.502, 3.896, 4.508, 5.378, 6.566, 8.117, 10.07, 12.45, 15.29",\
                 "3.572, 3.714, 4.107, 4.721, 5.59, 6.777, 8.329, 10.28, 12.66, 15.5",\
                 "4.002, 4.145, 4.539, 5.151, 6.021, 7.209, 8.759, 10.71, 13.09, 15.94",\
                 "4.674, 4.816, 5.21, 5.822, 6.692, 7.88, 9.432, 11.38, 13.76, 16.6",\
                 "5.525, 5.667, 6.061, 6.674, 7.543, 8.731, 10.28, 12.24, 14.62, 17.46",\
                 "6.476, 6.62, 7.015, 7.628, 8.498, 9.686, 11.24, 13.19, 15.58, 18.41",\
                 "7.521, 7.663, 8.059, 8.672, 9.542, 10.73, 12.28, 14.24, 16.62, 19.45",\
                 "8.651, 8.795, 9.19, 9.803, 10.67, 11.86, 13.42, 15.37, 17.75, 20.59",\
                 "9.865, 10.01, 10.41, 11.02, 11.89, 13.08, 14.64, 16.59, 18.97, 21.8");
        }

        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.03872, 0.05789, 0.1252, 0.2537, 0.4539, 0.7349, 1.105, 1.57, 2.139, 2.816");
          values("0.8582, 0.968, 1.259, 1.675, 2.213, 2.89, 3.749, 4.824, 6.17, 7.802",\
                 "0.8602, 0.968, 1.259, 1.675, 2.215, 2.893, 3.747, 4.825, 6.17, 7.806",\
                 "0.8598, 0.9672, 1.257, 1.674, 2.215, 2.896, 3.749, 4.825, 6.171, 7.807",\
                 "0.8598, 0.9686, 1.259, 1.674, 2.215, 2.891, 3.749, 4.831, 6.171, 7.809",\
                 "0.861, 0.9676, 1.257, 1.674, 2.214, 2.897, 3.752, 4.831, 6.17, 7.808",\
                 "0.8608, 0.9696, 1.26, 1.676, 2.216, 2.893, 3.754, 4.826, 6.17, 7.808",\
                 "0.8624, 0.972, 1.264, 1.678, 2.216, 2.892, 3.75, 4.828, 6.17, 7.804",\
                 "0.864, 0.974, 1.262, 1.678, 2.214, 2.892, 3.748, 4.826, 6.17, 7.8",\
                 "0.866, 0.974, 1.264, 1.678, 2.218, 2.898, 3.752, 4.826, 6.166, 7.8",\
                 "0.866, 0.976, 1.266, 1.68, 2.216, 2.892, 3.754, 4.83, 6.174, 7.808");
        }

        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.03872, 0.05789, 0.1252, 0.2537, 0.4539, 0.7349, 1.105, 1.57, 2.139, 2.816");
          values("0.569, 0.7138, 1.166, 2.003, 3.358, 5.319, 7.927, 11.21, 15.26, 20.02",\
                 "0.5692, 0.7132, 1.167, 2.006, 3.357, 5.321, 7.93, 11.23, 15.21, 20",\
                 "0.5694, 0.7134, 1.165, 2.006, 3.359, 5.317, 7.916, 11.21, 15.21, 19.98",\
                 "0.5692, 0.7136, 1.165, 2.005, 3.361, 5.321, 7.93, 11.21, 15.21, 20",\
                 "0.5696, 0.7136, 1.167, 2.005, 3.358, 5.314, 7.915, 11.21, 15.2, 20.01",\
                 "0.5712, 0.715, 1.168, 2.003, 3.361, 5.32, 7.918, 11.21, 15.21, 19.98",\
                 "0.574, 0.718, 1.17, 2.006, 3.356, 5.316, 7.928, 11.2, 15.21, 20.01",\
                 "0.576, 0.72, 1.172, 2.006, 3.358, 5.32, 7.93, 11.2, 15.21, 20",\
                 "0.578, 0.722, 1.174, 2.006, 3.358, 5.316, 7.92, 11.21, 15.2, 20.04",\
                 "0.582, 0.726, 1.174, 2.01, 3.362, 5.314, 7.916, 11.2, 15.2, 19.99");
        }
      }
    }
  }