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

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

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

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

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

      internal_power() {
        when : "!A2" ;

        fall_power(pwr_tin_10) {
          index_1("0.02, 0.09579, 0.3618, 0.8698, 1.661, 2.772, 4.233, 6.074, 8.321, 11");
          values("0.02765, 0.02755, 0.02737, 0.02731, 0.02727, 0.02728, 0.02731, \
                  0.02731, 0.02733, 0.02733");
        }

        rise_power(pwr_tin_10) {
          index_1("0.02, 0.09579, 0.3618, 0.8698, 1.661, 2.772, 4.233, 6.074, 8.321, 11");
          values("-0.01956, -0.01952, -0.01951, -0.01949, -0.01953, -0.01956, -0.01958, \
                  -0.01959, -0.01961, -0.01965");
        }
      }
    }

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

      internal_power() {
        when : "!A1" ;

        fall_power(pwr_tin_10) {
          index_1("0.02, 0.09579, 0.3618, 0.8698, 1.661, 2.772, 4.233, 6.074, 8.321, 11");
          values("0.02591, 0.02418, 0.02405, 0.02392, 0.02392, 0.02395, 0.02396, \
                  0.02396, 0.02395, 0.02394");
        }

        rise_power(pwr_tin_10) {
          index_1("0.02, 0.09579, 0.3618, 0.8698, 1.661, 2.772, 4.233, 6.074, 8.321, 11");
          values("-0.0241, -0.02401, -0.02394, -0.02386, -0.02386, -0.02389, -0.02385, \
                  -0.02383, -0.02381, -0.02383");
        }
      }
    }

    pin(ZN) {
      direction : output ;
      function : "((!A1)|(!A2))" ;
      max_capacitance : 0.6484 ;
      max_transition : 11 ;
      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.09579, 0.3618, 0.8698, 1.661, 2.772, 4.233, 6.074, 8.321, 11");
          index_2("0.001, 0.005468, 0.02115, 0.0511, 0.09777, 0.1632, 0.2494, 0.3579, 0.4904, 0.6484");
          values("0.003761, 0.004097, 0.004367, 0.004496, 0.004555, 0.004585, 0.004589, 0.004604, 0.004613, 0.004613",\
                 "0.001855, 0.002605, 0.003593, 0.004097, 0.004325, 0.004444, 0.00451, 0.004553, 0.004572, 0.004584",\
                 "0.0005248, 0.001046, 0.002249, 0.003203, 0.003722, 0.004049, 0.004218, 0.004336, 0.004406, 0.004449",\
                 "0.003364, 0.003008, 0.002901, 0.003253, 0.003685, 0.003968, 0.004143, 0.004276, 0.004354, 0.00443",\
                 "0.01096, 0.009573, 0.007333, 0.00593, 0.005285, 0.004989, 0.004866, 0.00477, 0.004697, 0.004727",\
                 "0.02347, 0.0211, 0.01631, 0.01241, 0.009815, 0.008172, 0.007181, 0.006521, 0.006042, 0.005744",\
                 "0.0412, 0.03786, 0.03058, 0.0235, 0.01833, 0.01464, 0.0121, 0.01031, 0.009047, 0.008107",\
                 "0.06433, 0.06019, 0.05042, 0.03999, 0.03158, 0.02524, 0.0205, 0.01702, 0.01444, 0.0125",\
                 "0.09324, 0.08836, 0.07622, 0.06234, 0.05028, 0.04068, 0.0333, 0.0275, 0.0231, 0.01963",\
                 "0.1281, 0.1225, 0.1082, 0.09098, 0.07514, 0.0617, 0.05099, 0.04257, 0.03564, 0.03013");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.09579, 0.3618, 0.8698, 1.661, 2.772, 4.233, 6.074, 8.321, 11");
          index_2("0.001, 0.005468, 0.02115, 0.0511, 0.09777, 0.1632, 0.2494, 0.3579, 0.4904, 0.6484");
          values("0.07261, 0.07369, 0.07488, 0.07519, 0.07597, 0.07669, 0.07772, 0.07977, 0.08153, 0.09733",\
                 "0.06938, 0.07102, 0.07352, 0.07513, 0.0763, 0.07744, 0.07859, 0.07938, 0.08273, 0.09759",\
                 "0.06839, 0.06903, 0.07067, 0.07285, 0.07465, 0.07624, 0.07802, 0.07878, 0.08122, 0.09752",\
                 "0.07288, 0.07198, 0.07178, 0.07198, 0.07369, 0.07513, 0.07658, 0.07938, 0.08122, 0.1002",\
                 "0.08201, 0.08043, 0.07731, 0.07567, 0.07501, 0.07594, 0.07661, 0.07818, 0.08209, 0.1074",\
                 "0.09632, 0.09368, 0.08834, 0.08359, 0.08107, 0.07957, 0.07868, 0.07938, 0.08385, 0.1182",\
                 "0.1161, 0.1127, 0.1051, 0.09718, 0.0913, 0.08755, 0.08492, 0.0844, 0.08765, 0.1394",\
                 "0.1419, 0.1373, 0.1273, 0.1165, 0.1074, 0.1009, 0.09608, 0.09254, 0.1015, 0.1879",\
                 "0.1739, 0.1685, 0.156, 0.1423, 0.1296, 0.1187, 0.1114, 0.1066, 0.1279, 0.2912",\
                 "0.2125, 0.2066, 0.1916, 0.1745, 0.1578, 0.1429, 0.1329, 0.1308, 0.1973, 0.5301");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.09579, 0.3618, 0.8698, 1.661, 2.772, 4.233, 6.074, 8.321, 11");
          index_2("0.001, 0.005468, 0.02115, 0.0511, 0.09777, 0.1632, 0.2494, 0.3579, 0.4904, 0.6484");
          values("0.0039, 0.004181, 0.004401, 0.004515, 0.004554, 0.004586, 0.004594, 0.004591, 0.004609, 0.004616",\
                 "0.00212, 0.002829, 0.00373, 0.004152, 0.004351, 0.004448, 0.004506, 0.004534, 0.004558, 0.004568",\
                 "-8.547e-05, 0.0006539, 0.00213, 0.003165, 0.003751, 0.004058, 0.004232, 0.004344, 0.004415, 0.004456",\
                 "0.00139, 0.001453, 0.002006, 0.002757, 0.003388, 0.003757, 0.003984, 0.004163, 0.00426, 0.004343",\
                 "0.007709, 0.006844, 0.005493, 0.004829, 0.004648, 0.004578, 0.004573, 0.004586, 0.004573, 0.004581",\
                 "0.01939, 0.01745, 0.01364, 0.01063, 0.008695, 0.007496, 0.006705, 0.006191, 0.005837, 0.005565",\
                 "0.03666, 0.03366, 0.02719, 0.02112, 0.01679, 0.01362, 0.01144, 0.009879, 0.00876, 0.007915",\
                 "0.05964, 0.05576, 0.04656, 0.03707, 0.02952, 0.02387, 0.01964, 0.01649, 0.01411, 0.01227",\
                 "0.08849, 0.08372, 0.07206, 0.05898, 0.04773, 0.03901, 0.03219, 0.02681, 0.0227, 0.01943",\
                 "0.1234, 0.1179, 0.104, 0.08741, 0.07219, 0.05958, 0.04963, 0.04162, 0.03519, 0.02996");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.09579, 0.3618, 0.8698, 1.661, 2.772, 4.233, 6.074, 8.321, 11");
          index_2("0.001, 0.005468, 0.02115, 0.0511, 0.09777, 0.1632, 0.2494, 0.3579, 0.4904, 0.6484");
          values("0.09523, 0.09541, 0.09566, 0.09581, 0.09647, 0.09707, 0.09772, 0.0992, 0.1013, 0.1163",\
                 "0.09272, 0.09329, 0.0942, 0.09479, 0.09545, 0.09629, 0.09721, 0.0983, 0.1004, 0.1162",\
                 "0.09197, 0.09205, 0.09277, 0.09368, 0.09482, 0.09584, 0.09664, 0.0986, 0.1004, 0.1161",\
                 "0.09598, 0.09522, 0.09447, 0.09425, 0.0947, 0.09581, 0.09691, 0.098, 0.1004, 0.119",\
                 "0.1051, 0.1036, 0.1006, 0.09824, 0.09743, 0.09731, 0.09754, 0.0986, 0.101, 0.1247",\
                 "0.1194, 0.1172, 0.112, 0.1072, 0.1037, 0.1017, 0.1009, 0.1013, 0.104, 0.1379",\
                 "0.1394, 0.1366, 0.1293, 0.1211, 0.1152, 0.1107, 0.108, 0.1057, 0.1108, 0.1595",\
                 "0.1654, 0.1619, 0.1529, 0.1414, 0.1319, 0.1249, 0.1193, 0.1156, 0.1231, 0.2102",\
                 "0.1977, 0.1937, 0.1829, 0.1691, 0.1554, 0.1442, 0.136, 0.1305, 0.1504, 0.3174",\
                 "0.2367, 0.2322, 0.2198, 0.2032, 0.1859, 0.1699, 0.1581, 0.1557, 0.2245, 0.5592");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09579, 0.3618, 0.8698, 1.661, 2.772, 4.233, 6.074, 8.321, 11");
          index_2("0.001, 0.005468, 0.02115, 0.0511, 0.09777, 0.1632, 0.2494, 0.3579, 0.4904, 0.6484");
          values("0.0914, 0.1267, 0.2482, 0.4794, 0.8396, 1.345, 2.009, 2.847, 3.872, 5.088",\
                 "0.1083, 0.144, 0.2667, 0.4987, 0.8594, 1.365, 2.029, 2.869, 3.889, 5.109",\
                 "0.1516, 0.2021, 0.3365, 0.569, 0.93, 1.435, 2.102, 2.938, 3.965, 5.179",\
                 "0.1772, 0.2488, 0.4404, 0.706, 1.067, 1.573, 2.238, 3.077, 4.097, 5.318",\
                 "0.1845, 0.2755, 0.5219, 0.8686, 1.282, 1.788, 2.453, 3.29, 4.312, 5.533",\
                 "0.1689, 0.281, 0.5794, 1.004, 1.515, 2.09, 2.758, 3.593, 4.616, 5.832",\
                 "0.1286, 0.2617, 0.6149, 1.113, 1.718, 2.402, 3.152, 3.996, 5.016, 6.232",\
                 "0.061, 0.2156, 0.6238, 1.194, 1.89, 2.683, 3.552, 4.491, 5.524, 6.738",\
                 "-0.0373, 0.1401, 0.6046, 1.249, 2.032, 2.929, 3.92, 4.987, 6.125, 7.36",\
                 "-0.1685, 0.0319, 0.5525, 1.276, 2.143, 3.143, 4.252, 5.448, 6.723, 8.073");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09579, 0.3618, 0.8698, 1.661, 2.772, 4.233, 6.074, 8.321, 11");
          index_2("0.001, 0.005468, 0.02115, 0.0511, 0.09777, 0.1632, 0.2494, 0.3579, 0.4904, 0.6484");
          values("0.1043, 0.1499, 0.3039, 0.5947, 1.047, 1.682, 2.519, 3.571, 4.855, 6.391",\
                 "0.1258, 0.1723, 0.329, 0.6226, 1.077, 1.712, 2.548, 3.598, 4.888, 6.411",\
                 "0.2093, 0.2643, 0.422, 0.7165, 1.171, 1.808, 2.645, 3.696, 4.985, 6.518",\
                 "0.3161, 0.3952, 0.6035, 0.9027, 1.357, 1.994, 2.831, 3.881, 5.169, 6.697",\
                 "0.4457, 0.5455, 0.8183, 1.192, 1.653, 2.287, 3.124, 4.176, 5.463, 6.989",\
                 "0.603, 0.7232, 1.052, 1.519, 2.066, 2.707, 3.54, 4.587, 5.877, 7.409",\
                 "0.7875, 0.9314, 1.314, 1.865, 2.524, 3.254, 4.093, 5.14, 6.422, 7.953",\
                 "1.001, 1.169, 1.608, 2.237, 3.004, 3.862, 4.785, 5.839, 7.117, 8.645",\
                 "1.246, 1.437, 1.939, 2.64, 3.507, 4.491, 5.556, 6.688, 7.971, 9.495",\
                 "1.523, 1.739, 2.303, 3.083, 4.039, 5.143, 6.349, 7.632, 8.985, 10.51");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09579, 0.3618, 0.8698, 1.661, 2.772, 4.233, 6.074, 8.321, 11");
          index_2("0.001, 0.005468, 0.02115, 0.0511, 0.09777, 0.1632, 0.2494, 0.3579, 0.4904, 0.6484");
          values("0.09999, 0.1581, 0.3591, 0.7436, 1.342, 2.181, 3.286, 4.678, 6.378, 8.407",\
                 "0.0998, 0.1575, 0.3585, 0.7439, 1.342, 2.181, 3.286, 4.68, 6.381, 8.4",\
                 "0.154, 0.205, 0.3665, 0.7432, 1.342, 2.182, 3.286, 4.678, 6.377, 8.407",\
                 "0.2278, 0.3001, 0.4888, 0.783, 1.342, 2.182, 3.287, 4.68, 6.378, 8.403",\
                 "0.3134, 0.4024, 0.6482, 0.9876, 1.437, 2.189, 3.289, 4.679, 6.376, 8.403",\
                 "0.4112, 0.5198, 0.813, 1.234, 1.733, 2.357, 3.315, 4.682, 6.381, 8.405",\
                 "0.52, 0.6492, 0.9882, 1.484, 2.079, 2.75, 3.567, 4.754, 6.387, 8.412",\
                 "0.6402, 0.7896, 1.183, 1.742, 2.436, 3.208, 4.065, 5.095, 6.521, 8.426",\
                 "0.7728, 0.9426, 1.393, 2.018, 2.791, 3.683, 4.644, 5.7, 6.957, 8.636",\
                 "0.9164, 1.111, 1.618, 2.311, 3.16, 4.156, 5.242, 6.41, 7.676, 9.176");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09579, 0.3618, 0.8698, 1.661, 2.772, 4.233, 6.074, 8.321, 11");
          index_2("0.001, 0.005468, 0.02115, 0.0511, 0.09777, 0.1632, 0.2494, 0.3579, 0.4904, 0.6484");
          values("0.1253, 0.1988, 0.4602, 0.9585, 1.732, 2.818, 4.254, 6.063, 8.258, 10.9",\
                 "0.1247, 0.1992, 0.4597, 0.9579, 1.734, 2.825, 4.26, 6.049, 8.27, 10.88",\
                 "0.1747, 0.2269, 0.4593, 0.956, 1.733, 2.821, 4.258, 6.051, 8.267, 10.89",\
                 "0.259, 0.3391, 0.5396, 0.9592, 1.733, 2.818, 4.247, 6.058, 8.252, 10.87",\
                 "0.3446, 0.4506, 0.7254, 1.093, 1.744, 2.819, 4.25, 6.055, 8.266, 10.88",\
                 "0.4434, 0.5644, 0.911, 1.373, 1.923, 2.844, 4.248, 6.058, 8.261, 10.89",\
                 "0.5542, 0.6964, 1.092, 1.663, 2.301, 3.072, 4.292, 6.047, 8.257, 10.89",\
                 "0.6752, 0.839, 1.283, 1.946, 2.723, 3.536, 4.569, 6.113, 8.257, 10.87",\
                 "0.806, 0.9936, 1.489, 2.227, 3.131, 4.09, 5.114, 6.446, 8.342, 10.89",\
                 "0.9484, 1.158, 1.714, 2.515, 3.53, 4.648, 5.806, 7.06, 8.732, 11");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09579, 0.3618, 0.8698, 1.661, 2.772, 4.233, 6.074, 8.321, 11");
          index_2("0.001, 0.005468, 0.02115, 0.0511, 0.09777, 0.1632, 0.2494, 0.3579, 0.4904, 0.6484");
          values("0.1077, 0.1429, 0.2643, 0.4955, 0.8562, 1.362, 2.025, 2.863, 3.886, 5.104",\
                 "0.1243, 0.1601, 0.2828, 0.5148, 0.8747, 1.38, 2.045, 2.882, 3.905, 5.123",\
                 "0.1579, 0.202, 0.3329, 0.5659, 0.927, 1.432, 2.097, 2.935, 3.959, 5.176",\
                 "0.1777, 0.239, 0.406, 0.6616, 1.024, 1.53, 2.195, 3.035, 4.056, 5.274",\
                 "0.1752, 0.2559, 0.4701, 0.7762, 1.174, 1.684, 2.349, 3.187, 4.21, 5.43",\
                 "0.147, 0.2478, 0.5118, 0.8816, 1.337, 1.892, 2.565, 3.403, 4.426, 5.646",\
                 "0.0919, 0.212, 0.5289, 0.9655, 1.494, 2.111, 2.837, 3.689, 4.71, 5.93",\
                 "0.0058, 0.1464, 0.515, 1.022, 1.629, 2.324, 3.117, 4.028, 5.071, 6.289",\
                 "-0.1137, 0.0481, 0.469, 1.049, 1.737, 2.519, 3.392, 4.373, 5.481, 6.728",\
                 "-0.2697, -0.0859, 0.3899, 1.044, 1.814, 2.684, 3.651, 4.716, 5.898, 7.215");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09579, 0.3618, 0.8698, 1.661, 2.772, 4.233, 6.074, 8.321, 11");
          index_2("0.001, 0.005468, 0.02115, 0.0511, 0.09777, 0.1632, 0.2494, 0.3579, 0.4904, 0.6484");
          values("0.1396, 0.1843, 0.3381, 0.6288, 1.081, 1.714, 2.547, 3.597, 4.878, 6.406",\
                 "0.1624, 0.208, 0.363, 0.6546, 1.107, 1.74, 2.574, 3.624, 4.905, 6.433",\
                 "0.2566, 0.304, 0.4588, 0.751, 1.204, 1.838, 2.671, 3.721, 5.003, 6.53",\
                 "0.389, 0.4572, 0.6468, 0.9403, 1.392, 2.026, 2.859, 3.909, 5.191, 6.719",\
                 "0.5433, 0.6303, 0.8793, 1.235, 1.691, 2.323, 3.155, 4.204, 5.485, 7.012",\
                 "0.7264, 0.8304, 1.132, 1.577, 2.107, 2.743, 3.573, 4.621, 5.9, 7.426",\
                 "0.944, 1.065, 1.413, 1.938, 2.579, 3.295, 4.129, 5.173, 6.45, 7.973",\
                 "1.197, 1.336, 1.731, 2.328, 3.071, 3.913, 4.825, 5.874, 7.147, 8.67",\
                 "1.484, 1.644, 2.089, 2.751, 3.591, 4.554, 5.605, 6.726, 8.004, 9.522",\
                 "1.811, 1.988, 2.486, 3.217, 4.143, 5.221, 6.408, 7.678, 9.022, 10.54");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09579, 0.3618, 0.8698, 1.661, 2.772, 4.233, 6.074, 8.321, 11");
          index_2("0.001, 0.005468, 0.02115, 0.0511, 0.09777, 0.1632, 0.2494, 0.3579, 0.4904, 0.6484");
          values("0.09988, 0.1577, 0.3589, 0.7432, 1.342, 2.182, 3.286, 4.679, 6.376, 8.404",\
                 "0.09986, 0.1576, 0.3598, 0.7429, 1.342, 2.182, 3.286, 4.68, 6.376, 8.401",\
                 "0.1359, 0.1861, 0.365, 0.7438, 1.344, 2.182, 3.288, 4.678, 6.378, 8.405",\
                 "0.2065, 0.2632, 0.4405, 0.7721, 1.343, 2.182, 3.287, 4.679, 6.378, 8.405",\
                 "0.2954, 0.362, 0.5622, 0.8978, 1.41, 2.192, 3.288, 4.678, 6.376, 8.404",\
                 "0.398, 0.479, 0.7094, 1.072, 1.589, 2.306, 3.32, 4.682, 6.38, 8.402",\
                 "0.5116, 0.6084, 0.8762, 1.279, 1.822, 2.542, 3.486, 4.748, 6.388, 8.408",\
                 "0.6358, 0.7472, 1.06, 1.509, 2.097, 2.838, 3.784, 4.97, 6.499, 8.436",\
                 "0.7698, 0.8966, 1.255, 1.763, 2.399, 3.186, 4.145, 5.338, 6.783, 8.595",\
                 "0.9122, 1.059, 1.461, 2.035, 2.728, 3.567, 4.569, 5.77, 7.226, 8.942");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09579, 0.3618, 0.8698, 1.661, 2.772, 4.233, 6.074, 8.321, 11");
          index_2("0.001, 0.005468, 0.02115, 0.0511, 0.09777, 0.1632, 0.2494, 0.3579, 0.4904, 0.6484");
          values("0.1679, 0.2424, 0.5026, 0.9985, 1.771, 2.853, 4.278, 6.073, 8.258, 10.87",\
                 "0.1684, 0.2424, 0.5032, 0.9984, 1.771, 2.854, 4.277, 6.071, 8.264, 10.87",\
                 "0.1967, 0.2553, 0.5026, 0.9984, 1.77, 2.853, 4.278, 6.071, 8.263, 10.87",\
                 "0.2938, 0.3661, 0.5636, 1.001, 1.771, 2.852, 4.277, 6.075, 8.265, 10.87",\
                 "0.3874, 0.4874, 0.7506, 1.116, 1.781, 2.854, 4.279, 6.073, 8.266, 10.88",\
                 "0.4838, 0.6058, 0.9428, 1.393, 1.949, 2.878, 4.279, 6.074, 8.265, 10.87",\
                 "0.5908, 0.7284, 1.126, 1.687, 2.319, 3.098, 4.321, 6.074, 8.265, 10.88",\
                 "0.7048, 0.8656, 1.31, 1.975, 2.737, 3.55, 4.59, 6.144, 8.27, 10.88",\
                 "0.8294, 1.013, 1.506, 2.25, 3.15, 4.105, 5.125, 6.466, 8.364, 10.89",\
                 "0.9616, 1.168, 1.717, 2.526, 3.548, 4.656, 5.818, 7.072, 8.738, 11.02");
        }
      }
    }
  }