/*
 * 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_1) {
    area : 10.976000 ;

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

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

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

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

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

      internal_power() {
        when : "!A2" ;

        fall_power(pwr_tin_10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          values("0.004663, 0.004652, 0.00464, 0.004625, 0.004612, 0.004607, 0.004568, \
                 0.004592, 0.00459, 0.004591");
        }

        rise_power(pwr_tin_10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          values("-0.003147, -0.003144, -0.003143, -0.003144, -0.003159, -0.003155, \
                 -0.003164, -0.003173, -0.00318, -0.003207");
        }
      }
    }

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

      internal_power() {
        when : "!A1" ;

        fall_power(pwr_tin_10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          values("0.004343, 0.004057, 0.003989, 0.003972, 0.003968, 0.003963, 0.003957, \
                 0.003954, 0.00393, 0.003951");
        }

        rise_power(pwr_tin_10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          values("-0.003987, -0.00398, -0.003891, -0.003903, -0.003922, -0.003925, \
                 -0.003928, -0.00393, -0.003929, -0.003925");
        }
      }
    }

    pin(ZN) {
      direction : output ;
      function : "((!A1)|(!A2))" ;
      max_capacitance : 0.1893 ;
      max_transition : 12 ;
      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.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.0023, 0.006862, 0.01558, 0.02915, 0.0482, 0.07326, 0.1048, 0.1434, 0.1893");
          values("0.00139, 0.001397, 0.001412, 0.001414, 0.001419, 0.001419, 0.00142, 0.00142, 0.00142, 0.00142",\
                 "0.001194, 0.001241, 0.001322, 0.001359, 0.00138, 0.001399, 0.001402, 0.001408, 0.001409, 0.001411",\
                 "0.0008574, 0.0009351, 0.001103, 0.001223, 0.001295, 0.001341, 0.001367, 0.001379, 0.001385, 0.001392",\
                 "0.0006048, 0.0006833, 0.0008538, 0.001038, 0.001167, 0.001247, 0.001299, 0.001332, 0.001351, 0.001365",\
                 "0.0005266, 0.000563, 0.0006933, 0.0008716, 0.001025, 0.001139, 0.001216, 0.001268, 0.001302, 0.001327",\
                 "0.0006251, 0.0006263, 0.0006734, 0.0007851, 0.0009258, 0.001046, 0.001138, 0.001205, 0.001252, 0.001285",\
                 "0.0008653, 0.0008388, 0.0007949, 0.0008183, 0.0009005, 0.0009956, 0.001082, 0.001154, 0.00121, 0.001249",\
                 "0.001275, 0.001211, 0.001077, 0.0009904, 0.0009803, 0.001026, 0.00108, 0.001139, 0.001189, 0.001226",\
                 "0.00184, 0.001744, 0.001515, 0.001308, 0.001186, 0.001146, 0.001154, 0.001179, 0.00121, 0.001224",\
                 "0.002575, 0.002438, 0.002114, 0.001783, 0.001534, 0.001387, 0.001317, 0.001292, 0.001282, 0.001236");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.0023, 0.006862, 0.01558, 0.02915, 0.0482, 0.07326, 0.1048, 0.1434, 0.1893");
          values("0.01343, 0.01348, 0.01355, 0.01358, 0.01359, 0.01357, 0.0136, 0.01356, 0.01386, 0.01686",\
                 "0.01314, 0.01327, 0.01343, 0.01359, 0.01368, 0.0137, 0.01373, 0.01368, 0.01403, 0.01706",\
                 "0.0125, 0.01262, 0.01301, 0.01325, 0.01346, 0.01358, 0.01362, 0.01365, 0.01404, 0.0174",\
                 "0.01225, 0.01231, 0.01251, 0.01281, 0.0131, 0.01331, 0.01337, 0.0135, 0.014, 0.01798",\
                 "0.01226, 0.01229, 0.01233, 0.0125, 0.01277, 0.01299, 0.01319, 0.01332, 0.01395, 0.01905",\
                 "0.01243, 0.0124, 0.01238, 0.01244, 0.01255, 0.0127, 0.0129, 0.01315, 0.01408, 0.02135",\
                 "0.01272, 0.01265, 0.01256, 0.01257, 0.01248, 0.0126, 0.01279, 0.01292, 0.01459, 0.02625",\
                 "0.01315, 0.01309, 0.0129, 0.01273, 0.01263, 0.01253, 0.01261, 0.01284, 0.01643, 0.0367",\
                 "0.01374, 0.01362, 0.01338, 0.0131, 0.0129, 0.01273, 0.01264, 0.01338, 0.02216, 0.05892",\
                 "0.01451, 0.01435, 0.01398, 0.01361, 0.01331, 0.01307, 0.01306, 0.01673, 0.04092, 0.1022");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.0023, 0.006862, 0.01558, 0.02915, 0.0482, 0.07326, 0.1048, 0.1434, 0.1893");
          values("0.00139, 0.001386, 0.001401, 0.001413, 0.001413, 0.001415, 0.001418, 0.001418, 0.001419, 0.001418",\
                 "0.001254, 0.001285, 0.00134, 0.001372, 0.001385, 0.0014, 0.001409, 0.001407, 0.00141, 0.001416",\
                 "0.0009446, 0.001017, 0.001157, 0.001256, 0.001323, 0.001356, 0.001374, 0.001385, 0.001394, 0.001399",\
                 "0.0006852, 0.0007551, 0.0009259, 0.001094, 0.001208, 0.001277, 0.001321, 0.001347, 0.001365, 0.001376",\
                 "0.0005357, 0.000587, 0.0007366, 0.000919, 0.001061, 0.001171, 0.001239, 0.001285, 0.001316, 0.001337",\
                 "0.0004908, 0.0005239, 0.0006258, 0.0007841, 0.0009405, 0.001064, 0.001156, 0.00122, 0.001266, 0.001296",\
                 "0.0005476, 0.0005652, 0.0006253, 0.0007292, 0.0008614, 0.000984, 0.001077, 0.001154, 0.001211, 0.001251",\
                 "0.0007366, 0.0007261, 0.0007282, 0.0007728, 0.0008557, 0.0009482, 0.001035, 0.00111, 0.001171, 0.001214",\
                 "0.001065, 0.001031, 0.0009634, 0.0009263, 0.0009364, 0.0009823, 0.001045, 0.001105, 0.001158, 0.001189",\
                 "0.001562, 0.001493, 0.001341, 0.001207, 0.00113, 0.001108, 0.001122, 0.001152, 0.001179, 0.001175");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.0023, 0.006862, 0.01558, 0.02915, 0.0482, 0.07326, 0.1048, 0.1434, 0.1893");
          values("0.01726, 0.01726, 0.01725, 0.01723, 0.0172, 0.01715, 0.01707, 0.01699, 0.01712, 0.02006",\
                 "0.01694, 0.01697, 0.01701, 0.01703, 0.01702, 0.01699, 0.01691, 0.01683, 0.01701, 0.01996",\
                 "0.01653, 0.01658, 0.01669, 0.0168, 0.01686, 0.01685, 0.0168, 0.01674, 0.01695, 0.02024",\
                 "0.01632, 0.01635, 0.01644, 0.01657, 0.01664, 0.01671, 0.01669, 0.01665, 0.01691, 0.02084",\
                 "0.01631, 0.01633, 0.01634, 0.0164, 0.0165, 0.01656, 0.01656, 0.01656, 0.01698, 0.02212",\
                 "0.01643, 0.01642, 0.01642, 0.01637, 0.01636, 0.01644, 0.0164, 0.0164, 0.01717, 0.02451",\
                 "0.01668, 0.01665, 0.01655, 0.01651, 0.01641, 0.0164, 0.01637, 0.01642, 0.01789, 0.02962",\
                 "0.01708, 0.01701, 0.01686, 0.01671, 0.01658, 0.01644, 0.01638, 0.01649, 0.01982, 0.04008",\
                 "0.01763, 0.01753, 0.01732, 0.01707, 0.01686, 0.01663, 0.01645, 0.01717, 0.02593, 0.06299",\
                 "0.01831, 0.01819, 0.0179, 0.01755, 0.01725, 0.01698, 0.01696, 0.02072, 0.04521, 0.1067");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.0023, 0.006862, 0.01558, 0.02915, 0.0482, 0.07326, 0.1048, 0.1434, 0.1893");
          values("0.1633, 0.1957, 0.3097, 0.5273, 0.8658, 1.341, 1.966, 2.753, 3.715, 4.86",\
                 "0.1864, 0.2195, 0.3344, 0.5527, 0.8915, 1.366, 1.992, 2.779, 3.741, 4.887",\
                 "0.2727, 0.3095, 0.4261, 0.6449, 0.9849, 1.46, 2.086, 2.873, 3.834, 4.98",\
                 "0.37, 0.4259, 0.5866, 0.8243, 1.164, 1.64, 2.265, 3.053, 4.014, 5.16",\
                 "0.4486, 0.525, 0.7451, 1.062, 1.445, 1.921, 2.547, 3.334, 4.296, 5.44",\
                 "0.5025, 0.6011, 0.8835, 1.289, 1.771, 2.314, 2.943, 3.73, 4.69, 5.836",\
                 "0.5284, 0.65, 0.9973, 1.495, 2.085, 2.742, 3.456, 4.254, 5.213, 6.357",\
                 "0.5239, 0.6684, 1.082, 1.674, 2.377, 3.156, 3.997, 4.894, 5.873, 7.017",\
                 "0.4857, 0.6542, 1.135, 1.826, 2.646, 3.55, 4.523, 5.558, 6.651, 7.824",\
                 "0.4159, 0.6048, 1.154, 1.945, 2.882, 3.92, 5.032, 6.207, 7.447, 8.745");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.0023, 0.006862, 0.01558, 0.02915, 0.0482, 0.07326, 0.1048, 0.1434, 0.1893");
          values("0.2212, 0.2691, 0.4355, 0.7509, 1.241, 1.93, 2.834, 3.975, 5.368, 7.026",\
                 "0.2505, 0.3005, 0.4699, 0.7876, 1.28, 1.968, 2.873, 4.014, 5.408, 7.066",\
                 "0.3671, 0.4167, 0.5879, 0.9096, 1.404, 2.094, 3.001, 4.142, 5.536, 7.195",\
                 "0.5762, 0.6408, 0.8252, 1.146, 1.643, 2.335, 3.242, 4.386, 5.78, 7.439",\
                 "0.8164, 0.9087, 1.164, 1.523, 2.02, 2.712, 3.622, 4.763, 6.158, 7.819",\
                 "1.084, 1.204, 1.54, 2.008, 2.551, 3.244, 4.154, 5.298, 6.694, 8.352",\
                 "1.377, 1.525, 1.946, 2.535, 3.208, 3.949, 4.858, 6.001, 7.396, 9.059",\
                 "1.699, 1.877, 2.384, 3.095, 3.913, 4.795, 5.747, 6.889, 8.286, 9.948",\
                 "2.051, 2.259, 2.851, 3.692, 4.662, 5.705, 6.798, 7.978, 9.372, 11.03",\
                 "2.437, 2.674, 3.353, 4.321, 5.445, 6.66, 7.931, 9.243, 10.67, 12.33");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.0023, 0.006862, 0.01558, 0.02915, 0.0482, 0.07326, 0.1048, 0.1434, 0.1893");
          values("0.2002, 0.2555, 0.4484, 0.8174, 1.392, 2.196, 3.256, 4.592, 6.219, 8.165",\
                 "0.2003, 0.2551, 0.4482, 0.8183, 1.393, 2.197, 3.256, 4.59, 6.22, 8.161",\
                 "0.2338, 0.2754, 0.4496, 0.8174, 1.392, 2.197, 3.255, 4.592, 6.221, 8.168",\
                 "0.3548, 0.4069, 0.5596, 0.8444, 1.392, 2.198, 3.257, 4.593, 6.221, 8.166",\
                 "0.4998, 0.568, 0.7604, 1.056, 1.48, 2.205, 3.258, 4.591, 6.221, 8.166",\
                 "0.659, 0.745, 0.9904, 1.345, 1.793, 2.376, 3.291, 4.593, 6.225, 8.163",\
                 "0.8314, 0.9354, 1.233, 1.666, 2.189, 2.799, 3.558, 4.679, 6.232, 8.168",\
                 "1.012, 1.142, 1.499, 2.005, 2.614, 3.321, 4.098, 5.05, 6.39, 8.196",\
                 "1.2, 1.35, 1.771, 2.365, 3.071, 3.862, 4.755, 5.714, 6.87, 8.442",\
                 "1.394, 1.568, 2.061, 2.743, 3.543, 4.444, 5.422, 6.502, 7.662, 9.042");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.0023, 0.006862, 0.01558, 0.02915, 0.0482, 0.07326, 0.1048, 0.1434, 0.1893");
          values("0.2843, 0.3656, 0.6483, 1.188, 2.028, 3.208, 4.762, 6.716, 9.107, 11.96",\
                 "0.284, 0.3639, 0.6475, 1.188, 2.028, 3.209, 4.762, 6.718, 9.104, 11.96",\
                 "0.289, 0.366, 0.6463, 1.187, 2.028, 3.208, 4.76, 6.719, 9.104, 11.96",\
                 "0.4114, 0.464, 0.6708, 1.188, 2.028, 3.208, 4.762, 6.715, 9.104, 11.95",\
                 "0.5932, 0.6646, 0.8682, 1.247, 2.03, 3.208, 4.76, 6.718, 9.107, 11.95",\
                 "0.7898, 0.8868, 1.151, 1.528, 2.125, 3.214, 4.759, 6.717, 9.104, 11.96",\
                 "0.9964, 1.12, 1.459, 1.924, 2.473, 3.342, 4.774, 6.717, 9.104, 11.95",\
                 "1.214, 1.362, 1.78, 2.345, 2.996, 3.753, 4.932, 6.739, 9.104, 11.95",\
                 "1.428, 1.613, 2.111, 2.791, 3.56, 4.393, 5.402, 6.926, 9.136, 11.95",\
                 "1.654, 1.865, 2.45, 3.252, 4.148, 5.112, 6.136, 7.44, 9.346, 12");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.0023, 0.006862, 0.01558, 0.02915, 0.0482, 0.07326, 0.1048, 0.1434, 0.1893");
          values("0.1871, 0.2199, 0.3338, 0.5512, 0.8898, 1.365, 1.99, 2.777, 3.738, 4.885",\
                 "0.2154, 0.2483, 0.3629, 0.5808, 0.9195, 1.394, 2.02, 2.808, 3.769, 4.912",\
                 "0.2928, 0.3278, 0.4441, 0.663, 1.003, 1.478, 2.103, 2.891, 3.852, 4.997",\
                 "0.3867, 0.4336, 0.5772, 0.8106, 1.152, 1.628, 2.254, 3.041, 4.002, 5.15",\
                 "0.4731, 0.5364, 0.7216, 1.005, 1.379, 1.859, 2.485, 3.274, 4.236, 5.381",\
                 "0.537, 0.6201, 0.8588, 1.207, 1.644, 2.173, 2.81, 3.599, 4.562, 5.708",\
                 "0.5725, 0.6772, 0.9751, 1.403, 1.919, 2.521, 3.218, 4.026, 4.991, 6.137",\
                 "0.5757, 0.7031, 1.065, 1.58, 2.191, 2.879, 3.656, 4.534, 5.526, 6.677",\
                 "0.5442, 0.6953, 1.125, 1.731, 2.445, 3.236, 4.106, 5.07, 6.141, 7.329",\
                 "0.4787, 0.6527, 1.15, 1.854, 2.678, 3.581, 4.559, 5.62, 6.781, 8.056");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.0023, 0.006862, 0.01558, 0.02915, 0.0482, 0.07326, 0.1048, 0.1434, 0.1893");
          values("0.286, 0.3343, 0.5017, 0.8184, 1.31, 1.998, 2.903, 4.043, 5.435, 7.093",\
                 "0.3161, 0.365, 0.5334, 0.8508, 1.343, 2.031, 2.936, 4.076, 5.468, 7.126",\
                 "0.4363, 0.4856, 0.6556, 0.9749, 1.468, 2.157, 3.063, 4.204, 5.595, 7.253",\
                 "0.6689, 0.7237, 0.8965, 1.216, 1.71, 2.401, 3.307, 4.448, 5.839, 7.498",\
                 "0.9533, 1.031, 1.257, 1.596, 2.09, 2.781, 3.688, 4.829, 6.221, 7.88",\
                 "1.266, 1.368, 1.666, 2.1, 2.625, 3.317, 4.223, 5.364, 6.756, 8.416",\
                 "1.607, 1.734, 2.107, 2.653, 3.297, 4.024, 4.93, 6.072, 7.463, 9.123",\
                 "1.977, 2.129, 2.58, 3.241, 4.025, 4.881, 5.823, 6.962, 8.355, 10.01",\
                 "2.378, 2.556, 3.085, 3.866, 4.793, 5.808, 6.881, 8.051, 9.445, 11.1",\
                 "2.814, 3.017, 3.622, 4.525, 5.602, 6.782, 8.029, 9.324, 10.74, 12.4");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.0023, 0.006862, 0.01558, 0.02915, 0.0482, 0.07326, 0.1048, 0.1434, 0.1893");
          values("0.2, 0.2553, 0.4498, 0.8181, 1.393, 2.196, 3.258, 4.591, 6.222, 8.162",\
                 "0.2006, 0.256, 0.4497, 0.8188, 1.392, 2.196, 3.255, 4.589, 6.218, 8.168",\
                 "0.2181, 0.266, 0.4498, 0.8183, 1.393, 2.197, 3.256, 4.592, 6.22, 8.167",\
                 "0.296, 0.3471, 0.517, 0.8374, 1.393, 2.198, 3.257, 4.59, 6.223, 8.162",\
                 "0.4082, 0.4654, 0.6478, 0.9686, 1.455, 2.205, 3.258, 4.591, 6.219, 8.164",\
                 "0.5454, 0.6142, 0.8192, 1.157, 1.651, 2.326, 3.29, 4.593, 6.222, 8.165",\
                 "0.7012, 0.7826, 1.023, 1.394, 1.907, 2.593, 3.478, 4.67, 6.233, 8.165",\
                 "0.8722, 0.9694, 1.249, 1.669, 2.223, 2.919, 3.813, 4.928, 6.368, 8.198",\
                 "1.051, 1.167, 1.494, 1.972, 2.569, 3.303, 4.221, 5.341, 6.697, 8.4",\
                 "1.239, 1.37, 1.755, 2.296, 2.958, 3.746, 4.68, 5.83, 7.194, 8.806");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.0023, 0.006862, 0.01558, 0.02915, 0.0482, 0.07326, 0.1048, 0.1434, 0.1893");
          values("0.3479, 0.4283, 0.711, 1.251, 2.091, 3.27, 4.82, 6.77, 9.154, 12",\
                 "0.3476, 0.4285, 0.711, 1.251, 2.091, 3.27, 4.819, 6.772, 9.156, 12",\
                 "0.3478, 0.4283, 0.7111, 1.251, 2.091, 3.269, 4.819, 6.772, 9.156, 12",\
                 "0.4218, 0.4814, 0.7204, 1.25, 2.091, 3.269, 4.82, 6.772, 9.158, 12",\
                 "0.6016, 0.672, 0.8768, 1.29, 2.092, 3.27, 4.819, 6.773, 9.157, 12",\
                 "0.8002, 0.893, 1.158, 1.536, 2.167, 3.275, 4.82, 6.773, 9.156, 12",\
                 "1.011, 1.13, 1.462, 1.927, 2.488, 3.385, 4.833, 6.772, 9.157, 12",\
                 "1.232, 1.378, 1.785, 2.347, 3.003, 3.773, 4.976, 6.794, 9.156, 12",\
                 "1.455, 1.629, 2.121, 2.799, 3.562, 4.4, 5.42, 6.972, 9.194, 12",\
                 "1.685, 1.889, 2.466, 3.256, 4.152, 5.116, 6.14, 7.474, 9.406, 12.05");
        }
      }
    }
  }