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

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

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

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

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

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

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

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

      internal_power() {
        when : "!A2" ;

        fall_power(pwr_tin_10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          values("0.003714, 0.003712, 0.003697, 0.003686, 0.003675, 0.003669, 0.003661, \
                  0.003651, 0.00339, 0.002558");
        }

        rise_power(pwr_tin_10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          values("-0.002573, -0.002575, -0.002579, -0.002585, -0.002594, -0.002611, \
                  -0.00264, -0.002703, -0.002787, -0.002598");
        }
      }
    }

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

      internal_power() {
        when : "!A1" ;

        fall_power(pwr_tin_10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          values("0.003425, 0.003199, 0.003133, 0.003124, 0.003111, 0.003101, 0.003097, \
                  0.003087, 0.002857, 0.002111");
        }

        rise_power(pwr_tin_10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          values("-0.003074, -0.003082, -0.003088, -0.003151, -0.003111, -0.003116, \
                  -0.003118, -0.003119, -0.003001, -0.002597");
        }
      }
    }

    pin(ZN) {
      direction : output ;
      function : "((!A1)|(!A2))" ;
      max_capacitance : 0.176 ;
      max_transition : 25 ;
      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.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.002208, 0.006447, 0.01454, 0.02716, 0.04486, 0.06814, 0.09748, 0.1333, 0.176");
          values("0.001349, 0.001351, 0.001347, 0.001346, 0.001348, 0.001348, 0.001348, 0.001346, 0.00133, 0.001242",\
                 "0.001234, 0.00125, 0.001288, 0.001314, 0.001326, 0.001333, 0.001335, 0.001337, 0.001323, 0.00123",\
                 "0.0009681, 0.001024, 0.001138, 0.001225, 0.001261, 0.001286, 0.001304, 0.001311, 0.001297, 0.001199",\
                 "0.0007461, 0.0008015, 0.0009376, 0.001075, 0.001166, 0.001225, 0.001257, 0.001278, 0.001263, 0.001145",\
                 "0.0006083, 0.0006536, 0.0007785, 0.0009282, 0.001052, 0.00114, 0.001197, 0.00123, 0.001205, 0.001046",\
                 "0.000561, 0.00059, 0.0006807, 0.0008121, 0.0009428, 0.001048, 0.001125, 0.001163, 0.001105, 0.0008632",\
                 "0.0005824, 0.0005946, 0.0006471, 0.0007441, 0.0008587, 0.0009663, 0.001049, 0.001063, 0.0008936, 0.0005268",\
                 "0.0006667, 0.0006649, 0.0006747, 0.0007262, 0.0008094, 0.0009038, 0.000947, 0.0007873, 0.0003879, -3.924e-05",\
                 "0.0008803, 0.0008665, 0.0008341, 0.000837, 0.0008781, 0.0008518, 0.0004599, -7.201e-05, -0.0004673, -0.0007491",\
                 "0.001385, 0.001354, 0.001284, 0.001219, 0.0007098, -5.786e-05, -0.0005331, -0.0008238, -0.001006, -0.001124");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.002208, 0.006447, 0.01454, 0.02716, 0.04486, 0.06814, 0.09748, 0.1333, 0.176");
          values("0.007866, 0.007883, 0.007862, 0.007859, 0.007848, 0.007814, 0.007984, 0.0117, 0.03272, 0.0819",\
                 "0.007661, 0.007728, 0.007868, 0.007934, 0.00796, 0.007955, 0.008158, 0.01205, 0.03377, 0.08324",\
                 "0.007217, 0.007308, 0.007505, 0.0077, 0.007801, 0.007899, 0.008203, 0.01276, 0.03651, 0.08712",\
                 "0.006927, 0.006977, 0.007151, 0.00741, 0.007561, 0.00768, 0.008226, 0.01441, 0.04224, 0.09434",\
                 "0.006844, 0.006893, 0.006972, 0.007132, 0.007341, 0.007474, 0.008463, 0.01814, 0.05252, 0.1046",\
                 "0.006844, 0.006844, 0.006911, 0.006979, 0.007129, 0.007389, 0.009749, 0.02672, 0.06833, 0.1152",\
                 "0.006898, 0.006891, 0.006906, 0.006945, 0.006998, 0.007583, 0.01518, 0.0447, 0.08586, 0.1195",\
                 "0.007003, 0.006987, 0.006961, 0.006953, 0.007143, 0.01162, 0.03445, 0.06593, 0.08989, 0.1069",\
                 "0.006967, 0.00694, 0.006889, 0.007153, 0.01491, 0.03246, 0.04542, 0.0539, 0.05963, 0.06357",\
                 "0.006339, 0.006287, 0.007533, 0.01168, 0.01497, 0.01704, 0.01834, 0.01915, 0.01972, 0.02009");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.002208, 0.006447, 0.01454, 0.02716, 0.04486, 0.06814, 0.09748, 0.1333, 0.176");
          values("0.001329, 0.001333, 0.001339, 0.001339, 0.00134, 0.001342, 0.001342, 0.001341, 0.001324, 0.001235",\
                 "0.001252, 0.00127, 0.001298, 0.001317, 0.001328, 0.001333, 0.001336, 0.001337, 0.001319, 0.001228",\
                 "0.00105, 0.001091, 0.001175, 0.001239, 0.001277, 0.0013, 0.001308, 0.001317, 0.0013, 0.0012",\
                 "0.0008479, 0.0008949, 0.001013, 0.001127, 0.001202, 0.001247, 0.001276, 0.00129, 0.001273, 0.001153",\
                 "0.0006989, 0.0007454, 0.0008605, 0.0009949, 0.0011, 0.001173, 0.00122, 0.001246, 0.001221, 0.001062",\
                 "0.0006122, 0.0006496, 0.0007507, 0.0008794, 0.0009985, 0.00109, 0.001157, 0.001191, 0.001132, 0.0008981",\
                 "0.0005671, 0.0005953, 0.000675, 0.0007873, 0.0009063, 0.001009, 0.001085, 0.0011, 0.0009469, 0.0005939",\
                 "0.0005566, 0.0005772, 0.000638, 0.0007299, 0.0008359, 0.0009372, 0.0009909, 0.000877, 0.0005129, 7.76e-05",\
                 "0.000651, 0.0006645, 0.0007077, 0.0007755, 0.000861, 0.0009071, 0.0006809, 0.0001878, -0.0002566, -0.0005785",\
                 "0.001009, 0.001016, 0.00104, 0.001076, 0.0008832, 0.0002037, -0.0003399, -0.0006788, -0.0008923, -0.001032");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.002208, 0.006447, 0.01454, 0.02716, 0.04486, 0.06814, 0.09748, 0.1333, 0.176");
          values("0.01044, 0.01043, 0.01043, 0.01041, 0.01037, 0.01033, 0.01052, 0.01432, 0.0359, 0.08519",\
                 "0.01018, 0.01019, 0.01021, 0.01022, 0.0102, 0.01018, 0.01035, 0.01432, 0.03642, 0.08607",\
                 "0.009859, 0.009899, 0.009976, 0.01004, 0.01006, 0.01005, 0.01031, 0.01501, 0.03918, 0.08987",\
                 "0.009648, 0.009671, 0.009756, 0.009853, 0.009914, 0.009933, 0.0104, 0.01677, 0.04508, 0.09708",\
                 "0.009555, 0.00957, 0.009612, 0.009701, 0.009757, 0.00982, 0.01077, 0.02062, 0.05548, 0.1072",\
                 "0.009525, 0.00953, 0.009552, 0.009584, 0.009637, 0.009761, 0.01222, 0.02963, 0.07132, 0.1174",\
                 "0.009542, 0.009531, 0.009551, 0.009547, 0.00955, 0.01011, 0.01794, 0.04785, 0.08848, 0.1212",\
                 "0.009594, 0.009576, 0.009552, 0.009566, 0.009715, 0.01457, 0.03775, 0.06839, 0.09145, 0.1076",\
                 "0.009463, 0.009444, 0.009413, 0.009771, 0.01816, 0.03487, 0.04666, 0.05427, 0.05956, 0.06326",\
                 "0.008693, 0.00861, 0.009872, 0.01293, 0.01517, 0.0168, 0.01791, 0.01863, 0.01914, 0.01948");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.002208, 0.006447, 0.01454, 0.02716, 0.04486, 0.06814, 0.09748, 0.1333, 0.176");
          values("0.3685, 0.4354, 0.6701, 1.119, 1.817, 2.798, 4.088, 5.711, 7.696, 10.06",\
                 "0.4229, 0.4908, 0.7274, 1.177, 1.876, 2.856, 4.146, 5.769, 7.756, 10.12",\
                 "0.6359, 0.7063, 0.9451, 1.397, 2.097, 3.078, 4.368, 5.994, 7.976, 10.34",\
                 "0.9338, 1.04, 1.349, 1.821, 2.522, 3.502, 4.793, 6.42, 8.405, 10.77",\
                 "1.229, 1.377, 1.806, 2.428, 3.186, 4.168, 5.46, 7.085, 9.069, 11.43",\
                 "1.506, 1.702, 2.262, 3.066, 4.025, 5.1, 6.395, 8.019, 10, 12.37",\
                 "1.751, 1.998, 2.709, 3.707, 4.888, 6.199, 7.617, 9.253, 11.24, 13.6",\
                 "1.957, 2.261, 3.127, 4.343, 5.762, 7.326, 9.003, 10.79, 12.79, 15.15",\
                 "2.11, 2.478, 3.507, 4.959, 6.626, 8.463, 10.42, 12.48, 14.66, 17.05",\
                 "2.201, 2.634, 3.847, 5.54, 7.486, 9.598, 11.84, 14.21, 16.69, 19.28");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.002208, 0.006447, 0.01454, 0.02716, 0.04486, 0.06814, 0.09748, 0.1333, 0.176");
          values("0.5109, 0.6112, 0.96, 1.626, 2.663, 4.115, 6.027, 8.441, 11.38, 14.88",\
                 "0.5823, 0.686, 1.043, 1.713, 2.753, 4.205, 6.123, 8.534, 11.47, 14.97",\
                 "0.8453, 0.9498, 1.312, 1.99, 3.032, 4.494, 6.406, 8.822, 11.76, 15.26",\
                 "1.357, 1.478, 1.846, 2.526, 3.575, 5.036, 6.958, 9.373, 12.32, 15.82",\
                 "1.992, 2.167, 2.659, 3.376, 4.425, 5.891, 7.81, 10.22, 13.17, 16.68",\
                 "2.715, 2.95, 3.611, 4.526, 5.627, 7.09, 9.014, 11.43, 14.37, 17.89",\
                 "3.524, 3.825, 4.662, 5.833, 7.163, 8.679, 10.6, 13.02, 15.97, 19.47",\
                 "4.41, 4.784, 5.822, 7.258, 8.895, 10.64, 12.6, 15.02, 17.97, 21.48",\
                 "5.386, 5.829, 7.077, 8.795, 10.76, 12.84, 15.02, 17.47, 20.42, 23.92",\
                 "6.44, 6.96, 8.424, 10.45, 12.74, 15.18, 17.73, 20.36, 23.34, 26.86");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.002208, 0.006447, 0.01454, 0.02716, 0.04486, 0.06814, 0.09748, 0.1333, 0.176");
          values("0.4597, 0.5721, 0.9686, 1.724, 2.901, 4.551, 6.719, 9.461, 12.8, 16.77",\
                 "0.4605, 0.5725, 0.968, 1.725, 2.9, 4.551, 6.719, 9.455, 12.79, 16.77",\
                 "0.4938, 0.5892, 0.9696, 1.722, 2.9, 4.549, 6.718, 9.452, 12.8, 16.78",\
                 "0.7474, 0.843, 1.137, 1.752, 2.9, 4.549, 6.723, 9.452, 12.79, 16.77",\
                 "1.067, 1.191, 1.56, 2.125, 3.015, 4.555, 6.721, 9.457, 12.79, 16.77",\
                 "1.439, 1.594, 2.044, 2.723, 3.593, 4.815, 6.757, 9.454, 12.8, 16.77",\
                 "1.864, 2.049, 2.592, 3.401, 4.405, 5.594, 7.18, 9.56, 12.8, 16.77",\
                 "2.329, 2.553, 3.198, 4.144, 5.3, 6.646, 8.172, 10.17, 13.01, 16.8",\
                 "2.856, 3.108, 3.856, 4.948, 6.266, 7.79, 9.484, 11.38, 13.82, 17.15",\
                 "3.41, 3.72, 4.58, 5.818, 7.308, 9.012, 10.9, 12.97, 15.27, 18.17");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.002208, 0.006447, 0.01454, 0.02716, 0.04486, 0.06814, 0.09748, 0.1333, 0.176");
          values("0.666, 0.8342, 1.422, 2.543, 4.29, 6.741, 9.968, 14.04, 19, 24.91",\
                 "0.6674, 0.8341, 1.423, 2.544, 4.289, 6.74, 9.968, 14.04, 19, 24.91",\
                 "0.6692, 0.8348, 1.422, 2.544, 4.29, 6.745, 9.968, 14.04, 19.01, 24.9",\
                 "0.8496, 0.959, 1.44, 2.548, 4.29, 6.746, 9.97, 14.03, 19.01, 24.92",\
                 "1.245, 1.377, 1.752, 2.607, 4.297, 6.743, 9.971, 14.03, 19, 24.91",\
                 "1.695, 1.86, 2.344, 3.061, 4.398, 6.758, 9.97, 14.04, 18.99, 24.93",\
                 "2.187, 2.398, 3.006, 3.87, 4.972, 6.898, 9.996, 14.04, 18.99, 24.91",\
                 "2.73, 2.99, 3.722, 4.756, 5.978, 7.548, 10.17, 14.06, 19.01, 24.94",\
                 "3.304, 3.62, 4.492, 5.722, 7.148, 8.728, 10.88, 14.28, 19.06, 24.93",\
                 "3.926, 4.284, 5.316, 6.742, 8.394, 10.22, 12.19, 15.04, 19.32, 25");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.002208, 0.006447, 0.01454, 0.02716, 0.04486, 0.06814, 0.09748, 0.1333, 0.176");
          values("0.4192, 0.4863, 0.7213, 1.169, 1.868, 2.848, 4.139, 5.762, 7.748, 10.11",\
                 "0.4882, 0.5557, 0.7919, 1.241, 1.939, 2.92, 4.211, 5.836, 7.817, 10.18",\
                 "0.687, 0.7562, 0.9945, 1.445, 2.145, 3.125, 4.416, 6.042, 8.025, 10.39",\
                 "0.9674, 1.057, 1.337, 1.805, 2.508, 3.489, 4.781, 6.407, 8.389, 10.75",\
                 "1.278, 1.395, 1.751, 2.312, 3.064, 4.051, 5.342, 6.969, 8.955, 11.32",\
                 "1.591, 1.747, 2.201, 2.883, 3.759, 4.826, 6.129, 7.757, 9.744, 12.11",\
                 "1.884, 2.084, 2.662, 3.495, 4.518, 5.733, 7.143, 8.794, 10.78, 13.15",\
                 "2.143, 2.393, 3.107, 4.124, 5.329, 6.71, 8.279, 10.06, 12.08, 14.46",\
                 "2.355, 2.663, 3.529, 4.751, 6.164, 7.745, 9.497, 11.45, 13.62, 16.04",\
                 "2.506, 2.878, 3.915, 5.356, 7.014, 8.817, 10.77, 12.92, 15.28, 17.86");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.002208, 0.006447, 0.01454, 0.02716, 0.04486, 0.06814, 0.09748, 0.1333, 0.176");
          values("0.6589, 0.7607, 1.114, 1.784, 2.823, 4.278, 6.192, 8.601, 11.54, 15.05",\
                 "0.7263, 0.8289, 1.184, 1.855, 2.894, 4.35, 6.264, 8.674, 11.61, 15.12",\
                 "0.9979, 1.102, 1.461, 2.135, 3.178, 4.635, 6.55, 8.96, 11.9, 15.4",\
                 "1.536, 1.643, 2.003, 2.68, 3.724, 5.183, 7.1, 9.511, 12.45, 15.96",\
                 "2.262, 2.41, 2.845, 3.537, 4.582, 6.042, 7.96, 10.37, 13.31, 16.82",\
                 "3.085, 3.283, 3.866, 4.714, 5.79, 7.249, 9.168, 11.58, 14.53, 18.03",\
                 "4.003, 4.256, 4.999, 6.078, 7.349, 8.845, 10.76, 13.17, 16.12, 19.63",\
                 "5.012, 5.323, 6.234, 7.564, 9.122, 10.82, 12.77, 15.18, 18.13, 21.63",\
                 "6.108, 6.481, 7.576, 9.167, 11.03, 13.06, 15.19, 17.64, 20.58, 24.09",\
                 "7.292, 7.728, 9.017, 10.88, 13.07, 15.45, 17.94, 20.54, 23.51, 27.02");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.002208, 0.006447, 0.01454, 0.02716, 0.04486, 0.06814, 0.09748, 0.1333, 0.176");
          values("0.4611, 0.5744, 0.9704, 1.724, 2.9, 4.551, 6.721, 9.456, 12.79, 16.77",\
                 "0.4613, 0.574, 0.9704, 1.724, 2.901, 4.551, 6.721, 9.454, 12.79, 16.77",\
                 "0.4758, 0.5798, 0.9694, 1.724, 2.9, 4.551, 6.723, 9.454, 12.79, 16.77",\
                 "0.6198, 0.7246, 1.071, 1.746, 2.899, 4.55, 6.718, 9.452, 12.8, 16.77",\
                 "0.8286, 0.9456, 1.322, 1.984, 2.993, 4.556, 6.721, 9.457, 12.8, 16.77",\
                 "1.11, 1.242, 1.649, 2.347, 3.363, 4.757, 6.765, 9.456, 12.8, 16.78",\
                 "1.448, 1.605, 2.068, 2.803, 3.855, 5.264, 7.084, 9.564, 12.81, 16.78",\
                 "1.838, 2.02, 2.556, 3.362, 4.45, 5.902, 7.738, 10.02, 13.01, 16.81",\
                 "2.286, 2.492, 3.1, 4.002, 5.156, 6.648, 8.538, 10.83, 13.6, 17.14",\
                 "2.79, 3.028, 3.71, 4.716, 5.972, 7.504, 9.432, 11.78, 14.57, 17.87");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.002208, 0.006447, 0.01454, 0.02716, 0.04486, 0.06814, 0.09748, 0.1333, 0.176");
          values("0.7867, 0.9535, 1.543, 2.666, 4.416, 6.87, 10.1, 14.17, 19.13, 25.04",\
                 "0.7872, 0.9538, 1.543, 2.666, 4.415, 6.87, 10.1, 14.17, 19.12, 25.04",\
                 "0.7866, 0.9536, 1.543, 2.667, 4.416, 6.869, 10.1, 14.16, 19.13, 25.04",\
                 "0.864, 0.9996, 1.548, 2.666, 4.415, 6.87, 10.1, 14.16, 19.13, 25.03",\
                 "1.216, 1.348, 1.76, 2.699, 4.416, 6.869, 10.1, 14.16, 19.13, 25.03",\
                 "1.644, 1.815, 2.312, 3.072, 4.491, 6.872, 10.1, 14.16, 19.13, 25.03",\
                 "2.115, 2.333, 2.951, 3.828, 4.988, 6.992, 10.1, 14.17, 19.12, 25.04",\
                 "2.634, 2.9, 3.654, 4.712, 5.948, 7.576, 10.26, 14.18, 19.13, 25.04",\
                 "3.188, 3.51, 4.41, 5.654, 7.118, 8.704, 10.92, 14.38, 19.16, 25.04",\
                 "3.78, 4.16, 5.216, 6.672, 8.352, 10.17, 12.19, 15.1, 19.38, 25.09");
        }
      }
    }
  }