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

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

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

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

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

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

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

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

      internal_power() {
        when : "!A2" ;

        fall_power(pwr_tin_10) {
          index_1("0.02, 0.07922, 0.2871, 0.6841, 1.303, 2.17, 3.312, 4.751, 6.507, 8.6");
          values("0.06923, 0.06896, 0.06847, 0.06845, 0.0684, 0.06843, 0.06849, \
                 0.06846, 0.0684, 0.06847");
        }

        rise_power(pwr_tin_10) {
          index_1("0.02, 0.07922, 0.2871, 0.6841, 1.303, 2.17, 3.312, 4.751, 6.507, 8.6");
          values("-0.04545, -0.04531, -0.04532, -0.04539, -0.04532, -0.04549, -0.04555, \
                 -0.04561, -0.04549, -0.04567");
        }
      }
    }

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

      internal_power() {
        when : "!A1" ;

        fall_power(pwr_tin_10) {
          index_1("0.02, 0.07922, 0.2871, 0.6841, 1.303, 2.17, 3.312, 4.751, 6.507, 8.6");
          values("0.06739, 0.06253, 0.06071, 0.06035, 0.06028, 0.06036, 0.06038, \
                 0.06034, 0.06037, 0.06037");
        }

        rise_power(pwr_tin_10) {
          index_1("0.02, 0.07922, 0.2871, 0.6841, 1.303, 2.17, 3.312, 4.751, 6.507, 8.6");
          values("-0.06056, -0.06044, -0.06024, -0.0601, -0.0601, -0.06017, -0.06015, \
                 -0.06025, -0.0601, -0.06016");
        }
      }
    }

    pin(ZN) {
      direction : output ;
      function : "((!A1)|(!A2))" ;
      max_capacitance : 1.291 ;
      max_transition : 8.6 ;
      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.07922, 0.2871, 0.6841, 1.303, 2.17, 3.312, 4.751, 6.507, 8.6");
          index_2("0.001, 0.009906, 0.04117, 0.1009, 0.1939, 0.3244, 0.4961, 0.7124, 0.9765, 1.291");
          values("0.009297, 0.01039, 0.01151, 0.01199, 0.01217, 0.01228, 0.01238, 0.01238, 0.01238, 0.01241",\
                 "0.005928, 0.007513, 0.009833, 0.01108, 0.01162, 0.01198, 0.01214, 0.01221, 0.01226, 0.0124",\
                 "0.01136, 0.01105, 0.01114, 0.0116, 0.0119, 0.01212, 0.01223, 0.0123, 0.01235, 0.01238",\
                 "0.04029, 0.03564, 0.02802, 0.02255, 0.0192, 0.01712, 0.01583, 0.01488, 0.01433, 0.01388",\
                 "0.09721, 0.08795, 0.06915, 0.05319, 0.0415, 0.03352, 0.02807, 0.0243, 0.0216, 0.01967",\
                 "0.1835, 0.1705, 0.1401, 0.1102, 0.08625, 0.06856, 0.05558, 0.04611, 0.03899, 0.03369",\
                 "0.3009, 0.2848, 0.2438, 0.1982, 0.1591, 0.128, 0.1042, 0.08577, 0.07167, 0.06066",\
                 "0.4515, 0.4327, 0.3826, 0.3212, 0.2648, 0.2175, 0.1795, 0.1492, 0.125, 0.1058",\
                 "0.6372, 0.6159, 0.5578, 0.482, 0.407, 0.3413, 0.2861, 0.2407, 0.2037, 0.1735",\
                 "0.8594, 0.836, 0.7711, 0.6824, 0.5886, 0.5031, 0.4292, 0.3663, 0.3138, 0.2697");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.07922, 0.2871, 0.6841, 1.303, 2.17, 3.312, 4.751, 6.507, 8.6");
          index_2("0.001, 0.009906, 0.04117, 0.1009, 0.1939, 0.3244, 0.4961, 0.7124, 0.9765, 1.291");
          values("0.1808, 0.184, 0.1872, 0.1888, 0.1903, 0.1928, 0.1942, 0.1977, 0.2029, 0.2128",\
                 "0.1759, 0.179, 0.1843, 0.1881, 0.1906, 0.1935, 0.1952, 0.2007, 0.2016, 0.2147",\
                 "0.1849, 0.1842, 0.1842, 0.1864, 0.1888, 0.1922, 0.1968, 0.198, 0.2019, 0.2152",\
                 "0.2214, 0.2154, 0.2062, 0.1991, 0.197, 0.1975, 0.1991, 0.2013, 0.2032, 0.2158",\
                 "0.2873, 0.2771, 0.2555, 0.2384, 0.2245, 0.2163, 0.2127, 0.2109, 0.2137, 0.2212",\
                 "0.3852, 0.3713, 0.3391, 0.3052, 0.2801, 0.2595, 0.2453, 0.2363, 0.2339, 0.2431",\
                 "0.517, 0.4999, 0.4572, 0.4086, 0.3674, 0.3337, 0.3064, 0.287, 0.2715, 0.2846",\
                 "0.685, 0.6654, 0.614, 0.5511, 0.4907, 0.4423, 0.3991, 0.3665, 0.3387, 0.3549",\
                 "0.8921, 0.87, 0.8112, 0.7322, 0.6544, 0.5855, 0.5298, 0.4792, 0.4412, 0.4707",\
                 "1.139, 1.116, 1.05, 0.9583, 0.8636, 0.7736, 0.6968, 0.6355, 0.5865, 0.6605");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.07922, 0.2871, 0.6841, 1.303, 2.17, 3.312, 4.751, 6.507, 8.6");
          index_2("0.001, 0.009906, 0.04117, 0.1009, 0.1939, 0.3244, 0.4961, 0.7124, 0.9765, 1.291");
          values("0.009754, 0.01067, 0.01166, 0.01208, 0.01227, 0.01235, 0.0124, 0.01243, 0.0125, 0.01245",\
                 "0.005129, 0.006993, 0.009639, 0.01098, 0.01162, 0.01195, 0.01217, 0.01222, 0.01232, 0.01235",\
                 "0.005955, 0.00669, 0.008654, 0.01007, 0.01098, 0.01153, 0.01184, 0.01195, 0.0121, 0.01217",\
                 "0.0313, 0.02812, 0.02288, 0.01939, 0.01721, 0.01583, 0.0149, 0.01427, 0.01385, 0.01354",\
                 "0.0869, 0.07887, 0.06267, 0.0489, 0.03903, 0.03211, 0.02722, 0.02374, 0.02125, 0.01942",\
                 "0.1747, 0.1623, 0.1339, 0.1059, 0.08396, 0.06747, 0.0553, 0.04621, 0.03934, 0.03408",\
                 "0.2952, 0.2795, 0.2399, 0.1957, 0.1581, 0.1285, 0.1054, 0.0875, 0.07353, 0.06266",\
                 "0.4504, 0.4319, 0.3827, 0.3222, 0.2665, 0.2204, 0.1831, 0.1533, 0.1294, 0.1102",\
                 "0.6419, 0.621, 0.5632, 0.4879, 0.4128, 0.3478, 0.2936, 0.2489, 0.2121, 0.1818",\
                 "0.8719, 0.8488, 0.7837, 0.6946, 0.601, 0.5149, 0.4411, 0.3785, 0.3258, 0.2818");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.07922, 0.2871, 0.6841, 1.303, 2.17, 3.312, 4.751, 6.507, 8.6");
          index_2("0.001, 0.009906, 0.04117, 0.1009, 0.1939, 0.3244, 0.4961, 0.7124, 0.9765, 1.291");
          values("0.242, 0.2425, 0.2439, 0.2449, 0.2461, 0.2483, 0.251, 0.2538, 0.2574, 0.2705",\
                 "0.2375, 0.2386, 0.241, 0.2424, 0.2437, 0.2463, 0.2487, 0.2522, 0.2554, 0.2678",\
                 "0.2464, 0.2451, 0.2437, 0.2436, 0.2446, 0.2466, 0.249, 0.2529, 0.2567, 0.2687",\
                 "0.283, 0.2774, 0.2676, 0.2593, 0.2546, 0.2536, 0.2539, 0.2558, 0.2573, 0.2721",\
                 "0.3508, 0.3419, 0.3211, 0.3007, 0.2854, 0.2763, 0.2698, 0.2687, 0.2679, 0.2796",\
                 "0.4519, 0.4401, 0.4093, 0.3744, 0.3449, 0.3225, 0.3071, 0.2975, 0.2926, 0.3033",\
                 "0.5885, 0.5746, 0.5357, 0.4852, 0.4399, 0.4014, 0.3724, 0.3513, 0.3365, 0.3477",\
                 "0.7628, 0.7473, 0.7014, 0.6395, 0.5744, 0.5192, 0.4717, 0.4342, 0.4084, 0.4218",\
                 "0.9775, 0.9602, 0.9092, 0.8347, 0.7526, 0.6763, 0.6117, 0.5574, 0.5164, 0.5438",\
                 "1.235, 1.216, 1.16, 1.076, 0.9779, 0.8806, 0.7941, 0.7207, 0.6703, 0.7484");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.07922, 0.2871, 0.6841, 1.303, 2.17, 3.312, 4.751, 6.507, 8.6");
          index_2("0.001, 0.009906, 0.04117, 0.1009, 0.1939, 0.3244, 0.4961, 0.7124, 0.9765, 1.291");
          values("0.06852, 0.09526, 0.1875, 0.3626, 0.6356, 1.018, 1.521, 2.156, 2.928, 3.854",\
                 "0.07895, 0.106, 0.1988, 0.3745, 0.6474, 1.029, 1.534, 2.167, 2.941, 3.866",\
                 "0.1007, 0.1388, 0.2435, 0.4188, 0.6914, 1.074, 1.578, 2.21, 2.984, 3.91",\
                 "0.109, 0.1604, 0.3013, 0.5068, 0.7792, 1.16, 1.662, 2.296, 3.07, 3.991",\
                 "0.09921, 0.1652, 0.3421, 0.5977, 0.9163, 1.3, 1.801, 2.432, 3.205, 4.125",\
                 "0.0689, 0.1493, 0.3643, 0.6688, 1.047, 1.49, 1.999, 2.628, 3.397, 4.316",\
                 "0.0162, 0.111, 0.3639, 0.7193, 1.156, 1.668, 2.246, 2.891, 3.656, 4.572",\
                 "-0.0622, 0.0492, 0.339, 0.7476, 1.244, 1.819, 2.474, 3.198, 3.99, 4.902",\
                 "-0.1664, -0.0407, 0.2874, 0.7494, 1.307, 1.949, 2.674, 3.481, 4.36, 5.308",\
                 "-0.2995, -0.159, 0.2081, 0.722, 1.344, 2.054, 2.85, 3.734, 4.702, 5.744");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.07922, 0.2871, 0.6841, 1.303, 2.17, 3.312, 4.751, 6.507, 8.6");
          index_2("0.001, 0.009906, 0.04117, 0.1009, 0.1939, 0.3244, 0.4961, 0.7124, 0.9765, 1.291");
          values("0.07643, 0.1108, 0.2269, 0.4452, 0.7849, 1.261, 1.887, 2.673, 3.638, 4.784",\
                 "0.09157, 0.126, 0.2432, 0.463, 0.8023, 1.279, 1.905, 2.692, 3.658, 4.799",\
                 "0.1475, 0.189, 0.3072, 0.5259, 0.8663, 1.342, 1.968, 2.758, 3.722, 4.866",\
                 "0.225, 0.2794, 0.431, 0.6564, 0.9927, 1.467, 2.093, 2.88, 3.845, 4.989",\
                 "0.3232, 0.3929, 0.5788, 0.8543, 1.201, 1.671, 2.293, 3.078, 4.039, 5.185",\
                 "0.4417, 0.5282, 0.7529, 1.076, 1.484, 1.965, 2.58, 3.363, 4.319, 5.463",\
                 "0.5817, 0.6846, 0.9533, 1.326, 1.792, 2.343, 2.971, 3.744, 4.696, 5.838",\
                 "0.7452, 0.8657, 1.178, 1.606, 2.128, 2.749, 3.451, 4.237, 5.181, 6.313",\
                 "0.9345, 1.071, 1.429, 1.915, 2.499, 3.181, 3.965, 4.828, 5.784, 6.908",\
                 "1.15, 1.304, 1.706, 2.252, 2.903, 3.649, 4.504, 5.457, 6.491, 7.628");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.07922, 0.2871, 0.6841, 1.303, 2.17, 3.312, 4.751, 6.507, 8.6");
          index_2("0.001, 0.009906, 0.04117, 0.1009, 0.1939, 0.3244, 0.4961, 0.7124, 0.9765, 1.291");
          values("0.07647, 0.1212, 0.2784, 0.5766, 1.044, 1.698, 2.557, 3.646, 4.961, 6.539",\
                 "0.07672, 0.1212, 0.2786, 0.5789, 1.042, 1.696, 2.56, 3.642, 4.965, 6.537",\
                 "0.1175, 0.1609, 0.2894, 0.5774, 1.044, 1.698, 2.561, 3.64, 4.964, 6.548",\
                 "0.1783, 0.2301, 0.384, 0.6239, 1.045, 1.697, 2.558, 3.644, 4.961, 6.541",\
                 "0.258, 0.3238, 0.5005, 0.7788, 1.147, 1.713, 2.555, 3.64, 4.965, 6.546",\
                 "0.352, 0.4336, 0.6468, 0.9542, 1.369, 1.881, 2.608, 3.641, 4.964, 6.544",\
                 "0.4592, 0.5584, 0.811, 1.159, 1.615, 2.181, 2.848, 3.748, 4.976, 6.54",\
                 "0.5792, 0.6964, 0.9958, 1.396, 1.887, 2.504, 3.229, 4.067, 5.153, 6.587",\
                 "0.7154, 0.8508, 1.195, 1.653, 2.202, 2.85, 3.635, 4.534, 5.557, 6.844",\
                 "0.863, 1.022, 1.411, 1.931, 2.536, 3.234, 4.068, 5.034, 6.113, 7.327");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.07922, 0.2871, 0.6841, 1.303, 2.17, 3.312, 4.751, 6.507, 8.6");
          index_2("0.001, 0.009906, 0.04117, 0.1009, 0.1939, 0.3244, 0.4961, 0.7124, 0.9765, 1.291");
          values("0.0945, 0.1516, 0.3526, 0.7364, 1.334, 2.174, 3.278, 4.675, 6.366, 8.387",\
                 "0.0945, 0.1517, 0.3524, 0.7366, 1.335, 2.175, 3.276, 4.663, 6.371, 8.385",\
                 "0.1334, 0.1811, 0.3534, 0.7359, 1.334, 2.173, 3.275, 4.67, 6.365, 8.384",\
                 "0.1949, 0.2536, 0.4286, 0.7453, 1.333, 2.174, 3.275, 4.666, 6.369, 8.398",\
                 "0.2764, 0.3456, 0.549, 0.8672, 1.36, 2.171, 3.275, 4.664, 6.365, 8.388",\
                 "0.3698, 0.4566, 0.6878, 1.055, 1.53, 2.225, 3.274, 4.665, 6.362, 8.387",\
                 "0.4756, 0.582, 0.8524, 1.249, 1.791, 2.439, 3.356, 4.668, 6.363, 8.387",\
                 "0.5924, 0.719, 1.037, 1.477, 2.061, 2.784, 3.623, 4.783, 6.37, 8.377",\
                 "0.7212, 0.8694, 1.242, 1.731, 2.351, 3.139, 4.047, 5.104, 6.538, 8.407",\
                 "0.8666, 1.031, 1.455, 2.011, 2.678, 3.505, 4.499, 5.599, 6.906, 8.61");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.07922, 0.2871, 0.6841, 1.303, 2.17, 3.312, 4.751, 6.507, 8.6");
          index_2("0.001, 0.009906, 0.04117, 0.1009, 0.1939, 0.3244, 0.4961, 0.7124, 0.9765, 1.291");
          values("0.08241, 0.1092, 0.2011, 0.3763, 0.6494, 1.032, 1.534, 2.168, 2.945, 3.865",\
                 "0.09103, 0.1182, 0.2113, 0.3868, 0.6598, 1.042, 1.546, 2.18, 2.956, 3.875",\
                 "0.1035, 0.1373, 0.2382, 0.4143, 0.6875, 1.07, 1.574, 2.208, 2.984, 3.905",\
                 "0.1025, 0.1475, 0.2718, 0.4666, 0.7411, 1.123, 1.627, 2.26, 3.035, 3.958",\
                 "0.07906, 0.1376, 0.294, 0.5208, 0.8225, 1.209, 1.711, 2.344, 3.116, 4.039",\
                 "0.0308, 0.1024, 0.2937, 0.5635, 0.9017, 1.322, 1.834, 2.464, 3.235, 4.157",\
                 "-0.045, 0.0397, 0.2658, 0.5832, 0.9692, 1.429, 1.979, 2.628, 3.397, 4.314",\
                 "-0.1525, -0.0536, 0.2077, 0.5742, 1.015, 1.525, 2.117, 2.808, 3.603, 4.52",\
                 "-0.2925, -0.1801, 0.1168, 0.5327, 1.031, 1.601, 2.244, 2.979, 3.819, 4.77",\
                 "-0.4687, -0.3428, -0.008, 0.4557, 1.014, 1.646, 2.352, 3.139, 4.026, 5.025");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.07922, 0.2871, 0.6841, 1.303, 2.17, 3.312, 4.751, 6.507, 8.6");
          index_2("0.001, 0.009906, 0.04117, 0.1009, 0.1939, 0.3244, 0.4961, 0.7124, 0.9765, 1.291");
          values("0.1036, 0.1372, 0.2527, 0.4708, 0.8097, 1.285, 1.911, 2.697, 3.658, 4.811",\
                 "0.119, 0.1529, 0.269, 0.4873, 0.8265, 1.302, 1.927, 2.717, 3.675, 4.827",\
                 "0.184, 0.2203, 0.3348, 0.5521, 0.8908, 1.366, 1.992, 2.781, 3.741, 4.891",\
                 "0.2788, 0.3257, 0.4656, 0.6847, 1.02, 1.493, 2.118, 2.904, 3.866, 5.015",\
                 "0.4006, 0.4586, 0.6273, 0.8897, 1.23, 1.698, 2.317, 3.102, 4.063, 5.209",\
                 "0.5504, 0.6203, 0.8198, 1.125, 1.52, 1.995, 2.609, 3.388, 4.344, 5.488",\
                 "0.729, 0.8126, 1.046, 1.392, 1.842, 2.38, 3.002, 3.775, 4.725, 5.858",\
                 "0.9389, 1.036, 1.306, 1.698, 2.196, 2.8, 3.491, 4.271, 5.213, 6.343",\
                 "1.181, 1.292, 1.6, 2.042, 2.591, 3.25, 4.018, 4.87, 5.82, 6.94",\
                 "1.46, 1.584, 1.93, 2.424, 3.03, 3.745, 4.576, 5.515, 6.536, 7.667");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.07922, 0.2871, 0.6841, 1.303, 2.17, 3.312, 4.751, 6.507, 8.6");
          index_2("0.001, 0.009906, 0.04117, 0.1009, 0.1939, 0.3244, 0.4961, 0.7124, 0.9765, 1.291");
          values("0.0766, 0.1215, 0.2784, 0.5766, 1.045, 1.698, 2.555, 3.638, 4.969, 6.539",\
                 "0.07686, 0.1214, 0.2787, 0.5766, 1.043, 1.695, 2.56, 3.64, 4.971, 6.537",\
                 "0.1084, 0.1488, 0.2867, 0.5777, 1.044, 1.697, 2.556, 3.641, 4.971, 6.537",\
                 "0.17, 0.2109, 0.3492, 0.6099, 1.046, 1.697, 2.556, 3.643, 4.97, 6.546",\
                 "0.2534, 0.3016, 0.4464, 0.7086, 1.115, 1.712, 2.56, 3.641, 4.962, 6.54",\
                 "0.3512, 0.4104, 0.5782, 0.8468, 1.253, 1.823, 2.6, 3.645, 4.96, 6.543",\
                 "0.4622, 0.5328, 0.7316, 1.027, 1.434, 2.006, 2.754, 3.729, 4.983, 6.541",\
                 "0.5856, 0.67, 0.9014, 1.236, 1.663, 2.231, 2.987, 3.928, 5.112, 6.589",\
                 "0.7184, 0.8182, 1.088, 1.466, 1.933, 2.512, 3.265, 4.211, 5.361, 6.761",\
                 "0.8626, 0.9798, 1.286, 1.716, 2.232, 2.845, 3.597, 4.544, 5.701, 7.069");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.07922, 0.2871, 0.6841, 1.303, 2.17, 3.312, 4.751, 6.507, 8.6");
          index_2("0.001, 0.009906, 0.04117, 0.1009, 0.1939, 0.3244, 0.4961, 0.7124, 0.9765, 1.291");
          values("0.1357, 0.1936, 0.3954, 0.78, 1.377, 2.214, 3.316, 4.698, 6.393, 8.423",\
                 "0.1358, 0.1937, 0.3953, 0.7796, 1.377, 2.213, 3.316, 4.706, 6.39, 8.418",\
                 "0.1649, 0.2102, 0.3955, 0.7793, 1.376, 2.213, 3.315, 4.704, 6.397, 8.418",\
                 "0.2289, 0.2882, 0.4577, 0.7854, 1.376, 2.214, 3.316, 4.702, 6.4, 8.42",\
                 "0.3096, 0.3774, 0.5816, 0.8966, 1.398, 2.213, 3.316, 4.705, 6.4, 8.418",\
                 "0.4036, 0.4854, 0.7156, 1.082, 1.558, 2.258, 3.317, 4.703, 6.4, 8.419",\
                 "0.5114, 0.6092, 0.8704, 1.272, 1.816, 2.468, 3.391, 4.709, 6.397, 8.42",\
                 "0.629, 0.7472, 1.05, 1.487, 2.079, 2.803, 3.651, 4.818, 6.411, 8.417",\
                 "0.758, 0.8956, 1.247, 1.73, 2.356, 3.15, 4.063, 5.131, 6.562, 8.447",\
                 "0.896, 1.055, 1.463, 1.998, 2.662, 3.503, 4.505, 5.613, 6.928, 8.642");
        }
      }
    }
  }