/*
 * 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_mcu9t5v0__or2_4) {
    area : 50.803200 ;

    leakage_power() {
      related_pg_pin : "VDD" ;
      when : "!A1&!A2" ;
      value : "4.047714e-05" ;
    }

    leakage_power() {
      related_pg_pin : "VDD" ;
      when : "!A1&A2" ;
      value : "4.095432e-05" ;
    }

    leakage_power() {
      related_pg_pin : "VDD" ;
      when : "A1&!A2" ;
      value : "3.201264e-05" ;
    }

    leakage_power() {
      related_pg_pin : "VDD" ;
      when : "A1&A2" ;
      value : "3.201264e-05" ;
    }

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

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

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

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

      internal_power() {
        when : "A2" ;

        fall_power(pwr_tin_10) {
          index_1("0.02, 0.06127, 0.2062, 0.4828, 0.9139, 1.519, 2.315, 3.317, 4.541, 6");
          values("0.01185, 0.01189, 0.01189, 0.01188, 0.01188, 0.01191, 0.01187, \
                  0.01188, 0.01187, 0.01185");
        }

        rise_power(pwr_tin_10) {
          index_1("0.02, 0.06127, 0.2062, 0.4828, 0.9139, 1.519, 2.315, 3.317, 4.541, 6");
          values("-0.00609, -0.006128, -0.006167, -0.006168, -0.006188, -0.006208, \
                  -0.006178, -0.006199, -0.0062, -0.006202");
        }
      }
    }

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

      internal_power() {
        when : "A1" ;

        fall_power(pwr_tin_10) {
          index_1("0.02, 0.06127, 0.2062, 0.4828, 0.9139, 1.519, 2.315, 3.317, 4.541, 6");
          values("0.01604, 0.01605, 0.01604, 0.01609, 0.01606, 0.01613, 0.01607, \
                  0.01611, 0.01611, 0.0161");
        }

        rise_power(pwr_tin_10) {
          index_1("0.02, 0.06127, 0.2062, 0.4828, 0.9139, 1.519, 2.315, 3.317, 4.541, 6");
          values("-0.01404, -0.01474, -0.0152, -0.01539, -0.0155, -0.01562, -0.01559, \
                  -0.01571, -0.01573, -0.01575");
        }
      }
    }

    pin(Z) {
      direction : output ;
      function : "(A1|A2)" ;
      max_capacitance : 1.262 ;
      max_transition : 6 ;
      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.06127, 0.2062, 0.4828, 0.9139, 1.519, 2.315, 3.317, 4.541, 6");
          index_2("0.001, 0.0097, 0.04024, 0.09856, 0.1894, 0.3169, 0.4847, 0.696, 0.954, 1.262");
          values("0.1226, 0.1222, 0.1228, 0.1238, 0.1248, 0.1254, 0.1258, 0.1261, 0.1263, 0.1264",\
                 "0.1215, 0.121, 0.1214, 0.1226, 0.1236, 0.1243, 0.1247, 0.1249, 0.1251, 0.1252",\
                 "0.1197, 0.1191, 0.1196, 0.1206, 0.1217, 0.1224, 0.1228, 0.1231, 0.1233, 0.1234",\
                 "0.1191, 0.1185, 0.1187, 0.1198, 0.1208, 0.1216, 0.1221, 0.1225, 0.1227, 0.1228",\
                 "0.1214, 0.1204, 0.1199, 0.1206, 0.1215, 0.1223, 0.1229, 0.1232, 0.1235, 0.1237",\
                 "0.1262, 0.1244, 0.123, 0.1232, 0.1238, 0.1243, 0.1249, 0.1253, 0.1256, 0.1258",\
                 "0.1326, 0.1301, 0.128, 0.1272, 0.1274, 0.128, 0.1285, 0.1289, 0.1291, 0.1293",\
                 "0.1405, 0.1375, 0.1342, 0.133, 0.1328, 0.1331, 0.1335, 0.1338, 0.1341, 0.1343",\
                 "0.15, 0.1464, 0.1421, 0.1402, 0.1398, 0.14, 0.1403, 0.1405, 0.1407, 0.1409",\
                 "0.1613, 0.1572, 0.1519, 0.1496, 0.1486, 0.1484, 0.1484, 0.1486, 0.1488, 0.149");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.06127, 0.2062, 0.4828, 0.9139, 1.519, 2.315, 3.317, 4.541, 6");
          index_2("0.001, 0.0097, 0.04024, 0.09856, 0.1894, 0.3169, 0.4847, 0.696, 0.954, 1.262");
          values("0.0612, 0.06226, 0.06513, 0.06762, 0.06935, 0.07071, 0.0718, 0.07268, 0.07499, 0.0774",\
                 "0.06134, 0.06237, 0.06521, 0.06789, 0.06915, 0.07089, 0.07182, 0.07268, 0.07519, 0.07661",\
                 "0.06077, 0.06166, 0.06394, 0.06655, 0.06822, 0.06978, 0.07115, 0.07228, 0.0742, 0.07443",\
                 "0.06046, 0.06081, 0.06234, 0.06453, 0.0664, 0.06843, 0.07024, 0.07129, 0.07321, 0.07522",\
                 "0.06126, 0.06139, 0.06206, 0.06431, 0.06593, 0.06792, 0.06943, 0.0709, 0.07341, 0.07344",\
                 "0.06346, 0.06349, 0.06355, 0.06469, 0.06721, 0.06883, 0.07008, 0.07149, 0.07479, 0.07621",\
                 "0.06756, 0.06721, 0.06717, 0.06734, 0.06917, 0.07146, 0.07317, 0.07426, 0.07539, 0.07869",\
                 "0.0734, 0.07252, 0.07196, 0.07213, 0.07317, 0.07457, 0.07788, 0.07882, 0.07994, 0.08245",\
                 "0.08099, 0.07978, 0.07871, 0.07874, 0.07878, 0.08031, 0.0817, 0.08575, 0.08806, 0.0874",\
                 "0.09052, 0.0891, 0.08748, 0.08704, 0.08703, 0.08758, 0.08863, 0.0909, 0.09519, 0.09631");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.06127, 0.2062, 0.4828, 0.9139, 1.519, 2.315, 3.317, 4.541, 6");
          index_2("0.001, 0.0097, 0.04024, 0.09856, 0.1894, 0.3169, 0.4847, 0.696, 0.954, 1.262");
          values("0.1328, 0.1322, 0.1327, 0.134, 0.1349, 0.1355, 0.1359, 0.1363, 0.1364, 0.1365",\
                 "0.1319, 0.1314, 0.1319, 0.133, 0.1339, 0.1346, 0.1351, 0.1353, 0.1354, 0.1356",\
                 "0.1302, 0.1298, 0.1301, 0.1312, 0.1323, 0.133, 0.1334, 0.1337, 0.1339, 0.134",\
                 "0.1292, 0.1287, 0.1289, 0.13, 0.1311, 0.1318, 0.1323, 0.1326, 0.1328, 0.1329",\
                 "0.1301, 0.1292, 0.1289, 0.1297, 0.1307, 0.1315, 0.132, 0.1323, 0.1326, 0.1327",\
                 "0.1322, 0.1308, 0.1302, 0.1307, 0.1315, 0.1321, 0.1326, 0.1329, 0.1333, 0.1334",\
                 "0.1364, 0.1346, 0.1331, 0.1332, 0.1338, 0.1344, 0.135, 0.1353, 0.1356, 0.1358",\
                 "0.1426, 0.1405, 0.1385, 0.138, 0.1382, 0.1387, 0.1393, 0.1397, 0.1399, 0.1402",\
                 "0.1514, 0.1486, 0.1458, 0.145, 0.1451, 0.1453, 0.1457, 0.1461, 0.1464, 0.1466",\
                 "0.1625, 0.1595, 0.1557, 0.1543, 0.154, 0.154, 0.1544, 0.1548, 0.1549, 0.1552");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.06127, 0.2062, 0.4828, 0.9139, 1.519, 2.315, 3.317, 4.541, 6");
          index_2("0.001, 0.0097, 0.04024, 0.09856, 0.1894, 0.3169, 0.4847, 0.696, 0.954, 1.262");
          values("0.07048, 0.07142, 0.07394, 0.07633, 0.07782, 0.0795, 0.08051, 0.08198, 0.08291, 0.08472",\
                 "0.06984, 0.07072, 0.07328, 0.07557, 0.07711, 0.07878, 0.07992, 0.08079, 0.08212, 0.08472",\
                 "0.0689, 0.06977, 0.0719, 0.07405, 0.07563, 0.07744, 0.07865, 0.07961, 0.08093, 0.08353",\
                 "0.06844, 0.06901, 0.07037, 0.07237, 0.07432, 0.07621, 0.07754, 0.07921, 0.08033, 0.08235",\
                 "0.06953, 0.06956, 0.07043, 0.07235, 0.07384, 0.07568, 0.07732, 0.07901, 0.08014, 0.08314",\
                 "0.07192, 0.07179, 0.07202, 0.07318, 0.07553, 0.0768, 0.07826, 0.07961, 0.08132, 0.08373",\
                 "0.07607, 0.07588, 0.07558, 0.07603, 0.07735, 0.07991, 0.0815, 0.08277, 0.0837, 0.08482",\
                 "0.08207, 0.08136, 0.08097, 0.0811, 0.08194, 0.08369, 0.08724, 0.08812, 0.08786, 0.09195",\
                 "0.08991, 0.08906, 0.08804, 0.08791, 0.0882, 0.0892, 0.0912, 0.09465, 0.09598, 0.0971",\
                 "0.09999, 0.0987, 0.09732, 0.09708, 0.09725, 0.09801, 0.09873, 0.1012, 0.1055, 0.1054");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.06127, 0.2062, 0.4828, 0.9139, 1.519, 2.315, 3.317, 4.541, 6");
          index_2("0.001, 0.0097, 0.04024, 0.09856, 0.1894, 0.3169, 0.4847, 0.696, 0.954, 1.262");
          values("0.4151, 0.4492, 0.5326, 0.6439, 0.7819, 0.953, 1.166, 1.429, 1.748, 2.127",\
                 "0.4221, 0.4563, 0.5397, 0.6512, 0.7891, 0.96, 1.173, 1.436, 1.755, 2.135",\
                 "0.4623, 0.4964, 0.5799, 0.6912, 0.829, 1, 1.213, 1.476, 1.795, 2.175",\
                 "0.5566, 0.5907, 0.6738, 0.785, 0.9231, 1.094, 1.307, 1.57, 1.889, 2.269",\
                 "0.7052, 0.7403, 0.8245, 0.9365, 1.075, 1.246, 1.459, 1.722, 2.041, 2.421",\
                 "0.876, 0.9145, 1.006, 1.123, 1.265, 1.438, 1.652, 1.915, 2.234, 2.614",\
                 "1.062, 1.103, 1.203, 1.327, 1.473, 1.649, 1.865, 2.129, 2.448, 2.828",\
                 "1.266, 1.31, 1.418, 1.55, 1.7, 1.879, 2.095, 2.361, 2.681, 3.062",\
                 "1.493, 1.539, 1.654, 1.795, 1.951, 2.131, 2.349, 2.614, 2.935, 3.316",\
                 "1.747, 1.796, 1.915, 2.064, 2.226, 2.411, 2.63, 2.896, 3.216, 3.597");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.06127, 0.2062, 0.4828, 0.9139, 1.519, 2.315, 3.317, 4.541, 6");
          index_2("0.001, 0.0097, 0.04024, 0.09856, 0.1894, 0.3169, 0.4847, 0.696, 0.954, 1.262");
          values("0.1732, 0.2019, 0.2914, 0.4546, 0.7052, 1.055, 1.515, 2.094, 2.802, 3.641",\
                 "0.1864, 0.2151, 0.3046, 0.4678, 0.7188, 1.069, 1.527, 2.108, 2.813, 3.655",\
                 "0.2318, 0.2602, 0.3489, 0.512, 0.7628, 1.113, 1.573, 2.153, 2.86, 3.703",\
                 "0.2944, 0.3242, 0.4135, 0.576, 0.8274, 1.178, 1.638, 2.216, 2.924, 3.766",\
                 "0.3435, 0.376, 0.4672, 0.6299, 0.8807, 1.231, 1.692, 2.271, 2.977, 3.819",\
                 "0.374, 0.4102, 0.5048, 0.6672, 0.9177, 1.268, 1.728, 2.308, 3.015, 3.858",\
                 "0.3849, 0.4246, 0.5242, 0.6868, 0.9367, 1.287, 1.747, 2.326, 3.032, 3.874",\
                 "0.374, 0.4173, 0.5237, 0.6872, 0.9365, 1.286, 1.746, 2.325, 3.031, 3.872",\
                 "0.3397, 0.3867, 0.5008, 0.667, 0.9155, 1.265, 1.724, 2.303, 3.01, 3.851",\
                 "0.2811, 0.331, 0.4533, 0.6237, 0.8719, 1.221, 1.68, 2.258, 2.964, 3.806");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.06127, 0.2062, 0.4828, 0.9139, 1.519, 2.315, 3.317, 4.541, 6");
          index_2("0.001, 0.0097, 0.04024, 0.09856, 0.1894, 0.3169, 0.4847, 0.696, 0.954, 1.262");
          values("0.1158, 0.1451, 0.2184, 0.3344, 0.5048, 0.7456, 1.078, 1.506, 2.041, 2.68",\
                 "0.1158, 0.145, 0.2182, 0.3337, 0.5043, 0.746, 1.078, 1.508, 2.04, 2.682",\
                 "0.1157, 0.1452, 0.2189, 0.3343, 0.5049, 0.7458, 1.077, 1.508, 2.041, 2.682",\
                 "0.1158, 0.1452, 0.2189, 0.3343, 0.5042, 0.747, 1.077, 1.509, 2.04, 2.68",\
                 "0.124, 0.1524, 0.224, 0.3386, 0.5066, 0.747, 1.079, 1.509, 2.041, 2.682",\
                 "0.145, 0.1754, 0.246, 0.3546, 0.5186, 0.7552, 1.082, 1.51, 2.043, 2.684",\
                 "0.1658, 0.1982, 0.2734, 0.3762, 0.5354, 0.7688, 1.092, 1.517, 2.045, 2.684",\
                 "0.1852, 0.2196, 0.3006, 0.401, 0.5548, 0.7812, 1.101, 1.524, 2.052, 2.687",\
                 "0.203, 0.2394, 0.327, 0.4278, 0.573, 0.7946, 1.109, 1.529, 2.057, 2.695",\
                 "0.2196, 0.2576, 0.3508, 0.4562, 0.5954, 0.809, 1.119, 1.533, 2.059, 2.696");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.06127, 0.2062, 0.4828, 0.9139, 1.519, 2.315, 3.317, 4.541, 6");
          index_2("0.001, 0.0097, 0.04024, 0.09856, 0.1894, 0.3169, 0.4847, 0.696, 0.954, 1.262");
          values("0.07258, 0.11, 0.2478, 0.5224, 0.9521, 1.551, 2.344, 3.348, 4.57, 6.018",\
                 "0.0728, 0.11, 0.2479, 0.5218, 0.9507, 1.553, 2.347, 3.348, 4.566, 6.021",\
                 "0.07292, 0.1105, 0.248, 0.5216, 0.9516, 1.552, 2.347, 3.347, 4.566, 6.025",\
                 "0.08208, 0.117, 0.2498, 0.5217, 0.951, 1.552, 2.346, 3.345, 4.558, 6.021",\
                 "0.09542, 0.1287, 0.2549, 0.5246, 0.9514, 1.553, 2.342, 3.344, 4.567, 6.008",\
                 "0.1098, 0.1438, 0.2624, 0.5256, 0.9528, 1.552, 2.342, 3.339, 4.562, 6.017",\
                 "0.1244, 0.16, 0.2724, 0.5294, 0.9534, 1.554, 2.342, 3.34, 4.553, 6.013",\
                 "0.1402, 0.1784, 0.2858, 0.5328, 0.955, 1.556, 2.344, 3.337, 4.553, 6.007",\
                 "0.1556, 0.1974, 0.3038, 0.5388, 0.9582, 1.557, 2.345, 3.339, 4.552, 6",\
                 "0.1706, 0.2166, 0.3258, 0.5484, 0.9594, 1.559, 2.347, 3.339, 4.553, 6");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.06127, 0.2062, 0.4828, 0.9139, 1.519, 2.315, 3.317, 4.541, 6");
          index_2("0.001, 0.0097, 0.04024, 0.09856, 0.1894, 0.3169, 0.4847, 0.696, 0.954, 1.262");
          values("0.4533, 0.4875, 0.5709, 0.6823, 0.8201, 0.9911, 1.204, 1.467, 1.786, 2.166",\
                 "0.4646, 0.4988, 0.5822, 0.6937, 0.8315, 1.003, 1.215, 1.478, 1.797, 2.177",\
                 "0.5068, 0.5409, 0.6244, 0.7359, 0.8736, 1.045, 1.258, 1.52, 1.839, 2.219",\
                 "0.584, 0.6181, 0.7014, 0.8126, 0.9506, 1.122, 1.335, 1.598, 1.917, 2.297",\
                 "0.6955, 0.7306, 0.8155, 0.9278, 1.066, 1.238, 1.451, 1.714, 2.033, 2.412",\
                 "0.8252, 0.8623, 0.9521, 1.07, 1.213, 1.386, 1.6, 1.863, 2.182, 2.561",\
                 "0.9756, 1.014, 1.11, 1.233, 1.381, 1.558, 1.774, 2.038, 2.357, 2.737",\
                 "1.15, 1.191, 1.291, 1.421, 1.573, 1.754, 1.972, 2.237, 2.557, 2.937",\
                 "1.351, 1.394, 1.499, 1.635, 1.792, 1.977, 2.197, 2.463, 2.783, 3.163",\
                 "1.58, 1.625, 1.735, 1.877, 2.039, 2.228, 2.45, 2.718, 3.038, 3.418");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.06127, 0.2062, 0.4828, 0.9139, 1.519, 2.315, 3.317, 4.541, 6");
          index_2("0.001, 0.0097, 0.04024, 0.09856, 0.1894, 0.3169, 0.4847, 0.696, 0.954, 1.262");
          values("0.1904, 0.2195, 0.3092, 0.4729, 0.7237, 1.074, 1.534, 2.112, 2.817, 3.659",\
                 "0.2029, 0.2319, 0.3217, 0.4852, 0.7362, 1.086, 1.546, 2.124, 2.83, 3.671",\
                 "0.2484, 0.2772, 0.3664, 0.5298, 0.7807, 1.131, 1.591, 2.169, 2.875, 3.716",\
                 "0.3192, 0.3488, 0.4383, 0.601, 0.8521, 1.203, 1.662, 2.241, 2.947, 3.789",\
                 "0.3795, 0.4115, 0.5026, 0.6654, 0.9163, 1.267, 1.727, 2.306, 3.011, 3.853",\
                 "0.4227, 0.4579, 0.5517, 0.7142, 0.9649, 1.315, 1.776, 2.355, 3.061, 3.902",\
                 "0.4465, 0.4849, 0.5834, 0.746, 0.996, 1.346, 1.807, 2.386, 3.092, 3.933",\
                 "0.4503, 0.4921, 0.596, 0.7596, 1.009, 1.359, 1.819, 2.398, 3.104, 3.946",\
                 "0.4317, 0.4771, 0.5878, 0.753, 1.002, 1.351, 1.811, 2.39, 3.097, 3.938",\
                 "0.3905, 0.4388, 0.5571, 0.7254, 0.9739, 1.323, 1.782, 2.361, 3.068, 3.909");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.06127, 0.2062, 0.4828, 0.9139, 1.519, 2.315, 3.317, 4.541, 6");
          index_2("0.001, 0.0097, 0.04024, 0.09856, 0.1894, 0.3169, 0.4847, 0.696, 0.954, 1.262");
          values("0.1157, 0.1456, 0.2184, 0.3341, 0.5048, 0.746, 1.077, 1.509, 2.043, 2.684",\
                 "0.1157, 0.1455, 0.2185, 0.3339, 0.5042, 0.7465, 1.078, 1.508, 2.041, 2.68",\
                 "0.1158, 0.1451, 0.2185, 0.3337, 0.5046, 0.746, 1.078, 1.509, 2.043, 2.684",\
                 "0.1159, 0.1456, 0.2185, 0.334, 0.5044, 0.746, 1.078, 1.508, 2.042, 2.684",\
                 "0.1228, 0.1522, 0.2242, 0.338, 0.506, 0.7482, 1.078, 1.508, 2.043, 2.681",\
                 "0.1344, 0.1654, 0.2412, 0.3542, 0.5182, 0.7544, 1.082, 1.509, 2.04, 2.682",\
                 "0.1468, 0.1792, 0.2574, 0.3722, 0.5372, 0.7694, 1.091, 1.514, 2.044, 2.684",\
                 "0.1606, 0.1934, 0.2758, 0.3912, 0.5536, 0.784, 1.101, 1.522, 2.048, 2.684",\
                 "0.1746, 0.2088, 0.2944, 0.4114, 0.5724, 0.7982, 1.113, 1.53, 2.053, 2.688",\
                 "0.1906, 0.2258, 0.3144, 0.432, 0.5918, 0.8152, 1.124, 1.537, 2.057, 2.69");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.06127, 0.2062, 0.4828, 0.9139, 1.519, 2.315, 3.317, 4.541, 6");
          index_2("0.001, 0.0097, 0.04024, 0.09856, 0.1894, 0.3169, 0.4847, 0.696, 0.954, 1.262");
          values("0.07464, 0.1121, 0.2492, 0.5228, 0.9522, 1.551, 2.345, 3.342, 4.559, 6.012",\
                 "0.07454, 0.1121, 0.2494, 0.5229, 0.9518, 1.552, 2.344, 3.339, 4.554, 6.01",\
                 "0.0743, 0.1116, 0.2491, 0.5227, 0.9522, 1.551, 2.341, 3.339, 4.555, 6.01",\
                 "0.08132, 0.1163, 0.2504, 0.5236, 0.9523, 1.553, 2.343, 3.341, 4.558, 6.012",\
                 "0.09306, 0.1271, 0.2548, 0.5246, 0.951, 1.553, 2.342, 3.34, 4.556, 6.011",\
                 "0.1064, 0.1406, 0.2614, 0.526, 0.953, 1.553, 2.342, 3.342, 4.559, 6.011",\
                 "0.1202, 0.156, 0.27, 0.5286, 0.9552, 1.554, 2.342, 3.341, 4.559, 6.005",\
                 "0.134, 0.1714, 0.2816, 0.5316, 0.956, 1.554, 2.344, 3.337, 4.558, 6.008",\
                 "0.1486, 0.1888, 0.2968, 0.5362, 0.9586, 1.555, 2.344, 3.339, 4.553, 6.007",\
                 "0.163, 0.2062, 0.315, 0.544, 0.9598, 1.558, 2.345, 3.339, 4.556, 6");
        }
      }
    }
  }