/*
 * Copyright 2022 GlobalFoundries PDK Authors
 *
 * Licensed under the Apache License, Version 2.0 (the "License");
 * you may not use this file except in compliance with the License.
 * You may obtain a copy of the License at
 *
 *      http://www.apache.org/licenses/LICENSE-2.0
 *
 * Unless required by applicable law or agreed to in writing, software
 * distributed under the License is distributed on an "AS IS" BASIS,
 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 * See the License for the specific language governing permissions and
 * limitations under the License.
 */

  cell(gf180mcu_fd_sc_mcu7t5v0__nand2_4) {
    area : 35.123200 ;

    leakage_power() {
      related_pg_pin : "VDD" ;
      when : "!A1&!A2" ;
      value : "0.0007634286" ;
    }

    leakage_power() {
      related_pg_pin : "VDD" ;
      when : "!A1&A2" ;
      value : "0.002366892" ;
    }

    leakage_power() {
      related_pg_pin : "VDD" ;
      when : "A1&!A2" ;
      value : "0.0019729116" ;
    }

    leakage_power() {
      related_pg_pin : "VDD" ;
      when : "A1&A2" ;
      value : "0.0004861296" ;
    }

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

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

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

    pin(A1) {
      capacitance : 0.01801 ;
      direction : input ;
      driver_waveform_rise : driver_waveform_default_rise ;
      driver_waveform_fall : driver_waveform_default_fall ;
      input_voltage : default ;
      max_transition : 8.9 ;
      related_ground_pin : VSS ;
      related_power_pin : VDD ;

      internal_power() {
        when : "!A2" ;

        fall_power(pwr_tin_10) {
          index_1("0.02, 0.08129, 0.2964, 0.7073, 1.347, 2.245, 3.427, 4.916, 6.734, 8.9");
          values("0.02474, 0.02468, 0.02459, 0.02451, 0.02449, 0.02449, 0.02448, \
                  0.02448, 0.02447, 0.02449");
        }

        rise_power(pwr_tin_10) {
          index_1("0.02, 0.08129, 0.2964, 0.7073, 1.347, 2.245, 3.427, 4.916, 6.734, 8.9");
          values("-0.01508, -0.01506, -0.01508, -0.01508, -0.0151, -0.01514, -0.01519, \
                  -0.0152, -0.01526, -0.01534");
        }
      }
    }

    pin(A2) {
      capacitance : 0.01821 ;
      direction : input ;
      driver_waveform_rise : driver_waveform_default_rise ;
      driver_waveform_fall : driver_waveform_default_fall ;
      input_voltage : default ;
      max_transition : 8.9 ;
      related_ground_pin : VSS ;
      related_power_pin : VDD ;

      internal_power() {
        when : "!A1" ;

        fall_power(pwr_tin_10) {
          index_1("0.02, 0.08129, 0.2964, 0.7073, 1.347, 2.245, 3.427, 4.916, 6.734, 8.9");
          values("0.02528, 0.02336, 0.02224, 0.0218, 0.02161, 0.02154, 0.02147, \
                  0.02141, 0.02138, 0.02134");
        }

        rise_power(pwr_tin_10) {
          index_1("0.02, 0.08129, 0.2964, 0.7073, 1.347, 2.245, 3.427, 4.916, 6.734, 8.9");
          values("-0.0215, -0.02145, -0.02145, -0.02139, -0.02137, -0.0214, -0.02139, \
                  -0.02138, -0.02137, -0.02139");
        }
      }
    }

    pin(ZN) {
      direction : output ;
      function : "((!A1)|(!A2))" ;
      max_capacitance : 0.8397 ;
      max_transition : 8.9 ;
      min_capacitance : 0.001 ;
      output_voltage : default ;
      related_ground_pin : VSS ;
      related_power_pin : VDD ;

      internal_power() {
        related_pin : "A1" ;
        when : "A2" ;

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.08129, 0.2964, 0.7073, 1.347, 2.245, 3.427, 4.916, 6.734, 8.9");
          index_2("0.001, 0.006789, 0.02711, 0.06591, 0.1264, 0.2112, 0.3228, 0.4634, 0.6351, 0.8397");
          values("0.006625, 0.006816, 0.007008, 0.007135, 0.007178, 0.007221, 0.007224, 0.007243, 0.007256, 0.007254",\
                 "0.005533, 0.005869, 0.00646, 0.00682, 0.007001, 0.007104, 0.007176, 0.007167, 0.007206, 0.007226",\
                 "0.004999, 0.005284, 0.005874, 0.0064, 0.006724, 0.006894, 0.007006, 0.007072, 0.007121, 0.007132",\
                 "0.008476, 0.008133, 0.007659, 0.007449, 0.007383, 0.007318, 0.007302, 0.007275, 0.007273, 0.007257",\
                 "0.01747, 0.0163, 0.01384, 0.01182, 0.01044, 0.00953, 0.008929, 0.008506, 0.008206, 0.008014",\
                 "0.03252, 0.03048, 0.02573, 0.02104, 0.01742, 0.01483, 0.01299, 0.01168, 0.01071, 0.01",\
                 "0.0539, 0.05103, 0.04395, 0.03607, 0.02951, 0.02446, 0.02069, 0.01787, 0.01571, 0.01411",\
                 "0.08183, 0.07834, 0.06904, 0.05787, 0.04776, 0.03954, 0.03309, 0.02813, 0.02423, 0.02118",\
                 "0.1166, 0.1126, 0.1014, 0.08693, 0.07298, 0.06101, 0.05128, 0.04349, 0.03716, 0.03219",\
                 "0.1587, 0.1541, 0.1412, 0.1237, 0.1058, 0.08966, 0.07616, 0.06484, 0.05562, 0.0479");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.08129, 0.2964, 0.7073, 1.347, 2.245, 3.427, 4.916, 6.734, 8.9");
          index_2("0.001, 0.006789, 0.02711, 0.06591, 0.1264, 0.2112, 0.3228, 0.4634, 0.6351, 0.8397");
          values("0.0649, 0.06557, 0.06636, 0.06683, 0.06708, 0.06766, 0.06856, 0.06883, 0.07052, 0.07403",\
                 "0.06311, 0.06398, 0.06571, 0.06657, 0.06733, 0.06799, 0.06868, 0.06901, 0.07092, 0.07462",\
                 "0.06263, 0.06298, 0.06409, 0.06549, 0.06672, 0.0677, 0.06864, 0.06932, 0.07092, 0.07529",\
                 "0.06755, 0.06704, 0.06647, 0.06624, 0.0669, 0.06778, 0.06836, 0.06954, 0.07052, 0.07582",\
                 "0.07868, 0.07719, 0.07406, 0.07164, 0.07025, 0.06962, 0.06973, 0.07021, 0.07078, 0.07775",\
                 "0.0962, 0.09367, 0.08814, 0.08283, 0.07906, 0.07605, 0.07456, 0.07412, 0.07365, 0.0814",\
                 "0.1205, 0.1173, 0.1094, 0.1004, 0.09365, 0.08813, 0.084, 0.08111, 0.07995, 0.08896",\
                 "0.152, 0.1481, 0.138, 0.126, 0.1145, 0.1061, 0.09935, 0.09362, 0.09116, 0.1037",\
                 "0.1912, 0.1867, 0.1744, 0.1588, 0.1435, 0.1309, 0.1217, 0.1128, 0.1092, 0.1298",\
                 "0.2385, 0.2334, 0.2193, 0.2006, 0.1816, 0.1639, 0.1501, 0.1393, 0.1365, 0.1781");
        }
      }

      internal_power() {
        related_pin : "A2" ;
        when : "A1" ;

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.08129, 0.2964, 0.7073, 1.347, 2.245, 3.427, 4.916, 6.734, 8.9");
          index_2("0.001, 0.006789, 0.02711, 0.06591, 0.1264, 0.2112, 0.3228, 0.4634, 0.6351, 0.8397");
          values("0.006733, 0.006887, 0.007052, 0.007152, 0.007204, 0.007225, 0.007246, 0.007248, 0.007248, 0.007269",\
                 "0.005549, 0.005935, 0.006531, 0.006856, 0.007025, 0.007117, 0.007167, 0.007203, 0.007216, 0.007241",\
                 "0.004031, 0.004503, 0.005409, 0.006128, 0.006566, 0.006799, 0.006934, 0.007032, 0.007096, 0.007113",\
                 "0.005871, 0.005891, 0.006108, 0.006477, 0.006736, 0.006922, 0.007028, 0.007089, 0.007131, 0.007165",\
                 "0.01337, 0.01263, 0.01112, 0.009947, 0.009202, 0.008697, 0.008341, 0.008091, 0.00791, 0.00777",\
                 "0.02738, 0.02576, 0.02195, 0.01827, 0.0155, 0.01351, 0.01207, 0.01101, 0.01023, 0.009638",\
                 "0.04832, 0.04582, 0.03949, 0.03264, 0.02704, 0.02271, 0.01945, 0.017, 0.0151, 0.01365",\
                 "0.07625, 0.07298, 0.0643, 0.05398, 0.04475, 0.03741, 0.03159, 0.02705, 0.02349, 0.02068",\
                 "0.1113, 0.1074, 0.09669, 0.08287, 0.06966, 0.05853, 0.04952, 0.04226, 0.03644, 0.03169",\
                 "0.1538, 0.1493, 0.1367, 0.1197, 0.1024, 0.08698, 0.07416, 0.0635, 0.05474, 0.04755");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.08129, 0.2964, 0.7073, 1.347, 2.245, 3.427, 4.916, 6.734, 8.9");
          index_2("0.001, 0.006789, 0.02711, 0.06591, 0.1264, 0.2112, 0.3228, 0.4634, 0.6351, 0.8397");
          values("0.08847, 0.08861, 0.08882, 0.089, 0.08932, 0.0897, 0.09046, 0.09127, 0.09182, 0.09645",\
                 "0.08674, 0.08698, 0.08753, 0.08799, 0.08833, 0.08897, 0.08969, 0.09036, 0.09142, 0.09546",\
                 "0.08631, 0.08635, 0.08677, 0.08729, 0.08778, 0.08857, 0.08918, 0.09028, 0.09122, 0.09572",\
                 "0.09087, 0.09036, 0.08946, 0.08878, 0.08877, 0.08907, 0.08963, 0.09042, 0.09108, 0.09666",\
                 "0.1018, 0.1005, 0.09761, 0.09486, 0.09287, 0.09188, 0.09153, 0.09173, 0.09272, 0.09938",\
                 "0.1193, 0.1174, 0.1123, 0.1068, 0.1023, 0.09911, 0.09698, 0.09609, 0.09633, 0.1034",\
                 "0.1438, 0.1413, 0.1344, 0.1256, 0.1179, 0.1117, 0.1073, 0.104, 0.1031, 0.1113",\
                 "0.1757, 0.1727, 0.1642, 0.1524, 0.1408, 0.1313, 0.1237, 0.1177, 0.1147, 0.1274",\
                 "0.2154, 0.2119, 0.2018, 0.1874, 0.1722, 0.1584, 0.1471, 0.1378, 0.134, 0.1556",\
                 "0.2632, 0.2594, 0.2482, 0.2314, 0.212, 0.1937, 0.1783, 0.1657, 0.1627, 0.2051");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.08129, 0.2964, 0.7073, 1.347, 2.245, 3.427, 4.916, 6.734, 8.9");
          index_2("0.001, 0.006789, 0.02711, 0.06591, 0.1264, 0.2112, 0.3228, 0.4634, 0.6351, 0.8397");
          values("0.1043, 0.1306, 0.2219, 0.3945, 0.6635, 1.041, 1.538, 2.164, 2.926, 3.836",\
                 "0.1154, 0.1421, 0.234, 0.4072, 0.6765, 1.054, 1.551, 2.177, 2.941, 3.851",\
                 "0.1508, 0.1844, 0.2816, 0.4551, 0.7245, 1.102, 1.6, 2.225, 2.989, 3.9",\
                 "0.1708, 0.2171, 0.3513, 0.5506, 0.8199, 1.197, 1.693, 2.319, 3.08, 3.991",\
                 "0.1721, 0.2307, 0.3996, 0.6529, 0.9681, 1.348, 1.843, 2.466, 3.229, 4.139",\
                 "0.1513, 0.2231, 0.4266, 0.7298, 1.11, 1.552, 2.057, 2.679, 3.439, 4.348",\
                 "0.1062, 0.1898, 0.4306, 0.7835, 1.225, 1.743, 2.322, 2.963, 3.721, 4.626",\
                 "0.0348, 0.1314, 0.407, 0.8118, 1.313, 1.901, 2.564, 3.29, 4.079, 4.983",\
                 "-0.0653, 0.044, 0.3551, 0.8132, 1.376, 2.032, 2.773, 3.59, 4.473, 5.42",\
                 "-0.1955, -0.0727, 0.2741, 0.7836, 1.41, 2.134, 2.95, 3.853, 4.833, 5.883");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.08129, 0.2964, 0.7073, 1.347, 2.245, 3.427, 4.916, 6.734, 8.9");
          index_2("0.001, 0.006789, 0.02711, 0.06591, 0.1264, 0.2112, 0.3228, 0.4634, 0.6351, 0.8397");
          values("0.1206, 0.1551, 0.2725, 0.494, 0.8368, 1.321, 1.955, 2.755, 3.728, 4.895",\
                 "0.1364, 0.1717, 0.2914, 0.5145, 0.8595, 1.34, 1.975, 2.772, 3.752, 4.916",\
                 "0.2042, 0.2412, 0.36, 0.5837, 0.9299, 1.414, 2.048, 2.85, 3.826, 4.985",\
                 "0.299, 0.3506, 0.4985, 0.7246, 1.069, 1.552, 2.186, 2.986, 3.96, 5.122",\
                 "0.4153, 0.4795, 0.6662, 0.9436, 1.294, 1.773, 2.406, 3.205, 4.177, 5.345",\
                 "0.5548, 0.6323, 0.8553, 1.191, 1.606, 2.093, 2.722, 3.518, 4.487, 5.65",\
                 "0.7173, 0.8106, 1.071, 1.459, 1.946, 2.508, 3.146, 3.936, 4.905, 6.063",\
                 "0.9063, 1.014, 1.316, 1.756, 2.309, 2.954, 3.672, 4.471, 5.436, 6.587",\
                 "1.121, 1.243, 1.586, 2.082, 2.7, 3.424, 4.236, 5.117, 6.091, 7.238",\
                 "1.364, 1.501, 1.887, 2.443, 3.124, 3.921, 4.823, 5.809, 6.862, 8.02");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.08129, 0.2964, 0.7073, 1.347, 2.245, 3.427, 4.916, 6.734, 8.9");
          index_2("0.001, 0.006789, 0.02711, 0.06591, 0.1264, 0.2112, 0.3228, 0.4634, 0.6351, 0.8397");
          values("0.1241, 0.1694, 0.3274, 0.6303, 1.099, 1.76, 2.628, 3.724, 5.056, 6.648",\
                 "0.1237, 0.169, 0.3278, 0.6306, 1.102, 1.761, 2.629, 3.723, 5.06, 6.654",\
                 "0.1626, 0.2023, 0.3334, 0.6298, 1.101, 1.758, 2.629, 3.722, 5.062, 6.651",\
                 "0.2318, 0.2822, 0.4319, 0.6708, 1.101, 1.758, 2.627, 3.72, 5.052, 6.647",\
                 "0.3236, 0.3827, 0.5594, 0.8376, 1.204, 1.775, 2.626, 3.72, 5.054, 6.649",\
                 "0.4354, 0.506, 0.7094, 1.028, 1.445, 1.953, 2.683, 3.722, 5.053, 6.646",\
                 "0.5632, 0.6496, 0.8848, 1.242, 1.711, 2.277, 2.943, 3.843, 5.071, 6.645",\
                 "0.7076, 0.807, 1.083, 1.48, 1.994, 2.629, 3.352, 4.186, 5.269, 6.701",\
                 "0.8688, 0.9818, 1.299, 1.749, 2.311, 2.995, 3.794, 4.693, 5.706, 6.989",\
                 "1.045, 1.178, 1.534, 2.042, 2.662, 3.391, 4.255, 5.233, 6.313, 7.52");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.08129, 0.2964, 0.7073, 1.347, 2.245, 3.427, 4.916, 6.734, 8.9");
          index_2("0.001, 0.006789, 0.02711, 0.06591, 0.1264, 0.2112, 0.3228, 0.4634, 0.6351, 0.8397");
          values("0.1555, 0.2144, 0.4213, 0.8153, 1.43, 2.299, 3.432, 4.868, 6.614, 8.704",\
                 "0.1554, 0.2144, 0.4217, 0.8162, 1.432, 2.295, 3.429, 4.86, 6.612, 8.698",\
                 "0.1842, 0.2284, 0.4213, 0.8167, 1.431, 2.298, 3.436, 4.867, 6.616, 8.699",\
                 "0.2656, 0.3219, 0.4834, 0.8211, 1.433, 2.294, 3.434, 4.861, 6.61, 8.699",\
                 "0.3588, 0.4274, 0.6302, 0.9374, 1.45, 2.298, 3.432, 4.865, 6.614, 8.697",\
                 "0.4706, 0.548, 0.7858, 1.153, 1.619, 2.34, 3.439, 4.876, 6.607, 8.693",\
                 "0.5974, 0.6896, 0.959, 1.38, 1.916, 2.556, 3.507, 4.88, 6.614, 8.691",\
                 "0.7372, 0.8484, 1.152, 1.619, 2.227, 2.936, 3.777, 4.979, 6.622, 8.697",\
                 "0.8924, 1.02, 1.365, 1.881, 2.549, 3.344, 4.234, 5.302, 6.777, 8.718",\
                 "1.061, 1.205, 1.6, 2.163, 2.887, 3.764, 4.756, 5.836, 7.158, 8.916");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.08129, 0.2964, 0.7073, 1.347, 2.245, 3.427, 4.916, 6.734, 8.9");
          index_2("0.001, 0.006789, 0.02711, 0.06591, 0.1264, 0.2112, 0.3228, 0.4634, 0.6351, 0.8397");
          values("0.1252, 0.1514, 0.2421, 0.4152, 0.6838, 1.062, 1.558, 2.185, 2.949, 3.859",\
                 "0.1378, 0.1645, 0.2565, 0.4296, 0.6985, 1.077, 1.573, 2.199, 2.962, 3.87",\
                 "0.1633, 0.1942, 0.2905, 0.4647, 0.7347, 1.112, 1.609, 2.233, 2.999, 3.91",\
                 "0.1746, 0.2146, 0.3341, 0.5269, 0.7984, 1.176, 1.673, 2.299, 3.063, 3.975",\
                 "0.1639, 0.2153, 0.3633, 0.5902, 0.8932, 1.277, 1.774, 2.399, 3.163, 4.074",\
                 "0.1253, 0.1895, 0.3706, 0.6382, 0.9821, 1.406, 1.917, 2.542, 3.305, 4.214",\
                 "0.0584, 0.1345, 0.3494, 0.6635, 1.055, 1.525, 2.083, 2.731, 3.493, 4.401",\
                 "-0.0397, 0.0484, 0.2965, 0.6604, 1.105, 1.627, 2.235, 2.934, 3.73, 4.641",\
                 "-0.1708, -0.0713, 0.2115, 0.6233, 1.126, 1.706, 2.369, 3.122, 3.974, 4.927",\
                 "-0.339, -0.228, 0.0894, 0.55, 1.113, 1.757, 2.48, 3.292, 4.201, 5.213");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.08129, 0.2964, 0.7073, 1.347, 2.245, 3.427, 4.916, 6.734, 8.9");
          index_2("0.001, 0.006789, 0.02711, 0.06591, 0.1264, 0.2112, 0.3228, 0.4634, 0.6351, 0.8397");
          values("0.1659, 0.2002, 0.3179, 0.5398, 0.8837, 1.366, 2, 2.796, 3.769, 4.932",\
                 "0.1819, 0.2165, 0.335, 0.5574, 0.9015, 1.384, 2.018, 2.815, 3.789, 4.95",\
                 "0.2533, 0.2876, 0.4057, 0.6283, 0.9728, 1.456, 2.088, 2.887, 3.861, 5.024",\
                 "0.3728, 0.4175, 0.5504, 0.7713, 1.114, 1.596, 2.228, 3.025, 4, 5.163",\
                 "0.515, 0.5699, 0.738, 0.9981, 1.342, 1.82, 2.45, 3.248, 4.221, 5.384",\
                 "0.6856, 0.7509, 0.9491, 1.263, 1.661, 2.142, 2.769, 3.561, 4.532, 5.695",\
                 "0.8876, 0.9631, 1.192, 1.551, 2.018, 2.563, 3.196, 3.983, 4.951, 6.104",\
                 "1.123, 1.21, 1.469, 1.873, 2.4, 3.026, 3.728, 4.523, 5.484, 6.634",\
                 "1.392, 1.49, 1.783, 2.233, 2.814, 3.514, 4.308, 5.175, 6.143, 7.287",\
                 "1.698, 1.808, 2.134, 2.632, 3.269, 4.034, 4.913, 5.88, 6.922, 8.073");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.08129, 0.2964, 0.7073, 1.347, 2.245, 3.427, 4.916, 6.734, 8.9");
          index_2("0.001, 0.006789, 0.02711, 0.06591, 0.1264, 0.2112, 0.3228, 0.4634, 0.6351, 0.8397");
          values("0.124, 0.1691, 0.3278, 0.629, 1.1, 1.761, 2.63, 3.726, 5.064, 6.657",\
                 "0.1239, 0.169, 0.3277, 0.6291, 1.1, 1.761, 2.629, 3.724, 5.056, 6.644",\
                 "0.1506, 0.1904, 0.3313, 0.6303, 1.1, 1.759, 2.627, 3.72, 5.06, 6.651",\
                 "0.21, 0.2537, 0.3975, 0.6599, 1.101, 1.759, 2.626, 3.722, 5.059, 6.653",\
                 "0.2997, 0.3457, 0.4956, 0.769, 1.175, 1.776, 2.627, 3.72, 5.052, 6.645",\
                 "0.4128, 0.4652, 0.6272, 0.9084, 1.331, 1.899, 2.676, 3.727, 5.053, 6.647",\
                 "0.5426, 0.6038, 0.787, 1.085, 1.517, 2.106, 2.853, 3.826, 5.081, 6.649",\
                 "0.687, 0.758, 0.9704, 1.295, 1.742, 2.342, 3.114, 4.053, 5.23, 6.704",\
                 "0.846, 0.9262, 1.165, 1.53, 2.006, 2.619, 3.407, 4.376, 5.522, 6.91",\
                 "1.014, 1.108, 1.378, 1.789, 2.304, 2.94, 3.739, 4.736, 5.907, 7.268");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.08129, 0.2964, 0.7073, 1.347, 2.245, 3.427, 4.916, 6.734, 8.9");
          index_2("0.001, 0.006789, 0.02711, 0.06591, 0.1264, 0.2112, 0.3228, 0.4634, 0.6351, 0.8397");
          values("0.2197, 0.2793, 0.487, 0.8824, 1.499, 2.362, 3.499, 4.926, 6.675, 8.757",\
                 "0.2197, 0.2792, 0.4863, 0.8828, 1.498, 2.362, 3.501, 4.93, 6.673, 8.751",\
                 "0.2284, 0.2821, 0.4864, 0.8826, 1.499, 2.364, 3.5, 4.929, 6.674, 8.754",\
                 "0.3147, 0.3669, 0.5279, 0.8849, 1.498, 2.364, 3.5, 4.93, 6.673, 8.758",\
                 "0.4114, 0.4766, 0.6758, 0.9802, 1.511, 2.362, 3.499, 4.931, 6.675, 8.763",\
                 "0.5186, 0.5968, 0.8324, 1.196, 1.663, 2.396, 3.499, 4.93, 6.678, 8.762",\
                 "0.641, 0.731, 0.9992, 1.421, 1.954, 2.602, 3.562, 4.934, 6.676, 8.76",\
                 "0.7786, 0.8818, 1.183, 1.655, 2.265, 2.971, 3.823, 5.031, 6.688, 8.758",\
                 "0.929, 1.048, 1.387, 1.9, 2.578, 3.38, 4.265, 5.351, 6.828, 8.783",\
                 "1.092, 1.229, 1.608, 2.169, 2.901, 3.788, 4.784, 5.868, 7.2, 8.966");
        }
      }
    }
  }