/*
 * 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_2) {
    area : 19.756800 ;

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

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

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

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

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

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

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

    pin(A1) {
      capacitance : 0.008162 ;
      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.007385, 0.007374, 0.007352, 0.007335, 0.007324, 0.007313, 0.007307, \
                  0.007311, 0.006841, 0.005176");
        }

        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.005127, -0.005133, -0.005128, -0.00515, -0.005161, -0.005197, \
                  -0.005249, -0.005364, -0.005519, -0.005162");
        }
      }
    }

    pin(A2) {
      capacitance : 0.008564 ;
      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.006905, 0.006399, 0.006274, 0.006246, 0.006238, 0.006221, 0.006218, \
                  0.006214, 0.005797, 0.004314");
        }

        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.006295, -0.006296, -0.006277, -0.006277, -0.006259, -0.006254, \
                  -0.00625, -0.006242, -0.006019, -0.005216");
        }
      }
    }

    pin(ZN) {
      direction : output ;
      function : "((!A1)|(!A2))" ;
      max_capacitance : 0.3525 ;
      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.003426, 0.01194, 0.02821, 0.05355, 0.0891, 0.1359, 0.1948, 0.2668, 0.3525");
          values("0.002683, 0.002692, 0.002696, 0.002701, 0.002709, 0.002709, 0.002707, 0.002709, 0.002669, 0.002488",\
                 "0.002436, 0.002487, 0.002583, 0.002636, 0.002666, 0.002677, 0.002686, 0.002683, 0.002649, 0.002465",\
                 "0.001868, 0.002002, 0.002258, 0.002433, 0.002539, 0.002596, 0.002632, 0.002646, 0.002612, 0.002415",\
                 "0.001413, 0.001542, 0.001859, 0.002143, 0.002345, 0.002457, 0.002529, 0.002569, 0.002537, 0.002297",\
                 "0.001162, 0.001256, 0.001517, 0.00185, 0.00211, 0.002288, 0.002406, 0.002469, 0.002418, 0.002097",\
                 "0.001095, 0.001147, 0.001338, 0.001613, 0.001894, 0.002105, 0.00226, 0.002335, 0.002214, 0.001731",\
                 "0.001159, 0.001181, 0.001278, 0.001471, 0.001714, 0.001939, 0.002106, 0.002129, 0.001788, 0.001056",\
                 "0.001352, 0.001338, 0.00135, 0.001444, 0.001616, 0.001807, 0.001899, 0.001581, 0.0007781, -7.598e-05",\
                 "0.001804, 0.001755, 0.00168, 0.001671, 0.001746, 0.001705, 0.000936, -0.0001358, -0.0009332, -0.001501",\
                 "0.002816, 0.002748, 0.002583, 0.002448, 0.001489, -9.088e-05, -0.001057, -0.001647, -0.002014, -0.00225");
        }

        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.003426, 0.01194, 0.02821, 0.05355, 0.0891, 0.1359, 0.1948, 0.2668, 0.3525");
          values("0.01372, 0.01376, 0.01382, 0.01392, 0.01396, 0.01413, 0.01448, 0.02153, 0.06272, 0.1613",\
                 "0.01323, 0.01345, 0.01379, 0.01405, 0.01417, 0.01444, 0.01479, 0.02227, 0.06441, 0.164",\
                 "0.01229, 0.01252, 0.01304, 0.01356, 0.01389, 0.01417, 0.01488, 0.02331, 0.06986, 0.1719",\
                 "0.01185, 0.01198, 0.01236, 0.01297, 0.01335, 0.01381, 0.01478, 0.02653, 0.08182, 0.1867",\
                 "0.01169, 0.01176, 0.01202, 0.01245, 0.01297, 0.01341, 0.01522, 0.03374, 0.1021, 0.2074",\
                 "0.01172, 0.01175, 0.01186, 0.01221, 0.01252, 0.01314, 0.01767, 0.05024, 0.1343, 0.229",\
                 "0.01186, 0.01185, 0.01187, 0.01208, 0.01239, 0.01356, 0.02791, 0.08679, 0.1702, 0.238",\
                 "0.0121, 0.01207, 0.01206, 0.01205, 0.01248, 0.02105, 0.06615, 0.1302, 0.1788, 0.2131",\
                 "0.01203, 0.01199, 0.01188, 0.01226, 0.02682, 0.06307, 0.08977, 0.1071, 0.1186, 0.1265",\
                 "0.01081, 0.01072, 0.01268, 0.02196, 0.02904, 0.03342, 0.0361, 0.03776, 0.03887, 0.03959");
        }
      }

      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.003426, 0.01194, 0.02821, 0.05355, 0.0891, 0.1359, 0.1948, 0.2668, 0.3525");
          values("0.002683, 0.002692, 0.002704, 0.002711, 0.002719, 0.002719, 0.002721, 0.002717, 0.002681, 0.002496",\
                 "0.002482, 0.002531, 0.002604, 0.002646, 0.002675, 0.002689, 0.002692, 0.002687, 0.002652, 0.002468",\
                 "0.00204, 0.002141, 0.002336, 0.002491, 0.002573, 0.002617, 0.002639, 0.002655, 0.00262, 0.002412",\
                 "0.001608, 0.001735, 0.002003, 0.002248, 0.002411, 0.002508, 0.002568, 0.002598, 0.002556, 0.002315",\
                 "0.001345, 0.001441, 0.001694, 0.001981, 0.002202, 0.002353, 0.002452, 0.002504, 0.002449, 0.002131",\
                 "0.001182, 0.001267, 0.001473, 0.001738, 0.002, 0.002189, 0.00232, 0.002387, 0.002267, 0.001797",\
                 "0.001103, 0.001171, 0.001332, 0.001562, 0.001806, 0.002022, 0.002173, 0.002199, 0.001893, 0.001184",\
                 "0.001094, 0.001137, 0.001266, 0.001457, 0.001666, 0.00187, 0.001988, 0.001757, 0.001027, 0.000155",\
                 "0.001292, 0.001323, 0.001409, 0.001547, 0.001718, 0.001815, 0.001375, 0.0003841, -0.0005111, -0.001159",\
                 "0.002024, 0.002034, 0.002079, 0.002161, 0.001808, 0.0004422, -0.0006683, -0.001353, -0.001784, -0.002066");
        }

        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.003426, 0.01194, 0.02821, 0.05355, 0.0891, 0.1359, 0.1948, 0.2668, 0.3525");
          values("0.01944, 0.01945, 0.01947, 0.01952, 0.01958, 0.01967, 0.02015, 0.02751, 0.0697, 0.1689",\
                 "0.0189, 0.01895, 0.01904, 0.01914, 0.01917, 0.0193, 0.01984, 0.02741, 0.07072, 0.1706",\
                 "0.01821, 0.01831, 0.01853, 0.01876, 0.01895, 0.01913, 0.01976, 0.02871, 0.07611, 0.1784",\
                 "0.01782, 0.0179, 0.0181, 0.01838, 0.01862, 0.01892, 0.01993, 0.0319, 0.08775, 0.193",\
                 "0.01762, 0.01769, 0.01785, 0.01807, 0.01835, 0.01869, 0.02052, 0.03947, 0.1088, 0.2135",\
                 "0.01758, 0.0176, 0.01769, 0.01791, 0.01817, 0.01856, 0.02312, 0.05692, 0.141, 0.2343",\
                 "0.01764, 0.01765, 0.01769, 0.01777, 0.01804, 0.01911, 0.03399, 0.09356, 0.1759, 0.242",\
                 "0.01775, 0.01775, 0.01775, 0.01771, 0.01819, 0.02734, 0.07327, 0.1358, 0.1824, 0.215",\
                 "0.01751, 0.01748, 0.01739, 0.01795, 0.03392, 0.06848, 0.09276, 0.1084, 0.119, 0.1264",\
                 "0.01605, 0.0159, 0.01824, 0.02516, 0.03006, 0.03343, 0.03567, 0.03716, 0.03816, 0.03888");
        }
      }

      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.003426, 0.01194, 0.02821, 0.05355, 0.0891, 0.1359, 0.1948, 0.2668, 0.3525");
          values("0.3262, 0.3933, 0.6299, 1.081, 1.783, 2.766, 4.059, 5.699, 7.694, 10.06",\
                 "0.3802, 0.4485, 0.6871, 1.139, 1.842, 2.827, 4.121, 5.758, 7.741, 10.13",\
                 "0.5892, 0.6627, 0.904, 1.358, 2.061, 3.046, 4.346, 5.972, 7.973, 10.35",\
                 "0.8614, 0.976, 1.301, 1.781, 2.486, 3.471, 4.773, 6.406, 8.394, 10.76",\
                 "1.126, 1.287, 1.74, 2.381, 3.15, 4.139, 5.434, 7.07, 9.056, 11.44",\
                 "1.369, 1.584, 2.176, 3.007, 3.983, 5.07, 6.371, 8.002, 9.998, 12.37",\
                 "1.579, 1.85, 2.6, 3.636, 4.837, 6.163, 7.595, 9.238, 11.23, 13.6",\
                 "1.744, 2.078, 2.994, 4.253, 5.702, 7.284, 8.977, 10.77, 12.78, 15.16",\
                 "1.852, 2.256, 3.353, 4.851, 6.559, 8.415, 10.39, 12.47, 14.66, 17.06",\
                 "1.897, 2.373, 3.665, 5.417, 7.402, 9.55, 11.82, 14.19, 16.68, 19.29");
        }

        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.003426, 0.01194, 0.02821, 0.05355, 0.0891, 0.1359, 0.1948, 0.2668, 0.3525");
          values("0.4457, 0.5476, 0.8988, 1.567, 2.608, 4.069, 5.991, 8.413, 11.37, 14.89",\
                 "0.5139, 0.6197, 0.9796, 1.654, 2.702, 4.159, 6.087, 8.502, 11.47, 14.98",\
                 "0.7768, 0.8829, 1.248, 1.93, 2.984, 4.445, 6.37, 8.79, 11.76, 15.27",\
                 "1.27, 1.402, 1.783, 2.467, 3.522, 4.989, 6.918, 9.342, 12.3, 15.84",\
                 "1.865, 2.058, 2.582, 3.317, 4.371, 5.847, 7.772, 10.2, 13.17, 16.68",\
                 "2.546, 2.804, 3.507, 4.458, 5.574, 7.046, 8.982, 11.41, 14.38, 17.91",\
                 "3.307, 3.638, 4.534, 5.746, 7.106, 8.635, 10.57, 13, 15.97, 19.48",\
                 "4.148, 4.553, 5.661, 7.151, 8.823, 10.59, 12.57, 15, 17.96, 21.49",\
                 "5.068, 5.555, 6.88, 8.67, 10.67, 12.79, 14.98, 17.45, 20.42, 23.95",\
                 "6.06, 6.64, 8.197, 10.3, 12.65, 15.13, 17.69, 20.34, 23.34, 26.87");
        }

        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.003426, 0.01194, 0.02821, 0.05355, 0.0891, 0.1359, 0.1948, 0.2668, 0.3525");
          values("0.3883, 0.5023, 0.9015, 1.658, 2.842, 4.495, 6.679, 9.419, 12.78, 16.77",\
                 "0.3888, 0.5014, 0.9004, 1.657, 2.837, 4.499, 6.671, 9.426, 12.78, 16.76",\
                 "0.4376, 0.5284, 0.9014, 1.656, 2.838, 4.497, 6.676, 9.426, 12.77, 16.77",\
                 "0.6812, 0.7834, 1.086, 1.692, 2.843, 4.498, 6.677, 9.427, 12.76, 16.78",\
                 "0.9826, 1.113, 1.495, 2.078, 2.965, 4.503, 6.687, 9.429, 12.78, 16.78",\
                 "1.331, 1.497, 1.968, 2.668, 3.547, 4.767, 6.716, 9.438, 12.77, 16.79",\
                 "1.729, 1.931, 2.501, 3.331, 4.354, 5.554, 7.14, 9.532, 12.79, 16.79",\
                 "2.174, 2.411, 3.09, 4.06, 5.242, 6.598, 8.14, 10.14, 13, 16.79",\
                 "2.658, 2.946, 3.736, 4.856, 6.2, 7.734, 9.452, 11.36, 13.8, 17.17",\
                 "3.178, 3.52, 4.428, 5.712, 7.244, 8.948, 10.86, 12.94, 15.26, 18.15");
        }

        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.003426, 0.01194, 0.02821, 0.05355, 0.0891, 0.1359, 0.1948, 0.2668, 0.3525");
          values("0.5607, 0.7299, 1.32, 2.446, 4.205, 6.666, 9.906, 14.02, 18.95, 24.9",\
                 "0.5611, 0.7286, 1.32, 2.446, 4.206, 6.676, 9.915, 14, 18.99, 24.9",\
                 "0.5662, 0.731, 1.319, 2.444, 4.206, 6.671, 9.895, 14, 18.99, 24.89",\
                 "0.7876, 0.889, 1.346, 2.452, 4.205, 6.673, 9.909, 14, 18.99, 24.93",\
                 "1.156, 1.298, 1.689, 2.52, 4.212, 6.677, 9.916, 13.99, 18.99, 24.92",\
                 "1.576, 1.761, 2.272, 2.998, 4.322, 6.678, 9.926, 14, 18.99, 24.93",\
                 "2.04, 2.275, 2.907, 3.808, 4.904, 6.828, 9.942, 14.03, 18.99, 24.93",\
                 "2.546, 2.832, 3.606, 4.68, 5.916, 7.488, 10.11, 14.02, 18.99, 24.92",\
                 "3.088, 3.44, 4.36, 5.624, 7.082, 8.674, 10.83, 14.23, 19.04, 24.95",\
                 "3.67, 4.066, 5.158, 6.642, 8.316, 10.15, 12.14, 15.01, 19.27, 25.02");
        }
      }

      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.003426, 0.01194, 0.02821, 0.05355, 0.0891, 0.1359, 0.1948, 0.2668, 0.3525");
          values("0.377, 0.4445, 0.6811, 1.132, 1.833, 2.82, 4.11, 5.742, 7.746, 10.11",\
                 "0.4454, 0.5139, 0.7515, 1.202, 1.907, 2.89, 4.182, 5.82, 7.804, 10.19",\
                 "0.642, 0.7129, 0.9531, 1.406, 2.109, 3.095, 4.389, 6.02, 8.021, 10.38",\
                 "0.907, 1.001, 1.291, 1.766, 2.472, 3.458, 4.753, 6.392, 8.386, 10.75",\
                 "1.198, 1.324, 1.694, 2.268, 3.027, 4.019, 5.319, 6.953, 8.942, 11.33",\
                 "1.485, 1.653, 2.13, 2.831, 3.717, 4.794, 6.104, 7.739, 9.738, 12.12",\
                 "1.747, 1.964, 2.572, 3.432, 4.473, 5.695, 7.117, 8.774, 10.77, 13.15",\
                 "1.97, 2.243, 3.001, 4.049, 5.275, 6.668, 8.251, 10.04, 12.07, 14.46",\
                 "2.138, 2.478, 3.401, 4.663, 6.106, 7.701, 9.465, 11.43, 13.61, 16.05",\
                 "2.247, 2.653, 3.761, 5.256, 6.946, 8.769, 10.74, 12.9, 15.27, 17.87");
        }

        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.003426, 0.01194, 0.02821, 0.05355, 0.0891, 0.1359, 0.1948, 0.2668, 0.3525");
          values("0.5927, 0.6956, 1.051, 1.724, 2.768, 4.231, 6.153, 8.574, 11.53, 15.05",\
                 "0.6596, 0.7633, 1.121, 1.795, 2.84, 4.303, 6.226, 8.646, 11.6, 15.12",\
                 "0.9302, 1.035, 1.397, 2.076, 3.122, 4.588, 6.511, 8.932, 11.89, 15.41",\
                 "1.464, 1.575, 1.94, 2.62, 3.67, 5.137, 7.062, 9.484, 12.44, 15.96",\
                 "2.158, 2.317, 2.776, 3.478, 4.527, 5.995, 7.921, 10.34, 13.3, 16.82",\
                 "2.948, 3.161, 3.772, 4.649, 5.737, 7.204, 9.13, 11.56, 14.51, 18.04",\
                 "3.827, 4.098, 4.88, 5.995, 7.292, 8.799, 10.73, 13.15, 16.11, 19.63",\
                 "4.796, 5.13, 6.09, 7.462, 9.054, 10.77, 12.74, 15.16, 18.12, 21.64",\
                 "5.85, 6.25, 7.402, 9.047, 10.95, 13, 15.16, 17.62, 20.57, 24.1",\
                 "6.992, 7.459, 8.815, 10.74, 12.98, 15.39, 17.9, 20.51, 23.5, 27.03");
        }

        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.003426, 0.01194, 0.02821, 0.05355, 0.0891, 0.1359, 0.1948, 0.2668, 0.3525");
          values("0.3888, 0.5024, 0.9023, 1.657, 2.843, 4.499, 6.679, 9.425, 12.79, 16.78",\
                 "0.3887, 0.5017, 0.9007, 1.656, 2.839, 4.494, 6.678, 9.419, 12.78, 16.77",\
                 "0.4106, 0.5138, 0.9004, 1.657, 2.84, 4.493, 6.679, 9.427, 12.78, 16.78",\
                 "0.549, 0.6572, 1.011, 1.685, 2.836, 4.5, 6.678, 9.428, 12.78, 16.78",\
                 "0.75, 0.8724, 1.256, 1.926, 2.937, 4.503, 6.676, 9.431, 12.78, 16.79",\
                 "1.019, 1.16, 1.578, 2.285, 3.309, 4.707, 6.724, 9.432, 12.77, 16.76",\
                 "1.335, 1.507, 1.991, 2.737, 3.802, 5.214, 7.042, 9.534, 12.79, 16.8",\
                 "1.705, 1.91, 2.468, 3.29, 4.392, 5.862, 7.694, 9.984, 12.99, 16.81",\
                 "2.138, 2.37, 3.008, 3.924, 5.094, 6.592, 8.482, 10.79, 13.58, 17.14",\
                 "2.616, 2.878, 3.598, 4.638, 5.9, 7.454, 9.39, 11.75, 14.54, 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.003426, 0.01194, 0.02821, 0.05355, 0.0891, 0.1359, 0.1948, 0.2668, 0.3525");
          values("0.6791, 0.8482, 1.44, 2.568, 4.326, 6.792, 10.03, 14.12, 19.11, 25.05",\
                 "0.68, 0.8489, 1.44, 2.568, 4.324, 6.793, 10.03, 14.12, 19.1, 25.04",\
                 "0.6796, 0.8474, 1.439, 2.567, 4.328, 6.794, 10.04, 14.11, 19.11, 25.04",\
                 "0.7826, 0.914, 1.448, 2.567, 4.325, 6.794, 10.04, 14.12, 19.1, 25.04",\
                 "1.126, 1.267, 1.687, 2.608, 4.327, 6.792, 10.04, 14.12, 19.1, 25.03",\
                 "1.526, 1.712, 2.235, 2.999, 4.41, 6.793, 10.03, 14.12, 19.11, 25.05",\
                 "1.963, 2.201, 2.864, 3.768, 4.922, 6.916, 10.04, 14.12, 19.09, 25.05",\
                 "2.444, 2.734, 3.54, 4.634, 5.89, 7.528, 10.2, 14.15, 19.11, 25.04",\
                 "2.964, 3.31, 4.268, 5.564, 7.05, 8.65, 10.87, 14.33, 19.13, 25.04",\
                 "3.506, 3.928, 5.048, 6.568, 8.272, 10.13, 12.17, 15.07, 19.37, 25.09");
        }
      }
    }
  }