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

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

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

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

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

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

      internal_power() {
        when : "A2" ;

        fall_power(pwr_tin_10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          values("0.006561, 0.00657, 0.006566, 0.006562, 0.006574, 0.006566, 0.006549, \
                 0.006526, 0.006488, 0.00643");
        }

        rise_power(pwr_tin_10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          values("-0.003441, -0.003465, -0.003471, -0.003482, -0.003497, -0.003498, \
                 -0.003496, -0.003501, -0.003496, -0.003496");
        }
      }
    }

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

      internal_power() {
        when : "A1" ;

        fall_power(pwr_tin_10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          values("0.008492, 0.008522, 0.008498, 0.008487, 0.008522, 0.008526, 0.008536, \
                 0.008526, 0.00852, 0.008528");
        }

        rise_power(pwr_tin_10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          values("-0.007563, -0.007773, -0.00799, -0.008116, -0.008207, -0.00825, \
                 -0.008273, -0.008292, -0.008304, -0.008318");
        }
      }
    }

    pin(Z) {
      direction : output ;
      function : "(A1|A2)" ;
      max_capacitance : 0.83 ;
      max_transition : 12 ;
      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.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.006722, 0.02681, 0.06516, 0.1249, 0.2088, 0.3191, 0.4581, 0.6278, 0.83");
          values("0.07121, 0.07143, 0.07225, 0.07323, 0.07394, 0.07439, 0.07467, 0.07485, 0.07497, 0.07505",\
                 "0.07061, 0.07086, 0.07174, 0.07269, 0.07341, 0.07387, 0.07415, 0.07433, 0.07444, 0.07452",\
                 "0.06966, 0.06992, 0.07074, 0.07169, 0.07243, 0.07289, 0.07317, 0.07335, 0.07346, 0.07355",\
                 "0.06907, 0.06931, 0.07006, 0.07097, 0.0717, 0.07219, 0.07251, 0.07272, 0.07285, 0.07294",\
                 "0.0689, 0.06906, 0.06967, 0.07046, 0.07124, 0.07179, 0.07216, 0.07241, 0.07257, 0.07269",\
                 "0.06924, 0.0693, 0.06969, 0.07036, 0.07109, 0.07167, 0.07208, 0.07236, 0.07258, 0.07272",\
                 "0.06982, 0.06981, 0.07001, 0.07063, 0.07124, 0.0718, 0.07227, 0.07258, 0.07279, 0.07298",\
                 "0.07084, 0.07072, 0.07079, 0.07119, 0.07175, 0.07232, 0.07278, 0.07312, 0.07335, 0.07354",\
                 "0.07224, 0.07197, 0.07183, 0.07207, 0.07256, 0.07308, 0.07354, 0.0739, 0.07416, 0.07435",\
                 "0.07392, 0.07351, 0.0732, 0.07333, 0.07376, 0.07417, 0.07462, 0.07498, 0.07527, 0.07547");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.006722, 0.02681, 0.06516, 0.1249, 0.2088, 0.3191, 0.4581, 0.6278, 0.83");
          values("0.03806, 0.0387, 0.04015, 0.04137, 0.04212, 0.04259, 0.0439, 0.04508, 0.04487, 0.06189",\
                 "0.03812, 0.03879, 0.04028, 0.0414, 0.04225, 0.04273, 0.04316, 0.04517, 0.04487, 0.06015",\
                 "0.03778, 0.03834, 0.03957, 0.04075, 0.04174, 0.04237, 0.04367, 0.04488, 0.04474, 0.06066",\
                 "0.03705, 0.03743, 0.0385, 0.03953, 0.04068, 0.04161, 0.0419, 0.04261, 0.04667, 0.06245",\
                 "0.03648, 0.03673, 0.03749, 0.03868, 0.03964, 0.04082, 0.04172, 0.04272, 0.04618, 0.06755",\
                 "0.03631, 0.03648, 0.03703, 0.03791, 0.03928, 0.04016, 0.04134, 0.04211, 0.04497, 0.07488",\
                 "0.03646, 0.03664, 0.03706, 0.03786, 0.03857, 0.04016, 0.04062, 0.04148, 0.04656, 0.0861",\
                 "0.03705, 0.03721, 0.03763, 0.03811, 0.03893, 0.03996, 0.04136, 0.04213, 0.05003, 0.1053",\
                 "0.03805, 0.03813, 0.0384, 0.03883, 0.03956, 0.03989, 0.04139, 0.04343, 0.05699, 0.1406",\
                 "0.03938, 0.03936, 0.03955, 0.04002, 0.04059, 0.04088, 0.04214, 0.04524, 0.0732, 0.2049");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.006722, 0.02681, 0.06516, 0.1249, 0.2088, 0.3191, 0.4581, 0.6278, 0.83");
          values("0.07636, 0.07661, 0.07741, 0.07841, 0.07913, 0.07958, 0.07985, 0.08003, 0.08014, 0.08022",\
                 "0.07592, 0.07621, 0.07701, 0.07799, 0.07873, 0.07918, 0.07946, 0.07963, 0.07975, 0.07983",\
                 "0.07515, 0.07541, 0.07625, 0.07721, 0.07794, 0.07839, 0.07868, 0.07885, 0.07897, 0.07904",\
                 "0.07463, 0.07486, 0.07566, 0.07661, 0.07735, 0.07782, 0.07812, 0.07831, 0.07844, 0.07852",\
                 "0.07433, 0.07456, 0.07525, 0.07611, 0.07686, 0.0774, 0.07773, 0.07796, 0.07809, 0.07817",\
                 "0.07429, 0.0744, 0.07497, 0.07579, 0.07654, 0.07711, 0.07746, 0.07772, 0.07788, 0.078",\
                 "0.07438, 0.07441, 0.07486, 0.07558, 0.0763, 0.07688, 0.07726, 0.07754, 0.07774, 0.07787",\
                 "0.07473, 0.0747, 0.07501, 0.07557, 0.07628, 0.07685, 0.07729, 0.0776, 0.07782, 0.07796",\
                 "0.07533, 0.07523, 0.07533, 0.07584, 0.07645, 0.07703, 0.07751, 0.07784, 0.07808, 0.07823",\
                 "0.07637, 0.07615, 0.07616, 0.07645, 0.07702, 0.07756, 0.07803, 0.07839, 0.07866, 0.07884");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.006722, 0.02681, 0.06516, 0.1249, 0.2088, 0.3191, 0.4581, 0.6278, 0.83");
          values("0.04307, 0.04373, 0.04494, 0.04613, 0.0471, 0.04776, 0.04841, 0.04888, 0.05039, 0.06519",\
                 "0.0428, 0.04338, 0.04462, 0.04582, 0.04679, 0.04733, 0.04812, 0.04849, 0.04985, 0.06554",\
                 "0.04222, 0.04274, 0.04383, 0.04505, 0.04605, 0.04665, 0.04769, 0.04795, 0.04976, 0.06629",\
                 "0.04158, 0.04199, 0.04297, 0.04395, 0.04504, 0.04598, 0.04711, 0.04748, 0.05044, 0.06838",\
                 "0.04118, 0.04143, 0.04222, 0.04319, 0.04425, 0.04512, 0.04612, 0.04712, 0.05031, 0.07228",\
                 "0.04109, 0.0413, 0.04189, 0.04271, 0.044, 0.04476, 0.04592, 0.04635, 0.04977, 0.07953",\
                 "0.04129, 0.04142, 0.04189, 0.04249, 0.04357, 0.04492, 0.04537, 0.04671, 0.05162, 0.09181",\
                 "0.0419, 0.04202, 0.04245, 0.04296, 0.04339, 0.0447, 0.04607, 0.04656, 0.05573, 0.1124",\
                 "0.04278, 0.04284, 0.04305, 0.04359, 0.04398, 0.04503, 0.04604, 0.04868, 0.06335, 0.1495",\
                 "0.04408, 0.04408, 0.04431, 0.04465, 0.04546, 0.04569, 0.0467, 0.0503, 0.07926, 0.2173");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.006722, 0.02681, 0.06516, 0.1249, 0.2088, 0.3191, 0.4581, 0.6278, 0.83");
          values("1.021, 1.087, 1.25, 1.467, 1.735, 2.061, 2.461, 2.95, 3.54, 4.241",\
                 "1.039, 1.105, 1.268, 1.486, 1.753, 2.079, 2.479, 2.968, 3.558, 4.26",\
                 "1.131, 1.197, 1.359, 1.577, 1.845, 2.171, 2.571, 3.059, 3.65, 4.351",\
                 "1.337, 1.403, 1.565, 1.783, 2.051, 2.377, 2.777, 3.266, 3.856, 4.557",\
                 "1.674, 1.74, 1.902, 2.12, 2.388, 2.714, 3.114, 3.603, 4.193, 4.895",\
                 "2.106, 2.177, 2.349, 2.573, 2.844, 3.172, 3.573, 4.061, 4.652, 5.353",\
                 "2.57, 2.651, 2.84, 3.077, 3.358, 3.693, 4.098, 4.588, 5.178, 5.879",\
                 "3.063, 3.152, 3.361, 3.616, 3.907, 4.249, 4.657, 5.152, 5.745, 6.447",\
                 "3.584, 3.682, 3.911, 4.186, 4.492, 4.841, 5.254, 5.749, 6.344, 7.049",\
                 "4.138, 4.242, 4.493, 4.792, 5.111, 5.47, 5.888, 6.385, 6.98, 7.684");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.006722, 0.02681, 0.06516, 0.1249, 0.2088, 0.3191, 0.4581, 0.6278, 0.83");
          values("0.378, 0.4339, 0.6121, 0.9383, 1.44, 2.143, 3.067, 4.226, 5.647, 7.335",\
                 "0.4088, 0.4648, 0.6432, 0.9698, 1.472, 2.173, 3.098, 4.257, 5.678, 7.37",\
                 "0.5155, 0.5709, 0.7482, 1.075, 1.578, 2.282, 3.205, 4.367, 5.777, 7.478",\
                 "0.689, 0.7458, 0.9234, 1.249, 1.753, 2.456, 3.381, 4.544, 5.961, 7.641",\
                 "0.8609, 0.9218, 1.103, 1.43, 1.933, 2.636, 3.561, 4.724, 6.137, 7.831",\
                 "1.014, 1.081, 1.268, 1.595, 2.098, 2.801, 3.724, 4.886, 6.302, 7.995",\
                 "1.143, 1.217, 1.413, 1.74, 2.243, 2.947, 3.87, 5.03, 6.451, 8.137",\
                 "1.241, 1.324, 1.533, 1.862, 2.364, 3.067, 3.99, 5.151, 6.568, 8.256",\
                 "1.307, 1.399, 1.622, 1.956, 2.457, 3.159, 4.081, 5.244, 6.661, 8.348",\
                 "1.335, 1.435, 1.678, 2.019, 2.519, 3.22, 4.142, 5.304, 6.721, 8.41");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.006722, 0.02681, 0.06516, 0.1249, 0.2088, 0.3191, 0.4581, 0.6278, 0.83");
          values("0.2699, 0.3198, 0.4584, 0.679, 1, 1.447, 2.054, 2.85, 3.838, 5.033",\
                 "0.269, 0.3192, 0.4582, 0.6786, 1, 1.445, 2.056, 2.849, 3.837, 5.032",\
                 "0.2698, 0.3196, 0.4582, 0.6792, 1, 1.447, 2.053, 2.85, 3.836, 5.026",\
                 "0.2694, 0.3206, 0.4586, 0.6792, 0.999, 1.446, 2.054, 2.851, 3.84, 5.031",\
                 "0.2722, 0.3218, 0.4606, 0.6808, 1, 1.447, 2.056, 2.849, 3.838, 5.029",\
                 "0.31, 0.3582, 0.4868, 0.6982, 1.013, 1.454, 2.059, 2.851, 3.838, 5.025",\
                 "0.3618, 0.4136, 0.5406, 0.7432, 1.048, 1.483, 2.077, 2.86, 3.844, 5.029",\
                 "0.413, 0.4714, 0.6044, 0.7972, 1.09, 1.515, 2.105, 2.883, 3.856, 5.038",\
                 "0.4644, 0.5292, 0.6724, 0.8614, 1.139, 1.549, 2.128, 2.9, 3.872, 5.052",\
                 "0.516, 0.586, 0.742, 0.934, 1.198, 1.594, 2.156, 2.914, 3.888, 5.062");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.006722, 0.02681, 0.06516, 0.1249, 0.2088, 0.3191, 0.4581, 0.6278, 0.83");
          values("0.1721, 0.2475, 0.5252, 1.072, 1.927, 3.123, 4.715, 6.703, 9.109, 12.05",\
                 "0.1727, 0.2475, 0.5245, 1.071, 1.924, 3.128, 4.703, 6.703, 9.107, 12.01",\
                 "0.1728, 0.2473, 0.5256, 1.071, 1.926, 3.127, 4.716, 6.71, 9.113, 12",\
                 "0.184, 0.2556, 0.5262, 1.072, 1.928, 3.132, 4.703, 6.691, 9.139, 12",\
                 "0.209, 0.2756, 0.536, 1.074, 1.925, 3.13, 4.716, 6.711, 9.13, 12",\
                 "0.24, 0.3028, 0.5484, 1.08, 1.929, 3.124, 4.707, 6.697, 9.121, 12.04",\
                 "0.2766, 0.338, 0.5662, 1.085, 1.932, 3.128, 4.707, 6.687, 9.122, 12.04",\
                 "0.3166, 0.3784, 0.5928, 1.091, 1.937, 3.134, 4.704, 6.69, 9.11, 12.01",\
                 "0.3586, 0.4234, 0.6266, 1.103, 1.939, 3.136, 4.706, 6.691, 9.113, 12.02",\
                 "0.4016, 0.4724, 0.6684, 1.119, 1.941, 3.137, 4.71, 6.696, 9.116, 12");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.006722, 0.02681, 0.06516, 0.1249, 0.2088, 0.3191, 0.4581, 0.6278, 0.83");
          values("1.1, 1.165, 1.328, 1.546, 1.813, 2.14, 2.539, 3.028, 3.618, 4.32",\
                 "1.128, 1.194, 1.356, 1.574, 1.842, 2.168, 2.568, 3.057, 3.647, 4.349",\
                 "1.232, 1.298, 1.46, 1.678, 1.946, 2.272, 2.672, 3.161, 3.751, 4.453",\
                 "1.419, 1.484, 1.647, 1.865, 2.132, 2.459, 2.858, 3.347, 3.938, 4.639",\
                 "1.697, 1.763, 1.926, 2.145, 2.412, 2.738, 3.138, 3.627, 4.217, 4.918",\
                 "2.045, 2.115, 2.286, 2.51, 2.783, 3.11, 3.512, 4, 4.591, 5.293",\
                 "2.434, 2.508, 2.691, 2.927, 3.21, 3.546, 3.951, 4.442, 5.032, 5.733",\
                 "2.862, 2.942, 3.136, 3.386, 3.679, 4.024, 4.434, 4.928, 5.521, 6.223",\
                 "3.328, 3.415, 3.621, 3.884, 4.189, 4.543, 4.96, 5.457, 6.052, 6.755",\
                 "3.83, 3.923, 4.144, 4.422, 4.74, 5.104, 5.528, 6.029, 6.625, 7.329");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.006722, 0.02681, 0.06516, 0.1249, 0.2088, 0.3191, 0.4581, 0.6278, 0.83");
          values("0.4097, 0.4661, 0.6453, 0.973, 1.476, 2.178, 3.099, 4.261, 5.678, 7.364",\
                 "0.4393, 0.4957, 0.6749, 1.002, 1.505, 2.208, 3.129, 4.291, 5.707, 7.394",\
                 "0.5455, 0.6016, 0.78, 1.107, 1.61, 2.313, 3.235, 4.396, 5.811, 7.499",\
                 "0.7303, 0.7869, 0.9648, 1.292, 1.795, 2.498, 3.42, 4.581, 5.998, 7.687",\
                 "0.9225, 0.9828, 1.164, 1.491, 1.994, 2.698, 3.621, 4.781, 6.197, 7.887",\
                 "1.099, 1.164, 1.351, 1.678, 2.182, 2.885, 3.809, 4.969, 6.387, 8.074",\
                 "1.253, 1.325, 1.519, 1.847, 2.351, 3.053, 3.977, 5.138, 6.555, 8.244",\
                 "1.379, 1.459, 1.663, 1.993, 2.495, 3.198, 4.122, 5.283, 6.699, 8.387",\
                 "1.472, 1.56, 1.777, 2.11, 2.612, 3.315, 4.238, 5.399, 6.817, 8.505",\
                 "1.53, 1.627, 1.861, 2.199, 2.701, 3.402, 4.325, 5.486, 6.904, 8.593");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.006722, 0.02681, 0.06516, 0.1249, 0.2088, 0.3191, 0.4581, 0.6278, 0.83");
          values("0.27, 0.3196, 0.4586, 0.679, 1, 1.447, 2.054, 2.85, 3.839, 5.033",\
                 "0.2694, 0.319, 0.4582, 0.679, 0.9994, 1.446, 2.055, 2.85, 3.84, 5.033",\
                 "0.269, 0.32, 0.4584, 0.6804, 1, 1.445, 2.055, 2.848, 3.837, 5.026",\
                 "0.2692, 0.3212, 0.4584, 0.6792, 1, 1.447, 2.055, 2.848, 3.839, 5.033",\
                 "0.2722, 0.3222, 0.4606, 0.6808, 1, 1.446, 2.056, 2.85, 3.838, 5.028",\
                 "0.2972, 0.3474, 0.4832, 0.699, 1.011, 1.454, 2.059, 2.85, 3.841, 5.03",\
                 "0.3256, 0.3782, 0.5188, 0.7378, 1.049, 1.482, 2.076, 2.859, 3.844, 5.029",\
                 "0.3572, 0.4126, 0.5572, 0.779, 1.091, 1.517, 2.105, 2.879, 3.851, 5.038",\
                 "0.3934, 0.4514, 0.5998, 0.8224, 1.133, 1.556, 2.136, 2.9, 3.866, 5.044",\
                 "0.434, 0.494, 0.648, 0.874, 1.18, 1.598, 2.168, 2.92, 3.884, 5.056");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.006722, 0.02681, 0.06516, 0.1249, 0.2088, 0.3191, 0.4581, 0.6278, 0.83");
          values("0.1758, 0.2509, 0.5283, 1.073, 1.927, 3.127, 4.709, 6.692, 9.12, 12.02",\
                 "0.1757, 0.2508, 0.5282, 1.074, 1.927, 3.129, 4.708, 6.696, 9.124, 12.02",\
                 "0.1756, 0.2507, 0.5282, 1.073, 1.929, 3.13, 4.71, 6.691, 9.128, 12.03",\
                 "0.1832, 0.255, 0.5282, 1.073, 1.928, 3.128, 4.709, 6.699, 9.129, 12.02",\
                 "0.2054, 0.273, 0.5358, 1.076, 1.928, 3.13, 4.709, 6.699, 9.129, 12.03",\
                 "0.2332, 0.2984, 0.5478, 1.08, 1.93, 3.127, 4.709, 6.693, 9.115, 12.02",\
                 "0.2662, 0.3288, 0.5632, 1.085, 1.935, 3.128, 4.708, 6.696, 9.115, 12.02",\
                 "0.3042, 0.3672, 0.5866, 1.09, 1.937, 3.134, 4.706, 6.693, 9.119, 12.01",\
                 "0.3416, 0.4062, 0.6142, 1.101, 1.943, 3.134, 4.712, 6.691, 9.112, 12.02",\
                 "0.3818, 0.4504, 0.651, 1.113, 1.945, 3.139, 4.71, 6.694, 9.116, 12");
        }
      }
    }
  }