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

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

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

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

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

      internal_power() {
        when : "!A2" ;

        fall_power(pwr_tin_10) {
          index_1("0.02, 0.05437, 0.175, 0.4054, 0.7644, 1.268, 1.931, 2.766, 3.785, 5");
          values("0.03303, 0.03293, 0.03281, 0.0326, 0.03252, 0.03246, 0.03251, \
                  0.03251, 0.03247, 0.03251");
        }

        rise_power(pwr_tin_10) {
          index_1("0.02, 0.05437, 0.175, 0.4054, 0.7644, 1.268, 1.931, 2.766, 3.785, 5");
          values("-0.0225, -0.0225, -0.02248, -0.02245, -0.02245, -0.0224, -0.02249, \
                  -0.02249, -0.02247, -0.02247");
        }
      }
    }

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

      internal_power() {
        when : "!A1" ;

        fall_power(pwr_tin_10) {
          index_1("0.02, 0.05437, 0.175, 0.4054, 0.7644, 1.268, 1.931, 2.766, 3.785, 5");
          values("0.0314, 0.02992, 0.02908, 0.02895, 0.02893, 0.02884, 0.02873, \
                  0.02872, 0.02874, 0.02871");
        }

        rise_power(pwr_tin_10) {
          index_1("0.02, 0.05437, 0.175, 0.4054, 0.7644, 1.268, 1.931, 2.766, 3.785, 5");
          values("-0.02906, -0.02904, -0.02895, -0.02886, -0.02886, -0.02874, -0.02881, \
                  -0.02867, -0.02867, -0.02868");
        }
      }
    }

    pin(ZN) {
      direction : output ;
      function : "((!A1)|(!A2))" ;
      max_capacitance : 0.2261 ;
      max_transition : 5 ;
      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.05437, 0.175, 0.4054, 0.7644, 1.268, 1.931, 2.766, 3.785, 5");
          index_2("0.001, 0.002554, 0.008009, 0.01843, 0.03465, 0.05742, 0.08739, 0.1251, 0.1712, 0.2261");
          values("0.001502, 0.00187, 0.002423, 0.002758, 0.00297, 0.003042, 0.003079, 0.003108, 0.003127, 0.003128",\
                 "0.0003183, 0.0007551, 0.001648, 0.002315, 0.002683, 0.002845, 0.002955, 0.003022, 0.00308, 0.003109",\
                 "0.001239, 0.001277, 0.001676, 0.002179, 0.00254, 0.002751, 0.002919, 0.002995, 0.003065, 0.003094",\
                 "0.009973, 0.009099, 0.007319, 0.005907, 0.005053, 0.004506, 0.00414, 0.003885, 0.003709, 0.003594",\
                 "0.02877, 0.02671, 0.02183, 0.01706, 0.01333, 0.01067, 0.008832, 0.007489, 0.006523, 0.005829",\
                 "0.05829, 0.05504, 0.04687, 0.03771, 0.02996, 0.0239, 0.01934, 0.0159, 0.01332, 0.01136",\
                 "0.09914, 0.09502, 0.08375, 0.06993, 0.05714, 0.04644, 0.03798, 0.03133, 0.02614, 0.02204",\
                 "0.1519, 0.147, 0.133, 0.1145, 0.09619, 0.08012, 0.06668, 0.0557, 0.04693, 0.03969",\
                 "0.2173, 0.2116, 0.1953, 0.1725, 0.1484, 0.1263, 0.1071, 0.09105, 0.07741, 0.0662",\
                 "0.2958, 0.2896, 0.2711, 0.2444, 0.2149, 0.1864, 0.1608, 0.1387, 0.1196, 0.1034");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.05437, 0.175, 0.4054, 0.7644, 1.268, 1.931, 2.766, 3.785, 5");
          index_2("0.001, 0.002554, 0.008009, 0.01843, 0.03465, 0.05742, 0.08739, 0.1251, 0.1712, 0.2261");
          values("0.08712, 0.08804, 0.08951, 0.09021, 0.09075, 0.09081, 0.09079, 0.09081, 0.09012, 0.09072",\
                 "0.0858, 0.08683, 0.08868, 0.08944, 0.09044, 0.09085, 0.09102, 0.09122, 0.09035, 0.09027",\
                 "0.08742, 0.08794, 0.0883, 0.08886, 0.08913, 0.09004, 0.09075, 0.09108, 0.09102, 0.09027",\
                 "0.09919, 0.09804, 0.09516, 0.09345, 0.09255, 0.0922, 0.09201, 0.09135, 0.09174, 0.09072",\
                 "0.1217, 0.1193, 0.114, 0.1074, 0.1027, 0.0999, 0.09727, 0.09612, 0.09471, 0.09432",\
                 "0.1555, 0.1523, 0.1442, 0.1337, 0.1237, 0.1162, 0.1106, 0.1066, 0.1036, 0.09972",\
                 "0.2017, 0.1976, 0.1864, 0.172, 0.1573, 0.1445, 0.1344, 0.126, 0.12, 0.1141",\
                 "0.2605, 0.2557, 0.2423, 0.2241, 0.205, 0.1872, 0.1697, 0.1563, 0.1462, 0.1362",\
                 "0.3329, 0.3278, 0.3123, 0.2901, 0.2658, 0.2426, 0.2202, 0.201, 0.1841, 0.1699",\
                 "0.4198, 0.4139, 0.3968, 0.3715, 0.3427, 0.3136, 0.2859, 0.2602, 0.237, 0.2176");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.05437, 0.175, 0.4054, 0.7644, 1.268, 1.931, 2.766, 3.785, 5");
          index_2("0.001, 0.002554, 0.008009, 0.01843, 0.03465, 0.05742, 0.08739, 0.1251, 0.1712, 0.2261");
          values("0.001821, 0.002083, 0.002589, 0.002875, 0.003016, 0.003088, 0.003129, 0.003144, 0.003157, 0.00317",\
                 "5.097e-05, 0.000638, 0.001669, 0.002307, 0.002673, 0.002865, 0.002961, 0.00306, 0.003088, 0.003117",\
                 "-0.0006651, -0.0003182, 0.0006857, 0.001555, 0.002125, 0.0025, 0.002733, 0.002856, 0.002924, 0.00298",\
                 "0.006634, 0.006105, 0.005205, 0.004475, 0.004058, 0.003845, 0.003682, 0.003565, 0.003479, 0.003419",\
                 "0.0249, 0.02315, 0.01902, 0.0151, 0.01203, 0.009853, 0.008277, 0.007135, 0.006266, 0.005631",\
                 "0.05506, 0.05198, 0.04441, 0.03602, 0.02887, 0.02333, 0.01907, 0.01583, 0.01334, 0.01144",\
                 "0.0974, 0.09332, 0.08234, 0.06898, 0.05672, 0.04656, 0.03843, 0.03195, 0.02679, 0.02272",\
                 "0.1524, 0.1475, 0.1336, 0.1153, 0.09729, 0.08152, 0.06833, 0.05753, 0.04878, 0.04155",\
                 "0.2207, 0.215, 0.1986, 0.1758, 0.1518, 0.1298, 0.1107, 0.09448, 0.08103, 0.06969",\
                 "0.3027, 0.2965, 0.2779, 0.251, 0.2212, 0.1926, 0.1669, 0.1447, 0.1255, 0.1091");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.05437, 0.175, 0.4054, 0.7644, 1.268, 1.931, 2.766, 3.785, 5");
          index_2("0.001, 0.002554, 0.008009, 0.01843, 0.03465, 0.05742, 0.08739, 0.1251, 0.1712, 0.2261");
          values("0.1149, 0.1151, 0.1152, 0.1151, 0.1151, 0.1149, 0.1147, 0.1145, 0.1141, 0.1136",\
                 "0.1134, 0.1137, 0.1141, 0.1143, 0.1144, 0.1143, 0.1141, 0.114, 0.1136, 0.1127",\
                 "0.1155, 0.1153, 0.1148, 0.1146, 0.1144, 0.1141, 0.114, 0.1138, 0.1134, 0.1127",\
                 "0.1279, 0.1266, 0.1233, 0.1204, 0.1184, 0.1171, 0.116, 0.1152, 0.1145, 0.1136",\
                 "0.1512, 0.149, 0.1436, 0.1359, 0.13, 0.126, 0.1222, 0.1198, 0.1185, 0.1167",\
                 "0.1867, 0.1838, 0.1752, 0.1645, 0.1533, 0.1441, 0.1376, 0.132, 0.1282, 0.1239",\
                 "0.235, 0.2315, 0.2207, 0.2056, 0.1901, 0.1747, 0.1626, 0.1539, 0.1462, 0.1397",\
                 "0.297, 0.2928, 0.2804, 0.2615, 0.2411, 0.221, 0.2022, 0.1869, 0.1745, 0.164",\
                 "0.3733, 0.3687, 0.3546, 0.3329, 0.307, 0.2818, 0.2568, 0.2351, 0.2162, 0.2004",\
                 "0.4646, 0.4597, 0.4446, 0.4204, 0.3903, 0.3584, 0.3275, 0.2989, 0.2727, 0.2499");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.05437, 0.175, 0.4054, 0.7644, 1.268, 1.931, 2.766, 3.785, 5");
          index_2("0.001, 0.002554, 0.008009, 0.01843, 0.03465, 0.05742, 0.08739, 0.1251, 0.1712, 0.2261");
          values("0.07098, 0.08793, 0.1466, 0.2578, 0.4305, 0.6727, 0.9915, 1.393, 1.883, 2.467",\
                 "0.0763, 0.09338, 0.1525, 0.264, 0.437, 0.6795, 0.998, 1.399, 1.889, 2.474",\
                 "0.09556, 0.1159, 0.1767, 0.288, 0.461, 0.7034, 1.022, 1.424, 1.914, 2.498",\
                 "0.1117, 0.138, 0.2168, 0.3381, 0.51, 0.7515, 1.07, 1.471, 1.961, 2.544",\
                 "0.1209, 0.154, 0.2502, 0.3989, 0.5898, 0.8302, 1.146, 1.547, 2.035, 2.619",\
                 "0.1207, 0.1606, 0.2766, 0.4508, 0.6755, 0.9426, 1.259, 1.657, 2.144, 2.726",\
                 "0.1095, 0.1567, 0.2931, 0.4955, 0.7504, 1.056, 1.406, 1.806, 2.291, 2.87",\
                 "0.0865, 0.1412, 0.2981, 0.529, 0.8178, 1.159, 1.552, 1.991, 2.481, 3.057",\
                 "0.0512, 0.113, 0.2901, 0.5511, 0.8747, 1.252, 1.684, 2.171, 2.705, 3.29",\
                 "0.0021, 0.0713, 0.2679, 0.5597, 0.9185, 1.335, 1.806, 2.337, 2.92, 3.554");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.05437, 0.175, 0.4054, 0.7644, 1.268, 1.931, 2.766, 3.785, 5");
          index_2("0.001, 0.002554, 0.008009, 0.01843, 0.03465, 0.05742, 0.08739, 0.1251, 0.1712, 0.2261");
          values("0.07538, 0.09561, 0.1644, 0.2936, 0.4936, 0.7735, 1.142, 1.606, 2.173, 2.848",\
                 "0.08313, 0.1034, 0.1725, 0.3024, 0.5031, 0.7833, 1.152, 1.617, 2.183, 2.859",\
                 "0.1179, 0.1389, 0.2068, 0.3363, 0.5363, 0.8176, 1.186, 1.651, 2.218, 2.893",\
                 "0.1693, 0.1966, 0.278, 0.4077, 0.6061, 0.8857, 1.254, 1.717, 2.284, 2.959",\
                 "0.2338, 0.2678, 0.3663, 0.5203, 0.7211, 0.9977, 1.363, 1.826, 2.391, 3.066",\
                 "0.3103, 0.3519, 0.4707, 0.6493, 0.8813, 1.161, 1.523, 1.982, 2.545, 3.218",\
                 "0.3983, 0.448, 0.5885, 0.7947, 1.058, 1.375, 1.741, 2.195, 2.755, 3.424",\
                 "0.4984, 0.5564, 0.7199, 0.9574, 1.252, 1.605, 2.011, 2.471, 3.025, 3.69",\
                 "0.6116, 0.6784, 0.8659, 1.135, 1.465, 1.853, 2.301, 2.803, 3.362, 4.021",\
                 "0.739, 0.8134, 1.025, 1.329, 1.697, 2.122, 2.608, 3.158, 3.76, 4.426");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.05437, 0.175, 0.4054, 0.7644, 1.268, 1.931, 2.766, 3.785, 5");
          index_2("0.001, 0.002554, 0.008009, 0.01843, 0.03465, 0.05742, 0.08739, 0.1251, 0.1712, 0.2261");
          values("0.08022, 0.1079, 0.2039, 0.3879, 0.674, 1.076, 1.604, 2.268, 3.08, 4.049",\
                 "0.07996, 0.1074, 0.2039, 0.3877, 0.674, 1.075, 1.603, 2.269, 3.08, 4.049",\
                 "0.1021, 0.1245, 0.2059, 0.3876, 0.674, 1.076, 1.604, 2.268, 3.08, 4.048",\
                 "0.1403, 0.1696, 0.257, 0.4045, 0.6741, 1.075, 1.603, 2.268, 3.081, 4.048",\
                 "0.1939, 0.2271, 0.3269, 0.4918, 0.7175, 1.08, 1.604, 2.269, 3.08, 4.048",\
                 "0.2565, 0.2969, 0.4141, 0.5948, 0.843, 1.158, 1.621, 2.268, 3.08, 4.047",\
                 "0.3272, 0.376, 0.5126, 0.7134, 0.9866, 1.326, 1.736, 2.308, 3.083, 4.048",\
                 "0.4034, 0.462, 0.6222, 0.8508, 1.142, 1.511, 1.948, 2.466, 3.156, 4.059",\
                 "0.4882, 0.554, 0.741, 1.001, 1.32, 1.713, 2.183, 2.728, 3.357, 4.171",\
                 "0.5802, 0.6554, 0.8668, 1.165, 1.518, 1.933, 2.433, 3.016, 3.671, 4.421");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.05437, 0.175, 0.4054, 0.7644, 1.268, 1.931, 2.766, 3.785, 5");
          index_2("0.001, 0.002554, 0.008009, 0.01843, 0.03465, 0.05742, 0.08739, 0.1251, 0.1712, 0.2261");
          values("0.09436, 0.1274, 0.2435, 0.4651, 0.8094, 1.292, 1.927, 2.727, 3.704, 4.868",\
                 "0.09422, 0.1272, 0.2425, 0.4644, 0.8094, 1.292, 1.927, 2.728, 3.703, 4.869",\
                 "0.1105, 0.1361, 0.2427, 0.4648, 0.8076, 1.292, 1.927, 2.728, 3.705, 4.869",\
                 "0.1509, 0.1831, 0.2783, 0.468, 0.8091, 1.291, 1.927, 2.726, 3.703, 4.868",\
                 "0.2037, 0.2388, 0.3504, 0.531, 0.8206, 1.291, 1.926, 2.727, 3.705, 4.87",\
                 "0.2668, 0.3092, 0.4316, 0.6362, 0.912, 1.317, 1.927, 2.727, 3.702, 4.869",\
                 "0.3364, 0.3876, 0.5308, 0.7498, 1.057, 1.438, 1.97, 2.73, 3.704, 4.869",\
                 "0.4108, 0.472, 0.643, 0.8832, 1.214, 1.628, 2.118, 2.794, 3.711, 4.867",\
                 "0.4904, 0.5626, 0.7582, 1.033, 1.377, 1.826, 2.354, 2.973, 3.799, 4.884",\
                 "0.5764, 0.6568, 0.8812, 1.194, 1.569, 2.036, 2.603, 3.25, 4.01, 4.997");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.05437, 0.175, 0.4054, 0.7644, 1.268, 1.931, 2.766, 3.785, 5");
          index_2("0.001, 0.002554, 0.008009, 0.01843, 0.03465, 0.05742, 0.08739, 0.1251, 0.1712, 0.2261");
          values("0.08421, 0.1011, 0.1598, 0.2708, 0.4436, 0.686, 1.004, 1.406, 1.896, 2.48",\
                 "0.08868, 0.1058, 0.165, 0.2765, 0.4495, 0.6919, 1.01, 1.412, 1.902, 2.486",\
                 "0.09926, 0.1182, 0.1789, 0.2907, 0.4639, 0.7064, 1.025, 1.427, 1.917, 2.501",\
                 "0.1076, 0.1309, 0.2015, 0.3191, 0.4919, 0.7338, 1.053, 1.454, 1.944, 2.528",\
                 "0.1073, 0.1366, 0.2223, 0.3549, 0.538, 0.7798, 1.097, 1.498, 1.987, 2.57",\
                 "0.09469, 0.1306, 0.2341, 0.3891, 0.5894, 0.8452, 1.164, 1.562, 2.05, 2.633",\
                 "0.0682, 0.1104, 0.2326, 0.4136, 0.6394, 0.9148, 1.25, 1.652, 2.137, 2.717",\
                 "0.027, 0.0754, 0.2158, 0.4236, 0.6813, 0.9829, 1.338, 1.759, 2.251, 2.83",\
                 "-0.0312, 0.024, 0.1823, 0.4182, 0.7078, 1.044, 1.427, 1.869, 2.382, 2.969",\
                 "-0.1076, -0.0453, 0.1324, 0.3948, 0.7185, 1.091, 1.509, 1.979, 2.513, 3.124");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.05437, 0.175, 0.4054, 0.7644, 1.268, 1.931, 2.766, 3.785, 5");
          index_2("0.001, 0.002554, 0.008009, 0.01843, 0.03465, 0.05742, 0.08739, 0.1251, 0.1712, 0.2261");
          values("0.09753, 0.1173, 0.1853, 0.314, 0.5137, 0.7937, 1.162, 1.626, 2.193, 2.868",\
                 "0.1056, 0.1254, 0.1938, 0.3228, 0.5228, 0.8029, 1.171, 1.636, 2.202, 2.878",\
                 "0.1425, 0.162, 0.2293, 0.3576, 0.5574, 0.8372, 1.205, 1.67, 2.236, 2.912",\
                 "0.205, 0.2292, 0.304, 0.4307, 0.6282, 0.9068, 1.274, 1.738, 2.304, 2.979",\
                 "0.2834, 0.3123, 0.4024, 0.5478, 0.7449, 1.02, 1.384, 1.846, 2.412, 3.085",\
                 "0.3782, 0.4133, 0.5183, 0.6865, 0.9103, 1.186, 1.547, 2.005, 2.568, 3.238",\
                 "0.4892, 0.5303, 0.6533, 0.8439, 1.096, 1.404, 1.766, 2.22, 2.778, 3.447",\
                 "0.6173, 0.6652, 0.807, 1.023, 1.302, 1.646, 2.043, 2.499, 3.051, 3.714",\
                 "0.7635, 0.8176, 0.9795, 1.224, 1.532, 1.905, 2.344, 2.837, 3.393, 4.05",\
                 "0.9282, 0.9891, 1.172, 1.445, 1.786, 2.191, 2.664, 3.203, 3.796, 4.456");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.05437, 0.175, 0.4054, 0.7644, 1.268, 1.931, 2.766, 3.785, 5");
          index_2("0.001, 0.002554, 0.008009, 0.01843, 0.03465, 0.05742, 0.08739, 0.1251, 0.1712, 0.2261");
          values("0.08014, 0.1076, 0.2038, 0.3878, 0.6741, 1.075, 1.603, 2.268, 3.08, 4.048",\
                 "0.0802, 0.1077, 0.2046, 0.388, 0.6739, 1.075, 1.604, 2.268, 3.08, 4.048",\
                 "0.09432, 0.1178, 0.2058, 0.3877, 0.674, 1.076, 1.603, 2.268, 3.081, 4.048",\
                 "0.1315, 0.1551, 0.2373, 0.3989, 0.6743, 1.076, 1.604, 2.268, 3.08, 4.048",\
                 "0.1878, 0.2132, 0.2943, 0.4509, 0.7017, 1.08, 1.605, 2.269, 3.08, 4.048",\
                 "0.255, 0.2855, 0.3765, 0.5314, 0.775, 1.127, 1.618, 2.27, 3.081, 4.048",\
                 "0.329, 0.3658, 0.473, 0.6406, 0.8798, 1.224, 1.686, 2.3, 3.086, 4.048",\
                 "0.4112, 0.4536, 0.58, 0.769, 1.017, 1.356, 1.807, 2.391, 3.135, 4.063",\
                 "0.5012, 0.5492, 0.6942, 0.9106, 1.183, 1.52, 1.965, 2.539, 3.251, 4.135",\
                 "0.5974, 0.653, 0.8184, 1.064, 1.364, 1.719, 2.16, 2.727, 3.428, 4.276");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.05437, 0.175, 0.4054, 0.7644, 1.268, 1.931, 2.766, 3.785, 5");
          index_2("0.001, 0.002554, 0.008009, 0.01843, 0.03465, 0.05742, 0.08739, 0.1251, 0.1712, 0.2261");
          values("0.1297, 0.1629, 0.2794, 0.5009, 0.8454, 1.328, 1.963, 2.762, 3.739, 4.902",\
                 "0.1295, 0.1631, 0.2796, 0.5009, 0.8453, 1.328, 1.963, 2.763, 3.739, 4.903",\
                 "0.1369, 0.1662, 0.2792, 0.5013, 0.8452, 1.328, 1.963, 2.762, 3.739, 4.902",\
                 "0.1809, 0.2113, 0.3052, 0.503, 0.8449, 1.328, 1.962, 2.762, 3.739, 4.902",\
                 "0.2333, 0.2682, 0.3785, 0.5575, 0.8538, 1.327, 1.962, 2.763, 3.739, 4.902",\
                 "0.297, 0.337, 0.4588, 0.663, 0.9374, 1.35, 1.963, 2.762, 3.738, 4.902",\
                 "0.3682, 0.4152, 0.5528, 0.7738, 1.082, 1.462, 2.001, 2.765, 3.738, 4.902",\
                 "0.4456, 0.5008, 0.66, 0.9004, 1.233, 1.648, 2.144, 2.824, 3.745, 4.901",\
                 "0.5286, 0.5944, 0.775, 1.046, 1.393, 1.842, 2.373, 2.997, 3.828, 4.917",\
                 "0.616, 0.691, 0.903, 1.2, 1.576, 2.044, 2.616, 3.263, 4.032, 5.023");
        }
      }
    }
  }