/*
 * 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__nor2_4) {
    area : 39.513600 ;

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

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

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

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

    leakage_power() {
      related_pg_pin : "VDD" ;
      value : "9.7053e-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.01707 ;
      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.03579, 0.03566, 0.03561, 0.0356, 0.03558, 0.03565, 0.03562, \
                  0.03556, 0.03548, 0.03537");
        }

        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.0188, -0.01878, -0.01884, -0.01883, -0.01885, -0.01889, -0.01889, \
                  -0.0189, -0.0189, -0.01889");
        }
      }
    }

    pin(A2) {
      capacitance : 0.01702 ;
      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.05187, 0.05177, 0.05172, 0.0517, 0.05178, 0.05189, 0.05189, \
                  0.05193, 0.05191, 0.05191");
        }

        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.04472, -0.04797, -0.04946, -0.05003, -0.05029, -0.05064, -0.05073, \
                  -0.0508, -0.05086, -0.0509");
        }
      }
    }

    pin(ZN) {
      direction : output ;
      function : "((!A1)&(!A2))" ;
      max_capacitance : 0.7457 ;
      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.00614, 0.02418, 0.05864, 0.1123, 0.1876, 0.2867, 0.4116, 0.564, 0.7457");
          values("-0.006609, -0.006018, -0.005357, -0.004967, -0.004773, -0.004686, -0.004625, -0.004594, -0.004583, -0.004562",\
                 "-0.008597, -0.007301, -0.005062, -0.003674, -0.002939, -0.002544, -0.00233, -0.002229, -0.002138, -0.002088",\
                 "-0.01108, -0.009904, -0.007088, -0.004625, -0.002946, -0.001986, -0.001428, -0.001085, -0.0008366, -0.0006697",\
                 "-0.00723, -0.007187, -0.006396, -0.004808, -0.003319, -0.002275, -0.001497, -0.001015, -0.0006965, -0.0004438",\
                 "0.004933, 0.003609, 0.001295, -1.227e-06, -0.0002661, -0.0002266, -8.861e-05, 7.579e-05, 0.0001875, 0.000267",\
                 "0.0259, 0.02325, 0.01753, 0.01216, 0.0086, 0.006493, 0.004997, 0.003946, 0.003254, 0.002777",\
                 "0.05581, 0.05214, 0.04304, 0.03329, 0.02546, 0.01974, 0.01558, 0.0125, 0.01018, 0.008378",\
                 "0.09498, 0.09042, 0.07844, 0.06408, 0.0511, 0.04097, 0.03309, 0.02715, 0.02234, 0.01861",\
                 "0.144, 0.1386, 0.1239, 0.1051, 0.08702, 0.07153, 0.05897, 0.04893, 0.0409, 0.03481",\
                 "0.2032, 0.1972, 0.18, 0.1571, 0.1335, 0.1122, 0.09453, 0.07981, 0.06793, 0.0583");
        }

        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.00614, 0.02418, 0.05864, 0.1123, 0.1876, 0.2867, 0.4116, 0.564, 0.7457");
          values("0.1496, 0.1504, 0.1514, 0.1524, 0.1532, 0.1541, 0.1551, 0.1563, 0.1591, 0.1807",\
                 "0.1447, 0.146, 0.1485, 0.1507, 0.1521, 0.1536, 0.1544, 0.1563, 0.1585, 0.181",\
                 "0.1443, 0.1444, 0.1454, 0.1476, 0.1499, 0.1516, 0.1537, 0.1545, 0.1585, 0.1819",\
                 "0.1519, 0.151, 0.1495, 0.1488, 0.1494, 0.1512, 0.1527, 0.1545, 0.158, 0.1854",\
                 "0.1673, 0.1656, 0.1612, 0.1575, 0.1548, 0.154, 0.1545, 0.1551, 0.1588, 0.1914",\
                 "0.1912, 0.1884, 0.1812, 0.1739, 0.1681, 0.1638, 0.1614, 0.1608, 0.1643, 0.2071",\
                 "0.2244, 0.2203, 0.2108, 0.1992, 0.1894, 0.1819, 0.1753, 0.1718, 0.177, 0.2405",\
                 "0.2677, 0.2625, 0.2496, 0.2346, 0.2198, 0.2086, 0.1983, 0.1905, 0.1986, 0.3006",\
                 "0.3216, 0.3154, 0.2993, 0.2804, 0.2614, 0.2443, 0.2312, 0.2201, 0.2419, 0.4216",\
                 "0.387, 0.3798, 0.3606, 0.3376, 0.3138, 0.2915, 0.2721, 0.2653, 0.3328, 0.6748");
        }
      }

      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.00614, 0.02418, 0.05864, 0.1123, 0.1876, 0.2867, 0.4116, 0.564, 0.7457");
          values("0.02238, 0.02252, 0.02259, 0.0226, 0.02266, 0.02268, 0.02271, 0.02274, 0.02277, 0.02272",\
                 "0.01903, 0.01917, 0.01951, 0.01976, 0.01993, 0.01997, 0.02003, 0.02002, 0.02003, 0.02002",\
                 "0.01574, 0.01602, 0.01657, 0.01711, 0.01758, 0.01779, 0.01796, 0.01811, 0.0181, 0.01806",\
                 "0.01884, 0.01851, 0.01788, 0.01763, 0.01765, 0.01766, 0.01766, 0.0177, 0.01773, 0.0177",\
                 "0.03052, 0.02926, 0.02631, 0.02363, 0.02188, 0.02062, 0.01975, 0.01921, 0.01884, 0.01853",\
                 "0.05206, 0.04983, 0.04397, 0.03762, 0.03248, 0.02862, 0.026, 0.024, 0.02257, 0.02158",\
                 "0.084, 0.0808, 0.07184, 0.06099, 0.05156, 0.04393, 0.03809, 0.03377, 0.03051, 0.02799",\
                 "0.1267, 0.1225, 0.1107, 0.09528, 0.08028, 0.06791, 0.05802, 0.05031, 0.04417, 0.03938",\
                 "0.1803, 0.1755, 0.1611, 0.1413, 0.1206, 0.1024, 0.0872, 0.07498, 0.0652, 0.05725",\
                 "0.2455, 0.24, 0.2234, 0.1993, 0.1728, 0.1484, 0.127, 0.1096, 0.09492, 0.08296");
        }

        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.00614, 0.02418, 0.05864, 0.1123, 0.1876, 0.2867, 0.4116, 0.564, 0.7457");
          values("0.1836, 0.1842, 0.185, 0.1856, 0.1863, 0.1875, 0.1882, 0.1893, 0.1921, 0.2127",\
                 "0.1798, 0.1807, 0.1827, 0.1843, 0.1855, 0.1869, 0.188, 0.1893, 0.1921, 0.2142",\
                 "0.1769, 0.1774, 0.1791, 0.1815, 0.1833, 0.1859, 0.187, 0.1887, 0.1918, 0.2156",\
                 "0.1792, 0.179, 0.1794, 0.1801, 0.182, 0.1836, 0.1859, 0.1875, 0.1913, 0.2184",\
                 "0.1911, 0.1896, 0.187, 0.1858, 0.185, 0.1855, 0.1868, 0.1884, 0.1921, 0.2232",\
                 "0.2143, 0.2119, 0.2053, 0.1998, 0.1964, 0.1933, 0.1921, 0.1926, 0.1972, 0.2388",\
                 "0.2502, 0.2462, 0.2361, 0.2252, 0.2163, 0.211, 0.2052, 0.2027, 0.2071, 0.2644",\
                 "0.2979, 0.2926, 0.2789, 0.2628, 0.2482, 0.2372, 0.2292, 0.2209, 0.228, 0.3168",\
                 "0.3575, 0.3512, 0.3341, 0.3131, 0.2931, 0.2751, 0.2618, 0.2522, 0.267, 0.415",\
                 "0.4297, 0.4224, 0.4022, 0.3762, 0.3505, 0.3267, 0.3061, 0.2953, 0.342, 0.6133");
        }
      }

      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.00614, 0.02418, 0.05864, 0.1123, 0.1876, 0.2867, 0.4116, 0.564, 0.7457");
          values("0.07836, 0.09722, 0.1624, 0.2861, 0.4784, 0.748, 1.104, 1.551, 2.096, 2.747",\
                 "0.09959, 0.119, 0.1854, 0.3099, 0.5026, 0.7724, 1.128, 1.576, 2.121, 2.771",\
                 "0.1469, 0.1776, 0.2621, 0.3894, 0.5828, 0.8533, 1.208, 1.656, 2.203, 2.851",\
                 "0.1727, 0.2177, 0.3445, 0.5237, 0.7359, 1.006, 1.362, 1.809, 2.354, 3.005",\
                 "0.176, 0.2348, 0.4012, 0.6415, 0.9264, 1.243, 1.602, 2.048, 2.595, 3.244",\
                 "0.153, 0.2267, 0.4336, 0.7307, 1.09, 1.491, 1.922, 2.387, 2.932, 3.581",\
                 "0.1009, 0.1902, 0.4388, 0.7925, 1.222, 1.707, 2.232, 2.789, 3.375, 4.028",\
                 "0.0174, 0.1215, 0.4119, 0.8264, 1.323, 1.89, 2.508, 3.166, 3.858, 4.578",\
                 "-0.1009, 0.0201, 0.3528, 0.8278, 1.396, 2.04, 2.748, 3.506, 4.305, 5.139",\
                 "-0.2559, -0.1197, 0.2584, 0.7941, 1.436, 2.158, 2.953, 3.809, 4.717, 5.662");
        }

        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.00614, 0.02418, 0.05864, 0.1123, 0.1876, 0.2867, 0.4116, 0.564, 0.7457");
          values("0.1528, 0.1976, 0.3508, 0.6408, 1.091, 1.723, 2.554, 3.606, 4.88, 6.403",\
                 "0.1672, 0.2126, 0.3685, 0.6608, 1.113, 1.745, 2.577, 3.624, 4.903, 6.426",\
                 "0.2487, 0.295, 0.4482, 0.7407, 1.194, 1.827, 2.661, 3.708, 4.987, 6.511",\
                 "0.3649, 0.429, 0.6151, 0.9079, 1.358, 1.992, 2.824, 3.872, 5.15, 6.675",\
                 "0.5061, 0.5852, 0.8189, 1.171, 1.626, 2.254, 3.085, 4.131, 5.408, 6.933",\
                 "0.68, 0.7721, 1.045, 1.469, 1.998, 2.633, 3.458, 4.503, 5.777, 7.298",\
                 "0.8871, 0.9938, 1.307, 1.792, 2.41, 3.128, 3.959, 4.998, 6.269, 7.792",\
                 "1.128, 1.252, 1.606, 2.146, 2.846, 3.667, 4.586, 5.631, 6.897, 8.412",\
                 "1.404, 1.546, 1.945, 2.54, 3.313, 4.231, 5.265, 6.398, 7.672, 9.179",\
                 "1.719, 1.877, 2.325, 2.982, 3.819, 4.827, 5.972, 7.232, 8.588, 10.1");
        }

        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.00614, 0.02418, 0.05864, 0.1123, 0.1876, 0.2867, 0.4116, 0.564, 0.7457");
          values("0.08007, 0.11, 0.2169, 0.4204, 0.7377, 1.185, 1.769, 2.51, 3.407, 4.482",\
                 "0.07986, 0.1101, 0.2169, 0.4205, 0.7394, 1.185, 1.769, 2.51, 3.407, 4.48",\
                 "0.1371, 0.1654, 0.2448, 0.4216, 0.7387, 1.185, 1.768, 2.505, 3.406, 4.479",\
                 "0.2136, 0.2565, 0.3736, 0.5357, 0.771, 1.185, 1.771, 2.508, 3.406, 4.479",\
                 "0.3032, 0.3574, 0.5116, 0.7328, 0.9894, 1.3, 1.791, 2.509, 3.408, 4.49",\
                 "0.4054, 0.474, 0.6612, 0.9378, 1.266, 1.625, 2.028, 2.604, 3.419, 4.486",\
                 "0.5198, 0.6018, 0.828, 1.152, 1.551, 1.992, 2.466, 2.971, 3.632, 4.551",\
                 "0.6456, 0.7424, 1.009, 1.383, 1.842, 2.369, 2.929, 3.521, 4.14, 4.899",\
                 "0.784, 0.8954, 1.203, 1.633, 2.148, 2.749, 3.404, 4.091, 4.813, 5.555",\
                 "0.932, 1.063, 1.411, 1.902, 2.479, 3.144, 3.886, 4.671, 5.492, 6.348");
        }

        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.00614, 0.02418, 0.05864, 0.1123, 0.1876, 0.2867, 0.4116, 0.564, 0.7457");
          values("0.2055, 0.2793, 0.5363, 1.029, 1.79, 2.864, 4.275, 6.054, 8.219, 10.8",\
                 "0.2044, 0.2788, 0.5368, 1.029, 1.791, 2.865, 4.272, 6.049, 8.215, 10.8",\
                 "0.2339, 0.2919, 0.5371, 1.03, 1.795, 2.864, 4.274, 6.048, 8.223, 10.8",\
                 "0.3163, 0.3895, 0.6016, 1.031, 1.791, 2.866, 4.275, 6.053, 8.22, 10.81",\
                 "0.4016, 0.492, 0.759, 1.154, 1.808, 2.864, 4.276, 6.053, 8.218, 10.8",\
                 "0.499, 0.6036, 0.917, 1.39, 1.986, 2.9, 4.274, 6.054, 8.224, 10.8",\
                 "0.6124, 0.724, 1.072, 1.63, 2.311, 3.132, 4.339, 6.055, 8.225, 10.81",\
                 "0.7382, 0.865, 1.241, 1.86, 2.655, 3.55, 4.625, 6.15, 8.233, 10.81",\
                 "0.8736, 1.017, 1.429, 2.093, 2.984, 4.001, 5.132, 6.496, 8.366, 10.83",\
                 "1.021, 1.181, 1.638, 2.343, 3.304, 4.456, 5.708, 7.078, 8.768, 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.00614, 0.02418, 0.05864, 0.1123, 0.1876, 0.2867, 0.4116, 0.564, 0.7457");
          values("0.1061, 0.1268, 0.1956, 0.3223, 0.5164, 0.7873, 1.143, 1.59, 2.135, 2.786",\
                 "0.1267, 0.1473, 0.2162, 0.3429, 0.5372, 0.8081, 1.163, 1.611, 2.156, 2.807",\
                 "0.1935, 0.2193, 0.2946, 0.4213, 0.6158, 0.8867, 1.242, 1.689, 2.235, 2.885",\
                 "0.2487, 0.2868, 0.3986, 0.5646, 0.7695, 1.04, 1.395, 1.843, 2.388, 3.038",\
                 "0.2834, 0.3329, 0.4789, 0.7007, 0.9719, 1.279, 1.637, 2.083, 2.628, 3.277",\
                 "0.2974, 0.3576, 0.5369, 0.8107, 1.151, 1.539, 1.962, 2.422, 2.967, 3.616",\
                 "0.2872, 0.3593, 0.572, 0.8954, 1.302, 1.77, 2.283, 2.832, 3.412, 4.063",\
                 "0.252, 0.3357, 0.5824, 0.9559, 1.425, 1.97, 2.572, 3.218, 3.902, 4.617",\
                 "0.1923, 0.2858, 0.566, 0.9915, 1.521, 2.139, 2.828, 3.571, 4.36, 5.186",\
                 "0.1031, 0.2089, 0.5211, 0.9979, 1.592, 2.28, 3.051, 3.89, 4.783, 5.72");
        }

        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.00614, 0.02418, 0.05864, 0.1123, 0.1876, 0.2867, 0.4116, 0.564, 0.7457");
          values("0.193, 0.2373, 0.3902, 0.6796, 1.13, 1.763, 2.595, 3.64, 4.921, 6.442",\
                 "0.213, 0.2582, 0.4132, 0.7042, 1.156, 1.788, 2.62, 3.667, 4.946, 6.469",\
                 "0.28, 0.3269, 0.4819, 0.7743, 1.227, 1.862, 2.693, 3.742, 5.023, 6.545",\
                 "0.3648, 0.4218, 0.5995, 0.8971, 1.349, 1.983, 2.817, 3.864, 5.143, 6.669",\
                 "0.4741, 0.541, 0.7459, 1.081, 1.544, 2.176, 3.008, 4.056, 5.333, 6.858",\
                 "0.6136, 0.693, 0.9252, 1.299, 1.808, 2.454, 3.282, 4.328, 5.607, 7.13",\
                 "0.7831, 0.8759, 1.142, 1.553, 2.108, 2.807, 3.652, 4.693, 5.968, 7.489",\
                 "0.9805, 1.089, 1.394, 1.848, 2.448, 3.199, 4.102, 5.163, 6.433, 7.949",\
                 "1.207, 1.33, 1.676, 2.184, 2.831, 3.633, 4.594, 5.717, 7.009, 8.52",\
                 "1.462, 1.6, 1.989, 2.555, 3.257, 4.111, 5.13, 6.316, 7.673, 9.206");
        }

        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.00614, 0.02418, 0.05864, 0.1123, 0.1876, 0.2867, 0.4116, 0.564, 0.7457");
          values("0.1116, 0.1437, 0.2517, 0.4559, 0.7728, 1.217, 1.802, 2.539, 3.438, 4.51",\
                 "0.1104, 0.1427, 0.2518, 0.456, 0.773, 1.217, 1.802, 2.538, 3.438, 4.51",\
                 "0.1551, 0.1817, 0.2651, 0.4562, 0.7732, 1.217, 1.802, 2.539, 3.438, 4.509",\
                 "0.239, 0.2798, 0.3911, 0.5502, 0.797, 1.218, 1.802, 2.539, 3.438, 4.51",\
                 "0.3294, 0.3824, 0.5346, 0.7504, 1.005, 1.321, 1.822, 2.54, 3.438, 4.509",\
                 "0.4316, 0.4964, 0.6826, 0.9572, 1.282, 1.641, 2.046, 2.628, 3.45, 4.509",\
                 "0.5406, 0.6212, 0.8428, 1.169, 1.57, 2.007, 2.481, 2.987, 3.656, 4.576",\
                 "0.6578, 0.7538, 1.018, 1.393, 1.856, 2.383, 2.942, 3.531, 4.153, 4.918",\
                 "0.7834, 0.896, 1.205, 1.634, 2.155, 2.76, 3.415, 4.103, 4.819, 5.566",\
                 "0.924, 1.05, 1.401, 1.894, 2.472, 3.147, 3.892, 4.683, 5.502, 6.356");
        }

        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.00614, 0.02418, 0.05864, 0.1123, 0.1876, 0.2867, 0.4116, 0.564, 0.7457");
          values("0.2065, 0.2796, 0.5369, 1.028, 1.791, 2.864, 4.274, 6.049, 8.217, 10.81",\
                 "0.2069, 0.2795, 0.5368, 1.027, 1.79, 2.865, 4.273, 6.049, 8.219, 10.8",\
                 "0.228, 0.291, 0.5371, 1.029, 1.791, 2.868, 4.275, 6.052, 8.223, 10.81",\
                 "0.2921, 0.3612, 0.5885, 1.035, 1.792, 2.862, 4.279, 6.046, 8.222, 10.81",\
                 "0.369, 0.4432, 0.6942, 1.128, 1.816, 2.864, 4.275, 6.057, 8.219, 10.8",\
                 "0.473, 0.5472, 0.807, 1.278, 1.949, 2.912, 4.278, 6.055, 8.223, 10.81",\
                 "0.5924, 0.6754, 0.9408, 1.433, 2.15, 3.085, 4.355, 6.06, 8.223, 10.81",\
                 "0.7224, 0.8154, 1.103, 1.606, 2.361, 3.345, 4.57, 6.169, 8.242, 10.81",\
                 "0.8622, 0.9678, 1.284, 1.805, 2.58, 3.616, 4.89, 6.433, 8.384, 10.84",\
                 "1.016, 1.131, 1.482, 2.035, 2.825, 3.893, 5.228, 6.816, 8.69, 11.04");
        }
      }
    }
  }