  cell(gf180mcu_fd_sc_mcu9t5v0__nand2_4) {
    area : 45.158400 ;

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

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

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

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

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

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

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

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

      internal_power() {
        when : "!A2" ;

        fall_power(pwr_tin_10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          values("0.08328, 0.08276, 0.08245, 0.08232, 0.08246, 0.08247, 0.08256, \
                  0.08249, 0.08245, 0.0825");
        }

        rise_power(pwr_tin_10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          values("-0.06013, -0.05988, -0.05982, -0.05989, -0.06006, -0.06015, -0.06012, \
                  -0.06028, -0.06038, -0.06055");
        }
      }
    }

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

      internal_power() {
        when : "!A1" ;

        fall_power(pwr_tin_10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          values("0.07809, 0.07187, 0.07128, 0.07127, 0.0714, 0.07146, 0.07143, \
                  0.07143, 0.07141, 0.07139");
        }

        rise_power(pwr_tin_10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          values("-0.07175, -0.07146, -0.07116, -0.07117, -0.07133, -0.07125, -0.07121, \
                  -0.07122, -0.07121, -0.07124");
        }
      }
    }

    pin(ZN) {
      direction : output ;
      function : "((!A1)|(!A2))" ;
      max_capacitance : 1.978 ;
      max_transition : 11.2 ;
      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.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01465, 0.06255, 0.154, 0.2965, 0.4965, 0.7596, 1.091, 1.496, 1.978");
          values("0.007149, 0.008589, 0.00993, 0.0102, 0.01043, 0.0105, 0.01055, 0.01059, 0.01059, 0.0106",\
                 "0.000681, 0.003562, 0.007241, 0.008888, 0.009589, 0.009987, 0.0102, 0.01034, 0.01039, 0.01042",\
                 "-0.002459, -0.0009137, 0.003189, 0.006159, 0.007894, 0.008809, 0.009361, 0.009706, 0.009926, 0.01005",\
                 "0.007687, 0.006293, 0.005515, 0.006582, 0.007824, 0.008655, 0.009227, 0.009565, 0.00979, 0.009922",\
                 "0.03266, 0.02763, 0.01953, 0.01497, 0.01278, 0.01182, 0.01137, 0.01112, 0.01098, 0.01078",\
                 "0.07231, 0.06413, 0.04807, 0.03529, 0.02713, 0.02203, 0.01874, 0.01668, 0.01518, 0.01418",\
                 "0.1279, 0.1167, 0.09255, 0.06998, 0.05365, 0.04212, 0.03407, 0.0286, 0.02466, 0.0216",\
                 "0.2, 0.1862, 0.1541, 0.1213, 0.09474, 0.07512, 0.06038, 0.04952, 0.04154, 0.03547",\
                 "0.2892, 0.273, 0.234, 0.1901, 0.1524, 0.1225, 0.09954, 0.08206, 0.06815, 0.05752",\
                 "0.3974, 0.3786, 0.3328, 0.2788, 0.2287, 0.1874, 0.1541, 0.1284, 0.1064, 0.09044");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01465, 0.06255, 0.154, 0.2965, 0.4965, 0.7596, 1.091, 1.496, 1.978");
          values("0.1926, 0.1984, 0.203, 0.205, 0.2075, 0.2091, 0.2136, 0.2156, 0.2218, 0.2821",\
                 "0.1821, 0.188, 0.1973, 0.2021, 0.2067, 0.2109, 0.2154, 0.2189, 0.2278, 0.2812",\
                 "0.1812, 0.1828, 0.1879, 0.1952, 0.2016, 0.2076, 0.2109, 0.2189, 0.2281, 0.2862",\
                 "0.1963, 0.1936, 0.192, 0.1924, 0.1987, 0.2037, 0.2094, 0.2159, 0.2239, 0.2972",\
                 "0.226, 0.2204, 0.2096, 0.2042, 0.2025, 0.2049, 0.2088, 0.2129, 0.2245, 0.3122",\
                 "0.2711, 0.262, 0.2446, 0.2306, 0.22, 0.2154, 0.2163, 0.2192, 0.232, 0.3475",\
                 "0.3331, 0.3212, 0.2961, 0.2718, 0.2543, 0.2418, 0.2331, 0.2286, 0.2457, 0.4277",\
                 "0.4133, 0.3983, 0.3658, 0.332, 0.3019, 0.2853, 0.267, 0.2543, 0.2845, 0.5943",\
                 "0.5126, 0.4947, 0.4549, 0.4122, 0.3734, 0.3399, 0.3179, 0.3037, 0.3803, 0.9554",\
                 "0.6319, 0.612, 0.5643, 0.512, 0.4637, 0.4149, 0.3835, 0.3812, 0.628, 1.768");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01465, 0.06255, 0.154, 0.2965, 0.4965, 0.7596, 1.091, 1.496, 1.978");
          values("0.007844, 0.008914, 0.009841, 0.0102, 0.01034, 0.0104, 0.01045, 0.01051, 0.01051, 0.01053",\
                 "0.001585, 0.004492, 0.007694, 0.009105, 0.009722, 0.01003, 0.0102, 0.01029, 0.01036, 0.0104",\
                 "-0.004537, -0.002001, 0.002776, 0.006028, 0.00787, 0.008844, 0.009367, 0.009664, 0.009912, 0.01005",\
                 "0.0012, 0.001124, 0.002676, 0.005084, 0.006879, 0.008043, 0.008777, 0.009192, 0.009544, 0.009745",\
                 "0.02202, 0.01872, 0.01398, 0.01168, 0.01095, 0.01066, 0.01059, 0.01056, 0.01056, 0.01053",\
                 "0.05914, 0.05232, 0.03952, 0.02986, 0.02369, 0.01985, 0.01735, 0.01562, 0.01453, 0.01369",\
                 "0.1131, 0.103, 0.08168, 0.06217, 0.04851, 0.03884, 0.0321, 0.02721, 0.02371, 0.02103",\
                 "0.1843, 0.1712, 0.1416, 0.1114, 0.088, 0.07037, 0.05748, 0.04769, 0.04032, 0.0347",\
                 "0.2731, 0.2575, 0.2201, 0.1792, 0.144, 0.1172, 0.09594, 0.07938, 0.06695, 0.05684",\
                 "0.3804, 0.3625, 0.3182, 0.266, 0.219, 0.1805, 0.1495, 0.125, 0.1057, 0.08956");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01465, 0.06255, 0.154, 0.2965, 0.4965, 0.7596, 1.091, 1.496, 1.978");
          values("0.2671, 0.2677, 0.2688, 0.2691, 0.2709, 0.273, 0.2751, 0.2786, 0.2878, 0.3368",\
                 "0.2581, 0.2602, 0.2635, 0.2655, 0.2678, 0.2706, 0.2733, 0.2759, 0.2836, 0.3367",\
                 "0.2559, 0.2563, 0.2588, 0.2615, 0.2653, 0.2679, 0.2721, 0.2756, 0.2812, 0.3413",\
                 "0.2695, 0.267, 0.2642, 0.2632, 0.2653, 0.2685, 0.2706, 0.2747, 0.2809, 0.348",\
                 "0.2982, 0.2936, 0.2834, 0.2765, 0.273, 0.2715, 0.2733, 0.2762, 0.286, 0.3677",\
                 "0.343, 0.3361, 0.3197, 0.3032, 0.2937, 0.2874, 0.2853, 0.2829, 0.2941, 0.4113",\
                 "0.4047, 0.3961, 0.3736, 0.3479, 0.3298, 0.3147, 0.306, 0.3015, 0.3147, 0.4933",\
                 "0.4847, 0.4741, 0.446, 0.411, 0.3806, 0.3597, 0.3422, 0.3299, 0.3589, 0.663",\
                 "0.5839, 0.5716, 0.538, 0.4947, 0.4526, 0.4194, 0.3941, 0.3775, 0.4565, 1.036",\
                 "0.7032, 0.6899, 0.6519, 0.6, 0.5465, 0.4986, 0.4639, 0.4623, 0.715, 1.857");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01465, 0.06255, 0.154, 0.2965, 0.4965, 0.7596, 1.091, 1.496, 1.978");
          values("0.07387, 0.1073, 0.2226, 0.4408, 0.7809, 1.257, 1.887, 2.678, 3.643, 4.791",\
                 "0.09101, 0.1252, 0.2415, 0.4606, 0.8011, 1.278, 1.906, 2.698, 3.661, 4.811",\
                 "0.1238, 0.1774, 0.3127, 0.5327, 0.8731, 1.35, 1.979, 2.769, 3.734, 4.884",\
                 "0.1368, 0.2127, 0.408, 0.6715, 1.014, 1.491, 2.118, 2.91, 3.873, 5.028",\
                 "0.1296, 0.2274, 0.4787, 0.8234, 1.23, 1.712, 2.339, 3.128, 4.093, 5.246",\
                 "0.0973, 0.2178, 0.5241, 0.9473, 1.45, 2.013, 2.65, 3.439, 4.402, 5.553",\
                 "0.0385, 0.1826, 0.5456, 1.041, 1.639, 2.31, 3.043, 3.851, 4.813, 5.962",\
                 "-0.0508, 0.1168, 0.5381, 1.109, 1.796, 2.575, 3.426, 4.342, 5.332, 6.478",\
                 "-0.1732, 0.0194, 0.4994, 1.147, 1.92, 2.803, 3.773, 4.816, 5.926, 7.11",\
                 "-0.3313, -0.1133, 0.4266, 1.154, 2.015, 2.997, 4.083, 5.254, 6.499, 7.815");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01465, 0.06255, 0.154, 0.2965, 0.4965, 0.7596, 1.091, 1.496, 1.978");
          values("0.08826, 0.1362, 0.2948, 0.5928, 1.056, 1.705, 2.559, 3.631, 4.949, 6.513",\
                 "0.1097, 0.1578, 0.3194, 0.6197, 1.084, 1.733, 2.587, 3.664, 4.979, 6.542",\
                 "0.1882, 0.2496, 0.4136, 0.715, 1.181, 1.832, 2.686, 3.765, 5.078, 6.645",\
                 "0.2877, 0.3751, 0.5965, 0.905, 1.37, 2.021, 2.877, 3.955, 5.267, 6.836",\
                 "0.4133, 0.5223, 0.8107, 1.199, 1.672, 2.32, 3.174, 4.252, 5.562, 7.134",\
                 "0.5671, 0.7002, 1.047, 1.53, 2.092, 2.748, 3.598, 4.674, 5.988, 7.549",\
                 "0.7503, 0.9088, 1.312, 1.882, 2.56, 3.306, 4.164, 5.235, 6.546, 8.107",\
                 "0.9646, 1.149, 1.613, 2.262, 3.049, 3.928, 4.871, 5.947, 7.255, 8.816",\
                 "1.212, 1.423, 1.952, 2.675, 3.565, 4.571, 5.659, 6.814, 8.125, 9.683",\
                 "1.495, 1.734, 2.327, 3.131, 4.112, 5.241, 6.471, 7.78, 9.161, 10.72");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01465, 0.06255, 0.154, 0.2965, 0.4965, 0.7596, 1.091, 1.496, 1.978");
          values("0.07255, 0.1268, 0.318, 0.6787, 1.242, 2.034, 3.075, 4.386, 5.989, 7.899",\
                 "0.07356, 0.1269, 0.3176, 0.6793, 1.243, 2.035, 3.075, 4.387, 5.987, 7.896",\
                 "0.1274, 0.1807, 0.3305, 0.6802, 1.243, 2.034, 3.075, 4.385, 5.988, 7.895",\
                 "0.1919, 0.2669, 0.458, 0.7344, 1.246, 2.035, 3.075, 4.389, 5.99, 7.896",\
                 "0.269, 0.3626, 0.6094, 0.945, 1.367, 2.05, 3.077, 4.388, 5.986, 7.898",\
                 "0.357, 0.4726, 0.767, 1.183, 1.671, 2.254, 3.126, 4.39, 5.989, 7.896",\
                 "0.4568, 0.5938, 0.9388, 1.425, 2.011, 2.661, 3.421, 4.499, 6.007, 7.902",\
                 "0.5672, 0.728, 1.131, 1.685, 2.356, 3.109, 3.944, 4.896, 6.192, 7.937",\
                 "0.6872, 0.8742, 1.333, 1.949, 2.709, 3.572, 4.509, 5.528, 6.689, 8.218",\
                 "0.8186, 1.036, 1.549, 2.241, 3.07, 4.039, 5.094, 6.228, 7.448, 8.838");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01465, 0.06255, 0.154, 0.2965, 0.4965, 0.7596, 1.091, 1.496, 1.978");
          values("0.0967, 0.1727, 0.4391, 0.9477, 1.74, 2.849, 4.314, 6.149, 8.406, 11.09",\
                 "0.09666, 0.1726, 0.4378, 0.9454, 1.74, 2.852, 4.314, 6.149, 8.414, 11.08",\
                 "0.1507, 0.2092, 0.4382, 0.9474, 1.739, 2.851, 4.304, 6.158, 8.41, 11.09",\
                 "0.2228, 0.3129, 0.5279, 0.9502, 1.735, 2.847, 4.314, 6.155, 8.391, 11.1",\
                 "0.2992, 0.414, 0.7102, 1.088, 1.748, 2.844, 4.31, 6.154, 8.4, 11.09",\
                 "0.3878, 0.5212, 0.8892, 1.371, 1.935, 2.872, 4.304, 6.144, 8.397, 11.08",\
                 "0.4874, 0.6436, 1.063, 1.66, 2.316, 3.103, 4.35, 6.139, 8.387, 11.08",\
                 "0.5964, 0.7776, 1.245, 1.939, 2.732, 3.576, 4.627, 6.212, 8.392, 11.06",\
                 "0.7152, 0.9206, 1.446, 2.216, 3.147, 4.133, 5.178, 6.54, 8.488, 11.07",\
                 "0.8458, 1.076, 1.663, 2.492, 3.55, 4.69, 5.88, 7.16, 8.874, 11.18");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01465, 0.06255, 0.154, 0.2965, 0.4965, 0.7596, 1.091, 1.496, 1.978");
          values("0.08989, 0.123, 0.2378, 0.4564, 0.7965, 1.273, 1.901, 2.693, 3.656, 4.807",\
                 "0.1065, 0.1406, 0.2565, 0.4758, 0.8155, 1.293, 1.92, 2.712, 3.676, 4.826",\
                 "0.1341, 0.1797, 0.3081, 0.5284, 0.8691, 1.347, 1.975, 2.766, 3.731, 4.88",\
                 "0.1431, 0.2084, 0.3771, 0.6255, 0.9696, 1.447, 2.076, 2.867, 3.834, 4.981",\
                 "0.1274, 0.2142, 0.4332, 0.7355, 1.12, 1.605, 2.233, 3.025, 3.99, 5.139",\
                 "0.084, 0.1926, 0.4652, 0.8334, 1.278, 1.813, 2.455, 3.245, 4.211, 5.361",\
                 "0.0116, 0.1416, 0.4689, 0.9068, 1.427, 2.027, 2.725, 3.539, 4.504, 5.655",\
                 "-0.0939, 0.059, 0.4405, 0.9506, 1.55, 2.23, 2.999, 3.874, 4.872, 6.024",\
                 "-0.2364, -0.0602, 0.3783, 0.9628, 1.644, 2.414, 3.265, 4.214, 5.279, 6.471",\
                 "-0.417, -0.2164, 0.2793, 0.9374, 1.706, 2.565, 3.512, 4.546, 5.686, 6.951");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01465, 0.06255, 0.154, 0.2965, 0.4965, 0.7596, 1.091, 1.496, 1.978");
          values("0.1274, 0.1736, 0.3311, 0.6285, 1.09, 1.738, 2.589, 3.662, 4.972, 6.533",\
                 "0.1499, 0.1969, 0.3562, 0.6545, 1.117, 1.764, 2.616, 3.689, 4.999, 6.56",\
                 "0.2437, 0.2946, 0.4535, 0.7524, 1.215, 1.864, 2.716, 3.789, 5.099, 6.66",\
                 "0.3717, 0.4448, 0.6444, 0.9457, 1.408, 2.055, 2.907, 3.98, 5.29, 6.852",\
                 "0.5236, 0.6165, 0.8777, 1.246, 1.712, 2.358, 3.209, 4.281, 5.59, 7.15",\
                 "0.7081, 0.8185, 1.134, 1.591, 2.138, 2.788, 3.636, 4.705, 6.013, 7.572",\
                 "0.9267, 1.056, 1.419, 1.961, 2.618, 3.35, 4.203, 5.27, 6.574, 8.132",\
                 "1.184, 1.332, 1.744, 2.358, 3.121, 3.982, 4.915, 5.986, 7.288, 8.843",\
                 "1.477, 1.647, 2.111, 2.792, 3.653, 4.638, 5.711, 6.856, 8.163, 9.713",\
                 "1.812, 2.003, 2.521, 3.27, 4.219, 5.321, 6.535, 7.83, 9.202, 10.76");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01465, 0.06255, 0.154, 0.2965, 0.4965, 0.7596, 1.091, 1.496, 1.978");
          values("0.07267, 0.1272, 0.3165, 0.6796, 1.243, 2.034, 3.075, 4.388, 5.99, 7.895",\
                 "0.07306, 0.1269, 0.317, 0.6789, 1.243, 2.034, 3.075, 4.388, 5.987, 7.898",\
                 "0.1122, 0.1607, 0.3263, 0.6792, 1.245, 2.034, 3.076, 4.389, 5.99, 7.896",\
                 "0.1787, 0.2365, 0.4072, 0.7169, 1.246, 2.036, 3.077, 4.388, 5.991, 7.897",\
                 "0.2634, 0.332, 0.5298, 0.8472, 1.328, 2.051, 3.076, 4.388, 5.99, 7.895",\
                 "0.3606, 0.4442, 0.6748, 1.024, 1.513, 2.184, 3.122, 4.392, 5.991, 7.899",\
                 "0.469, 0.5664, 0.8378, 1.231, 1.75, 2.428, 3.312, 4.481, 6.009, 7.899",\
                 "0.587, 0.7014, 1.017, 1.461, 2.027, 2.732, 3.62, 4.732, 6.149, 7.943",\
                 "0.713, 0.8468, 1.207, 1.709, 2.332, 3.082, 3.99, 5.11, 6.464, 8.145",\
                 "0.8464, 1.001, 1.408, 1.979, 2.658, 3.466, 4.42, 5.551, 6.918, 8.532");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.01465, 0.06255, 0.154, 0.2965, 0.4965, 0.7596, 1.091, 1.496, 1.978");
          values("0.1422, 0.2184, 0.4843, 0.9895, 1.777, 2.883, 4.336, 6.169, 8.397, 11.07",\
                 "0.1417, 0.2183, 0.4839, 0.9896, 1.778, 2.881, 4.336, 6.165, 8.403, 11.06",\
                 "0.1775, 0.235, 0.4838, 0.9893, 1.777, 2.882, 4.335, 6.165, 8.403, 11.07",\
                 "0.2633, 0.3441, 0.552, 0.9928, 1.778, 2.883, 4.337, 6.163, 8.405, 11.07",\
                 "0.3462, 0.4566, 0.736, 1.114, 1.789, 2.884, 4.34, 6.169, 8.4, 11.07",\
                 "0.4322, 0.5646, 0.9234, 1.393, 1.961, 2.907, 4.336, 6.169, 8.401, 11.06",\
                 "0.5296, 0.6808, 1.101, 1.686, 2.335, 3.132, 4.382, 6.17, 8.404, 11.07",\
                 "0.6322, 0.8074, 1.277, 1.969, 2.754, 3.593, 4.653, 6.239, 8.41, 11.07",\
                 "0.743, 0.9442, 1.466, 2.241, 3.168, 4.148, 5.191, 6.558, 8.504, 11.08",\
                 "0.862, 1.089, 1.67, 2.513, 3.568, 4.706, 5.892, 7.172, 8.882, 11.2");
        }
      }
    }
  }