  cell(gf180mcu_fd_sc_mcu9t5v0__and2_2) {
    area : 25.401600 ;

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

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

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

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

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

      internal_power() {
        when : "!A2" ;

        fall_power(pwr_tin_10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          values("0.005152, 0.005145, 0.005135, 0.005125, 0.005142, 0.005135, 0.005137, \
                  0.005134, 0.005135, 0.005105");
        }

        rise_power(pwr_tin_10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          values("-0.004161, -0.004159, -0.004158, -0.004155, -0.004177, -0.004184, \
                  -0.004198, -0.004216, -0.004252, -0.00435");
        }
      }
    }

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

      internal_power() {
        when : "!A1" ;

        fall_power(pwr_tin_10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          values("0.004374, 0.004282, 0.004274, 0.004264, 0.004279, 0.004278, 0.004272, \
                  0.004275, 0.004274, 0.004249");
        }

        rise_power(pwr_tin_10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          values("-0.004268, -0.004264, -0.00426, -0.004258, -0.004272, -0.004265, \
                  -0.004263, -0.00426, -0.00426, -0.004248");
        }
      }
    }

    pin(Z) {
      direction : output ;
      function : "(A1&A2)" ;
      max_capacitance : 0.4089 ;
      max_transition : 17 ;
      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.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.003815, 0.0137, 0.03257, 0.06197, 0.1032, 0.1575, 0.2259, 0.3094, 0.4089");
          values("0.03856, 0.03881, 0.03931, 0.03974, 0.04004, 0.0402, 0.04029, 0.04035, 0.04039, 0.04041",\
                 "0.03854, 0.0388, 0.03931, 0.03976, 0.04006, 0.04022, 0.04031, 0.04036, 0.0404, 0.04042",\
                 "0.03812, 0.03834, 0.03888, 0.03936, 0.03965, 0.03982, 0.0399, 0.03995, 0.03998, 0.04",\
                 "0.03766, 0.03789, 0.03835, 0.03882, 0.03914, 0.03933, 0.03943, 0.03949, 0.03953, 0.03956",\
                 "0.03729, 0.03749, 0.0379, 0.03833, 0.03868, 0.03891, 0.03905, 0.03916, 0.03922, 0.03924",\
                 "0.03701, 0.03718, 0.03755, 0.03795, 0.03833, 0.03859, 0.03876, 0.03887, 0.03897, 0.03901",\
                 "0.03679, 0.03695, 0.03729, 0.0377, 0.03805, 0.03833, 0.03855, 0.0387, 0.03879, 0.03886",\
                 "0.03662, 0.03677, 0.03709, 0.03748, 0.03782, 0.03811, 0.03835, 0.03851, 0.03862, 0.0387",\
                 "0.03651, 0.03666, 0.03697, 0.03731, 0.03764, 0.03794, 0.03818, 0.03836, 0.03849, 0.03848",\
                 "0.03638, 0.03651, 0.0368, 0.03714, 0.03746, 0.03775, 0.038, 0.03792, 0.03688, 0.03543");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.003815, 0.0137, 0.03257, 0.06197, 0.1032, 0.1575, 0.2259, 0.3094, 0.4089");
          values("0.02149, 0.02167, 0.02216, 0.0227, 0.02325, 0.02363, 0.02402, 0.02413, 0.02652, 0.05637",\
                 "0.02143, 0.02163, 0.0221, 0.02266, 0.02325, 0.02358, 0.02405, 0.0241, 0.02652, 0.05698",\
                 "0.02129, 0.02149, 0.02196, 0.0225, 0.02301, 0.0235, 0.02389, 0.024, 0.02696, 0.06167",\
                 "0.02106, 0.02123, 0.02165, 0.0221, 0.02257, 0.02306, 0.0235, 0.02373, 0.02818, 0.07058",\
                 "0.02077, 0.0209, 0.02127, 0.02168, 0.02218, 0.02264, 0.02287, 0.02363, 0.03063, 0.08872",\
                 "0.02052, 0.02066, 0.02093, 0.0214, 0.02178, 0.02217, 0.02276, 0.02336, 0.03656, 0.1214",\
                 "0.02035, 0.02048, 0.02074, 0.02111, 0.02154, 0.02191, 0.02218, 0.02452, 0.05268, 0.1709",\
                 "0.02021, 0.02031, 0.02055, 0.02087, 0.02126, 0.02177, 0.02236, 0.02956, 0.09265, 0.2304",\
                 "0.02011, 0.02021, 0.02045, 0.02076, 0.02095, 0.02144, 0.02369, 0.05397, 0.1636, 0.2758",\
                 "0.02002, 0.02012, 0.02033, 0.02065, 0.02105, 0.0217, 0.04189, 0.1284, 0.2165, 0.28");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.003815, 0.0137, 0.03257, 0.06197, 0.1032, 0.1575, 0.2259, 0.3094, 0.4089");
          values("0.04217, 0.04237, 0.04285, 0.0433, 0.0436, 0.04379, 0.0439, 0.04398, 0.04403, 0.04405",\
                 "0.04191, 0.04213, 0.0426, 0.04307, 0.04338, 0.04356, 0.04367, 0.04375, 0.04379, 0.04383",\
                 "0.04162, 0.04187, 0.04231, 0.04279, 0.04311, 0.0433, 0.0434, 0.04348, 0.04351, 0.04355",\
                 "0.04136, 0.04157, 0.04201, 0.04246, 0.04279, 0.04299, 0.04313, 0.0432, 0.04326, 0.04328",\
                 "0.04113, 0.04131, 0.0417, 0.04212, 0.04246, 0.0427, 0.04286, 0.04295, 0.04301, 0.04307",\
                 "0.04089, 0.04105, 0.04141, 0.0418, 0.04215, 0.04242, 0.04261, 0.04274, 0.04282, 0.04288",\
                 "0.04067, 0.04083, 0.04116, 0.04154, 0.04189, 0.04218, 0.04239, 0.04253, 0.04264, 0.0427",\
                 "0.04054, 0.04067, 0.04097, 0.04133, 0.04166, 0.04198, 0.04218, 0.04234, 0.04247, 0.04256",\
                 "0.04039, 0.04052, 0.04081, 0.04114, 0.04147, 0.04174, 0.04201, 0.04219, 0.0423, 0.04229",\
                 "0.04017, 0.0403, 0.04059, 0.04091, 0.04122, 0.0415, 0.04173, 0.04151, 0.04022, 0.03883");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.003815, 0.0137, 0.03257, 0.06197, 0.1032, 0.1575, 0.2259, 0.3094, 0.4089");
          values("0.02146, 0.0217, 0.02215, 0.02269, 0.02327, 0.02368, 0.02392, 0.02433, 0.02673, 0.05621",\
                 "0.02143, 0.02161, 0.02211, 0.02264, 0.02319, 0.02358, 0.02389, 0.02436, 0.02659, 0.05803",\
                 "0.02132, 0.02152, 0.02199, 0.02252, 0.02314, 0.02358, 0.02392, 0.02426, 0.02766, 0.06157",\
                 "0.02116, 0.02132, 0.02175, 0.02228, 0.02275, 0.02342, 0.02366, 0.0241, 0.0286, 0.07074",\
                 "0.02091, 0.02108, 0.02147, 0.02194, 0.02246, 0.02283, 0.02321, 0.02362, 0.03072, 0.08882",\
                 "0.02074, 0.02087, 0.02117, 0.02164, 0.02212, 0.02254, 0.02308, 0.02397, 0.03673, 0.1203",\
                 "0.02057, 0.02071, 0.02095, 0.02139, 0.02188, 0.02227, 0.02255, 0.02458, 0.05211, 0.1691",\
                 "0.02044, 0.02055, 0.02083, 0.02114, 0.02162, 0.02214, 0.02252, 0.02989, 0.09166, 0.2295",\
                 "0.02034, 0.02046, 0.02072, 0.02102, 0.02126, 0.02173, 0.02395, 0.05388, 0.1628, 0.2757",\
                 "0.02029, 0.02039, 0.02063, 0.02092, 0.02123, 0.02195, 0.04202, 0.1285, 0.2167, 0.2805");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.003815, 0.0137, 0.03257, 0.06197, 0.1032, 0.1575, 0.2259, 0.3094, 0.4089");
          values("1.357, 1.415, 1.562, 1.77, 2.036, 2.375, 2.805, 3.34, 3.99, 4.765",\
                 "1.423, 1.48, 1.628, 1.836, 2.102, 2.441, 2.871, 3.405, 4.056, 4.83",\
                 "1.64, 1.696, 1.844, 2.052, 2.319, 2.658, 3.088, 3.622, 4.272, 5.047",\
                 "2.069, 2.125, 2.273, 2.481, 2.747, 3.087, 3.516, 4.05, 4.701, 5.475",\
                 "2.752, 2.809, 2.956, 3.164, 3.43, 3.77, 4.2, 4.735, 5.386, 6.16",\
                 "3.713, 3.77, 3.919, 4.127, 4.395, 4.735, 5.166, 5.7, 6.351, 7.125",\
                 "4.925, 4.987, 5.144, 5.358, 5.63, 5.971, 6.402, 6.937, 7.586, 8.361",\
                 "6.328, 6.398, 6.573, 6.803, 7.084, 7.432, 7.864, 8.398, 9.048, 9.822",\
                 "7.911, 7.991, 8.186, 8.436, 8.728, 9.083, 9.52, 10.06, 10.71, 11.48",\
                 "9.679, 9.768, 9.983, 10.26, 10.57, 10.93, 11.37, 11.91, 12.56, 13.34");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.003815, 0.0137, 0.03257, 0.06197, 0.1032, 0.1575, 0.2259, 0.3094, 0.4089");
          values("1.056, 1.142, 1.409, 1.886, 2.615, 3.63, 4.962, 6.639, 8.682, 11.11",\
                 "1.103, 1.189, 1.457, 1.934, 2.663, 3.677, 5.01, 6.687, 8.73, 11.15",\
                 "1.283, 1.369, 1.636, 2.113, 2.842, 3.857, 5.189, 6.867, 8.91, 11.33",\
                 "1.629, 1.714, 1.98, 2.456, 3.184, 4.2, 5.529, 7.203, 9.253, 11.68",\
                 "2.152, 2.237, 2.504, 2.98, 3.706, 4.723, 6.053, 7.727, 9.77, 12.22",\
                 "2.776, 2.865, 3.136, 3.615, 4.342, 5.355, 6.69, 8.363, 10.41, 12.85",\
                 "3.479, 3.571, 3.847, 4.326, 5.057, 6.071, 7.4, 9.075, 11.12, 13.56",\
                 "4.257, 4.353, 4.633, 5.112, 5.842, 6.859, 8.192, 9.866, 11.91, 14.34",\
                 "5.108, 5.209, 5.496, 5.977, 6.704, 7.721, 9.054, 10.73, 12.77, 15.21",\
                 "6.024, 6.132, 6.428, 6.912, 7.639, 8.654, 9.986, 11.66, 13.71, 16.14");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.003815, 0.0137, 0.03257, 0.06197, 0.1032, 0.1575, 0.2259, 0.3094, 0.4089");
          values("0.2906, 0.3338, 0.4654, 0.6902, 1.036, 1.535, 2.218, 3.1, 4.188, 5.483",\
                 "0.2906, 0.334, 0.4652, 0.6906, 1.036, 1.535, 2.216, 3.097, 4.188, 5.489",\
                 "0.2898, 0.3342, 0.4654, 0.6908, 1.035, 1.535, 2.216, 3.098, 4.188, 5.484",\
                 "0.2904, 0.3344, 0.4656, 0.6904, 1.035, 1.534, 2.216, 3.096, 4.188, 5.487",\
                 "0.291, 0.3352, 0.4666, 0.6916, 1.036, 1.534, 2.218, 3.099, 4.188, 5.483",\
                 "0.3008, 0.3438, 0.4722, 0.6944, 1.037, 1.535, 2.216, 3.098, 4.187, 5.48",\
                 "0.3384, 0.3796, 0.501, 0.715, 1.05, 1.543, 2.222, 3.102, 4.188, 5.488",\
                 "0.402, 0.446, 0.566, 0.77, 1.09, 1.568, 2.234, 3.104, 4.188, 5.488",\
                 "0.47, 0.518, 0.644, 0.838, 1.144, 1.608, 2.262, 3.118, 4.19, 5.484",\
                 "0.544, 0.594, 0.726, 0.92, 1.21, 1.658, 2.294, 3.144, 4.208, 5.496");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.003815, 0.0137, 0.03257, 0.06197, 0.1032, 0.1575, 0.2259, 0.3094, 0.4089");
          values("0.3543, 0.4622, 0.847, 1.604, 2.8, 4.488, 6.707, 9.523, 12.91, 16.98",\
                 "0.3538, 0.4636, 0.8468, 1.602, 2.8, 4.486, 6.712, 9.521, 12.91, 16.98",\
                 "0.3544, 0.4622, 0.847, 1.604, 2.803, 4.487, 6.711, 9.528, 12.91, 16.98",\
                 "0.3544, 0.4626, 0.8468, 1.603, 2.8, 4.491, 6.704, 9.5, 12.92, 16.98",\
                 "0.3618, 0.4694, 0.8498, 1.603, 2.801, 4.487, 6.705, 9.499, 12.91, 16.98",\
                 "0.3834, 0.4888, 0.8654, 1.613, 2.802, 4.494, 6.71, 9.504, 12.91, 17.01",\
                 "0.4096, 0.5112, 0.8802, 1.626, 2.818, 4.496, 6.707, 9.498, 12.91, 16.99",\
                 "0.443, 0.5402, 0.896, 1.632, 2.826, 4.506, 6.718, 9.514, 12.91, 16.99",\
                 "0.484, 0.578, 0.92, 1.642, 2.828, 4.512, 6.726, 9.514, 12.92, 16.97",\
                 "0.538, 0.626, 0.952, 1.656, 2.832, 4.518, 6.732, 9.524, 12.92, 17.01");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.003815, 0.0137, 0.03257, 0.06197, 0.1032, 0.1575, 0.2259, 0.3094, 0.4089");
          values("1.494, 1.55, 1.7, 1.909, 2.177, 2.518, 2.948, 3.484, 4.134, 4.909",\
                 "1.55, 1.607, 1.756, 1.966, 2.234, 2.575, 3.005, 3.54, 4.191, 4.967",\
                 "1.772, 1.829, 1.979, 2.188, 2.456, 2.797, 3.228, 3.763, 4.414, 5.189",\
                 "2.208, 2.265, 2.414, 2.623, 2.891, 3.232, 3.663, 4.198, 4.849, 5.625",\
                 "2.895, 2.952, 3.101, 3.311, 3.579, 3.919, 4.35, 4.886, 5.537, 6.312",\
                 "3.863, 3.92, 4.069, 4.278, 4.548, 4.889, 5.319, 5.856, 6.506, 7.282",\
                 "5.1, 5.16, 5.314, 5.528, 5.798, 6.14, 6.572, 7.107, 7.758, 8.534",\
                 "6.548, 6.616, 6.785, 7.012, 7.29, 7.637, 8.069, 8.604, 9.255, 10.03",\
                 "8.181, 8.257, 8.446, 8.69, 8.98, 9.333, 9.77, 10.31, 10.96, 11.73",\
                 "10, 10.09, 10.3, 10.56, 10.86, 11.23, 11.67, 12.21, 12.86, 13.63");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.003815, 0.0137, 0.03257, 0.06197, 0.1032, 0.1575, 0.2259, 0.3094, 0.4089");
          values("1.085, 1.171, 1.438, 1.916, 2.644, 3.659, 4.989, 6.667, 8.709, 11.13",\
                 "1.142, 1.227, 1.495, 1.972, 2.701, 3.716, 5.048, 6.716, 8.769, 11.2",\
                 "1.317, 1.403, 1.671, 2.148, 2.877, 3.891, 5.221, 6.895, 8.943, 11.38",\
                 "1.635, 1.72, 1.986, 2.463, 3.191, 4.207, 5.539, 7.211, 9.259, 11.68",\
                 "2.111, 2.197, 2.465, 2.94, 3.668, 4.682, 6.019, 7.689, 9.728, 12.16",\
                 "2.707, 2.796, 3.067, 3.545, 4.272, 5.287, 6.617, 8.297, 10.34, 12.77",\
                 "3.4, 3.493, 3.77, 4.249, 4.978, 5.992, 7.322, 8.999, 11.05, 13.48",\
                 "4.184, 4.281, 4.564, 5.046, 5.775, 6.79, 8.121, 9.794, 11.84, 14.27",\
                 "5.053, 5.155, 5.446, 5.931, 6.66, 7.675, 9.006, 10.68, 12.72, 15.16",\
                 "6.003, 6.109, 6.41, 6.899, 7.628, 8.642, 9.973, 11.65, 13.69, 16.12");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.003815, 0.0137, 0.03257, 0.06197, 0.1032, 0.1575, 0.2259, 0.3094, 0.4089");
          values("0.2944, 0.3396, 0.4706, 0.6962, 1.041, 1.539, 2.221, 3.103, 4.191, 5.484",\
                 "0.2948, 0.3392, 0.4712, 0.6962, 1.041, 1.539, 2.221, 3.101, 4.189, 5.489",\
                 "0.2948, 0.3394, 0.4704, 0.695, 1.041, 1.538, 2.221, 3.099, 4.189, 5.488",\
                 "0.2948, 0.3388, 0.4708, 0.6964, 1.041, 1.539, 2.221, 3.101, 4.188, 5.489",\
                 "0.2954, 0.3398, 0.4714, 0.6968, 1.04, 1.539, 2.222, 3.103, 4.191, 5.492",\
                 "0.2998, 0.3438, 0.4746, 0.6978, 1.041, 1.54, 2.222, 3.104, 4.189, 5.49",\
                 "0.324, 0.3664, 0.4938, 0.7128, 1.051, 1.544, 2.223, 3.102, 4.19, 5.484",\
                 "0.382, 0.426, 0.548, 0.756, 1.082, 1.564, 2.232, 3.106, 4.188, 5.492",\
                 "0.446, 0.492, 0.62, 0.818, 1.13, 1.6, 2.256, 3.116, 4.194, 5.484",\
                 "0.516, 0.562, 0.696, 0.89, 1.19, 1.642, 2.284, 3.14, 4.208, 5.496");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.003815, 0.0137, 0.03257, 0.06197, 0.1032, 0.1575, 0.2259, 0.3094, 0.4089");
          values("0.3544, 0.4638, 0.8468, 1.602, 2.801, 4.487, 6.705, 9.51, 12.92, 16.98",\
                 "0.354, 0.4622, 0.847, 1.602, 2.8, 4.487, 6.702, 9.499, 12.91, 16.99",\
                 "0.3546, 0.4622, 0.847, 1.602, 2.8, 4.485, 6.704, 9.498, 12.92, 16.97",\
                 "0.3542, 0.4636, 0.8466, 1.605, 2.8, 4.491, 6.707, 9.497, 12.91, 16.98",\
                 "0.361, 0.468, 0.848, 1.604, 2.801, 4.485, 6.702, 9.5, 12.91, 16.97",\
                 "0.3818, 0.487, 0.8636, 1.609, 2.801, 4.486, 6.703, 9.497, 12.91, 17",\
                 "0.404, 0.5096, 0.8788, 1.62, 2.812, 4.492, 6.704, 9.498, 12.91, 16.98",\
                 "0.4302, 0.533, 0.8978, 1.63, 2.818, 4.496, 6.71, 9.512, 12.94, 17.02",\
                 "0.462, 0.564, 0.918, 1.64, 2.822, 4.502, 6.714, 9.506, 12.92, 16.98",\
                 "0.502, 0.602, 0.946, 1.654, 2.828, 4.508, 6.72, 9.51, 12.92, 16.98");
        }
      }
    }
  }