/*
 * 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_mcu7t5v0__xnor3_4) {
    area : 70.246400 ;

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

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

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

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

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

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

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

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

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

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

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

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

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

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

    pin(ZN) {
      direction : output ;
      function : "(!(A1^A2^A3))" ;
      max_capacitance : 0.7673 ;
      max_transition : 25 ;
      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.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.006289, 0.02485, 0.06031, 0.1155, 0.193, 0.295, 0.4235, 0.5803, 0.7673");
          values("0.05463, 0.05475, 0.05519, 0.05583, 0.05645, 0.05691, 0.05718, 0.05708, 0.05611, 0.05419",\
                 "0.05464, 0.05477, 0.0552, 0.05584, 0.05645, 0.05692, 0.05719, 0.05706, 0.05601, 0.05404",\
                 "0.05462, 0.05474, 0.05517, 0.05581, 0.05642, 0.05688, 0.05711, 0.05684, 0.05553, 0.05344",\
                 "0.05445, 0.05458, 0.05501, 0.05565, 0.05626, 0.05668, 0.05682, 0.0562, 0.05442, 0.05225",\
                 "0.05426, 0.05437, 0.05479, 0.05543, 0.056, 0.05636, 0.05618, 0.05482, 0.05256, 0.05058",\
                 "0.05381, 0.05393, 0.05434, 0.05494, 0.05542, 0.05546, 0.05426, 0.05189, 0.0498, 0.04825",\
                 "0.05217, 0.05228, 0.05262, 0.05306, 0.053, 0.05121, 0.04867, 0.04683, 0.04555, 0.04463",\
                 "0.04434, 0.04441, 0.04408, 0.0412, 0.03915, 0.03803, 0.03739, 0.037, 0.03675, 0.03658",\
                 "0.01385, 0.01403, 0.01453, 0.01523, 0.01588, 0.01635, 0.01668, 0.0169, 0.01705, 0.01715",\
                 "-0.007704, -0.007705, -0.007715, -0.007729, -0.007739, -0.007747, -0.007754, -0.007759, -0.007762, -0.007767");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.006289, 0.02485, 0.06031, 0.1155, 0.193, 0.295, 0.4235, 0.5803, 0.7673");
          values("0.006546, 0.00671, 0.007215, 0.007884, 0.008744, 0.01358, 0.06682, 0.2169, 0.3745, 0.4906",\
                 "0.006457, 0.006628, 0.007098, 0.007771, 0.008582, 0.01392, 0.06939, 0.2204, 0.3753, 0.4889",\
                 "0.00633, 0.006519, 0.007003, 0.007674, 0.008462, 0.01551, 0.08038, 0.2336, 0.3779, 0.4819",\
                 "0.006238, 0.006416, 0.006928, 0.007528, 0.008572, 0.02035, 0.105, 0.2551, 0.3776, 0.4642",\
                 "0.006124, 0.006333, 0.006836, 0.007547, 0.00914, 0.03613, 0.1476, 0.2737, 0.3634, 0.426",\
                 "0.005972, 0.006179, 0.006656, 0.007396, 0.015, 0.0824, 0.1881, 0.2637, 0.3144, 0.3494",\
                 "0.0056, 0.00578, 0.006267, 0.0117, 0.06183, 0.1212, 0.1585, 0.1821, 0.1976, 0.2081",\
                 "-0.02068, -0.02027, -0.01966, -0.01934, -0.01921, -0.01915, -0.01913, -0.01912, -0.01911, -0.01911",\
                 "-0.04755, -0.04755, -0.04755, -0.04755, -0.04755, -0.04755, -0.04755, -0.04755, -0.04755, -0.04755",\
                 "-0.06268, -0.06268, -0.06268, -0.06268, -0.06268, -0.06268, -0.06268, -0.06268, -0.06268, -0.06268");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.006289, 0.02485, 0.06031, 0.1155, 0.193, 0.295, 0.4235, 0.5803, 0.7673");
          values("0.05791, 0.05802, 0.05841, 0.05901, 0.05961, 0.0601, 0.06045, 0.06065, 0.06055, 0.05971",\
                 "0.05784, 0.05794, 0.05833, 0.05893, 0.05954, 0.06002, 0.06037, 0.06057, 0.06045, 0.05956",\
                 "0.05769, 0.0578, 0.05819, 0.05879, 0.0594, 0.05989, 0.06023, 0.06041, 0.06019, 0.05914",\
                 "0.05759, 0.0577, 0.05809, 0.05869, 0.0593, 0.05978, 0.06011, 0.06022, 0.05978, 0.05835",\
                 "0.05752, 0.05762, 0.05801, 0.0586, 0.0592, 0.05967, 0.05996, 0.05984, 0.0588, 0.05685",\
                 "0.05734, 0.05744, 0.05783, 0.05841, 0.05899, 0.0594, 0.05941, 0.05843, 0.05635, 0.05428",\
                 "0.05659, 0.0567, 0.05705, 0.05757, 0.05795, 0.0577, 0.05593, 0.05352, 0.05167, 0.05033",\
                 "0.04958, 0.04964, 0.04972, 0.04796, 0.04533, 0.04378, 0.04285, 0.04228, 0.04191, 0.04165",\
                 "0.01337, 0.01348, 0.01383, 0.01431, 0.01477, 0.0151, 0.01534, 0.01549, 0.0156, 0.01567",\
                 "-0.007138, -0.007138, -0.007138, -0.007139, -0.007139, -0.00714, -0.00714, -0.00714, -0.00714, -0.007141");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.006289, 0.02485, 0.06031, 0.1155, 0.193, 0.295, 0.4235, 0.5803, 0.7673");
          values("-0.1322, -0.132, -0.1316, -0.1311, -0.1303, -0.1263, -0.08001, 0.0656, 0.2314, 0.3562",\
                 "-0.1322, -0.132, -0.1315, -0.131, -0.1304, -0.1262, -0.07746, 0.07028, 0.2331, 0.3548",\
                 "-0.1322, -0.132, -0.1316, -0.131, -0.1304, -0.1246, -0.06701, 0.08484, 0.2373, 0.3489",\
                 "-0.1323, -0.1321, -0.1317, -0.1312, -0.1303, -0.1211, -0.04588, 0.1068, 0.2398, 0.3349",\
                 "-0.1325, -0.1323, -0.1319, -0.1314, -0.1303, -0.1118, -0.01193, 0.1282, 0.2338, 0.3082",\
                 "-0.1327, -0.1325, -0.1321, -0.1316, -0.1288, -0.08762, 0.0297, 0.1361, 0.2094, 0.2604",\
                 "-0.133, -0.1329, -0.1325, -0.1317, -0.1178, -0.03858, 0.05131, 0.1118, 0.1523, 0.1802",\
                 "-0.134, -0.1338, -0.1334, -0.1253, -0.07265, -0.02191, 0.009796, 0.02988, 0.04312, 0.05213",\
                 "-0.1463, -0.1462, -0.1421, -0.1383, -0.1361, -0.1349, -0.1342, -0.1338, -0.1336, -0.1334",\
                 "-0.1809, -0.1809, -0.1809, -0.1809, -0.1809, -0.1809, -0.1809, -0.1809, -0.1809, -0.1809");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.006289, 0.02485, 0.06031, 0.1155, 0.193, 0.295, 0.4235, 0.5803, 0.7673");
          values("0.05699, 0.05712, 0.05755, 0.05818, 0.0588, 0.05928, 0.05959, 0.05969, 0.05926, 0.05786",\
                 "0.05703, 0.05714, 0.05758, 0.05822, 0.05885, 0.05932, 0.05963, 0.05972, 0.05922, 0.05776",\
                 "0.0569, 0.05703, 0.05745, 0.0581, 0.05872, 0.05918, 0.05948, 0.05952, 0.05886, 0.0572",\
                 "0.05675, 0.05686, 0.0573, 0.05793, 0.05856, 0.05902, 0.05928, 0.05914, 0.05806, 0.05608",\
                 "0.0566, 0.05671, 0.05714, 0.05778, 0.05839, 0.0588, 0.0589, 0.05817, 0.05629, 0.05413",\
                 "0.05622, 0.05636, 0.05677, 0.05738, 0.05789, 0.05803, 0.05714, 0.05493, 0.05273, 0.05108",\
                 "0.05326, 0.05336, 0.05366, 0.05395, 0.05313, 0.0505, 0.04839, 0.04698, 0.04601, 0.04532",\
                 "0.02182, 0.02184, 0.02214, 0.02273, 0.02338, 0.02385, 0.0242, 0.02443, 0.0246, 0.02471",\
                 "-0.007871, -0.00787, -0.007874, -0.007877, -0.007883, -0.007886, -0.007889, -0.007891, -0.007892, -0.007893",\
                 "-0.01664, -0.01664, -0.01664, -0.01664, -0.01664, -0.01664, -0.01664, -0.01664, -0.01665, -0.01665");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.006289, 0.02485, 0.06031, 0.1155, 0.193, 0.295, 0.4235, 0.5803, 0.7673");
          values("-0.0257, -0.02546, -0.02499, -0.02435, -0.02358, -0.02247, -0.00674, 0.08997, 0.2822, 0.4645",\
                 "-0.02568, -0.0255, -0.02497, -0.02429, -0.02358, -0.02234, -0.005512, 0.09351, 0.2859, 0.4655",\
                 "-0.0257, -0.02552, -0.02503, -0.0244, -0.02362, -0.02218, -0.001815, 0.1067, 0.298, 0.4681",\
                 "-0.02575, -0.02556, -0.02504, -0.02434, -0.02361, -0.02156, 0.006827, 0.1329, 0.3179, 0.4693",\
                 "-0.0258, -0.0256, -0.02512, -0.02452, -0.02368, -0.01948, 0.02799, 0.1749, 0.339, 0.4617",\
                 "-0.02587, -0.02568, -0.02514, -0.02445, -0.02364, -0.01237, 0.07002, 0.2211, 0.3459, 0.4343",\
                 "-0.02596, -0.02575, -0.02527, -0.02463, -0.02207, 0.01524, 0.1321, 0.2432, 0.32, 0.3732",\
                 "-0.0261, -0.0259, -0.02537, -0.02436, -0.00339, 0.08013, 0.1562, 0.2057, 0.2385, 0.261",\
                 "-0.02684, -0.02669, -0.0247, 0.001906, 0.03184, 0.04972, 0.06031, 0.06685, 0.07111, 0.07393",\
                 "-0.07156, -0.07156, -0.07157, -0.07157, -0.07157, -0.07159, -0.07159, -0.07159, -0.07159, -0.07159");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.006289, 0.02485, 0.06031, 0.1155, 0.193, 0.295, 0.4235, 0.5803, 0.7673");
          values("0.05405, 0.05415, 0.05453, 0.05512, 0.05572, 0.05621, 0.05657, 0.05682, 0.05696, 0.05681",\
                 "0.05404, 0.05414, 0.05452, 0.05511, 0.05572, 0.05621, 0.05657, 0.05682, 0.05695, 0.05679",\
                 "0.05403, 0.05413, 0.0545, 0.05509, 0.0557, 0.05619, 0.05656, 0.0568, 0.05691, 0.05669",\
                 "0.05396, 0.05407, 0.05444, 0.05504, 0.05565, 0.05613, 0.05649, 0.05673, 0.0568, 0.05642",\
                 "0.05385, 0.05397, 0.05435, 0.05494, 0.05555, 0.05603, 0.05639, 0.0566, 0.05655, 0.05581",\
                 "0.05378, 0.05387, 0.05425, 0.05483, 0.05543, 0.05592, 0.05625, 0.05638, 0.05596, 0.05458",\
                 "0.05365, 0.05377, 0.05414, 0.05471, 0.05531, 0.05577, 0.05603, 0.05574, 0.05438, 0.05229",\
                 "0.05341, 0.05351, 0.05388, 0.05443, 0.05497, 0.05523, 0.05477, 0.05297, 0.05069, 0.04891",\
                 "0.0514, 0.05148, 0.05176, 0.05209, 0.05187, 0.04981, 0.04739, 0.04571, 0.04454, 0.04371",\
                 "0.03069, 0.02966, 0.02825, 0.02778, 0.02786, 0.02809, 0.02831, 0.02849, 0.02862, 0.02872");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.006289, 0.02485, 0.06031, 0.1155, 0.193, 0.295, 0.4235, 0.5803, 0.7673");
          values("0.01959, 0.01978, 0.02016, 0.02069, 0.02143, 0.02352, 0.05118, 0.1747, 0.3608, 0.5146",\
                 "0.01966, 0.01979, 0.02021, 0.0207, 0.02151, 0.02375, 0.0531, 0.1796, 0.364, 0.5145",\
                 "0.0195, 0.01968, 0.02012, 0.02057, 0.02124, 0.02419, 0.05906, 0.1944, 0.3726, 0.5129",\
                 "0.01937, 0.01953, 0.01997, 0.02043, 0.02123, 0.02569, 0.07532, 0.2231, 0.385, 0.5059",\
                 "0.01922, 0.0194, 0.01981, 0.02038, 0.02123, 0.03156, 0.1109, 0.2626, 0.3912, 0.4829",\
                 "0.01905, 0.01922, 0.0196, 0.02019, 0.02238, 0.05694, 0.1726, 0.288, 0.3686, 0.4248",\
                 "0.01855, 0.01872, 0.01913, 0.0202, 0.04338, 0.127, 0.1994, 0.2466, 0.278, 0.2996",\
                 "0.01426, 0.01413, 0.02186, 0.03755, 0.04787, 0.0538, 0.05727, 0.05938, 0.06073, 0.06167",\
                 "-0.03151, -0.03151, -0.03151, -0.03151, -0.03151, -0.03151, -0.03151, -0.03151, -0.03151, -0.03151",\
                 "-0.03879, -0.03879, -0.03879, -0.03879, -0.03879, -0.03879, -0.03879, -0.03879, -0.03879, -0.03879");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.006289, 0.02485, 0.06031, 0.1155, 0.193, 0.295, 0.4235, 0.5803, 0.7673");
          values("0.05523, 0.05534, 0.05579, 0.05643, 0.05705, 0.05753, 0.05781, 0.05778, 0.05696, 0.05515",\
                 "0.05525, 0.05538, 0.0558, 0.05644, 0.05706, 0.05754, 0.05781, 0.05776, 0.05688, 0.05502",\
                 "0.05521, 0.05534, 0.05578, 0.05642, 0.05705, 0.0575, 0.05775, 0.0576, 0.05647, 0.05446",\
                 "0.0551, 0.05523, 0.05567, 0.05631, 0.05692, 0.05737, 0.05755, 0.0571, 0.05551, 0.05336",\
                 "0.05496, 0.05508, 0.05552, 0.05615, 0.05675, 0.05713, 0.05708, 0.05598, 0.05383, 0.05176",\
                 "0.05465, 0.05478, 0.0552, 0.05581, 0.05632, 0.05648, 0.05562, 0.05344, 0.05123, 0.04956",\
                 "0.05349, 0.0536, 0.05397, 0.05445, 0.05462, 0.05343, 0.05089, 0.04882, 0.04735, 0.04629",\
                 "0.04743, 0.0475, 0.04765, 0.04619, 0.04347, 0.04181, 0.04081, 0.04017, 0.03975, 0.03946",\
                 "0.01823, 0.01835, 0.01881, 0.01952, 0.02019, 0.02071, 0.02105, 0.02129, 0.02146, 0.02158",\
                 "-0.004257, -0.004265, -0.004276, -0.004292, -0.004305, -0.004328, -0.004329, -0.004338, -0.004342, -0.004347");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.006289, 0.02485, 0.06031, 0.1155, 0.193, 0.295, 0.4235, 0.5803, 0.7673");
          values("-0.0186, -0.01842, -0.01791, -0.01728, -0.01649, -0.01213, 0.03742, 0.186, 0.3476, 0.4676",\
                 "-0.01873, -0.01853, -0.01809, -0.01743, -0.01664, -0.01198, 0.03939, 0.1892, 0.3485, 0.4662",\
                 "-0.01891, -0.01871, -0.01821, -0.01757, -0.01679, -0.01072, 0.04906, 0.2018, 0.3515, 0.4603",\
                 "-0.01902, -0.0188, -0.01841, -0.01762, -0.01679, -0.006332, 0.07351, 0.2252, 0.3531, 0.4438",\
                 "-0.0191, -0.01892, -0.01842, -0.0178, -0.01624, 0.008724, 0.1182, 0.2476, 0.3403, 0.405",\
                 "-0.0192, -0.01902, -0.01852, -0.01777, -0.01005, 0.05773, 0.1631, 0.2382, 0.2886, 0.3233",\
                 "-0.01956, -0.01937, -0.01888, -0.01116, 0.04142, 0.09312, 0.125, 0.1451, 0.1583, 0.1672",\
                 "-0.05602, -0.05604, -0.05608, -0.05612, -0.05614, -0.05616, -0.05617, -0.05618, -0.05618, -0.05618",\
                 "-0.07481, -0.07481, -0.07481, -0.07481, -0.07481, -0.07481, -0.07481, -0.07481, -0.07481, -0.07481",\
                 "-0.08833, -0.08833, -0.08833, -0.08833, -0.08833, -0.08833, -0.08833, -0.08833, -0.08833, -0.08833");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.006289, 0.02485, 0.06031, 0.1155, 0.193, 0.295, 0.4235, 0.5803, 0.7673");
          values("0.05799, 0.0581, 0.05848, 0.05908, 0.05968, 0.06018, 0.06053, 0.06074, 0.06066, 0.05989",\
                 "0.05788, 0.05797, 0.05836, 0.05896, 0.05957, 0.06005, 0.0604, 0.06061, 0.06052, 0.05971",\
                 "0.0577, 0.0578, 0.05818, 0.05878, 0.05939, 0.05987, 0.06022, 0.06041, 0.06026, 0.05929",\
                 "0.05758, 0.0577, 0.05808, 0.05868, 0.05928, 0.05977, 0.06011, 0.06024, 0.05986, 0.05852",\
                 "0.05752, 0.05763, 0.05802, 0.05861, 0.05922, 0.05969, 0.05998, 0.05989, 0.05892, 0.05701",\
                 "0.0574, 0.05751, 0.05789, 0.05848, 0.05906, 0.05946, 0.05946, 0.05847, 0.05639, 0.05432",\
                 "0.05659, 0.05668, 0.05702, 0.05753, 0.05787, 0.05743, 0.0554, 0.05304, 0.0513, 0.05004",\
                 "0.047, 0.04703, 0.04602, 0.04301, 0.04127, 0.04037, 0.0399, 0.03962, 0.03945, 0.03934",\
                 "0.008634, 0.00871, 0.008932, 0.009201, 0.009413, 0.009552, 0.00964, 0.009695, 0.009732, 0.009756",\
                 "-0.007563, -0.007562, -0.007562, -0.007563, -0.007562, -0.007562, -0.007562, -0.007563, -0.007563, -0.007565");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.006289, 0.02485, 0.06031, 0.1155, 0.193, 0.295, 0.4235, 0.5803, 0.7673");
          values("-0.09223, -0.09209, -0.09174, -0.09115, -0.09037, -0.08693, -0.0462, 0.0948, 0.2668, 0.399",\
                 "-0.09222, -0.09204, -0.09167, -0.09111, -0.09035, -0.08674, -0.04378, 0.09931, 0.2688, 0.3979",\
                 "-0.09225, -0.09208, -0.09163, -0.09119, -0.09038, -0.08569, -0.03504, 0.1138, 0.2742, 0.3934",\
                 "-0.09236, -0.09215, -0.0918, -0.09124, -0.09052, -0.08319, -0.01602, 0.1374, 0.2793, 0.3817",\
                 "-0.09246, -0.09228, -0.09191, -0.09136, -0.09031, -0.07571, 0.01627, 0.1623, 0.2771, 0.3581",\
                 "-0.09258, -0.09244, -0.09203, -0.09146, -0.08948, -0.05561, 0.05978, 0.1763, 0.2579, 0.3148",\
                 "-0.09285, -0.09269, -0.09234, -0.09176, -0.0822, -0.009795, 0.09059, 0.1608, 0.2079, 0.2405",\
                 "-0.09355, -0.09342, -0.09305, -0.08877, -0.04102, 0.02285, 0.06412, 0.09045, 0.1078, 0.1197",\
                 "-0.0985, -0.09873, -0.09123, -0.08015, -0.07311, -0.06912, -0.06685, -0.06545, -0.06457, -0.06397",\
                 "-0.1387, -0.1387, -0.1387, -0.1387, -0.1387, -0.1387, -0.1387, -0.1387, -0.1387, -0.1387");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.006289, 0.02485, 0.06031, 0.1155, 0.193, 0.295, 0.4235, 0.5803, 0.7673");
          values("0.05737, 0.05749, 0.05793, 0.05857, 0.05919, 0.05966, 0.05996, 0.06002, 0.05943, 0.05785",\
                 "0.05726, 0.05741, 0.05784, 0.05847, 0.0591, 0.05956, 0.05987, 0.05991, 0.05928, 0.05765",\
                 "0.0572, 0.05732, 0.05775, 0.05839, 0.05901, 0.05948, 0.05978, 0.05972, 0.0589, 0.05708",\
                 "0.0571, 0.05721, 0.05764, 0.05828, 0.0589, 0.05935, 0.05958, 0.05932, 0.058, 0.05591",\
                 "0.05695, 0.05705, 0.0575, 0.05813, 0.05873, 0.05912, 0.05911, 0.0581, 0.05601, 0.05392",\
                 "0.05645, 0.05658, 0.057, 0.05758, 0.05804, 0.05801, 0.05668, 0.05426, 0.05223, 0.05072",\
                 "0.05226, 0.05235, 0.05261, 0.05266, 0.05074, 0.04821, 0.04655, 0.04545, 0.04471, 0.04419",\
                 "0.01762, 0.01781, 0.01831, 0.01903, 0.0197, 0.0202, 0.02054, 0.02077, 0.02093, 0.02104",\
                 "-0.00935, -0.009351, -0.009353, -0.009354, -0.009356, -0.009358, -0.009359, -0.00936, -0.009361, -0.009362",\
                 "-0.01779, -0.01779, -0.01779, -0.01779, -0.01779, -0.01779, -0.01779, -0.01779, -0.01779, -0.01779");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.006289, 0.02485, 0.06031, 0.1155, 0.193, 0.295, 0.4235, 0.5803, 0.7673");
          values("-0.06168, -0.06148, -0.06099, -0.06035, -0.05958, -0.05836, -0.04218, 0.05501, 0.2473, 0.4289",\
                 "-0.06168, -0.06147, -0.06099, -0.06029, -0.05956, -0.0583, -0.04106, 0.05883, 0.2511, 0.4298",\
                 "-0.06168, -0.06147, -0.06099, -0.06037, -0.05959, -0.05804, -0.03763, 0.07112, 0.2624, 0.4321",\
                 "-0.06169, -0.06151, -0.06101, -0.06034, -0.05951, -0.05752, -0.0293, 0.09584, 0.2812, 0.4334",\
                 "-0.06175, -0.06155, -0.06108, -0.0604, -0.0597, -0.05586, -0.01066, 0.1347, 0.3015, 0.4271",\
                 "-0.06182, -0.06163, -0.06113, -0.0604, -0.05957, -0.04971, 0.02774, 0.1801, 0.3104, 0.4032",\
                 "-0.06191, -0.06173, -0.06122, -0.06058, -0.05858, -0.02663, 0.08798, 0.207, 0.2902, 0.3481",\
                 "-0.06207, -0.06189, -0.06144, -0.06055, -0.04522, 0.0357, 0.1223, 0.1797, 0.2179, 0.2442",\
                 "-0.06263, -0.06243, -0.06152, -0.04055, 0.002531, 0.03009, 0.04656, 0.05684, 0.06354, 0.06811",\
                 "-0.1045, -0.1045, -0.1045, -0.1045, -0.1045, -0.1045, -0.1045, -0.1045, -0.1045, -0.1045");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.006289, 0.02485, 0.06031, 0.1155, 0.193, 0.295, 0.4235, 0.5803, 0.7673");
          values("0.05457, 0.05467, 0.05504, 0.05564, 0.05625, 0.05673, 0.0571, 0.05735, 0.05747, 0.05733",\
                 "0.05458, 0.05468, 0.05505, 0.05565, 0.05626, 0.05675, 0.05711, 0.05736, 0.05748, 0.05732",\
                 "0.05458, 0.05469, 0.05507, 0.05566, 0.05626, 0.05675, 0.05711, 0.05736, 0.05748, 0.05725",\
                 "0.05454, 0.05465, 0.05503, 0.05562, 0.05622, 0.05672, 0.05708, 0.05731, 0.05739, 0.05702",\
                 "0.05447, 0.05458, 0.05495, 0.05555, 0.05615, 0.05664, 0.05699, 0.05721, 0.05718, 0.05649",\
                 "0.05438, 0.05447, 0.05485, 0.05544, 0.05604, 0.05653, 0.05688, 0.05702, 0.05667, 0.05538",\
                 "0.05425, 0.05437, 0.05475, 0.05532, 0.05591, 0.05638, 0.05666, 0.05646, 0.05527, 0.05324",\
                 "0.05403, 0.05413, 0.0545, 0.05506, 0.05561, 0.05594, 0.05566, 0.05413, 0.05186, 0.04997",\
                 "0.05252, 0.0526, 0.05291, 0.05331, 0.05335, 0.05195, 0.04941, 0.04747, 0.04612, 0.04514",\
                 "0.03832, 0.03682, 0.03418, 0.03265, 0.03212, 0.03199, 0.03202, 0.03206, 0.03211, 0.03215");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.006289, 0.02485, 0.06031, 0.1155, 0.193, 0.295, 0.4235, 0.5803, 0.7673");
          values("0.02211, 0.02227, 0.02265, 0.02325, 0.02387, 0.02649, 0.05972, 0.1921, 0.3724, 0.5162",\
                 "0.022, 0.02215, 0.02255, 0.02306, 0.02374, 0.02663, 0.06137, 0.1957, 0.3744, 0.5156",\
                 "0.0219, 0.02209, 0.02249, 0.02296, 0.02376, 0.02725, 0.06852, 0.2108, 0.3818, 0.5127",\
                 "0.02182, 0.022, 0.02241, 0.02286, 0.02358, 0.02922, 0.08723, 0.2392, 0.3913, 0.5027",\
                 "0.02169, 0.02185, 0.02225, 0.02283, 0.02365, 0.03736, 0.1272, 0.2745, 0.3919, 0.4749",\
                 "0.0215, 0.02166, 0.02209, 0.02266, 0.02581, 0.06963, 0.1868, 0.2898, 0.3604, 0.4095",\
                 "0.02084, 0.02103, 0.02143, 0.02305, 0.05666, 0.1361, 0.1945, 0.2322, 0.2572, 0.2743",\
                 "0.01114, 0.01089, 0.016, 0.02153, 0.02484, 0.02657, 0.02762, 0.0282, 0.02857, 0.02879",\
                 "-0.03044, -0.03044, -0.03044, -0.03044, -0.03044, -0.03044, -0.03044, -0.03044, -0.03044, -0.03044",\
                 "-0.03777, -0.03777, -0.03777, -0.03777, -0.03777, -0.03777, -0.03777, -0.03777, -0.03777, -0.03777");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.006289, 0.02485, 0.06031, 0.1155, 0.193, 0.295, 0.4235, 0.5803, 0.7673");
          values("0.05627, 0.05638, 0.05675, 0.05735, 0.05794, 0.05841, 0.05876, 0.05901, 0.05917, 0.0591",\
                 "0.05634, 0.05643, 0.05682, 0.05741, 0.058, 0.05848, 0.05884, 0.05909, 0.05923, 0.05915",\
                 "0.05631, 0.05641, 0.0568, 0.05739, 0.05799, 0.05847, 0.05883, 0.05908, 0.0592, 0.05907",\
                 "0.05607, 0.05617, 0.05656, 0.05716, 0.05775, 0.05823, 0.0586, 0.05883, 0.05893, 0.05869",\
                 "0.0558, 0.05592, 0.0563, 0.05691, 0.05751, 0.058, 0.05835, 0.05857, 0.05861, 0.05811",\
                 "0.0556, 0.05571, 0.05611, 0.05672, 0.05734, 0.05783, 0.05817, 0.05835, 0.05817, 0.05719",\
                 "0.05546, 0.05556, 0.05598, 0.0566, 0.05721, 0.05768, 0.05799, 0.05799, 0.05724, 0.05551",\
                 "0.05524, 0.05535, 0.05576, 0.05639, 0.057, 0.05741, 0.0575, 0.05673, 0.05481, 0.05267",\
                 "0.05472, 0.05482, 0.05522, 0.05577, 0.05621, 0.05611, 0.05464, 0.05222, 0.05025, 0.04881",\
                 "0.04976, 0.04984, 0.05003, 0.04956, 0.04684, 0.04478, 0.04349, 0.04267, 0.04212, 0.04174");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.006289, 0.02485, 0.06031, 0.1155, 0.193, 0.295, 0.4235, 0.5803, 0.7673");
          values("0.03355, 0.03378, 0.03427, 0.03491, 0.03574, 0.03655, 0.04624, 0.1187, 0.3033, 0.5092",\
                 "0.03349, 0.03371, 0.0342, 0.03482, 0.03561, 0.03668, 0.04647, 0.1216, 0.3074, 0.511",\
                 "0.0334, 0.03359, 0.03405, 0.0347, 0.03559, 0.03667, 0.04834, 0.1326, 0.322, 0.5172",\
                 "0.03327, 0.03348, 0.03398, 0.03467, 0.03541, 0.03679, 0.05392, 0.1557, 0.3479, 0.5252",\
                 "0.03315, 0.03334, 0.03386, 0.03449, 0.03531, 0.03751, 0.06809, 0.1978, 0.3806, 0.5278",\
                 "0.03288, 0.03307, 0.03361, 0.03422, 0.03509, 0.04149, 0.1044, 0.2574, 0.404, 0.5101",\
                 "0.03259, 0.03276, 0.0333, 0.03398, 0.03571, 0.06493, 0.1782, 0.3009, 0.3875, 0.4477",\
                 "0.03219, 0.0324, 0.03286, 0.03418, 0.05966, 0.1431, 0.2117, 0.2561, 0.2854, 0.3054",\
                 "0.024, 0.02376, 0.0286, 0.03366, 0.03663, 0.03822, 0.03911, 0.03964, 0.03998, 0.0402",\
                 "-0.01968, -0.01968, -0.01968, -0.01968, -0.01968, -0.01968, -0.01968, -0.01968, -0.01968, -0.01968");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.006289, 0.02485, 0.06031, 0.1155, 0.193, 0.295, 0.4235, 0.5803, 0.7673");
          values("0.05207, 0.0522, 0.05264, 0.05329, 0.05391, 0.05437, 0.05472, 0.05494, 0.05508, 0.05507",\
                 "0.05214, 0.05226, 0.05272, 0.05336, 0.05399, 0.05446, 0.0548, 0.05502, 0.05516, 0.05514",\
                 "0.05191, 0.05203, 0.05247, 0.05313, 0.05376, 0.05424, 0.05457, 0.0548, 0.05493, 0.05488",\
                 "0.05156, 0.05172, 0.05214, 0.0528, 0.05343, 0.0539, 0.05426, 0.05447, 0.05459, 0.05445",\
                 "0.05133, 0.05145, 0.05187, 0.05248, 0.05309, 0.05357, 0.05392, 0.05415, 0.05422, 0.05388",\
                 "0.05115, 0.05127, 0.05164, 0.05219, 0.05278, 0.05325, 0.05362, 0.05383, 0.05369, 0.05276",\
                 "0.05109, 0.05118, 0.0515, 0.05195, 0.05249, 0.05294, 0.05327, 0.05315, 0.05206, 0.05009",\
                 "0.0509, 0.05093, 0.05114, 0.0515, 0.05188, 0.052, 0.05113, 0.04899, 0.04688, 0.04532",\
                 "0.04257, 0.04256, 0.04243, 0.04009, 0.03754, 0.0361, 0.03529, 0.03487, 0.03461, 0.03447",\
                 "0.0107, 0.01077, 0.01098, 0.0113, 0.01167, 0.01205, 0.01238, 0.01266, 0.01289, 0.01307");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.006289, 0.02485, 0.06031, 0.1155, 0.193, 0.295, 0.4235, 0.5803, 0.7673");
          values("0.01416, 0.01439, 0.01497, 0.01577, 0.01666, 0.01751, 0.01966, 0.04458, 0.1648, 0.395",\
                 "0.01417, 0.0144, 0.01499, 0.01585, 0.01659, 0.0174, 0.01969, 0.04521, 0.1676, 0.3991",\
                 "0.01416, 0.01439, 0.01494, 0.01582, 0.01672, 0.01743, 0.02038, 0.04981, 0.1811, 0.4137",\
                 "0.01406, 0.01428, 0.01481, 0.01551, 0.01643, 0.01708, 0.02074, 0.05965, 0.2077, 0.439",\
                 "0.01383, 0.014, 0.01445, 0.01511, 0.01587, 0.01685, 0.02329, 0.08062, 0.2526, 0.472",\
                 "0.0136, 0.01376, 0.01419, 0.01475, 0.0154, 0.01652, 0.03026, 0.1205, 0.3121, 0.5007",\
                 "0.01346, 0.01354, 0.01395, 0.01439, 0.01522, 0.01805, 0.0534, 0.1886, 0.3668, 0.5067",\
                 "0.01339, 0.01351, 0.01374, 0.0142, 0.01509, 0.02811, 0.1153, 0.2641, 0.3838, 0.4685",\
                 "0.01351, 0.01361, 0.01386, 0.01426, 0.02212, 0.08899, 0.1945, 0.2711, 0.3228, 0.3586",\
                 "0.01358, 0.01358, 0.01428, 0.03652, 0.07755, 0.1046, 0.1211, 0.1316, 0.1384, 0.143");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.006289, 0.02485, 0.06031, 0.1155, 0.193, 0.295, 0.4235, 0.5803, 0.7673");
          values("0.05208, 0.0522, 0.05264, 0.05329, 0.0539, 0.05438, 0.05472, 0.05494, 0.05509, 0.05508",\
                 "0.05215, 0.05227, 0.05272, 0.05337, 0.05399, 0.05446, 0.0548, 0.05503, 0.05517, 0.05515",\
                 "0.05191, 0.05203, 0.05248, 0.05313, 0.05377, 0.05424, 0.05458, 0.0548, 0.05493, 0.05488",\
                 "0.05157, 0.05173, 0.05215, 0.0528, 0.05343, 0.05391, 0.05426, 0.05447, 0.05459, 0.05446",\
                 "0.05133, 0.05145, 0.05187, 0.05248, 0.05308, 0.05357, 0.05392, 0.05416, 0.05423, 0.05388",\
                 "0.05117, 0.05127, 0.05164, 0.05221, 0.05277, 0.05325, 0.05362, 0.05383, 0.05369, 0.05277",\
                 "0.0511, 0.05116, 0.05149, 0.05197, 0.05249, 0.05296, 0.05327, 0.05315, 0.05206, 0.05009",\
                 "0.05088, 0.05093, 0.05113, 0.0515, 0.05188, 0.052, 0.05114, 0.04899, 0.04688, 0.04532",\
                 "0.04258, 0.04256, 0.04243, 0.04009, 0.03755, 0.03611, 0.03531, 0.03488, 0.03463, 0.03447",\
                 "0.0107, 0.01077, 0.01098, 0.0113, 0.01168, 0.01205, 0.01238, 0.01267, 0.01289, 0.01307");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.006289, 0.02485, 0.06031, 0.1155, 0.193, 0.295, 0.4235, 0.5803, 0.7673");
          values("0.01416, 0.01439, 0.01497, 0.01577, 0.01666, 0.01751, 0.01966, 0.04458, 0.1648, 0.395",\
                 "0.01416, 0.0144, 0.01498, 0.01572, 0.01661, 0.0174, 0.01971, 0.04519, 0.1676, 0.3991",\
                 "0.01416, 0.0144, 0.01499, 0.01579, 0.01672, 0.01746, 0.0204, 0.04996, 0.1812, 0.4137",\
                 "0.01406, 0.01428, 0.01478, 0.01551, 0.01632, 0.01718, 0.02089, 0.06013, 0.2077, 0.439",\
                 "0.01381, 0.01399, 0.01445, 0.01517, 0.01587, 0.01669, 0.02332, 0.08003, 0.2528, 0.472",\
                 "0.01359, 0.01375, 0.01419, 0.01483, 0.01548, 0.01658, 0.03047, 0.1204, 0.3122, 0.5007",\
                 "0.01346, 0.01354, 0.01395, 0.01439, 0.01522, 0.01805, 0.05305, 0.1892, 0.3668, 0.5067",\
                 "0.01339, 0.01351, 0.01374, 0.01412, 0.01503, 0.02806, 0.1153, 0.2642, 0.3837, 0.4684",\
                 "0.01351, 0.01359, 0.01386, 0.01425, 0.022, 0.08929, 0.1945, 0.2711, 0.3228, 0.3586",\
                 "0.01358, 0.01358, 0.01428, 0.03652, 0.07755, 0.1046, 0.1211, 0.1316, 0.1384, 0.1431");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.006289, 0.02485, 0.06031, 0.1155, 0.193, 0.295, 0.4235, 0.5803, 0.7673");
          values("0.05624, 0.05635, 0.05674, 0.05733, 0.05791, 0.05839, 0.05875, 0.059, 0.05915, 0.05908",\
                 "0.05632, 0.05642, 0.0568, 0.05739, 0.05798, 0.05846, 0.05882, 0.05906, 0.05921, 0.05913",\
                 "0.05629, 0.05639, 0.05678, 0.05736, 0.05796, 0.05844, 0.0588, 0.05905, 0.05918, 0.05904",\
                 "0.05603, 0.05615, 0.05653, 0.05713, 0.05773, 0.05821, 0.05856, 0.05881, 0.05891, 0.05864",\
                 "0.05577, 0.05589, 0.05628, 0.05688, 0.05749, 0.05797, 0.05833, 0.05856, 0.05859, 0.05808",\
                 "0.05558, 0.05568, 0.05609, 0.0567, 0.05731, 0.05779, 0.05814, 0.05832, 0.05814, 0.05715",\
                 "0.05545, 0.05555, 0.05595, 0.05656, 0.05718, 0.05765, 0.05796, 0.05796, 0.05721, 0.05546",\
                 "0.05522, 0.05533, 0.05574, 0.05636, 0.05697, 0.05738, 0.05747, 0.05667, 0.05475, 0.05262",\
                 "0.05467, 0.05479, 0.05517, 0.05572, 0.05618, 0.05606, 0.05457, 0.05214, 0.05018, 0.04874",\
                 "0.04965, 0.04971, 0.0499, 0.04939, 0.04665, 0.04461, 0.04334, 0.04253, 0.04199, 0.04162");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.006289, 0.02485, 0.06031, 0.1155, 0.193, 0.295, 0.4235, 0.5803, 0.7673");
          values("0.03362, 0.03381, 0.03432, 0.03502, 0.03572, 0.03674, 0.04612, 0.1185, 0.3034, 0.5093",\
                 "0.03356, 0.03376, 0.03425, 0.03491, 0.03573, 0.03672, 0.04681, 0.1212, 0.3075, 0.5111",\
                 "0.03346, 0.03361, 0.03413, 0.03479, 0.0355, 0.0365, 0.04864, 0.1323, 0.3222, 0.5173",\
                 "0.03333, 0.03352, 0.03408, 0.03471, 0.03542, 0.03683, 0.05408, 0.1563, 0.3483, 0.5254",\
                 "0.03321, 0.0334, 0.0339, 0.03452, 0.03528, 0.03753, 0.06853, 0.1979, 0.3808, 0.5278",\
                 "0.03295, 0.03315, 0.03361, 0.03426, 0.03513, 0.04158, 0.1046, 0.2575, 0.4041, 0.5101",\
                 "0.03263, 0.03284, 0.03332, 0.03404, 0.03579, 0.06499, 0.1782, 0.301, 0.3875, 0.4478",\
                 "0.03226, 0.03245, 0.03296, 0.03419, 0.05972, 0.1431, 0.2118, 0.2561, 0.2854, 0.3055",\
                 "0.02412, 0.02388, 0.02871, 0.03382, 0.03674, 0.03836, 0.03924, 0.03977, 0.04011, 0.04033",\
                 "-0.01963, -0.01963, -0.01963, -0.01963, -0.01963, -0.01963, -0.01963, -0.01963, -0.01963, -0.01963");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.006289, 0.02485, 0.06031, 0.1155, 0.193, 0.295, 0.4235, 0.5803, 0.7673");
          values("13.59, 13.76, 14.18, 14.76, 15.42, 16.18, 17.07, 18.08, 19.27, 20.65",\
                 "13.67, 13.84, 14.27, 14.84, 15.5, 16.27, 17.15, 18.17, 19.35, 20.73",\
                 "13.91, 14.08, 14.51, 15.08, 15.74, 16.51, 17.39, 18.41, 19.59, 20.97",\
                 "14.24, 14.41, 14.84, 15.41, 16.08, 16.84, 17.72, 18.74, 19.93, 21.31",\
                 "14.57, 14.74, 15.17, 15.74, 16.4, 17.17, 18.05, 19.07, 20.25, 21.63",\
                 "14.86, 15.03, 15.46, 16.03, 16.7, 17.46, 18.34, 19.36, 20.55, 21.93",\
                 "15.1, 15.27, 15.7, 16.27, 16.93, 17.7, 18.58, 19.6, 20.78, 22.16",\
                 "15.26, 15.43, 15.86, 16.43, 17.1, 17.86, 18.75, 19.77, 20.95, 22.33",\
                 "15.34, 15.51, 15.94, 16.51, 17.17, 17.94, 18.82, 19.84, 21.02, 22.4",\
                 "15.31, 15.48, 15.91, 16.48, 17.15, 17.91, 18.79, 19.81, 21, 22.37");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.006289, 0.02485, 0.06031, 0.1155, 0.193, 0.295, 0.4235, 0.5803, 0.7673");
          values("12.43, 12.57, 12.97, 13.67, 14.73, 16.21, 18.15, 20.58, 23.56, 27.1",\
                 "12.48, 12.61, 13.02, 13.72, 14.78, 16.26, 18.19, 20.63, 23.6, 27.14",\
                 "12.69, 12.83, 13.24, 13.94, 15, 16.47, 18.41, 20.85, 23.82, 27.36",\
                 "13.12, 13.26, 13.67, 14.37, 15.42, 16.9, 18.84, 21.28, 24.25, 27.79",\
                 "13.76, 13.9, 14.31, 15.01, 16.07, 17.54, 19.48, 21.92, 24.89, 28.44",\
                 "14.65, 14.78, 15.19, 15.89, 16.95, 18.43, 20.36, 22.8, 25.78, 29.32",\
                 "15.77, 15.91, 16.32, 17.02, 18.08, 19.55, 21.49, 23.93, 26.9, 30.44",\
                 "17.08, 17.22, 17.63, 18.33, 19.39, 20.86, 22.8, 25.24, 28.21, 31.76",\
                 "18.54, 18.68, 19.08, 19.78, 20.84, 22.32, 24.26, 26.69, 29.67, 33.21",\
                 "20.14, 20.28, 20.69, 21.39, 22.45, 23.93, 25.86, 28.3, 31.27, 34.81");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.006289, 0.02485, 0.06031, 0.1155, 0.193, 0.295, 0.4235, 0.5803, 0.7673");
          values("1.032, 1.14, 1.454, 1.94, 2.604, 3.474, 4.594, 6.036, 7.852, 10.07",\
                 "1.03, 1.142, 1.454, 1.94, 2.604, 3.47, 4.596, 6.038, 7.856, 10.06",\
                 "1.032, 1.142, 1.454, 1.942, 2.6, 3.472, 4.596, 6.042, 7.846, 10.06",\
                 "1.032, 1.138, 1.454, 1.942, 2.604, 3.472, 4.596, 6.036, 7.856, 10.06",\
                 "1.032, 1.142, 1.454, 1.942, 2.606, 3.472, 4.594, 6.042, 7.846, 10.06",\
                 "1.032, 1.14, 1.454, 1.94, 2.604, 3.472, 4.594, 6.042, 7.846, 10.07",\
                 "1.032, 1.142, 1.452, 1.94, 2.604, 3.472, 4.596, 6.04, 7.848, 10.07",\
                 "1.032, 1.14, 1.454, 1.94, 2.608, 3.468, 4.602, 6.046, 7.852, 10.07",\
                 "1.032, 1.14, 1.454, 1.942, 2.6, 3.472, 4.598, 6.046, 7.846, 10.07",\
                 "1.032, 1.14, 1.452, 1.938, 2.6, 3.468, 4.592, 6.04, 7.844, 10.07");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.006289, 0.02485, 0.06031, 0.1155, 0.193, 0.295, 0.4235, 0.5803, 0.7673");
          values("0.646, 0.79, 1.316, 2.392, 4.146, 6.612, 9.872, 13.97, 18.96, 24.97",\
                 "0.646, 0.79, 1.314, 2.392, 4.142, 6.618, 9.872, 13.97, 18.97, 24.95",\
                 "0.646, 0.792, 1.316, 2.394, 4.144, 6.614, 9.874, 13.97, 18.96, 24.97",\
                 "0.646, 0.79, 1.316, 2.394, 4.144, 6.614, 9.874, 13.96, 18.99, 24.98",\
                 "0.646, 0.79, 1.316, 2.392, 4.14, 6.61, 9.872, 13.96, 18.99, 24.97",\
                 "0.644, 0.79, 1.314, 2.394, 4.14, 6.608, 9.872, 13.98, 18.98, 24.96",\
                 "0.646, 0.79, 1.316, 2.392, 4.144, 6.612, 9.872, 13.96, 18.99, 24.98",\
                 "0.648, 0.794, 1.316, 2.394, 4.144, 6.61, 9.872, 13.97, 19, 24.99",\
                 "0.644, 0.794, 1.316, 2.394, 4.144, 6.616, 9.874, 13.97, 19, 24.98",\
                 "0.646, 0.79, 1.314, 2.392, 4.138, 6.61, 9.864, 13.98, 18.99, 24.98");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.006289, 0.02485, 0.06031, 0.1155, 0.193, 0.295, 0.4235, 0.5803, 0.7673");
          values("6.38, 6.551, 6.986, 7.563, 8.235, 9.007, 9.892, 10.92, 12.1, 13.48",\
                 "6.433, 6.604, 7.039, 7.617, 8.289, 9.061, 9.946, 10.97, 12.16, 13.54",\
                 "6.628, 6.8, 7.236, 7.812, 8.485, 9.256, 10.14, 11.16, 12.35, 13.73",\
                 "7, 7.171, 7.606, 8.181, 8.856, 9.626, 10.51, 11.54, 12.73, 14.11",\
                 "7.548, 7.72, 8.156, 8.732, 9.405, 10.18, 11.06, 12.08, 13.27, 14.65",\
                 "8.154, 8.325, 8.761, 9.337, 10.01, 10.78, 11.67, 12.69, 13.88, 15.26",\
                 "8.732, 8.904, 9.34, 9.916, 10.59, 11.36, 12.24, 13.27, 14.46, 15.84",\
                 "9.248, 9.419, 9.857, 10.43, 11.11, 11.88, 12.76, 13.79, 14.98, 16.36",\
                 "9.697, 9.869, 10.3, 10.88, 11.55, 12.33, 13.21, 14.24, 15.43, 16.81",\
                 "10.06, 10.23, 10.67, 11.25, 11.92, 12.69, 13.58, 14.6, 15.79, 17.17");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.006289, 0.02485, 0.06031, 0.1155, 0.193, 0.295, 0.4235, 0.5803, 0.7673");
          values("10.06, 10.23, 10.72, 11.48, 12.56, 14.04, 15.98, 18.41, 21.39, 24.93",\
                 "10.14, 10.32, 10.8, 11.56, 12.64, 14.12, 16.06, 18.5, 21.47, 25.01",\
                 "10.36, 10.53, 11.02, 11.77, 12.85, 14.34, 16.28, 18.71, 21.69, 25.23",\
                 "10.79, 10.96, 11.45, 12.21, 13.29, 14.77, 16.71, 19.15, 22.12, 25.66",\
                 "11.51, 11.69, 12.17, 12.93, 14.01, 15.49, 17.43, 19.87, 22.84, 26.39",\
                 "12.57, 12.74, 13.23, 13.98, 15.07, 16.55, 18.49, 20.92, 23.9, 27.44",\
                 "13.98, 14.15, 14.64, 15.4, 16.48, 17.96, 19.9, 22.34, 25.31, 28.85",\
                 "15.77, 15.95, 16.43, 17.19, 18.27, 19.75, 21.69, 24.13, 27.1, 30.64",\
                 "17.94, 18.11, 18.6, 19.36, 20.44, 21.92, 23.86, 26.3, 29.27, 32.81",\
                 "20.38, 20.56, 21.04, 21.8, 22.88, 24.37, 26.3, 28.74, 31.72, 35.25");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.006289, 0.02485, 0.06031, 0.1155, 0.193, 0.295, 0.4235, 0.5803, 0.7673");
          values("1.053, 1.163, 1.477, 1.965, 2.627, 3.497, 4.62, 6.061, 7.876, 10.08",\
                 "1.053, 1.163, 1.478, 1.963, 2.628, 3.496, 4.624, 6.062, 7.876, 10.08",\
                 "1.054, 1.163, 1.477, 1.965, 2.626, 3.494, 4.628, 6.06, 7.866, 10.09",\
                 "1.054, 1.163, 1.477, 1.964, 2.628, 3.497, 4.62, 6.064, 7.876, 10.09",\
                 "1.053, 1.163, 1.476, 1.964, 2.626, 3.496, 4.622, 6.058, 7.872, 10.09",\
                 "1.054, 1.162, 1.478, 1.964, 2.628, 3.494, 4.62, 6.06, 7.878, 10.08",\
                 "1.054, 1.166, 1.478, 1.966, 2.63, 3.498, 4.63, 6.06, 7.87, 10.08",\
                 "1.056, 1.166, 1.478, 1.966, 2.63, 3.492, 4.62, 6.068, 7.866, 10.08",\
                 "1.056, 1.166, 1.48, 1.968, 2.628, 3.5, 4.624, 6.062, 7.866, 10.08",\
                 "1.058, 1.168, 1.48, 1.97, 2.632, 3.5, 4.626, 6.066, 7.866, 10.07");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.006289, 0.02485, 0.06031, 0.1155, 0.193, 0.295, 0.4235, 0.5803, 0.7673");
          values("0.8484, 1.008, 1.536, 2.554, 4.232, 6.68, 9.932, 14.03, 19.01, 25.01",\
                 "0.848, 1.008, 1.534, 2.552, 4.234, 6.678, 9.934, 14.03, 19.02, 25",\
                 "0.848, 1.008, 1.534, 2.552, 4.228, 6.678, 9.92, 14.03, 19.02, 24.99",\
                 "0.85, 1.008, 1.534, 2.552, 4.23, 6.678, 9.93, 14.03, 19.04, 25.01",\
                 "0.85, 1.008, 1.536, 2.548, 4.232, 6.678, 9.928, 14.01, 19.03, 25.02",\
                 "0.848, 1.008, 1.536, 2.55, 4.232, 6.68, 9.928, 14.02, 19.04, 25.02",\
                 "0.85, 1.008, 1.536, 2.548, 4.232, 6.666, 9.924, 14.02, 19.03, 25.02",\
                 "0.85, 1.008, 1.536, 2.554, 4.232, 6.68, 9.934, 14.03, 19.04, 25.01",\
                 "0.852, 1.01, 1.536, 2.552, 4.228, 6.68, 9.936, 14.03, 19.04, 25.01",\
                 "0.858, 1.018, 1.544, 2.556, 4.236, 6.678, 9.926, 14.03, 19.04, 25.02");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.006289, 0.02485, 0.06031, 0.1155, 0.193, 0.295, 0.4235, 0.5803, 0.7673");
          values("13.59, 13.76, 14.18, 14.76, 15.42, 16.18, 17.07, 18.08, 19.27, 20.65",\
                 "13.67, 13.84, 14.27, 14.84, 15.5, 16.27, 17.15, 18.17, 19.35, 20.73",\
                 "13.91, 14.08, 14.51, 15.08, 15.74, 16.51, 17.39, 18.41, 19.59, 20.97",\
                 "14.24, 14.41, 14.84, 15.41, 16.08, 16.84, 17.72, 18.74, 19.93, 21.31",\
                 "14.57, 14.74, 15.17, 15.74, 16.4, 17.17, 18.05, 19.07, 20.25, 21.63",\
                 "14.86, 15.03, 15.46, 16.03, 16.7, 17.46, 18.34, 19.36, 20.55, 21.93",\
                 "15.1, 15.27, 15.7, 16.27, 16.93, 17.7, 18.58, 19.6, 20.78, 22.16",\
                 "15.26, 15.43, 15.86, 16.43, 17.1, 17.86, 18.75, 19.77, 20.95, 22.33",\
                 "15.34, 15.51, 15.94, 16.51, 17.17, 17.94, 18.82, 19.84, 21.02, 22.4",\
                 "15.31, 15.48, 15.91, 16.48, 17.15, 17.91, 18.79, 19.81, 21, 22.37");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.006289, 0.02485, 0.06031, 0.1155, 0.193, 0.295, 0.4235, 0.5803, 0.7673");
          values("10.06, 10.23, 10.72, 11.48, 12.56, 14.04, 15.98, 18.41, 21.39, 24.93",\
                 "10.14, 10.32, 10.8, 11.56, 12.64, 14.12, 16.06, 18.5, 21.47, 25.01",\
                 "10.36, 10.53, 11.02, 11.77, 12.85, 14.34, 16.28, 18.71, 21.69, 25.23",\
                 "10.79, 10.96, 11.45, 12.21, 13.29, 14.77, 16.71, 19.15, 22.12, 25.66",\
                 "11.51, 11.69, 12.17, 12.93, 14.01, 15.49, 17.43, 19.87, 22.84, 26.39",\
                 "12.57, 12.74, 13.23, 13.98, 15.07, 16.55, 18.49, 20.92, 23.9, 27.44",\
                 "13.98, 14.15, 14.64, 15.4, 16.48, 17.96, 19.9, 22.34, 25.31, 28.85",\
                 "15.77, 15.95, 16.43, 17.19, 18.27, 19.75, 21.69, 24.13, 27.1, 30.64",\
                 "17.94, 18.11, 18.6, 19.36, 20.44, 21.92, 23.86, 26.3, 29.27, 32.81",\
                 "20.38, 20.56, 21.04, 21.8, 22.88, 24.37, 26.3, 28.74, 31.72, 35.25");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.006289, 0.02485, 0.06031, 0.1155, 0.193, 0.295, 0.4235, 0.5803, 0.7673");
          values("1.053, 1.163, 1.477, 1.965, 2.627, 3.497, 4.62, 6.061, 7.876, 10.08",\
                 "1.053, 1.163, 1.478, 1.963, 2.628, 3.496, 4.624, 6.062, 7.876, 10.08",\
                 "1.054, 1.163, 1.477, 1.965, 2.626, 3.494, 4.628, 6.06, 7.866, 10.09",\
                 "1.054, 1.163, 1.477, 1.964, 2.628, 3.497, 4.62, 6.064, 7.876, 10.09",\
                 "1.053, 1.163, 1.476, 1.964, 2.626, 3.496, 4.622, 6.058, 7.872, 10.09",\
                 "1.054, 1.162, 1.478, 1.964, 2.628, 3.494, 4.62, 6.06, 7.878, 10.08",\
                 "1.054, 1.166, 1.478, 1.966, 2.63, 3.498, 4.63, 6.06, 7.87, 10.08",\
                 "1.056, 1.166, 1.478, 1.966, 2.63, 3.492, 4.62, 6.068, 7.866, 10.08",\
                 "1.056, 1.166, 1.48, 1.968, 2.628, 3.5, 4.624, 6.062, 7.866, 10.08",\
                 "1.058, 1.168, 1.48, 1.97, 2.632, 3.5, 4.626, 6.066, 7.866, 10.07");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.006289, 0.02485, 0.06031, 0.1155, 0.193, 0.295, 0.4235, 0.5803, 0.7673");
          values("0.8484, 1.008, 1.536, 2.554, 4.232, 6.68, 9.932, 14.03, 19.01, 25.01",\
                 "0.848, 1.008, 1.534, 2.552, 4.234, 6.678, 9.934, 14.03, 19.02, 25",\
                 "0.848, 1.008, 1.534, 2.552, 4.228, 6.678, 9.92, 14.03, 19.02, 24.99",\
                 "0.85, 1.008, 1.534, 2.552, 4.23, 6.678, 9.93, 14.03, 19.04, 25.01",\
                 "0.85, 1.008, 1.536, 2.548, 4.232, 6.678, 9.928, 14.01, 19.03, 25.02",\
                 "0.848, 1.008, 1.536, 2.55, 4.232, 6.68, 9.928, 14.02, 19.04, 25.02",\
                 "0.85, 1.008, 1.536, 2.548, 4.232, 6.666, 9.924, 14.02, 19.03, 25.02",\
                 "0.85, 1.008, 1.536, 2.554, 4.232, 6.68, 9.934, 14.03, 19.04, 25.01",\
                 "0.852, 1.01, 1.536, 2.552, 4.228, 6.68, 9.936, 14.03, 19.04, 25.01",\
                 "0.858, 1.018, 1.544, 2.556, 4.236, 6.678, 9.926, 14.03, 19.04, 25.02");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.006289, 0.02485, 0.06031, 0.1155, 0.193, 0.295, 0.4235, 0.5803, 0.7673");
          values("10.18, 10.35, 10.78, 11.36, 12.03, 12.8, 13.69, 14.71, 15.9, 17.28",\
                 "10.22, 10.4, 10.83, 11.41, 12.08, 12.85, 13.73, 14.76, 15.95, 17.33",\
                 "10.44, 10.61, 11.05, 11.63, 12.3, 13.07, 13.95, 14.97, 16.16, 17.54",\
                 "10.87, 11.04, 11.48, 12.05, 12.72, 13.49, 14.38, 15.4, 16.59, 17.97",\
                 "11.51, 11.68, 12.12, 12.69, 13.37, 14.14, 15.02, 16.04, 17.23, 18.61",\
                 "12.4, 12.57, 13, 13.58, 14.25, 15.02, 15.9, 16.93, 18.12, 19.5",\
                 "13.52, 13.69, 14.13, 14.7, 15.38, 16.15, 17.03, 18.05, 19.24, 20.62",\
                 "14.83, 15, 15.44, 16.02, 16.69, 17.46, 18.34, 19.37, 20.55, 21.94",\
                 "16.29, 16.46, 16.89, 17.47, 18.14, 18.91, 19.8, 20.82, 22.01, 23.39",\
                 "17.89, 18.06, 18.5, 19.08, 19.75, 20.52, 21.4, 22.43, 23.62, 25");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.006289, 0.02485, 0.06031, 0.1155, 0.193, 0.295, 0.4235, 0.5803, 0.7673");
          values("11.71, 11.89, 12.37, 13.13, 14.21, 15.69, 17.63, 20.07, 23.04, 26.58",\
                 "11.8, 11.97, 12.46, 13.21, 14.29, 15.78, 17.72, 20.15, 23.13, 26.67",\
                 "12.03, 12.21, 12.69, 13.45, 14.53, 16.01, 17.95, 20.39, 23.36, 26.9",\
                 "12.37, 12.55, 13.03, 13.79, 14.87, 16.35, 18.29, 20.73, 23.7, 27.24",\
                 "12.7, 12.88, 13.36, 14.12, 15.2, 16.69, 18.63, 21.06, 24.03, 27.58",\
                 "13, 13.17, 13.66, 14.41, 15.5, 16.98, 18.92, 21.35, 24.33, 27.87",\
                 "13.23, 13.41, 13.89, 14.65, 15.73, 17.21, 19.15, 21.59, 24.56, 28.1",\
                 "13.39, 13.56, 14.05, 14.81, 15.89, 17.37, 19.31, 21.75, 24.72, 28.26",\
                 "13.46, 13.63, 14.12, 14.88, 15.96, 17.44, 19.38, 21.82, 24.79, 28.33",\
                 "13.43, 13.61, 14.09, 14.85, 15.93, 17.41, 19.35, 21.79, 24.76, 28.3");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.006289, 0.02485, 0.06031, 0.1155, 0.193, 0.295, 0.4235, 0.5803, 0.7673");
          values("1.053, 1.162, 1.476, 1.964, 2.624, 3.492, 4.62, 6.062, 7.868, 10.08",\
                 "1.054, 1.162, 1.476, 1.962, 2.626, 3.492, 4.618, 6.056, 7.874, 10.07",\
                 "1.05, 1.16, 1.474, 1.962, 2.626, 3.492, 4.618, 6.064, 7.866, 10.07",\
                 "1.052, 1.16, 1.476, 1.962, 2.624, 3.492, 4.62, 6.06, 7.87, 10.09",\
                 "1.052, 1.162, 1.476, 1.964, 2.624, 3.492, 4.62, 6.062, 7.87, 10.09",\
                 "1.052, 1.162, 1.474, 1.96, 2.624, 3.494, 4.618, 6.058, 7.87, 10.07",\
                 "1.052, 1.162, 1.476, 1.962, 2.624, 3.494, 4.618, 6.058, 7.87, 10.09",\
                 "1.054, 1.162, 1.476, 1.964, 2.626, 3.496, 4.62, 6.068, 7.868, 10.09",\
                 "1.052, 1.162, 1.474, 1.96, 2.624, 3.496, 4.62, 6.066, 7.874, 10.07",\
                 "1.052, 1.162, 1.476, 1.962, 2.624, 3.49, 4.614, 6.062, 7.872, 10.08");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.006289, 0.02485, 0.06031, 0.1155, 0.193, 0.295, 0.4235, 0.5803, 0.7673");
          values("0.85, 1.01, 1.536, 2.556, 4.234, 6.678, 9.93, 14.03, 19.03, 25.02",\
                 "0.852, 1.01, 1.538, 2.552, 4.23, 6.672, 9.924, 14.02, 19.04, 25.01",\
                 "0.85, 1.01, 1.538, 2.55, 4.232, 6.678, 9.924, 14.03, 19.03, 25.02",\
                 "0.852, 1.01, 1.538, 2.552, 4.234, 6.676, 9.922, 14.02, 19.01, 25",\
                 "0.852, 1.012, 1.538, 2.552, 4.232, 6.678, 9.934, 14.02, 19.04, 25",\
                 "0.852, 1.01, 1.536, 2.552, 4.23, 6.67, 9.92, 14.02, 19.03, 25.01",\
                 "0.852, 1.012, 1.536, 2.552, 4.234, 6.67, 9.916, 14.03, 19.02, 25.02",\
                 "0.85, 1.012, 1.538, 2.554, 4.228, 6.674, 9.932, 14.03, 19.04, 25.01",\
                 "0.85, 1.01, 1.536, 2.55, 4.228, 6.668, 9.934, 14.03, 19.04, 25.02",\
                 "0.848, 1.008, 1.536, 2.552, 4.228, 6.674, 9.922, 14.02, 19.02, 25");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.006289, 0.02485, 0.06031, 0.1155, 0.193, 0.295, 0.4235, 0.5803, 0.7673");
          values("11.96, 12.12, 12.55, 13.12, 13.79, 14.55, 15.44, 16.45, 17.64, 19.02",\
                 "12.04, 12.21, 12.64, 13.21, 13.87, 14.64, 15.52, 16.54, 17.72, 19.1",\
                 "12.25, 12.42, 12.85, 13.42, 14.08, 14.85, 15.73, 16.75, 17.93, 19.31",\
                 "12.68, 12.85, 13.28, 13.85, 14.52, 15.28, 16.16, 17.18, 18.37, 19.75",\
                 "13.41, 13.58, 14.01, 14.58, 15.24, 16.01, 16.89, 17.91, 19.09, 20.47",\
                 "14.46, 14.63, 15.06, 15.63, 16.3, 17.06, 17.94, 18.96, 20.15, 21.53",\
                 "15.88, 16.05, 16.48, 17.05, 17.71, 18.48, 19.36, 20.38, 21.56, 22.94",\
                 "17.66, 17.83, 18.26, 18.83, 19.49, 20.26, 21.14, 22.16, 23.35, 24.72",\
                 "19.75, 19.92, 20.35, 20.92, 21.59, 22.35, 23.23, 24.25, 25.44, 26.81",\
                 "22.03, 22.19, 22.62, 23.19, 23.86, 24.62, 25.5, 26.52, 27.71, 29.09");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.006289, 0.02485, 0.06031, 0.1155, 0.193, 0.295, 0.4235, 0.5803, 0.7673");
          values("8.628, 8.766, 9.173, 9.872, 10.93, 12.41, 14.35, 16.78, 19.76, 23.3",\
                 "8.681, 8.82, 9.227, 9.926, 10.98, 12.46, 14.4, 16.84, 19.81, 23.35",\
                 "8.877, 9.014, 9.422, 10.12, 11.18, 12.66, 14.59, 17.03, 20, 23.55",\
                 "9.249, 9.387, 9.795, 10.49, 11.55, 13.03, 14.97, 17.4, 20.38, 23.92",\
                 "9.798, 9.936, 10.34, 11.04, 12.1, 13.58, 15.52, 17.95, 20.93, 24.47",\
                 "10.41, 10.55, 10.95, 11.65, 12.71, 14.19, 16.13, 18.56, 21.54, 25.08",\
                 "10.99, 11.13, 11.54, 12.24, 13.3, 14.77, 16.71, 19.15, 22.12, 25.66",\
                 "11.52, 11.66, 12.06, 12.76, 13.82, 15.3, 17.24, 19.67, 22.65, 26.19",\
                 "11.98, 12.11, 12.52, 13.22, 14.28, 15.75, 17.69, 20.13, 23.1, 26.64",\
                 "12.34, 12.48, 12.89, 13.59, 14.65, 16.13, 18.07, 20.5, 23.48, 27.02");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.006289, 0.02485, 0.06031, 0.1155, 0.193, 0.295, 0.4235, 0.5803, 0.7673");
          values("1.032, 1.14, 1.454, 1.94, 2.604, 3.474, 4.596, 6.038, 7.852, 10.07",\
                 "1.032, 1.14, 1.454, 1.94, 2.602, 3.472, 4.596, 6.038, 7.854, 10.06",\
                 "1.032, 1.142, 1.452, 1.942, 2.604, 3.47, 4.594, 6.038, 7.854, 10.06",\
                 "1.032, 1.14, 1.454, 1.94, 2.604, 3.47, 4.592, 6.034, 7.854, 10.07",\
                 "1.032, 1.142, 1.454, 1.94, 2.604, 3.472, 4.59, 6.032, 7.848, 10.06",\
                 "1.032, 1.14, 1.454, 1.942, 2.604, 3.47, 4.59, 6.038, 7.844, 10.07",\
                 "1.032, 1.142, 1.454, 1.942, 2.604, 3.472, 4.592, 6.044, 7.854, 10.06",\
                 "1.03, 1.142, 1.454, 1.94, 2.604, 3.468, 4.594, 6.036, 7.854, 10.07",\
                 "1.032, 1.14, 1.454, 1.94, 2.602, 3.472, 4.598, 6.038, 7.854, 10.06",\
                 "1.03, 1.14, 1.454, 1.94, 2.602, 3.472, 4.594, 6.042, 7.848, 10.06");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.006289, 0.02485, 0.06031, 0.1155, 0.193, 0.295, 0.4235, 0.5803, 0.7673");
          values("0.645, 0.7896, 1.313, 2.391, 4.144, 6.614, 9.866, 13.97, 18.99, 24.95",\
                 "0.645, 0.7898, 1.314, 2.394, 4.138, 6.61, 9.872, 13.97, 18.98, 24.94",\
                 "0.6444, 0.7892, 1.314, 2.392, 4.14, 6.61, 9.872, 13.98, 18.97, 24.94",\
                 "0.646, 0.79, 1.314, 2.394, 4.138, 6.61, 9.864, 13.98, 18.97, 24.96",\
                 "0.646, 0.79, 1.314, 2.394, 4.142, 6.616, 9.874, 13.97, 18.98, 24.97",\
                 "0.646, 0.79, 1.318, 2.392, 4.14, 6.61, 9.864, 13.96, 18.99, 24.98",\
                 "0.644, 0.79, 1.316, 2.392, 4.144, 6.612, 9.86, 13.97, 19.01, 24.98",\
                 "0.644, 0.79, 1.312, 2.394, 4.142, 6.614, 9.866, 13.98, 19, 24.99",\
                 "0.646, 0.79, 1.316, 2.394, 4.136, 6.606, 9.856, 13.97, 18.99, 24.99",\
                 "0.646, 0.79, 1.314, 2.394, 4.142, 6.608, 9.858, 13.97, 18.98, 24.97");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.006289, 0.02485, 0.06031, 0.1155, 0.193, 0.295, 0.4235, 0.5803, 0.7673");
          values("11.96, 12.12, 12.55, 13.12, 13.79, 14.55, 15.44, 16.45, 17.64, 19.02",\
                 "12.04, 12.21, 12.64, 13.21, 13.87, 14.64, 15.52, 16.54, 17.72, 19.1",\
                 "12.25, 12.42, 12.85, 13.42, 14.08, 14.85, 15.73, 16.75, 17.93, 19.31",\
                 "12.68, 12.85, 13.28, 13.85, 14.52, 15.28, 16.16, 17.18, 18.37, 19.75",\
                 "13.41, 13.58, 14.01, 14.58, 15.24, 16.01, 16.89, 17.91, 19.09, 20.47",\
                 "14.46, 14.63, 15.06, 15.63, 16.3, 17.06, 17.94, 18.96, 20.15, 21.53",\
                 "15.88, 16.05, 16.48, 17.05, 17.71, 18.48, 19.36, 20.38, 21.56, 22.94",\
                 "17.66, 17.83, 18.26, 18.83, 19.49, 20.26, 21.14, 22.16, 23.35, 24.72",\
                 "19.75, 19.92, 20.35, 20.92, 21.59, 22.35, 23.23, 24.25, 25.44, 26.81",\
                 "22.03, 22.19, 22.62, 23.19, 23.86, 24.62, 25.5, 26.52, 27.71, 29.09");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.006289, 0.02485, 0.06031, 0.1155, 0.193, 0.295, 0.4235, 0.5803, 0.7673");
          values("11.71, 11.89, 12.37, 13.13, 14.21, 15.69, 17.63, 20.07, 23.04, 26.58",\
                 "11.8, 11.97, 12.46, 13.21, 14.29, 15.78, 17.72, 20.15, 23.13, 26.67",\
                 "12.03, 12.21, 12.69, 13.45, 14.53, 16.01, 17.95, 20.39, 23.36, 26.9",\
                 "12.37, 12.55, 13.03, 13.79, 14.87, 16.35, 18.29, 20.73, 23.7, 27.24",\
                 "12.7, 12.88, 13.36, 14.12, 15.2, 16.69, 18.63, 21.06, 24.03, 27.58",\
                 "13, 13.17, 13.66, 14.41, 15.5, 16.98, 18.92, 21.35, 24.33, 27.87",\
                 "13.23, 13.41, 13.89, 14.65, 15.73, 17.21, 19.15, 21.59, 24.56, 28.1",\
                 "13.39, 13.56, 14.05, 14.81, 15.89, 17.37, 19.31, 21.75, 24.72, 28.26",\
                 "13.46, 13.63, 14.12, 14.88, 15.96, 17.44, 19.38, 21.82, 24.79, 28.33",\
                 "13.43, 13.61, 14.09, 14.85, 15.93, 17.41, 19.35, 21.79, 24.76, 28.3");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.006289, 0.02485, 0.06031, 0.1155, 0.193, 0.295, 0.4235, 0.5803, 0.7673");
          values("1.053, 1.162, 1.476, 1.964, 2.624, 3.492, 4.62, 6.062, 7.868, 10.08",\
                 "1.054, 1.162, 1.476, 1.962, 2.626, 3.492, 4.618, 6.056, 7.874, 10.07",\
                 "1.05, 1.16, 1.474, 1.962, 2.626, 3.492, 4.618, 6.064, 7.866, 10.07",\
                 "1.052, 1.16, 1.476, 1.962, 2.624, 3.492, 4.62, 6.06, 7.87, 10.09",\
                 "1.052, 1.162, 1.476, 1.964, 2.624, 3.492, 4.62, 6.062, 7.87, 10.09",\
                 "1.052, 1.162, 1.474, 1.96, 2.624, 3.494, 4.618, 6.058, 7.87, 10.07",\
                 "1.052, 1.162, 1.476, 1.962, 2.624, 3.494, 4.618, 6.058, 7.87, 10.09",\
                 "1.054, 1.162, 1.476, 1.964, 2.626, 3.496, 4.62, 6.068, 7.868, 10.09",\
                 "1.052, 1.162, 1.474, 1.96, 2.624, 3.496, 4.62, 6.066, 7.874, 10.07",\
                 "1.052, 1.162, 1.476, 1.962, 2.624, 3.49, 4.614, 6.062, 7.872, 10.08");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.006289, 0.02485, 0.06031, 0.1155, 0.193, 0.295, 0.4235, 0.5803, 0.7673");
          values("0.85, 1.01, 1.536, 2.556, 4.234, 6.678, 9.93, 14.03, 19.03, 25.02",\
                 "0.852, 1.01, 1.538, 2.552, 4.23, 6.672, 9.924, 14.02, 19.04, 25.01",\
                 "0.85, 1.01, 1.538, 2.55, 4.232, 6.678, 9.924, 14.03, 19.03, 25.02",\
                 "0.852, 1.01, 1.538, 2.552, 4.234, 6.676, 9.922, 14.02, 19.01, 25",\
                 "0.852, 1.012, 1.538, 2.552, 4.232, 6.678, 9.934, 14.02, 19.04, 25",\
                 "0.852, 1.01, 1.536, 2.552, 4.23, 6.67, 9.92, 14.02, 19.03, 25.01",\
                 "0.852, 1.012, 1.536, 2.552, 4.234, 6.67, 9.916, 14.03, 19.02, 25.02",\
                 "0.85, 1.012, 1.538, 2.554, 4.228, 6.674, 9.932, 14.03, 19.04, 25.01",\
                 "0.85, 1.01, 1.536, 2.55, 4.228, 6.668, 9.934, 14.03, 19.04, 25.02",\
                 "0.848, 1.008, 1.536, 2.552, 4.228, 6.674, 9.922, 14.02, 19.02, 25");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.006289, 0.02485, 0.06031, 0.1155, 0.193, 0.295, 0.4235, 0.5803, 0.7673");
          values("13.19, 13.36, 13.79, 14.36, 15.02, 15.79, 16.67, 17.69, 18.87, 20.25",\
                 "13.26, 13.43, 13.86, 14.43, 15.09, 15.86, 16.74, 17.76, 18.94, 20.32",\
                 "13.48, 13.64, 14.07, 14.64, 15.31, 16.07, 16.95, 17.97, 19.16, 20.54",\
                 "13.81, 13.97, 14.41, 14.98, 15.64, 16.4, 17.28, 18.3, 19.49, 20.87",\
                 "14.13, 14.3, 14.73, 15.3, 15.96, 16.73, 17.61, 18.63, 19.81, 21.19",\
                 "14.41, 14.58, 15.01, 15.58, 16.24, 17.01, 17.89, 18.91, 20.09, 21.47",\
                 "14.63, 14.79, 15.22, 15.79, 16.46, 17.23, 18.11, 19.12, 20.31, 21.69",\
                 "14.78, 14.95, 15.37, 15.94, 16.61, 17.38, 18.26, 19.28, 20.46, 21.84",\
                 "14.84, 15.01, 15.44, 16.01, 16.67, 17.44, 18.32, 19.34, 20.52, 21.9",\
                 "14.79, 14.96, 15.39, 15.96, 16.63, 17.39, 18.27, 19.29, 20.48, 21.85");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.006289, 0.02485, 0.06031, 0.1155, 0.193, 0.295, 0.4235, 0.5803, 0.7673");
          values("12.2, 12.34, 12.74, 13.44, 14.5, 15.98, 17.92, 20.36, 23.33, 26.87",\
                 "12.23, 12.36, 12.77, 13.47, 14.53, 16.01, 17.94, 20.38, 23.35, 26.89",\
                 "12.4, 12.54, 12.95, 13.65, 14.71, 16.18, 18.12, 20.56, 23.53, 27.07",\
                 "12.85, 12.99, 13.39, 14.09, 15.15, 16.63, 18.57, 21, 23.98, 27.52",\
                 "13.6, 13.73, 14.14, 14.84, 15.9, 17.38, 19.31, 21.75, 24.72, 28.27",\
                 "14.67, 14.81, 15.22, 15.91, 16.97, 18.45, 20.39, 22.83, 25.8, 29.34",\
                 "16.07, 16.21, 16.61, 17.31, 18.37, 19.85, 21.79, 24.22, 27.19, 30.74",\
                 "17.7, 17.84, 18.24, 18.94, 20, 21.48, 23.42, 25.85, 28.83, 32.37",\
                 "19.47, 19.61, 20.02, 20.71, 21.77, 23.25, 25.19, 27.63, 30.6, 34.14",\
                 "21.38, 21.52, 21.93, 22.62, 23.68, 25.16, 27.1, 29.53, 32.51, 36.05");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.006289, 0.02485, 0.06031, 0.1155, 0.193, 0.295, 0.4235, 0.5803, 0.7673");
          values("1.032, 1.14, 1.454, 1.94, 2.606, 3.47, 4.596, 6.034, 7.854, 10.06",\
                 "1.032, 1.14, 1.454, 1.94, 2.604, 3.474, 4.598, 6.036, 7.85, 10.07",\
                 "1.03, 1.142, 1.454, 1.94, 2.606, 3.474, 4.592, 6.044, 7.856, 10.06",\
                 "1.03, 1.142, 1.454, 1.94, 2.604, 3.47, 4.592, 6.044, 7.856, 10.06",\
                 "1.032, 1.142, 1.454, 1.942, 2.604, 3.472, 4.596, 6.042, 7.852, 10.06",\
                 "1.032, 1.14, 1.454, 1.942, 2.6, 3.472, 4.596, 6.042, 7.842, 10.07",\
                 "1.032, 1.142, 1.454, 1.94, 2.604, 3.47, 4.594, 6.042, 7.854, 10.07",\
                 "1.032, 1.14, 1.454, 1.938, 2.604, 3.478, 4.594, 6.04, 7.846, 10.07",\
                 "1.032, 1.142, 1.454, 1.942, 2.602, 3.47, 4.602, 6.036, 7.85, 10.07",\
                 "1.032, 1.14, 1.454, 1.94, 2.6, 3.474, 4.592, 6.038, 7.846, 10.06");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.006289, 0.02485, 0.06031, 0.1155, 0.193, 0.295, 0.4235, 0.5803, 0.7673");
          values("0.644, 0.79, 1.314, 2.392, 4.144, 6.612, 9.868, 13.97, 18.99, 24.97",\
                 "0.646, 0.79, 1.314, 2.394, 4.144, 6.612, 9.868, 13.96, 18.98, 24.97",\
                 "0.646, 0.79, 1.314, 2.392, 4.142, 6.616, 9.864, 13.98, 19, 24.97",\
                 "0.646, 0.79, 1.316, 2.396, 4.142, 6.616, 9.872, 13.96, 18.99, 24.97",\
                 "0.646, 0.79, 1.314, 2.394, 4.142, 6.61, 9.866, 13.96, 18.99, 24.99",\
                 "0.648, 0.792, 1.316, 2.392, 4.14, 6.616, 9.87, 13.98, 18.97, 24.95",\
                 "0.646, 0.79, 1.314, 2.394, 4.14, 6.608, 9.868, 13.98, 18.99, 24.98",\
                 "0.644, 0.79, 1.316, 2.392, 4.144, 6.616, 9.864, 13.97, 19, 24.98",\
                 "0.646, 0.792, 1.314, 2.394, 4.144, 6.612, 9.874, 13.97, 19, 24.99",\
                 "0.646, 0.79, 1.316, 2.394, 4.144, 6.618, 9.866, 13.98, 18.98, 24.97");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.006289, 0.02485, 0.06031, 0.1155, 0.193, 0.295, 0.4235, 0.5803, 0.7673");
          values("6.427, 6.598, 7.034, 7.611, 8.284, 9.054, 9.94, 10.96, 12.15, 13.53",\
                 "6.491, 6.662, 7.097, 7.674, 8.347, 9.119, 10, 11.03, 12.22, 13.6",\
                 "6.658, 6.83, 7.265, 7.841, 8.515, 9.286, 10.17, 11.19, 12.38, 13.76",\
                 "6.952, 7.124, 7.558, 8.134, 8.808, 9.58, 10.46, 11.49, 12.68, 14.06",\
                 "7.38, 7.552, 7.987, 8.564, 9.237, 10.01, 10.89, 11.92, 13.1, 14.49",\
                 "7.872, 8.043, 8.478, 9.055, 9.727, 10.5, 11.39, 12.41, 13.6, 14.98",\
                 "8.36, 8.531, 8.967, 9.543, 10.22, 10.99, 11.87, 12.89, 14.08, 15.46",\
                 "8.813, 8.984, 9.421, 9.997, 10.67, 11.44, 12.33, 13.35, 14.54, 15.92",\
                 "9.212, 9.383, 9.821, 10.4, 11.07, 11.84, 12.73, 13.75, 14.94, 16.32",\
                 "9.537, 9.709, 10.14, 10.72, 11.4, 12.17, 13.05, 14.07, 15.26, 16.64");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.006289, 0.02485, 0.06031, 0.1155, 0.193, 0.295, 0.4235, 0.5803, 0.7673");
          values("10.63, 10.81, 11.29, 12.05, 13.13, 14.61, 16.55, 18.99, 21.96, 25.5",\
                 "10.67, 10.84, 11.33, 12.09, 13.17, 14.65, 16.59, 19.03, 22, 25.54",\
                 "10.9, 11.07, 11.56, 12.31, 13.39, 14.88, 16.82, 19.25, 22.23, 25.77",\
                 "11.36, 11.53, 12.02, 12.77, 13.86, 15.34, 17.28, 19.71, 22.69, 26.23",\
                 "12.1, 12.27, 12.76, 13.52, 14.6, 16.08, 18.02, 20.46, 23.43, 26.97",\
                 "13.16, 13.34, 13.82, 14.58, 15.66, 17.14, 19.08, 21.52, 24.49, 28.03",\
                 "14.58, 14.75, 15.24, 15.99, 17.08, 18.56, 20.5, 22.94, 25.91, 29.45",\
                 "16.37, 16.55, 17.03, 17.79, 18.87, 20.35, 22.29, 24.73, 27.7, 31.24",\
                 "18.56, 18.73, 19.21, 19.97, 21.05, 22.54, 24.48, 26.91, 29.88, 33.43",\
                 "21.05, 21.23, 21.72, 22.47, 23.56, 25.04, 26.98, 29.41, 32.39, 35.93");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.006289, 0.02485, 0.06031, 0.1155, 0.193, 0.295, 0.4235, 0.5803, 0.7673");
          values("1.053, 1.163, 1.477, 1.965, 2.625, 3.496, 4.63, 6.066, 7.868, 10.09",\
                 "1.054, 1.163, 1.476, 1.965, 2.626, 3.496, 4.623, 6.069, 7.868, 10.09",\
                 "1.053, 1.163, 1.477, 1.965, 2.627, 3.495, 4.623, 6.066, 7.876, 10.08",\
                 "1.054, 1.163, 1.477, 1.964, 2.625, 3.495, 4.626, 6.058, 7.876, 10.09",\
                 "1.054, 1.163, 1.476, 1.964, 2.626, 3.496, 4.616, 6.06, 7.874, 10.08",\
                 "1.054, 1.162, 1.476, 1.964, 2.63, 3.494, 4.628, 6.066, 7.876, 10.09",\
                 "1.054, 1.164, 1.476, 1.966, 2.628, 3.498, 4.622, 6.064, 7.876, 10.08",\
                 "1.056, 1.164, 1.478, 1.968, 2.626, 3.498, 4.62, 6.066, 7.868, 10.08",\
                 "1.054, 1.164, 1.478, 1.966, 2.628, 3.498, 4.622, 6.06, 7.866, 10.08",\
                 "1.056, 1.164, 1.48, 1.968, 2.63, 3.498, 4.622, 6.068, 7.874, 10.08");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.006289, 0.02485, 0.06031, 0.1155, 0.193, 0.295, 0.4235, 0.5803, 0.7673");
          values("0.85, 1.01, 1.536, 2.55, 4.234, 6.678, 9.932, 14.03, 19.02, 25.01",\
                 "0.85, 1.012, 1.538, 2.552, 4.232, 6.68, 9.932, 14.03, 19.01, 25.01",\
                 "0.85, 1.01, 1.538, 2.552, 4.232, 6.678, 9.926, 14.03, 19.02, 25.01",\
                 "0.852, 1.01, 1.536, 2.554, 4.23, 6.674, 9.92, 14.02, 19.03, 25.02",\
                 "0.85, 1.01, 1.538, 2.55, 4.232, 6.678, 9.932, 14.01, 19.03, 25",\
                 "0.852, 1.01, 1.538, 2.55, 4.232, 6.672, 9.924, 14.02, 19.04, 25.01",\
                 "0.852, 1.01, 1.536, 2.554, 4.232, 6.664, 9.92, 14.03, 19.03, 25.02",\
                 "0.85, 1.01, 1.536, 2.554, 4.23, 6.67, 9.93, 14.03, 19.03, 25.02",\
                 "0.854, 1.012, 1.538, 2.554, 4.232, 6.678, 9.932, 14.03, 19.04, 24.99",\
                 "0.858, 1.016, 1.542, 2.554, 4.238, 6.68, 9.926, 14.01, 19.04, 25.01");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.006289, 0.02485, 0.06031, 0.1155, 0.193, 0.295, 0.4235, 0.5803, 0.7673");
          values("13.19, 13.36, 13.79, 14.36, 15.02, 15.79, 16.67, 17.69, 18.87, 20.25",\
                 "13.26, 13.43, 13.86, 14.43, 15.09, 15.86, 16.74, 17.76, 18.94, 20.32",\
                 "13.48, 13.64, 14.07, 14.64, 15.31, 16.07, 16.95, 17.97, 19.16, 20.54",\
                 "13.81, 13.97, 14.41, 14.98, 15.64, 16.4, 17.28, 18.3, 19.49, 20.87",\
                 "14.13, 14.3, 14.73, 15.3, 15.96, 16.73, 17.61, 18.63, 19.81, 21.19",\
                 "14.41, 14.58, 15.01, 15.58, 16.24, 17.01, 17.89, 18.91, 20.09, 21.47",\
                 "14.63, 14.79, 15.22, 15.79, 16.46, 17.23, 18.11, 19.12, 20.31, 21.69",\
                 "14.78, 14.95, 15.37, 15.94, 16.61, 17.38, 18.26, 19.28, 20.46, 21.84",\
                 "14.84, 15.01, 15.44, 16.01, 16.67, 17.44, 18.32, 19.34, 20.52, 21.9",\
                 "14.79, 14.96, 15.39, 15.96, 16.63, 17.39, 18.27, 19.29, 20.48, 21.85");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.006289, 0.02485, 0.06031, 0.1155, 0.193, 0.295, 0.4235, 0.5803, 0.7673");
          values("12.2, 12.34, 12.74, 13.44, 14.5, 15.98, 17.92, 20.36, 23.33, 26.87",\
                 "12.23, 12.36, 12.77, 13.47, 14.53, 16.01, 17.94, 20.38, 23.35, 26.89",\
                 "12.4, 12.54, 12.95, 13.65, 14.71, 16.18, 18.12, 20.56, 23.53, 27.07",\
                 "12.85, 12.99, 13.39, 14.09, 15.15, 16.63, 18.57, 21, 23.98, 27.52",\
                 "13.6, 13.73, 14.14, 14.84, 15.9, 17.38, 19.31, 21.75, 24.72, 28.27",\
                 "14.67, 14.81, 15.22, 15.91, 16.97, 18.45, 20.39, 22.83, 25.8, 29.34",\
                 "16.07, 16.21, 16.61, 17.31, 18.37, 19.85, 21.79, 24.22, 27.19, 30.74",\
                 "17.7, 17.84, 18.24, 18.94, 20, 21.48, 23.42, 25.85, 28.83, 32.37",\
                 "19.47, 19.61, 20.02, 20.71, 21.77, 23.25, 25.19, 27.63, 30.6, 34.14",\
                 "21.38, 21.52, 21.93, 22.62, 23.68, 25.16, 27.1, 29.53, 32.51, 36.05");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.006289, 0.02485, 0.06031, 0.1155, 0.193, 0.295, 0.4235, 0.5803, 0.7673");
          values("1.053, 1.163, 1.477, 1.965, 2.625, 3.496, 4.63, 6.066, 7.868, 10.09",\
                 "1.054, 1.163, 1.476, 1.965, 2.626, 3.496, 4.623, 6.069, 7.868, 10.09",\
                 "1.053, 1.163, 1.477, 1.965, 2.627, 3.495, 4.623, 6.066, 7.876, 10.08",\
                 "1.054, 1.163, 1.477, 1.964, 2.625, 3.495, 4.626, 6.058, 7.876, 10.09",\
                 "1.054, 1.163, 1.476, 1.964, 2.626, 3.496, 4.616, 6.06, 7.874, 10.08",\
                 "1.054, 1.162, 1.476, 1.964, 2.63, 3.494, 4.628, 6.066, 7.876, 10.09",\
                 "1.054, 1.164, 1.476, 1.966, 2.628, 3.498, 4.622, 6.064, 7.876, 10.08",\
                 "1.056, 1.164, 1.478, 1.968, 2.626, 3.498, 4.62, 6.066, 7.868, 10.08",\
                 "1.054, 1.164, 1.478, 1.966, 2.628, 3.498, 4.622, 6.06, 7.866, 10.08",\
                 "1.056, 1.164, 1.48, 1.968, 2.63, 3.498, 4.622, 6.068, 7.874, 10.08");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.006289, 0.02485, 0.06031, 0.1155, 0.193, 0.295, 0.4235, 0.5803, 0.7673");
          values("0.85, 1.01, 1.536, 2.55, 4.234, 6.678, 9.932, 14.03, 19.02, 25.01",\
                 "0.85, 1.012, 1.538, 2.552, 4.232, 6.68, 9.932, 14.03, 19.01, 25.01",\
                 "0.85, 1.01, 1.538, 2.552, 4.232, 6.678, 9.926, 14.03, 19.02, 25.01",\
                 "0.852, 1.01, 1.536, 2.554, 4.23, 6.674, 9.92, 14.02, 19.03, 25.02",\
                 "0.85, 1.01, 1.538, 2.55, 4.232, 6.678, 9.932, 14.01, 19.03, 25",\
                 "0.852, 1.01, 1.538, 2.55, 4.232, 6.672, 9.924, 14.02, 19.04, 25.01",\
                 "0.852, 1.01, 1.536, 2.554, 4.232, 6.664, 9.92, 14.03, 19.03, 25.02",\
                 "0.85, 1.01, 1.536, 2.554, 4.23, 6.67, 9.93, 14.03, 19.03, 25.02",\
                 "0.854, 1.012, 1.538, 2.554, 4.232, 6.678, 9.932, 14.03, 19.04, 24.99",\
                 "0.858, 1.016, 1.542, 2.554, 4.238, 6.68, 9.926, 14.01, 19.04, 25.01");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.006289, 0.02485, 0.06031, 0.1155, 0.193, 0.295, 0.4235, 0.5803, 0.7673");
          values("9.948, 10.12, 10.55, 11.13, 11.8, 12.57, 13.46, 14.48, 15.67, 17.05",\
                 "9.976, 10.15, 10.58, 11.16, 11.83, 12.6, 13.48, 14.51, 15.7, 17.08",\
                 "10.15, 10.32, 10.76, 11.33, 12, 12.78, 13.66, 14.68, 15.87, 17.25",\
                 "10.6, 10.77, 11.2, 11.78, 12.45, 13.22, 14.11, 15.13, 16.32, 17.7",\
                 "11.35, 11.52, 11.95, 12.53, 13.2, 13.97, 14.85, 15.88, 17.06, 18.45",\
                 "12.42, 12.59, 13.03, 13.6, 14.28, 15.04, 15.93, 16.95, 18.14, 19.52",\
                 "13.82, 13.99, 14.42, 15, 15.67, 16.44, 17.33, 18.35, 19.54, 20.92",\
                 "15.45, 15.62, 16.05, 16.63, 17.3, 18.07, 18.96, 19.98, 21.17, 22.55",\
                 "17.22, 17.39, 17.82, 18.4, 19.07, 19.84, 20.73, 21.75, 22.94, 24.32",\
                 "19.13, 19.3, 19.73, 20.31, 20.98, 21.75, 22.64, 23.66, 24.85, 26.23");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.006289, 0.02485, 0.06031, 0.1155, 0.193, 0.295, 0.4235, 0.5803, 0.7673");
          values("11.29, 11.47, 11.95, 12.71, 13.79, 15.27, 17.21, 19.65, 22.62, 26.16",\
                 "11.36, 11.54, 12.02, 12.78, 13.86, 15.34, 17.28, 19.72, 22.69, 26.23",\
                 "11.58, 11.75, 12.24, 13, 14.08, 15.56, 17.5, 19.94, 22.91, 26.45",\
                 "11.91, 12.09, 12.57, 13.33, 14.41, 15.89, 17.83, 20.27, 23.24, 26.78",\
                 "12.23, 12.41, 12.89, 13.65, 14.73, 16.21, 18.15, 20.59, 23.56, 27.1",\
                 "12.51, 12.69, 13.17, 13.93, 15.01, 16.49, 18.43, 20.87, 23.84, 27.38",\
                 "12.73, 12.9, 13.39, 14.15, 15.23, 16.71, 18.65, 21.08, 24.06, 27.6",\
                 "12.88, 13.05, 13.54, 14.29, 15.37, 16.86, 18.8, 21.23, 24.2, 27.75",\
                 "12.94, 13.11, 13.6, 14.36, 15.44, 16.92, 18.86, 21.3, 24.27, 27.81",\
                 "12.89, 13.07, 13.55, 14.31, 15.39, 16.87, 18.81, 21.25, 24.22, 27.76");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.006289, 0.02485, 0.06031, 0.1155, 0.193, 0.295, 0.4235, 0.5803, 0.7673");
          values("1.052, 1.163, 1.476, 1.964, 2.624, 3.494, 4.62, 6.064, 7.866, 10.09",\
                 "1.054, 1.164, 1.476, 1.962, 2.628, 3.49, 4.618, 6.058, 7.874, 10.07",\
                 "1.052, 1.162, 1.474, 1.962, 2.626, 3.492, 4.62, 6.06, 7.87, 10.09",\
                 "1.052, 1.162, 1.476, 1.962, 2.624, 3.494, 4.618, 6.062, 7.87, 10.09",\
                 "1.052, 1.162, 1.476, 1.964, 2.626, 3.494, 4.618, 6.062, 7.87, 10.09",\
                 "1.052, 1.162, 1.474, 1.962, 2.626, 3.492, 4.618, 6.058, 7.872, 10.07",\
                 "1.052, 1.162, 1.476, 1.962, 2.628, 3.494, 4.62, 6.058, 7.87, 10.09",\
                 "1.054, 1.16, 1.474, 1.96, 2.626, 3.49, 4.624, 6.058, 7.874, 10.08",\
                 "1.052, 1.164, 1.476, 1.964, 2.626, 3.494, 4.622, 6.058, 7.876, 10.08",\
                 "1.05, 1.162, 1.474, 1.966, 2.628, 3.492, 4.618, 6.06, 7.872, 10.07");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.006289, 0.02485, 0.06031, 0.1155, 0.193, 0.295, 0.4235, 0.5803, 0.7673");
          values("0.848, 1.008, 1.534, 2.548, 4.234, 6.68, 9.928, 14.03, 19.02, 25.02",\
                 "0.85, 1.01, 1.536, 2.552, 4.234, 6.678, 9.932, 14.03, 19.03, 24.98",\
                 "0.848, 1.008, 1.534, 2.552, 4.232, 6.678, 9.932, 14.02, 19.02, 24.99",\
                 "0.848, 1.008, 1.534, 2.552, 4.23, 6.674, 9.922, 14.01, 19.02, 25.03",\
                 "0.848, 1.01, 1.536, 2.55, 4.228, 6.678, 9.924, 14.01, 19.03, 25.01",\
                 "0.848, 1.008, 1.536, 2.55, 4.23, 6.678, 9.922, 14.02, 19.02, 25.02",\
                 "0.848, 1.008, 1.536, 2.55, 4.23, 6.676, 9.91, 14.02, 19.03, 25.02",\
                 "0.848, 1.008, 1.534, 2.556, 4.232, 6.67, 9.934, 14.03, 19.04, 25.01",\
                 "0.848, 1.008, 1.534, 2.55, 4.23, 6.666, 9.918, 14.02, 19.02, 25.02",\
                 "0.848, 1.008, 1.536, 2.55, 4.228, 6.674, 9.912, 14.03, 19.04, 25.01");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.006289, 0.02485, 0.06031, 0.1155, 0.193, 0.295, 0.4235, 0.5803, 0.7673");
          values("12.5, 12.67, 13.1, 13.67, 14.33, 15.1, 15.98, 17, 18.18, 19.56",\
                 "12.54, 12.7, 13.13, 13.7, 14.37, 15.13, 16.01, 17.03, 18.22, 19.6",\
                 "12.76, 12.93, 13.36, 13.93, 14.6, 15.36, 16.24, 17.26, 18.44, 19.82",\
                 "13.22, 13.39, 13.82, 14.39, 15.06, 15.82, 16.7, 17.72, 18.91, 20.28",\
                 "13.96, 14.13, 14.56, 15.13, 15.8, 16.56, 17.44, 18.46, 19.65, 21.03",\
                 "15.03, 15.2, 15.63, 16.2, 16.86, 17.63, 18.51, 19.53, 20.71, 22.09",\
                 "16.44, 16.61, 17.04, 17.61, 18.28, 19.04, 19.92, 20.94, 22.13, 23.51",\
                 "18.24, 18.41, 18.84, 19.41, 20.07, 20.84, 21.72, 22.74, 23.92, 25.3",\
                 "20.37, 20.54, 20.97, 21.54, 22.2, 22.97, 23.85, 24.87, 26.05, 27.43",\
                 "22.73, 22.89, 23.32, 23.89, 24.56, 25.32, 26.2, 27.22, 28.41, 29.79");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.006289, 0.02485, 0.06031, 0.1155, 0.193, 0.295, 0.4235, 0.5803, 0.7673");
          values("8.676, 8.813, 9.221, 9.919, 10.98, 12.46, 14.39, 16.83, 19.8, 23.35",\
                 "8.739, 8.876, 9.284, 9.983, 11.04, 12.52, 14.46, 16.89, 19.87, 23.41",\
                 "8.906, 9.045, 9.452, 10.15, 11.21, 12.69, 14.62, 17.06, 20.03, 23.58",\
                 "9.201, 9.338, 9.746, 10.44, 11.5, 12.98, 14.92, 17.36, 20.33, 23.87",\
                 "9.629, 9.767, 10.17, 10.87, 11.93, 13.41, 15.35, 17.78, 20.76, 24.3",\
                 "10.12, 10.26, 10.67, 11.37, 12.43, 13.9, 15.84, 18.28, 21.25, 24.8",\
                 "10.61, 10.75, 11.16, 11.86, 12.92, 14.4, 16.33, 18.77, 21.74, 25.29",\
                 "11.07, 11.21, 11.62, 12.32, 13.38, 14.85, 16.79, 19.23, 22.2, 25.74",\
                 "11.48, 11.62, 12.02, 12.72, 13.78, 15.26, 17.2, 19.63, 22.61, 26.15",\
                 "11.81, 11.95, 12.36, 13.05, 14.11, 15.59, 17.53, 19.96, 22.94, 26.48");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.006289, 0.02485, 0.06031, 0.1155, 0.193, 0.295, 0.4235, 0.5803, 0.7673");
          values("1.032, 1.14, 1.454, 1.94, 2.604, 3.47, 4.594, 6.036, 7.854, 10.07",\
                 "1.03, 1.142, 1.454, 1.942, 2.604, 3.472, 4.596, 6.036, 7.852, 10.07",\
                 "1.032, 1.14, 1.454, 1.94, 2.604, 3.47, 4.596, 6.034, 7.852, 10.06",\
                 "1.032, 1.14, 1.452, 1.94, 2.604, 3.47, 4.592, 6.044, 7.848, 10.06",\
                 "1.032, 1.138, 1.454, 1.94, 2.604, 3.472, 4.598, 6.042, 7.852, 10.06",\
                 "1.03, 1.142, 1.454, 1.94, 2.604, 3.472, 4.594, 6.042, 7.842, 10.07",\
                 "1.034, 1.14, 1.454, 1.938, 2.604, 3.468, 4.598, 6.04, 7.848, 10.07",\
                 "1.03, 1.14, 1.454, 1.94, 2.602, 3.468, 4.598, 6.044, 7.844, 10.07",\
                 "1.03, 1.14, 1.454, 1.942, 2.602, 3.474, 4.596, 6.042, 7.852, 10.07",\
                 "1.034, 1.142, 1.456, 1.94, 2.604, 3.472, 4.594, 6.034, 7.852, 10.07");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.006289, 0.02485, 0.06031, 0.1155, 0.193, 0.295, 0.4235, 0.5803, 0.7673");
          values("0.6448, 0.79, 1.314, 2.391, 4.14, 6.608, 9.872, 13.97, 18.98, 24.92",\
                 "0.6448, 0.7906, 1.314, 2.393, 4.14, 6.608, 9.874, 13.97, 18.98, 24.94",\
                 "0.645, 0.7904, 1.314, 2.392, 4.14, 6.612, 9.874, 13.97, 18.97, 24.94",\
                 "0.646, 0.79, 1.314, 2.392, 4.144, 6.614, 9.872, 13.97, 18.97, 24.96",\
                 "0.646, 0.792, 1.314, 2.39, 4.144, 6.612, 9.872, 13.97, 18.97, 24.97",\
                 "0.644, 0.79, 1.314, 2.392, 4.14, 6.614, 9.876, 13.96, 18.98, 24.98",\
                 "0.644, 0.788, 1.316, 2.392, 4.142, 6.616, 9.864, 13.98, 19, 24.99",\
                 "0.646, 0.79, 1.316, 2.39, 4.142, 6.61, 9.856, 13.97, 19, 24.99",\
                 "0.644, 0.79, 1.314, 2.392, 4.136, 6.608, 9.868, 13.98, 18.98, 24.95",\
                 "0.646, 0.788, 1.316, 2.394, 4.144, 6.608, 9.854, 13.95, 18.97, 24.97");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.006289, 0.02485, 0.06031, 0.1155, 0.193, 0.295, 0.4235, 0.5803, 0.7673");
          values("12.5, 12.67, 13.1, 13.67, 14.33, 15.1, 15.98, 17, 18.18, 19.56",\
                 "12.54, 12.7, 13.13, 13.7, 14.37, 15.13, 16.01, 17.03, 18.22, 19.6",\
                 "12.76, 12.93, 13.36, 13.93, 14.6, 15.36, 16.24, 17.26, 18.44, 19.82",\
                 "13.22, 13.39, 13.82, 14.39, 15.06, 15.82, 16.7, 17.72, 18.91, 20.28",\
                 "13.96, 14.13, 14.56, 15.13, 15.8, 16.56, 17.44, 18.46, 19.65, 21.03",\
                 "15.03, 15.2, 15.63, 16.2, 16.86, 17.63, 18.51, 19.53, 20.71, 22.09",\
                 "16.44, 16.61, 17.04, 17.61, 18.28, 19.04, 19.92, 20.94, 22.13, 23.51",\
                 "18.24, 18.41, 18.84, 19.41, 20.07, 20.84, 21.72, 22.74, 23.92, 25.3",\
                 "20.37, 20.54, 20.97, 21.54, 22.2, 22.97, 23.85, 24.87, 26.05, 27.43",\
                 "22.73, 22.89, 23.32, 23.89, 24.56, 25.32, 26.2, 27.22, 28.41, 29.79");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.006289, 0.02485, 0.06031, 0.1155, 0.193, 0.295, 0.4235, 0.5803, 0.7673");
          values("11.29, 11.47, 11.95, 12.71, 13.79, 15.27, 17.21, 19.65, 22.62, 26.16",\
                 "11.36, 11.54, 12.02, 12.78, 13.86, 15.34, 17.28, 19.72, 22.69, 26.23",\
                 "11.58, 11.75, 12.24, 13, 14.08, 15.56, 17.5, 19.94, 22.91, 26.45",\
                 "11.91, 12.09, 12.57, 13.33, 14.41, 15.89, 17.83, 20.27, 23.24, 26.78",\
                 "12.23, 12.41, 12.89, 13.65, 14.73, 16.21, 18.15, 20.59, 23.56, 27.1",\
                 "12.51, 12.69, 13.17, 13.93, 15.01, 16.49, 18.43, 20.87, 23.84, 27.38",\
                 "12.73, 12.9, 13.39, 14.15, 15.23, 16.71, 18.65, 21.08, 24.06, 27.6",\
                 "12.88, 13.05, 13.54, 14.29, 15.37, 16.86, 18.8, 21.23, 24.2, 27.75",\
                 "12.94, 13.11, 13.6, 14.36, 15.44, 16.92, 18.86, 21.3, 24.27, 27.81",\
                 "12.89, 13.07, 13.55, 14.31, 15.39, 16.87, 18.81, 21.25, 24.22, 27.76");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.006289, 0.02485, 0.06031, 0.1155, 0.193, 0.295, 0.4235, 0.5803, 0.7673");
          values("1.052, 1.163, 1.476, 1.964, 2.624, 3.494, 4.62, 6.064, 7.866, 10.09",\
                 "1.054, 1.164, 1.476, 1.962, 2.628, 3.49, 4.618, 6.058, 7.874, 10.07",\
                 "1.052, 1.162, 1.474, 1.962, 2.626, 3.492, 4.62, 6.06, 7.87, 10.09",\
                 "1.052, 1.162, 1.476, 1.962, 2.624, 3.494, 4.618, 6.062, 7.87, 10.09",\
                 "1.052, 1.162, 1.476, 1.964, 2.626, 3.494, 4.618, 6.062, 7.87, 10.09",\
                 "1.052, 1.162, 1.474, 1.962, 2.626, 3.492, 4.618, 6.058, 7.872, 10.07",\
                 "1.052, 1.162, 1.476, 1.962, 2.628, 3.494, 4.62, 6.058, 7.87, 10.09",\
                 "1.054, 1.16, 1.474, 1.96, 2.626, 3.49, 4.624, 6.058, 7.874, 10.08",\
                 "1.052, 1.164, 1.476, 1.964, 2.626, 3.494, 4.622, 6.058, 7.876, 10.08",\
                 "1.05, 1.162, 1.474, 1.966, 2.628, 3.492, 4.618, 6.06, 7.872, 10.07");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.006289, 0.02485, 0.06031, 0.1155, 0.193, 0.295, 0.4235, 0.5803, 0.7673");
          values("0.848, 1.008, 1.534, 2.548, 4.234, 6.68, 9.928, 14.03, 19.02, 25.02",\
                 "0.85, 1.01, 1.536, 2.552, 4.234, 6.678, 9.932, 14.03, 19.03, 24.98",\
                 "0.848, 1.008, 1.534, 2.552, 4.232, 6.678, 9.932, 14.02, 19.02, 24.99",\
                 "0.848, 1.008, 1.534, 2.552, 4.23, 6.674, 9.922, 14.01, 19.02, 25.03",\
                 "0.848, 1.01, 1.536, 2.55, 4.228, 6.678, 9.924, 14.01, 19.03, 25.01",\
                 "0.848, 1.008, 1.536, 2.55, 4.23, 6.678, 9.922, 14.02, 19.02, 25.02",\
                 "0.848, 1.008, 1.536, 2.55, 4.23, 6.676, 9.91, 14.02, 19.03, 25.02",\
                 "0.848, 1.008, 1.534, 2.556, 4.232, 6.67, 9.934, 14.03, 19.04, 25.01",\
                 "0.848, 1.008, 1.534, 2.55, 4.23, 6.666, 9.918, 14.02, 19.02, 25.02",\
                 "0.848, 1.008, 1.536, 2.55, 4.228, 6.674, 9.912, 14.03, 19.04, 25.01");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.006289, 0.02485, 0.06031, 0.1155, 0.193, 0.295, 0.4235, 0.5803, 0.7673");
          values("5.47, 5.641, 6.076, 6.651, 7.323, 8.094, 8.978, 10, 11.19, 12.57",\
                 "5.546, 5.716, 6.151, 6.726, 7.398, 8.168, 9.053, 10.08, 11.26, 12.64",\
                 "5.774, 5.945, 6.379, 6.955, 7.628, 8.398, 9.282, 10.31, 11.49, 12.87",\
                 "6.145, 6.316, 6.75, 7.325, 7.999, 8.769, 9.653, 10.68, 11.87, 13.25",\
                 "6.539, 6.709, 7.144, 7.72, 8.392, 9.164, 10.05, 11.07, 12.26, 13.64",\
                 "6.897, 7.068, 7.504, 8.078, 8.751, 9.522, 10.41, 11.43, 12.62, 14",\
                 "7.2, 7.37, 7.804, 8.38, 9.053, 9.823, 10.71, 11.73, 12.92, 14.3",\
                 "7.437, 7.607, 8.042, 8.616, 9.286, 10.06, 10.94, 11.97, 13.16, 14.54",\
                 "7.594, 7.764, 8.199, 8.774, 9.444, 10.21, 11.1, 12.12, 13.31, 14.69",\
                 "7.658, 7.828, 8.261, 8.837, 9.507, 10.28, 11.16, 12.18, 13.37, 14.75");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.006289, 0.02485, 0.06031, 0.1155, 0.193, 0.295, 0.4235, 0.5803, 0.7673");
          values("7.08, 7.218, 7.627, 8.325, 9.385, 10.86, 12.8, 15.24, 18.21, 21.75",\
                 "7.135, 7.273, 7.681, 8.38, 9.439, 10.92, 12.85, 15.29, 18.26, 21.8",\
                 "7.354, 7.492, 7.9, 8.599, 9.658, 11.14, 13.07, 15.51, 18.48, 22.03",\
                 "7.769, 7.907, 8.315, 9.014, 10.07, 11.55, 13.49, 15.93, 18.9, 22.44",\
                 "8.401, 8.538, 8.947, 9.645, 10.7, 12.18, 14.12, 16.56, 19.53, 23.07",\
                 "9.279, 9.417, 9.825, 10.52, 11.58, 13.06, 15, 17.44, 20.41, 23.95",\
                 "10.43, 10.57, 10.97, 11.67, 12.73, 14.21, 16.15, 18.58, 21.56, 25.1",\
                 "11.82, 11.96, 12.37, 13.07, 14.13, 15.61, 17.54, 19.98, 22.95, 26.5",\
                 "13.39, 13.53, 13.94, 14.64, 15.7, 17.17, 19.11, 21.55, 24.52, 28.06",\
                 "15.11, 15.25, 15.67, 16.37, 17.43, 18.91, 20.84, 23.28, 26.25, 29.79");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.006289, 0.02485, 0.06031, 0.1155, 0.193, 0.295, 0.4235, 0.5803, 0.7673");
          values("1.052, 1.161, 1.475, 1.962, 2.626, 3.49, 4.619, 6.058, 7.875, 10.08",\
                 "1.052, 1.161, 1.474, 1.962, 2.623, 3.494, 4.621, 6.067, 7.867, 10.09",\
                 "1.052, 1.162, 1.474, 1.962, 2.623, 3.494, 4.62, 6.066, 7.866, 10.09",\
                 "1.052, 1.161, 1.475, 1.961, 2.623, 3.493, 4.619, 6.066, 7.874, 10.08",\
                 "1.051, 1.161, 1.474, 1.962, 2.623, 3.494, 4.62, 6.062, 7.872, 10.08",\
                 "1.05, 1.158, 1.474, 1.96, 2.624, 3.49, 4.622, 6.054, 7.874, 10.08",\
                 "1.046, 1.154, 1.472, 1.962, 2.626, 3.492, 4.62, 6.07, 7.874, 10.09",\
                 "1.044, 1.152, 1.47, 1.96, 2.624, 3.486, 4.618, 6.06, 7.88, 10.08",\
                 "1.044, 1.154, 1.47, 1.96, 2.62, 3.49, 4.614, 6.056, 7.862, 10.07",\
                 "1.042, 1.156, 1.47, 1.96, 2.62, 3.488, 4.618, 6.054, 7.862, 10.07");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.006289, 0.02485, 0.06031, 0.1155, 0.193, 0.295, 0.4235, 0.5803, 0.7673");
          values("0.6458, 0.7904, 1.314, 2.391, 4.145, 6.61, 9.874, 13.98, 19, 24.93",\
                 "0.6458, 0.7904, 1.316, 2.393, 4.141, 6.616, 9.87, 13.98, 18.97, 24.95",\
                 "0.647, 0.7898, 1.315, 2.393, 4.144, 6.618, 9.87, 13.98, 18.98, 24.97",\
                 "0.6458, 0.7906, 1.315, 2.395, 4.142, 6.616, 9.866, 13.97, 18.97, 24.94",\
                 "0.646, 0.79, 1.318, 2.394, 4.144, 6.612, 9.868, 13.97, 18.96, 24.94",\
                 "0.646, 0.79, 1.318, 2.392, 4.14, 6.614, 9.874, 13.96, 18.97, 24.97",\
                 "0.648, 0.792, 1.318, 2.394, 4.14, 6.614, 9.868, 13.98, 18.97, 24.99",\
                 "0.652, 0.796, 1.316, 2.394, 4.14, 6.608, 9.872, 13.97, 19, 24.99",\
                 "0.664, 0.806, 1.324, 2.394, 4.144, 6.608, 9.876, 13.98, 18.98, 24.96",\
                 "0.674, 0.816, 1.33, 2.4, 4.142, 6.608, 9.86, 13.97, 18.98, 24.96");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.006289, 0.02485, 0.06031, 0.1155, 0.193, 0.295, 0.4235, 0.5803, 0.7673");
          values("5.49, 5.661, 6.096, 6.672, 7.347, 8.117, 9.002, 10.03, 11.21, 12.59",\
                 "5.565, 5.736, 6.171, 6.747, 7.421, 8.191, 9.076, 10.1, 11.29, 12.67",\
                 "5.794, 5.965, 6.4, 6.977, 7.651, 8.421, 9.306, 10.33, 11.52, 12.9",\
                 "6.167, 6.338, 6.773, 7.349, 8.024, 8.794, 9.679, 10.7, 11.89, 13.27",\
                 "6.562, 6.733, 7.169, 7.745, 8.418, 9.19, 10.07, 11.1, 12.29, 13.67",\
                 "6.922, 7.094, 7.529, 8.105, 8.778, 9.548, 10.44, 11.46, 12.65, 14.03",\
                 "7.224, 7.395, 7.83, 8.406, 9.081, 9.853, 10.74, 11.76, 12.95, 14.33",\
                 "7.461, 7.631, 8.066, 8.641, 9.314, 10.08, 10.97, 11.99, 13.18, 14.57",\
                 "7.617, 7.788, 8.223, 8.798, 9.47, 10.24, 11.12, 12.15, 13.34, 14.72",\
                 "7.68, 7.852, 8.285, 8.862, 9.532, 10.3, 11.19, 12.21, 13.4, 14.78");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.006289, 0.02485, 0.06031, 0.1155, 0.193, 0.295, 0.4235, 0.5803, 0.7673");
          values("7.086, 7.223, 7.631, 8.33, 9.389, 10.87, 12.8, 15.24, 18.21, 21.76",\
                 "7.141, 7.278, 7.686, 8.385, 9.444, 10.92, 12.86, 15.3, 18.27, 21.81",\
                 "7.361, 7.498, 7.906, 8.605, 9.663, 11.14, 13.08, 15.52, 18.49, 22.03",\
                 "7.775, 7.913, 8.321, 9.019, 10.08, 11.56, 13.49, 15.93, 18.9, 22.45",\
                 "8.405, 8.544, 8.951, 9.65, 10.71, 12.18, 14.12, 16.56, 19.53, 23.07",\
                 "9.282, 9.42, 9.828, 10.53, 11.59, 13.06, 15, 17.44, 20.41, 23.95",\
                 "10.43, 10.57, 10.97, 11.67, 12.73, 14.21, 16.15, 18.58, 21.56, 25.1",\
                 "11.82, 11.96, 12.37, 13.07, 14.13, 15.61, 17.54, 19.98, 22.95, 26.5",\
                 "13.39, 13.53, 13.94, 14.64, 15.7, 17.17, 19.11, 21.55, 24.52, 28.07",\
                 "15.11, 15.25, 15.67, 16.37, 17.43, 18.91, 20.84, 23.28, 26.25, 29.79");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.006289, 0.02485, 0.06031, 0.1155, 0.193, 0.295, 0.4235, 0.5803, 0.7673");
          values("1.054, 1.164, 1.478, 1.965, 2.629, 3.491, 4.619, 6.062, 7.875, 10.08",\
                 "1.054, 1.164, 1.477, 1.965, 2.627, 3.496, 4.624, 6.069, 7.866, 10.09",\
                 "1.055, 1.164, 1.477, 1.965, 2.624, 3.496, 4.618, 6.069, 7.876, 10.08",\
                 "1.054, 1.164, 1.477, 1.965, 2.625, 3.494, 4.62, 6.066, 7.876, 10.08",\
                 "1.054, 1.164, 1.476, 1.965, 2.628, 3.498, 4.624, 6.068, 7.872, 10.08",\
                 "1.052, 1.16, 1.476, 1.964, 2.626, 3.494, 4.626, 6.058, 7.874, 10.08",\
                 "1.046, 1.156, 1.472, 1.964, 2.632, 3.498, 4.634, 6.064, 7.88, 10.09",\
                 "1.046, 1.156, 1.472, 1.96, 2.626, 3.488, 4.618, 6.064, 7.88, 10.09",\
                 "1.046, 1.156, 1.472, 1.962, 2.624, 3.49, 4.614, 6.056, 7.864, 10.08",\
                 "1.046, 1.156, 1.472, 1.96, 2.62, 3.492, 4.616, 6.056, 7.874, 10.07");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.006289, 0.02485, 0.06031, 0.1155, 0.193, 0.295, 0.4235, 0.5803, 0.7673");
          values("0.6446, 0.7892, 1.315, 2.394, 4.14, 6.617, 9.866, 13.97, 19, 24.93",\
                 "0.6456, 0.7898, 1.316, 2.392, 4.143, 6.613, 9.874, 13.97, 19, 24.94",\
                 "0.6446, 0.7896, 1.314, 2.392, 4.141, 6.612, 9.864, 13.96, 19, 24.97",\
                 "0.6454, 0.7896, 1.314, 2.395, 4.144, 6.616, 9.87, 13.98, 18.97, 24.93",\
                 "0.65, 0.79, 1.314, 2.39, 4.14, 6.61, 9.874, 13.97, 18.97, 24.94",\
                 "0.646, 0.79, 1.314, 2.394, 4.14, 6.608, 9.872, 13.97, 18.97, 24.97",\
                 "0.648, 0.794, 1.318, 2.394, 4.14, 6.61, 9.872, 13.97, 19, 24.99",\
                 "0.65, 0.796, 1.316, 2.394, 4.144, 6.606, 9.86, 13.97, 19, 24.99",\
                 "0.662, 0.804, 1.324, 2.396, 4.146, 6.61, 9.874, 13.98, 19, 24.98",\
                 "0.674, 0.818, 1.334, 2.398, 4.144, 6.608, 9.858, 13.97, 18.98, 24.95");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.006289, 0.02485, 0.06031, 0.1155, 0.193, 0.295, 0.4235, 0.5803, 0.7673");
          values("5.49, 5.661, 6.096, 6.672, 7.347, 8.117, 9.002, 10.03, 11.21, 12.59",\
                 "5.565, 5.736, 6.171, 6.747, 7.421, 8.191, 9.076, 10.1, 11.29, 12.67",\
                 "5.794, 5.965, 6.4, 6.977, 7.651, 8.421, 9.306, 10.33, 11.52, 12.9",\
                 "6.167, 6.338, 6.773, 7.349, 8.024, 8.794, 9.679, 10.7, 11.89, 13.27",\
                 "6.562, 6.733, 7.169, 7.745, 8.418, 9.19, 10.07, 11.1, 12.29, 13.67",\
                 "6.922, 7.094, 7.529, 8.105, 8.778, 9.548, 10.44, 11.46, 12.65, 14.03",\
                 "7.224, 7.395, 7.83, 8.406, 9.081, 9.853, 10.74, 11.76, 12.95, 14.33",\
                 "7.461, 7.631, 8.066, 8.641, 9.314, 10.08, 10.97, 11.99, 13.18, 14.57",\
                 "7.617, 7.788, 8.223, 8.798, 9.47, 10.24, 11.12, 12.15, 13.34, 14.72",\
                 "7.68, 7.852, 8.285, 8.862, 9.532, 10.3, 11.19, 12.21, 13.4, 14.78");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.006289, 0.02485, 0.06031, 0.1155, 0.193, 0.295, 0.4235, 0.5803, 0.7673");
          values("7.086, 7.223, 7.631, 8.33, 9.389, 10.87, 12.8, 15.24, 18.21, 21.76",\
                 "7.141, 7.278, 7.686, 8.385, 9.444, 10.92, 12.86, 15.3, 18.27, 21.81",\
                 "7.361, 7.498, 7.906, 8.605, 9.663, 11.14, 13.08, 15.52, 18.49, 22.03",\
                 "7.775, 7.913, 8.321, 9.019, 10.08, 11.56, 13.49, 15.93, 18.9, 22.45",\
                 "8.405, 8.544, 8.951, 9.65, 10.71, 12.18, 14.12, 16.56, 19.53, 23.07",\
                 "9.282, 9.42, 9.828, 10.53, 11.59, 13.06, 15, 17.44, 20.41, 23.95",\
                 "10.43, 10.57, 10.97, 11.67, 12.73, 14.21, 16.15, 18.58, 21.56, 25.1",\
                 "11.82, 11.96, 12.37, 13.07, 14.13, 15.61, 17.54, 19.98, 22.95, 26.5",\
                 "13.39, 13.53, 13.94, 14.64, 15.7, 17.17, 19.11, 21.55, 24.52, 28.07",\
                 "15.11, 15.25, 15.67, 16.37, 17.43, 18.91, 20.84, 23.28, 26.25, 29.79");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.006289, 0.02485, 0.06031, 0.1155, 0.193, 0.295, 0.4235, 0.5803, 0.7673");
          values("1.054, 1.164, 1.478, 1.965, 2.629, 3.491, 4.619, 6.062, 7.875, 10.08",\
                 "1.054, 1.164, 1.477, 1.965, 2.627, 3.496, 4.624, 6.069, 7.866, 10.09",\
                 "1.055, 1.164, 1.477, 1.965, 2.624, 3.496, 4.618, 6.069, 7.876, 10.08",\
                 "1.054, 1.164, 1.477, 1.965, 2.625, 3.494, 4.62, 6.066, 7.876, 10.08",\
                 "1.054, 1.164, 1.476, 1.965, 2.628, 3.498, 4.624, 6.068, 7.872, 10.08",\
                 "1.052, 1.16, 1.476, 1.964, 2.626, 3.494, 4.626, 6.058, 7.874, 10.08",\
                 "1.046, 1.156, 1.472, 1.964, 2.632, 3.498, 4.634, 6.064, 7.88, 10.09",\
                 "1.046, 1.156, 1.472, 1.96, 2.626, 3.488, 4.618, 6.064, 7.88, 10.09",\
                 "1.046, 1.156, 1.472, 1.962, 2.624, 3.49, 4.614, 6.056, 7.864, 10.08",\
                 "1.046, 1.156, 1.472, 1.96, 2.62, 3.492, 4.616, 6.056, 7.874, 10.07");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.006289, 0.02485, 0.06031, 0.1155, 0.193, 0.295, 0.4235, 0.5803, 0.7673");
          values("0.6446, 0.7892, 1.315, 2.394, 4.14, 6.617, 9.866, 13.97, 19, 24.93",\
                 "0.6456, 0.7898, 1.316, 2.392, 4.143, 6.613, 9.874, 13.97, 19, 24.94",\
                 "0.6446, 0.7896, 1.314, 2.392, 4.141, 6.612, 9.864, 13.96, 19, 24.97",\
                 "0.6454, 0.7896, 1.314, 2.395, 4.144, 6.616, 9.87, 13.98, 18.97, 24.93",\
                 "0.65, 0.79, 1.314, 2.39, 4.14, 6.61, 9.874, 13.97, 18.97, 24.94",\
                 "0.646, 0.79, 1.314, 2.394, 4.14, 6.608, 9.872, 13.97, 18.97, 24.97",\
                 "0.648, 0.794, 1.318, 2.394, 4.14, 6.61, 9.872, 13.97, 19, 24.99",\
                 "0.65, 0.796, 1.316, 2.394, 4.144, 6.606, 9.86, 13.97, 19, 24.99",\
                 "0.662, 0.804, 1.324, 2.396, 4.146, 6.61, 9.874, 13.98, 19, 24.98",\
                 "0.674, 0.818, 1.334, 2.398, 4.144, 6.608, 9.858, 13.97, 18.98, 24.95");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.006289, 0.02485, 0.06031, 0.1155, 0.193, 0.295, 0.4235, 0.5803, 0.7673");
          values("4.235, 4.404, 4.833, 5.404, 6.07, 6.836, 7.717, 8.737, 9.922, 11.3",\
                 "4.314, 4.483, 4.911, 5.483, 6.149, 6.915, 7.797, 8.816, 10, 11.38",\
                 "4.543, 4.712, 5.141, 5.712, 6.379, 7.144, 8.027, 9.046, 10.23, 11.61",\
                 "5.002, 5.172, 5.602, 6.171, 6.839, 7.604, 8.484, 9.505, 10.69, 12.07",\
                 "5.752, 5.92, 6.35, 6.921, 7.588, 8.353, 9.234, 10.25, 11.44, 12.82",\
                 "6.826, 6.995, 7.425, 7.995, 8.662, 9.427, 10.31, 11.33, 12.51, 13.89",\
                 "8.244, 8.414, 8.847, 9.417, 10.08, 10.85, 11.73, 12.75, 13.94, 15.32",\
                 "9.911, 10.1, 10.55, 11.14, 11.82, 12.59, 13.47, 14.5, 15.69, 17.06",\
                 "11.7, 11.9, 12.4, 13.03, 13.74, 14.53, 15.43, 16.45, 17.65, 19.03",\
                 "13.59, 13.81, 14.36, 15.03, 15.78, 16.6, 17.51, 18.56, 19.76, 21.14");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.006289, 0.02485, 0.06031, 0.1155, 0.193, 0.295, 0.4235, 0.5803, 0.7673");
          values("2.143, 2.3, 2.754, 3.491, 4.565, 6.045, 7.983, 10.42, 13.39, 16.94",\
                 "2.204, 2.362, 2.816, 3.553, 4.627, 6.107, 8.045, 10.48, 13.45, 16.99",\
                 "2.43, 2.588, 3.042, 3.779, 4.852, 6.332, 8.271, 10.71, 13.68, 17.22",\
                 "2.858, 3.015, 3.469, 4.205, 5.278, 6.758, 8.697, 11.14, 14.11, 17.65",\
                 "3.513, 3.671, 4.124, 4.859, 5.932, 7.412, 9.351, 11.79, 14.76, 18.3",\
                 "4.295, 4.46, 4.927, 5.668, 6.741, 8.221, 10.16, 12.6, 15.57, 19.11",\
                 "5.1, 5.276, 5.761, 6.515, 7.596, 9.076, 11.01, 13.45, 16.43, 19.96",\
                 "5.907, 6.097, 6.605, 7.375, 8.459, 9.942, 11.88, 14.32, 17.29, 20.84",\
                 "6.704, 6.909, 7.448, 8.237, 9.326, 10.81, 12.75, 15.19, 18.16, 21.7",\
                 "7.475, 7.699, 8.275, 9.087, 10.18, 11.67, 13.6, 16.04, 19.02, 22.56");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.006289, 0.02485, 0.06031, 0.1155, 0.193, 0.295, 0.4235, 0.5803, 0.7673");
          values("1.035, 1.142, 1.457, 1.944, 2.605, 3.473, 4.6, 6.046, 7.856, 10.07",\
                 "1.032, 1.142, 1.458, 1.945, 2.608, 3.475, 4.608, 6.036, 7.857, 10.06",\
                 "1.033, 1.142, 1.457, 1.944, 2.606, 3.473, 4.608, 6.041, 7.857, 10.06",\
                 "1.033, 1.143, 1.456, 1.942, 2.605, 3.474, 4.608, 6.041, 7.856, 10.06",\
                 "1.033, 1.142, 1.456, 1.944, 2.602, 3.474, 4.608, 6.038, 7.85, 10.07",\
                 "1.032, 1.14, 1.456, 1.946, 2.604, 3.474, 4.598, 6.048, 7.854, 10.06",\
                 "1.056, 1.164, 1.468, 1.952, 2.612, 3.476, 4.61, 6.048, 7.852, 10.07",\
                 "1.176, 1.276, 1.558, 2.02, 2.656, 3.514, 4.626, 6.058, 7.858, 10.08",\
                 "1.34, 1.448, 1.728, 2.164, 2.782, 3.61, 4.706, 6.108, 7.9, 10.09",\
                 "1.512, 1.626, 1.916, 2.346, 2.936, 3.74, 4.82, 6.198, 7.968, 10.13");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.006289, 0.02485, 0.06031, 0.1155, 0.193, 0.295, 0.4235, 0.5803, 0.7673");
          values("0.7404, 0.9014, 1.443, 2.49, 4.203, 6.664, 9.928, 14.05, 19.06, 25.01",\
                 "0.7404, 0.9002, 1.442, 2.49, 4.2, 6.665, 9.923, 14.02, 19.03, 25.05",\
                 "0.7402, 0.901, 1.439, 2.491, 4.202, 6.66, 9.929, 14.03, 19.05, 25.05",\
                 "0.739, 0.9002, 1.443, 2.488, 4.201, 6.66, 9.909, 14.05, 19.04, 25",\
                 "0.7498, 0.9076, 1.45, 2.49, 4.203, 6.664, 9.929, 14.05, 19.05, 25",\
                 "0.8062, 0.961, 1.481, 2.506, 4.203, 6.662, 9.912, 14.01, 19.07, 25.03",\
                 "0.888, 1.034, 1.542, 2.552, 4.226, 6.67, 9.924, 14.02, 19.02, 25",\
                 "0.986, 1.128, 1.618, 2.594, 4.258, 6.688, 9.932, 14.01, 19.02, 25.04",\
                 "1.104, 1.244, 1.708, 2.652, 4.282, 6.702, 9.94, 14.03, 19.04, 25",\
                 "1.234, 1.374, 1.818, 2.724, 4.32, 6.72, 9.948, 14.04, 19.04, 25.01");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.006289, 0.02485, 0.06031, 0.1155, 0.193, 0.295, 0.4235, 0.5803, 0.7673");
          values("4.236, 4.404, 4.833, 5.404, 6.07, 6.836, 7.718, 8.737, 9.923, 11.3",\
                 "4.314, 4.483, 4.911, 5.483, 6.149, 6.915, 7.797, 8.816, 10, 11.38",\
                 "4.543, 4.712, 5.141, 5.712, 6.379, 7.144, 8.027, 9.046, 10.23, 11.61",\
                 "5.002, 5.172, 5.602, 6.173, 6.839, 7.604, 8.485, 9.505, 10.69, 12.07",\
                 "5.751, 5.92, 6.35, 6.921, 7.586, 8.353, 9.233, 10.25, 11.44, 12.82",\
                 "6.827, 6.995, 7.425, 7.995, 8.662, 9.429, 10.31, 11.33, 12.51, 13.89",\
                 "8.243, 8.415, 8.846, 9.417, 10.08, 10.85, 11.73, 12.75, 13.94, 15.32",\
                 "9.912, 10.1, 10.55, 11.14, 11.82, 12.59, 13.48, 14.5, 15.69, 17.06",\
                 "11.7, 11.9, 12.4, 13.03, 13.73, 14.53, 15.43, 16.45, 17.65, 19.03",\
                 "13.59, 13.81, 14.36, 15.03, 15.78, 16.6, 17.51, 18.56, 19.76, 21.14");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.006289, 0.02485, 0.06031, 0.1155, 0.193, 0.295, 0.4235, 0.5803, 0.7673");
          values("2.143, 2.3, 2.754, 3.491, 4.565, 6.045, 7.983, 10.42, 13.39, 16.94",\
                 "2.204, 2.362, 2.816, 3.553, 4.627, 6.107, 8.045, 10.48, 13.45, 16.99",\
                 "2.43, 2.588, 3.042, 3.779, 4.852, 6.332, 8.271, 10.71, 13.68, 17.22",\
                 "2.858, 3.015, 3.469, 4.205, 5.278, 6.758, 8.695, 11.13, 14.11, 17.65",\
                 "3.513, 3.671, 4.124, 4.86, 5.932, 7.412, 9.351, 11.79, 14.76, 18.31",\
                 "4.295, 4.461, 4.928, 5.669, 6.742, 8.221, 10.16, 12.6, 15.57, 19.11",\
                 "5.1, 5.276, 5.761, 6.515, 7.596, 9.077, 11.01, 13.45, 16.42, 19.96",\
                 "5.907, 6.096, 6.605, 7.375, 8.458, 9.941, 11.88, 14.32, 17.29, 20.84",\
                 "6.703, 6.91, 7.448, 8.236, 9.326, 10.81, 12.75, 15.19, 18.16, 21.7",\
                 "7.475, 7.699, 8.275, 9.087, 10.18, 11.67, 13.6, 16.04, 19.02, 22.56");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.006289, 0.02485, 0.06031, 0.1155, 0.193, 0.295, 0.4235, 0.5803, 0.7673");
          values("1.033, 1.142, 1.457, 1.944, 2.608, 3.474, 4.607, 6.037, 7.857, 10.06",\
                 "1.032, 1.142, 1.458, 1.945, 2.608, 3.475, 4.608, 6.036, 7.857, 10.06",\
                 "1.033, 1.142, 1.457, 1.944, 2.606, 3.473, 4.608, 6.041, 7.857, 10.06",\
                 "1.033, 1.142, 1.456, 1.943, 2.604, 3.474, 4.607, 6.042, 7.857, 10.07",\
                 "1.033, 1.142, 1.456, 1.943, 2.606, 3.472, 4.608, 6.046, 7.856, 10.07",\
                 "1.032, 1.142, 1.456, 1.944, 2.606, 3.474, 4.606, 6.048, 7.856, 10.06",\
                 "1.056, 1.162, 1.472, 1.954, 2.61, 3.476, 4.61, 6.046, 7.85, 10.08",\
                 "1.178, 1.274, 1.56, 2.016, 2.658, 3.51, 4.626, 6.06, 7.858, 10.07",\
                 "1.34, 1.444, 1.728, 2.166, 2.782, 3.61, 4.702, 6.108, 7.894, 10.09",\
                 "1.512, 1.622, 1.916, 2.344, 2.934, 3.74, 4.814, 6.198, 7.968, 10.14");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.006289, 0.02485, 0.06031, 0.1155, 0.193, 0.295, 0.4235, 0.5803, 0.7673");
          values("0.7404, 0.9014, 1.443, 2.49, 4.203, 6.664, 9.928, 14.05, 19.06, 25.01",\
                 "0.7404, 0.9002, 1.443, 2.488, 4.2, 6.665, 9.923, 14.02, 19.04, 25.05",\
                 "0.7402, 0.9024, 1.441, 2.49, 4.201, 6.662, 9.929, 14.03, 19.05, 25.05",\
                 "0.7394, 0.9002, 1.443, 2.489, 4.197, 6.665, 9.931, 14.05, 19.04, 25",\
                 "0.7484, 0.9078, 1.449, 2.493, 4.203, 6.665, 9.929, 14.05, 19.06, 25",\
                 "0.8056, 0.9598, 1.482, 2.507, 4.201, 6.664, 9.91, 14.01, 19.07, 25.01",\
                 "0.888, 1.034, 1.542, 2.552, 4.226, 6.672, 9.924, 14.04, 19.03, 24.98",\
                 "0.986, 1.13, 1.618, 2.598, 4.254, 6.69, 9.932, 14.01, 19.03, 25.03",\
                 "1.102, 1.244, 1.71, 2.652, 4.282, 6.704, 9.94, 14.02, 19.04, 25.03",\
                 "1.234, 1.374, 1.818, 2.724, 4.32, 6.72, 9.948, 14.04, 19.04, 25.02");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.006289, 0.02485, 0.06031, 0.1155, 0.193, 0.295, 0.4235, 0.5803, 0.7673");
          values("4.235, 4.404, 4.833, 5.404, 6.07, 6.836, 7.717, 8.737, 9.922, 11.3",\
                 "4.314, 4.483, 4.911, 5.483, 6.149, 6.915, 7.797, 8.816, 10, 11.38",\
                 "4.543, 4.712, 5.141, 5.712, 6.379, 7.144, 8.027, 9.046, 10.23, 11.61",\
                 "5.002, 5.172, 5.602, 6.171, 6.839, 7.604, 8.484, 9.505, 10.69, 12.07",\
                 "5.752, 5.92, 6.35, 6.921, 7.588, 8.353, 9.234, 10.25, 11.44, 12.82",\
                 "6.826, 6.995, 7.425, 7.995, 8.662, 9.427, 10.31, 11.33, 12.51, 13.89",\
                 "8.244, 8.414, 8.847, 9.417, 10.08, 10.85, 11.73, 12.75, 13.94, 15.32",\
                 "9.911, 10.1, 10.55, 11.14, 11.82, 12.59, 13.47, 14.5, 15.69, 17.06",\
                 "11.7, 11.9, 12.4, 13.03, 13.74, 14.53, 15.43, 16.45, 17.65, 19.03",\
                 "13.59, 13.81, 14.36, 15.03, 15.78, 16.6, 17.51, 18.56, 19.76, 21.14");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.006289, 0.02485, 0.06031, 0.1155, 0.193, 0.295, 0.4235, 0.5803, 0.7673");
          values("2.143, 2.3, 2.754, 3.491, 4.565, 6.045, 7.983, 10.42, 13.39, 16.94",\
                 "2.204, 2.362, 2.816, 3.553, 4.627, 6.107, 8.045, 10.48, 13.45, 16.99",\
                 "2.43, 2.588, 3.042, 3.779, 4.852, 6.332, 8.271, 10.71, 13.68, 17.22",\
                 "2.858, 3.015, 3.469, 4.205, 5.278, 6.758, 8.697, 11.14, 14.11, 17.65",\
                 "3.513, 3.671, 4.124, 4.859, 5.932, 7.412, 9.351, 11.79, 14.76, 18.3",\
                 "4.295, 4.46, 4.927, 5.668, 6.741, 8.221, 10.16, 12.6, 15.57, 19.11",\
                 "5.1, 5.276, 5.761, 6.515, 7.596, 9.076, 11.01, 13.45, 16.43, 19.96",\
                 "5.907, 6.097, 6.605, 7.375, 8.459, 9.942, 11.88, 14.32, 17.29, 20.84",\
                 "6.704, 6.909, 7.448, 8.237, 9.326, 10.81, 12.75, 15.19, 18.16, 21.7",\
                 "7.475, 7.699, 8.275, 9.087, 10.18, 11.67, 13.6, 16.04, 19.02, 22.56");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.006289, 0.02485, 0.06031, 0.1155, 0.193, 0.295, 0.4235, 0.5803, 0.7673");
          values("1.033, 1.142, 1.457, 1.944, 2.608, 3.474, 4.607, 6.037, 7.857, 10.06",\
                 "1.032, 1.142, 1.458, 1.945, 2.608, 3.475, 4.608, 6.036, 7.857, 10.06",\
                 "1.033, 1.142, 1.457, 1.944, 2.606, 3.473, 4.608, 6.041, 7.857, 10.06",\
                 "1.033, 1.142, 1.456, 1.943, 2.604, 3.474, 4.607, 6.042, 7.857, 10.07",\
                 "1.033, 1.142, 1.456, 1.943, 2.606, 3.472, 4.608, 6.046, 7.856, 10.07",\
                 "1.032, 1.142, 1.456, 1.944, 2.606, 3.474, 4.606, 6.048, 7.856, 10.06",\
                 "1.056, 1.162, 1.472, 1.954, 2.61, 3.476, 4.61, 6.046, 7.85, 10.08",\
                 "1.178, 1.274, 1.56, 2.016, 2.658, 3.51, 4.626, 6.06, 7.858, 10.07",\
                 "1.34, 1.444, 1.728, 2.166, 2.782, 3.61, 4.702, 6.108, 7.894, 10.09",\
                 "1.512, 1.622, 1.916, 2.344, 2.934, 3.74, 4.814, 6.198, 7.968, 10.14");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.006289, 0.02485, 0.06031, 0.1155, 0.193, 0.295, 0.4235, 0.5803, 0.7673");
          values("0.7404, 0.9014, 1.443, 2.49, 4.203, 6.664, 9.928, 14.05, 19.06, 25.01",\
                 "0.7404, 0.9002, 1.442, 2.49, 4.2, 6.665, 9.923, 14.02, 19.03, 25.05",\
                 "0.7402, 0.901, 1.439, 2.491, 4.202, 6.66, 9.929, 14.03, 19.05, 25.05",\
                 "0.739, 0.9002, 1.443, 2.488, 4.201, 6.66, 9.909, 14.05, 19.04, 25",\
                 "0.7498, 0.9076, 1.45, 2.49, 4.203, 6.664, 9.929, 14.05, 19.05, 25",\
                 "0.8062, 0.961, 1.481, 2.506, 4.203, 6.662, 9.912, 14.01, 19.07, 25.03",\
                 "0.888, 1.034, 1.542, 2.552, 4.226, 6.67, 9.924, 14.02, 19.02, 25",\
                 "0.986, 1.128, 1.618, 2.594, 4.258, 6.688, 9.932, 14.01, 19.02, 25.04",\
                 "1.104, 1.244, 1.708, 2.652, 4.282, 6.702, 9.94, 14.03, 19.04, 25",\
                 "1.234, 1.374, 1.818, 2.724, 4.32, 6.72, 9.948, 14.04, 19.04, 25.01");
        }
      }
    }
  }