/*
 * 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__xor3_4) {
    area : 90.316800 ;

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

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

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

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

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

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

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

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

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

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

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

    pin(A1) {
      capacitance : 0.005181 ;
      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.005151 ;
      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.009078 ;
      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(Z) {
      direction : output ;
      function : "(A1^A2^A3)" ;
      max_capacitance : 1.441 ;
      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.01094, 0.04583, 0.1124, 0.2162, 0.3619, 0.5535, 0.7949, 1.09, 1.441");
          values("2.286, 2.212, 2.03, 1.825, 1.66, 1.553, 1.482, 1.43, 1.392, 1.363",\
                 "2.284, 2.211, 2.028, 1.824, 1.658, 1.552, 1.48, 1.429, 1.39, 1.362",\
                 "2.285, 2.211, 2.028, 1.824, 1.659, 1.552, 1.481, 1.429, 1.391, 1.362",\
                 "2.299, 2.225, 2.042, 1.839, 1.673, 1.566, 1.494, 1.443, 1.405, 1.377",\
                 "2.332, 2.259, 2.075, 1.872, 1.705, 1.599, 1.527, 1.476, 1.437, 1.409",\
                 "2.386, 2.314, 2.13, 1.926, 1.76, 1.653, 1.581, 1.53, 1.492, 1.464",\
                 "2.469, 2.396, 2.213, 2.007, 1.841, 1.734, 1.662, 1.61, 1.571, 1.543",\
                 "2.58, 2.506, 2.324, 2.118, 1.951, 1.844, 1.77, 1.718, 1.679, 1.65",\
                 "2.721, 2.647, 2.463, 2.255, 2.087, 1.98, 1.905, 1.853, 1.813, 1.784",\
                 "2.891, 2.817, 2.632, 2.423, 2.252, 2.143, 2.067, 2.013, 1.973, 1.943");
        }

        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.01094, 0.04583, 0.1124, 0.2162, 0.3619, 0.5535, 0.7949, 1.09, 1.441");
          values("2.245, 2.174, 1.997, 1.838, 1.711, 1.618, 1.554, 1.512, 1.482, 1.464",\
                 "2.245, 2.175, 2, 1.837, 1.709, 1.617, 1.553, 1.51, 1.482, 1.466",\
                 "2.245, 2.175, 2.001, 1.838, 1.712, 1.619, 1.554, 1.513, 1.483, 1.462",\
                 "2.254, 2.182, 2.007, 1.847, 1.72, 1.627, 1.562, 1.521, 1.491, 1.47",\
                 "2.268, 2.197, 2.024, 1.862, 1.734, 1.641, 1.577, 1.534, 1.506, 1.49",\
                 "2.289, 2.218, 2.046, 1.881, 1.757, 1.668, 1.604, 1.562, 1.534, 1.517",\
                 "2.336, 2.266, 2.094, 1.936, 1.814, 1.722, 1.657, 1.621, 1.59, 1.57",\
                 "2.407, 2.337, 2.164, 2, 1.878, 1.798, 1.735, 1.692, 1.659, 1.641",\
                 "2.492, 2.421, 2.247, 2.091, 1.965, 1.875, 1.818, 1.787, 1.763, 1.739",\
                 "2.597, 2.528, 2.354, 2.196, 2.072, 1.978, 1.914, 1.884, 1.875, 1.861");
        }
      }

      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.01094, 0.04583, 0.1124, 0.2162, 0.3619, 0.5535, 0.7949, 1.09, 1.441");
          values("2.179, 2.119, 1.974, 1.834, 1.739, 1.678, 1.635, 1.606, 1.585, 1.571",\
                 "2.179, 2.119, 1.974, 1.833, 1.739, 1.676, 1.635, 1.606, 1.585, 1.57",\
                 "2.18, 2.12, 1.976, 1.834, 1.74, 1.679, 1.637, 1.608, 1.587, 1.572",\
                 "2.189, 2.127, 1.984, 1.842, 1.748, 1.686, 1.644, 1.615, 1.594, 1.579",\
                 "2.209, 2.148, 2.005, 1.862, 1.767, 1.706, 1.664, 1.635, 1.614, 1.599",\
                 "2.238, 2.178, 2.033, 1.892, 1.799, 1.737, 1.695, 1.666, 1.645, 1.63",\
                 "2.292, 2.232, 2.089, 1.947, 1.853, 1.792, 1.751, 1.722, 1.701, 1.686",\
                 "2.365, 2.305, 2.162, 2.018, 1.925, 1.864, 1.822, 1.793, 1.772, 1.757",\
                 "2.457, 2.396, 2.253, 2.111, 2.019, 1.956, 1.914, 1.886, 1.865, 1.85",\
                 "2.569, 2.508, 2.365, 2.224, 2.131, 2.069, 2.028, 1.999, 1.978, 1.963");
        }

        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.01094, 0.04583, 0.1124, 0.2162, 0.3619, 0.5535, 0.7949, 1.09, 1.441");
          values("1.879, 1.817, 1.676, 1.566, 1.495, 1.45, 1.425, 1.408, 1.4, 1.401",\
                 "1.876, 1.814, 1.674, 1.561, 1.494, 1.449, 1.424, 1.411, 1.4, 1.401",\
                 "1.877, 1.814, 1.675, 1.566, 1.494, 1.449, 1.424, 1.41, 1.399, 1.403",\
                 "1.892, 1.828, 1.689, 1.577, 1.508, 1.464, 1.438, 1.42, 1.415, 1.412",\
                 "1.924, 1.862, 1.721, 1.611, 1.541, 1.495, 1.471, 1.453, 1.448, 1.452",\
                 "1.976, 1.915, 1.773, 1.667, 1.595, 1.551, 1.524, 1.508, 1.508, 1.51",\
                 "2.052, 1.991, 1.851, 1.739, 1.67, 1.627, 1.603, 1.585, 1.575, 1.58",\
                 "2.155, 2.093, 1.953, 1.846, 1.772, 1.728, 1.702, 1.69, 1.682, 1.675",\
                 "2.281, 2.219, 2.078, 1.968, 1.899, 1.855, 1.825, 1.81, 1.807, 1.801",\
                 "2.433, 2.371, 2.23, 2.12, 2.045, 2.007, 1.98, 1.965, 1.956, 1.961");
        }
      }

      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.01094, 0.04583, 0.1124, 0.2162, 0.3619, 0.5535, 0.7949, 1.09, 1.441");
          values("2.074, 2.001, 1.815, 1.606, 1.435, 1.326, 1.251, 1.197, 1.157, 1.127",\
                 "2.075, 2.001, 1.816, 1.607, 1.437, 1.326, 1.251, 1.198, 1.158, 1.128",\
                 "2.077, 2.003, 1.816, 1.608, 1.438, 1.327, 1.253, 1.199, 1.16, 1.13",\
                 "2.089, 2.015, 1.828, 1.62, 1.449, 1.338, 1.264, 1.21, 1.171, 1.141",\
                 "2.132, 2.058, 1.87, 1.66, 1.487, 1.375, 1.299, 1.245, 1.205, 1.175",\
                 "2.21, 2.135, 1.946, 1.732, 1.558, 1.443, 1.364, 1.308, 1.267, 1.235",\
                 "2.326, 2.25, 2.059, 1.84, 1.657, 1.537, 1.455, 1.397, 1.354, 1.321",\
                 "2.482, 2.406, 2.211, 1.985, 1.794, 1.667, 1.58, 1.517, 1.469, 1.434",\
                 "2.672, 2.595, 2.396, 2.162, 1.962, 1.825, 1.731, 1.664, 1.614, 1.575",\
                 "2.904, 2.825, 2.623, 2.379, 2.168, 2.021, 1.919, 1.844, 1.789, 1.748");
        }

        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.01094, 0.04583, 0.1124, 0.2162, 0.3619, 0.5535, 0.7949, 1.09, 1.441");
          values("2.142, 2.073, 1.901, 1.744, 1.621, 1.533, 1.473, 1.436, 1.406, 1.393",\
                 "2.142, 2.071, 1.902, 1.743, 1.622, 1.533, 1.471, 1.436, 1.406, 1.391",\
                 "2.144, 2.073, 1.903, 1.745, 1.622, 1.534, 1.473, 1.433, 1.407, 1.392",\
                 "2.154, 2.083, 1.909, 1.755, 1.631, 1.543, 1.483, 1.445, 1.417, 1.399",\
                 "2.186, 2.115, 1.943, 1.785, 1.664, 1.574, 1.512, 1.476, 1.446, 1.43",\
                 "2.26, 2.19, 2.017, 1.857, 1.734, 1.642, 1.578, 1.537, 1.509, 1.491",\
                 "2.396, 2.326, 2.151, 1.985, 1.857, 1.759, 1.69, 1.644, 1.613, 1.592",\
                 "2.597, 2.524, 2.346, 2.176, 2.042, 1.934, 1.856, 1.806, 1.768, 1.739",\
                 "2.861, 2.786, 2.598, 2.417, 2.273, 2.16, 2.069, 2.006, 1.961, 1.931",\
                 "3.168, 3.094, 2.9, 2.707, 2.545, 2.42, 2.324, 2.255, 2.194, 2.157");
        }
      }

      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.01094, 0.04583, 0.1124, 0.2162, 0.3619, 0.5535, 0.7949, 1.09, 1.441");
          values("2.122, 2.06, 1.918, 1.775, 1.683, 1.621, 1.579, 1.55, 1.53, 1.515",\
                 "2.121, 2.061, 1.917, 1.775, 1.682, 1.62, 1.579, 1.55, 1.53, 1.515",\
                 "2.122, 2.062, 1.919, 1.776, 1.684, 1.621, 1.58, 1.552, 1.531, 1.516",\
                 "2.131, 2.069, 1.925, 1.785, 1.692, 1.631, 1.589, 1.56, 1.54, 1.525",\
                 "2.154, 2.093, 1.953, 1.81, 1.717, 1.656, 1.614, 1.585, 1.564, 1.55",\
                 "2.202, 2.141, 1.998, 1.856, 1.762, 1.701, 1.659, 1.63, 1.61, 1.595",\
                 "2.275, 2.214, 2.07, 1.928, 1.835, 1.773, 1.731, 1.702, 1.681, 1.667",\
                 "2.379, 2.317, 2.177, 2.033, 1.936, 1.874, 1.831, 1.801, 1.78, 1.765",\
                 "2.512, 2.45, 2.304, 2.158, 2.063, 1.999, 1.955, 1.925, 1.903, 1.888",\
                 "2.672, 2.611, 2.463, 2.315, 2.217, 2.152, 2.107, 2.076, 2.054, 2.037");
        }

        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.01094, 0.04583, 0.1124, 0.2162, 0.3619, 0.5535, 0.7949, 1.09, 1.441");
          values("1.642, 1.579, 1.438, 1.326, 1.257, 1.212, 1.186, 1.173, 1.161, 1.154",\
                 "1.641, 1.58, 1.439, 1.33, 1.257, 1.211, 1.184, 1.173, 1.158, 1.168",\
                 "1.644, 1.582, 1.441, 1.33, 1.259, 1.214, 1.186, 1.17, 1.164, 1.161",\
                 "1.654, 1.591, 1.45, 1.341, 1.268, 1.222, 1.195, 1.184, 1.169, 1.171",\
                 "1.678, 1.615, 1.474, 1.366, 1.293, 1.247, 1.22, 1.207, 1.195, 1.203",\
                 "1.724, 1.662, 1.52, 1.407, 1.334, 1.289, 1.264, 1.251, 1.24, 1.234",\
                 "1.787, 1.724, 1.583, 1.473, 1.403, 1.357, 1.327, 1.312, 1.304, 1.297",\
                 "1.871, 1.812, 1.667, 1.554, 1.478, 1.442, 1.412, 1.392, 1.38, 1.379",\
                 "1.979, 1.916, 1.775, 1.662, 1.58, 1.539, 1.522, 1.502, 1.492, 1.487",\
                 "2.106, 2.042, 1.901, 1.786, 1.704, 1.655, 1.627, 1.619, 1.625, 1.619");
        }
      }

      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.01094, 0.04583, 0.1124, 0.2162, 0.3619, 0.5535, 0.7949, 1.09, 1.441");
          values("2.272, 2.199, 2.017, 1.812, 1.646, 1.54, 1.468, 1.417, 1.378, 1.35",\
                 "2.271, 2.197, 2.014, 1.811, 1.645, 1.538, 1.466, 1.414, 1.377, 1.348",\
                 "2.273, 2.199, 2.017, 1.814, 1.647, 1.541, 1.469, 1.417, 1.379, 1.351",\
                 "2.287, 2.214, 2.032, 1.827, 1.661, 1.555, 1.483, 1.432, 1.393, 1.365",\
                 "2.317, 2.243, 2.06, 1.856, 1.69, 1.584, 1.512, 1.461, 1.422, 1.394",\
                 "2.362, 2.288, 2.105, 1.901, 1.735, 1.628, 1.557, 1.505, 1.468, 1.439",\
                 "2.427, 2.354, 2.171, 1.967, 1.8, 1.694, 1.621, 1.57, 1.531, 1.502",\
                 "2.517, 2.444, 2.261, 2.055, 1.889, 1.781, 1.708, 1.656, 1.618, 1.59",\
                 "2.63, 2.557, 2.372, 2.167, 1.998, 1.891, 1.818, 1.766, 1.727, 1.697",\
                 "2.767, 2.693, 2.508, 2.302, 2.132, 2.024, 1.95, 1.897, 1.856, 1.827");
        }

        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.01094, 0.04583, 0.1124, 0.2162, 0.3619, 0.5535, 0.7949, 1.09, 1.441");
          values("2.154, 2.084, 1.91, 1.756, 1.632, 1.544, 1.483, 1.443, 1.417, 1.403",\
                 "2.154, 2.084, 1.914, 1.756, 1.634, 1.545, 1.484, 1.444, 1.418, 1.403",\
                 "2.158, 2.088, 1.913, 1.759, 1.636, 1.547, 1.487, 1.45, 1.421, 1.404",\
                 "2.166, 2.095, 1.923, 1.768, 1.645, 1.557, 1.497, 1.458, 1.436, 1.41",\
                 "2.183, 2.113, 1.942, 1.783, 1.662, 1.574, 1.512, 1.473, 1.45, 1.432",\
                 "2.214, 2.144, 1.972, 1.812, 1.692, 1.605, 1.544, 1.503, 1.477, 1.459",\
                 "2.262, 2.19, 2.018, 1.863, 1.747, 1.656, 1.593, 1.555, 1.527, 1.512",\
                 "2.324, 2.253, 2.08, 1.92, 1.798, 1.722, 1.661, 1.618, 1.592, 1.572",\
                 "2.391, 2.32, 2.148, 1.992, 1.871, 1.78, 1.727, 1.702, 1.671, 1.65",\
                 "2.474, 2.405, 2.23, 2.078, 1.958, 1.863, 1.806, 1.773, 1.764, 1.753");
        }
      }

      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.01094, 0.04583, 0.1124, 0.2162, 0.3619, 0.5535, 0.7949, 1.09, 1.441");
          values("2.132, 2.071, 1.928, 1.786, 1.693, 1.632, 1.59, 1.561, 1.541, 1.526",\
                 "2.132, 2.072, 1.929, 1.787, 1.693, 1.633, 1.591, 1.562, 1.541, 1.527",\
                 "2.136, 2.075, 1.932, 1.79, 1.697, 1.636, 1.594, 1.565, 1.545, 1.53",\
                 "2.145, 2.085, 1.942, 1.8, 1.706, 1.646, 1.604, 1.574, 1.554, 1.539",\
                 "2.164, 2.103, 1.96, 1.819, 1.724, 1.664, 1.622, 1.593, 1.572, 1.557",\
                 "2.193, 2.132, 1.989, 1.847, 1.754, 1.693, 1.651, 1.622, 1.602, 1.587",\
                 "2.239, 2.179, 2.036, 1.895, 1.801, 1.74, 1.698, 1.669, 1.649, 1.633",\
                 "2.299, 2.238, 2.095, 1.954, 1.86, 1.8, 1.758, 1.729, 1.708, 1.694",\
                 "2.375, 2.314, 2.171, 2.03, 1.937, 1.875, 1.834, 1.804, 1.784, 1.769",\
                 "2.464, 2.403, 2.26, 2.119, 2.026, 1.965, 1.924, 1.894, 1.874, 1.86");
        }

        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.01094, 0.04583, 0.1124, 0.2162, 0.3619, 0.5535, 0.7949, 1.09, 1.441");
          values("1.866, 1.803, 1.663, 1.555, 1.481, 1.437, 1.412, 1.397, 1.388, 1.388",\
                 "1.863, 1.801, 1.661, 1.553, 1.481, 1.436, 1.41, 1.392, 1.381, 1.383",\
                 "1.864, 1.803, 1.664, 1.554, 1.483, 1.437, 1.413, 1.396, 1.397, 1.4",\
                 "1.88, 1.818, 1.678, 1.569, 1.498, 1.452, 1.427, 1.41, 1.405, 1.404",\
                 "1.909, 1.847, 1.706, 1.596, 1.527, 1.48, 1.455, 1.437, 1.432, 1.437",\
                 "1.951, 1.89, 1.748, 1.642, 1.57, 1.525, 1.501, 1.481, 1.484, 1.486",\
                 "2.014, 1.952, 1.812, 1.704, 1.631, 1.587, 1.564, 1.547, 1.546, 1.547",\
                 "2.096, 2.036, 1.895, 1.784, 1.715, 1.67, 1.643, 1.629, 1.623, 1.622",\
                 "2.2, 2.14, 2, 1.888, 1.822, 1.774, 1.747, 1.731, 1.722, 1.721",\
                 "2.325, 2.263, 2.122, 2.01, 1.938, 1.898, 1.874, 1.857, 1.848, 1.846");
        }
      }

      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.01094, 0.04583, 0.1124, 0.2162, 0.3619, 0.5535, 0.7949, 1.09, 1.441");
          values("2.084, 2.01, 1.824, 1.615, 1.445, 1.335, 1.26, 1.206, 1.167, 1.137",\
                 "2.084, 2.011, 1.825, 1.616, 1.445, 1.336, 1.26, 1.207, 1.167, 1.137",\
                 "2.087, 2.013, 1.827, 1.618, 1.448, 1.337, 1.262, 1.209, 1.169, 1.14",\
                 "2.098, 2.024, 1.838, 1.628, 1.458, 1.347, 1.273, 1.22, 1.179, 1.15",\
                 "2.135, 2.06, 1.874, 1.664, 1.491, 1.38, 1.304, 1.25, 1.21, 1.18",\
                 "2.207, 2.133, 1.945, 1.73, 1.555, 1.441, 1.364, 1.308, 1.266, 1.235",\
                 "2.319, 2.244, 2.053, 1.834, 1.653, 1.533, 1.451, 1.392, 1.349, 1.316",\
                 "2.466, 2.39, 2.197, 1.971, 1.782, 1.655, 1.568, 1.507, 1.46, 1.424",\
                 "2.65, 2.571, 2.373, 2.14, 1.943, 1.806, 1.715, 1.647, 1.598, 1.561",\
                 "2.869, 2.793, 2.588, 2.347, 2.139, 1.995, 1.894, 1.821, 1.767, 1.727");
        }

        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.01094, 0.04583, 0.1124, 0.2162, 0.3619, 0.5535, 0.7949, 1.09, 1.441");
          values("2.219, 2.149, 1.974, 1.812, 1.685, 1.592, 1.528, 1.486, 1.46, 1.439",\
                 "2.219, 2.149, 1.973, 1.812, 1.684, 1.592, 1.527, 1.486, 1.455, 1.438",\
                 "2.221, 2.15, 1.976, 1.814, 1.686, 1.594, 1.529, 1.488, 1.456, 1.44",\
                 "2.231, 2.159, 1.984, 1.825, 1.697, 1.606, 1.541, 1.499, 1.469, 1.448",\
                 "2.265, 2.195, 2.019, 1.857, 1.73, 1.637, 1.571, 1.529, 1.504, 1.482",\
                 "2.337, 2.267, 2.089, 1.928, 1.799, 1.705, 1.637, 1.594, 1.566, 1.544",\
                 "2.468, 2.396, 2.218, 2.049, 1.918, 1.818, 1.747, 1.702, 1.669, 1.647",\
                 "2.665, 2.593, 2.409, 2.239, 2.1, 1.991, 1.913, 1.859, 1.821, 1.798",\
                 "2.929, 2.855, 2.669, 2.487, 2.343, 2.221, 2.131, 2.069, 2.024, 1.993",\
                 "3.246, 3.17, 2.975, 2.779, 2.62, 2.495, 2.397, 2.326, 2.268, 2.226");
        }
      }

      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.01094, 0.04583, 0.1124, 0.2162, 0.3619, 0.5535, 0.7949, 1.09, 1.441");
          values("2.156, 2.096, 1.951, 1.809, 1.716, 1.653, 1.611, 1.582, 1.561, 1.546",\
                 "2.154, 2.094, 1.949, 1.809, 1.715, 1.653, 1.611, 1.582, 1.56, 1.546",\
                 "2.157, 2.097, 1.953, 1.811, 1.717, 1.654, 1.613, 1.583, 1.562, 1.547",\
                 "2.168, 2.108, 1.963, 1.821, 1.727, 1.665, 1.623, 1.593, 1.573, 1.558",\
                 "2.193, 2.133, 1.989, 1.847, 1.753, 1.691, 1.649, 1.62, 1.599, 1.583",\
                 "2.241, 2.18, 2.037, 1.894, 1.799, 1.738, 1.696, 1.667, 1.646, 1.631",\
                 "2.316, 2.256, 2.111, 1.968, 1.874, 1.812, 1.77, 1.74, 1.719, 1.704",\
                 "2.423, 2.362, 2.218, 2.074, 1.978, 1.916, 1.874, 1.844, 1.823, 1.808",\
                 "2.562, 2.501, 2.355, 2.208, 2.113, 2.049, 2.006, 1.975, 1.954, 1.939",\
                 "2.73, 2.669, 2.521, 2.372, 2.274, 2.209, 2.164, 2.134, 2.112, 2.096");
        }

        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.01094, 0.04583, 0.1124, 0.2162, 0.3619, 0.5535, 0.7949, 1.09, 1.441");
          values("1.651, 1.588, 1.448, 1.339, 1.266, 1.22, 1.195, 1.18, 1.17, 1.174",\
                 "1.652, 1.589, 1.449, 1.339, 1.267, 1.22, 1.193, 1.179, 1.172, 1.169",\
                 "1.654, 1.592, 1.451, 1.341, 1.269, 1.222, 1.196, 1.179, 1.174, 1.172",\
                 "1.663, 1.6, 1.46, 1.351, 1.277, 1.231, 1.207, 1.191, 1.183, 1.184",\
                 "1.686, 1.624, 1.483, 1.374, 1.302, 1.255, 1.23, 1.212, 1.201, 1.202",\
                 "1.731, 1.668, 1.528, 1.415, 1.345, 1.299, 1.273, 1.258, 1.252, 1.246",\
                 "1.794, 1.732, 1.589, 1.479, 1.411, 1.364, 1.335, 1.316, 1.308, 1.306",\
                 "1.878, 1.816, 1.675, 1.561, 1.485, 1.449, 1.422, 1.403, 1.393, 1.397",\
                 "1.986, 1.923, 1.781, 1.667, 1.589, 1.542, 1.52, 1.514, 1.499, 1.503",\
                 "2.114, 2.051, 1.906, 1.792, 1.717, 1.667, 1.629, 1.625, 1.631, 1.631");
        }
      }

      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.01094, 0.04583, 0.1124, 0.2162, 0.3619, 0.5535, 0.7949, 1.09, 1.441");
          values("1.93, 1.858, 1.679, 1.479, 1.318, 1.215, 1.146, 1.097, 1.061, 1.033",\
                 "1.928, 1.856, 1.676, 1.476, 1.316, 1.213, 1.144, 1.095, 1.058, 1.031",\
                 "1.932, 1.859, 1.68, 1.481, 1.32, 1.217, 1.148, 1.099, 1.062, 1.035",\
                 "1.98, 1.906, 1.725, 1.523, 1.36, 1.254, 1.183, 1.133, 1.095, 1.067",\
                 "2.141, 2.066, 1.876, 1.659, 1.481, 1.364, 1.284, 1.226, 1.183, 1.152",\
                 "2.453, 2.373, 2.168, 1.921, 1.713, 1.57, 1.47, 1.397, 1.342, 1.302",\
                 "2.909, 2.822, 2.595, 2.316, 2.066, 1.882, 1.75, 1.654, 1.581, 1.527",\
                 "3.492, 3.4, 3.153, 2.836, 2.539, 2.308, 2.138, 2.009, 1.911, 1.836",\
                 "4.187, 4.09, 3.822, 3.474, 3.13, 2.843, 2.628, 2.462, 2.333, 2.232",\
                 "4.988, 4.887, 4.603, 4.224, 3.832, 3.492, 3.223, 3.014, 2.85, 2.721");
        }

        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.01094, 0.04583, 0.1124, 0.2162, 0.3619, 0.5535, 0.7949, 1.09, 1.441");
          values("1.186, 1.126, 0.9919, 0.8893, 0.8274, 0.7889, 0.7701, 0.7577, 0.7478, 0.7466",\
                 "1.188, 1.128, 0.9916, 0.8924, 0.829, 0.7894, 0.7701, 0.7621, 0.755, 0.7493",\
                 "1.198, 1.139, 1, 0.901, 0.8384, 0.7999, 0.7773, 0.7681, 0.7583, 0.7581",\
                 "1.267, 1.206, 1.065, 0.9574, 0.8873, 0.8422, 0.8158, 0.8055, 0.7957, 0.7895",\
                 "1.459, 1.395, 1.245, 1.116, 1.023, 0.9594, 0.9186, 0.8952, 0.8842, 0.8709",\
                 "1.761, 1.689, 1.514, 1.359, 1.244, 1.152, 1.091, 1.049, 1.023, 1.004",\
                 "2.163, 2.084, 1.889, 1.686, 1.542, 1.432, 1.343, 1.28, 1.235, 1.205",\
                 "2.658, 2.573, 2.357, 2.119, 1.93, 1.789, 1.678, 1.597, 1.531, 1.476",\
                 "3.246, 3.155, 2.919, 2.645, 2.419, 2.234, 2.095, 1.989, 1.903, 1.827",\
                 "3.924, 3.827, 3.571, 3.266, 3.003, 2.778, 2.601, 2.457, 2.355, 2.271");
        }
      }

      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.01094, 0.04583, 0.1124, 0.2162, 0.3619, 0.5535, 0.7949, 1.09, 1.441");
          values("1.704, 1.644, 1.505, 1.367, 1.278, 1.219, 1.18, 1.152, 1.133, 1.118",\
                 "1.703, 1.643, 1.504, 1.366, 1.277, 1.22, 1.179, 1.152, 1.132, 1.117",\
                 "1.704, 1.644, 1.505, 1.367, 1.278, 1.219, 1.18, 1.152, 1.132, 1.117",\
                 "1.719, 1.659, 1.518, 1.381, 1.29, 1.231, 1.191, 1.163, 1.142, 1.128",\
                 "1.757, 1.698, 1.558, 1.419, 1.329, 1.269, 1.229, 1.2, 1.179, 1.164",\
                 "1.852, 1.791, 1.646, 1.503, 1.406, 1.343, 1.301, 1.271, 1.249, 1.234",\
                 "2.001, 1.938, 1.787, 1.633, 1.53, 1.462, 1.414, 1.381, 1.358, 1.341",\
                 "2.192, 2.127, 1.971, 1.806, 1.692, 1.618, 1.566, 1.529, 1.502, 1.483",\
                 "2.43, 2.362, 2.198, 2.024, 1.898, 1.814, 1.756, 1.715, 1.685, 1.663",\
                 "2.704, 2.634, 2.463, 2.278, 2.139, 2.046, 1.979, 1.933, 1.899, 1.874");
        }

        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.01094, 0.04583, 0.1124, 0.2162, 0.3619, 0.5535, 0.7949, 1.09, 1.441");
          values("1.796, 1.731, 1.579, 1.456, 1.37, 1.315, 1.281, 1.261, 1.247, 1.246",\
                 "1.795, 1.731, 1.579, 1.455, 1.369, 1.314, 1.281, 1.26, 1.248, 1.247",\
                 "1.8, 1.735, 1.585, 1.459, 1.375, 1.321, 1.286, 1.264, 1.254, 1.252",\
                 "1.824, 1.76, 1.609, 1.484, 1.398, 1.343, 1.309, 1.288, 1.281, 1.273",\
                 "1.884, 1.821, 1.668, 1.543, 1.456, 1.399, 1.363, 1.341, 1.334, 1.324",\
                 "1.988, 1.923, 1.771, 1.645, 1.554, 1.496, 1.459, 1.434, 1.423, 1.417",\
                 "2.144, 2.079, 1.927, 1.797, 1.706, 1.639, 1.599, 1.576, 1.558, 1.551",\
                 "2.357, 2.291, 2.134, 1.995, 1.9, 1.832, 1.785, 1.754, 1.734, 1.724",\
                 "2.623, 2.555, 2.392, 2.248, 2.138, 2.066, 2.019, 1.981, 1.957, 1.939",\
                 "2.937, 2.869, 2.703, 2.548, 2.426, 2.337, 2.285, 2.25, 2.224, 2.205");
        }
      }

      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.01094, 0.04583, 0.1124, 0.2162, 0.3619, 0.5535, 0.7949, 1.09, 1.441");
          values("1.704, 1.644, 1.503, 1.367, 1.278, 1.22, 1.18, 1.152, 1.133, 1.118",\
                 "1.703, 1.643, 1.504, 1.368, 1.277, 1.219, 1.179, 1.152, 1.132, 1.117",\
                 "1.704, 1.644, 1.505, 1.367, 1.278, 1.219, 1.18, 1.152, 1.132, 1.117",\
                 "1.719, 1.659, 1.518, 1.381, 1.29, 1.231, 1.191, 1.163, 1.142, 1.128",\
                 "1.757, 1.698, 1.558, 1.419, 1.329, 1.269, 1.229, 1.2, 1.179, 1.164",\
                 "1.852, 1.79, 1.646, 1.503, 1.406, 1.343, 1.301, 1.271, 1.25, 1.234",\
                 "2.001, 1.938, 1.787, 1.633, 1.53, 1.463, 1.414, 1.381, 1.358, 1.341",\
                 "2.192, 2.126, 1.971, 1.806, 1.693, 1.617, 1.566, 1.529, 1.502, 1.483",\
                 "2.43, 2.362, 2.198, 2.023, 1.898, 1.814, 1.756, 1.714, 1.684, 1.662",\
                 "2.704, 2.634, 2.463, 2.278, 2.139, 2.046, 1.979, 1.933, 1.899, 1.874");
        }

        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.01094, 0.04583, 0.1124, 0.2162, 0.3619, 0.5535, 0.7949, 1.09, 1.441");
          values("1.796, 1.731, 1.579, 1.456, 1.37, 1.315, 1.281, 1.261, 1.247, 1.247",\
                 "1.795, 1.73, 1.58, 1.455, 1.369, 1.314, 1.281, 1.26, 1.247, 1.247",\
                 "1.8, 1.736, 1.585, 1.459, 1.375, 1.321, 1.286, 1.265, 1.256, 1.25",\
                 "1.824, 1.76, 1.609, 1.484, 1.398, 1.343, 1.309, 1.288, 1.282, 1.273",\
                 "1.884, 1.821, 1.668, 1.543, 1.456, 1.399, 1.363, 1.341, 1.334, 1.324",\
                 "1.987, 1.923, 1.771, 1.645, 1.554, 1.496, 1.459, 1.434, 1.423, 1.417",\
                 "2.143, 2.079, 1.928, 1.798, 1.705, 1.639, 1.6, 1.576, 1.558, 1.552",\
                 "2.357, 2.291, 2.134, 1.995, 1.9, 1.831, 1.785, 1.754, 1.734, 1.723",\
                 "2.622, 2.555, 2.395, 2.248, 2.138, 2.067, 2.019, 1.981, 1.956, 1.941",\
                 "2.939, 2.87, 2.703, 2.545, 2.426, 2.341, 2.284, 2.25, 2.225, 2.205");
        }
      }

      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.01094, 0.04583, 0.1124, 0.2162, 0.3619, 0.5535, 0.7949, 1.09, 1.441");
          values("1.93, 1.858, 1.679, 1.48, 1.318, 1.216, 1.147, 1.097, 1.06, 1.033",\
                 "1.928, 1.856, 1.676, 1.477, 1.316, 1.214, 1.144, 1.095, 1.058, 1.03",\
                 "1.932, 1.859, 1.68, 1.481, 1.32, 1.217, 1.148, 1.099, 1.062, 1.035",\
                 "1.98, 1.906, 1.725, 1.523, 1.36, 1.254, 1.183, 1.133, 1.095, 1.067",\
                 "2.141, 2.066, 1.876, 1.66, 1.482, 1.364, 1.284, 1.226, 1.184, 1.152",\
                 "2.455, 2.374, 2.167, 1.923, 1.713, 1.57, 1.47, 1.397, 1.343, 1.302",\
                 "2.909, 2.823, 2.596, 2.318, 2.065, 1.883, 1.752, 1.655, 1.582, 1.527",\
                 "3.493, 3.399, 3.151, 2.837, 2.539, 2.307, 2.138, 2.009, 1.912, 1.837",\
                 "4.188, 4.09, 3.825, 3.474, 3.129, 2.845, 2.628, 2.462, 2.335, 2.234",\
                 "4.989, 4.887, 4.602, 4.224, 3.833, 3.492, 3.223, 3.015, 2.852, 2.722");
        }

        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.01094, 0.04583, 0.1124, 0.2162, 0.3619, 0.5535, 0.7949, 1.09, 1.441");
          values("1.186, 1.126, 0.9919, 0.8892, 0.8272, 0.7887, 0.7705, 0.7581, 0.7483, 0.7464",\
                 "1.188, 1.128, 0.9915, 0.8924, 0.8294, 0.7893, 0.7694, 0.7597, 0.7549, 0.7486",\
                 "1.198, 1.139, 1.001, 0.9009, 0.8382, 0.8003, 0.7771, 0.763, 0.756, 0.7585",\
                 "1.267, 1.206, 1.065, 0.9581, 0.8872, 0.8443, 0.8167, 0.8054, 0.795, 0.7882",\
                 "1.459, 1.394, 1.244, 1.115, 1.023, 0.9592, 0.9201, 0.8961, 0.8781, 0.8773",\
                 "1.76, 1.688, 1.515, 1.356, 1.244, 1.154, 1.09, 1.05, 1.019, 1.003",\
                 "2.163, 2.084, 1.887, 1.692, 1.543, 1.432, 1.345, 1.279, 1.234, 1.196",\
                 "2.658, 2.574, 2.354, 2.118, 1.934, 1.79, 1.682, 1.595, 1.526, 1.476",\
                 "3.246, 3.155, 2.919, 2.647, 2.418, 2.236, 2.094, 1.991, 1.907, 1.828",\
                 "3.925, 3.827, 3.572, 3.264, 3.004, 2.779, 2.6, 2.463, 2.358, 2.27");
        }
      }

      timing() {
        related_pin : "A1" ;
        sdf_cond : "A2===1'b0 && 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.01094, 0.04583, 0.1124, 0.2162, 0.3619, 0.5535, 0.7949, 1.09, 1.441");
          values("1.079, 1.099, 1.152, 1.229, 1.33, 1.463, 1.635, 1.85, 2.114, 2.429",\
                 "1.082, 1.102, 1.155, 1.232, 1.333, 1.466, 1.637, 1.853, 2.117, 2.432",\
                 "1.091, 1.11, 1.163, 1.24, 1.342, 1.475, 1.646, 1.862, 2.126, 2.441",\
                 "1.092, 1.112, 1.164, 1.241, 1.343, 1.476, 1.647, 1.863, 2.127, 2.442",\
                 "1.076, 1.095, 1.148, 1.225, 1.327, 1.46, 1.631, 1.847, 2.111, 2.426",\
                 "1.041, 1.061, 1.114, 1.191, 1.293, 1.426, 1.597, 1.813, 2.077, 2.392",\
                 "0.9863, 1.006, 1.059, 1.136, 1.238, 1.371, 1.542, 1.758, 2.021, 2.337",\
                 "0.9032, 0.923, 0.9758, 1.053, 1.155, 1.287, 1.459, 1.674, 1.938, 2.254",\
                 "0.7915, 0.8113, 0.8639, 0.9412, 1.043, 1.176, 1.347, 1.563, 1.827, 2.142",\
                 "0.6516, 0.6712, 0.724, 0.8011, 0.903, 1.036, 1.207, 1.423, 1.687, 2.002");
        }

        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.01094, 0.04583, 0.1124, 0.2162, 0.3619, 0.5535, 0.7949, 1.09, 1.441");
          values("0.9747, 0.9955, 1.053, 1.146, 1.284, 1.477, 1.733, 2.056, 2.45, 2.923",\
                 "0.9748, 0.9956, 1.054, 1.146, 1.285, 1.478, 1.733, 2.056, 2.451, 2.922",\
                 "0.9858, 1.007, 1.065, 1.158, 1.296, 1.489, 1.744, 2.066, 2.461, 2.934",\
                 "1.031, 1.052, 1.11, 1.202, 1.341, 1.534, 1.789, 2.112, 2.507, 2.978",\
                 "1.119, 1.14, 1.197, 1.29, 1.428, 1.621, 1.877, 2.2, 2.595, 3.067",\
                 "1.248, 1.269, 1.327, 1.42, 1.558, 1.751, 2.006, 2.329, 2.725, 3.196",\
                 "1.417, 1.438, 1.496, 1.588, 1.727, 1.919, 2.174, 2.497, 2.893, 3.365",\
                 "1.62, 1.641, 1.698, 1.791, 1.929, 2.122, 2.377, 2.7, 3.096, 3.568",\
                 "1.853, 1.874, 1.932, 2.025, 2.163, 2.356, 2.611, 2.934, 3.329, 3.801",\
                 "2.119, 2.14, 2.198, 2.291, 2.429, 2.622, 2.877, 3.199, 3.594, 4.066");
        }

        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.01094, 0.04583, 0.1124, 0.2162, 0.3619, 0.5535, 0.7949, 1.09, 1.441");
          values("0.0958, 0.118, 0.1728, 0.26, 0.3964, 0.6014, 0.8846, 1.251, 1.703, 2.239",\
                 "0.096, 0.118, 0.1732, 0.26, 0.3966, 0.6014, 0.8858, 1.253, 1.702, 2.242",\
                 "0.096, 0.1178, 0.1732, 0.26, 0.3964, 0.6012, 0.886, 1.252, 1.703, 2.24",\
                 "0.0958, 0.1176, 0.1738, 0.2602, 0.3966, 0.6018, 0.8858, 1.252, 1.701, 2.241",\
                 "0.0962, 0.1178, 0.1734, 0.2602, 0.3966, 0.6012, 0.886, 1.253, 1.701, 2.242",\
                 "0.0964, 0.1178, 0.1732, 0.2602, 0.3964, 0.6018, 0.885, 1.252, 1.701, 2.239",\
                 "0.096, 0.1174, 0.173, 0.2604, 0.3968, 0.6018, 0.8858, 1.251, 1.703, 2.24",\
                 "0.0962, 0.1174, 0.173, 0.2602, 0.3966, 0.6016, 0.8848, 1.251, 1.702, 2.241",\
                 "0.096, 0.1172, 0.173, 0.26, 0.3966, 0.6018, 0.8846, 1.25, 1.7, 2.238",\
                 "0.0954, 0.1172, 0.1732, 0.26, 0.3962, 0.6018, 0.8858, 1.25, 1.702, 2.239");
        }

        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.01094, 0.04583, 0.1124, 0.2162, 0.3619, 0.5535, 0.7949, 1.09, 1.441");
          values("0.09618, 0.1217, 0.197, 0.3446, 0.5874, 0.9408, 1.413, 2.009, 2.734, 3.6",\
                 "0.0961, 0.1214, 0.1976, 0.3446, 0.5878, 0.9404, 1.413, 2.008, 2.734, 3.599",\
                 "0.0958, 0.1218, 0.1974, 0.3448, 0.5878, 0.9408, 1.413, 2.008, 2.734, 3.602",\
                 "0.0962, 0.1218, 0.197, 0.3444, 0.5876, 0.9402, 1.413, 2.009, 2.732, 3.602",\
                 "0.0962, 0.1214, 0.197, 0.3444, 0.5874, 0.9408, 1.413, 2.009, 2.732, 3.599",\
                 "0.0962, 0.1218, 0.1976, 0.3444, 0.5876, 0.94, 1.412, 2.006, 2.733, 3.601",\
                 "0.096, 0.1214, 0.1976, 0.344, 0.5876, 0.9414, 1.411, 2.008, 2.735, 3.6",\
                 "0.0958, 0.121, 0.1976, 0.3442, 0.5882, 0.9408, 1.412, 2.008, 2.734, 3.602",\
                 "0.0956, 0.122, 0.1972, 0.3442, 0.5878, 0.9416, 1.413, 2.01, 2.737, 3.601",\
                 "0.0958, 0.122, 0.198, 0.3448, 0.5878, 0.941, 1.411, 2.009, 2.736, 3.604");
        }
      }

      timing() {
        related_pin : "A1" ;
        sdf_cond : "A2===1'b1 && 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.01094, 0.04583, 0.1124, 0.2162, 0.3619, 0.5535, 0.7949, 1.09, 1.441");
          values("0.5822, 0.6044, 0.6647, 0.7535, 0.8681, 1.012, 1.19, 1.408, 1.673, 1.987",\
                 "0.5854, 0.6075, 0.6678, 0.7568, 0.8713, 1.015, 1.193, 1.412, 1.676, 1.99",\
                 "0.5971, 0.6193, 0.6795, 0.7685, 0.883, 1.027, 1.205, 1.423, 1.687, 2.002",\
                 "0.6202, 0.6426, 0.7027, 0.7916, 0.9062, 1.05, 1.228, 1.446, 1.711, 2.025",\
                 "0.6485, 0.6708, 0.7313, 0.8196, 0.934, 1.078, 1.256, 1.474, 1.738, 2.053",\
                 "0.6679, 0.6902, 0.7508, 0.8394, 0.9539, 1.097, 1.276, 1.494, 1.758, 2.072",\
                 "0.6731, 0.6955, 0.7559, 0.8445, 0.9589, 1.102, 1.28, 1.498, 1.762, 2.077",\
                 "0.6593, 0.6816, 0.7425, 0.8308, 0.9451, 1.089, 1.267, 1.484, 1.748, 2.063",\
                 "0.6236, 0.6461, 0.7072, 0.7963, 0.9108, 1.054, 1.232, 1.45, 1.713, 2.027",\
                 "0.5652, 0.5885, 0.65, 0.7395, 0.8541, 0.9975, 1.175, 1.393, 1.656, 1.97");
        }

        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.01094, 0.04583, 0.1124, 0.2162, 0.3619, 0.5535, 0.7949, 1.09, 1.441");
          values("0.7665, 0.7887, 0.8486, 0.9415, 1.078, 1.268, 1.52, 1.841, 2.234, 2.704",\
                 "0.7705, 0.7925, 0.8526, 0.9456, 1.082, 1.272, 1.525, 1.845, 2.238, 2.709",\
                 "0.7884, 0.8105, 0.8706, 0.9635, 1.1, 1.29, 1.543, 1.863, 2.256, 2.727",\
                 "0.8348, 0.8568, 0.9166, 1.01, 1.146, 1.336, 1.589, 1.909, 2.302, 2.772",\
                 "0.92, 0.9423, 1.002, 1.095, 1.231, 1.421, 1.674, 1.994, 2.388, 2.858",\
                 "1.047, 1.069, 1.129, 1.222, 1.358, 1.548, 1.8, 2.121, 2.514, 2.984",\
                 "1.212, 1.235, 1.295, 1.388, 1.523, 1.713, 1.965, 2.285, 2.678, 3.147",\
                 "1.413, 1.435, 1.496, 1.589, 1.725, 1.914, 2.165, 2.485, 2.877, 3.346",\
                 "1.643, 1.666, 1.727, 1.821, 1.957, 2.145, 2.396, 2.714, 3.106, 3.575",\
                 "1.9, 1.923, 1.985, 2.081, 2.216, 2.404, 2.654, 2.972, 3.363, 3.831");
        }

        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.01094, 0.04583, 0.1124, 0.2162, 0.3619, 0.5535, 0.7949, 1.09, 1.441");
          values("0.1297, 0.1552, 0.2202, 0.3171, 0.4562, 0.6544, 0.9263, 1.278, 1.72, 2.255",\
                 "0.1301, 0.1555, 0.22, 0.3169, 0.4561, 0.6553, 0.9262, 1.278, 1.718, 2.255",\
                 "0.13, 0.156, 0.2207, 0.3171, 0.4565, 0.6551, 0.9264, 1.278, 1.72, 2.255",\
                 "0.13, 0.1562, 0.2208, 0.3173, 0.4566, 0.6552, 0.9262, 1.277, 1.717, 2.252",\
                 "0.1305, 0.156, 0.2206, 0.3176, 0.457, 0.6554, 0.9264, 1.277, 1.718, 2.252",\
                 "0.1308, 0.1568, 0.2214, 0.3182, 0.457, 0.656, 0.9276, 1.278, 1.717, 2.254",\
                 "0.1328, 0.1592, 0.2236, 0.3208, 0.4594, 0.6564, 0.9272, 1.279, 1.719, 2.255",\
                 "0.1358, 0.162, 0.227, 0.3236, 0.4616, 0.6588, 0.9276, 1.277, 1.719, 2.253",\
                 "0.1394, 0.1658, 0.2312, 0.3276, 0.4646, 0.6608, 0.9302, 1.279, 1.718, 2.25",\
                 "0.1454, 0.1706, 0.237, 0.3324, 0.4688, 0.664, 0.9308, 1.28, 1.719, 2.251");
        }

        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.01094, 0.04583, 0.1124, 0.2162, 0.3619, 0.5535, 0.7949, 1.09, 1.441");
          values("0.113, 0.1388, 0.2138, 0.3554, 0.5953, 0.945, 1.414, 2.01, 2.736, 3.604",\
                 "0.113, 0.1387, 0.2137, 0.3559, 0.5952, 0.9464, 1.416, 2.01, 2.736, 3.604",\
                 "0.1129, 0.1382, 0.2137, 0.3555, 0.5952, 0.9452, 1.414, 2.01, 2.736, 3.604",\
                 "0.1132, 0.139, 0.2134, 0.3554, 0.5956, 0.9448, 1.416, 2.009, 2.737, 3.602",\
                 "0.113, 0.1388, 0.2138, 0.3558, 0.5952, 0.9452, 1.414, 2.01, 2.736, 3.604",\
                 "0.1134, 0.1392, 0.2144, 0.356, 0.5954, 0.9462, 1.414, 2.01, 2.736, 3.604",\
                 "0.1148, 0.14, 0.2154, 0.3578, 0.5964, 0.9456, 1.415, 2.01, 2.737, 3.603",\
                 "0.117, 0.1432, 0.2186, 0.3592, 0.5986, 0.9462, 1.417, 2.007, 2.737, 3.601",\
                 "0.1216, 0.1474, 0.2236, 0.3632, 0.6006, 0.9492, 1.416, 2.01, 2.736, 3.601",\
                 "0.1264, 0.1532, 0.2294, 0.3688, 0.6056, 0.9524, 1.418, 2.01, 2.737, 3.601");
        }
      }

      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.01094, 0.04583, 0.1124, 0.2162, 0.3619, 0.5535, 0.7949, 1.09, 1.441");
          values("1.079, 1.099, 1.152, 1.229, 1.33, 1.463, 1.635, 1.85, 2.114, 2.429",\
                 "1.082, 1.102, 1.155, 1.232, 1.333, 1.466, 1.637, 1.853, 2.117, 2.432",\
                 "1.091, 1.11, 1.163, 1.24, 1.342, 1.475, 1.646, 1.862, 2.126, 2.441",\
                 "1.092, 1.112, 1.164, 1.241, 1.343, 1.476, 1.647, 1.863, 2.127, 2.442",\
                 "1.076, 1.095, 1.148, 1.225, 1.327, 1.46, 1.631, 1.847, 2.111, 2.426",\
                 "1.041, 1.061, 1.114, 1.191, 1.293, 1.426, 1.597, 1.813, 2.077, 2.392",\
                 "0.9863, 1.006, 1.059, 1.136, 1.238, 1.371, 1.542, 1.758, 2.021, 2.337",\
                 "0.9032, 0.923, 0.9758, 1.053, 1.155, 1.287, 1.459, 1.674, 1.938, 2.254",\
                 "0.7915, 0.8113, 0.8639, 0.9412, 1.043, 1.176, 1.347, 1.563, 1.827, 2.142",\
                 "0.6516, 0.6712, 0.724, 0.8011, 0.903, 1.036, 1.207, 1.423, 1.687, 2.002");
        }

        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.01094, 0.04583, 0.1124, 0.2162, 0.3619, 0.5535, 0.7949, 1.09, 1.441");
          values("0.9747, 0.9955, 1.053, 1.146, 1.284, 1.477, 1.733, 2.056, 2.45, 2.923",\
                 "0.9748, 0.9956, 1.054, 1.146, 1.285, 1.478, 1.733, 2.056, 2.451, 2.922",\
                 "0.9858, 1.007, 1.065, 1.158, 1.296, 1.489, 1.744, 2.066, 2.461, 2.934",\
                 "1.031, 1.052, 1.11, 1.202, 1.341, 1.534, 1.789, 2.112, 2.507, 2.978",\
                 "1.119, 1.14, 1.197, 1.29, 1.428, 1.621, 1.877, 2.2, 2.595, 3.067",\
                 "1.248, 1.269, 1.327, 1.42, 1.558, 1.751, 2.006, 2.329, 2.725, 3.196",\
                 "1.417, 1.438, 1.496, 1.588, 1.727, 1.919, 2.174, 2.497, 2.893, 3.365",\
                 "1.62, 1.641, 1.698, 1.791, 1.929, 2.122, 2.377, 2.7, 3.096, 3.568",\
                 "1.853, 1.874, 1.932, 2.025, 2.163, 2.356, 2.611, 2.934, 3.329, 3.801",\
                 "2.119, 2.14, 2.198, 2.291, 2.429, 2.622, 2.877, 3.199, 3.594, 4.066");
        }

        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.01094, 0.04583, 0.1124, 0.2162, 0.3619, 0.5535, 0.7949, 1.09, 1.441");
          values("0.1297, 0.1552, 0.2202, 0.3171, 0.4562, 0.6544, 0.9263, 1.278, 1.72, 2.255",\
                 "0.1301, 0.1555, 0.22, 0.3169, 0.4561, 0.6553, 0.9262, 1.278, 1.718, 2.255",\
                 "0.13, 0.156, 0.2207, 0.3171, 0.4565, 0.6551, 0.9264, 1.278, 1.72, 2.255",\
                 "0.13, 0.1562, 0.2208, 0.3173, 0.4566, 0.6552, 0.9262, 1.277, 1.717, 2.252",\
                 "0.1305, 0.156, 0.2206, 0.3176, 0.457, 0.6554, 0.9264, 1.277, 1.718, 2.252",\
                 "0.1308, 0.1568, 0.2214, 0.3182, 0.457, 0.656, 0.9276, 1.278, 1.717, 2.254",\
                 "0.1328, 0.1592, 0.2236, 0.3208, 0.4594, 0.6564, 0.9272, 1.279, 1.719, 2.255",\
                 "0.1358, 0.162, 0.227, 0.3236, 0.4616, 0.6588, 0.9276, 1.277, 1.719, 2.253",\
                 "0.1394, 0.1658, 0.2312, 0.3276, 0.4646, 0.6608, 0.9302, 1.279, 1.718, 2.25",\
                 "0.1454, 0.1706, 0.237, 0.3324, 0.4688, 0.664, 0.9308, 1.28, 1.719, 2.251");
        }

        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.01094, 0.04583, 0.1124, 0.2162, 0.3619, 0.5535, 0.7949, 1.09, 1.441");
          values("0.09618, 0.1217, 0.197, 0.3446, 0.5874, 0.9408, 1.413, 2.009, 2.734, 3.6",\
                 "0.0961, 0.1214, 0.1976, 0.3446, 0.5878, 0.9404, 1.413, 2.008, 2.734, 3.599",\
                 "0.0958, 0.1218, 0.1974, 0.3448, 0.5878, 0.9408, 1.413, 2.008, 2.734, 3.602",\
                 "0.0962, 0.1218, 0.197, 0.3444, 0.5876, 0.9402, 1.413, 2.009, 2.732, 3.602",\
                 "0.0962, 0.1214, 0.197, 0.3444, 0.5874, 0.9408, 1.413, 2.009, 2.732, 3.599",\
                 "0.0962, 0.1218, 0.1976, 0.3444, 0.5876, 0.94, 1.412, 2.006, 2.733, 3.601",\
                 "0.096, 0.1214, 0.1976, 0.344, 0.5876, 0.9414, 1.411, 2.008, 2.735, 3.6",\
                 "0.0958, 0.121, 0.1976, 0.3442, 0.5882, 0.9408, 1.412, 2.008, 2.734, 3.602",\
                 "0.0956, 0.122, 0.1972, 0.3442, 0.5878, 0.9416, 1.413, 2.01, 2.737, 3.601",\
                 "0.0958, 0.122, 0.198, 0.3448, 0.5878, 0.941, 1.411, 2.009, 2.736, 3.604");
        }
      }

      timing() {
        related_pin : "A1" ;
        sdf_cond : "A2===1'b0 && 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.01094, 0.04583, 0.1124, 0.2162, 0.3619, 0.5535, 0.7949, 1.09, 1.441");
          values("0.8405, 0.8626, 0.9229, 1.012, 1.126, 1.27, 1.448, 1.666, 1.931, 2.245",\
                 "0.8406, 0.863, 0.9233, 1.012, 1.126, 1.27, 1.448, 1.666, 1.931, 2.246",\
                 "0.8519, 0.8741, 0.9345, 1.023, 1.137, 1.281, 1.459, 1.678, 1.942, 2.257",\
                 "0.8968, 0.919, 0.9791, 1.068, 1.182, 1.326, 1.504, 1.723, 1.987, 2.302",\
                 "0.9843, 1.007, 1.067, 1.155, 1.27, 1.413, 1.592, 1.81, 2.074, 2.389",\
                 "1.113, 1.136, 1.196, 1.284, 1.399, 1.543, 1.721, 1.939, 2.203, 2.518",\
                 "1.281, 1.303, 1.364, 1.452, 1.567, 1.71, 1.888, 2.107, 2.371, 2.686",\
                 "1.482, 1.505, 1.565, 1.653, 1.768, 1.912, 2.09, 2.308, 2.573, 2.887",\
                 "1.716, 1.738, 1.798, 1.887, 2.001, 2.144, 2.323, 2.541, 2.805, 3.12",\
                 "1.98, 2.003, 2.063, 2.152, 2.266, 2.41, 2.588, 2.806, 3.07, 3.385");
        }

        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.01094, 0.04583, 0.1124, 0.2162, 0.3619, 0.5535, 0.7949, 1.09, 1.441");
          values("0.9277, 0.9497, 1.01, 1.103, 1.239, 1.429, 1.681, 2.002, 2.394, 2.865",\
                 "0.9306, 0.9527, 1.013, 1.106, 1.242, 1.432, 1.684, 2.005, 2.398, 2.868",\
                 "0.9391, 0.9615, 1.022, 1.115, 1.251, 1.441, 1.693, 2.014, 2.406, 2.876",\
                 "0.9402, 0.9623, 1.022, 1.116, 1.252, 1.442, 1.694, 2.014, 2.407, 2.877",\
                 "0.9241, 0.9464, 1.006, 1.1, 1.236, 1.426, 1.678, 1.998, 2.391, 2.861",\
                 "0.8897, 0.9121, 0.972, 1.065, 1.201, 1.391, 1.644, 1.964, 2.357, 2.827",\
                 "0.8338, 0.856, 0.916, 1.009, 1.145, 1.335, 1.588, 1.908, 2.301, 2.771",\
                 "0.7506, 0.7728, 0.8328, 0.9257, 1.062, 1.252, 1.504, 1.824, 2.217, 2.688",\
                 "0.638, 0.6604, 0.7201, 0.8133, 0.9495, 1.139, 1.392, 1.712, 2.105, 2.575",\
                 "0.4979, 0.5202, 0.5798, 0.6729, 0.8086, 0.9989, 1.251, 1.572, 1.965, 2.435");
        }

        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.01094, 0.04583, 0.1124, 0.2162, 0.3619, 0.5535, 0.7949, 1.09, 1.441");
          values("0.1275, 0.1537, 0.2184, 0.315, 0.4548, 0.6542, 0.9246, 1.276, 1.718, 2.253",\
                 "0.1285, 0.1535, 0.2183, 0.315, 0.455, 0.6544, 0.9254, 1.277, 1.719, 2.255",\
                 "0.1276, 0.1534, 0.2184, 0.315, 0.4548, 0.654, 0.9264, 1.277, 1.719, 2.255",\
                 "0.1286, 0.1532, 0.218, 0.315, 0.455, 0.6542, 0.9254, 1.278, 1.718, 2.255",\
                 "0.1286, 0.1536, 0.2184, 0.315, 0.455, 0.6544, 0.9252, 1.277, 1.719, 2.252",\
                 "0.128, 0.1536, 0.2182, 0.3148, 0.455, 0.6542, 0.9256, 1.278, 1.718, 2.252",\
                 "0.1278, 0.1532, 0.218, 0.3152, 0.4548, 0.6534, 0.9248, 1.278, 1.719, 2.251",\
                 "0.1284, 0.1538, 0.2182, 0.315, 0.4546, 0.654, 0.9244, 1.276, 1.718, 2.254",\
                 "0.1286, 0.154, 0.2186, 0.3154, 0.4548, 0.6544, 0.9246, 1.278, 1.719, 2.254",\
                 "0.1288, 0.1544, 0.2196, 0.3162, 0.4556, 0.655, 0.9246, 1.278, 1.718, 2.253");
        }

        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.01094, 0.04583, 0.1124, 0.2162, 0.3619, 0.5535, 0.7949, 1.09, 1.441");
          values("0.1147, 0.1409, 0.2157, 0.357, 0.596, 0.9454, 1.415, 2.007, 2.737, 3.604",\
                 "0.1147, 0.14, 0.2157, 0.3578, 0.5958, 0.9456, 1.414, 2.01, 2.736, 3.604",\
                 "0.1147, 0.1406, 0.2156, 0.357, 0.5962, 0.9456, 1.414, 2.007, 2.737, 3.601",\
                 "0.115, 0.1408, 0.2156, 0.3568, 0.596, 0.9456, 1.414, 2.008, 2.737, 3.602",\
                 "0.1146, 0.1406, 0.2156, 0.3568, 0.5958, 0.9458, 1.416, 2.01, 2.736, 3.604",\
                 "0.1136, 0.1392, 0.2146, 0.3568, 0.5958, 0.9454, 1.416, 2.01, 2.736, 3.604",\
                 "0.1136, 0.1388, 0.2146, 0.356, 0.5954, 0.9452, 1.414, 2.009, 2.737, 3.601",\
                 "0.1132, 0.139, 0.214, 0.356, 0.5958, 0.9468, 1.415, 2.01, 2.736, 3.603",\
                 "0.113, 0.1384, 0.2142, 0.356, 0.5952, 0.946, 1.414, 2.008, 2.735, 3.601",\
                 "0.112, 0.1378, 0.213, 0.3552, 0.5948, 0.946, 1.413, 2.009, 2.735, 3.6");
        }
      }

      timing() {
        related_pin : "A1" ;
        sdf_cond : "A2===1'b1 && 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.01094, 0.04583, 0.1124, 0.2162, 0.3619, 0.5535, 0.7949, 1.09, 1.441");
          values("0.9196, 0.9389, 0.9918, 1.069, 1.171, 1.304, 1.475, 1.691, 1.955, 2.27",\
                 "0.9235, 0.9432, 0.9958, 1.073, 1.175, 1.308, 1.479, 1.695, 1.959, 2.274",\
                 "0.9415, 0.9611, 1.014, 1.091, 1.193, 1.326, 1.497, 1.713, 1.977, 2.292",\
                 "0.9875, 1.007, 1.06, 1.137, 1.239, 1.372, 1.543, 1.759, 2.023, 2.338",\
                 "1.073, 1.093, 1.146, 1.223, 1.325, 1.458, 1.629, 1.845, 2.108, 2.424",\
                 "1.201, 1.221, 1.274, 1.351, 1.452, 1.585, 1.757, 1.972, 2.236, 2.552",\
                 "1.368, 1.388, 1.441, 1.518, 1.619, 1.752, 1.923, 2.139, 2.403, 2.718",\
                 "1.569, 1.589, 1.642, 1.719, 1.82, 1.953, 2.125, 2.34, 2.604, 2.919",\
                 "1.8, 1.819, 1.871, 1.948, 2.05, 2.183, 2.354, 2.569, 2.833, 3.149",\
                 "2.056, 2.076, 2.129, 2.205, 2.306, 2.439, 2.61, 2.826, 3.09, 3.405");
        }

        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.01094, 0.04583, 0.1124, 0.2162, 0.3619, 0.5535, 0.7949, 1.09, 1.441");
          values("0.7131, 0.7337, 0.7917, 0.8845, 1.023, 1.216, 1.471, 1.794, 2.189, 2.661",\
                 "0.716, 0.7371, 0.7948, 0.888, 1.026, 1.219, 1.474, 1.796, 2.192, 2.663",\
                 "0.7279, 0.7489, 0.8066, 0.8994, 1.038, 1.231, 1.485, 1.809, 2.204, 2.675",\
                 "0.7522, 0.7731, 0.8309, 0.9239, 1.062, 1.255, 1.51, 1.832, 2.228, 2.699",\
                 "0.7809, 0.8018, 0.8597, 0.9529, 1.091, 1.283, 1.539, 1.861, 2.257, 2.729",\
                 "0.801, 0.8218, 0.8793, 0.9724, 1.11, 1.303, 1.558, 1.881, 2.277, 2.748",\
                 "0.8046, 0.8255, 0.8834, 0.9761, 1.114, 1.307, 1.562, 1.884, 2.28, 2.752",\
                 "0.7886, 0.8098, 0.8674, 0.9601, 1.098, 1.291, 1.545, 1.868, 2.263, 2.735",\
                 "0.7504, 0.7713, 0.8293, 0.9221, 1.06, 1.253, 1.507, 1.83, 2.224, 2.695",\
                 "0.6883, 0.7093, 0.7673, 0.86, 0.9977, 1.19, 1.445, 1.768, 2.162, 2.633");
        }

        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.01094, 0.04583, 0.1124, 0.2162, 0.3619, 0.5535, 0.7949, 1.09, 1.441");
          values("0.09596, 0.1176, 0.1736, 0.2606, 0.3964, 0.6014, 0.8858, 1.253, 1.703, 2.241",\
                 "0.0957, 0.1181, 0.1733, 0.2604, 0.3966, 0.6012, 0.886, 1.251, 1.702, 2.242",\
                 "0.0958, 0.1182, 0.1734, 0.26, 0.3964, 0.6014, 0.886, 1.253, 1.703, 2.241",\
                 "0.096, 0.1174, 0.1732, 0.26, 0.3966, 0.6014, 0.8858, 1.253, 1.702, 2.241",\
                 "0.0958, 0.1174, 0.1734, 0.2604, 0.3966, 0.6016, 0.8848, 1.252, 1.702, 2.242",\
                 "0.0958, 0.1178, 0.1734, 0.2606, 0.3966, 0.6012, 0.8858, 1.252, 1.702, 2.242",\
                 "0.096, 0.117, 0.1732, 0.2602, 0.3964, 0.6012, 0.886, 1.252, 1.701, 2.242",\
                 "0.096, 0.1174, 0.1732, 0.26, 0.3964, 0.6016, 0.885, 1.252, 1.703, 2.242",\
                 "0.0964, 0.1182, 0.1734, 0.2604, 0.3962, 0.6022, 0.8852, 1.251, 1.702, 2.241",\
                 "0.0972, 0.1192, 0.174, 0.2606, 0.397, 0.6026, 0.8846, 1.251, 1.7, 2.24");
        }

        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.01094, 0.04583, 0.1124, 0.2162, 0.3619, 0.5535, 0.7949, 1.09, 1.441");
          values("0.09638, 0.1215, 0.1976, 0.3442, 0.5877, 0.9402, 1.413, 2.008, 2.734, 3.606",\
                 "0.096, 0.1216, 0.1976, 0.3447, 0.5878, 0.941, 1.413, 2.009, 2.732, 3.601",\
                 "0.0963, 0.1218, 0.1971, 0.3445, 0.5877, 0.94, 1.411, 2.009, 2.735, 3.602",\
                 "0.09622, 0.1216, 0.1976, 0.3448, 0.5878, 0.9408, 1.414, 2.009, 2.732, 3.602",\
                 "0.0962, 0.1214, 0.1974, 0.3446, 0.5876, 0.9408, 1.413, 2.008, 2.733, 3.599",\
                 "0.0962, 0.1212, 0.1976, 0.344, 0.5878, 0.9408, 1.413, 2.008, 2.735, 3.598",\
                 "0.0958, 0.1212, 0.1976, 0.3448, 0.5878, 0.9422, 1.412, 2.009, 2.737, 3.601",\
                 "0.0962, 0.1214, 0.1976, 0.3452, 0.5878, 0.9406, 1.411, 2.008, 2.732, 3.602",\
                 "0.0964, 0.1216, 0.198, 0.3452, 0.5878, 0.9418, 1.412, 2.007, 2.736, 3.602",\
                 "0.0968, 0.1224, 0.198, 0.3456, 0.5884, 0.9426, 1.413, 2.009, 2.733, 3.601");
        }
      }

      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.01094, 0.04583, 0.1124, 0.2162, 0.3619, 0.5535, 0.7949, 1.09, 1.441");
          values("0.9196, 0.9389, 0.9918, 1.069, 1.171, 1.304, 1.475, 1.691, 1.955, 2.27",\
                 "0.9235, 0.9432, 0.9958, 1.073, 1.175, 1.308, 1.479, 1.695, 1.959, 2.274",\
                 "0.9415, 0.9611, 1.014, 1.091, 1.193, 1.326, 1.497, 1.713, 1.977, 2.292",\
                 "0.9875, 1.007, 1.06, 1.137, 1.239, 1.372, 1.543, 1.759, 2.023, 2.338",\
                 "1.073, 1.093, 1.146, 1.223, 1.325, 1.458, 1.629, 1.845, 2.108, 2.424",\
                 "1.201, 1.221, 1.274, 1.351, 1.452, 1.585, 1.757, 1.972, 2.236, 2.552",\
                 "1.368, 1.388, 1.441, 1.518, 1.619, 1.752, 1.923, 2.139, 2.403, 2.718",\
                 "1.569, 1.589, 1.642, 1.719, 1.82, 1.953, 2.125, 2.34, 2.604, 2.919",\
                 "1.8, 1.819, 1.871, 1.948, 2.05, 2.183, 2.354, 2.569, 2.833, 3.149",\
                 "2.056, 2.076, 2.129, 2.205, 2.306, 2.439, 2.61, 2.826, 3.09, 3.405");
        }

        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.01094, 0.04583, 0.1124, 0.2162, 0.3619, 0.5535, 0.7949, 1.09, 1.441");
          values("0.9277, 0.9497, 1.01, 1.103, 1.239, 1.429, 1.681, 2.002, 2.394, 2.865",\
                 "0.9306, 0.9527, 1.013, 1.106, 1.242, 1.432, 1.684, 2.005, 2.398, 2.868",\
                 "0.9391, 0.9615, 1.022, 1.115, 1.251, 1.441, 1.693, 2.014, 2.406, 2.876",\
                 "0.9402, 0.9623, 1.022, 1.116, 1.252, 1.442, 1.694, 2.014, 2.407, 2.877",\
                 "0.9241, 0.9464, 1.006, 1.1, 1.236, 1.426, 1.678, 1.998, 2.391, 2.861",\
                 "0.8897, 0.9121, 0.972, 1.065, 1.201, 1.391, 1.644, 1.964, 2.357, 2.827",\
                 "0.8338, 0.856, 0.916, 1.009, 1.145, 1.335, 1.588, 1.908, 2.301, 2.771",\
                 "0.7506, 0.7728, 0.8328, 0.9257, 1.062, 1.252, 1.504, 1.824, 2.217, 2.688",\
                 "0.638, 0.6604, 0.7201, 0.8133, 0.9495, 1.139, 1.392, 1.712, 2.105, 2.575",\
                 "0.4979, 0.5202, 0.5798, 0.6729, 0.8086, 0.9989, 1.251, 1.572, 1.965, 2.435");
        }

        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.01094, 0.04583, 0.1124, 0.2162, 0.3619, 0.5535, 0.7949, 1.09, 1.441");
          values("0.1275, 0.1537, 0.2184, 0.315, 0.4548, 0.6542, 0.9246, 1.276, 1.718, 2.253",\
                 "0.1285, 0.1535, 0.2183, 0.315, 0.455, 0.6544, 0.9254, 1.277, 1.719, 2.255",\
                 "0.1276, 0.1534, 0.2184, 0.315, 0.4548, 0.654, 0.9264, 1.277, 1.719, 2.255",\
                 "0.1286, 0.1532, 0.218, 0.315, 0.455, 0.6542, 0.9254, 1.278, 1.718, 2.255",\
                 "0.1286, 0.1536, 0.2184, 0.315, 0.455, 0.6544, 0.9252, 1.277, 1.719, 2.252",\
                 "0.128, 0.1536, 0.2182, 0.3148, 0.455, 0.6542, 0.9256, 1.278, 1.718, 2.252",\
                 "0.1278, 0.1532, 0.218, 0.3152, 0.4548, 0.6534, 0.9248, 1.278, 1.719, 2.251",\
                 "0.1284, 0.1538, 0.2182, 0.315, 0.4546, 0.654, 0.9244, 1.276, 1.718, 2.254",\
                 "0.1286, 0.154, 0.2186, 0.3154, 0.4548, 0.6544, 0.9246, 1.278, 1.719, 2.254",\
                 "0.1288, 0.1544, 0.2196, 0.3162, 0.4556, 0.655, 0.9246, 1.278, 1.718, 2.253");
        }

        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.01094, 0.04583, 0.1124, 0.2162, 0.3619, 0.5535, 0.7949, 1.09, 1.441");
          values("0.09638, 0.1215, 0.1976, 0.3442, 0.5877, 0.9402, 1.413, 2.008, 2.734, 3.606",\
                 "0.096, 0.1216, 0.1976, 0.3447, 0.5878, 0.941, 1.413, 2.009, 2.732, 3.601",\
                 "0.0963, 0.1218, 0.1971, 0.3445, 0.5877, 0.94, 1.411, 2.009, 2.735, 3.602",\
                 "0.09622, 0.1216, 0.1976, 0.3448, 0.5878, 0.9408, 1.414, 2.009, 2.732, 3.602",\
                 "0.0962, 0.1214, 0.1974, 0.3446, 0.5876, 0.9408, 1.413, 2.008, 2.733, 3.599",\
                 "0.0962, 0.1212, 0.1976, 0.344, 0.5878, 0.9408, 1.413, 2.008, 2.735, 3.598",\
                 "0.0958, 0.1212, 0.1976, 0.3448, 0.5878, 0.9422, 1.412, 2.009, 2.737, 3.601",\
                 "0.0962, 0.1214, 0.1976, 0.3452, 0.5878, 0.9406, 1.411, 2.008, 2.732, 3.602",\
                 "0.0964, 0.1216, 0.198, 0.3452, 0.5878, 0.9418, 1.412, 2.007, 2.736, 3.602",\
                 "0.0968, 0.1224, 0.198, 0.3456, 0.5884, 0.9426, 1.413, 2.009, 2.733, 3.601");
        }
      }

      timing() {
        related_pin : "A2" ;
        sdf_cond : "A1===1'b0 && 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.01094, 0.04583, 0.1124, 0.2162, 0.3619, 0.5535, 0.7949, 1.09, 1.441");
          values("1.038, 1.057, 1.11, 1.187, 1.289, 1.422, 1.593, 1.809, 2.073, 2.388",\
                 "1.041, 1.061, 1.113, 1.191, 1.292, 1.425, 1.597, 1.812, 2.076, 2.392",\
                 "1.051, 1.071, 1.124, 1.201, 1.302, 1.435, 1.607, 1.822, 2.086, 2.402",\
                 "1.052, 1.072, 1.125, 1.202, 1.304, 1.437, 1.608, 1.824, 2.087, 2.403",\
                 "1.034, 1.053, 1.106, 1.183, 1.285, 1.418, 1.589, 1.805, 2.069, 2.384",\
                 "0.9908, 1.01, 1.063, 1.141, 1.242, 1.375, 1.546, 1.762, 2.026, 2.342",\
                 "0.9228, 0.9426, 0.9956, 1.073, 1.174, 1.307, 1.479, 1.694, 1.958, 2.273",\
                 "0.8246, 0.8444, 0.8972, 0.9742, 1.076, 1.209, 1.38, 1.596, 1.86, 2.175",\
                 "0.6928, 0.7126, 0.7654, 0.8425, 0.9442, 1.077, 1.248, 1.464, 1.728, 2.043",\
                 "0.5288, 0.5485, 0.6011, 0.6784, 0.7801, 0.913, 1.084, 1.3, 1.564, 1.879");
        }

        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.01094, 0.04583, 0.1124, 0.2162, 0.3619, 0.5535, 0.7949, 1.09, 1.441");
          values("0.9487, 0.9695, 1.027, 1.121, 1.258, 1.451, 1.706, 2.029, 2.424, 2.897",\
                 "0.9508, 0.9716, 1.029, 1.123, 1.261, 1.453, 1.709, 2.032, 2.427, 2.899",\
                 "0.9741, 0.995, 1.053, 1.146, 1.284, 1.477, 1.732, 2.055, 2.45, 2.922",\
                 "1.038, 1.059, 1.117, 1.209, 1.348, 1.541, 1.796, 2.119, 2.514, 2.986",\
                 "1.145, 1.165, 1.223, 1.316, 1.454, 1.647, 1.902, 2.225, 2.621, 3.093",\
                 "1.293, 1.314, 1.372, 1.465, 1.603, 1.796, 2.051, 2.375, 2.77, 3.241",\
                 "1.485, 1.505, 1.563, 1.656, 1.794, 1.987, 2.242, 2.565, 2.961, 3.432",\
                 "1.716, 1.738, 1.795, 1.888, 2.026, 2.219, 2.474, 2.797, 3.193, 3.664",\
                 "1.988, 2.009, 2.066, 2.159, 2.298, 2.49, 2.745, 3.068, 3.464, 3.934",\
                 "2.299, 2.32, 2.377, 2.47, 2.608, 2.801, 3.056, 3.379, 3.774, 4.245");
        }

        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.01094, 0.04583, 0.1124, 0.2162, 0.3619, 0.5535, 0.7949, 1.09, 1.441");
          values("0.096, 0.1172, 0.1736, 0.2604, 0.3966, 0.6016, 0.886, 1.252, 1.702, 2.241",\
                 "0.0958, 0.118, 0.1734, 0.2606, 0.3966, 0.6014, 0.886, 1.253, 1.703, 2.241",\
                 "0.096, 0.1172, 0.1734, 0.2606, 0.3966, 0.6014, 0.8858, 1.252, 1.702, 2.241",\
                 "0.096, 0.1176, 0.1734, 0.2604, 0.3964, 0.6016, 0.886, 1.251, 1.702, 2.241",\
                 "0.096, 0.1172, 0.1734, 0.2602, 0.3964, 0.6016, 0.886, 1.252, 1.701, 2.241",\
                 "0.0964, 0.1174, 0.1734, 0.2602, 0.3964, 0.6014, 0.886, 1.253, 1.702, 2.241",\
                 "0.0956, 0.1172, 0.1728, 0.2598, 0.3962, 0.6014, 0.8858, 1.253, 1.701, 2.24",\
                 "0.096, 0.1174, 0.173, 0.26, 0.3964, 0.6018, 0.8844, 1.25, 1.7, 2.241",\
                 "0.0958, 0.1172, 0.1728, 0.26, 0.3962, 0.601, 0.8846, 1.25, 1.7, 2.238",\
                 "0.0956, 0.1172, 0.173, 0.2598, 0.3962, 0.601, 0.8846, 1.251, 1.701, 2.238");
        }

        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.01094, 0.04583, 0.1124, 0.2162, 0.3619, 0.5535, 0.7949, 1.09, 1.441");
          values("0.09606, 0.1215, 0.1972, 0.3446, 0.5876, 0.9408, 1.413, 2.008, 2.735, 3.6",\
                 "0.0957, 0.1214, 0.197, 0.3448, 0.5878, 0.9414, 1.413, 2.01, 2.732, 3.601",\
                 "0.0956, 0.1218, 0.1976, 0.3448, 0.5876, 0.9408, 1.413, 2.009, 2.735, 3.602",\
                 "0.0958, 0.1218, 0.1974, 0.345, 0.5874, 0.9402, 1.413, 2.009, 2.733, 3.6",\
                 "0.0964, 0.1216, 0.197, 0.3444, 0.5874, 0.9408, 1.413, 2.01, 2.732, 3.599",\
                 "0.096, 0.1216, 0.1976, 0.3448, 0.588, 0.9414, 1.411, 2.01, 2.733, 3.601",\
                 "0.0958, 0.1214, 0.197, 0.3448, 0.5874, 0.9404, 1.411, 2.006, 2.733, 3.602",\
                 "0.096, 0.1216, 0.1974, 0.3442, 0.5888, 0.9408, 1.414, 2.006, 2.735, 3.599",\
                 "0.0956, 0.121, 0.197, 0.3442, 0.5876, 0.9424, 1.412, 2.005, 2.735, 3.602",\
                 "0.0964, 0.1218, 0.1976, 0.3448, 0.5878, 0.9418, 1.412, 2.007, 2.737, 3.604");
        }
      }

      timing() {
        related_pin : "A2" ;
        sdf_cond : "A1===1'b1 && 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.01094, 0.04583, 0.1124, 0.2162, 0.3619, 0.5535, 0.7949, 1.09, 1.441");
          values("0.5932, 0.6156, 0.6759, 0.7647, 0.8792, 1.023, 1.201, 1.419, 1.683, 1.998",\
                 "0.5951, 0.6172, 0.6775, 0.7664, 0.8809, 1.024, 1.203, 1.421, 1.685, 2",\
                 "0.5979, 0.6205, 0.6809, 0.7694, 0.8842, 1.028, 1.206, 1.424, 1.689, 2.003",\
                 "0.6045, 0.6269, 0.6873, 0.7759, 0.8905, 1.034, 1.212, 1.431, 1.695, 2.01",\
                 "0.6118, 0.6342, 0.6946, 0.7831, 0.8976, 1.041, 1.219, 1.437, 1.702, 2.016",\
                 "0.6096, 0.6319, 0.6922, 0.781, 0.8954, 1.039, 1.217, 1.435, 1.699, 2.014",\
                 "0.5898, 0.6123, 0.6728, 0.7615, 0.876, 1.02, 1.198, 1.416, 1.68, 1.994",\
                 "0.5475, 0.5702, 0.6308, 0.7193, 0.8341, 0.9777, 1.156, 1.374, 1.638, 1.952",\
                 "0.4786, 0.5015, 0.5628, 0.6518, 0.7665, 0.9102, 1.088, 1.306, 1.57, 1.884",\
                 "0.3816, 0.4047, 0.4666, 0.5566, 0.6714, 0.815, 0.9929, 1.211, 1.474, 1.788");
        }

        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.01094, 0.04583, 0.1124, 0.2162, 0.3619, 0.5535, 0.7949, 1.09, 1.441");
          values("0.8011, 0.8235, 0.8836, 0.9769, 1.113, 1.303, 1.555, 1.876, 2.268, 2.738",\
                 "0.8047, 0.827, 0.8871, 0.9805, 1.117, 1.306, 1.559, 1.879, 2.272, 2.742",\
                 "0.824, 0.8463, 0.9066, 0.9997, 1.136, 1.326, 1.578, 1.899, 2.291, 2.761",\
                 "0.8729, 0.8952, 0.9552, 1.049, 1.185, 1.375, 1.627, 1.947, 2.34, 2.809",\
                 "0.9626, 0.9849, 1.045, 1.138, 1.274, 1.464, 1.716, 2.036, 2.429, 2.899",\
                 "1.097, 1.12, 1.18, 1.273, 1.409, 1.599, 1.851, 2.171, 2.564, 3.034",\
                 "1.277, 1.299, 1.36, 1.453, 1.589, 1.779, 2.03, 2.35, 2.743, 3.213",\
                 "1.499, 1.522, 1.582, 1.676, 1.811, 2, 2.252, 2.571, 2.963, 3.432",\
                 "1.76, 1.783, 1.844, 1.938, 2.073, 2.261, 2.512, 2.831, 3.222, 3.691",\
                 "2.055, 2.079, 2.141, 2.235, 2.371, 2.559, 2.808, 3.127, 3.517, 3.985");
        }

        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.01094, 0.04583, 0.1124, 0.2162, 0.3619, 0.5535, 0.7949, 1.09, 1.441");
          values("0.1296, 0.1561, 0.2208, 0.3171, 0.4563, 0.6555, 0.9263, 1.278, 1.718, 2.254",\
                 "0.1297, 0.1553, 0.2201, 0.3171, 0.4562, 0.6544, 0.9264, 1.278, 1.72, 2.255",\
                 "0.1304, 0.1557, 0.2206, 0.3172, 0.4562, 0.6553, 0.9264, 1.278, 1.718, 2.253",\
                 "0.1308, 0.1557, 0.2205, 0.3174, 0.4563, 0.6552, 0.9262, 1.278, 1.72, 2.255",\
                 "0.1303, 0.1556, 0.2208, 0.3174, 0.4566, 0.6556, 0.9262, 1.278, 1.717, 2.253",\
                 "0.1308, 0.1572, 0.2214, 0.318, 0.4576, 0.6556, 0.9266, 1.278, 1.718, 2.253",\
                 "0.1334, 0.1586, 0.2244, 0.3206, 0.4588, 0.6566, 0.9268, 1.277, 1.718, 2.255",\
                 "0.1356, 0.1618, 0.2274, 0.324, 0.462, 0.6594, 0.9274, 1.278, 1.718, 2.251",\
                 "0.14, 0.1664, 0.2322, 0.3276, 0.4652, 0.6614, 0.9292, 1.279, 1.719, 2.25",\
                 "0.1454, 0.1722, 0.2374, 0.3324, 0.4692, 0.6644, 0.9316, 1.281, 1.719, 2.252");
        }

        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.01094, 0.04583, 0.1124, 0.2162, 0.3619, 0.5535, 0.7949, 1.09, 1.441");
          values("0.1147, 0.1401, 0.2162, 0.3569, 0.5958, 0.9468, 1.414, 2.007, 2.736, 3.601",\
                 "0.1147, 0.1401, 0.2163, 0.3569, 0.596, 0.9468, 1.416, 2.008, 2.735, 3.601",\
                 "0.1147, 0.14, 0.2159, 0.357, 0.5962, 0.9468, 1.416, 2.008, 2.735, 3.601",\
                 "0.1144, 0.1406, 0.216, 0.3566, 0.596, 0.9456, 1.414, 2.008, 2.737, 3.6",\
                 "0.115, 0.1408, 0.2162, 0.357, 0.596, 0.9456, 1.414, 2.007, 2.737, 3.601",\
                 "0.1148, 0.1412, 0.2166, 0.3574, 0.5962, 0.9458, 1.414, 2.008, 2.736, 3.601",\
                 "0.1154, 0.1416, 0.2168, 0.3582, 0.597, 0.946, 1.416, 2.007, 2.735, 3.601",\
                 "0.1178, 0.1434, 0.219, 0.3612, 0.5984, 0.9474, 1.416, 2.01, 2.736, 3.6",\
                 "0.1228, 0.1486, 0.2238, 0.3638, 0.6008, 0.9482, 1.417, 2.009, 2.736, 3.599",\
                 "0.128, 0.1532, 0.2294, 0.3686, 0.605, 0.9506, 1.416, 2.011, 2.735, 3.6");
        }
      }

      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.01094, 0.04583, 0.1124, 0.2162, 0.3619, 0.5535, 0.7949, 1.09, 1.441");
          values("1.038, 1.057, 1.11, 1.187, 1.289, 1.422, 1.593, 1.809, 2.073, 2.388",\
                 "1.041, 1.061, 1.113, 1.191, 1.292, 1.425, 1.597, 1.812, 2.076, 2.392",\
                 "1.051, 1.071, 1.124, 1.201, 1.302, 1.435, 1.607, 1.822, 2.086, 2.402",\
                 "1.052, 1.072, 1.125, 1.202, 1.304, 1.437, 1.608, 1.824, 2.087, 2.403",\
                 "1.034, 1.053, 1.106, 1.183, 1.285, 1.418, 1.589, 1.805, 2.069, 2.384",\
                 "0.9908, 1.01, 1.063, 1.141, 1.242, 1.375, 1.546, 1.762, 2.026, 2.342",\
                 "0.9228, 0.9426, 0.9956, 1.073, 1.174, 1.307, 1.479, 1.694, 1.958, 2.273",\
                 "0.8246, 0.8444, 0.8972, 0.9742, 1.076, 1.209, 1.38, 1.596, 1.86, 2.175",\
                 "0.6928, 0.7126, 0.7654, 0.8425, 0.9442, 1.077, 1.248, 1.464, 1.728, 2.043",\
                 "0.5288, 0.5485, 0.6011, 0.6784, 0.7801, 0.913, 1.084, 1.3, 1.564, 1.879");
        }

        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.01094, 0.04583, 0.1124, 0.2162, 0.3619, 0.5535, 0.7949, 1.09, 1.441");
          values("0.9487, 0.9695, 1.027, 1.121, 1.258, 1.451, 1.706, 2.029, 2.424, 2.897",\
                 "0.9508, 0.9716, 1.029, 1.123, 1.261, 1.453, 1.709, 2.032, 2.427, 2.899",\
                 "0.9741, 0.995, 1.053, 1.146, 1.284, 1.477, 1.732, 2.055, 2.45, 2.922",\
                 "1.038, 1.059, 1.117, 1.209, 1.348, 1.541, 1.796, 2.119, 2.514, 2.986",\
                 "1.145, 1.165, 1.223, 1.316, 1.454, 1.647, 1.902, 2.225, 2.621, 3.093",\
                 "1.293, 1.314, 1.372, 1.465, 1.603, 1.796, 2.051, 2.375, 2.77, 3.241",\
                 "1.485, 1.505, 1.563, 1.656, 1.794, 1.987, 2.242, 2.565, 2.961, 3.432",\
                 "1.716, 1.738, 1.795, 1.888, 2.026, 2.219, 2.474, 2.797, 3.193, 3.664",\
                 "1.988, 2.009, 2.066, 2.159, 2.298, 2.49, 2.745, 3.068, 3.464, 3.934",\
                 "2.299, 2.32, 2.377, 2.47, 2.608, 2.801, 3.056, 3.379, 3.774, 4.245");
        }

        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.01094, 0.04583, 0.1124, 0.2162, 0.3619, 0.5535, 0.7949, 1.09, 1.441");
          values("0.1296, 0.1561, 0.2208, 0.3171, 0.4563, 0.6555, 0.9263, 1.278, 1.718, 2.254",\
                 "0.1297, 0.1553, 0.2201, 0.3171, 0.4562, 0.6544, 0.9264, 1.278, 1.72, 2.255",\
                 "0.1304, 0.1557, 0.2206, 0.3172, 0.4562, 0.6553, 0.9264, 1.278, 1.718, 2.253",\
                 "0.1308, 0.1557, 0.2205, 0.3174, 0.4563, 0.6552, 0.9262, 1.278, 1.72, 2.255",\
                 "0.1303, 0.1556, 0.2208, 0.3174, 0.4566, 0.6556, 0.9262, 1.278, 1.717, 2.253",\
                 "0.1308, 0.1572, 0.2214, 0.318, 0.4576, 0.6556, 0.9266, 1.278, 1.718, 2.253",\
                 "0.1334, 0.1586, 0.2244, 0.3206, 0.4588, 0.6566, 0.9268, 1.277, 1.718, 2.255",\
                 "0.1356, 0.1618, 0.2274, 0.324, 0.462, 0.6594, 0.9274, 1.278, 1.718, 2.251",\
                 "0.14, 0.1664, 0.2322, 0.3276, 0.4652, 0.6614, 0.9292, 1.279, 1.719, 2.25",\
                 "0.1454, 0.1722, 0.2374, 0.3324, 0.4692, 0.6644, 0.9316, 1.281, 1.719, 2.252");
        }

        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.01094, 0.04583, 0.1124, 0.2162, 0.3619, 0.5535, 0.7949, 1.09, 1.441");
          values("0.09606, 0.1215, 0.1972, 0.3446, 0.5876, 0.9408, 1.413, 2.008, 2.735, 3.6",\
                 "0.0957, 0.1214, 0.197, 0.3448, 0.5878, 0.9414, 1.413, 2.01, 2.732, 3.601",\
                 "0.0956, 0.1218, 0.1976, 0.3448, 0.5876, 0.9408, 1.413, 2.009, 2.735, 3.602",\
                 "0.0958, 0.1218, 0.1974, 0.345, 0.5874, 0.9402, 1.413, 2.009, 2.733, 3.6",\
                 "0.0964, 0.1216, 0.197, 0.3444, 0.5874, 0.9408, 1.413, 2.01, 2.732, 3.599",\
                 "0.096, 0.1216, 0.1976, 0.3448, 0.588, 0.9414, 1.411, 2.01, 2.733, 3.601",\
                 "0.0958, 0.1214, 0.197, 0.3448, 0.5874, 0.9404, 1.411, 2.006, 2.733, 3.602",\
                 "0.096, 0.1216, 0.1974, 0.3442, 0.5888, 0.9408, 1.414, 2.006, 2.735, 3.599",\
                 "0.0956, 0.121, 0.197, 0.3442, 0.5876, 0.9424, 1.412, 2.005, 2.735, 3.602",\
                 "0.0964, 0.1218, 0.1976, 0.3448, 0.5878, 0.9418, 1.412, 2.007, 2.737, 3.604");
        }
      }

      timing() {
        related_pin : "A2" ;
        sdf_cond : "A1===1'b0 && 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.01094, 0.04583, 0.1124, 0.2162, 0.3619, 0.5535, 0.7949, 1.09, 1.441");
          values("0.8144, 0.8366, 0.8968, 0.9855, 1.1, 1.244, 1.422, 1.64, 1.904, 2.219",\
                 "0.8166, 0.8389, 0.8989, 0.9878, 1.102, 1.246, 1.424, 1.642, 1.907, 2.221",\
                 "0.8402, 0.8624, 0.9227, 1.011, 1.126, 1.269, 1.448, 1.666, 1.93, 2.245",\
                 "0.9037, 0.9259, 0.9862, 1.075, 1.189, 1.333, 1.511, 1.73, 1.994, 2.308",\
                 "1.01, 1.033, 1.093, 1.181, 1.296, 1.439, 1.618, 1.836, 2.1, 2.415",\
                 "1.159, 1.181, 1.241, 1.33, 1.444, 1.588, 1.766, 1.985, 2.249, 2.564",\
                 "1.349, 1.371, 1.432, 1.52, 1.635, 1.778, 1.956, 2.175, 2.439, 2.754",\
                 "1.58, 1.602, 1.663, 1.751, 1.866, 2.009, 2.187, 2.406, 2.67, 2.985",\
                 "1.851, 1.873, 1.933, 2.022, 2.136, 2.28, 2.458, 2.676, 2.94, 3.255",\
                 "2.161, 2.183, 2.244, 2.332, 2.446, 2.59, 2.768, 2.986, 3.25, 3.565");
        }

        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.01094, 0.04583, 0.1124, 0.2162, 0.3619, 0.5535, 0.7949, 1.09, 1.441");
          values("0.8845, 0.9067, 0.9662, 1.06, 1.196, 1.386, 1.638, 1.959, 2.352, 2.822",\
                 "0.8882, 0.9104, 0.9703, 1.063, 1.199, 1.39, 1.642, 1.963, 2.356, 2.826",\
                 "0.8982, 0.9204, 0.9799, 1.073, 1.209, 1.4, 1.652, 1.973, 2.366, 2.836",\
                 "0.8991, 0.9213, 0.9811, 1.074, 1.21, 1.401, 1.653, 1.974, 2.367, 2.837",\
                 "0.8805, 0.9027, 0.9627, 1.056, 1.192, 1.382, 1.635, 1.955, 2.349, 2.819",\
                 "0.8381, 0.8601, 0.9198, 1.013, 1.149, 1.339, 1.592, 1.912, 2.306, 2.775",\
                 "0.7698, 0.7919, 0.8517, 0.945, 1.081, 1.271, 1.524, 1.845, 2.238, 2.708",\
                 "0.6719, 0.6937, 0.7536, 0.8466, 0.9829, 1.173, 1.426, 1.746, 2.139, 2.61",\
                 "0.5394, 0.5614, 0.621, 0.7141, 0.8502, 1.041, 1.293, 1.614, 2.006, 2.476",\
                 "0.375, 0.3972, 0.4567, 0.5497, 0.6857, 0.8762, 1.129, 1.449, 1.842, 2.312");
        }

        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.01094, 0.04583, 0.1124, 0.2162, 0.3619, 0.5535, 0.7949, 1.09, 1.441");
          values("0.1281, 0.1533, 0.2181, 0.3151, 0.4548, 0.654, 0.9256, 1.277, 1.718, 2.251",\
                 "0.1285, 0.1535, 0.218, 0.315, 0.455, 0.6542, 0.9242, 1.277, 1.72, 2.252",\
                 "0.1281, 0.1536, 0.2184, 0.3152, 0.4548, 0.654, 0.9262, 1.277, 1.718, 2.252",\
                 "0.1282, 0.1532, 0.2182, 0.315, 0.4548, 0.654, 0.926, 1.277, 1.718, 2.251",\
                 "0.1286, 0.1534, 0.2184, 0.3148, 0.4548, 0.6544, 0.9256, 1.277, 1.72, 2.255",\
                 "0.128, 0.1538, 0.2186, 0.315, 0.4546, 0.654, 0.9262, 1.277, 1.718, 2.252",\
                 "0.128, 0.1532, 0.2182, 0.3148, 0.455, 0.6532, 0.9246, 1.278, 1.718, 2.252",\
                 "0.1278, 0.1532, 0.2184, 0.315, 0.4548, 0.6536, 0.9258, 1.277, 1.719, 2.254",\
                 "0.128, 0.1538, 0.2188, 0.315, 0.4548, 0.6534, 0.925, 1.277, 1.718, 2.254",\
                 "0.1284, 0.1534, 0.2192, 0.3154, 0.4554, 0.654, 0.9242, 1.276, 1.719, 2.252");
        }

        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.01094, 0.04583, 0.1124, 0.2162, 0.3619, 0.5535, 0.7949, 1.09, 1.441");
          values("0.1129, 0.1388, 0.2136, 0.3555, 0.5956, 0.9452, 1.415, 2.01, 2.736, 3.604",\
                 "0.113, 0.1381, 0.2137, 0.3556, 0.595, 0.946, 1.414, 2.01, 2.736, 3.604",\
                 "0.1131, 0.1386, 0.2136, 0.3554, 0.5954, 0.945, 1.416, 2.009, 2.737, 3.603",\
                 "0.1126, 0.1384, 0.214, 0.3554, 0.595, 0.9452, 1.416, 2.008, 2.737, 3.599",\
                 "0.1128, 0.1382, 0.214, 0.3558, 0.5952, 0.945, 1.416, 2.009, 2.734, 3.604",\
                 "0.1118, 0.1372, 0.2138, 0.3562, 0.595, 0.945, 1.415, 2.01, 2.737, 3.601",\
                 "0.1122, 0.138, 0.2138, 0.3554, 0.596, 0.9462, 1.414, 2.008, 2.737, 3.602",\
                 "0.1124, 0.138, 0.2142, 0.3562, 0.596, 0.945, 1.414, 2.009, 2.733, 3.602",\
                 "0.1126, 0.1384, 0.2134, 0.3554, 0.595, 0.9454, 1.416, 2.007, 2.734, 3.599",\
                 "0.1112, 0.1368, 0.213, 0.3548, 0.5952, 0.945, 1.414, 2.007, 2.735, 3.599");
        }
      }

      timing() {
        related_pin : "A2" ;
        sdf_cond : "A1===1'b1 && 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.01094, 0.04583, 0.1124, 0.2162, 0.3619, 0.5535, 0.7949, 1.09, 1.441");
          values("0.9532, 0.9728, 1.026, 1.103, 1.204, 1.337, 1.508, 1.724, 1.988, 2.303",\
                 "0.9565, 0.9762, 1.029, 1.106, 1.208, 1.341, 1.512, 1.728, 1.992, 2.307",\
                 "0.976, 0.9956, 1.048, 1.125, 1.227, 1.36, 1.531, 1.747, 2.011, 2.326",\
                 "1.025, 1.044, 1.097, 1.174, 1.276, 1.409, 1.58, 1.796, 2.06, 2.375",\
                 "1.114, 1.134, 1.187, 1.264, 1.365, 1.498, 1.669, 1.885, 2.149, 2.464",\
                 "1.25, 1.27, 1.323, 1.4, 1.501, 1.634, 1.806, 2.021, 2.285, 2.6",\
                 "1.431, 1.451, 1.504, 1.581, 1.682, 1.815, 1.986, 2.202, 2.466, 2.781",\
                 "1.654, 1.673, 1.726, 1.803, 1.905, 2.038, 2.209, 2.424, 2.688, 3.004",\
                 "1.914, 1.934, 1.987, 2.063, 2.165, 2.298, 2.469, 2.684, 2.948, 3.263",\
                 "2.209, 2.228, 2.281, 2.358, 2.46, 2.592, 2.764, 2.979, 3.243, 3.558");
        }

        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.01094, 0.04583, 0.1124, 0.2162, 0.3619, 0.5535, 0.7949, 1.09, 1.441");
          values("0.7239, 0.7447, 0.8027, 0.8957, 1.034, 1.226, 1.482, 1.804, 2.199, 2.672",\
                 "0.7259, 0.7467, 0.8045, 0.8975, 1.036, 1.228, 1.483, 1.806, 2.201, 2.673",\
                 "0.7291, 0.75, 0.8077, 0.9007, 1.039, 1.232, 1.486, 1.81, 2.204, 2.676",\
                 "0.7362, 0.7571, 0.8149, 0.9079, 1.046, 1.239, 1.494, 1.816, 2.212, 2.684",\
                 "0.7448, 0.7657, 0.8235, 0.9165, 1.054, 1.247, 1.502, 1.825, 2.221, 2.693",\
                 "0.7438, 0.7646, 0.8223, 0.9152, 1.053, 1.246, 1.501, 1.824, 2.22, 2.691",\
                 "0.7242, 0.745, 0.803, 0.8958, 1.034, 1.227, 1.482, 1.805, 2.199, 2.671",\
                 "0.6804, 0.7013, 0.7591, 0.8518, 0.9899, 1.183, 1.438, 1.76, 2.155, 2.627",\
                 "0.6099, 0.6308, 0.6884, 0.7813, 0.9193, 1.112, 1.367, 1.689, 2.084, 2.555",\
                 "0.5107, 0.5316, 0.5892, 0.6821, 0.8201, 1.012, 1.268, 1.589, 1.984, 2.455");
        }

        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.01094, 0.04583, 0.1124, 0.2162, 0.3619, 0.5535, 0.7949, 1.09, 1.441");
          values("0.096, 0.118, 0.173, 0.2602, 0.3964, 0.6014, 0.8858, 1.253, 1.702, 2.242",\
                 "0.09596, 0.1181, 0.173, 0.2602, 0.3964, 0.6016, 0.886, 1.252, 1.703, 2.241",\
                 "0.096, 0.118, 0.1732, 0.2602, 0.3964, 0.6016, 0.886, 1.253, 1.701, 2.242",\
                 "0.0964, 0.1176, 0.1732, 0.2598, 0.3968, 0.6012, 0.886, 1.252, 1.703, 2.241",\
                 "0.0964, 0.1176, 0.1732, 0.2602, 0.3964, 0.6014, 0.886, 1.252, 1.702, 2.241",\
                 "0.096, 0.1178, 0.1736, 0.2602, 0.3964, 0.6012, 0.886, 1.252, 1.703, 2.24",\
                 "0.0964, 0.118, 0.1734, 0.2602, 0.3966, 0.6018, 0.886, 1.253, 1.702, 2.241",\
                 "0.0964, 0.1176, 0.1734, 0.26, 0.397, 0.6018, 0.8856, 1.252, 1.703, 2.239",\
                 "0.0964, 0.1184, 0.1736, 0.2604, 0.3968, 0.6012, 0.886, 1.252, 1.703, 2.239",\
                 "0.0974, 0.1192, 0.174, 0.2606, 0.397, 0.602, 0.886, 1.25, 1.702, 2.241");
        }

        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.01094, 0.04583, 0.1124, 0.2162, 0.3619, 0.5535, 0.7949, 1.09, 1.441");
          values("0.09606, 0.122, 0.1976, 0.345, 0.5876, 0.9408, 1.413, 2.008, 2.734, 3.601",\
                 "0.0963, 0.1217, 0.1976, 0.3448, 0.5878, 0.941, 1.413, 2.009, 2.737, 3.602",\
                 "0.09632, 0.1218, 0.1976, 0.3449, 0.5879, 0.941, 1.414, 2.01, 2.737, 3.602",\
                 "0.09636, 0.1218, 0.1972, 0.3452, 0.5876, 0.9408, 1.413, 2.008, 2.735, 3.6",\
                 "0.0964, 0.1216, 0.197, 0.3448, 0.5874, 0.9408, 1.413, 2.009, 2.732, 3.601",\
                 "0.0958, 0.1216, 0.1978, 0.3442, 0.588, 0.9408, 1.412, 2.006, 2.734, 3.6",\
                 "0.0958, 0.1214, 0.1974, 0.3444, 0.5886, 0.9416, 1.413, 2.01, 2.735, 3.598",\
                 "0.0964, 0.1224, 0.198, 0.3444, 0.588, 0.9412, 1.411, 2.009, 2.736, 3.605",\
                 "0.0968, 0.1218, 0.1986, 0.345, 0.588, 0.9418, 1.411, 2.006, 2.733, 3.601",\
                 "0.0974, 0.122, 0.1986, 0.3452, 0.5884, 0.942, 1.413, 2.007, 2.734, 3.6");
        }
      }

      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.01094, 0.04583, 0.1124, 0.2162, 0.3619, 0.5535, 0.7949, 1.09, 1.441");
          values("0.8144, 0.8366, 0.8968, 0.9855, 1.1, 1.244, 1.422, 1.64, 1.904, 2.219",\
                 "0.8166, 0.8389, 0.8989, 0.9878, 1.102, 1.246, 1.424, 1.642, 1.907, 2.221",\
                 "0.8402, 0.8624, 0.9227, 1.011, 1.126, 1.269, 1.448, 1.666, 1.93, 2.245",\
                 "0.9037, 0.9259, 0.9862, 1.075, 1.189, 1.333, 1.511, 1.73, 1.994, 2.308",\
                 "1.01, 1.033, 1.093, 1.181, 1.296, 1.439, 1.618, 1.836, 2.1, 2.415",\
                 "1.159, 1.181, 1.241, 1.33, 1.444, 1.588, 1.766, 1.985, 2.249, 2.564",\
                 "1.349, 1.371, 1.432, 1.52, 1.635, 1.778, 1.956, 2.175, 2.439, 2.754",\
                 "1.58, 1.602, 1.663, 1.751, 1.866, 2.009, 2.187, 2.406, 2.67, 2.985",\
                 "1.851, 1.873, 1.933, 2.022, 2.136, 2.28, 2.458, 2.676, 2.94, 3.255",\
                 "2.161, 2.183, 2.244, 2.332, 2.446, 2.59, 2.768, 2.986, 3.25, 3.565");
        }

        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.01094, 0.04583, 0.1124, 0.2162, 0.3619, 0.5535, 0.7949, 1.09, 1.441");
          values("0.8845, 0.9067, 0.9662, 1.06, 1.196, 1.386, 1.638, 1.959, 2.352, 2.822",\
                 "0.8882, 0.9104, 0.9703, 1.063, 1.199, 1.39, 1.642, 1.963, 2.356, 2.826",\
                 "0.8982, 0.9204, 0.9799, 1.073, 1.209, 1.4, 1.652, 1.973, 2.366, 2.836",\
                 "0.8991, 0.9213, 0.9811, 1.074, 1.21, 1.401, 1.653, 1.974, 2.367, 2.837",\
                 "0.8805, 0.9027, 0.9627, 1.056, 1.192, 1.382, 1.635, 1.955, 2.349, 2.819",\
                 "0.8381, 0.8601, 0.9198, 1.013, 1.149, 1.339, 1.592, 1.912, 2.306, 2.775",\
                 "0.7698, 0.7919, 0.8517, 0.945, 1.081, 1.271, 1.524, 1.845, 2.238, 2.708",\
                 "0.6719, 0.6937, 0.7536, 0.8466, 0.9829, 1.173, 1.426, 1.746, 2.139, 2.61",\
                 "0.5394, 0.5614, 0.621, 0.7141, 0.8502, 1.041, 1.293, 1.614, 2.006, 2.476",\
                 "0.375, 0.3972, 0.4567, 0.5497, 0.6857, 0.8762, 1.129, 1.449, 1.842, 2.312");
        }

        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.01094, 0.04583, 0.1124, 0.2162, 0.3619, 0.5535, 0.7949, 1.09, 1.441");
          values("0.1281, 0.1533, 0.2181, 0.3151, 0.4548, 0.654, 0.9256, 1.277, 1.718, 2.251",\
                 "0.1285, 0.1535, 0.218, 0.315, 0.455, 0.6542, 0.9242, 1.277, 1.72, 2.252",\
                 "0.1281, 0.1536, 0.2184, 0.3152, 0.4548, 0.654, 0.9262, 1.277, 1.718, 2.252",\
                 "0.1282, 0.1532, 0.2182, 0.315, 0.4548, 0.654, 0.926, 1.277, 1.718, 2.251",\
                 "0.1286, 0.1534, 0.2184, 0.3148, 0.4548, 0.6544, 0.9256, 1.277, 1.72, 2.255",\
                 "0.128, 0.1538, 0.2186, 0.315, 0.4546, 0.654, 0.9262, 1.277, 1.718, 2.252",\
                 "0.128, 0.1532, 0.2182, 0.3148, 0.455, 0.6532, 0.9246, 1.278, 1.718, 2.252",\
                 "0.1278, 0.1532, 0.2184, 0.315, 0.4548, 0.6536, 0.9258, 1.277, 1.719, 2.254",\
                 "0.128, 0.1538, 0.2188, 0.315, 0.4548, 0.6534, 0.925, 1.277, 1.718, 2.254",\
                 "0.1284, 0.1534, 0.2192, 0.3154, 0.4554, 0.654, 0.9242, 1.276, 1.719, 2.252");
        }

        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.01094, 0.04583, 0.1124, 0.2162, 0.3619, 0.5535, 0.7949, 1.09, 1.441");
          values("0.09606, 0.122, 0.1976, 0.345, 0.5876, 0.9408, 1.413, 2.008, 2.734, 3.601",\
                 "0.0963, 0.1217, 0.1976, 0.3448, 0.5878, 0.941, 1.413, 2.009, 2.737, 3.602",\
                 "0.09632, 0.1218, 0.1976, 0.3449, 0.5879, 0.941, 1.414, 2.01, 2.737, 3.602",\
                 "0.09636, 0.1218, 0.1972, 0.3452, 0.5876, 0.9408, 1.413, 2.008, 2.735, 3.6",\
                 "0.0964, 0.1216, 0.197, 0.3448, 0.5874, 0.9408, 1.413, 2.009, 2.732, 3.601",\
                 "0.0958, 0.1216, 0.1978, 0.3442, 0.588, 0.9408, 1.412, 2.006, 2.734, 3.6",\
                 "0.0958, 0.1214, 0.1974, 0.3444, 0.5886, 0.9416, 1.413, 2.01, 2.735, 3.598",\
                 "0.0964, 0.1224, 0.198, 0.3444, 0.588, 0.9412, 1.411, 2.009, 2.736, 3.605",\
                 "0.0968, 0.1218, 0.1986, 0.345, 0.588, 0.9418, 1.411, 2.006, 2.733, 3.601",\
                 "0.0974, 0.122, 0.1986, 0.3452, 0.5884, 0.942, 1.413, 2.007, 2.734, 3.6");
        }
      }

      timing() {
        related_pin : "A3" ;
        sdf_cond : "A1===1'b0 && 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.01094, 0.04583, 0.1124, 0.2162, 0.3619, 0.5535, 0.7949, 1.09, 1.441");
          values("0.4432, 0.463, 0.516, 0.5941, 0.6966, 0.83, 1.001, 1.217, 1.481, 1.796",\
                 "0.4442, 0.4638, 0.5169, 0.5949, 0.6973, 0.8307, 1.002, 1.218, 1.482, 1.797",\
                 "0.4459, 0.4656, 0.5187, 0.5966, 0.6992, 0.8324, 1.004, 1.22, 1.484, 1.799",\
                 "0.4525, 0.4722, 0.5253, 0.6031, 0.7056, 0.839, 1.01, 1.226, 1.49, 1.805",\
                 "0.4641, 0.484, 0.5368, 0.6147, 0.7173, 0.8506, 1.022, 1.238, 1.502, 1.817",\
                 "0.4769, 0.4962, 0.549, 0.626, 0.728, 0.8609, 1.032, 1.248, 1.512, 1.827",\
                 "0.4781, 0.4977, 0.5505, 0.6276, 0.7297, 0.8626, 1.033, 1.249, 1.512, 1.827",\
                 "0.4639, 0.4842, 0.5372, 0.6146, 0.7171, 0.8505, 1.022, 1.237, 1.501, 1.815",\
                 "0.4334, 0.4537, 0.5071, 0.5859, 0.6887, 0.8234, 0.9967, 1.213, 1.477, 1.791",\
                 "0.3847, 0.4056, 0.4603, 0.5394, 0.6435, 0.7792, 0.9535, 1.169, 1.432, 1.746");
        }

        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.01094, 0.04583, 0.1124, 0.2162, 0.3619, 0.5535, 0.7949, 1.09, 1.441");
          values("0.4968, 0.5182, 0.5766, 0.6699, 0.8076, 1, 1.255, 1.577, 1.971, 2.443",\
                 "0.5017, 0.5232, 0.5817, 0.6749, 0.8127, 1.005, 1.26, 1.582, 1.977, 2.448",\
                 "0.525, 0.5464, 0.6051, 0.6983, 0.836, 1.028, 1.283, 1.606, 2, 2.472",\
                 "0.5765, 0.5979, 0.6565, 0.7496, 0.8874, 1.08, 1.334, 1.657, 2.051, 2.523",\
                 "0.6559, 0.6776, 0.7358, 0.829, 0.9665, 1.159, 1.413, 1.736, 2.13, 2.602",\
                 "0.76, 0.7813, 0.8399, 0.9331, 1.07, 1.263, 1.517, 1.839, 2.234, 2.705",\
                 "0.8849, 0.9063, 0.9647, 1.057, 1.195, 1.386, 1.64, 1.963, 2.357, 2.828",\
                 "1.028, 1.049, 1.108, 1.201, 1.338, 1.529, 1.783, 2.104, 2.499, 2.969",\
                 "1.189, 1.211, 1.271, 1.364, 1.501, 1.691, 1.944, 2.265, 2.659, 3.129",\
                 "1.37, 1.392, 1.453, 1.547, 1.683, 1.873, 2.125, 2.445, 2.838, 3.308");
        }

        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.01094, 0.04583, 0.1124, 0.2162, 0.3619, 0.5535, 0.7949, 1.09, 1.441");
          values("0.0959, 0.1169, 0.1729, 0.2612, 0.3976, 0.6016, 0.8857, 1.252, 1.701, 2.239",\
                 "0.09492, 0.117, 0.1727, 0.2607, 0.3975, 0.6022, 0.8857, 1.252, 1.701, 2.241",\
                 "0.09468, 0.117, 0.1729, 0.2617, 0.3976, 0.6017, 0.8858, 1.252, 1.701, 2.241",\
                 "0.09516, 0.1174, 0.1731, 0.2617, 0.3978, 0.6021, 0.8858, 1.252, 1.701, 2.24",\
                 "0.09496, 0.1164, 0.173, 0.2613, 0.3979, 0.6022, 0.8858, 1.251, 1.701, 2.241",\
                 "0.0966, 0.1182, 0.1736, 0.2606, 0.397, 0.602, 0.8852, 1.251, 1.702, 2.238",\
                 "0.1002, 0.1218, 0.1764, 0.264, 0.3992, 0.6026, 0.8836, 1.251, 1.702, 2.24",\
                 "0.1044, 0.1252, 0.1808, 0.2678, 0.4034, 0.6064, 0.8874, 1.251, 1.699, 2.238",\
                 "0.1088, 0.1304, 0.1864, 0.2726, 0.4088, 0.6136, 0.8966, 1.257, 1.702, 2.237",\
                 "0.1138, 0.1362, 0.1922, 0.28, 0.4154, 0.6212, 0.9002, 1.258, 1.7, 2.235");
        }

        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.01094, 0.04583, 0.1124, 0.2162, 0.3619, 0.5535, 0.7949, 1.09, 1.441");
          values("0.1012, 0.1271, 0.2025, 0.3484, 0.5899, 0.9419, 1.414, 2.01, 2.733, 3.603",\
                 "0.1015, 0.1273, 0.2026, 0.3484, 0.5897, 0.9423, 1.414, 2.01, 2.733, 3.604",\
                 "0.1016, 0.1268, 0.2026, 0.3475, 0.5898, 0.942, 1.415, 2.01, 2.737, 3.604",\
                 "0.1013, 0.1271, 0.2022, 0.3485, 0.59, 0.9418, 1.414, 2.01, 2.735, 3.605",\
                 "0.1014, 0.1275, 0.2026, 0.3484, 0.59, 0.9424, 1.413, 2.009, 2.736, 3.605",\
                 "0.1016, 0.1272, 0.2028, 0.348, 0.5904, 0.9424, 1.415, 2.007, 2.737, 3.606",\
                 "0.102, 0.1268, 0.2032, 0.3488, 0.5912, 0.942, 1.412, 2.007, 2.737, 3.606",\
                 "0.1038, 0.1296, 0.2064, 0.35, 0.5912, 0.943, 1.415, 2.008, 2.737, 3.6",\
                 "0.1072, 0.1328, 0.2092, 0.3528, 0.5918, 0.9424, 1.414, 2.009, 2.737, 3.602",\
                 "0.1112, 0.1374, 0.2142, 0.3556, 0.5934, 0.9432, 1.413, 2.008, 2.737, 3.605");
        }
      }

      timing() {
        related_pin : "A3" ;
        sdf_cond : "A1===1'b1 && 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.01094, 0.04583, 0.1124, 0.2162, 0.3619, 0.5535, 0.7949, 1.09, 1.441");
          values("0.4432, 0.463, 0.5162, 0.594, 0.6966, 0.83, 1.001, 1.217, 1.481, 1.796",\
                 "0.4442, 0.4638, 0.5169, 0.5948, 0.6973, 0.8307, 1.002, 1.218, 1.482, 1.797",\
                 "0.4459, 0.4656, 0.5187, 0.5966, 0.6992, 0.8324, 1.004, 1.22, 1.484, 1.799",\
                 "0.4526, 0.4722, 0.5253, 0.6031, 0.7056, 0.839, 1.01, 1.226, 1.49, 1.805",\
                 "0.4641, 0.484, 0.5368, 0.6147, 0.7173, 0.8506, 1.022, 1.238, 1.502, 1.817",\
                 "0.4769, 0.4962, 0.549, 0.626, 0.728, 0.8609, 1.032, 1.248, 1.512, 1.827",\
                 "0.4781, 0.4977, 0.5505, 0.6276, 0.7297, 0.8625, 1.033, 1.249, 1.512, 1.827",\
                 "0.4638, 0.4842, 0.5372, 0.6146, 0.7169, 0.8505, 1.022, 1.237, 1.501, 1.815",\
                 "0.4334, 0.4537, 0.5074, 0.5858, 0.6886, 0.8232, 0.9968, 1.214, 1.477, 1.791",\
                 "0.3847, 0.4056, 0.4603, 0.5394, 0.6435, 0.7792, 0.9535, 1.169, 1.432, 1.746");
        }

        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.01094, 0.04583, 0.1124, 0.2162, 0.3619, 0.5535, 0.7949, 1.09, 1.441");
          values("0.4968, 0.5181, 0.5766, 0.6699, 0.8076, 1, 1.255, 1.577, 1.971, 2.443",\
                 "0.5017, 0.5229, 0.5817, 0.6749, 0.8126, 1.005, 1.26, 1.582, 1.977, 2.448",\
                 "0.525, 0.5464, 0.6051, 0.6983, 0.836, 1.028, 1.283, 1.606, 2, 2.471",\
                 "0.5765, 0.5979, 0.6565, 0.7496, 0.8874, 1.08, 1.334, 1.657, 2.051, 2.523",\
                 "0.6559, 0.6776, 0.7358, 0.829, 0.9665, 1.159, 1.413, 1.736, 2.13, 2.602",\
                 "0.76, 0.7813, 0.8398, 0.9331, 1.07, 1.263, 1.517, 1.839, 2.234, 2.705",\
                 "0.8845, 0.9063, 0.9647, 1.057, 1.195, 1.386, 1.64, 1.963, 2.357, 2.828",\
                 "1.028, 1.049, 1.108, 1.201, 1.338, 1.529, 1.783, 2.104, 2.499, 2.969",\
                 "1.189, 1.211, 1.271, 1.364, 1.501, 1.691, 1.944, 2.265, 2.659, 3.129",\
                 "1.37, 1.392, 1.453, 1.547, 1.683, 1.873, 2.125, 2.445, 2.838, 3.308");
        }

        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.01094, 0.04583, 0.1124, 0.2162, 0.3619, 0.5535, 0.7949, 1.09, 1.441");
          values("0.0959, 0.1169, 0.1726, 0.2617, 0.3977, 0.6018, 0.8858, 1.252, 1.701, 2.241",\
                 "0.09492, 0.117, 0.1727, 0.2611, 0.3975, 0.6022, 0.8856, 1.252, 1.701, 2.241",\
                 "0.09472, 0.117, 0.1727, 0.2617, 0.3976, 0.6017, 0.8858, 1.252, 1.701, 2.241",\
                 "0.09526, 0.1174, 0.1731, 0.2617, 0.3978, 0.6021, 0.8858, 1.252, 1.701, 2.24",\
                 "0.09496, 0.1164, 0.173, 0.2613, 0.3979, 0.6022, 0.8858, 1.251, 1.701, 2.241",\
                 "0.0966, 0.1182, 0.1736, 0.2606, 0.397, 0.6012, 0.8852, 1.251, 1.7, 2.239",\
                 "0.1002, 0.1218, 0.1764, 0.2642, 0.3992, 0.603, 0.8836, 1.251, 1.702, 2.24",\
                 "0.1042, 0.1254, 0.1808, 0.2678, 0.4034, 0.6064, 0.8882, 1.25, 1.699, 2.239",\
                 "0.1088, 0.1304, 0.186, 0.273, 0.409, 0.6136, 0.8964, 1.257, 1.701, 2.236",\
                 "0.1138, 0.1362, 0.1922, 0.28, 0.4154, 0.6212, 0.9002, 1.258, 1.7, 2.235");
        }

        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.01094, 0.04583, 0.1124, 0.2162, 0.3619, 0.5535, 0.7949, 1.09, 1.441");
          values("0.1012, 0.1271, 0.2025, 0.3484, 0.5898, 0.9423, 1.414, 2.01, 2.733, 3.604",\
                 "0.1015, 0.1269, 0.2021, 0.3484, 0.5897, 0.9423, 1.414, 2.01, 2.733, 3.604",\
                 "0.1016, 0.1269, 0.2025, 0.3475, 0.5898, 0.942, 1.415, 2.009, 2.734, 3.605",\
                 "0.1013, 0.1272, 0.2022, 0.3483, 0.5898, 0.9418, 1.414, 2.01, 2.735, 3.605",\
                 "0.1012, 0.1273, 0.2026, 0.3484, 0.5902, 0.9424, 1.413, 2.009, 2.736, 3.605",\
                 "0.1016, 0.127, 0.2028, 0.3478, 0.5904, 0.9422, 1.415, 2.008, 2.737, 3.606",\
                 "0.1018, 0.1268, 0.2032, 0.3486, 0.5908, 0.942, 1.413, 2.009, 2.738, 3.603",\
                 "0.1038, 0.1296, 0.2062, 0.35, 0.5914, 0.9428, 1.415, 2.008, 2.738, 3.601",\
                 "0.107, 0.1328, 0.2092, 0.3528, 0.5918, 0.9428, 1.414, 2.009, 2.737, 3.604",\
                 "0.1118, 0.137, 0.2142, 0.3556, 0.5934, 0.9444, 1.413, 2.008, 2.737, 3.605");
        }
      }

      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.01094, 0.04583, 0.1124, 0.2162, 0.3619, 0.5535, 0.7949, 1.09, 1.441");
          values("0.4432, 0.463, 0.5162, 0.594, 0.6966, 0.83, 1.001, 1.217, 1.481, 1.796",\
                 "0.4442, 0.4638, 0.5169, 0.5948, 0.6973, 0.8307, 1.002, 1.218, 1.482, 1.797",\
                 "0.4459, 0.4656, 0.5187, 0.5966, 0.6992, 0.8324, 1.004, 1.22, 1.484, 1.799",\
                 "0.4526, 0.4722, 0.5253, 0.6031, 0.7056, 0.839, 1.01, 1.226, 1.49, 1.805",\
                 "0.4641, 0.484, 0.5368, 0.6147, 0.7173, 0.8506, 1.022, 1.238, 1.502, 1.817",\
                 "0.4769, 0.4962, 0.549, 0.626, 0.728, 0.8609, 1.032, 1.248, 1.512, 1.827",\
                 "0.4781, 0.4977, 0.5505, 0.6276, 0.7297, 0.8625, 1.033, 1.249, 1.512, 1.827",\
                 "0.4638, 0.4842, 0.5372, 0.6146, 0.7169, 0.8505, 1.022, 1.237, 1.501, 1.815",\
                 "0.4334, 0.4537, 0.5074, 0.5858, 0.6886, 0.8232, 0.9968, 1.214, 1.477, 1.791",\
                 "0.3847, 0.4056, 0.4603, 0.5394, 0.6435, 0.7792, 0.9535, 1.169, 1.432, 1.746");
        }

        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.01094, 0.04583, 0.1124, 0.2162, 0.3619, 0.5535, 0.7949, 1.09, 1.441");
          values("0.4968, 0.5181, 0.5766, 0.6699, 0.8076, 1, 1.255, 1.577, 1.971, 2.443",\
                 "0.5017, 0.5229, 0.5817, 0.6749, 0.8126, 1.005, 1.26, 1.582, 1.977, 2.448",\
                 "0.525, 0.5464, 0.6051, 0.6983, 0.836, 1.028, 1.283, 1.606, 2, 2.471",\
                 "0.5765, 0.5979, 0.6565, 0.7496, 0.8874, 1.08, 1.334, 1.657, 2.051, 2.523",\
                 "0.6559, 0.6776, 0.7358, 0.829, 0.9665, 1.159, 1.413, 1.736, 2.13, 2.602",\
                 "0.76, 0.7813, 0.8398, 0.9331, 1.07, 1.263, 1.517, 1.839, 2.234, 2.705",\
                 "0.8845, 0.9063, 0.9647, 1.057, 1.195, 1.386, 1.64, 1.963, 2.357, 2.828",\
                 "1.028, 1.049, 1.108, 1.201, 1.338, 1.529, 1.783, 2.104, 2.499, 2.969",\
                 "1.189, 1.211, 1.271, 1.364, 1.501, 1.691, 1.944, 2.265, 2.659, 3.129",\
                 "1.37, 1.392, 1.453, 1.547, 1.683, 1.873, 2.125, 2.445, 2.838, 3.308");
        }

        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.01094, 0.04583, 0.1124, 0.2162, 0.3619, 0.5535, 0.7949, 1.09, 1.441");
          values("0.0959, 0.1169, 0.1726, 0.2617, 0.3977, 0.6018, 0.8858, 1.252, 1.701, 2.241",\
                 "0.09492, 0.117, 0.1727, 0.2611, 0.3975, 0.6022, 0.8856, 1.252, 1.701, 2.241",\
                 "0.09472, 0.117, 0.1727, 0.2617, 0.3976, 0.6017, 0.8858, 1.252, 1.701, 2.241",\
                 "0.09526, 0.1174, 0.1731, 0.2617, 0.3978, 0.6021, 0.8858, 1.252, 1.701, 2.24",\
                 "0.09496, 0.1164, 0.173, 0.2613, 0.3979, 0.6022, 0.8858, 1.251, 1.701, 2.241",\
                 "0.0966, 0.1182, 0.1736, 0.2606, 0.397, 0.6012, 0.8852, 1.251, 1.7, 2.239",\
                 "0.1002, 0.1218, 0.1764, 0.2642, 0.3992, 0.603, 0.8836, 1.251, 1.702, 2.24",\
                 "0.1042, 0.1254, 0.1808, 0.2678, 0.4034, 0.6064, 0.8882, 1.25, 1.699, 2.239",\
                 "0.1088, 0.1304, 0.186, 0.273, 0.409, 0.6136, 0.8964, 1.257, 1.701, 2.236",\
                 "0.1138, 0.1362, 0.1922, 0.28, 0.4154, 0.6212, 0.9002, 1.258, 1.7, 2.235");
        }

        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.01094, 0.04583, 0.1124, 0.2162, 0.3619, 0.5535, 0.7949, 1.09, 1.441");
          values("0.1012, 0.1271, 0.2025, 0.3484, 0.5898, 0.9423, 1.414, 2.01, 2.733, 3.604",\
                 "0.1015, 0.1269, 0.2021, 0.3484, 0.5897, 0.9423, 1.414, 2.01, 2.733, 3.604",\
                 "0.1016, 0.1269, 0.2025, 0.3475, 0.5898, 0.942, 1.415, 2.009, 2.734, 3.605",\
                 "0.1013, 0.1272, 0.2022, 0.3483, 0.5898, 0.9418, 1.414, 2.01, 2.735, 3.605",\
                 "0.1012, 0.1273, 0.2026, 0.3484, 0.5902, 0.9424, 1.413, 2.009, 2.736, 3.605",\
                 "0.1016, 0.127, 0.2028, 0.3478, 0.5904, 0.9422, 1.415, 2.008, 2.737, 3.606",\
                 "0.1018, 0.1268, 0.2032, 0.3486, 0.5908, 0.942, 1.413, 2.009, 2.738, 3.603",\
                 "0.1038, 0.1296, 0.2062, 0.35, 0.5914, 0.9428, 1.415, 2.008, 2.738, 3.601",\
                 "0.107, 0.1328, 0.2092, 0.3528, 0.5918, 0.9428, 1.414, 2.009, 2.737, 3.604",\
                 "0.1118, 0.137, 0.2142, 0.3556, 0.5934, 0.9444, 1.413, 2.008, 2.737, 3.605");
        }
      }

      timing() {
        related_pin : "A3" ;
        sdf_cond : "A1===1'b0 && 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.01094, 0.04583, 0.1124, 0.2162, 0.3619, 0.5535, 0.7949, 1.09, 1.441");
          values("0.3164, 0.3387, 0.3993, 0.4881, 0.6029, 0.7467, 0.925, 1.144, 1.408, 1.723",\
                 "0.32, 0.3424, 0.4027, 0.4918, 0.6066, 0.7503, 0.9286, 1.147, 1.412, 1.726",\
                 "0.3375, 0.3599, 0.4204, 0.509, 0.6239, 0.7676, 0.946, 1.164, 1.429, 1.744",\
                 "0.3842, 0.4065, 0.4668, 0.5553, 0.6698, 0.8134, 0.9916, 1.21, 1.474, 1.789",\
                 "0.4683, 0.4905, 0.5499, 0.6376, 0.7514, 0.8944, 1.072, 1.29, 1.554, 1.869",\
                 "0.5832, 0.6056, 0.6658, 0.7533, 0.8666, 1.009, 1.186, 1.403, 1.666, 1.98",\
                 "0.7213, 0.7445, 0.8073, 0.897, 1.012, 1.154, 1.33, 1.547, 1.809, 2.122",\
                 "0.8791, 0.9037, 0.97, 1.064, 1.182, 1.327, 1.504, 1.72, 1.981, 2.293",\
                 "1.056, 1.082, 1.153, 1.251, 1.374, 1.524, 1.705, 1.923, 2.183, 2.494",\
                 "1.253, 1.281, 1.355, 1.458, 1.587, 1.743, 1.929, 2.152, 2.415, 2.726");
        }

        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.01094, 0.04583, 0.1124, 0.2162, 0.3619, 0.5535, 0.7949, 1.09, 1.441");
          values("0.2513, 0.2721, 0.3297, 0.4231, 0.5617, 0.7553, 1.011, 1.334, 1.73, 2.202",\
                 "0.2549, 0.2756, 0.3331, 0.4267, 0.5653, 0.7587, 1.014, 1.338, 1.734, 2.206",\
                 "0.2678, 0.2886, 0.3459, 0.4395, 0.5781, 0.7716, 1.027, 1.35, 1.746, 2.216",\
                 "0.295, 0.3157, 0.3729, 0.4656, 0.6035, 0.7964, 1.051, 1.374, 1.77, 2.242",\
                 "0.3268, 0.3479, 0.4056, 0.4974, 0.6342, 0.8255, 1.079, 1.401, 1.795, 2.267",\
                 "0.3491, 0.3711, 0.4306, 0.5229, 0.6583, 0.8482, 1.1, 1.421, 1.814, 2.285",\
                 "0.3566, 0.3798, 0.442, 0.5363, 0.6724, 0.8614, 1.112, 1.431, 1.822, 2.292",\
                 "0.3472, 0.3717, 0.4373, 0.5341, 0.6714, 0.8617, 1.112, 1.43, 1.82, 2.287",\
                 "0.3197, 0.3459, 0.4147, 0.5153, 0.6542, 0.8451, 1.097, 1.417, 1.806, 2.272",\
                 "0.2723, 0.3002, 0.3728, 0.4769, 0.6176, 0.8095, 1.064, 1.386, 1.778, 2.244");
        }

        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.01094, 0.04583, 0.1124, 0.2162, 0.3619, 0.5535, 0.7949, 1.09, 1.441");
          values("0.1273, 0.1519, 0.2168, 0.3138, 0.4537, 0.6535, 0.9236, 1.277, 1.72, 2.254",\
                 "0.1274, 0.1522, 0.217, 0.3138, 0.4536, 0.6534, 0.9251, 1.277, 1.719, 2.253",\
                 "0.1268, 0.1522, 0.2173, 0.3141, 0.4536, 0.6536, 0.9252, 1.278, 1.717, 2.255",\
                 "0.1267, 0.1521, 0.2171, 0.3143, 0.4539, 0.6537, 0.9253, 1.278, 1.717, 2.251",\
                 "0.1291, 0.1545, 0.2196, 0.3171, 0.4563, 0.6554, 0.9266, 1.278, 1.718, 2.254",\
                 "0.143, 0.1682, 0.2324, 0.3276, 0.4642, 0.6608, 0.9294, 1.279, 1.719, 2.254",\
                 "0.166, 0.1918, 0.2566, 0.3496, 0.4816, 0.6724, 0.9362, 1.282, 1.722, 2.253",\
                 "0.1924, 0.2206, 0.2878, 0.383, 0.5136, 0.6968, 0.9526, 1.293, 1.726, 2.254",\
                 "0.2224, 0.2514, 0.321, 0.4196, 0.5516, 0.7338, 0.9822, 1.313, 1.736, 2.26",\
                 "0.2512, 0.2844, 0.359, 0.4606, 0.5946, 0.778, 1.028, 1.353, 1.764, 2.275");
        }

        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.01094, 0.04583, 0.1124, 0.2162, 0.3619, 0.5535, 0.7949, 1.09, 1.441");
          values("0.09364, 0.1195, 0.1954, 0.3432, 0.5873, 0.94, 1.413, 2.009, 2.735, 3.605",\
                 "0.09368, 0.1192, 0.1957, 0.3434, 0.5873, 0.9406, 1.412, 2.008, 2.734, 3.605",\
                 "0.0936, 0.1192, 0.1952, 0.3436, 0.5873, 0.9408, 1.411, 2.008, 2.735, 3.601",\
                 "0.09348, 0.1194, 0.1957, 0.3431, 0.5872, 0.9406, 1.414, 2.008, 2.735, 3.599",\
                 "0.1006, 0.1261, 0.2017, 0.3471, 0.5889, 0.9408, 1.413, 2.009, 2.735, 3.602",\
                 "0.1129, 0.1385, 0.2133, 0.3548, 0.594, 0.944, 1.414, 2.006, 2.733, 3.601",\
                 "0.128, 0.1544, 0.2296, 0.3684, 0.6048, 0.9504, 1.418, 2.01, 2.736, 3.604",\
                 "0.1464, 0.1732, 0.2492, 0.386, 0.6196, 0.9658, 1.427, 2.015, 2.739, 3.605",\
                 "0.1662, 0.1936, 0.271, 0.4054, 0.6362, 0.9852, 1.448, 2.032, 2.746, 3.607",\
                 "0.1886, 0.2174, 0.2972, 0.4294, 0.6556, 1.003, 1.47, 2.057, 2.771, 3.62");
        }
      }

      timing() {
        related_pin : "A3" ;
        sdf_cond : "A1===1'b1 && 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.01094, 0.04583, 0.1124, 0.2162, 0.3619, 0.5535, 0.7949, 1.09, 1.441");
          values("0.316, 0.3384, 0.3988, 0.4878, 0.6024, 0.7464, 0.9248, 1.143, 1.408, 1.722",\
                 "0.3197, 0.342, 0.4025, 0.4915, 0.6062, 0.7501, 0.9284, 1.147, 1.411, 1.726",\
                 "0.3372, 0.3595, 0.4201, 0.5087, 0.6237, 0.7675, 0.9458, 1.164, 1.429, 1.744",\
                 "0.384, 0.4063, 0.4666, 0.5551, 0.6696, 0.8133, 0.9915, 1.21, 1.474, 1.789",\
                 "0.4681, 0.4903, 0.5498, 0.6372, 0.7513, 0.8943, 1.072, 1.29, 1.554, 1.869",\
                 "0.5832, 0.6057, 0.6659, 0.7534, 0.8668, 1.009, 1.186, 1.403, 1.666, 1.98",\
                 "0.7208, 0.7443, 0.8069, 0.897, 1.011, 1.154, 1.33, 1.547, 1.809, 2.122",\
                 "0.879, 0.904, 0.97, 1.064, 1.182, 1.328, 1.505, 1.72, 1.982, 2.293",\
                 "1.056, 1.083, 1.152, 1.251, 1.374, 1.524, 1.705, 1.923, 2.184, 2.494",\
                 "1.253, 1.281, 1.355, 1.458, 1.587, 1.743, 1.929, 2.152, 2.416, 2.726");
        }

        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.01094, 0.04583, 0.1124, 0.2162, 0.3619, 0.5535, 0.7949, 1.09, 1.441");
          values("0.2513, 0.2721, 0.3297, 0.4231, 0.5617, 0.7553, 1.011, 1.334, 1.73, 2.202",\
                 "0.255, 0.2756, 0.3331, 0.4267, 0.5653, 0.7587, 1.014, 1.337, 1.734, 2.206",\
                 "0.2678, 0.2886, 0.346, 0.4395, 0.5781, 0.7716, 1.027, 1.35, 1.746, 2.217",\
                 "0.295, 0.3156, 0.3728, 0.4657, 0.6036, 0.7966, 1.051, 1.375, 1.77, 2.242",\
                 "0.3268, 0.3479, 0.4055, 0.4973, 0.6342, 0.8255, 1.079, 1.401, 1.796, 2.267",\
                 "0.349, 0.3712, 0.4306, 0.5229, 0.6583, 0.8482, 1.1, 1.42, 1.814, 2.285",\
                 "0.3567, 0.3799, 0.4419, 0.5367, 0.6726, 0.8615, 1.112, 1.431, 1.822, 2.292",\
                 "0.3472, 0.372, 0.437, 0.5343, 0.6719, 0.8617, 1.113, 1.43, 1.82, 2.287",\
                 "0.3198, 0.3459, 0.4148, 0.5154, 0.6543, 0.8451, 1.097, 1.417, 1.806, 2.272",\
                 "0.2724, 0.3003, 0.3728, 0.477, 0.6177, 0.8096, 1.064, 1.386, 1.779, 2.244");
        }

        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.01094, 0.04583, 0.1124, 0.2162, 0.3619, 0.5535, 0.7949, 1.09, 1.441");
          values("0.1273, 0.1522, 0.2167, 0.3138, 0.4546, 0.6536, 0.9253, 1.277, 1.72, 2.253",\
                 "0.127, 0.1522, 0.2172, 0.3139, 0.4542, 0.6535, 0.9252, 1.277, 1.72, 2.251",\
                 "0.1266, 0.1519, 0.2172, 0.314, 0.4537, 0.6535, 0.9244, 1.278, 1.719, 2.255",\
                 "0.1266, 0.1521, 0.217, 0.3143, 0.4543, 0.654, 0.9251, 1.278, 1.717, 2.252",\
                 "0.1291, 0.1547, 0.22, 0.3173, 0.4567, 0.6552, 0.9258, 1.278, 1.718, 2.254",\
                 "0.1432, 0.1684, 0.2328, 0.328, 0.4644, 0.661, 0.9294, 1.28, 1.719, 2.254",\
                 "0.166, 0.1922, 0.2566, 0.3502, 0.4816, 0.6728, 0.9362, 1.283, 1.722, 2.251",\
                 "0.1928, 0.219, 0.2878, 0.3822, 0.5132, 0.6968, 0.9518, 1.293, 1.725, 2.254",\
                 "0.2218, 0.2502, 0.322, 0.4192, 0.552, 0.7344, 0.9824, 1.313, 1.737, 2.26",\
                 "0.2516, 0.2834, 0.358, 0.4592, 0.5946, 0.7784, 1.027, 1.354, 1.765, 2.274");
        }

        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.01094, 0.04583, 0.1124, 0.2162, 0.3619, 0.5535, 0.7949, 1.09, 1.441");
          values("0.09364, 0.1195, 0.1954, 0.3432, 0.5873, 0.94, 1.413, 2.009, 2.735, 3.606",\
                 "0.09412, 0.1192, 0.1957, 0.3433, 0.5874, 0.9404, 1.413, 2.009, 2.734, 3.605",\
                 "0.09348, 0.1192, 0.1955, 0.3436, 0.5873, 0.9409, 1.411, 2.009, 2.738, 3.601",\
                 "0.09366, 0.1194, 0.1957, 0.3433, 0.5871, 0.9411, 1.413, 2.008, 2.735, 3.606",\
                 "0.1003, 0.1258, 0.2016, 0.3469, 0.5888, 0.9408, 1.413, 2.006, 2.735, 3.602",\
                 "0.1126, 0.1386, 0.2131, 0.3547, 0.5942, 0.9446, 1.412, 2.009, 2.733, 3.601",\
                 "0.1288, 0.1548, 0.2296, 0.3692, 0.605, 0.9506, 1.418, 2.009, 2.736, 3.599",\
                 "0.1462, 0.1726, 0.2502, 0.3856, 0.62, 0.966, 1.427, 2.014, 2.739, 3.605",\
                 "0.1662, 0.1938, 0.271, 0.4056, 0.636, 0.9852, 1.448, 2.032, 2.747, 3.607",\
                 "0.1884, 0.2172, 0.2972, 0.4292, 0.6556, 1.003, 1.471, 2.057, 2.77, 3.62");
        }
      }

      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.01094, 0.04583, 0.1124, 0.2162, 0.3619, 0.5535, 0.7949, 1.09, 1.441");
          values("0.316, 0.3384, 0.3988, 0.4878, 0.6024, 0.7464, 0.9248, 1.143, 1.408, 1.722",\
                 "0.3197, 0.342, 0.4025, 0.4915, 0.6062, 0.7501, 0.9284, 1.147, 1.411, 1.726",\
                 "0.3372, 0.3595, 0.4201, 0.5087, 0.6237, 0.7675, 0.9458, 1.164, 1.429, 1.744",\
                 "0.384, 0.4063, 0.4666, 0.5551, 0.6696, 0.8133, 0.9915, 1.21, 1.474, 1.789",\
                 "0.4681, 0.4903, 0.5498, 0.6372, 0.7513, 0.8943, 1.072, 1.29, 1.554, 1.869",\
                 "0.5832, 0.6057, 0.6659, 0.7534, 0.8668, 1.009, 1.186, 1.403, 1.666, 1.98",\
                 "0.7208, 0.7443, 0.8069, 0.897, 1.011, 1.154, 1.33, 1.547, 1.809, 2.122",\
                 "0.879, 0.904, 0.97, 1.064, 1.182, 1.328, 1.505, 1.72, 1.982, 2.293",\
                 "1.056, 1.083, 1.152, 1.251, 1.374, 1.524, 1.705, 1.923, 2.184, 2.494",\
                 "1.253, 1.281, 1.355, 1.458, 1.587, 1.743, 1.929, 2.152, 2.416, 2.726");
        }

        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.01094, 0.04583, 0.1124, 0.2162, 0.3619, 0.5535, 0.7949, 1.09, 1.441");
          values("0.2513, 0.2721, 0.3297, 0.4231, 0.5617, 0.7553, 1.011, 1.334, 1.73, 2.202",\
                 "0.255, 0.2756, 0.3331, 0.4267, 0.5653, 0.7587, 1.014, 1.337, 1.734, 2.206",\
                 "0.2678, 0.2886, 0.346, 0.4395, 0.5781, 0.7716, 1.027, 1.35, 1.746, 2.217",\
                 "0.295, 0.3156, 0.3728, 0.4657, 0.6036, 0.7966, 1.051, 1.375, 1.77, 2.242",\
                 "0.3268, 0.3479, 0.4055, 0.4973, 0.6342, 0.8255, 1.079, 1.401, 1.796, 2.267",\
                 "0.349, 0.3712, 0.4306, 0.5229, 0.6583, 0.8482, 1.1, 1.42, 1.814, 2.285",\
                 "0.3567, 0.3799, 0.4419, 0.5367, 0.6726, 0.8615, 1.112, 1.431, 1.822, 2.292",\
                 "0.3472, 0.372, 0.437, 0.5343, 0.6719, 0.8617, 1.113, 1.43, 1.82, 2.287",\
                 "0.3198, 0.3459, 0.4148, 0.5154, 0.6543, 0.8451, 1.097, 1.417, 1.806, 2.272",\
                 "0.2724, 0.3003, 0.3728, 0.477, 0.6177, 0.8096, 1.064, 1.386, 1.779, 2.244");
        }

        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.01094, 0.04583, 0.1124, 0.2162, 0.3619, 0.5535, 0.7949, 1.09, 1.441");
          values("0.1273, 0.1519, 0.2168, 0.3138, 0.4537, 0.6535, 0.9236, 1.277, 1.72, 2.254",\
                 "0.1274, 0.1522, 0.217, 0.3138, 0.4536, 0.6534, 0.9251, 1.277, 1.719, 2.253",\
                 "0.1268, 0.1522, 0.2173, 0.3141, 0.4536, 0.6536, 0.9252, 1.278, 1.717, 2.255",\
                 "0.1267, 0.1521, 0.2171, 0.3143, 0.4539, 0.6537, 0.9253, 1.278, 1.717, 2.251",\
                 "0.1291, 0.1545, 0.2196, 0.3171, 0.4563, 0.6554, 0.9266, 1.278, 1.718, 2.254",\
                 "0.143, 0.1682, 0.2324, 0.3276, 0.4642, 0.6608, 0.9294, 1.279, 1.719, 2.254",\
                 "0.166, 0.1918, 0.2566, 0.3496, 0.4816, 0.6724, 0.9362, 1.282, 1.722, 2.253",\
                 "0.1924, 0.2206, 0.2878, 0.383, 0.5136, 0.6968, 0.9526, 1.293, 1.726, 2.254",\
                 "0.2224, 0.2514, 0.321, 0.4196, 0.5516, 0.7338, 0.9822, 1.313, 1.736, 2.26",\
                 "0.2512, 0.2844, 0.359, 0.4606, 0.5946, 0.778, 1.028, 1.353, 1.764, 2.275");
        }

        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.01094, 0.04583, 0.1124, 0.2162, 0.3619, 0.5535, 0.7949, 1.09, 1.441");
          values("0.09364, 0.1195, 0.1954, 0.3432, 0.5873, 0.94, 1.413, 2.009, 2.735, 3.605",\
                 "0.09368, 0.1192, 0.1957, 0.3434, 0.5873, 0.9406, 1.412, 2.008, 2.734, 3.605",\
                 "0.0936, 0.1192, 0.1952, 0.3436, 0.5873, 0.9408, 1.411, 2.008, 2.735, 3.601",\
                 "0.09348, 0.1194, 0.1957, 0.3431, 0.5872, 0.9406, 1.414, 2.008, 2.735, 3.599",\
                 "0.1006, 0.1261, 0.2017, 0.3471, 0.5889, 0.9408, 1.413, 2.009, 2.735, 3.602",\
                 "0.1129, 0.1385, 0.2133, 0.3548, 0.594, 0.944, 1.414, 2.006, 2.733, 3.601",\
                 "0.128, 0.1544, 0.2296, 0.3684, 0.6048, 0.9504, 1.418, 2.01, 2.736, 3.604",\
                 "0.1464, 0.1732, 0.2492, 0.386, 0.6196, 0.9658, 1.427, 2.015, 2.739, 3.605",\
                 "0.1662, 0.1936, 0.271, 0.4054, 0.6362, 0.9852, 1.448, 2.032, 2.746, 3.607",\
                 "0.1886, 0.2174, 0.2972, 0.4294, 0.6556, 1.003, 1.47, 2.057, 2.771, 3.62");
        }
      }
    }
  }