  cell(gf180mcu_fd_sc_mcu9t5v0__or2_4) {
    area : 50.803200 ;

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

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

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

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

    leakage_power() {
      related_pg_pin : "VDD" ;
      value : "2.68434e-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.01106 ;
      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.006531, 0.006522, 0.006536, 0.006532, 0.006544, 0.006528, 0.006498, \
                  0.006452, 0.006366, 0.006096");
        }

        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.00468, -0.004689, -0.004711, -0.00472, -0.004739, -0.004743, \
                  -0.004741, -0.004741, -0.004739, -0.004719");
        }
      }
    }

    pin(A2) {
      capacitance : 0.01131 ;
      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.009571, 0.009561, 0.00956, 0.00957, 0.009601, 0.009596, 0.009597, \
                  0.009595, 0.009598, 0.009545");
        }

        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.008605, -0.008696, -0.008883, -0.009003, -0.009106, -0.00915, \
                  -0.009182, -0.009205, -0.009218, -0.009204");
        }
      }
    }

    pin(Z) {
      direction : output ;
      function : "(A1|A2)" ;
      max_capacitance : 0.8183 ;
      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.006641, 0.02644, 0.06426, 0.1232, 0.2058, 0.3146, 0.4516, 0.6189, 0.8183");
          values("0.07943, 0.07985, 0.08067, 0.08163, 0.08238, 0.08286, 0.08319, 0.08338, 0.08351, 0.0836",\
                 "0.07895, 0.07937, 0.08025, 0.0812, 0.08196, 0.08246, 0.08278, 0.08297, 0.0831, 0.08318",\
                 "0.07808, 0.07847, 0.07936, 0.08034, 0.0811, 0.08161, 0.08193, 0.08213, 0.08226, 0.08235",\
                 "0.07744, 0.07783, 0.07869, 0.07964, 0.08038, 0.08092, 0.08126, 0.08147, 0.0816, 0.08168",\
                 "0.07702, 0.07738, 0.07822, 0.07909, 0.07983, 0.0804, 0.08075, 0.08099, 0.08115, 0.08126",\
                 "0.07672, 0.07705, 0.07778, 0.0786, 0.07929, 0.0799, 0.0803, 0.0806, 0.08079, 0.08092",\
                 "0.07644, 0.07675, 0.07741, 0.07815, 0.07885, 0.07947, 0.07993, 0.08026, 0.08049, 0.08066",\
                 "0.07622, 0.07647, 0.07711, 0.0778, 0.07848, 0.07908, 0.07957, 0.07994, 0.08019, 0.08038",\
                 "0.07601, 0.07627, 0.07685, 0.07754, 0.07816, 0.07876, 0.07927, 0.07963, 0.07983, 0.0793",\
                 "0.07567, 0.07591, 0.0765, 0.07714, 0.07771, 0.0782, 0.07807, 0.07591, 0.07283, 0.07056");
        }

        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.006641, 0.02644, 0.06426, 0.1232, 0.2058, 0.3146, 0.4516, 0.6189, 0.8183");
          values("0.04079, 0.04134, 0.04262, 0.04389, 0.04462, 0.04523, 0.04551, 0.04565, 0.05038, 0.1029",\
                 "0.04094, 0.04143, 0.04268, 0.04391, 0.04494, 0.0454, 0.04585, 0.04582, 0.05147, 0.1065",\
                 "0.0408, 0.04126, 0.04239, 0.04356, 0.04452, 0.04518, 0.04572, 0.04672, 0.05112, 0.1139",\
                 "0.04004, 0.04042, 0.04134, 0.04237, 0.04365, 0.04444, 0.04496, 0.04525, 0.05264, 0.1315",\
                 "0.03934, 0.03964, 0.04041, 0.04144, 0.04237, 0.04339, 0.04381, 0.04477, 0.05732, 0.1649",\
                 "0.03874, 0.03895, 0.03965, 0.0406, 0.04153, 0.0423, 0.04318, 0.04441, 0.06765, 0.222",\
                 "0.0382, 0.0384, 0.03912, 0.03976, 0.04104, 0.04149, 0.0426, 0.04546, 0.09467, 0.316",\
                 "0.03781, 0.03807, 0.03861, 0.03937, 0.03991, 0.04126, 0.0418, 0.05307, 0.1621, 0.4352",\
                 "0.03749, 0.03771, 0.0383, 0.03883, 0.03948, 0.04039, 0.04343, 0.08988, 0.2968, 0.5366",\
                 "0.0373, 0.03754, 0.03793, 0.03866, 0.03914, 0.04042, 0.06687, 0.2247, 0.42, 0.5641");
        }
      }

      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.006641, 0.02644, 0.06426, 0.1232, 0.2058, 0.3146, 0.4516, 0.6189, 0.8183");
          values("0.08373, 0.08408, 0.08499, 0.08597, 0.08673, 0.08722, 0.08754, 0.08773, 0.08786, 0.08795",\
                 "0.08339, 0.0838, 0.08467, 0.08565, 0.0864, 0.08691, 0.08722, 0.08742, 0.08755, 0.08764",\
                 "0.08272, 0.08311, 0.08399, 0.08495, 0.08573, 0.08624, 0.08657, 0.08677, 0.08689, 0.08696",\
                 "0.08216, 0.08258, 0.08344, 0.08439, 0.08519, 0.08569, 0.08604, 0.08623, 0.08637, 0.08646",\
                 "0.08189, 0.08229, 0.0831, 0.084, 0.08476, 0.08531, 0.08566, 0.0859, 0.08603, 0.08612",\
                 "0.08166, 0.08199, 0.08279, 0.08365, 0.0844, 0.08498, 0.08535, 0.08561, 0.08577, 0.08589",\
                 "0.08142, 0.08176, 0.08248, 0.08332, 0.08408, 0.08467, 0.08509, 0.08538, 0.08558, 0.0857",\
                 "0.08122, 0.08155, 0.08224, 0.08306, 0.08379, 0.08439, 0.08484, 0.08515, 0.08537, 0.08551",\
                 "0.08105, 0.08135, 0.08204, 0.08281, 0.0835, 0.08411, 0.08459, 0.08492, 0.08509, 0.08467",\
                 "0.08084, 0.08114, 0.08175, 0.08245, 0.08313, 0.08368, 0.08383, 0.08238, 0.07929, 0.07675");
        }

        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.006641, 0.02644, 0.06426, 0.1232, 0.2058, 0.3146, 0.4516, 0.6189, 0.8183");
          values("0.04481, 0.04527, 0.04647, 0.04764, 0.0485, 0.04908, 0.04938, 0.05046, 0.0543, 0.1084",\
                 "0.04459, 0.04504, 0.04628, 0.04743, 0.04849, 0.0491, 0.04923, 0.05038, 0.05542, 0.1095",\
                 "0.04428, 0.04476, 0.04582, 0.04688, 0.04789, 0.04861, 0.04907, 0.04952, 0.05661, 0.12",\
                 "0.04362, 0.04397, 0.0449, 0.04592, 0.04688, 0.04761, 0.04816, 0.04889, 0.05646, 0.1362",\
                 "0.04305, 0.04334, 0.04413, 0.045, 0.04586, 0.04694, 0.04733, 0.04813, 0.06103, 0.1693",\
                 "0.04255, 0.04281, 0.0435, 0.04443, 0.04528, 0.04594, 0.04671, 0.04807, 0.07145, 0.2298",\
                 "0.04214, 0.04236, 0.04293, 0.04362, 0.04479, 0.04566, 0.04672, 0.04981, 0.09993, 0.3246",\
                 "0.04177, 0.04201, 0.04264, 0.04332, 0.04395, 0.04542, 0.0462, 0.0583, 0.1705, 0.4454",\
                 "0.04153, 0.04171, 0.04229, 0.04281, 0.04345, 0.04416, 0.0478, 0.09805, 0.3082, 0.5444",\
                 "0.04118, 0.04142, 0.04192, 0.04265, 0.04322, 0.04439, 0.07426, 0.2369, 0.427, 0.5663");
        }
      }

      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.006641, 0.02644, 0.06426, 0.1232, 0.2058, 0.3146, 0.4516, 0.6189, 0.8183");
          values("2.37, 2.45, 2.651, 2.92, 3.242, 3.627, 4.086, 4.639, 5.298, 6.079",\
                 "2.402, 2.482, 2.683, 2.951, 3.275, 3.659, 4.119, 4.671, 5.331, 6.112",\
                 "2.575, 2.655, 2.857, 3.125, 3.448, 3.832, 4.293, 4.845, 5.504, 6.285",\
                 "2.963, 3.043, 3.245, 3.513, 3.836, 4.221, 4.68, 5.233, 5.892, 6.673",\
                 "3.596, 3.676, 3.877, 4.146, 4.468, 4.853, 5.313, 5.865, 6.525, 7.306",\
                 "4.498, 4.578, 4.779, 5.047, 5.369, 5.754, 6.214, 6.767, 7.427, 8.207",\
                 "5.684, 5.765, 5.966, 6.235, 6.558, 6.944, 7.405, 7.957, 8.618, 9.398",\
                 "7.131, 7.215, 7.425, 7.699, 8.026, 8.414, 8.876, 9.43, 10.09, 10.87",\
                 "8.77, 8.865, 9.093, 9.386, 9.722, 10.12, 10.58, 11.14, 11.8, 12.58",\
                 "10.59, 10.69, 10.95, 11.26, 11.61, 12.01, 12.49, 13.05, 13.71, 14.49");
        }

        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.006641, 0.02644, 0.06426, 0.1232, 0.2058, 0.3146, 0.4516, 0.6189, 0.8183");
          values("0.67, 0.7473, 1.004, 1.478, 2.204, 3.22, 4.549, 6.233, 8.268, 10.72",\
                 "0.7269, 0.8041, 1.061, 1.535, 2.263, 3.278, 4.612, 6.29, 8.336, 10.78",\
                 "0.9247, 1.001, 1.257, 1.73, 2.457, 3.474, 4.809, 6.485, 8.536, 10.97",\
                 "1.296, 1.371, 1.625, 2.097, 2.827, 3.844, 5.177, 6.86, 8.907, 11.33",\
                 "1.797, 1.875, 2.129, 2.6, 3.33, 4.348, 5.678, 7.364, 9.41, 11.85",\
                 "2.379, 2.459, 2.715, 3.186, 3.913, 4.928, 6.266, 7.939, 9.996, 12.44",\
                 "3.035, 3.117, 3.377, 3.848, 4.575, 5.591, 6.923, 8.6, 10.65, 13.1",\
                 "3.766, 3.853, 4.116, 4.587, 5.314, 6.328, 7.663, 9.339, 11.39, 13.82",\
                 "4.566, 4.659, 4.929, 5.4, 6.126, 7.139, 8.473, 10.15, 12.2, 14.63",\
                 "5.436, 5.536, 5.814, 6.286, 7.01, 8.026, 9.355, 11.04, 13.08, 15.52");
        }

        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.006641, 0.02644, 0.06426, 0.1232, 0.2058, 0.3146, 0.4516, 0.6189, 0.8183");
          values("0.4514, 0.5046, 0.6584, 0.9018, 1.253, 1.734, 2.381, 3.225, 4.285, 5.572",\
                 "0.4514, 0.505, 0.6578, 0.9034, 1.253, 1.734, 2.38, 3.225, 4.285, 5.572",\
                 "0.4518, 0.5054, 0.6576, 0.902, 1.253, 1.734, 2.382, 3.225, 4.285, 5.573",\
                 "0.4516, 0.5056, 0.6578, 0.9032, 1.252, 1.734, 2.38, 3.222, 4.285, 5.572",\
                 "0.4524, 0.5058, 0.6582, 0.9028, 1.254, 1.735, 2.38, 3.225, 4.283, 5.573",\
                 "0.4526, 0.5058, 0.659, 0.9038, 1.253, 1.734, 2.38, 3.226, 4.286, 5.569",\
                 "0.4632, 0.5158, 0.6652, 0.9078, 1.258, 1.736, 2.382, 3.226, 4.284, 5.572",\
                 "0.504, 0.554, 0.698, 0.932, 1.274, 1.748, 2.392, 3.23, 4.282, 5.57",\
                 "0.58, 0.632, 0.776, 0.994, 1.322, 1.786, 2.416, 3.244, 4.294, 5.578",\
                 "0.66, 0.716, 0.864, 1.076, 1.388, 1.838, 2.456, 3.28, 4.32, 5.588");
        }

        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.006641, 0.02644, 0.06426, 0.1232, 0.2058, 0.3146, 0.4516, 0.6189, 0.8183");
          values("0.2873, 0.399, 0.7983, 1.57, 2.774, 4.468, 6.687, 9.486, 12.91, 16.98",\
                 "0.2881, 0.399, 0.7986, 1.57, 2.774, 4.462, 6.695, 9.479, 12.91, 17.01",\
                 "0.288, 0.4, 0.7984, 1.57, 2.774, 4.465, 6.694, 9.489, 12.9, 16.98",\
                 "0.29, 0.4, 0.7986, 1.57, 2.777, 4.463, 6.69, 9.485, 12.91, 16.99",\
                 "0.304, 0.4108, 0.8028, 1.57, 2.781, 4.465, 6.688, 9.516, 12.92, 16.98",\
                 "0.3236, 0.4274, 0.8132, 1.579, 2.777, 4.469, 6.698, 9.487, 12.93, 16.98",\
                 "0.3508, 0.4494, 0.8244, 1.585, 2.785, 4.468, 6.685, 9.506, 12.92, 17.01",\
                 "0.3844, 0.478, 0.8394, 1.593, 2.79, 4.474, 6.692, 9.486, 12.91, 16.98",\
                 "0.426, 0.516, 0.858, 1.6, 2.794, 4.486, 6.7, 9.492, 12.92, 16.98",\
                 "0.476, 0.562, 0.886, 1.61, 2.804, 4.488, 6.708, 9.5, 12.91, 17");
        }
      }

      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.006641, 0.02644, 0.06426, 0.1232, 0.2058, 0.3146, 0.4516, 0.6189, 0.8183");
          values("2.472, 2.551, 2.753, 3.021, 3.345, 3.729, 4.188, 4.741, 5.401, 6.181",\
                 "2.525, 2.605, 2.807, 3.075, 3.398, 3.782, 4.242, 4.794, 5.454, 6.235",\
                 "2.732, 2.812, 3.013, 3.281, 3.605, 3.989, 4.449, 5.001, 5.661, 6.441",\
                 "3.131, 3.211, 3.412, 3.68, 4.003, 4.388, 4.848, 5.4, 6.06, 6.841",\
                 "3.735, 3.815, 4.016, 4.284, 4.607, 4.992, 5.452, 6.004, 6.664, 7.444",\
                 "4.571, 4.651, 4.852, 5.12, 5.443, 5.828, 6.288, 6.84, 7.5, 8.281",\
                 "5.658, 5.739, 5.941, 6.209, 6.534, 6.919, 7.379, 7.932, 8.591, 9.372",\
                 "6.981, 7.065, 7.274, 7.549, 7.878, 8.266, 8.728, 9.282, 9.942, 10.72",\
                 "8.508, 8.597, 8.818, 9.106, 9.445, 9.843, 10.31, 10.87, 11.53, 12.31",\
                 "10.24, 10.34, 10.57, 10.87, 11.22, 11.63, 12.11, 12.67, 13.33, 14.11");
        }

        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.006641, 0.02644, 0.06426, 0.1232, 0.2058, 0.3146, 0.4516, 0.6189, 0.8183");
          values("0.7072, 0.7847, 1.042, 1.516, 2.244, 3.258, 4.59, 6.265, 8.311, 10.75",\
                 "0.7624, 0.84, 1.097, 1.572, 2.3, 3.315, 4.646, 6.322, 8.366, 10.8",\
                 "0.9594, 1.037, 1.293, 1.766, 2.495, 3.51, 4.842, 6.517, 8.563, 11",\
                 "1.333, 1.409, 1.663, 2.137, 2.865, 3.881, 5.215, 6.891, 8.937, 11.37",\
                 "1.852, 1.929, 2.184, 2.655, 3.382, 4.4, 5.733, 7.411, 9.457, 11.89",\
                 "2.453, 2.533, 2.789, 3.262, 3.989, 5.004, 6.338, 8.015, 10.06, 12.5",\
                 "3.133, 3.215, 3.474, 3.946, 4.673, 5.69, 7.02, 8.7, 10.75, 13.18",\
                 "3.889, 3.976, 4.238, 4.71, 5.436, 6.452, 7.786, 9.463, 11.51, 13.95",\
                 "4.719, 4.809, 5.078, 5.549, 6.275, 7.29, 8.625, 10.3, 12.35, 14.79",\
                 "5.617, 5.715, 5.991, 6.464, 7.189, 8.203, 9.536, 11.21, 13.26, 15.7");
        }

        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.006641, 0.02644, 0.06426, 0.1232, 0.2058, 0.3146, 0.4516, 0.6189, 0.8183");
          values("0.4522, 0.506, 0.6576, 0.9032, 1.253, 1.733, 2.38, 3.226, 4.285, 5.573",\
                 "0.4518, 0.5048, 0.6578, 0.9032, 1.254, 1.734, 2.38, 3.225, 4.285, 5.573",\
                 "0.4518, 0.5048, 0.6574, 0.9032, 1.254, 1.734, 2.38, 3.225, 4.283, 5.572",\
                 "0.4514, 0.5054, 0.658, 0.9024, 1.253, 1.732, 2.381, 3.225, 4.286, 5.569",\
                 "0.4524, 0.505, 0.6582, 0.9028, 1.253, 1.734, 2.379, 3.225, 4.283, 5.568",\
                 "0.4524, 0.5056, 0.6582, 0.9032, 1.253, 1.735, 2.382, 3.225, 4.286, 5.573",\
                 "0.4592, 0.5124, 0.663, 0.9074, 1.256, 1.738, 2.382, 3.224, 4.286, 5.566",\
                 "0.492, 0.544, 0.692, 0.93, 1.274, 1.748, 2.392, 3.228, 4.286, 5.566",\
                 "0.53, 0.586, 0.738, 0.978, 1.322, 1.788, 2.42, 3.246, 4.296, 5.578",\
                 "0.576, 0.632, 0.788, 1.03, 1.376, 1.836, 2.46, 3.28, 4.316, 5.586");
        }

        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.006641, 0.02644, 0.06426, 0.1232, 0.2058, 0.3146, 0.4516, 0.6189, 0.8183");
          values("0.2901, 0.402, 0.8023, 1.573, 2.778, 4.465, 6.688, 9.488, 12.92, 16.98",\
                 "0.2913, 0.4019, 0.8029, 1.573, 2.776, 4.471, 6.689, 9.486, 12.91, 16.98",\
                 "0.2904, 0.4016, 0.8026, 1.573, 2.783, 4.466, 6.696, 9.488, 12.93, 17.02",\
                 "0.2908, 0.4022, 0.803, 1.572, 2.776, 4.465, 6.7, 9.494, 12.93, 16.98",\
                 "0.3022, 0.4104, 0.804, 1.573, 2.777, 4.464, 6.698, 9.487, 12.92, 16.98",\
                 "0.321, 0.427, 0.8132, 1.58, 2.78, 4.466, 6.694, 9.493, 12.9, 16.98",\
                 "0.3454, 0.4458, 0.8242, 1.586, 2.786, 4.471, 6.701, 9.486, 12.9, 16.98",\
                 "0.376, 0.471, 0.8374, 1.593, 2.794, 4.478, 6.696, 9.496, 12.91, 16.99",\
                 "0.414, 0.506, 0.854, 1.602, 2.798, 4.482, 6.7, 9.496, 12.92, 16.98",\
                 "0.46, 0.546, 0.88, 1.61, 2.802, 4.488, 6.706, 9.5, 12.91, 17.01");
        }
      }
    }
  }