/*
 * 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 : "2.354022e-05" ;
    }

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

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

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

    leakage_power() {
      related_pg_pin : "VDD" ;
      value : "4.50351e-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.0171 ;
      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.02338, 0.02332, 0.0232, 0.02311, 0.0231, 0.02311, 0.02311, 0.02309, \
                  0.0231, 0.02305");
        }

        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.01588, -0.01585, -0.01582, -0.01582, -0.01585, -0.01589, -0.01589, \
                  -0.01589, -0.01593, -0.01593");
        }
      }
    }

    pin(A2) {
      capacitance : 0.01724 ;
      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.02189, 0.02056, 0.02013, 0.02007, 0.02005, 0.02008, 0.02009, \
                  0.02009, 0.02007, 0.02005");
        }

        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.02014, -0.02012, -0.02003, -0.01999, -0.02, -0.02, -0.01999, \
                  -0.01995, -0.01998, -0.01996");
        }
      }
    }

    pin(ZN) {
      direction : output ;
      function : "((!A1)|(!A2))" ;
      max_capacitance : 0.8652 ;
      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.006965, 0.0279, 0.06789, 0.1302, 0.2176, 0.3326, 0.4775, 0.6544, 0.8652");
          values("0.005042, 0.005265, 0.005483, 0.005648, 0.005659, 0.005714, 0.005727, 0.005733, 0.005719, 0.005726",\
                 "0.003861, 0.004289, 0.00493, 0.00534, 0.005491, 0.005591, 0.005666, 0.005699, 0.005703, 0.005706",\
                 "0.00226, 0.002776, 0.003773, 0.004557, 0.005006, 0.005273, 0.005423, 0.005519, 0.005571, 0.005604",\
                 "0.002323, 0.002496, 0.003124, 0.003886, 0.004521, 0.004911, 0.005162, 0.005302, 0.005431, 0.005508",\
                 "0.004698, 0.004319, 0.004063, 0.004171, 0.004523, 0.004822, 0.005043, 0.005211, 0.005316, 0.005423",\
                 "0.009279, 0.008521, 0.007046, 0.006029, 0.005607, 0.005556, 0.005519, 0.005529, 0.005554, 0.005593",\
                 "0.01628, 0.01501, 0.01238, 0.009903, 0.008359, 0.007378, 0.006855, 0.006524, 0.006348, 0.006204",\
                 "0.02581, 0.02406, 0.02006, 0.01602, 0.01299, 0.01096, 0.009575, 0.008652, 0.007989, 0.007499",\
                 "0.03804, 0.0358, 0.03044, 0.02483, 0.01999, 0.01646, 0.01396, 0.01215, 0.01078, 0.00979",\
                 "0.05299, 0.05034, 0.04369, 0.03615, 0.02955, 0.02422, 0.02026, 0.01729, 0.01512, 0.01337");
        }

        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.006965, 0.0279, 0.06789, 0.1302, 0.2176, 0.3326, 0.4775, 0.6544, 0.8652");
          values("0.06137, 0.06211, 0.06324, 0.06388, 0.06422, 0.06472, 0.06527, 0.06581, 0.06684, 0.06789",\
                 "0.05915, 0.06036, 0.06224, 0.06347, 0.06418, 0.06496, 0.06579, 0.06656, 0.06763, 0.06869",\
                 "0.05721, 0.05785, 0.05962, 0.06139, 0.06296, 0.06422, 0.06527, 0.06603, 0.06664, 0.06869",\
                 "0.05788, 0.05789, 0.05871, 0.0598, 0.06161, 0.06296, 0.06426, 0.06559, 0.06645, 0.0671",\
                 "0.061, 0.06058, 0.0599, 0.06008, 0.06068, 0.06189, 0.06311, 0.06454, 0.06585, 0.06671",\
                 "0.06639, 0.06536, 0.06345, 0.0623, 0.06191, 0.06246, 0.06327, 0.06413, 0.06605, 0.06611",\
                 "0.0742, 0.07273, 0.0697, 0.06685, 0.06531, 0.0645, 0.06442, 0.0645, 0.06664, 0.06705",\
                 "0.08488, 0.08279, 0.0782, 0.07361, 0.07038, 0.06882, 0.06729, 0.06737, 0.06783, 0.06739",\
                 "0.09833, 0.09565, 0.08964, 0.08333, 0.0782, 0.07464, 0.07232, 0.07072, 0.07007, 0.07139",\
                 "0.1151, 0.1117, 0.1042, 0.09628, 0.08923, 0.08303, 0.07963, 0.07747, 0.07482, 0.07571");
        }
      }

      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.006965, 0.0279, 0.06789, 0.1302, 0.2176, 0.3326, 0.4775, 0.6544, 0.8652");
          values("0.005144, 0.005323, 0.005541, 0.005642, 0.005689, 0.005709, 0.005723, 0.005727, 0.005737, 0.005752",\
                 "0.004141, 0.004548, 0.005101, 0.005384, 0.005537, 0.005615, 0.005659, 0.005681, 0.0057, 0.005719",\
                 "0.002283, 0.002825, 0.003865, 0.00464, 0.005072, 0.005316, 0.005456, 0.005532, 0.005579, 0.005623",\
                 "0.001538, 0.00187, 0.002798, 0.003762, 0.004433, 0.004858, 0.005119, 0.005293, 0.005401, 0.005474",\
                 "0.002637, 0.00266, 0.002931, 0.003559, 0.00416, 0.004604, 0.004913, 0.005132, 0.005276, 0.005385",\
                 "0.006008, 0.005567, 0.004901, 0.004652, 0.004747, 0.004942, 0.005113, 0.005251, 0.005367, 0.005433",\
                 "0.01184, 0.0109, 0.009082, 0.007567, 0.006744, 0.006302, 0.006121, 0.005983, 0.005901, 0.005857",\
                 "0.0203, 0.01888, 0.01572, 0.01272, 0.01053, 0.009185, 0.008245, 0.007671, 0.007253, 0.006933",\
                 "0.03156, 0.02962, 0.02503, 0.02031, 0.01654, 0.01391, 0.01203, 0.01064, 0.009632, 0.008873",\
                 "0.04559, 0.04316, 0.03717, 0.03056, 0.02506, 0.02072, 0.01755, 0.01513, 0.0134, 0.01197");
        }

        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.006965, 0.0279, 0.06789, 0.1302, 0.2176, 0.3326, 0.4775, 0.6544, 0.8652");
          values("0.08135, 0.08141, 0.08162, 0.08182, 0.082, 0.0826, 0.08303, 0.08359, 0.08421, 0.08546",\
                 "0.0797, 0.07999, 0.08058, 0.08091, 0.08133, 0.08201, 0.0825, 0.08308, 0.08421, 0.08467",\
                 "0.07798, 0.07828, 0.07909, 0.07982, 0.08052, 0.08139, 0.08189, 0.0827, 0.08361, 0.08427",\
                 "0.07841, 0.07848, 0.07871, 0.07917, 0.07985, 0.08086, 0.08153, 0.08219, 0.08302, 0.08447",\
                 "0.08125, 0.08082, 0.08017, 0.07992, 0.08018, 0.0808, 0.08165, 0.08238, 0.08342, 0.08407",\
                 "0.08633, 0.08561, 0.08373, 0.08256, 0.08165, 0.08169, 0.082, 0.08232, 0.08381, 0.08382",\
                 "0.09388, 0.09278, 0.09, 0.08715, 0.08541, 0.08428, 0.08406, 0.08401, 0.08441, 0.08481",\
                 "0.104, 0.1026, 0.09881, 0.09446, 0.09099, 0.08886, 0.08719, 0.08672, 0.08678, 0.08708",\
                 "0.117, 0.1152, 0.1105, 0.1047, 0.09921, 0.09537, 0.09281, 0.09078, 0.08962, 0.08974",\
                 "0.1331, 0.131, 0.125, 0.1177, 0.1105, 0.1045, 0.1008, 0.09767, 0.09496, 0.09545");
        }
      }

      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.006965, 0.0279, 0.06789, 0.1302, 0.2176, 0.3326, 0.4775, 0.6544, 0.8652");
          values("0.0732, 0.09286, 0.1609, 0.2904, 0.4911, 0.7731, 1.144, 1.613, 2.183, 2.864",\
                 "0.08402, 0.1039, 0.1726, 0.3025, 0.5033, 0.7853, 1.157, 1.625, 2.196, 2.873",\
                 "0.1161, 0.1425, 0.2163, 0.3464, 0.5482, 0.8305, 1.202, 1.67, 2.241, 2.919",\
                 "0.1371, 0.1756, 0.2818, 0.4321, 0.6344, 0.9169, 1.288, 1.755, 2.327, 3.007",\
                 "0.1424, 0.1923, 0.3323, 0.5308, 0.768, 1.052, 1.423, 1.891, 2.462, 3.141",\
                 "0.1317, 0.1926, 0.3643, 0.6113, 0.9064, 1.238, 1.615, 2.081, 2.651, 3.33",\
                 "0.1035, 0.1755, 0.3777, 0.6713, 1.026, 1.423, 1.857, 2.335, 2.903, 3.583",\
                 "0.0551, 0.1383, 0.3719, 0.7095, 1.122, 1.586, 2.093, 2.637, 3.223, 3.901",\
                 "-0.0151, 0.0804, 0.3448, 0.7262, 1.193, 1.726, 2.306, 2.927, 3.588, 4.292",\
                 "-0.1084, -0.0003, 0.2966, 0.7239, 1.244, 1.841, 2.494, 3.195, 3.938, 4.721");
        }

        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.006965, 0.0279, 0.06789, 0.1302, 0.2176, 0.3326, 0.4775, 0.6544, 0.8652");
          values("0.09176, 0.1199, 0.2148, 0.3937, 0.6707, 1.059, 1.57, 2.214, 2.996, 3.934",\
                 "0.1057, 0.1343, 0.2312, 0.4114, 0.6891, 1.077, 1.589, 2.23, 3.017, 3.953",\
                 "0.1637, 0.1936, 0.2903, 0.472, 0.7511, 1.141, 1.651, 2.295, 3.083, 4.017",\
                 "0.2452, 0.2897, 0.4094, 0.5916, 0.8714, 1.261, 1.774, 2.419, 3.203, 4.143",\
                 "0.34, 0.3982, 0.5589, 0.7807, 1.062, 1.451, 1.964, 2.608, 3.394, 4.334",\
                 "0.4511, 0.5215, 0.7216, 1.003, 1.33, 1.722, 2.233, 2.878, 3.662, 4.599",\
                 "0.5814, 0.6645, 0.8989, 1.239, 1.639, 2.078, 2.591, 3.235, 4.02, 4.956",\
                 "0.7322, 0.828, 1.097, 1.49, 1.962, 2.483, 3.041, 3.686, 4.469, 5.407",\
                 "0.9041, 1.013, 1.314, 1.76, 2.301, 2.905, 3.552, 4.236, 5.021, 5.955",\
                 "1.098, 1.219, 1.56, 2.052, 2.66, 3.344, 4.082, 4.859, 5.68, 6.614");
        }

        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.006965, 0.0279, 0.06789, 0.1302, 0.2176, 0.3326, 0.4775, 0.6544, 0.8652");
          values("0.08155, 0.1146, 0.2297, 0.4498, 0.7928, 1.274, 1.904, 2.701, 3.678, 4.829",\
                 "0.08132, 0.1142, 0.2294, 0.45, 0.7937, 1.272, 1.905, 2.701, 3.674, 4.828",\
                 "0.1136, 0.1415, 0.2336, 0.4488, 0.7915, 1.272, 1.905, 2.703, 3.674, 4.828",\
                 "0.1696, 0.2073, 0.3114, 0.4781, 0.7925, 1.273, 1.904, 2.703, 3.672, 4.826",\
                 "0.2314, 0.2805, 0.4163, 0.609, 0.863, 1.281, 1.904, 2.699, 3.676, 4.832",\
                 "0.2988, 0.3588, 0.5274, 0.7648, 1.052, 1.404, 1.933, 2.7, 3.671, 4.829",\
                 "0.3754, 0.4452, 0.6438, 0.9302, 1.269, 1.657, 2.117, 2.768, 3.679, 4.83",\
                 "0.461, 0.5404, 0.7676, 1.101, 1.499, 1.943, 2.44, 3.017, 3.799, 4.851",\
                 "0.5572, 0.6472, 0.9012, 1.277, 1.734, 2.244, 2.799, 3.412, 4.112, 5.035",\
                 "0.6618, 0.7622, 1.044, 1.46, 1.974, 2.552, 3.182, 3.85, 4.584, 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.006965, 0.0279, 0.06789, 0.1302, 0.2176, 0.3326, 0.4775, 0.6544, 0.8652");
          values("0.1084, 0.1541, 0.3148, 0.6221, 1.102, 1.77, 2.654, 3.768, 5.118, 6.739",\
                 "0.1084, 0.1544, 0.3155, 0.6218, 1.101, 1.772, 2.659, 3.764, 5.125, 6.744",\
                 "0.1291, 0.1627, 0.3148, 0.6215, 1.1, 1.772, 2.654, 3.761, 5.129, 6.745",\
                 "0.1982, 0.2387, 0.3521, 0.6234, 1.1, 1.771, 2.656, 3.771, 5.117, 6.751",\
                 "0.2688, 0.326, 0.4764, 0.69, 1.102, 1.771, 2.65, 3.769, 5.117, 6.752",\
                 "0.3418, 0.4134, 0.609, 0.8682, 1.2, 1.779, 2.653, 3.763, 5.125, 6.735",\
                 "0.4228, 0.5044, 0.7424, 1.067, 1.432, 1.903, 2.671, 3.758, 5.122, 6.747",\
                 "0.5114, 0.6046, 0.877, 1.267, 1.707, 2.185, 2.822, 3.793, 5.12, 6.731",\
                 "0.6076, 0.7136, 1.017, 1.467, 1.988, 2.543, 3.143, 3.974, 5.16, 6.737",\
                 "0.7136, 0.831, 1.166, 1.668, 2.27, 2.913, 3.587, 4.337, 5.372, 6.793");
        }
      }

      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.006965, 0.0279, 0.06789, 0.1302, 0.2176, 0.3326, 0.4775, 0.6544, 0.8652");
          values("0.08665, 0.1063, 0.1744, 0.3036, 0.5047, 0.7865, 1.158, 1.626, 2.197, 2.877",\
                 "0.09836, 0.1183, 0.1869, 0.3162, 0.5172, 0.7997, 1.171, 1.638, 2.21, 2.891",\
                 "0.1253, 0.1489, 0.2213, 0.3516, 0.5535, 0.8353, 1.206, 1.675, 2.245, 2.925",\
                 "0.1459, 0.1783, 0.2708, 0.4155, 0.6187, 0.9013, 1.273, 1.741, 2.312, 2.992",\
                 "0.1503, 0.1935, 0.3136, 0.4892, 0.7166, 1.004, 1.376, 1.844, 2.414, 3.097",\
                 "0.1365, 0.1907, 0.3406, 0.5556, 0.8201, 1.139, 1.52, 1.988, 2.56, 3.239",\
                 "0.1033, 0.1681, 0.3493, 0.606, 0.9163, 1.276, 1.694, 2.177, 2.749, 3.43",\
                 "0.0492, 0.1255, 0.3371, 0.6366, 0.997, 1.407, 1.869, 2.394, 2.987, 3.67",\
                 "-0.0271, 0.061, 0.3026, 0.646, 1.058, 1.523, 2.037, 2.61, 3.248, 3.959",\
                 "-0.1277, -0.0276, 0.2453, 0.6327, 1.095, 1.618, 2.193, 2.819, 3.508, 4.266");
        }

        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.006965, 0.0279, 0.06789, 0.1302, 0.2176, 0.3326, 0.4775, 0.6544, 0.8652");
          values("0.1245, 0.1521, 0.2468, 0.4254, 0.7023, 1.09, 1.6, 2.243, 3.027, 3.962",\
                 "0.1394, 0.1673, 0.263, 0.442, 0.7192, 1.107, 1.617, 2.26, 3.044, 3.979",\
                 "0.2005, 0.2285, 0.3244, 0.5043, 0.7822, 1.171, 1.681, 2.324, 3.108, 4.043",\
                 "0.3029, 0.3402, 0.4467, 0.6265, 0.9044, 1.293, 1.804, 2.447, 3.231, 4.166",\
                 "0.4188, 0.4682, 0.611, 0.8187, 1.097, 1.485, 1.996, 2.639, 3.423, 4.358",\
                 "0.5505, 0.6112, 0.7896, 1.053, 1.368, 1.758, 2.267, 2.909, 3.693, 4.627",\
                 "0.7022, 0.7722, 0.9842, 1.302, 1.687, 2.115, 2.627, 3.268, 4.051, 4.985",\
                 "0.8761, 0.9561, 1.198, 1.567, 2.021, 2.529, 3.079, 3.721, 4.503, 5.436",\
                 "1.074, 1.164, 1.435, 1.852, 2.372, 2.96, 3.596, 4.274, 5.057, 5.99",\
                 "1.297, 1.398, 1.698, 2.159, 2.742, 3.41, 4.134, 4.903, 5.718, 6.652");
        }

        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.006965, 0.0279, 0.06789, 0.1302, 0.2176, 0.3326, 0.4775, 0.6544, 0.8652");
          values("0.08124, 0.1144, 0.2297, 0.4503, 0.7932, 1.271, 1.904, 2.698, 3.677, 4.832",\
                 "0.08144, 0.1143, 0.23, 0.4499, 0.7914, 1.272, 1.905, 2.7, 3.67, 4.833",\
                 "0.1012, 0.1303, 0.2324, 0.4501, 0.7917, 1.273, 1.907, 2.705, 3.67, 4.828",\
                 "0.1467, 0.1783, 0.2811, 0.469, 0.7929, 1.271, 1.903, 2.7, 3.677, 4.84",\
                 "0.2059, 0.2439, 0.3574, 0.5506, 0.841, 1.28, 1.902, 2.701, 3.673, 4.832",\
                 "0.2744, 0.319, 0.452, 0.6622, 0.9582, 1.364, 1.932, 2.699, 3.673, 4.829",\
                 "0.3524, 0.403, 0.5568, 0.7924, 1.105, 1.519, 2.051, 2.758, 3.682, 4.828",\
                 "0.437, 0.4954, 0.67, 0.9384, 1.279, 1.708, 2.249, 2.918, 3.774, 4.859",\
                 "0.5306, 0.5956, 0.7922, 1.092, 1.469, 1.925, 2.48, 3.16, 3.976, 4.988",\
                 "0.6304, 0.7042, 0.9222, 1.256, 1.674, 2.166, 2.744, 3.438, 4.265, 5.237");
        }

        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.006965, 0.0279, 0.06789, 0.1302, 0.2176, 0.3326, 0.4775, 0.6544, 0.8652");
          values("0.1471, 0.1924, 0.3533, 0.6603, 1.137, 1.805, 2.685, 3.793, 5.142, 6.754",\
                 "0.147, 0.1924, 0.3532, 0.6595, 1.136, 1.806, 2.685, 3.794, 5.143, 6.756",\
                 "0.1516, 0.1938, 0.3535, 0.6595, 1.136, 1.806, 2.686, 3.792, 5.147, 6.755",\
                 "0.2189, 0.2568, 0.3757, 0.6598, 1.136, 1.806, 2.685, 3.794, 5.145, 6.758",\
                 "0.2985, 0.3512, 0.4922, 0.7132, 1.14, 1.805, 2.685, 3.793, 5.148, 6.761",\
                 "0.3778, 0.4452, 0.632, 0.8836, 1.225, 1.815, 2.685, 3.794, 5.146, 6.756",\
                 "0.4566, 0.5388, 0.77, 1.086, 1.447, 1.931, 2.704, 3.795, 5.148, 6.761",\
                 "0.542, 0.6364, 0.9068, 1.29, 1.725, 2.198, 2.85, 3.825, 5.148, 6.761",\
                 "0.6324, 0.7384, 1.044, 1.491, 2.009, 2.559, 3.162, 3.997, 5.194, 6.765",\
                 "0.7276, 0.848, 1.186, 1.691, 2.291, 2.931, 3.601, 4.355, 5.396, 6.827");
        }
      }
    }
  }