/*
 * 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_2) {
    area : 19.756800 ;

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

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

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

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

    leakage_power() {
      related_pg_pin : "VDD" ;
      value : "2.643894e-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.008232 ;
      direction : input ;
      driver_waveform_rise : driver_waveform_default_rise ;
      driver_waveform_fall : driver_waveform_default_fall ;
      input_voltage : default ;
      max_transition : 6.8 ;
      related_ground_pin : VSS ;
      related_power_pin : VDD ;

      internal_power() {
        when : "!A2" ;

        fall_power(pwr_tin_10) {
          index_1("0.02, 0.0668, 0.2311, 0.5448, 1.033, 1.719, 2.622, 3.758, 5.146, 6.8");
          values("0.01174, 0.01171, 0.01164, 0.0116, 0.01156, 0.01157, 0.01157, \
                  0.01156, 0.01156, 0.01156");
        }

        rise_power(pwr_tin_10) {
          index_1("0.02, 0.0668, 0.2311, 0.5448, 1.033, 1.719, 2.622, 3.758, 5.146, 6.8");
          values("-0.007771, -0.007778, -0.007762, -0.007765, -0.007769, -0.007786, \
                  -0.007788, -0.00779, -0.007782, -0.007814");
        }
      }
    }

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

      internal_power() {
        when : "!A1" ;

        fall_power(pwr_tin_10) {
          index_1("0.02, 0.0668, 0.2311, 0.5448, 1.033, 1.719, 2.622, 3.758, 5.146, 6.8");
          values("0.01094, 0.0103, 0.01012, 0.01008, 0.01003, 0.01005, 0.01005, \
                  0.01005, 0.01005, 0.01005");
        }

        rise_power(pwr_tin_10) {
          index_1("0.02, 0.0668, 0.2311, 0.5448, 1.033, 1.719, 2.622, 3.758, 5.146, 6.8");
          values("-0.0101, -0.01008, -0.01005, -0.01002, -0.009996, -0.01001, -0.01, \
                  -0.009992, -0.009986, -0.009983");
        }
      }
    }

    pin(ZN) {
      direction : output ;
      function : "((!A1)|(!A2))" ;
      max_capacitance : 0.4333 ;
      max_transition : 6.8 ;
      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.0668, 0.2311, 0.5448, 1.033, 1.719, 2.622, 3.758, 5.146, 6.8");
          index_2("0.001, 0.003984, 0.01446, 0.03446, 0.06562, 0.1093, 0.1669, 0.2394, 0.3279, 0.4333");
          values("0.002518, 0.002617, 0.002733, 0.002818, 0.002841, 0.002847, 0.002855, 0.002859, 0.002875, 0.002864",\
                 "0.001943, 0.002167, 0.002501, 0.002666, 0.00275, 0.002796, 0.002824, 0.002832, 0.002837, 0.002852",\
                 "0.00116, 0.001414, 0.001893, 0.002277, 0.002503, 0.002631, 0.002709, 0.002755, 0.002783, 0.0028",\
                 "0.001184, 0.001261, 0.001573, 0.001984, 0.002261, 0.002456, 0.002571, 0.002657, 0.002706, 0.002747",\
                 "0.002314, 0.002165, 0.001999, 0.002093, 0.002257, 0.002411, 0.002536, 0.00261, 0.002664, 0.002708",\
                 "0.004612, 0.004213, 0.003495, 0.003016, 0.002786, 0.00275, 0.002743, 0.002758, 0.002788, 0.002792",\
                 "0.008092, 0.007485, 0.006131, 0.00493, 0.004164, 0.003725, 0.003453, 0.003271, 0.003166, 0.003094",\
                 "0.01282, 0.01196, 0.01001, 0.008014, 0.006506, 0.005485, 0.004815, 0.004328, 0.00398, 0.003743",\
                 "0.01893, 0.01779, 0.0152, 0.01235, 0.009981, 0.008222, 0.006956, 0.00604, 0.005397, 0.004882",\
                 "0.02636, 0.02505, 0.0218, 0.01805, 0.01474, 0.0121, 0.01015, 0.008655, 0.007551, 0.006703");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.0668, 0.2311, 0.5448, 1.033, 1.719, 2.622, 3.758, 5.146, 6.8");
          index_2("0.001, 0.003984, 0.01446, 0.03446, 0.06562, 0.1093, 0.1669, 0.2394, 0.3279, 0.4333");
          values("0.02981, 0.0302, 0.0307, 0.03091, 0.03108, 0.03148, 0.03176, 0.03227, 0.03277, 0.03298",\
                 "0.02877, 0.0293, 0.03022, 0.03078, 0.0312, 0.0316, 0.03204, 0.03241, 0.03267, 0.03315",\
                 "0.02775, 0.02806, 0.02895, 0.02979, 0.03054, 0.03113, 0.0317, 0.03212, 0.03239, 0.03315",\
                 "0.02806, 0.02806, 0.02839, 0.02903, 0.02973, 0.03059, 0.03109, 0.032, 0.03253, 0.03276",\
                 "0.02959, 0.02938, 0.02901, 0.02914, 0.02947, 0.0301, 0.03085, 0.03115, 0.03195, 0.03288",\
                 "0.03221, 0.03178, 0.03087, 0.0303, 0.03003, 0.03014, 0.03053, 0.03107, 0.03203, 0.03268",\
                 "0.03615, 0.03545, 0.034, 0.03252, 0.03173, 0.03128, 0.03122, 0.03158, 0.03174, 0.03279",\
                 "0.04139, 0.04039, 0.03823, 0.03597, 0.03424, 0.03338, 0.03273, 0.03235, 0.03263, 0.03356",\
                 "0.04813, 0.04687, 0.0439, 0.04077, 0.03832, 0.03645, 0.03528, 0.03443, 0.03416, 0.03451",\
                 "0.05646, 0.05485, 0.05108, 0.04713, 0.04345, 0.04079, 0.03904, 0.03776, 0.03628, 0.03732");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.0668, 0.2311, 0.5448, 1.033, 1.719, 2.622, 3.758, 5.146, 6.8");
          index_2("0.001, 0.003984, 0.01446, 0.03446, 0.06562, 0.1093, 0.1669, 0.2394, 0.3279, 0.4333");
          values("0.002593, 0.002661, 0.002771, 0.002822, 0.002833, 0.002848, 0.002863, 0.002862, 0.002871, 0.002871",\
                 "0.00209, 0.002279, 0.002554, 0.002688, 0.002765, 0.002807, 0.002831, 0.00284, 0.00285, 0.002856",\
                 "0.001161, 0.001439, 0.001942, 0.002323, 0.002528, 0.002648, 0.002718, 0.00276, 0.002785, 0.002802",\
                 "0.000793, 0.000944, 0.001394, 0.001893, 0.002226, 0.002439, 0.002568, 0.002653, 0.002709, 0.002747",\
                 "0.001298, 0.001319, 0.001468, 0.001766, 0.002066, 0.00229, 0.002445, 0.002551, 0.002624, 0.002679",\
                 "0.002929, 0.002736, 0.002427, 0.002306, 0.002365, 0.002462, 0.002545, 0.002617, 0.002669, 0.002711",\
                 "0.005829, 0.00539, 0.004505, 0.003775, 0.003377, 0.003145, 0.003038, 0.002978, 0.002948, 0.002926",\
                 "0.01005, 0.009352, 0.007786, 0.006335, 0.005258, 0.004595, 0.004116, 0.003834, 0.003612, 0.003458",\
                 "0.01564, 0.01469, 0.01243, 0.01011, 0.008243, 0.006914, 0.005989, 0.005297, 0.00481, 0.004432",\
                 "0.02262, 0.02145, 0.01848, 0.01525, 0.01247, 0.01034, 0.008766, 0.007584, 0.006658, 0.005994");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.0668, 0.2311, 0.5448, 1.033, 1.719, 2.622, 3.758, 5.146, 6.8");
          index_2("0.001, 0.003984, 0.01446, 0.03446, 0.06562, 0.1093, 0.1669, 0.2394, 0.3279, 0.4333");
          values("0.03992, 0.04, 0.04011, 0.04013, 0.04029, 0.0405, 0.04072, 0.04097, 0.04145, 0.04223",\
                 "0.03914, 0.03925, 0.03953, 0.0398, 0.03993, 0.0402, 0.04056, 0.04082, 0.04109, 0.0415",\
                 "0.03827, 0.03841, 0.03883, 0.03921, 0.03956, 0.03994, 0.0403, 0.04066, 0.04111, 0.04171",\
                 "0.03848, 0.03852, 0.03861, 0.03888, 0.03922, 0.03969, 0.04002, 0.04036, 0.04087, 0.04171",\
                 "0.03987, 0.03964, 0.03937, 0.03918, 0.03926, 0.03971, 0.03996, 0.04048, 0.04073, 0.04106",\
                 "0.04238, 0.042, 0.04115, 0.04055, 0.04009, 0.0401, 0.0403, 0.04052, 0.04097, 0.04137",\
                 "0.04612, 0.04561, 0.04421, 0.04275, 0.04199, 0.04137, 0.04119, 0.04107, 0.04151, 0.04165",\
                 "0.05119, 0.05052, 0.04868, 0.04653, 0.04467, 0.04373, 0.04299, 0.04262, 0.04248, 0.04278",\
                 "0.0577, 0.05681, 0.05444, 0.05146, 0.04879, 0.04684, 0.04569, 0.04476, 0.04449, 0.04398",\
                 "0.06571, 0.06463, 0.06172, 0.05799, 0.05423, 0.05139, 0.04965, 0.04808, 0.04694, 0.04682");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.0668, 0.2311, 0.5448, 1.033, 1.719, 2.622, 3.758, 5.146, 6.8");
          index_2("0.001, 0.003984, 0.01446, 0.03446, 0.06562, 0.1093, 0.1669, 0.2394, 0.3279, 0.4333");
          values("0.07483, 0.09453, 0.1626, 0.2918, 0.4929, 0.7752, 1.146, 1.613, 2.185, 2.862",\
                 "0.0858, 0.1057, 0.1744, 0.304, 0.5053, 0.7876, 1.158, 1.626, 2.198, 2.878",\
                 "0.1186, 0.1446, 0.218, 0.348, 0.5498, 0.8323, 1.204, 1.672, 2.242, 2.92",\
                 "0.1407, 0.1787, 0.2841, 0.434, 0.636, 0.9181, 1.289, 1.756, 2.328, 3.009",\
                 "0.1472, 0.1965, 0.3354, 0.5329, 0.7694, 1.054, 1.425, 1.892, 2.462, 3.143",\
                 "0.1373, 0.1979, 0.3678, 0.6139, 0.9087, 1.24, 1.617, 2.083, 2.654, 3.333",\
                 "0.1104, 0.1814, 0.3822, 0.6746, 1.028, 1.425, 1.859, 2.337, 2.905, 3.585",\
                 "0.0634, 0.1449, 0.3772, 0.7134, 1.125, 1.589, 2.095, 2.638, 3.225, 3.903",\
                 "-0.0058, 0.0886, 0.3511, 0.7318, 1.196, 1.728, 2.309, 2.93, 3.59, 4.293",\
                 "-0.0977, 0.0082, 0.3027, 0.7287, 1.248, 1.845, 2.496, 3.197, 3.941, 4.723");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.0668, 0.2311, 0.5448, 1.033, 1.719, 2.622, 3.758, 5.146, 6.8");
          index_2("0.001, 0.003984, 0.01446, 0.03446, 0.06562, 0.1093, 0.1669, 0.2394, 0.3279, 0.4333");
          values("0.09433, 0.1224, 0.2172, 0.3958, 0.6727, 1.061, 1.571, 2.217, 3.002, 3.938",\
                 "0.1082, 0.1368, 0.2338, 0.4137, 0.6916, 1.081, 1.592, 2.236, 3.019, 3.958",\
                 "0.1666, 0.1961, 0.2927, 0.4741, 0.7536, 1.142, 1.654, 2.297, 3.086, 4.019",\
                 "0.2494, 0.2933, 0.4121, 0.594, 0.873, 1.264, 1.775, 2.421, 3.204, 4.146",\
                 "0.3456, 0.4027, 0.5624, 0.7834, 1.064, 1.455, 1.965, 2.612, 3.397, 4.336",\
                 "0.4571, 0.5278, 0.7259, 1.006, 1.333, 1.725, 2.236, 2.881, 3.666, 4.601",\
                 "0.5895, 0.6717, 0.9046, 1.243, 1.642, 2.08, 2.593, 3.236, 4.023, 4.957",\
                 "0.7412, 0.8354, 1.103, 1.495, 1.967, 2.486, 3.043, 3.689, 4.472, 5.409",\
                 "0.9148, 1.022, 1.323, 1.764, 2.306, 2.909, 3.555, 4.238, 5.025, 5.959",\
                 "1.111, 1.23, 1.567, 2.058, 2.664, 3.348, 4.086, 4.862, 5.683, 6.619");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.0668, 0.2311, 0.5448, 1.033, 1.719, 2.622, 3.758, 5.146, 6.8");
          index_2("0.001, 0.003984, 0.01446, 0.03446, 0.06562, 0.1093, 0.1669, 0.2394, 0.3279, 0.4333");
          values("0.08422, 0.1171, 0.2324, 0.4521, 0.7966, 1.275, 1.905, 2.701, 3.677, 4.83",\
                 "0.08422, 0.1172, 0.233, 0.4524, 0.794, 1.275, 1.908, 2.7, 3.671, 4.841",\
                 "0.1164, 0.1436, 0.2363, 0.4521, 0.7942, 1.274, 1.908, 2.704, 3.676, 4.827",\
                 "0.1733, 0.2103, 0.3139, 0.4803, 0.7952, 1.274, 1.906, 2.706, 3.68, 4.834",\
                 "0.2355, 0.2844, 0.4194, 0.611, 0.864, 1.283, 1.906, 2.701, 3.674, 4.833",\
                 "0.3052, 0.3638, 0.5316, 0.768, 1.054, 1.406, 1.938, 2.703, 3.674, 4.835",\
                 "0.3816, 0.4512, 0.6496, 0.934, 1.272, 1.66, 2.12, 2.772, 3.682, 4.833",\
                 "0.4674, 0.5474, 0.7726, 1.105, 1.502, 1.946, 2.44, 3.017, 3.801, 4.857",\
                 "0.5648, 0.654, 0.9064, 1.281, 1.737, 2.247, 2.802, 3.413, 4.113, 5.038",\
                 "0.6712, 0.7712, 1.052, 1.466, 1.978, 2.555, 3.179, 3.853, 4.586, 5.422");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.0668, 0.2311, 0.5448, 1.033, 1.719, 2.622, 3.758, 5.146, 6.8");
          index_2("0.001, 0.003984, 0.01446, 0.03446, 0.06562, 0.1093, 0.1669, 0.2394, 0.3279, 0.4333");
          values("0.1127, 0.1582, 0.3189, 0.6254, 1.103, 1.778, 2.655, 3.778, 5.135, 6.75",\
                 "0.1126, 0.1584, 0.3192, 0.626, 1.106, 1.778, 2.663, 3.778, 5.124, 6.75",\
                 "0.1321, 0.166, 0.319, 0.626, 1.104, 1.775, 2.66, 3.765, 5.135, 6.739",\
                 "0.2018, 0.2418, 0.3551, 0.6273, 1.104, 1.776, 2.659, 3.775, 5.127, 6.753",\
                 "0.2744, 0.3308, 0.4794, 0.693, 1.108, 1.772, 2.659, 3.773, 5.124, 6.758",\
                 "0.3494, 0.4198, 0.6138, 0.8716, 1.203, 1.785, 2.656, 3.769, 5.128, 6.745",\
                 "0.4304, 0.5116, 0.7484, 1.071, 1.434, 1.908, 2.678, 3.769, 5.12, 6.752",\
                 "0.5204, 0.613, 0.8834, 1.273, 1.71, 2.184, 2.828, 3.8, 5.122, 6.745",\
                 "0.6174, 0.7224, 1.023, 1.472, 1.998, 2.546, 3.147, 3.979, 5.173, 6.747",\
                 "0.7258, 0.8408, 1.174, 1.673, 2.276, 2.922, 3.591, 4.338, 5.385, 6.8");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.0668, 0.2311, 0.5448, 1.033, 1.719, 2.622, 3.758, 5.146, 6.8");
          index_2("0.001, 0.003984, 0.01446, 0.03446, 0.06562, 0.1093, 0.1669, 0.2394, 0.3279, 0.4333");
          values("0.08874, 0.1082, 0.176, 0.3055, 0.506, 0.7885, 1.159, 1.626, 2.199, 2.879",\
                 "0.1004, 0.1203, 0.1888, 0.3183, 0.5191, 0.8015, 1.172, 1.639, 2.212, 2.891",\
                 "0.1279, 0.1513, 0.2234, 0.3536, 0.5553, 0.8373, 1.208, 1.676, 2.247, 2.928",\
                 "0.1495, 0.1814, 0.2734, 0.4176, 0.6207, 0.9033, 1.274, 1.743, 2.312, 2.995",\
                 "0.155, 0.1976, 0.3168, 0.4917, 0.7187, 1.006, 1.378, 1.845, 2.417, 3.099",\
                 "0.142, 0.1956, 0.3444, 0.5584, 0.8224, 1.141, 1.521, 1.99, 2.561, 3.242",\
                 "0.11, 0.1741, 0.3536, 0.6096, 0.919, 1.278, 1.696, 2.179, 2.751, 3.431",\
                 "0.057, 0.1324, 0.342, 0.6406, 0.9998, 1.409, 1.872, 2.396, 2.989, 3.672",\
                 "-0.0181, 0.0687, 0.308, 0.6508, 1.061, 1.526, 2.04, 2.612, 3.25, 3.96",\
                 "-0.1175, -0.019, 0.252, 0.6378, 1.1, 1.622, 2.195, 2.821, 3.51, 4.268");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.0668, 0.2311, 0.5448, 1.033, 1.719, 2.622, 3.758, 5.146, 6.8");
          index_2("0.001, 0.003984, 0.01446, 0.03446, 0.06562, 0.1093, 0.1669, 0.2394, 0.3279, 0.4333");
          values("0.1275, 0.1548, 0.2496, 0.4282, 0.7051, 1.093, 1.603, 2.245, 3.03, 3.964",\
                 "0.1424, 0.1703, 0.2657, 0.4448, 0.722, 1.11, 1.62, 2.263, 3.047, 3.981",\
                 "0.2034, 0.2314, 0.3272, 0.5071, 0.7849, 1.173, 1.684, 2.326, 3.111, 4.045",\
                 "0.3071, 0.3438, 0.4496, 0.6292, 0.9072, 1.296, 1.806, 2.449, 3.234, 4.168",\
                 "0.4245, 0.4734, 0.6153, 0.8217, 1.1, 1.488, 1.998, 2.641, 3.426, 4.359",\
                 "0.5572, 0.6167, 0.7948, 1.057, 1.371, 1.761, 2.27, 2.912, 3.696, 4.63",\
                 "0.7093, 0.7797, 0.9899, 1.307, 1.691, 2.119, 2.629, 3.27, 4.054, 4.987",\
                 "0.8847, 0.9652, 1.205, 1.573, 2.025, 2.533, 3.081, 3.724, 4.506, 5.439",\
                 "1.084, 1.174, 1.443, 1.858, 2.377, 2.964, 3.599, 4.277, 5.061, 5.992",\
                 "1.308, 1.409, 1.706, 2.165, 2.747, 3.414, 4.138, 4.905, 5.721, 6.654");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.0668, 0.2311, 0.5448, 1.033, 1.719, 2.622, 3.758, 5.146, 6.8");
          index_2("0.001, 0.003984, 0.01446, 0.03446, 0.06562, 0.1093, 0.1669, 0.2394, 0.3279, 0.4333");
          values("0.08448, 0.1171, 0.2324, 0.4525, 0.7943, 1.275, 1.909, 2.705, 3.681, 4.836",\
                 "0.08438, 0.1174, 0.2329, 0.4529, 0.7946, 1.276, 1.908, 2.702, 3.675, 4.83",\
                 "0.1038, 0.1326, 0.235, 0.4516, 0.7954, 1.276, 1.909, 2.706, 3.673, 4.834",\
                 "0.1496, 0.1807, 0.2833, 0.4714, 0.7956, 1.274, 1.905, 2.701, 3.679, 4.834",\
                 "0.2095, 0.2476, 0.3604, 0.5536, 0.8434, 1.284, 1.905, 2.701, 3.675, 4.834",\
                 "0.2788, 0.323, 0.4552, 0.6636, 0.9604, 1.366, 1.934, 2.704, 3.674, 4.836",\
                 "0.3564, 0.4074, 0.5602, 0.7948, 1.107, 1.521, 2.053, 2.76, 3.683, 4.831",\
                 "0.4428, 0.5008, 0.6746, 0.9414, 1.282, 1.711, 2.252, 2.92, 3.776, 4.862",\
                 "0.537, 0.6016, 0.7974, 1.095, 1.473, 1.929, 2.483, 3.163, 3.977, 4.992",\
                 "0.6382, 0.7112, 0.9282, 1.26, 1.675, 2.168, 2.749, 3.44, 4.268, 5.238");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.0668, 0.2311, 0.5448, 1.033, 1.719, 2.622, 3.758, 5.146, 6.8");
          index_2("0.001, 0.003984, 0.01446, 0.03446, 0.06562, 0.1093, 0.1669, 0.2394, 0.3279, 0.4333");
          values("0.151, 0.1978, 0.3581, 0.6639, 1.141, 1.809, 2.689, 3.798, 5.151, 6.757",\
                 "0.1511, 0.1972, 0.3578, 0.6642, 1.141, 1.809, 2.689, 3.798, 5.15, 6.762",\
                 "0.1558, 0.1982, 0.3579, 0.6641, 1.141, 1.81, 2.69, 3.798, 5.151, 6.758",\
                 "0.2226, 0.2602, 0.3795, 0.6646, 1.141, 1.81, 2.689, 3.797, 5.149, 6.763",\
                 "0.304, 0.355, 0.4954, 0.7166, 1.145, 1.81, 2.689, 3.797, 5.152, 6.761",\
                 "0.3842, 0.4512, 0.635, 0.8874, 1.229, 1.819, 2.69, 3.798, 5.152, 6.765",\
                 "0.466, 0.5464, 0.7752, 1.089, 1.451, 1.934, 2.709, 3.799, 5.151, 6.764",\
                 "0.5514, 0.644, 0.9128, 1.294, 1.727, 2.201, 2.853, 3.828, 5.153, 6.764",\
                 "0.6424, 0.7486, 1.051, 1.497, 2.011, 2.561, 3.165, 4.001, 5.197, 6.771",\
                 "0.7398, 0.8584, 1.195, 1.699, 2.296, 2.937, 3.603, 4.358, 5.401, 6.832");
        }
      }
    }
  }