/*
 * Copyright 2022 GlobalFoundries PDK Authors
 *
 * Licensed under the Apache License, Version 2.0 (the "License");
 * you may not use this file except in compliance with the License.
 * You may obtain a copy of the License at
 *
 *     http://www.apache.org/licenses/LICENSE-2.0
 *
 * Unless required by applicable law or agreed to in writing, software
 * distributed under the License is distributed on an "AS IS" BASIS,
 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 * See the License for the specific language governing permissions and
 * limitations under the License.
 */
  cell(gf180mcu_fd_sc_mcu9t5v0__xnor3_4) {
    area : 90.316800 ;

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

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

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

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

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

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

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

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

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

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

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

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

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

    pin(A3) {
      capacitance : 0.009162 ;
      direction : input ;
      driver_waveform_rise : driver_waveform_default_rise ;
      driver_waveform_fall : driver_waveform_default_fall ;
      input_voltage : default ;
      max_transition : 3.6 ;
      related_ground_pin : VSS ;
      related_power_pin : VDD ;
    }

    pin(ZN) {
      direction : output ;
      function : "(!(A1^A2^A3))" ;
      max_capacitance : 1.45 ;
      max_transition : 3.6 ;
      min_capacitance : 0.001 ;
      output_voltage : default ;
      related_ground_pin : VSS ;
      related_power_pin : VDD ;

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.04471, 0.1314, 0.2971, 0.5551, 0.9172, 1.394, 1.994, 2.727, 3.6");
          index_2("0.001, 0.011, 0.0461, 0.1131, 0.2175, 0.3641, 0.5569, 0.7997, 1.096, 1.45");
          values("2.459, 2.386, 2.203, 1.999, 1.832, 1.726, 1.654, 1.602, 1.564, 1.536",\
                 "2.458, 2.385, 2.202, 1.998, 1.832, 1.725, 1.653, 1.601, 1.563, 1.534",\
                 "2.46, 2.386, 2.204, 2, 1.833, 1.727, 1.655, 1.603, 1.565, 1.536",\
                 "2.467, 2.394, 2.211, 2.007, 1.841, 1.735, 1.662, 1.61, 1.572, 1.544",\
                 "2.485, 2.412, 2.23, 2.025, 1.86, 1.753, 1.681, 1.629, 1.591, 1.562",\
                 "2.52, 2.446, 2.263, 2.06, 1.894, 1.787, 1.715, 1.664, 1.625, 1.596",\
                 "2.572, 2.5, 2.318, 2.115, 1.949, 1.842, 1.77, 1.718, 1.68, 1.652",\
                 "2.645, 2.572, 2.39, 2.186, 2.022, 1.915, 1.842, 1.79, 1.751, 1.722",\
                 "2.737, 2.665, 2.482, 2.278, 2.113, 2.007, 1.935, 1.883, 1.845, 1.816",\
                 "2.853, 2.78, 2.595, 2.392, 2.226, 2.121, 2.049, 1.997, 1.959, 1.93");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.04471, 0.1314, 0.2971, 0.5551, 0.9172, 1.394, 1.994, 2.727, 3.6");
          index_2("0.001, 0.011, 0.0461, 0.1131, 0.2175, 0.3641, 0.5569, 0.7997, 1.096, 1.45");
          values("2.032, 1.971, 1.85, 1.751, 1.673, 1.621, 1.586, 1.568, 1.558, 1.552",\
                 "2.029, 1.969, 1.848, 1.75, 1.672, 1.617, 1.585, 1.567, 1.555, 1.551",\
                 "2.03, 1.97, 1.849, 1.75, 1.672, 1.618, 1.585, 1.568, 1.556, 1.551",\
                 "2.044, 1.984, 1.865, 1.764, 1.687, 1.631, 1.599, 1.581, 1.569, 1.563",\
                 "2.076, 2.015, 1.895, 1.796, 1.718, 1.664, 1.632, 1.614, 1.602, 1.597",\
                 "2.128, 2.068, 1.949, 1.848, 1.77, 1.716, 1.684, 1.662, 1.653, 1.648",\
                 "2.203, 2.143, 2.024, 1.923, 1.847, 1.792, 1.758, 1.742, 1.729, 1.725",\
                 "2.304, 2.244, 2.123, 2.018, 1.941, 1.887, 1.859, 1.839, 1.826, 1.82",\
                 "2.428, 2.369, 2.25, 2.147, 2.074, 2.017, 1.983, 1.964, 1.954, 1.944",\
                 "2.578, 2.52, 2.395, 2.296, 2.22, 2.171, 2.136, 2.111, 2.101, 2.097");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.04471, 0.1314, 0.2971, 0.5551, 0.9172, 1.394, 1.994, 2.727, 3.6");
          index_2("0.001, 0.011, 0.0461, 0.1131, 0.2175, 0.3641, 0.5569, 0.7997, 1.096, 1.45");
          values("2.454, 2.379, 2.187, 1.967, 1.78, 1.655, 1.569, 1.507, 1.461, 1.427",\
                 "2.453, 2.377, 2.186, 1.965, 1.778, 1.653, 1.567, 1.505, 1.459, 1.425",\
                 "2.453, 2.378, 2.186, 1.965, 1.778, 1.654, 1.567, 1.506, 1.46, 1.425",\
                 "2.468, 2.392, 2.201, 1.98, 1.792, 1.668, 1.582, 1.52, 1.474, 1.44",\
                 "2.5, 2.425, 2.233, 2.013, 1.826, 1.7, 1.614, 1.553, 1.507, 1.472",\
                 "2.554, 2.479, 2.287, 2.067, 1.879, 1.755, 1.668, 1.607, 1.561, 1.526",\
                 "2.636, 2.56, 2.369, 2.148, 1.96, 1.835, 1.749, 1.687, 1.641, 1.606",\
                 "2.746, 2.67, 2.479, 2.257, 2.069, 1.943, 1.856, 1.793, 1.747, 1.712",\
                 "2.884, 2.808, 2.616, 2.392, 2.204, 2.077, 1.989, 1.926, 1.879, 1.844",\
                 "3.051, 2.974, 2.781, 2.558, 2.368, 2.238, 2.15, 2.086, 2.038, 2.002");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.04471, 0.1314, 0.2971, 0.5551, 0.9172, 1.394, 1.994, 2.727, 3.6");
          index_2("0.001, 0.011, 0.0461, 0.1131, 0.2175, 0.3641, 0.5569, 0.7997, 1.096, 1.45");
          values("2.091, 2.024, 1.856, 1.706, 1.599, 1.524, 1.472, 1.443, 1.422, 1.411",\
                 "2.092, 2.024, 1.857, 1.706, 1.599, 1.523, 1.471, 1.443, 1.423, 1.41",\
                 "2.093, 2.025, 1.857, 1.71, 1.6, 1.525, 1.473, 1.443, 1.422, 1.411",\
                 "2.1, 2.031, 1.867, 1.714, 1.608, 1.533, 1.481, 1.45, 1.436, 1.419",\
                 "2.115, 2.046, 1.883, 1.733, 1.624, 1.548, 1.499, 1.468, 1.447, 1.438",\
                 "2.139, 2.071, 1.904, 1.756, 1.648, 1.574, 1.526, 1.498, 1.481, 1.466",\
                 "2.189, 2.121, 1.957, 1.812, 1.71, 1.634, 1.583, 1.555, 1.533, 1.522",\
                 "2.26, 2.192, 2.028, 1.88, 1.773, 1.706, 1.66, 1.629, 1.602, 1.601",\
                 "2.348, 2.28, 2.111, 1.968, 1.861, 1.784, 1.743, 1.72, 1.705, 1.692",\
                 "2.455, 2.385, 2.223, 2.076, 1.968, 1.891, 1.842, 1.816, 1.818, 1.812");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.04471, 0.1314, 0.2971, 0.5551, 0.9172, 1.394, 1.994, 2.727, 3.6");
          index_2("0.001, 0.011, 0.0461, 0.1131, 0.2175, 0.3641, 0.5569, 0.7997, 1.096, 1.45");
          values("2.402, 2.328, 2.147, 1.943, 1.777, 1.67, 1.599, 1.547, 1.509, 1.48",\
                 "2.402, 2.329, 2.146, 1.942, 1.777, 1.67, 1.597, 1.546, 1.508, 1.479",\
                 "2.404, 2.33, 2.148, 1.944, 1.778, 1.671, 1.6, 1.548, 1.51, 1.481",\
                 "2.414, 2.34, 2.157, 1.953, 1.787, 1.681, 1.609, 1.557, 1.519, 1.491",\
                 "2.439, 2.366, 2.183, 1.98, 1.813, 1.706, 1.635, 1.583, 1.545, 1.516",\
                 "2.489, 2.415, 2.232, 2.028, 1.862, 1.755, 1.684, 1.631, 1.594, 1.564",\
                 "2.565, 2.492, 2.309, 2.103, 1.938, 1.831, 1.758, 1.706, 1.668, 1.639",\
                 "2.667, 2.594, 2.41, 2.205, 2.039, 1.931, 1.86, 1.806, 1.768, 1.739",\
                 "2.796, 2.722, 2.538, 2.333, 2.166, 2.057, 1.982, 1.931, 1.892, 1.862",\
                 "2.953, 2.878, 2.694, 2.485, 2.316, 2.208, 2.133, 2.08, 2.041, 2.012");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.04471, 0.1314, 0.2971, 0.5551, 0.9172, 1.394, 1.994, 2.727, 3.6");
          index_2("0.001, 0.011, 0.0461, 0.1131, 0.2175, 0.3641, 0.5569, 0.7997, 1.096, 1.45");
          values("1.801, 1.74, 1.621, 1.514, 1.44, 1.383, 1.352, 1.333, 1.319, 1.317",\
                 "1.801, 1.741, 1.621, 1.519, 1.44, 1.384, 1.352, 1.334, 1.322, 1.318",\
                 "1.803, 1.743, 1.623, 1.521, 1.443, 1.387, 1.353, 1.337, 1.323, 1.317",\
                 "1.811, 1.75, 1.629, 1.529, 1.451, 1.395, 1.361, 1.344, 1.333, 1.326",\
                 "1.833, 1.773, 1.654, 1.546, 1.471, 1.416, 1.383, 1.363, 1.352, 1.347",\
                 "1.87, 1.811, 1.69, 1.584, 1.51, 1.453, 1.42, 1.402, 1.392, 1.384",\
                 "1.928, 1.868, 1.746, 1.648, 1.566, 1.511, 1.481, 1.459, 1.445, 1.438",\
                 "2.004, 1.943, 1.819, 1.714, 1.638, 1.588, 1.552, 1.529, 1.521, 1.51",\
                 "2.098, 2.039, 1.915, 1.813, 1.731, 1.676, 1.648, 1.632, 1.618, 1.613",\
                 "2.216, 2.155, 2.034, 1.926, 1.845, 1.788, 1.752, 1.748, 1.743, 1.734");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.04471, 0.1314, 0.2971, 0.5551, 0.9172, 1.394, 1.994, 2.727, 3.6");
          index_2("0.001, 0.011, 0.0461, 0.1131, 0.2175, 0.3641, 0.5569, 0.7997, 1.096, 1.45");
          values("2.248, 2.172, 1.977, 1.751, 1.558, 1.428, 1.34, 1.275, 1.227, 1.191",\
                 "2.248, 2.172, 1.978, 1.751, 1.559, 1.429, 1.34, 1.276, 1.228, 1.192",\
                 "2.251, 2.174, 1.98, 1.754, 1.561, 1.431, 1.342, 1.278, 1.23, 1.193",\
                 "2.262, 2.185, 1.991, 1.764, 1.571, 1.442, 1.353, 1.289, 1.241, 1.204",\
                 "2.3, 2.223, 2.028, 1.801, 1.607, 1.476, 1.386, 1.321, 1.273, 1.237",\
                 "2.371, 2.294, 2.098, 1.869, 1.672, 1.54, 1.448, 1.382, 1.332, 1.294",\
                 "2.476, 2.398, 2.2, 1.966, 1.765, 1.627, 1.532, 1.463, 1.412, 1.374",\
                 "2.619, 2.541, 2.339, 2.099, 1.891, 1.747, 1.647, 1.575, 1.521, 1.48",\
                 "2.79, 2.711, 2.506, 2.261, 2.046, 1.894, 1.79, 1.713, 1.656, 1.613",\
                 "2.997, 2.917, 2.709, 2.455, 2.231, 2.072, 1.96, 1.878, 1.819, 1.773");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.04471, 0.1314, 0.2971, 0.5551, 0.9172, 1.394, 1.994, 2.727, 3.6");
          index_2("0.001, 0.011, 0.0461, 0.1131, 0.2175, 0.3641, 0.5569, 0.7997, 1.096, 1.45");
          values("1.996, 1.929, 1.767, 1.62, 1.516, 1.446, 1.398, 1.371, 1.356, 1.339",\
                 "1.996, 1.928, 1.765, 1.618, 1.516, 1.445, 1.396, 1.367, 1.355, 1.341",\
                 "1.997, 1.928, 1.767, 1.622, 1.518, 1.445, 1.399, 1.369, 1.353, 1.341",\
                 "2.007, 1.939, 1.776, 1.633, 1.527, 1.454, 1.407, 1.378, 1.364, 1.352",\
                 "2.037, 1.97, 1.806, 1.66, 1.556, 1.485, 1.435, 1.412, 1.39, 1.376",\
                 "2.108, 2.041, 1.875, 1.729, 1.62, 1.547, 1.496, 1.467, 1.448, 1.436",\
                 "2.24, 2.171, 2.006, 1.85, 1.741, 1.661, 1.604, 1.573, 1.546, 1.536",\
                 "2.434, 2.364, 2.191, 2.032, 1.911, 1.821, 1.757, 1.72, 1.691, 1.676",\
                 "2.681, 2.611, 2.431, 2.257, 2.124, 2.029, 1.957, 1.907, 1.872, 1.85",\
                 "2.975, 2.9, 2.716, 2.534, 2.377, 2.269, 2.197, 2.135, 2.092, 2.068");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.04471, 0.1314, 0.2971, 0.5551, 0.9172, 1.394, 1.994, 2.727, 3.6");
          index_2("0.001, 0.011, 0.0461, 0.1131, 0.2175, 0.3641, 0.5569, 0.7997, 1.096, 1.45");
          values("2.415, 2.341, 2.157, 1.954, 1.789, 1.682, 1.611, 1.558, 1.521, 1.492",\
                 "2.415, 2.341, 2.159, 1.955, 1.79, 1.684, 1.612, 1.56, 1.522, 1.493",\
                 "2.419, 2.345, 2.163, 1.959, 1.793, 1.687, 1.615, 1.563, 1.525, 1.496",\
                 "2.427, 2.354, 2.172, 1.967, 1.802, 1.695, 1.623, 1.571, 1.533, 1.505",\
                 "2.446, 2.372, 2.19, 1.986, 1.82, 1.713, 1.641, 1.59, 1.551, 1.523",\
                 "2.477, 2.404, 2.221, 2.018, 1.852, 1.745, 1.673, 1.622, 1.583, 1.555",\
                 "2.52, 2.447, 2.266, 2.062, 1.896, 1.789, 1.718, 1.665, 1.628, 1.599",\
                 "2.581, 2.508, 2.325, 2.122, 1.957, 1.851, 1.779, 1.727, 1.689, 1.66",\
                 "2.657, 2.584, 2.401, 2.198, 2.032, 1.926, 1.854, 1.802, 1.763, 1.735",\
                 "2.75, 2.676, 2.494, 2.29, 2.123, 2.018, 1.946, 1.895, 1.857, 1.828");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.04471, 0.1314, 0.2971, 0.5551, 0.9172, 1.394, 1.994, 2.727, 3.6");
          index_2("0.001, 0.011, 0.0461, 0.1131, 0.2175, 0.3641, 0.5569, 0.7997, 1.096, 1.45");
          values("2.018, 1.957, 1.836, 1.738, 1.66, 1.606, 1.573, 1.555, 1.543, 1.541",\
                 "2.016, 1.956, 1.834, 1.736, 1.658, 1.606, 1.571, 1.553, 1.542, 1.537",\
                 "2.018, 1.959, 1.84, 1.739, 1.66, 1.606, 1.573, 1.555, 1.544, 1.542",\
                 "2.033, 1.973, 1.852, 1.753, 1.675, 1.621, 1.588, 1.571, 1.559, 1.554",\
                 "2.061, 2.001, 1.884, 1.781, 1.704, 1.651, 1.615, 1.599, 1.587, 1.582",\
                 "2.105, 2.045, 1.925, 1.824, 1.747, 1.691, 1.661, 1.64, 1.63, 1.625",\
                 "2.166, 2.107, 1.989, 1.885, 1.808, 1.753, 1.723, 1.702, 1.691, 1.687",\
                 "2.246, 2.188, 2.069, 1.964, 1.888, 1.834, 1.8, 1.782, 1.773, 1.762",\
                 "2.348, 2.289, 2.167, 2.068, 1.992, 1.934, 1.902, 1.885, 1.873, 1.867",\
                 "2.471, 2.412, 2.287, 2.191, 2.112, 2.06, 2.027, 2.006, 1.994, 1.989");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.04471, 0.1314, 0.2971, 0.5551, 0.9172, 1.394, 1.994, 2.727, 3.6");
          index_2("0.001, 0.011, 0.0461, 0.1131, 0.2175, 0.3641, 0.5569, 0.7997, 1.096, 1.45");
          values("2.441, 2.364, 2.174, 1.953, 1.766, 1.641, 1.555, 1.493, 1.448, 1.413",\
                 "2.44, 2.364, 2.173, 1.952, 1.764, 1.639, 1.554, 1.492, 1.446, 1.411",\
                 "2.441, 2.366, 2.175, 1.954, 1.767, 1.642, 1.556, 1.494, 1.448, 1.414",\
                 "2.456, 2.38, 2.189, 1.968, 1.782, 1.657, 1.57, 1.509, 1.463, 1.428",\
                 "2.484, 2.409, 2.218, 1.997, 1.81, 1.685, 1.599, 1.537, 1.491, 1.456",\
                 "2.529, 2.454, 2.262, 2.042, 1.854, 1.73, 1.644, 1.583, 1.536, 1.502",\
                 "2.595, 2.519, 2.328, 2.107, 1.919, 1.795, 1.708, 1.647, 1.601, 1.566",\
                 "2.683, 2.607, 2.416, 2.194, 2.007, 1.88, 1.795, 1.733, 1.687, 1.652",\
                 "2.794, 2.719, 2.526, 2.304, 2.117, 1.991, 1.904, 1.841, 1.795, 1.76",\
                 "2.929, 2.853, 2.661, 2.438, 2.247, 2.121, 2.033, 1.971, 1.923, 1.888");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.04471, 0.1314, 0.2971, 0.5551, 0.9172, 1.394, 1.994, 2.727, 3.6");
          index_2("0.001, 0.011, 0.0461, 0.1131, 0.2175, 0.3641, 0.5569, 0.7997, 1.096, 1.45");
          values("2.008, 1.94, 1.777, 1.633, 1.528, 1.457, 1.41, 1.384, 1.364, 1.35",\
                 "2.009, 1.942, 1.779, 1.636, 1.528, 1.457, 1.417, 1.381, 1.371, 1.353",\
                 "2.012, 1.944, 1.783, 1.635, 1.533, 1.462, 1.413, 1.383, 1.371, 1.36",\
                 "2.021, 1.954, 1.79, 1.648, 1.542, 1.469, 1.423, 1.393, 1.38, 1.367",\
                 "2.038, 1.971, 1.807, 1.663, 1.559, 1.487, 1.44, 1.411, 1.391, 1.385",\
                 "2.069, 2.003, 1.839, 1.694, 1.591, 1.517, 1.47, 1.444, 1.425, 1.418",\
                 "2.116, 2.048, 1.883, 1.739, 1.64, 1.568, 1.519, 1.489, 1.47, 1.464",\
                 "2.179, 2.112, 1.948, 1.799, 1.695, 1.631, 1.587, 1.556, 1.534, 1.523",\
                 "2.247, 2.179, 2.014, 1.873, 1.763, 1.692, 1.652, 1.636, 1.612, 1.602",\
                 "2.333, 2.265, 2.102, 1.959, 1.852, 1.779, 1.732, 1.708, 1.707, 1.706");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.04471, 0.1314, 0.2971, 0.5551, 0.9172, 1.394, 1.994, 2.727, 3.6");
          index_2("0.001, 0.011, 0.0461, 0.1131, 0.2175, 0.3641, 0.5569, 0.7997, 1.096, 1.45");
          values("2.432, 2.358, 2.176, 1.971, 1.806, 1.7, 1.627, 1.575, 1.537, 1.508",\
                 "2.432, 2.359, 2.176, 1.972, 1.805, 1.699, 1.627, 1.575, 1.537, 1.508",\
                 "2.434, 2.361, 2.178, 1.974, 1.808, 1.701, 1.629, 1.577, 1.539, 1.51",\
                 "2.445, 2.372, 2.189, 1.985, 1.819, 1.712, 1.64, 1.588, 1.55, 1.521",\
                 "2.473, 2.4, 2.216, 2.012, 1.847, 1.74, 1.667, 1.616, 1.577, 1.549",\
                 "2.524, 2.45, 2.268, 2.064, 1.897, 1.79, 1.717, 1.666, 1.627, 1.599",\
                 "2.602, 2.528, 2.346, 2.142, 1.974, 1.867, 1.795, 1.743, 1.705, 1.676",\
                 "2.711, 2.638, 2.456, 2.248, 2.083, 1.975, 1.901, 1.848, 1.81, 1.781",\
                 "2.848, 2.775, 2.591, 2.384, 2.218, 2.109, 2.036, 1.983, 1.944, 1.914",\
                 "3.014, 2.939, 2.756, 2.548, 2.379, 2.269, 2.195, 2.142, 2.103, 2.074");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.04471, 0.1314, 0.2971, 0.5551, 0.9172, 1.394, 1.994, 2.727, 3.6");
          index_2("0.001, 0.011, 0.0461, 0.1131, 0.2175, 0.3641, 0.5569, 0.7997, 1.096, 1.45");
          values("1.81, 1.75, 1.63, 1.528, 1.45, 1.393, 1.361, 1.343, 1.329, 1.327",\
                 "1.811, 1.751, 1.628, 1.529, 1.45, 1.393, 1.362, 1.343, 1.329, 1.327",\
                 "1.813, 1.753, 1.633, 1.531, 1.452, 1.396, 1.364, 1.345, 1.331, 1.329",\
                 "1.821, 1.76, 1.641, 1.539, 1.46, 1.403, 1.372, 1.353, 1.342, 1.337",\
                 "1.841, 1.78, 1.659, 1.557, 1.481, 1.425, 1.391, 1.374, 1.363, 1.356",\
                 "1.88, 1.819, 1.7, 1.595, 1.517, 1.462, 1.428, 1.411, 1.398, 1.389",\
                 "1.938, 1.878, 1.759, 1.652, 1.575, 1.522, 1.49, 1.468, 1.457, 1.447",\
                 "2.016, 1.955, 1.833, 1.727, 1.651, 1.601, 1.566, 1.542, 1.53, 1.522",\
                 "2.111, 2.05, 1.926, 1.821, 1.745, 1.687, 1.664, 1.644, 1.628, 1.628",\
                 "2.229, 2.167, 2.043, 1.939, 1.853, 1.794, 1.76, 1.754, 1.757, 1.742");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.04471, 0.1314, 0.2971, 0.5551, 0.9172, 1.394, 1.994, 2.727, 3.6");
          index_2("0.001, 0.011, 0.0461, 0.1131, 0.2175, 0.3641, 0.5569, 0.7997, 1.096, 1.45");
          values("2.258, 2.181, 1.987, 1.76, 1.568, 1.438, 1.349, 1.285, 1.237, 1.201",\
                 "2.258, 2.182, 1.987, 1.76, 1.568, 1.438, 1.349, 1.285, 1.237, 1.201",\
                 "2.26, 2.184, 1.99, 1.764, 1.571, 1.441, 1.352, 1.287, 1.239, 1.203",\
                 "2.27, 2.193, 2, 1.773, 1.581, 1.45, 1.361, 1.297, 1.249, 1.213",\
                 "2.304, 2.228, 2.033, 1.806, 1.612, 1.482, 1.392, 1.327, 1.279, 1.243",\
                 "2.373, 2.296, 2.099, 1.871, 1.675, 1.542, 1.45, 1.384, 1.334, 1.297",\
                 "2.479, 2.401, 2.202, 1.968, 1.767, 1.629, 1.534, 1.465, 1.413, 1.374",\
                 "2.618, 2.539, 2.337, 2.097, 1.889, 1.744, 1.644, 1.572, 1.518, 1.477",\
                 "2.789, 2.709, 2.504, 2.257, 2.04, 1.889, 1.783, 1.707, 1.649, 1.606",\
                 "2.994, 2.914, 2.704, 2.45, 2.225, 2.065, 1.953, 1.872, 1.811, 1.764");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.04471, 0.1314, 0.2971, 0.5551, 0.9172, 1.394, 1.994, 2.727, 3.6");
          index_2("0.001, 0.011, 0.0461, 0.1131, 0.2175, 0.3641, 0.5569, 0.7997, 1.096, 1.45");
          values("2.065, 1.997, 1.832, 1.682, 1.574, 1.496, 1.446, 1.416, 1.397, 1.384",\
                 "2.064, 1.996, 1.83, 1.682, 1.572, 1.497, 1.445, 1.416, 1.395, 1.384",\
                 "2.066, 1.997, 1.833, 1.681, 1.574, 1.5, 1.447, 1.416, 1.397, 1.385",\
                 "2.077, 2.008, 1.844, 1.691, 1.585, 1.51, 1.458, 1.427, 1.414, 1.395",\
                 "2.108, 2.041, 1.874, 1.723, 1.615, 1.539, 1.488, 1.457, 1.439, 1.426",\
                 "2.178, 2.111, 1.943, 1.792, 1.678, 1.602, 1.548, 1.517, 1.493, 1.478",\
                 "2.305, 2.238, 2.068, 1.912, 1.794, 1.712, 1.654, 1.621, 1.592, 1.58",\
                 "2.499, 2.429, 2.251, 2.089, 1.971, 1.875, 1.811, 1.772, 1.741, 1.726",\
                 "2.753, 2.677, 2.499, 2.328, 2.195, 2.095, 2.019, 1.969, 1.932, 1.91",\
                 "3.053, 2.979, 2.792, 2.605, 2.456, 2.344, 2.271, 2.205, 2.162, 2.132");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.04471, 0.1314, 0.2971, 0.5551, 0.9172, 1.394, 1.994, 2.727, 3.6");
          index_2("0.001, 0.011, 0.0461, 0.1131, 0.2175, 0.3641, 0.5569, 0.7997, 1.096, 1.45");
          values("2.219, 2.143, 1.954, 1.735, 1.551, 1.427, 1.343, 1.283, 1.238, 1.204",\
                 "2.218, 2.142, 1.953, 1.735, 1.55, 1.426, 1.343, 1.282, 1.237, 1.203",\
                 "2.219, 2.142, 1.953, 1.734, 1.55, 1.427, 1.343, 1.282, 1.237, 1.203",\
                 "2.229, 2.154, 1.963, 1.745, 1.56, 1.436, 1.352, 1.291, 1.246, 1.212",\
                 "2.246, 2.171, 1.982, 1.766, 1.583, 1.461, 1.378, 1.318, 1.273, 1.24",\
                 "2.289, 2.215, 2.028, 1.812, 1.63, 1.511, 1.429, 1.371, 1.328, 1.294",\
                 "2.392, 2.315, 2.124, 1.904, 1.721, 1.602, 1.52, 1.46, 1.417, 1.383",\
                 "2.528, 2.451, 2.258, 2.036, 1.852, 1.73, 1.647, 1.586, 1.542, 1.508",\
                 "2.705, 2.629, 2.434, 2.207, 2.02, 1.894, 1.809, 1.746, 1.7, 1.665",\
                 "2.919, 2.842, 2.644, 2.413, 2.221, 2.093, 2.004, 1.941, 1.894, 1.859");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.04471, 0.1314, 0.2971, 0.5551, 0.9172, 1.394, 1.994, 2.727, 3.6");
          index_2("0.001, 0.011, 0.0461, 0.1131, 0.2175, 0.3641, 0.5569, 0.7997, 1.096, 1.45");
          values("1.794, 1.735, 1.618, 1.511, 1.437, 1.383, 1.352, 1.332, 1.322, 1.313",\
                 "1.793, 1.734, 1.615, 1.51, 1.436, 1.38, 1.348, 1.33, 1.321, 1.311",\
                 "1.793, 1.733, 1.614, 1.508, 1.435, 1.381, 1.35, 1.329, 1.32, 1.31",\
                 "1.809, 1.749, 1.632, 1.528, 1.45, 1.395, 1.363, 1.347, 1.335, 1.326",\
                 "1.86, 1.8, 1.68, 1.574, 1.499, 1.442, 1.412, 1.389, 1.377, 1.369",\
                 "1.961, 1.899, 1.775, 1.669, 1.588, 1.53, 1.496, 1.47, 1.458, 1.455",\
                 "2.125, 2.062, 1.94, 1.83, 1.739, 1.672, 1.632, 1.608, 1.59, 1.583",\
                 "2.366, 2.3, 2.167, 2.04, 1.95, 1.87, 1.821, 1.789, 1.767, 1.755",\
                 "2.661, 2.59, 2.446, 2.314, 2.204, 2.125, 2.062, 2.019, 1.992, 1.971",\
                 "3.002, 2.928, 2.772, 2.629, 2.505, 2.407, 2.345, 2.297, 2.26, 2.233");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.04471, 0.1314, 0.2971, 0.5551, 0.9172, 1.394, 1.994, 2.727, 3.6");
          index_2("0.001, 0.011, 0.0461, 0.1131, 0.2175, 0.3641, 0.5569, 0.7997, 1.096, 1.45");
          values("1.952, 1.879, 1.699, 1.497, 1.334, 1.229, 1.158, 1.108, 1.07, 1.042",\
                 "1.95, 1.877, 1.697, 1.495, 1.333, 1.228, 1.158, 1.107, 1.069, 1.041",\
                 "1.954, 1.881, 1.701, 1.5, 1.337, 1.232, 1.162, 1.112, 1.074, 1.046",\
                 "2.002, 1.928, 1.746, 1.543, 1.377, 1.269, 1.197, 1.146, 1.108, 1.079",\
                 "2.162, 2.087, 1.896, 1.679, 1.499, 1.38, 1.298, 1.24, 1.196, 1.164",\
                 "2.475, 2.394, 2.187, 1.941, 1.731, 1.585, 1.484, 1.411, 1.356, 1.314",\
                 "2.931, 2.845, 2.617, 2.336, 2.084, 1.9, 1.767, 1.669, 1.596, 1.539",\
                 "3.515, 3.423, 3.174, 2.857, 2.557, 2.325, 2.154, 2.024, 1.925, 1.849",\
                 "4.212, 4.113, 3.846, 3.495, 3.149, 2.863, 2.645, 2.478, 2.349, 2.248",\
                 "5.012, 4.911, 4.626, 4.244, 3.854, 3.51, 3.241, 3.031, 2.866, 2.737");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.04471, 0.1314, 0.2971, 0.5551, 0.9172, 1.394, 1.994, 2.727, 3.6");
          index_2("0.001, 0.011, 0.0461, 0.1131, 0.2175, 0.3641, 0.5569, 0.7997, 1.096, 1.45");
          values("1.183, 1.122, 0.9867, 0.8869, 0.8255, 0.7867, 0.7665, 0.7556, 0.7508, 0.7502",\
                 "1.184, 1.124, 0.9887, 0.8902, 0.8255, 0.7889, 0.7682, 0.7578, 0.7497, 0.7529",\
                 "1.194, 1.134, 0.9975, 0.899, 0.8348, 0.7983, 0.7748, 0.7655, 0.7568, 0.7579",\
                 "1.263, 1.203, 1.062, 0.9561, 0.8843, 0.8401, 0.8144, 0.8024, 0.7909, 0.7881",\
                 "1.455, 1.391, 1.24, 1.112, 1.019, 0.955, 0.9172, 0.8904, 0.8756, 0.8695",\
                 "1.756, 1.683, 1.506, 1.353, 1.24, 1.148, 1.087, 1.045, 1.019, 0.9966",\
                 "2.157, 2.077, 1.881, 1.684, 1.538, 1.427, 1.337, 1.274, 1.23, 1.196",\
                 "2.651, 2.566, 2.347, 2.109, 1.927, 1.782, 1.675, 1.593, 1.52, 1.471",\
                 "3.238, 3.145, 2.909, 2.635, 2.411, 2.225, 2.082, 1.977, 1.898, 1.82",\
                 "3.918, 3.82, 3.565, 3.256, 2.994, 2.772, 2.588, 2.448, 2.346, 2.258");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.04471, 0.1314, 0.2971, 0.5551, 0.9172, 1.394, 1.994, 2.727, 3.6");
          index_2("0.001, 0.011, 0.0461, 0.1131, 0.2175, 0.3641, 0.5569, 0.7997, 1.096, 1.45");
          values("1.952, 1.879, 1.699, 1.497, 1.334, 1.229, 1.158, 1.108, 1.07, 1.042",\
                 "1.95, 1.877, 1.697, 1.495, 1.333, 1.228, 1.157, 1.107, 1.069, 1.041",\
                 "1.955, 1.881, 1.701, 1.5, 1.338, 1.232, 1.162, 1.112, 1.074, 1.046",\
                 "2.002, 1.928, 1.746, 1.543, 1.377, 1.269, 1.197, 1.146, 1.108, 1.079",\
                 "2.162, 2.087, 1.897, 1.679, 1.499, 1.38, 1.299, 1.24, 1.196, 1.164",\
                 "2.475, 2.394, 2.187, 1.941, 1.73, 1.586, 1.484, 1.41, 1.355, 1.314",\
                 "2.931, 2.844, 2.616, 2.335, 2.084, 1.899, 1.767, 1.669, 1.596, 1.539",\
                 "3.515, 3.423, 3.174, 2.857, 2.559, 2.325, 2.154, 2.024, 1.925, 1.849",\
                 "4.21, 4.114, 3.846, 3.496, 3.149, 2.863, 2.645, 2.478, 2.349, 2.247",\
                 "5.012, 4.911, 4.626, 4.244, 3.853, 3.51, 3.239, 3.03, 2.867, 2.736");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.04471, 0.1314, 0.2971, 0.5551, 0.9172, 1.394, 1.994, 2.727, 3.6");
          index_2("0.001, 0.011, 0.0461, 0.1131, 0.2175, 0.3641, 0.5569, 0.7997, 1.096, 1.45");
          values("1.183, 1.122, 0.9869, 0.8864, 0.8255, 0.7879, 0.766, 0.7556, 0.7481, 0.7502",\
                 "1.184, 1.124, 0.9886, 0.8897, 0.8255, 0.789, 0.7682, 0.7578, 0.7486, 0.753",\
                 "1.195, 1.134, 0.9984, 0.8976, 0.8349, 0.7961, 0.7748, 0.7644, 0.7607, 0.7585",\
                 "1.263, 1.202, 1.062, 0.9542, 0.8844, 0.8401, 0.8144, 0.8024, 0.7888, 0.7882",\
                 "1.455, 1.391, 1.24, 1.112, 1.019, 0.9551, 0.9173, 0.8904, 0.8757, 0.8696",\
                 "1.756, 1.682, 1.507, 1.354, 1.238, 1.148, 1.087, 1.045, 1.019, 0.9966",\
                 "2.157, 2.077, 1.88, 1.682, 1.533, 1.427, 1.337, 1.274, 1.23, 1.196",\
                 "2.651, 2.566, 2.347, 2.109, 1.926, 1.782, 1.675, 1.593, 1.52, 1.471",\
                 "3.238, 3.145, 2.908, 2.633, 2.411, 2.228, 2.084, 1.977, 1.898, 1.822",\
                 "3.918, 3.82, 3.565, 3.256, 2.994, 2.772, 2.588, 2.449, 2.347, 2.258");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.04471, 0.1314, 0.2971, 0.5551, 0.9172, 1.394, 1.994, 2.727, 3.6");
          index_2("0.001, 0.011, 0.0461, 0.1131, 0.2175, 0.3641, 0.5569, 0.7997, 1.096, 1.45");
          values("2.226, 2.151, 1.961, 1.741, 1.555, 1.43, 1.346, 1.285, 1.24, 1.205",\
                 "2.225, 2.15, 1.959, 1.74, 1.554, 1.43, 1.345, 1.284, 1.238, 1.204",\
                 "2.226, 2.15, 1.96, 1.74, 1.554, 1.43, 1.345, 1.284, 1.239, 1.205",\
                 "2.236, 2.16, 1.97, 1.751, 1.564, 1.44, 1.355, 1.293, 1.248, 1.213",\
                 "2.253, 2.178, 1.989, 1.771, 1.587, 1.464, 1.381, 1.32, 1.275, 1.241",\
                 "2.295, 2.221, 2.033, 1.816, 1.635, 1.515, 1.432, 1.373, 1.33, 1.296",\
                 "2.397, 2.321, 2.128, 1.908, 1.724, 1.603, 1.521, 1.461, 1.417, 1.384",\
                 "2.533, 2.455, 2.262, 2.04, 1.855, 1.732, 1.647, 1.587, 1.542, 1.508",\
                 "2.709, 2.632, 2.436, 2.209, 2.02, 1.895, 1.808, 1.746, 1.7, 1.665",\
                 "2.922, 2.844, 2.645, 2.414, 2.222, 2.093, 2.004, 1.94, 1.893, 1.857");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.04471, 0.1314, 0.2971, 0.5551, 0.9172, 1.394, 1.994, 2.727, 3.6");
          index_2("0.001, 0.011, 0.0461, 0.1131, 0.2175, 0.3641, 0.5569, 0.7997, 1.096, 1.45");
          values("1.796, 1.736, 1.617, 1.516, 1.438, 1.384, 1.352, 1.333, 1.321, 1.313",\
                 "1.794, 1.735, 1.617, 1.513, 1.437, 1.381, 1.349, 1.332, 1.321, 1.318",\
                 "1.794, 1.735, 1.614, 1.51, 1.437, 1.382, 1.35, 1.33, 1.321, 1.315",\
                 "1.81, 1.75, 1.629, 1.524, 1.452, 1.397, 1.364, 1.347, 1.336, 1.332",\
                 "1.861, 1.801, 1.679, 1.575, 1.498, 1.444, 1.409, 1.391, 1.378, 1.37",\
                 "1.961, 1.899, 1.775, 1.669, 1.588, 1.53, 1.496, 1.472, 1.458, 1.452",\
                 "2.127, 2.064, 1.939, 1.832, 1.74, 1.674, 1.632, 1.605, 1.59, 1.575",\
                 "2.365, 2.3, 2.165, 2.044, 1.952, 1.876, 1.821, 1.789, 1.768, 1.757",\
                 "2.66, 2.592, 2.447, 2.306, 2.205, 2.12, 2.063, 2.022, 1.988, 1.973",\
                 "3.002, 2.931, 2.774, 2.631, 2.506, 2.408, 2.346, 2.297, 2.259, 2.234");
        }
      }

      timing() {
        related_pin : "A1" ;
        sdf_cond : "A2===1'b0 && A3===1'b0" ;
        timing_sense : negative_unate ;
        timing_type : combinational ;
        when : "!A2&!A3" ;

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.04471, 0.1314, 0.2971, 0.5551, 0.9172, 1.394, 1.994, 2.727, 3.6");
          index_2("0.001, 0.011, 0.0461, 0.1131, 0.2175, 0.3641, 0.5569, 0.7997, 1.096, 1.45");
          values("1.011, 1.034, 1.095, 1.185, 1.3, 1.445, 1.625, 1.845, 2.11, 2.427",\
                 "1.014, 1.037, 1.097, 1.187, 1.303, 1.448, 1.628, 1.847, 2.113, 2.43",\
                 "1.023, 1.045, 1.106, 1.196, 1.311, 1.456, 1.636, 1.856, 2.122, 2.438",\
                 "1.023, 1.045, 1.106, 1.196, 1.312, 1.457, 1.636, 1.856, 2.122, 2.439",\
                 "1.007, 1.029, 1.091, 1.18, 1.296, 1.441, 1.62, 1.84, 2.106, 2.423",\
                 "0.9751, 0.9977, 1.059, 1.148, 1.264, 1.409, 1.588, 1.808, 2.074, 2.391",\
                 "0.9195, 0.942, 1.003, 1.093, 1.208, 1.353, 1.533, 1.753, 2.019, 2.335",\
                 "0.8362, 0.8585, 0.9195, 1.009, 1.125, 1.27, 1.449, 1.669, 1.935, 2.252",\
                 "0.7243, 0.7473, 0.8079, 0.8974, 1.013, 1.158, 1.338, 1.558, 1.823, 2.14",\
                 "0.5854, 0.6079, 0.6687, 0.7579, 0.8737, 1.019, 1.199, 1.418, 1.684, 2.001");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.04471, 0.1314, 0.2971, 0.5551, 0.9172, 1.394, 1.994, 2.727, 3.6");
          index_2("0.001, 0.011, 0.0461, 0.1131, 0.2175, 0.3641, 0.5569, 0.7997, 1.096, 1.45");
          values("1.141, 1.16, 1.212, 1.299, 1.433, 1.626, 1.881, 2.205, 2.602, 3.077",\
                 "1.141, 1.16, 1.212, 1.299, 1.434, 1.626, 1.882, 2.205, 2.602, 3.076",\
                 "1.152, 1.171, 1.223, 1.31, 1.445, 1.637, 1.893, 2.217, 2.613, 3.088",\
                 "1.197, 1.216, 1.268, 1.355, 1.49, 1.682, 1.938, 2.262, 2.659, 3.132",\
                 "1.285, 1.304, 1.356, 1.443, 1.578, 1.77, 2.026, 2.35, 2.747, 3.221",\
                 "1.416, 1.435, 1.487, 1.574, 1.708, 1.901, 2.156, 2.48, 2.877, 3.351",\
                 "1.586, 1.605, 1.657, 1.744, 1.878, 2.071, 2.326, 2.65, 3.047, 3.521",\
                 "1.792, 1.811, 1.862, 1.949, 2.083, 2.276, 2.531, 2.855, 3.253, 3.726",\
                 "2.029, 2.048, 2.1, 2.187, 2.321, 2.513, 2.769, 3.093, 3.49, 3.964",\
                 "2.3, 2.319, 2.371, 2.458, 2.592, 2.785, 3.041, 3.364, 3.761, 4.235");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.04471, 0.1314, 0.2971, 0.5551, 0.9172, 1.394, 1.994, 2.727, 3.6");
          index_2("0.001, 0.011, 0.0461, 0.1131, 0.2175, 0.3641, 0.5569, 0.7997, 1.096, 1.45");
          values("0.1287, 0.1536, 0.2196, 0.317, 0.4584, 0.6586, 0.9322, 1.285, 1.729, 2.265",\
                 "0.1278, 0.1538, 0.219, 0.3176, 0.4586, 0.6592, 0.9324, 1.285, 1.728, 2.264",\
                 "0.1284, 0.1536, 0.2194, 0.3174, 0.4584, 0.6594, 0.9316, 1.284, 1.729, 2.266",\
                 "0.128, 0.1542, 0.2194, 0.3172, 0.4584, 0.659, 0.932, 1.284, 1.728, 2.266",\
                 "0.1278, 0.1542, 0.2196, 0.3174, 0.4586, 0.6592, 0.932, 1.286, 1.729, 2.265",\
                 "0.128, 0.1536, 0.2192, 0.3172, 0.4586, 0.6588, 0.931, 1.286, 1.728, 2.266",\
                 "0.128, 0.1534, 0.2194, 0.317, 0.458, 0.6594, 0.932, 1.284, 1.73, 2.266",\
                 "0.1282, 0.1542, 0.2196, 0.317, 0.4588, 0.6582, 0.93, 1.284, 1.729, 2.263",\
                 "0.1278, 0.1538, 0.2192, 0.317, 0.4582, 0.6588, 0.9306, 1.285, 1.727, 2.262",\
                 "0.128, 0.154, 0.2196, 0.3174, 0.458, 0.6592, 0.9324, 1.286, 1.727, 2.263");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.04471, 0.1314, 0.2971, 0.5551, 0.9172, 1.394, 1.994, 2.727, 3.6");
          index_2("0.001, 0.011, 0.0461, 0.1131, 0.2175, 0.3641, 0.5569, 0.7997, 1.096, 1.45");
          values("0.0884, 0.11, 0.18, 0.3296, 0.581, 0.9402, 1.417, 2.016, 2.745, 3.617",\
                 "0.0886, 0.1102, 0.1798, 0.3296, 0.5806, 0.9402, 1.417, 2.015, 2.746, 3.617",\
                 "0.0886, 0.1104, 0.18, 0.3296, 0.5808, 0.9408, 1.417, 2.016, 2.745, 3.617",\
                 "0.0884, 0.1098, 0.18, 0.3298, 0.5808, 0.9408, 1.417, 2.015, 2.748, 3.615",\
                 "0.0884, 0.1102, 0.18, 0.3296, 0.5808, 0.9396, 1.417, 2.016, 2.746, 3.617",\
                 "0.0882, 0.11, 0.18, 0.33, 0.5808, 0.9412, 1.414, 2.014, 2.748, 3.615",\
                 "0.0886, 0.1104, 0.1802, 0.33, 0.5814, 0.941, 1.416, 2.016, 2.746, 3.616",\
                 "0.0876, 0.1092, 0.1808, 0.3298, 0.5812, 0.9402, 1.417, 2.016, 2.748, 3.615",\
                 "0.0878, 0.1106, 0.18, 0.33, 0.581, 0.9408, 1.417, 2.015, 2.744, 3.621",\
                 "0.0884, 0.1098, 0.1802, 0.3298, 0.581, 0.942, 1.416, 2.014, 2.747, 3.614");
        }
      }

      timing() {
        related_pin : "A1" ;
        sdf_cond : "A2===1'b1 && A3===1'b1" ;
        timing_sense : negative_unate ;
        timing_type : combinational ;
        when : "A2&A3" ;

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.04471, 0.1314, 0.2971, 0.5551, 0.9172, 1.394, 1.994, 2.727, 3.6");
          index_2("0.001, 0.011, 0.0461, 0.1131, 0.2175, 0.3641, 0.5569, 0.7997, 1.096, 1.45");
          values("0.6206, 0.6442, 0.7079, 0.8006, 0.9195, 1.066, 1.246, 1.466, 1.732, 2.048",\
                 "0.6238, 0.6475, 0.7111, 0.8041, 0.9228, 1.069, 1.249, 1.469, 1.735, 2.051",\
                 "0.6357, 0.6593, 0.7228, 0.8158, 0.9345, 1.081, 1.261, 1.481, 1.747, 2.063",\
                 "0.6598, 0.6833, 0.7469, 0.8399, 0.9585, 1.105, 1.285, 1.505, 1.771, 2.087",\
                 "0.6916, 0.7153, 0.7787, 0.8716, 0.9902, 1.137, 1.317, 1.537, 1.802, 2.118",\
                 "0.7168, 0.7403, 0.8038, 0.8965, 1.015, 1.162, 1.342, 1.562, 1.827, 2.143",\
                 "0.7288, 0.7526, 0.8159, 0.9085, 1.027, 1.173, 1.353, 1.573, 1.839, 2.155",\
                 "0.7229, 0.7467, 0.8104, 0.903, 1.022, 1.168, 1.348, 1.567, 1.833, 2.149",\
                 "0.6966, 0.7203, 0.784, 0.8768, 0.9953, 1.142, 1.322, 1.541, 1.807, 2.122",\
                 "0.6486, 0.6725, 0.7363, 0.8289, 0.9479, 1.094, 1.274, 1.493, 1.758, 2.074");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.04471, 0.1314, 0.2971, 0.5551, 0.9172, 1.394, 1.994, 2.727, 3.6");
          index_2("0.001, 0.011, 0.0461, 0.1131, 0.2175, 0.3641, 0.5569, 0.7997, 1.096, 1.45");
          values("0.7083, 0.7304, 0.7907, 0.8848, 1.023, 1.215, 1.47, 1.793, 2.189, 2.663",\
                 "0.7122, 0.7344, 0.7948, 0.8888, 1.027, 1.219, 1.474, 1.797, 2.193, 2.666",\
                 "0.7302, 0.7524, 0.813, 0.9071, 1.045, 1.237, 1.492, 1.815, 2.212, 2.685",\
                 "0.7771, 0.7993, 0.8596, 0.9537, 1.092, 1.284, 1.539, 1.862, 2.258, 2.732",\
                 "0.8623, 0.8843, 0.9447, 1.039, 1.177, 1.369, 1.624, 1.947, 2.343, 2.816",\
                 "0.988, 1.01, 1.071, 1.165, 1.303, 1.495, 1.749, 2.072, 2.469, 2.942",\
                 "1.151, 1.174, 1.234, 1.328, 1.466, 1.658, 1.912, 2.235, 2.631, 3.104",\
                 "1.345, 1.368, 1.429, 1.523, 1.661, 1.852, 2.106, 2.428, 2.824, 3.296",\
                 "1.566, 1.589, 1.652, 1.747, 1.884, 2.075, 2.328, 2.649, 3.044, 3.516",\
                 "1.812, 1.835, 1.899, 1.996, 2.133, 2.324, 2.576, 2.897, 3.291, 3.763");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.04471, 0.1314, 0.2971, 0.5551, 0.9172, 1.394, 1.994, 2.727, 3.6");
          index_2("0.001, 0.011, 0.0461, 0.1131, 0.2175, 0.3641, 0.5569, 0.7997, 1.096, 1.45");
          values("0.1402, 0.1673, 0.2359, 0.3354, 0.4737, 0.6696, 0.939, 1.289, 1.731, 2.267",\
                 "0.1402, 0.1675, 0.2358, 0.3353, 0.4743, 0.6692, 0.9392, 1.289, 1.731, 2.266",\
                 "0.1408, 0.1678, 0.2356, 0.3358, 0.474, 0.67, 0.939, 1.29, 1.73, 2.267",\
                 "0.1402, 0.1675, 0.2357, 0.3352, 0.4742, 0.6698, 0.939, 1.289, 1.731, 2.267",\
                 "0.1401, 0.1678, 0.236, 0.3356, 0.4742, 0.6702, 0.9392, 1.288, 1.731, 2.267",\
                 "0.1406, 0.1676, 0.236, 0.336, 0.4752, 0.6706, 0.9396, 1.29, 1.731, 2.267",\
                 "0.1422, 0.1694, 0.238, 0.3378, 0.476, 0.671, 0.9398, 1.291, 1.732, 2.267",\
                 "0.144, 0.1722, 0.2408, 0.3398, 0.478, 0.6726, 0.9396, 1.29, 1.732, 2.267",\
                 "0.147, 0.1748, 0.243, 0.343, 0.4806, 0.6746, 0.9418, 1.291, 1.73, 2.264",\
                 "0.1498, 0.178, 0.2468, 0.347, 0.4838, 0.6774, 0.9442, 1.293, 1.731, 2.265");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.04471, 0.1314, 0.2971, 0.5551, 0.9172, 1.394, 1.994, 2.727, 3.6");
          index_2("0.001, 0.011, 0.0461, 0.1131, 0.2175, 0.3641, 0.5569, 0.7997, 1.096, 1.45");
          values("0.1086, 0.1347, 0.211, 0.3553, 0.5966, 0.9482, 1.422, 2.018, 2.752, 3.625",\
                 "0.1077, 0.1353, 0.211, 0.3547, 0.5959, 0.9484, 1.422, 2.02, 2.752, 3.624",\
                 "0.1081, 0.1349, 0.211, 0.3551, 0.5958, 0.9478, 1.42, 2.021, 2.75, 3.624",\
                 "0.1086, 0.1348, 0.211, 0.3548, 0.596, 0.9478, 1.423, 2.021, 2.752, 3.625",\
                 "0.1086, 0.1346, 0.2112, 0.3554, 0.596, 0.9494, 1.423, 2.021, 2.752, 3.623",\
                 "0.1092, 0.1352, 0.2118, 0.3564, 0.5964, 0.9496, 1.422, 2.021, 2.749, 3.623",\
                 "0.1102, 0.1366, 0.2134, 0.3572, 0.5974, 0.9488, 1.423, 2.021, 2.748, 3.622",\
                 "0.1134, 0.1398, 0.2172, 0.3604, 0.5996, 0.9508, 1.423, 2.018, 2.751, 3.625",\
                 "0.1176, 0.145, 0.2226, 0.3648, 0.6028, 0.9518, 1.422, 2.019, 2.749, 3.625",\
                 "0.123, 0.1508, 0.2294, 0.3704, 0.6078, 0.9552, 1.423, 2.019, 2.753, 3.625");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.04471, 0.1314, 0.2971, 0.5551, 0.9172, 1.394, 1.994, 2.727, 3.6");
          index_2("0.001, 0.011, 0.0461, 0.1131, 0.2175, 0.3641, 0.5569, 0.7997, 1.096, 1.45");
          values("1.011, 1.034, 1.095, 1.185, 1.3, 1.445, 1.625, 1.845, 2.11, 2.427",\
                 "1.014, 1.037, 1.097, 1.187, 1.303, 1.448, 1.628, 1.847, 2.113, 2.43",\
                 "1.023, 1.045, 1.106, 1.196, 1.311, 1.456, 1.636, 1.856, 2.122, 2.438",\
                 "1.023, 1.045, 1.106, 1.196, 1.312, 1.457, 1.636, 1.856, 2.122, 2.439",\
                 "1.007, 1.029, 1.091, 1.18, 1.296, 1.441, 1.62, 1.84, 2.106, 2.423",\
                 "0.9751, 0.9977, 1.059, 1.148, 1.264, 1.409, 1.588, 1.808, 2.074, 2.391",\
                 "0.9195, 0.942, 1.003, 1.093, 1.208, 1.353, 1.533, 1.753, 2.019, 2.335",\
                 "0.8362, 0.8585, 0.9195, 1.009, 1.125, 1.27, 1.449, 1.669, 1.935, 2.252",\
                 "0.7243, 0.7473, 0.8079, 0.8974, 1.013, 1.158, 1.338, 1.558, 1.823, 2.14",\
                 "0.5854, 0.6079, 0.6687, 0.7579, 0.8737, 1.019, 1.199, 1.418, 1.684, 2.001");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.04471, 0.1314, 0.2971, 0.5551, 0.9172, 1.394, 1.994, 2.727, 3.6");
          index_2("0.001, 0.011, 0.0461, 0.1131, 0.2175, 0.3641, 0.5569, 0.7997, 1.096, 1.45");
          values("1.141, 1.16, 1.212, 1.299, 1.433, 1.626, 1.881, 2.205, 2.602, 3.077",\
                 "1.141, 1.16, 1.212, 1.299, 1.434, 1.626, 1.882, 2.205, 2.602, 3.076",\
                 "1.152, 1.171, 1.223, 1.31, 1.445, 1.637, 1.893, 2.217, 2.613, 3.088",\
                 "1.197, 1.216, 1.268, 1.355, 1.49, 1.682, 1.938, 2.262, 2.659, 3.132",\
                 "1.285, 1.304, 1.356, 1.443, 1.578, 1.77, 2.026, 2.35, 2.747, 3.221",\
                 "1.416, 1.435, 1.487, 1.574, 1.708, 1.901, 2.156, 2.48, 2.877, 3.351",\
                 "1.586, 1.605, 1.657, 1.744, 1.878, 2.071, 2.326, 2.65, 3.047, 3.521",\
                 "1.792, 1.811, 1.862, 1.949, 2.083, 2.276, 2.531, 2.855, 3.253, 3.726",\
                 "2.029, 2.048, 2.1, 2.187, 2.321, 2.513, 2.769, 3.093, 3.49, 3.964",\
                 "2.3, 2.319, 2.371, 2.458, 2.592, 2.785, 3.041, 3.364, 3.761, 4.235");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.04471, 0.1314, 0.2971, 0.5551, 0.9172, 1.394, 1.994, 2.727, 3.6");
          index_2("0.001, 0.011, 0.0461, 0.1131, 0.2175, 0.3641, 0.5569, 0.7997, 1.096, 1.45");
          values("0.1402, 0.1673, 0.2359, 0.3354, 0.4737, 0.6696, 0.939, 1.289, 1.731, 2.267",\
                 "0.1402, 0.1675, 0.2358, 0.3353, 0.4743, 0.6692, 0.9392, 1.289, 1.731, 2.266",\
                 "0.1408, 0.1678, 0.2356, 0.3358, 0.474, 0.67, 0.939, 1.29, 1.73, 2.267",\
                 "0.1402, 0.1675, 0.2357, 0.3352, 0.4742, 0.6698, 0.939, 1.289, 1.731, 2.267",\
                 "0.1401, 0.1678, 0.236, 0.3356, 0.4742, 0.6702, 0.9392, 1.288, 1.731, 2.267",\
                 "0.1406, 0.1676, 0.236, 0.336, 0.4752, 0.6706, 0.9396, 1.29, 1.731, 2.267",\
                 "0.1422, 0.1694, 0.238, 0.3378, 0.476, 0.671, 0.9398, 1.291, 1.732, 2.267",\
                 "0.144, 0.1722, 0.2408, 0.3398, 0.478, 0.6726, 0.9396, 1.29, 1.732, 2.267",\
                 "0.147, 0.1748, 0.243, 0.343, 0.4806, 0.6746, 0.9418, 1.291, 1.73, 2.264",\
                 "0.1498, 0.178, 0.2468, 0.347, 0.4838, 0.6774, 0.9442, 1.293, 1.731, 2.265");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.04471, 0.1314, 0.2971, 0.5551, 0.9172, 1.394, 1.994, 2.727, 3.6");
          index_2("0.001, 0.011, 0.0461, 0.1131, 0.2175, 0.3641, 0.5569, 0.7997, 1.096, 1.45");
          values("0.1086, 0.1347, 0.211, 0.3553, 0.5966, 0.9482, 1.422, 2.018, 2.752, 3.625",\
                 "0.1077, 0.1353, 0.211, 0.3547, 0.5959, 0.9484, 1.422, 2.02, 2.752, 3.624",\
                 "0.1081, 0.1349, 0.211, 0.3551, 0.5958, 0.9478, 1.42, 2.021, 2.75, 3.624",\
                 "0.1086, 0.1348, 0.211, 0.3548, 0.596, 0.9478, 1.423, 2.021, 2.752, 3.625",\
                 "0.1086, 0.1346, 0.2112, 0.3554, 0.596, 0.9494, 1.423, 2.021, 2.752, 3.623",\
                 "0.1092, 0.1352, 0.2118, 0.3564, 0.5964, 0.9496, 1.422, 2.021, 2.749, 3.623",\
                 "0.1102, 0.1366, 0.2134, 0.3572, 0.5974, 0.9488, 1.423, 2.021, 2.748, 3.622",\
                 "0.1134, 0.1398, 0.2172, 0.3604, 0.5996, 0.9508, 1.423, 2.018, 2.751, 3.625",\
                 "0.1176, 0.145, 0.2226, 0.3648, 0.6028, 0.9518, 1.422, 2.019, 2.749, 3.625",\
                 "0.123, 0.1508, 0.2294, 0.3704, 0.6078, 0.9552, 1.423, 2.019, 2.753, 3.625");
        }
      }

      timing() {
        related_pin : "A1" ;
        sdf_cond : "A2===1'b0 && A3===1'b1" ;
        timing_sense : positive_unate ;
        timing_type : combinational ;
        when : "!A2&A3" ;

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.04471, 0.1314, 0.2971, 0.5551, 0.9172, 1.394, 1.994, 2.727, 3.6");
          index_2("0.001, 0.011, 0.0461, 0.1131, 0.2175, 0.3641, 0.5569, 0.7997, 1.096, 1.45");
          values("0.8693, 0.8929, 0.9566, 1.05, 1.168, 1.315, 1.495, 1.715, 1.981, 2.297",\
                 "0.8693, 0.8928, 0.9567, 1.049, 1.168, 1.315, 1.495, 1.715, 1.981, 2.297",\
                 "0.8806, 0.9042, 0.9679, 1.061, 1.18, 1.326, 1.506, 1.726, 1.992, 2.308",\
                 "0.9261, 0.9496, 1.013, 1.106, 1.225, 1.371, 1.552, 1.772, 2.037, 2.354",\
                 "1.014, 1.037, 1.101, 1.194, 1.313, 1.459, 1.639, 1.859, 2.125, 2.441",\
                 "1.143, 1.167, 1.231, 1.324, 1.442, 1.589, 1.769, 1.989, 2.255, 2.571",\
                 "1.312, 1.336, 1.4, 1.492, 1.611, 1.758, 1.938, 2.158, 2.424, 2.74",\
                 "1.516, 1.539, 1.603, 1.696, 1.814, 1.961, 2.141, 2.361, 2.627, 2.943",\
                 "1.751, 1.775, 1.838, 1.931, 2.05, 2.196, 2.376, 2.596, 2.862, 3.178",\
                 "2.019, 2.042, 2.106, 2.2, 2.318, 2.465, 2.644, 2.864, 3.13, 3.446");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.04471, 0.1314, 0.2971, 0.5551, 0.9172, 1.394, 1.994, 2.727, 3.6");
          index_2("0.001, 0.011, 0.0461, 0.1131, 0.2175, 0.3641, 0.5569, 0.7997, 1.096, 1.45");
          values("0.8677, 0.8901, 0.9507, 1.045, 1.183, 1.375, 1.63, 1.953, 2.349, 2.822",\
                 "0.871, 0.8931, 0.9538, 1.048, 1.186, 1.378, 1.633, 1.956, 2.352, 2.825",\
                 "0.8795, 0.9016, 0.9622, 1.057, 1.195, 1.387, 1.642, 1.965, 2.36, 2.834",\
                 "0.88, 0.9022, 0.9631, 1.057, 1.195, 1.388, 1.642, 1.965, 2.361, 2.834",\
                 "0.8636, 0.8858, 0.9467, 1.041, 1.179, 1.371, 1.626, 1.949, 2.345, 2.818",\
                 "0.8299, 0.8522, 0.9126, 1.007, 1.145, 1.337, 1.592, 1.915, 2.311, 2.785",\
                 "0.775, 0.7972, 0.8576, 0.9519, 1.09, 1.282, 1.537, 1.86, 2.256, 2.73",\
                 "0.6913, 0.7136, 0.7742, 0.8683, 1.006, 1.199, 1.453, 1.776, 2.172, 2.646",\
                 "0.5791, 0.6013, 0.6611, 0.7556, 0.8934, 1.086, 1.34, 1.664, 2.06, 2.532",\
                 "0.4386, 0.4606, 0.521, 0.6151, 0.7526, 0.945, 1.2, 1.523, 1.919, 2.392");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.04471, 0.1314, 0.2971, 0.5551, 0.9172, 1.394, 1.994, 2.727, 3.6");
          index_2("0.001, 0.011, 0.0461, 0.1131, 0.2175, 0.3641, 0.5569, 0.7997, 1.096, 1.45");
          values("0.1388, 0.1654, 0.2338, 0.333, 0.4724, 0.669, 0.9376, 1.287, 1.732, 2.266",\
                 "0.139, 0.1654, 0.2337, 0.3338, 0.4724, 0.6678, 0.9378, 1.29, 1.73, 2.268",\
                 "0.1383, 0.1652, 0.234, 0.3334, 0.4728, 0.6684, 0.9382, 1.288, 1.73, 2.267",\
                 "0.1384, 0.1658, 0.2336, 0.333, 0.4722, 0.6678, 0.9382, 1.288, 1.732, 2.268",\
                 "0.139, 0.1658, 0.234, 0.333, 0.4722, 0.668, 0.938, 1.288, 1.73, 2.268",\
                 "0.138, 0.1656, 0.2338, 0.333, 0.4724, 0.6678, 0.9374, 1.288, 1.731, 2.267",\
                 "0.1382, 0.165, 0.2336, 0.3336, 0.4728, 0.6684, 0.9372, 1.287, 1.73, 2.268",\
                 "0.1384, 0.1658, 0.2334, 0.3336, 0.4724, 0.669, 0.9382, 1.289, 1.731, 2.268",\
                 "0.1388, 0.1658, 0.2344, 0.3338, 0.4726, 0.6688, 0.9374, 1.288, 1.731, 2.268",\
                 "0.139, 0.1658, 0.2346, 0.3346, 0.4734, 0.6688, 0.9366, 1.289, 1.731, 2.264");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.04471, 0.1314, 0.2971, 0.5551, 0.9172, 1.394, 1.994, 2.727, 3.6");
          index_2("0.001, 0.011, 0.0461, 0.1131, 0.2175, 0.3641, 0.5569, 0.7997, 1.096, 1.45");
          values("0.1099, 0.1365, 0.2132, 0.3568, 0.5972, 0.9484, 1.423, 2.018, 2.752, 3.623",\
                 "0.1104, 0.1363, 0.2135, 0.3568, 0.5976, 0.9502, 1.423, 2.02, 2.752, 3.625",\
                 "0.1099, 0.1363, 0.2131, 0.3576, 0.5972, 0.9496, 1.423, 2.021, 2.752, 3.623",\
                 "0.1104, 0.1368, 0.2132, 0.3566, 0.5976, 0.9484, 1.424, 2.021, 2.752, 3.625",\
                 "0.1098, 0.1362, 0.213, 0.3574, 0.597, 0.9486, 1.421, 2.019, 2.751, 3.625",\
                 "0.1086, 0.1352, 0.2128, 0.3568, 0.5982, 0.9488, 1.422, 2.018, 2.752, 3.625",\
                 "0.1092, 0.1352, 0.2122, 0.3564, 0.597, 0.9488, 1.422, 2.02, 2.752, 3.624",\
                 "0.1084, 0.1352, 0.212, 0.3554, 0.5976, 0.9484, 1.42, 2.019, 2.749, 3.625",\
                 "0.1088, 0.1342, 0.2122, 0.3554, 0.5964, 0.949, 1.421, 2.018, 2.751, 3.622",\
                 "0.1086, 0.1342, 0.2112, 0.355, 0.5958, 0.9478, 1.421, 2.02, 2.749, 3.621");
        }
      }

      timing() {
        related_pin : "A1" ;
        sdf_cond : "A2===1'b1 && A3===1'b0" ;
        timing_sense : positive_unate ;
        timing_type : combinational ;
        when : "A2&!A3" ;

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.04471, 0.1314, 0.2971, 0.5551, 0.9172, 1.394, 1.994, 2.727, 3.6");
          index_2("0.001, 0.011, 0.0461, 0.1131, 0.2175, 0.3641, 0.5569, 0.7997, 1.096, 1.45");
          values("0.853, 0.8757, 0.9368, 1.027, 1.142, 1.287, 1.467, 1.686, 1.952, 2.269",\
                 "0.8573, 0.8797, 0.9407, 1.03, 1.146, 1.291, 1.47, 1.69, 1.956, 2.273",\
                 "0.8758, 0.8983, 0.9592, 1.049, 1.165, 1.309, 1.489, 1.709, 1.975, 2.291",\
                 "0.9233, 0.9454, 1.007, 1.096, 1.212, 1.357, 1.536, 1.756, 2.022, 2.339",\
                 "1.008, 1.031, 1.092, 1.181, 1.297, 1.442, 1.622, 1.841, 2.107, 2.424",\
                 "1.131, 1.154, 1.215, 1.304, 1.42, 1.565, 1.744, 1.964, 2.23, 2.547",\
                 "1.286, 1.308, 1.369, 1.459, 1.574, 1.719, 1.899, 2.119, 2.385, 2.701",\
                 "1.467, 1.489, 1.55, 1.639, 1.755, 1.9, 2.08, 2.299, 2.565, 2.882",\
                 "1.671, 1.693, 1.754, 1.844, 1.959, 2.104, 2.284, 2.503, 2.769, 3.086",\
                 "1.899, 1.921, 1.983, 2.072, 2.187, 2.332, 2.511, 2.731, 2.997, 3.313");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.04471, 0.1314, 0.2971, 0.5551, 0.9172, 1.394, 1.994, 2.727, 3.6");
          index_2("0.001, 0.011, 0.0461, 0.1131, 0.2175, 0.3641, 0.5569, 0.7997, 1.096, 1.45");
          values("0.8981, 0.9172, 0.9695, 1.056, 1.191, 1.383, 1.639, 1.963, 2.36, 2.833",\
                 "0.9013, 0.9204, 0.9726, 1.059, 1.194, 1.386, 1.642, 1.966, 2.363, 2.836",\
                 "0.913, 0.932, 0.9842, 1.071, 1.205, 1.398, 1.653, 1.978, 2.374, 2.848",\
                 "0.9379, 0.957, 1.009, 1.096, 1.231, 1.423, 1.678, 2.002, 2.399, 2.874",\
                 "0.9731, 0.9922, 1.044, 1.131, 1.265, 1.458, 1.713, 2.037, 2.434, 2.909",\
                 "1.005, 1.024, 1.076, 1.162, 1.297, 1.489, 1.745, 2.069, 2.466, 2.94",\
                 "1.024, 1.043, 1.094, 1.181, 1.316, 1.508, 1.764, 2.087, 2.484, 2.958",\
                 "1.025, 1.044, 1.096, 1.183, 1.317, 1.51, 1.765, 2.09, 2.486, 2.96",\
                 "1.006, 1.025, 1.077, 1.164, 1.299, 1.49, 1.746, 2.07, 2.467, 2.941",\
                 "0.9654, 0.9842, 1.036, 1.123, 1.257, 1.449, 1.705, 2.029, 2.425, 2.899");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.04471, 0.1314, 0.2971, 0.5551, 0.9172, 1.394, 1.994, 2.727, 3.6");
          index_2("0.001, 0.011, 0.0461, 0.1131, 0.2175, 0.3641, 0.5569, 0.7997, 1.096, 1.45");
          values("0.1281, 0.1535, 0.2193, 0.317, 0.4586, 0.6596, 0.9314, 1.286, 1.73, 2.263",\
                 "0.128, 0.1539, 0.2197, 0.3172, 0.4584, 0.6596, 0.9322, 1.285, 1.729, 2.264",\
                 "0.1283, 0.1541, 0.2193, 0.3174, 0.4586, 0.659, 0.9318, 1.286, 1.73, 2.265",\
                 "0.1284, 0.1536, 0.2194, 0.3174, 0.4586, 0.6592, 0.9322, 1.285, 1.729, 2.266",\
                 "0.1284, 0.1538, 0.2188, 0.3174, 0.4586, 0.6592, 0.9324, 1.284, 1.729, 2.266",\
                 "0.1284, 0.1542, 0.2196, 0.317, 0.4586, 0.659, 0.9316, 1.286, 1.73, 2.266",\
                 "0.1286, 0.1542, 0.2188, 0.3174, 0.4584, 0.6586, 0.9318, 1.285, 1.728, 2.263",\
                 "0.1282, 0.1542, 0.2194, 0.3172, 0.4588, 0.659, 0.931, 1.284, 1.729, 2.266",\
                 "0.1284, 0.1542, 0.2198, 0.3176, 0.4582, 0.6588, 0.9306, 1.284, 1.728, 2.265",\
                 "0.1286, 0.1544, 0.22, 0.3176, 0.459, 0.6586, 0.9316, 1.285, 1.727, 2.264");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.04471, 0.1314, 0.2971, 0.5551, 0.9172, 1.394, 1.994, 2.727, 3.6");
          index_2("0.001, 0.011, 0.0461, 0.1131, 0.2175, 0.3641, 0.5569, 0.7997, 1.096, 1.45");
          values("0.0888, 0.1109, 0.1805, 0.33, 0.5808, 0.9412, 1.417, 2.014, 2.747, 3.615",\
                 "0.08878, 0.1103, 0.1805, 0.3302, 0.5808, 0.9408, 1.417, 2.014, 2.747, 3.615",\
                 "0.08876, 0.1104, 0.1804, 0.33, 0.5804, 0.9402, 1.417, 2.016, 2.748, 3.616",\
                 "0.089, 0.111, 0.1802, 0.3298, 0.581, 0.9412, 1.417, 2.016, 2.743, 3.617",\
                 "0.0886, 0.1108, 0.1808, 0.33, 0.5806, 0.941, 1.417, 2.015, 2.746, 3.617",\
                 "0.0888, 0.111, 0.1808, 0.3298, 0.5806, 0.9398, 1.416, 2.013, 2.749, 3.617",\
                 "0.0882, 0.1098, 0.1806, 0.3304, 0.5808, 0.9402, 1.417, 2.013, 2.746, 3.622",\
                 "0.0884, 0.1106, 0.1808, 0.3304, 0.581, 0.9414, 1.418, 2.016, 2.745, 3.62",\
                 "0.0886, 0.1114, 0.1808, 0.3304, 0.581, 0.9404, 1.415, 2.014, 2.745, 3.622",\
                 "0.0884, 0.11, 0.181, 0.33, 0.5814, 0.9414, 1.415, 2.014, 2.746, 3.618");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.04471, 0.1314, 0.2971, 0.5551, 0.9172, 1.394, 1.994, 2.727, 3.6");
          index_2("0.001, 0.011, 0.0461, 0.1131, 0.2175, 0.3641, 0.5569, 0.7997, 1.096, 1.45");
          values("0.8693, 0.8929, 0.9566, 1.05, 1.168, 1.315, 1.495, 1.715, 1.981, 2.297",\
                 "0.8693, 0.8928, 0.9567, 1.049, 1.168, 1.315, 1.495, 1.715, 1.981, 2.297",\
                 "0.8806, 0.9042, 0.9679, 1.061, 1.18, 1.326, 1.506, 1.726, 1.992, 2.308",\
                 "0.9261, 0.9496, 1.013, 1.106, 1.225, 1.371, 1.552, 1.772, 2.037, 2.354",\
                 "1.014, 1.037, 1.101, 1.194, 1.313, 1.459, 1.639, 1.859, 2.125, 2.441",\
                 "1.143, 1.167, 1.231, 1.324, 1.442, 1.589, 1.769, 1.989, 2.255, 2.571",\
                 "1.312, 1.336, 1.4, 1.492, 1.611, 1.758, 1.938, 2.158, 2.424, 2.74",\
                 "1.516, 1.539, 1.603, 1.696, 1.814, 1.961, 2.141, 2.361, 2.627, 2.943",\
                 "1.751, 1.775, 1.838, 1.931, 2.05, 2.196, 2.376, 2.596, 2.862, 3.178",\
                 "2.019, 2.042, 2.106, 2.2, 2.318, 2.465, 2.644, 2.864, 3.13, 3.446");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.04471, 0.1314, 0.2971, 0.5551, 0.9172, 1.394, 1.994, 2.727, 3.6");
          index_2("0.001, 0.011, 0.0461, 0.1131, 0.2175, 0.3641, 0.5569, 0.7997, 1.096, 1.45");
          values("0.8981, 0.9172, 0.9695, 1.056, 1.191, 1.383, 1.639, 1.963, 2.36, 2.833",\
                 "0.9013, 0.9204, 0.9726, 1.059, 1.194, 1.386, 1.642, 1.966, 2.363, 2.836",\
                 "0.913, 0.932, 0.9842, 1.071, 1.205, 1.398, 1.653, 1.978, 2.374, 2.848",\
                 "0.9379, 0.957, 1.009, 1.096, 1.231, 1.423, 1.678, 2.002, 2.399, 2.874",\
                 "0.9731, 0.9922, 1.044, 1.131, 1.265, 1.458, 1.713, 2.037, 2.434, 2.909",\
                 "1.005, 1.024, 1.076, 1.162, 1.297, 1.489, 1.745, 2.069, 2.466, 2.94",\
                 "1.024, 1.043, 1.094, 1.181, 1.316, 1.508, 1.764, 2.087, 2.484, 2.958",\
                 "1.025, 1.044, 1.096, 1.183, 1.317, 1.51, 1.765, 2.09, 2.486, 2.96",\
                 "1.006, 1.025, 1.077, 1.164, 1.299, 1.49, 1.746, 2.07, 2.467, 2.941",\
                 "0.9654, 0.9842, 1.036, 1.123, 1.257, 1.449, 1.705, 2.029, 2.425, 2.899");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.04471, 0.1314, 0.2971, 0.5551, 0.9172, 1.394, 1.994, 2.727, 3.6");
          index_2("0.001, 0.011, 0.0461, 0.1131, 0.2175, 0.3641, 0.5569, 0.7997, 1.096, 1.45");
          values("0.1388, 0.1654, 0.2338, 0.333, 0.4724, 0.669, 0.9376, 1.287, 1.732, 2.266",\
                 "0.139, 0.1654, 0.2337, 0.3338, 0.4724, 0.6678, 0.9378, 1.29, 1.73, 2.268",\
                 "0.1383, 0.1652, 0.234, 0.3334, 0.4728, 0.6684, 0.9382, 1.288, 1.73, 2.267",\
                 "0.1384, 0.1658, 0.2336, 0.333, 0.4722, 0.6678, 0.9382, 1.288, 1.732, 2.268",\
                 "0.139, 0.1658, 0.234, 0.333, 0.4722, 0.668, 0.938, 1.288, 1.73, 2.268",\
                 "0.138, 0.1656, 0.2338, 0.333, 0.4724, 0.6678, 0.9374, 1.288, 1.731, 2.267",\
                 "0.1382, 0.165, 0.2336, 0.3336, 0.4728, 0.6684, 0.9372, 1.287, 1.73, 2.268",\
                 "0.1384, 0.1658, 0.2334, 0.3336, 0.4724, 0.669, 0.9382, 1.289, 1.731, 2.268",\
                 "0.1388, 0.1658, 0.2344, 0.3338, 0.4726, 0.6688, 0.9374, 1.288, 1.731, 2.268",\
                 "0.139, 0.1658, 0.2346, 0.3346, 0.4734, 0.6688, 0.9366, 1.289, 1.731, 2.264");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.04471, 0.1314, 0.2971, 0.5551, 0.9172, 1.394, 1.994, 2.727, 3.6");
          index_2("0.001, 0.011, 0.0461, 0.1131, 0.2175, 0.3641, 0.5569, 0.7997, 1.096, 1.45");
          values("0.1099, 0.1365, 0.2132, 0.3568, 0.5972, 0.9484, 1.423, 2.018, 2.752, 3.623",\
                 "0.1104, 0.1363, 0.2135, 0.3568, 0.5976, 0.9502, 1.423, 2.02, 2.752, 3.625",\
                 "0.1099, 0.1363, 0.2131, 0.3576, 0.5972, 0.9496, 1.423, 2.021, 2.752, 3.623",\
                 "0.1104, 0.1368, 0.2132, 0.3566, 0.5976, 0.9484, 1.424, 2.021, 2.752, 3.625",\
                 "0.1098, 0.1362, 0.213, 0.3574, 0.597, 0.9486, 1.421, 2.019, 2.751, 3.625",\
                 "0.1086, 0.1352, 0.2128, 0.3568, 0.5982, 0.9488, 1.422, 2.018, 2.752, 3.625",\
                 "0.1092, 0.1352, 0.2122, 0.3564, 0.597, 0.9488, 1.422, 2.02, 2.752, 3.624",\
                 "0.1084, 0.1352, 0.212, 0.3554, 0.5976, 0.9484, 1.42, 2.019, 2.749, 3.625",\
                 "0.1088, 0.1342, 0.2122, 0.3554, 0.5964, 0.949, 1.421, 2.018, 2.751, 3.622",\
                 "0.1086, 0.1342, 0.2112, 0.355, 0.5958, 0.9478, 1.421, 2.02, 2.749, 3.621");
        }
      }

      timing() {
        related_pin : "A2" ;
        sdf_cond : "A1===1'b0 && A3===1'b0" ;
        timing_sense : negative_unate ;
        timing_type : combinational ;
        when : "!A1&!A3" ;

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.04471, 0.1314, 0.2971, 0.5551, 0.9172, 1.394, 1.994, 2.727, 3.6");
          index_2("0.001, 0.011, 0.0461, 0.1131, 0.2175, 0.3641, 0.5569, 0.7997, 1.096, 1.45");
          values("0.9753, 0.9976, 1.059, 1.148, 1.264, 1.409, 1.589, 1.808, 2.074, 2.391",\
                 "0.9791, 1.001, 1.063, 1.152, 1.268, 1.413, 1.592, 1.812, 2.078, 2.394",\
                 "0.989, 1.011, 1.073, 1.162, 1.278, 1.423, 1.602, 1.822, 2.088, 2.405",\
                 "0.9898, 1.012, 1.073, 1.163, 1.278, 1.423, 1.603, 1.823, 2.089, 2.405",\
                 "0.9707, 0.993, 1.054, 1.143, 1.259, 1.404, 1.584, 1.804, 2.07, 2.386",\
                 "0.9287, 0.9512, 1.012, 1.102, 1.217, 1.362, 1.542, 1.762, 2.028, 2.344",\
                 "0.8592, 0.8817, 0.9427, 1.032, 1.148, 1.293, 1.473, 1.692, 1.958, 2.275",\
                 "0.7601, 0.7826, 0.8434, 0.9329, 1.049, 1.194, 1.373, 1.593, 1.859, 2.176",\
                 "0.6286, 0.6511, 0.7121, 0.8013, 0.9173, 1.062, 1.242, 1.462, 1.728, 2.044",\
                 "0.4655, 0.4879, 0.5487, 0.6382, 0.7541, 0.8991, 1.079, 1.299, 1.564, 1.881");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.04471, 0.1314, 0.2971, 0.5551, 0.9172, 1.394, 1.994, 2.727, 3.6");
          index_2("0.001, 0.011, 0.0461, 0.1131, 0.2175, 0.3641, 0.5569, 0.7997, 1.096, 1.45");
          values("1.115, 1.134, 1.185, 1.272, 1.407, 1.599, 1.855, 2.179, 2.576, 3.049",\
                 "1.117, 1.136, 1.187, 1.274, 1.409, 1.602, 1.857, 2.181, 2.578, 3.052",\
                 "1.14, 1.16, 1.211, 1.298, 1.433, 1.625, 1.881, 2.205, 2.602, 3.075",\
                 "1.204, 1.223, 1.275, 1.362, 1.497, 1.689, 1.945, 2.269, 2.665, 3.14",\
                 "1.311, 1.33, 1.382, 1.469, 1.603, 1.796, 2.051, 2.375, 2.772, 3.247",\
                 "1.46, 1.479, 1.531, 1.618, 1.753, 1.945, 2.201, 2.525, 2.921, 3.396",\
                 "1.652, 1.671, 1.723, 1.81, 1.945, 2.137, 2.393, 2.717, 3.114, 3.588",\
                 "1.886, 1.905, 1.957, 2.043, 2.178, 2.371, 2.626, 2.95, 3.347, 3.821",\
                 "2.16, 2.179, 2.231, 2.317, 2.452, 2.644, 2.9, 3.224, 3.621, 4.095",\
                 "2.474, 2.493, 2.545, 2.631, 2.766, 2.958, 3.214, 3.538, 3.935, 4.408");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.04471, 0.1314, 0.2971, 0.5551, 0.9172, 1.394, 1.994, 2.727, 3.6");
          index_2("0.001, 0.011, 0.0461, 0.1131, 0.2175, 0.3641, 0.5569, 0.7997, 1.096, 1.45");
          values("0.1283, 0.1539, 0.2192, 0.3172, 0.4586, 0.6594, 0.9316, 1.285, 1.73, 2.265",\
                 "0.1278, 0.1539, 0.2186, 0.317, 0.4584, 0.6586, 0.9308, 1.284, 1.729, 2.265",\
                 "0.1284, 0.1536, 0.2196, 0.3172, 0.4586, 0.6594, 0.9314, 1.284, 1.73, 2.263",\
                 "0.128, 0.154, 0.2194, 0.317, 0.4586, 0.659, 0.9324, 1.284, 1.729, 2.265",\
                 "0.128, 0.1538, 0.2196, 0.3174, 0.4584, 0.6592, 0.9318, 1.285, 1.729, 2.265",\
                 "0.128, 0.154, 0.2188, 0.317, 0.4584, 0.6586, 0.9324, 1.285, 1.727, 2.265",\
                 "0.128, 0.154, 0.2198, 0.3168, 0.458, 0.6584, 0.932, 1.283, 1.73, 2.266",\
                 "0.1278, 0.1536, 0.2192, 0.3172, 0.458, 0.6588, 0.93, 1.284, 1.729, 2.266",\
                 "0.128, 0.1536, 0.2196, 0.3174, 0.458, 0.658, 0.931, 1.284, 1.726, 2.262",\
                 "0.1284, 0.1538, 0.2192, 0.3172, 0.4584, 0.6584, 0.9308, 1.286, 1.727, 2.262");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.04471, 0.1314, 0.2971, 0.5551, 0.9172, 1.394, 1.994, 2.727, 3.6");
          index_2("0.001, 0.011, 0.0461, 0.1131, 0.2175, 0.3641, 0.5569, 0.7997, 1.096, 1.45");
          values("0.0886, 0.11, 0.18, 0.3296, 0.581, 0.9406, 1.417, 2.016, 2.745, 3.616",\
                 "0.0884, 0.1102, 0.18, 0.3296, 0.5808, 0.9406, 1.417, 2.016, 2.746, 3.617",\
                 "0.0886, 0.1098, 0.1804, 0.3296, 0.581, 0.941, 1.416, 2.015, 2.746, 3.614",\
                 "0.0884, 0.1104, 0.18, 0.3296, 0.581, 0.941, 1.417, 2.016, 2.745, 3.617",\
                 "0.0884, 0.11, 0.1804, 0.3298, 0.5818, 0.9402, 1.416, 2.016, 2.744, 3.616",\
                 "0.0882, 0.1102, 0.1802, 0.33, 0.5808, 0.9402, 1.417, 2.015, 2.746, 3.616",\
                 "0.088, 0.1102, 0.1808, 0.3296, 0.581, 0.9402, 1.417, 2.015, 2.746, 3.616",\
                 "0.088, 0.1096, 0.1798, 0.3294, 0.5808, 0.9404, 1.416, 2.015, 2.749, 3.622",\
                 "0.0882, 0.1096, 0.1798, 0.3296, 0.582, 0.9402, 1.415, 2.016, 2.745, 3.617",\
                 "0.0878, 0.1104, 0.1802, 0.3296, 0.582, 0.9404, 1.418, 2.015, 2.747, 3.615");
        }
      }

      timing() {
        related_pin : "A2" ;
        sdf_cond : "A1===1'b1 && A3===1'b1" ;
        timing_sense : negative_unate ;
        timing_type : combinational ;
        when : "A1&A3" ;

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.04471, 0.1314, 0.2971, 0.5551, 0.9172, 1.394, 1.994, 2.727, 3.6");
          index_2("0.001, 0.011, 0.0461, 0.1131, 0.2175, 0.3641, 0.5569, 0.7997, 1.096, 1.45");
          values("0.6317, 0.6554, 0.719, 0.812, 0.9306, 1.077, 1.257, 1.477, 1.743, 2.059",\
                 "0.6334, 0.6571, 0.7207, 0.8138, 0.9325, 1.079, 1.259, 1.479, 1.745, 2.061",\
                 "0.6368, 0.6605, 0.7239, 0.8168, 0.9356, 1.082, 1.262, 1.482, 1.748, 2.064",\
                 "0.6439, 0.6673, 0.731, 0.8238, 0.9425, 1.089, 1.269, 1.489, 1.755, 2.071",\
                 "0.6542, 0.6779, 0.7414, 0.8339, 0.9528, 1.099, 1.279, 1.499, 1.765, 2.081",\
                 "0.6581, 0.6818, 0.745, 0.8378, 0.9565, 1.103, 1.283, 1.503, 1.769, 2.085",\
                 "0.6465, 0.6701, 0.7337, 0.8262, 0.9448, 1.091, 1.271, 1.491, 1.757, 2.073",\
                 "0.6127, 0.6365, 0.7001, 0.7925, 0.9113, 1.058, 1.238, 1.457, 1.723, 2.039",\
                 "0.5532, 0.577, 0.6408, 0.7336, 0.8523, 0.9986, 1.179, 1.398, 1.663, 1.979",\
                 "0.4668, 0.4904, 0.5549, 0.6476, 0.7668, 0.9133, 1.093, 1.313, 1.578, 1.893");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.04471, 0.1314, 0.2971, 0.5551, 0.9172, 1.394, 1.994, 2.727, 3.6");
          index_2("0.001, 0.011, 0.0461, 0.1131, 0.2175, 0.3641, 0.5569, 0.7997, 1.096, 1.45");
          values("0.737, 0.7595, 0.8204, 0.9148, 1.053, 1.245, 1.5, 1.823, 2.218, 2.692",\
                 "0.7408, 0.7632, 0.8238, 0.9184, 1.056, 1.248, 1.503, 1.826, 2.222, 2.696",\
                 "0.7603, 0.7826, 0.8435, 0.9378, 1.076, 1.268, 1.523, 1.846, 2.241, 2.714",\
                 "0.8094, 0.8318, 0.8927, 0.987, 1.125, 1.317, 1.572, 1.894, 2.291, 2.763",\
                 "0.8988, 0.9214, 0.9819, 1.076, 1.215, 1.407, 1.661, 1.984, 2.38, 2.853",\
                 "1.033, 1.055, 1.116, 1.211, 1.348, 1.54, 1.795, 2.118, 2.514, 2.987",\
                 "1.21, 1.233, 1.294, 1.388, 1.526, 1.717, 1.972, 2.294, 2.69, 3.163",\
                 "1.426, 1.449, 1.51, 1.605, 1.743, 1.934, 2.187, 2.509, 2.905, 3.377",\
                 "1.676, 1.7, 1.762, 1.857, 1.995, 2.186, 2.439, 2.76, 3.155, 3.627",\
                 "1.961, 1.985, 2.048, 2.144, 2.282, 2.473, 2.725, 3.045, 3.439, 3.911");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.04471, 0.1314, 0.2971, 0.5551, 0.9172, 1.394, 1.994, 2.727, 3.6");
          index_2("0.001, 0.011, 0.0461, 0.1131, 0.2175, 0.3641, 0.5569, 0.7997, 1.096, 1.45");
          values("0.1401, 0.1675, 0.2358, 0.3353, 0.4742, 0.6693, 0.939, 1.289, 1.731, 2.266",\
                 "0.1401, 0.1672, 0.2359, 0.3353, 0.4741, 0.6694, 0.9388, 1.289, 1.731, 2.266",\
                 "0.1408, 0.1675, 0.2358, 0.3354, 0.4744, 0.6694, 0.939, 1.29, 1.731, 2.267",\
                 "0.1404, 0.1679, 0.2361, 0.3356, 0.474, 0.6702, 0.939, 1.289, 1.731, 2.267",\
                 "0.1402, 0.1677, 0.236, 0.336, 0.4742, 0.6702, 0.9386, 1.29, 1.731, 2.267",\
                 "0.1408, 0.1678, 0.2364, 0.3358, 0.475, 0.6702, 0.9388, 1.29, 1.731, 2.267",\
                 "0.1422, 0.1696, 0.2386, 0.338, 0.4764, 0.6712, 0.9394, 1.291, 1.732, 2.267",\
                 "0.1448, 0.172, 0.2416, 0.3406, 0.479, 0.673, 0.9406, 1.289, 1.732, 2.267",\
                 "0.1476, 0.1752, 0.2438, 0.3434, 0.4816, 0.675, 0.9418, 1.292, 1.73, 2.264",\
                 "0.151, 0.179, 0.2482, 0.3478, 0.4846, 0.6784, 0.945, 1.293, 1.731, 2.265");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.04471, 0.1314, 0.2971, 0.5551, 0.9172, 1.394, 1.994, 2.727, 3.6");
          index_2("0.001, 0.011, 0.0461, 0.1131, 0.2175, 0.3641, 0.5569, 0.7997, 1.096, 1.45");
          values("0.1099, 0.1371, 0.2131, 0.3567, 0.5977, 0.9486, 1.423, 2.02, 2.752, 3.625",\
                 "0.1102, 0.1372, 0.2129, 0.3577, 0.597, 0.9488, 1.422, 2.018, 2.752, 3.623",\
                 "0.1101, 0.1368, 0.2133, 0.3567, 0.5972, 0.9506, 1.423, 2.021, 2.752, 3.624",\
                 "0.1099, 0.1369, 0.2132, 0.3568, 0.597, 0.9484, 1.423, 2.021, 2.752, 3.624",\
                 "0.1102, 0.1368, 0.2134, 0.3572, 0.5976, 0.9506, 1.423, 2.02, 2.752, 3.625",\
                 "0.1104, 0.137, 0.214, 0.358, 0.5982, 0.9484, 1.423, 2.019, 2.75, 3.619",\
                 "0.1116, 0.1382, 0.2152, 0.359, 0.5992, 0.9488, 1.423, 2.02, 2.748, 3.625",\
                 "0.1142, 0.1408, 0.2182, 0.3616, 0.6004, 0.9496, 1.424, 2.02, 2.751, 3.625",\
                 "0.1186, 0.1456, 0.2236, 0.365, 0.6036, 0.9514, 1.422, 2.021, 2.752, 3.625",\
                 "0.1236, 0.151, 0.2296, 0.3706, 0.6078, 0.9554, 1.425, 2.022, 2.751, 3.624");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.04471, 0.1314, 0.2971, 0.5551, 0.9172, 1.394, 1.994, 2.727, 3.6");
          index_2("0.001, 0.011, 0.0461, 0.1131, 0.2175, 0.3641, 0.5569, 0.7997, 1.096, 1.45");
          values("0.9753, 0.9976, 1.059, 1.148, 1.264, 1.409, 1.589, 1.808, 2.074, 2.391",\
                 "0.9791, 1.001, 1.063, 1.152, 1.268, 1.413, 1.592, 1.812, 2.078, 2.394",\
                 "0.989, 1.011, 1.073, 1.162, 1.278, 1.423, 1.602, 1.822, 2.088, 2.405",\
                 "0.9898, 1.012, 1.073, 1.163, 1.278, 1.423, 1.603, 1.823, 2.089, 2.405",\
                 "0.9707, 0.993, 1.054, 1.143, 1.259, 1.404, 1.584, 1.804, 2.07, 2.386",\
                 "0.9287, 0.9512, 1.012, 1.102, 1.217, 1.362, 1.542, 1.762, 2.028, 2.344",\
                 "0.8592, 0.8817, 0.9427, 1.032, 1.148, 1.293, 1.473, 1.692, 1.958, 2.275",\
                 "0.7601, 0.7826, 0.8434, 0.9329, 1.049, 1.194, 1.373, 1.593, 1.859, 2.176",\
                 "0.6286, 0.6511, 0.7121, 0.8013, 0.9173, 1.062, 1.242, 1.462, 1.728, 2.044",\
                 "0.4655, 0.4879, 0.5487, 0.6382, 0.7541, 0.8991, 1.079, 1.299, 1.564, 1.881");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.04471, 0.1314, 0.2971, 0.5551, 0.9172, 1.394, 1.994, 2.727, 3.6");
          index_2("0.001, 0.011, 0.0461, 0.1131, 0.2175, 0.3641, 0.5569, 0.7997, 1.096, 1.45");
          values("1.115, 1.134, 1.185, 1.272, 1.407, 1.599, 1.855, 2.179, 2.576, 3.049",\
                 "1.117, 1.136, 1.187, 1.274, 1.409, 1.602, 1.857, 2.181, 2.578, 3.052",\
                 "1.14, 1.16, 1.211, 1.298, 1.433, 1.625, 1.881, 2.205, 2.602, 3.075",\
                 "1.204, 1.223, 1.275, 1.362, 1.497, 1.689, 1.945, 2.269, 2.665, 3.14",\
                 "1.311, 1.33, 1.382, 1.469, 1.603, 1.796, 2.051, 2.375, 2.772, 3.247",\
                 "1.46, 1.479, 1.531, 1.618, 1.753, 1.945, 2.201, 2.525, 2.921, 3.396",\
                 "1.652, 1.671, 1.723, 1.81, 1.945, 2.137, 2.393, 2.717, 3.114, 3.588",\
                 "1.886, 1.905, 1.957, 2.043, 2.178, 2.371, 2.626, 2.95, 3.347, 3.821",\
                 "2.16, 2.179, 2.231, 2.317, 2.452, 2.644, 2.9, 3.224, 3.621, 4.095",\
                 "2.474, 2.493, 2.545, 2.631, 2.766, 2.958, 3.214, 3.538, 3.935, 4.408");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.04471, 0.1314, 0.2971, 0.5551, 0.9172, 1.394, 1.994, 2.727, 3.6");
          index_2("0.001, 0.011, 0.0461, 0.1131, 0.2175, 0.3641, 0.5569, 0.7997, 1.096, 1.45");
          values("0.1401, 0.1675, 0.2358, 0.3353, 0.4742, 0.6693, 0.939, 1.289, 1.731, 2.266",\
                 "0.1401, 0.1672, 0.2359, 0.3353, 0.4741, 0.6694, 0.9388, 1.289, 1.731, 2.266",\
                 "0.1408, 0.1675, 0.2358, 0.3354, 0.4744, 0.6694, 0.939, 1.29, 1.731, 2.267",\
                 "0.1404, 0.1679, 0.2361, 0.3356, 0.474, 0.6702, 0.939, 1.289, 1.731, 2.267",\
                 "0.1402, 0.1677, 0.236, 0.336, 0.4742, 0.6702, 0.9386, 1.29, 1.731, 2.267",\
                 "0.1408, 0.1678, 0.2364, 0.3358, 0.475, 0.6702, 0.9388, 1.29, 1.731, 2.267",\
                 "0.1422, 0.1696, 0.2386, 0.338, 0.4764, 0.6712, 0.9394, 1.291, 1.732, 2.267",\
                 "0.1448, 0.172, 0.2416, 0.3406, 0.479, 0.673, 0.9406, 1.289, 1.732, 2.267",\
                 "0.1476, 0.1752, 0.2438, 0.3434, 0.4816, 0.675, 0.9418, 1.292, 1.73, 2.264",\
                 "0.151, 0.179, 0.2482, 0.3478, 0.4846, 0.6784, 0.945, 1.293, 1.731, 2.265");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.04471, 0.1314, 0.2971, 0.5551, 0.9172, 1.394, 1.994, 2.727, 3.6");
          index_2("0.001, 0.011, 0.0461, 0.1131, 0.2175, 0.3641, 0.5569, 0.7997, 1.096, 1.45");
          values("0.1099, 0.1371, 0.2131, 0.3567, 0.5977, 0.9486, 1.423, 2.02, 2.752, 3.625",\
                 "0.1102, 0.1372, 0.2129, 0.3577, 0.597, 0.9488, 1.422, 2.018, 2.752, 3.623",\
                 "0.1101, 0.1368, 0.2133, 0.3567, 0.5972, 0.9506, 1.423, 2.021, 2.752, 3.624",\
                 "0.1099, 0.1369, 0.2132, 0.3568, 0.597, 0.9484, 1.423, 2.021, 2.752, 3.624",\
                 "0.1102, 0.1368, 0.2134, 0.3572, 0.5976, 0.9506, 1.423, 2.02, 2.752, 3.625",\
                 "0.1104, 0.137, 0.214, 0.358, 0.5982, 0.9484, 1.423, 2.019, 2.75, 3.619",\
                 "0.1116, 0.1382, 0.2152, 0.359, 0.5992, 0.9488, 1.423, 2.02, 2.748, 3.625",\
                 "0.1142, 0.1408, 0.2182, 0.3616, 0.6004, 0.9496, 1.424, 2.02, 2.751, 3.625",\
                 "0.1186, 0.1456, 0.2236, 0.365, 0.6036, 0.9514, 1.422, 2.021, 2.752, 3.625",\
                 "0.1236, 0.151, 0.2296, 0.3706, 0.6078, 0.9554, 1.425, 2.022, 2.751, 3.624");
        }
      }

      timing() {
        related_pin : "A2" ;
        sdf_cond : "A1===1'b0 && A3===1'b1" ;
        timing_sense : positive_unate ;
        timing_type : combinational ;
        when : "!A1&A3" ;

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.04471, 0.1314, 0.2971, 0.5551, 0.9172, 1.394, 1.994, 2.727, 3.6");
          index_2("0.001, 0.011, 0.0461, 0.1131, 0.2175, 0.3641, 0.5569, 0.7997, 1.096, 1.45");
          values("0.843, 0.8665, 0.9301, 1.023, 1.142, 1.288, 1.469, 1.689, 1.954, 2.271",\
                 "0.8453, 0.869, 0.9326, 1.025, 1.144, 1.291, 1.471, 1.691, 1.957, 2.273",\
                 "0.8688, 0.8923, 0.956, 1.049, 1.168, 1.314, 1.494, 1.714, 1.98, 2.296",\
                 "0.9324, 0.9559, 1.02, 1.113, 1.231, 1.378, 1.558, 1.778, 2.044, 2.36",\
                 "1.039, 1.063, 1.126, 1.22, 1.338, 1.484, 1.665, 1.885, 2.151, 2.467",\
                 "1.188, 1.212, 1.276, 1.369, 1.487, 1.634, 1.814, 2.034, 2.3, 2.616",\
                 "1.379, 1.403, 1.467, 1.559, 1.678, 1.825, 2.005, 2.225, 2.491, 2.807",\
                 "1.611, 1.635, 1.699, 1.792, 1.91, 2.057, 2.237, 2.457, 2.723, 3.039",\
                 "1.884, 1.907, 1.971, 2.064, 2.182, 2.329, 2.509, 2.729, 2.995, 3.311",\
                 "2.196, 2.219, 2.283, 2.376, 2.495, 2.641, 2.821, 3.041, 3.307, 3.623");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.04471, 0.1314, 0.2971, 0.5551, 0.9172, 1.394, 1.994, 2.727, 3.6");
          index_2("0.001, 0.011, 0.0461, 0.1131, 0.2175, 0.3641, 0.5569, 0.7997, 1.096, 1.45");
          values("0.8305, 0.8524, 0.9128, 1.007, 1.145, 1.337, 1.592, 1.916, 2.312, 2.784",\
                 "0.8342, 0.8564, 0.9166, 1.011, 1.148, 1.341, 1.596, 1.919, 2.315, 2.788",\
                 "0.8439, 0.866, 0.9265, 1.021, 1.158, 1.351, 1.606, 1.929, 2.325, 2.798",\
                 "0.8447, 0.8671, 0.9273, 1.021, 1.159, 1.352, 1.607, 1.93, 2.326, 2.799",\
                 "0.8256, 0.8478, 0.9079, 1.002, 1.14, 1.332, 1.587, 1.911, 2.307, 2.78",\
                 "0.7827, 0.8049, 0.865, 0.9592, 1.097, 1.29, 1.545, 1.868, 2.264, 2.737",\
                 "0.7137, 0.7357, 0.796, 0.8901, 1.028, 1.22, 1.475, 1.799, 2.195, 2.668",\
                 "0.6143, 0.6364, 0.6967, 0.7908, 0.9286, 1.121, 1.376, 1.699, 2.095, 2.569",\
                 "0.4816, 0.5037, 0.5639, 0.6581, 0.7959, 0.9882, 1.243, 1.566, 1.962, 2.435",\
                 "0.3171, 0.3392, 0.3992, 0.4932, 0.631, 0.8233, 1.078, 1.402, 1.798, 2.271");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.04471, 0.1314, 0.2971, 0.5551, 0.9172, 1.394, 1.994, 2.727, 3.6");
          index_2("0.001, 0.011, 0.0461, 0.1131, 0.2175, 0.3641, 0.5569, 0.7997, 1.096, 1.45");
          values("0.1388, 0.1656, 0.2337, 0.3337, 0.4724, 0.6678, 0.9376, 1.29, 1.73, 2.268",\
                 "0.1381, 0.1657, 0.2338, 0.3336, 0.4722, 0.669, 0.938, 1.288, 1.732, 2.268",\
                 "0.1389, 0.1653, 0.2337, 0.3338, 0.4722, 0.6676, 0.9376, 1.288, 1.731, 2.267",\
                 "0.1388, 0.1652, 0.234, 0.3336, 0.4722, 0.6678, 0.9382, 1.288, 1.731, 2.267",\
                 "0.1388, 0.166, 0.2336, 0.3332, 0.472, 0.6682, 0.9376, 1.289, 1.729, 2.268",\
                 "0.1386, 0.1656, 0.2338, 0.3336, 0.4722, 0.6686, 0.9382, 1.288, 1.732, 2.268",\
                 "0.1384, 0.165, 0.234, 0.334, 0.4726, 0.6676, 0.9382, 1.289, 1.73, 2.267",\
                 "0.1384, 0.1658, 0.2336, 0.333, 0.4724, 0.6682, 0.9384, 1.289, 1.73, 2.268",\
                 "0.1384, 0.1656, 0.234, 0.333, 0.4726, 0.668, 0.938, 1.288, 1.732, 2.266",\
                 "0.1392, 0.1658, 0.2338, 0.3334, 0.4728, 0.6682, 0.9368, 1.289, 1.73, 2.266");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.04471, 0.1314, 0.2971, 0.5551, 0.9172, 1.394, 1.994, 2.727, 3.6");
          index_2("0.001, 0.011, 0.0461, 0.1131, 0.2175, 0.3641, 0.5569, 0.7997, 1.096, 1.45");
          values("0.1085, 0.1348, 0.2117, 0.3551, 0.5962, 0.949, 1.423, 2.02, 2.75, 3.623",\
                 "0.1084, 0.1349, 0.2111, 0.3547, 0.5968, 0.9482, 1.423, 2.021, 2.752, 3.624",\
                 "0.1081, 0.135, 0.2111, 0.355, 0.5966, 0.9488, 1.42, 2.02, 2.752, 3.62",\
                 "0.1084, 0.1348, 0.211, 0.355, 0.5958, 0.9478, 1.421, 2.021, 2.752, 3.625",\
                 "0.108, 0.1348, 0.2114, 0.355, 0.596, 0.9484, 1.421, 2.021, 2.752, 3.622",\
                 "0.108, 0.134, 0.2108, 0.3552, 0.5964, 0.948, 1.423, 2.019, 2.751, 3.625",\
                 "0.1078, 0.1346, 0.211, 0.3558, 0.5964, 0.9492, 1.422, 2.02, 2.751, 3.62",\
                 "0.1084, 0.1342, 0.2116, 0.3558, 0.5964, 0.9484, 1.421, 2.023, 2.751, 3.622",\
                 "0.1082, 0.1342, 0.2108, 0.355, 0.5964, 0.9488, 1.422, 2.018, 2.749, 3.628",\
                 "0.1076, 0.1334, 0.2108, 0.3546, 0.5954, 0.9488, 1.422, 2.02, 2.749, 3.621");
        }
      }

      timing() {
        related_pin : "A2" ;
        sdf_cond : "A1===1'b1 && A3===1'b0" ;
        timing_sense : positive_unate ;
        timing_type : combinational ;
        when : "A1&!A3" ;

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.04471, 0.1314, 0.2971, 0.5551, 0.9172, 1.394, 1.994, 2.727, 3.6");
          index_2("0.001, 0.011, 0.0461, 0.1131, 0.2175, 0.3641, 0.5569, 0.7997, 1.096, 1.45");
          values("0.8798, 0.9022, 0.9631, 1.053, 1.169, 1.313, 1.493, 1.713, 1.979, 2.295",\
                 "0.8835, 0.9059, 0.9672, 1.057, 1.172, 1.317, 1.497, 1.717, 1.982, 2.299",\
                 "0.9034, 0.926, 0.987, 1.076, 1.192, 1.337, 1.517, 1.736, 2.002, 2.319",\
                 "0.9533, 0.9758, 1.037, 1.126, 1.242, 1.387, 1.567, 1.786, 2.052, 2.369",\
                 "1.043, 1.066, 1.127, 1.216, 1.332, 1.477, 1.656, 1.876, 2.142, 2.459",\
                 "1.175, 1.198, 1.259, 1.348, 1.464, 1.609, 1.788, 2.008, 2.274, 2.591",\
                 "1.346, 1.368, 1.429, 1.519, 1.634, 1.779, 1.959, 2.179, 2.444, 2.761",\
                 "1.551, 1.573, 1.634, 1.723, 1.839, 1.984, 2.164, 2.383, 2.649, 2.966",\
                 "1.786, 1.809, 1.87, 1.959, 2.075, 2.22, 2.399, 2.619, 2.885, 3.201",\
                 "2.054, 2.076, 2.137, 2.227, 2.342, 2.487, 2.667, 2.886, 3.152, 3.468");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.04471, 0.1314, 0.2971, 0.5551, 0.9172, 1.394, 1.994, 2.727, 3.6");
          index_2("0.001, 0.011, 0.0461, 0.1131, 0.2175, 0.3641, 0.5569, 0.7997, 1.096, 1.45");
          values("0.9092, 0.9283, 0.9805, 1.067, 1.202, 1.394, 1.65, 1.974, 2.371, 2.844",\
                 "0.9111, 0.9301, 0.982, 1.069, 1.204, 1.396, 1.652, 1.976, 2.372, 2.846",\
                 "0.9141, 0.9332, 0.9853, 1.072, 1.207, 1.399, 1.655, 1.979, 2.376, 2.849",\
                 "0.9217, 0.9407, 0.9929, 1.08, 1.214, 1.406, 1.662, 1.986, 2.383, 2.856",\
                 "0.9341, 0.9532, 1.005, 1.092, 1.227, 1.419, 1.675, 1.999, 2.395, 2.87",\
                 "0.9427, 0.962, 1.014, 1.101, 1.235, 1.427, 1.683, 2.007, 2.404, 2.878",\
                 "0.9374, 0.9566, 1.009, 1.095, 1.23, 1.422, 1.678, 2.002, 2.398, 2.873",\
                 "0.9098, 0.929, 0.9808, 1.068, 1.202, 1.394, 1.65, 1.974, 2.371, 2.845",\
                 "0.8569, 0.876, 0.9279, 1.014, 1.149, 1.341, 1.597, 1.921, 2.317, 2.791",\
                 "0.7773, 0.7963, 0.8482, 0.9347, 1.069, 1.261, 1.517, 1.841, 2.237, 2.711");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.04471, 0.1314, 0.2971, 0.5551, 0.9172, 1.394, 1.994, 2.727, 3.6");
          index_2("0.001, 0.011, 0.0461, 0.1131, 0.2175, 0.3641, 0.5569, 0.7997, 1.096, 1.45");
          values("0.1281, 0.1542, 0.2193, 0.3172, 0.4584, 0.6586, 0.9318, 1.286, 1.729, 2.263",\
                 "0.1286, 0.1542, 0.2194, 0.3174, 0.458, 0.6594, 0.9316, 1.284, 1.729, 2.266",\
                 "0.1284, 0.1538, 0.2194, 0.3174, 0.4584, 0.6592, 0.932, 1.284, 1.729, 2.266",\
                 "0.1282, 0.154, 0.2194, 0.3172, 0.4582, 0.6592, 0.932, 1.284, 1.729, 2.266",\
                 "0.1282, 0.1536, 0.2198, 0.3174, 0.4584, 0.6592, 0.9306, 1.284, 1.729, 2.264",\
                 "0.1288, 0.1542, 0.2192, 0.317, 0.4586, 0.6586, 0.9316, 1.285, 1.729, 2.264",\
                 "0.1282, 0.1538, 0.2192, 0.3176, 0.4588, 0.6592, 0.9324, 1.284, 1.728, 2.263",\
                 "0.1284, 0.154, 0.2194, 0.317, 0.4586, 0.6586, 0.9326, 1.286, 1.729, 2.265",\
                 "0.1282, 0.1542, 0.22, 0.3182, 0.4586, 0.659, 0.931, 1.285, 1.727, 2.264",\
                 "0.1292, 0.1544, 0.2204, 0.3178, 0.4596, 0.6594, 0.93, 1.284, 1.729, 2.265");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.04471, 0.1314, 0.2971, 0.5551, 0.9172, 1.394, 1.994, 2.727, 3.6");
          index_2("0.001, 0.011, 0.0461, 0.1131, 0.2175, 0.3641, 0.5569, 0.7997, 1.096, 1.45");
          values("0.08874, 0.1103, 0.1806, 0.33, 0.581, 0.941, 1.417, 2.014, 2.747, 3.615",\
                 "0.08872, 0.1103, 0.1804, 0.3302, 0.5808, 0.941, 1.417, 2.014, 2.747, 3.615",\
                 "0.08876, 0.1102, 0.1806, 0.3302, 0.5808, 0.941, 1.417, 2.014, 2.747, 3.615",\
                 "0.0886, 0.1104, 0.1804, 0.3302, 0.5808, 0.941, 1.417, 2.014, 2.747, 3.615",\
                 "0.089, 0.1108, 0.1804, 0.3302, 0.581, 0.9406, 1.417, 2.016, 2.743, 3.617",\
                 "0.0888, 0.1102, 0.1802, 0.3298, 0.5808, 0.9412, 1.417, 2.016, 2.749, 3.616",\
                 "0.0884, 0.1104, 0.1804, 0.3304, 0.582, 0.9402, 1.417, 2.013, 2.745, 3.622",\
                 "0.0888, 0.1098, 0.1806, 0.3306, 0.5818, 0.9406, 1.417, 2.015, 2.748, 3.622",\
                 "0.0892, 0.1108, 0.1806, 0.3306, 0.5814, 0.9404, 1.416, 2.013, 2.749, 3.622",\
                 "0.0892, 0.1108, 0.181, 0.3306, 0.5822, 0.9406, 1.418, 2.015, 2.745, 3.616");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.04471, 0.1314, 0.2971, 0.5551, 0.9172, 1.394, 1.994, 2.727, 3.6");
          index_2("0.001, 0.011, 0.0461, 0.1131, 0.2175, 0.3641, 0.5569, 0.7997, 1.096, 1.45");
          values("0.843, 0.8665, 0.9301, 1.023, 1.142, 1.288, 1.469, 1.689, 1.954, 2.271",\
                 "0.8453, 0.869, 0.9326, 1.025, 1.144, 1.291, 1.471, 1.691, 1.957, 2.273",\
                 "0.8688, 0.8923, 0.956, 1.049, 1.168, 1.314, 1.494, 1.714, 1.98, 2.296",\
                 "0.9324, 0.9559, 1.02, 1.113, 1.231, 1.378, 1.558, 1.778, 2.044, 2.36",\
                 "1.039, 1.063, 1.126, 1.22, 1.338, 1.484, 1.665, 1.885, 2.151, 2.467",\
                 "1.188, 1.212, 1.276, 1.369, 1.487, 1.634, 1.814, 2.034, 2.3, 2.616",\
                 "1.379, 1.403, 1.467, 1.559, 1.678, 1.825, 2.005, 2.225, 2.491, 2.807",\
                 "1.611, 1.635, 1.699, 1.792, 1.91, 2.057, 2.237, 2.457, 2.723, 3.039",\
                 "1.884, 1.907, 1.971, 2.064, 2.182, 2.329, 2.509, 2.729, 2.995, 3.311",\
                 "2.196, 2.219, 2.283, 2.376, 2.495, 2.641, 2.821, 3.041, 3.307, 3.623");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.04471, 0.1314, 0.2971, 0.5551, 0.9172, 1.394, 1.994, 2.727, 3.6");
          index_2("0.001, 0.011, 0.0461, 0.1131, 0.2175, 0.3641, 0.5569, 0.7997, 1.096, 1.45");
          values("0.9092, 0.9283, 0.9805, 1.067, 1.202, 1.394, 1.65, 1.974, 2.371, 2.844",\
                 "0.9111, 0.9301, 0.982, 1.069, 1.204, 1.396, 1.652, 1.976, 2.372, 2.846",\
                 "0.9141, 0.9332, 0.9853, 1.072, 1.207, 1.399, 1.655, 1.979, 2.376, 2.849",\
                 "0.9217, 0.9407, 0.9929, 1.08, 1.214, 1.406, 1.662, 1.986, 2.383, 2.856",\
                 "0.9341, 0.9532, 1.005, 1.092, 1.227, 1.419, 1.675, 1.999, 2.395, 2.87",\
                 "0.9427, 0.962, 1.014, 1.101, 1.235, 1.427, 1.683, 2.007, 2.404, 2.878",\
                 "0.9374, 0.9566, 1.009, 1.095, 1.23, 1.422, 1.678, 2.002, 2.398, 2.873",\
                 "0.9098, 0.929, 0.9808, 1.068, 1.202, 1.394, 1.65, 1.974, 2.371, 2.845",\
                 "0.8569, 0.876, 0.9279, 1.014, 1.149, 1.341, 1.597, 1.921, 2.317, 2.791",\
                 "0.7773, 0.7963, 0.8482, 0.9347, 1.069, 1.261, 1.517, 1.841, 2.237, 2.711");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.04471, 0.1314, 0.2971, 0.5551, 0.9172, 1.394, 1.994, 2.727, 3.6");
          index_2("0.001, 0.011, 0.0461, 0.1131, 0.2175, 0.3641, 0.5569, 0.7997, 1.096, 1.45");
          values("0.1388, 0.1656, 0.2337, 0.3337, 0.4724, 0.6678, 0.9376, 1.29, 1.73, 2.268",\
                 "0.1381, 0.1657, 0.2338, 0.3336, 0.4722, 0.669, 0.938, 1.288, 1.732, 2.268",\
                 "0.1389, 0.1653, 0.2337, 0.3338, 0.4722, 0.6676, 0.9376, 1.288, 1.731, 2.267",\
                 "0.1388, 0.1652, 0.234, 0.3336, 0.4722, 0.6678, 0.9382, 1.288, 1.731, 2.267",\
                 "0.1388, 0.166, 0.2336, 0.3332, 0.472, 0.6682, 0.9376, 1.289, 1.729, 2.268",\
                 "0.1386, 0.1656, 0.2338, 0.3336, 0.4722, 0.6686, 0.9382, 1.288, 1.732, 2.268",\
                 "0.1384, 0.165, 0.234, 0.334, 0.4726, 0.6676, 0.9382, 1.289, 1.73, 2.267",\
                 "0.1384, 0.1658, 0.2336, 0.333, 0.4724, 0.6682, 0.9384, 1.289, 1.73, 2.268",\
                 "0.1384, 0.1656, 0.234, 0.333, 0.4726, 0.668, 0.938, 1.288, 1.732, 2.266",\
                 "0.1392, 0.1658, 0.2338, 0.3334, 0.4728, 0.6682, 0.9368, 1.289, 1.73, 2.266");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.04471, 0.1314, 0.2971, 0.5551, 0.9172, 1.394, 1.994, 2.727, 3.6");
          index_2("0.001, 0.011, 0.0461, 0.1131, 0.2175, 0.3641, 0.5569, 0.7997, 1.096, 1.45");
          values("0.1085, 0.1348, 0.2117, 0.3551, 0.5962, 0.949, 1.423, 2.02, 2.75, 3.623",\
                 "0.1084, 0.1349, 0.2111, 0.3547, 0.5968, 0.9482, 1.423, 2.021, 2.752, 3.624",\
                 "0.1081, 0.135, 0.2111, 0.355, 0.5966, 0.9488, 1.42, 2.02, 2.752, 3.62",\
                 "0.1084, 0.1348, 0.211, 0.355, 0.5958, 0.9478, 1.421, 2.021, 2.752, 3.625",\
                 "0.108, 0.1348, 0.2114, 0.355, 0.596, 0.9484, 1.421, 2.021, 2.752, 3.622",\
                 "0.108, 0.134, 0.2108, 0.3552, 0.5964, 0.948, 1.423, 2.019, 2.751, 3.625",\
                 "0.1078, 0.1346, 0.211, 0.3558, 0.5964, 0.9492, 1.422, 2.02, 2.751, 3.62",\
                 "0.1084, 0.1342, 0.2116, 0.3558, 0.5964, 0.9484, 1.421, 2.023, 2.751, 3.622",\
                 "0.1082, 0.1342, 0.2108, 0.355, 0.5964, 0.9488, 1.422, 2.018, 2.749, 3.628",\
                 "0.1076, 0.1334, 0.2108, 0.3546, 0.5954, 0.9488, 1.422, 2.02, 2.749, 3.621");
        }
      }

      timing() {
        related_pin : "A3" ;
        sdf_cond : "A1===1'b0 && A2===1'b0" ;
        timing_sense : negative_unate ;
        timing_type : combinational ;
        when : "!A1&!A2" ;

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.04471, 0.1314, 0.2971, 0.5551, 0.9172, 1.394, 1.994, 2.727, 3.6");
          index_2("0.001, 0.011, 0.0461, 0.1131, 0.2175, 0.3641, 0.5569, 0.7997, 1.096, 1.45");
          values("0.5014, 0.5251, 0.589, 0.6819, 0.8009, 0.9474, 1.128, 1.348, 1.614, 1.93",\
                 "0.5043, 0.5279, 0.5918, 0.6848, 0.8037, 0.9502, 1.131, 1.351, 1.617, 1.933",\
                 "0.5154, 0.5391, 0.6029, 0.6958, 0.8149, 0.9613, 1.142, 1.362, 1.628, 1.944",\
                 "0.5294, 0.5531, 0.6167, 0.7098, 0.8286, 0.9751, 1.155, 1.375, 1.641, 1.958",\
                 "0.5344, 0.5582, 0.622, 0.7151, 0.8341, 0.9806, 1.161, 1.381, 1.647, 1.963",\
                 "0.5323, 0.5557, 0.6186, 0.7105, 0.8282, 0.9741, 1.154, 1.374, 1.64, 1.957",\
                 "0.5133, 0.5365, 0.5992, 0.6897, 0.8061, 0.9514, 1.131, 1.351, 1.617, 1.934",\
                 "0.4727, 0.4953, 0.5569, 0.6468, 0.7629, 0.9083, 1.088, 1.308, 1.574, 1.89",\
                 "0.4097, 0.4326, 0.4938, 0.5838, 0.6995, 0.844, 1.023, 1.242, 1.507, 1.823",\
                 "0.3238, 0.3466, 0.408, 0.4972, 0.612, 0.7556, 0.9339, 1.153, 1.417, 1.733");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.04471, 0.1314, 0.2971, 0.5551, 0.9172, 1.394, 1.994, 2.727, 3.6");
          index_2("0.001, 0.011, 0.0461, 0.1131, 0.2175, 0.3641, 0.5569, 0.7997, 1.096, 1.45");
          values("0.6114, 0.6304, 0.6824, 0.7688, 0.9038, 1.096, 1.352, 1.676, 2.073, 2.547",\
                 "0.6125, 0.6318, 0.6837, 0.77, 0.9051, 1.097, 1.353, 1.677, 2.074, 2.548",\
                 "0.6223, 0.6413, 0.6933, 0.7796, 0.9146, 1.107, 1.363, 1.686, 2.084, 2.558",\
                 "0.6589, 0.6782, 0.7301, 0.8168, 0.9515, 1.144, 1.399, 1.723, 2.12, 2.595",\
                 "0.7348, 0.7538, 0.8058, 0.8923, 1.027, 1.219, 1.475, 1.798, 2.195, 2.669",\
                 "0.8498, 0.8688, 0.9208, 1.007, 1.142, 1.334, 1.589, 1.913, 2.31, 2.784",\
                 "1, 1.02, 1.072, 1.159, 1.293, 1.484, 1.739, 2.062, 2.459, 2.933",\
                 "1.18, 1.2, 1.253, 1.339, 1.473, 1.663, 1.917, 2.24, 2.636, 3.11",\
                 "1.383, 1.403, 1.457, 1.545, 1.678, 1.868, 2.121, 2.443, 2.839, 3.312",\
                 "1.611, 1.631, 1.686, 1.774, 1.908, 2.099, 2.352, 2.673, 3.067, 3.539");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.04471, 0.1314, 0.2971, 0.5551, 0.9172, 1.394, 1.994, 2.727, 3.6");
          index_2("0.001, 0.011, 0.0461, 0.1131, 0.2175, 0.3641, 0.5569, 0.7997, 1.096, 1.45");
          values("0.1378, 0.1651, 0.233, 0.3333, 0.4717, 0.6676, 0.938, 1.289, 1.73, 2.266",\
                 "0.1378, 0.1652, 0.2332, 0.3326, 0.4722, 0.6677, 0.9374, 1.288, 1.73, 2.266",\
                 "0.1377, 0.1654, 0.2333, 0.3333, 0.4722, 0.6683, 0.9375, 1.288, 1.73, 2.268",\
                 "0.1382, 0.1656, 0.2332, 0.3326, 0.4718, 0.6684, 0.9374, 1.288, 1.73, 2.268",\
                 "0.1369, 0.164, 0.2329, 0.3322, 0.4716, 0.668, 0.9378, 1.289, 1.731, 2.268",\
                 "0.1352, 0.1624, 0.2292, 0.3276, 0.467, 0.6662, 0.936, 1.289, 1.73, 2.263",\
                 "0.1364, 0.163, 0.229, 0.3256, 0.4646, 0.6628, 0.934, 1.287, 1.731, 2.267",\
                 "0.1358, 0.1618, 0.227, 0.325, 0.466, 0.6646, 0.9346, 1.287, 1.729, 2.266",\
                 "0.1352, 0.1614, 0.2278, 0.3256, 0.4644, 0.6612, 0.931, 1.284, 1.726, 2.261",\
                 "0.1356, 0.1622, 0.2286, 0.3252, 0.4622, 0.6594, 0.9298, 1.282, 1.725, 2.259");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.04471, 0.1314, 0.2971, 0.5551, 0.9172, 1.394, 1.994, 2.727, 3.6");
          index_2("0.001, 0.011, 0.0461, 0.1131, 0.2175, 0.3641, 0.5569, 0.7997, 1.096, 1.45");
          values("0.08822, 0.1099, 0.1806, 0.33, 0.5806, 0.9413, 1.417, 2.015, 2.748, 3.62",\
                 "0.0882, 0.11, 0.1803, 0.33, 0.5804, 0.9404, 1.414, 2.015, 2.748, 3.619",\
                 "0.08824, 0.11, 0.1802, 0.3296, 0.5807, 0.9402, 1.417, 2.015, 2.748, 3.62",\
                 "0.08846, 0.11, 0.1807, 0.33, 0.5808, 0.9404, 1.415, 2.016, 2.747, 3.618",\
                 "0.0888, 0.1108, 0.1804, 0.3302, 0.5806, 0.9404, 1.417, 2.015, 2.746, 3.623",\
                 "0.089, 0.111, 0.181, 0.3302, 0.581, 0.9406, 1.417, 2.014, 2.747, 3.616",\
                 "0.0912, 0.113, 0.1828, 0.3314, 0.5818, 0.9406, 1.416, 2.016, 2.745, 3.616",\
                 "0.0954, 0.1176, 0.1866, 0.334, 0.5834, 0.9414, 1.417, 2.016, 2.749, 3.614",\
                 "0.1002, 0.1234, 0.1926, 0.338, 0.5866, 0.9428, 1.416, 2.016, 2.746, 3.622",\
                 "0.1068, 0.1298, 0.1982, 0.3426, 0.5914, 0.9478, 1.419, 2.015, 2.745, 3.622");
        }
      }

      timing() {
        related_pin : "A3" ;
        sdf_cond : "A1===1'b1 && A2===1'b1" ;
        timing_sense : negative_unate ;
        timing_type : combinational ;
        when : "A1&A2" ;

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.04471, 0.1314, 0.2971, 0.5551, 0.9172, 1.394, 1.994, 2.727, 3.6");
          index_2("0.001, 0.011, 0.0461, 0.1131, 0.2175, 0.3641, 0.5569, 0.7997, 1.096, 1.45");
          values("0.5036, 0.5273, 0.5912, 0.6843, 0.8033, 0.95, 1.13, 1.351, 1.616, 1.933",\
                 "0.5064, 0.5301, 0.594, 0.6871, 0.8061, 0.9527, 1.133, 1.353, 1.619, 1.935",\
                 "0.5177, 0.5413, 0.6052, 0.6982, 0.8173, 0.9639, 1.144, 1.365, 1.63, 1.947",\
                 "0.5317, 0.5553, 0.6191, 0.7122, 0.8311, 0.9777, 1.158, 1.378, 1.644, 1.96",\
                 "0.5366, 0.5604, 0.6242, 0.7174, 0.8365, 0.9832, 1.164, 1.384, 1.649, 1.966",\
                 "0.5344, 0.5578, 0.621, 0.7128, 0.8306, 0.9767, 1.157, 1.377, 1.643, 1.959",\
                 "0.5149, 0.5382, 0.6009, 0.6916, 0.808, 0.9534, 1.133, 1.353, 1.619, 1.936",\
                 "0.474, 0.4965, 0.5587, 0.6489, 0.765, 0.9104, 1.09, 1.31, 1.575, 1.892",\
                 "0.4107, 0.4333, 0.4951, 0.5849, 0.7007, 0.8452, 1.024, 1.243, 1.508, 1.824",\
                 "0.3245, 0.3472, 0.4086, 0.4979, 0.6127, 0.7564, 0.9348, 1.154, 1.419, 1.734");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.04471, 0.1314, 0.2971, 0.5551, 0.9172, 1.394, 1.994, 2.727, 3.6");
          index_2("0.001, 0.011, 0.0461, 0.1131, 0.2175, 0.3641, 0.5569, 0.7997, 1.096, 1.45");
          values("0.6117, 0.6308, 0.6829, 0.7697, 0.9042, 1.097, 1.352, 1.677, 2.073, 2.547",\
                 "0.6129, 0.6323, 0.6842, 0.771, 0.9055, 1.098, 1.354, 1.678, 2.075, 2.548",\
                 "0.6227, 0.6419, 0.6935, 0.7803, 0.9152, 1.108, 1.363, 1.687, 2.084, 2.559",\
                 "0.6592, 0.6783, 0.7303, 0.8168, 0.952, 1.144, 1.4, 1.724, 2.12, 2.594",\
                 "0.7348, 0.7541, 0.8057, 0.8924, 1.027, 1.219, 1.475, 1.799, 2.196, 2.67",\
                 "0.8496, 0.8688, 0.9207, 1.007, 1.142, 1.334, 1.589, 1.913, 2.31, 2.784",\
                 "1, 1.02, 1.072, 1.159, 1.292, 1.484, 1.739, 2.062, 2.459, 2.933",\
                 "1.179, 1.199, 1.252, 1.339, 1.472, 1.663, 1.917, 2.24, 2.636, 3.109",\
                 "1.382, 1.402, 1.457, 1.543, 1.677, 1.867, 2.12, 2.442, 2.838, 3.311",\
                 "1.609, 1.63, 1.686, 1.774, 1.907, 2.098, 2.351, 2.672, 3.066, 3.538");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.04471, 0.1314, 0.2971, 0.5551, 0.9172, 1.394, 1.994, 2.727, 3.6");
          index_2("0.001, 0.011, 0.0461, 0.1131, 0.2175, 0.3641, 0.5569, 0.7997, 1.096, 1.45");
          values("0.1383, 0.1657, 0.2339, 0.3332, 0.4729, 0.6685, 0.9384, 1.289, 1.73, 2.266",\
                 "0.1384, 0.1658, 0.234, 0.3339, 0.4729, 0.6693, 0.9385, 1.288, 1.732, 2.266",\
                 "0.1386, 0.1659, 0.2337, 0.334, 0.4729, 0.6689, 0.938, 1.288, 1.73, 2.267",\
                 "0.1386, 0.1654, 0.2337, 0.3332, 0.4725, 0.6685, 0.9386, 1.289, 1.732, 2.265",\
                 "0.1375, 0.1646, 0.2326, 0.333, 0.4722, 0.6688, 0.9384, 1.29, 1.732, 2.267",\
                 "0.1352, 0.1622, 0.2296, 0.3282, 0.4678, 0.6658, 0.937, 1.287, 1.731, 2.264",\
                 "0.1368, 0.1634, 0.2296, 0.3262, 0.465, 0.6638, 0.9346, 1.289, 1.729, 2.267",\
                 "0.136, 0.1628, 0.2278, 0.326, 0.4662, 0.665, 0.9348, 1.286, 1.728, 2.265",\
                 "0.136, 0.162, 0.2282, 0.326, 0.4646, 0.6624, 0.9312, 1.284, 1.725, 2.261",\
                 "0.1362, 0.162, 0.2288, 0.325, 0.4628, 0.6598, 0.9298, 1.282, 1.725, 2.259");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.04471, 0.1314, 0.2971, 0.5551, 0.9172, 1.394, 1.994, 2.727, 3.6");
          index_2("0.001, 0.011, 0.0461, 0.1131, 0.2175, 0.3641, 0.5569, 0.7997, 1.096, 1.45");
          values("0.08864, 0.1103, 0.1802, 0.33, 0.5807, 0.9404, 1.416, 2.014, 2.746, 3.622",\
                 "0.08856, 0.1105, 0.1807, 0.3296, 0.5808, 0.9406, 1.417, 2.016, 2.748, 3.615",\
                 "0.08866, 0.1108, 0.1802, 0.3297, 0.5807, 0.9403, 1.417, 2.015, 2.749, 3.617",\
                 "0.08854, 0.1102, 0.1802, 0.3297, 0.5808, 0.9398, 1.417, 2.016, 2.744, 3.614",\
                 "0.0892, 0.111, 0.1804, 0.3302, 0.5808, 0.9404, 1.417, 2.016, 2.746, 3.621",\
                 "0.0894, 0.1112, 0.1812, 0.3302, 0.5812, 0.94, 1.417, 2.014, 2.747, 3.617",\
                 "0.091, 0.1134, 0.1824, 0.3314, 0.5816, 0.9412, 1.415, 2.015, 2.748, 3.618",\
                 "0.0958, 0.118, 0.1868, 0.3342, 0.5834, 0.941, 1.416, 2.016, 2.744, 3.616",\
                 "0.1012, 0.1236, 0.1924, 0.3378, 0.5866, 0.9424, 1.416, 2.014, 2.746, 3.622",\
                 "0.1076, 0.1302, 0.1986, 0.3422, 0.5914, 0.9472, 1.418, 2.015, 2.747, 3.621");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.04471, 0.1314, 0.2971, 0.5551, 0.9172, 1.394, 1.994, 2.727, 3.6");
          index_2("0.001, 0.011, 0.0461, 0.1131, 0.2175, 0.3641, 0.5569, 0.7997, 1.096, 1.45");
          values("0.5036, 0.5273, 0.5912, 0.6843, 0.8033, 0.95, 1.13, 1.351, 1.616, 1.933",\
                 "0.5064, 0.5301, 0.594, 0.6871, 0.8061, 0.9527, 1.133, 1.353, 1.619, 1.935",\
                 "0.5177, 0.5413, 0.6052, 0.6982, 0.8173, 0.9639, 1.144, 1.365, 1.63, 1.947",\
                 "0.5317, 0.5553, 0.6191, 0.7122, 0.8311, 0.9777, 1.158, 1.378, 1.644, 1.96",\
                 "0.5366, 0.5604, 0.6242, 0.7174, 0.8365, 0.9832, 1.164, 1.384, 1.649, 1.966",\
                 "0.5344, 0.5578, 0.621, 0.7128, 0.8306, 0.9767, 1.157, 1.377, 1.643, 1.959",\
                 "0.5149, 0.5382, 0.6009, 0.6916, 0.808, 0.9534, 1.133, 1.353, 1.619, 1.936",\
                 "0.474, 0.4965, 0.5587, 0.6489, 0.765, 0.9104, 1.09, 1.31, 1.575, 1.892",\
                 "0.4107, 0.4333, 0.4951, 0.5849, 0.7007, 0.8452, 1.024, 1.243, 1.508, 1.824",\
                 "0.3245, 0.3472, 0.4086, 0.4979, 0.6127, 0.7564, 0.9348, 1.154, 1.419, 1.734");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.04471, 0.1314, 0.2971, 0.5551, 0.9172, 1.394, 1.994, 2.727, 3.6");
          index_2("0.001, 0.011, 0.0461, 0.1131, 0.2175, 0.3641, 0.5569, 0.7997, 1.096, 1.45");
          values("0.6114, 0.6304, 0.6824, 0.7688, 0.9038, 1.096, 1.352, 1.676, 2.073, 2.547",\
                 "0.6125, 0.6318, 0.6837, 0.77, 0.9051, 1.097, 1.353, 1.677, 2.074, 2.548",\
                 "0.6223, 0.6413, 0.6933, 0.7796, 0.9146, 1.107, 1.363, 1.686, 2.084, 2.558",\
                 "0.6589, 0.6782, 0.7301, 0.8168, 0.9515, 1.144, 1.399, 1.723, 2.12, 2.595",\
                 "0.7348, 0.7538, 0.8058, 0.8923, 1.027, 1.219, 1.475, 1.798, 2.195, 2.669",\
                 "0.8498, 0.8688, 0.9208, 1.007, 1.142, 1.334, 1.589, 1.913, 2.31, 2.784",\
                 "1, 1.02, 1.072, 1.159, 1.293, 1.484, 1.739, 2.062, 2.459, 2.933",\
                 "1.18, 1.2, 1.253, 1.339, 1.473, 1.663, 1.917, 2.24, 2.636, 3.11",\
                 "1.383, 1.403, 1.457, 1.545, 1.678, 1.868, 2.121, 2.443, 2.839, 3.312",\
                 "1.611, 1.631, 1.686, 1.774, 1.908, 2.099, 2.352, 2.673, 3.067, 3.539");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.04471, 0.1314, 0.2971, 0.5551, 0.9172, 1.394, 1.994, 2.727, 3.6");
          index_2("0.001, 0.011, 0.0461, 0.1131, 0.2175, 0.3641, 0.5569, 0.7997, 1.096, 1.45");
          values("0.1378, 0.1651, 0.233, 0.3333, 0.4717, 0.6676, 0.938, 1.289, 1.73, 2.266",\
                 "0.1378, 0.1652, 0.2332, 0.3326, 0.4722, 0.6677, 0.9374, 1.288, 1.73, 2.266",\
                 "0.1377, 0.1654, 0.2333, 0.3333, 0.4722, 0.6683, 0.9375, 1.288, 1.73, 2.268",\
                 "0.1382, 0.1656, 0.2332, 0.3326, 0.4718, 0.6684, 0.9374, 1.288, 1.73, 2.268",\
                 "0.1369, 0.164, 0.2329, 0.3322, 0.4716, 0.668, 0.9378, 1.289, 1.731, 2.268",\
                 "0.1352, 0.1624, 0.2292, 0.3276, 0.467, 0.6662, 0.936, 1.289, 1.73, 2.263",\
                 "0.1364, 0.163, 0.229, 0.3256, 0.4646, 0.6628, 0.934, 1.287, 1.731, 2.267",\
                 "0.1358, 0.1618, 0.227, 0.325, 0.466, 0.6646, 0.9346, 1.287, 1.729, 2.266",\
                 "0.1352, 0.1614, 0.2278, 0.3256, 0.4644, 0.6612, 0.931, 1.284, 1.726, 2.261",\
                 "0.1356, 0.1622, 0.2286, 0.3252, 0.4622, 0.6594, 0.9298, 1.282, 1.725, 2.259");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.04471, 0.1314, 0.2971, 0.5551, 0.9172, 1.394, 1.994, 2.727, 3.6");
          index_2("0.001, 0.011, 0.0461, 0.1131, 0.2175, 0.3641, 0.5569, 0.7997, 1.096, 1.45");
          values("0.08822, 0.1099, 0.1806, 0.33, 0.5806, 0.9413, 1.417, 2.015, 2.748, 3.62",\
                 "0.0882, 0.11, 0.1803, 0.33, 0.5804, 0.9404, 1.414, 2.015, 2.748, 3.619",\
                 "0.08824, 0.11, 0.1802, 0.3296, 0.5807, 0.9402, 1.417, 2.015, 2.748, 3.62",\
                 "0.08846, 0.11, 0.1807, 0.33, 0.5808, 0.9404, 1.415, 2.016, 2.747, 3.618",\
                 "0.0888, 0.1108, 0.1804, 0.3302, 0.5806, 0.9404, 1.417, 2.015, 2.746, 3.623",\
                 "0.089, 0.111, 0.181, 0.3302, 0.581, 0.9406, 1.417, 2.014, 2.747, 3.616",\
                 "0.0912, 0.113, 0.1828, 0.3314, 0.5818, 0.9406, 1.416, 2.016, 2.745, 3.616",\
                 "0.0954, 0.1176, 0.1866, 0.334, 0.5834, 0.9414, 1.417, 2.016, 2.749, 3.614",\
                 "0.1002, 0.1234, 0.1926, 0.338, 0.5866, 0.9428, 1.416, 2.016, 2.746, 3.622",\
                 "0.1068, 0.1298, 0.1982, 0.3426, 0.5914, 0.9478, 1.419, 2.015, 2.745, 3.622");
        }
      }

      timing() {
        related_pin : "A3" ;
        sdf_cond : "A1===1'b0 && A2===1'b1" ;
        timing_sense : positive_unate ;
        timing_type : combinational ;
        when : "!A1&A2" ;

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.04471, 0.1314, 0.2971, 0.5551, 0.9172, 1.394, 1.994, 2.727, 3.6");
          index_2("0.001, 0.011, 0.0461, 0.1131, 0.2175, 0.3641, 0.5569, 0.7997, 1.096, 1.45");
          values("0.3139, 0.3365, 0.3977, 0.4876, 0.6034, 0.7487, 0.9285, 1.149, 1.415, 1.731",\
                 "0.3174, 0.34, 0.4012, 0.4911, 0.6069, 0.7522, 0.932, 1.152, 1.418, 1.735",\
                 "0.3353, 0.3579, 0.419, 0.5087, 0.6247, 0.7699, 0.9497, 1.17, 1.436, 1.752",\
                 "0.3823, 0.4049, 0.466, 0.5555, 0.6711, 0.8162, 0.9959, 1.216, 1.482, 1.798",\
                 "0.4671, 0.4894, 0.5495, 0.6381, 0.7531, 0.8976, 1.077, 1.296, 1.562, 1.878",\
                 "0.5828, 0.6055, 0.6662, 0.7546, 0.869, 1.012, 1.191, 1.41, 1.675, 1.99",\
                 "0.7219, 0.7454, 0.8083, 0.899, 1.014, 1.158, 1.336, 1.554, 1.817, 2.132",\
                 "0.8793, 0.9046, 0.9713, 1.066, 1.186, 1.332, 1.51, 1.727, 1.99, 2.304",\
                 "1.057, 1.084, 1.154, 1.253, 1.378, 1.529, 1.711, 1.93, 2.193, 2.505",\
                 "1.255, 1.283, 1.357, 1.462, 1.591, 1.748, 1.935, 2.16, 2.425, 2.737");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.04471, 0.1314, 0.2971, 0.5551, 0.9172, 1.394, 1.994, 2.727, 3.6");
          index_2("0.001, 0.011, 0.0461, 0.1131, 0.2175, 0.3641, 0.5569, 0.7997, 1.096, 1.45");
          values("0.2542, 0.2749, 0.3327, 0.426, 0.5654, 0.76, 1.017, 1.342, 1.741, 2.214",\
                 "0.2575, 0.2785, 0.3361, 0.4296, 0.5687, 0.7635, 1.02, 1.346, 1.743, 2.217",\
                 "0.2705, 0.2911, 0.3488, 0.4421, 0.5815, 0.7761, 1.033, 1.358, 1.756, 2.231",\
                 "0.2978, 0.3184, 0.3757, 0.4685, 0.6071, 0.8011, 1.058, 1.383, 1.78, 2.255",\
                 "0.3297, 0.3509, 0.4086, 0.5007, 0.6379, 0.8303, 1.086, 1.41, 1.806, 2.28",\
                 "0.3521, 0.3744, 0.4337, 0.5265, 0.6627, 0.8534, 1.107, 1.43, 1.826, 2.299",\
                 "0.3599, 0.3833, 0.4456, 0.5403, 0.6767, 0.8668, 1.119, 1.44, 1.833, 2.307",\
                 "0.3506, 0.3754, 0.4409, 0.5384, 0.6763, 0.8672, 1.12, 1.439, 1.831, 2.301",\
                 "0.3231, 0.3495, 0.4184, 0.5193, 0.6592, 0.8505, 1.104, 1.426, 1.817, 2.286",\
                 "0.2761, 0.3041, 0.3773, 0.4815, 0.6229, 0.8163, 1.071, 1.395, 1.79, 2.258");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.04471, 0.1314, 0.2971, 0.5551, 0.9172, 1.394, 1.994, 2.727, 3.6");
          index_2("0.001, 0.011, 0.0461, 0.1131, 0.2175, 0.3641, 0.5569, 0.7997, 1.096, 1.45");
          values("0.1281, 0.1537, 0.2195, 0.3171, 0.4583, 0.6592, 0.9318, 1.286, 1.728, 2.266",\
                 "0.1284, 0.1538, 0.219, 0.3172, 0.4589, 0.6592, 0.9326, 1.286, 1.729, 2.267",\
                 "0.1276, 0.1537, 0.2193, 0.3171, 0.4584, 0.6592, 0.9326, 1.286, 1.728, 2.266",\
                 "0.1278, 0.1534, 0.2189, 0.3175, 0.4587, 0.6593, 0.9327, 1.285, 1.73, 2.265",\
                 "0.1295, 0.1554, 0.2216, 0.3204, 0.4609, 0.661, 0.9332, 1.287, 1.729, 2.266",\
                 "0.1436, 0.1694, 0.2338, 0.3304, 0.4686, 0.6662, 0.9362, 1.288, 1.73, 2.267",\
                 "0.1658, 0.1924, 0.2584, 0.3522, 0.486, 0.6778, 0.9426, 1.291, 1.731, 2.266",\
                 "0.1932, 0.2202, 0.2894, 0.3852, 0.5168, 0.7012, 0.9584, 1.3, 1.736, 2.269",\
                 "0.222, 0.2522, 0.3228, 0.4222, 0.5558, 0.74, 0.9892, 1.321, 1.747, 2.273",\
                 "0.2522, 0.2846, 0.3602, 0.462, 0.598, 0.7834, 1.035, 1.361, 1.775, 2.287");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.04471, 0.1314, 0.2971, 0.5551, 0.9172, 1.394, 1.994, 2.727, 3.6");
          index_2("0.001, 0.011, 0.0461, 0.1131, 0.2175, 0.3641, 0.5569, 0.7997, 1.096, 1.45");
          values("0.09328, 0.1188, 0.1952, 0.3439, 0.5897, 0.9455, 1.42, 2.021, 2.751, 3.624",\
                 "0.09332, 0.1189, 0.1951, 0.3444, 0.5906, 0.9451, 1.422, 2.019, 2.752, 3.624",\
                 "0.0931, 0.1187, 0.1949, 0.3447, 0.5898, 0.9457, 1.42, 2.018, 2.752, 3.619",\
                 "0.09336, 0.1189, 0.1957, 0.3452, 0.5898, 0.9457, 1.419, 2.019, 2.752, 3.623",\
                 "0.1005, 0.1261, 0.2016, 0.3477, 0.5921, 0.9461, 1.42, 2.018, 2.752, 3.626",\
                 "0.1129, 0.1384, 0.2133, 0.3554, 0.5964, 0.9492, 1.422, 2.018, 2.75, 3.62",\
                 "0.1282, 0.1542, 0.2302, 0.3696, 0.6068, 0.9552, 1.425, 2.021, 2.752, 3.623",\
                 "0.1454, 0.1732, 0.249, 0.3874, 0.6224, 0.97, 1.435, 2.026, 2.755, 3.626",\
                 "0.166, 0.193, 0.2724, 0.407, 0.6382, 0.9886, 1.454, 2.042, 2.761, 3.629",\
                 "0.1874, 0.2162, 0.2962, 0.431, 0.6588, 1.006, 1.477, 2.068, 2.785, 3.64");
        }
      }

      timing() {
        related_pin : "A3" ;
        sdf_cond : "A1===1'b1 && A2===1'b0" ;
        timing_sense : positive_unate ;
        timing_type : combinational ;
        when : "A1&!A2" ;

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.04471, 0.1314, 0.2971, 0.5551, 0.9172, 1.394, 1.994, 2.727, 3.6");
          index_2("0.001, 0.011, 0.0461, 0.1131, 0.2175, 0.3641, 0.5569, 0.7997, 1.096, 1.45");
          values("0.3139, 0.3365, 0.3977, 0.4876, 0.6034, 0.7487, 0.9285, 1.149, 1.415, 1.731",\
                 "0.3174, 0.34, 0.4012, 0.4911, 0.607, 0.7522, 0.932, 1.152, 1.418, 1.735",\
                 "0.3353, 0.3579, 0.4191, 0.5087, 0.6247, 0.7699, 0.9497, 1.17, 1.436, 1.752",\
                 "0.3823, 0.4049, 0.466, 0.5555, 0.6711, 0.8162, 0.9959, 1.216, 1.482, 1.798",\
                 "0.4671, 0.4894, 0.5497, 0.6379, 0.7531, 0.8976, 1.077, 1.296, 1.562, 1.878",\
                 "0.5829, 0.6055, 0.6661, 0.7545, 0.8689, 1.013, 1.191, 1.41, 1.674, 1.99",\
                 "0.7219, 0.7455, 0.8083, 0.8988, 1.015, 1.158, 1.336, 1.554, 1.817, 2.132",\
                 "0.8793, 0.9045, 0.9713, 1.066, 1.186, 1.332, 1.51, 1.727, 1.99, 2.304",\
                 "1.057, 1.084, 1.154, 1.253, 1.378, 1.529, 1.711, 1.93, 2.193, 2.505",\
                 "1.255, 1.283, 1.357, 1.462, 1.591, 1.748, 1.936, 2.16, 2.425, 2.737");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.04471, 0.1314, 0.2971, 0.5551, 0.9172, 1.394, 1.994, 2.727, 3.6");
          index_2("0.001, 0.011, 0.0461, 0.1131, 0.2175, 0.3641, 0.5569, 0.7997, 1.096, 1.45");
          values("0.2542, 0.2749, 0.3327, 0.4262, 0.5654, 0.7601, 1.017, 1.342, 1.74, 2.214",\
                 "0.2575, 0.2785, 0.3361, 0.4296, 0.5687, 0.7635, 1.02, 1.346, 1.744, 2.217",\
                 "0.2706, 0.2912, 0.3489, 0.4422, 0.5815, 0.7759, 1.033, 1.358, 1.757, 2.231",\
                 "0.2978, 0.3184, 0.3757, 0.4687, 0.6071, 0.8011, 1.058, 1.383, 1.78, 2.255",\
                 "0.3297, 0.3509, 0.4086, 0.5007, 0.6379, 0.8303, 1.086, 1.41, 1.806, 2.28",\
                 "0.3521, 0.3742, 0.4337, 0.5266, 0.6625, 0.8534, 1.107, 1.43, 1.826, 2.299",\
                 "0.3599, 0.3833, 0.4456, 0.5403, 0.6765, 0.8669, 1.119, 1.44, 1.833, 2.307",\
                 "0.3506, 0.3754, 0.4409, 0.5384, 0.6763, 0.8672, 1.12, 1.439, 1.831, 2.301",\
                 "0.3231, 0.3495, 0.4185, 0.5193, 0.6592, 0.8505, 1.104, 1.426, 1.817, 2.286",\
                 "0.2761, 0.3041, 0.3773, 0.4815, 0.6229, 0.8163, 1.071, 1.395, 1.79, 2.258");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.04471, 0.1314, 0.2971, 0.5551, 0.9172, 1.394, 1.994, 2.727, 3.6");
          index_2("0.001, 0.011, 0.0461, 0.1131, 0.2175, 0.3641, 0.5569, 0.7997, 1.096, 1.45");
          values("0.1281, 0.1537, 0.2194, 0.3172, 0.4583, 0.6592, 0.9326, 1.286, 1.727, 2.266",\
                 "0.128, 0.1538, 0.2191, 0.3172, 0.4584, 0.6593, 0.9319, 1.285, 1.728, 2.265",\
                 "0.1283, 0.1537, 0.2195, 0.3173, 0.4584, 0.6589, 0.932, 1.286, 1.728, 2.266",\
                 "0.1279, 0.1533, 0.2189, 0.3171, 0.4587, 0.6593, 0.9327, 1.285, 1.73, 2.266",\
                 "0.1295, 0.1555, 0.2215, 0.3202, 0.4609, 0.661, 0.9328, 1.287, 1.729, 2.266",\
                 "0.1432, 0.1686, 0.234, 0.3312, 0.4686, 0.6662, 0.936, 1.288, 1.73, 2.267",\
                 "0.1658, 0.1922, 0.2584, 0.3522, 0.4856, 0.678, 0.9426, 1.291, 1.732, 2.265",\
                 "0.1934, 0.2206, 0.2894, 0.3856, 0.5166, 0.7014, 0.958, 1.3, 1.736, 2.269",\
                 "0.2214, 0.2518, 0.3228, 0.4214, 0.5558, 0.7396, 0.9892, 1.321, 1.747, 2.273",\
                 "0.2526, 0.2846, 0.3608, 0.462, 0.598, 0.7836, 1.033, 1.361, 1.775, 2.287");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.04471, 0.1314, 0.2971, 0.5551, 0.9172, 1.394, 1.994, 2.727, 3.6");
          index_2("0.001, 0.011, 0.0461, 0.1131, 0.2175, 0.3641, 0.5569, 0.7997, 1.096, 1.45");
          values("0.09328, 0.1189, 0.1951, 0.3436, 0.5895, 0.9461, 1.42, 2.021, 2.752, 3.624",\
                 "0.09336, 0.1188, 0.1952, 0.3442, 0.5906, 0.9451, 1.422, 2.019, 2.748, 3.624",\
                 "0.09326, 0.1188, 0.195, 0.3442, 0.5903, 0.9461, 1.42, 2.021, 2.749, 3.619",\
                 "0.09336, 0.1186, 0.1957, 0.3439, 0.5898, 0.9458, 1.419, 2.02, 2.752, 3.623",\
                 "0.1005, 0.1261, 0.2016, 0.3477, 0.5921, 0.9461, 1.42, 2.018, 2.752, 3.626",\
                 "0.1129, 0.1391, 0.2132, 0.3558, 0.5962, 0.9486, 1.422, 2.018, 2.75, 3.62",\
                 "0.1282, 0.1542, 0.2302, 0.3692, 0.6068, 0.9552, 1.425, 2.021, 2.752, 3.623",\
                 "0.1454, 0.1732, 0.249, 0.3874, 0.6224, 0.97, 1.435, 2.026, 2.755, 3.626",\
                 "0.166, 0.193, 0.2726, 0.407, 0.6384, 0.988, 1.455, 2.042, 2.762, 3.629",\
                 "0.1874, 0.2162, 0.2962, 0.431, 0.6588, 1.006, 1.48, 2.068, 2.785, 3.64");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.04471, 0.1314, 0.2971, 0.5551, 0.9172, 1.394, 1.994, 2.727, 3.6");
          index_2("0.001, 0.011, 0.0461, 0.1131, 0.2175, 0.3641, 0.5569, 0.7997, 1.096, 1.45");
          values("0.3139, 0.3365, 0.3977, 0.4876, 0.6034, 0.7487, 0.9285, 1.149, 1.415, 1.731",\
                 "0.3174, 0.34, 0.4012, 0.4911, 0.6069, 0.7522, 0.932, 1.152, 1.418, 1.735",\
                 "0.3353, 0.3579, 0.419, 0.5087, 0.6247, 0.7699, 0.9497, 1.17, 1.436, 1.752",\
                 "0.3823, 0.4049, 0.466, 0.5555, 0.6711, 0.8162, 0.9959, 1.216, 1.482, 1.798",\
                 "0.4671, 0.4894, 0.5495, 0.6381, 0.7531, 0.8976, 1.077, 1.296, 1.562, 1.878",\
                 "0.5828, 0.6055, 0.6662, 0.7546, 0.869, 1.012, 1.191, 1.41, 1.675, 1.99",\
                 "0.7219, 0.7454, 0.8083, 0.899, 1.014, 1.158, 1.336, 1.554, 1.817, 2.132",\
                 "0.8793, 0.9046, 0.9713, 1.066, 1.186, 1.332, 1.51, 1.727, 1.99, 2.304",\
                 "1.057, 1.084, 1.154, 1.253, 1.378, 1.529, 1.711, 1.93, 2.193, 2.505",\
                 "1.255, 1.283, 1.357, 1.462, 1.591, 1.748, 1.935, 2.16, 2.425, 2.737");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.04471, 0.1314, 0.2971, 0.5551, 0.9172, 1.394, 1.994, 2.727, 3.6");
          index_2("0.001, 0.011, 0.0461, 0.1131, 0.2175, 0.3641, 0.5569, 0.7997, 1.096, 1.45");
          values("0.2542, 0.2749, 0.3327, 0.4262, 0.5654, 0.7601, 1.017, 1.342, 1.74, 2.214",\
                 "0.2575, 0.2785, 0.3361, 0.4296, 0.5687, 0.7635, 1.02, 1.346, 1.744, 2.217",\
                 "0.2706, 0.2912, 0.3489, 0.4422, 0.5815, 0.7759, 1.033, 1.358, 1.757, 2.231",\
                 "0.2978, 0.3184, 0.3757, 0.4687, 0.6071, 0.8011, 1.058, 1.383, 1.78, 2.255",\
                 "0.3297, 0.3509, 0.4086, 0.5007, 0.6379, 0.8303, 1.086, 1.41, 1.806, 2.28",\
                 "0.3521, 0.3742, 0.4337, 0.5266, 0.6625, 0.8534, 1.107, 1.43, 1.826, 2.299",\
                 "0.3599, 0.3833, 0.4456, 0.5403, 0.6765, 0.8669, 1.119, 1.44, 1.833, 2.307",\
                 "0.3506, 0.3754, 0.4409, 0.5384, 0.6763, 0.8672, 1.12, 1.439, 1.831, 2.301",\
                 "0.3231, 0.3495, 0.4185, 0.5193, 0.6592, 0.8505, 1.104, 1.426, 1.817, 2.286",\
                 "0.2761, 0.3041, 0.3773, 0.4815, 0.6229, 0.8163, 1.071, 1.395, 1.79, 2.258");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.04471, 0.1314, 0.2971, 0.5551, 0.9172, 1.394, 1.994, 2.727, 3.6");
          index_2("0.001, 0.011, 0.0461, 0.1131, 0.2175, 0.3641, 0.5569, 0.7997, 1.096, 1.45");
          values("0.1281, 0.1537, 0.2194, 0.3172, 0.4583, 0.6592, 0.9326, 1.286, 1.727, 2.266",\
                 "0.128, 0.1538, 0.2191, 0.3172, 0.4584, 0.6593, 0.9319, 1.285, 1.728, 2.265",\
                 "0.1283, 0.1537, 0.2195, 0.3173, 0.4584, 0.6589, 0.932, 1.286, 1.728, 2.266",\
                 "0.1279, 0.1533, 0.2189, 0.3171, 0.4587, 0.6593, 0.9327, 1.285, 1.73, 2.266",\
                 "0.1295, 0.1555, 0.2215, 0.3202, 0.4609, 0.661, 0.9328, 1.287, 1.729, 2.266",\
                 "0.1432, 0.1686, 0.234, 0.3312, 0.4686, 0.6662, 0.936, 1.288, 1.73, 2.267",\
                 "0.1658, 0.1922, 0.2584, 0.3522, 0.4856, 0.678, 0.9426, 1.291, 1.732, 2.265",\
                 "0.1934, 0.2206, 0.2894, 0.3856, 0.5166, 0.7014, 0.958, 1.3, 1.736, 2.269",\
                 "0.2214, 0.2518, 0.3228, 0.4214, 0.5558, 0.7396, 0.9892, 1.321, 1.747, 2.273",\
                 "0.2526, 0.2846, 0.3608, 0.462, 0.598, 0.7836, 1.033, 1.361, 1.775, 2.287");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.04471, 0.1314, 0.2971, 0.5551, 0.9172, 1.394, 1.994, 2.727, 3.6");
          index_2("0.001, 0.011, 0.0461, 0.1131, 0.2175, 0.3641, 0.5569, 0.7997, 1.096, 1.45");
          values("0.09328, 0.1189, 0.1951, 0.3436, 0.5895, 0.9461, 1.42, 2.021, 2.752, 3.624",\
                 "0.09336, 0.1188, 0.1952, 0.3442, 0.5906, 0.9451, 1.422, 2.019, 2.748, 3.624",\
                 "0.09326, 0.1188, 0.195, 0.3442, 0.5903, 0.9461, 1.42, 2.021, 2.749, 3.619",\
                 "0.09336, 0.1186, 0.1957, 0.3439, 0.5898, 0.9458, 1.419, 2.02, 2.752, 3.623",\
                 "0.1005, 0.1261, 0.2016, 0.3477, 0.5921, 0.9461, 1.42, 2.018, 2.752, 3.626",\
                 "0.1129, 0.1391, 0.2132, 0.3558, 0.5962, 0.9486, 1.422, 2.018, 2.75, 3.62",\
                 "0.1282, 0.1542, 0.2302, 0.3692, 0.6068, 0.9552, 1.425, 2.021, 2.752, 3.623",\
                 "0.1454, 0.1732, 0.249, 0.3874, 0.6224, 0.97, 1.435, 2.026, 2.755, 3.626",\
                 "0.166, 0.193, 0.2726, 0.407, 0.6384, 0.988, 1.455, 2.042, 2.762, 3.629",\
                 "0.1874, 0.2162, 0.2962, 0.431, 0.6588, 1.006, 1.48, 2.068, 2.785, 3.64");
        }
      }
    }
  }