/*
 * 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_2) {
    area : 61.465600 ;

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

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

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

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

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

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

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

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

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

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

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

    pin(A1) {
      capacitance : 0.004596 ;
      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.00492 ;
      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.00661 ;
      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.3837 ;
      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.003642, 0.01291, 0.03062, 0.05821, 0.09692, 0.1479, 0.212, 0.2904, 0.3837");
          values("0.06357, 0.06366, 0.06396, 0.06431, 0.0646, 0.06479, 0.06492, 0.065, 0.06496, 0.06458",\
                 "0.06359, 0.0637, 0.06398, 0.06433, 0.06462, 0.06481, 0.06495, 0.06502, 0.06497, 0.06457",\
                 "0.06357, 0.06368, 0.06397, 0.06432, 0.06461, 0.0648, 0.06493, 0.065, 0.06491, 0.06442",\
                 "0.06346, 0.06356, 0.06385, 0.06421, 0.06449, 0.06469, 0.06481, 0.06486, 0.06469, 0.06401",\
                 "0.06334, 0.06344, 0.06373, 0.06409, 0.06438, 0.06457, 0.06469, 0.06469, 0.0643, 0.06333",\
                 "0.06324, 0.06335, 0.06364, 0.06399, 0.06428, 0.06447, 0.06456, 0.06436, 0.06352, 0.06228",\
                 "0.06316, 0.06327, 0.06356, 0.06392, 0.06419, 0.06435, 0.06422, 0.06336, 0.062, 0.06085",\
                 "0.06292, 0.06303, 0.06331, 0.06363, 0.0638, 0.06346, 0.06212, 0.06068, 0.05964, 0.05889",\
                 "0.05949, 0.05955, 0.05961, 0.05842, 0.05675, 0.05575, 0.05513, 0.05474, 0.05449, 0.05432",\
                 "0.03225, 0.03232, 0.03247, 0.03263, 0.03274, 0.0328, 0.03284, 0.03286, 0.03287, 0.03288");
        }

        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.003642, 0.01291, 0.03062, 0.05821, 0.09692, 0.1479, 0.212, 0.2904, 0.3837");
          values("-0.02164, -0.02152, -0.02124, -0.0209, -0.0205, -0.01945, -0.004617, 0.05893, 0.1504, 0.2249",\
                 "-0.0217, -0.02159, -0.02135, -0.02095, -0.0206, -0.01934, -0.003703, 0.06084, 0.1515, 0.2246",\
                 "-0.02182, -0.02173, -0.02147, -0.02108, -0.02071, -0.01921, -0.0005487, 0.06819, 0.1555, 0.2235",\
                 "-0.02194, -0.02182, -0.02157, -0.02119, -0.02077, -0.01839, 0.007794, 0.08228, 0.161, 0.2194",\
                 "-0.02204, -0.02195, -0.02167, -0.02131, -0.02086, -0.01539, 0.02546, 0.1004, 0.163, 0.2076",\
                 "-0.0222, -0.02211, -0.02184, -0.02147, -0.02034, -0.003237, 0.05396, 0.1116, 0.1519, 0.18",\
                 "-0.02243, -0.02234, -0.02205, -0.02151, -0.01192, 0.02903, 0.06845, 0.09447, 0.1118, 0.1238",\
                 "-0.02327, -0.02318, -0.02179, -0.008899, 0.00389, 0.01165, 0.0163, 0.01919, 0.02107, 0.02236",\
                 "-0.05894, -0.05894, -0.05894, -0.05894, -0.05893, -0.05893, -0.05893, -0.05893, -0.05893, -0.05893",\
                 "-0.07651, -0.07651, -0.07651, -0.07651, -0.07651, -0.07651, -0.07651, -0.07651, -0.07651, -0.07651");
        }
      }

      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.003642, 0.01291, 0.03062, 0.05821, 0.09692, 0.1479, 0.212, 0.2904, 0.3837");
          values("0.05338, 0.05347, 0.05373, 0.05406, 0.05436, 0.05457, 0.05472, 0.05482, 0.05484, 0.05464",\
                 "0.0533, 0.05339, 0.05365, 0.05399, 0.05429, 0.0545, 0.05465, 0.05475, 0.05476, 0.05455",\
                 "0.05317, 0.05327, 0.05352, 0.05387, 0.05415, 0.05437, 0.05452, 0.05461, 0.05461, 0.05434",\
                 "0.05308, 0.05317, 0.05342, 0.05377, 0.05406, 0.05427, 0.05442, 0.0545, 0.05445, 0.05403",\
                 "0.05299, 0.05306, 0.05333, 0.05367, 0.05396, 0.05417, 0.05432, 0.05437, 0.05417, 0.05344",\
                 "0.05283, 0.05292, 0.05318, 0.05352, 0.05381, 0.05403, 0.05415, 0.05404, 0.05338, 0.0522",\
                 "0.05265, 0.05275, 0.053, 0.05334, 0.05362, 0.05378, 0.05359, 0.05263, 0.05127, 0.05017",\
                 "0.05175, 0.05183, 0.05205, 0.05225, 0.052, 0.05058, 0.04912, 0.04812, 0.04743, 0.04694",\
                 "0.02783, 0.02794, 0.02822, 0.02859, 0.0289, 0.02911, 0.02926, 0.02936, 0.02942, 0.02947",\
                 "0.005056, 0.005056, 0.00506, 0.005058, 0.005059, 0.005059, 0.005059, 0.005057, 0.005057, 0.005057");
        }

        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.003642, 0.01291, 0.03062, 0.05821, 0.09692, 0.1479, 0.212, 0.2904, 0.3837");
          values("-0.0847, -0.08461, -0.08438, -0.08404, -0.08366, -0.08308, -0.07483, -0.02655, 0.0686, 0.1595",\
                 "-0.08469, -0.08459, -0.08438, -0.08401, -0.08366, -0.08303, -0.07447, -0.02455, 0.07075, 0.1601",\
                 "-0.0847, -0.08459, -0.08436, -0.08405, -0.08366, -0.08285, -0.07232, -0.01766, 0.07716, 0.1614",\
                 "-0.0848, -0.08471, -0.08449, -0.08413, -0.08375, -0.08261, -0.068, -0.004966, 0.0867, 0.1618",\
                 "-0.08491, -0.08484, -0.08461, -0.08423, -0.08388, -0.0818, -0.05913, 0.01314, 0.09598, 0.1586",\
                 "-0.085, -0.08491, -0.08468, -0.08432, -0.08392, -0.0792, -0.0422, 0.03377, 0.1003, 0.1481",\
                 "-0.08509, -0.08501, -0.08474, -0.0844, -0.08355, -0.0702, -0.01526, 0.04783, 0.09316, 0.1249",\
                 "-0.08524, -0.08515, -0.08494, -0.08446, -0.07984, -0.04439, 0.005874, 0.04134, 0.06525, 0.0818",\
                 "-0.08593, -0.08584, -0.08563, -0.08164, -0.05596, -0.03005, -0.01366, -0.003242, 0.003642, 0.008346",\
                 "-0.1033, -0.1031, -0.1028, -0.1026, -0.1025, -0.1025, -0.1024, -0.1024, -0.1024, -0.1024");
        }
      }

      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.003642, 0.01291, 0.03062, 0.05821, 0.09692, 0.1479, 0.212, 0.2904, 0.3837");
          values("0.06012, 0.06023, 0.06053, 0.06087, 0.06116, 0.06136, 0.06149, 0.06157, 0.06157, 0.06135",\
                 "0.06015, 0.06026, 0.06055, 0.0609, 0.06119, 0.06139, 0.06152, 0.06159, 0.06159, 0.06135",\
                 "0.06004, 0.06014, 0.06043, 0.06079, 0.06107, 0.06127, 0.0614, 0.06147, 0.06145, 0.06114",\
                 "0.05989, 0.06, 0.06029, 0.06064, 0.06092, 0.06112, 0.06125, 0.06131, 0.06124, 0.06078",\
                 "0.05978, 0.05988, 0.06017, 0.06053, 0.06082, 0.06101, 0.06114, 0.06116, 0.06091, 0.06011",\
                 "0.05973, 0.05983, 0.06013, 0.06048, 0.06076, 0.06095, 0.06105, 0.06086, 0.06004, 0.0588",\
                 "0.05968, 0.05978, 0.06007, 0.06042, 0.06068, 0.06076, 0.06029, 0.059, 0.05766, 0.05666",\
                 "0.05736, 0.05743, 0.05759, 0.05732, 0.05562, 0.05423, 0.05335, 0.05279, 0.05241, 0.05214",\
                 "0.02167, 0.02167, 0.02167, 0.02166, 0.02164, 0.02163, 0.02162, 0.02162, 0.02162, 0.02161",\
                 "0.005029, 0.005029, 0.005028, 0.005029, 0.005028, 0.005028, 0.005029, 0.005029, 0.005029, 0.005028");
        }

        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.003642, 0.01291, 0.03062, 0.05821, 0.09692, 0.1479, 0.212, 0.2904, 0.3837");
          values("-0.02883, -0.02873, -0.02847, -0.02808, -0.02772, -0.02733, -0.02296, 0.01161, 0.1027, 0.2066",\
                 "-0.02885, -0.02874, -0.02847, -0.02807, -0.02772, -0.02732, -0.02255, 0.01327, 0.1047, 0.2076",\
                 "-0.02885, -0.02876, -0.0285, -0.02811, -0.0278, -0.02725, -0.02155, 0.01833, 0.1118, 0.2108",\
                 "-0.02889, -0.02878, -0.02853, -0.02813, -0.02784, -0.02725, -0.01923, 0.02917, 0.1246, 0.2153",\
                 "-0.02898, -0.02886, -0.02862, -0.02822, -0.02789, -0.02691, -0.01317, 0.04845, 0.1408, 0.2176",\
                 "-0.02908, -0.02897, -0.02869, -0.02834, -0.02792, -0.02545, 0.0008956, 0.07555, 0.154, 0.2121",\
                 "-0.02917, -0.02907, -0.02879, -0.02842, -0.02783, -0.0193, 0.02908, 0.09973, 0.1537, 0.1918",\
                 "-0.02925, -0.02915, -0.02886, -0.02848, -0.0254, 0.005061, 0.05978, 0.1009, 0.1287, 0.1479",\
                 "-0.02936, -0.02927, -0.029, -0.02573, -0.0006273, 0.02741, 0.04518, 0.05645, 0.06391, 0.06899",\
                 "-0.0512, -0.0512, -0.05124, -0.05127, -0.05129, -0.0513, -0.05131, -0.05131, -0.05132, -0.05132");
        }
      }

      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.003642, 0.01291, 0.03062, 0.05821, 0.09692, 0.1479, 0.212, 0.2904, 0.3837");
          values("0.03745, 0.03754, 0.0378, 0.03813, 0.03843, 0.03864, 0.03879, 0.0389, 0.03895, 0.03894",\
                 "0.03745, 0.03754, 0.0378, 0.03813, 0.03842, 0.03865, 0.0388, 0.03889, 0.03896, 0.03894",\
                 "0.03744, 0.03753, 0.03779, 0.03812, 0.03841, 0.03863, 0.03878, 0.03888, 0.03894, 0.03891",\
                 "0.03738, 0.03746, 0.03772, 0.03805, 0.03835, 0.03857, 0.03871, 0.03882, 0.03887, 0.03879",\
                 "0.03728, 0.03735, 0.03761, 0.03794, 0.03823, 0.03845, 0.0386, 0.0387, 0.03873, 0.03855",\
                 "0.03716, 0.03724, 0.0375, 0.03782, 0.03811, 0.03834, 0.03849, 0.03858, 0.03853, 0.03811",\
                 "0.03709, 0.03716, 0.03742, 0.03774, 0.03803, 0.03826, 0.0384, 0.03842, 0.0381, 0.0372",\
                 "0.03703, 0.03711, 0.03735, 0.03767, 0.03797, 0.03817, 0.03823, 0.03784, 0.03675, 0.0355",\
                 "0.03694, 0.03702, 0.03726, 0.03755, 0.03776, 0.03762, 0.03658, 0.03512, 0.03401, 0.0332",\
                 "0.03241, 0.03243, 0.0319, 0.03, 0.02882, 0.02819, 0.02784, 0.02762, 0.02749, 0.0274");
        }

        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.003642, 0.01291, 0.03062, 0.05821, 0.09692, 0.1479, 0.212, 0.2904, 0.3837");
          values("0.01914, 0.01921, 0.01945, 0.01982, 0.0202, 0.02076, 0.02583, 0.06396, 0.1565, 0.2574",\
                 "0.01918, 0.01926, 0.01949, 0.01985, 0.0202, 0.02078, 0.02625, 0.06542, 0.1588, 0.2585",\
                 "0.01906, 0.01915, 0.01939, 0.01973, 0.02007, 0.02069, 0.02728, 0.07141, 0.166, 0.2612",\
                 "0.0189, 0.01901, 0.01925, 0.01954, 0.01999, 0.02069, 0.03043, 0.08381, 0.1788, 0.2647",\
                 "0.01879, 0.0189, 0.01911, 0.01949, 0.01987, 0.02132, 0.03889, 0.1062, 0.1948, 0.2646",\
                 "0.01874, 0.01883, 0.01905, 0.01942, 0.01982, 0.02437, 0.06077, 0.1368, 0.2041, 0.2524",\
                 "0.01866, 0.01876, 0.01899, 0.01934, 0.02092, 0.04239, 0.1003, 0.1522, 0.1881, 0.2131",\
                 "0.01804, 0.01812, 0.01835, 0.02067, 0.04413, 0.07571, 0.09631, 0.1095, 0.1182, 0.1242",\
                 "-0.009094, -0.009098, -0.009105, -0.009115, -0.009123, -0.009128, -0.009133, -0.009136, -0.009138, -0.009141",\
                 "-0.02245, -0.02245, -0.02245, -0.02245, -0.02245, -0.02245, -0.02245, -0.02245, -0.02245, -0.02245");
        }
      }

      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.003642, 0.01291, 0.03062, 0.05821, 0.09692, 0.1479, 0.212, 0.2904, 0.3837");
          values("0.0622, 0.0623, 0.0626, 0.06295, 0.06324, 0.06343, 0.06356, 0.06364, 0.06361, 0.06327",\
                 "0.06223, 0.06233, 0.06263, 0.06298, 0.06326, 0.06346, 0.06359, 0.06366, 0.06363, 0.06327",\
                 "0.06221, 0.06231, 0.06261, 0.06296, 0.06325, 0.06345, 0.06357, 0.06364, 0.06358, 0.06313",\
                 "0.06212, 0.06222, 0.06253, 0.06288, 0.06317, 0.06336, 0.06349, 0.06354, 0.06339, 0.06277",\
                 "0.06204, 0.06214, 0.06244, 0.0628, 0.06308, 0.06327, 0.0634, 0.06341, 0.06308, 0.06218",\
                 "0.06198, 0.06209, 0.06238, 0.06274, 0.06302, 0.06321, 0.06332, 0.06316, 0.06244, 0.06122",\
                 "0.06196, 0.06207, 0.06236, 0.06271, 0.06299, 0.06316, 0.0631, 0.06239, 0.06108, 0.05988",\
                 "0.06185, 0.06195, 0.06224, 0.06257, 0.06278, 0.06261, 0.0615, 0.06001, 0.05889, 0.05807",\
                 "0.05959, 0.05967, 0.05983, 0.05946, 0.05772, 0.05638, 0.05554, 0.055, 0.05463, 0.05438",\
                 "0.03435, 0.03443, 0.03467, 0.03495, 0.03515, 0.03529, 0.03537, 0.03542, 0.03546, 0.03548");
        }

        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.003642, 0.01291, 0.03062, 0.05821, 0.09692, 0.1479, 0.212, 0.2904, 0.3837");
          values("-0.04788, -0.04779, -0.04753, -0.04714, -0.04681, -0.04578, -0.03193, 0.02949, 0.1221, 0.1987",\
                 "-0.04801, -0.04792, -0.04766, -0.04725, -0.04695, -0.04589, -0.0314, 0.0311, 0.1231, 0.1986",\
                 "-0.0482, -0.04809, -0.04781, -0.04744, -0.04706, -0.0458, -0.02879, 0.03789, 0.1271, 0.1977",\
                 "-0.04831, -0.04818, -0.04792, -0.04756, -0.04722, -0.04495, -0.02084, 0.05227, 0.1335, 0.1943",\
                 "-0.04839, -0.04828, -0.04803, -0.04762, -0.04718, -0.04216, -0.003161, 0.07233, 0.1369, 0.1829",\
                 "-0.04847, -0.04836, -0.04809, -0.04773, -0.04661, -0.02953, 0.0277, 0.08526, 0.1256, 0.1537",\
                 "-0.04861, -0.04851, -0.04825, -0.04759, -0.03622, 0.004999, 0.04134, 0.06512, 0.08095, 0.09182",\
                 "-0.04991, -0.04995, -0.04671, -0.03758, -0.03115, -0.02738, -0.02516, -0.02378, -0.02289, -0.02229",\
                 "-0.08761, -0.0876, -0.0876, -0.0876, -0.0876, -0.0876, -0.0876, -0.0876, -0.0876, -0.0876",\
                 "-0.1032, -0.1032, -0.1032, -0.1032, -0.1032, -0.1032, -0.1032, -0.1032, -0.1032, -0.1032");
        }
      }

      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.003642, 0.01291, 0.03062, 0.05821, 0.09692, 0.1479, 0.212, 0.2904, 0.3837");
          values("0.05232, 0.05241, 0.05267, 0.05301, 0.0533, 0.05352, 0.05367, 0.05376, 0.05378, 0.05361",\
                 "0.05218, 0.05228, 0.05254, 0.05288, 0.05317, 0.05339, 0.05354, 0.05363, 0.05365, 0.05346",\
                 "0.05202, 0.05211, 0.05237, 0.05271, 0.053, 0.05322, 0.05337, 0.05346, 0.05347, 0.05322",\
                 "0.0519, 0.052, 0.05226, 0.0526, 0.05289, 0.0531, 0.05325, 0.05334, 0.05331, 0.05293",\
                 "0.05184, 0.05193, 0.0522, 0.05254, 0.05283, 0.05304, 0.05319, 0.05325, 0.05307, 0.05238",\
                 "0.05177, 0.05186, 0.05213, 0.05246, 0.05275, 0.05297, 0.05309, 0.05299, 0.05232, 0.05115",\
                 "0.05168, 0.05177, 0.05203, 0.05236, 0.05264, 0.05279, 0.05253, 0.05146, 0.05009, 0.04903",\
                 "0.05034, 0.05042, 0.05061, 0.05071, 0.04992, 0.04824, 0.04703, 0.04623, 0.04569, 0.04531",\
                 "0.02185, 0.02191, 0.02209, 0.0223, 0.02246, 0.02257, 0.02265, 0.02269, 0.02272, 0.02274",\
                 "0.00357, 0.00357, 0.00357, 0.00357, 0.00357, 0.00357, 0.00357, 0.003569, 0.003569, 0.003569");
        }

        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.003642, 0.01291, 0.03062, 0.05821, 0.09692, 0.1479, 0.212, 0.2904, 0.3837");
          values("-0.07198, -0.07189, -0.07165, -0.07133, -0.0709, -0.07031, -0.06317, -0.01733, 0.0779, 0.1712",\
                 "-0.07196, -0.07188, -0.07163, -0.07128, -0.07093, -0.07035, -0.06261, -0.01548, 0.07995, 0.1718",\
                 "-0.07197, -0.07188, -0.07164, -0.0713, -0.07088, -0.07013, -0.06087, -0.008664, 0.08647, 0.1735",\
                 "-0.07205, -0.07196, -0.07171, -0.0714, -0.07099, -0.06992, -0.0569, 0.003673, 0.0966, 0.1746",\
                 "-0.07214, -0.07203, -0.0718, -0.07147, -0.0711, -0.06929, -0.04892, 0.02143, 0.1069, 0.1725",\
                 "-0.0722, -0.07212, -0.07187, -0.07152, -0.0711, -0.06713, -0.03335, 0.04279, 0.113, 0.1636",\
                 "-0.07224, -0.07215, -0.0719, -0.07155, -0.07087, -0.05958, -0.00718, 0.05937, 0.1083, 0.1427",\
                 "-0.0723, -0.0722, -0.07197, -0.07158, -0.06807, -0.03617, 0.01744, 0.05702, 0.08381, 0.1024",\
                 "-0.0727, -0.07261, -0.07237, -0.06991, -0.04626, -0.01503, 0.005364, 0.0184, 0.02703, 0.03295",\
                 "-0.08223, -0.08203, -0.08057, -0.07913, -0.07829, -0.07784, -0.07759, -0.07744, -0.07735, -0.07729");
        }
      }

      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.003642, 0.01291, 0.03062, 0.05821, 0.09692, 0.1479, 0.212, 0.2904, 0.3837");
          values("0.06079, 0.0609, 0.06119, 0.06154, 0.06183, 0.06203, 0.06215, 0.06223, 0.06222, 0.06196",\
                 "0.0607, 0.06081, 0.0611, 0.06146, 0.06174, 0.06193, 0.06206, 0.06214, 0.06213, 0.06185",\
                 "0.06061, 0.06072, 0.06101, 0.06137, 0.06165, 0.06185, 0.06198, 0.06205, 0.06201, 0.06167",\
                 "0.06052, 0.06063, 0.06092, 0.06127, 0.06156, 0.06175, 0.06189, 0.06194, 0.06184, 0.06132",\
                 "0.06045, 0.06056, 0.06085, 0.06121, 0.06148, 0.06168, 0.06181, 0.06182, 0.06151, 0.06063",\
                 "0.06041, 0.06052, 0.0608, 0.06116, 0.06144, 0.06163, 0.06171, 0.06145, 0.06052, 0.05925",\
                 "0.06033, 0.06042, 0.06071, 0.06106, 0.06131, 0.06133, 0.06068, 0.05926, 0.05799, 0.05705",\
                 "0.05691, 0.05697, 0.05705, 0.05602, 0.05431, 0.05325, 0.05259, 0.05218, 0.05191, 0.05172",\
                 "0.01847, 0.01847, 0.01846, 0.01844, 0.01843, 0.01842, 0.01842, 0.01841, 0.01841, 0.01841",\
                 "0.004176, 0.004176, 0.004176, 0.004176, 0.004176, 0.004176, 0.004176, 0.004176, 0.004176, 0.004176");
        }

        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.003642, 0.01291, 0.03062, 0.05821, 0.09692, 0.1479, 0.212, 0.2904, 0.3837");
          values("-0.02919, -0.02908, -0.02884, -0.02846, -0.02807, -0.02769, -0.02311, 0.01189, 0.1029, 0.2065",\
                 "-0.02918, -0.02907, -0.02882, -0.02842, -0.0281, -0.02769, -0.02285, 0.0131, 0.1051, 0.2076",\
                 "-0.02918, -0.02909, -0.02881, -0.02842, -0.02812, -0.02759, -0.02186, 0.0183, 0.1119, 0.2107",\
                 "-0.02922, -0.02911, -0.02886, -0.02847, -0.0281, -0.02757, -0.0197, 0.02812, 0.1237, 0.2148",\
                 "-0.02929, -0.02919, -0.02893, -0.02852, -0.0282, -0.02728, -0.01417, 0.04596, 0.1392, 0.2173",\
                 "-0.02939, -0.02928, -0.02904, -0.02866, -0.02826, -0.0261, -0.001855, 0.07164, 0.1525, 0.2131",\
                 "-0.02949, -0.02937, -0.02914, -0.02874, -0.02821, -0.0211, 0.02392, 0.09688, 0.1546, 0.1955",\
                 "-0.0296, -0.0295, -0.02922, -0.02891, -0.02659, -0.0004351, 0.05658, 0.1026, 0.1339, 0.1556",\
                 "-0.02974, -0.02966, -0.02939, -0.02751, -0.005967, 0.02837, 0.05123, 0.06589, 0.07557, 0.08221",\
                 "-0.04176, -0.04148, -0.04079, -0.04028, -0.04001, -0.03988, -0.0398, -0.03977, -0.03974, -0.03973");
        }
      }

      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.003642, 0.01291, 0.03062, 0.05821, 0.09692, 0.1479, 0.212, 0.2904, 0.3837");
          values("0.03798, 0.03806, 0.03831, 0.03865, 0.03894, 0.03916, 0.03931, 0.03941, 0.03947, 0.03945",\
                 "0.03798, 0.03807, 0.03833, 0.03866, 0.03895, 0.03918, 0.03933, 0.03942, 0.03948, 0.03946",\
                 "0.038, 0.03809, 0.03834, 0.03867, 0.03896, 0.03918, 0.03933, 0.03943, 0.03949, 0.03946",\
                 "0.03795, 0.03804, 0.03829, 0.03862, 0.03892, 0.03914, 0.03929, 0.03939, 0.03944, 0.03936",\
                 "0.03786, 0.03795, 0.0382, 0.03852, 0.03882, 0.03904, 0.03919, 0.03929, 0.03932, 0.03915",\
                 "0.03774, 0.03783, 0.03808, 0.0384, 0.0387, 0.03892, 0.03907, 0.03916, 0.03913, 0.03876",\
                 "0.03764, 0.03772, 0.03798, 0.0383, 0.0386, 0.03881, 0.03896, 0.03901, 0.03874, 0.03792",\
                 "0.03754, 0.03762, 0.03786, 0.0382, 0.03848, 0.0387, 0.03879, 0.03851, 0.03755, 0.03629",\
                 "0.03745, 0.03754, 0.03778, 0.03807, 0.03832, 0.03832, 0.03758, 0.03616, 0.03494, 0.03405",\
                 "0.03455, 0.0346, 0.03464, 0.03372, 0.03197, 0.03089, 0.03025, 0.02985, 0.02958, 0.0294");
        }

        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.003642, 0.01291, 0.03062, 0.05821, 0.09692, 0.1479, 0.212, 0.2904, 0.3837");
          values("0.01828, 0.01838, 0.01862, 0.01895, 0.0193, 0.01989, 0.02574, 0.06683, 0.1606, 0.2587",\
                 "0.01821, 0.01829, 0.0185, 0.01887, 0.01925, 0.01986, 0.02593, 0.06819, 0.1623, 0.2593",\
                 "0.01811, 0.01819, 0.01843, 0.01879, 0.01914, 0.01982, 0.02731, 0.07428, 0.1694, 0.2617",\
                 "0.01803, 0.01812, 0.01835, 0.0187, 0.01906, 0.01985, 0.03103, 0.08749, 0.1819, 0.2644",\
                 "0.01795, 0.01804, 0.01827, 0.0186, 0.01905, 0.02074, 0.04076, 0.1105, 0.1965, 0.2629",\
                 "0.01791, 0.01798, 0.01822, 0.01856, 0.01903, 0.02455, 0.06449, 0.1397, 0.2031, 0.2483",\
                 "0.01779, 0.01787, 0.01814, 0.01845, 0.02052, 0.04544, 0.1029, 0.1505, 0.183, 0.2057",\
                 "0.01696, 0.01706, 0.0173, 0.02108, 0.04668, 0.07299, 0.08962, 0.1002, 0.1072, 0.112",\
                 "-0.01247, -0.01248, -0.01248, -0.01248, -0.01248, -0.01249, -0.01249, -0.01249, -0.01249, -0.0125",\
                 "-0.02477, -0.02477, -0.02477, -0.02477, -0.02477, -0.02477, -0.02477, -0.02477, -0.02477, -0.02477");
        }
      }

      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.003642, 0.01291, 0.03062, 0.05821, 0.09692, 0.1479, 0.212, 0.2904, 0.3837");
          values("0.0398, 0.03989, 0.04015, 0.04048, 0.04076, 0.04097, 0.04112, 0.04122, 0.04128, 0.04128",\
                 "0.03982, 0.03991, 0.04018, 0.04051, 0.04079, 0.041, 0.04115, 0.04124, 0.04131, 0.0413",\
                 "0.03966, 0.03976, 0.04002, 0.04036, 0.04064, 0.04085, 0.041, 0.04109, 0.04115, 0.04114",\
                 "0.03925, 0.03935, 0.03961, 0.03995, 0.04023, 0.04045, 0.04058, 0.04068, 0.04074, 0.0407",\
                 "0.03894, 0.03901, 0.03928, 0.03962, 0.03991, 0.04012, 0.04026, 0.04036, 0.0404, 0.04029",\
                 "0.03869, 0.03878, 0.03905, 0.03939, 0.03968, 0.03989, 0.04003, 0.04012, 0.04012, 0.03985",\
                 "0.03851, 0.03861, 0.03889, 0.03924, 0.03953, 0.03972, 0.03985, 0.03992, 0.03978, 0.03917",\
                 "0.03838, 0.03848, 0.03876, 0.0391, 0.03939, 0.03959, 0.03971, 0.03962, 0.03901, 0.03787",\
                 "0.03834, 0.03843, 0.0387, 0.03905, 0.03932, 0.03948, 0.0393, 0.03838, 0.03702, 0.0359",\
                 "0.03817, 0.03826, 0.03849, 0.03872, 0.03857, 0.03727, 0.03574, 0.03467, 0.03393, 0.03341");
        }

        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.003642, 0.01291, 0.03062, 0.05821, 0.09692, 0.1479, 0.212, 0.2904, 0.3837");
          values("0.003009, 0.003114, 0.003367, 0.003761, 0.004081, 0.004487, 0.007159, 0.03168, 0.113, 0.2253",\
                 "0.002961, 0.003075, 0.003327, 0.003719, 0.004049, 0.004405, 0.007263, 0.03245, 0.1152, 0.2268",\
                 "0.002852, 0.002963, 0.003244, 0.003622, 0.004, 0.004307, 0.007686, 0.03677, 0.123, 0.232",\
                 "0.00274, 0.002835, 0.003118, 0.003497, 0.003871, 0.004318, 0.009119, 0.04553, 0.1376, 0.2398",\
                 "0.002547, 0.002654, 0.00292, 0.003301, 0.00366, 0.004254, 0.01298, 0.06276, 0.1584, 0.2474",\
                 "0.00222, 0.002331, 0.002591, 0.002974, 0.003341, 0.004783, 0.02346, 0.09226, 0.1795, 0.2476",\
                 "0.00193, 0.002035, 0.002308, 0.002645, 0.003157, 0.00953, 0.05248, 0.1265, 0.1866, 0.2292",\
                 "0.001632, 0.001729, 0.001984, 0.002366, 0.00568, 0.03723, 0.09117, 0.1311, 0.1581, 0.1768",\
                 "0.0007075, 0.0008019, 0.001275, 0.01083, 0.03305, 0.04809, 0.05727, 0.06305, 0.0668, 0.06938",\
                 "-0.03332, -0.03333, -0.03333, -0.03333, -0.03333, -0.03333, -0.03333, -0.03333, -0.03333, -0.03333");
        }
      }

      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.003642, 0.01291, 0.03062, 0.05821, 0.09692, 0.1479, 0.212, 0.2904, 0.3837");
          values("0.035, 0.0351, 0.0354, 0.03576, 0.03604, 0.03624, 0.03636, 0.03644, 0.0365, 0.03651",\
                 "0.03501, 0.03512, 0.03542, 0.03578, 0.03607, 0.03626, 0.03639, 0.03647, 0.03652, 0.03653",\
                 "0.03469, 0.03478, 0.03509, 0.03545, 0.03574, 0.03594, 0.03606, 0.03614, 0.03619, 0.03619",\
                 "0.03433, 0.03443, 0.03472, 0.03508, 0.03537, 0.03557, 0.0357, 0.03579, 0.03584, 0.03582",\
                 "0.0341, 0.0342, 0.03446, 0.03478, 0.03507, 0.03529, 0.03543, 0.03553, 0.03558, 0.03551",\
                 "0.03396, 0.03403, 0.03426, 0.03456, 0.03484, 0.03508, 0.03524, 0.03536, 0.03539, 0.03516",\
                 "0.03392, 0.03399, 0.03417, 0.03445, 0.03471, 0.03495, 0.03513, 0.03521, 0.03502, 0.03428",\
                 "0.03395, 0.034, 0.03416, 0.0344, 0.03466, 0.03488, 0.03494, 0.03451, 0.03337, 0.03216",\
                 "0.03312, 0.03313, 0.03325, 0.03337, 0.03328, 0.03218, 0.03068, 0.02962, 0.0289, 0.0284",\
                 "0.0127, 0.01272, 0.01279, 0.01294, 0.01318, 0.01341, 0.0136, 0.01376, 0.01389, 0.01399");
        }

        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.003642, 0.01291, 0.03062, 0.05821, 0.09692, 0.1479, 0.212, 0.2904, 0.3837");
          values("0.0179, 0.01803, 0.01837, 0.01886, 0.01924, 0.0196, 0.02056, 0.03123, 0.08612, 0.1985",\
                 "0.01789, 0.01801, 0.01836, 0.01885, 0.01921, 0.01957, 0.02061, 0.03152, 0.08774, 0.2007",\
                 "0.01783, 0.01796, 0.0183, 0.01878, 0.0192, 0.01954, 0.02073, 0.03345, 0.0936, 0.2083",\
                 "0.01762, 0.01771, 0.01801, 0.01842, 0.01882, 0.0192, 0.02077, 0.03757, 0.1064, 0.2216",\
                 "0.01733, 0.01744, 0.01768, 0.01809, 0.0185, 0.01874, 0.02174, 0.04582, 0.1271, 0.2391",\
                 "0.01713, 0.0172, 0.01742, 0.01776, 0.01806, 0.01854, 0.02377, 0.06247, 0.1547, 0.2556",\
                 "0.017, 0.01706, 0.01726, 0.01746, 0.01795, 0.01884, 0.03138, 0.09112, 0.1846, 0.2635",\
                 "0.01697, 0.01701, 0.01716, 0.0174, 0.01769, 0.02149, 0.05406, 0.13, 0.2018, 0.2537",\
                 "0.01713, 0.01716, 0.01728, 0.01756, 0.01889, 0.03908, 0.09698, 0.1506, 0.1877, 0.2137",\
                 "0.0177, 0.01775, 0.01794, 0.01974, 0.0421, 0.0753, 0.0976, 0.112, 0.1216, 0.1282");
        }
      }

      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.003642, 0.01291, 0.03062, 0.05821, 0.09692, 0.1479, 0.212, 0.2904, 0.3837");
          values("0.035, 0.0351, 0.0354, 0.03576, 0.03604, 0.03624, 0.03636, 0.03644, 0.03649, 0.03651",\
                 "0.03501, 0.03512, 0.03542, 0.03578, 0.03607, 0.03626, 0.03639, 0.03647, 0.03652, 0.03653",\
                 "0.03469, 0.03478, 0.03509, 0.03545, 0.03574, 0.03594, 0.03606, 0.03614, 0.03619, 0.03619",\
                 "0.03433, 0.03444, 0.03473, 0.03508, 0.03538, 0.03557, 0.0357, 0.03578, 0.03583, 0.03582",\
                 "0.03411, 0.0342, 0.03446, 0.03478, 0.03507, 0.03529, 0.03543, 0.03553, 0.03558, 0.03551",\
                 "0.03396, 0.03403, 0.03426, 0.03456, 0.03484, 0.03508, 0.03524, 0.03536, 0.03538, 0.03516",\
                 "0.03391, 0.03399, 0.03417, 0.03445, 0.03471, 0.03495, 0.03514, 0.03521, 0.03502, 0.03428",\
                 "0.03395, 0.034, 0.03415, 0.03441, 0.03466, 0.03487, 0.03495, 0.0345, 0.03337, 0.03216",\
                 "0.03311, 0.03314, 0.03323, 0.03337, 0.03327, 0.03217, 0.03068, 0.02963, 0.0289, 0.02839",\
                 "0.01272, 0.01271, 0.01277, 0.01294, 0.01318, 0.01341, 0.0136, 0.01376, 0.01389, 0.01399");
        }

        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.003642, 0.01291, 0.03062, 0.05821, 0.09692, 0.1479, 0.212, 0.2904, 0.3837");
          values("0.0179, 0.01803, 0.01838, 0.01883, 0.01928, 0.01959, 0.02047, 0.03108, 0.08613, 0.1986",\
                 "0.01789, 0.018, 0.01836, 0.01885, 0.01921, 0.01957, 0.02061, 0.03152, 0.08774, 0.2007",\
                 "0.01783, 0.01797, 0.0183, 0.01875, 0.0192, 0.01954, 0.02073, 0.03343, 0.09388, 0.2083",\
                 "0.01761, 0.01773, 0.01801, 0.01843, 0.01886, 0.01921, 0.02073, 0.03749, 0.106, 0.2216",\
                 "0.01733, 0.01745, 0.01768, 0.01806, 0.01848, 0.01876, 0.02164, 0.04574, 0.1271, 0.2391",\
                 "0.01711, 0.01719, 0.01742, 0.01779, 0.01808, 0.01854, 0.02377, 0.06217, 0.1547, 0.2556",\
                 "0.017, 0.01706, 0.01723, 0.01746, 0.01797, 0.01886, 0.03138, 0.09112, 0.1846, 0.2636",\
                 "0.01697, 0.01703, 0.01718, 0.01738, 0.01769, 0.02143, 0.05408, 0.13, 0.2017, 0.2537",\
                 "0.01713, 0.01716, 0.01728, 0.01756, 0.01886, 0.03908, 0.09708, 0.1506, 0.1877, 0.2137",\
                 "0.0177, 0.01776, 0.01793, 0.01968, 0.04202, 0.0753, 0.0976, 0.112, 0.1216, 0.1282");
        }
      }

      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.003642, 0.01291, 0.03062, 0.05821, 0.09692, 0.1479, 0.212, 0.2904, 0.3837");
          values("0.03979, 0.03988, 0.04014, 0.04047, 0.04076, 0.04096, 0.04111, 0.04121, 0.04127, 0.04127",\
                 "0.03981, 0.0399, 0.04017, 0.0405, 0.04078, 0.041, 0.04114, 0.04124, 0.0413, 0.0413",\
                 "0.03966, 0.03975, 0.04001, 0.04034, 0.04063, 0.04084, 0.04099, 0.04108, 0.04114, 0.04113",\
                 "0.03925, 0.03934, 0.0396, 0.03993, 0.04022, 0.04042, 0.04058, 0.04067, 0.04073, 0.04069",\
                 "0.03892, 0.039, 0.03926, 0.0396, 0.03989, 0.04011, 0.04025, 0.04034, 0.04039, 0.04027",\
                 "0.03867, 0.03876, 0.03904, 0.03938, 0.03967, 0.03988, 0.04002, 0.04011, 0.04011, 0.03984",\
                 "0.0385, 0.0386, 0.03888, 0.03922, 0.03952, 0.03971, 0.03984, 0.0399, 0.03976, 0.03915",\
                 "0.03837, 0.03847, 0.03874, 0.03909, 0.03938, 0.03958, 0.03969, 0.03961, 0.03899, 0.03784",\
                 "0.03832, 0.03841, 0.03869, 0.03904, 0.0393, 0.03946, 0.03928, 0.03835, 0.03699, 0.03587",\
                 "0.03812, 0.03821, 0.03846, 0.03869, 0.03851, 0.0372, 0.03567, 0.03462, 0.03389, 0.03338");
        }

        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.003642, 0.01291, 0.03062, 0.05821, 0.09692, 0.1479, 0.212, 0.2904, 0.3837");
          values("0.002944, 0.003045, 0.003298, 0.003694, 0.004021, 0.004362, 0.007016, 0.03141, 0.1131, 0.2253",\
                 "0.002887, 0.003009, 0.003266, 0.003655, 0.003972, 0.004344, 0.007188, 0.03276, 0.1152, 0.2268",\
                 "0.002782, 0.002886, 0.003146, 0.003546, 0.003875, 0.004246, 0.007608, 0.03677, 0.1231, 0.2319",\
                 "0.002668, 0.002779, 0.003054, 0.003426, 0.003794, 0.00429, 0.009122, 0.04553, 0.1378, 0.2398",\
                 "0.002474, 0.002595, 0.002864, 0.003206, 0.003551, 0.004193, 0.01294, 0.06305, 0.1584, 0.2473",\
                 "0.002153, 0.002269, 0.002513, 0.002908, 0.003232, 0.004738, 0.02344, 0.09227, 0.1795, 0.2475",\
                 "0.001861, 0.001969, 0.00225, 0.002607, 0.003064, 0.009341, 0.05234, 0.1265, 0.1865, 0.2291",\
                 "0.001573, 0.001661, 0.001946, 0.002317, 0.005721, 0.03717, 0.09112, 0.131, 0.158, 0.1767",\
                 "0.0006645, 0.0007574, 0.001196, 0.0107, 0.03299, 0.04799, 0.05716, 0.06297, 0.06669, 0.06927",\
                 "-0.03339, -0.03339, -0.03339, -0.0334, -0.03339, -0.03339, -0.0334, -0.0334, -0.0334, -0.03339");
        }
      }

      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.003642, 0.01291, 0.03062, 0.05821, 0.09692, 0.1479, 0.212, 0.2904, 0.3837");
          values("10.39, 10.51, 10.83, 11.29, 11.85, 12.52, 13.33, 14.29, 15.44, 16.8",\
                 "10.47, 10.59, 10.91, 11.37, 11.93, 12.6, 13.41, 14.37, 15.52, 16.87",\
                 "10.71, 10.82, 11.14, 11.6, 12.16, 12.84, 13.64, 14.61, 15.75, 17.11",\
                 "11.06, 11.17, 11.49, 11.95, 12.51, 13.19, 13.99, 14.96, 16.1, 17.46",\
                 "11.4, 11.52, 11.84, 12.3, 12.86, 13.53, 14.34, 15.3, 16.45, 17.8",\
                 "11.71, 11.82, 12.15, 12.6, 13.16, 13.84, 14.64, 15.61, 16.76, 18.11",\
                 "11.96, 12.07, 12.39, 12.85, 13.41, 14.08, 14.89, 15.86, 17, 18.36",\
                 "12.13, 12.25, 12.57, 13.02, 13.59, 14.26, 15.07, 16.03, 17.18, 18.53",\
                 "12.22, 12.33, 12.66, 13.11, 13.68, 14.35, 15.15, 16.12, 17.27, 18.62",\
                 "12.21, 12.32, 12.65, 13.1, 13.66, 14.34, 15.14, 16.11, 17.26, 18.61");
        }

        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.003642, 0.01291, 0.03062, 0.05821, 0.09692, 0.1479, 0.212, 0.2904, 0.3837");
          values("10.58, 10.69, 11.07, 11.75, 12.81, 14.28, 16.22, 18.65, 21.62, 25.15",\
                 "10.63, 10.74, 11.11, 11.8, 12.86, 14.33, 16.27, 18.7, 21.67, 25.2",\
                 "10.85, 10.96, 11.34, 12.02, 13.08, 14.56, 16.49, 18.92, 21.89, 25.43",\
                 "11.28, 11.4, 11.77, 12.46, 13.52, 14.99, 16.92, 19.36, 22.33, 25.86",\
                 "11.93, 12.04, 12.42, 13.1, 14.16, 15.63, 17.57, 20, 22.97, 26.51",\
                 "12.81, 12.93, 13.3, 13.99, 15.05, 16.52, 18.45, 20.89, 23.86, 27.39",\
                 "13.94, 14.05, 14.43, 15.11, 16.17, 17.65, 19.58, 22.01, 24.98, 28.52",\
                 "15.24, 15.36, 15.73, 16.42, 17.48, 18.95, 20.89, 23.32, 26.29, 29.83",\
                 "16.69, 16.8, 17.18, 17.86, 18.92, 20.4, 22.33, 24.76, 27.73, 31.27",\
                 "18.29, 18.4, 18.78, 19.46, 20.52, 21.99, 23.93, 26.36, 29.33, 32.87");
        }

        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.003642, 0.01291, 0.03062, 0.05821, 0.09692, 0.1479, 0.212, 0.2904, 0.3837");
          values("0.764, 0.856, 1.128, 1.576, 2.21, 3.068, 4.222, 5.712, 7.582, 9.85",\
                 "0.764, 0.856, 1.13, 1.576, 2.212, 3.068, 4.222, 5.71, 7.578, 9.858",\
                 "0.764, 0.854, 1.13, 1.578, 2.208, 3.07, 4.222, 5.71, 7.578, 9.856",\
                 "0.764, 0.856, 1.13, 1.578, 2.208, 3.072, 4.222, 5.71, 7.574, 9.856",\
                 "0.764, 0.854, 1.128, 1.578, 2.21, 3.07, 4.222, 5.71, 7.582, 9.856",\
                 "0.764, 0.856, 1.13, 1.578, 2.21, 3.07, 4.222, 5.71, 7.576, 9.85",\
                 "0.762, 0.856, 1.13, 1.576, 2.21, 3.072, 4.222, 5.708, 7.582, 9.848",\
                 "0.762, 0.854, 1.128, 1.576, 2.206, 3.076, 4.222, 5.706, 7.572, 9.854",\
                 "0.764, 0.856, 1.128, 1.578, 2.208, 3.072, 4.224, 5.702, 7.576, 9.852",\
                 "0.764, 0.854, 1.13, 1.576, 2.212, 3.074, 4.22, 5.708, 7.572, 9.842");
        }

        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.003642, 0.01291, 0.03062, 0.05821, 0.09692, 0.1479, 0.212, 0.2904, 0.3837");
          values("0.62, 0.77, 1.332, 2.446, 4.208, 6.676, 9.928, 14.04, 19.02, 25.01",\
                 "0.62, 0.77, 1.332, 2.448, 4.206, 6.676, 9.934, 14.04, 19.02, 25.01",\
                 "0.62, 0.77, 1.328, 2.446, 4.208, 6.676, 9.928, 14.04, 19.02, 24.99",\
                 "0.62, 0.77, 1.33, 2.448, 4.208, 6.678, 9.924, 14.02, 19.05, 25.01",\
                 "0.62, 0.77, 1.328, 2.448, 4.208, 6.674, 9.934, 14.02, 19.04, 25",\
                 "0.62, 0.772, 1.328, 2.446, 4.206, 6.678, 9.928, 14.03, 19.01, 25.04",\
                 "0.622, 0.77, 1.328, 2.448, 4.208, 6.67, 9.926, 14.04, 19.04, 25.03",\
                 "0.618, 0.774, 1.328, 2.444, 4.206, 6.676, 9.934, 14.04, 19.05, 25.03",\
                 "0.62, 0.77, 1.33, 2.446, 4.21, 6.678, 9.932, 14.04, 19.03, 25.02",\
                 "0.618, 0.77, 1.33, 2.446, 4.21, 6.67, 9.93, 14.04, 19.04, 25.01");
        }
      }

      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.003642, 0.01291, 0.03062, 0.05821, 0.09692, 0.1479, 0.212, 0.2904, 0.3837");
          values("5.182, 5.302, 5.63, 6.092, 6.662, 7.341, 8.152, 9.12, 10.27, 11.63",\
                 "5.236, 5.356, 5.683, 6.147, 6.716, 7.395, 8.206, 9.174, 10.33, 11.68",\
                 "5.432, 5.552, 5.879, 6.343, 6.911, 7.59, 8.401, 9.369, 10.52, 11.88",\
                 "5.803, 5.922, 6.249, 6.713, 7.281, 7.961, 8.772, 9.74, 10.89, 12.25",\
                 "6.355, 6.475, 6.802, 7.266, 7.834, 8.514, 9.325, 10.29, 11.44, 12.8",\
                 "6.977, 7.096, 7.424, 7.886, 8.456, 9.135, 9.945, 10.91, 12.07, 13.42",\
                 "7.569, 7.689, 8.016, 8.48, 9.049, 9.728, 10.54, 11.51, 12.66, 14.02",\
                 "8.105, 8.225, 8.551, 9.017, 9.585, 10.27, 11.08, 12.05, 13.2, 14.56",\
                 "8.577, 8.697, 9.025, 9.488, 10.06, 10.74, 11.55, 12.52, 13.67, 15.03",\
                 "8.968, 9.088, 9.416, 9.881, 10.45, 11.13, 11.94, 12.91, 14.06, 15.42");
        }

        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.003642, 0.01291, 0.03062, 0.05821, 0.09692, 0.1479, 0.212, 0.2904, 0.3837");
          values("7.283, 7.419, 7.833, 8.539, 9.599, 11.07, 13.01, 15.44, 18.41, 21.95",\
                 "7.363, 7.5, 7.914, 8.619, 9.679, 11.15, 13.09, 15.52, 18.49, 22.02",\
                 "7.588, 7.724, 8.138, 8.844, 9.903, 11.38, 13.31, 15.75, 18.71, 22.25",\
                 "8.04, 8.177, 8.59, 9.295, 10.36, 11.83, 13.77, 16.2, 19.17, 22.7",\
                 "8.781, 8.917, 9.331, 10.04, 11.1, 12.57, 14.51, 16.94, 19.9, 23.44",\
                 "9.848, 9.983, 10.4, 11.1, 12.16, 13.64, 15.57, 18.01, 20.97, 24.51",\
                 "11.27, 11.41, 11.82, 12.53, 13.59, 15.06, 16.99, 19.43, 22.4, 25.93",\
                 "13.04, 13.18, 13.59, 14.3, 15.36, 16.83, 18.77, 21.2, 24.17, 27.7",\
                 "15.06, 15.2, 15.61, 16.32, 17.38, 18.86, 20.79, 23.22, 26.19, 29.73",\
                 "17.23, 17.37, 17.79, 18.49, 19.56, 21.03, 22.96, 25.4, 28.36, 31.9");
        }

        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.003642, 0.01291, 0.03062, 0.05821, 0.09692, 0.1479, 0.212, 0.2904, 0.3837");
          values("0.7856, 0.8776, 1.152, 1.602, 2.234, 3.092, 4.239, 5.73, 7.596, 9.87",\
                 "0.7858, 0.8776, 1.152, 1.602, 2.234, 3.1, 4.241, 5.732, 7.596, 9.866",\
                 "0.7862, 0.877, 1.152, 1.602, 2.234, 3.092, 4.239, 5.727, 7.593, 9.857",\
                 "0.7856, 0.8776, 1.153, 1.602, 2.234, 3.094, 4.24, 5.726, 7.592, 9.868",\
                 "0.7864, 0.877, 1.153, 1.602, 2.235, 3.096, 4.24, 5.726, 7.596, 9.862",\
                 "0.786, 0.876, 1.152, 1.602, 2.236, 3.096, 4.246, 5.734, 7.602, 9.866",\
                 "0.788, 0.878, 1.154, 1.6, 2.234, 3.098, 4.246, 5.728, 7.594, 9.87",\
                 "0.79, 0.88, 1.154, 1.604, 2.24, 3.092, 4.246, 5.724, 7.602, 9.856",\
                 "0.79, 0.88, 1.156, 1.604, 2.234, 3.1, 4.24, 5.73, 7.592, 9.85",\
                 "0.792, 0.882, 1.156, 1.606, 2.238, 3.096, 4.244, 5.728, 7.606, 9.86");
        }

        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.003642, 0.01291, 0.03062, 0.05821, 0.09692, 0.1479, 0.212, 0.2904, 0.3837");
          values("0.7606, 0.909, 1.439, 2.502, 4.236, 6.707, 9.95, 14.05, 19.06, 25",\
                 "0.7586, 0.9102, 1.437, 2.501, 4.232, 6.705, 9.95, 14.04, 19.04, 25.01",\
                 "0.759, 0.9104, 1.437, 2.5, 4.233, 6.708, 9.95, 14.06, 19.04, 25.05",\
                 "0.7598, 0.909, 1.437, 2.5, 4.236, 6.7, 9.952, 14.05, 19.04, 25.03",\
                 "0.76, 0.91, 1.438, 2.5, 4.236, 6.708, 9.948, 14.06, 19.03, 25.02",\
                 "0.762, 0.91, 1.436, 2.502, 4.232, 6.706, 9.954, 14.04, 19.05, 25.02",\
                 "0.76, 0.91, 1.438, 2.502, 4.234, 6.702, 9.942, 14.05, 19.04, 25.04",\
                 "0.762, 0.91, 1.442, 2.504, 4.236, 6.696, 9.956, 14.04, 19.06, 25.01",\
                 "0.772, 0.918, 1.446, 2.502, 4.236, 6.708, 9.944, 14.04, 19.06, 25.04",\
                 "0.78, 0.93, 1.452, 2.51, 4.238, 6.698, 9.948, 14.05, 19.06, 25");
        }
      }

      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.003642, 0.01291, 0.03062, 0.05821, 0.09692, 0.1479, 0.212, 0.2904, 0.3837");
          values("10.39, 10.51, 10.83, 11.29, 11.85, 12.52, 13.33, 14.29, 15.44, 16.8",\
                 "10.47, 10.59, 10.91, 11.37, 11.93, 12.6, 13.41, 14.37, 15.52, 16.87",\
                 "10.71, 10.82, 11.14, 11.6, 12.16, 12.84, 13.64, 14.61, 15.75, 17.11",\
                 "11.06, 11.17, 11.49, 11.95, 12.51, 13.19, 13.99, 14.96, 16.1, 17.46",\
                 "11.4, 11.52, 11.84, 12.3, 12.86, 13.53, 14.34, 15.3, 16.45, 17.8",\
                 "11.71, 11.82, 12.15, 12.6, 13.16, 13.84, 14.64, 15.61, 16.76, 18.11",\
                 "11.96, 12.07, 12.39, 12.85, 13.41, 14.08, 14.89, 15.86, 17, 18.36",\
                 "12.13, 12.25, 12.57, 13.02, 13.59, 14.26, 15.07, 16.03, 17.18, 18.53",\
                 "12.22, 12.33, 12.66, 13.11, 13.68, 14.35, 15.15, 16.12, 17.27, 18.62",\
                 "12.21, 12.32, 12.65, 13.1, 13.66, 14.34, 15.14, 16.11, 17.26, 18.61");
        }

        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.003642, 0.01291, 0.03062, 0.05821, 0.09692, 0.1479, 0.212, 0.2904, 0.3837");
          values("10.58, 10.69, 11.07, 11.75, 12.81, 14.28, 16.22, 18.65, 21.62, 25.15",\
                 "10.63, 10.74, 11.11, 11.8, 12.86, 14.33, 16.27, 18.7, 21.67, 25.2",\
                 "10.85, 10.96, 11.34, 12.02, 13.08, 14.56, 16.49, 18.92, 21.89, 25.43",\
                 "11.28, 11.4, 11.77, 12.46, 13.52, 14.99, 16.92, 19.36, 22.33, 25.86",\
                 "11.93, 12.04, 12.42, 13.1, 14.16, 15.63, 17.57, 20, 22.97, 26.51",\
                 "12.81, 12.93, 13.3, 13.99, 15.05, 16.52, 18.45, 20.89, 23.86, 27.39",\
                 "13.94, 14.05, 14.43, 15.11, 16.17, 17.65, 19.58, 22.01, 24.98, 28.52",\
                 "15.24, 15.36, 15.73, 16.42, 17.48, 18.95, 20.89, 23.32, 26.29, 29.83",\
                 "16.69, 16.8, 17.18, 17.86, 18.92, 20.4, 22.33, 24.76, 27.73, 31.27",\
                 "18.29, 18.4, 18.78, 19.46, 20.52, 21.99, 23.93, 26.36, 29.33, 32.87");
        }

        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.003642, 0.01291, 0.03062, 0.05821, 0.09692, 0.1479, 0.212, 0.2904, 0.3837");
          values("0.7856, 0.8776, 1.152, 1.602, 2.234, 3.092, 4.239, 5.73, 7.596, 9.87",\
                 "0.7858, 0.8776, 1.152, 1.602, 2.234, 3.1, 4.241, 5.732, 7.596, 9.866",\
                 "0.7862, 0.877, 1.152, 1.602, 2.234, 3.092, 4.239, 5.727, 7.593, 9.857",\
                 "0.7856, 0.8776, 1.153, 1.602, 2.234, 3.094, 4.24, 5.726, 7.592, 9.868",\
                 "0.7864, 0.877, 1.153, 1.602, 2.235, 3.096, 4.24, 5.726, 7.596, 9.862",\
                 "0.786, 0.876, 1.152, 1.602, 2.236, 3.096, 4.246, 5.734, 7.602, 9.866",\
                 "0.788, 0.878, 1.154, 1.6, 2.234, 3.098, 4.246, 5.728, 7.594, 9.87",\
                 "0.79, 0.88, 1.154, 1.604, 2.24, 3.092, 4.246, 5.724, 7.602, 9.856",\
                 "0.79, 0.88, 1.156, 1.604, 2.234, 3.1, 4.24, 5.73, 7.592, 9.85",\
                 "0.792, 0.882, 1.156, 1.606, 2.238, 3.096, 4.244, 5.728, 7.606, 9.86");
        }

        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.003642, 0.01291, 0.03062, 0.05821, 0.09692, 0.1479, 0.212, 0.2904, 0.3837");
          values("0.7606, 0.909, 1.439, 2.502, 4.236, 6.707, 9.95, 14.05, 19.06, 25",\
                 "0.7586, 0.9102, 1.437, 2.501, 4.232, 6.705, 9.95, 14.04, 19.04, 25.01",\
                 "0.759, 0.9104, 1.437, 2.5, 4.233, 6.708, 9.95, 14.06, 19.04, 25.05",\
                 "0.7598, 0.909, 1.437, 2.5, 4.236, 6.7, 9.952, 14.05, 19.04, 25.03",\
                 "0.76, 0.91, 1.438, 2.5, 4.236, 6.708, 9.948, 14.06, 19.03, 25.02",\
                 "0.762, 0.91, 1.436, 2.502, 4.232, 6.706, 9.954, 14.04, 19.05, 25.02",\
                 "0.76, 0.91, 1.438, 2.502, 4.234, 6.702, 9.942, 14.05, 19.04, 25.04",\
                 "0.762, 0.91, 1.442, 2.504, 4.236, 6.696, 9.956, 14.04, 19.06, 25.01",\
                 "0.772, 0.918, 1.446, 2.502, 4.236, 6.708, 9.944, 14.04, 19.06, 25.04",\
                 "0.78, 0.93, 1.452, 2.51, 4.238, 6.698, 9.948, 14.05, 19.06, 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.003642, 0.01291, 0.03062, 0.05821, 0.09692, 0.1479, 0.212, 0.2904, 0.3837");
          values("8.851, 8.971, 9.298, 9.762, 10.33, 11.01, 11.82, 12.79, 13.94, 15.3",\
                 "8.901, 9.021, 9.349, 9.812, 10.38, 11.06, 11.87, 12.84, 13.99, 15.35",\
                 "9.124, 9.244, 9.571, 10.03, 10.6, 11.28, 12.09, 13.06, 14.21, 15.57",\
                 "9.558, 9.678, 10.01, 10.47, 11.04, 11.72, 12.53, 13.49, 14.65, 16",\
                 "10.2, 10.32, 10.65, 11.11, 11.68, 12.36, 13.17, 14.14, 15.29, 16.65",\
                 "11.09, 11.21, 11.54, 12, 12.57, 13.25, 14.06, 15.02, 16.18, 17.53",\
                 "12.21, 12.33, 12.66, 13.12, 13.69, 14.37, 15.18, 16.15, 17.3, 18.66",\
                 "13.52, 13.64, 13.97, 14.43, 15, 15.68, 16.49, 17.45, 18.6, 19.96",\
                 "14.96, 15.08, 15.41, 15.87, 16.44, 17.12, 17.93, 18.9, 20.05, 21.41",\
                 "16.56, 16.68, 17.01, 17.47, 18.04, 18.72, 19.53, 20.5, 21.65, 23");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.003642, 0.01291, 0.03062, 0.05821, 0.09692, 0.1479, 0.212, 0.2904, 0.3837");
          values("8.603, 8.738, 9.153, 9.859, 10.92, 12.39, 14.33, 16.76, 19.73, 23.26",\
                 "8.681, 8.817, 9.231, 9.938, 11, 12.47, 14.41, 16.84, 19.81, 23.34",\
                 "8.918, 9.053, 9.467, 10.17, 11.23, 12.71, 14.64, 17.08, 20.04, 23.58",\
                 "9.269, 9.405, 9.82, 10.53, 11.59, 13.06, 15, 17.43, 20.4, 23.93",\
                 "9.615, 9.752, 10.16, 10.87, 11.93, 13.41, 15.34, 17.77, 20.74, 24.28",\
                 "9.921, 10.06, 10.47, 11.18, 12.24, 13.71, 15.65, 18.08, 21.05, 24.58",\
                 "10.17, 10.3, 10.72, 11.42, 12.48, 13.96, 15.89, 18.33, 21.29, 24.83",\
                 "10.34, 10.47, 10.89, 11.59, 12.65, 14.13, 16.06, 18.5, 21.46, 25",\
                 "10.43, 10.56, 10.97, 11.68, 12.74, 14.22, 16.15, 18.58, 21.55, 25.09",\
                 "10.41, 10.55, 10.96, 11.67, 12.73, 14.21, 16.14, 18.57, 21.54, 25.07");
        }

        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.003642, 0.01291, 0.03062, 0.05821, 0.09692, 0.1479, 0.212, 0.2904, 0.3837");
          values("0.7838, 0.8756, 1.151, 1.6, 2.232, 3.09, 4.244, 5.728, 7.598, 9.862",\
                 "0.7842, 0.8752, 1.15, 1.599, 2.231, 3.094, 4.244, 5.732, 7.594, 9.866",\
                 "0.7838, 0.875, 1.15, 1.602, 2.232, 3.09, 4.238, 5.73, 7.6, 9.854",\
                 "0.784, 0.874, 1.15, 1.602, 2.232, 3.094, 4.244, 5.732, 7.59, 9.872",\
                 "0.786, 0.876, 1.152, 1.6, 2.232, 3.094, 4.238, 5.728, 7.59, 9.856",\
                 "0.784, 0.876, 1.15, 1.6, 2.234, 3.092, 4.24, 5.726, 7.588, 9.858",\
                 "0.784, 0.874, 1.15, 1.6, 2.232, 3.092, 4.244, 5.732, 7.586, 9.862",\
                 "0.784, 0.876, 1.15, 1.598, 2.228, 3.092, 4.242, 5.73, 7.592, 9.868",\
                 "0.784, 0.876, 1.15, 1.6, 2.234, 3.094, 4.244, 5.73, 7.59, 9.87",\
                 "0.786, 0.876, 1.15, 1.6, 2.234, 3.094, 4.24, 5.73, 7.588, 9.868");
        }

        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.003642, 0.01291, 0.03062, 0.05821, 0.09692, 0.1479, 0.212, 0.2904, 0.3837");
          values("0.7612, 0.9102, 1.439, 2.501, 4.237, 6.698, 9.956, 14.05, 19.04, 25.04",\
                 "0.7622, 0.9102, 1.437, 2.5, 4.236, 6.698, 9.946, 14.06, 19.04, 24.99",\
                 "0.7616, 0.9112, 1.441, 2.502, 4.236, 6.702, 9.956, 14.05, 19.04, 25",\
                 "0.762, 0.91, 1.438, 2.5, 4.236, 6.708, 9.942, 14.05, 19.04, 25",\
                 "0.762, 0.91, 1.44, 2.5, 4.232, 6.704, 9.954, 14.05, 19.05, 25.01",\
                 "0.76, 0.91, 1.436, 2.504, 4.234, 6.704, 9.952, 14.04, 19.05, 25.04",\
                 "0.762, 0.912, 1.442, 2.5, 4.236, 6.7, 9.958, 14.05, 19.04, 25.04",\
                 "0.762, 0.91, 1.438, 2.5, 4.232, 6.706, 9.948, 14.04, 19.04, 25.03",\
                 "0.76, 0.912, 1.438, 2.5, 4.234, 6.69, 9.944, 14.04, 19.06, 25.01",\
                 "0.762, 0.912, 1.438, 2.502, 4.232, 6.698, 9.936, 14.03, 19.02, 25");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.003642, 0.01291, 0.03062, 0.05821, 0.09692, 0.1479, 0.212, 0.2904, 0.3837");
          values("9.083, 9.2, 9.522, 9.977, 10.54, 11.21, 12.02, 12.98, 14.13, 15.49",\
                 "9.161, 9.279, 9.601, 10.06, 10.62, 11.29, 12.1, 13.06, 14.21, 15.56",\
                 "9.385, 9.502, 9.823, 10.28, 10.84, 11.52, 12.32, 13.28, 14.43, 15.79",\
                 "9.837, 9.955, 10.28, 10.73, 11.3, 11.97, 12.77, 13.74, 14.89, 16.24",\
                 "10.58, 10.7, 11.02, 11.47, 12.04, 12.71, 13.51, 14.48, 15.63, 16.98",\
                 "11.64, 11.76, 12.09, 12.54, 13.1, 13.78, 14.58, 15.55, 16.69, 18.05",\
                 "13.06, 13.18, 13.5, 13.96, 14.52, 15.2, 16, 16.96, 18.11, 19.47",\
                 "14.79, 14.91, 15.23, 15.69, 16.25, 16.92, 17.73, 18.69, 19.84, 21.2",\
                 "16.71, 16.83, 17.15, 17.61, 18.17, 18.84, 19.65, 20.61, 21.76, 23.12",\
                 "18.76, 18.88, 19.2, 19.65, 20.21, 20.89, 21.69, 22.66, 23.8, 25.16");
        }

        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.003642, 0.01291, 0.03062, 0.05821, 0.09692, 0.1479, 0.212, 0.2904, 0.3837");
          values("6.911, 7.026, 7.4, 8.087, 9.143, 10.62, 12.55, 14.99, 17.96, 21.49",\
                 "6.965, 7.08, 7.454, 8.141, 9.197, 10.67, 12.61, 15.04, 18.01, 21.54",\
                 "7.16, 7.276, 7.649, 8.336, 9.392, 10.87, 12.8, 15.24, 18.2, 21.74",\
                 "7.533, 7.648, 8.022, 8.708, 9.764, 11.24, 13.17, 15.61, 18.58, 22.11",\
                 "8.087, 8.203, 8.576, 9.263, 10.32, 11.79, 13.73, 16.16, 19.13, 22.67",\
                 "8.716, 8.831, 9.205, 9.891, 10.95, 12.42, 14.36, 16.79, 19.76, 23.29",\
                 "9.318, 9.431, 9.805, 10.49, 11.55, 13.02, 14.96, 17.39, 20.36, 23.9",\
                 "9.863, 9.978, 10.35, 11.04, 12.1, 13.57, 15.51, 17.94, 20.91, 24.45",\
                 "10.35, 10.46, 10.83, 11.52, 12.58, 14.05, 15.99, 18.42, 21.39, 24.93",\
                 "10.75, 10.86, 11.24, 11.92, 12.98, 14.46, 16.39, 18.82, 21.79, 25.33");
        }

        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.003642, 0.01291, 0.03062, 0.05821, 0.09692, 0.1479, 0.212, 0.2904, 0.3837");
          values("0.7632, 0.8542, 1.129, 1.579, 2.209, 3.07, 4.222, 5.712, 7.584, 9.852",\
                 "0.7638, 0.8554, 1.13, 1.578, 2.21, 3.07, 4.222, 5.708, 7.582, 9.858",\
                 "0.7648, 0.855, 1.13, 1.578, 2.21, 3.066, 4.218, 5.712, 7.578, 9.85",\
                 "0.764, 0.856, 1.13, 1.578, 2.21, 3.066, 4.22, 5.71, 7.578, 9.856",\
                 "0.764, 0.854, 1.13, 1.578, 2.21, 3.068, 4.22, 5.71, 7.578, 9.85",\
                 "0.764, 0.854, 1.128, 1.578, 2.212, 3.068, 4.22, 5.712, 7.576, 9.856",\
                 "0.764, 0.854, 1.128, 1.578, 2.21, 3.068, 4.218, 5.708, 7.57, 9.858",\
                 "0.764, 0.854, 1.13, 1.578, 2.208, 3.07, 4.218, 5.708, 7.582, 9.858",\
                 "0.764, 0.854, 1.128, 1.576, 2.21, 3.074, 4.22, 5.71, 7.582, 9.842",\
                 "0.762, 0.852, 1.128, 1.576, 2.206, 3.076, 4.214, 5.708, 7.576, 9.848");
        }

        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.003642, 0.01291, 0.03062, 0.05821, 0.09692, 0.1479, 0.212, 0.2904, 0.3837");
          values("0.6196, 0.7702, 1.329, 2.448, 4.207, 6.678, 9.928, 14.03, 19.05, 24.97",\
                 "0.6202, 0.7722, 1.329, 2.448, 4.206, 6.672, 9.934, 14.04, 19.04, 24.99",\
                 "0.6198, 0.7704, 1.329, 2.447, 4.202, 6.672, 9.934, 14.04, 19.05, 24.99",\
                 "0.6188, 0.7712, 1.328, 2.447, 4.203, 6.67, 9.924, 14.04, 19.05, 25.02",\
                 "0.62, 0.772, 1.33, 2.448, 4.204, 6.676, 9.926, 14.03, 19.01, 25",\
                 "0.62, 0.772, 1.33, 2.448, 4.208, 6.676, 9.926, 14.03, 19.05, 25.01",\
                 "0.62, 0.772, 1.33, 2.448, 4.206, 6.674, 9.924, 14.03, 19.03, 24.99",\
                 "0.62, 0.772, 1.328, 2.446, 4.198, 6.678, 9.932, 14.04, 19.06, 25.03",\
                 "0.62, 0.772, 1.33, 2.448, 4.2, 6.672, 9.922, 14.03, 19.04, 25.03",\
                 "0.62, 0.774, 1.328, 2.448, 4.2, 6.672, 9.924, 14.01, 19.03, 24.98");
        }
      }

      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.003642, 0.01291, 0.03062, 0.05821, 0.09692, 0.1479, 0.212, 0.2904, 0.3837");
          values("9.083, 9.2, 9.522, 9.977, 10.54, 11.21, 12.02, 12.98, 14.13, 15.49",\
                 "9.161, 9.279, 9.601, 10.06, 10.62, 11.29, 12.1, 13.06, 14.21, 15.56",\
                 "9.385, 9.502, 9.823, 10.28, 10.84, 11.52, 12.32, 13.28, 14.43, 15.79",\
                 "9.837, 9.955, 10.28, 10.73, 11.3, 11.97, 12.77, 13.74, 14.89, 16.24",\
                 "10.58, 10.7, 11.02, 11.47, 12.04, 12.71, 13.51, 14.48, 15.63, 16.98",\
                 "11.64, 11.76, 12.09, 12.54, 13.1, 13.78, 14.58, 15.55, 16.69, 18.05",\
                 "13.06, 13.18, 13.5, 13.96, 14.52, 15.2, 16, 16.96, 18.11, 19.47",\
                 "14.79, 14.91, 15.23, 15.69, 16.25, 16.92, 17.73, 18.69, 19.84, 21.2",\
                 "16.71, 16.83, 17.15, 17.61, 18.17, 18.84, 19.65, 20.61, 21.76, 23.12",\
                 "18.76, 18.88, 19.2, 19.65, 20.21, 20.89, 21.69, 22.66, 23.8, 25.16");
        }

        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.003642, 0.01291, 0.03062, 0.05821, 0.09692, 0.1479, 0.212, 0.2904, 0.3837");
          values("6.911, 7.026, 7.4, 8.087, 9.143, 10.62, 12.55, 14.99, 17.96, 21.49",\
                 "6.965, 7.08, 7.454, 8.141, 9.197, 10.67, 12.61, 15.04, 18.01, 21.54",\
                 "7.16, 7.276, 7.649, 8.336, 9.392, 10.87, 12.8, 15.24, 18.2, 21.74",\
                 "7.533, 7.648, 8.022, 8.708, 9.764, 11.24, 13.17, 15.61, 18.58, 22.11",\
                 "8.087, 8.203, 8.576, 9.263, 10.32, 11.79, 13.73, 16.16, 19.13, 22.67",\
                 "8.716, 8.831, 9.205, 9.891, 10.95, 12.42, 14.36, 16.79, 19.76, 23.29",\
                 "9.318, 9.431, 9.805, 10.49, 11.55, 13.02, 14.96, 17.39, 20.36, 23.9",\
                 "9.863, 9.978, 10.35, 11.04, 12.1, 13.57, 15.51, 17.94, 20.91, 24.45",\
                 "10.35, 10.46, 10.83, 11.52, 12.58, 14.05, 15.99, 18.42, 21.39, 24.93",\
                 "10.75, 10.86, 11.24, 11.92, 12.98, 14.46, 16.39, 18.82, 21.79, 25.33");
        }

        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.003642, 0.01291, 0.03062, 0.05821, 0.09692, 0.1479, 0.212, 0.2904, 0.3837");
          values("0.7838, 0.8756, 1.151, 1.6, 2.232, 3.09, 4.244, 5.728, 7.598, 9.862",\
                 "0.7842, 0.8752, 1.15, 1.599, 2.231, 3.094, 4.244, 5.732, 7.594, 9.866",\
                 "0.7838, 0.875, 1.15, 1.602, 2.232, 3.09, 4.238, 5.73, 7.6, 9.854",\
                 "0.784, 0.874, 1.15, 1.602, 2.232, 3.094, 4.244, 5.732, 7.59, 9.872",\
                 "0.786, 0.876, 1.152, 1.6, 2.232, 3.094, 4.238, 5.728, 7.59, 9.856",\
                 "0.784, 0.876, 1.15, 1.6, 2.234, 3.092, 4.24, 5.726, 7.588, 9.858",\
                 "0.784, 0.874, 1.15, 1.6, 2.232, 3.092, 4.244, 5.732, 7.586, 9.862",\
                 "0.784, 0.876, 1.15, 1.598, 2.228, 3.092, 4.242, 5.73, 7.592, 9.868",\
                 "0.784, 0.876, 1.15, 1.6, 2.234, 3.094, 4.244, 5.73, 7.59, 9.87",\
                 "0.786, 0.876, 1.15, 1.6, 2.234, 3.094, 4.24, 5.73, 7.588, 9.868");
        }

        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.003642, 0.01291, 0.03062, 0.05821, 0.09692, 0.1479, 0.212, 0.2904, 0.3837");
          values("0.7612, 0.9102, 1.439, 2.501, 4.237, 6.698, 9.956, 14.05, 19.04, 25.04",\
                 "0.7622, 0.9102, 1.437, 2.5, 4.236, 6.698, 9.946, 14.06, 19.04, 24.99",\
                 "0.7616, 0.9112, 1.441, 2.502, 4.236, 6.702, 9.956, 14.05, 19.04, 25",\
                 "0.762, 0.91, 1.438, 2.5, 4.236, 6.708, 9.942, 14.05, 19.04, 25",\
                 "0.762, 0.91, 1.44, 2.5, 4.232, 6.704, 9.954, 14.05, 19.05, 25.01",\
                 "0.76, 0.91, 1.436, 2.504, 4.234, 6.704, 9.952, 14.04, 19.05, 25.04",\
                 "0.762, 0.912, 1.442, 2.5, 4.236, 6.7, 9.958, 14.05, 19.04, 25.04",\
                 "0.762, 0.91, 1.438, 2.5, 4.232, 6.706, 9.948, 14.04, 19.04, 25.03",\
                 "0.76, 0.912, 1.438, 2.5, 4.234, 6.69, 9.944, 14.04, 19.06, 25.01",\
                 "0.762, 0.912, 1.438, 2.502, 4.232, 6.698, 9.936, 14.03, 19.02, 25");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.003642, 0.01291, 0.03062, 0.05821, 0.09692, 0.1479, 0.212, 0.2904, 0.3837");
          values("10.1, 10.22, 10.54, 11, 11.56, 12.23, 13.04, 14, 15.15, 16.51",\
                 "10.17, 10.29, 10.61, 11.07, 11.63, 12.3, 13.11, 14.07, 15.22, 16.58",\
                 "10.39, 10.51, 10.83, 11.29, 11.85, 12.52, 13.33, 14.29, 15.44, 16.8",\
                 "10.73, 10.85, 11.17, 11.63, 12.19, 12.86, 13.67, 14.63, 15.78, 17.14",\
                 "11.06, 11.18, 11.5, 11.96, 12.52, 13.19, 14, 14.96, 16.11, 17.47",\
                 "11.35, 11.46, 11.79, 12.24, 12.8, 13.48, 14.28, 15.25, 16.4, 17.75",\
                 "11.57, 11.69, 12.01, 12.47, 13.03, 13.71, 14.51, 15.47, 16.62, 17.98",\
                 "11.73, 11.85, 12.17, 12.63, 13.19, 13.86, 14.67, 15.63, 16.78, 18.14",\
                 "11.79, 11.91, 12.24, 12.69, 13.25, 13.93, 14.73, 15.7, 16.85, 18.2",\
                 "11.75, 11.87, 12.19, 12.65, 13.21, 13.88, 14.69, 15.65, 16.8, 18.16");
        }

        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.003642, 0.01291, 0.03062, 0.05821, 0.09692, 0.1479, 0.212, 0.2904, 0.3837");
          values("10.33, 10.44, 10.82, 11.5, 12.56, 14.03, 15.97, 18.4, 21.37, 24.91",\
                 "10.36, 10.47, 10.85, 11.53, 12.59, 14.06, 16, 18.43, 21.4, 24.94",\
                 "10.54, 10.65, 11.03, 11.71, 12.77, 14.24, 16.18, 18.61, 21.58, 25.12",\
                 "10.99, 11.1, 11.47, 12.16, 13.22, 14.69, 16.63, 19.06, 22.03, 25.56",\
                 "11.73, 11.85, 12.22, 12.91, 13.97, 15.44, 17.37, 19.81, 22.78, 26.32",\
                 "12.81, 12.92, 13.3, 13.99, 15.04, 16.52, 18.45, 20.88, 23.85, 27.39",\
                 "14.2, 14.32, 14.69, 15.38, 16.43, 17.91, 19.84, 22.28, 25.25, 28.78",\
                 "15.82, 15.93, 16.31, 16.99, 18.05, 19.52, 21.46, 23.89, 26.86, 30.4",\
                 "17.57, 17.69, 18.06, 18.75, 19.8, 21.28, 23.21, 25.65, 28.61, 32.15",\
                 "19.46, 19.58, 19.95, 20.64, 21.69, 23.17, 25.1, 27.54, 30.51, 34.04");
        }

        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.003642, 0.01291, 0.03062, 0.05821, 0.09692, 0.1479, 0.212, 0.2904, 0.3837");
          values("0.7632, 0.854, 1.13, 1.578, 2.208, 3.07, 4.224, 5.71, 7.576, 9.852",\
                 "0.764, 0.854, 1.13, 1.578, 2.21, 3.072, 4.222, 5.71, 7.578, 9.85",\
                 "0.764, 0.854, 1.13, 1.578, 2.212, 3.07, 4.216, 5.71, 7.574, 9.856",\
                 "0.764, 0.856, 1.13, 1.578, 2.21, 3.066, 4.22, 5.712, 7.578, 9.858",\
                 "0.764, 0.854, 1.13, 1.578, 2.21, 3.072, 4.224, 5.71, 7.578, 9.848",\
                 "0.764, 0.854, 1.13, 1.576, 2.208, 3.066, 4.216, 5.71, 7.572, 9.856",\
                 "0.764, 0.854, 1.13, 1.578, 2.208, 3.07, 4.222, 5.708, 7.57, 9.844",\
                 "0.764, 0.854, 1.13, 1.576, 2.206, 3.074, 4.222, 5.704, 7.584, 9.856",\
                 "0.764, 0.854, 1.128, 1.58, 2.212, 3.068, 4.222, 5.704, 7.57, 9.852",\
                 "0.762, 0.854, 1.13, 1.578, 2.21, 3.068, 4.22, 5.704, 7.582, 9.838");
        }

        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.003642, 0.01291, 0.03062, 0.05821, 0.09692, 0.1479, 0.212, 0.2904, 0.3837");
          values("0.622, 0.772, 1.328, 2.446, 4.204, 6.672, 9.934, 14.04, 19.02, 25",\
                 "0.62, 0.77, 1.328, 2.448, 4.204, 6.67, 9.932, 14.04, 19.02, 25",\
                 "0.62, 0.77, 1.328, 2.448, 4.208, 6.674, 9.93, 14.04, 19.02, 25",\
                 "0.62, 0.77, 1.328, 2.448, 4.206, 6.678, 9.934, 14.04, 19.04, 25.01",\
                 "0.62, 0.77, 1.33, 2.448, 4.206, 6.676, 9.934, 14.02, 19.04, 25.02",\
                 "0.62, 0.772, 1.328, 2.448, 4.208, 6.676, 9.928, 14.03, 19.01, 25.04",\
                 "0.62, 0.77, 1.33, 2.448, 4.208, 6.67, 9.932, 14.04, 19.05, 25.02",\
                 "0.618, 0.772, 1.328, 2.446, 4.208, 6.674, 9.924, 14.03, 19.04, 25.04",\
                 "0.622, 0.772, 1.33, 2.448, 4.206, 6.674, 9.926, 14.04, 19.04, 25.04",\
                 "0.62, 0.77, 1.328, 2.448, 4.202, 6.676, 9.928, 14.04, 19.03, 25.04");
        }
      }

      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.003642, 0.01291, 0.03062, 0.05821, 0.09692, 0.1479, 0.212, 0.2904, 0.3837");
          values("5.23, 5.35, 5.677, 6.141, 6.709, 7.389, 8.199, 9.168, 10.32, 11.68",\
                 "5.293, 5.413, 5.74, 6.204, 6.772, 7.452, 8.263, 9.231, 10.38, 11.74",\
                 "5.462, 5.582, 5.91, 6.371, 6.941, 7.62, 8.431, 9.399, 10.55, 11.91",\
                 "5.755, 5.876, 6.202, 6.665, 7.235, 7.914, 8.724, 9.693, 10.84, 12.2",\
                 "6.186, 6.306, 6.633, 7.096, 7.664, 8.344, 9.155, 10.12, 11.27, 12.63",\
                 "6.685, 6.805, 7.132, 7.596, 8.165, 8.844, 9.655, 10.62, 11.78, 13.13",\
                 "7.183, 7.303, 7.632, 8.093, 8.664, 9.343, 10.15, 11.12, 12.27, 13.63",\
                 "7.648, 7.768, 8.097, 8.559, 9.129, 9.809, 10.62, 11.59, 12.74, 14.1",\
                 "8.065, 8.185, 8.514, 8.977, 9.546, 10.23, 11.04, 12, 13.16, 14.51",\
                 "8.41, 8.53, 8.858, 9.322, 9.893, 10.57, 11.38, 12.35, 13.5, 14.86");
        }

        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.003642, 0.01291, 0.03062, 0.05821, 0.09692, 0.1479, 0.212, 0.2904, 0.3837");
          values("7.676, 7.812, 8.226, 8.932, 9.991, 11.47, 13.4, 15.83, 18.8, 22.34",\
                 "7.722, 7.859, 8.272, 8.978, 10.04, 11.51, 13.45, 15.88, 18.85, 22.38",\
                 "7.956, 8.092, 8.506, 9.212, 10.27, 11.75, 13.68, 16.11, 19.08, 22.62",\
                 "8.426, 8.561, 8.976, 9.682, 10.74, 12.22, 14.15, 16.58, 19.55, 23.09",\
                 "9.177, 9.315, 9.729, 10.43, 11.49, 12.97, 14.9, 17.34, 20.3, 23.84",\
                 "10.25, 10.39, 10.8, 11.51, 12.57, 14.04, 15.98, 18.41, 21.38, 24.91",\
                 "11.68, 11.81, 12.23, 12.93, 13.99, 15.47, 17.4, 19.83, 22.8, 26.34",\
                 "13.46, 13.6, 14.01, 14.72, 15.78, 17.25, 19.19, 21.62, 24.59, 28.13",\
                 "15.53, 15.67, 16.08, 16.79, 17.85, 19.33, 21.26, 23.69, 26.66, 30.2",\
                 "17.77, 17.91, 18.33, 19.03, 20.09, 21.57, 23.5, 25.93, 28.9, 32.44");
        }

        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.003642, 0.01291, 0.03062, 0.05821, 0.09692, 0.1479, 0.212, 0.2904, 0.3837");
          values("0.7864, 0.877, 1.153, 1.602, 2.235, 3.092, 4.239, 5.727, 7.593, 9.871",\
                 "0.7858, 0.8774, 1.152, 1.601, 2.234, 3.095, 4.238, 5.728, 7.594, 9.87",\
                 "0.7864, 0.8772, 1.153, 1.602, 2.233, 3.094, 4.24, 5.728, 7.593, 9.862",\
                 "0.7856, 0.8766, 1.152, 1.602, 2.234, 3.096, 4.238, 5.727, 7.596, 9.862",\
                 "0.7862, 0.8776, 1.153, 1.602, 2.235, 3.092, 4.238, 5.726, 7.594, 9.864",\
                 "0.784, 0.876, 1.154, 1.6, 2.234, 3.096, 4.24, 5.728, 7.592, 9.87",\
                 "0.786, 0.878, 1.154, 1.602, 2.234, 3.098, 4.244, 5.732, 7.592, 9.87",\
                 "0.788, 0.88, 1.154, 1.602, 2.238, 3.098, 4.24, 5.726, 7.596, 9.854",\
                 "0.792, 0.882, 1.158, 1.604, 2.236, 3.096, 4.246, 5.732, 7.588, 9.852",\
                 "0.792, 0.882, 1.156, 1.604, 2.238, 3.102, 4.242, 5.73, 7.602, 9.856");
        }

        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.003642, 0.01291, 0.03062, 0.05821, 0.09692, 0.1479, 0.212, 0.2904, 0.3837");
          values("0.762, 0.9116, 1.439, 2.503, 4.234, 6.701, 9.954, 14.05, 19.06, 25.04",\
                 "0.7612, 0.9112, 1.44, 2.503, 4.237, 6.708, 9.944, 14.05, 19.06, 25.03",\
                 "0.7608, 0.9108, 1.438, 2.501, 4.232, 6.706, 9.95, 14.05, 19.05, 25.06",\
                 "0.76, 0.9104, 1.438, 2.502, 4.234, 6.7, 9.95, 14.04, 19.04, 25.03",\
                 "0.76, 0.912, 1.438, 2.502, 4.234, 6.706, 9.958, 14.05, 19.04, 25.02",\
                 "0.76, 0.91, 1.438, 2.502, 4.234, 6.704, 9.946, 14.04, 19.04, 25.03",\
                 "0.762, 0.912, 1.44, 2.5, 4.236, 6.698, 9.94, 14.04, 19.06, 25.02",\
                 "0.762, 0.912, 1.44, 2.502, 4.232, 6.692, 9.956, 14.05, 19.06, 25.04",\
                 "0.768, 0.916, 1.446, 2.5, 4.238, 6.7, 9.956, 14.04, 19.06, 25.02",\
                 "0.778, 0.926, 1.452, 2.506, 4.236, 6.694, 9.952, 14.05, 19.05, 25.02");
        }
      }

      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.003642, 0.01291, 0.03062, 0.05821, 0.09692, 0.1479, 0.212, 0.2904, 0.3837");
          values("10.1, 10.22, 10.54, 11, 11.56, 12.23, 13.04, 14, 15.15, 16.51",\
                 "10.17, 10.29, 10.61, 11.07, 11.63, 12.3, 13.11, 14.07, 15.22, 16.58",\
                 "10.39, 10.51, 10.83, 11.29, 11.85, 12.52, 13.33, 14.29, 15.44, 16.8",\
                 "10.73, 10.85, 11.17, 11.63, 12.19, 12.86, 13.67, 14.63, 15.78, 17.14",\
                 "11.06, 11.18, 11.5, 11.96, 12.52, 13.19, 14, 14.96, 16.11, 17.47",\
                 "11.35, 11.46, 11.79, 12.24, 12.8, 13.48, 14.28, 15.25, 16.4, 17.75",\
                 "11.57, 11.69, 12.01, 12.47, 13.03, 13.71, 14.51, 15.47, 16.62, 17.98",\
                 "11.73, 11.85, 12.17, 12.63, 13.19, 13.86, 14.67, 15.63, 16.78, 18.14",\
                 "11.79, 11.91, 12.24, 12.69, 13.25, 13.93, 14.73, 15.7, 16.85, 18.2",\
                 "11.75, 11.87, 12.19, 12.65, 13.21, 13.88, 14.69, 15.65, 16.8, 18.16");
        }

        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.003642, 0.01291, 0.03062, 0.05821, 0.09692, 0.1479, 0.212, 0.2904, 0.3837");
          values("10.33, 10.44, 10.82, 11.5, 12.56, 14.03, 15.97, 18.4, 21.37, 24.91",\
                 "10.36, 10.47, 10.85, 11.53, 12.59, 14.06, 16, 18.43, 21.4, 24.94",\
                 "10.54, 10.65, 11.03, 11.71, 12.77, 14.24, 16.18, 18.61, 21.58, 25.12",\
                 "10.99, 11.1, 11.47, 12.16, 13.22, 14.69, 16.63, 19.06, 22.03, 25.56",\
                 "11.73, 11.85, 12.22, 12.91, 13.97, 15.44, 17.37, 19.81, 22.78, 26.32",\
                 "12.81, 12.92, 13.3, 13.99, 15.04, 16.52, 18.45, 20.88, 23.85, 27.39",\
                 "14.2, 14.32, 14.69, 15.38, 16.43, 17.91, 19.84, 22.28, 25.25, 28.78",\
                 "15.82, 15.93, 16.31, 16.99, 18.05, 19.52, 21.46, 23.89, 26.86, 30.4",\
                 "17.57, 17.69, 18.06, 18.75, 19.8, 21.28, 23.21, 25.65, 28.61, 32.15",\
                 "19.46, 19.58, 19.95, 20.64, 21.69, 23.17, 25.1, 27.54, 30.51, 34.04");
        }

        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.003642, 0.01291, 0.03062, 0.05821, 0.09692, 0.1479, 0.212, 0.2904, 0.3837");
          values("0.7864, 0.877, 1.153, 1.602, 2.235, 3.092, 4.239, 5.727, 7.593, 9.871",\
                 "0.7858, 0.8774, 1.152, 1.601, 2.234, 3.095, 4.238, 5.728, 7.594, 9.87",\
                 "0.7864, 0.8772, 1.153, 1.602, 2.233, 3.094, 4.24, 5.728, 7.593, 9.862",\
                 "0.7856, 0.8766, 1.152, 1.602, 2.234, 3.096, 4.238, 5.727, 7.596, 9.862",\
                 "0.7862, 0.8776, 1.153, 1.602, 2.235, 3.092, 4.238, 5.726, 7.594, 9.864",\
                 "0.784, 0.876, 1.154, 1.6, 2.234, 3.096, 4.24, 5.728, 7.592, 9.87",\
                 "0.786, 0.878, 1.154, 1.602, 2.234, 3.098, 4.244, 5.732, 7.592, 9.87",\
                 "0.788, 0.88, 1.154, 1.602, 2.238, 3.098, 4.24, 5.726, 7.596, 9.854",\
                 "0.792, 0.882, 1.158, 1.604, 2.236, 3.096, 4.246, 5.732, 7.588, 9.852",\
                 "0.792, 0.882, 1.156, 1.604, 2.238, 3.102, 4.242, 5.73, 7.602, 9.856");
        }

        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.003642, 0.01291, 0.03062, 0.05821, 0.09692, 0.1479, 0.212, 0.2904, 0.3837");
          values("0.762, 0.9116, 1.439, 2.503, 4.234, 6.701, 9.954, 14.05, 19.06, 25.04",\
                 "0.7612, 0.9112, 1.44, 2.503, 4.237, 6.708, 9.944, 14.05, 19.06, 25.03",\
                 "0.7608, 0.9108, 1.438, 2.501, 4.232, 6.706, 9.95, 14.05, 19.05, 25.06",\
                 "0.76, 0.9104, 1.438, 2.502, 4.234, 6.7, 9.95, 14.04, 19.04, 25.03",\
                 "0.76, 0.912, 1.438, 2.502, 4.234, 6.706, 9.958, 14.05, 19.04, 25.02",\
                 "0.76, 0.91, 1.438, 2.502, 4.234, 6.704, 9.946, 14.04, 19.04, 25.03",\
                 "0.762, 0.912, 1.44, 2.5, 4.236, 6.698, 9.94, 14.04, 19.06, 25.02",\
                 "0.762, 0.912, 1.44, 2.502, 4.232, 6.692, 9.956, 14.05, 19.06, 25.04",\
                 "0.768, 0.916, 1.446, 2.5, 4.238, 6.7, 9.956, 14.04, 19.06, 25.02",\
                 "0.778, 0.926, 1.452, 2.506, 4.236, 6.694, 9.952, 14.05, 19.05, 25.02");
        }
      }

      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.003642, 0.01291, 0.03062, 0.05821, 0.09692, 0.1479, 0.212, 0.2904, 0.3837");
          values("8.602, 8.722, 9.049, 9.512, 10.08, 10.76, 11.57, 12.54, 13.69, 15.05",\
                 "8.632, 8.752, 9.079, 9.542, 10.11, 10.79, 11.6, 12.57, 13.72, 15.08",\
                 "8.812, 8.932, 9.26, 9.722, 10.29, 10.97, 11.78, 12.75, 13.9, 15.26",\
                 "9.26, 9.379, 9.706, 10.17, 10.74, 11.42, 12.23, 13.2, 14.35, 15.7",\
                 "10.01, 10.13, 10.46, 10.92, 11.49, 12.17, 12.98, 13.94, 15.1, 16.45",\
                 "11.09, 11.21, 11.53, 11.99, 12.56, 13.24, 14.05, 15.02, 16.17, 17.53",\
                 "12.48, 12.6, 12.92, 13.39, 13.95, 14.63, 15.44, 16.41, 17.56, 18.92",\
                 "14.09, 14.21, 14.54, 15, 15.57, 16.25, 17.06, 18.03, 19.18, 20.54",\
                 "15.85, 15.97, 16.29, 16.76, 17.32, 18, 18.81, 19.78, 20.93, 22.29",\
                 "17.74, 17.86, 18.18, 18.64, 19.21, 19.89, 20.7, 21.67, 22.82, 24.18");
        }

        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.003642, 0.01291, 0.03062, 0.05821, 0.09692, 0.1479, 0.212, 0.2904, 0.3837");
          values("8.304, 8.44, 8.854, 9.56, 10.62, 12.09, 14.03, 16.46, 19.43, 22.96",\
                 "8.373, 8.51, 8.924, 9.629, 10.69, 12.16, 14.1, 16.53, 19.5, 23.03",\
                 "8.595, 8.731, 9.144, 9.85, 10.91, 12.39, 14.32, 16.75, 19.72, 23.25",\
                 "8.935, 9.071, 9.485, 10.19, 11.25, 12.73, 14.66, 17.09, 20.06, 23.6",\
                 "9.264, 9.401, 9.814, 10.52, 11.58, 13.05, 14.99, 17.42, 20.39, 23.92",\
                 "9.548, 9.684, 10.1, 10.8, 11.86, 13.34, 15.27, 17.71, 20.67, 24.21",\
                 "9.774, 9.91, 10.32, 11.03, 12.09, 13.56, 15.5, 17.93, 20.9, 24.44",\
                 "9.928, 10.07, 10.48, 11.19, 12.25, 13.72, 15.65, 18.09, 21.05, 24.59",\
                 "9.996, 10.13, 10.55, 11.25, 12.31, 13.79, 15.72, 18.15, 21.12, 24.66",\
                 "9.956, 10.09, 10.51, 11.21, 12.27, 13.75, 15.68, 18.11, 21.08, 24.62");
        }

        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.003642, 0.01291, 0.03062, 0.05821, 0.09692, 0.1479, 0.212, 0.2904, 0.3837");
          values("0.784, 0.8752, 1.151, 1.6, 2.232, 3.089, 4.236, 5.726, 7.592, 9.868",\
                 "0.7838, 0.8758, 1.151, 1.6, 2.231, 3.09, 4.244, 5.73, 7.598, 9.87",\
                 "0.7842, 0.8756, 1.15, 1.6, 2.232, 3.092, 4.238, 5.732, 7.598, 9.854",\
                 "0.784, 0.876, 1.152, 1.6, 2.232, 3.092, 4.236, 5.728, 7.59, 9.858",\
                 "0.784, 0.876, 1.152, 1.6, 2.23, 3.09, 4.242, 5.728, 7.594, 9.86",\
                 "0.784, 0.874, 1.15, 1.6, 2.232, 3.092, 4.244, 5.724, 7.594, 9.864",\
                 "0.784, 0.876, 1.15, 1.6, 2.234, 3.092, 4.24, 5.728, 7.59, 9.876",\
                 "0.786, 0.876, 1.15, 1.6, 2.232, 3.092, 4.242, 5.73, 7.59, 9.872",\
                 "0.784, 0.874, 1.15, 1.6, 2.232, 3.09, 4.236, 5.73, 7.598, 9.866",\
                 "0.784, 0.876, 1.152, 1.6, 2.232, 3.096, 4.238, 5.72, 7.596, 9.87");
        }

        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.003642, 0.01291, 0.03062, 0.05821, 0.09692, 0.1479, 0.212, 0.2904, 0.3837");
          values("0.7602, 0.9084, 1.438, 2.5, 4.237, 6.704, 9.952, 14.05, 19.06, 24.99",\
                 "0.7588, 0.9098, 1.438, 2.501, 4.232, 6.7, 9.95, 14.05, 19.04, 25.03",\
                 "0.7596, 0.9096, 1.437, 2.503, 4.236, 6.706, 9.942, 14.05, 19.04, 25",\
                 "0.7598, 0.908, 1.438, 2.5, 4.238, 6.708, 9.954, 14.05, 19.03, 25.02",\
                 "0.76, 0.908, 1.438, 2.498, 4.236, 6.706, 9.944, 14.06, 19.05, 25",\
                 "0.758, 0.91, 1.436, 2.502, 4.236, 6.708, 9.946, 14.04, 19.03, 25.02",\
                 "0.76, 0.91, 1.442, 2.502, 4.234, 6.708, 9.948, 14.06, 19.06, 25.02",\
                 "0.758, 0.908, 1.436, 2.5, 4.23, 6.704, 9.94, 14.05, 19.05, 25.04",\
                 "0.76, 0.91, 1.44, 2.502, 4.234, 6.69, 9.94, 14.04, 19.06, 25.01",\
                 "0.758, 0.912, 1.438, 2.5, 4.23, 6.694, 9.942, 14.03, 19.05, 25.02");
        }
      }

      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.003642, 0.01291, 0.03062, 0.05821, 0.09692, 0.1479, 0.212, 0.2904, 0.3837");
          values("9.46, 9.578, 9.899, 10.36, 10.92, 11.59, 12.4, 13.36, 14.51, 15.86",\
                 "9.506, 9.624, 9.946, 10.4, 10.96, 11.64, 12.44, 13.41, 14.55, 15.91",\
                 "9.739, 9.857, 10.18, 10.64, 11.2, 11.87, 12.68, 13.64, 14.79, 16.14",\
                 "10.21, 10.33, 10.65, 11.1, 11.67, 12.34, 13.15, 14.11, 15.26, 16.61",\
                 "10.96, 11.08, 11.4, 11.86, 12.42, 13.09, 13.9, 14.86, 16.01, 17.37",\
                 "12.04, 12.15, 12.47, 12.93, 13.49, 14.17, 14.97, 15.94, 17.09, 18.44",\
                 "13.46, 13.58, 13.9, 14.35, 14.92, 15.59, 16.4, 17.36, 18.51, 19.86",\
                 "15.22, 15.33, 15.66, 16.11, 16.67, 17.35, 18.15, 19.12, 20.27, 21.62",\
                 "17.2, 17.32, 17.64, 18.09, 18.66, 19.33, 20.14, 21.1, 22.25, 23.6",\
                 "19.31, 19.43, 19.75, 20.21, 20.77, 21.45, 22.25, 23.21, 24.36, 25.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.003642, 0.01291, 0.03062, 0.05821, 0.09692, 0.1479, 0.212, 0.2904, 0.3837");
          values("6.959, 7.074, 7.448, 8.134, 9.191, 10.67, 12.6, 15.03, 18, 21.54",\
                 "7.022, 7.137, 7.511, 8.198, 9.255, 10.73, 12.66, 15.1, 18.06, 21.6",\
                 "7.191, 7.306, 7.68, 8.366, 9.422, 10.9, 12.83, 15.27, 18.23, 21.77",\
                 "7.484, 7.599, 7.974, 8.66, 9.717, 11.19, 13.13, 15.56, 18.53, 22.06",\
                 "7.917, 8.032, 8.405, 9.092, 10.15, 11.62, 13.56, 15.99, 18.96, 22.49",\
                 "8.421, 8.536, 8.91, 9.596, 10.65, 12.13, 14.06, 16.5, 19.46, 23",\
                 "8.925, 9.04, 9.414, 10.1, 11.16, 12.63, 14.57, 17, 19.97, 23.5",\
                 "9.399, 9.513, 9.887, 10.57, 11.63, 13.1, 15.04, 17.47, 20.44, 23.98",\
                 "9.821, 9.934, 10.31, 11, 12.05, 13.53, 15.46, 17.9, 20.87, 24.4",\
                 "10.18, 10.29, 10.67, 11.35, 12.41, 13.88, 15.82, 18.25, 21.22, 24.75");
        }

        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.003642, 0.01291, 0.03062, 0.05821, 0.09692, 0.1479, 0.212, 0.2904, 0.3837");
          values("0.763, 0.8544, 1.13, 1.577, 2.21, 3.066, 4.218, 5.704, 7.574, 9.858",\
                 "0.764, 0.8554, 1.13, 1.576, 2.21, 3.072, 4.222, 5.71, 7.582, 9.85",\
                 "0.764, 0.856, 1.13, 1.578, 2.208, 3.072, 4.214, 5.708, 7.582, 9.848",\
                 "0.764, 0.856, 1.128, 1.578, 2.21, 3.066, 4.216, 5.708, 7.58, 9.842",\
                 "0.764, 0.854, 1.13, 1.578, 2.212, 3.068, 4.22, 5.71, 7.584, 9.854",\
                 "0.764, 0.854, 1.13, 1.576, 2.21, 3.066, 4.218, 5.708, 7.574, 9.848",\
                 "0.764, 0.854, 1.13, 1.576, 2.21, 3.068, 4.216, 5.706, 7.58, 9.854",\
                 "0.764, 0.856, 1.13, 1.578, 2.21, 3.072, 4.218, 5.706, 7.58, 9.842",\
                 "0.764, 0.856, 1.132, 1.578, 2.21, 3.074, 4.22, 5.71, 7.58, 9.852",\
                 "0.764, 0.856, 1.13, 1.578, 2.208, 3.068, 4.216, 5.71, 7.576, 9.856");
        }

        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.003642, 0.01291, 0.03062, 0.05821, 0.09692, 0.1479, 0.212, 0.2904, 0.3837");
          values("0.6192, 0.7702, 1.329, 2.445, 4.205, 6.676, 9.934, 14.04, 19.04, 24.99",\
                 "0.6186, 0.7714, 1.328, 2.447, 4.206, 6.677, 9.926, 14.04, 19.04, 24.99",\
                 "0.6202, 0.77, 1.329, 2.448, 4.204, 6.672, 9.934, 14.04, 19.05, 25",\
                 "0.6196, 0.7708, 1.329, 2.447, 4.206, 6.676, 9.926, 14.03, 19.04, 25.02",\
                 "0.618, 0.772, 1.328, 2.448, 4.206, 6.67, 9.934, 14.04, 19.02, 25",\
                 "0.618, 0.772, 1.328, 2.446, 4.204, 6.67, 9.928, 14.03, 19.04, 24.99",\
                 "0.62, 0.774, 1.33, 2.448, 4.206, 6.678, 9.92, 14.01, 19.02, 25.03",\
                 "0.622, 0.77, 1.328, 2.446, 4.2, 6.676, 9.92, 14.02, 19.05, 25.02",\
                 "0.62, 0.772, 1.328, 2.446, 4.202, 6.666, 9.916, 14.03, 19.05, 25.03",\
                 "0.622, 0.772, 1.328, 2.448, 4.206, 6.674, 9.926, 14.02, 19.02, 25.01");
        }
      }

      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.003642, 0.01291, 0.03062, 0.05821, 0.09692, 0.1479, 0.212, 0.2904, 0.3837");
          values("9.46, 9.578, 9.899, 10.36, 10.92, 11.59, 12.4, 13.36, 14.51, 15.86",\
                 "9.506, 9.624, 9.946, 10.4, 10.96, 11.64, 12.44, 13.41, 14.55, 15.91",\
                 "9.739, 9.857, 10.18, 10.64, 11.2, 11.87, 12.68, 13.64, 14.79, 16.14",\
                 "10.21, 10.33, 10.65, 11.1, 11.67, 12.34, 13.15, 14.11, 15.26, 16.61",\
                 "10.96, 11.08, 11.4, 11.86, 12.42, 13.09, 13.9, 14.86, 16.01, 17.37",\
                 "12.04, 12.15, 12.47, 12.93, 13.49, 14.17, 14.97, 15.94, 17.09, 18.44",\
                 "13.46, 13.58, 13.9, 14.35, 14.92, 15.59, 16.4, 17.36, 18.51, 19.86",\
                 "15.22, 15.33, 15.66, 16.11, 16.67, 17.35, 18.15, 19.12, 20.27, 21.62",\
                 "17.2, 17.32, 17.64, 18.09, 18.66, 19.33, 20.14, 21.1, 22.25, 23.6",\
                 "19.31, 19.43, 19.75, 20.21, 20.77, 21.45, 22.25, 23.21, 24.36, 25.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.003642, 0.01291, 0.03062, 0.05821, 0.09692, 0.1479, 0.212, 0.2904, 0.3837");
          values("6.959, 7.074, 7.448, 8.134, 9.191, 10.67, 12.6, 15.03, 18, 21.54",\
                 "7.022, 7.137, 7.511, 8.198, 9.255, 10.73, 12.66, 15.1, 18.06, 21.6",\
                 "7.191, 7.306, 7.68, 8.366, 9.422, 10.9, 12.83, 15.27, 18.23, 21.77",\
                 "7.484, 7.599, 7.974, 8.66, 9.717, 11.19, 13.13, 15.56, 18.53, 22.06",\
                 "7.917, 8.032, 8.405, 9.092, 10.15, 11.62, 13.56, 15.99, 18.96, 22.49",\
                 "8.421, 8.536, 8.91, 9.596, 10.65, 12.13, 14.06, 16.5, 19.46, 23",\
                 "8.925, 9.04, 9.414, 10.1, 11.16, 12.63, 14.57, 17, 19.97, 23.5",\
                 "9.399, 9.513, 9.887, 10.57, 11.63, 13.1, 15.04, 17.47, 20.44, 23.98",\
                 "9.821, 9.934, 10.31, 11, 12.05, 13.53, 15.46, 17.9, 20.87, 24.4",\
                 "10.18, 10.29, 10.67, 11.35, 12.41, 13.88, 15.82, 18.25, 21.22, 24.75");
        }

        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.003642, 0.01291, 0.03062, 0.05821, 0.09692, 0.1479, 0.212, 0.2904, 0.3837");
          values("0.784, 0.8752, 1.151, 1.6, 2.232, 3.089, 4.236, 5.726, 7.592, 9.868",\
                 "0.7838, 0.8758, 1.151, 1.6, 2.231, 3.09, 4.244, 5.73, 7.598, 9.87",\
                 "0.7842, 0.8756, 1.15, 1.6, 2.232, 3.092, 4.238, 5.732, 7.598, 9.854",\
                 "0.784, 0.876, 1.152, 1.6, 2.232, 3.092, 4.236, 5.728, 7.59, 9.858",\
                 "0.784, 0.876, 1.152, 1.6, 2.23, 3.09, 4.242, 5.728, 7.594, 9.86",\
                 "0.784, 0.874, 1.15, 1.6, 2.232, 3.092, 4.244, 5.724, 7.594, 9.864",\
                 "0.784, 0.876, 1.15, 1.6, 2.234, 3.092, 4.24, 5.728, 7.59, 9.876",\
                 "0.786, 0.876, 1.15, 1.6, 2.232, 3.092, 4.242, 5.73, 7.59, 9.872",\
                 "0.784, 0.874, 1.15, 1.6, 2.232, 3.09, 4.236, 5.73, 7.598, 9.866",\
                 "0.784, 0.876, 1.152, 1.6, 2.232, 3.096, 4.238, 5.72, 7.596, 9.87");
        }

        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.003642, 0.01291, 0.03062, 0.05821, 0.09692, 0.1479, 0.212, 0.2904, 0.3837");
          values("0.7602, 0.9084, 1.438, 2.5, 4.237, 6.704, 9.952, 14.05, 19.06, 24.99",\
                 "0.7588, 0.9098, 1.438, 2.501, 4.232, 6.7, 9.95, 14.05, 19.04, 25.03",\
                 "0.7596, 0.9096, 1.437, 2.503, 4.236, 6.706, 9.942, 14.05, 19.04, 25",\
                 "0.7598, 0.908, 1.438, 2.5, 4.238, 6.708, 9.954, 14.05, 19.03, 25.02",\
                 "0.76, 0.908, 1.438, 2.498, 4.236, 6.706, 9.944, 14.06, 19.05, 25",\
                 "0.758, 0.91, 1.436, 2.502, 4.236, 6.708, 9.946, 14.04, 19.03, 25.02",\
                 "0.76, 0.91, 1.442, 2.502, 4.234, 6.708, 9.948, 14.06, 19.06, 25.02",\
                 "0.758, 0.908, 1.436, 2.5, 4.23, 6.704, 9.94, 14.05, 19.05, 25.04",\
                 "0.76, 0.91, 1.44, 2.502, 4.234, 6.69, 9.94, 14.04, 19.06, 25.01",\
                 "0.758, 0.912, 1.438, 2.5, 4.23, 6.694, 9.942, 14.03, 19.05, 25.02");
        }
      }

      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.003642, 0.01291, 0.03062, 0.05821, 0.09692, 0.1479, 0.212, 0.2904, 0.3837");
          values("4.319, 4.439, 4.766, 5.227, 5.795, 6.474, 7.284, 8.252, 9.403, 10.76",\
                 "4.392, 4.512, 4.838, 5.301, 5.869, 6.547, 7.358, 8.325, 9.476, 10.83",\
                 "4.605, 4.725, 5.051, 5.515, 6.082, 6.762, 7.571, 8.539, 9.69, 11.05",\
                 "4.966, 5.086, 5.413, 5.876, 6.444, 7.122, 7.932, 8.9, 10.05, 11.41",\
                 "5.371, 5.492, 5.818, 6.28, 6.849, 7.527, 8.338, 9.305, 10.46, 11.81",\
                 "5.747, 5.868, 6.194, 6.657, 7.225, 7.904, 8.714, 9.681, 10.83, 12.19",\
                 "6.074, 6.194, 6.52, 6.981, 7.549, 8.227, 9.04, 10.01, 11.16, 12.52",\
                 "6.341, 6.459, 6.786, 7.247, 7.814, 8.492, 9.301, 10.27, 11.42, 12.78",\
                 "6.532, 6.651, 6.978, 7.439, 8.006, 8.683, 9.493, 10.46, 11.61, 12.97",\
                 "6.636, 6.755, 7.08, 7.543, 8.109, 8.788, 9.597, 10.56, 11.71, 13.07");
        }

        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.003642, 0.01291, 0.03062, 0.05821, 0.09692, 0.1479, 0.212, 0.2904, 0.3837");
          values("5.274, 5.389, 5.763, 6.449, 7.506, 8.981, 10.92, 13.35, 16.32, 19.86",\
                 "5.338, 5.453, 5.827, 6.514, 7.571, 9.045, 10.98, 13.41, 16.38, 19.92",\
                 "5.579, 5.695, 6.069, 6.755, 7.812, 9.287, 11.22, 13.65, 16.62, 20.16",\
                 "6.017, 6.132, 6.506, 7.192, 8.249, 9.724, 11.66, 14.09, 17.06, 20.6",\
                 "6.665, 6.78, 7.154, 7.841, 8.897, 10.37, 12.31, 14.74, 17.71, 21.24",\
                 "7.552, 7.668, 8.042, 8.729, 9.784, 11.26, 13.19, 15.63, 18.6, 22.13",\
                 "8.68, 8.795, 9.17, 9.856, 10.91, 12.39, 14.32, 16.76, 19.72, 23.26",\
                 "9.971, 10.09, 10.46, 11.15, 12.21, 13.68, 15.62, 18.05, 21.02, 24.56",\
                 "11.41, 11.53, 11.9, 12.59, 13.64, 15.12, 17.05, 19.48, 22.46, 25.99",\
                 "12.99, 13.11, 13.48, 14.17, 15.23, 16.7, 18.63, 21.07, 24.04, 27.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.003642, 0.01291, 0.03062, 0.05821, 0.09692, 0.1479, 0.212, 0.2904, 0.3837");
          values("0.7828, 0.8744, 1.151, 1.599, 2.231, 3.09, 4.235, 5.725, 7.594, 9.868",\
                 "0.783, 0.8746, 1.15, 1.599, 2.232, 3.093, 4.24, 5.726, 7.597, 9.859",\
                 "0.783, 0.8746, 1.149, 1.599, 2.232, 3.092, 4.235, 5.724, 7.593, 9.868",\
                 "0.783, 0.8748, 1.15, 1.599, 2.231, 3.093, 4.239, 5.729, 7.6, 9.86",\
                 "0.7826, 0.8738, 1.15, 1.599, 2.232, 3.092, 4.234, 5.726, 7.59, 9.868",\
                 "0.7806, 0.872, 1.15, 1.6, 2.232, 3.096, 4.244, 5.732, 7.598, 9.868",\
                 "0.778, 0.868, 1.144, 1.596, 2.228, 3.092, 4.244, 5.734, 7.604, 9.862",\
                 "0.776, 0.87, 1.144, 1.594, 2.224, 3.088, 4.24, 5.722, 7.592, 9.87",\
                 "0.776, 0.868, 1.144, 1.594, 2.23, 3.092, 4.232, 5.722, 7.588, 9.852",\
                 "0.776, 0.868, 1.146, 1.594, 2.23, 3.088, 4.234, 5.724, 7.592, 9.852");
        }

        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.003642, 0.01291, 0.03062, 0.05821, 0.09692, 0.1479, 0.212, 0.2904, 0.3837");
          values("0.619, 0.7706, 1.328, 2.448, 4.204, 6.673, 9.933, 14.04, 19.05, 24.99",\
                 "0.6186, 0.7724, 1.329, 2.448, 4.204, 6.674, 9.928, 14.04, 19.04, 24.99",\
                 "0.6196, 0.7714, 1.329, 2.448, 4.207, 6.672, 9.928, 14.04, 19.05, 24.98",\
                 "0.6198, 0.77, 1.33, 2.448, 4.206, 6.673, 9.93, 14.04, 19.05, 24.97",\
                 "0.6198, 0.7704, 1.33, 2.447, 4.208, 6.674, 9.932, 14.04, 19.04, 25",\
                 "0.62, 0.772, 1.33, 2.448, 4.206, 6.674, 9.928, 14.04, 19.02, 24.98",\
                 "0.624, 0.772, 1.332, 2.444, 4.208, 6.676, 9.934, 14.02, 19.01, 24.98",\
                 "0.63, 0.78, 1.332, 2.448, 4.206, 6.676, 9.922, 14.03, 19.03, 25.03",\
                 "0.636, 0.782, 1.336, 2.446, 4.202, 6.672, 9.93, 14.04, 19.03, 25.02",\
                 "0.642, 0.792, 1.338, 2.45, 4.212, 6.668, 9.926, 14.02, 19.04, 25.02");
        }
      }

      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.003642, 0.01291, 0.03062, 0.05821, 0.09692, 0.1479, 0.212, 0.2904, 0.3837");
          values("4.336, 4.455, 4.782, 5.245, 5.814, 6.493, 7.304, 8.272, 9.424, 10.78",\
                 "4.408, 4.528, 4.855, 5.319, 5.886, 6.566, 7.377, 8.345, 9.496, 10.85",\
                 "4.622, 4.742, 5.069, 5.533, 6.1, 6.78, 7.591, 8.559, 9.711, 11.07",\
                 "4.985, 5.105, 5.432, 5.894, 6.464, 7.143, 7.955, 8.922, 10.07, 11.43",\
                 "5.393, 5.513, 5.84, 6.302, 6.872, 7.551, 8.362, 9.33, 10.48, 11.84",\
                 "5.769, 5.891, 6.217, 6.68, 7.248, 7.928, 8.739, 9.708, 10.86, 12.22",\
                 "6.097, 6.216, 6.543, 7.004, 7.573, 8.252, 9.064, 10.03, 11.19, 12.54",\
                 "6.362, 6.481, 6.807, 7.27, 7.838, 8.516, 9.326, 10.29, 11.45, 12.8",\
                 "6.554, 6.673, 7, 7.461, 8.029, 8.707, 9.517, 10.48, 11.64, 12.99",\
                 "6.656, 6.776, 7.102, 7.564, 8.132, 8.81, 9.62, 10.59, 11.74, 13.1");
        }

        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.003642, 0.01291, 0.03062, 0.05821, 0.09692, 0.1479, 0.212, 0.2904, 0.3837");
          values("5.284, 5.399, 5.773, 6.46, 7.516, 8.99, 10.93, 13.36, 16.33, 19.86",\
                 "5.349, 5.464, 5.838, 6.524, 7.581, 9.055, 10.99, 13.42, 16.39, 19.93",\
                 "5.591, 5.706, 6.08, 6.767, 7.824, 9.297, 11.23, 13.67, 16.63, 20.17",\
                 "6.029, 6.143, 6.518, 7.204, 8.261, 9.734, 11.67, 14.1, 17.07, 20.61",\
                 "6.674, 6.789, 7.163, 7.849, 8.905, 10.38, 12.31, 14.75, 17.72, 21.25",\
                 "7.559, 7.673, 8.048, 8.734, 9.791, 11.27, 13.2, 15.63, 18.6, 22.14",\
                 "8.683, 8.799, 9.174, 9.86, 10.92, 12.39, 14.33, 16.76, 19.73, 23.26",\
                 "9.974, 10.09, 10.47, 11.15, 12.21, 13.68, 15.62, 18.05, 21.02, 24.56",\
                 "11.41, 11.53, 11.9, 12.59, 13.64, 15.12, 17.05, 19.49, 22.46, 25.99",\
                 "12.99, 13.11, 13.48, 14.17, 15.23, 16.7, 18.63, 21.07, 24.04, 27.57");
        }

        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.003642, 0.01291, 0.03062, 0.05821, 0.09692, 0.1479, 0.212, 0.2904, 0.3837");
          values("0.7852, 0.8762, 1.152, 1.601, 2.234, 3.092, 4.239, 5.726, 7.598, 9.862",\
                 "0.7852, 0.8768, 1.152, 1.601, 2.234, 3.096, 4.242, 5.728, 7.599, 9.86",\
                 "0.7856, 0.8766, 1.152, 1.6, 2.234, 3.095, 4.245, 5.726, 7.598, 9.862",\
                 "0.7856, 0.8766, 1.152, 1.602, 2.237, 3.092, 4.243, 5.725, 7.595, 9.87",\
                 "0.7854, 0.8758, 1.151, 1.601, 2.234, 3.095, 4.237, 5.724, 7.596, 9.866",\
                 "0.7834, 0.8742, 1.151, 1.6, 2.232, 3.094, 4.24, 5.732, 7.59, 9.86",\
                 "0.778, 0.87, 1.146, 1.596, 2.234, 3.092, 4.244, 5.734, 7.604, 9.86",\
                 "0.78, 0.87, 1.146, 1.596, 2.234, 3.094, 4.238, 5.726, 7.596, 9.872",\
                 "0.778, 0.868, 1.146, 1.596, 2.23, 3.09, 4.238, 5.73, 7.59, 9.852",\
                 "0.78, 0.87, 1.146, 1.594, 2.23, 3.094, 4.236, 5.722, 7.594, 9.856");
        }

        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.003642, 0.01291, 0.03062, 0.05821, 0.09692, 0.1479, 0.212, 0.2904, 0.3837");
          values("0.6194, 0.77, 1.328, 2.447, 4.204, 6.676, 9.928, 14.03, 19.04, 25",\
                 "0.619, 0.7724, 1.33, 2.447, 4.205, 6.677, 9.935, 14.04, 19.05, 24.99",\
                 "0.62, 0.7706, 1.328, 2.447, 4.205, 6.676, 9.927, 14.04, 19.05, 24.98",\
                 "0.6198, 0.7716, 1.329, 2.447, 4.206, 6.679, 9.924, 14.03, 19.04, 24.99",\
                 "0.619, 0.7728, 1.33, 2.446, 4.208, 6.672, 9.93, 14.04, 19.03, 24.99",\
                 "0.622, 0.772, 1.33, 2.448, 4.202, 6.676, 9.926, 14.03, 19.01, 24.97",\
                 "0.622, 0.772, 1.33, 2.448, 4.21, 6.678, 9.928, 14.01, 19.04, 25.03",\
                 "0.628, 0.78, 1.33, 2.448, 4.204, 6.678, 9.934, 14.03, 19.05, 25.03",\
                 "0.634, 0.786, 1.336, 2.448, 4.204, 6.672, 9.928, 14.04, 19.03, 25.03",\
                 "0.644, 0.792, 1.336, 2.448, 4.208, 6.668, 9.912, 14.02, 19.03, 25.01");
        }
      }

      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.003642, 0.01291, 0.03062, 0.05821, 0.09692, 0.1479, 0.212, 0.2904, 0.3837");
          values("4.336, 4.455, 4.782, 5.245, 5.814, 6.493, 7.304, 8.272, 9.424, 10.78",\
                 "4.408, 4.528, 4.855, 5.319, 5.886, 6.566, 7.377, 8.345, 9.496, 10.85",\
                 "4.622, 4.742, 5.069, 5.533, 6.1, 6.78, 7.591, 8.559, 9.711, 11.07",\
                 "4.985, 5.105, 5.432, 5.894, 6.464, 7.143, 7.955, 8.922, 10.07, 11.43",\
                 "5.393, 5.513, 5.84, 6.302, 6.872, 7.551, 8.362, 9.33, 10.48, 11.84",\
                 "5.769, 5.891, 6.217, 6.68, 7.248, 7.928, 8.739, 9.708, 10.86, 12.22",\
                 "6.097, 6.216, 6.543, 7.004, 7.573, 8.252, 9.064, 10.03, 11.19, 12.54",\
                 "6.362, 6.481, 6.807, 7.27, 7.838, 8.516, 9.326, 10.29, 11.45, 12.8",\
                 "6.554, 6.673, 7, 7.461, 8.029, 8.707, 9.517, 10.48, 11.64, 12.99",\
                 "6.656, 6.776, 7.102, 7.564, 8.132, 8.81, 9.62, 10.59, 11.74, 13.1");
        }

        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.003642, 0.01291, 0.03062, 0.05821, 0.09692, 0.1479, 0.212, 0.2904, 0.3837");
          values("5.274, 5.389, 5.763, 6.449, 7.506, 8.981, 10.92, 13.35, 16.32, 19.86",\
                 "5.338, 5.453, 5.827, 6.514, 7.571, 9.045, 10.98, 13.41, 16.38, 19.92",\
                 "5.579, 5.695, 6.069, 6.755, 7.812, 9.287, 11.22, 13.65, 16.62, 20.16",\
                 "6.017, 6.132, 6.506, 7.192, 8.249, 9.724, 11.66, 14.09, 17.06, 20.6",\
                 "6.665, 6.78, 7.154, 7.841, 8.897, 10.37, 12.31, 14.74, 17.71, 21.24",\
                 "7.552, 7.668, 8.042, 8.729, 9.784, 11.26, 13.19, 15.63, 18.6, 22.13",\
                 "8.68, 8.795, 9.17, 9.856, 10.91, 12.39, 14.32, 16.76, 19.72, 23.26",\
                 "9.971, 10.09, 10.46, 11.15, 12.21, 13.68, 15.62, 18.05, 21.02, 24.56",\
                 "11.41, 11.53, 11.9, 12.59, 13.64, 15.12, 17.05, 19.48, 22.46, 25.99",\
                 "12.99, 13.11, 13.48, 14.17, 15.23, 16.7, 18.63, 21.07, 24.04, 27.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.003642, 0.01291, 0.03062, 0.05821, 0.09692, 0.1479, 0.212, 0.2904, 0.3837");
          values("0.7852, 0.8762, 1.152, 1.601, 2.234, 3.092, 4.239, 5.726, 7.598, 9.862",\
                 "0.7852, 0.8768, 1.152, 1.601, 2.234, 3.096, 4.242, 5.728, 7.599, 9.86",\
                 "0.7856, 0.8766, 1.152, 1.6, 2.234, 3.095, 4.245, 5.726, 7.598, 9.862",\
                 "0.7856, 0.8766, 1.152, 1.602, 2.237, 3.092, 4.243, 5.725, 7.595, 9.87",\
                 "0.7854, 0.8758, 1.151, 1.601, 2.234, 3.095, 4.237, 5.724, 7.596, 9.866",\
                 "0.7834, 0.8742, 1.151, 1.6, 2.232, 3.094, 4.24, 5.732, 7.59, 9.86",\
                 "0.778, 0.87, 1.146, 1.596, 2.234, 3.092, 4.244, 5.734, 7.604, 9.86",\
                 "0.78, 0.87, 1.146, 1.596, 2.234, 3.094, 4.238, 5.726, 7.596, 9.872",\
                 "0.778, 0.868, 1.146, 1.596, 2.23, 3.09, 4.238, 5.73, 7.59, 9.852",\
                 "0.78, 0.87, 1.146, 1.594, 2.23, 3.094, 4.236, 5.722, 7.594, 9.856");
        }

        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.003642, 0.01291, 0.03062, 0.05821, 0.09692, 0.1479, 0.212, 0.2904, 0.3837");
          values("0.6194, 0.77, 1.328, 2.447, 4.204, 6.676, 9.928, 14.03, 19.04, 25",\
                 "0.619, 0.7724, 1.33, 2.447, 4.205, 6.677, 9.935, 14.04, 19.05, 24.99",\
                 "0.62, 0.7706, 1.328, 2.447, 4.205, 6.676, 9.927, 14.04, 19.05, 24.98",\
                 "0.6198, 0.7716, 1.329, 2.447, 4.206, 6.679, 9.924, 14.03, 19.04, 24.99",\
                 "0.619, 0.7728, 1.33, 2.446, 4.208, 6.672, 9.93, 14.04, 19.03, 24.99",\
                 "0.622, 0.772, 1.33, 2.448, 4.202, 6.676, 9.926, 14.03, 19.01, 24.97",\
                 "0.622, 0.772, 1.33, 2.448, 4.21, 6.678, 9.928, 14.01, 19.04, 25.03",\
                 "0.628, 0.78, 1.33, 2.448, 4.204, 6.678, 9.934, 14.03, 19.05, 25.03",\
                 "0.634, 0.786, 1.336, 2.448, 4.204, 6.672, 9.928, 14.04, 19.03, 25.03",\
                 "0.644, 0.792, 1.336, 2.448, 4.208, 6.668, 9.912, 14.02, 19.03, 25.01");
        }
      }

      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.003642, 0.01291, 0.03062, 0.05821, 0.09692, 0.1479, 0.212, 0.2904, 0.3837");
          values("2.974, 3.092, 3.414, 3.87, 4.434, 5.108, 5.914, 6.878, 8.026, 9.383",\
                 "3.046, 3.163, 3.487, 3.942, 4.505, 5.18, 5.986, 6.95, 8.099, 9.455",\
                 "3.262, 3.381, 3.703, 4.159, 4.723, 5.397, 6.203, 7.167, 8.316, 9.671",\
                 "3.72, 3.838, 4.159, 4.616, 5.179, 5.854, 6.66, 7.624, 8.773, 10.13",\
                 "4.474, 4.591, 4.913, 5.37, 5.932, 6.607, 7.413, 8.377, 9.526, 10.88",\
                 "5.545, 5.665, 5.987, 6.444, 7.008, 7.683, 8.489, 9.454, 10.6, 11.96",\
                 "6.858, 6.984, 7.323, 7.793, 8.364, 9.046, 9.855, 10.82, 11.97, 13.32",\
                 "8.279, 8.421, 8.788, 9.285, 9.878, 10.57, 11.39, 12.37, 13.52, 14.88",\
                 "9.796, 9.952, 10.36, 10.89, 11.5, 12.22, 13.05, 14.03, 15.19, 16.55",\
                 "11.4, 11.57, 12.02, 12.59, 13.24, 13.96, 14.82, 15.8, 16.97, 18.33");
        }

        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.003642, 0.01291, 0.03062, 0.05821, 0.09692, 0.1479, 0.212, 0.2904, 0.3837");
          values("1.635, 1.762, 2.16, 2.858, 3.915, 5.387, 7.319, 9.751, 12.72, 16.26",\
                 "1.696, 1.823, 2.221, 2.918, 3.976, 5.448, 7.381, 9.811, 12.78, 16.32",\
                 "1.92, 2.047, 2.444, 3.142, 4.199, 5.672, 7.605, 10.04, 13, 16.54",\
                 "2.343, 2.47, 2.866, 3.563, 4.62, 6.094, 8.029, 10.46, 13.43, 16.97",\
                 "2.937, 3.066, 3.466, 4.163, 5.22, 6.694, 8.629, 11.06, 14.03, 17.57",\
                 "3.565, 3.698, 4.109, 4.814, 5.874, 7.348, 9.283, 11.72, 14.69, 18.22",\
                 "4.198, 4.341, 4.764, 5.471, 6.534, 8.013, 9.946, 12.38, 15.35, 18.88",\
                 "4.825, 4.975, 5.412, 6.131, 7.193, 8.668, 10.61, 13.04, 16.01, 19.55",\
                 "5.428, 5.59, 6.048, 6.775, 7.84, 9.314, 11.25, 13.69, 16.66, 20.2",\
                 "5.996, 6.176, 6.661, 7.4, 8.464, 9.939, 11.87, 14.31, 17.28, 20.83");
        }

        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.003642, 0.01291, 0.03062, 0.05821, 0.09692, 0.1479, 0.212, 0.2904, 0.3837");
          values("0.7658, 0.8568, 1.132, 1.581, 2.213, 3.072, 4.222, 5.713, 7.585, 9.843",\
                 "0.7654, 0.857, 1.131, 1.58, 2.212, 3.072, 4.222, 5.712, 7.586, 9.844",\
                 "0.7654, 0.8564, 1.132, 1.58, 2.213, 3.072, 4.224, 5.714, 7.581, 9.857",\
                 "0.7654, 0.856, 1.131, 1.579, 2.211, 3.072, 4.219, 5.709, 7.582, 9.847",\
                 "0.7652, 0.8564, 1.132, 1.579, 2.212, 3.074, 4.225, 5.711, 7.574, 9.858",\
                 "0.7764, 0.8658, 1.139, 1.585, 2.214, 3.076, 4.224, 5.71, 7.574, 9.858",\
                 "0.862, 0.946, 1.2, 1.628, 2.244, 3.1, 4.238, 5.714, 7.58, 9.858",\
                 "0.986, 1.068, 1.314, 1.728, 2.332, 3.166, 4.288, 5.752, 7.606, 9.85",\
                 "1.12, 1.208, 1.452, 1.846, 2.436, 3.252, 4.358, 5.81, 7.646, 9.886",\
                 "1.26, 1.356, 1.614, 1.994, 2.552, 3.348, 4.428, 5.872, 7.696, 9.928");
        }

        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.003642, 0.01291, 0.03062, 0.05821, 0.09692, 0.1479, 0.212, 0.2904, 0.3837");
          values("0.6868, 0.8414, 1.386, 2.475, 4.225, 6.703, 9.967, 14.07, 19.08, 25",\
                 "0.6872, 0.842, 1.386, 2.475, 4.224, 6.703, 9.969, 14.07, 19.08, 25",\
                 "0.6866, 0.842, 1.386, 2.475, 4.225, 6.7, 9.961, 14.06, 19.09, 25.02",\
                 "0.6884, 0.8428, 1.387, 2.472, 4.225, 6.69, 9.951, 14.07, 19.08, 25.02",\
                 "0.715, 0.863, 1.398, 2.478, 4.225, 6.69, 9.951, 14.05, 19.08, 24.99",\
                 "0.762, 0.9128, 1.436, 2.502, 4.23, 6.689, 9.948, 14.05, 19.05, 24.99",\
                 "0.8252, 0.9652, 1.47, 2.522, 4.25, 6.706, 9.946, 14.05, 19.06, 25",\
                 "0.906, 1.036, 1.52, 2.542, 4.256, 6.716, 9.96, 14.04, 19.03, 25.04",\
                 "0.998, 1.126, 1.586, 2.572, 4.266, 6.72, 9.978, 14.06, 19.06, 25.04",\
                 "1.11, 1.234, 1.668, 2.614, 4.284, 6.726, 9.972, 14.07, 19.07, 25.05");
        }
      }

      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.003642, 0.01291, 0.03062, 0.05821, 0.09692, 0.1479, 0.212, 0.2904, 0.3837");
          values("2.974, 3.092, 3.414, 3.87, 4.434, 5.108, 5.914, 6.878, 8.026, 9.383",\
                 "3.046, 3.163, 3.486, 3.942, 4.505, 5.18, 5.986, 6.95, 8.098, 9.455",\
                 "3.262, 3.38, 3.703, 4.159, 4.723, 5.397, 6.203, 7.167, 8.316, 9.671",\
                 "3.72, 3.838, 4.159, 4.617, 5.179, 5.854, 6.66, 7.625, 8.773, 10.13",\
                 "4.473, 4.591, 4.913, 5.37, 5.932, 6.607, 7.413, 8.377, 9.526, 10.88",\
                 "5.545, 5.665, 5.987, 6.444, 7.008, 7.683, 8.489, 9.454, 10.6, 11.96",\
                 "6.858, 6.984, 7.324, 7.794, 8.365, 9.045, 9.855, 10.82, 11.97, 13.33",\
                 "8.279, 8.421, 8.789, 9.285, 9.878, 10.57, 11.39, 12.37, 13.52, 14.87",\
                 "9.796, 9.951, 10.36, 10.89, 11.5, 12.21, 13.05, 14.03, 15.19, 16.55",\
                 "11.4, 11.57, 12.02, 12.59, 13.24, 13.97, 14.82, 15.8, 16.97, 18.33");
        }

        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.003642, 0.01291, 0.03062, 0.05821, 0.09692, 0.1479, 0.212, 0.2904, 0.3837");
          values("1.635, 1.762, 2.16, 2.858, 3.915, 5.388, 7.321, 9.751, 12.72, 16.26",\
                 "1.696, 1.823, 2.22, 2.918, 3.976, 5.448, 7.381, 9.811, 12.78, 16.32",\
                 "1.92, 2.047, 2.444, 3.142, 4.199, 5.672, 7.604, 10.04, 13, 16.54",\
                 "2.344, 2.47, 2.866, 3.563, 4.62, 6.094, 8.029, 10.46, 13.43, 16.96",\
                 "2.937, 3.066, 3.466, 4.163, 5.219, 6.694, 8.626, 11.06, 14.03, 17.57",\
                 "3.564, 3.699, 4.11, 4.814, 5.873, 7.347, 9.283, 11.72, 14.69, 18.22",\
                 "4.198, 4.341, 4.762, 5.471, 6.534, 8.013, 9.947, 12.38, 15.35, 18.89",\
                 "4.824, 4.976, 5.411, 6.128, 7.193, 8.668, 10.61, 13.04, 16.01, 19.55",\
                 "5.428, 5.59, 6.048, 6.775, 7.84, 9.314, 11.25, 13.69, 16.66, 20.2",\
                 "5.996, 6.175, 6.661, 7.399, 8.464, 9.939, 11.87, 14.31, 17.28, 20.83");
        }

        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.003642, 0.01291, 0.03062, 0.05821, 0.09692, 0.1479, 0.212, 0.2904, 0.3837");
          values("0.7658, 0.8568, 1.132, 1.581, 2.213, 3.072, 4.222, 5.713, 7.585, 9.843",\
                 "0.7654, 0.857, 1.131, 1.58, 2.212, 3.072, 4.223, 5.712, 7.584, 9.844",\
                 "0.7654, 0.8564, 1.132, 1.58, 2.213, 3.072, 4.221, 5.713, 7.584, 9.841",\
                 "0.7656, 0.8562, 1.132, 1.58, 2.21, 3.073, 4.218, 5.707, 7.577, 9.848",\
                 "0.765, 0.856, 1.131, 1.579, 2.212, 3.074, 4.218, 5.712, 7.585, 9.85",\
                 "0.777, 0.866, 1.137, 1.587, 2.216, 3.08, 4.226, 5.712, 7.576, 9.852",\
                 "0.862, 0.946, 1.2, 1.628, 2.246, 3.1, 4.238, 5.72, 7.586, 9.852",\
                 "0.988, 1.07, 1.316, 1.726, 2.334, 3.17, 4.288, 5.754, 7.602, 9.85",\
                 "1.12, 1.208, 1.454, 1.846, 2.432, 3.25, 4.36, 5.812, 7.646, 9.892",\
                 "1.264, 1.354, 1.61, 1.996, 2.552, 3.352, 4.428, 5.866, 7.69, 9.928");
        }

        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.003642, 0.01291, 0.03062, 0.05821, 0.09692, 0.1479, 0.212, 0.2904, 0.3837");
          values("0.6868, 0.8414, 1.386, 2.473, 4.224, 6.703, 9.951, 14.05, 19.09, 24.99",\
                 "0.687, 0.842, 1.386, 2.475, 4.224, 6.703, 9.969, 14.07, 19.08, 25",\
                 "0.6866, 0.8418, 1.386, 2.474, 4.225, 6.703, 9.967, 14.07, 19.08, 25",\
                 "0.6886, 0.8426, 1.388, 2.475, 4.225, 6.702, 9.943, 14.07, 19.06, 25",\
                 "0.715, 0.8636, 1.398, 2.475, 4.225, 6.688, 9.966, 14.05, 19.07, 25",\
                 "0.762, 0.9076, 1.435, 2.501, 4.228, 6.69, 9.948, 14.06, 19.05, 24.99",\
                 "0.8244, 0.9652, 1.472, 2.522, 4.248, 6.708, 9.948, 14.05, 19.06, 25",\
                 "0.904, 1.038, 1.522, 2.542, 4.256, 6.718, 9.962, 14.04, 19.03, 25.04",\
                 "0.998, 1.126, 1.586, 2.572, 4.264, 6.72, 9.978, 14.06, 19.06, 25.04",\
                 "1.11, 1.236, 1.668, 2.614, 4.288, 6.726, 9.972, 14.07, 19.07, 25.01");
        }
      }

      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.003642, 0.01291, 0.03062, 0.05821, 0.09692, 0.1479, 0.212, 0.2904, 0.3837");
          values("2.974, 3.092, 3.414, 3.87, 4.434, 5.108, 5.914, 6.878, 8.026, 9.383",\
                 "3.046, 3.163, 3.486, 3.942, 4.505, 5.18, 5.986, 6.95, 8.098, 9.455",\
                 "3.262, 3.38, 3.703, 4.159, 4.723, 5.397, 6.203, 7.167, 8.316, 9.671",\
                 "3.72, 3.838, 4.159, 4.617, 5.179, 5.854, 6.66, 7.625, 8.773, 10.13",\
                 "4.473, 4.591, 4.913, 5.37, 5.932, 6.607, 7.413, 8.377, 9.526, 10.88",\
                 "5.545, 5.665, 5.987, 6.444, 7.008, 7.683, 8.489, 9.454, 10.6, 11.96",\
                 "6.858, 6.984, 7.324, 7.794, 8.365, 9.045, 9.855, 10.82, 11.97, 13.33",\
                 "8.279, 8.421, 8.789, 9.285, 9.878, 10.57, 11.39, 12.37, 13.52, 14.87",\
                 "9.796, 9.951, 10.36, 10.89, 11.5, 12.21, 13.05, 14.03, 15.19, 16.55",\
                 "11.4, 11.57, 12.02, 12.59, 13.24, 13.97, 14.82, 15.8, 16.97, 18.33");
        }

        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.003642, 0.01291, 0.03062, 0.05821, 0.09692, 0.1479, 0.212, 0.2904, 0.3837");
          values("1.635, 1.762, 2.16, 2.858, 3.915, 5.388, 7.321, 9.751, 12.72, 16.26",\
                 "1.696, 1.823, 2.22, 2.918, 3.976, 5.448, 7.381, 9.811, 12.78, 16.32",\
                 "1.92, 2.047, 2.444, 3.142, 4.199, 5.672, 7.604, 10.04, 13, 16.54",\
                 "2.344, 2.47, 2.866, 3.563, 4.62, 6.094, 8.029, 10.46, 13.43, 16.96",\
                 "2.937, 3.066, 3.466, 4.163, 5.219, 6.694, 8.626, 11.06, 14.03, 17.57",\
                 "3.564, 3.699, 4.11, 4.814, 5.873, 7.347, 9.283, 11.72, 14.69, 18.22",\
                 "4.198, 4.341, 4.762, 5.471, 6.534, 8.013, 9.947, 12.38, 15.35, 18.89",\
                 "4.824, 4.976, 5.411, 6.128, 7.193, 8.668, 10.61, 13.04, 16.01, 19.55",\
                 "5.428, 5.59, 6.048, 6.775, 7.84, 9.314, 11.25, 13.69, 16.66, 20.2",\
                 "5.996, 6.175, 6.661, 7.399, 8.464, 9.939, 11.87, 14.31, 17.28, 20.83");
        }

        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.003642, 0.01291, 0.03062, 0.05821, 0.09692, 0.1479, 0.212, 0.2904, 0.3837");
          values("0.7658, 0.8568, 1.132, 1.581, 2.213, 3.072, 4.222, 5.713, 7.585, 9.843",\
                 "0.7654, 0.857, 1.131, 1.58, 2.212, 3.072, 4.223, 5.712, 7.584, 9.844",\
                 "0.7654, 0.8564, 1.132, 1.58, 2.213, 3.072, 4.221, 5.713, 7.584, 9.841",\
                 "0.7656, 0.8562, 1.132, 1.58, 2.21, 3.073, 4.218, 5.707, 7.577, 9.848",\
                 "0.765, 0.856, 1.131, 1.579, 2.212, 3.074, 4.218, 5.712, 7.585, 9.85",\
                 "0.777, 0.866, 1.137, 1.587, 2.216, 3.08, 4.226, 5.712, 7.576, 9.852",\
                 "0.862, 0.946, 1.2, 1.628, 2.246, 3.1, 4.238, 5.72, 7.586, 9.852",\
                 "0.988, 1.07, 1.316, 1.726, 2.334, 3.17, 4.288, 5.754, 7.602, 9.85",\
                 "1.12, 1.208, 1.454, 1.846, 2.432, 3.25, 4.36, 5.812, 7.646, 9.892",\
                 "1.264, 1.354, 1.61, 1.996, 2.552, 3.352, 4.428, 5.866, 7.69, 9.928");
        }

        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.003642, 0.01291, 0.03062, 0.05821, 0.09692, 0.1479, 0.212, 0.2904, 0.3837");
          values("0.6868, 0.8414, 1.386, 2.475, 4.225, 6.703, 9.967, 14.07, 19.08, 25",\
                 "0.6872, 0.842, 1.386, 2.475, 4.224, 6.703, 9.969, 14.07, 19.08, 25",\
                 "0.6866, 0.842, 1.386, 2.475, 4.225, 6.7, 9.961, 14.06, 19.09, 25.02",\
                 "0.6884, 0.8428, 1.387, 2.472, 4.225, 6.69, 9.951, 14.07, 19.08, 25.02",\
                 "0.715, 0.863, 1.398, 2.478, 4.225, 6.69, 9.951, 14.05, 19.08, 24.99",\
                 "0.762, 0.9128, 1.436, 2.502, 4.23, 6.689, 9.948, 14.05, 19.05, 24.99",\
                 "0.8252, 0.9652, 1.47, 2.522, 4.25, 6.706, 9.946, 14.05, 19.06, 25",\
                 "0.906, 1.036, 1.52, 2.542, 4.256, 6.716, 9.96, 14.04, 19.03, 25.04",\
                 "0.998, 1.126, 1.586, 2.572, 4.266, 6.72, 9.978, 14.06, 19.06, 25.04",\
                 "1.11, 1.234, 1.668, 2.614, 4.284, 6.726, 9.972, 14.07, 19.07, 25.05");
        }
      }
    }
  }