  cell(gf180mcu_fd_sc_mcu9t5v0__nand2_4) {
    area : 45.158400 ;

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

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

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

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

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

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

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

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

      internal_power() {
        when : "!A2" ;

        fall_power(pwr_tin_10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          values("0.08576, 0.08541, 0.08502, 0.08494, 0.08508, 0.0851, 0.08506, \
                  0.08501, 0.08504, 0.08501");
        }

        rise_power(pwr_tin_10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          values("-0.05696, -0.05675, -0.05661, -0.05672, -0.05704, -0.05705, -0.05718, \
                  -0.05739, -0.05764, -0.05807");
        }
      }
    }

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

      internal_power() {
        when : "!A1" ;

        fall_power(pwr_tin_10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          values("0.08562, 0.07781, 0.07453, 0.07405, 0.07397, 0.07397, 0.0739, \
                  0.07392, 0.07389, 0.07381");
        }

        rise_power(pwr_tin_10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          values("-0.07423, -0.074, -0.07375, -0.0737, -0.07383, -0.07385, -0.07379, \
                  -0.07383, -0.07384, -0.0738");
        }
      }
    }

    pin(ZN) {
      direction : output ;
      function : "((!A1)|(!A2))" ;
      max_capacitance : 1.606 ;
      max_transition : 13.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.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01208, 0.05096, 0.1252, 0.2409, 0.4032, 0.6168, 0.8858, 1.214, 1.606");
          values("0.01249, 0.01356, 0.01446, 0.01474, 0.01491, 0.01496, 0.01503, 0.01504, 0.01506, 0.015",\
                 "0.007024, 0.009055, 0.01188, 0.01335, 0.01404, 0.01441, 0.01461, 0.01471, 0.01479, 0.01476",\
                 "0.006403, 0.007581, 0.01002, 0.01193, 0.01317, 0.01381, 0.01415, 0.01445, 0.01462, 0.01466",\
                 "0.02418, 0.02182, 0.01857, 0.01697, 0.0162, 0.01578, 0.01551, 0.01538, 0.01527, 0.01518",\
                 "0.06394, 0.05754, 0.04537, 0.03562, 0.02938, 0.02515, 0.02242, 0.0206, 0.01925, 0.01822",\
                 "0.1264, 0.1164, 0.09448, 0.07381, 0.05825, 0.04724, 0.03948, 0.03376, 0.02967, 0.02659",\
                 "0.2127, 0.1998, 0.1686, 0.1351, 0.1077, 0.0868, 0.071, 0.05918, 0.05034, 0.04332",\
                 "0.3244, 0.3088, 0.2691, 0.2224, 0.1809, 0.1478, 0.1214, 0.101, 0.08504, 0.07202",\
                 "0.4625, 0.4447, 0.3974, 0.3379, 0.2817, 0.2338, 0.1944, 0.163, 0.1374, 0.116",\
                 "0.6283, 0.6084, 0.5546, 0.4833, 0.4113, 0.3472, 0.2935, 0.2484, 0.2106, 0.1786");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01208, 0.05096, 0.1252, 0.2409, 0.4032, 0.6168, 0.8858, 1.214, 1.606");
          values("0.2022, 0.2061, 0.2093, 0.2109, 0.2122, 0.2145, 0.2171, 0.2218, 0.249, 0.4449",\
                 "0.1931, 0.198, 0.2057, 0.2107, 0.214, 0.216, 0.2177, 0.2233, 0.2533, 0.4401",\
                 "0.1948, 0.1958, 0.1998, 0.2054, 0.2101, 0.2142, 0.218, 0.2229, 0.2508, 0.4555",\
                 "0.2194, 0.2156, 0.2111, 0.209, 0.2115, 0.2148, 0.2175, 0.2228, 0.2647, 0.4945",\
                 "0.2665, 0.2595, 0.2448, 0.2337, 0.2255, 0.2235, 0.2247, 0.2283, 0.2736, 0.5531",\
                 "0.3382, 0.3275, 0.3033, 0.2802, 0.2634, 0.2502, 0.2439, 0.2439, 0.3091, 0.6648",\
                 "0.435, 0.4215, 0.3894, 0.3529, 0.3238, 0.3009, 0.2821, 0.2789, 0.3778, 0.867",\
                 "0.5594, 0.5433, 0.5029, 0.4551, 0.411, 0.3771, 0.3475, 0.3445, 0.517, 1.237",\
                 "0.7129, 0.6944, 0.6469, 0.5875, 0.5288, 0.4763, 0.4418, 0.4665, 0.8162, 1.892",\
                 "0.897, 0.8766, 0.8223, 0.7528, 0.6802, 0.613, 0.5749, 0.7333, 1.483, 2.931");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01208, 0.05096, 0.1252, 0.2409, 0.4032, 0.6168, 0.8858, 1.214, 1.606");
          values("0.01297, 0.01366, 0.01436, 0.01463, 0.01479, 0.01488, 0.0149, 0.01494, 0.01494, 0.01492",\
                 "0.007266, 0.009385, 0.01219, 0.01351, 0.01416, 0.01445, 0.01465, 0.01473, 0.01481, 0.01477",\
                 "0.002311, 0.004329, 0.008188, 0.01102, 0.0126, 0.01345, 0.01395, 0.01425, 0.01446, 0.01451",\
                 "0.01441, 0.01358, 0.01328, 0.01385, 0.01435, 0.01454, 0.01471, 0.01478, 0.01488, 0.01482",\
                 "0.04983, 0.04525, 0.03678, 0.0303, 0.02601, 0.02311, 0.0211, 0.01957, 0.01857, 0.01768",\
                 "0.1106, 0.1023, 0.08378, 0.06675, 0.05389, 0.04458, 0.03778, 0.03279, 0.02907, 0.02614",\
                 "0.1979, 0.1859, 0.1573, 0.1273, 0.1029, 0.08399, 0.06959, 0.05869, 0.05028, 0.04358",\
                 "0.3119, 0.2969, 0.2591, 0.2151, 0.1767, 0.1457, 0.121, 0.1015, 0.08607, 0.07367",\
                 "0.4536, 0.4362, 0.39, 0.3329, 0.2787, 0.2333, 0.1956, 0.1654, 0.1406, 0.12",\
                 "0.6239, 0.6047, 0.5513, 0.4814, 0.4114, 0.3489, 0.2974, 0.2537, 0.2173, 0.186");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01208, 0.05096, 0.1252, 0.2409, 0.4032, 0.6168, 0.8858, 1.214, 1.606");
          values("0.2851, 0.2857, 0.2862, 0.2872, 0.2884, 0.2904, 0.2928, 0.2968, 0.3255, 0.5211",\
                 "0.2764, 0.278, 0.2806, 0.2825, 0.2846, 0.2865, 0.2892, 0.294, 0.3227, 0.5204",\
                 "0.2769, 0.2768, 0.2779, 0.2799, 0.2826, 0.2847, 0.2877, 0.2919, 0.3243, 0.5343",\
                 "0.2998, 0.2966, 0.2909, 0.2872, 0.2865, 0.2877, 0.2895, 0.2936, 0.3304, 0.5654",\
                 "0.3468, 0.3408, 0.3269, 0.3135, 0.3049, 0.3006, 0.2985, 0.3014, 0.3473, 0.6265",\
                 "0.4194, 0.4109, 0.3882, 0.364, 0.3442, 0.3306, 0.3217, 0.3224, 0.3844, 0.7451",\
                 "0.5185, 0.508, 0.4785, 0.4416, 0.4104, 0.3845, 0.365, 0.3607, 0.4582, 0.9544",\
                 "0.6463, 0.6343, 0.5986, 0.5512, 0.5037, 0.4652, 0.433, 0.4304, 0.6031, 1.336",\
                 "0.8043, 0.7903, 0.7495, 0.6919, 0.6301, 0.575, 0.5319, 0.557, 0.9141, 2.002",\
                 "0.9939, 0.9785, 0.9331, 0.8675, 0.792, 0.7193, 0.6766, 0.8342, 1.593, 3.043");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01208, 0.05096, 0.1252, 0.2409, 0.4032, 0.6168, 0.8858, 1.214, 1.606");
          values("0.1079, 0.1464, 0.2798, 0.5322, 0.9253, 1.477, 2.204, 3.118, 4.236, 5.566",\
                 "0.1249, 0.1642, 0.2986, 0.5523, 0.9462, 1.498, 2.224, 3.138, 4.255, 5.585",\
                 "0.1658, 0.2222, 0.374, 0.6278, 1.022, 1.575, 2.3, 3.217, 4.336, 5.664",\
                 "0.1822, 0.2606, 0.4734, 0.7758, 1.171, 1.723, 2.449, 3.364, 4.48, 5.812",\
                 "0.1702, 0.2723, 0.5422, 0.9291, 1.4, 1.958, 2.683, 3.596, 4.713, 6.042",\
                 "0.1266, 0.2517, 0.5825, 1.048, 1.62, 2.275, 3.017, 3.926, 5.041, 6.368",\
                 "0.0479, 0.1956, 0.588, 1.135, 1.8, 2.57, 3.426, 4.368, 5.478, 6.803",\
                 "-0.0695, 0.1036, 0.5556, 1.185, 1.946, 2.825, 3.806, 4.877, 6.034, 7.358",\
                 "-0.2278, -0.0319, 0.4822, 1.197, 2.055, 3.04, 4.141, 5.348, 6.646, 8.036",\
                 "-0.4305, -0.2109, 0.3649, 1.165, 2.124, 3.215, 4.433, 5.771, 7.217, 8.759");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01208, 0.05096, 0.1252, 0.2409, 0.4032, 0.6168, 0.8858, 1.214, 1.606");
          values("0.1262, 0.1796, 0.3581, 0.6949, 1.217, 1.949, 2.918, 4.134, 5.62, 7.384",\
                 "0.1488, 0.2033, 0.3861, 0.7252, 1.25, 1.983, 2.949, 4.169, 5.653, 7.411",\
                 "0.2424, 0.3066, 0.4896, 0.8298, 1.355, 2.093, 3.06, 4.277, 5.756, 7.521",\
                 "0.3666, 0.4546, 0.6942, 1.042, 1.566, 2.299, 3.267, 4.484, 5.962, 7.741",\
                 "0.5249, 0.6354, 0.9366, 1.369, 1.904, 2.634, 3.595, 4.81, 6.298, 8.065",\
                 "0.7181, 0.8535, 1.213, 1.735, 2.373, 3.114, 4.071, 5.28, 6.758, 8.532",\
                 "0.9468, 1.109, 1.532, 2.135, 2.884, 3.738, 4.707, 5.91, 7.382, 9.148",\
                 "1.213, 1.403, 1.893, 2.579, 3.428, 4.415, 5.499, 6.713, 8.179, 9.934",\
                 "1.522, 1.737, 2.301, 3.073, 4.017, 5.123, 6.355, 7.685, 9.162, 10.91",\
                 "1.874, 2.116, 2.75, 3.618, 4.658, 5.872, 7.244, 8.737, 10.32, 12.08");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01208, 0.05096, 0.1252, 0.2409, 0.4032, 0.6168, 0.8858, 1.214, 1.606");
          values("0.1148, 0.1804, 0.408, 0.8406, 1.515, 2.458, 3.709, 5.272, 7.193, 9.465",\
                 "0.1145, 0.1799, 0.4075, 0.8406, 1.517, 2.462, 3.706, 5.272, 7.188, 9.466",\
                 "0.1737, 0.237, 0.4217, 0.8408, 1.515, 2.463, 3.707, 5.279, 7.202, 9.465",\
                 "0.2607, 0.3405, 0.5679, 0.9098, 1.517, 2.459, 3.707, 5.279, 7.188, 9.476",\
                 "0.3758, 0.4744, 0.7428, 1.151, 1.676, 2.487, 3.704, 5.273, 7.194, 9.471",\
                 "0.506, 0.63, 0.9496, 1.42, 2.026, 2.753, 3.787, 5.274, 7.188, 9.472",\
                 "0.6546, 0.807, 1.188, 1.718, 2.404, 3.22, 4.172, 5.45, 7.215, 9.468",\
                 "0.824, 1, 1.45, 2.054, 2.806, 3.723, 4.764, 5.957, 7.494, 9.548",\
                 "1.008, 1.215, 1.732, 2.424, 3.252, 4.248, 5.399, 6.686, 8.134, 9.958",\
                 "1.21, 1.445, 2.036, 2.821, 3.735, 4.816, 6.058, 7.468, 9.014, 10.73");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01208, 0.05096, 0.1252, 0.2409, 0.4032, 0.6168, 0.8858, 1.214, 1.606");
          values("0.1488, 0.237, 0.5463, 1.138, 2.056, 3.346, 5.058, 7.197, 9.816, 12.93",\
                 "0.1486, 0.2367, 0.5458, 1.138, 2.057, 3.35, 5.049, 7.205, 9.817, 12.91",\
                 "0.2051, 0.2732, 0.5468, 1.137, 2.057, 3.354, 5.06, 7.198, 9.802, 12.91",\
                 "0.297, 0.3935, 0.6528, 1.144, 2.06, 3.349, 5.055, 7.197, 9.815, 12.94",\
                 "0.4072, 0.5216, 0.854, 1.323, 2.084, 3.35, 5.052, 7.194, 9.818, 12.93",\
                 "0.5414, 0.678, 1.055, 1.634, 2.335, 3.404, 5.047, 7.189, 9.814, 12.94",\
                 "0.686, 0.85, 1.281, 1.942, 2.765, 3.722, 5.15, 7.198, 9.81, 12.94",\
                 "0.8458, 1.04, 1.534, 2.26, 3.211, 4.278, 5.531, 7.33, 9.812, 12.91",\
                 "1.021, 1.244, 1.814, 2.61, 3.649, 4.885, 6.196, 7.8, 10, 12.95",\
                 "1.213, 1.467, 2.114, 2.988, 4.1, 5.462, 6.964, 8.568, 10.54, 13.21");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01208, 0.05096, 0.1252, 0.2409, 0.4032, 0.6168, 0.8858, 1.214, 1.606");
          values("0.1321, 0.1704, 0.3034, 0.5561, 0.9492, 1.501, 2.228, 3.142, 4.258, 5.591",\
                 "0.1505, 0.1898, 0.3246, 0.5778, 0.9717, 1.523, 2.251, 3.164, 4.283, 5.613",\
                 "0.1794, 0.2285, 0.375, 0.6298, 1.024, 1.576, 2.304, 3.219, 4.338, 5.669",\
                 "0.1846, 0.2511, 0.4359, 0.7229, 1.121, 1.673, 2.401, 3.314, 4.435, 5.761",\
                 "0.1546, 0.2432, 0.4779, 0.8179, 1.264, 1.828, 2.553, 3.468, 4.585, 5.915",\
                 "0.085, 0.1953, 0.4875, 0.8936, 1.401, 2.023, 2.771, 3.684, 4.799, 6.13",\
                 "-0.0246, 0.1068, 0.455, 0.9368, 1.518, 2.208, 3.023, 3.971, 5.087, 6.416",\
                 "-0.1805, -0.0276, 0.3767, 0.9369, 1.604, 2.372, 3.26, 4.282, 5.447, 6.78",\
                 "-0.3856, -0.2103, 0.2502, 0.8895, 1.647, 2.507, 3.476, 4.577, 5.82, 7.214",\
                 "-0.6434, -0.4455, 0.0738, 0.7885, 1.643, 2.601, 3.665, 4.85, 6.175, 7.652");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01208, 0.05096, 0.1252, 0.2409, 0.4032, 0.6168, 0.8858, 1.214, 1.606");
          values("0.1834, 0.2357, 0.4144, 0.7512, 1.274, 2.005, 2.968, 4.181, 5.662, 7.426",\
                 "0.2064, 0.2597, 0.4399, 0.7775, 1.3, 2.033, 2.996, 4.208, 5.689, 7.452",\
                 "0.3138, 0.3678, 0.547, 0.8845, 1.408, 2.14, 3.104, 4.317, 5.797, 7.561",\
                 "0.4736, 0.5478, 0.7626, 1.101, 1.621, 2.352, 3.313, 4.527, 6.008, 7.772",\
                 "0.6697, 0.7611, 1.032, 1.438, 1.964, 2.69, 3.647, 4.859, 6.338, 8.098",\
                 "0.9101, 1.019, 1.338, 1.828, 2.441, 3.174, 4.126, 5.332, 6.809, 8.568",\
                 "1.197, 1.325, 1.693, 2.255, 2.975, 3.807, 4.768, 5.966, 7.437, 9.191",\
                 "1.532, 1.681, 2.101, 2.731, 3.544, 4.504, 5.568, 6.774, 8.235, 9.985",\
                 "1.92, 2.09, 2.565, 3.268, 4.164, 5.236, 6.445, 7.755, 9.224, 10.96",\
                 "2.36, 2.551, 3.088, 3.866, 4.845, 6.017, 7.357, 8.826, 10.39, 12.14");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01208, 0.05096, 0.1252, 0.2409, 0.4032, 0.6168, 0.8858, 1.214, 1.606");
          values("0.115, 0.1798, 0.4072, 0.8405, 1.515, 2.463, 3.703, 5.276, 7.185, 9.475",\
                 "0.1155, 0.18, 0.4078, 0.8408, 1.516, 2.46, 3.711, 5.273, 7.195, 9.466",\
                 "0.1579, 0.2177, 0.418, 0.841, 1.514, 2.461, 3.709, 5.278, 7.195, 9.481",\
                 "0.2415, 0.3053, 0.5143, 0.8912, 1.52, 2.46, 3.704, 5.276, 7.201, 9.472",\
                 "0.3628, 0.435, 0.6532, 1.045, 1.631, 2.488, 3.705, 5.272, 7.189, 9.479",\
                 "0.507, 0.5928, 0.8398, 1.245, 1.848, 2.669, 3.786, 5.283, 7.183, 9.473",\
                 "0.6706, 0.772, 1.062, 1.498, 2.116, 2.958, 4.035, 5.424, 7.225, 9.472",\
                 "0.8482, 0.967, 1.306, 1.797, 2.44, 3.296, 4.403, 5.756, 7.44, 9.563",\
                 "1.042, 1.183, 1.569, 2.128, 2.825, 3.696, 4.822, 6.204, 7.856, 9.85",\
                 "1.242, 1.408, 1.855, 2.485, 3.249, 4.163, 5.304, 6.708, 8.398, 10.36");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01208, 0.05096, 0.1252, 0.2409, 0.4032, 0.6168, 0.8858, 1.214, 1.606");
          values("0.2253, 0.3139, 0.6251, 1.216, 2.136, 3.423, 5.12, 7.257, 9.867, 12.98",\
                 "0.2249, 0.3136, 0.6241, 1.216, 2.135, 3.425, 5.121, 7.259, 9.87, 12.98",\
                 "0.254, 0.327, 0.6241, 1.216, 2.136, 3.425, 5.121, 7.257, 9.867, 12.98",\
                 "0.362, 0.4516, 0.7008, 1.22, 2.136, 3.426, 5.124, 7.256, 9.859, 12.98",\
                 "0.4752, 0.588, 0.9084, 1.372, 2.155, 3.426, 5.123, 7.259, 9.869, 12.98",\
                 "0.6034, 0.7334, 1.115, 1.682, 2.382, 3.472, 5.124, 7.263, 9.874, 12.98",\
                 "0.75, 0.8996, 1.331, 1.993, 2.808, 3.772, 5.207, 7.267, 9.872, 12.98",\
                 "0.91, 1.087, 1.567, 2.305, 3.251, 4.312, 5.584, 7.394, 9.886, 12.98",\
                 "1.083, 1.292, 1.831, 2.631, 3.679, 4.906, 6.232, 7.844, 10.06, 13.01",\
                 "1.266, 1.504, 2.12, 2.988, 4.116, 5.482, 6.988, 8.602, 10.59, 13.24");
        }
      }
    }
  }