/*
 * 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_1) {
    area : 52.684800 ;

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

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

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

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

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

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

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

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

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

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

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

    pin(A1) {
      capacitance : 0.004804 ;
      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.005015 ;
      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.006226 ;
      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.07672 ;
      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.001523, 0.003357, 0.006861, 0.01232, 0.01998, 0.03005, 0.04275, 0.05825, 0.07672");
          values("0.03244, 0.03245, 0.03247, 0.03251, 0.03255, 0.03259, 0.03263, 0.03265, 0.03266, 0.03265",\
                 "0.03247, 0.03248, 0.0325, 0.03253, 0.03258, 0.03261, 0.03265, 0.03268, 0.03269, 0.03267",\
                 "0.03246, 0.03247, 0.03249, 0.03252, 0.03257, 0.03261, 0.03264, 0.03267, 0.03268, 0.03264",\
                 "0.03235, 0.03235, 0.03237, 0.03241, 0.03245, 0.03249, 0.03252, 0.03254, 0.03255, 0.03249",\
                 "0.03222, 0.03223, 0.03225, 0.03228, 0.03232, 0.03236, 0.03239, 0.03241, 0.0324, 0.03229",\
                 "0.03211, 0.03211, 0.03213, 0.03217, 0.0322, 0.03224, 0.03227, 0.03228, 0.03222, 0.032",\
                 "0.03199, 0.032, 0.03202, 0.03206, 0.03209, 0.03212, 0.03213, 0.0321, 0.03192, 0.03145",\
                 "0.0318, 0.03181, 0.03183, 0.03186, 0.03189, 0.0319, 0.03185, 0.03162, 0.03106, 0.0303",\
                 "0.03118, 0.03118, 0.03119, 0.0312, 0.03117, 0.03099, 0.03047, 0.02964, 0.0289, 0.0283",\
                 "0.02763, 0.02757, 0.02728, 0.02655, 0.02573, 0.02502, 0.02435, 0.02377, 0.02332, 0.02298");
        }

        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.001523, 0.003357, 0.006861, 0.01232, 0.01998, 0.03005, 0.04275, 0.05825, 0.07672");
          values("0.00342, 0.00344, 0.003497, 0.003603, 0.003714, 0.0039, 0.005023, 0.01151, 0.02761, 0.04683",\
                 "0.003342, 0.00336, 0.003414, 0.003523, 0.003637, 0.003825, 0.004988, 0.01163, 0.02786, 0.04693",\
                 "0.003211, 0.003228, 0.003291, 0.003394, 0.003514, 0.003713, 0.005081, 0.0125, 0.02909, 0.04738",\
                 "0.003125, 0.00314, 0.003203, 0.003305, 0.003429, 0.003677, 0.005576, 0.01446, 0.03133, 0.04807",\
                 "0.003041, 0.003061, 0.003124, 0.003223, 0.003355, 0.003759, 0.006878, 0.01796, 0.03416, 0.04816",\
                 "0.002927, 0.002949, 0.003009, 0.003095, 0.00325, 0.0042, 0.00992, 0.02274, 0.03596, 0.04618",\
                 "0.002814, 0.00284, 0.002891, 0.002995, 0.00336, 0.006359, 0.0153, 0.02571, 0.03384, 0.0399",\
                 "0.00271, 0.002721, 0.002748, 0.002984, 0.005135, 0.0107, 0.01639, 0.02076, 0.02398, 0.02636",\
                 "-0.001859, -0.001971, -0.001974, -0.001503, -0.0007912, -0.0001376, 0.0003575, 0.0007204, 0.0009798, 0.001166",\
                 "-0.02446, -0.02446, -0.02446, -0.02446, -0.02446, -0.02446, -0.02446, -0.02446, -0.02447, -0.02447");
        }
      }

      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.001523, 0.003357, 0.006861, 0.01232, 0.01998, 0.03005, 0.04275, 0.05825, 0.07672");
          values("0.03726, 0.03727, 0.03731, 0.03736, 0.03739, 0.0374, 0.0374, 0.03739, 0.03737, 0.03734",\
                 "0.03719, 0.0372, 0.03724, 0.03728, 0.03732, 0.03733, 0.03733, 0.03731, 0.03729, 0.03726",\
                 "0.03705, 0.03706, 0.0371, 0.03714, 0.03718, 0.0372, 0.03719, 0.03718, 0.03715, 0.03712",\
                 "0.03697, 0.03697, 0.03701, 0.03706, 0.03709, 0.03711, 0.0371, 0.03709, 0.03707, 0.03702",\
                 "0.03688, 0.03689, 0.03694, 0.03698, 0.03701, 0.03703, 0.03702, 0.03701, 0.03698, 0.03691",\
                 "0.03676, 0.03677, 0.03681, 0.03686, 0.03689, 0.03691, 0.0369, 0.03688, 0.03683, 0.03666",\
                 "0.03666, 0.03667, 0.03671, 0.03675, 0.03679, 0.0368, 0.03679, 0.03673, 0.0365, 0.03605",\
                 "0.03655, 0.03656, 0.0366, 0.03665, 0.03668, 0.03663, 0.03636, 0.03579, 0.03515, 0.03462",\
                 "0.03029, 0.03024, 0.03013, 0.03002, 0.02993, 0.02986, 0.02981, 0.02975, 0.02971, 0.02967",\
                 "0.006283, 0.006283, 0.006282, 0.006281, 0.00628, 0.006281, 0.00628, 0.00628, 0.006279, 0.006277");
        }

        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.001523, 0.003357, 0.006861, 0.01232, 0.01998, 0.03005, 0.04275, 0.05825, 0.07672");
          values("0.04276, 0.04277, 0.04277, 0.04278, 0.0428, 0.04282, 0.04281, 0.04297, 0.04469, 0.05271",\
                 "0.04279, 0.0428, 0.0428, 0.04281, 0.04283, 0.04285, 0.04284, 0.04301, 0.04482, 0.05322",\
                 "0.04278, 0.04279, 0.04279, 0.0428, 0.04281, 0.04284, 0.04283, 0.04308, 0.0453, 0.05502",\
                 "0.04266, 0.04267, 0.04266, 0.04268, 0.04268, 0.04272, 0.04272, 0.04317, 0.04639, 0.05861",\
                 "0.04253, 0.04252, 0.04253, 0.04254, 0.04255, 0.04258, 0.04262, 0.04346, 0.04876, 0.06462",\
                 "0.04239, 0.04239, 0.04239, 0.04242, 0.04243, 0.04246, 0.04263, 0.04468, 0.05391, 0.07365",\
                 "0.04229, 0.04229, 0.0423, 0.04231, 0.04232, 0.0424, 0.04323, 0.04872, 0.06364, 0.08346",\
                 "0.04213, 0.04212, 0.04213, 0.04214, 0.04222, 0.04275, 0.047, 0.05897, 0.07384, 0.08616",\
                 "0.04166, 0.04167, 0.04168, 0.04174, 0.04291, 0.04813, 0.05595, 0.06258, 0.06746, 0.07123",\
                 "0.02772, 0.02772, 0.02773, 0.02781, 0.02796, 0.02815, 0.02831, 0.02844, 0.02856, 0.02862");
        }
      }

      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.001523, 0.003357, 0.006861, 0.01232, 0.01998, 0.03005, 0.04275, 0.05825, 0.07672");
          values("0.02975, 0.02975, 0.02978, 0.02981, 0.02986, 0.0299, 0.02993, 0.02995, 0.02997, 0.02996",\
                 "0.02978, 0.02978, 0.0298, 0.02984, 0.02989, 0.02993, 0.02996, 0.02999, 0.03, 0.02999",\
                 "0.02966, 0.02967, 0.02969, 0.02973, 0.02977, 0.02982, 0.02984, 0.02987, 0.02988, 0.02987",\
                 "0.0295, 0.02951, 0.02953, 0.02957, 0.02961, 0.02965, 0.02968, 0.02971, 0.02971, 0.02969",\
                 "0.02937, 0.02938, 0.02941, 0.02944, 0.02948, 0.02952, 0.02955, 0.02957, 0.02957, 0.02949",\
                 "0.02928, 0.02929, 0.0293, 0.02934, 0.02937, 0.02941, 0.02944, 0.02944, 0.02939, 0.02918",\
                 "0.02916, 0.02917, 0.02919, 0.02921, 0.02924, 0.02926, 0.02926, 0.02917, 0.02886, 0.02825",\
                 "0.02858, 0.02859, 0.02859, 0.02859, 0.02856, 0.02843, 0.028, 0.02722, 0.02645, 0.02584",\
                 "0.02023, 0.02009, 0.01966, 0.01907, 0.01845, 0.01792, 0.01753, 0.01724, 0.01704, 0.0169",\
                 "0.005912, 0.005917, 0.005929, 0.005954, 0.005986, 0.006022, 0.006056, 0.006088, 0.006116, 0.006139");
        }

        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.001523, 0.003357, 0.006861, 0.01232, 0.01998, 0.03005, 0.04275, 0.05825, 0.07672");
          values("0.01153, 0.01155, 0.01163, 0.01175, 0.01189, 0.01204, 0.01244, 0.01542, 0.02724, 0.04831",\
                 "0.01153, 0.01155, 0.01163, 0.01175, 0.0119, 0.01205, 0.01247, 0.01555, 0.02756, 0.04866",\
                 "0.01152, 0.01154, 0.01163, 0.01175, 0.01189, 0.01203, 0.01252, 0.01601, 0.02877, 0.04986",\
                 "0.01147, 0.01149, 0.01156, 0.01167, 0.01181, 0.01197, 0.0126, 0.01699, 0.0311, 0.05191",\
                 "0.01136, 0.01138, 0.01144, 0.01154, 0.01166, 0.01183, 0.01285, 0.01896, 0.0348, 0.05443",\
                 "0.01128, 0.0113, 0.01134, 0.01143, 0.01154, 0.01179, 0.01365, 0.02246, 0.03935, 0.05621",\
                 "0.01123, 0.01124, 0.01129, 0.01138, 0.01148, 0.01199, 0.01583, 0.02772, 0.04322, 0.05601",\
                 "0.01123, 0.01124, 0.01127, 0.01133, 0.01154, 0.01313, 0.02053, 0.03297, 0.04396, 0.05223",\
                 "0.01135, 0.01136, 0.01139, 0.01147, 0.01233, 0.01715, 0.02566, 0.03315, 0.03877, 0.04292",\
                 "0.01155, 0.01151, 0.01144, 0.01206, 0.01479, 0.01816, 0.02095, 0.02306, 0.02462, 0.02575");
        }
      }

      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.001523, 0.003357, 0.006861, 0.01232, 0.01998, 0.03005, 0.04275, 0.05825, 0.07672");
          values("0.02079, 0.0208, 0.02084, 0.02089, 0.02093, 0.02095, 0.02095, 0.02094, 0.02092, 0.0209",\
                 "0.02079, 0.02081, 0.02084, 0.02089, 0.02094, 0.02096, 0.02095, 0.02094, 0.02092, 0.02091",\
                 "0.02079, 0.0208, 0.02084, 0.02089, 0.02093, 0.02095, 0.02094, 0.02093, 0.02092, 0.02089",\
                 "0.02073, 0.02075, 0.02079, 0.02084, 0.02087, 0.02089, 0.02089, 0.02088, 0.02087, 0.02084",\
                 "0.02065, 0.02066, 0.0207, 0.02075, 0.02079, 0.02081, 0.02082, 0.02081, 0.02079, 0.02076",\
                 "0.02058, 0.02059, 0.02063, 0.02068, 0.02073, 0.02075, 0.02076, 0.02076, 0.02074, 0.0207",\
                 "0.02054, 0.02055, 0.02059, 0.02064, 0.02069, 0.02072, 0.02074, 0.02073, 0.02071, 0.02062",\
                 "0.02056, 0.02056, 0.0206, 0.02066, 0.02071, 0.02075, 0.02076, 0.02075, 0.02066, 0.02039",\
                 "0.02068, 0.02069, 0.02073, 0.02078, 0.02084, 0.02088, 0.02086, 0.02067, 0.0202, 0.01961",\
                 "0.02102, 0.02103, 0.02105, 0.02105, 0.02087, 0.02031, 0.01962, 0.01906, 0.01865, 0.01834");
        }

        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.001523, 0.003357, 0.006861, 0.01232, 0.01998, 0.03005, 0.04275, 0.05825, 0.07672");
          values("0.03586, 0.03587, 0.03588, 0.03589, 0.03589, 0.03592, 0.03591, 0.03601, 0.03709, 0.04283",\
                 "0.03588, 0.03587, 0.03588, 0.03591, 0.03592, 0.03595, 0.03593, 0.03606, 0.03719, 0.04323",\
                 "0.03576, 0.03577, 0.03579, 0.03579, 0.0358, 0.03582, 0.03582, 0.03593, 0.03736, 0.04442",\
                 "0.0356, 0.0356, 0.0356, 0.03561, 0.03564, 0.03566, 0.03564, 0.03591, 0.03804, 0.04742",\
                 "0.03548, 0.03548, 0.03549, 0.03549, 0.03551, 0.03554, 0.03556, 0.03613, 0.04024, 0.0541",\
                 "0.03538, 0.03538, 0.03537, 0.03538, 0.0354, 0.03542, 0.03561, 0.03763, 0.04693, 0.06668",\
                 "0.03528, 0.03528, 0.03528, 0.0353, 0.03531, 0.0355, 0.03729, 0.0458, 0.06226, 0.07931",\
                 "0.03484, 0.03485, 0.03485, 0.0349, 0.03569, 0.04027, 0.04885, 0.05669, 0.06249, 0.06691",\
                 "0.01018, 0.01018, 0.01019, 0.01019, 0.01019, 0.01019, 0.01019, 0.01019, 0.01019, 0.01019",\
                 "-0.00236, -0.002359, -0.00236, -0.00236, -0.002361, -0.002361, -0.00236, -0.00236, -0.002361, -0.002361");
        }
      }

      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.001523, 0.003357, 0.006861, 0.01232, 0.01998, 0.03005, 0.04275, 0.05825, 0.07672");
          values("0.03087, 0.03088, 0.0309, 0.03094, 0.03098, 0.03102, 0.03105, 0.03108, 0.03109, 0.03107",\
                 "0.0309, 0.0309, 0.03093, 0.03096, 0.03101, 0.03105, 0.03108, 0.03111, 0.03111, 0.0311",\
                 "0.03088, 0.03088, 0.03091, 0.03094, 0.03098, 0.03103, 0.03106, 0.03108, 0.03109, 0.03106",\
                 "0.03078, 0.03079, 0.03081, 0.03085, 0.03088, 0.03093, 0.03096, 0.03099, 0.03098, 0.03094",\
                 "0.03068, 0.03069, 0.03071, 0.03075, 0.03079, 0.03083, 0.03086, 0.03088, 0.03087, 0.03078",\
                 "0.0306, 0.03061, 0.03063, 0.03067, 0.0307, 0.03074, 0.03077, 0.03078, 0.03073, 0.03054",\
                 "0.03054, 0.03054, 0.03056, 0.0306, 0.03064, 0.03067, 0.03069, 0.03066, 0.03051, 0.03011",\
                 "0.03043, 0.03044, 0.03046, 0.0305, 0.03053, 0.03054, 0.03051, 0.03032, 0.02984, 0.0291",\
                 "0.03007, 0.03008, 0.03009, 0.0301, 0.03009, 0.02998, 0.02957, 0.0288, 0.02801, 0.02738",\
                 "0.02741, 0.02739, 0.02727, 0.02681, 0.02595, 0.02516, 0.02449, 0.02384, 0.0233, 0.02287");
        }

        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.001523, 0.003357, 0.006861, 0.01232, 0.01998, 0.03005, 0.04275, 0.05825, 0.07672");
          values("0.01308, 0.0131, 0.01316, 0.01326, 0.01337, 0.01356, 0.01459, 0.02078, 0.03669, 0.0562",\
                 "0.01295, 0.01297, 0.01302, 0.01313, 0.01324, 0.01342, 0.0145, 0.02087, 0.03687, 0.0562",\
                 "0.01278, 0.0128, 0.01286, 0.01296, 0.01307, 0.01327, 0.01452, 0.02155, 0.03792, 0.05666",\
                 "0.01268, 0.0127, 0.01276, 0.01287, 0.01298, 0.01322, 0.01496, 0.02346, 0.0403, 0.05748",\
                 "0.01264, 0.01265, 0.01272, 0.0128, 0.01293, 0.01333, 0.01629, 0.02718, 0.0435, 0.05779",\
                 "0.01259, 0.01262, 0.01268, 0.01278, 0.01294, 0.01387, 0.0196, 0.03242, 0.04563, 0.05584",\
                 "0.01258, 0.01259, 0.01265, 0.01275, 0.01319, 0.01646, 0.02548, 0.03546, 0.04317, 0.04891",\
                 "0.01254, 0.01254, 0.01257, 0.01288, 0.01542, 0.02058, 0.02531, 0.02891, 0.03157, 0.03352",\
                 "0.003567, 0.003586, 0.003675, 0.003879, 0.004097, 0.004278, 0.004405, 0.0045, 0.00456, 0.004603",\
                 "-0.01524, -0.01524, -0.01523, -0.01524, -0.01524, -0.01523, -0.01524, -0.01523, -0.01524, -0.01524");
        }
      }

      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.001523, 0.003357, 0.006861, 0.01232, 0.01998, 0.03005, 0.04275, 0.05825, 0.07672");
          values("0.03652, 0.03653, 0.03657, 0.03661, 0.03664, 0.03666, 0.03665, 0.03664, 0.03662, 0.03659",\
                 "0.03638, 0.03639, 0.03643, 0.03648, 0.03651, 0.03652, 0.03652, 0.0365, 0.03649, 0.03646",\
                 "0.03621, 0.03622, 0.03626, 0.0363, 0.03634, 0.03635, 0.03635, 0.03634, 0.03632, 0.03628",\
                 "0.03611, 0.03613, 0.03617, 0.03621, 0.03624, 0.03626, 0.03625, 0.03624, 0.03622, 0.03618",\
                 "0.03606, 0.03608, 0.03611, 0.03616, 0.0362, 0.03621, 0.0362, 0.03619, 0.03616, 0.0361",\
                 "0.03603, 0.03604, 0.03607, 0.03611, 0.03615, 0.03617, 0.03616, 0.03615, 0.03609, 0.03593",\
                 "0.03601, 0.03603, 0.03606, 0.03611, 0.03614, 0.03615, 0.03614, 0.03606, 0.03581, 0.03533",\
                 "0.03599, 0.03601, 0.03605, 0.03609, 0.0361, 0.03598, 0.03556, 0.0349, 0.03429, 0.03382",\
                 "0.02404, 0.02405, 0.0241, 0.02417, 0.02422, 0.02425, 0.02426, 0.02426, 0.02425, 0.02424",\
                 "0.005099, 0.005096, 0.005096, 0.005096, 0.005099, 0.005095, 0.005095, 0.005095, 0.005095, 0.005095");
        }

        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.001523, 0.003357, 0.006861, 0.01232, 0.01998, 0.03005, 0.04275, 0.05825, 0.07672");
          values("0.04215, 0.04215, 0.04216, 0.04217, 0.04217, 0.04221, 0.04219, 0.04232, 0.04387, 0.05135",\
                 "0.0422, 0.0422, 0.04221, 0.04221, 0.04221, 0.04225, 0.04223, 0.04241, 0.044, 0.05185",\
                 "0.04216, 0.04217, 0.04217, 0.04218, 0.0422, 0.04221, 0.04221, 0.04242, 0.04446, 0.05346",\
                 "0.04208, 0.04207, 0.04207, 0.04207, 0.04207, 0.04211, 0.04211, 0.0425, 0.04539, 0.05679",\
                 "0.04197, 0.04197, 0.04198, 0.04198, 0.04199, 0.04202, 0.04204, 0.04279, 0.04751, 0.06252",\
                 "0.04186, 0.04186, 0.04186, 0.04187, 0.0419, 0.04192, 0.04205, 0.04373, 0.05213, 0.07129",\
                 "0.0418, 0.04179, 0.04181, 0.04181, 0.04184, 0.04189, 0.04255, 0.04722, 0.06128, 0.0816",\
                 "0.04171, 0.04171, 0.04173, 0.04172, 0.04178, 0.04221, 0.04563, 0.05683, 0.07253, 0.08615",\
                 "0.04147, 0.04148, 0.04149, 0.04153, 0.04227, 0.04676, 0.05537, 0.06345, 0.06947, 0.07404",\
                 "0.03303, 0.03298, 0.03292, 0.03302, 0.03332, 0.03373, 0.03414, 0.03449, 0.03481, 0.03504");
        }
      }

      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.001523, 0.003357, 0.006861, 0.01232, 0.01998, 0.03005, 0.04275, 0.05825, 0.07672");
          values("0.03104, 0.03105, 0.03107, 0.0311, 0.03115, 0.03119, 0.03122, 0.03125, 0.03127, 0.03126",\
                 "0.03094, 0.03096, 0.03098, 0.03101, 0.03105, 0.0311, 0.03113, 0.03116, 0.03117, 0.03116",\
                 "0.03086, 0.03086, 0.03089, 0.03092, 0.03097, 0.03101, 0.03104, 0.03107, 0.03108, 0.03107",\
                 "0.03076, 0.03077, 0.03079, 0.03083, 0.03087, 0.03091, 0.03094, 0.03097, 0.03098, 0.03094",\
                 "0.03067, 0.03067, 0.03069, 0.03073, 0.03077, 0.03081, 0.03084, 0.03086, 0.03085, 0.03077",\
                 "0.03059, 0.03059, 0.03061, 0.03064, 0.03067, 0.03071, 0.03074, 0.03074, 0.03067, 0.03042",\
                 "0.03044, 0.03044, 0.03046, 0.03048, 0.03051, 0.03053, 0.03052, 0.0304, 0.03003, 0.02936",\
                 "0.02966, 0.02966, 0.02965, 0.02965, 0.02961, 0.02941, 0.02885, 0.02802, 0.0273, 0.02672",\
                 "0.01908, 0.01895, 0.0186, 0.01813, 0.01768, 0.01733, 0.01708, 0.01691, 0.01679, 0.01671",\
                 "0.005771, 0.005774, 0.005787, 0.005809, 0.005836, 0.005867, 0.005896, 0.005926, 0.005952, 0.005972");
        }

        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.001523, 0.003357, 0.006861, 0.01232, 0.01998, 0.03005, 0.04275, 0.05825, 0.07672");
          values("0.01308, 0.0131, 0.01318, 0.0133, 0.01345, 0.0136, 0.01401, 0.01702, 0.02887, 0.04998",\
                 "0.0131, 0.01312, 0.0132, 0.01332, 0.01346, 0.01361, 0.01404, 0.01717, 0.02925, 0.05036",\
                 "0.0131, 0.01313, 0.01321, 0.01333, 0.01347, 0.01362, 0.01411, 0.01762, 0.03043, 0.05154",\
                 "0.01307, 0.01309, 0.01316, 0.01328, 0.01342, 0.01357, 0.01421, 0.01856, 0.03261, 0.05345",\
                 "0.01297, 0.01299, 0.01306, 0.01317, 0.0133, 0.01348, 0.01444, 0.02035, 0.03606, 0.05579",\
                 "0.01289, 0.01291, 0.01296, 0.01305, 0.01318, 0.01342, 0.01515, 0.02355, 0.04041, 0.05769",\
                 "0.0128, 0.01282, 0.01287, 0.01297, 0.01308, 0.01353, 0.01702, 0.02858, 0.04442, 0.05781",\
                 "0.01277, 0.01278, 0.01283, 0.01289, 0.01307, 0.01444, 0.02131, 0.03401, 0.04573, 0.05461",\
                 "0.01283, 0.01285, 0.01288, 0.01295, 0.01363, 0.01797, 0.02683, 0.03516, 0.04144, 0.0461",\
                 "0.01303, 0.01301, 0.01298, 0.01348, 0.01628, 0.0204, 0.0239, 0.02655, 0.02851, 0.02994");
        }
      }

      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.001523, 0.003357, 0.006861, 0.01232, 0.01998, 0.03005, 0.04275, 0.05825, 0.07672");
          values("0.02127, 0.02128, 0.02132, 0.02137, 0.02141, 0.02143, 0.02143, 0.02141, 0.0214, 0.02138",\
                 "0.02128, 0.02129, 0.02133, 0.02138, 0.02142, 0.02144, 0.02144, 0.02143, 0.02141, 0.02139",\
                 "0.0213, 0.02131, 0.02135, 0.02139, 0.02143, 0.02145, 0.02145, 0.02144, 0.02142, 0.0214",\
                 "0.02125, 0.02127, 0.02131, 0.02136, 0.0214, 0.02142, 0.02142, 0.0214, 0.02139, 0.02137",\
                 "0.02118, 0.02119, 0.02123, 0.02129, 0.02133, 0.02135, 0.02135, 0.02134, 0.02132, 0.0213",\
                 "0.0211, 0.02111, 0.02115, 0.0212, 0.02125, 0.02127, 0.02128, 0.02127, 0.02125, 0.02121",\
                 "0.02103, 0.02104, 0.02107, 0.02113, 0.02118, 0.02121, 0.02121, 0.02121, 0.02119, 0.02111",\
                 "0.021, 0.02101, 0.02105, 0.0211, 0.02115, 0.02119, 0.0212, 0.02119, 0.02112, 0.02088",\
                 "0.02106, 0.02108, 0.02112, 0.02117, 0.02122, 0.02126, 0.02126, 0.02112, 0.02073, 0.02016",\
                 "0.02133, 0.02135, 0.02138, 0.02142, 0.02138, 0.02104, 0.02038, 0.01974, 0.01925, 0.01888");
        }

        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.001523, 0.003357, 0.006861, 0.01232, 0.01998, 0.03005, 0.04275, 0.05825, 0.07672");
          values("0.03475, 0.03476, 0.03476, 0.03478, 0.0348, 0.03479, 0.0348, 0.03489, 0.03614, 0.04253",\
                 "0.03467, 0.03467, 0.03468, 0.03468, 0.03471, 0.03474, 0.03472, 0.03481, 0.03614, 0.04277",\
                 "0.03459, 0.03459, 0.03459, 0.0346, 0.03462, 0.03464, 0.03462, 0.03478, 0.03641, 0.04414",\
                 "0.03447, 0.03447, 0.03447, 0.03448, 0.03449, 0.03452, 0.03452, 0.03479, 0.03726, 0.04749",\
                 "0.03439, 0.03439, 0.03438, 0.03439, 0.03441, 0.03444, 0.03446, 0.03516, 0.03985, 0.05473",\
                 "0.03429, 0.03429, 0.03428, 0.0343, 0.03431, 0.03436, 0.03458, 0.03704, 0.04738, 0.0676",\
                 "0.03415, 0.03415, 0.03417, 0.03419, 0.03419, 0.03442, 0.03677, 0.04632, 0.06278, 0.07861",\
                 "0.03357, 0.03356, 0.03358, 0.03365, 0.03489, 0.04017, 0.04787, 0.05424, 0.05888, 0.06252",\
                 "0.006984, 0.006989, 0.006984, 0.006987, 0.006985, 0.006984, 0.006984, 0.006981, 0.006981, 0.006981",\
                 "-0.004905, -0.004905, -0.004906, -0.004906, -0.004904, -0.004907, -0.004905, -0.004906, -0.004907, -0.004906");
        }
      }

      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.001523, 0.003357, 0.006861, 0.01232, 0.01998, 0.03005, 0.04275, 0.05825, 0.07672");
          values("0.0006309, 0.0006298, 0.0006284, 0.0006285, 0.0006279, 0.0006245, 0.0006259, 0.0006244, 0.0006214, 0.000622",\
                 "0.0006213, 0.0006262, 0.0006386, 0.0006556, 0.000669, 0.0006742, 0.0006805, 0.0006844, 0.0006876, 0.0006908",\
                 "0.0005217, 0.0005394, 0.0005906, 0.000649, 0.0006883, 0.0007234, 0.000746, 0.0007617, 0.0007721, 0.0007771",\
                 "0.0003156, 0.0003464, 0.0004229, 0.0005156, 0.0006061, 0.0006749, 0.0007214, 0.0007558, 0.0007806, 0.0007966",\
                 "0.0001307, 0.0001555, 0.0002357, 0.0003477, 0.0004714, 0.0005693, 0.0006462, 0.0007014, 0.0007426, 0.0007699",\
                 "1.723e-05, 3.604e-05, 9.845e-05, 0.0002026, 0.0003281, 0.0004465, 0.0005427, 0.0006176, 0.0006752, 0.0007135",\
                 "-2.779e-05, -1.565e-05, 3.018e-05, 0.00011, 0.0002159, 0.0003319, 0.000441, 0.0005317, 0.0005988, 0.0006317",\
                 "5.512e-06, 9.265e-06, 3.048e-05, 7.783e-05, 0.0001582, 0.0002547, 0.0003548, 0.0004434, 0.0004905, 0.0004168",\
                 "0.0002142, 0.0002144, 0.000214, 0.0002302, 0.0002714, 0.0003355, 0.0003981, 0.0003381, -8.696e-06, -0.0005185",\
                 "0.0008503, 0.0008387, 0.0008207, 0.000801, 0.0007751, 0.0005019, -0.0001822, -0.0007607, -0.001173, -0.001464");
        }

        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.001523, 0.003357, 0.006861, 0.01232, 0.01998, 0.03005, 0.04275, 0.05825, 0.07672");
          values("0.0107, 0.0107, 0.01072, 0.01074, 0.01076, 0.01079, 0.01095, 0.01276, 0.02162, 0.04167",\
                 "0.01046, 0.01048, 0.01056, 0.01062, 0.01069, 0.01075, 0.01094, 0.01281, 0.02197, 0.04214",\
                 "0.01005, 0.01008, 0.01018, 0.01032, 0.01046, 0.01059, 0.01086, 0.01305, 0.02304, 0.04362",\
                 "0.009739, 0.009762, 0.009845, 0.009983, 0.01015, 0.01031, 0.01072, 0.01362, 0.02522, 0.04628",\
                 "0.009601, 0.009616, 0.009668, 0.009764, 0.009911, 0.01008, 0.01073, 0.01505, 0.02908, 0.04997",\
                 "0.009559, 0.009576, 0.009605, 0.009669, 0.009759, 0.009953, 0.01124, 0.01842, 0.03492, 0.05358",\
                 "0.009573, 0.009577, 0.0096, 0.009644, 0.009705, 0.01012, 0.01354, 0.02507, 0.04098, 0.05444",\
                 "0.009656, 0.009652, 0.009643, 0.009659, 0.009867, 0.012, 0.02029, 0.03188, 0.0414, 0.04853",\
                 "0.009468, 0.009466, 0.009436, 0.009615, 0.01201, 0.01722, 0.02203, 0.02573, 0.02848, 0.03052",\
                 "0.006179, 0.005975, 0.005821, 0.006323, 0.007195, 0.008056, 0.008749, 0.009273, 0.00965, 0.00993");
        }
      }

      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.001523, 0.003357, 0.006861, 0.01232, 0.01998, 0.03005, 0.04275, 0.05825, 0.07672");
          values("0.02541, 0.02538, 0.02527, 0.02507, 0.02484, 0.0246, 0.02438, 0.02421, 0.02406, 0.02395",\
                 "0.02534, 0.0253, 0.02519, 0.025, 0.02477, 0.02453, 0.02431, 0.02413, 0.02398, 0.02386",\
                 "0.0253, 0.02526, 0.02517, 0.025, 0.02478, 0.02453, 0.02431, 0.02412, 0.02396, 0.02382",\
                 "0.02518, 0.02516, 0.02509, 0.02496, 0.02478, 0.02457, 0.02436, 0.02416, 0.02398, 0.02384",\
                 "0.02498, 0.02497, 0.02493, 0.02485, 0.02473, 0.02457, 0.0244, 0.02422, 0.02406, 0.02389",\
                 "0.0248, 0.02479, 0.02477, 0.02473, 0.02466, 0.02455, 0.02442, 0.02428, 0.02412, 0.02393",\
                 "0.02466, 0.02466, 0.02466, 0.02463, 0.02459, 0.02453, 0.02443, 0.02431, 0.02414, 0.02383",\
                 "0.02454, 0.02454, 0.02454, 0.02454, 0.02451, 0.02446, 0.02437, 0.02417, 0.02374, 0.02301",\
                 "0.0239, 0.02389, 0.02388, 0.02384, 0.02374, 0.02348, 0.02283, 0.02193, 0.02114, 0.0205",\
                 "0.01059, 0.01059, 0.01061, 0.01063, 0.01065, 0.01067, 0.01067, 0.01065, 0.01062, 0.01057");
        }

        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.001523, 0.003357, 0.006861, 0.01232, 0.01998, 0.03005, 0.04275, 0.05825, 0.07672");
          values("0.02079, 0.02078, 0.02073, 0.0206, 0.02044, 0.02023, 0.02003, 0.01988, 0.0199, 0.02111",\
                 "0.02079, 0.02077, 0.02073, 0.02064, 0.02047, 0.02029, 0.02007, 0.01991, 0.01995, 0.02122",\
                 "0.0206, 0.0206, 0.02055, 0.02046, 0.02031, 0.02015, 0.01998, 0.01986, 0.0199, 0.02143",\
                 "0.01998, 0.01997, 0.01996, 0.01993, 0.01988, 0.01979, 0.0197, 0.01961, 0.01979, 0.02181",\
                 "0.01951, 0.01951, 0.01952, 0.01952, 0.01952, 0.01948, 0.01945, 0.01941, 0.01984, 0.02292",\
                 "0.01917, 0.01918, 0.01918, 0.0192, 0.01925, 0.01925, 0.01923, 0.01928, 0.02019, 0.02552",\
                 "0.01894, 0.01895, 0.01895, 0.01897, 0.01898, 0.01901, 0.01911, 0.01933, 0.02154, 0.03123",\
                 "0.01879, 0.01879, 0.0188, 0.01883, 0.01885, 0.01884, 0.01896, 0.02008, 0.02611, 0.04283",\
                 "0.01886, 0.01887, 0.01887, 0.01889, 0.01887, 0.01894, 0.01963, 0.02445, 0.03851, 0.05885",\
                 "0.01951, 0.01951, 0.01952, 0.01955, 0.01967, 0.02076, 0.02705, 0.03957, 0.05223, 0.06205");
        }
      }

      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.001523, 0.003357, 0.006861, 0.01232, 0.01998, 0.03005, 0.04275, 0.05825, 0.07672");
          values("0.02541, 0.02538, 0.02527, 0.02507, 0.02483, 0.0246, 0.02438, 0.02421, 0.02406, 0.02395",\
                 "0.02534, 0.0253, 0.02519, 0.025, 0.02477, 0.02452, 0.02431, 0.02413, 0.02398, 0.02386",\
                 "0.02529, 0.02526, 0.02517, 0.025, 0.02478, 0.02453, 0.02431, 0.02412, 0.02395, 0.02382",\
                 "0.02518, 0.02517, 0.02509, 0.02496, 0.02478, 0.02457, 0.02435, 0.02416, 0.02399, 0.02383",\
                 "0.02498, 0.02498, 0.02493, 0.02485, 0.02472, 0.02457, 0.0244, 0.02422, 0.02405, 0.02389",\
                 "0.0248, 0.02479, 0.02477, 0.02473, 0.02465, 0.02455, 0.02442, 0.02428, 0.02412, 0.02393",\
                 "0.02466, 0.02466, 0.02465, 0.02463, 0.02459, 0.02453, 0.02443, 0.02431, 0.02414, 0.02382",\
                 "0.02454, 0.02454, 0.02453, 0.02453, 0.02451, 0.02446, 0.02437, 0.02417, 0.02374, 0.02301",\
                 "0.02389, 0.02389, 0.02388, 0.02384, 0.02374, 0.02348, 0.02283, 0.02193, 0.02113, 0.0205",\
                 "0.01059, 0.01059, 0.01061, 0.01063, 0.01065, 0.01067, 0.01067, 0.01065, 0.01062, 0.01057");
        }

        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.001523, 0.003357, 0.006861, 0.01232, 0.01998, 0.03005, 0.04275, 0.05825, 0.07672");
          values("0.02079, 0.02078, 0.02072, 0.0206, 0.02044, 0.02023, 0.02003, 0.01988, 0.0199, 0.02111",\
                 "0.02079, 0.02077, 0.02074, 0.02064, 0.02047, 0.02029, 0.02007, 0.01991, 0.01995, 0.02122",\
                 "0.0206, 0.0206, 0.02057, 0.02046, 0.02033, 0.02015, 0.01997, 0.01985, 0.0199, 0.02143",\
                 "0.01998, 0.01998, 0.01996, 0.01993, 0.01988, 0.01978, 0.01968, 0.0196, 0.01979, 0.02181",\
                 "0.01951, 0.01951, 0.01952, 0.01952, 0.01952, 0.01948, 0.01945, 0.01941, 0.01984, 0.02292",\
                 "0.01917, 0.01918, 0.01918, 0.0192, 0.01925, 0.01924, 0.01923, 0.01929, 0.0202, 0.0255",\
                 "0.01894, 0.01894, 0.01895, 0.01897, 0.01897, 0.01903, 0.01909, 0.01933, 0.02155, 0.03123",\
                 "0.01879, 0.0188, 0.01881, 0.01883, 0.01885, 0.01883, 0.01893, 0.02008, 0.02611, 0.04283",\
                 "0.01886, 0.01887, 0.01887, 0.01889, 0.01886, 0.01894, 0.01961, 0.02447, 0.03851, 0.05886",\
                 "0.01951, 0.01951, 0.01952, 0.01954, 0.01965, 0.02076, 0.02705, 0.03957, 0.05223, 0.06205");
        }
      }

      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.001523, 0.003357, 0.006861, 0.01232, 0.01998, 0.03005, 0.04275, 0.05825, 0.07672");
          values("0.0006302, 0.0006292, 0.0006277, 0.0006274, 0.0006281, 0.0006244, 0.0006251, 0.0006227, 0.0006216, 0.0006222",\
                 "0.0006207, 0.0006257, 0.0006397, 0.0006552, 0.0006689, 0.0006742, 0.0006807, 0.0006847, 0.000688, 0.000691",\
                 "0.0005179, 0.0005394, 0.0005894, 0.0006438, 0.0006923, 0.0007252, 0.0007465, 0.0007621, 0.000773, 0.0007783",\
                 "0.0003181, 0.0003467, 0.0004236, 0.0005184, 0.0006108, 0.0006731, 0.000724, 0.0007569, 0.0007843, 0.0007984",\
                 "0.0001341, 0.0001567, 0.0002328, 0.0003514, 0.0004719, 0.0005707, 0.0006453, 0.0007005, 0.0007425, 0.0007705",\
                 "1.553e-05, 3.546e-05, 9.539e-05, 0.0002019, 0.0003271, 0.0004474, 0.0005425, 0.0006203, 0.0006757, 0.0007144",\
                 "-2.638e-05, -1.527e-05, 2.901e-05, 0.0001096, 0.0002156, 0.0003313, 0.0004405, 0.0005312, 0.0005977, 0.000631",\
                 "5.931e-06, 1.103e-05, 2.996e-05, 7.877e-05, 0.0001575, 0.0002539, 0.0003533, 0.0004436, 0.0004893, 0.0004188",\
                 "0.000216, 0.0002135, 0.0002142, 0.0002282, 0.0002713, 0.0003354, 0.0003987, 0.0003396, -4.59e-06, -0.0005147",\
                 "0.0008456, 0.0008398, 0.0008206, 0.000802, 0.0007769, 0.0005089, -0.0001794, -0.000758, -0.001169, -0.001463");
        }

        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.001523, 0.003357, 0.006861, 0.01232, 0.01998, 0.03005, 0.04275, 0.05825, 0.07672");
          values("0.01073, 0.01074, 0.01075, 0.01078, 0.01081, 0.01084, 0.01101, 0.01279, 0.02167, 0.04179",\
                 "0.0105, 0.01052, 0.0106, 0.01066, 0.01073, 0.01078, 0.01098, 0.01284, 0.02199, 0.04219",\
                 "0.01008, 0.01011, 0.01021, 0.01036, 0.01051, 0.01062, 0.01091, 0.0131, 0.02308, 0.04366",\
                 "0.009769, 0.009796, 0.009882, 0.01002, 0.01018, 0.01035, 0.01076, 0.01363, 0.02525, 0.04634",\
                 "0.009633, 0.00965, 0.009704, 0.009802, 0.009947, 0.01011, 0.01076, 0.01509, 0.02914, 0.05001",\
                 "0.009588, 0.009606, 0.00964, 0.009701, 0.009797, 0.00999, 0.01128, 0.01845, 0.03493, 0.05362",\
                 "0.009606, 0.009611, 0.009631, 0.009681, 0.009743, 0.01014, 0.01358, 0.02506, 0.04101, 0.05447",\
                 "0.009693, 0.009684, 0.009679, 0.009688, 0.009898, 0.01204, 0.02032, 0.03192, 0.04143, 0.04856",\
                 "0.009499, 0.009496, 0.009472, 0.009666, 0.01204, 0.01725, 0.02206, 0.02577, 0.02852, 0.03055",\
                 "0.006206, 0.006003, 0.005846, 0.006348, 0.007226, 0.008087, 0.008783, 0.009307, 0.009685, 0.009977");
        }
      }

      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.001523, 0.003357, 0.006861, 0.01232, 0.01998, 0.03005, 0.04275, 0.05825, 0.07672");
          values("7.104, 7.166, 7.369, 7.718, 8.194, 8.784, 9.482, 10.29, 11.23, 12.31",\
                 "7.183, 7.245, 7.448, 7.797, 8.273, 8.863, 9.561, 10.37, 11.31, 12.39",\
                 "7.42, 7.482, 7.686, 8.035, 8.511, 9.1, 9.798, 10.61, 11.55, 12.62",\
                 "7.764, 7.827, 8.03, 8.379, 8.856, 9.445, 10.14, 10.96, 11.89, 12.97",\
                 "8.096, 8.158, 8.362, 8.71, 9.187, 9.776, 10.47, 11.29, 12.22, 13.3",\
                 "8.385, 8.448, 8.652, 9.001, 9.477, 10.07, 10.76, 11.58, 12.51, 13.59",\
                 "8.614, 8.676, 8.88, 9.228, 9.703, 10.29, 10.99, 11.8, 12.74, 13.82",\
                 "8.764, 8.825, 9.029, 9.376, 9.852, 10.44, 11.14, 11.95, 12.89, 13.97",\
                 "8.83, 8.892, 9.095, 9.443, 9.918, 10.51, 11.2, 12.02, 12.95, 14.03",\
                 "8.795, 8.856, 9.06, 9.407, 9.882, 10.47, 11.17, 11.98, 12.92, 13.99");
        }

        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.001523, 0.003357, 0.006861, 0.01232, 0.01998, 0.03005, 0.04275, 0.05825, 0.07672");
          values("7.22, 7.319, 7.665, 8.323, 9.341, 10.76, 12.63, 14.97, 17.83, 21.23",\
                 "7.267, 7.366, 7.712, 8.369, 9.387, 10.81, 12.67, 15.02, 17.87, 21.28",\
                 "7.484, 7.583, 7.929, 8.586, 9.604, 11.03, 12.89, 15.23, 18.09, 21.49",\
                 "7.914, 8.012, 8.358, 9.016, 10.03, 11.46, 13.32, 15.67, 18.52, 21.92",\
                 "8.558, 8.657, 9.003, 9.66, 10.68, 12.1, 13.96, 16.31, 19.16, 22.56",\
                 "9.439, 9.538, 9.884, 10.54, 11.56, 12.98, 14.85, 17.19, 20.05, 23.45",\
                 "10.56, 10.66, 11.01, 11.66, 12.68, 14.1, 15.97, 18.31, 21.17, 24.57",\
                 "11.86, 11.96, 12.31, 12.96, 13.98, 15.4, 17.27, 19.61, 22.47, 25.87",\
                 "13.3, 13.4, 13.75, 14.41, 15.42, 16.85, 18.71, 21.06, 23.91, 27.32",\
                 "14.9, 15, 15.34, 16, 17.02, 18.44, 20.3, 22.65, 25.51, 28.91");
        }

        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.001523, 0.003357, 0.006861, 0.01232, 0.01998, 0.03005, 0.04275, 0.05825, 0.07672");
          values("1.547, 1.608, 1.81, 2.164, 2.673, 3.346, 4.202, 5.272, 6.599, 8.202",\
                 "1.546, 1.607, 1.808, 2.167, 2.675, 3.344, 4.201, 5.272, 6.598, 8.198",\
                 "1.546, 1.606, 1.807, 2.164, 2.676, 3.341, 4.202, 5.271, 6.594, 8.2",\
                 "1.545, 1.608, 1.81, 2.163, 2.672, 3.348, 4.202, 5.278, 6.592, 8.202",\
                 "1.545, 1.606, 1.806, 2.166, 2.67, 3.34, 4.196, 5.274, 6.592, 8.2",\
                 "1.542, 1.606, 1.808, 2.16, 2.672, 3.346, 4.202, 5.272, 6.598, 8.202",\
                 "1.542, 1.598, 1.806, 2.16, 2.67, 3.342, 4.202, 5.274, 6.596, 8.202",\
                 "1.538, 1.596, 1.8, 2.16, 2.664, 3.338, 4.2, 5.274, 6.596, 8.208",\
                 "1.536, 1.598, 1.796, 2.156, 2.664, 3.34, 4.198, 5.268, 6.59, 8.196",\
                 "1.534, 1.598, 1.8, 2.158, 2.662, 3.334, 4.196, 5.272, 6.59, 8.2");
        }

        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.001523, 0.003357, 0.006861, 0.01232, 0.01998, 0.03005, 0.04275, 0.05825, 0.07672");
          values("2.002, 2.16, 2.713, 3.781, 5.432, 7.759, 10.82, 14.69, 19.39, 24.97",\
                 "2.006, 2.162, 2.713, 3.781, 5.432, 7.761, 10.82, 14.68, 19.39, 24.97",\
                 "2.002, 2.16, 2.716, 3.78, 5.436, 7.757, 10.82, 14.68, 19.38, 24.98",\
                 "2.006, 2.163, 2.713, 3.78, 5.436, 7.76, 10.81, 14.68, 19.38, 24.97",\
                 "2.006, 2.162, 2.718, 3.778, 5.44, 7.762, 10.83, 14.68, 19.37, 24.98",\
                 "2.006, 2.162, 2.714, 3.772, 5.432, 7.762, 10.82, 14.68, 19.37, 24.99",\
                 "2.002, 2.164, 2.718, 3.78, 5.434, 7.758, 10.82, 14.66, 19.38, 24.99",\
                 "2.006, 2.162, 2.716, 3.78, 5.438, 7.758, 10.82, 14.69, 19.39, 24.98",\
                 "2.008, 2.162, 2.714, 3.776, 5.434, 7.76, 10.82, 14.68, 19.39, 25",\
                 "2.008, 2.164, 2.718, 3.774, 5.432, 7.754, 10.81, 14.68, 19.39, 25");
        }
      }

      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.001523, 0.003357, 0.006861, 0.01232, 0.01998, 0.03005, 0.04275, 0.05825, 0.07672");
          values("4.188, 4.223, 4.342, 4.56, 4.882, 5.319, 5.884, 6.589, 7.447, 8.469",\
                 "4.242, 4.277, 4.396, 4.614, 4.936, 5.374, 5.938, 6.643, 7.501, 8.523",\
                 "4.437, 4.472, 4.591, 4.809, 5.131, 5.569, 6.133, 6.838, 7.696, 8.718",\
                 "4.808, 4.843, 4.963, 5.179, 5.502, 5.94, 6.504, 7.209, 8.067, 9.089",\
                 "5.358, 5.393, 5.512, 5.729, 6.052, 6.49, 7.054, 7.759, 8.617, 9.639",\
                 "5.97, 6.005, 6.125, 6.342, 6.665, 7.103, 7.668, 8.373, 9.231, 10.25",\
                 "6.548, 6.583, 6.703, 6.921, 7.244, 7.682, 8.248, 8.953, 9.812, 10.83",\
                 "7.07, 7.105, 7.225, 7.443, 7.767, 8.206, 8.771, 9.477, 10.34, 11.36",\
                 "7.527, 7.562, 7.681, 7.901, 8.224, 8.664, 9.23, 9.935, 10.79, 11.82",\
                 "7.899, 7.934, 8.055, 8.274, 8.599, 9.038, 9.604, 10.31, 11.17, 12.19");
        }

        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.001523, 0.003357, 0.006861, 0.01232, 0.01998, 0.03005, 0.04275, 0.05825, 0.07672");
          values("7.556, 7.605, 7.773, 8.087, 8.566, 9.228, 10.09, 11.18, 12.5, 14.07",\
                 "7.634, 7.682, 7.851, 8.167, 8.645, 9.307, 10.17, 11.26, 12.58, 14.15",\
                 "7.859, 7.908, 8.079, 8.393, 8.871, 9.532, 10.4, 11.48, 12.8, 14.37",\
                 "8.312, 8.361, 8.53, 8.844, 9.322, 9.985, 10.85, 11.93, 13.25, 14.82",\
                 "9.054, 9.104, 9.273, 9.586, 10.06, 10.73, 11.59, 12.67, 13.99, 15.56",\
                 "10.12, 10.17, 10.34, 10.65, 11.13, 11.79, 12.66, 13.74, 15.06, 16.63",\
                 "11.54, 11.59, 11.76, 12.07, 12.55, 13.21, 14.08, 15.16, 16.48, 18.05",\
                 "13.28, 13.33, 13.5, 13.82, 14.29, 14.96, 15.82, 16.91, 18.23, 19.8",\
                 "15.24, 15.29, 15.46, 15.78, 16.26, 16.92, 17.78, 18.87, 20.19, 21.76",\
                 "17.34, 17.39, 17.56, 17.87, 18.35, 19.01, 19.88, 20.97, 22.29, 23.86");
        }

        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.001523, 0.003357, 0.006861, 0.01232, 0.01998, 0.03005, 0.04275, 0.05825, 0.07672");
          values("0.7506, 0.798, 0.9634, 1.277, 1.765, 2.454, 3.371, 4.539, 5.975, 7.694",\
                 "0.7504, 0.7974, 0.964, 1.278, 1.769, 2.453, 3.371, 4.537, 5.976, 7.695",\
                 "0.7502, 0.798, 0.9652, 1.278, 1.764, 2.455, 3.371, 4.538, 5.977, 7.694",\
                 "0.7506, 0.7982, 0.9642, 1.278, 1.766, 2.455, 3.371, 4.539, 5.975, 7.694",\
                 "0.752, 0.7974, 0.9642, 1.278, 1.766, 2.451, 3.371, 4.539, 5.976, 7.696",\
                 "0.7518, 0.7992, 0.965, 1.279, 1.768, 2.452, 3.372, 4.54, 5.972, 7.69",\
                 "0.754, 0.804, 0.968, 1.28, 1.766, 2.454, 3.368, 4.536, 5.972, 7.694",\
                 "0.756, 0.804, 0.968, 1.284, 1.768, 2.456, 3.372, 4.538, 5.968, 7.684",\
                 "0.758, 0.804, 0.972, 1.282, 1.77, 2.456, 3.374, 4.538, 5.978, 7.69",\
                 "0.76, 0.806, 0.974, 1.288, 1.772, 2.456, 3.372, 4.536, 5.978, 7.694");
        }

        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.001523, 0.003357, 0.006861, 0.01232, 0.01998, 0.03005, 0.04275, 0.05825, 0.07672");
          values("1.28, 1.356, 1.61, 2.104, 2.882, 3.986, 5.436, 7.27, 9.496, 12.15",\
                 "1.282, 1.355, 1.612, 2.106, 2.884, 3.986, 5.438, 7.266, 9.496, 12.15",\
                 "1.28, 1.354, 1.612, 2.106, 2.883, 3.984, 5.438, 7.264, 9.498, 12.15",\
                 "1.281, 1.355, 1.612, 2.106, 2.883, 3.986, 5.44, 7.27, 9.498, 12.15",\
                 "1.282, 1.358, 1.614, 2.108, 2.884, 3.986, 5.44, 7.264, 9.496, 12.15",\
                 "1.28, 1.354, 1.612, 2.106, 2.882, 3.986, 5.438, 7.264, 9.5, 12.15",\
                 "1.28, 1.356, 1.614, 2.104, 2.882, 3.986, 5.436, 7.27, 9.498, 12.16",\
                 "1.282, 1.354, 1.614, 2.104, 2.884, 3.986, 5.436, 7.27, 9.496, 12.15",\
                 "1.284, 1.358, 1.618, 2.108, 2.88, 3.98, 5.432, 7.262, 9.496, 12.15",\
                 "1.29, 1.362, 1.616, 2.108, 2.878, 3.978, 5.43, 7.258, 9.494, 12.15");
        }
      }

      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.001523, 0.003357, 0.006861, 0.01232, 0.01998, 0.03005, 0.04275, 0.05825, 0.07672");
          values("7.104, 7.166, 7.369, 7.718, 8.194, 8.784, 9.482, 10.29, 11.23, 12.31",\
                 "7.183, 7.245, 7.448, 7.797, 8.273, 8.863, 9.561, 10.37, 11.31, 12.39",\
                 "7.42, 7.482, 7.686, 8.035, 8.511, 9.1, 9.798, 10.61, 11.55, 12.62",\
                 "7.764, 7.827, 8.03, 8.379, 8.856, 9.445, 10.14, 10.96, 11.89, 12.97",\
                 "8.096, 8.158, 8.362, 8.71, 9.187, 9.776, 10.47, 11.29, 12.22, 13.3",\
                 "8.385, 8.448, 8.652, 9.001, 9.477, 10.07, 10.76, 11.58, 12.51, 13.59",\
                 "8.614, 8.676, 8.88, 9.228, 9.703, 10.29, 10.99, 11.8, 12.74, 13.82",\
                 "8.764, 8.825, 9.029, 9.376, 9.852, 10.44, 11.14, 11.95, 12.89, 13.97",\
                 "8.83, 8.892, 9.095, 9.443, 9.918, 10.51, 11.2, 12.02, 12.95, 14.03",\
                 "8.795, 8.856, 9.06, 9.407, 9.882, 10.47, 11.17, 11.98, 12.92, 13.99");
        }

        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.001523, 0.003357, 0.006861, 0.01232, 0.01998, 0.03005, 0.04275, 0.05825, 0.07672");
          values("7.22, 7.319, 7.665, 8.323, 9.341, 10.76, 12.63, 14.97, 17.83, 21.23",\
                 "7.267, 7.366, 7.712, 8.369, 9.387, 10.81, 12.67, 15.02, 17.87, 21.28",\
                 "7.484, 7.583, 7.929, 8.586, 9.604, 11.03, 12.89, 15.23, 18.09, 21.49",\
                 "7.914, 8.012, 8.358, 9.016, 10.03, 11.46, 13.32, 15.67, 18.52, 21.92",\
                 "8.558, 8.657, 9.003, 9.66, 10.68, 12.1, 13.96, 16.31, 19.16, 22.56",\
                 "9.439, 9.538, 9.884, 10.54, 11.56, 12.98, 14.85, 17.19, 20.05, 23.45",\
                 "10.56, 10.66, 11.01, 11.66, 12.68, 14.1, 15.97, 18.31, 21.17, 24.57",\
                 "11.86, 11.96, 12.31, 12.96, 13.98, 15.4, 17.27, 19.61, 22.47, 25.87",\
                 "13.3, 13.4, 13.75, 14.41, 15.42, 16.85, 18.71, 21.06, 23.91, 27.32",\
                 "14.9, 15, 15.34, 16, 17.02, 18.44, 20.3, 22.65, 25.51, 28.91");
        }

        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.001523, 0.003357, 0.006861, 0.01232, 0.01998, 0.03005, 0.04275, 0.05825, 0.07672");
          values("1.547, 1.608, 1.81, 2.164, 2.673, 3.346, 4.202, 5.272, 6.599, 8.202",\
                 "1.546, 1.607, 1.808, 2.167, 2.675, 3.344, 4.201, 5.272, 6.598, 8.198",\
                 "1.546, 1.606, 1.807, 2.164, 2.676, 3.341, 4.202, 5.271, 6.594, 8.2",\
                 "1.545, 1.608, 1.81, 2.163, 2.672, 3.348, 4.202, 5.278, 6.592, 8.202",\
                 "1.545, 1.606, 1.806, 2.166, 2.67, 3.34, 4.196, 5.274, 6.592, 8.2",\
                 "1.542, 1.606, 1.808, 2.16, 2.672, 3.346, 4.202, 5.272, 6.598, 8.202",\
                 "1.542, 1.598, 1.806, 2.16, 2.67, 3.342, 4.202, 5.274, 6.596, 8.202",\
                 "1.538, 1.596, 1.8, 2.16, 2.664, 3.338, 4.2, 5.274, 6.596, 8.208",\
                 "1.536, 1.598, 1.796, 2.156, 2.664, 3.34, 4.198, 5.268, 6.59, 8.196",\
                 "1.534, 1.598, 1.8, 2.158, 2.662, 3.334, 4.196, 5.272, 6.59, 8.2");
        }

        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.001523, 0.003357, 0.006861, 0.01232, 0.01998, 0.03005, 0.04275, 0.05825, 0.07672");
          values("2.002, 2.16, 2.713, 3.781, 5.432, 7.759, 10.82, 14.69, 19.39, 24.97",\
                 "2.006, 2.162, 2.713, 3.781, 5.432, 7.761, 10.82, 14.68, 19.39, 24.97",\
                 "2.002, 2.16, 2.716, 3.78, 5.436, 7.757, 10.82, 14.68, 19.38, 24.98",\
                 "2.006, 2.163, 2.713, 3.78, 5.436, 7.76, 10.81, 14.68, 19.38, 24.97",\
                 "2.006, 2.162, 2.718, 3.778, 5.44, 7.762, 10.83, 14.68, 19.37, 24.98",\
                 "2.006, 2.162, 2.714, 3.772, 5.432, 7.762, 10.82, 14.68, 19.37, 24.99",\
                 "2.002, 2.164, 2.718, 3.78, 5.434, 7.758, 10.82, 14.66, 19.38, 24.99",\
                 "2.006, 2.162, 2.716, 3.78, 5.438, 7.758, 10.82, 14.69, 19.39, 24.98",\
                 "2.008, 2.162, 2.714, 3.776, 5.434, 7.76, 10.82, 14.68, 19.39, 25",\
                 "2.008, 2.164, 2.718, 3.774, 5.432, 7.754, 10.81, 14.68, 19.39, 25");
        }
      }

      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.001523, 0.003357, 0.006861, 0.01232, 0.01998, 0.03005, 0.04275, 0.05825, 0.07672");
          values("7.876, 7.911, 8.03, 8.247, 8.569, 9.006, 9.57, 10.28, 11.13, 12.16",\
                 "7.923, 7.958, 8.077, 8.294, 8.616, 9.053, 9.617, 10.32, 11.18, 12.2",\
                 "8.139, 8.175, 8.294, 8.511, 8.832, 9.269, 9.833, 10.54, 11.4, 12.42",\
                 "8.57, 8.604, 8.724, 8.94, 9.263, 9.699, 10.26, 10.97, 11.83, 12.85",\
                 "9.214, 9.248, 9.368, 9.584, 9.906, 10.34, 10.91, 11.61, 12.47, 13.49",\
                 "10.1, 10.13, 10.25, 10.47, 10.79, 11.22, 11.79, 12.49, 13.35, 14.37",\
                 "11.22, 11.25, 11.37, 11.59, 11.91, 12.35, 12.91, 13.62, 14.48, 15.5",\
                 "12.52, 12.56, 12.67, 12.89, 13.21, 13.65, 14.21, 14.92, 15.78, 16.8",\
                 "13.97, 14, 14.12, 14.34, 14.66, 15.09, 15.66, 16.36, 17.22, 18.24",\
                 "15.56, 15.6, 15.72, 15.94, 16.26, 16.69, 17.26, 17.96, 18.82, 19.84");
        }

        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.001523, 0.003357, 0.006861, 0.01232, 0.01998, 0.03005, 0.04275, 0.05825, 0.07672");
          values("8.823, 8.872, 9.041, 9.355, 9.833, 10.5, 11.36, 12.44, 13.76, 15.34",\
                 "8.903, 8.952, 9.12, 9.434, 9.913, 10.57, 11.44, 12.52, 13.84, 15.41",\
                 "9.14, 9.189, 9.358, 9.671, 10.15, 10.81, 11.68, 12.76, 14.08, 15.65",\
                 "9.484, 9.534, 9.702, 10.02, 10.5, 11.16, 12.02, 13.11, 14.43, 16",\
                 "9.817, 9.865, 10.03, 10.35, 10.83, 11.49, 12.35, 13.44, 14.76, 16.33",\
                 "10.1, 10.15, 10.32, 10.64, 11.11, 11.78, 12.64, 13.73, 15.05, 16.62",\
                 "10.34, 10.39, 10.55, 10.87, 11.35, 12.01, 12.87, 13.96, 15.28, 16.85",\
                 "10.49, 10.54, 10.71, 11.02, 11.5, 12.16, 13.02, 14.11, 15.43, 17",\
                 "10.56, 10.61, 10.77, 11.09, 11.57, 12.23, 13.09, 14.18, 15.5, 17.07",\
                 "10.52, 10.57, 10.74, 11.05, 11.53, 12.19, 13.06, 14.14, 15.46, 17.03");
        }

        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.001523, 0.003357, 0.006861, 0.01232, 0.01998, 0.03005, 0.04275, 0.05825, 0.07672");
          values("0.7476, 0.7966, 0.9612, 1.277, 1.763, 2.453, 3.37, 4.539, 5.974, 7.694",\
                 "0.7478, 0.7964, 0.9622, 1.277, 1.764, 2.454, 3.37, 4.538, 5.976, 7.698",\
                 "0.7468, 0.7966, 0.9618, 1.277, 1.764, 2.453, 3.371, 4.539, 5.976, 7.694",\
                 "0.7484, 0.7964, 0.9628, 1.278, 1.764, 2.452, 3.368, 4.54, 5.976, 7.694",\
                 "0.748, 0.796, 0.962, 1.278, 1.764, 2.454, 3.368, 4.54, 5.972, 7.69",\
                 "0.748, 0.796, 0.962, 1.276, 1.764, 2.454, 3.37, 4.536, 5.978, 7.694",\
                 "0.748, 0.796, 0.962, 1.276, 1.762, 2.452, 3.37, 4.538, 5.974, 7.696",\
                 "0.748, 0.798, 0.962, 1.276, 1.764, 2.454, 3.37, 4.54, 5.972, 7.694",\
                 "0.746, 0.794, 0.962, 1.276, 1.764, 2.456, 3.37, 4.532, 5.97, 7.69",\
                 "0.746, 0.796, 0.962, 1.276, 1.764, 2.452, 3.372, 4.538, 5.97, 7.694");
        }

        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.001523, 0.003357, 0.006861, 0.01232, 0.01998, 0.03005, 0.04275, 0.05825, 0.07672");
          values("1.281, 1.355, 1.61, 2.104, 2.883, 3.985, 5.436, 7.268, 9.496, 12.15",\
                 "1.282, 1.357, 1.611, 2.105, 2.883, 3.984, 5.436, 7.268, 9.496, 12.15",\
                 "1.282, 1.357, 1.61, 2.106, 2.883, 3.984, 5.438, 7.27, 9.498, 12.15",\
                 "1.282, 1.356, 1.612, 2.104, 2.882, 3.984, 5.438, 7.268, 9.496, 12.15",\
                 "1.284, 1.352, 1.612, 2.104, 2.882, 3.986, 5.436, 7.264, 9.492, 12.15",\
                 "1.282, 1.356, 1.61, 2.104, 2.882, 3.986, 5.436, 7.266, 9.498, 12.15",\
                 "1.284, 1.356, 1.614, 2.104, 2.884, 3.986, 5.438, 7.264, 9.496, 12.15",\
                 "1.282, 1.354, 1.612, 2.106, 2.884, 3.986, 5.436, 7.264, 9.498, 12.14",\
                 "1.282, 1.356, 1.612, 2.104, 2.882, 3.982, 5.434, 7.262, 9.494, 12.15",\
                 "1.278, 1.354, 1.612, 2.104, 2.884, 3.984, 5.434, 7.268, 9.494, 12.14");
        }
      }

      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.001523, 0.003357, 0.006861, 0.01232, 0.01998, 0.03005, 0.04275, 0.05825, 0.07672");
          values("5.829, 5.89, 6.092, 6.439, 6.911, 7.497, 8.193, 9.002, 9.937, 11.01",\
                 "5.909, 5.97, 6.172, 6.519, 6.991, 7.577, 8.273, 9.082, 10.02, 11.09",\
                 "6.134, 6.195, 6.397, 6.744, 7.217, 7.802, 8.498, 9.307, 10.24, 11.31",\
                 "6.587, 6.648, 6.851, 7.196, 7.669, 8.255, 8.95, 9.76, 10.7, 11.77",\
                 "7.327, 7.388, 7.591, 7.937, 8.41, 8.996, 9.692, 10.5, 11.43, 12.51",\
                 "8.395, 8.456, 8.659, 9.004, 9.477, 10.06, 10.76, 11.57, 12.5, 13.58",\
                 "9.816, 9.878, 10.08, 10.42, 10.9, 11.48, 12.18, 12.99, 13.92, 15",\
                 "11.57, 11.63, 11.84, 12.19, 12.66, 13.25, 13.95, 14.76, 15.7, 16.77",\
                 "13.54, 13.6, 13.82, 14.18, 14.67, 15.28, 15.98, 16.8, 17.74, 18.82",\
                 "15.64, 15.71, 15.94, 16.32, 16.83, 17.45, 18.18, 19.01, 19.96, 21.05");
        }

        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.001523, 0.003357, 0.006861, 0.01232, 0.01998, 0.03005, 0.04275, 0.05825, 0.07672");
          values("3.474, 3.576, 3.927, 4.591, 5.613, 7.037, 8.902, 11.25, 14.1, 17.5",\
                 "3.528, 3.63, 3.982, 4.645, 5.667, 7.091, 8.956, 11.3, 14.15, 17.56",\
                 "3.724, 3.825, 4.177, 4.84, 5.862, 7.286, 9.151, 11.5, 14.35, 17.75",\
                 "4.094, 4.195, 4.546, 5.208, 6.228, 7.652, 9.517, 11.86, 14.71, 18.12",\
                 "4.642, 4.742, 5.092, 5.752, 6.772, 8.195, 10.06, 12.41, 15.27, 18.67",\
                 "5.237, 5.338, 5.688, 6.348, 7.366, 8.788, 10.65, 13, 15.86, 19.26",\
                 "5.795, 5.897, 6.249, 6.91, 7.929, 9.351, 11.22, 13.56, 16.42, 19.82",\
                 "6.294, 6.397, 6.751, 7.414, 8.434, 9.855, 11.72, 14.07, 16.92, 20.33",\
                 "6.722, 6.826, 7.183, 7.849, 8.869, 10.29, 12.16, 14.5, 17.36, 20.76",\
                 "7.063, 7.169, 7.53, 8.202, 9.223, 10.64, 12.51, 14.85, 17.71, 21.11");
        }

        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.001523, 0.003357, 0.006861, 0.01232, 0.01998, 0.03005, 0.04275, 0.05825, 0.07672");
          values("1.529, 1.589, 1.787, 2.146, 2.653, 3.328, 4.18, 5.256, 6.581, 8.184",\
                 "1.523, 1.585, 1.793, 2.146, 2.656, 3.326, 4.182, 5.258, 6.576, 8.183",\
                 "1.529, 1.59, 1.787, 2.145, 2.656, 3.327, 4.184, 5.259, 6.579, 8.189",\
                 "1.528, 1.588, 1.79, 2.147, 2.656, 3.329, 4.182, 5.255, 6.582, 8.186",\
                 "1.528, 1.588, 1.791, 2.147, 2.653, 3.328, 4.186, 5.256, 6.582, 8.184",\
                 "1.526, 1.59, 1.79, 2.148, 2.658, 3.326, 4.18, 5.256, 6.574, 8.186",\
                 "1.53, 1.592, 1.792, 2.15, 2.66, 3.328, 4.182, 5.262, 6.582, 8.19",\
                 "1.562, 1.62, 1.824, 2.172, 2.678, 3.346, 4.198, 5.272, 6.586, 8.19",\
                 "1.664, 1.724, 1.922, 2.268, 2.762, 3.416, 4.252, 5.312, 6.622, 8.214",\
                 "1.794, 1.858, 2.054, 2.402, 2.892, 3.532, 4.36, 5.4, 6.694, 8.264");
        }

        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.001523, 0.003357, 0.006861, 0.01232, 0.01998, 0.03005, 0.04275, 0.05825, 0.07672");
          values("2.043, 2.202, 2.743, 3.794, 5.441, 7.764, 10.82, 14.67, 19.38, 24.98",\
                 "2.043, 2.202, 2.745, 3.795, 5.444, 7.76, 10.81, 14.68, 19.39, 24.99",\
                 "2.045, 2.199, 2.745, 3.794, 5.443, 7.764, 10.82, 14.67, 19.37, 24.99",\
                 "2.048, 2.199, 2.746, 3.791, 5.441, 7.767, 10.82, 14.68, 19.37, 24.97",\
                 "2.047, 2.202, 2.748, 3.791, 5.438, 7.765, 10.82, 14.67, 19.38, 24.99",\
                 "2.061, 2.215, 2.756, 3.801, 5.441, 7.768, 10.82, 14.67, 19.38, 24.97",\
                 "2.086, 2.234, 2.774, 3.81, 5.444, 7.768, 10.82, 14.67, 19.36, 25",\
                 "2.11, 2.258, 2.794, 3.824, 5.456, 7.766, 10.81, 14.67, 19.39, 24.99",\
                 "2.142, 2.294, 2.82, 3.844, 5.468, 7.77, 10.82, 14.67, 19.39, 25",\
                 "2.188, 2.33, 2.856, 3.868, 5.476, 7.782, 10.83, 14.68, 19.37, 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.001523, 0.003357, 0.006861, 0.01232, 0.01998, 0.03005, 0.04275, 0.05825, 0.07672");
          values("5.829, 5.89, 6.092, 6.439, 6.911, 7.497, 8.193, 9.002, 9.937, 11.01",\
                 "5.909, 5.97, 6.172, 6.519, 6.991, 7.577, 8.273, 9.082, 10.02, 11.09",\
                 "6.134, 6.195, 6.397, 6.744, 7.217, 7.802, 8.498, 9.307, 10.24, 11.31",\
                 "6.587, 6.648, 6.851, 7.196, 7.669, 8.255, 8.95, 9.76, 10.7, 11.77",\
                 "7.327, 7.388, 7.591, 7.937, 8.41, 8.996, 9.692, 10.5, 11.43, 12.51",\
                 "8.395, 8.456, 8.659, 9.004, 9.477, 10.06, 10.76, 11.57, 12.5, 13.58",\
                 "9.816, 9.878, 10.08, 10.42, 10.9, 11.48, 12.18, 12.99, 13.92, 15",\
                 "11.57, 11.63, 11.84, 12.19, 12.66, 13.25, 13.95, 14.76, 15.7, 16.77",\
                 "13.54, 13.6, 13.82, 14.18, 14.67, 15.28, 15.98, 16.8, 17.74, 18.82",\
                 "15.64, 15.71, 15.94, 16.32, 16.83, 17.45, 18.18, 19.01, 19.96, 21.05");
        }

        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.001523, 0.003357, 0.006861, 0.01232, 0.01998, 0.03005, 0.04275, 0.05825, 0.07672");
          values("3.474, 3.576, 3.927, 4.591, 5.613, 7.037, 8.902, 11.25, 14.1, 17.5",\
                 "3.528, 3.63, 3.982, 4.645, 5.667, 7.091, 8.956, 11.3, 14.15, 17.56",\
                 "3.724, 3.825, 4.177, 4.84, 5.862, 7.286, 9.151, 11.5, 14.35, 17.75",\
                 "4.094, 4.195, 4.546, 5.208, 6.228, 7.652, 9.517, 11.86, 14.71, 18.12",\
                 "4.642, 4.742, 5.092, 5.752, 6.772, 8.195, 10.06, 12.41, 15.27, 18.67",\
                 "5.237, 5.338, 5.688, 6.348, 7.366, 8.788, 10.65, 13, 15.86, 19.26",\
                 "5.795, 5.897, 6.249, 6.91, 7.929, 9.351, 11.22, 13.56, 16.42, 19.82",\
                 "6.294, 6.397, 6.751, 7.414, 8.434, 9.855, 11.72, 14.07, 16.92, 20.33",\
                 "6.722, 6.826, 7.183, 7.849, 8.869, 10.29, 12.16, 14.5, 17.36, 20.76",\
                 "7.063, 7.169, 7.53, 8.202, 9.223, 10.64, 12.51, 14.85, 17.71, 21.11");
        }

        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.001523, 0.003357, 0.006861, 0.01232, 0.01998, 0.03005, 0.04275, 0.05825, 0.07672");
          values("1.529, 1.589, 1.787, 2.146, 2.653, 3.328, 4.18, 5.256, 6.581, 8.184",\
                 "1.523, 1.585, 1.793, 2.146, 2.656, 3.326, 4.182, 5.258, 6.576, 8.183",\
                 "1.529, 1.59, 1.787, 2.145, 2.656, 3.327, 4.184, 5.259, 6.579, 8.189",\
                 "1.528, 1.588, 1.79, 2.147, 2.656, 3.329, 4.182, 5.255, 6.582, 8.186",\
                 "1.528, 1.588, 1.791, 2.147, 2.653, 3.328, 4.186, 5.256, 6.582, 8.184",\
                 "1.526, 1.59, 1.79, 2.148, 2.658, 3.326, 4.18, 5.256, 6.574, 8.186",\
                 "1.53, 1.592, 1.792, 2.15, 2.66, 3.328, 4.182, 5.262, 6.582, 8.19",\
                 "1.562, 1.62, 1.824, 2.172, 2.678, 3.346, 4.198, 5.272, 6.586, 8.19",\
                 "1.664, 1.724, 1.922, 2.268, 2.762, 3.416, 4.252, 5.312, 6.622, 8.214",\
                 "1.794, 1.858, 2.054, 2.402, 2.892, 3.532, 4.36, 5.4, 6.694, 8.264");
        }

        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.001523, 0.003357, 0.006861, 0.01232, 0.01998, 0.03005, 0.04275, 0.05825, 0.07672");
          values("2.043, 2.202, 2.743, 3.794, 5.441, 7.764, 10.82, 14.67, 19.38, 24.98",\
                 "2.043, 2.202, 2.745, 3.795, 5.444, 7.76, 10.81, 14.68, 19.39, 24.99",\
                 "2.045, 2.199, 2.745, 3.794, 5.443, 7.764, 10.82, 14.67, 19.37, 24.99",\
                 "2.048, 2.199, 2.746, 3.791, 5.441, 7.767, 10.82, 14.68, 19.37, 24.97",\
                 "2.047, 2.202, 2.748, 3.791, 5.438, 7.765, 10.82, 14.67, 19.38, 24.99",\
                 "2.061, 2.215, 2.756, 3.801, 5.441, 7.768, 10.82, 14.67, 19.38, 24.97",\
                 "2.086, 2.234, 2.774, 3.81, 5.444, 7.768, 10.82, 14.67, 19.36, 25",\
                 "2.11, 2.258, 2.794, 3.824, 5.456, 7.766, 10.81, 14.67, 19.39, 24.99",\
                 "2.142, 2.294, 2.82, 3.844, 5.468, 7.77, 10.82, 14.67, 19.39, 25",\
                 "2.188, 2.33, 2.856, 3.868, 5.476, 7.782, 10.83, 14.68, 19.37, 24.97");
        }
      }

      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.001523, 0.003357, 0.006861, 0.01232, 0.01998, 0.03005, 0.04275, 0.05825, 0.07672");
          values("6.822, 6.883, 7.086, 7.432, 7.905, 8.49, 9.186, 9.995, 10.93, 12",\
                 "6.892, 6.953, 7.155, 7.502, 7.974, 8.561, 9.256, 10.07, 11, 12.07",\
                 "7.113, 7.174, 7.376, 7.723, 8.195, 8.781, 9.477, 10.29, 11.22, 12.29",\
                 "7.443, 7.505, 7.707, 8.053, 8.525, 9.112, 9.807, 10.62, 11.55, 12.62",\
                 "7.758, 7.819, 8.022, 8.368, 8.84, 9.426, 10.12, 10.93, 11.86, 12.94",\
                 "8.027, 8.088, 8.292, 8.637, 9.11, 9.696, 10.39, 11.2, 12.14, 13.21",\
                 "8.234, 8.296, 8.497, 8.841, 9.315, 9.9, 10.6, 11.41, 12.34, 13.41",\
                 "8.372, 8.434, 8.636, 8.981, 9.453, 10.04, 10.73, 11.54, 12.47, 13.55",\
                 "8.418, 8.479, 8.683, 9.027, 9.5, 10.08, 10.78, 11.59, 12.52, 13.59",\
                 "8.35, 8.411, 8.613, 8.959, 9.433, 10.02, 10.71, 11.52, 12.45, 13.53");
        }

        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.001523, 0.003357, 0.006861, 0.01232, 0.01998, 0.03005, 0.04275, 0.05825, 0.07672");
          values("6.978, 7.077, 7.423, 8.081, 9.099, 10.52, 12.39, 14.73, 17.59, 20.99",\
                 "7.004, 7.103, 7.449, 8.106, 9.124, 10.55, 12.41, 14.75, 17.61, 21.01",\
                 "7.179, 7.278, 7.624, 8.281, 9.299, 10.72, 12.59, 14.93, 17.79, 21.19",\
                 "7.625, 7.723, 8.069, 8.727, 9.745, 11.17, 13.03, 15.38, 18.23, 21.63",\
                 "8.374, 8.473, 8.819, 9.476, 10.49, 11.92, 13.78, 16.13, 18.98, 22.38",\
                 "9.447, 9.546, 9.892, 10.55, 11.57, 12.99, 14.86, 17.2, 20.06, 23.45",\
                 "10.84, 10.94, 11.28, 11.94, 12.96, 14.38, 16.25, 18.59, 21.45, 24.85",\
                 "12.45, 12.55, 12.9, 13.56, 14.57, 16, 17.86, 20.2, 23.06, 26.46",\
                 "14.21, 14.31, 14.65, 15.31, 16.33, 17.75, 19.61, 21.96, 24.82, 28.22",\
                 "16.1, 16.2, 16.54, 17.2, 18.22, 19.64, 21.5, 23.85, 26.71, 30.11");
        }

        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.001523, 0.003357, 0.006861, 0.01232, 0.01998, 0.03005, 0.04275, 0.05825, 0.07672");
          values("1.526, 1.589, 1.793, 2.144, 2.656, 3.325, 4.179, 5.256, 6.576, 8.186",\
                 "1.529, 1.589, 1.79, 2.146, 2.657, 3.328, 4.185, 5.255, 6.584, 8.19",\
                 "1.529, 1.589, 1.788, 2.144, 2.653, 3.328, 4.18, 5.255, 6.578, 8.188",\
                 "1.529, 1.585, 1.791, 2.145, 2.658, 3.33, 4.179, 5.256, 6.584, 8.19",\
                 "1.523, 1.585, 1.791, 2.144, 2.656, 3.324, 4.182, 5.258, 6.576, 8.184",\
                 "1.526, 1.586, 1.79, 2.146, 2.656, 3.324, 4.184, 5.26, 6.576, 8.184",\
                 "1.524, 1.584, 1.786, 2.142, 2.65, 3.324, 4.182, 5.256, 6.576, 8.186",\
                 "1.522, 1.582, 1.786, 2.138, 2.648, 3.316, 4.176, 5.248, 6.574, 8.18",\
                 "1.524, 1.584, 1.784, 2.144, 2.648, 3.322, 4.174, 5.25, 6.566, 8.172",\
                 "1.528, 1.588, 1.788, 2.144, 2.652, 3.32, 4.178, 5.252, 6.572, 8.176");
        }

        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.001523, 0.003357, 0.006861, 0.01232, 0.01998, 0.03005, 0.04275, 0.05825, 0.07672");
          values("2.005, 2.162, 2.713, 3.781, 5.428, 7.757, 10.82, 14.68, 19.39, 24.97",\
                 "2.006, 2.162, 2.712, 3.781, 5.429, 7.756, 10.82, 14.69, 19.39, 24.96",\
                 "2.006, 2.163, 2.713, 3.781, 5.432, 7.761, 10.82, 14.69, 19.39, 24.97",\
                 "2.006, 2.161, 2.712, 3.78, 5.431, 7.756, 10.82, 14.68, 19.38, 24.97",\
                 "2.004, 2.162, 2.718, 3.772, 5.432, 7.764, 10.82, 14.69, 19.37, 24.99",\
                 "2.002, 2.16, 2.714, 3.78, 5.436, 7.758, 10.82, 14.68, 19.37, 24.99",\
                 "2.004, 2.164, 2.718, 3.776, 5.436, 7.756, 10.82, 14.67, 19.39, 25",\
                 "2.004, 2.16, 2.718, 3.774, 5.436, 7.756, 10.83, 14.69, 19.39, 25",\
                 "2.006, 2.162, 2.716, 3.778, 5.43, 7.762, 10.82, 14.69, 19.39, 25",\
                 "2.008, 2.162, 2.712, 3.78, 5.432, 7.754, 10.81, 14.68, 19.39, 24.99");
        }
      }

      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.001523, 0.003357, 0.006861, 0.01232, 0.01998, 0.03005, 0.04275, 0.05825, 0.07672");
          values("4.236, 4.271, 4.39, 4.607, 4.93, 5.367, 5.932, 6.637, 7.494, 8.517",\
                 "4.299, 4.335, 4.454, 4.671, 4.994, 5.431, 5.996, 6.701, 7.559, 8.581",\
                 "4.467, 4.503, 4.622, 4.839, 5.162, 5.599, 6.164, 6.869, 7.726, 8.749",\
                 "4.76, 4.796, 4.915, 5.132, 5.455, 5.892, 6.457, 7.162, 8.019, 9.041",\
                 "5.191, 5.226, 5.345, 5.562, 5.885, 6.323, 6.887, 7.592, 8.45, 9.472",\
                 "5.687, 5.722, 5.841, 6.059, 6.382, 6.819, 7.384, 8.09, 8.947, 9.97",\
                 "6.174, 6.21, 6.33, 6.547, 6.871, 7.309, 7.874, 8.58, 9.438, 10.46",\
                 "6.629, 6.664, 6.784, 7.001, 7.325, 7.764, 8.33, 9.035, 9.893, 10.92",\
                 "7.028, 7.064, 7.184, 7.403, 7.727, 8.165, 8.731, 9.437, 10.29, 11.32",\
                 "7.356, 7.391, 7.512, 7.731, 8.055, 8.495, 9.06, 9.766, 10.62, 11.65");
        }

        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.001523, 0.003357, 0.006861, 0.01232, 0.01998, 0.03005, 0.04275, 0.05825, 0.07672");
          values("7.934, 7.983, 8.152, 8.466, 8.944, 9.606, 10.47, 11.56, 12.88, 14.45",\
                 "7.982, 8.031, 8.2, 8.513, 8.992, 9.655, 10.52, 11.6, 12.92, 14.49",\
                 "8.217, 8.266, 8.434, 8.748, 9.226, 9.888, 10.75, 11.84, 13.16, 14.73",\
                 "8.685, 8.733, 8.903, 9.217, 9.695, 10.36, 11.22, 12.31, 13.63, 15.2",\
                 "9.44, 9.488, 9.656, 9.971, 10.45, 11.11, 11.98, 13.06, 14.38, 15.95",\
                 "10.51, 10.56, 10.73, 11.04, 11.52, 12.19, 13.05, 14.13, 15.45, 17.02",\
                 "11.94, 11.98, 12.15, 12.47, 12.94, 13.61, 14.47, 15.56, 16.88, 18.45",\
                 "13.7, 13.75, 13.92, 14.23, 14.71, 15.37, 16.24, 17.32, 18.64, 20.21",\
                 "15.72, 15.77, 15.94, 16.25, 16.73, 17.39, 18.26, 19.34, 20.66, 22.24",\
                 "17.88, 17.93, 18.1, 18.42, 18.9, 19.56, 20.43, 21.51, 22.83, 24.41");
        }

        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.001523, 0.003357, 0.006861, 0.01232, 0.01998, 0.03005, 0.04275, 0.05825, 0.07672");
          values("0.7504, 0.7982, 0.9652, 1.279, 1.766, 2.454, 3.371, 4.535, 5.977, 7.696",\
                 "0.7504, 0.7972, 0.964, 1.277, 1.765, 2.454, 3.371, 4.54, 5.975, 7.694",\
                 "0.7504, 0.7986, 0.9636, 1.277, 1.764, 2.455, 3.371, 4.537, 5.977, 7.695",\
                 "0.7506, 0.7972, 0.9644, 1.278, 1.768, 2.454, 3.371, 4.537, 5.977, 7.697",\
                 "0.7506, 0.7978, 0.9642, 1.278, 1.764, 2.454, 3.369, 4.537, 5.978, 7.697",\
                 "0.7518, 0.7998, 0.9658, 1.278, 1.765, 2.453, 3.372, 4.538, 5.976, 7.694",\
                 "0.754, 0.8, 0.968, 1.282, 1.768, 2.452, 3.368, 4.538, 5.972, 7.696",\
                 "0.754, 0.802, 0.968, 1.282, 1.768, 2.456, 3.372, 4.538, 5.968, 7.684",\
                 "0.758, 0.806, 0.972, 1.284, 1.77, 2.456, 3.372, 4.536, 5.97, 7.686",\
                 "0.76, 0.806, 0.974, 1.286, 1.77, 2.458, 3.372, 4.538, 5.978, 7.698");
        }

        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.001523, 0.003357, 0.006861, 0.01232, 0.01998, 0.03005, 0.04275, 0.05825, 0.07672");
          values("1.28, 1.355, 1.611, 2.105, 2.883, 3.985, 5.435, 7.265, 9.49, 12.15",\
                 "1.283, 1.353, 1.613, 2.107, 2.882, 3.984, 5.435, 7.265, 9.49, 12.15",\
                 "1.28, 1.355, 1.611, 2.106, 2.881, 3.985, 5.437, 7.268, 9.496, 12.15",\
                 "1.284, 1.356, 1.612, 2.106, 2.882, 3.984, 5.436, 7.266, 9.5, 12.15",\
                 "1.28, 1.356, 1.614, 2.106, 2.882, 3.984, 5.436, 7.266, 9.498, 12.15",\
                 "1.284, 1.354, 1.612, 2.104, 2.882, 3.984, 5.436, 7.266, 9.498, 12.15",\
                 "1.284, 1.354, 1.61, 2.104, 2.884, 3.986, 5.436, 7.26, 9.492, 12.16",\
                 "1.28, 1.352, 1.616, 2.106, 2.884, 3.984, 5.438, 7.266, 9.494, 12.15",\
                 "1.284, 1.358, 1.616, 2.108, 2.882, 3.984, 5.434, 7.26, 9.494, 12.15",\
                 "1.292, 1.36, 1.616, 2.108, 2.88, 3.978, 5.432, 7.26, 9.494, 12.15");
        }
      }

      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.001523, 0.003357, 0.006861, 0.01232, 0.01998, 0.03005, 0.04275, 0.05825, 0.07672");
          values("6.822, 6.883, 7.086, 7.432, 7.905, 8.49, 9.186, 9.995, 10.93, 12",\
                 "6.892, 6.953, 7.155, 7.502, 7.974, 8.561, 9.256, 10.07, 11, 12.07",\
                 "7.113, 7.174, 7.376, 7.723, 8.195, 8.781, 9.477, 10.29, 11.22, 12.29",\
                 "7.443, 7.505, 7.707, 8.053, 8.525, 9.112, 9.807, 10.62, 11.55, 12.62",\
                 "7.758, 7.819, 8.022, 8.368, 8.84, 9.426, 10.12, 10.93, 11.86, 12.94",\
                 "8.027, 8.088, 8.292, 8.637, 9.11, 9.696, 10.39, 11.2, 12.14, 13.21",\
                 "8.234, 8.296, 8.497, 8.841, 9.315, 9.9, 10.6, 11.41, 12.34, 13.41",\
                 "8.372, 8.434, 8.636, 8.981, 9.453, 10.04, 10.73, 11.54, 12.47, 13.55",\
                 "8.418, 8.479, 8.683, 9.027, 9.5, 10.08, 10.78, 11.59, 12.52, 13.59",\
                 "8.35, 8.411, 8.613, 8.959, 9.433, 10.02, 10.71, 11.52, 12.45, 13.53");
        }

        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.001523, 0.003357, 0.006861, 0.01232, 0.01998, 0.03005, 0.04275, 0.05825, 0.07672");
          values("6.978, 7.077, 7.423, 8.081, 9.099, 10.52, 12.39, 14.73, 17.59, 20.99",\
                 "7.004, 7.103, 7.449, 8.106, 9.124, 10.55, 12.41, 14.75, 17.61, 21.01",\
                 "7.179, 7.278, 7.624, 8.281, 9.299, 10.72, 12.59, 14.93, 17.79, 21.19",\
                 "7.625, 7.723, 8.069, 8.727, 9.745, 11.17, 13.03, 15.38, 18.23, 21.63",\
                 "8.374, 8.473, 8.819, 9.476, 10.49, 11.92, 13.78, 16.13, 18.98, 22.38",\
                 "9.447, 9.546, 9.892, 10.55, 11.57, 12.99, 14.86, 17.2, 20.06, 23.45",\
                 "10.84, 10.94, 11.28, 11.94, 12.96, 14.38, 16.25, 18.59, 21.45, 24.85",\
                 "12.45, 12.55, 12.9, 13.56, 14.57, 16, 17.86, 20.2, 23.06, 26.46",\
                 "14.21, 14.31, 14.65, 15.31, 16.33, 17.75, 19.61, 21.96, 24.82, 28.22",\
                 "16.1, 16.2, 16.54, 17.2, 18.22, 19.64, 21.5, 23.85, 26.71, 30.11");
        }

        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.001523, 0.003357, 0.006861, 0.01232, 0.01998, 0.03005, 0.04275, 0.05825, 0.07672");
          values("1.526, 1.589, 1.793, 2.144, 2.656, 3.325, 4.179, 5.256, 6.576, 8.186",\
                 "1.529, 1.589, 1.79, 2.146, 2.657, 3.328, 4.185, 5.255, 6.584, 8.19",\
                 "1.529, 1.589, 1.788, 2.144, 2.653, 3.328, 4.18, 5.255, 6.578, 8.188",\
                 "1.529, 1.585, 1.791, 2.145, 2.658, 3.33, 4.179, 5.256, 6.584, 8.19",\
                 "1.523, 1.585, 1.791, 2.144, 2.656, 3.324, 4.182, 5.258, 6.576, 8.184",\
                 "1.526, 1.586, 1.79, 2.146, 2.656, 3.324, 4.184, 5.26, 6.576, 8.184",\
                 "1.524, 1.584, 1.786, 2.142, 2.65, 3.324, 4.182, 5.256, 6.576, 8.186",\
                 "1.522, 1.582, 1.786, 2.138, 2.648, 3.316, 4.176, 5.248, 6.574, 8.18",\
                 "1.524, 1.584, 1.784, 2.144, 2.648, 3.322, 4.174, 5.25, 6.566, 8.172",\
                 "1.528, 1.588, 1.788, 2.144, 2.652, 3.32, 4.178, 5.252, 6.572, 8.176");
        }

        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.001523, 0.003357, 0.006861, 0.01232, 0.01998, 0.03005, 0.04275, 0.05825, 0.07672");
          values("2.005, 2.162, 2.713, 3.781, 5.428, 7.757, 10.82, 14.68, 19.39, 24.97",\
                 "2.006, 2.162, 2.712, 3.781, 5.429, 7.756, 10.82, 14.69, 19.39, 24.96",\
                 "2.006, 2.163, 2.713, 3.781, 5.432, 7.761, 10.82, 14.69, 19.39, 24.97",\
                 "2.006, 2.161, 2.712, 3.78, 5.431, 7.756, 10.82, 14.68, 19.38, 24.97",\
                 "2.004, 2.162, 2.718, 3.772, 5.432, 7.764, 10.82, 14.69, 19.37, 24.99",\
                 "2.002, 2.16, 2.714, 3.78, 5.436, 7.758, 10.82, 14.68, 19.37, 24.99",\
                 "2.004, 2.164, 2.718, 3.776, 5.436, 7.756, 10.82, 14.67, 19.39, 25",\
                 "2.004, 2.16, 2.718, 3.774, 5.436, 7.756, 10.83, 14.69, 19.39, 25",\
                 "2.006, 2.162, 2.716, 3.778, 5.43, 7.762, 10.82, 14.69, 19.39, 25",\
                 "2.008, 2.162, 2.712, 3.78, 5.432, 7.754, 10.81, 14.68, 19.39, 24.99");
        }
      }

      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.001523, 0.003357, 0.006861, 0.01232, 0.01998, 0.03005, 0.04275, 0.05825, 0.07672");
          values("7.634, 7.669, 7.788, 8.005, 8.327, 8.765, 9.329, 10.03, 10.89, 11.91",\
                 "7.66, 7.695, 7.814, 8.031, 8.353, 8.79, 9.354, 10.06, 10.92, 11.94",\
                 "7.835, 7.87, 7.989, 8.205, 8.528, 8.964, 9.528, 10.23, 11.09, 12.11",\
                 "8.28, 8.315, 8.434, 8.651, 8.973, 9.41, 9.975, 10.68, 11.54, 12.56",\
                 "9.03, 9.065, 9.184, 9.401, 9.723, 10.16, 10.72, 11.43, 12.29, 13.31",\
                 "10.1, 10.14, 10.26, 10.47, 10.8, 11.23, 11.8, 12.5, 13.36, 14.38",\
                 "11.5, 11.53, 11.65, 11.87, 12.19, 12.63, 13.19, 13.89, 14.75, 15.77",\
                 "13.11, 13.15, 13.27, 13.48, 13.81, 14.24, 14.81, 15.51, 16.37, 17.39",\
                 "14.87, 14.91, 15.02, 15.24, 15.56, 16, 16.56, 17.27, 18.13, 19.15",\
                 "16.76, 16.8, 16.92, 17.13, 17.46, 17.89, 18.46, 19.16, 20.02, 21.04");
        }

        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.001523, 0.003357, 0.006861, 0.01232, 0.01998, 0.03005, 0.04275, 0.05825, 0.07672");
          values("8.547, 8.596, 8.765, 9.079, 9.557, 10.22, 11.08, 12.17, 13.49, 15.06",\
                 "8.619, 8.668, 8.836, 9.15, 9.628, 10.29, 11.15, 12.24, 13.56, 15.13",\
                 "8.839, 8.889, 9.057, 9.371, 9.848, 10.51, 11.38, 12.46, 13.78, 15.35",\
                 "9.17, 9.219, 9.387, 9.701, 10.18, 10.84, 11.71, 12.79, 14.11, 15.68",\
                 "9.485, 9.533, 9.703, 10.02, 10.49, 11.16, 12.02, 13.1, 14.42, 15.99",\
                 "9.752, 9.8, 9.969, 10.28, 10.76, 11.42, 12.29, 13.37, 14.69, 16.26",\
                 "9.959, 10.01, 10.18, 10.49, 10.97, 11.63, 12.49, 13.58, 14.9, 16.47",\
                 "10.1, 10.15, 10.32, 10.63, 11.11, 11.77, 12.63, 13.72, 15.04, 16.61",\
                 "10.14, 10.19, 10.36, 10.67, 11.15, 11.82, 12.68, 13.76, 15.08, 16.65",\
                 "10.08, 10.13, 10.3, 10.61, 11.09, 11.75, 12.61, 13.7, 15.02, 16.59");
        }

        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.001523, 0.003357, 0.006861, 0.01232, 0.01998, 0.03005, 0.04275, 0.05825, 0.07672");
          values("0.7476, 0.7954, 0.961, 1.275, 1.763, 2.453, 3.37, 4.539, 5.976, 7.694",\
                 "0.7478, 0.795, 0.9614, 1.277, 1.764, 2.454, 3.37, 4.539, 5.976, 7.698",\
                 "0.7484, 0.795, 0.9622, 1.277, 1.764, 2.453, 3.371, 4.539, 5.974, 7.694",\
                 "0.7476, 0.7964, 0.963, 1.276, 1.762, 2.453, 3.368, 4.538, 5.976, 7.698",\
                 "0.748, 0.796, 0.962, 1.276, 1.762, 2.454, 3.368, 4.538, 5.976, 7.694",\
                 "0.748, 0.796, 0.96, 1.276, 1.764, 2.454, 3.372, 4.54, 5.976, 7.694",\
                 "0.748, 0.796, 0.962, 1.276, 1.762, 2.454, 3.368, 4.54, 5.976, 7.696",\
                 "0.748, 0.794, 0.964, 1.276, 1.764, 2.452, 3.37, 4.534, 5.972, 7.692",\
                 "0.746, 0.796, 0.962, 1.276, 1.764, 2.454, 3.368, 4.536, 5.978, 7.694",\
                 "0.748, 0.796, 0.962, 1.276, 1.764, 2.454, 3.37, 4.536, 5.97, 7.686");
        }

        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.001523, 0.003357, 0.006861, 0.01232, 0.01998, 0.03005, 0.04275, 0.05825, 0.07672");
          values("1.279, 1.355, 1.61, 2.104, 2.884, 3.985, 5.437, 7.27, 9.496, 12.15",\
                 "1.279, 1.354, 1.61, 2.105, 2.882, 3.985, 5.437, 7.268, 9.5, 12.15",\
                 "1.281, 1.357, 1.611, 2.104, 2.881, 3.986, 5.438, 7.262, 9.496, 12.15",\
                 "1.284, 1.352, 1.614, 2.106, 2.884, 3.984, 5.436, 7.264, 9.496, 12.15",\
                 "1.282, 1.354, 1.61, 2.104, 2.882, 3.986, 5.438, 7.27, 9.5, 12.15",\
                 "1.282, 1.356, 1.612, 2.104, 2.882, 3.986, 5.438, 7.266, 9.5, 12.15",\
                 "1.284, 1.358, 1.616, 2.108, 2.882, 3.986, 5.44, 7.264, 9.498, 12.15",\
                 "1.284, 1.354, 1.61, 2.108, 2.882, 3.984, 5.438, 7.268, 9.494, 12.15",\
                 "1.284, 1.358, 1.612, 2.106, 2.882, 3.984, 5.438, 7.262, 9.492, 12.15",\
                 "1.282, 1.358, 1.61, 2.104, 2.882, 3.986, 5.438, 7.262, 9.492, 12.15");
        }
      }

      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.001523, 0.003357, 0.006861, 0.01232, 0.01998, 0.03005, 0.04275, 0.05825, 0.07672");
          values("6.215, 6.277, 6.481, 6.83, 7.306, 7.895, 8.594, 9.406, 10.34, 11.42",\
                 "6.261, 6.323, 6.528, 6.876, 7.352, 7.942, 8.64, 9.453, 10.39, 11.46",\
                 "6.495, 6.557, 6.761, 7.11, 7.586, 8.176, 8.874, 9.686, 10.62, 11.7",\
                 "6.965, 7.028, 7.232, 7.58, 8.056, 8.646, 9.344, 10.16, 11.09, 12.17",\
                 "7.718, 7.78, 7.984, 8.333, 8.809, 9.398, 10.1, 10.91, 11.85, 12.92",\
                 "8.792, 8.855, 9.059, 9.407, 9.883, 10.47, 11.17, 11.98, 12.92, 14",\
                 "10.22, 10.28, 10.48, 10.83, 11.31, 11.9, 12.6, 13.41, 14.35, 15.42",\
                 "11.99, 12.06, 12.26, 12.61, 13.09, 13.68, 14.38, 15.2, 16.13, 17.21",\
                 "14.02, 14.09, 14.3, 14.66, 15.15, 15.75, 16.46, 17.28, 18.22, 19.3",\
                 "16.19, 16.26, 16.49, 16.87, 17.38, 18, 18.72, 19.55, 20.5, 21.59");
        }

        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.001523, 0.003357, 0.006861, 0.01232, 0.01998, 0.03005, 0.04275, 0.05825, 0.07672");
          values("3.522, 3.624, 3.976, 4.639, 5.661, 7.084, 8.95, 11.29, 14.15, 17.54",\
                 "3.586, 3.687, 4.039, 4.703, 5.724, 7.148, 9.014, 11.36, 14.21, 17.61",\
                 "3.754, 3.855, 4.208, 4.871, 5.893, 7.317, 9.181, 11.53, 14.38, 17.78",\
                 "4.047, 4.148, 4.5, 5.161, 6.183, 7.606, 9.473, 11.82, 14.67, 18.07",\
                 "4.473, 4.574, 4.925, 5.585, 6.605, 8.029, 9.895, 12.24, 15.1, 18.49",\
                 "4.95, 5.051, 5.402, 6.063, 7.082, 8.505, 10.37, 12.72, 15.57, 18.97",\
                 "5.417, 5.519, 5.872, 6.535, 7.554, 8.976, 10.84, 13.19, 16.04, 19.45",\
                 "5.849, 5.952, 6.307, 6.971, 7.991, 9.413, 11.28, 13.62, 16.48, 19.89",\
                 "6.226, 6.33, 6.687, 7.354, 8.374, 9.796, 11.66, 14.01, 16.86, 20.27",\
                 "6.527, 6.632, 6.992, 7.662, 8.686, 10.11, 11.97, 14.31, 17.18, 20.58");
        }

        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.001523, 0.003357, 0.006861, 0.01232, 0.01998, 0.03005, 0.04275, 0.05825, 0.07672");
          values("1.547, 1.608, 1.808, 2.166, 2.669, 3.345, 4.197, 5.272, 6.592, 8.2",\
                 "1.546, 1.608, 1.811, 2.167, 2.675, 3.343, 4.203, 5.272, 6.594, 8.201",\
                 "1.546, 1.607, 1.806, 2.166, 2.672, 3.346, 4.201, 5.274, 6.59, 8.198",\
                 "1.546, 1.607, 1.811, 2.162, 2.673, 3.347, 4.203, 5.275, 6.59, 8.2",\
                 "1.545, 1.606, 1.81, 2.164, 2.674, 3.348, 4.198, 5.272, 6.592, 8.198",\
                 "1.544, 1.604, 1.806, 2.166, 2.674, 3.344, 4.198, 5.272, 6.598, 8.198",\
                 "1.544, 1.61, 1.812, 2.166, 2.674, 3.348, 4.2, 5.272, 6.594, 8.2",\
                 "1.564, 1.63, 1.832, 2.188, 2.688, 3.358, 4.21, 5.284, 6.604, 8.204",\
                 "1.652, 1.708, 1.916, 2.256, 2.754, 3.408, 4.252, 5.314, 6.63, 8.222",\
                 "1.776, 1.834, 2.04, 2.384, 2.87, 3.52, 4.35, 5.394, 6.69, 8.266");
        }

        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.001523, 0.003357, 0.006861, 0.01232, 0.01998, 0.03005, 0.04275, 0.05825, 0.07672");
          values("2.042, 2.202, 2.746, 3.793, 5.443, 7.759, 10.82, 14.68, 19.37, 24.99",\
                 "2.048, 2.196, 2.745, 3.794, 5.442, 7.76, 10.81, 14.68, 19.39, 25",\
                 "2.043, 2.199, 2.746, 3.792, 5.441, 7.764, 10.81, 14.68, 19.38, 24.98",\
                 "2.043, 2.202, 2.746, 3.795, 5.441, 7.759, 10.82, 14.68, 19.38, 24.97",\
                 "2.047, 2.2, 2.748, 3.793, 5.437, 7.76, 10.81, 14.68, 19.38, 24.97",\
                 "2.061, 2.215, 2.752, 3.798, 5.437, 7.762, 10.83, 14.68, 19.39, 24.97",\
                 "2.086, 2.236, 2.776, 3.806, 5.442, 7.764, 10.82, 14.69, 19.36, 25",\
                 "2.108, 2.26, 2.794, 3.826, 5.454, 7.76, 10.82, 14.67, 19.39, 24.99",\
                 "2.13, 2.284, 2.814, 3.842, 5.466, 7.766, 10.82, 14.66, 19.38, 25",\
                 "2.166, 2.318, 2.842, 3.86, 5.474, 7.772, 10.82, 14.67, 19.37, 24.96");
        }
      }

      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.001523, 0.003357, 0.006861, 0.01232, 0.01998, 0.03005, 0.04275, 0.05825, 0.07672");
          values("6.215, 6.277, 6.481, 6.83, 7.306, 7.895, 8.594, 9.406, 10.34, 11.42",\
                 "6.261, 6.323, 6.528, 6.876, 7.352, 7.942, 8.64, 9.453, 10.39, 11.46",\
                 "6.495, 6.557, 6.761, 7.11, 7.586, 8.176, 8.874, 9.686, 10.62, 11.7",\
                 "6.965, 7.028, 7.232, 7.58, 8.056, 8.646, 9.344, 10.16, 11.09, 12.17",\
                 "7.718, 7.78, 7.984, 8.333, 8.809, 9.398, 10.1, 10.91, 11.85, 12.92",\
                 "8.792, 8.855, 9.059, 9.407, 9.883, 10.47, 11.17, 11.98, 12.92, 14",\
                 "10.22, 10.28, 10.48, 10.83, 11.31, 11.9, 12.6, 13.41, 14.35, 15.42",\
                 "11.99, 12.06, 12.26, 12.61, 13.09, 13.68, 14.38, 15.2, 16.13, 17.21",\
                 "14.02, 14.09, 14.3, 14.66, 15.15, 15.75, 16.46, 17.28, 18.22, 19.3",\
                 "16.19, 16.26, 16.49, 16.87, 17.38, 18, 18.72, 19.55, 20.5, 21.59");
        }

        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.001523, 0.003357, 0.006861, 0.01232, 0.01998, 0.03005, 0.04275, 0.05825, 0.07672");
          values("3.522, 3.624, 3.976, 4.639, 5.661, 7.084, 8.95, 11.29, 14.15, 17.54",\
                 "3.586, 3.687, 4.039, 4.703, 5.724, 7.148, 9.014, 11.36, 14.21, 17.61",\
                 "3.754, 3.855, 4.208, 4.871, 5.893, 7.317, 9.181, 11.53, 14.38, 17.78",\
                 "4.047, 4.148, 4.5, 5.161, 6.183, 7.606, 9.473, 11.82, 14.67, 18.07",\
                 "4.473, 4.574, 4.925, 5.585, 6.605, 8.029, 9.895, 12.24, 15.1, 18.49",\
                 "4.95, 5.051, 5.402, 6.063, 7.082, 8.505, 10.37, 12.72, 15.57, 18.97",\
                 "5.417, 5.519, 5.872, 6.535, 7.554, 8.976, 10.84, 13.19, 16.04, 19.45",\
                 "5.849, 5.952, 6.307, 6.971, 7.991, 9.413, 11.28, 13.62, 16.48, 19.89",\
                 "6.226, 6.33, 6.687, 7.354, 8.374, 9.796, 11.66, 14.01, 16.86, 20.27",\
                 "6.527, 6.632, 6.992, 7.662, 8.686, 10.11, 11.97, 14.31, 17.18, 20.58");
        }

        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.001523, 0.003357, 0.006861, 0.01232, 0.01998, 0.03005, 0.04275, 0.05825, 0.07672");
          values("1.547, 1.608, 1.808, 2.166, 2.669, 3.345, 4.197, 5.272, 6.592, 8.2",\
                 "1.546, 1.608, 1.811, 2.167, 2.675, 3.343, 4.203, 5.272, 6.594, 8.201",\
                 "1.546, 1.607, 1.806, 2.166, 2.672, 3.346, 4.201, 5.274, 6.59, 8.198",\
                 "1.546, 1.607, 1.811, 2.162, 2.673, 3.347, 4.203, 5.275, 6.59, 8.2",\
                 "1.545, 1.606, 1.81, 2.164, 2.674, 3.348, 4.198, 5.272, 6.592, 8.198",\
                 "1.544, 1.604, 1.806, 2.166, 2.674, 3.344, 4.198, 5.272, 6.598, 8.198",\
                 "1.544, 1.61, 1.812, 2.166, 2.674, 3.348, 4.2, 5.272, 6.594, 8.2",\
                 "1.564, 1.63, 1.832, 2.188, 2.688, 3.358, 4.21, 5.284, 6.604, 8.204",\
                 "1.652, 1.708, 1.916, 2.256, 2.754, 3.408, 4.252, 5.314, 6.63, 8.222",\
                 "1.776, 1.834, 2.04, 2.384, 2.87, 3.52, 4.35, 5.394, 6.69, 8.266");
        }

        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.001523, 0.003357, 0.006861, 0.01232, 0.01998, 0.03005, 0.04275, 0.05825, 0.07672");
          values("2.042, 2.202, 2.746, 3.793, 5.443, 7.759, 10.82, 14.68, 19.37, 24.99",\
                 "2.048, 2.196, 2.745, 3.794, 5.442, 7.76, 10.81, 14.68, 19.39, 25",\
                 "2.043, 2.199, 2.746, 3.792, 5.441, 7.764, 10.81, 14.68, 19.38, 24.98",\
                 "2.043, 2.202, 2.746, 3.795, 5.441, 7.759, 10.82, 14.68, 19.38, 24.97",\
                 "2.047, 2.2, 2.748, 3.793, 5.437, 7.76, 10.81, 14.68, 19.38, 24.97",\
                 "2.061, 2.215, 2.752, 3.798, 5.437, 7.762, 10.83, 14.68, 19.39, 24.97",\
                 "2.086, 2.236, 2.776, 3.806, 5.442, 7.764, 10.82, 14.69, 19.36, 25",\
                 "2.108, 2.26, 2.794, 3.826, 5.454, 7.76, 10.82, 14.67, 19.39, 24.99",\
                 "2.13, 2.284, 2.814, 3.842, 5.466, 7.766, 10.82, 14.66, 19.38, 25",\
                 "2.166, 2.318, 2.842, 3.86, 5.474, 7.772, 10.82, 14.67, 19.37, 24.96");
        }
      }

      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.001523, 0.003357, 0.006861, 0.01232, 0.01998, 0.03005, 0.04275, 0.05825, 0.07672");
          values("0.4291, 0.4575, 0.5577, 0.7498, 1.05, 1.473, 2.03, 2.732, 3.59, 4.613",\
                 "0.4923, 0.5212, 0.6222, 0.815, 1.116, 1.539, 2.097, 2.8, 3.658, 4.68",\
                 "0.718, 0.7471, 0.8494, 1.044, 1.347, 1.772, 2.331, 3.034, 3.892, 4.914",\
                 "1.071, 1.112, 1.246, 1.469, 1.778, 2.204, 2.763, 3.467, 4.325, 5.349",\
                 "1.425, 1.484, 1.671, 1.98, 2.385, 2.865, 3.432, 4.135, 4.995, 6.018",\
                 "1.765, 1.841, 2.088, 2.492, 3.016, 3.632, 4.319, 5.069, 5.932, 6.954",\
                 "2.077, 2.174, 2.486, 2.992, 3.647, 4.411, 5.255, 6.166, 7.139, 8.19",\
                 "2.355, 2.472, 2.851, 3.472, 4.267, 5.184, 6.202, 7.291, 8.443, 9.657",\
                 "2.585, 2.727, 3.179, 3.917, 4.865, 5.953, 7.149, 8.424, 9.771, 11.18",\
                 "2.757, 2.923, 3.459, 4.322, 5.429, 6.699, 8.083, 9.559, 11.11, 12.72");
        }

        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.001523, 0.003357, 0.006861, 0.01232, 0.01998, 0.03005, 0.04275, 0.05825, 0.07672");
          values("1.441, 1.538, 1.877, 2.522, 3.526, 4.933, 6.784, 9.115, 11.96, 15.36",\
                 "1.494, 1.593, 1.937, 2.59, 3.6, 5.01, 6.864, 9.198, 12.05, 15.44",\
                 "1.693, 1.794, 2.144, 2.806, 3.825, 5.249, 7.109, 9.448, 12.3, 15.69",\
                 "2.148, 2.248, 2.595, 3.256, 4.281, 5.707, 7.572, 9.919, 12.78, 16.17",\
                 "2.901, 3.001, 3.349, 4.003, 5.023, 6.449, 8.319, 10.66, 13.52, 16.93",\
                 "3.829, 3.957, 4.374, 5.074, 6.093, 7.514, 9.381, 11.73, 14.59, 18.01",\
                 "4.846, 5.008, 5.523, 6.377, 7.504, 8.938, 10.8, 13.14, 16.01, 19.41",\
                 "5.957, 6.147, 6.764, 7.789, 9.131, 10.71, 12.6, 14.94, 17.8, 21.2",\
                 "7.152, 7.375, 8.102, 9.302, 10.87, 12.71, 14.77, 17.14, 20, 23.4",\
                 "8.43, 8.693, 9.533, 10.92, 12.72, 14.84, 17.19, 19.74, 22.63, 26.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.001523, 0.003357, 0.006861, 0.01232, 0.01998, 0.03005, 0.04275, 0.05825, 0.07672");
          values("0.6077, 0.657, 0.8305, 1.159, 1.672, 2.393, 3.338, 4.523, 5.963, 7.698",\
                 "0.6107, 0.6601, 0.8313, 1.162, 1.675, 2.391, 3.338, 4.526, 5.971, 7.699",\
                 "0.6198, 0.6654, 0.8336, 1.164, 1.678, 2.396, 3.338, 4.524, 5.974, 7.691",\
                 "0.8672, 0.9062, 1.033, 1.271, 1.702, 2.394, 3.337, 4.527, 5.97, 7.689",\
                 "1.223, 1.272, 1.431, 1.703, 2.077, 2.594, 3.392, 4.528, 5.967, 7.696",\
                 "1.639, 1.697, 1.892, 2.223, 2.672, 3.22, 3.873, 4.775, 6.035, 7.701",\
                 "2.109, 2.18, 2.414, 2.807, 3.336, 3.977, 4.72, 5.554, 6.578, 7.966",\
                 "2.632, 2.716, 2.992, 3.454, 4.068, 4.806, 5.662, 6.598, 7.642, 8.822",\
                 "3.204, 3.306, 3.626, 4.158, 4.868, 5.708, 6.672, 7.74, 8.896, 10.15",\
                 "3.83, 3.948, 4.318, 4.928, 5.726, 6.682, 7.768, 8.952, 10.25, 11.64");
        }

        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.001523, 0.003357, 0.006861, 0.01232, 0.01998, 0.03005, 0.04275, 0.05825, 0.07672");
          values("1.991, 2.145, 2.704, 3.767, 5.426, 7.748, 10.81, 14.68, 19.38, 24.98",\
                 "1.988, 2.144, 2.709, 3.769, 5.426, 7.751, 10.81, 14.67, 19.37, 24.99",\
                 "1.986, 2.146, 2.702, 3.766, 5.428, 7.758, 10.82, 14.67, 19.38, 24.99",\
                 "1.981, 2.143, 2.706, 3.768, 5.429, 7.751, 10.81, 14.67, 19.37, 24.98",\
                 "2.15, 2.278, 2.753, 3.775, 5.431, 7.755, 10.82, 14.66, 19.37, 24.96",\
                 "2.702, 2.814, 3.193, 3.991, 5.464, 7.755, 10.81, 14.66, 19.36, 24.98",\
                 "3.35, 3.487, 3.926, 4.676, 5.868, 7.852, 10.83, 14.69, 19.37, 24.99",\
                 "4.066, 4.22, 4.722, 5.596, 6.768, 8.414, 11, 14.68, 19.38, 24.97",\
                 "4.812, 4.996, 5.598, 6.572, 7.892, 9.508, 11.71, 14.93, 19.43, 24.99",\
                 "5.606, 5.822, 6.492, 7.618, 9.106, 10.9, 12.97, 15.78, 19.74, 25.07");
        }
      }

      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.001523, 0.003357, 0.006861, 0.01232, 0.01998, 0.03005, 0.04275, 0.05825, 0.07672");
          values("0.4291, 0.4574, 0.5577, 0.7495, 1.05, 1.472, 2.03, 2.732, 3.59, 4.613",\
                 "0.4922, 0.5211, 0.6221, 0.815, 1.116, 1.539, 2.097, 2.8, 3.658, 4.68",\
                 "0.7179, 0.7471, 0.8493, 1.044, 1.347, 1.772, 2.33, 3.034, 3.892, 4.915",\
                 "1.071, 1.112, 1.246, 1.469, 1.778, 2.203, 2.763, 3.466, 4.326, 5.348",\
                 "1.425, 1.484, 1.67, 1.98, 2.385, 2.865, 3.432, 4.135, 4.994, 6.018",\
                 "1.765, 1.84, 2.087, 2.491, 3.017, 3.632, 4.319, 5.069, 5.933, 6.955",\
                 "2.078, 2.174, 2.485, 2.993, 3.646, 4.411, 5.255, 6.166, 7.14, 8.189",\
                 "2.353, 2.473, 2.851, 3.471, 4.267, 5.184, 6.203, 7.29, 8.442, 9.657",\
                 "2.584, 2.725, 3.178, 3.917, 4.865, 5.953, 7.149, 8.424, 9.77, 11.18",\
                 "2.758, 2.924, 3.459, 4.323, 5.428, 6.698, 8.083, 9.557, 11.1, 12.72");
        }

        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.001523, 0.003357, 0.006861, 0.01232, 0.01998, 0.03005, 0.04275, 0.05825, 0.07672");
          values("1.44, 1.536, 1.875, 2.52, 3.524, 4.932, 6.783, 9.116, 11.96, 15.35",\
                 "1.492, 1.591, 1.936, 2.589, 3.599, 5.012, 6.865, 9.198, 12.05, 15.44",\
                 "1.692, 1.793, 2.143, 2.805, 3.826, 5.247, 7.11, 9.453, 12.3, 15.69",\
                 "2.148, 2.247, 2.595, 3.257, 4.28, 5.707, 7.572, 9.916, 12.78, 16.18",\
                 "2.901, 3.001, 3.349, 4.004, 5.023, 6.45, 8.318, 10.67, 13.53, 16.93",\
                 "3.829, 3.958, 4.375, 5.075, 6.094, 7.515, 9.383, 11.73, 14.59, 18.01",\
                 "4.85, 5.009, 5.521, 6.378, 7.505, 8.937, 10.8, 13.15, 16.01, 19.41",\
                 "5.958, 6.147, 6.766, 7.789, 9.13, 10.71, 12.6, 14.94, 17.8, 21.2",\
                 "7.152, 7.377, 8.103, 9.295, 10.87, 12.71, 14.77, 17.14, 20, 23.4",\
                 "8.435, 8.692, 9.531, 10.92, 12.72, 14.84, 17.19, 19.74, 22.63, 26.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.001523, 0.003357, 0.006861, 0.01232, 0.01998, 0.03005, 0.04275, 0.05825, 0.07672");
          values("0.6076, 0.6568, 0.83, 1.16, 1.673, 2.394, 3.336, 4.525, 5.964, 7.691",\
                 "0.6104, 0.6599, 0.8319, 1.162, 1.675, 2.395, 3.338, 4.526, 5.972, 7.7",\
                 "0.6188, 0.665, 0.8326, 1.164, 1.678, 2.397, 3.337, 4.524, 5.964, 7.7",\
                 "0.8676, 0.9068, 1.034, 1.271, 1.702, 2.396, 3.339, 4.521, 5.974, 7.689",\
                 "1.225, 1.271, 1.431, 1.704, 2.077, 2.594, 3.39, 4.527, 5.969, 7.696",\
                 "1.638, 1.699, 1.895, 2.223, 2.673, 3.218, 3.873, 4.774, 6.039, 7.697",\
                 "2.108, 2.178, 2.414, 2.812, 3.336, 3.977, 4.718, 5.552, 6.576, 7.972",\
                 "2.632, 2.714, 2.992, 3.454, 4.07, 4.806, 5.658, 6.6, 7.642, 8.82",\
                 "3.202, 3.302, 3.622, 4.162, 4.866, 5.724, 6.67, 7.734, 8.9, 10.15",\
                 "3.836, 3.95, 4.318, 4.928, 5.734, 6.686, 7.778, 8.95, 10.25, 11.63");
        }

        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.001523, 0.003357, 0.006861, 0.01232, 0.01998, 0.03005, 0.04275, 0.05825, 0.07672");
          values("1.989, 2.148, 2.705, 3.781, 5.443, 7.771, 10.83, 14.7, 19.39, 25.01",\
                 "1.989, 2.145, 2.712, 3.774, 5.434, 7.758, 10.82, 14.67, 19.38, 25",\
                 "1.985, 2.145, 2.707, 3.78, 5.444, 7.762, 10.83, 14.69, 19.36, 24.99",\
                 "1.981, 2.143, 2.705, 3.771, 5.434, 7.758, 10.81, 14.67, 19.38, 24.99",\
                 "2.152, 2.278, 2.753, 3.777, 5.435, 7.755, 10.82, 14.68, 19.37, 24.97",\
                 "2.706, 2.822, 3.194, 3.991, 5.468, 7.754, 10.82, 14.68, 19.38, 24.99",\
                 "3.349, 3.485, 3.924, 4.68, 5.866, 7.852, 10.83, 14.67, 19.37, 25",\
                 "4.074, 4.22, 4.726, 5.594, 6.764, 8.426, 11, 14.69, 19.39, 24.98",\
                 "4.818, 4.996, 5.594, 6.576, 7.894, 9.508, 11.71, 14.95, 19.44, 25",\
                 "5.608, 5.818, 6.5, 7.62, 9.1, 10.9, 12.97, 15.79, 19.75, 25.08");
        }
      }

      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.001523, 0.003357, 0.006861, 0.01232, 0.01998, 0.03005, 0.04275, 0.05825, 0.07672");
          values("0.4291, 0.4574, 0.5577, 0.7495, 1.05, 1.472, 2.03, 2.732, 3.59, 4.613",\
                 "0.4922, 0.5211, 0.6221, 0.815, 1.116, 1.539, 2.097, 2.8, 3.658, 4.68",\
                 "0.7179, 0.7471, 0.8493, 1.044, 1.347, 1.772, 2.33, 3.034, 3.892, 4.915",\
                 "1.071, 1.112, 1.246, 1.469, 1.778, 2.203, 2.763, 3.466, 4.326, 5.348",\
                 "1.425, 1.484, 1.67, 1.98, 2.385, 2.865, 3.432, 4.135, 4.994, 6.018",\
                 "1.765, 1.84, 2.087, 2.491, 3.017, 3.632, 4.319, 5.069, 5.933, 6.955",\
                 "2.078, 2.174, 2.485, 2.993, 3.646, 4.411, 5.255, 6.166, 7.14, 8.189",\
                 "2.353, 2.473, 2.851, 3.471, 4.267, 5.184, 6.203, 7.29, 8.442, 9.657",\
                 "2.584, 2.725, 3.178, 3.917, 4.865, 5.953, 7.149, 8.424, 9.77, 11.18",\
                 "2.758, 2.924, 3.459, 4.323, 5.428, 6.698, 8.083, 9.557, 11.1, 12.72");
        }

        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.001523, 0.003357, 0.006861, 0.01232, 0.01998, 0.03005, 0.04275, 0.05825, 0.07672");
          values("1.441, 1.538, 1.877, 2.522, 3.526, 4.933, 6.784, 9.115, 11.96, 15.36",\
                 "1.494, 1.593, 1.937, 2.59, 3.6, 5.01, 6.864, 9.198, 12.05, 15.44",\
                 "1.693, 1.794, 2.144, 2.806, 3.825, 5.249, 7.109, 9.448, 12.3, 15.69",\
                 "2.148, 2.248, 2.595, 3.256, 4.281, 5.707, 7.572, 9.919, 12.78, 16.17",\
                 "2.901, 3.001, 3.349, 4.003, 5.023, 6.449, 8.319, 10.66, 13.52, 16.93",\
                 "3.829, 3.957, 4.374, 5.074, 6.093, 7.514, 9.381, 11.73, 14.59, 18.01",\
                 "4.846, 5.008, 5.523, 6.377, 7.504, 8.938, 10.8, 13.14, 16.01, 19.41",\
                 "5.957, 6.147, 6.764, 7.789, 9.131, 10.71, 12.6, 14.94, 17.8, 21.2",\
                 "7.152, 7.375, 8.102, 9.302, 10.87, 12.71, 14.77, 17.14, 20, 23.4",\
                 "8.43, 8.693, 9.533, 10.92, 12.72, 14.84, 17.19, 19.74, 22.63, 26.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.001523, 0.003357, 0.006861, 0.01232, 0.01998, 0.03005, 0.04275, 0.05825, 0.07672");
          values("0.6077, 0.657, 0.8305, 1.159, 1.672, 2.393, 3.338, 4.523, 5.963, 7.698",\
                 "0.6107, 0.6601, 0.8313, 1.162, 1.675, 2.391, 3.338, 4.526, 5.971, 7.699",\
                 "0.6198, 0.6654, 0.8336, 1.164, 1.678, 2.396, 3.338, 4.524, 5.974, 7.691",\
                 "0.8672, 0.9062, 1.033, 1.271, 1.702, 2.394, 3.337, 4.527, 5.97, 7.689",\
                 "1.223, 1.272, 1.431, 1.703, 2.077, 2.594, 3.392, 4.528, 5.967, 7.696",\
                 "1.639, 1.697, 1.892, 2.223, 2.672, 3.22, 3.873, 4.775, 6.035, 7.701",\
                 "2.109, 2.18, 2.414, 2.807, 3.336, 3.977, 4.72, 5.554, 6.578, 7.966",\
                 "2.632, 2.716, 2.992, 3.454, 4.068, 4.806, 5.662, 6.598, 7.642, 8.822",\
                 "3.204, 3.306, 3.626, 4.158, 4.868, 5.708, 6.672, 7.74, 8.896, 10.15",\
                 "3.83, 3.948, 4.318, 4.928, 5.726, 6.682, 7.768, 8.952, 10.25, 11.64");
        }

        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.001523, 0.003357, 0.006861, 0.01232, 0.01998, 0.03005, 0.04275, 0.05825, 0.07672");
          values("1.989, 2.148, 2.705, 3.781, 5.443, 7.771, 10.83, 14.7, 19.39, 25.01",\
                 "1.989, 2.145, 2.712, 3.774, 5.434, 7.758, 10.82, 14.67, 19.38, 25",\
                 "1.985, 2.145, 2.707, 3.78, 5.444, 7.762, 10.83, 14.69, 19.36, 24.99",\
                 "1.981, 2.143, 2.705, 3.771, 5.434, 7.758, 10.81, 14.67, 19.38, 24.99",\
                 "2.152, 2.278, 2.753, 3.777, 5.435, 7.755, 10.82, 14.68, 19.37, 24.97",\
                 "2.706, 2.822, 3.194, 3.991, 5.468, 7.754, 10.82, 14.68, 19.38, 24.99",\
                 "3.349, 3.485, 3.924, 4.68, 5.866, 7.852, 10.83, 14.67, 19.37, 25",\
                 "4.074, 4.22, 4.726, 5.594, 6.764, 8.426, 11, 14.69, 19.39, 24.98",\
                 "4.818, 4.996, 5.594, 6.576, 7.894, 9.508, 11.71, 14.95, 19.44, 25",\
                 "5.608, 5.818, 6.5, 7.62, 9.1, 10.9, 12.97, 15.79, 19.75, 25.08");
        }
      }

      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.001523, 0.003357, 0.006861, 0.01232, 0.01998, 0.03005, 0.04275, 0.05825, 0.07672");
          values("2.543, 2.576, 2.692, 2.905, 3.224, 3.661, 4.227, 4.936, 5.799, 6.827",\
                 "2.613, 2.647, 2.762, 2.975, 3.294, 3.731, 4.297, 5.006, 5.869, 6.896",\
                 "2.889, 2.923, 3.04, 3.253, 3.573, 4.009, 4.575, 5.284, 6.146, 7.172",\
                 "3.428, 3.462, 3.579, 3.795, 4.116, 4.554, 5.12, 5.829, 6.69, 7.716",\
                 "4.274, 4.308, 4.428, 4.645, 4.969, 5.41, 5.978, 6.687, 7.55, 8.575",\
                 "5.416, 5.451, 5.573, 5.794, 6.122, 6.565, 7.137, 7.848, 8.712, 9.738",\
                 "6.729, 6.767, 6.892, 7.121, 7.457, 7.908, 8.483, 9.198, 10.06, 11.09",\
                 "8.163, 8.2, 8.334, 8.57, 8.914, 9.373, 9.955, 10.68, 11.55, 12.57",\
                 "9.719, 9.76, 9.898, 10.14, 10.5, 10.96, 11.55, 12.28, 13.15, 14.18",\
                 "11.4, 11.44, 11.59, 11.84, 12.2, 12.68, 13.28, 14, 14.88, 15.91");
        }

        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.001523, 0.003357, 0.006861, 0.01232, 0.01998, 0.03005, 0.04275, 0.05825, 0.07672");
          values("2.345, 2.392, 2.553, 2.854, 3.317, 3.962, 4.811, 5.882, 7.193, 8.756",\
                 "2.409, 2.455, 2.617, 2.919, 3.381, 4.027, 4.877, 5.948, 7.258, 8.822",\
                 "2.562, 2.609, 2.771, 3.074, 3.539, 4.186, 5.037, 6.109, 7.419, 8.983",\
                 "2.81, 2.857, 3.021, 3.329, 3.798, 4.451, 5.306, 6.382, 7.694, 9.259",\
                 "3.159, 3.206, 3.373, 3.684, 4.158, 4.814, 5.673, 6.751, 8.065, 9.631",\
                 "3.521, 3.57, 3.738, 4.05, 4.526, 5.186, 6.048, 7.129, 8.445, 10.01",\
                 "3.864, 3.914, 4.084, 4.4, 4.878, 5.536, 6.397, 7.477, 8.796, 10.37",\
                 "4.154, 4.203, 4.378, 4.697, 5.178, 5.839, 6.7, 7.781, 9.096, 10.66",\
                 "4.371, 4.423, 4.6, 4.923, 5.407, 6.071, 6.934, 8.016, 9.332, 10.9",\
                 "4.507, 4.561, 4.739, 5.068, 5.556, 6.222, 7.086, 8.169, 9.487, 11.06");
        }

        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.001523, 0.003357, 0.006861, 0.01232, 0.01998, 0.03005, 0.04275, 0.05825, 0.07672");
          values("0.8474, 0.898, 1.072, 1.394, 1.894, 2.598, 3.529, 4.708, 6.154, 7.879",\
                 "0.847, 0.8966, 1.071, 1.394, 1.895, 2.598, 3.529, 4.707, 6.153, 7.878",\
                 "0.8462, 0.8966, 1.069, 1.394, 1.892, 2.598, 3.529, 4.708, 6.151, 7.875",\
                 "0.8478, 0.8954, 1.07, 1.393, 1.892, 2.595, 3.528, 4.709, 6.149, 7.88",\
                 "0.8482, 0.8992, 1.073, 1.395, 1.895, 2.599, 3.53, 4.71, 6.154, 7.88",\
                 "0.8586, 0.9086, 1.081, 1.405, 1.902, 2.604, 3.536, 4.712, 6.152, 7.882",\
                 "0.88, 0.93, 1.104, 1.424, 1.92, 2.618, 3.544, 4.718, 6.16, 7.886",\
                 "0.912, 0.96, 1.132, 1.452, 1.942, 2.634, 3.548, 4.724, 6.16, 7.882",\
                 "0.96, 1.008, 1.176, 1.496, 1.98, 2.658, 3.564, 4.724, 6.152, 7.876",\
                 "1.02, 1.064, 1.234, 1.544, 2.022, 2.696, 3.59, 4.738, 6.154, 7.862");
        }

        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.001523, 0.003357, 0.006861, 0.01232, 0.01998, 0.03005, 0.04275, 0.05825, 0.07672");
          values("1.3, 1.376, 1.635, 2.134, 2.914, 4.012, 5.458, 7.283, 9.505, 12.15",\
                 "1.3, 1.372, 1.635, 2.133, 2.914, 4.012, 5.46, 7.278, 9.5, 12.16",\
                 "1.298, 1.377, 1.635, 2.132, 2.914, 4.009, 5.459, 7.277, 9.506, 12.15",\
                 "1.303, 1.381, 1.639, 2.135, 2.914, 4.01, 5.459, 7.278, 9.503, 12.15",\
                 "1.306, 1.383, 1.644, 2.14, 2.915, 4.011, 5.458, 7.282, 9.505, 12.16",\
                 "1.296, 1.367, 1.623, 2.111, 2.887, 3.992, 5.449, 7.278, 9.507, 12.16",\
                 "1.327, 1.398, 1.649, 2.128, 2.888, 3.966, 5.406, 7.242, 9.484, 12.14",\
                 "1.36, 1.43, 1.678, 2.152, 2.904, 3.978, 5.408, 7.22, 9.442, 12.1",\
                 "1.398, 1.468, 1.712, 2.184, 2.926, 3.992, 5.42, 7.232, 9.446, 12.08",\
                 "1.444, 1.51, 1.754, 2.218, 2.952, 4.01, 5.434, 7.236, 9.456, 12.09");
        }
      }

      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.001523, 0.003357, 0.006861, 0.01232, 0.01998, 0.03005, 0.04275, 0.05825, 0.07672");
          values("2.542, 2.576, 2.692, 2.905, 3.224, 3.661, 4.227, 4.936, 5.799, 6.827",\
                 "2.613, 2.647, 2.762, 2.975, 3.294, 3.731, 4.297, 5.006, 5.869, 6.896",\
                 "2.889, 2.923, 3.04, 3.253, 3.573, 4.009, 4.575, 5.284, 6.146, 7.172",\
                 "3.428, 3.462, 3.579, 3.794, 4.116, 4.553, 5.12, 5.829, 6.69, 7.716",\
                 "4.274, 4.309, 4.427, 4.645, 4.969, 5.41, 5.978, 6.687, 7.55, 8.575",\
                 "5.416, 5.451, 5.573, 5.794, 6.122, 6.565, 7.137, 7.848, 8.712, 9.739",\
                 "6.729, 6.766, 6.892, 7.121, 7.456, 7.907, 8.483, 9.199, 10.06, 11.09",\
                 "8.163, 8.201, 8.333, 8.569, 8.914, 9.372, 9.955, 10.67, 11.55, 12.58",\
                 "9.718, 9.759, 9.899, 10.14, 10.5, 10.96, 11.55, 12.28, 13.15, 14.18",\
                 "11.4, 11.44, 11.59, 11.84, 12.2, 12.68, 13.28, 14, 14.88, 15.91");
        }

        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.001523, 0.003357, 0.006861, 0.01232, 0.01998, 0.03005, 0.04275, 0.05825, 0.07672");
          values("2.345, 2.392, 2.553, 2.854, 3.317, 3.962, 4.811, 5.882, 7.193, 8.756",\
                 "2.409, 2.455, 2.616, 2.919, 3.381, 4.027, 4.876, 5.948, 7.258, 8.822",\
                 "2.562, 2.609, 2.771, 3.074, 3.538, 4.186, 5.036, 6.109, 7.419, 8.983",\
                 "2.81, 2.858, 3.021, 3.329, 3.799, 4.452, 5.306, 6.381, 7.694, 9.259",\
                 "3.159, 3.206, 3.373, 3.684, 4.157, 4.813, 5.673, 6.751, 8.065, 9.632",\
                 "3.521, 3.57, 3.738, 4.05, 4.526, 5.186, 6.048, 7.129, 8.445, 10.01",\
                 "3.864, 3.913, 4.084, 4.4, 4.878, 5.536, 6.396, 7.477, 8.797, 10.37",\
                 "4.154, 4.203, 4.378, 4.697, 5.178, 5.838, 6.7, 7.781, 9.096, 10.66",\
                 "4.371, 4.424, 4.6, 4.923, 5.407, 6.071, 6.934, 8.014, 9.332, 10.9",\
                 "4.507, 4.561, 4.739, 5.067, 5.557, 6.222, 7.086, 8.169, 9.487, 11.06");
        }

        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.001523, 0.003357, 0.006861, 0.01232, 0.01998, 0.03005, 0.04275, 0.05825, 0.07672");
          values("0.8476, 0.898, 1.072, 1.394, 1.894, 2.598, 3.528, 4.707, 6.154, 7.879",\
                 "0.847, 0.8966, 1.07, 1.395, 1.896, 2.598, 3.527, 4.705, 6.153, 7.879",\
                 "0.8464, 0.8958, 1.069, 1.394, 1.893, 2.598, 3.528, 4.708, 6.151, 7.872",\
                 "0.8462, 0.8966, 1.07, 1.393, 1.892, 2.596, 3.528, 4.709, 6.148, 7.88",\
                 "0.8494, 0.8992, 1.072, 1.394, 1.896, 2.599, 3.527, 4.709, 6.152, 7.88",\
                 "0.8588, 0.9072, 1.081, 1.406, 1.903, 2.604, 3.534, 4.712, 6.154, 7.876",\
                 "0.88, 0.93, 1.104, 1.424, 1.922, 2.618, 3.544, 4.72, 6.16, 7.886",\
                 "0.91, 0.96, 1.132, 1.452, 1.944, 2.632, 3.548, 4.724, 6.16, 7.882",\
                 "0.96, 1.008, 1.178, 1.492, 1.978, 2.658, 3.564, 4.72, 6.152, 7.872",\
                 "1.02, 1.066, 1.234, 1.544, 2.022, 2.694, 3.588, 4.736, 6.154, 7.864");
        }

        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.001523, 0.003357, 0.006861, 0.01232, 0.01998, 0.03005, 0.04275, 0.05825, 0.07672");
          values("1.3, 1.376, 1.635, 2.134, 2.914, 4.012, 5.458, 7.283, 9.505, 12.15",\
                 "1.297, 1.372, 1.635, 2.133, 2.914, 4.013, 5.459, 7.279, 9.501, 12.16",\
                 "1.298, 1.377, 1.635, 2.132, 2.912, 4.009, 5.458, 7.278, 9.504, 12.15",\
                 "1.303, 1.381, 1.639, 2.135, 2.914, 4.014, 5.458, 7.277, 9.503, 12.15",\
                 "1.305, 1.381, 1.644, 2.14, 2.915, 4.012, 5.458, 7.282, 9.505, 12.16",\
                 "1.296, 1.367, 1.623, 2.111, 2.887, 3.991, 5.449, 7.276, 9.503, 12.15",\
                 "1.327, 1.397, 1.649, 2.128, 2.888, 3.966, 5.406, 7.242, 9.482, 12.14",\
                 "1.36, 1.43, 1.676, 2.152, 2.904, 3.978, 5.41, 7.22, 9.442, 12.1",\
                 "1.398, 1.468, 1.712, 2.182, 2.926, 3.992, 5.42, 7.23, 9.446, 12.09",\
                 "1.444, 1.51, 1.754, 2.218, 2.952, 4.012, 5.434, 7.236, 9.456, 12.09");
        }
      }

      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.001523, 0.003357, 0.006861, 0.01232, 0.01998, 0.03005, 0.04275, 0.05825, 0.07672");
          values("2.542, 2.576, 2.692, 2.905, 3.224, 3.661, 4.227, 4.936, 5.799, 6.827",\
                 "2.613, 2.647, 2.762, 2.975, 3.294, 3.731, 4.297, 5.006, 5.869, 6.896",\
                 "2.889, 2.923, 3.04, 3.253, 3.573, 4.009, 4.575, 5.284, 6.146, 7.172",\
                 "3.428, 3.462, 3.579, 3.794, 4.116, 4.553, 5.12, 5.829, 6.69, 7.716",\
                 "4.274, 4.309, 4.427, 4.645, 4.969, 5.41, 5.978, 6.687, 7.55, 8.575",\
                 "5.416, 5.451, 5.573, 5.794, 6.122, 6.565, 7.137, 7.848, 8.712, 9.739",\
                 "6.729, 6.766, 6.892, 7.121, 7.456, 7.907, 8.483, 9.199, 10.06, 11.09",\
                 "8.163, 8.201, 8.333, 8.569, 8.914, 9.372, 9.955, 10.67, 11.55, 12.58",\
                 "9.718, 9.759, 9.899, 10.14, 10.5, 10.96, 11.55, 12.28, 13.15, 14.18",\
                 "11.4, 11.44, 11.59, 11.84, 12.2, 12.68, 13.28, 14, 14.88, 15.91");
        }

        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.001523, 0.003357, 0.006861, 0.01232, 0.01998, 0.03005, 0.04275, 0.05825, 0.07672");
          values("2.345, 2.392, 2.553, 2.854, 3.317, 3.962, 4.811, 5.882, 7.193, 8.756",\
                 "2.409, 2.455, 2.616, 2.919, 3.381, 4.027, 4.876, 5.948, 7.258, 8.822",\
                 "2.562, 2.609, 2.771, 3.074, 3.538, 4.186, 5.036, 6.109, 7.419, 8.983",\
                 "2.81, 2.858, 3.021, 3.329, 3.799, 4.452, 5.306, 6.381, 7.694, 9.259",\
                 "3.159, 3.206, 3.373, 3.684, 4.157, 4.813, 5.673, 6.751, 8.065, 9.632",\
                 "3.521, 3.57, 3.738, 4.05, 4.526, 5.186, 6.048, 7.129, 8.445, 10.01",\
                 "3.864, 3.913, 4.084, 4.4, 4.878, 5.536, 6.396, 7.477, 8.797, 10.37",\
                 "4.154, 4.203, 4.378, 4.697, 5.178, 5.838, 6.7, 7.781, 9.096, 10.66",\
                 "4.371, 4.424, 4.6, 4.923, 5.407, 6.071, 6.934, 8.014, 9.332, 10.9",\
                 "4.507, 4.561, 4.739, 5.067, 5.557, 6.222, 7.086, 8.169, 9.487, 11.06");
        }

        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.001523, 0.003357, 0.006861, 0.01232, 0.01998, 0.03005, 0.04275, 0.05825, 0.07672");
          values("0.8476, 0.898, 1.072, 1.394, 1.894, 2.598, 3.528, 4.707, 6.154, 7.879",\
                 "0.847, 0.8966, 1.07, 1.395, 1.896, 2.598, 3.527, 4.705, 6.153, 7.879",\
                 "0.8464, 0.8958, 1.069, 1.394, 1.893, 2.598, 3.528, 4.708, 6.151, 7.872",\
                 "0.8462, 0.8966, 1.07, 1.393, 1.892, 2.596, 3.528, 4.709, 6.148, 7.88",\
                 "0.8494, 0.8992, 1.072, 1.394, 1.896, 2.599, 3.527, 4.709, 6.152, 7.88",\
                 "0.8588, 0.9072, 1.081, 1.406, 1.903, 2.604, 3.534, 4.712, 6.154, 7.876",\
                 "0.88, 0.93, 1.104, 1.424, 1.922, 2.618, 3.544, 4.72, 6.16, 7.886",\
                 "0.91, 0.96, 1.132, 1.452, 1.944, 2.632, 3.548, 4.724, 6.16, 7.882",\
                 "0.96, 1.008, 1.178, 1.492, 1.978, 2.658, 3.564, 4.72, 6.152, 7.872",\
                 "1.02, 1.066, 1.234, 1.544, 2.022, 2.694, 3.588, 4.736, 6.154, 7.864");
        }

        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.001523, 0.003357, 0.006861, 0.01232, 0.01998, 0.03005, 0.04275, 0.05825, 0.07672");
          values("1.3, 1.376, 1.635, 2.134, 2.914, 4.012, 5.458, 7.283, 9.505, 12.15",\
                 "1.297, 1.372, 1.635, 2.133, 2.914, 4.013, 5.459, 7.279, 9.501, 12.16",\
                 "1.298, 1.377, 1.635, 2.132, 2.912, 4.009, 5.458, 7.278, 9.504, 12.15",\
                 "1.303, 1.381, 1.639, 2.135, 2.914, 4.014, 5.458, 7.277, 9.503, 12.15",\
                 "1.305, 1.381, 1.644, 2.14, 2.915, 4.012, 5.458, 7.282, 9.505, 12.16",\
                 "1.296, 1.367, 1.623, 2.111, 2.887, 3.991, 5.449, 7.276, 9.503, 12.15",\
                 "1.327, 1.397, 1.649, 2.128, 2.888, 3.966, 5.406, 7.242, 9.482, 12.14",\
                 "1.36, 1.43, 1.676, 2.152, 2.904, 3.978, 5.41, 7.22, 9.442, 12.1",\
                 "1.398, 1.468, 1.712, 2.182, 2.926, 3.992, 5.42, 7.23, 9.446, 12.09",\
                 "1.444, 1.51, 1.754, 2.218, 2.952, 4.012, 5.434, 7.236, 9.456, 12.09");
        }
      }
    }
  }