/*
 * 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 : "0.01267992" ;
    }

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

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

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

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

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

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

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

      internal_power() {
        when : "A2" ;

        fall_power(pwr_tin_10) {
          index_1("0.02, 0.07094, 0.2497, 0.5912, 1.123, 1.87, 2.852, 4.089, 5.6, 7.4");
          values("0.05914, 0.05904, 0.05886, 0.05891, 0.05885, 0.05897, 0.0589, \
                  0.05885, 0.05877, 0.05869");
        }

        rise_power(pwr_tin_10) {
          index_1("0.02, 0.07094, 0.2497, 0.5912, 1.123, 1.87, 2.852, 4.089, 5.6, 7.4");
          values("-0.02387, -0.02388, -0.0239, -0.02394, -0.02398, -0.02402, -0.02402, \
                  -0.02402, -0.02404, -0.02401");
        }
      }
    }

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

      internal_power() {
        when : "A1" ;

        fall_power(pwr_tin_10) {
          index_1("0.02, 0.07094, 0.2497, 0.5912, 1.123, 1.87, 2.852, 4.089, 5.6, 7.4");
          values("0.08279, 0.08261, 0.08248, 0.08248, 0.08252, 0.08263, 0.08266, \
                  0.08263, 0.0827, 0.08258");
        }

        rise_power(pwr_tin_10) {
          index_1("0.02, 0.07094, 0.2497, 0.5912, 1.123, 1.87, 2.852, 4.089, 5.6, 7.4");
          values("-0.06549, -0.07038, -0.07701, -0.0796, -0.08059, -0.08118, -0.08131, \
                  -0.08153, -0.08169, -0.08174");
        }
      }
    }

    pin(ZN) {
      direction : output ;
      function : "((!A1)&(!A2))" ;
      max_capacitance : 0.7158 ;
      max_transition : 7.4 ;
      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.07094, 0.2497, 0.5912, 1.123, 1.87, 2.852, 4.089, 5.6, 7.4");
          index_2("0.001, 0.005933, 0.02325, 0.05632, 0.1078, 0.1801, 0.2753, 0.3951, 0.5414, 0.7158");
          values("-0.008638, -0.007477, -0.005885, -0.004868, -0.004348, -0.004083, -0.003933, -0.003832, -0.003759, -0.003714",\
                 "-0.006491, -0.005417, -0.0033, -0.001734, -0.0007549, -0.0003194, 3.587e-05, 0.0002204, 0.0003027, 0.0004277",\
                 "0.01274, 0.01166, 0.009802, 0.008123, 0.006867, 0.006023, 0.005408, 0.004888, 0.004705, 0.00443",\
                 "0.06773, 0.06305, 0.05226, 0.04136, 0.03261, 0.02596, 0.02105, 0.0174, 0.01468, 0.01267",\
                 "0.1684, 0.1602, 0.1387, 0.1139, 0.09205, 0.07471, 0.06093, 0.05015, 0.04179, 0.03502",\
                 "0.3192, 0.3078, 0.2763, 0.236, 0.1974, 0.1641, 0.137, 0.1149, 0.09683, 0.08203",\
                 "0.5233, 0.5093, 0.4691, 0.4139, 0.3568, 0.3042, 0.2593, 0.2216, 0.19, 0.1635",\
                 "0.7842, 0.7683, 0.7204, 0.652, 0.576, 0.5027, 0.4368, 0.3794, 0.3304, 0.2886",\
                 "1.105, 1.087, 1.033, 0.9528, 0.8596, 0.7653, 0.6759, 0.5962, 0.5261, 0.465",\
                 "1.489, 1.47, 1.411, 1.32, 1.21, 1.095, 0.9825, 0.8784, 0.7844, 0.7009");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.07094, 0.2497, 0.5912, 1.123, 1.87, 2.852, 4.089, 5.6, 7.4");
          index_2("0.001, 0.005933, 0.02325, 0.05632, 0.1078, 0.1801, 0.2753, 0.3951, 0.5414, 0.7158");
          values("0.2158, 0.2173, 0.2199, 0.2217, 0.223, 0.2246, 0.226, 0.2281, 0.2294, 0.234",\
                 "0.2136, 0.2146, 0.2172, 0.2197, 0.2217, 0.2241, 0.2253, 0.2277, 0.2294, 0.234",\
                 "0.2393, 0.2367, 0.2318, 0.2282, 0.2267, 0.2273, 0.2282, 0.2292, 0.2312, 0.2374",\
                 "0.3087, 0.3025, 0.2878, 0.2717, 0.2589, 0.2509, 0.2462, 0.2432, 0.2423, 0.2438",\
                 "0.4277, 0.4177, 0.3925, 0.3635, 0.3352, 0.3123, 0.2951, 0.2832, 0.2736, 0.2707",\
                 "0.6013, 0.5884, 0.5533, 0.5087, 0.4657, 0.426, 0.3916, 0.3638, 0.3421, 0.3298",\
                 "0.8335, 0.8183, 0.7744, 0.7159, 0.6551, 0.5976, 0.5446, 0.498, 0.4602, 0.4338",\
                 "1.129, 1.112, 1.061, 0.9883, 0.9091, 0.8337, 0.7613, 0.6946, 0.6341, 0.5933",\
                 "1.491, 1.473, 1.416, 1.332, 1.234, 1.137, 1.046, 0.9581, 0.879, 0.8209",\
                 "1.924, 1.904, 1.843, 1.747, 1.634, 1.516, 1.402, 1.295, 1.193, 1.128");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.07094, 0.2497, 0.5912, 1.123, 1.87, 2.852, 4.089, 5.6, 7.4");
          index_2("0.001, 0.005933, 0.02325, 0.05632, 0.1078, 0.1801, 0.2753, 0.3951, 0.5414, 0.7158");
          values("0.04519, 0.04526, 0.0453, 0.04539, 0.0456, 0.04559, 0.04559, 0.04569, 0.04563, 0.04569",\
                 "0.04156, 0.04143, 0.04139, 0.04164, 0.04163, 0.04164, 0.04164, 0.04165, 0.04165, 0.04168",\
                 "0.05441, 0.05262, 0.04921, 0.04593, 0.04348, 0.04186, 0.04097, 0.04025, 0.03981, 0.0395",\
                 "0.1119, 0.1068, 0.09406, 0.08056, 0.06963, 0.06139, 0.05551, 0.05129, 0.04822, 0.04605",\
                 "0.2261, 0.2171, 0.1927, 0.1634, 0.1366, 0.1152, 0.09864, 0.08593, 0.07635, 0.0689",\
                 "0.4017, 0.3891, 0.3532, 0.3061, 0.2591, 0.2181, 0.1846, 0.1579, 0.1364, 0.1196",\
                 "0.6422, 0.6268, 0.5807, 0.5157, 0.4468, 0.3823, 0.3265, 0.2797, 0.2413, 0.2097",\
                 "0.9509, 0.9332, 0.8788, 0.7978, 0.7067, 0.6171, 0.5352, 0.4636, 0.4029, 0.3516",\
                 "1.332, 1.312, 1.251, 1.156, 1.043, 0.9283, 0.8187, 0.7192, 0.6316, 0.5558",\
                 "1.787, 1.767, 1.7, 1.593, 1.461, 1.321, 1.183, 1.054, 0.9366, 0.8319");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.07094, 0.2497, 0.5912, 1.123, 1.87, 2.852, 4.089, 5.6, 7.4");
          index_2("0.001, 0.005933, 0.02325, 0.05632, 0.1078, 0.1801, 0.2753, 0.3951, 0.5414, 0.7158");
          values("0.2792, 0.2806, 0.2829, 0.2841, 0.2852, 0.2867, 0.2886, 0.29, 0.2934, 0.2955",\
                 "0.2734, 0.275, 0.2785, 0.2815, 0.2836, 0.2856, 0.2879, 0.29, 0.2927, 0.2981",\
                 "0.2855, 0.2843, 0.2829, 0.2828, 0.2839, 0.286, 0.2879, 0.2893, 0.2913, 0.296",\
                 "0.3534, 0.3471, 0.334, 0.321, 0.3113, 0.3058, 0.302, 0.3012, 0.301, 0.3056",\
                 "0.488, 0.4779, 0.4509, 0.4205, 0.393, 0.3713, 0.3549, 0.3426, 0.3348, 0.333",\
                 "0.6897, 0.6761, 0.6383, 0.5891, 0.5416, 0.499, 0.4632, 0.4347, 0.4112, 0.3995",\
                 "0.9604, 0.9447, 0.8984, 0.8326, 0.7628, 0.6984, 0.6404, 0.5898, 0.5477, 0.5183",\
                 "1.305, 1.288, 1.234, 1.155, 1.063, 0.9748, 0.8927, 0.8188, 0.7533, 0.7039",\
                 "1.728, 1.709, 1.65, 1.559, 1.448, 1.335, 1.228, 1.129, 1.037, 0.9687",\
                 "2.233, 2.213, 2.15, 2.049, 1.922, 1.785, 1.65, 1.524, 1.408, 1.323");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.07094, 0.2497, 0.5912, 1.123, 1.87, 2.852, 4.089, 5.6, 7.4");
          index_2("0.001, 0.005933, 0.02325, 0.05632, 0.1078, 0.1801, 0.2753, 0.3951, 0.5414, 0.7158");
          values("0.05042, 0.06193, 0.1014, 0.176, 0.2918, 0.4543, 0.6675, 0.9372, 1.265, 1.656",\
                 "0.06097, 0.07247, 0.1121, 0.1868, 0.3028, 0.465, 0.6792, 0.9475, 1.277, 1.668",\
                 "0.0745, 0.09271, 0.1452, 0.2246, 0.3397, 0.5017, 0.7151, 0.9838, 1.312, 1.703",\
                 "0.06334, 0.08984, 0.1651, 0.2747, 0.4107, 0.5741, 0.7855, 1.053, 1.381, 1.772",\
                 "0.02269, 0.05737, 0.1556, 0.2997, 0.4739, 0.6744, 0.9008, 1.167, 1.492, 1.881",\
                 "-0.0492, -0.0067, 0.1146, 0.2921, 0.5079, 0.7525, 1.024, 1.324, 1.654, 2.04",\
                 "-0.1546, -0.1045, 0.0387, 0.2488, 0.506, 0.7984, 1.119, 1.469, 1.847, 2.254",\
                 "-0.2955, -0.2381, -0.0737, 0.1678, 0.4656, 0.8049, 1.178, 1.582, 2.013, 2.476",\
                 "-0.473, -0.4098, -0.2247, 0.0474, 0.3835, 0.7693, 1.196, 1.656, 2.144, 2.665",\
                 "-0.6908, -0.6211, -0.4163, -0.1125, 0.2603, 0.6918, 1.17, 1.685, 2.235, 2.816");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.07094, 0.2497, 0.5912, 1.123, 1.87, 2.852, 4.089, 5.6, 7.4");
          index_2("0.001, 0.005933, 0.02325, 0.05632, 0.1078, 0.1801, 0.2753, 0.3951, 0.5414, 0.7158");
          values("0.0947, 0.1225, 0.2176, 0.3965, 0.6733, 1.061, 1.571, 2.214, 2.998, 3.932",\
                 "0.1029, 0.1303, 0.2252, 0.4048, 0.6823, 1.07, 1.58, 2.224, 3.008, 3.942",\
                 "0.1543, 0.1822, 0.2725, 0.4474, 0.7215, 1.108, 1.618, 2.26, 3.046, 3.978",\
                 "0.2421, 0.2759, 0.3777, 0.5503, 0.8166, 1.196, 1.701, 2.339, 3.121, 4.054",\
                 "0.3592, 0.4017, 0.5242, 0.7163, 0.9838, 1.353, 1.848, 2.478, 3.256, 4.181",\
                 "0.5072, 0.5583, 0.7065, 0.9268, 1.218, 1.592, 2.076, 2.694, 3.46, 4.38",\
                 "0.6869, 0.7486, 0.9227, 1.179, 1.503, 1.903, 2.393, 3, 3.752, 4.659",\
                 "0.9025, 0.9742, 1.174, 1.469, 1.833, 2.267, 2.787, 3.402, 4.14, 5.034",\
                 "1.155, 1.237, 1.464, 1.797, 2.207, 2.684, 3.237, 3.885, 4.633, 5.514",\
                 "1.448, 1.538, 1.795, 2.166, 2.622, 3.149, 3.746, 4.427, 5.211, 6.1");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.07094, 0.2497, 0.5912, 1.123, 1.87, 2.852, 4.089, 5.6, 7.4");
          index_2("0.001, 0.005933, 0.02325, 0.05632, 0.1078, 0.1801, 0.2753, 0.3951, 0.5414, 0.7158");
          values("0.051, 0.07002, 0.1372, 0.2652, 0.4643, 0.7457, 1.115, 1.578, 2.147, 2.823",\
                 "0.05298, 0.07034, 0.1372, 0.2649, 0.4646, 0.7445, 1.113, 1.579, 2.144, 2.824",\
                 "0.09256, 0.1114, 0.1688, 0.272, 0.4644, 0.7439, 1.114, 1.576, 2.144, 2.823",\
                 "0.1541, 0.1809, 0.2538, 0.3649, 0.5164, 0.7555, 1.112, 1.578, 2.143, 2.822",\
                 "0.2373, 0.2732, 0.3672, 0.5014, 0.6725, 0.8854, 1.172, 1.588, 2.143, 2.82",\
                 "0.3415, 0.3868, 0.5058, 0.6698, 0.8686, 1.105, 1.39, 1.733, 2.205, 2.829",\
                 "0.4636, 0.522, 0.67, 0.8686, 1.1, 1.365, 1.674, 2.032, 2.448, 2.98",\
                 "0.6032, 0.675, 0.858, 1.09, 1.359, 1.664, 2.004, 2.392, 2.831, 3.327",\
                 "0.7622, 0.8456, 1.065, 1.342, 1.652, 1.997, 2.379, 2.798, 3.266, 3.791",\
                 "0.9362, 1.035, 1.293, 1.62, 1.974, 2.361, 2.789, 3.25, 3.752, 4.312");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.07094, 0.2497, 0.5912, 1.123, 1.87, 2.852, 4.089, 5.6, 7.4");
          index_2("0.001, 0.005933, 0.02325, 0.05632, 0.1078, 0.1801, 0.2753, 0.3951, 0.5414, 0.7158");
          values("0.1547, 0.2033, 0.3733, 0.698, 1.205, 1.911, 2.841, 4.021, 5.445, 7.164",\
                 "0.1531, 0.2026, 0.3735, 0.6989, 1.202, 1.91, 2.843, 4.023, 5.455, 7.165",\
                 "0.1753, 0.2165, 0.3736, 0.6977, 1.203, 1.91, 2.84, 4.014, 5.458, 7.154",\
                 "0.227, 0.2708, 0.4199, 0.7076, 1.202, 1.91, 2.842, 4.016, 5.446, 7.151",\
                 "0.3101, 0.3592, 0.5084, 0.7854, 1.229, 1.913, 2.841, 4.015, 5.458, 7.151",\
                 "0.412, 0.4714, 0.641, 0.9134, 1.339, 1.965, 2.846, 4.013, 5.446, 7.167",\
                 "0.5332, 0.6014, 0.7994, 1.097, 1.511, 2.107, 2.931, 4.029, 5.447, 7.157",\
                 "0.6738, 0.7512, 0.9784, 1.31, 1.738, 2.325, 3.108, 4.146, 5.478, 7.153",\
                 "0.8336, 0.9262, 1.175, 1.55, 2.015, 2.599, 3.369, 4.36, 5.627, 7.21",\
                 "1.012, 1.111, 1.397, 1.811, 2.325, 2.934, 3.696, 4.672, 5.879, 7.399");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.07094, 0.2497, 0.5912, 1.123, 1.87, 2.852, 4.089, 5.6, 7.4");
          index_2("0.001, 0.005933, 0.02325, 0.05632, 0.1078, 0.1801, 0.2753, 0.3951, 0.5414, 0.7158");
          values("0.06936, 0.08201, 0.124, 0.2007, 0.3177, 0.4807, 0.6947, 0.9636, 1.292, 1.684",\
                 "0.07839, 0.09074, 0.1326, 0.2092, 0.3262, 0.4892, 0.703, 0.9721, 1.3, 1.692",\
                 "0.1036, 0.1198, 0.1682, 0.2452, 0.3613, 0.5236, 0.737, 1.006, 1.334, 1.726",\
                 "0.1111, 0.1337, 0.2012, 0.3036, 0.4343, 0.5962, 0.808, 1.076, 1.403, 1.794",\
                 "0.09613, 0.125, 0.2115, 0.3434, 0.5086, 0.7026, 0.9243, 1.189, 1.514, 1.903",\
                 "0.0582, 0.0925, 0.1971, 0.3578, 0.5598, 0.7936, 1.058, 1.352, 1.679, 2.064",\
                 "-0.0022, 0.037, 0.1567, 0.3446, 0.5831, 0.8596, 1.168, 1.508, 1.879, 2.282",\
                 "-0.087, -0.043, 0.0916, 0.304, 0.5772, 0.8951, 1.251, 1.639, 2.059, 2.514",\
                 "-0.197, -0.1484, 0.0006, 0.2358, 0.5406, 0.8997, 1.302, 1.741, 2.214, 2.72",\
                 "-0.3339, -0.2807, -0.1179, 0.1385, 0.4734, 0.8706, 1.318, 1.81, 2.337, 2.899");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.07094, 0.2497, 0.5912, 1.123, 1.87, 2.852, 4.089, 5.6, 7.4");
          index_2("0.001, 0.005933, 0.02325, 0.05632, 0.1078, 0.1801, 0.2753, 0.3951, 0.5414, 0.7158");
          values("0.1283, 0.1563, 0.251, 0.4297, 0.7061, 1.094, 1.604, 2.246, 3.03, 3.964",\
                 "0.1349, 0.1629, 0.259, 0.4387, 0.7165, 1.104, 1.614, 2.257, 3.042, 3.978",\
                 "0.1641, 0.1928, 0.2867, 0.464, 0.7408, 1.129, 1.638, 2.281, 3.066, 3.999",\
                 "0.221, 0.2532, 0.3527, 0.5275, 0.7962, 1.178, 1.684, 2.324, 3.107, 4.039",\
                 "0.3011, 0.3402, 0.4559, 0.6409, 0.9084, 1.279, 1.775, 2.407, 3.183, 4.111",\
                 "0.4019, 0.4479, 0.5843, 0.794, 1.074, 1.445, 1.927, 2.546, 3.311, 4.231",\
                 "0.5227, 0.576, 0.7342, 0.9736, 1.283, 1.668, 2.153, 2.757, 3.506, 4.411",\
                 "0.6647, 0.7252, 0.9048, 1.177, 1.522, 1.937, 2.436, 3.044, 3.78, 4.67",\
                 "0.8291, 0.8972, 1.099, 1.403, 1.785, 2.241, 2.771, 3.393, 4.133, 5.008",\
                 "1.017, 1.092, 1.315, 1.652, 2.075, 2.572, 3.144, 3.796, 4.549, 5.432");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.07094, 0.2497, 0.5912, 1.123, 1.87, 2.852, 4.089, 5.6, 7.4");
          index_2("0.001, 0.005933, 0.02325, 0.05632, 0.1078, 0.1801, 0.2753, 0.3951, 0.5414, 0.7158");
          values("0.08372, 0.1038, 0.173, 0.3023, 0.5022, 0.7824, 1.151, 1.613, 2.18, 2.853",\
                 "0.08188, 0.1027, 0.173, 0.3016, 0.5025, 0.7823, 1.151, 1.615, 2.18, 2.854",\
                 "0.1253, 0.1426, 0.1958, 0.3055, 0.5023, 0.7822, 1.151, 1.614, 2.18, 2.854",\
                 "0.2042, 0.2266, 0.2921, 0.3961, 0.5466, 0.7904, 1.151, 1.614, 2.18, 2.854",\
                 "0.3134, 0.3426, 0.422, 0.5437, 0.705, 0.914, 1.205, 1.624, 2.179, 2.853",\
                 "0.454, 0.4908, 0.5882, 0.7312, 0.912, 1.138, 1.416, 1.763, 2.238, 2.863",\
                 "0.627, 0.6724, 0.7932, 0.9582, 1.164, 1.411, 1.705, 2.06, 2.474, 3.01",\
                 "0.8346, 0.8886, 1.034, 1.23, 1.46, 1.732, 2.049, 2.421, 2.854, 3.348",\
                 "1.075, 1.14, 1.311, 1.542, 1.803, 2.105, 2.451, 2.842, 3.293, 3.813",\
                 "1.352, 1.427, 1.63, 1.893, 2.194, 2.525, 2.902, 3.321, 3.798, 4.334");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.07094, 0.2497, 0.5912, 1.123, 1.87, 2.852, 4.089, 5.6, 7.4");
          index_2("0.001, 0.005933, 0.02325, 0.05632, 0.1078, 0.1801, 0.2753, 0.3951, 0.5414, 0.7158");
          values("0.1568, 0.2044, 0.3737, 0.6978, 1.202, 1.913, 2.84, 4.013, 5.446, 7.152",\
                 "0.1576, 0.2051, 0.374, 0.698, 1.204, 1.913, 2.84, 4.015, 5.446, 7.162",\
                 "0.1815, 0.2219, 0.3781, 0.6974, 1.205, 1.909, 2.842, 4.019, 5.455, 7.167",\
                 "0.2522, 0.2878, 0.4251, 0.7139, 1.203, 1.909, 2.841, 4.02, 5.453, 7.153",\
                 "0.3642, 0.4027, 0.5328, 0.7906, 1.236, 1.913, 2.841, 4.022, 5.447, 7.153",\
                 "0.4976, 0.5416, 0.6884, 0.9388, 1.345, 1.969, 2.854, 4.015, 5.456, 7.165",\
                 "0.6518, 0.7058, 0.8718, 1.146, 1.532, 2.109, 2.935, 4.044, 5.447, 7.154",\
                 "0.835, 0.89, 1.075, 1.386, 1.792, 2.341, 3.106, 4.147, 5.499, 7.159",\
                 "1.047, 1.101, 1.304, 1.649, 2.101, 2.652, 3.381, 4.355, 5.628, 7.238",\
                 "1.291, 1.349, 1.561, 1.939, 2.434, 3.026, 3.747, 4.68, 5.874, 7.397");
        }
      }
    }
  }