  cell(gf180mcu_fd_sc_mcu9t5v0__invz_12) {
    area : 146.764800 ;

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

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

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

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

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

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

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

    pin(EN) {
      capacitance : 0.0137 ;
      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 ;

      internal_power() {
        when : "!I" ;

        fall_power(pwr_tin_10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          values("0.2785, 0.2756, 0.2751, 0.283, 0.302, 0.3332, 0.3787, 0.4406, \
                  0.5193, 0.6164");
        }

        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.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          values("0.1391, 0.1368, 0.1371, 0.1438, 0.1569, 0.1767, 0.204, 0.24, 0.286, \
                  0.3446");
        }

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

    pin(I) {
      capacitance : 0.01989 ;
      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 ;

      internal_power() {
        when : "!EN" ;

        fall_power(pwr_tin_10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          values("0.3061, 0.3002, 0.2993, 0.3154, 0.3504, 0.406, 0.484, 0.586, 0.7137, \
                  0.8687");
        }

        rise_power(pwr_tin_10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          values("0.1154, 0.1131, 0.1128, 0.1235, 0.1515, 0.1993, 0.2683, 0.36, \
                  0.475, 0.6144");
        }
      }
    }

    pin(ZN) {
      capacitance : 0.03496 ;
      direction : output ;
      function : "(!I)" ;
      max_capacitance : 5.443 ;
      max_transition : 13.2 ;
      min_capacitance : 0.03596 ;
      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.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.03596, 0.07328, 0.2043, 0.4544, 0.8442, 1.391, 2.111, 3.017, 4.124, 5.443");
          values("0.5915, 0.5913, 0.5913, 0.5911, 0.5911, 0.5912, 0.5913, 0.5914, 0.5915, 0.5915",\
                 "0.5913, 0.5912, 0.5911, 0.5909, 0.5909, 0.591, 0.5911, 0.5912, 0.5912, 0.5912",\
                 "0.5957, 0.5957, 0.5956, 0.5954, 0.5955, 0.5955, 0.5956, 0.5957, 0.5958, 0.5959",\
                 "0.6062, 0.6061, 0.6059, 0.6057, 0.6055, 0.6056, 0.6057, 0.6058, 0.6059, 0.6059",\
                 "0.6248, 0.6248, 0.6246, 0.6244, 0.6243, 0.6243, 0.6245, 0.6245, 0.6245, 0.6245",\
                 "0.6516, 0.6515, 0.6517, 0.6515, 0.6515, 0.6514, 0.6514, 0.6515, 0.6515, 0.6515",\
                 "0.688, 0.688, 0.688, 0.6878, 0.6876, 0.6878, 0.6879, 0.6878, 0.6878, 0.6878",\
                 "0.7341, 0.7342, 0.7343, 0.7341, 0.7338, 0.7338, 0.7339, 0.7341, 0.7341, 0.7339",\
                 "0.791, 0.7909, 0.7908, 0.7904, 0.7903, 0.7901, 0.7904, 0.7903, 0.7905, 0.7907",\
                 "0.8581, 0.8581, 0.8582, 0.8578, 0.8576, 0.8575, 0.8575, 0.8576, 0.8576, 0.8574");
        }

        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.03596, 0.07328, 0.2043, 0.4544, 0.8442, 1.391, 2.111, 3.017, 4.124, 5.443");
          values("0.5429, 0.543, 0.5435, 0.5438, 0.5482, 0.5505, 0.5586, 0.5738, 0.7062, 1.514",\
                 "0.5415, 0.5416, 0.5432, 0.5429, 0.547, 0.549, 0.5574, 0.5723, 0.7105, 1.528",\
                 "0.5411, 0.5413, 0.5426, 0.5432, 0.5458, 0.5505, 0.5586, 0.5731, 0.7115, 1.595",\
                 "0.5474, 0.5477, 0.547, 0.5486, 0.5518, 0.5562, 0.5631, 0.5815, 0.7453, 1.716",\
                 "0.5624, 0.5628, 0.5647, 0.5666, 0.5701, 0.5742, 0.5802, 0.5974, 0.8062, 1.941",\
                 "0.5903, 0.5908, 0.5911, 0.5915, 0.5995, 0.6012, 0.6078, 0.6375, 0.9002, 2.273",\
                 "0.6319, 0.6323, 0.6331, 0.6314, 0.6364, 0.6462, 0.6532, 0.6898, 1.056, 2.773",\
                 "0.6883, 0.6888, 0.6917, 0.6899, 0.6886, 0.6966, 0.7141, 0.7743, 1.317, 3.553",\
                 "0.76, 0.7609, 0.7625, 0.764, 0.7642, 0.7641, 0.7789, 0.912, 1.763, 4.73",\
                 "0.8484, 0.8489, 0.8506, 0.8528, 0.8518, 0.851, 0.8644, 1.116, 2.563, 6.503");
        }
      }

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

        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.03596, 0.07328, 0.2043, 0.4544, 0.8442, 1.391, 2.111, 3.017, 4.124, 5.443");
          values("0.9344, 0.9499, 0.9744, 0.9883, 0.995, 0.9984, 1, 1.002, 1.002, 1.003",\
                 "0.9316, 0.947, 0.9717, 0.9859, 0.9925, 0.9958, 0.9976, 0.9988, 0.9996, 1",\
                 "0.9288, 0.9442, 0.9686, 0.9825, 0.9894, 0.9928, 0.9948, 0.996, 0.9968, 0.9972",\
                 "0.9379, 0.9527, 0.9765, 0.991, 0.9981, 1.002, 1.004, 1.005, 1.006, 1.007",\
                 "0.9668, 0.9806, 1.004, 1.019, 1.027, 1.031, 1.033, 1.034, 1.035, 1.035",\
                 "1.017, 1.03, 1.053, 1.069, 1.077, 1.081, 1.084, 1.085, 1.086, 1.087",\
                 "1.092, 1.104, 1.126, 1.142, 1.151, 1.156, 1.158, 1.16, 1.161, 1.162",\
                 "1.192, 1.203, 1.224, 1.24, 1.25, 1.255, 1.258, 1.26, 1.261, 1.262",\
                 "1.317, 1.328, 1.348, 1.364, 1.374, 1.379, 1.383, 1.385, 1.387, 1.387",\
                 "1.471, 1.48, 1.5, 1.515, 1.526, 1.532, 1.536, 1.538, 1.54, 1.54");
        }

        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.03596, 0.07328, 0.2043, 0.4544, 0.8442, 1.391, 2.111, 3.017, 4.124, 5.443");
          values("0.9528, 0.9643, 0.9853, 1.002, 1.015, 1.025, 1.035, 1.054, 1.207, 2.096",\
                 "0.9472, 0.958, 0.9796, 0.9972, 1.01, 1.018, 1.031, 1.048, 1.205, 2.107",\
                 "0.9448, 0.9557, 0.9767, 0.9942, 1.008, 1.016, 1.027, 1.046, 1.219, 2.18",\
                 "0.9596, 0.9703, 0.9902, 1.007, 1.021, 1.031, 1.041, 1.064, 1.262, 2.337",\
                 "0.9939, 1.005, 1.022, 1.04, 1.055, 1.065, 1.075, 1.101, 1.34, 2.609",\
                 "1.051, 1.06, 1.078, 1.096, 1.111, 1.124, 1.137, 1.174, 1.492, 3.052",\
                 "1.133, 1.142, 1.158, 1.172, 1.195, 1.207, 1.218, 1.269, 1.75, 3.761",\
                 "1.242, 1.25, 1.267, 1.282, 1.295, 1.315, 1.331, 1.426, 2.157, 4.872",\
                 "1.379, 1.387, 1.402, 1.417, 1.43, 1.442, 1.475, 1.683, 2.934, 6.619",\
                 "1.548, 1.555, 1.57, 1.582, 1.597, 1.604, 1.655, 2.168, 4.416, 9.196");
        }
      }

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

        cell_fall(tmg_ntin_10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          values("0.918, 0.952, 1.062, 1.276, 1.622, 2.051, 2.512, 3.017, 3.576, \
                  4.192");
        }

        cell_rise(tmg_ntin_10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          values("0.789, 0.813, 0.921, 1.112, 1.34, 1.612, 1.935, 2.309, 2.734, \
                  3.21");
        }

        fall_transition(tmg_ntin_10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          values("0, 0, 0, 0, 0, 0, 0, 0, 0, 0");
        }

        rise_transition(tmg_ntin_10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          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.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.03596, 0.07328, 0.2043, 0.4544, 0.8442, 1.391, 2.111, 3.017, 4.124, 5.443");
          values("0.5554, 0.6663, 0.9184, 1.233, 1.604, 2.04, 2.561, 3.188, 3.938, 4.827",\
                 "0.582, 0.6929, 0.9449, 1.26, 1.63, 2.066, 2.587, 3.214, 3.965, 4.853",\
                 "0.6773, 0.7882, 1.04, 1.355, 1.725, 2.161, 2.682, 3.309, 4.06, 4.948",\
                 "0.8323, 0.9453, 1.199, 1.515, 1.885, 2.321, 2.843, 3.47, 4.22, 5.108",\
                 "0.955, 1.077, 1.337, 1.655, 2.026, 2.462, 2.983, 3.61, 4.361, 5.249",\
                 "1.002, 1.124, 1.385, 1.703, 2.074, 2.509, 3.031, 3.657, 4.408, 5.296",\
                 "0.9946, 1.117, 1.379, 1.697, 2.068, 2.504, 3.025, 3.651, 4.401, 5.289",\
                 "0.9374, 1.061, 1.325, 1.645, 2.015, 2.452, 2.973, 3.6, 4.35, 5.237",\
                 "0.8341, 0.9591, 1.224, 1.545, 1.918, 2.354, 2.876, 3.503, 4.253, 5.141",\
                 "0.6794, 0.8059, 1.074, 1.397, 1.77, 2.208, 2.73, 3.358, 4.107, 4.996");
        }

        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.03596, 0.07328, 0.2043, 0.4544, 0.8442, 1.391, 2.111, 3.017, 4.124, 5.443");
          values("0.5897, 0.7019, 0.9604, 1.338, 1.88, 2.63, 3.615, 4.857, 6.378, 8.188",\
                 "0.6145, 0.7267, 0.9854, 1.363, 1.905, 2.655, 3.64, 4.882, 6.403, 8.212",\
                 "0.7023, 0.8145, 1.073, 1.451, 1.993, 2.743, 3.729, 4.973, 6.485, 8.291",\
                 "0.8537, 0.9704, 1.233, 1.611, 2.153, 2.903, 3.89, 5.133, 6.65, 8.46",\
                 "0.9927, 1.132, 1.42, 1.808, 2.351, 3.101, 4.087, 5.33, 6.848, 8.657",\
                 "1.086, 1.249, 1.573, 1.98, 2.529, 3.279, 4.264, 5.508, 7.022, 8.827",\
                 "1.135, 1.322, 1.686, 2.117, 2.674, 3.425, 4.41, 5.65, 7.166, 8.974",\
                 "1.136, 1.348, 1.758, 2.218, 2.785, 3.538, 4.522, 5.762, 7.276, 9.083",\
                 "1.085, 1.323, 1.78, 2.279, 2.861, 3.617, 4.601, 5.841, 7.355, 9.159",\
                 "0.9793, 1.243, 1.751, 2.293, 2.896, 3.659, 4.644, 5.884, 7.397, 9.202");
        }

        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.03596, 0.07328, 0.2043, 0.4544, 0.8442, 1.391, 2.111, 3.017, 4.124, 5.443");
          values("0.2663, 0.3686, 0.6004, 0.9052, 1.318, 1.879, 2.631, 3.613, 4.843, 6.326",\
                 "0.2664, 0.3681, 0.6002, 0.9062, 1.319, 1.879, 2.63, 3.613, 4.843, 6.326",\
                 "0.2658, 0.3676, 0.5998, 0.9054, 1.317, 1.879, 2.63, 3.613, 4.841, 6.332",\
                 "0.2762, 0.3744, 0.6036, 0.9082, 1.319, 1.879, 2.631, 3.614, 4.841, 6.329",\
                 "0.3124, 0.4076, 0.6176, 0.913, 1.322, 1.881, 2.632, 3.612, 4.841, 6.329",\
                 "0.3172, 0.41, 0.6192, 0.9156, 1.321, 1.877, 2.632, 3.612, 4.843, 6.332",\
                 "0.3196, 0.4122, 0.6212, 0.9152, 1.323, 1.879, 2.632, 3.607, 4.836, 6.324",\
                 "0.3236, 0.4164, 0.625, 0.9192, 1.326, 1.881, 2.631, 3.611, 4.836, 6.32",\
                 "0.3276, 0.4208, 0.6288, 0.9234, 1.329, 1.884, 2.632, 3.611, 4.839, 6.321",\
                 "0.3324, 0.426, 0.635, 0.9276, 1.333, 1.887, 2.638, 3.612, 4.842, 6.326");
        }

        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.03596, 0.07328, 0.2043, 0.4544, 0.8442, 1.391, 2.111, 3.017, 4.124, 5.443");
          values("0.2543, 0.351, 0.6359, 1.185, 2.094, 3.407, 5.147, 7.341, 10.02, 13.21",\
                 "0.2538, 0.3509, 0.6379, 1.184, 2.094, 3.407, 5.146, 7.34, 10.02, 13.21",\
                 "0.2539, 0.3511, 0.6376, 1.184, 2.094, 3.405, 5.142, 7.337, 10, 13.2",\
                 "0.2712, 0.3626, 0.6418, 1.186, 2.094, 3.406, 5.144, 7.337, 10.01, 13.2",\
                 "0.3322, 0.4242, 0.6812, 1.201, 2.097, 3.407, 5.149, 7.329, 10.01, 13.2",\
                 "0.3926, 0.4962, 0.744, 1.238, 2.109, 3.406, 5.147, 7.336, 10, 13.2",\
                 "0.4554, 0.5698, 0.8178, 1.282, 2.13, 3.415, 5.148, 7.329, 9.998, 13.19",\
                 "0.52, 0.6482, 0.9076, 1.34, 2.155, 3.424, 5.149, 7.338, 9.999, 13.18",\
                 "0.586, 0.7326, 1.003, 1.419, 2.19, 3.441, 5.154, 7.334, 10, 13.19",\
                 "0.6498, 0.8168, 1.11, 1.512, 2.244, 3.462, 5.164, 7.34, 10.01, 13.19");
        }
      }

      timing() {
        related_pin : "I" ;
        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.03596, 0.07328, 0.2043, 0.4544, 0.8442, 1.391, 2.111, 3.017, 4.124, 5.443");
          values("0.9151, 1.031, 1.284, 1.597, 1.965, 2.399, 2.92, 3.547, 4.297, 5.186",\
                 "0.9395, 1.055, 1.309, 1.622, 1.989, 2.424, 2.945, 3.572, 4.322, 5.21",\
                 "1.021, 1.136, 1.39, 1.703, 2.07, 2.505, 3.026, 3.653, 4.403, 5.292",\
                 "1.105, 1.22, 1.474, 1.788, 2.156, 2.591, 3.111, 3.738, 4.489, 5.377",\
                 "1.16, 1.275, 1.529, 1.844, 2.212, 2.647, 3.168, 3.794, 4.545, 5.433",\
                 "1.183, 1.299, 1.554, 1.869, 2.237, 2.672, 3.193, 3.821, 4.571, 5.46",\
                 "1.17, 1.286, 1.542, 1.858, 2.227, 2.662, 3.183, 3.81, 4.561, 5.449",\
                 "1.115, 1.232, 1.489, 1.805, 2.175, 2.611, 3.132, 3.759, 4.51, 5.398",\
                 "1.016, 1.133, 1.391, 1.709, 2.079, 2.516, 3.037, 3.665, 4.415, 5.303",\
                 "0.8679, 0.9863, 1.247, 1.566, 1.937, 2.374, 2.896, 3.523, 4.274, 5.162");
        }

        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.03596, 0.07328, 0.2043, 0.4544, 0.8442, 1.391, 2.111, 3.017, 4.124, 5.443");
          values("1.064, 1.177, 1.437, 1.817, 2.361, 3.113, 4.099, 5.342, 6.863, 8.673",\
                 "1.089, 1.202, 1.462, 1.842, 2.386, 3.138, 4.125, 5.367, 6.888, 8.697",\
                 "1.196, 1.308, 1.568, 1.948, 2.492, 3.244, 4.23, 5.473, 6.992, 8.8",\
                 "1.39, 1.502, 1.763, 2.143, 2.687, 3.439, 4.427, 5.668, 7.189, 8.999",\
                 "1.624, 1.737, 1.997, 2.377, 2.922, 3.675, 4.662, 5.905, 7.425, 9.227",\
                 "1.9, 2.013, 2.274, 2.655, 3.2, 3.952, 4.94, 6.185, 7.699, 9.507",\
                 "2.224, 2.337, 2.599, 2.98, 3.525, 4.278, 5.264, 6.507, 8.027, 9.835",\
                 "2.598, 2.713, 2.975, 3.356, 3.901, 4.655, 5.641, 6.882, 8.399, 10.21",\
                 "3.024, 3.139, 3.402, 3.784, 4.33, 5.083, 6.069, 7.311, 8.826, 10.63",\
                 "3.502, 3.618, 3.882, 4.265, 4.811, 5.563, 6.552, 7.792, 9.308, 11.11");
        }

        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.03596, 0.07328, 0.2043, 0.4544, 0.8442, 1.391, 2.111, 3.017, 4.124, 5.443");
          values("0.2531, 0.3532, 0.5834, 0.8932, 1.307, 1.872, 2.628, 3.61, 4.838, 6.331",\
                 "0.253, 0.3528, 0.5834, 0.894, 1.307, 1.873, 2.628, 3.612, 4.842, 6.327",\
                 "0.2534, 0.353, 0.5838, 0.8934, 1.31, 1.873, 2.628, 3.612, 4.842, 6.324",\
                 "0.2548, 0.3544, 0.5846, 0.894, 1.308, 1.873, 2.627, 3.612, 4.843, 6.329",\
                 "0.2556, 0.3552, 0.5858, 0.894, 1.309, 1.874, 2.629, 3.612, 4.842, 6.325",\
                 "0.2576, 0.3572, 0.587, 0.8952, 1.309, 1.872, 2.629, 3.612, 4.843, 6.33",\
                 "0.26, 0.36, 0.589, 0.8964, 1.311, 1.873, 2.628, 3.608, 4.841, 6.329",\
                 "0.2638, 0.3632, 0.593, 0.8992, 1.312, 1.875, 2.627, 3.613, 4.836, 6.324",\
                 "0.2676, 0.367, 0.5956, 0.901, 1.313, 1.876, 2.629, 3.613, 4.837, 6.323",\
                 "0.2722, 0.3716, 0.5994, 0.9044, 1.317, 1.877, 2.632, 3.612, 4.84, 6.324");
        }

        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.03596, 0.07328, 0.2043, 0.4544, 0.8442, 1.391, 2.111, 3.017, 4.124, 5.443");
          values("0.2352, 0.334, 0.6248, 1.18, 2.093, 3.406, 5.148, 7.34, 10.02, 13.21",\
                 "0.2354, 0.335, 0.6256, 1.179, 2.091, 3.407, 5.141, 7.342, 10.02, 13.2",\
                 "0.2356, 0.335, 0.6254, 1.179, 2.092, 3.407, 5.147, 7.34, 10.02, 13.2",\
                 "0.2366, 0.3356, 0.6262, 1.18, 2.093, 3.406, 5.144, 7.342, 10.02, 13.21",\
                 "0.239, 0.3368, 0.6262, 1.179, 2.093, 3.402, 5.149, 7.346, 10.01, 13.2",\
                 "0.24, 0.3392, 0.6284, 1.179, 2.093, 3.405, 5.143, 7.338, 10.02, 13.21",\
                 "0.2418, 0.3424, 0.63, 1.179, 2.091, 3.405, 5.14, 7.342, 10.01, 13.2",\
                 "0.2442, 0.3444, 0.632, 1.181, 2.092, 3.406, 5.139, 7.329, 10, 13.21",\
                 "0.2468, 0.346, 0.6332, 1.183, 2.093, 3.406, 5.144, 7.326, 9.998, 13.2",\
                 "0.252, 0.348, 0.636, 1.186, 2.092, 3.402, 5.142, 7.332, 9.994, 13.2");
        }
      }
    }
  }