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

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

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

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

    leakage_power() {
      related_pg_pin : "VDD" ;
      value : "3.879e-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.004642 ;
      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.01385, 0.01383, 0.01375, 0.0137, 0.01367, 0.01367, 0.01366, \
                  0.01367, 0.01367, 0.01367");
        }

        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.00979, -0.009788, -0.00977, -0.009767, -0.009772, -0.00979, \
                  -0.009799, -0.009795, -0.009807, -0.009837");
        }
      }
    }

    pin(A2) {
      capacitance : 0.00429 ;
      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.01292, 0.01214, 0.01206, 0.012, 0.01198, 0.01198, 0.01193, 0.01193, \
                  0.01193, 0.01193");
        }

        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.01206, -0.01206, -0.01203, -0.01186, -0.01195, -0.01192, -0.01191, \
                  -0.01191, -0.01191, -0.01192");
        }
      }
    }

    pin(ZN) {
      direction : output ;
      function : "((!A1)|(!A2))" ;
      max_capacitance : 0.3246 ;
      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.003234, 0.01107, 0.02605, 0.04937, 0.0821, 0.1252, 0.1794, 0.2457, 0.3246");
          values("0.001936, 0.002059, 0.002165, 0.002217, 0.002237, 0.002249, 0.00226, 0.002256, 0.002262, 0.002264",\
                 "0.00103, 0.001335, 0.001788, 0.002018, 0.002126, 0.002188, 0.002211, 0.002228, 0.002237, 0.002249",\
                 "0.0003431, 0.0005811, 0.001152, 0.001602, 0.001864, 0.002011, 0.002092, 0.002141, 0.002174, 0.002196",\
                 "0.00161, 0.001497, 0.001447, 0.00162, 0.001831, 0.001952, 0.002043, 0.002099, 0.002141, 0.002164",\
                 "0.00521, 0.004646, 0.00359, 0.002902, 0.002607, 0.002478, 0.002409, 0.002362, 0.002341, 0.002317",\
                 "0.01132, 0.01026, 0.008056, 0.006136, 0.004851, 0.004058, 0.003573, 0.003232, 0.003002, 0.002842",\
                 "0.02002, 0.0185, 0.01509, 0.0117, 0.009106, 0.007278, 0.006024, 0.005145, 0.004502, 0.004038",\
                 "0.03149, 0.02956, 0.02491, 0.01994, 0.01578, 0.0126, 0.01024, 0.008529, 0.007213, 0.006237",\
                 "0.04582, 0.04354, 0.03773, 0.03105, 0.02515, 0.02035, 0.01658, 0.01375, 0.01151, 0.009801",\
                 "0.06317, 0.06056, 0.05367, 0.04538, 0.03752, 0.03088, 0.02551, 0.02121, 0.01781, 0.01503");
        }

        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.003234, 0.01107, 0.02605, 0.04937, 0.0821, 0.1252, 0.1794, 0.2457, 0.3246");
          values("0.03823, 0.03859, 0.03902, 0.03915, 0.03927, 0.0393, 0.03932, 0.0393, 0.03976, 0.04676",\
                 "0.03687, 0.03751, 0.03864, 0.03901, 0.03924, 0.03948, 0.03953, 0.03948, 0.04003, 0.04724",\
                 "0.03605, 0.03616, 0.03697, 0.03801, 0.03861, 0.03903, 0.03896, 0.03936, 0.03957, 0.04812",\
                 "0.03809, 0.03781, 0.03732, 0.03753, 0.0381, 0.03837, 0.03881, 0.03861, 0.03933, 0.04872",\
                 "0.04255, 0.04187, 0.04036, 0.03911, 0.03861, 0.0387, 0.03887, 0.039, 0.0395, 0.0522",\
                 "0.0495, 0.04832, 0.0458, 0.04327, 0.04131, 0.04038, 0.03998, 0.03927, 0.04044, 0.05713",\
                 "0.05925, 0.05762, 0.05397, 0.05021, 0.04662, 0.04407, 0.04274, 0.04131, 0.04355, 0.06915",\
                 "0.07199, 0.06987, 0.06503, 0.05975, 0.0549, 0.05082, 0.04733, 0.04558, 0.04908, 0.09481",\
                 "0.0878, 0.08534, 0.07925, 0.07248, 0.06621, 0.06006, 0.05519, 0.0523, 0.06285, 0.1488",\
                 "0.107, 0.1043, 0.09692, 0.08859, 0.08058, 0.07287, 0.06636, 0.06432, 0.09999, 0.2701");
        }
      }

      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.003234, 0.01107, 0.02605, 0.04937, 0.0821, 0.1252, 0.1794, 0.2457, 0.3246");
          values("0.001967, 0.002063, 0.00218, 0.002235, 0.002258, 0.002261, 0.002269, 0.002272, 0.002275, 0.002275",\
                 "0.001183, 0.001472, 0.001858, 0.002063, 0.002157, 0.002198, 0.002228, 0.002241, 0.002252, 0.002252",\
                 "0.0001223, 0.0004387, 0.001101, 0.001577, 0.001854, 0.002002, 0.002082, 0.002136, 0.002173, 0.002194",\
                 "0.0006986, 0.0007459, 0.001014, 0.001388, 0.001704, 0.001876, 0.001988, 0.002063, 0.002106, 0.002135",\
                 "0.00369, 0.003311, 0.002703, 0.002397, 0.002303, 0.002277, 0.002273, 0.002271, 0.002273, 0.002268",\
                 "0.009334, 0.008482, 0.006715, 0.005268, 0.004321, 0.003718, 0.003343, 0.003085, 0.002901, 0.002769",\
                 "0.01781, 0.01643, 0.0134, 0.01051, 0.008335, 0.006787, 0.005689, 0.004923, 0.00437, 0.003942",\
                 "0.02917, 0.02733, 0.02299, 0.01844, 0.01474, 0.0119, 0.00977, 0.008217, 0.007045, 0.00614",\
                 "0.04346, 0.04124, 0.03565, 0.02933, 0.02386, 0.01946, 0.01605, 0.01339, 0.01133, 0.009705",\
                 "0.0608, 0.05825, 0.05155, 0.04345, 0.03601, 0.02982, 0.02482, 0.02079, 0.01759, 0.01498");
        }

        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.003234, 0.01107, 0.02605, 0.04937, 0.0821, 0.1252, 0.1794, 0.2457, 0.3246");
          values("0.04958, 0.0494, 0.04939, 0.04931, 0.04922, 0.04898, 0.0487, 0.04829, 0.04818, 0.0551",\
                 "0.04823, 0.04841, 0.04864, 0.04875, 0.04874, 0.04856, 0.04828, 0.0479, 0.04796, 0.05489",\
                 "0.04767, 0.04772, 0.04793, 0.04821, 0.04835, 0.04829, 0.04807, 0.04775, 0.04781, 0.05544",\
                 "0.04967, 0.04939, 0.04872, 0.04836, 0.04835, 0.04823, 0.04795, 0.04766, 0.0479, 0.05702",\
                 "0.05405, 0.05338, 0.0519, 0.05032, 0.04943, 0.04874, 0.04822, 0.04793, 0.04825, 0.05985",\
                 "0.06113, 0.06008, 0.05751, 0.05491, 0.05267, 0.05108, 0.04975, 0.04883, 0.04964, 0.06622",\
                 "0.07098, 0.06961, 0.06614, 0.06214, 0.05858, 0.05552, 0.05317, 0.0514, 0.05275, 0.07851",\
                 "0.08389, 0.08219, 0.07781, 0.07247, 0.06722, 0.06254, 0.05875, 0.05624, 0.05929, 0.104",\
                 "0.09998, 0.09804, 0.09271, 0.08588, 0.07895, 0.07265, 0.06733, 0.06324, 0.07399, 0.1596",\
                 "0.1194, 0.1172, 0.111, 0.1028, 0.0944, 0.08621, 0.07901, 0.07641, 0.1117, 0.2827");
        }
      }

      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.003234, 0.01107, 0.02605, 0.04937, 0.0821, 0.1252, 0.1794, 0.2457, 0.3246");
          values("0.1024, 0.1373, 0.259, 0.4902, 0.8505, 1.355, 2.02, 2.857, 3.88, 5.098",\
                 "0.1195, 0.155, 0.2776, 0.5096, 0.87, 1.375, 2.04, 2.877, 3.9, 5.119",\
                 "0.1685, 0.216, 0.3473, 0.5799, 0.9405, 1.446, 2.111, 2.949, 3.971, 5.189",\
                 "0.201, 0.2687, 0.4546, 0.7168, 1.078, 1.583, 2.248, 3.085, 4.107, 5.326",\
                 "0.2145, 0.3008, 0.5406, 0.8823, 1.293, 1.799, 2.462, 3.301, 4.322, 5.541",\
                 "0.2059, 0.3119, 0.6021, 1.021, 1.527, 2.1, 2.767, 3.603, 4.625, 5.842",\
                 "0.172, 0.2976, 0.6404, 1.133, 1.734, 2.414, 3.162, 4.005, 5.025, 6.241",\
                 "0.1111, 0.2568, 0.6527, 1.215, 1.908, 2.697, 3.564, 4.5, 5.533, 6.746",\
                 "0.022, 0.1876, 0.6375, 1.274, 2.051, 2.944, 3.932, 4.997, 6.134, 7.368",\
                 "-0.1016, 0.0872, 0.5898, 1.305, 2.165, 3.162, 4.266, 5.456, 6.73, 8.081");
        }

        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.003234, 0.01107, 0.02605, 0.04937, 0.0821, 0.1252, 0.1794, 0.2457, 0.3246");
          values("0.1188, 0.1638, 0.3173, 0.6076, 1.059, 1.692, 2.525, 3.576, 4.857, 6.383",\
                 "0.1407, 0.1866, 0.3427, 0.6349, 1.087, 1.721, 2.555, 3.605, 4.886, 6.413",\
                 "0.2282, 0.2794, 0.4356, 0.729, 1.183, 1.818, 2.652, 3.702, 4.985, 6.51",\
                 "0.3427, 0.4173, 0.6187, 0.9156, 1.369, 2.004, 2.838, 3.889, 5.172, 6.7",\
                 "0.4794, 0.5746, 0.8387, 1.206, 1.664, 2.298, 3.132, 4.182, 5.465, 6.99",\
                 "0.6432, 0.7574, 1.077, 1.536, 2.078, 2.717, 3.548, 4.597, 5.878, 7.405",\
                 "0.836, 0.971, 1.343, 1.886, 2.539, 3.264, 4.102, 5.146, 6.425, 7.952",\
                 "1.057, 1.215, 1.641, 2.261, 3.021, 3.874, 4.793, 5.845, 7.117, 8.643",\
                 "1.31, 1.49, 1.974, 2.668, 3.527, 4.505, 5.565, 6.693, 7.973, 9.493",\
                 "1.596, 1.798, 2.343, 3.112, 4.064, 5.16, 6.36, 7.637, 8.988, 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.003234, 0.01107, 0.02605, 0.04937, 0.0821, 0.1252, 0.1794, 0.2457, 0.3246");
          values("0.1178, 0.1754, 0.3776, 0.7615, 1.36, 2.2, 3.304, 4.694, 6.394, 8.423",\
                 "0.1182, 0.1753, 0.378, 0.7617, 1.359, 2.2, 3.304, 4.696, 6.396, 8.422",\
                 "0.1709, 0.2195, 0.383, 0.7613, 1.36, 2.199, 3.303, 4.696, 6.395, 8.423",\
                 "0.2528, 0.321, 0.5035, 0.7986, 1.361, 2.199, 3.304, 4.695, 6.394, 8.422",\
                 "0.3436, 0.4294, 0.6668, 1.004, 1.452, 2.206, 3.304, 4.695, 6.397, 8.423",\
                 "0.4486, 0.5522, 0.8366, 1.251, 1.75, 2.371, 3.334, 4.695, 6.395, 8.422",\
                 "0.564, 0.6864, 1.019, 1.505, 2.095, 2.764, 3.582, 4.768, 6.4, 8.419",\
                 "0.6918, 0.833, 1.217, 1.767, 2.455, 3.223, 4.078, 5.106, 6.535, 8.44",\
                 "0.8328, 0.9946, 1.43, 2.042, 2.814, 3.701, 4.661, 5.715, 6.972, 8.65",\
                 "0.9844, 1.167, 1.656, 2.342, 3.187, 4.179, 5.258, 6.436, 7.69, 9.186");
        }

        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.003234, 0.01107, 0.02605, 0.04937, 0.0821, 0.1252, 0.1794, 0.2457, 0.3246");
          values("0.1481, 0.2217, 0.4828, 0.9788, 1.751, 2.835, 4.262, 6.061, 8.253, 10.87",\
                 "0.1481, 0.2217, 0.4814, 0.9787, 1.75, 2.835, 4.262, 6.06, 8.253, 10.87",\
                 "0.1914, 0.2437, 0.4826, 0.9786, 1.751, 2.834, 4.261, 6.062, 8.251, 10.87",\
                 "0.2858, 0.3614, 0.555, 0.981, 1.75, 2.835, 4.262, 6.058, 8.251, 10.87",\
                 "0.3804, 0.4804, 0.7446, 1.108, 1.762, 2.834, 4.261, 6.059, 8.253, 10.87",\
                 "0.4842, 0.6038, 0.9382, 1.389, 1.938, 2.861, 4.26, 6.058, 8.254, 10.87",\
                 "0.602, 0.7364, 1.125, 1.686, 2.318, 3.085, 4.308, 6.057, 8.252, 10.87",\
                 "0.7338, 0.885, 1.317, 1.974, 2.733, 3.549, 4.587, 6.127, 8.256, 10.87",\
                 "0.8674, 1.045, 1.529, 2.259, 3.154, 4.104, 5.126, 6.45, 8.354, 10.88",\
                 "1.018, 1.217, 1.759, 2.55, 3.554, 4.668, 5.818, 7.07, 8.728, 11.01");
        }
      }

      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.003234, 0.01107, 0.02605, 0.04937, 0.0821, 0.1252, 0.1794, 0.2457, 0.3246");
          values("0.1187, 0.1535, 0.2748, 0.5063, 0.8663, 1.371, 2.036, 2.873, 3.895, 5.114",\
                 "0.1355, 0.1711, 0.2935, 0.5251, 0.8857, 1.391, 2.055, 2.893, 3.915, 5.134",\
                 "0.1722, 0.2147, 0.3439, 0.5768, 0.9375, 1.443, 2.108, 2.946, 3.968, 5.187",\
                 "0.1978, 0.256, 0.4186, 0.6728, 1.035, 1.541, 2.206, 3.043, 4.066, 5.284",\
                 "0.2017, 0.2776, 0.4861, 0.7887, 1.184, 1.694, 2.36, 3.197, 4.219, 5.438",\
                 "0.1799, 0.2746, 0.5313, 0.8958, 1.349, 1.903, 2.576, 3.413, 4.435, 5.653",\
                 "0.1308, 0.244, 0.5515, 0.9824, 1.506, 2.123, 2.848, 3.698, 4.721, 5.938",\
                 "0.0517, 0.1838, 0.5415, 1.041, 1.644, 2.337, 3.128, 4.037, 5.079, 6.298",\
                 "-0.0608, 0.0914, 0.4992, 1.071, 1.753, 2.531, 3.404, 4.385, 5.491, 6.737",\
                 "-0.2095, -0.0368, 0.4234, 1.067, 1.832, 2.7, 3.664, 4.727, 5.907, 7.223");
        }

        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.003234, 0.01107, 0.02605, 0.04937, 0.0821, 0.1252, 0.1794, 0.2457, 0.3246");
          values("0.1541, 0.1986, 0.352, 0.6426, 1.094, 1.727, 2.56, 3.609, 4.89, 6.418",\
                 "0.1773, 0.2224, 0.377, 0.6683, 1.12, 1.753, 2.586, 3.636, 4.917, 6.444",\
                 "0.2725, 0.3184, 0.4727, 0.7645, 1.217, 1.851, 2.684, 3.734, 5.015, 6.541",\
                 "0.412, 0.4774, 0.6617, 0.9537, 1.405, 2.039, 2.872, 3.921, 5.202, 6.73",\
                 "0.572, 0.6562, 0.8988, 1.249, 1.703, 2.334, 3.166, 4.216, 5.496, 7.023",\
                 "0.7612, 0.861, 1.156, 1.594, 2.121, 2.755, 3.584, 4.631, 5.911, 7.438",\
                 "0.9846, 1.101, 1.441, 1.96, 2.596, 3.307, 4.14, 5.183, 6.461, 7.985",\
                 "1.242, 1.376, 1.761, 2.352, 3.09, 3.928, 4.836, 5.885, 7.157, 8.678",\
                 "1.536, 1.688, 2.123, 2.779, 3.612, 4.571, 5.619, 6.735, 8.015, 9.531",\
                 "1.87, 2.04, 2.525, 3.246, 4.167, 5.241, 6.424, 7.69, 9.031, 10.55");
        }

        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.003234, 0.01107, 0.02605, 0.04937, 0.0821, 0.1252, 0.1794, 0.2457, 0.3246");
          values("0.118, 0.1754, 0.3776, 0.7619, 1.36, 2.199, 3.304, 4.694, 6.394, 8.419",\
                 "0.1184, 0.1758, 0.3781, 0.7612, 1.36, 2.2, 3.303, 4.697, 6.393, 8.423",\
                 "0.152, 0.2024, 0.3816, 0.7617, 1.36, 2.2, 3.304, 4.697, 6.395, 8.423",\
                 "0.2254, 0.281, 0.4573, 0.789, 1.361, 2.199, 3.304, 4.696, 6.397, 8.418",\
                 "0.3176, 0.3824, 0.579, 0.9142, 1.425, 2.21, 3.303, 4.696, 6.394, 8.42",\
                 "0.4258, 0.5034, 0.7286, 1.089, 1.606, 2.322, 3.336, 4.698, 6.395, 8.421",\
                 "0.544, 0.6366, 0.8972, 1.297, 1.842, 2.559, 3.501, 4.763, 6.404, 8.42",\
                 "0.6734, 0.7806, 1.086, 1.53, 2.115, 2.857, 3.8, 4.986, 6.518, 8.448",\
                 "0.8142, 0.936, 1.283, 1.784, 2.426, 3.206, 4.163, 5.355, 6.799, 8.614",\
                 "0.964, 1.103, 1.495, 2.06, 2.749, 3.585, 4.583, 5.786, 7.238, 8.958");
        }

        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.003234, 0.01107, 0.02605, 0.04937, 0.0821, 0.1252, 0.1794, 0.2457, 0.3246");
          values("0.1917, 0.2663, 0.5264, 1.022, 1.793, 2.875, 4.299, 6.093, 8.286, 10.89",\
                 "0.1914, 0.2658, 0.5262, 1.022, 1.794, 2.875, 4.3, 6.094, 8.285, 10.89",\
                 "0.2142, 0.2751, 0.5262, 1.022, 1.793, 2.876, 4.299, 6.095, 8.283, 10.89",\
                 "0.318, 0.3872, 0.5814, 1.024, 1.793, 2.876, 4.3, 6.094, 8.282, 10.9",\
                 "0.4216, 0.5162, 0.7698, 1.133, 1.803, 2.876, 4.3, 6.094, 8.283, 10.89",\
                 "0.5242, 0.6414, 0.9688, 1.412, 1.966, 2.9, 4.3, 6.094, 8.285, 10.89",\
                 "0.6372, 0.7708, 1.158, 1.71, 2.339, 3.115, 4.345, 6.095, 8.286, 10.89",\
                 "0.7598, 0.9114, 1.348, 2.002, 2.757, 3.566, 4.609, 6.166, 8.288, 10.9",\
                 "0.8902, 1.065, 1.547, 2.282, 3.173, 4.121, 5.14, 6.484, 8.382, 10.9",\
                 "1.032, 1.226, 1.76, 2.561, 3.575, 4.684, 5.832, 7.088, 8.754, 11.03");
        }
      }
    }
  }