/*
 * 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__nand2_4) {
    area : 45.158400 ;

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

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

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

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

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

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

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

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

      internal_power() {
        when : "!A2" ;

        fall_power(pwr_tin_10) {
          index_1("0.02, 0.07784, 0.2809, 0.6686, 1.273, 2.12, 3.235, 4.64, 6.356, 8.4");
          values("0.03609, 0.03599, 0.03586, 0.0358, 0.03579, 0.03582, 0.03577, \
                  0.03577, 0.03576, 0.03577");
        }

        rise_power(pwr_tin_10) {
          index_1("0.02, 0.07784, 0.2809, 0.6686, 1.273, 2.12, 3.235, 4.64, 6.356, 8.4");
          values("-0.02162, -0.02164, -0.02164, -0.02162, -0.02166, -0.02177, -0.02178, \
                  -0.02189, -0.02191, -0.02204");
        }
      }
    }

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

      internal_power() {
        when : "!A1" ;

        fall_power(pwr_tin_10) {
          index_1("0.02, 0.07784, 0.2809, 0.6686, 1.273, 2.12, 3.235, 4.64, 6.356, 8.4");
          values("0.03694, 0.03405, 0.03221, 0.03162, 0.03123, 0.03115, 0.03105, \
                  0.03095, 0.03087, 0.03082");
        }

        rise_power(pwr_tin_10) {
          index_1("0.02, 0.07784, 0.2809, 0.6686, 1.273, 2.12, 3.235, 4.64, 6.356, 8.4");
          values("-0.03103, -0.03101, -0.03093, -0.03091, -0.03088, -0.03094, -0.03091, \
                  -0.03093, -0.03089, -0.0309");
        }
      }
    }

    pin(ZN) {
      direction : output ;
      function : "((!A1)|(!A2))" ;
      max_capacitance : 1.152 ;
      max_transition : 8.4 ;
      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.07784, 0.2809, 0.6686, 1.273, 2.12, 3.235, 4.64, 6.356, 8.4");
          index_2("0.001, 0.008941, 0.03682, 0.09005, 0.173, 0.2894, 0.4425, 0.6354, 0.8709, 1.152");
          values("0.008507, 0.00881, 0.009212, 0.00939, 0.009478, 0.009543, 0.00956, 0.009582, 0.009593, 0.009609",\
                 "0.006816, 0.007427, 0.008355, 0.008913, 0.009192, 0.009327, 0.0094, 0.009448, 0.009482, 0.009506",\
                 "0.006009, 0.006453, 0.007452, 0.008236, 0.008752, 0.009035, 0.0092, 0.009308, 0.009378, 0.009433",\
                 "0.01098, 0.01048, 0.009846, 0.009625, 0.009584, 0.009609, 0.009577, 0.009579, 0.009584, 0.009585",\
                 "0.02367, 0.02191, 0.01842, 0.01567, 0.0138, 0.0126, 0.0118, 0.01124, 0.01088, 0.0106",\
                 "0.04468, 0.0417, 0.03493, 0.02829, 0.02338, 0.01992, 0.01741, 0.01561, 0.0143, 0.01335",\
                 "0.07436, 0.07031, 0.0602, 0.04926, 0.0402, 0.03319, 0.02797, 0.02418, 0.02125, 0.01904",\
                 "0.113, 0.1081, 0.095, 0.07934, 0.06523, 0.05407, 0.04518, 0.0383, 0.03299, 0.02884",\
                 "0.1612, 0.1554, 0.1396, 0.1195, 0.1001, 0.08366, 0.07029, 0.05938, 0.05083, 0.04392",\
                 "0.2192, 0.2127, 0.1947, 0.1702, 0.1453, 0.123, 0.1044, 0.08894, 0.07633, 0.06591");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.07784, 0.2809, 0.6686, 1.273, 2.12, 3.235, 4.64, 6.356, 8.4");
          index_2("0.001, 0.008941, 0.03682, 0.09005, 0.173, 0.2894, 0.4425, 0.6354, 0.8709, 1.152");
          values("0.08368, 0.08491, 0.08656, 0.08731, 0.08782, 0.08842, 0.08994, 0.09028, 0.0928, 0.0953",\
                 "0.08061, 0.08221, 0.08511, 0.08697, 0.08816, 0.08891, 0.09027, 0.09067, 0.09201, 0.09734",\
                 "0.08014, 0.08059, 0.0825, 0.08493, 0.08683, 0.08836, 0.08972, 0.09067, 0.0928, 0.09635",\
                 "0.0873, 0.08643, 0.08567, 0.08551, 0.08653, 0.08796, 0.08922, 0.09087, 0.09161, 0.09732",\
                 "0.103, 0.1008, 0.09622, 0.09317, 0.09127, 0.0908, 0.09106, 0.09127, 0.0924, 0.09835",\
                 "0.1275, 0.124, 0.1159, 0.1086, 0.1032, 0.09935, 0.09704, 0.09602, 0.09592, 0.1023",\
                 "0.1613, 0.1568, 0.1455, 0.1331, 0.1234, 0.1163, 0.1104, 0.1061, 0.1057, 0.1114",\
                 "0.2051, 0.1996, 0.1851, 0.1681, 0.1532, 0.1413, 0.132, 0.124, 0.1194, 0.1279",\
                 "0.2595, 0.253, 0.2361, 0.2143, 0.1932, 0.1761, 0.1624, 0.1507, 0.1433, 0.1578",\
                 "0.3249, 0.3178, 0.298, 0.272, 0.2461, 0.222, 0.2029, 0.1869, 0.1788, 0.2111");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.07784, 0.2809, 0.6686, 1.273, 2.12, 3.235, 4.64, 6.356, 8.4");
          index_2("0.001, 0.008941, 0.03682, 0.09005, 0.173, 0.2894, 0.4425, 0.6354, 0.8709, 1.152");
          values("0.008732, 0.008978, 0.009291, 0.009434, 0.009492, 0.009547, 0.009577, 0.009597, 0.009607, 0.009613",\
                 "0.006878, 0.007541, 0.00844, 0.009008, 0.009224, 0.009358, 0.009413, 0.0095, 0.009512, 0.009522",\
                 "0.004644, 0.005367, 0.006801, 0.007898, 0.008571, 0.008933, 0.009149, 0.009276, 0.009358, 0.009426",\
                 "0.007105, 0.007128, 0.007556, 0.008223, 0.00869, 0.008992, 0.009171, 0.009286, 0.009367, 0.009418",\
                 "0.01737, 0.01632, 0.01432, 0.01282, 0.01194, 0.01133, 0.01093, 0.01062, 0.01039, 0.01022",\
                 "0.03668, 0.03434, 0.02907, 0.02415, 0.0205, 0.01788, 0.01597, 0.01457, 0.01356, 0.01277",\
                 "0.06546, 0.06196, 0.05323, 0.04381, 0.0362, 0.03039, 0.02605, 0.02272, 0.0202, 0.01827",\
                 "0.1039, 0.09936, 0.0873, 0.073, 0.06046, 0.05042, 0.0426, 0.03647, 0.03166, 0.02786",\
                 "0.1522, 0.1467, 0.1317, 0.1127, 0.09451, 0.07935, 0.0672, 0.05731, 0.04936, 0.043",\
                 "0.2105, 0.2044, 0.1868, 0.1633, 0.1394, 0.1184, 0.1009, 0.08644, 0.07451, 0.06477");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.07784, 0.2809, 0.6686, 1.273, 2.12, 3.235, 4.64, 6.356, 8.4");
          index_2("0.001, 0.008941, 0.03682, 0.09005, 0.173, 0.2894, 0.4425, 0.6354, 0.8709, 1.152");
          values("0.1209, 0.1209, 0.1212, 0.1215, 0.1219, 0.1227, 0.1234, 0.1245, 0.1258, 0.1297",\
                 "0.118, 0.1183, 0.1191, 0.1199, 0.1205, 0.1214, 0.1223, 0.1233, 0.1246, 0.1283",\
                 "0.117, 0.1172, 0.1178, 0.1186, 0.1196, 0.1206, 0.1214, 0.1229, 0.1244, 0.1282",\
                 "0.1234, 0.1227, 0.1214, 0.1207, 0.1206, 0.1212, 0.1218, 0.1231, 0.1242, 0.1289",\
                 "0.1383, 0.1367, 0.1327, 0.1288, 0.1263, 0.1248, 0.1247, 0.1249, 0.1257, 0.1306",\
                 "0.1626, 0.1599, 0.153, 0.1455, 0.1394, 0.1351, 0.1322, 0.1306, 0.1308, 0.1363",\
                 "0.1962, 0.1929, 0.1835, 0.1715, 0.1611, 0.1526, 0.1465, 0.1425, 0.1402, 0.1469",\
                 "0.2402, 0.2362, 0.2245, 0.2085, 0.1928, 0.1799, 0.1689, 0.1609, 0.1561, 0.1652",\
                 "0.2948, 0.2901, 0.2764, 0.2569, 0.2358, 0.2171, 0.2016, 0.1887, 0.1814, 0.1963",\
                 "0.3606, 0.3554, 0.3402, 0.3175, 0.2916, 0.2665, 0.2455, 0.2278, 0.2176, 0.2504");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.07784, 0.2809, 0.6686, 1.273, 2.12, 3.235, 4.64, 6.356, 8.4");
          index_2("0.001, 0.008941, 0.03682, 0.09005, 0.173, 0.2894, 0.4425, 0.6354, 0.8709, 1.152");
          values("0.08874, 0.112, 0.193, 0.3462, 0.584, 0.918, 1.356, 1.909, 2.587, 3.391",\
                 "0.09923, 0.1231, 0.2046, 0.3582, 0.596, 0.9306, 1.37, 1.923, 2.597, 3.405",\
                 "0.1286, 0.1603, 0.2499, 0.4035, 0.642, 0.9761, 1.416, 1.97, 2.644, 3.448",\
                 "0.1412, 0.185, 0.3099, 0.4929, 0.7324, 1.066, 1.504, 2.058, 2.735, 3.54",\
                 "0.135, 0.1908, 0.3485, 0.5815, 0.8693, 1.21, 1.648, 2.199, 2.873, 3.68",\
                 "0.1065, 0.1748, 0.3662, 0.6456, 0.994, 1.397, 1.851, 2.401, 3.073, 3.877",\
                 "0.0532, 0.1346, 0.3602, 0.6865, 1.092, 1.563, 2.091, 2.669, 3.341, 4.142",\
                 "-0.0257, 0.0678, 0.3278, 0.7031, 1.165, 1.701, 2.305, 2.965, 3.679, 4.48",\
                 "-0.1334, -0.0268, 0.2655, 0.6911, 1.21, 1.811, 2.486, 3.23, 4.033, 4.89",\
                 "-0.2711, -0.1523, 0.1764, 0.6472, 1.227, 1.892, 2.638, 3.461, 4.353, 5.305");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.07784, 0.2809, 0.6686, 1.273, 2.12, 3.235, 4.64, 6.356, 8.4");
          index_2("0.001, 0.008941, 0.03682, 0.09005, 0.173, 0.2894, 0.4425, 0.6354, 0.8709, 1.152");
          values("0.1077, 0.1412, 0.2531, 0.4625, 0.7877, 1.243, 1.842, 2.6, 3.517, 4.62",\
                 "0.122, 0.1558, 0.27, 0.4819, 0.8074, 1.263, 1.864, 2.616, 3.542, 4.643",\
                 "0.1845, 0.221, 0.3341, 0.5467, 0.8742, 1.331, 1.932, 2.689, 3.609, 4.711",\
                 "0.271, 0.3212, 0.464, 0.6787, 1.005, 1.462, 2.062, 2.816, 3.742, 4.837",\
                 "0.3788, 0.4415, 0.6206, 0.8852, 1.218, 1.671, 2.27, 3.025, 3.943, 5.047",\
                 "0.5099, 0.5858, 0.7997, 1.118, 1.512, 1.973, 2.568, 3.319, 4.239, 5.338",\
                 "0.6647, 0.7551, 1.005, 1.373, 1.834, 2.366, 2.969, 3.715, 4.632, 5.726",\
                 "0.8443, 0.9495, 1.238, 1.656, 2.179, 2.79, 3.467, 4.223, 5.134, 6.221",\
                 "1.051, 1.17, 1.5, 1.969, 2.552, 3.235, 4.002, 4.834, 5.752, 6.837",\
                 "1.287, 1.42, 1.789, 2.314, 2.956, 3.708, 4.559, 5.49, 6.485, 7.579");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.07784, 0.2809, 0.6686, 1.273, 2.12, 3.235, 4.64, 6.356, 8.4");
          index_2("0.001, 0.008941, 0.03682, 0.09005, 0.173, 0.2894, 0.4425, 0.6354, 0.8709, 1.152");
          values("0.09914, 0.1389, 0.2789, 0.5461, 0.9616, 1.546, 2.309, 3.277, 4.462, 5.863",\
                 "0.09866, 0.1389, 0.279, 0.5459, 0.9627, 1.545, 2.313, 3.275, 4.452, 5.87",\
                 "0.1366, 0.174, 0.2871, 0.5459, 0.9618, 1.544, 2.311, 3.28, 4.456, 5.857",\
                 "0.1977, 0.2442, 0.3815, 0.5936, 0.9637, 1.543, 2.309, 3.276, 4.459, 5.864",\
                 "0.2798, 0.3351, 0.4977, 0.7496, 1.075, 1.569, 2.309, 3.275, 4.453, 5.863",\
                 "0.3794, 0.4474, 0.6384, 0.9256, 1.301, 1.754, 2.382, 3.281, 4.452, 5.859",\
                 "0.4928, 0.5756, 0.7962, 1.119, 1.546, 2.055, 2.645, 3.422, 4.481, 5.859",\
                 "0.6232, 0.719, 0.9778, 1.346, 1.807, 2.378, 3.031, 3.769, 4.702, 5.937",\
                 "0.7704, 0.8794, 1.174, 1.59, 2.102, 2.717, 3.439, 4.245, 5.141, 6.241",\
                 "0.9292, 1.056, 1.392, 1.861, 2.419, 3.081, 3.863, 4.742, 5.711, 6.775");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.07784, 0.2809, 0.6686, 1.273, 2.12, 3.235, 4.64, 6.356, 8.4");
          index_2("0.001, 0.008941, 0.03682, 0.09005, 0.173, 0.2894, 0.4425, 0.6354, 0.8709, 1.152");
          values("0.1311, 0.1868, 0.3822, 0.7569, 1.335, 2.154, 3.226, 4.587, 6.231, 8.197",\
                 "0.1309, 0.1874, 0.3822, 0.7541, 1.335, 2.152, 3.225, 4.575, 6.228, 8.201",\
                 "0.1615, 0.2028, 0.382, 0.7549, 1.339, 2.155, 3.228, 4.585, 6.228, 8.202",\
                 "0.2319, 0.2874, 0.4438, 0.7597, 1.336, 2.153, 3.226, 4.577, 6.23, 8.201",\
                 "0.314, 0.3802, 0.5792, 0.871, 1.354, 2.154, 3.228, 4.577, 6.23, 8.204",\
                 "0.4152, 0.4918, 0.7198, 1.072, 1.514, 2.193, 3.229, 4.579, 6.231, 8.199",\
                 "0.5274, 0.6184, 0.8774, 1.28, 1.791, 2.398, 3.297, 4.58, 6.245, 8.206",\
                 "0.6514, 0.76, 1.054, 1.498, 2.079, 2.752, 3.549, 4.683, 6.235, 8.197",\
                 "0.7908, 0.9146, 1.251, 1.739, 2.376, 3.135, 3.974, 4.986, 6.384, 8.215",\
                 "0.9444, 1.081, 1.463, 2, 2.691, 3.523, 4.464, 5.485, 6.735, 8.406");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.07784, 0.2809, 0.6686, 1.273, 2.12, 3.235, 4.64, 6.356, 8.4");
          index_2("0.001, 0.008941, 0.03682, 0.09005, 0.173, 0.2894, 0.4425, 0.6354, 0.8709, 1.152");
          values("0.1095, 0.1328, 0.2134, 0.3664, 0.6042, 0.9384, 1.377, 1.931, 2.607, 3.411",\
                 "0.1215, 0.1454, 0.2268, 0.3801, 0.6188, 0.9525, 1.392, 1.946, 2.621, 3.426",\
                 "0.1441, 0.1726, 0.2598, 0.4143, 0.653, 0.9874, 1.426, 1.981, 2.657, 3.462",\
                 "0.1507, 0.1882, 0.298, 0.4724, 0.7142, 1.048, 1.488, 2.042, 2.718, 3.523",\
                 "0.1345, 0.1834, 0.3211, 0.5282, 0.8015, 1.145, 1.585, 2.137, 2.812, 3.617",\
                 "0.0903, 0.1516, 0.3218, 0.5682, 0.8807, 1.263, 1.721, 2.274, 2.95, 3.755",\
                 "0.0185, 0.0916, 0.2941, 0.5849, 0.9428, 1.369, 1.871, 2.453, 3.13, 3.933",\
                 "-0.0837, 0.0012, 0.2354, 0.5727, 0.9815, 1.457, 2.007, 2.637, 3.351, 4.162",\
                 "-0.2191, -0.1227, 0.1434, 0.5268, 0.9912, 1.522, 2.125, 2.805, 3.571, 4.427",\
                 "-0.3894, -0.2821, 0.0172, 0.4456, 0.9674, 1.558, 2.218, 2.955, 3.775, 4.686");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.07784, 0.2809, 0.6686, 1.273, 2.12, 3.235, 4.64, 6.356, 8.4");
          index_2("0.001, 0.008941, 0.03682, 0.09005, 0.173, 0.2894, 0.4425, 0.6354, 0.8709, 1.152");
          values("0.1572, 0.1898, 0.3016, 0.5113, 0.8364, 1.292, 1.89, 2.644, 3.565, 4.66",\
                 "0.1714, 0.2046, 0.3173, 0.5278, 0.8536, 1.309, 1.908, 2.662, 3.581, 4.679",\
                 "0.2383, 0.2711, 0.3834, 0.5941, 0.9204, 1.376, 1.975, 2.729, 3.65, 4.746",\
                 "0.3512, 0.3936, 0.5199, 0.7294, 1.053, 1.509, 2.108, 2.861, 3.781, 4.878",\
                 "0.4863, 0.5385, 0.6977, 0.9435, 1.269, 1.721, 2.317, 3.069, 3.989, 5.086",\
                 "0.6489, 0.7105, 0.8988, 1.195, 1.571, 2.026, 2.618, 3.366, 4.284, 5.38",\
                 "0.8432, 0.9148, 1.13, 1.47, 1.911, 2.425, 3.022, 3.767, 4.68, 5.771",\
                 "1.069, 1.151, 1.397, 1.778, 2.274, 2.865, 3.526, 4.277, 5.184, 6.272",\
                 "1.329, 1.422, 1.698, 2.122, 2.67, 3.329, 4.077, 4.894, 5.809, 6.89",\
                 "1.624, 1.729, 2.038, 2.504, 3.104, 3.825, 4.652, 5.566, 6.547, 7.635");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.07784, 0.2809, 0.6686, 1.273, 2.12, 3.235, 4.64, 6.356, 8.4");
          index_2("0.001, 0.008941, 0.03682, 0.09005, 0.173, 0.2894, 0.4425, 0.6354, 0.8709, 1.152");
          values("0.09912, 0.1391, 0.2788, 0.5458, 0.9607, 1.545, 2.309, 3.279, 4.458, 5.862",\
                 "0.09894, 0.1391, 0.2787, 0.5459, 0.9629, 1.544, 2.313, 3.278, 4.454, 5.864",\
                 "0.126, 0.1617, 0.2848, 0.5467, 0.9607, 1.544, 2.31, 3.28, 4.461, 5.868",\
                 "0.1814, 0.2199, 0.3487, 0.5799, 0.9644, 1.542, 2.309, 3.276, 4.458, 5.86",\
                 "0.2641, 0.3059, 0.4407, 0.683, 1.043, 1.567, 2.31, 3.274, 4.455, 5.861",\
                 "0.3682, 0.4164, 0.5624, 0.813, 1.188, 1.692, 2.37, 3.283, 4.454, 5.857",\
                 "0.4884, 0.5438, 0.7118, 0.9798, 1.362, 1.884, 2.547, 3.391, 4.489, 5.856",\
                 "0.6222, 0.6864, 0.8786, 1.174, 1.572, 2.108, 2.789, 3.625, 4.647, 5.938",\
                 "0.7674, 0.843, 1.063, 1.392, 1.822, 2.37, 3.065, 3.92, 4.938, 6.15",\
                 "0.9232, 1.009, 1.26, 1.636, 2.099, 2.672, 3.379, 4.253, 5.295, 6.509");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.07784, 0.2809, 0.6686, 1.273, 2.12, 3.235, 4.64, 6.356, 8.4");
          index_2("0.001, 0.008941, 0.03682, 0.09005, 0.173, 0.2894, 0.4425, 0.6354, 0.8709, 1.152");
          values("0.1982, 0.255, 0.452, 0.825, 1.407, 2.224, 3.296, 4.646, 6.292, 8.259",\
                 "0.1986, 0.2548, 0.4506, 0.8246, 1.407, 2.224, 3.295, 4.646, 6.298, 8.259",\
                 "0.2064, 0.2574, 0.4505, 0.8246, 1.407, 2.223, 3.294, 4.644, 6.293, 8.255",\
                 "0.2845, 0.3353, 0.4891, 0.8267, 1.407, 2.223, 3.297, 4.646, 6.292, 8.259",\
                 "0.3712, 0.4362, 0.6264, 0.9158, 1.419, 2.223, 3.295, 4.647, 6.296, 8.268",\
                 "0.4678, 0.5442, 0.7708, 1.117, 1.56, 2.254, 3.295, 4.647, 6.298, 8.266",\
                 "0.576, 0.6644, 0.9214, 1.326, 1.832, 2.446, 3.353, 4.65, 6.297, 8.264",\
                 "0.6978, 0.8004, 1.088, 1.538, 2.123, 2.791, 3.597, 4.742, 6.307, 8.262",\
                 "0.8324, 0.9492, 1.273, 1.766, 2.409, 3.171, 4.012, 5.036, 6.434, 8.284",\
                 "0.9788, 1.111, 1.475, 2.009, 2.708, 3.55, 4.496, 5.522, 6.782, 8.452");
        }
      }
    }
  }