/*
 * 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 : "3.277857e-05" ;
    }

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

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

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

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

      internal_power() {
        when : "!A2" ;

        fall_power(pwr_tin_10) {
          index_1("0.02, 0.07922, 0.2871, 0.6841, 1.303, 2.17, 3.312, 4.751, 6.507, 8.6");
          values("0.01742, 0.01735, 0.01727, 0.01719, 0.01718, 0.01714, 0.01715, \
                 0.01715, 0.01715, 0.01716");
        }

        rise_power(pwr_tin_10) {
          index_1("0.02, 0.07922, 0.2871, 0.6841, 1.303, 2.17, 3.312, 4.751, 6.507, 8.6");
          values("-0.01113, -0.01112, -0.01111, -0.01112, -0.01112, -0.01115, -0.01113, \
                 -0.01114, -0.01115, -0.01115");
        }
      }
    }

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

      internal_power() {
        when : "!A1" ;

        fall_power(pwr_tin_10) {
          index_1("0.02, 0.07922, 0.2871, 0.6841, 1.303, 2.17, 3.312, 4.751, 6.507, 8.6");
          values("0.01683, 0.01572, 0.01526, 0.01519, 0.01513, 0.01513, 0.01511, \
                 0.01504, 0.01505, 0.01505");
        }

        rise_power(pwr_tin_10) {
          index_1("0.02, 0.07922, 0.2871, 0.6841, 1.303, 2.17, 3.312, 4.751, 6.507, 8.6");
          values("-0.01524, -0.0152, -0.01517, -0.01512, -0.01509, -0.01503, -0.01502, \
                 -0.01502, -0.01503, -0.01503");
        }
      }
    }

    pin(ZN) {
      direction : output ;
      function : "((!A1)|(!A2))" ;
      max_capacitance : 0.3223 ;
      max_transition : 8.6 ;
      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.07922, 0.2871, 0.6841, 1.303, 2.17, 3.312, 4.751, 6.507, 8.6");
          index_2("0.001, 0.003218, 0.011, 0.02587, 0.04903, 0.08153, 0.1243, 0.1782, 0.2439, 0.3223");
          values("0.002469, 0.0026, 0.002851, 0.002949, 0.003006, 0.003038, 0.003039, 0.003045, 0.003049, 0.003063",\
                 "0.001643, 0.001983, 0.002439, 0.002733, 0.002876, 0.002957, 0.002993, 0.003009, 0.003014, 0.00303",\
                 "0.002773, 0.002722, 0.002743, 0.002861, 0.002936, 0.00297, 0.003001, 0.003003, 0.003027, 0.003023",\
                 "0.0096, 0.008626, 0.006888, 0.005585, 0.004742, 0.004236, 0.003902, 0.003675, 0.003524, 0.003416",\
                 "0.02335, 0.02135, 0.01703, 0.01313, 0.01031, 0.008343, 0.006995, 0.006036, 0.00536, 0.004872",\
                 "0.04458, 0.04162, 0.03455, 0.02728, 0.02145, 0.01708, 0.01386, 0.0115, 0.009733, 0.008405",\
                 "0.07369, 0.06993, 0.06026, 0.04921, 0.03961, 0.03198, 0.02602, 0.02142, 0.01792, 0.01521",\
                 "0.1111, 0.1067, 0.09474, 0.07984, 0.06598, 0.05432, 0.04486, 0.03731, 0.03126, 0.02646",\
                 "0.1573, 0.1523, 0.1384, 0.12, 0.1015, 0.08526, 0.07166, 0.06035, 0.05109, 0.04353",\
                 "0.2127, 0.2072, 0.1916, 0.1699, 0.1469, 0.1257, 0.1073, 0.09166, 0.07854, 0.06753");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.07922, 0.2871, 0.6841, 1.303, 2.17, 3.312, 4.751, 6.507, 8.6");
          index_2("0.001, 0.003218, 0.011, 0.02587, 0.04903, 0.08153, 0.1243, 0.1782, 0.2439, 0.3223");
          values("0.04651, 0.0471, 0.0477, 0.048, 0.04805, 0.04787, 0.04791, 0.04781, 0.04781, 0.04887",\
                 "0.04552, 0.04613, 0.04734, 0.04809, 0.04801, 0.04774, 0.04818, 0.04814, 0.04788, 0.04986",\
                 "0.04721, 0.04685, 0.04692, 0.04741, 0.04785, 0.048, 0.04795, 0.048, 0.04755, 0.0493",\
                 "0.05579, 0.05461, 0.05218, 0.05049, 0.0497, 0.04906, 0.0489, 0.04853, 0.04781, 0.05072",\
                 "0.0718, 0.06956, 0.06464, 0.0595, 0.05616, 0.05391, 0.05191, 0.05088, 0.05029, 0.05244",\
                 "0.09588, 0.09275, 0.08505, 0.07713, 0.06979, 0.06447, 0.06029, 0.05728, 0.0552, 0.05732",\
                 "0.1286, 0.1246, 0.1145, 0.1026, 0.092, 0.08262, 0.07497, 0.06972, 0.06526, 0.06775",\
                 "0.1704, 0.1658, 0.1535, 0.1379, 0.1231, 0.1094, 0.09797, 0.08859, 0.08211, 0.08519",\
                 "0.222, 0.2167, 0.2024, 0.1835, 0.1642, 0.1467, 0.1309, 0.1169, 0.1071, 0.114",\
                 "0.2837, 0.278, 0.262, 0.2397, 0.2162, 0.1939, 0.1733, 0.155, 0.1422, 0.1616");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.07922, 0.2871, 0.6841, 1.303, 2.17, 3.312, 4.751, 6.507, 8.6");
          index_2("0.001, 0.003218, 0.011, 0.02587, 0.04903, 0.08153, 0.1243, 0.1782, 0.2439, 0.3223");
          values("0.002496, 0.002685, 0.002887, 0.002979, 0.003013, 0.003033, 0.003043, 0.003059, 0.003062, 0.003063",\
                 "0.001427, 0.001826, 0.002411, 0.002726, 0.00286, 0.002942, 0.002981, 0.002996, 0.00301, 0.00302",\
                 "0.001557, 0.001708, 0.002145, 0.002511, 0.002729, 0.002846, 0.002912, 0.002957, 0.002977, 0.002998",\
                 "0.007437, 0.006757, 0.005616, 0.004799, 0.00426, 0.003916, 0.003686, 0.003526, 0.003415, 0.003333",\
                 "0.02084, 0.01908, 0.01538, 0.01207, 0.009657, 0.007962, 0.006742, 0.00589, 0.005278, 0.00482",\
                 "0.04231, 0.03953, 0.03294, 0.0262, 0.02082, 0.01678, 0.01377, 0.01149, 0.009782, 0.008488",\
                 "0.07219, 0.06854, 0.05919, 0.04853, 0.03932, 0.03199, 0.02628, 0.0218, 0.01836, 0.01563",\
                 "0.1108, 0.1064, 0.09463, 0.08001, 0.06637, 0.05496, 0.04572, 0.03828, 0.03233, 0.02753",\
                 "0.1584, 0.1535, 0.1397, 0.1213, 0.103, 0.08686, 0.0734, 0.06221, 0.05303, 0.04545",\
                 "0.2158, 0.2103, 0.1946, 0.1729, 0.1499, 0.1286, 0.1103, 0.09475, 0.08162, 0.07067");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.07922, 0.2871, 0.6841, 1.303, 2.17, 3.312, 4.751, 6.507, 8.6");
          index_2("0.001, 0.003218, 0.011, 0.02587, 0.04903, 0.08153, 0.1243, 0.1782, 0.2439, 0.3223");
          values("0.06189, 0.06193, 0.06195, 0.06188, 0.06177, 0.06163, 0.06137, 0.06107, 0.06068, 0.06194",\
                 "0.06076, 0.06091, 0.06116, 0.06128, 0.06124, 0.06117, 0.06098, 0.06067, 0.06028, 0.06182",\
                 "0.06268, 0.06229, 0.06182, 0.06155, 0.06134, 0.06117, 0.06094, 0.06061, 0.06019, 0.0617",\
                 "0.07147, 0.07033, 0.06756, 0.06531, 0.06385, 0.06268, 0.062, 0.0614, 0.06048, 0.06267",\
                 "0.08795, 0.08595, 0.081, 0.07544, 0.07131, 0.06839, 0.06619, 0.0645, 0.06328, 0.06505",\
                 "0.113, 0.1102, 0.1029, 0.09415, 0.08619, 0.07988, 0.0751, 0.0715, 0.06919, 0.0706",\
                 "0.147, 0.1437, 0.1342, 0.1219, 0.11, 0.09941, 0.09111, 0.08447, 0.07961, 0.08102",\
                 "0.1904, 0.1866, 0.1756, 0.16, 0.1439, 0.1288, 0.1159, 0.1054, 0.09741, 0.09967",\
                 "0.244, 0.2397, 0.2272, 0.2091, 0.1883, 0.1691, 0.1512, 0.1359, 0.1244, 0.1308",\
                 "0.3082, 0.3036, 0.2898, 0.2691, 0.245, 0.2203, 0.1976, 0.1775, 0.1631, 0.181");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.07922, 0.2871, 0.6841, 1.303, 2.17, 3.312, 4.751, 6.507, 8.6");
          index_2("0.001, 0.003218, 0.011, 0.02587, 0.04903, 0.08153, 0.1243, 0.1782, 0.2439, 0.3223");
          values("0.0786, 0.105, 0.1969, 0.3713, 0.6427, 1.023, 1.524, 2.155, 2.925, 3.843",\
                 "0.08913, 0.1159, 0.208, 0.3829, 0.6544, 1.035, 1.536, 2.167, 2.937, 3.856",\
                 "0.1158, 0.1516, 0.2528, 0.427, 0.6985, 1.079, 1.58, 2.211, 2.981, 3.899",\
                 "0.1294, 0.1776, 0.3137, 0.5154, 0.7864, 1.166, 1.665, 2.296, 3.066, 3.984",\
                 "0.1253, 0.1872, 0.3576, 0.6084, 0.9235, 1.305, 1.803, 2.432, 3.201, 4.117",\
                 "0.1007, 0.1757, 0.3825, 0.6813, 1.056, 1.496, 2.002, 2.627, 3.393, 4.309",\
                 "0.0534, 0.1417, 0.385, 0.7346, 1.166, 1.674, 2.249, 2.891, 3.652, 4.564",\
                 "-0.0183, 0.0842, 0.3626, 0.7646, 1.254, 1.825, 2.477, 3.197, 3.985, 4.893",\
                 "-0.1168, -0.0001, 0.3147, 0.7673, 1.318, 1.955, 2.678, 3.481, 4.355, 5.299",\
                 "-0.2438, -0.1129, 0.2395, 0.7413, 1.357, 2.061, 2.853, 3.733, 4.697, 5.736");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.07922, 0.2871, 0.6841, 1.303, 2.17, 3.312, 4.751, 6.507, 8.6");
          index_2("0.001, 0.003218, 0.011, 0.02587, 0.04903, 0.08153, 0.1243, 0.1782, 0.2439, 0.3223");
          values("0.08984, 0.1237, 0.2386, 0.4558, 0.7931, 1.266, 1.888, 2.672, 3.628, 4.77",\
                 "0.1049, 0.1388, 0.2553, 0.4735, 0.8108, 1.284, 1.907, 2.691, 3.648, 4.788",\
                 "0.1646, 0.2034, 0.3192, 0.5366, 0.8749, 1.348, 1.97, 2.755, 3.712, 4.853",\
                 "0.247, 0.2983, 0.4447, 0.667, 1.002, 1.474, 2.095, 2.879, 3.836, 4.976",\
                 "0.3515, 0.4161, 0.5958, 0.8656, 1.209, 1.677, 2.295, 3.077, 4.031, 5.17",\
                 "0.4763, 0.5565, 0.7721, 1.09, 1.494, 1.971, 2.584, 3.361, 4.313, 5.447",\
                 "0.6235, 0.7188, 0.9755, 1.341, 1.804, 2.349, 2.973, 3.744, 4.691, 5.822",\
                 "0.7934, 0.905, 1.205, 1.623, 2.14, 2.756, 3.454, 4.236, 5.175, 6.3",\
                 "0.9898, 1.116, 1.458, 1.936, 2.513, 3.19, 3.968, 4.826, 5.778, 6.895",\
                 "1.212, 1.354, 1.74, 2.275, 2.917, 3.657, 4.508, 5.457, 6.485, 7.615");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.07922, 0.2871, 0.6841, 1.303, 2.17, 3.312, 4.751, 6.507, 8.6");
          index_2("0.001, 0.003218, 0.011, 0.02587, 0.04903, 0.08153, 0.1243, 0.1782, 0.2439, 0.3223");
          values("0.0938, 0.1382, 0.2956, 0.5928, 1.057, 1.706, 2.562, 3.64, 4.956, 6.525",\
                 "0.09354, 0.1381, 0.2953, 0.5932, 1.057, 1.708, 2.562, 3.639, 4.957, 6.524",\
                 "0.135, 0.1767, 0.304, 0.5927, 1.057, 1.707, 2.562, 3.64, 4.955, 6.525",\
                 "0.2001, 0.2488, 0.399, 0.6362, 1.058, 1.707, 2.562, 3.64, 4.956, 6.525",\
                 "0.2859, 0.3477, 0.5178, 0.7926, 1.158, 1.722, 2.562, 3.64, 4.957, 6.525",\
                 "0.3864, 0.4622, 0.6648, 0.9694, 1.383, 1.89, 2.614, 3.643, 4.957, 6.525",\
                 "0.5008, 0.5926, 0.834, 1.176, 1.629, 2.19, 2.852, 3.749, 4.97, 6.526",\
                 "0.6296, 0.737, 1.025, 1.416, 1.901, 2.513, 3.235, 4.067, 5.148, 6.571",\
                 "0.7732, 0.898, 1.228, 1.675, 2.211, 2.862, 3.644, 4.537, 5.55, 6.823",\
                 "0.9308, 1.075, 1.446, 1.956, 2.555, 3.247, 4.074, 5.035, 6.114, 7.315");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.07922, 0.2871, 0.6841, 1.303, 2.17, 3.312, 4.751, 6.507, 8.6");
          index_2("0.001, 0.003218, 0.011, 0.02587, 0.04903, 0.08153, 0.1243, 0.1782, 0.2439, 0.3223");
          values("0.1163, 0.1737, 0.3746, 0.7565, 1.35, 2.184, 3.282, 4.666, 6.355, 8.369",\
                 "0.1164, 0.1731, 0.3729, 0.754, 1.351, 2.182, 3.283, 4.666, 6.355, 8.368",\
                 "0.1531, 0.1972, 0.3749, 0.7559, 1.35, 2.184, 3.283, 4.665, 6.355, 8.369",\
                 "0.2181, 0.275, 0.4455, 0.7639, 1.35, 2.185, 3.283, 4.666, 6.355, 8.368",\
                 "0.3064, 0.369, 0.5688, 0.8826, 1.374, 2.183, 3.281, 4.664, 6.353, 8.369",\
                 "0.4062, 0.488, 0.7078, 1.074, 1.542, 2.233, 3.283, 4.666, 6.352, 8.369",\
                 "0.52, 0.6176, 0.8776, 1.27, 1.806, 2.45, 3.362, 4.672, 6.353, 8.363",\
                 "0.643, 0.7608, 1.07, 1.495, 2.078, 2.791, 3.63, 4.784, 6.367, 8.369",\
                 "0.7812, 0.9166, 1.273, 1.754, 2.368, 3.154, 4.055, 5.106, 6.52, 8.394",\
                 "0.9334, 1.087, 1.494, 2.036, 2.694, 3.522, 4.508, 5.604, 6.901, 8.592");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.07922, 0.2871, 0.6841, 1.303, 2.17, 3.312, 4.751, 6.507, 8.6");
          index_2("0.001, 0.003218, 0.011, 0.02587, 0.04903, 0.08153, 0.1243, 0.1782, 0.2439, 0.3223");
          values("0.09268, 0.1191, 0.2108, 0.3851, 0.6564, 1.037, 1.538, 2.169, 2.939, 3.857",\
                 "0.1017, 0.1286, 0.2211, 0.3959, 0.6676, 1.048, 1.549, 2.18, 2.95, 3.868",\
                 "0.1171, 0.1493, 0.2481, 0.4233, 0.6951, 1.076, 1.577, 2.208, 2.978, 3.896",\
                 "0.1204, 0.1629, 0.2833, 0.4759, 0.7485, 1.129, 1.63, 2.26, 3.03, 3.948",\
                 "0.1023, 0.157, 0.3076, 0.531, 0.8303, 1.215, 1.714, 2.344, 3.113, 4.029",\
                 "0.059, 0.1256, 0.3102, 0.575, 0.9101, 1.328, 1.837, 2.464, 3.232, 4.148",\
                 "-0.0117, 0.0672, 0.2848, 0.596, 0.9785, 1.436, 1.982, 2.628, 3.394, 4.307",\
                 "-0.1132, -0.0217, 0.2288, 0.5885, 1.025, 1.531, 2.121, 2.808, 3.6, 4.513",\
                 "-0.248, -0.1436, 0.1417, 0.5481, 1.042, 1.607, 2.247, 2.978, 3.815, 4.761",\
                 "-0.4187, -0.3011, 0.0195, 0.4728, 1.026, 1.653, 2.356, 3.138, 4.022, 5.015");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.07922, 0.2871, 0.6841, 1.303, 2.17, 3.312, 4.751, 6.507, 8.6");
          index_2("0.001, 0.003218, 0.011, 0.02587, 0.04903, 0.08153, 0.1243, 0.1782, 0.2439, 0.3223");
          values("0.1172, 0.1504, 0.2649, 0.4819, 0.8191, 1.292, 1.914, 2.698, 3.655, 4.795",\
                 "0.1326, 0.1661, 0.2813, 0.4987, 0.8358, 1.309, 1.931, 2.715, 3.672, 4.813",\
                 "0.1991, 0.2335, 0.3471, 0.5635, 0.9005, 1.373, 1.996, 2.779, 3.736, 4.877",\
                 "0.298, 0.3432, 0.4788, 0.6957, 1.029, 1.499, 2.121, 2.903, 3.859, 5",\
                 "0.4244, 0.4794, 0.6436, 0.9016, 1.239, 1.705, 2.322, 3.103, 4.056, 5.196",\
                 "0.579, 0.6457, 0.8389, 1.139, 1.531, 2.002, 2.613, 3.388, 4.34, 5.475",\
                 "0.7631, 0.8422, 1.068, 1.408, 1.853, 2.387, 3.006, 3.774, 4.718, 5.848",\
                 "0.9786, 1.07, 1.331, 1.716, 2.209, 2.808, 3.494, 4.271, 5.206, 6.332",\
                 "1.227, 1.331, 1.628, 2.062, 2.605, 3.261, 4.022, 4.87, 5.814, 6.931",\
                 "1.511, 1.628, 1.961, 2.446, 3.046, 3.754, 4.582, 5.515, 6.531, 7.656");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.07922, 0.2871, 0.6841, 1.303, 2.17, 3.312, 4.751, 6.507, 8.6");
          index_2("0.001, 0.003218, 0.011, 0.02587, 0.04903, 0.08153, 0.1243, 0.1782, 0.2439, 0.3223");
          values("0.09372, 0.1386, 0.2954, 0.5926, 1.057, 1.707, 2.561, 3.639, 4.956, 6.525",\
                 "0.09388, 0.1387, 0.2952, 0.5928, 1.057, 1.707, 2.562, 3.641, 4.955, 6.525",\
                 "0.1244, 0.1644, 0.3019, 0.5931, 1.057, 1.707, 2.563, 3.639, 4.955, 6.524",\
                 "0.1861, 0.2262, 0.364, 0.6232, 1.059, 1.707, 2.563, 3.639, 4.956, 6.524",\
                 "0.2738, 0.32, 0.4613, 0.7222, 1.126, 1.723, 2.563, 3.641, 4.957, 6.525",\
                 "0.3758, 0.4314, 0.5958, 0.8598, 1.266, 1.831, 2.607, 3.644, 4.957, 6.528",\
                 "0.4916, 0.558, 0.752, 1.045, 1.447, 2.015, 2.76, 3.727, 4.977, 6.527",\
                 "0.6216, 0.7006, 0.9222, 1.251, 1.676, 2.244, 2.992, 3.93, 5.101, 6.575",\
                 "0.762, 0.8532, 1.112, 1.483, 1.952, 2.524, 3.27, 4.213, 5.358, 6.748",\
                 "0.9126, 1.022, 1.316, 1.737, 2.246, 2.853, 3.604, 4.55, 5.698, 7.058");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.07922, 0.2871, 0.6841, 1.303, 2.17, 3.312, 4.751, 6.507, 8.6");
          index_2("0.001, 0.003218, 0.011, 0.02587, 0.04903, 0.08153, 0.1243, 0.1782, 0.2439, 0.3223");
          values("0.1584, 0.2163, 0.4169, 0.799, 1.393, 2.227, 3.325, 4.706, 6.392, 8.403",\
                 "0.1587, 0.2159, 0.4168, 0.799, 1.393, 2.227, 3.325, 4.707, 6.394, 8.403",\
                 "0.1828, 0.2289, 0.4167, 0.799, 1.393, 2.227, 3.324, 4.706, 6.392, 8.404",\
                 "0.253, 0.3094, 0.4738, 0.8041, 1.393, 2.227, 3.324, 4.707, 6.393, 8.405",\
                 "0.3368, 0.4022, 0.6004, 0.911, 1.413, 2.227, 3.323, 4.706, 6.394, 8.402",\
                 "0.438, 0.5152, 0.7368, 1.101, 1.571, 2.269, 3.325, 4.706, 6.393, 8.406",\
                 "0.5522, 0.6442, 0.8972, 1.292, 1.83, 2.478, 3.397, 4.712, 6.392, 8.404",\
                 "0.6792, 0.7868, 1.077, 1.507, 2.095, 2.814, 3.659, 4.82, 6.407, 8.402",\
                 "0.8144, 0.9436, 1.278, 1.753, 2.374, 3.164, 4.068, 5.133, 6.556, 8.433",\
                 "0.9624, 1.109, 1.498, 2.024, 2.684, 3.521, 4.513, 5.616, 6.923, 8.624");
        }
      }
    }
  }