/*
 * 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_4) {
    area : 35.123200 ;

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

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

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

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

    leakage_power() {
      related_pg_pin : "VDD" ;
      value : "3.70278e-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.01696 ;
      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.01851, 0.01848, 0.01838, 0.01833, 0.01835, 0.01835, 0.01834, \
                 0.01834, 0.01834, 0.01832");
        }

        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.01281, -0.0128, -0.01277, -0.01279, -0.01285, -0.01285, -0.01287, \
                 -0.01291, -0.01298, -0.01307");
        }
      }
    }

    pin(A2) {
      capacitance : 0.01711 ;
      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.01745, 0.01612, 0.01585, 0.01578, 0.0158, 0.01579, 0.01578, \
                 0.01579, 0.01578, 0.01577");
        }

        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.01583, -0.0158, -0.01574, -0.01572, -0.01575, -0.01573, -0.01573, \
                 -0.01572, -0.01572, -0.01572");
        }
      }
    }

    pin(ZN) {
      direction : output ;
      function : "((!A1)|(!A2))" ;
      max_capacitance : 0.7572 ;
      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.006219, 0.02454, 0.05953, 0.114, 0.1905, 0.2912, 0.4179, 0.5727, 0.7572");
          values("0.00553, 0.005556, 0.005629, 0.005671, 0.0057, 0.00571, 0.005719, 0.005721, 0.005721, 0.005721",\
                 "0.004672, 0.004948, 0.005308, 0.005486, 0.005569, 0.005618, 0.005636, 0.005654, 0.005668, 0.005671",\
                 "0.003229, 0.003614, 0.004346, 0.004929, 0.005217, 0.005389, 0.005505, 0.005557, 0.005604, 0.005619",\
                 "0.002225, 0.002515, 0.003348, 0.004128, 0.004684, 0.005019, 0.005233, 0.00537, 0.00544, 0.005501",\
                 "0.002002, 0.002167, 0.002696, 0.003472, 0.004117, 0.004589, 0.004896, 0.005114, 0.005252, 0.005348",\
                 "0.002476, 0.002506, 0.002644, 0.00311, 0.003711, 0.004212, 0.004574, 0.004851, 0.005043, 0.005178",\
                 "0.003595, 0.003436, 0.003202, 0.003272, 0.003583, 0.004004, 0.004362, 0.004649, 0.00487, 0.005026",\
                 "0.005317, 0.005006, 0.00437, 0.003944, 0.003903, 0.004079, 0.004346, 0.004576, 0.004789, 0.004924",\
                 "0.007691, 0.007209, 0.006197, 0.005263, 0.004748, 0.004576, 0.004618, 0.004726, 0.004844, 0.004913",\
                 "0.01072, 0.01008, 0.008645, 0.007183, 0.006138, 0.005506, 0.005266, 0.005158, 0.005125, 0.004958");
        }

        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.006219, 0.02454, 0.05953, 0.114, 0.1905, 0.2912, 0.4179, 0.5727, 0.7572");
          values("0.05212, 0.0525, 0.05285, 0.05302, 0.0533, 0.05359, 0.05373, 0.05427, 0.05573, 0.06656",\
                 "0.05052, 0.0512, 0.0523, 0.05307, 0.0535, 0.05404, 0.05508, 0.05477, 0.05591, 0.06737",\
                 "0.04819, 0.04881, 0.05026, 0.05163, 0.0527, 0.05393, 0.05397, 0.05454, 0.05755, 0.06819",\
                 "0.04738, 0.04774, 0.04865, 0.04996, 0.05155, 0.05224, 0.05341, 0.05515, 0.05529, 0.07145",\
                 "0.04758, 0.04761, 0.04804, 0.04893, 0.05011, 0.05152, 0.05273, 0.05432, 0.05581, 0.07551",\
                 "0.04831, 0.04823, 0.04817, 0.04872, 0.04946, 0.05039, 0.0517, 0.05287, 0.05576, 0.08609",\
                 "0.04957, 0.04935, 0.04892, 0.04881, 0.04945, 0.05005, 0.05093, 0.05244, 0.05887, 0.1024",\
                 "0.05145, 0.05106, 0.05025, 0.04983, 0.04963, 0.05012, 0.05063, 0.05276, 0.0655, 0.1437",\
                 "0.05389, 0.05335, 0.05226, 0.05127, 0.05051, 0.05069, 0.05119, 0.05417, 0.08706, 0.2316",\
                 "0.05704, 0.05633, 0.05485, 0.05359, 0.05233, 0.05165, 0.05266, 0.06748, 0.1596, 0.405");
        }
      }

      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.006219, 0.02454, 0.05953, 0.114, 0.1905, 0.2912, 0.4179, 0.5727, 0.7572");
          values("0.005499, 0.005556, 0.005626, 0.005692, 0.005692, 0.005691, 0.005708, 0.005703, 0.005708, 0.005709",\
                 "0.004906, 0.005084, 0.005358, 0.00553, 0.005603, 0.00566, 0.005663, 0.005675, 0.005681, 0.00569",\
                 "0.00361, 0.003944, 0.004587, 0.005055, 0.005318, 0.005458, 0.005538, 0.005583, 0.005629, 0.005623",\
                 "0.002493, 0.002816, 0.003615, 0.004354, 0.004829, 0.005124, 0.005302, 0.005404, 0.005492, 0.00554",\
                 "0.00195, 0.002194, 0.002829, 0.003629, 0.004268, 0.004697, 0.004976, 0.005172, 0.005311, 0.005392",\
                 "0.001854, 0.002012, 0.002443, 0.003099, 0.003754, 0.004276, 0.004645, 0.004911, 0.005091, 0.005219",\
                 "0.002185, 0.002218, 0.002459, 0.0029, 0.003427, 0.003935, 0.004344, 0.004645, 0.004871, 0.005025",\
                 "0.003032, 0.002975, 0.002947, 0.003097, 0.00339, 0.003792, 0.004163, 0.004475, 0.004711, 0.004874",\
                 "0.00446, 0.004271, 0.003931, 0.003737, 0.003743, 0.003922, 0.004177, 0.004442, 0.004651, 0.004774",\
                 "0.00656, 0.006207, 0.00551, 0.004884, 0.004546, 0.004435, 0.004492, 0.004602, 0.004737, 0.004705");
        }

        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.006219, 0.02454, 0.05953, 0.114, 0.1905, 0.2912, 0.4179, 0.5727, 0.7572");
          values("0.06738, 0.06744, 0.06745, 0.06752, 0.06774, 0.06812, 0.06843, 0.06877, 0.07004, 0.08232",\
                 "0.066, 0.06618, 0.06651, 0.06672, 0.06707, 0.0674, 0.06785, 0.06805, 0.06971, 0.08187",\
                 "0.06427, 0.0645, 0.0652, 0.06582, 0.06641, 0.06681, 0.06748, 0.06765, 0.06956, 0.08296",\
                 "0.06352, 0.06368, 0.06419, 0.06489, 0.06565, 0.06625, 0.06704, 0.06731, 0.06945, 0.08514",\
                 "0.06347, 0.06351, 0.06383, 0.06422, 0.065, 0.06573, 0.06614, 0.06715, 0.06943, 0.08983",\
                 "0.06406, 0.06405, 0.06389, 0.06426, 0.06472, 0.06514, 0.06601, 0.06691, 0.07049, 0.09941",\
                 "0.06517, 0.06499, 0.06468, 0.06449, 0.06484, 0.06501, 0.06569, 0.06647, 0.07305, 0.118",\
                 "0.0668, 0.06659, 0.0659, 0.06541, 0.0652, 0.06564, 0.06609, 0.06735, 0.08009, 0.1594",\
                 "0.06902, 0.06868, 0.06785, 0.06674, 0.06637, 0.06625, 0.06649, 0.06972, 0.1035, 0.2493",\
                 "0.07184, 0.07135, 0.07017, 0.06892, 0.06773, 0.06727, 0.06801, 0.08268, 0.1782, 0.4246");
        }
      }

      timing() {
        related_pin : "A1" ;
        timing_sense : negative_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.006219, 0.02454, 0.05953, 0.114, 0.1905, 0.2912, 0.4179, 0.5727, 0.7572");
          values("0.1418, 0.1746, 0.2893, 0.508, 0.8475, 1.326, 1.952, 2.745, 3.712, 4.862",\
                 "0.1645, 0.1982, 0.3141, 0.533, 0.874, 1.351, 1.978, 2.769, 3.738, 4.883",\
                 "0.246, 0.2861, 0.4053, 0.6257, 0.9663, 1.445, 2.072, 2.866, 3.831, 4.977",\
                 "0.3288, 0.3902, 0.5603, 0.8045, 1.146, 1.624, 2.252, 3.042, 4.011, 5.164",\
                 "0.3918, 0.4753, 0.7094, 1.037, 1.426, 1.906, 2.535, 3.326, 4.292, 5.44",\
                 "0.43, 0.538, 0.8379, 1.256, 1.748, 2.297, 2.931, 3.72, 4.686, 5.834",\
                 "0.4393, 0.5724, 0.9403, 1.455, 2.056, 2.723, 3.443, 4.245, 5.209, 6.359",\
                 "0.4187, 0.5764, 1.015, 1.628, 2.345, 3.132, 3.982, 4.886, 5.869, 7.017",\
                 "0.3651, 0.5475, 1.057, 1.773, 2.607, 3.525, 4.505, 5.547, 6.647, 7.825",\
                 "0.2781, 0.4841, 1.064, 1.883, 2.837, 3.889, 5.011, 6.197, 7.443, 8.746");
        }

        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.006219, 0.02454, 0.05953, 0.114, 0.1905, 0.2912, 0.4179, 0.5727, 0.7572");
          values("0.1885, 0.2371, 0.4045, 0.7216, 1.216, 1.909, 2.816, 3.967, 5.36, 7.037",\
                 "0.2165, 0.2672, 0.4389, 0.7584, 1.252, 1.944, 2.857, 4.006, 5.396, 7.076",\
                 "0.3332, 0.3836, 0.5567, 0.8799, 1.376, 2.073, 2.985, 4.134, 5.531, 7.203",\
                 "0.5268, 0.5988, 0.7934, 1.117, 1.616, 2.31, 3.224, 4.374, 5.778, 7.435",\
                 "0.7474, 0.8491, 1.122, 1.493, 1.993, 2.689, 3.604, 4.752, 6.154, 7.827",\
                 "0.9926, 1.126, 1.485, 1.971, 2.524, 3.222, 4.136, 5.286, 6.69, 8.351",\
                 "1.265, 1.428, 1.879, 2.488, 3.177, 3.925, 4.839, 5.99, 7.394, 9.066",\
                 "1.565, 1.761, 2.3, 3.039, 3.877, 4.77, 5.729, 6.877, 8.28, 9.952",\
                 "1.897, 2.123, 2.754, 3.625, 4.616, 5.675, 6.776, 7.966, 9.366, 11.04",\
                 "2.261, 2.52, 3.24, 4.246, 5.393, 6.622, 7.908, 9.231, 10.66, 12.33");
        }

        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.006219, 0.02454, 0.05953, 0.114, 0.1905, 0.2912, 0.4179, 0.5727, 0.7572");
          values("0.1641, 0.2187, 0.413, 0.7858, 1.362, 2.17, 3.229, 4.567, 6.206, 8.172",\
                 "0.1637, 0.2191, 0.4139, 0.7834, 1.36, 2.169, 3.234, 4.569, 6.214, 8.164",\
                 "0.2068, 0.2472, 0.4152, 0.7838, 1.362, 2.168, 3.229, 4.577, 6.218, 8.163",\
                 "0.3172, 0.3728, 0.5334, 0.8158, 1.36, 2.172, 3.24, 4.583, 6.218, 8.169",\
                 "0.4492, 0.5226, 0.7274, 1.031, 1.453, 2.175, 3.236, 4.58, 6.225, 8.174",\
                 "0.5934, 0.688, 0.9476, 1.316, 1.77, 2.353, 3.271, 4.573, 6.219, 8.179",\
                 "0.7512, 0.8662, 1.183, 1.628, 2.161, 2.778, 3.54, 4.665, 6.224, 8.163",\
                 "0.9106, 1.054, 1.436, 1.963, 2.587, 3.288, 4.08, 5.034, 6.387, 8.198",\
                 "1.081, 1.248, 1.701, 2.315, 3.034, 3.836, 4.72, 5.696, 6.86, 8.448",\
                 "1.262, 1.453, 1.976, 2.684, 3.502, 4.418, 5.398, 6.478, 7.65, 9.036");
        }

        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.006219, 0.02454, 0.05953, 0.114, 0.1905, 0.2912, 0.4179, 0.5727, 0.7572");
          values("0.2308, 0.3117, 0.5943, 1.135, 1.981, 3.162, 4.718, 6.682, 9.066, 11.94",\
                 "0.2311, 0.3114, 0.5957, 1.139, 1.981, 3.16, 4.736, 6.683, 9.075, 11.93",\
                 "0.2435, 0.314, 0.5958, 1.136, 1.983, 3.175, 4.724, 6.682, 9.111, 11.93",\
                 "0.3742, 0.4326, 0.6276, 1.137, 1.983, 3.164, 4.718, 6.701, 9.082, 11.93",\
                 "0.5394, 0.619, 0.8374, 1.208, 1.986, 3.169, 4.738, 6.702, 9.069, 11.94",\
                 "0.7184, 0.825, 1.111, 1.496, 2.089, 3.175, 4.727, 6.704, 9.086, 11.97",\
                 "0.9042, 1.041, 1.403, 1.885, 2.443, 3.311, 4.74, 6.7, 9.109, 11.95",\
                 "1.094, 1.264, 1.711, 2.304, 2.963, 3.724, 4.904, 6.718, 9.084, 11.97",\
                 "1.292, 1.492, 2.03, 2.735, 3.521, 4.367, 5.372, 6.906, 9.122, 11.96",\
                 "1.492, 1.725, 2.357, 3.188, 4.108, 5.08, 6.116, 7.42, 9.344, 12");
        }
      }

      timing() {
        related_pin : "A2" ;
        timing_sense : negative_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.006219, 0.02454, 0.05953, 0.114, 0.1905, 0.2912, 0.4179, 0.5727, 0.7572");
          values("0.1651, 0.1978, 0.3127, 0.5307, 0.8713, 1.349, 1.977, 2.767, 3.736, 4.88",\
                 "0.1929, 0.2261, 0.3414, 0.5606, 0.9002, 1.379, 2.007, 2.799, 3.76, 4.917",\
                 "0.267, 0.3042, 0.4223, 0.6422, 0.9829, 1.461, 2.09, 2.881, 3.843, 4.993",\
                 "0.352, 0.4022, 0.5516, 0.7894, 1.132, 1.61, 2.24, 3.031, 3.999, 5.145",\
                 "0.4256, 0.4946, 0.6897, 0.9802, 1.359, 1.842, 2.471, 3.264, 4.231, 5.383",\
                 "0.4752, 0.5654, 0.8188, 1.178, 1.621, 2.155, 2.796, 3.589, 4.557, 5.711",\
                 "0.4949, 0.6092, 0.9254, 1.368, 1.893, 2.501, 3.203, 4.015, 4.984, 6.139",\
                 "0.4811, 0.621, 1.006, 1.538, 2.161, 2.856, 3.639, 4.523, 5.52, 6.674",\
                 "0.4333, 0.5982, 1.055, 1.683, 2.409, 3.211, 4.088, 5.057, 6.134, 7.327",\
                 "0.3516, 0.541, 1.068, 1.798, 2.638, 3.554, 4.538, 5.607, 6.774, 8.054");
        }

        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.006219, 0.02454, 0.05953, 0.114, 0.1905, 0.2912, 0.4179, 0.5727, 0.7572");
          values("0.2524, 0.3011, 0.4697, 0.7879, 1.282, 1.973, 2.882, 4.027, 5.425, 7.09",\
                 "0.282, 0.3313, 0.5011, 0.8203, 1.314, 2.006, 2.915, 4.06, 5.458, 7.123",\
                 "0.4019, 0.4518, 0.6232, 0.9443, 1.44, 2.132, 3.042, 4.187, 5.585, 7.251",\
                 "0.6275, 0.6867, 0.8643, 1.185, 1.682, 2.375, 3.286, 4.432, 5.83, 7.496",\
                 "0.8945, 0.9784, 1.218, 1.566, 2.062, 2.756, 3.666, 4.812, 6.212, 7.878",\
                 "1.19, 1.299, 1.614, 2.063, 2.598, 3.292, 4.204, 5.349, 6.748, 8.415",\
                 "1.512, 1.649, 2.043, 2.607, 3.265, 3.999, 4.911, 6.057, 7.455, 9.122",\
                 "1.863, 2.026, 2.502, 3.187, 3.987, 4.855, 5.803, 6.949, 8.347, 10.01",\
                 "2.246, 2.436, 2.993, 3.801, 4.748, 5.776, 6.86, 8.039, 9.438, 11.1",\
                 "2.662, 2.879, 3.517, 4.451, 5.548, 6.746, 8.004, 9.309, 10.74, 12.4");
        }

        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.006219, 0.02454, 0.05953, 0.114, 0.1905, 0.2912, 0.4179, 0.5727, 0.7572");
          values("0.1633, 0.2188, 0.4134, 0.7853, 1.362, 2.169, 3.237, 4.567, 6.217, 8.163",\
                 "0.1635, 0.2189, 0.4133, 0.7856, 1.361, 2.168, 3.232, 4.579, 6.213, 8.172",\
                 "0.1864, 0.2339, 0.4149, 0.7841, 1.361, 2.174, 3.231, 4.57, 6.211, 8.164",\
                 "0.2598, 0.3134, 0.4858, 0.8058, 1.359, 2.169, 3.236, 4.57, 6.217, 8.163",\
                 "0.3668, 0.4284, 0.6138, 0.939, 1.427, 2.18, 3.233, 4.579, 6.217, 8.169",\
                 "0.4942, 0.5696, 0.7838, 1.126, 1.624, 2.302, 3.269, 4.576, 6.217, 8.173",\
                 "0.6412, 0.7292, 0.9824, 1.362, 1.877, 2.569, 3.457, 4.655, 6.224, 8.167",\
                 "0.798, 0.9064, 1.201, 1.637, 2.184, 2.892, 3.794, 4.909, 6.356, 8.192",\
                 "0.9648, 1.09, 1.438, 1.935, 2.538, 3.276, 4.197, 5.324, 6.686, 8.396",\
                 "1.141, 1.284, 1.689, 2.249, 2.922, 3.717, 4.656, 5.808, 7.182, 8.798");
        }

        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.006219, 0.02454, 0.05953, 0.114, 0.1905, 0.2912, 0.4179, 0.5727, 0.7572");
          values("0.2932, 0.3741, 0.6586, 1.199, 2.044, 3.225, 4.783, 6.741, 9.133, 11.99",\
                 "0.293, 0.3741, 0.6573, 1.199, 2.042, 3.226, 4.782, 6.747, 9.136, 11.99",\
                 "0.2935, 0.3744, 0.6576, 1.2, 2.043, 3.227, 4.783, 6.745, 9.132, 11.99",\
                 "0.3848, 0.4428, 0.6714, 1.199, 2.044, 3.227, 4.783, 6.747, 9.135, 11.99",\
                 "0.5478, 0.6268, 0.842, 1.247, 2.044, 3.227, 4.785, 6.743, 9.133, 11.98",\
                 "0.7312, 0.8326, 1.114, 1.502, 2.129, 3.233, 4.786, 6.745, 9.14, 11.99",\
                 "0.9254, 1.053, 1.408, 1.889, 2.459, 3.35, 4.8, 6.748, 9.143, 11.99",\
                 "1.119, 1.282, 1.719, 2.303, 2.97, 3.744, 4.946, 6.77, 9.142, 12",\
                 "1.326, 1.514, 2.041, 2.743, 3.523, 4.374, 5.394, 6.948, 9.172, 12",\
                 "1.53, 1.755, 2.37, 3.196, 4.108, 5.084, 6.116, 7.452, 9.386, 12.05");
        }
      }
    }
  }