/*
 * 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__xor3_2) {
    area : 63.660800 ;

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

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

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

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

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

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

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

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

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

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

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

    pin(A1) {
      capacitance : 0.004398 ;
      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.005085 ;
      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.006212 ;
      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(Z) {
      direction : output ;
      function : "(A1^A2^A3)" ;
      max_capacitance : 0.3833 ;
      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.003639, 0.0129, 0.03059, 0.05815, 0.09681, 0.1477, 0.2118, 0.29, 0.3833");
          values("0.05243, 0.05252, 0.05279, 0.05314, 0.05344, 0.05366, 0.05379, 0.05388, 0.05387, 0.05361",\
                 "0.05236, 0.05245, 0.05272, 0.05307, 0.05337, 0.05358, 0.05372, 0.05381, 0.0538, 0.05352",\
                 "0.05223, 0.05232, 0.05259, 0.05294, 0.05324, 0.05345, 0.05359, 0.05368, 0.05365, 0.05329",\
                 "0.05214, 0.05224, 0.0525, 0.05286, 0.05315, 0.05336, 0.0535, 0.05358, 0.05348, 0.05295",\
                 "0.05206, 0.05215, 0.05242, 0.05277, 0.05307, 0.05328, 0.05341, 0.05344, 0.05314, 0.05228",\
                 "0.05194, 0.05203, 0.0523, 0.05265, 0.05295, 0.05316, 0.05325, 0.05305, 0.0522, 0.05095",\
                 "0.05178, 0.05188, 0.05214, 0.05249, 0.05276, 0.05287, 0.05247, 0.05125, 0.04991, 0.0489",\
                 "0.05035, 0.05043, 0.05062, 0.05072, 0.04983, 0.04817, 0.047, 0.04623, 0.04571, 0.04534",\
                 "0.02546, 0.02554, 0.02577, 0.02606, 0.02628, 0.02643, 0.02653, 0.02659, 0.02663, 0.02666",\
                 "0.004349, 0.004349, 0.004352, 0.004349, 0.004349, 0.004349, 0.004348, 0.004351, 0.004348, 0.004348");
        }

        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.003639, 0.0129, 0.03059, 0.05815, 0.09681, 0.1477, 0.2118, 0.29, 0.3833");
          values("-0.09137, -0.09129, -0.09107, -0.09077, -0.09042, -0.08972, -0.08118, -0.03164, 0.06392, 0.1532",\
                 "-0.09135, -0.09126, -0.09104, -0.09076, -0.09037, -0.08972, -0.08058, -0.02939, 0.06592, 0.1538",\
                 "-0.09136, -0.09128, -0.09105, -0.09076, -0.0904, -0.08954, -0.07862, -0.02249, 0.07218, 0.1548",\
                 "-0.09148, -0.09139, -0.09118, -0.09086, -0.09052, -0.08939, -0.07375, -0.009463, 0.08144, 0.1548",\
                 "-0.09161, -0.09154, -0.0913, -0.09099, -0.09067, -0.08855, -0.06438, 0.008739, 0.09008, 0.1511",\
                 "-0.09171, -0.09165, -0.09143, -0.09112, -0.0907, -0.08562, -0.04672, 0.02875, 0.09353, 0.1398",\
                 "-0.09183, -0.09175, -0.09152, -0.09121, -0.09031, -0.07573, -0.01976, 0.04152, 0.08506, 0.1155",\
                 "-0.09203, -0.09194, -0.09172, -0.09132, -0.08589, -0.04886, -0.0005458, 0.03294, 0.05545, 0.071",\
                 "-0.09272, -0.09265, -0.0924, -0.08734, -0.06138, -0.03812, -0.02357, -0.01433, -0.008274, -0.004126",\
                 "-0.1123, -0.1123, -0.1122, -0.1121, -0.1121, -0.1121, -0.1121, -0.1121, -0.1121, -0.1121");
        }
      }

      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.003639, 0.0129, 0.03059, 0.05815, 0.09681, 0.1477, 0.2118, 0.29, 0.3833");
          values("0.0656, 0.06571, 0.06601, 0.06634, 0.06661, 0.06679, 0.06691, 0.06698, 0.06697, 0.06673",\
                 "0.06562, 0.06574, 0.06605, 0.06637, 0.06664, 0.06682, 0.06692, 0.06699, 0.06698, 0.06671",\
                 "0.0656, 0.06571, 0.06602, 0.06636, 0.06662, 0.0668, 0.06692, 0.06698, 0.06695, 0.06661",\
                 "0.06547, 0.06559, 0.0659, 0.06623, 0.0665, 0.06668, 0.06679, 0.06685, 0.06677, 0.06627",\
                 "0.06534, 0.06546, 0.06576, 0.06609, 0.06636, 0.06653, 0.06665, 0.06668, 0.06646, 0.06568",\
                 "0.0652, 0.06532, 0.06561, 0.06595, 0.06621, 0.06639, 0.0665, 0.06643, 0.06586, 0.06469",\
                 "0.06508, 0.0652, 0.0655, 0.06584, 0.0661, 0.06628, 0.0663, 0.06579, 0.06454, 0.06326",\
                 "0.06491, 0.06502, 0.06534, 0.06567, 0.06592, 0.06592, 0.06507, 0.06351, 0.06226, 0.06135",\
                 "0.06398, 0.06408, 0.0643, 0.06415, 0.06248, 0.06081, 0.05975, 0.05907, 0.05862, 0.0583",\
                 "0.02814, 0.02816, 0.02826, 0.02835, 0.02842, 0.02846, 0.02848, 0.0285, 0.0285, 0.02851");
        }

        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.003639, 0.0129, 0.03059, 0.05815, 0.09681, 0.1477, 0.2118, 0.29, 0.3833");
          values("-0.0138, -0.01369, -0.01339, -0.01297, -0.01257, -0.01172, -0.00108, 0.05416, 0.1488, 0.2323",\
                 "-0.01388, -0.01376, -0.01344, -0.01303, -0.01256, -0.01174, -0.0005774, 0.05594, 0.1505, 0.2325",\
                 "-0.01402, -0.0139, -0.01356, -0.01316, -0.01274, -0.01179, 0.001824, 0.06317, 0.1555, 0.2326",\
                 "-0.0141, -0.01399, -0.01365, -0.0132, -0.01283, -0.01124, 0.00824, 0.07749, 0.1639, 0.2311",\
                 "-0.01418, -0.01407, -0.01376, -0.01329, -0.01287, -0.009431, 0.02239, 0.0983, 0.1707, 0.2234",\
                 "-0.01429, -0.01418, -0.01384, -0.01345, -0.01272, -0.001974, 0.05005, 0.1171, 0.1667, 0.2016",\
                 "-0.01441, -0.01429, -0.01397, -0.01349, -0.008858, 0.02643, 0.07685, 0.1125, 0.1365, 0.1532",\
                 "-0.01453, -0.01442, -0.01402, -0.006132, 0.01832, 0.03606, 0.04696, 0.05383, 0.05834, 0.06141",\
                 "-0.04337, -0.04336, -0.04336, -0.04336, -0.04336, -0.04336, -0.04336, -0.04337, -0.04336, -0.04336",\
                 "-0.0657, -0.0657, -0.0657, -0.0657, -0.0657, -0.0657, -0.0657, -0.0657, -0.0657, -0.0657");
        }
      }

      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.003639, 0.0129, 0.03059, 0.05815, 0.09681, 0.1477, 0.2118, 0.29, 0.3833");
          values("0.0369, 0.03699, 0.03725, 0.0376, 0.0379, 0.03812, 0.03826, 0.03835, 0.03841, 0.03838",\
                 "0.0369, 0.037, 0.03725, 0.03761, 0.03791, 0.03812, 0.03827, 0.03836, 0.03841, 0.03838",\
                 "0.03688, 0.03698, 0.03724, 0.0376, 0.0379, 0.03811, 0.03825, 0.03835, 0.0384, 0.03835",\
                 "0.03681, 0.03689, 0.03716, 0.03752, 0.03782, 0.03804, 0.03817, 0.03827, 0.03831, 0.03822",\
                 "0.0367, 0.03677, 0.03704, 0.03739, 0.03769, 0.0379, 0.03804, 0.03814, 0.03815, 0.03795",\
                 "0.03659, 0.03666, 0.03693, 0.03727, 0.03757, 0.03779, 0.03793, 0.03801, 0.03794, 0.03748",\
                 "0.03651, 0.0366, 0.03686, 0.0372, 0.0375, 0.03772, 0.03786, 0.03786, 0.0375, 0.03656",\
                 "0.03649, 0.03657, 0.03683, 0.03718, 0.03747, 0.03767, 0.03771, 0.03727, 0.03614, 0.03489",\
                 "0.03644, 0.03653, 0.03678, 0.03708, 0.03729, 0.03712, 0.036, 0.03456, 0.03346, 0.03267",\
                 "0.03211, 0.03213, 0.0316, 0.02974, 0.02859, 0.02797, 0.02761, 0.0274, 0.02726, 0.02717");
        }

        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.003639, 0.0129, 0.03059, 0.05815, 0.09681, 0.1477, 0.2118, 0.29, 0.3833");
          values("0.02157, 0.02164, 0.02189, 0.02216, 0.02254, 0.02305, 0.02854, 0.06771, 0.1608, 0.2606",\
                 "0.02159, 0.02168, 0.02192, 0.0222, 0.02257, 0.02308, 0.02894, 0.06946, 0.1631, 0.2616",\
                 "0.02148, 0.02157, 0.0218, 0.02209, 0.02246, 0.02304, 0.03012, 0.07526, 0.1701, 0.2642",\
                 "0.02132, 0.02141, 0.02164, 0.02196, 0.02232, 0.02302, 0.03348, 0.08794, 0.1828, 0.2673",\
                 "0.02121, 0.02127, 0.0215, 0.0218, 0.02219, 0.0236, 0.0423, 0.1106, 0.1982, 0.2666",\
                 "0.02111, 0.0212, 0.02142, 0.0217, 0.02213, 0.02701, 0.06494, 0.1406, 0.2064, 0.2535",\
                 "0.021, 0.02108, 0.02132, 0.02162, 0.02332, 0.04602, 0.1041, 0.1543, 0.1888, 0.2128",\
                 "0.0204, 0.02049, 0.02073, 0.02346, 0.04795, 0.07772, 0.09683, 0.109, 0.1171, 0.1225",\
                 "-0.006403, -0.006407, -0.006409, -0.006416, -0.006422, -0.006427, -0.006431, -0.006436, -0.006437, -0.006439",\
                 "-0.02072, -0.02071, -0.02072, -0.02072, -0.02072, -0.02072, -0.02071, -0.02071, -0.02072, -0.02072");
        }
      }

      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.003639, 0.0129, 0.03059, 0.05815, 0.09681, 0.1477, 0.2118, 0.29, 0.3833");
          values("0.06235, 0.06247, 0.06278, 0.06312, 0.06338, 0.06356, 0.06367, 0.06375, 0.06377, 0.06364",\
                 "0.06238, 0.0625, 0.06281, 0.06313, 0.06339, 0.06357, 0.06369, 0.06376, 0.06378, 0.06363",\
                 "0.06226, 0.06238, 0.0627, 0.06303, 0.06329, 0.06347, 0.06358, 0.06366, 0.06367, 0.06347",\
                 "0.06211, 0.06223, 0.06252, 0.06286, 0.06312, 0.06331, 0.06341, 0.06347, 0.06345, 0.06315",\
                 "0.06197, 0.06207, 0.06238, 0.06273, 0.06297, 0.06317, 0.06328, 0.06334, 0.06319, 0.06259",\
                 "0.06185, 0.06197, 0.06228, 0.06261, 0.06287, 0.06305, 0.06316, 0.06311, 0.06256, 0.06142",\
                 "0.06177, 0.06189, 0.06219, 0.06253, 0.06279, 0.06295, 0.06282, 0.06186, 0.06043, 0.05928",\
                 "0.06119, 0.06128, 0.06156, 0.06173, 0.06094, 0.05908, 0.05772, 0.05682, 0.05622, 0.05579",\
                 "0.0177, 0.0177, 0.0177, 0.01771, 0.0177, 0.0177, 0.0177, 0.0177, 0.0177, 0.0177",\
                 "0.005173, 0.005174, 0.005173, 0.005172, 0.005173, 0.005174, 0.005174, 0.005174, 0.005174, 0.005175");
        }

        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.003639, 0.0129, 0.03059, 0.05815, 0.09681, 0.1477, 0.2118, 0.29, 0.3833");
          values("-0.001648, -0.001547, -0.001228, -0.0008047, -0.000379, 2.381e-05, 0.002856, 0.02872, 0.1114, 0.2231",\
                 "-0.001652, -0.001552, -0.001206, -0.0008031, -0.000379, 7.241e-05, 0.002994, 0.0298, 0.1135, 0.2243",\
                 "-0.001674, -0.001559, -0.001228, -0.0008096, -0.0004114, 5.412e-05, 0.003689, 0.03363, 0.1208, 0.2288",\
                 "-0.00172, -0.001606, -0.001295, -0.0008711, -0.0004114, 1.646e-05, 0.005037, 0.04243, 0.1346, 0.2362",\
                 "-0.001796, -0.00169, -0.001376, -0.0009538, -0.0005734, 8.248e-05, 0.008798, 0.05883, 0.1543, 0.2431",\
                 "-0.001874, -0.001758, -0.001449, -0.0009829, -0.0006167, 0.0007999, 0.01797, 0.08549, 0.1738, 0.244",\
                 "-0.001922, -0.001841, -0.001493, -0.001066, -0.000628, 0.003812, 0.03975, 0.1156, 0.1834, 0.2321",\
                 "-0.001921, -0.001797, -0.001512, -0.001088, 0.0002308, 0.01807, 0.07565, 0.1321, 0.1715, 0.199",\
                 "-0.001773, -0.001683, -0.001365, -0.000598, 0.01316, 0.05394, 0.08728, 0.1091, 0.1236, 0.1336",\
                 "-0.002021, -0.002066, 0.001652, 0.009373, 0.01459, 0.01762, 0.01939, 0.02048, 0.02119, 0.02166");
        }
      }

      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.003639, 0.0129, 0.03059, 0.05815, 0.09681, 0.1477, 0.2118, 0.29, 0.3833");
          values("0.05119, 0.05129, 0.05155, 0.05191, 0.0522, 0.05241, 0.05256, 0.05264, 0.05265, 0.0524",\
                 "0.05106, 0.05115, 0.05142, 0.05177, 0.05207, 0.05228, 0.05242, 0.05251, 0.05252, 0.05226",\
                 "0.0509, 0.05099, 0.05126, 0.0516, 0.05191, 0.05212, 0.05226, 0.05235, 0.05233, 0.05201",\
                 "0.0508, 0.05089, 0.05116, 0.05151, 0.05181, 0.05202, 0.05216, 0.05224, 0.05216, 0.05168",\
                 "0.05074, 0.05084, 0.05111, 0.05146, 0.05176, 0.05197, 0.0521, 0.05214, 0.05187, 0.05104",\
                 "0.0507, 0.05079, 0.05106, 0.05141, 0.0517, 0.05191, 0.05201, 0.0518, 0.05095, 0.04971",\
                 "0.05062, 0.05071, 0.05098, 0.05132, 0.05159, 0.05166, 0.05115, 0.04984, 0.04854, 0.04756",\
                 "0.04836, 0.04843, 0.04858, 0.04831, 0.04665, 0.04529, 0.04443, 0.04388, 0.04351, 0.04325",\
                 "0.01956, 0.0196, 0.01968, 0.01975, 0.0198, 0.01982, 0.01983, 0.01983, 0.01983, 0.01983",\
                 "0.002717, 0.002718, 0.002715, 0.002718, 0.002717, 0.002718, 0.002714, 0.002718, 0.002715, 0.002715");
        }

        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.003639, 0.0129, 0.03059, 0.05815, 0.09681, 0.1477, 0.2118, 0.29, 0.3833");
          values("-0.07959, -0.07952, -0.07928, -0.07897, -0.07862, -0.07801, -0.07023, -0.02292, 0.0723, 0.1641",\
                 "-0.07955, -0.07949, -0.07924, -0.07894, -0.07859, -0.07797, -0.06969, -0.021, 0.07428, 0.1647",\
                 "-0.07958, -0.07952, -0.07928, -0.07896, -0.07861, -0.07786, -0.06785, -0.01433, 0.0807, 0.1661",\
                 "-0.07966, -0.07959, -0.07938, -0.07905, -0.07869, -0.07771, -0.06364, -0.001787, 0.09052, 0.1669",\
                 "-0.07976, -0.07968, -0.07945, -0.07916, -0.07878, -0.07691, -0.05514, 0.01619, 0.1003, 0.1642",\
                 "-0.07985, -0.07976, -0.07953, -0.07924, -0.07883, -0.07463, -0.03888, 0.03717, 0.1054, 0.1545",\
                 "-0.0799, -0.07982, -0.07961, -0.07929, -0.07853, -0.06628, -0.01236, 0.05245, 0.09945, 0.1324",\
                 "-0.08001, -0.07993, -0.0797, -0.07933, -0.07528, -0.04139, 0.01056, 0.04793, 0.07314, 0.09059",\
                 "-0.08042, -0.08033, -0.08012, -0.07705, -0.05199, -0.02345, -0.005255, 0.006354, 0.014, 0.01924",\
                 "-0.09341, -0.0931, -0.09227, -0.09162, -0.09132, -0.0911, -0.09101, -0.09096, -0.09094, -0.09091");
        }
      }

      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.003639, 0.0129, 0.03059, 0.05815, 0.09681, 0.1477, 0.2118, 0.29, 0.3833");
          values("0.06409, 0.0642, 0.06451, 0.06484, 0.06511, 0.06529, 0.0654, 0.06547, 0.06548, 0.06526",\
                 "0.06412, 0.06424, 0.06455, 0.06488, 0.06515, 0.06533, 0.06544, 0.06551, 0.06551, 0.06528",\
                 "0.0641, 0.06422, 0.06453, 0.06486, 0.06513, 0.06531, 0.06542, 0.06549, 0.06547, 0.06517",\
                 "0.06401, 0.06412, 0.06443, 0.06477, 0.06503, 0.06521, 0.06532, 0.06539, 0.06532, 0.06488",\
                 "0.0639, 0.06401, 0.06432, 0.06466, 0.06492, 0.06511, 0.06522, 0.06526, 0.06508, 0.06437",\
                 "0.0638, 0.06391, 0.06422, 0.06456, 0.06483, 0.06501, 0.06511, 0.06507, 0.06459, 0.06348",\
                 "0.06373, 0.06384, 0.06414, 0.06448, 0.06476, 0.06493, 0.06498, 0.06459, 0.06344, 0.06214",\
                 "0.06363, 0.06375, 0.06405, 0.06439, 0.06465, 0.06472, 0.06411, 0.06263, 0.0613, 0.06034",\
                 "0.06316, 0.06326, 0.06353, 0.06366, 0.06269, 0.06082, 0.05952, 0.05867, 0.0581, 0.05771",\
                 "0.032, 0.03207, 0.03225, 0.03246, 0.03263, 0.03273, 0.0328, 0.03284, 0.03287, 0.03289");
        }

        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.003639, 0.0129, 0.03059, 0.05815, 0.09681, 0.1477, 0.2118, 0.29, 0.3833");
          values("-0.008207, -0.008088, -0.007769, -0.007321, -0.006933, -0.006141, 0.003471, 0.05683, 0.1522, 0.2375",\
                 "-0.008351, -0.00824, -0.007905, -0.007451, -0.007079, -0.00637, 0.004132, 0.05819, 0.1532, 0.2376",\
                 "-0.0085, -0.008404, -0.008074, -0.007606, -0.007241, -0.006365, 0.005792, 0.0649, 0.1583, 0.2381",\
                 "-0.008592, -0.008498, -0.008187, -0.007728, -0.007352, -0.005938, 0.0119, 0.07888, 0.1676, 0.2372",\
                 "-0.008664, -0.008542, -0.008234, -0.007823, -0.00739, -0.004196, 0.02598, 0.1018, 0.1758, 0.23",\
                 "-0.008696, -0.00859, -0.008254, -0.007859, -0.007145, 0.003755, 0.05576, 0.1228, 0.1723, 0.2071",\
                 "-0.008717, -0.008608, -0.008278, -0.007818, -0.00209, 0.03533, 0.08305, 0.116, 0.1381, 0.1534",\
                 "-0.008805, -0.00871, -0.00798, 0.004191, 0.02224, 0.03353, 0.04036, 0.04465, 0.04744, 0.04935",\
                 "-0.0432, -0.0432, -0.0432, -0.0432, -0.0432, -0.0432, -0.0432, -0.0432, -0.0432, -0.0432",\
                 "-0.0605, -0.0605, -0.0605, -0.0605, -0.0605, -0.0605, -0.0605, -0.0605, -0.0605, -0.0605");
        }
      }

      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.003639, 0.0129, 0.03059, 0.05815, 0.09681, 0.1477, 0.2118, 0.29, 0.3833");
          values("0.03738, 0.03747, 0.03773, 0.03808, 0.03838, 0.0386, 0.03874, 0.03884, 0.03889, 0.03887",\
                 "0.03739, 0.03749, 0.03776, 0.0381, 0.03841, 0.03863, 0.03876, 0.03886, 0.03891, 0.03888",\
                 "0.03741, 0.0375, 0.03777, 0.03812, 0.03842, 0.03863, 0.03877, 0.03887, 0.03892, 0.03887",\
                 "0.03735, 0.03744, 0.03771, 0.03806, 0.03836, 0.03857, 0.03872, 0.03881, 0.03885, 0.03876",\
                 "0.03726, 0.03734, 0.0376, 0.03795, 0.03825, 0.03847, 0.03861, 0.0387, 0.03872, 0.03854",\
                 "0.03713, 0.03722, 0.03749, 0.03783, 0.03812, 0.03835, 0.03849, 0.03857, 0.03852, 0.0381",\
                 "0.03704, 0.03713, 0.03739, 0.03774, 0.03804, 0.03826, 0.03839, 0.03842, 0.03812, 0.03726",\
                 "0.03697, 0.03706, 0.03732, 0.03767, 0.03797, 0.03817, 0.03825, 0.03791, 0.03691, 0.03564",\
                 "0.03693, 0.03702, 0.03727, 0.0376, 0.03784, 0.0378, 0.03698, 0.03554, 0.03434, 0.03346",\
                 "0.03408, 0.03411, 0.03418, 0.03316, 0.03147, 0.03044, 0.02981, 0.02942, 0.02916, 0.02898");
        }

        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.003639, 0.0129, 0.03059, 0.05815, 0.09681, 0.1477, 0.2118, 0.29, 0.3833");
          values("0.01582, 0.01589, 0.01611, 0.01642, 0.01678, 0.0173, 0.02356, 0.06572, 0.1599, 0.2569",\
                 "0.01573, 0.0158, 0.01602, 0.01631, 0.01668, 0.01725, 0.02381, 0.06714, 0.1616, 0.2574",\
                 "0.01564, 0.01571, 0.01594, 0.01628, 0.01658, 0.01722, 0.02533, 0.0734, 0.1687, 0.2597",\
                 "0.01554, 0.01562, 0.01582, 0.01614, 0.0165, 0.01737, 0.02915, 0.08678, 0.1808, 0.2619",\
                 "0.01543, 0.01551, 0.01575, 0.01605, 0.01641, 0.0181, 0.03903, 0.1099, 0.1948, 0.2598",\
                 "0.01536, 0.01544, 0.01567, 0.01597, 0.01643, 0.02225, 0.06379, 0.1385, 0.2003, 0.2443",\
                 "0.01522, 0.0153, 0.01553, 0.01584, 0.01811, 0.04449, 0.1015, 0.1474, 0.1787, 0.2004",\
                 "0.01445, 0.01453, 0.01474, 0.0192, 0.04525, 0.06958, 0.08482, 0.09451, 0.1009, 0.1052",\
                 "-0.01478, -0.01478, -0.01479, -0.01479, -0.01479, -0.0148, -0.0148, -0.0148, -0.0148, -0.01481",\
                 "-0.0279, -0.0279, -0.0279, -0.0279, -0.0279, -0.0279, -0.0279, -0.0279, -0.0279, -0.0279");
        }
      }

      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.003639, 0.0129, 0.03059, 0.05815, 0.09681, 0.1477, 0.2118, 0.29, 0.3833");
          values("0.0634, 0.06351, 0.06382, 0.06415, 0.06441, 0.06459, 0.0647, 0.06477, 0.06479, 0.06463",\
                 "0.06331, 0.06342, 0.06373, 0.06407, 0.06433, 0.06451, 0.06462, 0.06469, 0.0647, 0.06453",\
                 "0.06322, 0.06334, 0.06364, 0.06398, 0.06424, 0.06442, 0.06454, 0.0646, 0.06461, 0.06438",\
                 "0.06311, 0.06323, 0.06354, 0.06387, 0.06413, 0.06431, 0.06443, 0.06449, 0.06446, 0.0641",\
                 "0.06301, 0.06313, 0.06343, 0.06377, 0.06403, 0.06421, 0.06433, 0.06437, 0.06421, 0.06353",\
                 "0.06292, 0.06303, 0.06334, 0.06368, 0.06394, 0.06412, 0.06422, 0.06412, 0.06347, 0.06226",\
                 "0.06279, 0.0629, 0.06321, 0.06355, 0.06381, 0.06396, 0.06371, 0.06257, 0.06114, 0.06005",\
                 "0.06185, 0.06195, 0.06218, 0.06214, 0.06065, 0.0589, 0.05778, 0.05705, 0.05657, 0.05623",\
                 "0.01666, 0.01666, 0.01666, 0.01666, 0.01666, 0.01666, 0.01666, 0.01666, 0.01666, 0.01666",\
                 "0.00478, 0.00478, 0.00478, 0.00478, 0.00478, 0.00478, 0.00478, 0.00478, 0.00478, 0.00478");
        }

        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.003639, 0.0129, 0.03059, 0.05815, 0.09681, 0.1477, 0.2118, 0.29, 0.3833");
          values("0.005045, 0.005162, 0.00547, 0.005882, 0.006284, 0.006719, 0.009598, 0.03574, 0.1188, 0.2298",\
                 "0.005065, 0.005185, 0.005484, 0.005915, 0.0063, 0.006703, 0.009799, 0.03694, 0.121, 0.2313",\
                 "0.005071, 0.005188, 0.005505, 0.005915, 0.006316, 0.006684, 0.01022, 0.04063, 0.1279, 0.236",\
                 "0.005032, 0.005149, 0.005471, 0.005897, 0.006348, 0.006794, 0.01162, 0.04925, 0.141, 0.2425",\
                 "0.004961, 0.005052, 0.005386, 0.005803, 0.006235, 0.006861, 0.01502, 0.06396, 0.1591, 0.2493",\
                 "0.004865, 0.004989, 0.005311, 0.005745, 0.006173, 0.007411, 0.02342, 0.08806, 0.1785, 0.2512",\
                 "0.004779, 0.004911, 0.005258, 0.005651, 0.006156, 0.009827, 0.04273, 0.1185, 0.1899, 0.2415",\
                 "0.004783, 0.004871, 0.00519, 0.005573, 0.006648, 0.02136, 0.07742, 0.1384, 0.1816, 0.2118",\
                 "0.004841, 0.004944, 0.005266, 0.005855, 0.01578, 0.05678, 0.09598, 0.1219, 0.1392, 0.1512",\
                 "0.004982, 0.005032, 0.00703, 0.01963, 0.03032, 0.03673, 0.04055, 0.04293, 0.04449, 0.04552");
        }
      }

      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.003639, 0.0129, 0.03059, 0.05815, 0.09681, 0.1477, 0.2118, 0.29, 0.3833");
          values("0.03555, 0.03563, 0.03591, 0.03626, 0.03655, 0.03677, 0.0369, 0.03699, 0.03705, 0.03706",\
                 "0.03542, 0.03552, 0.0358, 0.03615, 0.03645, 0.03665, 0.03679, 0.03688, 0.03694, 0.03694",\
                 "0.0351, 0.03521, 0.03548, 0.03585, 0.03614, 0.03635, 0.03649, 0.03658, 0.03663, 0.03663",\
                 "0.03478, 0.03487, 0.03514, 0.03549, 0.03578, 0.03599, 0.03614, 0.03623, 0.03628, 0.03626",\
                 "0.03455, 0.03464, 0.03488, 0.0352, 0.03549, 0.03571, 0.03587, 0.03597, 0.03602, 0.03594",\
                 "0.03442, 0.03448, 0.0347, 0.03498, 0.03527, 0.0355, 0.03567, 0.03579, 0.0358, 0.03553",\
                 "0.03437, 0.03443, 0.0346, 0.03487, 0.03514, 0.03538, 0.03556, 0.03562, 0.03536, 0.03451",\
                 "0.0344, 0.03445, 0.03458, 0.03482, 0.03505, 0.03526, 0.03525, 0.03461, 0.03336, 0.03222",\
                 "0.03289, 0.0329, 0.03299, 0.03303, 0.03253, 0.03096, 0.02971, 0.02888, 0.02832, 0.02794",\
                 "0.01132, 0.01136, 0.0115, 0.01172, 0.01195, 0.01219, 0.01239, 0.01255, 0.01268, 0.01278");
        }

        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.003639, 0.0129, 0.03059, 0.05815, 0.09681, 0.1477, 0.2118, 0.29, 0.3833");
          values("0.0173, 0.01742, 0.0178, 0.01822, 0.01864, 0.01902, 0.01998, 0.03029, 0.08476, 0.1979",\
                 "0.01734, 0.01747, 0.01782, 0.01828, 0.01869, 0.019, 0.01989, 0.03119, 0.08653, 0.1997",\
                 "0.01732, 0.01745, 0.0178, 0.01824, 0.01866, 0.01899, 0.02007, 0.03252, 0.09272, 0.2073",\
                 "0.01712, 0.01723, 0.01754, 0.01792, 0.01834, 0.01877, 0.02023, 0.03673, 0.1052, 0.2208",\
                 "0.01687, 0.01698, 0.01722, 0.01761, 0.01804, 0.01843, 0.02103, 0.04502, 0.126, 0.2384",\
                 "0.01668, 0.01674, 0.01698, 0.01733, 0.01767, 0.0182, 0.02356, 0.06134, 0.1541, 0.2551",\
                 "0.01653, 0.01661, 0.01678, 0.01704, 0.01754, 0.01832, 0.0311, 0.09066, 0.1839, 0.2631",\
                 "0.01651, 0.01658, 0.01671, 0.01699, 0.01712, 0.02104, 0.05373, 0.1297, 0.2013, 0.2531",\
                 "0.01666, 0.0167, 0.01682, 0.01715, 0.01854, 0.03894, 0.09675, 0.1502, 0.1872, 0.2129",\
                 "0.01726, 0.0173, 0.0174, 0.01938, 0.04191, 0.0749, 0.09691, 0.1111, 0.1205, 0.1269");
        }
      }

      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.003639, 0.0129, 0.03059, 0.05815, 0.09681, 0.1477, 0.2118, 0.29, 0.3833");
          values("0.03984, 0.03997, 0.04028, 0.04062, 0.04088, 0.04106, 0.04118, 0.04125, 0.0413, 0.04131",\
                 "0.03987, 0.03998, 0.04029, 0.04064, 0.0409, 0.04108, 0.04119, 0.04127, 0.04131, 0.04132",\
                 "0.03973, 0.03983, 0.04014, 0.04047, 0.04074, 0.04092, 0.04103, 0.0411, 0.04115, 0.04116",\
                 "0.03917, 0.03929, 0.0396, 0.03994, 0.0402, 0.04038, 0.0405, 0.04057, 0.04062, 0.04061",\
                 "0.03875, 0.03887, 0.03917, 0.03951, 0.03979, 0.03996, 0.04008, 0.04015, 0.04019, 0.04015",\
                 "0.03844, 0.03856, 0.03887, 0.03921, 0.03947, 0.03964, 0.03976, 0.03984, 0.03987, 0.03974",\
                 "0.0382, 0.03831, 0.03863, 0.03896, 0.03923, 0.03941, 0.03953, 0.0396, 0.03957, 0.03923",\
                 "0.03804, 0.03815, 0.03845, 0.03879, 0.03906, 0.03924, 0.03936, 0.03939, 0.03912, 0.03828",\
                 "0.03811, 0.03821, 0.03851, 0.03885, 0.03911, 0.03929, 0.03936, 0.03899, 0.03787, 0.03656",\
                 "0.03872, 0.03883, 0.03913, 0.03946, 0.03969, 0.03945, 0.03811, 0.03659, 0.03549, 0.03471");
        }

        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.003639, 0.0129, 0.03059, 0.05815, 0.09681, 0.1477, 0.2118, 0.29, 0.3833");
          values("0.002979, 0.003082, 0.003378, 0.003771, 0.004169, 0.004494, 0.006342, 0.02419, 0.09579, 0.2113",\
                 "0.002911, 0.00301, 0.003312, 0.003714, 0.004072, 0.004509, 0.006225, 0.0252, 0.09787, 0.2132",\
                 "0.002895, 0.003015, 0.0033, 0.003698, 0.004072, 0.004477, 0.006644, 0.0285, 0.1059, 0.2199",\
                 "0.002859, 0.002957, 0.003266, 0.003677, 0.004056, 0.004522, 0.007753, 0.03634, 0.122, 0.2312",\
                 "0.002726, 0.002845, 0.003133, 0.003528, 0.003878, 0.004497, 0.01065, 0.05274, 0.1468, 0.2437",\
                 "0.002582, 0.00267, 0.002992, 0.003371, 0.003767, 0.004883, 0.01994, 0.08337, 0.1746, 0.249",\
                 "0.002446, 0.002583, 0.002856, 0.003246, 0.003699, 0.008735, 0.04734, 0.1228, 0.1878, 0.2343",\
                 "0.00237, 0.002456, 0.002766, 0.003119, 0.005855, 0.03444, 0.09038, 0.1337, 0.1631, 0.1835",\
                 "0.001728, 0.001846, 0.002206, 0.0106, 0.0345, 0.05139, 0.06176, 0.0683, 0.07259, 0.07551",\
                 "-0.03075, -0.03075, -0.03075, -0.03075, -0.03075, -0.03075, -0.03075, -0.03075, -0.03075, -0.03075");
        }
      }

      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.003639, 0.0129, 0.03059, 0.05815, 0.09681, 0.1477, 0.2118, 0.29, 0.3833");
          values("0.03984, 0.03997, 0.04028, 0.04062, 0.04088, 0.04106, 0.04118, 0.04125, 0.0413, 0.04131",\
                 "0.03987, 0.03998, 0.04029, 0.04064, 0.0409, 0.04108, 0.04119, 0.04127, 0.04132, 0.04132",\
                 "0.03971, 0.03982, 0.04014, 0.04048, 0.04074, 0.04092, 0.04103, 0.0411, 0.04115, 0.04116",\
                 "0.03918, 0.03929, 0.0396, 0.03993, 0.0402, 0.04038, 0.0405, 0.04057, 0.04062, 0.04061",\
                 "0.03876, 0.03887, 0.03917, 0.03951, 0.03979, 0.03996, 0.04008, 0.04016, 0.04019, 0.04015",\
                 "0.03844, 0.03855, 0.03887, 0.03921, 0.03947, 0.03964, 0.03976, 0.03984, 0.03987, 0.03974",\
                 "0.0382, 0.03831, 0.03863, 0.03896, 0.03924, 0.03941, 0.03952, 0.0396, 0.03956, 0.03923",\
                 "0.03804, 0.03815, 0.03845, 0.03879, 0.03906, 0.03925, 0.03936, 0.03939, 0.03912, 0.03828",\
                 "0.0381, 0.03821, 0.03851, 0.03885, 0.03911, 0.03929, 0.03936, 0.03899, 0.03787, 0.03656",\
                 "0.03872, 0.03883, 0.03913, 0.03946, 0.03969, 0.03945, 0.03811, 0.03659, 0.03549, 0.03471");
        }

        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.003639, 0.0129, 0.03059, 0.05815, 0.09681, 0.1477, 0.2118, 0.29, 0.3833");
          values("0.002985, 0.003086, 0.003382, 0.003775, 0.004173, 0.004498, 0.006346, 0.0242, 0.0958, 0.2113",\
                 "0.002915, 0.003015, 0.003329, 0.003738, 0.004076, 0.004513, 0.00623, 0.0252, 0.09814, 0.2132",\
                 "0.002904, 0.002997, 0.003295, 0.003718, 0.004092, 0.004432, 0.00676, 0.02824, 0.1061, 0.2199",\
                 "0.002863, 0.002961, 0.00327, 0.003681, 0.00406, 0.004526, 0.007757, 0.03635, 0.122, 0.2312",\
                 "0.002729, 0.002833, 0.003136, 0.003551, 0.003882, 0.004452, 0.01062, 0.05276, 0.1468, 0.2437",\
                 "0.002583, 0.002691, 0.00298, 0.00337, 0.003771, 0.004887, 0.0199, 0.08332, 0.1746, 0.249",\
                 "0.002465, 0.002559, 0.00286, 0.003261, 0.003703, 0.008739, 0.04736, 0.1228, 0.1878, 0.2343",\
                 "0.002377, 0.002467, 0.002768, 0.00313, 0.005859, 0.03447, 0.09039, 0.1337, 0.1631, 0.1835",\
                 "0.001735, 0.001827, 0.002193, 0.01061, 0.03452, 0.05139, 0.06175, 0.06829, 0.07258, 0.0755",\
                 "-0.03075, -0.03075, -0.03075, -0.03075, -0.03075, -0.03075, -0.03075, -0.03075, -0.03075, -0.03075");
        }
      }

      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.003639, 0.0129, 0.03059, 0.05815, 0.09681, 0.1477, 0.2118, 0.29, 0.3833");
          values("0.03555, 0.03563, 0.03591, 0.03626, 0.03655, 0.03676, 0.0369, 0.03699, 0.03705, 0.03706",\
                 "0.03542, 0.03552, 0.0358, 0.03615, 0.03645, 0.03666, 0.03679, 0.03688, 0.03694, 0.03695",\
                 "0.03512, 0.03521, 0.03549, 0.03584, 0.03614, 0.03636, 0.03649, 0.03658, 0.03663, 0.03664",\
                 "0.03477, 0.03486, 0.03514, 0.03549, 0.03578, 0.036, 0.03614, 0.03623, 0.03628, 0.03625",\
                 "0.03455, 0.03462, 0.03488, 0.0352, 0.03549, 0.03571, 0.03586, 0.03597, 0.03602, 0.03594",\
                 "0.03441, 0.03448, 0.03469, 0.03499, 0.03527, 0.03551, 0.03568, 0.0358, 0.03581, 0.03552",\
                 "0.03438, 0.03443, 0.0346, 0.03486, 0.03514, 0.03538, 0.03556, 0.03562, 0.03535, 0.03451",\
                 "0.0344, 0.03444, 0.03458, 0.03482, 0.03505, 0.03527, 0.03525, 0.0346, 0.03336, 0.03221",\
                 "0.03287, 0.0329, 0.03298, 0.03302, 0.03251, 0.03096, 0.0297, 0.02887, 0.02831, 0.02793",\
                 "0.01131, 0.01135, 0.01149, 0.01171, 0.01195, 0.01218, 0.01239, 0.01255, 0.01268, 0.01278");
        }

        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.003639, 0.0129, 0.03059, 0.05815, 0.09681, 0.1477, 0.2118, 0.29, 0.3833");
          values("0.0173, 0.01741, 0.01777, 0.01823, 0.01863, 0.01904, 0.01982, 0.03025, 0.08431, 0.1974",\
                 "0.01733, 0.01746, 0.01781, 0.01827, 0.01868, 0.01899, 0.01988, 0.03101, 0.08652, 0.1997",\
                 "0.0173, 0.01743, 0.01778, 0.01823, 0.01865, 0.01894, 0.02007, 0.03272, 0.09273, 0.2073",\
                 "0.0171, 0.01722, 0.01751, 0.01792, 0.01832, 0.01873, 0.02033, 0.03647, 0.1053, 0.2207",\
                 "0.01685, 0.01697, 0.01724, 0.01756, 0.01798, 0.01842, 0.02101, 0.04513, 0.126, 0.2384",\
                 "0.01666, 0.01674, 0.01695, 0.01729, 0.01758, 0.01807, 0.02327, 0.0615, 0.154, 0.255",\
                 "0.01653, 0.01661, 0.01676, 0.01708, 0.01752, 0.01833, 0.03109, 0.09064, 0.1839, 0.2631",\
                 "0.0165, 0.01656, 0.01673, 0.0169, 0.01727, 0.02103, 0.05372, 0.1297, 0.2013, 0.2531",\
                 "0.01665, 0.01671, 0.01683, 0.01708, 0.01843, 0.03882, 0.09677, 0.1502, 0.1871, 0.2129",\
                 "0.01723, 0.01727, 0.01743, 0.0193, 0.04187, 0.07492, 0.09691, 0.1111, 0.1205, 0.1269");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.003639, 0.0129, 0.03059, 0.05815, 0.09681, 0.1477, 0.2118, 0.29, 0.3833");
          values("10.05, 10.13, 10.38, 10.74, 11.21, 11.81, 12.56, 13.5, 14.63, 15.98",\
                 "10.12, 10.21, 10.46, 10.82, 11.29, 11.89, 12.64, 13.57, 14.71, 16.06",\
                 "10.36, 10.45, 10.7, 11.06, 11.53, 12.12, 12.88, 13.81, 14.95, 16.3",\
                 "10.72, 10.8, 11.05, 11.41, 11.88, 12.48, 13.23, 14.17, 15.3, 16.65",\
                 "11.07, 11.15, 11.4, 11.76, 12.23, 12.83, 13.58, 14.52, 15.65, 17",\
                 "11.38, 11.47, 11.71, 12.07, 12.54, 13.14, 13.89, 14.83, 15.96, 17.31",\
                 "11.63, 11.72, 11.97, 12.33, 12.8, 13.4, 14.15, 15.08, 16.22, 17.57",\
                 "11.81, 11.9, 12.15, 12.51, 12.98, 13.57, 14.33, 15.26, 16.4, 17.75",\
                 "11.91, 12, 12.24, 12.6, 13.07, 13.67, 14.42, 15.36, 16.49, 17.84",\
                 "11.9, 11.99, 12.24, 12.6, 13.07, 13.67, 14.42, 15.35, 16.49, 17.84");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.003639, 0.0129, 0.03059, 0.05815, 0.09681, 0.1477, 0.2118, 0.29, 0.3833");
          values("9.506, 9.637, 10.04, 10.74, 11.8, 13.27, 15.2, 17.63, 20.59, 24.13",\
                 "9.555, 9.686, 10.09, 10.79, 11.85, 13.32, 15.25, 17.68, 20.64, 24.18",\
                 "9.773, 9.903, 10.31, 11.01, 12.07, 13.54, 15.47, 17.9, 20.87, 24.39",\
                 "10.2, 10.33, 10.74, 11.44, 12.5, 13.97, 15.9, 18.33, 21.29, 24.82",\
                 "10.84, 10.98, 11.38, 12.08, 13.14, 14.61, 16.54, 18.97, 21.94, 25.46",\
                 "11.73, 11.86, 12.26, 12.96, 14.02, 15.49, 17.42, 19.85, 22.81, 26.35",\
                 "12.86, 12.99, 13.39, 14.1, 15.15, 16.62, 18.55, 20.98, 23.95, 27.48",\
                 "14.19, 14.32, 14.72, 15.42, 16.48, 17.95, 19.88, 22.31, 25.28, 28.81",\
                 "15.66, 15.79, 16.2, 16.9, 17.96, 19.43, 21.36, 23.79, 26.75, 30.29",\
                 "17.29, 17.42, 17.83, 18.53, 19.58, 21.06, 22.99, 25.42, 28.38, 31.92");
        }

        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.003639, 0.0129, 0.03059, 0.05815, 0.09681, 0.1477, 0.2118, 0.29, 0.3833");
          values("0.5334, 0.6092, 0.842, 1.246, 1.864, 2.752, 3.966, 5.53, 7.452, 9.77",\
                 "0.532, 0.608, 0.844, 1.248, 1.862, 2.75, 3.968, 5.532, 7.462, 9.774",\
                 "0.532, 0.608, 0.842, 1.248, 1.864, 2.75, 3.968, 5.532, 7.46, 9.774",\
                 "0.534, 0.606, 0.84, 1.248, 1.864, 2.75, 3.968, 5.532, 7.458, 9.774",\
                 "0.532, 0.608, 0.842, 1.246, 1.862, 2.752, 3.966, 5.53, 7.462, 9.772",\
                 "0.534, 0.608, 0.842, 1.246, 1.862, 2.752, 3.968, 5.53, 7.462, 9.774",\
                 "0.534, 0.608, 0.842, 1.248, 1.862, 2.75, 3.968, 5.532, 7.462, 9.75",\
                 "0.532, 0.606, 0.842, 1.246, 1.862, 2.75, 3.966, 5.522, 7.448, 9.758",\
                 "0.532, 0.608, 0.84, 1.246, 1.862, 2.754, 3.962, 5.522, 7.454, 9.758",\
                 "0.532, 0.608, 0.842, 1.246, 1.864, 2.754, 3.962, 5.524, 7.456, 9.748");
        }

        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.003639, 0.0129, 0.03059, 0.05815, 0.09681, 0.1477, 0.2118, 0.29, 0.3833");
          values("0.697, 0.8522, 1.393, 2.468, 4.21, 6.682, 9.92, 14.02, 19.01, 24.98",\
                 "0.6976, 0.8506, 1.391, 2.468, 4.208, 6.682, 9.924, 14.02, 19.03, 24.96",\
                 "0.698, 0.852, 1.392, 2.468, 4.208, 6.672, 9.922, 14.04, 19, 24.97",\
                 "0.698, 0.852, 1.392, 2.466, 4.21, 6.676, 9.94, 14.04, 19, 24.98",\
                 "0.696, 0.85, 1.39, 2.468, 4.208, 6.682, 9.94, 14.03, 19.03, 25",\
                 "0.698, 0.85, 1.392, 2.468, 4.208, 6.682, 9.94, 14.02, 19.01, 24.97",\
                 "0.698, 0.85, 1.392, 2.466, 4.208, 6.682, 9.944, 14.02, 19.06, 24.96",\
                 "0.698, 0.852, 1.39, 2.47, 4.206, 6.68, 9.942, 14.04, 19.04, 24.99",\
                 "0.698, 0.852, 1.392, 2.468, 4.21, 6.678, 9.938, 14.04, 19.05, 24.97",\
                 "0.698, 0.85, 1.392, 2.468, 4.206, 6.67, 9.922, 14.03, 19.05, 24.96");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.003639, 0.0129, 0.03059, 0.05815, 0.09681, 0.1477, 0.2118, 0.29, 0.3833");
          values("5.354, 5.481, 5.826, 6.307, 6.89, 7.579, 8.397, 9.368, 10.52, 11.88",\
                 "5.408, 5.535, 5.88, 6.361, 6.942, 7.633, 8.451, 9.422, 10.57, 11.93",\
                 "5.603, 5.731, 6.074, 6.557, 7.139, 7.828, 8.646, 9.617, 10.77, 12.12",\
                 "5.97, 6.098, 6.442, 6.923, 7.505, 8.196, 9.014, 9.984, 11.14, 12.49",\
                 "6.513, 6.641, 6.985, 7.467, 8.048, 8.739, 9.556, 10.53, 11.68, 13.04",\
                 "7.105, 7.233, 7.578, 8.058, 8.642, 9.331, 10.15, 11.12, 12.27, 13.63",\
                 "7.661, 7.789, 8.134, 8.615, 9.199, 9.888, 10.7, 11.68, 12.83, 14.19",\
                 "8.161, 8.288, 8.632, 9.115, 9.698, 10.39, 11.21, 12.18, 13.33, 14.69",\
                 "8.592, 8.719, 9.064, 9.546, 10.13, 10.82, 11.64, 12.61, 13.76, 15.12",\
                 "8.937, 9.065, 9.41, 9.892, 10.48, 11.17, 11.99, 12.96, 14.11, 15.47");
        }

        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.003639, 0.0129, 0.03059, 0.05815, 0.09681, 0.1477, 0.2118, 0.29, 0.3833");
          values("7.435, 7.573, 7.99, 8.699, 9.761, 11.24, 13.17, 15.6, 18.57, 22.11",\
                 "7.514, 7.652, 8.07, 8.779, 9.841, 11.32, 13.25, 15.68, 18.65, 22.18",\
                 "7.739, 7.877, 8.295, 9.004, 10.07, 11.54, 13.48, 15.91, 18.87, 22.41",\
                 "8.192, 8.329, 8.747, 9.456, 10.52, 12, 13.93, 16.36, 19.33, 22.86",\
                 "8.933, 9.07, 9.488, 10.2, 11.26, 12.73, 14.67, 17.1, 20.07, 23.6",\
                 "10, 10.14, 10.56, 11.26, 12.33, 13.8, 15.74, 18.17, 21.14, 24.67",\
                 "11.42, 11.56, 11.98, 12.69, 13.75, 15.22, 17.16, 19.59, 22.56, 26.09",\
                 "13.19, 13.32, 13.74, 14.45, 15.51, 16.99, 18.92, 21.36, 24.32, 27.86",\
                 "15.19, 15.33, 15.75, 16.46, 17.52, 19, 20.94, 23.37, 26.33, 29.87",\
                 "17.35, 17.49, 17.91, 18.62, 19.69, 21.16, 23.1, 25.53, 28.5, 32.03");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.003639, 0.0129, 0.03059, 0.05815, 0.09681, 0.1477, 0.2118, 0.29, 0.3833");
          values("0.8284, 0.9226, 1.203, 1.655, 2.285, 3.144, 4.277, 5.754, 7.608, 9.869",\
                 "0.8284, 0.9228, 1.203, 1.654, 2.286, 3.136, 4.277, 5.754, 7.61, 9.866",\
                 "0.8286, 0.922, 1.203, 1.654, 2.282, 3.136, 4.277, 5.75, 7.611, 9.872",\
                 "0.8286, 0.9224, 1.203, 1.655, 2.286, 3.143, 4.277, 5.756, 7.61, 9.874",\
                 "0.8284, 0.923, 1.203, 1.653, 2.286, 3.144, 4.276, 5.756, 7.61, 9.87",\
                 "0.828, 0.922, 1.202, 1.654, 2.282, 3.144, 4.278, 5.752, 7.604, 9.87",\
                 "0.83, 0.924, 1.208, 1.656, 2.288, 3.142, 4.276, 5.75, 7.602, 9.872",\
                 "0.832, 0.926, 1.204, 1.656, 2.288, 3.14, 4.278, 5.752, 7.606, 9.86",\
                 "0.832, 0.926, 1.208, 1.658, 2.284, 3.142, 4.274, 5.75, 7.596, 9.854",\
                 "0.834, 0.928, 1.206, 1.656, 2.286, 3.138, 4.278, 5.746, 7.614, 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.003639, 0.0129, 0.03059, 0.05815, 0.09681, 0.1477, 0.2118, 0.29, 0.3833");
          values("0.7606, 0.9098, 1.441, 2.501, 4.234, 6.696, 9.942, 14.04, 19.04, 24.98",\
                 "0.7596, 0.9096, 1.441, 2.501, 4.234, 6.696, 9.944, 14.04, 19.04, 24.99",\
                 "0.7594, 0.9094, 1.438, 2.499, 4.234, 6.696, 9.944, 14.04, 19.04, 24.99",\
                 "0.7596, 0.9102, 1.439, 2.5, 4.234, 6.69, 9.944, 14.04, 19.01, 24.96",\
                 "0.762, 0.908, 1.442, 2.498, 4.234, 6.692, 9.944, 14.04, 19, 24.99",\
                 "0.76, 0.91, 1.44, 2.5, 4.236, 6.696, 9.944, 14.02, 19.03, 25.01",\
                 "0.758, 0.91, 1.442, 2.5, 4.234, 6.696, 9.934, 14.03, 19.03, 24.99",\
                 "0.762, 0.91, 1.442, 2.504, 4.232, 6.692, 9.944, 14.03, 19.04, 25.01",\
                 "0.768, 0.918, 1.446, 2.502, 4.232, 6.7, 9.944, 14.03, 19.03, 24.99",\
                 "0.778, 0.926, 1.448, 2.506, 4.23, 6.69, 9.926, 14.04, 19.04, 25.01");
        }
      }

      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.003639, 0.0129, 0.03059, 0.05815, 0.09681, 0.1477, 0.2118, 0.29, 0.3833");
          values("10.05, 10.13, 10.38, 10.74, 11.21, 11.81, 12.56, 13.5, 14.63, 15.98",\
                 "10.12, 10.21, 10.46, 10.82, 11.29, 11.89, 12.64, 13.57, 14.71, 16.06",\
                 "10.36, 10.45, 10.7, 11.06, 11.53, 12.12, 12.88, 13.81, 14.95, 16.3",\
                 "10.72, 10.8, 11.05, 11.41, 11.88, 12.48, 13.23, 14.17, 15.3, 16.65",\
                 "11.07, 11.15, 11.4, 11.76, 12.23, 12.83, 13.58, 14.52, 15.65, 17",\
                 "11.38, 11.47, 11.71, 12.07, 12.54, 13.14, 13.89, 14.83, 15.96, 17.31",\
                 "11.63, 11.72, 11.97, 12.33, 12.8, 13.4, 14.15, 15.08, 16.22, 17.57",\
                 "11.81, 11.9, 12.15, 12.51, 12.98, 13.57, 14.33, 15.26, 16.4, 17.75",\
                 "11.91, 12, 12.24, 12.6, 13.07, 13.67, 14.42, 15.36, 16.49, 17.84",\
                 "11.9, 11.99, 12.24, 12.6, 13.07, 13.67, 14.42, 15.35, 16.49, 17.84");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.003639, 0.0129, 0.03059, 0.05815, 0.09681, 0.1477, 0.2118, 0.29, 0.3833");
          values("7.435, 7.573, 7.99, 8.699, 9.761, 11.24, 13.17, 15.6, 18.57, 22.11",\
                 "7.514, 7.652, 8.07, 8.779, 9.841, 11.32, 13.25, 15.68, 18.65, 22.18",\
                 "7.739, 7.877, 8.295, 9.004, 10.07, 11.54, 13.48, 15.91, 18.87, 22.41",\
                 "8.192, 8.329, 8.747, 9.456, 10.52, 12, 13.93, 16.36, 19.33, 22.86",\
                 "8.933, 9.07, 9.488, 10.2, 11.26, 12.73, 14.67, 17.1, 20.07, 23.6",\
                 "10, 10.14, 10.56, 11.26, 12.33, 13.8, 15.74, 18.17, 21.14, 24.67",\
                 "11.42, 11.56, 11.98, 12.69, 13.75, 15.22, 17.16, 19.59, 22.56, 26.09",\
                 "13.19, 13.32, 13.74, 14.45, 15.51, 16.99, 18.92, 21.36, 24.32, 27.86",\
                 "15.19, 15.33, 15.75, 16.46, 17.52, 19, 20.94, 23.37, 26.33, 29.87",\
                 "17.35, 17.49, 17.91, 18.62, 19.69, 21.16, 23.1, 25.53, 28.5, 32.03");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.003639, 0.0129, 0.03059, 0.05815, 0.09681, 0.1477, 0.2118, 0.29, 0.3833");
          values("0.8284, 0.9226, 1.203, 1.655, 2.285, 3.144, 4.277, 5.754, 7.608, 9.869",\
                 "0.8284, 0.9228, 1.203, 1.654, 2.286, 3.136, 4.277, 5.754, 7.61, 9.866",\
                 "0.8286, 0.922, 1.203, 1.654, 2.282, 3.136, 4.277, 5.75, 7.611, 9.872",\
                 "0.8286, 0.9224, 1.203, 1.655, 2.286, 3.143, 4.277, 5.756, 7.61, 9.874",\
                 "0.8284, 0.923, 1.203, 1.653, 2.286, 3.144, 4.276, 5.756, 7.61, 9.87",\
                 "0.828, 0.922, 1.202, 1.654, 2.282, 3.144, 4.278, 5.752, 7.604, 9.87",\
                 "0.83, 0.924, 1.208, 1.656, 2.288, 3.142, 4.276, 5.75, 7.602, 9.872",\
                 "0.832, 0.926, 1.204, 1.656, 2.288, 3.14, 4.278, 5.752, 7.606, 9.86",\
                 "0.832, 0.926, 1.208, 1.658, 2.284, 3.142, 4.274, 5.75, 7.596, 9.854",\
                 "0.834, 0.928, 1.206, 1.656, 2.286, 3.138, 4.278, 5.746, 7.614, 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.003639, 0.0129, 0.03059, 0.05815, 0.09681, 0.1477, 0.2118, 0.29, 0.3833");
          values("0.7606, 0.9098, 1.441, 2.501, 4.234, 6.696, 9.942, 14.04, 19.04, 24.98",\
                 "0.7596, 0.9096, 1.441, 2.501, 4.234, 6.696, 9.944, 14.04, 19.04, 24.99",\
                 "0.7594, 0.9094, 1.438, 2.499, 4.234, 6.696, 9.944, 14.04, 19.04, 24.99",\
                 "0.7596, 0.9102, 1.439, 2.5, 4.234, 6.69, 9.944, 14.04, 19.01, 24.96",\
                 "0.762, 0.908, 1.442, 2.498, 4.234, 6.692, 9.944, 14.04, 19, 24.99",\
                 "0.76, 0.91, 1.44, 2.5, 4.236, 6.696, 9.944, 14.02, 19.03, 25.01",\
                 "0.758, 0.91, 1.442, 2.5, 4.234, 6.696, 9.934, 14.03, 19.03, 24.99",\
                 "0.762, 0.91, 1.442, 2.504, 4.232, 6.692, 9.944, 14.03, 19.04, 25.01",\
                 "0.768, 0.918, 1.446, 2.502, 4.232, 6.7, 9.944, 14.03, 19.03, 24.99",\
                 "0.778, 0.926, 1.448, 2.506, 4.23, 6.69, 9.926, 14.04, 19.04, 25.01");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.003639, 0.0129, 0.03059, 0.05815, 0.09681, 0.1477, 0.2118, 0.29, 0.3833");
          values("9.419, 9.547, 9.891, 10.37, 10.95, 11.64, 12.46, 13.43, 14.58, 15.94",\
                 "9.468, 9.595, 9.94, 10.42, 11, 11.69, 12.51, 13.48, 14.63, 15.99",\
                 "9.685, 9.813, 10.16, 10.64, 11.22, 11.91, 12.73, 13.7, 14.85, 16.21",\
                 "10.11, 10.24, 10.59, 11.07, 11.65, 12.34, 13.16, 14.13, 15.28, 16.64",\
                 "10.76, 10.88, 11.23, 11.71, 12.29, 12.98, 13.8, 14.77, 15.92, 17.28",\
                 "11.64, 11.77, 12.11, 12.59, 13.18, 13.87, 14.68, 15.65, 16.8, 18.16",\
                 "12.77, 12.9, 13.24, 13.72, 14.31, 15, 15.81, 16.78, 17.94, 19.29",\
                 "14.1, 14.22, 14.57, 15.05, 15.63, 16.32, 17.14, 18.11, 19.26, 20.62",\
                 "15.57, 15.7, 16.04, 16.52, 17.11, 17.8, 18.61, 19.58, 20.73, 22.09",\
                 "17.2, 17.32, 17.67, 18.15, 18.73, 19.42, 20.24, 21.21, 22.36, 23.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.003639, 0.0129, 0.03059, 0.05815, 0.09681, 0.1477, 0.2118, 0.29, 0.3833");
          values("8.773, 8.912, 9.329, 10.04, 11.1, 12.58, 14.51, 16.95, 19.91, 23.44",\
                 "8.852, 8.99, 9.407, 10.12, 11.18, 12.65, 14.59, 17.02, 19.99, 23.52",\
                 "9.088, 9.226, 9.644, 10.35, 11.42, 12.89, 14.83, 17.26, 20.23, 23.76",\
                 "9.442, 9.581, 9.999, 10.71, 11.77, 13.25, 15.18, 17.61, 20.58, 24.11",\
                 "9.794, 9.932, 10.35, 11.06, 12.12, 13.6, 15.53, 17.96, 20.93, 24.46",\
                 "10.11, 10.24, 10.66, 11.37, 12.43, 13.91, 15.84, 18.28, 21.24, 24.77",\
                 "10.36, 10.5, 10.91, 11.62, 12.68, 14.16, 16.1, 18.53, 21.49, 25.03",\
                 "10.53, 10.67, 11.09, 11.8, 12.86, 14.33, 16.27, 18.7, 21.67, 25.2",\
                 "10.62, 10.76, 11.18, 11.89, 12.95, 14.43, 16.36, 18.8, 21.76, 25.3",\
                 "10.62, 10.76, 11.18, 11.88, 12.95, 14.42, 16.36, 18.79, 21.76, 25.29");
        }

        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.003639, 0.0129, 0.03059, 0.05815, 0.09681, 0.1477, 0.2118, 0.29, 0.3833");
          values("0.8268, 0.9202, 1.2, 1.653, 2.282, 3.138, 4.27, 5.754, 7.612, 9.86",\
                 "0.8272, 0.921, 1.2, 1.652, 2.284, 3.138, 4.274, 5.744, 7.61, 9.864",\
                 "0.8264, 0.92, 1.202, 1.654, 2.28, 3.138, 4.274, 5.754, 7.61, 9.866",\
                 "0.828, 0.92, 1.202, 1.652, 2.284, 3.136, 4.274, 5.754, 7.598, 9.868",\
                 "0.828, 0.92, 1.202, 1.654, 2.282, 3.136, 4.274, 5.744, 7.61, 9.872",\
                 "0.828, 0.92, 1.2, 1.654, 2.284, 3.136, 4.27, 5.754, 7.602, 9.872",\
                 "0.826, 0.92, 1.2, 1.654, 2.282, 3.138, 4.27, 5.754, 7.598, 9.87",\
                 "0.828, 0.92, 1.202, 1.652, 2.284, 3.136, 4.276, 5.75, 7.608, 9.858",\
                 "0.828, 0.92, 1.2, 1.656, 2.284, 3.14, 4.276, 5.754, 7.612, 9.864",\
                 "0.826, 0.92, 1.202, 1.652, 2.278, 3.138, 4.276, 5.744, 7.608, 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.003639, 0.0129, 0.03059, 0.05815, 0.09681, 0.1477, 0.2118, 0.29, 0.3833");
          values("0.7604, 0.9118, 1.439, 2.503, 4.234, 6.696, 9.94, 14.02, 19.02, 25",\
                 "0.761, 0.911, 1.439, 2.502, 4.234, 6.696, 9.942, 14.04, 19.01, 24.98",\
                 "0.7616, 0.9102, 1.439, 2.5, 4.228, 6.694, 9.938, 14.03, 19.02, 24.97",\
                 "0.762, 0.912, 1.438, 2.502, 4.234, 6.692, 9.944, 14.03, 19.01, 24.96",\
                 "0.762, 0.91, 1.44, 2.5, 4.23, 6.692, 9.944, 14.04, 19.01, 24.98",\
                 "0.76, 0.91, 1.442, 2.504, 4.234, 6.696, 9.942, 14.02, 19.02, 25",\
                 "0.76, 0.91, 1.438, 2.502, 4.234, 6.7, 9.936, 14.03, 19.02, 24.98",\
                 "0.76, 0.91, 1.438, 2.5, 4.234, 6.7, 9.936, 14.03, 19.04, 25",\
                 "0.762, 0.91, 1.438, 2.498, 4.23, 6.692, 9.936, 14.02, 19.04, 25",\
                 "0.76, 0.91, 1.44, 2.502, 4.23, 6.688, 9.936, 14.01, 19, 24.96");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.003639, 0.0129, 0.03059, 0.05815, 0.09681, 0.1477, 0.2118, 0.29, 0.3833");
          values("8.72, 8.81, 9.056, 9.418, 9.887, 10.48, 11.24, 12.17, 13.31, 14.66",\
                 "8.801, 8.889, 9.135, 9.496, 9.965, 10.56, 11.32, 12.25, 13.39, 14.74",\
                 "9.025, 9.114, 9.361, 9.722, 10.19, 10.79, 11.54, 12.48, 13.61, 14.96",\
                 "9.479, 9.568, 9.814, 10.18, 10.64, 11.24, 11.99, 12.93, 14.06, 15.42",\
                 "10.22, 10.31, 10.55, 10.91, 11.38, 11.98, 12.74, 13.67, 14.8, 16.16",\
                 "11.29, 11.37, 11.62, 11.98, 12.45, 13.05, 13.8, 14.74, 15.87, 17.23",\
                 "12.71, 12.79, 13.04, 13.4, 13.87, 14.47, 15.22, 16.16, 17.29, 18.64",\
                 "14.45, 14.54, 14.78, 15.14, 15.61, 16.21, 16.96, 17.9, 19.03, 20.38",\
                 "16.41, 16.49, 16.74, 17.1, 17.57, 18.17, 18.92, 19.86, 20.99, 22.34",\
                 "18.5, 18.59, 18.84, 19.19, 19.67, 20.26, 21.01, 21.95, 23.09, 24.44");
        }

        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.003639, 0.0129, 0.03059, 0.05815, 0.09681, 0.1477, 0.2118, 0.29, 0.3833");
          values("5.488, 5.618, 6.022, 6.723, 7.781, 9.253, 11.19, 13.62, 16.59, 20.13",\
                 "5.541, 5.672, 6.076, 6.777, 7.835, 9.307, 11.24, 13.67, 16.64, 20.17",\
                 "5.737, 5.868, 6.271, 6.973, 8.03, 9.502, 11.43, 13.87, 16.84, 20.36",\
                 "6.107, 6.238, 6.642, 7.343, 8.401, 9.872, 11.8, 14.24, 17.2, 20.74",\
                 "6.656, 6.787, 7.192, 7.892, 8.95, 10.42, 12.35, 14.78, 17.75, 21.29",\
                 "7.265, 7.396, 7.801, 8.502, 9.559, 11.03, 12.96, 15.39, 18.35, 21.88",\
                 "7.841, 7.971, 8.375, 9.077, 10.13, 11.61, 13.54, 15.97, 18.93, 22.46",\
                 "8.36, 8.491, 8.895, 9.596, 10.65, 12.13, 14.06, 16.49, 19.45, 22.98",\
                 "8.813, 8.943, 9.348, 10.05, 11.11, 12.58, 14.51, 16.94, 19.9, 23.43",\
                 "9.185, 9.316, 9.72, 10.42, 11.48, 12.95, 14.88, 17.31, 20.27, 23.8");
        }

        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.003639, 0.0129, 0.03059, 0.05815, 0.09681, 0.1477, 0.2118, 0.29, 0.3833");
          values("0.5334, 0.6082, 0.8418, 1.246, 1.864, 2.754, 3.966, 5.53, 7.462, 9.77",\
                 "0.5334, 0.6082, 0.8418, 1.246, 1.862, 2.752, 3.968, 5.53, 7.462, 9.774",\
                 "0.533, 0.6082, 0.8418, 1.248, 1.864, 2.752, 3.966, 5.524, 7.46, 9.774",\
                 "0.532, 0.608, 0.842, 1.248, 1.864, 2.752, 3.968, 5.53, 7.462, 9.774",\
                 "0.534, 0.608, 0.842, 1.248, 1.862, 2.752, 3.964, 5.532, 7.46, 9.776",\
                 "0.534, 0.608, 0.842, 1.246, 1.862, 2.752, 3.968, 5.532, 7.46, 9.766",\
                 "0.532, 0.608, 0.842, 1.248, 1.864, 2.752, 3.962, 5.53, 7.448, 9.752",\
                 "0.534, 0.608, 0.842, 1.248, 1.862, 2.75, 3.962, 5.53, 7.458, 9.774",\
                 "0.534, 0.608, 0.842, 1.246, 1.862, 2.754, 3.966, 5.532, 7.458, 9.772",\
                 "0.534, 0.61, 0.842, 1.246, 1.864, 2.752, 3.968, 5.524, 7.456, 9.772");
        }

        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.003639, 0.0129, 0.03059, 0.05815, 0.09681, 0.1477, 0.2118, 0.29, 0.3833");
          values("0.6976, 0.8506, 1.391, 2.468, 4.211, 6.68, 9.913, 14.03, 19.02, 24.99",\
                 "0.6974, 0.8524, 1.393, 2.468, 4.211, 6.683, 9.912, 14.06, 19.02, 24.97",\
                 "0.6972, 0.8516, 1.391, 2.47, 4.208, 6.682, 9.933, 14.01, 19.02, 24.97",\
                 "0.6976, 0.851, 1.391, 2.469, 4.208, 6.68, 9.94, 14, 19.01, 24.97",\
                 "0.697, 0.8514, 1.391, 2.468, 4.21, 6.682, 9.94, 14.02, 19, 25.01",\
                 "0.698, 0.852, 1.39, 2.466, 4.208, 6.682, 9.92, 14.05, 19.02, 24.97",\
                 "0.7, 0.852, 1.392, 2.466, 4.208, 6.682, 9.94, 14.01, 19.01, 25",\
                 "0.698, 0.85, 1.394, 2.468, 4.206, 6.668, 9.918, 14.01, 19.04, 24.99",\
                 "0.7, 0.852, 1.392, 2.468, 4.21, 6.672, 9.908, 14.02, 19.03, 24.99",\
                 "0.698, 0.852, 1.392, 2.468, 4.208, 6.672, 9.928, 14.01, 18.99, 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.003639, 0.0129, 0.03059, 0.05815, 0.09681, 0.1477, 0.2118, 0.29, 0.3833");
          values("8.72, 8.81, 9.056, 9.418, 9.887, 10.48, 11.24, 12.17, 13.31, 14.66",\
                 "8.801, 8.889, 9.135, 9.496, 9.965, 10.56, 11.32, 12.25, 13.39, 14.74",\
                 "9.025, 9.114, 9.361, 9.722, 10.19, 10.79, 11.54, 12.48, 13.61, 14.96",\
                 "9.479, 9.568, 9.814, 10.18, 10.64, 11.24, 11.99, 12.93, 14.06, 15.42",\
                 "10.22, 10.31, 10.55, 10.91, 11.38, 11.98, 12.74, 13.67, 14.8, 16.16",\
                 "11.29, 11.37, 11.62, 11.98, 12.45, 13.05, 13.8, 14.74, 15.87, 17.23",\
                 "12.71, 12.79, 13.04, 13.4, 13.87, 14.47, 15.22, 16.16, 17.29, 18.64",\
                 "14.45, 14.54, 14.78, 15.14, 15.61, 16.21, 16.96, 17.9, 19.03, 20.38",\
                 "16.41, 16.49, 16.74, 17.1, 17.57, 18.17, 18.92, 19.86, 20.99, 22.34",\
                 "18.5, 18.59, 18.84, 19.19, 19.67, 20.26, 21.01, 21.95, 23.09, 24.44");
        }

        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.003639, 0.0129, 0.03059, 0.05815, 0.09681, 0.1477, 0.2118, 0.29, 0.3833");
          values("8.773, 8.912, 9.329, 10.04, 11.1, 12.58, 14.51, 16.95, 19.91, 23.44",\
                 "8.852, 8.99, 9.407, 10.12, 11.18, 12.65, 14.59, 17.02, 19.99, 23.52",\
                 "9.088, 9.226, 9.644, 10.35, 11.42, 12.89, 14.83, 17.26, 20.23, 23.76",\
                 "9.442, 9.581, 9.999, 10.71, 11.77, 13.25, 15.18, 17.61, 20.58, 24.11",\
                 "9.794, 9.932, 10.35, 11.06, 12.12, 13.6, 15.53, 17.96, 20.93, 24.46",\
                 "10.11, 10.24, 10.66, 11.37, 12.43, 13.91, 15.84, 18.28, 21.24, 24.77",\
                 "10.36, 10.5, 10.91, 11.62, 12.68, 14.16, 16.1, 18.53, 21.49, 25.03",\
                 "10.53, 10.67, 11.09, 11.8, 12.86, 14.33, 16.27, 18.7, 21.67, 25.2",\
                 "10.62, 10.76, 11.18, 11.89, 12.95, 14.43, 16.36, 18.8, 21.76, 25.3",\
                 "10.62, 10.76, 11.18, 11.88, 12.95, 14.42, 16.36, 18.79, 21.76, 25.29");
        }

        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.003639, 0.0129, 0.03059, 0.05815, 0.09681, 0.1477, 0.2118, 0.29, 0.3833");
          values("0.8268, 0.9202, 1.2, 1.653, 2.282, 3.138, 4.27, 5.754, 7.612, 9.86",\
                 "0.8272, 0.921, 1.2, 1.652, 2.284, 3.138, 4.274, 5.744, 7.61, 9.864",\
                 "0.8264, 0.92, 1.202, 1.654, 2.28, 3.138, 4.274, 5.754, 7.61, 9.866",\
                 "0.828, 0.92, 1.202, 1.652, 2.284, 3.136, 4.274, 5.754, 7.598, 9.868",\
                 "0.828, 0.92, 1.202, 1.654, 2.282, 3.136, 4.274, 5.744, 7.61, 9.872",\
                 "0.828, 0.92, 1.2, 1.654, 2.284, 3.136, 4.27, 5.754, 7.602, 9.872",\
                 "0.826, 0.92, 1.2, 1.654, 2.282, 3.138, 4.27, 5.754, 7.598, 9.87",\
                 "0.828, 0.92, 1.202, 1.652, 2.284, 3.136, 4.276, 5.75, 7.608, 9.858",\
                 "0.828, 0.92, 1.2, 1.656, 2.284, 3.14, 4.276, 5.754, 7.612, 9.864",\
                 "0.826, 0.92, 1.202, 1.652, 2.278, 3.138, 4.276, 5.744, 7.608, 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.003639, 0.0129, 0.03059, 0.05815, 0.09681, 0.1477, 0.2118, 0.29, 0.3833");
          values("0.6976, 0.8506, 1.391, 2.468, 4.211, 6.68, 9.913, 14.03, 19.02, 24.99",\
                 "0.6974, 0.8524, 1.393, 2.468, 4.211, 6.683, 9.912, 14.06, 19.02, 24.97",\
                 "0.6972, 0.8516, 1.391, 2.47, 4.208, 6.682, 9.933, 14.01, 19.02, 24.97",\
                 "0.6976, 0.851, 1.391, 2.469, 4.208, 6.68, 9.94, 14, 19.01, 24.97",\
                 "0.697, 0.8514, 1.391, 2.468, 4.21, 6.682, 9.94, 14.02, 19, 25.01",\
                 "0.698, 0.852, 1.39, 2.466, 4.208, 6.682, 9.92, 14.05, 19.02, 24.97",\
                 "0.7, 0.852, 1.392, 2.466, 4.208, 6.682, 9.94, 14.01, 19.01, 25",\
                 "0.698, 0.85, 1.394, 2.468, 4.206, 6.668, 9.918, 14.01, 19.04, 24.99",\
                 "0.7, 0.852, 1.392, 2.468, 4.21, 6.672, 9.908, 14.02, 19.03, 24.99",\
                 "0.698, 0.852, 1.392, 2.468, 4.208, 6.672, 9.928, 14.01, 18.99, 24.98");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.003639, 0.0129, 0.03059, 0.05815, 0.09681, 0.1477, 0.2118, 0.29, 0.3833");
          values("9.761, 9.849, 10.1, 10.46, 10.93, 11.52, 12.28, 13.21, 14.35, 15.7",\
                 "9.832, 9.921, 10.17, 10.53, 11, 11.59, 12.35, 13.28, 14.42, 15.77",\
                 "10.05, 10.14, 10.39, 10.75, 11.22, 11.82, 12.57, 13.51, 14.64, 15.99",\
                 "10.4, 10.49, 10.73, 11.09, 11.56, 12.16, 12.91, 13.85, 14.98, 16.33",\
                 "10.73, 10.82, 11.07, 11.43, 11.9, 12.5, 13.25, 14.18, 15.32, 16.67",\
                 "11.03, 11.12, 11.36, 11.72, 12.19, 12.79, 13.54, 14.48, 15.61, 16.96",\
                 "11.26, 11.35, 11.59, 11.96, 12.43, 13.02, 13.78, 14.71, 15.85, 17.2",\
                 "11.43, 11.52, 11.76, 12.12, 12.59, 13.19, 13.94, 14.88, 16.01, 17.36",\
                 "11.5, 11.59, 11.84, 12.2, 12.67, 13.27, 14.02, 14.95, 16.09, 17.44",\
                 "11.47, 11.56, 11.81, 12.17, 12.64, 13.23, 13.99, 14.92, 16.06, 17.41");
        }

        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.003639, 0.0129, 0.03059, 0.05815, 0.09681, 0.1477, 0.2118, 0.29, 0.3833");
          values("9.266, 9.397, 9.802, 10.5, 11.56, 13.03, 14.96, 17.39, 20.36, 23.89",\
                 "9.294, 9.425, 9.83, 10.53, 11.59, 13.06, 14.99, 17.42, 20.39, 23.92",\
                 "9.47, 9.601, 10.01, 10.71, 11.76, 13.24, 15.17, 17.6, 20.56, 24.09",\
                 "9.916, 10.05, 10.45, 11.15, 12.21, 13.68, 15.61, 18.04, 21.01, 24.53",\
                 "10.66, 10.79, 11.2, 11.9, 12.96, 14.43, 16.36, 18.79, 21.75, 25.28",\
                 "11.73, 11.87, 12.27, 12.97, 14.03, 15.5, 17.43, 19.86, 22.82, 26.36",\
                 "13.14, 13.27, 13.67, 14.37, 15.43, 16.9, 18.83, 21.26, 24.23, 27.76",\
                 "14.79, 14.93, 15.33, 16.03, 17.09, 18.56, 20.49, 22.92, 25.88, 29.42",\
                 "16.6, 16.73, 17.14, 17.84, 18.89, 20.37, 22.3, 24.73, 27.69, 31.22",\
                 "18.55, 18.68, 19.08, 19.78, 20.84, 22.31, 24.24, 26.67, 29.64, 33.16");
        }

        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.003639, 0.0129, 0.03059, 0.05815, 0.09681, 0.1477, 0.2118, 0.29, 0.3833");
          values("0.5336, 0.6082, 0.8426, 1.246, 1.864, 2.754, 3.964, 5.524, 7.46, 9.754",\
                 "0.534, 0.6092, 0.844, 1.246, 1.864, 2.754, 3.964, 5.526, 7.464, 9.762",\
                 "0.534, 0.608, 0.842, 1.248, 1.862, 2.75, 3.966, 5.534, 7.458, 9.774",\
                 "0.532, 0.608, 0.842, 1.248, 1.862, 2.75, 3.968, 5.532, 7.458, 9.774",\
                 "0.532, 0.61, 0.844, 1.248, 1.866, 2.754, 3.96, 5.524, 7.456, 9.758",\
                 "0.534, 0.608, 0.84, 1.246, 1.864, 2.754, 3.966, 5.532, 7.462, 9.774",\
                 "0.532, 0.608, 0.842, 1.248, 1.866, 2.752, 3.966, 5.532, 7.462, 9.756",\
                 "0.534, 0.608, 0.842, 1.246, 1.862, 2.752, 3.964, 5.528, 7.456, 9.76",\
                 "0.532, 0.608, 0.842, 1.248, 1.864, 2.752, 3.958, 5.528, 7.446, 9.762",\
                 "0.534, 0.608, 0.842, 1.246, 1.864, 2.75, 3.966, 5.532, 7.454, 9.748");
        }

        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.003639, 0.0129, 0.03059, 0.05815, 0.09681, 0.1477, 0.2118, 0.29, 0.3833");
          values("0.697, 0.8522, 1.39, 2.469, 4.206, 6.676, 9.92, 14.01, 19.02, 24.99",\
                 "0.6978, 0.8512, 1.391, 2.47, 4.206, 6.672, 9.94, 14.01, 19, 24.99",\
                 "0.697, 0.8512, 1.39, 2.466, 4.204, 6.68, 9.92, 14.03, 19.01, 24.96",\
                 "0.696, 0.852, 1.392, 2.468, 4.208, 6.682, 9.94, 14.01, 19.01, 24.99",\
                 "0.698, 0.852, 1.392, 2.466, 4.21, 6.68, 9.922, 14.03, 19.04, 24.99",\
                 "0.696, 0.852, 1.39, 2.466, 4.204, 6.678, 9.94, 14.02, 19.03, 24.96",\
                 "0.696, 0.852, 1.39, 2.468, 4.208, 6.672, 9.922, 14.04, 19.03, 24.97",\
                 "0.696, 0.852, 1.39, 2.47, 4.21, 6.678, 9.92, 14.02, 19.06, 24.95",\
                 "0.698, 0.85, 1.39, 2.47, 4.208, 6.682, 9.934, 14.02, 19.06, 25.01",\
                 "0.698, 0.85, 1.39, 2.468, 4.204, 6.672, 9.93, 14.02, 19.03, 25.03");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.003639, 0.0129, 0.03059, 0.05815, 0.09681, 0.1477, 0.2118, 0.29, 0.3833");
          values("5.402, 5.529, 5.875, 6.356, 6.937, 7.627, 8.444, 9.415, 10.57, 11.92",\
                 "5.465, 5.593, 5.937, 6.418, 7, 7.691, 8.508, 9.479, 10.63, 11.99",\
                 "5.633, 5.761, 6.105, 6.586, 7.168, 7.858, 8.676, 9.646, 10.8, 12.16",\
                 "5.924, 6.052, 6.397, 6.877, 7.459, 8.15, 8.967, 9.938, 11.09, 12.45",\
                 "6.346, 6.474, 6.818, 7.299, 7.881, 8.572, 9.389, 10.36, 11.51, 12.87",\
                 "6.821, 6.949, 7.294, 7.774, 8.358, 9.047, 9.864, 10.84, 11.99, 13.34",\
                 "7.289, 7.417, 7.76, 8.241, 8.825, 9.515, 10.33, 11.3, 12.46, 13.81",\
                 "7.721, 7.848, 8.194, 8.675, 9.258, 9.949, 10.77, 11.74, 12.89, 14.25",\
                 "8.099, 8.227, 8.573, 9.054, 9.635, 10.33, 11.15, 12.12, 13.27, 14.63",\
                 "8.403, 8.532, 8.876, 9.36, 9.944, 10.63, 11.45, 12.42, 13.58, 14.93");
        }

        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.003639, 0.0129, 0.03059, 0.05815, 0.09681, 0.1477, 0.2118, 0.29, 0.3833");
          values("7.827, 7.965, 8.383, 9.092, 10.15, 11.63, 13.57, 16, 18.96, 22.5",\
                 "7.874, 8.012, 8.429, 9.139, 10.2, 11.68, 13.61, 16.04, 19.01, 22.55",\
                 "8.108, 8.246, 8.664, 9.373, 10.44, 11.91, 13.85, 16.28, 19.24, 22.78",\
                 "8.579, 8.717, 9.134, 9.843, 10.91, 12.38, 14.32, 16.75, 19.72, 23.25",\
                 "9.331, 9.469, 9.887, 10.6, 11.66, 13.13, 15.07, 17.5, 20.47, 24",\
                 "10.4, 10.54, 10.96, 11.67, 12.73, 14.21, 16.14, 18.57, 21.54, 25.07",\
                 "11.83, 11.97, 12.39, 13.09, 14.16, 15.63, 17.57, 20, 22.97, 26.5",\
                 "13.61, 13.75, 14.17, 14.88, 15.94, 17.42, 19.35, 21.78, 24.75, 28.28",\
                 "15.67, 15.81, 16.23, 16.94, 18, 19.48, 21.41, 23.84, 26.81, 30.34",\
                 "17.9, 18.04, 18.46, 19.17, 20.23, 21.71, 23.64, 26.07, 29.04, 32.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.003639, 0.0129, 0.03059, 0.05815, 0.09681, 0.1477, 0.2118, 0.29, 0.3833");
          values("0.8274, 0.922, 1.203, 1.653, 2.285, 3.136, 4.277, 5.755, 7.61, 9.869",\
                 "0.8282, 0.9226, 1.203, 1.655, 2.286, 3.144, 4.277, 5.754, 7.609, 9.87",\
                 "0.8284, 0.922, 1.203, 1.654, 2.286, 3.137, 4.276, 5.755, 7.609, 9.866",\
                 "0.8282, 0.9226, 1.201, 1.653, 2.283, 3.136, 4.277, 5.754, 7.61, 9.872",\
                 "0.8282, 0.9228, 1.202, 1.655, 2.285, 3.142, 4.28, 5.756, 7.61, 9.866",\
                 "0.828, 0.922, 1.202, 1.654, 2.282, 3.142, 4.274, 5.752, 7.612, 9.86",\
                 "0.83, 0.922, 1.204, 1.654, 2.288, 3.142, 4.278, 5.748, 7.61, 9.864",\
                 "0.83, 0.924, 1.204, 1.658, 2.284, 3.14, 4.276, 5.748, 7.612, 9.856",\
                 "0.832, 0.926, 1.208, 1.658, 2.29, 3.14, 4.276, 5.746, 7.598, 9.852",\
                 "0.832, 0.928, 1.208, 1.658, 2.288, 3.142, 4.28, 5.746, 7.6, 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.003639, 0.0129, 0.03059, 0.05815, 0.09681, 0.1477, 0.2118, 0.29, 0.3833");
          values("0.7622, 0.9106, 1.442, 2.503, 4.234, 6.696, 9.944, 14.04, 19.04, 25",\
                 "0.7614, 0.9142, 1.44, 2.502, 4.234, 6.694, 9.944, 14.04, 19.04, 25",\
                 "0.7606, 0.9106, 1.439, 2.502, 4.235, 6.698, 9.946, 14.04, 19.03, 24.97",\
                 "0.7612, 0.9104, 1.438, 2.504, 4.234, 6.698, 9.942, 14.04, 19.02, 24.99",\
                 "0.762, 0.912, 1.442, 2.502, 4.234, 6.69, 9.942, 14.04, 19.02, 25",\
                 "0.76, 0.91, 1.44, 2.502, 4.236, 6.694, 9.942, 14.02, 19.02, 24.98",\
                 "0.76, 0.914, 1.44, 2.502, 4.234, 6.698, 9.93, 14.03, 19.04, 24.99",\
                 "0.764, 0.916, 1.442, 2.502, 4.228, 6.69, 9.94, 14.04, 19.03, 25",\
                 "0.766, 0.916, 1.442, 2.5, 4.236, 6.7, 9.942, 14.04, 19.03, 25.01",\
                 "0.778, 0.924, 1.45, 2.504, 4.238, 6.69, 9.942, 14.04, 19.04, 25");
        }
      }

      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.003639, 0.0129, 0.03059, 0.05815, 0.09681, 0.1477, 0.2118, 0.29, 0.3833");
          values("9.761, 9.849, 10.1, 10.46, 10.93, 11.52, 12.28, 13.21, 14.35, 15.7",\
                 "9.832, 9.921, 10.17, 10.53, 11, 11.59, 12.35, 13.28, 14.42, 15.77",\
                 "10.05, 10.14, 10.39, 10.75, 11.22, 11.82, 12.57, 13.51, 14.64, 15.99",\
                 "10.4, 10.49, 10.73, 11.09, 11.56, 12.16, 12.91, 13.85, 14.98, 16.33",\
                 "10.73, 10.82, 11.07, 11.43, 11.9, 12.5, 13.25, 14.18, 15.32, 16.67",\
                 "11.03, 11.12, 11.36, 11.72, 12.19, 12.79, 13.54, 14.48, 15.61, 16.96",\
                 "11.26, 11.35, 11.59, 11.96, 12.43, 13.02, 13.78, 14.71, 15.85, 17.2",\
                 "11.43, 11.52, 11.76, 12.12, 12.59, 13.19, 13.94, 14.88, 16.01, 17.36",\
                 "11.5, 11.59, 11.84, 12.2, 12.67, 13.27, 14.02, 14.95, 16.09, 17.44",\
                 "11.47, 11.56, 11.81, 12.17, 12.64, 13.23, 13.99, 14.92, 16.06, 17.41");
        }

        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.003639, 0.0129, 0.03059, 0.05815, 0.09681, 0.1477, 0.2118, 0.29, 0.3833");
          values("9.266, 9.397, 9.802, 10.5, 11.56, 13.03, 14.96, 17.39, 20.36, 23.89",\
                 "9.294, 9.425, 9.83, 10.53, 11.59, 13.06, 14.99, 17.42, 20.39, 23.92",\
                 "9.47, 9.601, 10.01, 10.71, 11.76, 13.24, 15.17, 17.6, 20.56, 24.09",\
                 "9.916, 10.05, 10.45, 11.15, 12.21, 13.68, 15.61, 18.04, 21.01, 24.53",\
                 "10.66, 10.79, 11.2, 11.9, 12.96, 14.43, 16.36, 18.79, 21.75, 25.28",\
                 "11.73, 11.87, 12.27, 12.97, 14.03, 15.5, 17.43, 19.86, 22.82, 26.36",\
                 "13.14, 13.27, 13.67, 14.37, 15.43, 16.9, 18.83, 21.26, 24.23, 27.76",\
                 "14.79, 14.93, 15.33, 16.03, 17.09, 18.56, 20.49, 22.92, 25.88, 29.42",\
                 "16.6, 16.73, 17.14, 17.84, 18.89, 20.37, 22.3, 24.73, 27.69, 31.22",\
                 "18.55, 18.68, 19.08, 19.78, 20.84, 22.31, 24.24, 26.67, 29.64, 33.16");
        }

        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.003639, 0.0129, 0.03059, 0.05815, 0.09681, 0.1477, 0.2118, 0.29, 0.3833");
          values("0.8274, 0.922, 1.203, 1.653, 2.285, 3.136, 4.277, 5.755, 7.61, 9.869",\
                 "0.8282, 0.9226, 1.203, 1.655, 2.286, 3.144, 4.277, 5.754, 7.609, 9.87",\
                 "0.8284, 0.922, 1.203, 1.654, 2.286, 3.137, 4.276, 5.755, 7.609, 9.866",\
                 "0.8282, 0.9226, 1.201, 1.653, 2.283, 3.136, 4.277, 5.754, 7.61, 9.872",\
                 "0.8282, 0.9228, 1.202, 1.655, 2.285, 3.142, 4.28, 5.756, 7.61, 9.866",\
                 "0.828, 0.922, 1.202, 1.654, 2.282, 3.142, 4.274, 5.752, 7.612, 9.86",\
                 "0.83, 0.922, 1.204, 1.654, 2.288, 3.142, 4.278, 5.748, 7.61, 9.864",\
                 "0.83, 0.924, 1.204, 1.658, 2.284, 3.14, 4.276, 5.748, 7.612, 9.856",\
                 "0.832, 0.926, 1.208, 1.658, 2.29, 3.14, 4.276, 5.746, 7.598, 9.852",\
                 "0.832, 0.928, 1.208, 1.658, 2.288, 3.142, 4.28, 5.746, 7.6, 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.003639, 0.0129, 0.03059, 0.05815, 0.09681, 0.1477, 0.2118, 0.29, 0.3833");
          values("0.697, 0.8522, 1.39, 2.469, 4.206, 6.676, 9.92, 14.01, 19.02, 24.99",\
                 "0.6978, 0.8512, 1.391, 2.47, 4.206, 6.672, 9.94, 14.01, 19, 24.99",\
                 "0.697, 0.8512, 1.39, 2.466, 4.204, 6.68, 9.92, 14.03, 19.01, 24.96",\
                 "0.696, 0.852, 1.392, 2.468, 4.208, 6.682, 9.94, 14.01, 19.01, 24.99",\
                 "0.698, 0.852, 1.392, 2.466, 4.21, 6.68, 9.922, 14.03, 19.04, 24.99",\
                 "0.696, 0.852, 1.39, 2.466, 4.204, 6.678, 9.94, 14.02, 19.03, 24.96",\
                 "0.696, 0.852, 1.39, 2.468, 4.208, 6.672, 9.922, 14.04, 19.03, 24.97",\
                 "0.696, 0.852, 1.39, 2.47, 4.21, 6.678, 9.92, 14.02, 19.06, 24.95",\
                 "0.698, 0.85, 1.39, 2.47, 4.208, 6.682, 9.934, 14.02, 19.06, 25.01",\
                 "0.698, 0.85, 1.39, 2.468, 4.204, 6.672, 9.93, 14.02, 19.03, 25.03");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.003639, 0.0129, 0.03059, 0.05815, 0.09681, 0.1477, 0.2118, 0.29, 0.3833");
          values("9.178, 9.306, 9.651, 10.13, 10.71, 11.4, 12.22, 13.19, 14.34, 15.7",\
                 "9.207, 9.335, 9.679, 10.16, 10.74, 11.43, 12.25, 13.22, 14.37, 15.73",\
                 "9.383, 9.511, 9.855, 10.34, 10.92, 11.61, 12.43, 13.4, 14.55, 15.9",\
                 "9.827, 9.955, 10.3, 10.78, 11.36, 12.05, 12.87, 13.84, 14.99, 16.35",\
                 "10.57, 10.7, 11.05, 11.53, 12.11, 12.8, 13.62, 14.59, 15.74, 17.1",\
                 "11.65, 11.78, 12.12, 12.6, 13.18, 13.87, 14.69, 15.66, 16.81, 18.17",\
                 "13.05, 13.18, 13.52, 14, 14.59, 15.27, 16.09, 17.06, 18.21, 19.57",\
                 "14.7, 14.83, 15.18, 15.66, 16.24, 16.93, 17.75, 18.72, 19.87, 21.23",\
                 "16.51, 16.63, 16.98, 17.46, 18.04, 18.73, 19.55, 20.52, 21.67, 23.03",\
                 "18.45, 18.57, 18.92, 19.4, 19.98, 20.67, 21.49, 22.46, 23.61, 24.97");
        }

        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.003639, 0.0129, 0.03059, 0.05815, 0.09681, 0.1477, 0.2118, 0.29, 0.3833");
          values("8.475, 8.613, 9.03, 9.739, 10.8, 12.28, 14.21, 16.65, 19.61, 23.15",\
                 "8.545, 8.683, 9.1, 9.809, 10.87, 12.35, 14.28, 16.71, 19.68, 23.22",\
                 "8.766, 8.904, 9.321, 10.03, 11.09, 12.57, 14.5, 16.94, 19.9, 23.44",\
                 "9.111, 9.249, 9.666, 10.37, 11.44, 12.91, 14.85, 17.28, 20.25, 23.78",\
                 "9.447, 9.585, 10, 10.71, 11.77, 13.25, 15.18, 17.62, 20.58, 24.12",\
                 "9.741, 9.879, 10.3, 11.01, 12.07, 13.55, 15.48, 17.91, 20.88, 24.41",\
                 "9.975, 10.11, 10.53, 11.24, 12.3, 13.78, 15.71, 18.14, 21.11, 24.64",\
                 "10.14, 10.28, 10.69, 11.4, 12.46, 13.94, 15.88, 18.31, 21.27, 24.81",\
                 "10.22, 10.36, 10.77, 11.48, 12.54, 14.02, 15.95, 18.39, 21.35, 24.88",\
                 "10.18, 10.32, 10.74, 11.45, 12.51, 13.98, 15.92, 18.35, 21.32, 24.85");
        }

        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.003639, 0.0129, 0.03059, 0.05815, 0.09681, 0.1477, 0.2118, 0.29, 0.3833");
          values("0.8272, 0.9212, 1.202, 1.653, 2.286, 3.136, 4.276, 5.754, 7.604, 9.872",\
                 "0.8272, 0.9212, 1.203, 1.652, 2.286, 3.138, 4.274, 5.746, 7.61, 9.864",\
                 "0.826, 0.9204, 1.2, 1.654, 2.28, 3.136, 4.274, 5.752, 7.612, 9.872",\
                 "0.828, 0.92, 1.202, 1.654, 2.284, 3.136, 4.272, 5.744, 7.61, 9.862",\
                 "0.828, 0.92, 1.2, 1.654, 2.286, 3.138, 4.274, 5.754, 7.6, 9.874",\
                 "0.828, 0.922, 1.202, 1.654, 2.282, 3.138, 4.276, 5.752, 7.606, 9.874",\
                 "0.828, 0.92, 1.202, 1.656, 2.28, 3.138, 4.272, 5.754, 7.598, 9.876",\
                 "0.826, 0.922, 1.202, 1.654, 2.284, 3.132, 4.274, 5.75, 7.598, 9.874",\
                 "0.828, 0.92, 1.2, 1.65, 2.284, 3.144, 4.278, 5.754, 7.61, 9.864",\
                 "0.828, 0.92, 1.2, 1.65, 2.282, 3.14, 4.272, 5.75, 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.003639, 0.0129, 0.03059, 0.05815, 0.09681, 0.1477, 0.2118, 0.29, 0.3833");
          values("0.7604, 0.9098, 1.438, 2.503, 4.234, 6.696, 9.944, 14.04, 19.03, 24.96",\
                 "0.7604, 0.9096, 1.439, 2.502, 4.235, 6.694, 9.942, 14.04, 19.02, 24.97",\
                 "0.7596, 0.9108, 1.437, 2.502, 4.234, 6.696, 9.944, 14.04, 19.01, 24.99",\
                 "0.76, 0.91, 1.438, 2.502, 4.234, 6.692, 9.944, 14.04, 19.01, 24.98",\
                 "0.76, 0.91, 1.438, 2.498, 4.236, 6.696, 9.944, 14.04, 19.03, 24.99",\
                 "0.758, 0.91, 1.438, 2.498, 4.236, 6.688, 9.944, 14.02, 19.02, 24.96",\
                 "0.76, 0.912, 1.438, 2.5, 4.234, 6.692, 9.944, 14.02, 19.03, 25",\
                 "0.76, 0.91, 1.438, 2.502, 4.228, 6.698, 9.926, 14.03, 19.02, 24.99",\
                 "0.758, 0.91, 1.438, 2.498, 4.226, 6.688, 9.93, 14.03, 19.03, 24.98",\
                 "0.762, 0.91, 1.438, 2.5, 4.23, 6.688, 9.938, 14.03, 19.01, 25");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.003639, 0.0129, 0.03059, 0.05815, 0.09681, 0.1477, 0.2118, 0.29, 0.3833");
          values("9.099, 9.188, 9.433, 9.794, 10.26, 10.86, 11.61, 12.55, 13.69, 15.04",\
                 "9.146, 9.235, 9.481, 9.842, 10.31, 10.91, 11.66, 12.6, 13.73, 15.08",\
                 "9.381, 9.469, 9.716, 10.08, 10.55, 11.14, 11.9, 12.83, 13.97, 15.32",\
                 "9.85, 9.94, 10.19, 10.55, 11.02, 11.61, 12.37, 13.3, 14.44, 15.79",\
                 "10.6, 10.69, 10.94, 11.3, 11.77, 12.37, 13.12, 14.05, 15.19, 16.54",\
                 "11.68, 11.77, 12.01, 12.37, 12.84, 13.44, 14.19, 15.13, 16.26, 17.62",\
                 "13.1, 13.19, 13.44, 13.8, 14.27, 14.86, 15.62, 16.55, 17.69, 19.04",\
                 "14.86, 14.95, 15.2, 15.56, 16.03, 16.63, 17.38, 18.32, 19.45, 20.8",\
                 "16.88, 16.97, 17.22, 17.58, 18.05, 18.64, 19.4, 20.33, 21.47, 22.82",\
                 "19.04, 19.13, 19.38, 19.74, 20.21, 20.81, 21.56, 22.49, 23.63, 24.98");
        }

        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.003639, 0.0129, 0.03059, 0.05815, 0.09681, 0.1477, 0.2118, 0.29, 0.3833");
          values("5.535, 5.666, 6.07, 6.771, 7.829, 9.301, 11.23, 13.66, 16.62, 20.15",\
                 "5.599, 5.729, 6.134, 6.834, 7.892, 9.364, 11.29, 13.72, 16.69, 20.22",\
                 "5.766, 5.897, 6.302, 7.002, 8.06, 9.532, 11.46, 13.89, 16.86, 20.39",\
                 "6.059, 6.19, 6.595, 7.295, 8.353, 9.825, 11.76, 14.19, 17.16, 20.68",\
                 "6.488, 6.619, 7.024, 7.725, 8.782, 10.25, 12.19, 14.62, 17.59, 21.12",\
                 "6.983, 7.114, 7.518, 8.219, 9.276, 10.75, 12.68, 15.11, 18.07, 21.6",\
                 "7.47, 7.601, 8.006, 8.706, 9.764, 11.24, 13.17, 15.6, 18.56, 22.09",\
                 "7.923, 8.052, 8.456, 9.157, 10.22, 11.69, 13.62, 16.05, 19.01, 22.54",\
                 "8.319, 8.449, 8.855, 9.555, 10.61, 12.09, 14.02, 16.44, 19.41, 22.94",\
                 "8.644, 8.774, 9.179, 9.88, 10.94, 12.41, 14.34, 16.77, 19.73, 23.26");
        }

        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.003639, 0.0129, 0.03059, 0.05815, 0.09681, 0.1477, 0.2118, 0.29, 0.3833");
          values("0.5334, 0.6088, 0.8414, 1.245, 1.862, 2.752, 3.968, 5.53, 7.462, 9.774",\
                 "0.5334, 0.6084, 0.842, 1.246, 1.864, 2.752, 3.962, 5.53, 7.462, 9.766",\
                 "0.5328, 0.6088, 0.8416, 1.248, 1.86, 2.75, 3.966, 5.53, 7.462, 9.772",\
                 "0.534, 0.608, 0.84, 1.246, 1.862, 2.752, 3.968, 5.53, 7.462, 9.774",\
                 "0.532, 0.608, 0.842, 1.246, 1.86, 2.75, 3.968, 5.532, 7.46, 9.774",\
                 "0.534, 0.61, 0.842, 1.246, 1.864, 2.754, 3.968, 5.53, 7.462, 9.772",\
                 "0.534, 0.608, 0.842, 1.244, 1.864, 2.752, 3.968, 5.53, 7.446, 9.762",\
                 "0.534, 0.608, 0.842, 1.246, 1.864, 2.752, 3.968, 5.532, 7.46, 9.774",\
                 "0.532, 0.608, 0.842, 1.246, 1.866, 2.754, 3.964, 5.53, 7.458, 9.762",\
                 "0.534, 0.608, 0.84, 1.246, 1.862, 2.754, 3.96, 5.524, 7.454, 9.754");
        }

        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.003639, 0.0129, 0.03059, 0.05815, 0.09681, 0.1477, 0.2118, 0.29, 0.3833");
          values("0.697, 0.8518, 1.393, 2.468, 4.206, 6.682, 9.939, 14.02, 19.02, 24.95",\
                 "0.6974, 0.8526, 1.392, 2.469, 4.21, 6.675, 9.923, 14.04, 19.03, 24.95",\
                 "0.6974, 0.8518, 1.39, 2.467, 4.206, 6.675, 9.923, 14, 19.02, 24.99",\
                 "0.6974, 0.8524, 1.391, 2.469, 4.21, 6.682, 9.922, 14.05, 19.04, 24.96",\
                 "0.6978, 0.852, 1.391, 2.468, 4.21, 6.682, 9.912, 14.03, 19.01, 25.01",\
                 "0.698, 0.85, 1.392, 2.47, 4.21, 6.676, 9.94, 14.01, 19, 24.97",\
                 "0.7, 0.852, 1.392, 2.468, 4.21, 6.682, 9.94, 14.01, 19.02, 24.97",\
                 "0.698, 0.854, 1.392, 2.468, 4.204, 6.668, 9.924, 14.02, 19.04, 24.97",\
                 "0.698, 0.852, 1.392, 2.468, 4.208, 6.67, 9.92, 14.01, 19.03, 24.98",\
                 "0.698, 0.85, 1.392, 2.47, 4.212, 6.67, 9.934, 14, 19, 24.98");
        }
      }

      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.003639, 0.0129, 0.03059, 0.05815, 0.09681, 0.1477, 0.2118, 0.29, 0.3833");
          values("9.099, 9.188, 9.433, 9.794, 10.26, 10.86, 11.61, 12.55, 13.69, 15.04",\
                 "9.146, 9.235, 9.481, 9.842, 10.31, 10.91, 11.66, 12.6, 13.73, 15.08",\
                 "9.381, 9.469, 9.716, 10.08, 10.55, 11.14, 11.9, 12.83, 13.97, 15.32",\
                 "9.85, 9.94, 10.19, 10.55, 11.02, 11.61, 12.37, 13.3, 14.44, 15.79",\
                 "10.6, 10.69, 10.94, 11.3, 11.77, 12.37, 13.12, 14.05, 15.19, 16.54",\
                 "11.68, 11.77, 12.01, 12.37, 12.84, 13.44, 14.19, 15.13, 16.26, 17.62",\
                 "13.1, 13.19, 13.44, 13.8, 14.27, 14.86, 15.62, 16.55, 17.69, 19.04",\
                 "14.86, 14.95, 15.2, 15.56, 16.03, 16.63, 17.38, 18.32, 19.45, 20.8",\
                 "16.88, 16.97, 17.22, 17.58, 18.05, 18.64, 19.4, 20.33, 21.47, 22.82",\
                 "19.04, 19.13, 19.38, 19.74, 20.21, 20.81, 21.56, 22.49, 23.63, 24.98");
        }

        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.003639, 0.0129, 0.03059, 0.05815, 0.09681, 0.1477, 0.2118, 0.29, 0.3833");
          values("8.475, 8.613, 9.03, 9.739, 10.8, 12.28, 14.21, 16.65, 19.61, 23.15",\
                 "8.545, 8.683, 9.1, 9.809, 10.87, 12.35, 14.28, 16.71, 19.68, 23.22",\
                 "8.766, 8.904, 9.321, 10.03, 11.09, 12.57, 14.5, 16.94, 19.9, 23.44",\
                 "9.111, 9.249, 9.666, 10.37, 11.44, 12.91, 14.85, 17.28, 20.25, 23.78",\
                 "9.447, 9.585, 10, 10.71, 11.77, 13.25, 15.18, 17.62, 20.58, 24.12",\
                 "9.741, 9.879, 10.3, 11.01, 12.07, 13.55, 15.48, 17.91, 20.88, 24.41",\
                 "9.975, 10.11, 10.53, 11.24, 12.3, 13.78, 15.71, 18.14, 21.11, 24.64",\
                 "10.14, 10.28, 10.69, 11.4, 12.46, 13.94, 15.88, 18.31, 21.27, 24.81",\
                 "10.22, 10.36, 10.77, 11.48, 12.54, 14.02, 15.95, 18.39, 21.35, 24.88",\
                 "10.18, 10.32, 10.74, 11.45, 12.51, 13.98, 15.92, 18.35, 21.32, 24.85");
        }

        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.003639, 0.0129, 0.03059, 0.05815, 0.09681, 0.1477, 0.2118, 0.29, 0.3833");
          values("0.8272, 0.9212, 1.202, 1.653, 2.286, 3.136, 4.276, 5.754, 7.604, 9.872",\
                 "0.8272, 0.9212, 1.203, 1.652, 2.286, 3.138, 4.274, 5.746, 7.61, 9.864",\
                 "0.826, 0.9204, 1.2, 1.654, 2.28, 3.136, 4.274, 5.752, 7.612, 9.872",\
                 "0.828, 0.92, 1.202, 1.654, 2.284, 3.136, 4.272, 5.744, 7.61, 9.862",\
                 "0.828, 0.92, 1.2, 1.654, 2.286, 3.138, 4.274, 5.754, 7.6, 9.874",\
                 "0.828, 0.922, 1.202, 1.654, 2.282, 3.138, 4.276, 5.752, 7.606, 9.874",\
                 "0.828, 0.92, 1.202, 1.656, 2.28, 3.138, 4.272, 5.754, 7.598, 9.876",\
                 "0.826, 0.922, 1.202, 1.654, 2.284, 3.132, 4.274, 5.75, 7.598, 9.874",\
                 "0.828, 0.92, 1.2, 1.65, 2.284, 3.144, 4.278, 5.754, 7.61, 9.864",\
                 "0.828, 0.92, 1.2, 1.65, 2.282, 3.14, 4.272, 5.75, 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.003639, 0.0129, 0.03059, 0.05815, 0.09681, 0.1477, 0.2118, 0.29, 0.3833");
          values("0.697, 0.8518, 1.393, 2.468, 4.206, 6.682, 9.939, 14.02, 19.02, 24.95",\
                 "0.6974, 0.8526, 1.392, 2.469, 4.21, 6.675, 9.923, 14.04, 19.03, 24.95",\
                 "0.6974, 0.8518, 1.39, 2.467, 4.206, 6.675, 9.923, 14, 19.02, 24.99",\
                 "0.6974, 0.8524, 1.391, 2.469, 4.21, 6.682, 9.922, 14.05, 19.04, 24.96",\
                 "0.6978, 0.852, 1.391, 2.468, 4.21, 6.682, 9.912, 14.03, 19.01, 25.01",\
                 "0.698, 0.85, 1.392, 2.47, 4.21, 6.676, 9.94, 14.01, 19, 24.97",\
                 "0.7, 0.852, 1.392, 2.468, 4.21, 6.682, 9.94, 14.01, 19.02, 24.97",\
                 "0.698, 0.854, 1.392, 2.468, 4.204, 6.668, 9.924, 14.02, 19.04, 24.97",\
                 "0.698, 0.852, 1.392, 2.468, 4.208, 6.67, 9.92, 14.01, 19.03, 24.98",\
                 "0.698, 0.85, 1.392, 2.47, 4.212, 6.67, 9.934, 14, 19, 24.98");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.003639, 0.0129, 0.03059, 0.05815, 0.09681, 0.1477, 0.2118, 0.29, 0.3833");
          values("3.512, 3.601, 3.847, 4.208, 4.677, 5.274, 6.027, 6.961, 8.097, 9.447",\
                 "3.576, 3.665, 3.911, 4.272, 4.741, 5.338, 6.091, 7.025, 8.161, 9.511",\
                 "3.732, 3.821, 4.067, 4.428, 4.897, 5.494, 6.247, 7.181, 8.317, 9.666",\
                 "3.987, 4.075, 4.322, 4.683, 5.152, 5.749, 6.502, 7.436, 8.571, 9.921",\
                 "4.347, 4.436, 4.681, 5.042, 5.512, 6.109, 6.862, 7.796, 8.932, 10.28",\
                 "4.721, 4.81, 5.056, 5.417, 5.886, 6.483, 7.236, 8.17, 9.306, 10.66",\
                 "5.082, 5.17, 5.417, 5.777, 6.245, 6.84, 7.591, 8.524, 9.659, 11.01",\
                 "5.391, 5.48, 5.727, 6.087, 6.556, 7.153, 7.904, 8.837, 9.968, 11.32",\
                 "5.633, 5.721, 5.968, 6.329, 6.799, 7.396, 8.147, 9.08, 10.21, 11.56",\
                 "5.791, 5.88, 6.128, 6.49, 6.96, 7.558, 8.309, 9.242, 10.37, 11.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.003639, 0.0129, 0.03059, 0.05815, 0.09681, 0.1477, 0.2118, 0.29, 0.3833");
          values("3.861, 3.993, 4.402, 5.106, 6.167, 7.64, 9.574, 12, 14.97, 18.5",\
                 "3.931, 4.064, 4.472, 5.176, 6.236, 7.711, 9.643, 12.08, 15.04, 18.57",\
                 "4.208, 4.341, 4.749, 5.453, 6.514, 7.989, 9.921, 12.35, 15.32, 18.85",\
                 "4.75, 4.882, 5.29, 5.995, 7.056, 8.53, 10.46, 12.9, 15.86, 19.39",\
                 "5.6, 5.732, 6.14, 6.845, 7.905, 9.38, 11.31, 13.74, 16.71, 20.24",\
                 "6.755, 6.888, 7.296, 8, 9.061, 10.54, 12.47, 14.9, 17.86, 21.4",\
                 "8.101, 8.234, 8.643, 9.348, 10.41, 11.88, 13.82, 16.25, 19.21, 22.75",\
                 "9.574, 9.708, 10.12, 10.82, 11.89, 13.36, 15.3, 17.73, 20.69, 24.23",\
                 "11.17, 11.31, 11.72, 12.42, 13.49, 14.96, 16.89, 19.33, 22.29, 25.83",\
                 "12.9, 13.04, 13.45, 14.15, 15.22, 16.69, 18.63, 21.06, 24.02, 27.56");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.003639, 0.0129, 0.03059, 0.05815, 0.09681, 0.1477, 0.2118, 0.29, 0.3833");
          values("0.5338, 0.608, 0.8416, 1.247, 1.861, 2.75, 3.964, 5.528, 7.458, 9.77",\
                 "0.5334, 0.6078, 0.8406, 1.247, 1.865, 2.748, 3.965, 5.528, 7.459, 9.771",\
                 "0.5334, 0.6086, 0.8412, 1.246, 1.86, 2.748, 3.965, 5.528, 7.459, 9.771",\
                 "0.533, 0.6078, 0.8408, 1.246, 1.863, 2.748, 3.964, 5.528, 7.459, 9.771",\
                 "0.533, 0.6088, 0.8402, 1.246, 1.861, 2.75, 3.962, 5.528, 7.458, 9.77",\
                 "0.533, 0.6068, 0.8416, 1.246, 1.863, 2.754, 3.966, 5.528, 7.46, 9.768",\
                 "0.534, 0.608, 0.84, 1.244, 1.856, 2.74, 3.952, 5.52, 7.456, 9.77",\
                 "0.536, 0.61, 0.844, 1.246, 1.86, 2.746, 3.954, 5.51, 7.432, 9.74",\
                 "0.538, 0.614, 0.846, 1.248, 1.862, 2.744, 3.958, 5.512, 7.438, 9.74",\
                 "0.542, 0.618, 0.848, 1.248, 1.862, 2.75, 3.954, 5.51, 7.442, 9.73");
        }

        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.003639, 0.0129, 0.03059, 0.05815, 0.09681, 0.1477, 0.2118, 0.29, 0.3833");
          values("0.7094, 0.8656, 1.407, 2.48, 4.222, 6.692, 9.946, 14.04, 19.04, 24.98",\
                 "0.71, 0.8632, 1.407, 2.482, 4.217, 6.688, 9.949, 14.03, 19.02, 24.98",\
                 "0.709, 0.8636, 1.405, 2.483, 4.218, 6.687, 9.944, 14.04, 19.05, 24.99",\
                 "0.7092, 0.8622, 1.403, 2.482, 4.222, 6.694, 9.932, 14.05, 19.05, 24.97",\
                 "0.7098, 0.8622, 1.403, 2.482, 4.219, 6.694, 9.944, 14.04, 19.05, 24.98",\
                 "0.708, 0.864, 1.408, 2.48, 4.224, 6.692, 9.948, 14.04, 19.02, 24.98",\
                 "0.714, 0.868, 1.408, 2.484, 4.222, 6.686, 9.946, 14.02, 19.02, 25",\
                 "0.718, 0.872, 1.412, 2.484, 4.218, 6.69, 9.928, 14.03, 19.06, 25.01",\
                 "0.722, 0.876, 1.412, 2.482, 4.218, 6.684, 9.936, 14.04, 19.05, 25",\
                 "0.728, 0.882, 1.416, 2.488, 4.222, 6.688, 9.93, 14.03, 19.04, 24.98");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.003639, 0.0129, 0.03059, 0.05815, 0.09681, 0.1477, 0.2118, 0.29, 0.3833");
          values("3.512, 3.601, 3.847, 4.208, 4.677, 5.274, 6.027, 6.961, 8.096, 9.446",\
                 "3.576, 3.665, 3.911, 4.272, 4.741, 5.338, 6.091, 7.025, 8.161, 9.511",\
                 "3.732, 3.821, 4.067, 4.428, 4.897, 5.494, 6.247, 7.181, 8.316, 9.666",\
                 "3.987, 4.075, 4.322, 4.683, 5.152, 5.749, 6.502, 7.436, 8.571, 9.921",\
                 "4.347, 4.435, 4.681, 5.042, 5.512, 6.109, 6.862, 7.797, 8.931, 10.28",\
                 "4.721, 4.809, 5.055, 5.416, 5.886, 6.483, 7.236, 8.17, 9.306, 10.66",\
                 "5.082, 5.17, 5.416, 5.777, 6.245, 6.841, 7.591, 8.524, 9.66, 11.01",\
                 "5.391, 5.48, 5.726, 6.087, 6.556, 7.153, 7.904, 8.837, 9.968, 11.32",\
                 "5.632, 5.721, 5.968, 6.329, 6.799, 7.396, 8.147, 9.08, 10.21, 11.56",\
                 "5.791, 5.88, 6.128, 6.49, 6.96, 7.558, 8.309, 9.242, 10.37, 11.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.003639, 0.0129, 0.03059, 0.05815, 0.09681, 0.1477, 0.2118, 0.29, 0.3833");
          values("3.861, 3.993, 4.402, 5.106, 6.167, 7.64, 9.574, 12, 14.97, 18.5",\
                 "3.931, 4.063, 4.471, 5.176, 6.236, 7.711, 9.643, 12.08, 15.04, 18.57",\
                 "4.208, 4.341, 4.749, 5.454, 6.514, 7.988, 9.922, 12.35, 15.32, 18.85",\
                 "4.75, 4.882, 5.29, 5.995, 7.056, 8.53, 10.46, 12.9, 15.86, 19.39",\
                 "5.6, 5.732, 6.14, 6.845, 7.905, 9.38, 11.31, 13.74, 16.71, 20.24",\
                 "6.755, 6.888, 7.296, 8, 9.061, 10.54, 12.47, 14.9, 17.87, 21.4",\
                 "8.101, 8.233, 8.643, 9.348, 10.41, 11.88, 13.82, 16.25, 19.21, 22.75",\
                 "9.573, 9.706, 10.12, 10.82, 11.89, 13.36, 15.3, 17.73, 20.69, 24.23",\
                 "11.17, 11.31, 11.72, 12.42, 13.49, 14.96, 16.9, 19.33, 22.29, 25.83",\
                 "12.9, 13.04, 13.45, 14.15, 15.22, 16.69, 18.62, 21.06, 24.02, 27.56");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.003639, 0.0129, 0.03059, 0.05815, 0.09681, 0.1477, 0.2118, 0.29, 0.3833");
          values("0.5336, 0.6084, 0.8416, 1.247, 1.86, 2.75, 3.965, 5.528, 7.457, 9.771",\
                 "0.5336, 0.6078, 0.8408, 1.247, 1.865, 2.748, 3.965, 5.528, 7.459, 9.771",\
                 "0.5334, 0.6082, 0.8428, 1.246, 1.863, 2.748, 3.965, 5.528, 7.457, 9.771",\
                 "0.5332, 0.6076, 0.8408, 1.247, 1.863, 2.75, 3.965, 5.528, 7.457, 9.77",\
                 "0.5328, 0.6086, 0.8416, 1.246, 1.865, 2.749, 3.962, 5.526, 7.446, 9.77",\
                 "0.5332, 0.6066, 0.8418, 1.246, 1.863, 2.754, 3.966, 5.528, 7.46, 9.768",\
                 "0.534, 0.608, 0.842, 1.244, 1.858, 2.742, 3.952, 5.52, 7.452, 9.772",\
                 "0.536, 0.61, 0.844, 1.246, 1.86, 2.742, 3.954, 5.51, 7.428, 9.732",\
                 "0.54, 0.614, 0.846, 1.248, 1.864, 2.744, 3.958, 5.51, 7.438, 9.732",\
                 "0.542, 0.618, 0.848, 1.248, 1.862, 2.75, 3.954, 5.51, 7.442, 9.73");
        }

        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.003639, 0.0129, 0.03059, 0.05815, 0.09681, 0.1477, 0.2118, 0.29, 0.3833");
          values("0.7094, 0.8656, 1.407, 2.48, 4.222, 6.692, 9.947, 14.04, 19.04, 24.98",\
                 "0.71, 0.8632, 1.404, 2.482, 4.217, 6.688, 9.949, 14.03, 19.05, 24.99",\
                 "0.7086, 0.865, 1.403, 2.482, 4.219, 6.69, 9.947, 14.03, 19.03, 24.99",\
                 "0.7092, 0.8622, 1.403, 2.482, 4.222, 6.694, 9.932, 14.05, 19.05, 24.97",\
                 "0.7094, 0.8624, 1.403, 2.482, 4.218, 6.688, 9.948, 14.04, 19.04, 24.98",\
                 "0.71, 0.864, 1.408, 2.48, 4.224, 6.692, 9.948, 14.04, 19.02, 24.99",\
                 "0.714, 0.868, 1.408, 2.484, 4.222, 6.686, 9.946, 14.02, 19.02, 25",\
                 "0.718, 0.87, 1.41, 2.486, 4.22, 6.69, 9.928, 14.03, 19.05, 25.01",\
                 "0.726, 0.876, 1.412, 2.484, 4.22, 6.686, 9.938, 14.04, 19.05, 25.01",\
                 "0.728, 0.882, 1.416, 2.488, 4.218, 6.688, 9.928, 14.02, 19.03, 24.97");
        }
      }

      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.003639, 0.0129, 0.03059, 0.05815, 0.09681, 0.1477, 0.2118, 0.29, 0.3833");
          values("3.512, 3.601, 3.847, 4.208, 4.677, 5.274, 6.027, 6.961, 8.096, 9.446",\
                 "3.576, 3.665, 3.911, 4.272, 4.741, 5.338, 6.091, 7.025, 8.161, 9.511",\
                 "3.732, 3.821, 4.067, 4.428, 4.897, 5.494, 6.247, 7.181, 8.316, 9.666",\
                 "3.987, 4.075, 4.322, 4.683, 5.152, 5.749, 6.502, 7.436, 8.571, 9.921",\
                 "4.347, 4.435, 4.681, 5.042, 5.512, 6.109, 6.862, 7.797, 8.931, 10.28",\
                 "4.721, 4.809, 5.055, 5.416, 5.886, 6.483, 7.236, 8.17, 9.306, 10.66",\
                 "5.082, 5.17, 5.416, 5.777, 6.245, 6.841, 7.591, 8.524, 9.66, 11.01",\
                 "5.391, 5.48, 5.726, 6.087, 6.556, 7.153, 7.904, 8.837, 9.968, 11.32",\
                 "5.632, 5.721, 5.968, 6.329, 6.799, 7.396, 8.147, 9.08, 10.21, 11.56",\
                 "5.791, 5.88, 6.128, 6.49, 6.96, 7.558, 8.309, 9.242, 10.37, 11.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.003639, 0.0129, 0.03059, 0.05815, 0.09681, 0.1477, 0.2118, 0.29, 0.3833");
          values("3.861, 3.993, 4.402, 5.106, 6.167, 7.64, 9.574, 12, 14.97, 18.5",\
                 "3.931, 4.063, 4.471, 5.176, 6.236, 7.711, 9.643, 12.08, 15.04, 18.57",\
                 "4.208, 4.341, 4.749, 5.454, 6.514, 7.988, 9.922, 12.35, 15.32, 18.85",\
                 "4.75, 4.882, 5.29, 5.995, 7.056, 8.53, 10.46, 12.9, 15.86, 19.39",\
                 "5.6, 5.732, 6.14, 6.845, 7.905, 9.38, 11.31, 13.74, 16.71, 20.24",\
                 "6.755, 6.888, 7.296, 8, 9.061, 10.54, 12.47, 14.9, 17.87, 21.4",\
                 "8.101, 8.233, 8.643, 9.348, 10.41, 11.88, 13.82, 16.25, 19.21, 22.75",\
                 "9.573, 9.706, 10.12, 10.82, 11.89, 13.36, 15.3, 17.73, 20.69, 24.23",\
                 "11.17, 11.31, 11.72, 12.42, 13.49, 14.96, 16.9, 19.33, 22.29, 25.83",\
                 "12.9, 13.04, 13.45, 14.15, 15.22, 16.69, 18.62, 21.06, 24.02, 27.56");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.003639, 0.0129, 0.03059, 0.05815, 0.09681, 0.1477, 0.2118, 0.29, 0.3833");
          values("0.5336, 0.6084, 0.8416, 1.247, 1.86, 2.75, 3.965, 5.528, 7.457, 9.771",\
                 "0.5336, 0.6078, 0.8408, 1.247, 1.865, 2.748, 3.965, 5.528, 7.459, 9.771",\
                 "0.5334, 0.6082, 0.8428, 1.246, 1.863, 2.748, 3.965, 5.528, 7.457, 9.771",\
                 "0.5332, 0.6076, 0.8408, 1.247, 1.863, 2.75, 3.965, 5.528, 7.457, 9.77",\
                 "0.5328, 0.6086, 0.8416, 1.246, 1.865, 2.749, 3.962, 5.526, 7.446, 9.77",\
                 "0.5332, 0.6066, 0.8418, 1.246, 1.863, 2.754, 3.966, 5.528, 7.46, 9.768",\
                 "0.534, 0.608, 0.842, 1.244, 1.858, 2.742, 3.952, 5.52, 7.452, 9.772",\
                 "0.536, 0.61, 0.844, 1.246, 1.86, 2.742, 3.954, 5.51, 7.428, 9.732",\
                 "0.54, 0.614, 0.846, 1.248, 1.864, 2.744, 3.958, 5.51, 7.438, 9.732",\
                 "0.542, 0.618, 0.848, 1.248, 1.862, 2.75, 3.954, 5.51, 7.442, 9.73");
        }

        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.003639, 0.0129, 0.03059, 0.05815, 0.09681, 0.1477, 0.2118, 0.29, 0.3833");
          values("0.7094, 0.8656, 1.407, 2.48, 4.222, 6.692, 9.947, 14.04, 19.04, 24.98",\
                 "0.71, 0.8632, 1.404, 2.482, 4.217, 6.688, 9.949, 14.03, 19.05, 24.99",\
                 "0.7086, 0.865, 1.403, 2.482, 4.219, 6.69, 9.947, 14.03, 19.03, 24.99",\
                 "0.7092, 0.8622, 1.403, 2.482, 4.222, 6.694, 9.932, 14.05, 19.05, 24.97",\
                 "0.7094, 0.8624, 1.403, 2.482, 4.218, 6.688, 9.948, 14.04, 19.04, 24.98",\
                 "0.71, 0.864, 1.408, 2.48, 4.224, 6.692, 9.948, 14.04, 19.02, 24.99",\
                 "0.714, 0.868, 1.408, 2.484, 4.222, 6.686, 9.946, 14.02, 19.02, 25",\
                 "0.718, 0.87, 1.41, 2.486, 4.22, 6.69, 9.928, 14.03, 19.05, 25.01",\
                 "0.726, 0.876, 1.412, 2.484, 4.22, 6.686, 9.938, 14.04, 19.05, 25.01",\
                 "0.728, 0.882, 1.416, 2.488, 4.218, 6.688, 9.928, 14.02, 19.03, 24.97");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.003639, 0.0129, 0.03059, 0.05815, 0.09681, 0.1477, 0.2118, 0.29, 0.3833");
          values("3.371, 3.499, 3.842, 4.323, 4.904, 5.594, 6.412, 7.383, 8.535, 9.892",\
                 "3.436, 3.564, 3.908, 4.389, 4.97, 5.661, 6.479, 7.449, 8.6, 9.957",\
                 "3.651, 3.779, 4.122, 4.603, 5.185, 5.876, 6.693, 7.664, 8.816, 10.17",\
                 "4.102, 4.23, 4.573, 5.055, 5.636, 6.326, 7.144, 8.115, 9.266, 10.62",\
                 "4.85, 4.978, 5.322, 5.802, 6.384, 7.074, 7.891, 8.862, 10.01, 11.37",\
                 "5.923, 6.051, 6.395, 6.876, 7.457, 8.148, 8.965, 9.937, 11.09, 12.45",\
                 "7.276, 7.411, 7.764, 8.256, 8.845, 9.537, 10.36, 11.33, 12.48, 13.84",\
                 "8.763, 8.912, 9.298, 9.816, 10.43, 11.14, 11.97, 12.94, 14.1, 15.45",\
                 "10.35, 10.51, 10.94, 11.49, 12.13, 12.86, 13.7, 14.69, 15.85, 17.21",\
                 "12.03, 12.21, 12.68, 13.27, 13.95, 14.7, 15.55, 16.55, 17.72, 19.08");
        }

        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.003639, 0.0129, 0.03059, 0.05815, 0.09681, 0.1477, 0.2118, 0.29, 0.3833");
          values("1.618, 1.748, 2.151, 2.851, 3.908, 5.379, 7.308, 9.741, 12.7, 16.23",\
                 "1.683, 1.813, 2.217, 2.917, 3.974, 5.445, 7.377, 9.808, 12.77, 16.3",\
                 "1.914, 2.043, 2.446, 3.146, 4.204, 5.674, 7.607, 10.03, 13, 16.53",\
                 "2.34, 2.47, 2.871, 3.57, 4.628, 6.099, 8.032, 10.46, 13.42, 16.95",\
                 "2.936, 3.068, 3.473, 4.173, 5.23, 6.703, 8.635, 11.06, 14.03, 17.56",\
                 "3.57, 3.706, 4.122, 4.829, 5.889, 7.361, 9.293, 11.73, 14.7, 18.23",\
                 "4.208, 4.352, 4.78, 5.492, 6.555, 8.031, 9.963, 12.39, 15.37, 18.89",\
                 "4.838, 4.991, 5.435, 6.155, 7.216, 8.693, 10.63, 13.06, 16.03, 19.56",\
                 "5.447, 5.613, 6.076, 6.809, 7.871, 9.345, 11.28, 13.72, 16.68, 20.22",\
                 "6.02, 6.201, 6.691, 7.437, 8.503, 9.975, 11.91, 14.34, 17.31, 20.85");
        }

        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.003639, 0.0129, 0.03059, 0.05815, 0.09681, 0.1477, 0.2118, 0.29, 0.3833");
          values("0.8258, 0.9206, 1.201, 1.653, 2.284, 3.143, 4.272, 5.747, 7.605, 9.87",\
                 "0.8274, 0.9212, 1.201, 1.655, 2.285, 3.14, 4.272, 5.753, 7.602, 9.871",\
                 "0.8264, 0.9198, 1.201, 1.654, 2.284, 3.141, 4.272, 5.753, 7.609, 9.87",\
                 "0.8262, 0.9208, 1.201, 1.654, 2.284, 3.141, 4.273, 5.753, 7.612, 9.86",\
                 "0.826, 0.9204, 1.201, 1.652, 2.283, 3.141, 4.275, 5.75, 7.604, 9.874",\
                 "0.8318, 0.925, 1.205, 1.656, 2.286, 3.142, 4.278, 5.754, 7.61, 9.866",\
                 "0.902, 0.988, 1.252, 1.69, 2.312, 3.158, 4.286, 5.76, 7.608, 9.874",\
                 "1.03, 1.116, 1.372, 1.792, 2.394, 3.22, 4.328, 5.784, 7.624, 9.866",\
                 "1.168, 1.26, 1.516, 1.918, 2.502, 3.322, 4.412, 5.85, 7.666, 9.904",\
                 "1.314, 1.412, 1.676, 2.072, 2.632, 3.424, 4.494, 5.922, 7.722, 9.952");
        }

        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.003639, 0.0129, 0.03059, 0.05815, 0.09681, 0.1477, 0.2118, 0.29, 0.3833");
          values("0.6874, 0.842, 1.387, 2.466, 4.208, 6.681, 9.943, 14.01, 19.03, 25.02",\
                 "0.6878, 0.8432, 1.387, 2.465, 4.21, 6.683, 9.918, 14.05, 19.03, 24.98",\
                 "0.6874, 0.8428, 1.386, 2.465, 4.209, 6.684, 9.926, 14.02, 19.03, 24.97",\
                 "0.6886, 0.8428, 1.388, 2.464, 4.21, 6.684, 9.927, 14.02, 19.01, 24.97",\
                 "0.7132, 0.8636, 1.397, 2.47, 4.21, 6.682, 9.945, 14.01, 19.03, 24.95",\
                 "0.7594, 0.9076, 1.433, 2.495, 4.218, 6.678, 9.944, 14.02, 19.02, 24.97",\
                 "0.8212, 0.9634, 1.47, 2.512, 4.234, 6.684, 9.93, 14.02, 19, 24.96",\
                 "0.902, 1.038, 1.522, 2.54, 4.242, 6.702, 9.938, 14.02, 19, 25",\
                 "0.996, 1.126, 1.584, 2.574, 4.256, 6.706, 9.948, 14.03, 19.03, 25",\
                 "1.11, 1.236, 1.672, 2.612, 4.268, 6.708, 9.954, 14.04, 19.03, 24.99");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.003639, 0.0129, 0.03059, 0.05815, 0.09681, 0.1477, 0.2118, 0.29, 0.3833");
          values("3.371, 3.498, 3.841, 4.323, 4.904, 5.596, 6.413, 7.384, 8.536, 9.892",\
                 "3.436, 3.564, 3.908, 4.389, 4.97, 5.662, 6.479, 7.451, 8.602, 9.957",\
                 "3.651, 3.778, 4.123, 4.604, 5.186, 5.876, 6.695, 7.665, 8.817, 10.17",\
                 "4.102, 4.23, 4.574, 5.055, 5.637, 6.327, 7.145, 8.117, 9.268, 10.63",\
                 "4.851, 4.978, 5.322, 5.803, 6.385, 7.076, 7.893, 8.864, 10.02, 11.37",\
                 "5.924, 6.052, 6.396, 6.877, 7.459, 8.149, 8.967, 9.939, 11.09, 12.45",\
                 "7.277, 7.411, 7.766, 8.256, 8.846, 9.539, 10.36, 11.33, 12.48, 13.84",\
                 "8.763, 8.912, 9.299, 9.817, 10.43, 11.14, 11.97, 12.95, 14.1, 15.46",\
                 "10.35, 10.51, 10.94, 11.49, 12.13, 12.86, 13.7, 14.69, 15.86, 17.22",\
                 "12.03, 12.21, 12.68, 13.27, 13.95, 14.7, 15.56, 16.55, 17.72, 19.08");
        }

        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.003639, 0.0129, 0.03059, 0.05815, 0.09681, 0.1477, 0.2118, 0.29, 0.3833");
          values("1.617, 1.748, 2.151, 2.851, 3.908, 5.379, 7.311, 9.737, 12.7, 16.24",\
                 "1.683, 1.813, 2.217, 2.917, 3.974, 5.445, 7.377, 9.803, 12.77, 16.3",\
                 "1.914, 2.043, 2.446, 3.146, 4.204, 5.674, 7.607, 10.03, 13, 16.53",\
                 "2.341, 2.47, 2.871, 3.571, 4.628, 6.099, 8.032, 10.46, 13.42, 16.95",\
                 "2.936, 3.068, 3.473, 4.172, 5.23, 6.702, 8.635, 11.06, 14.03, 17.57",\
                 "3.568, 3.705, 4.121, 4.828, 5.888, 7.359, 9.292, 11.73, 14.69, 18.23",\
                 "4.209, 4.353, 4.779, 5.493, 6.554, 8.032, 9.964, 12.4, 15.36, 18.89",\
                 "4.838, 4.992, 5.434, 6.154, 7.218, 8.693, 10.63, 13.06, 16.03, 19.56",\
                 "5.447, 5.613, 6.076, 6.807, 7.87, 9.344, 11.28, 13.71, 16.68, 20.22",\
                 "6.019, 6.201, 6.692, 7.436, 8.502, 9.975, 11.91, 14.34, 17.31, 20.85");
        }

        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.003639, 0.0129, 0.03059, 0.05815, 0.09681, 0.1477, 0.2118, 0.29, 0.3833");
          values("0.8262, 0.921, 1.202, 1.655, 2.286, 3.142, 4.276, 5.753, 7.606, 9.872",\
                 "0.828, 0.9214, 1.202, 1.653, 2.286, 3.142, 4.274, 5.749, 7.599, 9.874",\
                 "0.8276, 0.9222, 1.202, 1.654, 2.283, 3.144, 4.273, 5.753, 7.611, 9.864",\
                 "0.8268, 0.9214, 1.202, 1.654, 2.285, 3.143, 4.272, 5.755, 7.604, 9.872",\
                 "0.8262, 0.921, 1.202, 1.653, 2.285, 3.145, 4.273, 5.748, 7.606, 9.872",\
                 "0.8322, 0.927, 1.206, 1.656, 2.288, 3.144, 4.276, 5.756, 7.612, 9.872",\
                 "0.902, 0.988, 1.252, 1.69, 2.312, 3.158, 4.286, 5.76, 7.608, 9.868",\
                 "1.03, 1.118, 1.372, 1.792, 2.392, 3.228, 4.328, 5.786, 7.624, 9.87",\
                 "1.168, 1.258, 1.514, 1.92, 2.506, 3.32, 4.41, 5.854, 7.668, 9.906",\
                 "1.314, 1.414, 1.676, 2.07, 2.634, 3.422, 4.494, 5.912, 7.72, 9.95");
        }

        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.003639, 0.0129, 0.03059, 0.05815, 0.09681, 0.1477, 0.2118, 0.29, 0.3833");
          values("0.6878, 0.8426, 1.387, 2.464, 4.21, 6.684, 9.928, 14.01, 19.02, 24.96",\
                 "0.6878, 0.8434, 1.386, 2.465, 4.21, 6.683, 9.918, 14.04, 19.03, 24.98",\
                 "0.6882, 0.843, 1.387, 2.465, 4.21, 6.683, 9.926, 14.03, 19.03, 24.96",\
                 "0.689, 0.843, 1.388, 2.465, 4.21, 6.684, 9.921, 14.01, 19.03, 24.95",\
                 "0.7138, 0.8652, 1.398, 2.468, 4.21, 6.683, 9.946, 14.01, 19, 24.96",\
                 "0.7592, 0.9064, 1.434, 2.494, 4.216, 6.674, 9.926, 14.02, 19.01, 24.97",\
                 "0.8208, 0.9652, 1.474, 2.512, 4.234, 6.684, 9.93, 14.02, 19, 24.97",\
                 "0.9, 1.036, 1.52, 2.538, 4.242, 6.706, 9.94, 14.02, 19, 25",\
                 "0.998, 1.124, 1.584, 2.572, 4.264, 6.712, 9.956, 14.03, 19.03, 25",\
                 "1.114, 1.236, 1.668, 2.61, 4.268, 6.714, 9.954, 14.05, 19.04, 24.99");
        }
      }

      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.003639, 0.0129, 0.03059, 0.05815, 0.09681, 0.1477, 0.2118, 0.29, 0.3833");
          values("3.371, 3.498, 3.841, 4.323, 4.904, 5.596, 6.413, 7.384, 8.536, 9.892",\
                 "3.436, 3.564, 3.908, 4.389, 4.97, 5.662, 6.479, 7.451, 8.602, 9.957",\
                 "3.651, 3.778, 4.123, 4.604, 5.186, 5.876, 6.695, 7.665, 8.817, 10.17",\
                 "4.102, 4.23, 4.574, 5.055, 5.637, 6.327, 7.145, 8.117, 9.268, 10.63",\
                 "4.851, 4.978, 5.322, 5.803, 6.385, 7.076, 7.893, 8.864, 10.02, 11.37",\
                 "5.924, 6.052, 6.396, 6.877, 7.459, 8.149, 8.967, 9.939, 11.09, 12.45",\
                 "7.277, 7.411, 7.766, 8.256, 8.846, 9.539, 10.36, 11.33, 12.48, 13.84",\
                 "8.763, 8.912, 9.299, 9.817, 10.43, 11.14, 11.97, 12.95, 14.1, 15.46",\
                 "10.35, 10.51, 10.94, 11.49, 12.13, 12.86, 13.7, 14.69, 15.86, 17.22",\
                 "12.03, 12.21, 12.68, 13.27, 13.95, 14.7, 15.56, 16.55, 17.72, 19.08");
        }

        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.003639, 0.0129, 0.03059, 0.05815, 0.09681, 0.1477, 0.2118, 0.29, 0.3833");
          values("1.617, 1.748, 2.151, 2.851, 3.908, 5.379, 7.311, 9.737, 12.7, 16.24",\
                 "1.683, 1.813, 2.217, 2.917, 3.974, 5.445, 7.377, 9.803, 12.77, 16.3",\
                 "1.914, 2.043, 2.446, 3.146, 4.204, 5.674, 7.607, 10.03, 13, 16.53",\
                 "2.341, 2.47, 2.871, 3.571, 4.628, 6.099, 8.032, 10.46, 13.42, 16.95",\
                 "2.936, 3.068, 3.473, 4.172, 5.23, 6.702, 8.635, 11.06, 14.03, 17.57",\
                 "3.568, 3.705, 4.121, 4.828, 5.888, 7.359, 9.292, 11.73, 14.69, 18.23",\
                 "4.209, 4.353, 4.779, 5.493, 6.554, 8.032, 9.964, 12.4, 15.36, 18.89",\
                 "4.838, 4.992, 5.434, 6.154, 7.218, 8.693, 10.63, 13.06, 16.03, 19.56",\
                 "5.447, 5.613, 6.076, 6.807, 7.87, 9.344, 11.28, 13.71, 16.68, 20.22",\
                 "6.019, 6.201, 6.692, 7.436, 8.502, 9.975, 11.91, 14.34, 17.31, 20.85");
        }

        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.003639, 0.0129, 0.03059, 0.05815, 0.09681, 0.1477, 0.2118, 0.29, 0.3833");
          values("0.8258, 0.9206, 1.201, 1.653, 2.284, 3.143, 4.272, 5.747, 7.605, 9.87",\
                 "0.8274, 0.9212, 1.201, 1.655, 2.285, 3.14, 4.272, 5.753, 7.602, 9.871",\
                 "0.8264, 0.9198, 1.201, 1.654, 2.284, 3.141, 4.272, 5.753, 7.609, 9.87",\
                 "0.8262, 0.9208, 1.201, 1.654, 2.284, 3.141, 4.273, 5.753, 7.612, 9.86",\
                 "0.826, 0.9204, 1.201, 1.652, 2.283, 3.141, 4.275, 5.75, 7.604, 9.874",\
                 "0.8318, 0.925, 1.205, 1.656, 2.286, 3.142, 4.278, 5.754, 7.61, 9.866",\
                 "0.902, 0.988, 1.252, 1.69, 2.312, 3.158, 4.286, 5.76, 7.608, 9.874",\
                 "1.03, 1.116, 1.372, 1.792, 2.394, 3.22, 4.328, 5.784, 7.624, 9.866",\
                 "1.168, 1.26, 1.516, 1.918, 2.502, 3.322, 4.412, 5.85, 7.666, 9.904",\
                 "1.314, 1.412, 1.676, 2.072, 2.632, 3.424, 4.494, 5.922, 7.722, 9.952");
        }

        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.003639, 0.0129, 0.03059, 0.05815, 0.09681, 0.1477, 0.2118, 0.29, 0.3833");
          values("0.6874, 0.842, 1.387, 2.466, 4.208, 6.681, 9.943, 14.01, 19.03, 25.02",\
                 "0.6878, 0.8432, 1.387, 2.465, 4.21, 6.683, 9.918, 14.05, 19.03, 24.98",\
                 "0.6874, 0.8428, 1.386, 2.465, 4.209, 6.684, 9.926, 14.02, 19.03, 24.97",\
                 "0.6886, 0.8428, 1.388, 2.464, 4.21, 6.684, 9.927, 14.02, 19.01, 24.97",\
                 "0.7132, 0.8636, 1.397, 2.47, 4.21, 6.682, 9.945, 14.01, 19.03, 24.95",\
                 "0.7594, 0.9076, 1.433, 2.495, 4.218, 6.678, 9.944, 14.02, 19.02, 24.97",\
                 "0.8212, 0.9634, 1.47, 2.512, 4.234, 6.684, 9.93, 14.02, 19, 24.96",\
                 "0.902, 1.038, 1.522, 2.54, 4.242, 6.702, 9.938, 14.02, 19, 25",\
                 "0.996, 1.126, 1.584, 2.574, 4.256, 6.706, 9.948, 14.03, 19.03, 25",\
                 "1.11, 1.236, 1.672, 2.612, 4.268, 6.708, 9.954, 14.04, 19.03, 24.99");
        }
      }
    }
  }