  cell(gf180mcu_fd_sc_mcu9t5v0__or2_1) {
    area : 22.579200 ;

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

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

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

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

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

      internal_power() {
        when : "A2" ;

        fall_power(pwr_tin_10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          values("0.002446, 0.00245, 0.002454, 0.002452, 0.002456, 0.00245, 0.002444, \
                 0.002436, 0.002422, 0.002402");
        }

        rise_power(pwr_tin_10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          values("-0.001284, -0.001293, -0.001301, -0.001302, -0.001307, -0.001308, \
                 -0.00131, -0.00131, -0.001309, -0.001309");
        }
      }
    }

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

      internal_power() {
        when : "A1" ;

        fall_power(pwr_tin_10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          values("0.003171, 0.003171, 0.003169, 0.003177, 0.003184, 0.003185, 0.00318, \
                 0.003182, 0.003183, 0.00318");
        }

        rise_power(pwr_tin_10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          values("-0.00282, -0.002905, -0.002989, -0.003034, -0.003068, -0.003078, \
                 -0.003092, -0.003099, -0.003104, -0.003109");
        }
      }
    }

    pin(Z) {
      direction : output ;
      function : "(A1|A2)" ;
      max_capacitance : 0.3147 ;
      max_transition : 12 ;
      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.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003165, 0.01077, 0.02528, 0.04789, 0.07962, 0.1214, 0.174, 0.2382, 0.3147");
          values("0.02962, 0.02973, 0.03, 0.03033, 0.0306, 0.03077, 0.03089, 0.03096, 0.031, 0.03104",\
                 "0.02939, 0.0295, 0.02979, 0.03012, 0.03039, 0.03057, 0.03068, 0.03075, 0.0308, 0.03083",\
                 "0.02901, 0.02911, 0.02937, 0.02973, 0.03, 0.03018, 0.03029, 0.03036, 0.03041, 0.03045",\
                 "0.02877, 0.02888, 0.02914, 0.02945, 0.02972, 0.02991, 0.03003, 0.03012, 0.03017, 0.03021",\
                 "0.02869, 0.02875, 0.02897, 0.02927, 0.02954, 0.02976, 0.0299, 0.02999, 0.03006, 0.03011",\
                 "0.0288, 0.02885, 0.02899, 0.02924, 0.02952, 0.02973, 0.02988, 0.03, 0.03009, 0.03014",\
                 "0.02902, 0.02903, 0.02914, 0.02936, 0.02958, 0.0298, 0.02997, 0.0301, 0.03019, 0.03026",\
                 "0.02941, 0.02938, 0.02945, 0.02959, 0.02982, 0.03003, 0.03018, 0.03032, 0.03042, 0.03049",\
                 "0.02993, 0.02988, 0.02987, 0.02998, 0.03016, 0.03035, 0.03052, 0.03067, 0.03078, 0.03085",\
                 "0.03058, 0.03051, 0.03043, 0.03049, 0.03065, 0.03081, 0.031, 0.03113, 0.03123, 0.03132");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003165, 0.01077, 0.02528, 0.04789, 0.07962, 0.1214, 0.174, 0.2382, 0.3147");
          values("0.01701, 0.01719, 0.01767, 0.01814, 0.01852, 0.01871, 0.01911, 0.01903, 0.02023, 0.02481",\
                 "0.01703, 0.01723, 0.0177, 0.01819, 0.01848, 0.01868, 0.01914, 0.01968, 0.01949, 0.02494",\
                 "0.01687, 0.01703, 0.01745, 0.01792, 0.01832, 0.01853, 0.01903, 0.01948, 0.01945, 0.02555",\
                 "0.01655, 0.01669, 0.01703, 0.01746, 0.01796, 0.01832, 0.0188, 0.01896, 0.01944, 0.0265",\
                 "0.01629, 0.01641, 0.01673, 0.01713, 0.01751, 0.01796, 0.0183, 0.01869, 0.01951, 0.02777",\
                 "0.01622, 0.0163, 0.01652, 0.01686, 0.01737, 0.01772, 0.01812, 0.01837, 0.01998, 0.03118",\
                 "0.01629, 0.01639, 0.01651, 0.01677, 0.01706, 0.01769, 0.01792, 0.0182, 0.02027, 0.03505",\
                 "0.01655, 0.01657, 0.01676, 0.01692, 0.01726, 0.01754, 0.01813, 0.01847, 0.02126, 0.04214",\
                 "0.01691, 0.01696, 0.01706, 0.01724, 0.01745, 0.01783, 0.01827, 0.01919, 0.02451, 0.05534",\
                 "0.01743, 0.01747, 0.01754, 0.0177, 0.01792, 0.01808, 0.01834, 0.01975, 0.03, 0.0793");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003165, 0.01077, 0.02528, 0.04789, 0.07962, 0.1214, 0.174, 0.2382, 0.3147");
          values("0.0315, 0.03159, 0.03189, 0.03222, 0.03249, 0.03267, 0.03278, 0.03285, 0.0329, 0.03294",\
                 "0.03134, 0.03143, 0.03172, 0.03206, 0.03233, 0.03251, 0.03262, 0.03269, 0.03274, 0.03277",\
                 "0.03102, 0.03111, 0.03141, 0.03176, 0.03203, 0.03221, 0.03231, 0.03238, 0.03243, 0.03247",\
                 "0.0308, 0.0309, 0.03116, 0.0315, 0.03178, 0.03196, 0.03208, 0.03216, 0.03221, 0.03224",\
                 "0.03069, 0.03076, 0.031, 0.03132, 0.03159, 0.0318, 0.03193, 0.03202, 0.03208, 0.03211",\
                 "0.03066, 0.03071, 0.0309, 0.03119, 0.03148, 0.03169, 0.03184, 0.03193, 0.032, 0.03204",\
                 "0.03067, 0.03071, 0.03087, 0.03114, 0.03139, 0.03161, 0.03176, 0.03187, 0.03195, 0.032",\
                 "0.0308, 0.03082, 0.03094, 0.03116, 0.03139, 0.03162, 0.03179, 0.0319, 0.03199, 0.03205",\
                 "0.03105, 0.03104, 0.03114, 0.03129, 0.03151, 0.03173, 0.0319, 0.03204, 0.03213, 0.0322",\
                 "0.03147, 0.03143, 0.03145, 0.03159, 0.03179, 0.032, 0.03218, 0.03231, 0.03242, 0.03249");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003165, 0.01077, 0.02528, 0.04789, 0.07962, 0.1214, 0.174, 0.2382, 0.3147");
          values("0.01883, 0.01902, 0.01946, 0.01991, 0.02023, 0.02049, 0.0208, 0.02092, 0.02145, 0.02719",\
                 "0.01873, 0.01889, 0.01937, 0.01979, 0.02015, 0.02035, 0.02065, 0.02084, 0.02138, 0.02708",\
                 "0.01849, 0.01866, 0.01905, 0.01948, 0.01985, 0.02013, 0.02036, 0.02059, 0.02126, 0.02741",\
                 "0.01822, 0.01834, 0.01866, 0.01912, 0.01953, 0.01977, 0.02011, 0.02043, 0.02111, 0.02807",\
                 "0.01803, 0.01812, 0.01844, 0.01877, 0.01917, 0.01961, 0.01991, 0.0202, 0.02134, 0.02979",\
                 "0.01801, 0.01808, 0.01833, 0.01866, 0.01908, 0.01947, 0.01963, 0.02011, 0.02129, 0.03246",\
                 "0.01806, 0.01815, 0.01834, 0.01861, 0.0189, 0.01941, 0.01963, 0.02002, 0.02184, 0.03671",\
                 "0.01829, 0.01834, 0.01853, 0.01872, 0.019, 0.01934, 0.01997, 0.02015, 0.02322, 0.04468",\
                 "0.01867, 0.01868, 0.0188, 0.01908, 0.01916, 0.0195, 0.01998, 0.02096, 0.02649, 0.05846",\
                 "0.01917, 0.01919, 0.01928, 0.01944, 0.01973, 0.01986, 0.02012, 0.02156, 0.03257, 0.08352");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003165, 0.01077, 0.02528, 0.04789, 0.07962, 0.1214, 0.174, 0.2382, 0.3147");
          values("1.145, 1.204, 1.359, 1.574, 1.839, 2.159, 2.549, 3.022, 3.591, 4.265",\
                 "1.163, 1.221, 1.376, 1.591, 1.856, 2.176, 2.566, 3.039, 3.608, 4.282",\
                 "1.252, 1.31, 1.465, 1.68, 1.945, 2.266, 2.656, 3.128, 3.697, 4.372",\
                 "1.457, 1.516, 1.67, 1.885, 2.15, 2.471, 2.86, 3.333, 3.902, 4.576",\
                 "1.793, 1.851, 2.005, 2.22, 2.485, 2.807, 3.196, 3.669, 4.238, 4.912",\
                 "2.238, 2.3, 2.46, 2.679, 2.947, 3.269, 3.659, 4.133, 4.702, 5.377",\
                 "2.724, 2.794, 2.97, 3.202, 3.478, 3.807, 4.201, 4.676, 5.246, 5.92",\
                 "3.24, 3.317, 3.51, 3.758, 4.045, 4.381, 4.782, 5.261, 5.832, 6.507",\
                 "3.785, 3.869, 4.081, 4.349, 4.65, 4.995, 5.399, 5.879, 6.453, 7.132",\
                 "4.363, 4.455, 4.685, 4.973, 5.291, 5.644, 6.056, 6.538, 7.113, 7.791");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003165, 0.01077, 0.02528, 0.04789, 0.07962, 0.1214, 0.174, 0.2382, 0.3147");
          values("0.417, 0.47, 0.6458, 0.9706, 1.472, 2.17, 3.092, 4.25, 5.658, 7.349",\
                 "0.448, 0.501, 0.6766, 1.001, 1.502, 2.2, 3.123, 4.28, 5.695, 7.38",\
                 "0.5535, 0.6061, 0.781, 1.106, 1.607, 2.306, 3.229, 4.386, 5.8, 7.487",\
                 "0.7266, 0.7798, 0.9544, 1.279, 1.781, 2.482, 3.4, 4.56, 5.977, 7.659",\
                 "0.8985, 0.9543, 1.132, 1.457, 1.958, 2.658, 3.581, 4.739, 6.153, 7.84",\
                 "1.052, 1.111, 1.293, 1.617, 2.119, 2.82, 3.74, 4.899, 6.313, 7.994",\
                 "1.18, 1.245, 1.431, 1.757, 2.258, 2.959, 3.879, 5.035, 6.452, 8.131",\
                 "1.277, 1.348, 1.544, 1.87, 2.37, 3.072, 3.99, 5.148, 6.559, 8.243",\
                 "1.34, 1.418, 1.624, 1.955, 2.454, 3.154, 4.073, 5.23, 6.644, 8.325",\
                 "1.363, 1.448, 1.67, 2.005, 2.504, 3.202, 4.122, 5.279, 6.69, 8.374");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003165, 0.01077, 0.02528, 0.04789, 0.07962, 0.1214, 0.174, 0.2382, 0.3147");
          values("0.3186, 0.3638, 0.496, 0.711, 1.018, 1.444, 2.02, 2.776, 3.717, 4.859",\
                 "0.318, 0.363, 0.4972, 0.7102, 1.017, 1.444, 2.021, 2.774, 3.714, 4.858",\
                 "0.3184, 0.3634, 0.4962, 0.7104, 1.02, 1.444, 2.021, 2.776, 3.719, 4.858",\
                 "0.318, 0.3638, 0.4966, 0.7104, 1.019, 1.444, 2.023, 2.776, 3.716, 4.859",\
                 "0.3196, 0.3652, 0.498, 0.7106, 1.019, 1.445, 2.02, 2.773, 3.714, 4.858",\
                 "0.3518, 0.3936, 0.5178, 0.7262, 1.028, 1.45, 2.026, 2.774, 3.718, 4.853",\
                 "0.4062, 0.4508, 0.5718, 0.77, 1.063, 1.477, 2.04, 2.784, 3.723, 4.86",\
                 "0.4632, 0.511, 0.6366, 0.8266, 1.11, 1.515, 2.072, 2.808, 3.734, 4.866",\
                 "0.5184, 0.5718, 0.7042, 0.8904, 1.161, 1.554, 2.102, 2.83, 3.756, 4.88",\
                 "0.572, 0.634, 0.776, 0.966, 1.222, 1.6, 2.134, 2.852, 3.77, 4.896");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003165, 0.01077, 0.02528, 0.04789, 0.07962, 0.1214, 0.174, 0.2382, 0.3147");
          values("0.2228, 0.2987, 0.5784, 1.123, 1.977, 3.172, 4.752, 6.716, 9.153, 12",\
                 "0.2223, 0.2991, 0.5769, 1.123, 1.974, 3.168, 4.751, 6.733, 9.122, 12.01",\
                 "0.2233, 0.2988, 0.5777, 1.122, 1.975, 3.167, 4.75, 6.732, 9.118, 12",\
                 "0.2314, 0.3048, 0.5784, 1.121, 1.976, 3.172, 4.743, 6.736, 9.127, 12",\
                 "0.2522, 0.3214, 0.587, 1.125, 1.972, 3.171, 4.751, 6.735, 9.129, 12.02",\
                 "0.2804, 0.346, 0.5978, 1.13, 1.976, 3.168, 4.74, 6.717, 9.153, 12.03",\
                 "0.3152, 0.3776, 0.6142, 1.134, 1.984, 3.169, 4.733, 6.718, 9.143, 12.02",\
                 "0.356, 0.415, 0.6356, 1.142, 1.983, 3.17, 4.738, 6.712, 9.13, 12.01",\
                 "0.4, 0.4586, 0.665, 1.152, 1.987, 3.175, 4.742, 6.715, 9.126, 12.01",\
                 "0.4466, 0.5072, 0.7032, 1.164, 1.989, 3.177, 4.746, 6.72, 9.13, 12");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003165, 0.01077, 0.02528, 0.04789, 0.07962, 0.1214, 0.174, 0.2382, 0.3147");
          values("1.223, 1.282, 1.437, 1.652, 1.916, 2.237, 2.626, 3.099, 3.668, 4.342",\
                 "1.251, 1.309, 1.464, 1.679, 1.944, 2.265, 2.654, 3.127, 3.695, 4.37",\
                 "1.352, 1.411, 1.566, 1.781, 2.045, 2.366, 2.756, 3.229, 3.797, 4.472",\
                 "1.537, 1.595, 1.75, 1.965, 2.229, 2.55, 2.94, 3.413, 3.981, 4.656",\
                 "1.813, 1.872, 2.027, 2.241, 2.507, 2.828, 3.217, 3.69, 4.259, 4.933",\
                 "2.168, 2.23, 2.39, 2.611, 2.879, 3.201, 3.592, 4.065, 4.634, 5.308",\
                 "2.566, 2.632, 2.803, 3.035, 3.313, 3.643, 4.038, 4.512, 5.082, 5.756",\
                 "3.005, 3.075, 3.257, 3.501, 3.79, 4.129, 4.531, 5.009, 5.581, 6.256",\
                 "3.485, 3.56, 3.753, 4.009, 4.31, 4.659, 5.067, 5.55, 6.123, 6.801",\
                 "4.004, 4.085, 4.291, 4.561, 4.875, 5.234, 5.649, 6.136, 6.712, 7.389");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003165, 0.01077, 0.02528, 0.04789, 0.07962, 0.1214, 0.174, 0.2382, 0.3147");
          values("0.4463, 0.4996, 0.6756, 1.002, 1.503, 2.203, 3.122, 4.279, 5.69, 7.372",\
                 "0.4757, 0.5289, 0.7054, 1.031, 1.532, 2.232, 3.15, 4.308, 5.719, 7.4",\
                 "0.5812, 0.6342, 0.8097, 1.135, 1.637, 2.337, 3.255, 4.413, 5.825, 7.505",\
                 "0.764, 0.8173, 0.9922, 1.317, 1.819, 2.52, 3.44, 4.596, 6.007, 7.692",\
                 "0.9542, 1.01, 1.187, 1.512, 2.013, 2.714, 3.634, 4.791, 6.203, 7.887",\
                 "1.128, 1.187, 1.368, 1.693, 2.195, 2.895, 3.815, 4.972, 6.385, 8.066",\
                 "1.278, 1.342, 1.528, 1.853, 2.354, 3.055, 3.976, 5.133, 6.546, 8.228",\
                 "1.4, 1.469, 1.662, 1.989, 2.489, 3.19, 4.11, 5.268, 6.68, 8.363",\
                 "1.488, 1.563, 1.766, 2.096, 2.595, 3.296, 4.215, 5.374, 6.787, 8.467",\
                 "1.538, 1.62, 1.836, 2.17, 2.669, 3.37, 4.288, 5.447, 6.858, 8.541");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003165, 0.01077, 0.02528, 0.04789, 0.07962, 0.1214, 0.174, 0.2382, 0.3147");
          values("0.3188, 0.365, 0.4958, 0.7102, 1.018, 1.444, 2.02, 2.775, 3.716, 4.855",\
                 "0.3182, 0.3636, 0.4958, 0.7102, 1.018, 1.443, 2.023, 2.773, 3.717, 4.859",\
                 "0.3188, 0.3634, 0.4962, 0.7102, 1.019, 1.444, 2.022, 2.776, 3.719, 4.858",\
                 "0.3182, 0.3636, 0.4964, 0.7096, 1.019, 1.444, 2.022, 2.775, 3.719, 4.859",\
                 "0.3196, 0.3652, 0.4974, 0.7106, 1.019, 1.444, 2.022, 2.773, 3.715, 4.859",\
                 "0.343, 0.3882, 0.5174, 0.7252, 1.028, 1.45, 2.025, 2.775, 3.716, 4.857",\
                 "0.3738, 0.4206, 0.5554, 0.7664, 1.064, 1.479, 2.043, 2.787, 3.722, 4.853",\
                 "0.4078, 0.4566, 0.5938, 0.8086, 1.107, 1.517, 2.075, 2.807, 3.733, 4.867",\
                 "0.4452, 0.496, 0.6356, 0.853, 1.154, 1.557, 2.107, 2.83, 3.752, 4.874",\
                 "0.488, 0.54, 0.684, 0.902, 1.198, 1.6, 2.144, 2.86, 3.774, 4.888");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003165, 0.01077, 0.02528, 0.04789, 0.07962, 0.1214, 0.174, 0.2382, 0.3147");
          values("0.2262, 0.302, 0.5805, 1.125, 1.976, 3.171, 4.741, 6.72, 9.137, 12.02",\
                 "0.2259, 0.3018, 0.5802, 1.124, 1.974, 3.17, 4.742, 6.716, 9.13, 12.02",\
                 "0.2253, 0.3012, 0.581, 1.124, 1.974, 3.167, 4.743, 6.716, 9.132, 12.02",\
                 "0.2314, 0.3052, 0.5814, 1.125, 1.976, 3.171, 4.737, 6.723, 9.142, 12.01",\
                 "0.251, 0.3204, 0.5872, 1.126, 1.975, 3.171, 4.743, 6.721, 9.143, 12.03",\
                 "0.276, 0.341, 0.5976, 1.129, 1.976, 3.167, 4.741, 6.719, 9.136, 12.02",\
                 "0.3066, 0.3694, 0.612, 1.135, 1.983, 3.17, 4.742, 6.712, 9.136, 12.02",\
                 "0.3446, 0.4024, 0.6302, 1.141, 1.983, 3.174, 4.738, 6.72, 9.137, 12.01",\
                 "0.3838, 0.4418, 0.6554, 1.149, 1.988, 3.176, 4.744, 6.716, 9.126, 12.01",\
                 "0.4262, 0.4866, 0.6872, 1.16, 1.988, 3.179, 4.748, 6.716, 9.13, 12");
        }
      }
    }
  }