  cell(gf180mcu_fd_sc_mcu9t5v0__nand2_1) {
    area : 14.112000 ;

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

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

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

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

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

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

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

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

      internal_power() {
        when : "!A2" ;

        fall_power(pwr_tin_10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          values("0.005613, 0.005597, 0.005581, 0.005565, 0.005558, 0.005549, 0.00554, \
                  0.005539, 0.005529, 0.004905");
        }

        rise_power(pwr_tin_10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          values("-0.003914, -0.003917, -0.003921, -0.003921, -0.003936, -0.003956, \
                  -0.003981, -0.004032, -0.004155, -0.004167");
        }
      }
    }

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

      internal_power() {
        when : "!A1" ;

        fall_power(pwr_tin_10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          values("0.005224, 0.00485, 0.00471, 0.004684, 0.004681, 0.004672, 0.004663, \
                  0.004661, 0.00465, 0.004101");
        }

        rise_power(pwr_tin_10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          values("-0.004706, -0.004708, -0.004702, -0.004683, -0.00468, -0.00465, \
                  -0.004649, -0.004654, -0.004651, -0.004356");
        }
      }
    }

    pin(ZN) {
      direction : output ;
      function : "((!A1)|(!A2))" ;
      max_capacitance : 0.2092 ;
      max_transition : 20 ;
      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.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.002437, 0.007481, 0.01711, 0.03212, 0.05318, 0.08088, 0.1158, 0.1584, 0.2092");
          values("0.001726, 0.001732, 0.001741, 0.001739, 0.001739, 0.001742, 0.001742, 0.001739, 0.001738, 0.001726",\
                 "0.001574, 0.001607, 0.001663, 0.001694, 0.001712, 0.001718, 0.001719, 0.001723, 0.001726, 0.001708",\
                 "0.001195, 0.001284, 0.001432, 0.001551, 0.00163, 0.00166, 0.00168, 0.001697, 0.001704, 0.001689",\
                 "0.000861, 0.0009447, 0.001136, 0.001336, 0.001482, 0.001557, 0.001607, 0.001641, 0.001658, 0.001649",\
                 "0.0006424, 0.0007006, 0.0008901, 0.001114, 0.001298, 0.001431, 0.001515, 0.001573, 0.001606, 0.00159",\
                 "0.0005314, 0.0005751, 0.0007247, 0.0009303, 0.001127, 0.001287, 0.001404, 0.001485, 0.00153, 0.001494",\
                 "0.0005184, 0.0005461, 0.0006414, 0.0007961, 0.0009832, 0.001151, 0.001286, 0.001386, 0.001427, 0.001321",\
                 "0.0005884, 0.0005927, 0.0006363, 0.000741, 0.0008855, 0.001043, 0.001182, 0.001278, 0.001242, 0.0009511",\
                 "0.0007198, 0.0007219, 0.0007134, 0.0007547, 0.0008526, 0.0009737, 0.001086, 0.001047, 0.0006856, 0.0001194",\
                 "0.001132, 0.001113, 0.001055, 0.001037, 0.001072, 0.001112, 0.0007895, 7.224e-05, -0.0005318, -0.0009667");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.002437, 0.007481, 0.01711, 0.03212, 0.05318, 0.08088, 0.1158, 0.1584, 0.2092");
          values("0.01588, 0.0159, 0.01597, 0.01601, 0.01588, 0.01588, 0.01583, 0.01677, 0.02592, 0.06307",\
                 "0.01552, 0.01565, 0.01587, 0.01599, 0.01604, 0.01607, 0.01609, 0.01705, 0.02668, 0.06434",\
                 "0.01483, 0.01498, 0.01535, 0.01571, 0.01597, 0.01593, 0.01602, 0.01723, 0.02798, 0.06812",\
                 "0.01438, 0.01446, 0.01473, 0.01519, 0.0154, 0.01562, 0.01583, 0.01753, 0.03073, 0.07566",\
                 "0.01423, 0.01428, 0.0145, 0.0147, 0.0152, 0.01521, 0.01591, 0.01828, 0.03646, 0.08831",\
                 "0.0142, 0.01421, 0.01432, 0.01445, 0.01466, 0.01522, 0.01583, 0.02063, 0.04789, 0.1074",\
                 "0.01424, 0.01424, 0.01427, 0.01437, 0.01448, 0.01469, 0.01606, 0.02762, 0.06861, 0.1307",\
                 "0.01434, 0.01433, 0.01432, 0.01435, 0.01442, 0.01475, 0.02014, 0.04837, 0.09934, 0.147",\
                 "0.01449, 0.01447, 0.01443, 0.0144, 0.01452, 0.0186, 0.04261, 0.08162, 0.1134, 0.1361",\
                 "0.01416, 0.01413, 0.01405, 0.01433, 0.02324, 0.04377, 0.05896, 0.06901, 0.07577, 0.0805");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.002437, 0.007481, 0.01711, 0.03212, 0.05318, 0.08088, 0.1158, 0.1584, 0.2092");
          values("0.00173, 0.001733, 0.001735, 0.001739, 0.00174, 0.001742, 0.001742, 0.001742, 0.001741, 0.001723",\
                 "0.001618, 0.001636, 0.001667, 0.001701, 0.001716, 0.001719, 0.001727, 0.001724, 0.001731, 0.00171",\
                 "0.00133, 0.001386, 0.001504, 0.001592, 0.001646, 0.001675, 0.001693, 0.001704, 0.001706, 0.001695",\
                 "0.001041, 0.001109, 0.001262, 0.001419, 0.001526, 0.001597, 0.001637, 0.001664, 0.001678, 0.00166",\
                 "0.0008108, 0.0008782, 0.001042, 0.001231, 0.001382, 0.001488, 0.001558, 0.001602, 0.00163, 0.001607",\
                 "0.0006691, 0.0007199, 0.0008646, 0.001055, 0.001229, 0.001366, 0.001462, 0.00153, 0.001566, 0.001526",\
                 "0.0005856, 0.000625, 0.0007473, 0.0009132, 0.00109, 0.00124, 0.001355, 0.001442, 0.001477, 0.001376",\
                 "0.0005464, 0.0005755, 0.0006708, 0.0008135, 0.0009711, 0.001126, 0.001254, 0.00134, 0.001317, 0.001056",\
                 "0.0005402, 0.0005639, 0.0006389, 0.0007528, 0.0008878, 0.00103, 0.001154, 0.00116, 0.0008806, 0.000343",\
                 "0.0007776, 0.0007947, 0.0008461, 0.0009383, 0.001048, 0.001148, 0.001044, 0.0005036, -0.0001506, -0.0006563");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.002437, 0.007481, 0.01711, 0.03212, 0.05318, 0.08088, 0.1158, 0.1584, 0.2092");
          values("0.02072, 0.02073, 0.02073, 0.02064, 0.0206, 0.02056, 0.02052, 0.02144, 0.03097, 0.06877",\
                 "0.02028, 0.0203, 0.02033, 0.02034, 0.02032, 0.02029, 0.02024, 0.02124, 0.03108, 0.0695",\
                 "0.01978, 0.01983, 0.02002, 0.02005, 0.02029, 0.0201, 0.02008, 0.02134, 0.0323, 0.07309",\
                 "0.01942, 0.01946, 0.01959, 0.01975, 0.01985, 0.01987, 0.01996, 0.02165, 0.03531, 0.08072",\
                 "0.01925, 0.01928, 0.01934, 0.01949, 0.01959, 0.02, 0.01986, 0.02263, 0.04126, 0.09359",\
                 "0.01918, 0.01921, 0.01925, 0.0193, 0.01942, 0.0195, 0.02028, 0.0253, 0.05315, 0.1128",\
                 "0.01917, 0.01916, 0.0192, 0.01924, 0.01927, 0.01934, 0.02064, 0.03289, 0.07477, 0.1358",\
                 "0.01922, 0.0192, 0.0192, 0.01922, 0.01922, 0.01947, 0.02515, 0.05401, 0.1047, 0.1511",\
                 "0.01927, 0.01925, 0.01921, 0.01919, 0.01933, 0.02377, 0.04859, 0.08674, 0.117, 0.1383",\
                 "0.01881, 0.01878, 0.01871, 0.01912, 0.02915, 0.04826, 0.06157, 0.07024, 0.07634, 0.08065");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.002437, 0.007481, 0.01711, 0.03212, 0.05318, 0.08088, 0.1158, 0.1584, 0.2092");
          values("0.3155, 0.3657, 0.5398, 0.8723, 1.39, 2.118, 3.074, 4.279, 5.749, 7.501",\
                 "0.3587, 0.4094, 0.5848, 0.9182, 1.437, 2.164, 3.12, 4.326, 5.797, 7.55",\
                 "0.5299, 0.5819, 0.7597, 1.095, 1.615, 2.343, 3.298, 4.504, 5.974, 7.729",\
                 "0.7773, 0.8556, 1.085, 1.437, 1.957, 2.686, 3.644, 4.849, 6.319, 8.074",\
                 "1.025, 1.135, 1.453, 1.921, 2.492, 3.223, 4.18, 5.385, 6.857, 8.611",\
                 "1.262, 1.407, 1.824, 2.431, 3.156, 3.973, 4.936, 6.141, 7.612, 9.366",\
                 "1.477, 1.66, 2.188, 2.943, 3.842, 4.836, 5.917, 7.137, 8.606, 10.36",\
                 "1.661, 1.885, 2.534, 3.453, 4.535, 5.725, 7.006, 8.366, 9.864, 11.62",\
                 "1.806, 2.079, 2.85, 3.951, 5.226, 6.626, 8.12, 9.697, 11.36, 13.15",\
                 "1.901, 2.225, 3.136, 4.421, 5.908, 7.525, 9.245, 11.05, 12.95, 14.92");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.002437, 0.007481, 0.01711, 0.03212, 0.05318, 0.08088, 0.1158, 0.1584, 0.2092");
          values("0.4703, 0.5507, 0.8309, 1.363, 2.191, 3.352, 4.88, 6.809, 9.154, 11.95",\
                 "0.5248, 0.6082, 0.8956, 1.433, 2.265, 3.426, 4.956, 6.884, 9.229, 12.03",\
                 "0.7285, 0.8135, 1.106, 1.651, 2.487, 3.656, 5.186, 7.113, 9.46, 12.26",\
                 "1.144, 1.236, 1.53, 2.076, 2.917, 4.088, 5.626, 7.55, 9.907, 12.72",\
                 "1.675, 1.808, 2.187, 2.755, 3.595, 4.771, 6.303, 8.24, 10.6, 13.4",\
                 "2.281, 2.459, 2.966, 3.683, 4.557, 5.73, 7.266, 9.201, 11.56, 14.36",\
                 "2.96, 3.187, 3.835, 4.747, 5.793, 7.002, 8.538, 10.47, 12.83, 15.64",\
                 "3.707, 3.986, 4.784, 5.907, 7.197, 8.579, 10.15, 12.08, 14.43, 17.25",\
                 "4.519, 4.855, 5.819, 7.164, 8.703, 10.36, 12.08, 14.04, 16.4, 19.21",\
                 "5.403, 5.798, 6.928, 8.509, 10.32, 12.26, 14.27, 16.36, 18.74, 21.55");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.002437, 0.007481, 0.01711, 0.03212, 0.05318, 0.08088, 0.1158, 0.1584, 0.2092");
          values("0.3764, 0.4596, 0.753, 1.313, 2.184, 3.405, 5.013, 7.039, 9.518, 12.46",\
                 "0.3765, 0.4603, 0.7531, 1.312, 2.184, 3.406, 5.016, 7.038, 9.512, 12.46",\
                 "0.3971, 0.4691, 0.7535, 1.312, 2.182, 3.405, 5.013, 7.042, 9.512, 12.46",\
                 "0.5968, 0.6674, 0.8848, 1.338, 2.184, 3.405, 5.014, 7.039, 9.516, 12.46",\
                 "0.8524, 0.9414, 1.216, 1.644, 2.292, 3.416, 5.014, 7.041, 9.51, 12.46",\
                 "1.152, 1.268, 1.6, 2.112, 2.761, 3.648, 5.057, 7.04, 9.509, 12.46",\
                 "1.491, 1.629, 2.035, 2.636, 3.405, 4.292, 5.444, 7.155, 9.524, 12.46",\
                 "1.871, 2.036, 2.513, 3.222, 4.096, 5.108, 6.262, 7.7, 9.742, 12.5",\
                 "2.296, 2.484, 3.046, 3.856, 4.85, 6.004, 7.288, 8.74, 10.47, 12.86",\
                 "2.762, 2.984, 3.616, 4.54, 5.67, 6.952, 8.404, 9.958, 11.67, 13.76");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.002437, 0.007481, 0.01711, 0.03212, 0.05318, 0.08088, 0.1158, 0.1584, 0.2092");
          values("0.5838, 0.7177, 1.187, 2.08, 3.474, 5.435, 8.012, 11.26, 15.22, 19.94",\
                 "0.5842, 0.7189, 1.189, 2.082, 3.478, 5.437, 8.015, 11.26, 15.22, 19.94",\
                 "0.5857, 0.7178, 1.186, 2.081, 3.48, 5.436, 8.012, 11.26, 15.22, 19.94",\
                 "0.7016, 0.7928, 1.197, 2.083, 3.478, 5.434, 8.012, 11.25, 15.21, 19.94",\
                 "1.023, 1.125, 1.418, 2.122, 3.485, 5.437, 8.018, 11.26, 15.23, 19.95",\
                 "1.392, 1.517, 1.898, 2.467, 3.554, 5.439, 8.026, 11.26, 15.22, 19.95",\
                 "1.801, 1.963, 2.424, 3.101, 3.985, 5.546, 8.032, 11.25, 15.21, 19.94",\
                 "2.243, 2.444, 3.006, 3.82, 4.778, 6.042, 8.16, 11.29, 15.22, 19.95",\
                 "2.726, 2.962, 3.634, 4.598, 5.72, 6.972, 8.706, 11.43, 15.25, 19.96",\
                 "3.24, 3.52, 4.306, 5.416, 6.72, 8.166, 9.752, 12.03, 15.47, 20.01");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.002437, 0.007481, 0.01711, 0.03212, 0.05318, 0.08088, 0.1158, 0.1584, 0.2092");
          values("0.3659, 0.4156, 0.5899, 0.9224, 1.441, 2.167, 3.123, 4.329, 5.799, 7.552",\
                 "0.4219, 0.472, 0.6472, 0.9803, 1.499, 2.225, 3.182, 4.387, 5.858, 7.609",\
                 "0.5882, 0.6396, 0.8167, 1.151, 1.671, 2.398, 3.354, 4.561, 6.031, 7.785",\
                 "0.8251, 0.8902, 1.097, 1.445, 1.966, 2.694, 3.651, 4.857, 6.329, 8.08",\
                 "1.091, 1.177, 1.438, 1.855, 2.417, 3.15, 4.109, 5.314, 6.784, 8.539",\
                 "1.365, 1.476, 1.809, 2.318, 2.974, 3.777, 4.746, 5.955, 7.428, 9.182",\
                 "1.627, 1.772, 2.194, 2.817, 3.588, 4.5, 5.563, 6.795, 8.271, 10.03",\
                 "1.867, 2.048, 2.572, 3.332, 4.241, 5.282, 6.47, 7.81, 9.324, 11.09",\
                 "2.075, 2.296, 2.933, 3.846, 4.918, 6.115, 7.44, 8.917, 10.55, 12.37",\
                 "2.236, 2.505, 3.267, 4.351, 5.606, 6.975, 8.465, 10.09, 11.87, 13.82");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.002437, 0.007481, 0.01711, 0.03212, 0.05318, 0.08088, 0.1158, 0.1584, 0.2092");
          values("0.629, 0.7107, 0.9943, 1.53, 2.361, 3.525, 5.054, 6.979, 9.328, 12.13",\
                 "0.6801, 0.7625, 1.048, 1.585, 2.417, 3.58, 5.11, 7.035, 9.384, 12.18",\
                 "0.8934, 0.9771, 1.266, 1.807, 2.641, 3.807, 5.337, 7.263, 9.613, 12.41",\
                 "1.325, 1.409, 1.697, 2.241, 3.077, 4.244, 5.776, 7.704, 10.06, 12.86",\
                 "1.94, 2.049, 2.376, 2.926, 3.762, 4.933, 6.465, 8.394, 10.74, 13.55",\
                 "2.645, 2.791, 3.227, 3.877, 4.732, 5.9, 7.434, 9.364, 11.72, 14.52",\
                 "3.431, 3.615, 4.172, 4.997, 5.987, 7.177, 8.712, 10.64, 12.99, 15.8",\
                 "4.295, 4.522, 5.206, 6.222, 7.434, 8.765, 10.32, 12.25, 14.6, 17.41",\
                 "5.233, 5.508, 6.326, 7.544, 8.996, 10.58, 12.27, 14.22, 16.57, 19.38",\
                 "6.246, 6.567, 7.532, 8.961, 10.66, 12.53, 14.49, 16.55, 18.92, 21.72");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.002437, 0.007481, 0.01711, 0.03212, 0.05318, 0.08088, 0.1158, 0.1584, 0.2092");
          values("0.3757, 0.4602, 0.7536, 1.314, 2.183, 3.405, 5.015, 7.039, 9.512, 12.46",\
                 "0.3771, 0.4609, 0.7542, 1.314, 2.183, 3.406, 5.016, 7.039, 9.518, 12.46",\
                 "0.3837, 0.4637, 0.754, 1.314, 2.183, 3.405, 5.014, 7.038, 9.512, 12.46",\
                 "0.4932, 0.5718, 0.8294, 1.331, 2.183, 3.404, 5.014, 7.042, 9.51, 12.46",\
                 "0.6542, 0.7418, 1.023, 1.517, 2.264, 3.415, 5.015, 7.042, 9.512, 12.46",\
                 "0.8706, 0.9702, 1.278, 1.803, 2.561, 3.588, 5.058, 7.042, 9.512, 12.46",\
                 "1.138, 1.257, 1.6, 2.157, 2.95, 3.996, 5.338, 7.153, 9.528, 12.46",\
                 "1.443, 1.583, 1.986, 2.594, 3.41, 4.502, 5.864, 7.546, 9.726, 12.52",\
                 "1.794, 1.95, 2.41, 3.096, 3.968, 5.082, 6.488, 8.198, 10.24, 12.82",\
                 "2.198, 2.37, 2.892, 3.658, 4.606, 5.756, 7.2, 8.954, 11.02, 13.46");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.002437, 0.007481, 0.01711, 0.03212, 0.05318, 0.08088, 0.1158, 0.1584, 0.2092");
          values("0.709, 0.8425, 1.312, 2.209, 3.607, 5.566, 8.144, 11.39, 15.35, 20.07",\
                 "0.7083, 0.8419, 1.312, 2.209, 3.607, 5.566, 8.144, 11.39, 15.35, 20.07",\
                 "0.7086, 0.8428, 1.312, 2.21, 3.604, 5.566, 8.144, 11.39, 15.35, 20.08",\
                 "0.7388, 0.8572, 1.314, 2.21, 3.607, 5.565, 8.144, 11.39, 15.35, 20.08",\
                 "0.9956, 1.098, 1.438, 2.227, 3.607, 5.561, 8.144, 11.39, 15.35, 20.08",\
                 "1.342, 1.473, 1.857, 2.478, 3.652, 5.565, 8.137, 11.39, 15.35, 20.08",\
                 "1.724, 1.895, 2.374, 3.062, 4.007, 5.648, 8.146, 11.39, 15.35, 20.07",\
                 "2.146, 2.35, 2.93, 3.766, 4.746, 6.076, 8.26, 11.4, 15.35, 20.08",\
                 "2.604, 2.846, 3.538, 4.522, 5.674, 6.95, 8.752, 11.54, 15.37, 20.08",\
                 "3.088, 3.374, 4.188, 5.328, 6.668, 8.104, 9.742, 12.09, 15.54, 20.11");
        }
      }
    }
  }